Subversion Repositories openrisc

#ifndef CYGONCE_LIBM_CEIL_H

#define CYGONCE_LIBM_CEIL_H

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

//

//      ceil.h

//

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

static const Cyg_libm_test_double_vec_t ceil_vec[] = {

// AUTOMATICALLY GENERATED VECTORS START

{ 1, 1077999148u, 2506787616u, 1090024059u, 3619148316u, 1078001664u, 0u, 0, CEIL_TOLERANCE, 0},

{ 2, 3218153654u, 3176730980u, 1051524793u, 2993920299u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 3, 3239659803u, 2725707538u, 3232101343u, 2346810316u, 3239659800u, 0u, 0, CEIL_TOLERANCE, 0},

{ 4, 1092554362u, 2088062470u, 3201242716u, 420891118u, 1092554364u, 0u, 0, CEIL_TOLERANCE, 0},

{ 5, 3221200677u, 2636405208u, 1100049309u, 471635570u, 3220176896u, 0u, 0, CEIL_TOLERANCE, 0},

{ 6, 1089363191u, 1746012320u, 1054478713u, 3333988501u, 1089363200u, 0u, 0, CEIL_TOLERANCE, 0},

{ 7, 1047953160u, 183014794u, 3202039382u, 2016785810u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 8, 3213486034u, 2688957927u, 1046089230u, 2709029994u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 9, 1058795730u, 624574473u, 1045840574u, 3473266330u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 10, 3204919842u, 1605286142u, 1068931671u, 4233776869u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 11, 1060343410u, 1857607719u, 3222889559u, 3417070006u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 12, 1103599987u, 3981151660u, 1088899021u, 1332651746u, 1103599987u, 3984588800u, 0, CEIL_TOLERANCE, 0},

{ 13, 1085298022u, 3824988054u, 1066856791u, 2070129652u, 1085298176u, 0u, 0, CEIL_TOLERANCE, 0},

{ 14, 3207559790u, 1372884064u, 1080833116u, 3229926662u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 15, 1093826501u, 3217805330u, 3191644264u, 2014578707u, 1093826502u, 0u, 0, CEIL_TOLERANCE, 0},

{ 16, 1102287487u, 265058758u, 3239903247u, 1630600647u, 1102287487u, 268435456u, 0, CEIL_TOLERANCE, 0},

{ 17, 1071124229u, 1946677669u, 3198462609u, 926009897u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 18, 1072130299u, 2271884183u, 3203741999u, 2118617783u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 19, 3194849109u, 213658772u, 3249401130u, 314151656u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 20, 3254112288u, 1564829925u, 3197817016u, 497230814u, 3254112288u, 1564475392u, 0, CEIL_TOLERANCE, 0},

{ 21, 3216262634u, 2075329122u, 3231746400u, 169900577u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 22, 1049848642u, 541549344u, 1096608669u, 3119070100u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 23, 1085427055u, 567496114u, 1045286891u, 1969998540u, 1085427200u, 0u, 0, CEIL_TOLERANCE, 0},

{ 24, 1060548195u, 1299369769u, 1049342524u, 4167404066u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 25, 3208865645u, 3348930841u, 1078472138u, 358457347u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 26, 1071069297u, 2192461366u, 1099527247u, 3184735642u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 27, 1052861772u, 331696577u, 3189610016u, 793242270u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 28, 3252528934u, 2322696981u, 1083791358u, 3020766674u, 3252528934u, 2319450112u, 0, CEIL_TOLERANCE, 0},

{ 29, 1044902177u, 252085215u, 3214426435u, 4139068910u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 30, 3222505725u, 105589263u, 1056316170u, 261630827u, 3222274048u, 0u, 0, CEIL_TOLERANCE, 0},

{ 31, 1107213408u, 428765703u, 3251828686u, 2009972239u, 1107213408u, 428867584u, 0, CEIL_TOLERANCE, 0},

{ 32, 1098568019u, 3517376586u, 3240257920u, 3304487302u, 1098568019u, 3758096384u, 0, CEIL_TOLERANCE, 0},

{ 33, 3233537912u, 237004814u, 3237899261u, 3364008659u, 3233537792u, 0u, 0, CEIL_TOLERANCE, 0},

{ 34, 3195247552u, 472004928u, 3226869477u, 1186387580u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 35, 1054226850u, 4085763910u, 1106394906u, 2684738273u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 36, 1057053639u, 2055490142u, 3231581370u, 3879040079u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 37, 3188976647u, 3725731239u, 1061652681u, 591292963u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 38, 3225014981u, 1147041027u, 3215417793u, 624695933u, 3224961024u, 0u, 0, CEIL_TOLERANCE, 0},

{ 39, 3206052774u, 705725219u, 3238067573u, 1116238321u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 40, 3207367088u, 7287411u, 1045917232u, 116067742u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 41, 3240055222u, 3604989074u, 1066381836u, 545298780u, 3240055220u, 0u, 0, CEIL_TOLERANCE, 0},

{ 42, 3219080936u, 1681476121u, 1060345752u, 3553822398u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 43, 1102831658u, 3410480388u, 1052460275u, 1660607230u, 1102831658u, 3422552064u, 0, CEIL_TOLERANCE, 0},

{ 44, 1089216869u, 1494984673u, 3196647153u, 287894723u, 1089216896u, 0u, 0, CEIL_TOLERANCE, 0},

{ 45, 1054885127u, 644548665u, 1081948134u, 2442134629u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 46, 1087554095u, 2312530895u, 3221584595u, 3379665576u, 1087554112u, 0u, 0, CEIL_TOLERANCE, 0},

{ 47, 1096085375u, 3018463866u, 1086226574u, 404012923u, 1096085375u, 3221225472u, 0, CEIL_TOLERANCE, 0},

{ 48, 1064733299u, 1710279345u, 3251401196u, 3528946000u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 49, 1061536351u, 2164450219u, 1083520023u, 3312018966u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 50, 1057248676u, 2648986431u, 1050330591u, 1474376550u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 51, 3194422028u, 1839068700u, 1077406406u, 3013052171u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 52, 1046493630u, 772102380u, 3220729740u, 4219039958u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 53, 3229472221u, 3058618779u, 1046304788u, 3338676024u, 3229470720u, 0u, 0, CEIL_TOLERANCE, 0},

{ 54, 1051172137u, 506286854u, 1094907481u, 2217000199u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 55, 1082428310u, 1147428263u, 1065432625u, 3034786717u, 1082429440u, 0u, 0, CEIL_TOLERANCE, 0},

{ 56, 1082016752u, 2844125311u, 1082985198u, 2561492677u, 1082019840u, 0u, 0, CEIL_TOLERANCE, 0},

{ 57, 3211536916u, 704542600u, 3222902057u, 2762779203u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 58, 3199680614u, 184131949u, 3249723525u, 1667366082u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 59, 3223609598u, 3904224140u, 1067056698u, 2942159914u, 3223584768u, 0u, 0, CEIL_TOLERANCE, 0},

{ 60, 1100636863u, 426114282u, 3209056785u, 1083606355u, 1100636863u, 469762048u, 0, CEIL_TOLERANCE, 0},

{ 61, 1106165945u, 3774123863u, 1106787580u, 2722107965u, 1106165945u, 3774873600u, 0, CEIL_TOLERANCE, 0},

{ 62, 1088005092u, 1377734762u, 1104232051u, 2377063483u, 1088005120u, 0u, 0, CEIL_TOLERANCE, 0},

{ 63, 1069380559u, 1029739074u, 1105467109u, 3062201018u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 64, 3234741597u, 773857656u, 3214251949u, 335833884u, 3234741504u, 0u, 0, CEIL_TOLERANCE, 0},

{ 65, 3203224610u, 1473865960u, 1103073830u, 4000427507u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 66, 1103185231u, 4242092620u, 1067009473u, 14539161u, 1103185231u, 4244635648u, 0, CEIL_TOLERANCE, 0},

{ 67, 3192516074u, 1732245037u, 1101371955u, 1533536108u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 68, 3249153995u, 1833841275u, 1099430098u, 4144145552u, 3249153995u, 1811939328u, 0, CEIL_TOLERANCE, 0},

{ 69, 3244270463u, 935007012u, 3188865420u, 604442938u, 3244270463u, 0u, 0, CEIL_TOLERANCE, 0},

{ 70, 3206903253u, 2211464602u, 1046255144u, 1635910526u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 71, 1077871417u, 2549219008u, 3231633258u, 3733639385u, 1077936128u, 0u, 0, CEIL_TOLERANCE, 0},

{ 72, 1082095089u, 1819374372u, 3202219056u, 2617077637u, 1082097664u, 0u, 0, CEIL_TOLERANCE, 0},

{ 73, 1094345280u, 546465680u, 1048653554u, 532401530u, 1094345281u, 0u, 0, CEIL_TOLERANCE, 0},

{ 74, 1044571091u, 2759019783u, 3221570188u, 3554409630u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 75, 3212931282u, 2527221960u, 1099107978u, 2696971136u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 76, 1097158000u, 173134582u, 1087299442u, 2877794600u, 1097158000u, 536870912u, 0, CEIL_TOLERANCE, 0},

{ 77, 1086400474u, 547642046u, 3197285510u, 3521286127u, 1086400512u, 0u, 0, CEIL_TOLERANCE, 0},

{ 78, 1074860702u, 1231582831u, 1090971734u, 1653446832u, 1075052544u, 0u, 0, CEIL_TOLERANCE, 0},

{ 79, 1061342535u, 3762182190u, 3252967851u, 2615360375u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 80, 3200834423u, 2588067350u, 3206610957u, 3551059728u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 81, 3206978856u, 845263327u, 1073415902u, 1749010288u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 82, 3205576370u, 3092685191u, 3190678390u, 2872219490u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 83, 3218315055u, 4107255722u, 3205337291u, 3069068345u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 84, 3243990857u, 2294867524u, 3216653996u, 2860384670u, 3243990857u, 2147483648u, 0, CEIL_TOLERANCE, 0},

{ 85, 3193326350u, 2265437201u, 3240198679u, 1234948614u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 86, 3216359929u, 1186945904u, 3251167793u, 1896750851u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 87, 1081575478u, 3686084548u, 1079286273u, 3309277689u, 1081577472u, 0u, 0, CEIL_TOLERANCE, 0},

{ 88, 3223476240u, 3006860614u, 3231412671u, 2504194724u, 3223453696u, 0u, 0, CEIL_TOLERANCE, 0},

{ 89, 3236149260u, 1948717780u, 1048317852u, 3791803982u, 3236149248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 90, 1064345015u, 4272034420u, 3192982124u, 1526175922u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 91, 3245817826u, 4108948538u, 1104691287u, 640541190u, 3245817826u, 4026531840u, 0, CEIL_TOLERANCE, 0},

{ 92, 3207257417u, 3259274853u, 1082507103u, 3677038020u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 93, 1083132498u, 3781708548u, 1096584871u, 1207386447u, 1083133952u, 0u, 0, CEIL_TOLERANCE, 0},

{ 94, 3188695272u, 3011191657u, 1103798670u, 1096124830u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 95, 1063235023u, 2540404725u, 3240157452u, 4122845725u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 96, 1083643710u, 311336721u, 3214382367u, 4212533768u, 1083643904u, 0u, 0, CEIL_TOLERANCE, 0},

{ 97, 1051139427u, 1769686293u, 3240200923u, 3538602249u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 98, 1078227549u, 508056696u, 1103793878u, 776520138u, 1078231040u, 0u, 0, CEIL_TOLERANCE, 0},

{ 99, 1102910577u, 4064962760u, 1077424413u, 819766631u, 1102910577u, 4076863488u, 0, CEIL_TOLERANCE, 0},

{ 100, 1074178362u, 2112385259u, 3227593179u, 1187058516u, 1074266112u, 0u, 0, CEIL_TOLERANCE, 0},

{ 101, 1082295059u, 2514398118u, 1076579751u, 870169764u, 1082296320u, 0u, 0, CEIL_TOLERANCE, 0},

{ 102, 3246851392u, 1190259653u, 1069112254u, 3417249840u, 3246851392u, 1073741824u, 0, CEIL_TOLERANCE, 0},

{ 103, 3193663083u, 3467757357u, 3215075200u, 2168175352u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 104, 3239643135u, 1508888184u, 1060430241u, 3524949092u, 3239643132u, 0u, 0, CEIL_TOLERANCE, 0},

{ 105, 3197412883u, 166402802u, 3237198975u, 3572369260u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 106, 1081866822u, 2441536203u, 3202753937u, 3658194573u, 1081868288u, 0u, 0, CEIL_TOLERANCE, 0},

{ 107, 1062392908u, 2479742828u, 1062342831u, 4214154303u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 108, 1082396794u, 426896765u, 1066474375u, 2201754442u, 1082398720u, 0u, 0, CEIL_TOLERANCE, 0},

{ 109, 3195629021u, 2055773734u, 3239267288u, 291396537u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 110, 3236968033u, 874125203u, 3210508124u, 4091098764u, 3236968032u, 0u, 0, CEIL_TOLERANCE, 0},

{ 111, 1065716026u, 120488169u, 3241241441u, 1985269424u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 112, 3206539410u, 2243036871u, 3243941101u, 740033495u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 113, 3209424906u, 1176656356u, 1074261978u, 3588756231u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 114, 3252816791u, 3037249392u, 1061635587u, 1173102190u, 3252816791u, 3036676096u, 0, CEIL_TOLERANCE, 0},

{ 115, 3237209581u, 2882725208u, 1071440059u, 69225090u, 3237209568u, 0u, 0, CEIL_TOLERANCE, 0},

{ 116, 3212663474u, 272319256u, 1072073912u, 2493997123u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 117, 1057720186u, 188610379u, 3232757923u, 2209647371u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 118, 3236758517u, 1990439193u, 1078073146u, 622849962u, 3236758496u, 0u, 0, CEIL_TOLERANCE, 0},

{ 119, 1057135741u, 756052458u, 1081649113u, 2247475162u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 120, 1061623064u, 3878055211u, 3222407050u, 2979438623u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 121, 3195290997u, 2676398686u, 1105124431u, 3631096636u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 122, 1065079390u, 1697791764u, 3198136112u, 2299842819u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 123, 1078084768u, 1931502677u, 3215264397u, 3016456382u, 1078099968u, 0u, 0, CEIL_TOLERANCE, 0},

{ 124, 1072253426u, 343404215u, 1061072607u, 4266232536u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 125, 3241230836u, 4140316002u, 1082896196u, 868256971u, 3241230836u, 0u, 0, CEIL_TOLERANCE, 0},

{ 126, 1075422810u, 1864139509u, 3187675097u, 3084482407u, 1075576832u, 0u, 0, CEIL_TOLERANCE, 0},

{ 127, 3220191323u, 2427162817u, 3234748208u, 2715105792u, 3220176896u, 0u, 0, CEIL_TOLERANCE, 0},

{ 128, 1064600512u, 3943389284u, 1046724025u, 3626825684u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 129, 1045423002u, 967350972u, 1093012318u, 448002663u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 130, 3251845859u, 105058217u, 1069733884u, 171786224u, 3251845859u, 104857600u, 0, CEIL_TOLERANCE, 0},

{ 131, 3189614508u, 2863482262u, 3204997271u, 877784425u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 132, 3202629313u, 2801782962u, 3213604117u, 762347195u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 133, 3233486727u, 2317950339u, 3246333414u, 2135700283u, 3233486592u, 0u, 0, CEIL_TOLERANCE, 0},

{ 134, 1056516397u, 4171919805u, 1082858682u, 2180920863u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 135, 3220149084u, 1918836931u, 1083603224u, 3137821660u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 136, 1103902874u, 3456203663u, 3235600523u, 2335688936u, 1103902874u, 3464495104u, 0, CEIL_TOLERANCE, 0},

{ 137, 1042279322u, 4170235262u, 1051824459u, 521583737u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 138, 1081348303u, 1296623194u, 3250673860u, 2442872540u, 1081352192u, 0u, 0, CEIL_TOLERANCE, 0},

{ 139, 1061684277u, 289979405u, 1049514449u, 3865737145u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 140, 1075298944u, 3699090239u, 1054539840u, 3259249360u, 1075314688u, 0u, 0, CEIL_TOLERANCE, 0},

{ 141, 1096418100u, 1619819023u, 1045993352u, 1022642459u, 1096418100u, 2147483648u, 0, CEIL_TOLERANCE, 0},

{ 142, 1081433004u, 19455098u, 3229182089u, 2096003654u, 1081434112u, 0u, 0, CEIL_TOLERANCE, 0},

{ 143, 1076297936u, 3803689997u, 1071630912u, 2263729518u, 1076363264u, 0u, 0, CEIL_TOLERANCE, 0},

{ 144, 1101357261u, 2816837387u, 1063422305u, 2597606398u, 1101357261u, 2818572288u, 0, CEIL_TOLERANCE, 0},

{ 145, 1069100169u, 3680967506u, 1040201163u, 179224723u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 146, 3188629767u, 978126928u, 1101553990u, 4047893399u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 147, 3222322045u, 4059818629u, 1042678728u, 3640293589u, 3222274048u, 0u, 0, CEIL_TOLERANCE, 0},

{ 148, 3248464040u, 3383497159u, 1070002807u, 1527313008u, 3248464040u, 3355443200u, 0, CEIL_TOLERANCE, 0},

{ 149, 3202707679u, 2599946514u, 1104170406u, 2738675352u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 150, 1105232623u, 3616571377u, 1060859316u, 1130603218u, 1105232623u, 3617587200u, 0, CEIL_TOLERANCE, 0},

{ 151, 1076028796u, 3859211180u, 1067940450u, 1744531824u, 1076101120u, 0u, 0, CEIL_TOLERANCE, 0},

{ 152, 1042831340u, 1958025850u, 3236511256u, 2472176453u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 153, 3233107089u, 182132862u, 3250520938u, 3924356991u, 3233106944u, 0u, 0, CEIL_TOLERANCE, 0},

{ 154, 3230501884u, 35632886u, 3209806504u, 1453402523u, 3230500864u, 0u, 0, CEIL_TOLERANCE, 0},

{ 155, 1083522102u, 743225214u, 3202890678u, 142917400u, 1083523072u, 0u, 0, CEIL_TOLERANCE, 0},

{ 156, 1080684976u, 1472665012u, 3203138231u, 256588219u, 1080688640u, 0u, 0, CEIL_TOLERANCE, 0},

{ 157, 1094982162u, 1062927000u, 1061134072u, 931677439u, 1094982162u, 2147483648u, 0, CEIL_TOLERANCE, 0},

{ 158, 1058377732u, 2320910576u, 1055663370u, 288059864u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 159, 1078958093u, 1448349062u, 3199478070u, 3454027134u, 1078984704u, 0u, 0, CEIL_TOLERANCE, 0},

{ 160, 3237458798u, 4215445172u, 3196654963u, 2231888973u, 3237458784u, 0u, 0, CEIL_TOLERANCE, 0},

{ 161, 3246632231u, 40413554u, 3232578253u, 983832844u, 3246632231u, 0u, 0, CEIL_TOLERANCE, 0},

{ 162, 3223721534u, 3995725873u, 1050082319u, 777231627u, 3223715840u, 0u, 0, CEIL_TOLERANCE, 0},

{ 163, 1040986626u, 672789828u, 3253385962u, 2982787335u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 164, 1068390875u, 2075971825u, 1070166500u, 4034633931u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 165, 3210046177u, 1018222907u, 3244621407u, 3090050495u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 166, 1067680885u, 937732557u, 3200798890u, 2557898276u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 167, 1078342316u, 130346162u, 3223590310u, 275568693u, 1078362112u, 0u, 0, CEIL_TOLERANCE, 0},

{ 168, 1042898869u, 3807416441u, 1075961161u, 3706820266u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 169, 3216099005u, 1710131411u, 1078123323u, 1900790503u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 170, 3238819361u, 3420420033u, 3210844787u, 588423066u, 3238819360u, 0u, 0, CEIL_TOLERANCE, 0},

{ 171, 1049684114u, 1160162008u, 3246307879u, 4265764460u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 172, 1102543434u, 366653268u, 3188814424u, 466059202u, 1102543434u, 369098752u, 0, CEIL_TOLERANCE, 0},

{ 173, 3226627739u, 1325936170u, 3221436876u, 680097612u, 3226615808u, 0u, 0, CEIL_TOLERANCE, 0},

{ 174, 3240391116u, 1827735934u, 3200554324u, 2875599271u, 3240391116u, 0u, 0, CEIL_TOLERANCE, 0},

{ 175, 3191030402u, 3117037091u, 3239246636u, 15838845u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 176, 1051974004u, 749718883u, 3223587064u, 1523766569u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 177, 1044833651u, 1966536294u, 3250158026u, 699164258u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 178, 1098048435u, 3759049394u, 1106085272u, 1183789499u, 1098048435u, 4026531840u, 0, CEIL_TOLERANCE, 0},

{ 179, 1081201623u, 1970107747u, 1095245453u, 2308233883u, 1081204736u, 0u, 0, CEIL_TOLERANCE, 0},

{ 180, 1084756444u, 1491017852u, 1041444355u, 1723375725u, 1084756480u, 0u, 0, CEIL_TOLERANCE, 0},

{ 181, 3216630070u, 1141349287u, 1097465301u, 3403438584u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 182, 3230571908u, 1711085243u, 3250239076u, 1377484108u, 3230570496u, 0u, 0, CEIL_TOLERANCE, 0},

{ 183, 1098385019u, 2880275004u, 1084039594u, 1611394950u, 1098385019u, 2952790016u, 0, CEIL_TOLERANCE, 0},

{ 184, 3234221435u, 2626629370u, 1063771493u, 1499080813u, 3234221312u, 0u, 0, CEIL_TOLERANCE, 0},

{ 185, 1055231263u, 3936262414u, 1103919063u, 3175668759u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 186, 3207981719u, 1270950554u, 3194616071u, 3680565379u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 187, 3208148223u, 1066985223u, 3221613219u, 4089383168u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 188, 3217058839u, 4017329311u, 3208334452u, 1667591498u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 189, 1088164157u, 3154656624u, 1061894279u, 3886344038u, 1088164160u, 0u, 0, CEIL_TOLERANCE, 0},

{ 190, 1050652945u, 977586119u, 3209762784u, 953839852u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 191, 1104965247u, 143071571u, 3206165386u, 913097445u, 1104965247u, 146800640u, 0, CEIL_TOLERANCE, 0},

{ 192, 3190565456u, 1371169579u, 1057079837u, 2594818628u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 193, 3251793336u, 2259342224u, 3217432469u, 1824221478u, 3251793336u, 2256535552u, 0, CEIL_TOLERANCE, 0},

{ 194, 3246834775u, 1576604497u, 1079368611u, 185078728u, 3246834775u, 1476395008u, 0, CEIL_TOLERANCE, 0},

{ 195, 3221679427u, 444800035u, 3243343143u, 1734989302u, 3221225472u, 0u, 0, CEIL_TOLERANCE, 0},

{ 196, 1072748883u, 130452005u, 1041548088u, 2158433515u, 1073741824u, 0u, 0, CEIL_TOLERANCE, 0},

{ 197, 3234695968u, 1941318385u, 1045807374u, 792193370u, 3234695936u, 0u, 0, CEIL_TOLERANCE, 0},

{ 198, 3238299666u, 1299392207u, 3212131720u, 3205732280u, 3238299664u, 0u, 0, CEIL_TOLERANCE, 0},

{ 199, 1098698804u, 3035093505u, 1052187689u, 3287702190u, 1098698804u, 3221225472u, 0, CEIL_TOLERANCE, 0},

{ 200, 3246676260u, 2160225215u, 1102624859u, 836655570u, 3246676260u, 2147483648u, 0, CEIL_TOLERANCE, 0},

{ 201, 1096723626u, 3360816360u, 3246176356u, 172860634u, 1096723627u, 0u, 0, CEIL_TOLERANCE, 0},

{ 202, 1070995788u, 146831910u, 1051558014u, 2340722078u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 203, 3230416351u, 1603798153u, 3207725532u, 1099413093u, 3230414848u, 0u, 0, CEIL_TOLERANCE, 0},

{ 204, 3246678378u, 2429340443u, 3190303581u, 3223770005u, 3246678378u, 2415919104u, 0, CEIL_TOLERANCE, 0},

{ 205, 1075882959u, 955542166u, 3230415151u, 275583938u, 1075970048u, 0u, 0, CEIL_TOLERANCE, 0},

{ 206, 1092971882u, 513397822u, 1090646554u, 2089321329u, 1092971884u, 0u, 0, CEIL_TOLERANCE, 0},

{ 207, 3193169876u, 2782073372u, 1046063872u, 4023829068u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 208, 1098564822u, 3242223094u, 3194111199u, 4264674108u, 1098564822u, 3489660928u, 0, CEIL_TOLERANCE, 0},

{ 209, 3238510821u, 3506346169u, 1047020885u, 1742757458u, 3238510816u, 0u, 0, CEIL_TOLERANCE, 0},

{ 210, 3192664477u, 1265459564u, 3193450280u, 3650514880u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 211, 1081755890u, 1525260440u, 3235452527u, 2612331392u, 1081757696u, 0u, 0, CEIL_TOLERANCE, 0},

{ 212, 3248668920u, 1263613754u, 3219096387u, 635677201u, 3248668920u, 1241513984u, 0, CEIL_TOLERANCE, 0},

{ 213, 3206272087u, 4140947288u, 3200792376u, 2013265346u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 214, 3249974392u, 1912759945u, 3237045253u, 1351396825u, 3249974392u, 1912602624u, 0, CEIL_TOLERANCE, 0},

{ 215, 3248205162u, 1001433078u, 3206926643u, 2741676659u, 3248205162u, 939524096u, 0, CEIL_TOLERANCE, 0},

{ 216, 1080923606u, 1088945233u, 1085095743u, 3986114865u, 1080926208u, 0u, 0, CEIL_TOLERANCE, 0},

{ 217, 3215734057u, 831239754u, 1099828675u, 3071308141u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 218, 3225834497u, 3473592372u, 1102759382u, 1309576357u, 3225812992u, 0u, 0, CEIL_TOLERANCE, 0},

{ 219, 3251186706u, 2042340367u, 1091945628u, 2062772374u, 3251186706u, 2038431744u, 0, CEIL_TOLERANCE, 0},

{ 220, 3194765687u, 1840632537u, 1096533424u, 807510337u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 221, 3231451722u, 144814872u, 3212698915u, 2282965697u, 3231451136u, 0u, 0, CEIL_TOLERANCE, 0},

{ 222, 1071236430u, 2552499583u, 3229111426u, 1470130815u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 223, 3243093065u, 2858583811u, 1089760910u, 6360994u, 3243093065u, 2147483648u, 0, CEIL_TOLERANCE, 0},

{ 224, 3198264929u, 1614537194u, 1075198900u, 4088705365u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 225, 3250939070u, 3545570051u, 1065221325u, 1629217700u, 3250939070u, 3539992576u, 0, CEIL_TOLERANCE, 0},

{ 226, 1072744324u, 1813392963u, 3235313361u, 3772501596u, 1073741824u, 0u, 0, CEIL_TOLERANCE, 0},

{ 227, 3196802686u, 2406734491u, 1042055360u, 89226663u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 228, 3195751081u, 1618759139u, 3194723421u, 3888234802u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 229, 1055357248u, 3590035633u, 3212424262u, 2892456615u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 230, 3189943060u, 2431246964u, 3241512456u, 183850734u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 231, 1089501101u, 3088319870u, 3211544311u, 862225364u, 1089501104u, 0u, 0, CEIL_TOLERANCE, 0},

{ 232, 3235294664u, 3495352775u, 1058576726u, 596957268u, 3235294656u, 0u, 0, CEIL_TOLERANCE, 0},

{ 233, 1046553348u, 1839214511u, 3205004060u, 1923240983u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 234, 1058073864u, 739619702u, 3223356436u, 2689885273u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 235, 3200324971u, 2143376228u, 1098306332u, 3760236188u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 236, 1074621795u, 671680995u, 1091262633u, 2315535361u, 1074790400u, 0u, 0, CEIL_TOLERANCE, 0},

{ 237, 3214165989u, 2493598049u, 3194927008u, 1689107592u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 238, 3189989959u, 1578976988u, 1066368383u, 2117279163u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 239, 3222988111u, 3425290087u, 1098487295u, 1263412017u, 3222798336u, 0u, 0, CEIL_TOLERANCE, 0},

{ 240, 3208432764u, 3635396812u, 1070999426u, 3965655689u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 241, 1060196346u, 2183973116u, 1101098363u, 1118613350u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 242, 3221946089u, 199516350u, 1078368488u, 164621458u, 3221749760u, 0u, 0, CEIL_TOLERANCE, 0},

{ 243, 3187706018u, 3570940805u, 3230316437u, 3596080877u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 244, 3208209565u, 980880313u, 1079833442u, 884465057u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 245, 1099977124u, 2558179220u, 1052873711u, 1233598120u, 1099977124u, 2617245696u, 0, CEIL_TOLERANCE, 0},

{ 246, 1047115221u, 1909994277u, 1085015978u, 2991527452u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 247, 1060855260u, 1680290941u, 1074309900u, 2943870846u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 248, 1059496132u, 1451927357u, 3228615456u, 1502585517u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 249, 3236211951u, 751136990u, 3230392165u, 3493275472u, 3236211936u, 0u, 0, CEIL_TOLERANCE, 0},

{ 250, 1098365967u, 1209623292u, 3238056647u, 979495322u, 1098365967u, 1342177280u, 0, CEIL_TOLERANCE, 0},

{ 251, 3250424296u, 1717672108u, 1048120593u, 531240316u, 3250424296u, 1711276032u, 0, CEIL_TOLERANCE, 0},

{ 252, 1054174923u, 3548721654u, 1086112947u, 3391817224u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 253, 1077836851u, 2758195125u, 1100880260u, 2028440924u, 1077870592u, 0u, 0, CEIL_TOLERANCE, 0},

{ 254, 1084223893u, 2750123373u, 3232200256u, 1086294931u, 1084224512u, 0u, 0, CEIL_TOLERANCE, 0},

{ 255, 1043958672u, 2986160931u, 1076097908u, 2540046258u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 256, 3235476602u, 451471221u, 1064816262u, 4187644495u, 3235476544u, 0u, 0, CEIL_TOLERANCE, 0},

{ 257, 1099460228u, 2439500162u, 1065280276u, 1979490284u, 1099460228u, 2550136832u, 0, CEIL_TOLERANCE, 0},

{ 258, 1040415832u, 2283342035u, 1078398157u, 1345997553u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 259, 3213249348u, 179066662u, 1103272172u, 1217337578u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 260, 3211562377u, 3779303391u, 3210023352u, 3115946280u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 261, 3192989874u, 286247089u, 1085153597u, 713645369u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 262, 1093670500u, 1468283899u, 1042831668u, 2022736418u, 1093670501u, 0u, 0, CEIL_TOLERANCE, 0},

{ 263, 1083139105u, 3305564080u, 1065483445u, 482392433u, 1083140096u, 0u, 0, CEIL_TOLERANCE, 0},

{ 264, 3201695807u, 2256346551u, 3222430705u, 2071674991u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 265, 3204024695u, 2295269094u, 1084451053u, 2773103941u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 266, 1078173946u, 1482721827u, 1092243422u, 3125409590u, 1078198272u, 0u, 0, CEIL_TOLERANCE, 0},

{ 267, 3221065973u, 1381740563u, 1071545057u, 2918235653u, 3220176896u, 0u, 0, CEIL_TOLERANCE, 0},

{ 268, 3238715972u, 1105857967u, 3241990046u, 2703723225u, 3238715968u, 0u, 0, CEIL_TOLERANCE, 0},

{ 269, 1043015571u, 174689677u, 1079333374u, 3947057014u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 270, 1090461859u, 2023082423u, 3242081486u, 1169047927u, 1090461872u, 0u, 0, CEIL_TOLERANCE, 0},

{ 271, 1064525899u, 3742487766u, 1043425732u, 194972788u, 1072693248u, 0u, 0, CEIL_TOLERANCE, 0},

{ 272, 3213791827u, 2136071361u, 3211529757u, 993675115u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},

{ 273, 3213663381u, 210772141u, 3241441539u, 580731413u, 2147483648u, 0u, 0, CEIL_TOLERANCE, 0},