1.000000; 4;
1.000000; 6;
1.000000; 6;
1.000000; 6;
1.000000; 6;
1.000000; 4;
1.000000; 6;
1.000000; 6;
1.000000; 4;
2.000000; 12;
2.000000; 12;
2.000000; 12;
2.000000; 12;
2.000000; 12;
2.000000; 12;
2.000000; 10;
2.000000; 10;
2.000000; 10;
4.000000; 24;
4.000000; 24;
4.000000; 22;
4.000000; 24;
4.000000; 26;
4.000000; 20;
4.000000; 24;
4.000000; 24;
4.000000; 22;
8.000000; 50;
8.000000; 44;
8.000000; 48;
8.000000; 50;
8.000000; 46;
8.000000; 52;
8.000000; 50;
8.000000; 44;
8.000000; 48;
16.000000; 98;
16.000000; 94;
16.000000; 100;
16.000000; 100;
16.000000; 94;
16.000000; 98;
16.000000; 100;
16.000000; 98;
16.000000; 98;
32.000000; 202;
32.000000; 198;
32.000000; 202;
32.000000; 208;
32.000000; 198;
32.000000; 202;
32.000000; 200;
32.000000; 194;
32.000000; 196;
64.000000; 408;
64.000000; 406;
64.000000; 418;
64.000000; 414;
64.000000; 400;
64.000000; 412;
64.000000; 410;
64.000000; 406;
64.000000; 420;
128.000000; 841;
128.000000; 852;
128.000000; 840;
128.000000; 840;
128.000000; 844;
128.000000; 834;
128.000000; 844;
128.000000; 848;
128.000000; 834;
256.000000; 1749;
256.000000; 1731;
256.000000; 1730;
256.000000; 1755;
256.000000; 1733;
256.000000; 1743;
256.000000; 1748;
256.000000; 1752;
256.000000; 1741;
512.000000; 3612;
512.000000; 3605;
512.000000; 3594;
512.000000; 3603;
512.000000; 3605;
512.000000; 3588;
512.000000; 3606;
512.000000; 3609;
512.000000; 3544;
1024.000000; 7460;
1024.000000; 7442;
1024.000000; 7379;
1024.000000; 7432;
1024.000000; 7384;
1024.000000; 7407;
1024.000000; 7451;
1024.000000; 7434;
1024.000000; 7410;
2048.000000; 15279;
2048.000000; 15281;
2048.000000; 15317;
2048.000000; 15280;
2048.000000; 15316;
2048.000000; 15335;
2048.000000; 15249;
2048.000000; 15262;
2048.000000; 15317;
4096.000000; 31702;
4096.000000; 31636;
4096.000000; 31539;
4096.000000; 31719;
4096.000000; 31637;
4096.000000; 31591;
4096.000000; 31676;
4096.000000; 31648;
4096.000000; 31534;
8192.000000; 65331;
8192.000000; 65313;
8192.000000; 65298;
8192.000000; 65404;
8192.000000; 65371;
8192.000000; 65378;
8192.000000; 65315;
8192.000000; 65471;
8192.000000; 65325;
16384.000000; 135048;
16384.000000; 134937;
16384.000000; 135130;
16384.000000; 134942;
32768.000000; 278645;
32768.000000; 279111;
32768.000000; 278937;
32768.000000; 279181;
65536.000000; 576019;
65536.000000; 575757;
65536.000000; 576098;
65536.000000; 576141;
1.333333; 8;
1.333333; 6;
1.333333; 8;
1.333333; 8;
2.666667; 16;
2.666667; 14;
2.666667; 16;
2.666667; 14;
5.333333; 30;
5.333333; 32;
5.333333; 28;
5.333333; 34;
10.666667; 64;
10.666667; 64;
10.666667; 64;
10.666667; 64;
21.333333; 128;
21.333333; 138;
21.333333; 128;
21.333333; 136;
42.666667; 270;
42.666667; 272;
42.666667; 272;
42.666667; 270;
85.333333; 550;
85.333333; 552;
85.333333; 564;
85.333333; 562;
170.666667; 1156;
170.666667; 1135;
170.666667; 1144;
170.666667; 1128;
341.333333; 2363;
341.333333; 2359;
341.333333; 2346;
341.333333; 2343;
682.666667; 4859;
682.666667; 4878;
682.666667; 4857;
682.666667; 4866;
1365.333333; 10060;
1365.333333; 10069;
1365.333333; 10032;
1365.333333; 9999;
2730.666667; 20771;
2730.666667; 20758;
2730.666667; 20754;
2730.666667; 20661;
5461.333333; 42804;
5461.333333; 42731;
5461.333333; 42731;
5461.333333; 42716;
10922.666667; 88337;
10922.666667; 88347;
10922.666667; 88304;
10922.666667; 88367;
21845.333333; 182622;
21845.333333; 182649;
21845.333333; 182228;
21845.333333; 182544;
43690.666667; 376944;
43690.666667; 376910;
43690.666667; 376628;
43690.666667; 376605;
87381.333333; 778004;
87381.333333; 778575;
87381.333333; 778444;
87381.333333; 778632;
1.333333; 8;
1.333333; 6;
1.333333; 8;
1.333333; 8;
1.333333; 8;
1.333333; 8;
1.333333; 6;
1.333333; 8;
2.666667; 14;
2.666667; 16;
2.666667; 14;
2.666667; 14;
2.666667; 12;
2.666667; 16;
2.666667; 16;
2.666667; 16;
5.333333; 32;
5.333333; 30;
5.333333; 30;
5.333333; 32;
5.333333; 32;
5.333333; 30;
5.333333; 34;
5.333333; 34;
10.666667; 68;
10.666667; 64;
10.666667; 64;
10.666667; 68;
10.666667; 64;
10.666667; 64;
10.666667; 66;
10.666667; 62;
21.333333; 132;
21.333333; 138;
21.333333; 128;
21.333333; 132;
21.333333; 136;
21.333333; 128;
21.333333; 130;
21.333333; 138;
42.666667; 270;
42.666667; 268;
42.666667; 272;
42.666667; 278;
42.666667; 266;
42.666667; 270;
42.666667; 268;
42.666667; 268;
85.333333; 554;
85.333333; 540;
85.333333; 554;
85.333333; 562;
85.333333; 550;
85.333333; 556;
85.333333; 556;
85.333333; 552;
170.666667; 1144;
170.666667; 1148;
170.666667; 1144;
170.666667; 1130;
170.666667; 1134;
170.666667; 1144;
170.666667; 1128;
170.666667; 1136;
341.333333; 2375;
341.333333; 2351;
341.333333; 2370;
341.333333; 2367;
341.333333; 2345;
341.333333; 2342;
341.333333; 2350;
341.333333; 2326;
682.666667; 4873;
682.666667; 4877;
682.666667; 4818;
682.666667; 4815;
682.666667; 4836;
682.666667; 4866;
682.666667; 4879;
682.666667; 4868;
1365.333333; 10041;
1365.333333; 10030;
1365.333333; 10045;
1365.333333; 10014;
1365.333333; 9999;
1365.333333; 10036;
1365.333333; 9999;
1365.333333; 9973;
2730.666667; 20732;
2730.666667; 20714;
2730.666667; 20685;
2730.666667; 20639;
2730.666667; 20641;
2730.666667; 20728;
2730.666667; 20692;
2730.666667; 20587;
5461.333333; 42723;
5461.333333; 42730;
5461.333333; 42763;
5461.333333; 42715;
5461.333333; 42790;
5461.333333; 42657;
5461.333333; 42705;
5461.333333; 42726;
10922.666667; 88342;
10922.666667; 88420;
10922.666667; 88256;
10922.666667; 88226;
10922.666667; 88331;
10922.666667; 88151;
10922.666667; 88400;
10922.666667; 88353;