test data file for mpfr_sqrt, checked with MuPAD

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@4682 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 1069 insertions, 0 deletions

diff --git a/tests/data/sqrt b/tests/data/sqrt
new file mode 100644
index 000000000..1e09a8943
--- /dev/null
+++ b/tests/data/sqrt
@@ -0,0 +1,1069 @@
+# This file was generated from the FPAccuracy package
+# http://www.inf.ethz.ch/personal/gonnet/FPAccuracy/all.tar.Z:
+# Copyright (C) Gaston H. Gonnet
+# This program is free software; you can redistribute it and/or
+# modify it under the terms of the GNU General Public License
+# as published by the Free Software Foundation; either version 2
+# of the License, or (at your option) any later version.
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
+53 53 n 0x0p0 0x0p0
+53 53 n 0x10000000000000p-1074 0x10000000000000p-563
+53 53 n 0x10BC83C83049F8p-1074 0x105D327677F7BEp-563
+53 53 n 0x10BC83C8308901p-1074 0x105D327678168Fp-563
+53 53 n 0x10BC83C8308CB0p-1074 0x105D327678185Dp-563
+53 53 n 0x10BC83C8308CB2p-1074 0x105D327678185Dp-563
+53 53 n 0x10BC83C8308CB4p-1074 0x105D327678185Ep-563
+53 53 n 0x10BC83C8308E9Fp-1074 0x105D327678194Fp-563
+53 53 n 0x10BC83C8309007p-1074 0x105D32767819FEp-563
+53 53 n 0x10E4346505712Cp-1074 0x10708E4BF63A21p-563
+53 53 n 0x10E43465058A96p-1074 0x10708E4BF64680p-563
+53 53 n 0x10E434650594F5p-1074 0x10708E4BF64B8Bp-563
+53 53 n 0x10E4346505951Ap-1074 0x10708E4BF64B9Ep-563
+53 53 n 0x10E4346505974Bp-1074 0x10708E4BF64CAFp-563
+53 53 n 0x11EABE98197FBDp-1074 0x10EE6EBB69CD50p-563
+53 53 n 0x11EABE9819D715p-1074 0x10EE6EBB69F695p-563
+53 53 n 0x11EABE981A81CBp-1074 0x10EE6EBB6A473Dp-563
+53 53 n 0x11EABE981A8226p-1074 0x10EE6EBB6A4768p-563
+53 53 n 0x11EABE981A824Ap-1074 0x10EE6EBB6A477Ap-563
+53 53 n 0x11EABE981A824Cp-1074 0x10EE6EBB6A477Ap-563
+53 53 n 0x11EABE981A85C5p-1074 0x10EE6EBB6A491Fp-563
+53 53 n 0x1200E5ACFFB112p-1074 0x10F8E310B1DEA9p-563
+53 53 n 0x1200E5AD006965p-1074 0x10F8E310B2358Bp-563
+53 53 n 0x1200E5AD006BC8p-1074 0x10F8E310B236ACp-563
+53 53 n 0x1200E5AD006E2Bp-1074 0x10F8E310B237CCp-563
+53 53 n 0x1200E5AD006F0Ep-1074 0x10F8E310B23836p-563
+53 53 n 0x1200E5AD006F1Fp-1074 0x10F8E310B2383Fp-563
+53 53 n 0x1200E5AD006F32p-1074 0x10F8E310B23847p-563
+53 53 n 0x1210FE595097A5p-1074 0x110077AFEA0378p-563
+53 53 n 0x1210FE595097FAp-1074 0x110077AFEA039Fp-563
+53 53 n 0x1210FE5950980Bp-1074 0x110077AFEA03A7p-563
+53 53 n 0x1210FE5950D749p-1074 0x110077AFEA216Ap-563
+53 53 n 0x1210FE595116EDp-1074 0x110077AFEA3F5Bp-563
+53 53 n 0x1241986EC034CFp-1074 0x111746DB34CCD0p-563
+53 53 n 0x1241986EC034E0p-1074 0x111746DB34CCD7p-563
+53 53 n 0x1241986EC034EFp-1074 0x111746DB34CCDEp-563
+53 53 n 0x1241986EC034FEp-1074 0x111746DB34CCE6p-563
+53 53 n 0x1241986EC04294p-1074 0x111746DB34D342p-563
+53 53 n 0x1241986EC0870Fp-1074 0x111746DB34F350p-563
+53 53 n 0x1241986EC08B77p-1074 0x111746DB34F560p-563
+53 53 n 0x12A482741BD789p-1074 0x114555A577A33Ep-563
+53 53 n 0x12A482741BD811p-1074 0x114555A577A37Cp-563
+53 53 n 0x12A482741BD83Ap-1074 0x114555A577A38Fp-563
+53 53 n 0x12A482741BD870p-1074 0x114555A577A3A9p-563
+53 53 n 0x12A482741BDAC6p-1074 0x114555A577A4BEp-563
+53 53 n 0x12A482741BDE03p-1074 0x114555A577A63Dp-563
+53 53 n 0x12A482741C0289p-1074 0x114555A577B729p-563
+53 53 n 0x134AA4210FA2B9p-1074 0x1191A13C620FA7p-563
+53 53 n 0x134AA4210FA2C4p-1074 0x1191A13C620FACp-563
+53 53 n 0x134AA4210FA2CFp-1074 0x1191A13C620FB2p-563
+53 53 n 0x134AA4210FA33Fp-1074 0x1191A13C620FE5p-563
+53 53 n 0x134AA4210FA41Fp-1074 0x1191A13C62104Bp-563
+53 53 n 0x134AA4210FED4Ep-1074 0x1191A13C62319Dp-563
+53 53 n 0x13B659E1DEF6C0p-1074 0x11C2693F7BD740p-563
+53 53 n 0x13B659E1DF0506p-1074 0x11C2693F7BDDADp-563
+53 53 n 0x13B659E1DF078Cp-1074 0x11C2693F7BDED1p-563
+53 53 n 0x13B659E1DF07D3p-1074 0x11C2693F7BDEF0p-563
+53 53 n 0x13B659E1DF07FBp-1074 0x11C2693F7BDF03p-563
+53 53 n 0x13B659E1DF8D0Ep-1074 0x11C2693F7C1AF5p-563
+53 53 n 0x13FEE604C426D9p-1074 0x11E2F97EBEA5BFp-563
+53 53 n 0x13FEE604C43DF5p-1074 0x11E2F97EBEB015p-563
+53 53 n 0x13FEE604C44470p-1074 0x11E2F97EBEB2FBp-563
+53 53 n 0x13FEE604C44496p-1074 0x11E2F97EBEB30Cp-563
+53 53 n 0x13FEE604C444BCp-1074 0x11E2F97EBEB31Cp-563
+53 53 n 0x13FEE604C445A9p-1074 0x11E2F97EBEB387p-563
+53 53 n 0x13FEE604C47AA8p-1074 0x11E2F97EBECB3Ap-563
+53 53 n 0x13FEE604C4D251p-1074 0x11E2F97EBEF270p-563
+53 53 n 0x14A7AD4C70CDCEp-1074 0x122DD9BC7D1AF6p-563
+53 53 n 0x14A7AD4C70DC14p-1074 0x122DD9BC7D213Ep-563
+53 53 n 0x14A7AD4C711C4Fp-1074 0x122DD9BC7D3D82p-563
+53 53 n 0x14A7AD4C712040p-1074 0x122DD9BC7D3F3Ep-563
+53 53 n 0x14A7AD4C712049p-1074 0x122DD9BC7D3F41p-563
+53 53 n 0x14A7AD4C71207Bp-1074 0x122DD9BC7D3F57p-563
+53 53 n 0x14A7AD4C712111p-1074 0x122DD9BC7D3F9Ap-563
+53 53 n 0x14A7AD4C720A1Ap-1074 0x122DD9BC7DA627p-563
+53 53 n 0x15956B71A243EDp-1074 0x1295529B4C28C9p-563
+53 53 n 0x15956B71A28B87p-1074 0x1295529B4C479Cp-563
+53 53 n 0x15956B71A28B95p-1074 0x1295529B4C47A2p-563
+53 53 n 0x15956B71A28B9Cp-1074 0x1295529B4C47A5p-563
+53 53 n 0x15956B71A28C7Bp-1074 0x1295529B4C4805p-563
+53 53 n 0x15956B71A30BE3p-1074 0x1295529B4C7EDEp-563
+53 53 n 0x15C65F1EE4C803p-1074 0x12AA598674BDC9p-563
+53 53 n 0x15C65F1EE4EBA8p-1074 0x12AA598674CD10p-563
+53 53 n 0x15C65F1EE4EBEEp-1074 0x12AA598674CD2Ep-563
+53 53 n 0x15C65F1EE4EEE2p-1074 0x12AA598674CE72p-563
+53 53 n 0x15C65F1EE4EF44p-1074 0x12AA598674CE9Cp-563
+53 53 n 0x171976A49B25D4p-1074 0x133989FCF70AF2p-563
+53 53 n 0x171976A49B2976p-1074 0x133989FCF70C76p-563
+53 53 n 0x171976A49B2BE2p-1074 0x133989FCF70D78p-563
+53 53 n 0x171976A49B2C12p-1074 0x133989FCF70D8Bp-563
+53 53 n 0x171976A49B2C1Ep-1074 0x133989FCF70D90p-563
+53 53 n 0x171976A49B74AEp-1074 0x133989FCF72BC3p-563
+53 53 n 0x171ED48D7639D6p-1074 0x133BC5955E9978p-563
+53 53 n 0x171ED48D76CBAFp-1074 0x133BC5955ED622p-563
+53 53 n 0x171ED48D76D0A2p-1074 0x133BC5955ED831p-563
+53 53 n 0x171ED48D76D0AEp-1074 0x133BC5955ED836p-563
+53 53 n 0x171ED48D76D0BAp-1074 0x133BC5955ED83Bp-563
+53 53 n 0x171ED48D76D113p-1074 0x133BC5955ED860p-563
+53 53 n 0x171ED48D76D184p-1074 0x133BC5955ED890p-563
+53 53 n 0x171ED48D76F975p-1074 0x133BC5955EE92Cp-563
+53 53 n 0x176CBAFF0841E9p-1074 0x135C115AB037DEp-563
+53 53 n 0x176CBAFF08CC9Dp-1074 0x135C115AB0712Fp-563
+53 53 n 0x176CBAFF08CD8Fp-1074 0x135C115AB07193p-563
+53 53 n 0x176CBAFF08CDF7p-1074 0x135C115AB071BDp-563
+53 53 n 0x176CBAFF08CE08p-1074 0x135C115AB071C5p-563
+53 53 n 0x176CBAFF08D0B0p-1074 0x135C115AB072DEp-563
+53 53 n 0x17DC092DBFE2D3p-1074 0x1389D9E48658B2p-563
+53 53 n 0x17DC092DBFE352p-1074 0x1389D9E48658E6p-563
+53 53 n 0x17DC092DBFEEBBp-1074 0x1389D9E4865D92p-563
+53 53 n 0x17DC092DBFF08Bp-1074 0x1389D9E4865E50p-563
+53 53 n 0x17DC092DBFF0B7p-1074 0x1389D9E4865E62p-563
+53 53 n 0x17DC092DC07950p-1074 0x1389D9E4869651p-563
+53 53 n 0x1851A89BFBFE55p-1074 0x13B9C82DEACF21p-563
+53 53 n 0x1851A89BFC3032p-1074 0x13B9C82DEAE359p-563
+53 53 n 0x1851A89BFC309Cp-1074 0x13B9C82DEAE384p-563
+53 53 n 0x1851A89BFC30A1p-1074 0x13B9C82DEAE387p-563
+53 53 n 0x1851A89BFC30C1p-1074 0x13B9C82DEAE393p-563
+53 53 n 0x1851A89BFC30E6p-1074 0x13B9C82DEAE3A3p-563
+53 53 n 0x1851A89BFC3391p-1074 0x13B9C82DEAE4B7p-563
+53 53 n 0x1851A89BFC3DAEp-1074 0x13B9C82DEAE8D2p-563
+53 53 n 0x18613B74F45725p-1074 0x13C01815647DEAp-563
+53 53 n 0x18613B74F4695Fp-1074 0x13C0181564854Cp-563
+53 53 n 0x18613B74F46989p-1074 0x13C0181564855Ep-563
+53 53 n 0x18613B74F469D8p-1074 0x13C0181564857Ep-563
+53 53 n 0x18613B74F46AC5p-1074 0x13C018156485DEp-563
+53 53 n 0x18613B74F49F4Fp-1074 0x13C01815649B25p-563
+53 53 n 0x18A02B0D6C3827p-1074 0x13D985CEF26ACCp-563
+53 53 n 0x18A02B0D6C4026p-1074 0x13D985CEF26E04p-563
+53 53 n 0x18A02B0D6C4698p-1074 0x13D985CEF2709Dp-563
+53 53 n 0x18A02B0D6C469Dp-1074 0x13D985CEF270A0p-563
+53 53 n 0x18A02B0D6C46DBp-1074 0x13D985CEF270B9p-563
+53 53 n 0x18A02B0D6C4825p-1074 0x13D985CEF2713Dp-563
+53 53 n 0x18A02B0D6C96D1p-1074 0x13D985CEF290F2p-563
+53 53 n 0x18C49364DF128Bp-1074 0x13E82CC445DAE2p-563
+53 53 n 0x18C49364DF15E3p-1074 0x13E82CC445DC3Ap-563
+53 53 n 0x18C49364DF184Cp-1074 0x13E82CC445DD31p-563
+53 53 n 0x18C49364DF1860p-1074 0x13E82CC445DD39p-563
+53 53 n 0x18C49364DF1865p-1074 0x13E82CC445DD3Cp-563
+53 53 n 0x18C49364DF3BE7p-1074 0x13E82CC445EB81p-563
+53 53 n 0x18C49364DF6543p-1074 0x13E82CC445FC1Fp-563
+53 53 n 0x1947105F84DBEBp-1074 0x141C58DC3B6A3Ap-563
+53 53 n 0x1947105F84DBF0p-1074 0x141C58DC3B6A3Cp-563
+53 53 n 0x1947105F84DC04p-1074 0x141C58DC3B6A44p-563
+53 53 n 0x1947105F855A33p-1074 0x141C58DC3B9C76p-563
+53 53 n 0x1947105F85B8E9p-1074 0x141C58DC3BC223p-563
+53 53 n 0x1949ED19CFE4C3p-1074 0x141D7C4E2C4F96p-563
+53 53 n 0x1949ED19D03338p-1074 0x141D7C4E2C6EC9p-563
+53 53 n 0x1949ED19D033E8p-1074 0x141D7C4E2C6F0Fp-563
+53 53 n 0x1949ED19D03401p-1074 0x141D7C4E2C6F19p-563
+53 53 n 0x1949ED19D03543p-1074 0x141D7C4E2C6F9Ap-563
+53 53 n 0x1A2A178A3A638Cp-1074 0x1475E139926759p-563
+53 53 n 0x1A2A178A3A74BBp-1074 0x1475E139926E11p-563
+53 53 n 0x1A2A178A3A7500p-1074 0x1475E139926E2Cp-563
+53 53 n 0x1A2A178A3A7BEFp-1074 0x1475E1399270E2p-563
+53 53 n 0x1A2A178A3A8323p-1074 0x1475E1399273B4p-563
+53 53 n 0x1A2A178A3B19E2p-1074 0x1475E13992AEA5p-563
+53 53 n 0x1A37D14F8229D5p-1074 0x147B3E6612303Cp-563
+53 53 n 0x1A37D14F82374Bp-1074 0x147B3E6612357Fp-563
+53 53 n 0x1A37D14F82378Bp-1074 0x147B3E66123597p-563
+53 53 n 0x1A37D14F82380Bp-1074 0x147B3E661235C9p-563
+53 53 n 0x1A37D14F82381Dp-1074 0x147B3E661235D1p-563
+53 53 n 0x1A37D14F823BDDp-1074 0x147B3E66123747p-563
+53 53 n 0x1A37D14F8254A0p-1074 0x147B3E661240F3p-563
+53 53 n 0x1AEFA427BBEA16p-1074 0x14C28F52D931D0p-563
+53 53 n 0x1AEFA427BBEC1Dp-1074 0x14C28F52D93298p-563
+53 53 n 0x1AEFA427BC73F2p-1074 0x14C28F52D966F0p-563
+53 53 n 0x1AEFA427BD05EAp-1074 0x14C28F52D99F30p-563
+53 53 n 0x1AEFA427BD07F1p-1074 0x14C28F52D99FF8p-563
+53 53 n 0x1AEFA427BD085Ep-1074 0x14C28F52D9A022p-563
+53 53 n 0x1B758B56802589p-1074 0x14F5E983E9B102p-563
+53 53 n 0x1B758B5680823Bp-1074 0x14F5E983E9D463p-563
+53 53 n 0x1B758B56808250p-1074 0x14F5E983E9D46Cp-563
+53 53 n 0x1B758B5680830Ap-1074 0x14F5E983E9D4B3p-563
+53 53 n 0x1B758B568085E5p-1074 0x14F5E983E9D5CAp-563
+53 53 n 0x1B758B56809684p-1074 0x14F5E983E9DC21p-563
+53 53 n 0x1B758B5680BFD0p-1074 0x14F5E983E9EBE4p-563
+53 53 n 0x1B8BBA44512CBEp-1074 0x14FE5F46D3A147p-563
+53 53 n 0x1B8BBA44512FF6p-1074 0x14FE5F46D3A281p-563
+53 53 n 0x1B8BBA4451400Ep-1074 0x14FE5F46D3A8A3p-563
+53 53 n 0x1B8BBA44514124p-1074 0x14FE5F46D3A90Dp-563
+53 53 n 0x1B8BBA4451412Cp-1074 0x14FE5F46D3A910p-563
+53 53 n 0x1B8BBA44514180p-1074 0x14FE5F46D3A930p-563
+53 53 n 0x1B8BBA445141AAp-1074 0x14FE5F46D3A940p-563
+53 53 n 0x1B8BBA44515D1Bp-1074 0x14FE5F46D3B3B5p-563
+53 53 n 0x1C3779765CA93Ep-1074 0x153F6CF75F6D71p-563
+53 53 n 0x1C3779765CAA35p-1074 0x153F6CF75F6DCDp-563
+53 53 n 0x1C3779765CAA45p-1074 0x153F6CF75F6DD4p-563
+53 53 n 0x1C3779765CAA5Dp-1074 0x153F6CF75F6DDDp-563
+53 53 n 0x1C3779765CAA8Ap-1074 0x153F6CF75F6DEEp-563
+53 53 n 0x1C3779765CB153p-1074 0x153F6CF75F707Cp-563
+53 53 n 0x1C3779765CD779p-1074 0x153F6CF75F7ED8p-563
+53 53 n 0x1C76E9F21C6F36p-1074 0x1557424F356BE7p-563
+53 53 n 0x1C76E9F21C72E9p-1074 0x1557424F356D4Ap-563
+53 53 n 0x1C76E9F21C7329p-1074 0x1557424F356D62p-563
+53 53 n 0x1C76E9F21C7399p-1074 0x1557424F356D8Cp-563
+53 53 n 0x1C76E9F21C8560p-1074 0x1557424F357437p-563
+53 53 n 0x1CC2807482D3EFp-1074 0x1573857A71374Fp-563
+53 53 n 0x1CC2807482D465p-1074 0x1573857A71377Cp-563
+53 53 n 0x1CC2807482D46Dp-1074 0x1573857A71377Ep-563
+53 53 n 0x1CC2807482D475p-1074 0x1573857A713781p-563
+53 53 n 0x1CC2807482DE5Bp-1074 0x1573857A713B33p-563
+53 53 n 0x1CDFEBD32AC1CFp-1074 0x157E7B6A87F83Bp-563
+53 53 n 0x1CDFEBD32AD70Dp-1074 0x157E7B6A880023p-563
+53 53 n 0x1CDFEBD32AE869p-1074 0x157E7B6A880699p-563
+53 53 n 0x1CDFEBD32AE879p-1074 0x157E7B6A88069Ep-563
+53 53 n 0x1CDFEBD32AE8A4p-1074 0x157E7B6A8806AEp-563
+53 53 n 0x1CDFEBD32AE8CFp-1074 0x157E7B6A8806BFp-563
+53 53 n 0x1CDFEBD32AEB6Cp-1074 0x157E7B6A8807B8p-563
+53 53 n 0x1CDFEBD32AEC4Bp-1074 0x157E7B6A88080Bp-563
+53 53 n 0x1D08F836297F1Ap-1074 0x158DBD2D66504Ap-563
+53 53 n 0x1D08F836297F22p-1074 0x158DBD2D66504Cp-563
+53 53 n 0x1D08F836297F3Dp-1074 0x158DBD2D665056p-563
+53 53 n 0x1D08F836298083p-1074 0x158DBD2D6650CFp-563
+53 53 n 0x1D08F83629830Fp-1074 0x158DBD2D6651C1p-563
+53 53 n 0x1D08F83629B993p-1074 0x158DBD2D6665FDp-563
+53 53 n 0x1D08F83629D4D5p-1074 0x158DBD2D66701Bp-563
+53 53 n 0x1D11FB0F69A6A8p-1074 0x159115249AC37Dp-563
+53 53 n 0x1D11FB0F69B79Fp-1074 0x159115249AC9C7p-563
+53 53 n 0x1D11FB0F69FB22p-1074 0x159115249AE2D2p-563
+53 53 n 0x1D11FB0F69FB3Dp-1074 0x159115249AE2DDp-563
+53 53 n 0x1D11FB0F69FB7Bp-1074 0x159115249AE2F3p-563
+53 53 n 0x1DA4B4583DA39Cp-1074 0x15C73E2F67E5CBp-563
+53 53 n 0x1DA4B4583DACB9p-1074 0x15C73E2F67E925p-563
+53 53 n 0x1DA4B4583DACEAp-1074 0x15C73E2F67E936p-563
+53 53 n 0x1DA4B4583DACFDp-1074 0x15C73E2F67E93Dp-563
+53 53 n 0x1DA4B4583DBF24p-1074 0x15C73E2F67EFE9p-563
+53 53 n 0x1DAFAA0D5D9FCBp-1074 0x15CB4474FFF208p-563
+53 53 n 0x1DAFAA0D5DA01Ap-1074 0x15CB4474FFF225p-563
+53 53 n 0x1DAFAA0D5DA038p-1074 0x15CB4474FFF231p-563
+53 53 n 0x1DAFAA0D5DA040p-1074 0x15CB4474FFF233p-563
+53 53 n 0x1DAFAA0D5DA633p-1074 0x15CB4474FFF462p-563
+53 53 n 0x1DAFAA0D5DA967p-1074 0x15CB4474FFF590p-563
+53 53 n 0x1DAFAA0D5DD35Ap-1074 0x15CB44750004F6p-563
+53 53 n 0x1DF9FE9E51EE1Cp-1074 0x15E67C56C7E4AAp-563
+53 53 n 0x1DF9FE9E52A716p-1074 0x15E67C56C8283Cp-563
+53 53 n 0x1DF9FE9E52A74Ap-1074 0x15E67C56C8284Ep-563
+53 53 n 0x1DF9FE9E52AD86p-1074 0x15E67C56C82A96p-563
+53 53 n 0x1DF9FE9E52CDB6p-1074 0x15E67C56C83658p-563
+53 53 n 0x1E64B6BC236B1Bp-1074 0x160D55AE39442Fp-563
+53 53 n 0x1E64B6BC23A8B5p-1074 0x160D55AE395A89p-563
+53 53 n 0x1E64B6BC23B913p-1074 0x160D55AE396079p-563
+53 53 n 0x1E64B6BC23B929p-1074 0x160D55AE396081p-563
+53 53 n 0x1E64B6BC23B93Fp-1074 0x160D55AE396088p-563
+53 53 n 0x1E64B6BC23BA7Cp-1074 0x160D55AE3960FCp-563
+53 53 n 0x1E64B6BC23D488p-1074 0x160D55AE396A6Fp-563
+53 53 n 0x1F33B5FC7B8134p-1074 0x1657EF866A2C8Cp-563
+53 53 n 0x1F33B5FC7BA330p-1074 0x1657EF866A38B8p-563
+53 53 n 0x1F33B5FC7BBBE6p-1074 0x1657EF866A4190p-563
+53 53 n 0x1F33B5FC7BBC02p-1074 0x1657EF866A419Bp-563
+53 53 n 0x1F33B5FC7BBC0Dp-1074 0x1657EF866A419Ep-563
+53 53 n 0x1F33B5FC7BBC37p-1074 0x1657EF866A41AEp-563
+53 53 n 0x1F33B5FC7BBE60p-1074 0x1657EF866A4274p-563
+53 53 n 0x1F8A258EDC27A5p-1074 0x1676CCE53CBC28p-563
+53 53 n 0x1F8A258EDC866Dp-1074 0x1676CCE53CDDE9p-563
+53 53 n 0x1F8A258EDC867Bp-1074 0x1676CCE53CDDEDp-563
+53 53 n 0x1F8A258EDC868Cp-1074 0x1676CCE53CDDF4p-563
+53 53 n 0x1F8A258EDC892Bp-1074 0x1676CCE53CDEE3p-563
+53 53 n 0x1F8A258EDC8A8Ap-1074 0x1676CCE53CDF5Fp-563
+53 53 n 0x1F8A258EDCC154p-1074 0x1676CCE53CF2E2p-563
+53 53 n 0x1EEB671A29575Ap-60 0x163DFCB5B1A650p-56
+53 53 n 0x1EEB671A29D7CFp-60 0x163DFCB5B1D484p-56
+53 53 n 0x1EEB671A2A0A39p-60 0x163DFCB5B1E6A5p-56
+53 53 n 0x1EEB671A2A1D99p-60 0x163DFCB5B1ED9Ep-56
+53 53 n 0x1EEB671A2A1E96p-60 0x163DFCB5B1EDF8p-56
+53 53 n 0x1EEB671A2A236Ep-60 0x163DFCB5B1EFB6p-56
+53 53 n 0x1FFFFFFFFFFFFEp-59 0x1FFFFFFFFFFFFFp-56
+53 53 n 0x1FFFFFFFFFFFFFp-59 0x1FFFFFFFFFFFFFp-56
+53 53 n 0x10000000000001p-58 0x10000000000000p-55
+53 53 n 0x198A51703D27DFp-57 0x1C96998800DC04p-55
+53 53 n 0x198A51703DA826p-57 0x1C9699880123CEp-55
+53 53 n 0x198A51703DB304p-57 0x1C9699880129E4p-55
+53 53 n 0x198A51703DB348p-57 0x1C969988012A0Ap-55
+53 53 n 0x198A51703DB358p-57 0x1C969988012A13p-55
+53 53 n 0x198A51703DB371p-57 0x1C969988012A21p-55
+53 53 n 0x198A51703DB5DDp-57 0x1C969988012B7Cp-55
+53 53 n 0x198A51703DB9A9p-57 0x1C969988012D9Cp-55
+53 53 n 0x198A51703DF10Bp-57 0x1C969988014C9Ap-55
+53 53 n 0x1FFF4F5522A013p-57 0x1FFFA7AA176357p-55
+53 53 n 0x1FFF4F5522A017p-57 0x1FFFA7AA176359p-55
+53 53 n 0x1FFF4F5522A193p-57 0x1FFFA7AA176417p-55
+53 53 n 0x1FFF4F5522A7E5p-57 0x1FFFA7AA176740p-55
+53 53 n 0x1FFF4F5522A83Dp-57 0x1FFFA7AA17676Cp-55
+53 53 n 0x1FFFFFFFFFFFFEp-57 0x1FFFFFFFFFFFFFp-55
+53 53 n 0x1FFFFFFFFFFFFFp-57 0x1FFFFFFFFFFFFFp-55
+53 53 n 0x10000000000001p-56 0x10000000000000p-54
+53 53 n 0x1AF86A2E78E1E7p-56 0x14C5F091BADFA0p-54
+53 53 n 0x1AF86A2E78E288p-56 0x14C5F091BADFDEp-54
+53 53 n 0x1AF86A2E791561p-56 0x14C5F091BAF373p-54
+53 53 n 0x1C6F0A170DA788p-56 0x15544E6CFBC701p-54
+53 53 n 0x1C6F0A170DBC4Fp-56 0x15544E6CFBCECCp-54
+53 53 n 0x1C6F0A170DC13Cp-56 0x15544E6CFBD0A4p-54
+53 53 n 0x1C6F0A170DC1E4p-56 0x15544E6CFBD0E3p-54
+53 53 n 0x1C6F0A170DC32Cp-56 0x15544E6CFBD15Ep-54
+53 53 n 0x1C6F0A170DC33Cp-56 0x15544E6CFBD165p-54
+53 53 n 0x1C6F0A170DF3AFp-56 0x15544E6CFBE391p-54
+53 53 n 0x1C6F0A170E3FD6p-56 0x15544E6CFC0021p-54
+53 53 n 0x1EF6D635ABF8E8p-56 0x164219251DE7F3p-54
+53 53 n 0x1EF6D635AC3442p-56 0x164219251DFD47p-54
+53 53 n 0x1EF6D635AC3450p-56 0x164219251DFD4Dp-54
+53 53 n 0x1EF6D635AC388Dp-56 0x164219251DFED3p-54
+53 53 n 0x1EF6D635AC3E31p-56 0x164219251E00D9p-54
+53 53 n 0x1EF6D635AC98B1p-56 0x164219251E2160p-54
+53 53 n 0x1122E96217A776p-55 0x176ACBCD1B0900p-54
+53 53 n 0x1122E96218737Ep-55 0x176ACBCD1B9468p-54
+53 53 n 0x1122E9621873BAp-55 0x176ACBCD1B9491p-54
+53 53 n 0x1122E9621873CDp-55 0x176ACBCD1B949Ep-54
+53 53 n 0x1122E9621876F2p-55 0x176ACBCD1B96C4p-54
+53 53 n 0x1122E9621878ACp-55 0x176ACBCD1B97F2p-54
+53 53 n 0x1122E9621885DBp-55 0x176ACBCD1BA0F4p-54
+53 53 n 0x1122E96218930Ap-55 0x176ACBCD1BA9F6p-54
+53 53 n 0x1864C6CC8B2F1Bp-55 0x1BF06D44C63267p-54
+53 53 n 0x1864C6CC8B3648p-55 0x1BF06D44C63682p-54
+53 53 n 0x1864C6CC8B3C0Fp-55 0x1BF06D44C639D1p-54
+53 53 n 0x1864C6CC8B3C16p-55 0x1BF06D44C639D5p-54
+53 53 n 0x1864C6CC8B3C1Dp-55 0x1BF06D44C639DAp-54
+53 53 n 0x1864C6CC8B65D3p-55 0x1BF06D44C651BDp-54
+53 53 n 0x1864C6CC8C92C7p-55 0x1BF06D44C6FE16p-54
+53 53 n 0x1A657D449B9CD4p-55 0x1D10408F31BFE4p-54
+53 53 n 0x1A657D449BAF45p-55 0x1D10408F31CA0Bp-54
+53 53 n 0x1A657D449BB249p-55 0x1D10408F31CBB4p-54
+53 53 n 0x1A657D449BB2A2p-55 0x1D10408F31CBE4p-54
+53 53 n 0x1A657D449BB2B6p-55 0x1D10408F31CBF0p-54
+53 53 n 0x1A657D449BB2CAp-55 0x1D10408F31CBFBp-54
+53 53 n 0x1A657D449BB368p-55 0x1D10408F31CC51p-54
+53 53 n 0x1A657D449BCD00p-55 0x1D10408F31DA69p-54
+53 53 n 0x1A9088CCD75792p-55 0x1D27E9640755F5p-54
+53 53 n 0x1A9088CCD758DAp-55 0x1D27E9640756A9p-54
+53 53 n 0x1A9088CCD7597Ep-55 0x1D27E964075703p-54
+53 53 n 0x1A9088CCD75EBDp-55 0x1D27E9640759E5p-54
+53 53 n 0x1A9088CCD77BBBp-55 0x1D27E9640769CEp-54
+53 53 n 0x1FF291001982CEp-55 0x1FF947CB70B826p-54
+53 53 n 0x1FF2910019A41Dp-55 0x1FF947CB70C8D2p-54
+53 53 n 0x1FF2910019B59Dp-55 0x1FF947CB70D193p-54
+53 53 n 0x1FF2910019B5D5p-55 0x1FF947CB70D1AFp-54
+53 53 n 0x1FF2910019B70Fp-55 0x1FF947CB70D24Cp-54
+53 53 n 0x1FF2910019B725p-55 0x1FF947CB70D257p-54
+53 53 n 0x1FFFFFFFFFFFFEp-55 0x1FFFFFFFFFFFFFp-54
+53 53 n 0x1FFFFFFFFFFFFFp-55 0x1FFFFFFFFFFFFFp-54
+53 53 n 0x10000000000001p-54 0x10000000000000p-53
+53 53 n 0x10A4D67712D3D9p-54 0x10519B1F4B06D5p-53
+53 53 n 0x10A4D67713A19Ep-54 0x10519B1F4B6BB5p-53
+53 53 n 0x10A4D67713B46Ap-54 0x10519B1F4B74ECp-53
+53 53 n 0x10A4D67713B46Ep-54 0x10519B1F4B74EDp-53
+53 53 n 0x10A4D67713B66Ap-54 0x10519B1F4B75E7p-53
+53 53 n 0x12B0E0D4F6A199p-54 0x114B0F640E078Bp-53
+53 53 n 0x12B0E0D4F6C463p-54 0x114B0F640E17A3p-53
+53 53 n 0x12B0E0D4F6CBF6p-54 0x114B0F640E1B23p-53
+53 53 n 0x12B0E0D4F6CE35p-54 0x114B0F640E1C2Ep-53
+53 53 n 0x12B0E0D4F6CFC7p-54 0x114B0F640E1CE7p-53
+53 53 n 0x12B0E0D4F6CFD4p-54 0x114B0F640E1CEDp-53
+53 53 n 0x12B0E0D4F6CFE1p-54 0x114B0F640E1CF3p-53
+53 53 n 0x12B0E0D4F6D074p-54 0x114B0F640E1D38p-53
+53 53 n 0x12B0E0D4F7817Bp-54 0x114B0F640E6F1Dp-53
+53 53 n 0x1308CD15327164p-54 0x11738C85D13FA7p-53
+53 53 n 0x1308CD1532717Cp-54 0x11738C85D13FB2p-53
+53 53 n 0x1308CD153271ACp-54 0x11738C85D13FC9p-53
+53 53 n 0x1308CD15327399p-54 0x11738C85D140AAp-53
+53 53 n 0x1308CD15327B65p-54 0x11738C85D1443Dp-53
+53 53 n 0x1308CD153294B6p-54 0x11738C85D14FD9p-53
+53 53 n 0x1308CD1532F22Ep-54 0x11738C85D17AB1p-53
+53 53 n 0x17406D8DD04C70p-54 0x1349BA0858105Bp-53
+53 53 n 0x17406D8DD05C5Dp-54 0x1349BA085816F6p-53
+53 53 n 0x17406D8DD075B5p-54 0x1349BA08582179p-53
+53 53 n 0x17406D8DD07715p-54 0x1349BA0858220Ap-53
+53 53 n 0x17406D8DD0773Ep-54 0x1349BA0858221Cp-53
+53 53 n 0x17406D8DD0774Ap-54 0x1349BA08582220p-53
+53 53 n 0x17406D8DD07C37p-54 0x1349BA0858242Cp-53
+53 53 n 0x17406D8DD1287Dp-54 0x1349BA08586B9Fp-53
+53 53 n 0x17F9969337A74Ep-54 0x1395EFCB5F2A87p-53
+53 53 n 0x17F9969337A86Ap-54 0x1395EFCB5F2AFBp-53
+53 53 n 0x17F9969337A93Fp-54 0x1395EFCB5F2B53p-53
+53 53 n 0x17F9969337AE53p-54 0x1395EFCB5F2D66p-53
+53 53 n 0x17F99693381471p-54 0x1395EFCB5F571Bp-53
+53 53 n 0x17FB1DDF0F8E45p-54 0x13968F9D29F799p-53
+53 53 n 0x17FB1DDF0FCD6Fp-54 0x13968F9D2A1165p-53
+53 53 n 0x17FB1DDF0FCFC2p-54 0x13968F9D2A1259p-53
+53 53 n 0x17FB1DDF0FD009p-54 0x13968F9D2A1276p-53
+53 53 n 0x17FB1DDF0FD2EAp-54 0x13968F9D2A13A2p-53
+53 53 n 0x189775C22ADB76p-54 0x13D6030739AFD7p-53
+53 53 n 0x189775C22ADB9Bp-54 0x13D6030739AFE5p-53
+53 53 n 0x189775C22ADBAFp-54 0x13D6030739AFEDp-53
+53 53 n 0x189775C22ADC2Bp-54 0x13D6030739B020p-53
+53 53 n 0x189775C22AE7BEp-54 0x13D6030739B4CBp-53
+53 53 n 0x189775C22AF351p-54 0x13D6030739B976p-53
+53 53 n 0x189775C22B86B6p-54 0x13D6030739F4E8p-53
+53 53 n 0x19CD09BF0533CFp-54 0x14515E6082EF20p-53
+53 53 n 0x19CD09BF05340Cp-54 0x14515E6082EF39p-53
+53 53 n 0x19CD09BF0534ACp-54 0x14515E6082EF78p-53
+53 53 n 0x19CD09BF05354Cp-54 0x14515E6082EFB7p-53
+53 53 n 0x19CD09BF053BEAp-54 0x14515E6082F252p-53
+53 53 n 0x19CD09BF058075p-54 0x14515E60830D4Fp-53
+53 53 n 0x19CD09BF06098Bp-54 0x14515E60834348p-53
+53 53 n 0x1B3D43FF40F8BAp-54 0x14E063A2CF2499p-53
+53 53 n 0x1B3D43FF410FC1p-54 0x14E063A2CF2D6Bp-53
+53 53 n 0x1B3D43FF410FD6p-54 0x14E063A2CF2D74p-53
+53 53 n 0x1B3D43FF41102Cp-54 0x14E063A2CF2D95p-53
+53 53 n 0x1B3D43FF4112BBp-54 0x14E063A2CF2E8Fp-53
+53 53 n 0x1B3D43FF412A2Dp-54 0x14E063A2CF378Cp-53
+53 53 n 0x1B3D43FF415BA0p-54 0x14E063A2CF4A7Fp-53
+53 53 n 0x1B8E515E7F4A81p-54 0x14FF5BF0BBD5E7p-53
+53 53 n 0x1B8E515E7F56CCp-54 0x14FF5BF0BBDA96p-53
+53 53 n 0x1B8E515E7F579Ep-54 0x14FF5BF0BBDAE6p-53
+53 53 n 0x1B8E515E7F57C8p-54 0x14FF5BF0BBDAF6p-53
+53 53 n 0x1B8E515E7F7FBFp-54 0x14FF5BF0BBEA30p-53
+53 53 n 0x1B8E515E8054B7p-54 0x14FF5BF0BC3B53p-53
+53 53 n 0x1ECEB1C0F9DDCDp-54 0x1633A6E97E9600p-53
+53 53 n 0x1ECEB1C0FA2293p-54 0x1633A6E97EAEC7p-53
+53 53 n 0x1ECEB1C0FA281Dp-54 0x1633A6E97EB0C6p-53
+53 53 n 0x1ECEB1C0FA282Bp-54 0x1633A6E97EB0CBp-53
+53 53 n 0x1ECEB1C0FA2844p-54 0x1633A6E97EB0D5p-53
+53 53 n 0x1ECEB1C0FA28B3p-54 0x1633A6E97EB0FDp-53
+53 53 n 0x115F0943B009EAp-53 0x1793BCA861EF6Ep-53
+53 53 n 0x115F0943B00A00p-53 0x1793BCA861EF7Cp-53
+53 53 n 0x115F0943B00A1Cp-53 0x1793BCA861EF8Fp-53
+53 53 n 0x115F0943B00AA8p-53 0x1793BCA861EFEFp-53
+53 53 n 0x115F0943B00D45p-53 0x1793BCA861F1B5p-53
+53 53 n 0x115F0943B00FE2p-53 0x1793BCA861F37Bp-53
+53 53 n 0x1183E62242136Fp-53 0x17ACB388954078p-53
+53 53 n 0x1183E622421BADp-53 0x17ACB38895460Ap-53
+53 53 n 0x1183E62242B009p-53 0x17ACB38895AA4Ep-53
+53 53 n 0x1183E62242D101p-53 0x17ACB38895C096p-53
+53 53 n 0x1183E62242D1B7p-53 0x17ACB38895C112p-53
+53 53 n 0x1183E62242D1DCp-53 0x17ACB38895C12Bp-53
+53 53 n 0x1183E62242D1DFp-53 0x17ACB38895C12Dp-53
+53 53 n 0x11DB2AA94692EFp-53 0x17E7652964F774p-53
+53 53 n 0x11DB2AA946A373p-53 0x17E76529650282p-53
+53 53 n 0x11DB2AA946C01Cp-53 0x17E765296515B2p-53
+53 53 n 0x11DB2AA946C114p-53 0x17E76529651657p-53
+53 53 n 0x11DB2AA946C190p-53 0x17E765296516AAp-53
+53 53 n 0x11DB2AA946C199p-53 0x17E765296516B1p-53
+53 53 n 0x11DB2AA946C1C9p-53 0x17E765296516D1p-53
+53 53 n 0x11DB2AA946C47Bp-53 0x17E7652965189Ep-53
+53 53 n 0x11E3F41413A48Fp-53 0x17ED461476FAD8p-53
+53 53 n 0x11E3F41413A71Ep-53 0x17ED461476FC8Ep-53
+53 53 n 0x11E3F41413A721p-53 0x17ED461476FC90p-53
+53 53 n 0x11E3F41413A733p-53 0x17ED461476FC9Cp-53
+53 53 n 0x11E3F41413A7C1p-53 0x17ED461476FCFBp-53
+53 53 n 0x11E3F41413AB96p-53 0x17ED461476FF8Bp-53
+53 53 n 0x12C2B1F1DBDF7Ap-53 0x1880743461E2DBp-53
+53 53 n 0x12C2B1F1DBF3B2p-53 0x1880743461F00Fp-53
+53 53 n 0x12C2B1F1DBF8C0p-53 0x1880743461F35Cp-53
+53 53 n 0x12C2B1F1DBF922p-53 0x1880743461F39Bp-53
+53 53 n 0x12C2B1F1DBF936p-53 0x1880743461F3A9p-53
+53 53 n 0x12C2B1F1DC1575p-53 0x1880743462061Ap-53
+53 53 n 0x13253826BCF489p-53 0x18C0770AFEC64Cp-53
+53 53 n 0x13253826BD0E52p-53 0x18C0770AFED6F7p-53
+53 53 n 0x13253826BD21FFp-53 0x18C0770AFEE3B0p-53
+53 53 n 0x13253826BD2210p-53 0x18C0770AFEE3BAp-53
+53 53 n 0x13253826BD221Ep-53 0x18C0770AFEE3C4p-53
+53 53 n 0x13253826BD2262p-53 0x18C0770AFEE3EFp-53
+53 53 n 0x13253826BD2317p-53 0x18C0770AFEE465p-53
+53 53 n 0x13253826BD2599p-53 0x18C0770AFEE604p-53
+53 53 n 0x13253826BDD796p-53 0x18C0770AFF5912p-53
+53 53 n 0x14B4DEABD9839Bp-53 0x19BDBE7446B477p-53
+53 53 n 0x14B4DEABDA53D9p-53 0x19BDBE744735E7p-53
+53 53 n 0x14B4DEABDA5448p-53 0x19BDBE7447362Bp-53
+53 53 n 0x14B4DEABDA546Dp-53 0x19BDBE74473642p-53
+53 53 n 0x14B4DEABDA55FCp-53 0x19BDBE7447373Bp-53
+53 53 n 0x14B4DEABDA5C65p-53 0x19BDBE74473B37p-53
+53 53 n 0x14B4DEABDA7807p-53 0x19BDBE74474C64p-53
+53 53 n 0x14C1953616FEDAp-53 0x19C5A42C6CA25Fp-53
+53 53 n 0x14C19536171A1Fp-53 0x19C5A42C6CB34Cp-53
+53 53 n 0x14C19536171D0Cp-53 0x19C5A42C6CB51Dp-53
+53 53 n 0x14C19536171FF9p-53 0x19C5A42C6CB6EFp-53
+53 53 n 0x159CBCEC0ACC0Bp-53 0x1A4C530094282Fp-53
+53 53 n 0x159CBCEC0AFAB0p-53 0x1A4C5300944490p-53
+53 53 n 0x159CBCEC0AFC74p-53 0x1A4C53009445A3p-53
+53 53 n 0x159CBCEC0AFED9p-53 0x1A4C5300944717p-53
+53 53 n 0x159CBCEC0AFEDEp-53 0x1A4C530094471Ap-53
+53 53 n 0x159CBCEC0AFF6Dp-53 0x1A4C5300944771p-53
+53 53 n 0x159CBCEC0B0CFEp-53 0x1A4C5300944FB3p-53
+53 53 n 0x159CBCEC0BA132p-53 0x1A4C530094A9DEp-53
+53 53 n 0x16F97046EEC4BFp-53 0x1B1D3C303C85DBp-53
+53 53 n 0x16F97046EF370Ep-53 0x1B1D3C303CC94Fp-53
+53 53 n 0x16F97046EF39E5p-53 0x1B1D3C303CCAFCp-53
+53 53 n 0x16F97046EF3A9Cp-53 0x1B1D3C303CCB67p-53
+53 53 n 0x16F97046EF3AA8p-53 0x1B1D3C303CCB6Fp-53
+53 53 n 0x16F97046EF3AC3p-53 0x1B1D3C303CCB7Fp-53
+53 53 n 0x16F97046EF698Bp-53 0x1B1D3C303CE719p-53
+53 53 n 0x17BE3162A01E9Dp-53 0x1B90625345142Ap-53
+53 53 n 0x17BE3162A01F4Bp-53 0x1B90625345148Fp-53
+53 53 n 0x17BE3162A01FF9p-53 0x1B9062534514F5p-53
+53 53 n 0x17BE3162A022D0p-53 0x1B90625345169Bp-53
+53 53 n 0x17BE3162A031B1p-53 0x1B906253451F3Dp-53
+53 53 n 0x1AC3551FAC9797p-53 0x1D43BC8C063C93p-53
+53 53 n 0x1AC3551FAD5A2Bp-53 0x1D43BC8C06A6F5p-53
+53 53 n 0x1AC3551FAD747Fp-53 0x1D43BC8C06B55Ap-53
+53 53 n 0x1AC3551FAD748Ap-53 0x1D43BC8C06B561p-53
+53 53 n 0x1AC3551FAD7555p-53 0x1D43BC8C06B5D0p-53
+53 53 n 0x1AC3551FAD7A99p-53 0x1D43BC8C06B8B0p-53
+53 53 n 0x1AFA530654863Fp-53 0x1D61BE0E2F4EE1p-53
+53 53 n 0x1AFA530654864Ap-53 0x1D61BE0E2F4EE7p-53
+53 53 n 0x1AFA5306548655p-53 0x1D61BE0E2F4EEDp-53
+53 53 n 0x1AFA5306548902p-53 0x1D61BE0E2F5062p-53
+53 53 n 0x1AFA530654B468p-53 0x1D61BE0E2F6804p-53
+53 53 n 0x1AFA530654BD7Bp-53 0x1D61BE0E2F6CF5p-53
+53 53 n 0x1AFA5306556CB2p-53 0x1D61BE0E2FCC5Fp-53
+53 53 n 0x1B1161F1197EECp-53 0x1D6E49D68268DAp-53
+53 53 n 0x1B1161F119846Dp-53 0x1D6E49D6826BD7p-53
+53 53 n 0x1B1161F11984C9p-53 0x1D6E49D6826C0Ap-53
+53 53 n 0x1B1161F11984D4p-53 0x1D6E49D6826C0Fp-53
+53 53 n 0x1B1161F1199EF6p-53 0x1D6E49D6827A45p-53
+53 53 n 0x1D57BB45EF5427p-53 0x1EA47EC49675EAp-53
+53 53 n 0x1D57BB45EF5563p-53 0x1EA47EC496768Ep-53
+53 53 n 0x1D57BB45EF5617p-53 0x1EA47EC49676ECp-53
+53 53 n 0x1D57BB45EF562Ep-53 0x1EA47EC49676F8p-53
+53 53 n 0x1D57BB45EF7F2Fp-53 0x1EA47EC4968C62p-53
+53 53 n 0x1D57BB45F09C44p-53 0x1EA47EC497213Dp-53
+53 53 n 0x1D57BB45F0B1C8p-53 0x1EA47EC4972C79p-53
+53 53 n 0x1E0E7A7206E205p-53 0x1F0357CAA52D7Fp-53
+53 53 n 0x1E0E7A7206E45Ap-53 0x1F0357CAA52EB3p-53
+53 53 n 0x1E0E7A7206E498p-53 0x1F0357CAA52ED3p-53
+53 53 n 0x1F3B793136857Ep-53 0x1F9D23E38F258Dp-53
+53 53 n 0x1F3B7931368717p-53 0x1F9D23E38F265Cp-53
+53 53 n 0x1F3B7931368719p-53 0x1F9D23E38F265Ep-53
+53 53 n 0x1F3B7931368731p-53 0x1F9D23E38F266Ap-53
+53 53 n 0x1F3B79313687BBp-53 0x1F9D23E38F26AFp-53
+53 53 n 0x1F3B7931369D28p-53 0x1F9D23E38F3188p-53
+53 53 n 0x1F65F39D09DE2Ep-53 0x1FB29C39D48B0Ap-53
+53 53 n 0x1F65F39D09EEF9p-53 0x1FB29C39D49383p-53
+53 53 n 0x1F65F39D09FFC4p-53 0x1FB29C39D49BFDp-53
+53 53 n 0x1F65F39D0A002Dp-53 0x1FB29C39D49C33p-53
+53 53 n 0x1F65F39D0A002Fp-53 0x1FB29C39D49C34p-53
+53 53 n 0x1F65F39D0A0047p-53 0x1FB29C39D49C40p-53
+53 53 n 0x1F65F39D0A5977p-53 0x1FB29C39D4C945p-53
+53 53 n 0x1FFFFFFFFFFFFEp-53 0x1FFFFFFFFFFFFFp-53
+53 53 n 0x1FFFFFFFFFFFFFp-53 0x1FFFFFFFFFFFFFp-53
+53 53 n 0x10000000000001p-52 0x10000000000000p-52
+53 53 n 0x1FFFFFFFFFE2B0p-52 0x16A09E667F316Fp-52
+53 53 n 0x1FFFFFFFFFFCF6p-52 0x16A09E667F3ABAp-52
+53 53 n 0x1FFFFFFFFFFF9Ap-52 0x16A09E667F3BA9p-52
+53 53 n 0x1FFFFFFFFFFFECp-52 0x16A09E667F3BC5p-52
+53 53 n 0x1FFFFFFFFFFFFFp-52 0x16A09E667F3BCCp-52
+53 53 n 0x10000000000000p-51 0x16A09E667F3BCDp-52
+53 53 n 0x10000000000001p-51 0x16A09E667F3BCDp-52
+53 53 n 0x100000000000BCp-51 0x16A09E667F3C52p-52
+53 53 n 0x10000000003DE9p-51 0x16A09E667F6793p-52
+53 53 n 0x1FFFFFFFFFFFFEp-51 0x1FFFFFFFFFFFFFp-52
+53 53 n 0x1FFFFFFFFFFFFFp-51 0x1FFFFFFFFFFFFFp-52
+53 53 n 0x10000000000001p-50 0x10000000000000p-51
+53 53 n 0x14A64FDCE218BBp-50 0x122D3FF3A00A6Ep-51
+53 53 n 0x14A64FDCE218C4p-50 0x122D3FF3A00A71p-51
+53 53 n 0x14A64FDCE218DDp-50 0x122D3FF3A00A7Cp-51
+53 53 n 0x14A64FDCE218F6p-50 0x122D3FF3A00A87p-51
+53 53 n 0x14A64FDCE21A44p-50 0x122D3FF3A00B1Ap-51
+53 53 n 0x14A64FDCE2FFD6p-50 0x122D3FF3A07024p-51
+53 53 n 0x14A64FDCE3729Fp-50 0x122D3FF3A0A2A9p-51
+53 53 n 0x154D436BCB7743p-50 0x1276285FF115E9p-51
+53 53 n 0x154D436BCB7761p-50 0x1276285FF115F5p-51
+53 53 n 0x154D436BCB7C6Bp-50 0x1276285FF11824p-51
+53 53 n 0x154D436BCBB48Dp-50 0x1276285FF13077p-51
+53 53 n 0x154D436BCBBC2Bp-50 0x1276285FF133C4p-51
+53 53 n 0x154D436BCBBC42p-50 0x1276285FF133CEp-51
+53 53 n 0x154D436BCBBC49p-50 0x1276285FF133D1p-51
+53 53 n 0x1567FE34450AB7p-50 0x1281B9F424E887p-51
+53 53 n 0x1567FE34454E5Fp-50 0x1281B9F42505C6p-51
+53 53 n 0x1567FE34454FBAp-50 0x1281B9F425065Bp-51
+53 53 n 0x1567FE344555C1p-50 0x1281B9F42508F7p-51
+53 53 n 0x159D8E917DB781p-50 0x1298D30CBE1A69p-51
+53 53 n 0x159D8E917DBE1Bp-50 0x1298D30CBE1D40p-51
+53 53 n 0x159D8E917DC08Ap-50 0x1298D30CBE1E4Cp-51
+53 53 n 0x159D8E917DC13Dp-50 0x1298D30CBE1E99p-51
+53 53 n 0x159D8E917DC14Bp-50 0x1298D30CBE1E9Fp-51
+53 53 n 0x159D8E917DC246p-50 0x1298D30CBE1F0Ap-51
+53 53 n 0x159D8E917E0CA0p-50 0x1298D30CBE3F06p-51
+53 53 n 0x16A135A143FF50p-50 0x13073D9F5593ECp-51
+53 53 n 0x16A135A143FF57p-50 0x13073D9F5593EEp-51
+53 53 n 0x16A135A1440000p-50 0x13073D9F559436p-51
+53 53 n 0x16A135A14401A5p-50 0x13073D9F5594E7p-51
+53 53 n 0x16A135A144034Ap-50 0x13073D9F559598p-51
+53 53 n 0x16A135A1441B45p-50 0x13073D9F559FACp-51
+53 53 n 0x16A135A1445666p-50 0x13073D9F55B889p-51
+53 53 n 0x16FBA9880A5F3Cp-50 0x132D1F46AF018Fp-51
+53 53 n 0x16FBA9880A6125p-50 0x132D1F46AF025Cp-51
+53 53 n 0x16FBA9880A613Dp-50 0x132D1F46AF0266p-51
+53 53 n 0x16FBA9880BF45Ap-50 0x132D1F46AFAA91p-51
+53 53 n 0x1707CDDDEECFACp-50 0x13322F59DEBBA3p-51
+53 53 n 0x1707CDDDEED73Ap-50 0x13322F59DEBEC8p-51
+53 53 n 0x1707CDDDEEDE14p-50 0x13322F59DEC1A3p-51
+53 53 n 0x1707CDDDEEDE20p-50 0x13322F59DEC1A8p-51
+53 53 n 0x1707CDDDEEDE68p-50 0x13322F59DEC1C6p-51
+53 53 n 0x1707CDDDEEDEC8p-50 0x13322F59DEC1EEp-51
+53 53 n 0x1707CDDDEF8171p-50 0x13322F59DF05B8p-51
+53 53 n 0x17307D4B73E850p-50 0x13431C8BDD4F62p-51
+53 53 n 0x17307D4B740B71p-50 0x13431C8BDD5DF9p-51
+53 53 n 0x17307D4B740B82p-50 0x13431C8BDD5E01p-51
+53 53 n 0x17307D4B740BA6p-50 0x13431C8BDD5E10p-51
+53 53 n 0x17307D4B740BE7p-50 0x13431C8BDD5E2Bp-51
+53 53 n 0x17307D4B740FC7p-50 0x13431C8BDD5FC7p-51
+53 53 n 0x17307D4B74AE9Bp-50 0x13431C8BDDA1BEp-51
+53 53 n 0x1746BC50729E2Ep-50 0x134C579A40AA56p-51
+53 53 n 0x1746BC5074FA8Fp-50 0x134C579A41A4E1p-51
+53 53 n 0x1746BC50752FADp-50 0x134C579A41BAE6p-51
+53 53 n 0x1746BC50752FCAp-50 0x134C579A41BAF3p-51
+53 53 n 0x1746BC50752FD6p-50 0x134C579A41BAF7p-51
+53 53 n 0x1746BC507531D3p-50 0x134C579A41BBCAp-51
+53 53 n 0x1746BC5075350Cp-50 0x134C579A41BD20p-51
+53 53 n 0x17CC110297EE95p-50 0x13834EE72C5D1Cp-51
+53 53 n 0x17CC110297F103p-50 0x13834EE72C5E1Cp-51
+53 53 n 0x17CC110297F12Ap-50 0x13834EE72C5E2Bp-51
+53 53 n 0x17CC11029882C7p-50 0x13834EE72C99DEp-51
+53 53 n 0x18FFAE50CEB497p-50 0x13FFDF536B3133p-51
+53 53 n 0x18FFAE50CF9516p-50 0x13FFDF536B8AFFp-51
+53 53 n 0x18FFAE50CF9534p-50 0x13FFDF536B8B0Bp-51
+53 53 n 0x18FFAE50CF9A57p-50 0x13FFDF536B8D19p-51
+53 53 n 0x18FFAE50CF9F84p-50 0x13FFDF536B8F2Bp-51
+53 53 n 0x18FFAE50CF9F9Dp-50 0x13FFDF536B8F35p-51
+53 53 n 0x18FFAE50CF9FA2p-50 0x13FFDF536B8F38p-51
+53 53 n 0x1915A971B9AB3Bp-50 0x1408A84DCD6435p-51
+53 53 n 0x1915A971B9E515p-50 0x1408A84DCD7B4Ep-51
+53 53 n 0x1915A971BA0EBCp-50 0x1408A84DCD8BF1p-51
+53 53 n 0x1915A971BA1235p-50 0x1408A84DCD8D53p-51
+53 53 n 0x1915A971BA123Ap-50 0x1408A84DCD8D55p-51
+53 53 n 0x1915A971BA1299p-50 0x1408A84DCD8D7Bp-51
+53 53 n 0x1915A971BA12C6p-50 0x1408A84DCD8D8Dp-51
+53 53 n 0x1915A971BA1EEFp-50 0x1408A84DCD9268p-51
+53 53 n 0x1938C484763E18p-50 0x1416A82C6E9032p-51
+53 53 n 0x1938C484763E22p-50 0x1416A82C6E9036p-51
+53 53 n 0x1938C484763E40p-50 0x1416A82C6E9042p-51
+53 53 n 0x1938C484763EFAp-50 0x1416A82C6E908Cp-51
+53 53 n 0x1938C484763FDCp-50 0x1416A82C6E90E7p-51
+53 53 n 0x1938C48476444Bp-50 0x1416A82C6E92ABp-51
+53 53 n 0x19A1C8C6CFF970p-50 0x14404F5118CD09p-51
+53 53 n 0x19A1C8C6CFFB7Cp-50 0x14404F5118CDD8p-51
+53 53 n 0x19A1C8C6D02054p-50 0x14404F5118DC66p-51
+53 53 n 0x19A1C8C6D02A90p-50 0x14404F5118E071p-51
+53 53 n 0x19A1C8C6D02AE1p-50 0x14404F5118E091p-51
+53 53 n 0x19A1C8C6D02AF0p-50 0x14404F5118E097p-51
+53 53 n 0x19B55D4ECB75F4p-50 0x144809FB920A0Ep-51
+53 53 n 0x19B55D4ECBA09Bp-50 0x144809FB921AE1p-51
+53 53 n 0x19B55D4ECBCB42p-50 0x144809FB922BB4p-51
+53 53 n 0x19B55D4ECBCF33p-50 0x144809FB922D42p-51
+53 53 n 0x19B55D4ECBD12Ep-50 0x144809FB922E09p-51
+53 53 n 0x19B55D4ECBD133p-50 0x144809FB922E0Bp-51
+53 53 n 0x19B55D4ECBD14Fp-50 0x144809FB922E17p-51
+53 53 n 0x19B55D4ECBD1BCp-50 0x144809FB922E41p-51
+53 53 n 0x19B55D4ECBD324p-50 0x144809FB922ED0p-51
+53 53 n 0x19BC05BFB26E97p-50 0x144AAA212C3B4Ep-51
+53 53 n 0x19BC05BFB28752p-50 0x144AAA212C450Ep-51
+53 53 n 0x19BC05BFB287FCp-50 0x144AAA212C4551p-51
+53 53 n 0x19BC05BFB28801p-50 0x144AAA212C4552p-51
+53 53 n 0x19BC05BFB288D1p-50 0x144AAA212C45A4p-51
+53 53 n 0x19BC05BFB299F0p-50 0x144AAA212C4C64p-51
+53 53 n 0x19BC05BFB29FA5p-50 0x144AAA212C4EA4p-51
+53 53 n 0x19BC05BFB39C87p-50 0x144AAA212CB258p-51
+53 53 n 0x19D7A8D3E30560p-50 0x14558C909FCB05p-51
+53 53 n 0x19D7A8D3E30565p-50 0x14558C909FCB06p-51
+53 53 n 0x19D7A8D3E30581p-50 0x14558C909FCB12p-51
+53 53 n 0x19D7A8D3E305FBp-50 0x14558C909FCB42p-51
+53 53 n 0x19D7A8D3E30638p-50 0x14558C909FCB59p-51
+53 53 n 0x19D7A8D3E319D4p-50 0x14558C909FD310p-51
+53 53 n 0x19D7A8D3E31DC0p-50 0x14558C909FD49Bp-51
+53 53 n 0x19F999A86E1384p-50 0x1462E29B2FDAF3p-51
+53 53 n 0x19F999A86E54C4p-50 0x1462E29B2FF48Ep-51
+53 53 n 0x19F999A86E57F6p-50 0x1462E29B2FF5D0p-51
+53 53 n 0x19F999A86E59E7p-50 0x1462E29B2FF693p-51
+53 53 n 0x19F999A86E59ECp-50 0x1462E29B2FF694p-51
+53 53 n 0x19F999A86E5A8Ap-50 0x1462E29B2FF6D2p-51
+53 53 n 0x1AD14771138626p-50 0x14B6D8C0FB8370p-51
+53 53 n 0x1AD1477113F095p-50 0x14B6D8C0FBAC8Cp-51
+53 53 n 0x1AD1477113F6D0p-50 0x14B6D8C0FBAEF4p-51
+53 53 n 0x1AD1477113FA9Bp-50 0x14B6D8C0FBB06Bp-51
+53 53 n 0x1AD1477113FAC7p-50 0x14B6D8C0FBB07Cp-51
+53 53 n 0x1AD147711413DFp-50 0x14B6D8C0FBBA2Dp-51
+53 53 n 0x1AE62DE1531723p-50 0x14BEE990588C61p-51
+53 53 n 0x1AE62DE153864Dp-50 0x14BEE99058B740p-51
+53 53 n 0x1AE62DE1538652p-50 0x14BEE99058B741p-51
+53 53 n 0x1AE62DE1538693p-50 0x14BEE99058B75Ap-51
+53 53 n 0x1AE62DE1538EF1p-50 0x14BEE99058BA94p-51
+53 53 n 0x1AE62DE15390BCp-50 0x14BEE99058BB46p-51
+53 53 n 0x1C3394E1344898p-50 0x153DF5B12AE49Ep-51
+53 53 n 0x1C3394E13448E5p-50 0x153DF5B12AE4BAp-51
+53 53 n 0x1C3394E134491Ap-50 0x153DF5B12AE4CEp-51
+53 53 n 0x1C3394E134492Ap-50 0x153DF5B12AE4D4p-51
+53 53 n 0x1C3394E1344932p-50 0x153DF5B12AE4D7p-51
+53 53 n 0x1C3394E1344D23p-50 0x153DF5B12AE653p-51
+53 53 n 0x1C3394E13455ECp-50 0x153DF5B12AE9A2p-51
+53 53 n 0x1C3394E1345EB5p-50 0x153DF5B12AECF1p-51
+53 53 n 0x1C3394E1352D4Fp-50 0x153DF5B12B3AC1p-51
+53 53 n 0x1C50A5A6EE15C1p-50 0x1548E529041C4Bp-51
+53 53 n 0x1C50A5A6EE15D9p-50 0x1548E529041C54p-51
+53 53 n 0x1C50A5A6EE15F1p-50 0x1548E529041C5Dp-51
+53 53 n 0x1C50A5A6EE164Ep-50 0x1548E529041C7Fp-51
+53 53 n 0x1C50A5A6EE1C95p-50 0x1548E529041EDCp-51
+53 53 n 0x1C50A5A6EE2125p-50 0x1548E529042092p-51
+53 53 n 0x1C50A5A6EE351Cp-50 0x1548E529042814p-51
+53 53 n 0x1C50A5A6EECE8Dp-50 0x1548E5290461C0p-51
+53 53 n 0x1DA6785A735F4Bp-50 0x15C7E43730870Ep-51
+53 53 n 0x1DA6785A7382B8p-50 0x15C7E437309412p-51
+53 53 n 0x1DA6785A7382CBp-50 0x15C7E437309418p-51
+53 53 n 0x1DA6785A7382E9p-50 0x15C7E437309424p-51
+53 53 n 0x1DA6785A738F55p-50 0x15C7E4373098B4p-51
+53 53 n 0x1DA6785A73A512p-50 0x15C7E43730A0B0p-51
+53 53 n 0x1E41152A0020BAp-50 0x160064C88D9000p-51
+53 53 n 0x1E41152A0020C5p-50 0x160064C88D9003p-51
+53 53 n 0x1E41152A002175p-50 0x160064C88D9043p-51
+53 53 n 0x1E41152A0025B6p-50 0x160064C88D91CFp-51
+53 53 n 0x1E41152A00260Ep-50 0x160064C88D91EFp-51
+53 53 n 0x1E41152A003CAEp-50 0x160064C88D9A2Ap-51
+53 53 n 0x1E41152A004AA8p-50 0x160064C88D9F3Fp-51
+53 53 n 0x1E7B48A5242A91p-50 0x1615844211FD23p-51
+53 53 n 0x1E7B48A5242B1Bp-50 0x1615844211FD54p-51
+53 53 n 0x1E7B48A5242B55p-50 0x1615844211FD6Ap-51
+53 53 n 0x1E7B48A5242FB3p-50 0x1615844211FEFEp-51
+53 53 n 0x1E7B48A524FEC5p-50 0x16158442124A01p-51
+53 53 n 0x1EC9E1DAD9887Bp-50 0x1631EAF3BDFBF3p-51
+53 53 n 0x1EC9E1DAD98A42p-50 0x1631EAF3BDFC98p-51
+53 53 n 0x1EC9E1DAD9920Ap-50 0x1631EAF3BDFF65p-51
+53 53 n 0x1EC9E1DAD9BE9Dp-50 0x1631EAF3BE0F76p-51
+53 53 n 0x1F12FFEC8970D0p-50 0x164C362653A9CCp-51
+53 53 n 0x1F12FFEC89C77Dp-50 0x164C362653C8E6p-51
+53 53 n 0x1F12FFEC89D263p-50 0x164C362653CCCFp-51
+53 53 n 0x1F12FFEC89D2E6p-50 0x164C362653CCFEp-51
+53 53 n 0x1F12FFEC89D5F8p-50 0x164C362653CE18p-51
+53 53 n 0x1F12FFEC89D67Bp-50 0x164C362653CE47p-51
+53 53 n 0x1F12FFEC89D686p-50 0x164C362653CE4Ap-51
+53 53 n 0x1F6F9B406A77E8p-50 0x166D574931D2D2p-51
+53 53 n 0x1F6F9B406B4E74p-50 0x166D5749321F5Ap-51
+53 53 n 0x1F6F9B406B5825p-50 0x166D57493222D0p-51
+53 53 n 0x1F6F9B406B5D53p-50 0x166D57493224A8p-51
+53 53 n 0x1F6F9B406B5DA7p-50 0x166D57493224C6p-51
+53 53 n 0x1F6F9B406B5DB8p-50 0x166D57493224CDp-51
+53 53 n 0x1F6F9B406B5DF0p-50 0x166D57493224E1p-51
+53 53 n 0x1F6F9B406B5E9Bp-50 0x166D574932251Ep-51
+53 53 n 0x1FD340B7916245p-50 0x1690C6CCE9C32Ap-51
+53 53 n 0x1FD340B7916275p-50 0x1690C6CCE9C33Bp-51
+53 53 n 0x1FD340B7916A42p-50 0x1690C6CCE9C5FFp-51
+53 53 n 0x1FD340B7916BDBp-50 0x1690C6CCE9C690p-51
+53 53 n 0x1FD340B79201EAp-50 0x1690C6CCE9FBC3p-51
+53 53 n 0x107373B00757C5p-49 0x16F1B033143272p-51
+53 53 n 0x107373B007E1BEp-49 0x16F1B0331492A9p-51
+53 53 n 0x107373B007E6C0p-49 0x16F1B033149627p-51
+53 53 n 0x107373B007E758p-49 0x16F1B033149691p-51
+53 53 n 0x107373B007E779p-49 0x16F1B0331496A9p-51
+53 53 n 0x107373B007E8F5p-49 0x16F1B0331497B2p-51
+53 53 n 0x10E1BD3C31A4D0p-49 0x173E198BE91C2Fp-51
+53 53 n 0x10E1BD3C31B912p-49 0x173E198BE92A20p-51
+53 53 n 0x10E1BD3C31C333p-49 0x173E198BE93119p-51
+53 53 n 0x10E1BD3C31C51Ep-49 0x173E198BE9326Cp-51
+53 53 n 0x10E1BD3C31C5A8p-49 0x173E198BE932CAp-51
+53 53 n 0x10E1BD3C31C5B5p-49 0x173E198BE932D3p-51
+53 53 n 0x10E1BD3C325D0Dp-49 0x173E198BE99B03p-51
+53 53 n 0x11793BE693291Dp-49 0x17A57D43656C95p-51
+53 53 n 0x11793BE69392ECp-49 0x17A57D4365B42Dp-51
+53 53 n 0x11793BE693A256p-49 0x17A57D4365BE9Bp-51
+53 53 n 0x11793BE693A5DDp-49 0x17A57D4365C0FFp-51
+53 53 n 0x11793BE693A5E6p-49 0x17A57D4365C105p-51
+53 53 n 0x11793BE693A7F4p-49 0x17A57D4365C269p-51
+53 53 n 0x11A0A4913771F7p-49 0x17C018A2743291p-51
+53 53 n 0x11A0A4913775DEp-49 0x17C018A2743532p-51
+53 53 n 0x11A0A491377DACp-49 0x17C018A2743A74p-51
+53 53 n 0x11A0A491377DFFp-49 0x17C018A2743AACp-51
+53 53 n 0x11A0A491377E0Bp-49 0x17C018A2743AB4p-51
+53 53 n 0x12509DB1407061p-49 0x183582CE93A277p-51
+53 53 n 0x12509DB1407A55p-49 0x183582CE93A90Ap-51
+53 53 n 0x12509DB140CC72p-49 0x183582CE93DF4Fp-51
+53 53 n 0x12509DB140D3E9p-49 0x183582CE93E43Ep-51
+53 53 n 0x12509DB140D536p-49 0x183582CE93E51Bp-51
+53 53 n 0x12509DB140D545p-49 0x183582CE93E524p-51
+53 53 n 0x12509DB140D5B8p-49 0x183582CE93E571p-51
+53 53 n 0x1308CF18F50D4Ep-49 0x18AE12C86EE0BFp-51
+53 53 n 0x1308CF18F56AE1p-49 0x18AE12C86F1D69p-51
+53 53 n 0x1308CF18F57308p-49 0x18AE12C86F22B1p-51
+53 53 n 0x1308CF18F57571p-49 0x18AE12C86F2442p-51
+53 53 n 0x1308CF18F577DAp-49 0x18AE12C86F25D2p-51
+53 53 n 0x1308CF18F577EEp-49 0x18AE12C86F25DEp-51
+53 53 n 0x130DBDAEFFAFBFp-49 0x18B1451BEE4CADp-51
+53 53 n 0x130DBDAF001CD0p-49 0x18B1451BEE9358p-51
+53 53 n 0x130DBDAF002BEDp-49 0x18B1451BEE9D24p-51
+53 53 n 0x130DBDAF003B0Ap-49 0x18B1451BEEA6EFp-51
+53 53 n 0x130DBDAF003BBDp-49 0x18B1451BEEA762p-51
+53 53 n 0x130DBDAF003BCEp-49 0x18B1451BEEA76Ep-51
+53 53 n 0x13101992EBD763p-49 0x18B2CC5D819D6Ep-51
+53 53 n 0x13101992EC2BEDp-49 0x18B2CC5D81D432p-51
+53 53 n 0x13101992EC3201p-49 0x18B2CC5D81D822p-51
+53 53 n 0x13101992EC3386p-49 0x18B2CC5D81D91Ep-51
+53 53 n 0x13101992EC33EFp-49 0x18B2CC5D81D963p-51
+53 53 n 0x13101992EC3400p-49 0x18B2CC5D81D96Ep-51
+53 53 n 0x13101992EC3425p-49 0x18B2CC5D81D986p-51
+53 53 n 0x13101992ECBF1Cp-49 0x18B2CC5D82338Cp-51
+53 53 n 0x137AD8CBD5F91Fp-49 0x18F7939209F9DBp-51
+53 53 n 0x137AD8CBD5F93Bp-49 0x18F7939209F9ECp-51
+53 53 n 0x137AD8CBD5F946p-49 0x18F7939209F9F3p-51
+53 53 n 0x137AD8CBD5FAC9p-49 0x18F7939209FAECp-51
+53 53 n 0x137AD8CBD5FB57p-49 0x18F7939209FB46p-51
+53 53 n 0x137AD8CBD60C62p-49 0x18F793920A0632p-51
+53 53 n 0x137AD8CBD61D6Dp-49 0x18F793920A111Fp-51
+53 53 n 0x138586E344460Ep-49 0x18FE6AC20F982Ap-51
+53 53 n 0x138586E344C464p-49 0x18FE6AC20FE90Ap-51
+53 53 n 0x138586E344C496p-49 0x18FE6AC20FE92Ap-51
+53 53 n 0x138586E344C65Bp-49 0x18FE6AC20FEA4Cp-51
+53 53 n 0x138586E344CA49p-49 0x18FE6AC20FECCFp-51
+53 53 n 0x138586E344DFFFp-49 0x18FE6AC20FFAB5p-51
+53 53 n 0x138586E3451646p-49 0x18FE6AC2101D74p-51
+53 53 n 0x13A1DC6FDE3D13p-49 0x1910879D71F589p-51
+53 53 n 0x13A1DC6FE07FEFp-49 0x1910879D73670Dp-51
+53 53 n 0x13A1DC6FE095BBp-49 0x1910879D7374F7p-51
+53 53 n 0x13A1DC6FE09619p-49 0x1910879D737533p-51
+53 53 n 0x13A1DC6FE09632p-49 0x1910879D737542p-51
+53 53 n 0x13A1DC6FE0963Dp-49 0x1910879D737549p-51
+53 53 n 0x13A1DC6FE09A60p-49 0x1910879D7377EDp-51
+53 53 n 0x13A1DC6FE0A546p-49 0x1910879D737EE2p-51
+53 53 n 0x1FFFFFFFFFFFFEp-49 0x1FFFFFFFFFFFFFp-51
+53 53 n 0x1FFFFFFFFFFFFFp-49 0x1FFFFFFFFFFFFFp-51
+53 53 n 0x10000000000001p-48 0x10000000000000p-50
+53 53 n 0x1FFFFFFFFFFFFEp-47 0x1FFFFFFFFFFFFFp-50
+53 53 n 0x1FFFFFFFFFFFFFp-47 0x1FFFFFFFFFFFFFp-50
+53 53 n 0x10000000000001p-46 0x10000000000000p-49
+53 53 n 0x1347462C79EDCBp-44 0x119018AD3ECD51p-48
+53 53 n 0x1347462C7A0046p-44 0x119018AD3ED5BCp-48
+53 53 n 0x1347462C7A0682p-44 0x119018AD3ED892p-48
+53 53 n 0x1347462C7A068Dp-44 0x119018AD3ED897p-48
+53 53 n 0x1347462C7A074Cp-44 0x119018AD3ED8EFp-48
+53 53 n 0x1347CD510111CEp-44 0x1190563BC23086p-48
+53 53 n 0x1347CD510122DFp-44 0x1190563BC2384Dp-48
+53 53 n 0x1347CD51012403p-44 0x1190563BC238D2p-48
+53 53 n 0x1347CD51012468p-44 0x1190563BC23900p-48
+53 53 n 0x1347CD51012D7Dp-44 0x1190563BC23D23p-48
+53 53 n 0x1347CD510132CCp-44 0x1190563BC23F8Ep-48
+53 53 n 0x13C37964D5D2D0p-44 0x11C8519BC38586p-48
+53 53 n 0x13C37964D5E9BAp-44 0x11C8519BC38FD5p-48
+53 53 n 0x13C37964D5ED00p-44 0x11C8519BC3914Ep-48
+53 53 n 0x13C37964D5ED3Cp-44 0x11C8519BC39169p-48
+53 53 n 0x13C37964D5ED8Cp-44 0x11C8519BC3918Dp-48
+53 53 n 0x13C37964D63357p-44 0x11C8519BC3B0F4p-48
+53 53 n 0x13C6098AAD8884p-44 0x11C978C25F4BF2p-48
+53 53 n 0x13C6098AADAE31p-44 0x11C978C25F5CE3p-48
+53 53 n 0x13C6098AADC326p-44 0x11C978C25F6650p-48
+53 53 n 0x13C6098AADC376p-44 0x11C978C25F6674p-48
+53 53 n 0x13C6098AADC3F7p-44 0x11C978C25F66AEp-48
+53 53 n 0x13C6098AADC74Fp-44 0x11C978C25F682Fp-48
+53 53 n 0x1407394103F07Cp-44 0x11E6B253EB2A9Cp-48
+53 53 n 0x14073941042C38p-44 0x11E6B253EB454Dp-48
+53 53 n 0x14073941042C41p-44 0x11E6B253EB4551p-48
+53 53 n 0x14073941042C70p-44 0x11E6B253EB4566p-48
+53 53 n 0x14073941042C9Fp-44 0x11E6B253EB457Cp-48
+53 53 n 0x14073941042E63p-44 0x11E6B253EB4645p-48
+53 53 n 0x1407394104321Ap-44 0x11E6B253EB47EFp-48
+53 53 n 0x14073941043A6Ap-44 0x11E6B253EB4BA6p-48
+53 53 n 0x14073941048CA8p-44 0x11E6B253EB7067p-48
+53 53 n 0x14215BFFF5B13Ep-44 0x11F25C9C6A62F7p-48
+53 53 n 0x14215BFFF5EE1Ap-44 0x11F25C9C6A7E17p-48
+53 53 n 0x14215BFFF5EF01p-44 0x11F25C9C6A7E7Ep-48
+53 53 n 0x14215BFFF5EF13p-44 0x11F25C9C6A7E86p-48
+53 53 n 0x14215BFFF5F068p-44 0x11F25C9C6A7F1Fp-48
+53 53 n 0x14215BFFF5FC94p-44 0x11F25C9C6A848Bp-48
+53 53 n 0x148271FDFEEFB3p-44 0x121D6FECFB1370p-48
+53 53 n 0x148271FDFEF13Dp-44 0x121D6FECFB141Dp-48
+53 53 n 0x148271FDFEF38Cp-44 0x121D6FECFB1522p-48
+53 53 n 0x148271FDFEF3D9p-44 0x121D6FECFB1545p-48
+53 53 n 0x148271FDFEF3E2p-44 0x121D6FECFB1548p-48
+53 53 n 0x148271FDFF2429p-44 0x121D6FECFB2A9Bp-48
+53 53 n 0x14BB7583BA8011p-44 0x12368C3E590F80p-48
+53 53 n 0x14BB7583BAA6F7p-44 0x12368C3E592095p-48
+53 53 n 0x14BB7583BAB514p-44 0x12368C3E5926C8p-48
+53 53 n 0x14BB7583BAB51Dp-44 0x12368C3E5926CCp-48
+53 53 n 0x14BB7583BAB53Dp-44 0x12368C3E5926DBp-48
+53 53 n 0x14BB7583BAB5A8p-44 0x12368C3E592709p-48
+53 53 n 0x14BB7583BABA6Ap-44 0x12368C3E592920p-48
+53 53 n 0x14F2799B6CAD7Bp-44 0x124EA6A8C33CF2p-48
+53 53 n 0x14F2799B6CAD82p-44 0x124EA6A8C33CF6p-48
+53 53 n 0x14F2799B6CADA2p-44 0x124EA6A8C33D03p-48
+53 53 n 0x14F2799B6CAE19p-44 0x124EA6A8C33D37p-48
+53 53 n 0x14F2799B6CAE90p-44 0x124EA6A8C33D6Cp-48
+53 53 n 0x14F2799B6CBA6Fp-44 0x124EA6A8C3429Bp-48
+53 53 n 0x1554E7CD6954D6p-44 0x127977D7AEE1D2p-48
+53 53 n 0x1554E7CD695537p-44 0x127977D7AEE1FCp-48
+53 53 n 0x1554E7CD69695Ep-44 0x127977D7AEEAB6p-48
+53 53 n 0x1554E7CD697D85p-44 0x127977D7AEF370p-48
+53 53 n 0x1554E7CD69E549p-44 0x127977D7AF2060p-48
+53 53 n 0x156BA67DF8D43Fp-44 0x12834E9EB1BAE3p-48
+53 53 n 0x156BA67DF8D446p-44 0x12834E9EB1BAE7p-48
+53 53 n 0x156BA67DF8D46Bp-44 0x12834E9EB1BAF6p-48
+53 53 n 0x156BA67DF8D4BCp-44 0x12834E9EB1BB1Ap-48
+53 53 n 0x156BA67DF8DAB1p-44 0x12834E9EB1BDACp-48
+53 53 n 0x156BA67DF8E3C9p-44 0x12834E9EB1C19Bp-48
+53 53 n 0x156BA67DF90506p-44 0x12834E9EB1CFF7p-48
+53 53 n 0x1665B171C515CEp-44 0x12EE27628781AEp-48
+53 53 n 0x1665B171C7BA90p-44 0x12EE2762889FAEp-48
+53 53 n 0x1665B171C7C1DBp-44 0x12EE276288A2C4p-48
+53 53 n 0x1665B171C7C372p-44 0x12EE276288A36Fp-48
+53 53 n 0x1665B171C7C379p-44 0x12EE276288A372p-48
+53 53 n 0x16673118155CF0p-44 0x12EEC9817F8E66p-48
+53 53 n 0x1667311815881Cp-44 0x12EEC9817FA0A5p-48
+53 53 n 0x1667311815C8DEp-44 0x12EEC9817FBC02p-48
+53 53 n 0x1667311815CB70p-44 0x12EEC9817FBD18p-48
+53 53 n 0x1667311815CB77p-44 0x12EEC9817FBD1Ap-48
+53 53 n 0x1667311815CC93p-44 0x12EEC9817FBD92p-48
+53 53 n 0x1667311815CD21p-44 0x12EEC9817FBDCEp-48
+53 53 n 0x1737B63B607E38p-44 0x13461C37B24480p-48
+53 53 n 0x1737B63B607E44p-44 0x13461C37B24484p-48
+53 53 n 0x1737B63B607F0Cp-44 0x13461C37B244D8p-48
+53 53 n 0x1737B63B608B13p-44 0x13461C37B249D5p-48
+53 53 n 0x1737B63B60CA10p-44 0x13461C37B263FAp-48
+53 53 n 0x17384A31A20CEBp-44 0x134659A16EE87Ep-48
+53 53 n 0x17384A31A20E87p-44 0x134659A16EE929p-48
+53 53 n 0x17384A31A21390p-44 0x134659A16EEB3Fp-48
+53 53 n 0x17384A31A225AEp-44 0x134659A16EF2C4p-48
+53 53 n 0x17384A31A249EAp-44 0x134659A16F01CFp-48
+53 53 n 0x173FC0E084E856p-44 0x13497268FB4DB0p-48
+53 53 n 0x173FC0E08563CAp-44 0x13497268FB80E6p-48
+53 53 n 0x173FC0E0856501p-44 0x13497268FB8166p-48
+53 53 n 0x173FC0E0856638p-44 0x13497268FB81E7p-48
+53 53 n 0x173FC0E0856661p-44 0x13497268FB81F9p-48
+53 53 n 0x173FC0E0857287p-44 0x13497268FB8702p-48
+53 53 n 0x178181D9EA157Bp-44 0x1364A55E5EDAA0p-48
+53 53 n 0x178181D9EA15CBp-44 0x1364A55E5EDAC2p-48
+53 53 n 0x178181D9EA16B6p-44 0x1364A55E5EDB22p-48
+53 53 n 0x178181D9EA16BBp-44 0x1364A55E5EDB25p-48
+53 53 n 0x178181D9EA3281p-44 0x1364A55E5EE699p-48
+53 53 n 0x178181D9EB6627p-44 0x1364A55E5F6582p-48
+53 53 n 0x178181D9EB9497p-44 0x1364A55E5F78AAp-48
+53 53 n 0x17D01DF79CDA15p-44 0x1384F7F80C38CFp-48
+53 53 n 0x17D01DF79CDB83p-44 0x1384F7F80C3965p-48
+53 53 n 0x17D01DF79CDC77p-44 0x1384F7F80C39CAp-48
+53 53 n 0x17D01DF79CE19Fp-44 0x1384F7F80C3BE7p-48
+53 53 n 0x17D01DF79D1007p-44 0x1384F7F80C4EECp-48
+53 53 n 0x17D01DF79D152Fp-44 0x1384F7F80C5109p-48
+53 53 n 0x17E844FEF809DFp-44 0x138EDB919F32BFp-48
+53 53 n 0x17E844FEF81787p-44 0x138EDB919F3856p-48
+53 53 n 0x17E844FEF8179Dp-44 0x138EDB919F385Ep-48
+53 53 n 0x17E844FEF8180Bp-44 0x138EDB919F388Bp-48
+53 53 n 0x17E844FEF81821p-44 0x138EDB919F3894p-48
+53 53 n 0x17E844FEF81826p-44 0x138EDB919F3897p-48
+53 53 n 0x17E844FEF81AFCp-44 0x138EDB919F39BFp-48
+53 53 n 0x17E844FEF85886p-44 0x138EDB919F52EBp-48
+53 53 n 0x17F56C407F423Bp-44 0x13943C2B27D65Dp-48
+53 53 n 0x17F56C407FFF74p-44 0x13943C2B2823AEp-48
+53 53 n 0x17F56C408022CCp-44 0x13943C2B283220p-48
+53 53 n 0x17F56C408022E2p-44 0x13943C2B283229p-48
+53 53 n 0x17F56C4080233Fp-44 0x13943C2B28324Fp-48
+53 53 n 0x17F56C408027F8p-44 0x13943C2B28343Dp-48
+53 53 n 0x17F56C4080296Cp-44 0x13943C2B2834D5p-48
+53 53 n 0x17FF7282E9D40Ep-44 0x1398545081A432p-48
+53 53 n 0x17FF7282E9D4B7p-44 0x1398545081A477p-48
+53 53 n 0x17FF7282E9D4C8p-44 0x1398545081A47Ep-48
+53 53 n 0x17FF7282E9EBF7p-44 0x1398545081ADF6p-48
+53 53 n 0x17FF7282E9FA9Dp-44 0x1398545081B3F0p-48
+53 53 n 0x182373C46D829Cp-44 0x13A701EA4B1E3Ep-48
+53 53 n 0x182373C46D82B7p-44 0x13A701EA4B1E49p-48
+53 53 n 0x182373C46D82BCp-44 0x13A701EA4B1E4Cp-48
+53 53 n 0x182373C46D8363p-44 0x13A701EA4B1E90p-48
+53 53 n 0x182373C46D8609p-44 0x13A701EA4B1FA4p-48
+53 53 n 0x182373C46D867Ap-44 0x13A701EA4B1FD1p-48
+53 53 n 0x182373C46D8EC2p-44 0x13A701EA4B2331p-48
+53 53 n 0x182373C46DB053p-44 0x13A701EA4B30DAp-48
+53 53 n 0x182373C46E1D4Ep-44 0x13A701EA4B5D37p-48
+53 53 n 0x18D64435A3ED94p-44 0x13EF477E86EEFEp-48
+53 53 n 0x18D64435A477E0p-44 0x13EF477E87267Ep-48
+53 53 n 0x18D64435A47CA0p-44 0x13EF477E872865p-48
+53 53 n 0x18D64435A47CA5p-44 0x13EF477E872868p-48
+53 53 n 0x18E40DC3C27F64p-44 0x13F4CF2CD14074p-48
+53 53 n 0x18E40DC3C2B791p-44 0x13F4CF2CD156F9p-48
+53 53 n 0x18E40DC3C2B7C8p-44 0x13F4CF2CD1570Fp-48
+53 53 n 0x18E40DC3C2B7F5p-44 0x13F4CF2CD15721p-48
+53 53 n 0x18E40DC3C2BEB3p-44 0x13F4CF2CD159D5p-48
+53 53 n 0x18E40DC3C2E25Dp-44 0x13F4CF2CD16821p-48
+53 53 n 0x18E40DC3C2E5EEp-44 0x13F4CF2CD1698Ep-48
+53 53 n 0x19103257809598p-44 0x1406797D1CE980p-48
+53 53 n 0x191032578098AFp-44 0x1406797D1CEABDp-48
+53 53 n 0x19103257809A3Dp-44 0x1406797D1CEB5Bp-48
+53 53 n 0x19103257809A65p-44 0x1406797D1CEB6Bp-48
+53 53 n 0x19103257809A6Fp-44 0x1406797D1CEB6Fp-48
+53 53 n 0x1910325780A06Bp-44 0x1406797D1CEDD4p-48
+53 53 n 0x1910325780F891p-44 0x1406797D1D110Bp-48
+53 53 n 0x191032578115F3p-44 0x1406797D1D1CC7p-48
+53 53 n 0x195C784982A9E4p-44 0x1424DAF4FFE95Bp-48
+53 53 n 0x195C784982AAB5p-44 0x1424DAF4FFE9AFp-48
+53 53 n 0x195C784982AAEAp-44 0x1424DAF4FFE9C4p-48
+53 53 n 0x195C784982AAF9p-44 0x1424DAF4FFE9CAp-48
+53 53 n 0x195C784982AB42p-44 0x1424DAF4FFE9E6p-48
+53 53 n 0x195C784982EF94p-44 0x1424DAF5000508p-48
+53 53 n 0x195C784982FD84p-44 0x1424DAF5000A91p-48
+53 53 n 0x19AA2D38C2E943p-44 0x14439FC367A67Bp-48
+53 53 n 0x19AA2D38C2EA01p-44 0x14439FC367A6C6p-48
+53 53 n 0x19AA2D38C2EA22p-44 0x14439FC367A6D3p-48
+53 53 n 0x19AA2D38C2EA27p-44 0x14439FC367A6D5p-48
+53 53 n 0x19AA2D38C2EF8Ep-44 0x14439FC367A8F7p-48
+53 53 n 0x19AA2D38C2F3C0p-44 0x14439FC367AA9Fp-48
+53 53 n 0x19AA2D38C33706p-44 0x14439FC367C52Ep-48
+53 53 n 0x1A03EADDBEBEA5p-44 0x1466EEAB84ABB2p-48
+53 53 n 0x1A03EADDBEECA1p-44 0x1466EEAB84BDBBp-48
+53 53 n 0x1A03EADDBF0D3Cp-44 0x1466EEAB84CA83p-48
+53 53 n 0x1A03EADDBF0D6Fp-44 0x1466EEAB84CA97p-48
+53 53 n 0x1A03EADDBF0F1Ep-44 0x1466EEAB84CB41p-48
+53 53 n 0x1A03EADDBF6934p-44 0x1466EEAB84EE93p-48
+53 53 n 0x1A3017FEA9A3DCp-44 0x147839D74ADCA9p-48
+53 53 n 0x1A3017FEA9B79Cp-44 0x147839D74AE462p-48
+53 53 n 0x1A3017FEA9BEADp-44 0x147839D74AE724p-48
+53 53 n 0x1A3017FEA9BF04p-44 0x147839D74AE747p-48
+53 53 n 0x1A563865D6763Ep-44 0x14871B05783615p-48
+53 53 n 0x1A563865D7A9EBp-44 0x14871B0578ADFDp-48
+53 53 n 0x1A563865D7CAF7p-44 0x14871B0578BADEp-48
+53 53 n 0x1A563865D7CB32p-44 0x14871B0578BAF5p-48
+53 53 n 0x1A563865D7D0BDp-44 0x14871B0578BD1Fp-48
+53 53 n 0x1A81CB34560403p-44 0x14980F3AC460B8p-48
+53 53 n 0x1A81CB3456739Cp-44 0x14980F3AC48C12p-48
+53 53 n 0x1A81CB345673D2p-44 0x14980F3AC48C27p-48
+53 53 n 0x1A81CB345675A4p-44 0x14980F3AC48CDCp-48
+53 53 n 0x1A81CB3456B3CEp-44 0x14980F3AC4A502p-48
+53 53 n 0x1B935F8A5EE91Cp-44 0x150148EDB295FCp-48
+53 53 n 0x1B935F8A5EE924p-44 0x150148EDB29600p-48
+53 53 n 0x1B935F8A5EE94Ep-44 0x150148EDB29610p-48
+53 53 n 0x1B935F8A5EE9A2p-44 0x150148EDB2962Fp-48
+53 53 n 0x1B935F8A5F0C5Fp-44 0x150148EDB2A36Ap-48
+53 53 n 0x1B935F8A5FD8B8p-44 0x150148EDB2F13Fp-48
+53 53 n 0x1BC7A9B8CB6FF1p-44 0x151529CD3220EFp-48
+53 53 n 0x1BC7A9B8CB8879p-44 0x151529CD322A3Dp-48
+53 53 n 0x1BC7A9B8CB8DF3p-44 0x151529CD322C52p-48
+53 53 n 0x1BC7A9B8CB8E08p-44 0x151529CD322C59p-48
+53 53 n 0x1BC7A9B8CB8E10p-44 0x151529CD322C5Dp-48
+53 53 n 0x1BC7A9B8CB8ED3p-44 0x151529CD322CA6p-48
+53 53 n 0x1BFEDA4FFD4353p-44 0x152A10A7CD51DFp-48
+53 53 n 0x1BFEDA4FFD4363p-44 0x152A10A7CD51E6p-48
+53 53 n 0x1BFEDA4FFD44F5p-44 0x152A10A7CD527Dp-48
+53 53 n 0x1BFEDA4FFD495Cp-44 0x152A10A7CD5427p-48
+53 53 n 0x1BFEDA4FFD63C6p-44 0x152A10A7CD5E23p-48
+53 53 n 0x1C7B67A68730B2p-44 0x1558F13AF772DFp-48
+53 53 n 0x1C7B67A687A115p-44 0x1558F13AF79CFEp-48
+53 53 n 0x1C7B67A687BCAFp-44 0x1558F13AF7A756p-48
+53 53 n 0x1C7B67A687BEAAp-44 0x1558F13AF7A813p-48
+53 53 n 0x1C7B67A687D260p-44 0x1558F13AF7AF76p-48
+53 53 n 0x1C98DD94A0880Ap-44 0x1563F8BCB93730p-48
+53 53 n 0x1C98DD94A08A79p-44 0x1563F8BCB9381Ap-48
+53 53 n 0x1C98DD94A08AF4p-44 0x1563F8BCB93848p-48
+53 53 n 0x1C98DD94A08B6Fp-44 0x1563F8BCB93876p-48
+53 53 n 0x1C98DD94A08B77p-44 0x1563F8BCB93878p-48
+53 53 n 0x1D20D98AAB1437p-44 0x1596986BD8BD1Ep-48
+53 53 n 0x1D20D98AAB143Fp-44 0x1596986BD8BD21p-48
+53 53 n 0x1D20D98AAB1452p-44 0x1596986BD8BD29p-48
+53 53 n 0x1D20D98AAB1730p-44 0x1596986BD8BE39p-48
+53 53 n 0x1D20D98AAB43BCp-44 0x1596986BD8CEBBp-48
+53 53 n 0x1D20D98AAB5A02p-44 0x1596986BD8D6FBp-48
+53 53 n 0x1DA7F63C15BCA2p-44 0x15C87078D62BD7p-48
+53 53 n 0x1DA7F63C16F6F7p-44 0x15C87078D69F48p-48
+53 53 n 0x1DA7F63C17076Ep-44 0x15C87078D6A553p-48
+53 53 n 0x1DA7F63C170781p-44 0x15C87078D6A55Ap-48
+53 53 n 0x1DA7F63C17078Cp-44 0x15C87078D6A55Fp-48
+53 53 n 0x1DA7F63C170932p-44 0x15C87078D6A5F9p-48
+53 53 n 0x1DA7F63C170F91p-44 0x15C87078D6A850p-48
+53 53 n 0x1EB0ECA4C31E2Ep-44 0x1628EA302835CEp-48
+53 53 n 0x1EB0ECA4C3C9BCp-44 0x1628EA302873BDp-48
+53 53 n 0x1EB0ECA4C3EC43p-44 0x1628EA30288035p-48
+53 53 n 0x1EB0ECA4C3EF2Fp-44 0x1628EA30288143p-48
+53 53 n 0x1EB0ECA4C3EF3Ap-44 0x1628EA30288147p-48
+53 53 n 0x1EB0ECA4C3EF5Ep-44 0x1628EA30288154p-48
+53 53 n 0x1EB0ECA4C3EFA6p-44 0x1628EA3028816Dp-48
+53 53 n 0x1EB0ECA4C3F0BBp-44 0x1628EA302881D1p-48
+53 53 n 0x1EB0ECA4C3FAC0p-44 0x1628EA3028856Fp-48
+53 53 n 0x1EECB7606ED59Bp-44 0x163E75A7B7F190p-48
+53 53 n 0x1EECB7606ED60Dp-44 0x163E75A7B7F1B9p-48
+53 53 n 0x1EECB7606EDD9Fp-44 0x163E75A7B7F472p-48
+53 53 n 0x1EECB7606EE213p-44 0x163E75A7B7F60Cp-48
+53 53 n 0x1EECB7606F16DFp-44 0x163E75A7B80909p-48
+53 53 n 0x1EECB7606F4BABp-44 0x163E75A7B81C06p-48