-
Notifications
You must be signed in to change notification settings - Fork 0
/
Opening.cc
6972 lines (6971 loc) · 292 KB
/
Opening.cc
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
#include "McRaveAgent.h"
const robin_hood::unordered_map<State, int> openingBook{
// turn=1
{0x0000000000000000, 19}, //-0.192141
// turn=2
{0x0000000000000001, 42}, // 0.252355
{0x0000000000000002, 2}, // 0.259484
{0x0000000000000004, 1}, // 0.261073
{0x0000000000000008, 2}, // 0.260035
{0x0000000000000010, 27}, // 0.252474
{0x0000000000000020, 2}, // 0.243637
{0x0000000000000040, 36}, // 0.244827
{0x0000000000000080, 27}, // 0.249238
{0x0000000000000100, 47}, // 0.242734
{0x0000000000000200, 27}, // 0.243671
{0x0000000000000400, 47}, // 0.242553
{0x0000000000000800, 42}, // 0.254931
{0x0000000000001000, 2}, // 0.267828
{0x0000000000002000, 47}, // 0.255389
{0x0000000000004000, 42}, // 0.241673
{0x0000000000008000, 2}, // 0.242714
{0x0000000000010000, 42}, // 0.255501
{0x0000000000020000, 27}, // 0.268168
{0x0000000000040000, 47}, // 0.254611
{0x0000000000080000, 27}, // 0.241455
{0x0000000000100000, 47}, // 0.244403
{0x0000000000200000, 42}, // 0.242555
{0x0000000000400000, 42}, // 0.249492
{0x0000000000800000, 42}, // 0.243766
{0x0000000001000000, 42}, // 0.244574
{0x0000000002000000, 27}, // 0.251857
{0x0000000004000000, 47}, // 0.259515
{0x0000000008000000, 28}, // 0.261205
{0x0000000010000000, 27}, // 0.262152
{0x0000000020000000, 28}, // 0.25263
{0x0000000040000000, 47}, // 0.252794
{0x0000000080000000, 42}, // 0.245285
{0x0000000100000000, 42}, // 0.243832
{0x0000000200000000, 27}, // 0.242776
{0x0000000400000000, 53}, // 0.243795
{0x0000000800000000, 42}, // 0.252374
{0x0000001000000000, 42}, // 0.259343
{0x0000002000000000, 42}, // 0.244334
{0x0000004000000000, 2}, // 0.254708
{0x0000008000000000, 2}, // 0.255441
{0x0000010000000000, 2}, // 0.241813
{0x0000020000000000, 47}, // 0.259689
{0x0000040000000000, 36}, // 0.259581
{0x0000080000000000, 47}, // 0.247153
{0x0000100000000000, 42}, // 0.267104
{0x0000200000000000, 47}, // 0.270098
{0x0000400000000000, 2}, // 0.245978
{0x0000800000000000, 41}, // 0.261458
{0x0001000000000000, 42}, // 0.259883
{0x0002000000000000, 27}, // 0.243044
{0x0004000000000000, 27}, // 0.255159
{0x0008000000000000, 27}, // 0.252449
{0x0010000000000000, 47}, // 0.242749
{0x0020000000000000, 47}, // 0.260824
{0x0040000000000000, 27}, // 0.252277
{0x0080000000000000, 47}, // 0.247267
{0x0100000000000000, 47}, // 0.242852
{0x0200000000000000, 47}, // 0.241138
{0x0400000000000000, 47}, // 0.243347
{0x0800000000000000, 28}, // 0.252303
// turn=3
{0x0000000000080001, 56}, //-0.183012
{0x0000000000080002, 52}, //-0.192365
{0x0000000000080004, 58}, //-0.194665
{0x0000000000080008, 52}, //-0.193866
{0x0000000000080010, 52}, //-0.180912
{0x0000000000080020, 6}, //-0.152882
{0x0000000000080040, 32}, //-0.152164
{0x0000000000080080, 8}, //-0.157411
{0x0000000000080100, 9}, //-0.149189
{0x0000000000080200, 52}, //-0.151652
{0x0000000000080400, 37}, //-0.152029
{0x0000000000080800, 10}, //-0.168723
{0x0000000000081000, 33}, //-0.192885
{0x0000000000082000, 14}, //-0.170628
{0x0000000000084000, 52}, //-0.157931
{0x0000000000088000, 52}, //-0.152107
{0x0000000000090000, 15}, //-0.169785
{0x00000000000a0000, 56}, //-0.190184
{0x00000000000c0000, 58}, //-0.163188
{0x0000000000180000, 21}, //-0.154251
{0x0000000000280000, 20}, //-0.154023
{0x0000000000480000, 23}, //-0.157437
{0x0000000000880000, 57}, //-0.151849
{0x0000000001080000, 23}, //-0.161606
{0x0000000002080000, 52}, //-0.181978
{0x0000000004080000, 52}, //-0.190839
{0x0000000008080000, 52}, //-0.193647
{0x0000000010080000, 9}, //-0.195483
{0x0000000020080000, 58}, //-0.182589
{0x0000000040080000, 33}, //-0.184228
{0x0000000080080000, 37}, //-0.153257
{0x0000000100080000, 9}, //-0.151727
{0x0000000200080000, 9}, //-0.150876
{0x0000000400080000, 40}, //-0.153359
{0x0000000800080000, 52}, //-0.181889
{0x0000001000080000, 52}, //-0.192194
{0x0000002000080000, 31}, //-0.15103
{0x0000004000080000, 32}, //-0.168357
{0x0000008000080000, 33}, //-0.169304
{0x0000010000080000, 34}, //-0.150095
{0x0000020000080000, 52}, //-0.194102
{0x0000040000080000, 52}, //-0.194192
{0x0000080000080000, 49}, //-0.156023
{0x0000100000080000, 52}, //-0.190419
{0x0000200000080000, 52}, //-0.190035
{0x0000400000080000, 40}, //-0.157311
{0x0000800000080000, 58}, //-0.19664
{0x0001000000080000, 58}, //-0.192815
{0x0002000000080000, 52}, //-0.150289
{0x0004000000080000, 56}, //-0.169623
{0x0008000000080000, 57}, //-0.168701
{0x0010000000080000, 58}, //-0.148847
{0x0020000000080000, 52}, //-0.191458
{0x0040000000080000, 52}, //-0.181229
{0x0080000000080000, 49}, //-0.153613
{0x0100000000080000, 58}, //-0.152532
{0x0200000000080000, 15}, //-0.15218
{0x0400000000080000, 52}, //-0.151052
{0x0800000000080000, 9}, //-0.18401
// turn=4
{0x0000040000000003, 44}, // 0.261811
{0x0000040000000005, 44}, // 0.262118
{0x0000040000000009, 12}, // 0.264205
{0x0000040000000011, 44}, // 0.26075
{0x0000040000000021, 36}, // 0.260854
{0x0000040000000041, 36}, // 0.25968
{0x0000040000000081, 44}, // 0.260691
{0x0000040000000101, 2}, // 0.257854
{0x0000040000000201, 48}, // 0.255785
{0x0000040000000401, 48}, // 0.256627
{0x0000040000000801, 36}, // 0.269238
{0x0000040000001001, 36}, // 0.27229
{0x0000040000002001, 47}, // 0.262734
{0x0000040000004001, 36}, // 0.256494
{0x0000040000008001, 36}, // 0.256141
{0x0000040000010001, 48}, // 0.264299
{0x0000040000020001, 27}, // 0.271227
{0x0000040000040001, 47}, // 0.263243
{0x0000040000080001, 48}, // 0.25469
{0x0000040000100001, 36}, // 0.254983
{0x0000040000200001, 48}, // 0.25429
{0x0000040000400001, 47}, // 0.259765
{0x0000040000800001, 48}, // 0.25442
{0x0000040001000001, 44}, // 0.25856
{0x0000040002000001, 44}, // 0.256416
{0x0000040004000001, 44}, // 0.262932
{0x0000040008000001, 17}, // 0.262901
{0x0000040010000001, 44}, // 0.263781
{0x0000040020000001, 44}, // 0.25961
{0x0000040040000001, 44}, // 0.262186
{0x0000040080000001, 36}, // 0.258196
{0x0000040100000001, 48}, // 0.255706
{0x0000040200000001, 36}, // 0.256546
{0x0000040400000001, 36}, // 0.254951
{0x0000040800000001, 12}, // 0.259836
{0x0000041000000001, 44}, // 0.269913
{0x0000042000000001, 2}, // 0.262953
{0x0000044000000001, 36}, // 0.264798
{0x0000048000000001, 41}, // 0.263375
{0x0000050000000001, 53}, // 0.25497
{0x0000060000000001, 44}, // 0.266051
{0x00000c0000000001, 36}, // 0.270237
{0x0000140000000001, 36}, // 0.275361
{0x0000240000000001, 36}, // 0.272318
{0x0000440000000001, 28}, // 0.256685
{0x0000840000000001, 44}, // 0.265337
{0x0001040000000001, 44}, // 0.266072
{0x0002040000000001, 36}, // 0.260654
{0x0004040000000001, 27}, // 0.263777
{0x0008040000000001, 27}, // 0.262031
{0x0010040000000001, 36}, // 0.256492
{0x0020040000000001, 45}, // 0.264908
{0x0040040000000001, 44}, // 0.258721
{0x0080040000000001, 36}, // 0.255748
{0x0100040000000001, 36}, // 0.255319
{0x0200040000000001, 48}, // 0.254799
{0x0400040000000001, 36}, // 0.258355
{0x0800040000000001, 44}, // 0.258605
{0x0000000000000007, 12}, // 0.268758
{0x000000000000000e, 7}, // 0.280564
{0x0000000000000016, 12}, // 0.267874
{0x0000000000000026, 12}, // 0.265089
{0x0000000000000046, 3}, // 0.273146
{0x0000000000000086, 3}, // 0.282492
{0x0000000000000106, 12}, // 0.270839
{0x0000000000000206, 12}, // 0.267936
{0x0000000000000406, 12}, // 0.26463
{0x0000000000000806, 12}, // 0.275258
{0x0000000000001006, 3}, // 0.282543
{0x0000000000002006, 3}, // 0.272821
{0x0000000000004006, 3}, // 0.264142
{0x0000000000008006, 12}, // 0.264842
{0x0000000000010006, 12}, // 0.272317
{0x0000000000020006, 12}, // 0.282306
{0x0000000000040006, 12}, // 0.273094
{0x0000000000080006, 12}, // 0.265429
{0x0000000000100006, 12}, // 0.267049
{0x0000000000200006, 12}, // 0.264994
{0x0000000000400006, 53}, // 0.269417
{0x0000000000800006, 12}, // 0.266813
{0x0000000001000006, 12}, // 0.266107
{0x0000000002000006, 12}, // 0.267696
{0x0000000004000006, 12}, // 0.275669
{0x0000000008000006, 45}, // 0.276248
{0x0000000010000006, 38}, // 0.27519
{0x0000000020000006, 44}, // 0.267792
{0x0000000040000006, 12}, // 0.265249
{0x0000000080000006, 12}, // 0.271876
{0x0000000100000006, 12}, // 0.268129
{0x0000000200000006, 12}, // 0.269662
{0x0000000400000006, 3}, // 0.263907
{0x0000000800000006, 7}, // 0.266497
{0x0000001000000006, 38}, // 0.272561
{0x0000002000000006, 12}, // 0.269487
{0x0000004000000006, 3}, // 0.278333
{0x0000008000000006, 3}, // 0.280851
{0x0000010000000006, 3}, // 0.265555
{0x0000020000000006, 12}, // 0.273184
{0x0000040000000006, 12}, // 0.273022
{0x0000080000000006, 44}, // 0.272565
{0x0000100000000006, 12}, // 0.282271
{0x0000200000000006, 3}, // 0.283392
{0x0000400000000006, 12}, // 0.270108
{0x0000800000000006, 12}, // 0.27574
{0x0001000000000006, 12}, // 0.274316
{0x0002000000000006, 12}, // 0.264533
{0x0004000000000006, 12}, // 0.273802
{0x0008000000000006, 27}, // 0.272605
{0x0010000000000006, 27}, // 0.266901
{0x0020000000000006, 12}, // 0.274171
{0x0040000000000006, 12}, // 0.26775
{0x0080000000000006, 12}, // 0.26709
{0x0100000000000006, 3}, // 0.265541
{0x0200000000000006, 47}, // 0.266012
{0x0400000000000006, 12}, // 0.268793
{0x0800000000000006, 12}, // 0.268434
{0x0000000000000007, 12}, // 0.269678
{0x000000000000000e, 7}, // 0.28014
{0x0000000000000016, 12}, // 0.267302
{0x0000000000000026, 12}, // 0.266683
{0x0000000000000046, 12}, // 0.273196
{0x0000000000000086, 3}, // 0.283406
{0x0000000000000106, 12}, // 0.27063
{0x0000000000000206, 27}, // 0.26404
{0x0000000000000406, 12}, // 0.264873
{0x0000000000000806, 42}, // 0.275937
{0x0000000000001006, 3}, // 0.28358
{0x0000000000002006, 47}, // 0.27323
{0x0000000000004006, 12}, // 0.265099
{0x0000000000008006, 12}, // 0.264597
{0x0000000000010006, 12}, // 0.274652
{0x0000000000020006, 27}, // 0.282472
{0x0000000000040006, 12}, // 0.271807
{0x0000000000080006, 12}, // 0.2655
{0x0000000000100006, 27}, // 0.263443
{0x0000000000200006, 12}, // 0.264786
{0x0000000000400006, 3}, // 0.27005
{0x0000000000800006, 27}, // 0.265612
{0x0000000001000006, 12}, // 0.265764
{0x0000000002000006, 44}, // 0.267311
{0x0000000004000006, 12}, // 0.273082
{0x0000000008000006, 17}, // 0.275985
{0x0000000010000006, 12}, // 0.276266
{0x0000000020000006, 12}, // 0.267547
{0x0000000040000006, 12}, // 0.270525
{0x0000000080000006, 38}, // 0.269552
{0x0000000100000006, 12}, // 0.265868
{0x0000000200000006, 12}, // 0.268505
{0x0000000400000006, 3}, // 0.264673
{0x0000000800000006, 12}, // 0.268567
{0x0000001000000006, 12}, // 0.27112
{0x0000002000000006, 3}, // 0.270304
{0x0000004000000006, 3}, // 0.279854
{0x0000008000000006, 3}, // 0.279638
{0x0000010000000006, 12}, // 0.264756
{0x0000020000000006, 45}, // 0.271221
{0x0000040000000006, 12}, // 0.272693
{0x0000080000000006, 12}, // 0.27098
{0x0000100000000006, 3}, // 0.281224
{0x0000200000000006, 47}, // 0.282307
{0x0000400000000006, 12}, // 0.269575
{0x0000800000000006, 45}, // 0.274945
{0x0001000000000006, 12}, // 0.273674
{0x0002000000000006, 3}, // 0.265271
{0x0004000000000006, 27}, // 0.272698
{0x0008000000000006, 27}, // 0.273009
{0x0010000000000006, 3}, // 0.265301
{0x0020000000000006, 12}, // 0.2745
{0x0040000000000006, 12}, // 0.267395
{0x0080000000000006, 12}, // 0.265388
{0x0100000000000006, 3}, // 0.262914
{0x0200000000000006, 12}, // 0.266787
{0x0400000000000006, 47}, // 0.266081
{0x0800000000000006, 12}, // 0.269921
{0x000000000000000d, 12}, // 0.268804
{0x000000000000000e, 7}, // 0.282703
{0x000000000000001c, 12}, // 0.265638
{0x000000000000002c, 12}, // 0.2652
{0x000000000000004c, 12}, // 0.273052
{0x000000000000008c, 1}, // 0.281494
{0x000000000000010c, 12}, // 0.271023
{0x000000000000020c, 12}, // 0.267626
{0x000000000000040c, 12}, // 0.26493
{0x000000000000080c, 1}, // 0.275101
{0x000000000000100c, 1}, // 0.283581
{0x000000000000200c, 47}, // 0.277001
{0x000000000000400c, 42}, // 0.265245
{0x000000000000800c, 12}, // 0.2672
{0x000000000001000c, 12}, // 0.273145
{0x000000000002000c, 27}, // 0.281859
{0x000000000004000c, 12}, // 0.272519
{0x000000000008000c, 12}, // 0.265611
{0x000000000010000c, 27}, // 0.267178
{0x000000000020000c, 27}, // 0.264204
{0x000000000040000c, 12}, // 0.268236
{0x000000000080000c, 12}, // 0.265823
{0x000000000100000c, 27}, // 0.265924
{0x000000000200000c, 12}, // 0.267552
{0x000000000400000c, 12}, // 0.274292
{0x000000000800000c, 12}, // 0.276385
{0x000000001000000c, 12}, // 0.273884
{0x000000002000000c, 12}, // 0.266808
{0x000000004000000c, 12}, // 0.268789
{0x000000008000000c, 42}, // 0.264908
{0x000000010000000c, 12}, // 0.269384
{0x000000020000000c, 12}, // 0.26707
{0x000000040000000c, 42}, // 0.269765
{0x000000080000000c, 39}, // 0.267632
{0x000000100000000c, 12}, // 0.273724
{0x000000200000000c, 1}, // 0.265917
{0x000000400000000c, 1}, // 0.278968
{0x000000800000000c, 44}, // 0.280966
{0x000001000000000c, 45}, // 0.268769
{0x000002000000000c, 39}, // 0.271926
{0x000004000000000c, 44}, // 0.274272
{0x000008000000000c, 27}, // 0.26955
{0x000010000000000c, 39}, // 0.282508
{0x000020000000000c, 44}, // 0.281046
{0x000040000000000c, 12}, // 0.270915
{0x000080000000000c, 45}, // 0.273053
{0x000100000000000c, 44}, // 0.272949
{0x000200000000000c, 12}, // 0.266122
{0x000400000000000c, 27}, // 0.270793
{0x000800000000000c, 27}, // 0.2718
{0x001000000000000c, 12}, // 0.266104
{0x002000000000000c, 45}, // 0.274623
{0x004000000000000c, 12}, // 0.268996
{0x008000000000000c, 42}, // 0.264313
{0x010000000000000c, 42}, // 0.266089
{0x020000000000000c, 12}, // 0.264208
{0x040000000000000c, 12}, // 0.265188
{0x080000000000000c, 12}, // 0.26954
{0x0000000008000011, 17}, // 0.260294
{0x0000000008000012, 17}, // 0.264804
{0x0000000008000014, 17}, // 0.266436
{0x0000000008000018, 2}, // 0.2634
{0x0000000008000030, 2}, // 0.257974
{0x0000000008000050, 42}, // 0.259194
{0x0000000008000090, 3}, // 0.261981
{0x0000000008000110, 42}, // 0.258063
{0x0000000008000210, 3}, // 0.259851
{0x0000000008000410, 26}, // 0.256833
{0x0000000008000810, 42}, // 0.26639
{0x0000000008001010, 2}, // 0.275482
{0x0000000008002010, 17}, // 0.266517
{0x0000000008004010, 26}, // 0.257212
{0x0000000008008010, 28}, // 0.256292
{0x0000000008010010, 42}, // 0.265491
{0x0000000008020010, 28}, // 0.273925
{0x0000000008040010, 47}, // 0.262989
{0x0000000008080010, 28}, // 0.25623
{0x0000000008100010, 26}, // 0.257757
{0x0000000008200010, 28}, // 0.262138
{0x0000000008400010, 28}, // 0.266349
{0x0000000008800010, 26}, // 0.261634
{0x0000000009000010, 26}, // 0.257113
{0x000000000a000010, 17}, // 0.258929
{0x000000000c000010, 45}, // 0.266834
{0x0000000018000010, 17}, // 0.265367
{0x0000000028000010, 17}, // 0.258609
{0x0000000048000010, 28}, // 0.260173
{0x0000000088000010, 42}, // 0.25762
{0x0000000108000010, 41}, // 0.256002
{0x0000000208000010, 26}, // 0.255637
{0x0000000408000010, 26}, // 0.259236
{0x0000000808000010, 17}, // 0.263966
{0x0000001008000010, 17}, // 0.266531
{0x0000002008000010, 2}, // 0.258277
{0x0000004008000010, 2}, // 0.264297
{0x0000008008000010, 2}, // 0.263681
{0x0000010008000010, 3}, // 0.25896
{0x0000020008000010, 45}, // 0.26395
{0x0000040008000010, 17}, // 0.264523
{0x0000080008000010, 26}, // 0.259692
{0x0000100008000010, 26}, // 0.274758
{0x0000200008000010, 28}, // 0.275307
{0x0000400008000010, 28}, // 0.261039
{0x0000800008000010, 45}, // 0.267108
{0x0001000008000010, 44}, // 0.262835
{0x0002000008000010, 26}, // 0.25744
{0x0004000008000010, 26}, // 0.267822
{0x0008000008000010, 28}, // 0.268575
{0x0010000008000010, 28}, // 0.255373
{0x0020000008000010, 17}, // 0.263158
{0x0040000008000010, 28}, // 0.260655
{0x0080000008000010, 26}, // 0.256773
{0x0100000008000010, 42}, // 0.258595
{0x0200000008000010, 26}, // 0.256358
{0x0400000008000010, 26}, // 0.255988
{0x0800000008000010, 17}, // 0.260791
{0x0000000000000025, 1}, // 0.259678
{0x0000000000000026, 12}, // 0.267559
{0x000000000000002c, 1}, // 0.265348
{0x0000000000000034, 3}, // 0.255962
{0x0000000000000064, 3}, // 0.246914
{0x00000000000000a4, 3}, // 0.261413
{0x0000000000000124, 47}, // 0.251682
{0x0000000000000224, 1}, // 0.252423
{0x0000000000000424, 1}, // 0.254666
{0x0000000000000824, 36}, // 0.263751
{0x0000000000001024, 3}, // 0.278877
{0x0000000000002024, 47}, // 0.261583
{0x0000000000004024, 3}, // 0.246459
{0x0000000000008024, 3}, // 0.246605
{0x0000000000010024, 48}, // 0.257893
{0x0000000000020024, 27}, // 0.273922
{0x0000000000040024, 28}, // 0.260146
{0x0000000000080024, 3}, // 0.247535
{0x0000000000100024, 3}, // 0.248768
{0x0000000000200024, 27}, // 0.247031
{0x0000000000400024, 47}, // 0.253532
{0x0000000000800024, 3}, // 0.248113
{0x0000000001000024, 3}, // 0.247849
{0x0000000002000024, 3}, // 0.256762
{0x0000000004000024, 27}, // 0.265994
{0x0000000008000024, 1}, // 0.266844
{0x0000000010000024, 27}, // 0.266007
{0x0000000020000024, 3}, // 0.257326
{0x0000000040000024, 12}, // 0.259698
{0x0000000080000024, 27}, // 0.250718
{0x0000000100000024, 3}, // 0.247131
{0x0000000200000024, 47}, // 0.250279
{0x0000000400000024, 27}, // 0.246799
{0x0000000800000024, 27}, // 0.25677
{0x0000001000000024, 12}, // 0.267817
{0x0000002000000024, 48}, // 0.253078
{0x0000004000000024, 3}, // 0.265081
{0x0000008000000024, 47}, // 0.265131
{0x0000010000000024, 3}, // 0.248432
{0x0000020000000024, 47}, // 0.263241
{0x0000040000000024, 12}, // 0.264221
{0x0000080000000024, 27}, // 0.25539
{0x0000100000000024, 42}, // 0.272766
{0x0000200000000024, 47}, // 0.271757
{0x0000400000000024, 3}, // 0.251365
{0x0000800000000024, 12}, // 0.263617
{0x0001000000000024, 1}, // 0.265233
{0x0002000000000024, 27}, // 0.246701
{0x0004000000000024, 27}, // 0.260828
{0x0008000000000024, 28}, // 0.262513
{0x0010000000000024, 27}, // 0.24884
{0x0020000000000024, 12}, // 0.266371
{0x0040000000000024, 27}, // 0.257107
{0x0080000000000024, 3}, // 0.24702
{0x0100000000000024, 3}, // 0.246211
{0x0200000000000024, 47}, // 0.249824
{0x0400000000000024, 3}, // 0.248676
{0x0800000000000024, 53}, // 0.257492
{0x0000001000000041, 42}, // 0.260679
{0x0000001000000042, 2}, // 0.268372
{0x0000001000000044, 12}, // 0.270363
{0x0000001000000048, 2}, // 0.265832
{0x0000001000000050, 42}, // 0.256936
{0x0000001000000060, 42}, // 0.243594
{0x00000010000000c0, 42}, // 0.247304
{0x0000001000000140, 42}, // 0.246335
{0x0000001000000240, 42}, // 0.246879
{0x0000001000000440, 27}, // 0.25075
{0x0000001000000840, 42}, // 0.270957
{0x0000001000001040, 2}, // 0.274482
{0x0000001000002040, 47}, // 0.260704
{0x0000001000004040, 42}, // 0.247958
{0x0000001000008040, 42}, // 0.245981
{0x0000001000010040, 42}, // 0.256994
{0x0000001000020040, 27}, // 0.273752
{0x0000001000040040, 47}, // 0.261205
{0x0000001000080040, 42}, // 0.24852
{0x0000001000100040, 42}, // 0.246737
{0x0000001000200040, 42}, // 0.245876
{0x0000001000400040, 42}, // 0.252732
{0x0000001000800040, 42}, // 0.24773
{0x0000001001000040, 42}, // 0.249562
{0x0000001002000040, 2}, // 0.258476
{0x0000001004000040, 44}, // 0.265222
{0x0000001008000040, 42}, // 0.268119
{0x0000001010000040, 27}, // 0.265839
{0x0000001020000040, 42}, // 0.257884
{0x0000001040000040, 47}, // 0.261428
{0x0000001080000040, 42}, // 0.250931
{0x0000001100000040, 42}, // 0.245013
{0x0000001200000040, 42}, // 0.248372
{0x0000001400000040, 42}, // 0.249217
{0x0000001800000040, 42}, // 0.258371
{0x0000003000000040, 42}, // 0.252346
{0x0000005000000040, 42}, // 0.263184
{0x0000009000000040, 2}, // 0.262935
{0x0000011000000040, 42}, // 0.248433
{0x0000021000000040, 42}, // 0.265947
{0x0000041000000040, 2}, // 0.26963
{0x0000081000000040, 42}, // 0.265254
{0x0000101000000040, 42}, // 0.275639
{0x0000201000000040, 47}, // 0.273312
{0x0000401000000040, 42}, // 0.254758
{0x0000801000000040, 42}, // 0.265034
{0x0001001000000040, 42}, // 0.265652
{0x0002001000000040, 42}, // 0.250044
{0x0004001000000040, 42}, // 0.260258
{0x0008001000000040, 27}, // 0.260018
{0x0010001000000040, 42}, // 0.24977
{0x0020001000000040, 42}, // 0.265684
{0x0040001000000040, 42}, // 0.258383
{0x0080001000000040, 42}, // 0.249154
{0x0100001000000040, 42}, // 0.247591
{0x0200001000000040, 42}, // 0.246903
{0x0400001000000040, 42}, // 0.249203
{0x0800001000000040, 42}, // 0.258284
{0x0000000008000081, 1}, // 0.262054
{0x0000000008000082, 2}, // 0.273824
{0x0000000008000084, 3}, // 0.277092
{0x0000000008000088, 2}, // 0.275559
{0x0000000008000090, 3}, // 0.263115
{0x00000000080000a0, 26}, // 0.251946
{0x00000000080000c0, 36}, // 0.243298
{0x0000000008000180, 26}, // 0.2438
{0x0000000008000280, 26}, // 0.249613
{0x0000000008000480, 28}, // 0.252667
{0x0000000008000880, 42}, // 0.268186
{0x0000000008001080, 41}, // 0.280887
{0x0000000008002080, 3}, // 0.264128
{0x0000000008004080, 3}, // 0.252338
{0x0000000008008080, 26}, // 0.25176
{0x0000000008010080, 42}, // 0.265183
{0x0000000008020080, 28}, // 0.27876
{0x0000000008040080, 47}, // 0.264192
{0x0000000008080080, 28}, // 0.252175
{0x0000000008100080, 28}, // 0.254212
{0x0000000008200080, 28}, // 0.255994
{0x0000000008400080, 28}, // 0.265737
{0x0000000008800080, 36}, // 0.255579
{0x0000000009000080, 26}, // 0.252727
{0x000000000a000080, 26}, // 0.259758
{0x000000000c000080, 17}, // 0.26916
{0x0000000018000080, 26}, // 0.26915
{0x0000000028000080, 36}, // 0.259537
{0x0000000048000080, 28}, // 0.261736
{0x0000000088000080, 1}, // 0.255652
{0x0000000108000080, 41}, // 0.250393
{0x0000000208000080, 36}, // 0.248551
{0x0000000408000080, 28}, // 0.255732
{0x0000000808000080, 36}, // 0.259298
{0x0000001008000080, 42}, // 0.268733
{0x0000002008000080, 47}, // 0.252527
{0x0000004008000080, 3}, // 0.259881
{0x0000008008000080, 47}, // 0.262332
{0x0000010008000080, 3}, // 0.25331
{0x0000020008000080, 28}, // 0.268076
{0x0000040008000080, 44}, // 0.269532
{0x0000080008000080, 36}, // 0.258024
{0x0000100008000080, 42}, // 0.274965
{0x0000200008000080, 47}, // 0.277216
{0x0000400008000080, 28}, // 0.25629
{0x0000800008000080, 45}, // 0.269722
{0x0001000008000080, 36}, // 0.262038
{0x0002000008000080, 42}, // 0.251037
{0x0004000008000080, 26}, // 0.269685
{0x0008000008000080, 26}, // 0.267677
{0x0010000008000080, 28}, // 0.252366
{0x0020000008000080, 28}, // 0.264761
{0x0040000008000080, 42}, // 0.258751
{0x0080000008000080, 26}, // 0.251897
{0x0100000008000080, 42}, // 0.25387
{0x0200000008000080, 47}, // 0.254015
{0x0400000008000080, 28}, // 0.249313
{0x0800000008000080, 26}, // 0.257714
{0x0000800000000101, 41}, // 0.256707
{0x0000800000000102, 2}, // 0.265442
{0x0000800000000104, 41}, // 0.267894
{0x0000800000000108, 2}, // 0.26576
{0x0000800000000110, 41}, // 0.258633
{0x0000800000000120, 53}, // 0.247676
{0x0000800000000140, 41}, // 0.24647
{0x0000800000000180, 41}, // 0.246577
{0x0000800000000300, 2}, // 0.240877
{0x0000800000000500, 41}, // 0.246485
{0x0000800000000900, 42}, // 0.259444
{0x0000800000001100, 2}, // 0.272789
{0x0000800000002100, 41}, // 0.269356
{0x0000800000004100, 2}, // 0.25032
{0x0000800000008100, 41}, // 0.245145
{0x0000800000010100, 42}, // 0.258523
{0x0000800000020100, 27}, // 0.270501
{0x0000800000040100, 41}, // 0.26201
{0x0000800000080100, 41}, // 0.246257
{0x0000800000100100, 41}, // 0.24624
{0x0000800000200100, 41}, // 0.247384
{0x0000800000400100, 41}, // 0.251834
{0x0000800000800100, 2}, // 0.24377
{0x0000800001000100, 2}, // 0.243424
{0x0000800002000100, 41}, // 0.257779
{0x0000800004000100, 41}, // 0.265862
{0x0000800008000100, 2}, // 0.262736
{0x0000800010000100, 27}, // 0.261883
{0x0000800020000100, 2}, // 0.254358
{0x0000800040000100, 41}, // 0.255779
{0x0000800080000100, 53}, // 0.249029
{0x0000800100000100, 41}, // 0.246034
{0x0000800200000100, 41}, // 0.243852
{0x0000800400000100, 42}, // 0.254134
{0x0000800800000100, 41}, // 0.258111
{0x0000801000000100, 53}, // 0.264305
{0x0000802000000100, 53}, // 0.248419
{0x0000804000000100, 2}, // 0.258291
{0x0000808000000100, 41}, // 0.257334
{0x0000810000000100, 53}, // 0.255865
{0x0000820000000100, 45}, // 0.270382
{0x0000840000000100, 41}, // 0.266172
{0x0000880000000100, 41}, // 0.251151
{0x0000900000000100, 41}, // 0.272921
{0x0000a00000000100, 41}, // 0.275171
{0x0000c00000000100, 41}, // 0.26591
{0x0001800000000100, 41}, // 0.265377
{0x0002800000000100, 53}, // 0.24619
{0x0004800000000100, 41}, // 0.259923
{0x0008800000000100, 53}, // 0.259883
{0x0010800000000100, 41}, // 0.249742
{0x0020800000000100, 41}, // 0.267032
{0x0040800000000100, 41}, // 0.2568
{0x0080800000000100, 41}, // 0.246537
{0x0100800000000100, 41}, // 0.24586
{0x0200800000000100, 41}, // 0.248105
{0x0400800000000100, 2}, // 0.247745
{0x0800800000000100, 41}, // 0.254535
{0x0000000008000201, 36}, // 0.258683
{0x0000000008000202, 28}, // 0.264981
{0x0000000008000204, 17}, // 0.267002
{0x0000000008000208, 2}, // 0.266024
{0x0000000008000210, 26}, // 0.260341
{0x0000000008000220, 28}, // 0.249309
{0x0000000008000240, 26}, // 0.249317
{0x0000000008000280, 36}, // 0.252213
{0x0000000008000300, 2}, // 0.241354
{0x0000000008000600, 26}, // 0.246617
{0x0000000008000a00, 42}, // 0.259572
{0x0000000008001200, 2}, // 0.272251
{0x0000000008002200, 28}, // 0.264038
{0x0000000008004200, 2}, // 0.253898
{0x0000000008008200, 28}, // 0.247108
{0x0000000008010200, 42}, // 0.262109
{0x0000000008020200, 28}, // 0.276477
{0x0000000008040200, 28}, // 0.258983
{0x0000000008080200, 28}, // 0.245237
{0x0000000008100200, 2}, // 0.245451
{0x0000000008200200, 28}, // 0.24925
{0x0000000008400200, 28}, // 0.2599
{0x0000000008800200, 26}, // 0.249683
{0x0000000009000200, 26}, // 0.249192
{0x000000000a000200, 26}, // 0.255331
{0x000000000c000200, 17}, // 0.264811
{0x0000000018000200, 42}, // 0.266223
{0x0000000028000200, 28}, // 0.258716
{0x0000000048000200, 28}, // 0.257304
{0x0000000088000200, 42}, // 0.247648
{0x0000000108000200, 26}, // 0.24672
{0x0000000208000200, 26}, // 0.245906
{0x0000000408000200, 28}, // 0.251172
{0x0000000808000200, 2}, // 0.260723
{0x0000001008000200, 42}, // 0.265175
{0x0000002008000200, 2}, // 0.246007
{0x0000004008000200, 2}, // 0.25943
{0x0000008008000200, 2}, // 0.25831
{0x0000010008000200, 47}, // 0.249346
{0x0000020008000200, 26}, // 0.265872
{0x0000040008000200, 2}, // 0.265986
{0x0000080008000200, 26}, // 0.254373
{0x0000100008000200, 42}, // 0.271534
{0x0000200008000200, 47}, // 0.271413
{0x0000400008000200, 28}, // 0.255089
{0x0000800008000200, 53}, // 0.262806
{0x0001000008000200, 42}, // 0.263894
{0x0002000008000200, 26}, // 0.247158
{0x0004000008000200, 26}, // 0.264885
{0x0008000008000200, 26}, // 0.264744
{0x0010000008000200, 26}, // 0.245912
{0x0020000008000200, 47}, // 0.261698
{0x0040000008000200, 26}, // 0.254526
{0x0080000008000200, 26}, // 0.249268
{0x0100000008000200, 28}, // 0.248703
{0x0200000008000200, 26}, // 0.249863
{0x0400000008000200, 26}, // 0.24604
{0x0800000008000200, 26}, // 0.256335
{0x0000800000000401, 53}, // 0.256348
{0x0000800000000402, 41}, // 0.265156
{0x0000800000000404, 53}, // 0.264927
{0x0000800000000408, 2}, // 0.261804
{0x0000800000000410, 41}, // 0.257646
{0x0000800000000420, 41}, // 0.25395
{0x0000800000000440, 41}, // 0.24939
{0x0000800000000480, 41}, // 0.253198
{0x0000800000000500, 41}, // 0.246791
{0x0000800000000600, 2}, // 0.245947
{0x0000800000000c00, 2}, // 0.251985
{0x0000800000001400, 2}, // 0.271665
{0x0000800000002400, 2}, // 0.263883
{0x0000800000004400, 53}, // 0.24769
{0x0000800000008400, 2}, // 0.25041
{0x0000800000010400, 42}, // 0.260914
{0x0000800000020400, 27}, // 0.270275
{0x0000800000040400, 53}, // 0.262825
{0x0000800000080400, 41}, // 0.247381
{0x0000800000100400, 53}, // 0.245567
{0x0000800000200400, 41}, // 0.244233
{0x0000800000400400, 53}, // 0.252285
{0x0000800000800400, 53}, // 0.246863
{0x0000800001000400, 53}, // 0.248336
{0x0000800002000400, 2}, // 0.254414
{0x0000800004000400, 27}, // 0.263097
{0x0000800008000400, 28}, // 0.263839
{0x0000800010000400, 45}, // 0.261245
{0x0000800020000400, 41}, // 0.255913
{0x0000800040000400, 53}, // 0.255249
{0x0000800080000400, 53}, // 0.245642
{0x0000800100000400, 41}, // 0.246769
{0x0000800200000400, 41}, // 0.245229
{0x0000800400000400, 53}, // 0.247656
{0x0000800800000400, 53}, // 0.256687
{0x0000801000000400, 2}, // 0.263739
{0x0000802000000400, 2}, // 0.245387
{0x0000804000000400, 2}, // 0.25688
{0x0000808000000400, 41}, // 0.258289
{0x0000810000000400, 53}, // 0.249828
{0x0000820000000400, 45}, // 0.266095
{0x0000840000000400, 44}, // 0.268591
{0x0000880000000400, 41}, // 0.248685
{0x0000900000000400, 2}, // 0.269191
{0x0000a00000000400, 53}, // 0.274407
{0x0000c00000000400, 41}, // 0.260968
{0x0001800000000400, 53}, // 0.263373
{0x0002800000000400, 27}, // 0.246502
{0x0004800000000400, 53}, // 0.256275
{0x0008800000000400, 27}, // 0.259825
{0x0010800000000400, 41}, // 0.250534
{0x0020800000000400, 45}, // 0.265858
{0x0040800000000400, 53}, // 0.256449
{0x0080800000000400, 41}, // 0.248366
{0x0100800000000400, 41}, // 0.244743
{0x0200800000000400, 53}, // 0.245938
{0x0400800000000400, 41}, // 0.248963
{0x0800800000000400, 53}, // 0.25528
{0x0000040000000801, 36}, // 0.271568
{0x0000040000000802, 36}, // 0.275394
{0x0000040000000804, 1}, // 0.277919
{0x0000040000000808, 36}, // 0.274543
{0x0000040000000810, 36}, // 0.267611
{0x0000040000000820, 36}, // 0.26866
{0x0000040000000840, 36}, // 0.268816
{0x0000040000000880, 36}, // 0.268779
{0x0000040000000900, 36}, // 0.266041
{0x0000040000000a00, 36}, // 0.266128
{0x0000040000000c00, 2}, // 0.25348
{0x0000040000001800, 36}, // 0.280636
{0x0000040000002800, 47}, // 0.273774
{0x0000040000004800, 36}, // 0.261958
{0x0000040000008800, 36}, // 0.271639
{0x0000040000010800, 36}, // 0.27951
{0x0000040000020800, 48}, // 0.286035
{0x0000040000040800, 36}, // 0.273205
{0x0000040000080800, 36}, // 0.261307
{0x0000040000100800, 36}, // 0.259803
{0x0000040000200800, 48}, // 0.26155
{0x0000040000400800, 48}, // 0.268204
{0x0000040000800800, 36}, // 0.263032
{0x0000040001000800, 36}, // 0.266615
{0x0000040002000800, 36}, // 0.268654
{0x0000040004000800, 17}, // 0.274369
{0x0000040008000800, 17}, // 0.276112
{0x0000040010000800, 36}, // 0.274321
{0x0000040020000800, 36}, // 0.268896
{0x0000040040000800, 36}, // 0.269971
{0x0000040080000800, 48}, // 0.263873
{0x0000040100000800, 36}, // 0.263842
{0x0000040200000800, 36}, // 0.262994
{0x0000040400000800, 36}, // 0.265282
{0x0000040800000800, 36}, // 0.268553
{0x0000041000000800, 27}, // 0.279408
{0x0000042000000800, 48}, // 0.262377
{0x0000044000000800, 36}, // 0.263952
{0x0000048000000800, 2}, // 0.270235
{0x0000050000000800, 36}, // 0.26344
{0x0000060000000800, 36}, // 0.275311
{0x00000c0000000800, 48}, // 0.270315
{0x0000140000000800, 48}, // 0.279983
{0x0000240000000800, 36}, // 0.28581
{0x0000440000000800, 36}, // 0.268047
{0x0000840000000800, 45}, // 0.276423
{0x0001040000000800, 36}, // 0.278706
{0x0002040000000800, 36}, // 0.267954
{0x0004040000000800, 27}, // 0.27066
{0x0008040000000800, 36}, // 0.271701
{0x0010040000000800, 36}, // 0.262443
{0x0020040000000800, 36}, // 0.275906
{0x0040040000000800, 48}, // 0.266642
{0x0080040000000800, 36}, // 0.262811
{0x0100040000000800, 36}, // 0.261834
{0x0200040000000800, 36}, // 0.263656
{0x0400040000000800, 36}, // 0.265274
{0x0800040000000800, 48}, // 0.270317
{0x0000000000001005, 3}, // 0.273943
{0x0000000000001006, 3}, // 0.28281
{0x000000000000100c, 1}, // 0.281688
{0x0000000000001014, 3}, // 0.275118
{0x0000000000001024, 47}, // 0.276057
{0x0000000000001044, 3}, // 0.280133
{0x0000000000001084, 3}, // 0.289089
{0x0000000000001104, 27}, // 0.27916
{0x0000000000001204, 3}, // 0.275888
{0x0000000000001404, 1}, // 0.274059
{0x0000000000001804, 42}, // 0.278212
{0x0000000000003004, 3}, // 0.280903
{0x0000000000005004, 3}, // 0.275195
{0x0000000000009004, 1}, // 0.273808
{0x0000000000011004, 1}, // 0.284304
{0x0000000000021004, 27}, // 0.290598
{0x0000000000041004, 47}, // 0.283919
{0x0000000000081004, 1}, // 0.276079
{0x0000000000101004, 1}, // 0.274429
{0x0000000000201004, 1}, // 0.274727
{0x0000000000401004, 1}, // 0.276988
{0x0000000000801004, 3}, // 0.27551
{0x0000000001001004, 1}, // 0.273067
{0x0000000002001004, 1}, // 0.274724
{0x0000000004001004, 17}, // 0.281066
{0x0000000008001004, 3}, // 0.281104
{0x0000000010001004, 27}, // 0.278522
{0x0000000020001004, 3}, // 0.275608
{0x0000000040001004, 1}, // 0.275864
{0x0000000080001004, 1}, // 0.272919
{0x0000000100001004, 3}, // 0.275609
{0x0000000200001004, 1}, // 0.275888
{0x0000000400001004, 3}, // 0.274239
{0x0000000800001004, 1}, // 0.275433
{0x0000001000001004, 42}, // 0.27946
{0x0000002000001004, 1}, // 0.276069
{0x0000004000001004, 1}, // 0.278701
{0x0000008000001004, 3}, // 0.279063
{0x0000010000001004, 3}, // 0.275891
{0x0000020000001004, 47}, // 0.278275
{0x0000040000001004, 3}, // 0.280562
{0x0000080000001004, 1}, // 0.278966
{0x0000100000001004, 42}, // 0.286831
{0x0000200000001004, 47}, // 0.287063
{0x0000400000001004, 27}, // 0.280149
{0x0000800000001004, 1}, // 0.278023
{0x0001000000001004, 3}, // 0.278808
{0x0002000000001004, 1}, // 0.274812
{0x0004000000001004, 27}, // 0.282894
{0x0008000000001004, 28}, // 0.283635
{0x0010000000001004, 3}, // 0.27432
{0x0020000000001004, 1}, // 0.280809
{0x0040000000001004, 3}, // 0.275552
{0x0080000000001004, 1}, // 0.27752
{0x0100000000001004, 3}, // 0.27415
{0x0200000000001004, 1}, // 0.274732
{0x0400000000001004, 1}, // 0.275324
{0x0800000000001004, 1}, // 0.273266
{0x0000800000002001, 41}, // 0.269365
{0x0000800000002002, 53}, // 0.275675
{0x0000800000002004, 41}, // 0.276246
{0x0000800000002008, 41}, // 0.277422
{0x0000800000002010, 41}, // 0.268105
{0x0000800000002020, 41}, // 0.265368
{0x0000800000002040, 41}, // 0.263926
{0x0000800000002080, 41}, // 0.272373
{0x0000800000002100, 41}, // 0.268379
{0x0000800000002200, 41}, // 0.269068
{0x0000800000002400, 41}, // 0.264234
{0x0000800000002800, 2}, // 0.275227
{0x0000800000003000, 2}, // 0.281144
{0x0000800000006000, 2}, // 0.256701
{0x000080000000a000, 41}, // 0.262016
{0x0000800000012000, 41}, // 0.270963
{0x0000800000022000, 53}, // 0.28811
{0x0000800000042000, 53}, // 0.279245
{0x0000800000082000, 41}, // 0.269972
{0x0000800000102000, 41}, // 0.263759
{0x0000800000202000, 41}, // 0.26321
{0x0000800000402000, 53}, // 0.268588
{0x0000800000802000, 53}, // 0.261574
{0x0000800001002000, 53}, // 0.259706
{0x0000800002002000, 41}, // 0.26707
{0x0000800004002000, 41}, // 0.276325
{0x0000800008002000, 17}, // 0.277757
{0x0000800010002000, 41}, // 0.274007
{0x0000800020002000, 53}, // 0.267757
{0x0000800040002000, 41}, // 0.270236
{0x0000800080002000, 53}, // 0.264212
{0x0000800100002000, 41}, // 0.260431
{0x0000800200002000, 41}, // 0.262726
{0x0000800400002000, 53}, // 0.263912
{0x0000800800002000, 41}, // 0.266649
{0x0000801000002000, 41}, // 0.275947
{0x0000802000002000, 41}, // 0.264263
{0x0000804000002000, 41}, // 0.270575
{0x0000808000002000, 41}, // 0.26374
{0x0000810000002000, 3}, // 0.262771
{0x0000820000002000, 53}, // 0.281566
{0x0000840000002000, 41}, // 0.278307
{0x0000880000002000, 53}, // 0.268498
{0x0000900000002000, 42}, // 0.28605
{0x0000a00000002000, 53}, // 0.278793
{0x0000c00000002000, 53}, // 0.270705
{0x0001800000002000, 53}, // 0.274012
{0x0002800000002000, 41}, // 0.265217
{0x0004800000002000, 41}, // 0.270485
{0x0008800000002000, 41}, // 0.272784
{0x0010800000002000, 41}, // 0.267043
{0x0020800000002000, 41}, // 0.277744
{0x0040800000002000, 41}, // 0.268819
{0x0080800000002000, 41}, // 0.26565
{0x0100800000002000, 41}, // 0.263242
{0x0200800000002000, 41}, // 0.262798
{0x0400800000002000, 41}, // 0.262886
{0x0800800000002000, 41}, // 0.267852
{0x0000040000004001, 36}, // 0.258174
{0x0000040000004002, 36}, // 0.261059
{0x0000040000004004, 3}, // 0.266828
{0x0000040000004008, 36}, // 0.263103
{0x0000040000004010, 36}, // 0.254834
{0x0000040000004020, 36}, // 0.244702
{0x0000040000004040, 36}, // 0.247601
{0x0000040000004080, 36}, // 0.254086
{0x0000040000004100, 48}, // 0.247848
{0x0000040000004200, 36}, // 0.254531
{0x0000040000004400, 48}, // 0.246679
{0x0000040000004800, 36}, // 0.26379
{0x0000040000005000, 2}, // 0.272526
{0x0000040000006000, 2}, // 0.252571
{0x000004000000c000, 27}, // 0.247776
{0x0000040000014000, 48}, // 0.261986
{0x0000040000024000, 27}, // 0.272318
{0x0000040000044000, 47}, // 0.260599
{0x0000040000084000, 36}, // 0.251259
{0x0000040000104000, 48}, // 0.246027
{0x0000040000204000, 48}, // 0.244818
{0x0000040000404000, 48}, // 0.25217
{0x0000040000804000, 36}, // 0.244544
{0x0000040001004000, 48}, // 0.247171
{0x0000040002004000, 48}, // 0.256229
{0x0000040004004000, 27}, // 0.260632
{0x0000040008004000, 36}, // 0.26507
{0x0000040010004000, 27}, // 0.263545
{0x0000040020004000, 36}, // 0.255858
{0x0000040040004000, 36}, // 0.255087
{0x0000040080004000, 48}, // 0.246572
{0x0000040100004000, 36}, // 0.24427
{0x0000040200004000, 36}, // 0.246208
{0x0000040400004000, 48}, // 0.244409
{0x0000040800004000, 36}, // 0.256086
{0x0000041000004000, 44}, // 0.266991
{0x0000042000004000, 48}, // 0.250765
{0x0000044000004000, 36}, // 0.258436
{0x0000048000004000, 2}, // 0.257392
{0x0000050000004000, 36}, // 0.243666
{0x0000060000004000, 48}, // 0.26576
{0x00000c0000004000, 36}, // 0.258728
{0x0000140000004000, 36}, // 0.273364
{0x0000240000004000, 36}, // 0.270174
{0x0000440000004000, 28}, // 0.249533
{0x0000840000004000, 45}, // 0.269009
{0x0001040000004000, 36}, // 0.26664
{0x0002040000004000, 36}, // 0.247696
{0x0004040000004000, 48}, // 0.260175
{0x0008040000004000, 48}, // 0.258188
{0x0010040000004000, 27}, // 0.246263
{0x0020040000004000, 48}, // 0.265092
{0x0040040000004000, 48}, // 0.254793
{0x0080040000004000, 48}, // 0.24925
{0x0100040000004000, 48}, // 0.246568
{0x0200040000004000, 48}, // 0.244226
{0x0400040000004000, 48}, // 0.248117
{0x0800040000004000, 36}, // 0.255194
{0x0000000000008005, 1}, // 0.254134
{0x0000000000008006, 3}, // 0.266725
{0x000000000000800c, 1}, // 0.263349