#test : recrewrite
64 4 2115
64 8 2034
64 16 2645
64 32 2514
64 64 1516
128 4 5286
128 8 5285
128 16 5289
128 32 5290
128 64 4239
128 128 4262
256 4 10570
256 8 8473
256 16 8470
256 32 10576
256 64 8480
256 128 3495
256 256 3293
512 4 21112
512 8 21115
512 16 16942
512 32 21165
512 64 16977
512 128 17038
512 256 6588
512 512 6155
1024 4 42206
1024 8 42239
1024 16 28286
1024 32 32567
1024 64 33907
1024 128 34085
1024 256 14278
1024 512 12305
1024 1024 10225
2048 4 84551
2048 8 67816
2048 16 67778
2048 32 67965
2048 64 67872
2048 128 28441
2048 256 28559
2048 512 42209
2048 1024 19296
2048 2048 22241
4096 4 135440
4096 8 169088
4096 16 169025
4096 32 135647
4096 64 135786
4096 128 136237
4096 256 48924
4096 512 45941
4096 1024 62612
4096 2048 30552
4096 4096 22280
8192 4 271140
8192 8 270997
8192 16 271241
8192 32 226473
8192 64 194021
8192 128 113822
8192 256 194036
8192 512 125561
8192 1024 73056
8192 2048 56105
8192 4096 49331
8192 8192 29499
16384 4 452859
16384 8 452645
16384 16 452745
16384 32 543632
16384 64 452845
16384 128 210153
16384 256 161148
16384 512 144784
16384 1024 125941
16384 2048 103694
16384 4096 76618
16384 8192 50314
16384 16384 30864
32768 64 777468
32768 128 682454
32768 256 273767
32768 512 238839
32768 1024 277476
32768 2048 168953
32768 4096 134368
32768 8192 89156
32768 16384 59022
65536 64 1090302
65536 128 909629
65536 256 437934
65536 512 322846
65536 1024 344909
65536 2048 250951
65536 4096 234139
65536 8192 147137
65536 16384 102444
131072 64 1558636
131072 128 1456871
131072 256 591696
131072 512 406047
131072 1024 379112
131072 2048 350771
131072 4096 328015
131072 8192 236960
131072 16384 167481
262144 64 1746100
262144 128 1749062
262144 256 663368
262144 512 497922
262144 1024 434509
262144 2048 411343
262144 4096 381535
262144 8192 343539
262144 16384 260914
524288 64 2081276
524288 128 1943686
524288 256 921560
524288 512 497600
524288 1024 495281
524288 2048 457352
524288 4096 454273
524288 8192 413634
524288 16384 339582