Magma V2.19-8 Tue Aug 20 2013 23:38:42 on localhost [Seed = 2067603254] Type ? for help. Type -D to quit. Loading file "K12a169__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a169 geometric_solution 8.66385132 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 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 -1 1 0 2 0 -2 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.862272397282 0.550986390652 0 2 5 4 0132 0213 0132 3120 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 1 0 -1 -2 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.674677263207 0.253835913222 6 0 1 7 0132 0132 0213 0132 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 1 -1 0 0 0 0 0 -2 0 0 2 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.845222076252 0.894455578918 8 9 7 0 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 1 -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 1 -1 0 0 -2 2 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.056723452987 1.472756605856 1 5 0 9 3120 0132 0132 0213 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.376277351526 0.742336927383 6 4 6 1 3201 0132 0213 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 1 -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.361440355086 0.585181357956 2 5 7 5 0132 0213 0132 2310 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 -1 1 1 -1 0 0 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.361440355086 0.585181357956 3 9 2 6 2031 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -1 0 0 1 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.084563970323 0.847420341767 3 10 9 10 0132 0132 3201 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.172549826280 1.003641575320 8 3 7 4 2310 0132 0213 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.337404636993 0.770946803773 8 8 10 10 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.444253329482 0.088350211158 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0110_10']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0011_7']), 'c_1010_10' : negation(d['c_0011_7']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0011_7'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_1001_5'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : d['c_0101_6'], 'c_1100_7' : negation(d['c_0011_4']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0011_4']), 'c_1100_10' : d['c_0011_7'], 'c_1010_7' : d['c_1001_5'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_0101_6'], 'c_1010_8' : negation(d['c_0110_10']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0110_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0110_10'], 'c_0011_6' : d['c_0011_0'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_7']), 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_7'], 'c_0101_8' : d['c_0101_0'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_0']), 'c_0110_8' : negation(d['c_0011_7']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_6'], 'c_1100_8' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_6, c_0110_10, c_1001_0, c_1001_1, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 4649414812612698523272390124136675947418756215332800094543513850038\ 06985/3242222988567745916982261515582640115818420358852923033104634\ 0757780743786*c_1001_5^23 + 125157526945038444028939451525996676137\ 077711236083911906906254018915727/120082332909916515443787463540097\ 7820673489021797378901149864472510397918*c_1001_5^22 - 2030442537068947041931714026381481304120946943518071274554768294555\ 7235939/32422229885677459169822615155826401158184203588529230331046\ 340757780743786*c_1001_5^21 + 3173800352942064084653898291155172576\ 7710962170933696425632052296818624133/16211114942838729584911307577\ 913200579092101794264615165523170378890371893*c_1001_5^20 - 1544469067947501091402703303254964442495706179863475181615785698962\ 00661485/3242222988567745916982261515582640115818420358852923033104\ 6340757780743786*c_1001_5^19 + 773739732863959917857582570154072277\ 24372124926239547567055825149367316227/3242222988567745916982261515\ 5826401158184203588529230331046340757780743786*c_1001_5^18 + 9806072407378228658855643504007743912400185650143188497453433286187\ 5105904/54037049809462431949704358593044001930307005980882050551743\ 90126296790631*c_1001_5^17 - 15534005327549830733035985910778832484\ 01350286562161194671843585457961062046/1621111494283872958491130757\ 7913200579092101794264615165523170378890371893*c_1001_5^16 + 8323298914771256061128487609598307099866301530498198096805849741734\ 08554669/3602469987297495463313623906202933462020467065392136703449\ 593417531193754*c_1001_5^15 - 1290780269836912801120422250938420439\ 4966346525389008359886504830829551531049/32422229885677459169822615\ 155826401158184203588529230331046340757780743786*c_1001_5^14 + 5638384765847339004210862418872487897161529155150764283292676415237\ 274732708/162111149428387295849113075779132005790921017942646151655\ 23170378890371893*c_1001_5^13 - 32791285764748047991811924746731019\ 12726568333922959986959351312300359999807/1621111494283872958491130\ 7577913200579092101794264615165523170378890371893*c_1001_5^12 - 1487916312048767022677709065157209117603663270358315032248663978666\ 0877762891/32422229885677459169822615155826401158184203588529230331\ 046340757780743786*c_1001_5^11 - 7891209876790004709176967559570865\ 79033239130848028815555888553772863726328/1801234993648747731656811\ 953101466731010233532696068351724796708765596877*c_1001_5^10 - 4180574859486477038536095265704702841640688850561388084182439593635\ 974641513/324222298856774591698226151558264011581842035885292303310\ 46340757780743786*c_1001_5^9 - 104677448214130495243569863551233021\ 724780132728173181555248158390888022460043/324222298856774591698226\ 15155826401158184203588529230331046340757780743786*c_1001_5^8 - 2963793755322092942457921096371931950591285375718448851255941633820\ 3623234276/16211114942838729584911307577913200579092101794264615165\ 523170378890371893*c_1001_5^7 - 30935898998925859980043681810328414\ 788716226660397310487808303616899502503813/108074099618924863899408\ 71718608800386061401196176410110348780252593581262*c_1001_5^6 - 1022602313005667515604933357764861399188777713845037816659892281453\ 54226939927/1621111494283872958491130757791320057909210179426461516\ 5523170378890371893*c_1001_5^5 - 2166025793088042957460362973479936\ 06161434093764146714810703425390602719428267/3242222988567745916982\ 2615155826401158184203588529230331046340757780743786*c_1001_5^4 - 2310940270590673133792110566200271330575276892756198186150623428179\ 5434495882/54037049809462431949704358593044001930307005980882050551\ 74390126296790631*c_1001_5^3 - 722489594343072251154321782330146888\ 25983943957616842528733576078755693259859/1080740996189248638994087\ 1718608800386061401196176410110348780252593581262*c_1001_5^2 - 1034755612694186824500957475135184252747713412726959585249053457882\ 01818747822/1621111494283872958491130757791320057909210179426461516\ 5523170378890371893*c_1001_5 - 100192219317259403753123510101627361\ 3716732017300973892308375436142500332441/40027444303305505147929154\ 5133659273557829673932459633716621490836799306, c_0011_0 - 1, c_0011_10 - 504735879022935370209239809302727525003675425554303463703/7\ 59868155905892320751558737801262061480439845336890716052303033*c_10\ 01_5^23 + 100390395725159710201254766853000881109257181510976349403\ 0/253289385301964106917186245933754020493479948445630238684101011*c\ _1001_5^22 - 162825971374909063031979861489705719036173755438041795\ 71105/7598681559058923207515587378012620614804398453368907160523030\ 33*c_1001_5^21 + 36234870548435702166080419580119627485524362879608\ 773984050/759868155905892320751558737801262061480439845336890716052\ 303033*c_1001_5^20 - 6046572711204960164390480660747067533568279718\ 3796912713576/75986815590589232075155873780126206148043984533689071\ 6052303033*c_1001_5^19 - 119643503596980704395854585566270500868731\ 095929100024298786/759868155905892320751558737801262061480439845336\ 890716052303033*c_1001_5^18 + 1945582728216833478765437484794347924\ 98012565281909859083130/2532893853019641069171862459337540204934799\ 48445630238684101011*c_1001_5^17 - 1567474156333368791634162473020366997052069939417509214697859/75986\ 8155905892320751558737801262061480439845336890716052303033*c_1001_5\ ^16 + 555120529148427746008152049952240392237180621806954461936149/\ 253289385301964106917186245933754020493479948445630238684101011*c_1\ 001_5^15 - 44343520743688025952868611595860307401020053978107409931\ 7790/75986815590589232075155873780126206148043984533689071605230303\ 3*c_1001_5^14 - 460012503646710900979773014599869255791967309629528\ 7991734095/75986815590589232075155873780126206148043984533689071605\ 2303033*c_1001_5^13 - 996934606933666732408559864201733092905312166\ 180106600265765/759868155905892320751558737801262061480439845336890\ 716052303033*c_1001_5^12 - 3608701719602467379768467549429545197457\ 960523578866870120276/759868155905892320751558737801262061480439845\ 336890716052303033*c_1001_5^11 - 9446868316992249044432630362992173\ 595815596451780020188275573/253289385301964106917186245933754020493\ 479948445630238684101011*c_1001_5^10 - 29126187585582214657055523633663422561240936192088446116714333/7598\ 68155905892320751558737801262061480439845336890716052303033*c_1001_\ 5^9 - 3668495644777841316672918185454752875450483621547512677181710\ 4/759868155905892320751558737801262061480439845336890716052303033*c\ _1001_5^8 - 7335530921712020581990799535912282209949118505742335771\ 6365156/75986815590589232075155873780126206148043984533689071605230\ 3033*c_1001_5^7 - 1119172134784800298486013954968585395926982261720\ 3475646910404/25328938530196410691718624593375402049347994844563023\ 8684101011*c_1001_5^6 - 5408977754722967261913711908318841111198805\ 42782225799436790313/7598681559058923207515587378012620614804398453\ 36890716052303033*c_1001_5^5 + 839902653439138373737509627949794838\ 282038124006719077288970226/759868155905892320751558737801262061480\ 439845336890716052303033*c_1001_5^4 - 296955177433876833276152695919638345106129056680704331157931546/253\ 289385301964106917186245933754020493479948445630238684101011*c_1001\ _5^3 - 890117582158994977023498378849395197645810892026158991351059\ 55/253289385301964106917186245933754020493479948445630238684101011*\ c_1001_5^2 + 534512110930417893518743265463359172693750531504185494\ 263524083/759868155905892320751558737801262061480439845336890716052\ 303033*c_1001_5 + 1776934525844117645450758456788053881754700391173\ 92873903541744/2532893853019641069171862459337540204934799484456302\ 38684101011, c_0011_4 + 637736353278864311517678685219822143199358416162640809055/22\ 79604467717676962254676213403786184441319536010672148156909099*c_10\ 01_5^23 - 563585528481201454343716882134334357011294351330572662612\ /253289385301964106917186245933754020493479948445630238684101011*c_\ 1001_5^22 + 3096469191476114630012687739384383630261523399423622881\ 3212/22796044677176769622546762134037861844413195360106721481569090\ 99*c_1001_5^21 - 11110205427037458580684414510686353247202671423000\ 0071219741/22796044677176769622546762134037861844413195360106721481\ 56909099*c_1001_5^20 + 32235637334566952914530754115000019437439716\ 0308754638508951/22796044677176769622546762134037861844413195360106\ 72148156909099*c_1001_5^19 - 59915049219914345182879100184896995607\ 5458787469355500195104/22796044677176769622546762134037861844413195\ 36010672148156909099*c_1001_5^18 + 261861427081375299960003752338692693641139636096338878723075/759868\ 155905892320751558737801262061480439845336890716052303033*c_1001_5^\ 17 - 284564082255919735675296219497785268432017448345951117295815/2\ 279604467717676962254676213403786184441319536010672148156909099*c_1\ 001_5^16 - 69377774212794811946410468074109458317563199397535525758\ 404/253289385301964106917186245933754020493479948445630238684101011\ *c_1001_5^15 + 1464902309298404861325421260431618415237308311927736\ 456085617/227960446771767696225467621340378618444131953601067214815\ 6909099*c_1001_5^14 + 194825086619561912935593118074434113970799411\ 8086865622374257/22796044677176769622546762134037861844413195360106\ 72148156909099*c_1001_5^13 - 13803803900622683422567918185723722287\ 60258309871550063156622/2279604467717676962254676213403786184441319\ 536010672148156909099*c_1001_5^12 + 8746191046218017016783288993517294533696869682142950067434319/22796\ 04467717676962254676213403786184441319536010672148156909099*c_1001_\ 5^11 + 150626335991641417854196761291989594380289588775227198372318\ 2/253289385301964106917186245933754020493479948445630238684101011*c\ _1001_5^10 + 110628781312558211260738778917852041197554188544230669\ 02976002/2279604467717676962254676213403786184441319536010672148156\ 909099*c_1001_5^9 + 26033450756465420973426103835162516823262077465\ 151310936808878/227960446771767696225467621340378618444131953601067\ 2148156909099*c_1001_5^8 + 4623290486919661050430130484070343512086\ 0798337672136152584023/22796044677176769622546762134037861844413195\ 36010672148156909099*c_1001_5^7 + 146258387751202156893330985596698\ 71250254859835611747795719825/7598681559058923207515587378012620614\ 80439845336890716052303033*c_1001_5^6 + 47063414712327947340691581201772632755572703806073984249688089/2279\ 604467717676962254676213403786184441319536010672148156909099*c_1001\ _5^5 + 574790595642268305856069879828493536397828909455199125616203\ 99/2279604467717676962254676213403786184441319536010672148156909099\ *c_1001_5^4 + 38051157653121628782258175723029876419741070065762519\ 01483649/7598681559058923207515587378012620614804398453368907160523\ 03033*c_1001_5^3 - 592014118734063640902634130282665012600155946840\ 34695116557836/7598681559058923207515587378012620614804398453368907\ 16052303033*c_1001_5^2 - 623317796284134424349744376686222713482461\ 273405196646672052981/227960446771767696225467621340378618444131953\ 6010672148156909099*c_1001_5 - 156465651265631915822665607222909753\ 112927298260027498889409820/253289385301964106917186245933754020493\ 479948445630238684101011, c_0011_7 - 273579365325990137301024081342343300262099992741954004633227\ /2279604467717676962254676213403786184441319536010672148156909099*c\ _1001_5^23 + 334087775990200225109315610527435023126463498282618102\ 810910/253289385301964106917186245933754020493479948445630238684101\ 011*c_1001_5^22 - 2216303918926945458088682543709425204971214938089\ 2086491428878/22796044677176769622546762134037861844413195360106721\ 48156909099*c_1001_5^21 + 11001153424364552343902267363897324920115\ 1172280635877385371845/22796044677176769622546762134037861844413195\ 36010672148156909099*c_1001_5^20 - 429121075857635375727809732035402207013075677911204498173826691/227\ 9604467717676962254676213403786184441319536010672148156909099*c_100\ 1_5^19 + 1303739891644649225985910950282185617818630812309264358730\ 890392/227960446771767696225467621340378618444131953601067214815690\ 9099*c_1001_5^18 - 106816733491824880623844303727316257287144836934\ 5044901071643866/75986815590589232075155873780126206148043984533689\ 0716052303033*c_1001_5^17 + 627126428019144181989760597679498857252\ 9271178366226500519670399/22796044677176769622546762134037861844413\ 19536010672148156909099*c_1001_5^16 - 1078059196484576423998794405525718535710446440037269382621956568/25\ 3289385301964106917186245933754020493479948445630238684101011*c_100\ 1_5^15 + 1113707465053115596082085953828108577849964867537757653138\ 4630810/22796044677176769622546762134037861844413195360106721481569\ 09099*c_1001_5^14 - 90060296798646620211587538017582591460897253901\ 00002313126629961/2279604467717676962254676213403786184441319536010\ 672148156909099*c_1001_5^13 + 3022647521319745817108293788935673671\ 011013697205188158219013275/227960446771767696225467621340378618444\ 1319536010672148156909099*c_1001_5^12 - 2454399737995008058061050120556839761834644695208744137137753614/22\ 79604467717676962254676213403786184441319536010672148156909099*c_10\ 01_5^11 + 626569053818130188342927631613508706962212293264159095097\ 758032/253289385301964106917186245933754020493479948445630238684101\ 011*c_1001_5^10 - 2135445055990026838944248138810134755081302489167\ 2340398310279363/22796044677176769622546762134037861844413195360106\ 72148156909099*c_1001_5^9 + 169155589345843650854831995153079384307\ 00683379287232880289861453/2279604467717676962254676213403786184441\ 319536010672148156909099*c_1001_5^8 - 12440658496624953811125552842602657901071552707370156483469913559/2\ 279604467717676962254676213403786184441319536010672148156909099*c_1\ 001_5^7 - 444652376587925782465732332304215631536559903240137468410\ 7526070/75986815590589232075155873780126206148043984533689071605230\ 3033*c_1001_5^6 + 5231959210606251287402460148245587701826297636287\ 952681789862056/227960446771767696225467621340378618444131953601067\ 2148156909099*c_1001_5^5 + 5436466589420515681574266800057352029524\ 947858354305340633286659/227960446771767696225467621340378618444131\ 9536010672148156909099*c_1001_5^4 - 4140943761784048463643940756034698024619754726068697806315192270/75\ 9868155905892320751558737801262061480439845336890716052303033*c_100\ 1_5^3 + 31181043750636365928349618767360102505202468479036097730817\ 45232/7598681559058923207515587378012620614804398453368907160523030\ 33*c_1001_5^2 + 150904362342078376335487521463312721502867321232299\ 88493916573385/2279604467717676962254676213403786184441319536010672\ 148156909099*c_1001_5 + 5288736020768351392755944254243980529002594\ 09246141338876014899/2532893853019641069171862459337540204934799484\ 45630238684101011, c_0101_0 + 637736353278864311517678685219822143199358416162640809055/22\ 79604467717676962254676213403786184441319536010672148156909099*c_10\ 01_5^23 - 563585528481201454343716882134334357011294351330572662612\ /253289385301964106917186245933754020493479948445630238684101011*c_\ 1001_5^22 + 3096469191476114630012687739384383630261523399423622881\ 3212/22796044677176769622546762134037861844413195360106721481569090\ 99*c_1001_5^21 - 11110205427037458580684414510686353247202671423000\ 0071219741/22796044677176769622546762134037861844413195360106721481\ 56909099*c_1001_5^20 + 32235637334566952914530754115000019437439716\ 0308754638508951/22796044677176769622546762134037861844413195360106\ 72148156909099*c_1001_5^19 - 59915049219914345182879100184896995607\ 5458787469355500195104/22796044677176769622546762134037861844413195\ 36010672148156909099*c_1001_5^18 + 261861427081375299960003752338692693641139636096338878723075/759868\ 155905892320751558737801262061480439845336890716052303033*c_1001_5^\ 17 - 284564082255919735675296219497785268432017448345951117295815/2\ 279604467717676962254676213403786184441319536010672148156909099*c_1\ 001_5^16 - 69377774212794811946410468074109458317563199397535525758\ 404/253289385301964106917186245933754020493479948445630238684101011\ *c_1001_5^15 + 1464902309298404861325421260431618415237308311927736\ 456085617/227960446771767696225467621340378618444131953601067214815\ 6909099*c_1001_5^14 + 194825086619561912935593118074434113970799411\ 8086865622374257/22796044677176769622546762134037861844413195360106\ 72148156909099*c_1001_5^13 - 13803803900622683422567918185723722287\ 60258309871550063156622/2279604467717676962254676213403786184441319\ 536010672148156909099*c_1001_5^12 + 8746191046218017016783288993517294533696869682142950067434319/22796\ 04467717676962254676213403786184441319536010672148156909099*c_1001_\ 5^11 + 150626335991641417854196761291989594380289588775227198372318\ 2/253289385301964106917186245933754020493479948445630238684101011*c\ _1001_5^10 + 110628781312558211260738778917852041197554188544230669\ 02976002/2279604467717676962254676213403786184441319536010672148156\ 909099*c_1001_5^9 + 26033450756465420973426103835162516823262077465\ 151310936808878/227960446771767696225467621340378618444131953601067\ 2148156909099*c_1001_5^8 + 4623290486919661050430130484070343512086\ 0798337672136152584023/22796044677176769622546762134037861844413195\ 36010672148156909099*c_1001_5^7 + 146258387751202156893330985596698\ 71250254859835611747795719825/7598681559058923207515587378012620614\ 80439845336890716052303033*c_1001_5^6 + 47063414712327947340691581201772632755572703806073984249688089/2279\ 604467717676962254676213403786184441319536010672148156909099*c_1001\ _5^5 + 574790595642268305856069879828493536397828909455199125616203\ 99/2279604467717676962254676213403786184441319536010672148156909099\ *c_1001_5^4 + 38051157653121628782258175723029876419741070065762519\ 01483649/7598681559058923207515587378012620614804398453368907160523\ 03033*c_1001_5^3 - 592014118734063640902634130282665012600155946840\ 34695116557836/7598681559058923207515587378012620614804398453368907\ 16052303033*c_1001_5^2 - 623317796284134424349744376686222713482461\ 273405196646672052981/227960446771767696225467621340378618444131953\ 6010672148156909099*c_1001_5 - 156465651265631915822665607222909753\ 112927298260027498889409820/253289385301964106917186245933754020493\ 479948445630238684101011, c_0101_1 - 310011605868779861834115606866599472704173259083858116224306\ /2279604467717676962254676213403786184441319536010672148156909099*c\ _1001_5^23 + 266049537717055900216105985406116068856598155893505919\ 734728/253289385301964106917186245933754020493479948445630238684101\ 011*c_1001_5^22 - 1472779527073462266602252421472898924792455563829\ 3833482456389/22796044677176769622546762134037861844413195360106721\ 48156909099*c_1001_5^21 + 50032483762047323595865732007641280376637\ 168051136360956594966/227960446771767696225467621340378618444131953\ 6010672148156909099*c_1001_5^20 - 133108306598270597699746887282564\ 878284543152443952385362058192/227960446771767696225467621340378618\ 4441319536010672148156909099*c_1001_5^19 + 147588132397419048515011610130310846534784016305159662010992439/227\ 9604467717676962254676213403786184441319536010672148156909099*c_100\ 1_5^18 + 6230007024245094357602343073316155666883817487275913311790\ 2106/75986815590589232075155873780126206148043984533689071605230303\ 3*c_1001_5^17 - 174263068978196660876984759136870366525083513171489\ 1024650610890/22796044677176769622546762134037861844413195360106721\ 48156909099*c_1001_5^16 + 52901583795393253481599306508366133894956\ 9425458946010406596045/25328938530196410691718624593375402049347994\ 8445630238684101011*c_1001_5^15 - 876149546604138566348336108177627\ 2688464006881414722176933409776/22796044677176769622546762134037861\ 84441319536010672148156909099*c_1001_5^14 + 8281878696866698445618855132284450501807849504970626103760260749/22\ 79604467717676962254676213403786184441319536010672148156909099*c_10\ 01_5^13 - 419711223303226659418664179767094183318539910368330099050\ 5797007/22796044677176769622546762134037861844413195360106721481569\ 09099*c_1001_5^12 - 12072322806580431445602636773217025198582734335\ 322061969594447136/227960446771767696225467621340378618444131953601\ 0672148156909099*c_1001_5^11 - 104435411468222151035113390391267709\ 518814313370759033345890739/253289385301964106917186245933754020493\ 479948445630238684101011*c_1001_5^10 - 7346340500385569054547647930187945740673414801464768418320616085/22\ 79604467717676962254676213403786184441319536010672148156909099*c_10\ 01_5^9 - 6208621762744548570470455855492707101168038075883670870275\ 1485713/22796044677176769622546762134037861844413195360106721481569\ 09099*c_1001_5^8 - 238496396584803203168828923845068456131025462339\ 53243705287750388/2279604467717676962254676213403786184441319536010\ 672148156909099*c_1001_5^7 - 17132821874197207197183907391932705804\ 305223255373533696000138328/759868155905892320751558737801262061480\ 439845336890716052303033*c_1001_5^6 - 125815347893000205368347068980949648414038401388814279261587584291/\ 2279604467717676962254676213403786184441319536010672148156909099*c_\ 1001_5^5 - 10174497333622705642557737428763291033948279252602315882\ 0005001697/22796044677176769622546762134037861844413195360106721481\ 56909099*c_1001_5^4 - 240114714447401376373561054902668736238686168\ 77619830522293470245/7598681559058923207515587378012620614804398453\ 36890716052303033*c_1001_5^3 - 418148323190262155801680982341327608\ 97463941667131392280800290974/7598681559058923207515587378012620614\ 80439845336890716052303033*c_1001_5^2 - 105881340768656124663544531947098293159572142296008952526586614193/\ 2279604467717676962254676213403786184441319536010672148156909099*c_\ 1001_5 - 3414018371834687259693048689968333680928532649855737344784\ 409590/253289385301964106917186245933754020493479948445630238684101\ 011, c_0101_6 - 995198606169523252999570481186278163832411144546668464287565\ /2279604467717676962254676213403786184441319536010672148156909099*c\ _1001_5^23 + 106777573846798528158885337306130655825881386481336299\ 4670198/25328938530196410691718624593375402049347994844563023868410\ 1011*c_1001_5^22 - 667483627084888591917639671954685926476067467797\ 13998945396445/2279604467717676962254676213403786184441319536010672\ 148156909099*c_1001_5^21 + 2988757534135671554644236389187462470059\ 67165576255089739380093/2279604467717676962254676213403786184441319\ 536010672148156909099*c_1001_5^20 - 1070957012524824450030042028967698740791067864114289071748487632/22\ 79604467717676962254676213403786184441319536010672148156909099*c_10\ 01_5^19 + 285375146445317031037602673610148072749917583131676016436\ 2181970/22796044677176769622546762134037861844413195360106721481569\ 09099*c_1001_5^18 - 20215431238546488640970431133295379110426782376\ 56389391481803453/7598681559058923207515587378012620614804398453368\ 90716052303033*c_1001_5^17 + 93598848458791525817902671991763390401\ 91623308289715701535218219/2279604467717676962254676213403786184441\ 319536010672148156909099*c_1001_5^16 - 1117077980357427392669824616613195000324681844780443921021724683/25\ 3289385301964106917186245933754020493479948445630238684101011*c_100\ 1_5^15 + 3573437319765508097526978066306792855255015951187403839191\ 438014/227960446771767696225467621340378618444131953601067214815690\ 9099*c_1001_5^14 + 449322220631767403763561189686927656884027787612\ 3796007465571636/22796044677176769622546762134037861844413195360106\ 72148156909099*c_1001_5^13 - 11899014310488757151251485871500901581\ 092853449487914017820015026/227960446771767696225467621340378618444\ 1319536010672148156909099*c_1001_5^12 - 15555227020188585844448558167959067811015577388669747082973689612/2\ 279604467717676962254676213403786184441319536010672148156909099*c_1\ 001_5^11 + 17216257421772238453165885597514049666952653514882349467\ 57328131/2532893853019641069171862459337540204934799484456302386841\ 01011*c_1001_5^10 - 61823406716438271651347345636663482355991344599\ 779475236407380669/227960446771767696225467621340378618444131953601\ 0672148156909099*c_1001_5^9 - 5788869352404349736727419065293802294\ 3507071067909086781747792672/22796044677176769622546762134037861844\ 41319536010672148156909099*c_1001_5^8 - 30150790878483798755862944924642333179285314206703132327256280068/2\ 279604467717676962254676213403786184441319536010672148156909099*c_1\ 001_5^7 - 417073560184552838554355927395894949540959100194575348771\ 49831076/7598681559058923207515587378012620614804398453368907160523\ 03033*c_1001_5^6 - 169297677051586614131337293015180724033591064221\ 373299565598526112/227960446771767696225467621340378618444131953601\ 0672148156909099*c_1001_5^5 - 1015320104978974413732098696991516805\ 27547538364293553035835093949/2279604467717676962254676213403786184\ 441319536010672148156909099*c_1001_5^4 - 44801457366943785731184596910415725187603006198135355974356438575/7\ 59868155905892320751558737801262061480439845336890716052303033*c_10\ 01_5^3 - 5807596278763722269091747097248260074662800301935891714937\ 9804418/75986815590589232075155873780126206148043984533689071605230\ 3033*c_1001_5^2 - 9823772314829316677251836558103082297014126005922\ 0023729916234682/22796044677176769622546762134037861844413195360106\ 72148156909099*c_1001_5 - 21618729113526358588140320849964509698022\ 52605464528648663247752/2532893853019641069171862459337540204934799\ 48445630238684101011, c_0110_10 - 25210701361579329988852314883351109403941152417292637337160\ /2279604467717676962254676213403786184441319536010672148156909099*c\ _1001_5^23 + 176922959269718108790385958957064367380644068991431618\ 75432/2532893853019641069171862459337540204934799484456302386841010\ 11*c_1001_5^22 - 88230384175770466999136280178185774106685562927476\ 3243483750/22796044677176769622546762134037861844413195360106721481\ 56909099*c_1001_5^21 + 21711790459081989108012319872174387606806927\ 09394718178924900/2279604467717676962254676213403786184441319536010\ 672148156909099*c_1001_5^20 - 4025669391043539402048736225756797839\ 782260506134780678054700/227960446771767696225467621340378618444131\ 9536010672148156909099*c_1001_5^19 - 4488105029201625069446555259242638610040077043999796405325159/22796\ 04467717676962254676213403786184441319536010672148156909099*c_1001_\ 5^18 + 102334143267101668317644580342824073603823644615814443551287\ 58/759868155905892320751558737801262061480439845336890716052303033*\ c_1001_5^17 - 90441479995478589553159587293934698571879865693751855\ 387260264/227960446771767696225467621340378618444131953601067214815\ 6909099*c_1001_5^16 + 116320336530700062688939175124049887729610832\ 85970011085920156/2532893853019641069171862459337540204934799484456\ 30238684101011*c_1001_5^15 - 18581202653363044312336036139333768749\ 985239913302495797437699/227960446771767696225467621340378618444131\ 9536010672148156909099*c_1001_5^14 - 278845240460404773653716163213200031701996256308723906436441809/227\ 9604467717676962254676213403786184441319536010672148156909099*c_100\ 1_5^13 - 1938557927577224358085378717682288676267863868591503007231\ 84905/2279604467717676962254676213403786184441319536010672148156909\ 099*c_1001_5^12 + 1166013655202613577907055410050958947195230978995\ 858418294610037/227960446771767696225467621340378618444131953601067\ 2148156909099*c_1001_5^11 - 593113492593552820439745417217026817444\ 280983808619336283205795/253289385301964106917186245933754020493479\ 948445630238684101011*c_1001_5^10 + 4808529356230277695404446137120326178952918553278765836713903898/22\ 79604467717676962254676213403786184441319536010672148156909099*c_10\ 01_5^9 - 6346275716685292884535835602707503750873195393923836626286\ 739448/227960446771767696225467621340378618444131953601067214815690\ 9099*c_1001_5^8 - 5251952299518858427307529286078919300478529378467\ 801979538839838/227960446771767696225467621340378618444131953601067\ 2148156909099*c_1001_5^7 - 5402978081572931406577682612563134455193\ 91242601444757184916636/7598681559058923207515587378012620614804398\ 45336890716052303033*c_1001_5^6 - 335584177704029816438642827947373\ 6219642127463958559097253263194/22796044677176769622546762134037861\ 84441319536010672148156909099*c_1001_5^5 - 14167349010707828797562124309729622426062002313307493497048677619/2\ 279604467717676962254676213403786184441319536010672148156909099*c_1\ 001_5^4 - 432926479346275591662559331975322475731900796390929304741\ 215541/759868155905892320751558737801262061480439845336890716052303\ 033*c_1001_5^3 - 93418605164726503717058664521936528265429885782465\ 3365662139685/75986815590589232075155873780126206148043984533689071\ 6052303033*c_1001_5^2 - 5062555935901549821974807923384274268773654\ 162848393130067408820/227960446771767696225467621340378618444131953\ 6010672148156909099*c_1001_5 - 259766663881558633621199975759852103\ 680176254861736315757471784/253289385301964106917186245933754020493\ 479948445630238684101011, c_1001_0 + 1942830129736694337601013598209034362091293415813894936097/2\ 279604467717676962254676213403786184441319536010672148156909099*c_1\ 001_5^23 - 20090850164345780978487140314425925398609919684039076073\ 51/253289385301964106917186245933754020493479948445630238684101011*\ c_1001_5^22 + 11600104505837356347648838915275807522183758354459635\ 5951928/22796044677176769622546762134037861844413195360106721481569\ 09099*c_1001_5^21 - 47253498043949979421125620839112715516268012586\ 5296950461921/22796044677176769622546762134037861844413195360106721\ 48156909099*c_1001_5^20 + 14798313130163614430650834435104104327286\ 92611097932956387493/2279604467717676962254676213403786184441319536\ 010672148156909099*c_1001_5^19 - 3303575592567252927887208226783315\ 606350190367114945151667298/227960446771767696225467621340378618444\ 1319536010672148156909099*c_1001_5^18 + 1768327080747485363652539896701490072571325916157627297632730/75986\ 8155905892320751558737801262061480439845336890716052303033*c_1001_5\ ^17 - 4975942443723937010479638933701320793037498457530344604922471\ /2279604467717676962254676213403786184441319536010672148156909099*c\ _1001_5^16 + 526386511325288253492416693251618123748568358779782088\ 10285/2532893853019641069171862459337540204934799484456302386841010\ 11*c_1001_5^15 + 63882151693567795416806368282081168052786914714154\ 71970387731/2279604467717676962254676213403786184441319536010672148\ 156909099*c_1001_5^14 - 7541906772850462730075857548909378996705800\ 31779840887242148/2279604467717676962254676213403786184441319536010\ 672148156909099*c_1001_5^13 - 1033934490513888831395983362788445714\ 5440823674531429489068815/22796044677176769622546762134037861844413\ 19536010672148156909099*c_1001_5^12 + 34217026534773159540064114211485728969034214965552347527762516/2279\ 604467717676962254676213403786184441319536010672148156909099*c_1001\ _5^11 + 28833688751298651907055174650655712164766000882421184346630\ 2/253289385301964106917186245933754020493479948445630238684101011*c\ _1001_5^10 - 118415800429116066592554218014888214579955220522484531\ 36369738/2279604467717676962254676213403786184441319536010672148156\ 909099*c_1001_5^9 + 46198659528304074793093716964624659134426968742\ 735491848835444/227960446771767696225467621340378618444131953601067\ 2148156909099*c_1001_5^8 + 4203168545910901936780999299668308634544\ 9056807967379645228846/22796044677176769622546762134037861844413195\ 36010672148156909099*c_1001_5^7 - 969624124618826356123816568109850\ 2685046013717293497958151577/75986815590589232075155873780126206148\ 0439845336890716052303033*c_1001_5^6 + 7805907369798005984426372049603023191620966089234818231229902/22796\ 04467717676962254676213403786184441319536010672148156909099*c_1001_\ 5^5 - 1107721206145019639120234066413537649612641716634923010712335\ 0/2279604467717676962254676213403786184441319536010672148156909099*\ c_1001_5^4 - 108517440445513303372814330362437509944471710972807997\ 852267003/759868155905892320751558737801262061480439845336890716052\ 303033*c_1001_5^3 + 38666052765852291329910367338593989783482648078\ 6315900781775524/75986815590589232075155873780126206148043984533689\ 0716052303033*c_1001_5^2 - 2712515446740208877859056914564933096232\ 938994118297108295100587/227960446771767696225467621340378618444131\ 9536010672148156909099*c_1001_5 - 606807897487909946916072670902885\ 76003646402934353700972669224/2532893853019641069171862459337540204\ 93479948445630238684101011, c_1001_1 - 141562334127205859800454836696627721657406488645183068197476\ /2279604467717676962254676213403786184441319536010672148156909099*c\ _1001_5^23 + 223907037119562910715781361667578305086477789142814375\ 317347/253289385301964106917186245933754020493479948445630238684101\ 011*c_1001_5^22 - 1607753467478654227271092984692067620417940752714\ 0251882707664/22796044677176769622546762134037861844413195360106721\ 48156909099*c_1001_5^21 + 89230019764255058533622489576007865707310\ 728814373774345750105/227960446771767696225467621340378618444131953\ 6010672148156909099*c_1001_5^20 - 369946633752159357871565644164684\ 358557824486980651056319095050/227960446771767696225467621340378618\ 4441319536010672148156909099*c_1001_5^19 + 1209649366527602925842916211150427477779497900683519607066234451/22\ 79604467717676962254676213403786184441319536010672148156909099*c_10\ 01_5^18 - 103764002381628848475742946129064719592572181232782945978\ 9696571/75986815590589232075155873780126206148043984533689071605230\ 3033*c_1001_5^17 + 637351989198718765097947361965085965230868759770\ 3674051546833352/22796044677176769622546762134037861844413195360106\ 72148156909099*c_1001_5^16 - 11081321739535191125960179116884604651\ 66201373487899327730617604/2532893853019641069171862459337540204934\ 79948445630238684101011*c_1001_5^15 + 11197342416973536987087622721789957913531048307743142342434831487/2\ 279604467717676962254676213403786184441319536010672148156909099*c_1\ 001_5^14 - 68877889153563938758114543595747933734569584663587025915\ 93542192/2279604467717676962254676213403786184441319536010672148156\ 909099*c_1001_5^13 - 9387376585027552735821869055338098892008985146\ 38868760096242211/2279604467717676962254676213403786184441319536010\ 672148156909099*c_1001_5^12 + 5077393620451892283288684398628623155\ 006153418493924687712604441/227960446771767696225467621340378618444\ 1319536010672148156909099*c_1001_5^11 + 966784301612283839971180727733846179015528648255517050727864120/253\ 289385301964106917186245933754020493479948445630238684101011*c_1001\ _5^10 - 22143909125485241500675569828232142117669349142843978116174\ 446984/227960446771767696225467621340378618444131953601067214815690\ 9099*c_1001_5^9 + 3772947949701227585465329681064017568746431781373\ 9047868386615660/22796044677176769622546762134037861844413195360106\ 72148156909099*c_1001_5^8 + 100713745220222724398819853983671837882\ 07911864745230606721357134/2279604467717676962254676213403786184441\ 319536010672148156909099*c_1001_5^7 - 2135976238209141328274279884312231872762387859279746630005912500/75\ 9868155905892320751558737801262061480439845336890716052303033*c_100\ 1_5^6 + 49008470004381970741461838075220651690070206984923194053447\ 332057/227960446771767696225467621340378618444131953601067214815690\ 9099*c_1001_5^5 + 5652701774962640081285807941410324228881826994279\ 1589896475954908/22796044677176769622546762134037861844413195360106\ 72148156909099*c_1001_5^4 + 309209383441344357753211531607055296616\ 0671018173221999551123792/75986815590589232075155873780126206148043\ 9845336890716052303033*c_1001_5^3 + 14930818556972246717015044687894599737665935742498192506023950099/7\ 59868155905892320751558737801262061480439845336890716052303033*c_10\ 01_5^2 + 6082281949907508491210205766369127989940702042704832107922\ 4978944/22796044677176769622546762134037861844413195360106721481569\ 09099*c_1001_5 + 24362767750196599081268654796033349522574356745091\ 30301898953822/2532893853019641069171862459337540204934799484456302\ 38684101011, c_1001_5^24 - 9*c_1001_5^23 + 61*c_1001_5^22 - 259*c_1001_5^21 + 898*c_1001_5^20 - 2249*c_1001_5^19 + 4533*c_1001_5^18 - 6301*c_1001_5^17 + 5931*c_1001_5^16 - 404*c_1001_5^15 - 2368*c_1001_5^14 + 5128*c_1001_5^13 + 25598*c_1001_5^12 - 4968*c_1001_5^11 + 55792*c_1001_5^10 + 94084*c_1001_5^9 + 81697*c_1001_5^8 + 147885*c_1001_5^7 + 257014*c_1001_5^6 + 225485*c_1001_5^5 + 215529*c_1001_5^4 + 267789*c_1001_5^3 + 221246*c_1001_5^2 + 90459*c_1001_5 + 14661 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.450 Total time: 0.660 seconds, Total memory usage: 32.09MB