5namespace uni20::detail::native_math::airy_detail
7inline constexpr int phase_constant_bits = 24832;
8inline constexpr std::uint32_t phase_constant[] = {
9 0x6ca6579eu, 0xded80e1bu, 0xfd6f8fe1u, 0x4e233e80u, 0x9241b910u, 0xd2d7b581u, 0x54364272u, 0x947d2e41u, 0x24c2f426u,
10 0xd6de8c95u, 0x59861f46u, 0xb1366168u, 0xa9694768u, 0x761bc4d4u, 0x9b01794eu, 0x1f278303u, 0x46684ac4u, 0x783fa980u,
11 0xd10be426u, 0x578cd14du, 0xbdad9507u, 0xd3fb7027u, 0x6aa5baaau, 0x9403bab5u, 0x4a1f6107u, 0x915c48bfu, 0x9e24548au,
12 0x1a875bcfu, 0x8a2ed4efu, 0x143ff173u, 0xa36fd1dau, 0x9d43f652u, 0x28af7bfau, 0x5c370c9cu, 0x47fcea76u, 0x1508e8b0u,
13 0x39577584u, 0xa85247c7u, 0xf5dfd2c0u, 0x674d7969u, 0x1bed0b96u, 0x3f441205u, 0x99110394u, 0xb86af02bu, 0x09553b00u,
14 0x33a21a20u, 0xaeaeb8e4u, 0x86f7c5dbu, 0x95ec5280u, 0x5d9cda82u, 0xbbd79a89u, 0x3df0061cu, 0x57912da4u, 0x5d0ebdc4u,
15 0x93ca2de0u, 0xe4bb58d4u, 0x6eaa04aeu, 0x2a54229au, 0xcc81e98au, 0x6576fe7du, 0x2cd36f4au, 0x476994a5u, 0xbf7c14ceu,
16 0x874c54beu, 0x5aa0c10au, 0xfda81847u, 0x519f38fau, 0x1e202cd2u, 0x0e840dceu, 0x68bbd7d7u, 0x2dc8d633u, 0x72e8aab2u,
17 0xd9a9041eu, 0x4bed11d9u, 0xbcaaec22u, 0x5337230fu, 0xc52338e3u, 0x7aa429e4u, 0xbab5c2a8u, 0x4ede1c68u, 0xedc7e4f5u,
18 0xfafd978fu, 0xcafc9a0eu, 0x0f8edbd5u, 0xe68ed225u, 0xadc53217u, 0x6da50739u, 0x6ce2e726u, 0x14aabcb1u, 0xf6953411u,
19 0x54cbbf9cu, 0x144440e5u, 0x10daa7c8u, 0x9054ff24u, 0xee17069au, 0xcc407fefu, 0x33d89f5bu, 0x799de2d4u, 0xe93a940fu,
20 0x3ed23b0cu, 0x67e97017u, 0x3745aec5u, 0x88e5ec21u, 0xdc840f42u, 0x05dcfe95u, 0x8b2aba6fu, 0x694ce7eau, 0xbacd621eu,
21 0xec0c5756u, 0x3057925fu, 0x4e552073u, 0xf746142cu, 0xdc308cefu, 0x609093c6u, 0xd6ea7489u, 0x9647181au, 0xb1cdbbe2u,
22 0xa1c40454u, 0xfa3dad2cu, 0x6d057d96u, 0x504d06e7u, 0x0875293au, 0x4a426ec9u, 0x327ff89fu, 0xabb39a80u, 0xc42e86e3u,
23 0x79e68737u, 0x1ac5b396u, 0x81a530b6u, 0xb8195867u, 0x840c82e6u, 0x82d883dbu, 0x0bcc33f7u, 0x64ab1e2du, 0x3898db70u,
24 0xb5e3fea8u, 0x7eab330du, 0x69f489a0u, 0xa37eb7abu, 0x4bf32d45u, 0x221b5085u, 0x0d590cd4u, 0x4bd6775bu, 0x74a22e07u,
25 0xbd61b052u, 0x15c7bfceu, 0x1f2c6184u, 0xca21a79eu, 0x38b30b1au, 0x4c1544f2u, 0x64877631u, 0x645141a6u, 0x2bb13ff8u,
26 0x650df058u, 0x99ec64cbu, 0xbb9d4905u, 0x7994ea09u, 0xfe7d2311u, 0x859dc2efu, 0x81a1a0ccu, 0x3e5e7ab9u, 0x14b143d2u,
27 0xc3765e26u, 0x4dfa12aeu, 0x2000b2b3u, 0x9ab0323bu, 0x49730b1cu, 0x2f5744f8u, 0x188f2919u, 0xa94fa185u, 0x9f4a0f15u,
28 0x19b85f4fu, 0x0bcd8b8du, 0x36a15c8au, 0x22656afeu, 0xdd4e4597u, 0xcc3f7f3eu, 0x023e2affu, 0xb10370e1u, 0x8e8042cfu,
29 0x609048ccu, 0x3021a388u, 0x3d384b89u, 0x9ee2d92bu, 0x5b5cf14eu, 0x1c8e440du, 0xbe04c4e0u, 0x02e93cd2u, 0x7883a49cu,
30 0x0ffbafa8u, 0xf23126c4u, 0xbe1b9bb9u, 0xc8888438u, 0x0dc8f1ecu, 0x605be65au, 0xe04c1dd4u, 0x6d5862afu, 0xa4f575f7u,
31 0x6ffd55c5u, 0xa146dbd6u, 0xeed3eaedu, 0xad3e650fu, 0x7fc2a90du, 0x825daeb3u, 0xe980cbbeu, 0x2661b2f5u, 0xe94524bau,
32 0x27ea0572u, 0x24b915aau, 0xe8625591u, 0xb6b60b3bu, 0x455fca55u, 0x9d87ffe7u, 0x5fb57af9u, 0x6590b918u, 0xec7d3241u,
33 0x265bda7eu, 0x2ab558a1u, 0xe16fa386u, 0xa479f27cu, 0xc1e7c6b8u, 0x06ca19b0u, 0xf9aced77u, 0x7cb0bc62u, 0xb4717c36u,
34 0x81c213c9u, 0xf3ca0c19u, 0x92de819eu, 0x685173bau, 0x39d5acd4u, 0xad4f4ab1u, 0x082ac7bbu, 0x7648afcdu, 0x7b636ab2u,
35 0xe7d7e5d8u, 0x61f8dd1eu, 0x846e86dfu, 0x337a6f79u, 0xc699b861u, 0xc79ad73eu, 0x9442114au, 0x5da43707u, 0x9acfe7fdu,
36 0xc7c11ecbu, 0x63ea6bc9u, 0x55e75208u, 0x4433987au, 0x03f37598u, 0xc67f8ee4u, 0xd1ff8526u, 0xa6474d29u, 0xa3ea621au,
37 0xcb0072a4u, 0x5d9963dcu, 0xad596ca6u, 0xbe989118u, 0x777e5f67u, 0x8f5bde24u, 0x9b8189c3u, 0x296278c2u, 0x2211c74bu,
38 0x1aee3519u, 0x2be15f7fu, 0x5d33a592u, 0x4f50c203u, 0x07a7a165u, 0x0637c484u, 0x96f44a00u, 0x9d4a3adcu, 0x67cfe72du,
39 0xd199c735u, 0x34f968acu, 0x8b73f676u, 0x8111084fu, 0xc92d3c30u, 0x59c03ea5u, 0x4dab2ecau, 0xa07311f3u, 0x3e7d92d4u,
40 0xf3e9e015u, 0x2fb5cf3cu, 0xc6d16e6du, 0x11ca0062u, 0x37c8ad8fu, 0xcf22c8c6u, 0x545587c4u, 0xafe6b471u, 0xa46b90fcu,
41 0xc6b6b973u, 0xcfe8a943u, 0xfca9e7b1u, 0x53d45b9du, 0xa498a870u, 0xaef5aad4u, 0x0e49aeaau, 0x5aa8af7eu, 0xc5779a41u,
42 0x04101c9cu, 0x7e33ca9au, 0x779ef3b4u, 0xd0efb8e7u, 0xd4cb85e5u, 0x02b9ea20u, 0x2cc92f78u, 0xeb6e89a0u, 0x867b3220u,
43 0xa8f32a6cu, 0x006ded9du, 0x5915e8e6u, 0xda4a168cu, 0x0c41ad93u, 0x2630eba0u, 0x958ef200u, 0xe1bb7a38u, 0xe07a8e14u,
44 0x834b7794u, 0xf40d42cau, 0xe91b7459u, 0x2d2168ceu, 0xcc6bc324u, 0xb08dcbf1u, 0x6bfa0f42u, 0xf10a4fffu, 0x6faaacb2u,
45 0xc8d5b3c0u, 0x88dfbbc3u, 0x6b37c1ccu, 0xb19374d7u, 0x51233291u, 0x6135d453u, 0xd69267d3u, 0x651d0117u, 0x3192f15au,
46 0xba38c98eu, 0x001aa00du, 0xaa595a96u, 0x42b20db3u, 0x810f3f29u, 0xaf71fe91u, 0xcec39ccdu, 0xb0fd54a2u, 0x03bf2a7bu,
47 0x8a46f070u, 0x1c3191d8u, 0x3528a573u, 0xbae73a63u, 0xdaa308deu, 0x09197c15u, 0x94e51876u, 0x2a0db8d0u, 0x555615ddu,
48 0xaf3e4bcfu, 0x3f314e40u, 0x7f60ee33u, 0x9caf5673u, 0x205de080u, 0x76dae38bu, 0x5f521482u, 0x4c637cafu, 0x1778d5d5u,
49 0xa7e80488u, 0x2e95fc1bu, 0x89db31e4u, 0x2bf7f094u, 0x42fde598u, 0x67767f3bu, 0xd7ba6de2u, 0xe5a52e97u, 0x9b6291f5u,
50 0x7d7c7c2eu, 0xbad994f8u, 0xe3f92937u, 0x2f0c4993u, 0x747348d8u, 0x09817ebdu, 0xafd84146u, 0xa8c6a28fu, 0x4531a816u,
51 0xce60f52eu, 0x955b093au, 0xaa96f19fu, 0x2f53cb2bu, 0x5b0cf83eu, 0x5321c8f2u, 0x68f488fcu, 0xf6d446b6u, 0x8471354fu,
52 0xea4cc67cu, 0x8678e0abu, 0x24b3cc96u, 0xc326f840u, 0x53ee5c90u, 0x4d72b8b3u, 0x5d65abb8u, 0x44540ec6u, 0x00f9a715u,
53 0x29fea94au, 0x2e3979a9u, 0xe60d3bf3u, 0x267c5d53u, 0x0fd81a70u, 0x212cf4a0u, 0xcf2e62e4u, 0x7090791bu, 0x22b4888au,
54 0x1e5b6178u, 0x3a4a5b8eu, 0xc897df11u, 0x2615e471u, 0x9447bd71u, 0x7f32ea0bu, 0x86b2a952u, 0xa340f37du, 0x09730497u,
55 0x03389bc6u, 0x78a88bf4u, 0x9fdb78c9u, 0x96261f82u, 0xc0d085e6u, 0x12075300u, 0xf1875290u, 0x12ca5878u, 0x37b310dfu,
56 0x32c18de8u, 0x38c739d9u, 0xd5b96607u, 0xd04abc43u, 0x0e46403cu, 0x19f436d4u, 0xb4b654b6u, 0x794df932u, 0xa81e7d78u,
57 0x9f282332u, 0xe9459594u, 0x93bd099au, 0x9f77b725u, 0x6531123au, 0xebd2e541u, 0x2f02360au, 0xd490304bu, 0xe93e12c9u,
58 0x161074d9u, 0x72c13aa2u, 0x3bbafc91u, 0x2ae314a7u, 0x043552aeu, 0xe4745143u, 0x796c5b6cu, 0x737b3db7u, 0x9a71f038u,
59 0xd019ac67u, 0xefdc6d5eu, 0x36762266u, 0x09e51b85u, 0x58f14b21u, 0x991a5affu, 0xba330579u, 0xe1512261u, 0x6b8701a7u,
60 0x6bdfbb3du, 0xbf8038dau, 0x92d1a340u, 0xd7479a95u, 0x13feea8du, 0x946d9a52u, 0x51c87c6cu, 0xa438c25au, 0xc78e7c2bu,
61 0x5af43baeu, 0xc6c1022fu, 0x7bef425bu, 0xe31498d5u, 0xfcdbf0e4u, 0xaa86b4bdu, 0xb1912e1du, 0x51b883d6u, 0x8d352e0au,
62 0x743c9259u, 0xd8da4182u, 0x58d2596bu, 0xb850c85au, 0x40b5a788u, 0x1c117300u, 0x0c7f8260u, 0x19b05b7du, 0xa5edd870u,
63 0x5292992cu, 0x272df1f8u, 0x19b19aa5u, 0x2a615e1du, 0x1799210cu, 0xd35cfdd3u, 0xe8366d97u, 0xe8c53e96u, 0x46110dbcu,
64 0x63711ac5u, 0xdef0789eu, 0x0615bf83u, 0x31badeedu, 0x01a017a8u, 0x5421d0b5u, 0x09f91a9au, 0x3962b0a0u, 0xc0c713ceu,
65 0x33a99f8bu, 0x666e72a6u, 0x7939ea56u, 0xebe90eacu, 0x240f14d1u, 0xd86bc1acu, 0xf3f3a1a7u, 0x08d11bd0u, 0x56e8219cu,
66 0xe76f849eu, 0x22aafa00u, 0x8c394dfdu, 0x88e60100u, 0x4beb40d5u, 0x06770ea2u, 0x431b4bc9u, 0xc4dcd0a8u, 0x334721d2u,
67 0x2f6f5d1du, 0x2d1a2326u, 0xeae1e8cdu, 0xfae42747u, 0xa9b1767cu, 0xcee5b924u, 0xdaa51bb8u, 0x8271e261u, 0x6e1454d4u,
68 0x9064df27u, 0xc6353b1eu, 0xabeeebcdu, 0x7b7e5f18u, 0xc2717759u, 0xb40ecd23u, 0x7d210568u, 0xd1be2ab7u, 0xe0881299u,
69 0x5041ef7du, 0x4c5f7bceu, 0x7f5d2c23u, 0x6c4da9c1u, 0x852b38c8u, 0xbf6673e2u, 0x60633fb7u, 0x6135cd72u, 0x18db9e77u,
70 0x419876e9u, 0xf6237d2fu, 0x18118735u, 0xc730c998u, 0x9b043a20u, 0x61101dfcu, 0xcb6766b0u, 0x4c5d2934u, 0x9640962cu,
71 0x9ced6935u, 0xd26d4391u, 0x383ba7b2u, 0xc6d857f7u, 0x77275030u, 0x44c85e12u, 0x1fc6758bu, 0x4d3ea6a3u, 0xa2924123u,
72 0x54177ef2u, 0xd66f49c2u, 0x104f916fu, 0x283ee889u, 0xc4b0633du, 0x8fec010fu, 0x4bf0267eu, 0xdae0e8c8u, 0xca34638eu,
73 0x90f481efu, 0xe4e39758u, 0x95d57409u, 0xfd806b27u, 0xfbccf619u, 0x1a16c952u, 0xa4113b02u, 0x5d684411u, 0x4476b38eu,
74 0x7ce0cfa6u, 0x9ab11fb6u, 0x30b3a294u, 0x075e6e89u, 0xaa3b1d66u, 0x22f6d99au, 0x5166b7beu, 0xc47d838eu, 0x9a3ae878u,
75 0xf61362dau, 0xf10b855eu, 0x4039c91du, 0x3974edb9u, 0xf408161fu, 0xf7939e5bu, 0x19a45863u, 0x98bf1d14u, 0x06de94a9u,
76 0x8f600b02u, 0x46d1509cu, 0x21142569u, 0x47307687u, 0x30f2254cu, 0x148e03f1u, 0x102f826au, 0x839d5776u, 0x7a27b2a5u,
77 0xaf439c5eu, 0x822cec20u, 0x9a628a8eu, 0x470a1e4cu, 0xcaae11f5u, 0x6bc06a87u, 0xa2b9168eu, 0x476cf54fu, 0x6e1f87dau,
78 0x7b190baau, 0x72e63d8eu, 0x94161d7bu, 0x20cc643du, 0xff8aceecu, 0x41fc520fu, 0x4de66ec7u, 0x35454af8u, 0x028de402u,
79 0xf53b6421u, 0x212a87cdu, 0x8ae7e530u, 0x089662f2u, 0x8ed78a90u, 0xbdea2e2cu, 0xea22e297u, 0x23c7311fu, 0x300cb859u,
80 0x51372a7cu, 0x9269a4a3u, 0xd11f63dfu, 0xdc210163u, 0x239e9bfeu, 0xde35fd79u, 0x4e748e6cu, 0x8b2bdb95u, 0x8f661f24u,
81 0x9b690c05u, 0x362dc9c2u, 0x8422ce44u, 0x19e3cd76u, 0x41417aa1u, 0x16c069ffu, 0xb9096cdbu, 0x7a65794du, 0xc43292acu,
82 0x81d40d29u, 0xab155cf7u, 0x1760e83fu, 0x6967e0b3u, 0xcde259bfu, 0x03b9ba47u, 0x71db6a5cu, 0x19d6caf5u, 0xf5580d61u,
83 0xfdbfc3fau, 0x1c25bd9au, 0xfb41c6f9u, 0x8b3540e3u, 0xb6f86234u, 0x255c61fau, 0x38cd4b19u, 0x7e782666u, 0x4bec7a39u,
84 0x1bb1a800u, 0x5f6672e3u, 0x36c9c078u, 0xa3f7eaebu, 0x30315536u, 0xf11ee1deu, 0xfc3fe946u, 0x8959fcb1u, 0xf06e0889u,
85 0xf1be297au, 0x4493d023u, 0x4e0915b5u, 0xad9fb031u, 0xed38b111u, 0x5774741eu, 0xa8780752u, 0x6777ec56u, 0x9367647cu,
86 0x9080753bu, 0x9d0fce1eu, 0x86681a54u, 0xe6368e16u, 0x888f2430u, 0xf23ad8ecu, 0x77d1f716u, 0x6e82fdc1u, 0xdfc67b7eu,
87 0x52525b85u, 0x7e25b9cau, 0xd32fbdcbu, 0xe056e905u, 0xf3cfe257u, 0x7b5d9eefu, 0x460c92b6u, 0x15780945u, 0x01c0a9eeu,
88 0xeefb013du, 0x5c9ab1d5u, 0x33708125u, 0x1de965d8u, 0xa56cf999u, 0xd10e6922u, 0xc80551c7u, 0xe4025c38u, 0xf58f1f47u,
89 0xf9207e63u, 0xf0dd4007u, 0xbf226ebeu, 0xc2a18739u, 0x7311d8a1u, 0x1e4e82b7u, 0x50d2495cu, 0xdd748d9du, 0x5f374394u,
90 0x0ee3afafu, 0x00a7f9a4u, 0x7814465fu, 0x2d1ec593u, 0x864fdb71u, 0x6424debbu, 0x7b59fb61u, 0x30bc716fu, 0x8454b3c3u,
91 0xb77f9be4u, 0x6c3a5f2cu, 0x6a6a71b2u, 0x31e9128au, 0x7ce8135du, 0x45b3e377u, 0xff3ecf4fu, 0xf4eb2205u, 0xcbdd5657u,
92 0x147ce60eu, 0x0fcbddb9u, 0xcff4a089u, 0x419a86f7u, 0xe115662du, 0x25c24db9u, 0x709c46cfu, 0x6ec41f0cu, 0x565946ebu,
93 0x953f4796u, 0x8fec8a6fu, 0xc9cfb85eu, 0x1b230852u, 0x12dd574bu, 0x9513ae07u, 0xb173cab9u, 0xde8e425eu, 0xcd4dcd22u,
94 0xe81b74e0u, 0xc7587b5eu, 0x4a902663u, 0xe9c92e13u, 0xac41c802u, 0x066c70b9u, 0x56e71f5cu, 0x8d42c4eau, 0x3b5caefeu,
95 0xfa32429bu, 0x1cab71ffu,
