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; 7;
2.000000; 8;
2.000000; 10;
2.000000; 10;
2.000000; 10;
2.000000; 12;
2.000000; 10;
2.000000; 10;
2.000000; 12;
4.000000; 16;
4.000000; 20;
4.000000; 20;
4.000000; 19;
4.000000; 20;
4.000000; 22;
4.000000; 19;
4.000000; 21;
4.000000; 22;
8.000000; 36;
8.000000; 41;
8.000000; 40;
8.000000; 36;
8.000000; 43;
8.000000; 40;
8.000000; 39;
8.000000; 43;
8.000000; 42;
16.000000; 75;
16.000000; 79;
16.000000; 83;
16.000000; 78;
16.000000; 82;
16.000000; 86;
16.000000; 77;
16.000000; 80;
16.000000; 83;
32.000000; 162;
32.000000; 165;
32.000000; 172;
32.000000; 155;
32.000000; 159;
32.000000; 163;
32.000000; 158;
32.000000; 163;
32.000000; 172;
64.000000; 333;
64.000000; 333;
64.000000; 337;
64.000000; 328;
64.000000; 335;
64.000000; 333;
64.000000; 332;
64.000000; 328;
64.000000; 336;
128.000000; 688;
128.000000; 693;
128.000000; 695;
128.000000; 684;
128.000000; 695;
128.000000; 688;
128.000000; 677;
128.000000; 683;
128.000000; 704;
256.000000; 1443;
256.000000; 1457;
256.000000; 1455;
256.000000; 1448;
256.000000; 1460;
256.000000; 1456;
256.000000; 1440;
256.000000; 1458;
256.000000; 1451;
512.000000; 3034;
512.000000; 3083;
512.000000; 3052;
512.000000; 3049;
512.000000; 3039;
512.000000; 3035;
512.000000; 3040;
512.000000; 3080;
512.000000; 3054;
1024.000000; 6339;
1024.000000; 6350;
1024.000000; 6417;
1024.000000; 6348;
1024.000000; 6336;
1024.000000; 6390;
1024.000000; 6382;
1024.000000; 6339;
1024.000000; 6359;
2048.000000; 13258;
2048.000000; 13288;
2048.000000; 13241;
2048.000000; 13215;
2048.000000; 13217;
2048.000000; 13238;
2048.000000; 13262;
2048.000000; 13246;
2048.000000; 13242;
4096.000000; 27690;
4096.000000; 27626;
4096.000000; 27700;
4096.000000; 27655;
4096.000000; 27585;
4096.000000; 27564;
4096.000000; 27626;
4096.000000; 27589;
4096.000000; 27583;
8192.000000; 57804;
8192.000000; 57784;
8192.000000; 57848;
8192.000000; 57815;
8192.000000; 57653;
8192.000000; 57772;
8192.000000; 57812;
8192.000000; 57779;
8192.000000; 57805;
16384.000000; 120997;
16384.000000; 120804;
16384.000000; 120984;
16384.000000; 120999;
16384.000000; 120821;
16384.000000; 120988;
16384.000000; 120918;
16384.000000; 120798;
16384.000000; 120818;
32768.000000; 252880;
32768.000000; 252852;
32768.000000; 252804;
32768.000000; 252724;
32768.000000; 252738;
32768.000000; 252736;
32768.000000; 253049;
32768.000000; 253040;
32768.000000; 253159;
65536.000000; 528586;
65536.000000; 528427;
65536.000000; 528451;
1.333333; 4;
1.333333; 4;
1.333333; 6;
1.333333; 6;
1.333333; 6;
1.333333; 8;
1.333333; 6;
1.333333; 6;
1.333333; 8;
2.666667; 12;
2.666667; 12;
2.666667; 12;
2.666667; 11;
2.666667; 14;
2.666667; 14;
2.666667; 13;
2.666667; 14;
2.666667; 14;
5.333333; 24;
5.333333; 26;
5.333333; 30;
5.333333; 24;
5.333333; 26;
5.333333; 28;
5.333333; 25;
5.333333; 27;
5.333333; 30;
10.666667; 53;
10.666667; 54;
10.666667; 54;
10.666667; 52;
10.666667; 56;
10.666667; 54;
10.666667; 53;
10.666667; 51;
10.666667; 55;
21.333333; 103;
21.333333; 103;
21.333333; 113;
21.333333; 104;
21.333333; 105;
21.333333; 112;
21.333333; 106;
21.333333; 105;
21.333333; 112;
42.666667; 212;
42.666667; 218;
42.666667; 218;
42.666667; 213;
42.666667; 222;
42.666667; 223;
42.666667; 219;
42.666667; 222;
42.666667; 227;
85.333333; 450;
85.333333; 452;
85.333333; 459;
85.333333; 447;
85.333333; 459;
85.333333; 453;
85.333333; 451;
85.333333; 445;
85.333333; 447;
170.666667; 940;
170.666667; 930;
170.666667; 941;
170.666667; 960;
170.666667; 926;
170.666667; 942;
170.666667; 940;
170.666667; 932;
170.666667; 955;
341.333333; 1947;
341.333333; 1977;
341.333333; 1965;
341.333333; 1984;
341.333333; 1990;
341.333333; 1997;
341.333333; 1990;
341.333333; 1977;
341.333333; 1995;
682.666667; 4113;
682.666667; 4146;
682.666667; 4148;
682.666667; 4115;
682.666667; 4153;
682.666667; 4173;
682.666667; 4133;
682.666667; 4133;
682.666667; 4152;
1365.333333; 8641;
1365.333333; 8597;
1365.333333; 8606;
1365.333333; 8617;
1365.333333; 8602;
1365.333333; 8612;
1365.333333; 8595;
1365.333333; 8643;
1365.333333; 8612;
2730.666667; 17923;
2730.666667; 18020;
2730.666667; 17924;
2730.666667; 17877;
2730.666667; 17996;
2730.666667; 18001;
2730.666667; 17900;
2730.666667; 18007;
2730.666667; 17906;
5461.333333; 37594;
5461.333333; 37458;
5461.333333; 37605;
5461.333333; 37455;
5461.333333; 37509;
5461.333333; 37617;
5461.333333; 37533;
5461.333333; 37573;
5461.333333; 37591;
10922.666667; 78700;
10922.666667; 78448;
10922.666667; 78531;
10922.666667; 78661;
10922.666667; 78493;
10922.666667; 78525;
10922.666667; 78550;
10922.666667; 78439;
10922.666667; 78417;
21845.333333; 164050;
21845.333333; 164142;
21845.333333; 164249;
21845.333333; 164107;
21845.333333; 164262;
21845.333333; 164372;
21845.333333; 164308;
21845.333333; 164428;
21845.333333; 164152;
43690.666667; 343211;
43690.666667; 343416;
43690.666667; 343613;
43690.666667; 343479;
43690.666667; 343063;
43690.666667; 343565;
43690.666667; 343290;
43690.666667; 343368;
43690.666667; 343811;
87381.333333; 717717;