Subversion Repositories openrisc

#ifndef CYGONCE_LIBM_EXP_H

#define CYGONCE_LIBM_EXP_H

//===========================================================================

//

//      exp.h

//

//      Test vectors for testing of exp() math library function

//

//===========================================================================

//####ECOSGPLCOPYRIGHTBEGIN####

// -------------------------------------------

// This file is part of eCos, the Embedded Configurable Operating System.

// Copyright (C) 1998, 1999, 2000, 2001, 2002 Red Hat, 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.,

// 59 Temple Place, Suite 330, Boston, MA 02111-1307 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.

//

// This exception does not invalidate any other reasons why a work based on

// this file might be covered by the GNU General Public License.

//

// Alternative licenses for eCos may be arranged by contacting Red Hat, Inc.

// at http://sources.redhat.com/ecos/ecos-license/

// -------------------------------------------

//####ECOSGPLCOPYRIGHTEND####

//===========================================================================

//#####DESCRIPTIONBEGIN####

//

// Author(s):   jlarmour

// Contributors:  jlarmour

// Date:        1998-02-13

// Purpose:     

// Description: 

// Usage:       #include "vectors/exp.h"

//

//####DESCRIPTIONEND####

//

//===========================================================================

// CONFIGURATION

#include <pkgconf/libm.h>   // Configuration header

// INCLUDES

#include <cyg/infra/cyg_type.h>    // Common type definitions and support

#include "vectors/vector_support.h"// extra support for math tests

#define EXP_TOLERANCE 1.0E-04

static const Cyg_libm_test_double_vec_t exp_vec[] = {

// AUTOMATICALLY GENERATED VECTORS START

{ 1, 1074853420u, 2506787616u, 1090024059u, 3619148316u, 1079073766u, 1147571106u, 0, EXP_TOLERANCE, 0},

{ 2, 3220250806u, 3176730980u, 1051524793u, 2993920299u, 1070985501u, 3667586384u, 0, EXP_TOLERANCE, 0},

{ 3, 3226028315u, 2725707538u, 3232101343u, 2346810316u, 996177609u, 2816512701u, 0, EXP_TOLERANCE, 0},

{ 4, 1078922874u, 2088062470u, 3201242716u, 420891118u, 1166568645u, 2120331304u, 0, EXP_TOLERANCE, 0},

{ 5, 3221200677u, 2636405208u, 1100049309u, 471635570u, 1069661382u, 4196142410u, 0, EXP_TOLERANCE, 0},

{ 6, 1077828855u, 1746012320u, 1054478713u, 3333988501u, 1118565158u, 699114409u, 0, EXP_TOLERANCE, 0},

{ 7, 1066827528u, 183014794u, 3202039382u, 2016785810u, 1072716539u, 123580646u, 0, EXP_TOLERANCE, 0},

{ 8, 3219777490u, 2688957927u, 1046089230u, 2709029994u, 1071414232u, 1149200657u, 0, EXP_TOLERANCE, 0},

{ 9, 1070330066u, 624574473u, 1045840574u, 3473266330u, 1072949041u, 2377226642u, 0, EXP_TOLERANCE, 0},

{ 10, 3217502754u, 1605286142u, 1068931671u, 4233776869u, 1072345653u, 1083445165u, 0, EXP_TOLERANCE, 0},

{ 11, 1069780594u, 1857607719u, 3222889559u, 3417070006u, 1072866340u, 2899880271u, 0, EXP_TOLERANCE, 0},

{ 12, 1081579891u, 3981151660u, 1088899021u, 1332651746u, 1643831522u, 1345086100u, 0, EXP_TOLERANCE, 0},

{ 13, 1075860838u, 3824988054u, 1066856791u, 2070129652u, 1084982301u, 1912337979u, 0, EXP_TOLERANCE, 0},

{ 14, 3218045550u, 1372884064u, 1080833116u, 3229926662u, 1072236030u, 3106255365u, 0, EXP_TOLERANCE, 0},

{ 15, 1078097861u, 3217805330u, 3191644264u, 2014578707u, 1128498553u, 1807458751u, 0, EXP_TOLERANCE, 0},

{ 16, 1080267391u, 265058758u, 3239903247u, 1630600647u, 1309523294u, 1523986687u, 0, EXP_TOLERANCE, 0},

{ 17, 1073221381u, 1946677669u, 3198462609u, 926009897u, 1074920988u, 1465131398u, 0, EXP_TOLERANCE, 0},

{ 18, 1073178875u, 2271884183u, 3203741999u, 2118617783u, 1074874144u, 2764688608u, 0, EXP_TOLERANCE, 0},

{ 19, 3214772053u, 213658772u, 3249401130u, 314151656u, 1072633636u, 4130392148u, 0, EXP_TOLERANCE, 0},

{ 20, 3228946464u, 1564829925u, 3197817016u, 497230814u, 544633027u, 34803168u, 0, EXP_TOLERANCE, 0},

{ 21, 3219408362u, 2075329122u, 3231746400u, 169900577u, 1071709080u, 4184140427u, 0, EXP_TOLERANCE, 0},

{ 22, 1067674434u, 541549344u, 1096608669u, 3119070100u, 1072733781u, 3804791293u, 0, EXP_TOLERANCE, 0},

{ 23, 1075989871u, 567496114u, 1045286891u, 1969998540u, 1086482701u, 3180352384u, 0, EXP_TOLERANCE, 0},

{ 24, 1069985379u, 1299369769u, 1049342524u, 4167404066u, 1072896531u, 1629596946u, 0, EXP_TOLERANCE, 0},

{ 25, 3218302829u, 3348930841u, 1078472138u, 358457347u, 1072144759u, 3067143552u, 0, EXP_TOLERANCE, 0},

{ 26, 1073166449u, 2192461366u, 1099527247u, 3184735642u, 1074860805u, 1775317488u, 0, EXP_TOLERANCE, 0},

{ 27, 1068590412u, 331696577u, 3189610016u, 793242270u, 1072766977u, 1780216299u, 0, EXP_TOLERANCE, 0},

{ 28, 3229460262u, 2322696981u, 1083791358u, 3020766674u, 354871428u, 1974410974u, 0, EXP_TOLERANCE, 0},

{ 29, 1066922273u, 252085215u, 3214426435u, 4139068910u, 1072718053u, 1593026232u, 0, EXP_TOLERANCE, 0},

{ 30, 3221457149u, 105589263u, 1056316170u, 261630827u, 1068909924u, 4008856079u, 0, EXP_TOLERANCE, 0},

{ 31, 1082047584u, 428765703u, 3251828686u, 2009972239u, 1816546673u, 3462966019u, 0, EXP_TOLERANCE, 0},

{ 32, 1079693651u, 3517376586u, 3240257920u, 3304487302u, 1234899857u, 1250614638u, 0, EXP_TOLERANCE, 0},

{ 33, 3224100728u, 237004814u, 3237899261u, 3364008659u, 1051573078u, 1250441695u, 0, EXP_TOLERANCE, 0},

{ 34, 3214121920u, 472004928u, 3226869477u, 1186387580u, 1072653472u, 186620643u, 0, EXP_TOLERANCE, 0},

{ 35, 1068906914u, 4085763910u, 1106394906u, 2684738273u, 1072788350u, 3104710386u, 0, EXP_TOLERANCE, 0},

{ 36, 1069636551u, 2055490142u, 3231581370u, 3879040079u, 1072845542u, 714008610u, 0, EXP_TOLERANCE, 0},

{ 37, 3213093895u, 3725731239u, 1061652681u, 591292963u, 1072672946u, 3339751925u, 0, EXP_TOLERANCE, 0},

{ 38, 3221869253u, 1147041027u, 3215417793u, 624695933u, 1067731891u, 1490517545u, 0, EXP_TOLERANCE, 0},

{ 39, 3217587110u, 705725219u, 3238067573u, 1116238321u, 1072328147u, 3778478168u, 0, EXP_TOLERANCE, 0},

{ 40, 3217852848u, 7287411u, 1045917232u, 116067742u, 1072274139u, 800660017u, 0, EXP_TOLERANCE, 0},

{ 41, 3226423734u, 3604989074u, 1066381836u, 545298780u, 977849136u, 1417268874u, 0, EXP_TOLERANCE, 0},

{ 42, 3221178088u, 1681476121u, 1060345752u, 3553822398u, 1069686696u, 3471070187u, 0, EXP_TOLERANCE, 0},

{ 43, 1080811562u, 3410480388u, 1052460275u, 1660607230u, 1409975006u, 2715754844u, 0, EXP_TOLERANCE, 0},

{ 44, 1077682533u, 1494984673u, 3196647153u, 287894723u, 1115159161u, 2741076212u, 0, EXP_TOLERANCE, 0},

{ 45, 1068516615u, 644548665u, 1081948134u, 2442134629u, 1072762051u, 2743261701u, 0, EXP_TOLERANCE, 0},

{ 46, 1077068335u, 2312530895u, 3221584595u, 3379665576u, 1101051489u, 3357999194u, 0, EXP_TOLERANCE, 0},

{ 47, 1079308159u, 3018463866u, 1086226574u, 404012923u, 1199317798u, 2905917257u, 0, EXP_TOLERANCE, 0},

{ 48, 1071024755u, 1710279345u, 3251401196u, 3528946000u, 1073135949u, 3958225700u, 0, EXP_TOLERANCE, 0},

{ 49, 1070973535u, 2164450219u, 1083520023u, 3312018966u, 1073117849u, 2216238713u, 0, EXP_TOLERANCE, 0},

{ 50, 1069831588u, 2648986431u, 1050330591u, 1474376550u, 1072873789u, 3409301846u, 0, EXP_TOLERANCE, 0},

{ 51, 3214344972u, 1839068700u, 1077406406u, 3013052171u, 1072646645u, 923270809u, 0, EXP_TOLERANCE, 0},

{ 52, 1066416574u, 772102380u, 3220729740u, 4219039958u, 1072709995u, 1305461407u, 0, EXP_TOLERANCE, 0},

{ 53, 3223180765u, 3058618779u, 1046304788u, 3338676024u, 1061347966u, 1072422663u, 0, EXP_TOLERANCE, 0},

{ 54, 1067949353u, 506286854u, 1094907481u, 2217000199u, 1072742741u, 3706634962u, 0, EXP_TOLERANCE, 0},

{ 55, 1076136854u, 1147428263u, 1065432625u, 3034786717u, 1088176249u, 1631281700u, 0, EXP_TOLERANCE, 0},

{ 56, 1075725296u, 2844125311u, 1082985198u, 2561492677u, 1084108872u, 2831233524u, 0, EXP_TOLERANCE, 0},

{ 57, 3218876948u, 704542600u, 3222902057u, 2762779203u, 1071946646u, 190610401u, 0, EXP_TOLERANCE, 0},

{ 58, 3215409254u, 184131949u, 3249723525u, 1667366082u, 1072600139u, 3411518971u, 0, EXP_TOLERANCE, 0},

{ 59, 3221512446u, 3904224140u, 1067056698u, 2942159914u, 1068763822u, 1503414230u, 0, EXP_TOLERANCE, 0},

{ 60, 1080713919u, 426114282u, 3209056785u, 1083606355u, 1391928446u, 3657642479u, 0, EXP_TOLERANCE, 0},

{ 61, 1082048697u, 3774123863u, 1106787580u, 2722107965u, 1817003400u, 2241806278u, 0, EXP_TOLERANCE, 0},

{ 62, 1077519332u, 1377734762u, 1104232051u, 2377063483u, 1111477508u, 844049504u, 0, EXP_TOLERANCE, 0},

{ 63, 1072526287u, 1029739074u, 1105467109u, 3062201018u, 1074009347u, 4070953358u, 0, EXP_TOLERANCE, 0},

{ 64, 3225304413u, 773857656u, 3214251949u, 335833884u, 1026865589u, 4235967790u, 0, EXP_TOLERANCE, 0},

{ 65, 3216856098u, 1473865960u, 1103073830u, 4000427507u, 1072466239u, 2409423530u, 0, EXP_TOLERANCE, 0},

{ 66, 1081165135u, 4242092620u, 1067009473u, 14539161u, 1490638029u, 1225921132u, 0, EXP_TOLERANCE, 0},

{ 67, 3214536170u, 1732245037u, 1101371955u, 1533536108u, 1072640811u, 1577960147u, 0, EXP_TOLERANCE, 0},

{ 68, 3228182475u, 1833841275u, 1099430098u, 4144145552u, 756118454u, 4124162837u, 0, EXP_TOLERANCE, 0},

{ 69, 3227493247u, 935007012u, 3188865420u, 604442938u, 881158424u, 3059390833u, 0, EXP_TOLERANCE, 0},

{ 70, 3217389013u, 2211464602u, 1046255144u, 1635910526u, 1072369536u, 4272624615u, 0, EXP_TOLERANCE, 0},

{ 71, 1074725689u, 2549219008u, 3231633258u, 3733639385u, 1078468890u, 3538652097u, 0, EXP_TOLERANCE, 0},

{ 72, 1075803633u, 1819374372u, 3202219056u, 2617077637u, 1084512755u, 3226299243u, 0, EXP_TOLERANCE, 0},

{ 73, 1078616640u, 546465680u, 1048653554u, 532401530u, 1152481934u, 1660202510u, 0, EXP_TOLERANCE, 0},

{ 74, 1066591187u, 2759019783u, 3221570188u, 3554409630u, 1072712770u, 3539689839u, 0, EXP_TOLERANCE, 0},

{ 75, 3219222738u, 2527221960u, 1099107978u, 2696971136u, 1071812085u, 1070446248u, 0, EXP_TOLERANCE, 0},

{ 76, 1079332208u, 173134582u, 1087299442u, 2877794600u, 1201571530u, 2450291402u, 0, EXP_TOLERANCE, 0},

{ 77, 1076963290u, 547642046u, 3197285510u, 3521286127u, 1098574476u, 1604458491u, 0, EXP_TOLERANCE, 0},

{ 78, 1073812126u, 1231582831u, 1090971734u, 1653446832u, 1075897874u, 3499443040u, 0, EXP_TOLERANCE, 0},

{ 79, 1070779719u, 3762182190u, 3252967851u, 2615360375u, 1073051323u, 4198562047u, 0, EXP_TOLERANCE, 0},

{ 80, 3216563063u, 2588067350u, 3206610957u, 3551059728u, 1072499190u, 3656398129u, 0, EXP_TOLERANCE, 0},

{ 81, 3217464616u, 845263327u, 1073415902u, 1749010288u, 1072353625u, 2543242068u, 0, EXP_TOLERANCE, 0},

{ 82, 3217110706u, 3092685191u, 3190678390u, 2872219490u, 1072429360u, 3896037664u, 0, EXP_TOLERANCE, 0},

{ 83, 3220412207u, 4107255722u, 3205337291u, 3069068345u, 1070780355u, 264836658u, 0, EXP_TOLERANCE, 0},

{ 84, 3227213641u, 2294867524u, 3216653996u, 2860384670u, 907048437u, 551868093u, 0, EXP_TOLERANCE, 0},

{ 85, 3214297870u, 2265437201u, 3240198679u, 1234948614u, 1072648084u, 4060123138u, 0, EXP_TOLERANCE, 0},

{ 86, 3219505657u, 1186945904u, 3251167793u, 1896750851u, 1071658624u, 3764186265u, 0, EXP_TOLERANCE, 0},

{ 87, 1075284022u, 3686084548u, 1079286273u, 3309277689u, 1081503302u, 60883681u, 0, EXP_TOLERANCE, 0},

{ 88, 3221379088u, 3006860614u, 3231412671u, 2504194724u, 1069144247u, 54379178u, 0, EXP_TOLERANCE, 0},

{ 89, 3224614924u, 1948717780u, 1048317852u, 3791803982u, 1042772858u, 2420958386u, 0, EXP_TOLERANCE, 0},

{ 90, 1070636471u, 4272034420u, 3192982124u, 1526175922u, 1073004093u, 3308824510u, 0, EXP_TOLERANCE, 0},

{ 91, 3226943458u, 4108948538u, 1104691287u, 640541190u, 931953430u, 3437532117u, 0, EXP_TOLERANCE, 0},

{ 92, 3217743177u, 3259274853u, 1082507103u, 3677038020u, 1072296221u, 2033726093u, 0, EXP_TOLERANCE, 0},

{ 93, 1076841042u, 3781708548u, 1096584871u, 1207386447u, 1096271275u, 77258u, 0, EXP_TOLERANCE, 0},

{ 94, 3213861096u, 3011191657u, 1103798670u, 1096124830u, 1072661109u, 742458517u, 0, EXP_TOLERANCE, 0},

{ 95, 1071623631u, 2540404725u, 3240157452u, 4122845725u, 1073364830u, 3560000573u, 0, EXP_TOLERANCE, 0},

{ 96, 1076303678u, 311336721u, 3214382367u, 4212533768u, 1090074692u, 2663913965u, 0, EXP_TOLERANCE, 0},

{ 97, 1067916643u, 1769686293u, 3240200923u, 3538602249u, 1072741671u, 4116363241u, 0, EXP_TOLERANCE, 0},

{ 98, 1075081821u, 508056696u, 1103793878u, 776520138u, 1080344162u, 242331594u, 0, EXP_TOLERANCE, 0},

{ 99, 1080890481u, 4064962760u, 1077424413u, 819766631u, 1424537001u, 3317334315u, 0, EXP_TOLERANCE, 0},

{ 100, 1074178362u, 2112385259u, 3227593179u, 1187058516u, 1076952439u, 2142218601u, 0, EXP_TOLERANCE, 0},

{ 101, 1076003603u, 2514398118u, 1076579751u, 870169764u, 1086615970u, 3988144815u, 0, EXP_TOLERANCE, 0},

{ 102, 3227977024u, 1190259653u, 1069112254u, 3417249840u, 794021017u, 2254415465u, 0, EXP_TOLERANCE, 0},

{ 103, 3214634603u, 3467757357u, 3215075200u, 2168175352u, 1072637814u, 1866384359u, 0, EXP_TOLERANCE, 0},

{ 104, 3226011647u, 1508888184u, 1060430241u, 3524949092u, 996893071u, 1032082419u, 0, EXP_TOLERANCE, 0},

{ 105, 3215238675u, 166402802u, 3237198975u, 3572369260u, 1072610353u, 2543405344u, 0, EXP_TOLERANCE, 0},

{ 106, 1075575366u, 2441536203u, 3202753937u, 3658194573u, 1083247124u, 1565872384u, 0, EXP_TOLERANCE, 0},

{ 107, 1070781516u, 2479742828u, 1062342831u, 4214154303u, 1073051926u, 2877262325u, 0, EXP_TOLERANCE, 0},

{ 108, 1076105338u, 426896765u, 1066474375u, 2201754442u, 1087780533u, 3456888252u, 0, EXP_TOLERANCE, 0},

{ 109, 3214503389u, 2055773734u, 3239267288u, 291396537u, 1072641810u, 1723790219u, 0, EXP_TOLERANCE, 0},

{ 110, 3224385121u, 874125203u, 3210508124u, 4091098764u, 1048079713u, 3922271118u, 0, EXP_TOLERANCE, 0},

{ 111, 1072007482u, 120488169u, 3241241441u, 1985269424u, 1073699997u, 3263405331u, 0, EXP_TOLERANCE, 0},

{ 112, 3218073746u, 2243036871u, 3243941101u, 740033495u, 1072230527u, 3210238367u, 0, EXP_TOLERANCE, 0},

{ 113, 3218862090u, 1176656356u, 1074261978u, 3588756231u, 1071951438u, 3060660754u, 0, EXP_TOLERANCE, 0},

{ 114, 3228699543u, 3037249392u, 1061635587u, 1173102190u, 635829382u, 979909056u, 0, EXP_TOLERANCE, 0},

{ 115, 3224626669u, 2882725208u, 1071440059u, 69225090u, 1042520691u, 1843293285u, 0, EXP_TOLERANCE, 0},

{ 116, 3218954930u, 272319256u, 1072073912u, 2493997123u, 1071921768u, 657202412u, 0, EXP_TOLERANCE, 0},

{ 117, 1070303098u, 188610379u, 3232757923u, 2209647371u, 1072944854u, 4022783570u, 0, EXP_TOLERANCE, 0},

{ 118, 3225224181u, 1990439193u, 1078073146u, 622849962u, 1028759537u, 3564758723u, 0, EXP_TOLERANCE, 0},

{ 119, 1069718653u, 756052458u, 1081649113u, 2247475162u, 1072857353u, 554847761u, 0, EXP_TOLERANCE, 0},

{ 120, 1071060248u, 3878055211u, 3222407050u, 2979438623u, 1073148623u, 540184608u, 0, EXP_TOLERANCE, 0},

{ 121, 3214165365u, 2676398686u, 1105124431u, 3631096636u, 1072652140u, 2373850172u, 0, EXP_TOLERANCE, 0},

{ 122, 1071370846u, 1697791764u, 3198136112u, 2299842819u, 1073264221u, 1573541634u, 0, EXP_TOLERANCE, 0},

{ 123, 1074939040u, 1931502677u, 3215264397u, 3016456382u, 1079513197u, 1530595558u, 0, EXP_TOLERANCE, 0},

{ 124, 1073302002u, 343404215u, 1061072607u, 4266232536u, 1075015225u, 3004108006u, 0, EXP_TOLERANCE, 0},

{ 125, 3225502196u, 4140316002u, 1082896196u, 868256971u, 1020424521u, 3460157795u, 0, EXP_TOLERANCE, 0},

{ 126, 1074374234u, 1864139509u, 3187675097u, 3084482407u, 1077456782u, 4150857240u, 0, EXP_TOLERANCE, 0},

{ 127, 3220191323u, 2427162817u, 3234748208u, 2715105792u, 1071069433u, 783584364u, 0, EXP_TOLERANCE, 0},

{ 128, 1070891968u, 3943389284u, 1046724025u, 3626825684u, 1073089477u, 1797152336u, 0, EXP_TOLERANCE, 0},

{ 129, 1067443098u, 967350972u, 1093012318u, 448002663u, 1072726416u, 797307317u, 0, EXP_TOLERANCE, 0},

{ 130, 3228777187u, 105058217u, 1069733884u, 171786224u, 607209346u, 771064197u, 0, EXP_TOLERANCE, 0},

{ 131, 3213731756u, 2863482262u, 3204997271u, 877784425u, 1072663100u, 426007619u, 0, EXP_TOLERANCE, 0},

{ 132, 3216260801u, 2801782962u, 3213604117u, 762347195u, 1072533788u, 600737923u, 0, EXP_TOLERANCE, 0},

{ 133, 3224049543u, 2317950339u, 3246333414u, 2135700283u, 1052112831u, 3287040885u, 0, EXP_TOLERANCE, 0},

{ 134, 1069099309u, 4171919805u, 1082858682u, 2180920863u, 1072801541u, 2165096902u, 0, EXP_TOLERANCE, 0},

{ 135, 3221197660u, 1918836931u, 1083603224u, 3137821660u, 1069664732u, 2532148552u, 0, EXP_TOLERANCE, 0},

{ 136, 1081882778u, 3456203663u, 3235600523u, 2335688936u, 1755681633u, 4057860990u, 0, EXP_TOLERANCE, 0},

{ 137, 1066396570u, 4170235262u, 1051824459u, 521583737u, 1072709719u, 1024167559u, 0, EXP_TOLERANCE, 0},

{ 138, 1075056847u, 1296623194u, 3250673860u, 2442872540u, 1080220627u, 2781106181u, 0, EXP_TOLERANCE, 0},

{ 139, 1071121461u, 289979405u, 1049514449u, 3865737145u, 1073170732u, 3903607776u, 0, EXP_TOLERANCE, 0},

{ 140, 1074250368u, 3699090239u, 1054539840u, 3259249360u, 1077116363u, 502955531u, 0, EXP_TOLERANCE, 0},

{ 141, 1079640884u, 1619819023u, 1045993352u, 1022642459u, 1230064705u, 1444182022u, 0, EXP_TOLERANCE, 0},

{ 142, 1075141548u, 19455098u, 3229182089u, 2096003654u, 1080692026u, 447080049u, 0, EXP_TOLERANCE, 0},

{ 143, 1074200784u, 3803689997u, 1071630912u, 2263729518u, 1077001092u, 1334450617u, 0, EXP_TOLERANCE, 0},

{ 144, 1080385741u, 2816837387u, 1063422305u, 2597606398u, 1331342121u, 1095829056u, 0, EXP_TOLERANCE, 0},

{ 145, 1072245897u, 3680967506u, 1040201163u, 179224723u, 1073844641u, 930186774u, 0, EXP_TOLERANCE, 0},

{ 146, 3213795591u, 978126928u, 1101553990u, 4047893399u, 1072662117u, 1101190271u, 0, EXP_TOLERANCE, 0},

{ 147, 3221273469u, 4059818629u, 1042678728u, 3640293589u, 1069522282u, 1267895499u, 0, EXP_TOLERANCE, 0},

{ 148, 3228541096u, 3383497159u, 1070002807u, 1527313008u, 689917614u, 1535716049u, 0, EXP_TOLERANCE, 0},

{ 149, 3216339167u, 2599946514u, 1104170406u, 2738675352u, 1072524758u, 1435148139u, 0, EXP_TOLERANCE, 0},

{ 150, 1081115375u, 3616571377u, 1060859316u, 1130603218u, 1472304603u, 3187069287u, 0, EXP_TOLERANCE, 0},

{ 151, 1073931644u, 3859211180u, 1067940450u, 1744531824u, 1076181432u, 1345205949u, 0, EXP_TOLERANCE, 0},

{ 152, 1065900012u, 1958025850u, 3236511256u, 2472176453u, 1072705786u, 932607201u, 0, EXP_TOLERANCE, 0},

{ 153, 3223669905u, 182132862u, 3250520938u, 3924356991u, 1056496908u, 661218322u, 0, EXP_TOLERANCE, 0},

{ 154, 3224210428u, 35632886u, 3209806504u, 1453402523u, 1050263526u, 3107753313u, 0, EXP_TOLERANCE, 0},

{ 155, 1076182070u, 743225214u, 3202890678u, 142917400u, 1088680431u, 3782028986u, 0, EXP_TOLERANCE, 0},

{ 156, 1075442096u, 1472665012u, 3203138231u, 256588219u, 1082425160u, 2507283120u, 0, EXP_TOLERANCE, 0},

{ 157, 1079253522u, 1062927000u, 1061134072u, 931677439u, 1194330468u, 3538812810u, 0, EXP_TOLERANCE, 0},

{ 158, 1069912068u, 2320910576u, 1055663370u, 288059864u, 1072885638u, 2756379436u, 0, EXP_TOLERANCE, 0},

{ 159, 1075812365u, 1448349062u, 3199478070u, 3454027134u, 1084557930u, 2428474527u, 0, EXP_TOLERANCE, 0},

{ 160, 3224875886u, 4215445172u, 3196654963u, 2231888973u, 1036778828u, 4095096416u, 0, EXP_TOLERANCE, 0},

{ 161, 3227757863u, 40413554u, 3232578253u, 983832844u, 834531371u, 1749210300u, 0, EXP_TOLERANCE, 0},

{ 162, 3221624382u, 3995725873u, 1050082319u, 777231627u, 1068511312u, 2187487459u, 0, EXP_TOLERANCE, 0},

{ 163, 1066152450u, 672789828u, 3253385962u, 2982787335u, 1072707783u, 3636282767u, 0, EXP_TOLERANCE, 0},

{ 164, 1072585179u, 2075971825u, 1070166500u, 4034633931u, 1074046830u, 2188206437u, 0, EXP_TOLERANCE, 0},

{ 165, 3218434785u, 1018222907u, 3244621407u, 3090050495u, 1072096796u, 906290978u, 0, EXP_TOLERANCE, 0},

{ 166, 1071875189u, 937732557u, 3200798890u, 2557898276u, 1073574348u, 956132579u, 0, EXP_TOLERANCE, 0},

{ 167, 1075196588u, 130346162u, 3223590310u, 275568693u, 1081086381u, 3765310085u, 0, EXP_TOLERANCE, 0},

{ 168, 1065967541u, 3807416441u, 1075961161u, 3706820266u, 1072706320u, 1003056074u, 0, EXP_TOLERANCE, 0},

{ 169, 3219244733u, 1710131411u, 1078123323u, 1900790503u, 1071799398u, 2869753911u, 0, EXP_TOLERANCE, 0},

{ 170, 3226236449u, 3420420033u, 3210844787u, 588423066u, 986539436u, 3295138570u, 0, EXP_TOLERANCE, 0},

{ 171, 1067509906u, 1160162008u, 3246307879u, 4265764460u, 1072728454u, 3054362979u, 0, EXP_TOLERANCE, 0},

{ 172, 1080523338u, 366653268u, 3188814424u, 466059202u, 1356813060u, 760636581u, 0, EXP_TOLERANCE, 0},

{ 173, 3222433435u, 1325936170u, 3221436876u, 680097612u, 1065643005u, 1532992433u, 0, EXP_TOLERANCE, 0},

{ 174, 3225711052u, 1827735934u, 3200554324u, 2875599271u, 1010834241u, 3777705215u, 0, EXP_TOLERANCE, 0},

{ 175, 3213050498u, 3117037091u, 3239246636u, 15838845u, 1072673618u, 1728450485u, 0, EXP_TOLERANCE, 0},

{ 176, 1067702644u, 749718883u, 3223587064u, 1523766569u, 1072734697u, 3920212286u, 0, EXP_TOLERANCE, 0},

{ 177, 1066853747u, 1966536294u, 3250158026u, 699164258u, 1072716957u, 3817171147u, 0, EXP_TOLERANCE, 0},

{ 178, 1079174067u, 3759049394u, 1106085272u, 1183789499u, 1186993088u, 3807740687u, 0, EXP_TOLERANCE, 0},

{ 179, 1074910167u, 1970107747u, 1095245453u, 2308233883u, 1079348720u, 1531523305u, 0, EXP_TOLERANCE, 0},

{ 180, 1076367836u, 1491017852u, 1041444355u, 1723375725u, 1090818724u, 2037541645u, 0, EXP_TOLERANCE, 0},

{ 181, 3219775798u, 1141349287u, 1097465301u, 3403438584u, 1071415739u, 1183515418u, 0, EXP_TOLERANCE, 0},

{ 182, 3224280452u, 1711085243u, 3250239076u, 1377484108u, 1049505584u, 2904152696u, 0, EXP_TOLERANCE, 0},

{ 183, 1079510651u, 2880275004u, 1084039594u, 1611394950u, 1217987707u, 2867297031u, 0, EXP_TOLERANCE, 0},

{ 184, 3224784251u, 2626629370u, 1063771493u, 1499080813u, 1038898033u, 1353327733u, 0, EXP_TOLERANCE, 0},

{ 185, 1068862751u, 3936262414u, 1103919063u, 3175668759u, 1072785344u, 648861936u, 0, EXP_TOLERANCE, 0},

{ 186, 3217418903u, 1270950554u, 3194616071u, 3680565379u, 1072363229u, 951093660u, 0, EXP_TOLERANCE, 0},

{ 187, 3217585407u, 1066985223u, 3221613219u, 4089383168u, 1072328499u, 2267080590u, 0, EXP_TOLERANCE, 0},

{ 188, 3220204567u, 4017329311u, 3208334452u, 1667591498u, 1071050331u, 296637723u, 0, EXP_TOLERANCE, 0},

{ 189, 1077678397u, 3154656624u, 1061894279u, 3886344038u, 1115063060u, 1143078455u, 0, EXP_TOLERANCE, 0},

{ 190, 1068478737u, 977586119u, 3209762784u, 953839852u, 1072760203u, 1532008227u, 0, EXP_TOLERANCE, 0},

{ 191, 1081896575u, 143071571u, 3206165386u, 913097445u, 1760793137u, 1725664653u, 0, EXP_TOLERANCE, 0},

{ 192, 3213634128u, 1371169579u, 1057079837u, 2594818628u, 1072664604u, 686553362u, 0, EXP_TOLERANCE, 0},

{ 193, 3228724664u, 2259342224u, 3217432469u, 1824221478u, 626552221u, 555843157u, 0, EXP_TOLERANCE, 0},

{ 194, 3227960407u, 1576604497u, 1079368611u, 185078728u, 797102216u, 2312754753u, 0, EXP_TOLERANCE, 0},

{ 195, 3221679427u, 444800035u, 3243343143u, 1734989302u, 1068312202u, 3537952111u, 0, EXP_TOLERANCE, 0},

{ 196, 1072748883u, 130452005u, 1041548088u, 2158433515u, 1074196068u, 1478831994u, 0, EXP_TOLERANCE, 0},

{ 197, 3225258784u, 1941318385u, 1045807374u, 792193370u, 1027918372u, 749451785u, 0, EXP_TOLERANCE, 0},

{ 198, 3225716754u, 1299392207u, 3212131720u, 3205732280u, 1010504056u, 162887831u, 0, EXP_TOLERANCE, 0},

{ 199, 1079824436u, 3035093505u, 1052187689u, 3287702190u, 1246977273u, 3659026689u, 0, EXP_TOLERANCE, 0},

{ 200, 3227801892u, 2160225215u, 1102624859u, 836655570u, 826392674u, 2334422787u, 0, EXP_TOLERANCE, 0},

{ 201, 1079946410u, 3360816360u, 3246176356u, 172860634u, 1258302663u, 595783054u, 0, EXP_TOLERANCE, 0},

{ 202, 1073092940u, 146831910u, 1051558014u, 2340722078u, 1074779693u, 2145151815u, 0, EXP_TOLERANCE, 0},

{ 203, 3224124895u, 1603798153u, 3207725532u, 1099413093u, 1051244985u, 2989707675u, 0, EXP_TOLERANCE, 0},

{ 204, 3227804010u, 2429340443u, 3190303581u, 3223770005u, 825977359u, 2890255810u, 0, EXP_TOLERANCE, 0},

{ 205, 1073785807u, 955542166u, 3230415151u, 275583938u, 1075843652u, 1493078710u, 0, EXP_TOLERANCE, 0},

{ 206, 1078291818u, 513397822u, 1090646554u, 2089321329u, 1137467212u, 351397573u, 0, EXP_TOLERANCE, 0},

{ 207, 3214141396u, 2782073372u, 1046063872u, 4023829068u, 1072652875u, 138208091u, 0, EXP_TOLERANCE, 0},

{ 208, 1079690454u, 3242223094u, 3194111199u, 4264674108u, 1234585286u, 346227329u, 0, EXP_TOLERANCE, 0},

{ 209, 3225927909u, 3506346169u, 1047020885u, 1742757458u, 1000737156u, 928258562u, 0, EXP_TOLERANCE, 0},

{ 210, 3214684573u, 1265459564u, 3193450280u, 3650514880u, 1072636294u, 3135130836u, 0, EXP_TOLERANCE, 0},

{ 211, 1075464434u, 1525260440u, 3235452527u, 2612331392u, 1082544645u, 3469250844u, 0, EXP_TOLERANCE, 0},

{ 212, 3227697400u, 1263613754u, 3219096387u, 635677201u, 845641032u, 2821259135u, 0, EXP_TOLERANCE, 0},

{ 213, 3217806423u, 4140947288u, 3200792376u, 2013265346u, 1072283451u, 2224455623u, 0, EXP_TOLERANCE, 0},

{ 214, 3227954296u, 1912759945u, 3237045253u, 1351396825u, 798217665u, 2086155788u, 0, EXP_TOLERANCE, 0},

{ 215, 3228282218u, 1001433078u, 3206926643u, 2741676659u, 737645798u, 2489257394u, 0, EXP_TOLERANCE, 0},

{ 216, 1075680726u, 1088945233u, 1085095743u, 3986114865u, 1083799535u, 115784002u, 0, EXP_TOLERANCE, 0},

{ 217, 3219928361u, 831239754u, 1099828675u, 3071308141u, 1071284656u, 1977716179u, 0, EXP_TOLERANCE, 0},

{ 218, 3222688769u, 3473592372u, 1102759382u, 1309576357u, 1064228744u, 3715932954u, 0, EXP_TOLERANCE, 0},

{ 219, 3229166610u, 2042340367u, 1091945628u, 2062772374u, 463396439u, 3913343620u, 0, EXP_TOLERANCE, 0},

{ 220, 3214688631u, 1840632537u, 1096533424u, 807510337u, 1072636171u, 1550550553u, 0, EXP_TOLERANCE, 0},

{ 221, 3224111690u, 144814872u, 3212698915u, 2282965697u, 1051416747u, 218973180u, 0, EXP_TOLERANCE, 0},

{ 222, 1073333582u, 2552499583u, 3229111426u, 1470130815u, 1075054160u, 3344155594u, 0, EXP_TOLERANCE, 0},

{ 223, 3227364425u, 2858583811u, 1089760910u, 6360994u, 893069846u, 2777198087u, 0, EXP_TOLERANCE, 0},

{ 224, 3215042145u, 1614537194u, 1075198900u, 4088705365u, 1072622185u, 3424131072u, 0, EXP_TOLERANCE, 0},

{ 225, 3228918974u, 3545570051u, 1065221325u, 1629217700u, 554828172u, 1332220829u, 0, EXP_TOLERANCE, 0},

{ 226, 1072744324u, 1813392963u, 3235313361u, 3772501596u, 1074189549u, 528208211u, 0, EXP_TOLERANCE, 0},

{ 227, 3215677054u, 2406734491u, 1042055360u, 89226663u, 1072584209u, 97402367u, 0, EXP_TOLERANCE, 0},

{ 228, 3214625449u, 1618759139u, 3194723421u, 3888234802u, 1072638092u, 4156317286u, 0, EXP_TOLERANCE, 0},

{ 229, 1068988736u, 3590035633u, 3212424262u, 2892456615u, 1072793942u, 113645931u, 0, EXP_TOLERANCE, 0},

{ 230, 3213011732u, 2431246964u, 3241512456u, 183850734u, 1072674218u, 2322381535u, 0, EXP_TOLERANCE, 0},

{ 231, 1076918189u, 3088319870u, 3211544311u, 862225364u, 1097534688u, 1720101583u, 0, EXP_TOLERANCE, 0},

{ 232, 3224808904u, 3495352775u, 1058576726u, 596957268u, 1038316024u, 2704436146u, 0, EXP_TOLERANCE, 0},

{ 233, 1066476292u, 1839214511u, 3205004060u, 1923240983u, 1072710943u, 3120088286u, 0, EXP_TOLERANCE, 0},

{ 234, 1069608200u, 739619702u, 3223356436u, 2689885273u, 1072841490u, 1671733001u, 0, EXP_TOLERANCE, 0},

{ 235, 3216053611u, 2143376228u, 1098306332u, 3760236188u, 1072557866u, 124949512u, 0, EXP_TOLERANCE, 0},

{ 236, 1074621795u, 671680995u, 1091262633u, 2315535361u, 1078184623u, 1598497576u, 0, EXP_TOLERANCE, 0},

{ 237, 3219408869u, 2493598049u, 3194927008u, 1689107592u, 1071708811u, 3795731906u, 0, EXP_TOLERANCE, 0},

{ 238, 3213058631u, 1578976988u, 1066368383u, 2117279163u, 1072673492u, 2246846524u, 0, EXP_TOLERANCE, 0},

{ 239, 3221939535u, 3425290087u, 1098487295u, 1263412017u, 1067565021u, 2944648507u, 0, EXP_TOLERANCE, 0},

{ 240, 3217869948u, 3635396812u, 1070999426u, 3965655689u, 1072270721u, 3634981027u, 0, EXP_TOLERANCE, 0},

{ 241, 1069633530u, 2183973116u, 1101098363u, 1118613350u, 1072845109u, 3339325204u, 0, EXP_TOLERANCE, 0},

{ 242, 3221946089u, 199516350u, 1078368488u, 164621458u, 1067550572u, 2506509655u, 0, EXP_TOLERANCE, 0},

{ 243, 3212871842u, 3570940805u, 3230316437u, 3596080877u, 1072676385u, 2634172860u, 0, EXP_TOLERANCE, 0},

{ 244, 3217646749u, 980880313u, 1079833442u, 884465057u, 1072315877u, 2036884740u, 0, EXP_TOLERANCE, 0},

{ 245, 1080054180u, 2558179220u, 1052873711u, 1233598120u, 1270109524u, 2524660391u, 0, EXP_TOLERANCE, 0},

{ 246, 1067038165u, 1909994277u, 1085015978u, 2991527452u, 1072719908u, 2697640880u, 0, EXP_TOLERANCE, 0},

{ 247, 1070292444u, 1680290941u, 1074309900u, 2943870846u, 1072943204u, 3151340758u, 0, EXP_TOLERANCE, 0},

{ 248, 1069981892u, 1451927357u, 3228615456u, 1502585517u, 1072896011u, 500177266u, 0, EXP_TOLERANCE, 0},

{ 249, 3224677615u, 751136990u, 3230392165u, 3493275472u, 1041368347u, 2625785490u, 0, EXP_TOLERANCE, 0},

{ 250, 1079491599u, 1209623292u, 3238056647u, 979495322u, 1216301027u, 1345426533u, 0, EXP_TOLERANCE, 0},

{ 251, 3228404200u, 1717672108u, 1048120593u, 531240316u, 715186535u, 1714377665u, 0, EXP_TOLERANCE, 0},

{ 252, 1068854987u, 3548721654u, 1086112947u, 3391817224u, 1072784816u, 1708052498u, 0, EXP_TOLERANCE, 0},

{ 253, 1074691123u, 2758195125u, 1100880260u, 2028440924u, 1078367996u, 3066779734u, 0, EXP_TOLERANCE, 0},

{ 254, 1076883861u, 2750123373u, 3232200256u, 1086294931u, 1096841846u, 788833203u, 0, EXP_TOLERANCE, 0},

{ 255, 1065978768u, 2986160931u, 1076097908u, 2540046258u, 1072706409u, 172413673u, 0, EXP_TOLERANCE, 0},

{ 256, 3224990842u, 451471221u, 1064816262u, 4187644495u, 1034117199u, 2383134537u, 0, EXP_TOLERANCE, 0},

{ 257, 1080585860u, 2439500162u, 1065280276u, 1979490284u, 1368362891u, 4075308906u, 0, EXP_TOLERANCE, 0},

{ 258, 1065581656u, 2283342035u, 1078398157u, 1345997553u, 1072703272u, 1306641747u, 0, EXP_TOLERANCE, 0},

{ 259, 3219540804u, 179066662u, 1103272172u, 1217337578u, 1071637260u, 357090176u, 0, EXP_TOLERANCE, 0},

{ 260, 3218902409u, 3779303391u, 3210023352u, 3115946280u, 1071938472u, 1299997584u, 0, EXP_TOLERANCE, 0},

{ 261, 3213961394u, 286247089u, 1085153597u, 713645369u, 1072658399u, 978675133u, 0, EXP_TOLERANCE, 0},

{ 262, 1077941860u, 1468283899u, 1042831668u, 2022736418u, 1121280747u, 2888650454u, 0, EXP_TOLERANCE, 0},

{ 263, 1076847649u, 3305564080u, 1065483445u, 482392433u, 1096351817u, 3604886221u, 0, EXP_TOLERANCE, 0},

{ 264, 3216375871u, 2256346551u, 3222430705u, 2071674991u, 1072520543u, 2427121917u, 0, EXP_TOLERANCE, 0},

{ 265, 3216607607u, 2295269094u, 1084451053u, 2773103941u, 1072494144u, 3385062574u, 0, EXP_TOLERANCE, 0},

{ 266, 1075028218u, 1482721827u, 1092243422u, 3125409590u, 1080092760u, 3102857585u, 0, EXP_TOLERANCE, 0},

{ 267, 3221065973u, 1381740563u, 1071545057u, 2918235653u, 1069820730u, 3040152884u, 0, EXP_TOLERANCE, 0},

{ 268, 3226133060u, 1105857967u, 3241990046u, 2703723225u, 991268023u, 2258767820u, 0, EXP_TOLERANCE, 0},

{ 269, 1066084243u, 174689677u, 1079333374u, 3947057014u, 1072707243u, 3130733960u, 0, EXP_TOLERANCE, 0},

{ 270, 1077878947u, 2023082423u, 3242081486u, 1169047927u, 1119748901u, 3426525989u, 0, EXP_TOLERANCE, 0},

{ 271, 1070817355u, 3742487766u, 1043425732u, 194972788u, 1073064002u, 3585031582u, 0, EXP_TOLERANCE, 0},

{ 272, 3220083283u, 2136071361u, 3211529757u, 993675115u, 1071160954u, 3515311890u, 0, EXP_TOLERANCE, 0},

{ 273, 3219954837u, 210772141u, 3241441539u, 580731413u, 1071262863u, 2304851028u, 0, EXP_TOLERANCE, 0},