1.000000; 10;
1.000000; 10;
1.000000; 12;
1.000000; 12;
2.000000; 22;
2.000000; 20;
2.000000; 22;
2.000000; 22;
4.000000; 44;
4.000000; 44;
4.000000; 44;
4.000000; 44;
8.000000; 88;
8.000000; 86;
8.000000; 92;
8.000000; 92;
16.000000; 180;
16.000000; 184;
16.000000; 180;
16.000000; 184;
32.000000; 364;
32.000000; 370;
32.000000; 368;
32.000000; 374;
64.000000; 742;
64.000000; 738;
64.000000; 736;
64.000000; 736;
128.000000; 1482;
128.000000; 1486;
128.000000; 1500;
128.000000; 1488;
256.000000; 2994;
256.000000; 2996;
256.000000; 2986;
256.000000; 3000;
512.000000; 6018;
512.000000; 6030;
512.000000; 6022;
512.000000; 6046;
1024.000000; 12129;
1024.000000; 12116;
1024.000000; 12150;
1024.000000; 12120;
2048.000000; 24441;
2048.000000; 24475;
2048.000000; 24391;
2048.000000; 24490;
4096.000000; 49226;
4096.000000; 49274;
4096.000000; 49282;
4096.000000; 49285;
8192.000000; 99218;
8192.000000; 99199;
8192.000000; 99234;
8192.000000; 99191;
16384.000000; 199847;
16384.000000; 199823;
16384.000000; 199783;
16384.000000; 199697;
32768.000000; 402359;
32768.000000; 402289;
32768.000000; 402206;
32768.000000; 402133;
65536.000000; 810000;
65536.000000; 810240;
65536.000000; 810025;
65536.000000; 810000;
131072.000000; 1631005;
1.000000; 10;
1.000000; 8;
1.000000; 10;
1.000000; 10;
1.000000; 8;
1.000000; 12;
1.000000; 12;
1.000000; 12;
2.000000; 22;
2.000000; 20;
2.000000; 22;
2.000000; 22;
2.000000; 22;
2.000000; 22;
2.000000; 22;
2.000000; 20;
4.000000; 44;
4.000000; 44;
4.000000; 44;
4.000000; 42;
4.000000; 42;
4.000000; 44;
4.000000; 44;
4.000000; 44;
8.000000; 88;
8.000000; 90;
8.000000; 88;
8.000000; 88;
8.000000; 94;
8.000000; 92;
8.000000; 92;
8.000000; 94;
16.000000; 186;
16.000000; 184;
16.000000; 180;
16.000000; 184;
16.000000; 184;
16.000000; 180;
16.000000; 186;
16.000000; 180;
32.000000; 366;
32.000000; 370;
32.000000; 370;
32.000000; 368;
32.000000; 374;
32.000000; 364;
32.000000; 364;
32.000000; 368;
64.000000; 740;
64.000000; 738;
64.000000; 736;
64.000000; 734;
64.000000; 736;
64.000000; 746;
64.000000; 744;
64.000000; 742;
128.000000; 1488;
128.000000; 1488;
128.000000; 1492;
128.000000; 1488;
128.000000; 1490;
128.000000; 1500;
128.000000; 1492;
128.000000; 1492;
256.000000; 2996;
256.000000; 3002;
256.000000; 2990;
256.000000; 2994;
256.000000; 2998;
256.000000; 3002;
256.000000; 2996;
256.000000; 3002;
512.000000; 6047;
512.000000; 6018;
512.000000; 6020;
512.000000; 6048;
512.000000; 6024;
512.000000; 6004;
512.000000; 6038;
512.000000; 6014;
1024.000000; 12132;
1024.000000; 12148;
1024.000000; 12140;
1024.000000; 12146;
1024.000000; 12154;
1024.000000; 12125;
1024.000000; 12130;
1024.000000; 12137;
2048.000000; 24519;
2048.000000; 24472;
2048.000000; 24449;
2048.000000; 24506;
2048.000000; 24487;
2048.000000; 24394;
2048.000000; 24473;
2048.000000; 24466;
4096.000000; 49287;
4096.000000; 49313;
4096.000000; 49287;
4096.000000; 49237;
4096.000000; 49256;
4096.000000; 49275;
4096.000000; 49277;
4096.000000; 49276;
8192.000000; 99225;
8192.000000; 99196;
8192.000000; 99211;
8192.000000; 99256;
8192.000000; 99256;
8192.000000; 99202;
8192.000000; 99250;
8192.000000; 99204;
16384.000000; 199735;
16384.000000; 199921;
16384.000000; 199756;
16384.000000; 199651;
16384.000000; 199766;
16384.000000; 199855;
16384.000000; 199763;
16384.000000; 199862;
32768.000000; 402508;
1.333333; 14;
1.333333; 14;
1.333333; 12;
1.333333; 14;
1.333333; 14;
1.333333; 14;
1.333333; 16;
1.333333; 16;
1.333333; 14;
2.666667; 28;
2.666667; 26;
2.666667; 26;
2.666667; 30;
2.666667; 30;
2.666667; 30;
2.666667; 30;
2.666667; 30;
2.666667; 30;
5.333333; 58;
5.333333; 58;
5.333333; 58;
5.333333; 62;
5.333333; 62;
5.333333; 58;
5.333333; 60;
5.333333; 60;
5.333333; 58;
10.666667; 118;
10.666667; 118;
10.666667; 122;
10.666667; 118;
10.666667; 118;
10.666667; 122;
10.666667; 124;
10.666667; 124;
10.666667; 126;
21.333333; 248;
21.333333; 246;
21.333333; 250;
21.333333; 248;
21.333333; 246;
21.333333; 248;
21.333333; 240;
21.333333; 242;
21.333333; 240;
42.666667; 498;
42.666667; 498;
42.666667; 492;
42.666667; 488;
42.666667; 488;
42.666667; 488;
42.666667; 490;
42.666667; 490;
42.666667; 484;
85.333333; 1000;
85.333333; 1002;
85.333333; 1000;
85.333333; 982;
85.333333; 984;
85.333333; 984;
85.333333; 980;
85.333333; 982;
85.333333; 988;
170.666667; 2000;
170.666667; 1996;
170.666667; 1998;
170.666667; 1996;
170.666667; 1996;
170.666667; 1994;
170.666667; 1984;
170.666667; 1976;
170.666667; 1972;
341.333333; 4006;
341.333333; 4000;
341.333333; 4011;
341.333333; 4012;
341.333333; 3988;
341.333333; 3988;
341.333333; 4022;
341.333333; 4012;
341.333333; 4019;
682.666667; 8090;
682.666667; 8076;
682.666667; 8052;
682.666667; 8072;
682.666667; 8050;
682.666667; 8030;
682.666667; 8070;
682.666667; 8052;
682.666667; 8024;
1365.333333; 16260;
1365.333333; 16241;
1365.333333; 16219;
1365.333333; 16233;
1365.333333; 16218;
1365.333333; 16217;
1365.333333; 16239;
1365.333333; 16224;
1365.333333; 16230;
2730.666667; 32700;
2730.666667; 32692;
2730.666667; 32702;
2730.666667; 32729;
2730.666667; 32707;
2730.666667; 32721;
2730.666667; 32695;
2730.666667; 32724;
2730.666667; 32724;
5461.333333; 65871;
5461.333333; 65861;
5461.333333; 65868;
5461.333333; 65846;
5461.333333; 65856;
5461.333333; 65878;
5461.333333; 65879;
5461.333333; 65892;
5461.333333; 65903;
10922.666667; 132653;
10922.666667; 132682;
10922.666667; 132683;
10922.666667; 132638;
10922.666667; 132673;
10922.666667; 132660;
10922.666667; 132574;
10922.666667; 132663;
10922.666667; 132614;
21845.333333; 267101;
21845.333333; 267132;
21845.333333; 267172;
21845.333333; 267016;
21845.333333; 267031;
21845.333333; 267100;
21845.333333; 267149;
21845.333333; 267083;
21845.333333; 267090;
43690.666667; 537948;
43690.666667; 537879;
43690.666667; 538010;
43690.666667; 537991;
43690.666667; 537924;
43690.666667; 537926;
43690.666667; 537815;
43690.666667; 537903;
43690.666667; 537794;
87381.333333; 1082933;
87381.333333; 1083210;