[was@modular conjecture]$ [was@modular conjecture]$ Magma V2.7-3      Wed Nov  8 2000 14:21:43 on modular  [Seed = 3656008725]
Type ? for help.  Type <Ctrl>-D to quit.

Loading startup file "/home/was/modsym/init-magma.m"

C               IndexGamma0     R               ellap           idxG0
CS              MS              S               factormod       modcharpoly
DC              ND              Tn              factorpadic     padiccharpoly
ES              NS              Z               fcp             qexp
F               Q               charpoly        fn              x
> restore "slopes.s";
Restoring Magma state from "slopes.s"
> #slopes;
51000
> 
> slopes[2^13-2];
[ 6, 6, 14, 14, 24, 24, 30, 30, 36, 36, 48, 48, 56, 56, 62, 62, 68, 68, 76, 76, 90, 90, 96, 96, 102, 102, 112, 112, 120, 120, 126, 126, 132, 132, 140, 140, 150, 150, 156, 156, 162, 162, 178, 178, 186, 186, 192, 192, 198, 198, 206, 206, 218, 218, 224, 224, 230, 230, 240, 240, 248, 248, 254, 254, 260, 260, 268, 268, 278, 278, 284, 284, 290, 290, 302, 302, 310, 310, 316, 316, 322, 322, 330, 330, 348, 348, 354, 354, 360, 360, 370, 370, 378, 378, 384, 384, 390, 390, 398, 398, 408, 408, 414, 414, 420, 420, 434, 434, 442, 442, 448, 448, 454, 454, 462, 462, 474, 474, 480, 480, 486, 486, 496, 496, 504, 504, 510, 510, 516, 516, 524, 524, 534, 534, 540, 540, 546, 546, 558, 558, 566, 566, 572, 572, 578, 578, 586, 586, 600, 600, 606, 606, 612, 612, 622, 622, 630, 630, 636, 636, 642, 642, 650, 650, 660, 660, 666, 666, 672, 672, 692, 692, 700, 700, 706, 706, 712, 712, 720, 720, 732, 732, 738, 738, 744, 744, 754, 754, 762, 762, 768, 768, 774, 774, 782, 782, 792, 792, 798, 798, 804, 804, 816, 816, 824, 824, 830, 830, 836, 836, 844, 844, 860, 860, 866, 866, 872, 872, 882, 882, 890, 890, 896, 896, 902, 902, 910, 910, 920, 920, 926, 926, 932, 932, 946, 946, 954, 954, 960, 960, 966, 966, 974, 974, 986, 986, 992, 992, 998, 998, 1008, 1008, 1016, 1016, 1022, 1022, 1028, 1028, 1036, 1036, 1046, 1046, 1052, 1052, 1058, 1058, 1070, 1070, 1078, 1078, 1084, 1084, 1090, 1090, 1098, 1098, 1112, 1112, 1118, 1118, 1124, 1124, 1134, 1134, 1142, 1142, 1148, 1148, 1154, 1154, 1162, 1162, 1172, 1172, 1178, 1178, 1184, 1184, 1200, 1200, 1208, 1208, 1214, 1214, 1220, 1220, 1228, 1228, 1240, 1240, 1246, 1246, 1252, 1252, 1262, 1262, 1270, 1270, 1276, 1276, 1282, 1282, 1290, 1290, 1300, 1300, 1306, 1306, 1312, 1312, 1324, 1324, 1332, 1332, 1338, 1338, 1344, 1344, 1352, 1352, 1374, 1374, 1380, 1380, 1386, 1386, 1396, 1396, 1404, 1404, 1410, 1410, 1416, 1416, 1424, 1424, 1434, 1434, 1440, 1440, 1446, 1446, 1460, 1460, 1468, 1468, 1474, 1474, 1480, 1480, 1488, 1488, 1500, 1500, 1506, 1506, 1512, 1512, 1522, 1522, 1530, 1530, 1536, 1536, 1542, 1542, 1550, 1550, 1560, 1560, 1566, 1566, 1572, 1572, 1584, 1584, 1592, 1592, 1598, 1598, 1604, 1604, 1612, 1612, 1626, 1626, 1632, 1632, 1638, 1638, 1648, 1648, 1656, 1656, 1662, 1662, 1668, 1668, 1676, 1676, 1686, 1686, 1692, 1692, 1698, 1698, 1716, 1716, 1724, 1724, 1730, 1730, 1736, 1736, 1744, 1744, 1756, 1756, 1762, 1762, 1768, 1768, 1778, 1778, 1786, 1786, 1792, 1792, 1798, 1798, 1806, 1806, 1816, 1816, 1822, 1822, 1828, 1828, 1840, 1840, 1848, 1848, 1854, 1854, 1860, 1860, 1868, 1868, 1884, 1884, 1890, 1890, 1896, 1896, 1906, 1906, 1914, 1914, 1920, 1920, 1926, 1926, 1934, 1934, 1944, 1944, 1950, 1950, 1956, 1956, 1970, 1970, 1978, 1978, 1984, 1984, 1990, 1990, 1998, 1998, 2010, 2010, 2016, 2016, 2022, 2022, 2032, 2032, 2040, 2040, 2046, 2046, 2052, 2052, 2060, 2060, 2070, 2070, 2076, 2076, 2082, 2082, 2094, 2094, 2102, 2102, 2108, 2108, 2114, 2114, 2122, 2122, 2136, 2136, 2142, 2142, 2148, 2148, 2158, 2158, 2166, 2166, 2172, 2172, 2178, 2178, 2186, 2186, 2196, 2196, 2202, 2202, 2208, 2208, 2224, 2224, 2232, 2232, 2238, 2238, 2244, 2244, 2252, 2252, 2264, 2264, 2270, 2270, 2276, 2276, 2286, 2286, 2294, 2294, 2300, 2300, 2306, 2306, 2314, 2314, 2324, 2324, 2330, 2330, 2336, 2336, 2348, 2348, 2356, 2356, 2362, 2362, 2368, 2368, 2376, 2376, 2394, 2394, 2400, 2400, 2406, 2406, 2416, 2416, 2424, 2424, 2430, 2430, 2436, 2436, 2444, 2444, 2454, 2454, 2460, 2460, 2466, 2466, 2480, 2480, 2488, 2488, 2494, 2494, 2500, 2500, 2508, 2508, 2520, 2520, 2526, 2526, 2532, 2532, 2542, 2542, 2550, 2550, 2556, 2556, 2562, 2562, 2570, 2570, 2580, 2580, 2586, 2586, 2592, 2592, 2604, 2604, 2612, 2612, 2618, 2618, 2624, 2624, 2632, 2632, 2646, 2646, 2652, 2652, 2658, 2658, 2668, 2668, 2676, 2676, 2682, 2682, 2688, 2688, 2696, 2696, 2706, 2706, 2712, 2712, 2718, 2718 ]
> Log(50000)/Log(2);
15.60964047443681173935159714

> > 
> [a : a in slopes[2^15-2] | a eq 30];
[ 30, 30 ]
> function MultSeq(v)
   ans := [];
   i := 1;
   while i le #v do
      x := v[i];
      mult := 0;
      while i le #v and v[i] eq x do
         mult +:= 1;
         i +:= 1;
      end while;
      Append(~ans, [mult, x]);
   end while;
   return ans;
end function;

