File: real.expect

package info (click to toggle)
sail-ocaml 0.19.1%2Bdfsg5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 18,008 kB
  • sloc: ml: 75,941; ansic: 8,848; python: 1,342; exp: 560; sh: 474; makefile: 218; cpp: 36
file content (14 lines) | stat: -rw-r--r-- 7,623 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
1: 16
1: 16
1: 16
1: 4
1: 4
1: 4
2: 17
2: 17
2: 17
2: 8340353015645794683299462704812268882126086134656108363777/2022832731673317417391502561215986991699553462632778473728
2: 4
2: 5
3: 6844846549911563947635471095002246447533952437981175002091261066341863881554474577207054582564260940666806007126717059951273105241746871307087661000230152249632417241528807769912555902572226453145344167070704711329110029752364940981835256318200989499268338975057273056724404396773015552133743158705043728754125616723989811489625836589052438280358275659496836053338107149712374664655979221420733438543350998732384663538937723006053332453925412771770621553232986993076223444102024957809040356020710429403898804803351006061670910662055410746990788273363863842098888812857383574790524900396662957538997272107329265486972102339391300166828788391178606709979489352410247339527131899436777764764195369665696114942255927041/558879380497773360010736384712104864130654328631313025638424032872580326804371630328743255653904762376151778161307288609834128963032752942275591921418711479655300801226551865460211556566107245301192013219834456776683088455602586152812550939134845766196666806720776550855998458894536497650417539848241129026365717612785934719723675354053670827340413091192917583352426926769645575994391816776643340431685848774273517688962719939612835360366207635664384907555697962609305278696870851462127601027527960750067217313191556849278694536551613330627138441423414933502303297791187871011905286617619952274651063985512281286608494044612916630254520764066415310481513849430621324781928632680794308528907192101823199755281920000000000
4: 987918143704588033309332378585161845313969035967790676865607038205203923272258260636177147229132546146047701010408891418006490984096385567987852324963431346845783715951722601872214052628883430636796064084512211631351166906299769120083221562501956025242253530211707079386606891784499546001045957502367861156493034854899694585397290091255732076675451943543758103518642370471776289936621967467301622788199699385768371576584892763910359374215597559038273037060510326726609464611429885954797527059186725228201249898422428872034903015001463857880409669593675961136551359786129966362122273299117680101301632755904733199904609012304528887763207331051538410125789802501898171985181600038855906691656042510888300791772042122669890014540487491554599750952675965017602825842225617853036358115736203284318682197936093233083550986070573035721746456599085863908249173025237841219048793763126610644609092704207407144991705923165050546466198575377486553410705625085001771814581169032097919285788414117492892040293636372194615617179285201130156880491745553755278014661141110793014298983980425261521346338794447103379774736931893491264577899755500789204190979875257534193668273234114514825662272083200891378798427401302586375861410219036079212875935299290867762091284433859044681024789729467897026155940092174753036741781944948230526995252038122891496773822947106010630454124610015091213388400602460620834243616972623680273430648582117935414720661441086245898196057826062469484305340231274686323090708507875873949760715031143409799487560994305526828106872988213692499183780167283526703030988310596070973289307723905173700411359588221739970172265412479360053569668404095517079542508781152023542256473445536558704660802934658650592242446546665930884748955968849202197442685899971471290334751971326757931965981944237514885731377016400844210070091897863278109393321804119746403901694309519150149734449525829119510133449155560507286311414910426658255005763284050697288619490717661198922675908920922448279112796818752642112433986537380844101821933079934894373838219587001379281141231971395969222772543122529782668982751268504971671254107642002126909188646304312252784318046482939993107641300072720029462488634085536456197397910118941801981682681856348837475189302598467292250337397008597937903175344833065081491651735228436660483267480816932777515474166810315943809136985443585442747689078204541656914233244079178111025671592674776125421807157243646506911826934152543747071068716073203678586937266067813481598540165293175124733276101067636769319927383146998545176682273652219849616146975189886268173124737103945810682568287699869007897504443700672936081431630418380023119880215041173017628006387378999943673956244538702198773118301077159346619940156374610496992900876494152765674460149977110340470232811826075034856906677119772859140365360062652312821633656908612994391635529042119070260967370674372661105597537574780960716727997198589103143329326746144686383916563200354040073107205/45927102435909065234108730046235345286340805521897247916793575381739689854489506289130075085770067303057062114419111434135964877489169031962179721048161530655712490411853856201620903692246691635423021994884977024502134783556623559047029720987750833937272322413430356753717375720563126886485928242079084054057111337555837683206171841829993333697907498408043313401349508067462199031464729807637717336970450885519205660149691008942784175399871881161543363386231838422746238033245526720470767873571933769725301730590684997854116674358726856371412986894694710944094910405318814031667140531613157359288449660132542822033657579516184339424999447080964736911544605995629362437303719156310053277844552956229679213314498735145369496721101914726855990049011122097152282417195622807951159276546032135838301873496903351171919273072013392047231944900678972142569386867407604684686746327776636760745153744467294224051446926543173105880420479413048578388841374412892933202620060390347493874515049882231109042247872781000495618253699501351670754581657206234335768096340589868661431924339438467382580894931527484961730998519902735997894582007900714943758425337648019067757135865891266490906625040456156520839900432564483429580320845217732608006554994507680516053556891695317438065320146821825178208539539767321919608135155045710607506024709341446505570673715037699552980732859127600760353209525271304551611164814026815534619461717121820251452452239786740598618801312121532013603421823508308699965012155951831100256709636605846609538163352545264728901830120179519316464922223359920487815227583026432468002104753450003405290383161350681915139586238247381340569947871674149487491491821410602528453226643582024130338252460546368760021679989448579129684414882092569200401493485983624383416951573550506682789987868838884595727285725828739395330690761731340787173581468772770410906957780154488563948998339254282188363997915578824860568564788565445345802947007906979306649171389086283933703221838185111315837826165826213799212615567269861341773544271269392332952356899466227880227545899411176516370047293452643883459780017057590075039013305240435160584445567739525411585125755164902907046104344598875730056595854178837753001765615976162835053330211241425880711148001457307443871745350187633935996740204918600856194014149340420711504115198720859458746604640683412804416775757294642759234848841386462535349071972091474227705471521891670218560817519642357759322187715377406990243386105200570241418951803101407212994951722209082292304774875884879975725760011288854394760362458949027955309591594472562918413562691159065180950047479586415104822365219291283701805092624545488702878311538208497528316386555040465488722183110758834018944824860514108901197845493102161622545436609063820544205263914879909565085658655628103892892115141342680977428549566436138308254614448939588599703020307962744812432903021419495145823403390156674288921737688093904756615047201173517431019269165520577772389435246840991452728861781385022688561308323412342735196962456809238870505450119364608