Magma V2.19-8 Wed Aug 21 2013 00:09:08 on localhost [Seed = 2034177552] Type ? for help. Type -D to quit. Loading file "K13n2480__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2480 geometric_solution 12.29255875 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 -1 0 1 6 0 0 -6 0 -6 0 6 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.749964171465 1.050764362895 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 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 -6 0 0 6 6 -6 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.898581352092 0.781189237973 6 0 5 8 0132 0132 0132 0132 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 1 0 -1 0 0 0 0 5 0 0 -5 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482461960123 0.858353768263 8 4 9 0 0132 2310 0132 0132 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 6 0 -6 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507455116740 0.798364072859 10 7 0 3 0132 0132 0132 3201 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 0 -1 1 0 0 6 -6 0 0 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.702593332708 1.025250979657 10 1 11 2 1302 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.457915041006 0.380400451920 2 11 1 9 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 -6 6 6 0 0 -6 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.729984802692 0.444956806437 12 4 11 1 0132 0132 3120 0132 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 0 0 0 5 0 -5 0 -5 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.872180596235 0.798504290633 3 9 2 12 0132 3201 0132 2103 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 -6 1 5 0 0 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.141170831907 0.820744998457 10 6 8 3 2103 0321 2310 0132 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 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 -5 0 5 0 -5 6 0 -1 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.484669597954 0.681498741246 4 5 9 12 0132 2031 2103 0132 0 0 0 0 0 -1 1 0 0 0 1 -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 -5 5 0 0 0 5 -5 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.054152727941 0.718994301607 12 6 7 5 1230 0132 3120 0132 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 0 5 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.884601767010 0.851965589562 7 11 10 8 0132 3012 0132 2103 0 0 0 0 0 0 0 0 -1 0 1 0 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 0 0 0 -5 0 5 0 0 5 0 -5 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.173530126000 0.875681217012 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_9'], 'c_1001_12' : d['c_0011_0'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_1001_11']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_10']), 'c_1001_3' : d['c_1001_11'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_12' : negation(d['c_0101_11']), 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : d['c_0011_0'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], '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_2_7' : d['1'], 's_2_12' : 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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : negation(d['c_0011_0']), 'c_1100_8' : negation(d['c_0101_7']), 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0101_7']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0101_7']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_3']), 'c_1100_11' : negation(d['c_0101_7']), 'c_1100_10' : negation(d['c_0101_3']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_11'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_1001_11']), 'c_1010_3' : negation(d['c_0101_10']), 'c_1010_2' : negation(d['c_0101_10']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_11'], 'c_1010_8' : d['c_0101_11'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : 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'], 'c_1100_12' : negation(d['c_0101_3']), 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : 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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_9']), '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_0'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_3'], '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_0'], 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_9'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_0101_7, c_1001_1, c_1001_11, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 84920458908927757889457275188515018591224755771073622073/6579649481\ 9016879869703215176595867802956212126463696181*c_1001_5^21 - 1482548532242560604757651108537413079747088850653637795123/65796494\ 819016879869703215176595867802956212126463696181*c_1001_5^20 - 3804914358368920492992454638045268074514847365496614865168/21932164\ 939672293289901071725531955934318737375487898727*c_1001_5^19 - 51806884284363691453387000419503652871714893179984850971267/6579649\ 4819016879869703215176595867802956212126463696181*c_1001_5^18 - 53630878345483281233513607857251096369925544279607273230230/2193216\ 4939672293289901071725531955934318737375487898727*c_1001_5^17 - 130250065439695420497632598331771849235447005973981344073906/219321\ 64939672293289901071725531955934318737375487898727*c_1001_5^16 - 62814858311643531079197587874189264451704037946734226155898/5061268\ 832232067682284862705891989830996631702035668937*c_1001_5^15 - 1434493069535380862699295462285578359288078986156093703064396/65796\ 494819016879869703215176595867802956212126463696181*c_1001_5^14 - 632916153753238852944085603827742223015578475883312431242268/219321\ 64939672293289901071725531955934318737375487898727*c_1001_5^13 - 1681631482302682606067576855510644475731236996271589654583907/65796\ 494819016879869703215176595867802956212126463696181*c_1001_5^12 - 692330609103601076983224900307144764025590501971639730549764/657964\ 94819016879869703215176595867802956212126463696181*c_1001_5^11 + 736756561828258793467022234382673241628854780492657137886360/657964\ 94819016879869703215176595867802956212126463696181*c_1001_5^10 + 1925949137115038850626836230787083240118186182113252988456805/65796\ 494819016879869703215176595867802956212126463696181*c_1001_5^9 + 638586006031626246789347197517621127323668869093723423871758/219321\ 64939672293289901071725531955934318737375487898727*c_1001_5^8 + 699617311153713116631506291040968879861859270193244105811158/657964\ 94819016879869703215176595867802956212126463696181*c_1001_5^7 - 934310289433244995192403021073584098304464598345303860353074/657964\ 94819016879869703215176595867802956212126463696181*c_1001_5^6 - 2164123900037122001818239344959810106553020216294281649459254/65796\ 494819016879869703215176595867802956212126463696181*c_1001_5^5 - 371319956602518055386492108629212593555095025568274694699/111161505\ 01607852655803888355566120595194494361625899*c_1001_5^4 - 1458491932246509697959041349450760536428653646766985216787737/65796\ 494819016879869703215176595867802956212126463696181*c_1001_5^3 - 676549454558460667197246525179136616425513267386802621340588/657964\ 94819016879869703215176595867802956212126463696181*c_1001_5^2 - 147521753614904608579854910108081949064657010590765755985383/657964\ 94819016879869703215176595867802956212126463696181*c_1001_5 - 12486179525343156384413830942137811172224267999035059209190/6579649\ 4819016879869703215176595867802956212126463696181, c_0011_0 - 1, c_0011_10 - 351791211706490119772416635361695848/1201212741328857886078\ 95366046572295813*c_1001_5^21 + 22100779663692936188370945617267772\ 7/120121274132885788607895366046572295813*c_1001_5^20 + 57347030057860981906045301441513279315/1201212741328857886078953660\ 46572295813*c_1001_5^19 + 534592880415066961336687218660216487179/1\ 20121274132885788607895366046572295813*c_1001_5^18 + 2455271935682956339107794997012727205970/12012127413288578860789536\ 6046572295813*c_1001_5^17 + 726579471968248948973622186860797538072\ 9/120121274132885788607895366046572295813*c_1001_5^16 + 16852766369536966260102249269703722223517/1201212741328857886078953\ 66046572295813*c_1001_5^15 + 34602271958915804681572514960276899164\ 920/120121274132885788607895366046572295813*c_1001_5^14 + 58195319518166973833194860109789223870309/1201212741328857886078953\ 66046572295813*c_1001_5^13 + 67660296162955132014603294750913125409\ 714/120121274132885788607895366046572295813*c_1001_5^12 + 46240495451758373625079604685473926195002/1201212741328857886078953\ 66046572295813*c_1001_5^11 + 34214710224212762265647298538132631999\ 96/120121274132885788607895366046572295813*c_1001_5^10 - 48978242238954333376048313432031079664378/1201212741328857886078953\ 66046572295813*c_1001_5^9 - 787738819318870412587073319088859547822\ 41/120121274132885788607895366046572295813*c_1001_5^8 - 51594424497343812978579910655697154058655/1201212741328857886078953\ 66046572295813*c_1001_5^7 + 989513853557973071372221260656170652317\ /120121274132885788607895366046572295813*c_1001_5^6 + 57884316470199842772908397426433611686348/1201212741328857886078953\ 66046572295813*c_1001_5^5 + 853024172839802633261946278493106376155\ 00/120121274132885788607895366046572295813*c_1001_5^4 + 61426681137085869004883644074489506072172/1201212741328857886078953\ 66046572295813*c_1001_5^3 + 359335997779781429564103884060843954853\ 83/120121274132885788607895366046572295813*c_1001_5^2 + 9056869146350218092492330933086655361191/12012127413288578860789536\ 6046572295813*c_1001_5 + 653754096084713201153314185835401314354/12\ 0121274132885788607895366046572295813, c_0011_3 - 10083825536793370247056600292820941095/120121274132885788607\ 895366046572295813*c_1001_5^21 - 1687477114845706502769497368602523\ 80329/120121274132885788607895366046572295813*c_1001_5^20 - 1235450010543846883098680236714985437399/12012127413288578860789536\ 6046572295813*c_1001_5^19 - 529201814443402427569685948293785673529\ 3/120121274132885788607895366046572295813*c_1001_5^18 - 15515329522651076407747331454578096084407/1201212741328857886078953\ 66046572295813*c_1001_5^17 - 36144498342772413519502885059946439086\ 740/120121274132885788607895366046572295813*c_1001_5^16 - 73506861013619012477693280015565146844999/1201212741328857886078953\ 66046572295813*c_1001_5^15 - 12318946056618639826783678141716595881\ 4673/120121274132885788607895366046572295813*c_1001_5^14 - 148321037584926339539156563717432114620036/120121274132885788607895\ 366046572295813*c_1001_5^13 - 1114441464386266635378405681907599998\ 12604/120121274132885788607895366046572295813*c_1001_5^12 - 22028802387274445664305526075239869906110/1201212741328857886078953\ 66046572295813*c_1001_5^11 + 91144105895577637599859224713299356537\ 038/120121274132885788607895366046572295813*c_1001_5^10 + 164125255843249427159155953816426144468336/120121274132885788607895\ 366046572295813*c_1001_5^9 + 12611539170908586156352931502392816188\ 9217/120121274132885788607895366046572295813*c_1001_5^8 + 16193374341809678435587738212871487865339/1201212741328857886078953\ 66046572295813*c_1001_5^7 - 109383131764336007994423885852495064324\ 096/120121274132885788607895366046572295813*c_1001_5^6 - 180791762852602546528812846542104459982826/120121274132885788607895\ 366046572295813*c_1001_5^5 - 15011427124139956782812987148674765423\ 0606/120121274132885788607895366046572295813*c_1001_5^4 - 90985272049561531260479766212770410308099/1201212741328857886078953\ 66046572295813*c_1001_5^3 - 320324458452476548100362685749658804087\ 60/120121274132885788607895366046572295813*c_1001_5^2 - 4619921260218597142256167886823354657882/12012127413288578860789536\ 6046572295813*c_1001_5 - 80011851429513690854505802090493345487/120\ 121274132885788607895366046572295813, c_0011_9 - 23907412860544568754266598061541140148/120121274132885788607\ 895366046572295813*c_1001_5^21 - 3961588934789798957239807456493795\ 37872/120121274132885788607895366046572295813*c_1001_5^20 - 2865873920898055381035975203992872047609/12012127413288578860789536\ 6046572295813*c_1001_5^19 - 121054333166406303024386348242063967796\ 41/120121274132885788607895366046572295813*c_1001_5^18 - 35005374567110449455347319943606532891173/1201212741328857886078953\ 66046572295813*c_1001_5^17 - 80809159296552796783736848260744544701\ 212/120121274132885788607895366046572295813*c_1001_5^16 - 163443871058500402004194995980687405851095/120121274132885788607895\ 366046572295813*c_1001_5^15 - 2707217239903991359229270889384227247\ 38401/120121274132885788607895366046572295813*c_1001_5^14 - 318109344180561781127255367274421518222789/120121274132885788607895\ 366046572295813*c_1001_5^13 - 2296085019078097135567803533782758789\ 40249/120121274132885788607895366046572295813*c_1001_5^12 - 33885161293743015301033872631380870075775/1201212741328857886078953\ 66046572295813*c_1001_5^11 + 21011001110437258111228094093536837856\ 9323/120121274132885788607895366046572295813*c_1001_5^10 + 356244412154489860131251468328991769682420/120121274132885788607895\ 366046572295813*c_1001_5^9 + 25630796557912787922437747076581146533\ 0300/120121274132885788607895366046572295813*c_1001_5^8 + 18952285315352930038839640604136485144675/1201212741328857886078953\ 66046572295813*c_1001_5^7 - 249815668315121905665215074954730526492\ 949/120121274132885788607895366046572295813*c_1001_5^6 - 391318009425291421444437370494304680583008/120121274132885788607895\ 366046572295813*c_1001_5^5 - 31010893030717689469279001366864993171\ 7334/120121274132885788607895366046572295813*c_1001_5^4 - 189063357247450930255757136771420053810124/120121274132885788607895\ 366046572295813*c_1001_5^3 - 60725231654788187749982389331438599179\ 956/120121274132885788607895366046572295813*c_1001_5^2 - 9792684369921436925806854908993959993530/12012127413288578860789536\ 6046572295813*c_1001_5 - 719028094729866429012172634501721521223/12\ 0121274132885788607895366046572295813, c_0101_0 - 46595026989809010680517109145936902571/120121274132885788607\ 895366046572295813*c_1001_5^21 - 7781018998011236736441647181458112\ 20874/120121274132885788607895366046572295813*c_1001_5^20 - 5683184567262428787087134555779161515050/12012127413288578860789536\ 6046572295813*c_1001_5^19 - 242851950072441588219166711993042605065\ 00/120121274132885788607895366046572295813*c_1001_5^18 - 71079419942458328712237000280297673856601/1201212741328857886078953\ 66046572295813*c_1001_5^17 - 16556992200951243900433302362843809398\ 9083/120121274132885788607895366046572295813*c_1001_5^16 - 336946297177224258545381259548268769829432/120121274132885788607895\ 366046572295813*c_1001_5^15 - 5645388184574728203113772538306178835\ 90573/120121274132885788607895366046572295813*c_1001_5^14 - 679864522826207159114468854283545999998629/120121274132885788607895\ 366046572295813*c_1001_5^13 - 5150069311305229496156301427397826842\ 12588/120121274132885788607895366046572295813*c_1001_5^12 - 111633245996174159583299623397543713408389/120121274132885788607895\ 366046572295813*c_1001_5^11 + 4073300799277018468200168814926724609\ 49244/120121274132885788607895366046572295813*c_1001_5^10 + 745917268298960519385671623181647422529074/120121274132885788607895\ 366046572295813*c_1001_5^9 + 57834536114673953990439082659884414806\ 1007/120121274132885788607895366046572295813*c_1001_5^8 + 87239658844732393775720807136386640626434/1201212741328857886078953\ 66046572295813*c_1001_5^7 - 487973542392006411643325073111822244436\ 077/120121274132885788607895366046572295813*c_1001_5^6 - 823086704071107529935177415896573416383236/120121274132885788607895\ 366046572295813*c_1001_5^5 - 69110789495568082550118131152148934876\ 1314/120121274132885788607895366046572295813*c_1001_5^4 - 431104244504833984221841265758218840618008/120121274132885788607895\ 366046572295813*c_1001_5^3 - 15615248534528319265607250970159015003\ 2760/120121274132885788607895366046572295813*c_1001_5^2 - 27269564378609327676388340579906231024981/1201212741328857886078953\ 66046572295813*c_1001_5 - 1725005585129013075165719025231371187705/\ 120121274132885788607895366046572295813, c_0101_1 - 26185822867251525573020309373510401105/120121274132885788607\ 895366046572295813*c_1001_5^21 - 4429148477542537595220676948154598\ 97237/120121274132885788607895366046572295813*c_1001_5^20 - 3286672460001923606519301304055864517406/12012127413288578860789536\ 6046572295813*c_1001_5^19 - 143139767064786815526692552669838038678\ 81/120121274132885788607895366046572295813*c_1001_5^18 - 42728204593319094415607525773052786808682/1201212741328857886078953\ 66046572295813*c_1001_5^17 - 10098703535656348111653600717979273414\ 4418/120121274132885788607895366046572295813*c_1001_5^16 - 207471734524862674448822959697049022202356/120121274132885788607895\ 366046572295813*c_1001_5^15 - 3536033678362255049956046060575308679\ 03746/120121274132885788607895366046572295813*c_1001_5^14 - 441460800306090861555597275608579651371831/120121274132885788607895\ 366046572295813*c_1001_5^13 - 3569174902044121101273570252090978876\ 00800/120121274132885788607895366046572295813*c_1001_5^12 - 107749305162178917041577007298703527863680/120121274132885788607895\ 366046572295813*c_1001_5^11 + 2274107214540061711859296797040325423\ 28549/120121274132885788607895366046572295813*c_1001_5^10 + 469192029933695466306558958186967024746330/120121274132885788607895\ 366046572295813*c_1001_5^9 + 40278051356700646251539231093206600207\ 3882/120121274132885788607895366046572295813*c_1001_5^8 + 99030582777187249813653708070781067110364/1201212741328857886078953\ 66046572295813*c_1001_5^7 - 277388011831086962162846835522311988096\ 169/120121274132885788607895366046572295813*c_1001_5^6 - 521270770130342309950614071591707777833937/120121274132885788607895\ 366046572295813*c_1001_5^5 - 47305116121612453776675582295259251743\ 4329/120121274132885788607895366046572295813*c_1001_5^4 - 304118182685909442438174595199596500174448/120121274132885788607895\ 366046572295813*c_1001_5^3 - 12370536347169598558816784867303592142\ 9535/120121274132885788607895366046572295813*c_1001_5^2 - 25239993058863413511140108582548348288767/1201212741328857886078953\ 66046572295813*c_1001_5 - 1934416359818573096397994740077115561306/\ 120121274132885788607895366046572295813, c_0101_10 - 44538295409126319432623287967958831034/12012127413288578860\ 7895366046572295813*c_1001_5^21 - 744033888240249051979816740796264\ 340494/120121274132885788607895366046572295813*c_1001_5^20 - 5437237594666004159829559646917424497981/12012127413288578860789536\ 6046572295813*c_1001_5^19 - 232510677999785279647684697449169717072\ 23/120121274132885788607895366046572295813*c_1001_5^18 - 68110648382690162659320627538866316054655/1201212741328857886078953\ 66046572295813*c_1001_5^17 - 15876534188477785398127684212188960832\ 0648/120121274132885788607895366046572295813*c_1001_5^16 - 323239526245939519597292966640350062501879/120121274132885788607895\ 366046572295813*c_1001_5^15 - 5419834151258898705427345135630956699\ 57167/120121274132885788607895366046572295813*c_1001_5^14 - 653882051629226747493709900300378159184782/120121274132885788607895\ 366046572295813*c_1001_5^13 - 4971176618936332861305683480609930312\ 20594/120121274132885788607895366046572295813*c_1001_5^12 - 110062943727834731754707790203865017795851/120121274132885788607895\ 366046572295813*c_1001_5^11 + 3888745575374474654717694819499011544\ 17814/120121274132885788607895366046572295813*c_1001_5^10 + 715674228586550485601585932613858641452169/120121274132885788607895\ 366046572295813*c_1001_5^9 + 55804662130755541358405901601905976909\ 1680/120121274132885788607895366046572295813*c_1001_5^8 + 87247229024611776223854051205381800961801/1201212741328857886078953\ 66046572295813*c_1001_5^7 - 466539973900510702318371670460642094646\ 298/120121274132885788607895366046572295813*c_1001_5^6 - 789906842870936498002593836742353789471808/120121274132885788607895\ 366046572295813*c_1001_5^5 - 66608893352516279777390466173723156674\ 0586/120121274132885788607895366046572295813*c_1001_5^4 - 416752557093433755791144526261319801840783/120121274132885788607895\ 366046572295813*c_1001_5^3 - 15187959688536716374563718085076112538\ 2721/120121274132885788607895366046572295813*c_1001_5^2 - 27456076665030385839038597440101468696983/1201212741328857886078953\ 66046572295813*c_1001_5 - 1935420006838494948253281019089296894390/\ 120121274132885788607895366046572295813, c_0101_11 - 20545900429900230829215374972020889230/12012127413288578860\ 7895366046572295813*c_1001_5^21 - 339707206618845183553198509149907\ 214048/120121274132885788607895366046572295813*c_1001_5^20 - 2449586428647641341039602102669618177790/12012127413288578860789536\ 6046572295813*c_1001_5^19 - 102988871472436899305095156792110006838\ 45/120121274132885788607895366046572295813*c_1001_5^18 - 29602478736266214897433593344366124126324/1201212741328857886078953\ 66046572295813*c_1001_5^17 - 67942938839386442875358286017471787147\ 820/120121274132885788607895366046572295813*c_1001_5^16 - 136819805744715908803698234105090540926332/120121274132885788607895\ 366046572295813*c_1001_5^15 - 2250803006748075435075715196646214024\ 79331/120121274132885788607895366046572295813*c_1001_5^14 - 260068416879905343925796656025936289299209/120121274132885788607895\ 366046572295813*c_1001_5^13 - 1798046386484414612802070445954214035\ 30059/120121274132885788607895366046572295813*c_1001_5^12 - 14214379212589679273837648976587631029846/1201212741328857886078953\ 66046572295813*c_1001_5^11 + 18566418866668301152063856415815675895\ 5280/120121274132885788607895366046572295813*c_1001_5^10 + 298255006350098167139844839332406230180231/120121274132885788607895\ 366046572295813*c_1001_5^9 + 20188639643508773015010846062168564765\ 8854/120121274132885788607895366046572295813*c_1001_5^8 - 1029560725075757126629777814063643424284/12012127413288578860789536\ 6046572295813*c_1001_5^7 - 2194044752999770874823675803930715111570\ 72/120121274132885788607895366046572295813*c_1001_5^6 - 326290773886179977638419459984074437866890/120121274132885788607895\ 366046572295813*c_1001_5^5 - 24603145324381337156159585492354822556\ 1463/120121274132885788607895366046572295813*c_1001_5^4 - 142890689668751985277811203733945395894745/120121274132885788607895\ 366046572295813*c_1001_5^3 - 40501693643138084411399602177927810772\ 555/120121274132885788607895366046572295813*c_1001_5^2 - 3081095362364011285384306484748193285315/12012127413288578860789536\ 6046572295813*c_1001_5 + 229842342154283994622458727482919665318/12\ 0121274132885788607895366046572295813, c_0101_3 + 7068457118826232974987917568169521167/1201212741328857886078\ 95366046572295813*c_1001_5^21 + 11747079994785293401651028268582670\ 0779/120121274132885788607895366046572295813*c_1001_5^20 + 852691154819931677572640183852636991259/120121274132885788607895366\ 046572295813*c_1001_5^19 + 3615130776846094716402320547795613314420\ /120121274132885788607895366046572295813*c_1001_5^18 + 10487952727009978018243385173175057252910/1201212741328857886078953\ 66046572295813*c_1001_5^17 + 24252323757639856764020419094126888813\ 258/120121274132885788607895366046572295813*c_1001_5^16 + 49099792999942648288986978215861676732887/1201212741328857886078953\ 66046572295813*c_1001_5^15 + 81554601687347623375372808363627966291\ 718/120121274132885788607895366046572295813*c_1001_5^14 + 96320974402767291541157774290751995069867/1201212741328857886078953\ 66046572295813*c_1001_5^13 + 69962257114953894080018984132085265575\ 944/120121274132885788607895366046572295813*c_1001_5^12 + 10935431211939637676986023483174240168884/1201212741328857886078953\ 66046572295813*c_1001_5^11 - 62511070838113334027870592970804721704\ 821/120121274132885788607895366046572295813*c_1001_5^10 - 107411341013973361915643471993569513866323/120121274132885788607895\ 366046572295813*c_1001_5^9 - 78302736108400453253533959098779980755\ 359/120121274132885788607895366046572295813*c_1001_5^8 - 6297595208028832833568967093372141981566/12012127413288578860789536\ 6046572295813*c_1001_5^7 + 7450099930326854178219341720945832510978\ 8/120121274132885788607895366046572295813*c_1001_5^6 + 117894046372727065122971574487568237363806/120121274132885788607895\ 366046572295813*c_1001_5^5 + 94478107208848772928779146850916011595\ 901/120121274132885788607895366046572295813*c_1001_5^4 + 57404683667838253730268178819055206499124/1201212741328857886078953\ 66046572295813*c_1001_5^3 + 190839222962205755574112075413873819146\ 53/120121274132885788607895366046572295813*c_1001_5^2 + 3246044398236195551371012034097148370622/12012127413288578860789536\ 6046572295813*c_1001_5 + 257260563394182833059604879591068683846/12\ 0121274132885788607895366046572295813, c_0101_7 + 16009614436061105241318307504880697901/120121274132885788607\ 895366046572295813*c_1001_5^21 + 2706972230423991442844315460384341\ 26069/120121274132885788607895366046572295813*c_1001_5^20 + 2008024538216671738237117244584648875987/12012127413288578860789536\ 6046572295813*c_1001_5^19 + 874290313208246037779098008107144161978\ 4/120121274132885788607895366046572295813*c_1001_5^18 + 26097530423337072867643521209142229001633/1201212741328857886078953\ 66046572295813*c_1001_5^17 + 61702955715440222641362954326815034209\ 894/120121274132885788607895366046572295813*c_1001_5^16 + 126833179657179608348160556657111200504402/120121274132885788607895\ 366046572295813*c_1001_5^15 + 2162850915656191183237911720736514913\ 15398/120121274132885788607895366046572295813*c_1001_5^14 + 270374744195664397028483252612140791104014/120121274132885788607895\ 366046572295813*c_1001_5^13 + 2196388082321020231705571502658333951\ 71162/120121274132885788607895366046572295813*c_1001_5^12 + 68459694428637312639395481241550256649913/1201212741328857886078953\ 66046572295813*c_1001_5^11 - 13621665576666823747429152777478024565\ 7333/120121274132885788607895366046572295813*c_1001_5^10 - 285126317216010300773070724678261146586554/120121274132885788607895\ 366046572295813*c_1001_5^9 - 24674969503094245743930872713941320402\ 4297/120121274132885788607895366046572295813*c_1001_5^8 - 63448851250271149185434016592892153309572/1201212741328857886078953\ 66046572295813*c_1001_5^7 + 166221714321277991575219865965755259280\ 800/120121274132885788607895366046572295813*c_1001_5^6 + 316797531707939903133914380166367250243421/120121274132885788607895\ 366046572295813*c_1001_5^5 + 29004681145796060275176766680399937665\ 8354/120121274132885788607895366046572295813*c_1001_5^4 + 189106822730895945482725280825850376969639/120121274132885788607895\ 366046572295813*c_1001_5^3 + 78668375211347340078407119404385193184\ 646/120121274132885788607895366046572295813*c_1001_5^2 + 17524133280079592425377395416708551752474/1201212741328857886078953\ 66046572295813*c_1001_5 + 1713692613991741232131516817742999805838/\ 120121274132885788607895366046572295813, c_1001_1 - 22286675455585877733283630379922331581/120121274132885788607\ 895366046572295813*c_1001_5^21 - 3694443975707845836862599885662888\ 68879/120121274132885788607895366046572295813*c_1001_5^20 - 2673191283627907317133133088283974552521/12012127413288578860789536\ 6046572295813*c_1001_5^19 - 112899756354808869332247526971205769239\ 03/120121274132885788607895366046572295813*c_1001_5^18 - 32624093742779490614307433589170552719561/1201212741328857886078953\ 66046572295813*c_1001_5^17 - 75227067967952676288660223016999200793\ 945/120121274132885788607895366046572295813*c_1001_5^16 - 152016074285444425258125490789676194818107/120121274132885788607895\ 366046572295813*c_1001_5^15 - 2515368453579734674072714011891698440\ 35422/120121274132885788607895366046572295813*c_1001_5^14 - 294628116689603849441828422259581870503068/120121274132885788607895\ 366046572295813*c_1001_5^13 - 2105613037890338293442366912255660849\ 89475/120121274132885788607895366046572295813*c_1001_5^12 - 27777849985517447461909042675194041310451/1201212741328857886078953\ 66046572295813*c_1001_5^11 + 19814311821956618968653494568522014328\ 7745/120121274132885788607895366046572295813*c_1001_5^10 + 332355545515077785781186422813911368357910/120121274132885788607895\ 366046572295813*c_1001_5^9 + 23603582718825460311976146395888755189\ 8117/120121274132885788607895366046572295813*c_1001_5^8 + 12957930722468320620418166107502946994170/1201212741328857886078953\ 66046572295813*c_1001_5^7 - 235132843140537028738317219672960365716\ 082/120121274132885788607895366046572295813*c_1001_5^6 - 364670431219458328089507812660333820380604/120121274132885788607895\ 366046572295813*c_1001_5^5 - 28588287816443303004704009489468533363\ 4394/120121274132885788607895366046572295813*c_1001_5^4 - 171421751137946326832509454545732189816645/120121274132885788607895\ 366046572295813*c_1001_5^3 - 53808981322744007639223782861266124490\ 466/120121274132885788607895366046572295813*c_1001_5^2 - 6935471261684720917356014937770830835789/12012127413288578860789536\ 6046572295813*c_1001_5 - 172748632046840870493461788674249759023/12\ 0121274132885788607895366046572295813, c_1001_11 - 26204371920883903813290888983397683100/12012127413288578860\ 7895366046572295813*c_1001_5^21 - 435581987748887208271985485688193\ 706370/120121274132885788607895366046572295813*c_1001_5^20 - 3162517096728082246972424419657876284791/12012127413288578860789536\ 6046572295813*c_1001_5^19 - 134113932038255407672081743867789113818\ 28/120121274132885788607895366046572295813*c_1001_5^18 - 38916480183558977645049575561789421438138/1201212741328857886078953\ 66046572295813*c_1001_5^17 - 89996479955545016888616434013762052660\ 988/120121274132885788607895366046572295813*c_1001_5^16 - 182184834675149428150720673786344934622422/120121274132885788607895\ 366046572295813*c_1001_5^15 - 3025730079001490641313436027287326593\ 43629/120121274132885788607895366046572295813*c_1001_5^14 - 357262444367670103751370545441570604573751/120121274132885788607895\ 366046572295813*c_1001_5^13 - 2590545518794072190852804555021650722\ 37311/120121274132885788607895366046572295813*c_1001_5^12 - 39125081723146644934150721360506069956137/1201212741328857886078953\ 66046572295813*c_1001_5^11 + 23426480977565916844820292123083269811\ 8414/120121274132885788607895366046572295813*c_1001_5^10 + 400631041133265373308605228539126525520230/120121274132885788607895\ 366046572295813*c_1001_5^9 + 29112472819792081290990848249675152208\ 0259/120121274132885788607895366046572295813*c_1001_5^8 + 22168098451483546988076427852397810929605/1201212741328857886078953\ 66046572295813*c_1001_5^7 - 278922423055442172291322663309608825459\ 382/120121274132885788607895366046572295813*c_1001_5^6 - 439976540397177548155243849912423098122418/120121274132885788607895\ 366046572295813*c_1001_5^5 - 35062806931586485964824549033008402568\ 3016/120121274132885788607895366046572295813*c_1001_5^4 - 210963001877466457446649942742526350811073/120121274132885788607895\ 366046572295813*c_1001_5^3 - 68693982872900659715956698165773607440\ 818/120121274132885788607895366046572295813*c_1001_5^2 - 9494737416831404682240005529015507986259/12012127413288578860789536\ 6046572295813*c_1001_5 - 338899954865606101887020215565875970913/12\ 0121274132885788607895366046572295813, c_1001_5^22 + 17*c_1001_5^21 + 127*c_1001_5^20 + 558*c_1001_5^19 + 1683*c_1001_5^18 + 4015*c_1001_5^17 + 8307*c_1001_5^16 + 14305*c_1001_5^15 + 18262*c_1001_5^14 + 15479*c_1001_5^13 + 5747*c_1001_5^12 - 8018*c_1001_5^11 - 18648*c_1001_5^10 - 17257*c_1001_5^9 - 5636*c_1001_5^8 + 9916*c_1001_5^7 + 20831*c_1001_5^6 + 20171*c_1001_5^5 + 13745*c_1001_5^4 + 6148*c_1001_5^3 + 1613*c_1001_5^2 + 224*c_1001_5 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.920 Total time: 3.129 seconds, Total memory usage: 64.12MB