\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.780000 0 0.087678 0.000000 0.000184 0.000000 \\ connectedbase 0.010000 110 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 110 BLOCK 1 id14780 id14782 id14784 id14786 id14787 id14788 id14792 id14793 id14794 BLOCK 2 id15225 id10795 id10796 id10797 id10798 id10799 id10800 id10801 id10802 id10803 id10804 id10805 BLOCK 3 id14803 id14805 id14807 id14809 id14810 id14811 id14815 id14816 id14817 BLOCK 4 id295 id296 id297 id298 id299 id300 id301 id302 id303 id304 id305 id15183 BLOCK 5 id15226 id11045 id11046 id11047 id11048 id11049 id11050 id11051 id11052 id11053 id11054 id11055 BLOCK 6 id14826 id14828 id14830 id14832 id14833 id14834 id14838 id14839 id14840 BLOCK 7 id15227 id11295 id11296 id11297 id11298 id11299 id11300 id11301 id11302 id11303 id11304 id11305 BLOCK 8 id545 id546 id547 id548 id549 id550 id551 id552 id553 id554 id555 id15184 BLOCK 9 id14849 id14851 id14853 id14855 id14856 id14857 id14861 id14862 id14863 BLOCK 10 id15228 id11545 id11546 id11547 id11548 id11549 id11550 id11551 id11552 id11553 id11554 id11555 BLOCK 11 id795 id796 id797 id798 id799 id800 id801 id802 id803 id804 id805 id15185 BLOCK 12 id14872 id14874 id14876 id14878 id14879 id14880 id14884 id14885 id14886 BLOCK 13 id15229 id11795 id11796 id11797 id11798 id11799 id11800 id11801 id11802 id11803 id11804 id11805 BLOCK 14 id14895 id14897 id14899 id14901 id14902 id14903 id14907 id14908 id14909 BLOCK 15 id1045 id1046 id1047 id1048 id1049 id1050 id1051 id1052 id1053 id1054 id1055 id15186 BLOCK 16 id15230 id12045 id12046 id12047 id12048 id12049 id12050 id12051 id12052 id12053 id12054 id12055 BLOCK 17 id14918 id14920 id14922 id14924 id14925 id14926 id14930 id14931 id14932 BLOCK 18 id1295 id1296 id1297 id1298 id1299 id1300 id1301 id1302 id1303 id1304 id1305 id15187 BLOCK 19 id15231 id12295 id12296 id12297 id12298 id12299 id12300 id12301 id12302 id12303 id12304 id12305 BLOCK 20 id1545 id1546 id1547 id1548 id1549 id1550 id1551 id1552 id1553 id1554 id1555 id15188 BLOCK 21 id14941 id14943 id14945 id14947 id14948 id14949 id14953 id14954 id14955 BLOCK 22 id15232 id12545 id12546 id12547 id12548 id12549 id12550 id12551 id12552 id12553 id12554 id12555 BLOCK 23 id14964 id14966 id14968 id14970 id14971 id14972 id14976 id14977 id14978 BLOCK 24 id15233 id12795 id12796 id12797 id12798 id12799 id12800 id12801 id12802 id12803 id12804 id12805 BLOCK 25 id1795 id1796 id1797 id1798 id1799 id1800 id1801 id1802 id1803 id1804 id1805 id15189 BLOCK 26 id14987 id14989 id14991 id14993 id14994 id14995 id14999 id15000 id15001 BLOCK 27 id15234 id13045 id13046 id13047 id13048 id13049 id13050 id13051 id13052 id13053 id13054 id13055 BLOCK 28 id2045 id2046 id2047 id2048 id2049 id2050 id2051 id2052 id2053 id2054 id2055 id15190 BLOCK 29 id15010 id15012 id15014 id15016 id15017 id15018 id15022 id15023 id15024 BLOCK 30 id15235 id13295 id13296 id13297 id13298 id13299 id13300 id13301 id13302 id13303 id13304 id13305 BLOCK 31 id2295 id2296 id2297 id2298 id2299 id2300 id2301 id2302 id2303 id2304 id2305 id15191 BLOCK 32 id15033 id15035 id15037 id15039 id15040 id15041 id15045 id15046 id15047 BLOCK 33 id15236 id13545 id13546 id13547 id13548 id13549 id13550 id13551 id13552 id13553 id13554 id13555 BLOCK 34 id15056 id15058 id15060 id15062 id15063 id15064 id15068 id15069 id15070 BLOCK 35 id15237 id13795 id13796 id13797 id13798 id13799 id13800 id13801 id13802 id13803 id13804 id13805 BLOCK 36 id2545 id2546 id2547 id2548 id2549 id2550 id2551 id2552 id2553 id2554 id2555 id15192 BLOCK 37 id2795 id2796 id2797 id2798 id2799 id2800 id2801 id2802 id2803 id2804 id2805 id15193 BLOCK 38 id3045 id3046 id3047 id3048 id3049 id3050 id3051 id3052 id3053 id3054 id3055 id15194 BLOCK 39 id3295 id3296 id3297 id3298 id3299 id3300 id3301 id3302 id3303 id3304 id3305 id15195 BLOCK 40 id3545 id3546 id3547 id3548 id3549 id3550 id3551 id3552 id3553 id3554 id3555 id15196 BLOCK 41 id3795 id3796 id3797 id3798 id3799 id3800 id3801 id3802 id3803 id3804 id3805 id15197 BLOCK 42 id4045 id4046 id4047 id4048 id4049 id4050 id4051 id4052 id4053 id4054 id4055 id15198 BLOCK 43 id4295 id4296 id4297 id4298 id4299 id4300 id4301 id4302 id4303 id4304 id4305 id15199 BLOCK 44 id4545 id4546 id4547 id4548 id4549 id4550 id4551 id4552 id4553 id4554 id4555 id15200 BLOCK 45 id4795 id4796 id4797 id4798 id4799 id4800 id4801 id4802 id4803 id4804 id4805 id15201 BLOCK 46 id5045 id5046 id5047 id5048 id5049 id5050 id5051 id5052 id5053 id5054 id5055 id15202 BLOCK 47 id13814 id13816 id13818 id13820 id13821 id13822 id13826 id13827 id13828 BLOCK 48 id13837 id13839 id13841 id13843 id13844 id13845 id13849 id13850 id13851 BLOCK 49 id5295 id5296 id5297 id5298 id5299 id5300 id5301 id5302 id5303 id5304 id5305 id15203 BLOCK 50 id13860 id13862 id13864 id13866 id13867 id13868 id13872 id13873 id13874 BLOCK 51 id13883 id13885 id13887 id13889 id13890 id13891 id13895 id13896 id13897 BLOCK 52 id5545 id5546 id5547 id5548 id5549 id5550 id5551 id5552 id5553 id5554 id5555 id15204 BLOCK 53 id13906 id13908 id13910 id13912 id13913 id13914 id13918 id13919 id13920 BLOCK 54 id13929 id13931 id13933 id13935 id13936 id13937 id13941 id13942 id13943 BLOCK 55 id5795 id5796 id5797 id5798 id5799 id5800 id5801 id5802 id5803 id5804 id5805 id15205 BLOCK 56 id13952 id13954 id13956 id13958 id13959 id13960 id13964 id13965 id13966 BLOCK 57 id13975 id13977 id13979 id13981 id13982 id13983 id13987 id13988 id13989 BLOCK 58 id6045 id6046 id6047 id6048 id6049 id6050 id6051 id6052 id6053 id6054 id6055 id15206 BLOCK 59 id13998 id14000 id14002 id14004 id14005 id14006 id14010 id14011 id14012 BLOCK 60 id14021 id14023 id14025 id14027 id14028 id14029 id14033 id14034 id14035 BLOCK 61 id6295 id6296 id6297 id6298 id6299 id6300 id6301 id6302 id6303 id6304 id6305 id15207 BLOCK 62 id14044 id14046 id14048 id14050 id14051 id14052 id14056 id14057 id14058 BLOCK 63 id6545 id6546 id6547 id6548 id6549 id6550 id6551 id6552 id6553 id6554 id6555 id15208 BLOCK 64 id14067 id14069 id14071 id14073 id14074 id14075 id14079 id14080 id14081 BLOCK 65 id14090 id14092 id14094 id14096 id14097 id14098 id14102 id14103 id14104 BLOCK 66 id6795 id6796 id6797 id6798 id6799 id6800 id6801 id6802 id6803 id6804 id6805 id15209 BLOCK 67 id14113 id14115 id14117 id14119 id14120 id14121 id14125 id14126 id14127 BLOCK 68 id14136 id14138 id14140 id14142 id14143 id14144 id14148 id14149 id14150 BLOCK 69 id7045 id7046 id7047 id7048 id7049 id7050 id7051 id7052 id7053 id7054 id7055 id15210 BLOCK 70 id14159 id14161 id14163 id14165 id14166 id14167 id14171 id14172 id14173 BLOCK 71 id14182 id14184 id14186 id14188 id14189 id14190 id14194 id14195 id14196 BLOCK 72 id7295 id7296 id7297 id7298 id7299 id7300 id7301 id7302 id7303 id7304 id7305 id15211 BLOCK 73 id14205 id14207 id14209 id14211 id14212 id14213 id14217 id14218 id14219 BLOCK 74 id14228 id14230 id14232 id14234 id14235 id14236 id14240 id14241 id14242 BLOCK 75 id7545 id7546 id7547 id7548 id7549 id7550 id7551 id7552 id7553 id7554 id7555 id15212 BLOCK 76 id14251 id14253 id14255 id14257 id14258 id14259 id14263 id14264 id14265 BLOCK 77 id14274 id14276 id14278 id14280 id14281 id14282 id14286 id14287 id14288 BLOCK 78 id7795 id7796 id7797 id7798 id7799 id7800 id7801 id7802 id7803 id7804 id7805 id15213 BLOCK 79 id14297 id14299 id14301 id14303 id14304 id14305 id14309 id14310 id14311 BLOCK 80 id14320 id14322 id14324 id14326 id14327 id14328 id14332 id14333 id14334 BLOCK 81 id8045 id8046 id8047 id8048 id8049 id8050 id8051 id8052 id8053 id8054 id8055 id15214 BLOCK 82 id14343 id14345 id14347 id14349 id14350 id14351 id14355 id14356 id14357 BLOCK 83 id14366 id14368 id14370 id14372 id14373 id14374 id14378 id14379 id14380 BLOCK 84 id8295 id8296 id8297 id8298 id8299 id8300 id8301 id8302 id8303 id8304 id8305 id15215 BLOCK 85 id14389 id14391 id14393 id14395 id14396 id14397 id14401 id14402 id14403 BLOCK 86 id14412 id14414 id14416 id14418 id14419 id14420 id14424 id14425 id14426 BLOCK 87 id8545 id8546 id8547 id8548 id8549 id8550 id8551 id8552 id8553 id8554 id8555 id15216 BLOCK 88 id14435 id14437 id14439 id14441 id14442 id14443 id14447 id14448 id14449 BLOCK 89 id14458 id14460 id14462 id14464 id14465 id14466 id14470 id14471 id14472 BLOCK 90 id8795 id8796 id8797 id8798 id8799 id8800 id8801 id8802 id8803 id8804 id8805 id15217 BLOCK 91 id14481 id14483 id14485 id14487 id14488 id14489 id14493 id14494 id14495 BLOCK 92 id9045 id9046 id9047 id9048 id9049 id9050 id9051 id9052 id9053 id9054 id9055 id15218 BLOCK 93 id14504 id14506 id14508 id14510 id14511 id14512 id14516 id14517 id14518 BLOCK 94 id14527 id14529 id14531 id14533 id14534 id14535 id14539 id14540 id14541 BLOCK 95 id9295 id9296 id9297 id9298 id9299 id9300 id9301 id9302 id9303 id9304 id9305 id15219 BLOCK 96 id14550 id14552 id14554 id14556 id14557 id14558 id14562 id14563 id14564 BLOCK 97 id14573 id14575 id14577 id14579 id14580 id14581 id14585 id14586 id14587 BLOCK 98 id9545 id9546 id9547 id9548 id9549 id9550 id9551 id9552 id9553 id9554 id9555 id15220 BLOCK 99 id14596 id14598 id14600 id14602 id14603 id14604 id14608 id14609 id14610 BLOCK 100 id14619 id14621 id14623 id14625 id14626 id14627 id14631 id14632 id14633 BLOCK 101 id9795 id9796 id9797 id9798 id9799 id9800 id9801 id9802 id9803 id9804 id9805 id15221 BLOCK 102 id14642 id14644 id14646 id14648 id14649 id14650 id14654 id14655 id14656 BLOCK 103 id14665 id14667 id14669 id14671 id14672 id14673 id14677 id14678 id14679 BLOCK 104 id10045 id10046 id10047 id10048 id10049 id10050 id10051 id10052 id10053 id10054 id10055 id15222 BLOCK 105 id14688 id14690 id14692 id14694 id14695 id14696 id14700 id14701 id14702 BLOCK 106 id14711 id14713 id14715 id14717 id14718 id14719 id14723 id14724 id14725 BLOCK 107 id10295 id10296 id10297 id10298 id10299 id10300 id10301 id10302 id10303 id10304 id10305 id15223 BLOCK 108 id14734 id14736 id14738 id14740 id14741 id14742 id14746 id14747 id14748 BLOCK 109 id14757 id14759 id14761 id14763 id14764 id14765 id14769 id14770 id14771 BLOCK 110 id15224 id10545 id10546 id10547 id10548 id10549 id10550 id10551 id10552 id10553 id10554 id10555 MASTERCONSS id15072 id15073 id15074 id15075 id15076 id15077 id15078 id15079 id15080 id15081 id15082 id15083 id15084 id15085 id15086 id15087 id15088 id15089 id15090 id15091 id15092 id15093 id15094 id15095 id15096 id15097 id15098 id15099 id15100 id15101 id15102 id15103 id15104 id15105 id15106 id15107 id15108 id15109 id15110 id15111 id15112 id15113 id15114 id15115 id15116 id15117 id15118 id15119 id15120 id15121 id15122 id15123 id15124 id15125 id15126 id15127 id15128 id15129 id15130 id15131 id15132 id15133 id15134 id15135 id15136 id15137 id15138 id15139 id15140 id15141 id15142 id15143 id15144 id15145 id15146 id15147 id15148 id15149 id15150 id15151 id15152 id15153 id15154 id15155 id15156 id15157 id15158 id15159 id15160 id15161 id15162 id15163 id15164 id15165 id15166 id15167 id15168 id15169 id15170 id15171 id15172 id15173 id15174 id15175 id15176 id15177 id15178 id15179 id15180 id15181 id15182