-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathOutput.nnf
More file actions
6 lines (6 loc) · 13.8 KB
/
Output.nnf
File metadata and controls
6 lines (6 loc) · 13.8 KB
1
2
3
4
5
6
2,4,15,1
-1.2440082018053604,-1.4848379579449693/2.302501972327521,0.6595193049898689/1.0551789327418768,-3.0042193073988765/-1.7556396722697603,-0.17438158388064412/-0.16014046849260605,-2.0479259073653404/-2.2242602023889813,0.3275901209090494/1.1630459606943104,1.6511037711603487/-0.20805274674424135,-2.0220622101941492/0.045170900583404235,-2.0033220700727474/-3.111721685965759,1.685506147488157/2.0970163284236683,0.48813706100431425/-0.6221981919051047,-0.3904533229919683/1.1367517712255593,1.3208512696321983/-1.310232357839229,-1.4910879243958686/-0.11039482839548682,1.7609156492093603
-1.416979483532425,0.19889364889738706,0.4521643352341507,0.23423938961367627,0.20144231276810076,-0.6703406239242811,0.933604155601311,-0.6836885025709234,-0.27773629635593916,-1.6041706887649898,1.5625940515044794,-0.4089154679980583,0.024970622533680004,-1.6011512469653557,0.409057375285023/-1.505423547916503,-0.09824680272345253,-3.1135131507201175,-2.200526675230371,-2.34079648216644,-3.1774427892991848,1.0192820535559366,-2.6818932892203913,-1.5932036276632622,-2.581270414217961,1.108029070933805,-1.2239758927894857,0.9265212939225033,-2.2950362654923517,0.9027864656085749/0.7637267614601408,-1.0378616888192398,-0.9080921320953375,0.9058174455045196,-0.6165183673079965,-0.5601389782593609,-0.3352312971166253,-0.8020712034988227,-0.8909639756659385,-0.7307588470531721,0.6932510141174625,-0.3835325029044759,-0.10574263098993311,-0.6751247944754929,-0.6477643460887986/1.9071606033299353,-3.012588883600834,1.2299216211554524,1.8096124776641334,1.4619361227594574,1.9980260832360144,-2.2548115980913885,2.2130570896085464,0.6916390983602786,-0.24982261181096055,-2.7589796689477706,-1.4315315448617898,-1.050901881605794,2.8668115714203077,-0.6487698378711662/1.8825261015314292,-1.0192157402168394,1.653104104614628,0.49999754604947205,2.205253750233768,2.847469616212363,-0.5720504735207501,1.6839447062091837,2.473627997158891,2.483391999776587,-0.9122735585367793,0.8763157691611827,-0.8064766348301214,0.7977886426288299,0.2990861266135792/0.5546947135080713,-0.08190328402411048,0.2618501371368176,-0.9006049846585577,-0.6820686089476536,-0.21012174676140066,0.5251694301204091,-0.44212070255813435,0.051488630436906865,0.5555265962903929,0.37119118698368175,0.263747351283932,1.137144996684946,-1.0141227504134025,0.0508064136236846/0.26717551666456757,-0.3890524084610517,0.7555871530809696,0.7406929335631844,1.099623241754481,1.0162542094228075,-0.689377851506191,0.5000448969908202,0.6443396386088689,-0.5143069981139111,-1.214604590096534,0.061603102893205634,-0.9679459640798722,0.27126408931020696,-0.40397048205070235/-1.4796036363807505,-0.4465391750404227,-2.7686272237014973,0.3662104520184086,-1.1222564425417951,-0.08199543185724152,1.505932024535816,-2.493893364295363,-2.523022359248693,1.5805066403216503,-0.37748066868074404,-0.11112512620863563,-0.07124894203725265,-2.040379125027431,1.7800903879539869/-0.4040597900682309,-0.4422147833331237,0.09957924144169657,-0.2269643466803985,-0.22798575675586236,-1.529847117239139,0.42650133458609435,-0.5558584819336104,-0.08629360048854992,-0.8171985024673389,1.430320467893129,0.8163564756673339,0.7509028624038901,-0.5725629236768467,0.16198596521832506/-1.1282066678477727,-0.3994184242585423,-0.494141031870546,0.7769217204226226,-0.6733702078517462,0.6416389523368741,-0.44272881982596135,0.26357600330141845,-0.6126026200969991,-0.26133125129317375,-0.5163808219028081,0.4703044418218226,0.3524515112528896,0.32778388068491326,-0.8038171152976873/-0.8527987416341379,-0.09720891807090519,-1.520887728759033,-0.9685668519226416,-1.3983335932433603,-0.6521594225754137,-0.4897394052636071,-0.8816046181869709,-0.5976502315817344,0.8632274540180234,1.1252959005639633,-0.684896199154537,0.7600585551985889,-1.151054533401599,0.9205159730615784/0.4776326537386781,-0.8540656051533215,-0.20794532266648166,0.2110009139799674,0.8512153176314818,0.2178877881974133,0.6289087385486919,0.4628800837143845,-0.7753025713413735,-0.4451878976682325,-0.9230696415551938,0.9218802759599397,-0.8727064314975475,-0.7185718819901697,-0.3007969833757329/0.7590226040464961,0.873089255264265,-0.7547440358201516,0.6211055833775819,0.021314641920718743,0.35923836398371983,0.6072285712016179,-0.23102363185916955,-1.0592038616072943,-0.5310729668378903,-0.75048052528002,-0.9495301951505254,-0.9152430575062216,0.8025081191298122,-0.29531339663882167/2.075664267508715,-1.9787521750055002,1.2458878054223406,0.3604121338131609,1.483587917531228,1.584348618689696,-1.3145283358435438,0.5133823596803594,0.47011526560325295,0.46358990558756297,-0.5911588291457548,-0.0520553937437018,-1.9794750387211921,0.5221747384497488,-1.0216572808611977/0.4469608018480385,-0.9743750616746343,1.2612025770402577,1.161017109251947,1.7834793534237812,1.346192763292134,-1.0296237006135283,0.9616758517983176,0.39544669701400154,1.5214125469831707,0.10924255080805499,0.6112218919025205,0.1344046275238708,1.2042396388994707,-0.0038374881588295103
-0.15729952541554768,0.6689194400522924,-0.35038019778428164,-0.8217220782203873,-0.3093643864702144,0.8647662982861863,0.3877516914224063,1.8357945174945227,-0.19881308691017158,0.7128427234578486,0.8465381857273011,0.45724880606208723,0.7910341470802744,-1.5279472578928792,-0.6191523595316284/1.114122280924788,4.118447327472167,0.057566529049304455,-2.474946285526959,-4.992142240631873,-0.2813415550063298,-1.1811712246946091,1.3432919858097505,0.29589181698611605,-0.199788353056078,1.2179992686134054,-0.9180389832172082,-0.8722153243757361,-2.5675366280875305,-3.0702128724404885/0.18128933933594812,-0.34104147194018225,-0.824099285645924,-0.17483028976841936,-0.3617793863969818,0.8824626175807522,1.1679922405589815,-0.9919195941917174,-0.7049584350491305,0.6746414323390624,-1.1223889754658467,0.08457637540650394,0.21413669166135033,0.5912232711582779,-0.1940354027276702/-0.5884092731862348,-0.7621812889306089,0.8168219524339091,0.6617428445383039,-0.8814496145585401,0.6090953745053306,0.01100713945296845,-0.480706675121611,-1.2290598082095037,0.19517430884300443,-0.3763714225232707,-0.9046499220459115,-0.10702143108532675,0.04729869659191974,0.3994729858276644/-0.2108582487482813,0.6404689395468209,1.0198137671315795,-1.7900940090789677,-0.05910049674265593,-0.6340227755678921,-1.1115656149333544,1.6923595873632828,0.33518481974938424,0.5510554115960598,0.8931751903744723,0.04272250159617531,0.47305979690559796,0.14442679320854018,0.29851530357572087/0.4138062990003044,-2.2142071996613706,0.7115271129679739,-0.13902032285586174,1.3818818319191386,0.6490581554616153,0.6278466393766284,-0.6461358865799786,0.05757792342762593,-0.23030285029585107,-0.33966035248733073,0.24103922301960315,-0.1250191862681196,0.9683684650849131,-0.00749091431892267/-0.7930002957374762,0.8225328692303875,0.9978952573909379,-1.132822331513144,-0.8090637626765128,0.47294284644079687,-1.0953423860394844,2.120261695317217,0.3787801443936398,0.22582807786004275,-0.3550695070134093,-0.7741321505069647,0.2605539371371801,-0.04694935057981661,0.04222847054475213/-0.6033001139057502,-0.1312685527924226,0.9813211045784805,-0.6208449122028695,0.2927166348927095,0.5413303622022458,0.012650209993999113,-0.5828995131213482,0.10634379456105758,-0.31796786429024676,-0.35422948176839586,-0.6084205795851962,-0.1665753498519319,-0.5583550549050831,0.8366392297300621/-0.18221573618239165,2.614895058600279,-0.04271486663165785,-0.7343636916880284,-1.8710134671733607,-0.8693319742941,-0.4859245183427789,0.9664935951289734,-0.14643222733026995,-0.7590432847726462,1.3756436736750055,-0.5056512696100408,0.715996493522297,-0.13582608018675643,-1.8171266164477373/-1.7348959875936316,-0.904565533778342,0.2535214371267322,3.0162948468229027,-0.1933477469230792,-0.549357814098445,1.09105520251586,-1.073031148373729,-1.7094167684234105,-0.12978102092761407,-1.227977738167654,-0.08013960965664978,-0.3431518811222961,0.9972557083580562,-0.3786783556338917/-0.3881741086985852,-0.48912749802732153,0.8364639052600166,2.1456731844897172,-0.6224741213254075,-1.3435266587003165,0.5691662572858835,-1.155845589949854,-0.4170486758168263,-0.007795506010697802,-0.9428738576435967,0.6172931276487967,-0.7117484171560305,1.3939242106031775,-0.20497547567754215/0.5808377984616777,-2.508158114484777,-0.8815428574699216,1.6547465741816496,0.0634026865471874,0.35554109100076237,-0.039071410338686885,-1.7110587224340694,1.096179237834149,0.6418632921589172,-0.7651670804797569,0.20434943475853343,0.8962559040527166,0.29575571460416555,0.6754596253451031/-2.4033800191191332,-0.4003892017927709,0.0809566695656303,2.8792060436417315,-0.25852198021664363,-1.0522840224032588,0.9363364406737256,-1.7369394717673021,-1.2531710011753892,-0.15923477049817739,0.07647605358078242,0.25854896381139925,-0.6639490478284834,2.253684887213929,-0.646473682359566/-1.2588132891808819,-1.3038065132693553,-0.882221959722792,2.5055511762123586,0.04669458072083398,-1.1230933523830573,-0.1539884405362682,-1.0616381118518365,-0.30482460048877136,-0.5270532848437858,0.07893692214487011,-0.6841399719843444,1.1253609119671995,1.890087733591541,-0.9518267509435446/-0.819010842896213,0.4422934897807454,-0.4833602422888386,0.052889476348241114,1.020562647109807,0.7751435370743639,0.14774581449850588,-0.7415647775645993,-0.45869516816475286,0.6343450896816502,0.08408475085225774,0.08024412299121951,-0.22631106248385235,0.6903828565078267,1.0377458769927554
-0.06347493773693409,3.8901504755903593,0.07065176613037848,-0.614189882104719,0.15435421582359432,-1.733843103903593,1.133846524189951,-0.6556294906722825,1.148582973475305,-1.1055923098710643,-0.10622098502336805,-2.092426032345251,-1.0192833113984756,-1.6396005209786075,-0.8493603510053642/-0.406151952969924,-1.2992904926169968,1.229240266288099,-0.7185804986619714,-0.8904991559976889,1.035582056988288,-0.4705517371767116,1.0747279688377884,-1.1901799815285217,0.5026740836883645,-0.18540345562210017,0.678504115934548,-0.40249672340178094,0.5188429879793018,0.13821631197796272/0.30944627019304183,-3.3385583708131183,1.1894967024077128,-0.0364009581682004,-0.800767699239825,1.2256341305834917,-0.8660776202916316,0.6099765272581662,-1.5017039813862907,0.09662563706322458,1.2664023233194377,1.9128992690610669,-0.26746541538485186,1.4650323095227038,1.062012507745645/-1.1627249721081212,-2.2892900636051103,-0.5795074985754405,0.2685454667708241,-0.2452871454307519,-0.06290238087497191,0.27894778892493616,-0.4143983082151491,-0.9026233409894072,0.49527455770372036,2.091575699365195,0.08833199493950668,1.4784644210265117,1.9403211091067387,-0.239182077591273/1.0678927135684932,1.7790108575945087,-0.39046239091976764,0.3132282132786247,-0.1163337184257898,-0.675196747029305,1.0861880284986294,-0.39281084912600683,1.3589220445766101,-1.2614992604438877,-1.4711169981024883,0.0062110565166171635,-1.7091579017360734,-0.5245603458535544,0.21744106540408184/1.3146581100749561,0.8286350888487914,-0.22963633958046267,0.22473019439850891,1.5919876257690044,-0.6146054693155486,1.5547219555226772,-0.33337837783045265,0.33612281850378856,-1.0591963879618018,-1.007674735796816,-0.33846071034526126,-1.3601080326512345,-1.3193651487224853,0.541122698150647/-0.05469591562103177,-2.839505105844503,0.9841666857261806,-0.37283321755951887,-1.1387200670748294,1.4513677897058463,-0.06091153062945242,0.7378055674465808,-2.1823901252753037,0.7430855975542368,0.7553800709132031,1.489284880368781,0.5893379026079453,0.3348545261745582,1.2564218184599107/0.34169416558026383,1.7214420704886635,-1.213975794345754,0.07327826660477917,0.8883789454942537,0.03445266926767819,0.9495296747392287,0.9397783948274191,0.745372980665529,-1.1087401520672313,-1.3449381745600646,-1.6766206997623232,-0.21104651413398823,-1.3748443826448136,0.14349706336959858/1.1249882321025606,2.7736690873818675,-0.08776132738778186,0.646301775899572,-0.012247002162815695,-1.6217011813720619,-0.5438126478492742,-0.14201116452402315,1.387211878868647,-1.243915781835243,0.10794921543262956,-1.0736314567900285,-1.3835133914065385,-0.845862935579714,-0.39213343285942615/0.45879842705798385,2.424924147165166,0.020196799536884514,-0.7261101063202676,0.06270697516579639,0.31778560006234136,1.1117068972752635,-0.8160971565350266,0.4853687596592847,-1.300997826297589,-0.3260221865987085,-0.8375027025048685,-1.2816192913387374,-1.2134858817186431,-0.37899232335969846/-1.432099349546154,-1.7834128579401567,0.020641011580948908,0.7904557996062167,-0.7497844727952666,0.7190802718465719,-0.7874854033438103,0.24360211497628764,-0.42640546384021366,1.0508696830595425,0.07997523543112108,1.4969011080208656,0.30973551260743876,0.4113216961644034,1.1281114683077098/-1.7900152262751423,-1.5295637538705236,-0.5650259839621187,1.0127777084629421,-1.5883772720238365,-1.2273425402061746,-1.1108931644242912,-1.1211919495692995,-0.32493373279773996,2.347049408958993,0.5384198983417646,1.0839402337453814,2.721902908637684,1.1204694432439701,-0.09930638465170173/-0.3404763623119969,-2.1409897036629366,0.0515622632171793,0.42564707203214286,-0.4681033477122986,-0.26412701444917785,-1.1744305043548027,-0.9345399491475945,-0.38396530326185185,1.6019885190548726,1.3080196785154243,0.5215799360826119,1.5130108020543849,1.7676013034863987,-1.042651969572601/1.0810940854691764,1.2325262623686182,-0.6528457901689435,0.5312716263412494,0.9504257813295306,-0.2713297138850064,0.6900830374234038,-0.48458097717993026,0.7497234202002278,-1.3221031991135086,-0.7111689173341038,0.23320070362853146,-1.9239841625732912,-1.12247982866436,0.49891761653469535/1.3980126424340085,1.4628651267201376,0.23533145959176904,-0.7102325661550707,1.571689903420773,-0.3325581453570098,0.2539589277399097,1.0684800630612057,0.028020629657062486,-1.7140501536760966,-1.1245172165613784,-0.960337770721297,-1.68455038591372,-0.6573952293274711,0.8275086258931426
8.864888089970506,-2.6218933312175516,-9.173363336699524,-6.968550500220257,6.962608558613247,6.2785427964776055,-9.011013076980989,6.231797692860835,6.279566967670356,5.773796304922395,-5.663627842511567,-9.790569023333296,-7.781256499184536,5.244967136392803,6.546484487529262