Magma V2.19-8 Tue Aug 20 2013 16:16:12 on localhost [Seed = 21011905] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0467 geometric_solution 4.50028054 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.667719468515 0.052701073808 2 0 2 0 0132 2310 1023 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 -1 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.843917309461 0.064770924112 1 3 1 3 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 1 -1 -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.714460646213 0.206149259949 4 2 5 2 0132 0132 0132 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 -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.799413846398 1.312100756183 3 5 6 5 0132 3201 0132 2310 0 0 0 0 0 -1 0 1 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 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.189211981733 1.249302079610 4 6 4 3 3201 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.189211981733 1.249302079610 6 5 6 4 2031 0132 1302 0132 0 0 0 0 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 -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.388795685633 0.632122511202 ==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_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 1028864964818437070148243051020366087008741207942253737775209350987\ 5611643713441729697/41961111121402182410827204357133984387573419004\ 36905828555470196023596779969259122795*c_0101_4^33 - 5320290369818195974482640697733848984649272136249283139608544597174\ 639657872239578562/381464646558201658280247312337581676250667445494\ 264166232315472365781525451750829345*c_0101_4^32 - 9860021792238629138724643426356251325063094310158360829022493563476\ 8816538640713026104/32277777785693986469867080274718449528902630003\ 3608140658113092001815136920712240215*c_0101_4^31 + 5723299825577329686227102445888703591020178840311252347331696307626\ 64993018135321684816/4196111112140218241082720435713398438757341900\ 436905828555470196023596779969259122795*c_0101_4^30 + 3444491742903669523412391148888705372018609475186918891964780093500\ 6855159006731779215099/41961111121402182410827204357133984387573419\ 00436905828555470196023596779969259122795*c_0101_4^29 + 3242169768861843266663507418218894691933436809358594145845098147422\ 5139226016208634001039/41961111121402182410827204357133984387573419\ 00436905828555470196023596779969259122795*c_0101_4^28 - 5036760208927856467408546650198169182710609403041133017127565834535\ 88324958781975130203858/4196111112140218241082720435713398438757341\ 900436905828555470196023596779969259122795*c_0101_4^27 - 9074047409925716319751829509600327594326349753575422707052131263527\ 9800372774315688820461/83922222242804364821654408714267968775146838\ 0087381165711094039204719355993851824559*c_0101_4^26 + 8899578957982901156210066538932643270913347901024165334291674124078\ 33941832439403333073365/8392222224280436482165440871426796877514683\ 80087381165711094039204719355993851824559*c_0101_4^25 + 2053212327192635193618976051021692090473531478624874959297244256931\ 747533476058242193300623/419611111214021824108272043571339843875734\ 1900436905828555470196023596779969259122795*c_0101_4^24 - 2453685711989026180989972280138099321331467290093332775546884785031\ 1605195641205844322301928/41961111121402182410827204357133984387573\ 41900436905828555470196023596779969259122795*c_0101_4^23 - 1212739677561506343945949579569364565198424650540940909143159604582\ 062952729570312476224641/419611111214021824108272043571339843875734\ 1900436905828555470196023596779969259122795*c_0101_4^22 + 8664931667137683563169817310494628153564325210035250733464228384306\ 5427543341121644797785736/41961111121402182410827204357133984387573\ 41900436905828555470196023596779969259122795*c_0101_4^21 - 2202028642207317294210924815553523917216906674705723880653393730760\ 5294563912350122832341084/41961111121402182410827204357133984387573\ 41900436905828555470196023596779969259122795*c_0101_4^20 - 2008320018543134868223707363019352968544122737789264162157649796071\ 94991816813518775801943469/4196111112140218241082720435713398438757\ 341900436905828555470196023596779969259122795*c_0101_4^19 + 9622157143538619242746369988909896180218246323316479717520102812174\ 9694537403338484971951871/41961111121402182410827204357133984387573\ 41900436905828555470196023596779969259122795*c_0101_4^18 + 6204970259888965236831937533125822917957920689927458743879559022031\ 9931125341178377850372449/83922222242804364821654408714267968775146\ 8380087381165711094039204719355993851824559*c_0101_4^17 - 1916017553822422260319619268601064451978559710486007337955148595473\ 1746046498591924222189224/38146464655820165828024731233758167625066\ 7445494264166232315472365781525451750829345*c_0101_4^16 - 6402332247512072396658191984397034582088918895783515193068907051042\ 0856610332565421697024512/83922222242804364821654408714267968775146\ 8380087381165711094039204719355993851824559*c_0101_4^15 + 2958789665256987242931325436674287796008610359597408790054602700418\ 70139755138348099996803043/4196111112140218241082720435713398438757\ 341900436905828555470196023596779969259122795*c_0101_4^14 + 1982109964899100349973073098568404579920359661160724140512865395332\ 2623383384605368742222244/38146464655820165828024731233758167625066\ 7445494264166232315472365781525451750829345*c_0101_4^13 - 2896617892996834919970344027073585980507497160995446625365096707960\ 32641422155314981240148572/4196111112140218241082720435713398438757\ 341900436905828555470196023596779969259122795*c_0101_4^12 - 8833817558681372520583450510492699457685390967111077933449525930034\ 397801482468286243717112/381464646558201658280247312337581676250667\ 445494264166232315472365781525451750829345*c_0101_4^11 + 2037594661567513165811144842221396277892573015213728350543996408129\ 90313725449178892284267472/4196111112140218241082720435713398438757\ 341900436905828555470196023596779969259122795*c_0101_4^10 + 3167694517584902276891809822697931050492484519963946017061170663011\ 8146851939601941297635824/41961111121402182410827204357133984387573\ 41900436905828555470196023596779969259122795*c_0101_4^9 - 7775849496636940990972708397994300341452509748481686843184852098879\ 774539243758419311078146/322777777856939864698670802747184495289026\ 300033608140658113092001815136920712240215*c_0101_4^8 - 1191159462638091022251781505482512018114887283234388150943617911951\ 1636974169853371962873806/41961111121402182410827204357133984387573\ 41900436905828555470196023596779969259122795*c_0101_4^7 + 6508284021700435491126118846975705156484955492069781087833242255019\ 736306665598302065758460/839222222428043648216544087142679687751468\ 380087381165711094039204719355993851824559*c_0101_4^6 + 5102958743026867364172647764088712573893187032999897500950757667482\ 538130373295009527171787/419611111214021824108272043571339843875734\ 1900436905828555470196023596779969259122795*c_0101_4^5 - 5649318478673275693233628813527145347652975897061385082390654792534\ 874234191422590221814542/419611111214021824108272043571339843875734\ 1900436905828555470196023596779969259122795*c_0101_4^4 - 2448484033955744109717557255629781310059042260972813251228739889807\ 60234390185704603544461/8392222224280436482165440871426796877514683\ 80087381165711094039204719355993851824559*c_0101_4^3 + 3571544425331818498304217114744436945803381580635182334930982242017\ 62708725444420512010093/4196111112140218241082720435713398438757341\ 900436905828555470196023596779969259122795*c_0101_4^2 + 1085430665318773620929907779872312475899961829870476477243437065819\ 13474368192716765012219/4196111112140218241082720435713398438757341\ 900436905828555470196023596779969259122795*c_0101_4 + 5639178000114087108865278640833835971808685200084227867789814477302\ 545527411414143680803/419611111214021824108272043571339843875734190\ 0436905828555470196023596779969259122795, c_0011_0 - 1, c_0011_1 + 258560114580209780596212868521502408162320906162332465523713\ 95982562758119052418548/7629292931164033165604946246751633525013348\ 9098852833246463094473156305090350165869*c_0101_4^33 + 1776648681095907314065465701966826413423076343776467567552204970564\ 34881856960056175/7629292931164033165604946246751633525013348909885\ 2833246463094473156305090350165869*c_0101_4^32 - 4279494015546818744214608024475655168505599354793712524320052178988\ 528175673378864/451437451548167642935203919926132161243393426620430\ 965955402925876664527161835301*c_0101_4^31 - 5838598875217816147317947688044216949591789268358121242328066533559\ 339275119549753153/762929293116403316560494624675163352501334890988\ 52833246463094473156305090350165869*c_0101_4^30 + 5576772060642643020114208785496135972144550485482045152063839913399\ 371885610735157751/762929293116403316560494624675163352501334890988\ 52833246463094473156305090350165869*c_0101_4^29 + 9186738860959620900035118939471230754619069421537604685902693379818\ 9754117688333091615/76292929311640331656049462467516335250133489098\ 852833246463094473156305090350165869*c_0101_4^28 - 4816078482915577137104764286373373525876608134877827526789696640593\ 9742952349694951707/76292929311640331656049462467516335250133489098\ 852833246463094473156305090350165869*c_0101_4^27 - 7980873217132361220111804110840224756478126012053404719006001182228\ 52130343881459615160/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^26 + 5696479772067369820636804473861029216081523040067007871476531125159\ 76545962687743177657/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^25 + 4054600739847284396382933035792402283320117139197453730775479958692\ 887638759856104612980/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^24 - 4078987489733610919742378996585106518502998820102370991240416933349\ 386841145925584988979/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^23 - 1236370382174525348588984940163800775404020583361929785558361972053\ 8526111737077932427189/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^22 + 1631275310872768467146273072312441276436608593297262061390116632824\ 8096796685639477732933/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^21 + 2258312350019522344312369004904252471421844870567416510978033575520\ 8846749832230071401557/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^20 - 3924066214378222391707471472089660533134431741625240870131263875691\ 2189734540618376865311/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^19 - 2271375900086627661545992572866504708824752462423086333708248988025\ 1838525685230693851552/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^18 + 6019567045151221490755083464891526405291904196324151870185027269335\ 1755701587811775308873/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^17 + 6351582191618134467949601577470812384633821669592809062274673039072\ 018681384523816724647/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^16 - 6128788555987763387231860944242983169571450039866094431308561147634\ 1366315453835548992822/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^15 + 1340898828564104922612862387471368878882384516106334244400266167663\ 0500577577100832785024/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^14 + 4284106573151567566269786910534350645929965296153127488294529488984\ 2632365319896642544379/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^13 - 1965924639192024532513724060519830932075579048396626152431624574507\ 5193403908844665687941/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^12 - 2131647899803044867699762642089801751906570029570665571392450012780\ 2631979243703899383915/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^11 + 1296194550209413622048802783759218806791306249421132512295172810198\ 1104131572869520553135/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^10 + 7716429306254315104684178911787804981266840719394817497541502494361\ 292818208396336776852/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^9 - 3643157786699869499730582780874660819041312499916817442704625369254\ 18873604219023345341/5868686870126179358157650959039718096164114546\ 065602557420238036396638853103858913*c_0101_4^8 - 1910413458522806045471794686489439905666596268956930625723794731243\ 206913688993067686678/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^7 + 8971458673698700131187327023040516351659870869740908985620808887269\ 31503017256649014436/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^6 + 2561998068244040484806989870731331634620307446883995617390299844702\ 81491107576908517064/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^5 - 7551587441290909679958345525333332980243167475933451828143440154340\ 6440518621458332374/76292929311640331656049462467516335250133489098\ 852833246463094473156305090350165869*c_0101_4^4 - 1522311591784086045701685837112436841975412813501393354346227088975\ 4144737215275524452/76292929311640331656049462467516335250133489098\ 852833246463094473156305090350165869*c_0101_4^3 + 2311611448324377371798148236943853854754761607416891300282405395761\ 638511825068343623/762929293116403316560494624675163352501334890988\ 52833246463094473156305090350165869*c_0101_4^2 + 5729576031617854607877040807423548917524980509854040127577885580793\ 22904163384863977/7629292931164033165604946246751633525013348909885\ 2833246463094473156305090350165869*c_0101_4 + 1556791097431981905999391528255757813651953760800163626560723844037\ 9343962216149376/76292929311640331656049462467516335250133489098852\ 833246463094473156305090350165869, c_0011_5 + 310183068907597837449609525904280325173194699668592151486654\ 60335037924708885836472/7629292931164033165604946246751633525013348\ 9098852833246463094473156305090350165869*c_0101_4^33 + 2224209093817244326555999574686785439911732488774411473394117647014\ 71270659698039676/7629292931164033165604946246751633525013348909885\ 2833246463094473156305090350165869*c_0101_4^32 - 6195112263304421031917733878089285161136275012132504192031872045547\ 5152934917467674/58686868701261793581576509590397180961641145460656\ 02557420238036396638853103858913*c_0101_4^31 - 7275555691617935154854878139246929837507091235201463238725852532553\ 204470312886098494/762929293116403316560494624675163352501334890988\ 52833246463094473156305090350165869*c_0101_4^30 + 4628232768854835827687649153958725374037271335056636122475219075727\ 586074859720711509/762929293116403316560494624675163352501334890988\ 52833246463094473156305090350165869*c_0101_4^29 + 1125799035250467154079210739777017264634150903092479852123371207805\ 28032486118990608378/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^28 - 2485269160275209662525150019182293684673506100783457071898236220427\ 2984428304702029435/76292929311640331656049462467516335250133489098\ 852833246463094473156305090350165869*c_0101_4^27 - 9801737771619955483729070003488214441232793441549382327816520183217\ 48553956149851041449/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^26 + 3956672627371811033404198015499916818263412501605206533165181645453\ 92973283951822311682/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^25 + 5114569168092355399765503225882624393275222977229811587523574765471\ 292336232217949220958/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^24 - 3436246317364810315116609122897219430883915622880875484710597906493\ 629577224244036763539/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^23 - 1653235362412276217384761233325252947333934946703202246783319964174\ 0254301027898128411280/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^22 + 1518084820137207273658665865558834139648188886767172925821186240426\ 5908247952817730382490/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^21 + 3371471958952162769960061011244046006308953959864242540909158003692\ 9895186175980874960066/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^20 - 3926596061290713834564310995954120026950139058871489403329571671096\ 8713199695982683130265/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^19 - 4296961618892453699530500146804353007527664799672697720778600006550\ 7705129989214993500540/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^18 + 6488013935969710518250380671561873706091873121960369067800679915249\ 5482170770141460718401/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^17 + 3158178720296183738837645607103174450549372010346635821696148044534\ 6131467239343711174877/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^16 - 7263493301358411409004491160731592874823935553903497618734742269702\ 0098774741315707488132/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^15 - 8266595262289526663908215644254470247926737187523615716621288312256\ 730482007050189208359/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^14 + 5788245623895218097066299668352064739989992145002857776487822213901\ 1322470855705739192700/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^13 - 6502093309397419331195897202932735762781124114097365720739084443124\ 372881789661254622389/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^12 - 3417488658620376416956450687615379755442006433716436641078474126722\ 0125246148600462608692/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^11 + 6901806668735835292207406983559628476588174346832041230730886201566\ 552837034854298131912/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^10 + 1498243542384186240736516190145248456833764738611533566964471104097\ 0192900771596900759731/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^9 - 1814451328974789329386181394842928584334252768533380888651436345956\ 93742008784075183254/5868686870126179358157650959039718096164114546\ 065602557420238036396638853103858913*c_0101_4^8 - 4488089962796327601952240353589295922071340582202380987373087270622\ 904647045588682171717/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^7 + 1123135152052925166471937315541331767571541345037540755324964160219\ 99452281274224958940/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^6 + 7462308504355359430652132688035547313040210849785640458986093388575\ 11099968281637764889/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^5 + 9093415814127375902339217765007420145708257488645007333745713789516\ 5090159882060491054/76292929311640331656049462467516335250133489098\ 852833246463094473156305090350165869*c_0101_4^4 - 4679324025131409777557972816780650007718673866451166653875652976978\ 1225054566207255409/76292929311640331656049462467516335250133489098\ 852833246463094473156305090350165869*c_0101_4^3 - 1282453660651762353834045271594184286212619326522466893877556371531\ 8419414118841543010/76292929311640331656049462467516335250133489098\ 852833246463094473156305090350165869*c_0101_4^2 - 6687943706772169689086285150512110222916862519043222985083324385872\ 04020555566116378/7629292931164033165604946246751633525013348909885\ 2833246463094473156305090350165869*c_0101_4 + 5456765471944091732489781838625793244289370324217914433839090288553\ 5683998609828705/76292929311640331656049462467516335250133489098852\ 833246463094473156305090350165869, c_0101_0 - 128286014897306971048888390747420412240984235255660197560954\ 45886472788861068687551/7629292931164033165604946246751633525013348\ 9098852833246463094473156305090350165869*c_0101_4^33 - 8574123139227118547549984911150892159178476298350327273183633464703\ 0273179975511309/76292929311640331656049462467516335250133489098852\ 833246463094473156305090350165869*c_0101_4^32 + 2916171711142979721406521932467434906317722537392008763918504230385\ 1430130201383366/58686868701261793581576509590397180961641145460656\ 02557420238036396638853103858913*c_0101_4^31 + 2855273694789277674633836776894280125189278512264843262344700292024\ 949316397684047231/762929293116403316560494624675163352501334890988\ 52833246463094473156305090350165869*c_0101_4^30 - 3412087493129543971028727015337149412008209150803213877097751980797\ 961053127928102792/762929293116403316560494624675163352501334890988\ 52833246463094473156305090350165869*c_0101_4^29 - 4590053649969515304653254999532025209080573375234362648253063187824\ 1661285396137284546/76292929311640331656049462467516335250133489098\ 852833246463094473156305090350165869*c_0101_4^28 + 3316767813620642422298902740501251666028223535505149176203767418793\ 5865022983754139938/76292929311640331656049462467516335250133489098\ 852833246463094473156305090350165869*c_0101_4^27 + 4045331424865725706593568979779841092728825896261267563430628429396\ 18653176250858140917/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^26 - 3627173394471447983977426426085999810736762355709878563874248194250\ 88301850422992318463/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^25 - 2070364476783026317285786839016672934599378453816637051308862005180\ 588813632996580863147/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^24 + 2472210571352629200772517688841936657397200736474547106034048670222\ 407414181995058793054/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^23 + 6313412013188035966823502940769949708011981758476781435436460929774\ 640023960396445168367/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^22 - 9755451121957080206384634086806218273576893710587087274361603216657\ 491795263397332864485/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^21 - 1136790919334880454504086598639967604654847809733481385932076726970\ 7581314570865180929934/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^20 + 2357297093264306271040630687337434061753047884711280448988187937690\ 1940141534237193917512/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^19 + 1069074776505620173563984489714471079152219227808650267429660040961\ 5079460797413033681887/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^18 - 3663957098678068399425784564146146524705239159980934197432366826905\ 0621796607196840443360/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^17 - 8255307492221707423356529965203997749746310891026739775511988418589\ 09183291324189371786/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^16 + 3790925636401162200352505219440750990742752270663478422570744422732\ 8305009413452808353517/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^15 - 1078472100233296320646950281414918425858052837140466960709829247933\ 4394958027958623713778/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^14 - 2690619957443602467217973154641560473590819812957566741561975755678\ 8631409365313516628652/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^13 + 1431023550605765155994484229210954908777607670797070719516486883027\ 3178891605765921588068/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^12 + 1364429255894540627732530291313970922413565089615462336259400863611\ 3452298966033500088781/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^11 - 9774457864174143381979080140304229589281966671380252779792766212913\ 134279667202543988056/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^10 - 5224181021816932190920312767957658391115796732859844985719420042345\ 451625823228774729964/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^9 + 3030658957928103266485609127476747375424596625470219944805503246242\ 02273805960259040672/5868686870126179358157650959039718096164114546\ 065602557420238036396638853103858913*c_0101_4^8 + 1541502033126531231261006777067124018780535099738391006469546212784\ 563854242269067976631/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^7 - 8687065176083344414666717093058846410231955864989994982215223208767\ 29904129744277408681/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^6 - 3143930445912127834064806036441107858175319455160238999627882737614\ 39773423948725497634/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^5 + 7570932716442854937302681153857986596455641373937433318998043388844\ 6931014616414589437/76292929311640331656049462467516335250133489098\ 852833246463094473156305090350165869*c_0101_4^4 + 3331866590561427771048406324635265400145381938134240214372898757234\ 8002723874284660987/76292929311640331656049462467516335250133489098\ 852833246463094473156305090350165869*c_0101_4^3 + 4676313503505519985000995011872666305452165815200298922785598907903\ 72564359107839288/7629292931164033165604946246751633525013348909885\ 2833246463094473156305090350165869*c_0101_4^2 - 9811472893316647710373026235480800143314543875395084283623719138757\ 50421802809546175/7629292931164033165604946246751633525013348909885\ 2833246463094473156305090350165869*c_0101_4 - 3523041358894931355551413183060676456969331505877687060624614989422\ 7854374325787790/76292929311640331656049462467516335250133489098852\ 833246463094473156305090350165869, c_0101_1 + 341584535218645994664533837796634963249326800076178831674626\ 78119910281749423958504/7629292931164033165604946246751633525013348\ 9098852833246463094473156305090350165869*c_0101_4^33 + 2484506230230119185734086441871263064479796934329625898450404827463\ 72852762766171477/7629292931164033165604946246751633525013348909885\ 2833246463094473156305090350165869*c_0101_4^32 - 6652067790085078829794534323429456908617307634042129768041587330801\ 2913912810049850/58686868701261793581576509590397180961641145460656\ 02557420238036396638853103858913*c_0101_4^31 - 8126369567479721534917787703630343706031686524485586356824572867847\ 591825889186721302/762929293116403316560494624675163352501334890988\ 52833246463094473156305090350165869*c_0101_4^30 + 4344491901908324105832781842487829565356973912875765600751925791766\ 836395520535822789/762929293116403316560494624675163352501334890988\ 52833246463094473156305090350165869*c_0101_4^29 + 1252478534917110187578028852381038331539723243973131108892903076945\ 77750948444001211489/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^28 - 1482441919148993764356128745921286134776466131293637483598309433260\ 5245591152987585650/76292929311640331656049462467516335250133489098\ 852833246463094473156305090350165869*c_0101_4^27 - 1093492719778877359820990432530476202961686579090436328440958697708\ 746601289595367013487/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^26 + 3233499635454463437431165235912336896495653541713743130587436905477\ 36174326944142937906/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^25 + 5774919365114059252455437320824709782251087196903861424973444325027\ 032458145769866234345/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^24 - 3211820784249537989550988132228918859562204360033937398769077709204\ 016380933834978821474/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^23 - 1911500976583469211598803218722101467924348186640402065817206950773\ 0045760615168903159271/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^22 + 1502632455377963634991863894450148779267592229589495105906814422556\ 2009574798837391403732/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^21 + 4059551623320661173561734936362317623177886292176243763846774228686\ 2935394468887312662701/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^20 - 4045166222770179136706246574890049660016795330158171471721128051390\ 5157412187384315890872/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^19 - 5555091055809221967810049600146671974528412337337548889589994099020\ 9439783737443075825403/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^18 + 6960561181932882073654031820062339951316525280969531046027128915698\ 7734913656104373993099/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^17 + 4738662502997733903459054087341124819946948505225340212015508218064\ 8519185197190337250337/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^16 - 8188050045401637617526672519530991526712960187704637461418416646443\ 2159821935131677648465/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^15 - 2185135554138047025187926508372368414491640306665501264361793082929\ 8144242013627241362510/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^14 + 6939447743068915256623408911661802613957543099776993112457094078807\ 9582885533425476695667/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^13 + 1496496975564232010339587719351896492909820608604386369270172034484\ 494040911429294593233/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^12 - 4391860064728721677204456274846796845396026015695352772127693561644\ 7559776268720050265195/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^11 + 3512477366909500408758103237943935536702876635754312441403290432463\ 662863998968594998689/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^10 + 2062673683280317034692063524697544790016099879425471743076790596548\ 8186038547260326645836/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^9 - 8642728074981581507181340412659752680456459014882916992008663030659\ 5860736575927935080/58686868701261793581576509590397180961641145460\ 65602557420238036396638853103858913*c_0101_4^8 - 6618660628005412076064007284030949286333557453174333247775942580198\ 983966422966625800747/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^7 - 3339644038336954739768249814524622864911149396580251238383815187162\ 07698043666500414755/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^6 + 1196548047128492110663010674190775390290562838541086135805354706499\ 215084626794685418633/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^5 + 2103664640987006489222822099418189039756562964942771355994299140249\ 11579607799828110236/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^4 - 7943589083868605815180780572551800119866182290051333420735609795999\ 1295236139820548813/76292929311640331656049462467516335250133489098\ 852833246463094473156305090350165869*c_0101_4^3 - 2636628976709443241327820355965044556828398776456595574613640664630\ 4482982815486911841/76292929311640331656049462467516335250133489098\ 852833246463094473156305090350165869*c_0101_4^2 - 2053527467662682596665548292882022951220340917496768927551544248969\ 414469688673982547/762929293116403316560494624675163352501334890988\ 52833246463094473156305090350165869*c_0101_4 + 1012098418340958276389888665574366956700430561976940347767579434216\ 11306796428448493/7629292931164033165604946246751633525013348909885\ 2833246463094473156305090350165869, c_0101_3 - 347991071281798689365890957801100924374747101657537134081111\ 18842183618764034947273/7629292931164033165604946246751633525013348\ 9098852833246463094473156305090350165869*c_0101_4^33 - 2572106578907448703435198943099238752099279227335837961720769685394\ 16008754665663796/7629292931164033165604946246751633525013348909885\ 2833246463094473156305090350165869*c_0101_4^32 + 6557667477477758608297006003918380528580826656916609977321943523495\ 7067643717879942/58686868701261793581576509590397180961641145460656\ 02557420238036396638853103858913*c_0101_4^31 + 8390396334419459324059875195403131094069269853504626134538812852476\ 630099084239001755/762929293116403316560494624675163352501334890988\ 52833246463094473156305090350165869*c_0101_4^30 - 3497009751750509637188833112339461347559913717305869400671679804369\ 938501651736384499/762929293116403316560494624675163352501334890988\ 52833246463094473156305090350165869*c_0101_4^29 - 1283823532819933596534652201065413733347539273827593420189375276678\ 69828023044962955787/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^28 + 6548362816268720052965888334030621952014248032298461270609791252803\ 03340069447279496/7629292931164033165604946246751633525013348909885\ 2833246463094473156305090350165869*c_0101_4^27 + 1120245509457104444379521866286661679642468443919600531034680858681\ 556383040405522131202/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^26 - 2052760189846003509007438891272247830585771915999556287351772540439\ 89550971102860413196/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^25 - 5960874688565871614049548307891589768510056218481360241620189775031\ 291694991188637811484/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^24 + 2647554715638294886602858570391397175159614107385915326865694221692\ 282078687674263551584/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^23 + 2004060566782595709951749140162579550318477738760677282554601325149\ 2045162300123515142179/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^22 - 1341677277841965040561355638488747156368064162251560575960987306175\ 5077449592135409629956/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^21 - 4360755763944151543703583031903254248732888426331863118906234843050\ 4689393417639277208476/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^20 + 3773828615522383838286740301302961096129718880311252723501724906629\ 3518075179605095880489/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^19 + 6189454973105683026817092525584230791558326162396393546516306384010\ 9529685476748088308981/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^18 - 6722836954595764278753419238588189125495304436452618241896062036288\ 0526516319719484996057/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^17 - 5620707357959515283457106390784799415908928843615989256864509424955\ 2152300829626540625311/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^16 + 8174408894993096202022637268242141193924042375347828392805223540408\ 7245486578502116071445/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^15 + 3019707557088787070615572078218837017884342742712850848026009644936\ 3023816789471325341939/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^14 - 7152340742394653664953015708045195153996661237724950315152961269186\ 2180067891688990180308/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^13 - 7117901110642874056922414663577909953652469705564208790866217643689\ 813209575604409253995/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^12 + 4645041802389252706846746671656892937183943555957309594547971719706\ 2338312983534952841690/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^11 - 6513968281762417954815175212073028557157230974117695538490243505160\ 35348796697879700468/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^10 - 2210010185065090307711793984427090213634436285266282174079723356368\ 5824719302092455022843/76292929311640331656049462467516335250133489\ 098852833246463094473156305090350165869*c_0101_4^9 - 1870358884828388914436642992116510382400838503884097208190130747346\ 86237058744236412/5868686870126179358157650959039718096164114546065\ 602557420238036396638853103858913*c_0101_4^8 + 7060997784356336065912037710818643607786325894432115088135609976216\ 278208054033601586559/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^7 + 6397309729628489007573432364828661504333947997609326276796405241395\ 28976397130200470201/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^6 - 1244944518957844189784842053757422362989383924893765382065029513492\ 553978427888962359520/762929293116403316560494624675163352501334890\ 98852833246463094473156305090350165869*c_0101_4^5 - 2519239267858635608895580605070009071424478632989232135216526859448\ 47833734714661109417/7629292931164033165604946246751633525013348909\ 8852833246463094473156305090350165869*c_0101_4^4 + 7842504587776288959838703704622221136040938489510472865802889614758\ 9402183260618202122/76292929311640331656049462467516335250133489098\ 852833246463094473156305090350165869*c_0101_4^3 + 2821388789685788023622480501459614400691467650974564654753490387476\ 6440430705183171701/76292929311640331656049462467516335250133489098\ 852833246463094473156305090350165869*c_0101_4^2 + 2164876909134056812057229559333173264007311927269991872551063637061\ 599710390516694762/762929293116403316560494624675163352501334890988\ 52833246463094473156305090350165869*c_0101_4 - 1015712221707589541559462218877786314368948309483511734779626493315\ 99620536349875215/7629292931164033165604946246751633525013348909885\ 2833246463094473156305090350165869, c_0101_4^34 + 8*c_0101_4^33 - 20*c_0101_4^32 - 256*c_0101_4^31 - 46*c_0101_4^30 + 3750*c_0101_4^29 + 2219*c_0101_4^28 - 32206*c_0101_4^27 - 13580*c_0101_4^26 + 174939*c_0101_4^25 + 27172*c_0101_4^24 - 622334*c_0101_4^23 + 40416*c_0101_4^22 + 1486590*c_0101_4^21 - 339885*c_0101_4^20 - 2429665*c_0101_4^19 + 888532*c_0101_4^18 + 2762938*c_0101_4^17 - 1420513*c_0101_4^16 - 2245961*c_0101_4^15 + 1574988*c_0101_4^14 + 1393322*c_0101_4^13 - 1234705*c_0101_4^12 - 741153*c_0101_4^11 + 652181*c_0101_4^10 + 354564*c_0101_4^9 - 203234*c_0101_4^8 - 128237*c_0101_4^7 + 25331*c_0101_4^6 + 25533*c_0101_4^5 + 1541*c_0101_4^4 - 1851*c_0101_4^3 - 447*c_0101_4^2 - 28*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.270 seconds, Total memory usage: 32.09MB