\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ consclass 0.000000 0 0.028527 0.000000 0.095361 0.000000 \\ connectedbase 0.000000 4 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 4 BLOCK 1 R0000038 R0000042 R0000046 R0000050 R0000054 R0000058 R0000062 R0000066 R0000070 R0000074 R0000078 R0000082 R0000086 R0000090 R0000094 R0000098 R0000102 R0000106 R0000110 R0000114 R0000118 R0000122 R0000126 R0000130 R0000134 R0000138 R0000142 R0000146 R0000150 R0000154 R0000158 R0000162 R0000166 R0000170 R0000174 R0000178 R0000182 R0000186 R0000190 R0000194 R0000198 R0000202 R0000206 R0000210 R0000214 R0000218 R0000222 R0000226 R0000230 R0000234 R0000238 R0000242 R0000246 R0000250 R0000254 R0000258 R0000262 R0000266 R0000270 R0000274 R0000278 R0000282 R0000286 R0000290 R0000294 R0000298 R0000302 R0000306 R0000310 R0000314 R0000318 R0000322 R0000326 R0000330 R0000334 R0000338 R0000342 R0000346 R0000350 R0000353 R0000357 R0000361 R0000365 R0000369 R0000373 R0000377 R0000381 R0000385 R0000389 R0000393 R0000397 R0000401 R0000405 R0000409 R0000413 R0000417 R0000421 R0000425 R0000429 R0000433 R0000437 R0000441 R0000445 R0000449 R0000453 R0000457 R0000461 R0000465 R0000469 R0000473 R0000477 R0000481 R0000485 R0000489 R0000493 R0000497 R0000501 R0000505 R0000509 R0000513 R0000517 R0000521 R0000525 R0000529 R0000533 R0000537 R0000541 R0000545 R0000549 R0000553 R0000557 R0000561 R0000565 R0000569 R0000573 R0000577 R0000581 R0000585 R0000589 R0000593 R0000597 R0000601 R0000605 R0000609 R0000613 R0000617 R0000621 R0000625 R0000629 R0000633 R0000637 R0000641 R0000645 R0000649 R0000653 R0000657 R0000661 R0000665 R0000668 R0000672 R0000676 R0000680 R0000684 R0000688 R0000692 R0000696 R0000700 R0000704 R0000708 R0000712 R0000716 R0000720 R0000724 R0000728 R0000732 R0000736 R0000740 R0000744 R0000748 R0000752 R0000756 R0000760 R0000764 R0000768 R0000772 R0000776 R0000780 R0000784 R0000788 R0000792 R0000796 R0000800 R0000804 R0000808 R0000812 R0000816 R0000820 R0000824 R0000828 R0000832 R0000836 R0000840 R0000844 R0000848 R0000852 R0000856 R0000860 R0000864 R0000868 R0000872 R0000876 R0000880 R0000884 R0000888 R0000892 R0000896 R0000900 R0000904 R0000908 R0000912 R0000916 R0000920 R0000924 R0000928 R0000932 R0000936 R0000940 R0000944 R0000948 R0000952 R0000956 R0000960 R0000964 R0000968 R0000972 R0000976 R0000980 R0000983 R0000987 R0000991 R0000995 R0000999 R0001003 R0001007 R0001011 R0001015 R0001019 R0001023 R0001027 R0001031 R0001035 R0001039 R0001043 R0001047 R0001051 R0001055 R0001059 R0001063 R0001067 R0001071 R0001075 R0001079 R0001083 R0001087 R0001091 R0001095 R0001099 R0001103 R0001107 R0001111 R0001115 R0001119 R0001123 R0001127 R0001131 R0001135 R0001139 R0001143 R0001147 R0001151 R0001155 R0001159 R0001163 R0001167 R0001171 R0001175 R0001179 R0001183 R0001187 R0001191 R0001195 R0001199 R0001203 R0001207 R0001211 R0001215 R0001219 R0001223 R0001227 R0001231 R0001235 R0001239 R0001243 R0001247 R0001251 R0001255 R0001259 R0001263 R0001267 R0001271 R0001275 R0001279 R0001283 R0001287 R0001291 R0001295 BLOCK 2 R0000039 R0000043 R0000047 R0000051 R0000055 R0000059 R0000063 R0000067 R0000071 R0000075 R0000079 R0000083 R0000087 R0000091 R0000095 R0000099 R0000103 R0000107 R0000111 R0000115 R0000119 R0000123 R0000127 R0000131 R0000135 R0000139 R0000143 R0000147 R0000151 R0000155 R0000159 R0000163 R0000167 R0000171 R0000175 R0000179 R0000183 R0000187 R0000191 R0000195 R0000199 R0000203 R0000207 R0000211 R0000215 R0000219 R0000223 R0000227 R0000231 R0000235 R0000239 R0000243 R0000247 R0000251 R0000255 R0000259 R0000263 R0000267 R0000271 R0000275 R0000279 R0000283 R0000287 R0000291 R0000295 R0000299 R0000303 R0000307 R0000311 R0000315 R0000319 R0000323 R0000327 R0000331 R0000335 R0000339 R0000343 R0000347 R0000351 R0000354 R0000358 R0000362 R0000366 R0000370 R0000374 R0000378 R0000382 R0000386 R0000390 R0000394 R0000398 R0000402 R0000406 R0000410 R0000414 R0000418 R0000422 R0000426 R0000430 R0000434 R0000438 R0000442 R0000446 R0000450 R0000454 R0000458 R0000462 R0000466 R0000470 R0000474 R0000478 R0000482 R0000486 R0000490 R0000494 R0000498 R0000502 R0000506 R0000510 R0000514 R0000518 R0000522 R0000526 R0000530 R0000534 R0000538 R0000542 R0000546 R0000550 R0000554 R0000558 R0000562 R0000566 R0000570 R0000574 R0000578 R0000582 R0000586 R0000590 R0000594 R0000598 R0000602 R0000606 R0000610 R0000614 R0000618 R0000622 R0000626 R0000630 R0000634 R0000638 R0000642 R0000646 R0000650 R0000654 R0000658 R0000662 R0000666 R0000669 R0000673 R0000677 R0000681 R0000685 R0000689 R0000693 R0000697 R0000701 R0000705 R0000709 R0000713 R0000717 R0000721 R0000725 R0000729 R0000733 R0000737 R0000741 R0000745 R0000749 R0000753 R0000757 R0000761 R0000765 R0000769 R0000773 R0000777 R0000781 R0000785 R0000789 R0000793 R0000797 R0000801 R0000805 R0000809 R0000813 R0000817 R0000821 R0000825 R0000829 R0000833 R0000837 R0000841 R0000845 R0000849 R0000853 R0000857 R0000861 R0000865 R0000869 R0000873 R0000877 R0000881 R0000885 R0000889 R0000893 R0000897 R0000901 R0000905 R0000909 R0000913 R0000917 R0000921 R0000925 R0000929 R0000933 R0000937 R0000941 R0000945 R0000949 R0000953 R0000957 R0000961 R0000965 R0000969 R0000973 R0000977 R0000981 R0000984 R0000988 R0000992 R0000996 R0001000 R0001004 R0001008 R0001012 R0001016 R0001020 R0001024 R0001028 R0001032 R0001036 R0001040 R0001044 R0001048 R0001052 R0001056 R0001060 R0001064 R0001068 R0001072 R0001076 R0001080 R0001084 R0001088 R0001092 R0001096 R0001100 R0001104 R0001108 R0001112 R0001116 R0001120 R0001124 R0001128 R0001132 R0001136 R0001140 R0001144 R0001148 R0001152 R0001156 R0001160 R0001164 R0001168 R0001172 R0001176 R0001180 R0001184 R0001188 R0001192 R0001196 R0001200 R0001204 R0001208 R0001212 R0001216 R0001220 R0001224 R0001228 R0001232 R0001236 R0001240 R0001244 R0001248 R0001252 R0001256 R0001260 R0001264 R0001268 R0001272 R0001276 R0001280 R0001284 R0001288 R0001292 R0001296 BLOCK 3 R0000040 R0000044 R0000048 R0000052 R0000056 R0000060 R0000064 R0000068 R0000072 R0000076 R0000080 R0000084 R0000088 R0000092 R0000096 R0000100 R0000104 R0000108 R0000112 R0000116 R0000120 R0000124 R0000128 R0000132 R0000136 R0000140 R0000144 R0000148 R0000152 R0000156 R0000160 R0000164 R0000168 R0000172 R0000176 R0000180 R0000184 R0000188 R0000192 R0000196 R0000200 R0000204 R0000208 R0000212 R0000216 R0000220 R0000224 R0000228 R0000232 R0000236 R0000240 R0000244 R0000248 R0000252 R0000256 R0000260 R0000264 R0000268 R0000272 R0000276 R0000280 R0000284 R0000288 R0000292 R0000296 R0000300 R0000304 R0000308 R0000312 R0000316 R0000320 R0000324 R0000328 R0000332 R0000336 R0000340 R0000344 R0000348 R0000352 R0000355 R0000359 R0000363 R0000367 R0000371 R0000375 R0000379 R0000383 R0000387 R0000391 R0000395 R0000399 R0000403 R0000407 R0000411 R0000415 R0000419 R0000423 R0000427 R0000431 R0000435 R0000439 R0000443 R0000447 R0000451 R0000455 R0000459 R0000463 R0000467 R0000471 R0000475 R0000479 R0000483 R0000487 R0000491 R0000495 R0000499 R0000503 R0000507 R0000511 R0000515 R0000519 R0000523 R0000527 R0000531 R0000535 R0000539 R0000543 R0000547 R0000551 R0000555 R0000559 R0000563 R0000567 R0000571 R0000575 R0000579 R0000583 R0000587 R0000591 R0000595 R0000599 R0000603 R0000607 R0000611 R0000615 R0000619 R0000623 R0000627 R0000631 R0000635 R0000639 R0000643 R0000647 R0000651 R0000655 R0000659 R0000663 R0000667 R0000670 R0000674 R0000678 R0000682 R0000686 R0000690 R0000694 R0000698 R0000702 R0000706 R0000710 R0000714 R0000718 R0000722 R0000726 R0000730 R0000734 R0000738 R0000742 R0000746 R0000750 R0000754 R0000758 R0000762 R0000766 R0000770 R0000774 R0000778 R0000782 R0000786 R0000790 R0000794 R0000798 R0000802 R0000806 R0000810 R0000814 R0000818 R0000822 R0000826 R0000830 R0000834 R0000838 R0000842 R0000846 R0000850 R0000854 R0000858 R0000862 R0000866 R0000870 R0000874 R0000878 R0000882 R0000886 R0000890 R0000894 R0000898 R0000902 R0000906 R0000910 R0000914 R0000918 R0000922 R0000926 R0000930 R0000934 R0000938 R0000942 R0000946 R0000950 R0000954 R0000958 R0000962 R0000966 R0000970 R0000974 R0000978 R0000982 R0000985 R0000989 R0000993 R0000997 R0001001 R0001005 R0001009 R0001013 R0001017 R0001021 R0001025 R0001029 R0001033 R0001037 R0001041 R0001045 R0001049 R0001053 R0001057 R0001061 R0001065 R0001069 R0001073 R0001077 R0001081 R0001085 R0001089 R0001093 R0001097 R0001101 R0001105 R0001109 R0001113 R0001117 R0001121 R0001125 R0001129 R0001133 R0001137 R0001141 R0001145 R0001149 R0001153 R0001157 R0001161 R0001165 R0001169 R0001173 R0001177 R0001181 R0001185 R0001189 R0001193 R0001197 R0001201 R0001205 R0001209 R0001213 R0001217 R0001221 R0001225 R0001229 R0001233 R0001237 R0001241 R0001245 R0001249 R0001253 R0001257 R0001261 R0001265 R0001269 R0001273 R0001277 R0001281 R0001285 R0001289 R0001293 R0001297 BLOCK 4 R0000041 R0000045 R0000049 R0000053 R0000057 R0000061 R0000065 R0000069 R0000073 R0000077 R0000081 R0000085 R0000089 R0000093 R0000097 R0000101 R0000105 R0000109 R0000113 R0000117 R0000121 R0000125 R0000129 R0000133 R0000137 R0000141 R0000145 R0000149 R0000153 R0000157 R0000161 R0000165 R0000169 R0000173 R0000177 R0000181 R0000185 R0000189 R0000193 R0000197 R0000201 R0000205 R0000209 R0000213 R0000217 R0000221 R0000225 R0000229 R0000233 R0000237 R0000241 R0000245 R0000249 R0000253 R0000257 R0000261 R0000265 R0000269 R0000273 R0000277 R0000281 R0000285 R0000289 R0000293 R0000297 R0000301 R0000305 R0000309 R0000313 R0000317 R0000321 R0000325 R0000329 R0000333 R0000337 R0000341 R0000345 R0000349 R0000356 R0000360 R0000364 R0000368 R0000372 R0000376 R0000380 R0000384 R0000388 R0000392 R0000396 R0000400 R0000404 R0000408 R0000412 R0000416 R0000420 R0000424 R0000428 R0000432 R0000436 R0000440 R0000444 R0000448 R0000452 R0000456 R0000460 R0000464 R0000468 R0000472 R0000476 R0000480 R0000484 R0000488 R0000492 R0000496 R0000500 R0000504 R0000508 R0000512 R0000516 R0000520 R0000524 R0000528 R0000532 R0000536 R0000540 R0000544 R0000548 R0000552 R0000556 R0000560 R0000564 R0000568 R0000572 R0000576 R0000580 R0000584 R0000588 R0000592 R0000596 R0000600 R0000604 R0000608 R0000612 R0000616 R0000620 R0000624 R0000628 R0000632 R0000636 R0000640 R0000644 R0000648 R0000652 R0000656 R0000660 R0000664 R0000671 R0000675 R0000679 R0000683 R0000687 R0000691 R0000695 R0000699 R0000703 R0000707 R0000711 R0000715 R0000719 R0000723 R0000727 R0000731 R0000735 R0000739 R0000743 R0000747 R0000751 R0000755 R0000759 R0000763 R0000767 R0000771 R0000775 R0000779 R0000783 R0000787 R0000791 R0000795 R0000799 R0000803 R0000807 R0000811 R0000815 R0000819 R0000823 R0000827 R0000831 R0000835 R0000839 R0000843 R0000847 R0000851 R0000855 R0000859 R0000863 R0000867 R0000871 R0000875 R0000879 R0000883 R0000887 R0000891 R0000895 R0000899 R0000903 R0000907 R0000911 R0000915 R0000919 R0000923 R0000927 R0000931 R0000935 R0000939 R0000943 R0000947 R0000951 R0000955 R0000959 R0000963 R0000967 R0000971 R0000975 R0000979 R0000986 R0000990 R0000994 R0000998 R0001002 R0001006 R0001010 R0001014 R0001018 R0001022 R0001026 R0001030 R0001034 R0001038 R0001042 R0001046 R0001050 R0001054 R0001058 R0001062 R0001066 R0001070 R0001074 R0001078 R0001082 R0001086 R0001090 R0001094 R0001098 R0001102 R0001106 R0001110 R0001114 R0001118 R0001122 R0001126 R0001130 R0001134 R0001138 R0001142 R0001146 R0001150 R0001154 R0001158 R0001162 R0001166 R0001170 R0001174 R0001178 R0001182 R0001186 R0001190 R0001194 R0001198 R0001202 R0001206 R0001210 R0001214 R0001218 R0001222 R0001226 R0001230 R0001234 R0001238 R0001242 R0001246 R0001250 R0001254 R0001258 R0001262 R0001266 R0001270 R0001274 R0001278 R0001282 R0001286 R0001290 R0001294 MASTERCONSS R0000001 R0000002 R0000003 R0000004 R0000005 R0000006 R0000007 R0000008 R0000009 R0000010 R0000011 R0000012 R0000013 R0000014 R0000015 R0000016 R0000017 R0000018 R0000019 R0000020 R0000021 R0000022 R0000023 R0000024 R0000025 R0000026 R0000027 R0000028 R0000029 R0000030 R0000031 R0000032 R0000033 R0000034 R0000035 R0000036 R0000037