function> function> function> function|while> function|while> function|while> function|while|while> function|while|while> function|while|while> function|while> function|while> function> function> > > MultSeq(slopes[2^14-2]);
[
[ 2, 6 ],
[ 2, 14 ],
[ 2, 24 ],
[ 2, 30 ],
[ 2, 36 ],
[ 2, 48 ],
[ 2, 56 ],
[ 2, 62 ],
[ 2, 68 ],
[ 2, 76 ],
[ 2, 90 ],
[ 2, 96 ],
[ 2, 102 ],
[ 2, 112 ],
[ 2, 120 ],
[ 2, 126 ],
[ 2, 132 ],
[ 2, 140 ],
[ 2, 150 ],
[ 2, 156 ],
[ 2, 162 ],
[ 2, 178 ],
[ 2, 186 ],
[ 2, 192 ],
[ 2, 198 ],
[ 2, 206 ],
[ 2, 218 ],
[ 2, 224 ],
[ 2, 230 ],
[ 2, 240 ],
[ 2, 248 ],
[ 2, 254 ],
[ 2, 260 ],
[ 2, 268 ],
[ 2, 278 ],
[ 2, 284 ],
[ 2, 290 ],
[ 2, 302 ],
[ 2, 310 ],
[ 2, 316 ],
[ 2, 322 ],
[ 2, 330 ],
[ 2, 348 ],
[ 2, 354 ],
[ 2, 360 ],
[ 2, 370 ],
[ 2, 378 ],
[ 2, 384 ],
[ 2, 390 ],
[ 2, 398 ],
[ 2, 408 ],
[ 2, 414 ],
[ 2, 420 ],
[ 2, 434 ],
[ 2, 442 ],
[ 2, 448 ],
[ 2, 454 ],
[ 2, 462 ],
[ 2, 474 ],
[ 2, 480 ],
[ 2, 486 ],
[ 2, 496 ],
[ 2, 504 ],
[ 2, 510 ],
[ 2, 516 ],
[ 2, 524 ],
[ 2, 534 ],
[ 2, 540 ],
[ 2, 546 ],
[ 2, 558 ],
[ 2, 566 ],
[ 2, 572 ],
[ 2, 578 ],
[ 2, 586 ],
[ 2, 600 ],
[ 2, 606 ],
[ 2, 612 ],
[ 2, 622 ],
[ 2, 630 ],
[ 2, 636 ],
[ 2, 642 ],
[ 2, 650 ],
[ 2, 660 ],
[ 2, 666 ],
[ 2, 672 ],
[ 2, 692 ],
[ 2, 700 ],
[ 2, 706 ],
[ 2, 712 ],
[ 2, 720 ],
[ 2, 732 ],
[ 2, 738 ],
[ 2, 744 ],
[ 2, 754 ],
[ 2, 762 ],
[ 2, 768 ],
[ 2, 774 ],
[ 2, 782 ],
[ 2, 792 ],
[ 2, 798 ],
[ 2, 804 ],
[ 2, 816 ],
[ 2, 824 ],
[ 2, 830 ],
[ 2, 836 ],
[ 2, 844 ],
[ 2, 860 ],
[ 2, 866 ],
[ 2, 872 ],
[ 2, 882 ],
[ 2, 890 ],
[ 2, 896 ],
[ 2, 902 ],
[ 2, 910 ],
[ 2, 920 ],
[ 2, 926 ],
[ 2, 932 ],
[ 2, 946 ],
[ 2, 954 ],
[ 2, 960 ],
[ 2, 966 ],
[ 2, 974 ],
[ 2, 986 ],
[ 2, 992 ],
[ 2, 998 ],
[ 2, 1008 ],
[ 2, 1016 ],
[ 2, 1022 ],
[ 2, 1028 ],
[ 2, 1036 ],
[ 2, 1046 ],
[ 2, 1052 ],
[ 2, 1058 ],
[ 2, 1070 ],
[ 2, 1078 ],
[ 2, 1084 ],
[ 2, 1090 ],
[ 2, 1098 ],
[ 2, 1112 ],
[ 2, 1118 ],
[ 2, 1124 ],
[ 2, 1134 ],
[ 2, 1142 ],
[ 2, 1148 ],
[ 2, 1154 ],
[ 2, 1162 ],
[ 2, 1172 ],
[ 2, 1178 ],
[ 2, 1184 ],
[ 2, 1200 ],
[ 2, 1208 ],
[ 2, 1214 ],
[ 2, 1220 ],
[ 2, 1228 ],
[ 2, 1240 ],
[ 2, 1246 ],
[ 2, 1252 ],
[ 2, 1262 ],
[ 2, 1270 ],
[ 2, 1276 ],
[ 2, 1282 ],
[ 2, 1290 ],
[ 2, 1300 ],
[ 2, 1306 ],
[ 2, 1312 ],
[ 2, 1324 ],
[ 2, 1332 ],
[ 2, 1338 ],
[ 2, 1344 ],
[ 2, 1352 ],
[ 2, 1374 ],
[ 2, 1380 ],
[ 2, 1386 ],
[ 2, 1396 ],
[ 2, 1404 ],
[ 2, 1410 ],
[ 2, 1416 ],
[ 2, 1424 ],
[ 2, 1434 ],
[ 2, 1440 ],
[ 2, 1446 ],
[ 2, 1460 ],
[ 2, 1468 ],
[ 2, 1474 ],
[ 2, 1480 ],
[ 2, 1488 ],
[ 2, 1500 ],
[ 2, 1506 ],
[ 2, 1512 ],
[ 2, 1522 ],
[ 2, 1530 ],
[ 2, 1536 ],
[ 2, 1542 ],
[ 2, 1550 ],
[ 2, 1560 ],
[ 2, 1566 ],
[ 2, 1572 ],
[ 2, 1584 ],
[ 2, 1592 ],
[ 2, 1598 ],
[ 2, 1604 ],
[ 2, 1612 ],
[ 2, 1626 ],
[ 2, 1632 ],
[ 2, 1638 ],
[ 2, 1648 ],
[ 2, 1656 ],
[ 2, 1662 ],
[ 2, 1668 ],
[ 2, 1676 ],
[ 2, 1686 ],
[ 2, 1692 ],
[ 2, 1698 ],
[ 2, 1716 ],
[ 2, 1724 ],
[ 2, 1730 ],
[ 2, 1736 ],
[ 2, 1744 ],
[ 2, 1756 ],
[ 2, 1762 ],
[ 2, 1768 ],
[ 2, 1778 ],
[ 2, 1786 ],
[ 2, 1792 ],
[ 2, 1798 ],
[ 2, 1806 ],
[ 2, 1816 ],
[ 2, 1822 ],
[ 2, 1828 ],
[ 2, 1840 ],
[ 2, 1848 ],
[ 2, 1854 ],
[ 2, 1860 ],
[ 2, 1868 ],
[ 2, 1884 ],
[ 2, 1890 ],
[ 2, 1896 ],
[ 2, 1906 ],
[ 2, 1914 ],
[ 2, 1920 ],
[ 2, 1926 ],
[ 2, 1934 ],
[ 2, 1944 ],
[ 2, 1950 ],
[ 2, 1956 ],
[ 2, 1970 ],
[ 2, 1978 ],
[ 2, 1984 ],
[ 2, 1990 ],
[ 2, 1998 ],
[ 2, 2010 ],
[ 2, 2016 ],
[ 2, 2022 ],
[ 2, 2032 ],
[ 2, 2040 ],
[ 2, 2046 ],
[ 2, 2052 ],
[ 2, 2060 ],
[ 2, 2070 ],
[ 2, 2076 ],
[ 2, 2082 ],
[ 2, 2094 ],
[ 2, 2102 ],
[ 2, 2108 ],
[ 2, 2114 ],
[ 2, 2122 ],
[ 2, 2136 ],
[ 2, 2142 ],
[ 2, 2148 ],
[ 2, 2158 ],
[ 2, 2166 ],
[ 2, 2172 ],
[ 2, 2178 ],
[ 2, 2186 ],
[ 2, 2196 ],
[ 2, 2202 ],
[ 2, 2208 ],
[ 2, 2224 ],
[ 2, 2232 ],
[ 2, 2238 ],
[ 2, 2244 ],
[ 2, 2252 ],
[ 2, 2264 ],
[ 2, 2270 ],
[ 2, 2276 ],
[ 2, 2286 ],
[ 2, 2294 ],
[ 2, 2300 ],
[ 2, 2306 ],
[ 2, 2314 ],
[ 2, 2324 ],
[ 2, 2330 ],
[ 2, 2336 ],
[ 2, 2348 ],
[ 2, 2356 ],
[ 2, 2362 ],
[ 2, 2368 ],
[ 2, 2376 ],
[ 2, 2394 ],
[ 2, 2400 ],
[ 2, 2406 ],
[ 2, 2416 ],
[ 2, 2424 ],
[ 2, 2430 ],
[ 2, 2436 ],
[ 2, 2444 ],
[ 2, 2454 ],
[ 2, 2460 ],
[ 2, 2466 ],
[ 2, 2480 ],
[ 2, 2488 ],
[ 2, 2494 ],
[ 2, 2500 ],
[ 2, 2508 ],
[ 2, 2520 ],
[ 2, 2526 ],
[ 2, 2532 ],
[ 2, 2542 ],
[ 2, 2550 ],
[ 2, 2556 ],
[ 2, 2562 ],
[ 2, 2570 ],
[ 2, 2580 ],
[ 2, 2586 ],
[ 2, 2592 ],
[ 2, 2604 ],
[ 2, 2612 ],
[ 2, 2618 ],
[ 2, 2624 ],
[ 2, 2632 ],
[ 2, 2646 ],
[ 2, 2652 ],
[ 2, 2658 ],
[ 2, 2668 ],
[ 2, 2676 ],
[ 2, 2682 ],
[ 2, 2688 ],
[ 2, 2696 ],
[ 2, 2706 ],
[ 2, 2712 ],
[ 2, 2718 ],
[ 2, 2742 ],
[ 2, 2750 ],
[ 2, 2756 ],
[ 2, 2762 ],
[ 2, 2770 ],
[ 2, 2782 ],
[ 2, 2788 ],
[ 2, 2794 ],
[ 2, 2804 ],
[ 2, 2812 ],
[ 2, 2818 ],
[ 2, 2824 ],
[ 2, 2832 ],
[ 2, 2842 ],
[ 2, 2848 ],
[ 2, 2854 ],
[ 2, 2866 ],
[ 2, 2874 ],
[ 2, 2880 ],
[ 2, 2886 ],
[ 2, 2894 ],
[ 2, 2910 ],
[ 2, 2916 ],
[ 2, 2922 ],
[ 2, 2932 ],
[ 2, 2940 ],
[ 2, 2946 ],
[ 2, 2952 ],
[ 2, 2960 ],
[ 2, 2970 ],
[ 2, 2976 ],
[ 2, 2982 ],
[ 2, 2996 ],
[ 2, 3004 ],
[ 2, 3010 ],
[ 2, 3016 ],
[ 2, 3024 ],
[ 2, 3036 ],
[ 2, 3042 ],
[ 2, 3048 ],
[ 2, 3058 ],
[ 2, 3066 ],
[ 2, 3072 ],
[ 2, 3078 ],
[ 2, 3086 ],
[ 2, 3096 ],
[ 2, 3102 ],
[ 2, 3108 ],
[ 2, 3120 ],
[ 2, 3128 ],
[ 2, 3134 ],
[ 2, 3140 ],
[ 2, 3148 ],
[ 2, 3162 ],
[ 2, 3168 ],
[ 2, 3174 ],
[ 2, 3184 ],
[ 2, 3192 ],
[ 2, 3198 ],
[ 2, 3204 ],
[ 2, 3212 ],
[ 2, 3222 ],
[ 2, 3228 ],
[ 2, 3234 ],
[ 2, 3250 ],
[ 2, 3258 ],
[ 2, 3264 ],
[ 2, 3270 ],
[ 2, 3278 ],
[ 2, 3290 ],
[ 2, 3296 ],
[ 2, 3302 ],
[ 2, 3312 ],
[ 2, 3320 ],
[ 2, 3326 ],
[ 2, 3332 ],
[ 2, 3340 ],
[ 2, 3350 ],
[ 2, 3356 ],
[ 2, 3362 ],
[ 2, 3374 ],
[ 2, 3382 ],
[ 2, 3388 ],
[ 2, 3394 ],
[ 2, 3402 ],
[ 2, 3422 ],
[ 2, 3428 ],
[ 2, 3434 ],
[ 2, 3444 ],
[ 2, 3452 ],
[ 2, 3458 ],
[ 2, 3464 ],
[ 2, 3472 ],
[ 2, 3482 ],
[ 2, 3488 ],
[ 2, 3494 ],
[ 2, 3508 ],
[ 2, 3516 ],
[ 2, 3522 ],
[ 2, 3528 ],
[ 2, 3536 ],
[ 2, 3548 ],
[ 2, 3554 ],
[ 2, 3560 ],
[ 2, 3570 ],
[ 2, 3578 ],
[ 2, 3584 ],
[ 2, 3590 ],
[ 2, 3598 ],
[ 2, 3608 ],
[ 2, 3614 ],
[ 2, 3620 ],
[ 2, 3632 ],
[ 2, 3640 ],
[ 2, 3646 ],
[ 2, 3652 ],
[ 2, 3660 ],
[ 2, 3674 ],
[ 2, 3680 ],
[ 2, 3686 ],
[ 2, 3696 ],
[ 2, 3704 ],
[ 2, 3710 ],
[ 2, 3716 ],
[ 2, 3724 ],
[ 2, 3734 ],
[ 2, 3740 ],
[ 2, 3746 ],
[ 2, 3764 ],
[ 2, 3772 ],
[ 2, 3778 ],
[ 2, 3784 ],
[ 2, 3792 ],
[ 2, 3804 ],
[ 2, 3810 ],
[ 2, 3816 ],
[ 2, 3826 ],
[ 2, 3834 ],
[ 2, 3840 ],
[ 2, 3846 ],
[ 2, 3854 ],
[ 2, 3864 ],
[ 2, 3870 ],
[ 2, 3876 ],
[ 2, 3888 ],
[ 2, 3896 ],
[ 2, 3902 ],
[ 2, 3908 ],
[ 2, 3916 ],
[ 2, 3932 ],
[ 2, 3938 ],
[ 2, 3944 ],
[ 2, 3954 ],
[ 2, 3962 ],
[ 2, 3968 ],
[ 2, 3974 ],
[ 2, 3982 ],
[ 2, 3992 ],
[ 2, 3998 ],
[ 2, 4004 ],
[ 2, 4018 ],
[ 2, 4026 ],
[ 2, 4032 ],
[ 2, 4038 ],
[ 2, 4046 ],
[ 2, 4058 ],
[ 2, 4064 ],
[ 2, 4070 ],
[ 2, 4080 ],
[ 2, 4088 ],
[ 2, 4094 ],
[ 2, 4100 ],
[ 2, 4108 ],
[ 2, 4118 ],
[ 2, 4124 ],
[ 2, 4130 ],
[ 2, 4142 ],
[ 2, 4150 ],
[ 2, 4156 ],
[ 2, 4162 ],
[ 2, 4170 ],
[ 2, 4184 ],
[ 2, 4190 ],
[ 2, 4196 ],
[ 2, 4206 ],
[ 2, 4214 ],
[ 2, 4220 ],
[ 2, 4226 ],
[ 2, 4234 ],
[ 2, 4244 ],
[ 2, 4250 ],
[ 2, 4256 ],
[ 2, 4272 ],
[ 2, 4280 ],
[ 2, 4286 ],
[ 2, 4292 ],
[ 2, 4300 ],
[ 2, 4312 ],
[ 2, 4318 ],
[ 2, 4324 ],
[ 2, 4334 ],
[ 2, 4342 ],
[ 2, 4348 ],
[ 2, 4354 ],
[ 2, 4362 ],
[ 2, 4372 ],
[ 2, 4378 ],
[ 2, 4384 ],
[ 2, 4396 ],
[ 2, 4404 ],
[ 2, 4410 ],
[ 2, 4416 ],
[ 2, 4424 ],
[ 2, 4442 ],
[ 2, 4448 ],
[ 2, 4454 ],
[ 2, 4464 ],
[ 2, 4472 ],
[ 2, 4478 ],
[ 2, 4484 ],
[ 2, 4492 ],
[ 2, 4502 ],
[ 2, 4508 ],
[ 2, 4514 ],
[ 2, 4528 ],
[ 2, 4536 ],
[ 2, 4542 ],
[ 2, 4548 ],
[ 2, 4556 ],
[ 2, 4568 ],
[ 2, 4574 ],
[ 2, 4580 ],
[ 2, 4590 ],
[ 2, 4598 ],
[ 2, 4604 ],
[ 2, 4610 ],
[ 2, 4618 ],
[ 2, 4628 ],
[ 2, 4634 ],
[ 2, 4640 ],
[ 2, 4652 ],
[ 2, 4660 ],
[ 2, 4666 ],
[ 2, 4672 ],
[ 2, 4680 ],
[ 2, 4694 ],
[ 2, 4700 ],
[ 2, 4706 ],
[ 2, 4716 ],
[ 2, 4724 ],
[ 2, 4730 ],
[ 2, 4736 ],
[ 2, 4744 ],
[ 2, 4754 ],
[ 2, 4760 ],
[ 2, 4766 ],
[ 2, 4786 ],
[ 2, 4794 ],
[ 2, 4800 ],
[ 2, 4806 ],
[ 2, 4814 ],
[ 2, 4826 ],
[ 2, 4832 ],
[ 2, 4838 ],
[ 2, 4848 ],
[ 2, 4856 ],
[ 2, 4862 ],
[ 2, 4868 ],
[ 2, 4876 ],
[ 2, 4886 ],
[ 2, 4892 ],
[ 2, 4898 ],
[ 2, 4910 ],
[ 2, 4918 ],
[ 2, 4924 ],
[ 2, 4930 ],
[ 2, 4938 ],
[ 2, 4954 ],
[ 2, 4960 ],
[ 2, 4966 ],
[ 2, 4976 ],
[ 2, 4984 ],
[ 2, 4990 ],
[ 2, 4996 ],
[ 2, 5004 ],
[ 2, 5014 ],
[ 2, 5020 ],
[ 2, 5026 ],
[ 2, 5040 ],
[ 2, 5048 ],
[ 2, 5054 ],
[ 2, 5060 ],
[ 2, 5068 ],
[ 2, 5080 ],
[ 2, 5086 ],
[ 2, 5092 ],
[ 2, 5102 ],
[ 2, 5110 ],
[ 2, 5116 ],
[ 2, 5122 ],
[ 2, 5130 ],
[ 2, 5140 ],
[ 2, 5146 ],
[ 2, 5152 ],
[ 2, 5164 ],
[ 2, 5172 ],
[ 2, 5178 ],
[ 2, 5184 ],
[ 2, 5192 ],
[ 2, 5206 ],
[ 2, 5212 ],
[ 2, 5218 ],
[ 2, 5228 ],
[ 2, 5236 ],
[ 2, 5242 ],
[ 2, 5248 ],
[ 2, 5256 ],
[ 2, 5266 ],
[ 2, 5272 ],
[ 2, 5278 ],
[ 2, 5294 ],
[ 2, 5302 ],
[ 2, 5308 ],
[ 2, 5314 ],
[ 2, 5322 ],
[ 2, 5334 ],
[ 2, 5340 ],
[ 2, 5346 ],
[ 2, 5356 ],
[ 2, 5364 ],
[ 2, 5370 ],
[ 2, 5376 ],
[ 2, 5384 ],
[ 2, 5394 ],
[ 2, 5400 ],
[ 2, 5406 ],
[ 2, 5418 ],
[ 2, 5426 ],
[ 2, 5432 ],
[ 2, 5438 ],
[ 2, 5446 ]
]
> Sort($1);
[
[ 2, 6 ],
[ 2, 14 ],
[ 2, 24 ],
[ 2, 30 ],
[ 2, 36 ],
[ 2, 48 ],
[ 2, 56 ],
[ 2, 62 ],
[ 2, 68 ],
[ 2, 76 ],
[ 2, 90 ],
[ 2, 96 ],
[ 2, 102 ],
[ 2, 112 ],
[ 2, 120 ],
[ 2, 126 ],
[ 2, 132 ],
[ 2, 140 ],
[ 2, 150 ],
[ 2, 156 ],
[ 2, 162 ],
[ 2, 178 ],
[ 2, 186 ],
[ 2, 192 ],
[ 2, 198 ],
[ 2, 206 ],
[ 2, 218 ],
[ 2, 224 ],
[ 2, 230 ],
[ 2, 240 ],
[ 2, 248 ],
[ 2, 254 ],
[ 2, 260 ],
[ 2, 268 ],
[ 2, 278 ],
[ 2, 284 ],
[ 2, 290 ],
[ 2, 302 ],
[ 2, 310 ],
[ 2, 316 ],
[ 2, 322 ],
[ 2, 330 ],
[ 2, 348 ],
[ 2, 354 ],
[ 2, 360 ],
[ 2, 370 ],
[ 2, 378 ],
[ 2, 384 ],
[ 2, 390 ],
[ 2, 398 ],
[ 2, 408 ],
[ 2, 414 ],
[ 2, 420 ],
[ 2, 434 ],
[ 2, 442 ],
[ 2, 448 ],
[ 2, 454 ],
[ 2, 462 ],
[ 2, 474 ],
[ 2, 480 ],
[ 2, 486 ],
[ 2, 496 ],
[ 2, 504 ],
[ 2, 510 ],
[ 2, 516 ],
[ 2, 524 ],
[ 2, 534 ],
[ 2, 540 ],
[ 2, 546 ],
[ 2, 558 ],
[ 2, 566 ],
[ 2, 572 ],
[ 2, 578 ],
[ 2, 586 ],
[ 2, 600 ],
[ 2, 606 ],
[ 2, 612 ],
[ 2, 622 ],
[ 2, 630 ],
[ 2, 636 ],
[ 2, 642 ],
[ 2, 650 ],
[ 2, 660 ],
[ 2, 666 ],
[ 2, 672 ],
[ 2, 692 ],
[ 2, 700 ],
[ 2, 706 ],
[ 2, 712 ],
[ 2, 720 ],
[ 2, 732 ],
[ 2, 738 ],
[ 2, 744 ],
[ 2, 754 ],
[ 2, 762 ],
[ 2, 768 ],
[ 2, 774 ],
[ 2, 782 ],
[ 2, 792 ],
[ 2, 798 ],
[ 2, 804 ],
[ 2, 816 ],
[ 2, 824 ],
[ 2, 830 ],
[ 2, 836 ],
[ 2, 844 ],
[ 2, 860 ],
[ 2, 866 ],
[ 2, 872 ],
[ 2, 882 ],
[ 2, 890 ],
[ 2, 896 ],
[ 2, 902 ],
[ 2, 910 ],
[ 2, 920 ],
[ 2, 926 ],
[ 2, 932 ],
[ 2, 946 ],
[ 2, 954 ],
[ 2, 960 ],
[ 2, 966 ],
[ 2, 974 ],
[ 2, 986 ],
[ 2, 992 ],
[ 2, 998 ],
[ 2, 1008 ],
[ 2, 1016 ],
[ 2, 1022 ],
[ 2, 1028 ],
[ 2, 1036 ],
[ 2, 1046 ],
[ 2, 1052 ],
[ 2, 1058 ],
[ 2, 1070 ],
[ 2, 1078 ],
[ 2, 1084 ],
[ 2, 1090 ],
[ 2, 1098 ],
[ 2, 1112 ],
[ 2, 1118 ],
[ 2, 1124 ],
[ 2, 1134 ],
[ 2, 1142 ],
[ 2, 1148 ],
[ 2, 1154 ],
[ 2, 1162 ],
[ 2, 1172 ],
[ 2, 1178 ],
[ 2, 1184 ],
[ 2, 1200 ],
[ 2, 1208 ],
[ 2, 1214 ],
[ 2, 1220 ],
[ 2, 1228 ],
[ 2, 1240 ],
[ 2, 1246 ],
[ 2, 1252 ],
[ 2, 1262 ],
[ 2, 1270 ],
[ 2, 1276 ],
[ 2, 1282 ],
[ 2, 1290 ],
[ 2, 1300 ],
[ 2, 1306 ],
[ 2, 1312 ],
[ 2, 1324 ],
[ 2, 1332 ],
[ 2, 1338 ],
[ 2, 1344 ],
[ 2, 1352 ],
[ 2, 1374 ],
[ 2, 1380 ],
[ 2, 1386 ],
[ 2, 1396 ],
[ 2, 1404 ],
[ 2, 1410 ],
[ 2, 1416 ],
[ 2, 1424 ],
[ 2, 1434 ],
[ 2, 1440 ],
[ 2, 1446 ],
[ 2, 1460 ],
[ 2, 1468 ],
[ 2, 1474 ],
[ 2, 1480 ],
[ 2, 1488 ],
[ 2, 1500 ],
[ 2, 1506 ],
[ 2, 1512 ],
[ 2, 1522 ],
[ 2, 1530 ],
[ 2, 1536 ],
[ 2, 1542 ],
[ 2, 1550 ],
[ 2, 1560 ],
[ 2, 1566 ],
[ 2, 1572 ],
[ 2, 1584 ],
[ 2, 1592 ],
[ 2, 1598 ],
[ 2, 1604 ],
[ 2, 1612 ],
[ 2, 1626 ],
[ 2, 1632 ],
[ 2, 1638 ],
[ 2, 1648 ],
[ 2, 1656 ],
[ 2, 1662 ],
[ 2, 1668 ],
[ 2, 1676 ],
[ 2, 1686 ],
[ 2, 1692 ],
[ 2, 1698 ],
[ 2, 1716 ],
[ 2, 1724 ],
[ 2, 1730 ],
[ 2, 1736 ],
[ 2, 1744 ],
[ 2, 1756 ],
[ 2, 1762 ],
[ 2, 1768 ],
[ 2, 1778 ],
[ 2, 1786 ],
[ 2, 1792 ],
[ 2, 1798 ],
[ 2, 1806 ],
[ 2, 1816 ],
[ 2, 1822 ],
[ 2, 1828 ],
[ 2, 1840 ],
[ 2, 1848 ],
[ 2, 1854 ],
[ 2, 1860 ],
[ 2, 1868 ],
[ 2, 1884 ],
[ 2, 1890 ],
[ 2, 1896 ],
[ 2, 1906 ],
[ 2, 1914 ],
[ 2, 1920 ],
[ 2, 1926 ],
[ 2, 1934 ],
[ 2, 1944 ],
[ 2, 1950 ],
[ 2, 1956 ],
[ 2, 1970 ],
[ 2, 1978 ],
[ 2, 1984 ],
[ 2, 1990 ],
[ 2, 1998 ],
[ 2, 2010 ],
[ 2, 2016 ],
[ 2, 2022 ],
[ 2, 2032 ],
[ 2, 2040 ],
[ 2, 2046 ],
[ 2, 2052 ],
[ 2, 2060 ],
[ 2, 2070 ],
[ 2, 2076 ],
[ 2, 2082 ],
[ 2, 2094 ],
[ 2, 2102 ],
[ 2, 2108 ],
[ 2, 2114 ],
[ 2, 2122 ],
[ 2, 2136 ],
[ 2, 2142 ],
[ 2, 2148 ],
[ 2, 2158 ],
[ 2, 2166 ],
[ 2, 2172 ],
[ 2, 2178 ],
[ 2, 2186 ],
[ 2, 2196 ],
[ 2, 2202 ],
[ 2, 2208 ],
[ 2, 2224 ],
[ 2, 2232 ],
[ 2, 2238 ],
[ 2, 2244 ],
[ 2, 2252 ],
[ 2, 2264 ],
[ 2, 2270 ],
[ 2, 2276 ],
[ 2, 2286 ],
[ 2, 2294 ],
[ 2, 2300 ],
[ 2, 2306 ],
[ 2, 2314 ],
[ 2, 2324 ],
[ 2, 2330 ],
[ 2, 2336 ],
[ 2, 2348 ],
[ 2, 2356 ],
[ 2, 2362 ],
[ 2, 2368 ],
[ 2, 2376 ],
[ 2, 2394 ],
[ 2, 2400 ],
[ 2, 2406 ],
[ 2, 2416 ],
[ 2, 2424 ],
[ 2, 2430 ],
[ 2, 2436 ],
[ 2, 2444 ],
[ 2, 2454 ],
[ 2, 2460 ],
[ 2, 2466 ],
[ 2, 2480 ],
[ 2, 2488 ],
[ 2, 2494 ],
[ 2, 2500 ],
[ 2, 2508 ],
[ 2, 2520 ],
[ 2, 2526 ],
[ 2, 2532 ],
[ 2, 2542 ],
[ 2, 2550 ],
[ 2, 2556 ],
[ 2, 2562 ],
[ 2, 2570 ],
[ 2, 2580 ],
[ 2, 2586 ],
[ 2, 2592 ],
[ 2, 2604 ],
[ 2, 2612 ],
[ 2, 2618 ],
[ 2, 2624 ],
[ 2, 2632 ],
[ 2, 2646 ],
[ 2, 2652 ],
[ 2, 2658 ],
[ 2, 2668 ],
[ 2, 2676 ],
[ 2, 2682 ],
[ 2, 2688 ],
[ 2, 2696 ],
[ 2, 2706 ],
[ 2, 2712 ],
[ 2, 2718 ],
[ 2, 2742 ],
[ 2, 2750 ],
[ 2, 2756 ],
[ 2, 2762 ],
[ 2, 2770 ],
[ 2, 2782 ],
[ 2, 2788 ],
[ 2, 2794 ],
[ 2, 2804 ],
[ 2, 2812 ],
[ 2, 2818 ],
[ 2, 2824 ],
[ 2, 2832 ],
[ 2, 2842 ],
[ 2, 2848 ],
[ 2, 2854 ],
[ 2, 2866 ],
[ 2, 2874 ],
[ 2, 2880 ],
[ 2, 2886 ],
[ 2, 2894 ],
[ 2, 2910 ],
[ 2, 2916 ],
[ 2, 2922 ],
[ 2, 2932 ],
[ 2, 2940 ],
[ 2, 2946 ],
[ 2, 2952 ],
[ 2, 2960 ],
[ 2, 2970 ],
[ 2, 2976 ],
[ 2, 2982 ],
[ 2, 2996 ],
[ 2, 3004 ],
[ 2, 3010 ],
[ 2, 3016 ],
[ 2, 3024 ],
[ 2, 3036 ],
[ 2, 3042 ],
[ 2, 3048 ],
[ 2, 3058 ],
[ 2, 3066 ],
[ 2, 3072 ],
[ 2, 3078 ],
[ 2, 3086 ],
[ 2, 3096 ],
[ 2, 3102 ],
[ 2, 3108 ],
[ 2, 3120 ],
[ 2, 3128 ],
[ 2, 3134 ],
[ 2, 3140 ],
[ 2, 3148 ],
[ 2, 3162 ],
[ 2, 3168 ],
[ 2, 3174 ],
[ 2, 3184 ],
[ 2, 3192 ],
[ 2, 3198 ],
[ 2, 3204 ],
[ 2, 3212 ],
[ 2, 3222 ],
[ 2, 3228 ],
[ 2, 3234 ],
[ 2, 3250 ],
[ 2, 3258 ],
[ 2, 3264 ],
[ 2, 3270 ],
[ 2, 3278 ],
[ 2, 3290 ],
[ 2, 3296 ],
[ 2, 3302 ],
[ 2, 3312 ],
[ 2, 3320 ],
[ 2, 3326 ],
[ 2, 3332 ],
[ 2, 3340 ],
[ 2, 3350 ],
[ 2, 3356 ],
[ 2, 3362 ],
[ 2, 3374 ],
[ 2, 3382 ],
[ 2, 3388 ],
[ 2, 3394 ],
[ 2, 3402 ],
[ 2, 3422 ],
[ 2, 3428 ],
[ 2, 3434 ],
[ 2, 3444 ],
[ 2, 3452 ],
[ 2, 3458 ],
[ 2, 3464 ],
[ 2, 3472 ],
[ 2, 3482 ],
[ 2, 3488 ],
[ 2, 3494 ],
[ 2, 3508 ],
[ 2, 3516 ],
[ 2, 3522 ],
[ 2, 3528 ],
[ 2, 3536 ],
[ 2, 3548 ],
[ 2, 3554 ],
[ 2, 3560 ],
[ 2, 3570 ],
[ 2, 3578 ],
[ 2, 3584 ],
[ 2, 3590 ],
[ 2, 3598 ],
[ 2, 3608 ],
[ 2, 3614 ],
[ 2, 3620 ],
[ 2, 3632 ],
[ 2, 3640 ],
[ 2, 3646 ],
[ 2, 3652 ],
[ 2, 3660 ],
[ 2, 3674 ],
[ 2, 3680 ],
[ 2, 3686 ],
[ 2, 3696 ],
[ 2, 3704 ],
[ 2, 3710 ],
[ 2, 3716 ],
[ 2, 3724 ],
[ 2, 3734 ],
[ 2, 3740 ],
[ 2, 3746 ],
[ 2, 3764 ],
[ 2, 3772 ],
[ 2, 3778 ],
[ 2, 3784 ],
[ 2, 3792 ],
[ 2, 3804 ],
[ 2, 3810 ],
[ 2, 3816 ],
[ 2, 3826 ],
[ 2, 3834 ],
[ 2, 3840 ],
[ 2, 3846 ],
[ 2, 3854 ],
[ 2, 3864 ],
[ 2, 3870 ],
[ 2, 3876 ],
[ 2, 3888 ],
[ 2, 3896 ],
[ 2, 3902 ],
[ 2, 3908 ],
[ 2, 3916 ],
[ 2, 3932 ],
[ 2, 3938 ],
[ 2, 3944 ],
[ 2, 3954 ],
[ 2, 3962 ],
[ 2, 3968 ],
[ 2, 3974 ],
[ 2, 3982 ],
[ 2, 3992 ],
[ 2, 3998 ],
[ 2, 4004 ],
[ 2, 4018 ],
[ 2, 4026 ],
[ 2, 4032 ],
[ 2, 4038 ],
[ 2, 4046 ],
[ 2, 4058 ],
[ 2, 4064 ],
[ 2, 4070 ],
[ 2, 4080 ],
[ 2, 4088 ],
[ 2, 4094 ],
[ 2, 4100 ],
[ 2, 4108 ],
[ 2, 4118 ],
[ 2, 4124 ],
[ 2, 4130 ],
[ 2, 4142 ],
[ 2, 4150 ],
[ 2, 4156 ],
[ 2, 4162 ],
[ 2, 4170 ],
[ 2, 4184 ],
[ 2, 4190 ],
[ 2, 4196 ],
[ 2, 4206 ],
[ 2, 4214 ],
[ 2, 4220 ],
[ 2, 4226 ],
[ 2, 4234 ],
[ 2, 4244 ],
[ 2, 4250 ],
[ 2, 4256 ],
[ 2, 4272 ],
[ 2, 4280 ],
[ 2, 4286 ],
[ 2, 4292 ],
[ 2, 4300 ],
[ 2, 4312 ],
[ 2, 4318 ],
[ 2, 4324 ],
[ 2, 4334 ],
[ 2, 4342 ],
[ 2, 4348 ],
[ 2, 4354 ],
[ 2, 4362 ],
[ 2, 4372 ],
[ 2, 4378 ],
[ 2, 4384 ],
[ 2, 4396 ],
[ 2, 4404 ],
[ 2, 4410 ],
[ 2, 4416 ],
[ 2, 4424 ],
[ 2, 4442 ],
[ 2, 4448 ],
[ 2, 4454 ],
[ 2, 4464 ],
[ 2, 4472 ],
[ 2, 4478 ],
[ 2, 4484 ],
[ 2, 4492 ],
[ 2, 4502 ],
[ 2, 4508 ],
[ 2, 4514 ],
[ 2, 4528 ],
[ 2, 4536 ],
[ 2, 4542 ],
[ 2, 4548 ],
[ 2, 4556 ],
[ 2, 4568 ],
[ 2, 4574 ],
[ 2, 4580 ],
[ 2, 4590 ],
[ 2, 4598 ],
[ 2, 4604 ],
[ 2, 4610 ],
[ 2, 4618 ],
[ 2, 4628 ],
[ 2, 4634 ],
[ 2, 4640 ],
[ 2, 4652 ],
[ 2, 4660 ],
[ 2, 4666 ],
[ 2, 4672 ],
[ 2, 4680 ],
[ 2, 4694 ],
[ 2, 4700 ],
[ 2, 4706 ],
[ 2, 4716 ],
[ 2, 4724 ],
[ 2, 4730 ],
[ 2, 4736 ],
[ 2, 4744 ],
[ 2, 4754 ],
[ 2, 4760 ],
[ 2, 4766 ],
[ 2, 4786 ],
[ 2, 4794 ],
[ 2, 4800 ],
[ 2, 4806 ],
[ 2, 4814 ],
[ 2, 4826 ],
[ 2, 4832 ],
[ 2, 4838 ],
[ 2, 4848 ],
[ 2, 4856 ],
[ 2, 4862 ],
[ 2, 4868 ],
[ 2, 4876 ],
[ 2, 4886 ],
[ 2, 4892 ],
[ 2, 4898 ],
[ 2, 4910 ],
[ 2, 4918 ],
[ 2, 4924 ],
[ 2, 4930 ],
[ 2, 4938 ],
[ 2, 4954 ],
[ 2, 4960 ],
[ 2, 4966 ],
[ 2, 4976 ],
[ 2, 4984 ],
[ 2, 4990 ],
[ 2, 4996 ],
[ 2, 5004 ],
[ 2, 5014 ],
[ 2, 5020 ],
[ 2, 5026 ],
[ 2, 5040 ],
[ 2, 5048 ],
[ 2, 5054 ],
[ 2, 5060 ],
[ 2, 5068 ],
[ 2, 5080 ],
[ 2, 5086 ],
[ 2, 5092 ],
[ 2, 5102 ],
[ 2, 5110 ],
[ 2, 5116 ],
[ 2, 5122 ],
[ 2, 5130 ],
[ 2, 5140 ],
[ 2, 5146 ],
[ 2, 5152 ],
[ 2, 5164 ],
[ 2, 5172 ],
[ 2, 5178 ],
[ 2, 5184 ],
[ 2, 5192 ],
[ 2, 5206 ],
[ 2, 5212 ],
[ 2, 5218 ],
[ 2, 5228 ],
[ 2, 5236 ],
[ 2, 5242 ],
[ 2, 5248 ],
[ 2, 5256 ],
[ 2, 5266 ],
[ 2, 5272 ],
[ 2, 5278 ],
[ 2, 5294 ],
[ 2, 5302 ],
[ 2, 5308 ],
[ 2, 5314 ],
[ 2, 5322 ],
[ 2, 5334 ],
[ 2, 5340 ],
[ 2, 5346 ],
[ 2, 5356 ],
[ 2, 5364 ],
[ 2, 5370 ],
[ 2, 5376 ],
[ 2, 5384 ],
[ 2, 5394 ],
[ 2, 5400 ],
[ 2, 5406 ],
[ 2, 5418 ],
[ 2, 5426 ],
[ 2, 5432 ],
[ 2, 5438 ],
[ 2, 5446 ]
]
> MultSeq(slopes[2^15-2]);
[
[ 2, 6 ],
[ 2, 14 ],
[ 2, 24 ],
[ 2, 30 ],
[ 2, 36 ],
[ 2, 48 ],
[ 2, 56 ],
[ 2, 62 ],
[ 2, 68 ],
[ 2, 76 ],
[ 2, 90 ],
[ 2, 96 ],
[ 2, 102 ],
[ 2, 112 ],
[ 2, 120 ],
[ 2, 126 ],
[ 2, 132 ],
[ 2, 140 ],
[ 2, 150 ],
[ 2, 156 ],
[ 2, 162 ],
[ 2, 178 ],
[ 2, 186 ],
[ 2, 192 ],
[ 2, 198 ],
[ 2, 206 ],
[ 2, 218 ],
[ 2, 224 ],
[ 2, 230 ],
[ 2, 240 ],
[ 2, 248 ],
[ 2, 254 ],
[ 2, 260 ],
[ 2, 268 ],
[ 2, 278 ],
[ 2, 284 ],
[ 2, 290 ],
[ 2, 302 ],
[ 2, 310 ],
[ 2, 316 ],
[ 2, 322 ],
[ 2, 330 ],
[ 2, 348 ],
[ 2, 354 ],
[ 2, 360 ],
[ 2, 370 ],
[ 2, 378 ],
[ 2, 384 ],
[ 2, 390 ],
[ 2, 398 ],
[ 2, 408 ],
[ 2, 414 ],
[ 2, 420 ],
[ 2, 434 ],
[ 2, 442 ],
[ 2, 448 ],
[ 2, 454 ],
[ 2, 462 ],
[ 2, 474 ],
[ 2, 480 ],
[ 2, 486 ],
[ 2, 496 ],
[ 2, 504 ],
[ 2, 510 ],
[ 2, 516 ],
[ 2, 524 ],
[ 2, 534 ],
[ 2, 540 ],
[ 2, 546 ],
[ 2, 558 ],
[ 2, 566 ],
[ 2, 572 ],
[ 2, 578 ],
[ 2, 586 ],
[ 2, 600 ],
[ 2, 606 ],
[ 2, 612 ],
[ 2, 622 ],
[ 2, 630 ],
[ 2, 636 ],
[ 2, 642 ],
[ 2, 650 ],
[ 2, 660 ],
[ 2, 666 ],
[ 2, 672 ],
[ 2, 692 ],
[ 2, 700 ],
[ 2, 706 ],
[ 2, 712 ],
[ 2, 720 ],
[ 2, 732 ],
[ 2, 738 ],
[ 2, 744 ],
[ 2, 754 ],
[ 2, 762 ],
[ 2, 768 ],
[ 2, 774 ],
[ 2, 782 ],
[ 2, 792 ],
[ 2, 798 ],
[ 2, 804 ],
[ 2, 816 ],
[ 2, 824 ],
[ 2, 830 ],
[ 2, 836 ],
[ 2, 844 ],
[ 2, 860 ],
[ 2, 866 ],
[ 2, 872 ],
[ 2, 882 ],
[ 2, 890 ],
[ 2, 896 ],
[ 2, 902 ],
[ 2, 910 ],
[ 2, 920 ],
[ 2, 926 ],
[ 2, 932 ],
[ 2, 946 ],
[ 2, 954 ],
[ 2, 960 ],
[ 2, 966 ],
[ 2, 974 ],
[ 2, 986 ],
[ 2, 992 ],
[ 2, 998 ],
[ 2, 1008 ],
[ 2, 1016 ],
[ 2, 1022 ],
[ 2, 1028 ],
[ 2, 1036 ],
[ 2, 1046 ],
[ 2, 1052 ],
[ 2, 1058 ],
[ 2, 1070 ],
[ 2, 1078 ],
[ 2, 1084 ],
[ 2, 1090 ],
[ 2, 1098 ],
[ 2, 1112 ],
[ 2, 1118 ],
[ 2, 1124 ],
[ 2, 1134 ],
[ 2, 1142 ],
[ 2, 1148 ],
[ 2, 1154 ],
[ 2, 1162 ],
[ 2, 1172 ],
[ 2, 1178 ],
[ 2, 1184 ],
[ 2, 1200 ],
[ 2, 1208 ],
[ 2, 1214 ],
[ 2, 1220 ],
[ 2, 1228 ],
[ 2, 1240 ],
[ 2, 1246 ],
[ 2, 1252 ],
[ 2, 1262 ],
[ 2, 1270 ],
[ 2, 1276 ],
[ 2, 1282 ],
[ 2, 1290 ],
[ 2, 1300 ],
[ 2, 1306 ],
[ 2, 1312 ],
[ 2, 1324 ],
[ 2, 1332 ],
[ 2, 1338 ],
[ 2, 1344 ],
[ 2, 1352 ],
[ 2, 1374 ],
[ 2, 1380 ],
[ 2, 1386 ],
[ 2, 1396 ],
[ 2, 1404 ],
[ 2, 1410 ],
[ 2, 1416 ],
[ 2, 1424 ],
[ 2, 1434 ],
[ 2, 1440 ],
[ 2, 1446 ],
[ 2, 1460 ],
[ 2, 1468 ],
[ 2, 1474 ],
[ 2, 1480 ],
[ 2, 1488 ],
[ 2, 1500 ],
[ 2, 1506 ],
[ 2, 1512 ],
[ 2, 1522 ],
[ 2, 1530 ],
[ 2, 1536 ],
[ 2, 1542 ],
[ 2, 1550 ],
[ 2, 1560 ],
[ 2, 1566 ],
[ 2, 1572 ],
[ 2, 1584 ],
[ 2, 1592 ],
[ 2, 1598 ],
[ 2, 1604 ],
[ 2, 1612 ],
[ 2, 1626 ],
[ 2, 1632 ],
[ 2, 1638 ],
[ 2, 1648 ],
[ 2, 1656 ],
[ 2, 1662 ],
[ 2, 1668 ],
[ 2, 1676 ],
[ 2, 1686 ],
[ 2, 1692 ],
[ 2, 1698 ],
[ 2, 1716 ],
[ 2, 1724 ],
[ 2, 1730 ],
[ 2, 1736 ],
[ 2, 1744 ],
[ 2, 1756 ],
[ 2, 1762 ],
[ 2, 1768 ],
[ 2, 1778 ],
[ 2, 1786 ],
[ 2, 1792 ],
[ 2, 1798 ],
[ 2, 1806 ],
[ 2, 1816 ],
[ 2, 1822 ],
[ 2, 1828 ],
[ 2, 1840 ],
[ 2, 1848 ],
[ 2, 1854 ],
[ 2, 1860 ],
[ 2, 1868 ],
[ 2, 1884 ],
[ 2, 1890 ],
[ 2, 1896 ],
[ 2, 1906 ],
[ 2, 1914 ],
[ 2, 1920 ],
[ 2, 1926 ],
[ 2, 1934 ],
[ 2, 1944 ],
[ 2, 1950 ],
[ 2, 1956 ],
[ 2, 1970 ],
[ 2, 1978 ],
[ 2, 1984 ],
[ 2, 1990 ],
[ 2, 1998 ],
[ 2, 2010 ],
[ 2, 2016 ],
[ 2, 2022 ],
[ 2, 2032 ],
[ 2, 2040 ],
[ 2, 2046 ],
[ 2, 2052 ],
[ 2, 2060 ],
[ 2, 2070 ],
[ 2, 2076 ],
[ 2, 2082 ],
[ 2, 2094 ],
[ 2, 2102 ],
[ 2, 2108 ],
[ 2, 2114 ],
[ 2, 2122 ],
[ 2, 2136 ],
[ 2, 2142 ],
[ 2, 2148 ],
[ 2, 2158 ],
[ 2, 2166 ],
[ 2, 2172 ],
[ 2, 2178 ],
[ 2, 2186 ],
[ 2, 2196 ],
[ 2, 2202 ],
[ 2, 2208 ],
[ 2, 2224 ],
[ 2, 2232 ],
[ 2, 2238 ],
[ 2, 2244 ],
[ 2, 2252 ],
[ 2, 2264 ],
[ 2, 2270 ],
[ 2, 2276 ],
[ 2, 2286 ],
[ 2, 2294 ],
[ 2, 2300 ],
[ 2, 2306 ],
[ 2, 2314 ],
[ 2, 2324 ],
[ 2, 2330 ],
[ 2, 2336 ],
[ 2, 2348 ],
[ 2, 2356 ],
[ 2, 2362 ],
[ 2, 2368 ],
[ 2, 2376 ],
[ 2, 2394 ],
[ 2, 2400 ],
[ 2, 2406 ],
[ 2, 2416 ],
[ 2, 2424 ],
[ 2, 2430 ],
[ 2, 2436 ],
[ 2, 2444 ],
[ 2, 2454 ],
[ 2, 2460 ],
[ 2, 2466 ],
[ 2, 2480 ],
[ 2, 2488 ],
[ 2, 2494 ],
[ 2, 2500 ],
[ 2, 2508 ],
[ 2, 2520 ],
[ 2, 2526 ],
[ 2, 2532 ],
[ 2, 2542 ],
[ 2, 2550 ],
[ 2, 2556 ],
[ 2, 2562 ],
[ 2, 2570 ],
[ 2, 2580 ],
[ 2, 2586 ],
[ 2, 2592 ],
[ 2, 2604 ],
[ 2, 2612 ],
[ 2, 2618 ],
[ 2, 2624 ],
[ 2, 2632 ],
[ 2, 2646 ],
[ 2, 2652 ],
[ 2, 2658 ],
[ 2, 2668 ],
[ 2, 2676 ],
[ 2, 2682 ],
[ 2, 2688 ],
[ 2, 2696 ],
[ 2, 2706 ],
[ 2, 2712 ],
[ 2, 2718 ],
[ 2, 2742 ],
[ 2, 2750 ],
[ 2, 2756 ],
[ 2, 2762 ],
[ 2, 2770 ],
[ 2, 2782 ],
[ 2, 2788 ],
[ 2, 2794 ],
[ 2, 2804 ],
[ 2, 2812 ],
[ 2, 2818 ],
[ 2, 2824 ],
[ 2, 2832 ],
[ 2, 2842 ],
[ 2, 2848 ],
[ 2, 2854 ],
[ 2, 2866 ],
[ 2, 2874 ],
[ 2, 2880 ],
[ 2, 2886 ],
[ 2, 2894 ],
[ 2, 2910 ],
[ 2, 2916 ],
[ 2, 2922 ],
[ 2, 2932 ],
[ 2, 2940 ],
[ 2, 2946 ],
[ 2, 2952 ],
[ 2, 2960 ],
[ 2, 2970 ],
[ 2, 2976 ],
[ 2, 2982 ],
[ 2, 2996 ],
[ 2, 3004 ],
[ 2, 3010 ],
[ 2, 3016 ],
[ 2, 3024 ],
[ 2, 3036 ],
[ 2, 3042 ],
[ 2, 3048 ],
[ 2, 3058 ],
[ 2, 3066 ],
[ 2, 3072 ],
[ 2, 3078 ],
[ 2, 3086 ],
[ 2, 3096 ],
[ 2, 3102 ],
[ 2, 3108 ],
[ 2, 3120 ],
[ 2, 3128 ],
[ 2, 3134 ],
[ 2, 3140 ],
[ 2, 3148 ],
[ 2, 3162 ],
[ 2, 3168 ],
[ 2, 3174 ],
[ 2, 3184 ],
[ 2, 3192 ],
[ 2, 3198 ],
[ 2, 3204 ],
[ 2, 3212 ],
[ 2, 3222 ],
[ 2, 3228 ],
[ 2, 3234 ],
[ 2, 3250 ],
[ 2, 3258 ],
[ 2, 3264 ],
[ 2, 3270 ],
[ 2, 3278 ],
[ 2, 3290 ],
[ 2, 3296 ],
[ 2, 3302 ],
[ 2, 3312 ],
[ 2, 3320 ],
[ 2, 3326 ],
[ 2, 3332 ],
[ 2, 3340 ],
[ 2, 3350 ],
[ 2, 3356 ],
[ 2, 3362 ],
[ 2, 3374 ],
[ 2, 3382 ],
[ 2, 3388 ],
[ 2, 3394 ],
[ 2, 3402 ],
[ 2, 3422 ],
[ 2, 3428 ],
[ 2, 3434 ],
[ 2, 3444 ],
[ 2, 3452 ],
[ 2, 3458 ],
[ 2, 3464 ],
[ 2, 3472 ],
[ 2, 3482 ],
[ 2, 3488 ],
[ 2, 3494 ],
[ 2, 3508 ],
[ 2, 3516 ],
[ 2, 3522 ],
[ 2, 3528 ],
[ 2, 3536 ],
[ 2, 3548 ],
[ 2, 3554 ],
[ 2, 3560 ],
[ 2, 3570 ],
[ 2, 3578 ],
[ 2, 3584 ],
[ 2, 3590 ],
[ 2, 3598 ],
[ 2, 3608 ],
[ 2, 3614 ],
[ 2, 3620 ],
[ 2, 3632 ],
[ 2, 3640 ],
[ 2, 3646 ],
[ 2, 3652 ],
[ 2, 3660 ],
[ 2, 3674 ],
[ 2, 3680 ],
[ 2, 3686 ],
[ 2, 3696 ],
[ 2, 3704 ],
[ 2, 3710 ],
[ 2, 3716 ],
[ 2, 3724 ],
[ 2, 3734 ],
[ 2, 3740 ],
[ 2, 3746 ],
[ 2, 3764 ],
[ 2, 3772 ],
[ 2, 3778 ],
[ 2, 3784 ],
[ 2, 3792 ],
[ 2, 3804 ],
[ 2, 3810 ],
[ 2, 3816 ],
[ 2, 3826 ],
[ 2, 3834 ],
[ 2, 3840 ],
[ 2, 3846 ],
[ 2, 3854 ],
[ 2, 3864 ],
[ 2, 3870 ],
[ 2, 3876 ],
[ 2, 3888 ],
[ 2, 3896 ],
[ 2, 3902 ],
[ 2, 3908 ],
[ 2, 3916 ],
[ 2, 3932 ],
[ 2, 3938 ],
[ 2, 3944 ],
[ 2, 3954 ],
[ 2, 3962 ],
[ 2, 3968 ],
[ 2, 3974 ],
[ 2, 3982 ],
[ 2, 3992 ],
[ 2, 3998 ],
[ 2, 4004 ],
[ 2, 4018 ],
[ 2, 4026 ],
[ 2, 4032 ],
[ 2, 4038 ],
[ 2, 4046 ],
[ 2, 4058 ],
[ 2, 4064 ],
[ 2, 4070 ],
[ 2, 4080 ],
[ 2, 4088 ],
[ 2, 4094 ],
[ 2, 4100 ],
[ 2, 4108 ],
[ 2, 4118 ],
[ 2, 4124 ],
[ 2, 4130 ],
[ 2, 4142 ],
[ 2, 4150 ],
[ 2, 4156 ],
[ 2, 4162 ],
[ 2, 4170 ],
[ 2, 4184 ],
[ 2, 4190 ],
[ 2, 4196 ],
[ 2, 4206 ],
[ 2, 4214 ],
[ 2, 4220 ],
[ 2, 4226 ],
[ 2, 4234 ],
[ 2, 4244 ],
[ 2, 4250 ],
[ 2, 4256 ],
[ 2, 4272 ],
[ 2, 4280 ],
[ 2, 4286 ],
[ 2, 4292 ],
[ 2, 4300 ],
[ 2, 4312 ],
[ 2, 4318 ],
[ 2, 4324 ],
[ 2, 4334 ],
[ 2, 4342 ],
[ 2, 4348 ],
[ 2, 4354 ],
[ 2, 4362 ],
[ 2, 4372 ],
[ 2, 4378 ],
[ 2, 4384 ],
[ 2, 4396 ],
[ 2, 4404 ],
[ 2, 4410 ],
[ 2, 4416 ],
[ 2, 4424 ],
[ 2, 4442 ],
[ 2, 4448 ],
[ 2, 4454 ],
[ 2, 4464 ],
[ 2, 4472 ],
[ 2, 4478 ],
[ 2, 4484 ],
[ 2, 4492 ],
[ 2, 4502 ],
[ 2, 4508 ],
[ 2, 4514 ],
[ 2, 4528 ],
[ 2, 4536 ],
[ 2, 4542 ],
[ 2, 4548 ],
[ 2, 4556 ],
[ 2, 4568 ],
[ 2, 4574 ],
[ 2, 4580 ],
[ 2, 4590 ],
[ 2, 4598 ],
[ 2, 4604 ],
[ 2, 4610 ],
[ 2, 4618 ],
[ 2, 4628 ],
[ 2, 4634 ],
[ 2, 4640 ],
[ 2, 4652 ],
[ 2, 4660 ],
[ 2, 4666 ],
[ 2, 4672 ],
[ 2, 4680 ],
[ 2, 4694 ],
[ 2, 4700 ],
[ 2, 4706 ],
[ 2, 4716 ],
[ 2, 4724 ],
[ 2, 4730 ],
[ 2, 4736 ],
[ 2, 4744 ],
[ 2, 4754 ],
[ 2, 4760 ],
[ 2, 4766 ],
[ 2, 4786 ],
[ 2, 4794 ],
[ 2, 4800 ],
[ 2, 4806 ],
[ 2, 4814 ],
[ 2, 4826 ],
[ 2, 4832 ],
[ 2, 4838 ],
[ 2, 4848 ],
[ 2, 4856 ],
[ 2, 4862 ],
[ 2, 4868 ],
[ 2, 4876 ],
[ 2, 4886 ],
[ 2, 4892 ],
[ 2, 4898 ],
[ 2, 4910 ],
[ 2, 4918 ],
[ 2, 4924 ],
[ 2, 4930 ],
[ 2, 4938 ],
[ 2, 4954 ],
[ 2, 4960 ],
[ 2, 4966 ],
[ 2, 4976 ],
[ 2, 4984 ],
[ 2, 4990 ],
[ 2, 4996 ],
[ 2, 5004 ],
[ 2, 5014 ],
[ 2, 5020 ],
[ 2, 5026 ],
[ 2, 5040 ],
[ 2, 5048 ],
[ 2, 5054 ],
[ 2, 5060 ],
[ 2, 5068 ],
[ 2, 5080 ],
[ 2, 5086 ],
[ 2, 5092 ],
[ 2, 5102 ],
[ 2, 5110 ],
[ 2, 5116 ],
[ 2, 5122 ],
[ 2, 5130 ],
[ 2, 5140 ],
[ 2, 5146 ],
[ 2, 5152 ],
[ 2, 5164 ],
[ 2, 5172 ],
[ 2, 5178 ],
[ 2, 5184 ],
[ 2, 5192 ],
[ 2, 5206 ],
[ 2, 5212 ],
[ 2, 5218 ],
[ 2, 5228 ],
[ 2, 5236 ],
[ 2, 5242 ],
[ 2, 5248 ],
[ 2, 5256 ],
[ 2, 5266 ],
[ 2, 5272 ],
[ 2, 5278 ],
[ 2, 5294 ],
[ 2, 5302 ],
[ 2, 5308 ],
[ 2, 5314 ],
[ 2, 5322 ],
[ 2, 5334 ],
[ 2, 5340 ],
[ 2, 5346 ],
[ 2, 5356 ],
[ 2, 5364 ],
[ 2, 5370 ],
[ 2, 5376 ],
[ 2, 5384 ],
[ 2, 5394 ],
[ 2, 5400 ],
[ 2, 5406 ],
[ 2, 5418 ],
[ 2, 5426 ],
[ 2, 5432 ],
[ 2, 5438 ],
[ 2, 5446 ],
[ 2, 5472 ],
[ 2, 5478 ],
[ 2, 5484 ],
[ 2, 5494 ],
[ 2, 5502 ],
[ 2, 5508 ],
[ 2, 5514 ],
[ 2, 5522 ],
[ 2, 5532 ],
[ 2, 5538 ],
[ 2, 5544 ],
[ 2, 5558 ],
[ 2, 5566 ],
[ 2, 5572 ],
[ 2, 5578 ],
[ 2, 5586 ],
[ 2, 5598 ],
[ 2, 5604 ],
[ 2, 5610 ],
[ 2, 5620 ],
[ 2, 5628 ],
[ 2, 5634 ],
[ 2, 5640 ],
[ 2, 5648 ],
[ 2, 5658 ],
[ 2, 5664 ],
[ 2, 5670 ],
[ 2, 5682 ],
[ 2, 5690 ],
[ 2, 5696 ],
[ 2, 5702 ],
[ 2, 5710 ],
[ 2, 5724 ],
[ 2, 5730 ],
[ 2, 5736 ],
[ 2, 5746 ],
[ 2, 5754 ],
[ 2, 5760 ],
[ 2, 5766 ],
[ 2, 5774 ],
[ 2, 5784 ],
[ 2, 5790 ],
[ 2, 5796 ],
[ 2, 5814 ],
[ 2, 5822 ],
[ 2, 5828 ],
[ 2, 5834 ],
[ 2, 5842 ],
[ 2, 5854 ],
[ 2, 5860 ],
[ 2, 5866 ],
[ 2, 5876 ],
[ 2, 5884 ],
[ 2, 5890 ],
[ 2, 5896 ],
[ 2, 5904 ],
[ 2, 5914 ],
[ 2, 5920 ],
[ 2, 5926 ],
[ 2, 5938 ],
[ 2, 5946 ],
[ 2, 5952 ],
[ 2, 5958 ],
[ 2, 5966 ],
[ 2, 5982 ],
[ 2, 5988 ],
[ 2, 5994 ],
[ 2, 6004 ],
[ 2, 6012 ],
[ 2, 6018 ],
[ 2, 6024 ],
[ 2, 6032 ],
[ 2, 6042 ],
[ 2, 6048 ],
[ 2, 6054 ],
[ 2, 6068 ],
[ 2, 6076 ],
[ 2, 6082 ],
[ 2, 6088 ],
[ 2, 6096 ],
[ 2, 6108 ],
[ 2, 6114 ],
[ 2, 6120 ],
[ 2, 6130 ],
[ 2, 6138 ],
[ 2, 6144 ],
[ 2, 6150 ],
[ 2, 6158 ],
[ 2, 6168 ],
[ 2, 6174 ],
[ 2, 6180 ],
[ 2, 6192 ],
[ 2, 6200 ],
[ 2, 6206 ],
[ 2, 6212 ],
[ 2, 6220 ],
[ 2, 6234 ],
[ 2, 6240 ],
[ 2, 6246 ],
[ 2, 6256 ],
[ 2, 6264 ],
[ 2, 6270 ],
[ 2, 6276 ],
[ 2, 6284 ],
[ 2, 6294 ],
[ 2, 6300 ],
[ 2, 6306 ],
[ 2, 6322 ],
[ 2, 6330 ],
[ 2, 6336 ],
[ 2, 6342 ],
[ 2, 6350 ],
[ 2, 6362 ],
[ 2, 6368 ],
[ 2, 6374 ],
[ 2, 6384 ],
[ 2, 6392 ],
[ 2, 6398 ],
[ 2, 6404 ],
[ 2, 6412 ],
[ 2, 6422 ],
[ 2, 6428 ],
[ 2, 6434 ],
[ 2, 6446 ],
[ 2, 6454 ],
[ 2, 6460 ],
[ 2, 6466 ],
[ 2, 6474 ],
[ 2, 6492 ],
[ 2, 6498 ],
[ 2, 6504 ],
[ 2, 6514 ],
[ 2, 6522 ],
[ 2, 6528 ],
[ 2, 6534 ],
[ 2, 6542 ],
[ 2, 6552 ],
[ 2, 6558 ],
[ 2, 6564 ],
[ 2, 6578 ],
[ 2, 6586 ],
[ 2, 6592 ],
[ 2, 6598 ],
[ 2, 6606 ],
[ 2, 6618 ],
[ 2, 6624 ],
[ 2, 6630 ],
[ 2, 6640 ],
[ 2, 6648 ],
[ 2, 6654 ],
[ 2, 6660 ],
[ 2, 6668 ],
[ 2, 6678 ],
[ 2, 6684 ],
[ 2, 6690 ],
[ 2, 6702 ],
[ 2, 6710 ],
[ 2, 6716 ],
[ 2, 6722 ],
[ 2, 6730 ],
[ 2, 6744 ],
[ 2, 6750 ],
[ 2, 6756 ],
[ 2, 6766 ],
[ 2, 6774 ],
[ 2, 6780 ],
[ 2, 6786 ],
[ 2, 6794 ],
[ 2, 6804 ],
[ 2, 6810 ],
[ 2, 6816 ],
[ 2, 6838 ],
[ 2, 6846 ],
[ 2, 6852 ],
[ 2, 6858 ],
[ 2, 6866 ],
[ 2, 6878 ],
[ 2, 6884 ],
[ 2, 6890 ],
[ 2, 6900 ],
[ 2, 6908 ],
[ 2, 6914 ],
[ 2, 6920 ],
[ 2, 6928 ],
[ 2, 6938 ],
[ 2, 6944 ],
[ 2, 6950 ],
[ 2, 6962 ],
[ 2, 6970 ],
[ 2, 6976 ],
[ 2, 6982 ],
[ 2, 6990 ],
[ 2, 7006 ],
[ 2, 7012 ],
[ 2, 7018 ],
[ 2, 7028 ],
[ 2, 7036 ],
[ 2, 7042 ],
[ 2, 7048 ],
[ 2, 7056 ],
[ 2, 7066 ],
[ 2, 7072 ],
[ 2, 7078 ],
[ 2, 7092 ],
[ 2, 7100 ],
[ 2, 7106 ],
[ 2, 7112 ],
[ 2, 7120 ],
[ 2, 7132 ],
[ 2, 7138 ],
[ 2, 7144 ],
[ 2, 7154 ],
[ 2, 7162 ],
[ 2, 7168 ],
[ 2, 7174 ],
[ 2, 7182 ],
[ 2, 7192 ],
[ 2, 7198 ],
[ 2, 7204 ],
[ 2, 7216 ],
[ 2, 7224 ],
[ 2, 7230 ],
[ 2, 7236 ],
[ 2, 7244 ],
[ 2, 7258 ],
[ 2, 7264 ],
[ 2, 7270 ],
[ 2, 7280 ],
[ 2, 7288 ],
[ 2, 7294 ],
[ 2, 7300 ],
[ 2, 7308 ],
[ 2, 7318 ],
[ 2, 7324 ],
[ 2, 7330 ],
[ 2, 7346 ],
[ 2, 7354 ],
[ 2, 7360 ],
[ 2, 7366 ],
[ 2, 7374 ],
[ 2, 7386 ],
[ 2, 7392 ],
[ 2, 7398 ],
[ 2, 7408 ],
[ 2, 7416 ],
[ 2, 7422 ],
[ 2, 7428 ],
[ 2, 7436 ],
[ 2, 7446 ],
[ 2, 7452 ],
[ 2, 7458 ],
[ 2, 7470 ],
[ 2, 7478 ],
[ 2, 7484 ],
[ 2, 7490 ],
[ 2, 7498 ],
[ 2, 7518 ],
[ 2, 7524 ],
[ 2, 7530 ],
[ 2, 7540 ],
[ 2, 7548 ],
[ 2, 7554 ],
[ 2, 7560 ],
[ 2, 7568 ],
[ 2, 7578 ],
[ 2, 7584 ],
[ 2, 7590 ],
[ 2, 7604 ],
[ 2, 7612 ],
[ 2, 7618 ],
[ 2, 7624 ],
[ 2, 7632 ],
[ 2, 7644 ],
[ 2, 7650 ],
[ 2, 7656 ],
[ 2, 7666 ],
[ 2, 7674 ],
[ 2, 7680 ],
[ 2, 7686 ],
[ 2, 7694 ],
[ 2, 7704 ],
[ 2, 7710 ],
[ 2, 7716 ],
[ 2, 7728 ],
[ 2, 7736 ],
[ 2, 7742 ],
[ 2, 7748 ],
[ 2, 7756 ],
[ 2, 7770 ],
[ 2, 7776 ],
[ 2, 7782 ],
[ 2, 7792 ],
[ 2, 7800 ],
[ 2, 7806 ],
[ 2, 7812 ],
[ 2, 7820 ],
[ 2, 7830 ],
[ 2, 7836 ],
[ 2, 7842 ],
[ 2, 7860 ],
[ 2, 7868 ],
[ 2, 7874 ],
[ 2, 7880 ],
[ 2, 7888 ],
[ 2, 7900 ],
[ 2, 7906 ],
[ 2, 7912 ],
[ 2, 7922 ],
[ 2, 7930 ],
[ 2, 7936 ],
[ 2, 7942 ],
[ 2, 7950 ],
[ 2, 7960 ],
[ 2, 7966 ],
[ 2, 7972 ],
[ 2, 7984 ],
[ 2, 7992 ],
[ 2, 7998 ],
[ 2, 8004 ],
[ 2, 8012 ],
[ 2, 8028 ],
[ 2, 8034 ],
[ 2, 8040 ],
[ 2, 8050 ],
[ 2, 8058 ],
[ 2, 8064 ],
[ 2, 8070 ],
[ 2, 8078 ],
[ 2, 8088 ],
[ 2, 8094 ],
[ 2, 8100 ],
[ 2, 8114 ],
[ 2, 8122 ],
[ 2, 8128 ],
[ 2, 8134 ],
[ 2, 8142 ],
[ 2, 8154 ],
[ 2, 8160 ],
[ 2, 8166 ],
[ 2, 8176 ],
[ 2, 8184 ],
[ 2, 8190 ],
[ 2, 8196 ],
[ 2, 8204 ],
[ 2, 8214 ],
[ 2, 8220 ],
[ 2, 8226 ],
[ 2, 8238 ],
[ 2, 8246 ],
[ 2, 8252 ],
[ 2, 8258 ],
[ 2, 8266 ],
[ 2, 8280 ],
[ 2, 8286 ],
[ 2, 8292 ],
[ 2, 8302 ],
[ 2, 8310 ],
[ 2, 8316 ],
[ 2, 8322 ],
[ 2, 8330 ],
[ 2, 8340 ],
[ 2, 8346 ],
[ 2, 8352 ],
[ 2, 8368 ],
[ 2, 8376 ],
[ 2, 8382 ],
[ 2, 8388 ],
[ 2, 8396 ],
[ 2, 8408 ],
[ 2, 8414 ],
[ 2, 8420 ],
[ 2, 8430 ],
[ 2, 8438 ],
[ 2, 8444 ],
[ 2, 8450 ],
[ 2, 8458 ],
[ 2, 8468 ],
[ 2, 8474 ],
[ 2, 8480 ],
[ 2, 8492 ],
[ 2, 8500 ],
[ 2, 8506 ],
[ 2, 8512 ],
[ 2, 8520 ],
[ 2, 8538 ],
[ 2, 8544 ],
[ 2, 8550 ],
[ 2, 8560 ],
[ 2, 8568 ],
[ 2, 8574 ],
[ 2, 8580 ],
[ 2, 8588 ],
[ 2, 8598 ],
[ 2, 8604 ],
[ 2, 8610 ],
[ 2, 8624 ],
[ 2, 8632 ],
[ 2, 8638 ],
[ 2, 8644 ],
[ 2, 8652 ],
[ 2, 8664 ],
[ 2, 8670 ],
[ 2, 8676 ],
[ 2, 8686 ],
[ 2, 8694 ],
[ 2, 8700 ],
[ 2, 8706 ],
[ 2, 8714 ],
[ 2, 8724 ],
[ 2, 8730 ],
[ 2, 8736 ],
[ 2, 8748 ],
[ 2, 8756 ],
[ 2, 8762 ],
[ 2, 8768 ],
[ 2, 8776 ],
[ 2, 8790 ],
[ 2, 8796 ],
[ 2, 8802 ],
[ 2, 8812 ],
[ 2, 8820 ],
[ 2, 8826 ],
[ 2, 8832 ],
[ 2, 8840 ],
[ 2, 8850 ],
[ 2, 8856 ],
[ 2, 8862 ],
[ 2, 8882 ],
[ 2, 8890 ],
[ 2, 8896 ],
[ 2, 8902 ],
[ 2, 8910 ],
[ 2, 8922 ],
[ 2, 8928 ],
[ 2, 8934 ],
[ 2, 8944 ],
[ 2, 8952 ],
[ 2, 8958 ],
[ 2, 8964 ],
[ 2, 8972 ],
[ 2, 8982 ],
[ 2, 8988 ],
[ 2, 8994 ],
[ 2, 9006 ],
[ 2, 9014 ],
[ 2, 9020 ],
[ 2, 9026 ],
[ 2, 9034 ],
[ 2, 9050 ],
[ 2, 9056 ],
[ 2, 9062 ],
[ 2, 9072 ],
[ 2, 9080 ],
[ 2, 9086 ],
[ 2, 9092 ],
[ 2, 9100 ],
[ 2, 9110 ],
[ 2, 9116 ],
[ 2, 9122 ],
[ 2, 9136 ],
[ 2, 9144 ],
[ 2, 9150 ],
[ 2, 9156 ],
[ 2, 9164 ],
[ 2, 9176 ],
[ 2, 9182 ],
[ 2, 9188 ],
[ 2, 9198 ],
[ 2, 9206 ],
[ 2, 9212 ],
[ 2, 9218 ],
[ 2, 9226 ],
[ 2, 9236 ],
[ 2, 9242 ],
[ 2, 9248 ],
[ 2, 9260 ],
[ 2, 9268 ],
[ 2, 9274 ],
[ 2, 9280 ],
[ 2, 9288 ],
[ 2, 9302 ],
[ 2, 9308 ],
[ 2, 9314 ],
[ 2, 9324 ],
[ 2, 9332 ],
[ 2, 9338 ],
[ 2, 9344 ],
[ 2, 9352 ],
[ 2, 9362 ],
[ 2, 9368 ],
[ 2, 9374 ],
[ 2, 9390 ],
[ 2, 9398 ],
[ 2, 9404 ],
[ 2, 9410 ],
[ 2, 9418 ],
[ 2, 9430 ],
[ 2, 9436 ],
[ 2, 9442 ],
[ 2, 9452 ],
[ 2, 9460 ],
[ 2, 9466 ],
[ 2, 9472 ],
[ 2, 9480 ],
[ 2, 9490 ],
[ 2, 9496 ],
[ 2, 9502 ],
[ 2, 9514 ],
[ 2, 9522 ],
[ 2, 9528 ],
[ 2, 9534 ],
[ 2, 9542 ],
[ 2, 9564 ],
[ 2, 9570 ],
[ 2, 9576 ],
[ 2, 9586 ],
[ 2, 9594 ],
[ 2, 9600 ],
[ 2, 9606 ],
[ 2, 9614 ],
[ 2, 9624 ],
[ 2, 9630 ],
[ 2, 9636 ],
[ 2, 9650 ],
[ 2, 9658 ],
[ 2, 9664 ],
[ 2, 9670 ],
[ 2, 9678 ],
[ 2, 9690 ],
[ 2, 9696 ],
[ 2, 9702 ],
[ 2, 9712 ],
[ 2, 9720 ],
[ 2, 9726 ],
[ 2, 9732 ],
[ 2, 9740 ],
[ 2, 9750 ],
[ 2, 9756 ],
[ 2, 9762 ],
[ 2, 9774 ],
[ 2, 9782 ],
[ 2, 9788 ],
[ 2, 9794 ],
[ 2, 9802 ],
[ 2, 9816 ],
[ 2, 9822 ],
[ 2, 9828 ],
[ 2, 9838 ],
[ 2, 9846 ],
[ 2, 9852 ],
[ 2, 9858 ],
[ 2, 9866 ],
[ 2, 9876 ],
[ 2, 9882 ],
[ 2, 9888 ],
[ 2, 9906 ],
[ 2, 9914 ],
[ 2, 9920 ],
[ 2, 9926 ],
[ 2, 9934 ],
[ 2, 9946 ],
[ 2, 9952 ],
[ 2, 9958 ],
[ 2, 9968 ],
[ 2, 9976 ],
[ 2, 9982 ],
[ 2, 9988 ],
[ 2, 9996 ],
[ 2, 10006 ],
[ 2, 10012 ],
[ 2, 10018 ],
[ 2, 10030 ],
[ 2, 10038 ],
[ 2, 10044 ],
[ 2, 10050 ],
[ 2, 10058 ],
[ 2, 10074 ],
[ 2, 10080 ],
[ 2, 10086 ],
[ 2, 10096 ],
[ 2, 10104 ],
[ 2, 10110 ],
[ 2, 10116 ],
[ 2, 10124 ],
[ 2, 10134 ],
[ 2, 10140 ],
[ 2, 10146 ],
[ 2, 10160 ],
[ 2, 10168 ],
[ 2, 10174 ],
[ 2, 10180 ],
[ 2, 10188 ],
[ 2, 10200 ],
[ 2, 10206 ],
[ 2, 10212 ],
[ 2, 10222 ],
[ 2, 10230 ],
[ 2, 10236 ],
[ 2, 10242 ],
[ 2, 10250 ],
[ 2, 10260 ],
[ 2, 10266 ],
[ 2, 10272 ],
[ 2, 10284 ],
[ 2, 10292 ],
[ 2, 10298 ],
[ 2, 10304 ],
[ 2, 10312 ],
[ 2, 10326 ],
[ 2, 10332 ],
[ 2, 10338 ],
[ 2, 10348 ],
[ 2, 10356 ],
[ 2, 10362 ],
[ 2, 10368 ],
[ 2, 10376 ],
[ 2, 10386 ],
[ 2, 10392 ],
[ 2, 10398 ],
[ 2, 10414 ],
[ 2, 10422 ],
[ 2, 10428 ],
[ 2, 10434 ],
[ 2, 10442 ],
[ 2, 10454 ],
[ 2, 10460 ],
[ 2, 10466 ],
[ 2, 10476 ],
[ 2, 10484 ],
[ 2, 10490 ],
[ 2, 10496 ],
[ 2, 10504 ],
[ 2, 10514 ],
[ 2, 10520 ],
[ 2, 10526 ],
[ 2, 10538 ],
[ 2, 10546 ],
[ 2, 10552 ],
[ 2, 10558 ],
[ 2, 10566 ],
[ 2, 10584 ],
[ 2, 10590 ],
[ 2, 10596 ],
[ 2, 10606 ],
[ 2, 10614 ],
[ 2, 10620 ],
[ 2, 10626 ],
[ 2, 10634 ],
[ 2, 10644 ],
[ 2, 10650 ],
[ 2, 10656 ],
[ 2, 10670 ],
[ 2, 10678 ],
[ 2, 10684 ],
[ 2, 10690 ],
[ 2, 10698 ],
[ 2, 10710 ],
[ 2, 10716 ],
[ 2, 10722 ],
[ 2, 10732 ],
[ 2, 10740 ],
[ 2, 10746 ],
[ 2, 10752 ],
[ 2, 10760 ],
[ 2, 10770 ],
[ 2, 10776 ],
[ 2, 10782 ],
[ 2, 10794 ],
[ 2, 10802 ],
[ 2, 10808 ],
[ 2, 10814 ],
[ 2, 10822 ],
[ 2, 10836 ],
[ 2, 10842 ],
[ 2, 10848 ],
[ 2, 10858 ],
[ 2, 10866 ],
[ 2, 10872 ],
[ 2, 10878 ],
[ 2, 10886 ],
[ 2, 10896 ],
[ 2, 10902 ],
[ 2, 10908 ]
]
> Sort($1);
[
[ 2, 6 ],
[ 2, 14 ],
[ 2, 24 ],
[ 2, 30 ],
[ 2, 36 ],
[ 2, 48 ],
[ 2, 56 ],
[ 2, 62 ],
[ 2, 68 ],
[ 2, 76 ],
[ 2, 90 ],
[ 2, 96 ],
[ 2, 102 ],
[ 2, 112 ],
[ 2, 120 ],
[ 2, 126 ],
[ 2, 132 ],
[ 2, 140 ],
[ 2, 150 ],
[ 2, 156 ],
[ 2, 162 ],
[ 2, 178 ],
[ 2, 186 ],
[ 2, 192 ],
[ 2, 198 ],
[ 2, 206 ],
[ 2, 218 ],
[ 2, 224 ],
[ 2, 230 ],
[ 2, 240 ],
[ 2, 248 ],
[ 2, 254 ],
[ 2, 260 ],
[ 2, 268 ],
[ 2, 278 ],
[ 2, 284 ],
[ 2, 290 ],
[ 2, 302 ],
[ 2, 310 ],
[ 2, 316 ],
[ 2, 322 ],
[ 2, 330 ],
[ 2, 348 ],
[ 2, 354 ],
[ 2, 360 ],
[ 2, 370 ],
[ 2, 378 ],
[ 2, 384 ],
[ 2, 390 ],
[ 2, 398 ],
[ 2, 408 ],
[ 2, 414 ],
[ 2, 420 ],
[ 2, 434 ],
[ 2, 442 ],
[ 2, 448 ],
[ 2, 454 ],
[ 2, 462 ],
[ 2, 474 ],
[ 2, 480 ],
[ 2, 486 ],
[ 2, 496 ],
[ 2, 504 ],
[ 2, 510 ],
[ 2, 516 ],
[ 2, 524 ],
[ 2, 534 ],
[ 2, 540 ],
[ 2, 546 ],
[ 2, 558 ],
[ 2, 566 ],
[ 2, 572 ],
[ 2, 578 ],
[ 2, 586 ],
[ 2, 600 ],
[ 2, 606 ],
[ 2, 612 ],
[ 2, 622 ],
[ 2, 630 ],
[ 2, 636 ],
[ 2, 642 ],
[ 2, 650 ],
[ 2, 660 ],
[ 2, 666 ],
[ 2, 672 ],
[ 2, 692 ],
[ 2, 700 ],
[ 2, 706 ],
[ 2, 712 ],
[ 2, 720 ],
[ 2, 732 ],
[ 2, 738 ],
[ 2, 744 ],
[ 2, 754 ],
[ 2, 762 ],
[ 2, 768 ],
[ 2, 774 ],
[ 2, 782 ],
[ 2, 792 ],
[ 2, 798 ],
[ 2, 804 ],
[ 2, 816 ],
[ 2, 824 ],
[ 2, 830 ],
[ 2, 836 ],
[ 2, 844 ],
[ 2, 860 ],
[ 2, 866 ],
[ 2, 872 ],
[ 2, 882 ],
[ 2, 890 ],
[ 2, 896 ],
[ 2, 902 ],
[ 2, 910 ],
[ 2, 920 ],
[ 2, 926 ],
[ 2, 932 ],
[ 2, 946 ],
[ 2, 954 ],
[ 2, 960 ],
[ 2, 966 ],
[ 2, 974 ],
[ 2, 986 ],
[ 2, 992 ],
[ 2, 998 ],
[ 2, 1008 ],
[ 2, 1016 ],
[ 2, 1022 ],
[ 2, 1028 ],
[ 2, 1036 ],
[ 2, 1046 ],
[ 2, 1052 ],
[ 2, 1058 ],
[ 2, 1070 ],
[ 2, 1078 ],
[ 2, 1084 ],
[ 2, 1090 ],
[ 2, 1098 ],
[ 2, 1112 ],
[ 2, 1118 ],
[ 2, 1124 ],
[ 2, 1134 ],
[ 2, 1142 ],
[ 2, 1148 ],
[ 2, 1154 ],
[ 2, 1162 ],
[ 2, 1172 ],
[ 2, 1178 ],
[ 2, 1184 ],
[ 2, 1200 ],
[ 2, 1208 ],
[ 2, 1214 ],
[ 2, 1220 ],
[ 2, 1228 ],
[ 2, 1240 ],
[ 2, 1246 ],
[ 2, 1252 ],
[ 2, 1262 ],
[ 2, 1270 ],
[ 2, 1276 ],
[ 2, 1282 ],
[ 2, 1290 ],
[ 2, 1300 ],
[ 2, 1306 ],
[ 2, 1312 ],
[ 2, 1324 ],
[ 2, 1332 ],
[ 2, 1338 ],
[ 2, 1344 ],
[ 2, 1352 ],
[ 2, 1374 ],
[ 2, 1380 ],
[ 2, 1386 ],
[ 2, 1396 ],
[ 2, 1404 ],
[ 2, 1410 ],
[ 2, 1416 ],
[ 2, 1424 ],
[ 2, 1434 ],
[ 2, 1440 ],
[ 2, 1446 ],
[ 2, 1460 ],
[ 2, 1468 ],
[ 2, 1474 ],
[ 2, 1480 ],
[ 2, 1488 ],
[ 2, 1500 ],
[ 2, 1506 ],
[ 2, 1512 ],
[ 2, 1522 ],
[ 2, 1530 ],
[ 2, 1536 ],
[ 2, 1542 ],
[ 2, 1550 ],
[ 2, 1560 ],
[ 2, 1566 ],
[ 2, 1572 ],
[ 2, 1584 ],
[ 2, 1592 ],
[ 2, 1598 ],
[ 2, 1604 ],
[ 2, 1612 ],
[ 2, 1626 ],
[ 2, 1632 ],
[ 2, 1638 ],
[ 2, 1648 ],
[ 2, 1656 ],
[ 2, 1662 ],
[ 2, 1668 ],
[ 2, 1676 ],
[ 2, 1686 ],
[ 2, 1692 ],
[ 2, 1698 ],
[ 2, 1716 ],
[ 2, 1724 ],
[ 2, 1730 ],
[ 2, 1736 ],
[ 2, 1744 ],
[ 2, 1756 ],
[ 2, 1762 ],
[ 2, 1768 ],
[ 2, 1778 ],
[ 2, 1786 ],
[ 2, 1792 ],
[ 2, 1798 ],
[ 2, 1806 ],
[ 2, 1816 ],
[ 2, 1822 ],
[ 2, 1828 ],
[ 2, 1840 ],
[ 2, 1848 ],
[ 2, 1854 ],
[ 2, 1860 ],
[ 2, 1868 ],
[ 2, 1884 ],
[ 2, 1890 ],
[ 2, 1896 ],
[ 2, 1906 ],
[ 2, 1914 ],
[ 2, 1920 ],
[ 2, 1926 ],
[ 2, 1934 ],
[ 2, 1944 ],
[ 2, 1950 ],
[ 2, 1956 ],
[ 2, 1970 ],
[ 2, 1978 ],
[ 2, 1984 ],
[ 2, 1990 ],
[ 2, 1998 ],
[ 2, 2010 ],
[ 2, 2016 ],
[ 2, 2022 ],
[ 2, 2032 ],
[ 2, 2040 ],
[ 2, 2046 ],
[ 2, 2052 ],
[ 2, 2060 ],
[ 2, 2070 ],
[ 2, 2076 ],
[ 2, 2082 ],
[ 2, 2094 ],
[ 2, 2102 ],
[ 2, 2108 ],
[ 2, 2114 ],
[ 2, 2122 ],
[ 2, 2136 ],
[ 2, 2142 ],
[ 2, 2148 ],
[ 2, 2158 ],
[ 2, 2166 ],
[ 2, 2172 ],
[ 2, 2178 ],
[ 2, 2186 ],
[ 2, 2196 ],
[ 2, 2202 ],
[ 2, 2208 ],
[ 2, 2224 ],
[ 2, 2232 ],
[ 2, 2238 ],
[ 2, 2244 ],
[ 2, 2252 ],
[ 2, 2264 ],
[ 2, 2270 ],
[ 2, 2276 ],
[ 2, 2286 ],
[ 2, 2294 ],
[ 2, 2300 ],
[ 2, 2306 ],
[ 2, 2314 ],
[ 2, 2324 ],
[ 2, 2330 ],
[ 2, 2336 ],
[ 2, 2348 ],
[ 2, 2356 ],
[ 2, 2362 ],
[ 2, 2368 ],
[ 2, 2376 ],
[ 2, 2394 ],
[ 2, 2400 ],
[ 2, 2406 ],
[ 2, 2416 ],
[ 2, 2424 ],
[ 2, 2430 ],
[ 2, 2436 ],
[ 2, 2444 ],
[ 2, 2454 ],
[ 2, 2460 ],
[ 2, 2466 ],
[ 2, 2480 ],
[ 2, 2488 ],
[ 2, 2494 ],
[ 2, 2500 ],
[ 2, 2508 ],
[ 2, 2520 ],
[ 2, 2526 ],
[ 2, 2532 ],
[ 2, 2542 ],
[ 2, 2550 ],
[ 2, 2556 ],
[ 2, 2562 ],
[ 2, 2570 ],
[ 2, 2580 ],
[ 2, 2586 ],
[ 2, 2592 ],
[ 2, 2604 ],
[ 2, 2612 ],
[ 2, 2618 ],
[ 2, 2624 ],
[ 2, 2632 ],
[ 2, 2646 ],
[ 2, 2652 ],
[ 2, 2658 ],
[ 2, 2668 ],
[ 2, 2676 ],
[ 2, 2682 ],
[ 2, 2688 ],
[ 2, 2696 ],
[ 2, 2706 ],
[ 2, 2712 ],
[ 2, 2718 ],
[ 2, 2742 ],
[ 2, 2750 ],
[ 2, 2756 ],
[ 2, 2762 ],
[ 2, 2770 ],
[ 2, 2782 ],
[ 2, 2788 ],
[ 2, 2794 ],
[ 2, 2804 ],
[ 2, 2812 ],
[ 2, 2818 ],
[ 2, 2824 ],
[ 2, 2832 ],
[ 2, 2842 ],
[ 2, 2848 ],
[ 2, 2854 ],
[ 2, 2866 ],
[ 2, 2874 ],
[ 2, 2880 ],
[ 2, 2886 ],
[ 2, 2894 ],
[ 2, 2910 ],
[ 2, 2916 ],
[ 2, 2922 ],
[ 2, 2932 ],
[ 2, 2940 ],
[ 2, 2946 ],
[ 2, 2952 ],
[ 2, 2960 ],
[ 2, 2970 ],
[ 2, 2976 ],
[ 2, 2982 ],
[ 2, 2996 ],
[ 2, 3004 ],
[ 2, 3010 ],
[ 2, 3016 ],
[ 2, 3024 ],
[ 2, 3036 ],
[ 2, 3042 ],
[ 2, 3048 ],
[ 2, 3058 ],
[ 2, 3066 ],
[ 2, 3072 ],
[ 2, 3078 ],
[ 2, 3086 ],
[ 2, 3096 ],
[ 2, 3102 ],
[ 2, 3108 ],
[ 2, 3120 ],
[ 2, 3128 ],
[ 2, 3134 ],
[ 2, 3140 ],
[ 2, 3148 ],
[ 2, 3162 ],
[ 2, 3168 ],
[ 2, 3174 ],
[ 2, 3184 ],
[ 2, 3192 ],
[ 2, 3198 ],
[ 2, 3204 ],
[ 2, 3212 ],
[ 2, 3222 ],
[ 2, 3228 ],
[ 2, 3234 ],
[ 2, 3250 ],
[ 2, 3258 ],
[ 2, 3264 ],
[ 2, 3270 ],
[ 2, 3278 ],
[ 2, 3290 ],
[ 2, 3296 ],
[ 2, 3302 ],
[ 2, 3312 ],
[ 2, 3320 ],
[ 2, 3326 ],
[ 2, 3332 ],
[ 2, 3340 ],
[ 2, 3350 ],
[ 2, 3356 ],
[ 2, 3362 ],
[ 2, 3374 ],
[ 2, 3382 ],
[ 2, 3388 ],
[ 2, 3394 ],
[ 2, 3402 ],
[ 2, 3422 ],
[ 2, 3428 ],
[ 2, 3434 ],
[ 2, 3444 ],
[ 2, 3452 ],
[ 2, 3458 ],
[ 2, 3464 ],
[ 2, 3472 ],
[ 2, 3482 ],
[ 2, 3488 ],
[ 2, 3494 ],
[ 2, 3508 ],
[ 2, 3516 ],
[ 2, 3522 ],
[ 2, 3528 ],
[ 2, 3536 ],
[ 2, 3548 ],
[ 2, 3554 ],
[ 2, 3560 ],
[ 2, 3570 ],
[ 2, 3578 ],
[ 2, 3584 ],
[ 2, 3590 ],
[ 2, 3598 ],
[ 2, 3608 ],
[ 2, 3614 ],
[ 2, 3620 ],
[ 2, 3632 ],
[ 2, 3640 ],
[ 2, 3646 ],
[ 2, 3652 ],
[ 2, 3660 ],
[ 2, 3674 ],
[ 2, 3680 ],
[ 2, 3686 ],
[ 2, 3696 ],
[ 2, 3704 ],
[ 2, 3710 ],
[ 2, 3716 ],
[ 2, 3724 ],
[ 2, 3734 ],
[ 2, 3740 ],
[ 2, 3746 ],
[ 2, 3764 ],
[ 2, 3772 ],
[ 2, 3778 ],
[ 2, 3784 ],
[ 2, 3792 ],
[ 2, 3804 ],
[ 2, 3810 ],
[ 2, 3816 ],
[ 2, 3826 ],
[ 2, 3834 ],
[ 2, 3840 ],
[ 2, 3846 ],
[ 2, 3854 ],
[ 2, 3864 ],
[ 2, 3870 ],
[ 2, 3876 ],
[ 2, 3888 ],
[ 2, 3896 ],
[ 2, 3902 ],
[ 2, 3908 ],
[ 2, 3916 ],
[ 2, 3932 ],
[ 2, 3938 ],
[ 2, 3944 ],
[ 2, 3954 ],
[ 2, 3962 ],
[ 2, 3968 ],
[ 2, 3974 ],
[ 2, 3982 ],
[ 2, 3992 ],
[ 2, 3998 ],
[ 2, 4004 ],
[ 2, 4018 ],
[ 2, 4026 ],
[ 2, 4032 ],
[ 2, 4038 ],
[ 2, 4046 ],
[ 2, 4058 ],
[ 2, 4064 ],
[ 2, 4070 ],
[ 2, 4080 ],
[ 2, 4088 ],
[ 2, 4094 ],
[ 2, 4100 ],
[ 2, 4108 ],
[ 2, 4118 ],
[ 2, 4124 ],
[ 2, 4130 ],
[ 2, 4142 ],
[ 2, 4150 ],
[ 2, 4156 ],
[ 2, 4162 ],
[ 2, 4170 ],
[ 2, 4184 ],
[ 2, 4190 ],
[ 2, 4196 ],
[ 2, 4206 ],
[ 2, 4214 ],
[ 2, 4220 ],
[ 2, 4226 ],
[ 2, 4234 ],
[ 2, 4244 ],
[ 2, 4250 ],
[ 2, 4256 ],
[ 2, 4272 ],
[ 2, 4280 ],
[ 2, 4286 ],
[ 2, 4292 ],
[ 2, 4300 ],
[ 2, 4312 ],
[ 2, 4318 ],
[ 2, 4324 ],
[ 2, 4334 ],
[ 2, 4342 ],
[ 2, 4348 ],
[ 2, 4354 ],
[ 2, 4362 ],
[ 2, 4372 ],
[ 2, 4378 ],
[ 2, 4384 ],
[ 2, 4396 ],
[ 2, 4404 ],
[ 2, 4410 ],
[ 2, 4416 ],
[ 2, 4424 ],
[ 2, 4442 ],
[ 2, 4448 ],
[ 2, 4454 ],
[ 2, 4464 ],
[ 2, 4472 ],
[ 2, 4478 ],
[ 2, 4484 ],
[ 2, 4492 ],
[ 2, 4502 ],
[ 2, 4508 ],
[ 2, 4514 ],
[ 2, 4528 ],
[ 2, 4536 ],
[ 2, 4542 ],
[ 2, 4548 ],
[ 2, 4556 ],
[ 2, 4568 ],
[ 2, 4574 ],
[ 2, 4580 ],
[ 2, 4590 ],
[ 2, 4598 ],
[ 2, 4604 ],
[ 2, 4610 ],
[ 2, 4618 ],
[ 2, 4628 ],
[ 2, 4634 ],
[ 2, 4640 ],
[ 2, 4652 ],
[ 2, 4660 ],
[ 2, 4666 ],
[ 2, 4672 ],
[ 2, 4680 ],
[ 2, 4694 ],
[ 2, 4700 ],
[ 2, 4706 ],
[ 2, 4716 ],
[ 2, 4724 ],
[ 2, 4730 ],
[ 2, 4736 ],
[ 2, 4744 ],
[ 2, 4754 ],
[ 2, 4760 ],
[ 2, 4766 ],
[ 2, 4786 ],
[ 2, 4794 ],
[ 2, 4800 ],
[ 2, 4806 ],
[ 2, 4814 ],
[ 2, 4826 ],
[ 2, 4832 ],
[ 2, 4838 ],
[ 2, 4848 ],
[ 2, 4856 ],
[ 2, 4862 ],
[ 2, 4868 ],
[ 2, 4876 ],
[ 2, 4886 ],
[ 2, 4892 ],
[ 2, 4898 ],
[ 2, 4910 ],
[ 2, 4918 ],
[ 2, 4924 ],
[ 2, 4930 ],
[ 2, 4938 ],
[ 2, 4954 ],
[ 2, 4960 ],
[ 2, 4966 ],
[ 2, 4976 ],
[ 2, 4984 ],
[ 2, 4990 ],
[ 2, 4996 ],
[ 2, 5004 ],
[ 2, 5014 ],
[ 2, 5020 ],
[ 2, 5026 ],
[ 2, 5040 ],
[ 2, 5048 ],
[ 2, 5054 ],
[ 2, 5060 ],
[ 2, 5068 ],
[ 2, 5080 ],
[ 2, 5086 ],
[ 2, 5092 ],
[ 2, 5102 ],
[ 2, 5110 ],
[ 2, 5116 ],
[ 2, 5122 ],
[ 2, 5130 ],
[ 2, 5140 ],
[ 2, 5146 ],
[ 2, 5152 ],
[ 2, 5164 ],
[ 2, 5172 ],
[ 2, 5178 ],
[ 2, 5184 ],
[ 2, 5192 ],
[ 2, 5206 ],
[ 2, 5212 ],
[ 2, 5218 ],
[ 2, 5228 ],
[ 2, 5236 ],
[ 2, 5242 ],
[ 2, 5248 ],
[ 2, 5256 ],
[ 2, 5266 ],
[ 2, 5272 ],
[ 2, 5278 ],
[ 2, 5294 ],
[ 2, 5302 ],
[ 2, 5308 ],
[ 2, 5314 ],
[ 2, 5322 ],
[ 2, 5334 ],
[ 2, 5340 ],
[ 2, 5346 ],
[ 2, 5356 ],
[ 2, 5364 ],
[ 2, 5370 ],
[ 2, 5376 ],
[ 2, 5384 ],
[ 2, 5394 ],
[ 2, 5400 ],
[ 2, 5406 ],
[ 2, 5418 ],
[ 2, 5426 ],
[ 2, 5432 ],
[ 2, 5438 ],
[ 2, 5446 ],
[ 2, 5472 ],
[ 2, 5478 ],
[ 2, 5484 ],
[ 2, 5494 ],
[ 2, 5502 ],
[ 2, 5508 ],
[ 2, 5514 ],
[ 2, 5522 ],
[ 2, 5532 ],
[ 2, 5538 ],
[ 2, 5544 ],
[ 2, 5558 ],
[ 2, 5566 ],
[ 2, 5572 ],
[ 2, 5578 ],
[ 2, 5586 ],
[ 2, 5598 ],
[ 2, 5604 ],
[ 2, 5610 ],
[ 2, 5620 ],
[ 2, 5628 ],
[ 2, 5634 ],
[ 2, 5640 ],
[ 2, 5648 ],
[ 2, 5658 ],
[ 2, 5664 ],
[ 2, 5670 ],
[ 2, 5682 ],
[ 2, 5690 ],
[ 2, 5696 ],
[ 2, 5702 ],
[ 2, 5710 ],
[ 2, 5724 ],
[ 2, 5730 ],
[ 2, 5736 ],
[ 2, 5746 ],
[ 2, 5754 ],
[ 2, 5760 ],
[ 2, 5766 ],
[ 2, 5774 ],
[ 2, 5784 ],
[ 2, 5790 ],
[ 2, 5796 ],
[ 2, 5814 ],
[ 2, 5822 ],
[ 2, 5828 ],
[ 2, 5834 ],
[ 2, 5842 ],
[ 2, 5854 ],
[ 2, 5860 ],
[ 2, 5866 ],
[ 2, 5876 ],
[ 2, 5884 ],
[ 2, 5890 ],
[ 2, 5896 ],
[ 2, 5904 ],
[ 2, 5914 ],
[ 2, 5920 ],
[ 2, 5926 ],
[ 2, 5938 ],
[ 2, 5946 ],
[ 2, 5952 ],
[ 2, 5958 ],
[ 2, 5966 ],
[ 2, 5982 ],
[ 2, 5988 ],
[ 2, 5994 ],
[ 2, 6004 ],
[ 2, 6012 ],
[ 2, 6018 ],
[ 2, 6024 ],
[ 2, 6032 ],
[ 2, 6042 ],
[ 2, 6048 ],
[ 2, 6054 ],
[ 2, 6068 ],
[ 2, 6076 ],
[ 2, 6082 ],
[ 2, 6088 ],
[ 2, 6096 ],
[ 2, 6108 ],
[ 2, 6114 ],
[ 2, 6120 ],
[ 2, 6130 ],
[ 2, 6138 ],
[ 2, 6144 ],
[ 2, 6150 ],
[ 2, 6158 ],
[ 2, 6168 ],
[ 2, 6174 ],
[ 2, 6180 ],
[ 2, 6192 ],
[ 2, 6200 ],
[ 2, 6206 ],
[ 2, 6212 ],
[ 2, 6220 ],
[ 2, 6234 ],
[ 2, 6240 ],
[ 2, 6246 ],
[ 2, 6256 ],
[ 2, 6264 ],
[ 2, 6270 ],
[ 2, 6276 ],
[ 2, 6284 ],
[ 2, 6294 ],
[ 2, 6300 ],
[ 2, 6306 ],
[ 2, 6322 ],
[ 2, 6330 ],
[ 2, 6336 ],
[ 2, 6342 ],
[ 2, 6350 ],
[ 2, 6362 ],
[ 2, 6368 ],
[ 2, 6374 ],
[ 2, 6384 ],
[ 2, 6392 ],
[ 2, 6398 ],
[ 2, 6404 ],
[ 2, 6412 ],
[ 2, 6422 ],
[ 2, 6428 ],
[ 2, 6434 ],
[ 2, 6446 ],
[ 2, 6454 ],
[ 2, 6460 ],
[ 2, 6466 ],
[ 2, 6474 ],
[ 2, 6492 ],
[ 2, 6498 ],
[ 2, 6504 ],
[ 2, 6514 ],
[ 2, 6522 ],
[ 2, 6528 ],
[ 2, 6534 ],
[ 2, 6542 ],
[ 2, 6552 ],
[ 2, 6558 ],
[ 2, 6564 ],
[ 2, 6578 ],
[ 2, 6586 ],
[ 2, 6592 ],
[ 2, 6598 ],
[ 2, 6606 ],
[ 2, 6618 ],
[ 2, 6624 ],
[ 2, 6630 ],
[ 2, 6640 ],
[ 2, 6648 ],
[ 2, 6654 ],
[ 2, 6660 ],
[ 2, 6668 ],
[ 2, 6678 ],
[ 2, 6684 ],
[ 2, 6690 ],
[ 2, 6702 ],
[ 2, 6710 ],
[ 2, 6716 ],
[ 2, 6722 ],
[ 2, 6730 ],
[ 2, 6744 ],
[ 2, 6750 ],
[ 2, 6756 ],
[ 2, 6766 ],
[ 2, 6774 ],
[ 2, 6780 ],
[ 2, 6786 ],
[ 2, 6794 ],
[ 2, 6804 ],
[ 2, 6810 ],
[ 2, 6816 ],
[ 2, 6838 ],
[ 2, 6846 ],
[ 2, 6852 ],
[ 2, 6858 ],
[ 2, 6866 ],
[ 2, 6878 ],
[ 2, 6884 ],
[ 2, 6890 ],
[ 2, 6900 ],
[ 2, 6908 ],
[ 2, 6914 ],
[ 2, 6920 ],
[ 2, 6928 ],
[ 2, 6938 ],
[ 2, 6944 ],
[ 2, 6950 ],
[ 2, 6962 ],
[ 2, 6970 ],
[ 2, 6976 ],
[ 2, 6982 ],
[ 2, 6990 ],
[ 2, 7006 ],
[ 2, 7012 ],
[ 2, 7018 ],
[ 2, 7028 ],
[ 2, 7036 ],
[ 2, 7042 ],
[ 2, 7048 ],
[ 2, 7056 ],
[ 2, 7066 ],
[ 2, 7072 ],
[ 2, 7078 ],
[ 2, 7092 ],
[ 2, 7100 ],
[ 2, 7106 ],
[ 2, 7112 ],
[ 2, 7120 ],
[ 2, 7132 ],
[ 2, 7138 ],
[ 2, 7144 ],
[ 2, 7154 ],
[ 2, 7162 ],
[ 2, 7168 ],
[ 2, 7174 ],
[ 2, 7182 ],
[ 2, 7192 ],
[ 2, 7198 ],
[ 2, 7204 ],
[ 2, 7216 ],
[ 2, 7224 ],
[ 2, 7230 ],
[ 2, 7236 ],
[ 2, 7244 ],
[ 2, 7258 ],
[ 2, 7264 ],
[ 2, 7270 ],
[ 2, 7280 ],
[ 2, 7288 ],
[ 2, 7294 ],
[ 2, 7300 ],
[ 2, 7308 ],
[ 2, 7318 ],
[ 2, 7324 ],
[ 2, 7330 ],
[ 2, 7346 ],
[ 2, 7354 ],
[ 2, 7360 ],
[ 2, 7366 ],
[ 2, 7374 ],
[ 2, 7386 ],
[ 2, 7392 ],
[ 2, 7398 ],
[ 2, 7408 ],
[ 2, 7416 ],
[ 2, 7422 ],
[ 2, 7428 ],
[ 2, 7436 ],
[ 2, 7446 ],
[ 2, 7452 ],
[ 2, 7458 ],
[ 2, 7470 ],
[ 2, 7478 ],
[ 2, 7484 ],
[ 2, 7490 ],
[ 2, 7498 ],
[ 2, 7518 ],
[ 2, 7524 ],
[ 2, 7530 ],
[ 2, 7540 ],
[ 2, 7548 ],
[ 2, 7554 ],
[ 2, 7560 ],
[ 2, 7568 ],
[ 2, 7578 ],
[ 2, 7584 ],
[ 2, 7590 ],
[ 2, 7604 ],
[ 2, 7612 ],
[ 2, 7618 ],
[ 2, 7624 ],
[ 2, 7632 ],
[ 2, 7644 ],
[ 2, 7650 ],
[ 2, 7656 ],
[ 2, 7666 ],
[ 2, 7674 ],
[ 2, 7680 ],
[ 2, 7686 ],
[ 2, 7694 ],
[ 2, 7704 ],
[ 2, 7710 ],
[ 2, 7716 ],
[ 2, 7728 ],
[ 2, 7736 ],
[ 2, 7742 ],
[ 2, 7748 ],
[ 2, 7756 ],
[ 2, 7770 ],
[ 2, 7776 ],
[ 2, 7782 ],
[ 2, 7792 ],
[ 2, 7800 ],
[ 2, 7806 ],
[ 2, 7812 ],
[ 2, 7820 ],
[ 2, 7830 ],
[ 2, 7836 ],
[ 2, 7842 ],
[ 2, 7860 ],
[ 2, 7868 ],
[ 2, 7874 ],
[ 2, 7880 ],
[ 2, 7888 ],
[ 2, 7900 ],
[ 2, 7906 ],
[ 2, 7912 ],
[ 2, 7922 ],
[ 2, 7930 ],
[ 2, 7936 ],
[ 2, 7942 ],
[ 2, 7950 ],
[ 2, 7960 ],
[ 2, 7966 ],
[ 2, 7972 ],
[ 2, 7984 ],
[ 2, 7992 ],
[ 2, 7998 ],
[ 2, 8004 ],
[ 2, 8012 ],
[ 2, 8028 ],
[ 2, 8034 ],
[ 2, 8040 ],
[ 2, 8050 ],
[ 2, 8058 ],
[ 2, 8064 ],
[ 2, 8070 ],
[ 2, 8078 ],
[ 2, 8088 ],
[ 2, 8094 ],
[ 2, 8100 ],
[ 2, 8114 ],
[ 2, 8122 ],
[ 2, 8128 ],
[ 2, 8134 ],
[ 2, 8142 ],
[ 2, 8154 ],
[ 2, 8160 ],
[ 2, 8166 ],
[ 2, 8176 ],
[ 2, 8184 ],
[ 2, 8190 ],
[ 2, 8196 ],
[ 2, 8204 ],
[ 2, 8214 ],
[ 2, 8220 ],
[ 2, 8226 ],
[ 2, 8238 ],
[ 2, 8246 ],
[ 2, 8252 ],
[ 2, 8258 ],
[ 2, 8266 ],
[ 2, 8280 ],
[ 2, 8286 ],
[ 2, 8292 ],
[ 2, 8302 ],
[ 2, 8310 ],
[ 2, 8316 ],
[ 2, 8322 ],
[ 2, 8330 ],
[ 2, 8340 ],
[ 2, 8346 ],
[ 2, 8352 ],
[ 2, 8368 ],
[ 2, 8376 ],
[ 2, 8382 ],
[ 2, 8388 ],
[ 2, 8396 ],
[ 2, 8408 ],
[ 2, 8414 ],
[ 2, 8420 ],
[ 2, 8430 ],
[ 2, 8438 ],
[ 2, 8444 ],
[ 2, 8450 ],
[ 2, 8458 ],
[ 2, 8468 ],
[ 2, 8474 ],
[ 2, 8480 ],
[ 2, 8492 ],
[ 2, 8500 ],
[ 2, 8506 ],
[ 2, 8512 ],
[ 2, 8520 ],
[ 2, 8538 ],
[ 2, 8544 ],
[ 2, 8550 ],
[ 2, 8560 ],
[ 2, 8568 ],
[ 2, 8574 ],
[ 2, 8580 ],
[ 2, 8588 ],
[ 2, 8598 ],
[ 2, 8604 ],
[ 2, 8610 ],
[ 2, 8624 ],
[ 2, 8632 ],
[ 2, 8638 ],
[ 2, 8644 ],
[ 2, 8652 ],
[ 2, 8664 ],
[ 2, 8670 ],
[ 2, 8676 ],
[ 2, 8686 ],
[ 2, 8694 ],
[ 2, 8700 ],
[ 2, 8706 ],
[ 2, 8714 ],
[ 2, 8724 ],
[ 2, 8730 ],
[ 2, 8736 ],
[ 2, 8748 ],
[ 2, 8756 ],
[ 2, 8762 ],
[ 2, 8768 ],
[ 2, 8776 ],
[ 2, 8790 ],
[ 2, 8796 ],
[ 2, 8802 ],
[ 2, 8812 ],
[ 2, 8820 ],
[ 2, 8826 ],
[ 2, 8832 ],
[ 2, 8840 ],
[ 2, 8850 ],
[ 2, 8856 ],
[ 2, 8862 ],
[ 2, 8882 ],
[ 2, 8890 ],
[ 2, 8896 ],
[ 2, 8902 ],
[ 2, 8910 ],
[ 2, 8922 ],
[ 2, 8928 ],
[ 2, 8934 ],
[ 2, 8944 ],
[ 2, 8952 ],
[ 2, 8958 ],
[ 2, 8964 ],
[ 2, 8972 ],
[ 2, 8982 ],
[ 2, 8988 ],
[ 2, 8994 ],
[ 2, 9006 ],
[ 2, 9014 ],
[ 2, 9020 ],
[ 2, 9026 ],
[ 2, 9034 ],
[ 2, 9050 ],
[ 2, 9056 ],
[ 2, 9062 ],
[ 2, 9072 ],
[ 2, 9080 ],
[ 2, 9086 ],
[ 2, 9092 ],
[ 2, 9100 ],
[ 2, 9110 ],
[ 2, 9116 ],
[ 2, 9122 ],
[ 2, 9136 ],
[ 2, 9144 ],
[ 2, 9150 ],
[ 2, 9156 ],
[ 2, 9164 ],
[ 2, 9176 ],
[ 2, 9182 ],
[ 2, 9188 ],
[ 2, 9198 ],
[ 2, 9206 ],
[ 2, 9212 ],
[ 2, 9218 ],
[ 2, 9226 ],
[ 2, 9236 ],
[ 2, 9242 ],
[ 2, 9248 ],
[ 2, 9260 ],
[ 2, 9268 ],
[ 2, 9274 ],
[ 2, 9280 ],
[ 2, 9288 ],
[ 2, 9302 ],
[ 2, 9308 ],
[ 2, 9314 ],
[ 2, 9324 ],
[ 2, 9332 ],
[ 2, 9338 ],
[ 2, 9344 ],
[ 2, 9352 ],
[ 2, 9362 ],
[ 2, 9368 ],
[ 2, 9374 ],
[ 2, 9390 ],
[ 2, 9398 ],
[ 2, 9404 ],
[ 2, 9410 ],
[ 2, 9418 ],
[ 2, 9430 ],
[ 2, 9436 ],
[ 2, 9442 ],
[ 2, 9452 ],
[ 2, 9460 ],
[ 2, 9466 ],
[ 2, 9472 ],
[ 2, 9480 ],
[ 2, 9490 ],
[ 2, 9496 ],
[ 2, 9502 ],
[ 2, 9514 ],
[ 2, 9522 ],
[ 2, 9528 ],
[ 2, 9534 ],
[ 2, 9542 ],
[ 2, 9564 ],
[ 2, 9570 ],
[ 2, 9576 ],
[ 2, 9586 ],
[ 2, 9594 ],
[ 2, 9600 ],
[ 2, 9606 ],
[ 2, 9614 ],
[ 2, 9624 ],
[ 2, 9630 ],
[ 2, 9636 ],
[ 2, 9650 ],
[ 2, 9658 ],
[ 2, 9664 ],
[ 2, 9670 ],
[ 2, 9678 ],
[ 2, 9690 ],
[ 2, 9696 ],
[ 2, 9702 ],
[ 2, 9712 ],
[ 2, 9720 ],
[ 2, 9726 ],
[ 2, 9732 ],
[ 2, 9740 ],
[ 2, 9750 ],
[ 2, 9756 ],
[ 2, 9762 ],
[ 2, 9774 ],
[ 2, 9782 ],
[ 2, 9788 ],
[ 2, 9794 ],
[ 2, 9802 ],
[ 2, 9816 ],
[ 2, 9822 ],
[ 2, 9828 ],
[ 2, 9838 ],
[ 2, 9846 ],
[ 2, 9852 ],
[ 2, 9858 ],
[ 2, 9866 ],
[ 2, 9876 ],
[ 2, 9882 ],
[ 2, 9888 ],
[ 2, 9906 ],
[ 2, 9914 ],
[ 2, 9920 ],
[ 2, 9926 ],
[ 2, 9934 ],
[ 2, 9946 ],
[ 2, 9952 ],
[ 2, 9958 ],
[ 2, 9968 ],
[ 2, 9976 ],
[ 2, 9982 ],
[ 2, 9988 ],
[ 2, 9996 ],
[ 2, 10006 ],
[ 2, 10012 ],
[ 2, 10018 ],
[ 2, 10030 ],
[ 2, 10038 ],
[ 2, 10044 ],
[ 2, 10050 ],
[ 2, 10058 ],
[ 2, 10074 ],
[ 2, 10080 ],
[ 2, 10086 ],
[ 2, 10096 ],
[ 2, 10104 ],
[ 2, 10110 ],
[ 2, 10116 ],
[ 2, 10124 ],
[ 2, 10134 ],
[ 2, 10140 ],
[ 2, 10146 ],
[ 2, 10160 ],
[ 2, 10168 ],
[ 2, 10174 ],
[ 2, 10180 ],
[ 2, 10188 ],
[ 2, 10200 ],
[ 2, 10206 ],
[ 2, 10212 ],
[ 2, 10222 ],
[ 2, 10230 ],
[ 2, 10236 ],
[ 2, 10242 ],
[ 2, 10250 ],
[ 2, 10260 ],
[ 2, 10266 ],
[ 2, 10272 ],
[ 2, 10284 ],
[ 2, 10292 ],
[ 2, 10298 ],
[ 2, 10304 ],
[ 2, 10312 ],
[ 2, 10326 ],
[ 2, 10332 ],
[ 2, 10338 ],
[ 2, 10348 ],
[ 2, 10356 ],
[ 2, 10362 ],
[ 2, 10368 ],
[ 2, 10376 ],
[ 2, 10386 ],
[ 2, 10392 ],
[ 2, 10398 ],
[ 2, 10414 ],
[ 2, 10422 ],
[ 2, 10428 ],
[ 2, 10434 ],
[ 2, 10442 ],
[ 2, 10454 ],
[ 2, 10460 ],
[ 2, 10466 ],
[ 2, 10476 ],
[ 2, 10484 ],
[ 2, 10490 ],
[ 2, 10496 ],
[ 2, 10504 ],
[ 2, 10514 ],
[ 2, 10520 ],
[ 2, 10526 ],
[ 2, 10538 ],
[ 2, 10546 ],
[ 2, 10552 ],
[ 2, 10558 ],
[ 2, 10566 ],
[ 2, 10584 ],
[ 2, 10590 ],
[ 2, 10596 ],
[ 2, 10606 ],
[ 2, 10614 ],
[ 2, 10620 ],
[ 2, 10626 ],
[ 2, 10634 ],
[ 2, 10644 ],
[ 2, 10650 ],
[ 2, 10656 ],
[ 2, 10670 ],
[ 2, 10678 ],
[ 2, 10684 ],
[ 2, 10690 ],
[ 2, 10698 ],
[ 2, 10710 ],
[ 2, 10716 ],
[ 2, 10722 ],
[ 2, 10732 ],
[ 2, 10740 ],
[ 2, 10746 ],
[ 2, 10752 ],
[ 2, 10760 ],
[ 2, 10770 ],
[ 2, 10776 ],
[ 2, 10782 ],
[ 2, 10794 ],
[ 2, 10802 ],
[ 2, 10808 ],
[ 2, 10814 ],
[ 2, 10822 ],
[ 2, 10836 ],
[ 2, 10842 ],
[ 2, 10848 ],
[ 2, 10858 ],
[ 2, 10866 ],
[ 2, 10872 ],
[ 2, 10878 ],
[ 2, 10886 ],
[ 2, 10896 ],
[ 2, 10902 ],
[ 2, 10908 ]
]
>