c Copyright Volker Turau & Christoph Weyer, 2022
c Institute of Telematics
c Hamburg University of Technology, Hamburg, Germany
c Contact: turau@tuhh.de
c Graph file: benchmark/sp/sp007.col
c Target file: benchmark/sp/sp007_01.dat
c Size of independent set: 14
c Number of nodes of graph: 91
c Number of edges of graph: 570
c Average degree of graph: 12.53
s 1 8 14 21 27 34 40 47 53 60 66 73 79 86 
t 7 13 14 21 27 34 40 47 53 60 66 73 79 86 
c BFS found 7 new nodes in level 1 (total 8/244032232)
c BFS found 28 new nodes in level 2 (total 36/244032232)
c BFS found 78 new nodes in level 3 (total 114/244032232)
c BFS found 168 new nodes in level 4 (total 282/244032232)
c BFS found 305 new nodes in level 5 (total 582/244032232)
c BFS found 501 new nodes in level 6 (total 1066/244032232)
c BFS found 778 new nodes in level 7 (total 1784/244032232)
c BFS found 1142 new nodes in level 8 (total 2796/244032232)
c BFS found 1567 new nodes in level 9 (total 4117/244032232)
c BFS found 2035 new nodes in level 10 (total 5736/244032232)
c BFS found 2564 new nodes in level 11 (total 7641/244032232)
c BFS found 3149 new nodes in level 12 (total 9809/244032232)
c BFS found 3716 new nodes in level 13 (total 12177/244032232)
c BFS found 4216 new nodes in level 14 (total 14608/244032232)
c BFS found 4682 new nodes in level 15 (total 16980/244032232)
c R=2
c BFS found 5110 new nodes in level 16 (total 19262/244032232)
c R=3
c BFS found 5413 new nodes in level 17 (total 21250/244032232)
c R=4
c BFS found 5558 new nodes in level 18 (total 22890/244032232)
c BFS found 5600 new nodes in level 19 (total 24057/244032232)
c R=5
c BFS found 5557 new nodes in level 20 (total 24840/244032232)
c R=6
c BFS found 5399 new nodes in level 21 (total 25123/244032232)
c R=7
c BFS found 5133 new nodes in level 22 (total 24826/244032232)
c R=8
c BFS found 4801 new nodes in level 23 (total 24107/244032232)
c BFS found 4451 new nodes in level 24 (total 23139/244032232)
c R=9
c BFS found 4120 new nodes in level 25 (total 22033/244032232)
c R=10
c BFS found 3802 new nodes in level 26 (total 20530/244032232)
c BFS found 3493 new nodes in level 27 (total 19019/244032232)
c R=11
c BFS found 3243 new nodes in level 28 (total 17833/244032232)
c BFS found 3082 new nodes in level 29 (total 16824/244032232)
c R=12
c BFS found 2974 new nodes in level 30 (total 15779/244032232)
c BFS found 2895 new nodes in level 31 (total 14975/244032232)
c BFS found 2857 new nodes in level 32 (total 14630/244032232)
c R=13
c BFS found 2854 new nodes in level 33 (total 14517/244032232)
c BFS found 2864 new nodes in level 34 (total 14234/244032232)
c R=14
c BFS found 2867 new nodes in level 35 (total 14039/244032232)
c BFS found 2840 new nodes in level 36 (total 14117/244032232)
c BFS found 2774 new nodes in level 37 (total 14164/244032232)
c R=15
c BFS found 2679 new nodes in level 38 (total 14015/244032232)
c BFS found 2559 new nodes in level 39 (total 13587/244032232)
c BFS found 2397 new nodes in level 40 (total 13211/244032232)
c R=16
c BFS found 2181 new nodes in level 41 (total 12749/244032232)
c BFS found 1944 new nodes in level 42 (total 12089/244032232)
c BFS found 1729 new nodes in level 43 (total 11156/244032232)
c BFS found 1524 new nodes in level 44 (total 10217/244032232)
c BFS found 1307 new nodes in level 45 (total 9385/244032232)
c BFS found 1121 new nodes in level 46 (total 8563/244032232)
c R=17
c BFS found 1005 new nodes in level 47 (total 7706/244032232)
c BFS found 927 new nodes in level 48 (total 6710/244032232)
c BFS found 866 new nodes in level 49 (total 6026/244032232)
c BFS found 850 new nodes in level 50 (total 5727/244032232)
c BFS found 887 new nodes in level 51 (total 5392/244032232)
c BFS found 943 new nodes in level 52 (total 5050/244032232)
c BFS found 998 new nodes in level 53 (total 5100/244032232)
c BFS found 1066 new nodes in level 54 (total 5191/244032232)
c BFS found 1146 new nodes in level 55 (total 5222/244032232)
c BFS found 1210 new nodes in level 56 (total 5323/244032232)
c BFS found 1247 new nodes in level 57 (total 5612/244032232)
c R=18
c BFS found 1272 new nodes in level 58 (total 5817/244032232)
c BFS found 1289 new nodes in level 59 (total 5861/244032232)
c BFS found 1285 new nodes in level 60 (total 5983/244032232)
c BFS found 1259 new nodes in level 61 (total 6037/244032232)
c BFS found 1227 new nodes in level 62 (total 6026/244032232)
c BFS found 1203 new nodes in level 63 (total 5987/244032232)
c BFS found 1186 new nodes in level 64 (total 5971/244032232)
c BFS found 1170 new nodes in level 65 (total 5899/244032232)
c BFS found 1163 new nodes in level 66 (total 5790/244032232)
c R=19
c BFS found 1173 new nodes in level 67 (total 5797/244032232)
c BFS found 1193 new nodes in level 68 (total 5859/244032232)
c BFS found 1219 new nodes in level 69 (total 5906/244032232)
c BFS found 1250 new nodes in level 70 (total 6011/244032232)
c BFS found 1276 new nodes in level 71 (total 6200/244032232)
c BFS found 1292 new nodes in level 72 (total 6349/244032232)
c BFS found 1303 new nodes in level 73 (total 6454/244032232)
c BFS found 1306 new nodes in level 74 (total 6506/244032232)
c BFS found 1291 new nodes in level 75 (total 6556/244032232)
c BFS found 1261 new nodes in level 76 (total 6654/244032232)
c R=20
c BFS found 1233 new nodes in level 77 (total 6569/244032232)
c BFS found 1222 new nodes in level 78 (total 6448/244032232)
c BFS found 1227 new nodes in level 79 (total 6398/244032232)
c BFS found 1239 new nodes in level 80 (total 6482/244032232)
c BFS found 1268 new nodes in level 81 (total 6577/244032232)
c BFS found 1330 new nodes in level 82 (total 6661/244032232)
c BFS found 1416 new nodes in level 83 (total 6850/244032232)
c BFS found 1508 new nodes in level 84 (total 7188/244032232)
c BFS found 1606 new nodes in level 85 (total 7629/244032232)
c BFS found 1715 new nodes in level 86 (total 8065/244032232)
c R=21
c BFS found 1821 new nodes in level 87 (total 8540/244032232)
c BFS found 1908 new nodes in level 88 (total 8992/244032232)
c BFS found 1979 new nodes in level 89 (total 9472/244032232)
c BFS found 2038 new nodes in level 90 (total 9897/244032232)
c BFS found 2072 new nodes in level 91 (total 10208/244032232)
c BFS found 2073 new nodes in level 92 (total 10424/244032232)
c BFS found 2060 new nodes in level 93 (total 10631/244032232)
c R=22
c BFS found 2049 new nodes in level 94 (total 10700/244032232)
c BFS found 2023 new nodes in level 95 (total 10625/244032232)
c BFS found 1969 new nodes in level 96 (total 10582/244032232)
c BFS found 1913 new nodes in level 97 (total 10578/244032232)
c BFS found 1873 new nodes in level 98 (total 10279/244032232)
c BFS found 1824 new nodes in level 99 (total 9852/244032232)
c BFS found 1745 new nodes in level 100 (total 9586/244032232)
c BFS found 1654 new nodes in level 101 (total 9317/244032232)
c R=23
c BFS found 1570 new nodes in level 102 (total 8801/244032232)
c BFS found 1481 new nodes in level 103 (total 8199/244032232)
c BFS found 1371 new nodes in level 104 (total 7634/244032232)
c BFS found 1243 new nodes in level 105 (total 7194/244032232)
c BFS found 1110 new nodes in level 106 (total 6560/244032232)
c BFS found 986 new nodes in level 107 (total 5756/244032232)
c BFS found 877 new nodes in level 108 (total 5244/244032232)
c BFS found 775 new nodes in level 109 (total 4752/244032232)
c BFS found 681 new nodes in level 110 (total 4195/244032232)
c BFS found 614 new nodes in level 111 (total 3746/244032232)
c BFS found 578 new nodes in level 112 (total 3405/244032232)
c BFS found 557 new nodes in level 113 (total 3155/244032232)
c BFS found 544 new nodes in level 114 (total 2932/244032232)
c BFS found 543 new nodes in level 115 (total 2846/244032232)
c BFS found 555 new nodes in level 116 (total 2866/244032232)
c BFS found 576 new nodes in level 117 (total 2907/244032232)
c BFS found 595 new nodes in level 118 (total 2912/244032232)
c BFS found 601 new nodes in level 119 (total 2977/244032232)
c BFS found 596 new nodes in level 120 (total 3049/244032232)
c BFS found 587 new nodes in level 121 (total 3060/244032232)
c BFS found 573 new nodes in level 122 (total 3012/244032232)
c BFS found 546 new nodes in level 123 (total 2945/244032232)
c BFS found 503 new nodes in level 124 (total 2889/244032232)
c R=24
c BFS found 456 new nodes in level 125 (total 2774/244032232)
c BFS found 416 new nodes in level 126 (total 2620/244032232)
c BFS found 379 new nodes in level 127 (total 2446/244032232)
c BFS found 344 new nodes in level 128 (total 2294/244032232)
c BFS found 324 new nodes in level 129 (total 2176/244032232)
c BFS found 326 new nodes in level 130 (total 2107/244032232)
c BFS found 340 new nodes in level 131 (total 2082/244032232)
c BFS found 360 new nodes in level 132 (total 2086/244032232)
c BFS found 392 new nodes in level 133 (total 2127/244032232)
c BFS found 435 new nodes in level 134 (total 2242/244032232)
c BFS found 476 new nodes in level 135 (total 2404/244032232)
c BFS found 510 new nodes in level 136 (total 2549/244032232)
c BFS found 545 new nodes in level 137 (total 2671/244032232)
c BFS found 578 new nodes in level 138 (total 2758/244032232)
c BFS found 595 new nodes in level 139 (total 2915/244032232)
c BFS found 595 new nodes in level 140 (total 3007/244032232)
c BFS found 588 new nodes in level 141 (total 3056/244032232)
c BFS found 579 new nodes in level 142 (total 3035/244032232)
c BFS found 565 new nodes in level 143 (total 3024/244032232)
c BFS found 544 new nodes in level 144 (total 2984/244032232)
c BFS found 524 new nodes in level 145 (total 2930/244032232)
c BFS found 514 new nodes in level 146 (total 2888/244032232)
c BFS found 512 new nodes in level 147 (total 2874/244032232)
c BFS found 514 new nodes in level 148 (total 2793/244032232)
c BFS found 522 new nodes in level 149 (total 2771/244032232)
c BFS found 536 new nodes in level 150 (total 2803/244032232)
c BFS found 554 new nodes in level 151 (total 2863/244032232)
c BFS found 576 new nodes in level 152 (total 2962/244032232)
c BFS found 595 new nodes in level 153 (total 3020/244032232)
c BFS found 601 new nodes in level 154 (total 3082/244032232)
c BFS found 596 new nodes in level 155 (total 3159/244032232)
c BFS found 588 new nodes in level 156 (total 3178/244032232)
c BFS found 579 new nodes in level 157 (total 3155/244032232)
c BFS found 565 new nodes in level 158 (total 3121/244032232)
c BFS found 545 new nodes in level 159 (total 3099/244032232)
c BFS found 530 new nodes in level 160 (total 3055/244032232)
c BFS found 533 new nodes in level 161 (total 3011/244032232)
c BFS found 555 new nodes in level 162 (total 2996/244032232)
c BFS found 595 new nodes in level 163 (total 3068/244032232)
c BFS found 663 new nodes in level 164 (total 3246/244032232)
c BFS found 766 new nodes in level 165 (total 3504/244032232)
c BFS found 898 new nodes in level 166 (total 3869/244032232)
c BFS found 1055 new nodes in level 167 (total 4358/244032232)
c R=25
c BFS found 1236 new nodes in level 168 (total 4984/244032232)
c BFS found 1428 new nodes in level 169 (total 5700/244032232)
c BFS found 1610 new nodes in level 170 (total 6489/244032232)
c BFS found 1778 new nodes in level 171 (total 7275/244032232)
c BFS found 1939 new nodes in level 172 (total 8074/244032232)
c BFS found 2076 new nodes in level 173 (total 8810/244032232)
c BFS found 2162 new nodes in level 174 (total 9470/244032232)
c BFS found 2205 new nodes in level 175 (total 10048/244032232)
c BFS found 2232 new nodes in level 176 (total 10431/244032232)
c BFS found 2241 new nodes in level 177 (total 10676/244032232)
c BFS found 2220 new nodes in level 178 (total 10826/244032232)
c R=26
c BFS found 2179 new nodes in level 179 (total 10897/244032232)
c BFS found 2138 new nodes in level 180 (total 10829/244032232)
c BFS found 2113 new nodes in level 181 (total 10750/244032232)
c BFS found 2104 new nodes in level 182 (total 10714/244032232)
c BFS found 2099 new nodes in level 183 (total 10676/244032232)
c BFS found 2097 new nodes in level 184 (total 10669/244032232)
c BFS found 2112 new nodes in level 185 (total 10576/244032232)
c BFS found 2152 new nodes in level 186 (total 10696/244032232)
c BFS found 2201 new nodes in level 187 (total 10879/244032232)
c BFS found 2232 new nodes in level 188 (total 11044/244032232)
c R=27
c BFS found 2241 new nodes in level 189 (total 11153/244032232)
c BFS found 2246 new nodes in level 190 (total 11375/244032232)
c BFS found 2245 new nodes in level 191 (total 11622/244032232)
c BFS found 2212 new nodes in level 192 (total 11646/244032232)
c BFS found 2141 new nodes in level 193 (total 11590/244032232)
c BFS found 2049 new nodes in level 194 (total 11528/244032232)
c BFS found 1951 new nodes in level 195 (total 11345/244032232)
c BFS found 1851 new nodes in level 196 (total 11029/244032232)
c BFS found 1733 new nodes in level 197 (total 10533/244032232)
c BFS found 1594 new nodes in level 198 (total 10022/244032232)
c BFS found 1467 new nodes in level 199 (total 9688/244032232)
c BFS found 1363 new nodes in level 200 (total 9196/244032232)
c BFS found 1256 new nodes in level 201 (total 8552/244032232)
c R=28
c BFS found 1145 new nodes in level 202 (total 8061/244032232)
c BFS found 1055 new nodes in level 203 (total 7745/244032232)
c BFS found 986 new nodes in level 204 (total 7439/244032232)
c BFS found 923 new nodes in level 205 (total 7103/244032232)
c BFS found 865 new nodes in level 206 (total 6716/244032232)
c BFS found 809 new nodes in level 207 (total 6467/244032232)
c BFS found 751 new nodes in level 208 (total 6266/244032232)
c BFS found 696 new nodes in level 209 (total 5966/244032232)
c BFS found 643 new nodes in level 210 (total 5532/244032232)
c BFS found 584 new nodes in level 211 (total 5186/244032232)
c BFS found 515 new nodes in level 212 (total 4795/244032232)
c BFS found 445 new nodes in level 213 (total 4518/244032232)
c BFS found 384 new nodes in level 214 (total 4092/244032232)
c BFS found 324 new nodes in level 215 (total 3763/244032232)
c BFS found 260 new nodes in level 216 (total 3556/244032232)
c BFS found 208 new nodes in level 217 (total 3233/244032232)
c BFS found 176 new nodes in level 218 (total 2806/244032232)
c BFS found 153 new nodes in level 219 (total 2460/244032232)
c BFS found 137 new nodes in level 220 (total 2234/244032232)
c BFS found 136 new nodes in level 221 (total 2046/244032232)
c BFS found 149 new nodes in level 222 (total 1827/244032232)
c BFS found 167 new nodes in level 223 (total 1744/244032232)
c BFS found 186 new nodes in level 224 (total 1798/244032232)
c BFS found 209 new nodes in level 225 (total 1708/244032232)
c BFS found 233 new nodes in level 226 (total 1694/244032232)
c BFS found 250 new nodes in level 227 (total 1769/244032232)
c BFS found 261 new nodes in level 228 (total 1872/244032232)
c BFS found 272 new nodes in level 229 (total 1909/244032232)
c BFS found 281 new nodes in level 230 (total 1969/244032232)
c BFS found 281 new nodes in level 231 (total 2016/244032232)
c BFS found 271 new nodes in level 232 (total 2051/244032232)
c BFS found 257 new nodes in level 233 (total 2065/244032232)
c BFS found 245 new nodes in level 234 (total 2060/244032232)
c BFS found 235 new nodes in level 235 (total 2027/244032232)
c BFS found 225 new nodes in level 236 (total 2008/244032232)
c BFS found 219 new nodes in level 237 (total 1998/244032232)
c BFS found 221 new nodes in level 238 (total 2007/244032232)
c BFS found 229 new nodes in level 239 (total 2031/244032232)
c BFS found 240 new nodes in level 240 (total 2086/244032232)
c BFS found 250 new nodes in level 241 (total 2149/244032232)
c BFS found 256 new nodes in level 242 (total 2186/244032232)
c BFS found 262 new nodes in level 243 (total 2277/244032232)
c BFS found 272 new nodes in level 244 (total 2333/244032232)
c BFS found 281 new nodes in level 245 (total 2351/244032232)
c BFS found 281 new nodes in level 246 (total 2418/244032232)
c BFS found 271 new nodes in level 247 (total 2454/244032232)
c BFS found 257 new nodes in level 248 (total 2429/244032232)
c BFS found 245 new nodes in level 249 (total 2358/244032232)
c BFS found 235 new nodes in level 250 (total 2339/244032232)
c BFS found 226 new nodes in level 251 (total 2357/244032232)
c BFS found 225 new nodes in level 252 (total 2339/244032232)
c BFS found 238 new nodes in level 253 (total 2317/244032232)
c BFS found 261 new nodes in level 254 (total 2343/244032232)
c BFS found 289 new nodes in level 255 (total 2421/244032232)
c BFS found 322 new nodes in level 256 (total 2523/244032232)
c BFS found 361 new nodes in level 257 (total 2672/244032232)
c BFS found 405 new nodes in level 258 (total 2860/244032232)
c BFS found 455 new nodes in level 259 (total 3079/244032232)
c BFS found 513 new nodes in level 260 (total 3333/244032232)
c BFS found 575 new nodes in level 261 (total 3574/244032232)
c BFS found 632 new nodes in level 262 (total 3862/244032232)
c BFS found 678 new nodes in level 263 (total 4181/244032232)
c BFS found 718 new nodes in level 264 (total 4449/244032232)
c BFS found 757 new nodes in level 265 (total 4639/244032232)
c BFS found 783 new nodes in level 266 (total 4827/244032232)
c BFS found 786 new nodes in level 267 (total 5015/244032232)
c BFS found 780 new nodes in level 268 (total 5108/244032232)
c BFS found 778 new nodes in level 269 (total 5061/244032232)
c BFS found 768 new nodes in level 270 (total 4932/244032232)
c BFS found 735 new nodes in level 271 (total 4829/244032232)
c BFS found 685 new nodes in level 272 (total 4721/244032232)
c BFS found 632 new nodes in level 273 (total 4436/244032232)
c BFS found 579 new nodes in level 274 (total 4094/244032232)
c R=29
c BFS found 522 new nodes in level 275 (total 3862/244032232)
c BFS found 458 new nodes in level 276 (total 3569/244032232)
c BFS found 392 new nodes in level 277 (total 3209/244032232)
c BFS found 338 new nodes in level 278 (total 2943/244032232)
c BFS found 300 new nodes in level 279 (total 2736/244032232)
c BFS found 268 new nodes in level 280 (total 2460/244032232)
c BFS found 241 new nodes in level 281 (total 2242/244032232)
c BFS found 228 new nodes in level 282 (total 2118/244032232)
c BFS found 230 new nodes in level 283 (total 2070/244032232)
c BFS found 240 new nodes in level 284 (total 2039/244032232)
c BFS found 250 new nodes in level 285 (total 2029/244032232)
c BFS found 256 new nodes in level 286 (total 2075/244032232)
c BFS found 262 new nodes in level 287 (total 2115/244032232)
c BFS found 272 new nodes in level 288 (total 2148/244032232)
c BFS found 281 new nodes in level 289 (total 2153/244032232)
c BFS found 281 new nodes in level 290 (total 2207/244032232)
c BFS found 271 new nodes in level 291 (total 2271/244032232)
c BFS found 256 new nodes in level 292 (total 2263/244032232)
c BFS found 239 new nodes in level 293 (total 2201/244032232)
c BFS found 217 new nodes in level 294 (total 2126/244032232)
c BFS found 189 new nodes in level 295 (total 2085/244032232)
c BFS found 164 new nodes in level 296 (total 1999/244032232)
c BFS found 148 new nodes in level 297 (total 1924/244032232)
c BFS found 137 new nodes in level 298 (total 1805/244032232)
c BFS found 131 new nodes in level 299 (total 1736/244032232)
c BFS found 135 new nodes in level 300 (total 1730/244032232)
c BFS found 149 new nodes in level 301 (total 1746/244032232)
c BFS found 167 new nodes in level 302 (total 1765/244032232)
c BFS found 186 new nodes in level 303 (total 1721/244032232)
c BFS found 209 new nodes in level 304 (total 1758/244032232)
c BFS found 233 new nodes in level 305 (total 1828/244032232)
c BFS found 250 new nodes in level 306 (total 1919/244032232)
c BFS found 261 new nodes in level 307 (total 1994/244032232)
c BFS found 272 new nodes in level 308 (total 2036/244032232)
c BFS found 281 new nodes in level 309 (total 2064/244032232)
c BFS found 281 new nodes in level 310 (total 2115/244032232)
c BFS found 271 new nodes in level 311 (total 2143/244032232)
c BFS found 257 new nodes in level 312 (total 2137/244032232)
c BFS found 245 new nodes in level 313 (total 2130/244032232)
c BFS found 235 new nodes in level 314 (total 2110/244032232)
c BFS found 225 new nodes in level 315 (total 2053/244032232)
c BFS found 219 new nodes in level 316 (total 2021/244032232)
c BFS found 221 new nodes in level 317 (total 2021/244032232)
c BFS found 229 new nodes in level 318 (total 2038/244032232)
c BFS found 240 new nodes in level 319 (total 2066/244032232)
c BFS found 250 new nodes in level 320 (total 2123/244032232)
c BFS found 256 new nodes in level 321 (total 2200/244032232)
c BFS found 262 new nodes in level 322 (total 2243/244032232)
c BFS found 272 new nodes in level 323 (total 2271/244032232)
c BFS found 281 new nodes in level 324 (total 2266/244032232)
c BFS found 281 new nodes in level 325 (total 2309/244032232)
c BFS found 271 new nodes in level 326 (total 2364/244032232)
c BFS found 257 new nodes in level 327 (total 2347/244032232)
c BFS found 245 new nodes in level 328 (total 2294/244032232)
c BFS found 235 new nodes in level 329 (total 2237/244032232)
c BFS found 226 new nodes in level 330 (total 2234/244032232)
c BFS found 225 new nodes in level 331 (total 2218/244032232)
c BFS found 239 new nodes in level 332 (total 2218/244032232)
c BFS found 267 new nodes in level 333 (total 2252/244032232)
c BFS found 308 new nodes in level 334 (total 2358/244032232)
c BFS found 364 new nodes in level 335 (total 2511/244032232)
c BFS found 434 new nodes in level 336 (total 2698/244032232)
c BFS found 516 new nodes in level 337 (total 2989/244032232)
c BFS found 615 new nodes in level 338 (total 3358/244032232)
c BFS found 736 new nodes in level 339 (total 3746/244032232)
c BFS found 870 new nodes in level 340 (total 4230/244032232)
c BFS found 1002 new nodes in level 341 (total 4801/244032232)
c BFS found 1136 new nodes in level 342 (total 5400/244032232)
c BFS found 1289 new nodes in level 343 (total 6032/244032232)
c BFS found 1455 new nodes in level 344 (total 6749/244032232)
c BFS found 1608 new nodes in level 345 (total 7457/244032232)
c BFS found 1740 new nodes in level 346 (total 8170/244032232)
c BFS found 1870 new nodes in level 347 (total 8872/244032232)
c BFS found 2004 new nodes in level 348 (total 9565/244032232)
c BFS found 2114 new nodes in level 349 (total 10210/244032232)
c BFS found 2182 new nodes in level 350 (total 10752/244032232)
c R=30
c BFS found 2227 new nodes in level 351 (total 11130/244032232)
c BFS found 2269 new nodes in level 352 (total 11466/244032232)
c BFS found 2300 new nodes in level 353 (total 11796/244032232)
c BFS found 2311 new nodes in level 354 (total 11927/244032232)
c BFS found 2311 new nodes in level 355 (total 12052/244032232)
c BFS found 2309 new nodes in level 356 (total 12294/244032232)
c BFS found 2316 new nodes in level 357 (total 12433/244032232)
c BFS found 2342 new nodes in level 358 (total 12480/244032232)
c BFS found 2373 new nodes in level 359 (total 12552/244032232)
c BFS found 2395 new nodes in level 360 (total 12838/244032232)
c BFS found 2425 new nodes in level 361 (total 13028/244032232)
c BFS found 2478 new nodes in level 362 (total 13094/244032232)
c BFS found 2533 new nodes in level 363 (total 13213/244032232)
c R=31
c BFS found 2558 new nodes in level 364 (total 13494/244032232)
c BFS found 2553 new nodes in level 365 (total 13712/244032232)
c BFS found 2539 new nodes in level 366 (total 13749/244032232)
c BFS found 2512 new nodes in level 367 (total 13732/244032232)
c BFS found 2445 new nodes in level 368 (total 13736/244032232)
c BFS found 2332 new nodes in level 369 (total 13627/244032232)
c BFS found 2197 new nodes in level 370 (total 13301/244032232)
c BFS found 2059 new nodes in level 371 (total 12832/244032232)
c BFS found 1915 new nodes in level 372 (total 12416/244032232)
c BFS found 1756 new nodes in level 373 (total 11950/244032232)
c BFS found 1592 new nodes in level 374 (total 11327/244032232)
c BFS found 1450 new nodes in level 375 (total 10530/244032232)
c BFS found 1334 new nodes in level 376 (total 9807/244032232)
c BFS found 1224 new nodes in level 377 (total 9285/244032232)
c BFS found 1121 new nodes in level 378 (total 8871/244032232)
c R=32
c BFS found 1043 new nodes in level 379 (total 8311/244032232)
c BFS found 990 new nodes in level 380 (total 7681/244032232)
c BFS found 953 new nodes in level 381 (total 7267/244032232)
c BFS found 928 new nodes in level 382 (total 7056/244032232)
c BFS found 908 new nodes in level 383 (total 6754/244032232)
c BFS found 892 new nodes in level 384 (total 6488/244032232)
c BFS found 882 new nodes in level 385 (total 6395/244032232)
c BFS found 874 new nodes in level 386 (total 6354/244032232)
c BFS found 862 new nodes in level 387 (total 6095/244032232)
c BFS found 836 new nodes in level 388 (total 5970/244032232)
c BFS found 801 new nodes in level 389 (total 5926/244032232)
c BFS found 771 new nodes in level 390 (total 5773/244032232)
c BFS found 739 new nodes in level 391 (total 5518/244032232)
c BFS found 697 new nodes in level 392 (total 5344/244032232)
c BFS found 658 new nodes in level 393 (total 5231/244032232)
c BFS found 630 new nodes in level 394 (total 5000/244032232)
c BFS found 604 new nodes in level 395 (total 4725/244032232)
c BFS found 580 new nodes in level 396 (total 4575/244032232)
c BFS found 566 new nodes in level 397 (total 4475/244032232)
c BFS found 563 new nodes in level 398 (total 4407/244032232)
c BFS found 570 new nodes in level 399 (total 4270/244032232)
c BFS found 586 new nodes in level 400 (total 4286/244032232)
c BFS found 612 new nodes in level 401 (total 4317/244032232)
c BFS found 645 new nodes in level 402 (total 4401/244032232)
c BFS found 672 new nodes in level 403 (total 4582/244032232)
c BFS found 690 new nodes in level 404 (total 4694/244032232)
c BFS found 708 new nodes in level 405 (total 4808/244032232)
c BFS found 725 new nodes in level 406 (total 4875/244032232)
c BFS found 732 new nodes in level 407 (total 4978/244032232)
c BFS found 726 new nodes in level 408 (total 5050/244032232)
c BFS found 712 new nodes in level 409 (total 5110/244032232)
c BFS found 696 new nodes in level 410 (total 5095/244032232)
c BFS found 678 new nodes in level 411 (total 5086/244032232)
c BFS found 655 new nodes in level 412 (total 5092/244032232)
c BFS found 634 new nodes in level 413 (total 5055/244032232)
c BFS found 630 new nodes in level 414 (total 4974/244032232)
c BFS found 646 new nodes in level 415 (total 4897/244032232)
c BFS found 675 new nodes in level 416 (total 4953/244032232)
c BFS found 711 new nodes in level 417 (total 5094/244032232)
c BFS found 749 new nodes in level 418 (total 5269/244032232)
c BFS found 790 new nodes in level 419 (total 5421/244032232)
c BFS found 833 new nodes in level 420 (total 5622/244032232)
c BFS found 870 new nodes in level 421 (total 5876/244032232)
c BFS found 896 new nodes in level 422 (total 6087/244032232)
c BFS found 908 new nodes in level 423 (total 6228/244032232)
c BFS found 905 new nodes in level 424 (total 6372/244032232)
c BFS found 890 new nodes in level 425 (total 6468/244032232)
c BFS found 863 new nodes in level 426 (total 6459/244032232)
c BFS found 819 new nodes in level 427 (total 6364/244032232)
c BFS found 762 new nodes in level 428 (total 6323/244032232)
c BFS found 708 new nodes in level 429 (total 6228/244032232)
c BFS found 663 new nodes in level 430 (total 5984/244032232)
c BFS found 620 new nodes in level 431 (total 5644/244032232)
c R=33
c BFS found 581 new nodes in level 432 (total 5293/244032232)
c BFS found 553 new nodes in level 433 (total 5138/244032232)
c BFS found 532 new nodes in level 434 (total 4870/244032232)
c BFS found 513 new nodes in level 435 (total 4496/244032232)
c BFS found 497 new nodes in level 436 (total 4364/244032232)
c BFS found 483 new nodes in level 437 (total 4279/244032232)
c BFS found 467 new nodes in level 438 (total 3710/244032232)
c BFS found 450 new nodes in level 439 (total 3514/244032232)
c BFS found 438 new nodes in level 440 (total 3452/244032232)
c BFS found 430 new nodes in level 441 (total 3405/244032232)
c BFS found 416 new nodes in level 442 (total 3285/244032232)
c BFS found 395 new nodes in level 443 (total 3076/244032232)
c BFS found 381 new nodes in level 444 (total 2997/244032232)
c BFS found 379 new nodes in level 445 (total 2954/244032232)
c BFS found 376 new nodes in level 446 (total 2736/244032232)
c BFS found 363 new nodes in level 447 (total 2626/244032232)
c BFS found 346 new nodes in level 448 (total 2566/244032232)
c BFS found 332 new nodes in level 449 (total 2535/244032232)
c BFS found 318 new nodes in level 450 (total 2365/244032232)
c BFS found 298 new nodes in level 451 (total 2268/244032232)
c BFS found 271 new nodes in level 452 (total 2200/244032232)
c BFS found 241 new nodes in level 453 (total 2089/244032232)
c BFS found 213 new nodes in level 454 (total 1985/244032232)
c BFS found 186 new nodes in level 455 (total 1877/244032232)
c BFS found 155 new nodes in level 456 (total 1753/244032232)
c BFS found 124 new nodes in level 457 (total 1621/244032232)
c BFS found 104 new nodes in level 458 (total 1494/244032232)
c BFS found 97 new nodes in level 459 (total 1418/244032232)
c BFS found 96 new nodes in level 460 (total 1353/244032232)
c BFS found 96 new nodes in level 461 (total 1317/244032232)
c BFS found 97 new nodes in level 462 (total 1301/244032232)
c BFS found 102 new nodes in level 463 (total 1313/244032232)
c BFS found 112 new nodes in level 464 (total 1336/244032232)
c BFS found 122 new nodes in level 465 (total 1369/244032232)
c BFS found 127 new nodes in level 466 (total 1399/244032232)
c BFS found 128 new nodes in level 467 (total 1421/244032232)
c BFS found 128 new nodes in level 468 (total 1445/244032232)
c BFS found 127 new nodes in level 469 (total 1445/244032232)
c BFS found 122 new nodes in level 470 (total 1437/244032232)
c BFS found 112 new nodes in level 471 (total 1425/244032232)
c BFS found 101 new nodes in level 472 (total 1397/244032232)
c BFS found 91 new nodes in level 473 (total 1366/244032232)
c BFS found 79 new nodes in level 474 (total 1329/244032232)
c BFS found 65 new nodes in level 475 (total 1289/244032232)
c BFS found 54 new nodes in level 476 (total 1243/244032232)
c BFS found 49 new nodes in level 477 (total 1213/244032232)
c BFS found 49 new nodes in level 478 (total 1173/244032232)
c BFS found 54 new nodes in level 479 (total 1166/244032232)
c BFS found 65 new nodes in level 480 (total 1186/244032232)
c BFS found 79 new nodes in level 481 (total 1223/244032232)
c BFS found 91 new nodes in level 482 (total 1264/244032232)
c BFS found 101 new nodes in level 483 (total 1304/244032232)
c BFS found 112 new nodes in level 484 (total 1350/244032232)
c BFS found 122 new nodes in level 485 (total 1381/244032232)
c BFS found 127 new nodes in level 486 (total 1421/244032232)
c BFS found 128 new nodes in level 487 (total 1451/244032232)
c BFS found 128 new nodes in level 488 (total 1466/244032232)
c BFS found 127 new nodes in level 489 (total 1477/244032232)
c BFS found 122 new nodes in level 490 (total 1478/244032232)
c BFS found 112 new nodes in level 491 (total 1457/244032232)
c BFS found 102 new nodes in level 492 (total 1434/244032232)
c BFS found 97 new nodes in level 493 (total 1417/244032232)
c BFS found 96 new nodes in level 494 (total 1393/244032232)
c BFS found 96 new nodes in level 495 (total 1383/244032232)
c BFS found 96 new nodes in level 496 (total 1368/244032232)
c BFS found 97 new nodes in level 497 (total 1376/244032232)
c BFS found 102 new nodes in level 498 (total 1387/244032232)
c BFS found 112 new nodes in level 499 (total 1409/244032232)
c BFS found 122 new nodes in level 500 (total 1438/244032232)
c BFS found 127 new nodes in level 501 (total 1472/244032232)
c BFS found 128 new nodes in level 502 (total 1495/244032232)
c BFS found 128 new nodes in level 503 (total 1517/244032232)
c BFS found 127 new nodes in level 504 (total 1521/244032232)
c BFS found 122 new nodes in level 505 (total 1524/244032232)
c BFS found 112 new nodes in level 506 (total 1507/244032232)
c BFS found 102 new nodes in level 507 (total 1483/244032232)
c BFS found 97 new nodes in level 508 (total 1462/244032232)
c BFS found 96 new nodes in level 509 (total 1442/244032232)
c BFS found 97 new nodes in level 510 (total 1426/244032232)
c BFS found 102 new nodes in level 511 (total 1401/244032232)
c BFS found 114 new nodes in level 512 (total 1423/244032232)
c BFS found 135 new nodes in level 513 (total 1474/244032232)
c BFS found 167 new nodes in level 514 (total 1552/244032232)
c BFS found 209 new nodes in level 515 (total 1658/244032232)
c BFS found 255 new nodes in level 516 (total 1807/244032232)
c BFS found 300 new nodes in level 517 (total 1990/244032232)
c BFS found 347 new nodes in level 518 (total 2181/244032232)
c BFS found 399 new nodes in level 519 (total 2374/244032232)
c BFS found 447 new nodes in level 520 (total 2587/244032232)
c BFS found 482 new nodes in level 521 (total 2778/244032232)
c BFS found 510 new nodes in level 522 (total 2960/244032232)
c BFS found 541 new nodes in level 523 (total 3115/244032232)
c BFS found 574 new nodes in level 524 (total 3274/244032232)
c BFS found 603 new nodes in level 525 (total 3423/244032232)
c BFS found 627 new nodes in level 526 (total 3562/244032232)
c BFS found 650 new nodes in level 527 (total 3692/244032232)
c BFS found 680 new nodes in level 528 (total 3801/244032232)
c BFS found 719 new nodes in level 529 (total 3952/244032232)
c BFS found 754 new nodes in level 530 (total 4125/244032232)
c BFS found 773 new nodes in level 531 (total 4259/244032232)
c BFS found 784 new nodes in level 532 (total 4377/244032232)
c BFS found 801 new nodes in level 533 (total 4501/244032232)
c BFS found 817 new nodes in level 534 (total 4628/244032232)
c BFS found 815 new nodes in level 535 (total 4676/244032232)
c BFS found 796 new nodes in level 536 (total 4690/244032232)
c BFS found 772 new nodes in level 537 (total 4695/244032232)
c BFS found 747 new nodes in level 538 (total 4668/244032232)
c BFS found 716 new nodes in level 539 (total 4607/244032232)
c BFS found 673 new nodes in level 540 (total 4511/244032232)
c BFS found 623 new nodes in level 541 (total 4352/244032232)
c BFS found 581 new nodes in level 542 (total 4193/244032232)
c BFS found 550 new nodes in level 543 (total 4061/244032232)
c BFS found 517 new nodes in level 544 (total 3880/244032232)
c BFS found 481 new nodes in level 545 (total 3717/244032232)
c BFS found 456 new nodes in level 546 (total 3614/244032232)
c BFS found 443 new nodes in level 547 (total 3531/244032232)
c BFS found 431 new nodes in level 548 (total 3445/244032232)
c BFS found 415 new nodes in level 549 (total 3379/244032232)
c BFS found 396 new nodes in level 550 (total 3300/244032232)
c BFS found 377 new nodes in level 551 (total 3249/244032232)
c BFS found 360 new nodes in level 552 (total 3208/244032232)
c BFS found 343 new nodes in level 553 (total 3127/244032232)
c BFS found 322 new nodes in level 554 (total 3014/244032232)
c BFS found 296 new nodes in level 555 (total 2958/244032232)
c BFS found 269 new nodes in level 556 (total 2854/244032232)
c BFS found 243 new nodes in level 557 (total 2713/244032232)
c BFS found 213 new nodes in level 558 (total 2582/244032232)
c BFS found 177 new nodes in level 559 (total 2478/244032232)
c BFS found 144 new nodes in level 560 (total 2363/244032232)
c BFS found 119 new nodes in level 561 (total 2177/244032232)
c BFS found 95 new nodes in level 562 (total 2002/244032232)
c BFS found 71 new nodes in level 563 (total 1862/244032232)
c BFS found 55 new nodes in level 564 (total 1777/244032232)
c BFS found 49 new nodes in level 565 (total 1649/244032232)
c BFS found 49 new nodes in level 566 (total 1511/244032232)
c BFS found 54 new nodes in level 567 (total 1471/244032232)
c BFS found 65 new nodes in level 568 (total 1478/244032232)
c BFS found 79 new nodes in level 569 (total 1457/244032232)
c BFS found 91 new nodes in level 570 (total 1511/244032232)
c BFS found 101 new nodes in level 571 (total 1528/244032232)
c BFS found 112 new nodes in level 572 (total 1562/244032232)
c BFS found 122 new nodes in level 573 (total 1579/244032232)
c BFS found 127 new nodes in level 574 (total 1618/244032232)
c BFS found 128 new nodes in level 575 (total 1647/244032232)
c BFS found 128 new nodes in level 576 (total 1680/244032232)
c BFS found 127 new nodes in level 577 (total 1691/244032232)
c BFS found 122 new nodes in level 578 (total 1694/244032232)
c BFS found 112 new nodes in level 579 (total 1695/244032232)
c BFS found 102 new nodes in level 580 (total 1678/244032232)
c BFS found 97 new nodes in level 581 (total 1666/244032232)
c BFS found 96 new nodes in level 582 (total 1642/244032232)
c BFS found 96 new nodes in level 583 (total 1640/244032232)
c BFS found 96 new nodes in level 584 (total 1648/244032232)
c BFS found 97 new nodes in level 585 (total 1645/244032232)
c BFS found 102 new nodes in level 586 (total 1647/244032232)
c BFS found 112 new nodes in level 587 (total 1670/244032232)
c BFS found 122 new nodes in level 588 (total 1698/244032232)
c BFS found 127 new nodes in level 589 (total 1738/244032232)
c BFS found 128 new nodes in level 590 (total 1767/244032232)
c BFS found 128 new nodes in level 591 (total 1802/244032232)
c BFS found 127 new nodes in level 592 (total 1822/244032232)
c BFS found 122 new nodes in level 593 (total 1834/244032232)
c BFS found 112 new nodes in level 594 (total 1826/244032232)
c BFS found 102 new nodes in level 595 (total 1800/244032232)
c BFS found 97 new nodes in level 596 (total 1774/244032232)
c BFS found 96 new nodes in level 597 (total 1759/244032232)
c BFS found 97 new nodes in level 598 (total 1747/244032232)
c BFS found 102 new nodes in level 599 (total 1755/244032232)
c BFS found 113 new nodes in level 600 (total 1767/244032232)
c BFS found 129 new nodes in level 601 (total 1817/244032232)
c BFS found 149 new nodes in level 602 (total 1888/244032232)
c BFS found 172 new nodes in level 603 (total 1981/244032232)
c BFS found 196 new nodes in level 604 (total 2045/244032232)
c BFS found 220 new nodes in level 605 (total 2140/244032232)
c BFS found 245 new nodes in level 606 (total 2263/244032232)
c BFS found 273 new nodes in level 607 (total 2388/244032232)
c BFS found 302 new nodes in level 608 (total 2489/244032232)
c BFS found 324 new nodes in level 609 (total 2611/244032232)
c BFS found 336 new nodes in level 610 (total 2716/244032232)
c BFS found 347 new nodes in level 611 (total 2810/244032232)
c BFS found 362 new nodes in level 612 (total 2864/244032232)
c BFS found 370 new nodes in level 613 (total 2880/244032232)
c R=34
c BFS found 362 new nodes in level 614 (total 2933/244032232)
c BFS found 346 new nodes in level 615 (total 2882/244032232)
c BFS found 332 new nodes in level 616 (total 2826/244032232)
c BFS found 318 new nodes in level 617 (total 2773/244032232)
c BFS found 298 new nodes in level 618 (total 2685/244032232)
c BFS found 271 new nodes in level 619 (total 2619/244032232)
c BFS found 241 new nodes in level 620 (total 2495/244032232)
c BFS found 213 new nodes in level 621 (total 2336/244032232)
c BFS found 186 new nodes in level 622 (total 2246/244032232)
c BFS found 155 new nodes in level 623 (total 2114/244032232)
c BFS found 124 new nodes in level 624 (total 1990/244032232)
c BFS found 104 new nodes in level 625 (total 1873/244032232)
c BFS found 97 new nodes in level 626 (total 1800/244032232)
c BFS found 96 new nodes in level 627 (total 1731/244032232)
c BFS found 96 new nodes in level 628 (total 1697/244032232)
c BFS found 97 new nodes in level 629 (total 1683/244032232)
c BFS found 102 new nodes in level 630 (total 1687/244032232)
c BFS found 112 new nodes in level 631 (total 1706/244032232)
c BFS found 122 new nodes in level 632 (total 1735/244032232)
c BFS found 127 new nodes in level 633 (total 1772/244032232)
c BFS found 128 new nodes in level 634 (total 1800/244032232)
c BFS found 128 new nodes in level 635 (total 1823/244032232)
c BFS found 127 new nodes in level 636 (total 1829/244032232)
c BFS found 122 new nodes in level 637 (total 1839/244032232)
c BFS found 112 new nodes in level 638 (total 1826/244032232)
c BFS found 101 new nodes in level 639 (total 1801/244032232)
c BFS found 91 new nodes in level 640 (total 1775/244032232)
c BFS found 79 new nodes in level 641 (total 1728/244032232)
c BFS found 65 new nodes in level 642 (total 1690/244032232)
c BFS found 54 new nodes in level 643 (total 1657/244032232)
c BFS found 49 new nodes in level 644 (total 1602/244032232)
c BFS found 49 new nodes in level 645 (total 1569/244032232)
c BFS found 54 new nodes in level 646 (total 1557/244032232)
c BFS found 65 new nodes in level 647 (total 1574/244032232)
c BFS found 79 new nodes in level 648 (total 1577/244032232)
c BFS found 91 new nodes in level 649 (total 1626/244032232)
c BFS found 101 new nodes in level 650 (total 1663/244032232)
c BFS found 112 new nodes in level 651 (total 1709/244032232)
c BFS found 122 new nodes in level 652 (total 1718/244032232)
c BFS found 127 new nodes in level 653 (total 1762/244032232)
c BFS found 128 new nodes in level 654 (total 1790/244032232)
c BFS found 128 new nodes in level 655 (total 1811/244032232)
c BFS found 127 new nodes in level 656 (total 1833/244032232)
c BFS found 122 new nodes in level 657 (total 1843/244032232)
c BFS found 112 new nodes in level 658 (total 1835/244032232)
c BFS found 102 new nodes in level 659 (total 1808/244032232)
c BFS found 97 new nodes in level 660 (total 1782/244032232)
c BFS found 96 new nodes in level 661 (total 1758/244032232)
c BFS found 96 new nodes in level 662 (total 1728/244032232)
c BFS found 96 new nodes in level 663 (total 1729/244032232)
c BFS found 97 new nodes in level 664 (total 1734/244032232)
c BFS found 102 new nodes in level 665 (total 1739/244032232)
c BFS found 112 new nodes in level 666 (total 1758/244032232)
c BFS found 122 new nodes in level 667 (total 1787/244032232)
c BFS found 127 new nodes in level 668 (total 1829/244032232)
c BFS found 128 new nodes in level 669 (total 1858/244032232)
c BFS found 128 new nodes in level 670 (total 1884/244032232)
c BFS found 127 new nodes in level 671 (total 1901/244032232)
c BFS found 122 new nodes in level 672 (total 1901/244032232)
c BFS found 112 new nodes in level 673 (total 1867/244032232)
c BFS found 102 new nodes in level 674 (total 1854/244032232)
c BFS found 97 new nodes in level 675 (total 1835/244032232)
c BFS found 96 new nodes in level 676 (total 1806/244032232)
c BFS found 97 new nodes in level 677 (total 1805/244032232)
c BFS found 102 new nodes in level 678 (total 1813/244032232)
c BFS found 114 new nodes in level 679 (total 1827/244032232)
c BFS found 135 new nodes in level 680 (total 1870/244032232)
c BFS found 167 new nodes in level 681 (total 1948/244032232)
c BFS found 209 new nodes in level 682 (total 2070/244032232)
c BFS found 255 new nodes in level 683 (total 2222/244032232)
c BFS found 301 new nodes in level 684 (total 2408/244032232)
c BFS found 353 new nodes in level 685 (total 2607/244032232)
c BFS found 418 new nodes in level 686 (total 2835/244032232)
c BFS found 489 new nodes in level 687 (total 3087/244032232)
c BFS found 554 new nodes in level 688 (total 3345/244032232)
c BFS found 617 new nodes in level 689 (total 3644/244032232)
c BFS found 695 new nodes in level 690 (total 3959/244032232)
c BFS found 793 new nodes in level 691 (total 4301/244032232)
c BFS found 898 new nodes in level 692 (total 4688/244032232)
c BFS found 1002 new nodes in level 693 (total 5133/244032232)
c BFS found 1118 new nodes in level 694 (total 5584/244032232)
c BFS found 1262 new nodes in level 695 (total 6118/244032232)
c BFS found 1425 new nodes in level 696 (total 6680/244032232)
c BFS found 1583 new nodes in level 697 (total 7310/244032232)
c BFS found 1728 new nodes in level 698 (total 7976/244032232)
c BFS found 1873 new nodes in level 699 (total 8652/244032232)
c BFS found 2023 new nodes in level 700 (total 9335/244032232)
c BFS found 2156 new nodes in level 701 (total 10030/244032232)
c BFS found 2252 new nodes in level 702 (total 10694/244032232)
c BFS found 2323 new nodes in level 703 (total 11281/244032232)
c BFS found 2389 new nodes in level 704 (total 11720/244032232)
c BFS found 2445 new nodes in level 705 (total 12082/244032232)
c BFS found 2483 new nodes in level 706 (total 12410/244032232)
c BFS found 2509 new nodes in level 707 (total 12720/244032232)
c R=35
c BFS found 2531 new nodes in level 708 (total 12890/244032232)
c BFS found 2561 new nodes in level 709 (total 13080/244032232)
c BFS found 2604 new nodes in level 710 (total 13253/244032232)
c BFS found 2646 new nodes in level 711 (total 13473/244032232)
c BFS found 2677 new nodes in level 712 (total 13659/244032232)
c BFS found 2709 new nodes in level 713 (total 13875/244032232)
c BFS found 2751 new nodes in level 714 (total 14165/244032232)
c BFS found 2785 new nodes in level 715 (total 14425/244032232)
c BFS found 2786 new nodes in level 716 (total 14694/244032232)
c BFS found 2756 new nodes in level 717 (total 14922/244032232)
c BFS found 2715 new nodes in level 718 (total 15028/244032232)
c BFS found 2659 new nodes in level 719 (total 14968/244032232)
c BFS found 2565 new nodes in level 720 (total 14875/244032232)
c BFS found 2435 new nodes in level 721 (total 14607/244032232)
c R=36
c BFS found 2289 new nodes in level 722 (total 14148/244032232)
c BFS found 2139 new nodes in level 723 (total 13495/244032232)
c BFS found 1991 new nodes in level 724 (total 12988/244032232)
c BFS found 1838 new nodes in level 725 (total 12355/244032232)
c BFS found 1681 new nodes in level 726 (total 11557/244032232)
c BFS found 1548 new nodes in level 727 (total 10768/244032232)
c BFS found 1446 new nodes in level 728 (total 10183/244032232)
c BFS found 1354 new nodes in level 729 (total 9648/244032232)
c BFS found 1274 new nodes in level 730 (total 9052/244032232)
c BFS found 1221 new nodes in level 731 (total 8566/244032232)
c BFS found 1188 new nodes in level 732 (total 8247/244032232)
c BFS found 1165 new nodes in level 733 (total 7978/244032232)
c BFS found 1151 new nodes in level 734 (total 7806/244032232)
c BFS found 1137 new nodes in level 735 (total 7694/244032232)
c BFS found 1119 new nodes in level 736 (total 7618/244032232)
c BFS found 1101 new nodes in level 737 (total 7583/244032232)
c BFS found 1082 new nodes in level 738 (total 7471/244032232)
c BFS found 1058 new nodes in level 739 (total 7427/244032232)
c BFS found 1017 new nodes in level 740 (total 7407/244032232)
c BFS found 961 new nodes in level 741 (total 7281/244032232)
c BFS found 910 new nodes in level 742 (total 7093/244032232)
c BFS found 863 new nodes in level 743 (total 6858/244032232)
c BFS found 810 new nodes in level 744 (total 6698/244032232)
c BFS found 764 new nodes in level 745 (total 6396/244032232)
c BFS found 735 new nodes in level 746 (total 6116/244032232)
c BFS found 715 new nodes in level 747 (total 5823/244032232)
c BFS found 705 new nodes in level 748 (total 5665/244032232)
c BFS found 710 new nodes in level 749 (total 5546/244032232)
c BFS found 726 new nodes in level 750 (total 5426/244032232)
c BFS found 747 new nodes in level 751 (total 5298/244032232)
c BFS found 769 new nodes in level 752 (total 5383/244032232)
c BFS found 795 new nodes in level 753 (total 5460/244032232)
c BFS found 824 new nodes in level 754 (total 5528/244032232)
c BFS found 843 new nodes in level 755 (total 5661/244032232)
c BFS found 850 new nodes in level 756 (total 5800/244032232)
c BFS found 857 new nodes in level 757 (total 5900/244032232)
c BFS found 865 new nodes in level 758 (total 5912/244032232)
c BFS found 865 new nodes in level 759 (total 5984/244032232)
c BFS found 855 new nodes in level 760 (total 5984/244032232)
c BFS found 842 new nodes in level 761 (total 5994/244032232)
c R=37
c BFS found 835 new nodes in level 762 (total 5971/244032232)
c BFS found 835 new nodes in level 763 (total 5999/244032232)
c BFS found 837 new nodes in level 764 (total 6055/244032232)
c BFS found 846 new nodes in level 765 (total 6057/244032232)
c BFS found 870 new nodes in level 766 (total 6057/244032232)
c BFS found 903 new nodes in level 767 (total 6103/244032232)
c BFS found 937 new nodes in level 768 (total 6239/244032232)
c BFS found 970 new nodes in level 769 (total 6347/244032232)
c BFS found 998 new nodes in level 770 (total 6504/244032232)
c BFS found 1020 new nodes in level 771 (total 6668/244032232)
c BFS found 1039 new nodes in level 772 (total 6810/244032232)
c BFS found 1053 new nodes in level 773 (total 6899/244032232)
c BFS found 1054 new nodes in level 774 (total 7016/244032232)
c BFS found 1038 new nodes in level 775 (total 7095/244032232)
c BFS found 1012 new nodes in level 776 (total 7118/244032232)
c BFS found 987 new nodes in level 777 (total 7046/244032232)
c BFS found 969 new nodes in level 778 (total 6925/244032232)
c BFS found 957 new nodes in level 779 (total 6849/244032232)
c BFS found 952 new nodes in level 780 (total 6810/244032232)
c BFS found 959 new nodes in level 781 (total 6691/244032232)
c BFS found 979 new nodes in level 782 (total 6607/244032232)
c BFS found 1004 new nodes in level 783 (total 6660/244032232)
c BFS found 1024 new nodes in level 784 (total 6782/244032232)
c BFS found 1039 new nodes in level 785 (total 6837/244032232)
c BFS found 1051 new nodes in level 786 (total 6879/244032232)
c BFS found 1058 new nodes in level 787 (total 6892/244032232)
c BFS found 1057 new nodes in level 788 (total 6975/244032232)
c BFS found 1045 new nodes in level 789 (total 7014/244032232)
c BFS found 1019 new nodes in level 790 (total 6970/244032232)
c BFS found 979 new nodes in level 791 (total 6901/244032232)
c BFS found 932 new nodes in level 792 (total 6833/244032232)
c BFS found 880 new nodes in level 793 (total 6668/244032232)
c BFS found 816 new nodes in level 794 (total 6487/244032232)
c BFS found 748 new nodes in level 795 (total 6190/244032232)
c BFS found 697 new nodes in level 796 (total 5919/244032232)
c BFS found 665 new nodes in level 797 (total 5596/244032232)
c BFS found 639 new nodes in level 798 (total 5268/244032232)
c BFS found 610 new nodes in level 799 (total 4987/244032232)
c BFS found 580 new nodes in level 800 (total 4842/244032232)
c BFS found 558 new nodes in level 801 (total 4675/244032232)
c BFS found 541 new nodes in level 802 (total 4420/244032232)
c BFS found 519 new nodes in level 803 (total 4304/244032232)
c BFS found 492 new nodes in level 804 (total 4187/244032232)
c BFS found 463 new nodes in level 805 (total 4000/244032232)
c BFS found 434 new nodes in level 806 (total 3856/244032232)
c BFS found 406 new nodes in level 807 (total 3744/244032232)
c BFS found 373 new nodes in level 808 (total 3602/244032232)
c BFS found 337 new nodes in level 809 (total 3436/244032232)
c BFS found 311 new nodes in level 810 (total 3256/244032232)
c BFS found 294 new nodes in level 811 (total 3147/244032232)
c BFS found 276 new nodes in level 812 (total 3055/244032232)
c BFS found 257 new nodes in level 813 (total 2950/244032232)
c BFS found 242 new nodes in level 814 (total 2901/244032232)
c BFS found 235 new nodes in level 815 (total 2854/244032232)
c BFS found 238 new nodes in level 816 (total 2822/244032232)
c BFS found 248 new nodes in level 817 (total 2810/244032232)
c BFS found 260 new nodes in level 818 (total 2826/244032232)
c BFS found 272 new nodes in level 819 (total 2862/244032232)
c BFS found 282 new nodes in level 820 (total 2912/244032232)
c BFS found 290 new nodes in level 821 (total 2958/244032232)
c BFS found 297 new nodes in level 822 (total 3024/244032232)
c BFS found 298 new nodes in level 823 (total 3070/244032232)
c BFS found 295 new nodes in level 824 (total 3072/244032232)
c BFS found 293 new nodes in level 825 (total 3081/244032232)
c BFS found 288 new nodes in level 826 (total 3075/244032232)
c BFS found 280 new nodes in level 827 (total 3057/244032232)
c BFS found 271 new nodes in level 828 (total 3056/244032232)
c BFS found 262 new nodes in level 829 (total 3029/244032232)
c BFS found 257 new nodes in level 830 (total 3000/244032232)
c BFS found 257 new nodes in level 831 (total 2960/244032232)
c BFS found 262 new nodes in level 832 (total 2913/244032232)
c BFS found 272 new nodes in level 833 (total 2916/244032232)
c BFS found 283 new nodes in level 834 (total 2962/244032232)
c BFS found 294 new nodes in level 835 (total 2999/244032232)
c BFS found 310 new nodes in level 836 (total 3063/244032232)
c BFS found 329 new nodes in level 837 (total 3103/244032232)
c BFS found 342 new nodes in level 838 (total 3179/244032232)
c BFS found 348 new nodes in level 839 (total 3253/244032232)
c BFS found 350 new nodes in level 840 (total 3305/244032232)
c BFS found 348 new nodes in level 841 (total 3321/244032232)
c R=38
c BFS found 342 new nodes in level 842 (total 3318/244032232)
c BFS found 330 new nodes in level 843 (total 3309/244032232)
c BFS found 315 new nodes in level 844 (total 3264/244032232)
c BFS found 305 new nodes in level 845 (total 3201/244032232)
c BFS found 299 new nodes in level 846 (total 3151/244032232)
c BFS found 293 new nodes in level 847 (total 3088/244032232)
c BFS found 290 new nodes in level 848 (total 3084/244032232)
c BFS found 295 new nodes in level 849 (total 3082/244032232)
c BFS found 312 new nodes in level 850 (total 3120/244032232)
c BFS found 344 new nodes in level 851 (total 3190/244032232)
c BFS found 389 new nodes in level 852 (total 3302/244032232)
c BFS found 441 new nodes in level 853 (total 3451/244032232)
c BFS found 497 new nodes in level 854 (total 3647/244032232)
c BFS found 556 new nodes in level 855 (total 3889/244032232)
c BFS found 619 new nodes in level 856 (total 4146/244032232)
c BFS found 684 new nodes in level 857 (total 4403/244032232)
c BFS found 740 new nodes in level 858 (total 4683/244032232)
c BFS found 785 new nodes in level 859 (total 4941/244032232)
c BFS found 826 new nodes in level 860 (total 5155/244032232)
c BFS found 859 new nodes in level 861 (total 5360/244032232)
c BFS found 876 new nodes in level 862 (total 5512/244032232)
c BFS found 880 new nodes in level 863 (total 5648/244032232)
c BFS found 878 new nodes in level 864 (total 5723/244032232)
c BFS found 875 new nodes in level 865 (total 5800/244032232)
c BFS found 876 new nodes in level 866 (total 5841/244032232)
c BFS found 877 new nodes in level 867 (total 5874/244032232)
c BFS found 873 new nodes in level 868 (total 5890/244032232)
c BFS found 867 new nodes in level 869 (total 5891/244032232)
c BFS found 860 new nodes in level 870 (total 5935/244032232)
c BFS found 854 new nodes in level 871 (total 5939/244032232)
c BFS found 850 new nodes in level 872 (total 5905/244032232)
c BFS found 841 new nodes in level 873 (total 5904/244032232)
c BFS found 829 new nodes in level 874 (total 5916/244032232)
c BFS found 824 new nodes in level 875 (total 5961/244032232)
c BFS found 819 new nodes in level 876 (total 5945/244032232)
c BFS found 804 new nodes in level 877 (total 5964/244032232)
c BFS found 785 new nodes in level 878 (total 5879/244032232)
c BFS found 769 new nodes in level 879 (total 5829/244032232)
c BFS found 761 new nodes in level 880 (total 5766/244032232)
c BFS found 762 new nodes in level 881 (total 5676/244032232)
c BFS found 761 new nodes in level 882 (total 5660/244032232)
c BFS found 756 new nodes in level 883 (total 5663/244032232)
c BFS found 756 new nodes in level 884 (total 5592/244032232)
c BFS found 758 new nodes in level 885 (total 5581/244032232)
c BFS found 753 new nodes in level 886 (total 5567/244032232)
c BFS found 737 new nodes in level 887 (total 5545/244032232)
c BFS found 712 new nodes in level 888 (total 5513/244032232)
c BFS found 685 new nodes in level 889 (total 5535/244032232)
c BFS found 659 new nodes in level 890 (total 5504/244032232)
c BFS found 629 new nodes in level 891 (total 5421/244032232)
c BFS found 590 new nodes in level 892 (total 5306/244032232)
c BFS found 545 new nodes in level 893 (total 5103/244032232)
c BFS found 500 new nodes in level 894 (total 4932/244032232)
c BFS found 456 new nodes in level 895 (total 3893/244032232)
c BFS found 410 new nodes in level 896 (total 3757/244032232)
c BFS found 363 new nodes in level 897 (total 3593/244032232)
c BFS found 326 new nodes in level 898 (total 3443/244032232)
c BFS found 301 new nodes in level 899 (total 3269/244032232)
c BFS found 275 new nodes in level 900 (total 3106/244032232)
c BFS found 247 new nodes in level 901 (total 3009/244032232)
c BFS found 225 new nodes in level 902 (total 2916/244032232)
c BFS found 209 new nodes in level 903 (total 2803/244032232)
c BFS found 198 new nodes in level 904 (total 2688/244032232)
c BFS found 191 new nodes in level 905 (total 2555/244032232)
c BFS found 183 new nodes in level 906 (total 2465/244032232)
c BFS found 173 new nodes in level 907 (total 2237/244032232)
c BFS found 163 new nodes in level 908 (total 2150/244032232)
c BFS found 152 new nodes in level 909 (total 2065/244032232)
c BFS found 139 new nodes in level 910 (total 1969/244032232)
c BFS found 123 new nodes in level 911 (total 1940/244032232)
c BFS found 106 new nodes in level 912 (total 1892/244032232)
c BFS found 91 new nodes in level 913 (total 1836/244032232)
c BFS found 74 new nodes in level 914 (total 1743/244032232)
c BFS found 54 new nodes in level 915 (total 1665/244032232)
c BFS found 38 new nodes in level 916 (total 1555/244032232)
c BFS found 28 new nodes in level 917 (total 1400/244032232)
c BFS found 21 new nodes in level 918 (total 1245/244032232)
c BFS found 17 new nodes in level 919 (total 1188/244032232)
c BFS found 17 new nodes in level 920 (total 1165/244032232)
c BFS found 21 new nodes in level 921 (total 1133/244032232)
c BFS found 28 new nodes in level 922 (total 1093/244032232)
c BFS found 37 new nodes in level 923 (total 1092/244032232)
c BFS found 48 new nodes in level 924 (total 1087/244032232)
c BFS found 58 new nodes in level 925 (total 1094/244032232)
c BFS found 63 new nodes in level 926 (total 1139/244032232)
c BFS found 64 new nodes in level 927 (total 1182/244032232)
c BFS found 64 new nodes in level 928 (total 1215/244032232)
c BFS found 64 new nodes in level 929 (total 1235/244032232)
c BFS found 64 new nodes in level 930 (total 1217/244032232)
c BFS found 64 new nodes in level 931 (total 1224/244032232)
c BFS found 64 new nodes in level 932 (total 1236/244032232)
c BFS found 63 new nodes in level 933 (total 1225/244032232)
c BFS found 58 new nodes in level 934 (total 1236/244032232)
c BFS found 48 new nodes in level 935 (total 1247/244032232)
c BFS found 38 new nodes in level 936 (total 1234/244032232)
c BFS found 34 new nodes in level 937 (total 1216/244032232)
c BFS found 38 new nodes in level 938 (total 1175/244032232)
c BFS found 48 new nodes in level 939 (total 1173/244032232)
c BFS found 58 new nodes in level 940 (total 1199/244032232)
c BFS found 63 new nodes in level 941 (total 1232/244032232)
c BFS found 64 new nodes in level 942 (total 1254/244032232)
c BFS found 64 new nodes in level 943 (total 1270/244032232)
c BFS found 64 new nodes in level 944 (total 1293/244032232)
c BFS found 64 new nodes in level 945 (total 1298/244032232)
c BFS found 64 new nodes in level 946 (total 1317/244032232)
c BFS found 64 new nodes in level 947 (total 1342/244032232)
c BFS found 63 new nodes in level 948 (total 1368/244032232)
c BFS found 58 new nodes in level 949 (total 1390/244032232)
c BFS found 48 new nodes in level 950 (total 1367/244032232)
c BFS found 38 new nodes in level 951 (total 1333/244032232)
c BFS found 34 new nodes in level 952 (total 1299/244032232)
c BFS found 38 new nodes in level 953 (total 1286/244032232)
c BFS found 49 new nodes in level 954 (total 1292/244032232)
c BFS found 64 new nodes in level 955 (total 1304/244032232)
c BFS found 79 new nodes in level 956 (total 1343/244032232)
c BFS found 91 new nodes in level 957 (total 1416/244032232)
c BFS found 100 new nodes in level 958 (total 1469/244032232)
c BFS found 108 new nodes in level 959 (total 1523/244032232)
c BFS found 117 new nodes in level 960 (total 1553/244032232)
c BFS found 129 new nodes in level 961 (total 1582/244032232)
c BFS found 145 new nodes in level 962 (total 1633/244032232)
c BFS found 165 new nodes in level 963 (total 1720/244032232)
c BFS found 185 new nodes in level 964 (total 1819/244032232)
c BFS found 195 new nodes in level 965 (total 1929/244032232)
c BFS found 191 new nodes in level 966 (total 2002/244032232)
c BFS found 182 new nodes in level 967 (total 2034/244032232)
c BFS found 177 new nodes in level 968 (total 1982/244032232)
c BFS found 175 new nodes in level 969 (total 1963/244032232)
c BFS found 171 new nodes in level 970 (total 1897/244032232)
c BFS found 164 new nodes in level 971 (total 1876/244032232)
c BFS found 155 new nodes in level 972 (total 1809/244032232)
c BFS found 143 new nodes in level 973 (total 1768/244032232)
c BFS found 127 new nodes in level 974 (total 1737/244032232)
c BFS found 107 new nodes in level 975 (total 1672/244032232)
c BFS found 86 new nodes in level 976 (total 1548/244032232)
c BFS found 70 new nodes in level 977 (total 1467/244032232)
c BFS found 59 new nodes in level 978 (total 1390/244032232)
c BFS found 48 new nodes in level 979 (total 1301/244032232)
c BFS found 38 new nodes in level 980 (total 1242/244032232)
c BFS found 34 new nodes in level 981 (total 1206/244032232)
c BFS found 38 new nodes in level 982 (total 1194/244032232)
c BFS found 48 new nodes in level 983 (total 1212/244032232)
c BFS found 58 new nodes in level 984 (total 1247/244032232)
c BFS found 63 new nodes in level 985 (total 1285/244032232)
c BFS found 64 new nodes in level 986 (total 1287/244032232)
c BFS found 64 new nodes in level 987 (total 1296/244032232)
c BFS found 64 new nodes in level 988 (total 1299/244032232)
c BFS found 64 new nodes in level 989 (total 1303/244032232)
c BFS found 64 new nodes in level 990 (total 1314/244032232)
c BFS found 64 new nodes in level 991 (total 1314/244032232)
c BFS found 63 new nodes in level 992 (total 1329/244032232)
c BFS found 58 new nodes in level 993 (total 1341/244032232)
c BFS found 48 new nodes in level 994 (total 1325/244032232)
c BFS found 37 new nodes in level 995 (total 1285/244032232)
c BFS found 28 new nodes in level 996 (total 1243/244032232)
c BFS found 21 new nodes in level 997 (total 1202/244032232)
c BFS found 17 new nodes in level 998 (total 1191/244032232)
c BFS found 17 new nodes in level 999 (total 1180/244032232)
c BFS found 21 new nodes in level 1000 (total 1181/244032232)
c BFS found 28 new nodes in level 1001 (total 1170/244032232)
c BFS found 37 new nodes in level 1002 (total 1170/244032232)
c BFS found 48 new nodes in level 1003 (total 1130/244032232)
c BFS found 58 new nodes in level 1004 (total 1168/244032232)
c BFS found 63 new nodes in level 1005 (total 1205/244032232)
c BFS found 64 new nodes in level 1006 (total 1235/244032232)
c BFS found 64 new nodes in level 1007 (total 1259/244032232)
c BFS found 64 new nodes in level 1008 (total 1277/244032232)
c BFS found 64 new nodes in level 1009 (total 1277/244032232)
c BFS found 64 new nodes in level 1010 (total 1275/244032232)
c BFS found 64 new nodes in level 1011 (total 1283/244032232)
c BFS found 63 new nodes in level 1012 (total 1293/244032232)
c BFS found 58 new nodes in level 1013 (total 1303/244032232)
c BFS found 48 new nodes in level 1014 (total 1284/244032232)
c BFS found 38 new nodes in level 1015 (total 1265/244032232)
c BFS found 34 new nodes in level 1016 (total 1241/244032232)
c BFS found 38 new nodes in level 1017 (total 1225/244032232)
c BFS found 48 new nodes in level 1018 (total 1215/244032232)
c BFS found 58 new nodes in level 1019 (total 1254/244032232)
c BFS found 63 new nodes in level 1020 (total 1286/244032232)
c BFS found 64 new nodes in level 1021 (total 1300/244032232)
c BFS found 64 new nodes in level 1022 (total 1316/244032232)
c BFS found 64 new nodes in level 1023 (total 1301/244032232)
c BFS found 64 new nodes in level 1024 (total 1306/244032232)
c BFS found 64 new nodes in level 1025 (total 1315/244032232)
c BFS found 64 new nodes in level 1026 (total 1331/244032232)
c BFS found 63 new nodes in level 1027 (total 1346/244032232)
c BFS found 58 new nodes in level 1028 (total 1353/244032232)
c BFS found 48 new nodes in level 1029 (total 1345/244032232)
c BFS found 38 new nodes in level 1030 (total 1318/244032232)
c BFS found 34 new nodes in level 1031 (total 1286/244032232)
c BFS found 38 new nodes in level 1032 (total 1272/244032232)
c BFS found 49 new nodes in level 1033 (total 1281/244032232)
c BFS found 64 new nodes in level 1034 (total 1322/244032232)
c BFS found 80 new nodes in level 1035 (total 1371/244032232)
c BFS found 97 new nodes in level 1036 (total 1445/244032232)
c BFS found 118 new nodes in level 1037 (total 1535/244032232)
c BFS found 145 new nodes in level 1038 (total 1631/244032232)
c BFS found 175 new nodes in level 1039 (total 1741/244032232)
c BFS found 204 new nodes in level 1040 (total 1837/244032232)
c BFS found 235 new nodes in level 1041 (total 1973/244032232)
c BFS found 273 new nodes in level 1042 (total 2128/244032232)
c BFS found 314 new nodes in level 1043 (total 2289/244032232)
c BFS found 350 new nodes in level 1044 (total 2469/244032232)
c BFS found 381 new nodes in level 1045 (total 2647/244032232)
c BFS found 416 new nodes in level 1046 (total 2825/244032232)
c BFS found 459 new nodes in level 1047 (total 3026/244032232)
c BFS found 501 new nodes in level 1048 (total 3200/244032232)
c BFS found 535 new nodes in level 1049 (total 3352/244032232)
c BFS found 566 new nodes in level 1050 (total 3482/244032232)
c BFS found 602 new nodes in level 1051 (total 3627/244032232)
c BFS found 643 new nodes in level 1052 (total 3804/244032232)
c BFS found 686 new nodes in level 1053 (total 3989/244032232)
c R=39
c BFS found 731 new nodes in level 1054 (total 4225/244032232)
c BFS found 775 new nodes in level 1055 (total 4463/244032232)
c BFS found 820 new nodes in level 1056 (total 4697/244032232)
c BFS found 871 new nodes in level 1057 (total 4902/244032232)
c BFS found 917 new nodes in level 1058 (total 5138/244032232)
c BFS found 945 new nodes in level 1059 (total 5359/244032232)
c BFS found 962 new nodes in level 1060 (total 5564/244032232)
c BFS found 980 new nodes in level 1061 (total 5741/244032232)
c BFS found 993 new nodes in level 1062 (total 5848/244032232)
c BFS found 986 new nodes in level 1063 (total 5928/244032232)
c BFS found 960 new nodes in level 1064 (total 5972/244032232)
c BFS found 927 new nodes in level 1065 (total 5907/244032232)
c BFS found 890 new nodes in level 1066 (total 5854/244032232)
c BFS found 844 new nodes in level 1067 (total 5723/244032232)
c BFS found 785 new nodes in level 1068 (total 5543/244032232)
c BFS found 718 new nodes in level 1069 (total 5314/244032232)
c BFS found 656 new nodes in level 1070 (total 5066/244032232)
c BFS found 604 new nodes in level 1071 (total 4847/244032232)
c BFS found 556 new nodes in level 1072 (total 4634/244032232)
c BFS found 514 new nodes in level 1073 (total 4434/244032232)
c BFS found 488 new nodes in level 1074 (total 4260/244032232)
c BFS found 475 new nodes in level 1075 (total 4114/244032232)
c BFS found 463 new nodes in level 1076 (total 4044/244032232)
c BFS found 447 new nodes in level 1077 (total 3958/244032232)
c BFS found 428 new nodes in level 1078 (total 3803/244032232)
c BFS found 410 new nodes in level 1079 (total 3722/244032232)
c BFS found 397 new nodes in level 1080 (total 3625/244032232)
c BFS found 386 new nodes in level 1081 (total 3547/244032232)
c BFS found 371 new nodes in level 1082 (total 3413/244032232)
c BFS found 352 new nodes in level 1083 (total 3315/244032232)
c BFS found 331 new nodes in level 1084 (total 3259/244032232)
c BFS found 311 new nodes in level 1085 (total 3195/244032232)
c BFS found 292 new nodes in level 1086 (total 3023/244032232)
c BFS found 267 new nodes in level 1087 (total 2850/244032232)
c BFS found 242 new nodes in level 1088 (total 2779/244032232)
c BFS found 225 new nodes in level 1089 (total 2699/244032232)
c BFS found 208 new nodes in level 1090 (total 2540/244032232)
c BFS found 191 new nodes in level 1091 (total 2376/244032232)
c BFS found 182 new nodes in level 1092 (total 2316/244032232)
c BFS found 182 new nodes in level 1093 (total 2239/244032232)
c BFS found 188 new nodes in level 1094 (total 2156/244032232)
c BFS found 196 new nodes in level 1095 (total 2149/244032232)
c BFS found 203 new nodes in level 1096 (total 2170/244032232)
c BFS found 207 new nodes in level 1097 (total 2167/244032232)
c BFS found 208 new nodes in level 1098 (total 2202/244032232)
c BFS found 210 new nodes in level 1099 (total 2255/244032232)
c BFS found 219 new nodes in level 1100 (total 2274/244032232)
c BFS found 234 new nodes in level 1101 (total 2343/244032232)
c BFS found 246 new nodes in level 1102 (total 2409/244032232)
c BFS found 252 new nodes in level 1103 (total 2452/244032232)
c BFS found 254 new nodes in level 1104 (total 2481/244032232)
c BFS found 252 new nodes in level 1105 (total 2462/244032232)
c BFS found 247 new nodes in level 1106 (total 2456/244032232)
c BFS found 240 new nodes in level 1107 (total 2458/244032232)
c BFS found 235 new nodes in level 1108 (total 2468/244032232)
c BFS found 236 new nodes in level 1109 (total 2506/244032232)
c BFS found 238 new nodes in level 1110 (total 2526/244032232)
c BFS found 234 new nodes in level 1111 (total 2533/244032232)
c BFS found 224 new nodes in level 1112 (total 2512/244032232)
c BFS found 214 new nodes in level 1113 (total 2502/244032232)
c BFS found 211 new nodes in level 1114 (total 2487/244032232)
c BFS found 219 new nodes in level 1115 (total 2482/244032232)
c BFS found 235 new nodes in level 1116 (total 2468/244032232)
c BFS found 252 new nodes in level 1117 (total 2521/244032232)
c BFS found 268 new nodes in level 1118 (total 2581/244032232)
c BFS found 281 new nodes in level 1119 (total 2675/244032232)
c BFS found 288 new nodes in level 1120 (total 2736/244032232)
c BFS found 290 new nodes in level 1121 (total 2813/244032232)
c BFS found 288 new nodes in level 1122 (total 2842/244032232)
c BFS found 287 new nodes in level 1123 (total 2826/244032232)
c BFS found 292 new nodes in level 1124 (total 2860/244032232)
c BFS found 299 new nodes in level 1125 (total 2875/244032232)
c BFS found 301 new nodes in level 1126 (total 2904/244032232)
c BFS found 295 new nodes in level 1127 (total 2964/244032232)
c BFS found 285 new nodes in level 1128 (total 2981/244032232)
c BFS found 275 new nodes in level 1129 (total 3005/244032232)
c BFS found 265 new nodes in level 1130 (total 2925/244032232)
c BFS found 258 new nodes in level 1131 (total 2860/244032232)
c BFS found 255 new nodes in level 1132 (total 2840/244032232)
c BFS found 252 new nodes in level 1133 (total 2728/244032232)
c BFS found 247 new nodes in level 1134 (total 2645/244032232)
c BFS found 239 new nodes in level 1135 (total 2604/244032232)
c BFS found 228 new nodes in level 1136 (total 2528/244032232)
c BFS found 215 new nodes in level 1137 (total 2466/244032232)
c BFS found 203 new nodes in level 1138 (total 2412/244032232)
c BFS found 199 new nodes in level 1139 (total 2365/244032232)
c BFS found 202 new nodes in level 1140 (total 2288/244032232)
c BFS found 201 new nodes in level 1141 (total 2209/244032232)
c BFS found 192 new nodes in level 1142 (total 2110/244032232)
c BFS found 182 new nodes in level 1143 (total 2106/244032232)
c BFS found 177 new nodes in level 1144 (total 2071/244032232)
c BFS found 175 new nodes in level 1145 (total 1936/244032232)
c BFS found 171 new nodes in level 1146 (total 1894/244032232)
c BFS found 164 new nodes in level 1147 (total 1892/244032232)
c BFS found 155 new nodes in level 1148 (total 1874/244032232)
c BFS found 143 new nodes in level 1149 (total 1841/244032232)
c BFS found 127 new nodes in level 1150 (total 1785/244032232)
c BFS found 107 new nodes in level 1151 (total 1714/244032232)
c BFS found 86 new nodes in level 1152 (total 1640/244032232)
c BFS found 70 new nodes in level 1153 (total 1559/244032232)
c BFS found 59 new nodes in level 1154 (total 1502/244032232)
c BFS found 48 new nodes in level 1155 (total 1447/244032232)
c BFS found 38 new nodes in level 1156 (total 1387/244032232)
c BFS found 34 new nodes in level 1157 (total 1332/244032232)
c BFS found 38 new nodes in level 1158 (total 1318/244032232)
c BFS found 48 new nodes in level 1159 (total 1323/244032232)
c BFS found 58 new nodes in level 1160 (total 1352/244032232)
c BFS found 63 new nodes in level 1161 (total 1389/244032232)
c BFS found 64 new nodes in level 1162 (total 1401/244032232)
c BFS found 64 new nodes in level 1163 (total 1408/244032232)
c BFS found 64 new nodes in level 1164 (total 1416/244032232)
c BFS found 64 new nodes in level 1165 (total 1421/244032232)
c BFS found 64 new nodes in level 1166 (total 1425/244032232)
c BFS found 64 new nodes in level 1167 (total 1423/244032232)
c BFS found 63 new nodes in level 1168 (total 1425/244032232)
c BFS found 58 new nodes in level 1169 (total 1424/244032232)
c BFS found 48 new nodes in level 1170 (total 1415/244032232)
c BFS found 37 new nodes in level 1171 (total 1380/244032232)
c BFS found 28 new nodes in level 1172 (total 1340/244032232)
c BFS found 21 new nodes in level 1173 (total 1309/244032232)
c BFS found 17 new nodes in level 1174 (total 1280/244032232)
c BFS found 17 new nodes in level 1175 (total 1262/244032232)
c BFS found 21 new nodes in level 1176 (total 1258/244032232)
c BFS found 28 new nodes in level 1177 (total 1266/244032232)
c BFS found 37 new nodes in level 1178 (total 1279/244032232)
c BFS found 48 new nodes in level 1179 (total 1306/244032232)
c BFS found 58 new nodes in level 1180 (total 1344/244032232)
c BFS found 63 new nodes in level 1181 (total 1382/244032232)
c BFS found 64 new nodes in level 1182 (total 1414/244032232)
c BFS found 64 new nodes in level 1183 (total 1434/244032232)
c BFS found 64 new nodes in level 1184 (total 1439/244032232)
c BFS found 64 new nodes in level 1185 (total 1441/244032232)
c BFS found 64 new nodes in level 1186 (total 1444/244032232)
c BFS found 64 new nodes in level 1187 (total 1442/244032232)
c BFS found 63 new nodes in level 1188 (total 1449/244032232)
c BFS found 58 new nodes in level 1189 (total 1441/244032232)
c BFS found 48 new nodes in level 1190 (total 1424/244032232)
c BFS found 38 new nodes in level 1191 (total 1394/244032232)
c BFS found 34 new nodes in level 1192 (total 1369/244032232)
c BFS found 38 new nodes in level 1193 (total 1357/244032232)
c BFS found 48 new nodes in level 1194 (total 1360/244032232)
c BFS found 58 new nodes in level 1195 (total 1383/244032232)
c BFS found 63 new nodes in level 1196 (total 1418/244032232)
c BFS found 64 new nodes in level 1197 (total 1446/244032232)
c BFS found 64 new nodes in level 1198 (total 1466/244032232)
c BFS found 64 new nodes in level 1199 (total 1474/244032232)
c BFS found 64 new nodes in level 1200 (total 1478/244032232)
c BFS found 64 new nodes in level 1201 (total 1484/244032232)
c BFS found 64 new nodes in level 1202 (total 1467/244032232)
c BFS found 63 new nodes in level 1203 (total 1450/244032232)
c BFS found 58 new nodes in level 1204 (total 1448/244032232)
c BFS found 48 new nodes in level 1205 (total 1432/244032232)
c BFS found 38 new nodes in level 1206 (total 1407/244032232)
c BFS found 34 new nodes in level 1207 (total 1384/244032232)
c BFS found 38 new nodes in level 1208 (total 1373/244032232)
c BFS found 49 new nodes in level 1209 (total 1374/244032232)
c BFS found 64 new nodes in level 1210 (total 1408/244032232)
c BFS found 80 new nodes in level 1211 (total 1442/244032232)
c BFS found 97 new nodes in level 1212 (total 1501/244032232)
c BFS found 118 new nodes in level 1213 (total 1579/244032232)
c BFS found 145 new nodes in level 1214 (total 1671/244032232)
c BFS found 175 new nodes in level 1215 (total 1768/244032232)
c BFS found 203 new nodes in level 1216 (total 1885/244032232)
c BFS found 229 new nodes in level 1217 (total 1995/244032232)
c BFS found 254 new nodes in level 1218 (total 2117/244032232)
c BFS found 272 new nodes in level 1219 (total 2229/244032232)
c BFS found 279 new nodes in level 1220 (total 2309/244032232)
c BFS found 281 new nodes in level 1221 (total 2389/244032232)
c BFS found 287 new nodes in level 1222 (total 2437/244032232)
c BFS found 302 new nodes in level 1223 (total 2490/244032232)
c BFS found 324 new nodes in level 1224 (total 2540/244032232)
c BFS found 346 new nodes in level 1225 (total 2616/244032232)
c BFS found 363 new nodes in level 1226 (total 2683/244032232)
c BFS found 378 new nodes in level 1227 (total 2786/244032232)
c BFS found 395 new nodes in level 1228 (total 2874/244032232)
c BFS found 408 new nodes in level 1229 (total 2939/244032232)
c BFS found 410 new nodes in level 1230 (total 3012/244032232)
c BFS found 406 new nodes in level 1231 (total 3068/244032232)
c BFS found 406 new nodes in level 1232 (total 3104/244032232)
c BFS found 409 new nodes in level 1233 (total 3106/244032232)
c BFS found 405 new nodes in level 1234 (total 3101/244032232)
c BFS found 390 new nodes in level 1235 (total 3118/244032232)
c BFS found 366 new nodes in level 1236 (total 3140/244032232)
c BFS found 338 new nodes in level 1237 (total 3101/244032232)
c BFS found 311 new nodes in level 1238 (total 2962/244032232)
c BFS found 283 new nodes in level 1239 (total 2839/244032232)
c BFS found 257 new nodes in level 1240 (total 2734/244032232)
c BFS found 243 new nodes in level 1241 (total 2612/244032232)
c BFS found 239 new nodes in level 1242 (total 2539/244032232)
c BFS found 234 new nodes in level 1243 (total 2471/244032232)
c BFS found 224 new nodes in level 1244 (total 2423/244032232)
c BFS found 213 new nodes in level 1245 (total 2414/244032232)
c BFS found 204 new nodes in level 1246 (total 2373/244032232)
c BFS found 197 new nodes in level 1247 (total 2357/244032232)
c BFS found 191 new nodes in level 1248 (total 2341/244032232)
c BFS found 183 new nodes in level 1249 (total 2325/244032232)
c BFS found 173 new nodes in level 1250 (total 2311/244032232)
c BFS found 163 new nodes in level 1251 (total 2292/244032232)
c BFS found 152 new nodes in level 1252 (total 2209/244032232)
c BFS found 139 new nodes in level 1253 (total 2115/244032232)
c BFS found 123 new nodes in level 1254 (total 2069/244032232)
c BFS found 106 new nodes in level 1255 (total 1974/244032232)
c BFS found 91 new nodes in level 1256 (total 1881/244032232)
c BFS found 74 new nodes in level 1257 (total 1843/244032232)
c BFS found 54 new nodes in level 1258 (total 1766/244032232)
c BFS found 38 new nodes in level 1259 (total 1708/244032232)
c BFS found 28 new nodes in level 1260 (total 1613/244032232)
c BFS found 21 new nodes in level 1261 (total 1516/244032232)
c BFS found 17 new nodes in level 1262 (total 1448/244032232)
c BFS found 17 new nodes in level 1263 (total 1424/244032232)
c BFS found 21 new nodes in level 1264 (total 1410/244032232)
c BFS found 28 new nodes in level 1265 (total 1387/244032232)
c BFS found 37 new nodes in level 1266 (total 1401/244032232)
c BFS found 48 new nodes in level 1267 (total 1429/244032232)
c BFS found 58 new nodes in level 1268 (total 1432/244032232)
c BFS found 63 new nodes in level 1269 (total 1469/244032232)
c BFS found 64 new nodes in level 1270 (total 1501/244032232)
c BFS found 64 new nodes in level 1271 (total 1519/244032232)
c BFS found 64 new nodes in level 1272 (total 1527/244032232)
c BFS found 64 new nodes in level 1273 (total 1541/244032232)
c BFS found 64 new nodes in level 1274 (total 1557/244032232)
c BFS found 64 new nodes in level 1275 (total 1575/244032232)
c BFS found 63 new nodes in level 1276 (total 1589/244032232)
c BFS found 58 new nodes in level 1277 (total 1574/244032232)
c BFS found 48 new nodes in level 1278 (total 1552/244032232)
c BFS found 38 new nodes in level 1279 (total 1522/244032232)
c BFS found 34 new nodes in level 1280 (total 1506/244032232)
c BFS found 38 new nodes in level 1281 (total 1496/244032232)
c BFS found 48 new nodes in level 1282 (total 1507/244032232)
c BFS found 58 new nodes in level 1283 (total 1538/244032232)
c BFS found 63 new nodes in level 1284 (total 1573/244032232)
c BFS found 64 new nodes in level 1285 (total 1583/244032232)
c BFS found 64 new nodes in level 1286 (total 1600/244032232)
c BFS found 64 new nodes in level 1287 (total 1615/244032232)
c BFS found 64 new nodes in level 1288 (total 1627/244032232)
c BFS found 64 new nodes in level 1289 (total 1642/244032232)
c BFS found 64 new nodes in level 1290 (total 1642/244032232)
c BFS found 63 new nodes in level 1291 (total 1625/244032232)
c BFS found 58 new nodes in level 1292 (total 1628/244032232)
c BFS found 48 new nodes in level 1293 (total 1597/244032232)
c BFS found 38 new nodes in level 1294 (total 1586/244032232)
c BFS found 34 new nodes in level 1295 (total 1558/244032232)
c BFS found 38 new nodes in level 1296 (total 1539/244032232)
c BFS found 49 new nodes in level 1297 (total 1544/244032232)
c BFS found 64 new nodes in level 1298 (total 1578/244032232)
c BFS found 79 new nodes in level 1299 (total 1631/244032232)
c BFS found 91 new nodes in level 1300 (total 1695/244032232)
c BFS found 100 new nodes in level 1301 (total 1740/244032232)
c BFS found 108 new nodes in level 1302 (total 1793/244032232)
c BFS found 117 new nodes in level 1303 (total 1849/244032232)
c BFS found 129 new nodes in level 1304 (total 1908/244032232)
c BFS found 145 new nodes in level 1305 (total 1986/244032232)
c BFS found 165 new nodes in level 1306 (total 2060/244032232)
c BFS found 185 new nodes in level 1307 (total 2116/244032232)
c BFS found 195 new nodes in level 1308 (total 2194/244032232)
c BFS found 191 new nodes in level 1309 (total 2237/244032232)
c BFS found 182 new nodes in level 1310 (total 2249/244032232)
c BFS found 177 new nodes in level 1311 (total 2238/244032232)
c BFS found 175 new nodes in level 1312 (total 2183/244032232)
c BFS found 171 new nodes in level 1313 (total 2191/244032232)
c BFS found 164 new nodes in level 1314 (total 2184/244032232)
c BFS found 155 new nodes in level 1315 (total 2117/244032232)
c BFS found 143 new nodes in level 1316 (total 2035/244032232)
c BFS found 127 new nodes in level 1317 (total 1983/244032232)
c BFS found 107 new nodes in level 1318 (total 1903/244032232)
c BFS found 86 new nodes in level 1319 (total 1833/244032232)
c BFS found 70 new nodes in level 1320 (total 1764/244032232)
c BFS found 59 new nodes in level 1321 (total 1705/244032232)
c BFS found 48 new nodes in level 1322 (total 1622/244032232)
c BFS found 38 new nodes in level 1323 (total 1560/244032232)
c BFS found 34 new nodes in level 1324 (total 1520/244032232)
c BFS found 38 new nodes in level 1325 (total 1505/244032232)
c BFS found 48 new nodes in level 1326 (total 1506/244032232)
c BFS found 58 new nodes in level 1327 (total 1529/244032232)
c BFS found 63 new nodes in level 1328 (total 1565/244032232)
c BFS found 64 new nodes in level 1329 (total 1594/244032232)
c BFS found 64 new nodes in level 1330 (total 1598/244032232)
c BFS found 64 new nodes in level 1331 (total 1607/244032232)
c BFS found 64 new nodes in level 1332 (total 1616/244032232)
c BFS found 64 new nodes in level 1333 (total 1624/244032232)
c BFS found 64 new nodes in level 1334 (total 1631/244032232)
c BFS found 63 new nodes in level 1335 (total 1628/244032232)
c BFS found 58 new nodes in level 1336 (total 1622/244032232)
c BFS found 48 new nodes in level 1337 (total 1607/244032232)
c BFS found 37 new nodes in level 1338 (total 1587/244032232)
c BFS found 28 new nodes in level 1339 (total 1554/244032232)
c BFS found 21 new nodes in level 1340 (total 1520/244032232)
c BFS found 17 new nodes in level 1341 (total 1486/244032232)
c BFS found 17 new nodes in level 1342 (total 1477/244032232)
c BFS found 21 new nodes in level 1343 (total 1480/244032232)
c BFS found 28 new nodes in level 1344 (total 1488/244032232)
c BFS found 37 new nodes in level 1345 (total 1504/244032232)
c BFS found 48 new nodes in level 1346 (total 1497/244032232)
c BFS found 58 new nodes in level 1347 (total 1511/244032232)
c BFS found 63 new nodes in level 1348 (total 1546/244032232)
c BFS found 64 new nodes in level 1349 (total 1574/244032232)
c BFS found 64 new nodes in level 1350 (total 1591/244032232)
c BFS found 64 new nodes in level 1351 (total 1599/244032232)
c BFS found 64 new nodes in level 1352 (total 1606/244032232)
c BFS found 64 new nodes in level 1353 (total 1615/244032232)
c BFS found 64 new nodes in level 1354 (total 1620/244032232)
c BFS found 63 new nodes in level 1355 (total 1626/244032232)
c BFS found 58 new nodes in level 1356 (total 1623/244032232)
c BFS found 48 new nodes in level 1357 (total 1598/244032232)
c BFS found 38 new nodes in level 1358 (total 1576/244032232)
c BFS found 34 new nodes in level 1359 (total 1555/244032232)
c BFS found 38 new nodes in level 1360 (total 1540/244032232)
c BFS found 48 new nodes in level 1361 (total 1534/244032232)
c BFS found 58 new nodes in level 1362 (total 1559/244032232)
c BFS found 63 new nodes in level 1363 (total 1595/244032232)
c BFS found 64 new nodes in level 1364 (total 1621/244032232)
c BFS found 64 new nodes in level 1365 (total 1634/244032232)
c BFS found 64 new nodes in level 1366 (total 1643/244032232)
c BFS found 64 new nodes in level 1367 (total 1654/244032232)
c BFS found 64 new nodes in level 1368 (total 1662/244032232)
c BFS found 64 new nodes in level 1369 (total 1668/244032232)
c BFS found 63 new nodes in level 1370 (total 1665/244032232)
c BFS found 58 new nodes in level 1371 (total 1654/244032232)
c BFS found 48 new nodes in level 1372 (total 1645/244032232)
c BFS found 38 new nodes in level 1373 (total 1620/244032232)
c BFS found 34 new nodes in level 1374 (total 1600/244032232)
c BFS found 38 new nodes in level 1375 (total 1590/244032232)
c BFS found 49 new nodes in level 1376 (total 1596/244032232)
c BFS found 64 new nodes in level 1377 (total 1627/244032232)
c BFS found 80 new nodes in level 1378 (total 1669/244032232)
c BFS found 97 new nodes in level 1379 (total 1706/244032232)
c BFS found 118 new nodes in level 1380 (total 1787/244032232)
c BFS found 145 new nodes in level 1381 (total 1880/244032232)
c BFS found 175 new nodes in level 1382 (total 1967/244032232)
c BFS found 204 new nodes in level 1383 (total 2090/244032232)
c BFS found 235 new nodes in level 1384 (total 2216/244032232)
c BFS found 273 new nodes in level 1385 (total 2363/244032232)
c BFS found 314 new nodes in level 1386 (total 2522/244032232)
c BFS found 350 new nodes in level 1387 (total 2688/244032232)
c R=40
c BFS found 382 new nodes in level 1388 (total 2871/244032232)
c BFS found 422 new nodes in level 1389 (total 3038/244032232)
c BFS found 479 new nodes in level 1390 (total 3227/244032232)
c BFS found 548 new nodes in level 1391 (total 3464/244032232)
c BFS found 620 new nodes in level 1392 (total 3714/244032232)
c BFS found 697 new nodes in level 1393 (total 4014/244032232)
c BFS found 790 new nodes in level 1394 (total 4333/244032232)
c BFS found 903 new nodes in level 1395 (total 4723/244032232)
c BFS found 1030 new nodes in level 1396 (total 5176/244032232)
c BFS exiting found=true count=5372 max_count=244032232
c Found with: Breadth First Search
a YES
a 1 8 14 21 27 34 40 47 53 60 66 73 79 86 
a 2 8 14 21 27 34 40 47 53 60 66 73 79 86 
a 2 9 14 21 27 34 40 47 53 60 66 73 79 86 
a 3 9 14 21 27 34 40 47 53 60 66 73 79 86 
a 3 10 14 21 27 34 40 47 53 60 66 73 79 86 
a 3 10 15 21 27 34 40 47 53 60 66 73 79 86 
a 3 10 15 22 27 34 40 47 53 60 66 73 79 86 
a 3 10 16 22 27 34 40 47 53 60 66 73 79 86 
a 3 10 16 23 27 34 40 47 53 60 66 73 79 86 
a 3 10 16 23 28 34 40 47 53 60 66 73 79 86 
a 3 10 16 23 28 35 40 47 53 60 66 73 79 86 
a 3 10 16 23 29 35 40 47 53 60 66 73 79 86 
a 3 10 16 23 29 36 40 47 53 60 66 73 79 86 
a 3 10 16 23 29 36 41 47 53 60 66 73 79 86 
a 3 10 16 23 29 36 41 48 53 60 66 73 79 86 
a 3 10 16 23 29 36 42 48 53 60 66 73 79 86 
a 3 10 16 23 29 36 42 49 53 60 66 73 79 86 
a 3 10 16 23 29 36 42 49 54 60 66 73 79 86 
a 3 10 16 23 29 36 42 49 54 61 66 73 79 86 
a 3 10 16 23 29 36 42 49 55 61 66 73 79 86 
a 3 10 16 23 29 36 42 49 55 62 66 73 79 86 
a 3 10 16 23 29 36 42 49 56 62 66 73 79 86 
a 3 10 16 23 29 36 42 49 56 62 67 73 79 86 
a 3 10 16 23 29 36 42 49 56 62 67 74 79 86 
a 3 10 16 23 29 36 42 49 56 62 68 74 79 86 
a 3 10 16 23 29 36 42 49 56 62 68 75 79 86 
a 3 10 16 23 29 36 42 49 56 62 68 75 80 86 
a 3 10 16 23 29 36 42 49 56 62 68 75 80 87 
a 3 10 16 23 29 36 42 49 56 62 68 75 81 87 
a 3 10 16 23 29 36 42 49 56 62 68 75 81 88 
a 3 10 16 23 29 36 42 49 56 62 68 75 82 88 
a 3 10 16 23 29 36 42 49 56 62 68 75 82 89 
a 3 10 16 23 29 36 42 49 56 62 69 75 82 89 
a 3 10 16 23 29 36 42 49 56 62 69 75 83 89 
a 3 10 16 23 29 36 42 49 56 62 69 75 83 90 
a 3 10 16 23 29 36 42 49 56 62 69 75 84 90 
a 3 10 16 23 29 36 42 49 56 62 69 75 84 91 
a 3 10 16 23 29 36 42 49 56 62 69 75 85 91 
a 3 10 16 23 29 36 42 49 56 62 69 76 85 91 
a 3 10 16 23 29 36 42 49 56 62 70 76 85 91 
a 3 10 16 23 29 36 42 49 56 62 70 77 85 91 
a 3 10 16 23 29 36 42 49 56 62 70 77 84 91 
a 3 10 16 23 29 36 42 49 56 62 70 77 84 90 
a 3 10 16 23 29 36 42 49 56 62 70 77 83 90 
a 3 10 16 23 29 36 42 49 56 62 70 77 83 89 
a 3 10 16 23 29 36 42 49 56 62 70 77 82 89 
a 3 10 16 23 29 36 42 49 56 62 70 77 82 88 
a 3 10 16 23 29 36 42 49 56 62 70 77 81 88 
a 3 10 16 23 29 36 42 49 56 62 70 77 81 87 
a 3 10 16 23 29 36 42 49 56 62 70 77 80 87 
a 3 10 16 23 29 36 42 49 56 62 71 77 80 87 
a 3 10 16 23 29 36 42 49 56 62 71 77 80 86 
a 3 10 16 23 29 36 42 49 56 62 71 77 79 86 
a 3 10 16 23 29 36 42 49 56 62 71 78 79 86 
a 3 10 16 23 29 36 42 49 56 62 72 78 79 86 
a 3 10 16 23 29 36 42 49 56 63 72 78 79 86 
a 3 10 16 23 29 36 42 49 57 63 72 78 79 86 
a 3 10 16 23 29 36 42 49 57 64 72 78 79 86 
a 3 10 16 23 29 36 42 49 58 64 72 78 79 86 
a 3 10 16 23 29 36 42 49 58 64 71 78 79 86 
a 3 10 16 23 29 36 42 49 58 64 71 77 79 86 
a 3 10 16 23 29 36 42 49 58 64 71 77 80 86 
a 3 10 16 23 29 36 42 49 58 64 71 77 80 87 
a 3 10 16 23 29 36 42 49 58 64 71 77 81 87 
a 3 10 16 23 29 36 42 49 58 64 71 77 81 88 
a 3 10 16 23 29 36 42 49 58 64 71 77 82 88 
a 3 10 16 23 29 36 42 49 58 64 71 77 82 89 
a 3 10 16 23 29 36 42 49 58 64 71 77 83 89 
a 3 10 16 23 29 36 42 49 58 64 71 77 83 90 
a 3 10 16 23 29 36 42 49 58 64 70 77 83 90 
a 3 10 16 23 29 36 42 49 58 64 70 77 84 90 
a 3 10 16 23 29 36 42 49 58 64 70 77 84 91 
a 3 10 16 23 29 36 42 49 58 64 70 77 85 91 
a 3 10 16 23 29 36 42 49 58 64 70 76 85 91 
a 3 10 16 23 29 36 42 49 58 64 69 76 85 91 
a 3 10 16 23 29 36 42 49 58 64 69 75 85 91 
a 3 10 16 23 29 36 42 49 58 64 69 75 84 91 
a 3 10 16 23 29 36 42 49 58 64 69 75 84 90 
a 3 10 16 23 29 36 42 49 58 64 69 75 83 90 
a 3 10 16 23 29 36 42 49 58 64 69 75 83 89 
a 3 10 16 23 29 36 42 49 58 64 69 75 82 89 
a 3 10 16 23 29 36 42 49 58 64 69 75 82 88 
a 3 10 16 23 29 36 42 49 58 64 69 75 81 88 
a 3 10 16 23 29 36 42 49 58 64 69 75 81 87 
a 3 10 16 23 29 36 42 49 58 64 69 75 80 87 
a 3 10 16 23 29 36 42 49 58 64 69 75 80 86 
a 3 10 16 23 29 36 42 49 58 64 69 75 79 86 
a 3 10 16 23 29 36 42 49 58 64 68 75 79 86 
a 3 10 16 23 29 36 42 49 58 64 68 74 79 86 
a 3 10 16 23 29 36 42 49 58 64 67 74 79 86 
a 3 10 16 23 29 36 42 49 58 64 67 73 79 86 
a 3 10 16 23 29 36 42 49 58 64 66 73 79 86 
a 3 10 16 23 29 36 42 49 58 65 66 73 79 86 
a 3 10 16 23 29 36 43 49 58 65 66 73 79 86 
a 3 10 16 23 29 36 43 49 59 65 66 73 79 86 
a 3 10 16 23 29 36 43 50 59 65 66 73 79 86 
a 3 10 16 23 29 36 44 50 59 65 66 73 79 86 
a 3 10 16 23 29 36 44 51 59 65 66 73 79 86 
a 3 10 16 23 29 36 44 51 58 65 66 73 79 86 
a 3 10 16 23 29 36 44 51 58 64 66 73 79 86 
a 3 10 16 23 29 36 44 51 58 64 67 73 79 86 
a 3 10 16 23 29 36 44 51 58 64 67 74 79 86 
a 3 10 16 23 29 36 44 51 58 64 68 74 79 86 
a 3 10 16 23 29 36 44 51 58 64 68 75 79 86 
a 3 10 16 23 29 36 44 51 58 64 68 75 80 86 
a 3 10 16 23 29 36 44 51 58 64 68 75 80 87 
a 3 10 16 23 29 36 44 51 58 64 68 75 81 87 
a 3 10 16 23 29 36 44 51 58 64 68 75 81 88 
a 3 10 16 23 29 36 44 51 58 64 68 75 82 88 
a 3 10 16 23 29 36 44 51 58 64 68 75 82 89 
a 3 10 16 23 29 36 44 51 58 64 68 75 83 89 
a 3 10 16 23 29 36 44 51 58 64 68 75 83 90 
a 3 10 16 23 29 36 44 51 58 64 68 75 84 90 
a 3 10 16 23 29 36 44 51 58 64 68 75 84 91 
a 3 10 16 23 29 36 44 51 58 64 68 75 85 91 
a 3 10 16 23 29 36 44 51 58 64 69 75 85 91 
a 3 10 16 23 29 36 44 51 58 64 69 76 85 91 
a 3 10 16 23 29 36 44 51 58 64 70 76 85 91 
a 3 10 16 23 29 36 44 51 58 64 70 77 85 91 
a 3 10 16 23 29 36 44 51 58 64 70 77 84 91 
a 3 10 16 23 29 36 44 51 58 64 70 77 84 90 
a 3 10 16 23 29 36 44 51 58 64 70 77 83 90 
a 3 10 16 23 29 36 44 51 58 64 70 77 83 89 
a 3 10 16 23 29 36 44 51 58 64 70 77 82 89 
a 3 10 16 23 29 36 44 51 58 64 70 77 82 88 
a 3 10 16 23 29 36 44 51 58 64 70 77 81 88 
a 3 10 16 23 29 36 44 51 58 64 70 77 81 87 
a 3 10 16 23 29 36 44 51 58 64 70 77 80 87 
a 3 10 16 23 29 36 44 51 58 64 71 77 80 87 
a 3 10 16 23 29 36 44 51 58 64 71 77 80 86 
a 3 10 16 23 29 36 44 51 58 64 71 77 79 86 
a 3 10 16 23 29 36 44 51 58 64 71 78 79 86 
a 3 10 16 23 29 36 44 51 58 64 72 78 79 86 
a 3 10 16 23 29 36 44 51 57 64 72 78 79 86 
a 3 10 16 23 29 36 44 51 57 63 72 78 79 86 
a 3 10 16 23 29 36 44 51 56 63 72 78 79 86 
a 3 10 16 23 29 36 44 51 56 62 72 78 79 86 
a 3 10 16 23 29 36 44 51 56 62 71 78 79 86 
a 3 10 16 23 29 36 44 51 56 62 71 77 79 86 
a 3 10 16 23 29 36 44 51 56 62 71 77 80 86 
a 3 10 16 23 29 36 44 51 56 62 71 77 80 87 
a 3 10 16 23 29 36 44 51 56 62 71 77 81 87 
a 3 10 16 23 29 36 44 51 56 62 71 77 81 88 
a 3 10 16 23 29 36 44 51 56 62 71 77 82 88 
a 3 10 16 23 29 36 44 51 56 62 71 77 82 89 
a 3 10 16 23 29 36 44 51 56 62 71 77 83 89 
a 3 10 16 23 29 36 44 51 56 62 71 77 83 90 
a 3 10 16 23 29 36 44 51 56 62 71 77 84 90 
a 3 10 16 23 29 36 44 51 56 62 70 77 84 90 
a 3 10 16 23 29 36 44 51 56 62 70 77 84 91 
a 3 10 16 23 29 36 44 51 56 62 70 77 85 91 
a 3 10 16 23 29 36 44 51 56 62 70 76 85 91 
a 3 10 16 23 29 36 44 51 56 62 69 76 85 91 
a 3 10 16 23 29 36 44 51 56 62 69 75 85 91 
a 3 10 16 23 29 36 44 51 56 62 69 75 84 91 
a 3 10 16 23 29 36 44 51 56 62 69 75 84 90 
a 3 10 16 23 29 36 44 51 56 62 69 75 83 90 
a 3 10 16 23 29 36 44 51 56 62 69 75 83 89 
a 3 10 16 23 29 36 44 51 56 62 69 75 82 89 
a 3 10 16 23 29 36 44 51 56 62 69 75 82 88 
a 3 10 16 23 29 36 44 51 56 62 69 75 81 88 
a 3 10 16 23 29 36 44 51 56 62 69 75 81 87 
a 3 10 16 23 29 36 44 51 56 62 69 75 80 87 
a 3 10 16 23 29 36 44 51 56 62 69 75 80 86 
a 3 10 16 23 29 36 44 51 56 62 69 75 79 86 
a 3 10 16 23 29 36 44 51 56 62 68 75 79 86 
a 3 10 16 23 29 36 44 51 56 62 68 74 79 86 
a 3 10 16 23 29 36 44 51 56 62 67 74 79 86 
a 3 10 16 23 29 36 44 51 56 62 67 73 79 86 
a 3 10 16 23 29 36 44 51 56 62 66 73 79 86 
a 3 10 16 23 29 36 44 51 55 62 66 73 79 86 
a 3 10 16 23 29 36 44 51 55 61 66 73 79 86 
a 3 10 16 23 29 36 44 51 54 61 66 73 79 86 
a 3 10 16 23 29 36 44 51 54 60 66 73 79 86 
a 3 10 16 23 29 36 45 51 54 60 66 73 79 86 
a 3 10 16 23 29 36 45 51 53 60 66 73 79 86 
a 3 10 16 23 29 36 45 52 53 60 66 73 79 86 
a 3 10 16 23 29 36 46 52 53 60 66 73 79 86 
a 3 10 16 23 30 36 46 52 53 60 66 73 79 86 
a 3 10 16 23 30 37 46 52 53 60 66 73 79 86 
a 3 10 16 23 31 37 46 52 53 60 66 73 79 86 
a 3 10 16 23 31 38 46 52 53 60 66 73 79 86 
a 3 10 16 23 31 38 45 52 53 60 66 73 79 86 
a 3 10 16 23 31 38 45 51 53 60 66 73 79 86 
a 3 10 16 23 31 38 45 51 54 60 66 73 79 86 
a 3 10 16 23 31 38 45 51 54 61 66 73 79 86 
a 3 10 16 23 31 38 45 51 55 61 66 73 79 86 
a 3 10 16 23 31 38 45 51 55 62 66 73 79 86 
a 3 10 16 23 31 38 45 51 56 62 66 73 79 86 
a 3 10 16 23 31 38 45 51 56 62 67 73 79 86 
a 3 10 16 23 31 38 45 51 56 62 67 74 79 86 
a 3 10 16 23 31 38 45 51 56 62 68 74 79 86 
a 3 10 16 23 31 38 45 51 56 62 68 75 79 86 
a 3 10 16 23 31 38 45 51 56 62 68 75 80 86 
a 3 10 16 23 31 38 45 51 56 62 68 75 80 87 
a 3 10 16 23 31 38 45 51 56 62 68 75 81 87 
a 3 10 16 23 31 38 45 51 56 62 68 75 81 88 
a 3 10 16 23 31 38 45 51 56 62 68 75 82 88 
a 3 10 16 23 31 38 45 51 56 62 68 75 82 89 
a 3 10 16 23 31 38 45 51 56 62 68 75 83 89 
a 3 10 16 23 31 38 45 51 56 62 68 75 83 90 
a 3 10 16 23 31 38 45 51 56 62 69 75 83 90 
a 3 10 16 23 31 38 45 51 56 62 69 75 84 90 
a 3 10 16 23 31 38 45 51 56 62 69 75 84 91 
a 3 10 16 23 31 38 45 51 56 62 69 75 85 91 
a 3 10 16 23 31 38 45 51 56 62 69 76 85 91 
a 3 10 16 23 31 38 45 51 56 62 70 76 85 91 
a 3 10 16 23 31 38 45 51 56 62 70 77 85 91 
a 3 10 16 23 31 38 45 51 56 62 70 77 84 91 
a 3 10 16 23 31 38 45 51 56 62 70 77 84 90 
a 3 10 16 23 31 38 45 51 56 62 70 77 83 90 
a 3 10 16 23 31 38 45 51 56 62 70 77 83 89 
a 3 10 16 23 31 38 45 51 56 62 70 77 82 89 
a 3 10 16 23 31 38 45 51 56 62 70 77 82 88 
a 3 10 16 23 31 38 45 51 56 62 70 77 81 88 
a 3 10 16 23 31 38 45 51 56 62 70 77 81 87 
a 3 10 16 23 31 38 45 51 56 62 70 77 80 87 
a 3 10 16 23 31 38 45 51 56 62 70 77 80 86 
a 3 10 16 23 31 38 45 51 56 62 71 77 80 86 
a 3 10 16 23 31 38 45 51 56 62 71 77 79 86 
a 3 10 16 23 31 38 45 51 56 62 71 78 79 86 
a 3 10 16 23 31 38 45 51 56 62 72 78 79 86 
a 3 10 16 23 31 38 45 51 56 63 72 78 79 86 
a 3 10 16 23 31 38 45 51 57 63 72 78 79 86 
a 3 10 16 23 31 38 45 51 57 64 72 78 79 86 
a 3 10 16 23 31 38 45 51 58 64 72 78 79 86 
a 3 10 16 23 31 38 44 51 58 64 72 78 79 86 
a 3 10 16 23 31 38 44 51 58 64 71 78 79 86 
a 3 10 16 23 31 38 44 51 58 64 71 77 79 86 
a 3 10 16 23 31 38 44 51 58 64 71 77 80 86 
a 3 10 16 23 31 38 44 51 58 64 71 77 80 87 
a 3 10 16 23 31 38 44 51 58 64 71 77 81 87 
a 3 10 16 23 31 38 44 51 58 64 71 77 81 88 
a 3 10 16 23 31 38 44 51 58 64 71 77 82 88 
a 3 10 16 23 31 38 44 51 58 64 71 77 82 89 
a 3 10 16 23 31 38 44 51 58 64 71 77 83 89 
a 3 10 16 23 31 38 44 51 58 64 71 77 83 90 
a 3 10 16 23 31 38 44 51 58 64 71 77 84 90 
a 3 10 16 23 31 38 44 51 58 64 70 77 84 90 
a 3 10 16 23 31 38 44 51 58 64 70 77 84 91 
a 3 10 16 23 31 38 44 51 58 64 70 77 85 91 
a 3 10 16 23 31 38 44 51 58 64 70 76 85 91 
a 3 10 16 23 31 38 44 51 58 64 69 76 85 91 
a 3 10 16 23 31 38 44 51 58 64 69 75 85 91 
a 3 10 16 23 31 38 44 51 58 64 69 75 84 91 
a 3 10 16 23 31 38 44 51 58 64 69 75 84 90 
a 3 10 16 23 31 38 44 51 58 64 69 75 83 90 
a 3 10 16 23 31 38 44 51 58 64 69 75 83 89 
a 3 10 16 23 31 38 44 51 58 64 69 75 82 89 
a 3 10 16 23 31 38 44 51 58 64 69 75 82 88 
a 3 10 16 23 31 38 44 51 58 64 68 75 82 88 
a 3 10 16 23 31 38 44 51 58 64 68 75 81 88 
a 3 10 16 23 31 38 44 51 58 64 68 75 81 87 
a 3 10 16 23 31 38 44 51 58 64 68 75 80 87 
a 3 10 16 23 31 38 44 51 58 64 68 75 80 86 
a 3 10 16 23 31 38 44 51 58 64 68 75 79 86 
a 3 10 16 23 31 38 44 51 58 64 68 74 79 86 
a 3 10 16 23 31 38 44 51 58 64 67 74 79 86 
a 3 10 16 23 31 38 44 51 58 64 67 73 79 86 
a 3 10 16 23 31 38 44 51 58 64 66 73 79 86 
a 3 10 16 23 31 38 44 51 58 65 66 73 79 86 
a 3 10 16 23 31 38 44 51 59 65 66 73 79 86 
a 3 10 16 23 31 38 44 50 59 65 66 73 79 86 
a 3 10 16 23 31 38 43 50 59 65 66 73 79 86 
a 3 10 16 23 31 38 43 49 59 65 66 73 79 86 
a 3 10 16 23 31 38 43 49 58 65 66 73 79 86 
a 3 10 16 23 31 38 43 49 58 64 66 73 79 86 
a 3 10 16 23 31 38 43 49 58 64 67 73 79 86 
a 3 10 16 23 31 38 43 49 58 64 67 74 79 86 
a 3 10 16 23 31 38 43 49 58 64 68 74 79 86 
a 3 10 16 23 31 38 43 49 58 64 68 75 79 86 
a 3 10 16 23 31 38 43 49 58 64 68 75 80 86 
a 3 10 16 23 31 38 43 49 58 64 68 75 80 87 
a 3 10 16 23 31 38 43 49 58 64 68 75 81 87 
a 3 10 16 23 31 38 43 49 58 64 68 75 81 88 
a 3 10 16 23 31 38 43 49 58 64 68 75 82 88 
a 3 10 16 23 31 38 43 49 58 64 68 75 82 89 
a 3 10 16 23 31 38 43 49 58 64 68 75 83 89 
a 3 10 16 23 31 38 43 49 58 64 68 75 83 90 
a 3 10 16 23 31 38 43 49 58 64 69 75 83 90 
a 3 10 16 23 31 38 43 49 58 64 69 75 84 90 
a 3 10 16 23 31 38 43 49 58 64 69 75 84 91 
a 3 10 16 23 31 38 43 49 58 64 69 75 85 91 
a 3 10 16 23 31 38 43 49 58 64 69 76 85 91 
a 3 10 16 23 31 38 43 49 58 64 70 76 85 91 
a 3 10 16 23 31 38 43 49 58 64 70 77 85 91 
a 3 10 16 23 31 38 43 49 58 64 70 77 84 91 
a 3 10 16 23 31 38 43 49 58 64 70 77 84 90 
a 3 10 16 23 31 38 43 49 58 64 70 77 83 90 
a 3 10 16 23 31 38 43 49 58 64 70 77 83 89 
a 3 10 16 23 31 38 43 49 58 64 70 77 82 89 
a 3 10 16 23 31 38 43 49 58 64 70 77 82 88 
a 3 10 16 23 31 38 43 49 58 64 70 77 81 88 
a 3 10 16 23 31 38 43 49 58 64 70 77 81 87 
a 3 10 16 23 31 38 43 49 58 64 71 77 81 87 
a 3 10 16 23 31 38 43 49 58 64 71 77 80 87 
a 3 10 16 23 31 38 43 49 58 64 71 77 80 86 
a 3 10 16 23 31 38 43 49 58 64 71 77 79 86 
a 3 10 16 23 31 38 43 49 58 64 71 78 79 86 
a 3 10 16 23 31 38 43 49 58 64 72 78 79 86 
a 3 10 16 23 31 38 43 49 57 64 72 78 79 86 
a 3 10 16 23 31 38 43 49 57 63 72 78 79 86 
a 3 10 16 23 31 38 43 49 56 63 72 78 79 86 
a 3 10 16 23 31 38 43 49 56 62 72 78 79 86 
a 3 10 16 23 31 38 43 49 56 62 71 78 79 86 
a 3 10 16 23 31 38 43 49 56 62 71 77 79 86 
a 3 10 16 23 31 38 43 49 56 62 71 77 80 86 
a 3 10 16 23 31 38 43 49 56 62 71 77 80 87 
a 3 10 16 23 31 38 43 49 56 62 71 77 81 87 
a 3 10 16 23 31 38 43 49 56 62 71 77 81 88 
a 3 10 16 23 31 38 43 49 56 62 71 77 82 88 
a 3 10 16 23 31 38 43 49 56 62 71 77 82 89 
a 3 10 16 23 31 38 43 49 56 62 71 77 83 89 
a 3 10 16 23 31 38 43 49 56 62 71 77 83 90 
a 3 10 16 23 31 38 43 49 56 62 70 77 83 90 
a 3 10 16 23 31 38 43 49 56 62 70 77 84 90 
a 3 10 16 23 31 38 43 49 56 62 70 77 84 91 
a 3 10 16 23 31 38 43 49 56 62 70 77 85 91 
a 3 10 16 23 31 38 43 49 56 62 70 76 85 91 
a 3 10 16 23 31 38 43 49 56 62 69 76 85 91 
a 3 10 16 23 31 38 43 49 56 62 69 75 85 91 
a 3 10 16 23 31 38 43 49 56 62 69 75 84 91 
a 3 10 16 23 31 38 43 49 56 62 69 75 84 90 
a 3 10 16 23 31 38 43 49 56 62 69 75 83 90 
a 3 10 16 23 31 38 43 49 56 62 69 75 83 89 
a 3 10 16 23 31 38 43 49 56 62 69 75 82 89 
a 3 10 16 23 31 38 43 49 56 62 69 75 82 88 
a 3 10 16 23 31 38 43 49 56 62 69 75 81 88 
a 3 10 16 23 31 38 43 49 56 62 69 75 81 87 
a 3 10 16 23 31 38 43 49 56 62 68 75 81 87 
a 3 10 16 23 31 38 43 49 56 62 68 75 80 87 
a 3 10 16 23 31 38 43 49 56 62 68 75 80 86 
a 3 10 16 23 31 38 43 49 56 62 68 75 79 86 
a 3 10 16 23 31 38 43 49 56 62 68 74 79 86 
a 3 10 16 23 31 38 43 49 56 62 67 74 79 86 
a 3 10 16 23 31 38 43 49 56 62 67 73 79 86 
a 3 10 16 23 31 38 43 49 56 62 66 73 79 86 
a 3 10 16 23 31 38 43 49 55 62 66 73 79 86 
a 3 10 16 23 31 38 43 49 55 61 66 73 79 86 
a 3 10 16 23 31 38 43 49 54 61 66 73 79 86 
a 3 10 16 23 31 38 43 49 54 60 66 73 79 86 
a 3 10 16 23 31 38 42 49 54 60 66 73 79 86 
a 3 10 16 23 31 38 42 49 53 60 66 73 79 86 
a 3 10 16 23 31 38 42 48 53 60 66 73 79 86 
a 3 10 16 23 31 38 41 48 53 60 66 73 79 86 
a 3 10 16 23 31 38 41 47 53 60 66 73 79 86 
a 3 10 16 23 31 38 40 47 53 60 66 73 79 86 
a 3 10 16 23 32 38 40 47 53 60 66 73 79 86 
a 3 10 17 23 32 38 40 47 53 60 66 73 79 86 
a 3 10 17 23 32 39 40 47 53 60 66 73 79 86 
a 3 10 17 23 33 39 40 47 53 60 66 73 79 86 
a 3 10 17 24 33 39 40 47 53 60 66 73 79 86 
a 3 10 18 24 33 39 40 47 53 60 66 73 79 86 
a 3 10 18 25 33 39 40 47 53 60 66 73 79 86 
a 3 10 18 25 32 39 40 47 53 60 66 73 79 86 
a 3 10 18 25 32 38 40 47 53 60 66 73 79 86 
a 3 10 18 25 32 38 41 47 53 60 66 73 79 86 
a 3 10 18 25 32 38 41 48 53 60 66 73 79 86 
a 3 10 18 25 32 38 42 48 53 60 66 73 79 86 
a 3 10 18 25 32 38 42 49 53 60 66 73 79 86 
a 3 10 18 25 32 38 42 49 54 60 66 73 79 86 
a 3 10 18 25 32 38 42 49 54 61 66 73 79 86 
a 3 10 18 25 32 38 42 49 55 61 66 73 79 86 
a 3 10 18 25 32 38 42 49 55 62 66 73 79 86 
a 3 10 18 25 32 38 42 49 56 62 66 73 79 86 
a 3 10 18 25 32 38 42 49 56 62 67 73 79 86 
a 3 10 18 25 32 38 42 49 56 62 67 74 79 86 
a 3 10 18 25 32 38 42 49 56 62 68 74 79 86 
a 3 10 18 25 32 38 42 49 56 62 68 75 79 86 
a 3 10 18 25 32 38 42 49 56 62 68 75 80 86 
a 3 10 18 25 32 38 42 49 56 62 68 75 80 87 
a 3 10 18 25 32 38 42 49 56 62 68 75 81 87 
a 3 10 18 25 32 38 42 49 56 62 68 75 81 88 
a 3 10 18 25 32 38 42 49 56 62 68 75 82 88 
a 3 10 18 25 32 38 42 49 56 62 68 75 82 89 
a 3 10 18 25 32 38 42 49 56 62 68 75 83 89 
a 3 10 18 25 32 38 42 49 56 62 68 75 83 90 
a 3 10 18 25 32 38 42 49 56 62 68 75 84 90 
a 3 10 18 25 32 38 42 49 56 62 68 75 84 91 
a 3 10 18 25 32 38 42 49 56 62 68 75 85 91 
a 3 10 18 25 32 38 42 49 56 62 69 75 85 91 
a 3 10 18 25 32 38 42 49 56 62 69 76 85 91 
a 3 10 18 25 32 38 42 49 56 62 70 76 85 91 
a 3 10 18 25 32 38 42 49 56 62 70 77 85 91 
a 3 10 18 25 32 38 42 49 56 62 70 77 84 91 
a 3 10 18 25 32 38 42 49 56 62 70 77 84 90 
a 3 10 18 25 32 38 42 49 56 62 70 77 83 90 
a 3 10 18 25 32 38 42 49 56 62 70 77 83 89 
a 3 10 18 25 32 38 42 49 56 62 70 77 82 89 
a 3 10 18 25 32 38 42 49 56 62 70 77 82 88 
a 3 10 18 25 32 38 42 49 56 62 70 77 81 88 
a 3 10 18 25 32 38 42 49 56 62 70 77 81 87 
a 3 10 18 25 32 38 42 49 56 62 70 77 80 87 
a 3 10 18 25 32 38 42 49 56 62 70 77 80 86 
a 3 10 18 25 32 38 42 49 56 62 70 77 79 86 
a 3 10 18 25 32 38 42 49 56 62 71 77 79 86 
a 3 10 18 25 32 38 42 49 56 62 71 78 79 86 
a 3 10 18 25 32 38 42 49 56 62 72 78 79 86 
a 3 10 18 25 32 38 42 49 56 63 72 78 79 86 
a 3 10 18 25 32 38 42 49 57 63 72 78 79 86 
a 3 10 18 25 32 38 42 49 57 64 72 78 79 86 
a 3 10 18 25 32 38 42 49 58 64 72 78 79 86 
a 3 10 18 25 32 38 42 49 58 64 71 78 79 86 
a 3 10 18 25 32 38 42 49 58 64 71 77 79 86 
a 3 10 18 25 32 38 42 49 58 64 71 77 80 86 
a 3 10 18 25 32 38 42 49 58 64 71 77 80 87 
a 3 10 18 25 32 38 42 49 58 64 71 77 81 87 
a 3 10 18 25 32 38 42 49 58 64 71 77 81 88 
a 3 10 18 25 32 38 42 49 58 64 71 77 82 88 
a 3 10 18 25 32 38 42 49 58 64 71 77 82 89 
a 3 10 18 25 32 38 42 49 58 64 71 77 83 89 
a 3 10 18 25 32 38 42 49 58 64 70 77 83 89 
a 3 10 18 25 32 38 42 49 58 64 70 77 83 90 
a 3 10 18 25 32 38 42 49 58 64 70 77 84 90 
a 3 10 18 25 32 38 42 49 58 64 70 77 84 91 
a 3 10 18 25 32 38 42 49 58 64 70 77 85 91 
a 3 10 18 25 32 38 42 49 58 64 70 76 85 91 
a 3 10 18 25 32 38 42 49 58 64 69 76 85 91 
a 3 10 18 25 32 38 42 49 58 64 69 75 85 91 
a 3 10 18 25 32 38 42 49 58 64 69 75 84 91 
a 3 10 18 25 32 38 42 49 58 64 69 75 84 90 
a 3 10 18 25 32 38 42 49 58 64 69 75 83 90 
a 3 10 18 25 32 38 42 49 58 64 69 75 83 89 
a 3 10 18 25 32 38 42 49 58 64 69 75 82 89 
a 3 10 18 25 32 38 42 49 58 64 69 75 82 88 
a 3 10 18 25 32 38 42 49 58 64 69 75 81 88 
a 3 10 18 25 32 38 42 49 58 64 69 75 81 87 
a 3 10 18 25 32 38 42 49 58 64 69 75 80 87 
a 3 10 18 25 32 38 42 49 58 64 69 75 80 86 
a 3 10 18 25 32 38 42 49 58 64 69 75 79 86 
a 3 10 18 25 32 38 42 49 58 64 68 75 79 86 
a 3 10 18 25 32 38 42 49 58 64 68 74 79 86 
a 3 10 18 25 32 38 42 49 58 64 67 74 79 86 
a 3 10 18 25 32 38 42 49 58 64 67 73 79 86 
a 3 10 18 25 32 38 42 49 58 64 66 73 79 86 
a 3 10 18 25 32 38 42 49 58 65 66 73 79 86 
a 3 10 18 25 32 38 43 49 58 65 66 73 79 86 
a 3 10 18 25 32 38 43 49 59 65 66 73 79 86 
a 3 10 18 25 32 38 43 50 59 65 66 73 79 86 
a 3 10 18 25 32 38 44 50 59 65 66 73 79 86 
a 3 10 18 25 32 38 44 51 59 65 66 73 79 86 
a 3 10 18 25 32 38 44 51 58 65 66 73 79 86 
a 3 10 18 25 32 38 44 51 58 64 66 73 79 86 
a 3 10 18 25 32 38 44 51 58 64 67 73 79 86 
a 3 10 18 25 32 38 44 51 58 64 67 74 79 86 
a 3 10 18 25 32 38 44 51 58 64 68 74 79 86 
a 3 10 18 25 32 38 44 51 58 64 68 75 79 86 
a 3 10 18 25 32 38 44 51 58 64 68 75 80 86 
a 3 10 18 25 32 38 44 51 58 64 68 75 80 87 
a 3 10 18 25 32 38 44 51 58 64 68 75 81 87 
a 3 10 18 25 32 38 44 51 58 64 68 75 81 88 
a 3 10 18 25 32 38 44 51 58 64 68 75 82 88 
a 3 10 18 25 32 38 44 51 58 64 68 75 82 89 
a 3 10 18 25 32 38 44 51 58 64 68 75 83 89 
a 3 10 18 25 32 38 44 51 58 64 68 75 83 90 
a 3 10 18 25 32 38 44 51 58 64 68 75 84 90 
a 3 10 18 25 32 38 44 51 58 64 69 75 84 90 
a 3 10 18 25 32 38 44 51 58 64 69 75 84 91 
a 3 10 18 25 32 38 44 51 58 64 69 75 85 91 
a 3 10 18 25 32 38 44 51 58 64 69 76 85 91 
a 3 10 18 25 32 38 44 51 58 64 70 76 85 91 
a 3 10 18 25 32 38 44 51 58 64 70 77 85 91 
a 3 10 18 25 32 38 44 51 58 64 70 77 84 91 
a 3 10 18 25 32 38 44 51 58 64 70 77 84 90 
a 3 10 18 25 32 38 44 51 58 64 70 77 83 90 
a 3 10 18 25 32 38 44 51 58 64 70 77 83 89 
a 3 10 18 25 32 38 44 51 58 64 70 77 82 89 
a 3 10 18 25 32 38 44 51 58 64 70 77 82 88 
a 3 10 18 25 32 38 44 51 58 64 70 77 81 88 
a 3 10 18 25 32 38 44 51 58 64 70 77 81 87 
a 3 10 18 25 32 38 44 51 58 64 70 77 80 87 
a 3 10 18 25 32 38 44 51 58 64 70 77 80 86 
a 3 10 18 25 32 38 44 51 58 64 70 77 79 86 
a 3 10 18 25 32 38 44 51 58 64 71 77 79 86 
a 3 10 18 25 32 38 44 51 58 64 71 78 79 86 
a 3 10 18 25 32 38 44 51 58 64 72 78 79 86 
a 3 10 18 25 32 38 44 51 57 64 72 78 79 86 
a 3 10 18 25 32 38 44 51 57 63 72 78 79 86 
a 3 10 18 25 32 38 44 51 56 63 72 78 79 86 
a 3 10 18 25 32 38 44 51 56 62 72 78 79 86 
a 3 10 18 25 32 38 44 51 56 62 71 78 79 86 
a 3 10 18 25 32 38 44 51 56 62 71 77 79 86 
a 3 10 18 25 32 38 44 51 56 62 71 77 80 86 
a 3 10 18 25 32 38 44 51 56 62 71 77 80 87 
a 3 10 18 25 32 38 44 51 56 62 71 77 81 87 
a 3 10 18 25 32 38 44 51 56 62 71 77 81 88 
a 3 10 18 25 32 38 44 51 56 62 71 77 82 88 
a 3 10 18 25 32 38 44 51 56 62 71 77 82 89 
a 3 10 18 25 32 38 44 51 56 62 71 77 83 89 
a 3 10 18 25 32 38 44 51 56 62 70 77 83 89 
a 3 10 18 25 32 38 44 51 56 62 70 77 83 90 
a 3 10 18 25 32 38 44 51 56 62 70 77 84 90 
a 3 10 18 25 32 38 44 51 56 62 70 77 84 91 
a 3 10 18 25 32 38 44 51 56 62 70 77 85 91 
a 3 10 18 25 32 38 44 51 56 62 70 76 85 91 
a 3 10 18 25 32 38 44 51 56 62 69 76 85 91 
a 3 10 18 25 32 38 44 51 56 62 69 75 85 91 
a 3 10 18 25 32 38 44 51 56 62 69 75 84 91 
a 3 10 18 25 32 38 44 51 56 62 69 75 84 90 
a 3 10 18 25 32 38 44 51 56 62 69 75 83 90 
a 3 10 18 25 32 38 44 51 56 62 69 75 83 89 
a 3 10 18 25 32 38 44 51 56 62 69 75 82 89 
a 3 10 18 25 32 38 44 51 56 62 69 75 82 88 
a 3 10 18 25 32 38 44 51 56 62 69 75 81 88 
a 3 10 18 25 32 38 44 51 56 62 69 75 81 87 
a 3 10 18 25 32 38 44 51 56 62 69 75 80 87 
a 3 10 18 25 32 38 44 51 56 62 69 75 80 86 
a 3 10 18 25 32 38 44 51 56 62 68 75 80 86 
a 3 10 18 25 32 38 44 51 56 62 68 75 79 86 
a 3 10 18 25 32 38 44 51 56 62 68 74 79 86 
a 3 10 18 25 32 38 44 51 56 62 67 74 79 86 
a 3 10 18 25 32 38 44 51 56 62 67 73 79 86 
a 3 10 18 25 32 38 44 51 56 62 66 73 79 86 
a 3 10 18 25 32 38 44 51 55 62 66 73 79 86 
a 3 10 18 25 32 38 44 51 55 61 66 73 79 86 
a 3 10 18 25 32 38 44 51 54 61 66 73 79 86 
a 3 10 18 25 32 38 44 51 54 60 66 73 79 86 
a 3 10 18 25 32 38 45 51 54 60 66 73 79 86 
a 3 10 18 25 32 38 45 51 53 60 66 73 79 86 
a 3 10 18 25 32 38 45 52 53 60 66 73 79 86 
a 3 10 18 25 32 38 46 52 53 60 66 73 79 86 
a 3 10 18 25 31 38 46 52 53 60 66 73 79 86 
a 3 10 18 25 31 37 46 52 53 60 66 73 79 86 
a 3 10 18 25 30 37 46 52 53 60 66 73 79 86 
a 3 10 18 25 30 36 46 52 53 60 66 73 79 86 
a 3 10 18 25 30 36 45 52 53 60 66 73 79 86 
a 3 10 18 25 30 36 45 51 53 60 66 73 79 86 
a 3 10 18 25 30 36 45 51 54 60 66 73 79 86 
a 3 10 18 25 30 36 45 51 54 61 66 73 79 86 
a 3 10 18 25 30 36 45 51 55 61 66 73 79 86 
a 3 10 18 25 30 36 45 51 55 62 66 73 79 86 
a 3 10 18 25 30 36 45 51 56 62 66 73 79 86 
a 3 10 18 25 30 36 45 51 56 62 67 73 79 86 
a 3 10 18 25 30 36 45 51 56 62 67 74 79 86 
a 3 10 18 25 30 36 45 51 56 62 68 74 79 86 
a 3 10 18 25 30 36 45 51 56 62 68 75 79 86 
a 3 10 18 25 30 36 45 51 56 62 68 75 80 86 
a 3 10 18 25 30 36 45 51 56 62 68 75 80 87 
a 3 10 18 25 30 36 45 51 56 62 68 75 81 87 
a 3 10 18 25 30 36 45 51 56 62 68 75 81 88 
a 3 10 18 25 30 36 45 51 56 62 68 75 82 88 
a 3 10 18 25 30 36 45 51 56 62 68 75 82 89 
a 3 10 18 25 30 36 45 51 56 62 68 75 83 89 
a 3 10 18 25 30 36 45 51 56 62 68 75 83 90 
a 3 10 18 25 30 36 45 51 56 62 68 75 84 90 
a 3 10 18 25 30 36 45 51 56 62 69 75 84 90 
a 3 10 18 25 30 36 45 51 56 62 69 75 84 91 
a 3 10 18 25 30 36 45 51 56 62 69 75 85 91 
a 3 10 18 25 30 36 45 51 56 62 69 76 85 91 
a 3 10 18 25 30 36 45 51 56 62 70 76 85 91 
a 3 10 18 25 30 36 45 51 56 62 70 77 85 91 
a 3 10 18 25 30 36 45 51 56 62 70 77 84 91 
a 3 10 18 25 30 36 45 51 56 62 70 77 84 90 
a 3 10 18 25 30 36 45 51 56 62 70 77 83 90 
a 3 10 18 25 30 36 45 51 56 62 70 77 83 89 
a 3 10 18 25 30 36 45 51 56 62 70 77 82 89 
a 3 10 18 25 30 36 45 51 56 62 70 77 82 88 
a 3 10 18 25 30 36 45 51 56 62 70 77 81 88 
a 3 10 18 25 30 36 45 51 56 62 70 77 81 87 
a 3 10 18 25 30 36 45 51 56 62 70 77 80 87 
a 3 10 18 25 30 36 45 51 56 62 70 77 80 86 
a 3 10 18 25 30 36 45 51 56 62 70 77 79 86 
a 3 10 18 25 30 36 45 51 56 62 71 77 79 86 
a 3 10 18 25 30 36 45 51 56 62 71 78 79 86 
a 3 10 18 25 30 36 45 51 56 62 72 78 79 86 
a 3 10 18 25 30 36 45 51 56 63 72 78 79 86 
a 3 10 18 25 30 36 45 51 57 63 72 78 79 86 
a 3 10 18 25 30 36 45 51 57 64 72 78 79 86 
a 3 10 18 25 30 36 44 51 57 64 72 78 79 86 
a 3 10 18 25 30 36 44 51 57 64 71 78 79 86 
a 3 10 18 25 30 36 44 51 57 64 71 77 79 86 
a 3 10 18 25 30 36 44 51 57 64 71 77 80 86 
a 3 10 18 25 30 36 44 51 57 64 71 77 80 87 
a 3 10 18 25 30 36 44 51 57 64 71 77 81 87 
a 3 10 18 25 30 36 44 51 57 64 71 77 81 88 
a 3 10 18 25 30 36 44 51 57 64 71 77 82 88 
a 3 10 18 25 30 36 44 51 57 64 71 77 82 89 
a 3 10 18 25 30 36 44 51 57 64 71 77 83 89 
a 3 10 18 25 30 36 44 51 57 64 71 77 83 90 
a 3 10 18 25 30 36 44 51 58 64 71 77 83 90 
a 3 10 18 25 30 36 44 51 58 64 71 77 84 90 
a 3 10 18 25 30 36 44 51 58 64 70 77 84 90 
a 3 10 18 25 30 36 44 51 58 64 70 77 84 91 
a 3 10 18 25 30 36 44 51 58 64 70 77 85 91 
a 3 10 18 25 30 36 44 51 58 64 70 76 85 91 
a 3 10 18 25 30 36 44 51 58 64 69 76 85 91 
a 3 10 18 25 30 36 44 51 58 64 69 75 85 91 
a 3 10 18 25 30 36 44 51 58 64 69 75 84 91 
a 3 10 18 25 30 36 44 51 58 64 69 75 84 90 
a 3 10 18 25 30 36 44 51 58 64 69 75 83 90 
a 3 10 18 25 30 36 44 51 58 64 69 75 83 89 
a 3 10 18 25 30 36 44 51 58 64 69 75 82 89 
a 3 10 18 25 30 36 44 51 58 64 69 75 82 88 
a 3 10 18 25 30 36 44 51 58 64 69 75 81 88 
a 3 10 18 25 30 36 44 51 58 64 69 75 81 87 
a 3 10 18 25 30 36 44 51 58 64 69 75 80 87 
a 3 10 18 25 30 36 44 51 58 64 69 75 80 86 
a 3 10 18 25 30 36 44 51 58 64 69 75 79 86 
a 3 10 18 25 30 36 44 51 58 64 68 75 79 86 
a 3 10 18 25 30 36 44 51 58 64 68 74 79 86 
a 3 10 18 25 30 36 44 51 58 64 67 74 79 86 
a 3 10 18 25 30 36 44 51 58 64 67 73 79 86 
a 3 10 18 25 30 36 44 51 58 64 66 73 79 86 
a 3 10 18 25 30 36 44 51 58 65 66 73 79 86 
a 3 10 18 25 30 36 44 51 59 65 66 73 79 86 
a 3 10 18 25 30 36 44 50 59 65 66 73 79 86 
a 3 10 18 25 30 36 43 50 59 65 66 73 79 86 
a 3 10 18 25 30 36 43 49 59 65 66 73 79 86 
a 3 10 18 25 30 36 43 49 58 65 66 73 79 86 
a 3 10 18 25 30 36 43 49 58 64 66 73 79 86 
a 3 10 18 25 30 36 43 49 58 64 67 73 79 86 
a 3 10 18 25 30 36 43 49 58 64 67 74 79 86 
a 3 10 18 25 30 36 43 49 58 64 68 74 79 86 
a 3 10 18 25 30 36 43 49 58 64 68 75 79 86 
a 3 10 18 25 30 36 43 49 58 64 68 75 80 86 
a 3 10 18 25 30 36 43 49 58 64 68 75 80 87 
a 3 10 18 25 30 36 43 49 58 64 68 75 81 87 
a 3 10 18 25 30 36 43 49 58 64 68 75 81 88 
a 3 10 18 25 30 36 43 49 58 64 68 75 82 88 
a 3 10 18 25 30 36 43 49 58 64 68 75 82 89 
a 3 10 18 25 30 36 43 49 58 64 68 75 83 89 
a 3 10 18 25 30 36 43 49 58 64 68 75 83 90 
a 3 10 18 25 30 36 43 49 58 64 68 75 84 90 
a 3 10 18 25 30 36 43 49 58 64 68 75 84 91 
a 3 10 18 25 30 36 43 49 58 64 69 75 84 91 
a 3 10 18 25 30 36 43 49 58 64 69 75 85 91 
a 3 10 18 25 30 36 43 49 58 64 69 76 85 91 
a 3 10 18 25 30 36 43 49 58 64 70 76 85 91 
a 3 10 18 25 30 36 43 49 58 64 70 77 85 91 
a 3 10 18 25 30 36 43 49 58 64 70 77 84 91 
a 3 10 18 25 30 36 43 49 58 64 70 77 84 90 
a 3 10 18 25 30 36 43 49 58 64 70 77 83 90 
a 3 10 18 25 30 36 43 49 58 64 70 77 83 89 
a 3 10 18 25 30 36 43 49 58 64 70 77 82 89 
a 3 10 18 25 30 36 43 49 58 64 71 77 82 89 
a 3 10 18 25 30 36 43 49 58 64 71 77 82 88 
a 3 10 18 25 30 36 43 49 58 64 71 77 81 88 
a 3 10 18 25 30 36 43 49 58 64 71 77 81 87 
a 3 10 18 25 30 36 43 49 58 64 71 77 80 87 
a 3 10 18 25 30 36 43 49 58 64 71 77 80 86 
a 3 10 18 25 30 36 43 49 58 64 71 77 79 86 
a 3 10 18 25 30 36 43 49 58 64 71 78 79 86 
a 3 10 18 25 30 36 43 49 58 64 72 78 79 86 
a 3 10 18 25 30 36 43 49 57 64 72 78 79 86 
a 3 10 18 25 30 36 43 49 57 63 72 78 79 86 
a 3 10 18 25 30 36 43 49 56 63 72 78 79 86 
a 3 10 18 25 30 36 43 49 56 62 72 78 79 86 
a 3 10 18 25 30 36 43 49 56 62 71 78 79 86 
a 3 10 18 25 30 36 43 49 56 62 71 77 79 86 
a 3 10 18 25 30 36 43 49 56 62 71 77 80 86 
a 3 10 18 25 30 36 43 49 56 62 71 77 80 87 
a 3 10 18 25 30 36 43 49 56 62 71 77 81 87 
a 3 10 18 25 30 36 43 49 56 62 71 77 81 88 
a 3 10 18 25 30 36 43 49 56 62 71 77 82 88 
a 3 10 18 25 30 36 43 49 56 62 71 77 82 89 
a 3 10 18 25 30 36 43 49 56 62 71 77 83 89 
a 3 10 18 25 30 36 43 49 56 62 71 77 83 90 
a 3 10 18 25 30 36 43 49 56 62 71 77 84 90 
a 3 10 18 25 30 36 43 49 56 62 71 77 84 91 
a 3 10 18 25 30 36 43 49 56 62 71 77 85 91 
a 3 10 18 25 30 36 43 49 56 62 70 77 85 91 
a 3 10 18 25 30 36 43 49 56 62 70 76 85 91 
a 3 10 18 25 30 36 43 49 56 62 69 76 85 91 
a 3 10 18 25 30 36 43 49 56 62 69 75 85 91 
a 3 10 18 25 30 36 43 49 56 62 69 75 84 91 
a 3 10 18 25 30 36 43 49 56 62 69 75 84 90 
a 3 10 18 25 30 36 43 49 56 62 69 75 83 90 
a 3 10 18 25 30 36 43 49 56 62 69 75 83 89 
a 3 10 18 25 30 36 43 49 56 62 69 75 82 89 
a 3 10 18 25 30 36 43 49 56 62 69 75 82 88 
a 3 10 18 25 30 36 43 49 56 62 69 75 81 88 
a 3 10 18 25 30 36 43 49 56 62 69 75 81 87 
a 3 10 18 25 30 36 43 49 56 62 69 75 80 87 
a 3 10 18 25 30 36 43 49 56 62 69 75 80 86 
a 3 10 18 25 30 36 43 49 56 62 68 75 80 86 
a 3 10 18 25 30 36 43 49 56 62 68 75 79 86 
a 3 10 18 25 30 36 43 49 56 62 68 74 79 86 
a 3 10 18 25 30 36 43 49 56 62 67 74 79 86 
a 3 10 18 25 30 36 43 49 56 62 67 73 79 86 
a 3 10 18 25 30 36 43 49 56 62 66 73 79 86 
a 3 10 18 25 30 36 43 49 55 62 66 73 79 86 
a 3 10 18 25 30 36 43 49 55 61 66 73 79 86 
a 3 10 18 25 30 36 43 49 54 61 66 73 79 86 
a 3 10 18 25 30 36 43 49 54 60 66 73 79 86 
a 3 10 18 25 30 36 42 49 54 60 66 73 79 86 
a 3 10 18 25 30 36 42 49 53 60 66 73 79 86 
a 3 10 18 25 30 36 42 48 53 60 66 73 79 86 
a 3 10 18 25 30 36 41 48 53 60 66 73 79 86 
a 3 10 18 25 30 36 41 47 53 60 66 73 79 86 
a 3 10 18 25 30 36 40 47 53 60 66 73 79 86 
a 3 10 18 25 29 36 40 47 53 60 66 73 79 86 
a 3 10 18 25 29 35 40 47 53 60 66 73 79 86 
a 3 10 18 25 28 35 40 47 53 60 66 73 79 86 
a 3 10 18 25 28 34 40 47 53 60 66 73 79 86 
a 3 10 19 25 28 34 40 47 53 60 66 73 79 86 
a 3 10 19 25 27 34 40 47 53 60 66 73 79 86 
a 3 10 19 26 27 34 40 47 53 60 66 73 79 86 
a 3 10 20 26 27 34 40 47 53 60 66 73 79 86 
a 4 10 20 26 27 34 40 47 53 60 66 73 79 86 
a 4 11 20 26 27 34 40 47 53 60 66 73 79 86 
a 5 11 20 26 27 34 40 47 53 60 66 73 79 86 
a 5 12 20 26 27 34 40 47 53 60 66 73 79 86 
a 5 12 19 26 27 34 40 47 53 60 66 73 79 86 
a 5 12 19 25 27 34 40 47 53 60 66 73 79 86 
a 5 12 19 25 28 34 40 47 53 60 66 73 79 86 
a 5 12 19 25 28 35 40 47 53 60 66 73 79 86 
a 5 12 19 25 29 35 40 47 53 60 66 73 79 86 
a 5 12 19 25 29 36 40 47 53 60 66 73 79 86 
a 5 12 19 25 29 36 41 47 53 60 66 73 79 86 
a 5 12 19 25 29 36 41 48 53 60 66 73 79 86 
a 5 12 19 25 29 36 42 48 53 60 66 73 79 86 
a 5 12 19 25 29 36 42 49 53 60 66 73 79 86 
a 5 12 19 25 29 36 42 49 54 60 66 73 79 86 
a 5 12 19 25 29 36 42 49 54 61 66 73 79 86 
a 5 12 19 25 29 36 42 49 55 61 66 73 79 86 
a 5 12 19 25 29 36 42 49 55 62 66 73 79 86 
a 5 12 19 25 29 36 42 49 56 62 66 73 79 86 
a 5 12 19 25 29 36 42 49 56 62 67 73 79 86 
a 5 12 19 25 29 36 42 49 56 62 67 74 79 86 
a 5 12 19 25 29 36 42 49 56 62 68 74 79 86 
a 5 12 19 25 29 36 42 49 56 62 68 75 79 86 
a 5 12 19 25 29 36 42 49 56 62 68 75 80 86 
a 5 12 19 25 29 36 42 49 56 62 68 75 80 87 
a 5 12 19 25 29 36 42 49 56 62 68 75 81 87 
a 5 12 19 25 29 36 42 49 56 62 68 75 81 88 
a 5 12 19 25 29 36 42 49 56 62 68 75 82 88 
a 5 12 19 25 29 36 42 49 56 62 68 75 82 89 
a 5 12 19 25 29 36 42 49 56 62 69 75 82 89 
a 5 12 19 25 29 36 42 49 56 62 69 75 83 89 
a 5 12 19 25 29 36 42 49 56 62 69 75 83 90 
a 5 12 19 25 29 36 42 49 56 62 69 75 84 90 
a 5 12 19 25 29 36 42 49 56 62 69 75 84 91 
a 5 12 19 25 29 36 42 49 56 62 69 75 85 91 
a 5 12 19 25 29 36 42 49 56 62 69 76 85 91 
a 5 12 19 25 29 36 42 49 56 62 70 76 85 91 
a 5 12 19 25 29 36 42 49 56 62 70 77 85 91 
a 5 12 19 25 29 36 42 49 56 62 70 77 84 91 
a 5 12 19 25 29 36 42 49 56 62 70 77 84 90 
a 5 12 19 25 29 36 42 49 56 62 70 77 83 90 
a 5 12 19 25 29 36 42 49 56 62 70 77 83 89 
a 5 12 19 25 29 36 42 49 56 62 70 77 82 89 
a 5 12 19 25 29 36 42 49 56 62 70 77 82 88 
a 5 12 19 25 29 36 42 49 56 62 70 77 81 88 
a 5 12 19 25 29 36 42 49 56 62 70 77 81 87 
a 5 12 19 25 29 36 42 49 56 62 70 77 80 87 
a 5 12 19 25 29 36 42 49 56 62 70 77 80 86 
a 5 12 19 25 29 36 42 49 56 62 71 77 80 86 
a 5 12 19 25 29 36 42 49 56 62 71 77 79 86 
a 5 12 19 25 29 36 42 49 56 62 71 78 79 86 
a 5 12 19 25 29 36 42 49 56 62 72 78 79 86 
a 5 12 19 25 29 36 42 49 56 63 72 78 79 86 
a 5 12 19 25 29 36 42 49 57 63 72 78 79 86 
a 5 12 19 25 29 36 42 49 57 64 72 78 79 86 
a 5 12 19 25 29 36 42 49 58 64 72 78 79 86 
a 5 12 19 25 29 36 42 49 58 64 71 78 79 86 
a 5 12 19 25 29 36 42 49 58 64 71 77 79 86 
a 5 12 19 25 29 36 42 49 58 64 71 77 80 86 
a 5 12 19 25 29 36 42 49 58 64 71 77 80 87 
a 5 12 19 25 29 36 42 49 58 64 71 77 81 87 
a 5 12 19 25 29 36 42 49 58 64 71 77 81 88 
a 5 12 19 25 29 36 42 49 58 64 71 77 82 88 
a 5 12 19 25 29 36 42 49 58 64 70 77 82 88 
a 5 12 19 25 29 36 42 49 58 64 70 77 82 89 
a 5 12 19 25 29 36 42 49 58 64 70 77 83 89 
a 5 12 19 25 29 36 42 49 58 64 70 77 83 90 
a 5 12 19 25 29 36 42 49 58 64 70 77 84 90 
a 5 12 19 25 29 36 42 49 58 64 70 77 84 91 
a 5 12 19 25 29 36 42 49 58 64 70 77 85 91 
a 5 12 19 25 29 36 42 49 58 64 70 76 85 91 
a 5 12 19 25 29 36 42 49 58 64 69 76 85 91 
a 5 12 19 25 29 36 42 49 58 64 69 75 85 91 
a 5 12 19 25 29 36 42 49 58 64 69 75 84 91 
a 5 12 19 25 29 36 42 49 58 64 69 75 84 90 
a 5 12 19 25 29 36 42 49 58 64 69 75 83 90 
a 5 12 19 25 29 36 42 49 58 64 69 75 83 89 
a 5 12 19 25 29 36 42 49 58 64 69 75 82 89 
a 5 12 19 25 29 36 42 49 58 64 69 75 82 88 
a 5 12 19 25 29 36 42 49 58 64 69 75 81 88 
a 5 12 19 25 29 36 42 49 58 64 69 75 81 87 
a 5 12 19 25 29 36 42 49 58 64 69 75 80 87 
a 5 12 19 25 29 36 42 49 58 64 69 75 80 86 
a 5 12 19 25 29 36 42 49 58 64 69 75 79 86 
a 5 12 19 25 29 36 42 49 58 64 68 75 79 86 
a 5 12 19 25 29 36 42 49 58 64 68 74 79 86 
a 5 12 19 25 29 36 42 49 58 64 67 74 79 86 
a 5 12 19 25 29 36 42 49 58 64 67 73 79 86 
a 5 12 19 25 29 36 42 49 58 64 66 73 79 86 
a 5 12 19 25 29 36 42 49 58 65 66 73 79 86 
a 5 12 19 25 29 36 43 49 58 65 66 73 79 86 
a 5 12 19 25 29 36 43 49 59 65 66 73 79 86 
a 5 12 19 25 29 36 43 50 59 65 66 73 79 86 
a 5 12 19 25 29 36 44 50 59 65 66 73 79 86 
a 5 12 19 25 29 36 44 51 59 65 66 73 79 86 
a 5 12 19 25 29 36 44 51 58 65 66 73 79 86 
a 5 12 19 25 29 36 44 51 58 64 66 73 79 86 
a 5 12 19 25 29 36 44 51 58 64 67 73 79 86 
a 5 12 19 25 29 36 44 51 58 64 67 74 79 86 
a 5 12 19 25 29 36 44 51 58 64 68 74 79 86 
a 5 12 19 25 29 36 44 51 58 64 68 75 79 86 
a 5 12 19 25 29 36 44 51 58 64 68 75 80 86 
a 5 12 19 25 29 36 44 51 58 64 68 75 80 87 
a 5 12 19 25 29 36 44 51 58 64 68 75 81 87 
a 5 12 19 25 29 36 44 51 58 64 68 75 81 88 
a 5 12 19 25 29 36 44 51 58 64 68 75 82 88 
a 5 12 19 25 29 36 44 51 58 64 68 75 82 89 
a 5 12 19 25 29 36 44 51 58 64 68 75 83 89 
a 5 12 19 25 29 36 44 51 58 64 69 75 83 89 
a 5 12 19 25 29 36 44 51 58 64 69 75 83 90 
a 5 12 19 25 29 36 44 51 58 64 69 75 84 90 
a 5 12 19 25 29 36 44 51 58 64 69 75 84 91 
a 5 12 19 25 29 36 44 51 58 64 69 75 85 91 
a 5 12 19 25 29 36 44 51 58 64 69 76 85 91 
a 5 12 19 25 29 36 44 51 58 64 70 76 85 91 
a 5 12 19 25 29 36 44 51 58 64 70 77 85 91 
a 5 12 19 25 29 36 44 51 58 64 70 77 84 91 
a 5 12 19 25 29 36 44 51 58 64 70 77 84 90 
a 5 12 19 25 29 36 44 51 58 64 70 77 83 90 
a 5 12 19 25 29 36 44 51 58 64 70 77 83 89 
a 5 12 19 25 29 36 44 51 58 64 70 77 82 89 
a 5 12 19 25 29 36 44 51 58 64 70 77 82 88 
a 5 12 19 25 29 36 44 51 58 64 70 77 81 88 
a 5 12 19 25 29 36 44 51 58 64 70 77 81 87 
a 5 12 19 25 29 36 44 51 58 64 70 77 80 87 
a 5 12 19 25 29 36 44 51 58 64 70 77 80 86 
a 5 12 19 25 29 36 44 51 58 64 70 77 79 86 
a 5 12 19 25 29 36 44 51 58 64 71 77 79 86 
a 5 12 19 25 29 36 44 51 58 64 71 78 79 86 
a 5 12 19 25 29 36 44 51 58 64 72 78 79 86 
a 5 12 19 25 29 36 44 51 57 64 72 78 79 86 
a 5 12 19 25 29 36 44 51 57 63 72 78 79 86 
a 5 12 19 25 29 36 44 51 56 63 72 78 79 86 
a 5 12 19 25 29 36 44 51 56 62 72 78 79 86 
a 5 12 19 25 29 36 44 51 56 62 71 78 79 86 
a 5 12 19 25 29 36 44 51 56 62 71 77 79 86 
a 5 12 19 25 29 36 44 51 56 62 71 77 80 86 
a 5 12 19 25 29 36 44 51 56 62 71 77 80 87 
a 5 12 19 25 29 36 44 51 56 62 71 77 81 87 
a 5 12 19 25 29 36 44 51 56 62 71 77 81 88 
a 5 12 19 25 29 36 44 51 56 62 71 77 82 88 
a 5 12 19 25 29 36 44 51 56 62 71 77 82 89 
a 5 12 19 25 29 36 44 51 56 62 71 77 83 89 
a 5 12 19 25 29 36 44 51 56 62 70 77 83 89 
a 5 12 19 25 29 36 44 51 56 62 70 77 83 90 
a 5 12 19 25 29 36 44 51 56 62 70 77 84 90 
a 5 12 19 25 29 36 44 51 56 62 70 77 84 91 
a 5 12 19 25 29 36 44 51 56 62 70 77 85 91 
a 5 12 19 25 29 36 44 51 56 62 70 76 85 91 
a 5 12 19 25 29 36 44 51 56 62 69 76 85 91 
a 5 12 19 25 29 36 44 51 56 62 69 75 85 91 
a 5 12 19 25 29 36 44 51 56 62 69 75 84 91 
a 5 12 19 25 29 36 44 51 56 62 69 75 84 90 
a 5 12 19 25 29 36 44 51 56 62 69 75 83 90 
a 5 12 19 25 29 36 44 51 56 62 69 75 83 89 
a 5 12 19 25 29 36 44 51 56 62 69 75 82 89 
a 5 12 19 25 29 36 44 51 56 62 69 75 82 88 
a 5 12 19 25 29 36 44 51 56 62 69 75 81 88 
a 5 12 19 25 29 36 44 51 56 62 69 75 81 87 
a 5 12 19 25 29 36 44 51 56 62 69 75 80 87 
a 5 12 19 25 29 36 44 51 56 62 69 75 80 86 
a 5 12 19 25 29 36 44 51 56 62 69 75 79 86 
a 5 12 19 25 29 36 44 51 56 62 68 75 79 86 
a 5 12 19 25 29 36 44 51 56 62 68 74 79 86 
a 5 12 19 25 29 36 44 51 56 62 67 74 79 86 
a 5 12 19 25 29 36 44 51 56 62 67 73 79 86 
a 5 12 19 25 29 36 44 51 56 62 66 73 79 86 
a 5 12 19 25 29 36 44 51 55 62 66 73 79 86 
a 5 12 19 25 29 36 44 51 55 61 66 73 79 86 
a 5 12 19 25 29 36 44 51 54 61 66 73 79 86 
a 5 12 19 25 29 36 44 51 54 60 66 73 79 86 
a 5 12 19 25 29 36 45 51 54 60 66 73 79 86 
a 5 12 19 25 29 36 45 51 53 60 66 73 79 86 
a 5 12 19 25 29 36 45 52 53 60 66 73 79 86 
a 5 12 19 25 29 36 46 52 53 60 66 73 79 86 
a 5 12 19 25 30 36 46 52 53 60 66 73 79 86 
a 5 12 19 25 30 37 46 52 53 60 66 73 79 86 
a 5 12 19 25 31 37 46 52 53 60 66 73 79 86 
a 5 12 19 25 31 38 46 52 53 60 66 73 79 86 
a 5 12 19 25 31 38 45 52 53 60 66 73 79 86 
a 5 12 19 25 31 38 45 51 53 60 66 73 79 86 
a 5 12 19 25 31 38 45 51 54 60 66 73 79 86 
a 5 12 19 25 31 38 45 51 54 61 66 73 79 86 
a 5 12 19 25 31 38 45 51 55 61 66 73 79 86 
a 5 12 19 25 31 38 45 51 55 62 66 73 79 86 
a 5 12 19 25 31 38 45 51 56 62 66 73 79 86 
a 5 12 19 25 31 38 45 51 56 62 67 73 79 86 
a 5 12 19 25 31 38 45 51 56 62 67 74 79 86 
a 5 12 19 25 31 38 45 51 56 62 68 74 79 86 
a 5 12 19 25 31 38 45 51 56 62 68 75 79 86 
a 5 12 19 25 31 38 45 51 56 62 68 75 80 86 
a 5 12 19 25 31 38 45 51 56 62 68 75 80 87 
a 5 12 19 25 31 38 45 51 56 62 68 75 81 87 
a 5 12 19 25 31 38 45 51 56 62 68 75 81 88 
a 5 12 19 25 31 38 45 51 56 62 68 75 82 88 
a 5 12 19 25 31 38 45 51 56 62 68 75 82 89 
a 5 12 19 25 31 38 45 51 56 62 69 75 82 89 
a 5 12 19 25 31 38 45 51 56 62 69 75 83 89 
a 5 12 19 25 31 38 45 51 56 62 69 75 83 90 
a 5 12 19 25 31 38 45 51 56 62 69 75 84 90 
a 5 12 19 25 31 38 45 51 56 62 69 75 84 91 
a 5 12 19 25 31 38 45 51 56 62 69 75 85 91 
a 5 12 19 25 31 38 45 51 56 62 69 76 85 91 
a 5 12 19 25 31 38 45 51 56 62 70 76 85 91 
a 5 12 19 25 31 38 45 51 56 62 70 77 85 91 
a 5 12 19 25 31 38 45 51 56 62 70 77 84 91 
a 5 12 19 25 31 38 45 51 56 62 70 77 84 90 
a 5 12 19 25 31 38 45 51 56 62 70 77 83 90 
a 5 12 19 25 31 38 45 51 56 62 70 77 83 89 
a 5 12 19 25 31 38 45 51 56 62 70 77 82 89 
a 5 12 19 25 31 38 45 51 56 62 70 77 82 88 
a 5 12 19 25 31 38 45 51 56 62 70 77 81 88 
a 5 12 19 25 31 38 45 51 56 62 70 77 81 87 
a 5 12 19 25 31 38 45 51 56 62 70 77 80 87 
a 5 12 19 25 31 38 45 51 56 62 70 77 80 86 
a 5 12 19 25 31 38 45 51 56 62 70 77 79 86 
a 5 12 19 25 31 38 45 51 56 62 71 77 79 86 
a 5 12 19 25 31 38 45 51 56 62 71 78 79 86 
a 5 12 19 25 31 38 45 51 56 62 72 78 79 86 
a 5 12 19 25 31 38 45 51 56 63 72 78 79 86 
a 5 12 19 25 31 38 45 51 57 63 72 78 79 86 
a 5 12 19 25 31 38 45 51 57 64 72 78 79 86 
a 5 12 19 25 31 38 45 51 57 64 71 78 79 86 
a 5 12 19 25 31 38 45 51 58 64 71 78 79 86 
a 5 12 19 25 31 38 45 51 58 64 71 77 79 86 
a 5 12 19 25 31 38 45 51 58 64 71 77 80 86 
a 5 12 19 25 31 38 45 51 58 64 71 77 80 87 
a 5 12 19 25 31 38 45 51 58 64 71 77 81 87 
a 5 12 19 25 31 38 45 51 58 64 71 77 81 88 
a 5 12 19 25 31 38 45 51 58 64 71 77 82 88 
a 5 12 19 25 31 38 45 51 58 64 71 77 82 89 
a 5 12 19 25 31 38 44 51 58 64 71 77 82 89 
a 5 12 19 25 31 38 44 51 58 64 71 77 83 89 
a 5 12 19 25 31 38 44 51 58 64 70 77 83 89 
a 5 12 19 25 31 38 44 51 58 64 70 77 83 90 
a 5 12 19 25 31 38 44 51 58 64 70 77 84 90 
a 5 12 19 25 31 38 44 51 58 64 70 77 84 91 
a 5 12 19 25 31 38 44 51 58 64 70 77 85 91 
a 5 12 19 25 31 38 44 51 58 64 70 76 85 91 
a 5 12 19 25 31 38 44 51 58 64 69 76 85 91 
a 5 12 19 25 31 38 44 51 58 64 69 75 85 91 
a 5 12 19 25 31 38 44 51 58 64 69 75 84 91 
a 5 12 19 25 31 38 44 51 58 64 69 75 84 90 
a 5 12 19 25 31 38 44 51 58 64 69 75 83 90 
a 5 12 19 25 31 38 44 51 58 64 69 75 83 89 
a 5 12 19 25 31 38 44 51 58 64 69 75 82 89 
a 5 12 19 25 31 38 44 51 58 64 69 75 82 88 
a 5 12 19 25 31 38 44 51 58 64 69 75 81 88 
a 5 12 19 25 31 38 44 51 58 64 69 75 81 87 
a 5 12 19 25 31 38 44 51 58 64 69 75 80 87 
a 5 12 19 25 31 38 44 51 58 64 69 75 80 86 
a 5 12 19 25 31 38 44 51 58 64 69 75 79 86 
a 5 12 19 25 31 38 44 51 58 64 68 75 79 86 
a 5 12 19 25 31 38 44 51 58 64 68 74 79 86 
a 5 12 19 25 31 38 44 51 58 64 67 74 79 86 
a 5 12 19 25 31 38 44 51 58 64 67 73 79 86 
a 5 12 19 25 31 38 44 51 58 64 66 73 79 86 
a 5 12 19 25 31 38 44 51 58 65 66 73 79 86 
a 5 12 19 25 31 38 44 51 59 65 66 73 79 86 
a 5 12 19 25 31 38 44 50 59 65 66 73 79 86 
a 5 12 19 25 31 38 43 50 59 65 66 73 79 86 
a 5 12 19 25 31 38 43 49 59 65 66 73 79 86 
a 5 12 19 25 31 38 43 49 58 65 66 73 79 86 
a 5 12 19 25 31 38 43 49 58 64 66 73 79 86 
a 5 12 19 25 31 38 43 49 58 64 67 73 79 86 
a 5 12 19 25 31 38 43 49 58 64 67 74 79 86 
a 5 12 19 25 31 38 43 49 58 64 68 74 79 86 
a 5 12 19 25 31 38 43 49 58 64 68 75 79 86 
a 5 12 19 25 31 38 43 49 58 64 68 75 80 86 
a 5 12 19 25 31 38 43 49 58 64 68 75 80 87 
a 5 12 19 25 31 38 43 49 58 64 68 75 81 87 
a 5 12 19 25 31 38 43 49 58 64 68 75 81 88 
a 5 12 19 25 31 38 43 49 58 64 68 75 82 88 
a 5 12 19 25 31 38 43 49 58 64 68 75 82 89 
a 5 12 19 25 31 38 43 49 58 64 69 75 82 89 
a 5 12 19 25 31 38 43 49 58 64 69 75 83 89 
a 5 12 19 25 31 38 43 49 58 64 69 75 83 90 
a 5 12 19 25 31 38 43 49 58 64 69 75 84 90 
a 5 12 19 25 31 38 43 49 58 64 69 75 84 91 
a 5 12 19 25 31 38 43 49 58 64 69 75 85 91 
a 5 12 19 25 31 38 43 49 58 64 69 76 85 91 
a 5 12 19 25 31 38 43 49 58 64 70 76 85 91 
a 5 12 19 25 31 38 43 49 58 64 70 77 85 91 
a 5 12 19 25 31 38 43 49 58 64 70 77 84 91 
a 5 12 19 25 31 38 43 49 58 64 70 77 84 90 
a 5 12 19 25 31 38 43 49 58 64 70 77 83 90 
a 5 12 19 25 31 38 43 49 58 64 70 77 83 89 
a 5 12 19 25 31 38 43 49 58 64 70 77 82 89 
a 5 12 19 25 31 38 43 49 58 64 70 77 82 88 
a 5 12 19 25 31 38 43 49 58 64 70 77 81 88 
a 5 12 19 25 31 38 43 49 58 64 70 77 81 87 
a 5 12 19 25 31 38 43 49 58 64 70 77 80 87 
a 5 12 19 25 31 38 43 49 58 64 70 77 80 86 
a 5 12 19 25 31 38 43 49 58 64 71 77 80 86 
a 5 12 19 25 31 38 43 49 58 64 71 77 79 86 
a 5 12 19 25 31 38 43 49 58 64 71 78 79 86 
a 5 12 19 25 31 38 43 49 58 64 72 78 79 86 
a 5 12 19 25 31 38 43 49 57 64 72 78 79 86 
a 5 12 19 25 31 38 43 49 57 63 72 78 79 86 
a 5 12 19 25 31 38 43 49 56 63 72 78 79 86 
a 5 12 19 25 31 38 43 49 56 62 72 78 79 86 
a 5 12 19 25 31 38 43 49 56 62 71 78 79 86 
a 5 12 19 25 31 38 43 49 56 62 71 77 79 86 
a 5 12 19 25 31 38 43 49 56 62 71 77 80 86 
a 5 12 19 25 31 38 43 49 56 62 71 77 80 87 
a 5 12 19 25 31 38 43 49 56 62 71 77 81 87 
a 5 12 19 25 31 38 43 49 56 62 71 77 81 88 
a 5 12 19 25 31 38 43 49 56 62 71 77 82 88 
a 5 12 19 25 31 38 43 49 56 62 71 77 82 89 
a 5 12 19 25 31 38 43 49 56 62 71 77 83 89 
a 5 12 19 25 31 38 43 49 56 62 70 77 83 89 
a 5 12 19 25 31 38 43 49 56 62 70 77 83 90 
a 5 12 19 25 31 38 43 49 56 62 70 77 84 90 
a 5 12 19 25 31 38 43 49 56 62 70 77 84 91 
a 5 12 19 25 31 38 43 49 56 62 70 77 85 91 
a 5 12 19 25 31 38 43 49 56 62 70 76 85 91 
a 5 12 19 25 31 38 43 49 56 62 69 76 85 91 
a 5 12 19 25 31 38 43 49 56 62 69 75 85 91 
a 5 12 19 25 31 38 43 49 56 62 69 75 84 91 
a 5 12 19 25 31 38 43 49 56 62 69 75 84 90 
a 5 12 19 25 31 38 43 49 56 62 69 75 83 90 
a 5 12 19 25 31 38 43 49 56 62 69 75 83 89 
a 5 12 19 25 31 38 43 49 56 62 69 75 82 89 
a 5 12 19 25 31 38 43 49 56 62 69 75 82 88 
a 5 12 19 25 31 38 43 49 56 62 69 75 81 88 
a 5 12 19 25 31 38 43 49 56 62 69 75 81 87 
a 5 12 19 25 31 38 43 49 56 62 69 75 80 87 
a 5 12 19 25 31 38 43 49 56 62 69 75 80 86 
a 5 12 19 25 31 38 43 49 56 62 68 75 80 86 
a 5 12 19 25 31 38 43 49 56 62 68 75 79 86 
a 5 12 19 25 31 38 43 49 56 62 68 74 79 86 
a 5 12 19 25 31 38 43 49 56 62 67 74 79 86 
a 5 12 19 25 31 38 43 49 56 62 67 73 79 86 
a 5 12 19 25 31 38 43 49 56 62 66 73 79 86 
a 5 12 19 25 31 38 43 49 55 62 66 73 79 86 
a 5 12 19 25 31 38 43 49 55 61 66 73 79 86 
a 5 12 19 25 31 38 43 49 54 61 66 73 79 86 
a 5 12 19 25 31 38 43 49 54 60 66 73 79 86 
a 5 12 19 25 31 38 42 49 54 60 66 73 79 86 
a 5 12 19 25 31 38 42 49 53 60 66 73 79 86 
a 5 12 19 25 31 38 42 48 53 60 66 73 79 86 
a 5 12 18 25 31 38 42 48 53 60 66 73 79 86 
a 5 12 18 25 31 38 41 48 53 60 66 73 79 86 
a 5 12 18 25 31 38 41 47 53 60 66 73 79 86 
a 5 12 18 25 31 38 40 47 53 60 66 73 79 86 
a 5 12 18 25 32 38 40 47 53 60 66 73 79 86 
a 5 12 18 25 32 39 40 47 53 60 66 73 79 86 
a 5 12 18 25 33 39 40 47 53 60 66 73 79 86 
a 5 12 18 24 33 39 40 47 53 60 66 73 79 86 
a 5 12 17 24 33 39 40 47 53 60 66 73 79 86 
a 5 12 17 23 33 39 40 47 53 60 66 73 79 86 
a 5 12 17 23 32 39 40 47 53 60 66 73 79 86 
a 5 12 17 23 32 38 40 47 53 60 66 73 79 86 
a 5 12 17 23 32 38 41 47 53 60 66 73 79 86 
a 5 12 17 23 32 38 41 48 53 60 66 73 79 86 
a 5 12 17 23 32 38 42 48 53 60 66 73 79 86 
a 5 12 17 23 32 38 42 49 53 60 66 73 79 86 
a 5 12 17 23 32 38 42 49 54 60 66 73 79 86 
a 5 12 17 23 32 38 42 49 54 61 66 73 79 86 
a 5 12 17 23 32 38 42 49 55 61 66 73 79 86 
a 5 12 17 23 32 38 42 49 55 62 66 73 79 86 
a 5 12 17 23 32 38 42 49 56 62 66 73 79 86 
a 5 12 17 23 32 38 42 49 56 62 67 73 79 86 
a 5 12 17 23 32 38 42 49 56 62 67 74 79 86 
a 5 12 17 23 32 38 42 49 56 62 68 74 79 86 
a 5 12 17 23 32 38 42 49 56 62 68 75 79 86 
a 5 12 17 23 32 38 42 49 56 62 68 75 80 86 
a 5 12 17 23 32 38 42 49 56 62 68 75 80 87 
a 5 12 17 23 32 38 42 49 56 62 68 75 81 87 
a 5 12 17 23 32 38 42 49 56 62 68 75 81 88 
a 5 12 17 23 32 38 42 49 56 62 68 75 82 88 
a 5 12 17 23 32 38 42 49 56 62 68 75 82 89 
a 5 12 17 23 32 38 42 49 56 62 68 75 83 89 
a 5 12 17 23 32 38 42 49 56 62 68 75 83 90 
a 5 12 17 23 32 38 42 49 56 62 68 75 84 90 
a 5 12 17 23 32 38 42 49 56 62 68 75 84 91 
a 5 12 17 23 32 38 42 49 56 62 68 75 85 91 
a 5 12 17 23 32 38 42 49 56 62 69 75 85 91 
a 5 12 17 23 32 38 42 49 56 62 69 76 85 91 
a 5 12 17 23 32 38 42 49 56 62 70 76 85 91 
a 5 12 17 23 32 38 42 49 56 62 70 77 85 91 
a 5 12 17 23 32 38 42 49 56 62 70 77 84 91 
a 5 12 17 23 32 38 42 49 56 62 70 77 84 90 
a 5 12 17 23 32 38 42 49 56 62 70 77 83 90 
a 5 12 17 23 32 38 42 49 56 62 70 77 83 89 
a 5 12 17 23 32 38 42 49 56 62 70 77 82 89 
a 5 12 17 23 32 38 42 49 56 62 70 77 82 88 
a 5 12 17 23 32 38 42 49 56 62 70 77 81 88 
a 5 12 17 23 32 38 42 49 56 62 70 77 81 87 
a 5 12 17 23 32 38 42 49 56 62 70 77 80 87 
a 5 12 17 23 32 38 42 49 56 62 70 77 80 86 
a 5 12 17 23 32 38 42 49 56 62 70 77 79 86 
a 5 12 17 23 32 38 42 49 56 62 71 77 79 86 
a 5 12 17 23 32 38 42 49 56 62 71 78 79 86 
a 5 12 17 23 32 38 42 49 56 62 72 78 79 86 
a 5 12 17 23 32 38 42 49 56 63 72 78 79 86 
a 5 12 17 23 32 38 42 49 57 63 72 78 79 86 
a 5 12 17 23 32 38 42 49 57 64 72 78 79 86 
a 5 12 17 23 32 38 42 49 58 64 72 78 79 86 
a 5 12 17 23 32 38 42 49 58 64 71 78 79 86 
a 5 12 17 23 32 38 42 49 58 64 71 77 79 86 
a 5 12 17 23 32 38 42 49 58 64 71 77 80 86 
a 5 12 17 23 32 38 42 49 58 64 71 77 80 87 
a 5 12 17 23 32 38 42 49 58 64 71 77 81 87 
a 5 12 17 23 32 38 42 49 58 64 71 77 81 88 
a 5 12 17 23 32 38 42 49 58 64 71 77 82 88 
a 5 12 17 23 32 38 42 49 58 64 71 77 82 89 
a 5 12 17 23 32 38 42 49 58 64 71 77 83 89 
a 5 12 17 23 32 38 42 49 58 64 71 77 83 90 
a 5 12 17 23 32 38 42 49 58 64 70 77 83 90 
a 5 12 17 23 32 38 42 49 58 64 70 77 84 90 
a 5 12 17 23 32 38 42 49 58 64 70 77 84 91 
a 5 12 17 23 32 38 42 49 58 64 70 77 85 91 
a 5 12 17 23 32 38 42 49 58 64 70 76 85 91 
a 5 12 17 23 32 38 42 49 58 64 69 76 85 91 
a 5 12 17 23 32 38 42 49 58 64 69 75 85 91 
a 5 12 17 23 32 38 42 49 58 64 69 75 84 91 
a 5 12 17 23 32 38 42 49 58 64 69 75 84 90 
a 5 12 17 23 32 38 42 49 58 64 69 75 83 90 
a 5 12 17 23 32 38 42 49 58 64 69 75 83 89 
a 5 12 17 23 32 38 42 49 58 64 69 75 82 89 
a 5 12 17 23 32 38 42 49 58 64 69 75 82 88 
a 5 12 17 23 32 38 42 49 58 64 68 75 82 88 
a 5 12 17 23 32 38 42 49 58 64 68 75 81 88 
a 5 12 17 23 32 38 42 49 58 64 68 75 81 87 
a 5 12 17 23 32 38 42 49 58 64 68 75 80 87 
a 5 12 17 23 32 38 42 49 58 64 68 75 80 86 
a 5 12 17 23 32 38 42 49 58 64 68 75 79 86 
a 5 12 17 23 32 38 42 49 58 64 68 74 79 86 
a 5 12 17 23 32 38 42 49 58 64 67 74 79 86 
a 5 12 17 23 32 38 42 49 58 64 67 73 79 86 
a 5 12 17 23 32 38 42 49 58 64 66 73 79 86 
a 5 12 17 23 32 38 42 49 58 65 66 73 79 86 
a 5 12 17 23 32 38 43 49 58 65 66 73 79 86 
a 5 12 17 23 32 38 43 49 59 65 66 73 79 86 
a 5 12 17 23 32 38 43 50 59 65 66 73 79 86 
a 5 12 17 23 32 38 44 50 59 65 66 73 79 86 
a 5 12 17 23 32 38 44 51 59 65 66 73 79 86 
a 5 12 17 23 32 38 44 51 58 65 66 73 79 86 
a 5 12 17 23 32 38 44 51 58 64 66 73 79 86 
a 5 12 17 23 32 38 44 51 58 64 67 73 79 86 
a 5 12 17 23 32 38 44 51 58 64 67 74 79 86 
a 5 12 17 23 32 38 44 51 58 64 68 74 79 86 
a 5 12 17 23 32 38 44 51 58 64 68 75 79 86 
a 5 12 17 23 32 38 44 51 58 64 68 75 80 86 
a 5 12 17 23 32 38 44 51 58 64 68 75 80 87 
a 5 12 17 23 32 38 44 51 58 64 68 75 81 87 
a 5 12 17 23 32 38 44 51 58 64 68 75 81 88 
a 5 12 17 23 32 38 44 51 58 64 68 75 82 88 
a 5 12 17 23 32 38 44 51 58 64 68 75 82 89 
a 5 12 17 23 32 38 44 51 58 64 68 75 83 89 
a 5 12 17 23 32 38 44 51 58 64 68 75 83 90 
a 5 12 17 23 32 38 44 51 58 64 68 75 84 90 
a 5 12 17 23 32 38 44 51 58 64 69 75 84 90 
a 5 12 17 23 32 38 44 51 58 64 69 75 84 91 
a 5 12 17 23 32 38 44 51 58 64 69 75 85 91 
a 5 12 17 23 32 38 44 51 58 64 69 76 85 91 
a 5 12 17 23 32 38 44 51 58 64 70 76 85 91 
a 5 12 17 23 32 38 44 51 58 64 70 77 85 91 
a 5 12 17 23 32 38 44 51 58 64 70 77 84 91 
a 5 12 17 23 32 38 44 51 58 64 70 77 84 90 
a 5 12 17 23 32 38 44 51 58 64 70 77 83 90 
a 5 12 17 23 32 38 44 51 58 64 70 77 83 89 
a 5 12 17 23 32 38 44 51 58 64 70 77 82 89 
a 5 12 17 23 32 38 44 51 58 64 70 77 82 88 
a 5 12 17 23 32 38 44 51 58 64 70 77 81 88 
a 5 12 17 23 32 38 44 51 58 64 70 77 81 87 
a 5 12 17 23 32 38 44 51 58 64 70 77 80 87 
a 5 12 17 23 32 38 44 51 58 64 70 77 80 86 
a 5 12 17 23 32 38 44 51 58 64 70 77 79 86 
a 5 12 17 23 32 38 44 51 58 64 71 77 79 86 
a 5 12 17 23 32 38 44 51 58 64 71 78 79 86 
a 5 12 17 23 32 38 44 51 58 64 72 78 79 86 
a 5 12 17 23 32 38 44 51 57 64 72 78 79 86 
a 5 12 17 23 32 38 44 51 57 63 72 78 79 86 
a 5 12 17 23 32 38 44 51 56 63 72 78 79 86 
a 5 12 17 23 32 38 44 51 56 62 72 78 79 86 
a 5 12 17 23 32 38 44 51 56 62 71 78 79 86 
a 5 12 17 23 32 38 44 51 56 62 71 77 79 86 
a 5 12 17 23 32 38 44 51 56 62 71 77 80 86 
a 5 12 17 23 32 38 44 51 56 62 71 77 80 87 
a 5 12 17 23 32 38 44 51 56 62 71 77 81 87 
a 5 12 17 23 32 38 44 51 56 62 71 77 81 88 
a 5 12 17 23 32 38 44 51 56 62 71 77 82 88 
a 5 12 17 23 32 38 44 51 56 62 71 77 82 89 
a 5 12 17 23 32 38 44 51 56 62 71 77 83 89 
a 5 12 17 23 32 38 44 51 56 62 71 77 83 90 
a 5 12 17 23 32 38 44 51 56 62 70 77 83 90 
a 5 12 17 23 32 38 44 51 56 62 70 77 84 90 
a 5 12 17 23 32 38 44 51 56 62 70 77 84 91 
a 5 12 17 23 32 38 44 51 56 62 70 77 85 91 
a 5 12 17 23 32 38 44 51 56 62 70 76 85 91 
a 5 12 17 23 32 38 44 51 56 62 69 76 85 91 
a 5 12 17 23 32 38 44 51 56 62 69 75 85 91 
a 5 12 17 23 32 38 44 51 56 62 69 75 84 91 
a 5 12 17 23 32 38 44 51 56 62 69 75 84 90 
a 5 12 17 23 32 38 44 51 56 62 69 75 83 90 
a 5 12 17 23 32 38 44 51 56 62 69 75 83 89 
a 5 12 17 23 32 38 44 51 56 62 69 75 82 89 
a 5 12 17 23 32 38 44 51 56 62 69 75 82 88 
a 5 12 17 23 32 38 44 51 56 62 69 75 81 88 
a 5 12 17 23 32 38 44 51 56 62 68 75 81 88 
a 5 12 17 23 32 38 44 51 56 62 68 75 81 87 
a 5 12 17 23 32 38 44 51 56 62 68 75 80 87 
a 5 12 17 23 32 38 44 51 56 62 68 75 80 86 
a 5 12 17 23 32 38 44 51 56 62 68 75 79 86 
a 5 12 17 23 32 38 44 51 56 62 68 74 79 86 
a 5 12 17 23 32 38 44 51 56 62 67 74 79 86 
a 5 12 17 23 32 38 44 51 56 62 67 73 79 86 
a 5 12 17 23 32 38 44 51 56 62 66 73 79 86 
a 5 12 17 23 32 38 44 51 55 62 66 73 79 86 
a 5 12 17 23 32 38 44 51 55 61 66 73 79 86 
a 5 12 17 23 32 38 44 51 54 61 66 73 79 86 
a 5 12 17 23 32 38 44 51 54 60 66 73 79 86 
a 5 12 17 23 32 38 45 51 54 60 66 73 79 86 
a 5 12 17 23 32 38 45 51 53 60 66 73 79 86 
a 5 12 17 23 32 38 45 52 53 60 66 73 79 86 
a 5 12 17 23 32 38 46 52 53 60 66 73 79 86 
a 5 12 17 23 31 38 46 52 53 60 66 73 79 86 
a 5 12 17 23 31 37 46 52 53 60 66 73 79 86 
a 5 12 17 23 30 37 46 52 53 60 66 73 79 86 
a 5 12 17 23 30 36 46 52 53 60 66 73 79 86 
a 5 12 17 23 30 36 45 52 53 60 66 73 79 86 
a 5 12 17 23 30 36 45 51 53 60 66 73 79 86 
a 5 12 17 23 30 36 45 51 54 60 66 73 79 86 
a 5 12 17 23 30 36 45 51 54 61 66 73 79 86 
a 5 12 17 23 30 36 45 51 55 61 66 73 79 86 
a 5 12 17 23 30 36 45 51 55 62 66 73 79 86 
a 5 12 17 23 30 36 45 51 56 62 66 73 79 86 
a 5 12 17 23 30 36 45 51 56 62 67 73 79 86 
a 5 12 17 23 30 36 45 51 56 62 67 74 79 86 
a 5 12 17 23 30 36 45 51 56 62 68 74 79 86 
a 5 12 17 23 30 36 45 51 56 62 68 75 79 86 
a 5 12 17 23 30 36 45 51 56 62 68 75 80 86 
a 5 12 17 23 30 36 45 51 56 62 68 75 80 87 
a 5 12 17 23 30 36 45 51 56 62 68 75 81 87 
a 5 12 17 23 30 36 45 51 56 62 68 75 81 88 
a 5 12 17 23 30 36 45 51 56 62 68 75 82 88 
a 5 12 17 23 30 36 45 51 56 62 68 75 82 89 
a 5 12 17 23 30 36 45 51 56 62 68 75 83 89 
a 5 12 17 23 30 36 45 51 56 62 68 75 83 90 
a 5 12 17 23 30 36 45 51 56 62 68 75 84 90 
a 5 12 17 23 30 36 45 51 56 62 69 75 84 90 
a 5 12 17 23 30 36 45 51 56 62 69 75 84 91 
a 5 12 17 23 30 36 45 51 56 62 69 75 85 91 
a 5 12 17 23 30 36 45 51 56 62 69 76 85 91 
a 5 12 17 23 30 36 45 51 56 62 70 76 85 91 
a 5 12 17 23 30 36 45 51 56 62 70 77 85 91 
a 5 12 17 23 30 36 45 51 56 62 70 77 84 91 
a 5 12 17 23 30 36 45 51 56 62 70 77 84 90 
a 5 12 17 23 30 36 45 51 56 62 70 77 83 90 
a 5 12 17 23 30 36 45 51 56 62 70 77 83 89 
a 5 12 17 23 30 36 45 51 56 62 70 77 82 89 
a 5 12 17 23 30 36 45 51 56 62 70 77 82 88 
a 5 12 17 23 30 36 45 51 56 62 70 77 81 88 
a 5 12 17 23 30 36 45 51 56 62 70 77 81 87 
a 5 12 17 23 30 36 45 51 56 62 70 77 80 87 
a 5 12 17 23 30 36 45 51 56 62 70 77 80 86 
a 5 12 17 23 30 36 45 51 56 62 70 77 79 86 
a 5 12 17 23 30 36 45 51 56 62 71 77 79 86 
a 5 12 17 23 30 36 45 51 56 62 71 78 79 86 
a 5 12 17 23 30 36 45 51 56 62 72 78 79 86 
a 5 12 17 23 30 36 45 51 56 63 72 78 79 86 
a 5 12 17 23 30 36 45 51 57 63 72 78 79 86 
a 5 12 17 23 30 36 45 51 57 64 72 78 79 86 
a 5 12 17 23 30 36 45 51 57 64 71 78 79 86 
a 5 12 17 23 30 36 45 51 58 64 71 78 79 86 
a 5 12 17 23 30 36 45 51 58 64 71 77 79 86 
a 5 12 17 23 30 36 44 51 58 64 71 77 79 86 
a 5 12 17 23 30 36 44 51 58 64 71 77 80 86 
a 5 12 17 23 30 36 44 51 58 64 71 77 80 87 
a 5 12 17 23 30 36 44 51 58 64 71 77 81 87 
a 5 12 17 23 30 36 44 51 58 64 71 77 81 88 
a 5 12 17 23 30 36 44 51 58 64 71 77 82 88 
a 5 12 17 23 30 36 44 51 58 64 71 77 82 89 
a 5 12 17 23 30 36 44 51 58 64 71 77 83 89 
a 5 12 17 23 30 36 44 51 58 64 71 77 83 90 
a 5 12 17 23 30 36 44 51 58 64 70 77 83 90 
a 5 12 17 23 30 36 44 51 58 64 70 77 84 90 
a 5 12 17 23 30 36 44 51 58 64 70 77 84 91 
a 5 12 17 23 30 36 44 51 58 64 70 77 85 91 
a 5 12 17 23 30 36 44 51 58 64 70 76 85 91 
a 5 12 17 23 30 36 44 51 58 64 69 76 85 91 
a 5 12 17 23 30 36 44 51 58 64 69 75 85 91 
a 5 12 17 23 30 36 44 51 58 64 69 75 84 91 
a 5 12 17 23 30 36 44 51 58 64 69 75 84 90 
a 5 12 17 23 30 36 44 51 58 64 69 75 83 90 
a 5 12 17 23 30 36 44 51 58 64 69 75 83 89 
a 5 12 17 23 30 36 44 51 58 64 69 75 82 89 
a 5 12 17 23 30 36 44 51 58 64 69 75 82 88 
a 5 12 17 23 30 36 44 51 58 64 69 75 81 88 
a 5 12 17 23 30 36 44 51 58 64 69 75 81 87 
a 5 12 17 23 30 36 44 51 58 64 69 75 80 87 
a 5 12 17 23 30 36 44 51 58 64 69 75 80 86 
a 5 12 17 23 30 36 44 51 58 64 69 75 79 86 
a 5 12 17 23 30 36 44 51 58 64 68 75 79 86 
a 5 12 17 23 30 36 44 51 58 64 68 74 79 86 
a 5 12 17 23 30 36 44 51 58 64 67 74 79 86 
a 5 12 17 23 30 36 44 51 58 64 67 73 79 86 
a 5 12 17 23 30 36 44 51 58 64 66 73 79 86 
a 5 12 17 23 30 36 44 51 58 65 66 73 79 86 
a 5 12 17 23 30 36 44 51 59 65 66 73 79 86 
a 5 12 17 23 30 36 44 50 59 65 66 73 79 86 
a 5 12 17 23 30 36 43 50 59 65 66 73 79 86 
a 5 12 17 23 30 36 43 49 59 65 66 73 79 86 
a 5 12 17 23 30 36 43 49 58 65 66 73 79 86 
a 5 12 17 23 30 36 43 49 58 64 66 73 79 86 
a 5 12 17 23 30 36 43 49 58 64 67 73 79 86 
a 5 12 17 23 30 36 43 49 58 64 67 74 79 86 
a 5 12 17 23 30 36 43 49 58 64 68 74 79 86 
a 5 12 17 23 30 36 43 49 58 64 68 75 79 86 
a 5 12 17 23 30 36 43 49 58 64 68 75 80 86 
a 5 12 17 23 30 36 43 49 58 64 68 75 80 87 
a 5 12 17 23 30 36 43 49 58 64 68 75 81 87 
a 5 12 17 23 30 36 43 49 58 64 68 75 81 88 
a 5 12 17 23 30 36 43 49 58 64 68 75 82 88 
a 5 12 17 23 30 36 43 49 58 64 68 75 82 89 
a 5 12 17 23 30 36 43 49 58 64 68 75 83 89 
a 5 12 17 23 30 36 43 49 58 64 68 75 83 90 
a 5 12 17 23 30 36 43 49 58 64 68 75 84 90 
a 5 12 17 23 30 36 43 49 58 64 69 75 84 90 
a 5 12 17 23 30 36 43 49 58 64 69 75 84 91 
a 5 12 17 23 30 36 43 49 58 64 69 75 85 91 
a 5 12 17 23 30 36 43 49 58 64 69 76 85 91 
a 5 12 17 23 30 36 43 49 58 64 70 76 85 91 
a 5 12 17 23 30 36 43 49 58 64 70 77 85 91 
a 5 12 17 23 30 36 43 49 58 64 70 77 84 91 
a 5 12 17 23 30 36 43 49 58 64 70 77 84 90 
a 5 12 17 23 30 36 43 49 58 64 70 77 83 90 
a 5 12 17 23 30 36 43 49 58 64 70 77 83 89 
a 5 12 17 23 30 36 43 49 58 64 70 77 82 89 
a 5 12 17 23 30 36 43 49 58 64 70 77 82 88 
a 5 12 17 23 30 36 43 49 58 64 70 77 81 88 
a 5 12 17 23 30 36 43 49 58 64 70 77 81 87 
a 5 12 17 23 30 36 43 49 58 64 70 77 80 87 
a 5 12 17 23 30 36 43 49 58 64 70 77 80 86 
a 5 12 17 23 30 36 43 49 58 64 70 77 79 86 
a 5 12 17 23 30 36 43 49 58 64 71 77 79 86 
a 5 12 17 23 30 36 43 49 58 64 71 78 79 86 
a 5 12 17 23 30 36 43 49 58 64 72 78 79 86 
a 5 12 17 23 30 36 43 49 57 64 72 78 79 86 
a 5 12 17 23 30 36 43 49 57 63 72 78 79 86 
a 5 12 17 23 30 36 43 49 56 63 72 78 79 86 
a 5 12 17 23 30 36 43 49 56 62 72 78 79 86 
a 5 12 17 23 30 36 43 49 56 62 71 78 79 86 
a 5 12 17 23 30 36 43 49 56 62 71 77 79 86 
a 5 12 17 23 30 36 43 49 56 62 71 77 80 86 
a 5 12 17 23 30 36 43 49 56 62 71 77 80 87 
a 5 12 17 23 30 36 43 49 56 62 71 77 81 87 
a 5 12 17 23 30 36 43 49 56 62 71 77 81 88 
a 5 12 17 23 30 36 43 49 56 62 71 77 82 88 
a 5 12 17 23 30 36 43 49 56 62 71 77 82 89 
a 5 12 17 23 30 36 43 49 56 62 71 77 83 89 
a 5 12 17 23 30 36 43 49 56 62 71 77 83 90 
a 5 12 17 23 30 36 43 49 56 62 70 77 83 90 
a 5 12 17 23 30 36 43 49 56 62 70 77 84 90 
a 5 12 17 23 30 36 43 49 56 62 70 77 84 91 
a 5 12 17 23 30 36 43 49 56 62 70 77 85 91 
a 5 12 17 23 30 36 43 49 56 62 70 76 85 91 
a 5 12 17 23 30 36 43 49 56 62 69 76 85 91 
a 5 12 17 23 30 36 43 49 56 62 69 75 85 91 
a 5 12 17 23 30 36 43 49 56 62 69 75 84 91 
a 5 12 17 23 30 36 43 49 56 62 69 75 84 90 
a 5 12 17 23 30 36 43 49 56 62 69 75 83 90 
a 5 12 17 23 30 36 43 49 56 62 69 75 83 89 
a 5 12 17 23 30 36 43 49 56 62 69 75 82 89 
a 5 12 17 23 30 36 43 49 56 62 69 75 82 88 
a 5 12 17 23 30 36 43 49 56 62 69 75 81 88 
a 5 12 17 23 30 36 43 49 56 62 68 75 81 88 
a 5 12 17 23 30 36 43 49 56 62 68 75 81 87 
a 5 12 17 23 30 36 43 49 56 62 68 75 80 87 
a 5 12 17 23 30 36 43 49 56 62 68 75 80 86 
a 5 12 17 23 30 36 43 49 56 62 68 75 79 86 
a 5 12 17 23 30 36 43 49 56 62 68 74 79 86 
a 5 12 17 23 30 36 43 49 56 62 67 74 79 86 
a 5 12 17 23 30 36 43 49 56 62 67 73 79 86 
a 5 12 17 23 30 36 43 49 56 62 66 73 79 86 
a 5 12 17 23 30 36 43 49 55 62 66 73 79 86 
a 5 12 17 23 30 36 43 49 55 61 66 73 79 86 
a 5 12 17 23 30 36 43 49 54 61 66 73 79 86 
a 5 12 17 23 30 36 43 49 54 60 66 73 79 86 
a 5 12 17 23 30 36 42 49 54 60 66 73 79 86 
a 5 12 17 23 30 36 42 49 53 60 66 73 79 86 
a 5 12 17 23 30 36 42 48 53 60 66 73 79 86 
a 5 12 17 23 30 36 41 48 53 60 66 73 79 86 
a 5 12 17 23 30 36 41 47 53 60 66 73 79 86 
a 5 12 17 23 30 36 40 47 53 60 66 73 79 86 
a 5 12 17 23 29 36 40 47 53 60 66 73 79 86 
a 5 12 17 23 29 35 40 47 53 60 66 73 79 86 
a 5 12 17 23 28 35 40 47 53 60 66 73 79 86 
a 5 12 17 23 28 34 40 47 53 60 66 73 79 86 
a 5 12 16 23 28 34 40 47 53 60 66 73 79 86 
a 5 12 16 23 27 34 40 47 53 60 66 73 79 86 
a 5 12 16 22 27 34 40 47 53 60 66 73 79 86 
a 5 12 15 22 27 34 40 47 53 60 66 73 79 86 
a 5 12 15 21 27 34 40 47 53 60 66 73 79 86 
a 5 12 14 21 27 34 40 47 53 60 66 73 79 86 
a 6 12 14 21 27 34 40 47 53 60 66 73 79 86 
a 6 13 14 21 27 34 40 47 53 60 66 73 79 86 
a 7 13 14 21 27 34 40 47 53 60 66 73 79 86 
c Length: 1397
	Command being timed: "src/recon_th benchmark/sp/sp007.col benchmark/sp/sp007_01.dat"
	User time (seconds): 3.48
	System time (seconds): 0.05
	Percent of CPU this job got: 199%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.77
	Average shared text size (kbytes): 0
	Average unshared data size (kbytes): 0
	Average stack size (kbytes): 0
	Average total size (kbytes): 0
	Maximum resident set size (kbytes): 269608
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 67034
	Voluntary context switches: 7
	Involuntary context switches: 42
	Swaps: 0
	File system inputs: 24
	File system outputs: 0
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0