#|Microsoft Windows XP [Version 5.1.2600] (C) Copyright 1985-2001 Microsoft Corp. C:\Program Files\Maxima-5.13.0\bin>maxima.bat Maxima 5.13.0 http://maxima.sourceforge.net (%i1) (fpprec:72, ratprint:false, ratepsilon:0, linel:1000, for i:0 thru 256 do (s:bfloat(sin(%pi*i/1024)), print("(setf (aref sina",i,") (into",string(rat(s)),"))")), for i:0 thru 256 do (c:bfloat(cos(%pi*i/1024)), print("(setf (aref cosa",i,") (into",string(rat(c)),"))"))) ; |# ;; added 3 lines here (in-package :octi) (defparameter sina (make-array 257)) (defparameter cosa (make-array 257)) ;; we define constants by rational equivalents or sometimes by scale-floats (defparameter +oct-log2+ (into 1249931325673466992262572271747615014/1803269725000878699577524314702889957)) (defparameter +oct-zero+ (into 0)) (defparameter +oct-one+ (into 1)) (defparameter +oct-eps+ (scale-float 1d0 -209)) (defparameter +oct-e+ (into 35783561094502238161884746904053182297598033242069473100112916635/13164036458569648337239753460458804039861886925068638906788872192)) (defparameter +oct-pi+ #(3.141592653589793d0 1.2246467991473532d-16 -2.9947698097183397d-33 1.1124542208633653d-49) ) ;; slightly more accurate than this quotient... ; (into 3130485869161573129874139621673976327129446655/996464600712785358683597953647545569608140527)) (defparameter +oct-2pi+ (into 165424160919322423196824703508232170249081435635340508251270944637/26328072917139296674479506920917608079723773850137277813577744384) ) (defparameter +oct-pi/2+ (into 1292376257182206431225192996158063830070948715901097720713054255/822752278660603021077484591278675252491367932816789931674304512)) (defparameter +oct-pi/4+ (into 287204093346391655458156396646561703201/365679609058434878179064132488522461586)) (defparameter +oct-3pi/4+ (into 2150147618244392850289476626890414606759241783/912550991522295043969768990463278939357308041)) (defparameter +oct-pi/1024+ (into 671213918905990142128208155178082896681085729/218781722759108427529402673650736349492697016854)) ;; 1/sqrt(2) (defparameter +oct-1/rt2+ (into 66992092050551637663438906713182313772/94741125149636933417873079920900017937)) (setf (aref sina 0) (into 0)) (setf (aref sina 1) (into 67028330915318270723515259907056375/21847873387406541121957343119802250663)) (setf (aref sina 2) (into 341778243425037950814884706402992653/55701543129911182088028141198997106809)) (setf (aref sina 3) (into 266666204922072359527426856577644379/28973632092183133166361686119196912977)) (setf (aref sina 4) (into 27363455230157982491563961128115581/2229830897565640367941542375284364529)) (setf (aref sina 5) (into 210737609508427493269358320362719223/13738495042906385101482690520290504118)) (setf (aref sina 6) (into 551248429538211130992073486247940479/29948200052871270338367567087530715717)) (setf (aref sina 7) (into 473681048159728656391488152969365323/22058269415190222169575279989348123723)) (setf (aref sina 8) (into 953639863923863023552551964400156391/38858684805999897060699146224487928230)) (setf (aref sina 9) (into 688726592438094826527631521044509702/24946499411881037698097584566921949353)) (setf (aref sina 10) (into 143062768349588022164404373946439427/4663852854271983103951729080289859273)) (setf (aref sina 11) (into 706686331162787478687698135058539756/20944332765784922894349604143975783557)) (setf (aref sina 12) (into 352241475019081621686856489369667915/9569900874626477078027401479569970553)) (setf (aref sina 13) (into 927341749917041664607444173509989278/23257428185488494876033367066959795955)) (setf (aref sina 14) (into 103863214648486005872863808764404187/2418896854752568188885685924741716962)) (setf (aref sina 15) (into 676949147427794512736638465791938048/14715267859109195599955081046216596339)) (setf (aref sina 16) (into 2653245050399059085657208713263532447/54073177234660170992179859738678799366)) (setf (aref sina 17) (into 1073951982104883070878549356251685469/20600745528873168668180370944201333402)) (setf (aref sina 18) (into 10016732672621876036175619284233378115986456088704008349724830822654550421/181478183322475774061460477739825751626828698188206739309755887747601349553)) (setf (aref sina 19) (into 567499432231465543322697684820524269/9741097457979043753606311112173046808)) (setf (aref sina 20) (into 1442025778383210835823037279778739975/23516119755582152985295358000733279761)) (setf (aref sina 21) (into 462756722715485792216311075764788924/7187601935988643313232932369777372217)) (setf (aref sina 22) (into 619807846687470776187317037470923239/9189973695143855908001239989513514090)) (setf (aref sina 23) (into 544629470254389167421372948650400434/7724739602986086162405303779154938805)) (setf (aref sina 24) (into 457518014657737122067639368688295923/6219271783456967391385103465210541307)) (setf (aref sina 25) (into 2180282954057604855631078360780517739/28454360227326570686473388794279015928)) (setf (aref sina 26) (into 4824766705122853939297204897400628957/60549938329607313746140665538881616064)) (setf (aref sina 27) (into 15660688682088195320227995094356004843/189275303473831607369660547314564821844)) (setf (aref sina 28) (into 268503685845454711417291096189593871/3129511618820017021427857778776902345)) (setf (aref sina 29) (into 763481173294200868690472580738402838/8592579037119554113817066409324643433)) (setf (aref sina 30) (into 868489544587239574020963776438080391/9449454957247107094827210862867204751)) (setf (aref sina 31) (into 227894224479579938443126316662729447/2399808723220532197956149617480306744)) (setf (aref sina 32) (into 3973039957419282036314828217979910406922476977393615768609585335954830061/40534134581572449903129914990352752691407835568825119018449455301587375735)) (setf (aref sina 33) (into 1575506159776817302172475215149087751/15588288307055802095321192681807731874)) (setf (aref sina 34) (into 477855308316569456484803085182752919/4589395023360481783535067462405415090)) (setf (aref sina 35) (into 4347375920071038232164759859277615766/40564314205105069191899673378925295449)) (setf (aref sina 36) (into 1759432397310117103746276221409917732/15962594476256322943651394041811144039)) (setf (aref sina 37) (into 553771035256570117788243218299813062/4888905978193550543823262460944365733)) (setf (aref sina 38) (into 950952732254399958113866498305771147/8175412010949602579356495573742273579)) (setf (aref sina 39) (into 12658451052550238962733056078787456486445812591224043763640073360380941409/106048073323490772324918024515709077871116373299677940950519047532586107306)) (setf (aref sina 40) (into 1101350105071454946888010836161582105/8997173680147358137649803003145025919)) (setf (aref sina 41) (into 225288054558357555543186924716377964/1795768078971530029604773379849914917)) (setf (aref sina 42) (into 920139275420669205602050506166741560/7160722206237405415774253028461979931)) (setf (aref sina 43) (into 3963427949886802928521403622411486353/30130964611838586362519443332225374694)) (setf (aref sina 44) (into 427464161907348080088687816397719203/3176266246842603113679751334250296498)) (setf (aref sina 45) (into 606165491302064184152645900304062831/4404628366216965571352327631123221259)) (setf (aref sina 46) (into 1188747632736484810484988114785488268/8451318873140945728992442308816564145)) (setf (aref sina 47) (into 521765796652613609302412877822162443/3631063546273620280244942483612933681)) (setf (aref sina 48) (into 692257325052322807632148525224786232/4717883777189863005063967213307361403)) (setf (aref sina 49) (into 2677255178261257195743029545266313176/17876429717019429293996997129344438857)) (setf (aref sina 50) (into 825952248328797521818596175436794084/5405546227384814884597059235858671763)) (setf (aref sina 51) (into 2363419270122797995083412954573796885/15166807242454552613595236486595559626)) (setf (aref sina 52) (into 2107716472929932117062067560932301880/13267915819085752585909527850512900971)) (setf (aref sina 53) (into 1960039432704821364120002977958118211/12107499505901139420218399256499447516)) (setf (aref sina 54) (into 175721622762910808070298156760158869/1065540584283578964008331526670726197)) (setf (aref sina 55) (into 594818030390618138313391065566760814/3541884419394143456426854062271693647)) (setf (aref sina 56) (into 1370960728933971570223756507082913521/8019101443457613830449030143881216727)) (setf (aref sina 57) (into 1675756938863188057455908728099002383/9631679685227265730673505177918510603)) (setf (aref sina 58) (into 678922007994175983344943590916090798/3835626102097042975187339003028707005)) (setf (aref sina 59) (into 514313473313495608956507502752585242/2856933586213228597519417258166566055)) (setf (aref sina 60) (into 1397311718874296736117365743199843687/7633919221021087136671488756761624272)) (setf (aref sina 61) (into 1852112208198688498066319719658552118/9954640823646507967546055334025303559)) (setf (aref sina 62) (into 1409810615836891835521207467733158220/7456606424848095753245127097071185587)) (setf (aref sina 63) (into 2105777427670704168198079359630334074/10963000181240427783088741217028688589)) (setf (aref sina 64) (into 1253549334392621453646535539856397221/6425481907241864926504301090638668712)) (setf (aref sina 65) (into 332199848633823468666116572893215644/1676943532408240155755897159527889161)) (setf (aref sina 66) (into 309273849272866723248439997331226977886/1537875293205995332032485833521527408511)) (setf (aref sina 67) (into 1011489888147234612652116063835106550/4955636724391950044536660050826074943)) (setf (aref sina 68) (into 1158829158491575949034060277558856881/5595198003107637619803961630690125745)) (setf (aref sina 69) (into 4409121765695353284458501464991850522/20984642422614464749821858448162019153)) (setf (aref sina 70) (into 1522894079082612258663321215154246740/7146036286193115119973233689110572717)) (setf (aref sina 71) (into 5875450690578645146023028960193657671/27187718156344756669229699049851732841)) (setf (aref sina 72) (into 1684698315208790008650647478318860050/7689131809580801372116198389748127731)) (setf (aref sina 73) (into 20985466008774366941421486706777517892/94489278516046823657534601330122925953)) (setf (aref sina 74) (into 662375127026609317741720690096435177/2942791970447918194209942954393264472)) (setf (aref sina 75) (into 819011913798996873238929779882339232/3591022199702286184511398208883521581)) (setf (aref sina 76) (into 1236725151657002916167129054836714087/5352442123150800631660908758940492659)) (setf (aref sina 77) (into 1755372167353725105740722211086924673/7500245588344488727714233411065451591)) (setf (aref sina 78) (into 1300385923919955009289244823381820029/5486313983219284415980772935101084773)) (setf (aref sina 79) (into 2150859695206791058325152638394668789/8961802535908312296269829144927272932)) (setf (aref sina 80) (into 22013066404111490358531441929476963808936357260050406042264680375290610311/90596140034448112315849710736011263812484586525057418192544878950407577959)) (setf (aref sina 81) (into 30951262941304639441097851489725601138823841156976030939565119320843842515/125841136008583129526319463680354260968603785979428216902372168120096732673)) (setf (aref sina 82) (into 1034981070265724451845442173762419508/4157759309841106133435767177498941829)) (setf (aref sina 83) (into 773323201951949797077715545559497472/3069987694290014281892651837088441705)) (setf (aref sina 84) (into 361792757078616081712763277311168424/1419542976641202443778603524264377289)) (setf (aref sina 85) (into 2391383862176294071898505689963034288/9275001511153099945937478142623680609)) (setf (aref sina 86) (into 499336694642460210527677049250426149/1914677748999999649041782311213945615)) (setf (aref sina 87) (into 2392222564769448312243791835204026067/9069877258927128165433892614256090662)) (setf (aref sina 88) (into 2327210896893146809730513193976251572/8725532737638812652659810634820218329)) (setf (aref sina 89) (into 1937712111483348449911270927398363043/7185538410440473296413105187767644614)) (setf (aref sina 90) (into 1675744749308355553105266475975104653/6146784599990767650758956451786370575)) (setf (aref sina 91) (into 1608292121791728719331901075459449046/5836199527996419818089725519285551363)) (setf (aref sina 92) (into 1180181159286118086429402483008435358/4237334753215666494222523644715332425)) (setf (aref sina 93) (into 19183201486002061086552249591608491587/68154853060461885208076092691007238406)) (setf (aref sina 94) (into 951968280892860349524834098875710275/3347197793093970293841862555616308747)) (setf (aref sina 95) (into 1081843322897818543772578364327530912/3764930877105649052796852870203917243)) (setf (aref sina 96) (into 792353462255462108976522844133224571/2729573843682035914266910896673899944)) (setf (aref sina 97) (into 1099229020531053481522947511088569130/3748830773646352918977041387256403897)) (setf (aref sina 98) (into 486835139362147586849034219296138175/1643875330745793314633849988599178763)) (setf (aref sina 99) (into 4525604722260625540723370009947044167/15131761904928453413827457736635641555)) (setf (aref sina 100) (into 1662933056235708921513364645699983782/5506292375975500568615616221980232909)) (setf (aref sina 101) (into 3246250597139524368895740923668913663/10645914791298977154070166366409149868)) (setf (aref sina 102) (into 2449654107612461005460374761554323997/7957307038858174736231180208486125481)) (setf (aref sina 103) (into 1271332213435935381368532315935136783/4090947843706833754618973292647382632)) (setf (aref sina 104) (into 1343716749237369129738050010295417255/4283694510010815105445998764218166768)) (setf (aref sina 105) (into 2898273618716609425962529996804244548/9154561789630483041543846865347921699)) (setf (aref sina 106) (into 2682475529907669030361131549372124706/8395801188044293904401153813476919919)) (setf (aref sina 107) (into 1880832018177928401312756537631261189/5833707265199563289736519566796869946)) (setf (aref sina 108) (into 1426534221697565431008761129283186693/4385149366826728704061512318751293124)) (setf (aref sina 109) (into 1484923194262858642438255005759937324/4524310356051278844359068729028714823)) (setf (aref sina 110) (into 1438570562796333760252573270656620325/4344739250721513539067072062692418344)) (setf (aref sina 111) (into 2322555828770374955364974840440118160/6953767223238039985080184383861655651)) (setf (aref sina 112) (into 1839923136647471805127140352773629059/5461497632299904642563500866550478766)) (setf (aref sina 113) (into 4623886440771484119289049544789938556/13608596267058419608382141540452665793)) (setf (aref sina 114) (into 844227393760589901060329974030669315/2463741395229486981524368892942511831)) (setf (aref sina 115) (into 3811708613388687651233452617584835091/11031122294231894472246404701471141217)) (setf (aref sina 116) (into 743053317618549184386594012281327697/2132644888863575933819804443004731090)) (setf (aref sina 117) (into 1698985518663371626919058100167147853/4836380737237679984838903928123113096)) (setf (aref sina 118) (into 478547901922532540003426812832706223/1351206060404903037432041298560575498)) (setf (aref sina 119) (into 2041575308523432875618860409879568642/5718202425555560423574908573108039485)) (setf (aref sina 120) (into 3856022918266155679681454338992616272/10714298689393795524368217530225868415)) (setf (aref sina 121) (into 2400802822545280199828690178153867278/6618235526763897159366576372767399223)) (setf (aref sina 122) (into 3337066814668964630353872127873909373/9127319965935281065877040330718318984)) (setf (aref sina 123) (into 1239766543700361004936288973574059095/3364662550105927782484989406866732837)) (setf (aref sina 124) (into 1304522275502594429757949095537607763/3513228842486082563060958100177571837)) (setf (aref sina 125) (into 439147438785297313732262408593209495/1173676155047515565245862388482412382)) (setf (aref sina 126) (into 2611940054031675105102191852812772028/6928086778273961888700695302565742697)) (setf (aref sina 127) (into 4233629535636294073921211335731523804/11145611804357868122899316521152735641)) (setf (aref sina 128) (into 1290247897497702809918726854198069349/3371580236760219478003822380364657093)) (setf (aref sina 129) (into 1522511227698196661851995934860646088/3949281002742897256477753366404160807)) (setf (aref sina 130) (into 19616678555736301794785287033190833128/50513528426563525796994983274525154319)) (setf (aref sina 131) (into 1948520670616939472511736832969759889/4981258164757521166677465015387580435)) (setf (aref sina 132) (into 1575911194339429233374579849068871933/3999855413564308623388058369187282228)) (setf (aref sina 133) (into 1311640921575093018949605893677998451/3305463479168109361082511029825224887)) (setf (aref sina 134) (into 1677378822483917846743662086507489447/4197390506210080328508638927481927056)) (setf (aref sina 135) (into 781769961786681197645025385195394770/1942601016381601486107131858006551423)) (setf (aref sina 136) (into 751907303733653745210336217174716548/1855455694540550376406518979417320453)) (setf (aref sina 137) (into 3597294330493473949640169322710374772840961696165539464724560863535954313/8815943610701310989631685502304615004514086485913747160507283502241832679)) (setf (aref sina 138) (into 9516520499614868686098612183280395811/23163389755536710880174056000245580465)) (setf (aref sina 139) (into 5285240693410561293103075317857845531601/12777444779737852303194108363573011418388)) (setf (aref sina 140) (into 2625812138087702947640011554527994119/6305537333785930201078596587897407937)) (setf (aref sina 141) (into 116976140978575731715106472088190881325660283094541162933575462895232744622/279034896316542411555083160452723865471092113031613696155037090780541156411)) (setf (aref sina 142) (into 36741983915814732517646317017274952330706623663339113331406062836471857189/87066256725805335935599426066107007457973851796742251779547306801116021573)) (setf (aref sina 143) (into 4209877961148001028660450138951603640/9910732898440072124242133396166685699)) (setf (aref sina 144) (into 2400548972132802352057896813154040401/5614595660346729567687535713472964626)) (setf (aref sina 145) (into 907030132064963655698852278979510945/2107772055394720139061387352525039911)) (setf (aref sina 146) (into 31944969176615542997735652370772854851684830369222899541890938464531634099/73759928648270649469782412627559725867393385457157537664574082664328144973)) (setf (aref sina 147) (into 12820450664043663224069825519429172957482067037431633669633337538360139982/29414345331571686430955866682819948424276971953825897060760984147900644499)) (setf (aref sina 148) (into 2038814295209101603259455860777920755/4648287309203245730108108903275247068)) (setf (aref sina 149) (into 1752553123415635321485928314415275355/3970700513541827270234157182244230989)) (setf (aref sina 150) (into 10535427993055585050017668757417572533629395252636502577712319871798236575686/23721915517736289699973333626757111896084820338411176757753677806841751873589)) (setf (aref sina 151) (into 1317387474679467950145749240212590673/2948040579873016505515904394828410260)) (setf (aref sina 152) (into 7169619442148899529637291677838968944774723563340333270947844209920278917/15946260623940755014087578757740103167759224971141852753545513934454909852)) (setf (aref sina 153) (into 1229063011977356968818556750585273085/2717064515286462330746445352659614147)) (setf (aref sina 154) (into 1103432984513674153230473002992163495/2424682005082575210188194392750115414)) (setf (aref sina 155) (into 1332525740109653695622272275833049647/2910631319873513803915942511130830324)) (setf (aref sina 156) (into 8266857704231411226557889529149339719/17950407875660684331094661487192893495)) (setf (aref sina 157) (into 1899377671707397577287358190196830239/4100027110371365447992092605727513333)) (setf (aref sina 158) (into 2179446557413404865373971507836794019/4677159850780680024063676822485364184)) (setf (aref sina 159) (into 871607076054101911240331004703242089/1859671140156770662073568282859787818)) (setf (aref sina 160) (into 23890235915603121408661799588645240687391785652448890236399634160720861876/50679680297450817846515459643341886616020658576313953663887807776344719199)) (setf (aref sina 161) (into 78766380261853367899098227739574781641107894119601738634858985734834686508112890/166138672432178763277637678399441392476829203608197763143120489575604743764422249)) (setf (aref sina 162) (into 7330755870710570839004766046082390081877861914637313167095015440928668108/15374932274401947602554717930571731395203946633519118515537945635229973911)) (setf (aref sina 163) (into 6743321410691781598941014993481107528189924731959569227739503478939823591/14063418559603422055301927393904904760922508397798770523466944764850657911)) (setf (aref sina 164) (into 290676502922377710536551747711354654649489896982030457798785152428545859649571/602833441841090976657575892752378575232259488940197770490731876468946356871505)) (setf (aref sina 165) (into 587631561602519610242217770953615316/1211938195761923931554936889490835847)) (setf (aref sina 166) (into 475790737359955473533282808972139443249262531722030086772028702727001532391/975880588809774376275888082455412263583797606622670900092966226997743756849)) (setf (aref sina 167) (into 10042133176394790610340067865219077378445003017927539316836177260755484933/20484681098897788947712939351989277423408357444262682504575293493580371023)) (setf (aref sina 168) (into 1679804159838854890919936845613535076857256807934841405926949972535677038961/3408014446633936067776845961339600455371116883742990235571001548131472035366)) (setf (aref sina 169) (into 1452851398458513675187088967263372942314439625707768970968377340184225069767/2931705489416038410740973219391055906499350969759451294586039053927978655291)) (setf (aref sina 170) (into 5464673986296987833893968716977856728/10968226673360399004656791723676325547)) (setf (aref sina 171) (into 2217149490360810036365498491871751519/4426460757952757907413357886864104186)) (setf (aref sina 172) (into 2089871885264075453062764723109826985/4150372549160919117111200343542523274)) (setf (aref sina 173) (into 2132380816277116487199800198771842773/4212637444875896288867888656025775026)) (setf (aref sina 174) (into 1699929146617604366659880057704949176/3340857792192587895730079830559860979)) (setf (aref sina 175) (into 2043751202624071359046547255814266009/3995846865110179654490930373351637503)) (setf (aref sina 176) (into 975567641191083942716167772241979619/1897612203416724102073115116563283427)) (setf (aref sina 177) (into 787419347142602802334305962858739468/1523845346153560626016417433073907381)) (setf (aref sina 178) (into 3214709501590405328589314251440872771/6189799602706881202091580653989684482)) (setf (aref sina 179) (into 4168573527349401081653597474061941177/7986151037710698680447806872307050607)) (setf (aref sina 180) (into 1296190101520832590980254849823031435/2470864647780906518086622768312772343)) (setf (aref sina 181) (into 3576865040791690594875301830236575273/6784656507965277732095695958035914550)) (setf (aref sina 182) (into 1514083076385205817467628220795488021/2857819399181572229269814140136557786)) (setf (aref sina 183) (into 1086662544243589837593856654948516006/2041052141403337474285449474884101371)) (setf (aref sina 184) (into 2346216919584457585477923845390451046/4385471696265844271502488642127774487)) (setf (aref sina 185) (into 1002830657771560127601459303213220504/1865429252283688449824828387410011713)) (setf (aref sina 186) (into 1157253065520255654759018193210535807/2142380936319693425629595529591006258)) (setf (aref sina 187) (into 4890260093677057728874205456407062020/9010139146823690476483933328396831481)) (setf (aref sina 188) (into 1028552535291681215825720265632778117/1886127643385466487934662463003115746)) (setf (aref sina 189) (into 1387644540974409776942888352620827501/2532687693436006243998520684976335685)) (setf (aref sina 190) (into 4458105345058895011466345044398902990/8098902303613879199223857313233674223)) (setf (aref sina 191) (into 3935758244023764598285803098788729070/7116888521289376449199969209972692469)) (setf (aref sina 192) (into 1203144352575433804264833971223616817/2165602620637494044774415465815745275)) (setf (aref sina 193) (into 2585761215628124871893117602135120169/4632996524901784983624483396538556255)) (setf (aref sina 194) (into 1898209660907895418798586559618706547/3385660336815702651004501363575572400)) (setf (aref sina 195) (into 12404615673007486990657526415709218854/22025266550563998739546084599697559499)) (setf (aref sina 196) (into 3153275325298290007361642911432122127/5573798865809910276243602683892421319)) (setf (aref sina 197) (into 2483168310530730311819723113227042757/4369782999216879663527279389680038614)) (setf (aref sina 198) (into 1275454085040638526314332029209592623/2234577978026643093358483336715336420)) (setf (aref sina 199) (into 1644806551762145953415175975815824590/2869029619029099071983709736392411713)) (setf (aref sina 200) (into 1922045377745739618896807580730836808/3337995892369953662852051361027405105)) (setf (aref sina 201) (into 3217399080906766476188483734549259740/5563414016525651318042349969931471493)) (setf (aref sina 202) (into 5989666704560236515234350454514954999/10312539189308981605424723220833740948)) (setf (aref sina 203) (into 1806328788542228463902371221363225508/3096694656328298669583134721749435631)) (setf (aref sina 204) (into 3135084627907087665061762037769777999/5351819894869142704232427972340315304)) (setf (aref sina 205) (into 16138429172324975794022286422704195528/27433172468324824542266854270457042893)) (setf (aref sina 206) (into 8497616384124097841542263973811972185/14384218079509562953452963034559601379)) (setf (aref sina 207) (into 1497580637970513868279214909817017443/2524442196576707870274782572534293935)) (setf (aref sina 208) (into 6650716784148644890869311651665721006/11164553549068518734386052094062185477)) (setf (aref sina 209) (into 399939256412092032751892491800201591/668615059020480959498711746335808933)) (setf (aref sina 210) (into 2216791779083340900500419031696157851/3690860732554982316203814759455972411)) (setf (aref sina 211) (into 6360858182119428818521886683236127601/10547521944533386847386421932203425922)) (setf (aref sina 212) (into 1625336638316986556817971635128228596/2684239472409025903542788934161070937)) (setf (aref sina 213) (into 5009049806933034283089854911127943417/8239249245229283321367043107735517943)) (setf (aref sina 214) (into 636186419310335149825197162933098105/1042274475572866742742808197476957222)) (setf (aref sina 215) (into 3926494463188338499365480805616286493/6407359434463345173237683075264163666)) (setf (aref sina 216) (into 3264677938169373422985721681892916511/5306421172372379052994971320536151414)) (setf (aref sina 217) (into 8244579238742547131845375892631758986/13348361002769500769959986709850883739)) (setf (aref sina 218) (into 2139671067319645386545240171012596229/3450763940370842026700371967609402949)) (setf (aref sina 219) (into 1560215614969427743453555000588343475/2506526376288236506751040442132208722)) (setf (aref sina 220) (into 8659297307820351870862110483283051569/13857991231857813617283233238376314895)) (setf (aref sina 221) (into 2160767281463052403421484358755678380/3444816305166644894915533298394790979)) (setf (aref sina 222) (into 2188367473042197046372898103021537686/3475594933391388647783665370159629869)) (setf (aref sina 223) (into 2164373047362381473269503396848369955/3424539375630958902140032059536527558)) (setf (aref sina 224) (into 2485353004587807259116941406396696310/3917684922948673205139005800575922929)) (setf (aref sina 225) (into 6349815278197953128060256926003674514/9972040828371341692639646749527312259)) (setf (aref sina 226) (into 2360678875941703135476583309817866871/3693613810131863958741787277543017995)) (setf (aref sina 227) (into 1182508177029424805117375177189405596/1843403239406999007807592312119658853)) (setf (aref sina 228) (into 1506609601734321988120442626879664495/2340068016816966446601809074881615298)) (setf (aref sina 229) (into 3926746153156101734354424868100615122/6076898668873192132394947066007913175)) (setf (aref sina 230) (into 13307717758423191568200486696055711733/20520311865779889287223974286751019565)) (setf (aref sina 231) (into 1478620559546803243218994478336758837/2271841577490749961855864741460981629)) (setf (aref sina 232) (into 441283604241254335998643890418597552/675600048289948203519346260642512993)) (setf (aref sina 233) (into 1809456246318566730899600605595948673/2760451525959854273346471554209581665)) (setf (aref sina 234) (into 3241350336177198966734011588077622524/4927511941130918741275980608599901191)) (setf (aref sina 235) (into 1464034335660187599992120722300512041/2217849609319136892739780715178007884)) (setf (aref sina 236) (into 824859499882330504340170449708580361/1245229246928747843955307317653418819)) (setf (aref sina 237) (into 2138553741850859666466052864333331672/3217268575330562108266581353624289347)) (setf (aref sina 238) (into 2831309861370514238588502404446938761/4244842865336378157531580910553680260)) (setf (aref sina 239) (into 3907467704816128336599893555893832886/5838292782229627488893043136071035837)) (setf (aref sina 240) (into 1034856649664192426015194473238619796/1540976621925819594254848898078978621)) (setf (aref sina 241) (into 5424121262094058097203181716495355037/8049699937291487094479847154475226530)) (setf (aref sina 242) (into 502411048137057219546264932525624189/743109702974466723576461568099250909)) (setf (aref sina 243) (into 516386072136906430129135306136645754/761238356755069720332669140694316025)) (setf (aref sina 244) (into 695991869199226398571306043152230697/1022613648016424008672356396225970073)) (setf (aref sina 245) (into 3291868147853597033321847224221198115/4820809281512673981224349873259769553)) (setf (aref sina 246) (into 4466240141897119998309166548971795969/6519262320786993038673329361641340919)) (setf (aref sina 247) (into 3813855784490689563815327462763447529/5548917007355593550210303868572143669)) (setf (aref sina 248) (into 1491840837303770934534587321325817051/2163528814498695242657628161325021515)) (setf (aref sina 249) (into 643449965709843059100967942649944520/930164588228924566636568511876917071)) (setf (aref sina 250) (into 1715303328564859778081035717308233495/2471720272712488678319086054676951069)) (setf (aref sina 251) (into 2750607962604212147120285388743342568/3951017403733753930176650038543393673)) (setf (aref sina 252) (into 3081556708480825359326610910139830937/4412459202455278985445965404416124788)) (setf (aref sina 253) (into 8616973000801138366896432371834205197008140389473976079910425398715168132/12299966934438106843251050583664086086129471263557531149467468282991734249)) (setf (aref sina 254) (into 2036788036357466788268564410349755423/2898291405959252583262764249024121165)) (setf (aref sina 255) (into 1762744363383427520066278252914578425/2500580426532147605563780269375930636)) (setf (aref sina 256) (into 2788918330588564181308597538924774401/3944126127469278527968910146598237760)) (setf (aref cosa 0) (into 1)) (setf (aref cosa 1) (into 137268523127191710261540782873156046559707471139088845976374051070777248514576/137269169142041013428001890897618785321604300858345981585964799640805451701323)) (setf (aref cosa 2) (into 12689608244097244796907574393719677893/12689847126883243075758743939601698085)) (setf (aref cosa 3) (into 168217107701693021662365778957038769975055540676964229813648541122539124894984/168224232914448648038919581248822481078373895739820769571985570372488313100611)) (setf (aref cosa 4) (into 2088384739893221207857352277971532446/2088542003264936433780548528615776009)) (setf (aref cosa 5) (into 3186726818036755088910136504791935582/3187101788675876618937904483434277225)) (setf (aref cosa 6) (into 27429022201543396548006357512599803745/27433669964642779253312719205891228294)) (setf (aref cosa 7) (into 4859188633807763709547853011991941909/4860309395145722209789176419343293594)) (setf (aref cosa 8) (into 1369548541582367156215573009023698523/1369961148267151820717008971909448999)) (setf (aref cosa 9) (into 1140705571289075899936173521981112995662908257430423331958882135831607792142/1141140548395964000834239283667604490936290038436929737120979340668210024259)) (setf (aref cosa 10) (into 8586698565330287082333490920864136025/8590741217800021379767850985981667238)) (setf (aref cosa 11) (into 1580570754273162698900147035843014737/1581471236791059765581375234566861699)) (setf (aref cosa 12) (into 3322090488647527236202411698471155944/3324343114775713483684292125795068271)) (setf (aref cosa 13) (into 14920074140221417658933553179754906366391325426229471076493177127974631400/14931948643691346121792487624074516663133626848117375314006714941664203077)) (setf (aref cosa 14) (into 980528657476743983106743935709168043/981433806639222935983609565963082923)) (setf (aref cosa 15) (into 5709114141786782194432984491780038266911830450218039015183714312941028971480083/5715164825726014405777504004161955814253567432824323777353227533314449347422625)) (setf (aref cosa 16) (into 1860613748908408026953739646453797796/1862857642522355515352313842836617445)) (setf (aref cosa 17) (into 16369995744282936331360697031751981602383645590293582240615668643742240395/16392285676329507999020423833390603800817219305133704424294334261596518878)) (setf (aref cosa 18) (into 946761735776487187345195167287789131/948207201254621545035238255551859121)) (setf (aref cosa 19) (into 1495542236980936176341220867324820968/1498086669874852723396060882497763973)) (setf (aref cosa 20) (into 5609489095486798025498470465199202233/5620065424108745749316169279107446061)) (setf (aref cosa 21) (into 1649426954941299319788060073434030877/1652856158424919074838894774247960749)) (setf (aref cosa 22) (into 1079174152177760184047772800848133755/1081636967467863196322004088582534386)) (setf (aref cosa 23) (into 7134327340419759594836176900301590990470587629797700343460888134378835537995/7152125718961458836880244831963281066034737958826641765736731594529201706448)) (setf (aref cosa 24) (into 1771276121484209948168492621671519853/1776088510245199873119238177208310805)) (setf (aref cosa 25) (into 217207507346750848144423581064232141923765592577956397108414573516324567977070070/217847965040657151184431445893346725596379539314104662550957228742846741272192231)) (setf (aref cosa 26) (into 2224604539863445839832059853586954084/2231700680097858957932861548259439531)) (setf (aref cosa 27) (into 1314962368547335387240237601037644517/1319486696059425625849304094721944265)) (setf (aref cosa 28) (into 1015586001416082674795824182281303426908805378529717481166069357741515572703/1019344720720818168826330309700095319886355352245022294260003796535097710654)) (setf (aref cosa 29) (into 1256042539764234417394339254120682089212231772277879694882963420410619561651/1261030291740650151197132749207617736331991591938978547023299990493081500461)) (setf (aref cosa 30) (into 1715600672495508487155498567796188143/1722892964330102810939133095178342484)) (setf (aref cosa 31) (into 2438549024746871958237250907536667654/2449619454011281364979490106252468881)) (setf (aref cosa 32) (into 10426014221703766303086318768524828858461006469701399330477545818132079281/10476461246111932062133732524796993961387308869457353543637902049797293130)) (setf (aref cosa 33) (into 4114901372050919433215646719463363167/4136080874012669563986975356382872159)) (setf (aref cosa 34) (into 4382556891723507185867934726725214983/4406508155109531549240143248528619116)) (setf (aref cosa 35) (into 5245372994095576423038080585675971303/5275758994698339856769207059705622397)) (setf (aref cosa 36) (into 9149463021283002631143434433726080766/9205552730213084194840351780526783597)) (setf (aref cosa 37) (into 646325848748394793128988934105873106/650512458775236530174804511610377409)) (setf (aref cosa 38) (into 4287232335079001330170181437609081509/4316533181444339366483437032281344007)) (setf (aref cosa 39) (into 275083822188345172793523461200814941307118678996086295380637628179256404285/277064720104888610266315148274531063114037992498640323382099337552086538831)) (setf (aref cosa 40) (into 5813916857422917546102710735159262266/5857971529633266394784502200319109215)) (setf (aref cosa 41) (into 1618859528896189228694466472705815453023128861082871763978308927587560864474921/1631751486420158036809493253971124728222405953642015184577419128375030789986060)) (setf (aref cosa 42) (into 3063304640179763853695347268354250028/3088912485579814584557627584996218495)) (setf (aref cosa 43) (into 5441169120554477880722815320099175582/5488862617120051731259152152503412747)) (setf (aref cosa 44) (into 50044320195231541267066978818798159152359561955645180007792633504370094675/50503771416075643660628147722431549838587701449568678256616676415901290773)) (setf (aref cosa 45) (into 2605428173271169266322133902804048342/2630456747591536795168094673154057047)) (setf (aref cosa 46) (into 2278205648341090436467700864556985046/2301082526993562479631447677041172525)) (setf (aref cosa 47) (into 5282067910563474446529971309012391049/5337459976995599250511667564191714640)) (setf (aref cosa 48) (into 58563647494199651025611739966421122809833663534787639371717994998410626182/59204446227988950110728203019191267950974482802653032548184536628441651285)) (setf (aref cosa 49) (into 1544417514234259095288145620149273201/1562034621868329297214594406654394080)) (setf (aref cosa 50) (into 3369393460166692420047373499912302230/3409428442732333077637529751923084533)) (setf (aref cosa 51) (into 8010580263743871484737836831499523806071734005136454354328158796994003029/8109646557401673381575052396527591236158507742303109304693099968955790900)) (setf (aref cosa 52) (into 5073107694356735519159535549891141821/5138357548216954660958588392139936556)) (setf (aref cosa 53) (into 1483484676225330743869357165592718794/1503314290984702608065045168033911141)) (setf (aref cosa 54) (into 1287700036390790351105831093893225870/1305575854023885461956842073473443379)) (setf (aref cosa 55) (into 577189296756516342111511651094165695542915702774491296545835734898470213433/585504925087414467857886024708218426788577481923800104556863902890907270784)) (setf (aref cosa 56) (into 5598905305563664682246430389223560351/5682566075475282488284114780314860573)) (setf (aref cosa 57) (into 3149707464915156501682585691739735302/3198489217451750662985145576642142793)) (setf (aref cosa 58) (into 2369712852388582388794563452446540131/2407730697661817291594929008985027250)) (setf (aref cosa 59) (into 445269175300876707556282655216007475616280465869691863878378217029671737662/452664620101780978310063747976891469503535277346710090706969860501344301277)) (setf (aref cosa 60) (into 3303786656597567648604713840467149899/3360561708622056110393729718790244002)) (setf (aref cosa 61) (into 39452009068625563486896744964810622055534512275186553941757617573649110783/40153110391388601173148767455436621249913020253772204553956518156879014518)) (setf (aref cosa 62) (into 1971212015743126210113211853086322951/2007418070820284929709453638389828490)) (setf (aref cosa 63) (into 8069514495757530964980403145566878484/8222626433020008310600520617796444525)) (setf (aref cosa 64) (into 2084168003059662050674934232813528397/2124999268140318787604464183686645285)) (setf (aref cosa 65) (into 3322543363756891508747976573501485806/3389720381381205495217824611664327445)) (setf (aref cosa 66) (into 2117318229955699774327944355610096607/2161477726371163902129415241000524168)) (setf (aref cosa 67) (into 1859202745306593320451824845535087794/1899184034640685135544348317076697313)) (setf (aref cosa 68) (into 934625837156917202169564145648175933030895957438139660027021777291634340431/955340122877945068819011115633383982988066812696145487498491764893450210328)) (setf (aref cosa 69) (into 5675246015349775042157239584796928746/5804825047782751154003569542469020675)) (setf (aref cosa 70) (into 8204182848723075159861951837282953229343194682312905296464716603896802240/8397079357822489080853995121595965585853257048431218651432333050102682003)) (setf (aref cosa 71) (into 3881304287661027000982578474114089718/3975240283589981174660095463828861725)) (setf (aref cosa 72) (into 44453922000695077255580121655770432480216463/45560956189508041690320505285230844955428308)) (setf (aref cosa 73) (into 29197993319309986694115494199052708592363314948023316266249175651026915622/29945881373272187011707001653340773596275694580350427882088138811167805729)) (setf (aref cosa 74) (into 1380051183475120591679029931462283279/1416396799572690839893352459912613226)) (setf (aref cosa 75) (into 8233334713380726497596037251780040843/8456204323430793335871078130810835879)) (setf (aref cosa 76) (into 12603857552268969647278297179831601949/12954404353215480253999947124108799501)) (setf (aref cosa 77) (into 11210928202204946096122836109439169696799771082424257077920353538779724369/11531189733964550215403104784769954007922609361230943483371989586683067072)) (setf (aref cosa 78) (into 698469405041707420004836224567573505/718956878631371122888695192261460738)) (setf (aref cosa 79) (into 40808337513130746521877508239787516890494728922847826949663311385928274251/42036988703124371601513177802570470118512451764337381328041229003130877097)) (setf (aref cosa 80) (into 85364682456422857284914503475092780026/88001991869124446065235878430096449141)) (setf (aref cosa 81) (into 1630240533087245032103685456519642359/1681906626911604009958746058359849082)) (setf (aref cosa 82) (into 7787708761339373694600056322499259421/8040816835648598346106520609062309648)) (setf (aref cosa 83) (into 1625359081459769137670163269556728586/1679517062253482441001992308386392647)) (setf (aref cosa 84) (into 116647827258528171461486456511934299716785585349041572096021918389622901927/120631505265568756561771176282606512102931605311111668467287703872631321537)) (setf (aref cosa 85) (into 3160032395303986125874130988525953165648467265989378798342012417695885036798/3270611767908360960859684799291866258911195547821570973774215612555079312723)) (setf (aref cosa 86) (into 7533549016169677821084901386466930871/7803596841640805782714867611624119591)) (setf (aref cosa 87) (into 1423888232284026877216217865311617546/1476159339637774000558189200763783725)) (setf (aref cosa 88) (into 1795616492768646715077433878926515837/1863105503960256910285968902811352278)) (setf (aref cosa 89) (into 1884322525870562475619146068345455424/1956816172386213929991795062579225491)) (setf (aref cosa 90) (into 2148213138597617168067462885464321779/2232788013098713183567516631669940392)) (setf (aref cosa 91) (into 2819858899735092721238707151254521375/2933440282369959969399505543121766659)) (setf (aref cosa 92) (into 7005476180309250083690291630669749291/7294099925700165647380766299658399150)) (setf (aref cosa 93) (into 3718602373105026448184964990399177202547798293904649615357679993316782371486/3875273830463653990344528617473009590118510652201560955729673359372432254583)) (setf (aref cosa 94) (into 10996363639930805623791890531174231083/11470036281161036431567718292907444942)) (setf (aref cosa 95) (into 3128324152579938024638965122979041693/3266065865412727756323915034673284841)) (setf (aref cosa 96) (into 7114260334751655222736857148397251979668735474229145169750077973911610799/7434382342456214437097851161844358513586285576806192516046376699069968908)) (setf (aref cosa 97) (into 6635132648852126188423097121896914112/6940186815930416129659510481312697701)) (setf (aref cosa 98) (into 25079069663443955220198544081439088017388176990454639736386408290903774758840/26256924626052089959719809340492459179277104933659121652762839487423217286497)) (setf (aref cosa 99) (into 19123859329530560082322069789749267525153612587342319419846246080177074959/20041182425407369977147338585679679488706521505010862322323249857265077898)) (setf (aref cosa 100) (into 3361741802887983200764982023447923149/3526403547845928677465031554868710713)) (setf (aref cosa 101) (into 165172357460306936149155488184466577973675703664526312755486776339011946856/173432056967362414134230207882958050018034321420606167193528059451478478587)) (setf (aref cosa 102) (into 6995375693486583648811001900668959501565609606806883011566284152910002567/7352447134394948841503063849464969077438543399467484306993366392657684167)) (setf (aref cosa 103) (into 1077214864991588965623808252099531751/1133330507953178987409920993223606838)) (setf (aref cosa 104) (into 10858913470665233183761049347544206701/11436115001750867106917530848507268123)) (setf (aref cosa 105) (into 2312546993489137948714980032201667307/2437951950809068340274559593385557572)) (setf (aref cosa 106) (into 20806231193598311349693622660666893941005955409023146987470292610680782847/21957099591659754869827005614426951635215935281179623947125708409608483357)) (setf (aref cosa 107) (into 327614052604215502433939979179190572480280119676287146315619888660680250200624/346095221413959756891983028528728379587726026109735351701029012191663684340083)) (setf (aref cosa 108) (into 3237987006528633380936122601821842947/3424240611953420309697646842613918393)) (setf (aref cosa 109) (into 3227931774720474250552512192759156221/3417229774175861118719060928833671138)) (setf (aref cosa 110) (into 6026938025897136580328347229415814648/6387218959356816872633801217383127375)) (setf (aref cosa 111) (into 3138914340893690123078095883551272431/3330154463209056339905789479882662889)) (setf (aref cosa 112) (into 2400695035799215894588733616193359851/2549742624454395572776018195333181112)) (setf (aref cosa 113) (into 2379471839646456446322306290871535108/2529990942158930415909647199090450103)) (setf (aref cosa 114) (into 1845405153546019680728808110171037499/1964327037495188606981922824952675588)) (setf (aref cosa 115) (into 2634180041477238268107656361836454760/2807086659266660784208862867143564811)) (setf (aref cosa 116) (into 1213172863900449660782355503816256905/1294273308250613604199263690533452368)) (setf (aref cosa 117) (into 4134038890115059157910729002561037565/4415454966547655355144332474062378296)) (setf (aref cosa 118) (into 1873060851518576648718305603521152824/2002880538003559704829164110891531759)) (setf (aref cosa 119) (into 29949338986423964485626869911094732477/32062496348421165020835951620850417835)) (setf (aref cosa 120) (into 1546449571876774034386167766390359329/1657515013843849409183516291680880598)) (setf (aref cosa 121) (into 13058885106124841551042026081045496563640909817253773926746754522123522726/14013419464673204222814714055494121832751439727760956730510814093358180377)) (setf (aref cosa 122) (into 2893958343636674574435723248772779475/3109219025438846504536127581695847064)) (setf (aref cosa 123) (into 1159416746291166237619600494666874723/1247166246101489569254959728586911948)) (setf (aref cosa 124) (into 1639538428234119521939087860021858295/1765781035487160676330642504671765869)) (setf (aref cosa 125) (into 2034391102414686483941448388404970177/2193738744174373899284056494555608885)) (setf (aref cosa 126) (into 3792197938514700380360532862168090896/4094316566571080911852471363805236673)) (setf (aref cosa 127) (into 918574571178506020989958092736731957/993000729778780859966119392647282101)) (setf (aref cosa 128) (into 1230898640459346092568924184895320229/1332315087783707966370832546904656951)) (setf (aref cosa 129) (into 1781288648533821589386257165423020805/1930515303205811080079918646079576739)) (setf (aref cosa 130) (into 25523117587757487030771559368119211205954995061223664591397265396668785263/27696938405822781382935132018160489890721051101819153765336354885475835984)) (setf (aref cosa 131) (into 4388218669800963851364144692063799523/4768153345267062730620674957426095912)) (setf (aref cosa 132) (into 1655310276600187729419939216381184439/1800985017858689707836208221784479449)) (setf (aref cosa 133) (into 3475800427181000280940014961463299994/3786684268599719626915040879464627989)) (setf (aref cosa 134) (into 1983860592015721369847985878617216055/2164182295368020559366500648913942891)) (setf (aref cosa 135) (into 4989550250243325439725702452174736131/5450387512217813431539217066730363036)) (setf (aref cosa 136) (into 1051026385857486825924403444648314257/1149655622575006162748048806245033442)) (setf (aref cosa 137) (into 1879699109415456879806225767502372765/2058901375240334224030859287578015913)) (setf (aref cosa 138) (into 45440185553922780497046795554145770063233236372697250674569813646741515923/49840830222402380897121623236496777099673344171144448777764521173921837158)) (setf (aref cosa 139) (into 69155625983122913228981590469656477335656812694363993152257913653092540853/75958358403982134623953913229673332483254933616858806994540248629140519377)) (setf (aref cosa 140) (into 5986512315176457793577566447986046657/6584605294641577444958784949394445153)) (setf (aref cosa 141) (into 18398531545548695762459618803048572917/20265241654676897965333390285171376071)) (setf (aref cosa 142) (into 102711067756796053431366364277544726310183065140540663952614122083781664476/113293133030839597324052495760185973362594447009416195131655289908893247281)) (setf (aref cosa 143) (into 13124835461810503732579609860968358172/14497826626151075059212646790443064503)) (setf (aref cosa 144) (into 2174347192498371266575071445142152100/2405279807004810967159745672498570741)) (setf (aref cosa 145) (into 3268618308455017022598575000060732410/3621042344353301065204020984039645261)) (setf (aref cosa 146) (into 1756253529111588624025473717721553389/1948472597338237888443289757691622318)) (setf (aref cosa 147) (into 13539907272941470836928543192650772367454543509999089102754999881861849664/15044075769162479557305505293827216282919919374671642700423154883756415603)) (setf (aref cosa 148) (into 2527900114663843197052878497151340982/2812920819678353700707739221500758267)) (setf (aref cosa 149) (into 5639829699930357169981274391474928718/6285161268508536243025760327086345823)) (setf (aref cosa 150) (into 127702581554269332811742829910926349/142530571423890578312372079828399614)) (setf (aref cosa 151) (into 11558961893544587228255734442224066012/12920823317248615669224101408974696577)) (setf (aref cosa 152) (into 53905911010758916635264811535901157934629259183523769348373360861839758446/60349803446468935109980364847630128748895418321646525789906811760020700623)) (setf (aref cosa 153) (into 8435647874568353115671570582954723743/9458693447976821976290458592505590525)) (setf (aref cosa 154) (into 52161506824981916768750739489802088669444733187054151524811772933402719004093/58578900124543464338877727287733745667810731719733102756414550937183000564417)) (setf (aref cosa 155) (into 2638492668395162865137973749851990711/2967771832679127391265939790851469521)) (setf (aref cosa 156) (into 11882181559738756107560870945471510264/13386267677355417424882097874924948121)) (setf (aref cosa 157) (into 83753567471432130584246056652176406573385302507805305345751073384474608514/94506249414988333095819659000175930403890604471403242426740302360497539963)) (setf (aref cosa 158) (into 1981793467593375572273482707070773859/2239828172027016517187700144940433316)) (setf (aref cosa 159) (into 1909022748623658495406223446747673125/2161084420264854050286058485444159306)) (setf (aref cosa 160) (into 2852169889793183396915833919627323782/3234041410602147364975244268597762503)) (setf (aref cosa 161) (into 3264504790540804782249456424904286062/3707680550409894706735328496156345991)) (setf (aref cosa 162) (into 7829061700912415289730193598978729746/8906658480418818758742068416496779167)) (setf (aref cosa 163) (into 2788332604391541406757111818660160502/3177423017942452415055670367290343749)) (setf (aref cosa 164) (into 5176907024904244847753058366597156043/5909238380815611570502187680367257238)) (setf (aref cosa 165) (into 3583612372954271331092019383165855400/4097492642517995754008120172962676623)) (setf (aref cosa 166) (into 961122207386836682469551804805354540/1100822053893859090511812263447498167)) (setf (aref cosa 167) (into 4247085475989984005000946803966630196/4872773540159315628335681033548034951)) (setf (aref cosa 168) (into 3108123729191738768410839232334165107/3572198827189912515539459117360634805)) (setf (aref cosa 169) (into 177630369868434178573040497325250049/204508819658828349018075128257562415)) (setf (aref cosa 170) (into 3038741163676540341920468281231302293/3504704829059250254832091152943368834)) (setf (aref cosa 171) (into 2639458974555597122380125473606770981/3049586859281372603255925096098411929)) (setf (aref cosa 172) (into 285241782389156660926894188712746020186079054479135470330774038261781212426/330151324046938157993090789393498481318128164548022813700946230576609047159)) (setf (aref cosa 173) (into 1250000207950911984914055733791072686335191766385584081132645916543714789684/1449403392720655653268851149280430561722691541499972634192118873754283847625)) (setf (aref cosa 174) (into 1154873738762053301637111092272848018/1341524092665843708917538335217888157)) (setf (aref cosa 175) (into 2395629828956985570268313101715466053/2787879389732292171888505174777697894)) (setf (aref cosa 176) (into 9856737339209176136109047273069011370/11491673734896227371451531168108946613)) (setf (aref cosa 177) (into 1136943360530129365395136195783054136/1327976298994978568790610350363594725)) (setf (aref cosa 178) (into 14992748956440046523794991397279526971/17544448897046990988081283922813249422)) (setf (aref cosa 179) (into 3095111324460759985404937284497365537/3628668553471408202631662469518020760)) (setf (aref cosa 180) (into 6705444412748369259376398613060926621/7876200752697211616897067308211493546)) (setf (aref cosa 181) (into 7375423513892003213169848314051192047/8679605724505946541484996304912189683)) (setf (aref cosa 182) (into 6597126022932697852634097615299773879998698958700587032419076724518699042/7778525846426612095506937057663567535315876760939952142728174460798292763)) (setf (aref cosa 183) (into 12999462062800545908903704204998652961/15356882711145478240339823412472916248)) (setf (aref cosa 184) (into 3057723304346989468191630768453778921/3619234658071474166395922147543637756)) (setf (aref cosa 185) (into 3909655640585696820947162626144949898/4636643069624570666654752728420272735)) (setf (aref cosa 186) (into 1111663821058055100611775242395398712/1320963990307347483137756515369051249)) (setf (aref cosa 187) (into 2840516687429482764532861915799035013/3381995089210783479779005040045045731)) (setf (aref cosa 188) (into 12235364072789940477112681791274836388/14596759069146146483854331332692874147)) (setf (aref cosa 189) (into 2495495342474692821053390046585054404/2983087827824481006145988050897174593)) (setf (aref cosa 190) (into 486532943968033273708928662286075010/582769887780637708639267583115413729)) (setf (aref cosa 191) (into 5481783707728575499225452099740207854/6579428716929411941317717396693153091)) (setf (aref cosa 192) (into 4993091937476035228389740102051248066/6005140613195625167211774267696169449)) (setf (aref cosa 193) (into 53176868436814049889199088481024041986081414236912292106920820139906197535/64086952090584701649493871004907631066267032641874561532626011654638915881)) (setf (aref cosa 194) (into 3620207618874179986892219034396864112/4371993576445196281032256864802345103)) (setf (aref cosa 195) (into 3075020616955799425383631153883066291/3721338781279665748359741628739705572)) (setf (aref cosa 196) (into 4984996455108774294117419953333731469/6045429449875350725039185007803295434)) (setf (aref cosa 197) (into 1226688783199131081546960196436031508/1490780955362320675160931593696001939)) (setf (aref cosa 198) (into 1235667666341760985442744727155477330/1504888419876715943216650912557599979)) (setf (aref cosa 199) (into 148138608742083392647108479051379191/180800704355825044832768749977981779)) (setf (aref cosa 200) (into 3673339628174302910246010356706645336/4492915681756004123722034600812707475)) (setf (aref cosa 201) (into 10421742961738637612133365652267286973/12774649262977466172640760284934824870)) (setf (aref cosa 202) (into 2989698516746758132839563757740353708/3672684384770292737803411980415565495)) (setf (aref cosa 203) (into 10717842666262892420699177693959340137/13195241521858360898087678800873392481)) (setf (aref cosa 204) (into 7256561536585874135759678180156270003/8953664119748153821987568833909578195)) (setf (aref cosa 205) (into 983511069234344500828789199662473139/1216228963096232167740016876246555336)) (setf (aref cosa 206) (into 6783864866653007335711013395932518717/8407864455754031101165092985426842006)) (setf (aref cosa 207) (into 1309243442060172161371702671901878045/1626326071311213022616666712861679996)) (setf (aref cosa 208) (into 5434250887760427038352969686371342097/6765687166482175252959568901917102075)) (setf (aref cosa 209) (into 1417218935268712102185497363889620905/1768481501292171565309423706653838297)) (setf (aref cosa 210) (into 3159559804729801129620346484903491097/3951735493525054150799583851474238319)) (setf (aref cosa 211) (into 226938168046880561034292122028403365031990672428064302959993648491111475873/284493887103544472890370728276183258447816008676533247986189500029406200684)) (setf (aref cosa 212) (into 4375763209397601727459835636577662371/5498316532013659062429189100503047410)) (setf (aref cosa 213) (into 2821726674555966846579465411095163599/3553921694468021926335805538582136660)) (setf (aref cosa 214) (into 2706801905852896367674204942182649767/3417219328084186475116180973905487309)) (setf (aref cosa 215) (into 4183877812636132322355336901340118791/5294504941896915980965298854477196540)) (setf (aref cosa 216) (into 2949347891824340768099288044888185132/3741182541669707295026132822729863799)) (setf (aref cosa 217) (into 1908424198535934702851308257611329089/2426615229368673636027865473260245309)) (setf (aref cosa 218) (into 2117010470585029311286600202163714325/2698352774369995450606504984446092158)) (setf (aref cosa 219) (into 4362098618557425460969539948054476809/5573494276913598026565522086800569615)) (setf (aref cosa 220) (into 449031223752738331706921175465545044/575137456393593887442658856337365165)) (setf (aref cosa 221) (into 2708833326736519370449491780242073835/3478140593672585580089643167422456488)) (setf (aref cosa 222) (into 7306699727727482552112141462760164453/9405082004140293358107551633237016866)) (setf (aref cosa 223) (into 1821615355615271644973252590902806119/2350613656637119127212834090008017466)) (setf (aref cosa 224) (into 2201004949022309997494399795579065348/2847315892621549432186352655519536349)) (setf (aref cosa 225) (into 1936705201864386613591063821524471425/2511742127790188789132455193978161957)) (setf (aref cosa 226) (into 5535438660765409800988738227415797677/7197262565146045686574340323406025435)) (setf (aref cosa 227) (into 3020878425248945863828438425978566531/3937850600780990776218111371165716003)) (setf (aref cosa 228) (into 60331344346566524050158707507172341874208087157933426802277981751996360174/78847262627586847492381439719659233509765261244659248726144196345275472513)) (setf (aref cosa 229) (into 1849733460363948794626182147843173651/2423691736565747410745867836621472626)) (setf (aref cosa 230) (into 3485115573615044118129196146761021759/4578434907817430083659787962457151507)) (setf (aref cosa 231) (into 1057302830698561827720026994614155726/1392637030804772639015828631436076283)) (setf (aref cosa 232) (into 6467713614573745880167848887045723123/8541518821938853292306675020499273100)) (setf (aref cosa 233) (into 3946119271634975902157368621361152702/5225254339248376211946326809775620691)) (setf (aref cosa 234) (into 6425734098534830711950601447848651853/8531395009437433590152826235191280670)) (setf (aref cosa 235) (into 3692499321641193780853248804430852727/4915695850063961587734060820929769243)) (setf (aref cosa 236) (into 484222497082419994832937398491668464748478738008780820524422339536420075722/646374279266519456545643024448657100508855052554316455882202913681713336353)) (setf (aref cosa 237) (into 1691850661809682611087691178172081199/2264555333334270874579880209947823555)) (setf (aref cosa 238) (into 2228596119719523994130753928210706920/2991172179214291800610014693212135117)) (setf (aref cosa 239) (into 1410916093040247901793079587779884825/1898924619831877642272640050116796656)) (setf (aref cosa 240) (into 5526034605317062047280422483497899269/7458028493673947834553949674175432700)) (setf (aref cosa 241) (into 3046235104417886266764372848595384853/4122732930412124688356219668448222727)) (setf (aref cosa 242) (into 8480576926491270465786341398810586740694173282724730242432941933119952073/11509753288274266467003367101946640936968796826073363458780354915422635542)) (setf (aref cosa 243) (into 6015880997451645882636869132980993189/8187780961096655150083446878350295852)) (setf (aref cosa 244) (into 1377361310206818783110505194997967171/1879960799331379333576537004979655578)) (setf (aref cosa 245) (into 90160275003787094157859403246117551142/123412085588597000729924287656341051079)) (setf (aref cosa 246) (into 3748927218381281922078189117168701927/5146342453437650623760475693122577172)) (setf (aref cosa 247) (into 398771368522203630190677396357373180/549000264856436849864304574196129563)) (setf (aref cosa 248) (into 1959688042012182754337251481764440213/2705828008344915790273365079082418863)) (setf (aref cosa 249) (into 1685311368382405347181763624650648655/2333811894550683437815450016222699622)) (setf (aref cosa 250) (into 1622287050263280174815782533633464003/2253168610282526788032310357102515794)) (setf (aref cosa 251) (into 16058039319062912070326287132777117925/22369005963769178487791533577815431042)) (setf (aref cosa 252) (into 7786130094031869048997213568806779268481839724791639469291446507371381113/10878573087786636933536250329842667779510672184391165791321182791928773034)) (setf (aref cosa 253) (into 3288888753241143324431390985699538335/4608966497370417632481818156339870833)) (setf (aref cosa 254) (into 2214195032314684823377033889740452363/3112306479179428847799992857406504933)) (setf (aref cosa 255) (into 4693872529490865079052994063393769661/6617866009414141861549206565726061545)) (setf (aref cosa 256) (into 2788918330588564181308597538924774401/3944126127469278527968910146598237760))