Magma V2.19-8 Wed Aug 21 2013 00:26:45 on localhost [Seed = 290914979] Type ? for help. Type -D to quit. Loading file "K14n14860__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n14860 geometric_solution 12.14415899 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 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 1 0 -1 0 0 0 0 -8 9 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399746255312 0.979836503678 0 5 7 6 0132 0132 0132 0132 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 -1 0 1 0 0 0 0 0 -8 0 8 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377233548992 0.376502432023 8 0 9 8 0132 0132 0132 1023 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 9 0 0 -9 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.744702054203 1.133088976144 5 9 9 0 3120 1023 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.042605979349 0.760114574397 10 11 0 7 0132 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 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.209629304243 0.481690727128 6 1 8 3 0132 0132 1023 3120 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 1 -1 0 0 0 0 0 -8 8 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556873091753 0.478477115595 5 8 1 10 0132 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 8 -9 0 1 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.073510621011 1.311470719780 11 9 4 1 3120 3120 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.299788140705 0.652827161503 2 6 5 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -9 0 0 9 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.744702054203 1.133088976144 3 7 3 2 1023 3120 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.113391389951 0.589796417700 4 12 6 12 0132 0132 2031 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.761033855705 0.853261017494 12 4 12 7 0213 0132 0321 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0.761033855705 0.853261017494 11 10 11 10 0213 0132 0321 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.761033855705 0.853261017494 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_7']), 'c_1001_10' : negation(d['c_0101_5']), 'c_1001_12' : negation(d['c_0101_7']), 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : negation(d['c_1001_7']), 'c_1001_8' : d['c_0101_5'], 'c_1010_12' : negation(d['c_0101_5']), 'c_1010_11' : negation(d['c_0011_7']), 'c_1010_10' : negation(d['c_0101_7']), 's_0_10' : 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_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_3']), 'c_1100_8' : d['c_0101_3'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_1001_7']), 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : d['c_0101_10'], 'c_1100_1' : d['c_0101_10'], 'c_1100_0' : negation(d['c_1001_7']), 'c_1100_3' : negation(d['c_1001_7']), 'c_1100_2' : negation(d['c_0101_3']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_7']), 'c_1100_10' : negation(d['c_0101_5']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_8'], 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : negation(d['c_0011_7']), 'c_1010_8' : d['c_0101_8'], '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_7']), '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_3'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : negation(d['c_0101_1']), '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_3'], '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_3']), 'c_0101_8' : d['c_0101_8'], '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_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5']})} 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_7, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0101_5, c_0101_7, c_0101_8, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 96314958635273337707063524066869423302/5897669461174171640497489650\ 99825*c_1001_7^21 + 84174438727700361745819553211987650596/84252420\ 873916737721392709299975*c_1001_7^20 + 856596202985927602576592530907210335179/196588982039139054683249655\ 033275*c_1001_7^19 + 5864087027644360689183943182630723639326/58976\ 6946117417164049748965099825*c_1001_7^18 + 8958505517647915519498778683204080779254/58976694611741716404974896\ 5099825*c_1001_7^17 + 1093184121012497355373705559484311929999/1965\ 88982039139054683249655033275*c_1001_7^16 - 215537874724423231754981130407957480786/235906778446966865619899586\ 03993*c_1001_7^15 - 1562561815982149474024771617033791127787/589766\ 946117417164049748965099825*c_1001_7^14 + 7195527040811796381475322660656760302403/11795338922348343280994979\ 3019965*c_1001_7^13 + 29740537049056628653935390718307038232753/589\ 766946117417164049748965099825*c_1001_7^12 - 1994622253219033425216517193803989625021/58976694611741716404974896\ 5099825*c_1001_7^11 - 9701835603260905111473288410005395375509/3931\ 7796407827810936649931006655*c_1001_7^10 + 220882681439630183464841196921208983265883/589766946117417164049748\ 965099825*c_1001_7^9 - 434403112639915421477753961286970489787/1965\ 88982039139054683249655033275*c_1001_7^8 - 136626866226807317057727955398624628621538/589766946117417164049748\ 965099825*c_1001_7^7 - 10847460726475511552676737682211192891433/19\ 6588982039139054683249655033275*c_1001_7^6 + 4220397399538585037355021375819933928442/78635592815655621873299862\ 01331*c_1001_7^5 - 364937464203747825690286550903751440349166/58976\ 6946117417164049748965099825*c_1001_7^4 + 75558369308652211113955445080654826039514/1965889820391390546832496\ 55033275*c_1001_7^3 - 80245360148136914163997639998402419773598/589\ 766946117417164049748965099825*c_1001_7^2 + 17054514071461661016265533235632035242354/5897669461174171640497489\ 65099825*c_1001_7 - 342865243302794017836604301249457255656/8425242\ 0873916737721392709299975, c_0011_0 - 1, c_0011_10 + 275520097262403959768333070014/1685048417478334754427854185\ 9995*c_1001_7^21 + 1276982106081843354607908428866/1685048417478334\ 7544278541859995*c_1001_7^20 + 1533030374796287761166769208749/5616\ 828058261115848092847286665*c_1001_7^19 + 4212862662031917650693744713913/16850484174783347544278541859995*c_\ 1001_7^18 - 6695327938637939365637247807818/16850484174783347544278\ 541859995*c_1001_7^17 - 3134391340354115971639810024810/11233656116\ 52223169618569457333*c_1001_7^16 - 11879737082269191476599802561209/3370096834956669508855708371999*c_\ 1001_7^15 + 1067600687111621979995550251606/16850484174783347544278\ 541859995*c_1001_7^14 + 124821742456201766742981544069318/168504841\ 74783347544278541859995*c_1001_7^13 - 9800532074401257630284415617387/3370096834956669508855708371999*c_1\ 001_7^12 - 221039852827888341672695440816222/1685048417478334754427\ 8541859995*c_1001_7^11 - 179707218694270658869059444678717/56168280\ 58261115848092847286665*c_1001_7^10 + 1201344100943301230964287146919573/16850484174783347544278541859995\ *c_1001_7^9 - 182256666825377914319796746402271/5616828058261115848\ 092847286665*c_1001_7^8 - 150905134229135286524286860484010/3370096\ 834956669508855708371999*c_1001_7^7 + 82084557460710484390947664943199/5616828058261115848092847286665*c_\ 1001_7^6 + 434113318240425759376250889600992/5616828058261115848092\ 847286665*c_1001_7^5 - 2100741252604552253234981953843744/168504841\ 74783347544278541859995*c_1001_7^4 + 496396392380083896220015431345599/5616828058261115848092847286665*c\ _1001_7^3 - 129245665115446863824423769453172/337009683495666950885\ 5708371999*c_1001_7^2 + 135137633457654290412913972327378/168504841\ 74783347544278541859995*c_1001_7 - 2012852848613229258528843183745/3370096834956669508855708371999, c_0011_3 - 6939314895275538493694056792079/5055145252435004263283562557\ 9985*c_1001_7^21 - 44077879705106145756758830593061/505514525243500\ 42632835625579985*c_1001_7^20 - 65324157245631472020403475175034/16\ 850484174783347544278541859995*c_1001_7^19 - 471864920172507797607966180360878/50551452524350042632835625579985*\ c_1001_7^18 - 772017126902336686827478078124542/5055145252435004263\ 2835625579985*c_1001_7^17 - 30654723094694353546293740142805/337009\ 6834956669508855708371999*c_1001_7^16 + 394740833659086768130832172130/98158160241456393461816748699*c_1001\ _7^15 + 92424320229834202125369661271314/50551452524350042632835625\ 579985*c_1001_7^14 - 2571864502759488224619142407487603/50551452524\ 350042632835625579985*c_1001_7^13 - 540941779030921783647258478625788/10110290504870008526567125115997*\ c_1001_7^12 - 620317090077806320527117945360083/5055145252435004263\ 2835625579985*c_1001_7^11 + 3360663956648850496640871703566842/1685\ 0484174783347544278541859995*c_1001_7^10 - 13727485468845605216474805221546948/5055145252435004263283562557998\ 5*c_1001_7^9 - 271887803840491345080739070970728/561682805826111584\ 8092847286665*c_1001_7^8 + 1751909061794092145717801772911485/10110\ 290504870008526567125115997*c_1001_7^7 + 1292672212530634301901005829083026/16850484174783347544278541859995\ *c_1001_7^6 - 7185123740215402290303992444708152/168504841747833475\ 44278541859995*c_1001_7^5 + 21851756549092942520011231866023494/505\ 51452524350042632835625579985*c_1001_7^4 - 1379569130807617861311261904525408/5616828058261115848092847286665*\ c_1001_7^3 + 728751431528886788124678160101709/10110290504870008526\ 567125115997*c_1001_7^2 - 670610945005231753953990168452938/5055145\ 2524350042632835625579985*c_1001_7 + 13488036482430148133958661835125/10110290504870008526567125115997, c_0011_7 - 4320431534075348148189725322161/5055145252435004263283562557\ 9985*c_1001_7^21 - 27694641785559640654774175084674/505514525243500\ 42632835625579985*c_1001_7^20 - 41138522299036601010951559723096/16\ 850484174783347544278541859995*c_1001_7^19 - 299594794080894617175423110585102/50551452524350042632835625579985*\ c_1001_7^18 - 492070226941090022673564316027528/5055145252435004263\ 2835625579985*c_1001_7^17 - 20052408619780318239958911733492/337009\ 6834956669508855708371999*c_1001_7^16 + 25755142450449128480596564068862/10110290504870008526567125115997*c\ _1001_7^15 + 63990516523006888781182027477096/505514525243500426328\ 35625579985*c_1001_7^14 - 1641016204642716565141763378848507/505514\ 52524350042632835625579985*c_1001_7^13 - 366237084527678978293555318234006/10110290504870008526567125115997*\ c_1001_7^12 - 433778346847038468827198890472327/5055145252435004263\ 2835625579985*c_1001_7^11 + 2126072243235782938528882710271088/1685\ 0484174783347544278541859995*c_1001_7^10 - 8141305667162942721370754937030752/50551452524350042632835625579985\ *c_1001_7^9 - 266942570037148907392150574931812/5616828058261115848\ 092847286665*c_1001_7^8 + 1104130509443191809137852437766329/101102\ 90504870008526567125115997*c_1001_7^7 + 1014458114763797138885431899281524/16850484174783347544278541859995\ *c_1001_7^6 - 4469300083905443780753995013302918/168504841747833475\ 44278541859995*c_1001_7^5 + 12441333651855244871116164075781846/505\ 51452524350042632835625579985*c_1001_7^4 - 717846341437153815788309561182562/5616828058261115848092847286665*c\ _1001_7^3 + 318336091531203238568452876083988/101102905048700085265\ 67125115997*c_1001_7^2 - 233265579803949411727327548648412/50551452\ 524350042632835625579985*c_1001_7 + 3158837975004224500994942447284/10110290504870008526567125115997, c_0101_0 + 1376775257576047377059586194702/1685048417478334754427854185\ 9995*c_1001_7^21 + 8251691764788955352967748852888/1685048417478334\ 7544278541859995*c_1001_7^20 + 11943991284991942051893654185997/561\ 6828058261115848092847286665*c_1001_7^19 + 80252520374021262421833462298019/16850484174783347544278541859995*c\ _1001_7^18 + 122056200499579931170539550003636/16850484174783347544\ 278541859995*c_1001_7^17 + 2784546499258579177288837090967/11233656\ 11652223169618569457333*c_1001_7^16 - 13487213809226997105014788001452/3370096834956669508855708371999*c_\ 1001_7^15 - 12962852683188172645314299739172/1685048417478334754427\ 8541859995*c_1001_7^14 + 478570996698109224878247259656409/16850484\ 174783347544278541859995*c_1001_7^13 + 60939565958338679426680676807236/3370096834956669508855708371999*c_\ 1001_7^12 - 60200477661058920473930801055241/1685048417478334754427\ 8541859995*c_1001_7^11 - 658067747773512826626165348598411/56168280\ 58261115848092847286665*c_1001_7^10 + 3470725098170443561878275447656109/16850484174783347544278541859995\ *c_1001_7^9 - 230418721695929070447072576158793/5616828058261115848\ 092847286665*c_1001_7^8 - 386170433523698467203701108793136/3370096\ 834956669508855708371999*c_1001_7^7 + 15647947604429212628777482114987/5616828058261115848092847286665*c_\ 1001_7^6 + 1514428314487500935796498381653401/561682805826111584809\ 2847286665*c_1001_7^5 - 6073117509828817726657017639756277/16850484\ 174783347544278541859995*c_1001_7^4 + 1383090865364190196473000091514662/5616828058261115848092847286665*\ c_1001_7^3 - 324089162304539659980847627375438/33700968349566695088\ 55708371999*c_1001_7^2 + 376185170506036751185203332226724/16850484\ 174783347544278541859995*c_1001_7 - 9613196396060321911855101693475/3370096834956669508855708371999, c_0101_1 + 4293552192073361420020420376189/5055145252435004263283562557\ 9985*c_1001_7^21 + 27802093259555423711169339571891/505514525243500\ 42632835625579985*c_1001_7^20 + 41538077733647115563329022728399/16\ 850484174783347544278541859995*c_1001_7^19 + 306425053352286045274489763778788/50551452524350042632835625579985*\ c_1001_7^18 + 509986349316794390240914261934287/5055145252435004263\ 2835625579985*c_1001_7^17 + 21709722643889842282599571873762/337009\ 6834956669508855708371999*c_1001_7^16 - 28576463133088261510370633611438/10110290504870008526567125115997*c\ _1001_7^15 - 1719899914579927313965773956773/4907908012072819673090\ 83743495*c_1001_7^14 + 1464703690017567233910781264753063/505514525\ 24350042632835625579985*c_1001_7^13 + 365637599576505648337334161424173/10110290504870008526567125115997*\ c_1001_7^12 + 665354018250354804648061043404568/5055145252435004263\ 2835625579985*c_1001_7^11 - 2068373008596360824381321439281237/1685\ 0484174783347544278541859995*c_1001_7^10 + 7463587283081693127685522153029443/50551452524350042632835625579985\ *c_1001_7^9 + 244709747083640844898875296152088/5616828058261115848\ 092847286665*c_1001_7^8 - 958662951809739989880576226170742/1011029\ 0504870008526567125115997*c_1001_7^7 - 993879892438609965136677403917391/16850484174783347544278541859995*\ c_1001_7^6 + 4189652857956633416763716080852657/1685048417478334754\ 4278541859995*c_1001_7^5 - 12016894187989154846720529490482454/5055\ 1452524350042632835625579985*c_1001_7^4 + 730243540970108063146810775030568/5616828058261115848092847286665*c\ _1001_7^3 - 358617968991273541105242929564380/101102905048700085265\ 67125115997*c_1001_7^2 + 320365877135820542395511503956223/50551452\ 524350042632835625579985*c_1001_7 - 7289163747732366632173701031390/10110290504870008526567125115997, c_0101_10 + 914327931843592371963325036537/5055145252435004263283562557\ 9985*c_1001_7^21 + 6141446460482439749779819797248/5055145252435004\ 2632835625579985*c_1001_7^20 + 9293845229521097064118450604627/1685\ 0484174783347544278541859995*c_1001_7^19 + 70975126491262500988790318606179/50551452524350042632835625579985*c\ _1001_7^18 + 121039324030130759896026287592311/50551452524350042632\ 835625579985*c_1001_7^17 + 5725807677486785560028302410371/33700968\ 34956669508855708371999*c_1001_7^16 - 6339766078381118276216742915008/10110290504870008526567125115997*c_\ 1001_7^15 - 61526670617352570965471303307512/5055145252435004263283\ 5625579985*c_1001_7^14 + 308766036755935621093573222598204/50551452\ 524350042632835625579985*c_1001_7^13 + 951873819428016209920124946101/98158160241456393461816748699*c_1001\ _7^12 + 217272727489770929605547533655239/5055145252435004263283562\ 5579985*c_1001_7^11 - 463696249294397663692350682154911/16850484174\ 783347544278541859995*c_1001_7^10 + 1175201991067787903277033666457234/50551452524350042632835625579985\ *c_1001_7^9 + 109697298090285048880942913214634/5616828058261115848\ 092847286665*c_1001_7^8 - 156797435939080140393763068133319/1011029\ 0504870008526567125115997*c_1001_7^7 - 387880408460385336553448006430503/16850484174783347544278541859995*\ c_1001_7^6 + 798957028429021770380748107266751/16850484174783347544\ 278541859995*c_1001_7^5 - 1668477650341385443175235755189177/505514\ 52524350042632835625579985*c_1001_7^4 + 85050424741644510848156471063339/5616828058261115848092847286665*c_\ 1001_7^3 - 47886603213358651466185950206780/10110290504870008526567\ 125115997*c_1001_7^2 + 128758009435738844125245555882839/5055145252\ 4350042632835625579985*c_1001_7 - 5981989895808228557849537004365/1\ 0110290504870008526567125115997, c_0101_2 - 3443066169141974544321239795947/1685048417478334754427854185\ 9995*c_1001_7^21 - 21531358135251910714428882598988/168504841747833\ 47544278541859995*c_1001_7^20 - 31660266568068946617671262176917/56\ 16828058261115848092847286665*c_1001_7^19 - 223883472756829394580083823616864/16850484174783347544278541859995*\ c_1001_7^18 - 356970132079222845500128885505981/1685048417478334754\ 4278541859995*c_1001_7^17 - 12189023581207126191354899248464/112336\ 5611652223169618569457333*c_1001_7^16 + 27271413385647684681198809346104/3370096834956669508855708371999*c_\ 1001_7^15 + 45497002708913194994059354876562/1685048417478334754427\ 8541859995*c_1001_7^14 - 1281671878859298016339069045548719/1685048\ 4174783347544278541859995*c_1001_7^13 - 243850446938481033238653396468608/3370096834956669508855708371999*c\ _1001_7^12 - 143122645565633103517025289427249/16850484174783347544\ 278541859995*c_1001_7^11 + 1689329670314873151268446981443926/56168\ 28058261115848092847286665*c_1001_7^10 - 7300769319889887337260364460856859/16850484174783347544278541859995\ *c_1001_7^9 - 232767856241411145240257014602882/5616828058261115848\ 092847286665*c_1001_7^8 + 929415178321641243989038639119098/3370096\ 834956669508855708371999*c_1001_7^7 + 522848772200998093197843869866578/5616828058261115848092847286665*c\ _1001_7^6 - 3677419422621516405026566266628131/56168280582611158480\ 92847286665*c_1001_7^5 + 11772598783439470372953779629939742/168504\ 84174783347544278541859995*c_1001_7^4 - 2295319328653240671851368816418167/5616828058261115848092847286665*\ c_1001_7^3 + 432056659907109042958783136858330/33700968349566695088\ 55708371999*c_1001_7^2 - 424641739800909887344397074265399/16850484\ 174783347544278541859995*c_1001_7 + 9405983414304625414620377727638/3370096834956669508855708371999, c_0101_3 + 2851584314595963172506675166706/5055145252435004263283562557\ 9985*c_1001_7^21 + 18138393033149295001359953294824/505514525243500\ 42632835625579985*c_1001_7^20 + 26769518786090466915117696966976/16\ 850484174783347544278541859995*c_1001_7^19 + 191831091964885336371325396461992/50551452524350042632835625579985*\ c_1001_7^18 + 305869573075938068049339223069648/5055145252435004263\ 2835625579985*c_1001_7^17 + 10383565008044132927166088643128/337009\ 6834956669508855708371999*c_1001_7^16 - 29581485888671392505716160387416/10110290504870008526567125115997*c\ _1001_7^15 - 98648761957481742035278752098536/505514525243500426328\ 35625579985*c_1001_7^14 + 1060200282510405277125909102058522/505514\ 52524350042632835625579985*c_1001_7^13 + 234439870676741415474296708890720/10110290504870008526567125115997*\ c_1001_7^12 + 172295195571943033799708530021772/5055145252435004263\ 2835625579985*c_1001_7^11 - 1465415592578121794216814169759928/1685\ 0484174783347544278541859995*c_1001_7^10 + 5421171558557635345031503292927192/50551452524350042632835625579985\ *c_1001_7^9 + 180068045655676498590665290102632/5616828058261115848\ 092847286665*c_1001_7^8 - 744497869995849406667194601709652/1011029\ 0504870008526567125115997*c_1001_7^7 - 763510978162298961224048524885264/16850484174783347544278541859995*\ c_1001_7^6 + 2984148490000708079414952390188728/1685048417478334754\ 4278541859995*c_1001_7^5 - 8167814002889783161459096847787016/50551\ 452524350042632835625579985*c_1001_7^4 + 477606148634828595156017647545412/5616828058261115848092847286665*c\ _1001_7^3 - 253313826828131103617330815240912/101102905048700085265\ 67125115997*c_1001_7^2 + 280239337760358937623946565254522/50551452\ 524350042632835625579985*c_1001_7 - 5734160746915927727958526354027/10110290504870008526567125115997, c_0101_5 - 4320431534075348148189725322161/5055145252435004263283562557\ 9985*c_1001_7^21 - 27694641785559640654774175084674/505514525243500\ 42632835625579985*c_1001_7^20 - 41138522299036601010951559723096/16\ 850484174783347544278541859995*c_1001_7^19 - 299594794080894617175423110585102/50551452524350042632835625579985*\ c_1001_7^18 - 492070226941090022673564316027528/5055145252435004263\ 2835625579985*c_1001_7^17 - 20052408619780318239958911733492/337009\ 6834956669508855708371999*c_1001_7^16 + 25755142450449128480596564068862/10110290504870008526567125115997*c\ _1001_7^15 + 63990516523006888781182027477096/505514525243500426328\ 35625579985*c_1001_7^14 - 1641016204642716565141763378848507/505514\ 52524350042632835625579985*c_1001_7^13 - 366237084527678978293555318234006/10110290504870008526567125115997*\ c_1001_7^12 - 433778346847038468827198890472327/5055145252435004263\ 2835625579985*c_1001_7^11 + 2126072243235782938528882710271088/1685\ 0484174783347544278541859995*c_1001_7^10 - 8141305667162942721370754937030752/50551452524350042632835625579985\ *c_1001_7^9 - 266942570037148907392150574931812/5616828058261115848\ 092847286665*c_1001_7^8 + 1104130509443191809137852437766329/101102\ 90504870008526567125115997*c_1001_7^7 + 1014458114763797138885431899281524/16850484174783347544278541859995\ *c_1001_7^6 - 4469300083905443780753995013302918/168504841747833475\ 44278541859995*c_1001_7^5 + 12441333651855244871116164075781846/505\ 51452524350042632835625579985*c_1001_7^4 - 717846341437153815788309561182562/5616828058261115848092847286665*c\ _1001_7^3 + 318336091531203238568452876083988/101102905048700085265\ 67125115997*c_1001_7^2 - 233265579803949411727327548648412/50551452\ 524350042632835625579985*c_1001_7 + 3158837975004224500994942447284/10110290504870008526567125115997, c_0101_7 - 111855071123841781383659826823/50551452524350042632835625579\ 985*c_1001_7^21 - 695245562018897078872563486452/505514525243500426\ 32835625579985*c_1001_7^20 - 1106402307293362180064562572153/168504\ 84174783347544278541859995*c_1001_7^19 - 8979508701101752291471817245516/50551452524350042632835625579985*c_\ 1001_7^18 - 19794929706487068983397877409849/5055145252435004263283\ 5625579985*c_1001_7^17 - 1881539620644381758241686833766/3370096834\ 956669508855708371999*c_1001_7^16 - 7328487007216728764000993872738/10110290504870008526567125115997*c_\ 1001_7^15 - 35663701762234321997586926143432/5055145252435004263283\ 5625579985*c_1001_7^14 - 44078812591843332296382154046216/505514525\ 24350042632835625579985*c_1001_7^13 - 4270003742080640190786079132772/10110290504870008526567125115997*c_\ 1001_7^12 - 86195801447842945705304735859661/5055145252435004263283\ 5625579985*c_1001_7^11 - 542950918887153957659986029806/16850484174\ 783347544278541859995*c_1001_7^10 - 361108565321186098638667555272376/50551452524350042632835625579985*\ c_1001_7^9 + 38218539771663027007842745466984/561682805826111584809\ 2847286665*c_1001_7^8 - 14383025748404102180808982163323/1011029050\ 4870008526567125115997*c_1001_7^7 - 98001711418445926407513555704938/16850484174783347544278541859995*c\ _1001_7^6 - 93906471512380492261748241597659/1685048417478334754427\ 8541859995*c_1001_7^5 + 705773477666908404598812917833298/505514525\ 24350042632835625579985*c_1001_7^4 - 86372016611197868174674179527846/5616828058261115848092847286665*c_\ 1001_7^3 + 85478199118529180426613663954818/10110290504870008526567\ 125115997*c_1001_7^2 - 220317623810048033121938076070436/5055145252\ 4350042632835625579985*c_1001_7 + 6608013334992541366496126809232/1\ 0110290504870008526567125115997, c_0101_8 + 3443066169141974544321239795947/1685048417478334754427854185\ 9995*c_1001_7^21 + 21531358135251910714428882598988/168504841747833\ 47544278541859995*c_1001_7^20 + 31660266568068946617671262176917/56\ 16828058261115848092847286665*c_1001_7^19 + 223883472756829394580083823616864/16850484174783347544278541859995*\ c_1001_7^18 + 356970132079222845500128885505981/1685048417478334754\ 4278541859995*c_1001_7^17 + 12189023581207126191354899248464/112336\ 5611652223169618569457333*c_1001_7^16 - 27271413385647684681198809346104/3370096834956669508855708371999*c_\ 1001_7^15 - 45497002708913194994059354876562/1685048417478334754427\ 8541859995*c_1001_7^14 + 1281671878859298016339069045548719/1685048\ 4174783347544278541859995*c_1001_7^13 + 243850446938481033238653396468608/3370096834956669508855708371999*c\ _1001_7^12 + 143122645565633103517025289427249/16850484174783347544\ 278541859995*c_1001_7^11 - 1689329670314873151268446981443926/56168\ 28058261115848092847286665*c_1001_7^10 + 7300769319889887337260364460856859/16850484174783347544278541859995\ *c_1001_7^9 + 232767856241411145240257014602882/5616828058261115848\ 092847286665*c_1001_7^8 - 929415178321641243989038639119098/3370096\ 834956669508855708371999*c_1001_7^7 - 522848772200998093197843869866578/5616828058261115848092847286665*c\ _1001_7^6 + 3677419422621516405026566266628131/56168280582611158480\ 92847286665*c_1001_7^5 - 11772598783439470372953779629939742/168504\ 84174783347544278541859995*c_1001_7^4 + 2295319328653240671851368816418167/5616828058261115848092847286665*\ c_1001_7^3 - 432056659907109042958783136858330/33700968349566695088\ 55708371999*c_1001_7^2 + 424641739800909887344397074265399/16850484\ 174783347544278541859995*c_1001_7 - 9405983414304625414620377727638/3370096834956669508855708371999, c_1001_7^22 + 6*c_1001_7^21 + 26*c_1001_7^20 + 58*c_1001_7^19 + 87*c_1001_7^18 + 26*c_1001_7^17 - 55*c_1001_7^16 - 6*c_1001_7^15 + 375*c_1001_7^14 + 264*c_1001_7^13 - 43*c_1001_7^12 - 1490*c_1001_7^11 + 2479*c_1001_7^10 - 338*c_1001_7^9 - 1354*c_1001_7^8 - 142*c_1001_7^7 + 3285*c_1001_7^6 - 4208*c_1001_7^5 + 2911*c_1001_7^4 - 1204*c_1001_7^3 + 322*c_1001_7^2 - 56*c_1001_7 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 8.430 Total time: 8.630 seconds, Total memory usage: 105.16MB