1.000000; 6;
1.000000; 4;
1.000000; 4;
1.000000; 4;
1.000000; 4;
1.000000; 4;
1.000000; 4;
1.000000; 4;
1.000000; 4;
2.000000; 10;
2.000000; 8;
2.000000; 8;
2.000000; 12;
2.000000; 8;
2.000000; 8;
2.000000; 8;
2.000000; 8;
2.000000; 8;
4.000000; 18;
4.000000; 18;
4.000000; 16;
4.000000; 20;
4.000000; 18;
4.000000; 18;
4.000000; 20;
4.000000; 20;
4.000000; 20;
8.000000; 41;
8.000000; 40;
8.000000; 40;
8.000000; 42;
8.000000; 40;
8.000000; 40;
8.000000; 38;
8.000000; 40;
8.000000; 42;
16.000000; 92;
16.000000; 91;
16.000000; 88;
16.000000; 89;
16.000000; 89;
16.000000; 85;
16.000000; 90;
16.000000; 89;
16.000000; 92;
32.000000; 200;
32.000000; 202;
32.000000; 197;
32.000000; 205;
32.000000; 202;
32.000000; 201;
32.000000; 188;
32.000000; 195;
32.000000; 194;
64.000000; 439;
64.000000; 455;
64.000000; 451;
64.000000; 444;
64.000000; 458;
64.000000; 457;
64.000000; 442;
64.000000; 466;
64.000000; 460;
128.000000; 1118;
128.000000; 1042;
128.000000; 1091;
128.000000; 1066;
128.000000; 1070;
128.000000; 1102;
128.000000; 1110;
128.000000; 1070;
128.000000; 1061;
256.000000; 2802;
256.000000; 2822;
256.000000; 2786;
256.000000; 2776;
256.000000; 2765;
256.000000; 2764;
256.000000; 2710;
256.000000; 2833;
256.000000; 2804;
512.000000; 7595;
512.000000; 7562;
512.000000; 7700;
512.000000; 7544;
512.000000; 7629;
512.000000; 7652;
512.000000; 7568;
512.000000; 7570;
512.000000; 7570;
1024.000000; 21406;
1024.000000; 21487;
1024.000000; 21438;
1024.000000; 21456;
1024.000000; 21396;
1024.000000; 21500;
1024.000000; 21414;
1024.000000; 21470;
1024.000000; 21619;
2048.000000; 60720;
2048.000000; 61114;
2048.000000; 60916;
2048.000000; 60890;
2048.000000; 61197;
2048.000000; 60546;
2048.000000; 60576;
2048.000000; 61230;
2048.000000; 60692;
4096.000000; 172448;
4096.000000; 172864;
4096.000000; 172623;
4096.000000; 172394;
4096.000000; 172440;
4096.000000; 172362;
4096.000000; 172238;
4096.000000; 172551;
4096.000000; 172265;
8192.000000; 487697;
8192.000000; 487234;
8192.000000; 487623;
8192.000000; 488244;
8192.000000; 486686;
8192.000000; 488038;
8192.000000; 486852;
8192.000000; 486727;
8192.000000; 487568;
16384.000000; 1375517;
16384.000000; 1375390;
16384.000000; 1376705;
16384.000000; 1376619;
16384.000000; 1376707;
16384.000000; 1377703;
16384.000000; 1376704;
16384.000000; 1375500;
16384.000000; 1376567;
32768.000000; 3892134;
32768.000000; 3892019;
32768.000000; 3891516;
32768.000000; 3893391;
1.333333; 6;
1.333333; 4;
1.333333; 4;
1.333333; 6;
1.333333; 4;
1.333333; 6;
1.333333; 8;
1.333333; 6;
1.333333; 6;
2.666667; 14;
2.666667; 12;
2.666667; 10;
2.666667; 12;
2.666667; 12;
2.666667; 12;
2.666667; 12;
2.666667; 14;
2.666667; 12;
5.333333; 30;
5.333333; 22;
5.333333; 24;
5.333333; 26;
5.333333; 26;
5.333333; 30;
5.333333; 26;
5.333333; 26;
5.333333; 32;
10.666667; 60;
10.666667; 54;
10.666667; 66;
10.666667; 57;
10.666667; 58;
10.666667; 57;
10.666667; 52;
10.666667; 56;
10.666667; 56;
21.333333; 123;
21.333333; 134;
21.333333; 122;
21.333333; 120;
21.333333; 124;
21.333333; 120;
21.333333; 120;
21.333333; 126;
21.333333; 130;
42.666667; 281;
42.666667; 271;
42.666667; 287;
42.666667; 280;
42.666667; 264;
42.666667; 292;
42.666667; 285;
42.666667; 277;
42.666667; 269;
85.333333; 630;
85.333333; 623;
85.333333; 638;
85.333333; 656;
85.333333; 642;
85.333333; 654;
85.333333; 652;
85.333333; 651;
85.333333; 636;
170.666667; 1617;
170.666667; 1609;
170.666667; 1565;
170.666667; 1592;
170.666667; 1529;
170.666667; 1574;
170.666667; 1634;
170.666667; 1541;
170.666667; 1586;
341.333333; 4255;
341.333333; 4150;
341.333333; 4198;
341.333333; 4285;
341.333333; 4173;
341.333333; 4223;
341.333333; 4163;
341.333333; 4187;
341.333333; 4148;
682.666667; 11738;
682.666667; 11719;
682.666667; 11681;
682.666667; 11560;
682.666667; 11578;
682.666667; 11561;
682.666667; 11828;
682.666667; 11690;
682.666667; 11736;
1365.333333; 32999;
1365.333333; 33166;
1365.333333; 33225;
1365.333333; 32832;
1365.333333; 32917;
1365.333333; 33206;
1365.333333; 32819;
1365.333333; 32991;
1365.333333; 33075;
2730.666667; 93714;