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; 8;
2.000000; 8;
2.000000; 12;
2.000000; 10;
2.000000; 10;
2.000000; 12;
4.000000; 20;
4.000000; 20;
4.000000; 20;
4.000000; 20;
4.000000; 20;
4.000000; 20;
4.000000; 22;
4.000000; 22;
4.000000; 22;
8.000000; 40;
8.000000; 42;
8.000000; 46;
8.000000; 42;
8.000000; 44;
8.000000; 48;
8.000000; 42;
8.000000; 42;
8.000000; 48;
16.000000; 90;
16.000000; 94;
16.000000; 90;
16.000000; 88;
16.000000; 90;
16.000000; 88;
16.000000; 92;
16.000000; 96;
16.000000; 92;
32.000000; 192;
32.000000; 192;
32.000000; 188;
32.000000; 190;
32.000000; 190;
32.000000; 192;
32.000000; 194;
32.000000; 192;
32.000000; 186;
64.000000; 400;
64.000000; 390;
64.000000; 405;
64.000000; 400;
64.000000; 392;
64.000000; 400;
64.000000; 408;
64.000000; 405;
64.000000; 404;
128.000000; 832;
128.000000; 838;
128.000000; 842;
128.000000; 867;
128.000000; 852;
128.000000; 850;
128.000000; 857;
128.000000; 832;
128.000000; 842;
256.000000; 1787;
256.000000; 1802;
256.000000; 1796;
256.000000; 1786;
256.000000; 1802;
256.000000; 1805;
256.000000; 1790;
256.000000; 1795;
256.000000; 1806;
512.000000; 3803;
512.000000; 3849;
512.000000; 3828;
512.000000; 3814;
512.000000; 3842;
512.000000; 3845;
512.000000; 3794;
512.000000; 3865;
512.000000; 3846;
1024.000000; 8163;
1024.000000; 8172;
1024.000000; 8144;
1024.000000; 8166;
1024.000000; 8223;
1024.000000; 8123;
1024.000000; 8142;
1024.000000; 8129;
1024.000000; 8136;
2048.000000; 17329;
2048.000000; 17281;
2048.000000; 17339;
2048.000000; 17279;
2048.000000; 17156;
2048.000000; 17292;
2048.000000; 17314;
2048.000000; 17234;
2048.000000; 17360;
4096.000000; 36607;
4096.000000; 36710;
4096.000000; 36558;
4096.000000; 36467;
4096.000000; 36695;
4096.000000; 36592;
4096.000000; 36613;
4096.000000; 36741;
4096.000000; 36583;
8192.000000; 77610;
8192.000000; 77628;
8192.000000; 77798;
8192.000000; 77608;
8192.000000; 77733;
8192.000000; 77808;
8192.000000; 77641;
8192.000000; 77973;
8192.000000; 78018;
16384.000000; 165067;
16384.000000; 165463;
16384.000000; 165167;
16384.000000; 165018;
16384.000000; 165310;
16384.000000; 165252;
16384.000000; 164995;
16384.000000; 165339;
16384.000000; 164976;
32768.000000; 350443;
32768.000000; 350479;
32768.000000; 351015;
32768.000000; 350945;
32768.000000; 350917;
32768.000000; 351123;
32768.000000; 350452;
32768.000000; 350859;
32768.000000; 350953;
65536.000000; 745478;
65536.000000; 746007;
65536.000000; 745928;
65536.000000; 744877;
65536.000000; 745252;
65536.000000; 745762;
65536.000000; 745456;
1.333333; 4;
1.333333; 6;
1.333333; 6;
1.333333; 6;
1.333333; 6;
1.333333; 8;
1.333333; 6;
1.333333; 8;
1.333333; 8;
2.666667; 12;
2.666667; 12;
2.666667; 14;
2.666667; 12;
2.666667; 12;
2.666667; 14;
2.666667; 14;
2.666667; 14;
2.666667; 16;
5.333333; 26;
5.333333; 28;
5.333333; 28;
5.333333; 28;
5.333333; 28;
5.333333; 28;
5.333333; 28;
5.333333; 30;
5.333333; 28;
10.666667; 54;
10.666667; 60;
10.666667; 58;
10.666667; 60;
10.666667; 60;
10.666667; 60;
10.666667; 60;
10.666667; 60;
10.666667; 60;
21.333333; 128;
21.333333; 126;
21.333333; 122;
21.333333; 128;
21.333333; 120;
21.333333; 118;
21.333333; 132;
21.333333; 126;
21.333333; 120;
42.666667; 266;
42.666667; 258;
42.666667; 256;
42.666667; 264;
42.666667; 254;
42.666667; 256;
42.666667; 266;
42.666667; 256;
42.666667; 250;
85.333333; 544;
85.333333; 544;
85.333333; 546;
85.333333; 549;
85.333333; 538;
85.333333; 552;
85.333333; 547;
85.333333; 546;
85.333333; 556;
170.666667; 1166;
170.666667; 1167;
170.666667; 1160;
170.666667; 1170;
170.666667; 1140;
170.666667; 1151;
170.666667; 1149;
170.666667; 1149;
170.666667; 1143;
341.333333; 2471;
341.333333; 2436;
341.333333; 2435;
341.333333; 2468;
341.333333; 2454;
341.333333; 2450;
341.333333; 2505;
341.333333; 2477;
341.333333; 2452;
682.666667; 5256;
682.666667; 5248;
682.666667; 5294;
682.666667; 5252;
682.666667; 5260;
682.666667; 5277;
682.666667; 5229;
682.666667; 5180;
682.666667; 5274;
1365.333333; 11117;
1365.333333; 11157;
1365.333333; 11150;
1365.333333; 11200;
1365.333333; 11154;
1365.333333; 11135;
1365.333333; 11095;
1365.333333; 11154;
1365.333333; 11158;
2730.666667; 23627;
2730.666667; 23604;
2730.666667; 23551;
2730.666667; 23546;
2730.666667; 23573;
2730.666667; 23591;
2730.666667; 23605;
2730.666667; 23588;
2730.666667; 23639;
5461.333333; 50028;
5461.333333; 49949;
5461.333333; 50161;
5461.333333; 50075;
5461.333333; 49973;
5461.333333; 49995;
5461.333333; 50046;
5461.333333; 49985;
5461.333333; 50026;
10922.666667; 106322;
10922.666667; 106270;
10922.666667; 106258;
10922.666667; 106372;
10922.666667; 106353;
10922.666667; 106283;
10922.666667; 106320;
10922.666667; 105970;
10922.666667; 106298;
21845.333333; 225883;
21845.333333; 225762;
21845.333333; 225833;
21845.333333; 225742;
21845.333333; 225901;
21845.333333; 225480;
21845.333333; 225707;
21845.333333; 225741;
21845.333333; 225743;
43690.666667; 479751;
43690.666667; 479715;
43690.666667; 479802;
43690.666667; 479843;
43690.666667; 479626;
43690.666667; 479903;
43690.666667; 479782;
43690.666667; 479812;
43690.666667; 479843;
87381.333333; 1019615;
87381.333333; 1019049;
87381.333333; 1019436;