Magma V2.19-8 Wed Aug 21 2013 01:02:08 on localhost [Seed = 3835887448] Type ? for help. Type -D to quit. Loading file "L14n14014__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n14014 geometric_solution 12.39934419 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 1 0 0 0 0 0 0 0 1 -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 0 -1 1 -1 0 4 -3 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.138895818481 0.681986734073 0 5 3 6 0132 0132 2103 0132 0 1 0 1 0 0 0 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 0 0 0 1 0 0 -1 0 1 0 -1 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.936247732640 1.164685524421 7 0 5 8 0132 0132 0132 0132 0 0 0 1 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.312401757377 0.666464980298 1 9 7 0 2103 0132 1230 0132 0 1 0 1 0 0 0 0 0 0 1 -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 0 0 4 -4 0 0 0 0 3 1 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.588602694023 1.104365212378 7 9 0 5 1230 3012 0132 1230 0 1 0 1 0 1 0 -1 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 3 -3 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.470296225519 1.191020590700 4 1 10 2 3012 0132 0132 0132 0 0 1 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 0 0 0 -1 0 0 1 3 -3 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.349862117683 1.068664008267 8 11 1 8 3201 0132 0132 1230 0 1 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 -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.847964058477 1.189736632503 2 4 11 3 0132 3012 1023 3012 1 0 1 0 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 -4 0 4 0 0 0 0 4 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.763262742325 0.848396797456 6 12 2 6 3012 0132 0132 2310 0 0 1 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 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.847964058477 1.189736632503 4 3 12 10 1230 0132 0132 2031 0 0 1 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 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.782706522068 0.718016852138 12 9 11 5 0213 1302 3201 0132 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.296153835227 0.358300997277 10 6 7 12 2310 0132 1023 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.538084072000 1.092327501488 10 8 11 9 0213 0132 2031 0132 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.805557681850 0.787242329978 ==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_0011_4'], 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0011_3'], 'c_1001_7' : negation(d['c_0011_4']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_10'], 'c_1001_2' : d['c_0011_3'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_0'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : d['c_1001_5'], 's_3_11' : d['1'], 's_3_10' : 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' : negation(d['c_0011_4']), 'c_0101_10' : d['c_0011_12'], '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_1001_5']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0101_0']), 'c_1100_1' : negation(d['c_0101_0']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_11']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_7'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0011_3'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_0011_12'], 'c_1100_8' : negation(d['c_0011_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_1001_5']), '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_3']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_11']), '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_12']), 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : negation(d['c_0101_5']), 'c_0101_12' : d['c_0011_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_5']), 'c_0101_8' : d['c_0101_7'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_4'], 'c_0110_8' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0011_0'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_12'])})} 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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_7, c_1001_0, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 9821595862674840090224189777166996999163588344045111364821184128453\ 4974165898186058687092012/12201415681618879055088343157199789235170\ 4825672786114131376221014651327757106462390625*c_1001_5^19 - 2012308790550713326821212688513833981909552930754716603618134794795\ 53356796984966453749448114008/3050353920404719763772085789299947308\ 792620641819652853284405525366283193927661559765625*c_1001_5^18 - 2921438617890275335410404508781237369958263931588425412911545364467\ 98329196743329539943559844316/3050353920404719763772085789299947308\ 792620641819652853284405525366283193927661559765625*c_1001_5^17 - 4239822402590466551033413770742010525265965638920966701207654374265\ 12371377052685499403479461896/3050353920404719763772085789299947308\ 792620641819652853284405525366283193927661559765625*c_1001_5^16 - 4106044832673598539758612709101003737003825607161884003816089046294\ 395067488750816683164470991/122014156816188790550883431571997892351\ 704825672786114131376221014651327757106462390625*c_1001_5^15 - 8527446773687674662690393820530951709275189950566512536780116303578\ 84381708819814166653777945837/3050353920404719763772085789299947308\ 792620641819652853284405525366283193927661559765625*c_1001_5^14 + 6703339351868215626153608745026485502196338075719346837009808995116\ 212847763869877851240526558/122014156816188790550883431571997892351\ 704825672786114131376221014651327757106462390625*c_1001_5^13 - 6404115268630966409538391944541100844306121873920396629852189660876\ 08545947740512109621362765228/3050353920404719763772085789299947308\ 792620641819652853284405525366283193927661559765625*c_1001_5^12 - 1276469283110395478715696342937963187579242664858364457317077653467\ 73704494318068067224778453862/3050353920404719763772085789299947308\ 792620641819652853284405525366283193927661559765625*c_1001_5^11 - 3440100972875452824015270666186197549696865658143305716780664145475\ 5695026271511612469431053717/61007078408094395275441715785998946175\ 8524128363930570656881105073256638785532311953125*c_1001_5^10 - 1813700045037807979271678111368830917134055227652086009074646621003\ 37362278334582377648484072547/3050353920404719763772085789299947308\ 792620641819652853284405525366283193927661559765625*c_1001_5^9 - 5181789014599439978569763533916585877010736078347766010526962571615\ 869297985866492295174913219/610070784080943952754417157859989461758\ 524128363930570656881105073256638785532311953125*c_1001_5^8 - 4862550442800897870329650388374247150762535484627150848433812907902\ 4516427382846565275212731864/30503539204047197637720857892999473087\ 92620641819652853284405525366283193927661559765625*c_1001_5^7 - 1456331916504725391019657495428467214322051294678055139373277336832\ 9774656816000457313222462209/30503539204047197637720857892999473087\ 92620641819652853284405525366283193927661559765625*c_1001_5^6 - 1641578252232303572495754561960773737316025989678899282831512597485\ 51892257263011692006197463/6100707840809439527544171578599894617585\ 24128363930570656881105073256638785532311953125*c_1001_5^5 - 2898525124929521982187143974121895966894440475961449371738036676203\ 522560592998562978877725452/305035392040471976377208578929994730879\ 2620641819652853284405525366283193927661559765625*c_1001_5^4 + 5183174881028248801884554799023365854323436010065885860549159829086\ 16657437525330494228668208/3050353920404719763772085789299947308792\ 620641819652853284405525366283193927661559765625*c_1001_5^3 + 1559784945572242450221054456142932820884376563486680860351398868221\ 31701601777014879481223582/3050353920404719763772085789299947308792\ 620641819652853284405525366283193927661559765625*c_1001_5^2 - 8674912849802797239056587691923680521967262387587926240949117841806\ 7536225796484367155904321/30503539204047197637720857892999473087926\ 20641819652853284405525366283193927661559765625*c_1001_5 + 1060140491844381519011648916738221253808813108831363755788904276551\ 8422813228945331140437292/30503539204047197637720857892999473087926\ 20641819652853284405525366283193927661559765625, c_0011_0 - 1, c_0011_10 - 97777178780684581125777603006958752982063604494480019645804\ 04452947094909292275/2301468618199204421813239460127693437540446047\ 3321066853348732084307694278693*c_1001_5^19 - 8038511467492873631141988082803406459005709587950706968665223073703\ 56344355133844/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^18 - 1371016042147376911352471214960765078794934015696214302493414292927\ 995600814767061/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^17 - 2057426276545963538181440778941413868665110570058265806005713375409\ 747388817178285/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^16 - 9502715856739444485537522321204213853962930525269542290484213900303\ 62212913124907/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^15 - 3655088753196137639308522380761113619552066401025744801074460672665\ 976768761892078/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^14 - 2576348654224089081939774261106036234460589174136633003326087465766\ 52812740073656/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^13 - 2674551152205693836410100996743064116360079127292651820008666167800\ 127182843233476/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^12 - 1136626367332662905420086291628010593034533453452497526012936806576\ 823162909645716/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^11 - 1033288188668142340612567655986801991001987956510293067894198661733\ 431133081847671/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^10 - 9627370047624196365036203154044275173001424985722773897542381753639\ 11613510157075/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^9 - 3563106431465821073427500980313553373259638016078315694528279351472\ 93426205754622/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^8 - 2875806951818513305996736051703171385387499311935753869922166216569\ 38234570166012/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^7 - 1247260904427520378801923425427398865961767969057154382989312587411\ 67248303908073/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^6 - 3688175422634217593794682101600568355683598762723830271080338962590\ 8583275900947/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^5 - 1920482349177851334640087088441286812653512392504654613405659857729\ 5972100822435/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^4 - 2361193304591988408575895753795256050795403784653029697496770695649\ 353135767792/230146861819920442181323946012769343754044604733210668\ 53348732084307694278693*c_1001_5^3 + 8540855930291926118886888938567187170533872345146224739683164098571\ 5244555823/23014686181992044218132394601276934375404460473321066853\ 348732084307694278693*c_1001_5^2 - 1468999458329571408231044950936274781570186388328739753378922869203\ 97723400280/2301468618199204421813239460127693437540446047332106685\ 3348732084307694278693*c_1001_5 - 242985870139250175024260654496004\ 43780203317167830630601559701077391720784967/2301468618199204421813\ 2394601276934375404460473321066853348732084307694278693, c_0011_11 - 18648171847329220715086337164677658323540134938198603277264\ 427925000933662625375/230146861819920442181323946012769343754044604\ 73321066853348732084307694278693*c_1001_5^19 - 1531686941661294895542896906697145544096691678348690113543320609280\ 610471481474710/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^18 - 2497817569302289051123509512888119165421656106469248713136892044460\ 651689252905962/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^17 - 3749038089932699142684809990778135602845529224753343799606797338258\ 905182376566800/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^16 - 1547798454757904006252388360686932491386331549977773278656486895364\ 755154986235039/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^15 - 6887566549029474565194623091752194189708071104011698916140407996474\ 434948136066161/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^14 + 2899145927405591931886831754311401218641641595782226647244243745884\ 0521266152815/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^13 - 5173432404479279846871596402632563540401145607095905518738933831635\ 892487154860426/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^12 - 1749239567743266047414779530634886422745274785072815158226388670596\ 592636156023438/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^11 - 1900932526393565232119088573541224629132692062775731474410268619563\ 826698486560367/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^10 - 1682944155389935514391051290889984284651408448235583717067212273627\ 964751259238996/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^9 - 5770534719919975211784235973129026633091415610814179165153155876920\ 36613872230850/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^8 - 5102930425674433622981265346839900055769710741846354279394919006223\ 13775985955067/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^7 - 2021186896448817262416636165027557893977954473911516563530818134927\ 74665752262926/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^6 - 5861660937990159945069817976072928997733430217648918727657158181490\ 9363963773465/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^5 - 3196869072348430492479781884458950026664388449659564226885016488928\ 1225816459701/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^4 - 2341288465002572583317344819364002235038580404486680618535491697414\ 309275958541/230146861819920442181323946012769343754044604733210668\ 53348732084307694278693*c_1001_5^3 + 2680675720222756373743000841662248083510552957506688304951143138898\ 42085583241/2301468618199204421813239460127693437540446047332106685\ 3348732084307694278693*c_1001_5^2 - 1669560674654656469442965302239033823536748040635582379480916189129\ 78436564950/2301468618199204421813239460127693437540446047332106685\ 3348732084307694278693*c_1001_5 - 584403642078935333063798919236181\ 79865771644252756780490118608342652315187645/2301468618199204421813\ 2394601276934375404460473321066853348732084307694278693, c_0011_12 - 50593999334175744625015384088374725218319329660337279288149\ 15887469179416882425/2301468618199204421813239460127693437540446047\ 3321066853348732084307694278693*c_1001_5^19 - 4157211306394812482936847503263655265181519015768159646570878380161\ 89984231204173/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^18 - 6910621975346243283692594886126117803526491289697609924542686236028\ 32568351034667/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^17 - 1044897607444463767843393049492415017838320151306148597409329502986\ 294807297361958/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^16 - 4699665600687398002464263492054450042597924982583909625117979936448\ 05628207178713/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^15 - 1906246771888486167675185243792393146564726829556732072753384420679\ 524318047302538/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^14 - 7120766533534220913187677197969212553340161816680027091924006568673\ 0886928329019/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^13 - 1429267193070223326446668667726685458754949299497300770799520627298\ 116180760676551/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^12 - 5501007301737388244790409184720049904551175726779393759815608913086\ 12832504366067/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^11 - 5370058848250329282978660023441224641620947362336779555612442605288\ 75992883822080/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^10 - 5035201582190274953300731902956992775519481601579722474521909806054\ 50275693138948/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^9 - 1777524823024841024561711865310511586602020411954877438782298764615\ 13967797979686/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^8 - 1551182379143938637156699796191349045857402637260974505530346870046\ 12085666436068/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^7 - 6511452388591972371289886210571894280471018820247139294113337016885\ 2456029511170/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^6 - 1963904230764404592760149726029444502042011180602366681662918037028\ 8499064737591/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^5 - 1081107303478354886226477294774764716668380479679700252918307126644\ 5513450309205/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^4 - 1200224258148977686925789595376722847419034563615570516105355190557\ 132657112822/230146861819920442181323946012769343754044604733210668\ 53348732084307694278693*c_1001_5^3 - 2425892230316739921233013144421795774659591507995769229040350794100\ 9558206918/23014686181992044218132394601276934375404460473321066853\ 348732084307694278693*c_1001_5^2 - 5679227434294761756502021413931665137292729566271535570314358133661\ 9347139900/23014686181992044218132394601276934375404460473321066853\ 348732084307694278693*c_1001_5 + 3810066028267580527111409857765619\ 99413200281241633053471514147279242530070/2301468618199204421813239\ 4601276934375404460473321066853348732084307694278693, c_0011_3 + 107514222879942880780150404593915007907173001765995838151605\ 7061987337152862600/23014686181992044218132394601276934375404460473\ 321066853348732084307694278693*c_1001_5^19 + 8792191826917785858741396390889708111310605960733854267934435109391\ 3364803918611/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^18 + 1123222666545983865780444106313715792019573301363670530680603293598\ 52145966671571/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^17 + 1659216516044705597178220152785410099542093998888382073120373250263\ 20118849134432/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^16 + 1482496284964695807481043303366086680222044890437323762934200212941\ 0705056084821/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^15 + 3697144654606452138074627287982593606333863878390635515630653859825\ 54396527357311/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^14 - 1415837305420318782676517865481710114211802561001626374500869598619\ 68682543507862/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^13 + 3048560151499322708858337091482529923531512504059820066919412153669\ 91415093731622/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^12 - 3856325264578269283178571559803175111708823803466784091052942198415\ 404546443726/230146861819920442181323946012769343754044604733210668\ 53348732084307694278693*c_1001_5^11 + 7692406493436521857668006243266878148531040100685092635162553862768\ 1283049150680/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^10 + 6082373920614751733849209830471453266877439564723788350828183759017\ 1594932799162/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^9 - 3424617170296832365435320500524569673156401198535781721689712852477\ 17267344848/2301468618199204421813239460127693437540446047332106685\ 3348732084307694278693*c_1001_5^8 + 1987336251131154078523212008884912128424297156827028892024104385244\ 4606701276422/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^7 + 8989868176513627914744936053955685903327856529161757212359042056954\ 95424507275/2301468618199204421813239460127693437540446047332106685\ 3348732084307694278693*c_1001_5^6 - 6156546089893846382950311374723558605921429281099641691717133467271\ 967371816/230146861819920442181323946012769343754044604733210668533\ 48732084307694278693*c_1001_5^5 + 543609589721321530818526779379258\ 504820146211672916130939086726125729672864505/230146861819920442181\ 32394601276934375404460473321066853348732084307694278693*c_1001_5^4 - 49097514160822230578071618797072007281010431455551943651726865766\ 5339837161487/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^3 + 2016161370776252681968113555332790579759201487700831110192346183816\ 408779486/230146861819920442181323946012769343754044604733210668533\ 48732084307694278693*c_1001_5^2 - 104156203003569931885099796955415\ 28464664229074859511549641197192401195250582/2301468618199204421813\ 2394601276934375404460473321066853348732084307694278693*c_1001_5 + 1954493984300532451574851358965607130348672875477635490050505415675\ 0095568778/23014686181992044218132394601276934375404460473321066853\ 348732084307694278693, c_0011_4 - 151493701977875811133548666717338118358290837516370513407534\ 54942680181130621250/2301468618199204421813239460127693437540446047\ 3321066853348732084307694278693*c_1001_5^19 - 1244809148766798160434832850965440009516239738144832033902203566725\ 781138439285675/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^18 - 2070094588710974033464199257210411719609577465068820675108289339654\ 078235716723454/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^17 - 3101313618654217122758160307314518565005902646243973207560235377837\ 162734567832970/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^16 - 1349397635456556874202190172572986520768019902776309761364015928447\ 659123611814446/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^15 - 5624812468481916304783946453565625519084007737702092582429624263140\ 196976233830963/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^14 - 1724094287966884438709775794234490224414746569409395462305799560061\ 71660637327007/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^13 - 4157812120631832592140586570214145406919590560956306927725213770459\ 737948515589142/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^12 - 1602658994867085298416884894798720687739448570018102885743847561289\ 472283997184835/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^11 - 1549431977653082614171253272053380514028793593592996394102552592041\ 200062319632545/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^10 - 1435704605759313221857270475089599133906221400395618361183286069127\ 676237766151851/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^9 - 5089739290217992859829973113224144343145547848265946444516212157979\ 70141210861137/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^8 - 4281606978628787463283810121635850884810487780116135737563711586219\ 42172394123880/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^7 - 1818734469178786920280384838773570386437872971075286114757952669093\ 87047446178194/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^6 - 5250699628958748495150325276182131793296821247870669704160932753353\ 6896738674533/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^5 - 2820098381326484066855912103281559335381615431285789754592394629161\ 1323963523994/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^4 - 3411285859760915917282541654600672547579325608613793738427172321751\ 071812074471/230146861819920442181323946012769343754044604733210668\ 53348732084307694278693*c_1001_5^3 + 1952805362225849306418166155821096207555078728420267698561824301352\ 47241577208/2301468618199204421813239460127693437540446047332106685\ 3348732084307694278693*c_1001_5^2 - 2317144253654177913170393805559076031741112397988264385822456333975\ 55427187391/2301468618199204421813239460127693437540446047332106685\ 3348732084307694278693*c_1001_5 - 502889557019515608672714508586890\ 75649665585767430113010489590554627519769116/2301468618199204421813\ 2394601276934375404460473321066853348732084307694278693, c_0101_0 - 442579145159975113308001027261920894562591946863883778311351\ 7912146211115556600/23014686181992044218132394601276934375404460473\ 321066853348732084307694278693*c_1001_5^19 - 3638604990113178180191136453016541097461110710859022942942371856531\ 36017487861851/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^18 - 6208547039260348198710764959317315595072499082051877088271814293895\ 31606547592880/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^17 - 9217296932428879738123741564508241188220073888496604916623104277390\ 56610408131079/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^16 - 4135678768859769696015517578697159829784504650831692084306373103092\ 92553062009061/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^15 - 1628535135316519421500725043938350220075648695645496168739531814780\ 967551729783778/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^14 - 1052292829782732871372788285352830610806452473555253956201624241100\ 55739744402423/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^13 - 1163489339679233403117251009924927019666549072619861363706612261509\ 752147718096044/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^12 - 5109683449382348596925887559627797164886253257856795613042053080724\ 83603622976368/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^11 - 4351669620907175389658478235638025126220787578437466021303833452077\ 21324959515894/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^10 - 4180107957087427879031869672234217671200997142180234343356006633662\ 82386775931808/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^9 - 1513742971025123060319706064129733149988123647265889794655461095242\ 96262058092349/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^8 - 1151045057519547304953643574147886715928927396891054348885255441485\ 82945995012888/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^7 - 5283014533546719521693671646650987743545241815590429777531288447652\ 5725503495788/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^6 - 1274043335103872640389782542132978276354810390526163629739211613540\ 1969159497651/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^5 - 6939610367040462827467007211888678948301182210784700569889722063326\ 506703407056/230146861819920442181323946012769343754044604733210668\ 53348732084307694278693*c_1001_5^4 - 7620357363883997067279778564467707399919177166916445644931206507842\ 29243866984/2301468618199204421813239460127693437540446047332106685\ 3348732084307694278693*c_1001_5^3 + 2962516409802646955197960145135773723948503190832676676723701964000\ 24801137024/2301468618199204421813239460127693437540446047332106685\ 3348732084307694278693*c_1001_5^2 - 7429426119139695518627548161410681397543373449890646886816792224304\ 1221450823/23014686181992044218132394601276934375404460473321066853\ 348732084307694278693*c_1001_5 - 2966115320500980636399600199576796\ 2067857592082874261256068902161441396322286/23014686181992044218132\ 394601276934375404460473321066853348732084307694278693, c_0101_1 - 1, c_0101_2 - 551180555346559804037509341466878785426505179169012187218598\ 9479559486872363200/23014686181992044218132394601276934375404460473\ 321066853348732084307694278693*c_1001_5^19 - 4518202579262927817028262241939029535647694933516090493917241472225\ 66519297817177/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^18 - 6648971656281529408651746044772943069275139680059425542599409447814\ 30318420076086/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^17 - 1016384150765724284552621714618328825228132479293560464625352292530\ 624110245517545/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^16 - 3185625869971877158144870224940540298552909930468731591852053173503\ 59565943982822/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^15 - 2023933734361236850625277248363290374303612318924496180971843191129\ 351801999478710/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^14 + 3229133971578667342003150989669865136928342490830938772077422068710\ 62722058374559/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^13 - 1655166174391861278808151256332839798143887212880552247926783710378\ 653562372589513/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^12 - 2437489780581557908878653755736298194245215090871627770808267482437\ 63114470682113/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^11 - 5787033594223940758394623786151649199251294242908292680834393911504\ 51719711077636/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^10 - 4173651119440117229379281307740205544180343149350543919903925447041\ 08516719462084/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^9 - 1242630201588315209925962654499491793799596733243978883550476949410\ 35535443020685/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^8 - 1456896663397876972442558676907664697433417060084037938823079873478\ 19629055877845/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^7 - 4200387143973784377494178025366607298430841991828886311968093370425\ 9070901167032/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^6 - 1512715161787706486162416585104525801598321505243399710825846026409\ 5535533514280/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^5 - 8522659898623893419284906001137764405005261401252684838635312250716\ 915668169942/230146861819920442181323946012769343754044604733210668\ 53348732084307694278693*c_1001_5^4 + 1427294868113234534754483903238592675121756262145390521888059110477\ 52619527708/2301468618199204421813239460127693437540446047332106685\ 3348732084307694278693*c_1001_5^3 - 9496232453100803207340266807638513642196323686493566890826116079549\ 3038381947/23014686181992044218132394601276934375404460473321066853\ 348732084307694278693*c_1001_5^2 - 3865206588948627014381906378954724656035557219390505775337081090016\ 7485553974/23014686181992044218132394601276934375404460473321066853\ 348732084307694278693*c_1001_5 + 5410417875606647360124869289552479\ 596350864467057002823030381371041363752116/230146861819920442181323\ 94601276934375404460473321066853348732084307694278693, c_0101_5 - 127699043748187868405547004947814602001524765273466955377386\ 73940162494503801000/2301468618199204421813239460127693437540446047\ 3321066853348732084307694278693*c_1001_5^19 - 1048640734209468800416535527964957331048151920484066994269801191214\ 268464983514185/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^18 - 1691706968430470022690145271847958146295461096175205664969722280813\ 046819713984362/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^17 - 2538834496950121473433835038335657023028956386983587897391196099668\ 588881216677584/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^16 - 1012868399602232342910312753226489363151035044301365011606593804315\ 357842959885196/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^15 - 4697562419568724459870273852625048554690418727416638246920933907712\ 592975975791569/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^14 + 1099701733265188970984759635785264130150637742372356895268267348778\ 85209141355623/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^13 - 3553989554268652350763414473740007639981263725125080937070921624299\ 796065055638935/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^12 - 1114922757450395683275220749592494357508189160000275002242149138735\ 866346174776054/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^11 - 1298244695485515123888534490097551073770267128458315837478270724623\ 904779352537392/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^10 - 1114615736962747748256655421594807272305242849878992460537145250955\ 506698981409029/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^9 - 3804258859470631436787484264427133353034963048333754374777521004336\ 35099018679103/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^8 - 3397717265457210852439907031377154930743630032128141904647864746884\ 62972115614462/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^7 - 1315240967777237256140726164834774744807095344017800130590208228906\ 67531893093497/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^6 - 3819370805700019144869928098785185807067093403925620077854700379145\ 6074941934661/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^5 - 2075914643473148116798828391977278557748307766279019566757480415374\ 5492784566642/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^4 - 1325292610537077840694933854256829409038684424397782499897792616668\ 654333994300/230146861819920442181323946012769343754044604733210668\ 53348732084307694278693*c_1001_5^3 + 2163076423964438480004910234771998101387219081940377494701533503714\ 46574141403/2301468618199204421813239460127693437540446047332106685\ 3348732084307694278693*c_1001_5^2 - 1080765906747459435668828755122481099737918387219123750823721289791\ 21175709578/2301468618199204421813239460127693437540446047332106685\ 3348732084307694278693*c_1001_5 - 355304895747195234730274060377085\ 22389063556909857161854565025574917443024730/2301468618199204421813\ 2394601276934375404460473321066853348732084307694278693, c_0101_7 - 236227644816866737609339648414164855774305669944546558838351\ 35455096926565955875/2301468618199204421813239460127693437540446047\ 3321066853348732084307694278693*c_1001_5^19 - 1940413799227934022118148300154195058061828938886476233815667849678\ 538174142566640/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^18 - 3175045277232445320620660897440094804292352442007787020531196903100\ 894566495422994/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^17 - 4762182425100555571333097832555611901648276356930691910708946800104\ 656388882990301/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^16 - 1977964948125823749538875418380571615349548545732692478284357196475\ 130760929094924/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^15 - 8722365638225507312986258962184421534875871516281446599558459966361\ 124141265040958/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^14 - 6080961553858132827849675983906199009814887076264973355695051836798\ 921055210171/230146861819920442181323946012769343754044604733210668\ 53348732084307694278693*c_1001_5^13 - 6533396721624278458059349179631324748694494102823714763771529007466\ 914662992604033/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^12 - 2247692799518480319412128469660701775431013789649305744164033003114\ 274104537978044/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^11 - 2408456949088022683077782208517021846257565485975459831724094924985\ 017195483535743/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^10 - 2138176480931314902098767835303949322274159744098507733799665263909\ 589907424365266/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^9 - 7363940673766155677849549924240162156621444663213534287584110642956\ 80807957088877/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^8 - 6472257842388839566288964283968817528973559059746598663772441401978\ 45813387056896/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^7 - 2571491740381271262857394526316129296672191169604116270791879858375\ 30275621508845/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^6 - 7506930573725247354026315169248281806890100023721340384765867628389\ 7386250463792/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^5 - 4050757951623131604520768158356491220883834779950965793257048945716\ 7194558253582/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^4 - 3195510773520843943490113420081365387023983894495292760877294654652\ 667632600605/230146861819920442181323946012769343754044604733210668\ 53348732084307694278693*c_1001_5^3 + 2997000403285868565073917993075388912643014301577991657567926451733\ 45409917740/2301468618199204421813239460127693437540446047332106685\ 3348732084307694278693*c_1001_5^2 - 2445609162073460912014773909103340596661462484799268388706232187071\ 17703859276/2301468618199204421813239460127693437540446047332106685\ 3348732084307694278693*c_1001_5 - 793740164316498654912019850769650\ 37472753602832464147356629780809059259378475/2301468618199204421813\ 2394601276934375404460473321066853348732084307694278693, c_1001_0 + 993759700506534917345510368728799679989097126032895965529950\ 7391705697987919800/23014686181992044218132394601276934375404460473\ 321066853348732084307694278693*c_1001_5^19 + 8156807569376105997219398694955570633108805644375113436859613328757\ 02536785679028/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^18 + 1285751869554187760736251100409025866434763876211130263087122374170\ 961924967668966/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^17 + 1938113844008612258364995871069152944050139868143220956287662720269\ 680720653648624/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^16 + 7321304638831646854160387803637700128337414581300423676158426276596\ 52119005991883/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^15 + 3652468869677756272126002292301640594379261014569992349711375005910\ 319353729262488/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^14 - 2176841141795934470630362704317034526121890017275684815875797827610\ 06982313972136/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^13 + 2818655514071094681925402266257766817810436285500413611633395971888\ 405710090685557/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^12 + 7547173229963906505804541315364095359131468348728423383850320563162\ 46718093658481/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^11 + 1013870321513111614805310202178967432547208182134575870213822736358\ 173044670593530/230146861819920442181323946012769343754044604733210\ 66853348732084307694278693*c_1001_5^10 + 8353759076527545108411150979974423215381340291530778263259932080703\ 90903495393892/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^9 + 2756373172613438270245668718629224943787720380509868678205938044653\ 31797501113034/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^8 + 2607941720917424277396202251055551413362344456975092287708335314964\ 02575050890733/2301468618199204421813239460127693437540446047332106\ 6853348732084307694278693*c_1001_5^7 + 9483401677520503899187849672017595041976083807419316089499381818078\ 4796404662820/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^6 + 2786758496891579126552199127237504077953131895769563340565057639949\ 7504693011931/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^5 + 1546227026566435624675191321302644335330644361203738540852503431404\ 3422371576998/23014686181992044218132394601276934375404460473321066\ 853348732084307694278693*c_1001_5^4 + 6193062495770762532525294661229114724797420904771055123043147397364\ 76624339276/2301468618199204421813239460127693437540446047332106685\ 3348732084307694278693*c_1001_5^3 - 2012893164492566634463933464371922359728870822183319987641090356045\ 31762755077/2301468618199204421813239460127693437540446047332106685\ 3348732084307694278693*c_1001_5^2 + 8993164089889118111196215080237712616038484621949045976819000105890\ 1012726104/23014686181992044218132394601276934375404460473321066853\ 348732084307694278693*c_1001_5 + 2425073532940315900387113270621548\ 2471506727615817258433038520790400032570170/23014686181992044218132\ 394601276934375404460473321066853348732084307694278693, c_1001_5^20 + 348446/4225*c_1001_5^19 + 682622/4225*c_1001_5^18 + 1037462/4225*c_1001_5^17 + 126647/845*c_1001_5^16 + 1673819/4225*c_1001_5^15 + 103509/845*c_1001_5^14 + 89247/325*c_1001_5^13 + 793324/4225*c_1001_5^12 + 8561/65*c_1001_5^11 + 525439/4225*c_1001_5^10 + 51412/845*c_1001_5^9 + 157868/4225*c_1001_5^8 + 84473/4225*c_1001_5^7 + 5654/845*c_1001_5^6 + 11599/4225*c_1001_5^5 + 2999/4225*c_1001_5^4 + 111/4225*c_1001_5^3 + 32/4225*c_1001_5^2 + 31/4225*c_1001_5 + 1/845 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.430 Total time: 0.630 seconds, Total memory usage: 32.09MB