Magma V2.19-8 Tue Aug 20 2013 16:17:43 on localhost [Seed = 3465499170] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1959 geometric_solution 5.54042278 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 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 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.407411997085 0.609318192080 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.724911316876 0.953906586693 3 0 4 1 3201 0132 2310 3012 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.724911316876 0.953906586693 3 1 3 2 2310 0132 3201 2310 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.154469980473 0.962592595296 5 2 1 5 0132 3201 0132 1023 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.719472062302 0.447274267140 4 6 6 4 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.173789069665 0.310834853018 6 5 5 6 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.190776675695 0.152597351278 ==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_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 2678755694744350486439748406549380678134287152274910144097518987183\ 6611861893637886759570631680970/15152025754048940385198550081070844\ 0315719352099262720104529576704614696748598091480559626441*c_0101_6\ ^27 - 5019270943558094399562210394128296264398259220335580253552470\ 3258611285203934886903875998360962309/15152025754048940385198550081\ 0708440315719352099262720104529576704614696748598091480559626441*c_\ 0101_6^26 - 5599544838434635024778741442312580965618067843397630260\ 99462154004452298380730296340831164404142472/1515202575404894038519\ 8550081070844031571935209926272010452957670461469674859809148055962\ 6441*c_0101_6^25 + 200160183746222690384724946374966412259525494641\ 650923191291862636052917286337073053310574779696284/151520257540489\ 4038519855008107084403157193520992627201045295767046146967485980914\ 80559626441*c_0101_6^24 + 34780456989012837311273402778456033787248\ 62934397338431919160043677983171285564691474653436212603438/1515202\ 5754048940385198550081070844031571935209926272010452957670461469674\ 8598091480559626441*c_0101_6^23 + 124717100365502563523652657801838\ 3117251783783038795575592581477234671859783489810656109330116072558\ 3/15152025754048940385198550081070844031571935209926272010452957670\ 4614696748598091480559626441*c_0101_6^22 - 1532647155210711515452981016039085051179387320455460076245083276610\ 5342484367155405758884221503464819/15152025754048940385198550081070\ 8440315719352099262720104529576704614696748598091480559626441*c_010\ 1_6^21 - 1104459082396912518825227267219431951502385903145626737407\ 84162708002758151675243492451004814570307760/1515202575404894038519\ 8550081070844031571935209926272010452957670461469674859809148055962\ 6441*c_0101_6^20 + 954155226980379192721717768141011882708835563258\ 21459633889381416628617182826448708813456970110994147/1515202575404\ 8940385198550081070844031571935209926272010452957670461469674859809\ 1480559626441*c_0101_6^19 + 172632699080368809520755441183969950965\ 075961236373609527621346847801481358353020695778668884652578350/151\ 5202575404894038519855008107084403157193520992627201045295767046146\ 96748598091480559626441*c_0101_6^18 - 1293356708888776819458827580805295653296505020749618629724183155003\ 15596798104923451527607109695595580/1515202575404894038519855008107\ 08440315719352099262720104529576704614696748598091480559626441*c_01\ 01_6^17 + 934226444909300499687381862338938141192424701795172088657\ 82928438171187528040450372507661058653272152/1515202575404894038519\ 8550081070844031571935209926272010452957670461469674859809148055962\ 6441*c_0101_6^16 - 115924445756757239545066288029228455083239261339\ 92963998623654936788749433870460248611926999124520594/1515202575404\ 8940385198550081070844031571935209926272010452957670461469674859809\ 1480559626441*c_0101_6^15 - 205650391287853610007984153003627959761\ 225552582648474708698300879076777878740175225090264549477394083/151\ 5202575404894038519855008107084403157193520992627201045295767046146\ 96748598091480559626441*c_0101_6^14 + 1231823877355126250648870271332071707617801083982652927226080816935\ 0957337163470628878271246995396986/15152025754048940385198550081070\ 8440315719352099262720104529576704614696748598091480559626441*c_010\ 1_6^13 - 6236900369376835015601949363718361950616053265783461346090\ 6048397872102700742332771210773332544762816/15152025754048940385198\ 5500810708440315719352099262720104529576704614696748598091480559626\ 441*c_0101_6^12 - 3697191188188422837735161150293998436145898117155\ 247534803960266621303677481825199202166213444582679/151520257540489\ 4038519855008107084403157193520992627201045295767046146967485980914\ 80559626441*c_0101_6^11 + 76392199027130983666822078096660810787828\ 865583700309757028263408759078419085881683698887945256353224/151520\ 2575404894038519855008107084403157193520992627201045295767046146967\ 48598091480559626441*c_0101_6^10 + 2524250477278477703053665440737460302300226169833374044610520915695\ 2387347990460596323942803899770818/15152025754048940385198550081070\ 8440315719352099262720104529576704614696748598091480559626441*c_010\ 1_6^9 + 42840576881698105493068593428185761803822709911509733568128\ 388322952167426388621839805094876620627957/151520257540489403851985\ 5008107084403157193520992627201045295767046146967485980914805596264\ 41*c_0101_6^8 + 251900905217821271482185488524597875976530406492278\ 69964827190710363786356924609418903440539948850350/1515202575404894\ 0385198550081070844031571935209926272010452957670461469674859809148\ 0559626441*c_0101_6^7 + 2066042179519436254685867533337291187200935\ 581375658504801633800417051589440822872549293241490543372/151520257\ 5404894038519855008107084403157193520992627201045295767046146967485\ 98091480559626441*c_0101_6^6 + 207072887944780684351662882018461909\ 5611810399443189137410681484691701863912189440870115802046578806/15\ 1520257540489403851985500810708440315719352099262720104529576704614\ 696748598091480559626441*c_0101_6^5 - 6349712557389920622403470172862657433198277661731717576641417842133\ 17917328122440311888651559113668/1515202575404894038519855008107084\ 40315719352099262720104529576704614696748598091480559626441*c_0101_\ 6^4 - 7810697700462220864129807777123766431194562143393382885811067\ 15873241380238366629251438106279114084/1515202575404894038519855008\ 10708440315719352099262720104529576704614696748598091480559626441*c\ _0101_6^3 + 1050237561379890260362378330862027289086637479573216095\ 9222993947537571993925612337176125475461781/15152025754048940385198\ 5500810708440315719352099262720104529576704614696748598091480559626\ 441*c_0101_6^2 + 31654728859528878440862457174482677045541409421300\ 709495360167511686880231876501459929781850935221/151520257540489403\ 8519855008107084403157193520992627201045295767046146967485980914805\ 59626441*c_0101_6 - 25811906169624643607539061521578627648112554540\ 07619979353308664862988184597433109369502447286993/1515202575404894\ 0385198550081070844031571935209926272010452957670461469674859809148\ 0559626441, c_0011_0 - 1, c_0011_4 + 116904323018498102669005214647962884901779645827248248914226\ 3311603753430996678833004925504849/15152025754048940385198550081070\ 8440315719352099262720104529576704614696748598091480559626441*c_010\ 1_6^27 - 2123966521069334541162208532806734514170838250108454123804\ 416340962641642158430590336009275496/151520257540489403851985500810\ 708440315719352099262720104529576704614696748598091480559626441*c_0\ 101_6^26 - 24574213913071368014932010106262132895897198876520670085\ 356018576918006951735722205127097605694/151520257540489403851985500\ 810708440315719352099262720104529576704614696748598091480559626441*\ c_0101_6^25 + 73820732110779282734820009617241162244384777451333250\ 42628522954868500598994986623072553671380/1515202575404894038519855\ 0081070844031571935209926272010452957670461469674859809148055962644\ 1*c_0101_6^24 + 152512470727909579208812019252302228865736280598028\ 987937295824078054186340364147839245720441554/151520257540489403851\ 9855008107084403157193520992627201045295767046146967485980914805596\ 26441*c_0101_6^23 + 55255266572624280127860487533511429106499416396\ 2582525085365294649531920308772940797052985848136/15152025754048940\ 3851985500810708440315719352099262720104529576704614696748598091480\ 559626441*c_0101_6^22 - 6393100943811985923935462986191551695155719\ 18473824014109123997515100001518197429190079633663491/1515202575404\ 8940385198550081070844031571935209926272010452957670461469674859809\ 1480559626441*c_0101_6^21 - 486221839297833451473085649147057643610\ 9851822620610141939988685199851972635675259673738930583647/15152025\ 7540489403851985500810708440315719352099262720104529576704614696748\ 598091480559626441*c_0101_6^20 + 3902698333060989052145815309099827\ 498415957454970736718812109048890929832657462840908775547299884/151\ 5202575404894038519855008107084403157193520992627201045295767046146\ 96748598091480559626441*c_0101_6^19 + 7812281512128696747673372435112254045398091743356598453059934261268\ 882543151696283638568716720987/151520257540489403851985500810708440\ 315719352099262720104529576704614696748598091480559626441*c_0101_6^\ 18 - 53113871804335719036161923812738702179363233688042001868076582\ 01424359338581394752201034938896536/1515202575404894038519855008107\ 08440315719352099262720104529576704614696748598091480559626441*c_01\ 01_6^17 + 374432004543462750523837649041056947988270853244915569854\ 6837178387470722832858969303627496949734/15152025754048940385198550\ 0810708440315719352099262720104529576704614696748598091480559626441\ *c_0101_6^16 - 1644269243556291571779223899829519464026732671807524\ 51319624008214762497941809455361616804708162/1515202575404894038519\ 8550081070844031571935209926272010452957670461469674859809148055962\ 6441*c_0101_6^15 - 912294325597148359931577754273570484888633869754\ 3370410358750006366551047992454447982057249761259/15152025754048940\ 3851985500810708440315719352099262720104529576704614696748598091480\ 559626441*c_0101_6^14 + 1255067917906736153034992552473441657995874\ 21470299930695284019957894561970588239871828226949150/1515202575404\ 8940385198550081070844031571935209926272010452957670461469674859809\ 1480559626441*c_0101_6^13 - 265484412020154218669746254760092761388\ 7033965130706893029169074210734319846078552736211283136906/15152025\ 7540489403851985500810708440315719352099262720104529576704614696748\ 598091480559626441*c_0101_6^12 - 3903507895035239944186604633708345\ 35148299995385956151528620089482054892937357706719627031105173/1515\ 2025754048940385198550081070844031571935209926272010452957670461469\ 6748598091480559626441*c_0101_6^11 + 3384124388618710709193295166570514900192139445740715256646921900330\ 387631435641094809357378156810/151520257540489403851985500810708440\ 315719352099262720104529576704614696748598091480559626441*c_0101_6^\ 10 + 12324167047675141444536275299884407826558729466340314144322896\ 29512073009386449897342581223832274/1515202575404894038519855008107\ 08440315719352099262720104529576704614696748598091480559626441*c_01\ 01_6^9 + 1924236087571003355083004893269233679367385766510664468278\ 178934395959509207847742572873095505862/151520257540489403851985500\ 810708440315719352099262720104529576704614696748598091480559626441*\ c_0101_6^8 + 121502359703326180119823387534264827555035121605825634\ 1527063167292000473266653627831058153209942/15152025754048940385198\ 5500810708440315719352099262720104529576704614696748598091480559626\ 441*c_0101_6^7 + 13885718533607207550112182402553006573032786169134\ 9124706031580436930056040999976526086432912229/15152025754048940385\ 1985500810708440315719352099262720104529576704614696748598091480559\ 626441*c_0101_6^6 + 10784674537420273209444275793387570425605991775\ 9190139603669634554455858281532409053633351904832/15152025754048940\ 3851985500810708440315719352099262720104529576704614696748598091480\ 559626441*c_0101_6^5 - 19492703353317386460433921170351825198845864\ 496293848237429903701414787294011293181809670053572/151520257540489\ 4038519855008107084403157193520992627201045295767046146967485980914\ 80559626441*c_0101_6^4 - 344613756869717924776127363396570788091747\ 15862853351543035974622213431146355799609103209699345/1515202575404\ 8940385198550081070844031571935209926272010452957670461469674859809\ 1480559626441*c_0101_6^3 - 1062238832385811998159888656905286564586\ 54666165159601500466335389563605950093592808368053574/1515202575404\ 8940385198550081070844031571935209926272010452957670461469674859809\ 1480559626441*c_0101_6^2 + 1132757825490114972156909734247766723814\ 851740664911313718966404424336354471053601566109351946/151520257540\ 4894038519855008107084403157193520992627201045295767046146967485980\ 91480559626441*c_0101_6 - 11038869716714375388380041341806684678919\ 2557721199221755226011228881051604227328429555476819/15152025754048\ 9403851985500810708440315719352099262720104529576704614696748598091\ 480559626441, c_0101_0 + 169035380874879966647939598938104016886085859288660402681775\ 34490341285362054141988172714335536/1515202575404894038519855008107\ 08440315719352099262720104529576704614696748598091480559626441*c_01\ 01_6^27 - 317603604373696145036401226632496864076526676239457500985\ 00431474231014597789355516461402943587/1515202575404894038519855008\ 10708440315719352099262720104529576704614696748598091480559626441*c\ _0101_6^26 - 353164199640397963980515501665536400010938270630972975\ 415018838664207323292266304630306238641977/151520257540489403851985\ 5008107084403157193520992627201045295767046146967485980914805596264\ 41*c_0101_6^25 + 12808693982652200919737288306560092149511493178882\ 5845165236025030538621510328151445571108693442/15152025754048940385\ 1985500810708440315719352099262720104529576704614696748598091480559\ 626441*c_0101_6^24 + 2193807966267408118054669846976886280158741515\ 619890652799851545761719947999831792386762298575884/151520257540489\ 4038519855008107084403157193520992627201045295767046146967485980914\ 80559626441*c_0101_6^23 + 78590865774121106280248656673938424540160\ 45791734230030245245607328318924557115755241231100656825/1515202575\ 4048940385198550081070844031571935209926272010452957670461469674859\ 8091480559626441*c_0101_6^22 - 971062250182761169637167945017046136\ 1000786089983904415785879844616634209923507036053467850933279/15152\ 0257540489403851985500810708440315719352099262720104529576704614696\ 748598091480559626441*c_0101_6^21 - 6963917524962216522159501767986130720324932462795688669434874147477\ 2667417633964444029207949333876/15152025754048940385198550081070844\ 0315719352099262720104529576704614696748598091480559626441*c_0101_6\ ^20 + 6055320511361268866122681129735726727456638048824699107654974\ 6566621211954102910272233696800319061/15152025754048940385198550081\ 0708440315719352099262720104529576704614696748598091480559626441*c_\ 0101_6^19 + 1085785192924463502312837690201458931792496931735483480\ 75817425250311193198077782630828197252581681/1515202575404894038519\ 8550081070844031571935209926272010452957670461469674859809148055962\ 6441*c_0101_6^18 - 820446329626340352642231306587993681378034812915\ 69625084329319887078248325343666972470505477210410/1515202575404894\ 0385198550081070844031571935209926272010452957670461469674859809148\ 0559626441*c_0101_6^17 + 593430118741401939985337499990306847179711\ 78203151072681003342503206246809872540166763248742860338/1515202575\ 4048940385198550081070844031571935209926272010452957670461469674859\ 8091480559626441*c_0101_6^16 - 774658780686520162999199198007031146\ 6386396788893438749741664708307554124723853459198300921054467/15152\ 0257540489403851985500810708440315719352099262720104529576704614696\ 748598091480559626441*c_0101_6^15 - 1295479344565149001016414699666361129179441200196612420381513543715\ 35740554596781469859488248203546/1515202575404894038519855008107084\ 40315719352099262720104529576704614696748598091480559626441*c_0101_\ 6^14 + 826481915515424126919551597657695039972449717701457378574124\ 7982185133295530094140000069937578555/15152025754048940385198550081\ 0708440315719352099262720104529576704614696748598091480559626441*c_\ 0101_6^13 - 3937468945590156301562635670913846075190462182444413538\ 7518167404883772825693528032549544439299731/15152025754048940385198\ 5500810708440315719352099262720104529576704614696748598091480559626\ 441*c_0101_6^12 - 2049007809689653482638677585503589490001203874362\ 862914751036954121309486601517886386554111154011/151520257540489403\ 8519855008107084403157193520992627201045295767046146967485980914805\ 59626441*c_0101_6^11 + 48125339233937337523542779216065155325295893\ 210549885880328982566757359483396279505586605483776579/151520257540\ 4894038519855008107084403157193520992627201045295767046146967485980\ 91480559626441*c_0101_6^10 + 15781644024041080875230434369909810290\ 131019010326476622215397947525944522861106436874749509475454/151520\ 2575404894038519855008107084403157193520992627201045295767046146967\ 48598091480559626441*c_0101_6^9 + 269248497148892776487557620327049\ 45216621199300924970480719731990376987295803225098327987594864987/1\ 5152025754048940385198550081070844031571935209926272010452957670461\ 4696748598091480559626441*c_0101_6^8 + 1575466969972643489477515853000651245097747199349636665270787624428\ 8277693371918850996754611008731/15152025754048940385198550081070844\ 0315719352099262720104529576704614696748598091480559626441*c_0101_6\ ^7 + 12343795543604136254231771291650152164165196389146526912172843\ 59149973960896864787039097710436529/1515202575404894038519855008107\ 08440315719352099262720104529576704614696748598091480559626441*c_01\ 01_6^6 + 1280219781584491930223653062139642858591282400544898203854\ 977991657702378147624922610163852448155/151520257540489403851985500\ 810708440315719352099262720104529576704614696748598091480559626441*\ c_0101_6^5 - 406363245264135239011065129064489993019312082305570771\ 255002543998892122052531218215004721989758/151520257540489403851985\ 5008107084403157193520992627201045295767046146967485980914805596264\ 41*c_0101_6^4 - 494023012096783469957432146835622946246990378812740\ 386133737270637091226926578698012209803339628/151520257540489403851\ 9855008107084403157193520992627201045295767046146967485980914805596\ 26441*c_0101_6^3 + 830055800339035804801784932856944623199292654170\ 8174996582027949956958531756223504588583777841/15152025754048940385\ 1985500810708440315719352099262720104529576704614696748598091480559\ 626441*c_0101_6^2 + 20261735846754174764321360810541596598096630063\ 781069615719940849151856432284169732208090266696/151520257540489403\ 8519855008107084403157193520992627201045295767046146967485980914805\ 59626441*c_0101_6 - 17252711220974003112778289146841584782331784650\ 68272635748497958511243277075978040552250184576/1515202575404894038\ 5198550081070844031571935209926272010452957670461469674859809148055\ 9626441, c_0101_1 - 485458722596306227186924924015798236641481616179726210586488\ 1651313283995180267148375644040879/15152025754048940385198550081070\ 8440315719352099262720104529576704614696748598091480559626441*c_010\ 1_6^27 + 9241750011445038066648799049236001998803884048949318755994\ 991248036750731781288946136368333092/151520257540489403851985500810\ 708440315719352099262720104529576704614696748598091480559626441*c_0\ 101_6^26 + 10125734288532586731560381859232080149956063882653888948\ 2362043762189205842924590983032670071031/15152025754048940385198550\ 0810708440315719352099262720104529576704614696748598091480559626441\ *c_0101_6^25 - 3944712068880503697456986291696900215839988438191677\ 6894671673686566399593639261258125787987826/15152025754048940385198\ 5500810708440315719352099262720104529576704614696748598091480559626\ 441*c_0101_6^24 - 6302288766679435819758129163154553382651750087611\ 79668493623338979035804669114335255085221794123/1515202575404894038\ 5198550081070844031571935209926272010452957670461469674859809148055\ 9626441*c_0101_6^23 - 224026915911937304290129965026774025987543427\ 3488058602572212244511527722393279965658659923718642/15152025754048\ 9403851985500810708440315719352099262720104529576704614696748598091\ 480559626441*c_0101_6^22 + 2851428881131006132840404662680706833709\ 634042608242126268959442717172880992820437870591113246697/151520257\ 5404894038519855008107084403157193520992627201045295767046146967485\ 98091480559626441*c_0101_6^21 + 19952719469969818819463538738481563\ 149021232518932021120063566215168797385640084974712072616890945/151\ 5202575404894038519855008107084403157193520992627201045295767046146\ 96748598091480559626441*c_0101_6^20 - 1793450892181637995473948807616367175021262303372973617242734110627\ 6684949831018460955912154846908/15152025754048940385198550081070844\ 0315719352099262720104529576704614696748598091480559626441*c_0101_6\ ^19 - 3095478940546300754965414149730343399825446599296236844777415\ 6665529041801865552109700451517416929/15152025754048940385198550081\ 0708440315719352099262720104529576704614696748598091480559626441*c_\ 0101_6^18 + 2468075123930247825827239900786006212015020443120739842\ 4271347030171795912405863014151152983060409/15152025754048940385198\ 5500810708440315719352099262720104529576704614696748598091480559626\ 441*c_0101_6^17 - 1748920876704808574064188852768304546544163437425\ 8669193857500733733473315683936782457831525571019/15152025754048940\ 3851985500810708440315719352099262720104529576704614696748598091480\ 559626441*c_0101_6^16 + 2267508314038013445829869515583593626909439\ 327328488215179296141814061374340571925224721989672642/151520257540\ 4894038519855008107084403157193520992627201045295767046146967485980\ 91480559626441*c_0101_6^15 + 37601806411685530297957401147448131361\ 391626633904013798870467369888600515520633414223289520079835/151520\ 2575404894038519855008107084403157193520992627201045295767046146967\ 48598091480559626441*c_0101_6^14 - 3622744706962117085090687510538099368073520469835722238590138430100\ 718297075394932722871596203905/151520257540489403851985500810708440\ 315719352099262720104529576704614696748598091480559626441*c_0101_6^\ 13 + 11140846152647657444662512996176388768592147048091046403072540\ 757962727769091890070486165259064293/151520257540489403851985500810\ 708440315719352099262720104529576704614696748598091480559626441*c_0\ 101_6^12 + 49555523683851514717558499683583600115475503183062662568\ 5751931685353194743038677984884537837079/15152025754048940385198550\ 0810708440315719352099262720104529576704614696748598091480559626441\ *c_0101_6^11 - 1408540521722962156672127648411505359501867219069663\ 2363708984539484221803757007737465118687091878/15152025754048940385\ 1985500810708440315719352099262720104529576704614696748598091480559\ 626441*c_0101_6^10 - 4026156862263225481189810663253265594876472340\ 222238725571519924738721294160331324656462357441296/151520257540489\ 4038519855008107084403157193520992627201045295767046146967485980914\ 80559626441*c_0101_6^9 - 756034719115201012084363840923993357947777\ 7396266346079658710588391678511622569463872419464917155/15152025754\ 0489403851985500810708440315719352099262720104529576704614696748598\ 091480559626441*c_0101_6^8 - 43206767359046439278610381712584637028\ 70692749410829617880661786551907961011385438888834938000921/1515202\ 5754048940385198550081070844031571935209926272010452957670461469674\ 8598091480559626441*c_0101_6^7 - 1629068277688855551784937646760564\ 11767371673907929493372061864852356626805148459963723717684783/1515\ 2025754048940385198550081070844031571935209926272010452957670461469\ 6748598091480559626441*c_0101_6^6 - 3623496355374221185360668844817897373770780902012207435042477495048\ 44274471895132809431445409326/1515202575404894038519855008107084403\ 15719352099262720104529576704614696748598091480559626441*c_0101_6^5 + 12821950051540228403150876405680130916070956118928319779203814939\ 8948273456533953712883328065088/15152025754048940385198550081070844\ 0315719352099262720104529576704614696748598091480559626441*c_0101_6\ ^4 + 13899943653070792820485399249060628614298464883865460080005330\ 0220852930577471342399118536649669/15152025754048940385198550081070\ 8440315719352099262720104529576704614696748598091480559626441*c_010\ 1_6^3 - 87271017821266753811254985389612434427275596695628736669325\ 85678452447178381397317817625731013/1515202575404894038519855008107\ 08440315719352099262720104529576704614696748598091480559626441*c_01\ 01_6^2 - 6180842667102691781736270506558667206222226868757779463985\ 276275119866438198335349255940771016/151520257540489403851985500810\ 708440315719352099262720104529576704614696748598091480559626441*c_0\ 101_6 + 62850167315493768244201295049577151444315569891032429287650\ 0898146656756680149418787843848538/15152025754048940385198550081070\ 8440315719352099262720104529576704614696748598091480559626441, c_0101_2 - 295683674991076293136111000132596689715439678005555346986640\ 47935284125525221492001950525058576/1515202575404894038519855008107\ 08440315719352099262720104529576704614696748598091480559626441*c_01\ 01_6^27 + 559279354415626085613798297348993795542050751514370965107\ 73982599273356035706464066886707271070/1515202575404894038519855008\ 10708440315719352099262720104529576704614696748598091480559626441*c\ _0101_6^26 + 617175391844706741736753626884706905420473701745200994\ 665087089902189594230710057724458380091784/151520257540489403851985\ 5008107084403157193520992627201045295767046146967485980914805596264\ 41*c_0101_6^25 - 23204216778350809006959064655648401083884154420454\ 1056386249129767189937330011969265192473283876/15152025754048940385\ 1985500810708440315719352099262720104529576704614696748598091480559\ 626441*c_0101_6^24 - 3836767104460857297465638509464748943062532967\ 818774759041853298579749633850759115619410160063778/151520257540489\ 4038519855008107084403157193520992627201045295767046146967485980914\ 80559626441*c_0101_6^23 - 13697839429205388083223736301538436702603\ 405881756130132165678039425327605954561602327805553948210/151520257\ 5404894038519855008107084403157193520992627201045295767046146967485\ 98091480559626441*c_0101_6^22 + 17171636359201789170754489465035352\ 822758794872499423450371198316103024774629474663062152429689211/151\ 5202575404894038519855008107084403157193520992627201045295767046146\ 96748598091480559626441*c_0101_6^21 + 1216469746857189275872093676204220185414121513411766868327754790201\ 85406675404193360167185019847481/1515202575404894038519855008107084\ 40315719352099262720104529576704614696748598091480559626441*c_0101_\ 6^20 - 107524088065886997360974174891962426311585633705340272690379\ 402422571675207279363866710680641599795/151520257540489403851985500\ 810708440315719352099262720104529576704614696748598091480559626441*\ c_0101_6^19 - 18899875695741703456357106130267802312422805831404577\ 8828603933228143666224779937861166540227195921/15152025754048940385\ 1985500810708440315719352099262720104529576704614696748598091480559\ 626441*c_0101_6^18 + 1463851458104406480380038154689401060803256031\ 44006779476928391597880664924039761423540278200580224/1515202575404\ 8940385198550081070844031571935209926272010452957670461469674859809\ 1480559626441*c_0101_6^17 - 105147356298723860866997641234881141205\ 108227408915459309272988456661742298567624507330223080451138/151520\ 2575404894038519855008107084403157193520992627201045295767046146967\ 48598091480559626441*c_0101_6^16 + 1430286081736856538040095838518426982209369162404878119998357459780\ 9874418884254735761397508132337/15152025754048940385198550081070844\ 0315719352099262720104529576704614696748598091480559626441*c_0101_6\ ^15 + 2270060120092495551989483471574390749770156470278361662472121\ 41037929607119710960725072974395064836/1515202575404894038519855008\ 10708440315719352099262720104529576704614696748598091480559626441*c\ _0101_6^14 - 176304407057903646633652023104843475774286503834715234\ 17310635679509827787727396746445016559106994/1515202575404894038519\ 8550081070844031571935209926272010452957670461469674859809148055962\ 6441*c_0101_6^13 + 685044812225714136115518126119103422184722644050\ 21761667688268640219909240004359017164560268028155/1515202575404894\ 0385198550081070844031571935209926272010452957670461469674859809148\ 0559626441*c_0101_6^12 + 284204129522394205970777593008439041279476\ 4229680578269628078354710566472858818962699111347496216/15152025754\ 0489403851985500810708440315719352099262720104529576704614696748598\ 091480559626441*c_0101_6^11 - 8456840135526390585727395248564281475\ 3268992716707061669973891101302111422944906886422268133225615/15152\ 0257540489403851985500810708440315719352099262720104529576704614696\ 748598091480559626441*c_0101_6^10 - 2639806887136576069610207774934214467461264653185779488745586863339\ 4850218965192881561088366004637/15152025754048940385198550081070844\ 0315719352099262720104529576704614696748598091480559626441*c_0101_6\ ^9 - 46582467857343231100832065099097752048820062839779569953568504\ 514457045143113023900797212002496495/151520257540489403851985500810\ 708440315719352099262720104529576704614696748598091480559626441*c_0\ 101_6^8 - 268772051239705732046276173963381031442820544801904825207\ 81562438082472389563270899132945865344649/1515202575404894038519855\ 0081070844031571935209926272010452957670461469674859809148055962644\ 1*c_0101_6^7 - 1660134506993683532601869258030486822968064267633519\ 126883732915734083617571460144093945871233745/151520257540489403851\ 9855008107084403157193520992627201045295767046146967485980914805596\ 26441*c_0101_6^6 - 216072594165349455236922260000590043161703588884\ 5115346606973555986891242042703121759492765849849/15152025754048940\ 3851985500810708440315719352099262720104529576704614696748598091480\ 559626441*c_0101_6^5 + 75514490567567746239773481721603761380959479\ 4297459391582297780030606510156419458184057057038072/15152025754048\ 9403851985500810708440315719352099262720104529576704614696748598091\ 480559626441*c_0101_6^4 + 85771573844727334204867680589087959690088\ 1376926341085628106752317809062929118374910042464679921/15152025754\ 0489403851985500810708440315719352099262720104529576704614696748598\ 091480559626441*c_0101_6^3 - 27296184392939841551785774801195477422\ 204618883679793697528585586992713312660582752831193458911/151520257\ 5404894038519855008107084403157193520992627201045295767046146967485\ 98091480559626441*c_0101_6^2 - 369380511825343419002515205218693997\ 72974348471603348336037118148427594718443805438647126922144/1515202\ 5754048940385198550081070844031571935209926272010452957670461469674\ 8598091480559626441*c_0101_6 + 331772235629429601095434672060955594\ 0139724323034587604240108349171151041336737843281450572323/15152025\ 7540489403851985500810708440315719352099262720104529576704614696748\ 598091480559626441, c_0101_5 + 418683117538361625586836859821272718852932946713664493419800\ 2877525061096133001578355069659929/15152025754048940385198550081070\ 8440315719352099262720104529576704614696748598091480559626441*c_010\ 1_6^27 - 7860339179691365797817075895321807012769076264328158600613\ 558802082798990259297570322379577243/151520257540489403851985500810\ 708440315719352099262720104529576704614696748598091480559626441*c_0\ 101_6^26 - 87462490895626093454448284384362299127221772607495941906\ 710725326328704835771550289404567303951/151520257540489403851985500\ 810708440315719352099262720104529576704614696748598091480559626441*\ c_0101_6^25 + 31533194053632622484824106926819970290068602372364571\ 844826347703682632437830833888197879473275/151520257540489403851985\ 5008107084403157193520992627201045295767046146967485980914805596264\ 41*c_0101_6^24 + 54295218367488724860365107907921589060076387454278\ 3503523109766764450083415803086747392846887242/15152025754048940385\ 1985500810708440315719352099262720104529576704614696748598091480559\ 626441*c_0101_6^23 + 1947880656412704684264099112094305646386314079\ 148191766019974865208478455851337050976030966114425/151520257540489\ 4038519855008107084403157193520992627201045295767046146967485980914\ 80559626441*c_0101_6^22 - 23993451579023932402949001267546373388773\ 14586831642347729208831328352899512075278707581356037158/1515202575\ 4048940385198550081070844031571935209926272010452957670461469674859\ 8091480559626441*c_0101_6^21 - 172426538897421611316517318292863456\ 42672372589885755375130852911577206835935685841316777648269664/1515\ 2025754048940385198550081070844031571935209926272010452957670461469\ 6748598091480559626441*c_0101_6^20 + 1495294030526766735527099714300595158505198713633071591753602392350\ 9543204521393118954336515232671/15152025754048940385198550081070844\ 0315719352099262720104529576704614696748598091480559626441*c_0101_6\ ^19 + 2682649686965413782261816126787887833937496297140510869524423\ 5644444042716542122541147441627266597/15152025754048940385198550081\ 0708440315719352099262720104529576704614696748598091480559626441*c_\ 0101_6^18 - 2014583369058022530007463724114847037617327873384021705\ 1657083510036332429912793815734020208621501/15152025754048940385198\ 5500810708440315719352099262720104529576704614696748598091480559626\ 441*c_0101_6^17 + 1474498181476096454282528036675757113477436858151\ 6347430452088708864436874046123007062238851564926/15152025754048940\ 3851985500810708440315719352099262720104529576704614696748598091480\ 559626441*c_0101_6^16 - 2044494040798492835108650856034776504325192\ 223279667678477565918459983558372641294097367904118900/151520257540\ 4894038519855008107084403157193520992627201045295767046146967485980\ 91480559626441*c_0101_6^15 - 31917694382036908411739267258394897933\ 896172335946390382038377244710685877477617511274227243900138/151520\ 2575404894038519855008107084403157193520992627201045295767046146967\ 48598091480559626441*c_0101_6^14 + 1879422893665642212241786967558432254105306548132030071207291954716\ 848998259557044272218644928696/151520257540489403851985500810708440\ 315719352099262720104529576704614696748598091480559626441*c_0101_6^\ 13 - 98588286834516564054655460672967838183585073114372643237724392\ 97896805614730623349951800987393997/1515202575404894038519855008107\ 08440315719352099262720104529576704614696748598091480559626441*c_01\ 01_6^12 - 463409589253757677936566704599916950392302412637619258734\ 356406239931881603709117551414763284229/151520257540489403851985500\ 810708440315719352099262720104529576704614696748598091480559626441*\ c_0101_6^11 + 11821909905319931056771348896143955413947608015752977\ 322241179845534066884742125101728122555695011/151520257540489403851\ 9855008107084403157193520992627201045295767046146967485980914805596\ 26441*c_0101_6^10 + 39842252320846945388261458245300120715948391420\ 28123286562286417914531157996828330188335257106660/1515202575404894\ 0385198550081070844031571935209926272010452957670461469674859809148\ 0559626441*c_0101_6^9 + 6704926000169172908501743274847599644760668\ 882386373079415621483014722407036709675920405459114883/151520257540\ 4894038519855008107084403157193520992627201045295767046146967485980\ 91480559626441*c_0101_6^8 + 392500147719070265949921542606296811614\ 3898646602361320375918721928189042045697012333007885226845/15152025\ 7540489403851985500810708440315719352099262720104529576704614696748\ 598091480559626441*c_0101_6^7 + 34686851722826014727681871976424539\ 7875917692141441409561020637479368593728363953418771381752026/15152\ 0257540489403851985500810708440315719352099262720104529576704614696\ 748598091480559626441*c_0101_6^6 + 3216925087722578197565968601165858949730693863186696093823894096495\ 42871046803903619502566487192/1515202575404894038519855008107084403\ 15719352099262720104529576704614696748598091480559626441*c_0101_6^5 - 97861197330449993807029826907058468688581281895660190581525168629\ 266263878571441726442281888266/151520257540489403851985500810708440\ 315719352099262720104529576704614696748598091480559626441*c_0101_6^\ 4 - 122103660774730000214514822965061299866034941513689541847433026\ 900942042828398144438237008250684/151520257540489403851985500810708\ 440315719352099262720104529576704614696748598091480559626441*c_0101\ _6^3 + 112343349669924030114298175319880428894465452369497325994169\ 4205421110333362048550198439073325/15152025754048940385198550081070\ 8440315719352099262720104529576704614696748598091480559626441*c_010\ 1_6^2 + 46300899252778079864919190735591668932830152298855168482956\ 32465263190712874048764357974280143/1515202575404894038519855008107\ 08440315719352099262720104529576704614696748598091480559626441*c_01\ 01_6 - 403516998669218954478712461173847175884696233344415459222833\ 786384531633343665101610039828909/151520257540489403851985500810708\ 440315719352099262720104529576704614696748598091480559626441, c_0101_6^28 - 2*c_0101_6^27 - 62/3*c_0101_6^26 + 91/9*c_0101_6^25 + 1160/9*c_0101_6^24 + 12128/27*c_0101_6^23 - 51103/81*c_0101_6^22 - 328103/81*c_0101_6^21 + 110225/27*c_0101_6^20 + 485483/81*c_0101_6^19 - 456934/81*c_0101_6^18 + 110674/27*c_0101_6^17 - 23600/27*c_0101_6^16 - 22865/3*c_0101_6^15 + 38588/27*c_0101_6^14 - 193457/81*c_0101_6^13 + 12611/81*c_0101_6^12 + 232352/81*c_0101_6^11 + 5239/9*c_0101_6^10 + 1481*c_0101_6^9 + 59846/81*c_0101_6^8 - 3331/81*c_0101_6^7 + 5500/81*c_0101_6^6 - 2704/81*c_0101_6^5 - 2117/81*c_0101_6^4 + 110/27*c_0101_6^3 + 91/81*c_0101_6^2 - 20/81*c_0101_6 + 1/81 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB