Plasma GitLab Archive
Projects Blog Knowledge

(* Generated file! *)
let exclusions =
  [| 2392;
     2393;
     2394;
     2395;
     2396;
     2397;
     2398;
     2399;
     2524;
     2525;
     2527;
     2611;
     2614;
     2649;
     2650;
     2651;
     2654;
     2908;
     2909;
     3907;
     3917;
     3922;
     3927;
     3932;
     3945;
     3958;
     3960;
     3987;
     3997;
     4002;
     4007;
     4012;
     4025;
     64285;
     64287;
     64298;
     64299;
     64300;
     64301;
     64302;
     64303;
     64304;
     64305;
     64306;
     64307;
     64308;
     64309;
     64310;
     64312;
     64313;
     64314;
     64315;
     64316;
     64318;
     64320;
     64321;
     64323;
     64324;
     64326;
     64327;
     64328;
     64329;
     64330;
     64331;
     64332;
     64333;
     64334;
     10972;
     119134;
     119135;
     119136;
     119137;
     119138;
     119139;
     119140;
     119227;
     119228;
     119229;
     119230;
     119231;
     119232 |]

let cano_classes =
  [| -1;
     820;
     821;
     822;
     823;
     824;
     8402;
     8403;
     8408;
     8409;
     8410;
     8421;
     8422;
     8426;
     119143;
     119144;
     119145;
     -7;
     2364;
     2492;
     2620;
     2748;
     2876;
     4151;
     -8;
     12441;
     12442;
     -9;
     2381;
     2509;
     2637;
     2765;
     2893;
     3021;
     3149;
     3277;
     3405;
     3530;
     3642;
     3972;
     4153;
     5908;
     5940;
     6098;
     -10;
     1456;
     -11;
     1457;
     -12;
     1458;
     -13;
     1459;
     -14;
     1460;
     -15;
     1461;
     -16;
     1462;
     -17;
     1463;
     -18;
     1464;
     -19;
     1465;
     -20;
     1467;
     -21;
     1468;
     -22;
     1469;
     -23;
     1471;
     -24;
     1473;
     -25;
     1474;
     -26;
     64286;
     -27;
     1611;
     -28;
     1612;
     -29;
     1613;
     -30;
     1614;
     -31;
     1615;
     -32;
     1616;
     -33;
     1617;
     -34;
     1618;
     -35;
     1648;
     -36;
     1809;
     -84;
     3157;
     -91;
     3158;
     -103;
     3640;
     3641;
     -107;
     3656;
     3657;
     3658;
     3659;
     -118;
     3768;
     3769;
     -122;
     3784;
     3785;
     3786;
     3787;
     -129;
     3953;
     -130;
     3954;
     3962;
     3963;
     3964;
     3965;
     3968;
     -132;
     3956;
     -202;
     801;
     802;
     807;
     808;
     -216;
     795;
     3897;
     119141;
     119142;
     119150;
     119151;
     119152;
     119153;
     119154;
     -218;
     12330;
     -220;
     790;
     791;
     792;
     793;
     796;
     797;
     798;
     799;
     800;
     803;
     804;
     805;
     806;
     809;
     810;
     811;
     812;
     813;
     814;
     815;
     816;
     817;
     818;
     819;
     825;
     826;
     827;
     828;
     839;
     840;
     841;
     845;
     846;
     1425;
     1430;
     1435;
     1443;
     1444;
     1445;
     1446;
     1447;
     1450;
     1621;
     1763;
     1770;
     1773;
     1841;
     1844;
     1847;
     1848;
     1849;
     1851;
     1852;
     1854;
     1858;
     1860;
     1862;
     1864;
     2386;
     3864;
     3865;
     3893;
     3895;
     4038;
     8424;
     119163;
     119164;
     119165;
     119166;
     119167;
     119168;
     119169;
     119170;
     119178;
     119179;
     -222;
     1434;
     1453;
     12333;
     -224;
     12334;
     12335;
     -226;
     119149;
     -228;
     1454;
     6313;
     12331;
     -230;
     768;
     769;
     770;
     771;
     772;
     773;
     774;
     775;
     776;
     777;
     778;
     779;
     780;
     781;
     782;
     783;
     784;
     785;
     786;
     787;
     788;
     829;
     830;
     831;
     832;
     833;
     834;
     835;
     836;
     838;
     842;
     843;
     844;
     867;
     868;
     869;
     870;
     871;
     872;
     873;
     874;
     875;
     876;
     877;
     878;
     879;
     1155;
     1156;
     1157;
     1158;
     1426;
     1427;
     1428;
     1429;
     1431;
     1432;
     1433;
     1436;
     1437;
     1438;
     1439;
     1440;
     1441;
     1448;
     1449;
     1451;
     1452;
     1455;
     1476;
     1619;
     1620;
     1750;
     1751;
     1752;
     1753;
     1754;
     1755;
     1756;
     1759;
     1760;
     1761;
     1762;
     1764;
     1767;
     1768;
     1771;
     1772;
     1840;
     1842;
     1843;
     1845;
     1846;
     1850;
     1853;
     1855;
     1856;
     1857;
     1859;
     1861;
     1863;
     1865;
     1866;
     2385;
     2387;
     2388;
     3970;
     3971;
     3974;
     3975;
     8400;
     8401;
     8404;
     8405;
     8406;
     8407;
     8411;
     8412;
     8417;
     8423;
     8425;
     65056;
     65057;
     65058;
     65059;
     119173;
     119174;
     119175;
     119176;
     119177;
     119210;
     119211;
     119212;
     119213;
     -232;
     789;
     794;
     12332;
     -233;
     866;
     -234;
     864;
     865;
     -240;
     837 |]

