Magma V2.19-8 Tue Aug 20 2013 16:19:06 on localhost [Seed = 3465499572] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3237 geometric_solution 6.36485831 oriented_manifold CS_known 0.0000000000000002 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.825252959325 0.958833763385 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.336301396779 0.829261819879 3 0 4 5 3201 0132 3201 0132 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.336301396779 0.829261819879 3 1 3 2 2031 0132 1302 2310 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 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.517610572816 0.818482396603 2 6 1 6 2310 0132 0132 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 0.721173848209 1.456714553697 5 5 2 1 1302 2031 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.255260674279 0.953384455736 4 4 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444596703564 0.177964601863 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : 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' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0011_5'], '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' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0011_5'], '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_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 97666690683750785106338939420042486048282025842650619/5162934280649\ 8869493904016000982590220427048355187*c_0110_6^31 + 25862387885640725758049615136908294754194048684658476/5162934280649\ 8869493904016000982590220427048355187*c_0110_6^30 - 5448252230577180072441694436964397400232147433938653579/10325868561\ 2997738987808032001965180440854096710374*c_0110_6^29 - 467676767738451111364399195205616927723173607771567719/103258685612\ 997738987808032001965180440854096710374*c_0110_6^28 + 59442579435390389326936809080355255638434262902422448415/1032586856\ 12997738987808032001965180440854096710374*c_0110_6^27 - 5176078166702208682204462951628638797425356410814384246/51629342806\ 498869493904016000982590220427048355187*c_0110_6^26 - 352904391090407692436796738901031658257489059234940491431/103258685\ 612997738987808032001965180440854096710374*c_0110_6^25 + 138313408286989324936443807826927613469071027293003891387/103258685\ 612997738987808032001965180440854096710374*c_0110_6^24 + 611906968660934530783999679611818363397507047278437243593/516293428\ 06498869493904016000982590220427048355187*c_0110_6^23 - 736907147325821889503320197453878438922655530255227744143/103258685\ 612997738987808032001965180440854096710374*c_0110_6^22 - 1201699480106050066037412628131165694657411132462261686680/51629342\ 806498869493904016000982590220427048355187*c_0110_6^21 + 2086555180522555661831807160730890801756604301460199866395/10325868\ 5612997738987808032001965180440854096710374*c_0110_6^20 + 2179995381221132008086297614581300234921156697680041201965/10325868\ 5612997738987808032001965180440854096710374*c_0110_6^19 - 2812994049400009499881742252035918774999431183451551580067/10325868\ 5612997738987808032001965180440854096710374*c_0110_6^18 - 1222371338967475607388521083642770058563405383957553491/73756204009\ 28409927700573714426084317203864050741*c_0110_6^17 + 423750613344549267418721851127108288001974839837871035885/516293428\ 06498869493904016000982590220427048355187*c_0110_6^16 - 428106682840588910272406943473338290439517768134687767346/516293428\ 06498869493904016000982590220427048355187*c_0110_6^15 + 724338267634535331731887369678087310691479641852889391265/516293428\ 06498869493904016000982590220427048355187*c_0110_6^14 - 142613244101426685426825663783815012994075224145737701301/103258685\ 612997738987808032001965180440854096710374*c_0110_6^13 - 1267662194386973024307841508576294291045765885419885016583/10325868\ 5612997738987808032001965180440854096710374*c_0110_6^12 - 13143981539967921308141275568049874601435905523878607534/5162934280\ 6498869493904016000982590220427048355187*c_0110_6^11 + 498270868790674420576701482790362364477547072212191391238/516293428\ 06498869493904016000982590220427048355187*c_0110_6^10 + 1581534628215563961830103381445499869814393098064706979/14751240801\ 856819855401147428852168634407728101482*c_0110_6^9 - 471763319028976165451687943146884731691223238959449658955/103258685\ 612997738987808032001965180440854096710374*c_0110_6^8 - 28618695581632648363304368865453119462128962913588779219/1032586856\ 12997738987808032001965180440854096710374*c_0110_6^7 + 72588829265762573796844519662391177956700058100148529113/5162934280\ 6498869493904016000982590220427048355187*c_0110_6^6 + 16737509340245315464372104392796041777210454463728478457/5162934280\ 6498869493904016000982590220427048355187*c_0110_6^5 - 19966191497708736836413066735851294099592604943813415075/5162934280\ 6498869493904016000982590220427048355187*c_0110_6^4 - 4811694530185265856341789765776337892297622785249039191/51629342806\ 498869493904016000982590220427048355187*c_0110_6^3 + 1083594282318755484408653407274545407849186922136554051/14751240801\ 856819855401147428852168634407728101482*c_0110_6^2 + 63852067506104486150114868574901075928466851415888995/7375620400928\ 409927700573714426084317203864050741*c_0110_6 - 554079638627454656773080914688107471762803223105803545/103258685612\ 997738987808032001965180440854096710374, c_0011_0 - 1, c_0011_4 + 7838653684147566657464043435432378527533665703848/4338600235\ 84024113394151394966240253953168473573*c_0110_6^31 + 5973726211823729927183434983821796926638833018917/43386002358402411\ 3394151394966240253953168473573*c_0110_6^30 - 438529056770881642982745895547503621910114204922809/867720047168048\ 226788302789932480507906336947146*c_0110_6^29 - 254400044995796980056623512362305077693393362306017/867720047168048\ 226788302789932480507906336947146*c_0110_6^28 + 4844548646479328761631886596537311311193805143550053/86772004716804\ 8226788302789932480507906336947146*c_0110_6^27 + 754420949156240310059389156110863631288906371224506/433860023584024\ 113394151394966240253953168473573*c_0110_6^26 - 29733967028639420119976083531106219129068260786825495/8677200471680\ 48226788302789932480507906336947146*c_0110_6^25 - 2368873704422490782339430460945343232692016408567789/86772004716804\ 8226788302789932480507906336947146*c_0110_6^24 + 54740034320584696153644362645731228614704965781813381/4338600235840\ 24113394151394966240253953168473573*c_0110_6^23 - 15179934843064076177816368267060192199237026817586007/8677200471680\ 48226788302789932480507906336947146*c_0110_6^22 - 120506475773742987784019831500607036029042880637164642/433860023584\ 024113394151394966240253953168473573*c_0110_6^21 + 92330427819060454776637408489429011340164963156200655/8677200471680\ 48226788302789932480507906336947146*c_0110_6^20 + 290118812976773855210166094370218383544640424954196937/867720047168\ 048226788302789932480507906336947146*c_0110_6^19 - 188373824569607168542647598694433360952550578263224175/867720047168\ 048226788302789932480507906336947146*c_0110_6^18 - 64592639310662570407811025480259427266344724850994817/4338600235840\ 24113394151394966240253953168473573*c_0110_6^17 + 61129996148714169308119591154059262107434305426079099/4338600235840\ 24113394151394966240253953168473573*c_0110_6^16 - 29255573454114329891740432318676637727368246068691252/4338600235840\ 24113394151394966240253953168473573*c_0110_6^15 + 38896807058644673841759092760726719156406837038331772/4338600235840\ 24113394151394966240253953168473573*c_0110_6^14 + 62834214428291389565285242468324117433303164079651055/8677200471680\ 48226788302789932480507906336947146*c_0110_6^13 - 139303495202799511263803093795137102081568854583034031/867720047168\ 048226788302789932480507906336947146*c_0110_6^12 - 18165228922924436592658446766259256965772034309654721/4338600235840\ 24113394151394966240253953168473573*c_0110_6^11 + 46749601096304801332888465746061171338725353184542994/4338600235840\ 24113394151394966240253953168473573*c_0110_6^10 + 34661830093212319227596974240428870049853058229887101/8677200471680\ 48226788302789932480507906336947146*c_0110_6^9 - 51855548693832461926237363235607600634446487692268927/8677200471680\ 48226788302789932480507906336947146*c_0110_6^8 - 15004768891920756208520056901803071465901562429206663/8677200471680\ 48226788302789932480507906336947146*c_0110_6^7 + 7972431404484754716840453161277113682160141989642633/43386002358402\ 4113394151394966240253953168473573*c_0110_6^6 + 3298554421907774088444320264523226553798526756721034/43386002358402\ 4113394151394966240253953168473573*c_0110_6^5 - 1770068302808792808657630527189026560751009325237007/43386002358402\ 4113394151394966240253953168473573*c_0110_6^4 - 1106694759632076205146879571147263362327607893400700/43386002358402\ 4113394151394966240253953168473573*c_0110_6^3 + 842509468368650018554724218445944601578502836050705/867720047168048\ 226788302789932480507906336947146*c_0110_6^2 + 135840488868923391867132019958687541338458242419117/433860023584024\ 113394151394966240253953168473573*c_0110_6 - 93825747965540419898554980371342843542662138110443/8677200471680482\ 26788302789932480507906336947146, c_0011_5 + 23815571005372508353806723940979750939424219854861/867720047\ 168048226788302789932480507906336947146*c_0110_6^31 + 10992823908555263764907330623244957167467405494309/8677200471680482\ 26788302789932480507906336947146*c_0110_6^30 - 332315589800746210404239027223760829787720976264268/433860023584024\ 113394151394966240253953168473573*c_0110_6^29 - 187255754982130653636087617876015842762155399586439/867720047168048\ 226788302789932480507906336947146*c_0110_6^28 + 3640489507352381867678508017914547920480232647153568/43386002358402\ 4113394151394966240253953168473573*c_0110_6^27 + 142741925883592813831936275857339739424988097901315/867720047168048\ 226788302789932480507906336947146*c_0110_6^26 - 43759490488733349659022297144696908805639207194683167/8677200471680\ 48226788302789932480507906336947146*c_0110_6^25 + 4376081813609714115075182219838704845684881711704424/43386002358402\ 4113394151394966240253953168473573*c_0110_6^24 + 77653984105521791585194269879586129001543958007550815/4338600235840\ 24113394151394966240253953168473573*c_0110_6^23 - 31592143235185638819757824134463229404400770203315047/4338600235840\ 24113394151394966240253953168473573*c_0110_6^22 - 319700856718948495229336218902336242606029726644766453/867720047168\ 048226788302789932480507906336947146*c_0110_6^21 + 103976299088388646968506191259364593390626988807779237/433860023584\ 024113394151394966240253953168473573*c_0110_6^20 + 330822833368375706340193754498157708262576827224956687/867720047168\ 048226788302789932480507906336947146*c_0110_6^19 - 316905464765312991979255591487255459979532032545491723/867720047168\ 048226788302789932480507906336947146*c_0110_6^18 - 37813857012127798214459580954369471933851096578805559/4338600235840\ 24113394151394966240253953168473573*c_0110_6^17 + 65741775766076589519344456624296341860741286997065940/4338600235840\ 24113394151394966240253953168473573*c_0110_6^16 - 97524401759058795453118254229486354432899275113242685/8677200471680\ 48226788302789932480507906336947146*c_0110_6^15 + 154005743908890873158802344843662311425132943219311129/867720047168\ 048226788302789932480507906336947146*c_0110_6^14 + 25747990658677883562771704730221268515191034183854881/8677200471680\ 48226788302789932480507906336947146*c_0110_6^13 - 174210209200385364988533015139152122528279719953162087/867720047168\ 048226788302789932480507906336947146*c_0110_6^12 - 24345670386618144378979777696868749049870276642159861/8677200471680\ 48226788302789932480507906336947146*c_0110_6^11 + 127922326759300254095162010428206788230610562265276733/867720047168\ 048226788302789932480507906336947146*c_0110_6^10 + 10695158988077655222242783069069448896717395877389113/4338600235840\ 24113394151394966240253953168473573*c_0110_6^9 - 64460922608566219234534428306442731585097520938216561/8677200471680\ 48226788302789932480507906336947146*c_0110_6^8 - 11134022551843775116891901969577475627412214685404883/8677200471680\ 48226788302789932480507906336947146*c_0110_6^7 + 9874467040233842245368471373566813255378012549633903/43386002358402\ 4113394151394966240253953168473573*c_0110_6^6 + 3183734648160468106307127492251993115088032666727639/43386002358402\ 4113394151394966240253953168473573*c_0110_6^5 - 4924050445475005162624316857534461285793720775344635/86772004716804\ 8226788302789932480507906336947146*c_0110_6^4 - 995586761566311880485165917714371726526078594397566/433860023584024\ 113394151394966240253953168473573*c_0110_6^3 + 511586345332402623742092497314837468027049812450209/433860023584024\ 113394151394966240253953168473573*c_0110_6^2 + 111254469015366890970639082252401910626264618643220/433860023584024\ 113394151394966240253953168473573*c_0110_6 - 92580593135397963701738168911457057318007556936961/8677200471680482\ 26788302789932480507906336947146, c_0101_0 + 24840463862463506810933217150231887442803313551921/173544009\ 4336096453576605579864961015812673894292*c_0110_6^31 - 1757156678942766276433592203065391775713319894403/43386002358402411\ 3394151394966240253953168473573*c_0110_6^30 - 689520366015750832651243974042733760448667961025901/173544009433609\ 6453576605579864961015812673894292*c_0110_6^29 + 79921383556409588739214603827881541741543807236178/4338600235840241\ 13394151394966240253953168473573*c_0110_6^28 + 3699621963257615532927245642204343802128153312296703/86772004716804\ 8226788302789932480507906336947146*c_0110_6^27 - 2706289002462900205328777375464556674267435467972769/86772004716804\ 8226788302789932480507906336947146*c_0110_6^26 - 21040141903153681898659835387129445741876053871005181/8677200471680\ 48226788302789932480507906336947146*c_0110_6^25 + 20571354243057018528644415269257890115475846260966809/8677200471680\ 48226788302789932480507906336947146*c_0110_6^24 + 133996409826371122659298003211578886147912667357482209/173544009433\ 6096453576605579864961015812673894292*c_0110_6^23 - 85126930704205425272473922220632879716030696880551101/8677200471680\ 48226788302789932480507906336947146*c_0110_6^22 - 107397663746820907886952557607705504529704215072015717/867720047168\ 048226788302789932480507906336947146*c_0110_6^21 + 394348801780028565210928973304897771739998074025097951/173544009433\ 6096453576605579864961015812673894292*c_0110_6^20 + 15681819985948415171783184289588988399563230222786953/4338600235840\ 24113394151394966240253953168473573*c_0110_6^19 - 415301839626225135338010125495240524987133027626498225/173544009433\ 6096453576605579864961015812673894292*c_0110_6^18 + 58412416542465247224891538952661430622041057901547012/4338600235840\ 24113394151394966240253953168473573*c_0110_6^17 + 853567762189745206727610437695661775365509730829649/867720047168048\ 226788302789932480507906336947146*c_0110_6^16 - 127877270199521103331427246607238174403647067779568641/173544009433\ 6096453576605579864961015812673894292*c_0110_6^15 + 127122342756933273947975622692056822631837955770557215/867720047168\ 048226788302789932480507906336947146*c_0110_6^14 - 38140216864698315132697361501744393755038885088384602/4338600235840\ 24113394151394966240253953168473573*c_0110_6^13 - 88031763755926622725000637972945121726631171315281375/1735440094336\ 096453576605579864961015812673894292*c_0110_6^12 + 57189800683738926404018318753153478067867329952987345/1735440094336\ 096453576605579864961015812673894292*c_0110_6^11 + 24281683859543976160752530747404605810424207317710316/4338600235840\ 24113394151394966240253953168473573*c_0110_6^10 - 59157198692358643827758640047977517370840538896839051/1735440094336\ 096453576605579864961015812673894292*c_0110_6^9 - 7860512038145997444392432664851288194336599969854585/43386002358402\ 4113394151394966240253953168473573*c_0110_6^8 + 19553491913637159926457809267743918434965319500351027/1735440094336\ 096453576605579864961015812673894292*c_0110_6^7 + 4611230253379501471543575550781428423360968434790139/86772004716804\ 8226788302789932480507906336947146*c_0110_6^6 - 741109723654205562172161945578871585564400057041954/433860023584024\ 113394151394966240253953168473573*c_0110_6^5 - 4117767063813392808981630840759134238495583837839067/17354400943360\ 96453576605579864961015812673894292*c_0110_6^4 + 1499167866063680019325206091617241756322266542168473/17354400943360\ 96453576605579864961015812673894292*c_0110_6^3 + 114043616247597099200329395086070968649398920891704/433860023584024\ 113394151394966240253953168473573*c_0110_6^2 - 269788095697002787684966467673199627831764673864683/173544009433609\ 6453576605579864961015812673894292*c_0110_6 + 32379549769485940973519123052943378620815679242255/1735440094336096\ 453576605579864961015812673894292, c_0101_1 + 433996101876991027313997867342681118409523070367/43386002358\ 4024113394151394966240253953168473573*c_0110_6^31 - 161233785724675305916515011213359330551761866145/173544009433609645\ 3576605579864961015812673894292*c_0110_6^30 - 48728470501801012560368090733440446423204656856919/1735440094336096\ 453576605579864961015812673894292*c_0110_6^29 + 6380103771358160901971324198957301730281017287401/86772004716804822\ 6788302789932480507906336947146*c_0110_6^28 + 266726815786581175569944631263719532722630458135247/867720047168048\ 226788302789932480507906336947146*c_0110_6^27 - 135368960041426803967354645700871049611967171671443/867720047168048\ 226788302789932480507906336947146*c_0110_6^26 - 1570048923056112545893467314581653312752961995960519/86772004716804\ 8226788302789932480507906336947146*c_0110_6^25 + 563600143942736903097678224266005502552381674861697/433860023584024\ 113394151394966240253953168473573*c_0110_6^24 + 2662516138166655040972521226656593381873336115421892/43386002358402\ 4113394151394966240253953168473573*c_0110_6^23 - 9934696563749180855865296086237595128038064643254359/17354400943360\ 96453576605579864961015812673894292*c_0110_6^22 - 19790741774582412886680101175392529618941777136976987/1735440094336\ 096453576605579864961015812673894292*c_0110_6^21 + 24654526885635165778596566922159836969624145222251917/1735440094336\ 096453576605579864961015812673894292*c_0110_6^20 + 7271308268671963833313846367087525969974056214197429/86772004716804\ 8226788302789932480507906336947146*c_0110_6^19 - 14704015744179331494589089085923347934245707101250699/8677200471680\ 48226788302789932480507906336947146*c_0110_6^18 + 6048398819163605269717012572788088747116233569208857/17354400943360\ 96453576605579864961015812673894292*c_0110_6^17 + 5736020542815188655941220382591068245219765991757329/17354400943360\ 96453576605579864961015812673894292*c_0110_6^16 - 8088804013621014486804790348925380671369638877297245/17354400943360\ 96453576605579864961015812673894292*c_0110_6^15 + 3901553908037037461803809953442457145510659378204347/43386002358402\ 4113394151394966240253953168473573*c_0110_6^14 - 1415524050479680121013586896406885555923904586447005/43386002358402\ 4113394151394966240253953168473573*c_0110_6^13 - 2622975072444197582519266192691018809473779127967295/43386002358402\ 4113394151394966240253953168473573*c_0110_6^12 + 1924292063877690260243086467532717053401607228344277/17354400943360\ 96453576605579864961015812673894292*c_0110_6^11 + 2289927164414452898517215411223598485404460695195577/43386002358402\ 4113394151394966240253953168473573*c_0110_6^10 - 820562014998573653924031856982084871009201020180787/867720047168048\ 226788302789932480507906336947146*c_0110_6^9 - 4038291390574682514208079073719322253494099200973555/17354400943360\ 96453576605579864961015812673894292*c_0110_6^8 + 349649910112519875251433832397428747470133023884881/173544009433609\ 6453576605579864961015812673894292*c_0110_6^7 + 313660579335545319436297307068244764303986013890740/433860023584024\ 113394151394966240253953168473573*c_0110_6^6 + 71278768397482618992637900287831504341439581172479/8677200471680482\ 26788302789932480507906336947146*c_0110_6^5 - 193012308685342286783810447233500713272981211832925/867720047168048\ 226788302789932480507906336947146*c_0110_6^4 - 28645118531990888756939627733782890939766648469127/1735440094336096\ 453576605579864961015812673894292*c_0110_6^3 + 33781933382372749726555107321767034551787208397059/8677200471680482\ 26788302789932480507906336947146*c_0110_6^2 - 81112926481598332858868827636838866063305614133/4338600235840241133\ 94151394966240253953168473573*c_0110_6 - 2903007527734951954530781277971991598489909189047/17354400943360964\ 53576605579864961015812673894292, c_0101_2 + 45891337113511381783132826575382891233493441245119/173544009\ 4336096453576605579864961015812673894292*c_0110_6^31 + 5804018886284095126949907147977170011279392397623/43386002358402411\ 3394151394966240253953168473573*c_0110_6^30 - 1281276663896075169049556928979218028858578383444691/17354400943360\ 96453576605579864961015812673894292*c_0110_6^29 - 104342834392411204018972076013161956383102464879450/433860023584024\ 113394151394966240253953168473573*c_0110_6^28 + 7027937571814789827105716135235532365467624736508215/86772004716804\ 8226788302789932480507906336947146*c_0110_6^27 + 441688890675966704209977963905945335494506336184721/867720047168048\ 226788302789932480507906336947146*c_0110_6^26 - 42379787275266340177465010744809916459713002173242953/8677200471680\ 48226788302789932480507906336947146*c_0110_6^25 + 6695733501265073679150063069656127771735545572815031/86772004716804\ 8226788302789932480507906336947146*c_0110_6^24 + 302595966501890955199303565677213117328980555673374307/173544009433\ 6096453576605579864961015812673894292*c_0110_6^23 - 55302630502047008093213192849398772546134552008224053/8677200471680\ 48226788302789932480507906336947146*c_0110_6^22 - 314905744174831105856408009257125370164531943550384833/867720047168\ 048226788302789932480507906336947146*c_0110_6^21 + 382460232204829066132745711930821507758319031930211601/173544009433\ 6096453576605579864961015812673894292*c_0110_6^20 + 167348048274401865991490539419583144075576284532234549/433860023584\ 024113394151394966240253953168473573*c_0110_6^19 - 603996720261342433376085887000869323654054339257554751/173544009433\ 6096453576605579864961015812673894292*c_0110_6^18 - 44879146518761832161068855518738229594089772823420000/4338600235840\ 24113394151394966240253953168473573*c_0110_6^17 + 135259216591010775141898448811946739463301464463948407/867720047168\ 048226788302789932480507906336947146*c_0110_6^16 - 187257391892203440803490516375151166913997186094545663/173544009433\ 6096453576605579864961015812673894292*c_0110_6^15 + 143630041875971387916471744636411814404331627482914907/867720047168\ 048226788302789932480507906336947146*c_0110_6^14 + 17436188941290899345709385807345210817163307242990311/4338600235840\ 24113394151394966240253953168473573*c_0110_6^13 - 347595222662022829721366562441339525164921760701792261/173544009433\ 6096453576605579864961015812673894292*c_0110_6^12 - 54471341206492800328211455841356424843300901987339749/1735440094336\ 096453576605579864961015812673894292*c_0110_6^11 + 62600146209293376059591695318020589938174363855542457/4338600235840\ 24113394151394966240253953168473573*c_0110_6^10 + 49915562169435417181523094674207764878244127860698087/1735440094336\ 096453576605579864961015812673894292*c_0110_6^9 - 32170098841526238992429554181504321250054832177910872/4338600235840\ 24113394151394966240253953168473573*c_0110_6^8 - 24309584857874924820457892196145870887175984124893819/1735440094336\ 096453576605579864961015812673894292*c_0110_6^7 + 19650892854876408997407371718307263594194262521810159/8677200471680\ 48226788302789932480507906336947146*c_0110_6^6 + 3308420068756983354469800056325748921861149227878953/43386002358402\ 4113394151394966240253953168473573*c_0110_6^5 - 9659282594020625723972053749907169578717644470775777/17354400943360\ 96453576605579864961015812673894292*c_0110_6^4 - 4200364232312302488232993660700019751750632770260109/17354400943360\ 96453576605579864961015812673894292*c_0110_6^3 + 515309312365653263578064052767327419096881247530899/433860023584024\ 113394151394966240253953168473573*c_0110_6^2 + 473169387751132593608408908376702150156669339630075/173544009433609\ 6453576605579864961015812673894292*c_0110_6 - 191551701479486230960340695950960518530735221412175/173544009433609\ 6453576605579864961015812673894292, c_0110_6^32 - 28*c_0110_6^30 + 5*c_0110_6^29 + 306*c_0110_6^28 - 134*c_0110_6^27 - 1804*c_0110_6^26 + 1194*c_0110_6^25 + 6143*c_0110_6^24 - 5490*c_0110_6^23 - 11517*c_0110_6^22 + 14186*c_0110_6^21 + 8689*c_0110_6^20 - 17937*c_0110_6^19 + 3564*c_0110_6^18 + 4997*c_0110_6^17 - 5818*c_0110_6^16 + 8535*c_0110_6^15 - 2508*c_0110_6^14 - 6665*c_0110_6^13 + 1783*c_0110_6^12 + 5299*c_0110_6^11 - 1367*c_0110_6^10 - 2596*c_0110_6^9 + 568*c_0110_6^8 + 843*c_0110_6^7 - 48*c_0110_6^6 - 269*c_0110_6^5 + 7*c_0110_6^4 + 59*c_0110_6^3 - 7*c_0110_6^2 - 5*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB