pvz_interception_calculator 2.0.9

pub const GARG_DATA_SIZE: usize = 2501;
const DIVISOR: f32 = 32768.;

pub fn garg_fast_of_half_ticks(half_ticks: i32) -> Option<f32> {
    garg_of_half_ticks(&GARG_FAST, half_ticks)
}

pub fn garg_slow_of_half_ticks(half_ticks: i32) -> Option<f32> {
    garg_of_half_ticks(&GARG_SLOW, half_ticks)
}

fn garg_of_half_ticks(array: &[i32; GARG_DATA_SIZE], half_ticks: i32) -> Option<f32> {
    if half_ticks % 2 == 0 {
        array
            .get((half_ticks / 2) as usize)
            .map(|v| *v as f32 / DIVISOR)
    } else {
        let (lower, higher) = (half_ticks - 1, half_ticks + 1);
        match (
            array.get((lower / 2) as usize),
            array.get((higher / 2) as usize),
        ) {
            (None, _) | (_, None) => None,
            (Some(lower_walk), Some(higher_walk)) => {
                Some((*lower_walk as f32 * 0.5 + *higher_walk as f32 * 0.5) / DIVISOR)
            }
        }
    }
}

pub fn min_max_garg_pos_of_imp_x(imp_x: i32) -> Option<(f32, f32)> {
    MIN_MAX_GARG_X_OF_IMP_POS
        .get((imp_x - MIN_IMP_X) as usize)
        .cloned()
}

// GARG_FAST and GARG_SLOW are provided by Reisen.
// See alumkal/pvz-interception-calculator