let decompositions =
  [| -321;
     32;
     -337;
     32;
     776;
     -341;
     97;
     -351;
     32;
     772;
     -357;
     50;
     -359;
     51;
     -361;
     32;
     769;
     -363;
     956;
     -369;
     32;
     807;
     -371;
     49;
     -373;
     111;
     -377;
     49;
     8260;
     52;
     -379;
     49;
     8260;
     50;
     -381;
     51;
     8260;
     52;
     -384;
     65;
     768;
     -386;
     65;
     769;
     -388;
     65;
     770;
     -390;
     65;
     771;
     -392;
     65;
     776;
     -394;
     65;
     778;
     -398;
     67;
     807;
     -400;
     69;
     768;
     -402;
     69;
     769;
     -404;
     69;
     770;
     -406;
     69;
     776;
     -408;
     73;
     768;
     -410;
     73;
     769;
     -412;
     73;
     770;
     -414;
     73;
     776;
     -418;
     78;
     771;
     -420;
     79;
     768;
     -422;
     79;
     769;
     -424;
     79;
     770;
     -426;
     79;
     771;
     -428;
     79;
     776;
     -434;
     85;
     768;
     -436;
     85;
     769;
     -438;
     85;
     770;
     -440;
     85;
     776;
     -442;
     89;
     769;
     -448;
     97;
     768;
     -450;
     97;
     769;
     -452;
     97;
     770;
     -454;
     97;
     771;
     -456;
     97;
     776;
     -458;
     97;
     778;
     -462;
     99;
     807;
     -464;
     101;
     768;
     -466;
     101;
     769;
     -468;
     101;
     770;
     -470;
     101;
     776;
     -472;
     105;
     768;
     -474;
     105;
     769;
     -476;
     105;
     770;
     -478;
     105;
     776;
     -482;
     110;
     771;
     -484;
     111;
     768;
     -486;
     111;
     769;
     -488;
     111;
     770;
     -490;
     111;
     771;
     -492;
     111;
     776;
     -498;
     117;
     768;
     -500;
     117;
     769;
     -502;
     117;
     770;
     -504;
     117;
     776;
     -506;
     121;
     769;
     -510;
     121;
     776;
     -512;
     65;
     772;
     -514;
     97;
     772;
     -516;
     65;
     774;
     -518;
     97;
     774;
     -520;
     65;
     808;
     -522;
     97;
     808;
     -524;
     67;
     769;
     -526;
     99;
     769;
     -528;
     67;
     770;
     -530;
     99;
     770;
     -532;
     67;
     775;
     -534;
     99;
     775;
     -536;
     67;
     780;
     -538;
     99;
     780;
     -540;
     68;
     780;
     -542;
     100;
     780;
     -548;
     69;
     772;
     -550;
     101;
     772;
     -552;
     69;
     774;
     -554;
     101;
     774;
     -556;
     69;
     775;
     -558;
     101;
     775;
     -560;
     69;
     808;
     -562;
     101;
     808;
     -564;
     69;
     780;
     -566;
     101;
     780;
     -568;
     71;
     770;
     -570;
     103;
     770;
     -572;
     71;
     774;
     -574;
     103;
     774;
     -576;
     71;
     775;
     -578;
     103;
     775;
     -580;
     71;
     807;
     -582;
     103;
     807;
     -584;
     72;
     770;
     -586;
     104;
     770;
     -592;
     73;
     771;
     -594;
     105;
     771;
     -596;
     73;
     772;
     -598;
     105;
     772;
     -600;
     73;
     774;
     -602;
     105;
     774;
     -604;
     73;
     808;
     -606;
     105;
     808;
     -608;
     73;
     775;
     -613;
     73;
     74;
     -615;
     105;
     106;
     -616;
     74;
     770;
     -618;
     106;
     770;
     -620;
     75;
     807;
     -622;
     107;
     807;
     -626;
     76;
     769;
     -628;
     108;
     769;
     -630;
     76;
     807;
     -632;
     108;
     807;
     -634;
     76;
     780;
     -636;
     108;
     780;
     -639;
     76;
     183;
     -641;
     108;
     183;
     -646;
     78;
     769;
     -648;
     110;
     769;
     -650;
     78;
     807;
     -652;
     110;
     807;
     -654;
     78;
     780;
     -656;
     110;
     780;
     -659;
     700;
     110;
     -664;
     79;
     772;
     -666;
     111;
     772;
     -668;
     79;
     774;
     -670;
     111;
     774;
     -672;
     79;
     779;
     -674;
     111;
     779;
     -680;
     82;
     769;
     -682;
     114;
     769;
     -684;
     82;
     807;
     -686;
     114;
     807;
     -688;
     82;
     780;
     -690;
     114;
     780;
     -692;
     83;
     769;
     -694;
     115;
     769;
     -696;
     83;
     770;
     -698;
     115;
     770;
     -700;
     83;
     807;
     -702;
     115;
     807;
     -704;
     83;
     780;
     -706;
     115;
     780;
     -708;
     84;
     807;
     -710;
     116;
     807;
     -712;
     84;
     780;
     -714;
     116;
     780;
     -720;
     85;
     771;
     -722;
     117;
     771;
     -724;
     85;
     772;
     -726;
     117;
     772;
     -728;
     85;
     774;
     -730;
     117;
     774;
     -732;
     85;
     778;
     -734;
     117;
     778;
     -736;
     85;
     779;
     -738;
     117;
     779;
     -740;
     85;
     808;
     -742;
     117;
     808;
     -744;
     87;
     770;
     -746;
     119;
     770;
     -748;
     89;
     770;
     -750;
     121;
     770;
     -752;
     89;
     776;
     -754;
     90;
     769;
     -756;
     122;
     769;
     -758;
     90;
     775;
     -760;
     122;
     775;
     -762;
     90;
     780;
     -764;
     122;
     780;
     -767;
     115;
     -832;
     79;
     795;
     -834;
     111;
     795;
     -862;
     85;
     795;
     -864;
     117;
     795;
     -905;
     68;
     381;
     -907;
     68;
     382;
     -909;
     100;
     382;
     -911;
     76;
     74;
     -913;
     76;
     106;
     -915;
     108;
     106;
     -917;
     78;
     74;
     -919;
     78;
     106;
     -921;
     110;
     106;
     -922;
     65;
     780;
     -924;
     97;
     780;
     -926;
     73;
     780;
     -928;
     105;
     780;
     -930;
     79;
     780;
     -932;
     111;
     780;
     -934;
     85;
     780;
     -936;
     117;
     780;
     -938;
     220;
     772;
     -940;
     252;
     772;
     -942;
     220;
     769;
     -944;
     252;
     769;
     -946;
     220;
     780;
     -948;
     252;
     780;
     -950;
     220;
     768;
     -952;
     252;
     768;
     -956;
     196;
     772;
     -958;
     228;
     772;
     -960;
     550;
     772;
     -962;
     551;
     772;
     -964;
     198;
     772;
     -966;
     230;
     772;
     -972;
     71;
     780;
     -974;
     103;
     780;
     -976;
     75;
     780;
     -978;
     107;
     780;
     -980;
     79;
     808;
     -982;
     111;
     808;
     -984;
     490;
     772;
     -986;
     491;
     772;
     -988;
     439;
     780;
     -990;
     658;
     780;
     -992;
     106;
     780;
     -995;
     68;
     90;
     -997;
     68;
     122;
     -999;
     100;
     122;
     -1000;
     71;
     769;
     -1002;
     103;
     769;
     -1008;
     78;
     768;
     -1010;
     110;
     768;
     -1012;
     197;
     769;
     -1014;
     229;
     769;
     -1016;
     198;
     769;
     -1018;
     230;
     769;
     -1020;
     216;
     769;
     -1022;
     248;
     769;
     -1024;
     65;
     783;
     -1026;
     97;
     783;
     -1028;
     65;
     785;
     -1030;
     97;
     785;
     -1032;
     69;
     783;
     -1034;
     101;
     783;
     -1036;
     69;
     785;
     -1038;
     101;
     785;
     -1040;
     73;
     783;
     -1042;
     105;
     783;
     -1044;
     73;
     785;
     -1046;
     105;
     785;
     -1048;
     79;
     783;
     -1050;
     111;
     783;
     -1052;
     79;
     785;
     -1054;
     111;
     785;
     -1056;
     82;
     783;
     -1058;
     114;
     783;
     -1060;
     82;
     785;
     -1062;
     114;
     785;
     -1064;
     85;
     783;
     -1066;
     117;
     783;
     -1068;
     85;
     785;
     -1070;
     117;
     785;
     -1072;
     83;
     806;
     -1074;
     115;
     806;
     -1076;
     84;
     806;
     -1078;
     116;
     806;
     -1084;
     72;
     780;
     -1086;
     104;
     780;
     -1100;
     65;
     775;
     -1102;
     97;
     775;
     -1104;
     69;
     807;
     -1106;
     101;
     807;
     -1108;
     214;
     772;
     -1110;
     246;
     772;
     -1112;
     213;
     772;
     -1114;
     245;
     772;
     -1116;
     79;
     775;
     -1118;
     111;
     775;
     -1120;
     558;
     772;
     -1122;
     559;
     772;
     -1124;
     89;
     772;
     -1126;
     121;
     772;
     -1377;
     104;
     -1379;
     614;
     -1381;
     106;
     -1383;
     114;
     -1385;
     633;
     -1387;
     635;
     -1389;
     641;
     -1391;
     119;
     -1393;
     121;
     -1457;
     32;
     774;
     -1459;
     32;
     775;
     -1461;
     32;
     778;
     -1463;
     32;
     808;
     -1465;
     32;
     771;
     -1467;
     32;
     779;
     -1473;
     611;
     -1475;
     108;
     -1477;
     115;
     -1479;
     120;
     -1481;
     661;
     -1664;
     768;
     -1666;
     769;
     -1670;
     787;
     -1672;
     776;
     769;
     -1768;
     697;
     -1781;
     32;
     837;
     -1788;
     59;
     -1801;
     32;
     769;
     -1802;
     168;
     769;
     -1804;
     913;
     769;
     -1806;
     183;
     -1808;
     917;
     769;
     -1810;
     919;
     769;
     -1812;
     921;
     769;
     -1816;
     927;
     769;
     -1820;
     933;
     769;
     -1822;
     937;
     769;
     -1824;
     970;
     769;
     -1876;
     921;
     776;
     -1878;
     933;
     776;
     -1880;
     945;
     769;
     -1882;
     949;
     769;
     -1884;
     951;
     769;
     -1886;
     953;
     769;
     -1888;
     971;
     769;
     -1940;
     953;
     776;
     -1942;
     965;
     776;
     -1944;
     959;
     769;
     -1946;
     965;
     769;
     -1948;
     969;
     769;
     -1953;
     946;
     -1955;
     952;
     -1957;
     933;
     -1958;
     978;
     769;
     -1960;
     978;
     776;
     -1963;
     966;
     -1965;
     960;
     -2017;
     954;
     -2019;
     961;
     -2021;
     962;
     -2025;
     920;
     -2027;
     949;
     -2048;
     1045;
     768;
     -2050;
     1045;
     776;
     -2054;
     1043;
     769;
     -2062;
     1030;
     776;
     -2072;
     1050;
     769;
     -2074;
     1048;
     768;
     -2076;
     1059;
     774;
     -2098;
     1048;
     774;
     -2162;
     1080;
     774;
     -2208;
     1077;
     768;
     -2210;
     1077;
     776;
     -2214;
     1075;
     769;
     -2222;
     1110;
     776;
     -2232;
     1082;
     769;
     -2234;
     1080;
     768;
     -2236;
     1091;
     774;
     -2284;
     1140;
     783;
     -2286;
     1141;
     783;
     -2434;
     1046;
     774;
     -2436;
     1078;
     774;
     -2464;
     1040;
     774;
     -2466;
     1072;
     774;
     -2468;
     1040;
     776;
     -2470;
     1072;
     776;
     -2476;
     1045;
     774;
     -2478;
     1077;
     774;
     -2484;
     1240;
     776;
     -2486;
     1241;
     776;
     -2488;
     1046;
     776;
     -2490;
     1078;
     776;
     -2492;
     1047;
     776;
     -2494;
     1079;
     776;
     -2500;
     1048;
     772;
     -2502;
     1080;
     772;
     -2504;
     1048;
     776;
     -2506;
     1080;
     776;
     -2508;
     1054;
     776;
     -2510;
     1086;
     776;
     -2516;
     1256;
     776;
     -2518;
     1257;
     776;
     -2520;
     1069;
     776;
     -2522;
     1101;
     776;
     -2524;
     1059;
     772;
     -2526;
     1091;
     772;
     -2528;
     1059;
     776;
     -2530;
     1091;
     776;
     -2532;
     1059;
     779;
     -2534;
     1091;
     779;
     -2536;
     1063;
     776;
     -2538;
     1095;
     776;
     -2544;
     1067;
     776;
     -2546;
     1099;
     776;
     -2831;
     1381;
     1410;
     -3140;
     1575;
     1619;
     -3142;
     1575;
     1620;
     -3144;
     1608;
     1620;
     -3146;
     1575;
     1621;
     -3148;
     1610;
     1620;
     -3307;
     1575;
     1652;
     -3309;
     1608;
     1652;
     -3311;
     1735;
     1652;
     -3313;
     1610;
     1652;
     -3456;
     1749;
     1620;
     -3460;
     1729;
     1620;
     -3494;
     1746;
     1620;
     -4690;
     2344;
     2364;
     -4706;
     2352;
     2364;
     -4712;
     2355;
     2364;
     -4784;
     2325;
     2364;
     -4786;
     2326;
     2364;
     -4788;
     2327;
     2364;
     -4790;
     2332;
     2364;
     -4792;
     2337;
     2364;
     -4794;
     2338;
     2364;
     -4796;
     2347;
     2364;
     -4798;
     2351;
     2364;
     -5014;
     2503;
     2494;
     -5016;
     2503;
     2519;
     -5048;
     2465;
     2492;
     -5050;
     2466;
     2492;
     -5054;
     2479;
     2492;
     -5222;
     2610;
     2620;
     -5228;
     2616;
     2620;
     -5298;
     2582;
     2620;
     -5300;
     2583;
     2620;
     -5302;
     2588;
     2620;
     -5308;
     2603;
     2620;
     -5776;
     2887;
     2902;
     -5782;
     2887;
     2878;
     -5784;
     2887;
     2903;
     -5816;
     2849;
     2876;
     -5818;
     2850;
     2876;
     -5928;
     2962;
     3031;
     -6036;
     3014;
     3006;
     -6038;
     3015;
     3006;
     -6040;
     3014;
     3031;
     -6288;
     3142;
     3158;
     -6528;
     3263;
     3285;
     -6542;
     3270;
     3285;
     -6544;
     3270;
     3286;
     -6548;
     3270;
     3266;
     -6550;
     3274;
     3285;
     -6804;
     3398;
     3390;
     -6806;
     3399;
     3390;
     -6808;
     3398;
     3415;
     -7092;
     3545;
     3530;
     -7096;
     3545;
     3535;
     -7098;
     3548;
     3530;
     -7100;
     3545;
     3551;
     -7271;
     3661;
     3634;
     -7527;
     3789;
     3762;
     -7609;
     3755;
     3737;
     -7611;
     3755;
     3745;
     -7705;
     3851;
     -7814;
     3906;
     4023;
     -7834;
     3916;
     4023;
     -7844;
     3921;
     4023;
     -7854;
     3926;
     4023;
     -7864;
     3931;
     4023;
     -7890;
     3904;
     4021;
     -7910;
     3953;
     3954;
     -7914;
     3953;
     3956;
     -7916;
     4018;
     3968;
     -7919;
     4018;
     3969;
     -7920;
     4019;
     3968;
     -7923;
     4019;
     3969;
     -7938;
     3953;
     3968;
     -7974;
     3986;
     4023;
     -7994;
     3996;
     4023;
     -8004;
     4001;
     4023;
     -8014;
     4006;
     4023;
     -8024;
     4011;
     4023;
     -8050;
     3984;
     4021;
     -8268;
     4133;
     4142;
     -15360;
     65;
     805;
     -15362;
     97;
     805;
     -15364;
     66;
     775;
     -15366;
     98;
     775;
     -15368;
     66;
     803;
     -15370;
     98;
     803;
     -15372;
     66;
     817;
     -15374;
     98;
     817;
     -15376;
     199;
     769;
     -15378;
     231;
     769;
     -15380;
     68;
     775;
     -15382;
     100;
     775;
     -15384;
     68;
     803;
     -15386;
     100;
     803;
     -15388;
     68;
     817;
     -15390;
     100;
     817;
     -15392;
     68;
     807;
     -15394;
     100;
     807;
     -15396;
     68;
     813;
     -15398;
     100;
     813;
     -15400;
     274;
     768;
     -15402;
     275;
     768;
     -15404;
     274;
     769;
     -15406;
     275;
     769;
     -15408;
     69;
     813;
     -15410;
     101;
     813;
     -15412;
     69;
     816;
     -15414;
     101;
     816;
     -15416;
     552;
     774;
     -15418;
     553;
     774;
     -15420;
     70;
     775;
     -15422;
     102;
     775;
     -15424;
     71;
     772;
     -15426;
     103;
     772;
     -15428;
     72;
     775;
     -15430;
     104;
     775;
     -15432;
     72;
     803;
     -15434;
     104;
     803;
     -15436;
     72;
     776;
     -15438;
     104;
     776;
     -15440;
     72;
     807;
     -15442;
     104;
     807;
     -15444;
     72;
     814;
     -15446;
     104;
     814;
     -15448;
     73;
     816;
     -15450;
     105;
     816;
     -15452;
     207;
     769;
     -15454;
     239;
     769;
     -15456;
     75;
     769;
     -15458;
     107;
     769;
     -15460;
     75;
     803;
     -15462;
     107;
     803;
     -15464;
     75;
     817;
     -15466;
     107;
     817;
     -15468;
     76;
     803;
     -15470;
     108;
     803;
     -15472;
     7734;
     772;
     -15474;
     7735;
     772;
     -15476;
     76;
     817;
     -15478;
     108;
     817;
     -15480;
     76;
     813;
     -15482;
     108;
     813;
     -15484;
     77;
     769;
     -15486;
     109;
     769;
     -15488;
     77;
     775;
     -15490;
     109;
     775;
     -15492;
     77;
     803;
     -15494;
     109;
     803;
     -15496;
     78;
     775;
     -15498;
     110;
     775;
     -15500;
     78;
     803;
     -15502;
     110;
     803;
     -15504;
     78;
     817;
     -15506;
     110;
     817;
     -15508;
     78;
     813;
     -15510;
     110;
     813;
     -15512;
     213;
     769;
     -15514;
     245;
     769;
     -15516;
     213;
     776;
     -15518;
     245;
     776;
     -15520;
     332;
     768;
     -15522;
     333;
     768;
     -15524;
     332;
     769;
     -15526;
     333;
     769;
     -15528;
     80;
     769;
     -15530;
     112;
     769;
     -15532;
     80;
     775;
     -15534;
     112;
     775;
     -15536;
     82;
     775;
     -15538;
     114;
     775;
     -15540;
     82;
     803;
     -15542;
     114;
     803;
     -15544;
     7770;
     772;
     -15546;
     7771;
     772;
     -15548;
     82;
     817;
     -15550;
     114;
     817;
     -15552;
     83;
     775;
     -15554;
     115;
     775;
     -15556;
     83;
     803;
     -15558;
     115;
     803;
     -15560;
     346;
     775;
     -15562;
     347;
     775;
     -15564;
     352;
     775;
     -15566;
     353;
     775;
     -15568;
     7778;
     775;
     -15570;
     7779;
     775;
     -15572;
     84;
     775;
     -15574;
     116;
     775;
     -15576;
     84;
     803;
     -15578;
     116;
     803;
     -15580;
     84;
     817;
     -15582;
     116;
     817;
     -15584;
     84;
     813;
     -15586;
     116;
     813;
     -15588;
     85;
     804;
     -15590;
     117;
     804;
     -15592;
     85;
     816;
     -15594;
     117;
     816;
     -15596;
     85;
     813;
     -15598;
     117;
     813;
     -15600;
     360;
     769;
     -15602;
     361;
     769;
     -15604;
     362;
     776;
     -15606;
     363;
     776;
     -15608;
     86;
     771;
     -15610;
     118;
     771;
     -15612;
     86;
     803;
     -15614;
     118;
     803;
     -15616;
     87;
     768;
     -15618;
     119;
     768;
     -15620;
     87;
     769;
     -15622;
     119;
     769;
     -15624;
     87;
     776;
     -15626;
     119;
     776;
     -15628;
     87;
     775;
     -15630;
     119;
     775;
     -15632;
     87;
     803;
     -15634;
     119;
     803;
     -15636;
     88;
     775;
     -15638;
     120;
     775;
     -15640;
     88;
     776;
     -15642;
     120;
     776;
     -15644;
     89;
     775;
     -15646;
     121;
     775;
     -15648;
     90;
     770;
     -15650;
     122;
     770;
     -15652;
     90;
     803;
     -15654;
     122;
     803;
     -15656;
     90;
     817;
     -15658;
     122;
     817;
     -15660;
     104;
     817;
     -15662;
     116;
     776;
     -15664;
     119;
     778;
     -15666;
     121;
     778;
     -15669;
     97;
     702;
     -15670;
     383;
     775;
     -15680;
     65;
     803;
     -15682;
     97;
     803;
     -15684;
     65;
     777;
     -15686;
     97;
     777;
     -15688;
     194;
     769;
     -15690;
     226;
     769;
     -15692;
     194;
     768;
     -15694;
     226;
     768;
     -15696;
     194;
     777;
     -15698;
     226;
     777;
     -15700;
     194;
     771;
     -15702;
     226;
     771;
     -15704;
     7840;
     770;
     -15706;
     7841;
     770;
     -15708;
     258;
     769;
     -15710;
     259;
     769;
     -15712;
     258;
     768;
     -15714;
     259;
     768;
     -15716;
     258;
     777;
     -15718;
     259;
     777;
     -15720;
     258;
     771;
     -15722;
     259;
     771;
     -15724;
     7840;
     774;
     -15726;
     7841;
     774;
     -15728;
     69;
     803;
     -15730;
     101;
     803;
     -15732;
     69;
     777;
     -15734;
     101;
     777;
     -15736;
     69;
     771;
     -15738;
     101;
     771;
     -15740;
     202;
     769;
     -15742;
     234;
     769;
     -15744;
     202;
     768;
     -15746;
     234;
     768;
     -15748;
     202;
     777;
     -15750;
     234;
     777;
     -15752;
     202;
     771;
     -15754;
     234;
     771;
     -15756;
     7864;
     770;
     -15758;
     7865;
     770;
     -15760;
     73;
     777;
     -15762;
     105;
     777;
     -15764;
     73;
     803;
     -15766;
     105;
     803;
     -15768;
     79;
     803;
     -15770;
     111;
     803;
     -15772;
     79;
     777;
     -15774;
     111;
     777;
     -15776;
     212;
     769;
     -15778;
     244;
     769;
     -15780;
     212;
     768;
     -15782;
     244;
     768;
     -15784;
     212;
     777;
     -15786;
     244;
     777;
     -15788;
     212;
     771;
     -15790;
     244;
     771;
     -15792;
     7884;
     770;
     -15794;
     7885;
     770;
     -15796;
     416;
     769;
     -15798;
     417;
     769;
     -15800;
     416;
     768;
     -15802;
     417;
     768;
     -15804;
     416;
     777;
     -15806;
     417;
     777;
     -15808;
     416;
     771;
     -15810;
     417;
     771;
     -15812;
     416;
     803;
     -15814;
     417;
     803;
     -15816;
     85;
     803;
     -15818;
     117;
     803;
     -15820;
     85;
     777;
     -15822;
     117;
     777;
     -15824;
     431;
     769;
     -15826;
     432;
     769;
     -15828;
     431;
     768;
     -15830;
     432;
     768;
     -15832;
     431;
     777;
     -15834;
     432;
     777;
     -15836;
     431;
     771;
     -15838;
     432;
     771;
     -15840;
     431;
     803;
     -15842;
     432;
     803;
     -15844;
     89;
     768;
     -15846;
     121;
     768;
     -15848;
     89;
     803;
     -15850;
     121;
     803;
     -15852;
     89;
     777;
     -15854;
     121;
     777;
     -15856;
     89;
     771;
     -15858;
     121;
     771;
     -15872;
     945;
     787;
     -15874;
     945;
     788;
     -15876;
     7936;
     768;
     -15878;
     7937;
     768;
     -15880;
     7936;
     769;
     -15882;
     7937;
     769;
     -15884;
     7936;
     834;
     -15886;
     7937;
     834;
     -15888;
     913;
     787;
     -15890;
     913;
     788;
     -15892;
     7944;
     768;
     -15894;
     7945;
     768;
     -15896;
     7944;
     769;
     -15898;
     7945;
     769;
     -15900;
     7944;
     834;
     -15902;
     7945;
     834;
     -15904;
     949;
     787;
     -15906;
     949;
     788;
     -15908;
     7952;
     768;
     -15910;
     7953;
     768;
     -15912;
     7952;
     769;
     -15914;
     7953;
     769;
     -15920;
     917;
     787;
     -15922;
     917;
     788;
     -15924;
     7960;
     768;
     -15926;
     7961;
     768;
     -15928;
     7960;
     769;
     -15930;
     7961;
     769;
     -15936;
     951;
     787;
     -15938;
     951;
     788;
     -15940;
     7968;
     768;
     -15942;
     7969;
     768;
     -15944;
     7968;
     769;
     -15946;
     7969;
     769;
     -15948;
     7968;
     834;
     -15950;
     7969;
     834;
     -15952;
     919;
     787;
     -15954;
     919;
     788;
     -15956;
     7976;
     768;
     -15958;
     7977;
     768;
     -15960;
     7976;
     769;
     -15962;
     7977;
     769;
     -15964;
     7976;
     834;
     -15966;
     7977;
     834;
     -15968;
     953;
     787;
     -15970;
     953;
     788;
     -15972;
     7984;
     768;
     -15974;
     7985;
     768;
     -15976;
     7984;
     769;
     -15978;
     7985;
     769;
     -15980;
     7984;
     834;
     -15982;
     7985;
     834;
     -15984;
     921;
     787;
     -15986;
     921;
     788;
     -15988;
     7992;
     768;
     -15990;
     7993;
     768;
     -15992;
     7992;
     769;
     -15994;
     7993;
     769;
     -15996;
     7992;
     834;
     -15998;
     7993;
     834;
     -16000;
     959;
     787;
     -16002;
     959;
     788;
     -16004;
     8000;
     768;
     -16006;
     8001;
     768;
     -16008;
     8000;
     769;
     -16010;
     8001;
     769;
     -16016;
     927;
     787;
     -16018;
     927;
     788;
     -16020;
     8008;
     768;
     -16022;
     8009;
     768;
     -16024;
     8008;
     769;
     -16026;
     8009;
     769;
     -16032;
     965;
     787;
     -16034;
     965;
     788;
     -16036;
     8016;
     768;
     -16038;
     8017;
     768;
     -16040;
     8016;
     769;
     -16042;
     8017;
     769;
     -16044;
     8016;
     834;
     -16046;
     8017;
     834;
     -16050;
     933;
     788;
     -16054;
     8025;
     768;
     -16058;
     8025;
     769;
     -16062;
     8025;
     834;
     -16064;
     969;
     787;
     -16066;
     969;
     788;
     -16068;
     8032;
     768;
     -16070;
     8033;
     768;
     -16072;
     8032;
     769;
     -16074;
     8033;
     769;
     -16076;
     8032;
     834;
     -16078;
     8033;
     834;
     -16080;
     937;
     787;
     -16082;
     937;
     788;
     -16084;
     8040;
     768;
     -16086;
     8041;
     768;
     -16088;
     8040;
     769;
     -16090;
     8041;
     769;
     -16092;
     8040;
     834;
     -16094;
     8041;
     834;
     -16096;
     945;
     768;
     -16098;
     940;
     -16100;
     949;
     768;
     -16102;
     941;
     -16104;
     951;
     768;
     -16106;
     942;
     -16108;
     953;
     768;
     -16110;
     943;
     -16112;
     959;
     768;
     -16114;
     972;
     -16116;
     965;
     768;
     -16118;
     973;
     -16120;
     969;
     768;
     -16122;
     974;
     -16128;
     7936;
     837;
     -16130;
     7937;
     837;
     -16132;
     7938;
     837;
     -16134;
     7939;
     837;
     -16136;
     7940;
     837;
     -16138;
     7941;
     837;
     -16140;
     7942;
     837;
     -16142;
     7943;
     837;
     -16144;
     7944;
     837;
     -16146;
     7945;
     837;
     -16148;
     7946;
     837;
     -16150;
     7947;
     837;
     -16152;
     7948;
     837;
     -16154;
     7949;
     837;
     -16156;
     7950;
     837;
     -16158;
     7951;
     837;
     -16160;
     7968;
     837;
     -16162;
     7969;
     837;
     -16164;
     7970;
     837;
     -16166;
     7971;
     837;
     -16168;
     7972;
     837;
     -16170;
     7973;
     837;
     -16172;
     7974;
     837;
     -16174;
     7975;
     837;
     -16176;
     7976;
     837;
     -16178;
     7977;
     837;
     -16180;
     7978;
     837;
     -16182;
     7979;
     837;
     -16184;
     7980;
     837;
     -16186;
     7981;
     837;
     -16188;
     7982;
     837;
     -16190;
     7983;
     837;
     -16192;
     8032;
     837;
     -16194;
     8033;
     837;
     -16196;
     8034;
     837;
     -16198;
     8035;
     837;
     -16200;
     8036;
     837;
     -16202;
     8037;
     837;
     -16204;
     8038;
     837;
     -16206;
     8039;
     837;
     -16208;
     8040;
     837;
     -16210;
     8041;
     837;
     -16212;
     8042;
     837;
     -16214;
     8043;
     837;
     -16216;
     8044;
     837;
     -16218;
     8045;
     837;
     -16220;
     8046;
     837;
     -16222;
     8047;
     837;
     -16224;
     945;
     774;
     -16226;
     945;
     772;
     -16228;
     8048;
     837;
     -16230;
     945;
     837;
     -16232;
     940;
     837;
     -16236;
     945;
     834;
     -16238;
     8118;
     837;
     -16240;
     913;
     774;
     -16242;
     913;
     772;
     -16244;
     913;
     768;
     -16246;
     902;
     -16248;
     913;
     837;
     -16251;
     32;
     787;
     -16252;
     953;
     -16255;
     32;
     787;
     -16257;
     32;
     834;
     -16258;
     168;
     834;
     -16260;
     8052;
     837;
     -16262;
     951;
     837;
     -16264;
     942;
     837;
     -16268;
     951;
     834;
     -16270;
     8134;
     837;
     -16272;
     917;
     768;
     -16274;
     904;
     -16276;
     919;
     768;
     -16278;
     905;
     -16280;
     919;
     837;
     -16282;
     8127;
     768;
     -16284;
     8127;
     769;
     -16286;
     8127;
     834;
     -16288;
     953;
     774;
     -16290;
     953;
     772;
     -16292;
     970;
     768;
     -16294;
     912;
     -16300;
     953;
     834;
     -16302;
     970;
     834;
     -16304;
     921;
     774;
     -16306;
     921;
     772;
     -16308;
     921;
     768;
     -16310;
     906;
     -16314;
     8190;
     768;
     -16316;
     8190;
     769;
     -16318;
     8190;
     834;
     -16320;
     965;
     774;
     -16322;
     965;
     772;
     -16324;
     971;
     768;
     -16326;
     944;
     -16328;
     961;
     787;
     -16330;
     961;
     788;
     -16332;
     965;
     834;
     -16334;
     971;
     834;
     -16336;
     933;
     774;
     -16338;
     933;
     772;
     -16340;
     933;
     768;
     -16342;
     910;
     -16344;
     929;
     788;
     -16346;
     168;
     768;
     -16348;
     901;
     -16350;
     96;
     -16356;
     8060;
     837;
     -16358;
     969;
     837;
     -16360;
     974;
     837;
     -16364;
     969;
     834;
     -16366;
     8182;
     837;
     -16368;
     927;
     768;
     -16370;
     908;
     -16372;
     937;
     768;
     -16374;
     911;
     -16376;
     937;
     837;
     -16378;
     180;
     -16381;
     32;
     788;
     -16384;
     8194;
     -16386;
     8195;
     -16389;
     32;
     -16391;
     32;
     -16393;
     32;
     -16395;
     32;
     -16397;
     32;
     -16399;
     32;
     -16401;
     32;
     -16403;
     32;
     -16405;
     32;
     -16419;
     8208;
     -16431;
     32;
     819;
     -16457;
     46;
     -16459;
     46;
     46;
     -16461;
     46;
     46;
     46;
     -16479;
     32;
     -16487;
     8242;
     8242;
     -16489;
     8242;
     8242;
     8242;
     -16493;
     8245;
     8245;
     -16495;
     8245;
     8245;
     8245;
     -16505;
     33;
     33;
     -16509;
     32;
     773;
     -16527;
     63;
     63;
     -16529;
     63;
     33;
     -16531;
     33;
     63;
     -16559;
     8242;
     8242;
     8242;
     8242;
     -16575;
     32;
     -16609;
     48;
     -16611;
     105;
     -16617;
     52;
     -16619;
     53;
     -16621;
     54;
     -16623;
     55;
     -16625;
     56;
     -16627;
     57;
     -16629;
     43;
     -16631;
     8722;
     -16633;
     61;
     -16635;
     40;
     -16637;
     41;
     -16639;
     110;
     -16641;
     48;
     -16643;
     49;
     -16645;
     50;
     -16647;
     51;
     -16649;
     52;
     -16651;
     53;
     -16653;
     54;
     -16655;
     55;
     -16657;
     56;
     -16659;
     57;
     -16661;
     43;
     -16663;
     8722;
     -16665;
     61;
     -16667;
     40;
     -16669;
     41;
     -16721;
     82;
     115;
     -16897;
     97;
     47;
     99;
     -16899;
     97;
     47;
     115;
     -16901;
     67;
     -16903;
     176;
     67;
     -16907;
     99;
     47;
     111;
     -16909;
     99;
     47;
     117;
     -16911;
     400;
     -16915;
     176;
     70;
     -16917;
     103;
     -16919;
     72;
     -16921;
     72;
     -16923;
     72;
     -16925;
     104;
     -16927;
     295;
     -16929;
     73;
     -16931;
     73;
     -16933;
     76;
     -16935;
     108;
     -16939;
     78;
     -16941;
     78;
     111;
     -16947;
     80;
     -16949;
     81;
     -16951;
     82;
     -16953;
     82;
     -16955;
     82;
     -16961;
     83;
     77;
     -16963;
     84;
     69;
     76;
     -16965;
     84;
     77;
     -16969;
     90;
     -16972;
     937;
     -16977;
     90;
     -16980;
     75;
     -16982;
     197;
     -16985;
     66;
     -16987;
     67;
     -16991;
     101;
     -16993;
     69;
     -16995;
     70;
     -16999;
     77;
     -17001;
     111;
     -17003;
     1488;
     -17005;
     1489;
     -17007;
     1490;
     -17009;
     1491;
     -17011;
     105;
     -17019;
     947;
     -17021;
     915;
     -17023;
     928;
     -17025;
     8721;
     -17035;
     68;
     -17037;
     100;
     -17039;
     101;
     -17041;
     105;
     -17043;
     106;
     -17063;
     49;
     8260;
     51;
     -17065;
     50;
     8260;
     51;
     -17067;
     49;
     8260;
     53;
     -17069;
     50;
     8260;
     53;
     -17071;
     51;
     8260;
     53;
     -17073;
     52;
     8260;
     53;
     -17075;
     49;
     8260;
     54;
     -17077;
     53;
     8260;
     54;
     -17079;
     49;
     8260;
     56;
     -17081;
     51;
     8260;
     56;
     -17083;
     53;
     8260;
     56;
     -17085;
     55;
     8260;
     56;
     -17087;
     49;
     8260;
     -17089;
     73;
     -17091;
     73;
     73;
     -17093;
     73;
     73;
     73;
     -17095;
     73;
     86;
     -17097;
     86;
     -17099;
     86;
     73;
     -17101;
     86;
     73;
     73;
     -17103;
     86;
     73;
     73;
     73;
     -17105;
     73;
     88;
     -17107;
     88;
     -17109;
     88;
     73;
     -17111;
     88;
     73;
     73;
     -17113;
     76;
     -17115;
     67;
     -17117;
     68;
     -17119;
     77;
     -17121;
     105;
     -17123;
     105;
     105;
     -17125;
     105;
     105;
     105;
     -17127;
     105;
     118;
     -17129;
     118;
     -17131;
     118;
     105;
     -17133;
     118;
     105;
     105;
     -17135;
     118;
     105;
     105;
     105;
     -17137;
     105;
     120;
     -17139;
     120;
     -17141;
     120;
     105;
     -17143;
     120;
     105;
     105;
     -17145;
     108;
     -17147;
     99;
     -17149;
     100;
     -17151;
     109;
     -17204;
     8592;
     824;
     -17206;
     8594;
     824;
     -17244;
     8596;
     824;
     -17306;
     8656;
     824;
     -17308;
     8660;
     824;
     -17310;
     8658;
     824;
     -17416;
     8707;
     824;
     -17426;
     8712;
     824;
     -17432;
     8715;
     824;
     -17480;
     8739;
     824;
     -17484;
     8741;
     824;
     -17497;
     8747;
     8747;
     -17499;
     8747;
     8747;
     8747;
     -17503;
     8750;
     8750;
     -17505;
     8750;
     8750;
     8750;
     -17538;
     8764;
     824;
     -17544;
     8771;
     824;
     -17550;
     8773;
     824;
     -17554;
     8776;
     824;
     -17600;
     61;
     824;
     -17604;
     8801;
     824;
     -17626;
     8781;
     824;
     -17628;
     60;
     824;
     -17630;
     62;
     824;
     -17632;
     8804;
     824;
     -17634;
     8805;
     824;
     -17640;
     8818;
     824;
     -17642;
     8819;
     824;
     -17648;
     8822;
     824;
     -17650;
     8823;
     824;
     -17664;
     8826;
     824;
     -17666;
     8827;
     824;
     -17672;
     8834;
     824;
     -17674;
     8835;
     824;
     -17680;
     8838;
     824;
     -17682;
     8839;
     824;
     -17752;
     8866;
     824;
     -17754;
     8872;
     824;
     -17756;
     8873;
     824;
     -17758;
     8875;
     824;
     -17856;
     8828;
     824;
     -17858;
     8829;
     824;
     -17860;
     8849;
     824;
     -17862;
     8850;
     824;
     -17876;
     8882;
     824;
     -17878;
     8883;
     824;
     -17880;
     8884;
     824;
     -17882;
     8885;
     824;
     -18002;
     12296;
     -18004;
     12297;
     -18625;
     49;
     -18627;
     50;
     -18629;
     51;
     -18631;
     52;
     -18633;
     53;
     -18635;
     54;
     -18637;
     55;
     -18639;
     56;
     -18641;
     57;
     -18643;
     49;
     48;
     -18645;
     49;
     49;
     -18647;
     49;
     50;
     -18649;
     49;
     51;
     -18651;
     49;
     52;
     -18653;
     49;
     53;
     -18655;
     49;
     54;
     -18657;
     49;
     55;
     -18659;
     49;
     56;
     -18661;
     49;
     57;
     -18663;
     50;
     48;
     -18665;
     40;
     49;
     41;
     -18667;
     40;
     50;
     41;
     -18669;
     40;
     51;
     41;
     -18671;
     40;
     52;
     41;
     -18673;
     40;
     53;
     41;
     -18675;
     40;
     54;
     41;
     -18677;
     40;
     55;
     41;
     -18679;
     40;
     56;
     41;
     -18681;
     40;
     57;
     41;
     -18683;
     40;
     49;
     48;
     41;
     -18685;
     40;
     49;
     49;
     41;
     -18687;
     40;
     49;
     50;
     41;
     -18689;
     40;
     49;
     51;
     41;
     -18691;
     40;
     49;
     52;
     41;
     -18693;
     40;
     49;
     53;
     41;
     -18695;
     40;
     49;
     54;
     41;
     -18697;
     40;
     49;
     55;
     41;
     -18699;
     40;
     49;
     56;
     41;
     -18701;
     40;
     49;
     57;
     41;
     -18703;
     40;
     50;
     48;
     41;
     -18705;
     49;
     46;
     -18707;
     50;
     46;
     -18709;
     51;
     46;
     -18711;
     52;
     46;
     -18713;
     53;
     46;
     -18715;
     54;
     46;
     -18717;
     55;
     46;
     -18719;
     56;
     46;
     -18721;
     57;
     46;
     -18723;
     49;
     48;
     46;
     -18725;
     49;
     49;
     46;
     -18727;
     49;
     50;
     46;
     -18729;
     49;
     51;
     46;
     -18731;
     49;
     52;
     46;
     -18733;
     49;
     53;
     46;
     -18735;
     49;
     54;
     46;
     -18737;
     49;
     55;
     46;
     -18739;
     49;
     56;
     46;
     -18741;
     49;
     57;
     46;
     -18743;
     50;
     48;
     46;
     -18745;
     40;
     97;
     41;
     -18747;
     40;
     98;
     41;
     -18749;
     40;
     99;
     41;
     -18751;
     40;
     100;
     41;
     -18753;
     40;
     101;
     41;
     -18755;
     40;
     102;
     41;
     -18757;
     40;
     103;
     41;
     -18759;
     40;
     104;
     41;
     -18761;
     40;
     105;
     41;
     -18763;
     40;
     106;
     41;
     -18765;
     40;
     107;
     41;
     -18767;
     40;
     108;
     41;
     -18769;
     40;
     109;
     41;
     -18771;
     40;
     110;
     41;
     -18773;
     40;
     111;
     41;
     -18775;
     40;
     112;
     41;
     -18777;
     40;
     113;
     41;
     -18779;
     40;
     114;
     41;
     -18781;
     40;
     115;
     41;
     -18783;
     40;
     116;
     41;
     -18785;
     40;
     117;
     41;
     -18787;
     40;
     118;
     41;
     -18789;
     40;
     119;
     41;
     -18791;
     40;
     120;
     41;
     -18793;
     40;
     121;
     41;
     -18795;
     40;
     122;
     41;
     -18797;
     65;
     -18799;
     66;
     -18801;
     67;
     -18803;
     68;
     -18805;
     69;
     -18807;
     70;
     -18809;
     71;
     -18811;
     72;
     -18813;
     73;
     -18815;
     74;
     -18817;
     75;
     -18819;
     76;
     -18821;
     77;
     -18823;
     78;
     -18825;
     79;
     -18827;
     80;
     -18829;
     81;
     -18831;
     82;
     -18833;
     83;
     -18835;
     84;
     -18837;
     85;
     -18839;
     86;
     -18841;
     87;
     -18843;
     88;
     -18845;
     89;
     -18847;
     90;
     -18849;
     97;
     -18851;
     98;
     -18853;
     99;
     -18855;
     100;
     -18857;
     101;
     -18859;
     102;
     -18861;
     103;
     -18863;
     104;
     -18865;
     105;
     -18867;
     106;
     -18869;
     107;
     -18871;
     108;
     -18873;
     109;
     -18875;
     110;
     -18877;
     111;
     -18879;
     112;
     -18881;
     113;
     -18883;
     114;
     -18885;
     115;
     -18887;
     116;
     -18889;
     117;
     -18891;
     118;
     -18893;
     119;
     -18895;
     120;
     -18897;
     121;
     -18899;
     122;
     -18901;
     48;
     -21529;
     8747;
     8747;
     8747;
     8747;
     -21737;
     58;
     58;
     61;
     -21739;
     61;
     61;
     -21741;
     61;
     61;
     61;
     -21944;
     10973;
     824;
     -23871;
     27597;
     -24039;
     40863;
     -24065;
     19968;
     -24067;
     20008;
     -24069;
     20022;
     -24071;
     20031;
     -24073;
     20057;
     -24075;
     20101;
     -24077;
     20108;
     -24079;
     20128;
     -24081;
     20154;
     -24083;
     20799;
     -24085;
     20837;
     -24087;
     20843;
     -24089;
     20866;
     -24091;
     20886;
     -24093;
     20907;
     -24095;
     20960;
     -24097;
     20981;
     -24099;
     20992;
     -24101;
     21147;
     -24103;
     21241;
     -24105;
     21269;
     -24107;
     21274;
     -24109;
     21304;
     -24111;
     21313;
     -24113;
     21340;
     -24115;
     21353;
     -24117;
     21378;
     -24119;
     21430;
     -24121;
     21448;
     -24123;
     21475;
     -24125;
     22231;
     -24127;
     22303;
     -24129;
     22763;
     -24131;
     22786;
     -24133;
     22794;
     -24135;
     22805;
     -24137;
     22823;
     -24139;
     22899;
     -24141;
     23376;
     -24143;
     23424;
     -24145;
     23544;
     -24147;
     23567;
     -24149;
     23586;
     -24151;
     23608;
     -24153;
     23662;
     -24155;
     23665;
     -24157;
     24027;
     -24159;
     24037;
     -24161;
     24049;
     -24163;
     24062;
     -24165;
     24178;
     -24167;
     24186;
     -24169;
     24191;
     -24171;
     24308;
     -24173;
     24318;
     -24175;
     24331;
     -24177;
     24339;
     -24179;
     24400;
     -24181;
     24417;
     -24183;
     24435;
     -24185;
     24515;
     -24187;
     25096;
     -24189;
     25142;
     -24191;
     25163;
     -24193;
     25903;
     -24195;
     25908;
     -24197;
     25991;
     -24199;
     26007;
     -24201;
     26020;
     -24203;
     26041;
     -24205;
     26080;
     -24207;
     26085;
     -24209;
     26352;
     -24211;
     26376;
     -24213;
     26408;
     -24215;
     27424;
     -24217;
     27490;
     -24219;
     27513;
     -24221;
     27571;
     -24223;
     27595;
     -24225;
     27604;
     -24227;
     27611;
     -24229;
     27663;
     -24231;
     27668;
     -24233;
     27700;
     -24235;
     28779;
     -24237;
     29226;
     -24239;
     29238;
     -24241;
     29243;
     -24243;
     29247;
     -24245;
     29255;
     -24247;
     29273;
     -24249;
     29275;
     -24251;
     29356;
     -24253;
     29572;
     -24255;
     29577;
     -24257;
     29916;
     -24259;
     29926;
     -24261;
     29976;
     -24263;
     29983;
     -24265;
     29992;
     -24267;
     30000;
     -24269;
     30091;
     -24271;
     30098;
     -24273;
     30326;
     -24275;
     30333;
     -24277;
     30382;
     -24279;
     30399;
     -24281;
     30446;
     -24283;
     30683;
     -24285;
     30690;
     -24287;
     30707;
     -24289;
     31034;
     -24291;
     31160;
     -24293;
     31166;
     -24295;
     31348;
     -24297;
     31435;
     -24299;
     31481;
     -24301;
     31859;
     -24303;
     31992;
     -24305;
     32566;
     -24307;
     32593;
     -24309;
     32650;
     -24311;
     32701;
     -24313;
     32769;
     -24315;
     32780;
     -24317;
     32786;
     -24319;
     32819;
     -24321;
     32895;
     -24323;
     32905;
     -24325;
     33251;
     -24327;
     33258;
     -24329;
     33267;
     -24331;
     33276;
     -24333;
     33292;
     -24335;
     33307;
     -24337;
     33311;
     -24339;
     33390;
     -24341;
     33394;
     -24343;
     33400;
     -24345;
     34381;
     -24347;
     34411;
     -24349;
     34880;
     -24351;
     34892;
     -24353;
     34915;
     -24355;
     35198;
     -24357;
     35211;
     -24359;
     35282;
     -24361;
     35328;
     -24363;
     35895;
     -24365;
     35910;
     -24367;
     35925;
     -24369;
     35960;
     -24371;
     35997;
     -24373;
     36196;
     -24375;
     36208;
     -24377;
     36275;
     -24379;
     36523;
     -24381;
     36554;
     -24383;
     36763;
     -24385;
     36784;
     -24387;
     36789;
     -24389;
     37009;
     -24391;
     37193;
     -24393;
     37318;
     -24395;
     37324;
     -24397;
     37329;
     -24399;
     38263;
     -24401;
     38272;
     -24403;
     38428;
     -24405;
     38582;
     -24407;
     38585;
     -24409;
     38632;
     -24411;
     38737;
     -24413;
     38750;
     -24415;
     38754;
     -24417;
     38761;
     -24419;
     38859;
     -24421;
     38893;
     -24423;
     38899;
     -24425;
     38913;
     -24427;
     39080;
     -24429;
     39131;
     -24431;
     39135;
     -24433;
     39318;
     -24435;
     39321;
     -24437;
     39340;
     -24439;
     39592;
     -24441;
     39640;
     -24443;
     39647;
     -24445;
     39717;
     -24447;
     39727;
     -24449;
     39730;
     -24451;
     39740;
     -24453;
     39770;
     -24455;
     40165;
     -24457;
     40565;
     -24459;
     40575;
     -24461;
     40613;
     -24463;
     40635;
     -24465;
     40643;
     -24467;
     40653;
     -24469;
     40657;
     -24471;
     40697;
     -24473;
     40701;
     -24475;
     40718;
     -24477;
     40723;
     -24479;
     40736;
     -24481;
     40763;
     -24483;
     40778;
     -24485;
     40786;
     -24487;
     40845;
     -24489;
     40860;
     -24491;
     40864;
     -24577;
     32;
     -24685;
     12306;
     -24689;
     21313;
     -24691;
     21316;
     -24693;
     21317;
     -24728;
     12363;
     12441;
     -24732;
     12365;
     12441;
     -24736;
     12367;
     12441;
     -24740;
     12369;
     12441;
     -24744;
     12371;
     12441;
     -24748;
     12373;
     12441;
     -24752;
     12375;
     12441;
     -24756;
     12377;
     12441;
     -24760;
     12379;
     12441;
     -24764;
     12381;
     12441;
     -24768;
     12383;
     12441;
     -24772;
     12385;
     12441;
     -24778;
     12388;
     12441;
     -24782;
     12390;
     12441;
     -24786;
     12392;
     12441;
     -24800;
     12399;
     12441;
     -24802;
     12399;
     12442;
     -24806;
     12402;
     12441;
     -24808;
     12402;
     12442;
     -24812;
     12405;
     12441;
     -24814;
     12405;
     12442;
     -24818;
     12408;
     12441;
     -24820;
     12408;
     12442;
     -24824;
     12411;
     12441;
     -24826;
     12411;
     12442;
     -24872;
     12358;
     12441;
     -24887;
     32;
     12441;
     -24889;
     32;
     12442;
     -24892;
     12445;
     12441;
     -24895;
     12424;
     12426;
     -24920;
     12459;
     12441;
     -24924;
     12461;
     12441;
     -24928;
     12463;
     12441;
     -24932;
     12465;
     12441;
     -24936;
     12467;
     12441;
     -24940;
     12469;
     12441;
     -24944;
     12471;
     12441;
     -24948;
     12473;
     12441;
     -24952;
     12475;
     12441;
     -24956;
     12477;
     12441;
     -24960;
     12479;
     12441;
     -24964;
     12481;
     12441;
     -24970;
     12484;
     12441;
     -24974;
     12486;
     12441;
     -24978;
     12488;
     12441;
     -24992;
     12495;
     12441;
     -24994;
     12495;
     12442;
     -24998;
     12498;
     12441;
     -25000;
     12498;
     12442;
     -25004;
     12501;
     12441;
     -25006;
     12501;
     12442;
     -25010;
     12504;
     12441;
     -25012;
     12504;
     12442;
     -25016;
     12507;
     12441;
     -25018;
     12507;
     12442;
     -25064;
     12454;
     12441;
     -25070;
     12527;
     12441;
     -25072;
     12528;
     12441;
     -25074;
     12529;
     12441;
     -25076;
     12530;
     12441;
     -25084;
     12541;
     12441;
     -25087;
     12467;
     12488;
     -25187;
     4352;
     -25189;
     4353;
     -25191;
     4522;
     -25193;
     4354;
     -25195;
     4524;
     -25197;
     4525;
     -25199;
     4355;
     -25201;
     4356;
     -25203;
     4357;
     -25205;
     4528;
     -25207;
     4529;
     -25209;
     4530;
     -25211;
     4531;
     -25213;
     4532;
     -25215;
     4533;
     -25217;
     4378;
     -25219;
     4358;
     -25221;
     4359;
     -25223;
     4360;
     -25225;
     4385;
     -25227;
     4361;
     -25229;
     4362;
     -25231;
     4363;
     -25233;
     4364;
     -25235;
     4365;
     -25237;
     4366;
     -25239;
     4367;
     -25241;
     4368;
     -25243;
     4369;
     -25245;
     4370;
     -25247;
     4449;
     -25249;
     4450;
     -25251;
     4451;
     -25253;
     4452;
     -25255;
     4453;
     -25257;
     4454;
     -25259;
     4455;
     -25261;
     4456;
     -25263;
     4457;
     -25265;
     4458;
     -25267;
     4459;
     -25269;
     4460;
     -25271;
     4461;
     -25273;
     4462;
     -25275;
     4463;
     -25277;
     4464;
     -25279;
     4465;
     -25281;
     4466;
     -25283;
     4467;
     -25285;
     4468;
     -25287;
     4469;
     -25289;
     4448;
     -25291;
     4372;
     -25293;
     4373;
     -25295;
     4551;
     -25297;
     4552;
     -25299;
     4556;
     -25301;
     4558;
     -25303;
     4563;
     -25305;
     4567;
     -25307;
     4569;
     -25309;
     4380;
     -25311;
     4573;
     -25313;
     4575;
     -25315;
     4381;
     -25317;
     4382;
     -25319;
     4384;
     -25321;
     4386;
     -25323;
     4387;
     -25325;
     4391;
     -25327;
     4393;
     -25329;
     4395;
     -25331;
     4396;
     -25333;
     4397;
     -25335;
     4398;
     -25337;
     4399;
     -25339;
     4402;
     -25341;
     4406;
     -25343;
     4416;
     -25345;
     4423;
     -25347;
     4428;
     -25349;
     4593;
     -25351;
     4594;
     -25353;
     4439;
     -25355;
     4440;
     -25357;
     4441;
     -25359;
     4484;
     -25361;
     4485;
     -25363;
     4488;
     -25365;
     4497;
     -25367;
     4498;
     -25369;
     4500;
     -25371;
     4510;
     -25373;
     4513;
     -25381;
     19968;
     -25383;
     20108;
     -25385;
     19977;
     -25387;
     22235;
     -25389;
     19978;
     -25391;
     20013;
     -25393;
     19979;
     -25395;
     30002;
     -25397;
     20057;
     -25399;
     19993;
     -25401;
     19969;
     -25403;
     22825;
     -25405;
     22320;
     -25407;
     20154;
     -25601;
     40;
     4352;
     41;
     -25603;
     40;
     4354;
     41;
     -25605;
     40;
     4355;
     41;
     -25607;
     40;
     4357;
     41;
     -25609;
     40;
     4358;
     41;
     -25611;
     40;
     4359;
     41;
     -25613;
     40;
     4361;
     41;
     -25615;
     40;
     4363;
     41;
     -25617;
     40;
     4364;
     41;
     -25619;
     40;
     4366;
     41;
     -25621;
     40;
     4367;
     41;
     -25623;
     40;
     4368;
     41;
     -25625;
     40;
     4369;
     41;
     -25627;
     40;
     4370;
     41;
     -25629;
     40;
     4352;
     4449;
     41;
     -25631;
     40;
     4354;
     4449;
     41;
     -25633;
     40;
     4355;
     4449;
     41;
     -25635;
     40;
     4357;
     4449;
     41;
     -25637;
     40;
     4358;
     4449;
     41;
     -25639;
     40;
     4359;
     4449;
     41;
     -25641;
     40;
     4361;
     4449;
     41;
     -25643;
     40;
     4363;
     4449;
     41;
     -25645;
     40;
     4364;
     4449;
     41;
     -25647;
     40;
     4366;
     4449;
     41;
     -25649;
     40;
     4367;
     4449;
     41;
     -25651;
     40;
     4368;
     4449;
     41;
     -25653;
     40;
     4369;
     4449;
     41;
     -25655;
     40;
     4370;
     4449;
     41;
     -25657;
     40;
     4364;
     4462;
     41;
     -25665;
     40;
     19968;
     41;
     -25667;
     40;
     20108;
     41;
     -25669;
     40;
     19977;
     41;
     -25671;
     40;
     22235;
     41;
     -25673;
     40;
     20116;
     41;
     -25675;
     40;
     20845;
     41;
     -25677;
     40;
     19971;
     41;
     -25679;
     40;
     20843;
     41;
     -25681;
     40;
     20061;
     41;
     -25683;
     40;
     21313;
     41;
     -25685;
     40;
     26376;
     41;
     -25687;
     40;
     28779;
     41;
     -25689;
     40;
     27700;
     41;
     -25691;
     40;
     26408;
     41;
     -25693;
     40;
     37329;
     41;
     -25695;
     40;
     22303;
     41;
     -25697;
     40;
     26085;
     41;
     -25699;
     40;
     26666;
     41;
     -25701;
     40;
     26377;
     41;
     -25703;
     40;
     31038;
     41;
     -25705;
     40;
     21517;
     41;
     -25707;
     40;
     29305;
     41;
     -25709;
     40;
     36001;
     41;
     -25711;
     40;
     31069;
     41;
     -25713;
     40;
     21172;
     41;
     -25715;
     40;
     20195;
     41;
     -25717;
     40;
     21628;
     41;
     -25719;
     40;
     23398;
     41;
     -25721;
     40;
     30435;
     41;
     -25723;
     40;
     20225;
     41;
     -25725;
     40;
     36039;
     41;
     -25727;
     40;
     21332;
     41;
     -25729;
     40;
     31085;
     41;
     -25731;
     40;
     20241;
     41;
     -25733;
     40;
     33258;
     41;
     -25735;
     40;
     33267;
     41;
     -25763;
     50;
     49;
     -25765;
     50;
     50;
     -25767;
     50;
     51;
     -25769;
     50;
     52;
     -25771;
     50;
     53;
     -25773;
     50;
     54;
     -25775;
     50;
     55;
     -25777;
     50;
     56;
     -25779;
     50;
     57;
     -25781;
     51;
     48;
     -25783;
     51;
     49;
     -25785;
     51;
     50;
     -25787;
     51;
     51;
     -25789;
     51;
     52;
     -25791;
     51;
     53;
     -25793;
     4352;
     -25795;
     4354;
     -25797;
     4355;
     -25799;
     4357;
     -25801;
     4358;
     -25803;
     4359;
     -25805;
     4361;
     -25807;
     4363;
     -25809;
     4364;
     -25811;
     4366;
     -25813;
     4367;
     -25815;
     4368;
     -25817;
     4369;
     -25819;
     4370;
     -25821;
     4352;
     4449;
     -25823;
     4354;
     4449;
     -25825;
     4355;
     4449;
     -25827;
     4357;
     4449;
     -25829;
     4358;
     4449;
     -25831;
     4359;
     4449;
     -25833;
     4361;
     4449;
     -25835;
     4363;
     4449;
     -25837;
     4364;
     4449;
     -25839;
     4366;
     4449;
     -25841;
     4367;
     4449;
     -25843;
     4368;
     4449;
     -25845;
     4369;
     4449;
     -25847;
     4370;
     4449;
     -25857;
     19968;
     -25859;
     20108;
     -25861;
     19977;
     -25863;
     22235;
     -25865;
     20116;
     -25867;
     20845;
     -25869;
     19971;
     -25871;
     20843;
     -25873;
     20061;
     -25875;
     21313;
     -25877;
     26376;
     -25879;
     28779;
     -25881;
     27700;
     -25883;
     26408;
     -25885;
     37329;
     -25887;
     22303;
     -25889;
     26085;
     -25891;
     26666;
     -25893;
     26377;
     -25895;
     31038;
     -25897;
     21517;
     -25899;
     29305;
     -25901;
     36001;
     -25903;
     31069;
     -25905;
     21172;
     -25907;
     31192;
     -25909;
     30007;
     -25911;
     22899;
     -25913;
     36969;
     -25915;
     20778;
     -25917;
     21360;
     -25919;
     27880;
     -25921;
     38917;
     -25923;
     20241;
     -25925;
     20889;
     -25927;
     27491;
     -25929;
     19978;
     -25931;
     20013;
     -25933;
     19979;
     -25935;
     24038;
     -25937;
     21491;
     -25939;
     21307;
     -25941;
     23447;
     -25943;
     23398;
     -25945;
     30435;
     -25947;
     20225;
     -25949;
     36039;
     -25951;
     21332;
     -25953;
     22812;
     -25955;
     51;
     54;
     -25957;
     51;
     55;
     -25959;
     51;
     56;
     -25961;
     51;
     57;
     -25963;
     52;
     48;
     -25965;
     52;
     49;
     -25967;
     52;
     50;
     -25969;
     52;
     51;
     -25971;
     52;
     52;
     -25973;
     52;
     53;
     -25975;
     52;
     54;
     -25977;
     52;
     55;
     -25979;
     52;
     56;
     -25981;
     52;
     57;
     -25983;
     53;
     48;
     -25985;
     49;
     26376;
     -25987;
     50;
     26376;
     -25989;
     51;
     26376;
     -25991;
     52;
     26376;
     -25993;
     53;
     26376;
     -25995;
     54;
     26376;
     -25997;
     55;
     26376;
     -25999;
     56;
     26376;
     -26001;
     57;
     26376;
     -26003;
     49;
     48;
     26376;
     -26005;
     49;
     49;
     26376;
     -26007;
     49;
     50;
     26376;
     -26017;
     12450;
     -26019;
     12452;
     -26021;
     12454;
     -26023;
     12456;
     -26025;
     12458;
     -26027;
     12459;
     -26029;
     12461;
     -26031;
     12463;
     -26033;
     12465;
     -26035;
     12467;
     -26037;
     12469;
     -26039;
     12471;
     -26041;
     12473;
     -26043;
     12475;
     -26045;
     12477;
     -26047;
     12479;
     -26049;
     12481;
     -26051;
     12484;
     -26053;
     12486;
     -26055;
     12488;
     -26057;
     12490;
     -26059;
     12491;
     -26061;
     12492;
     -26063;
     12493;
     -26065;
     12494;
     -26067;
     12495;
     -26069;
     12498;
     -26071;
     12501;
     -26073;
     12504;
     -26075;
     12507;
     -26077;
     12510;
     -26079;
     12511;
     -26081;
     12512;
     -26083;
     12513;
     -26085;
     12514;
     -26087;
     12516;
     -26089;
     12518;
     -26091;
     12520;
     -26093;
     12521;
     -26095;
     12522;
     -26097;
     12523;
     -26099;
     12524;
     -26101;
     12525;
     -26103;
     12527;
     -26105;
     12528;
     -26107;
     12529;
     -26109;
     12530;
     -26113;
     12450;
     12497;
     12540;
     12488;
     -26115;
     12450;
     12523;
     12501;
     12449;
     -26117;
     12450;
     12531;
     12506;
     12450;
     -26119;
     12450;
     12540;
     12523;
     -26121;
     12452;
     12491;
     12531;
     12464;
     -26123;
     12452;
     12531;
     12481;
     -26125;
     12454;
     12457;
     12531;
     -26127;
     12456;
     12473;
     12463;
     12540;
     12489;
     -26129;
     12456;
     12540;
     12459;
     12540;
     -26131;
     12458;
     12531;
     12473;
     -26133;
     12458;
     12540;
     12512;
     -26135;
     12459;
     12452;
     12522;
     -26137;
     12459;
     12521;
     12483;
     12488;
     -26139;
     12459;
     12525;
     12522;
     12540;
     -26141;
     12460;
     12525;
     12531;
     -26143;
     12460;
     12531;
     12510;
     -26145;
     12462;
     12460;
     -26147;
     12462;
     12491;
     12540;
     -26149;
     12461;
     12517;
     12522;
     12540;
     -26151;
     12462;
     12523;
     12480;
     12540;
     -26153;
     12461;
     12525;
     -26155;
     12461;
     12525;
     12464;
     12521;
     12512;
     -26157;
     12461;
     12525;
     12513;
     12540;
     12488;
     12523;
     -26159;
     12461;
     12525;
     12527;
     12483;
     12488;
     -26161;
     12464;
     12521;
     12512;
     -26163;
     12464;
     12521;
     12512;
     12488;
     12531;
     -26165;
     12463;
     12523;
     12476;
     12452;
     12525;
     -26167;
     12463;
     12525;
     12540;
     12493;
     -26169;
     12465;
     12540;
     12473;
     -26171;
     12467;
     12523;
     12490;
     -26173;
     12467;
     12540;
     12509;
     -26175;
     12469;
     12452;
     12463;
     12523;
     -26177;
     12469;
     12531;
     12481;
     12540;
     12512;
     -26179;
     12471;
     12522;
     12531;
     12464;
     -26181;
     12475;
     12531;
     12481;
     -26183;
     12475;
     12531;
     12488;
     -26185;
     12480;
     12540;
     12473;
     -26187;
     12487;
     12471;
     -26189;
     12489;
     12523;
     -26191;
     12488;
     12531;
     -26193;
     12490;
     12494;
     -26195;
     12494;
     12483;
     12488;
     -26197;
     12495;
     12452;
     12484;
     -26199;
     12497;
     12540;
     12475;
     12531;
     12488;
     -26201;
     12497;
     12540;
     12484;
     -26203;
     12496;
     12540;
     12524;
     12523;
     -26205;
     12500;
     12450;
     12473;
     12488;
     12523;
     -26207;
     12500;
     12463;
     12523;
     -26209;
     12500;
     12467;
     -26211;
     12499;
     12523;
     -26213;
     12501;
     12449;
     12521;
     12483;
     12489;
     -26215;
     12501;
     12451;
     12540;
     12488;
     -26217;
     12502;
     12483;
     12471;
     12455;
     12523;
     -26219;
     12501;
     12521;
     12531;
     -26221;
     12504;
     12463;
     12479;
     12540;
     12523;
     -26223;
     12506;
     12477;
     -26225;
     12506;
     12491;
     12498;
     -26227;
     12504;
     12523;
     12484;
     -26229;
     12506;
     12531;
     12473;
     -26231;
     12506;
     12540;
     12472;
     -26233;
     12505;
     12540;
     12479;
     -26235;
     12509;
     12452;
     12531;
     12488;
     -26237;
     12508;
     12523;
     12488;
     -26239;
     12507;
     12531;
     -26241;
     12509;
     12531;
     12489;
     -26243;
     12507;
     12540;
     12523;
     -26245;
     12507;
     12540;
     12531;
     -26247;
     12510;
     12452;
     12463;
     12525;
     -26249;
     12510;
     12452;
     12523;
     -26251;
     12510;
     12483;
     12495;
     -26253;
     12510;
     12523;
     12463;
     -26255;
     12510;
     12531;
     12471;
     12519;
     12531;
     -26257;
     12511;
     12463;
     12525;
     12531;
     -26259;
     12511;
     12522;
     -26261;
     12511;
     12522;
     12496;
     12540;
     12523;
     -26263;
     12513;
     12460;
     -26265;
     12513;
     12460;
     12488;
     12531;
     -26267;
     12513;
     12540;
     12488;
     12523;
     -26269;
     12516;
     12540;
     12489;
     -26271;
     12516;
     12540;
     12523;
     -26273;
     12518;
     12450;
     12531;
     -26275;
     12522;
     12483;
     12488;
     12523;
     -26277;
     12522;
     12521;
     -26279;
     12523;
     12500;
     12540;
     -26281;
     12523;
     12540;
     12502;
     12523;
     -26283;
     12524;
     12512;
     -26285;
     12524;
     12531;
     12488;
     12466;
     12531;
     -26287;
     12527;
     12483;
     12488;
     -26289;
     48;
     28857;
     -26291;
     49;
     28857;
     -26293;
     50;
     28857;
     -26295;
     51;
     28857;
     -26297;
     52;
     28857;
     -26299;
     53;
     28857;
     -26301;
     54;
     28857;
     -26303;
     55;
     28857;
     -26305;
     56;
     28857;
     -26307;
     57;
     28857;
     -26309;
     49;
     48;
     28857;
     -26311;
     49;
     49;
     28857;
     -26313;
     49;
     50;
     28857;
     -26315;
     49;
     51;
     28857;
     -26317;
     49;
     52;
     28857;
     -26319;
     49;
     53;
     28857;
     -26321;
     49;
     54;
     28857;
     -26323;
     49;
     55;
     28857;
     -26325;
     49;
     56;
     28857;
     -26327;
     49;
     57;
     28857;
     -26329;
     50;
     48;
     28857;
     -26331;
     50;
     49;
     28857;
     -26333;
     50;
     50;
     28857;
     -26335;
     50;
     51;
     28857;
     -26337;
     50;
     52;
     28857;
     -26339;
     104;
     80;
     97;
     -26341;
     100;
     97;
     -26343;
     65;
     85;
     -26345;
     98;
     97;
     114;
     -26347;
     111;
     86;
     -26349;
     112;
     99;
     -26359;
     24179;
     25104;
     -26361;
     26157;
     21644;
     -26363;
     22823;
     27491;
     -26365;
     26126;
     27835;
     -26367;
     26666;
     24335;
     20250;
     31038;
     -26369;
     112;
     65;
     -26371;
     110;
     65;
     -26373;
     956;
     65;
     -26375;
     109;
     65;
     -26377;
     107;
     65;
     -26379;
     75;
     66;
     -26381;
     77;
     66;
     -26383;
     71;
     66;
     -26385;
     99;
     97;
     108;
     -26387;
     107;
     99;
     97;
     108;
     -26389;
     112;
     70;
     -26391;
     110;
     70;
     -26393;
     956;
     70;
     -26395;
     956;
     103;
     -26397;
     109;
     103;
     -26399;
     107;
     103;
     -26401;
     72;
     122;
     -26403;
     107;
     72;
     122;
     -26405;
     77;
     72;
     122;
     -26407;
     71;
     72;
     122;
     -26409;
     84;
     72;
     122;
     -26411;
     956;
     8467;
     -26413;
     109;
     8467;
     -26415;
     100;
     8467;
     -26417;
     107;
     8467;
     -26419;
     102;
     109;
     -26421;
     110;
     109;
     -26423;
     956;
     109;
     -26425;
     109;
     109;
     -26427;
     99;
     109;
     -26429;
     107;
     109;
     -26431;
     109;
     109;
     178;
     -26433;
     99;
     109;
     178;
     -26435;
     109;
     178;
     -26437;
     107;
     109;
     178;
     -26439;
     109;
     109;
     179;
     -26441;
     99;
     109;
     179;
     -26443;
     109;
     179;
     -26445;
     107;
     109;
     179;
     -26447;
     109;
     8725;
     115;
     -26449;
     109;
     8725;
     115;
     178;
     -26451;
     80;
     97;
     -26453;
     107;
     80;
     97;
     -26455;
     77;
     80;
     97;
     -26457;
     71;
     80;
     97;
     -26459;
     114;
     97;
     100;
     -26461;
     114;
     97;
     100;
     8725;
     115;
     -26463;
     114;
     97;
     100;
     8725;
     115;
     178;
     -26465;
     112;
     115;
     -26467;
     110;
     115;
     -26469;
     956;
     115;
     -26471;
     109;
     115;
     -26473;
     112;
     86;
     -26475;
     110;
     86;
     -26477;
     956;
     86;
     -26479;
     109;
     86;
     -26481;
     107;
     86;
     -26483;
     77;
     86;
     -26485;
     112;
     87;
     -26487;
     110;
     87;
     -26489;
     956;
     87;
     -26491;
     109;
     87;
     -26493;
     107;
     87;
     -26495;
     77;
     87;
     -26497;
     107;
     937;
     -26499;
     77;
     937;
     -26501;
     97;
     46;
     109;
     46;
     -26503;
     66;
     113;
     -26505;
     99;
     99;
     -26507;
     99;
     100;
     -26509;
     67;
     8725;
     107;
     103;
     -26511;
     67;
     111;
     46;
     -26513;
     100;
     66;
     -26515;
     71;
     121;
     -26517;
     104;
     97;
     -26519;
     72;
     80;
     -26521;
     105;
     110;
     -26523;
     75;
     75;
     -26525;
     75;
     77;
     -26527;
     107;
     116;
     -26529;
     108;
     109;
     -26531;
     108;
     110;
     -26533;
     108;
     111;
     103;
     -26535;
     108;
     120;
     -26537;
     109;
     98;
     -26539;
     109;
     105;
     108;
     -26541;
     109;
     111;
     108;
     -26543;
     80;
     72;
     -26545;
     112;
     46;
     109;
     46;
     -26547;
     80;
     80;
     77;
     -26549;
     80;
     82;
     -26551;
     115;
     114;
     -26553;
     83;
     118;
     -26555;
     87;
     98;
     -26561;
     49;
     26085;
     -26563;
     50;
     26085;
     -26565;
     51;
     26085;
     -26567;
     52;
     26085;
     -26569;
     53;
     26085;
     -26571;
     54;
     26085;
     -26573;
     55;
     26085;
     -26575;
     56;
     26085;
     -26577;
     57;
     26085;
     -26579;
     49;
     48;
     26085;
     -26581;
     49;
     49;
     26085;
     -26583;
     49;
     50;
     26085;
     -26585;
     49;
     51;
     26085;
     -26587;
     49;
     52;
     26085;
     -26589;
     49;
     53;
     26085;
     -26591;
     49;
     54;
     26085;
     -26593;
     49;
     55;
     26085;
     -26595;
     49;
     56;
     26085;
     -26597;
     49;
     57;
     26085;
     -26599;
     50;
     48;
     26085;
     -26601;
     50;
     49;
     26085;
     -26603;
     50;
     50;
     26085;
     -26605;
     50;
     51;
     26085;
     -26607;
     50;
     52;
     26085;
     -26609;
     50;
     53;
     26085;
     -26611;
     50;
     54;
     26085;
     -26613;
     50;
     55;
     26085;
     -26615;
     50;
     56;
     26085;
     -26617;
     50;
     57;
     26085;
     -26619;
     51;
     48;
     26085;
     -26621;
     51;
     49;
     26085;
     -127488;
     35912;
     -127490;
     26356;
     -127492;
     36554;
     -127494;
     36040;
     -127496;
     28369;
     -127498;
     20018;
     -127500;
     21477;
     -127502;
     40860;
     -127504;
     40860;
     -127506;
     22865;
     -127508;
     37329;
     -127510;
     21895;
     -127512;
     22856;
     -127514;
     25078;
     -127516;
     30313;
     -127518;
     32645;
     -127520;
     34367;
     -127522;
     34746;
     -127524;
     35064;
     -127526;
     37007;
     -127528;
     27138;
     -127530;
     27931;
     -127532;
     28889;
     -127534;
     29662;
     -127536;
     33853;
     -127538;
     37226;
     -127540;
     39409;
     -127542;
     20098;
     -127544;
     21365;
     -127546;
     27396;
     -127548;
     29211;
     -127550;
     34349;
     -127552;
     40478;
     -127554;
     23888;
     -127556;
     28651;
     -127558;
     34253;
     -127560;
     35172;
     -127562;
     25289;
     -127564;
     33240;
     -127566;
     34847;
     -127568;
     24266;
     -127570;
     26391;
     -127572;
     28010;
     -127574;
     29436;
     -127576;
     37070;
     -127578;
     20358;
     -127580;
     20919;
     -127582;
     21214;
     -127584;
     25796;
     -127586;
     27347;
     -127588;
     29200;
     -127590;
     30439;
     -127592;
     32769;
     -127594;
     34310;
     -127596;
     34396;
     -127598;
     36335;
     -127600;
     38706;
     -127602;
     39791;
     -127604;
     40442;
     -127606;
     30860;
     -127608;
     31103;
     -127610;
     32160;
     -127612;
     33737;
     -127614;
     37636;
     -127616;
     40575;
     -127618;
     35542;
     -127620;
     22751;
     -127622;
     24324;
     -127624;
     31840;
     -127626;
     32894;
     -127628;
     29282;
     -127630;
     30922;
     -127632;
     36034;
     -127634;
     38647;
     -127636;
     22744;
     -127638;
     23650;
     -127640;
     27155;
     -127642;
     28122;
     -127644;
     28431;
     -127646;
     32047;
     -127648;
     32311;
     -127650;
     38475;
     -127652;
     21202;
     -127654;
     32907;
     -127656;
     20956;
     -127658;
     20940;
     -127660;
     31260;
     -127662;
     32190;
     -127664;
     33777;
     -127666;
     38517;
     -127668;
     35712;
     -127670;
     25295;
     -127672;
     27138;
     -127674;
     35582;
     -127676;
     20025;
     -127678;
     23527;
     -127680;
     24594;
     -127682;
     29575;
     -127684;
     30064;
     -127686;
     21271;
     -127688;
     30971;
     -127690;
     20415;
     -127692;
     24489;
     -127694;
     19981;
     -127696;
     27852;
     -127698;
     25976;
     -127700;
     32034;
     -127702;
     21443;
     -127704;
     22622;
     -127706;
     30465;
     -127708;
     33865;
     -127710;
     35498;
     -127712;
     27578;
     -127714;
     36784;
     -127716;
     27784;
     -127718;
     25342;
     -127720;
     33509;
     -127722;
     25504;
     -127724;
     30053;
     -127726;
     20142;
     -127728;
     20841;
     -127730;
     20937;
     -127732;
     26753;
     -127734;
     31975;
     -127736;
     33391;
     -127738;
     35538;
     -127740;
     37327;
     -127742;
     21237;
     -127744;
     21570;
     -127746;
     22899;
     -127748;
     24300;
     -127750;
     26053;
     -127752;
     28670;
     -127754;
     31018;
     -127756;
     38317;
     -127758;
     39530;
     -127760;
     40599;
     -127762;
     40654;
     -127764;
     21147;
     -127766;
     26310;
     -127768;
     27511;
     -127770;
     36706;
     -127772;
     24180;
     -127774;
     24976;
     -127776;
     25088;
     -127778;
     25754;
     -127780;
     28451;
     -127782;
     29001;
     -127784;
     29833;
     -127786;
     31178;
     -127788;
     32244;
     -127790;
     32879;
     -127792;
     36646;
     -127794;
     34030;
     -127796;
     36899;
     -127798;
     37706;
     -127800;
     21015;
     -127802;
     21155;
     -127804;
     21693;
     -127806;
     28872;
     -127808;
     35010;
     -127810;
     35498;
     -127812;
     24265;
     -127814;
     24565;
     -127816;
     25467;
     -127818;
     27566;
     -127820;
     31806;
     -127822;
     29557;
     -127824;
     20196;
     -127826;
     22265;
     -127828;
     23527;
     -127830;
     23994;
     -127832;
     24604;
     -127834;
     29618;
     -127836;
     29801;
     -127838;
     32666;
     -127840;
     32838;
     -127842;
     37428;
     -127844;
     38646;
     -127846;
     38728;
     -127848;
     38936;
     -127850;
     20363;
     -127852;
     31150;
     -127854;
     37300;
     -127856;
     38584;
     -127858;
     24801;
     -127860;
     20102;
     -127862;
     20698;
     -127864;
     23534;
     -127866;
     23615;
     -127868;
     26009;
     -127870;
     27138;
     -127872;
     29134;
     -127874;
     30274;
     -127876;
     34044;
     -127878;
     36988;
     -127880;
     40845;
     -127882;
     26248;
     -127884;
     38446;
     -127886;
     21129;
     -127888;
     26491;
     -127890;
     26611;
     -127892;
     27969;
     -127894;
     28316;
     -127896;
     29705;
     -127898;
     30041;
     -127900;
     30827;
     -127902;
     32016;
     -127904;
     39006;
     -127906;
     20845;
     -127908;
     25134;
     -127910;
     38520;
     -127912;
     20523;
     -127914;
     23833;
     -127916;
     28138;
     -127918;
     36650;
     -127920;
     24459;
     -127922;
     24900;
     -127924;
     26647;
     -127926;
     29575;
     -127928;
     38534;
     -127930;
     21033;
     -127932;
     21519;
     -127934;
     23653;
     -127936;
     26131;
     -127938;
     26446;
     -127940;
     26792;
     -127942;
     27877;
     -127944;
     29702;
     -127946;
     30178;
     -127948;
     32633;
     -127950;
     35023;
     -127952;
     35041;
     -127954;
     37324;
     -127956;
     38626;
     -127958;
     21311;
     -127960;
     28346;
     -127962;
     21533;
     -127964;
     29136;
     -127966;
     29848;
     -127968;
     34298;
     -127970;
     38563;
     -127972;
     40023;
     -127974;
     40607;
     -127976;
     26519;
     -127978;
     28107;
     -127980;
     33256;
     -127982;
     31435;
     -127984;
     31520;
     -127986;
     31890;
     -127988;
     29376;
     -127990;
     28825;
     -127992;
     35672;
     -127994;
     20160;
     -127996;
     33590;
     -127998;
     21050;
     -128000;
     20999;
     -128002;
     24230;
     -128004;
     25299;
     -128006;
     31958;
     -128008;
     23429;
     -128010;
     27934;
     -128012;
     26292;
     -128014;
     36667;
     -128016;
     34892;
     -128018;
     38477;
     -128020;
     35211;
     -128022;
     24275;
     -128024;
     20800;
     -128026;
     21952;
     -128032;
     22618;
     -128036;
     26228;
     -128042;
     20958;
     -128044;
     29482;
     -128046;
     30410;
     -128048;
     31036;
     -128050;
     31070;
     -128052;
     31077;
     -128054;
     31119;
     -128056;
     38742;
     -128058;
     31934;
     -128060;
     32701;
     -128064;
     34322;
     -128068;
     35576;
     -128074;
     36920;
     -128076;
     37117;
     -128084;
     39151;
     -128086;
     39164;
     -128088;
     39208;
     -128090;
     40372;
     -128096;
     20398;
     -128098;
     20711;
     -128100;
     20813;
     -128102;
     21193;
     -128104;
     21220;
     -128106;
     21329;
     -128108;
     21917;
     -128110;
     22022;
     -128112;
     22120;
     -128114;
     22592;
     -128116;
     22696;
     -128118;
     23652;
     -128120;
     23662;
     -128122;
     24724;
     -128124;
     24936;
     -128126;
     24974;
     -128128;
     25074;
     -128130;
     25935;
     -128132;
     26082;
     -128134;
     26257;
     -128136;
     26757;
     -128138;
     28023;
     -128140;
     28186;
     -128142;
     28450;
     -128144;
     29038;
     -128146;
     29227;
     -128148;
     29730;
     -128150;
     30865;
     -128152;
     31038;
     -128154;
     31049;
     -128156;
     31048;
     -128158;
     31056;
     -128160;
     31062;
     -128162;
     31069;
     -128164;
     31117;
     -128166;
     31118;
     -128168;
     31296;
     -128170;
     31361;
     -128172;
     31680;
     -128174;
     32244;
     -128176;
     32265;
     -128178;
     32321;
     -128180;
     32626;
     -128182;
     32773;
     -128184;
     33261;
     -128186;
     33401;
     -128188;
     33401;
     -128190;
     33879;
     -128192;
     35088;
     -128194;
     35222;
     -128196;
     35585;
     -128198;
     35641;
     -128200;
     36051;
     -128202;
     36104;
     -128204;
     36790;
     -128206;
     36920;
     -128208;
     38627;
     -128210;
     38911;
     -128212;
     38971;
     -128513;
     102;
     102;
     -128515;
     102;
     105;
     -128517;
     102;
     108;
     -128519;
     102;
     102;
     105;
     -128521;
     102;
     102;
     108;
     -128523;
     383;
     116;
     -128525;
     115;
     116;
     -128551;
     1396;
     1398;
     -128553;
     1396;
     1381;
     -128555;
     1396;
     1387;
     -128557;
     1406;
     1398;
     -128559;
     1396;
     1389;
     -128570;
     1497;
     1460;
     -128574;
     1522;
     1463;
     -128577;
     1506;
     -128579;
     1488;
     -128581;
     1491;
     -128583;
     1492;
     -128585;
     1499;
     -128587;
     1500;
     -128589;
     1501;
     -128591;
     1512;
     -128593;
     1514;
     -128595;
     43;
     -128596;
     1513;
     1473;
     -128598;
     1513;
     1474;
     -128600;
     64329;
     1473;
     -128602;
     64329;
     1474;
     -128604;
     1488;
     1463;
     -128606;
     1488;
     1464;
     -128608;
     1488;
     1468;
     -128610;
     1489;
     1468;
     -128612;
     1490;
     1468;
     -128614;
     1491;
     1468;
     -128616;
     1492;
     1468;
     -128618;
     1493;
     1468;
     -128620;
     1494;
     1468;
     -128624;
     1496;
     1468;
     -128626;
     1497;
     1468;
     -128628;
     1498;
     1468;
     -128630;
     1499;
     1468;
     -128632;
     1500;
     1468;
     -128636;
     1502;
     1468;
     -128640;
     1504;
     1468;
     -128642;
     1505;
     1468;
     -128646;
     1507;
     1468;
     -128648;
     1508;
     1468;
     -128652;
     1510;
     1468;
     -128654;
     1511;
     1468;
     -128656;
     1512;
     1468;
     -128658;
     1513;
     1468;
     -128660;
     1514;
     1468;
     -128662;
     1493;
     1465;
     -128664;
     1489;
     1471;
     -128666;
     1499;
     1471;
     -128668;
     1508;
     1471;
     -128671;
     1488;
     1500;
     -128673;
     1649;
     -128675;
     1649;
     -128677;
     1659;
     -128679;
     1659;
     -128681;
     1659;
     -128683;
     1659;
     -128685;
     1662;
     -128687;
     1662;
     -128689;
     1662;
     -128691;
     1662;
     -128693;
     1664;
     -128695;
     1664;
     -128697;
     1664;
     -128699;
     1664;
     -128701;
     1658;
     -128703;
     1658;
     -128705;
     1658;
     -128707;
     1658;
     -128709;
     1663;
     -128711;
     1663;
     -128713;
     1663;
     -128715;
     1663;
     -128717;
     1657;
     -128719;
     1657;
     -128721;
     1657;
     -128723;
     1657;
     -128725;
     1700;
     -128727;
     1700;
     -128729;
     1700;
     -128731;
     1700;
     -128733;
     1702;
     -128735;
     1702;
     -128737;
     1702;
     -128739;
     1702;
     -128741;
     1668;
     -128743;
     1668;
     -128745;
     1668;
     -128747;
     1668;
     -128749;
     1667;
     -128751;
     1667;
     -128753;
     1667;
     -128755;
     1667;
     -128757;
     1670;
     -128759;
     1670;
     -128761;
     1670;
     -128763;
     1670;
     -128765;
     1671;
     -128767;
     1671;
     -128769;
     1671;
     -128771;
     1671;
     -128773;
     1677;
     -128775;
     1677;
     -128777;
     1676;
     -128779;
     1676;
     -128781;
     1678;
     -128783;
     1678;
     -128785;
     1672;
     -128787;
     1672;
     -128789;
     1688;
     -128791;
     1688;
     -128793;
     1681;
     -128795;
     1681;
     -128797;
     1705;
     -128799;
     1705;
     -128801;
     1705;
     -128803;
     1705;
     -128805;
     1711;
     -128807;
     1711;
     -128809;
     1711;
     -128811;
     1711;
     -128813;
     1715;
     -128815;
     1715;
     -128817;
     1715;
     -128819;
     1715;
     -128821;
     1713;
     -128823;
     1713;
     -128825;
     1713;
     -128827;
     1713;
     -128829;
     1722;
     -128831;
     1722;
     -128833;
     1723;
     -128835;
     1723;
     -128837;
     1723;
     -128839;
     1723;
     -128841;
     1728;
     -128843;
     1728;
     -128845;
     1729;
     -128847;
     1729;
     -128849;
     1729;
     -128851;
     1729;
     -128853;
     1726;
     -128855;
     1726;
     -128857;
     1726;
     -128859;
     1726;
     -128861;
     1746;
     -128863;
     1746;
     -128865;
     1747;
     -128867;
     1747;
     -128935;
     1709;
     -128937;
     1709;
     -128939;
     1709;
     -128941;
     1709;
     -128943;
     1735;
     -128945;
     1735;
     -128947;
     1734;
     -128949;
     1734;
     -128951;
     1736;
     -128953;
     1736;
     -128955;
     1655;
     -128957;
     1739;
     -128959;
     1739;
     -128961;
     1733;
     -128963;
     1733;
     -128965;
     1737;
     -128967;
     1737;
     -128969;
     1744;
     -128971;
     1744;
     -128973;
     1744;
     -128975;
     1744;
     -128977;
     1609;
     -128979;
     1609;
     -128981;
     1574;
     1575;
     -128983;
     1574;
     1575;
     -128985;
     1574;
     1749;
     -128987;
     1574;
     1749;
     -128989;
     1574;
     1608;
     -128991;
     1574;
     1608;
     -128993;
     1574;
     1735;
     -128995;
     1574;
     1735;
     -128997;
     1574;
     1734;
     -128999;
     1574;
     1734;
     -129001;
     1574;
     1736;
     -129003;
     1574;
     1736;
     -129005;
     1574;
     1744;
     -129007;
     1574;
     1744;
     -129009;
     1574;
     1744;
     -129011;
     1574;
     1609;
     -129013;
     1574;
     1609;
     -129015;
     1574;
     1609;
     -129017;
     1740;
     -129019;
     1740;
     -129021;
     1740;
     -129023;
     1740;
     -129025;
     1574;
     1580;
     -129027;
     1574;
     1581;
     -129029;
     1574;
     1605;
     -129031;
     1574;
     1609;
     -129033;
     1574;
     1610;
     -129035;
     1576;
     1580;
     -129037;
     1576;
     1581;
     -129039;
     1576;
     1582;
     -129041;
     1576;
     1605;
     -129043;
     1576;
     1609;
     -129045;
     1576;
     1610;
     -129047;
     1578;
     1580;
     -129049;
     1578;
     1581;
     -129051;
     1578;
     1582;
     -129053;
     1578;
     1605;
     -129055;
     1578;
     1609;
     -129057;
     1578;
     1610;
     -129059;
     1579;
     1580;
     -129061;
     1579;
     1605;
     -129063;
     1579;
     1609;
     -129065;
     1579;
     1610;
     -129067;
     1580;
     1581;
     -129069;
     1580;
     1605;
     -129071;
     1581;
     1580;
     -129073;
     1581;
     1605;
     -129075;
     1582;
     1580;
     -129077;
     1582;
     1581;
     -129079;
     1582;
     1605;
     -129081;
     1587;
     1580;
     -129083;
     1587;
     1581;
     -129085;
     1587;
     1582;
     -129087;
     1587;
     1605;
     -129089;
     1589;
     1581;
     -129091;
     1589;
     1605;
     -129093;
     1590;
     1580;
     -129095;
     1590;
     1581;
     -129097;
     1590;
     1582;
     -129099;
     1590;
     1605;
     -129101;
     1591;
     1581;
     -129103;
     1591;
     1605;
     -129105;
     1592;
     1605;
     -129107;
     1593;
     1580;
     -129109;
     1593;
     1605;
     -129111;
     1594;
     1580;
     -129113;
     1594;
     1605;
     -129115;
     1601;
     1580;
     -129117;
     1601;
     1581;
     -129119;
     1601;
     1582;
     -129121;
     1601;
     1605;
     -129123;
     1601;
     1609;
     -129125;
     1601;
     1610;
     -129127;
     1602;
     1581;
     -129129;
     1602;
     1605;
     -129131;
     1602;
     1609;
     -129133;
     1602;
     1610;
     -129135;
     1603;
     1575;
     -129137;
     1603;
     1580;
     -129139;
     1603;
     1581;
     -129141;
     1603;
     1582;
     -129143;
     1603;
     1604;
     -129145;
     1603;
     1605;
     -129147;
     1603;
     1609;
     -129149;
     1603;
     1610;
     -129151;
     1604;
     1580;
     -129153;
     1604;
     1581;
     -129155;
     1604;
     1582;
     -129157;
     1604;
     1605;
     -129159;
     1604;
     1609;
     -129161;
     1604;
     1610;
     -129163;
     1605;
     1580;
     -129165;
     1605;
     1581;
     -129167;
     1605;
     1582;
     -129169;
     1605;
     1605;
     -129171;
     1605;
     1609;
     -129173;
     1605;
     1610;
     -129175;
     1606;
     1580;
     -129177;
     1606;
     1581;
     -129179;
     1606;
     1582;
     -129181;
     1606;
     1605;
     -129183;
     1606;
     1609;
     -129185;
     1606;
     1610;
     -129187;
     1607;
     1580;
     -129189;
     1607;
     1605;
     -129191;
     1607;
     1609;
     -129193;
     1607;
     1610;
     -129195;
     1610;
     1580;
     -129197;
     1610;
     1581;
     -129199;
     1610;
     1582;
     -129201;
     1610;
     1605;
     -129203;
     1610;
     1609;
     -129205;
     1610;
     1610;
     -129207;
     1584;
     1648;
     -129209;
     1585;
     1648;
     -129211;
     1609;
     1648;
     -129213;
     32;
     1612;
     1617;
     -129215;
     32;
     1613;
     1617;
     -129217;
     32;
     1614;
     1617;
     -129219;
     32;
     1615;
     1617;
     -129221;
     32;
     1616;
     1617;
     -129223;
     32;
     1617;
     1648;
     -129225;
     1574;
     1585;
     -129227;
     1574;
     1586;
     -129229;
     1574;
     1605;
     -129231;
     1574;
     1606;
     -129233;
     1574;
     1609;
     -129235;
     1574;
     1610;
     -129237;
     1576;
     1585;
     -129239;
     1576;
     1586;
     -129241;
     1576;
     1605;
     -129243;
     1576;
     1606;
     -129245;
     1576;
     1609;
     -129247;
     1576;
     1610;
     -129249;
     1578;
     1585;
     -129251;
     1578;
     1586;
     -129253;
     1578;
     1605;
     -129255;
     1578;
     1606;
     -129257;
     1578;
     1609;
     -129259;
     1578;
     1610;
     -129261;
     1579;
     1585;
     -129263;
     1579;
     1586;
     -129265;
     1579;
     1605;
     -129267;
     1579;
     1606;
     -129269;
     1579;
     1609;
     -129271;
     1579;
     1610;
     -129273;
     1601;
     1609;
     -129275;
     1601;
     1610;
     -129277;
     1602;
     1609;
     -129279;
     1602;
     1610;
     -129281;
     1603;
     1575;
     -129283;
     1603;
     1604;
     -129285;
     1603;
     1605;
     -129287;
     1603;
     1609;
     -129289;
     1603;
     1610;
     -129291;
     1604;
     1605;
     -129293;
     1604;
     1609;
     -129295;
     1604;
     1610;
     -129297;
     1605;
     1575;
     -129299;
     1605;
     1605;
     -129301;
     1606;
     1585;
     -129303;
     1606;
     1586;
     -129305;
     1606;
     1605;
     -129307;
     1606;
     1606;
     -129309;
     1606;
     1609;
     -129311;
     1606;
     1610;
     -129313;
     1609;
     1648;
     -129315;
     1610;
     1585;
     -129317;
     1610;
     1586;
     -129319;
     1610;
     1605;
     -129321;
     1610;
     1606;
     -129323;
     1610;
     1609;
     -129325;
     1610;
     1610;
     -129327;
     1574;
     1580;
     -129329;
     1574;
     1581;
     -129331;
     1574;
     1582;
     -129333;
     1574;
     1605;
     -129335;
     1574;
     1607;
     -129337;
     1576;
     1580;
     -129339;
     1576;
     1581;
     -129341;
     1576;
     1582;
     -129343;
     1576;
     1605;
     -129345;
     1576;
     1607;
     -129347;
     1578;
     1580;
     -129349;
     1578;
     1581;
     -129351;
     1578;
     1582;
     -129353;
     1578;
     1605;
     -129355;
     1578;
     1607;
     -129357;
     1579;
     1605;
     -129359;
     1580;
     1581;
     -129361;
     1580;
     1605;
     -129363;
     1581;
     1580;
     -129365;
     1581;
     1605;
     -129367;
     1582;
     1580;
     -129369;
     1582;
     1605;
     -129371;
     1587;
     1580;
     -129373;
     1587;
     1581;
     -129375;
     1587;
     1582;
     -129377;
     1587;
     1605;
     -129379;
     1589;
     1581;
     -129381;
     1589;
     1582;
     -129383;
     1589;
     1605;
     -129385;
     1590;
     1580;
     -129387;
     1590;
     1581;
     -129389;
     1590;
     1582;
     -129391;
     1590;
     1605;
     -129393;
     1591;
     1581;
     -129395;
     1592;
     1605;
     -129397;
     1593;
     1580;
     -129399;
     1593;
     1605;
     -129401;
     1594;
     1580;
     -129403;
     1594;
     1605;
     -129405;
     1601;
     1580;
     -129407;
     1601;
     1581;
     -129409;
     1601;
     1582;
     -129411;
     1601;
     1605;
     -129413;
     1602;
     1581;
     -129415;
     1602;
     1605;
     -129417;
     1603;
     1580;
     -129419;
     1603;
     1581;
     -129421;
     1603;
     1582;
     -129423;
     1603;
     1604;
     -129425;
     1603;
     1605;
     -129427;
     1604;
     1580;
     -129429;
     1604;
     1581;
     -129431;
     1604;
     1582;
     -129433;
     1604;
     1605;
     -129435;
     1604;
     1607;
     -129437;
     1605;
     1580;
     -129439;
     1605;
     1581;
     -129441;
     1605;
     1582;
     -129443;
     1605;
     1605;
     -129445;
     1606;
     1580;
     -129447;
     1606;
     1581;
     -129449;
     1606;
     1582;
     -129451;
     1606;
     1605;
     -129453;
     1606;
     1607;
     -129455;
     1607;
     1580;
     -129457;
     1607;
     1605;
     -129459;
     1607;
     1648;
     -129461;
     1610;
     1580;
     -129463;
     1610;
     1581;
     -129465;
     1610;
     1582;
     -129467;
     1610;
     1605;
     -129469;
     1610;
     1607;
     -129471;
     1574;
     1605;
     -129473;
     1574;
     1607;
     -129475;
     1576;
     1605;
     -129477;
     1576;
     1607;
     -129479;
     1578;
     1605;
     -129481;
     1578;
     1607;
     -129483;
     1579;
     1605;
     -129485;
     1579;
     1607;
     -129487;
     1587;
     1605;
     -129489;
     1587;
     1607;
     -129491;
     1588;
     1605;
     -129493;
     1588;
     1607;
     -129495;
     1603;
     1604;
     -129497;
     1603;
     1605;
     -129499;
     1604;
     1605;
     -129501;
     1606;
     1605;
     -129503;
     1606;
     1607;
     -129505;
     1610;
     1605;
     -129507;
     1610;
     1607;
     -129509;
     1600;
     1614;
     1617;
     -129511;
     1600;
     1615;
     1617;
     -129513;
     1600;
     1616;
     1617;
     -129515;
     1591;
     1609;
     -129517;
     1591;
     1610;
     -129519;
     1593;
     1609;
     -129521;
     1593;
     1610;
     -129523;
     1594;
     1609;
     -129525;
     1594;
     1610;
     -129527;
     1587;
     1609;
     -129529;
     1587;
     1610;
     -129531;
     1588;
     1609;
     -129533;
     1588;
     1610;
     -129535;
     1581;
     1609;
     -129537;
     1581;
     1610;
     -129539;
     1580;
     1609;
     -129541;
     1580;
     1610;
     -129543;
     1582;
     1609;
     -129545;
     1582;
     1610;
     -129547;
     1589;
     1609;
     -129549;
     1589;
     1610;
     -129551;
     1590;
     1609;
     -129553;
     1590;
     1610;
     -129555;
     1588;
     1580;
     -129557;
     1588;
     1581;
     -129559;
     1588;
     1582;
     -129561;
     1588;
     1605;
     -129563;
     1588;
     1585;
     -129565;
     1587;
     1585;
     -129567;
     1589;
     1585;
     -129569;
     1590;
     1585;
     -129571;
     1591;
     1609;
     -129573;
     1591;
     1610;
     -129575;
     1593;
     1609;
     -129577;
     1593;
     1610;
     -129579;
     1594;
     1609;
     -129581;
     1594;
     1610;
     -129583;
     1587;
     1609;
     -129585;
     1587;
     1610;
     -129587;
     1588;
     1609;
     -129589;
     1588;
     1610;
     -129591;
     1581;
     1609;
     -129593;
     1581;
     1610;
     -129595;
     1580;
     1609;
     -129597;
     1580;
     1610;
     -129599;
     1582;
     1609;
     -129601;
     1582;
     1610;
     -129603;
     1589;
     1609;
     -129605;
     1589;
     1610;
     -129607;
     1590;
     1609;
     -129609;
     1590;
     1610;
     -129611;
     1588;
     1580;
     -129613;
     1588;
     1581;
     -129615;
     1588;
     1582;
     -129617;
     1588;
     1605;
     -129619;
     1588;
     1585;
     -129621;
     1587;
     1585;
     -129623;
     1589;
     1585;
     -129625;
     1590;
     1585;
     -129627;
     1588;
     1580;
     -129629;
     1588;
     1581;
     -129631;
     1588;
     1582;
     -129633;
     1588;
     1605;
     -129635;
     1587;
     1607;
     -129637;
     1588;
     1607;
     -129639;
     1591;
     1605;
     -129641;
     1587;
     1580;
     -129643;
     1587;
     1581;
     -129645;
     1587;
     1582;
     -129647;
     1588;
     1580;
     -129649;
     1588;
     1581;
     -129651;
     1588;
     1582;
     -129653;
     1591;
     1605;
     -129655;
     1592;
     1605;
     -129657;
     1575;
     1611;
     -129659;
     1575;
     1611;
     -129697;
     1578;
     1580;
     1605;
     -129699;
     1578;
     1581;
     1580;
     -129701;
     1578;
     1581;
     1580;
     -129703;
     1578;
     1581;
     1605;
     -129705;
     1578;
     1582;
     1605;
     -129707;
     1578;
     1605;
     1580;
     -129709;
     1578;
     1605;
     1581;
     -129711;
     1578;
     1605;
     1582;
     -129713;
     1580;
     1605;
     1581;
     -129715;
     1580;
     1605;
     1581;
     -129717;
     1581;
     1605;
     1610;
     -129719;
     1581;
     1605;
     1609;
     -129721;
     1587;
     1581;
     1580;
     -129723;
     1587;
     1580;
     1581;
     -129725;
     1587;
     1580;
     1609;
     -129727;
     1587;
     1605;
     1581;
     -129729;
     1587;
     1605;
     1581;
     -129731;
     1587;
     1605;
     1580;
     -129733;
     1587;
     1605;
     1605;
     -129735;
     1587;
     1605;
     1605;
     -129737;
     1589;
     1581;
     1581;
     -129739;
     1589;
     1581;
     1581;
     -129741;
     1589;
     1605;
     1605;
     -129743;
     1588;
     1581;
     1605;
     -129745;
     1588;
     1581;
     1605;
     -129747;
     1588;
     1580;
     1610;
     -129749;
     1588;
     1605;
     1582;
     -129751;
     1588;
     1605;
     1582;
     -129753;
     1588;
     1605;
     1605;
     -129755;
     1588;
     1605;
     1605;
     -129757;
     1590;
     1581;
     1609;
     -129759;
     1590;
     1582;
     1605;
     -129761;
     1590;
     1582;
     1605;
     -129763;
     1591;
     1605;
     1581;
     -129765;
     1591;
     1605;
     1581;
     -129767;
     1591;
     1605;
     1605;
     -129769;
     1591;
     1605;
     1610;
     -129771;
     1593;
     1580;
     1605;
     -129773;
     1593;
     1605;
     1605;
     -129775;
     1593;
     1605;
     1605;
     -129777;
     1593;
     1605;
     1609;
     -129779;
     1594;
     1605;
     1605;
     -129781;
     1594;
     1605;
     1610;
     -129783;
     1594;
     1605;
     1609;
     -129785;
     1601;
     1582;
     1605;
     -129787;
     1601;
     1582;
     1605;
     -129789;
     1602;
     1605;
     1581;
     -129791;
     1602;
     1605;
     1605;
     -129793;
     1604;
     1581;
     1605;
     -129795;
     1604;
     1581;
     1610;
     -129797;
     1604;
     1581;
     1609;
     -129799;
     1604;
     1580;
     1580;
     -129801;
     1604;
     1580;
     1580;
     -129803;
     1604;
     1582;
     1605;
     -129805;
     1604;
     1582;
     1605;
     -129807;
     1604;
     1605;
     1581;
     -129809;
     1604;
     1605;
     1581;
     -129811;
     1605;
     1581;
     1580;
     -129813;
     1605;
     1581;
     1605;
     -129815;
     1605;
     1581;
     1610;
     -129817;
     1605;
     1580;
     1581;
     -129819;
     1605;
     1580;
     1605;
     -129821;
     1605;
     1582;
     1580;
     -129823;
     1605;
     1582;
     1605;
     -129829;
     1605;
     1580;
     1582;
     -129831;
     1607;
     1605;
     1580;
     -129833;
     1607;
     1605;
     1605;
     -129835;
     1606;
     1581;
     1605;
     -129837;
     1606;
     1581;
     1609;
     -129839;
     1606;
     1580;
     1605;
     -129841;
     1606;
     1580;
     1605;
     -129843;
     1606;
     1580;
     1609;
     -129845;
     1606;
     1605;
     1610;
     -129847;
     1606;
     1605;
     1609;
     -129849;
     1610;
     1605;
     1605;
     -129851;
     1610;
     1605;
     1605;
     -129853;
     1576;
     1582;
     1610;
     -129855;
     1578;
     1580;
     1610;
     -129857;
     1578;
     1580;
     1609;
     -129859;
     1578;
     1582;
     1610;
     -129861;
     1578;
     1582;
     1609;
     -129863;
     1578;
     1605;
     1610;
     -129865;
     1578;
     1605;
     1609;
     -129867;
     1580;
     1605;
     1610;
     -129869;
     1580;
     1581;
     1609;
     -129871;
     1580;
     1605;
     1609;
     -129873;
     1587;
     1582;
     1609;
     -129875;
     1589;
     1581;
     1610;
     -129877;
     1588;
     1581;
     1610;
     -129879;
     1590;
     1581;
     1610;
     -129881;
     1604;
     1580;
     1610;
     -129883;
     1604;
     1605;
     1610;
     -129885;
     1610;
     1581;
     1610;
     -129887;
     1610;
     1580;
     1610;
     -129889;
     1610;
     1605;
     1610;
     -129891;
     1605;
     1605;
     1610;
     -129893;
     1602;
     1605;
     1610;
     -129895;
     1606;
     1581;
     1610;
     -129897;
     1602;
     1605;
     1581;
     -129899;
     1604;
     1581;
     1605;
     -129901;
     1593;
     1605;
     1610;
     -129903;
     1603;
     1605;
     1610;
     -129905;
     1606;
     1580;
     1581;
     -129907;
     1605;
     1582;
     1610;
     -129909;
     1604;
     1580;
     1605;
     -129911;
     1603;
     1605;
     1605;
     -129913;
     1604;
     1580;
     1605;
     -129915;
     1606;
     1580;
     1581;
     -129917;
     1580;
     1581;
     1610;
     -129919;
     1581;
     1580;
     1610;
     -129921;
     1605;
     1580;
     1610;
     -129923;
     1601;
     1605;
     1610;
     -129925;
     1576;
     1581;
     1610;
     -129927;
     1603;
     1605;
     1605;
     -129929;
     1593;
     1580;
     1605;
     -129931;
     1589;
     1605;
     1605;
     -129933;
     1587;
     1582;
     1610;
     -129935;
     1606;
     1580;
     1610;
     -130017;
     1589;
     1604;
     1746;
     -130019;
     1602;
     1604;
     1746;
     -130021;
     1575;
     1604;
     1604;
     1607;
     -130023;
     1575;
     1603;
     1576;
     1585;
     -130025;
     1605;
     1581;
     1605;
     1583;
     -130027;
     1589;
     1604;
     1593;
     1605;
     -130029;
     1585;
     1587;
     1608;
     1604;
     -130031;
     1593;
     1604;
     1610;
     1607;
     -130033;
     1608;
     1587;
     1604;
     1605;
     -130035;
     1589;
     1604;
     1609;
     -130037;
     1589;
     1604;
     1609;
     32;
     1575;
     1604;
     1604;
     1607;
     32;
     1593;
     1604;
     1610;
     1607;
     32;
     1608;
     1587;
     1604;
     1605;
     -130039;
     1580;
     1604;
     32;
     1580;
     1604;
     1575;
     1604;
     1607;
     -130041;
     1585;
     1740;
     1575;
     1604;
     -130145;
     8229;
     -130147;
     8212;
     -130149;
     8211;
     -130151;
     95;
     -130153;
     95;
     -130155;
     40;
     -130157;
     41;
     -130159;
     123;
     -130161;
     125;
     -130163;
     12308;
     -130165;
     12309;
     -130167;
     12304;
     -130169;
     12305;
     -130171;
     12298;
     -130173;
     12299;
     -130175;
     12296;
     -130177;
     12297;
     -130179;
     12300;
     -130181;
     12301;
     -130183;
     12302;
     -130185;
     12303;
     -130195;
     8254;
     -130197;
     8254;
     -130199;
     8254;
     -130201;
     8254;
     -130203;
     95;
     -130205;
     95;
     -130207;
     95;
     -130209;
     44;
     -130211;
     12289;
     -130213;
     46;
     -130217;
     59;
     -130219;
     58;
     -130221;
     63;
     -130223;
     33;
     -130225;
     8212;
     -130227;
     40;
     -130229;
     41;
     -130231;
     123;
     -130233;
     125;
     -130235;
     12308;
     -130237;
     12309;
     -130239;
     35;
     -130241;
     38;
     -130243;
     42;
     -130245;
     43;
     -130247;
     45;
     -130249;
     60;
     -130251;
     62;
     -130253;
     61;
     -130257;
     92;
     -130259;
     36;
     -130261;
     37;
     -130263;
     64;
     -130273;
     32;
     1611;
     -130275;
     1600;
     1611;
     -130277;
     32;
     1612;
     -130281;
     32;
     1613;
     -130285;
     32;
     1614;
     -130287;
     1600;
     1614;
     -130289;
     32;
     1615;
     -130291;
     1600;
     1615;
     -130293;
     32;
     1616;
     -130295;
     1600;
     1616;
     -130297;
     32;
     1617;
     -130299;
     1600;
     1617;
     -130301;
     32;
     1618;
     -130303;
     1600;
     1618;
     -130305;
     1569;
     -130307;
     1570;
     -130309;
     1570;
     -130311;
     1571;
     -130313;
     1571;
     -130315;
     1572;
     -130317;
     1572;
     -130319;
     1573;
     -130321;
     1573;
     -130323;
     1574;
     -130325;
     1574;
     -130327;
     1574;
     -130329;
     1574;
     -130331;
     1575;
     -130333;
     1575;
     -130335;
     1576;
     -130337;
     1576;
     -130339;
     1576;
     -130341;
     1576;
     -130343;
     1577;
     -130345;
     1577;
     -130347;
     1578;
     -130349;
     1578;
     -130351;
     1578;
     -130353;
     1578;
     -130355;
     1579;
     -130357;
     1579;
     -130359;
     1579;
     -130361;
     1579;
     -130363;
     1580;
     -130365;
     1580;
     -130367;
     1580;
     -130369;
     1580;
     -130371;
     1581;
     -130373;
     1581;
     -130375;
     1581;
     -130377;
     1581;
     -130379;
     1582;
     -130381;
     1582;
     -130383;
     1582;
     -130385;
     1582;
     -130387;
     1583;
     -130389;
     1583;
     -130391;
     1584;
     -130393;
     1584;
     -130395;
     1585;
     -130397;
     1585;
     -130399;
     1586;
     -130401;
     1586;
     -130403;
     1587;
     -130405;
     1587;
     -130407;
     1587;
     -130409;
     1587;
     -130411;
     1588;
     -130413;
     1588;
     -130415;
     1588;
     -130417;
     1588;
     -130419;
     1589;
     -130421;
     1589;
     -130423;
     1589;
     -130425;
     1589;
     -130427;
     1590;
     -130429;
     1590;
     -130431;
     1590;
     -130433;
     1590;
     -130435;
     1591;
     -130437;
     1591;
     -130439;
     1591;
     -130441;
     1591;
     -130443;
     1592;
     -130445;
     1592;
     -130447;
     1592;
     -130449;
     1592;
     -130451;
     1593;
     -130453;
     1593;
     -130455;
     1593;
     -130457;
     1593;
     -130459;
     1594;
     -130461;
     1594;
     -130463;
     1594;
     -130465;
     1594;
     -130467;
     1601;
     -130469;
     1601;
     -130471;
     1601;
     -130473;
     1601;
     -130475;
     1602;
     -130477;
     1602;
     -130479;
     1602;
     -130481;
     1602;
     -130483;
     1603;
     -130485;
     1603;
     -130487;
     1603;
     -130489;
     1603;
     -130491;
     1604;
     -130493;
     1604;
     -130495;
     1604;
     -130497;
     1604;
     -130499;
     1605;
     -130501;
     1605;
     -130503;
     1605;
     -130505;
     1605;
     -130507;
     1606;
     -130509;
     1606;
     -130511;
     1606;
     -130513;
     1606;
     -130515;
     1607;
     -130517;
     1607;
     -130519;
     1607;
     -130521;
     1607;
     -130523;
     1608;
     -130525;
     1608;
     -130527;
     1609;
     -130529;
     1609;
     -130531;
     1610;
     -130533;
     1610;
     -130535;
     1610;
     -130537;
     1610;
     -130539;
     1604;
     1570;
     -130541;
     1604;
     1570;
     -130543;
     1604;
     1571;
     -130545;
     1604;
     1571;
     -130547;
     1604;
     1573;
     -130549;
     1604;
     1573;
     -130551;
     1604;
     1575;
     -130553;
     1604;
     1575;
     -130563;
     33;
     -130565;
     34;
     -130567;
     35;
     -130569;
     36;
     -130571;
     37;
     -130573;
     38;
     -130575;
     39;
     -130577;
     40;
     -130579;
     41;
     -130581;
     42;
     -130583;
     43;
     -130585;
     44;
     -130587;
     45;
     -130589;
     46;
     -130591;
     47;
     -130593;
     48;
     -130595;
     49;
     -130597;
     50;
     -130599;
     51;
     -130601;
     52;
     -130603;
     53;
     -130605;
     54;
     -130607;
     55;
     -130609;
     56;
     -130611;
     57;
     -130613;
     58;
     -130615;
     59;
     -130617;
     60;
     -130619;
     61;
     -130621;
     62;
     -130623;
     63;
     -130625;
     64;
     -130627;
     65;
     -130629;
     66;
     -130631;
     67;
     -130633;
     68;
     -130635;
     69;
     -130637;
     70;
     -130639;
     71;
     -130641;
     72;
     -130643;
     73;
     -130645;
     74;
     -130647;
     75;
     -130649;
     76;
     -130651;
     77;
     -130653;
     78;
     -130655;
     79;
     -130657;
     80;
     -130659;
     81;
     -130661;
     82;
     -130663;
     83;
     -130665;
     84;
     -130667;
     85;
     -130669;
     86;
     -130671;
     87;
     -130673;
     88;
     -130675;
     89;
     -130677;
     90;
     -130679;
     91;
     -130681;
     92;
     -130683;
     93;
     -130685;
     94;
     -130687;
     95;
     -130689;
     96;
     -130691;
     97;
     -130693;
     98;
     -130695;
     99;
     -130697;
     100;
     -130699;
     101;
     -130701;
     102;
     -130703;
     103;
     -130705;
     104;
     -130707;
     105;
     -130709;
     106;
     -130711;
     107;
     -130713;
     108;
     -130715;
     109;
     -130717;
     110;
     -130719;
     111;
     -130721;
     112;
     -130723;
     113;
     -130725;
     114;
     -130727;
     115;
     -130729;
     116;
     -130731;
     117;
     -130733;
     118;
     -130735;
     119;
     -130737;
     120;
     -130739;
     121;
     -130741;
     122;
     -130743;
     123;
     -130745;
     124;
     -130747;
     125;
     -130749;
     126;
     -130751;
     10629;
     -130753;
     10630;
     -130755;
     12290;
     -130757;
     12300;
     -130759;
     12301;
     -130761;
     12289;
     -130763;
     12539;
     -130765;
     12530;
     -130767;
     12449;
     -130769;
     12451;
     -130771;
     12453;
     -130773;
     12455;
     -130775;
     12457;
     -130777;
     12515;
     -130779;
     12517;
     -130781;
     12519;
     -130783;
     12483;
     -130785;
     12540;
     -130787;
     12450;
     -130789;
     12452;
     -130791;
     12454;
     -130793;
     12456;
     -130795;
     12458;
     -130797;
     12459;
     -130799;
     12461;
     -130801;
     12463;
     -130803;
     12465;
     -130805;
     12467;
     -130807;
     12469;
     -130809;
     12471;
     -130811;
     12473;
     -130813;
     12475;
     -130815;
     12477;
     -130817;
     12479;
     -130819;
     12481;
     -130821;
     12484;
     -130823;
     12486;
     -130825;
     12488;
     -130827;
     12490;
     -130829;
     12491;
     -130831;
     12492;
     -130833;
     12493;
     -130835;
     12494;
     -130837;
     12495;
     -130839;
     12498;
     -130841;
     12501;
     -130843;
     12504;
     -130845;
     12507;
     -130847;
     12510;
     -130849;
     12511;
     -130851;
     12512;
     -130853;
     12513;
     -130855;
     12514;
     -130857;
     12516;
     -130859;
     12518;
     -130861;
     12520;
     -130863;
     12521;
     -130865;
     12522;
     -130867;
     12523;
     -130869;
     12524;
     -130871;
     12525;
     -130873;
     12527;
     -130875;
     12531;
     -130877;
     12441;
     -130879;
     12442;
     -130881;
     12644;
     -130883;
     12593;
     -130885;
     12594;
     -130887;
     12595;
     -130889;
     12596;
     -130891;
     12597;
     -130893;
     12598;
     -130895;
     12599;
     -130897;
     12600;
     -130899;
     12601;
     -130901;
     12602;
     -130903;
     12603;
     -130905;
     12604;
     -130907;
     12605;
     -130909;
     12606;
     -130911;
     12607;
     -130913;
     12608;
     -130915;
     12609;
     -130917;
     12610;
     -130919;
     12611;
     -130921;
     12612;
     -130923;
     12613;
     -130925;
     12614;
     -130927;
     12615;
     -130929;
     12616;
     -130931;
     12617;
     -130933;
     12618;
     -130935;
     12619;
     -130937;
     12620;
     -130939;
     12621;
     -130941;
     12622;
     -130949;
     12623;
     -130951;
     12624;
     -130953;
     12625;
     -130955;
     12626;
     -130957;
     12627;
     -130959;
     12628;
     -130965;
     12629;
     -130967;
     12630;
     -130969;
     12631;
     -130971;
     12632;
     -130973;
     12633;
     -130975;
     12634;
     -130981;
     12635;
     -130983;
     12636;
     -130985;
     12637;
     -130987;
     12638;
     -130989;
     12639;
     -130991;
     12640;
     -130997;
     12641;
     -130999;
     12642;
     -131001;
     12643;
     -131009;
     162;
     -131011;
     163;
     -131013;
     172;
     -131015;
     175;
     -131017;
     166;
     -131019;
     165;
     -131021;
     8361;
     -131025;
     9474;
     -131027;
     8592;
     -131029;
     8593;
     -131031;
     8594;
     -131033;
     8595;
     -131035;
     9632;
     -131037;
     9675;
     -238268;
     119127;
     119141;
     -238270;
     119128;
     119141;
     -238272;
     119135;
     119150;
     -238274;
     119135;
     119151;
     -238276;
     119135;
     119152;
     -238278;
     119135;
     119153;
     -238280;
     119135;
     119154;
     -238454;
     119225;
     119141;
     -238456;
     119226;
     119141;
     -238458;
     119227;
     119150;
     -238460;
     119228;
     119150;
     -238462;
     119227;
     119151;
     -238464;
     119228;
     119151;
     -239617;
     65;
     -239619;
     66;
     -239621;
     67;
     -239623;
     68;
     -239625;
     69;
     -239627;
     70;
     -239629;
     71;
     -239631;
     72;
     -239633;
     73;
     -239635;
     74;
     -239637;
     75;
     -239639;
     76;
     -239641;
     77;
     -239643;
     78;
     -239645;
     79;
     -239647;
     80;
     -239649;
     81;
     -239651;
     82;
     -239653;
     83;
     -239655;
     84;
     -239657;
     85;
     -239659;
     86;
     -239661;
     87;
     -239663;
     88;
     -239665;
     89;
     -239667;
     90;
     -239669;
     97;
     -239671;
     98;
     -239673;
     99;
     -239675;
     100;
     -239677;
     101;
     -239679;
     102;
     -239681;
     103;
     -239683;
     104;
     -239685;
     105;
     -239687;
     106;
     -239689;
     107;
     -239691;
     108;
     -239693;
     109;
     -239695;
     110;
     -239697;
     111;
     -239699;
     112;
     -239701;
     113;
     -239703;
     114;
     -239705;
     115;
     -239707;
     116;
     -239709;
     117;
     -239711;
     118;
     -239713;
     119;
     -239715;
     120;
     -239717;
     121;
     -239719;
     122;
     -239721;
     65;
     -239723;
     66;
     -239725;
     67;
     -239727;
     68;
     -239729;
     69;
     -239731;
     70;
     -239733;
     71;
     -239735;
     72;
     -239737;
     73;
     -239739;
     74;
     -239741;
     75;
     -239743;
     76;
     -239745;
     77;
     -239747;
     78;
     -239749;
     79;
     -239751;
     80;
     -239753;
     81;
     -239755;
     82;
     -239757;
     83;
     -239759;
     84;
     -239761;
     85;
     -239763;
     86;
     -239765;
     87;
     -239767;
     88;
     -239769;
     89;
     -239771;
     90;
     -239773;
     97;
     -239775;
     98;
     -239777;
     99;
     -239779;
     100;
     -239781;
     101;
     -239783;
     102;
     -239785;
     103;
     -239789;
     105;
     -239791;
     106;
     -239793;
     107;
     -239795;
     108;
     -239797;
     109;
     -239799;
     110;
     -239801;
     111;
     -239803;
     112;
     -239805;
     113;
     -239807;
     114;
     -239809;
     115;
     -239811;
     116;
     -239813;
     117;
     -239815;
     118;
     -239817;
     119;
     -239819;
     120;
     -239821;
     121;
     -239823;
     122;
     -239825;
     65;
     -239827;
     66;
     -239829;
     67;
     -239831;
     68;
     -239833;
     69;
     -239835;
     70;
     -239837;
     71;
     -239839;
     72;
     -239841;
     73;
     -239843;
     74;
     -239845;
     75;
     -239847;
     76;
     -239849;
     77;
     -239851;
     78;
     -239853;
     79;
     -239855;
     80;
     -239857;
     81;
     -239859;
     82;
     -239861;
     83;
     -239863;
     84;
     -239865;
     85;
     -239867;
     86;
     -239869;
     87;
     -239871;
     88;
     -239873;
     89;
     -239875;
     90;
     -239877;
     97;
     -239879;
     98;
     -239881;
     99;
     -239883;
     100;
     -239885;
     101;
     -239887;
     102;
     -239889;
     103;
     -239891;
     104;
     -239893;
     105;
     -239895;
     106;
     -239897;
     107;
     -239899;
     108;
     -239901;
     109;
     -239903;
     110;
     -239905;
     111;
     -239907;
     112;
     -239909;
     113;
     -239911;
     114;
     -239913;
     115;
     -239915;
     116;
     -239917;
     117;
     -239919;
     118;
     -239921;
     119;
     -239923;
     120;
     -239925;
     121;
     -239927;
     122;
     -239929;
     65;
     -239933;
     67;
     -239935;
     68;
     -239941;
     71;
     -239947;
     74;
     -239949;
     75;
     -239955;
     78;
     -239957;
     79;
     -239959;
     80;
     -239961;
     81;
     -239965;
     83;
     -239967;
     84;
     -239969;
     85;
     -239971;
     86;
     -239973;
     87;
     -239975;
     88;
     -239977;
     89;
     -239979;
     90;
     -239981;
     97;
     -239983;
     98;
     -239985;
     99;
     -239987;
     100;
     -239991;
     102;
     -239995;
     104;
     -239997;
     105;
     -239999;
     106;
     -240001;
     107;
     -240005;
     109;
     -240007;
     110;
     -240011;
     112;
     -240013;
     113;
     -240015;
     114;
     -240017;
     115;
     -240019;
     116;
     -240021;
     117;
     -240023;
     118;
     -240025;
     119;
     -240027;
     120;
     -240029;
     121;
     -240031;
     122;
     -240033;
     65;
     -240035;
     66;
     -240037;
     67;
     -240039;
     68;
     -240041;
     69;
     -240043;
     70;
     -240045;
     71;
     -240047;
     72;
     -240049;
     73;
     -240051;
     74;
     -240053;
     75;
     -240055;
     76;
     -240057;
     77;
     -240059;
     78;
     -240061;
     79;
     -240063;
     80;
     -240065;
     81;
     -240067;
     82;
     -240069;
     83;
     -240071;
     84;
     -240073;
     85;
     -240075;
     86;
     -240077;
     87;
     -240079;
     88;
     -240081;
     89;
     -240083;
     90;
     -240085;
     97;
     -240087;
     98;
     -240089;
     99;
     -240091;
     100;
     -240093;
     101;
     -240095;
     102;
     -240097;
     103;
     -240099;
     104;
     -240101;
     105;
     -240103;
     106;
     -240105;
     107;
     -240107;
     108;
     -240109;
     109;
     -240111;
     110;
     -240113;
     111;
     -240115;
     112;
     -240117;
     113;
     -240119;
     114;
     -240121;
     115;
     -240123;
     116;
     -240125;
     117;
     -240127;
     118;
     -240129;
     119;
     -240131;
     120;
     -240133;
     121;
     -240135;
     122;
     -240137;
     65;
     -240139;
     66;
     -240143;
     68;
     -240145;
     69;
     -240147;
     70;
     -240149;
     71;
     -240155;
     74;
     -240157;
     75;
     -240159;
     76;
     -240161;
     77;
     -240163;
     78;
     -240165;
     79;
     -240167;
     80;
     -240169;
     81;
     -240173;
     83;
     -240175;
     84;
     -240177;
     85;
     -240179;
     86;
     -240181;
     87;
     -240183;
     88;
     -240185;
     89;
     -240189;
     97;
     -240191;
     98;
     -240193;
     99;
     -240195;
     100;
     -240197;
     101;
     -240199;
     102;
     -240201;
     103;
     -240203;
     104;
     -240205;
     105;
     -240207;
     106;
     -240209;
     107;
     -240211;
     108;
     -240213;
     109;
     -240215;
     110;
     -240217;
     111;
     -240219;
     112;
     -240221;
     113;
     -240223;
     114;
     -240225;
     115;
     -240227;
     116;
     -240229;
     117;
     -240231;
     118;
     -240233;
     119;
     -240235;
     120;
     -240237;
     121;
     -240239;
     122;
     -240241;
     65;
     -240243;
     66;
     -240247;
     68;
     -240249;
     69;
     -240251;
     70;
     -240253;
     71;
     -240257;
     73;
     -240259;
     74;
     -240261;
     75;
     -240263;
     76;
     -240265;
     77;
     -240269;
     79;
     -240277;
     83;
     -240279;
     84;
     -240281;
     85;
     -240283;
     86;
     -240285;
     87;
     -240287;
     88;
     -240289;
     89;
     -240293;
     97;
     -240295;
     98;
     -240297;
     99;
     -240299;
     100;
     -240301;
     101;
     -240303;
     102;
     -240305;
     103;
     -240307;
     104;
     -240309;
     105;
     -240311;
     106;
     -240313;
     107;
     -240315;
     108;
     -240317;
     109;
     -240319;
     110;
     -240321;
     111;
     -240323;
     112;
     -240325;
     113;
     -240327;
     114;
     -240329;
     115;
     -240331;
     116;
     -240333;
     117;
     -240335;
     118;
     -240337;
     119;
     -240339;
     120;
     -240341;
     121;
     -240343;
     122;
     -240345;
     65;
     -240347;
     66;
     -240349;
     67;
     -240351;
     68;
     -240353;
     69;
     -240355;
     70;
     -240357;
     71;
     -240359;
     72;
     -240361;
     73;
     -240363;
     74;
     -240365;
     75;
     -240367;
     76;
     -240369;
     77;
     -240371;
     78;
     -240373;
     79;
     -240375;
     80;
     -240377;
     81;
     -240379;
     82;
     -240381;
     83;
     -240383;
     84;
     -240385;
     85;
     -240387;
     86;
     -240389;
     87;
     -240391;
     88;
     -240393;
     89;
     -240395;
     90;
     -240397;
     97;
     -240399;
     98;
     -240401;
     99;
     -240403;
     100;
     -240405;
     101;
     -240407;
     102;
     -240409;
     103;
     -240411;
     104;
     -240413;
     105;
     -240415;
     106;
     -240417;
     107;
     -240419;
     108;
     -240421;
     109;
     -240423;
     110;
     -240425;
     111;
     -240427;
     112;
     -240429;
     113;
     -240431;
     114;
     -240433;
     115;
     -240435;
     116;
     -240437;
     117;
     -240439;
     118;
     -240441;
     119;
     -240443;
     120;
     -240445;
     121;
     -240447;
     122;
     -240449;
     65;
     -240451;
     66;
     -240453;
     67;
     -240455;
     68;
     -240457;
     69;
     -240459;
     70;
     -240461;
     71;
     -240463;
     72;
     -240465;
     73;
     -240467;
     74;
     -240469;
     75;
     -240471;
     76;
     -240473;
     77;
     -240475;
     78;
     -240477;
     79;
     -240479;
     80;
     -240481;
     81;
     -240483;
     82;
     -240485;
     83;
     -240487;
     84;
     -240489;
     85;
     -240491;
     86;
     -240493;
     87;
     -240495;
     88;
     -240497;
     89;
     -240499;
     90;
     -240501;
     97;
     -240503;
     98;
     -240505;
     99;
     -240507;
     100;
     -240509;
     101;
     -240511;
     102;
     -240513;
     103;
     -240515;
     104;
     -240517;
     105;
     -240519;
     106;
     -240521;
     107;
     -240523;
     108;
     -240525;
     109;
     -240527;
     110;
     -240529;
     111;
     -240531;
     112;
     -240533;
     113;
     -240535;
     114;
     -240537;
     115;
     -240539;
     116;
     -240541;
     117;
     -240543;
     118;
     -240545;
     119;
     -240547;
     120;
     -240549;
     121;
     -240551;
     122;
     -240553;
     65;
     -240555;
     66;
     -240557;
     67;
     -240559;
     68;
     -240561;
     69;
     -240563;
     70;
     -240565;
     71;
     -240567;
     72;
     -240569;
     73;
     -240571;
     74;
     -240573;
     75;
     -240575;
     76;
     -240577;
     77;
     -240579;
     78;
     -240581;
     79;
     -240583;
     80;
     -240585;
     81;
     -240587;
     82;
     -240589;
     83;
     -240591;
     84;
     -240593;
     85;
     -240595;
     86;
     -240597;
     87;
     -240599;
     88;
     -240601;
     89;
     -240603;
     90;
     -240605;
     97;
     -240607;
     98;
     -240609;
     99;
     -240611;
     100;
     -240613;
     101;
     -240615;
     102;
     -240617;
     103;
     -240619;
     104;
     -240621;
     105;
     -240623;
     106;
     -240625;
     107;
     -240627;
     108;
     -240629;
     109;
     -240631;
     110;
     -240633;
     111;
     -240635;
     112;
     -240637;
     113;
     -240639;
     114;
     -240641;
     115;
     -240643;
     116;
     -240645;
     117;
     -240647;
     118;
     -240649;
     119;
     -240651;
     120;
     -240653;
     121;
     -240655;
     122;
     -240657;
     65;
     -240659;
     66;
     -240661;
     67;
     -240663;
     68;
     -240665;
     69;
     -240667;
     70;
     -240669;
     71;
     -240671;
     72;
     -240673;
     73;
     -240675;
     74;
     -240677;
     75;
     -240679;
     76;
     -240681;
     77;
     -240683;
     78;
     -240685;
     79;
     -240687;
     80;
     -240689;
     81;
     -240691;
     82;
     -240693;
     83;
     -240695;
     84;
     -240697;
     85;
     -240699;
     86;
     -240701;
     87;
     -240703;
     88;
     -240705;
     89;
     -240707;
     90;
     -240709;
     97;
     -240711;
     98;
     -240713;
     99;
     -240715;
     100;
     -240717;
     101;
     -240719;
     102;
     -240721;
     103;
     -240723;
     104;
     -240725;
     105;
     -240727;
     106;
     -240729;
     107;
     -240731;
     108;
     -240733;
     109;
     -240735;
     110;
     -240737;
     111;
     -240739;
     112;
     -240741;
     113;
     -240743;
     114;
     -240745;
     115;
     -240747;
     116;
     -240749;
     117;
     -240751;
     118;
     -240753;
     119;
     -240755;
     120;
     -240757;
     121;
     -240759;
     122;
     -240761;
     65;
     -240763;
     66;
     -240765;
     67;
     -240767;
     68;
     -240769;
     69;
     -240771;
     70;
     -240773;
     71;
     -240775;
     72;
     -240777;
     73;
     -240779;
     74;
     -240781;
     75;
     -240783;
     76;
     -240785;
     77;
     -240787;
     78;
     -240789;
     79;
     -240791;
     80;
     -240793;
     81;
     -240795;
     82;
     -240797;
     83;
     -240799;
     84;
     -240801;
     85;
     -240803;
     86;
     -240805;
     87;
     -240807;
     88;
     -240809;
     89;
     -240811;
     90;
     -240813;
     97;
     -240815;
     98;
     -240817;
     99;
     -240819;
     100;
     -240821;
     101;
     -240823;
     102;
     -240825;
     103;
     -240827;
     104;
     -240829;
     105;
     -240831;
     106;
     -240833;
     107;
     -240835;
     108;
     -240837;
     109;
     -240839;
     110;
     -240841;
     111;
     -240843;
     112;
     -240845;
     113;
     -240847;
     114;
     -240849;
     115;
     -240851;
     116;
     -240853;
     117;
     -240855;
     118;
     -240857;
     119;
     -240859;
     120;
     -240861;
     121;
     -240863;
     122;
     -240865;
     65;
     -240867;
     66;
     -240869;
     67;
     -240871;
     68;
     -240873;
     69;
     -240875;
     70;
     -240877;
     71;
     -240879;
     72;
     -240881;
     73;
     -240883;
     74;
     -240885;
     75;
     -240887;
     76;
     -240889;
     77;
     -240891;
     78;
     -240893;
     79;
     -240895;
     80;
     -240897;
     81;
     -240899;
     82;
     -240901;
     83;
     -240903;
     84;
     -240905;
     85;
     -240907;
     86;
     -240909;
     87;
     -240911;
     88;
     -240913;
     89;
     -240915;
     90;
     -240917;
     97;
     -240919;
     98;
     -240921;
     99;
     -240923;
     100;
     -240925;
     101;
     -240927;
     102;
     -240929;
     103;
     -240931;
     104;
     -240933;
     105;
     -240935;
     106;
     -240937;
     107;
     -240939;
     108;
     -240941;
     109;
     -240943;
     110;
     -240945;
     111;
     -240947;
     112;
     -240949;
     113;
     -240951;
     114;
     -240953;
     115;
     -240955;
     116;
     -240957;
     117;
     -240959;
     118;
     -240961;
     119;
     -240963;
     120;
     -240965;
     121;
     -240967;
     122;
     -240977;
     913;
     -240979;
     914;
     -240981;
     915;
     -240983;
     916;
     -240985;
     917;
     -240987;
     918;
     -240989;
     919;
     -240991;
     920;
     -240993;
     921;
     -240995;
     922;
     -240997;
     923;
     -240999;
     924;
     -241001;
     925;
     -241003;
     926;
     -241005;
     927;
     -241007;
     928;
     -241009;
     929;
     -241011;
     1012;
     -241013;
     931;
     -241015;
     932;
     -241017;
     933;
     -241019;
     934;
     -241021;
     935;
     -241023;
     936;
     -241025;
     937;
     -241027;
     8711;
     -241029;
     945;
     -241031;
     946;
     -241033;
     947;
     -241035;
     948;
     -241037;
     949;
     -241039;
     950;
     -241041;
     951;
     -241043;
     952;
     -241045;
     953;
     -241047;
     954;
     -241049;
     955;
     -241051;
     956;
     -241053;
     957;
     -241055;
     958;
     -241057;
     959;
     -241059;
     960;
     -241061;
     961;
     -241063;
     962;
     -241065;
     963;
     -241067;
     964;
     -241069;
     965;
     -241071;
     966;
     -241073;
     967;
     -241075;
     968;
     -241077;
     969;
     -241079;
     8706;
     -241081;
     1013;
     -241083;
     977;
     -241085;
     1008;
     -241087;
     981;
     -241089;
     1009;
     -241091;
     982;
     -241093;
     913;
     -241095;
     914;
     -241097;
     915;
     -241099;
     916;
     -241101;
     917;
     -241103;
     918;
     -241105;
     919;
     -241107;
     920;
     -241109;
     921;
     -241111;
     922;
     -241113;
     923;
     -241115;
     924;
     -241117;
     925;
     -241119;
     926;
     -241121;
     927;
     -241123;
     928;
     -241125;
     929;
     -241127;
     1012;
     -241129;
     931;
     -241131;
     932;
     -241133;
     933;
     -241135;
     934;
     -241137;
     935;
     -241139;
     936;
     -241141;
     937;
     -241143;
     8711;
     -241145;
     945;
     -241147;
     946;
     -241149;
     947;
     -241151;
     948;
     -241153;
     949;
     -241155;
     950;
     -241157;
     951;
     -241159;
     952;
     -241161;
     953;
     -241163;
     954;
     -241165;
     955;
     -241167;
     956;
     -241169;
     957;
     -241171;
     958;
     -241173;
     959;
     -241175;
     960;
     -241177;
     961;
     -241179;
     962;
     -241181;
     963;
     -241183;
     964;
     -241185;
     965;
     -241187;
     966;
     -241189;
     967;
     -241191;
     968;
     -241193;
     969;
     -241195;
     8706;
     -241197;
     1013;
     -241199;
     977;
     -241201;
     1008;
     -241203;
     981;
     -241205;
     1009;
     -241207;
     982;
     -241209;
     913;
     -241211;
     914;
     -241213;
     915;
     -241215;
     916;
     -241217;
     917;
     -241219;
     918;
     -241221;
     919;
     -241223;
     920;
     -241225;
     921;
     -241227;
     922;
     -241229;
     923;
     -241231;
     924;
     -241233;
     925;
     -241235;
     926;
     -241237;
     927;
     -241239;
     928;
     -241241;
     929;
     -241243;
     1012;
     -241245;
     931;
     -241247;
     932;
     -241249;
     933;
     -241251;
     934;
     -241253;
     935;
     -241255;
     936;
     -241257;
     937;
     -241259;
     8711;
     -241261;
     945;
     -241263;
     946;
     -241265;
     947;
     -241267;
     948;
     -241269;
     949;
     -241271;
     950;
     -241273;
     951;
     -241275;
     952;
     -241277;
     953;
     -241279;
     954;
     -241281;
     955;
     -241283;
     956;
     -241285;
     957;
     -241287;
     958;
     -241289;
     959;
     -241291;
     960;
     -241293;
     961;
     -241295;
     962;
     -241297;
     963;
     -241299;
     964;
     -241301;
     965;
     -241303;
     966;
     -241305;
     967;
     -241307;
     968;
     -241309;
     969;
     -241311;
     8706;
     -241313;
     1013;
     -241315;
     977;
     -241317;
     1008;
     -241319;
     981;
     -241321;
     1009;
     -241323;
     982;
     -241325;
     913;
     -241327;
     914;
     -241329;
     915;
     -241331;
     916;
     -241333;
     917;
     -241335;
     918;
     -241337;
     919;
     -241339;
     920;
     -241341;
     921;
     -241343;
     922;
     -241345;
     923;
     -241347;
     924;
     -241349;
     925;
     -241351;
     926;
     -241353;
     927;
     -241355;
     928;
     -241357;
     929;
     -241359;
     1012;
     -241361;
     931;
     -241363;
     932;
     -241365;
     933;
     -241367;
     934;
     -241369;
     935;
     -241371;
     936;
     -241373;
     937;
     -241375;
     8711;
     -241377;
     945;
     -241379;
     946;
     -241381;
     947;
     -241383;
     948;
     -241385;
     949;
     -241387;
     950;
     -241389;
     951;
     -241391;
     952;
     -241393;
     953;
     -241395;
     954;
     -241397;
     955;
     -241399;
     956;
     -241401;
     957;
     -241403;
     958;
     -241405;
     959;
     -241407;
     960;
     -241409;
     961;
     -241411;
     962;
     -241413;
     963;
     -241415;
     964;
     -241417;
     965;
     -241419;
     966;
     -241421;
     967;
     -241423;
     968;
     -241425;
     969;
     -241427;
     8706;
     -241429;
     1013;
     -241431;
     977;
     -241433;
     1008;
     -241435;
     981;
     -241437;
     1009;
     -241439;
     982;
     -241441;
     913;
     -241443;
     914;
     -241445;
     915;
     -241447;
     916;
     -241449;
     917;
     -241451;
     918;
     -241453;
     919;
     -241455;
     920;
     -241457;
     921;
     -241459;
     922;
     -241461;
     923;
     -241463;
     924;
     -241465;
     925;
     -241467;
     926;
     -241469;
     927;
     -241471;
     928;
     -241473;
     929;
     -241475;
     1012;
     -241477;
     931;
     -241479;
     932;
     -241481;
     933;
     -241483;
     934;
     -241485;
     935;
     -241487;
     936;
     -241489;
     937;
     -241491;
     8711;
     -241493;
     945;
     -241495;
     946;
     -241497;
     947;
     -241499;
     948;
     -241501;
     949;
     -241503;
     950;
     -241505;
     951;
     -241507;
     952;
     -241509;
     953;
     -241511;
     954;
     -241513;
     955;
     -241515;
     956;
     -241517;
     957;
     -241519;
     958;
     -241521;
     959;
     -241523;
     960;
     -241525;
     961;
     -241527;
     962;
     -241529;
     963;
     -241531;
     964;
     -241533;
     965;
     -241535;
     966;
     -241537;
     967;
     -241539;
     968;
     -241541;
     969;
     -241543;
     8706;
     -241545;
     1013;
     -241547;
     977;
     -241549;
     1008;
     -241551;
     981;
     -241553;
     1009;
     -241555;
     982;
     -241565;
     48;
     -241567;
     49;
     -241569;
     50;
     -241571;
     51;
     -241573;
     52;
     -241575;
     53;
     -241577;
     54;
     -241579;
     55;
     -241581;
     56;
     -241583;
     57;
     -241585;
     48;
     -241587;
     49;
     -241589;
     50;
     -241591;
     51;
     -241593;
     52;
     -241595;
     53;
     -241597;
     54;
     -241599;
     55;
     -241601;
     56;
     -241603;
     57;
     -241605;
     48;
     -241607;
     49;
     -241609;
     50;
     -241611;
     51;
     -241613;
     52;
     -241615;
     53;
     -241617;
     54;
     -241619;
     55;
     -241621;
     56;
     -241623;
     57;
     -241625;
     48;
     -241627;
     49;
     -241629;
     50;
     -241631;
     51;
     -241633;
     52;
     -241635;
     53;
     -241637;
     54;
     -241639;
     55;
     -241641;
     56;
     -241643;
     57;
     -241645;
     48;
     -241647;
     49;
     -241649;
     50;
     -241651;
     51;
     -241653;
     52;
     -241655;
     53;
     -241657;
     54;
     -241659;
     55;
     -241661;
     56;
     -241663;
     57;
     -389120;
     20029;
     -389122;
     20024;
     -389124;
     20033;
     -389126;
     131362;
     -389128;
     20320;
     -389130;
     20398;
     -389132;
     20411;
     -389134;
     20482;
     -389136;
     20602;
     -389138;
     20633;
     -389140;
     20711;
     -389142;
     20687;
     -389144;
     13470;
     -389146;
     132666;
     -389148;
     20813;
     -389150;
     20820;
     -389152;
     20836;
     -389154;
     20855;
     -389156;
     132380;
     -389158;
     13497;
     -389160;
     20839;
     -389162;
     20877;
     -389164;
     132427;
     -389166;
     20887;
     -389168;
     20900;
     -389170;
     20172;
     -389172;
     20908;
     -389174;
     20917;
     -389176;
     168415;
     -389178;
     20981;
     -389180;
     20995;
     -389182;
     13535;
     -389184;
     21051;
     -389186;
     21062;
     -389188;
     21106;
     -389190;
     21111;
     -389192;
     13589;
     -389194;
     21191;
     -389196;
     21193;
     -389198;
     21220;
     -389200;
     21242;
     -389202;
     21253;
     -389204;
     21254;
     -389206;
     21271;
     -389208;
     21321;
     -389210;
     21329;
     -389212;
     21338;
     -389214;
     21363;
     -389216;
     21373;
     -389218;
     21375;
     -389220;
     21375;
     -389222;
     21375;
     -389224;
     133676;
     -389226;
     28784;
     -389228;
     21450;
     -389230;
     21471;
     -389232;
     133987;
     -389234;
     21483;
     -389236;
     21489;
     -389238;
     21510;
     -389240;
     21662;
     -389242;
     21560;
     -389244;
     21576;
     -389246;
     21608;
     -389248;
     21666;
     -389250;
     21750;
     -389252;
     21776;
     -389254;
     21843;
     -389256;
     21859;
     -389258;
     21892;
     -389260;
     21892;
     -389262;
     21913;
     -389264;
     21931;
     -389266;
     21939;
     -389268;
     21954;
     -389270;
     22294;
     -389272;
     22022;
     -389274;
     22295;
     -389276;
     22097;
     -389278;
     22132;
     -389280;
     20999;
     -389282;
     22766;
     -389284;
     22478;
     -389286;
     22516;
     -389288;
     22541;
     -389290;
     22411;
     -389292;
     22578;
     -389294;
     22577;
     -389296;
     22700;
     -389298;
     136420;
     -389300;
     22770;
     -389302;
     22775;
     -389304;
     22790;
     -389306;
     22810;
     -389308;
     22818;
     -389310;
     22882;
     -389312;
     136872;
     -389314;
     136938;
     -389316;
     23020;
     -389318;
     23067;
     -389320;
     23079;
     -389322;
     23000;
     -389324;
     23142;
     -389326;
     14062;
     -389328;
     136042;
     -389330;
     23304;
     -389332;
     23358;
     -389334;
     23358;
     -389336;
     137672;
     -389338;
     23491;
     -389340;
     23512;
     -389342;
     23527;
     -389344;
     23539;
     -389346;
     138008;
     -389348;
     23551;
     -389350;
     23558;
     -389352;
     24371;
     -389354;
     23586;
     -389356;
     14209;
     -389358;
     23648;
     -389360;
     23662;
     -389362;
     23744;
     -389364;
     23693;
     -389366;
     138724;
     -389368;
     23875;
     -389370;
     138726;
     -389372;
     23918;
     -389374;
     23915;
     -389376;
     23932;
     -389378;
     24033;
     -389380;
     24034;
     -389382;
     14383;
     -389384;
     24061;
     -389386;
     24104;
     -389388;
     24125;
     -389390;
     24169;
     -389392;
     14434;
     -389394;
     139651;
     -389396;
     14460;
     -389398;
     24240;
     -389400;
     24243;
     -389402;
     24246;
     -389404;
     24266;
     -389406;
     172946;
     -389408;
     24318;
     -389410;
     140081;
     -389412;
     140081;
     -389414;
     33281;
     -389416;
     24354;
     -389418;
     24354;
     -389420;
     14535;
     -389422;
     144056;
     -389424;
     156122;
     -389426;
     24418;
     -389428;
     24427;
     -389430;
     14563;
     -389432;
     24474;
     -389434;
     24525;
     -389436;
     24535;
     -389438;
     24569;
     -389440;
     24705;
     -389442;
     14650;
     -389444;
     14620;
     -389446;
     24724;
     -389448;
     141012;
     -389450;
     24775;
     -389452;
     24904;
     -389454;
     24908;
     -389456;
     24910;
     -389458;
     24908;
     -389460;
     24954;
     -389462;
     24974;
     -389464;
     25010;
     -389466;
     24996;
     -389468;
     25007;
     -389470;
     25054;
     -389472;
     25074;
     -389474;
     25078;
     -389476;
     25104;
     -389478;
     25115;
     -389480;
     25181;
     -389482;
     25265;
     -389484;
     25300;
     -389486;
     25424;
     -389488;
     142092;
     -389490;
     25405;
     -389492;
     25340;
     -389494;
     25448;
     -389496;
     25475;
     -389498;
     25572;
     -389500;
     142321;
     -389502;
     25634;
     -389504;
     25541;
     -389506;
     25513;
     -389508;
     14894;
     -389510;
     25705;
     -389512;
     25726;
     -389514;
     25757;
     -389516;
     25719;
     -389518;
     14956;
     -389520;
     25935;
     -389522;
     25964;
     -389524;
     143370;
     -389526;
     26083;
     -389528;
     26360;
     -389530;
     26185;
     -389532;
     15129;
     -389534;
     26257;
     -389536;
     15112;
     -389538;
     15076;
     -389540;
     20882;
     -389542;
     20885;
     -389544;
     26368;
     -389546;
     26268;
     -389548;
     32941;
     -389550;
     17369;
     -389552;
     26391;
     -389554;
     26395;
     -389556;
     26401;
     -389558;
     26462;
     -389560;
     26451;
     -389562;
     144323;
     -389564;
     15177;
     -389566;
     26618;
     -389568;
     26501;
     -389570;
     26706;
     -389572;
     26757;
     -389574;
     144493;
     -389576;
     26766;
     -389578;
     26655;
     -389580;
     26900;
     -389582;
     15261;
     -389584;
     26946;
     -389586;
     27043;
     -389588;
     27114;
     -389590;
     27304;
     -389592;
     145059;
     -389594;
     27355;
     -389596;
     15384;
     -389598;
     27425;
     -389600;
     145575;
     -389602;
     27476;
     -389604;
     15438;
     -389606;
     27506;
     -389608;
     27551;
     -389610;
     27578;
     -389612;
     27579;
     -389614;
     146061;
     -389616;
     138507;
     -389618;
     146170;
     -389620;
     27726;
     -389622;
     146620;
     -389624;
     27839;
     -389626;
     27853;
     -389628;
     27751;
     -389630;
     27926;
     -389632;
     27966;
     -389634;
     28023;
     -389636;
     27969;
     -389638;
     28009;
     -389640;
     28024;
     -389642;
     28037;
     -389644;
     146718;
     -389646;
     27956;
     -389648;
     28207;
     -389650;
     28270;
     -389652;
     15667;
     -389654;
     28363;
     -389656;
     28359;
     -389658;
     147153;
     -389660;
     28153;
     -389662;
     28526;
     -389664;
     147294;
     -389666;
     147342;
     -389668;
     28614;
     -389670;
     28729;
     -389672;
     28702;
     -389674;
     28699;
     -389676;
     15766;
     -389678;
     28746;
     -389680;
     28797;
     -389682;
     28791;
     -389684;
     28845;
     -389686;
     132389;
     -389688;
     28997;
     -389690;
     148067;
     -389692;
     29084;
     -389694;
     17323;
     -389696;
     29224;
     -389698;
     29237;
     -389700;
     29264;
     -389702;
     149000;
     -389704;
     29312;
     -389706;
     29333;
     -389708;
     149301;
     -389710;
     149524;
     -389712;
     29562;
     -389714;
     29579;
     -389716;
     16044;
     -389718;
     29605;
     -389720;
     16056;
     -389722;
     16056;
     -389724;
     29767;
     -389726;
     29788;
     -389728;
     29809;
     -389730;
     29829;
     -389732;
     29898;
     -389734;
     16155;
     -389736;
     29988;
     -389738;
     150582;
     -389740;
     30014;
     -389742;
     150674;
     -389744;
     30064;
     -389746;
     139679;
     -389748;
     30224;
     -389750;
     151457;
     -389752;
     151480;
     -389754;
     151620;
     -389756;
     16380;
     -389758;
     16392;
     -389760;
     30452;
     -389762;
     151795;
     -389764;
     151794;
     -389766;
     151833;
     -389768;
     151859;
     -389770;
     30494;
     -389772;
     30495;
     -389774;
     30495;
     -389776;
     30538;
     -389778;
     16441;
     -389780;
     30603;
     -389782;
     16454;
     -389784;
     16534;
     -389786;
     152605;
     -389788;
     30798;
     -389790;
     30860;
     -389792;
     30924;
     -389794;
     16611;
     -389796;
     153126;
     -389798;
     31062;
     -389800;
     153242;
     -389802;
     153285;
     -389804;
     31119;
     -389806;
     31211;
     -389808;
     16687;
     -389810;
     31296;
     -389812;
     31306;
     -389814;
     31311;
     -389816;
     153980;
     -389818;
     154279;
     -389820;
     154279;
     -389822;
     31406;
     -389824;
     16898;
     -389826;
     154539;
     -389828;
     31686;
     -389830;
     31689;
     -389832;
     16935;
     -389834;
     154752;
     -389836;
     31954;
     -389838;
     17056;
     -389840;
     31976;
     -389842;
     31971;
     -389844;
     32000;
     -389846;
     155526;
     -389848;
     32099;
     -389850;
     17153;
     -389852;
     32199;
     -389854;
     32258;
     -389856;
     32325;
     -389858;
     17204;
     -389860;
     156200;
     -389862;
     156231;
     -389864;
     17241;
     -389866;
     156377;
     -389868;
     32634;
     -389870;
     156478;
     -389872;
     32661;
     -389874;
     32762;
     -389876;
     32773;
     -389878;
     156890;
     -389880;
     156963;
     -389882;
     32864;
     -389884;
     157096;
     -389886;
     32880;
     -389888;
     144223;
     -389890;
     17365;
     -389892;
     32946;
     -389894;
     33027;
     -389896;
     17419;
     -389898;
     33086;
     -389900;
     23221;
     -389902;
     157607;
     -389904;
     157621;
     -389906;
     144275;
     -389908;
     144284;
     -389910;
     33281;
     -389912;
     33284;
     -389914;
     36766;
     -389916;
     17515;
     -389918;
     33425;
     -389920;
     33419;
     -389922;
     33437;
     -389924;
     21171;
     -389926;
     33457;
     -389928;
     33459;
     -389930;
     33469;
     -389932;
     33510;
     -389934;
     158524;
     -389936;
     33509;
     -389938;
     33565;
     -389940;
     33635;
     -389942;
     33709;
     -389944;
     33571;
     -389946;
     33725;
     -389948;
     33767;
     -389950;
     33879;
     -389952;
     33619;
     -389954;
     33738;
     -389956;
     33740;
     -389958;
     33756;
     -389960;
     158774;
     -389962;
     159083;
     -389964;
     158933;
     -389966;
     17707;
     -389968;
     34033;
     -389970;
     34035;
     -389972;
     34070;
     -389974;
     160714;
     -389976;
     34148;
     -389978;
     159532;
     -389980;
     17757;
     -389982;
     17761;
     -389984;
     159665;
     -389986;
     159954;
     -389988;
     17771;
     -389990;
     34384;
     -389992;
     34396;
     -389994;
     34407;
     -389996;
     34409;
     -389998;
     34473;
     -390000;
     34440;
     -390002;
     34574;
     -390004;
     34530;
     -390006;
     34681;
     -390008;
     34600;
     -390010;
     34667;
     -390012;
     34694;
     -390014;
     19799;
     -390016;
     34785;
     -390018;
     34817;
     -390020;
     17913;
     -390022;
     34912;
     -390024;
     34915;
     -390026;
     161383;
     -390028;
     35031;
     -390030;
     35038;
     -390032;
     17973;
     -390034;
     35066;
     -390036;
     13499;
     -390038;
     161966;
     -390040;
     162150;
     -390042;
     18110;
     -390044;
     18119;
     -390046;
     35488;
     -390048;
     35565;
     -390050;
     35722;
     -390052;
     35925;
     -390054;
     162984;
     -390056;
     36011;
     -390058;
     36033;
     -390060;
     36123;
     -390062;
     36215;
     -390064;
     163631;
     -390066;
     133124;
     -390068;
     36299;
     -390070;
     36284;
     -390072;
     36336;
     -390074;
     133342;
     -390076;
     36564;
     -390078;
     36664;
     -390080;
     165330;
     -390082;
     165357;
     -390084;
     37012;
     -390086;
     37105;
     -390088;
     37137;
     -390090;
     165678;
     -390092;
     37147;
     -390094;
     37432;
     -390096;
     37591;
     -390098;
     37592;
     -390100;
     37500;
     -390102;
     37881;
     -390104;
     37909;
     -390106;
     166906;
     -390108;
     38283;
     -390110;
     18837;
     -390112;
     38327;
     -390114;
     167287;
     -390116;
     18918;
     -390118;
     38595;
     -390120;
     23986;
     -390122;
     38691;
     -390124;
     168261;
     -390126;
     168474;
     -390128;
     19054;
     -390130;
     19062;
     -390132;
     38880;
     -390134;
     168970;
     -390136;
     19122;
     -390138;
     169110;
     -390140;
     38923;
     -390142;
     38923;
     -390144;
     38953;
     -390146;
     169398;
     -390148;
     39138;
     -390150;
     19251;
     -390152;
     39209;
     -390154;
     39335;
     -390156;
     39362;
     -390158;
     39422;
     -390160;
     19406;
     -390162;
     170800;
     -390164;
     39698;
     -390166;
     40000;
     -390168;
     40189;
     -390170;
     19662;
     -390172;
     19693;
     -390174;
     40295;
     -390176;
     172238;
     -390178;
     19704;
     -390180;
     172293;
     -390182;
     172558;
     -390184;
     172689;
     -390186;
     40635;
     -390188;
     19798;
     -390190;
     40697;
     -390192;
     40702;
     -390194;
     40709;
     -390196;
     40719;
     -390198;
     40726;
     -390200;
     40763;
     -390202;
     173568 |]

let randalcat =
  [| (1470,1470);
     (1472,1472);
     (1475,1475);
     (1488,1514);
     (1520,1524);
     (1563,1563);
     (1567,1567);
     (1569,1594);
     (1600,1610);
     (1645,1647);
     (1649,1749);
     (1757,1757);
     (1765,1766);
     (1786,1790);
     (1792,1805);
     (1808,1808);
     (1810,1836);
     (1920,1957);
     (1969,1969);
     (8207,8207);
     (64285,64285);
     (64287,64296);
     (64298,64310);
     (64312,64316);
     (64318,64318);
     (64320,64321);
     (64323,64324);
     (64326,64433);
     (64467,64829);
     (64848,64911);
     (64914,64967);
     (65008,65020);
     (65136,65140);
     (65142,65276) |]

let lcat =
  [| (65,90);
     (97,122);
     (170,170);
     (181,181);
     (186,186);
     (192,214);
     (216,246);
     (248,544);
     (546,563);
     (592,685);
     (688,696);
     (699,705);
     (720,721);
     (736,740);
     (750,750);
     (890,890);
     (902,902);
     (904,906);
     (908,908);
     (910,929);
     (931,974);
     (976,1013);
     (1024,1154);
     (1162,1230);
     (1232,1269);
     (1272,1273);
     (1280,1295);
     (1329,1366);
     (1369,1375);
     (1377,1415);
     (1417,1417);
     (2307,2307);
     (2309,2361);
     (2365,2368);
     (2377,2380);
     (2384,2384);
     (2392,2401);
     (2404,2416);
     (2434,2435);
     (2437,2444);
     (2447,2448);
     (2451,2472);
     (2474,2480);
     (2482,2482);
     (2486,2489);
     (2494,2496);
     (2503,2504);
     (2507,2508);
     (2519,2519);
     (2524,2525);
     (2527,2529);
     (2534,2545);
     (2548,2554);
     (2565,2570);
     (2575,2576);
     (2579,2600);
     (2602,2608);
     (2610,2611);
     (2613,2614);
     (2616,2617);
     (2622,2624);
     (2649,2652);
     (2654,2654);
     (2662,2671);
     (2674,2676);
     (2691,2691);
     (2693,2699);
     (2701,2701);
     (2703,2705);
     (2707,2728);
     (2730,2736);
     (2738,2739);
     (2741,2745);
     (2749,2752);
     (2761,2761);
     (2763,2764);
     (2768,2768);
     (2784,2784);
     (2790,2799);
     (2818,2819);
     (2821,2828);
     (2831,2832);
     (2835,2856);
     (2858,2864);
     (2866,2867);
     (2870,2873);
     (2877,2878);
     (2880,2880);
     (2887,2888);
     (2891,2892);
     (2903,2903);
     (2908,2909);
     (2911,2913);
     (2918,2928);
     (2947,2947);
     (2949,2954);
     (2958,2960);
     (2962,2965);
     (2969,2970);
     (2972,2972);
     (2974,2975);
     (2979,2980);
     (2984,2986);
     (2990,2997);
     (2999,3001);
     (3006,3007);
     (3009,3010);
     (3014,3016);
     (3018,3020);
     (3031,3031);
     (3047,3058);
     (3073,3075);
     (3077,3084);
     (3086,3088);
     (3090,3112);
     (3114,3123);
     (3125,3129);
     (3137,3140);
     (3168,3169);
     (3174,3183);
     (3202,3203);
     (3205,3212);
     (3214,3216);
     (3218,3240);
     (3242,3251);
     (3253,3257);
     (3262,3262);
     (3264,3268);
     (3271,3272);
     (3274,3275);
     (3285,3286);
     (3294,3294);
     (3296,3297);
     (3302,3311);
     (3330,3331);
     (3333,3340);
     (3342,3344);
     (3346,3368);
     (3370,3385);
     (3390,3392);
     (3398,3400);
     (3402,3404);
     (3415,3415);
     (3424,3425);
     (3430,3439);
     (3458,3459);
     (3461,3478);
     (3482,3505);
     (3507,3515);
     (3517,3517);
     (3520,3526);
     (3535,3537);
     (3544,3551);
     (3570,3572);
     (3585,3632);
     (3634,3635);
     (3648,3654);
     (3663,3675);
     (3713,3714);
     (3716,3716);
     (3719,3720);
     (3722,3722);
     (3725,3725);
     (3732,3735);
     (3737,3743);
     (3745,3747);
     (3749,3749);
     (3751,3751);
     (3754,3755);
     (3757,3760);
     (3762,3763);
     (3773,3773);
     (3776,3780);
     (3782,3782);
     (3792,3801);
     (3804,3805);
     (3840,3863);
     (3866,3892);
     (3894,3894);
     (3896,3896);
     (3902,3911);
     (3913,3946);
     (3967,3967);
     (3973,3973);
     (3976,3979);
     (4030,4037);
     (4039,4044);
     (4047,4047);
     (4096,4129);
     (4131,4135);
     (4137,4138);
     (4140,4140);
     (4145,4145);
     (4152,4152);
     (4160,4183);
     (4256,4293);
     (4304,4344);
     (4347,4347);
     (4352,4441);
     (4447,4514);
     (4520,4601);
     (4608,4614);
     (4616,4678);
     (4680,4680);
     (4682,4685);
     (4688,4694);
     (4696,4696);
     (4698,4701);
     (4704,4742);
     (4744,4744);
     (4746,4749);
     (4752,4782);
     (4784,4784);
     (4786,4789);
     (4792,4798);
     (4800,4800);
     (4802,4805);
     (4808,4814);
     (4816,4822);
     (4824,4846);
     (4848,4878);
     (4880,4880);
     (4882,4885);
     (4888,4894);
     (4896,4934);
     (4936,4954);
     (4961,4988);
     (5024,5108);
     (5121,5750);
     (5761,5786);
     (5792,5872);
     (5888,5900);
     (5902,5905);
     (5920,5937);
     (5941,5942);
     (5952,5969);
     (5984,5996);
     (5998,6000);
     (6016,6070);
     (6078,6085);
     (6087,6088);
     (6100,6106);
     (6108,6108);
     (6112,6121);
     (6160,6169);
     (6176,6263);
     (6272,6312);
     (7680,7835);
     (7840,7929);
     (7936,7957);
     (7960,7965);
     (7968,8005);
     (8008,8013);
     (8016,8023);
     (8025,8025);
     (8027,8027);
     (8029,8029);
     (8031,8061);
     (8064,8116);
     (8118,8124);
     (8126,8126);
     (8130,8132);
     (8134,8140);
     (8144,8147);
     (8150,8155);
     (8160,8172);
     (8178,8180);
     (8182,8188);
     (8206,8206);
     (8305,8305);
     (8319,8319);
     (8450,8450);
     (8455,8455);
     (8458,8467);
     (8469,8469);
     (8473,8477);
     (8484,8484);
     (8486,8486);
     (8488,8488);
     (8490,8493);
     (8495,8497);
     (8499,8505);
     (8509,8511);
     (8517,8521);
     (8544,8579);
     (9014,9082);
     (9109,9109);
     (9372,9449);
     (12293,12295);
     (12321,12329);
     (12337,12341);
     (12344,12348);
     (12353,12438);
     (12445,12447);
     (12449,12538);
     (12540,12543);
     (12549,12588);
     (12593,12686);
     (12688,12727);
     (12784,12828);
     (12832,12867);
     (12896,12923);
     (12927,12976);
     (12992,13003);
     (13008,13054);
     (13056,13174);
     (13179,13277);
     (13280,13310);
     (13312,13312);
     (19893,19893);
     (19968,19968);
     (40869,40869);
     (40960,42124);
     (44032,44032);
     (55203,55203);
     (55296,55296);
     (56191,56192);
     (56319,56320);
     (57343,57344);
     (63743,64045);
     (64048,64106);
     (64256,64262);
     (64275,64279);
     (65313,65338);
     (65345,65370);
     (65382,65470);
     (65474,65479);
     (65482,65487);
     (65490,65495);
     (65498,65500);
     (66304,66334);
     (66336,66339);
     (66352,66378);
     (66560,66597);
     (66600,66637);
     (118784,119029);
     (119040,119078);
     (119082,119142);
     (119146,119154);
     (119171,119172);
     (119180,119209);
     (119214,119261);
     (119808,119892);
     (119894,119964);
     (119966,119967);
     (119970,119970);
     (119973,119974);
     (119977,119980);
     (119982,119993);
     (119995,119995);
     (119997,120000);
     (120002,120003);
     (120005,120069);
     (120071,120074);
     (120077,120084);
     (120086,120092);
     (120094,120121);
     (120123,120126);
     (120128,120132);
     (120134,120134);
     (120138,120144);
     (120146,120483);
     (120488,120777);
     (131072,131072);
     (173782,173782);
     (194560,195101);
     (983040,983040);
     (1048573,1048573);
     (1048576,1048576);
     (1114109,1114109) |]

