Magma V2.19-8 Tue Aug 20 2013 16:18:28 on localhost [Seed = 3263389682] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2667 geometric_solution 5.93278720 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 -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.348155516136 0.608952726970 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 -1 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.691671521319 1.019474911917 1 3 0 4 1230 0132 0132 3201 0 0 0 0 0 0 -1 1 1 0 0 -1 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 -1 1 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 0 0 0 0.691671521319 1.019474911917 1 2 5 5 0132 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.365320768473 1.452699185405 6 2 6 1 0132 2310 2310 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.431695737242 1.601394430420 3 5 5 3 3201 1230 3012 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.268327849518 0.421323907608 4 4 6 6 0132 3201 1230 3012 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 -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.268184604982 0.211359773607 ==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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_4'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(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_4, c_0011_5, 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 + 6740266382417993998913009251715462486290891343321307951680336610943\ 4488632853/51184088068633291468881238233575130998817371805802658878\ 01202482237097132543*c_0101_4^30 + 1194650988849669542767735149503141838164001333492358778442189616789\ 49155342354/5118408806863329146888123823357513099881737180580265887\ 801202482237097132543*c_0101_4^29 - 1626149077113819341364217439520875236889720527457581980458792797677\ 8814294438604/15355226420589987440664371470072539299645211541740797\ 663403607446711291397629*c_0101_4^28 - 6587748850737510341174495721531787156010684996964900196265030966951\ 3549922189910/15355226420589987440664371470072539299645211541740797\ 663403607446711291397629*c_0101_4^27 + 1786014772327701370426327816595049846815406953099959811285523310784\ 22773302341415/1535522642058998744066437147007253929964521154174079\ 7663403607446711291397629*c_0101_4^26 + 3736288111533067148313883696444543938290300068245319275995240533983\ 62048041501210/5118408806863329146888123823357513099881737180580265\ 887801202482237097132543*c_0101_4^25 - 1638909566291569999295834268981976773297930281484036945170746115676\ 25733987806634/5118408806863329146888123823357513099881737180580265\ 887801202482237097132543*c_0101_4^24 - 3072269189025043339696175113207449590496607474039726416475844762777\ 244551005257256/511840880686332914688812382335751309988173718058026\ 5887801202482237097132543*c_0101_4^23 - 1571859960759085728772181881859712522137413923534371341470463189066\ 907920144281907/153552264205899874406643714700725392996452115417407\ 97663403607446711291397629*c_0101_4^22 + 1642701584904978247043785051833900358027223630299616267645759971677\ 9114744637652900/51184088068633291468881238233575130998817371805802\ 65887801202482237097132543*c_0101_4^21 + 1082014271682498963589430379015341520760093962585383376971769180449\ 821771907573899/511840880686332914688812382335751309988173718058026\ 5887801202482237097132543*c_0101_4^20 - 1750321774825067196971152411073841534672463055140749705190944694358\ 88263944334020568/1535522642058998744066437147007253929964521154174\ 0797663403607446711291397629*c_0101_4^19 + 6228089163592387231471492394070995394070701416703469560754748926146\ 3588641418848425/15355226420589987440664371470072539299645211541740\ 797663403607446711291397629*c_0101_4^18 + 1235669699703766008924282692554247090495976787766046027259958169136\ 04980367555908525/5118408806863329146888123823357513099881737180580\ 265887801202482237097132543*c_0101_4^17 - 3037375260286764328532006547039527927251727978263118083036106064418\ 33841345288714752/1535522642058998744066437147007253929964521154174\ 0797663403607446711291397629*c_0101_4^16 - 4231790121683908679056681216344923926717816353102010424177957185621\ 23590362455339872/1535522642058998744066437147007253929964521154174\ 0797663403607446711291397629*c_0101_4^15 + 6149421325645087061163725960474788363749429135782292057315986704343\ 81209448364383333/1535522642058998744066437147007253929964521154174\ 0797663403607446711291397629*c_0101_4^14 + 5213891420007382758381772581079723322036542301652194036160506328256\ 9840886123680259/51184088068633291468881238233575130998817371805802\ 65887801202482237097132543*c_0101_4^13 - 4817021862469674247457205415397874535009860702724635619116073001970\ 4946823476143894/11811712631223067262049516515440414845880931955185\ 22897184892880516253184433*c_0101_4^12 + 1607088432237449691979641514477655700937665578790699439637282435455\ 9691802092574505/17061362689544430489627079411191710332939123935267\ 55295933734160745699044181*c_0101_4^11 + 1071467567247837638904186905107969796606997451186228095498373829609\ 87771338081539239/5118408806863329146888123823357513099881737180580\ 265887801202482237097132543*c_0101_4^10 - 1872623983935816118489170978095654415898731915778458308005737797030\ 0606323065904636/17061362689544430489627079411191710332939123935267\ 55295933734160745699044181*c_0101_4^9 - 7779169298788730840972481716846671738160812588020623873688978454530\ 3517726464161398/15355226420589987440664371470072539299645211541740\ 797663403607446711291397629*c_0101_4^8 + 6494017456320185169666187850459220993610601150035965202338817951347\ 6297987306164462/15355226420589987440664371470072539299645211541740\ 797663403607446711291397629*c_0101_4^7 + 8068684451246584828269130204379692851363481530599497907956322181834\ 731435770270261/153552264205899874406643714700725392996452115417407\ 97663403607446711291397629*c_0101_4^6 - 1237502881622997408187584507694564644642392558208289285447607722852\ 2252233574711040/15355226420589987440664371470072539299645211541740\ 797663403607446711291397629*c_0101_4^5 - 2536108821078820624081940938856640509401405254025553015186891837105\ 9242793901944/17061362689544430489627079411191710332939123935267552\ 95933734160745699044181*c_0101_4^4 + 1397149174443372539806347156256909658680445397835668827857287470608\ 73142018454678/1706136268954443048962707941119171033293912393526755\ 295933734160745699044181*c_0101_4^3 + 1319444212350109169518376216562538517764970019834806084980019377041\ 4775433862/43747083819344693563146357464594129058818266500686033229\ 070106685787154979*c_0101_4^2 - 62697357295379349870457992044504312\ 90478420357818706838894762573647159333229564/1706136268954443048962\ 707941119171033293912393526755295933734160745699044181*c_0101_4 - 3098334913406626192928492344980644682954733711979461554807151657491\ 5440103709/18957069655049367210696754901324122592154582150297281065\ 9303795638411004909, c_0011_0 - 1, c_0011_1 - 310107878832177252828786709072418913952643491025984767502878\ 686540128801699/118117126312230672620495165154404148458809319551852\ 2897184892880516253184433*c_0101_4^30 - 5461380138935733043896650799390249333485774696588615556107269298698\ 33694807/1181171263122306726204951651544041484588093195518522897184\ 892880516253184433*c_0101_4^29 + 2499008631419789283848460307115816\ 4522936885383153443931707545682038043922315/11811712631223067262049\ 51651544041484588093195518522897184892880516253184433*c_0101_4^28 + 3361775104673031158574559840355392135287406771718913170000725600948\ 8954828443/39372375437410224206831721718134716152936439850617429906\ 1630960172084394811*c_0101_4^27 - 103192888752619121958483437688329\ 30087672542089919775667151640787406747580962/4374708381934469356314\ 6357464594129058818266500686033229070106685787154979*c_0101_4^26 - 5775188459788000083639878585685338110216315380353912421801753157079\ 47391154821/3937237543741022420683172171813471615293643985061742990\ 61630960172084394811*c_0101_4^25 + 8045497884710767455272128145672924281586863450701267746230072878639\ 13093784794/1181171263122306726204951651544041484588093195518522897\ 184892880516253184433*c_0101_4^24 + 1599407202507338898289642546411385008716678463770116860981433595187\ 874177756053/131241251458034080689439072393782387176454799502058099\ 687210320057361464937*c_0101_4^23 + 7613045916943193561812343196559966383058621219752213296416846391044\ 73828895778/3937237543741022420683172171813471615293643985061742990\ 61630960172084394811*c_0101_4^22 - 7766327297197901388714029973652677173818439648320965537766827560987\ 2295605540486/11811712631223067262049516515440414845880931955185228\ 97184892880516253184433*c_0101_4^21 - 5585822992078026477617897359325725744183367481067549236392790021118\ 300212313471/118117126312230672620495165154404148458809319551852289\ 7184892880516253184433*c_0101_4^20 + 9294776228692663464747339444551412545994514281960372307607865831595\ 8172210362994/39372375437410224206831721718134716152936439850617429\ 9061630960172084394811*c_0101_4^19 - 9217435111779015638122271107852909360068794818123649818164821204228\ 3716272529988/11811712631223067262049516515440414845880931955185228\ 97184892880516253184433*c_0101_4^18 - 6038236994913625541703491582379784975224412477196517373417163990710\ 33005346232569/1181171263122306726204951651544041484588093195518522\ 897184892880516253184433*c_0101_4^17 + 4663973520099784311508667090868580591857678195318421442257077744607\ 01847664897159/1181171263122306726204951651544041484588093195518522\ 897184892880516253184433*c_0101_4^16 + 2420047942872210786114202276308844038386074262233038595495862988038\ 93275574594752/3937237543741022420683172171813471615293643985061742\ 99061630960172084394811*c_0101_4^15 - 9749311331319718386461455101627560849967433015968443863878577058858\ 72819388691226/1181171263122306726204951651544041484588093195518522\ 897184892880516253184433*c_0101_4^14 - 1267901028855538484327042236269719572509048376903062042634120604665\ 0721553912266/43747083819344693563146357464594129058818266500686033\ 229070106685787154979*c_0101_4^13 + 3481956127467082818348840892035795755158874061455522340654396837543\ 72976682833073/3937237543741022420683172171813471615293643985061742\ 99061630960172084394811*c_0101_4^12 - 4951967061384492275145540782205046696982879257264477126348382451047\ 6161019562641/39372375437410224206831721718134716152936439850617429\ 9061630960172084394811*c_0101_4^11 - 5946774687544168853388302066816906872239119648924009840248227607314\ 51656083186412/1181171263122306726204951651544041484588093195518522\ 897184892880516253184433*c_0101_4^10 + 2400914027258595202442187164096839349577491212236804155618939375539\ 90063033986883/1181171263122306726204951651544041484588093195518522\ 897184892880516253184433*c_0101_4^9 + 1837443862622252068459583773093593996147324078478339461611872267973\ 85885060583166/1181171263122306726204951651544041484588093195518522\ 897184892880516253184433*c_0101_4^8 - 1063050478042684360000427606600793363979984720176271435518948033445\ 99481601336209/1181171263122306726204951651544041484588093195518522\ 897184892880516253184433*c_0101_4^7 - 1278996214493180939153902293690756699687956392970568669889557133337\ 962294507183/437470838193446935631463574645941290588182665006860332\ 29070106685787154979*c_0101_4^6 + 265878100980891953719848309742685\ 5495934986906654773971312588124678902747234893/13124125145803408068\ 9439072393782387176454799502058099687210320057361464937*c_0101_4^5 + 1720952892908179485232201208950344224784366965832408002873397101841\ 68206502723/4374708381934469356314635746459412905881826650068603322\ 9070106685787154979*c_0101_4^4 - 3302347324894799168267985132688401\ 54034065151348639296072878644977896783522351/1312412514580340806894\ 39072393782387176454799502058099687210320057361464937*c_0101_4^3 - 6112162202122072148713025134446619994249510187222968253168551063247\ 611053892/145823612731148978543821191548647096862727555002286777430\ 23368895262384993*c_0101_4^2 + 622589534527292420867904769631882128\ 3550256509612581206900822625071755197925/43747083819344693563146357\ 464594129058818266500686033229070106685787154979*c_0101_4 + 4001188086642970887381777227402118681209222020339474227321668297685\ 25863377/1458236127311489785438211915486470968627275550022867774302\ 3368895262384993, c_0011_4 + 111414953667135696917309569398832415556635948501062855342932\ 414494041414639/393723754374102242068317217181347161529364398506174\ 299061630960172084394811*c_0101_4^30 + 2235965467659762869188504362900364741658623523469445706286693339807\ 78997147/3937237543741022420683172171813471615293643985061742990616\ 30960172084394811*c_0101_4^29 - 89153724704586124429389515015903562\ 88575479022506182270241701619069402137153/3937237543741022420683172\ 17181347161529364398506174299061630960172084394811*c_0101_4^28 - 4266529175173852871978972513962659560732733880972288575404424647940\ 087215302/437470838193446935631463574645941290588182665006860332290\ 70106685787154979*c_0101_4^27 + 30015040373912785046066186740309428\ 941379584461484671228275440651569422841478/131241251458034080689439\ 072393782387176454799502058099687210320057361464937*c_0101_4^26 + 2136656127601567503388223007459738572190981494778819479071309609417\ 76067312130/1312412514580340806894390723937823871764547995020580996\ 87210320057361464937*c_0101_4^25 - 1289204866785252767071109871427624036254748359194923014176749344575\ 38859218925/3937237543741022420683172171813471615293643985061742990\ 61630960172084394811*c_0101_4^24 - 1907526230970517156365980316288350739722014059663001054004954229719\ 75591558219/1458236127311489785438211915486470968627275550022867774\ 3023368895262384993*c_0101_4^23 - 678060755708728085552510315052181\ 167767991120057596073134402894939147928924256/131241251458034080689\ 439072393782387176454799502058099687210320057361464937*c_0101_4^22 + 2704392488675985032724429303684760472979940865328200456711655353652\ 2625737675321/39372375437410224206831721718134716152936439850617429\ 9061630960172084394811*c_0101_4^21 + 8047519795415241334806702881081748140045156435199736086807535682479\ 179293991434/393723754374102242068317217181347161529364398506174299\ 061630960172084394811*c_0101_4^20 - 1073463939584098686972043343447275715729818944361760871078321009840\ 8603399679652/43747083819344693563146357464594129058818266500686033\ 229070106685787154979*c_0101_4^19 + 1221047271969375612162748560435995697302396700962190924096307248526\ 0353632747662/39372375437410224206831721718134716152936439850617429\ 9061630960172084394811*c_0101_4^18 + 2144722011286546382292552309226778024500439571208274676508055765244\ 71209576985027/3937237543741022420683172171813471615293643985061742\ 99061630960172084394811*c_0101_4^17 - 1217744346935174140659232225313904577972494753944429856812320075456\ 34169227543249/3937237543741022420683172171813471615293643985061742\ 99061630960172084394811*c_0101_4^16 - 3074523108676198970868884703158850805341887549832905866156760107086\ 6762202915801/43747083819344693563146357464594129058818266500686033\ 229070106685787154979*c_0101_4^15 + 2907468730374784293108552636262729050611650424092902175476167620923\ 96698967091999/3937237543741022420683172171813471615293643985061742\ 99061630960172084394811*c_0101_4^14 + 1882395499705734994481932396435349220042317808313323247617648518163\ 4627992604934/43747083819344693563146357464594129058818266500686033\ 229070106685787154979*c_0101_4^13 - 1243188729012226273186189503212664185575742510610428089124868284286\ 4990801362951/14582361273114897854382119154864709686272755500228677\ 743023368895262384993*c_0101_4^12 - 8940453457141719317009491935249650820954817908970631753596404381404\ 1698518145/13124125145803408068943907239378238717645479950205809968\ 7210320057361464937*c_0101_4^11 + 205462793085268665931348839148222\ 371281109719521108077715654544903757955298312224/393723754374102242\ 068317217181347161529364398506174299061630960172084394811*c_0101_4^\ 10 - 55944384566125374012661617139658427235949058969240741550560071\ 120496094454090366/393723754374102242068317217181347161529364398506\ 174299061630960172084394811*c_0101_4^9 - 6891911695516659762871594726018301749250543943875968563589833315884\ 3294107435465/39372375437410224206831721718134716152936439850617429\ 9061630960172084394811*c_0101_4^8 + 2918910974071726991867059058172052554235178561691035570925145837156\ 9904875452220/39372375437410224206831721718134716152936439850617429\ 9061630960172084394811*c_0101_4^7 + 4540797962568572242617383967773638940035721846454437964683918750439\ 943412328587/131241251458034080689439072393782387176454799502058099\ 687210320057361464937*c_0101_4^6 - 2292914789756845038404421896645496421583161250708668080272845914632\ 856397668362/131241251458034080689439072393782387176454799502058099\ 687210320057361464937*c_0101_4^5 - 1960723368164468188482921163119474018225219804384554114407723359528\ 96754713332/4374708381934469356314635746459412905881826650068603322\ 9070106685787154979*c_0101_4^4 + 3106863356231212353524691909452003\ 3039524288456526212791882390575814294074892/14582361273114897854382\ 119154864709686272755500228677743023368895262384993*c_0101_4^3 + 1824453841911900819173448740841161097640142389234242887324359425999\ 9563982791/43747083819344693563146357464594129058818266500686033229\ 070106685787154979*c_0101_4^2 - 16692335300930416914842642964822805\ 28988700216009103413073087572431979538003/1458236127311489785438211\ 9154864709686272755500228677743023368895262384993*c_0101_4 - 3279104787852908081710788710783113594170991521122193142285103678560\ 28611334/1458236127311489785438211915486470968627275550022867774302\ 3368895262384993, c_0011_5 - 215928238039898593868254400195779869634462723762877587068798\ 093926245027246/393723754374102242068317217181347161529364398506174\ 299061630960172084394811*c_0101_4^30 - 3853583765498715482504353586310099480135999796022325038059491449726\ 44409761/3937237543741022420683172171813471615293643985061742990616\ 30960172084394811*c_0101_4^29 + 17404003435580075722358571682490105\ 583505018008381765491491161885459891854653/393723754374102242068317\ 217181347161529364398506174299061630960172084394811*c_0101_4^28 + 2355271421614299800585509041747168789632999547816709927019397784533\ 4064096561/13124125145803408068943907239378238717645479950205809968\ 7210320057361464937*c_0101_4^27 - 214818617694559519106710007025862\ 65603584552510036540909970823462544409960173/4374708381934469356314\ 6357464594129058818266500686033229070106685787154979*c_0101_4^26 - 4050560948166092086687374755110749981019680016006740854602078353713\ 17078981663/1312412514580340806894390723937823871764547995020580996\ 87210320057361464937*c_0101_4^25 + 5416823600801289099914882346543028839103212326198905455547677049452\ 79081253489/3937237543741022420683172171813471615293643985061742990\ 61630960172084394811*c_0101_4^24 + 3368672375593301391257271276722253341881714322893057360143539635337\ 572700081606/131241251458034080689439072393782387176454799502058099\ 687210320057361464937*c_0101_4^23 + 6041649064532469642738106043270515250625377843975705452697673361673\ 66932788137/1312412514580340806894390723937823871764547995020580996\ 87210320057361464937*c_0101_4^22 - 5459375999957421202715078740182593648488427317803377418836785782039\ 6249096663089/39372375437410224206831721718134716152936439850617429\ 9061630960172084394811*c_0101_4^21 - 5378738422107294492451040671229934915792883353454880795637819476124\ 719540265908/393723754374102242068317217181347161529364398506174299\ 061630960172084394811*c_0101_4^20 + 2188180671015915127039767570263429506835716908275060837860014766209\ 3310390544585/43747083819344693563146357464594129058818266500686033\ 229070106685787154979*c_0101_4^19 - 5883036608436587259303135270298947153120640329103206918435366821259\ 7940784900373/39372375437410224206831721718134716152936439850617429\ 9061630960172084394811*c_0101_4^18 - 4319660012513187738657885641812915545573575218571167044874504021090\ 40508387160001/3937237543741022420683172171813471615293643985061742\ 99061630960172084394811*c_0101_4^17 + 3166019527642248743759799912806438662741385106957260541386651466146\ 25265989573206/3937237543741022420683172171813471615293643985061742\ 99061630960172084394811*c_0101_4^16 + 1781173026265038724741506516937640570508075104725840217916994078869\ 92711575395196/1312412514580340806894390723937823871764547995020580\ 99687210320057361464937*c_0101_4^15 - 6804213946798802550405105632156311897107281815749532424050608154104\ 91128153244159/3937237543741022420683172171813471615293643985061742\ 99061630960172084394811*c_0101_4^14 - 9307314245786670170114006444851233391794473046585787019808493001741\ 3576057093932/13124125145803408068943907239378238717645479950205809\ 9687210320057361464937*c_0101_4^13 + 2503359879957280309791534764549287194108975524977868184930803019502\ 92022354112332/1312412514580340806894390723937823871764547995020580\ 99687210320057361464937*c_0101_4^12 - 2494016581094499476840051313054328974229757523638443280954296587970\ 6718265279994/13124125145803408068943907239378238717645479950205809\ 9687210320057361464937*c_0101_4^11 - 4463129487897122150184651765265949034397077936607896171824030196281\ 23023999475027/3937237543741022420683172171813471615293643985061742\ 99061630960172084394811*c_0101_4^10 + 1614111289242097970763189340014591047979485911799962970193906105230\ 86155699162206/3937237543741022420683172171813471615293643985061742\ 99061630960172084394811*c_0101_4^9 + 1465583347997601430046999783081284599546964933345547980653720448164\ 47313753368758/3937237543741022420683172171813471615293643985061742\ 99061630960172084394811*c_0101_4^8 - 7683984660773217534990535329511553003071054787862944757714730214100\ 4972126433275/39372375437410224206831721718134716152936439850617429\ 9061630960172084394811*c_0101_4^7 - 9702529471198474035028493632741354019666429103124256538209390677082\ 301937126807/131241251458034080689439072393782387176454799502058099\ 687210320057361464937*c_0101_4^6 + 2002978617962362605921904538362019566875000980904262504680480776919\ 732396339629/437470838193446935631463574645941290588182665006860332\ 29070106685787154979*c_0101_4^5 + 444477536060608230367170021579038\ 634504967512618596788867976228255273582684557/437470838193446935631\ 46357464594129058818266500686033229070106685787154979*c_0101_4^4 - 2535506031643550795707622141272067414618785786780305267094858598408\ 35827002758/4374708381934469356314635746459412905881826650068603322\ 9070106685787154979*c_0101_4^3 - 1553756801390222714934142683053911\ 3760083057061158733770380633830924573107708/14582361273114897854382\ 119154864709686272755500228677743023368895262384993*c_0101_4^2 + 4838031969018623570305007958682672017577757788140002909493665413593\ 108326471/145823612731148978543821191548647096862727555002286777430\ 23368895262384993*c_0101_4 + 97909630923763888939758421746207463323\ 4944082601566178827481463983337406824/14582361273114897854382119154\ 864709686272755500228677743023368895262384993, c_0101_0 + 323019587892653697674543652732107507561375340363344085287826\ 39861764822228/1312412514580340806894390723937823871764547995020580\ 99687210320057361464937*c_0101_4^30 + 2075878409523992665173038602781398699565471613800590395153966957681\ 69689062/3937237543741022420683172171813471615293643985061742990616\ 30960172084394811*c_0101_4^29 - 77246784267090191265183603909013751\ 01791785632340897802985799602044766124388/3937237543741022420683172\ 17181347161529364398506174299061630960172084394811*c_0101_4^28 - 3443841768704852484443444383305186769903413824978642816073870377172\ 7591854352/39372375437410224206831721718134716152936439850617429906\ 1630960172084394811*c_0101_4^27 + 817053053532450163169872512983721\ 6659416276805637236721594097440671735639630/43747083819344693563146\ 357464594129058818266500686033229070106685787154979*c_0101_4^26 + 1889292637487834558789381936516795237133542955628705699711045435070\ 75890894187/1312412514580340806894390723937823871764547995020580996\ 87210320057361464937*c_0101_4^25 - 1284713349475427784212077160454816504432278284151073161719688872721\ 867654939/145823612731148978543821191548647096862727555002286777430\ 23368895262384993*c_0101_4^24 - 44736063853157655747327080027000122\ 44896428453449399422088633436666906463961542/3937237543741022420683\ 17217181347161529364398506174299061630960172084394811*c_0101_4^23 - 2630122043766750795335355553719331576482047849584169522592875807920\ 65592529644/4374708381934469356314635746459412905881826650068603322\ 9070106685787154979*c_0101_4^22 + 256928699804555459290583422587293\ 6846615083080329113867522104726647144864948503/43747083819344693563\ 146357464594129058818266500686033229070106685787154979*c_0101_4^21 + 1002093056284056335890299776610323247187037366280677746963634820146\ 5443520184654/39372375437410224206831721718134716152936439850617429\ 9061630960172084394811*c_0101_4^20 - 8230160210610173580032410637484071342705118059424980489944612529685\ 9095644550386/39372375437410224206831721718134716152936439850617429\ 9061630960172084394811*c_0101_4^19 + 6804225420331503970928448701445733328361073633755625509473883961119\ 862421312/131241251458034080689439072393782387176454799502058099687\ 210320057361464937*c_0101_4^18 + 1852191804623190389392007922477267\ 81091726273703048314007296332695619782397816307/3937237543741022420\ 68317217181347161529364398506174299061630960172084394811*c_0101_4^1\ 7 - 821819547747472674833184039038264211443944310286495950980582003\ 77785266572641308/3937237543741022420683172171813471615293643985061\ 74299061630960172084394811*c_0101_4^16 - 2483626708118692982933709574279365694333155959419387954666891700237\ 99981460822119/3937237543741022420683172171813471615293643985061742\ 99061630960172084394811*c_0101_4^15 + 7360283437320971501823923961237806617192868143759787712337251309066\ 2281623798944/13124125145803408068943907239378238717645479950205809\ 9687210320057361464937*c_0101_4^14 + 1711140191463870366935383142948357576479938456188900621990564137923\ 27323604898339/3937237543741022420683172171813471615293643985061742\ 99061630960172084394811*c_0101_4^13 - 2985561332492987954930953123505906497534076007276056953620270944070\ 2719022571407/43747083819344693563146357464594129058818266500686033\ 229070106685787154979*c_0101_4^12 - 1090732096067281108791741414661723575998326604066493129148737481629\ 741964489970/145823612731148978543821191548647096862727555002286777\ 43023368895262384993*c_0101_4^11 + 1912926816214899329623503648011547714355674815228639935072474999589\ 3636898528065/43747083819344693563146357464594129058818266500686033\ 229070106685787154979*c_0101_4^10 - 3052573571209638368081487163740955011868185790716699652565272006717\ 7067784563326/39372375437410224206831721718134716152936439850617429\ 9061630960172084394811*c_0101_4^9 - 6084515454670280454073704394703380162269441521157334827281416821008\ 7897331754765/39372375437410224206831721718134716152936439850617429\ 9061630960172084394811*c_0101_4^8 + 1929905553737286253127877940563253543455046197239904918916435160655\ 8181661285373/39372375437410224206831721718134716152936439850617429\ 9061630960172084394811*c_0101_4^7 + 1255812023571935802088774116875529345679719629378918475065933484005\ 0425490724853/39372375437410224206831721718134716152936439850617429\ 9061630960172084394811*c_0101_4^6 - 1580344855602369283971031108766019475194267838926970006974685759282\ 025505002566/131241251458034080689439072393782387176454799502058099\ 687210320057361464937*c_0101_4^5 - 5326446577580225281363203494702782431400080335439554229166653733800\ 18576318302/1312412514580340806894390723937823871764547995020580996\ 87210320057361464937*c_0101_4^4 + 621945549082845491752723038350958\ 42281636548579395747008067714618827248730542/4374708381934469356314\ 6357464594129058818266500686033229070106685787154979*c_0101_4^3 + 1437661861575608470445668694161759440234220807740374288515674817113\ 7182612707/43747083819344693563146357464594129058818266500686033229\ 070106685787154979*c_0101_4^2 - 97945692066009191963819148208232726\ 5939925815336322577949707332921902568364/14582361273114897854382119\ 154864709686272755500228677743023368895262384993*c_0101_4 - 1957272209751731601530278178075638692020562667086067138972092248965\ 91405403/1458236127311489785438211915486470968627275550022867774302\ 3368895262384993, c_0101_1 - 366237731622272696591280339965859135515134896892656422987311\ 458633032382260/118117126312230672620495165154404148458809319551852\ 2897184892880516253184433*c_0101_4^30 - 6974395524529272855206814756294891469072227343412397390796901680855\ 44389840/1181171263122306726204951651544041484588093195518522897184\ 892880516253184433*c_0101_4^29 + 2946005615283174083608641587410526\ 9281297074401352870866244913637750194608566/11811712631223067262049\ 51651544041484588093195518522897184892880516253184433*c_0101_4^28 + 4113827870679236144891995778891636827071538023247641491587491526627\ 6097410447/39372375437410224206831721718134716152936439850617429906\ 1630960172084394811*c_0101_4^27 - 105032592198319358480874766055545\ 624579501224216695008953544780548164489329375/393723754374102242068\ 317217181347161529364398506174299061630960172084394811*c_0101_4^26 - 7022821432894492744309005830506686349711745218719064777602807713338\ 06902255608/3937237543741022420683172171813471615293643985061742990\ 61630960172084394811*c_0101_4^25 + 6864174182106224907180164879361270299676906563845794028611327727219\ 75539556960/1181171263122306726204951651544041484588093195518522897\ 184892880516253184433*c_0101_4^24 + 5784740539870594414893044349384639279907495357919886342584647018972\ 100280209450/393723754374102242068317217181347161529364398506174299\ 061630960172084394811*c_0101_4^23 + 1702991402970577026610504375311477519257949560342915139180266868160\ 916865811064/393723754374102242068317217181347161529364398506174299\ 061630960172084394811*c_0101_4^22 - 9301580660988305514689985836852167474501275025440217986128619178718\ 2505040974548/11811712631223067262049516515440414845880931955185228\ 97184892880516253184433*c_0101_4^21 - 2047343879091511354728716415126986855557597989173514423047170192836\ 6679263784636/11811712631223067262049516515440414845880931955185228\ 97184892880516253184433*c_0101_4^20 + 1123049459649261848763924863747103162554279602295518838625915535320\ 77341080134956/3937237543741022420683172171813471615293643985061742\ 99061630960172084394811*c_0101_4^19 - 5935931494366936306102584310733206512478902091262734986861587137899\ 2006703836039/11811712631223067262049516515440414845880931955185228\ 97184892880516253184433*c_0101_4^18 - 7581722286146040133564084063853880779035914400808003507260038175632\ 47756188793815/1181171263122306726204951651544041484588093195518522\ 897184892880516253184433*c_0101_4^17 + 4552485183852751537790990588423163568792033534496568106205421986072\ 50201423268686/1181171263122306726204951651544041484588093195518522\ 897184892880516253184433*c_0101_4^16 + 3323802162389420742764427095471409008143009771791310724248650738141\ 60677920525580/3937237543741022420683172171813471615293643985061742\ 99061630960172084394811*c_0101_4^15 - 1073076808129464855583186497856680595224392337286846940500347004679\ 459543818247888/118117126312230672620495165154404148458809319551852\ 2897184892880516253184433*c_0101_4^14 - 2119250924440350023242682003419456215432704256805660064571568428936\ 76942319015899/3937237543741022420683172171813471615293643985061742\ 99061630960172084394811*c_0101_4^13 + 1409023166266242344489506457131988139165355844656829560361902151000\ 03718781257511/1312412514580340806894390723937823871764547995020580\ 99687210320057361464937*c_0101_4^12 + 7128574019545728019110477931443245353700905785988695054800932332799\ 359220310314/393723754374102242068317217181347161529364398506174299\ 061630960172084394811*c_0101_4^11 - 8163600435748513216631735797060458439862890764261253059863395013173\ 75627355685626/1181171263122306726204951651544041484588093195518522\ 897184892880516253184433*c_0101_4^10 + 2095534156401482401381487754174786293253479536267641534633808914285\ 71692761059950/1181171263122306726204951651544041484588093195518522\ 897184892880516253184433*c_0101_4^9 + 2960704275510729895479032454514833298847628751566328259388872634553\ 41280202159765/1181171263122306726204951651544041484588093195518522\ 897184892880516253184433*c_0101_4^8 - 1201708108172950992241167895247395336158388793823100648132963295342\ 73960301335164/1181171263122306726204951651544041484588093195518522\ 897184892880516253184433*c_0101_4^7 - 2129134771144745273664087382041390021309496943756119734680556602182\ 0186122179966/39372375437410224206831721718134716152936439850617429\ 9061630960172084394811*c_0101_4^6 + 1022573906770224785114108537570412745239087770488600651704171765719\ 4151878494413/39372375437410224206831721718134716152936439850617429\ 9061630960172084394811*c_0101_4^5 + 3282590574293858926501834107872909121257707825495808485686682682270\ 73068368882/4374708381934469356314635746459412905881826650068603322\ 9070106685787154979*c_0101_4^4 - 4446603341383994461585134703576222\ 21435685520885483202438704157916340249819362/1312412514580340806894\ 39072393782387176454799502058099687210320057361464937*c_0101_4^3 - 3141162842151050565328135905244143646133535612609680556858133711177\ 8139599853/43747083819344693563146357464594129058818266500686033229\ 070106685787154979*c_0101_4^2 + 83367593909767841861331126270916023\ 10883207360433883296472261923915732167746/4374708381934469356314635\ 7464594129058818266500686033229070106685787154979*c_0101_4 + 5733509092243942450102915966890469201204113542715083029795837134550\ 15459020/1458236127311489785438211915486470968627275550022867774302\ 3368895262384993, c_0101_4^31 + c_0101_4^30 - 82*c_0101_4^29 - 264*c_0101_4^28 + 1152*c_0101_4^27 + 4926*c_0101_4^26 - 6917*c_0101_4^25 - 44838*c_0101_4^24 + 28227*c_0101_4^23 + 259337*c_0101_4^22 - 172735*c_0101_4^21 - 930651*c_0101_4^20 + 984403*c_0101_4^19 + 1782824*c_0101_4^18 - 3022583*c_0101_4^17 - 1318065*c_0101_4^16 + 5061271*c_0101_4^15 - 1176930*c_0101_4^14 - 4446372*c_0101_4^13 + 3051975*c_0101_4^12 + 1756435*c_0101_4^11 - 2334053*c_0101_4^10 - 76303*c_0101_4^9 + 863338*c_0101_4^8 - 146133*c_0101_4^7 - 179595*c_0101_4^6 + 46197*c_0101_4^5 + 22968*c_0101_4^4 - 6075*c_0101_4^3 - 1863*c_0101_4^2 + 324*c_0101_4 + 81 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB