Magma V2.19-8 Tue Aug 20 2013 16:18:35 on localhost [Seed = 1225315451] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2768 geometric_solution 6.00125163 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.453029116081 0.219265339605 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.758552177634 0.646326343291 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.066868257692 1.144160896399 6 5 4 1 3201 1023 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.066868257692 1.144160896399 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.264546548746 1.499871155209 3 5 5 2 1023 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.218713975143 0.573351334050 6 6 2 3 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.340900755000 1.512937604142 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 1470161423705621563970964850240703714338830764239722788143106836448\ 02938387208786699661/5138232618596126502293780587160751691288498725\ 249558746477066519472686956784384272160*c_0101_4^30 - 3503666367382714167108880513940882425376387933157176927937755305040\ 604021760245364138727/256911630929806325114689029358037584564424936\ 2624779373238533259736343478392192136080*c_0101_4^29 - 8296775948725139943605202466639265357562744319985677635612820375922\ 3296574609995319669/51382326185961265022937805871607516912884987252\ 4955874647706651947268695678438427216*c_0101_4^28 + 9806150096280009750516990390777314756829695002020244884368471531848\ 460617579591610783377/642279077324515812786722573395093961411062340\ 656194843309633314934085869598048034020*c_0101_4^27 + 4421732914193141100966019105920712866912919159370158985756347131015\ 956667936223646244897/128455815464903162557344514679018792282212468\ 1312389686619266629868171739196096068040*c_0101_4^26 - 3395941705692083766583337881613007277310430005576283685488905322126\ 9073912781688660432569/51382326185961265022937805871607516912884987\ 25249558746477066519472686956784384272160*c_0101_4^25 + 4455877156231456788749885976101561650238022120237917616268280831341\ 51575516483599870463997/5138232618596126502293780587160751691288498\ 725249558746477066519472686956784384272160*c_0101_4^24 + 3534845668370948937437009983706092380683885437553197450638193553707\ 74631648148416776144481/1284558154649031625573445146790187922822124\ 681312389686619266629868171739196096068040*c_0101_4^23 + 4128037125209936734037583592190618048053731636013772234820887470997\ 828893474650033905004963/513823261859612650229378058716075169128849\ 8725249558746477066519472686956784384272160*c_0101_4^22 + 1740915688113722981729174364639255769913544927413694885293088107369\ 402080426081194008836783/513823261859612650229378058716075169128849\ 8725249558746477066519472686956784384272160*c_0101_4^21 - 5447112422194865557529331792317887517409465202836581964763481475359\ 593076953200131290616983/513823261859612650229378058716075169128849\ 8725249558746477066519472686956784384272160*c_0101_4^20 - 2258910850110848513212961313083677352243209296642722893817977625348\ 293512700179665752406087/256911630929806325114689029358037584564424\ 9362624779373238533259736343478392192136080*c_0101_4^19 - 1530249210774746318075933172262316644254134539363360638052340132716\ 266480932683580948413801/256911630929806325114689029358037584564424\ 9362624779373238533259736343478392192136080*c_0101_4^18 + 4598005479663640116113629506063644562194306201301959065891952698407\ 286353725445165453040133/513823261859612650229378058716075169128849\ 8725249558746477066519472686956784384272160*c_0101_4^17 + 7858884034490554049530618674265054305174496587359837526231912183212\ 52022931155181701282913/6422790773245158127867225733950939614110623\ 40656194843309633314934085869598048034020*c_0101_4^16 - 2370932923875529605133763966704287389086959337788120248109731364754\ 13460446800950677521897/2569116309298063251146890293580375845644249\ 362624779373238533259736343478392192136080*c_0101_4^15 - 2680441202356925579232694345723253511086624181274938924648266608568\ 20054849116939087954773/1284558154649031625573445146790187922822124\ 681312389686619266629868171739196096068040*c_0101_4^14 - 2585214926390695386868881120616822626153800970039975196633454995770\ 630489446036308685417493/256911630929806325114689029358037584564424\ 9362624779373238533259736343478392192136080*c_0101_4^13 - 6986135693267583279288721589030182338478970266406182387424560854523\ 6664091488554410773423/10276465237192253004587561174321503382576997\ 45049911749295413303894537391356876854432*c_0101_4^12 + 1605602098695111499706598474288288361066653369800823410926321582140\ 40696192826146056730241/5138232618596126502293780587160751691288498\ 725249558746477066519472686956784384272160*c_0101_4^11 + 7380334313577906705630117255953216495181840707878868881590315411328\ 36335541299048894622161/2569116309298063251146890293580375845644249\ 362624779373238533259736343478392192136080*c_0101_4^10 + 6041371303783233578184805783356876634041636282557756744925886292691\ 19153490648315501332651/5138232618596126502293780587160751691288498\ 725249558746477066519472686956784384272160*c_0101_4^9 + 7001888004290015891262307565218070003470349061756372089336355004163\ 4319630798976862813227/25691163092980632511468902935803758456442493\ 62624779373238533259736343478392192136080*c_0101_4^8 - 1149674368414251991074579091631860720855237152489550714103941804189\ 973409805729898217273/321139538662257906393361286697546980705531170\ 328097421654816657467042934799024017010*c_0101_4^7 - 1899749964208237324315127757750179651953943843253979775032652672296\ 1038287554547518709699/64227907732451581278672257339509396141106234\ 0656194843309633314934085869598048034020*c_0101_4^6 - 4574116457364581309138492303996514736012211987529245460969019277102\ 01114996996904146417/9881216574223320196718808821462984021708651394\ 7106898970712817682167056861238159080*c_0101_4^5 - 4239168432933769870098418542384957605941310079973447456680312302487\ 5389860534957483734653/51382326185961265022937805871607516912884987\ 25249558746477066519472686956784384272160*c_0101_4^4 + 5715541829224299927386647841842798155288971895050014251359384379082\ 358711222371179736209/513823261859612650229378058716075169128849872\ 5249558746477066519472686956784384272160*c_0101_4^3 + 2202878259770137126004505870705752616299148298012660998974051213261\ 1942379111466304203/79049732593786561573750470571703872173669211157\ 685519176570254145733645488990527264*c_0101_4^2 + 2583637974935286255993637778532599023732775557123094218861961085566\ 493225608948007889793/513823261859612650229378058716075169128849872\ 5249558746477066519472686956784384272160*c_0101_4 + 6831457019759686169008321199299783945401130853438649956475591378106\ 03664966464021962569/5138232618596126502293780587160751691288498725\ 249558746477066519472686956784384272160, c_0011_0 - 1, c_0011_1 - 238744460151310177850108693038112027454863556626442364747309\ 940180335778801394792/247030414355583004917970220536574600542716284\ 8677672474267820442054176421530953977*c_0101_4^30 - 1141516063479611758216760955914251689731505954977600481658771797674\ 6117741194795029/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^29 - 3039563856347509845041737763163963048205508941004339415865129575314\ 089921669605373/247030414355583004917970220536574600542716284867767\ 2474267820442054176421530953977*c_0101_4^28 + 1276610220925293958852449331969853612961088680226930319631323294202\ 24747543217420588/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^27 + 4688142296258918674977741671635641015788485375089745919316737946127\ 0342715462972731/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^26 - 5764341176741969841897560755736108405419171261731565284194332814252\ 7040258087017798/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^25 + 7245779624501725652717895517877186941068297171119375130572949944608\ 60835313288733997/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^24 + 2423081308478644421411219557354398396928365552987847898677941753428\ 229587927716768180/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^23 + 7012775758376910362462592286695081143142604039512304362378305289213\ 607106657817764401/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^22 + 3784598261079929396988690011709910297769328833875797052071951191102\ 350056264501960472/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^21 - 8438319491286495011875908331744102045398411587120594983557860559045\ 431303988214695292/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^20 - 7989958379632691122686569078168455494118903043229268763611068610431\ 942430448515778920/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^19 - 4760443398626380077449611818690392150086964941962314764740033006743\ 355411624536000126/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^18 + 6535454417658411383052235716833605012908371003837847249882373748615\ 618023243291456525/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^17 + 9974900305476969746239376887776410827024235228362895590596265319387\ 705205562768279873/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^16 - 4963348086214027711320403394041742073519797611937132939747174455187\ 44799958848956685/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^15 - 2029866030581452209309257370504925506001368413160132413844348423179\ 566164331071423689/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^14 - 7090871376847123524763043552042030564212328291092082452394708119664\ 297300366872250719/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^13 - 1004403806519588790943252577661225159338480520570189863465039452117\ 319546795974066629/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^12 + 6782676950583525210643634158827394638153976460362360126464000415802\ 2856842934949745/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^11 + 1741276850001795891593774112504461137832306818854901006234351739860\ 712654164782549521/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^10 + 6361861749151779832842930021614412402705215328406011833604454787619\ 10572288472079527/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^9 + 3391867809477915295632165467171025805914175579818213470234836480582\ 76643054069597471/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^8 + 1181351720306139113483548057856606013345402737324373936024135875134\ 80147161390406315/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^7 - 6751759064248227970547002968716842820540829028817731376163685459196\ 4786417656931002/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^6 - 2385544017585716045196895462647453582605980237189837160541739192595\ 6036229309953747/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^5 - 2405288857616848616588022073878763792593650282140727848261936144411\ 6613591331761446/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^4 + 8890269450366076316383659344731871803424738992652424594079799075211\ 386954896433654/247030414355583004917970220536574600542716284867767\ 2474267820442054176421530953977*c_0101_4^3 + 1456896071253006399761756068319712074208412752378032088845373859581\ 1881821229461/24703041435558300491797022053657460054271628486776724\ 74267820442054176421530953977*c_0101_4^2 + 1463543453679125913694826367960301149542410059431271831640904716495\ 209824819794173/247030414355583004917970220536574600542716284867767\ 2474267820442054176421530953977*c_0101_4 - 1566855676452448947108293392435056024589806607135015236932819920918\ 145963810939287/247030414355583004917970220536574600542716284867767\ 2474267820442054176421530953977, c_0011_3 - 369650238844955653472693534353355880261479497241763992351968\ 015767587123430231619/247030414355583004917970220536574600542716284\ 8677672474267820442054176421530953977*c_0101_4^30 - 1740066052623881547566724612303424660474896522058477048518330601225\ 6805247865651940/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^29 + 8239041582598826109430342776818541570239919754469838501945561033593\ 435089107416930/247030414355583004917970220536574600542716284867767\ 2474267820442054176421530953977*c_0101_4^28 + 1947643053421725436809817355492567845278027765165808048957177187909\ 50576730941333993/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^27 - 7507482926139285384025271606213673160119684696851040226270201811639\ 8789753656516452/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^26 - 7126086501913831297274836651872153020568086590343213584677359345529\ 6632807008174433/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^25 + 1209334081101859664256903960464441701591895560859419291586953151464\ 065373019280259442/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^24 + 2885207296540839910380879226754027579516605268936246641086802178412\ 532307160745383790/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^23 + 8504741465656064510999775680470720910659294083889501848275416129206\ 373455105067008007/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^22 - 8379414518142321887625239681001660409265580921692221061692905683994\ 46848464830908534/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^21 - 1356973579651619475556766145069288982972651348219156008568828100749\ 7399157952737003823/24703041435558300491797022053657460054271628486\ 77672474267820442054176421530953977*c_0101_4^20 - 7239565647744656727961911486000566417312315666669852410005267227047\ 57756023738051707/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^19 - 2907415563443775194161034101092729333733781308654551621481140485267\ 051466752820091500/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^18 + 1206694009155893463747578690421815473275784159269681325194309721644\ 1189712816962744071/24703041435558300491797022053657460054271628486\ 77672474267820442054176421530953977*c_0101_4^17 + 5875054122598940544600440497988896144589749807167704685901503157067\ 862574765317420684/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^16 - 9512833554309609600171966580600762368791289944347950957074565972163\ 406536313226665968/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^15 + 2373821498940293855160458305045977735778822170457165669306700913775\ 453993482896527756/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^14 - 9597822725262327322041466517702244296655879950664601238766853185084\ 442425561887242847/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^13 + 6223459251440722353999081162418520690720430623597475249162751373155\ 293113411212349856/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^12 - 1701160557766356919131484296113019775934650880719322244917903066233\ 104407226848866114/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^11 + 1715101773303245039209416772739533313700086694382895023180195087701\ 319650588724341491/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^10 - 9247277083527494241734726618929908027151299723855983991092589227076\ 08084250831531732/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^9 + 1440591195339061831024466415455704834071228900643953363740598275786\ 7603761607854219/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^8 + 2889180518778908648401700731763469138430971707110158986953553956932\ 63662276562524126/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^7 - 9274191298957763715538391632745981747214738917572295152827899378023\ 0491510833328681/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^6 + 2664635390317878885732218346750709489984183417360781565417396731175\ 21434068742272882/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^5 - 7192219542164388499440045686234031637522012767858407170309442045019\ 4723245390420975/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^4 + 6086557975762651507900257357920582694215116359764787590062752853560\ 5914191507427759/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^3 - 1846026146727891879172522461725794569517769743369455380345125237207\ 2691929580220683/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^2 + 2053911185195808033015112010257413774817038173817553302873577194212\ 865668663123588/247030414355583004917970220536574600542716284867767\ 2474267820442054176421530953977*c_0101_4 - 2575250407497212080510712584206013358955953217849702249043423569822\ 779678292773740/247030414355583004917970220536574600542716284867767\ 2474267820442054176421530953977, c_0011_6 - 519237749992788806687012651921695998703899116346107472356281\ 823031624867542739607/247030414355583004917970220536574600542716284\ 8677672474267820442054176421530953977*c_0101_4^30 - 2495829721922300417146062757926877597878582030521465225841592484419\ 1860887270315314/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^29 - 1295435293623000230165634871675429949735157687138590810590853346244\ 6067531401192841/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^28 + 2740317457596347496639496216699551295014507839562913888455488516992\ 22131984328490566/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^27 + 1723087117118607997179507999348636654156662710500297201886981131931\ 68216924015826098/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^26 - 7610537136218694642610683419613853506589915289724314029789292162966\ 8277336567484853/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^25 + 1548474067851530248387634811218663551002571810801889088670039185459\ 523841360740345588/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^24 + 5641213579177047414879284256527492025037829387996665485176529193283\ 219492370915050258/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^23 + 1670985283124049726746541054239725525495850431894077602307482459752\ 9376006729465497373/24703041435558300491797022053657460054271628486\ 77672474267820442054176421530953977*c_0101_4^22 + 1250327782302589219942994034305807720060245265218821794768730075629\ 4055404377596977016/24703041435558300491797022053657460054271628486\ 77672474267820442054176421530953977*c_0101_4^21 - 1524127381825903337907486097831480272791396658346616112885923034784\ 6338672518276518533/24703041435558300491797022053657460054271628486\ 77672474267820442054176421530953977*c_0101_4^20 - 2192581525460277165628607242481393300524494250846486960910772137096\ 5454699903725401381/24703041435558300491797022053657460054271628486\ 77672474267820442054176421530953977*c_0101_4^19 - 1723944351375228213746112860234669122157368433217240471045425373272\ 7783683128628214015/24703041435558300491797022053657460054271628486\ 77672474267820442054176421530953977*c_0101_4^18 + 1005257810623481957886606528547368721640818137444805557209572204291\ 1922592992035581318/24703041435558300491797022053657460054271628486\ 77672474267820442054176421530953977*c_0101_4^17 + 2597148259224641980561721870825523609318595584146891658971196866704\ 9606833801388487493/24703041435558300491797022053657460054271628486\ 77672474267820442054176421530953977*c_0101_4^16 + 6691733210821808936470785001290136644735759654155058540493427695702\ 671222889270962012/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^15 - 2677783718545919309177321378684876145582538614954586787707633749558\ 893886518289246692/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^14 - 1786056917060416187415457148091883200624219327386247532221857336545\ 9332602464152579494/24703041435558300491797022053657460054271628486\ 77672474267820442054176421530953977*c_0101_4^13 - 7730148115208274314381520287198862891291887628036940061600889702693\ 217122837534550112/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^12 - 1324363644787644470656173597786308927012361472985422648993578092176\ 690288656726968805/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^11 + 4160767016711990033971086372845101831922349906549022105289712519444\ 825884988395506081/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^10 + 3269036045110947921767626959827684341236994575492005279688109061334\ 661972856628633110/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^9 + 1459486027186679904851403563170640580549083022497673399662664949675\ 298840562381011134/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^8 + 4456246704569234503947151471992616563860493589537846986258254843610\ 78876432246145108/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^7 - 2433295640491100452615210431162849193460150707223055421517213717502\ 59920983044549464/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^6 - 1409772329538984515606099506116005057247350853821395071411599958792\ 84014137280447880/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^5 - 1217024346876690570486175757596035674597450106713062018496990947148\ 78453041286245993/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^4 - 2388900562626131739981848569135560821931318467198577961616041069545\ 7203669011582105/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^3 + 2581151780876831855003370818666422768074082073553065022566412217387\ 256279292306939/247030414355583004917970220536574600542716284867767\ 2474267820442054176421530953977*c_0101_4^2 + 3179329444035871038249829199838006297679001235618406270698263016177\ 345032935597673/247030414355583004917970220536574600542716284867767\ 2474267820442054176421530953977*c_0101_4 + 1780188952454864328163914024452750117336341114038935950538191054183\ 144119086605309/247030414355583004917970220536574600542716284867767\ 2474267820442054176421530953977, c_0101_0 + 113485368471250171325959899094999035795152029746615432914122\ 7162586519526736642892/24703041435558300491797022053657460054271628\ 48677672474267820442054176421530953977*c_0101_4^30 + 5417155224299656714124723442044548551372415845272062453024077402882\ 1535216767611242/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^29 + 1035130250729989951351353931699914145175535878285006479620392238126\ 1533509900884846/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^28 - 5991934874147797273713260936912610982562670532393505294523444378636\ 38695867011155540/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^27 - 1750699055033897651774723562723386119669400878019379197309380486654\ 93421621678949920/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^26 + 1907348953593614305146356234794635787981686214109645591759588229681\ 34648068006887347/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^25 - 3473810177675843345074595128710583313798751864040500828068219264781\ 876291719846542828/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^24 - 1117435650914129952436544740134932415219119254359523862225959007576\ 4196032760945964528/24703041435558300491797022053657460054271628486\ 77672474267820442054176421530953977*c_0101_4^23 - 3300973996631253448323680058638816747480971596820215260275324167778\ 8765718721132500531/24703041435558300491797022053657460054271628486\ 77672474267820442054176421530953977*c_0101_4^22 - 1708709337013419739601653218362539700397259068253421954532333796117\ 3943080054801189799/24703041435558300491797022053657460054271628486\ 77672474267820442054176421530953977*c_0101_4^21 + 3673051036884292749523822544777736996213709880018848140666750717402\ 2504935545689965620/24703041435558300491797022053657460054271628486\ 77672474267820442054176421530953977*c_0101_4^20 + 3360145335574190046756897978101286889500415133119009631158630068894\ 4300138929994833598/24703041435558300491797022053657460054271628486\ 77672474267820442054176421530953977*c_0101_4^19 + 2760655498781477802180689406658442832917929743842843357639326100312\ 2041505828231151230/24703041435558300491797022053657460054271628486\ 77672474267820442054176421530953977*c_0101_4^18 - 2883788014061819805062688874918074265689039279602494733061379196746\ 3105099679270936190/24703041435558300491797022053657460054271628486\ 77672474267820442054176421530953977*c_0101_4^17 - 4437956687063977950895644612689813550343186740206825026566262080733\ 6558546020387735524/24703041435558300491797022053657460054271628486\ 77672474267820442054176421530953977*c_0101_4^16 + 1739642609131850134966158957665210986544188408056969357926952536460\ 18791492435151125/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^15 + 3090598512193283669479945065202653215516780550132702803354595995255\ 987514920974135111/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^14 + 3669126403537038465259708071797971569451220425367359745012154290960\ 8287800745874586980/24703041435558300491797022053657460054271628486\ 77672474267820442054176421530953977*c_0101_4^13 + 3878587111170073675965183147115780243264781670201350065156972252532\ 237838901254846747/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^12 + 3288864807792444660811479442295052884641770074331112273165592174450\ 058736858827581143/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^11 - 8715165454361777398786822551527722434176704908892682851377100473721\ 469937779132922195/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^10 - 3441579045750222406608305257384918299754681837697132787960764730473\ 064122956993693563/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^9 - 1981039612206064125147171780925723557065388270059808549925303012625\ 530868822802850491/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^8 - 7729539389514119728030028204071267094333731775020770310167948313603\ 40828641360043621/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^7 + 4787871930471103620715008899504592653811103666811068557446528962605\ 54413164744013718/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^6 - 6047505220976212028805176916282414545831795472168890878793751249609\ 3272365721167757/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^5 + 2788531227369269393073372482722842212935853095127043917381491824943\ 05784522898293098/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^4 - 4164276290335564141832616036593976104195698163411271190418608187469\ 9209106805924072/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^3 + 2562606743066966148359514085688377292021497781524261732226395455815\ 4367282393319925/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^2 - 1102964539617905105774227632798583053513008159031062225907490179253\ 5426133030776953/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4 + 1299681430233163945443270307220667939472534196200990174037231909353\ 108893459086764/247030414355583004917970220536574600542716284867767\ 2474267820442054176421530953977, c_0101_1 + 127726921981349583899487981079534851544278432840690836934580\ 747509321427533282934/247030414355583004917970220536574600542716284\ 8677672474267820442054176421530953977*c_0101_4^30 + 6166774201317169629771437569801259920936112354466731621115520476028\ 205500282183797/247030414355583004917970220536574600542716284867767\ 2474267820442054176421530953977*c_0101_4^29 + 4498677207712754023323861420073157869710082900265617517487330020090\ 091983248106715/247030414355583004917970220536574600542716284867767\ 2474267820442054176421530953977*c_0101_4^28 - 6673414081138397479400885819727682842043708724266451569966669096182\ 2177490556989745/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^27 - 5661379125462071370937962785733665948311696221236439851117351233124\ 7665930316745134/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^26 + 9603278560997478438733069305503303357851718457275463316818971629910\ 631680096230788/247030414355583004917970220536574600542716284867767\ 2474267820442054176421530953977*c_0101_4^25 - 3789707209712753419489592650582226684707692762321320808375128318543\ 12144311784553204/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^24 - 1467279711143261173685548708889170764033091569599802528483919803255\ 223168695777202504/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^23 - 4405227280364316134789202584520100243579248591512601819370979730484\ 043872658903183942/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^22 - 3966680586387518432136178961189357662406546342204223553700937024542\ 665813744962943164/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^21 + 3074076597840981848594118379853832930096250736848512275377261247285\ 097411966539346042/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^20 + 6128752605863256487498688775839005989469994726669824460672363023775\ 142576655277487986/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^19 + 5442478130082999731650447622722808924402502594207599923776946004362\ 657542279047275638/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^18 - 1406539970234205083827790458514675344460906367077187227171199633220\ 995666252385809730/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^17 - 7009260413838762278223735160634294847663939234218166185468432310438\ 749941346882473955/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^16 - 2984061377326046692833047871256866386790686206673905097583636358838\ 168162196787569901/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^15 + 2983577722229049898844198696359360193170712940509587229475216849910\ 65168401473935936/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^14 + 4484317888614632967842064835436138693558144494613898360410896916198\ 622663553330639852/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^13 + 2938062185120951875856442975440508560040680690608283701997297069270\ 119280027628197655/247030414355583004917970220536574600542716284867\ 7672474267820442054176421530953977*c_0101_4^12 + 5757190627424838492155913641344616864990902197295226724744327634759\ 59325112761544987/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^11 - 8809572518011197260850074685134186665794196903512024212095057352986\ 61731562758241570/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^10 - 9822805517012530805540825956269342300719026948513429691675997231331\ 81187052045357332/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^9 - 5046269163745679247989367091938682310299233814808036760060694973432\ 60212866051401960/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^8 - 1821036311921510974601818078165722484967335551280635235917874749173\ 76791581379852232/2470304143555830049179702205365746005427162848677\ 672474267820442054176421530953977*c_0101_4^7 - 2404504980060360980605787246243400902061874904568821055510488260580\ 6394768457754160/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^6 + 2971769260251374779252234811483177538589959419283842101050391163707\ 0943428983543394/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^5 + 3132127742620104920650165891294461840057719664515575098280231215862\ 3081001639685914/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^4 + 3223476447462366146988797110902136245567991190453795239628619400704\ 8040261985684557/24703041435558300491797022053657460054271628486776\ 72474267820442054176421530953977*c_0101_4^3 + 7735326258134400492111390148352123843745829823513850894325960729248\ 47124481497228/2470304143555830049179702205365746005427162848677672\ 474267820442054176421530953977*c_0101_4^2 + 9558141387321046065299247859609669333604854919538730301935463243056\ 12567296397000/2470304143555830049179702205365746005427162848677672\ 474267820442054176421530953977*c_0101_4 - 9364276167028659312185271402609414824910433782579543975058745340821\ 21180895699381/2470304143555830049179702205365746005427162848677672\ 474267820442054176421530953977, c_0101_4^31 + 48*c_0101_4^30 + 22*c_0101_4^29 - 516*c_0101_4^28 - 292*c_0101_4^27 + 21*c_0101_4^26 - 3055*c_0101_4^25 - 10622*c_0101_4^24 - 32311*c_0101_4^23 - 24801*c_0101_4^22 + 22437*c_0101_4^21 + 34884*c_0101_4^20 + 38774*c_0101_4^19 - 12405*c_0101_4^18 - 40994*c_0101_4^17 - 15318*c_0101_4^16 - 5592*c_0101_4^15 + 32858*c_0101_4^14 + 13035*c_0101_4^13 + 10241*c_0101_4^12 - 5884*c_0101_4^11 - 4763*c_0101_4^10 - 4084*c_0101_4^9 - 1820*c_0101_4^8 - 72*c_0101_4^7 - 76*c_0101_4^6 + 313*c_0101_4^5 + 21*c_0101_4^4 + 55*c_0101_4^3 - 11*c_0101_4^2 + c_0101_4 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB