falcon_1024.cry

module falcon_1024 where

submodule falcon_inst = spec2
    where
    type _k = 10
    type _n = 1024
    type pkbytelen = 1793
    type sbytelen = 1280
    type coeffs_number_of_bits = 5
    type q = 3 * 2^^12 + 1
    r = 3
    sigma = 168.388571447
    sigma_min = 1.298280334
    sigma_max = 1.8205
    beta = 70265242

    Omega_phi = [
        (1.0, 0.0),
        (0.9999811752826011, 0.006135884649154475),
        (0.9999247018391445, 0.012271538285719925),
        (0.9998305817958234, 0.01840672990580482),
        (0.9996988186962042, 0.024541228522912288),
        (0.9995294175010931, 0.030674803176636626),
        (0.9993223845883495, 0.03680722294135883),
        (0.9990777277526454, 0.04293825693494082),
        (0.9987954562051724, 0.049067674327418015),
        (0.9984755805732948, 0.05519524434968994),
        (0.9981181129001492, 0.06132073630220858),
        (0.9977230666441916, 0.06744391956366405),
        (0.9972904566786902, 0.07356456359966743),
        (0.9968202992911657, 0.07968243797143013),
        (0.996312612182778, 0.0857973123444399),
        (0.9957674144676598, 0.09190895649713272),
        (0.9951847266721969, 0.0980171403295606),
        (0.9945645707342554, 0.10412163387205459),
        (0.9939069700023561, 0.11022220729388306),
        (0.9932119492347945, 0.11631863091190475),
        (0.99247953459871, 0.1224106751992162),
        (0.9917097536690995, 0.12849811079379317),
        (0.99090263542778, 0.13458070850712617),
        (0.9900582102622971, 0.1406582393328492),
        (0.989176509964781, 0.14673047445536175),
        (0.9882575677307495, 0.15279718525844344),
        (0.9873014181578584, 0.15885814333386145),
        (0.9863080972445987, 0.16491312048996992),
        (0.9852776423889412, 0.17096188876030122),
        (0.984210092386929, 0.17700422041214875),
        (0.9831054874312163, 0.18303988795514095),
        (0.9819638691095552, 0.1890686641498062),
        (0.9807852804032304, 0.19509032201612825),
        (0.9795697656854405, 0.2011046348420919),
        (0.9783173707196277, 0.20711137619221856),
        (0.9770281426577544, 0.21311031991609136),
        (0.9757021300385286, 0.2191012401568698),
        (0.9743393827855759, 0.22508391135979283),
        (0.9729399522055602, 0.2310581082806711),
        (0.9715038909862518, 0.2370236059943672),
        (0.970031253194544, 0.24298017990326387),
        (0.9685220942744173, 0.24892760574572015),
        (0.9669764710448521, 0.25486565960451457),
        (0.9653944416976894, 0.2607941179152755),
        (0.9637760657954398, 0.26671275747489837),
        (0.9621214042690416, 0.272621355449949),
        (0.9604305194155658, 0.27851968938505306),
        (0.9587034748958716, 0.2844075372112719),
        (0.9569403357322088, 0.29028467725446233),
        (0.9551411683057707, 0.2961508882436238),
        (0.9533060403541939, 0.3020059493192281),
        (0.9514350209690083, 0.30784964004153487),
        (0.9495281805930367, 0.3136817403988915),
        (0.9475855910177411, 0.3195020308160157),
        (0.9456073253805213, 0.3253102921622629),
        (0.9435934581619604, 0.33110630575987643),
        (0.9415440651830208, 0.33688985339222005),
        (0.9394592236021899, 0.3426607173119944),
        (0.937339011912575, 0.34841868024943456),
        (0.9351835099389476, 0.35416352542049034),
        (0.932992798834739, 0.3598950365349881),
        (0.9307669610789837, 0.36561299780477385),
        (0.9285060804732156, 0.37131719395183754),
        (0.9262102421383114, 0.37700741021641826),
        (0.9238795325112867, 0.3826834323650898),
        (0.9215140393420419, 0.38834504669882625),
        (0.9191138516900578, 0.3939920400610481),
        (0.9166790599210427, 0.3996241998456468),
        (0.9142097557035307, 0.40524131400498986),
        (0.9117060320054299, 0.4108431710579039),
        (0.9091679830905224, 0.41642956009763715),
        (0.9065957045149153, 0.4220002707997997),
        (0.9039892931234433, 0.4275550934302821),
        (0.901348847046022, 0.43309381885315196),
        (0.8986744656939538, 0.43861623853852766),
        (0.8959662497561852, 0.4441221445704292),
        (0.8932243011955153, 0.44961132965460654),
        (0.8904487232447579, 0.45508358712634384),
        (0.8876396204028539, 0.46053871095824),
        (0.8847970984309378, 0.4659764957679662),
        (0.881921264348355, 0.47139673682599764),
        (0.8790122264286335, 0.4767992300633221),
        (0.8760700941954066, 0.4821837720791227),
        (0.8730949784182901, 0.487550160148436),
        (0.8700869911087115, 0.49289819222978404),
        (0.8670462455156926, 0.49822766697278187),
        (0.8639728561215867, 0.5035383837257176),
        (0.8608669386377673, 0.508830142543107),
        (0.8577286100002721, 0.5141027441932217),
        (0.8545579883654005, 0.5193559901655896),
        (0.8513551931052652, 0.524589682678469),
        (0.8481203448032972, 0.5298036246862946),
        (0.8448535652497071, 0.5349976198870972),
        (0.8415549774368984, 0.5401714727298929),
        (0.838224705554838, 0.5453249884220465),
        (0.83486287498638, 0.5504579729366048),
        (0.8314696123025452, 0.5555702330196022),
        (0.8280450452577558, 0.560661576197336),
        (0.8245893027850253, 0.5657318107836131),
        (0.8211025149911046, 0.5707807458869673),
        (0.8175848131515837, 0.5758081914178453),
        (0.8140363297059484, 0.5808139580957645),
        (0.8104571982525948, 0.5857978574564389),
        (0.8068475535437993, 0.5907597018588742),
        (0.8032075314806449, 0.5956993044924334),
        (0.799537269107905, 0.600616479383869),
        (0.7958369046088836, 0.6055110414043255),
        (0.7921065773002124, 0.6103828062763095),
        (0.7883464276266063, 0.6152315905806268),
        (0.7845565971555752, 0.6200572117632891),
        (0.7807372285720945, 0.6248594881423863),
        (0.7768884656732324, 0.629638238914927),
        (0.773010453362737, 0.6343932841636455),
        (0.7691033376455797, 0.6391244448637757),
        (0.765167265622459, 0.6438315428897914),
        (0.7612023854842618, 0.6485144010221124),
        (0.7572088465064846, 0.6531728429537768),
        (0.7531867990436125, 0.6578066932970786),
        (0.7491363945234594, 0.6624157775901718),
        (0.745057785441466, 0.6669999223036375),
        (0.7409511253549592, 0.6715589548470183),
        (0.7368165688773698, 0.6760927035753159),
        (0.7326542716724128, 0.680600997795453),
        (0.7284643904482252, 0.6850836677727004),
        (0.724247082951467, 0.6895405447370668),
        (0.7200025079613817, 0.6939714608896539),
        (0.7157308252838186, 0.6983762494089729),
        (0.7114321957452164, 0.7027547444572253),
        (0.7071067811865476, 0.7071067811865475),
        (0.7027547444572254, 0.7114321957452163),
        (0.6983762494089729, 0.7157308252838186),
        (0.693971460889654, 0.7200025079613817),
        (0.6895405447370669, 0.7242470829514669),
        (0.6850836677727005, 0.7284643904482252),
        (0.6806009977954531, 0.7326542716724127),
        (0.676092703575316, 0.7368165688773698),
        (0.6715589548470184, 0.740951125354959),
        (0.6669999223036376, 0.745057785441466),
        (0.6624157775901718, 0.7491363945234593),
        (0.6578066932970787, 0.7531867990436124),
        (0.6531728429537769, 0.7572088465064845),
        (0.6485144010221126, 0.7612023854842618),
        (0.6438315428897915, 0.7651672656224588),
        (0.6391244448637758, 0.7691033376455796),
        (0.6343932841636456, 0.7730104533627369),
        (0.6296382389149271, 0.7768884656732324),
        (0.6248594881423865, 0.7807372285720944),
        (0.6200572117632892, 0.7845565971555752),
        (0.6152315905806269, 0.7883464276266062),
        (0.6103828062763095, 0.7921065773002123),
        (0.6055110414043255, 0.7958369046088835),
        (0.600616479383869, 0.799537269107905),
        (0.5956993044924335, 0.8032075314806448),
        (0.5907597018588743, 0.8068475535437992),
        (0.5857978574564389, 0.8104571982525948),
        (0.5808139580957646, 0.8140363297059483),
        (0.5758081914178454, 0.8175848131515837),
        (0.5707807458869674, 0.8211025149911046),
        (0.5657318107836132, 0.8245893027850253),
        (0.560661576197336, 0.8280450452577557),
        (0.5555702330196023, 0.8314696123025451),
        (0.5504579729366049, 0.83486287498638),
        (0.5453249884220466, 0.838224705554838),
        (0.540171472729893, 0.8415549774368983),
        (0.5349976198870974, 0.844853565249707),
        (0.5298036246862948, 0.8481203448032971),
        (0.524589682678469, 0.8513551931052652),
        (0.5193559901655896, 0.8545579883654005),
        (0.5141027441932218, 0.8577286100002721),
        (0.5088301425431071, 0.8608669386377672),
        (0.5035383837257176, 0.8639728561215867),
        (0.4982276669727819, 0.8670462455156926),
        (0.49289819222978415, 0.8700869911087113),
        (0.4875501601484361, 0.87309497841829),
        (0.4821837720791229, 0.8760700941954065),
        (0.47679923006332225, 0.8790122264286334),
        (0.4713967368259978, 0.8819212643483549),
        (0.4659764957679661, 0.8847970984309378),
        (0.46053871095824, 0.8876396204028539),
        (0.45508358712634384, 0.8904487232447579),
        (0.4496113296546066, 0.8932243011955153),
        (0.44412214457042926, 0.8959662497561851),
        (0.4386162385385277, 0.8986744656939538),
        (0.433093818853152, 0.901348847046022),
        (0.4275550934302822, 0.9039892931234433),
        (0.4220002707997998, 0.9065957045149153),
        (0.4164295600976373, 0.9091679830905224),
        (0.4108431710579039, 0.9117060320054299),
        (0.4052413140049898, 0.9142097557035307),
        (0.3996241998456468, 0.9166790599210427),
        (0.3939920400610481, 0.9191138516900578),
        (0.3883450466988263, 0.9215140393420419),
        (0.38268343236508984, 0.9238795325112867),
        (0.3770074102164183, 0.9262102421383114),
        (0.3713171939518376, 0.9285060804732155),
        (0.36561299780477396, 0.9307669610789837),
        (0.3598950365349883, 0.9329927988347388),
        (0.3541635254204905, 0.9351835099389475),
        (0.3484186802494345, 0.937339011912575),
        (0.3426607173119944, 0.9394592236021899),
        (0.33688985339222005, 0.9415440651830208),
        (0.33110630575987643, 0.9435934581619604),
        (0.325310292162263, 0.9456073253805213),
        (0.31950203081601575, 0.9475855910177411),
        (0.3136817403988915, 0.9495281805930367),
        (0.307849640041535, 0.9514350209690083),
        (0.3020059493192282, 0.9533060403541938),
        (0.29615088824362396, 0.9551411683057707),
        (0.2902846772544623, 0.9569403357322089),
        (0.2844075372112718, 0.9587034748958716),
        (0.27851968938505306, 0.9604305194155658),
        (0.272621355449949, 0.9621214042690416),
        (0.2667127574748984, 0.9637760657954398),
        (0.26079411791527557, 0.9653944416976894),
        (0.2548656596045146, 0.9669764710448521),
        (0.24892760574572026, 0.9685220942744173),
        (0.24298017990326398, 0.970031253194544),
        (0.23702360599436734, 0.9715038909862518),
        (0.23105810828067125, 0.9729399522055601),
        (0.22508391135979278, 0.9743393827855759),
        (0.21910124015686977, 0.9757021300385286),
        (0.21311031991609136, 0.9770281426577544),
        (0.20711137619221856, 0.9783173707196277),
        (0.20110463484209193, 0.9795697656854405),
        (0.1950903220161283, 0.9807852804032304),
        (0.18906866414980628, 0.9819638691095552),
        (0.18303988795514103, 0.9831054874312163),
        (0.17700422041214886, 0.984210092386929),
        (0.17096188876030136, 0.9852776423889412),
        (0.16491312048997006, 0.9863080972445987),
        (0.1588581433338614, 0.9873014181578584),
        (0.1527971852584434, 0.9882575677307495),
        (0.14673047445536175, 0.989176509964781),
        (0.14065823933284924, 0.9900582102622971),
        (0.13458070850712622, 0.99090263542778),
        (0.12849811079379322, 0.9917097536690995),
        (0.12241067519921628, 0.99247953459871),
        (0.11631863091190486, 0.9932119492347945),
        (0.11022220729388318, 0.9939069700023561),
        (0.10412163387205473, 0.9945645707342554),
        (0.09801714032956077, 0.9951847266721968),
        (0.0919089564971327, 0.9957674144676598),
        (0.08579731234443988, 0.996312612182778),
        (0.07968243797143013, 0.9968202992911657),
        (0.07356456359966745, 0.9972904566786902),
        (0.0674439195636641, 0.9977230666441916),
        (0.061320736302208655, 0.9981181129001492),
        (0.05519524434969003, 0.9984755805732948),
        (0.04906767432741813, 0.9987954562051724),
        (0.04293825693494096, 0.9990777277526454),
        (0.03680722294135899, 0.9993223845883495),
        (0.030674803176636584, 0.9995294175010931),
        (0.024541228522912267, 0.9996988186962042),
        (0.01840672990580482, 0.9998305817958234),
        (0.012271538285719944, 0.9999247018391445),
        (0.006135884649154516, 0.9999811752826011),
        (6.123233995736766e-17, 1.0),
        (-0.006135884649154393, 0.9999811752826011),
        (-0.012271538285719823, 0.9999247018391445),
        (-0.018406729905804695, 0.9998305817958234),
        (-0.024541228522912142, 0.9996988186962042),
        (-0.03067480317663646, 0.9995294175010931),
        (-0.036807222941358866, 0.9993223845883495),
        (-0.042938256934940834, 0.9990777277526454),
        (-0.04906767432741801, 0.9987954562051724),
        (-0.05519524434968991, 0.9984755805732948),
        (-0.06132073630220853, 0.9981181129001492),
        (-0.067443919563664, 0.9977230666441916),
        (-0.07356456359966734, 0.9972904566786902),
        (-0.07968243797143001, 0.9968202992911657),
        (-0.08579731234443977, 0.996312612182778),
        (-0.09190895649713259, 0.9957674144676598),
        (-0.09801714032956066, 0.9951847266721969),
        (-0.10412163387205461, 0.9945645707342554),
        (-0.11022220729388307, 0.9939069700023561),
        (-0.11631863091190475, 0.9932119492347945),
        (-0.12241067519921617, 0.99247953459871),
        (-0.1284981107937931, 0.9917097536690995),
        (-0.1345807085071261, 0.99090263542778),
        (-0.14065823933284913, 0.9900582102622971),
        (-0.14673047445536164, 0.989176509964781),
        (-0.1527971852584433, 0.9882575677307495),
        (-0.15885814333386128, 0.9873014181578584),
        (-0.16491312048996995, 0.9863080972445987),
        (-0.17096188876030124, 0.9852776423889412),
        (-0.17700422041214875, 0.984210092386929),
        (-0.18303988795514095, 0.9831054874312163),
        (-0.18906866414980616, 0.9819638691095552),
        (-0.1950903220161282, 0.9807852804032304),
        (-0.20110463484209182, 0.9795697656854405),
        (-0.20711137619221845, 0.9783173707196277),
        (-0.21311031991609125, 0.9770281426577544),
        (-0.21910124015686966, 0.9757021300385286),
        (-0.22508391135979267, 0.9743393827855759),
        (-0.23105810828067117, 0.9729399522055602),
        (-0.23702360599436723, 0.9715038909862518),
        (-0.24298017990326387, 0.970031253194544),
        (-0.24892760574572015, 0.9685220942744173),
        (-0.2548656596045145, 0.9669764710448521),
        (-0.26079411791527546, 0.9653944416976894),
        (-0.2667127574748983, 0.9637760657954398),
        (-0.27262135544994887, 0.9621214042690416),
        (-0.27851968938505295, 0.9604305194155659),
        (-0.2844075372112717, 0.9587034748958716),
        (-0.2902846772544622, 0.9569403357322089),
        (-0.29615088824362384, 0.9551411683057707),
        (-0.3020059493192281, 0.9533060403541939),
        (-0.30784964004153487, 0.9514350209690083),
        (-0.31368174039889146, 0.9495281805930367),
        (-0.31950203081601564, 0.9475855910177412),
        (-0.32531029216226287, 0.9456073253805214),
        (-0.3311063057598763, 0.9435934581619604),
        (-0.33688985339221994, 0.9415440651830208),
        (-0.34266071731199427, 0.9394592236021899),
        (-0.3484186802494344, 0.937339011912575),
        (-0.3541635254204904, 0.9351835099389476),
        (-0.35989503653498817, 0.9329927988347388),
        (-0.36561299780477385, 0.9307669610789837),
        (-0.37131719395183754, 0.9285060804732156),
        (-0.3770074102164182, 0.9262102421383114),
        (-0.3826834323650897, 0.9238795325112867),
        (-0.3883450466988262, 0.921514039342042),
        (-0.393992040061048, 0.9191138516900578),
        (-0.39962419984564673, 0.9166790599210427),
        (-0.40524131400498975, 0.9142097557035307),
        (-0.4108431710579038, 0.9117060320054299),
        (-0.416429560097637, 0.9091679830905225),
        (-0.4220002707997997, 0.9065957045149153),
        (-0.42755509343028186, 0.9039892931234434),
        (-0.43309381885315196, 0.901348847046022),
        (-0.4386162385385274, 0.8986744656939539),
        (-0.44412214457042914, 0.8959662497561852),
        (-0.4496113296546067, 0.8932243011955152),
        (-0.4550835871263437, 0.890448723244758),
        (-0.4605387109582401, 0.8876396204028539),
        (-0.465976495767966, 0.8847970984309379),
        (-0.4713967368259977, 0.881921264348355),
        (-0.476799230063322, 0.8790122264286335),
        (-0.4821837720791227, 0.8760700941954066),
        (-0.4875501601484357, 0.8730949784182902),
        (-0.4928981922297839, 0.8700869911087115),
        (-0.49822766697278154, 0.8670462455156929),
        (-0.5035383837257175, 0.8639728561215868),
        (-0.5088301425431071, 0.8608669386377672),
        (-0.5141027441932216, 0.8577286100002721),
        (-0.5193559901655896, 0.8545579883654005),
        (-0.5245896826784687, 0.8513551931052652),
        (-0.5298036246862946, 0.8481203448032972),
        (-0.5349976198870969, 0.8448535652497072),
        (-0.5401714727298929, 0.8415549774368984),
        (-0.5453249884220461, 0.8382247055548382),
        (-0.5504579729366047, 0.8348628749863801),
        (-0.555570233019602, 0.8314696123025455),
        (-0.5606615761973359, 0.8280450452577559),
        (-0.5657318107836132, 0.8245893027850253),
        (-0.5707807458869671, 0.8211025149911048),
        (-0.5758081914178453, 0.8175848131515837),
        (-0.5808139580957643, 0.8140363297059485),
        (-0.5857978574564389, 0.8104571982525948),
        (-0.590759701858874, 0.8068475535437994),
        (-0.5956993044924332, 0.8032075314806449),
        (-0.6006164793838686, 0.7995372691079052),
        (-0.6055110414043254, 0.7958369046088836),
        (-0.6103828062763095, 0.7921065773002123),
        (-0.6152315905806267, 0.7883464276266063),
        (-0.6200572117632892, 0.7845565971555752),
        (-0.6248594881423862, 0.7807372285720946),
        (-0.629638238914927, 0.7768884656732324),
        (-0.6343932841636453, 0.7730104533627371),
        (-0.6391244448637757, 0.7691033376455797),
        (-0.6438315428897913, 0.7651672656224591),
        (-0.6485144010221124, 0.7612023854842619),
        (-0.6531728429537765, 0.7572088465064848),
        (-0.6578066932970785, 0.7531867990436125),
        (-0.6624157775901718, 0.7491363945234593),
        (-0.6669999223036374, 0.7450577854414661),
        (-0.6715589548470184, 0.740951125354959),
        (-0.6760927035753158, 0.73681656887737),
        (-0.680600997795453, 0.7326542716724128),
        (-0.6850836677727002, 0.7284643904482253),
        (-0.6895405447370668, 0.724247082951467),
        (-0.6939714608896538, 0.7200025079613819),
        (-0.6983762494089728, 0.7157308252838187),
        (-0.7027547444572251, 0.7114321957452168),
        (-0.7071067811865475, 0.7071067811865476),
        (-0.7114321957452165, 0.7027547444572252),
        (-0.7157308252838186, 0.6983762494089729),
        (-0.7200025079613817, 0.6939714608896539),
        (-0.7242470829514669, 0.689540544737067),
        (-0.7284643904482252, 0.6850836677727004),
        (-0.7326542716724127, 0.6806009977954532),
        (-0.7368165688773698, 0.6760927035753159),
        (-0.7409511253549589, 0.6715589548470186),
        (-0.745057785441466, 0.6669999223036376),
        (-0.749136394523459, 0.662415777590172),
        (-0.7531867990436124, 0.6578066932970787),
        (-0.7572088465064847, 0.6531728429537766),
        (-0.7612023854842618, 0.6485144010221126),
        (-0.765167265622459, 0.6438315428897914),
        (-0.7691033376455796, 0.6391244448637758),
        (-0.773010453362737, 0.6343932841636455),
        (-0.7768884656732323, 0.6296382389149272),
        (-0.7807372285720945, 0.6248594881423863),
        (-0.7845565971555751, 0.6200572117632894),
        (-0.7883464276266062, 0.6152315905806269),
        (-0.7921065773002122, 0.6103828062763097),
        (-0.7958369046088835, 0.6055110414043255),
        (-0.799537269107905, 0.6006164793838689),
        (-0.8032075314806448, 0.5956993044924335),
        (-0.8068475535437993, 0.5907597018588742),
        (-0.8104571982525947, 0.585797857456439),
        (-0.8140363297059484, 0.5808139580957645),
        (-0.8175848131515836, 0.5758081914178454),
        (-0.8211025149911046, 0.5707807458869673),
        (-0.8245893027850251, 0.5657318107836135),
        (-0.8280450452577557, 0.560661576197336),
        (-0.8314696123025453, 0.5555702330196022),
        (-0.83486287498638, 0.5504579729366049),
        (-0.8382247055548381, 0.5453249884220464),
        (-0.8415549774368983, 0.540171472729893),
        (-0.8448535652497071, 0.5349976198870972),
        (-0.8481203448032971, 0.5298036246862948),
        (-0.8513551931052652, 0.524589682678469),
        (-0.8545579883654004, 0.5193559901655898),
        (-0.8577286100002721, 0.5141027441932218),
        (-0.8608669386377672, 0.5088301425431073),
        (-0.8639728561215867, 0.5035383837257176),
        (-0.8670462455156926, 0.49822766697278176),
        (-0.8700869911087113, 0.49289819222978415),
        (-0.8730949784182902, 0.4875501601484359),
        (-0.8760700941954065, 0.4821837720791229),
        (-0.8790122264286335, 0.4767992300633221),
        (-0.8819212643483549, 0.4713967368259978),
        (-0.8847970984309378, 0.4659764957679662),
        (-0.8876396204028538, 0.4605387109582402),
        (-0.8904487232447579, 0.4550835871263439),
        (-0.8932243011955152, 0.4496113296546069),
        (-0.8959662497561851, 0.4441221445704293),
        (-0.8986744656939539, 0.43861623853852755),
        (-0.9013488470460219, 0.43309381885315207),
        (-0.9039892931234433, 0.42755509343028203),
        (-0.9065957045149153, 0.42200027079979985),
        (-0.9091679830905224, 0.41642956009763715),
        (-0.9117060320054298, 0.41084317105790413),
        (-0.9142097557035307, 0.40524131400498986),
        (-0.9166790599210426, 0.39962419984564707),
        (-0.9191138516900578, 0.39399204006104815),
        (-0.9215140393420418, 0.3883450466988266),
        (-0.9238795325112867, 0.38268343236508984),
        (-0.9262102421383114, 0.37700741021641815),
        (-0.9285060804732155, 0.37131719395183765),
        (-0.9307669610789837, 0.3656129978047738),
        (-0.9329927988347388, 0.35989503653498833),
        (-0.9351835099389476, 0.35416352542049034),
        (-0.9373390119125748, 0.3484186802494348),
        (-0.9394592236021899, 0.34266071731199443),
        (-0.9415440651830207, 0.3368898533922203),
        (-0.9435934581619604, 0.3311063057598765),
        (-0.9456073253805213, 0.3253102921622632),
        (-0.9475855910177411, 0.3195020308160158),
        (-0.9495281805930367, 0.3136817403988914),
        (-0.9514350209690083, 0.30784964004153503),
        (-0.9533060403541939, 0.30200594931922803),
        (-0.9551411683057707, 0.296150888243624),
        (-0.9569403357322088, 0.29028467725446233),
        (-0.9587034748958715, 0.28440753721127204),
        (-0.9604305194155658, 0.2785196893850531),
        (-0.9621214042690416, 0.27262135544994925),
        (-0.9637760657954398, 0.2667127574748985),
        (-0.9653944416976893, 0.26079411791527585),
        (-0.9669764710448521, 0.2548656596045147),
        (-0.9685220942744174, 0.2489276057457201),
        (-0.970031253194544, 0.24298017990326404),
        (-0.9715038909862518, 0.23702360599436717),
        (-0.9729399522055601, 0.2310581082806713),
        (-0.9743393827855759, 0.22508391135979283),
        (-0.9757021300385285, 0.21910124015687002),
        (-0.9770281426577544, 0.21311031991609142),
        (-0.9783173707196275, 0.20711137619221884),
        (-0.9795697656854405, 0.20110463484209198),
        (-0.9807852804032304, 0.19509032201612858),
        (-0.9819638691095552, 0.18906866414980633),
        (-0.9831054874312164, 0.1830398879551409),
        (-0.984210092386929, 0.17700422041214892),
        (-0.9852776423889412, 0.1709618887603012),
        (-0.9863080972445986, 0.16491312048997012),
        (-0.9873014181578584, 0.15885814333386145),
        (-0.9882575677307495, 0.15279718525844369),
        (-0.989176509964781, 0.1467304744553618),
        (-0.990058210262297, 0.14065823933284952),
        (-0.99090263542778, 0.13458070850712628),
        (-0.9917097536690995, 0.12849811079379306),
        (-0.99247953459871, 0.12241067519921635),
        (-0.9932119492347945, 0.11631863091190471),
        (-0.9939069700023561, 0.11022220729388325),
        (-0.9945645707342554, 0.10412163387205457),
        (-0.9951847266721968, 0.09801714032956084),
        (-0.9957674144676598, 0.09190895649713277),
        (-0.996312612182778, 0.08579731234444016),
        (-0.9968202992911657, 0.0796824379714302),
        (-0.9972904566786902, 0.07356456359966775),
        (-0.9977230666441916, 0.06744391956366418),
        (-0.9981181129001492, 0.061320736302208495),
        (-0.9984755805732948, 0.055195244349690094),
        (-0.9987954562051724, 0.04906767432741797),
        (-0.9990777277526454, 0.04293825693494102),
        (-0.9993223845883495, 0.03680722294135883),
        (-0.9995294175010931, 0.030674803176636865),
        (-0.9996988186962042, 0.024541228522912326),
        (-0.9998305817958234, 0.0184067299058051),
        (-0.9999247018391445, 0.012271538285720007),
        (-0.9999811752826011, 0.006135884649154799),
        (-1.0, 1.2246467991473532e-16),
        (-0.9999811752826011, -0.006135884649154554),
        (-0.9999247018391445, -0.01227153828571976),
        (-0.9998305817958234, -0.01840672990580486),
        (-0.9996988186962042, -0.024541228522912083),
        (-0.9995294175010931, -0.030674803176636622),
        (-0.9993223845883495, -0.03680722294135858),
        (-0.9990777277526454, -0.04293825693494077),
        (-0.9987954562051724, -0.049067674327417724),
        (-0.9984755805732948, -0.05519524434968985),
        (-0.9981181129001492, -0.061320736302208245),
        (-0.9977230666441916, -0.06744391956366393),
        (-0.9972904566786902, -0.0735645635996675),
        (-0.9968202992911658, -0.07968243797142995),
        (-0.996312612182778, -0.08579731234443992),
        (-0.9957674144676598, -0.09190895649713252),
        (-0.9951847266721969, -0.09801714032956059),
        (-0.9945645707342555, -0.10412163387205432),
        (-0.9939069700023561, -0.110222207293883),
        (-0.9932119492347946, -0.11631863091190446),
        (-0.99247953459871, -0.1224106751992161),
        (-0.9917097536690995, -0.12849811079379284),
        (-0.99090263542778, -0.13458070850712606),
        (-0.9900582102622971, -0.1406582393328493),
        (-0.989176509964781, -0.14673047445536158),
        (-0.9882575677307495, -0.15279718525844346),
        (-0.9873014181578584, -0.15885814333386122),
        (-0.9863080972445987, -0.16491312048996992),
        (-0.9852776423889413, -0.17096188876030097),
        (-0.9842100923869291, -0.1770042204121487),
        (-0.9831054874312164, -0.18303988795514067),
        (-0.9819638691095552, -0.1890686641498061),
        (-0.9807852804032304, -0.19509032201612836),
        (-0.9795697656854405, -0.20110463484209176),
        (-0.9783173707196277, -0.20711137619221862),
        (-0.9770281426577544, -0.2131103199160912),
        (-0.9757021300385286, -0.21910124015686983),
        (-0.9743393827855759, -0.2250839113597926),
        (-0.9729399522055602, -0.2310581082806711),
        (-0.9715038909862519, -0.23702360599436695),
        (-0.970031253194544, -0.24298017990326382),
        (-0.9685220942744174, -0.24892760574571987),
        (-0.9669764710448522, -0.25486565960451446),
        (-0.9653944416976894, -0.2607941179152756),
        (-0.96377606579544, -0.26671275747489825),
        (-0.9621214042690416, -0.27262135544994903),
        (-0.9604305194155659, -0.2785196893850529),
        (-0.9587034748958716, -0.2844075372112719),
        (-0.9569403357322089, -0.29028467725446216),
        (-0.9551411683057707, -0.2961508882436238),
        (-0.953306040354194, -0.3020059493192278),
        (-0.9514350209690083, -0.3078496400415348),
        (-0.9495281805930368, -0.3136817403988912),
        (-0.9475855910177412, -0.3195020308160156),
        (-0.9456073253805213, -0.32531029216226304),
        (-0.9435934581619604, -0.33110630575987626),
        (-0.9415440651830208, -0.3368898533922201),
        (-0.93945922360219, -0.3426607173119942),
        (-0.937339011912575, -0.34841868024943456),
        (-0.9351835099389476, -0.3541635254204902),
        (-0.932992798834739, -0.3598950365349881),
        (-0.9307669610789838, -0.36561299780477363),
        (-0.9285060804732156, -0.3713171939518375),
        (-0.9262102421383115, -0.3770074102164179),
        (-0.9238795325112867, -0.38268343236508967),
        (-0.9215140393420419, -0.38834504669882636),
        (-0.9191138516900578, -0.39399204006104793),
        (-0.9166790599210427, -0.39962419984564684),
        (-0.9142097557035307, -0.4052413140049897),
        (-0.9117060320054299, -0.4108431710579039),
        (-0.9091679830905225, -0.41642956009763693),
        (-0.9065957045149153, -0.4220002707997996),
        (-0.9039892931234434, -0.4275550934302818),
        (-0.901348847046022, -0.4330938188531519),
        (-0.898674465693954, -0.4386162385385273),
        (-0.8959662497561852, -0.4441221445704291),
        (-0.8932243011955153, -0.44961132965460665),
        (-0.890448723244758, -0.45508358712634367),
        (-0.8876396204028539, -0.46053871095824006),
        (-0.8847970984309379, -0.46597649576796596),
        (-0.881921264348355, -0.47139673682599764),
        (-0.8790122264286336, -0.4767992300633219),
        (-0.8760700941954066, -0.4821837720791227),
        (-0.8730949784182902, -0.4875501601484357),
        (-0.8700869911087115, -0.4928981922297839),
        (-0.8670462455156929, -0.49822766697278154),
        (-0.8639728561215868, -0.5035383837257175),
        (-0.8608669386377672, -0.5088301425431071),
        (-0.8577286100002721, -0.5141027441932216),
        (-0.8545579883654005, -0.5193559901655896),
        (-0.8513551931052652, -0.5245896826784687),
        (-0.8481203448032972, -0.5298036246862946),
        (-0.8448535652497072, -0.5349976198870969),
        (-0.8415549774368984, -0.5401714727298929),
        (-0.8382247055548382, -0.5453249884220461),
        (-0.8348628749863801, -0.5504579729366047),
        (-0.8314696123025455, -0.555570233019602),
        (-0.8280450452577559, -0.5606615761973359),
        (-0.8245893027850253, -0.5657318107836132),
        (-0.8211025149911048, -0.5707807458869671),
        (-0.8175848131515837, -0.5758081914178453),
        (-0.8140363297059485, -0.5808139580957643),
        (-0.8104571982525948, -0.5857978574564389),
        (-0.8068475535437994, -0.590759701858874),
        (-0.8032075314806449, -0.5956993044924332),
        (-0.7995372691079052, -0.6006164793838686),
        (-0.7958369046088836, -0.6055110414043254),
        (-0.7921065773002123, -0.6103828062763095),
        (-0.7883464276266063, -0.6152315905806267),
        (-0.7845565971555752, -0.6200572117632892),
        (-0.7807372285720946, -0.6248594881423862),
        (-0.7768884656732324, -0.629638238914927),
        (-0.7730104533627371, -0.6343932841636453),
        (-0.7691033376455797, -0.6391244448637757),
        (-0.7651672656224591, -0.6438315428897913),
        (-0.7612023854842619, -0.6485144010221124),
        (-0.7572088465064848, -0.6531728429537765),
        (-0.7531867990436125, -0.6578066932970785),
        (-0.7491363945234593, -0.6624157775901718),
        (-0.7450577854414661, -0.6669999223036374),
        (-0.740951125354959, -0.6715589548470184),
        (-0.73681656887737, -0.6760927035753158),
        (-0.7326542716724128, -0.680600997795453),
        (-0.7284643904482253, -0.6850836677727002),
        (-0.724247082951467, -0.6895405447370668),
        (-0.7200025079613819, -0.6939714608896538),
        (-0.7157308252838187, -0.6983762494089728),
        (-0.7114321957452168, -0.7027547444572251),
        (-0.7071067811865477, -0.7071067811865475),
        (-0.7027547444572253, -0.7114321957452164),
        (-0.698376249408973, -0.7157308252838185),
        (-0.693971460889654, -0.7200025079613817),
        (-0.6895405447370672, -0.7242470829514667),
        (-0.6850836677727005, -0.7284643904482252),
        (-0.6806009977954532, -0.7326542716724126),
        (-0.676092703575316, -0.7368165688773698),
        (-0.6715589548470187, -0.7409511253549588),
        (-0.6669999223036376, -0.7450577854414658),
        (-0.6624157775901721, -0.749136394523459),
        (-0.6578066932970789, -0.7531867990436123),
        (-0.6531728429537771, -0.7572088465064842),
        (-0.6485144010221123, -0.761202385484262),
        (-0.6438315428897915, -0.7651672656224588),
        (-0.639124444863776, -0.7691033376455795),
        (-0.6343932841636459, -0.7730104533627367),
        (-0.629638238914927, -0.7768884656732326),
        (-0.6248594881423865, -0.7807372285720944),
        (-0.6200572117632894, -0.784556597155575),
        (-0.6152315905806274, -0.7883464276266059),
        (-0.6103828062763095, -0.7921065773002124),
        (-0.6055110414043257, -0.7958369046088833),
        (-0.6006164793838693, -0.7995372691079048),
        (-0.5956993044924332, -0.803207531480645),
        (-0.5907597018588743, -0.8068475535437992),
        (-0.5857978574564391, -0.8104571982525947),
        (-0.580813958095765, -0.8140363297059481),
        (-0.5758081914178452, -0.8175848131515837),
        (-0.5707807458869674, -0.8211025149911046),
        (-0.5657318107836136, -0.8245893027850251),
        (-0.5606615761973366, -0.8280450452577555),
        (-0.5555702330196022, -0.8314696123025452),
        (-0.550457972936605, -0.8348628749863799),
        (-0.5453249884220468, -0.8382247055548377),
        (-0.5401714727298927, -0.8415549774368986),
        (-0.5349976198870973, -0.8448535652497071),
        (-0.5298036246862949, -0.8481203448032971),
        (-0.5245896826784694, -0.8513551931052649),
        (-0.5193559901655895, -0.8545579883654005),
        (-0.5141027441932219, -0.857728610000272),
        (-0.5088301425431073, -0.8608669386377671),
        (-0.5035383837257181, -0.8639728561215865),
        (-0.49822766697278187, -0.8670462455156926),
        (-0.49289819222978426, -0.8700869911087113),
        (-0.4875501601484364, -0.8730949784182899),
        (-0.4821837720791226, -0.8760700941954067),
        (-0.47679923006332214, -0.8790122264286335),
        (-0.47139673682599786, -0.8819212643483549),
        (-0.4659764957679666, -0.8847970984309376),
        (-0.4605387109582399, -0.887639620402854),
        (-0.4550835871263439, -0.8904487232447579),
        (-0.44961132965460693, -0.8932243011955152),
        (-0.44412214457042976, -0.8959662497561849),
        (-0.4386162385385276, -0.8986744656939538),
        (-0.4330938188531521, -0.9013488470460219),
        (-0.4275550934302825, -0.9039892931234431),
        (-0.4220002707997995, -0.9065957045149154),
        (-0.4164295600976372, -0.9091679830905224),
        (-0.4108431710579042, -0.9117060320054298),
        (-0.40524131400499036, -0.9142097557035305),
        (-0.39962419984564673, -0.9166790599210427),
        (-0.3939920400610482, -0.9191138516900577),
        (-0.38834504669882663, -0.9215140393420418),
        (-0.38268343236509034, -0.9238795325112865),
        (-0.3770074102164182, -0.9262102421383114),
        (-0.3713171939518377, -0.9285060804732155),
        (-0.3656129978047743, -0.9307669610789836),
        (-0.35989503653498794, -0.932992798834739),
        (-0.3541635254204904, -0.9351835099389476),
        (-0.34841868024943484, -0.9373390119125748),
        (-0.3426607173119949, -0.9394592236021897),
        (-0.33688985339221994, -0.9415440651830208),
        (-0.33110630575987654, -0.9435934581619603),
        (-0.32531029216226326, -0.9456073253805212),
        (-0.3195020308160154, -0.9475855910177412),
        (-0.31368174039889146, -0.9495281805930367),
        (-0.3078496400415351, -0.9514350209690083),
        (-0.3020059493192285, -0.9533060403541938),
        (-0.2961508882436236, -0.9551411683057708),
        (-0.2902846772544624, -0.9569403357322088),
        (-0.2844075372112721, -0.9587034748958715),
        (-0.2785196893850536, -0.9604305194155657),
        (-0.27262135544994887, -0.9621214042690416),
        (-0.26671275747489853, -0.9637760657954398),
        (-0.2607941179152759, -0.9653944416976893),
        (-0.2548656596045143, -0.9669764710448522),
        (-0.24892760574572015, -0.9685220942744173),
        (-0.24298017990326412, -0.970031253194544),
        (-0.23702360599436767, -0.9715038909862517),
        (-0.23105810828067097, -0.9729399522055602),
        (-0.22508391135979292, -0.9743393827855759),
        (-0.2191012401568701, -0.9757021300385285),
        (-0.21311031991609192, -0.9770281426577543),
        (-0.20711137619221848, -0.9783173707196277),
        (-0.20110463484209207, -0.9795697656854405),
        (-0.19509032201612866, -0.9807852804032303),
        (-0.18906866414980597, -0.9819638691095554),
        (-0.18303988795514098, -0.9831054874312163),
        (-0.177004220412149, -0.984210092386929),
        (-0.17096188876030172, -0.9852776423889411),
        (-0.16491312048996978, -0.9863080972445987),
        (-0.15885814333386153, -0.9873014181578583),
        (-0.15279718525844377, -0.9882575677307495),
        (-0.14673047445536233, -0.9891765099647809),
        (-0.14065823933284916, -0.9900582102622971),
        (-0.13458070850712636, -0.99090263542778),
        (-0.12849811079379359, -0.9917097536690995),
        (-0.12241067519921596, -0.9924795345987101),
        (-0.11631863091190477, -0.9932119492347945),
        (-0.11022220729388331, -0.9939069700023561),
        (-0.10412163387205507, -0.9945645707342554),
        (-0.09801714032956045, -0.9951847266721969),
        (-0.09190895649713282, -0.9957674144676598),
        (-0.08579731234444021, -0.996312612182778),
        (-0.0796824379714307, -0.9968202992911657),
        (-0.07356456359966736, -0.9972904566786902),
        (-0.06744391956366423, -0.9977230666441916),
        (-0.06132073630220899, -0.9981181129001492),
        (-0.05519524434968971, -0.9984755805732948),
        (-0.04906767432741803, -0.9987954562051724),
        (-0.04293825693494108, -0.9990777277526454),
        (-0.03680722294135933, -0.9993223845883494),
        (-0.030674803176636484, -0.9995294175010931),
        (-0.02454122852291239, -0.9996988186962042),
        (-0.018406729905805164, -0.9998305817958234),
        (-0.012271538285720512, -0.9999247018391445),
        (-0.006135884649154416, -0.9999811752826011),
        (-1.8369701987210297e-16, -1.0),
        (0.0061358846491540485, -0.9999811752826011),
        (0.012271538285720144, -0.9999247018391445),
        (0.018406729905804796, -0.9998305817958234),
        (0.02454122852291202, -0.9996988186962042),
        (0.030674803176636116, -0.9995294175010931),
        (0.03680722294135897, -0.9993223845883495),
        (0.042938256934940716, -0.9990777277526454),
        (0.04906767432741767, -0.9987954562051724),
        (0.05519524434968935, -0.9984755805732948),
        (0.061320736302208634, -0.9981181129001492),
        (0.06744391956366387, -0.9977230666441916),
        (0.073564563599667, -0.9972904566786902),
        (0.07968243797143033, -0.9968202992911657),
        (0.08579731234443987, -0.996312612182778),
        (0.09190895649713246, -0.9957674144676598),
        (0.09801714032956009, -0.9951847266721969),
        (0.10412163387205471, -0.9945645707342554),
        (0.11022220729388295, -0.9939069700023561),
        (0.1163186309119044, -0.9932119492347946),
        (0.1224106751992156, -0.9924795345987101),
        (0.1284981107937932, -0.9917097536690995),
        (0.13458070850712597, -0.99090263542778),
        (0.14065823933284877, -0.9900582102622971),
        (0.14673047445536194, -0.9891765099647809),
        (0.15279718525844338, -0.9882575677307495),
        (0.15885814333386114, -0.9873014181578584),
        (0.1649131204899694, -0.9863080972445988),
        (0.17096188876030133, -0.9852776423889412),
        (0.1770042204121486, -0.9842100923869291),
        (0.1830398879551406, -0.9831054874312164),
        (0.1890686641498056, -0.9819638691095554),
        (0.19509032201612828, -0.9807852804032304),
        (0.2011046348420917, -0.9795697656854406),
        (0.2071113761922181, -0.9783173707196278),
        (0.21311031991609156, -0.9770281426577543),
        (0.21910124015686974, -0.9757021300385286),
        (0.22508391135979253, -0.974339382785576),
        (0.23105810828067058, -0.9729399522055603),
        (0.2370236059943673, -0.9715038909862518),
        (0.24298017990326376, -0.970031253194544),
        (0.24892760574571982, -0.9685220942744174),
        (0.25486565960451396, -0.9669764710448523),
        (0.26079411791527557, -0.9653944416976894),
        (0.2667127574748982, -0.96377606579544),
        (0.27262135544994853, -0.9621214042690417),
        (0.2785196893850533, -0.9604305194155658),
        (0.2844075372112718, -0.9587034748958716),
        (0.2902846772544621, -0.9569403357322089),
        (0.2961508882436233, -0.9551411683057709),
        (0.3020059493192282, -0.9533060403541938),
        (0.30784964004153476, -0.9514350209690084),
        (0.31368174039889113, -0.9495281805930368),
        (0.3195020308160151, -0.9475855910177413),
        (0.325310292162263, -0.9456073253805213),
        (0.3311063057598762, -0.9435934581619604),
        (0.3368898533922196, -0.9415440651830209),
        (0.34266071731199454, -0.9394592236021898),
        (0.3484186802494345, -0.937339011912575),
        (0.3541635254204901, -0.9351835099389477),
        (0.35989503653498767, -0.9329927988347391),
        (0.36561299780477396, -0.9307669610789837),
        (0.37131719395183743, -0.9285060804732156),
        (0.3770074102164179, -0.9262102421383115),
        (0.38268343236509, -0.9238795325112866),
        (0.3883450466988263, -0.9215140393420419),
        (0.39399204006104793, -0.9191138516900579),
        (0.3996241998456464, -0.9166790599210428),
        (0.40524131400499, -0.9142097557035306),
        (0.4108431710579039, -0.9117060320054299),
        (0.4164295600976369, -0.9091679830905225),
        (0.4220002707997992, -0.9065957045149156),
        (0.4275550934302822, -0.9039892931234433),
        (0.43309381885315185, -0.901348847046022),
        (0.43861623853852727, -0.898674465693954),
        (0.4441221445704295, -0.895966249756185),
        (0.4496113296546066, -0.8932243011955153),
        (0.4550835871263436, -0.890448723244758),
        (0.4605387109582396, -0.8876396204028542),
        (0.46597649576796635, -0.8847970984309377),
        (0.4713967368259976, -0.881921264348355),
        (0.47679923006332187, -0.8790122264286336),
        (0.4821837720791222, -0.8760700941954069),
        (0.487550160148436, -0.8730949784182901),
        (0.49289819222978387, -0.8700869911087115),
        (0.4982276669727815, -0.8670462455156929),
        (0.5035383837257177, -0.8639728561215867),
        (0.508830142543107, -0.8608669386377673),
        (0.5141027441932214, -0.8577286100002722),
        (0.5193559901655891, -0.8545579883654009),
        (0.524589682678469, -0.8513551931052651),
        (0.5298036246862945, -0.8481203448032973),
        (0.5349976198870969, -0.8448535652497073),
        (0.5401714727298924, -0.8415549774368988),
        (0.5453249884220465, -0.838224705554838),
        (0.5504579729366046, -0.8348628749863802),
        (0.5555702330196018, -0.8314696123025456),
        (0.5606615761973361, -0.8280450452577557),
        (0.5657318107836131, -0.8245893027850253),
        (0.570780745886967, -0.8211025149911049),
        (0.5758081914178449, -0.817584813151584),
        (0.5808139580957646, -0.8140363297059483),
        (0.5857978574564388, -0.8104571982525949),
        (0.5907597018588739, -0.8068475535437996),
        (0.5956993044924328, -0.8032075314806453),
        (0.600616479383869, -0.799537269107905),
        (0.6055110414043253, -0.7958369046088837),
        (0.610382806276309, -0.7921065773002127),
        (0.6152315905806269, -0.7883464276266061),
        (0.6200572117632891, -0.7845565971555752),
        (0.6248594881423861, -0.7807372285720947),
        (0.6296382389149267, -0.7768884656732328),
        (0.6343932841636456, -0.7730104533627369),
        (0.6391244448637756, -0.7691033376455797),
        (0.6438315428897912, -0.7651672656224592),
        (0.648514401022112, -0.7612023854842622),
        (0.6531728429537768, -0.7572088465064846),
        (0.6578066932970785, -0.7531867990436126),
        (0.6624157775901715, -0.7491363945234597),
        (0.6669999223036376, -0.7450577854414658),
        (0.6715589548470183, -0.7409511253549592),
        (0.6760927035753157, -0.7368165688773701),
        (0.6806009977954527, -0.7326542716724131),
        (0.6850836677727005, -0.7284643904482252),
        (0.6895405447370668, -0.7242470829514671),
        (0.6939714608896537, -0.7200025079613819),
        (0.6983762494089724, -0.715730825283819),
        (0.7027547444572253, -0.7114321957452164),
        (0.7071067811865475, -0.7071067811865477),
        (0.7114321957452161, -0.7027547444572256),
        (0.7157308252838188, -0.6983762494089727),
        (0.7200025079613817, -0.693971460889654),
        (0.7242470829514667, -0.6895405447370672),
        (0.7284643904482249, -0.6850836677727008),
        (0.7326542716724129, -0.680600997795453),
        (0.7368165688773698, -0.676092703575316),
        (0.7409511253549588, -0.6715589548470187),
        (0.7450577854414655, -0.666999922303638),
        (0.7491363945234594, -0.6624157775901718),
        (0.7531867990436123, -0.6578066932970789),
        (0.7572088465064842, -0.6531728429537771),
        (0.761202385484262, -0.6485144010221123),
        (0.7651672656224588, -0.6438315428897915),
        (0.7691033376455795, -0.639124444863776),
        (0.7730104533627367, -0.6343932841636459),
        (0.7768884656732326, -0.629638238914927),
        (0.7807372285720944, -0.6248594881423865),
        (0.784556597155575, -0.6200572117632894),
        (0.7883464276266059, -0.6152315905806274),
        (0.7921065773002124, -0.6103828062763095),
        (0.7958369046088833, -0.6055110414043257),
        (0.7995372691079048, -0.6006164793838693),
        (0.803207531480645, -0.5956993044924332),
        (0.8068475535437992, -0.5907597018588743),
        (0.8104571982525947, -0.5857978574564391),
        (0.8140363297059481, -0.580813958095765),
        (0.8175848131515837, -0.5758081914178452),
        (0.8211025149911046, -0.5707807458869674),
        (0.8245893027850251, -0.5657318107836136),
        (0.8280450452577555, -0.5606615761973366),
        (0.8314696123025452, -0.5555702330196022),
        (0.8348628749863799, -0.550457972936605),
        (0.8382247055548377, -0.5453249884220468),
        (0.8415549774368986, -0.5401714727298927),
        (0.8448535652497071, -0.5349976198870973),
        (0.8481203448032971, -0.5298036246862949),
        (0.8513551931052649, -0.5245896826784694),
        (0.8545579883654005, -0.5193559901655895),
        (0.857728610000272, -0.5141027441932219),
        (0.8608669386377671, -0.5088301425431073),
        (0.8639728561215865, -0.5035383837257181),
        (0.8670462455156926, -0.49822766697278187),
        (0.8700869911087113, -0.49289819222978426),
        (0.8730949784182899, -0.4875501601484364),
        (0.8760700941954067, -0.4821837720791226),
        (0.8790122264286334, -0.4767992300633222),
        (0.8819212643483549, -0.4713967368259979),
        (0.8847970984309375, -0.4659764957679667),
        (0.887639620402854, -0.46053871095823995),
        (0.8904487232447578, -0.45508358712634395),
        (0.8932243011955151, -0.449611329654607),
        (0.8959662497561849, -0.4441221445704298),
        (0.8986744656939538, -0.43861623853852766),
        (0.9013488470460219, -0.4330938188531522),
        (0.9039892931234431, -0.42755509343028253),
        (0.9065957045149154, -0.4220002707997995),
        (0.9091679830905224, -0.41642956009763726),
        (0.9117060320054298, -0.41084317105790424),
        (0.9142097557035305, -0.4052413140049904),
        (0.9166790599210427, -0.39962419984564673),
        (0.9191138516900577, -0.39399204006104827),
        (0.9215140393420418, -0.3883450466988267),
        (0.9238795325112865, -0.3826834323650904),
        (0.9262102421383114, -0.37700741021641826),
        (0.9285060804732155, -0.37131719395183777),
        (0.9307669610789836, -0.36561299780477435),
        (0.932992798834739, -0.359895036534988),
        (0.9351835099389475, -0.35416352542049045),
        (0.9373390119125748, -0.3484186802494349),
        (0.9394592236021897, -0.34266071731199493),
        (0.9415440651830208, -0.33688985339222),
        (0.9435934581619603, -0.33110630575987654),
        (0.9456073253805212, -0.3253102921622633),
        (0.9475855910177412, -0.31950203081601547),
        (0.9495281805930367, -0.3136817403988915),
        (0.9514350209690083, -0.30784964004153514),
        (0.9533060403541936, -0.30200594931922853),
        (0.9551411683057708, -0.2961508882436237),
        (0.9569403357322088, -0.29028467725446244),
        (0.9587034748958715, -0.28440753721127215),
        (0.9604305194155657, -0.27851968938505367),
        (0.9621214042690416, -0.2726213554499489),
        (0.9637760657954398, -0.2667127574748986),
        (0.9653944416976893, -0.26079411791527596),
        (0.9669764710448522, -0.25486565960451435),
        (0.9685220942744173, -0.2489276057457202),
        (0.970031253194544, -0.24298017990326418),
        (0.9715038909862517, -0.23702360599436773),
        (0.9729399522055602, -0.23105810828067103),
        (0.9743393827855759, -0.22508391135979297),
        (0.9757021300385285, -0.21910124015687016),
        (0.9770281426577542, -0.21311031991609197),
        (0.9783173707196277, -0.20711137619221853),
        (0.9795697656854405, -0.20110463484209212),
        (0.9807852804032303, -0.19509032201612872),
        (0.9819638691095554, -0.18906866414980603),
        (0.9831054874312163, -0.18303988795514103),
        (0.984210092386929, -0.17700422041214905),
        (0.9852776423889411, -0.17096188876030177),
        (0.9863080972445987, -0.16491312048996984),
        (0.9873014181578583, -0.15885814333386158),
        (0.9882575677307495, -0.15279718525844382),
        (0.9891765099647809, -0.1467304744553624),
        (0.9900582102622971, -0.1406582393328492),
        (0.99090263542778, -0.13458070850712642),
        (0.9917097536690994, -0.12849811079379364),
        (0.99247953459871, -0.12241067519921603),
        (0.9932119492347945, -0.11631863091190484),
        (0.9939069700023561, -0.11022220729388338),
        (0.9945645707342554, -0.10412163387205513),
        (0.9951847266721969, -0.09801714032956052),
        (0.9957674144676598, -0.09190895649713289),
        (0.996312612182778, -0.08579731234444028),
        (0.9968202992911657, -0.07968243797143076),
        (0.9972904566786902, -0.07356456359966743),
        (0.9977230666441916, -0.0674439195636643),
        (0.9981181129001492, -0.06132073630220905),
        (0.9984755805732948, -0.055195244349689775),
        (0.9987954562051724, -0.04906767432741809),
        (0.9990777277526454, -0.04293825693494114),
        (0.9993223845883494, -0.036807222941359394),
        (0.9995294175010931, -0.030674803176636546),
        (0.9996988186962042, -0.02454122852291245),
        (0.9998305817958234, -0.018406729905805226),
        (0.9999247018391445, -0.012271538285720572),
        (0.9999811752826011, -0.006135884649154477)
    ]

import submodule falcon_inst