1.000000; 4;
1.000000; 4;
1.000000; 6;
1.000000; 6;
1.000000; 4;
1.000000; 4;
1.000000; 6;
1.000000; 4;
1.000000; 4;
2.000000; 12;
2.000000; 12;
2.000000; 8;
2.000000; 12;
2.000000; 12;
2.000000; 10;
2.000000; 10;
2.000000; 8;
2.000000; 8;
4.000000; 20;
4.000000; 22;
4.000000; 22;
4.000000; 22;
4.000000; 20;
4.000000; 18;
4.000000; 20;
4.000000; 20;
4.000000; 20;
8.000000; 44;
8.000000; 42;
8.000000; 44;
8.000000; 40;
8.000000; 40;
8.000000; 42;
8.000000; 44;
8.000000; 44;
8.000000; 44;
16.000000; 88;
16.000000; 90;
16.000000; 89;
16.000000; 90;
16.000000; 92;
16.000000; 92;
16.000000; 86;
16.000000; 90;
16.000000; 94;
32.000000; 192;
32.000000; 190;
32.000000; 190;
32.000000; 188;
32.000000; 190;
32.000000; 186;
32.000000; 194;
32.000000; 184;
32.000000; 192;
64.000000; 403;
64.000000; 408;
64.000000; 402;
64.000000; 396;
64.000000; 407;
64.000000; 394;
64.000000; 400;
64.000000; 398;
64.000000; 398;
128.000000; 837;
128.000000; 854;
128.000000; 847;
128.000000; 841;
128.000000; 856;
128.000000; 850;
128.000000; 840;
128.000000; 863;
128.000000; 849;
256.000000; 1825;
256.000000; 1830;
256.000000; 1848;
256.000000; 1824;
256.000000; 1834;
256.000000; 1850;
256.000000; 1806;
256.000000; 1840;
256.000000; 1852;
512.000000; 4013;
512.000000; 3935;
512.000000; 3949;
512.000000; 4009;
512.000000; 3948;
512.000000; 3958;
512.000000; 4037;
512.000000; 3997;
512.000000; 3981;
1024.000000; 8631;
1024.000000; 8584;
1024.000000; 8537;
1024.000000; 8695;
1024.000000; 8580;
1024.000000; 8589;
1024.000000; 8666;
1024.000000; 8579;
1024.000000; 8525;
2048.000000; 18537;
2048.000000; 18419;
2048.000000; 18469;
2048.000000; 18560;
2048.000000; 18380;
2048.000000; 18470;
2048.000000; 18526;
2048.000000; 18434;
2048.000000; 18522;
4096.000000; 39688;
4096.000000; 39635;
4096.000000; 39486;
4096.000000; 39654;
4096.000000; 39691;
4096.000000; 39457;
4096.000000; 39777;
4096.000000; 39735;
4096.000000; 39681;
8192.000000; 85106;
8192.000000; 84863;
8192.000000; 84870;
8192.000000; 85021;
8192.000000; 84968;
8192.000000; 84866;
8192.000000; 84921;
8192.000000; 84935;
8192.000000; 84845;
16384.000000; 182508;
16384.000000; 182275;
16384.000000; 182289;
16384.000000; 182407;
16384.000000; 182736;
16384.000000; 182502;
16384.000000; 182474;
16384.000000; 182524;
16384.000000; 182282;
32768.000000; 392607;
32768.000000; 392536;
32768.000000; 392620;
32768.000000; 392231;
1.333333; 4;
1.333333; 6;
1.333333; 6;
1.333333; 6;
1.333333; 6;
1.333333; 6;
1.333333; 6;
1.333333; 6;
1.333333; 8;
2.666667; 12;
2.666667; 14;
2.666667; 14;
2.666667; 12;
2.666667; 12;
2.666667; 12;
2.666667; 14;
2.666667; 14;
2.666667; 14;
5.333333; 24;
5.333333; 30;
5.333333; 30;
5.333333; 26;
5.333333; 28;
5.333333; 28;
5.333333; 26;
5.333333; 30;
5.333333; 26;
10.666667; 58;
10.666667; 60;
10.666667; 62;
10.666667; 54;
10.666667; 60;
10.666667; 60;
10.666667; 54;
10.666667; 60;
10.666667; 58;
21.333333; 122;
21.333333; 122;
21.333333; 124;
21.333333; 122;
21.333333; 124;
21.333333; 126;
21.333333; 120;
21.333333; 128;
21.333333; 121;
42.666667; 260;
42.666667; 264;
42.666667; 258;
42.666667; 262;
42.666667; 260;
42.666667; 252;
42.666667; 264;
42.666667; 256;
42.666667; 260;
85.333333; 548;
85.333333; 550;
85.333333; 556;
85.333333; 542;
85.333333; 552;
85.333333; 543;
85.333333; 542;
85.333333; 544;
85.333333; 549;
170.666667; 1149;
170.666667; 1192;
170.666667; 1198;
170.666667; 1150;
170.666667; 1180;
170.666667; 1162;
170.666667; 1160;
170.666667; 1180;
170.666667; 1174;
341.333333; 2545;
341.333333; 2535;
341.333333; 2524;
341.333333; 2533;
341.333333; 2522;
341.333333; 2516;
341.333333; 2533;
341.333333; 2518;
341.333333; 2510;
682.666667; 5519;
682.666667; 5472;
682.666667; 5435;
682.666667; 5542;
682.666667; 5457;
682.666667; 5529;
682.666667; 5512;
682.666667; 5465;
682.666667; 5436;
1365.333333; 11866;
1365.333333; 11832;
1365.333333; 11730;
1365.333333; 11871;
1365.333333; 11865;
1365.333333; 11810;
1365.333333; 11840;
1365.333333; 11852;
1365.333333; 11782;
2730.666667; 25351;
2730.666667; 25434;
2730.666667; 25323;
2730.666667; 25343;
2730.666667; 25408;
2730.666667; 25385;
2730.666667; 25429;
2730.666667; 25448;
2730.666667; 25467;
5461.333333; 54337;
5461.333333; 54345;
5461.333333; 54512;
5461.333333; 54273;
5461.333333; 54382;
5461.333333; 54548;
5461.333333; 54361;
5461.333333; 54508;
5461.333333; 54408;
10922.666667; 116831;
10922.666667; 116680;
10922.666667; 116540;
10922.666667; 116593;
10922.666667; 116765;
10922.666667; 116530;
10922.666667; 116605;
10922.666667; 116711;
10922.666667; 116703;