const GARG_FAST: [i32; GARG_DATA_SIZE] = [
    0, 10124, 20248, 30372, 40496, 50620, 60744, 70868, 80992, 91116, 101240, 111364, 121488,
    131612, 141736, 151860, 161984, 172108, 182232, 192356, 202480, 212604, 222728, 232852, 242976,
    253100, 263224, 273348, 283472, 293596, 303720, 313844, 323968, 334092, 344216, 354340, 364464,
    374588, 384712, 394836, 404960, 415084, 425208, 435332, 445456, 455356, 465256, 475156, 485056,
    494956, 504856, 514756, 524656, 534556, 544456, 554356, 564256, 574156, 584056, 593956, 604080,
    614204, 624328, 634452, 644576, 654700, 664824, 674948, 685072, 695196, 705320, 715444, 725568,
    735692, 745816, 752340, 758864, 765388, 771912, 778436, 784960, 791484, 798008, 804532, 811056,
    817580, 824104, 830628, 837152, 843676, 850426, 857176, 863926, 870676, 877426, 884176, 890926,
    897676, 904426, 911176, 917926, 924676, 931426, 938176, 944926, 951676, 958426, 965176, 971926,
    978676, 985426, 992176, 998926, 1005676, 1012426, 1019176, 1025926, 1032676, 1039426, 1045950,
    1052474, 1058998, 1065522, 1072046, 1078570, 1085094, 1091618, 1098142, 1104666, 1111190,
    1117714, 1124238, 1130762, 1137286, 1144036, 1150786, 1157536, 1164286, 1171036, 1177786,
    1184536, 1191286, 1198036, 1204786, 1211536, 1218286, 1225036, 1231786, 1238536, 1248436,
    1258336, 1268236, 1278136, 1288036, 1297936, 1307836, 1317736, 1327636, 1337536, 1347436,
    1357336, 1367236, 1377136, 1387036, 1396936, 1406836, 1416736, 1426636, 1436536, 1446436,
    1456336, 1466236, 1476136, 1486036, 1495936, 1505836, 1515736, 1525636, 1535536, 1545436,
    1555336, 1565236, 1575136, 1585036, 1594936, 1604836, 1614736, 1624636, 1634536, 1644436,
    1654336, 1664236, 1674136, 1684036, 1693936, 1703836, 1713736, 1723636, 1733536, 1743436,
    1753336, 1763236, 1773136, 1783036, 1792936, 1802836, 1812736, 1822636, 1832536, 1833436,
    1836272, 1837164, 1838056, 1838948, 1839840, 1840732, 1841624, 1842516, 1843408, 1844300,
    1845192, 1846084, 1846976, 1847868, 1848760, 1849652, 1850768, 1851884, 1853000, 1854116,
    1855232, 1856348, 1857464, 1858580, 1859696, 1860812, 1861928, 1863044, 1864160, 1865276,
    1866392, 1867284, 1868176, 1869068, 1869960, 1870852, 1871744, 1872636, 1873528, 1874420,
    1875312, 1876204, 1877096, 1877988, 1878880, 1879772, 1880888, 1882004, 1883120, 1884236,
    1885352, 1886468, 1887584, 1888700, 1889816, 1890932, 1892048, 1893164, 1894280, 1895396,
    1896512, 1897404, 1898296, 1899188, 1900080, 1900972, 1901864, 1902756, 1903648, 1904540,
    1905432, 1906324, 1907216, 1909456, 1913280, 1917104, 1920928, 1924752, 1928576, 1932400,
    1936224, 1940048, 1943872, 1947696, 1951520, 1955344, 1959168, 1962992, 1966816, 1970640,
    1974464, 1978288, 1982112, 1985936, 1989760, 1993584, 1997408, 2001232, 2005056, 2008880,
    2012704, 2016528, 2020352, 2024176, 2028000, 2031824, 2035648, 2039472, 2043296, 2047120,
    2050944, 2054768, 2058592, 2062416, 2066240, 2070064, 2073888, 2077712, 2081536, 2085360,
    2089184, 2093008, 2096832, 2100656, 2104480, 2108304, 2112128, 2115952, 2119776, 2123600,
    2127424, 2131248, 2135072, 2138896, 2142720, 2146544, 2150368, 2154192, 2158016, 2161840,
    2165664, 2169488, 2173312, 2177136, 2180960, 2184784, 2188608, 2194008, 2199408, 2204808,
    2210208, 2215608, 2221008, 2226408, 2231808, 2237208, 2242608, 2248008, 2253408, 2258808,
    2264208, 2269608, 2275008, 2280408, 2285808, 2291208, 2296608, 2302008, 2307408, 2312808,
    2318208, 2323608, 2329008, 2334408, 2339808, 2345208, 2350608, 2356008, 2361408, 2366808,
    2372208, 2377608, 2383008, 2388408, 2393808, 2399208, 2404608, 2410008, 2415408, 2420808,
    2426208, 2431608, 2437008, 2442408, 2447808, 2453208, 2458608, 2464008, 2469408, 2474808,
    2480208, 2485608, 2491008, 2496408, 2501808, 2507208, 2512608, 2518008, 2523408, 2528808,
    2534208, 2539608, 2545008, 2550408, 2555808, 2561208, 2566608, 2572008, 2577408, 2582808,
    2588208, 2593608, 2605532, 2617456, 2629380, 2641304, 2653228, 2665152, 2677076, 2689000,
    2700924, 2712848, 2724772, 2736696, 2748620, 2760544, 2772468, 2784618, 2796768, 2808918,
    2821068, 2833218, 2845368, 2857518, 2869668, 2881818, 2893968, 2906118, 2918268, 2930418,
    2942568, 2954718, 2966868, 2979018, 2991168, 3003318, 3015468, 3027618, 3039768, 3051918,
    3064068, 3076218, 3088368, 3100518, 3112668, 3124818, 3136968, 3149118, 3161268, 3173418,
    3185568, 3197718, 3209868, 3222018, 3234168, 3246318, 3258468, 3270618, 3282768, 3294918,
    3307068, 3319218, 3331368, 3343518, 3355668, 3367818, 3379968, 3392118, 3404268, 3416418,
    3428568, 3440718, 3452868, 3465018, 3477168, 3489318, 3499442, 3509566, 3519690, 3529814,
    3539938, 3550062, 3560186, 3570310, 3580434, 3590558, 3600682, 3610806, 3620930, 3631054,
    3641178, 3651078, 3660978, 3670878, 3680778, 3690678, 3700578, 3710478, 3720378, 3730278,
    3740178, 3750078, 3759978, 3769878, 3779778, 3789678, 3799802, 3809926, 3820050, 3830174,
    3840298, 3850422, 3860546, 3870670, 3880794, 3890918, 3901042, 3911166, 3921290, 3931414,
    3941538, 3951662, 3961786, 3971910, 3982034, 3992158, 4002282, 4012406, 4022530, 4032654,
    4042778, 4052902, 4063026, 4073150, 4083274, 4093100, 4096828, 4096828, 4096828, 4096828,
    4096828, 4096828, 4096828, 4096828, 4096828, 4096828, 4096828, 4096828, 4096828, 4096828,
    4096828, 4096828, 4096828, 4096828, 4096828, 4096828, 4096828, 4097950, 4097950, 4097950,
    4097950, 4097950, 4097950, 4097950, 4097950, 4097950, 4097950, 4097950, 4097950, 4097950,
    4097950, 4097950, 4097950, 4097950, 4097950, 4097950, 4097950, 4097950, 4097950, 4097950,
    4097950, 4097950, 4097950, 4097950, 4097950, 4097950, 4097950, 4097950, 4097950, 4097950,
    4097950, 4097950, 4097950, 4097950, 4097950, 4097950, 4097950, 4097950, 4097950, 4097950,
    4097950, 4097950, 4097950, 4097950, 4097950, 4097950, 4097950, 4097950, 4097960, 4097960,
    4097960, 4097960, 4098624, 4099522, 4100420, 4101318, 4102216, 4103114, 4104012, 4104910,
    4105808, 4106706, 4107604, 4108502, 4109400, 4110298, 4111196, 4112094, 4112992, 4113890,
    4114788, 4115686, 4116584, 4117482, 4118380, 4119278, 4120176, 4121074, 4121972, 4122870,
    4123768, 4124218, 4124668, 4125118, 4125568, 4126018, 4126468, 4126918, 4127368, 4127818,
    4128268, 4128718, 4129168, 4129618, 4130068, 4130518, 4131416, 4132314, 4133212, 4134110,
    4135008, 4135906, 4136804, 4137702, 4138600, 4139498, 4140396, 4141294, 4142192, 4143090,
    4143988, 4144886, 4145784, 4146682, 4147580, 4148478, 4149376, 4150274, 4151172, 4152070,
    4152968, 4153866, 4154764, 4155662, 4163524, 4173648, 4183772, 4193896, 4204020, 4214144,
    4224268, 4234392, 4244516, 4254640, 4264764, 4274888, 4285012, 4295136, 4305260, 4315384,
    4325508, 4335632, 4345756, 4355880, 4366004, 4376128, 4386252, 4396376, 4406500, 4416624,
    4426748, 4436872, 4446996, 4457120, 4467244, 4477368, 4487492, 4497616, 4507740, 4517864,
    4527988, 4538112, 4548236, 4558360, 4568484, 4578608, 4588732, 4598856, 4608980, 4618878,
    4628776, 4638674, 4648572, 4658470, 4668368, 4678266, 4688164, 4698062, 4707960, 4717858,
    4727756, 4737654, 4747552, 4757450, 4767574, 4777698, 4787822, 4797946, 4808070, 4818194,
    4828318, 4838442, 4848566, 4858690, 4868814, 4878938, 4889062, 4899186, 4909310, 4915834,
    4922358, 4928882, 4935406, 4941930, 4948454, 4954978, 4961502, 4968026, 4974550, 4981074,
    4987598, 4994122, 5000646, 5007396, 5014146, 5020896, 5027646, 5034396, 5041146, 5047896,
    5054646, 5061396, 5068146, 5074896, 5081646, 5088396, 5095146, 5101896, 5108646, 5115396,
    5122146, 5128896, 5135646, 5142396, 5149146, 5155896, 5162646, 5169396, 5176146, 5182896,
    5189646, 5196396, 5203146, 5209670, 5216194, 5222718, 5229242, 5235766, 5242290, 5248814,
    5255338, 5261862, 5268386, 5274910, 5281434, 5287958, 5294482, 5301006, 5307756, 5314506,
    5321256, 5328006, 5334756, 5341506, 5348256, 5355006, 5361756, 5368506, 5375256, 5382006,
    5388756, 5395506, 5402256, 5412154, 5422052, 5431950, 5441848, 5451746, 5461644, 5471542,
    5481440, 5491338, 5501236, 5511134, 5521032, 5530930, 5540828, 5550726, 5560624, 5570522,
    5580420, 5590318, 5600216, 5610114, 5620012, 5629910, 5639808, 5649706, 5659604, 5669502,
    5679400, 5689298, 5699196, 5709094, 5718992, 5728890, 5738788, 5748686, 5758584, 5768482,
    5778380, 5788278, 5798176, 5808074, 5817972, 5827870, 5837768, 5847666, 5857564, 5867462,
    5877360, 5887258, 5897156, 5907054, 5916952, 5926850, 5936748, 5946646, 5956544, 5966442,
    5976340, 5986238, 5994658, 5995902, 5996800, 5997698, 5998596, 5999494, 6000392, 6001290,
    6002188, 6003086, 6003984, 6004882, 6005780, 6006678, 6007576, 6008474, 6009506, 6010630,
    6011754, 6012878, 6014002, 6015126, 6016250, 6017374, 6018498, 6019622, 6020746, 6021870,
    6022994, 6024118, 6025080, 6026202, 6027100, 6027998, 6028896, 6029794, 6030692, 6031590,
    6032488, 6033386, 6034284, 6035182, 6036080, 6036978, 6037876, 6038774, 6039866, 6040990,
    6042114, 6043238, 6044362, 6045486, 6046610, 6047734, 6048858, 6049982, 6051106, 6052230,
    6053354, 6054478, 6055380, 6056502, 6057400, 6058298, 6059196, 6060094, 6060992, 6061890,
    6062788, 6063686, 6064584, 6065482, 6066380, 6067278, 6068176, 6071802, 6075626, 6079450,
    6083274, 6087098, 6090922, 6094746, 6098570, 6102394, 6106218, 6110042, 6113866, 6117690,
    6121514, 6125338, 6129162, 6132986, 6136810, 6140634, 6144458, 6148282, 6152106, 6155930,
    6159754, 6163578, 6167402, 6171226, 6175050, 6178874, 6182698, 6186522, 6190346, 6194170,
    6197994, 6201818, 6205642, 6209466, 6213290, 6217114, 6220938, 6224762, 6228586, 6232410,
    6236234, 6240058, 6243882, 6247706, 6251530, 6255354, 6259178, 6263002, 6266826, 6270650,
    6274474, 6278298, 6282122, 6285946, 6289770, 6293594, 6297418, 6301242, 6305066, 6308890,
    6312714, 6316538, 6320362, 6324186, 6328010, 6331834, 6335658, 6339482, 6343306, 6347130,
    6350954, 6356352, 6361750, 6367148, 6372546, 6377944, 6383342, 6388740, 6394138, 6399536,
    6404934, 6410332, 6415730, 6421128, 6426526, 6431924, 6437322, 6442720, 6448118, 6453516,
    6458914, 6464312, 6469710, 6475108, 6480506, 6485904, 6491302, 6496700, 6502098, 6507496,
    6512894, 6518292, 6523690, 6529088, 6534486, 6539884, 6545282, 6550680, 6556078, 6561476,
    6566874, 6572272, 6577670, 6583068, 6588466, 6593864, 6599262, 6604660, 6610058, 6615456,
    6620854, 6626252, 6631650, 6637048, 6642446, 6647844, 6653242, 6658640, 6664038, 6669436,
    6674834, 6680232, 6685630, 6691028, 6696426, 6701824, 6707222, 6712620, 6718018, 6723416,
    6728814, 6734212, 6739610, 6745008, 6750406, 6755804, 6767726, 6779648, 6791570, 6803492,
    6815414, 6827336, 6839258, 6851180, 6863102, 6875024, 6886946, 6898868, 6910790, 6922712,
    6934858, 6947004, 6959150, 6971296, 6983442, 6995588, 7007734, 7019880, 7032026, 7044172,
    7056318, 7068464, 7080610, 7092756, 7104902, 7117048, 7129194, 7141340, 7153486, 7165632,
    7177778, 7189924, 7202070, 7214216, 7226362, 7238508, 7250654, 7262800, 7274946, 7287092,
    7299238, 7311384, 7323530, 7335676, 7347822, 7359968, 7372114, 7384260, 7396406, 7408552,
    7420698, 7432844, 7444990, 7457136, 7469282, 7481428, 7493574, 7505720, 7517866, 7530012,
    7542158, 7554304, 7566450, 7578596, 7590742, 7602888, 7615034, 7627180, 7639326, 7651472,
    7661594, 7671716, 7681838, 7691960, 7702082, 7712204, 7722326, 7732448, 7742570, 7752692,
    7762814, 7772936, 7783058, 7793180, 7803302, 7813200, 7823098, 7832996, 7842894, 7852792,
    7862690, 7872588, 7882486, 7892384, 7902282, 7912180, 7922078, 7931976, 7941874, 7951772,
    7961894, 7972016, 7982138, 7992260, 8002382, 8012504, 8022626, 8032748, 8042870, 8052992,
    8063114, 8073236, 8083358, 8093480, 8103602, 8113724, 8123846, 8133968, 8144090, 8154212,
    8164334, 8174456, 8184578, 8194700, 8204822, 8214944, 8225066, 8235188, 8245310, 8254668,
    8254668, 8260334, 8260334, 8260334, 8260334, 8260334, 8260334, 8260334, 8260334, 8260334,
    8260334, 8260334, 8260334, 8260334, 8260334, 8260334, 8260334, 8260334, 8260334, 8260334,
    8260334, 8260334, 8260334, 8260334, 8260334, 8260334, 8260334, 8260334, 8260334, 8260334,
    8260334, 8260334, 8260334, 8260334, 8260334, 8260678, 8260678, 8260678, 8260678, 8260678,
    8260678, 8260678, 8260678, 8260678, 8260678, 8260678, 8260678, 8260678, 8260678, 8260678,
    8260678, 8260678, 8260678, 8260678, 8260678, 8260678, 8260678, 8260678, 8260678, 8260678,
    8260678, 8260678, 8260678, 8260678, 8260678, 8260678, 8260678, 8260678, 8260678, 8260678,
    8260678, 8260678, 8260678, 8260678, 8260678, 8260678, 8261232, 8262130, 8263028, 8263926,
    8264824, 8265722, 8266620, 8267518, 8268416, 8269314, 8270212, 8271110, 8272008, 8272906,
    8273804, 8274702, 8275600, 8276498, 8277396, 8278294, 8279192, 8280090, 8280988, 8281886,
    8282784, 8283682, 8284580, 8285478, 8286376, 8287274, 8287724, 8288174, 8288624, 8289074,
    8289524, 8289974, 8290424, 8290874, 8291324, 8291774, 8292224, 8292674, 8293124, 8293574,
    8294024, 8294922, 8295820, 8296718, 8297616, 8298514, 8299412, 8300310, 8301208, 8302106,
    8303004, 8303902, 8304800, 8305698, 8306596, 8307494, 8308392, 8309290, 8310188, 8311086,
    8311984, 8312882, 8313780, 8314678, 8315576, 8316474, 8317372, 8318270, 8325090, 8335212,
    8345334, 8355456, 8365578, 8375700, 8385822, 8395944, 8406066, 8416188, 8426310, 8436432,
    8446554, 8456676, 8466798, 8476920, 8487042, 8497164, 8507286, 8517408, 8527530, 8537652,
    8547774, 8557896, 8568018, 8578140, 8588262, 8598384, 8608506, 8618628, 8628750, 8638872,
    8648994, 8659116, 8669238, 8679360, 8689482, 8699604, 8709726, 8719848, 8729970, 8740092,
    8750214, 8760336, 8770458, 8780354, 8790250, 8800146, 8810042, 8819938, 8829834, 8839730,
    8849626, 8859522, 8869418, 8879314, 8889210, 8899106, 8909002, 8918898, 8929020, 8939142,
    8949264, 8959386, 8969508, 8979630, 8989752, 8999874, 9009996, 9020118, 9030240, 9040362,
    9050484, 9060606, 9070728, 9077250, 9083772, 9090294, 9096816, 9103338, 9109860, 9116382,
    9122904, 9129426, 9135948, 9142470, 9148992, 9155514, 9162036, 9168784, 9175532, 9182280,
    9189028, 9195776, 9202524, 9209272, 9216020, 9222768, 9229516, 9236264, 9243012, 9249760,
    9256508, 9263256, 9270004, 9276752, 9283500, 9290248, 9296996, 9303744, 9310492, 9317240,
    9323988, 9330736, 9337484, 9344232, 9350980, 9357728, 9364476, 9370998, 9377520, 9384042,
    9390564, 9397086, 9403608, 9410130, 9416652, 9423174, 9429696, 9436218, 9442740, 9449262,
    9455784, 9462306, 9469054, 9475802, 9482550, 9489298, 9496046, 9502794, 9509542, 9516290,
    9523038, 9529786, 9536534, 9543282, 9550030, 9556778, 9563526, 9573422, 9583318, 9593214,
    9603110, 9613006, 9622902, 9632798, 9642694, 9652590, 9662486, 9672382, 9682278, 9692174,
    9702070, 9711966, 9721862, 9731758, 9741654, 9751550, 9761446, 9771342, 9781238, 9791134,
    9801030, 9810926, 9820822, 9830718, 9840614, 9850510, 9860406, 9870302, 9880198, 9890094,
    9899990, 9909886, 9919782, 9929678, 9939574, 9949470, 9959366, 9969262, 9979158, 9989054,
    9998950, 10008846, 10018742, 10028638, 10038534, 10048430, 10058326, 10068222, 10078118,
    10088014, 10097910, 10107806, 10117702, 10127598, 10137494, 10147390, 10156610, 10157510,
    10159408, 10160306, 10161204, 10162102, 10163000, 10163898, 10164796, 10165694, 10166592,
    10167490, 10168388, 10169286, 10170184, 10171082, 10171980, 10172878, 10174000, 10175122,
    10176244, 10177366, 10178488, 10179610, 10180732, 10181854, 10182976, 10184098, 10185220,
    10186342, 10187464, 10188586, 10189708, 10190606, 10191504, 10192402, 10193300, 10194198,
    10195096, 10195994, 10196892, 10197790, 10198688, 10199586, 10200484, 10201382, 10202280,
    10203178, 10204300, 10205422, 10206544, 10207666, 10208788, 10209910, 10211032, 10212154,
    10213276, 10214398, 10215520, 10216642, 10217764, 10218886, 10220008, 10220906, 10221804,
    10222702, 10223600, 10224498, 10225396, 10226294, 10227192, 10228090, 10228988, 10229886,
    10230784, 10233754, 10237578, 10241402, 10245226, 10249050, 10252874, 10256698, 10260522,
    10264346, 10268170, 10271994, 10275818, 10279642, 10283466, 10287290, 10291114, 10294938,
    10298762, 10302586, 10306410, 10310234, 10314058, 10317882, 10321706, 10325530, 10329354,
    10333178, 10337002, 10340826, 10344650, 10348474, 10352298, 10356122, 10359946, 10363770,
    10367594, 10371418, 10375242, 10379066, 10382890, 10386714, 10390538, 10394362, 10398186,
    10402010, 10405834, 10409658, 10413482, 10417306, 10421130, 10424954, 10428778, 10432602,
    10436426, 10440250, 10444074, 10447898, 10451722, 10455546, 10459370, 10463194, 10467018,
    10470842, 10474666, 10478490, 10482314, 10486138, 10489962, 10493786, 10497610, 10501434,
    10505258, 10509082, 10512906, 10518304, 10523702, 10529100, 10534498, 10539896, 10545294,
    10550692, 10556090, 10561488, 10566886, 10572284, 10577682, 10583080, 10588478, 10593876,
    10599274, 10604672, 10610070, 10615468, 10620866, 10626264, 10631662, 10637060, 10642458,
    10647856, 10653254, 10658652, 10664050, 10669448, 10674846, 10680244, 10685642, 10691040,
    10696438, 10701836, 10707234, 10712632, 10718030, 10723428, 10728826, 10734224, 10739622,
    10745020, 10750418, 10755816, 10761214, 10766612, 10772010, 10777408, 10782806, 10788204,
    10793602, 10799000, 10804398, 10809796, 10815194, 10820592, 10825990, 10831388, 10836786,
    10842184, 10847582, 10852980, 10858378, 10863776, 10869174, 10874572, 10879970, 10885368,
    10890766, 10896164, 10901562, 10906960, 10912358, 10917756, 10929676, 10941596, 10953516,
    10965436, 10977356, 10989276, 11001196, 11013116, 11025036, 11036956, 11048876, 11060796,
    11072716, 11084636, 11096781, 11108926, 11121071, 11133216, 11145361, 11157506, 11169651,
    11181796, 11193941, 11206086, 11218231, 11230376, 11242521, 11254666, 11266811, 11278956,
    11291101, 11303246, 11315391, 11327536, 11339681, 11351826, 11363971, 11376116, 11388261,
    11400406, 11412551, 11424696, 11436841, 11448986, 11461131, 11473276, 11485421, 11497566,
    11509711, 11521856, 11534001, 11546146, 11558291, 11570436, 11582581, 11594726, 11606871,
    11619016, 11631161, 11643306, 11655451, 11667596, 11679741, 11691886, 11704031, 11716176,
    11728321, 11740466, 11752611, 11764756, 11776901, 11789046, 11801191, 11813336, 11823457,
    11833578, 11843699, 11853820, 11863941, 11874062, 11884183, 11894304, 11904425, 11914546,
    11924667, 11934788, 11944909, 11955030, 11965151, 11975047, 11984943, 11994839, 12004735,
    12014631, 12024527, 12034423, 12044319, 12054215, 12064111, 12074007, 12083903, 12093799,
    12103695, 12113591, 12123712, 12133833, 12143954, 12154075, 12164196, 12174317, 12184438,
    12194559, 12204680, 12214801, 12224922, 12235043, 12245164, 12255285, 12265406, 12275527,
    12285648, 12295769, 12305890, 12316011, 12326132, 12336253, 12346374, 12356495, 12366616,
    12376737, 12386858, 12396979, 12407100, 12415998, 12415998, 12416819, 12424005, 12424005,
    12424005, 12424005, 12424005, 12424005, 12424005, 12424005, 12424005, 12424005, 12424005,
    12424005, 12424005, 12424005, 12424005, 12424005, 12424005, 12424005, 12424005, 12424005,
    12424005, 12424005, 12424005, 12424005, 12424005, 12424005, 12424005, 12424005, 12424005,
    12424005, 12424005, 12424005, 12424005, 12424005, 12424005, 12424005, 12424005, 12424005,
    12424005, 12424005, 12424005, 12424005, 12424005, 12424005, 12424005, 12424005, 12424005,
    12424005, 12424005, 12424005, 12424005, 12424005, 12424005, 12425866, 12425866, 12425866,
    12425866, 12425866, 12425866, 12425866, 12425866, 12425866, 12425866, 12425866, 12425866,
    12425866, 12425866, 12425866, 12425866, 12425866, 12425866, 12425866, 12425866, 12425866,
    12425866, 12425866, 12425866, 12426699, 12427597, 12428495, 12429393, 12430291, 12431189,
    12432087, 12432985, 12433883, 12434781, 12435679, 12436577, 12437475, 12438373, 12439271,
    12440169, 12441067, 12441965, 12442863, 12443761, 12444659, 12445557, 12446455, 12447353,
    12448251, 12449149, 12450047, 12450945, 12451394, 12451843, 12452292, 12452741, 12453190,
    12453639, 12454088, 12454537, 12454986, 12455435, 12455884, 12456333, 12456782, 12457231,
    12457680, 12458578, 12459476, 12460374, 12461272, 12462170, 12463068, 12463966, 12464864,
    12465762, 12466660, 12467558, 12468456, 12469354, 12470252, 12471150, 12472048, 12472946,
    12473844, 12474742, 12475640, 12476538, 12477436, 12478334, 12479232, 12480130, 12481028,
    12485969, 12496090, 12506211, 12516332, 12526453, 12536574, 12546695, 12556816, 12566937,
    12577058, 12587179, 12597300, 12607421, 12617542, 12627663, 12637784, 12647905, 12658026,
    12668147, 12678268, 12688389, 12698510, 12708631, 12718752, 12728873, 12738994, 12749115,
    12759236, 12769357, 12779478, 12789599, 12799720, 12809841, 12819962, 12830083, 12840204,
    12850325, 12860446, 12870567, 12880688, 12890809, 12900930, 12911051, 12921172, 12931293,
    12941189, 12951085, 12960981, 12970877, 12980773, 12990669, 13000565, 13010461, 13020357,
    13030253, 13040149, 13050045, 13059941, 13069837, 13079733, 13089854, 13099975, 13110096,
    13120217, 13130338, 13140459, 13150580, 13160701, 13170822, 13180943, 13191064, 13201185,
    13211306, 13221427, 13231548, 13238070, 13244592, 13251114, 13257636, 13264158, 13270680,
    13277202, 13283724, 13290246, 13296768, 13303290, 13309812, 13316334, 13322856, 13329603,
    13336350, 13343097, 13349844, 13356591, 13363338, 13370085, 13376832, 13383579, 13390326,
    13397073, 13403820, 13410567, 13417314, 13424061, 13430808, 13437555, 13444302, 13451049,
    13457796, 13464543, 13471290, 13478037, 13484784, 13491531, 13498278, 13505025, 13511772,
    13518519, 13525266, 13531788, 13538310, 13544832, 13551354, 13557876, 13564398, 13570920,
    13577442, 13583964, 13590486, 13597008, 13603530, 13610052, 13616574, 13623096, 13629843,
    13636590, 13643337, 13650084, 13656831, 13663578, 13670325, 13677072, 13683819, 13690566,
    13697313, 13704060, 13710807, 13717554, 13724301, 13734197, 13744093, 13753989, 13763885,
    13773781, 13783677, 13793573, 13803469, 13813365, 13823261, 13833157, 13843053, 13852949,
    13862845, 13872741, 13882637, 13892533, 13902429, 13912325, 13922221, 13932117, 13942013,
    13951909, 13961805, 13971701, 13981597, 13991493, 14001389, 14011285, 14021181, 14031077,
    14040973, 14050869, 14060765, 14070661, 14080557, 14090453, 14100349, 14110245, 14120141,
    14130037, 14139933, 14149829, 14159725, 14169621, 14179517, 14189413, 14199309, 14209205,
    14219101, 14228997, 14238893, 14248789, 14258685, 14268581, 14278477, 14288373, 14298269,
    14308165, 14317836, 14318736, 14319636, 14322975, 14323873, 14324771, 14325669, 14326567,
    14327465, 14328363, 14329261, 14330159, 14331057, 14331955, 14332853, 14333751, 14334649,
    14335547, 14336445, 14337568, 14338691, 14339814, 14340937, 14342060, 14343183, 14344306,
    14345429, 14346552, 14347675, 14348798, 14349921, 14351044, 14352167, 14353290, 14354188,
    14355086, 14355984, 14356882, 14357780, 14358678, 14359576, 14360474, 14361372, 14362270,
    14363168, 14364066, 14364964, 14365862, 14366760, 14367883, 14369006, 14370129, 14371252,
    14372375, 14373498, 14374621, 14375744, 14376867, 14377990, 14379113, 14380236, 14381359,
    14382482, 14383605, 14384503, 14385401, 14386299, 14387197, 14388095, 14388993, 14389891,
    14390789, 14391687, 14392585, 14393483, 14395009, 14398832, 14402655, 14406478, 14410301,
    14414124, 14417947, 14421770, 14425593, 14429416, 14433239, 14437062, 14440885, 14444708,
    14448531, 14452354, 14456177, 14460000, 14463823, 14467646, 14471469, 14475292, 14479115,
    14482938, 14486761, 14490584, 14494407, 14498230, 14502053, 14505876, 14509699, 14513522,
    14517345, 14521168, 14524991, 14528814, 14532637, 14536460, 14540283, 14544106, 14547929,
    14551752, 14555575, 14559398, 14563221, 14567044, 14570867, 14574690, 14578513, 14582336,
    14586159, 14589982, 14593805, 14597628, 14601451, 14605274, 14609097, 14612920, 14616743,
    14620566, 14624389, 14628212, 14632035, 14635858, 14639681, 14643504, 14647327, 14651150,
    14654973, 14658796, 14662619, 14666442, 14670265, 14674088, 14679486, 14684884,
];

