#ifndef CYGONCE_LIBM_ATANF_H #define CYGONCE_LIBM_ATANF_H //=========================================================================== // // atanf.h // // Test vectors for testing of atanf() math library function // //=========================================================================== // ####ECOSGPLCOPYRIGHTBEGIN#### // ------------------------------------------- // This file is part of eCos, the Embedded Configurable Operating System. // Copyright (C) 2012 Free Software Foundation, Inc. // // eCos 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 or (at your option) any later // version. // // eCos 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 eCos; if not, write to the Free Software Foundation, Inc., // 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. // // As a special exception, if other files instantiate templates or use // macros or inline functions from this file, or you compile this file // and link it with other works to produce a work based on this file, // this file does not by itself cause the resulting work to be covered by // the GNU General Public License. However the source code for this file // must still be made available in accordance with section (3) of the GNU // General Public License v2. // // This exception does not invalidate any other reasons why a work based // on this file might be covered by the GNU General Public License. // ------------------------------------------- // ####ECOSGPLCOPYRIGHTEND#### //=========================================================================== //#####DESCRIPTIONBEGIN#### // // Author(s): // Contributors: visar, ilijak // Date: 1998-02-13 // Purpose: // Description: // Usage: #include "vectors/atanf.h" // //####DESCRIPTIONEND#### // //=========================================================================== // CONFIGURATION #include // Configuration header // INCLUDES #include // Common type definitions and support #include "vectors/vector_support_float.h"// extra support for math tests #define ATANF_TOLERANCE 1.0E-04 static const Cyg_libm_test_float_vec_t atanf_vec[] = { // AUTOMATICALLY GENERATED VECTORS START {0, 3214514586u, 0u, 3210757463u, 0, ATANF_TOLERANCE, 0}, {1, 3214430700u, 0u, 3210688365u, 0, ATANF_TOLERANCE, 0}, {2, 3214346813u, 0u, 3210618582u, 0, ATANF_TOLERANCE, 0}, {3, 3214262927u, 0u, 3210548107u, 0, ATANF_TOLERANCE, 0}, {4, 3214179041u, 0u, 3210476934u, 0, ATANF_TOLERANCE, 0}, {5, 3214095155u, 0u, 3210405052u, 0, ATANF_TOLERANCE, 0}, {6, 3214011269u, 0u, 3210332456u, 0, ATANF_TOLERANCE, 0}, {7, 3213927383u, 0u, 3210259136u, 0, ATANF_TOLERANCE, 0}, {8, 3213843497u, 0u, 3210185084u, 0, ATANF_TOLERANCE, 0}, {9, 3213759611u, 0u, 3210110293u, 0, ATANF_TOLERANCE, 0}, {10, 3213675725u, 0u, 3210034755u, 0, ATANF_TOLERANCE, 0}, {11, 3213591839u, 0u, 3209958461u, 0, ATANF_TOLERANCE, 0}, {12, 3213507953u, 0u, 3209881403u, 0, ATANF_TOLERANCE, 0}, {13, 3213424067u, 0u, 3209803572u, 0, ATANF_TOLERANCE, 0}, {14, 3213340180u, 0u, 3209724961u, 0, ATANF_TOLERANCE, 0}, {15, 3213256294u, 0u, 3209645562u, 0, ATANF_TOLERANCE, 0}, {16, 3213172408u, 0u, 3209565365u, 0, ATANF_TOLERANCE, 0}, {17, 3213088522u, 0u, 3209484364u, 0, ATANF_TOLERANCE, 0}, {18, 3213004636u, 0u, 3209402548u, 0, ATANF_TOLERANCE, 0}, {19, 3212920750u, 0u, 3209319911u, 0, ATANF_TOLERANCE, 0}, {20, 3212836864u, 0u, 3209236443u, 0, ATANF_TOLERANCE, 0}, {21, 3212669092u, 0u, 3209152136u, 0, ATANF_TOLERANCE, 0}, {22, 3212501320u, 0u, 3209066982u, 0, ATANF_TOLERANCE, 0}, {23, 3212333548u, 0u, 3208980972u, 0, ATANF_TOLERANCE, 0}, {24, 3212165775u, 0u, 3208894098u, 0, ATANF_TOLERANCE, 0}, {25, 3211998003u, 0u, 3208806352u, 0, ATANF_TOLERANCE, 0}, {26, 3211830231u, 0u, 3208717725u, 0, ATANF_TOLERANCE, 0}, {27, 3211662459u, 0u, 3208628209u, 0, ATANF_TOLERANCE, 0}, {28, 3211494687u, 0u, 3208537796u, 0, ATANF_TOLERANCE, 0}, {29, 3211326915u, 0u, 3208446478u, 0, ATANF_TOLERANCE, 0}, {30, 3211159142u, 0u, 3208354245u, 0, ATANF_TOLERANCE, 0}, {31, 3210991370u, 0u, 3208261091u, 0, ATANF_TOLERANCE, 0}, {32, 3210823598u, 0u, 3208167007u, 0, ATANF_TOLERANCE, 0}, {33, 3210655826u, 0u, 3208071986u, 0, ATANF_TOLERANCE, 0}, {34, 3210488054u, 0u, 3207976018u, 0, ATANF_TOLERANCE, 0}, {35, 3210320282u, 0u, 3207879097u, 0, ATANF_TOLERANCE, 0}, {36, 3210152509u, 0u, 3207781215u, 0, ATANF_TOLERANCE, 0}, {37, 3209984737u, 0u, 3207682363u, 0, ATANF_TOLERANCE, 0}, {38, 3209816965u, 0u, 3207582536u, 0, ATANF_TOLERANCE, 0}, {39, 3209649193u, 0u, 3207481725u, 0, ATANF_TOLERANCE, 0}, {40, 3209481421u, 0u, 3207379923u, 0, ATANF_TOLERANCE, 0}, {41, 3209313649u, 0u, 3207277122u, 0, ATANF_TOLERANCE, 0}, {42, 3209145876u, 0u, 3207173317u, 0, ATANF_TOLERANCE, 0}, {43, 3208978104u, 0u, 3207068500u, 0, ATANF_TOLERANCE, 0}, {44, 3208810332u, 0u, 3206962665u, 0, ATANF_TOLERANCE, 0}, {45, 3208642560u, 0u, 3206855805u, 0, ATANF_TOLERANCE, 0}, {46, 3208474788u, 0u, 3206747915u, 0, ATANF_TOLERANCE, 0}, {47, 3208307016u, 0u, 3206638987u, 0, ATANF_TOLERANCE, 0}, {48, 3208139244u, 0u, 3206529018u, 0, ATANF_TOLERANCE, 0}, {49, 3207971471u, 0u, 3206418000u, 0, ATANF_TOLERANCE, 0}, {50, 3207803699u, 0u, 3206305929u, 0, ATANF_TOLERANCE, 0}, {51, 3207635927u, 0u, 3206192801u, 0, ATANF_TOLERANCE, 0}, {52, 3207468155u, 0u, 3206078610u, 0, ATANF_TOLERANCE, 0}, {53, 3207300383u, 0u, 3205963352u, 0, ATANF_TOLERANCE, 0}, {54, 3207132611u, 0u, 3205847023u, 0, ATANF_TOLERANCE, 0}, {55, 3206964838u, 0u, 3205729619u, 0, ATANF_TOLERANCE, 0}, {56, 3206797066u, 0u, 3205611138u, 0, ATANF_TOLERANCE, 0}, {57, 3206629294u, 0u, 3205491576u, 0, ATANF_TOLERANCE, 0}, {58, 3206461522u, 0u, 3205370931u, 0, ATANF_TOLERANCE, 0}, {59, 3206293750u, 0u, 3205249201u, 0, ATANF_TOLERANCE, 0}, {60, 3206125978u, 0u, 3205126383u, 0, ATANF_TOLERANCE, 0}, {61, 3205958205u, 0u, 3205002476u, 0, ATANF_TOLERANCE, 0}, {62, 3205790433u, 0u, 3204877480u, 0, ATANF_TOLERANCE, 0}, {63, 3205622661u, 0u, 3204751396u, 0, ATANF_TOLERANCE, 0}, {64, 3205454889u, 0u, 3204624221u, 0, ATANF_TOLERANCE, 0}, {65, 3205287117u, 0u, 3204495957u, 0, ATANF_TOLERANCE, 0}, {66, 3205119345u, 0u, 3204284955u, 0, ATANF_TOLERANCE, 0}, {67, 3204951572u, 0u, 3204024080u, 0, ATANF_TOLERANCE, 0}, {68, 3204783800u, 0u, 3203761037u, 0, ATANF_TOLERANCE, 0}, {69, 3204616028u, 0u, 3203495832u, 0, ATANF_TOLERANCE, 0}, {70, 3204448256u, 0u, 3203228473u, 0, ATANF_TOLERANCE, 0}, {71, 3204112712u, 0u, 3202958965u, 0, ATANF_TOLERANCE, 0}, {72, 3203777167u, 0u, 3202687318u, 0, ATANF_TOLERANCE, 0}, {73, 3203441623u, 0u, 3202413545u, 0, ATANF_TOLERANCE, 0}, {74, 3203106079u, 0u, 3202137655u, 0, ATANF_TOLERANCE, 0}, {75, 3202770534u, 0u, 3201859663u, 0, ATANF_TOLERANCE, 0}, {76, 3202434990u, 0u, 3201579583u, 0, ATANF_TOLERANCE, 0}, {77, 3202099446u, 0u, 3201297430u, 0, ATANF_TOLERANCE, 0}, {78, 3201763901u, 0u, 3201013221u, 0, ATANF_TOLERANCE, 0}, {79, 3201428357u, 0u, 3200726976u, 0, ATANF_TOLERANCE, 0}, {80, 3201092813u, 0u, 3200438715u, 0, ATANF_TOLERANCE, 0}, {81, 3200757268u, 0u, 3200148459u, 0, ATANF_TOLERANCE, 0}, {82, 3200421724u, 0u, 3199856232u, 0, ATANF_TOLERANCE, 0}, {83, 3200086180u, 0u, 3199562057u, 0, ATANF_TOLERANCE, 0}, {84, 3199750636u, 0u, 3199265962u, 0, ATANF_TOLERANCE, 0}, {85, 3199415091u, 0u, 3198967972u, 0, ATANF_TOLERANCE, 0}, {86, 3199079547u, 0u, 3198668120u, 0, ATANF_TOLERANCE, 0}, {87, 3198744003u, 0u, 3198366433u, 0, ATANF_TOLERANCE, 0}, {88, 3198408458u, 0u, 3198062946u, 0, ATANF_TOLERANCE, 0}, {89, 3198072914u, 0u, 3197757693u, 0, ATANF_TOLERANCE, 0}, {90, 3197737370u, 0u, 3197450707u, 0, ATANF_TOLERANCE, 0}, {91, 3197401825u, 0u, 3197142027u, 0, ATANF_TOLERANCE, 0}, {92, 3197066281u, 0u, 3196831691u, 0, ATANF_TOLERANCE, 0}, {93, 3196730737u, 0u, 3196519741u, 0, ATANF_TOLERANCE, 0}, {94, 3196395192u, 0u, 3196206216u, 0, ATANF_TOLERANCE, 0}, {95, 3196059648u, 0u, 3195722672u, 0, ATANF_TOLERANCE, 0}, {96, 3195388559u, 0u, 3195089588u, 0, ATANF_TOLERANCE, 0}, {97, 3194717471u, 0u, 3194453624u, 0, ATANF_TOLERANCE, 0}, {98, 3194046382u, 0u, 3193814877u, 0, ATANF_TOLERANCE, 0}, {99, 3193375293u, 0u, 3193173443u, 0, ATANF_TOLERANCE, 0}, {100, 3192704205u, 0u, 3192529424u, 0, ATANF_TOLERANCE, 0}, {101, 3192033116u, 0u, 3191882923u, 0, ATANF_TOLERANCE, 0}, {102, 3191362028u, 0u, 3191234047u, 0, ATANF_TOLERANCE, 0}, {103, 3190690939u, 0u, 3190582904u, 0, ATANF_TOLERANCE, 0}, {104, 3190019850u, 0u, 3189929606u, 0, ATANF_TOLERANCE, 0}, {105, 3189348762u, 0u, 3189274267u, 0, ATANF_TOLERANCE, 0}, {106, 3188677673u, 0u, 3188617003u, 0, ATANF_TOLERANCE, 0}, {107, 3188006584u, 0u, 3187957930u, 0, ATANF_TOLERANCE, 0}, {108, 3186999951u, 0u, 3186923303u, 0, ATANF_TOLERANCE, 0}, {109, 3185657774u, 0u, 3185598655u, 0, ATANF_TOLERANCE, 0}, {110, 3184315597u, 0u, 3184271124u, 0, ATANF_TOLERANCE, 0}, {111, 3182973420u, 0u, 3182940963u, 0, ATANF_TOLERANCE, 0}, {112, 3181631242u, 0u, 3181608423u, 0, ATANF_TOLERANCE, 0}, {113, 3180289065u, 0u, 3180273764u, 0, ATANF_TOLERANCE, 0}, {114, 3178611343u, 0u, 3178592058u, 0, ATANF_TOLERANCE, 0}, {115, 3175926989u, 0u, 3175915821u, 0, ATANF_TOLERANCE, 0}, {116, 3173242634u, 0u, 3173236913u, 0, ATANF_TOLERANCE, 0}, {117, 3170222735u, 0u, 3170217906u, 0, ATANF_TOLERANCE, 0}, {118, 3164854026u, 0u, 3164852594u, 0, ATANF_TOLERANCE, 0}, {119, 3156465418u, 0u, 3156465060u, 0, ATANF_TOLERANCE, 0}, {120, 646742016u, 0u, 646742016u, 0, ATANF_TOLERANCE, 0}, {121, 1008981770u, 0u, 1008981412u, 0, ATANF_TOLERANCE, 0}, {122, 1017370378u, 0u, 1017368946u, 0, ATANF_TOLERANCE, 0}, {123, 1022739087u, 0u, 1022734258u, 0, ATANF_TOLERANCE, 0}, {124, 1025758986u, 0u, 1025753265u, 0, ATANF_TOLERANCE, 0}, {125, 1028443341u, 0u, 1028432173u, 0, ATANF_TOLERANCE, 0}, {126, 1031127695u, 0u, 1031108410u, 0, ATANF_TOLERANCE, 0}, {127, 1032805417u, 0u, 1032790116u, 0, ATANF_TOLERANCE, 0}, {128, 1034147594u, 0u, 1034124775u, 0, ATANF_TOLERANCE, 0}, {129, 1035489772u, 0u, 1035457315u, 0, ATANF_TOLERANCE, 0}, {130, 1036831949u, 0u, 1036787476u, 0, ATANF_TOLERANCE, 0}, {131, 1038174126u, 0u, 1038115007u, 0, ATANF_TOLERANCE, 0}, {132, 1039516303u, 0u, 1039439655u, 0, ATANF_TOLERANCE, 0}, {133, 1040522936u, 0u, 1040474282u, 0, ATANF_TOLERANCE, 0}, {134, 1041194025u, 0u, 1041133355u, 0, ATANF_TOLERANCE, 0}, {135, 1041865114u, 0u, 1041790619u, 0, ATANF_TOLERANCE, 0}, {136, 1042536202u, 0u, 1042445958u, 0, ATANF_TOLERANCE, 0}, {137, 1043207291u, 0u, 1043099256u, 0, ATANF_TOLERANCE, 0}, {138, 1043878380u, 0u, 1043750399u, 0, ATANF_TOLERANCE, 0}, {139, 1044549468u, 0u, 1044399275u, 0, ATANF_TOLERANCE, 0}, {140, 1045220557u, 0u, 1045045776u, 0, ATANF_TOLERANCE, 0}, {141, 1045891645u, 0u, 1045689795u, 0, ATANF_TOLERANCE, 0}, {142, 1046562734u, 0u, 1046331229u, 0, ATANF_TOLERANCE, 0}, {143, 1047233823u, 0u, 1046969976u, 0, ATANF_TOLERANCE, 0}, {144, 1047904911u, 0u, 1047605940u, 0, ATANF_TOLERANCE, 0}, {145, 1048576000u, 0u, 1048239024u, 0, ATANF_TOLERANCE, 0}, {146, 1048911544u, 0u, 1048722568u, 0, ATANF_TOLERANCE, 0}, {147, 1049247089u, 0u, 1049036093u, 0, ATANF_TOLERANCE, 0}, {148, 1049582633u, 0u, 1049348043u, 0, ATANF_TOLERANCE, 0}, {149, 1049918177u, 0u, 1049658379u, 0, ATANF_TOLERANCE, 0}, {150, 1050253722u, 0u, 1049967059u, 0, ATANF_TOLERANCE, 0}, {151, 1050589266u, 0u, 1050274045u, 0, ATANF_TOLERANCE, 0}, {152, 1050924810u, 0u, 1050579298u, 0, ATANF_TOLERANCE, 0}, {153, 1051260355u, 0u, 1050882785u, 0, ATANF_TOLERANCE, 0}, {154, 1051595899u, 0u, 1051184472u, 0, ATANF_TOLERANCE, 0}, {155, 1051931443u, 0u, 1051484324u, 0, ATANF_TOLERANCE, 0}, {156, 1052266988u, 0u, 1051782314u, 0, ATANF_TOLERANCE, 0}, {157, 1052602532u, 0u, 1052078409u, 0, ATANF_TOLERANCE, 0}, {158, 1052938076u, 0u, 1052372584u, 0, ATANF_TOLERANCE, 0}, {159, 1053273620u, 0u, 1052664811u, 0, ATANF_TOLERANCE, 0}, {160, 1053609165u, 0u, 1052955067u, 0, ATANF_TOLERANCE, 0}, {161, 1053944709u, 0u, 1053243328u, 0, ATANF_TOLERANCE, 0}, {162, 1054280253u, 0u, 1053529573u, 0, ATANF_TOLERANCE, 0}, {163, 1054615798u, 0u, 1053813782u, 0, ATANF_TOLERANCE, 0}, {164, 1054951342u, 0u, 1054095935u, 0, ATANF_TOLERANCE, 0}, {165, 1055286886u, 0u, 1054376015u, 0, ATANF_TOLERANCE, 0}, {166, 1055622431u, 0u, 1054654007u, 0, ATANF_TOLERANCE, 0}, {167, 1055957975u, 0u, 1054929897u, 0, ATANF_TOLERANCE, 0}, {168, 1056293519u, 0u, 1055203670u, 0, ATANF_TOLERANCE, 0}, {169, 1056629064u, 0u, 1055475317u, 0, ATANF_TOLERANCE, 0}, {170, 1056964608u, 0u, 1055744825u, 0, ATANF_TOLERANCE, 0}, {171, 1057132380u, 0u, 1056012184u, 0, ATANF_TOLERANCE, 0}, {172, 1057300152u, 0u, 1056277389u, 0, ATANF_TOLERANCE, 0}, {173, 1057467924u, 0u, 1056540432u, 0, ATANF_TOLERANCE, 0}, {174, 1057635697u, 0u, 1056801307u, 0, ATANF_TOLERANCE, 0}, {175, 1057803469u, 0u, 1057012309u, 0, ATANF_TOLERANCE, 0}, {176, 1057971241u, 0u, 1057140573u, 0, ATANF_TOLERANCE, 0}, {177, 1058139013u, 0u, 1057267748u, 0, ATANF_TOLERANCE, 0}, {178, 1058306785u, 0u, 1057393832u, 0, ATANF_TOLERANCE, 0}, {179, 1058474557u, 0u, 1057518828u, 0, ATANF_TOLERANCE, 0}, {180, 1058642330u, 0u, 1057642735u, 0, ATANF_TOLERANCE, 0}, {181, 1058810102u, 0u, 1057765553u, 0, ATANF_TOLERANCE, 0}, {182, 1058977874u, 0u, 1057887283u, 0, ATANF_TOLERANCE, 0}, {183, 1059145646u, 0u, 1058007928u, 0, ATANF_TOLERANCE, 0}, {184, 1059313418u, 0u, 1058127490u, 0, ATANF_TOLERANCE, 0}, {185, 1059481190u, 0u, 1058245971u, 0, ATANF_TOLERANCE, 0}, {186, 1059648963u, 0u, 1058363375u, 0, ATANF_TOLERANCE, 0}, {187, 1059816735u, 0u, 1058479704u, 0, ATANF_TOLERANCE, 0}, {188, 1059984507u, 0u, 1058594962u, 0, ATANF_TOLERANCE, 0}, {189, 1060152279u, 0u, 1058709153u, 0, ATANF_TOLERANCE, 0}, {190, 1060320051u, 0u, 1058822281u, 0, ATANF_TOLERANCE, 0}, {191, 1060487823u, 0u, 1058934352u, 0, ATANF_TOLERANCE, 0}, {192, 1060655596u, 0u, 1059045370u, 0, ATANF_TOLERANCE, 0}, {193, 1060823368u, 0u, 1059155339u, 0, ATANF_TOLERANCE, 0}, {194, 1060991140u, 0u, 1059264267u, 0, ATANF_TOLERANCE, 0}, {195, 1061158912u, 0u, 1059372157u, 0, ATANF_TOLERANCE, 0}, {196, 1061326684u, 0u, 1059479017u, 0, ATANF_TOLERANCE, 0}, {197, 1061494456u, 0u, 1059584852u, 0, ATANF_TOLERANCE, 0}, {198, 1061662228u, 0u, 1059689669u, 0, ATANF_TOLERANCE, 0}, {199, 1061830001u, 0u, 1059793474u, 0, ATANF_TOLERANCE, 0}, {200, 1061997773u, 0u, 1059896275u, 0, ATANF_TOLERANCE, 0}, {201, 1062165545u, 0u, 1059998077u, 0, ATANF_TOLERANCE, 0}, {202, 1062333317u, 0u, 1060098888u, 0, ATANF_TOLERANCE, 0}, {203, 1062501089u, 0u, 1060198715u, 0, ATANF_TOLERANCE, 0}, {204, 1062668861u, 0u, 1060297567u, 0, ATANF_TOLERANCE, 0}, {205, 1062836634u, 0u, 1060395449u, 0, ATANF_TOLERANCE, 0}, {206, 1063004406u, 0u, 1060492370u, 0, ATANF_TOLERANCE, 0}, {207, 1063172178u, 0u, 1060588338u, 0, ATANF_TOLERANCE, 0}, {208, 1063339950u, 0u, 1060683359u, 0, ATANF_TOLERANCE, 0}, {209, 1063507722u, 0u, 1060777443u, 0, ATANF_TOLERANCE, 0}, {210, 1063675494u, 0u, 1060870597u, 0, ATANF_TOLERANCE, 0}, {211, 1063843267u, 0u, 1060962830u, 0, ATANF_TOLERANCE, 0}, {212, 1064011039u, 0u, 1061054148u, 0, ATANF_TOLERANCE, 0}, {213, 1064178811u, 0u, 1061144561u, 0, ATANF_TOLERANCE, 0}, {214, 1064346583u, 0u, 1061234077u, 0, ATANF_TOLERANCE, 0}, {215, 1064514355u, 0u, 1061322704u, 0, ATANF_TOLERANCE, 0}, {216, 1064682127u, 0u, 1061410450u, 0, ATANF_TOLERANCE, 0}, {217, 1064849900u, 0u, 1061497324u, 0, ATANF_TOLERANCE, 0}, {218, 1065017672u, 0u, 1061583334u, 0, ATANF_TOLERANCE, 0}, {219, 1065185444u, 0u, 1061668488u, 0, ATANF_TOLERANCE, 0}, {220, 1065353216u, 0u, 1061752795u, 0, ATANF_TOLERANCE, 0}, {221, 1065437102u, 0u, 1061836263u, 0, ATANF_TOLERANCE, 0}, {222, 1065520988u, 0u, 1061918900u, 0, ATANF_TOLERANCE, 0}, {223, 1065604874u, 0u, 1062000716u, 0, ATANF_TOLERANCE, 0}, {224, 1065688760u, 0u, 1062081717u, 0, ATANF_TOLERANCE, 0}, {225, 1065772646u, 0u, 1062161914u, 0, ATANF_TOLERANCE, 0}, {226, 1065856532u, 0u, 1062241313u, 0, ATANF_TOLERANCE, 0}, {227, 1065940419u, 0u, 1062319924u, 0, ATANF_TOLERANCE, 0}, {228, 1066024305u, 0u, 1062397755u, 0, ATANF_TOLERANCE, 0}, {229, 1066108191u, 0u, 1062474813u, 0, ATANF_TOLERANCE, 0}, {230, 1066192077u, 0u, 1062551107u, 0, ATANF_TOLERANCE, 0}, {231, 1066275963u, 0u, 1062626645u, 0, ATANF_TOLERANCE, 0}, {232, 1066359849u, 0u, 1062701436u, 0, ATANF_TOLERANCE, 0}, {233, 1066443735u, 0u, 1062775488u, 0, ATANF_TOLERANCE, 0}, {234, 1066527621u, 0u, 1062848808u, 0, ATANF_TOLERANCE, 0}, {235, 1066611507u, 0u, 1062921404u, 0, ATANF_TOLERANCE, 0}, {236, 1066695393u, 0u, 1062993286u, 0, ATANF_TOLERANCE, 0}, {237, 1066779279u, 0u, 1063064459u, 0, ATANF_TOLERANCE, 0}, {238, 1066863165u, 0u, 1063134934u, 0, ATANF_TOLERANCE, 0}, {239, 1066947052u, 0u, 1063204717u, 0, ATANF_TOLERANCE, 0}, {240, 3234402267u, 0u, 3216301067u, 0, ATANF_TOLERANCE, 0}, {241, 3231108068u, 0u, 3215870954u, 0, ATANF_TOLERANCE, 0}, {242, 3226013659u, 0u, 3215039941u, 0, ATANF_TOLERANCE, 0}, {243, 3217625051u, 0u, 3212869452u, 0, ATANF_TOLERANCE, 0}, {244, 0u, 0u, 0u, 0, ATANF_TOLERANCE, 0}, {245, 1070141403u, 0u, 1065385804u, 0, ATANF_TOLERANCE, 0}, {246, 1078530011u, 0u, 1067556293u, 0, ATANF_TOLERANCE, 0}, {247, 1083624420u, 0u, 1068387306u, 0, ATANF_TOLERANCE, 0}, {248, 3253731328u, 0u, 3217345534u, 0, ATANF_TOLERANCE, 0}, {249, 3252840038u, 0u, 3217328757u, 0, ATANF_TOLERANCE, 0}, {250, 3251948749u, 0u, 3217309838u, 0, ATANF_TOLERANCE, 0}, {251, 3251057459u, 0u, 3217288340u, 0, ATANF_TOLERANCE, 0}, {252, 3250166170u, 0u, 3217263696u, 0, ATANF_TOLERANCE, 0}, {253, 3249274880u, 0u, 3217235164u, 0, ATANF_TOLERANCE, 0}, {254, 3248383590u, 0u, 3217201743u, 0, ATANF_TOLERANCE, 0}, {255, 3247492301u, 0u, 3217162062u, 0, ATANF_TOLERANCE, 0}, {256, 3246601011u, 0u, 3217114183u, 0, ATANF_TOLERANCE, 0}, {257, 3245028147u, 0u, 3217055275u, 0, ATANF_TOLERANCE, 0}, {258, 3243245568u, 0u, 3216981041u, 0, ATANF_TOLERANCE, 0}, {259, 3241462989u, 0u, 3216884625u, 0, ATANF_TOLERANCE, 0}, {260, 3239680410u, 0u, 3216754377u, 0, ATANF_TOLERANCE, 0}, {261, 3237792973u, 0u, 3216568819u, 0, ATANF_TOLERANCE, 0}, {262, 3234227814u, 0u, 3216283602u, 0, ATANF_TOLERANCE, 0}, {263, 3230662656u, 0u, 3215790723u, 0, ATANF_TOLERANCE, 0}, {264, 3224580915u, 0u, 3214747557u, 0, ATANF_TOLERANCE, 0}, {265, 3213675725u, 0u, 3210034755u, 0, ATANF_TOLERANCE, 0}, {266, 1058642330u, 0u, 1057642735u, 0, ATANF_TOLERANCE, 0}, {267, 1075000115u, 0u, 1066701005u, 0, ATANF_TOLERANCE, 0}, {268, 1082130432u, 0u, 1068086373u, 0, ATANF_TOLERANCE, 0}, {269, 1085695590u, 0u, 1068684543u, 0, ATANF_TOLERANCE, 0}, {270, 1089260749u, 0u, 1069014633u, 0, ATANF_TOLERANCE, 0}, {271, 1091672474u, 0u, 1069223262u, 0, ATANF_TOLERANCE, 0}, {272, 1093455053u, 0u, 1069366888u, 0, ATANF_TOLERANCE, 0}, {273, 1095237632u, 0u, 1069471740u, 0, ATANF_TOLERANCE, 0}, {274, 1097020211u, 0u, 1069551629u, 0, ATANF_TOLERANCE, 0}, {275, 1098802790u, 0u, 1069614511u, 0, ATANF_TOLERANCE, 0}, {276, 1099746509u, 0u, 1069665289u, 0, ATANF_TOLERANCE, 0}, {277, 1100637798u, 0u, 1069707148u, 0, ATANF_TOLERANCE, 0}, {278, 1101529088u, 0u, 1069742247u, 0, ATANF_TOLERANCE, 0}, {279, 1102420378u, 0u, 1069772099u, 0, ATANF_TOLERANCE, 0}, {280, 1103311667u, 0u, 1069797799u, 0, ATANF_TOLERANCE, 0}, {281, 1104202957u, 0u, 1069820157u, 0, ATANF_TOLERANCE, 0}, {282, 1105094246u, 0u, 1069839784u, 0, ATANF_TOLERANCE, 0}, {283, 1105985536u, 0u, 1069857152u, 0, ATANF_TOLERANCE, 0}, {284, 1107800421u, 1203999711u, 1069894192u, 0, ATANF_TOLERANCE, 0}, {285, 3196650934u, 896005582u, 3196445316u, 0, ATANF_TOLERANCE, 0}, {286, 3368700125u, 3308232444u, 3217625030u, 0, ATANF_TOLERANCE, 0}, {287, 1224242132u, 3061363425u, 1070141386u, 0, ATANF_TOLERANCE, 0}, {288, 3221027117u, 1284201705u, 3213695643u, 0, ATANF_TOLERANCE, 0}, {289, 1198712763u, 919636942u, 1070141268u, 0, ATANF_TOLERANCE, 0}, {290, 3159309973u, 852521077u, 3159309249u, 0, ATANF_TOLERANCE, 0}, {291, 954173073u, 850531830u, 954173073u, 0, ATANF_TOLERANCE, 0}, {292, 3090780435u, 1035260608u, 3090780435u, 0, ATANF_TOLERANCE, 0}, {293, 966554515u, 3234538174u, 966554515u, 0, ATANF_TOLERANCE, 0}, {294, 1312607135u, 1194999402u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {295, 1166191415u, 1018661564u, 1070139396u, 0, ATANF_TOLERANCE, 0}, {296, 3111900019u, 1130472166u, 3111900018u, 0, ATANF_TOLERANCE, 0}, {297, 1234419246u, 2984575812u, 1070141396u, 0, ATANF_TOLERANCE, 0}, {298, 1302107128u, 3370647675u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {299, 1052801068u, 3039122570u, 1052252701u, 0, ATANF_TOLERANCE, 0}, {300, 1060849628u, 3081357692u, 1059172458u, 0, ATANF_TOLERANCE, 0}, {301, 3484320003u, 3033957825u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {302, 3181522772u, 3305392896u, 3181500636u, 0, ATANF_TOLERANCE, 0}, {303, 882596369u, 1256676590u, 882596369u, 0, ATANF_TOLERANCE, 0}, {304, 1167223673u, 846102364u, 1070139612u, 0, ATANF_TOLERANCE, 0}, {305, 968192794u, 878547432u, 968192794u, 0, ATANF_TOLERANCE, 0}, {306, 3122346862u, 1111584337u, 3122346861u, 0, ATANF_TOLERANCE, 0}, {307, 1052361612u, 1280025214u, 1051866006u, 0, ATANF_TOLERANCE, 0}, {308, 906701409u, 2968301825u, 906701409u, 0, ATANF_TOLERANCE, 0}, {309, 3471653172u, 1154138102u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {310, 3231467496u, 934336592u, 3215930822u, 0, ATANF_TOLERANCE, 0}, {311, 1341514497u, 3466051188u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {312, 1272351391u, 3373485062u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {313, 3319724992u, 3354615790u, 3217623875u, 0, ATANF_TOLERANCE, 0}, {314, 917622040u, 1334966485u, 917622040u, 0, ATANF_TOLERANCE, 0}, {315, 940236348u, 3304072663u, 940236348u, 0, ATANF_TOLERANCE, 0}, {316, 3251541546u, 3174764041u, 3217300367u, 0, ATANF_TOLERANCE, 0}, {317, 3099843889u, 3355962282u, 3099843889u, 0, ATANF_TOLERANCE, 0}, {318, 3110358400u, 851145088u, 3110358400u, 0, ATANF_TOLERANCE, 0}, {319, 3371863479u, 1014861921u, 3217625034u, 0, ATANF_TOLERANCE, 0}, {320, 3204069187u, 966573255u, 3202923849u, 0, ATANF_TOLERANCE, 0}, {321, 1306460502u, 903489435u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {322, 1197542187u, 3024598921u, 1070141257u, 0, ATANF_TOLERANCE, 0}, {323, 922888249u, 1139392309u, 922888249u, 0, ATANF_TOLERANCE, 0}, {324, 1184239996u, 3224098462u, 1070140966u, 0, ATANF_TOLERANCE, 0}, {325, 1252490238u, 1173619825u, 1070141401u, 0, ATANF_TOLERANCE, 0}, {326, 1001673627u, 3462631271u, 1001673508u, 0, ATANF_TOLERANCE, 0}, {327, 976098044u, 1151967422u, 976098042u, 0, ATANF_TOLERANCE, 0}, {328, 941796645u, 886451963u, 941796645u, 0, ATANF_TOLERANCE, 0}, {329, 3287199470u, 854245542u, 3217607478u, 0, ATANF_TOLERANCE, 0}, {330, 893184329u, 1243067084u, 893184329u, 0, ATANF_TOLERANCE, 0}, {331, 1143233714u, 1007268238u, 1070128643u, 0, ATANF_TOLERANCE, 0}, {332, 1139941253u, 1147688821u, 1070124080u, 0, ATANF_TOLERANCE, 0}, {333, 3143717025u, 3234638157u, 3143716967u, 0, ATANF_TOLERANCE, 0}, {334, 3048866608u, 3449209899u, 3048866608u, 0, ATANF_TOLERANCE, 0}, {335, 3240298487u, 1020260821u, 3216804414u, 0, ATANF_TOLERANCE, 0}, {336, 1288902137u, 3123875978u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {337, 1333134799u, 1338107877u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {338, 1187847971u, 1317663644u, 1070141083u, 0, ATANF_TOLERANCE, 0}, {339, 1038851706u, 1327544110u, 1038784113u, 0, ATANF_TOLERANCE, 0}, {340, 3329354473u, 3165437289u, 3217624509u, 0, ATANF_TOLERANCE, 0}, {341, 3077218579u, 1308397879u, 3077218579u, 0, ATANF_TOLERANCE, 0}, {342, 1309289088u, 1019883016u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {343, 3444653659u, 1279248024u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {344, 3405585402u, 2962345057u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {345, 3106647724u, 853848387u, 3106647724u, 0, ATANF_TOLERANCE, 0}, {346, 1106778573u, 3304487767u, 1069871006u, 0, ATANF_TOLERANCE, 0}, {347, 1140567947u, 3069174149u, 1070124738u, 0, ATANF_TOLERANCE, 0}, {348, 1238569473u, 873035665u, 1070141398u, 0, ATANF_TOLERANCE, 0}, {349, 3154871957u, 1276671061u, 3154871736u, 0, ATANF_TOLERANCE, 0}, {350, 1261071232u, 1182202773u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {351, 1175011025u, 3029705783u, 1070140448u, 0, ATANF_TOLERANCE, 0}, {352, 1082692850u, 1211581107u, 1068210842u, 0, ATANF_TOLERANCE, 0}, {353, 974547519u, 3475164509u, 974547518u, 0, ATANF_TOLERANCE, 0}, {354, 3058097085u, 3104309359u, 3058097085u, 0, ATANF_TOLERANCE, 0}, {355, 3107252546u, 1071134451u, 3107252545u, 0, ATANF_TOLERANCE, 0}, {356, 3096032662u, 2976848821u, 3096032662u, 0, ATANF_TOLERANCE, 0}, {357, 3197942144u, 3094120030u, 3197638256u, 0, ATANF_TOLERANCE, 0}, {358, 3403348556u, 3184653669u, 3217625049u, 0, ATANF_TOLERANCE, 0}, {359, 3182301130u, 3460764044u, 3182273782u, 0, ATANF_TOLERANCE, 0}, {360, 1136411063u, 1118097422u, 1070119123u, 0, ATANF_TOLERANCE, 0}, {361, 3239231622u, 3302723069u, 3216714060u, 0, ATANF_TOLERANCE, 0}, {362, 3340615780u, 870350055u, 3217624843u, 0, ATANF_TOLERANCE, 0}, {363, 998567360u, 2995278691u, 998567312u, 0, ATANF_TOLERANCE, 0}, {364, 3417964312u, 1321337529u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {365, 3109481038u, 1143864063u, 3109481038u, 0, ATANF_TOLERANCE, 0}, {366, 1148867223u, 1256486202u, 1070133025u, 0, ATANF_TOLERANCE, 0}, {367, 989687421u, 3372681320u, 989687400u, 0, ATANF_TOLERANCE, 0}, {368, 1152956913u, 3166480640u, 1070135726u, 0, ATANF_TOLERANCE, 0}, {369, 892922651u, 3373029087u, 892922651u, 0, ATANF_TOLERANCE, 0}, {370, 1109627625u, 1314158257u, 1069936310u, 0, ATANF_TOLERANCE, 0}, {371, 1307091856u, 1103202538u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {372, 1077234132u, 3272167130u, 1067294557u, 0, ATANF_TOLERANCE, 0}, {373, 1142167709u, 1096445242u, 1070127242u, 0, ATANF_TOLERANCE, 0}, {374, 3426232834u, 1036705270u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {375, 3368566779u, 967249167u, 3217625030u, 0, ATANF_TOLERANCE, 0}, {376, 3030724760u, 3349013503u, 3030724760u, 0, ATANF_TOLERANCE, 0}, {377, 1138741813u, 3073453199u, 1070122663u, 0, ATANF_TOLERANCE, 0}, {378, 982950501u, 982549888u, 982950496u, 0, ATANF_TOLERANCE, 0}, {379, 1142981585u, 1015602236u, 1070128337u, 0, ATANF_TOLERANCE, 0}, {380, 3347165962u, 3135486696u, 3217624924u, 0, ATANF_TOLERANCE, 0}, {381, 1009535440u, 3381353228u, 1009535024u, 0, ATANF_TOLERANCE, 0}, {382, 3103736980u, 3402950505u, 3103736980u, 0, ATANF_TOLERANCE, 0}, {383, 3126820946u, 1077903063u, 3126820943u, 0, ATANF_TOLERANCE, 0}, {384, 3473956030u, 976891930u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {385, 3349098349u, 1055327704u, 3217624948u, 0, ATANF_TOLERANCE, 0}, {386, 3152729489u, 1060398533u, 3152729225u, 0, ATANF_TOLERANCE, 0}, {387, 945568720u, 3313485084u, 945568720u, 0, ATANF_TOLERANCE, 0}, {388, 3345489836u, 1108392401u, 3217624909u, 0, ATANF_TOLERANCE, 0}, {389, 940893161u, 1137000140u, 940893161u, 0, ATANF_TOLERANCE, 0}, {390, 976791751u, 3230678102u, 976791749u, 0, ATANF_TOLERANCE, 0}, {391, 1004442355u, 3036510596u, 1004442131u, 0, ATANF_TOLERANCE, 0}, {392, 1108485380u, 3173536878u, 1069911862u, 0, ATANF_TOLERANCE, 0}, {393, 1061834641u, 972388096u, 1059796331u, 0, ATANF_TOLERANCE, 0}, {394, 3381268392u, 1146976802u, 3217625043u, 0, ATANF_TOLERANCE, 0}, {395, 1087189715u, 2952822478u, 1068843681u, 0, ATANF_TOLERANCE, 0}, {396, 3212952285u, 3329407365u, 3209351073u, 0, ATANF_TOLERANCE, 0}, {397, 1000611335u, 857599439u, 1000611245u, 0, ATANF_TOLERANCE, 0}, {398, 3466188568u, 1041678304u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {399, 3072456205u, 3160254633u, 3072456205u, 0, ATANF_TOLERANCE, 0}, {400, 3319315516u, 3422089012u, 3217623841u, 0, ATANF_TOLERANCE, 0}, {401, 935938416u, 1146676692u, 935938416u, 0, ATANF_TOLERANCE, 0}, {402, 3212614372u, 1152633030u, 3209124456u, 0, ATANF_TOLERANCE, 0}, {403, 1315030230u, 3336225884u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {404, 1134593658u, 3456812581u, 1070115274u, 0, ATANF_TOLERANCE, 0}, {405, 977281449u, 879922831u, 977281446u, 0, ATANF_TOLERANCE, 0}, {406, 1086198791u, 920125958u, 1068742286u, 0, ATANF_TOLERANCE, 0}, {407, 1255152035u, 851754050u, 1070141401u, 0, ATANF_TOLERANCE, 0}, {408, 1135271264u, 3284878412u, 1070116855u, 0, ATANF_TOLERANCE, 0}, {409, 1094190727u, 1056854532u, 1069413889u, 0, ATANF_TOLERANCE, 0}, {410, 1294665325u, 991185677u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {411, 1036608591u, 805416536u, 1036566293u, 0, ATANF_TOLERANCE, 0}, {412, 3229998064u, 825237063u, 3215656635u, 0, ATANF_TOLERANCE, 0}, {413, 3439134022u, 1043829691u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {414, 3073083133u, 1317170485u, 3073083133u, 0, ATANF_TOLERANCE, 0}, {415, 1325668223u, 970681762u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {416, 1092037607u, 1027330835u, 1069256845u, 0, ATANF_TOLERANCE, 0}, {417, 3316278408u, 3455589207u, 3217623512u, 0, ATANF_TOLERANCE, 0}, {418, 3295436768u, 3129873731u, 3217616178u, 0, ATANF_TOLERANCE, 0}, {419, 1151984049u, 3074547120u, 1070135230u, 0, ATANF_TOLERANCE, 0}, {420, 1129287043u, 3076527544u, 1070100986u, 0, ATANF_TOLERANCE, 0}, {421, 1243664530u, 972879810u, 1070141399u, 0, ATANF_TOLERANCE, 0}, {422, 950829092u, 929114193u, 950829092u, 0, ATANF_TOLERANCE, 0}, {423, 1115471979u, 3047246262u, 1070008657u, 0, ATANF_TOLERANCE, 0}, {424, 3351092088u, 3024661404u, 3217624964u, 0, ATANF_TOLERANCE, 0}, {425, 3424479544u, 3312047722u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {426, 3241193975u, 884465785u, 3216867516u, 0, ATANF_TOLERANCE, 0}, {427, 1030934236u, 1045139240u, 1030915636u, 0, ATANF_TOLERANCE, 0}, {428, 3131791114u, 3408392958u, 3131791108u, 0, ATANF_TOLERANCE, 0}, {429, 1025254314u, 3057812821u, 1025249362u, 0, ATANF_TOLERANCE, 0}, {430, 1110545760u, 3240144177u, 1069952484u, 0, ATANF_TOLERANCE, 0}, {431, 3180213739u, 1108793820u, 3180198803u, 0, ATANF_TOLERANCE, 0}, {432, 3361976590u, 3138179993u, 3217625015u, 0, ATANF_TOLERANCE, 0}, {433, 881280146u, 3421884736u, 881280146u, 0, ATANF_TOLERANCE, 0}, {434, 1304154705u, 2961937089u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {435, 3264443610u, 3222916705u, 3217511280u, 0, ATANF_TOLERANCE, 0}, {436, 3374550627u, 3055856293u, 3217625038u, 0, ATANF_TOLERANCE, 0}, {437, 899599265u, 3240118211u, 899599265u, 0, ATANF_TOLERANCE, 0}, {438, 1268194719u, 1332489410u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {439, 1133420220u, 1245770860u, 1070111994u, 0, ATANF_TOLERANCE, 0}, {440, 1161858787u, 815362075u, 1070138680u, 0, ATANF_TOLERANCE, 0}, {441, 3184462258u, 1263529646u, 3184416318u, 0, ATANF_TOLERANCE, 0}, {442, 3295996963u, 3453334307u, 3217616488u, 0, ATANF_TOLERANCE, 0}, {443, 1270887389u, 1156123987u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {444, 3325193181u, 993979179u, 3217624316u, 0, ATANF_TOLERANCE, 0}, {445, 925657343u, 1315159742u, 925657343u, 0, ATANF_TOLERANCE, 0}, {446, 3115275450u, 3008350271u, 3115275450u, 0, ATANF_TOLERANCE, 0}, {447, 3116607482u, 3224327456u, 3116607481u, 0, ATANF_TOLERANCE, 0}, {448, 3187892415u, 3118097315u, 3187845635u, 0, ATANF_TOLERANCE, 0}, {449, 1189120494u, 978961471u, 1070141111u, 0, ATANF_TOLERANCE, 0}, {450, 889030794u, 3129523970u, 889030794u, 0, ATANF_TOLERANCE, 0}, {451, 1323529208u, 3100744786u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {452, 3465768388u, 3190881451u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {453, 3426099899u, 1118756120u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {454, 3224857113u, 3398166843u, 3214808768u, 0, ATANF_TOLERANCE, 0}, {455, 1065798296u, 816191940u, 1062186276u, 0, ATANF_TOLERANCE, 0}, {456, 3328989444u, 850266225u, 3217624496u, 0, ATANF_TOLERANCE, 0}, {457, 3357819026u, 3148475462u, 3217625001u, 0, ATANF_TOLERANCE, 0}, {458, 1273397670u, 901308750u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {459, 3424831780u, 1304806106u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {460, 1257596246u, 3420832544u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {461, 1051773536u, 896271348u, 1051343444u, 0, ATANF_TOLERANCE, 0}, {462, 3294752507u, 3113225954u, 3217615768u, 0, ATANF_TOLERANCE, 0}, {463, 3424848725u, 2973850350u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {464, 1090870906u, 3294742905u, 1069139826u, 0, ATANF_TOLERANCE, 0}, {465, 1227582289u, 1208979668u, 1070141391u, 0, ATANF_TOLERANCE, 0}, {466, 1272325814u, 3004311296u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {467, 3359508271u, 859974315u, 3217625008u, 0, ATANF_TOLERANCE, 0}, {468, 1137854355u, 3335041917u, 1070121456u, 0, ATANF_TOLERANCE, 0}, {469, 3440773058u, 3204192793u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {470, 3101598400u, 3057760708u, 3101598400u, 0, ATANF_TOLERANCE, 0}, {471, 3451216836u, 3347783723u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {472, 3437062994u, 3106834845u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {473, 1131196082u, 1164573183u, 1070105960u, 0, ATANF_TOLERANCE, 0}, {474, 3177294154u, 1282436638u, 3177279218u, 0, ATANF_TOLERANCE, 0}, {475, 3258097678u, 1305882290u, 3217437234u, 0, ATANF_TOLERANCE, 0}, {476, 3460915348u, 1219372260u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {477, 3303035472u, 3153013020u, 3217620376u, 0, ATANF_TOLERANCE, 0}, {478, 1053698677u, 3284313107u, 1053032162u, 0, ATANF_TOLERANCE, 0}, {479, 3396166221u, 1201894512u, 3217625048u, 0, ATANF_TOLERANCE, 0}, {480, 3037541131u, 1085398440u, 3037541131u, 0, ATANF_TOLERANCE, 0}, {481, 3458934263u, 1005577835u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {482, 1065761827u, 3333928591u, 1062151616u, 0, ATANF_TOLERANCE, 0}, {483, 3025843188u, 820250112u, 3025843188u, 0, ATANF_TOLERANCE, 0}, {484, 926665223u, 3150815797u, 926665223u, 0, ATANF_TOLERANCE, 0}, {485, 1199816046u, 3143776186u, 1070141278u, 0, ATANF_TOLERANCE, 0}, {486, 3333779015u, 952421041u, 3217624689u, 0, ATANF_TOLERANCE, 0}, {487, 948398145u, 3238273189u, 948398145u, 0, ATANF_TOLERANCE, 0}, {488, 3054021468u, 1270257895u, 3054021468u, 0, ATANF_TOLERANCE, 0}, {489, 1080781593u, 1213908300u, 1067914719u, 0, ATANF_TOLERANCE, 0}, {490, 3164749613u, 3010837763u, 3164748223u, 0, ATANF_TOLERANCE, 0}, {491, 3235326590u, 1271705594u, 3216386555u, 0, ATANF_TOLERANCE, 0}, {492, 3118883815u, 1051802647u, 3118883814u, 0, ATANF_TOLERANCE, 0}, {493, 965378004u, 1292594138u, 965378004u, 0, ATANF_TOLERANCE, 0}, {494, 3226990408u, 1110755136u, 3215208306u, 0, ATANF_TOLERANCE, 0}, {495, 3117098218u, 1122474770u, 3117098217u, 0, ATANF_TOLERANCE, 0}, {496, 1283624229u, 906796922u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {497, 970649315u, 1078286437u, 970649314u, 0, ATANF_TOLERANCE, 0}, {498, 959776291u, 3280345347u, 959776291u, 0, ATANF_TOLERANCE, 0}, {499, 3341117305u, 3294559023u, 3217624853u, 0, ATANF_TOLERANCE, 0}, {500, 1270734970u, 3355874874u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {501, 3454816067u, 868771977u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {502, 917206623u, 1172710814u, 917206623u, 0, ATANF_TOLERANCE, 0}, {503, 1106502045u, 1290849316u, 1069866331u, 0, ATANF_TOLERANCE, 0}, {504, 1157598381u, 3309023746u, 1070137299u, 0, ATANF_TOLERANCE, 0}, {505, 3335234513u, 1002337336u, 3217624729u, 0, ATANF_TOLERANCE, 0}, {506, 1279489061u, 1006049444u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {507, 3157416480u, 1309984610u, 3157416019u, 0, ATANF_TOLERANCE, 0}, {508, 3143920719u, 3131608518u, 3143920658u, 0, ATANF_TOLERANCE, 0}, {509, 1233171235u, 826460580u, 1070141395u, 0, ATANF_TOLERANCE, 0}, {510, 1148920078u, 1007674793u, 1070133052u, 0, ATANF_TOLERANCE, 0}, {511, 3064988156u, 3230867340u, 3064988156u, 0, ATANF_TOLERANCE, 0}, {512, 3083619260u, 1159415661u, 3083619260u, 0, ATANF_TOLERANCE, 0}, {513, 1109198803u, 1221754614u, 1069927768u, 0, ATANF_TOLERANCE, 0}, {514, 3219949483u, 1056167693u, 3213464057u, 0, ATANF_TOLERANCE, 0}, {515, 3361149474u, 3387342069u, 3217625013u, 0, ATANF_TOLERANCE, 0}, {516, 1207502108u, 3388073586u, 1070141337u, 0, ATANF_TOLERANCE, 0}, {517, 1000014431u, 831213088u, 1000014355u, 0, ATANF_TOLERANCE, 0}, {518, 3161756316u, 3143659754u, 3161755126u, 0, ATANF_TOLERANCE, 0}, {519, 3160728744u, 3382954009u, 3160727769u, 0, ATANF_TOLERANCE, 0}, {520, 1234530539u, 1079988872u, 1070141396u, 0, ATANF_TOLERANCE, 0}, {521, 1017843965u, 1193076204u, 1017842336u, 0, ATANF_TOLERANCE, 0}, {522, 951862956u, 1173464654u, 951862956u, 0, ATANF_TOLERANCE, 0}, {523, 3306328852u, 1118701064u, 3217621474u, 0, ATANF_TOLERANCE, 0}, {524, 1291910469u, 1211303367u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {525, 3027442905u, 1173894400u, 3027442905u, 0, ATANF_TOLERANCE, 0}, {526, 1131927531u, 3182962700u, 1070107556u, 0, ATANF_TOLERANCE, 0}, {527, 3449879391u, 991614550u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {528, 970094304u, 3344590506u, 970094303u, 0, ATANF_TOLERANCE, 0}, {529, 1125551064u, 3331248076u, 1070085682u, 0, ATANF_TOLERANCE, 0}, {530, 3427296372u, 3455289118u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {531, 1198917460u, 1327195159u, 1070141269u, 0, ATANF_TOLERANCE, 0}, {532, 3201603336u, 820047343u, 3200876499u, 0, ATANF_TOLERANCE, 0}, {533, 3114686212u, 3476082461u, 3114686212u, 0, ATANF_TOLERANCE, 0}, {534, 921940707u, 2967544056u, 921940707u, 0, ATANF_TOLERANCE, 0}, {535, 1091906532u, 3011904455u, 1069245075u, 0, ATANF_TOLERANCE, 0}, {536, 3393557778u, 3383396815u, 3217625048u, 0, ATANF_TOLERANCE, 0}, {537, 1276853215u, 873199561u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {538, 3462778440u, 3349284325u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {539, 3360170117u, 3048354042u, 3217625010u, 0, ATANF_TOLERANCE, 0}, {540, 3224245428u, 3271307999u, 3214669684u, 0, ATANF_TOLERANCE, 0}, {541, 1120124467u, 1135619937u, 1070055695u, 0, ATANF_TOLERANCE, 0}, {542, 1064364381u, 3180675544u, 1061243521u, 0, ATANF_TOLERANCE, 0}, {543, 1268744779u, 3328452652u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {544, 1165195428u, 3390323168u, 1070139249u, 0, ATANF_TOLERANCE, 0}, {545, 3044092739u, 1106497311u, 3044092739u, 0, ATANF_TOLERANCE, 0}, {546, 3149469534u, 1278465842u, 3149469405u, 0, ATANF_TOLERANCE, 0}, {547, 3247790039u, 909788142u, 3217176119u, 0, ATANF_TOLERANCE, 0}, {548, 3215244648u, 1083988595u, 3211331089u, 0, ATANF_TOLERANCE, 0}, {549, 3095275931u, 989153382u, 3095275931u, 0, ATANF_TOLERANCE, 0}, {550, 3059688264u, 1117455718u, 3059688264u, 0, ATANF_TOLERANCE, 0}, {551, 1212717473u, 837873779u, 1070141362u, 0, ATANF_TOLERANCE, 0}, {552, 3275973009u, 3450721670u, 3217582116u, 0, ATANF_TOLERANCE, 0}, {553, 3028857014u, 3188853813u, 3028857014u, 0, ATANF_TOLERANCE, 0}, {554, 3391162308u, 1291220039u, 3217625047u, 0, ATANF_TOLERANCE, 0}, {555, 1044867873u, 3369493273u, 1044706316u, 0, ATANF_TOLERANCE, 0}, {556, 1089986803u, 3462160118u, 1069064428u, 0, ATANF_TOLERANCE, 0}, {557, 1296314700u, 2957454177u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {558, 1251462432u, 3171021770u, 1070141401u, 0, ATANF_TOLERANCE, 0}, {559, 3485236902u, 980772835u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {560, 3262169538u, 1268270462u, 3217485693u, 0, ATANF_TOLERANCE, 0}, {561, 3080852256u, 994641495u, 3080852256u, 0, ATANF_TOLERANCE, 0}, {562, 1022211242u, 922124181u, 1022206872u, 0, ATANF_TOLERANCE, 0}, {563, 884661176u, 2985540645u, 884661176u, 0, ATANF_TOLERANCE, 0}, {564, 3071422941u, 3271100396u, 3071422941u, 0, ATANF_TOLERANCE, 0}, {565, 989762529u, 3362011135u, 989762508u, 0, ATANF_TOLERANCE, 0}, {566, 1295475718u, 3212305413u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {567, 1002632518u, 3330388441u, 1002632368u, 0, ATANF_TOLERANCE, 0}, {568, 3404372005u, 3450484255u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {569, 3158912530u, 3105501826u, 3158911867u, 0, ATANF_TOLERANCE, 0}, {570, 1125800069u, 3256265749u, 1070087054u, 0, ATANF_TOLERANCE, 0}, {571, 3138037576u, 3103365227u, 3138037562u, 0, ATANF_TOLERANCE, 0}, {572, 3108384823u, 1300246663u, 3108384823u, 0, ATANF_TOLERANCE, 0}, {573, 999985470u, 3409354318u, 999985394u, 0, ATANF_TOLERANCE, 0}, {574, 1189421739u, 1056599002u, 1070141117u, 0, ATANF_TOLERANCE, 0}, {575, 3075182644u, 3144159778u, 3075182644u, 0, ATANF_TOLERANCE, 0}, {576, 3028099649u, 3391513557u, 3028099649u, 0, ATANF_TOLERANCE, 0}, {577, 3132541814u, 3444521949u, 3132541806u, 0, ATANF_TOLERANCE, 0}, {578, 1164046161u, 3440635788u, 1070139082u, 0, ATANF_TOLERANCE, 0}, {579, 1292596266u, 3116569667u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {580, 3469748379u, 3412765608u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {581, 1314644642u, 3123051784u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {582, 3399813173u, 828743798u, 3217625049u, 0, ATANF_TOLERANCE, 0}, {583, 948775569u, 3485444126u, 948775569u, 0, ATANF_TOLERANCE, 0}, {584, 1034611395u, 882288581u, 1034585499u, 0, ATANF_TOLERANCE, 0}, {585, 3489122735u, 3372450889u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {586, 1181604787u, 3363067409u, 1070140852u, 0, ATANF_TOLERANCE, 0}, {587, 3059042077u, 3204983963u, 3059042077u, 0, ATANF_TOLERANCE, 0}, {588, 1043691622u, 3402603223u, 1043569415u, 0, ATANF_TOLERANCE, 0}, {589, 1314588083u, 856187848u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {590, 3141533334u, 3010142974u, 3141533298u, 0, ATANF_TOLERANCE, 0}, {591, 3157534378u, 3451674717u, 3157533902u, 0, ATANF_TOLERANCE, 0}, {592, 3400949680u, 3073750220u, 3217625049u, 0, ATANF_TOLERANCE, 0}, {593, 3365581801u, 1175843167u, 3217625024u, 0, ATANF_TOLERANCE, 0}, {594, 1110424755u, 3011308654u, 1069950500u, 0, ATANF_TOLERANCE, 0}, {595, 3189917167u, 927278934u, 3189829462u, 0, ATANF_TOLERANCE, 0}, {596, 969804941u, 3355439348u, 969804940u, 0, ATANF_TOLERANCE, 0}, {597, 1139120919u, 3270515074u, 1070123135u, 0, ATANF_TOLERANCE, 0}, {598, 934308144u, 3118191228u, 934308144u, 0, ATANF_TOLERANCE, 0}, {599, 1220524226u, 1152648002u, 1070141381u, 0, ATANF_TOLERANCE, 0}, {600, 3162548604u, 3461790298u, 3162547910u, 0, ATANF_TOLERANCE, 0}, {601, 3382391700u, 3296962745u, 3217625044u, 0, ATANF_TOLERANCE, 0}, {602, 1156767533u, 1088986462u, 1070137085u, 0, ATANF_TOLERANCE, 0}, {603, 3079222483u, 3312324949u, 3079222483u, 0, ATANF_TOLERANCE, 0}, {604, 994934087u, 967678094u, 994934043u, 0, ATANF_TOLERANCE, 0}, {605, 3185240099u, 1123403720u, 3185185835u, 0, ATANF_TOLERANCE, 0}, {606, 3479873563u, 1246277393u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {607, 3424264117u, 3434026174u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {608, 3228365887u, 1216775310u, 3215412136u, 0, ATANF_TOLERANCE, 0}, {609, 1035909900u, 1249532942u, 1035873949u, 0, ATANF_TOLERANCE, 0}, {610, 3024951184u, 1247632131u, 3024951184u, 0, ATANF_TOLERANCE, 0}, {611, 1212129651u, 3017366784u, 1070141360u, 0, ATANF_TOLERANCE, 0}, {612, 3125775254u, 955826310u, 3125775251u, 0, ATANF_TOLERANCE, 0}, {613, 1037464105u, 3121544932u, 1037413077u, 0, ATANF_TOLERANCE, 0}, {614, 1311706596u, 1254918706u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {615, 918212457u, 1017468331u, 918212457u, 0, ATANF_TOLERANCE, 0}, {616, 1337315179u, 3461361185u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {617, 1131358407u, 3325958870u, 1070106327u, 0, ATANF_TOLERANCE, 0}, {618, 1156517523u, 3343716230u, 1070137016u, 0, ATANF_TOLERANCE, 0}, {619, 3210802820u, 3207408574u, 3208155290u, 0, ATANF_TOLERANCE, 0}, {620, 3337499209u, 1226297264u, 3217624775u, 0, ATANF_TOLERANCE, 0}, {621, 3468429030u, 3253874001u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {622, 3253515800u, 1189005947u, 3217341653u, 0, ATANF_TOLERANCE, 0}, {623, 3055299953u, 3047908678u, 3055299953u, 0, ATANF_TOLERANCE, 0}, {624, 959956547u, 876324728u, 959956547u, 0, ATANF_TOLERANCE, 0}, {625, 3425290480u, 1139193797u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {626, 1039917375u, 1122740999u, 1039834892u, 0, ATANF_TOLERANCE, 0}, {627, 3220979495u, 3429223871u, 3213685914u, 0, ATANF_TOLERANCE, 0}, {628, 1311016004u, 3334899880u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {629, 1128016396u, 1105151547u, 1070096822u, 0, ATANF_TOLERANCE, 0}, {630, 3210335769u, 3100646155u, 3207888084u, 0, ATANF_TOLERANCE, 0}, {631, 3022705759u, 3404762495u, 3022705759u, 0, ATANF_TOLERANCE, 0}, {632, 1206054701u, 826010009u, 1070141330u, 0, ATANF_TOLERANCE, 0}, {633, 3144504834u, 1162227076u, 3144504766u, 0, ATANF_TOLERANCE, 0}, {634, 1213609983u, 919983950u, 1070141364u, 0, ATANF_TOLERANCE, 0}, {635, 1246902946u, 3064047808u, 1070141400u, 0, ATANF_TOLERANCE, 0}, {636, 995850843u, 1332031130u, 995850789u, 0, ATANF_TOLERANCE, 0}, {637, 3362082828u, 3374056268u, 3217625015u, 0, ATANF_TOLERANCE, 0}, {638, 1029480631u, 3047777170u, 1029466672u, 0, ATANF_TOLERANCE, 0}, {639, 3153568584u, 3106514232u, 3153568275u, 0, ATANF_TOLERANCE, 0}, {640, 3384988527u, 3109485565u, 3217625045u, 0, ATANF_TOLERANCE, 0}, {641, 1317696241u, 870681806u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {642, 3235395924u, 1132055244u, 3216392527u, 0, ATANF_TOLERANCE, 0}, {643, 3341877624u, 2969495570u, 3217624866u, 0, ATANF_TOLERANCE, 0}, {644, 1228636133u, 886552820u, 1070141392u, 0, ATANF_TOLERANCE, 0}, {645, 3161654634u, 3335899347u, 3161653466u, 0, ATANF_TOLERANCE, 0}, {646, 3162655243u, 3307203982u, 3162654523u, 0, ATANF_TOLERANCE, 0}, {647, 1207246237u, 859223639u, 1070141336u, 0, ATANF_TOLERANCE, 0}, {648, 1165476654u, 3350219111u, 1070139287u, 0, ATANF_TOLERANCE, 0}, {649, 1215278023u, 3019755242u, 1070141368u, 0, ATANF_TOLERANCE, 0}, {650, 1017239798u, 3438501281u, 1017238418u, 0, ATANF_TOLERANCE, 0}, {651, 1149651309u, 970030475u, 1070133594u, 0, ATANF_TOLERANCE, 0}, {652, 1111943722u, 3122211334u, 1069972738u, 0, ATANF_TOLERANCE, 0}, {653, 1189849849u, 3382739134u, 1070141125u, 0, ATANF_TOLERANCE, 0}, {654, 3204848496u, 3141519085u, 3203862728u, 0, ATANF_TOLERANCE, 0}, {655, 1249758327u, 3104759211u, 1070141401u, 0, ATANF_TOLERANCE, 0}, {656, 3092982276u, 3445282331u, 3092982276u, 0, ATANF_TOLERANCE, 0}, {657, 1168098747u, 1316854744u, 1070139762u, 0, ATANF_TOLERANCE, 0}, {658, 892549317u, 1179637545u, 892549317u, 0, ATANF_TOLERANCE, 0}, {659, 3301009024u, 3406174560u, 3217619629u, 0, ATANF_TOLERANCE, 0}, {660, 3233089227u, 1212652543u, 3216157361u, 0, ATANF_TOLERANCE, 0}, {661, 3218245284u, 1238873830u, 3213042506u, 0, ATANF_TOLERANCE, 0}, {662, 3215981890u, 3240474694u, 3211863300u, 0, ATANF_TOLERANCE, 0}, {663, 1266687209u, 3092038122u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {664, 3487959775u, 3331372071u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {665, 943645710u, 852875779u, 943645710u, 0, ATANF_TOLERANCE, 0}, {666, 3345065699u, 3282620725u, 3217624905u, 0, ATANF_TOLERANCE, 0}, {667, 935847271u, 1067255804u, 935847271u, 0, ATANF_TOLERANCE, 0}, {668, 3410336089u, 1111437780u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {669, 3082940740u, 1336840432u, 3082940740u, 0, ATANF_TOLERANCE, 0}, {670, 1141063391u, 1168908072u, 1070125424u, 0, ATANF_TOLERANCE, 0}, {671, 3059263153u, 3067795684u, 3059263153u, 0, ATANF_TOLERANCE, 0}, {672, 3353679791u, 897158391u, 3217624979u, 0, ATANF_TOLERANCE, 0}, {673, 1001823878u, 1016826861u, 1001823754u, 0, ATANF_TOLERANCE, 0}, {674, 1009130212u, 1004302940u, 1009129839u, 0, ATANF_TOLERANCE, 0}, {675, 3367127535u, 943136342u, 3217625028u, 0, ATANF_TOLERANCE, 0}, {676, 1032920919u, 3449126417u, 1032905048u, 0, ATANF_TOLERANCE, 0}, {677, 3281952870u, 3147012185u, 3217598609u, 0, ATANF_TOLERANCE, 0}, {678, 1237868497u, 3048281802u, 1070141398u, 0, ATANF_TOLERANCE, 0}, {679, 1153753924u, 3322269242u, 1070136077u, 0, ATANF_TOLERANCE, 0}, {680, 1120261759u, 892210998u, 1070056603u, 0, ATANF_TOLERANCE, 0}, {681, 3226328360u, 3366432856u, 3215096616u, 0, ATANF_TOLERANCE, 0}, {682, 3349595986u, 3251588707u, 3217624952u, 0, ATANF_TOLERANCE, 0}, {683, 3166889490u, 3306023523u, 3166887081u, 0, ATANF_TOLERANCE, 0}, {684, 1087750238u, 1099325523u, 1068894830u, 0, ATANF_TOLERANCE, 0}, {685, 3121620061u, 3359488363u, 3121620060u, 0, ATANF_TOLERANCE, 0}, {686, 1066116543u, 3072159933u, 1062482443u, 0, ATANF_TOLERANCE, 0}, {687, 3210898034u, 2981803389u, 3208208865u, 0, ATANF_TOLERANCE, 0}, {688, 3051923237u, 3364074347u, 3051923237u, 0, ATANF_TOLERANCE, 0}, {689, 1030612298u, 3345396001u, 1030594803u, 0, ATANF_TOLERANCE, 0}, {690, 1186234578u, 858134374u, 1070141040u, 0, ATANF_TOLERANCE, 0}, {691, 1331680743u, 1009396165u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {692, 3060774997u, 1326067357u, 3060774997u, 0, ATANF_TOLERANCE, 0}, {693, 887589411u, 1292305693u, 887589411u, 0, ATANF_TOLERANCE, 0}, {694, 1045232522u, 3234993273u, 1045057281u, 0, ATANF_TOLERANCE, 0}, {695, 3119858470u, 962515365u, 3119858468u, 0, ATANF_TOLERANCE, 0}, {696, 3349432725u, 928848003u, 3217624951u, 0, ATANF_TOLERANCE, 0}, {697, 912423027u, 3184646319u, 912423027u, 0, ATANF_TOLERANCE, 0}, {698, 3228795133u, 3273940030u, 3215469039u, 0, ATANF_TOLERANCE, 0}, {699, 3194674746u, 3112269709u, 3194413041u, 0, ATANF_TOLERANCE, 0}, {700, 3296784303u, 3276182352u, 3217616918u, 0, ATANF_TOLERANCE, 0}, {701, 965402291u, 3107104376u, 965402291u, 0, ATANF_TOLERANCE, 0}, {702, 3388153589u, 3426245389u, 3217625046u, 0, ATANF_TOLERANCE, 0}, {703, 1133410485u, 3329658993u, 1070111963u, 0, ATANF_TOLERANCE, 0}, {704, 3136790322u, 1088652637u, 3136790303u, 0, ATANF_TOLERANCE, 0}, {705, 3369970587u, 959121458u, 3217625032u, 0, ATANF_TOLERANCE, 0}, {706, 1270451568u, 928393353u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {707, 989498922u, 3088358419u, 989498902u, 0, ATANF_TOLERANCE, 0}, {708, 1280215674u, 3148135875u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {709, 1171873518u, 954709738u, 1070140197u, 0, ATANF_TOLERANCE, 0}, {710, 3298258100u, 935525182u, 3217618126u, 0, ATANF_TOLERANCE, 0}, {711, 3415208824u, 822843236u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {712, 1001897182u, 3191875320u, 1001897056u, 0, ATANF_TOLERANCE, 0}, {713, 3152777939u, 3245830463u, 3152777673u, 0, ATANF_TOLERANCE, 0}, {714, 985903305u, 3333087577u, 985903296u, 0, ATANF_TOLERANCE, 0}, {715, 3357328848u, 859306298u, 3217624998u, 0, ATANF_TOLERANCE, 0}, {716, 982612185u, 923582663u, 982612181u, 0, ATANF_TOLERANCE, 0}, {717, 3267868136u, 1208301947u, 3217541046u, 0, ATANF_TOLERANCE, 0}, {718, 3319048157u, 1172271145u, 3217623818u, 0, ATANF_TOLERANCE, 0}, {719, 1144755661u, 860947435u, 1070130223u, 0, ATANF_TOLERANCE, 0}, {720, 898467286u, 839254959u, 898467286u, 0, ATANF_TOLERANCE, 0}, {721, 3301461672u, 1233693827u, 3217619816u, 0, ATANF_TOLERANCE, 0}, {722, 3364525678u, 3089849671u, 3217625021u, 0, ATANF_TOLERANCE, 0}, {723, 931441127u, 1133424555u, 931441127u, 0, ATANF_TOLERANCE, 0}, {724, 3146660041u, 3143695961u, 3146659983u, 0, ATANF_TOLERANCE, 0}, {725, 3467121799u, 3023584354u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {726, 1151257041u, 3084216427u, 1070134799u, 0, ATANF_TOLERANCE, 0}, {727, 3097873255u, 3219266640u, 3097873255u, 0, ATANF_TOLERANCE, 0}, {728, 3130670309u, 3192399254u, 3130670304u, 0, ATANF_TOLERANCE, 0}, {729, 1017573824u, 3130901062u, 1017572310u, 0, ATANF_TOLERANCE, 0}, {730, 1258369714u, 3462258576u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {731, 1216602683u, 3371396332u, 1070141372u, 0, ATANF_TOLERANCE, 0}, {732, 3297265739u, 1214184410u, 3217617356u, 0, ATANF_TOLERANCE, 0}, {733, 1071940738u, 3311731012u, 1065858274u, 0, ATANF_TOLERANCE, 0}, {734, 922601356u, 3337171870u, 922601356u, 0, ATANF_TOLERANCE, 0}, {735, 3462285635u, 3444030332u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {736, 3357177805u, 1085464241u, 3217624998u, 0, ATANF_TOLERANCE, 0}, {737, 3049120080u, 900832851u, 3049120080u, 0, ATANF_TOLERANCE, 0}, {738, 1153863660u, 1011991342u, 1070136122u, 0, ATANF_TOLERANCE, 0}, {739, 3034243695u, 917098003u, 3034243695u, 0, ATANF_TOLERANCE, 0}, {740, 1249365132u, 3278686216u, 1070141401u, 0, ATANF_TOLERANCE, 0}, {741, 3046215730u, 3211219980u, 3046215730u, 0, ATANF_TOLERANCE, 0}, {742, 3047251716u, 1090787353u, 3047251716u, 0, ATANF_TOLERANCE, 0}, {743, 3131219358u, 3471261157u, 3131219352u, 0, ATANF_TOLERANCE, 0}, {744, 3222096285u, 1198013705u, 3214057151u, 0, ATANF_TOLERANCE, 0}, {745, 1297708818u, 3079166173u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {746, 3345532722u, 3383708463u, 3217624910u, 0, ATANF_TOLERANCE, 0}, {747, 3418753236u, 3481843070u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {748, 1277417964u, 3487506626u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {749, 987577257u, 1152077087u, 987577244u, 0, ATANF_TOLERANCE, 0}, {750, 3161606610u, 3190282989u, 3161605452u, 0, ATANF_TOLERANCE, 0}, {751, 888030585u, 3062367380u, 888030585u, 0, ATANF_TOLERANCE, 0}, {752, 1043442869u, 3311393817u, 1043328084u, 0, ATANF_TOLERANCE, 0}, {753, 3320923228u, 3464544249u, 3217623964u, 0, ATANF_TOLERANCE, 0}, {754, 1337400405u, 3488844154u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {755, 3400348640u, 3129868490u, 3217625049u, 0, ATANF_TOLERANCE, 0}, {756, 1250249095u, 1069023744u, 1070141401u, 0, ATANF_TOLERANCE, 0}, {757, 3284411233u, 1173613526u, 3217603666u, 0, ATANF_TOLERANCE, 0}, {758, 3020883322u, 2953622587u, 3020883322u, 0, ATANF_TOLERANCE, 0}, {759, 1215968622u, 3469884568u, 1070141370u, 0, ATANF_TOLERANCE, 0}, {760, 3202319550u, 819117302u, 3201482744u, 0, ATANF_TOLERANCE, 0}, {761, 3061638260u, 3116222327u, 3061638260u, 0, ATANF_TOLERANCE, 0}, {762, 1025404104u, 1066370251u, 1025398931u, 0, ATANF_TOLERANCE, 0}, {763, 3138086437u, 3195983510u, 3138086424u, 0, ATANF_TOLERANCE, 0}, {764, 3091024506u, 3456196859u, 3091024506u, 0, ATANF_TOLERANCE, 0}, {765, 3362748242u, 3369843597u, 3217625016u, 0, ATANF_TOLERANCE, 0}, {766, 3099671635u, 3218383623u, 3099671635u, 0, ATANF_TOLERANCE, 0}, {767, 3068014841u, 2978226656u, 3068014841u, 0, ATANF_TOLERANCE, 0}, {768, 1252237719u, 1121169249u, 1070141401u, 0, ATANF_TOLERANCE, 0}, {769, 3327895594u, 1224511805u, 3217624454u, 0, ATANF_TOLERANCE, 0}, {770, 3082454432u, 889268276u, 3082454432u, 0, ATANF_TOLERANCE, 0}, {771, 3396161504u, 1182798837u, 3217625048u, 0, ATANF_TOLERANCE, 0}, {772, 1099710167u, 887180181u, 1069663411u, 0, ATANF_TOLERANCE, 0}, {773, 1157186482u, 1288722647u, 1070137196u, 0, ATANF_TOLERANCE, 0}, {774, 1282110851u, 3176633124u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {775, 3477008113u, 1331845018u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {776, 3292127294u, 3409957764u, 3217613768u, 0, ATANF_TOLERANCE, 0}, {777, 1123357102u, 3281307320u, 1070072945u, 0, ATANF_TOLERANCE, 0}, {778, 1106837025u, 3088080674u, 1069871974u, 0, ATANF_TOLERANCE, 0}, {779, 1049949008u, 1130799489u, 1049686811u, 0, ATANF_TOLERANCE, 0}, {780, 1253017688u, 942062372u, 1070141401u, 0, ATANF_TOLERANCE, 0}, {781, 1108543194u, 3281299199u, 1069913239u, 0, ATANF_TOLERANCE, 0}, {782, 3087985411u, 1238341456u, 3087985411u, 0, ATANF_TOLERANCE, 0}, {783, 3163283126u, 1328636961u, 3163282235u, 0, ATANF_TOLERANCE, 0}, {784, 1160162706u, 1264067367u, 1070138257u, 0, ATANF_TOLERANCE, 0}, {785, 3305715025u, 3017496063u, 3217621230u, 0, ATANF_TOLERANCE, 0}, {786, 1266928623u, 811778614u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {787, 3025340297u, 1193925540u, 3025340297u, 0, ATANF_TOLERANCE, 0}, {788, 3438080027u, 3107114149u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {789, 3344574751u, 3111270744u, 3217624900u, 0, ATANF_TOLERANCE, 0}, {790, 1152416724u, 962669179u, 1070135461u, 0, ATANF_TOLERANCE, 0}, {791, 1218239308u, 1126238113u, 1070141377u, 0, ATANF_TOLERANCE, 0}, {792, 3263310567u, 1030748197u, 3217496171u, 0, ATANF_TOLERANCE, 0}, {793, 3041998669u, 1160635263u, 3041998669u, 0, ATANF_TOLERANCE, 0}, {794, 1000313118u, 2980130729u, 1000313035u, 0, ATANF_TOLERANCE, 0}, {795, 972485427u, 1124312043u, 972485425u, 0, ATANF_TOLERANCE, 0}, {796, 3290264612u, 1124703898u, 3217611731u, 0, ATANF_TOLERANCE, 0}, {797, 3222106584u, 1183748648u, 3214060655u, 0, ATANF_TOLERANCE, 0}, {798, 1278946388u, 825129857u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {799, 947914771u, 3181847068u, 947914771u, 0, ATANF_TOLERANCE, 0}, {800, 3167730654u, 3195765940u, 3167727737u, 0, ATANF_TOLERANCE, 0}, {801, 1098530298u, 3255870890u, 1069605780u, 0, ATANF_TOLERANCE, 0}, {802, 3232726036u, 871038882u, 3216111995u, 0, ATANF_TOLERANCE, 0}, {803, 1297190916u, 811863044u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {804, 1277649137u, 961171401u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {805, 3203377685u, 1306427476u, 3202361137u, 0, ATANF_TOLERANCE, 0}, {806, 3090306474u, 3124785016u, 3090306474u, 0, ATANF_TOLERANCE, 0}, {807, 3244032016u, 3045313345u, 3217016043u, 0, ATANF_TOLERANCE, 0}, {808, 3033122376u, 3049877065u, 3033122376u, 0, ATANF_TOLERANCE, 0}, {809, 1096155623u, 1256423752u, 1069515403u, 0, ATANF_TOLERANCE, 0}, {810, 873151908u, 3246562559u, 873151908u, 0, ATANF_TOLERANCE, 0}, {811, 3238729605u, 1298769842u, 3216664316u, 0, ATANF_TOLERANCE, 0}, {812, 3317196817u, 989537151u, 3217623629u, 0, ATANF_TOLERANCE, 0}, {813, 3374748510u, 834161190u, 3217625038u, 0, ATANF_TOLERANCE, 0}, {814, 3345634950u, 959901149u, 3217624911u, 0, ATANF_TOLERANCE, 0}, {815, 3189860276u, 883598767u, 3189773958u, 0, ATANF_TOLERANCE, 0}, {816, 887311687u, 1175312255u, 887311687u, 0, ATANF_TOLERANCE, 0}, {817, 3396917283u, 3066326686u, 3217625049u, 0, ATANF_TOLERANCE, 0}, {818, 3317032737u, 3143803722u, 3217623610u, 0, ATANF_TOLERANCE, 0}, {819, 1200051436u, 1163802508u, 1070141282u, 0, ATANF_TOLERANCE, 0}, {820, 3105291012u, 1194385202u, 3105291012u, 0, ATANF_TOLERANCE, 0}, {821, 1306520561u, 957302464u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {822, 1314936356u, 2985592532u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {823, 3475052219u, 1284049853u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {824, 3085636260u, 1107682820u, 3085636260u, 0, ATANF_TOLERANCE, 0}, {825, 3393227708u, 3271879112u, 3217625048u, 0, ATANF_TOLERANCE, 0}, {826, 3182540197u, 852580839u, 3182511098u, 0, ATANF_TOLERANCE, 0}, {827, 3349005404u, 3080993030u, 3217624947u, 0, ATANF_TOLERANCE, 0}, {828, 3154720153u, 3443720494u, 3154719943u, 0, ATANF_TOLERANCE, 0}, {829, 1262863321u, 1219003129u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {830, 882902102u, 1224362550u, 882902102u, 0, ATANF_TOLERANCE, 0}, {831, 1053387478u, 3184880021u, 1052763523u, 0, ATANF_TOLERANCE, 0}, {832, 3387653691u, 3347783852u, 3217625046u, 0, ATANF_TOLERANCE, 0}, {833, 3136364836u, 1018492227u, 3136364818u, 0, ATANF_TOLERANCE, 0}, {834, 1338680611u, 1166078045u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {835, 1112891928u, 3074730425u, 1069984171u, 0, ATANF_TOLERANCE, 0}, {836, 893449284u, 1052877339u, 893449284u, 0, ATANF_TOLERANCE, 0}, {837, 892311459u, 1097338393u, 892311459u, 0, ATANF_TOLERANCE, 0}, {838, 3105373037u, 3246705916u, 3105373037u, 0, ATANF_TOLERANCE, 0}, {839, 1190105283u, 3033907262u, 1070141129u, 0, ATANF_TOLERANCE, 0}, {840, 1011225926u, 1180485180u, 1011225294u, 0, ATANF_TOLERANCE, 0}, {841, 1043025031u, 987068973u, 1042922036u, 0, ATANF_TOLERANCE, 0}, {842, 3410531037u, 2953541915u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {843, 3125834184u, 896953754u, 3125834181u, 0, ATANF_TOLERANCE, 0}, {844, 902318189u, 849277289u, 902318189u, 0, ATANF_TOLERANCE, 0}, {845, 3213624815u, 2987148017u, 3209988543u, 0, ATANF_TOLERANCE, 0}, {846, 1120888322u, 1086209113u, 1070060512u, 0, ATANF_TOLERANCE, 0}, {847, 1315217243u, 3396371713u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {848, 3137758475u, 1039403054u, 3137758463u, 0, ATANF_TOLERANCE, 0}, {849, 1040617590u, 1034835971u, 1040567347u, 0, ATANF_TOLERANCE, 0}, {850, 955384253u, 3344785562u, 955384253u, 0, ATANF_TOLERANCE, 0}, {851, 3061417900u, 1172208065u, 3061417900u, 0, ATANF_TOLERANCE, 0}, {852, 904255535u, 1019967545u, 904255535u, 0, ATANF_TOLERANCE, 0}, {853, 1022984119u, 3113891410u, 1022979067u, 0, ATANF_TOLERANCE, 0}, {854, 997362368u, 3112875428u, 997362295u, 0, ATANF_TOLERANCE, 0}, {855, 900933520u, 1100589187u, 900933520u, 0, ATANF_TOLERANCE, 0}, {856, 1168623062u, 1143306482u, 1070139840u, 0, ATANF_TOLERANCE, 0}, {857, 878737490u, 3269908326u, 878737490u, 0, ATANF_TOLERANCE, 0}, {858, 1039827284u, 1072928888u, 1039746136u, 0, ATANF_TOLERANCE, 0}, {859, 1021564080u, 1064468397u, 1021560233u, 0, ATANF_TOLERANCE, 0}, {860, 3458669745u, 3033299853u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {861, 3327516316u, 3405380971u, 3217624438u, 0, ATANF_TOLERANCE, 0}, {862, 1040711112u, 3229444200u, 1040659264u, 0, ATANF_TOLERANCE, 0}, {863, 1134528351u, 3365952513u, 1070115111u, 0, ATANF_TOLERANCE, 0}, {864, 3039884464u, 1170612785u, 3039884464u, 0, ATANF_TOLERANCE, 0}, {865, 3414352838u, 3350285760u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {866, 1133689539u, 1067460093u, 1070112817u, 0, ATANF_TOLERANCE, 0}, {867, 3455688478u, 3333091960u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {868, 1137634874u, 1137038869u, 1070121134u, 0, ATANF_TOLERANCE, 0}, {869, 3415502662u, 955510692u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {870, 954999730u, 969618597u, 954999730u, 0, ATANF_TOLERANCE, 0}, {871, 1066157309u, 3241712664u, 1062519577u, 0, ATANF_TOLERANCE, 0}, {872, 3436353675u, 1174967495u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {873, 940437609u, 860372396u, 940437609u, 0, ATANF_TOLERANCE, 0}, {874, 3108347547u, 3434003435u, 3108347546u, 0, ATANF_TOLERANCE, 0}, {875, 3064200154u, 3158080507u, 3064200154u, 0, ATANF_TOLERANCE, 0}, {876, 1023889593u, 2979304683u, 1023886369u, 0, ATANF_TOLERANCE, 0}, {877, 3272661536u, 3461799138u, 3217567140u, 0, ATANF_TOLERANCE, 0}, {878, 1170245333u, 1233406410u, 1070140041u, 0, ATANF_TOLERANCE, 0}, {879, 1219052056u, 3369557946u, 1070141378u, 0, ATANF_TOLERANCE, 0}, {880, 3318983619u, 3259663338u, 3217623812u, 0, ATANF_TOLERANCE, 0}, {881, 3372118621u, 837597103u, 3217625035u, 0, ATANF_TOLERANCE, 0}, {882, 3146190320u, 889646054u, 3146190269u, 0, ATANF_TOLERANCE, 0}, {883, 1299683827u, 966031619u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {884, 3190796331u, 1320011850u, 3190685309u, 0, ATANF_TOLERANCE, 0}, {885, 3086068902u, 3484245751u, 3086068902u, 0, ATANF_TOLERANCE, 0}, {886, 3064155399u, 3176569312u, 3064155399u, 0, ATANF_TOLERANCE, 0}, {887, 3040314717u, 1071290674u, 3040314717u, 0, ATANF_TOLERANCE, 0}, {888, 3257224022u, 3361778245u, 3217422092u, 0, ATANF_TOLERANCE, 0}, {889, 1229268598u, 1066965677u, 1070141392u, 0, ATANF_TOLERANCE, 0}, {890, 3184078812u, 871003709u, 3184036643u, 0, ATANF_TOLERANCE, 0}, {891, 1086717248u, 3423795374u, 1068797219u, 0, ATANF_TOLERANCE, 0}, {892, 3434884607u, 3029593823u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {893, 3464955606u, 1017987696u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {894, 1025278524u, 3121856207u, 1025273537u, 0, ATANF_TOLERANCE, 0}, {895, 1242829722u, 3233935671u, 1070141399u, 0, ATANF_TOLERANCE, 0}, {896, 3075149137u, 1117325737u, 3075149137u, 0, ATANF_TOLERANCE, 0}, {897, 1200927971u, 1317167489u, 1070141292u, 0, ATANF_TOLERANCE, 0}, {898, 3326858092u, 3452602832u, 3217624408u, 0, ATANF_TOLERANCE, 0}, {899, 1246019790u, 850632217u, 1070141400u, 0, ATANF_TOLERANCE, 0}, {900, 3184801644u, 1137974313u, 3184752184u, 0, ATANF_TOLERANCE, 0}, {901, 1136052740u, 3244616020u, 1070118457u, 0, ATANF_TOLERANCE, 0}, {902, 1069009211u, 3002507482u, 1064723212u, 0, ATANF_TOLERANCE, 0}, {903, 1015670780u, 1101217251u, 1015669926u, 0, ATANF_TOLERANCE, 0}, {904, 1012543234u, 1116520440u, 1012542389u, 0, ATANF_TOLERANCE, 0}, {905, 3316611992u, 3394732912u, 3217623557u, 0, ATANF_TOLERANCE, 0}, {906, 1087942795u, 3316660295u, 1068911490u, 0, ATANF_TOLERANCE, 0}, {907, 3426365713u, 3069778532u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {908, 3066654389u, 3443934204u, 3066654389u, 0, ATANF_TOLERANCE, 0}, {909, 3295326432u, 1313396175u, 3217616115u, 0, ATANF_TOLERANCE, 0}, {910, 3318835308u, 3277583511u, 3217623799u, 0, ATANF_TOLERANCE, 0}, {911, 3283555717u, 891875120u, 3217602142u, 0, ATANF_TOLERANCE, 0}, {912, 3381255420u, 3015406047u, 3217625043u, 0, ATANF_TOLERANCE, 0}, {913, 3040485181u, 3375450886u, 3040485181u, 0, ATANF_TOLERANCE, 0}, {914, 3388772093u, 1032597076u, 3217625047u, 0, ATANF_TOLERANCE, 0}, {915, 954670189u, 1144923689u, 954670189u, 0, ATANF_TOLERANCE, 0}, {916, 1319200415u, 3387555900u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {917, 1279324488u, 3228401212u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {918, 3217795424u, 865577227u, 3212918140u, 0, ATANF_TOLERANCE, 0}, {919, 3455131757u, 1260217257u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {920, 1246947517u, 1087951909u, 1070141400u, 0, ATANF_TOLERANCE, 0}, {921, 3396723577u, 869285240u, 3217625049u, 0, ATANF_TOLERANCE, 0}, {922, 3433761025u, 3060143904u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {923, 3201187455u, 900233172u, 3200520224u, 0, ATANF_TOLERANCE, 0}, {924, 1173247961u, 1191127979u, 1070140303u, 0, ATANF_TOLERANCE, 0}, {925, 3037297123u, 3346394818u, 3037297123u, 0, ATANF_TOLERANCE, 0}, {926, 3248534678u, 1323683800u, 3217207806u, 0, ATANF_TOLERANCE, 0}, {927, 3083019343u, 3033309444u, 3083019343u, 0, ATANF_TOLERANCE, 0}, {928, 3042018375u, 3203882372u, 3042018375u, 0, ATANF_TOLERANCE, 0}, {929, 1082862511u, 3032804719u, 1068245533u, 0, ATANF_TOLERANCE, 0}, {930, 3157626955u, 3483653298u, 3157626468u, 0, ATANF_TOLERANCE, 0}, {931, 1341821683u, 3003675365u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {932, 881101379u, 1190838126u, 881101379u, 0, ATANF_TOLERANCE, 0}, {933, 1079061705u, 2960507663u, 1067650663u, 0, ATANF_TOLERANCE, 0}, {934, 3182695954u, 3256861672u, 3182665676u, 0, ATANF_TOLERANCE, 0}, {935, 1105291533u, 3482971524u, 1069843809u, 0, ATANF_TOLERANCE, 0}, {936, 1016023520u, 3227712090u, 1016022562u, 0, ATANF_TOLERANCE, 0}, {937, 3370691006u, 1295870514u, 3217625033u, 0, ATANF_TOLERANCE, 0}, {938, 1156767169u, 1049756240u, 1070137085u, 0, ATANF_TOLERANCE, 0}, {939, 3077020499u, 894671462u, 3077020499u, 0, ATANF_TOLERANCE, 0}, {940, 1104284039u, 3040211914u, 1069822048u, 0, ATANF_TOLERANCE, 0}, {941, 3335212901u, 3486414589u, 3217624728u, 0, ATANF_TOLERANCE, 0}, {942, 1093697541u, 3193708441u, 1069383035u, 0, ATANF_TOLERANCE, 0}, {943, 3266691185u, 1160074593u, 3217532746u, 0, ATANF_TOLERANCE, 0}, {944, 3179003144u, 1108615803u, 3178982419u, 0, ATANF_TOLERANCE, 0}, {945, 1094115255u, 3008610212u, 1069409331u, 0, ATANF_TOLERANCE, 0}, {946, 3424086808u, 3260140004u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {947, 3353608773u, 1134068114u, 3217624979u, 0, ATANF_TOLERANCE, 0}, {948, 973664327u, 1319516167u, 973664326u, 0, ATANF_TOLERANCE, 0}, {949, 882878091u, 3136970767u, 882878091u, 0, ATANF_TOLERANCE, 0}, {950, 1098662266u, 833740182u, 1069610044u, 0, ATANF_TOLERANCE, 0}, {951, 927582555u, 947955456u, 927582555u, 0, ATANF_TOLERANCE, 0}, {952, 3111440310u, 3067634077u, 3111440309u, 0, ATANF_TOLERANCE, 0}, {953, 3476083859u, 966439623u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {954, 3038754840u, 932009686u, 3038754840u, 0, ATANF_TOLERANCE, 0}, {955, 979878744u, 1232482646u, 979878740u, 0, ATANF_TOLERANCE, 0}, {956, 3464546616u, 3205527253u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {957, 1002542205u, 3152136093u, 1002542058u, 0, ATANF_TOLERANCE, 0}, {958, 3443552129u, 3165561391u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {959, 1287620154u, 3119707283u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {960, 946058434u, 1249928879u, 946058434u, 0, ATANF_TOLERANCE, 0}, {961, 3073260205u, 3093124531u, 3073260205u, 0, ATANF_TOLERANCE, 0}, {962, 1245702957u, 894348966u, 1070141400u, 0, ATANF_TOLERANCE, 0}, {963, 989655126u, 1308376568u, 989655106u, 0, ATANF_TOLERANCE, 0}, {964, 1002715618u, 1191006977u, 1002715464u, 0, ATANF_TOLERANCE, 0}, {965, 3087802274u, 897541752u, 3087802274u, 0, ATANF_TOLERANCE, 0}, {966, 1000863905u, 1196831314u, 1000863808u, 0, ATANF_TOLERANCE, 0}, {967, 3415763001u, 3032518431u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {968, 3283471961u, 1260093226u, 3217601980u, 0, ATANF_TOLERANCE, 0}, {969, 3311210827u, 1192192264u, 3217622679u, 0, ATANF_TOLERANCE, 0}, {970, 3026311911u, 2968974374u, 3026311911u, 0, ATANF_TOLERANCE, 0}, {971, 1198307901u, 1116328249u, 1070141264u, 0, ATANF_TOLERANCE, 0}, {972, 1288901567u, 1296370667u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {973, 922255363u, 958305289u, 922255363u, 0, ATANF_TOLERANCE, 0}, {974, 1113104661u, 944376032u, 1069986527u, 0, ATANF_TOLERANCE, 0}, {975, 1136714348u, 828849087u, 1070119658u, 0, ATANF_TOLERANCE, 0}, {976, 948856035u, 1015466475u, 948856035u, 0, ATANF_TOLERANCE, 0}, {977, 1062512367u, 3229559531u, 1060205391u, 0, ATANF_TOLERANCE, 0}, {978, 3486907092u, 823220784u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {979, 1162027071u, 3308983387u, 1070138716u, 0, ATANF_TOLERANCE, 0}, {980, 1034561811u, 1054043114u, 1034536255u, 0, ATANF_TOLERANCE, 0}, {981, 3271615417u, 3209997200u, 3217559968u, 0, ATANF_TOLERANCE, 0}, {982, 1042014529u, 1146708584u, 1041936699u, 0, ATANF_TOLERANCE, 0}, {983, 1177157787u, 3090208179u, 1070140632u, 0, ATANF_TOLERANCE, 0}, {984, 3196144817u, 1056118717u, 3195882893u, 0, ATANF_TOLERANCE, 0}, {985, 3432084552u, 2997091781u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {986, 1309658335u, 1010219988u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {987, 1226494979u, 2991604792u, 1070141389u, 0, ATANF_TOLERANCE, 0}, {988, 3100289712u, 3456334210u, 3100289712u, 0, ATANF_TOLERANCE, 0}, {989, 3375507013u, 1306310823u, 3217625039u, 0, ATANF_TOLERANCE, 0}, {990, 3460699001u, 3096700943u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {991, 3079231719u, 1044386263u, 3079231719u, 0, ATANF_TOLERANCE, 0}, {992, 3093951884u, 1014115231u, 3093951884u, 0, ATANF_TOLERANCE, 0}, {993, 3468023178u, 1209565017u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {994, 1204196034u, 3298625731u, 1070141320u, 0, ATANF_TOLERANCE, 0}, {995, 3459877411u, 2960476959u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {996, 909696559u, 1163075690u, 909696559u, 0, ATANF_TOLERANCE, 0}, {997, 1161439847u, 943449277u, 1070138586u, 0, ATANF_TOLERANCE, 0}, {998, 908663107u, 939489763u, 908663107u, 0, ATANF_TOLERANCE, 0}, {999, 1055319316u, 3261813492u, 1054402974u, 0, ATANF_TOLERANCE, 0}, {1000, 1084378658u, 1009650785u, 1068508453u, 0, ATANF_TOLERANCE, 0}, {1001, 3053887750u, 3341786453u, 3053887750u, 0, ATANF_TOLERANCE, 0}, {1002, 3022828828u, 881335251u, 3022828828u, 0, ATANF_TOLERANCE, 0}, {1003, 1226473697u, 821025132u, 1070141389u, 0, ATANF_TOLERANCE, 0}, {1004, 1123114742u, 1229815537u, 1070071896u, 0, ATANF_TOLERANCE, 0}, {1005, 1258114435u, 1291336083u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {1006, 3468040845u, 3066966245u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {1007, 1178825761u, 1113195286u, 1070140732u, 0, ATANF_TOLERANCE, 0}, {1008, 3059266302u, 878503862u, 3059266302u, 0, ATANF_TOLERANCE, 0}, {1009, 3223384012u, 1130486973u, 3214449981u, 0, ATANF_TOLERANCE, 0}, {1010, 1019964626u, 1235133609u, 1019961886u, 0, ATANF_TOLERANCE, 0}, {1011, 3445262427u, 3465211174u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {1012, 1125653081u, 1207799746u, 1070086253u, 0, ATANF_TOLERANCE, 0}, {1013, 3337652712u, 3025581813u, 3217624778u, 0, ATANF_TOLERANCE, 0}, {1014, 1184753508u, 3147374485u, 1070140988u, 0, ATANF_TOLERANCE, 0}, {1015, 996404791u, 3353251979u, 996404731u, 0, ATANF_TOLERANCE, 0}, {1016, 1188439315u, 1113484271u, 1070141097u, 0, ATANF_TOLERANCE, 0}, {1017, 906557513u, 3006513432u, 906557513u, 0, ATANF_TOLERANCE, 0}, {1018, 916831283u, 999465787u, 916831283u, 0, ATANF_TOLERANCE, 0}, {1019, 996786317u, 3179221951u, 996786252u, 0, ATANF_TOLERANCE, 0}, {1020, 3461635065u, 1004690387u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {1021, 1188167943u, 1200744896u, 1070141091u, 0, ATANF_TOLERANCE, 0}, {1022, 3036502395u, 1172597364u, 3036502395u, 0, ATANF_TOLERANCE, 0}, {1023, 891257783u, 1267560050u, 891257783u, 0, ATANF_TOLERANCE, 0}, {1024, 3290079438u, 846519377u, 3217611488u, 0, ATANF_TOLERANCE, 0}, {1025, 3350690327u, 2967953392u, 3217624961u, 0, ATANF_TOLERANCE, 0}, {1026, 1102061604u, 3424449935u, 1069760636u, 0, ATANF_TOLERANCE, 0}, {1027, 1282351521u, 3039376424u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {1028, 3458861065u, 3392466405u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {1029, 3095256878u, 1023623326u, 3095256878u, 0, ATANF_TOLERANCE, 0}, {1030, 3163373610u, 843150426u, 3163372692u, 0, ATANF_TOLERANCE, 0}, {1031, 3228793330u, 855146890u, 3215468806u, 0, ATANF_TOLERANCE, 0}, {1032, 3422194733u, 893873945u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {1033, 3083885296u, 974543672u, 3083885296u, 0, ATANF_TOLERANCE, 0}, {1034, 1261940623u, 3402349985u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {1035, 3400603081u, 3234396843u, 3217625049u, 0, ATANF_TOLERANCE, 0}, {1036, 1219411812u, 2961857939u, 1070141379u, 0, ATANF_TOLERANCE, 0}, {1037, 3094833770u, 805351108u, 3094833770u, 0, ATANF_TOLERANCE, 0}, {1038, 3139250800u, 3079109479u, 3139250780u, 0, ATANF_TOLERANCE, 0}, {1039, 886201503u, 3272760705u, 886201503u, 0, ATANF_TOLERANCE, 0}, {1040, 3297366026u, 1089966380u, 3217617442u, 0, ATANF_TOLERANCE, 0}, {1041, 1218488455u, 3309646450u, 1070141377u, 0, ATANF_TOLERANCE, 0}, {1042, 3040358923u, 3093401553u, 3040358923u, 0, ATANF_TOLERANCE, 0}, {1043, 1283938137u, 1196383822u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {1044, 3182551696u, 3029982441u, 3182522512u, 0, ATANF_TOLERANCE, 0}, {1045, 1317098613u, 949986176u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {1046, 3116209179u, 3303588342u, 3116209179u, 0, ATANF_TOLERANCE, 0}, {1047, 3431703657u, 3014443710u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {1048, 3239728775u, 927815421u, 3216758511u, 0, ATANF_TOLERANCE, 0}, {1049, 3207141672u, 933456504u, 3205853333u, 0, ATANF_TOLERANCE, 0}, {1050, 3154378805u, 905462392u, 3154378618u, 0, ATANF_TOLERANCE, 0}, {1051, 3069658155u, 1041452042u, 3069658155u, 0, ATANF_TOLERANCE, 0}, {1052, 3313160088u, 2964063309u, 3217622960u, 0, ATANF_TOLERANCE, 0}, {1053, 3207056527u, 3384206601u, 3205793915u, 0, ATANF_TOLERANCE, 0}, {1054, 1284174954u, 3436881197u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {1055, 3156081645u, 3308839704u, 3156081325u, 0, ATANF_TOLERANCE, 0}, {1056, 1063693032u, 976661408u, 1060880281u, 0, ATANF_TOLERANCE, 0}, {1057, 3036026175u, 1251203998u, 3036026175u, 0, ATANF_TOLERANCE, 0}, {1058, 1102631663u, 3396951425u, 1069778533u, 0, ATANF_TOLERANCE, 0}, {1059, 968803479u, 992989712u, 968803479u, 0, ATANF_TOLERANCE, 0}, {1060, 3273080388u, 3109405906u, 3217569587u, 0, ATANF_TOLERANCE, 0}, {1061, 1172529774u, 3294550127u, 1070140250u, 0, ATANF_TOLERANCE, 0}, {1062, 1306695905u, 1292690378u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {1063, 1003649752u, 1218792138u, 1003649562u, 0, ATANF_TOLERANCE, 0}, {1064, 1078478376u, 1326246424u, 1067546758u, 0, ATANF_TOLERANCE, 0}, {1065, 3158855023u, 3151283866u, 3158854369u, 0, ATANF_TOLERANCE, 0}, {1066, 1165177679u, 3276237026u, 1070139247u, 0, ATANF_TOLERANCE, 0}, {1067, 3403009513u, 3381966453u, 3217625049u, 0, ATANF_TOLERANCE, 0}, {1068, 952348506u, 3377573987u, 952348506u, 0, ATANF_TOLERANCE, 0}, {1069, 1222777442u, 1125769920u, 1070141385u, 0, ATANF_TOLERANCE, 0}, {1070, 1325324763u, 978336043u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {1071, 3363524213u, 3202991311u, 3217625018u, 0, ATANF_TOLERANCE, 0}, {1072, 1158950321u, 1073578913u, 1070137864u, 0, ATANF_TOLERANCE, 0}, {1073, 903129873u, 3416864271u, 903129873u, 0, ATANF_TOLERANCE, 0}, {1074, 3078339944u, 988173985u, 3078339944u, 0, ATANF_TOLERANCE, 0}, {1075, 1208345407u, 1254181270u, 1070141341u, 0, ATANF_TOLERANCE, 0}, {1076, 1258634105u, 1247426200u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {1077, 1248478509u, 1287895126u, 1070141400u, 0, ATANF_TOLERANCE, 0}, {1078, 1153863988u, 3430539165u, 1070136122u, 0, ATANF_TOLERANCE, 0}, {1079, 1235620969u, 866627358u, 1070141396u, 0, ATANF_TOLERANCE, 0}, {1080, 1097120930u, 3221726305u, 1069555579u, 0, ATANF_TOLERANCE, 0}, {1081, 3469778622u, 1200179013u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {1082, 1147712200u, 931865525u, 1070132390u, 0, ATANF_TOLERANCE, 0}, {1083, 1124721745u, 3058969650u, 1070080569u, 0, ATANF_TOLERANCE, 0}, {1084, 3261744304u, 1043806501u, 3217481834u, 0, ATANF_TOLERANCE, 0}, {1085, 1064922416u, 1320485628u, 1061534605u, 0, ATANF_TOLERANCE, 0}, {1086, 3303160152u, 3075455322u, 3217620416u, 0, ATANF_TOLERANCE, 0}, {1087, 1315090496u, 3269683237u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {1088, 3230403187u, 1322841992u, 3215740568u, 0, ATANF_TOLERANCE, 0}, {1089, 1335399673u, 974138676u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {1090, 1072458508u, 3372833993u, 1065978748u, 0, ATANF_TOLERANCE, 0}, {1091, 3303015249u, 3015039539u, 3217620370u, 0, ATANF_TOLERANCE, 0}, {1092, 3252139741u, 1059615003u, 3217314092u, 0, ATANF_TOLERANCE, 0}, {1093, 3468519966u, 3113982619u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {1094, 1006231203u, 897530770u, 1006230885u, 0, ATANF_TOLERANCE, 0}, {1095, 951554138u, 1001144381u, 951554138u, 0, ATANF_TOLERANCE, 0}, {1096, 942046828u, 986341002u, 942046828u, 0, ATANF_TOLERANCE, 0}, {1097, 3319723279u, 3414482416u, 3217623875u, 0, ATANF_TOLERANCE, 0}, {1098, 3255104167u, 928827688u, 3217372739u, 0, ATANF_TOLERANCE, 0}, {1099, 1155477903u, 3104812800u, 1070136705u, 0, ATANF_TOLERANCE, 0}, {1100, 3273889176u, 980486479u, 3217573771u, 0, ATANF_TOLERANCE, 0}, {1101, 3237813668u, 3441016803u, 3216570123u, 0, ATANF_TOLERANCE, 0}, {1102, 1228207362u, 2985476579u, 1070141391u, 0, ATANF_TOLERANCE, 0}, {1103, 975349337u, 1311932596u, 975349336u, 0, ATANF_TOLERANCE, 0}, {1104, 1290175785u, 3008182462u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {1105, 981908840u, 3314038398u, 981908837u, 0, ATANF_TOLERANCE, 0}, {1106, 941187647u, 1107765599u, 941187647u, 0, ATANF_TOLERANCE, 0}, {1107, 1214223128u, 3225536822u, 1070141366u, 0, ATANF_TOLERANCE, 0}, {1108, 3422922584u, 1086391131u, 3217625050u, 0, ATANF_TOLERANCE, 0}, {1109, 1315857601u, 3487600045u, 1070141403u, 0, ATANF_TOLERANCE, 0}, {1110, 3453226030u, 3233768835u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {1111, 1078359574u, 3199175230u, 1067524560u, 0, ATANF_TOLERANCE, 0}, {1112, 1029557624u, 3302959071u, 1029543441u, 0, ATANF_TOLERANCE, 0}, {1113, 1207675424u, 3042692550u, 1070141338u, 0, ATANF_TOLERANCE, 0}, {1114, 1028355074u, 3442294040u, 1028344125u, 0, ATANF_TOLERANCE, 0}, {1115, 3119299090u, 1187096397u, 3119299089u, 0, ATANF_TOLERANCE, 0}, {1116, 1248421894u, 3367769132u, 1070141400u, 0, ATANF_TOLERANCE, 0}, {1117, 3353251994u, 1095517730u, 3217624977u, 0, ATANF_TOLERANCE, 0}, {1118, 876926659u, 3288089977u, 876926659u, 0, ATANF_TOLERANCE, 0}, {1119, 1076752219u, 876236939u, 1067183758u, 0, ATANF_TOLERANCE, 0}, {1120, 3388531942u, 2988520062u, 3217625047u, 0, ATANF_TOLERANCE, 0}, {1121, 1273395082u, 3031189261u, 1070141402u, 0, ATANF_TOLERANCE, 0}, {1122, 3385588183u, 3258252464u, 3217625046u, 0, ATANF_TOLERANCE, 0}, {1123, 3192315328u, 3289489214u, 3192155091u, 0, ATANF_TOLERANCE, 0}, {1124, 3441804648u, 3274638356u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {1125, 3392827417u, 1277961150u, 3217625048u, 0, ATANF_TOLERANCE, 0}, {1126, 1161241793u, 1328003707u, 1070138540u, 0, ATANF_TOLERANCE, 0}, {1127, 3034494183u, 3041579130u, 3034494183u, 0, ATANF_TOLERANCE, 0}, {1128, 1171318485u, 3374409104u, 1070140148u, 0, ATANF_TOLERANCE, 0}, {1129, 3047748143u, 831102792u, 3047748143u, 0, ATANF_TOLERANCE, 0}, {1130, 1001216371u, 3052357038u, 1001216265u, 0, ATANF_TOLERANCE, 0}, {1131, 912515889u, 1074635609u, 912515889u, 0, ATANF_TOLERANCE, 0}, {1132, 3391452505u, 897989232u, 3217625048u, 0, ATANF_TOLERANCE, 0}, {1133, 3249603369u, 3147662248u, 3217246189u, 0, ATANF_TOLERANCE, 0}, {1134, 1220264047u, 2960450369u, 1070141381u, 0, ATANF_TOLERANCE, 0}, {1135, 3169816394u, 988430929u, 3169811921u, 0, ATANF_TOLERANCE, 0}, {1136, 3098997418u, 3002162688u, 3098997418u, 0, ATANF_TOLERANCE, 0}, {1137, 3282212423u, 3174079140u, 3217599253u, 0, ATANF_TOLERANCE, 0}, {1138, 3352293320u, 3247843425u, 3217624972u, 0, ATANF_TOLERANCE, 0}, {1139, 3296358441u, 875645354u, 3217616677u, 0, ATANF_TOLERANCE, 0}, {1140, 1197828352u, 3245614728u, 1070141260u, 0, ATANF_TOLERANCE, 0}, {1141, 3340510371u, 914930263u, 3217624841u, 0, ATANF_TOLERANCE, 0}, {1142, 1127109339u, 3368125489u, 1070093282u, 0, ATANF_TOLERANCE, 0}, {1143, 909467381u, 1232375752u, 909467381u, 0, ATANF_TOLERANCE, 0}, {1144, 1200599955u, 2981200675u, 1070141289u, 0, ATANF_TOLERANCE, 0}, {1145, 962230977u, 2988248037u, 962230977u, 0, ATANF_TOLERANCE, 0}, {1146, 3192887808u, 3191848339u, 3192705872u, 0, ATANF_TOLERANCE, 0}, {1147, 3237183876u, 3179379969u, 3216528954u, 0, ATANF_TOLERANCE, 0}, {1148, 939285924u, 3056079386u, 939285924u, 0, ATANF_TOLERANCE, 0}, {1149, 944050180u, 3452557879u, 944050180u, 0, ATANF_TOLERANCE, 0}, {1150, 3058135703u, 3090284601u, 3058135703u, 0, ATANF_TOLERANCE, 0}, {1151, 3480592662u, 3261728191u, 3217625051u, 0, ATANF_TOLERANCE, 0}, {1152, 3061939312u, 3274418540u, 3061939312u, 0, ATANF_TOLERANCE, 0}, {1153, 1003299981u, 853295521u, 1003299805u, 0, ATANF_TOLERANCE, 0}, {1154, 1155775526u, 1255814444u, 1070136798u, 0, ATANF_TOLERANCE, 0}, {1155, 1234491880u, 3408568717u, 1070141396u, 0, ATANF_TOLERANCE, 0} // AUTOMATICALLY GENERATED VECTORS STOP }; #endif // CYGONCE_LIBM_ATANF_H multiple inclusion protection // EOF atanf.h