Magma V2.19-8 Tue Aug 20 2013 16:17:51 on localhost [Seed = 2463305329] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2085 geometric_solution 5.59622563 oriented_manifold CS_known -0.0000000000000000 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 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.471939031966 0.208831746837 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 1 -1 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.756099997375 0.575256196234 1 4 5 3 0132 0132 0132 2310 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 -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.198098375195 1.323468919373 2 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 1 0 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.198098375195 1.323468919373 3 2 6 6 2310 0132 3201 0132 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 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.179823224395 1.185204231537 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 -1 0 1 -1 0 1 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.110619244488 0.739032472228 4 6 4 6 2310 2310 0132 3201 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.595422357529 0.692576182223 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(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_0101_1']), '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_0101_1']), 'c_1001_6' : negation(d['c_0101_4']), '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_0101_1'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], '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_0101_1']), '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: 27 Groebner basis: [ t + 5874414892358033883003811739016644013300966503363550048705334748735\ 3/33011684811495213420815252080315748501280635159990405290497382089\ 0*c_0101_4^26 - 486079233713130635591274189359401236003198317330289\ 38854423955641216/5501947468582535570135875346719291416880105859998\ 4008817495636815*c_0101_4^25 - 218284113117243642529000809820743389\ 0171346315287084451427099168491619/33011684811495213420815252080315\ 7485012806351599904052904973820890*c_0101_4^24 + 4012072948507035509453797806950223748507163612818886286864907159047\ 301/165058424057476067104076260401578742506403175799952026452486910\ 445*c_0101_4^23 + 3304750255901749338538120553844928911477179465212\ 973618512645885779817/330116848114952134208152520803157485012806351\ 599904052904973820890*c_0101_4^22 + 2806880109941222844327012546176435193255287124482423837260775666329\ 1152/16505842405747606710407626040157874250640317579995202645248691\ 0445*c_0101_4^21 - 125712834043409374121331048090661418780493174892\ 89481801800216482872718/1650584240574760671040762604015787425064031\ 75799952026452486910445*c_0101_4^20 + 4337774568480717756277151420206719309066045379118429204640508799746\ 2053/33011684811495213420815252080315748501280635159990405290497382\ 0890*c_0101_4^19 - 103432211253256375198155863358038529334892899979\ 524042740533861293581938/165058424057476067104076260401578742506403\ 175799952026452486910445*c_0101_4^18 - 2574062894956512334806647387070392878620735417552462482911190226173\ 52196/1650584240574760671040762604015787425064031757999520264524869\ 10445*c_0101_4^17 - 13142775743124164794521480815169481044340378299\ 115215844544683292987452/235797748653537238720108943430826775009147\ 39399993146636069558635*c_0101_4^16 - 7118659890201786388372286572925074931570176647604898772895041013966\ 01917/1650584240574760671040762604015787425064031757999520264524869\ 10445*c_0101_4^15 + 13997094720628541542983018814530072542908016741\ 9173466494955156482695773/16505842405747606710407626040157874250640\ 3175799952026452486910445*c_0101_4^14 - 5504664505284515032883053853683956226399207284920875346534122319917\ 349/224569284431940227352484708029358833342045137142791872724471987\ 0*c_0101_4^13 + 411590831428617402194338682288578483371649101474235\ 8672365837169184417/27740911606298498672953993344803150001076163999\ 99193721890536310*c_0101_4^12 + 37244695028774289833789315731002659\ 412764016911395370442517092256320470/110038949371650711402717506934\ 38582833760211719996801763499127363*c_0101_4^11 + 2415698409119942519007658952287794335605030583897247879311399559430\ 98049/1100389493716507114027175069343858283376021171999680176349912\ 73630*c_0101_4^10 + 15035500935969901429165164498209288836184425105\ 31736290929238744630031923/3301168481149521342081525208031574850128\ 06351599904052904973820890*c_0101_4^9 + 8073015440806721432960489728511364979328842236429081312454043299362\ 45619/3301168481149521342081525208031574850128063515999040529049738\ 20890*c_0101_4^8 + 543446004358517549774260424490875024089313527769\ 116172090360646294862493/330116848114952134208152520803157485012806\ 351599904052904973820890*c_0101_4^7 + 1059099638908960711826766842058547627489094793711673090125138811702\ 7773/97093190622044745355338976706811025003766573999971780266168770\ 85*c_0101_4^6 + 468869979806119818090351058777857170286798758195103\ 2192030674314200387/33011684811495213420815252080315748501280635159\ 990405290497382089*c_0101_4^5 + 97331717928686160372001750319413687\ 02737599251063973833154327652699209/1100389493716507114027175069343\ 85828337602117199968017634991273630*c_0101_4^4 + 2657245138817518025536370382841895108986306819404206084420516586275\ 47/3301168481149521342081525208031574850128063515999040529049738208\ 9*c_0101_4^3 - 5204908551473762570829812448706807444861858796570635\ 408810521957246473/165058424057476067104076260401578742506403175799\ 952026452486910445*c_0101_4^2 - 12305327742240199044888952370002238\ 02553840145425726177766542140618883/1650584240574760671040762604015\ 78742506403175799952026452486910445*c_0101_4 - 3653952417084144267186314325121254819737031301157027988090014107278\ 73/1650584240574760671040762604015787425064031757999520264524869104\ 45, c_0011_0 - 1, c_0011_1 - 57266716691837784121448715968802042915085403345110966528/103\ 7328059598353292939221204801734382483872733676901894535*c_0101_4^26 + 294705190667245005879421754393230889871445885361351904521/1037328\ 059598353292939221204801734382483872733676901894535*c_0101_4^25 + 2070909229105548851800938920417524564837546851421270403849/10373280\ 59598353292939221204801734382483872733676901894535*c_0101_4^24 - 8177550167310884349863537766427514027375507511619395537692/10373280\ 59598353292939221204801734382483872733676901894535*c_0101_4^23 - 1623953860958088195417366250089001023169108177227960005097/10373280\ 59598353292939221204801734382483872733676901894535*c_0101_4^22 - 55010693432602880776646575247882897546127518171330339416439/1037328\ 059598353292939221204801734382483872733676901894535*c_0101_4^21 + 34836857695713355466993244235611645393265694089841114254526/1037328\ 059598353292939221204801734382483872733676901894535*c_0101_4^20 - 52276750371954453278639174575872853963688280544504448111123/1037328\ 059598353292939221204801734382483872733676901894535*c_0101_4^19 + 215126191988506157389443788455254917399924514607535642734326/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^18 + 455750270857910387638064890778795006487285888488029610542107/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^17 + 112146132072995530139059561210520641795555924730882139365253/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^16 + 1387404449870696507262247914665703276884033250297294611390029/10373\ 28059598353292939221204801734382483872733676901894535*c_0101_4^15 - 528396814094784709160894760328363259255359713980850846266426/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^14 + 994877628548888186534623971887609156621898319302695390049868/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^13 - 732323344008290819733272403025117744301633085100349551924903/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^12 - 164491211209913914015660964129489638015721149403859556787729/207465\ 611919670658587844240960346876496774546735380378907*c_0101_4^11 - 627379232414818227661128530138964632445879020915125030261512/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^10 - 1378060400135228571306932709692602560311399636218526341035568/10373\ 28059598353292939221204801734382483872733676901894535*c_0101_4^9 - 545037826504770707275456916906402184151627060334017156846729/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^8 - 552027164787559963935924251430869227481531099223605252703498/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^7 - 282663605205416809200063338863761923426511074520700779726277/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^6 - 10471756747746942081531488979013917601609870390301025002584/2074656\ 11919670658587844240960346876496774546735380378907*c_0101_4^5 - 58654694086635703711707597169003708344609476293611227697132/1037328\ 059598353292939221204801734382483872733676901894535*c_0101_4^4 - 322901782949367403096557723036017395158657690647936548653/207465611\ 919670658587844240960346876496774546735380378907*c_0101_4^3 + 1562985880638093716424225813132770104795928272580538763381/10373280\ 59598353292939221204801734382483872733676901894535*c_0101_4^2 + 367228741357860634753523946461604366868811903368270059006/103732805\ 9598353292939221204801734382483872733676901894535*c_0101_4 + 773604922794475425689388918767094997708215591465339606721/103732805\ 9598353292939221204801734382483872733676901894535, c_0011_3 - 262275028548121170281154770234910536691487964041485238568077\ 6/66049789538805949221319031773340833335895628571409374330727055*c_\ 0101_4^26 + 1336974108124939124924455115133129863599852434413162105\ 5991847/66049789538805949221319031773340833335895628571409374330727\ 055*c_0101_4^25 + 9569268277036708560909013845029074005117935903438\ 8163043312358/66049789538805949221319031773340833335895628571409374\ 330727055*c_0101_4^24 - 3710215314235127938930081090310241262575567\ 02430622376668136994/6604978953880594922131903177334083333589562857\ 1409374330727055*c_0101_4^23 - 987983387871348705430960380589022042\ 29108833943836439856726419/6604978953880594922131903177334083333589\ 5628571409374330727055*c_0101_4^22 - 2491680104706258286017096809699315323545107002351831648584738168/66\ 049789538805949221319031773340833335895628571409374330727055*c_0101\ _4^21 + 14578802536404841432175841609923798270200184343730892359697\ 94612/6604978953880594922131903177334083333589562857140937433072705\ 5*c_0101_4^20 - 212576795309048006951595330995288968366621421689367\ 0197630493541/66049789538805949221319031773340833335895628571409374\ 330727055*c_0101_4^19 + 9518865900103272964233270233475777769278117\ 116735276990927239147/660497895388059492213190317733408333358956285\ 71409374330727055*c_0101_4^18 + 21667053252091637169389691388850550\ 626741180370048030528346713139/660497895388059492213190317733408333\ 35895628571409374330727055*c_0101_4^17 + 5317526269557548054466282601675674946786486459076229042919592106/66\ 049789538805949221319031773340833335895628571409374330727055*c_0101\ _4^16 + 62673256548287585623450083237794538078445162442911291119337\ 709958/660497895388059492213190317733408333358956285714093743307270\ 55*c_0101_4^15 - 20740067861855095095801677188502298113781727597686\ 546398791720917/660497895388059492213190317733408333358956285714093\ 74330727055*c_0101_4^14 + 39100363378649025825973996996365761210790\ 173303320066383464750746/660497895388059492213190317733408333358956\ 28571409374330727055*c_0101_4^13 - 26990465494697764753195265882844195994902016197276539549914998451/6\ 6049789538805949221319031773340833335895628571409374330727055*c_010\ 1_4^12 - 8987177578517613621130206862609738099335134094649105185864\ 570788/132099579077611898442638063546681666671791257142818748661454\ 11*c_0101_4^11 - 26694764333411860053832683043266185551105546527184\ 206262794773344/660497895388059492213190317733408333358956285714093\ 74330727055*c_0101_4^10 - 62489386760537955706460468575006526100363\ 596637175767301617215531/660497895388059492213190317733408333358956\ 28571409374330727055*c_0101_4^9 - 279514179931507803716500644441064\ 95417237300113966219683368909083/6604978953880594922131903177334083\ 3335895628571409374330727055*c_0101_4^8 - 21566520094089367135971447469593030984524632741591623922550499496/6\ 6049789538805949221319031773340833335895628571409374330727055*c_010\ 1_4^7 - 13315200947318771465312282935094154600016270146128035625141\ 917039/660497895388059492213190317733408333358956285714093743307270\ 55*c_0101_4^6 - 383676363078107923569141491452608525440759267807322\ 853810223166/132099579077611898442638063546681666671791257142818748\ 66145411*c_0101_4^5 - 156210136367865772982468698604553303446902328\ 5356024937022235369/66049789538805949221319031773340833335895628571\ 409374330727055*c_0101_4^4 - 52141807350703879543716039917517248270\ 869546617597961135109166/132099579077611898442638063546681666671791\ 25714281874866145411*c_0101_4^3 + 184477537024488298404198320911217\ 631930168528933751400252761277/660497895388059492213190317733408333\ 35895628571409374330727055*c_0101_4^2 + 127258470322186558025681435115296408891340190790370748594467922/660\ 49789538805949221319031773340833335895628571409374330727055*c_0101_\ 4 + 3159853572424191627301351793395088824413378844570009369392272/6\ 6049789538805949221319031773340833335895628571409374330727055, c_0011_6 + 34685853340126710645467948265664810310514769067423023676/103\ 7328059598353292939221204801734382483872733676901894535*c_0101_4^26 - 170640408398087782948679358942391767650461236959384678687/1037328\ 059598353292939221204801734382483872733676901894535*c_0101_4^25 - 1295285358354840531446060157995837038785631127293067899863/10373280\ 59598353292939221204801734382483872733676901894535*c_0101_4^24 + 4673292350949995489548420086826621010745699258146813679599/10373280\ 59598353292939221204801734382483872733676901894535*c_0101_4^23 + 2111565236286338957039049714451535019273720465252627379024/10373280\ 59598353292939221204801734382483872733676901894535*c_0101_4^22 + 33420074182010481781149637644631517982269317908967328341323/1037328\ 059598353292939221204801734382483872733676901894535*c_0101_4^21 - 13172448433195780760523174457576703804259286050129012206927/1037328\ 059598353292939221204801734382483872733676901894535*c_0101_4^20 + 25980509413476312164545026392555510911909665493764429947331/1037328\ 059598353292939221204801734382483872733676901894535*c_0101_4^19 - 121382410629812017658301825784179395764851541308276303166877/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^18 - 310264639610400969181589213641484210828957395797749369720724/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^17 - 125593941822762586550625323040021794885630895366116401816706/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^16 - 859513267265224998120454444956419672832184679075271531380813/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^15 + 127757505397119950299845950631491041263568566643196841938462/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^14 - 489939976150350706811488249402861676919278920171882391875476/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^13 + 268365086969510066774357676855563553191343799765602832170166/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^12 + 138520584244307110759786465060147473957838581284459251062419/207465\ 611919670658587844240960346876496774546735380378907*c_0101_4^11 + 443493576819688665306515191147678178922180084986836061062279/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^10 + 955330217477773103747186928522302063479319531122285477252936/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^9 + 511782421715170430768199382915551952997987881286686839242123/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^8 + 358953784327565452407498137671251188896379345687085714872296/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^7 + 231066460770259487053650647519629276855289446637452009291709/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^6 + 6213877351525757409737987195070478173220868130507942592786/20746561\ 1919670658587844240960346876496774546735380378907*c_0101_4^5 + 20370783828764585883274576787205828255245708600814380318199/1037328\ 059598353292939221204801734382483872733676901894535*c_0101_4^4 + 73490822064305625723828094350685913346773085522008772135/2074656119\ 19670658587844240960346876496774546735380378907*c_0101_4^3 - 4329090201537224790230985400874377769287977715877470443707/10373280\ 59598353292939221204801734382483872733676901894535*c_0101_4^2 - 1198026339535571000686403552717011694359840747424362170567/10373280\ 59598353292939221204801734382483872733676901894535*c_0101_4 - 79302428067740196051509026127761549296235405572877323152/1037328059\ 598353292939221204801734382483872733676901894535, c_0101_0 - 603335234695291528212756071229133476485134952441493540552382\ 1/66049789538805949221319031773340833335895628571409374330727055*c_\ 0101_4^26 + 3125591951420743103015592029113179203003343031598352553\ 1178602/66049789538805949221319031773340833335895628571409374330727\ 055*c_0101_4^25 + 2177418440550982274246813947443732195889622861745\ 55363048199248/6604978953880594922131903177334083333589562857140937\ 4330727055*c_0101_4^24 - 872316824271602846770507497638014505413077\ 683955420268224126009/660497895388059492213190317733408333358956285\ 71409374330727055*c_0101_4^23 - 16379401721704404337745106009294978\ 1049204580431718708127314804/66049789538805949221319031773340833335\ 895628571409374330727055*c_0101_4^22 - 5698851899060821057298213677021719892137801102668180726246634433/66\ 049789538805949221319031773340833335895628571409374330727055*c_0101\ _4^21 + 38747190686603724611232962893276174006844967632221616245087\ 27362/6604978953880594922131903177334083333589562857140937433072705\ 5*c_0101_4^20 - 502189806172766301575426716985809458727035098043118\ 3025987337311/66049789538805949221319031773340833335895628571409374\ 330727055*c_0101_4^19 + 2245215259128568558853967830174986621672951\ 5268688221266179840437/66049789538805949221319031773340833335895628\ 571409374330727055*c_0101_4^18 + 4793303999261176011149581410489509\ 0250550655132709967475706170554/66049789538805949221319031773340833\ 335895628571409374330727055*c_0101_4^17 + 7817177903853266041162227065239665284449366132469953356317654736/66\ 049789538805949221319031773340833335895628571409374330727055*c_0101\ _4^16 + 14085965783316511033226099422005098164783892559967065813694\ 9857573/66049789538805949221319031773340833335895628571409374330727\ 055*c_0101_4^15 - 6175297952703767646851486429222961727259253476403\ 1113615512159797/66049789538805949221319031773340833335895628571409\ 374330727055*c_0101_4^14 + 9023646477756997186192044304342765011295\ 6940204511360237118601546/66049789538805949221319031773340833335895\ 628571409374330727055*c_0101_4^13 - 74632533429900938094862038602103739054899714614358429133473656371/6\ 6049789538805949221319031773340833335895628571409374330727055*c_010\ 1_4^12 - 1938575060252140420404979096432127029903654472526212683043\ 9900906/13209957907761189844263806354668166667179125714281874866145\ 411*c_0101_4^11 - 5617374230355957729804751136315290342724828112949\ 8578675934094829/66049789538805949221319031773340833335895628571409\ 374330727055*c_0101_4^10 - 1326456548730575892948945683539046647749\ 89206954219316123610041486/6604978953880594922131903177334083333589\ 5628571409374330727055*c_0101_4^9 - 47330448393464597403165567842019562752258349714196807272460758743/6\ 6049789538805949221319031773340833335895628571409374330727055*c_010\ 1_4^8 - 38318454581503100134577918090009680144023302962703620148555\ 205511/660497895388059492213190317733408333358956285714093743307270\ 55*c_0101_4^7 - 202826932447385889889596001997122575292523178946872\ 00061004255264/6604978953880594922131903177334083333589562857140937\ 4330727055*c_0101_4^6 + 4990948373223842803764474088098584577487945\ 11638454354823115028/1320995790776118984426380635466816666717912571\ 4281874866145411*c_0101_4^5 - 1086800604836039499443049478558565686\ 272393984654900637079017749/660497895388059492213190317733408333358\ 95628571409374330727055*c_0101_4^4 + 161140729865109640632174315431359646914613600297781471120888947/132\ 09957907761189844263806354668166667179125714281874866145411*c_0101_\ 4^3 + 9086694827184797829534031421000041978272965448046866346475857\ 42/66049789538805949221319031773340833335895628571409374330727055*c\ _0101_4^2 + 1930214042046641190099935765206580954850023174901851638\ 16631512/6604978953880594922131903177334083333589562857140937433072\ 7055*c_0101_4 + 127410204583402686414849937636598591266357452489871\ 06631733707/6604978953880594922131903177334083333589562857140937433\ 0727055, c_0101_1 - 49321079666910337663225399903323047679144139773221231943/103\ 7328059598353292939221204801734382483872733676901894535*c_0101_4^26 + 266917229846974497616699182715474972347179932521487884891/1037328\ 059598353292939221204801734382483872733676901894535*c_0101_4^25 + 1719404781605896865348949843625451248356915600627663655134/10373280\ 59598353292939221204801734382483872733676901894535*c_0101_4^24 - 7536576691769931653369449772341655550408432701868389546457/10373280\ 59598353292939221204801734382483872733676901894535*c_0101_4^23 + 372592966974718529349012367394368896973277664198890360313/103732805\ 9598353292939221204801734382483872733676901894535*c_0101_4^22 - 46438807777912689505253828628737170308877833102630522214344/1037328\ 059598353292939221204801734382483872733676901894535*c_0101_4^21 + 42157252615010821569330746745029431571877504161063559487401/1037328\ 059598353292939221204801734382483872733676901894535*c_0101_4^20 - 49699906834419807368228000587143417121071802143722048542508/1037328\ 059598353292939221204801734382483872733676901894535*c_0101_4^19 + 192558926936884576968376165154517580636264360134160809381381/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^18 + 349872281309726310745405167943533925705696935655879893672382/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^17 - 22995586106114184919346479491050611332593639630216993137862/1037328\ 059598353292939221204801734382483872733676901894535*c_0101_4^16 + 1154689143910792515894384873439157784218748237292575639900604/10373\ 28059598353292939221204801734382483872733676901894535*c_0101_4^15 - 759682667940032861590010030794744021156654020238433863323016/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^14 + 884282907050105456822884540731516353578330500667300425625908/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^13 - 760516432519147830027098780743769449177394150902924122167178/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^12 - 132430538621463179029043430705090127514472144612861234029258/207465\ 611919670658587844240960346876496774546735380378907*c_0101_4^11 - 265494859607445916882858908494846089437127688403426478073892/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^10 - 1028828196247350903487345165597081760487315739350994425666528/10373\ 28059598353292939221204801734382483872733676901894535*c_0101_4^9 - 168465889245443019855763549682714452315676277476350010573279/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^8 - 259004422118637135144308365183453350953901829482930616303233/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^7 - 128708500994741833943914310414243235667441001489379745787967/103732\ 8059598353292939221204801734382483872733676901894535*c_0101_4^6 + 9989008237684237663565952098051669669754044040682747850496/20746561\ 1919670658587844240960346876496774546735380378907*c_0101_4^5 - 20006355324021261187890773382388879154093099555433455353267/1037328\ 059598353292939221204801734382483872733676901894535*c_0101_4^4 + 2260066998137852149082497213017609794976766853681995680146/20746561\ 1919670658587844240960346876496774546735380378907*c_0101_4^3 + 8368188969557842247218822655961832599009948994222087138076/10373280\ 59598353292939221204801734382483872733676901894535*c_0101_4^2 + 573801598995133062107622603150868686115388247866237590531/103732805\ 9598353292939221204801734382483872733676901894535*c_0101_4 + 306851457027181228688770385512158600926751940431971116391/103732805\ 9598353292939221204801734382483872733676901894535, c_0101_4^27 - 5*c_0101_4^26 - 37*c_0101_4^25 + 138*c_0101_4^24 + 52*c_0101_4^23 + 951*c_0101_4^22 - 461*c_0101_4^21 + 737*c_0101_4^20 - 3530*c_0101_4^19 - 8663*c_0101_4^18 - 2749*c_0101_4^17 - 24025*c_0101_4^16 + 5611*c_0101_4^15 - 13527*c_0101_4^14 + 8484*c_0101_4^13 + 19177*c_0101_4^12 + 11244*c_0101_4^11 + 25104*c_0101_4^10 + 12670*c_0101_4^9 + 8432*c_0101_4^8 + 5781*c_0101_4^7 + 433*c_0101_4^6 + 454*c_0101_4^5 + 23*c_0101_4^4 - 187*c_0101_4^3 - 31*c_0101_4^2 - 11*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB