(* 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) |]