#test : recrewrite
64 4 2631
64 8 2636
64 16 2117
64 32 2118
64 64 2657
128 4 5284
128 8 5276
128 16 5265
128 32 4229
128 64 3536
128 128 1778
256 4 10543
256 8 10546
256 16 10539
256 32 8474
256 64 8516
256 128 8520
256 256 3294
512 4 21142
512 8 16943
512 16 21195
512 32 16935
512 64 16960
512 128 6992
512 256 6589
512 512 12434
1024 4 33837
1024 8 42244
1024 16 33943
1024 32 33885
1024 64 33929
1024 128 34072
1024 256 13188
1024 512 12309
1024 1024 10893
2048 4 67738
2048 8 84694
2048 16 84467
2048 32 67877
2048 64 84698
2048 128 68239
2048 256 28546
2048 512 24617
2048 1024 35211
2048 2048 22309
4096 4 135759
4096 8 113305
4096 16 135431
4096 32 113215
4096 64 135620
4096 128 108224
4096 256 113021
4096 512 45933
4096 1024 63913
4096 2048 41886
4096 4096 24813
8192 4 270693
8192 8 270577
8192 16 272042
8192 32 225967
8192 64 225799
8192 128 267975
8192 256 97917
8192 512 138476
8192 1024 107800
8192 2048 74628
8192 4096 49601
8192 8192 27899
16384 4 452345
16384 8 452371
16384 16 451836
16384 32 452773
16384 64 451823
16384 128 210021
16384 256 182694
16384 512 144860
16384 1024 186055
16384 2048 141651
16384 4096 95706
16384 8192 55684
16384 16384 30386
32768 64 778448
32768 128 366098
32768 256 288247
32768 512 219698
32768 1024 264415
32768 2048 215914
32768 4096 158084
32768 8192 101116
32768 16384 57532
65536 64 1209509
65536 128 994129
65536 256 438127
65536 512 311853
65536 1024 345402
65536 2048 301242
65536 4096 245453
65536 8192 167919
65536 16384 101260
131072 64 1653403
131072 128 1366544
131072 256 591931
131072 512 378008
131072 1024 385922
131072 2048 368717
131072 4096 333555
131072 8192 251227
131072 16384 173470
262144 64 1679322
262144 128 1508126
262144 256 673514
262144 512 442537
262144 1024 438990
262144 2048 431692
262144 4096 392144
262144 8192 344238
262144 16384 258805
524288 64 2082225
524288 128 1822317
524288 256 735748
524288 512 481193
524288 1024 468836
524288 2048 464748
524288 4096 445255
524288 8192 401235
524288 16384 344443