const GARG_SLOW: [i32; GARG_DATA_SIZE] = [
    0, 6294, 12588, 18882, 25176, 31470, 37764, 44058, 50352, 56646, 62940, 69234, 75528, 81822,
    88116, 94410, 100704, 106998, 113292, 119586, 125880, 132174, 138468, 144762, 151056, 157350,
    163644, 169938, 176232, 182526, 188820, 195114, 201408, 207702, 213996, 220290, 226584, 232878,
    239172, 245466, 251760, 258054, 264348, 270642, 276936, 283230, 289524, 295818, 302112, 308406,
    314700, 320994, 327288, 333582, 339876, 346170, 352464, 358758, 365052, 371346, 377640, 383934,
    390228, 396522, 402816, 409110, 415404, 421698, 427992, 434286, 440580, 446874, 453028, 459182,
    465336, 471490, 477644, 483798, 489952, 496106, 502260, 508414, 514568, 520722, 526876, 533030,
    539184, 545338, 551492, 557646, 563800, 569954, 576108, 582262, 588416, 594570, 600864, 607158,
    613452, 619746, 626040, 632334, 638628, 644922, 651216, 657510, 663804, 670098, 676392, 682686,
    688980, 695274, 701568, 707862, 714156, 720450, 726744, 733038, 739332, 745626, 749682, 753738,
    757794, 761850, 765906, 769962, 774018, 778074, 782130, 786186, 790242, 794298, 798354, 802410,
    806466, 810522, 814578, 818634, 822690, 826746, 830802, 834858, 838914, 842970, 847166, 851362,
    855558, 859754, 863950, 868146, 872342, 876538, 880734, 884930, 889126, 893322, 897518, 901714,
    905910, 910106, 914302, 918498, 922694, 926890, 931086, 935282, 939478, 943674, 947870, 952066,
    956262, 960458, 964654, 968850, 973046, 977242, 981438, 985634, 989830, 994026, 998222,
    1002418, 1006614, 1010810, 1015006, 1019202, 1023398, 1027594, 1031790, 1035986, 1040182,
    1044378, 1048434, 1052490, 1056546, 1060602, 1064658, 1068714, 1072770, 1076826, 1080882,
    1084938, 1088994, 1093050, 1097106, 1101162, 1105218, 1109274, 1113330, 1117386, 1121442,
    1125498, 1129554, 1133610, 1137666, 1141722, 1145918, 1150114, 1154310, 1158506, 1162702,
    1166898, 1171094, 1175290, 1179486, 1183682, 1187878, 1192074, 1196270, 1200466, 1204662,
    1208858, 1213054, 1217250, 1221446, 1225642, 1229838, 1234034, 1238230, 1242426, 1248580,
    1254734, 1260888, 1267042, 1273196, 1279350, 1285504, 1291658, 1297812, 1303966, 1310120,
    1316274, 1322428, 1328582, 1334736, 1340890, 1347044, 1353198, 1359352, 1365506, 1371660,
    1377814, 1383968, 1390122, 1396276, 1402430, 1408584, 1414738, 1420892, 1427046, 1433200,
    1439354, 1445508, 1451662, 1457816, 1463970, 1470124, 1476278, 1482432, 1488586, 1494740,
    1500894, 1507048, 1513202, 1519356, 1525510, 1531664, 1537818, 1543972, 1550126, 1556280,
    1562434, 1568588, 1574742, 1580896, 1587050, 1593204, 1599358, 1605512, 1611666, 1617820,
    1623974, 1630128, 1636282, 1642436, 1648590, 1654744, 1660898, 1667052, 1673206, 1679360,
    1685514, 1691668, 1697822, 1703976, 1710130, 1716284, 1722438, 1728592, 1734746, 1740900,
    1747054, 1753208, 1759362, 1765516, 1771670, 1777824, 1783978, 1790132, 1796286, 1802440,
    1808594, 1814748, 1820902, 1827056, 1827616, 1828176, 1828736, 1829296, 1829856, 1830416,
    1830976, 1831536, 1832096, 1832656, 1833216, 1833776, 1834336, 1834896, 1835456, 1836016,
    1836576, 1837136, 1837696, 1838256, 1838816, 1839376, 1839936, 1840496, 1841196, 1841896,
    1842596, 1843296, 1843996, 1844696, 1845396, 1846096, 1846796, 1847496, 1848196, 1848896,
    1849596, 1850296, 1850996, 1851696, 1852396, 1853096, 1853796, 1854496, 1855196, 1855896,
    1856596, 1857296, 1857856, 1858416, 1858976, 1859536, 1860096, 1860656, 1861216, 1861776,
    1862336, 1862896, 1863456, 1864016, 1864576, 1865136, 1865696, 1866256, 1866816, 1867376,
    1867936, 1868496, 1869056, 1869616, 1870176, 1870736, 1871436, 1872136, 1872836, 1873536,
    1874236, 1874936, 1875636, 1876336, 1877036, 1877736, 1878436, 1879136, 1879836, 1880536,
    1881236, 1881936, 1882636, 1883336, 1884036, 1884736, 1885436, 1886136, 1886836, 1887536,
    1888096, 1888656, 1889216, 1889776, 1890336, 1890896, 1891456, 1892016, 1892576, 1893136,
    1893696, 1894256, 1894816, 1895376, 1895936, 1896496, 1897056, 1897616, 1898176, 1898736,
    1899296, 1899856, 1900416, 1900976, 1903354, 1905732, 1908110, 1910488, 1912866, 1915244,
    1917622, 1920000, 1922378, 1924756, 1927134, 1929512, 1931890, 1934268, 1936646, 1939024,
    1941402, 1943780, 1946158, 1948536, 1950914, 1953292, 1955670, 1958048, 1960426, 1962804,
    1965182, 1967560, 1969938, 1972316, 1974694, 1977072, 1979450, 1981828, 1984206, 1986584,
    1988962, 1991340, 1993718, 1996096, 1998474, 2000852, 2003230, 2005608, 2007986, 2010364,
    2012742, 2015120, 2017498, 2019876, 2022254, 2024632, 2027010, 2029388, 2031766, 2034144,
    2036522, 2038900, 2041278, 2043656, 2046034, 2048412, 2050790, 2053168, 2055546, 2057924,
    2060302, 2062680, 2065058, 2067436, 2069814, 2072192, 2074570, 2076948, 2079326, 2081704,
    2084082, 2086460, 2088838, 2091216, 2093594, 2095972, 2098350, 2100728, 2103106, 2105484,
    2107862, 2110240, 2112618, 2114996, 2117374, 2119752, 2122130, 2124508, 2126886, 2129264,
    2131642, 2134020, 2136398, 2138776, 2141154, 2143532, 2145910, 2148288, 2150666, 2153044,
    2155422, 2157800, 2160178, 2162556, 2164934, 2167312, 2169690, 2172068, 2174446, 2176824,
    2179202, 2181580, 2183958, 2186336, 2189692, 2193048, 2196404, 2199760, 2203116, 2206472,
    2209828, 2213184, 2216540, 2219896, 2223252, 2226608, 2229964, 2233320, 2236676, 2240032,
    2243388, 2246744, 2250100, 2253456, 2256812, 2260168, 2263524, 2266880, 2270236, 2273592,
    2276948, 2280304, 2283660, 2287016, 2290372, 2293728, 2297084, 2300440, 2303796, 2307152,
    2310508, 2313864, 2317220, 2320576, 2323932, 2327288, 2330644, 2334000, 2337356, 2340712,
    2344068, 2347424, 2350780, 2354136, 2357492, 2360848, 2364204, 2367560, 2370916, 2374272,
    2377628, 2380984, 2384340, 2387696, 2391052, 2394408, 2397764, 2401120, 2404476, 2407832,
    2411188, 2414544, 2417900, 2421256, 2424612, 2427968, 2431324, 2434680, 2438036, 2441392,
    2444748, 2448104, 2451460, 2454816, 2458172, 2461528, 2464884, 2468240, 2471596, 2474952,
    2478308, 2481664, 2485020, 2488376, 2491732, 2495088, 2498444, 2501800, 2505156, 2508512,
    2511868, 2515224, 2518580, 2521936, 2525292, 2528648, 2532004, 2535360, 2538716, 2542072,
    2545428, 2548784, 2552140, 2555496, 2558852, 2562208, 2565564, 2568920, 2572276, 2575632,
    2578988, 2582344, 2585700, 2593112, 2600524, 2607936, 2615348, 2622760, 2630172, 2637584,
    2644996, 2652408, 2659820, 2667232, 2674644, 2682056, 2689468, 2696880, 2704292, 2711704,
    2719116, 2726528, 2733940, 2741352, 2748764, 2756176, 2763588, 2771140, 2778692, 2786244,
    2793796, 2801348, 2808900, 2816452, 2824004, 2831556, 2839108, 2846660, 2854212, 2861764,
    2869316, 2876868, 2884420, 2891972, 2899524, 2907076, 2914628, 2922180, 2929732, 2937284,
    2944836, 2952388, 2959940, 2967492, 2975044, 2982596, 2990148, 2997700, 3005252, 3012804,
    3020356, 3027908, 3035460, 3043012, 3050564, 3058116, 3065668, 3073220, 3080772, 3088324,
    3095876, 3103428, 3110980, 3118532, 3126084, 3133636, 3141188, 3148740, 3156292, 3163844,
    3171396, 3178948, 3186500, 3194052, 3201604, 3209156, 3216708, 3224260, 3231812, 3239364,
    3246916, 3254468, 3262020, 3269572, 3277124, 3284676, 3292228, 3299780, 3307332, 3314884,
    3322436, 3329988, 3337540, 3345092, 3352644, 3360196, 3367748, 3375300, 3382852, 3390404,
    3397956, 3405508, 3413060, 3420612, 3428164, 3435716, 3443268, 3450820, 3458372, 3465924,
    3473476, 3481028, 3488580, 3494874, 3501168, 3507462, 3513756, 3520050, 3526344, 3532638,
    3538932, 3545226, 3551520, 3557814, 3564108, 3570402, 3576696, 3582990, 3589284, 3595578,
    3601872, 3608166, 3614460, 3620754, 3627048, 3633342, 3639636, 3645790, 3651944, 3658098,
    3664252, 3670406, 3676560, 3682714, 3688868, 3695022, 3701176, 3707330, 3713484, 3719638,
    3725792, 3731946, 3738100, 3744254, 3750408, 3756562, 3762716, 3768870, 3775024, 3781178,
    3787332, 3793626, 3799920, 3806214, 3812508, 3818802, 3825096, 3831390, 3837684, 3843978,
    3850272, 3856566, 3862860, 3869154, 3875448, 3881742, 3888036, 3894330, 3900624, 3906918,
    3913212, 3919506, 3925800, 3932094, 3938388, 3944682, 3950976, 3957270, 3963564, 3969858,
    3976152, 3982446, 3988740, 3995034, 4001328, 4007622, 4013916, 4020210, 4026504, 4032798,
    4039092, 4045386, 4051680, 4057974, 4064268, 4070562, 4076856, 4078424, 4078424, 4078424,
    4078424, 4078424, 4078898, 4078898, 4078898, 4078898, 4078898, 4078898, 4078898, 4078898,
    4078898, 4078898, 4078898, 4078898, 4078898, 4078898, 4078898, 4078898, 4078898, 4078898,
    4078898, 4078898, 4078898, 4078898, 4078898, 4078898, 4078898, 4078898, 4078898, 4078898,
    4078898, 4078898, 4078898, 4078898, 4078898, 4078898, 4078898, 4078898, 4078898, 4078898,
    4078898, 4078898, 4078898, 4078898, 4078898, 4079500, 4079632, 4079632, 4079632, 4079632,
    4079632, 4079632, 4079632, 4079632, 4079632, 4079632, 4079632, 4079632, 4079632, 4079632,
    4079632, 4079632, 4079632, 4079632, 4079632, 4079632, 4079632, 4079632, 4079632, 4079632,
    4079632, 4079632, 4079632, 4079632, 4079632, 4079632, 4079632, 4079632, 4079632, 4079632,
    4079632, 4079632, 4079632, 4079632, 4079632, 4079632, 4079632, 4079632, 4080208, 4080220,
    4080220, 4080220, 4080220, 4080220, 4080220, 4080220, 4080220, 4080220, 4080220, 4080220,
    4080220, 4080220, 4080788, 4081164, 4081164, 4081164, 4081164, 4081164, 4081164, 4081164,
    4081164, 4081728, 4082292, 4082856, 4083150, 4083150, 4083150, 4083150, 4083710, 4084270,
    4084830, 4085390, 4085950, 4086510, 4087070, 4087630, 4088190, 4088750, 4089310, 4089870,
    4090430, 4090990, 4091550, 4092110, 4092670, 4093230, 4093790, 4094350, 4094910, 4095470,
    4096030, 4096590, 4097150, 4097710, 4098270, 4098830, 4099390, 4099950, 4100510, 4101070,
    4101630, 4102190, 4102750, 4103310, 4103870, 4104430, 4104990, 4105550, 4106110, 4106670,
    4107230, 4107790, 4108350, 4108910, 4109470, 4110030, 4110310, 4110590, 4110870, 4111150,
    4111430, 4111710, 4111990, 4112270, 4112550, 4112830, 4113110, 4113390, 4113670, 4113950,
    4114230, 4114510, 4114790, 4115070, 4115350, 4115630, 4115910, 4116190, 4116470, 4116750,
    4117310, 4117870, 4118430, 4118990, 4119550, 4120110, 4120670, 4121230, 4121790, 4122350,
    4122910, 4123470, 4124030, 4124590, 4125150, 4125710, 4126270, 4126830, 4127390, 4127950,
    4128510, 4129070, 4129630, 4130190, 4130750, 4131310, 4131870, 4132430, 4132990, 4133550,
    4134110, 4134670, 4135230, 4135790, 4136350, 4136910, 4137470, 4138030, 4138590, 4139150,
    4139710, 4140270, 4140830, 4141390, 4141950, 4142510, 4143070, 4143630, 4149924, 4156218,
    4162512, 4168806, 4175100, 4181394, 4187688, 4193982, 4200276, 4206570, 4212864, 4219158,
    4225452, 4231746, 4238040, 4244334, 4250628, 4256922, 4263216, 4269510, 4275804, 4282098,
    4288392, 4294686, 4300980, 4307274, 4313568, 4319862, 4326156, 4332450, 4338744, 4345038,
    4351332, 4357626, 4363920, 4370214, 4376508, 4382802, 4389096, 4395390, 4401684, 4407978,
    4414272, 4420566, 4426860, 4433154, 4439448, 4445742, 4452036, 4458330, 4464624, 4470918,
    4477212, 4483506, 4489800, 4496094, 4502388, 4508682, 4514976, 4521270, 4527564, 4533858,
    4540152, 4546446, 4552740, 4559034, 4565328, 4571622, 4577916, 4584210, 4590504, 4596658,
    4602812, 4608966, 4615120, 4621274, 4627428, 4633582, 4639736, 4645890, 4652044, 4658198,
    4664352, 4670506, 4676660, 4682814, 4688968, 4695122, 4701276, 4707430, 4713584, 4719738,
    4725892, 4732046, 4738200, 4744494, 4750788, 4757082, 4763376, 4769670, 4775964, 4782258,
    4788552, 4794846, 4801140, 4807434, 4813728, 4820022, 4826316, 4832610, 4838904, 4845198,
    4851492, 4857786, 4864080, 4870374, 4876668, 4882962, 4889256, 4893312, 4897368, 4901424,
    4905480, 4909536, 4913592, 4917648, 4921704, 4925760, 4929816, 4933872, 4937928, 4941984,
    4946040, 4950096, 4954152, 4958208, 4962264, 4966320, 4970376, 4974432, 4978488, 4982544,
    4986600, 4990796, 4994992, 4999188, 5003384, 5007580, 5011776, 5015972, 5020168, 5024364,
    5028560, 5032756, 5036952, 5041148, 5045344, 5049540, 5053736, 5057932, 5062128, 5066324,
    5070520, 5074716, 5078912, 5083108, 5087304, 5091500, 5095696, 5099892, 5104088, 5108284,
    5112480, 5116676, 5120872, 5125068, 5129264, 5133460, 5137656, 5141852, 5146048, 5150244,
    5154440, 5158636, 5162832, 5167028, 5171224, 5175420, 5179616, 5183812, 5188008, 5192064,
    5196120, 5200176, 5204232, 5208288, 5212344, 5216400, 5220456, 5224512, 5228568, 5232624,
    5236680, 5240736, 5244792, 5248848, 5252904, 5256960, 5261016, 5265072, 5269128, 5273184,
    5277240, 5281296, 5285352, 5289548, 5293744, 5297940, 5302136, 5306332, 5310528, 5314724,
    5318920, 5323116, 5327312, 5331508, 5335704, 5339900, 5344096, 5348292, 5352488, 5356684,
    5360880, 5365076, 5369272, 5373468, 5377664, 5381860, 5386056, 5392210, 5398364, 5404518,
    5410672, 5416826, 5422980, 5429134, 5435288, 5441442, 5447596, 5453750, 5459904, 5466058,
    5472212, 5478366, 5484520, 5490674, 5496828, 5502982, 5509136, 5515290, 5521444, 5527598,
    5533752, 5539906, 5546060, 5552214, 5558368, 5564522, 5570676, 5576830, 5582984, 5589138,
    5595292, 5601446, 5607600, 5613754, 5619908, 5626062, 5632216, 5638370, 5644524, 5650678,
    5656832, 5662986, 5669140, 5675294, 5681448, 5687602, 5693756, 5699910, 5706064, 5712218,
    5718372, 5724526, 5730680, 5736834, 5742988, 5749142, 5755296, 5761450, 5767604, 5773758,
    5779912, 5786066, 5792220, 5798374, 5804528, 5810682, 5816836, 5822990, 5829144, 5835298,
    5841452, 5847606, 5853760, 5859914, 5866068, 5872222, 5878376, 5884530, 5890684, 5896838,
    5902992, 5909146, 5915300, 5921454, 5927608, 5933762, 5939916, 5946070, 5952224, 5958378,
    5964532, 5970686, 5971246, 5971806, 5972366, 5972926, 5973486, 5974046, 5974606, 5975166,
    5975726, 5976286, 5976846, 5977406, 5977966, 5978526, 5979086, 5979646, 5980206, 5980766,
    5981326, 5981886, 5982446, 5983006, 5983566, 5984126, 5984826, 5985526, 5986226, 5986926,
    5987626, 5988326, 5989026, 5989726, 5990426, 5991126, 5991826, 5992526, 5993226, 5993926,
    5994626, 5995326, 5996026, 5996726, 5997426, 5998126, 5998826, 5999526, 6000226, 6000926,
    6001486, 6002046, 6002606, 6003166, 6003726, 6004286, 6004846, 6005406, 6005966, 6006526,
    6007086, 6007646, 6008206, 6008766, 6009326, 6009886, 6010446, 6011006, 6011566, 6012126,
    6012686, 6013246, 6013806, 6014366, 6015066, 6015766, 6016466, 6017166, 6017866, 6018566,
    6019266, 6019966, 6020666, 6021366, 6022066, 6022766, 6023466, 6024166, 6024866, 6025566,
    6026266, 6026966, 6027666, 6028366, 6029066, 6029766, 6030466, 6031166, 6031726, 6032286,
    6032846, 6033406, 6033966, 6034526, 6035086, 6035646, 6036206, 6036766, 6037326, 6037886,
    6038446, 6039006, 6039566, 6040126, 6040686, 6041246, 6041806, 6042366, 6042926, 6043486,
    6044046, 6044606, 6046984, 6049362, 6051740, 6054118, 6056496, 6058874, 6061252, 6063630,
    6066008, 6068386, 6070764, 6073142, 6075520, 6077898, 6080276, 6082654, 6085032, 6087410,
    6089788, 6092166, 6094544, 6096922, 6099300, 6101678, 6104056, 6106434, 6108812, 6111190,
    6113568, 6115946, 6118324, 6120702, 6123080, 6125458, 6127836, 6130214, 6132592, 6134970,
    6137348, 6139726, 6142104, 6144482, 6146860, 6149238, 6151616, 6153994, 6156372, 6158750,
    6161128, 6163506, 6165884, 6168262, 6170640, 6173018, 6175396, 6177774, 6180152, 6182530,
    6184908, 6187286, 6189664, 6192042, 6194420, 6196798, 6199176, 6201554, 6203932, 6206310,
    6208688, 6211066, 6213444, 6215822, 6218200, 6220578, 6222956, 6225334, 6227712, 6230090,
    6232468, 6234846, 6237224, 6239602, 6241980, 6244358, 6246736, 6249114, 6251492, 6253870,
    6256248, 6258626, 6261004, 6263382, 6265760, 6268138, 6270516, 6272894, 6275272, 6277650,
    6280028, 6282406, 6284784, 6287162, 6289540, 6291918, 6294296, 6296674, 6299052, 6301430,
    6303808, 6306186, 6308564, 6310942, 6313320, 6315698, 6318076, 6320454, 6322832, 6325210,
    6327588, 6329966, 6333322, 6336678, 6340034, 6343390, 6346746, 6350102, 6353458, 6356814,
    6360170, 6363526, 6366882, 6370238, 6373594, 6376950, 6380306, 6383662, 6387018, 6390374,
    6393730, 6397086, 6400442, 6403798, 6407154, 6410510, 6413866, 6417222, 6420578, 6423934,
    6427290, 6430646, 6434002, 6437358, 6440714, 6444070, 6447426, 6450782, 6454138, 6457494,
    6460850, 6464206, 6467562, 6470918, 6474274, 6477630, 6480986, 6484342, 6487698, 6491054,
    6494410, 6497766, 6501122, 6504478, 6507834, 6511190, 6514546, 6517902, 6521258, 6524614,
    6527970, 6531326, 6534682, 6538038, 6541394, 6544750, 6548106, 6551462, 6554818, 6558174,
    6561530, 6564886, 6568242, 6571598, 6574954, 6578310, 6581666, 6585022, 6588378, 6591734,
    6595090, 6598446, 6601802, 6605158, 6608514, 6611870, 6615226, 6618582, 6621938, 6625294,
    6628650, 6632006, 6635362, 6638718, 6642074, 6645430, 6648786, 6652142, 6655498, 6658854,
    6662210, 6665566, 6668922, 6672278, 6675634, 6678990, 6682346, 6685702, 6689058, 6692414,
    6695770, 6699126, 6702482, 6705838, 6709194, 6712550, 6715906, 6719262, 6722618, 6725974,
    6729330, 6736742, 6744154, 6751566, 6758978, 6766390, 6773802, 6781214, 6788626, 6796038,
    6803450, 6810862, 6818274, 6825686, 6833098, 6840510, 6847922, 6855334, 6862746, 6870158,
    6877570, 6884982, 6892394, 6899806, 6907218, 6914770, 6922322, 6929874, 6937426, 6944978,
    6952530, 6960082, 6967634, 6975186, 6982738, 6990290, 6997842, 7005394, 7012946, 7020498,
    7028050, 7035602, 7043154, 7050706, 7058258, 7065810, 7073362, 7080914, 7088466, 7096018,
    7103570, 7111122, 7118674, 7126226, 7133778, 7141330, 7148882, 7156434, 7163986, 7171538,
    7179090, 7186642, 7194194, 7201746, 7209298, 7216850, 7224402, 7231954, 7239506, 7247058,
    7254610, 7262162, 7269714, 7277266, 7284818, 7292370, 7299922, 7307474, 7315026, 7322578,
    7330130, 7337682, 7345234, 7352786, 7360338, 7367890, 7375442, 7382994, 7390546, 7398098,
    7405650, 7413202, 7420754, 7428306, 7435858, 7443410, 7450962, 7458514, 7466066, 7473618,
    7481170, 7488722, 7496274, 7503826, 7511378, 7518930, 7526482, 7534034, 7541586, 7549138,
    7556690, 7564242, 7571794, 7579346, 7586898, 7594450, 7602002, 7609554, 7617106, 7624658,
    7632210, 7638504, 7644798, 7651092, 7657386, 7663680, 7669974, 7676268, 7682562, 7688856,
    7695150, 7701444, 7707738, 7714032, 7720326, 7726620, 7732914, 7739208, 7745502, 7751796,
    7758090, 7764384, 7770678, 7776972, 7783266, 7789420, 7795574, 7801728, 7807882, 7814036,
    7820190, 7826344, 7832498, 7838652, 7844806, 7850960, 7857114, 7863268, 7869422, 7875576,
    7881730, 7887884, 7894038, 7900192, 7906346, 7912500, 7918654, 7924808, 7930962, 7937256,
    7943550, 7949844, 7956138, 7962432, 7968726, 7975020, 7981314, 7987608, 7993902, 8000196,
    8006490, 8012784, 8019078, 8025372, 8031666, 8037960, 8044254, 8050548, 8056842, 8063136,
    8069430, 8075724, 8082018, 8088312, 8094606, 8100900, 8107194, 8113488, 8119782, 8126076,
    8132370, 8138664, 8144958, 8151252, 8157546, 8163840, 8170134, 8176428, 8182722, 8189016,
    8195310, 8201604, 8207898, 8214192, 8220486, 8221906, 8221906, 8221906, 8221906, 8221906,
    8221906, 8221906, 8221906, 8221906, 8221906, 8221906, 8221906, 8221906, 8221906, 8221906,
    8221906, 8221906, 8221906, 8221906, 8221906, 8221906, 8221906, 8221906, 8221906, 8221906,
    8221906, 8221906, 8221906, 8221906, 8221906, 8221906, 8221906, 8221906, 8221906, 8221906,
    8221906, 8221906, 8221906, 8221906, 8221906, 8221906, 8221906, 8221906, 8221906, 8221906,
    8221906, 8221906, 8221906, 8221906, 8221906, 8221906, 8221906, 8221906, 8221906, 8221906,
    8221906, 8221906, 8222482, 8223058, 8223384, 8223384, 8223384, 8223384, 8223384, 8223384,
    8223384, 8223384, 8223384, 8223384, 8223384, 8223384, 8223384, 8223384, 8223384, 8223384,
    8223384, 8223384, 8223384, 8223384, 8223384, 8223384, 8223384, 8223384, 8223384, 8223384,
    8223384, 8223384, 8223384, 8223384, 8223384, 8223384, 8223384, 8223384, 8223384, 8223384,
    8223384, 8223384, 8223384, 8223384, 8223384, 8223384, 8223384, 8223948, 8224512, 8225076,
    8225640, 8226204, 8226768, 8226780, 8226780, 8226780, 8226780, 8226780, 8226780, 8226780,
    8226780, 8226780, 8226780, 8226780, 8226780, 8226780, 8227340, 8227900, 8228460, 8229020,
    8229580, 8230140, 8230700, 8231260, 8231820, 8232380, 8232940, 8233500, 8234060, 8234620,
    8235180, 8235740, 8236300, 8236860, 8237420, 8237980, 8238540, 8239100, 8239660, 8240220,
    8240780, 8241340, 8241900, 8242460, 8243020, 8243580, 8244140, 8244700, 8245260, 8245820,
    8246380, 8246940, 8247500, 8248060, 8248620, 8249180, 8249740, 8250300, 8250860, 8251420,
    8251980, 8252540, 8253100, 8253660, 8253940, 8254220, 8254500, 8254780, 8255060, 8255340,
    8255620, 8255900, 8256180, 8256460, 8256740, 8257020, 8257300, 8257580, 8257860, 8258140,
    8258420, 8258700, 8258980, 8259260, 8259540, 8259820, 8260100, 8260380, 8260940, 8261500,
    8262060, 8262620, 8263180, 8263740, 8264300, 8264860, 8265420, 8265980, 8266540, 8267100,
    8267660, 8268220, 8268780, 8269340, 8269900, 8270460, 8271020, 8271580, 8272140, 8272700,
    8273260, 8273820, 8274380, 8274940, 8275500, 8276060, 8276620, 8277180, 8277740, 8278300,
    8278860, 8279420, 8279980, 8280540, 8281100, 8281660, 8282220, 8282780, 8283340, 8283900,
    8284460, 8285020, 8285580, 8286140, 8286700, 8287260, 8293554, 8299848, 8306142, 8312436,
    8318730, 8325024, 8331318, 8337612, 8343906, 8350200, 8356494, 8362788, 8369082, 8375376,
    8381670, 8387964, 8394258, 8400552, 8406846, 8413140, 8419434, 8425728, 8432022, 8438316,
    8444610, 8450904, 8457198, 8463492, 8469786, 8476080, 8482374, 8488668, 8494962, 8501256,
    8507550, 8513844, 8520138, 8526432, 8532726, 8539020, 8545314, 8551608, 8557902, 8564196,
    8570490, 8576784, 8583078, 8589372, 8595666, 8601960, 8608254, 8614548, 8620842, 8627136,
    8633430, 8639724, 8646018, 8652312, 8658606, 8664900, 8671194, 8677488, 8683782, 8690076,
    8696370, 8702664, 8708958, 8715252, 8721546, 8727840, 8734134, 8740288, 8746442, 8752596,
    8758750, 8764904, 8771058, 8777212, 8783366, 8789520, 8795674, 8801828, 8807982, 8814136,
    8820290, 8826444, 8832598, 8838752, 8844906, 8851060, 8857214, 8863368, 8869522, 8875676,
    8881830, 8888124, 8894418, 8900712, 8907006, 8913300, 8919594, 8925888, 8932182, 8938476,
    8944770, 8951064, 8957358, 8963652, 8969946, 8976240, 8982534, 8988828, 8995122, 9001416,
    9007710, 9014004, 9020298, 9026592, 9032886, 9036942, 9040998, 9045054, 9049110, 9053166,
    9057222, 9061278, 9065334, 9069390, 9073446, 9077502, 9081558, 9085614, 9089670, 9093726,
    9097782, 9101838, 9105894, 9109950, 9114006, 9118062, 9122118, 9126174, 9130230, 9134426,
    9138622, 9142818, 9147014, 9151210, 9155406, 9159602, 9163798, 9167994, 9172190, 9176386,
    9180582, 9184778, 9188974, 9193170, 9197366, 9201562, 9205758, 9209954, 9214150, 9218346,
    9222542, 9226738, 9230934, 9235130, 9239326, 9243522, 9247718, 9251914, 9256110, 9260306,
    9264502, 9268698, 9272894, 9277090, 9281286, 9285482, 9289678, 9293874, 9298070, 9302266,
    9306462, 9310658, 9314854, 9319050, 9323246, 9327442, 9331638, 9335694, 9339750, 9343806,
    9347862, 9351918, 9355974, 9360030, 9364086, 9368142, 9372198, 9376254, 9380310, 9384366,
];

