#group: free frags first [ 2^0 2^1 2^2 2^3 2^4 2^5 2^6 2^7 2^8 2^9 2^10 2^11 2^12 2^13 ]
#0 : 23491 10 9257 [ 9 7 5 3 2 1 3 3 1 2 1 0 1 2 ]
#1 : 29620 96 1036 [ 78 83 80 84 72 65 59 55 54 1 0 0 0 0 ]
#2 : 5306 19 0 [ 14 14 8 8 11 10 11 11 10 0 0 0 0 0 ]
#3 : 14420 43 1760 [ 28 34 23 25 23 21 21 21 17 1 0 0 1 0 ]
#4 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#5 : 31740 1 1028 [ 0 0 1 1 1 1 1 1 1 1 0 1 1 3 ]
#6 : 32134 3 0 [ 2 0 1 2 1 1 1 0 1 2 0 1 1 3 ]
#7 : 31740 1 1028 [ 0 0 1 1 1 1 1 1 1 1 0 1 1 3 ]
#8 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#9 : 31740 1 1028 [ 0 0 1 1 1 1 1 1 1 1 0 1 1 3 ]
#10 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#11 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#12 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#13 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#14 : 32728 1 40 [ 0 0 0 1 1 0 1 1 1 1 1 1 1 3 ]
#15 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#16 : 24517 10 8228 [ 7 9 7 2 4 2 4 2 1 2 0 1 1 2 ]
#17 : 32745 4 0 [ 1 0 2 2 1 2 2 2 2 0 1 1 1 3 ]
#18 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#19 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#20 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#21 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#22 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#23 : 32670 4 0 [ 2 2 0 1 1 2 1 2 2 2 2 2 0 3 ]
#24 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#25 : 31740 1 1028 [ 0 0 1 1 1 1 1 1 1 1 0 1 1 3 ]
#26 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#27 : 31740 1 1028 [ 0 0 1 1 1 1 1 1 1 1 0 1 1 3 ]
#28 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#29 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#30 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#31 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#32 : 24516 9 8224 [ 2 3 7 4 0 4 2 3 1 2 0 1 1 2 ]
#33 : 30943 18 0 [ 11 12 11 12 7 12 13 10 6 0 0 1 2 2 ]
#34 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#35 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#36 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#37 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#38 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#39 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#40 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#41 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#42 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#43 : 31347 13 61 [ 7 6 4 4 3 2 1 5 3 2 2 1 0 3 ]
#44 : 32405 6 0 [ 3 1 2 3 1 3 2 3 2 3 1 2 2 2 ]
#45 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#46 : 30577 15 128 [ 7 5 6 1 2 3 1 1 2 2 2 3 1 2 ]
#47 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#48 : 23123 1 9645 [ 1 1 0 0 1 0 1 0 0 1 0 1 1 2 ]
#49 : 0 0 13437 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ]
#50 : 0 0 22373 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ]
#51 : 0 0 16250 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ]
#52 : 0 0 1441 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ]
#53 : 0 0 980 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ]
#54 : 0 0 16980 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ]
#55 : 0 0 2806 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ]
#56 : 6519 148 62 [ 77 1 78 74 62 36 17 12 1 1 0 0 0 0 ]
#57 : 17141 331 0 [ 203 199 257 207 146 80 52 24 8 1 0 0 0 0 ]
#58 : 16751 180 83 [ 115 82 136 83 56 13 0 1 0 1 1 0 1 1 ]
#59 : 30797 2 848 [ 1 0 1 1 2 1 0 0 0 0 0 1 1 3 ]
#60 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#61 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#62 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#63 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#64 : 24517 11 8228 [ 5 4 4 5 4 2 0 0 1 1 1 1 1 2 ]
#65 : 29939 4 28 [ 1 3 1 1 2 2 0 1 2 3 3 2 1 2 ]
#66 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#67 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#68 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#69 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#70 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#71 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#72 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#73 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#74 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#75 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#76 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#77 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#78 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#79 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#80 : 24540 4 8224 [ 2 3 3 1 2 3 3 1 0 1 1 1 1 2 ]
#81 : 0 0 32768 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ]
#82 : 20928 11 1028 [ 4 4 9 4 1 1 1 0 1 0 0 2 0 2 ]
#83 : 32617 4 54 [ 1 2 1 2 1 2 4 2 3 1 2 2 0 3 ]
#84 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#85 : 32669 2 0 [ 1 0 1 1 1 0 2 2 2 2 0 1 1 3 ]
#86 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#87 : 31802 10 0 [ 2 4 2 5 2 1 1 1 1 1 2 2 0 3 ]
#88 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#89 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#90 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#91 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#92 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#93 : 16384 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 2 ]
#94 : 4064 8 1526 [ 4 6 4 8 0 4 4 4 4 4 0 0 0 0 ]
#95 : 2040 4 5622 [ 2 3 2 3 1 2 2 2 2 2 0 0 0 0 ]
#96 : 24506 11 8237 [ 10 6 9 2 5 3 3 4 2 1 0 1 1 2 ]
#97 : 5052 8 1527 [ 4 4 4 6 3 4 5 5 5 5 0 0 0 0 ]
#98 : 23545 2 7670 [ 1 2 1 2 0 1 1 1 1 1 0 1 1 2 ]
#99 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#100 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#101 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#102 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#103 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#104 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#105 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#106 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#107 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#108 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#109 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#110 : 30174 3 0 [ 0 1 1 1 1 2 2 0 1 0 1 2 0 3 ]
#111 : 26291 4 311 [ 1 1 0 2 0 1 0 1 0 1 1 0 0 3 ]
#112 : 24519 10 8225 [ 7 4 4 3 3 1 1 0 1 1 1 1 1 2 ]
#113 : 32765 3 0 [ 1 0 1 1 1 1 1 1 1 1 1 1 1 3 ]
#114 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#115 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#116 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#117 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#118 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#119 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#120 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#121 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#122 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#123 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#124 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#125 : 31740 1 1028 [ 0 0 1 1 1 1 1 1 1 1 0 1 1 3 ]
#126 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#127 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#128 : 24516 9 8240 [ 8 6 4 4 6 5 2 2 3 1 0 1 1 2 ]
#129 : 32765 1 3 [ 1 0 1 1 1 1 1 1 1 1 1 1 1 3 ]
#130 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#131 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#132 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#133 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#134 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#135 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#136 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#137 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#138 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#139 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#140 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#141 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#142 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#143 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#144 : 24516 14 8231 [ 14 9 9 6 3 3 3 2 1 2 0 1 1 2 ]
#145 : 32754 4 0 [ 0 1 2 1 2 2 2 2 2 0 1 1 1 3 ]
#146 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#147 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#148 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#149 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#150 : 32762 1 6 [ 0 1 0 1 1 1 1 1 1 1 1 1 1 3 ]
#151 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#152 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#153 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#154 : 29973 2 1019 [ 1 0 1 0 1 0 0 0 1 0 1 0 1 3 ]
#155 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#156 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#157 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#158 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]
#159 : 32768 1 0 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 4 ]