# crep size nodes(depth<=2) depth3nodes attempts tries ; K=1 ori=0
34 120 2487990 2482252 68643360 25117361
94 120 3126206 3120197 71763960 27146865
422 120 4452414 4446155 76220520 30323447
210 120 4533436 4527177 76220280 30388194
287 120 5021076 5014250 82969200 34331432
828 120 6197365 6190162 90970200 42440367
653 24 6665050 6657236 98625840 45386340
1106 120 6680270 6672456 98626080 45317951
684 120 6683802 6676640 90653280 36338332
671 120 6709236 6702074 90653280 36375457
1307 120 6716922 6708701 106250040 52195699
1004 120 6936868 6929108 98075760 40005667
394 120 7291919 7284710 91351080 37627049
1035 120 7350401 7342231 105696000 51405537
856 120 7600261 7592598 97106760 40159104
523 60 7620787 7613124 97106520 40191394
1494 60 9971482 9963427 104162280 54485584
1772 60 10884758 10876519 106355880 56118426
1466 12 11112258 11104071 105984600 49747556
1243 120 11601800 11593581 106319400 49551382
1529 120 11674140 11665725 108736680 49523985
1236 120 11695278 11686787 111767160 55916132
1012 24 11783155 11774936 106196280 48410534
1042 120 11952775 11944360 108736680 49509671
2024 120 12906190 12897806 110423280 51758277
1729 60 12913448 12904213 121484520 59676591
1867 60 13467612 13458079 125295960 62837929
1759 120 13526729 13518162 112697400 53824437
2351 120 13992596 13984037 112408680 59853380
1496 120 14179195 14170808 110535000 52546291
2064 120 14354712 14346086 113288160 60691004
2454 120 14455312 14445759 125707800 59278871
1982 120 14826383 14816883 124976880 59095485
2419 120 14848388 14838794 125919360 68738124
2167 120 14878234 14868749 124722600 59297326
2132 120 14880949 14871464 124722600 59317885
2037 60 15218966 15210515 108885000 53247212
1829 120 15448736 15440125 113245800 60960386
1737 60 15699918 15691643 106881480 53179299
2798 120 16213689 16204212 124549560 65875128
2670 40 17436546 17427981 112480440 57798597
3406 20 17677768 17669323 110964600 57226809
3420 60 17685354 17676997 109905720 56332840
2361 60 17901935 17893408 112114440 58241081
3470 12 18404909 18396538 109592040 59504373
3820 60 19016584 19008253 109270440 59032795
5101 24 19016861 19008595 108493440 57508647
3045 60 19050066 19041541 112011000 58591262
2716 120 19553332 19544915 110690040 57801965
4231 24 19791187 19782996 107393640 57756752
2763 120 19872991 19863338 126853080 64897257
3838 60 20035207 20025410 128693880 65477373
3057 120 20255072 20245480 125984880 66334156
2728 120 20461208 20451555 126853080 65271803
3832 60 20581399 20571602 128693880 65681393
3474 60 21018977 21009446 125247720 65444851
3507 60 21586679 21577148 125247720 65530001
3127 120 21729228 21719593 126652200 66181705
3121 120 22024818 22015183 126652200 66422295
5635 24 22736928 22727186 127890240 67074902
4428 60 22989614 22979897 127471800 68080521
4216 12 23303075 23292868 133508040 73417968
4820 24 24240347 24230845 124777440 67990783
4252 60 25480236 25470233 134529000 73899128
3873 60 25920227 25910160 135412680 75476834
4246 60 26772527 26762524 134529000 74029212
5113 120 26906937 26896914 134702520 73796123
4681 120 27092071 27081973 135848880 75356531
5575 120 27303455 27293320 136225560 75193634
14399 1 27311472 27300871 141998040 77013398
4691 120 27405794 27395705 135584520 74817963
4862 60 27466190 27455901 138120120 75690705
5585 120 27501099 27490964 136225560 75169905
5163 120 27537933 27527802 136173000 75044732
6097 120 27877477 27867248 137428680 75608230
4643 60 28141397 28131134 137778600 75487194
3908 60 28196363 28186296 135412680 76567155
3910 120 28375902 28365705 137018040 76206627
4675 120 28421583 28411494 135584520 75281314
4328 120 28433743 28423614 136214040 75597508
3503 120 28581587 28571526 135298200 75373226
5040 120 28612936 28602645 138173640 76391427
4283 120 28625187 28615106 135512760 74723678
5720 120 28672412 28662123 138224280 77447412
4299 120 28786348 28776259 135640200 75457755
5265 120 28795302 28785022 138021600 75697012
14275 12 29085649 29075084 141505560 77538299
13491 15 30939498 30929097 139420440 77712515
13588 24 30963040 30952516 140972640 77869641
13788 12 31907980 31897649 138519240 77611985
13926 20 32148097 32137538 141415560 78879474
13568 20 32197759 32187301 140176080 78691615
13658 12 32858948 32848389 141452040 79026430
12689 60 32954678 32944255 139634280 78255366
12952 60 33473480 33463149 138521160 78174520
13186 24 33787955 33777426 141033960 79120445
13287 15 33822565 33812018 141314760 79658208
10596 12 34749403 34739202 136600440 77683734
13476 12 34900511 34889925 141854640 80672548
11382 40 35020911 35010504 139372200 78921665
12133 120 35447332 35436903 139764600 79259759
13173 1 35793069 35782418 142728840 82268503
11006 60 35952240 35941923 138288600 79177290
12731 12 36172296 36161741 141421320 80441009
10611 60 36255275 36244966 138105720 78867211
12408 60 36266814 36256381 139859640 80264085
11151 120 36298727 36288372 138912840 79568340
11035 12 36332654 36322543 135862440 78874541
9743 120 36557270 36546897 139142520 80315268
6625 120 36745511 36735258 137692920 81470754
6967 60 36834464 36824401 134957880 79645860
6904 20 36851794 36841429 139042680 81826800
11768 120 36858549 36848213 138688560 79760940
9761 24 36992678 36982356 138346800 79979550
6036 120 37092242 37082206 134736240 80113580
5779 120 37188018 37177744 137945040 82352564
8939 120 37262541 37252313 137241600 80134778
5549 60 37395052 37384751 138241560 82285329
8475 60 37397213 37386934 137923800 80832623
11410 60 37403108 37392765 138769800 79848810
10651 20 37409683 37399228 140095560 80948119
7987 120 37500625 37490447 136557840 79423252
6570 120 37515275 37505109 136569840 81513531
11450 120 37542833 37532387 140108640 80454281
6514 60 37725374 37715269 135814200 81397070
8479 120 37852698 37842402 138228720 81446411
6199 120 37891877 37881612 137871720 82518159
10718 120 37972201 37961777 139821360 80514034
10213 60 38016787 38006533 137637360 80477399
9962 120 38028793 38018350 140073000 81028348
7143 60 38045543 38035206 138785880 82423868
9375 120 38115802 38105465 138644280 80193566
10309 24 38170743 38160412 138730440 81298656
6662 60 38211512 38201192 138536640 82418228
5965 40 38291521 38281172 138916440 84489821
7055 120 38381326 38371096 137447520 82303019
7486 120 38485955 38475720 137506440 82471597
6192 60 38533750 38523589 136493880 82251714
8002 120 38572406 38562161 137664120 81465674
9302 60 38600678 38590405 137912280 80680082
8469 120 38608983 38598687 138228720 80965315
7099 120 38683864 38673634 137447520 81810386
8929 120 38828232 38817983 137538600 80405015
9336 120 38864926 38854593 138650280 81569573
8874 24 38904363 38893989 139170720 81367723
6669 60 38964992 38954603 139507800 85225376
10347 120 39009500 38999026 140475360 81904796
7044 120 39089234 39079000 137515920 81932664
11073 60 39102994 39092441 141496440 82869502
9772 120 39275251 39264877 139137360 80976391
7475 120 39354360 39344090 137953200 82554616
9527 24 39692257 39681901 138937440 82702271
7574 120 39811018 39800716 138390480 83665496
8046 120 40253756 40243466 138164400 81606282