let map_to_nothing =
  [| 173;
     847;
     6150;
     6155;
     6156;
     6157;
     8203;
     8204;
     8205;
     8288;
     65024;
     65025;
     65026;
     65027;
     65028;
     65029;
     65030;
     65031;
     65032;
     65033;
     65034;
     65035;
     65036;
     65037;
     65038;
     65039;
     65279 |]

let map_to_space =
  [| 160;
     5760;
     8192;
     8193;
     8194;
     8195;
     8196;
     8197;
     8198;
     8199;
     8200;
     8201;
     8202;
     8203;
     8239;
     8287;
     12288 |]

let forbidden =
  [| (0,31);
     (127,127);
     (128,159);
     (1757,1757);
     (1807,1807);
     (6158,6158);
     (8204,8205);
     (8232,8233);
     (8288,8291);
     (8298,8303);
     (65279,65279);
     (65529,65532);
     (119155,119162);
     (57344,63743);
     (983040,1048573);
     (1048576,1114109);
     (64976,65007);
     (65534,65535);
     (131070,131071);
     (196606,196607);
     (262142,262143);
     (327678,327679);
     (393214,393215);
     (458750,458751);
     (524286,524287);
     (589822,589823);
     (655358,655359);
     (720894,720895);
     (786430,786431);
     (851966,851967);
     (917502,917503);
     (983038,983039);
     (1048574,1048575);
     (1114110,1114111);
     (55296,57343);
     (65529,65533);
     (12272,12283);
     (832,833);
     (8206,8207);
     (8234,8238);
     (8298,8303);
     (917505,917505);
     (917536,917631) |]


This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml