sinpi # Name of the function to test # sinpi.testdata, # copyright (C) 2006 Ch. Q. Lauter, F. de Dinechin and V.Lefevre # This file is part of crlibm and is distributed under the GNU Public Licence # See file COPYING for details #TODO add the directed roundings to signed zero # The following lines are either comments (beginning with a #) # or give # 1/ a rounding mode : RN|RU|RD|RZ (crlibm syntax) or N|P|M|Z (libmcr syntax) # 2/ The high and low hexadecimal halves of an input # 3/ The high and low hexadecimal halves of the expected corresponding output # Special cases N 00000000 00000000 00000000 00000000 # zero N 80000000 00000000 80000000 00000000 # -zero P 00000000 00000000 00000000 00000000 # zero P 80000000 00000000 00000000 00000000 # +zero anyway M 00000000 00000000 80000000 00000000 # -zero anyway M 80000000 00000000 80000000 00000000 # -zero Z 00000000 00000000 00000000 00000000 # zero Z 80000000 00000000 80000000 00000000 # -zero N 3ff00000 00000000 00000000 00000000 # 1 N bff00000 00000000 80000000 00000000 # -1 N 40000000 00000000 00000000 00000000 # 2 N c0000000 00000000 80000000 00000000 # -2 P 40000000 00000000 00000000 00000000 # 2 P c0000000 00000000 00000000 00000000 # -2 M 40000000 00000000 80000000 00000000 # 2 M c0000000 00000000 80000000 00000000 # -2 N 3fe00000 00000000 3ff00000 00000000 # 0.5 N bfe00000 00000000 bff00000 00000000 # -0.5 N 00000000 00000001 00000000 00000003 # smallest denorm positive N 80000000 00000001 80000000 00000003 # smallest denorm negative P 00000000 00000001 00000000 00000004 # smallest denorm positive P 80000000 00000001 80000000 00000003 # smallest denorm negative M 00000000 00000001 00000000 00000003 # smallest denorm positive M 80000000 00000001 80000000 00000004 # smallest denorm negative Z 00000000 00000001 00000000 00000003 # smallest denorm positive Z 80000000 00000001 80000000 00000003 # smallest denorm negative N 7ff00000 00000000 fff80000 00000000 # +inf N fff00000 00000000 fff80000 00000000 # -inf P 7ff00000 00000000 fff80000 00000000 # +inf P fff00000 00000000 fff80000 00000000 # -inf M 7ff00000 00000000 fff80000 00000000 # +inf M fff00000 00000000 fff80000 00000000 # -inf Z 7ff00000 00000000 fff80000 00000000 # +inf Z fff00000 00000000 fff80000 00000000 # -inf N fff80000 00000000 fff80000 00000000 # NaN P fff80000 00000000 fff80000 00000000 # NaN M fff80000 00000000 fff80000 00000000 # NaN Z fff80000 00000000 fff80000 00000000 # NaN # A few random denormals N 00000000 023C0A74 00000000 07051E89 N 000011F9 38F7364A 00003877 2AB832B5 P 00000000 023C0A74 00000000 07051E89 P 000011F9 38F7364A 00003877 2AB832B6 M 00000000 023C0A74 00000000 07051E88 M 000011F9 38F7364A 00003877 2AB832B5 Z 00000000 023C0A74 00000000 07051E88 Z 000011F9 38F7364A 00003877 2AB832B5 #The very worst cases for this function Z 0x3C9BC03D 0xF34E902C 0x3CB5CBA8 0x9AF1F855 # 4.814021627225461890071402615112e-17 N 0x3CDF339A 0xB57731D3 0x3CF88173 0x243FB0F4 # 8.660177969107699326025337835166e-16 # A few random numbers, easy to round N c085d2e7 08f95c7b bfed12d8 ad53930a # -6.983628100854251670170924626291e+02 N bfd039f8 cd7e51f1 bfe6e0a6 6e6f2fea # -2.535383230945447707860296304716e-01 M 41d119c4 177c89d2 bfc5a546 5c1e08d0 # 1.147605085945911884307861328125e+09 P 41d119c4 177c89d2 bfc5a546 5c1e08cf # 1.147605085945911884307861328125e+09 Z 41d119c4 177c89d2 bfc5a546 5c1e08cf # 1.147605085945911884307861328125e+09 M 3efa5022 205e3020 3f14aa8b f5f51c97 # 2.509405205546055579041153649200e-05 P 3efa5022 205e3020 3f14aa8b f5f51c98 # 2.509405205546055579041153649200e-05 Z 3efa5022 205e3020 3f14aa8b f5f51c97 # 2.509405205546055579041153649200e-05 N bf4a68db 7bd042e0 bf64bdf5 934328fe # -8.059570024006833255381110348026e-04 M bf4adf1c 63ca99f4 bf651ad5 c857cf8e # -8.200539228553891703266121027127e-04 P bf4adf1c 63ca99f4 bf651ad5 c857cf8d # -8.200539228553891703266121027127e-04 Z bf4adf1c 63ca99f4 bf651ad5 c857cf8d # -8.200539228553891703266121027127e-04 M 40125974 360d83d6 3feecd6d ca2efa7b # 4.587357372832192581313393020537e+00 P 40125974 360d83d6 3feecd6d ca2efa7c # 4.587357372832192581313393020537e+00 Z 40125974 360d83d6 3feecd6d ca2efa7b # 4.587357372832192581313393020537e+00 N c0a3f507 5848c08c bfeff7ae 9e936da1 # -2.554514345429901368333958089352e+03 N 41db1f97 2f50ea33 bfe79ed2 46ced5fe # 1.820220605264294385910034179688e+09 N 41dfbaba a426d77b 3fee3656 9b3b03f7 # 2.129324688606901884078979492188e+09 M c0091e8c 2ba5a2f9 3fdb3c0b ba99dcb3 # -3.139915791504219289009824933601e+00 P c0091e8c 2ba5a2f9 3fdb3c0b ba99dcb4 # -3.139915791504219289009824933601e+00 Z c0091e8c 2ba5a2f9 3fdb3c0b ba99dcb3 # -3.139915791504219289009824933601e+00 N bfb25cab 48c56100 bfcc9977 29a3007b # -7.172651793132800435159879270941e-02 N c1c03386 ee64d682 bfe3c9a0 b6d04ed7 # -5.436246687877962589263916015625e+08 M bf05ae66 591e7d88 bf210746 1768c5d3 # -4.135370103530282845719079354296e-05 P bf05ae66 591e7d88 bf210746 1768c5d2 # -4.135370103530282845719079354296e-05 Z bf05ae66 591e7d88 bf210746 1768c5d2 # -4.135370103530282845719079354296e-05 N 3ef828a0 ef0dab04 3f12f965 5ebe7d58 # 2.303953710073703526565319643638e-05 N c090ba1d 551f2d73 bfefded9 f620eb58 # -1.070528645026349067848059348762e+03 M c0cebc38 89d9504b bfef7703 2e985a72 # -1.573644170681400828470941632986e+04 P c0cebc38 89d9504b bfef7703 2e985a71 # -1.573644170681400828470941632986e+04 Z c0cebc38 89d9504b bfef7703 2e985a71 # -1.573644170681400828470941632986e+04 M c1037537 4a506720 bfd19b61 593d6c36 # -1.593989112861687317490577697754e+05 P c1037537 4a506720 bfd19b61 593d6c35 # -1.593989112861687317490577697754e+05 Z c1037537 4a506720 bfd19b61 593d6c35 # -1.593989112861687317490577697754e+05 M 411141da c59b243d 3fea4c1e 5dcb5df5 # 2.827426929746305686421692371368e+05 P 411141da c59b243d 3fea4c1e 5dcb5df6 # 2.827426929746305686421692371368e+05 Z 411141da c59b243d 3fea4c1e 5dcb5df5 # 2.827426929746305686421692371368e+05 M c071d325 85d795ae 3fe28959 676868bb # -2.851966608449246223244699649513e+02 P c071d325 85d795ae 3fe28959 676868bc # -2.851966608449246223244699649513e+02 Z c071d325 85d795ae 3fe28959 676868bb # -2.851966608449246223244699649513e+02 N 40dd6bc6 937bfb6b bfd44d72 aa685dfd # 3.012710275172760520945303142071e+04 M 402df87d 491890a6 3fa7963f 6fff9d75 # 1.498533085274568676936723932158e+01 P 402df87d 491890a6 3fa7963f 6fff9d76 # 1.498533085274568676936723932158e+01 Z 402df87d 491890a6 3fa7963f 6fff9d75 # 1.498533085274568676936723932158e+01 M 3f419962 14e3a89a 3f5ba509 31bf6d28 # 5.370835222298254042067044977671e-04 P 3f419962 14e3a89a 3f5ba509 31bf6d29 # 5.370835222298254042067044977671e-04 Z 3f419962 14e3a89a 3f5ba509 31bf6d28 # 5.370835222298254042067044977671e-04 N 3fa308ff 2ed444ec 3fbdd518 0603827e # 3.717801520009253457565989720024e-02 N 3ef21c84 c9265a74 3f0c7306 cab4cec7 # 1.727237811052291960745713739200e-05 M 3fe8f545 f13a5e59 3fe466f4 a047bfa1 # 7.799405776485840435796603742347e-01 P 3fe8f545 f13a5e59 3fe466f4 a047bfa2 # 7.799405776485840435796603742347e-01 Z 3fe8f545 f13a5e59 3fe466f4 a047bfa1 # 7.799405776485840435796603742347e-01 N 413b7790 26e6d079 3fdd67e7 0dc0eb21 # 1.800080151959447422996163368225e+06 N c14a9fe4 6678223a bfe2c3dc a118cb02 # -3.489736800541189499199390411377e+06 N c175054d 006fc116 bfb5ea81 456c157a # -2.204180802728375047445297241211e+07 M bfe7f1b4 772f52b9 bfe6c049 84a366d8 # -7.482549980000704481497564302117e-01 P bfe7f1b4 772f52b9 bfe6c049 84a366d7 # -7.482549980000704481497564302117e-01 Z bfe7f1b4 772f52b9 bfe6c049 84a366d7 # -7.482549980000704481497564302117e-01 M c06f5abc 1c518bfe bfdfa0e5 ddc22b6f # -2.508354627220832639977743383497e+02 P c06f5abc 1c518bfe bfdfa0e5 ddc22b6e # -2.508354627220832639977743383497e+02 Z c06f5abc 1c518bfe bfdfa0e5 ddc22b6e # -2.508354627220832639977743383497e+02 M c0a865a0 91e47e57 bfe1af62 a6156f17 # -3.122813613071844429214252158999e+03 P c0a865a0 91e47e57 bfe1af62 a6156f16 # -3.122813613071844429214252158999e+03 Z c0a865a0 91e47e57 bfe1af62 a6156f16 # -3.122813613071844429214252158999e+03 M c24f6b12 5ffa7deb bfaa26f5 fe09efb2 # -2.698807050129837341308593750000e+11 P c24f6b12 5ffa7deb bfaa26f5 fe09efb1 # -2.698807050129837341308593750000e+11 Z c24f6b12 5ffa7deb bfaa26f5 fe09efb1 # -2.698807050129837341308593750000e+11 M 42227ed6 8bb662f5 bfe2420f efdba020 # 3.971870050719327545166015625000e+10 P 42227ed6 8bb662f5 bfe2420f efdba01f # 3.971870050719327545166015625000e+10 Z 42227ed6 8bb662f5 bfe2420f efdba01f # 3.971870050719327545166015625000e+10 M 3fcfaba2 9785fe55 3fe67193 adf451bf # 2.474253883228693384754848239027e-01 P 3fcfaba2 9785fe55 3fe67193 adf451c0 # 2.474253883228693384754848239027e-01 Z 3fcfaba2 9785fe55 3fe67193 adf451bf # 2.474253883228693384754848239027e-01 N 40752c75 a445531a 3fe47f18 62c98117 # 3.387787211139672081117169000208e+02 # Bad cases generated by ./crlibm_generate_test_vectors sinpi 15 10 # (hand-edited to correct some errors due to our tinkered quick and dirty MPFR sinpi) M 3ff97dbf a6468afa bfeea359 8f2c8fb4 # 1.593200349344157107367436765344e+00 P 3ff97dbf a6468afa bfeea359 8f2c8fb3 # 1.593200349344157107367436765344e+00 Z 3ff97dbf a6468afa bfeea359 8f2c8fb3 # 1.593200349344157107367436765344e+00 N c0d2a16f 5dc3d909 3fe751fc 1f169b73 # -1.907774009796328391530551016331e+04 M bebc1116 f6ffc650 bed60b28 009ae4ac # -1.672909061053643706195107054846e-06 P bebc1116 f6ffc650 bed60b28 009ae4ab # -1.672909061053643706195107054846e-06 Z bebc1116 f6ffc650 bed60b28 009ae4ab # -1.672909061053643706195107054846e-06 N c179e92c a0d62454 bfc4edce de62cc2a # -2.716948205228073894977569580078e+07 M c24912f7 9e564000 bff00000 00000000 # -2.153848004285000000000000000000e+11 P c24912f7 9e564000 bff00000 00000000 # -2.153848004285000000000000000000e+11 Z c24912f7 9e564000 bff00000 00000000 # -2.153848004285000000000000000000e+11 M 3fe927d2 ef606c95 3fe3eba2 b7e075c6 # 7.861113238644913403518899031042e-01 P 3fe927d2 ef606c95 3fe3eba2 b7e075c7 # 7.861113238644913403518899031042e-01 Z 3fe927d2 ef606c95 3fe3eba2 b7e075c6 # 7.861113238644913403518899031042e-01 M bfc96761 b07e63b5 bfe2af2c 1c425235 # -1.984674560342491178577262189719e-01 P bfc96761 b07e63b5 bfe2af2c 1c425234 # -1.984674560342491178577262189719e-01 Z bfc96761 b07e63b5 bfe2af2c 1c425234 # -1.984674560342491178577262189719e-01 N 4047437a dbd24415 3fefe223 6c981403 # 4.652718684927837244913462200202e+01 M c2352f79 ebe08000 bff00000 00000000 # -9.099083260850000000000000000000e+10 P c2352f79 ebe08000 bff00000 00000000 # -9.099083260850000000000000000000e+10 Z c2352f79 ebe08000 bff00000 00000000 # -9.099083260850000000000000000000e+10 M c250ffb0 7faf75eb 3fde657c 18857db3 # -2.920369353578424682617187500000e+11 P c250ffb0 7faf75eb 3fde657c 18857db4 # -2.920369353578424682617187500000e+11 Z c250ffb0 7faf75eb 3fde657c 18857db3 # -2.920369353578424682617187500000e+11 N 41e11f7c d51e4bd9 3fc54f54 eac8ca47 # 2.298209960946758747100830078125e+09 N c0ee3e28 d52ed3e3 3fe86651 2fb6c172 # -6.193727602330574154620990157127e+04 M 413bc535 aeda7ce4 bfeadac2 44611976 # 1.819957683021360076963901519775e+06 P 413bc535 aeda7ce4 bfeadac2 44611975 # 1.819957683021360076963901519775e+06 Z 413bc535 aeda7ce4 bfeadac2 44611975 # 1.819957683021360076963901519775e+06 M 3f9f6de1 966345aa 3fb8a56e c4bd13b0 # 3.069260101694274572858844862822e-02 P 3f9f6de1 966345aa 3fb8a56e c4bd13b1 # 3.069260101694274572858844862822e-02 Z 3f9f6de1 966345aa 3fb8a56e c4bd13b0 # 3.069260101694274572858844862822e-02 M c12be8a5 41cf73fe bfed6d21 946f46a7 # -9.145146285358665045350790023804e+05 P c12be8a5 41cf73fe bfed6d21 946f46a6 # -9.145146285358665045350790023804e+05 Z c12be8a5 41cf73fe bfed6d21 946f46a6 # -9.145146285358665045350790023804e+05 M 425aed99 80ef75eb bfde657c 18857db4 # 4.626216396138424682617187500000e+11 P 425aed99 80ef75eb bfde657c 18857db3 # 4.626216396138424682617187500000e+11 Z 425aed99 80ef75eb bfde657c 18857db3 # 4.626216396138424682617187500000e+11 N c07783b1 02a6f590 bfe53743 9f2c372b # -3.762307154199452270404435694218e+02 N 400276e4 a44af89d 3fea5b28 2a299d0d # 2.308053287065446657067013802589e+00 N 3febebfa 34de8915 3fd8f1ed ca8f0fc0 # 8.725558312037572372688032373844e-01 N 40242d0d 1ba43246 3fd17794 a0b06734 # 1.008799063090658520991382829379e+01 M c255d829 65ad4a15 3fde657c 18857db3 # -3.752836195091575317382812500000e+11 P c255d829 65ad4a15 3fde657c 18857db4 # -3.752836195091575317382812500000e+11 Z c255d829 65ad4a15 3fde657c 18857db3 # -3.752836195091575317382812500000e+11 M c2694319 de479000 bff00000 00000000 # -8.679996094045000000000000000000e+11 P c2694319 de479000 bff00000 00000000 # -8.679996094045000000000000000000e+11 Z c2694319 de479000 bff00000 00000000 # -8.679996094045000000000000000000e+11 M 3ef3f8b7 61c80604 3f0f5f09 399d7938 # 1.904635256444986402771940570133e-05 P 3ef3f8b7 61c80604 3f0f5f09 399d7939 # 1.904635256444986402771940570133e-05 Z 3ef3f8b7 61c80604 3f0f5f09 399d7938 # 1.904635256444986402771940570133e-05 M bf684dd3 c23964b3 bf83168a 77db1006 # -2.966798392475122805173048945448e-03 P bf684dd3 c23964b3 bf83168a 77db1005 # -2.966798392475122805173048945448e-03 Z bf684dd3 c23964b3 bf83168a 77db1005 # -2.966798392475122805173048945448e-03 N 41e08ba4 8c314c7e bfefbd7e b94fc107 # 2.220696673540587425231933593750e+09 M 40a5b3df 9db97fff bfc94467 7211cb05 # 2.777936750218271754420129582286e+03 P 40a5b3df 9db97fff bfc94467 7211cb04 # 2.777936750218271754420129582286e+03 Z 40a5b3df 9db97fff bfc94467 7211cb04 # 2.777936750218271754420129582286e+03 M 418067aa b2cf4339 3fec911f 57bfcaa7 # 3.440367035120243579149246215820e+07 P 418067aa b2cf4339 3fec911f 57bfcaa8 # 3.440367035120243579149246215820e+07 Z 418067aa b2cf4339 3fec911f 57bfcaa7 # 3.440367035120243579149246215820e+07 N bf0e3044 c824e0a9 bf27b5c4 9b3a5d7b # -5.758008866724288076681739778628e-05 M becd7c6f 63bb8af0 bee72886 ee76851a # -3.515014013065274184593328454795e-06 P becd7c6f 63bb8af0 bee72886 ee768519 # -3.515014013065274184593328454795e-06 Z becd7c6f 63bb8af0 bee72886 ee768519 # -3.515014013065274184593328454795e-06 N 3f65bfde 556ac3d4 3f8114f1 674e1057 # 2.654966588430765841999381393634e-03 M c06d3efe ccc058d3 3fb935ab 60b04337 # -2.339686034924294233405817067251e+02 P c06d3efe ccc058d3 3fb935ab 60b04338 # -2.339686034924294233405817067251e+02 Z c06d3efe ccc058d3 3fb935ab 60b04337 # -2.339686034924294233405817067251e+02 N 3f6b5f47 9f887580 3f857f67 522b3fdc # 3.341331376090550531188227978419e-03 # One in five of the very worst cases computed by Lefevre and Muller. # Rounding these values requires evaluating the function to at least 2^(-100). # These worst cases have been selected thanks to the filterlists 5 script # If you want the full list please contact Jean-Michel Muller N 0x3F6F5A80 0xF61CE1AE 0x3F889FD9 0x72DF72DF # 1.913667620511909622099677719120e-03 N 0x3F69E9DF 0x76D01EAA 0x3F845A25 0x55ABEA34 # 1.581638552353862529203931686084e-03 Z 0x3F56063E 0x6AD702B4 0x3F714C40 0xD02B2D27 # 6.721310398277364518693222095180e-04 N 0x3F5B7A66 0x50DAC732 0x3F7594C7 0x6DDD4994 # 8.385657872251649300882059279161e-04 Z 0x3F4A0518 0xCAA72E4F 0x3F646F9B 0x98C65D41 # 3.970323110962002493250222467935e-04 N 0x3F4CA46C 0x3EC00A37 0x3F667EDD 0x3B6FDF2A # 4.370464582736129761052212838734e-04 Z 0x3F20A2E3 0x990381A1 0x3F3A21D8 0xDBD35040 # 6.346239229371729610122004894279e-05 N 0x3F2E28A5 0xEFF48AAF 0x3F47AFC8 0x4A3B5005 # 1.150466232400597490831070657258e-04 N 0x3F2209B5 0x5454551E 0x3F3C557A 0xA23F0239 # 6.880921599291100055999226281500e-05 N 0x3F1B0B57 0x7D411105 0x3F353D94 0x6E047C3C # 5.158291574550343596425663883487e-05 N 0x3F1BE87F 0x6B8D2560 0x3F35EB46 0x79B7407C # 5.323065619806488339704753087744e-05 N 0x3F0665E2 0x7C05B5C2 0x3F219761 0xEBB530D1 # 2.136038506377557576578277154233e-05 N 0x3EF3638F 0x2B028E92 0x3F0E74BD 0x9A2662CA # 9.245349559989448105313050718657e-06 Z 0x3EFC40F5 0xF6F7312D 0x3F1630C1 0x0E15FB83 # 1.347243934803811137251947777083e-05 Z 0x3EF3AC06 0x394644E8 0x3F0EE691 0x8843ABF8 # 9.380326255111666737714071206966e-06 Z 0x3EE81879 0x286BC45D 0x3F02ECB5 0x23DE231F # 5.744838410080390870692413490817e-06 N 0x3EE4176A 0x68B95B56 0x3EFF8F42 0x282AFBB9 # 4.790179115219216410596035637948e-06 Z 0x3EEC8966 0x82191179 0x3F0669A5 0xE81DF38A # 6.803684330207074446776691761807e-06 Z 0x3EE956D1 0xD93A438A 0x3F03E6BC 0x7DC0E501 # 6.041321643516440990256434473427e-06 N 0x3EE3C257 0x09F99215 0x3EFF099F 0x33CCF6D1 # 4.710946228312952895587745888450e-06 N 0x3EEF6065 0x85B36B99 0x3F08A4A1 0x27BB4880 # 7.480752255174544415301882832603e-06 N 0x3EEF7259 0xE5BFD4C7 0x3F08B2BB 0x23CBDD88 # 7.497473770702931611332932998470e-06 N 0x3EE9F463 0xAD186838 0x3F04627D 0xBF362AC8 # 6.188069805479873535924290051113e-06 N 0x3FE1E4DE 0xE8168D6B 0x3FEF72C9 0x06962631 # 2.795941606984430616300585370482e-01 N 0x3FE162D9 0x7B7B2761 0x3FEFB443 0xC78A2533 # 2.716582971448727179542004250834e-01 N 0x3FE718E6 0xF83194C5 0x3FE88A95 0x573C70F0 # 3.608949111715669677558082639734e-01 Z 0x3FEC37B4 0xFADF97ED 0x3FD7391B 0x089344E4 # 4.409000825820602043059182051365e-01 N 0x3FEFA508 0x2BEA5F17 0x3FA1DBA0 0x82FEED43 # 4.944477490293918697794595118467e-01 Z 0x3EC3A94C 0x29879D2D 0x3EDEE249 0x055FBCB8 # 1.171905898650543285881395379200e-06 Z 0x3EC3B501 0x4F831514 0x3EDEF4AC 0xEE3E6955 # 1.174631789211987526269382470234e-06 N 0x3ECB5F40 0x5B193CAA 0x3EE57F7B 0x7CBD2FE8 # 1.631502851390756028611981123810e-06 Z 0x3ECFFF61 0x49A590CF 0x3EE9217E 0xAD405B5F # 1.907204284800701734733040758341e-06 N 0x3EB47093 0xC520250D 0x3ED00DA8 0x133E5D21 # 6.091521618244494896566979848240e-07 N 0x3EB84DF7 0x30624A41 0x3ED316B8 0x6841BB3A # 7.243321256281829873069984422618e-07 N 0x3EB309A1 0x1D2BB6FA 0x3ECDE77A 0xA5335878 # 5.673651294038264416929153236002e-07 Z 0x3EA08FC0 0x48F21927 0x3EBA03C9 0x14E26A9D # 2.467859951466666983923203739643e-07 Z 0x3EAFF612 0x96DE5944 0x3EC91A2F 0x4F54F9F5 # 4.762593083183382572642081478898e-07 N 0x3E93579E 0x1D87FCC3 0x3EAE61FB 0x98A0371E # 1.441110402261361168594261178075e-07 N 0x3E98809A 0x45C8274C 0x3EB33E7D 0x96DC2C99 # 1.825567633870093787635548697457e-07 Z 0x3E883982 0x9A616A80 0x3EA306A7 0x9A2E4CA4 # 9.024385025491883617013849638866e-08 N 0x3E8A6E42 0xD2813A66 0x3EA4C235 0x7FD3EB8B # 9.846205684222949271231330788806e-08 Z 0x3E8B8F6B 0xAD921FBD 0x3EA5A550 0x7C2CF18A # 1.026698827224052452097957763462e-07 N 0x3E797267 0x383BF965 0x3E93FC66 0x7ABCFF5E # 4.739852157812076788819642008711e-08 N 0x3E7DFBE3 0x22B2EF18 0x3E978CA0 0xB40A40B3 # 5.584943026925701449163642713092e-08 N 0x3E678FC4 0x954351E5 0x3E828156 0xE5100EDC # 2.194344379885351033908169962345e-08 N 0x3E67D470 0x7D6912B2 0x3E82B746 0x1F0E2EE3 # 2.219326930066553670461399036702e-08 N 0x3E439B01 0x50C656F1 0x3E5ECBD5 0xB7D27501 # 4.564758581887042318253137467574e-09 Z 0x3E44BBD8 0xFBF4D6DA 0x3E6048C6 0x14A25A99 # 4.827459265061053920619294421105e-09 Z 0x3E474AA9 0xF5119148 0x3E624B10 0xB5B52B7E # 5.423011221592264701603180012193e-09 Z 0x3E30B464 0xEDF10E85 0x3E4A3D58 0x29DCFC36 # 1.944678959126171228115540816025e-09 Z 0x3E36B883 0xAE81E589 0x3E51D847 0x9B3F13D8 # 2.645044506390031014778410126923e-09 Z 0x3FD066BE 0xD00B64EE 0x3FE7119B 0xD0428231 # 1.281355396120384404490266661014e-01 N 0x3FDC0E24 0xEFB0FC46 0x3FEF66E5 0xDF346EFE # 2.191816492431561402831619034259e-01 Z 0x3FDFFFFF 0xFFFFFFFE 0x3FEFFFFF 0xFFFFFFFF # 2.499999999999999444888487687422e-01 N 0x3FD976DD 0x4CC1A638 0x3FEE5E05 0x8536E01D # 1.989399552142445681823801351129e-01 Z 0x3FDF30EB 0x314551E8 0x3FEFF98A 0xF4C09AD5 # 2.436803808765397594271462367033e-01 Z 0x3E20804A 0x58A27147 0x3E39EB7F 0xF74AC48B # 9.604924377881080523525257367445e-10 N 0x3E20BD19 0x7F520C65 0x3E3A4B04 0xCA2EE2A4 # 9.743188454664681639248457830260e-10 N 0x3E2402B7 0xB6F537CD 0x3E3F6EBE 0xFCCE0F8E # 1.164771137033708209124945234380e-09 Z 0x3E2C0310 0x7692A290 0x3E460024 0x0769B17A # 1.630511248840147582931425274989e-09 Z 0x3E2DC0F6 0x9AD505FD 0x3E475E59 0x572E5222 # 1.731896941248737497866391327986e-09 N 0x3E14E9B8 0xDF0466B1 0x3E306CCD 0xB5359579 # 6.086477416115814347468211747635e-10 N 0x3E02965D 0x287CA617 0x3E1D326B 0xA8204C42 # 2.704816722047786048149828636581e-10 Z 0x3DF1A1A5 0x43ECD5BF 0x3E0BB204 0x93AA845A # 1.282855227971518273499924691876e-10 N 0x3DF41054 0x33A63C08 0x3E0F8420 0x683266EA # 1.459832479072983441822000859008e-10 Z 0x3DF5100C 0x76618332 0x3E108AE7 0xB6AF041B # 1.532512408559030691113388284293e-10 Z 0x3DFD38B8 0x25E69EE7 0x3E16F357 0xDD5AD05A # 2.126148310799539145197418491134e-10 Z 0x3DFD0CA3 0x0163B96F 0x3E16D0B8 0x88CCFA49 # 2.113619285624060784769976223567e-10 Z 0x3DE228BD 0x238465B5 0x3DFC8638 0xCC527E76 # 6.606255202540169778162669775456e-11 Z 0x3DE2C4A7 0x727B7A56 0x3DFD7B22 0x0C184989 # 6.827824123848540676026418966494e-11 N 0x3DE5C64B 0x88468BA2 0x3E011A0A 0x85130516 # 7.921549706893171719296615894439e-11 Z 0x3DED3906 0xD464CAE1 0x3E06F395 0xA93B4CB1 # 1.063117832468802554596016289266e-10 Z 0x3DD0B9C7 0x0E3CC2F9 0x3DEA45CC 0xEB45970C # 3.042385942105398421072258704455e-11 Z 0x3DD40764 0xDB3E2390 0x3DEF7617 0x740FA078 # 3.643232539032633143946184964561e-11 Z 0x3DD78CAB 0xBB20A487 0x3DF27EE8 0x30B0ECE3 # 4.283628260345445204149309833818e-11 N 0x3DC39B90 0x212E4697 0x3DDECCB6 0x0CC60759 # 1.783307015407689349090854355562e-11 N 0x3DC9B23E 0x013C85FE 0x3DE42E8A 0x12A98A89 # 2.337061106902021818244340239949e-11 Z 0x3DC9F5B0 0x9B18DE60 0x3DE46383 0x3AC8DE2F # 2.361023329411648275485868090132e-11 N 0x3DCF6AEC 0xE2F4233C 0x3DE8ACE6 0x170678C7 # 2.857421086601897674628000456460e-11 N 0x3DB0BD51 0x3C239B0D 0x3DCA4B5C 0x57974966 # 7.612252737309445099242823423587e-12 Z 0x3DB280F3 0x79BBF82C 0x3DCD10C9 0x0CC02399 # 8.414515442231844049720529724488e-12 N 0x3DB925A2 0x9BCD5C8F 0x3DD3C01B 0x5AD4F06D # 1.143553729905876420398696009002e-11 N 0x3DA40E98 0x774B4ABF 0x3DBF8167 0x63759683 # 4.560436979413795534530537396052e-12 Z 0x3DA676D3 0x5A4827C1 0x3DC1A4B0 0x17AF0C94 # 5.107759190129895522510199948376e-12 N 0x3DAD4352 0x6A4A13AD 0x3DC6FBAB 0xA524FE1B # 6.653630477113173092355446138355e-12 Z 0x3D93B516 0x926C95D3 0x3DAEF4CE 0x53F472C2 # 2.240469219818747439467138421494e-12 N 0x3D9989D4 0xC7071EC4 0x3DB40ECC 0xF347FFED # 2.903380274831687982128380002412e-12 N 0x3D9AB8E4 0x04018E56 0x3DB4FCD2 0xAEE01D51 # 3.037965739473192289352084831281e-12 Z 0x3FC09A3E 0xF7558F95 0x3FD95D09 0x97A16E27 # 6.485360659058721222169907605348e-02 Z 0x3FC4E07D 0x71F050D1 0x3FDF608A 0xA4E62780 # 8.155044585902550269285171680167e-02 N 0x3FCA7DB1 0x67C720B3 0x3FE35EE7 0x828CE04F # 1.034804228175996571037487115063e-01 Z 0x3FCD8995 0x36DE5514 0x3FE53825 0x6286D0B6 # 1.153805979686988725241292286228e-01 N 0x3FCE99D7 0x85D705F5 0x3FE5D656 0x1936B699 # 1.195349408872273394566221327295e-01 N 0x3FCC4BE3 0x1ACE008B 0x3FE47AE2 0x6E76EA8A # 1.105329456750060862502138547825e-01 Z 0x3FCD32CE 0x9ECC3F97 0x3FE504F1 0xA01776D2 # 1.140565049829532634495521392637e-01 Z 0x3D89ACB4 0x9458010D 0x3DA42A30 0xD4623458 # 1.459433771288373070509159372165e-12 N 0x3D72897A 0x42B94C6D 0x3D8D1E2D 0xC2B9DAB8 # 5.268538472852059753356815903186e-13 N 0x3D7CBA18 0xCBEC0777 0x3D968FE4 0xE83AE5C7 # 8.164687661074825241044634134127e-13 Z 0x3D631B63 0xF7EC244B 0x3D7E0360 0xD3E1C821 # 2.715267178735627906375404858751e-13 N 0x3D66AE5E 0x03AEB998 0x3D81D04F 0x673FC358 # 3.223181301687409622651949779004e-13 Z 0x3D68567B 0xFB171B32 0x3D831D69 0x32785616 # 3.458613562259012741111190159744e-13 Z 0x3D6D214B 0xF690E81E 0x3D86E0F2 0x78D8C7FC # 4.139631266136380003853312804370e-13 Z 0x3D6D96B3 0x59878DC9 0x3D873D27 0xEADFA188 # 4.204803496977641295222475532196e-13 Z 0x3D6FD08C 0x2D82D598 0x3D88FCB6 0x73AFE2BC # 4.521132118375705168707837081659e-13 Z 0x3D56EB7C 0x0D2597F8 0x3D72004F 0xC5A2EEF4 # 1.628554118117412533325091030014e-13 Z 0x3D5AA30E 0xED6CFF43 0x3D74EBAD 0x0603DD5A # 1.892668885597398930753216550905e-13 N 0x3D5B6319 0xF9AFE7EA 0x3D758281 0x974D2670 # 1.945971568932193834399640465362e-13 N 0x3D5A65DA 0xB603E8B2 0x3D74BB9B 0x3C2DE143 # 1.875681371286297946163408648138e-13 N 0x3D43A861 0xACFC071F 0x3D5EE0D8 0xB0C2A074 # 6.983832326034815688231240854680e-14 Z 0x3D48F333 0x71CB6402 0x3D63987E 0xF3435374 # 8.864021954097234028495510249272e-14 N 0x3D49D96E 0xFD918F85 0x3D644D51 0xF61FA0FD # 9.183533873149576989516173738100e-14 Z 0x3D4D3235 0xD8B0313F 0x3D66EE3B 0x27897901 # 1.037255050968843986282930295414e-13 Z 0x3D4CB1C4 0x68097212 0x3D66895A 0x21BF00A7 # 1.019429986603573779943522442021e-13 Z 0x3D32D01F 0x26730D90 0x3D4D8D25 0x70508ABD # 3.341855736889218421291678968900e-14 Z 0x3D3E725E 0xD5564439 0x3D57E9AF 0x29BC5681 # 5.408430955008948554201027262897e-14 Z 0x3D3DA874 0xC684D5CE 0x3D574B19 0xE2F1D774 # 5.268324772376867088068409762779e-14 N 0x3D209A60 0x6E188BC7 0x3D3A1479 0xE0236550 # 1.474645641683735019554125804087e-14 Z 0x3D2278A7 0x75A7CAE8 0x3D3D03C0 0xA74400D5 # 1.640581468949887510986848426563e-14 N 0x3D24A014 0xDE18D667 0x3D4032F7 0x60FC4734 # 1.831896271457662395585325770876e-14 Z 0x3D11D7C6 0xC117A710 0x3D2C070B 0xDE9A05C1 # 7.923828926087612206894202366221e-15 N 0x3D14191C 0x08FE8024 0x3D2F91EB 0x4BA178C5 # 8.925342257353834312428756347779e-15 N 0x3D165C85 0x1D345B6E 0x3D319007 0x08ADA40A # 9.930459192584332971474192598594e-15 N 0x3D05477E 0x868D25F0 0x3D20B673 0xB46A78A1 # 4.724948072200674167928164535370e-15 Z 0x3D06787F 0x3988969E 0x3D21A600 0x2478237D # 4.989495771096673141946428008638e-15 Z 0x3D0A7F2D 0xF54A944B 0x3D24CF7F 0x2A5E0101 # 5.883470381109506102230217940062e-15 Z 0x3CF5F7D9 0x30F3FC12 0x3D1140F5 0xD0221846 # 2.438955462597715533360855494259e-15 Z 0x3CF29ACA 0x3DA21576 0x3D0D395F 0x7FACF2C1 # 2.065530907314987361068229758101e-15 Z 0x3CFA6BF9 0x2A989EC0 0x3D14C069 0x86B94843 # 2.933405821293342617484088513837e-15 Z 0x3FB30DB2 0x59E8266C 0x3FCDA83E 0x335E3799 # 3.721387240882453872892199342459e-02 N 0x3CE1A1CE 0xED257DD1 0x3CFBB246 0x048E79E5 # 9.787761543243372851314957674409e-16 N 0x3CE4665D 0x86F9AC16 0x3D0005A2 0xDA8C066A # 1.132419969603701499525525701362e-15 Z 0x3CEBC3DF 0xD12089BD 0x3D05CE82 0xEBB1F861 # 1.541274548261670118176205201325e-15 Z 0x3CEDBE22 0x847498A9 0x3D075C20 0xA4C4E703 # 1.651052305639468454828288031530e-15 N 0x3CEEBB43 0xDE1EA01F 0x3D0822EF 0x814E5E53 # 1.705941184328367623154329446632e-15 N 0x3CECC101 0x2ACA9133 0x3D069551 0xC83B6FB3 # 1.596163426950569286502246616428e-15 N 0x3CD23E75 0x4FD0A5F9 0x3CECA856 0xB2909A85 # 5.063720980210399649036005025462e-16 Z 0x3CD405E2 0x8FFACCC8 0x3CEF73B8 0xAA073ED3 # 5.557495663162724879375947619554e-16 N 0x3CD8B7BC 0x06CEAFAB 0x3CF369CA 0x817A4A9F # 6.860543468904661915633355873662e-16 N 0x3CC59FAA 0x4C4FFC66 0x3CE0FBB3 0x888E270A # 3.000890132597966972192340441661e-16 Z 0x3CCE063B 0xE04DBAB6 0x3CE794C1 0x04F20624 # 4.166715741617656087634645158014e-16 Z 0x3FA543F1 0xE557BC8C 0x3FC0A78A 0xB97A0C7D # 2.076700174614791449823059110713e-02 Z 0x3FA81501 0x068BF7CD 0x3FC2D861 0xAC47B50A # 2.351762392481031652136103105022e-02 N 0x3F9C6E60 0x0E9798FD 0x3FB64D2D 0x3312A726 # 1.388239903003495902267250272644e-02 Z 0x3F8C2013 0xF3E7E035 0x3FA6152C 0x800973B9 # 6.866529407936684988034148346969e-03 N 0x3F8EAF1C 0x031ECC50 0x3FA8171C 0x5AA3EDA0 # 7.491216108905865422862291325146e-03 N 0x3F833440 0x671595F2 0x3F9E2950 0x21F7A450 # 4.688502858106501428037127254811e-03 N 0x3F788797 0x7FC9B2FA 0x3F9343B0 0x5C371959 # 2.994342705554206736373590302946e-03 Z 0x3F760DDD 0xADC6269C 0x3F91520A 0x91187721 # 2.692158667007072889165719686844e-03 N 0x3F7B21B4 0x97214BC0 0x3F954EC0 0x25D7D1F2 # 3.311970439463490789577804207511e-03