\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ consclass 0.000000 0 0.001927 0.000000 0.558026 0.000000 \\ connectedbase 0.010000 415 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 415 BLOCK 1 ct_2 ct_3 ct_4 BLOCK 2 ct_5 ct_6 ct_7 ct_8 ct_9 ct_10 ct_11 ct_12 BLOCK 3 ct_13 ct_14 BLOCK 4 ct_15 BLOCK 5 ct_16 ct_17 ct_18 ct_19 BLOCK 6 ct_20 BLOCK 7 ct_21 ct_22 ct_23 ct_24 BLOCK 8 ct_25 BLOCK 9 ct_26 ct_27 ct_28 BLOCK 10 ct_29 ct_30 BLOCK 11 ct_31 ct_32 ct_33 ct_34 BLOCK 12 ct_35 ct_36 BLOCK 13 ct_37 ct_38 BLOCK 14 ct_39 ct_40 ct_41 ct_42 ct_43 ct_44 BLOCK 15 ct_45 ct_46 BLOCK 16 ct_47 BLOCK 17 ct_48 ct_49 ct_50 ct_51 ct_52 ct_53 BLOCK 18 ct_54 ct_55 BLOCK 19 ct_56 ct_57 ct_58 ct_59 ct_60 BLOCK 20 ct_61 ct_62 ct_63 BLOCK 21 ct_64 ct_65 BLOCK 22 ct_66 ct_67 ct_68 ct_69 BLOCK 23 ct_70 ct_71 ct_72 BLOCK 24 ct_73 ct_74 ct_75 ct_76 ct_77 ct_78 BLOCK 25 ct_79 ct_80 ct_81 BLOCK 26 ct_82 ct_83 BLOCK 27 ct_84 ct_85 ct_86 ct_87 BLOCK 28 ct_88 ct_89 BLOCK 29 ct_90 ct_91 ct_92 ct_93 ct_94 BLOCK 30 ct_95 BLOCK 31 ct_96 BLOCK 32 ct_97 BLOCK 33 ct_98 BLOCK 34 ct_99 BLOCK 35 ct_100 BLOCK 36 ct_101 ct_102 ct_103 ct_104 BLOCK 37 ct_105 BLOCK 38 ct_106 BLOCK 39 ct_107 BLOCK 40 ct_108 BLOCK 41 ct_109 BLOCK 42 ct_110 BLOCK 43 ct_111 BLOCK 44 ct_112 BLOCK 45 ct_113 BLOCK 46 ct_114 BLOCK 47 ct_115 ct_116 ct_117 BLOCK 48 ct_118 BLOCK 49 ct_119 BLOCK 50 ct_120 BLOCK 51 ct_121 BLOCK 52 ct_122 BLOCK 53 ct_123 BLOCK 54 ct_124 ct_125 ct_126 BLOCK 55 ct_127 ct_128 BLOCK 56 ct_129 BLOCK 57 ct_130 BLOCK 58 ct_131 BLOCK 59 ct_132 BLOCK 60 ct_133 BLOCK 61 ct_134 BLOCK 62 ct_135 ct_136 BLOCK 63 ct_137 BLOCK 64 ct_138 ct_139 ct_140 ct_141 BLOCK 65 ct_142 ct_143 BLOCK 66 ct_144 ct_145 BLOCK 67 ct_146 ct_147 BLOCK 68 ct_148 ct_149 ct_150 BLOCK 69 ct_151 ct_152 BLOCK 70 ct_153 ct_154 ct_155 BLOCK 71 ct_156 ct_157 ct_158 ct_159 ct_160 ct_161 ct_162 ct_163 ct_164 ct_165 ct_166 ct_167 ct_168 BLOCK 72 ct_169 ct_170 ct_171 BLOCK 73 ct_172 ct_173 BLOCK 74 ct_174 ct_175 ct_176 ct_177 BLOCK 75 ct_178 BLOCK 76 ct_179 ct_180 ct_181 BLOCK 77 ct_182 ct_183 ct_184 ct_185 ct_186 ct_187 ct_188 ct_189 ct_190 BLOCK 78 ct_191 ct_192 ct_193 ct_194 BLOCK 79 ct_195 ct_196 ct_197 ct_198 BLOCK 80 ct_199 BLOCK 81 ct_200 ct_201 ct_202 ct_203 ct_204 ct_205 ct_206 BLOCK 82 ct_207 ct_208 ct_209 ct_210 ct_211 ct_212 ct_213 BLOCK 83 ct_214 ct_215 ct_216 ct_217 ct_218 BLOCK 84 ct_219 ct_220 ct_221 ct_222 BLOCK 85 ct_223 ct_224 BLOCK 86 ct_225 ct_226 ct_227 BLOCK 87 ct_228 ct_229 BLOCK 88 ct_230 ct_231 ct_232 ct_233 ct_234 ct_235 ct_236 BLOCK 89 ct_237 ct_238 ct_239 ct_240 ct_241 BLOCK 90 ct_242 ct_243 ct_244 ct_245 ct_246 ct_247 ct_248 ct_249 ct_250 ct_251 ct_252 BLOCK 91 ct_253 BLOCK 92 ct_254 ct_255 BLOCK 93 ct_256 ct_257 BLOCK 94 ct_258 ct_259 ct_260 BLOCK 95 ct_261 ct_262 BLOCK 96 ct_263 BLOCK 97 ct_264 BLOCK 98 ct_265 BLOCK 99 ct_266 ct_267 BLOCK 100 ct_268 ct_269 BLOCK 101 ct_270 BLOCK 102 ct_271 ct_272 ct_273 ct_274 BLOCK 103 ct_275 BLOCK 104 ct_276 BLOCK 105 ct_277 ct_278 BLOCK 106 ct_279 BLOCK 107 ct_280 BLOCK 108 ct_281 ct_282 BLOCK 109 ct_283 BLOCK 110 ct_284 BLOCK 111 ct_285 BLOCK 112 ct_286 BLOCK 113 ct_287 BLOCK 114 ct_288 BLOCK 115 ct_289 BLOCK 116 ct_290 BLOCK 117 ct_291 BLOCK 118 ct_292 BLOCK 119 ct_293 ct_294 BLOCK 120 ct_295 BLOCK 121 ct_296 BLOCK 122 ct_297 BLOCK 123 ct_298 BLOCK 124 ct_299 ct_300 BLOCK 125 ct_301 BLOCK 126 ct_302 ct_303 BLOCK 127 ct_304 ct_305 BLOCK 128 ct_306 ct_307 ct_308 BLOCK 129 ct_309 ct_310 ct_311 ct_312 ct_313 ct_314 ct_315 ct_316 BLOCK 130 ct_317 ct_318 BLOCK 131 ct_319 BLOCK 132 ct_320 ct_321 ct_322 ct_323 BLOCK 133 ct_324 BLOCK 134 ct_325 ct_326 ct_327 ct_328 BLOCK 135 ct_329 BLOCK 136 ct_330 ct_331 ct_332 BLOCK 137 ct_333 ct_334 BLOCK 138 ct_335 ct_336 ct_337 ct_338 BLOCK 139 ct_339 ct_340 BLOCK 140 ct_341 ct_342 BLOCK 141 ct_343 ct_344 ct_345 ct_346 ct_347 ct_348 BLOCK 142 ct_349 ct_350 BLOCK 143 ct_351 BLOCK 144 ct_352 ct_353 ct_354 ct_355 ct_356 ct_357 BLOCK 145 ct_358 ct_359 BLOCK 146 ct_360 ct_361 ct_362 ct_363 ct_364 BLOCK 147 ct_365 ct_366 ct_367 BLOCK 148 ct_368 ct_369 BLOCK 149 ct_370 ct_371 ct_372 ct_373 BLOCK 150 ct_374 ct_375 ct_376 BLOCK 151 ct_377 ct_378 ct_379 ct_380 ct_381 ct_382 BLOCK 152 ct_383 ct_384 ct_385 BLOCK 153 ct_386 ct_387 BLOCK 154 ct_388 ct_389 ct_390 ct_391 ct_392 ct_393 BLOCK 155 ct_394 ct_395 BLOCK 156 ct_396 ct_397 ct_398 ct_399 ct_400 BLOCK 157 ct_401 BLOCK 158 ct_402 ct_403 BLOCK 159 ct_404 ct_405 BLOCK 160 ct_406 ct_407 BLOCK 161 ct_408 BLOCK 162 ct_409 ct_410 ct_411 BLOCK 163 ct_412 ct_413 ct_414 ct_415 ct_416 ct_417 ct_418 ct_419 BLOCK 164 ct_420 ct_421 BLOCK 165 ct_422 BLOCK 166 ct_423 ct_424 ct_425 ct_426 BLOCK 167 ct_427 BLOCK 168 ct_428 ct_429 ct_430 ct_431 BLOCK 169 ct_432 BLOCK 170 ct_433 ct_434 ct_435 BLOCK 171 ct_436 ct_437 BLOCK 172 ct_438 ct_439 ct_440 ct_441 BLOCK 173 ct_442 ct_443 BLOCK 174 ct_444 ct_445 BLOCK 175 ct_446 ct_447 ct_448 ct_449 ct_450 ct_451 BLOCK 176 ct_452 ct_453 BLOCK 177 ct_454 BLOCK 178 ct_455 ct_456 ct_457 ct_458 ct_459 ct_460 BLOCK 179 ct_461 ct_462 BLOCK 180 ct_463 ct_464 ct_465 ct_466 ct_467 BLOCK 181 ct_468 ct_469 ct_470 BLOCK 182 ct_471 ct_472 BLOCK 183 ct_473 ct_474 ct_475 ct_476 BLOCK 184 ct_477 ct_478 ct_479 BLOCK 185 ct_480 ct_481 ct_482 ct_483 ct_484 ct_485 BLOCK 186 ct_486 ct_487 ct_488 BLOCK 187 ct_489 ct_490 BLOCK 188 ct_491 ct_492 ct_493 ct_494 BLOCK 189 ct_495 ct_496 BLOCK 190 ct_497 ct_498 ct_499 BLOCK 191 ct_500 BLOCK 192 ct_501 ct_502 ct_503 BLOCK 193 ct_504 BLOCK 194 ct_505 BLOCK 195 ct_506 BLOCK 196 ct_507 ct_508 BLOCK 197 ct_509 BLOCK 198 ct_510 ct_511 BLOCK 199 ct_512 BLOCK 200 ct_513 BLOCK 201 ct_514 BLOCK 202 ct_515 BLOCK 203 ct_516 ct_517 ct_518 ct_519 BLOCK 204 ct_520 BLOCK 205 ct_521 ct_522 ct_523 BLOCK 206 ct_524 BLOCK 207 ct_525 BLOCK 208 ct_526 BLOCK 209 ct_527 BLOCK 210 ct_528 ct_529 BLOCK 211 ct_530 BLOCK 212 ct_531 BLOCK 213 ct_532 ct_533 ct_534 BLOCK 214 ct_535 ct_536 ct_537 BLOCK 215 ct_538 BLOCK 216 ct_539 ct_540 ct_541 BLOCK 217 ct_542 ct_543 BLOCK 218 ct_544 ct_545 BLOCK 219 ct_546 BLOCK 220 ct_547 BLOCK 221 ct_548 BLOCK 222 ct_549 BLOCK 223 ct_550 ct_551 ct_552 BLOCK 224 ct_553 BLOCK 225 ct_554 BLOCK 226 ct_555 BLOCK 227 ct_556 BLOCK 228 ct_557 BLOCK 229 ct_558 BLOCK 230 ct_559 BLOCK 231 ct_560 BLOCK 232 ct_561 BLOCK 233 ct_562 BLOCK 234 ct_563 BLOCK 235 ct_564 BLOCK 236 ct_565 BLOCK 237 ct_566 BLOCK 238 ct_567 BLOCK 239 ct_568 BLOCK 240 ct_569 BLOCK 241 ct_570 BLOCK 242 ct_571 BLOCK 243 ct_572 BLOCK 244 ct_573 BLOCK 245 ct_574 BLOCK 246 ct_575 BLOCK 247 ct_576 BLOCK 248 ct_577 BLOCK 249 ct_578 BLOCK 250 ct_579 BLOCK 251 ct_580 BLOCK 252 ct_581 BLOCK 253 ct_582 BLOCK 254 ct_583 ct_584 ct_585 BLOCK 255 ct_586 ct_587 ct_588 ct_589 ct_590 ct_591 ct_592 ct_593 BLOCK 256 ct_594 ct_595 BLOCK 257 ct_596 BLOCK 258 ct_597 ct_598 ct_599 ct_600 BLOCK 259 ct_601 BLOCK 260 ct_602 ct_603 ct_604 ct_605 BLOCK 261 ct_606 BLOCK 262 ct_607 ct_608 ct_609 BLOCK 263 ct_610 ct_611 BLOCK 264 ct_612 ct_613 ct_614 ct_615 BLOCK 265 ct_616 ct_617 BLOCK 266 ct_618 ct_619 BLOCK 267 ct_620 ct_621 ct_622 ct_623 ct_624 ct_625 BLOCK 268 ct_626 ct_627 BLOCK 269 ct_628 BLOCK 270 ct_629 ct_630 ct_631 ct_632 ct_633 ct_634 BLOCK 271 ct_635 ct_636 BLOCK 272 ct_637 ct_638 ct_639 ct_640 ct_641 BLOCK 273 ct_642 ct_643 ct_644 BLOCK 274 ct_645 ct_646 BLOCK 275 ct_647 ct_648 ct_649 ct_650 BLOCK 276 ct_651 ct_652 ct_653 BLOCK 277 ct_654 ct_655 ct_656 ct_657 ct_658 ct_659 BLOCK 278 ct_660 ct_661 ct_662 BLOCK 279 ct_663 ct_664 BLOCK 280 ct_665 ct_666 ct_667 ct_668 BLOCK 281 ct_669 ct_670 BLOCK 282 ct_671 ct_672 ct_673 ct_674 ct_675 BLOCK 283 ct_676 ct_677 ct_678 BLOCK 284 ct_679 ct_680 ct_681 ct_682 ct_683 ct_684 ct_685 ct_686 BLOCK 285 ct_687 ct_688 BLOCK 286 ct_689 BLOCK 287 ct_690 ct_691 ct_692 ct_693 BLOCK 288 ct_694 BLOCK 289 ct_695 ct_696 ct_697 ct_698 BLOCK 290 ct_699 BLOCK 291 ct_700 ct_701 ct_702 BLOCK 292 ct_703 ct_704 BLOCK 293 ct_705 ct_706 ct_707 ct_708 BLOCK 294 ct_709 ct_710 BLOCK 295 ct_711 ct_712 BLOCK 296 ct_713 ct_714 ct_715 ct_716 ct_717 ct_718 BLOCK 297 ct_719 ct_720 BLOCK 298 ct_721 BLOCK 299 ct_722 ct_723 ct_724 ct_725 ct_726 ct_727 BLOCK 300 ct_728 ct_729 BLOCK 301 ct_730 ct_731 ct_732 ct_733 ct_734 BLOCK 302 ct_735 ct_736 ct_737 BLOCK 303 ct_738 ct_739 BLOCK 304 ct_740 ct_741 ct_742 ct_743 BLOCK 305 ct_744 ct_745 ct_746 BLOCK 306 ct_747 ct_748 ct_749 ct_750 ct_751 ct_752 BLOCK 307 ct_753 ct_754 ct_755 BLOCK 308 ct_756 ct_757 BLOCK 309 ct_758 ct_759 ct_760 ct_761 BLOCK 310 ct_762 ct_763 BLOCK 311 ct_764 ct_765 ct_766 ct_767 ct_768 BLOCK 312 ct_769 ct_770 ct_771 BLOCK 313 ct_772 ct_773 ct_774 ct_775 ct_776 ct_777 ct_778 ct_779 BLOCK 314 ct_780 ct_781 BLOCK 315 ct_782 BLOCK 316 ct_783 ct_784 ct_785 ct_786 BLOCK 317 ct_787 BLOCK 318 ct_788 ct_789 ct_790 ct_791 BLOCK 319 ct_792 BLOCK 320 ct_793 ct_794 ct_795 BLOCK 321 ct_796 ct_797 BLOCK 322 ct_798 ct_799 ct_800 ct_801 BLOCK 323 ct_802 ct_803 BLOCK 324 ct_804 ct_805 BLOCK 325 ct_806 ct_807 ct_808 ct_809 ct_810 ct_811 BLOCK 326 ct_812 ct_813 BLOCK 327 ct_814 BLOCK 328 ct_815 ct_816 ct_817 ct_818 ct_819 ct_820 BLOCK 329 ct_821 ct_822 BLOCK 330 ct_823 ct_824 ct_825 ct_826 ct_827 BLOCK 331 ct_828 ct_829 ct_830 BLOCK 332 ct_831 ct_832 BLOCK 333 ct_833 ct_834 ct_835 ct_836 BLOCK 334 ct_837 ct_838 ct_839 BLOCK 335 ct_840 ct_841 ct_842 ct_843 ct_844 ct_845 BLOCK 336 ct_846 ct_847 ct_848 BLOCK 337 ct_849 ct_850 BLOCK 338 ct_851 ct_852 ct_853 ct_854 BLOCK 339 ct_855 ct_856 ct_857 BLOCK 340 ct_858 ct_859 ct_860 ct_861 ct_862 BLOCK 341 ct_863 BLOCK 342 ct_864 ct_865 BLOCK 343 ct_866 BLOCK 344 ct_867 BLOCK 345 ct_868 ct_869 BLOCK 346 ct_870 BLOCK 347 ct_871 ct_872 BLOCK 348 ct_873 ct_874 ct_875 ct_876 BLOCK 349 ct_877 BLOCK 350 ct_878 BLOCK 351 ct_879 ct_880 BLOCK 352 ct_881 BLOCK 353 ct_882 BLOCK 354 ct_883 ct_884 ct_885 BLOCK 355 ct_886 BLOCK 356 ct_887 BLOCK 357 ct_888 ct_889 ct_890 BLOCK 358 ct_891 ct_892 ct_893 ct_894 BLOCK 359 ct_895 ct_896 ct_897 BLOCK 360 ct_898 BLOCK 361 ct_899 ct_900 ct_901 BLOCK 362 ct_902 ct_903 ct_904 ct_905 ct_906 ct_907 ct_908 ct_909 BLOCK 363 ct_910 ct_911 BLOCK 364 ct_912 BLOCK 365 ct_913 ct_914 ct_915 ct_916 BLOCK 366 ct_917 BLOCK 367 ct_918 ct_919 ct_920 ct_921 BLOCK 368 ct_922 BLOCK 369 ct_923 ct_924 ct_925 BLOCK 370 ct_926 ct_927 BLOCK 371 ct_928 ct_929 ct_930 ct_931 BLOCK 372 ct_932 ct_933 BLOCK 373 ct_934 ct_935 BLOCK 374 ct_936 ct_937 ct_938 ct_939 ct_940 ct_941 BLOCK 375 ct_942 ct_943 BLOCK 376 ct_944 BLOCK 377 ct_945 ct_946 ct_947 ct_948 ct_949 ct_950 BLOCK 378 ct_951 ct_952 BLOCK 379 ct_953 ct_954 ct_955 ct_956 ct_957 BLOCK 380 ct_958 ct_959 ct_960 BLOCK 381 ct_961 ct_962 BLOCK 382 ct_963 ct_964 ct_965 ct_966 BLOCK 383 ct_967 ct_968 ct_969 BLOCK 384 ct_970 ct_971 ct_972 ct_973 ct_974 ct_975 BLOCK 385 ct_976 ct_977 ct_978 BLOCK 386 ct_979 ct_980 BLOCK 387 ct_981 ct_982 ct_983 ct_984 BLOCK 388 ct_985 ct_986 BLOCK 389 ct_987 ct_988 ct_989 ct_990 ct_991 BLOCK 390 ct_992 ct_993 ct_994 BLOCK 391 ct_995 BLOCK 392 ct_996 BLOCK 393 ct_997 BLOCK 394 ct_998 ct_999 BLOCK 395 ct_1000 ct_1001 BLOCK 396 ct_1002 ct_1003 BLOCK 397 ct_1004 ct_1005 BLOCK 398 ct_1006 ct_1007 BLOCK 399 ct_1008 ct_1009 BLOCK 400 ct_1010 ct_1011 ct_1012 BLOCK 401 ct_1013 ct_1014 BLOCK 402 ct_1015 BLOCK 403 ct_1016 ct_1017 ct_1018 BLOCK 404 ct_1019 ct_1020 BLOCK 405 ct_1021 BLOCK 406 ct_1022 BLOCK 407 ct_1023 BLOCK 408 ct_1024 BLOCK 409 ct_1025 ct_1026 ct_1027 ct_1028 ct_1029 BLOCK 410 ct_1030 ct_1031 BLOCK 411 ct_1032 ct_1033 BLOCK 412 ct_1034 BLOCK 413 ct_1035 BLOCK 414 ct_1036 BLOCK 415 ct_1037 MASTERCONSS ct_0 ct_1