Magma V2.19-8 Tue Aug 20 2013 17:56:41 on localhost [Seed = 1377035888] Type ? for help. Type -D to quit. Loading file "10_33__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_33 geometric_solution 11.53567393 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.878899771086 1.243731514324 0 3 5 4 0132 3120 0132 0132 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 1 0 -1 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.600456922710 0.666650632289 3 0 0 6 2031 0132 1230 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 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.621054926663 0.536245366551 6 1 2 0 1023 3120 1302 0132 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 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.098150128785 0.666075653593 6 7 1 8 3012 0132 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 -1 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.621139940158 0.925453972414 8 6 7 1 0132 3012 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 0 0 -1 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.621139940158 0.925453972414 5 3 2 4 1230 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.661431935036 1.103620717694 9 4 10 5 0132 0132 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 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399543077290 0.666650632289 5 11 4 10 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 1 -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.399543077290 0.666650632289 7 11 10 11 0132 1023 2103 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 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.922447875168 0.796480919331 9 11 8 7 2103 0321 0132 0132 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.216528227543 1.469424263297 9 8 9 10 1023 0132 1230 0321 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.922447875168 0.796480919331 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_7'], 'c_1001_10' : d['c_0101_7'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0101_2']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_1001_7'], 'c_1010_11' : d['c_1001_7'], 'c_1010_10' : d['c_1001_7'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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' : negation(d['1']), 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_0101_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_1'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_7'], 'c_1100_10' : d['c_1100_1'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_1001_7'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0101_2']), 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_0101_7'], 'c_1100_8' : d['c_1100_1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : 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' : d['c_0011_11'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_11'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0101_7'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_10'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : 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_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_7'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_7']), '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_1'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0011_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_6, c_0101_7, c_1001_7, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 11634501976502330571361773019163475669899022487/5726810239676951377\ 82378598393152035221061826*c_1100_1^31 - 119934239536975710248224514534311274441662546689/572681023967695137\ 782378598393152035221061826*c_1100_1^30 + 649715608041669306539451846257036578367497348653/572681023967695137\ 782378598393152035221061826*c_1100_1^29 - 2468070168303751853639468717527175407771084152589/57268102396769513\ 7782378598393152035221061826*c_1100_1^28 + 3618849091730785154388185233699268385212255958518/28634051198384756\ 8891189299196576017610530913*c_1100_1^27 - 17202169024411531888201874421801437284674085908965/5726810239676951\ 37782378598393152035221061826*c_1100_1^26 + 34413761454768547583744997792117897649077559803765/5726810239676951\ 37782378598393152035221061826*c_1100_1^25 - 59959020800908329084579489349823626808631199402649/5726810239676951\ 37782378598393152035221061826*c_1100_1^24 + 47001810784629576309182518301122528772877236487209/2863405119838475\ 68891189299196576017610530913*c_1100_1^23 - 136594005624381573771811240407636134532511112178515/572681023967695\ 137782378598393152035221061826*c_1100_1^22 + 93671414847451817337960226835485761794446389718313/2863405119838475\ 68891189299196576017610530913*c_1100_1^21 - 22124936681432453585130447685793406487946506707/5214724312217220340\ 3968184155267896122843*c_1100_1^20 + 297248347977464927367430277658405770310614265414675/572681023967695\ 137782378598393152035221061826*c_1100_1^19 - 172418453573954465233172464541514906859731456158236/286340511983847\ 568891189299196576017610530913*c_1100_1^18 + 380898229615848730626823059433064463179349814327651/572681023967695\ 137782378598393152035221061826*c_1100_1^17 - 199103962778525601195426048512160246243113686647559/286340511983847\ 568891189299196576017610530913*c_1100_1^16 + 194983515999441585568360514649456465817616377712077/286340511983847\ 568891189299196576017610530913*c_1100_1^15 - 177784077527140987113858096007966698816964174274071/286340511983847\ 568891189299196576017610530913*c_1100_1^14 + 151705145268025484248434616977034432599752971140255/286340511983847\ 568891189299196576017610530913*c_1100_1^13 - 243494804361622722684747576052994845188978030378455/572681023967695\ 137782378598393152035221061826*c_1100_1^12 + 180681056616617146700927077135786089645863912912129/572681023967695\ 137782378598393152035221061826*c_1100_1^11 - 58774042720296606779604714631657704376451191057442/2863405119838475\ 68891189299196576017610530913*c_1100_1^10 + 62631135286544150023522927824751051280463224458169/5726810239676951\ 37782378598393152035221061826*c_1100_1^9 - 12058114485171386052628103224034867413517790475971/2863405119838475\ 68891189299196576017610530913*c_1100_1^8 + 3928682503168780625195268922322370854114990906463/57268102396769513\ 7782378598393152035221061826*c_1100_1^7 + 3369907146454877651194405599207031212537524847897/57268102396769513\ 7782378598393152035221061826*c_1100_1^6 - 2098504030341159020549848251843636549187747285367/28634051198384756\ 8891189299196576017610530913*c_1100_1^5 + 1586267825885728655126600806710421403907081500648/28634051198384756\ 8891189299196576017610530913*c_1100_1^4 - 861691733225243804974133513366916796686383509513/286340511983847568\ 891189299196576017610530913*c_1100_1^3 + 11197780078714380742116044710318292768825606177/1507055326230776678\ 3746805220872421979501627*c_1100_1^2 + 123968261288868544337680713676929686420259736024/286340511983847568\ 891189299196576017610530913*c_1100_1 - 269647090103703159654670626481292161714394395759/572681023967695137\ 782378598393152035221061826, c_0011_0 - 1, c_0011_10 + 14907965114310698175237465636514960328553/19815952386425437\ 29350790997900180052668034*c_1100_1^31 - 53491374989215822309095289176450315180794/9907976193212718646753954\ 98950090026334017*c_1100_1^30 + 40993876052914878082978055623535019\ 4995487/1981595238642543729350790997900180052668034*c_1100_1^29 - 566424450520626642278910424945480753139060/990797619321271864675395\ 498950090026334017*c_1100_1^28 + 1188047786909031189187265583584618\ 408511187/990797619321271864675395498950090026334017*c_1100_1^27 - 2023450725276115051275763858411798593805304/99079761932127186467539\ 5498950090026334017*c_1100_1^26 + 324974655046781809942267678050596\ 4185077583/990797619321271864675395498950090026334017*c_1100_1^25 - 11330921913717376960398340575451592716339403/1981595238642543729350\ 790997900180052668034*c_1100_1^24 + 21491320510550299659703171054092286776660475/1981595238642543729350\ 790997900180052668034*c_1100_1^23 - 39738213047203859506294699982625544149311027/1981595238642543729350\ 790997900180052668034*c_1100_1^22 + 33015816873694526573452270106992637218402401/9907976193212718646753\ 95498950090026334017*c_1100_1^21 - 2597137358568593155644958118156575294777086/52147243122172203403968\ 184155267896122843*c_1100_1^20 + 7041720190147189389391237681279426\ 1442982385/990797619321271864675395498950090026334017*c_1100_1^19 - 97628460973450266862624535442259451377826662/9907976193212718646753\ 95498950090026334017*c_1100_1^18 + 253203726206678746066926008206386961278261643/198159523864254372935\ 0790997900180052668034*c_1100_1^17 - 154341910320467008733735002694896648145521600/990797619321271864675\ 395498950090026334017*c_1100_1^16 + 361708323761447089754743241292886236800004235/198159523864254372935\ 0790997900180052668034*c_1100_1^15 - 408158581549271269753957589921054522604341073/198159523864254372935\ 0790997900180052668034*c_1100_1^14 + 219894634294928467529504912756311569426906467/990797619321271864675\ 395498950090026334017*c_1100_1^13 - 438244846391119932457347794282818853926447587/198159523864254372935\ 0790997900180052668034*c_1100_1^12 + 404867609118886333208645926699646370767051265/198159523864254372935\ 0790997900180052668034*c_1100_1^11 - 355094713951201172367954785370414712699063073/198159523864254372935\ 0790997900180052668034*c_1100_1^10 + 301672011683981887107999767435132829994804431/198159523864254372935\ 0790997900180052668034*c_1100_1^9 - 234204005261093470510603409590126035766160327/198159523864254372935\ 0790997900180052668034*c_1100_1^8 + 80723405634447284690730506376939208298888485/9907976193212718646753\ 95498950090026334017*c_1100_1^7 - 467582114875010332227827761222571\ 32278143191/990797619321271864675395498950090026334017*c_1100_1^6 + 22588199783151796097921785073648239204558530/9907976193212718646753\ 95498950090026334017*c_1100_1^5 - 944735610534675015470818052523276\ 0713178921/990797619321271864675395498950090026334017*c_1100_1^4 + 5349221943937921819479269578450120607642313/19815952386425437293507\ 90997900180052668034*c_1100_1^3 + 368485532907050376611480590028373\ 5652789/52147243122172203403968184155267896122843*c_1100_1^2 - 3331525563544402615010218423709420777021305/19815952386425437293507\ 90997900180052668034*c_1100_1 + 17230695187211018133469479127659417\ 90832435/1981595238642543729350790997900180052668034, c_0011_11 - c_1100_1, c_0011_3 + 63258737001815956778577842329791608365630/990797619321271864\ 675395498950090026334017*c_1100_1^31 - 1288997240148758758188083323060641959065077/19815952386425437293507\ 90997900180052668034*c_1100_1^30 + 3470979265197002778674183893612485024258662/99079761932127186467539\ 5498950090026334017*c_1100_1^29 - 131415896770184077909373368570557\ 56108329525/990797619321271864675395498950090026334017*c_1100_1^28 + 76892215231329079788071915243721376127029849/1981595238642543729350\ 790997900180052668034*c_1100_1^27 - 182532135301900157173652285262629384241560291/198159523864254372935\ 0790997900180052668034*c_1100_1^26 + 182597598978683243114348760244262178230042180/990797619321271864675\ 395498950090026334017*c_1100_1^25 - 637174349542617012156509499178512032340300251/198159523864254372935\ 0790997900180052668034*c_1100_1^24 + 500876519449841385951461269848405554298920922/990797619321271864675\ 395498950090026334017*c_1100_1^23 - 1461055233151076940914027274776578645569713629/19815952386425437293\ 50790997900180052668034*c_1100_1^22 + 1005901851446418978952323677753481187070412391/99079761932127186467\ 5395498950090026334017*c_1100_1^21 - 68934199379461090517825504270970932730969556/5214724312217220340396\ 8184155267896122843*c_1100_1^20 + 160928899590280379692106379534819\ 6162873046278/990797619321271864675395498950090026334017*c_1100_1^1\ 9 - 3752532200462156431313042577952525550418947215/1981595238642543\ 729350790997900180052668034*c_1100_1^18 + 2084539932905628683615124594549566273434089810/99079761932127186467\ 5395498950090026334017*c_1100_1^17 - 2194683597245954212944495301616712396568005433/99079761932127186467\ 5395498950090026334017*c_1100_1^16 + 2167327365568551499186701344740639477446626133/99079761932127186467\ 5395498950090026334017*c_1100_1^15 - 3998326429075749173963079857073897915059094447/19815952386425437293\ 50790997900180052668034*c_1100_1^14 + 1733488233760722115464031699588564839947960080/99079761932127186467\ 5395498950090026334017*c_1100_1^13 - 1417467106083267661148767463743700939769899257/99079761932127186467\ 5395498950090026334017*c_1100_1^12 + 2154528969391875457500713738881645591169962921/19815952386425437293\ 50790997900180052668034*c_1100_1^11 - 1454334825853752858040332290313930375925305577/19815952386425437293\ 50790997900180052668034*c_1100_1^10 + 836934353666771242304980432503589442942947887/198159523864254372935\ 0790997900180052668034*c_1100_1^9 - 194243632559553357427979990468665913363565218/990797619321271864675\ 395498950090026334017*c_1100_1^8 + 133911494481603121458731115722750051715006933/198159523864254372935\ 0790997900180052668034*c_1100_1^7 - 6883075663815746100235544003915815376579938/99079761932127186467539\ 5498950090026334017*c_1100_1^6 - 1124628719453483303246771832604790\ 9165601393/990797619321271864675395498950090026334017*c_1100_1^5 + 14418074488069480027924418059478011018567427/9907976193212718646753\ 95498950090026334017*c_1100_1^4 - 100342131638629916127612238122216\ 35477037555/990797619321271864675395498950090026334017*c_1100_1^3 + 219175471112880156892875303949563572752939/521472431221722034039681\ 84155267896122843*c_1100_1^2 + 253680532032349883827704804896306668\ 053226/990797619321271864675395498950090026334017*c_1100_1 - 889677206992370565058608424363911858305518/990797619321271864675395\ 498950090026334017, c_0101_0 + 6291878014080431403227416529890312590134/9907976193212718646\ 75395498950090026334017*c_1100_1^31 - 195716044398537296316241718335593209007129/198159523864254372935079\ 0997900180052668034*c_1100_1^30 + 675364421387882778653600915999536\ 250593884/990797619321271864675395498950090026334017*c_1100_1^29 - 3022421887038985529007804364776432625764767/99079761932127186467539\ 5498950090026334017*c_1100_1^28 + 202605710874952179282100552940926\ 28309808819/1981595238642543729350790997900180052668034*c_1100_1^27 - 54067247562193436746453394367897462632979109/19815952386425437293\ 50790997900180052668034*c_1100_1^26 + 59690984987225498271270216985412279786676291/9907976193212718646753\ 95498950090026334017*c_1100_1^25 - 225692781166800658737659019092721394579817821/198159523864254372935\ 0790997900180052668034*c_1100_1^24 + 188614932914800367650133819679468682113086509/990797619321271864675\ 395498950090026334017*c_1100_1^23 - 574790194159045317679788780719032461477969051/198159523864254372935\ 0790997900180052668034*c_1100_1^22 + 409426569500896181790908753976803177468404252/990797619321271864675\ 395498950090026334017*c_1100_1^21 - 29039641850846856789188315870231717953423823/5214724312217220340396\ 8184155267896122843*c_1100_1^20 + 702419967205379824918343669502918\ 685672378234/990797619321271864675395498950090026334017*c_1100_1^19 - 1690107234496871480406367571005885857120126577/198159523864254372\ 9350790997900180052668034*c_1100_1^18 + 967211401355546758414362135107971182790381506/990797619321271864675\ 395498950090026334017*c_1100_1^17 - 1053080623723681847910766215533899740832488677/99079761932127186467\ 5395498950090026334017*c_1100_1^16 + 1082195334125928348875494619058474531796639620/99079761932127186467\ 5395498950090026334017*c_1100_1^15 - 2083335504753296453606280439415565174391029033/19815952386425437293\ 50790997900180052668034*c_1100_1^14 + 936394658502397330411720341146834599826544867/990797619321271864675\ 395498950090026334017*c_1100_1^13 - 792103125265767056852074182305008633166317163/990797619321271864675\ 395498950090026334017*c_1100_1^12 + 1260595803395073873065877486210419614393468785/19815952386425437293\ 50790997900180052668034*c_1100_1^11 - 919579013302035346904482565311127665063337805/198159523864254372935\ 0790997900180052668034*c_1100_1^10 + 585335312170107290631226667907230774457008143/198159523864254372935\ 0790997900180052668034*c_1100_1^9 - 155369345682087585495650187454846369560775349/990797619321271864675\ 395498950090026334017*c_1100_1^8 + 127826477170432908116013367096049846191591203/198159523864254372935\ 0790997900180052668034*c_1100_1^7 - 16681696724284155392232924609297810514789548/9907976193212718646753\ 95498950090026334017*c_1100_1^6 - 189354690913334077309151738124201\ 0011184526/990797619321271864675395498950090026334017*c_1100_1^5 + 5943465321214528123561619262326687794017831/99079761932127186467539\ 5498950090026334017*c_1100_1^4 - 5480749049502098222992724238614055\ 033671746/990797619321271864675395498950090026334017*c_1100_1^3 + 129570019480447902668398900973598711723498/521472431221722034039681\ 84155267896122843*c_1100_1^2 - 278763762931652448945823190240666476\ 01840/990797619321271864675395498950090026334017*c_1100_1 - 7127572614974191319765815410912301425040/99079761932127186467539549\ 8950090026334017, c_0101_1 - 63258737001815956778577842329791608365630/990797619321271864\ 675395498950090026334017*c_1100_1^31 + 1288997240148758758188083323060641959065077/19815952386425437293507\ 90997900180052668034*c_1100_1^30 - 3470979265197002778674183893612485024258662/99079761932127186467539\ 5498950090026334017*c_1100_1^29 + 131415896770184077909373368570557\ 56108329525/990797619321271864675395498950090026334017*c_1100_1^28 - 76892215231329079788071915243721376127029849/1981595238642543729350\ 790997900180052668034*c_1100_1^27 + 182532135301900157173652285262629384241560291/198159523864254372935\ 0790997900180052668034*c_1100_1^26 - 182597598978683243114348760244262178230042180/990797619321271864675\ 395498950090026334017*c_1100_1^25 + 637174349542617012156509499178512032340300251/198159523864254372935\ 0790997900180052668034*c_1100_1^24 - 500876519449841385951461269848405554298920922/990797619321271864675\ 395498950090026334017*c_1100_1^23 + 1461055233151076940914027274776578645569713629/19815952386425437293\ 50790997900180052668034*c_1100_1^22 - 1005901851446418978952323677753481187070412391/99079761932127186467\ 5395498950090026334017*c_1100_1^21 + 68934199379461090517825504270970932730969556/5214724312217220340396\ 8184155267896122843*c_1100_1^20 - 160928899590280379692106379534819\ 6162873046278/990797619321271864675395498950090026334017*c_1100_1^1\ 9 + 3752532200462156431313042577952525550418947215/1981595238642543\ 729350790997900180052668034*c_1100_1^18 - 2084539932905628683615124594549566273434089810/99079761932127186467\ 5395498950090026334017*c_1100_1^17 + 2194683597245954212944495301616712396568005433/99079761932127186467\ 5395498950090026334017*c_1100_1^16 - 2167327365568551499186701344740639477446626133/99079761932127186467\ 5395498950090026334017*c_1100_1^15 + 3998326429075749173963079857073897915059094447/19815952386425437293\ 50790997900180052668034*c_1100_1^14 - 1733488233760722115464031699588564839947960080/99079761932127186467\ 5395498950090026334017*c_1100_1^13 + 1417467106083267661148767463743700939769899257/99079761932127186467\ 5395498950090026334017*c_1100_1^12 - 2154528969391875457500713738881645591169962921/19815952386425437293\ 50790997900180052668034*c_1100_1^11 + 1454334825853752858040332290313930375925305577/19815952386425437293\ 50790997900180052668034*c_1100_1^10 - 836934353666771242304980432503589442942947887/198159523864254372935\ 0790997900180052668034*c_1100_1^9 + 194243632559553357427979990468665913363565218/990797619321271864675\ 395498950090026334017*c_1100_1^8 - 133911494481603121458731115722750051715006933/198159523864254372935\ 0790997900180052668034*c_1100_1^7 + 6883075663815746100235544003915815376579938/99079761932127186467539\ 5498950090026334017*c_1100_1^6 + 1124628719453483303246771832604790\ 9165601393/990797619321271864675395498950090026334017*c_1100_1^5 - 14418074488069480027924418059478011018567427/9907976193212718646753\ 95498950090026334017*c_1100_1^4 + 100342131638629916127612238122216\ 35477037555/990797619321271864675395498950090026334017*c_1100_1^3 - 219175471112880156892875303949563572752939/521472431221722034039681\ 84155267896122843*c_1100_1^2 - 253680532032349883827704804896306668\ 053226/990797619321271864675395498950090026334017*c_1100_1 + 889677206992370565058608424363911858305518/990797619321271864675395\ 498950090026334017, c_0101_10 - 22449459539798115550218160773170261933809/99079761932127186\ 4675395498950090026334017*c_1100_1^31 + 176013345194937572255561107322261113472405/990797619321271864675395\ 498950090026334017*c_1100_1^30 - 7130549118450713576649678710781691\ 72901792/990797619321271864675395498950090026334017*c_1100_1^29 + 3943288657445468265280951446965155455659681/19815952386425437293507\ 90997900180052668034*c_1100_1^28 - 7585281742594468018529936323324026746202421/19815952386425437293507\ 90997900180052668034*c_1100_1^27 + 4510860023360708061257478285541652373611174/99079761932127186467539\ 5498950090026334017*c_1100_1^26 - 166572779145355081190409030368732\ 6752408547/1981595238642543729350790997900180052668034*c_1100_1^25 - 10807664083906000942432499775873023831977973/9907976193212718646753\ 95498950090026334017*c_1100_1^24 + 32184368682440326894341274308964711536040754/9907976193212718646753\ 95498950090026334017*c_1100_1^23 - 126114684369144622596928465313110830086044201/198159523864254372935\ 0790997900180052668034*c_1100_1^22 + 209514253002302742375421378904253688424756935/198159523864254372935\ 0790997900180052668034*c_1100_1^21 - 8501928909166347579248417541522089052535651/52147243122172203403968\ 184155267896122843*c_1100_1^20 + 2309444313400713453309715734028988\ 07353979891/990797619321271864675395498950090026334017*c_1100_1^19 - 301881640062817871655362641244234578786596857/990797619321271864675\ 395498950090026334017*c_1100_1^18 + 741955546370000812232866604195149125831684991/198159523864254372935\ 0790997900180052668034*c_1100_1^17 - 871715210427625272701700970786173967969284759/198159523864254372935\ 0790997900180052668034*c_1100_1^16 + 483412697392276141184698339939244690427285181/990797619321271864675\ 395498950090026334017*c_1100_1^15 - 497806575373134645193493890864198048213683687/990797619321271864675\ 395498950090026334017*c_1100_1^14 + 469046233322819983695443480459081203786023888/990797619321271864675\ 395498950090026334017*c_1100_1^13 - 826466730307857188194227071184845143248542409/198159523864254372935\ 0790997900180052668034*c_1100_1^12 + 347565163222042390352382501798056568211083952/990797619321271864675\ 395498950090026334017*c_1100_1^11 - 273554816003327702588573614990028045211796920/990797619321271864675\ 395498950090026334017*c_1100_1^10 + 372249906313687117204958478140055987884585563/198159523864254372935\ 0790997900180052668034*c_1100_1^9 - 103752578568571042348454719528770483005281054/990797619321271864675\ 395498950090026334017*c_1100_1^8 + 85821347005914513112470345118066187807831015/1981595238642543729350\ 790997900180052668034*c_1100_1^7 - 21139023757161176434411600034862246009043385/1981595238642543729350\ 790997900180052668034*c_1100_1^6 - 4846430955372976343259176070226825140437373/19815952386425437293507\ 90997900180052668034*c_1100_1^5 + 452660040511264830317213810355184\ 4924813404/990797619321271864675395498950090026334017*c_1100_1^4 - 10072349753892588026007581162680040590840641/1981595238642543729350\ 790997900180052668034*c_1100_1^3 + 346178272234913414709872946304659221760853/104294486244344406807936\ 368310535792245686*c_1100_1^2 - 10646113660449833762004578199555640\ 62356546/990797619321271864675395498950090026334017*c_1100_1 - 708117033267285415193978161717693223006667/198159523864254372935079\ 0997900180052668034, c_0101_2 - 69885807596786785946734437437147488215460/990797619321271864\ 675395498950090026334017*c_1100_1^31 + 702320054490731644548820007404590425464934/990797619321271864675395\ 498950090026334017*c_1100_1^30 - 7510133877721591300897447032275768\ 374018321/1981595238642543729350790997900180052668034*c_1100_1^29 + 28345816650381219569259036886817260577098675/1981595238642543729350\ 790997900180052668034*c_1100_1^28 - 82792467347640926669056211921873874811263001/1981595238642543729350\ 790997900180052668034*c_1100_1^27 + 196452377412316963877086298818319800351881195/198159523864254372935\ 0790997900180052668034*c_1100_1^26 - 196645160498443475673988408280462066221953611/990797619321271864675\ 395498950090026334017*c_1100_1^25 + 686777429836680250561065508057393293237565549/198159523864254372935\ 0790997900180052668034*c_1100_1^24 - 540105659652714588498676076087470194979484020/990797619321271864675\ 395498950090026334017*c_1100_1^23 + 1575261651014902119460137162307541163576616033/19815952386425437293\ 50790997900180052668034*c_1100_1^22 - 2167848607289924118583933509165520563081901169/19815952386425437293\ 50790997900180052668034*c_1100_1^21 + 74257751302659234643987571782525673076289191/5214724312217220340396\ 8184155267896122843*c_1100_1^20 - 346890848543351453034101642585476\ 5363785206447/1981595238642543729350790997900180052668034*c_1100_1^\ 19 + 4046081013290481213979909696493236059708756297/198159523864254\ 3729350790997900180052668034*c_1100_1^18 - 4492586268156753297754052983639462109887562103/19815952386425437293\ 50790997900180052668034*c_1100_1^17 + 2365257779760809685284593690753651629172744525/99079761932127186467\ 5395498950090026334017*c_1100_1^16 - 4677832113501817026926441608449951061271487241/19815952386425437293\ 50790997900180052668034*c_1100_1^15 + 2158563537735030338181449832776373718152050973/99079761932127186467\ 5395498950090026334017*c_1100_1^14 - 3744281950613540696543557984019141978168124971/19815952386425437293\ 50790997900180052668034*c_1100_1^13 + 1532513408545168051165593590810909524342487297/99079761932127186467\ 5395498950090026334017*c_1100_1^12 - 2337994147869481143439145974065534198678557921/19815952386425437293\ 50790997900180052668034*c_1100_1^11 + 1594319383526643473827632451522431248607507639/19815952386425437293\ 50790997900180052668034*c_1100_1^10 - 465710374654833618571684441344749324737552812/990797619321271864675\ 395498950090026334017*c_1100_1^9 + 220807895126815984939611711757970184461623630/990797619321271864675\ 395498950090026334017*c_1100_1^8 - 84708093198958609413242854674244292631313651/9907976193212718646753\ 95498950090026334017*c_1100_1^7 + 201787617450880711631157017062994\ 71048724090/990797619321271864675395498950090026334017*c_1100_1^6 + 2044676064587463971188643029976298952197505/99079761932127186467539\ 5498950090026334017*c_1100_1^5 - 8001248879530250092888552311354967\ 341537392/990797619321271864675395498950090026334017*c_1100_1^4 + 11716531573202942897063022557357112843302287/1981595238642543729350\ 790997900180052668034*c_1100_1^3 - 148622309288794307292992311923343725516900/521472431221722034039681\ 84155267896122843*c_1100_1^2 - 945603290872800481868114182881446989\ 819335/1981595238642543729350790997900180052668034*c_1100_1 + 760943721207649196231894943150700576068376/990797619321271864675395\ 498950090026334017, c_0101_6 - 6291878014080431403227416529890312590134/9907976193212718646\ 75395498950090026334017*c_1100_1^31 + 195716044398537296316241718335593209007129/198159523864254372935079\ 0997900180052668034*c_1100_1^30 - 675364421387882778653600915999536\ 250593884/990797619321271864675395498950090026334017*c_1100_1^29 + 3022421887038985529007804364776432625764767/99079761932127186467539\ 5498950090026334017*c_1100_1^28 - 202605710874952179282100552940926\ 28309808819/1981595238642543729350790997900180052668034*c_1100_1^27 + 54067247562193436746453394367897462632979109/19815952386425437293\ 50790997900180052668034*c_1100_1^26 - 59690984987225498271270216985412279786676291/9907976193212718646753\ 95498950090026334017*c_1100_1^25 + 225692781166800658737659019092721394579817821/198159523864254372935\ 0790997900180052668034*c_1100_1^24 - 188614932914800367650133819679468682113086509/990797619321271864675\ 395498950090026334017*c_1100_1^23 + 574790194159045317679788780719032461477969051/198159523864254372935\ 0790997900180052668034*c_1100_1^22 - 409426569500896181790908753976803177468404252/990797619321271864675\ 395498950090026334017*c_1100_1^21 + 29039641850846856789188315870231717953423823/5214724312217220340396\ 8184155267896122843*c_1100_1^20 - 702419967205379824918343669502918\ 685672378234/990797619321271864675395498950090026334017*c_1100_1^19 + 1690107234496871480406367571005885857120126577/198159523864254372\ 9350790997900180052668034*c_1100_1^18 - 967211401355546758414362135107971182790381506/990797619321271864675\ 395498950090026334017*c_1100_1^17 + 1053080623723681847910766215533899740832488677/99079761932127186467\ 5395498950090026334017*c_1100_1^16 - 1082195334125928348875494619058474531796639620/99079761932127186467\ 5395498950090026334017*c_1100_1^15 + 2083335504753296453606280439415565174391029033/19815952386425437293\ 50790997900180052668034*c_1100_1^14 - 936394658502397330411720341146834599826544867/990797619321271864675\ 395498950090026334017*c_1100_1^13 + 792103125265767056852074182305008633166317163/990797619321271864675\ 395498950090026334017*c_1100_1^12 - 1260595803395073873065877486210419614393468785/19815952386425437293\ 50790997900180052668034*c_1100_1^11 + 919579013302035346904482565311127665063337805/198159523864254372935\ 0790997900180052668034*c_1100_1^10 - 585335312170107290631226667907230774457008143/198159523864254372935\ 0790997900180052668034*c_1100_1^9 + 155369345682087585495650187454846369560775349/990797619321271864675\ 395498950090026334017*c_1100_1^8 - 127826477170432908116013367096049846191591203/198159523864254372935\ 0790997900180052668034*c_1100_1^7 + 16681696724284155392232924609297810514789548/9907976193212718646753\ 95498950090026334017*c_1100_1^6 + 189354690913334077309151738124201\ 0011184526/990797619321271864675395498950090026334017*c_1100_1^5 - 5943465321214528123561619262326687794017831/99079761932127186467539\ 5498950090026334017*c_1100_1^4 + 5480749049502098222992724238614055\ 033671746/990797619321271864675395498950090026334017*c_1100_1^3 - 129570019480447902668398900973598711723498/521472431221722034039681\ 84155267896122843*c_1100_1^2 + 278763762931652448945823190240666476\ 01840/990797619321271864675395498950090026334017*c_1100_1 + 7127572614974191319765815410912301425040/99079761932127186467539549\ 8950090026334017, c_0101_7 - 32009887817317357670760597660447125914984/990797619321271864\ 675395498950090026334017*c_1100_1^31 + 330212053542521235835688767304033885103048/990797619321271864675395\ 498950090026334017*c_1100_1^30 - 3549831521622973520572750513195274\ 020632629/1981595238642543729350790997900180052668034*c_1100_1^29 + 6667803676592980829876539364395852137256223/99079761932127186467539\ 5498950090026334017*c_1100_1^28 - 193187287659599511563247806421797\ 02225317268/990797619321271864675395498950090026334017*c_1100_1^27 + 45306834271184687728821819838515515175738564/9907976193212718646753\ 95498950090026334017*c_1100_1^26 - 178822962399580792358659180930931946171914271/198159523864254372935\ 0790997900180052668034*c_1100_1^25 + 153947876378973738662859853409949297315167399/990797619321271864675\ 395498950090026334017*c_1100_1^24 - 478566163975413860515155676148179820992025899/198159523864254372935\ 0790997900180052668034*c_1100_1^23 + 691871114045943584248993787321168955030307413/198159523864254372935\ 0790997900180052668034*c_1100_1^22 - 946127308421631304635576336526051252298881317/198159523864254372935\ 0790997900180052668034*c_1100_1^21 + 32174836521255750694290075702156097774922799/5214724312217220340396\ 8184155267896122843*c_1100_1^20 - 148847652520455406822229814006165\ 3673584661577/1981595238642543729350790997900180052668034*c_1100_1^\ 19 + 1721277124249341854148756753356317029346270089/198159523864254\ 3729350790997900180052668034*c_1100_1^18 - 949498744202085856474351668674955371880950618/990797619321271864675\ 395498950090026334017*c_1100_1^17 + 989476837198924438180366617465377619694593150/990797619321271864675\ 395498950090026334017*c_1100_1^16 - 1929190996573037122385697905782001474657799295/19815952386425437293\ 50790997900180052668034*c_1100_1^15 + 1755392611851440499719940900110366717136191165/19815952386425437293\ 50790997900180052668034*c_1100_1^14 - 1500201363389132759323083609160998430941285847/19815952386425437293\ 50790997900180052668034*c_1100_1^13 + 605203491582562862716355012935617628092948964/990797619321271864675\ 395498950090026334017*c_1100_1^12 - 898477408977190748959887826516713202703210413/198159523864254372935\ 0790997900180052668034*c_1100_1^11 + 290710916314135471999210235180655521536166931/990797619321271864675\ 395498950090026334017*c_1100_1^10 - 314283531201814871126190020752709794956592471/198159523864254372935\ 0790997900180052668034*c_1100_1^9 + 130044460085941219082874180514490905371666865/198159523864254372935\ 0790997900180052668034*c_1100_1^8 - 15038318761559281571289516469073704196842512/9907976193212718646753\ 95498950090026334017*c_1100_1^7 - 582188456556909149282065804482999\ 8761092346/990797619321271864675395498950090026334017*c_1100_1^6 + 19613231757099272896432887575025980067339257/1981595238642543729350\ 790997900180052668034*c_1100_1^5 - 18294623780069346511916226550565135726229841/1981595238642543729350\ 790997900180052668034*c_1100_1^4 + 5481128916293896258560942858700343175427924/99079761932127186467539\ 5498950090026334017*c_1100_1^3 - 2456571378616702761052786252638166\ 25569489/104294486244344406807936368310535792245686*c_1100_1^2 - 72684044031479554907223463541496366234911/9907976193212718646753954\ 98950090026334017*c_1100_1 + 50030315626781701351997829666254186685\ 8051/1981595238642543729350790997900180052668034, c_1001_7 - 22449459539798115550218160773170261933809/990797619321271864\ 675395498950090026334017*c_1100_1^31 + 176013345194937572255561107322261113472405/990797619321271864675395\ 498950090026334017*c_1100_1^30 - 7130549118450713576649678710781691\ 72901792/990797619321271864675395498950090026334017*c_1100_1^29 + 3943288657445468265280951446965155455659681/19815952386425437293507\ 90997900180052668034*c_1100_1^28 - 7585281742594468018529936323324026746202421/19815952386425437293507\ 90997900180052668034*c_1100_1^27 + 4510860023360708061257478285541652373611174/99079761932127186467539\ 5498950090026334017*c_1100_1^26 - 166572779145355081190409030368732\ 6752408547/1981595238642543729350790997900180052668034*c_1100_1^25 - 10807664083906000942432499775873023831977973/9907976193212718646753\ 95498950090026334017*c_1100_1^24 + 32184368682440326894341274308964711536040754/9907976193212718646753\ 95498950090026334017*c_1100_1^23 - 126114684369144622596928465313110830086044201/198159523864254372935\ 0790997900180052668034*c_1100_1^22 + 209514253002302742375421378904253688424756935/198159523864254372935\ 0790997900180052668034*c_1100_1^21 - 8501928909166347579248417541522089052535651/52147243122172203403968\ 184155267896122843*c_1100_1^20 + 2309444313400713453309715734028988\ 07353979891/990797619321271864675395498950090026334017*c_1100_1^19 - 301881640062817871655362641244234578786596857/990797619321271864675\ 395498950090026334017*c_1100_1^18 + 741955546370000812232866604195149125831684991/198159523864254372935\ 0790997900180052668034*c_1100_1^17 - 871715210427625272701700970786173967969284759/198159523864254372935\ 0790997900180052668034*c_1100_1^16 + 483412697392276141184698339939244690427285181/990797619321271864675\ 395498950090026334017*c_1100_1^15 - 497806575373134645193493890864198048213683687/990797619321271864675\ 395498950090026334017*c_1100_1^14 + 469046233322819983695443480459081203786023888/990797619321271864675\ 395498950090026334017*c_1100_1^13 - 826466730307857188194227071184845143248542409/198159523864254372935\ 0790997900180052668034*c_1100_1^12 + 347565163222042390352382501798056568211083952/990797619321271864675\ 395498950090026334017*c_1100_1^11 - 273554816003327702588573614990028045211796920/990797619321271864675\ 395498950090026334017*c_1100_1^10 + 372249906313687117204958478140055987884585563/198159523864254372935\ 0790997900180052668034*c_1100_1^9 - 103752578568571042348454719528770483005281054/990797619321271864675\ 395498950090026334017*c_1100_1^8 + 85821347005914513112470345118066187807831015/1981595238642543729350\ 790997900180052668034*c_1100_1^7 - 21139023757161176434411600034862246009043385/1981595238642543729350\ 790997900180052668034*c_1100_1^6 - 4846430955372976343259176070226825140437373/19815952386425437293507\ 90997900180052668034*c_1100_1^5 + 452660040511264830317213810355184\ 4924813404/990797619321271864675395498950090026334017*c_1100_1^4 - 10072349753892588026007581162680040590840641/1981595238642543729350\ 790997900180052668034*c_1100_1^3 + 346178272234913414709872946304659221760853/104294486244344406807936\ 368310535792245686*c_1100_1^2 - 10646113660449833762004578199555640\ 62356546/990797619321271864675395498950090026334017*c_1100_1 - 708117033267285415193978161717693223006667/198159523864254372935079\ 0997900180052668034, c_1100_1^32 - 11*c_1100_1^31 + 63*c_1100_1^30 - 251*c_1100_1^29 + 770*c_1100_1^28 - 1913*c_1100_1^27 + 3992*c_1100_1^26 - 7225*c_1100_1^25 + 11693*c_1100_1^24 - 17411*c_1100_1^23 + 24349*c_1100_1^22 - 32203*c_1100_1^21 + 40240*c_1100_1^20 - 47625*c_1100_1^19 + 53619*c_1100_1^18 - 57309*c_1100_1^17 + 57671*c_1100_1^16 - 54239*c_1100_1^15 + 47695*c_1100_1^14 - 39399*c_1100_1^13 + 30374*c_1100_1^12 - 21137*c_1100_1^11 + 12582*c_1100_1^10 - 5928*c_1100_1^9 + 1842*c_1100_1^8 + 31*c_1100_1^7 - 559*c_1100_1^6 + 530*c_1100_1^5 - 344*c_1100_1^4 + 145*c_1100_1^3 - 5*c_1100_1^2 - 38*c_1100_1 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.320 Total time: 0.530 seconds, Total memory usage: 32.09MB