1.000000; 4;
1.000000; 4;
1.000000; 4;
1.000000; 4;
1.000000; 4;
1.000000; 4;
1.000000; 4;
1.000000; 6;
1.000000; 4;
2.000000; 8;
2.000000; 8;
2.000000; 10;
2.000000; 10;
2.000000; 10;
2.000000; 12;
2.000000; 8;
2.000000; 8;
2.000000; 8;
4.000000; 18;
4.000000; 20;
4.000000; 18;
4.000000; 20;
4.000000; 18;
4.000000; 20;
4.000000; 20;
4.000000; 20;
4.000000; 18;
8.000000; 42;
8.000000; 38;
8.000000; 40;
8.000000; 42;
8.000000; 40;
8.000000; 38;
8.000000; 42;
8.000000; 40;
8.000000; 40;
16.000000; 88;
16.000000; 92;
16.000000; 94;
16.000000; 91;
16.000000; 89;
16.000000; 91;
16.000000; 92;
16.000000; 85;
16.000000; 92;
32.000000; 198;
32.000000; 198;
32.000000; 190;
32.000000; 198;
32.000000; 198;
32.000000; 190;
32.000000; 192;
32.000000; 194;
32.000000; 196;
64.000000; 421;
64.000000; 416;
64.000000; 431;
64.000000; 430;
64.000000; 424;
64.000000; 430;
64.000000; 413;
64.000000; 420;
64.000000; 437;
128.000000; 955;
128.000000; 961;
128.000000; 953;
128.000000; 956;
128.000000; 969;
128.000000; 942;
128.000000; 976;
128.000000; 974;
128.000000; 1000;
256.000000; 2275;
256.000000; 2281;
256.000000; 2271;
256.000000; 2273;
256.000000; 2271;
256.000000; 2266;
256.000000; 2261;
256.000000; 2226;
256.000000; 2227;
512.000000; 5418;
512.000000; 5363;
512.000000; 5400;
512.000000; 5398;
512.000000; 5331;
512.000000; 5405;
512.000000; 5399;
512.000000; 5345;
512.000000; 5344;
1024.000000; 12787;
1024.000000; 12745;
1024.000000; 12728;
1024.000000; 12689;
1024.000000; 12632;
1024.000000; 12692;
1024.000000; 12704;
1024.000000; 12663;
1024.000000; 12634;
2048.000000; 29759;
2048.000000; 29494;
2048.000000; 29759;
2048.000000; 29698;
2048.000000; 29642;
2048.000000; 29709;
2048.000000; 29593;
2048.000000; 29471;
2048.000000; 29720;
4096.000000; 68400;
4096.000000; 68555;
4096.000000; 68488;
4096.000000; 68336;
4096.000000; 68516;
4096.000000; 68598;
4096.000000; 68279;
4096.000000; 68475;
4096.000000; 68586;
8192.000000; 157174;
8192.000000; 157220;
8192.000000; 157421;
8192.000000; 157511;
8192.000000; 157440;
8192.000000; 157023;
8192.000000; 157463;
8192.000000; 157541;
8192.000000; 157001;
16384.000000; 360922;
16384.000000; 361083;
16384.000000; 361458;
16384.000000; 361135;
16384.000000; 360889;
16384.000000; 361421;
16384.000000; 360950;
16384.000000; 360834;
16384.000000; 361248;
32768.000000; 832331;
32768.000000; 832157;
32768.000000; 832348;
32768.000000; 832002;
32768.000000; 831597;
32768.000000; 832142;
32768.000000; 832238;
32768.000000; 832035;
32768.000000; 832173;
65536.000000; 1920598;
65536.000000; 1920342;
65536.000000; 1919783;
65536.000000; 1920709;
1.333333; 6;
1.333333; 4;
1.333333; 6;
1.333333; 6;
1.333333; 4;
1.333333; 6;
1.333333; 6;
1.333333; 6;
1.333333; 6;
2.666667; 14;
2.666667; 12;
2.666667; 12;
2.666667; 12;
2.666667; 10;
2.666667; 12;
2.666667; 14;
2.666667; 12;
2.666667; 12;
5.333333; 26;
5.333333; 24;
5.333333; 28;
5.333333; 26;
5.333333; 24;
5.333333; 28;
5.333333; 26;
5.333333; 26;
5.333333; 32;
10.666667; 54;
10.666667; 56;
10.666667; 54;
10.666667; 62;
10.666667; 56;
10.666667; 60;
10.666667; 56;
10.666667; 56;
10.666667; 54;
21.333333; 126;
21.333333; 117;
21.333333; 118;
21.333333; 125;
21.333333; 120;
21.333333; 116;
21.333333; 126;
21.333333; 126;
21.333333; 122;
42.666667; 266;
42.666667; 269;
42.666667; 256;
42.666667; 266;
42.666667; 269;
42.666667; 262;
42.666667; 272;
42.666667; 275;
42.666667; 262;
85.333333; 593;
85.333333; 581;
85.333333; 601;
85.333333; 592;
85.333333; 576;
85.333333; 599;
85.333333; 588;
85.333333; 608;
85.333333; 602;
170.666667; 1372;
170.666667; 1380;
170.666667; 1388;
170.666667; 1373;
170.666667; 1367;
170.666667; 1379;
170.666667; 1348;
170.666667; 1362;
170.666667; 1350;
341.333333; 3213;
341.333333; 3226;
341.333333; 3232;
341.333333; 3195;
341.333333; 3277;
341.333333; 3273;
341.333333; 3214;
341.333333; 3257;
341.333333; 3246;
682.666667; 7682;
682.666667; 7740;
682.666667; 7719;
682.666667; 7728;
682.666667; 7743;
682.666667; 7729;
682.666667; 7726;
682.666667; 7749;
682.666667; 7700;
1365.333333; 18133;
1365.333333; 18070;
1365.333333; 18074;
1365.333333; 18014;
1365.333333; 18084;
1365.333333; 18075;
1365.333333; 18080;
1365.333333; 18101;
1365.333333; 18037;
2730.666667; 42122;
2730.666667; 41875;
2730.666667; 41896;
2730.666667; 42026;
2730.666667; 42042;
2730.666667; 41895;
2730.666667; 42022;
2730.666667; 42102;
2730.666667; 41839;
5461.333333; 96735;
5461.333333; 96778;
5461.333333; 96878;
5461.333333; 96605;
5461.333333; 96414;
5461.333333; 96656;
5461.333333; 96796;
5461.333333; 96741;
5461.333333; 96562;
10922.666667; 221914;
10922.666667; 222381;
10922.666667; 221966;
10922.666667; 221648;
21845.333333; 509972;
21845.333333; 510994;
21845.333333; 510091;
21845.333333; 510272;
43690.666667; 1177198;
43690.666667; 1178160;
43690.666667; 1177035;
43690.666667; 1177523;
87381.333333; 2717774;
87381.333333; 2719184;