Subversion Repositories openrisc

#ifndef CYGONCE_LIBM_SINH_H

#define CYGONCE_LIBM_SINH_H

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

//

//      sinh.h

//

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

static const Cyg_libm_test_double_vec_t sinh_vec[] = {

// AUTOMATICALLY GENERATED VECTORS START

{ 1, 1074853420u, 2506787616u, 1090024059u, 3619148316u, 1078024954u, 1325672821u, 0, SINH_TOLERANCE, 0},

{ 2, 3220250806u, 3176730980u, 1051524793u, 2993920299u, 3220477814u, 4166713187u, 0, SINH_TOLERANCE, 0},

{ 3, 3226028315u, 2725707538u, 3232101343u, 2346810316u, 3295615262u, 3406370818u, 0, SINH_TOLERANCE, 0},

{ 4, 1078922874u, 2088062470u, 3201242716u, 420891118u, 1165520069u, 2120331304u, 0, SINH_TOLERANCE, 0},

{ 5, 3221200677u, 2636405208u, 1100049309u, 471635570u, 3222032301u, 4262763718u, 0, SINH_TOLERANCE, 0},

{ 6, 1077828855u, 1746012320u, 1054478713u, 3333988501u, 1117516582u, 699114409u, 0, SINH_TOLERANCE, 0},

{ 7, 1066827528u, 183014794u, 3202039382u, 2016785810u, 1066827646u, 2740062550u, 0, SINH_TOLERANCE, 0},

{ 8, 3219777490u, 2688957927u, 1046089230u, 2709029994u, 3219969104u, 3103290362u, 0, SINH_TOLERANCE, 0},

{ 9, 1070330066u, 624574473u, 1045840574u, 3473266330u, 1070344642u, 3098664718u, 0, SINH_TOLERANCE, 0},

{ 10, 3217502754u, 1605286142u, 1068931671u, 4233776869u, 3217511088u, 1479052898u, 0, SINH_TOLERANCE, 0},

{ 11, 1069780594u, 1857607719u, 3222889559u, 3417070006u, 1069785586u, 2351965982u, 0, SINH_TOLERANCE, 0},

{ 12, 1081579891u, 3981151660u, 1088899021u, 1332651746u, 1642782946u, 1345086100u, 0, SINH_TOLERANCE, 0},

{ 13, 1075860838u, 3824988054u, 1066856791u, 2070129652u, 1083933725u, 1287980412u, 0, SINH_TOLERANCE, 0},

{ 14, 3218045550u, 1372884064u, 1080833116u, 3229926662u, 3218066407u, 1712809869u, 0, SINH_TOLERANCE, 0},

{ 15, 1078097861u, 3217805330u, 3191644264u, 2014578707u, 1127449977u, 1807458751u, 0, SINH_TOLERANCE, 0},

{ 16, 1080267391u, 265058758u, 3239903247u, 1630600647u, 1308474718u, 1523986687u, 0, SINH_TOLERANCE, 0},

{ 17, 1073221381u, 1946677669u, 3198462609u, 926009897u, 1073814134u, 965164266u, 0, SINH_TOLERANCE, 0},

{ 18, 1073178875u, 2271884183u, 3203741999u, 2118617783u, 1073764879u, 2502245462u, 0, SINH_TOLERANCE, 0},

{ 19, 3214772053u, 213658772u, 3249401130u, 314151656u, 3214772321u, 1121595103u, 0, SINH_TOLERANCE, 0},

{ 20, 3228946464u, 1564829925u, 3197817016u, 497230814u, 3747008735u, 3665494831u, 0, SINH_TOLERANCE, 0},

{ 21, 3219408362u, 2075329122u, 3231746400u, 169900577u, 3219499040u, 1378507091u, 0, SINH_TOLERANCE, 0},

{ 22, 1067674434u, 541549344u, 1096608669u, 3119070100u, 1067674739u, 1142681329u, 0, SINH_TOLERANCE, 0},

{ 23, 1075989871u, 567496114u, 1045286891u, 1969998540u, 1085434125u, 3122029707u, 0, SINH_TOLERANCE, 0},

{ 24, 1069985379u, 1299369769u, 1049342524u, 4167404066u, 1069993170u, 957868079u, 0, SINH_TOLERANCE, 0},

{ 25, 3218302829u, 3348930841u, 1078472138u, 358457347u, 3218322401u, 4210136577u, 0, SINH_TOLERANCE, 0},

{ 26, 1073166449u, 2192461366u, 1099527247u, 3184735642u, 1073750816u, 3805009043u, 0, SINH_TOLERANCE, 0},

{ 27, 1068590412u, 331696577u, 3189610016u, 793242270u, 1068591289u, 2713729777u, 0, SINH_TOLERANCE, 0},

{ 28, 3229460262u, 2322696981u, 1083791358u, 3020766674u, 3936770457u, 4287903039u, 0, SINH_TOLERANCE, 0},

{ 29, 1066922273u, 252085215u, 3214426435u, 4139068910u, 1066922416u, 83845212u, 0, SINH_TOLERANCE, 0},

{ 30, 3221457149u, 105589263u, 1056316170u, 261630827u, 3222720706u, 3192021150u, 0, SINH_TOLERANCE, 0},

{ 31, 1082047584u, 428765703u, 3251828686u, 2009972239u, 1815498097u, 3462966019u, 0, SINH_TOLERANCE, 0},

{ 32, 1079693651u, 3517376586u, 3240257920u, 3304487302u, 1233851281u, 1250614638u, 0, SINH_TOLERANCE, 0},

{ 33, 3224100728u, 237004814u, 3237899261u, 3364008659u, 3240179835u, 168260289u, 0, SINH_TOLERANCE, 0},

{ 34, 3214121920u, 472004928u, 3226869477u, 1186387580u, 3214121998u, 2769782808u, 0, SINH_TOLERANCE, 0},

{ 35, 1068906914u, 4085763910u, 1106394906u, 2684738273u, 1068908745u, 1510279260u, 0, SINH_TOLERANCE, 0},

{ 36, 1069636551u, 2055490142u, 3231581370u, 3879040079u, 1069640041u, 2752142379u, 0, SINH_TOLERANCE, 0},

{ 37, 3213093895u, 3725731239u, 1061652681u, 591292963u, 3213093916u, 1967435138u, 0, SINH_TOLERANCE, 0},

{ 38, 3221869253u, 1147041027u, 3215417793u, 624695933u, 3223924727u, 2571982132u, 0, SINH_TOLERANCE, 0},

{ 39, 3217587110u, 705725219u, 3238067573u, 1116238321u, 3217596911u, 3311611344u, 0, SINH_TOLERANCE, 0},

{ 40, 3217852848u, 7287411u, 1045917232u, 116067742u, 3217868380u, 3703123310u, 0, SINH_TOLERANCE, 0},

{ 41, 3226423734u, 3604989074u, 1066381836u, 545298780u, 3313804928u, 3198996771u, 0, SINH_TOLERANCE, 0},

{ 42, 3221178088u, 1681476121u, 1060345752u, 3553822398u, 3221991193u, 2715753141u, 0, SINH_TOLERANCE, 0},

{ 43, 1080811562u, 3410480388u, 1052460275u, 1660607230u, 1408926430u, 2715754844u, 0, SINH_TOLERANCE, 0},

{ 44, 1077682533u, 1494984673u, 3196647153u, 287894723u, 1114110585u, 2741076212u, 0, SINH_TOLERANCE, 0},

{ 45, 1068516615u, 644548665u, 1081948134u, 2442134629u, 1068517333u, 260208407u, 0, SINH_TOLERANCE, 0},

{ 46, 1077068335u, 2312530895u, 3221584595u, 3379665576u, 1100002913u, 3357999193u, 0, SINH_TOLERANCE, 0},

{ 47, 1079308159u, 3018463866u, 1086226574u, 404012923u, 1198269222u, 2905917257u, 0, SINH_TOLERANCE, 0},

{ 48, 1071024755u, 1710279345u, 3251401196u, 3528946000u, 1071055486u, 60512890u, 0, SINH_TOLERANCE, 0},

{ 49, 1070973535u, 2164450219u, 1083520023u, 3312018966u, 1071001167u, 1910140323u, 0, SINH_TOLERANCE, 0},

{ 50, 1069831588u, 2648986431u, 1050330591u, 1474376550u, 1069837201u, 704378001u, 0, SINH_TOLERANCE, 0},

{ 51, 3214344972u, 1839068700u, 1077406406u, 3013052171u, 3214345099u, 1580301750u, 0, SINH_TOLERANCE, 0},

{ 52, 1066416574u, 772102380u, 3220729740u, 4219039958u, 1066416618u, 2907767777u, 0, SINH_TOLERANCE, 0},

{ 53, 3223180765u, 3058618779u, 1046304788u, 3338676024u, 3230342304u, 3808714856u, 0, SINH_TOLERANCE, 0},

{ 54, 1067949353u, 506286854u, 1094907481u, 2217000199u, 1067949901u, 3532436019u, 0, SINH_TOLERANCE, 0},

{ 55, 1076136854u, 1147428263u, 1065432625u, 3034786717u, 1087127673u, 1621780183u, 0, SINH_TOLERANCE, 0},

{ 56, 1075725296u, 2844125311u, 1082985198u, 2561492677u, 1083060296u, 554895537u, 0, SINH_TOLERANCE, 0},

{ 57, 3218876948u, 704542600u, 3222902057u, 2762779203u, 3218937103u, 1557942213u, 0, SINH_TOLERANCE, 0},

{ 58, 3215409254u, 184131949u, 3249723525u, 1667366082u, 3215409777u, 3745315154u, 0, SINH_TOLERANCE, 0},

{ 59, 3221512446u, 3904224140u, 1067056698u, 2942159914u, 3222889439u, 2388317524u, 0, SINH_TOLERANCE, 0},

{ 60, 1080713919u, 426114282u, 3209056785u, 1083606355u, 1390879870u, 3657642479u, 0, SINH_TOLERANCE, 0},

{ 61, 1082048697u, 3774123863u, 1106787580u, 2722107965u, 1815954824u, 2241806278u, 0, SINH_TOLERANCE, 0},

{ 62, 1077519332u, 1377734762u, 1104232051u, 2377063483u, 1110428932u, 844049504u, 0, SINH_TOLERANCE, 0},

{ 63, 1072526287u, 1029739074u, 1105467109u, 3062201018u, 1072751914u, 89150669u, 0, SINH_TOLERANCE, 0},

{ 64, 3225304413u, 773857656u, 3214251949u, 335833884u, 3264787509u, 3714139170u, 0, SINH_TOLERANCE, 0},

{ 65, 3216856098u, 1473865960u, 1103073830u, 4000427507u, 3216860305u, 3030706697u, 0, SINH_TOLERANCE, 0},

{ 66, 1081165135u, 4242092620u, 1067009473u, 14539161u, 1489589453u, 1225921132u, 0, SINH_TOLERANCE, 0},

{ 67, 3214536170u, 1732245037u, 1101371955u, 1533536108u, 3214536352u, 18093930u, 0, SINH_TOLERANCE, 0},

{ 68, 3228182475u, 1833841275u, 1099430098u, 4144145552u, 3535623788u, 2429748539u, 0, SINH_TOLERANCE, 0},

{ 69, 3227493247u, 935007012u, 3188865420u, 604442938u, 3410487768u, 3099153891u, 0, SINH_TOLERANCE, 0},

{ 70, 3217389013u, 2211464602u, 1046255144u, 1635910526u, 3217395611u, 3092963229u, 0, SINH_TOLERANCE, 0},

{ 71, 1074725689u, 2549219008u, 3231633258u, 3733639385u, 1077419635u, 3503988551u, 0, SINH_TOLERANCE, 0},

{ 72, 1075803633u, 1819374372u, 3202219056u, 2617077637u, 1083464179u, 2382136690u, 0, SINH_TOLERANCE, 0},

{ 73, 1078616640u, 546465680u, 1048653554u, 532401530u, 1151433358u, 1660202510u, 0, SINH_TOLERANCE, 0},

{ 74, 1066591187u, 2759019783u, 3221570188u, 3554409630u, 1066591257u, 3681433865u, 0, SINH_TOLERANCE, 0},

{ 75, 3219222738u, 2527221960u, 1099107978u, 2696971136u, 3219280172u, 2776033431u, 0, SINH_TOLERANCE, 0},

{ 76, 1079332208u, 173134582u, 1087299442u, 2877794600u, 1200522954u, 2450291402u, 0, SINH_TOLERANCE, 0},

{ 77, 1076963290u, 547642046u, 3197285510u, 3521286127u, 1097525900u, 1604458481u, 0, SINH_TOLERANCE, 0},

{ 78, 1073812126u, 1231582831u, 1090971734u, 1653446832u, 1074833786u, 707719957u, 0, SINH_TOLERANCE, 0},

{ 79, 1070779719u, 3762182190u, 3252967851u, 2615360375u, 1070797520u, 4104947389u, 0, SINH_TOLERANCE, 0},

{ 80, 3216563063u, 2588067350u, 3206610957u, 3551059728u, 3216565624u, 2725656040u, 0, SINH_TOLERANCE, 0},

{ 81, 3217464616u, 845263327u, 1073415902u, 1749010288u, 3217472337u, 3825523119u, 0, SINH_TOLERANCE, 0},

{ 82, 3217110706u, 3092685191u, 3190678390u, 2872219490u, 3217114110u, 800542468u, 0, SINH_TOLERANCE, 0},

{ 83, 3220412207u, 4107255722u, 3205337291u, 3069068345u, 3220757928u, 314341153u, 0, SINH_TOLERANCE, 0},

{ 84, 3227213641u, 2294867524u, 3216653996u, 2860384670u, 3384744624u, 1311152806u, 0, SINH_TOLERANCE, 0},

{ 85, 3214297870u, 2265437201u, 3240198679u, 1234948614u, 3214297985u, 4040406728u, 0, SINH_TOLERANCE, 0},

{ 86, 3219505657u, 1186945904u, 3251167793u, 1896750851u, 3219618092u, 1119536396u, 0, SINH_TOLERANCE, 0},

{ 87, 1075284022u, 3686084548u, 1079286273u, 3309277689u, 1080454714u, 2582453855u, 0, SINH_TOLERANCE, 0},

{ 88, 3221379088u, 3006860614u, 3231412671u, 2504194724u, 3222510455u, 4288288336u, 0, SINH_TOLERANCE, 0},

{ 89, 3224614924u, 1948717780u, 1048317852u, 3791803982u, 3248870698u, 776596525u, 0, SINH_TOLERANCE, 0},

{ 90, 1070636471u, 4272034420u, 3192982124u, 1526175922u, 1070648746u, 3935275670u, 0, SINH_TOLERANCE, 0},

{ 91, 3226943458u, 4108948538u, 1104691287u, 640541190u, 3359767069u, 2139002760u, 0, SINH_TOLERANCE, 0},

{ 92, 3217743177u, 3259274853u, 1082507103u, 3677038020u, 3217756131u, 2371296595u, 0, SINH_TOLERANCE, 0},

{ 93, 1076841042u, 3781708548u, 1096584871u, 1207386447u, 1095222699u, 77086u, 0, SINH_TOLERANCE, 0},

{ 94, 3213861096u, 3011191657u, 1103798670u, 1096124830u, 3213861179u, 421678587u, 0, SINH_TOLERANCE, 0},

{ 95, 1071623631u, 2540404725u, 3240157452u, 4122845725u, 1071677062u, 3895505649u, 0, SINH_TOLERANCE, 0},

{ 96, 1076303678u, 311336721u, 3214382367u, 4212533768u, 1089026116u, 2663248725u, 0, SINH_TOLERANCE, 0},

{ 97, 1067916643u, 1769686293u, 3240200923u, 3538602249u, 1067917158u, 222451802u, 0, SINH_TOLERANCE, 0},

{ 98, 1075081821u, 508056696u, 1103793878u, 776520138u, 1079295536u, 2972109436u, 0, SINH_TOLERANCE, 0},

{ 99, 1080890481u, 4064962760u, 1077424413u, 819766631u, 1423488425u, 3317334315u, 0, SINH_TOLERANCE, 0},

{ 100, 1074178362u, 2112385259u, 3227593179u, 1187058516u, 1075900006u, 836207848u, 0, SINH_TOLERANCE, 0},

{ 101, 1076003603u, 2514398118u, 1076579751u, 870169764u, 1085567394u, 3935623416u, 0, SINH_TOLERANCE, 0},

{ 102, 3227977024u, 1190259653u, 1069112254u, 3417249840u, 3497647119u, 1074619959u, 0, SINH_TOLERANCE, 0},

{ 103, 3214634603u, 3467757357u, 3215075200u, 2168175352u, 3214634818u, 3566853144u, 0, SINH_TOLERANCE, 0},

{ 104, 3226011647u, 1508888184u, 1060430241u, 3524949092u, 3294802675u, 4152444040u, 0, SINH_TOLERANCE, 0},

{ 105, 3215238675u, 166402802u, 3237198975u, 3572369260u, 3215239041u, 3873229460u, 0, SINH_TOLERANCE, 0},

{ 106, 1075575366u, 2441536203u, 3202753937u, 3658194573u, 1082198547u, 1827858198u, 0, SINH_TOLERANCE, 0},

{ 107, 1070781516u, 2479742828u, 1062342831u, 4214154303u, 1070799395u, 3712910548u, 0, SINH_TOLERANCE, 0},

{ 108, 1076105338u, 426896765u, 1066474375u, 2201754442u, 1086731957u, 3444804028u, 0, SINH_TOLERANCE, 0},

{ 109, 3214503389u, 2055773734u, 3239267288u, 291396537u, 3214503560u, 3311868033u, 0, SINH_TOLERANCE, 0},

{ 110, 3224385121u, 874125203u, 3210508124u, 4091098764u, 3243570638u, 529374880u, 0, SINH_TOLERANCE, 0},

{ 111, 1072007482u, 120488169u, 3241241441u, 1985269424u, 1072116464u, 1747805192u, 0, SINH_TOLERANCE, 0},

{ 112, 3218073746u, 2243036871u, 3243941101u, 740033495u, 3218087608u, 785163442u, 0, SINH_TOLERANCE, 0},

{ 113, 3218862090u, 1176656356u, 1074261978u, 3588756231u, 3218920795u, 1452796058u, 0, SINH_TOLERANCE, 0},

{ 114, 3228699543u, 3037249392u, 1061635587u, 1173102190u, 3655813503u, 1211293113u, 0, SINH_TOLERANCE, 0},

{ 115, 3224626669u, 2882725208u, 1071440059u, 69225090u, 3249151542u, 2351994968u, 0, SINH_TOLERANCE, 0},

{ 116, 3218954930u, 272319256u, 1072073912u, 2493997123u, 3219023093u, 1135310123u, 0, SINH_TOLERANCE, 0},

{ 117, 1070303098u, 188610379u, 3232757923u, 2209647371u, 1070317039u, 223028218u, 0, SINH_TOLERANCE, 0},

{ 118, 3225224181u, 1990439193u, 1078073146u, 622849962u, 3262975180u, 3932839728u, 0, SINH_TOLERANCE, 0},

{ 119, 1069718653u, 756052458u, 1081649113u, 2247475162u, 1069722955u, 1882814908u, 0, SINH_TOLERANCE, 0},

{ 120, 1071060248u, 3878055211u, 3222407050u, 2979438623u, 1071093258u, 904197307u, 0, SINH_TOLERANCE, 0},

{ 121, 3214165365u, 2676398686u, 1105124431u, 3631096636u, 3214165452u, 1700703451u, 0, SINH_TOLERANCE, 0},

{ 122, 1071370846u, 1697791764u, 3198136112u, 2299842819u, 1071428819u, 1170196391u, 0, SINH_TOLERANCE, 0},

{ 123, 1074939040u, 1931502677u, 3215264397u, 3016456382u, 1078464451u, 621896109u, 0, SINH_TOLERANCE, 0},

{ 124, 1073302002u, 343404215u, 1061072607u, 4266232536u, 1073912684u, 1810041008u, 0, SINH_TOLERANCE, 0},

{ 125, 3225502196u, 4140316002u, 1082896196u, 868256971u, 3271279372u, 3427688141u, 0, SINH_TOLERANCE, 0},

{ 126, 1074374234u, 1864139509u, 3187675097u, 3084482407u, 1076405552u, 679411243u, 0, SINH_TOLERANCE, 0},

{ 127, 3220191323u, 2427162817u, 3234748208u, 2715105792u, 3220382988u, 56164501u, 0, SINH_TOLERANCE, 0},

{ 128, 1070891968u, 3943389284u, 1046724025u, 3626825684u, 1070915110u, 2070530661u, 0, SINH_TOLERANCE, 0},

{ 129, 1067443098u, 967350972u, 1093012318u, 448002663u, 1067443436u, 161226759u, 0, SINH_TOLERANCE, 0},

{ 130, 3228777187u, 105058217u, 1069733884u, 171786224u, 3684540794u, 2944133190u, 0, SINH_TOLERANCE, 0},

{ 131, 3213731756u, 2863482262u, 3204997271u, 877784425u, 3213731824u, 2498719785u, 0, SINH_TOLERANCE, 0},

{ 132, 3216260801u, 2801782962u, 3213604117u, 762347195u, 3216262185u, 215087844u, 0, SINH_TOLERANCE, 0},

{ 133, 3224049543u, 2317950339u, 3246333414u, 2135700283u, 3239530127u, 699524600u, 0, SINH_TOLERANCE, 0},

{ 134, 1069099309u, 4171919805u, 1082858682u, 2180920863u, 1069101966u, 54602163u, 0, SINH_TOLERANCE, 0},

{ 135, 3221197660u, 1918836931u, 1083603224u, 3137821660u, 3222026761u, 3781661365u, 0, SINH_TOLERANCE, 0},

{ 136, 1081882778u, 3456203663u, 3235600523u, 2335688936u, 1754633057u, 4057860990u, 0, SINH_TOLERANCE, 0},

{ 137, 1066396570u, 4170235262u, 1051824459u, 521583737u, 1066396655u, 2875795819u, 0, SINH_TOLERANCE, 0},

{ 138, 1075056847u, 1296623194u, 3250673860u, 2442872540u, 1079171997u, 1498836646u, 0, SINH_TOLERANCE, 0},

{ 139, 1071121461u, 289979405u, 1049514449u, 3865737145u, 1071158661u, 3492336834u, 0, SINH_TOLERANCE, 0},

{ 140, 1074250368u, 3699090239u, 1054539840u, 3259249360u, 1076064424u, 3480543151u, 0, SINH_TOLERANCE, 0},

{ 141, 1079640884u, 1619819023u, 1045993352u, 1022642459u, 1229016129u, 1444182022u, 0, SINH_TOLERANCE, 0},

{ 142, 1075141548u, 19455098u, 3229182089u, 2096003654u, 1079643410u, 3425620460u, 0, SINH_TOLERANCE, 0},

{ 143, 1074200784u, 3803689997u, 1071630912u, 2263729518u, 1075948820u, 2127529538u, 0, SINH_TOLERANCE, 0},

{ 144, 1080385741u, 2816837387u, 1063422305u, 2597606398u, 1330293545u, 1095829056u, 0, SINH_TOLERANCE, 0},

{ 145, 1072245897u, 3680967506u, 1040201163u, 179224723u, 1072421412u, 1506861173u, 0, SINH_TOLERANCE, 0},

{ 146, 3213795591u, 978126928u, 1101553990u, 4047893399u, 3213795666u, 245795167u, 0, SINH_TOLERANCE, 0},

{ 147, 3221273469u, 4059818629u, 1042678728u, 3640293589u, 3222267219u, 1979827719u, 0, SINH_TOLERANCE, 0},

{ 148, 3228541096u, 3383497159u, 1070002807u, 1527313008u, 3601881758u, 4173296238u, 0, SINH_TOLERANCE, 0},

{ 149, 3216339167u, 2599946514u, 1104170406u, 2738675352u, 3216340810u, 4115543106u, 0, SINH_TOLERANCE, 0},

{ 150, 1081115375u, 3616571377u, 1060859316u, 1130603218u, 1471256027u, 3187069287u, 0, SINH_TOLERANCE, 0},

{ 151, 1073931644u, 3859211180u, 1067940450u, 1744531824u, 1075120505u, 3725496242u, 0, SINH_TOLERANCE, 0},

{ 152, 1065900012u, 1958025850u, 3236511256u, 2472176453u, 1065900050u, 102691228u, 0, SINH_TOLERANCE, 0},

{ 153, 3223669905u, 182132862u, 3250520938u, 3924356991u, 3235157931u, 2605012526u, 0, SINH_TOLERANCE, 0},

{ 154, 3224210428u, 35632886u, 3209806504u, 1453402523u, 3241402944u, 1099360388u, 0, SINH_TOLERANCE, 0},

{ 155, 1076182070u, 743225214u, 3202890678u, 142917400u, 1087631855u, 3778664301u, 0, SINH_TOLERANCE, 0},

{ 156, 1075442096u, 1472665012u, 3203138231u, 256588219u, 1081376581u, 1981675785u, 0, SINH_TOLERANCE, 0},

{ 157, 1079253522u, 1062927000u, 1061134072u, 931677439u, 1193281892u, 3538812810u, 0, SINH_TOLERANCE, 0},

{ 158, 1069912068u, 2320910576u, 1055663370u, 288059864u, 1069918761u, 2694094192u, 0, SINH_TOLERANCE, 0},

{ 159, 1075812365u, 1448349062u, 3199478070u, 3454027134u, 1083509354u, 1611967541u, 0, SINH_TOLERANCE, 0},

{ 160, 3224875886u, 4215445172u, 3196654963u, 2231888973u, 3254930152u, 159529183u, 0, SINH_TOLERANCE, 0},

{ 161, 3227757863u, 40413554u, 3232578253u, 983832844u, 3457227287u, 1304081657u, 0, SINH_TOLERANCE, 0},

{ 162, 3221624382u, 3995725873u, 1050082319u, 777231627u, 3223289886u, 3165308644u, 0, SINH_TOLERANCE, 0},

{ 163, 1066152450u, 672789828u, 3253385962u, 2982787335u, 1066152508u, 2270849861u, 0, SINH_TOLERANCE, 0},

{ 164, 1072585179u, 2075971825u, 1070166500u, 4034633931u, 1072795180u, 625760053u, 0, SINH_TOLERANCE, 0},

{ 165, 3218434785u, 1018222907u, 3244621407u, 3090050495u, 3218461130u, 3184325614u, 0, SINH_TOLERANCE, 0},

{ 166, 1071875189u, 937732557u, 3200798890u, 2557898276u, 1071955981u, 2106364550u, 0, SINH_TOLERANCE, 0},

{ 167, 1075196588u, 130346162u, 3223590310u, 275568693u, 1080037789u, 4060643218u, 0, SINH_TOLERANCE, 0},

{ 168, 1065967541u, 3807416441u, 1075961161u, 3706820266u, 1065967584u, 1846334347u, 0, SINH_TOLERANCE, 0},

{ 169, 3219244733u, 1710131411u, 1078123323u, 1900790503u, 3219305582u, 1655460974u, 0, SINH_TOLERANCE, 0},

{ 170, 3226236449u, 3420420033u, 3210844787u, 588423066u, 3305204393u, 774296256u, 0, SINH_TOLERANCE, 0},

{ 171, 1067509906u, 1160162008u, 3246307879u, 4265764460u, 1067510107u, 3011258957u, 0, SINH_TOLERANCE, 0},

{ 172, 1080523338u, 366653268u, 3188814424u, 466059202u, 1355764484u, 760636581u, 0, SINH_TOLERANCE, 0},

{ 173, 3222433435u, 1325936170u, 3221436876u, 680097612u, 3226014103u, 451044771u, 0, SINH_TOLERANCE, 0},

{ 174, 3225711052u, 1827735934u, 3200554324u, 2875599271u, 3280980440u, 2135776268u, 0, SINH_TOLERANCE, 0},

{ 175, 3213050498u, 3117037091u, 3239246636u, 15838845u, 3213050517u, 1419941520u, 0, SINH_TOLERANCE, 0},

{ 176, 1067702644u, 749718883u, 3223587064u, 1523766569u, 1067702970u, 259259635u, 0, SINH_TOLERANCE, 0},

{ 177, 1066853747u, 1966536294u, 3250158026u, 699164258u, 1066853872u, 2121245996u, 0, SINH_TOLERANCE, 0},

{ 178, 1079174067u, 3759049394u, 1106085272u, 1183789499u, 1185944512u, 3807740687u, 0, SINH_TOLERANCE, 0},

{ 179, 1074910167u, 1970107747u, 1095245453u, 2308233883u, 1078299954u, 1401061375u, 0, SINH_TOLERANCE, 0},

{ 180, 1076367836u, 1491017852u, 1041444355u, 1723375725u, 1089770148u, 2037337769u, 0, SINH_TOLERANCE, 0},

{ 181, 3219775798u, 1141349287u, 1097465301u, 3403438584u, 3219966827u, 1978333015u, 0, SINH_TOLERANCE, 0},

{ 182, 3224280452u, 1711085243u, 3250239076u, 1377484108u, 3242260066u, 2040662695u, 0, SINH_TOLERANCE, 0},

{ 183, 1079510651u, 2880275004u, 1084039594u, 1611394950u, 1216939131u, 2867297031u, 0, SINH_TOLERANCE, 0},

{ 184, 3224784251u, 2626629370u, 1063771493u, 1499080813u, 3252818758u, 3654476853u, 0, SINH_TOLERANCE, 0},

{ 185, 1068862751u, 3936262414u, 1103919063u, 3175668759u, 1068864420u, 3355343590u, 0, SINH_TOLERANCE, 0},

{ 186, 3217418903u, 1270950554u, 3194616071u, 3680565379u, 3217425931u, 2626956574u, 0, SINH_TOLERANCE, 0},

{ 187, 3217585407u, 1066985223u, 3221613219u, 4089383168u, 3217595177u, 2758529977u, 0, SINH_TOLERANCE, 0},

{ 188, 3220204567u, 4017329311u, 3208334452u, 1667591498u, 3220403741u, 3773555337u, 0, SINH_TOLERANCE, 0},

{ 189, 1077678397u, 3154656624u, 1061894279u, 3886344038u, 1114014484u, 1143078455u, 0, SINH_TOLERANCE, 0},

{ 190, 1068478737u, 977586119u, 3209762784u, 953839852u, 1068480063u, 3125582187u, 0, SINH_TOLERANCE, 0},

{ 191, 1081896575u, 143071571u, 3206165386u, 913097445u, 1759744561u, 1725664653u, 0, SINH_TOLERANCE, 0},

{ 192, 3213634128u, 1371169579u, 1057079837u, 2594818628u, 3213634186u, 2168291476u, 0, SINH_TOLERANCE, 0},

{ 193, 3228724664u, 2259342224u, 3217432469u, 1824221478u, 3665098139u, 1347867273u, 0, SINH_TOLERANCE, 0},

{ 194, 3227960407u, 1576604497u, 1079368611u, 185078728u, 3494590082u, 3370329867u, 0, SINH_TOLERANCE, 0},

{ 195, 3221679427u, 444800035u, 3243343143u, 1734989302u, 3223421390u, 942989703u, 0, SINH_TOLERANCE, 0},

{ 196, 1072748883u, 130452005u, 1041548088u, 2158433515u, 1072964584u, 1354781505u, 0, SINH_TOLERANCE, 0},

{ 197, 3225258784u, 1941318385u, 1045807374u, 792193370u, 3263733935u, 3103118402u, 0, SINH_TOLERANCE, 0},

{ 198, 3225716754u, 1299392207u, 3212131720u, 3205732280u, 3281185351u, 3451158556u, 0, SINH_TOLERANCE, 0},

{ 199, 1079824436u, 3035093505u, 1052187689u, 3287702190u, 1245928697u, 3659026689u, 0, SINH_TOLERANCE, 0},

{ 200, 3227801892u, 2160225215u, 1102624859u, 836655570u, 3465336758u, 1753278920u, 0, SINH_TOLERANCE, 0},

{ 201, 1079946410u, 3360816360u, 3246176356u, 172860634u, 1257254087u, 595783054u, 0, SINH_TOLERANCE, 0},

{ 202, 1073092940u, 146831910u, 1051558014u, 2340722078u, 1073599372u, 3905963492u, 0, SINH_TOLERANCE, 0},

{ 203, 3224124895u, 1603798153u, 3207725532u, 1099413093u, 3240408342u, 2401373921u, 0, SINH_TOLERANCE, 0},

{ 204, 3227804010u, 2429340443u, 3190303581u, 3223770005u, 3465719079u, 1901620640u, 0, SINH_TOLERANCE, 0},

{ 205, 1073785807u, 955542166u, 3230415151u, 275583938u, 1074767130u, 782981864u, 0, SINH_TOLERANCE, 0},

{ 206, 1078291818u, 513397822u, 1090646554u, 2089321329u, 1136418636u, 351397573u, 0, SINH_TOLERANCE, 0},

{ 207, 3214141396u, 2782073372u, 1046063872u, 4023829068u, 3214141478u, 3470574014u, 0, SINH_TOLERANCE, 0},

{ 208, 1079690454u, 3242223094u, 3194111199u, 4264674108u, 1233536710u, 346227329u, 0, SINH_TOLERANCE, 0},

{ 209, 3225927909u, 3506346169u, 1047020885u, 1742757458u, 3290905540u, 2781434878u, 0, SINH_TOLERANCE, 0},

{ 210, 3214684573u, 1265459564u, 3193450280u, 3650514880u, 3214684806u, 3227027441u, 0, SINH_TOLERANCE, 0},

{ 211, 1075464434u, 1525260440u, 3235452527u, 2612331392u, 1081496066u, 4039055639u, 0, SINH_TOLERANCE, 0},

{ 212, 3227697400u, 1263613754u, 3219096387u, 635677201u, 3446002556u, 459760033u, 0, SINH_TOLERANCE, 0},

{ 213, 3217806423u, 4140947288u, 3200792376u, 2013265346u, 3217820826u, 3694261486u, 0, SINH_TOLERANCE, 0},

{ 214, 3227954296u, 1912759945u, 3237045253u, 1351396825u, 3493449759u, 1464931509u, 0, SINH_TOLERANCE, 0},

{ 215, 3228282218u, 1001433078u, 3206926643u, 2741676659u, 3553998392u, 3156202362u, 0, SINH_TOLERANCE, 0},

{ 216, 1075680726u, 1088945233u, 1085095743u, 3986114865u, 1082750958u, 1712535816u, 0, SINH_TOLERANCE, 0},

{ 217, 3219928361u, 831239754u, 1099828675u, 3071308141u, 3220177067u, 3013293181u, 0, SINH_TOLERANCE, 0},

{ 218, 3222688769u, 3473592372u, 1102759382u, 1309576357u, 3227556285u, 86503062u, 0, SINH_TOLERANCE, 0},

{ 219, 3229166610u, 2042340367u, 1091945628u, 2062772374u, 3828389411u, 210474498u, 0, SINH_TOLERANCE, 0},

{ 220, 3214688631u, 1840632537u, 1096533424u, 807510337u, 3214688866u, 1833588338u, 0, SINH_TOLERANCE, 0},

{ 221, 3224111690u, 144814872u, 3212698915u, 2282965697u, 3240278280u, 1680573330u, 0, SINH_TOLERANCE, 0},

{ 222, 1073333582u, 2552499583u, 3229111426u, 1470130815u, 1073953220u, 2448530468u, 0, SINH_TOLERANCE, 0},

{ 223, 3227364425u, 2858583811u, 1089760910u, 6360994u, 3398621475u, 697276436u, 0, SINH_TOLERANCE, 0},

{ 224, 3215042145u, 1614537194u, 1075198900u, 4088705365u, 3215042374u, 2084690356u, 0, SINH_TOLERANCE, 0},

{ 225, 3228918974u, 3545570051u, 1065221325u, 1629217700u, 3736891221u, 229769802u, 0, SINH_TOLERANCE, 0},

{ 226, 1072744324u, 1813392963u, 3235313361u, 3772501596u, 1072957268u, 788993454u, 0, SINH_TOLERANCE, 0},

{ 227, 3215677054u, 2406734491u, 1042055360u, 89226663u, 3215677905u, 4217154675u, 0, SINH_TOLERANCE, 0},

{ 228, 3214625449u, 1618759139u, 3194723421u, 3888234802u, 3214625661u, 565975092u, 0, SINH_TOLERANCE, 0},

{ 229, 1068988736u, 3590035633u, 3212424262u, 2892456615u, 1068990893u, 1943451309u, 0, SINH_TOLERANCE, 0},

{ 230, 3213011732u, 2431246964u, 3241512456u, 183850734u, 3213011749u, 2185322308u, 0, SINH_TOLERANCE, 0},

{ 231, 1076918189u, 3088319870u, 3211544311u, 862225364u, 1096486112u, 1720101545u, 0, SINH_TOLERANCE, 0},

{ 232, 3224808904u, 3495352775u, 1058576726u, 596957268u, 3253359765u, 1924270502u, 0, SINH_TOLERANCE, 0},

{ 233, 1066476292u, 1839214511u, 3205004060u, 1923240983u, 1066476344u, 3656567561u, 0, SINH_TOLERANCE, 0},

{ 234, 1069608200u, 739619702u, 3223356436u, 2689885273u, 1069611435u, 2976591864u, 0, SINH_TOLERANCE, 0},

{ 235, 3216053611u, 2143376228u, 1098306332u, 3760236188u, 3216054442u, 2867204403u, 0, SINH_TOLERANCE, 0},

{ 236, 1074621795u, 671680995u, 1091262633u, 2315535361u, 1077135219u, 2370927173u, 0, SINH_TOLERANCE, 0},

{ 237, 3219408869u, 2493598049u, 3194927008u, 1689107592u, 3219499652u, 2900639705u, 0, SINH_TOLERANCE, 0},

{ 238, 3213058631u, 1578976988u, 1066368383u, 2117279163u, 3213058650u, 1436428687u, 0, SINH_TOLERANCE, 0},

{ 239, 3221939535u, 3425290087u, 1098487295u, 1263412017u, 3224162222u, 1577636136u, 0, SINH_TOLERANCE, 0},

{ 240, 3217869948u, 3635396812u, 1070999426u, 3965655689u, 3217885912u, 1810535642u, 0, SINH_TOLERANCE, 0},

{ 241, 1069633530u, 2183973116u, 1101098363u, 1118613350u, 1069636992u, 3963026814u, 0, SINH_TOLERANCE, 0},

{ 242, 3221946089u, 199516350u, 1078368488u, 164621458u, 3224186028u, 831736535u, 0, SINH_TOLERANCE, 0},

{ 243, 3212871842u, 3570940805u, 3230316437u, 3596080877u, 3212871854u, 2583868315u, 0, SINH_TOLERANCE, 0},

{ 244, 3217646749u, 980880313u, 1079833442u, 884465057u, 3217657686u, 1885631914u, 0, SINH_TOLERANCE, 0},

{ 245, 1080054180u, 2558179220u, 1052873711u, 1233598120u, 1269060948u, 2524660391u, 0, SINH_TOLERANCE, 0},

{ 246, 1067038165u, 1909994277u, 1085015978u, 2991527452u, 1067038342u, 2067589378u, 0, SINH_TOLERANCE, 0},

{ 247, 1070292444u, 1680290941u, 1074309900u, 2943870846u, 1070306139u, 2207543847u, 0, SINH_TOLERANCE, 0},

{ 248, 1069981892u, 1451927357u, 3228615456u, 1502585517u, 1069989628u, 2151766963u, 0, SINH_TOLERANCE, 0},

{ 249, 3224677615u, 751136990u, 3230392165u, 3493275472u, 3250350519u, 215829603u, 0, SINH_TOLERANCE, 0},

{ 250, 1079491599u, 1209623292u, 3238056647u, 979495322u, 1215252451u, 1345426533u, 0, SINH_TOLERANCE, 0},

{ 251, 3228404200u, 1717672108u, 1048120593u, 531240316u, 3576583348u, 3462906838u, 0, SINH_TOLERANCE, 0},

{ 252, 1068854987u, 3548721654u, 1086112947u, 3391817224u, 1068856629u, 1346987568u, 0, SINH_TOLERANCE, 0},

{ 253, 1074691123u, 2758195125u, 1100880260u, 2028440924u, 1077318695u, 1850026137u, 0, SINH_TOLERANCE, 0},

{ 254, 1076883861u, 2750123373u, 3232200256u, 1086294931u, 1095793270u, 788833141u, 0, SINH_TOLERANCE, 0},

{ 255, 1065978768u, 2986160931u, 1076097908u, 2540046258u, 1065978812u, 456035946u, 0, SINH_TOLERANCE, 0},

{ 256, 3224990842u, 451471221u, 1064816262u, 4187644495u, 3257560213u, 655095513u, 0, SINH_TOLERANCE, 0},

{ 257, 1080585860u, 2439500162u, 1065280276u, 1979490284u, 1367314315u, 4075308906u, 0, SINH_TOLERANCE, 0},

{ 258, 1065581656u, 2283342035u, 1078398157u, 1345997553u, 1065581675u, 3431319782u, 0, SINH_TOLERANCE, 0},

{ 259, 3219540804u, 179066662u, 1103272172u, 1217337578u, 3219661899u, 793514991u, 0, SINH_TOLERANCE, 0},

{ 260, 3218902409u, 3779303391u, 3210023352u, 3115946280u, 3218965105u, 3754433598u, 0, SINH_TOLERANCE, 0},

{ 261, 3213961394u, 286247089u, 1085153597u, 713645369u, 3213961446u, 2979021742u, 0, SINH_TOLERANCE, 0},

{ 262, 1077941860u, 1468283899u, 1042831668u, 2022736418u, 1120232171u, 2888650454u, 0, SINH_TOLERANCE, 0},

{ 263, 1076847649u, 3305564080u, 1065483445u, 482392433u, 1095303241u, 3604886057u, 0, SINH_TOLERANCE, 0},

{ 264, 3216375871u, 2256346551u, 3222430705u, 2071674991u, 3216377647u, 352947026u, 0, SINH_TOLERANCE, 0},

{ 265, 3216607607u, 2295269094u, 1084451053u, 2773103941u, 3216610384u, 2228424851u, 0, SINH_TOLERANCE, 0},

{ 266, 1075028218u, 1482721827u, 1092243422u, 3125409590u, 1079044124u, 678493382u, 0, SINH_TOLERANCE, 0},

{ 267, 3221065973u, 1381740563u, 1071545057u, 2918235653u, 3221799264u, 4207176249u, 0, SINH_TOLERANCE, 0},

{ 268, 3226133060u, 1105857967u, 3241990046u, 2703723225u, 3300377169u, 2850491479u, 0, SINH_TOLERANCE, 0},

{ 269, 1066084243u, 174689677u, 1079333374u, 3947057014u, 1066084295u, 792069421u, 0, SINH_TOLERANCE, 0},

{ 270, 1077878947u, 2023082423u, 3242081486u, 1169047927u, 1118700325u, 3426525989u, 0, SINH_TOLERANCE, 0},

{ 271, 1070817355u, 3742487766u, 1043425732u, 194972788u, 1070836843u, 2697250326u, 0, SINH_TOLERANCE, 0},

{ 272, 3220083283u, 2136071361u, 3211529757u, 993675115u, 3220289585u, 3678611411u, 0, SINH_TOLERANCE, 0},

{ 273, 3219954837u, 210772141u, 3241441539u, 580731413u, 3220195874u, 2430117404u, 0, SINH_TOLERANCE, 0},