1.000000; 4;
1.000000; 6;
1.000000; 6;
1.000000; 6;
1.000000; 8;
1.000000; 8;
1.000000; 8;
1.000000; 8;
1.000000; 8;
2.000000; 12;
2.000000; 16;
2.000000; 16;
2.000000; 16;
2.000000; 16;
2.000000; 16;
2.000000; 14;
2.000000; 16;
2.000000; 16;
4.000000; 34;
4.000000; 32;
4.000000; 30;
4.000000; 30;
4.000000; 32;
4.000000; 30;
4.000000; 34;
4.000000; 32;
4.000000; 30;
8.000000; 70;
8.000000; 64;
8.000000; 64;
8.000000; 66;
8.000000; 62;
8.000000; 62;
8.000000; 68;
8.000000; 64;
8.000000; 60;
16.000000; 134;
16.000000; 130;
16.000000; 128;
16.000000; 130;
16.000000; 128;
16.000000; 126;
16.000000; 130;
16.000000; 126;
16.000000; 126;
32.000000; 262;
32.000000; 258;
32.000000; 262;
32.000000; 262;
32.000000; 262;
32.000000; 258;
32.000000; 266;
32.000000; 260;
32.000000; 260;
64.000000; 526;
64.000000; 524;
64.000000; 534;
64.000000; 530;
64.000000; 524;
64.000000; 538;
64.000000; 526;
64.000000; 528;
64.000000; 534;
128.000000; 1060;
128.000000; 1068;
128.000000; 1066;
128.000000; 1058;
128.000000; 1068;
128.000000; 1064;
128.000000; 1076;
128.000000; 1076;
128.000000; 1064;
256.000000; 2156;
256.000000; 2158;
256.000000; 2150;
256.000000; 2172;
256.000000; 2170;
256.000000; 2154;
256.000000; 2154;
256.000000; 2156;
256.000000; 2152;
512.000000; 4377;
512.000000; 4340;
512.000000; 4374;
512.000000; 4379;
512.000000; 4343;
512.000000; 4378;
512.000000; 4382;
512.000000; 4344;
512.000000; 4376;
1024.000000; 8870;
1024.000000; 8882;
1024.000000; 8852;
1024.000000; 8842;
1024.000000; 8848;
1024.000000; 8852;
1024.000000; 8868;
1024.000000; 8852;
1024.000000; 8826;
2048.000000; 17945;
2048.000000; 17919;
2048.000000; 17949;
2048.000000; 17920;
2048.000000; 17919;
2048.000000; 17904;
2048.000000; 17913;
2048.000000; 17917;
2048.000000; 17898;
4096.000000; 36204;
4096.000000; 36273;
4096.000000; 36300;
4096.000000; 36259;
4096.000000; 36299;
4096.000000; 36347;
4096.000000; 36308;
4096.000000; 36259;
4096.000000; 36325;
8192.000000; 73504;
8192.000000; 73423;
8192.000000; 73378;
8192.000000; 73564;
8192.000000; 73396;
8192.000000; 73397;
8192.000000; 73591;
8192.000000; 73505;
8192.000000; 73478;
16384.000000; 148630;
16384.000000; 148673;
16384.000000; 148707;
16384.000000; 148884;
16384.000000; 148847;
16384.000000; 148676;
16384.000000; 148929;
16384.000000; 148767;
16384.000000; 148699;
32768.000000; 301024;
32768.000000; 301200;
32768.000000; 301235;
32768.000000; 301310;
65536.000000; 609568;
65536.000000; 609656;
1.333333; 12;
1.333333; 10;
1.333333; 8;
1.333333; 10;
1.333333; 12;
1.333333; 10;
1.333333; 10;
1.333333; 10;
1.333333; 8;
2.666667; 24;
2.666667; 20;
2.666667; 20;
2.666667; 22;
2.666667; 20;
2.666667; 20;
2.666667; 20;
2.666667; 20;
2.666667; 20;
5.333333; 50;
5.333333; 44;
5.333333; 42;
5.333333; 50;
5.333333; 44;
5.333333; 44;
5.333333; 44;
5.333333; 40;
5.333333; 40;
10.666667; 90;
10.666667; 86;
10.666667; 84;
10.666667; 88;
10.666667; 84;
10.666667; 82;
10.666667; 90;
10.666667; 86;
10.666667; 84;
21.333333; 174;
21.333333; 172;
21.333333; 170;
21.333333; 174;
21.333333; 172;
21.333333; 170;
21.333333; 178;
21.333333; 168;
21.333333; 168;
42.666667; 350;
42.666667; 354;
42.666667; 348;
42.666667; 348;
42.666667; 346;
42.666667; 344;
42.666667; 348;
42.666667; 350;
42.666667; 348;
85.333333; 704;
85.333333; 702;
85.333333; 714;
85.333333; 704;
85.333333; 706;
85.333333; 712;
85.333333; 706;
85.333333; 702;
85.333333; 708;
170.666667; 1428;
170.666667; 1430;
170.666667; 1432;
170.666667; 1430;
170.666667; 1424;
170.666667; 1428;
170.666667; 1440;
170.666667; 1432;
170.666667; 1420;
341.333333; 2898;
341.333333; 2876;
341.333333; 2898;
341.333333; 2904;
341.333333; 2881;
341.333333; 2894;
341.333333; 2878;
341.333333; 2882;
341.333333; 2890;
682.666667; 5857;
682.666667; 5859;
682.666667; 5854;
682.666667; 5866;
682.666667; 5867;
682.666667; 5850;
682.666667; 5856;
682.666667; 5870;
682.666667; 5864;
1365.333333; 11860;
1365.333333; 11879;
1365.333333; 11841;
1365.333333; 11856;
1365.333333; 11838;
1365.333333; 11826;
1365.333333; 11845;
1365.333333; 11866;
1365.333333; 11829;
2730.666667; 24035;
2730.666667; 24040;
2730.666667; 24003;
2730.666667; 24022;
2730.666667; 23976;
2730.666667; 24027;
2730.666667; 24038;
2730.666667; 24045;
2730.666667; 23996;
5461.333333; 48620;
5461.333333; 48533;
5461.333333; 48712;
5461.333333; 48548;
5461.333333; 48591;
5461.333333; 48654;
5461.333333; 48562;
5461.333333; 48598;
5461.333333; 48636;
10922.666667; 98291;
10922.666667; 98505;
10922.666667; 98576;
10922.666667; 98358;
10922.666667; 98469;
10922.666667; 98522;
10922.666667; 98326;
10922.666667; 98468;
10922.666667; 98479;
21845.333333; 199212;
21845.333333; 199225;
21845.333333; 199352;
21845.333333; 199341;
21845.333333; 199579;
21845.333333; 199410;
21845.333333; 199320;
21845.333333; 199501;
43690.666667; 403477;
43690.666667; 403076;
43690.666667; 403711;
43690.666667; 403320;
87381.333333; 816483;