Magma V2.19-8 Tue Aug 20 2013 16:17:46 on localhost [Seed = 1831661966] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2000 geometric_solution 5.55971606 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.751821668229 0.083833792667 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 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 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.609243458994 0.238425667939 3 1 4 1 0132 0132 0132 1023 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.897660066248 1.866009229774 2 4 6 5 0132 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -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.034821547353 0.975156666640 5 6 3 2 1023 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.034821547353 0.975156666640 5 4 3 5 3201 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.496285029856 0.898858594761 6 6 4 3 1230 3012 2310 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.469250440705 0.878784204488 ==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' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_6'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t + 10145248495901593930629148240944843446279695389818855822/6694170771\ 414197694718914601262615152183249243875*c_0101_4^34 - 1676092285011407865967188645174560863328871747844646497/74379675237\ 9355299413212733473623905798138804875*c_0101_4^33 - 63460774010377161226748145762221854588856989250418422144/1338834154\ 282839538943782920252523030436649848775*c_0101_4^32 + 67537861258266382815484589881369779708647306754615563051/6085609792\ 19472517701719509205692286562113567625*c_0101_4^31 + 2154321115733365747823060536607480414056062179779899638018/66941707\ 71414197694718914601262615152183249243875*c_0101_4^30 - 4965025164329202838772339803465679603228451431490045567236/66941707\ 71414197694718914601262615152183249243875*c_0101_4^29 - 11857036044269016327542567994498866423387780929614198394691/6694170\ 771414197694718914601262615152183249243875*c_0101_4^28 + 1895654663840524942887334545413358283641330338927968186321/51493621\ 3185707514978378046250970396321788403375*c_0101_4^27 + 33736563702695294761011638873887851475595709057132413667017/6694170\ 771414197694718914601262615152183249243875*c_0101_4^26 - 1329219351288573616760904014781627341109427939530209667443/10298724\ 2637141502995675609250194079264357680675*c_0101_4^25 - 8459613134624137128716627414554990832300697919103401904/12408101522\ 54716903562356737954145533305514225*c_0101_4^24 + 68395292686347342483349827676986201222994149932287593578071/2231390\ 257138065898239638200420871717394416414625*c_0101_4^23 - 18420501163242310091233454489715316099601957814080436158/7437967523\ 79355299413212733473623905798138804875*c_0101_4^22 - 355317695448685411328701588283343766536807919643538264286084/669417\ 0771414197694718914601262615152183249243875*c_0101_4^21 + 10269383204812957486542055736809118156012758824787157745083/5149362\ 13185707514978378046250970396321788403375*c_0101_4^20 + 1489023005567792709886322990611160997671406891227591383018/20597448\ 527428300599135121850038815852871536135*c_0101_4^19 - 26770141973474114906909079749007706520055336099714453294223/6085609\ 79219472517701719509205692286562113567625*c_0101_4^18 - 14965510226870592399732056644394379018688893728134418866012/2028536\ 59739824172567239836401897428854037855875*c_0101_4^17 + 11639688545035499917833081720748925043656390788026953062184/2028536\ 59739824172567239836401897428854037855875*c_0101_4^16 + 341575938841211163083354348641062940845973264014816339911693/669417\ 0771414197694718914601262615152183249243875*c_0101_4^15 - 360052144176883959342978589713558517587768469389636751504112/669417\ 0771414197694718914601262615152183249243875*c_0101_4^14 - 1009351390281949995130137032080941305782441491824723925077/48862560\ 375286114559992077381478942716666052875*c_0101_4^13 + 241907866647209869829232780812359137676796085063263908196749/669417\ 0771414197694718914601262615152183249243875*c_0101_4^12 - 104497075907800059137007049533719100990406945489134624031/102987242\ 637141502995675609250194079264357680675*c_0101_4^11 - 128225264732654887436477405296271757231615363870955109658538/669417\ 0771414197694718914601262615152183249243875*c_0101_4^10 + 10505686773898266604851788686933794855176902545588682968302/1338834\ 154282839538943782920252523030436649848775*c_0101_4^9 + 23375433276008200672946939368266236618408561801204560969907/2231390\ 257138065898239638200420871717394416414625*c_0101_4^8 - 2864369898642215147568804120493819151745726070773191465052/74379675\ 2379355299413212733473623905798138804875*c_0101_4^7 - 31833570870640434251492196052318667673349008700434059775206/6694170\ 771414197694718914601262615152183249243875*c_0101_4^6 + 1338807928843969452691311354699324219288030124713028326611/66941707\ 71414197694718914601262615152183249243875*c_0101_4^5 + 7241103365398683673043214367100854842659922106733564784403/66941707\ 71414197694718914601262615152183249243875*c_0101_4^4 + 1404501296213039068758043603038342521218683792965771544343/66941707\ 71414197694718914601262615152183249243875*c_0101_4^3 - 163700908048961301570861438481430095090130666152437173017/223139025\ 7138065898239638200420871717394416414625*c_0101_4^2 - 41446632100578278367740751722026064035186368446064734657/1338834154\ 282839538943782920252523030436649848775*c_0101_4 - 20838570787326145332809314970976705485889516909606045334/6694170771\ 414197694718914601262615152183249243875, c_0011_0 - 1, c_0011_4 - 38491379390881261786252400125941887882208579956442487/676178\ 86579941390855746612133965809618012618625*c_0101_4^34 + 56099173349790683227988203866879388082634596630863958/6761788657994\ 1390855746612133965809618012618625*c_0101_4^33 + 241212788972199721511958976703078507702557233885696149/135235773159\ 88278171149322426793161923602523725*c_0101_4^32 - 2784215752676696033062454410695900994390661921188026081/67617886579\ 941390855746612133965809618012618625*c_0101_4^31 - 8272296672307157052756196278898076751760464026403281778/67617886579\ 941390855746612133965809618012618625*c_0101_4^30 + 18642016404637308300825778477609043005802779628122314756/6761788657\ 9941390855746612133965809618012618625*c_0101_4^29 + 45629991897943941342497587151078771942557703674825159686/6761788657\ 9941390855746612133965809618012618625*c_0101_4^28 - 7112969136937690624383678842621644683349690217659990041/52013758907\ 64722373518970164151216124462509125*c_0101_4^27 - 131221515733201357323825655964546174332573880621711050332/676178865\ 79941390855746612133965809618012618625*c_0101_4^26 + 5007823358321171559599937480186582067549907143559758728/10402751781\ 52944474703794032830243224892501825*c_0101_4^25 + 34079486299928158989228030015912996141653013196432809/1253343588136\ 0776803660169070243894275813275*c_0101_4^24 - 778280617823931460898312781950729261568267239775968930248/676178865\ 79941390855746612133965809618012618625*c_0101_4^23 - 22384734305618581158646562479765596195197774632339707413/6761788657\ 9941390855746612133965809618012618625*c_0101_4^22 + 1358637640443941213625618891790241935640677277235397532964/67617886\ 579941390855746612133965809618012618625*c_0101_4^21 - 36280336700160836304219696167378540740268146012813136018/5201375890\ 764722373518970164151216124462509125*c_0101_4^20 - 5744393120984600147452852387928503460044909926591974578/20805503563\ 0588894940758806566048644978500365*c_0101_4^19 + 1077298417797083101199462545660776747578423132907378080163/67617886\ 579941390855746612133965809618012618625*c_0101_4^18 + 1924908183765618778115759911772244795422863531273418512241/67617886\ 579941390855746612133965809618012618625*c_0101_4^17 - 1425571690060329469008875100027556015237277941907072149862/67617886\ 579941390855746612133965809618012618625*c_0101_4^16 - 1353406717239858342451325934955736307615228551863719641703/67617886\ 579941390855746612133965809618012618625*c_0101_4^15 + 1354181404676098839993007365467224776927397000972841113702/67617886\ 579941390855746612133965809618012618625*c_0101_4^14 + 4162887697953733690312252181730476088686381282372690467/49356121591\ 1980955151435125065443865824909625*c_0101_4^13 - 923260112257491012132575245611822374192975792394168369679/676178865\ 79941390855746612133965809618012618625*c_0101_4^12 + 18858354783932455835082369498474912277681634878606851/1040275178152\ 944474703794032830243224892501825*c_0101_4^11 + 498486387008440182306426649355012787638317013597014911198/676178865\ 79941390855746612133965809618012618625*c_0101_4^10 - 38090242035042158111509080775785512115237449567908970267/1352357731\ 5988278171149322426793161923602523725*c_0101_4^9 - 275982333182310430432551466511231797288157093990903359941/676178865\ 79941390855746612133965809618012618625*c_0101_4^8 + 94511747395177308514914608838775563395894307156103278478/6761788657\ 9941390855746612133965809618012618625*c_0101_4^7 + 125170565135148436231314246693490194263181593371631072876/676178865\ 79941390855746612133965809618012618625*c_0101_4^6 - 3533485488757148311301329208699677923198587592293612506/67617886579\ 941390855746612133965809618012618625*c_0101_4^5 - 28332390632667949133582240306716191501886054878378993488/6761788657\ 9941390855746612133965809618012618625*c_0101_4^4 - 5744558161616133685207774935857214760872762194969093853/67617886579\ 941390855746612133965809618012618625*c_0101_4^3 + 1897203663327027933718417480771296595757550667373048371/67617886579\ 941390855746612133965809618012618625*c_0101_4^2 + 165134719512413173381018693453926937455609229722062647/135235773159\ 88278171149322426793161923602523725*c_0101_4 + 84125471673647081420345906958632151603237424697161839/6761788657994\ 1390855746612133965809618012618625, c_0011_6 - 44579346375675930481952493565008526581749386705751078/676178\ 86579941390855746612133965809618012618625*c_0101_4^34 + 64975879232176032822555629481526707305327823383671627/6761788657994\ 1390855746612133965809618012618625*c_0101_4^33 + 279362526371880622221684535934757903523511496872127656/135235773159\ 88278171149322426793161923602523725*c_0101_4^32 - 3224694761415407200860373613274227263392497014152407389/67617886579\ 941390855746612133965809618012618625*c_0101_4^31 - 9580338297972154975737134124956405276774667554886906957/67617886579\ 941390855746612133965809618012618625*c_0101_4^30 + 21591147132808310103896044507975297049703334992045704339/6761788657\ 9941390855746612133965809618012618625*c_0101_4^29 + 52844823710357735846525759438891718435057391385445694759/6761788657\ 9941390855746612133965809618012618625*c_0101_4^28 - 8238239377620105643195523296524389447976337259174840379/52013758907\ 64722373518970164151216124462509125*c_0101_4^27 - 151965030696327991675001827672563574330447132871415766883/676178865\ 79941390855746612133965809618012618625*c_0101_4^26 + 5799986616263885228323222167826912989647732038080818907/10402751781\ 52944474703794032830243224892501825*c_0101_4^25 + 39462923413208868698429064756685462313639541923981421/1253343588136\ 0776803660169070243894275813275*c_0101_4^24 - 901374532247017246404860686097866033513623698694461828262/676178865\ 79941390855746612133965809618012618625*c_0101_4^23 - 25848838498711082745150866046339811088882989906104755647/6761788657\ 9941390855746612133965809618012618625*c_0101_4^22 + 1573484280912982659719962912224846455396743913213064170216/67617886\ 579941390855746612133965809618012618625*c_0101_4^21 - 42027224397323264630378356571204158101357759300163764767/5201375890\ 764722373518970164151216124462509125*c_0101_4^20 - 6652608096730755934806248295702285937251564720350328602/20805503563\ 0588894940758806566048644978500365*c_0101_4^19 + 1247811601616835031809141953980134644825510441832263868772/67617886\ 579941390855746612133965809618012618625*c_0101_4^18 + 2229181077953949400916653834812502961516238390066865425554/67617886\ 579941390855746612133965809618012618625*c_0101_4^17 - 1651136431229921652703683284693373852313652666125732762328/67617886\ 579941390855746612133965809618012618625*c_0101_4^16 - 1567271554643052487833587455577324079755625335781797668532/67617886\ 579941390855746612133965809618012618625*c_0101_4^15 + 1568387612881388861179093349040485386439402338549990554163/67617886\ 579941390855746612133965809618012618625*c_0101_4^14 + 4820208760544803014719845099008462307411995727915181198/49356121591\ 1980955151435125065443865824909625*c_0101_4^13 - 1069256966474142893011095476666513378353661062249497534426/67617886\ 579941390855746612133965809618012618625*c_0101_4^12 + 23020643587176371896274729102122546107970136014590244/1040275178152\ 944474703794032830243224892501825*c_0101_4^11 + 577284128445855840211058995387037796406509911799827817312/676178865\ 79941390855746612133965809618012618625*c_0101_4^10 - 44119681868693490352443732364298817801618780377026967673/1352357731\ 5988278171149322426793161923602523725*c_0101_4^9 - 319598983020172765693643201091017668865150228839883919729/676178865\ 79941390855746612133965809618012618625*c_0101_4^8 + 109468217105645665781648967120236283813279747347868907507/676178865\ 79941390855746612133965809618012618625*c_0101_4^7 + 144953535473458577684261982900844036540808285112783302744/676178865\ 79941390855746612133965809618012618625*c_0101_4^6 - 4096401682824340646022961497215497749256276277175662714/67617886579\ 941390855746612133965809618012618625*c_0101_4^5 - 32810689215031754743880784839600920892267015528677356197/6761788657\ 9941390855746612133965809618012618625*c_0101_4^4 - 6651982114985864551219519699472462829944342943071484632/67617886579\ 941390855746612133965809618012618625*c_0101_4^3 + 2197136440594001509522037997628441407654830991590717899/67617886579\ 941390855746612133965809618012618625*c_0101_4^2 + 191230444077689566947718025590057160268465160164075843/135235773159\ 88278171149322426793161923602523725*c_0101_4 + 97417643162101238547952931420463188312171023158449091/6761788657994\ 1390855746612133965809618012618625, c_0101_0 - 2105366918863613146152404681592229907365048597713714/6761788\ 6579941390855746612133965809618012618625*c_0101_4^34 + 3062270551984634225742283374522294028283609253149951/67617886579941\ 390855746612133965809618012618625*c_0101_4^33 + 13197359545441007072673066158869754144791553070664203/1352357731598\ 8278171149322426793161923602523725*c_0101_4^32 - 152116348913792119488999425400051190115009581322973282/676178865799\ 41390855746612133965809618012618625*c_0101_4^31 - 453201503054114895060171541112396705410407482702101491/676178865799\ 41390855746612133965809618012618625*c_0101_4^30 + 1019261190691398855103112616179404328094655456335419507/67617886579\ 941390855746612133965809618012618625*c_0101_4^29 + 2500151567487222793947298674869614337872335136309292467/67617886579\ 941390855746612133965809618012618625*c_0101_4^28 - 388942710709881771156581769263346541456671869102390652/520137589076\ 4722373518970164151216124462509125*c_0101_4^27 - 7198989886187266461587656393037697529178922735105333304/67617886579\ 941390855746612133965809618012618625*c_0101_4^26 + 274037043991930818024173161971365976371996969402842241/104027517815\ 2944474703794032830243224892501825*c_0101_4^25 + 1875476483881643024566148378602564934662005831327573/12533435881360\ 776803660169070243894275813275*c_0101_4^24 - 42631982949122510256828237245455752233041847846124085456/6761788657\ 9941390855746612133965809618012618625*c_0101_4^23 - 1320255781128714098345151663719759221232450353463050711/67617886579\ 941390855746612133965809618012618625*c_0101_4^22 + 74489485008391706414946050376207616454316974125986890708/6761788657\ 9941390855746612133965809618012618625*c_0101_4^21 - 1978913035806552088576981304839227337170419692612101146/52013758907\ 64722373518970164151216124462509125*c_0101_4^20 - 315161286553867906468134104225432034493764543217972411/208055035630\ 588894940758806566048644978500365*c_0101_4^19 + 58955105179309000435868611375451503062543097054344082211/6761788657\ 9941390855746612133965809618012618625*c_0101_4^18 + 105675750750920511036222523058882342073326828902252494802/676178865\ 79941390855746612133965809618012618625*c_0101_4^17 - 78149808660290005945984518450610712934324687066813900464/6761788657\ 9941390855746612133965809618012618625*c_0101_4^16 - 74354316853146043149095519507961039190819182225999700341/6761788657\ 9941390855746612133965809618012618625*c_0101_4^15 + 74342604409389079503584533749691396200455414178280783819/6761788657\ 9941390855746612133965809618012618625*c_0101_4^14 + 228816697478536786319888197429019976815483302158400524/493561215911\ 980955151435125065443865824909625*c_0101_4^13 - 50745675180625930783455726138642644416281363216474343563/6761788657\ 9941390855746612133965809618012618625*c_0101_4^12 + 1072165179078251970894920615367270751530799656145472/10402751781529\ 44474703794032830243224892501825*c_0101_4^11 + 27405993464629830674295488437497491144375473478769768731/6761788657\ 9941390855746612133965809618012618625*c_0101_4^10 - 2094839907728593565831191821495554467104875997311338774/13523577315\ 988278171149322426793161923602523725*c_0101_4^9 - 15149250894462852036874583073537297888245719772123516202/6761788657\ 9941390855746612133965809618012618625*c_0101_4^8 + 5208418714437662182796012670787687991400866455907417016/67617886579\ 941390855746612133965809618012618625*c_0101_4^7 + 6861812755239758990797544237720423195822543252909271772/67617886579\ 941390855746612133965809618012618625*c_0101_4^6 - 205903284274348865438188791974857321693575356166994007/676178865799\ 41390855746612133965809618012618625*c_0101_4^5 - 1553087369639053994554247569757628552496732968666803736/67617886579\ 941390855746612133965809618012618625*c_0101_4^4 - 312172909010274557438052902747362616937075553695100516/676178865799\ 41390855746612133965809618012618625*c_0101_4^3 + 104267451954064350973941117159125530911102051107250787/676178865799\ 41390855746612133965809618012618625*c_0101_4^2 + 9006451480844003756081268969593963389145275416451859/13523577315988\ 278171149322426793161923602523725*c_0101_4 + 4568689102492842292591648331169340391763884875172833/67617886579941\ 390855746612133965809618012618625, c_0101_1 - 21995625837670474550034555689424285611240680091180544/676178\ 86579941390855746612133965809618012618625*c_0101_4^34 + 31812685226622620785084115294491044503046329062325421/6761788657994\ 1390855746612133965809618012618625*c_0101_4^33 + 137933623673680226787700034852577692265425335637015738/135235773159\ 88278171149322426793161923602523725*c_0101_4^32 - 1583571025401129786924399798206114459357943620502280947/67617886579\ 941390855746612133965809618012618625*c_0101_4^31 - 4748341154310128447456934135945158974401404216737612386/67617886579\ 941390855746612133965809618012618625*c_0101_4^30 + 10610165784423292609610162367208400096799204005049305172/6761788657\ 9941390855746612133965809618012618625*c_0101_4^29 + 26213488417458161833637725043220534371082059763294818332/6761788657\ 9941390855746612133965809618012618625*c_0101_4^28 - 4047324658795265116913992985183410805406609151447199342/52013758907\ 64722373518970164151216124462509125*c_0101_4^27 - 75679237385587483856870076285355260652690531828089931059/6761788657\ 9941390855746612133965809618012618625*c_0101_4^26 + 2853843682769276591645508897519920368864605818757832461/10402751781\ 52944474703794032830243224892501825*c_0101_4^25 + 19902475134811033856024173794577142333806873628583083/1253343588136\ 0776803660169070243894275813275*c_0101_4^24 - 444654997232133815022639795676997560189374344456223964026/676178865\ 79941390855746612133965809618012618625*c_0101_4^23 - 17783024954316268526423114533330227959248226748551268506/6761788657\ 9941390855746612133965809618012618625*c_0101_4^22 + 778579219875600750043297014291672557349837011106132800593/676178865\ 79941390855746612133965809618012618625*c_0101_4^21 - 20146467612499489939483216144623675895615467832027703266/5201375890\ 764722373518970164151216124462509125*c_0101_4^20 - 3302796051898634462899241738012150023092807820154995501/20805503563\ 0588894940758806566048644978500365*c_0101_4^19 + 606814332944576159631077438465527445675286331933734650381/676178865\ 79941390855746612133965809618012618625*c_0101_4^18 + 1110950126897794983669660337188785984698341444325192196617/67617886\ 579941390855746612133965809618012618625*c_0101_4^17 - 807528280539278041735237286117375899871240809282353475044/676178865\ 79941390855746612133965809618012618625*c_0101_4^16 - 785792054498331590505978197310040123870259193827488622486/676178865\ 79941390855746612133965809618012618625*c_0101_4^15 + 771033961908798262497702004754964373776329017658197123624/676178865\ 79941390855746612133965809618012618625*c_0101_4^14 + 2451332106713739483721765777935899699557087983419930929/49356121591\ 1980955151435125065443865824909625*c_0101_4^13 - 528612985818462788709001987721952207121660729329545177298/676178865\ 79941390855746612133965809618012618625*c_0101_4^12 - 72248632661919933464806664457883810422788994495588963/1040275178152\ 944474703794032830243224892501825*c_0101_4^11 + 287392338599975754230765387852933393844135736158841203301/676178865\ 79941390855746612133965809618012618625*c_0101_4^10 - 21369444726896753022046101329410957157462894490616097229/1352357731\ 5988278171149322426793161923602523725*c_0101_4^9 - 159850087214043825882306999638692827711849294315431100017/676178865\ 79941390855746612133965809618012618625*c_0101_4^8 + 53255334098472485945915373155428124971620387198224073911/6761788657\ 9941390855746612133965809618012618625*c_0101_4^7 + 72482400782345326052941277346698674865492121471063790737/6761788657\ 9941390855746612133965809618012618625*c_0101_4^6 - 1670016539173746098376992149546947018959544824443371922/67617886579\ 941390855746612133965809618012618625*c_0101_4^5 - 16376777929503579506778283040606579062627784027227970781/6761788657\ 9941390855746612133965809618012618625*c_0101_4^4 - 3375630967224792560145442693104752703135771912780292661/67617886579\ 941390855746612133965809618012618625*c_0101_4^3 + 1091231963880567969179056581241744181133528401207126427/67617886579\ 941390855746612133965809618012618625*c_0101_4^2 + 96118272929423661731345354512769329746217773539774839/1352357731598\ 8278171149322426793161923602523725*c_0101_4 + 49211268784442729540902393634952040474821692220383468/6761788657994\ 1390855746612133965809618012618625, c_0101_2 - 39546125297971150938393413393623625021488037991410761/676178\ 86579941390855746612133965809618012618625*c_0101_4^34 + 57640971832352310384042677603047332180118181269932699/6761788657994\ 1390855746612133965809618012618625*c_0101_4^33 + 247820657669502562222931627827111989120681101863535322/135235773159\ 88278171149322426793161923602523725*c_0101_4^32 - 2860646540517122129079483873841830068108059787711460018/67617886579\ 941390855746612133965809618012618625*c_0101_4^31 - 8498562924415625183446196390088467326437551848821203034/67617886579\ 941390855746612133965809618012618625*c_0101_4^30 + 19153581605526620377113671856954790220906774967462047293/6761788657\ 9941390855746612133965809618012618625*c_0101_4^29 + 46877698529826399411075153174294675864894885535338697958/6761788657\ 9941390855746612133965809618012618625*c_0101_4^28 - 7308173638605087647907628556870577776991302249405635023/52013758907\ 64722373518970164151216124462509125*c_0101_4^27 - 134803996828283073250929695942868784213401204833809932796/676178865\ 79941390855746612133965809618012618625*c_0101_4^26 + 5145165597064503662137568236145888917123074096658200384/10402751781\ 52944474703794032830243224892501825*c_0101_4^25 + 35005322059970532136583804463934948477693835680389252/1253343588136\ 0776803660169070243894275813275*c_0101_4^24 - 799603052503646637676542621929956802683378024488909780819/676178865\ 79941390855746612133965809618012618625*c_0101_4^23 - 22908055700981913799956963313243609754276892515724353314/6761788657\ 9941390855746612133965809618012618625*c_0101_4^22 + 1395815726120493183593400771015803411459860848560854757367/67617886\ 579941390855746612133965809618012618625*c_0101_4^21 - 37284548967812079875374868820590329383078451889424645379/5201375890\ 764722373518970164151216124462509125*c_0101_4^20 - 5901386959491576727884150448075653032044675902720648914/20805503563\ 0588894940758806566048644978500365*c_0101_4^19 + 1106959772938639441269620986549736826836259110128969373439/67617886\ 579941390855746612133965809618012618625*c_0101_4^18 + 1977441380070740681895810035598405733104681122254491601873/67617886\ 579941390855746612133965809618012618625*c_0101_4^17 - 1464736055019518857079913631892226313356243086585405904636/67617886\ 579941390855746612133965809618012618625*c_0101_4^16 - 1390262080436978279320399888753772267838973023882656317184/67617886\ 579941390855746612133965809618012618625*c_0101_4^15 + 1391310860495086853912317333383373223888041600481337241406/67617886\ 579941390855746612133965809618012618625*c_0101_4^14 + 4275681201180251340826757956641866372359331253226653326/49356121591\ 1980955151435125065443865824909625*c_0101_4^13 - 948521513762290305480154747360786646281676302774927661387/676178865\ 79941390855746612133965809618012618625*c_0101_4^12 + 20722843737720463681735695166000584691339537562651128/1040275178152\ 944474703794032830243224892501825*c_0101_4^11 + 512092693270349313693024988407268547679810755707068818169/676178865\ 79941390855746612133965809618012618625*c_0101_4^10 - 39139478367963906399306007286987017302772029556550591226/1352357731\ 5988278171149322426793161923602523725*c_0101_4^9 - 283505381102129362786934335370831856632001150488898856223/676178865\ 79941390855746612133965809618012618625*c_0101_4^8 + 97110601945905922479117126150123988402206471267875935259/6761788657\ 9941390855746612133965809618012618625*c_0101_4^7 + 128583655703570095014836751204396063327461140781196464403/676178865\ 79941390855746612133965809618012618625*c_0101_4^6 - 3635004995912769922488399082024212875805872217217482918/67617886579\ 941390855746612133965809618012618625*c_0101_4^5 - 29105442258308526289847001565515215131853113293420942039/6761788657\ 9941390855746612133965809618012618625*c_0101_4^4 - 5900606485738667885486350775706571347342990581370175634/67617886579\ 941390855746612133965809618012618625*c_0101_4^3 + 1949037759222837628699164706014762472756420134132301013/67617886579\ 941390855746612133965809618012618625*c_0101_4^2 + 169632973984999162807642459491646454688514043696338666/135235773159\ 88278171149322426793161923602523725*c_0101_4 + 86414419359597871591104484813487943648631924597179742/6761788657994\ 1390855746612133965809618012618625, c_0101_4^35 - c_0101_4^34 - 32*c_0101_4^33 + 58*c_0101_4^32 + 248*c_0101_4^31 - 386*c_0101_4^30 - 1407*c_0101_4^29 + 1860*c_0101_4^28 + 4508*c_0101_4^27 - 6897*c_0101_4^26 - 8645*c_0101_4^25 + 18034*c_0101_4^24 + 9831*c_0101_4^23 - 35030*c_0101_4^22 - 3894*c_0101_4^21 + 54106*c_0101_4^20 - 5799*c_0101_4^19 - 62810*c_0101_4^18 + 14157*c_0101_4^17 + 52102*c_0101_4^16 - 19094*c_0101_4^15 - 30910*c_0101_4^14 + 17206*c_0101_4^13 + 10941*c_0101_4^12 - 12964*c_0101_4^11 - 977*c_0101_4^10 + 9433*c_0101_4^9 + 825*c_0101_4^8 - 4375*c_0101_4^7 - 1396*c_0101_4^6 + 778*c_0101_4^5 + 486*c_0101_4^4 + 19*c_0101_4^3 - 44*c_0101_4^2 - 12*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB