4 O 2 4 3 (3,0,3,2) (2,1,1,0) [1,1,1] time=0.0s
7 O 7 4 3 (2,6,4,2) (3,6,1,0) None time=0.0s
8 O 2 8 6 (1,0,5,1) (1,7,2,4) [1,1,0,1] time=0.0s
13 O 7 32 29 (11,2,6,0) (6,12,2,2) None time=0.0s
17 O 6 64 39 (8,3,15,10) (14,5,7,5) None time=0.0s
23 O 5 16 2 (6,0,12,4) (15,18,4,11) None time=0.0s
27 O 4 64 33 (11,3,21,10) (23,15,22,6) [1,2,0,1] time=0.0s
32 O 1 128 124 (23,15,22,28) (19,23,6,11) [1,0,1,0,0,1] time=0.0s
37 O 1 256 184 (30,22,10,16) (23,26,21,27) None time=0.0s
43 O 1 256 168 (39,35,6,1) (3,26,20,16) None time=0.0s
47 O 1 128 87 (9,10,6,12) (1,19,1,20) None time=0.0s
128 O 2 1024 297 (57,70,119,61) (21,69,40,89) [1,1,0,0,0,0,0,1] time=0.0s
243 O 1 4096 3248 (68,203,194,215) (224,111,126,50) [1,2,0,0,0,1] time=0.1s
2048 O 2 131072 23418 (1989,260,33,1459) (135,985,1306,2001) [1,0,1,0,0,0,0,0,0,0,0,1] time=2.0s
2187 O 1 65536 35643 (1073,54,1100,422) (1520,2036,1660,922) [1,2,1,0,0,0,0,1] time=5.3s
9677 O 1 1048576 623929 (6203,4995,7115,9564) (334,2404,6169,5723) None time=9.2s
9973 O 1 1048576 528566 (6941,4093,7395,5753) (7512,8022,8191,4054) None time=8.6s
73 O 1 512 3 (42,62,7,26) (3,68,53,58) None time=0.0s
277 O 2 4096 2279 (158,167,24,234) (159,262,264,219) None time=0.0s
283 O 1 4096 1111 (3,181,205,11) (159,117,28,163) None time=0.0s
547 O 1 8192 2237 (92,445,394,21) (333,116,175,332) None time=0.1s
607 O 1 16384 657 (29,308,384,248) (467,241,134,398) None time=0.1s
643 O 1 32768 24975 (426,317,528,328) (143,550,129,60) None time=0.4s
733 O 1 4096 3190 (536,618,188,13) (60,479,632,0) None time=0.0s
857 O 1 16384 8211 (800,24,512,40) (437,341,155,421) None time=0.2s
877 O 1 32768 758 (468,867,45,728) (125,625,828,190) None time=0.2s
977 O 1 32768 31752 (589,758,99,771) (239,826,639,467) None time=0.4s
1087 O 1 32768 16619 (383,82,382,306) (255,923,335,603) None time=0.3s
1373 O 1 16384 4653 (784,845,784,500) (418,1121,1031,1254) None time=0.1s
1433 O 1 65536 49002 (1299,282,365,590) (141,617,100,712) None time=0.7s
1453 O 1 65536 1128 (153,562,862,1153) (1084,183,920,1296) None time=0.4s
1567 O 1 131072 10300 (93,767,0,337) (1003,1171,501,938) None time=0.8s
2137 O 1 131072 34517 (745,165,462,1614) (1185,170,127,1717) None time=0.9s
2203 O 1 131072 115160 (648,1439,1972,1962) (639,1265,1025,1743) None time=1.4s
2243 O 1 65536 58125 (735,1590,338,130) (51,1738,1592,157) None time=0.7s
2467 O 1 65536 31158 (986,2103,1019,1698) (2288,1650,1434,164) None time=0.6s
2957 O 1 65536 6476 (201,2208,550,1290) (2322,1028,823,2393) None time=0.4s
3163 O 1 131072 123136 (2577,1773,1097,2370) (2036,2019,2037,1672) None time=1.4s
3217 O 1 65536 42337 (2747,745,493,300) (3091,865,239,2189) None time=0.6s
4073 O 1 65536 14141 (3323,1503,3817,84) (3288,545,2773,2236) None time=0.4s
4157 O 1 131072 96021 (1431,1302,2291,2802) (3556,3409,605,1915) None time=1.3s
4733 O 1 131072 82963 (4377,4072,3127,621) (1991,3135,635,4259) None time=1.2s
4933 O 1 524288 76004 (498,782,278,3537) (4210,3831,2673,806) None time=3.3s
5827 O 1 524288 350449 (4594,4007,4951,4085) (181,5199,4046,288) None time=4.8s
6317 O 1 524288 47504 (3492,5719,107,4875) (1390,4949,3777,941) None time=3.1s
6607 O 1 524288 358406 (5984,6204,3831,4631) (129,6333,2973,702) None time=4.7s
6673 O 1 524288 297497 (5824,4574,1136,1606) (6139,202,235,1923) None time=4.4s
7127 O 1 262144 221849 (1327,5685,4796,4445) (967,1031,3926,1820) None time=2.6s
7867 O 1 524288 52626 (3241,2505,2237,3132) (3472,2097,1971,3846) None time=3.1s
7907 O 1 524288 494021 (1516,992,2619,6580) (5577,6987,6027,1304) None time=5.5s
7937 O 1 524288 302213 (469,1522,4208,1048) (3264,3098,4842,6918) None time=4.4s
8192 O 1 131072 25040 (5554,7331,4283,3847) (2244,870,7362,150) [1,1,0,1,1,0,0,0,0,0,0,0,0,1] time=1.8s
8287 O 1 1048576 731055 (5580,948,3893,1649) (7653,5072,3722,5398) None time=9.6s
8423 O 1 1048576 530074 (1219,2697,4963,5045) (3940,8023,3725,2215) None time=8.5s
8713 O 1 1048576 543452 (3239,6754,4480,5686) (3693,2104,3562,786) None time=8.6s
8753 O 1 1048576 448634 (8712,5392,50,8582) (1212,2747,2458,7196) None time=8.1s
9767 O 1 2097152 544856 (7097,6789,3854,2422) (4728,3628,6974,4081) None time=14.1s
