Subversion Repositories openrisc

#ifndef CYGONCE_LIBM_SQRT_H

#define CYGONCE_LIBM_SQRT_H

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

//

//      sqrt.h

//

//      Test vectors for testing of sqrt() 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/sqrt.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 SQRT_TOLERANCE 1.0E-04

static const Cyg_libm_test_double_vec_t sqrt_vec[] = {

// AUTOMATICALLY GENERATED VECTORS START

{ 1, 1077999148u, 2506787616u, 1090024059u, 3619148316u, 1075268646u, 2220766981u, 0, SQRT_TOLERANCE, 0},

{ 2, 1070670006u, 3176730980u, 1051524793u, 2993920299u, 1071680998u, 605508644u, 0, SQRT_TOLERANCE, 0},

{ 3, 1092176155u, 2725707538u, 3232101343u, 2346810316u, 1082400040u, 4277814180u, 0, SQRT_TOLERANCE, 0},

{ 4, 1092554362u, 2088062470u, 3201242716u, 420891118u, 1082542742u, 3537165692u, 0, SQRT_TOLERANCE, 0},

{ 5, 1073717029u, 2636405208u, 1100049309u, 471635570u, 1073118790u, 844009443u, 0, SQRT_TOLERANCE, 0},

{ 6, 1089363191u, 1746012320u, 1054478713u, 3333988501u, 1081027515u, 2938668174u, 0, SQRT_TOLERANCE, 0},

{ 7, 1047953160u, 183014794u, 3202039382u, 2016785810u, 1060305113u, 2662925048u, 0, SQRT_TOLERANCE, 0},

{ 8, 1066002386u, 2688957927u, 1046089230u, 2709029994u, 1069337278u, 3851609627u, 0, SQRT_TOLERANCE, 0},

{ 9, 1058795730u, 624574473u, 1045840574u, 3473266330u, 1065690306u, 730258401u, 0, SQRT_TOLERANCE, 0},

{ 10, 1057436194u, 1605286142u, 1068931671u, 4233776869u, 1065041564u, 1578535776u, 0, SQRT_TOLERANCE, 0},

{ 11, 1060343410u, 1857607719u, 3222889559u, 3417070006u, 1066512486u, 1761707100u, 0, SQRT_TOLERANCE, 0},

{ 12, 1103599987u, 3981151660u, 1088899021u, 1332651746u, 1088125702u, 2101780457u, 0, SQRT_TOLERANCE, 0},

{ 13, 1085298022u, 3824988054u, 1066856791u, 2070129652u, 1078995579u, 220377022u, 0, SQRT_TOLERANCE, 0},

{ 14, 1060076142u, 1372884064u, 1080833116u, 3229926662u, 1066384624u, 3846619588u, 0, SQRT_TOLERANCE, 0},

{ 15, 1093826501u, 3217805330u, 3191644264u, 2014578707u, 1083256976u, 708451256u, 0, SQRT_TOLERANCE, 0},

{ 16, 1102287487u, 265058758u, 3239903247u, 1630600647u, 1087484475u, 593102912u, 0, SQRT_TOLERANCE, 0},

{ 17, 1071124229u, 1946677669u, 3198462609u, 926009897u, 1071881903u, 84172120u, 0, SQRT_TOLERANCE, 0},

{ 18, 1072130299u, 2271884183u, 3203741999u, 2118617783u, 1072389823u, 1734345339u, 0, SQRT_TOLERANCE, 0},

{ 19, 1047365461u, 213658772u, 3249401130u, 314151656u, 1060027727u, 2224939906u, 0, SQRT_TOLERANCE, 0},

{ 20, 1106628640u, 1564829925u, 3197817016u, 497230814u, 1089646215u, 1613419443u, 0, SQRT_TOLERANCE, 0},

{ 21, 1068778986u, 2075329122u, 3231746400u, 169900577u, 1070727840u, 3915801428u, 0, SQRT_TOLERANCE, 0},

{ 22, 1049848642u, 541549344u, 1096608669u, 3119070100u, 1061265525u, 677202126u, 0, SQRT_TOLERANCE, 0},

{ 23, 1085427055u, 567496114u, 1045286891u, 1969998540u, 1079057616u, 2504053075u, 0, SQRT_TOLERANCE, 0},

{ 24, 1060548195u, 1299369769u, 1049342524u, 4167404066u, 1066601671u, 854490045u, 0, SQRT_TOLERANCE, 0},

{ 25, 1061381997u, 3348930841u, 1078472138u, 358457347u, 1066986270u, 3521303658u, 0, SQRT_TOLERANCE, 0},

{ 26, 1071069297u, 2192461366u, 1099527247u, 3184735642u, 1071859305u, 4075190074u, 0, SQRT_TOLERANCE, 0},

{ 27, 1052861772u, 331696577u, 3189610016u, 793242270u, 1062705147u, 4224071180u, 0, SQRT_TOLERANCE, 0},

{ 28, 1105045286u, 2322696981u, 1083791358u, 3020766674u, 1088800804u, 826480684u, 0, SQRT_TOLERANCE, 0},

{ 29, 1044902177u, 252085215u, 3214426435u, 4139068910u, 1058778595u, 2737745278u, 0, SQRT_TOLERANCE, 0},

{ 30, 1075022077u, 105589263u, 1056316170u, 261630827u, 1073851886u, 1075861372u, 0, SQRT_TOLERANCE, 0},

{ 31, 1107213408u, 428765703u, 3251828686u, 2009972239u, 1089875212u, 423796479u, 0, SQRT_TOLERANCE, 0},

{ 32, 1098568019u, 3517376586u, 3240257920u, 3304487302u, 1085585117u, 2293588450u, 0, SQRT_TOLERANCE, 0},

{ 33, 1086054264u, 237004814u, 3237899261u, 3364008659u, 1079320112u, 1789517462u, 0, SQRT_TOLERANCE, 0},

{ 34, 1047763904u, 472004928u, 3226869477u, 1186387580u, 1060222569u, 2702852472u, 0, SQRT_TOLERANCE, 0},

{ 35, 1054226850u, 4085763910u, 1106394906u, 2684738273u, 1063443327u, 3722225526u, 0, SQRT_TOLERANCE, 0},

{ 36, 1057053639u, 2055490142u, 3231581370u, 3879040079u, 1064800646u, 3120181293u, 0, SQRT_TOLERANCE, 0},

{ 37, 1041492999u, 3725731239u, 1061652681u, 591292963u, 1057086087u, 683141772u, 0, SQRT_TOLERANCE, 0},

{ 38, 1077531333u, 1147041027u, 3215417793u, 624695933u, 1075073952u, 330937519u, 0, SQRT_TOLERANCE, 0},

{ 39, 1058569126u, 705725219u, 3238067573u, 1116238321u, 1065601736u, 1995750373u, 0, SQRT_TOLERANCE, 0},

{ 40, 1059883440u, 7287411u, 1045917232u, 116067742u, 1066285097u, 1285613460u, 0, SQRT_TOLERANCE, 0},

{ 41, 1092571574u, 3604989074u, 1066381836u, 545298780u, 1082548907u, 197771367u, 0, SQRT_TOLERANCE, 0},

{ 42, 1071597288u, 1681476121u, 1060345752u, 3553822398u, 1072062158u, 224173498u, 0, SQRT_TOLERANCE, 0},

{ 43, 1102831658u, 3410480388u, 1052460275u, 1660607230u, 1087708788u, 540172385u, 0, SQRT_TOLERANCE, 0},

{ 44, 1089216869u, 1494984673u, 3196647153u, 287894723u, 1080950974u, 2475641644u, 0, SQRT_TOLERANCE, 0},

{ 45, 1054885127u, 644548665u, 1081948134u, 2442134629u, 1063702841u, 2511252856u, 0, SQRT_TOLERANCE, 0},

{ 46, 1087554095u, 2312530895u, 3221584595u, 3379665576u, 1080120079u, 977381325u, 0, SQRT_TOLERANCE, 0},

{ 47, 1096085375u, 3018463866u, 1086226574u, 404012923u, 1084378457u, 2884650978u, 0, SQRT_TOLERANCE, 0},

{ 48, 1064733299u, 1710279345u, 3251401196u, 3528946000u, 1068694953u, 3041442149u, 0, SQRT_TOLERANCE, 0},

{ 49, 1061536351u, 2164450219u, 1083520023u, 3312018966u, 1067082542u, 3541455359u, 0, SQRT_TOLERANCE, 0},

{ 50, 1057248676u, 2648986431u, 1050330591u, 1474376550u, 1064927817u, 295874224u, 0, SQRT_TOLERANCE, 0},

{ 51, 1046938380u, 1839068700u, 1077406406u, 3013052171u, 1059791591u, 1387152159u, 0, SQRT_TOLERANCE, 0},

{ 52, 1046493630u, 772102380u, 3220729740u, 4219039958u, 1059506510u, 1712928068u, 0, SQRT_TOLERANCE, 0},

{ 53, 1081988573u, 3058618779u, 1046304788u, 3338676024u, 1077270853u, 3474020327u, 0, SQRT_TOLERANCE, 0},

{ 54, 1051172137u, 506286854u, 1094907481u, 2217000199u, 1061911855u, 221864221u, 0, SQRT_TOLERANCE, 0},

{ 55, 1082428310u, 1147428263u, 1065432625u, 3034786717u, 1077519368u, 2537543574u, 0, SQRT_TOLERANCE, 0},

{ 56, 1082016752u, 2844125311u, 1082985198u, 2561492677u, 1077281134u, 3176608248u, 0, SQRT_TOLERANCE, 0},

{ 57, 1064053268u, 704542600u, 3222902057u, 2762779203u, 1068369247u, 2603835260u, 0, SQRT_TOLERANCE, 0},

{ 58, 1052196966u, 184131949u, 3249723525u, 1667366082u, 1062422966u, 3939548873u, 0, SQRT_TOLERANCE, 0},

{ 59, 1076125950u, 3904224140u, 1067056698u, 2942159914u, 1074366822u, 4268449844u, 0, SQRT_TOLERANCE, 0},

{ 60, 1100636863u, 426114282u, 3209056785u, 1083606355u, 1086622716u, 623144311u, 0, SQRT_TOLERANCE, 0},

{ 61, 1106165945u, 3774123863u, 1106787580u, 2722107965u, 1089429190u, 3430676340u, 0, SQRT_TOLERANCE, 0},

{ 62, 1088005092u, 1377734762u, 1104232051u, 2377063483u, 1080312100u, 1890582146u, 0, SQRT_TOLERANCE, 0},

{ 63, 1069380559u, 1029739074u, 1105467109u, 3062201018u, 1070970176u, 3192690979u, 0, SQRT_TOLERANCE, 0},

{ 64, 1087257949u, 773857656u, 3214251949u, 335833884u, 1079974782u, 3171811944u, 0, SQRT_TOLERANCE, 0},

{ 65, 1055740962u, 1473865960u, 1103073830u, 4000427507u, 1064215197u, 3638248407u, 0, SQRT_TOLERANCE, 0},

{ 66, 1103185231u, 4242092620u, 1067009473u, 14539161u, 1087865409u, 1052873954u, 0, SQRT_TOLERANCE, 0},

{ 67, 1045032426u, 1732245037u, 1101371955u, 1533536108u, 1058852385u, 2071071226u, 0, SQRT_TOLERANCE, 0},

{ 68, 1101670347u, 1833841275u, 1099430098u, 4144145552u, 1087172149u, 3494217021u, 0, SQRT_TOLERANCE, 0},

{ 69, 1096786815u, 935007012u, 3188865420u, 604442938u, 1084653522u, 902055671u, 0, SQRT_TOLERANCE, 0},

{ 70, 1059419605u, 2211464602u, 1046255144u, 1635910526u, 1066022044u, 3993344749u, 0, SQRT_TOLERANCE, 0},

{ 71, 1077871417u, 2549219008u, 3231633258u, 3733639385u, 1075201676u, 2374945252u, 0, SQRT_TOLERANCE, 0},

{ 72, 1082095089u, 1819374372u, 3202219056u, 2617077637u, 1077309337u, 3516693447u, 0, SQRT_TOLERANCE, 0},

{ 73, 1094345280u, 546465680u, 1048653554u, 532401530u, 1083476938u, 3036711713u, 0, SQRT_TOLERANCE, 0},

{ 74, 1044571091u, 2759019783u, 3221570188u, 3554409630u, 1058575885u, 1512763431u, 0, SQRT_TOLERANCE, 0},

{ 75, 1065447634u, 2527221960u, 1099107978u, 2696971136u, 1068998603u, 2457660231u, 0, SQRT_TOLERANCE, 0},

{ 76, 1097158000u, 173134582u, 1087299442u, 2877794600u, 1084890087u, 884126678u, 0, SQRT_TOLERANCE, 0},

{ 77, 1086400474u, 547642046u, 3197285510u, 3521286127u, 1079471659u, 3033645540u, 0, SQRT_TOLERANCE, 0},

{ 78, 1074860702u, 1231582831u, 1090971734u, 1653446832u, 1073776404u, 3961408917u, 0, SQRT_TOLERANCE, 0},

{ 79, 1061342535u, 3762182190u, 3252967851u, 2615360375u, 1066960732u, 3665707139u, 0, SQRT_TOLERANCE, 0},

{ 80, 1053350775u, 2588067350u, 3206610957u, 3551059728u, 1063007251u, 3925789760u, 0, SQRT_TOLERANCE, 0},

{ 81, 1059495208u, 845263327u, 1073415902u, 1749010288u, 1066067600u, 2493200909u, 0, SQRT_TOLERANCE, 0},

{ 82, 1058092722u, 3092685191u, 3190678390u, 2872219490u, 1065392258u, 2185338120u, 0, SQRT_TOLERANCE, 0},

{ 83, 1070831407u, 4107255722u, 3205337291u, 3069068345u, 1071756377u, 3884334901u, 0, SQRT_TOLERANCE, 0},

{ 84, 1096507209u, 2294867524u, 3216653996u, 2860384670u, 1084550505u, 509668549u, 0, SQRT_TOLERANCE, 0},

{ 85, 1045842702u, 2265437201u, 3240198679u, 1234948614u, 1059250914u, 1435972158u, 0, SQRT_TOLERANCE, 0},

{ 86, 1068876281u, 1186945904u, 3251167793u, 1896750851u, 1070770294u, 3836667746u, 0, SQRT_TOLERANCE, 0},

{ 87, 1081575478u, 3686084548u, 1079286273u, 3309277689u, 1077110633u, 1999998138u, 0, SQRT_TOLERANCE, 0},

{ 88, 1075992592u, 3006860614u, 3231412671u, 2504194724u, 1074281070u, 2869529129u, 0, SQRT_TOLERANCE, 0},

{ 89, 1088665612u, 1948717780u, 1048317852u, 3791803982u, 1080630957u, 2010332103u, 0, SQRT_TOLERANCE, 0},

{ 90, 1064345015u, 4272034420u, 3192982124u, 1526175922u, 1068518941u, 1347333963u, 0, SQRT_TOLERANCE, 0},

{ 91, 1098334178u, 4108948538u, 1104691287u, 640541190u, 1085491584u, 2344550893u, 0, SQRT_TOLERANCE, 0},

{ 92, 1059773769u, 3259274853u, 1082507103u, 3677038020u, 1066226153u, 4175570532u, 0, SQRT_TOLERANCE, 0},

{ 93, 1083132498u, 3781708548u, 1096584871u, 1207386447u, 1077912743u, 256642125u, 0, SQRT_TOLERANCE, 0},

{ 94, 1041211624u, 3011191657u, 1103798670u, 1096124830u, 1056952400u, 3532873116u, 0, SQRT_TOLERANCE, 0},

{ 95, 1063235023u, 2540404725u, 3240157452u, 4122845725u, 1067877244u, 3178535586u, 0, SQRT_TOLERANCE, 0},

{ 96, 1083643710u, 311336721u, 3214382367u, 4212533768u, 1078147229u, 1574899206u, 0, SQRT_TOLERANCE, 0},

{ 97, 1051139427u, 1769686293u, 3240200923u, 3538602249u, 1061892714u, 2811585508u, 0, SQRT_TOLERANCE, 0},

{ 98, 1078227549u, 508056696u, 1103793878u, 776520138u, 1075418182u, 1911895511u, 0, SQRT_TOLERANCE, 0},

{ 99, 1102910577u, 4064962760u, 1077424413u, 819766631u, 1087738367u, 625596649u, 0, SQRT_TOLERANCE, 0},

{ 100, 1074178362u, 2112385259u, 3227593179u, 1187058516u, 1073409469u, 2890683226u, 0, SQRT_TOLERANCE, 0},

{ 101, 1082295059u, 2514398118u, 1076579751u, 870169764u, 1077434053u, 2274822844u, 0, SQRT_TOLERANCE, 0},

{ 102, 1099367744u, 1190259653u, 1069112254u, 3417249840u, 1086006323u, 3203231065u, 0, SQRT_TOLERANCE, 0},

{ 103, 1046179435u, 3467757357u, 3215075200u, 2168175352u, 1059386161u, 1523058021u, 0, SQRT_TOLERANCE, 0},

{ 104, 1092159487u, 1508888184u, 1060430241u, 3524949092u, 1082393394u, 2941399898u, 0, SQRT_TOLERANCE, 0},

{ 105, 1049929235u, 166402802u, 3237198975u, 3572369260u, 1061301541u, 778731146u, 0, SQRT_TOLERANCE, 0},

{ 106, 1081866822u, 2441536203u, 3202753937u, 3658194573u, 1077225557u, 2884892065u, 0, SQRT_TOLERANCE, 0},

{ 107, 1062392908u, 2479742828u, 1062342831u, 4214154303u, 1067539306u, 2067044587u, 0, SQRT_TOLERANCE, 0},

{ 108, 1082396794u, 426896765u, 1066474375u, 2201754442u, 1077499585u, 3639218844u, 0, SQRT_TOLERANCE, 0},

{ 109, 1048145373u, 2055773734u, 3239267288u, 291396537u, 1060383682u, 1374687961u, 0, SQRT_TOLERANCE, 0},

{ 110, 1089484385u, 874125203u, 3210508124u, 4091098764u, 1081088793u, 2796500043u, 0, SQRT_TOLERANCE, 0},

{ 111, 1065716026u, 120488169u, 3241241441u, 1985269424u, 1069170801u, 1652665630u, 0, SQRT_TOLERANCE, 0},

{ 112, 1059055762u, 2243036871u, 3243941101u, 740033495u, 1065785428u, 1948204916u, 0, SQRT_TOLERANCE, 0},

{ 113, 1061941258u, 1176656356u, 1074261978u, 3588756231u, 1067312736u, 4031115381u, 0, SQRT_TOLERANCE, 0},

{ 114, 1105333143u, 3037249392u, 1061635587u, 1173102190u, 1088948153u, 982120755u, 0, SQRT_TOLERANCE, 0},

{ 115, 1089725933u, 2882725208u, 1071440059u, 69225090u, 1081202634u, 4070340257u, 0, SQRT_TOLERANCE, 0},

{ 116, 1065179826u, 272319256u, 1072073912u, 2493997123u, 1068870653u, 1887245738u, 0, SQRT_TOLERANCE, 0},

{ 117, 1057720186u, 188610379u, 3232757923u, 2209647371u, 1065201208u, 89168525u, 0, SQRT_TOLERANCE, 0},

{ 118, 1089274869u, 1990439193u, 1078073146u, 622849962u, 1080981665u, 1937867013u, 0, SQRT_TOLERANCE, 0},

{ 119, 1057135741u, 756052458u, 1081649113u, 2247475162u, 1064855412u, 2031313836u, 0, SQRT_TOLERANCE, 0},

{ 120, 1061623064u, 3878055211u, 3222407050u, 2979438623u, 1067134345u, 2326488769u, 0, SQRT_TOLERANCE, 0},

{ 121, 1047807349u, 2676398686u, 1105124431u, 3631096636u, 1060242029u, 10248528u, 0, SQRT_TOLERANCE, 0},

{ 122, 1065079390u, 1697791764u, 3198136112u, 2299842819u, 1068833081u, 1643028991u, 0, SQRT_TOLERANCE, 0},

{ 123, 1078084768u, 1931502677u, 3215264397u, 3016456382u, 1075326357u, 59441897u, 0, SQRT_TOLERANCE, 0},

{ 124, 1072253426u, 343404215u, 1061072607u, 4266232536u, 1072460411u, 3078552319u, 0, SQRT_TOLERANCE, 0},

{ 125, 1093747188u, 4140316002u, 1082896196u, 868256971u, 1083219439u, 52190688u, 0, SQRT_TOLERANCE, 0},

{ 126, 1075422810u, 1864139509u, 3187675097u, 3084482407u, 1074020893u, 1269785421u, 0, SQRT_TOLERANCE, 0},

{ 127, 1072707675u, 2427162817u, 3234748208u, 2715105792u, 1072700437u, 592056396u, 0, SQRT_TOLERANCE, 0},

{ 128, 1064600512u, 3943389284u, 1046724025u, 3626825684u, 1068637699u, 3554438189u, 0, SQRT_TOLERANCE, 0},

{ 129, 1045423002u, 967350972u, 1093012318u, 448002663u, 1059058121u, 4110539679u, 0, SQRT_TOLERANCE, 0},

{ 130, 1104362211u, 105058217u, 1069733884u, 171786224u, 1088522867u, 1249399999u, 0, SQRT_TOLERANCE, 0},

{ 131, 1042130860u, 2863482262u, 3204997271u, 877784425u, 1057343573u, 1946563393u, 0, SQRT_TOLERANCE, 0},

{ 132, 1055145665u, 2801782962u, 3213604117u, 762347195u, 1063875562u, 405405913u, 0, SQRT_TOLERANCE, 0},

{ 133, 1086003079u, 2317950339u, 3246333414u, 2135700283u, 1079300584u, 2888201937u, 0, SQRT_TOLERANCE, 0},

{ 134, 1056516397u, 4171919805u, 1082858682u, 2180920863u, 1064570994u, 117017318u, 0, SQRT_TOLERANCE, 0},

{ 135, 1072665436u, 1918836931u, 1083603224u, 3137821660u, 1072679295u, 3487405472u, 0, SQRT_TOLERANCE, 0},

{ 136, 1103902874u, 3456203663u, 3235600523u, 2335688936u, 1088294172u, 2136321383u, 0, SQRT_TOLERANCE, 0},

{ 137, 1042279322u, 4170235262u, 1051824459u, 521583737u, 1057397095u, 1449721404u, 0, SQRT_TOLERANCE, 0},

{ 138, 1081348303u, 1296623194u, 3250673860u, 2442872540u, 1077013242u, 2258644922u, 0, SQRT_TOLERANCE, 0},

{ 139, 1061684277u, 289979405u, 1049514449u, 3865737145u, 1067170024u, 2776254693u, 0, SQRT_TOLERANCE, 0},

{ 140, 1075298944u, 3699090239u, 1054539840u, 3259249360u, 1073971042u, 3458344803u, 0, SQRT_TOLERANCE, 0},

{ 141, 1096418100u, 1619819023u, 1045993352u, 1022642459u, 1084516007u, 476909761u, 0, SQRT_TOLERANCE, 0},

{ 142, 1081433004u, 19455098u, 3229182089u, 2096003654u, 1077050469u, 3028872190u, 0, SQRT_TOLERANCE, 0},

{ 143, 1076297936u, 3803689997u, 1071630912u, 2263729518u, 1074471318u, 1292113974u, 0, SQRT_TOLERANCE, 0},

{ 144, 1101357261u, 2816837387u, 1063422305u, 2597606398u, 1086990274u, 2652274740u, 0, SQRT_TOLERANCE, 0},

{ 145, 1069100169u, 3680967506u, 1040201163u, 179224723u, 1070862792u, 3588846007u, 0, SQRT_TOLERANCE, 0},

{ 146, 1041146119u, 978126928u, 1101553990u, 4047893399u, 1056919191u, 3630293168u, 0, SQRT_TOLERANCE, 0},

{ 147, 1074838397u, 4059818629u, 1042678728u, 3640293589u, 1073765554u, 1929737386u, 0, SQRT_TOLERANCE, 0},

{ 148, 1100980392u, 3383497159u, 1070002807u, 1527313008u, 1086750415u, 3836203873u, 0, SQRT_TOLERANCE, 0},

{ 149, 1055224031u, 2599946514u, 1104170406u, 2738675352u, 1063924117u, 1721130370u, 0, SQRT_TOLERANCE, 0},

{ 150, 1105232623u, 3616571377u, 1060859316u, 1130603218u, 1088879738u, 236452899u, 0, SQRT_TOLERANCE, 0},

{ 151, 1076028796u, 3859211180u, 1067940450u, 1744531824u, 1074304802u, 316690193u, 0, SQRT_TOLERANCE, 0},

{ 152, 1042831340u, 1958025850u, 3236511256u, 2472176453u, 1057745168u, 35356657u, 0, SQRT_TOLERANCE, 0},

{ 153, 1085623441u, 182132862u, 3250520938u, 3924356991u, 1079145947u, 321881452u, 0, SQRT_TOLERANCE, 0},

{ 154, 1083018236u, 35632886u, 3209806504u, 1453402523u, 1077854139u, 1375333123u, 0, SQRT_TOLERANCE, 0},

{ 155, 1083522102u, 743225214u, 3202890678u, 142917400u, 1078095555u, 1236155334u, 0, SQRT_TOLERANCE, 0},

{ 156, 1080684976u, 1472665012u, 3203138231u, 256588219u, 1076678713u, 4046845340u, 0, SQRT_TOLERANCE, 0},

{ 157, 1094982162u, 1062927000u, 1061134072u, 931677439u, 1083792592u, 148959679u, 0, SQRT_TOLERANCE, 0},

{ 158, 1058377732u, 2320910576u, 1055663370u, 288059864u, 1065521919u, 554321687u, 0, SQRT_TOLERANCE, 0},

{ 159, 1078958093u, 1448349062u, 3199478070u, 3454027134u, 1075825628u, 820343418u, 0, SQRT_TOLERANCE, 0},

{ 160, 1089975150u, 4215445172u, 3196654963u, 2231888973u, 1081309490u, 3903827118u, 0, SQRT_TOLERANCE, 0},

{ 161, 1099148583u, 40413554u, 3232578253u, 983832844u, 1085872059u, 3351900855u, 0, SQRT_TOLERANCE, 0},

{ 162, 1076237886u, 3995725873u, 1050082319u, 777231627u, 1074435545u, 1571143908u, 0, SQRT_TOLERANCE, 0},

{ 163, 1040986626u, 672789828u, 3253385962u, 2982787335u, 1056835993u, 922098741u, 0, SQRT_TOLERANCE, 0},

{ 164, 1068390875u, 2075971825u, 1070166500u, 4034633931u, 1070541347u, 410974930u, 0, SQRT_TOLERANCE, 0},

{ 165, 1062562529u, 1018222907u, 3244621407u, 3090050495u, 1067614969u, 1619055709u, 0, SQRT_TOLERANCE, 0},

{ 166, 1067680885u, 937732557u, 3200798890u, 2557898276u, 1070136763u, 2391931683u, 0, SQRT_TOLERANCE, 0},

{ 167, 1078342316u, 130346162u, 3223590310u, 275568693u, 1075488495u, 2106740591u, 0, SQRT_TOLERANCE, 0},

{ 168, 1042898869u, 3807416441u, 1075961161u, 3706820266u, 1057783478u, 3972097396u, 0, SQRT_TOLERANCE, 0},

{ 169, 1068615357u, 1710131411u, 1078123323u, 1900790503u, 1070652771u, 291788500u, 0, SQRT_TOLERANCE, 0},

{ 170, 1091335713u, 3420420033u, 3210844787u, 588423066u, 1082011084u, 3994148752u, 0, SQRT_TOLERANCE, 0},

{ 171, 1049684114u, 1160162008u, 3246307879u, 4265764460u, 1061188270u, 638608014u, 0, SQRT_TOLERANCE, 0},

{ 172, 1102543434u, 366653268u, 3188814424u, 466059202u, 1087594922u, 3888746790u, 0, SQRT_TOLERANCE, 0},

{ 173, 1079144091u, 1325936170u, 3221436876u, 680097612u, 1075915851u, 2635101980u, 0, SQRT_TOLERANCE, 0},

{ 174, 1092907468u, 1827735934u, 3200554324u, 2875599271u, 1082758123u, 4020975259u, 0, SQRT_TOLERANCE, 0},

{ 175, 1043546754u, 3117037091u, 3239246636u, 15838845u, 1058115053u, 328401279u, 0, SQRT_TOLERANCE, 0},

{ 176, 1051974004u, 749718883u, 3223587064u, 1523766569u, 1062326834u, 1051206039u, 0, SQRT_TOLERANCE, 0},

{ 177, 1044833651u, 1966536294u, 3250158026u, 699164258u, 1058738542u, 861420859u, 0, SQRT_TOLERANCE, 0},

{ 178, 1098048435u, 3759049394u, 1106085272u, 1183789499u, 1085366914u, 2249964520u, 0, SQRT_TOLERANCE, 0},

{ 179, 1081201623u, 1970107747u, 1095245453u, 2308233883u, 1076945816u, 4122814742u, 0, SQRT_TOLERANCE, 0},

{ 180, 1084756444u, 1491017852u, 1041444355u, 1723375725u, 1078706376u, 3597981038u, 0, SQRT_TOLERANCE, 0},

{ 181, 1069146422u, 1141349287u, 1097465301u, 3403438584u, 1070881102u, 1363982323u, 0, SQRT_TOLERANCE, 0},

{ 182, 1083088260u, 1711085243u, 3250239076u, 1377484108u, 1077890252u, 1851678165u, 0, SQRT_TOLERANCE, 0},

{ 183, 1098385019u, 2880275004u, 1084039594u, 1611394950u, 1085512499u, 1964141477u, 0, SQRT_TOLERANCE, 0},

{ 184, 1086737787u, 2626629370u, 1063771493u, 1499080813u, 1079686915u, 183335811u, 0, SQRT_TOLERANCE, 0},

{ 185, 1055231263u, 3936262414u, 1103919063u, 3175668759u, 1063928529u, 2035803317u, 0, SQRT_TOLERANCE, 0},

{ 186, 1060498071u, 1270950554u, 3194616071u, 3680565379u, 1066580441u, 617356847u, 0, SQRT_TOLERANCE, 0},

{ 187, 1060664575u, 1066985223u, 3221613219u, 4089383168u, 1066649623u, 4128441333u, 0, SQRT_TOLERANCE, 0},

{ 188, 1069575191u, 4017329311u, 3208334452u, 1667591498u, 1071049869u, 4277286241u, 0, SQRT_TOLERANCE, 0},

{ 189, 1088164157u, 3154656624u, 1061894279u, 3886344038u, 1080373506u, 3849431628u, 0, SQRT_TOLERANCE, 0},

{ 190, 1050652945u, 977586119u, 3209762784u, 953839852u, 1061586084u, 4015554101u, 0, SQRT_TOLERANCE, 0},

{ 191, 1104965247u, 143071571u, 3206165386u, 913097445u, 1088771098u, 1153878443u, 0, SQRT_TOLERANCE, 0},

{ 192, 1043081808u, 1371169579u, 1057079837u, 2594818628u, 1057883519u, 2861904553u, 0, SQRT_TOLERANCE, 0},

{ 193, 1104309688u, 2259342224u, 3217432469u, 1824221478u, 1088498657u, 4134322356u, 0, SQRT_TOLERANCE, 0},

{ 194, 1099351127u, 1576604497u, 1079368611u, 185078728u, 1085996500u, 3741739594u, 0, SQRT_TOLERANCE, 0},

{ 195, 1074195779u, 444800035u, 3243343143u, 1734989302u, 1073419787u, 3442615331u, 0, SQRT_TOLERANCE, 0},

{ 196, 1072748883u, 130452005u, 1041548088u, 2158433515u, 1072720706u, 32388127u, 0, SQRT_TOLERANCE, 0},

{ 197, 1087212320u, 1941318385u, 1045807374u, 792193370u, 1079951177u, 311008137u, 0, SQRT_TOLERANCE, 0},

{ 198, 1090816018u, 1299392207u, 3212131720u, 3205732280u, 1081713110u, 3921824728u, 0, SQRT_TOLERANCE, 0},

{ 199, 1098698804u, 3035093505u, 1052187689u, 3287702190u, 1085634721u, 997526658u, 0, SQRT_TOLERANCE, 0},

{ 200, 1099192612u, 2160225215u, 1102624859u, 836655570u, 1085899898u, 3875891937u, 0, SQRT_TOLERANCE, 0},

{ 201, 1096723626u, 3360816360u, 3246176356u, 172860634u, 1084630880u, 2920597617u, 0, SQRT_TOLERANCE, 0},

{ 202, 1070995788u, 146831910u, 1051558014u, 2340722078u, 1071828418u, 2771710464u, 0, SQRT_TOLERANCE, 0},

{ 203, 1082932703u, 1603798153u, 3207725532u, 1099413093u, 1077809130u, 1620986260u, 0, SQRT_TOLERANCE, 0},

{ 204, 1099194730u, 2429340443u, 3190303581u, 3223770005u, 1085901226u, 1909350921u, 0, SQRT_TOLERANCE, 0},

{ 205, 1075882959u, 955542166u, 3230415151u, 275583938u, 1074206939u, 3284390891u, 0, SQRT_TOLERANCE, 0},

{ 206, 1092971882u, 513397822u, 1090646554u, 2089321329u, 1082797944u, 1848756391u, 0, SQRT_TOLERANCE, 0},

{ 207, 1045686228u, 2782073372u, 1046063872u, 4023829068u, 1059182757u, 1144494305u, 0, SQRT_TOLERANCE, 0},

{ 208, 1098564822u, 3242223094u, 3194111199u, 4264674108u, 1085583882u, 1055345467u, 0, SQRT_TOLERANCE, 0},

{ 209, 1091027173u, 3506346169u, 1047020885u, 1742757458u, 1081840116u, 919870869u, 0, SQRT_TOLERANCE, 0},

{ 210, 1045180829u, 1265459564u, 3193450280u, 3650514880u, 1058933091u, 2096096260u, 0, SQRT_TOLERANCE, 0},

{ 211, 1081755890u, 1525260440u, 3235452527u, 2612331392u, 1077182958u, 414505092u, 0, SQRT_TOLERANCE, 0},

{ 212, 1101185272u, 1263613754u, 3219096387u, 635677201u, 1086881619u, 3327465162u, 0, SQRT_TOLERANCE, 0},

{ 213, 1058788439u, 4140947288u, 3200792376u, 2013265346u, 1065687545u, 289774073u, 0, SQRT_TOLERANCE, 0},

{ 214, 1102490744u, 1912759945u, 3237045253u, 1351396825u, 1087572985u, 200814021u, 0, SQRT_TOLERANCE, 0},

{ 215, 1100721514u, 1001433078u, 3206926643u, 2741676659u, 1086655281u, 2906657682u, 0, SQRT_TOLERANCE, 0},

{ 216, 1080923606u, 1088945233u, 1085095743u, 3986114865u, 1076806875u, 1398507288u, 0, SQRT_TOLERANCE, 0},

{ 217, 1068250409u, 831239754u, 1099828675u, 3071308141u, 1070467911u, 215486836u, 0, SQRT_TOLERANCE, 0},

{ 218, 1078350849u, 3473592372u, 1102759382u, 1309576357u, 1075493611u, 285464971u, 0, SQRT_TOLERANCE, 0},

{ 219, 1103703058u, 2042340367u, 1091945628u, 2062772374u, 1088184745u, 1642723939u, 0, SQRT_TOLERANCE, 0},

{ 220, 1047282039u, 1840632537u, 1096533424u, 807510337u, 1059983827u, 4285807355u, 0, SQRT_TOLERANCE, 0},

{ 221, 1083968074u, 144814872u, 3212698915u, 2282965697u, 1078275682u, 3768954894u, 0, SQRT_TOLERANCE, 0},

{ 222, 1071236430u, 2552499583u, 3229111426u, 1470130815u, 1071926866u, 3747737272u, 0, SQRT_TOLERANCE, 0},

{ 223, 1095609417u, 2858583811u, 1089760910u, 6360994u, 1084149893u, 3408093385u, 0, SQRT_TOLERANCE, 0},

{ 224, 1050781281u, 1614537194u, 1075198900u, 4088705365u, 1061667829u, 3512455994u, 0, SQRT_TOLERANCE, 0},

{ 225, 1103455422u, 3545570051u, 1065221325u, 1629217700u, 1088039467u, 3634219627u, 0, SQRT_TOLERANCE, 0},

{ 226, 1072744324u, 1813392963u, 3235313361u, 3772501596u, 1072718482u, 2444193944u, 0, SQRT_TOLERANCE, 0},

{ 227, 1049319038u, 2406734491u, 1042055360u, 89226663u, 1061000132u, 2269056916u, 0, SQRT_TOLERANCE, 0},

{ 228, 1048267433u, 1618759139u, 3194723421u, 3888234802u, 1060431237u, 700371869u, 0, SQRT_TOLERANCE, 0},

{ 229, 1055357248u, 3590035633u, 3212424262u, 2892456615u, 1064003648u, 3031176455u, 0, SQRT_TOLERANCE, 0},

{ 230, 1042459412u, 2431246964u, 3241512456u, 183850734u, 1057517827u, 2676781323u, 0, SQRT_TOLERANCE, 0},

{ 231, 1089501101u, 3088319870u, 3211544311u, 862225364u, 1081097064u, 2434610491u, 0, SQRT_TOLERANCE, 0},

{ 232, 1087811016u, 3495352775u, 1058576726u, 596957268u, 1080233094u, 1373646250u, 0, SQRT_TOLERANCE, 0},

{ 233, 1046553348u, 1839214511u, 3205004060u, 1923240983u, 1059547870u, 1202011145u, 0, SQRT_TOLERANCE, 0},

{ 234, 1058073864u, 739619702u, 3223356436u, 2689885273u, 1065383129u, 1746092362u, 0, SQRT_TOLERANCE, 0},

{ 235, 1052841323u, 2143376228u, 1098306332u, 3760236188u, 1062691218u, 367710346u, 0, SQRT_TOLERANCE, 0},

{ 236, 1074621795u, 671680995u, 1091262633u, 2315535361u, 1073655755u, 1808066091u, 0, SQRT_TOLERANCE, 0},

{ 237, 1066682341u, 2493598049u, 3194927008u, 1689107592u, 1069679490u, 594236901u, 0, SQRT_TOLERANCE, 0},

{ 238, 1042506311u, 1578976988u, 1066368383u, 2117279163u, 1057548240u, 235320603u, 0, SQRT_TOLERANCE, 0},

{ 239, 1075504463u, 3425290087u, 1098487295u, 1263412017u, 1074052755u, 3957330920u, 0, SQRT_TOLERANCE, 0},

{ 240, 1060949116u, 3635396812u, 1070999426u, 3965655689u, 1066759998u, 2285325174u, 0, SQRT_TOLERANCE, 0},

{ 241, 1060196346u, 2183973116u, 1101098363u, 1118613350u, 1066443949u, 3357751942u, 0, SQRT_TOLERANCE, 0},

{ 242, 1074462441u, 199516350u, 1078368488u, 164621458u, 1073570877u, 1152484011u, 0, SQRT_TOLERANCE, 0},

{ 243, 1040222370u, 3570940805u, 3230316437u, 3596080877u, 1056374897u, 1158689868u, 0, SQRT_TOLERANCE, 0},

{ 244, 1060725917u, 980880313u, 1079833442u, 884465057u, 1066674198u, 3065335256u, 0, SQRT_TOLERANCE, 0},

{ 245, 1099977124u, 2558179220u, 1052873711u, 1233598120u, 1086335134u, 3159565287u, 0, SQRT_TOLERANCE, 0},

{ 246, 1047115221u, 1909994277u, 1085015978u, 2991527452u, 1059892969u, 3943181295u, 0, SQRT_TOLERANCE, 0},

{ 247, 1060855260u, 1680290941u, 1074309900u, 2943870846u, 1066724573u, 2262457651u, 0, SQRT_TOLERANCE, 0},

{ 248, 1059496132u, 1451927357u, 3228615456u, 1502585517u, 1066068150u, 673339016u, 0, SQRT_TOLERANCE, 0},

{ 249, 1088728303u, 751136990u, 3230392165u, 3493275472u, 1080670415u, 1117083003u, 0, SQRT_TOLERANCE, 0},

{ 250, 1098365967u, 1209623292u, 3238056647u, 979495322u, 1085504701u, 3401565724u, 0, SQRT_TOLERANCE, 0},

{ 251, 1102940648u, 1717672108u, 1048120593u, 531240316u, 1087749476u, 157061011u, 0, SQRT_TOLERANCE, 0},

{ 252, 1054174923u, 3548721654u, 1086112947u, 3391817224u, 1063421098u, 2489387950u, 0, SQRT_TOLERANCE, 0},

{ 253, 1077836851u, 2758195125u, 1100880260u, 2028440924u, 1075189209u, 1648630422u, 0, SQRT_TOLERANCE, 0},

{ 254, 1084223893u, 2750123373u, 3232200256u, 1086294931u, 1078369157u, 372399065u, 0, SQRT_TOLERANCE, 0},

{ 255, 1043958672u, 2986160931u, 1076097908u, 2540046258u, 1058289542u, 1728470133u, 0, SQRT_TOLERANCE, 0},

{ 256, 1087992954u, 451471221u, 1064816262u, 4187644495u, 1080307297u, 1987628334u, 0, SQRT_TOLERANCE, 0},

{ 257, 1099460228u, 2439500162u, 1065280276u, 1979490284u, 1086060032u, 3546430530u, 0, SQRT_TOLERANCE, 0},

{ 258, 1040415832u, 2283342035u, 1078398157u, 1345997553u, 1056503945u, 2002788187u, 0, SQRT_TOLERANCE, 0},

{ 259, 1065765700u, 179066662u, 1103272172u, 1217337578u, 1069200815u, 354239272u, 0, SQRT_TOLERANCE, 0},

{ 260, 1064078729u, 3779303391u, 3210023352u, 3115946280u, 1068382771u, 924212543u, 0, SQRT_TOLERANCE, 0},

{ 261, 1045506226u, 286247089u, 1085153597u, 713645369u, 1059099073u, 630553628u, 0, SQRT_TOLERANCE, 0},

{ 262, 1093670500u, 1468283899u, 1042831668u, 2022736418u, 1083181870u, 1135653208u, 0, SQRT_TOLERANCE, 0},

{ 263, 1083139105u, 3305564080u, 1065483445u, 482392433u, 1077916081u, 297621800u, 0, SQRT_TOLERANCE, 0},

{ 264, 1054212159u, 2256346551u, 3222430705u, 2071674991u, 1063437079u, 1872363528u, 0, SQRT_TOLERANCE, 0},

{ 265, 1056541047u, 2295269094u, 1084451053u, 2773103941u, 1064580785u, 3548459456u, 0, SQRT_TOLERANCE, 0},

{ 266, 1078173946u, 1482721827u, 1092243422u, 3125409590u, 1075384311u, 1214242217u, 0, SQRT_TOLERANCE, 0},

{ 267, 1073582325u, 1381740563u, 1071545057u, 2918235653u, 1073070076u, 310733412u, 0, SQRT_TOLERANCE, 0},

{ 268, 1091232324u, 1105857967u, 3241990046u, 2703723225u, 1081955489u, 1478059523u, 0, SQRT_TOLERANCE, 0},

{ 269, 1043015571u, 174689677u, 1079333374u, 3947057014u, 1057847895u, 3807478291u, 0, SQRT_TOLERANCE, 0},

{ 270, 1090461859u, 2023082423u, 3242081486u, 1169047927u, 1081495834u, 1354217806u, 0, SQRT_TOLERANCE, 0},

{ 271, 1064525899u, 3742487766u, 1043425732u, 194972788u, 1068604282u, 3534598372u, 0, SQRT_TOLERANCE, 0},

{ 272, 1066308179u, 2136071361u, 3211529757u, 993675115u, 1069500179u, 1810558929u, 0, SQRT_TOLERANCE, 0},

{ 273, 1066179733u, 210772141u, 3241441539u, 580731413u, 1069433384u, 2904218754u, 0, SQRT_TOLERANCE, 0},