#test : frewrite
64 4 2005
64 8 1339
64 16 2620
64 32 2030
64 64 2234
128 4 4304
128 8 4366
128 16 4356
128 32 3549
128 64 3561
128 128 4443
256 4 7245
256 8 6980
256 16 7273
256 32 7181
256 64 7165
256 128 8577
256 256 7274
512 4 10832
512 8 12268
512 16 12271
512 32 12580
512 64 12123
512 128 9551
512 256 12529
512 512 11252
1024 4 15742
1024 8 17520
1024 16 17187
1024 32 15819
1024 64 17347
1024 128 17656
1024 256 17308
1024 512 17708
1024 1024 17990
2048 4 21679
2048 8 23090
2048 16 21352
2048 32 21761
2048 64 22977
2048 128 23181
2048 256 21626
2048 512 19450
2048 1024 19567
2048 2048 21670
4096 4 27665
4096 8 27899
4096 16 26744
4096 32 26638
4096 64 25857
4096 128 26834
4096 256 25006
4096 512 27022
4096 1024 26227
4096 2048 25550
4096 4096 27380
8192 4 28303
8192 8 29734
8192 16 29559
8192 32 28948
8192 64 30249
8192 128 28610
8192 256 28438
8192 512 27425
8192 1024 28636
8192 2048 27800
8192 4096 26147
8192 8192 28626
16384 4 31009
16384 8 30627
16384 16 31342
16384 32 30601
16384 64 31043
16384 128 30704
16384 256 29980
16384 512 30352
16384 1024 29774
16384 2048 30227
16384 4096 29255
16384 8192 29471
16384 16384 30208
32768 64 31700
32768 128 31661
32768 256 30016
32768 512 31183
32768 1024 30367
32768 2048 30928
32768 4096 30937
32768 8192 30723
32768 16384 30105
65536 64 31873
65536 128 31506
65536 256 31325
65536 512 30374
65536 1024 30564
65536 2048 30679
65536 4096 30600
65536 8192 30918
65536 16384 30798
131072 64 32475
131072 128 32041
131072 256 31646
131072 512 31676
131072 1024 31549
131072 2048 31412
131072 4096 31893
131072 8192 31886
131072 16384 31318
262144 64 33206
262144 128 32662
262144 256 32655
262144 512 32599
262144 1024 32964
262144 2048 32446
262144 4096 33109
262144 8192 32815
262144 16384 32544
524288 64 32784
524288 128 32249
524288 256 33295
524288 512 31916
524288 1024 32307
524288 2048 33583
524288 4096 33948
524288 8192 32251
524288 16384 32148