Magma V2.19-8 Tue Aug 20 2013 16:16:03 on localhost [Seed = 728414189] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0302 geometric_solution 4.34160400 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.280743208087 0.154436767587 2 0 0 2 0132 0132 1023 3201 0 0 0 0 0 0 0 0 -1 0 0 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 1 0 -1 1 0 -1 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 -1.149019068171 0.737344445986 1 1 3 3 0132 2310 0132 3201 0 0 0 0 0 -1 0 1 1 0 -1 0 0 -1 0 1 1 0 -1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.105315480308 0.148348939267 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 -1 1 0 -1 0 0 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 0 0 0 1 0 0 -1 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.867730304848 2.713339660560 3 6 5 6 0132 0132 0213 1023 0 0 0 0 0 0 -1 1 1 0 -1 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 -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.489092379605 0.992595292161 6 4 6 3 2310 0213 3201 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 1 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 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.489092379605 0.992595292161 5 4 5 4 2310 0132 3201 1023 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.462321689775 0.303723620518 ==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' : negation(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' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0011_5'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 9245129678214075838979545810839907422290342237981227176806704204147\ 012041044177058383771248687/235881508378999811627872942577422435605\ 705511922876077626812874428891267226190938677810488722587648*c_0101\ _5^28 - 22688344832639736859832073452531558571709432582047555565969\ 56756554332092354478297165668475819/2948518854737497645348411782217\ 7804450713188990359509703351609303611408403273867334726311090323456\ *c_0101_5^27 - 1230484381698656840830692205295862400203395753950217\ 45396932761831240494321006960624705809434451/2358815083789998116278\ 7294257742243560570551192287607762681287442889126722619093867781048\ 8722587648*c_0101_5^26 - 688112887097003102442856706787707808704498\ 59526366578826248661138268099225556485526934520452041/7371297136843\ 7441133710294555444511126782972475898774258379023259028521008184668\ 33681577772580864*c_0101_5^25 - 28509091507224090223609105299187352\ 02443353134526241022844760116856959954664883413088342080663565/5897\ 0377094749952906968235644355608901426377980719019406703218607222816\ 806547734669452622180646912*c_0101_5^24 - 2289314989026103158257793617456209550727992582724793979572775836909\ 5770295066462995201086690984225/11794075418949990581393647128871121\ 7802852755961438038813406437214445633613095469338905244361293824*c_\ 0101_5^23 - 2107972592908810376122279555333885325962944288011923123\ 2852375369311503810165274731231415050259383/11794075418949990581393\ 6471288711217802852755961438038813406437214445633613095469338905244\ 361293824*c_0101_5^22 - 2839136318890413831916051471908139591660904\ 3756365976024307908720761266787036114215113179175626699/18144731413\ 7692162790671494290324950465927316863750828943702211099147128635531\ 49129062345286352896*c_0101_5^21 - 1121475284042712754207917224575831698582303091257897114096930832460\ 94378495183935960648791324679003/1814473141376921627906714942903249\ 5046592731686375082894370221109914712863553149129062345286352896*c_\ 0101_5^20 + 1166283509166196869529498365365782528470540886152877822\ 936071788386891681389216096863986067267366163/235881508378999811627\ 8729425774224356057055119228760776268128744288912672261909386778104\ 88722587648*c_0101_5^19 - 14129917063778676389078348550476107715819\ 30268241324335998436237420018112141955386864149618010446103/1179407\ 5418949990581393647128871121780285275596143803881340643721444563361\ 3095469338905244361293824*c_0101_5^18 + 6279872755371785000910878807255413544880168284288237427522126100985\ 86310172473622060797735161395441/5897037709474995290696823564435560\ 8901426377980719019406703218607222816806547734669452622180646912*c_\ 0101_5^17 - 7130739459652390810293993191058061337773667472529587049\ 86345929678060838496907712406760048235177865/2948518854737497645348\ 4117822177804450713188990359509703351609303611408403273867334726311\ 090323456*c_0101_5^16 + 2544648629238608014286205298698290622456006\ 64262061047033077128335992033937479248676331797263174997/7371297136\ 8437441133710294555444511126782972475898774258379023259028521008184\ 66833681577772580864*c_0101_5^15 + 1653834152796986417741935650101263016142733419811971161499078244926\ 69813463499608725146659511602059/9214121421054680141713786819430563\ 89084787155948734678229737790737856512602308354210197221572608*c_01\ 01_5^14 - 109383214716021772891135222472164307673988860524125743989\ 830143596572167413648984625736408171145661/283511428340144004360424\ 2098286327351030114325996106702245347048424173884930179551415991450\ 99264*c_0101_5^13 + 45158064731810865176409621971213562775304359681\ 7046324723093474543822634690469996104520916726906959/18428242842109\ 3602834275736388611277816957431189746935645947558147571302520461670\ 8420394443145216*c_0101_5^12 - 119637152148003514360760389234528966\ 830494708633292904493993746436456838354004222886897502092955885/460\ 7060710527340070856893409715281945423935779743673391148688953689282\ 56301154177105098610786304*c_0101_5^11 + 5963243622617964391088465303948417644718657245669463732025983466473\ 0100482227218156582467870895865/57588258881591750885711167621441024\ 317799197246795917389358611921116032037644272138137326348288*c_0101\ _5^10 - 21102558295501200002908765364470236141401787298931115195554\ 85368164141870577056251757343405122825/7198532360198968860713895952\ 680128039724899655849489673669826490139504004705534017267165793536*\ c_0101_5^9 - 977067421201531947297785844120682461833978307950357357\ 5040983397005667408326237490463052579720191/44298660678147500681316\ 2827857238648598455363436891672225835476316277169520340554908748664\ 2176*c_0101_5^8 + 8094606950618542697271317869713184059453572849260\ 0665243850680081110960098267114099124233026863779/28794129440795875\ 4428555838107205121588995986233979586946793059605580160188221360690\ 68663174144*c_0101_5^7 - 147683034238489212453389253181792855439050\ 77633769951662515235213647465999301830484754805116400383/2879412944\ 0795875442855583810720512158899598623397958694679305960558016018822\ 136069068663174144*c_0101_5^6 - 16927386455737833203272317973947301\ 166899115394827351988594011764775226545238185385782499053276367/143\ 9706472039793772142779190536025607944979931169897934733965298027900\ 8009411068034534331587072*c_0101_5^5 + 7573277053428883761317412210881065978497974006096646526884983405832\ 43760515570459470732847285671/4499082725124355537946184970425080024\ 82806228490593104604364155633719000294095876079197862096*c_0101_5^4 - 26041413966919884376886274666873342531882645510119475553897464747\ 86450714591990709224173196736747/3599266180099484430356947976340064\ 019862449827924744836834913245069752002352767008633582896768*c_0101\ _5^3 - 243483169004894325276423674407489842610822680266407676369737\ 815554707589392520945404746207844145/899816545024871107589236994085\ 016004965612456981186209208728311267438000588191752158395724192*c_0\ 101_5^2 + 155592528173903979225211189037032485216868768256521688151\ 706790162894541866231014877582673719825/899816545024871107589236994\ 085016004965612456981186209208728311267438000588191752158395724192*\ c_0101_5 - 67461673450744310452249845964647520789309561889374694695\ 106240759107844713550351510456783212027/449908272512435553794618497\ 042508002482806228490593104604364155633719000294095876079197862096, c_0011_0 - 1, c_0011_3 + 192512119326749286276103937897535295403446411570680987918875\ 672425558445651141428872117/244406403741503452034848456748821323364\ 6650281031126467452885386572563693905327199496544354304*c_0101_5^28 - 11301220972554093086001103518934512295669762473891812237330307013\ 62384635537767801704681/9776256149660138081393938269952852934586601\ 124124505869811541546290254775621308797986177417216*c_0101_5^27 - 1330522160189211136959607348919553783607117579455838121038028263517\ 973815299556089242741/122203201870751726017424228374410661682332514\ 0515563233726442693286281846952663599748272177152*c_0101_5^26 - 1886603360971961491302132643775728496915262991671964348545626115873\ 40696376745643078611695/9776256149660138081393938269952852934586601\ 124124505869811541546290254775621308797986177417216*c_0101_5^25 - 2615500643914821235631197470235589937547142343652302181793496316146\ 36325617510569909603537/2444064037415034520348484567488213233646650\ 281031126467452885386572563693905327199496544354304*c_0101_5^24 - 5469689729926880814845221309824674301775965043867741561112046297050\ 03978726371863878485245/1222032018707517260174242283744106616823325\ 140515563233726442693286281846952663599748272177152*c_0101_5^23 - 2983779726147746884309076173373759019974066776665634992226674188647\ 120550118490092228922477/488812807483006904069696913497642646729330\ 0562062252934905770773145127387810654398993088708608*c_0101_5^22 - 1747746425547536072485385676605094661705599177267228734046280302172\ 6233464168429157649626141/48881280748300690406969691349764264672933\ 00562062252934905770773145127387810654398993088708608*c_0101_5^21 - 1413548140020478755293108484433416125652144233110506317046271727750\ 57512350434354540679303995/9776256149660138081393938269952852934586\ 601124124505869811541546290254775621308797986177417216*c_0101_5^20 + 1828103782202119010835317463557380812166614822966165457662094592348\ 4600151974543942365355249/97762561496601380813939382699528529345866\ 01124124505869811541546290254775621308797986177417216*c_0101_5^19 - 2683836073969043191963616802558829703226371762722400339267969701536\ 23539834290530412007959341/9776256149660138081393938269952852934586\ 601124124505869811541546290254775621308797986177417216*c_0101_5^18 + 1963655748350616432197569930897311845052799661081458990316961902625\ 2747644527413302213189069/48881280748300690406969691349764264672933\ 00562062252934905770773145127387810654398993088708608*c_0101_5^17 - 6052019096307395030680931424839308935170273366925392289135663522040\ 2786695769308365031162231/12220320187075172601742422837441066168233\ 25140515563233726442693286281846952663599748272177152*c_0101_5^16 + 9835929767308389678844518144197011567693331596298422832875561100450\ 148404776944652440889901/305508004676879315043560570936026654205831\ 285128890808431610673321570461738165899937068044288*c_0101_5^15 + 2317378285241413063152090656633080048946527843883341182659655936437\ 31393262507276077813883975/6110160093537586300871211418720533084116\ 62570257781616863221346643140923476331799874136088576*c_0101_5^14 - 1867200331524942716314073817261310097557152634649275144491257499730\ 30277364666547243618435569/3055080046768793150435605709360266542058\ 31285128890808431610673321570461738165899937068044288*c_0101_5^13 + 4823385051313633417993237557273525526659448070078764624856195982697\ 0219469864007988875122761/15275400233843965752178028546801332710291\ 5642564445404215805336660785230869082949968534022144*c_0101_5^12 - 3131131313122148402603110431605678576119014896784608317842911038614\ 8074483121862408573957373/76377001169219828760890142734006663551457\ 821282222702107902668330392615434541474984267011072*c_0101_5^11 + 6526829089466003889472940321669985733646646104150120274477803779354\ 1622309678999691208504943/38188500584609914380445071367003331775728\ 910641111351053951334165196307717270737492133505536*c_0101_5^10 + 2377443897988411305958356649433366177362215874863880385856588521220\ 845371680154378874933755/477356257307623929755563392087541647196611\ 3830138918881743916770649538464658842186516688192*c_0101_5^9 - 4109526884450786145338225698271805711767141009352899998527185526450\ 0172713438363890340780919/95471251461524785951112678417508329439322\ 27660277837763487833541299076929317684373033376384*c_0101_5^8 + 2238312391717111089809423663409036535380390094087107435409913659370\ 6059418414112232491340653/47735625730762392975556339208754164719661\ 13830138918881743916770649538464658842186516688192*c_0101_5^7 - 6018752750341300778465136450952584026526545428352984574110589915346\ 37352022785069775932029/1193390643269059824388908480218854117991528\ 457534729720435979192662384616164710546629172048*c_0101_5^6 - 2592653324070160671328328157733595602807858891536198088035745559676\ 25016043830206811741137/1491738304086324780486135600273567647489410\ 57191841215054497399082798077020588818328646506*c_0101_5^5 + 1102430418459622749051422527821909631418176240623699973809034800241\ 400996255754413881784261/298347660817264956097227120054713529497882\ 114383682430108994798165596154041177636657293012*c_0101_5^4 - 4291155818398200747421627503420520800400571568295582959568904172751\ 98775769444401374111009/2983476608172649560972271200547135294978821\ 14383682430108994798165596154041177636657293012*c_0101_5^3 + 2223081068041981530215412721462551298936579150672200838881576209018\ 651043140202104112215/745869152043162390243067800136783823744705285\ 95920607527248699541399038510294409164323253*c_0101_5^2 + 8473259997674891721460282810482337825367823655661146516875811757088\ 0114520316211682565715/14917383040863247804861356002735676474894105\ 7191841215054497399082798077020588818328646506*c_0101_5 + 1680614467612009855775494728229467446284330224404567114917858945185\ 6442803299103009458988/74586915204316239024306780013678382374470528\ 595920607527248699541399038510294409164323253, c_0011_5 - 357630113090849047061571471237910747175154249525143274549170\ 6738614962096148517632099043/39105024598640552325575753079811411738\ 346404496498023479246166185161019102485235191944709668864*c_0101_5^\ 28 + 35682129112003292198317050260415973638757209322527854963587916\ 72640799988941194572191781/1955251229932027616278787653990570586917\ 3202248249011739623083092580509551242617595972354834432*c_0101_5^27 + 47662309829144581128897000701685074405966170661088815842930807692\ 722183355394915629788331/391050245986405523255757530798114117383464\ 04496498023479246166185161019102485235191944709668864*c_0101_5^26 + 4255087836718921757340499549814121682220380300277599349656604688186\ 88948795294456850974539/1955251229932027616278787653990570586917320\ 2248249011739623083092580509551242617595972354834432*c_0101_5^25 + 2736339540355000095044450016733716322418880969692758192508258238808\ 70931578318772410875377/2444064037415034520348484567488213233646650\ 281031126467452885386572563693905327199496544354304*c_0101_5^24 + 8741457475782002038346179000354517827025792500767947300660321943251\ 944589759862160701297489/195525122993202761627878765399057058691732\ 02248249011739623083092580509551242617595972354834432*c_0101_5^23 + 7525191595746049371820345503598039939256926835397681052747797585021\ 539807924463619573613973/195525122993202761627878765399057058691732\ 02248249011739623083092580509551242617595972354834432*c_0101_5^22 + 1389671396595254831831356371398065860347542742740732195882903828294\ 52263009339547974324685063/3910502459864055232557575307981141173834\ 6404496498023479246166185161019102485235191944709668864*c_0101_5^21 + 55010498392566798927732015122660086926773786491880401061084681052\ 0905416108423388521039229241/39105024598640552325575753079811411738\ 346404496498023479246166185161019102485235191944709668864*c_0101_5^\ 20 - 49284691753174316503175979214106023692334337083281605492507897\ 0425792327854186121071694495405/39105024598640552325575753079811411\ 738346404496498023479246166185161019102485235191944709668864*c_0101\ _5^19 + 24919136689123223347343451291251890969133984575134420196547\ 9640768593080136886834051010120031/97762561496601380813939382699528\ 52934586601124124505869811541546290254775621308797986177417216*c_01\ 01_5^18 - 305157172607141054577573770197962534436501811051497058285\ 014044173264000970699712607632654977/977625614966013808139393826995\ 2852934586601124124505869811541546290254775621308797986177417216*c_\ 0101_5^17 + 2658021611901601506521090007099150338022761147269684422\ 53002183345623507065308849238772957267/4888128074830069040696969134\ 976426467293300562062252934905770773145127387810654398993088708608*\ c_0101_5^16 - 58146351469649736047147131555171045270761892926631899\ 058753733094852981892275561257177263669/611016009353758630087121141\ 872053308411662570257781616863221346643140923476331799874136088576*\ c_0101_5^15 - 50575671874911706705141203827022763514898188866790783\ 8447623231797744249120736220065871520757/12220320187075172601742422\ 8374410661682332514051556323372644269328628184695266359974827217715\ 2*c_0101_5^14 + 424767527201327018645703520735604236093914627116332\ 8434920583848291444713426402448830020637/47735625730762392975556339\ 20875416471966113830138918881743916770649538464658842186516688192*c\ _0101_5^13 - 163368692584857093289319564484458540775707729071102243\ 080485706319017817480922274617568003793/305508004676879315043560570\ 936026654205831285128890808431610673321570461738165899937068044288*\ c_0101_5^12 + 13225789558585290489032313780230708915332595062173256\ 674438168819350583463220434867030844311/190942502923049571902225356\ 83501665887864455320555675526975667082598153858635368746066752768*c\ _0101_5^11 - 197401485848902534616124971621268993584713105066027152\ 813508243553423972739462577722060382373/763770011692198287608901427\ 34006663551457821282222702107902668330392615434541474984267011072*c\ _0101_5^10 + 867127679645435394747525986731300937408395702176753359\ 4684748355382015204693238573817368789/95471251461524785951112678417\ 50832943932227660277837763487833541299076929317684373033376384*c_01\ 01_5^9 + 2330820282244280662883885189145492968708697876371635589184\ 6522596898346175863156053862084551/47735625730762392975556339208754\ 16471966113830138918881743916770649538464658842186516688192*c_0101_\ 5^8 - 2732322492342132459619196085683340168329936166835155929469242\ 9724515589594135480508904585501/47735625730762392975556339208754164\ 71966113830138918881743916770649538464658842186516688192*c_0101_5^7 + 19685161796190415584057713169303337909458529641965286018367338049\ 65748493584005741672038371/2386781286538119648777816960437708235983\ 056915069459440871958385324769232329421093258344096*c_0101_5^6 + 3007257542889362580079778974098240354976978487462981642643926033236\ 048500136339959926572917/119339064326905982438890848021885411799152\ 8457534729720435979192662384616164710546629172048*c_0101_5^5 - 4935560349759972084477723862852077779757237252168827850165506935521\ 24944609143132987584299/1491738304086324780486135600273567647489410\ 57191841215054497399082798077020588818328646506*c_0101_5^4 + 3805743598026813383818286386446888423739978325657584659586616014033\ 54953232497580302765491/2983476608172649560972271200547135294978821\ 14383682430108994798165596154041177636657293012*c_0101_5^3 + 2032015756292098700244353751370143044791945784742459285210448770591\ 89194466979969655581711/1491738304086324780486135600273567647489410\ 57191841215054497399082798077020588818328646506*c_0101_5^2 - 2239069372172670333834867303756786616727962755688851271972409851350\ 3789296352894672977806/74586915204316239024306780013678382374470528\ 595920607527248699541399038510294409164323253*c_0101_5 + 1575947051819050106373682205582974583438280999845921263480826305153\ 7007809141486150579457/74586915204316239024306780013678382374470528\ 595920607527248699541399038510294409164323253, c_0101_0 + 227170336910151650399331398085431938414574352912846590511062\ 16809854378419022215964349655/1955251229932027616278787653990570586\ 9173202248249011739623083092580509551242617595972354834432*c_0101_5\ ^28 - 9513286648466599888902506028158550063569342317887641717298025\ 653928189778157719157992479/488812807483006904069696913497642646729\ 3300562062252934905770773145127387810654398993088708608*c_0101_5^27 - 31006415986398723335898819933971596484353481065398195274451906022\ 0009593391481995080097043/19552512299320276162787876539905705869173\ 202248249011739623083092580509551242617595972354834432*c_0101_5^26 - 6877763489387874655002364397992053268251132373725534114661194252300\ 81156892301005557234013/2444064037415034520348484567488213233646650\ 281031126467452885386572563693905327199496544354304*c_0101_5^25 - 7413524205932559433213377136428050936370472362137036511205725771915\ 735796635752897702911177/488812807483006904069696913497642646729330\ 0562062252934905770773145127387810654398993088708608*c_0101_5^24 - 6094367772156223029790644604107657541075118026993790997958396995939\ 5152768659375567514417683/97762561496601380813939382699528529345866\ 01124124505869811541546290254775621308797986177417216*c_0101_5^23 - 7189010412328865981167907024998640714144411166643931398921328563480\ 7127940938687537945957087/97762561496601380813939382699528529345866\ 01124124505869811541546290254775621308797986177417216*c_0101_5^22 - 9705811243952326430423534735470642424592279761397795243627438907731\ 24410773450213798390250367/1955251229932027616278787653990570586917\ 3202248249011739623083092580509551242617595972354834432*c_0101_5^21 - 39029764791310646641826858337348537474737299746690423330591735488\ 72190852481538803178189880043/1955251229932027616278787653990570586\ 9173202248249011739623083092580509551242617595972354834432*c_0101_5\ ^20 + 1569129674245213791469637329426308905349955597277204200928915\ 026005729327902149504401431320191/195525122993202761627878765399057\ 05869173202248249011739623083092580509551242617595972354834432*c_01\ 01_5^19 - 360245776641689768589248609102793911199431176018199017407\ 2681181638965138794171235512484473719/97762561496601380813939382699\ 52852934586601124124505869811541546290254775621308797986177417216*c\ _0101_5^18 + 458119832890881408327886723924192010244795997177291776\ 842379760436317168665312935279981120211/244406403741503452034848456\ 7488213233646650281031126467452885386572563693905327199496544354304\ *c_0101_5^17 - 3541077884611482777048420595084672564574896422899438\ 265168708810329776835952161555131814893983/488812807483006904069696\ 9134976426467293300562062252934905770773145127387810654398993088708\ 608*c_0101_5^16 + 2425521627505265794394440768155730689094181121805\ 02284466394458948478932808061065434172289127/3055080046768793150435\ 6057093602665420583128512889080843161067332157046173816589993706804\ 4288*c_0101_5^15 + 663475350416954936285429523861617011176806916046\ 4753603651152304841105516156664136251775164861/12220320187075172601\ 7424228374410661682332514051556323372644269328628184695266359974827\ 2177152*c_0101_5^14 - 187876184736773369463265267404090002377442590\ 108722373307051375610649537279671397458189348059/190942502923049571\ 9022253568350166588786445532055567552697566708259815385863536874606\ 6752768*c_0101_5^13 + 159625122243609419550822954344333955945060316\ 3758016128664999099216787910567130168863693754767/30550800467687931\ 5043560570936026654205831285128890808431610673321570461738165899937\ 068044288*c_0101_5^12 - 1028288329097860019940443786037844499864621\ 982325728405748749805536909196635105254502227332591/152754002338439\ 6575217802854680133271029156425644454042158053366607852308690829499\ 68534022144*c_0101_5^11 + 21831900336836514735007616639821384534068\ 21497742071137164717839121067491444095870016540897843/7637700116921\ 9828760890142734006663551457821282222702107902668330392615434541474\ 984267011072*c_0101_5^10 - 2947526970166182960294427307098836621447\ 8819840608087911944181811179620974975329950354798075/19094250292304\ 9571902225356835016658878644553205556755269756670825981538586353687\ 46066752768*c_0101_5^9 - 118545187464138804856600511588692489613112\ 3101920523116954306570178054517204035173337560837249/19094250292304\ 9571902225356835016658878644553205556755269756670825981538586353687\ 46066752768*c_0101_5^8 + 651258760212094437808105454014118290758394\ 212634095819631239424746818936117078739824121467229/954712514615247\ 8595111267841750832943932227660277837763487833541299076929317684373\ 033376384*c_0101_5^7 - 62271745754744696081389484641236049029109967\ 12301465531855369241210144900737168350275361393/4773562573076239297\ 5556339208754164719661138301389188817439167706495384646588421865166\ 88192*c_0101_5^6 - 840671142769837155222931278978508381728238120738\ 12138798825170112541161985149354448046258245/2386781286538119648777\ 8169604377082359830569150694594408719583853247692323294210932583440\ 96*c_0101_5^5 + 539317420224955874306525673935092916452227961994108\ 44432761043411877732648907532832246859817/1193390643269059824388908\ 480218854117991528457534729720435979192662384616164710546629172048*\ c_0101_5^4 - 531972864080033821948013991580703183933530813741565277\ 9343490582924903088760775004643382245/59669532163452991219445424010\ 9427058995764228767364860217989596331192308082355273314586024*c_010\ 1_5^3 - 66591542484846960142868058819012612813877102627995751269216\ 9853191578212169610490461354139/74586915204316239024306780013678382\ 374470528595920607527248699541399038510294409164323253*c_0101_5^2 + 4772579330136593277771638981616024318260105592554178287823842827244\ 39751027610774985950148/7458691520431623902430678001367838237447052\ 8595920607527248699541399038510294409164323253*c_0101_5 - 2060511940543776121454567201149023823135338041036680459448093744053\ 46231496305202410629890/7458691520431623902430678001367838237447052\ 8595920607527248699541399038510294409164323253, c_0101_1 + 256601633299586243157311093739794741718798454215203297260668\ 25554843359669475349468590949/3910502459864055232557575307981141173\ 8346404496498023479246166185161019102485235191944709668864*c_0101_5\ ^28 - 7223880255840775307072492806519680909772136316256000974910650\ 011131172023063543944018131/977625614966013808139393826995285293458\ 6601124124505869811541546290254775621308797986177417216*c_0101_5^27 - 36662578554804420329510554134993505608218526078615707376390012635\ 2847296942049664559397737/39105024598640552325575753079811411738346\ 404496498023479246166185161019102485235191944709668864*c_0101_5^26 - 1604122480980101649461653716785841921980533151492896316638194934125\ 998126829138459119128413/977625614966013808139393826995285293458660\ 1124124505869811541546290254775621308797986177417216*c_0101_5^25 - 9253220377332364746622237226850854547331939036022216845847308839745\ 074304924781107860510273/977625614966013808139393826995285293458660\ 1124124505869811541546290254775621308797986177417216*c_0101_5^24 - 7892453364298881966951766594097106990982259972909827144656027160544\ 9553712308540184008660943/19552512299320276162787876539905705869173\ 202248249011739623083092580509551242617595972354834432*c_0101_5^23 - 1240453148042983362560143512410900083352216448933571309645618072057\ 48189183559666719766173841/1955251229932027616278787653990570586917\ 3202248249011739623083092580509551242617595972354834432*c_0101_5^22 - 12276254526105256785389554286921590727935329844490671409260436545\ 34780939812034361783454005485/3910502459864055232557575307981141173\ 8346404496498023479246166185161019102485235191944709668864*c_0101_5\ ^21 - 5070310235957837478902778855130882482783321189478741991610110\ 688514429774345156414824691236241/391050245986405523255757530798114\ 11738346404496498023479246166185161019102485235191944709668864*c_01\ 01_5^20 - 969151548574043987167778696138251660324361287374093568758\ 917521501484021550226837807737423843/391050245986405523255757530798\ 11411738346404496498023479246166185161019102485235191944709668864*c\ _0101_5^19 - 426606047425739009955997729675257259526490281929970371\ 5216763292906220827127525781184438398087/19552512299320276162787876\ 5399057058691732022482490117396230830925805095512426175959723548344\ 32*c_0101_5^18 - 72964609121136226108347544190253162895166838902853\ 886433109745090230182642040324584624991887/977625614966013808139393\ 8269952852934586601124124505869811541546290254775621308797986177417\ 216*c_0101_5^17 - 4893986456239747044712952989769612686853273242476\ 91046927126043826433161116738792100538180699/1222032018707517260174\ 2422837441066168233251405155632337264426932862818469526635997482721\ 77152*c_0101_5^16 + 52750263830021887077302988267418215208519282888\ 0831347091887227759823059886618566652632660397/24440640374150345203\ 4848456748821323364665028103112646745288538657256369390532719949654\ 4354304*c_0101_5^15 + 122774413974050837619922155168537113837831955\ 830039976315698695195806221231137064669658211355/381885005846099143\ 8044507136700333177572891064111135105395133416519630771727073749213\ 3505536*c_0101_5^14 - 233981366711611830362563790349783107006225534\ 0881507967335978915495662544744617333444529757839/61101600935375863\ 0087121141872053308411662570257781616863221346643140923476331799874\ 136088576*c_0101_5^13 + 1582739545609190784089475810495646252221672\ 1977439763418709695117449809400449558808349661937/19094250292304957\ 1902225356835016658878644553205556755269756670825981538586353687460\ 66752768*c_0101_5^12 - 53113225353226065463018703742388117213625210\ 2080212611365918182908945353958356044480100661573/15275400233843965\ 7521780285468013327102915642564445404215805336660785230869082949968\ 534022144*c_0101_5^11 + 5377102893097511222197146634875142439128484\ 16863561068974933229510291431364207112100086972459/3818850058460991\ 4380445071367003331775728910641111351053951334165196307717270737492\ 133505536*c_0101_5^10 + 2979605047339862024688464347202798497779988\ 65835462549185437471988116558476677154459066283417/3818850058460991\ 4380445071367003331775728910641111351053951334165196307717270737492\ 133505536*c_0101_5^9 - 30382537997622904860919637997382940511614566\ 1321799437482017137165305679972081739511197363589/95471251461524785\ 9511126784175083294393222766027783776348783354129907692931768437303\ 3376384*c_0101_5^8 + 1019031253272362880299653491586412754387180905\ 61814840605493096854709081971888552757339110637/4773562573076239297\ 5556339208754164719661138301389188817439167706495384646588421865166\ 88192*c_0101_5^7 + 106424909383033100569951028597914476429463727933\ 14355098985084386140220628517776329895887019/1193390643269059824388\ 9084802188541179915284575347297204359791926623846161647105466291720\ 48*c_0101_5^6 - 144813348148132699117695922365386055181615176720881\ 93023384957388364336194455528690036940851/1193390643269059824388908\ 480218854117991528457534729720435979192662384616164710546629172048*\ c_0101_5^5 + 125714304753820253830819401565845678041510617364818164\ 11249783330046145671595663471993810449/5966953216345299121944542401\ 09427058995764228767364860217989596331192308082355273314586024*c_01\ 01_5^4 - 8931242168996672591518878667766374759702156892069758769705\ 298125279987120441675792077219/298347660817264956097227120054713529\ 497882114383682430108994798165596154041177636657293012*c_0101_5^3 - 2972289043917790785607485731927494377377521789996662871021335583400\ 12712351775622187190789/1491738304086324780486135600273567647489410\ 57191841215054497399082798077020588818328646506*c_0101_5^2 + 1937721321244199593348735771787282665606807292580305273810849460820\ 77514535653903185716108/7458691520431623902430678001367838237447052\ 8595920607527248699541399038510294409164323253*c_0101_5 - 1464648822184300439707900160159541326994161260789702101504694250218\ 58233790314402587949533/7458691520431623902430678001367838237447052\ 8595920607527248699541399038510294409164323253, c_0101_3 + 202621159944701633628471369391889153357598131726636496295610\ 1010391702697734612506887539/19552512299320276162787876539905705869\ 173202248249011739623083092580509551242617595972354834432*c_0101_5^\ 28 - 56211290595458867101484386179361073763576638555449026098802684\ 89714656040018662372473/1222032018707517260174242283744106616823325\ 140515563233726442693286281846952663599748272177152*c_0101_5^27 - 3347622704512310797788052316624177930243716262292612805238071230569\ 9785087854963774137229/19552512299320276162787876539905705869173202\ 248249011739623083092580509551242617595972354834432*c_0101_5^26 - 1672744609250657684585733098517628896325894297411360564061078366798\ 0712227882232585430717/61101600935375863008712114187205330841166257\ 0257781616863221346643140923476331799874136088576*c_0101_5^25 - 1721152900119143407793858985464682884576445581305206761428395298446\ 803876684532486565221067/977625614966013808139393826995285293458660\ 1124124505869811541546290254775621308797986177417216*c_0101_5^24 - 7557605453918659364022401869014919178684714547202007787696735317107\ 050932145920139280412937/977625614966013808139393826995285293458660\ 1124124505869811541546290254775621308797986177417216*c_0101_5^23 - 1509730585032402256120671306022309686343167414822201239824200852154\ 7245672288615024972557327/97762561496601380813939382699528529345866\ 01124124505869811541546290254775621308797986177417216*c_0101_5^22 - 1058950072957930177637784470200115649421483971590693521474570646040\ 76711571973410342906972815/1955251229932027616278787653990570586917\ 3202248249011739623083092580509551242617595972354834432*c_0101_5^21 - 48707536446326494997716528452481296646102403943753607511517458737\ 2945191706615195905192375119/19552512299320276162787876539905705869\ 173202248249011739623083092580509551242617595972354834432*c_0101_5^\ 20 - 41226050496137964559041298051006844419725995639734788257753438\ 3244223256087053264786144225803/19552512299320276162787876539905705\ 869173202248249011739623083092580509551242617595972354834432*c_0101\ _5^19 - 11436709708277743302608344928301553706079573015995212125965\ 341984775163413717488264346581169/611016009353758630087121141872053\ 308411662570257781616863221346643140923476331799874136088576*c_0101\ _5^18 - 36212309285512376719590446460915531542929190135286608177448\ 9829075899816985100993351869201825/97762561496601380813939382699528\ 52934586601124124505869811541546290254775621308797986177417216*c_01\ 01_5^17 - 126812068920064182115476885756354505247078149823717812556\ 172361970062958853602412902650678321/488812807483006904069696913497\ 6426467293300562062252934905770773145127387810654398993088708608*c_\ 0101_5^16 - 1061388164589755690700990519056659950391252495300834957\ 70440747458074297040525949950521228751/2444064037415034520348484567\ 488213233646650281031126467452885386572563693905327199496544354304*\ c_0101_5^15 + 76691214814090513730891068980141720958889121607744933\ 0761282159631444966846019178460045907661/12220320187075172601742422\ 8374410661682332514051556323372644269328628184695266359974827217715\ 2*c_0101_5^14 - 691393340191641602041703295776088594798437106505704\ 88799265520224063984305466472762788850345/6110160093537586300871211\ 4187205330841166257025778161686322134664314092347633179987413608857\ 6*c_0101_5^13 - 303397125913353107544821914258445221791120042163064\ 420896355041637370282392875807391865805857/305508004676879315043560\ 5709360266542058312851288908084316106733215704617381658999370680442\ 88*c_0101_5^12 + 97578916563752868268117327927753244063136406669470\ 28631881829278996552434506289987722261969/3818850058460991438044507\ 1367003331775728910641111351053951334165196307717270737492133505536\ *c_0101_5^11 + 9862380895584497946452972799281193985202482602837433\ 2936405817067275977992369133271989005629/76377001169219828760890142\ 734006663551457821282222702107902668330392615434541474984267011072*\ c_0101_5^10 + 21574444958226732912085739490798280550863300034525611\ 424530399463385473921045299501567707111/477356257307623929755563392\ 0875416471966113830138918881743916770649538464658842186516688192*c_\ 0101_5^9 - 63097324738225129579225265812824165831022736180666673000\ 535033257203528231407048287821514749/954712514615247859511126784175\ 0832943932227660277837763487833541299076929317684373033376384*c_010\ 1_5^8 - 22763651453297876928596112617612083776459525944145182018720\ 072809156240964077808536258904555/954712514615247859511126784175083\ 2943932227660277837763487833541299076929317684373033376384*c_0101_5\ ^7 + 44369360204808875576588779074583358488774505098470319622194897\ 808934232373057444322887876047/477356257307623929755563392087541647\ 1966113830138918881743916770649538464658842186516688192*c_0101_5^6 - 4176698637028446379968250258865736747579722802695596450285218347702\ 613666330577140522140353/119339064326905982438890848021885411799152\ 8457534729720435979192662384616164710546629172048*c_0101_5^5 + 1240568838823789625053338484899737436137039866142154953815513711513\ 14942861411100551108937/1491738304086324780486135600273567647489410\ 57191841215054497399082798077020588818328646506*c_0101_5^4 + 1780554456641973585039032945454016153409613240745720413270891735763\ 225630584138543140550089/596695321634529912194454240109427058995764\ 228767364860217989596331192308082355273314586024*c_0101_5^3 - 3777854605397905888814851904732528514442488202095744812742467960442\ 44371279520283245184605/2983476608172649560972271200547135294978821\ 14383682430108994798165596154041177636657293012*c_0101_5^2 + 9487355991796216653834163213263826337211361005886388672024628355343\ 863007388796443152669/149173830408632478048613560027356764748941057\ 191841215054497399082798077020588818328646506*c_0101_5 - 1151706930160479202664845439392640969022538894751293096858272699382\ 0782758816075157334261/74586915204316239024306780013678382374470528\ 595920607527248699541399038510294409164323253, c_0101_5^29 - 2*c_0101_5^28 - 13*c_0101_5^27 - 238*c_0101_5^26 - 1228*c_0101_5^25 - 4966*c_0101_5^24 - 4710*c_0101_5^23 - 41165*c_0101_5^22 - 158327*c_0101_5^21 + 120663*c_0101_5^20 - 355492*c_0101_5^19 + 279888*c_0101_5^18 - 715792*c_0101_5^17 + 918544*c_0101_5^16 + 4368448*c_0101_5^15 - 9883584*c_0101_5^14 + 7686656*c_0101_5^13 - 8385280*c_0101_5^12 + 27466752*c_0101_5^11 - 10264576*c_0101_5^10 - 49991680*c_0101_5^9 + 74465280*c_0101_5^8 - 25387008*c_0101_5^7 - 20905984*c_0101_5^6 + 44990464*c_0101_5^5 - 22347776*c_0101_5^4 - 655360*c_0101_5^3 + 5505024*c_0101_5^2 - 4194304*c_0101_5 + 1048576 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB