Magma V2.19-8 Wed Aug 21 2013 01:07:00 on localhost [Seed = 88284659] Type ? for help. Type -D to quit. Loading file "L14n32871__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32871 geometric_solution 11.15019574 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 2310 0132 0 1 1 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 2 0 -2 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.680584784995 1.200265425105 0 0 4 4 0132 3201 3201 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468090179865 0.275116716803 5 0 7 6 0132 0132 0132 0132 0 1 0 1 0 1 0 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 -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.386169642471 0.705828099227 8 9 0 5 0132 0132 0132 3201 0 1 0 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 0 0 0 -1 2 -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.575561501025 1.476936985299 1 10 1 8 2310 0132 0132 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.255122886007 0.635950868080 2 3 11 10 0132 2310 0132 0132 0 1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -2 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.149428148915 0.743690792052 12 10 2 12 0132 2310 0132 2031 0 1 1 0 0 -1 1 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 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.637802898531 0.779249350896 12 9 9 2 2103 0321 3201 0132 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 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.982393499706 0.952451814394 3 11 9 4 0132 0132 3120 0213 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 0 0 -1 0 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.592097182495 0.162848702408 7 3 8 7 2310 0132 3120 0321 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 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.982393499706 0.952451814394 11 4 5 6 2103 0132 0132 3201 0 1 0 1 0 0 1 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.461167784742 1.905071832945 12 8 10 5 3120 0132 2103 0132 0 1 0 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 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.609706786184 0.283910219156 6 6 7 11 0132 1302 2103 3120 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.371016759966 0.768473744239 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_12' : d['c_0011_7'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_1001_0']), 'c_1001_7' : negation(d['c_0101_8']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_1001_5']), 'c_1001_8' : d['c_1001_5'], 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : negation(d['c_1001_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'], 'c_0101_12' : d['c_0011_7'], 'c_0101_11' : d['c_0101_10'], '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_1100_9' : negation(d['c_0101_8']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_12'], 'c_1100_4' : d['c_0011_10'], 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_11'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : d['c_0011_12'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0011_12'], 'c_1010_5' : negation(d['c_0101_8']), 'c_1010_4' : negation(d['c_0101_8']), 'c_1010_3' : negation(d['c_1001_5']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0011_10'], '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_10']), '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' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0110_6' : d['c_0011_7'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : d['c_0101_5'], 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0101_7' : d['c_0011_7'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_7' : d['c_0101_10'], 'c_1100_8' : negation(d['c_0101_8']), 's_2_9' : d['1']})} 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_11, c_0011_12, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_5, c_0101_8, c_1001_0, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 5135116645159313686731080281441535645077583664621547625598639396534\ 70004252841857/2568069010769080331302359601042431843532312632539996\ 4117675279970149374633040*c_1001_5^16 + 1519894709545717418609088765431831110102559381956724159578331757602\ 281179325363729/513613802153816066260471920208486368706462526507999\ 2823535055994029874926608*c_1001_5^15 + 7611604478885095949436976879399832387163399040525462324217947212432\ 357529280134317/428011501794846721883726600173738640588718772089999\ 4019612546661691562438840*c_1001_5^14 + 2799147314782936377802383720631570798359164399482814809645426314822\ 3612246901166269/51361380215381606626047192020848636870646252650799\ 92823535055994029874926608*c_1001_5^13 + 3679601799386323351714808397024451159690191444375119891382697026336\ 9528716380021167/42801150179484672188372660017373864058871877208999\ 94019612546661691562438840*c_1001_5^12 + 1405489598297514727312292727556668558927846679084202281957943029260\ 49799620645690901/2568069010769080331302359601042431843532312632539\ 9964117675279970149374633040*c_1001_5^11 - 4074793321020668728405904495637103141068485865845225535205040445970\ 198979300331373/513613802153816066260471920208486368706462526507999\ 2823535055994029874926608*c_1001_5^10 + 2126823567102770701531693458389237746743289234109700125667980450640\ 545376738703/314714339555034354326269558951278412197587332419117207\ 32445196041849723815*c_1001_5^9 + 935561591874765247197735237786576\ 19526139389312612864734943025809381825389147764937/2568069010769080\ 3313023596010424318435323126325399964117675279970149374633040*c_100\ 1_5^8 + 10570309771521048027664083757203867681167054582498393865591\ 26199217065084580393301/2568069010769080331302359601042431843532312\ 632539996411767527997014937463304*c_1001_5^7 - 1130422108922102489870113922515080465412989047103974160982620399586\ 8527588203520997/85602300358969344376745320034747728117743754417999\ 88039225093323383124877680*c_1001_5^6 + 6393722729377098681461234002491036184751158802003502226381951573815\ 859112175247521/856023003589693443767453200347477281177437544179998\ 8039225093323383124877680*c_1001_5^5 + 1320683453455111181317917310060713413152591288761340195841155349407\ 493950213073111/513613802153816066260471920208486368706462526507999\ 2823535055994029874926608*c_1001_5^4 - 5178489125310701681005435750333158957077120868324782948997860867598\ 819113015505853/256806901076908033130235960104243184353231263253999\ 64117675279970149374633040*c_1001_5^3 + 7271443860216208025152982238510509983112243295055001589633887427910\ 1540513868307/75531441493208245038304694148306818927420959780588129\ 7578684705004393371560*c_1001_5^2 - 5657462398794026308883700289346153526486266175273741103757141988272\ 43491821186007/2568069010769080331302359601042431843532312632539996\ 4117675279970149374633040*c_1001_5 + 9907207678333832149511373072693522208547271103811040417179787539993\ 32627815058/5350143772435584023546582502171733007358984651124992524\ 51568332711445304855, c_0011_0 - 1, c_0011_10 + 37930508414136809274844237030802455237232829439236046290998\ 9246266643/70936168146228316222109924401601324486646222808560459751\ 01389028239*c_1001_5^16 + 11257522972476905601318910683582810696229\ 618182437636822294167976783263/141872336292456632444219848803202648\ 97329244561712091950202778056478*c_1001_5^15 + 6793587882560741893569422226214367880952984657311227051907652164144\ 6241/14187233629245663244421984880320264897329244561712091950202778\ 056478*c_1001_5^14 + 2096804932208632536743453043953332017032641797\ 68178536431866867467507395/1418723362924566324442198488032026489732\ 9244561712091950202778056478*c_1001_5^13 + 3356614219125698514840136683836947547148627798736430947603367313662\ 24617/1418723362924566324442198488032026489732924456171209195020277\ 8056478*c_1001_5^12 + 224405241265974209713101926758270816582673013\ 928432765652323494838537113/141872336292456632444219848803202648973\ 29244561712091950202778056478*c_1001_5^11 - 1573974025851969021203194481754473135640965954115649910503935911709\ 2493/14187233629245663244421984880320264897329244561712091950202778\ 056478*c_1001_5^10 + 2896388593510762094288936894974408962279753300\ 529476245283107666195322/709361681462283162221099244016013244866462\ 2280856045975101389028239*c_1001_5^9 + 6924377285044089921159554115967912598919448416879924068193082185615\ 9948/70936168146228316222109924401601324486646222808560459751013890\ 28239*c_1001_5^8 + 210412306164558764419076768675898007492805089031\ 31034505919885753442459/1418723362924566324442198488032026489732924\ 4561712091950202778056478*c_1001_5^7 - 2363408174431670267577041447379369428498905113602239085138137981826\ 5149/70936168146228316222109924401601324486646222808560459751013890\ 28239*c_1001_5^6 + 135330794232041623963951031426877664325712680892\ 21150532708777561154626/7093616814622831622210992440160132448664622\ 280856045975101389028239*c_1001_5^5 + 5027386945676284400916007492941776909349399017130167660652081001874\ 869/709361681462283162221099244016013244866462228085604597510138902\ 8239*c_1001_5^4 - 3537568053851704403865918118634543826535316352110\ 411704620563893694798/709361681462283162221099244016013244866462228\ 0856045975101389028239*c_1001_5^3 + 1800166603259606615710731491649429947749121784925350616444083408661\ 242/709361681462283162221099244016013244866462228085604597510138902\ 8239*c_1001_5^2 - 7850227048431174467361184862338463640357044417321\ 14504204510633887783/1418723362924566324442198488032026489732924456\ 1712091950202778056478*c_1001_5 + 267397787814777823055118369107219\ 18295447151509217206853489885777561/7093616814622831622210992440160\ 132448664622280856045975101389028239, c_0011_11 + 38204380243821412810337427596222219560436341307954821670350\ 6741437100/70936168146228316222109924401601324486646222808560459751\ 01389028239*c_1001_5^16 + 11349480989944375441771516241020840417216\ 622187783751066021953467784161/141872336292456632444219848803202648\ 97329244561712091950202778056478*c_1001_5^15 + 6859359668095153720791295615116233941669302620872651844727160395416\ 6607/14187233629245663244421984880320264897329244561712091950202778\ 056478*c_1001_5^14 + 2122807755652490256777045095702933556698282115\ 14521641274668658446509909/1418723362924566324442198488032026489732\ 9244561712091950202778056478*c_1001_5^13 + 3418231738123726876269809186388560906788994096572829009030190110512\ 23769/1418723362924566324442198488032026489732924456171209195020277\ 8056478*c_1001_5^12 + 233192263831752468527103397747725540348752319\ 181941181444853514395668885/141872336292456632444219848803202648973\ 29244561712091950202778056478*c_1001_5^11 - 8720328776344875237181090959300341881431974225841256338068736029421\ 815/141872336292456632444219848803202648973292445617120919502027780\ 56478*c_1001_5^10 + 42203164175377741175273479064198154288498013683\ 83597372994126000959472/7093616814622831622210992440160132448664622\ 280856045975101389028239*c_1001_5^9 + 6980235099561236990107312873258545646887946740867682301773841692287\ 5520/70936168146228316222109924401601324486646222808560459751013890\ 28239*c_1001_5^8 + 230733073711122360423246290295725537371797163182\ 83215786631061712284479/1418723362924566324442198488032026489732924\ 4561712091950202778056478*c_1001_5^7 - 2302141152163104234673322208179624496305935667925761461896432876977\ 9487/70936168146228316222109924401601324486646222808560459751013890\ 28239*c_1001_5^6 + 134260639600759523519680780834973146134295844608\ 10157072925322593636091/7093616814622831622210992440160132448664622\ 280856045975101389028239*c_1001_5^5 + 5050948075869384645069478683487172392808768722191610551544357304235\ 845/709361681462283162221099244016013244866462228085604597510138902\ 8239*c_1001_5^4 - 3400034838491036773766361769650246278929647052581\ 989813363224398640538/709361681462283162221099244016013244866462228\ 0856045975101389028239*c_1001_5^3 + 1815129272016490492268542248908306275328297378798220461935377845002\ 677/709361681462283162221099244016013244866462228085604597510138902\ 8239*c_1001_5^2 - 7673842675877118693046963765344020394404966308090\ 25508467786770908953/1418723362924566324442198488032026489732924456\ 1712091950202778056478*c_1001_5 + 265227312585637710329801099422896\ 65240152928594145778241763338264217/7093616814622831622210992440160\ 132448664622280856045975101389028239, c_0011_12 + 37031391493050992310849780580051700372237875548286569628863\ 4790284109/14187233629245663244421984880320264897329244561712091950\ 202778056478*c_1001_5^16 + 2761890420828695078283100551049819319252\ 770746878923220033347157268214/709361681462283162221099244016013244\ 8664622280856045975101389028239*c_1001_5^15 + 1679643992326271647694991431393972351107624512283721150659448970639\ 1926/70936168146228316222109924401601324486646222808560459751013890\ 28239*c_1001_5^14 + 10502268231128631805986612814095716989377678894\ 2607011820419304424540201/14187233629245663244421984880320264897329\ 244561712091950202778056478*c_1001_5^13 + 8622657185524454038875412538751079349822591212961595416589680171467\ 0702/70936168146228316222109924401601324486646222808560459751013890\ 28239*c_1001_5^12 + 12447638475900562335998807677604858560393121599\ 2134607978473822508051283/14187233629245663244421984880320264897329\ 244561712091950202778056478*c_1001_5^11 + 4718557640750284108029270935210497370995546569406667974879135114238\ 407/141872336292456632444219848803202648973292445617120919502027780\ 56478*c_1001_5^10 + 54300072031717784057803241258758167546028318943\ 15122621090101607851147/1418723362924566324442198488032026489732924\ 4561712091950202778056478*c_1001_5^9 + 6847704866140433913308535156449999772761642772304572039923216486846\ 1155/14187233629245663244421984880320264897329244561712091950202778\ 056478*c_1001_5^8 + 15935612320523457412629155717786858798212235515\ 781661595812492339744123/141872336292456632444219848803202648973292\ 44561712091950202778056478*c_1001_5^7 - 1030422920660257521572307398622523867612447879180987084456182605357\ 7930/70936168146228316222109924401601324486646222808560459751013890\ 28239*c_1001_5^6 + 119594963177072088300789726011669793083259196216\ 32773789007229651615365/1418723362924566324442198488032026489732924\ 4561712091950202778056478*c_1001_5^5 + 5569478511214819410333695113445443633996039798664280717357062600504\ 563/141872336292456632444219848803202648973292445617120919502027780\ 56478*c_1001_5^4 - 278974003173222911484147146612078547166844460126\ 8380304292697770895445/14187233629245663244421984880320264897329244\ 561712091950202778056478*c_1001_5^3 + 8220288377155382295738099833172695788961427369206795237074293141160\ 32/7093616814622831622210992440160132448664622280856045975101389028\ 239*c_1001_5^2 - 14892611033189898808043182379194799376212713175280\ 8544697247442496648/70936168146228316222109924401601324486646222808\ 56045975101389028239*c_1001_5 + 24407055064543751291255724931717551\ 498534086458469357694696057129981/141872336292456632444219848803202\ 64897329244561712091950202778056478, c_0011_7 + 432827489206907410585397634906278516782301412697491099047197\ 06542971090/3759616911750100759771825993284870197792249808853704366\ 80373618496667*c_1001_5^16 + 64365702907381019146555244596428276601\ 2414673128437300537470687967918827/37596169117501007597718259932848\ 7019779224980885370436680373618496667*c_1001_5^15 + 3896542345484586806283481808173860368198441748028408008813522156863\ 255049/375961691175010075977182599328487019779224980885370436680373\ 618496667*c_1001_5^14 + 1208965802631963095953029225278421493331415\ 0300840694808333530225120829019/37596169117501007597718259932848701\ 9779224980885370436680373618496667*c_1001_5^13 + 1955598687299391666357129627077757882626231888398869169982039213755\ 9493054/37596169117501007597718259932848701977922498088537043668037\ 3618496667*c_1001_5^12 + 134989348452215155213019316164640285037335\ 00239104604821136133685931613662/3759616911750100759771825993284870\ 19779224980885370436680373618496667*c_1001_5^11 - 3352306829069305624519794453668211550160413640995243892433032232316\ 18765/3759616911750100759771825993284870197792249808853704366803736\ 18496667*c_1001_5^10 + 42762199366057180242769079103678724399694977\ 9092139870887609861314613747/37596169117501007597718259932848701977\ 9224980885370436680373618496667*c_1001_5^9 + 7925869480750560178940079021160342512085204723282295639535708688979\ 942908/375961691175010075977182599328487019779224980885370436680373\ 618496667*c_1001_5^8 + 14530335060140794237067508272358019489033966\ 98885208971394402409423312496/3759616911750100759771825993284870197\ 79224980885370436680373618496667*c_1001_5^7 - 2594543820609295412076577212990740200320656518063788208983370985042\ 804249/375961691175010075977182599328487019779224980885370436680373\ 618496667*c_1001_5^6 + 14842721174698857089876462697341995627237271\ 06536661667589372464335287472/3759616911750100759771825993284870197\ 79224980885370436680373618496667*c_1001_5^5 + 6068219956382758026524013525104189358222967012905753219360921215305\ 56547/3759616911750100759771825993284870197792249808853704366803736\ 18496667*c_1001_5^4 - 374420223710357505938971562061950157826444814\ 076516178902825424280728719/375961691175010075977182599328487019779\ 224980885370436680373618496667*c_1001_5^3 + 2010968415749025448190487768201049692997831808418923440388175462274\ 85097/3759616911750100759771825993284870197792249808853704366803736\ 18496667*c_1001_5^2 - 398149523506928699450448502538255195868226627\ 87359068375969828592913255/3759616911750100759771825993284870197792\ 24980885370436680373618496667*c_1001_5 + 2765229563189121390655302226901715816563628939436239331656230229155\ 499/375961691175010075977182599328487019779224980885370436680373618\ 496667, c_0101_0 - 113895702249881093594421428176797420172757782597384930485232\ 816022899/141872336292456632444219848803202648973292445617120919502\ 02778056478*c_1001_5^16 - 16455759407997889024894925233271515673189\ 26514131870255113026906180283/1418723362924566324442198488032026489\ 7329244561712091950202778056478*c_1001_5^15 - 4766594204067257840167960030058998359935862769057137675251621330594\ 809/709361681462283162221099244016013244866462228085604597510138902\ 8239*c_1001_5^14 - 137087689089776989201003825414101674682205741959\ 56525137234710474443691/7093616814622831622210992440160132448664622\ 280856045975101389028239*c_1001_5^13 - 1882543787794961885672411916856310477432195637182398530357948353722\ 5961/70936168146228316222109924401601324486646222808560459751013890\ 28239*c_1001_5^12 - 63348998407927802096217892262456047942165699975\ 87045669685561533296691/7093616814622831622210992440160132448664622\ 280856045975101389028239*c_1001_5^11 + 1764863475408853487404248830454595673329663146030148984510882657252\ 9905/14187233629245663244421984880320264897329244561712091950202778\ 056478*c_1001_5^10 - 2568763087953276496495729491342233741074107615\ 10819653271849945449975/1418723362924566324442198488032026489732924\ 4561712091950202778056478*c_1001_5^9 - 2023389836301167140361478683536366933395666899321340399482128673291\ 8625/14187233629245663244421984880320264897329244561712091950202778\ 056478*c_1001_5^8 + 26114105313921964715911099565993243670842095715\ 00184480358231452795766/7093616814622831622210992440160132448664622\ 280856045975101389028239*c_1001_5^7 + 9097132891914855698191226346236772514577041327817745254580116752990\ 379/141872336292456632444219848803202648973292445617120919502027780\ 56478*c_1001_5^6 - 338743385750286834406160099529716950003688872720\ 3579968863745101962144/70936168146228316222109924401601324486646222\ 80856045975101389028239*c_1001_5^5 - 5468105565013660276774702983626604241952226700616582587038797735348\ 3/70936168146228316222109924401601324486646222808560459751013890282\ 39*c_1001_5^4 + 887917950415820317054567986960985731991692832706862\ 363679531160747161/709361681462283162221099244016013244866462228085\ 6045975101389028239*c_1001_5^3 - 9673547208162688283220455206824127\ 54691954407427467464729946309269499/1418723362924566324442198488032\ 0264897329244561712091950202778056478*c_1001_5^2 + 1536072065439054197855603499998072583820402440169082330163435111601\ 59/7093616814622831622210992440160132448664622280856045975101389028\ 239*c_1001_5 - 3114021834697127667231928005881005705883568145974513\ 2514625462520263/14187233629245663244421984880320264897329244561712\ 091950202778056478, c_0101_1 - 1, c_0101_10 - 40694695166406016197586524857161100552786805850062502735521\ 36654852096/3759616911750100759771825993284870197792249808853704366\ 80373618496667*c_1001_5^16 - 62879879479106555428246091397903789602\ 606763624992933221827430222408755/375961691175010075977182599328487\ 019779224980885370436680373618496667*c_1001_5^15 - 4019532199750489938446179941634192786406845138835373958125551276941\ 86297/3759616911750100759771825993284870197792249808853704366803736\ 18496667*c_1001_5^14 - 13562484937643686050280570409896687308032141\ 75953172243579690104140974197/3759616911750100759771825993284870197\ 79224980885370436680373618496667*c_1001_5^13 - 2540301586894582388489648339256775242711907365841007221796405086308\ 344098/375961691175010075977182599328487019779224980885370436680373\ 618496667*c_1001_5^12 - 2466825797389534493154995154415526707322987\ 032232885034086339894721040656/375961691175010075977182599328487019\ 779224980885370436680373618496667*c_1001_5^11 - 9186620267085680452753220341280476656480570082282154210478881159834\ 46987/3759616911750100759771825993284870197792249808853704366803736\ 18496667*c_1001_5^10 - 17519269039413782023647701615193099955042114\ 8717783572384503991990473466/37596169117501007597718259932848701977\ 9224980885370436680373618496667*c_1001_5^9 - 7730116645099910117756623179465377274588132996415149926162073379366\ 14903/3759616911750100759771825993284870197792249808853704366803736\ 18496667*c_1001_5^8 - 575329377970602278125979302409866201593207122\ 568334882346724061377369515/375961691175010075977182599328487019779\ 224980885370436680373618496667*c_1001_5^7 + 7670373900731264837876014744607857481963793959377254968920728567341\ 5261/37596169117501007597718259932848701977922498088537043668037361\ 8496667*c_1001_5^6 - 2373183151007679472303656991981529700657683308\ 9944932215732320080120634/37596169117501007597718259932848701977922\ 4980885370436680373618496667*c_1001_5^5 - 1145355454222670978889892251695311471478054878863134349039391537307\ 54281/3759616911750100759771825993284870197792249808853704366803736\ 18496667*c_1001_5^4 - 110434309802455300792540101147486665416986682\ 23592948278714682335657719/3759616911750100759771825993284870197792\ 24980885370436680373618496667*c_1001_5^3 - 7305134506285755820803470981436928888017294027481876518617228118214\ 794/375961691175010075977182599328487019779224980885370436680373618\ 496667*c_1001_5^2 - 48151884422850613667733875852592991066733036451\ 84163113919343650866261/3759616911750100759771825993284870197792249\ 80885370436680373618496667*c_1001_5 + 5501667503464739137754050842247698555408482129611894758685107657186\ 25/3759616911750100759771825993284870197792249808853704366803736184\ 96667, c_0101_5 - 455464453726144094789087539160007385679990294595776776613933\ 419793173/141872336292456632444219848803202648973292445617120919502\ 02778056478*c_1001_5^16 - 33923552946055880558756029960187736555562\ 32969201137908871199016036244/7093616814622831622210992440160132448\ 664622280856045975101389028239*c_1001_5^15 - 2059004084315955569317037967017227621447365834799680567560754296226\ 9288/70936168146228316222109924401601324486646222808560459751013890\ 28239*c_1001_5^14 - 12834019903360228538955687516405642035162697232\ 6942912708947604543457793/14187233629245663244421984880320264897329\ 244561712091950202778056478*c_1001_5^13 - 1047620869858492440674301741294726642073154197627393843183979506505\ 28006/7093616814622831622210992440160132448664622280856045975101389\ 028239*c_1001_5^12 - 1489227123540875055430467593783686891568748833\ 22752090618440574435846775/1418723362924566324442198488032026489732\ 9244561712091950202778056478*c_1001_5^11 - 2966118656398090080475315373742026231736576734949437912549452328160\ 401/141872336292456632444219848803202648973292445617120919502027780\ 56478*c_1001_5^10 - 68818405604089177950983447378529751618667306719\ 46420064511416698822789/1418723362924566324442198488032026489732924\ 4561712091950202778056478*c_1001_5^9 - 8418473824985984703088628036877588061015568576517402740883478974567\ 4065/14187233629245663244421984880320264897329244561712091950202778\ 056478*c_1001_5^8 - 17647639325694837600364240345811202674053692177\ 912750169663339847829631/141872336292456632444219848803202648973292\ 44561712091950202778056478*c_1001_5^7 + 1296853265040251539519401483891539451401088181735736451736915050080\ 0924/70936168146228316222109924401601324486646222808560459751013890\ 28239*c_1001_5^6 - 153804302106475363200713542828562503616173614946\ 65158865875722946098145/1418723362924566324442198488032026489732924\ 4561712091950202778056478*c_1001_5^5 - 6668023696392110156747183950935460140456985004718939922558382990403\ 379/141872336292456632444219848803202648973292445617120919502027780\ 56478*c_1001_5^4 + 369542220720023221134083505683108281200981751488\ 4000913911149202876153/14187233629245663244421984880320264897329244\ 561712091950202778056478*c_1001_5^3 - 1045332244422380932310956272868402004353538539348565944830462560566\ 708/709361681462283162221099244016013244866462228085604597510138902\ 8239*c_1001_5^2 + 1834190572676505802860263666074232754399506555418\ 83446729003314591471/7093616814622831622210992440160132448664622280\ 856045975101389028239*c_1001_5 - 2879616303472674581813936575244112\ 6632378963235696530897063961779163/14187233629245663244421984880320\ 264897329244561712091950202778056478, c_0101_8 - 312168981100466804624137882971286572376700719519988291389267\ 30023178/7093616814622831622210992440160132448664622280856045975101\ 389028239*c_1001_5^16 - 4563914285379715681992148911235703358512597\ 49996314899882753259000607/7093616814622831622210992440160132448664\ 622280856045975101389028239*c_1001_5^15 - 2694763404616042279737064680240982800976586454931840445724830807066\ 169/709361681462283162221099244016013244866462228085604597510138902\ 8239*c_1001_5^14 - 802764357372001779359624929558677781584192533824\ 8819369834867920364342/70936168146228316222109924401601324486646222\ 80856045975101389028239*c_1001_5^13 - 1199122370676423476362847021259240840494833520897552751389397342264\ 8723/70936168146228316222109924401601324486646222808560459751013890\ 28239*c_1001_5^12 - 63975169440777368423498500793461180573605179812\ 50010422869042043759160/7093616814622831622210992440160132448664622\ 280856045975101389028239*c_1001_5^11 + 2453562609535391059320546968095650408443008056584667043675485195688\ 067/709361681462283162221099244016013244866462228085604597510138902\ 8239*c_1001_5^10 - 344700962402285761016454156992756706059822794322\ 937451209808762588298/709361681462283162221099244016013244866462228\ 0856045975101389028239*c_1001_5^9 - 5385554925488400167245938510076682250771655203654023407114074691289\ 292/709361681462283162221099244016013244866462228085604597510138902\ 8239*c_1001_5^8 + 4454019334099297270688896064767481467982269057031\ 28930244589746619722/7093616814622831622210992440160132448664622280\ 856045975101389028239*c_1001_5^7 + 2019867477524378054414415306509945575100418199008380190620722509617\ 921/709361681462283162221099244016013244866462228085604597510138902\ 8239*c_1001_5^6 - 1483581907507143544478346527546225155521087456967\ 078810161404789030463/709361681462283162221099244016013244866462228\ 0856045975101389028239*c_1001_5^5 - 1192954605871869730993429268853742843840888263972789516476564672495\ 93/7093616814622831622210992440160132448664622280856045975101389028\ 239*c_1001_5^4 + 34046538745753495668301137068826947244552284570097\ 6019751019502784926/70936168146228316222109924401601324486646222808\ 56045975101389028239*c_1001_5^3 - 217366522289198345249755839538216\ 001200894275316999917635123524568409/709361681462283162221099244016\ 0132448664622280856045975101389028239*c_1001_5^2 + 6829491080013266992581522604080810449584346380317296922151514639297\ 9/70936168146228316222109924401601324486646222808560459751013890282\ 39*c_1001_5 - 10486951484363537368817704635843246603414284532427300\ 232614914453633/709361681462283162221099244016013244866462228085604\ 5975101389028239, c_1001_0 + 292515858333141911564545630978166457997905463776228759800274\ 418401825/141872336292456632444219848803202648973292445617120919502\ 02778056478*c_1001_5^16 + 43450366132846766460181498550480643286822\ 60365274613798335276415484961/1418723362924566324442198488032026489\ 7329244561712091950202778056478*c_1001_5^15 + 1313070573706296635393460219770386431692625899598394874966047870403\ 5456/70936168146228316222109924401601324486646222808560459751013890\ 28239*c_1001_5^14 + 40638988750957044874153261683054084079616323590\ 457670380432691689937810/709361681462283162221099244016013244866462\ 2280856045975101389028239*c_1001_5^13 + 1308916197907309115821712050298787796985983821477967467116579441499\ 98471/1418723362924566324442198488032026489732924456171209195020277\ 8056478*c_1001_5^12 + 893109827073007600801546462890695180542267360\ 85860448148224398859528759/1418723362924566324442198488032026489732\ 9244561712091950202778056478*c_1001_5^11 - 1686310178326001125074522186607360365704662011589052686677942788822\ 547/709361681462283162221099244016013244866462228085604597510138902\ 8239*c_1001_5^10 + 304924076241132256701616413555258434132134950238\ 3429504557310976716003/14187233629245663244421984880320264897329244\ 561712091950202778056478*c_1001_5^9 + 5316349772600425963273535576471264800101796051116229381189539067653\ 4825/14187233629245663244421984880320264897329244561712091950202778\ 056478*c_1001_5^8 + 42809470910423394387312298760324805279763834286\ 45857888752359165456443/7093616814622831622210992440160132448664622\ 280856045975101389028239*c_1001_5^7 - 1784196555499427121217709272188913963236436231394514026784260960088\ 6899/14187233629245663244421984880320264897329244561712091950202778\ 056478*c_1001_5^6 + 50696021345314274686819034944650449761407650428\ 29267304380942987407815/7093616814622831622210992440160132448664622\ 280856045975101389028239*c_1001_5^5 + 3780636368354769927083346662122108793241293854768150146460706034895\ 841/141872336292456632444219848803202648973292445617120919502027780\ 56478*c_1001_5^4 - 133338338274564598165167133563338287592940774493\ 8665385559413802362180/70936168146228316222109924401601324486646222\ 80856045975101389028239*c_1001_5^3 + 1385050239506512428311382679749885515121724419010675298482134924004\ 417/141872336292456632444219848803202648973292445617120919502027780\ 56478*c_1001_5^2 - 286758988014522887049867743810385244100125055746\ 719930933255991375309/141872336292456632444219848803202648973292445\ 61712091950202778056478*c_1001_5 + 1524421149675783287491861008511733802918158927535309792529152147775\ 5/14187233629245663244421984880320264897329244561712091950202778056\ 478, c_1001_2 + 599440641890314602156190993420613714975452328155627952029084\ 295138442/709361681462283162221099244016013244866462228085604597510\ 1389028239*c_1001_5^16 + 178209672768988180726260560744875669623240\ 64374226322217362936911443289/1418723362924566324442198488032026489\ 7329244561712091950202778056478*c_1001_5^15 + 1078225976569281484435650958652745428925023410124240678993876981088\ 08803/1418723362924566324442198488032026489732924456171209195020277\ 8056478*c_1001_5^14 + 334268115284157782707468637871647149850680260\ 946101869504753753086058723/141872336292456632444219848803202648973\ 29244561712091950202778056478*c_1001_5^13 + 5400291402740558890373547403170425261536330384413330032589782071718\ 35595/1418723362924566324442198488032026489732924456171209195020277\ 8056478*c_1001_5^12 + 371832833626418019896779530123970304775239001\ 839831436112179316279991927/141872336292456632444219848803202648973\ 29244561712091950202778056478*c_1001_5^11 - 9733263949983161542050483214288688262912697181023676678476205179154\ 849/141872336292456632444219848803202648973292445617120919502027780\ 56478*c_1001_5^10 + 63719851294976060971633719225578794864045221990\ 59810909733609715003574/7093616814622831622210992440160132448664622\ 280856045975101389028239*c_1001_5^9 + 1094077665755810655480060730687085674893713600065539369329285483873\ 03893/7093616814622831622210992440160132448664622280856045975101389\ 028239*c_1001_5^8 + 38684644874041558678302682401822179062090221693\ 413483312063510816696975/141872336292456632444219848803202648973292\ 44561712091950202778056478*c_1001_5^7 - 3575643308962153099893556175814544689085996410659455459127638202266\ 9000/70936168146228316222109924401601324486646222808560459751013890\ 28239*c_1001_5^6 + 206932485137475987775530984293000273187463976171\ 16193329195451919679212/7093616814622831622210992440160132448664622\ 280856045975101389028239*c_1001_5^5 + 8127583063693208454446642395463328595504807465888262326720969161135\ 334/709361681462283162221099244016013244866462228085604597510138902\ 8239*c_1001_5^4 - 5200736983974597309333237097955749575391962045365\ 115029782944873642904/709361681462283162221099244016013244866462228\ 0856045975101389028239*c_1001_5^3 + 2813199029098910423897394523026644818772200778958849807167798652110\ 703/709361681462283162221099244016013244866462228085604597510138902\ 8239*c_1001_5^2 - 1163517464867113975655887687086139359442705173433\ 298439971729901726875/141872336292456632444219848803202648973292445\ 61712091950202778056478*c_1001_5 + 3753213207428099451500787067917956501370538611956726710847165901605\ 6/70936168146228316222109924401601324486646222808560459751013890282\ 39, c_1001_5^17 + 101436/6889*c_1001_5^16 + 605164/6889*c_1001_5^15 + 1833306/6889*c_1001_5^14 + 2830499/6889*c_1001_5^13 + 1691958/6889*c_1001_5^12 - 369872/6889*c_1001_5^11 + 72336/6889*c_1001_5^10 + 1247838/6889*c_1001_5^9 + 44921/6889*c_1001_5^8 - 447342/6889*c_1001_5^7 + 295568/6889*c_1001_5^6 + 61499/6889*c_1001_5^5 - 73711/6889*c_1001_5^4 + 40652/6889*c_1001_5^3 - 11020/6889*c_1001_5^2 + 1337/6889*c_1001_5 - 53/6889 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.910 Total time: 2.109 seconds, Total memory usage: 32.09MB