use crate::Fp;
pub const SIN_TABLE: [Fp; 256] = [
Fp(0),
Fp(1_608),
Fp(3_216),
Fp(4_821),
Fp(6_424),
Fp(8_022),
Fp(9_616),
Fp(11_204),
Fp(12_785),
Fp(14_359),
Fp(15_924),
Fp(17_479),
Fp(19_024),
Fp(20_557),
Fp(22_078),
Fp(23_586),
Fp(25_080),
Fp(26_558),
Fp(28_020),
Fp(29_466),
Fp(30_893),
Fp(32_303),
Fp(33_692),
Fp(35_062),
Fp(36_410),
Fp(37_736),
Fp(39_040),
Fp(40_320),
Fp(41_576),
Fp(42_806),
Fp(44_011),
Fp(45_190),
Fp(46_341),
Fp(47_464),
Fp(48_559),
Fp(49_624),
Fp(50_660),
Fp(51_665),
Fp(52_639),
Fp(53_581),
Fp(54_491),
Fp(55_368),
Fp(56_212),
Fp(57_022),
Fp(57_798),
Fp(58_538),
Fp(59_244),
Fp(59_914),
Fp(60_547),
Fp(61_145),
Fp(61_705),
Fp(62_228),
Fp(62_714),
Fp(63_162),
Fp(63_572),
Fp(63_944),
Fp(64_277),
Fp(64_571),
Fp(64_827),
Fp(65_043),
Fp(65_220),
Fp(65_358),
Fp(65_457),
Fp(65_516),
Fp(65_536),
Fp(65_516),
Fp(65_457),
Fp(65_358),
Fp(65_220),
Fp(65_043),
Fp(64_827),
Fp(64_571),
Fp(64_277),
Fp(63_944),
Fp(63_572),
Fp(63_162),
Fp(62_714),
Fp(62_228),
Fp(61_705),
Fp(61_145),
Fp(60_547),
Fp(59_914),
Fp(59_244),
Fp(58_538),
Fp(57_798),
Fp(57_022),
Fp(56_212),
Fp(55_368),
Fp(54_491),
Fp(53_581),
Fp(52_639),
Fp(51_665),
Fp(50_660),
Fp(49_624),
Fp(48_559),
Fp(47_464),
Fp(46_341),
Fp(45_190),
Fp(44_011),
Fp(42_806),
Fp(41_576),
Fp(40_320),
Fp(39_040),
Fp(37_736),
Fp(36_410),
Fp(35_062),
Fp(33_692),
Fp(32_303),
Fp(30_893),
Fp(29_466),
Fp(28_020),
Fp(26_558),
Fp(25_080),
Fp(23_586),
Fp(22_078),
Fp(20_557),
Fp(19_024),
Fp(17_479),
Fp(15_924),
Fp(14_359),
Fp(12_785),
Fp(11_204),
Fp(9_616),
Fp(8_022),
Fp(6_424),
Fp(4_821),
Fp(3_216),
Fp(1_608),
Fp(0),
Fp(-1_608),
Fp(-3_216),
Fp(-4_821),
Fp(-6_424),
Fp(-8_022),
Fp(-9_616),
Fp(-11_204),
Fp(-12_785),
Fp(-14_359),
Fp(-15_924),
Fp(-17_479),
Fp(-19_024),
Fp(-20_557),
Fp(-22_078),
Fp(-23_586),
Fp(-25_080),
Fp(-26_558),
Fp(-28_020),
Fp(-29_466),
Fp(-30_893),
Fp(-32_303),
Fp(-33_692),
Fp(-35_062),
Fp(-36_410),
Fp(-37_736),
Fp(-39_040),
Fp(-40_320),
Fp(-41_576),
Fp(-42_806),
Fp(-44_011),
Fp(-45_190),
Fp(-46_341),
Fp(-47_464),
Fp(-48_559),
Fp(-49_624),
Fp(-50_660),
Fp(-51_665),
Fp(-52_639),
Fp(-53_581),
Fp(-54_491),
Fp(-55_368),
Fp(-56_212),
Fp(-57_022),
Fp(-57_798),
Fp(-58_538),
Fp(-59_244),
Fp(-59_914),
Fp(-60_547),
Fp(-61_145),
Fp(-61_705),
Fp(-62_228),
Fp(-62_714),
Fp(-63_162),
Fp(-63_572),
Fp(-63_944),
Fp(-64_277),
Fp(-64_571),
Fp(-64_827),
Fp(-65_043),
Fp(-65_220),
Fp(-65_358),
Fp(-65_457),
Fp(-65_516),
Fp(-65_536),
Fp(-65_516),
Fp(-65_457),
Fp(-65_358),
Fp(-65_220),
Fp(-65_043),
Fp(-64_827),
Fp(-64_571),
Fp(-64_277),
Fp(-63_944),
Fp(-63_572),
Fp(-63_162),
Fp(-62_714),
Fp(-62_228),
Fp(-61_705),
Fp(-61_145),
Fp(-60_547),
Fp(-59_914),
Fp(-59_244),
Fp(-58_538),
Fp(-57_798),
Fp(-57_022),
Fp(-56_212),
Fp(-55_368),
Fp(-54_491),
Fp(-53_581),
Fp(-52_639),
Fp(-51_665),
Fp(-50_660),
Fp(-49_624),
Fp(-48_559),
Fp(-47_464),
Fp(-46_341),
Fp(-45_190),
Fp(-44_011),
Fp(-42_806),
Fp(-41_576),
Fp(-40_320),
Fp(-39_040),
Fp(-37_736),
Fp(-36_410),
Fp(-35_062),
Fp(-33_692),
Fp(-32_303),
Fp(-30_893),
Fp(-29_466),
Fp(-28_020),
Fp(-26_558),
Fp(-25_080),
Fp(-23_586),
Fp(-22_078),
Fp(-20_557),
Fp(-19_024),
Fp(-17_479),
Fp(-15_924),
Fp(-14_359),
Fp(-12_785),
Fp(-11_204),
Fp(-9_616),
Fp(-8_022),
Fp(-6_424),
Fp(-4_821),
Fp(-3_216),
Fp(-1_608),
];
pub const COS_TABLE: [Fp; 256] = [
Fp(65_536),
Fp(65_516),
Fp(65_457),
Fp(65_358),
Fp(65_220),
Fp(65_043),
Fp(64_827),
Fp(64_571),
Fp(64_277),
Fp(63_944),
Fp(63_572),
Fp(63_162),
Fp(62_714),
Fp(62_228),
Fp(61_705),
Fp(61_145),
Fp(60_547),
Fp(59_914),
Fp(59_244),
Fp(58_538),
Fp(57_798),
Fp(57_022),
Fp(56_212),
Fp(55_368),
Fp(54_491),
Fp(53_581),
Fp(52_639),
Fp(51_665),
Fp(50_660),
Fp(49_624),
Fp(48_559),
Fp(47_464),
Fp(46_341),
Fp(45_190),
Fp(44_011),
Fp(42_806),
Fp(41_576),
Fp(40_320),
Fp(39_040),
Fp(37_736),
Fp(36_410),
Fp(35_062),
Fp(33_692),
Fp(32_303),
Fp(30_893),
Fp(29_466),
Fp(28_020),
Fp(26_558),
Fp(25_080),
Fp(23_586),
Fp(22_078),
Fp(20_557),
Fp(19_024),
Fp(17_479),
Fp(15_924),
Fp(14_359),
Fp(12_785),
Fp(11_204),
Fp(9_616),
Fp(8_022),
Fp(6_424),
Fp(4_821),
Fp(3_216),
Fp(1_608),
Fp(0),
Fp(-1_608),
Fp(-3_216),
Fp(-4_821),
Fp(-6_424),
Fp(-8_022),
Fp(-9_616),
Fp(-11_204),
Fp(-12_785),
Fp(-14_359),
Fp(-15_924),
Fp(-17_479),
Fp(-19_024),
Fp(-20_557),
Fp(-22_078),
Fp(-23_586),
Fp(-25_080),
Fp(-26_558),
Fp(-28_020),
Fp(-29_466),
Fp(-30_893),
Fp(-32_303),
Fp(-33_692),
Fp(-35_062),
Fp(-36_410),
Fp(-37_736),
Fp(-39_040),
Fp(-40_320),
Fp(-41_576),
Fp(-42_806),
Fp(-44_011),
Fp(-45_190),
Fp(-46_341),
Fp(-47_464),
Fp(-48_559),
Fp(-49_624),
Fp(-50_660),
Fp(-51_665),
Fp(-52_639),
Fp(-53_581),
Fp(-54_491),
Fp(-55_368),
Fp(-56_212),
Fp(-57_022),
Fp(-57_798),
Fp(-58_538),
Fp(-59_244),
Fp(-59_914),
Fp(-60_547),
Fp(-61_145),
Fp(-61_705),
Fp(-62_228),
Fp(-62_714),
Fp(-63_162),
Fp(-63_572),
Fp(-63_944),
Fp(-64_277),
Fp(-64_571),
Fp(-64_827),
Fp(-65_043),
Fp(-65_220),
Fp(-65_358),
Fp(-65_457),
Fp(-65_516),
Fp(-65_536),
Fp(-65_516),
Fp(-65_457),
Fp(-65_358),
Fp(-65_220),
Fp(-65_043),
Fp(-64_827),
Fp(-64_571),
Fp(-64_277),
Fp(-63_944),
Fp(-63_572),
Fp(-63_162),
Fp(-62_714),
Fp(-62_228),
Fp(-61_705),
Fp(-61_145),
Fp(-60_547),
Fp(-59_914),
Fp(-59_244),
Fp(-58_538),
Fp(-57_798),
Fp(-57_022),
Fp(-56_212),
Fp(-55_368),
Fp(-54_491),
Fp(-53_581),
Fp(-52_639),
Fp(-51_665),
Fp(-50_660),
Fp(-49_624),
Fp(-48_559),
Fp(-47_464),
Fp(-46_341),
Fp(-45_190),
Fp(-44_011),
Fp(-42_806),
Fp(-41_576),
Fp(-40_320),
Fp(-39_040),
Fp(-37_736),
Fp(-36_410),
Fp(-35_062),
Fp(-33_692),
Fp(-32_303),
Fp(-30_893),
Fp(-29_466),
Fp(-28_020),
Fp(-26_558),
Fp(-25_080),
Fp(-23_586),
Fp(-22_078),
Fp(-20_557),
Fp(-19_024),
Fp(-17_479),
Fp(-15_924),
Fp(-14_359),
Fp(-12_785),
Fp(-11_204),
Fp(-9_616),
Fp(-8_022),
Fp(-6_424),
Fp(-4_821),
Fp(-3_216),
Fp(-1_608),
Fp(0),
Fp(1_608),
Fp(3_216),
Fp(4_821),
Fp(6_424),
Fp(8_022),
Fp(9_616),
Fp(11_204),
Fp(12_785),
Fp(14_359),
Fp(15_924),
Fp(17_479),
Fp(19_024),
Fp(20_557),
Fp(22_078),
Fp(23_586),
Fp(25_080),
Fp(26_558),
Fp(28_020),
Fp(29_466),
Fp(30_893),
Fp(32_303),
Fp(33_692),
Fp(35_062),
Fp(36_410),
Fp(37_736),
Fp(39_040),
Fp(40_320),
Fp(41_576),
Fp(42_806),
Fp(44_011),
Fp(45_190),
Fp(46_341),
Fp(47_464),
Fp(48_559),
Fp(49_624),
Fp(50_660),
Fp(51_665),
Fp(52_639),
Fp(53_581),
Fp(54_491),
Fp(55_368),
Fp(56_212),
Fp(57_022),
Fp(57_798),
Fp(58_538),
Fp(59_244),
Fp(59_914),
Fp(60_547),
Fp(61_145),
Fp(61_705),
Fp(62_228),
Fp(62_714),
Fp(63_162),
Fp(63_572),
Fp(63_944),
Fp(64_277),
Fp(64_571),
Fp(64_827),
Fp(65_043),
Fp(65_220),
Fp(65_358),
Fp(65_457),
Fp(65_516),
];
pub const ASIN_TABLE: [Fp; 256] = [
Fp(-102_944),
Fp(-94_730),
Fp(-91_321),
Fp(-88_699),
Fp(-86_484),
Fp(-84_529),
Fp(-82_758),
Fp(-81_127),
Fp(-79_605),
Fp(-78_172),
Fp(-76_815),
Fp(-75_521),
Fp(-74_282),
Fp(-73_092),
Fp(-71_944),
Fp(-70_834),
Fp(-69_758),
Fp(-68_713),
Fp(-67_697),
Fp(-66_706),
Fp(-65_739),
Fp(-64_793),
Fp(-63_868),
Fp(-62_962),
Fp(-62_074),
Fp(-61_201),
Fp(-60_345),
Fp(-59_502),
Fp(-58_674),
Fp(-57_858),
Fp(-57_055),
Fp(-56_263),
Fp(-55_482),
Fp(-54_711),
Fp(-53_950),
Fp(-53_199),
Fp(-52_456),
Fp(-51_722),
Fp(-50_997),
Fp(-50_279),
Fp(-49_568),
Fp(-48_865),
Fp(-48_169),
Fp(-47_479),
Fp(-46_796),
Fp(-46_119),
Fp(-45_448),
Fp(-44_782),
Fp(-44_122),
Fp(-43_467),
Fp(-42_817),
Fp(-42_172),
Fp(-41_532),
Fp(-40_897),
Fp(-40_265),
Fp(-39_639),
Fp(-39_016),
Fp(-38_397),
Fp(-37_782),
Fp(-37_171),
Fp(-36_563),
Fp(-35_959),
Fp(-35_358),
Fp(-34_761),
Fp(-34_166),
Fp(-33_575),
Fp(-32_987),
Fp(-32_401),
Fp(-31_819),
Fp(-31_239),
Fp(-30_662),
Fp(-30_087),
Fp(-29_515),
Fp(-28_945),
Fp(-28_378),
Fp(-27_813),
Fp(-27_250),
Fp(-26_689),
Fp(-26_130),
Fp(-25_573),
Fp(-25_019),
Fp(-24_466),
Fp(-23_915),
Fp(-23_365),
Fp(-22_818),
Fp(-22_272),
Fp(-21_727),
Fp(-21_184),
Fp(-20_643),
Fp(-20_103),
Fp(-19_565),
Fp(-19_027),
Fp(-18_492),
Fp(-17_957),
Fp(-17_424),
Fp(-16_892),
Fp(-16_361),
Fp(-15_831),
Fp(-15_302),
Fp(-14_774),
Fp(-14_247),
Fp(-13_721),
Fp(-13_196),
Fp(-12_672),
Fp(-12_149),
Fp(-11_626),
Fp(-11_104),
Fp(-10_583),
Fp(-10_063),
Fp(-9_543),
Fp(-9_024),
Fp(-8_505),
Fp(-7_987),
Fp(-7_469),
Fp(-6_952),
Fp(-6_435),
Fp(-5_919),
Fp(-5_403),
Fp(-4_888),
Fp(-4_372),
Fp(-3_857),
Fp(-3_342),
Fp(-2_828),
Fp(-2_314),
Fp(-1_799),
Fp(-1_285),
Fp(-771),
Fp(-257),
Fp(257),
Fp(771),
Fp(1_285),
Fp(1_799),
Fp(2_314),
Fp(2_828),
Fp(3_342),
Fp(3_857),
Fp(4_372),
Fp(4_888),
Fp(5_403),
Fp(5_919),
Fp(6_435),
Fp(6_952),
Fp(7_469),
Fp(7_987),
Fp(8_505),
Fp(9_024),
Fp(9_543),
Fp(10_063),
Fp(10_583),
Fp(11_104),
Fp(11_626),
Fp(12_149),
Fp(12_672),
Fp(13_196),
Fp(13_721),
Fp(14_247),
Fp(14_774),
Fp(15_302),
Fp(15_831),
Fp(16_361),
Fp(16_892),
Fp(17_424),
Fp(17_957),
Fp(18_492),
Fp(19_027),
Fp(19_565),
Fp(20_103),
Fp(20_643),
Fp(21_184),
Fp(21_727),
Fp(22_272),
Fp(22_818),
Fp(23_365),
Fp(23_915),
Fp(24_466),
Fp(25_019),
Fp(25_573),
Fp(26_130),
Fp(26_689),
Fp(27_250),
Fp(27_813),
Fp(28_378),
Fp(28_945),
Fp(29_515),
Fp(30_087),
Fp(30_662),
Fp(31_239),
Fp(31_819),
Fp(32_401),
Fp(32_987),
Fp(33_575),
Fp(34_166),
Fp(34_761),
Fp(35_358),
Fp(35_959),
Fp(36_563),
Fp(37_171),
Fp(37_782),
Fp(38_397),
Fp(39_016),
Fp(39_639),
Fp(40_265),
Fp(40_897),
Fp(41_532),
Fp(42_172),
Fp(42_817),
Fp(43_467),
Fp(44_122),
Fp(44_782),
Fp(45_448),
Fp(46_119),
Fp(46_796),
Fp(47_479),
Fp(48_169),
Fp(48_865),
Fp(49_568),
Fp(50_279),
Fp(50_997),
Fp(51_722),
Fp(52_456),
Fp(53_199),
Fp(53_950),
Fp(54_711),
Fp(55_482),
Fp(56_263),
Fp(57_055),
Fp(57_858),
Fp(58_674),
Fp(59_502),
Fp(60_345),
Fp(61_201),
Fp(62_074),
Fp(62_962),
Fp(63_868),
Fp(64_793),
Fp(65_739),
Fp(66_706),
Fp(67_697),
Fp(68_713),
Fp(69_758),
Fp(70_834),
Fp(71_944),
Fp(73_092),
Fp(74_282),
Fp(75_521),
Fp(76_815),
Fp(78_172),
Fp(79_605),
Fp(81_127),
Fp(82_758),
Fp(84_529),
Fp(86_484),
Fp(88_699),
Fp(91_321),
Fp(94_730),
Fp(102_944),
];
pub const ACOS_TABLE: [Fp; 256] = [
Fp(205_887),
Fp(197_674),
Fp(194_264),
Fp(191_643),
Fp(189_428),
Fp(187_473),
Fp(185_702),
Fp(184_070),
Fp(182_548),
Fp(181_116),
Fp(179_759),
Fp(178_465),
Fp(177_226),
Fp(176_035),
Fp(174_888),
Fp(173_778),
Fp(172_702),
Fp(171_657),
Fp(170_640),
Fp(169_649),
Fp(168_682),
Fp(167_737),
Fp(166_812),
Fp(165_906),
Fp(165_017),
Fp(164_145),
Fp(163_288),
Fp(162_446),
Fp(161_618),
Fp(160_802),
Fp(159_998),
Fp(159_206),
Fp(158_425),
Fp(157_655),
Fp(156_894),
Fp(156_142),
Fp(155_400),
Fp(154_666),
Fp(153_940),
Fp(153_222),
Fp(152_512),
Fp(151_809),
Fp(151_113),
Fp(150_423),
Fp(149_740),
Fp(149_063),
Fp(148_391),
Fp(147_726),
Fp(147_066),
Fp(146_411),
Fp(145_761),
Fp(145_116),
Fp(144_476),
Fp(143_840),
Fp(143_209),
Fp(142_582),
Fp(141_959),
Fp(141_341),
Fp(140_726),
Fp(140_114),
Fp(139_507),
Fp(138_903),
Fp(138_302),
Fp(137_704),
Fp(137_110),
Fp(136_519),
Fp(135_931),
Fp(135_345),
Fp(134_763),
Fp(134_183),
Fp(133_606),
Fp(133_031),
Fp(132_459),
Fp(131_889),
Fp(131_322),
Fp(130_757),
Fp(130_194),
Fp(129_633),
Fp(129_074),
Fp(128_517),
Fp(127_962),
Fp(127_409),
Fp(126_858),
Fp(126_309),
Fp(125_761),
Fp(125_215),
Fp(124_671),
Fp(124_128),
Fp(123_587),
Fp(123_047),
Fp(122_508),
Fp(121_971),
Fp(121_435),
Fp(120_901),
Fp(120_368),
Fp(119_835),
Fp(119_304),
Fp(118_774),
Fp(118_246),
Fp(117_718),
Fp(117_191),
Fp(116_665),
Fp(116_140),
Fp(115_616),
Fp(115_092),
Fp(114_570),
Fp(114_048),
Fp(113_527),
Fp(113_006),
Fp(112_487),
Fp(111_967),
Fp(111_449),
Fp(110_931),
Fp(110_413),
Fp(109_896),
Fp(109_379),
Fp(108_863),
Fp(108_347),
Fp(107_831),
Fp(107_316),
Fp(106_801),
Fp(106_286),
Fp(105_772),
Fp(105_257),
Fp(104_743),
Fp(104_229),
Fp(103_715),
Fp(103_201),
Fp(102_687),
Fp(102_173),
Fp(101_659),
Fp(101_144),
Fp(100_630),
Fp(100_116),
Fp(99_601),
Fp(99_086),
Fp(98_571),
Fp(98_056),
Fp(97_541),
Fp(97_025),
Fp(96_508),
Fp(95_992),
Fp(95_474),
Fp(94_957),
Fp(94_439),
Fp(93_920),
Fp(93_401),
Fp(92_881),
Fp(92_361),
Fp(91_839),
Fp(91_318),
Fp(90_795),
Fp(90_272),
Fp(89_748),
Fp(89_222),
Fp(88_697),
Fp(88_170),
Fp(87_642),
Fp(87_113),
Fp(86_583),
Fp(86_052),
Fp(85_520),
Fp(84_987),
Fp(84_452),
Fp(83_916),
Fp(83_379),
Fp(82_841),
Fp(82_301),
Fp(81_759),
Fp(81_217),
Fp(80_672),
Fp(80_126),
Fp(79_579),
Fp(79_029),
Fp(78_478),
Fp(77_925),
Fp(77_370),
Fp(76_813),
Fp(76_255),
Fp(75_694),
Fp(75_131),
Fp(74_566),
Fp(73_998),
Fp(73_429),
Fp(72_856),
Fp(72_282),
Fp(71_705),
Fp(71_125),
Fp(70_542),
Fp(69_957),
Fp(69_369),
Fp(68_777),
Fp(68_183),
Fp(67_586),
Fp(66_985),
Fp(66_381),
Fp(65_773),
Fp(65_162),
Fp(64_547),
Fp(63_928),
Fp(63_305),
Fp(62_678),
Fp(62_047),
Fp(61_411),
Fp(60_771),
Fp(60_126),
Fp(59_477),
Fp(58_822),
Fp(58_162),
Fp(57_496),
Fp(56_825),
Fp(56_148),
Fp(55_464),
Fp(54_775),
Fp(54_078),
Fp(53_375),
Fp(52_665),
Fp(51_947),
Fp(51_221),
Fp(50_488),
Fp(49_745),
Fp(48_994),
Fp(48_233),
Fp(47_462),
Fp(46_681),
Fp(45_889),
Fp(45_086),
Fp(44_270),
Fp(43_441),
Fp(42_599),
Fp(41_742),
Fp(40_870),
Fp(39_982),
Fp(39_075),
Fp(38_150),
Fp(37_205),
Fp(36_238),
Fp(35_247),
Fp(34_230),
Fp(33_186),
Fp(32_110),
Fp(31_000),
Fp(29_852),
Fp(28_661),
Fp(27_423),
Fp(26_129),
Fp(24_771),
Fp(23_339),
Fp(21_817),
Fp(20_185),
Fp(18_414),
Fp(16_459),
Fp(14_245),
Fp(11_623),
Fp(8_213),
Fp(0),
];
pub const ATAN2_TABLE: [Fp; 256] = [
Fp(0),
Fp(2_047),
Fp(4_091),
Fp(6_126),
Fp(8_150),
Fp(10_158),
Fp(12_147),
Fp(14_114),
Fp(16_055),
Fp(17_968),
Fp(19_850),
Fp(21_699),
Fp(23_512),
Fp(25_289),
Fp(27_028),
Fp(28_727),
Fp(30_386),
Fp(32_003),
Fp(33_580),
Fp(35_115),
Fp(36_608),
Fp(38_060),
Fp(39_472),
Fp(40_842),
Fp(42_172),
Fp(43_464),
Fp(44_716),
Fp(45_931),
Fp(47_109),
Fp(48_251),
Fp(49_359),
Fp(50_432),
Fp(102_944),
Fp(100_896),
Fp(98_853),
Fp(96_818),
Fp(94_794),
Fp(92_786),
Fp(90_797),
Fp(88_830),
Fp(86_889),
Fp(84_976),
Fp(83_094),
Fp(81_245),
Fp(79_431),
Fp(77_655),
Fp(75_916),
Fp(74_217),
Fp(72_558),
Fp(70_940),
Fp(69_364),
Fp(67_829),
Fp(66_335),
Fp(64_883),
Fp(63_472),
Fp(62_102),
Fp(60_771),
Fp(59_480),
Fp(58_227),
Fp(57_013),
Fp(55_834),
Fp(54_692),
Fp(53_585),
Fp(52_512),
Fp(102_944),
Fp(104_991),
Fp(107_034),
Fp(109_070),
Fp(111_093),
Fp(113_102),
Fp(115_091),
Fp(117_057),
Fp(118_999),
Fp(120_912),
Fp(122_794),
Fp(124_642),
Fp(126_456),
Fp(128_233),
Fp(129_971),
Fp(131_671),
Fp(133_329),
Fp(134_947),
Fp(136_524),
Fp(138_059),
Fp(139_552),
Fp(141_004),
Fp(142_415),
Fp(143_786),
Fp(145_116),
Fp(146_407),
Fp(147_660),
Fp(148_875),
Fp(150_053),
Fp(151_195),
Fp(152_302),
Fp(153_375),
Fp(205_887),
Fp(203_840),
Fp(201_797),
Fp(199_761),
Fp(197_738),
Fp(195_730),
Fp(193_740),
Fp(191_774),
Fp(189_832),
Fp(187_920),
Fp(186_038),
Fp(184_189),
Fp(182_375),
Fp(180_598),
Fp(178_860),
Fp(177_161),
Fp(175_502),
Fp(173_884),
Fp(172_307),
Fp(170_772),
Fp(169_279),
Fp(167_827),
Fp(166_416),
Fp(165_045),
Fp(163_715),
Fp(162_424),
Fp(161_171),
Fp(159_956),
Fp(158_778),
Fp(157_636),
Fp(156_529),
Fp(155_456),
Fp(205_887),
Fp(-203_840),
Fp(-201_797),
Fp(-199_761),
Fp(-197_738),
Fp(-195_730),
Fp(-193_740),
Fp(-191_774),
Fp(-189_832),
Fp(-187_920),
Fp(-186_038),
Fp(-184_189),
Fp(-182_375),
Fp(-180_598),
Fp(-178_860),
Fp(-177_161),
Fp(-175_502),
Fp(-173_884),
Fp(-172_307),
Fp(-170_772),
Fp(-169_279),
Fp(-167_827),
Fp(-166_416),
Fp(-165_045),
Fp(-163_715),
Fp(-162_424),
Fp(-161_171),
Fp(-159_956),
Fp(-158_778),
Fp(-157_636),
Fp(-156_529),
Fp(-155_456),
Fp(-102_944),
Fp(-104_991),
Fp(-107_034),
Fp(-109_070),
Fp(-111_093),
Fp(-113_102),
Fp(-115_091),
Fp(-117_057),
Fp(-118_999),
Fp(-120_912),
Fp(-122_794),
Fp(-124_642),
Fp(-126_456),
Fp(-128_233),
Fp(-129_971),
Fp(-131_671),
Fp(-133_329),
Fp(-134_947),
Fp(-136_524),
Fp(-138_059),
Fp(-139_552),
Fp(-141_004),
Fp(-142_415),
Fp(-143_786),
Fp(-145_116),
Fp(-146_407),
Fp(-147_660),
Fp(-148_875),
Fp(-150_053),
Fp(-151_195),
Fp(-152_302),
Fp(-153_375),
Fp(-102_944),
Fp(-100_896),
Fp(-98_853),
Fp(-96_818),
Fp(-94_794),
Fp(-92_786),
Fp(-90_797),
Fp(-88_830),
Fp(-86_889),
Fp(-84_976),
Fp(-83_094),
Fp(-81_245),
Fp(-79_431),
Fp(-77_655),
Fp(-75_916),
Fp(-74_217),
Fp(-72_558),
Fp(-70_940),
Fp(-69_364),
Fp(-67_829),
Fp(-66_335),
Fp(-64_883),
Fp(-63_472),
Fp(-62_102),
Fp(-60_771),
Fp(-59_480),
Fp(-58_227),
Fp(-57_013),
Fp(-55_834),
Fp(-54_692),
Fp(-53_585),
Fp(-52_512),
Fp(0),
Fp(-2_047),
Fp(-4_091),
Fp(-6_126),
Fp(-8_150),
Fp(-10_158),
Fp(-12_147),
Fp(-14_114),
Fp(-16_055),
Fp(-17_968),
Fp(-19_850),
Fp(-21_699),
Fp(-23_512),
Fp(-25_289),
Fp(-27_028),
Fp(-28_727),
Fp(-30_386),
Fp(-32_003),
Fp(-33_580),
Fp(-35_115),
Fp(-36_608),
Fp(-38_060),
Fp(-39_472),
Fp(-40_842),
Fp(-42_172),
Fp(-43_464),
Fp(-44_716),
Fp(-45_931),
Fp(-47_109),
Fp(-48_251),
Fp(-49_359),
Fp(-50_432),
];