pub const MIN_IMP_X: i32 = 67; // MIN_MAX_GARG_X_OF_IMP_POS第一个值对应imp_pos=67，第二个对应68，依次类推
                               // 之所以这样储存，主要是因为rust不支持编译期定义HashMap
                               // 此表由遍历x=401~854所有巨人得到，遍历精度Δx=0.001，并非100%精确
pub const MAX_IMP_X: i32 = 260;
const MIN_MAX_GARG_X_OF_IMP_POS: [(f32, f32); (MAX_IMP_X - MIN_IMP_X + 1) as usize] = [
    (401.000, 401.999),
    (402.000, 402.999),
    (403.000, 406.999),
    (404.000, 407.999),
    (405.000, 411.999),
    (406.000, 412.999),
    (410.000, 416.999),
    (411.000, 417.999),
    (415.000, 418.999),
    (416.000, 422.999),
    (420.000, 423.999),
    (421.000, 427.999),
    (422.000, 428.999),
    (426.000, 432.999),
    (427.000, 433.999),
    (431.000, 437.999),
    (432.000, 438.999),
    (436.000, 442.999),
    (437.000, 443.999),
    (441.000, 447.999),
    (442.000, 448.999),
    (446.000, 452.999),
    (447.000, 456.999),
    (451.000, 457.999),
    (452.000, 461.999),
    (456.000, 462.999),
    (460.000, 466.999),
    (461.000, 467.999),
    (465.000, 471.999),
    (466.000, 475.999),
    (470.000, 476.999),
    (474.000, 480.999),
    (475.000, 484.999),
    (479.000, 485.999),
    (480.000, 489.999),
    (484.000, 493.999),
    (488.000, 494.999),
    (489.000, 498.999),
    (493.000, 502.999),
    (497.000, 503.999),
    (498.000, 507.999),
    (500.001, 511.999),
    (500.001, 515.999),
    (500.001, 519.999),
    (500.001, 520.999),
    (500.001, 524.999),
    (500.001, 528.999),
    (500.001, 532.999),
    (500.001, 536.999),
    (500.001, 537.999),
    (500.001, 541.999),
    (500.001, 545.999),
    (500.001, 549.999),
    (500.001, 553.999),
    (500.001, 557.999),
    (500.001, 561.999),
    (500.001, 565.999),
    (500.001, 569.999),
    (500.001, 573.999),
    (500.001, 577.999),
    (500.001, 581.999),
    (500.001, 585.999),
    (500.001, 589.999),
    (500.001, 593.999),
    (500.001, 600.999),
    (500.001, 604.999),
    (500.001, 608.999),
    (500.001, 612.999),
    (500.001, 619.999),
    (500.001, 623.999),
    (500.001, 627.999),
    (500.001, 631.999),
    (500.001, 638.999),
    (500.001, 642.999),
    (500.001, 649.999),
    (500.001, 653.999),
    (500.001, 660.999),
    (500.001, 664.999),
    (500.001, 671.999),
    (500.001, 675.999),
    (500.001, 682.999),
    (500.001, 689.999),
    (500.001, 696.999),
    (500.001, 700.999),
    (500.001, 707.999),
    (500.001, 714.999),
    (500.001, 721.999),
    (500.001, 728.999),
    (500.001, 735.999),
    (500.001, 742.999),
    (500.001, 752.999),
    (500.001, 759.999),
    (500.001, 766.999),
    (500.001, 773.999),
    (500.001, 783.999),
    (500.001, 790.999),
    (500.001, 800.999),
    (500.001, 810.999),
    (500.001, 820.999),
    (500.001, 827.999),
    (500.001, 837.999),
    (500.001, 850.999),
    (500.001, 851.999),
    (504.000, 852.999),
    (505.000, 853.999),
    (506.000, 854.000),
    (510.000, 854.000),
    (511.000, 854.000),
    (515.000, 854.000),
    (516.000, 854.000),
    (520.000, 854.000),
    (521.000, 854.000),
    (522.000, 854.000),
    (526.000, 854.000),
    (527.000, 854.000),
    (531.000, 854.000),
    (532.000, 854.000),
    (536.000, 854.000),
    (537.000, 854.000),
    (541.000, 854.000),
    (542.000, 854.000),
    (546.000, 854.000),
    (547.000, 854.000),
    (551.000, 854.000),
    (552.000, 854.000),
    (556.000, 854.000),
    (560.000, 854.000),
    (561.000, 854.000),
    (565.000, 854.000),
    (566.000, 854.000),
    (570.000, 854.000),
    (574.000, 854.000),
    (575.000, 854.000),
    (579.000, 854.000),
    (580.000, 854.000),
    (584.000, 854.000),
    (588.000, 854.000),
    (589.000, 854.000),
    (593.000, 854.000),
    (597.000, 854.000),
    (598.000, 854.000),
    (602.000, 854.000),
    (606.000, 854.000),
    (610.000, 854.000),
    (611.000, 854.000),
    (615.000, 854.000),
    (619.000, 854.000),
    (623.000, 854.000),
    (624.000, 854.000),
    (628.000, 854.000),
    (632.000, 854.000),
    (636.000, 854.000),
    (640.000, 854.000),
    (644.000, 854.000),
    (645.000, 854.000),
    (649.000, 854.000),
    (653.000, 854.000),
    (657.000, 854.000),
    (661.000, 854.000),
    (665.000, 854.000),
    (669.000, 854.000),
    (673.000, 854.000),
    (677.000, 854.000),
    (681.000, 854.000),
    (685.000, 854.000),
    (689.000, 854.000),
    (693.000, 854.000),
    (700.000, 854.000),
    (704.000, 854.000),
    (708.000, 854.000),
    (712.000, 854.000),
    (716.000, 854.000),
    (723.000, 854.000),
    (727.000, 854.000),
    (731.000, 854.000),
    (738.000, 854.000),
    (742.000, 854.000),
    (746.000, 854.000),
    (753.000, 854.000),
    (757.000, 854.000),
    (764.000, 854.000),
    (768.000, 854.000),
    (775.000, 854.000),
    (782.000, 854.000),
    (786.000, 854.000),
    (793.000, 854.000),
    (800.000, 854.000),
    (804.000, 854.000),
    (811.000, 854.000),
    (818.000, 854.000),
    (825.000, 854.000),
    (832.000, 854.000),
    (839.000, 854.000),
    (846.000, 852.980),
];