Magma V2.19-8 Wed Aug 21 2013 00:55:12 on localhost [Seed = 206182015] Type ? for help. Type -D to quit. Loading file "L13a2853__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a2853 geometric_solution 11.55403764 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 0 0 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 0 0 0 0 0 1 -1 1 0 -1 0 4 -3 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.632778988642 0.738254518477 0 2 3 5 0132 0321 0321 0132 1 0 1 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 -1 1 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.553940280703 0.412615604743 6 0 4 1 0132 0132 0132 0321 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.898226687740 1.485467880984 5 7 1 0 0132 0132 0321 0132 1 0 1 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 3 0 -4 1 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.393410657117 0.514169814106 8 9 0 2 0132 0132 0132 0132 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -3 0 0 3 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.156148457213 1.028461140219 3 10 1 11 0132 0132 0132 0132 1 0 0 1 0 0 0 0 1 0 0 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 0 0 3 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.421495161115 1.240789363006 2 7 7 11 0132 0321 3201 0213 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0.614038524233 1.051153769526 6 3 10 6 2310 0132 0132 0321 1 1 0 1 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 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.614038524233 1.051153769526 4 12 12 11 0132 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 -3 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460794856273 0.508586309100 11 4 10 10 1023 0132 1023 1230 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 0 0 0 0 0 0 1 -1 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.967422965294 0.909811842342 9 5 9 7 3012 0132 1023 0132 1 1 1 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 1 -1 -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.451470044062 0.515864381657 8 9 5 6 3201 1023 0132 0213 1 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444894363802 0.644693171255 12 8 8 12 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.742188254583 0.727456657971 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_9'], 'c_1001_10' : d['c_0101_9'], 'c_1001_12' : d['c_0101_2'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0101_10'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0101_7']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_10'], 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : d['c_0101_12'], 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_1001_0'], '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_0101_1']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_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' : negation(d['1']), 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : d['c_1001_3'], 'c_1100_4' : d['c_1001_1'], 'c_1100_7' : negation(d['c_0101_7']), 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_1001_3'], 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : d['c_1001_1'], 's_0_10' : d['1'], 'c_1100_11' : d['c_1001_3'], 'c_1100_10' : negation(d['c_0101_7']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0101_9'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_0101_10'], 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : d['c_0101_2'], 'c_1100_8' : d['c_0011_11'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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_0011_11']), 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_2']), 'c_0110_10' : d['c_0101_7'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(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' : d['c_0101_9'], 'c_0101_8' : d['c_0101_2'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_2']})} 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_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_2, c_0101_7, c_0101_9, c_1001_0, c_1001_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 461474493909388378766683412088362546415727426/227114707406547422034\ 026972337662378862829063*c_1001_3^22 + 463806353912206638557150112592502067371045100/227114707406547422034\ 026972337662378862829063*c_1001_3^21 - 7542786089753564098380489340832805262168671949/45422941481309484406\ 8053944675324757725658126*c_1001_3^20 + 31136821606122198536780036492527326382317497265/9084588296261896881\ 36107889350649515451316252*c_1001_3^19 - 14586752755435714008838126359103824881453778500/2271147074065474220\ 34026972337662378862829063*c_1001_3^18 + 45093499608198937427802734858562945043160363378/2271147074065474220\ 34026972337662378862829063*c_1001_3^17 - 97720471025061360175800348775455496342619002731/4542294148130948440\ 68053944675324757725658126*c_1001_3^16 + 547236710491792357160503894134871746860625711069/908458829626189688\ 136107889350649515451316252*c_1001_3^15 - 739353509752449323367903372837568999609618814/108667324117965273700\ 4913743242403726616407*c_1001_3^14 + 269970223496852304145550527428492845223268469713/227114707406547422\ 034026972337662378862829063*c_1001_3^13 - 354912922905362413479502740970322562152715214169/227114707406547422\ 034026972337662378862829063*c_1001_3^12 + 852036362433961222232245352097004909862451133425/454229414813094844\ 068053944675324757725658126*c_1001_3^11 - 1086275099761700225754179646944086328436278711537/45422941481309484\ 4068053944675324757725658126*c_1001_3^10 + 8788992978230223770958907455263756929556558371/35766095654574397170\ 71290902955313052957938*c_1001_3^9 - 593613861229971274395500902714810309724383285632/227114707406547422\ 034026972337662378862829063*c_1001_3^8 + 5509655908979602179162544875140797484929559507/21733464823593054740\ 09827486484807453232814*c_1001_3^7 - 12565758586424297187755210401792241561545989446/6138235335312092487\ 406134387504388617914299*c_1001_3^6 + 413466447757517907486895440721435184402682434809/227114707406547422\ 034026972337662378862829063*c_1001_3^5 - 305883121792305052506266925308008794662482663205/227114707406547422\ 034026972337662378862829063*c_1001_3^4 + 176406557746597498430088338997520195098630095477/227114707406547422\ 034026972337662378862829063*c_1001_3^3 - 3539354003728390924271972330770918336098034465/61382353353120924874\ 06134387504388617914299*c_1001_3^2 + 42282243874128732227216026999202952057340874553/2271147074065474220\ 34026972337662378862829063*c_1001_3 - 28571260510783870413382053375951424893970225546/2271147074065474220\ 34026972337662378862829063, c_0011_0 - 1, c_0011_10 - 198714855289219479229260376485845944/9254463600287314844132\ 570115855951637*c_1001_3^22 + 20206319853056513022169485249585320/9\ 254463600287314844132570115855951637*c_1001_3^21 - 1373317573324045381006161725218384802/92544636002873148441325701158\ 55951637*c_1001_3^20 + 1778068721814158657132223839764393797/925446\ 3600287314844132570115855951637*c_1001_3^19 - 2694335260141735727815538739888958242/92544636002873148441325701158\ 55951637*c_1001_3^18 + 24804352355316991673768688568661589507/18508\ 927200574629688265140231711903274*c_1001_3^17 - 1208863826748203034820678422791644810/92544636002873148441325701158\ 55951637*c_1001_3^16 + 67006623393337466672923453504598399541/18508\ 927200574629688265140231711903274*c_1001_3^15 - 596606533651616657644813389114059401/974154063188138404645533696405\ 889646*c_1001_3^14 + 79332823901798668118676750490370549583/1850892\ 7200574629688265140231711903274*c_1001_3^13 - 56251653390554269410411602629665063007/1850892720057462968826514023\ 1711903274*c_1001_3^12 + 37390708113886283379642160035973612633/185\ 08927200574629688265140231711903274*c_1001_3^11 - 73579677938987590899623429259785321935/1850892720057462968826514023\ 1711903274*c_1001_3^10 - 400941195031300107666539677481449734/92544\ 63600287314844132570115855951637*c_1001_3^9 - 24807827993607224810784938118276767095/1850892720057462968826514023\ 1711903274*c_1001_3^8 + 125631694464480455679603595556477084/487077\ 031594069202322766848202944823*c_1001_3^7 + 691190421516206546804777244936218783/250120637845603103895474867996\ 106801*c_1001_3^6 + 7120210125848698684679968963444875259/925446360\ 0287314844132570115855951637*c_1001_3^5 + 6622094196715263572656943496737459266/92544636002873148441325701158\ 55951637*c_1001_3^4 - 13220474403965419489010712127938142473/925446\ 3600287314844132570115855951637*c_1001_3^3 - 174459410202446635232627707463823617/250120637845603103895474867996\ 106801*c_1001_3^2 - 4563981143882207083639832645147013399/925446360\ 0287314844132570115855951637*c_1001_3 - 9145584755092248195207640803468879949/92544636002873148441325701158\ 55951637, c_0011_11 - 91888001851709786973395673746097165112/37943300761177990860\ 9435374750094017117*c_1001_3^22 + 756554337663581879727558226116301\ 53204/379433007611779908609435374750094017117*c_1001_3^21 - 728636227840470555600939705245433837362/379433007611779908609435374\ 750094017117*c_1001_3^20 + 34623821551662759459516354054675868948/9\ 254463600287314844132570115855951637*c_1001_3^19 - 5192579067226499295704413981702473150451/75886601522355981721887074\ 9500188034234*c_1001_3^18 + 169159424175650894354810835817503305951\ 29/758866015223559817218870749500188034234*c_1001_3^17 - 8167479559481382236014163661561973094690/37943300761177990860943537\ 4750094017117*c_1001_3^16 + 253886502230725946748709230654507570588\ 52/379433007611779908609435374750094017117*c_1001_3^15 - 1394875712123513460863215902556368435997/19970158295356837295233440\ 776320737743*c_1001_3^14 + 9643497549627413586477747156781005738717\ 9/758866015223559817218870749500188034234*c_1001_3^13 - 62760336932584601010167919668724619591998/3794330076117799086094353\ 74750094017117*c_1001_3^12 + 73767671703994081557463152400608645477\ 849/379433007611779908609435374750094017117*c_1001_3^11 - 95871025386428988573680002680330923936234/3794330076117799086094353\ 74750094017117*c_1001_3^10 + 19339858906689539417419638323996808142\ 5029/758866015223559817218870749500188034234*c_1001_3^9 - 103171975435175896283802222879981768499244/379433007611779908609435\ 374750094017117*c_1001_3^8 + 53108138899152515655540982609704380000\ 63/19970158295356837295233440776320737743*c_1001_3^7 - 2139774143975219788333271329330197998005/10254946151669727259714469\ 587840378841*c_1001_3^6 + 72894331883578310136213119211517286677994\ /379433007611779908609435374750094017117*c_1001_3^5 - 53951410622266726531465507098188293857382/3794330076117799086094353\ 74750094017117*c_1001_3^4 + 293364433229777469586381863714203791359\ 92/379433007611779908609435374750094017117*c_1001_3^3 - 641757877830556746644592159913095003132/102549461516697272597144695\ 87840378841*c_1001_3^2 + 7283100493400170590596243798360313062365/3\ 79433007611779908609435374750094017117*c_1001_3 - 5206708493733367092567931309155611973819/37943300761177990860943537\ 4750094017117, c_0101_0 + 369298857273208506530257214798121472/92544636002873148441325\ 70115855951637*c_1001_3^22 - 396803683155550401109322280807900332/9\ 254463600287314844132570115855951637*c_1001_3^21 + 2992436293279253617721079286659946628/92544636002873148441325701158\ 55951637*c_1001_3^20 - 6322300667824572155155195563765465943/925446\ 3600287314844132570115855951637*c_1001_3^19 + 23172803107661492329301504370207878737/1850892720057462968826514023\ 1711903274*c_1001_3^18 - 70996284848924566877676547884621067279/185\ 08927200574629688265140231711903274*c_1001_3^17 + 38697439950564954559972622891173497130/9254463600287314844132570115\ 855951637*c_1001_3^16 - 104895347348254043397062795425506998742/925\ 4463600287314844132570115855951637*c_1001_3^15 + 12572096261152544021734760795998228779/9741540631881384046455336964\ 05889646*c_1001_3^14 - 201321274574676841430911006497144360363/9254\ 463600287314844132570115855951637*c_1001_3^13 + 528843675717772167977493600656839739345/185089272005746296882651402\ 31711903274*c_1001_3^12 - 308547578171603955522410060497833025425/9\ 254463600287314844132570115855951637*c_1001_3^11 + 387637276328917583399445180804725648834/925446360028731484413257011\ 5855951637*c_1001_3^10 - 782146185834332588271415187456011154045/18\ 508927200574629688265140231711903274*c_1001_3^9 + 808641890063207583970719780556900797941/185089272005746296882651402\ 31711903274*c_1001_3^8 - 20610035169516330385501303942584698899/487\ 077031594069202322766848202944823*c_1001_3^7 + 8210281691275705950825295880568363956/25012063784560310389547486799\ 6106801*c_1001_3^6 - 270440429846320897394616857973033013028/925446\ 3600287314844132570115855951637*c_1001_3^5 + 204031510669477244612098041329788890217/925446360028731484413257011\ 5855951637*c_1001_3^4 - 115821910007720399321234090502822662797/925\ 4463600287314844132570115855951637*c_1001_3^3 + 2503486936437048625290579639754785137/25012063784560310389547486799\ 6106801*c_1001_3^2 - 26117936662054168000789568183764063895/9254463\ 600287314844132570115855951637*c_1001_3 + 24507387019531378290544764182796096661/9254463600287314844132570115\ 855951637, c_0101_1 - 1, c_0101_10 - 907191450168274201117491503726279428/9254463600287314844132\ 570115855951637*c_1001_3^22 + 956717244424590327467259638000068484/\ 9254463600287314844132570115855951637*c_1001_3^21 - 7699836564165622584421998536423598849/92544636002873148441325701158\ 55951637*c_1001_3^20 + 31984772551858750234359254251288009383/18508\ 927200574629688265140231711903274*c_1001_3^19 - 62895713348939832576859804203736345649/1850892720057462968826514023\ 1711903274*c_1001_3^18 + 189378609214388639958884877943447724005/18\ 508927200574629688265140231711903274*c_1001_3^17 - 217972383631219380857377450405622442213/185089272005746296882651402\ 31711903274*c_1001_3^16 + 298559115872530763346274396554600962473/9\ 254463600287314844132570115855951637*c_1001_3^15 - 18295177828240057584196195629033977660/4870770315940692023227668482\ 02944823*c_1001_3^14 + 1237143471391298704726093870686940417121/185\ 08927200574629688265140231711903274*c_1001_3^13 - 815532440734063152653938819634866607935/925446360028731484413257011\ 5855951637*c_1001_3^12 + 2027898359522399072071388113361210136419/1\ 8508927200574629688265140231711903274*c_1001_3^11 - 2598914830711813165933966984912826968613/18508927200574629688265140\ 231711903274*c_1001_3^10 + 1367965521992597239101990627128303676150\ /9254463600287314844132570115855951637*c_1001_3^9 - 2964908051410367433660928025974203882569/18508927200574629688265140\ 231711903274*c_1001_3^8 + 76336911110536754736998585899596109610/48\ 7077031594069202322766848202944823*c_1001_3^7 - 32947792827335618414509478785567574586/2501206378456031038954748679\ 96106801*c_1001_3^6 + 1088177240447438074603616761303599642539/9254\ 463600287314844132570115855951637*c_1001_3^5 - 799280802039672913295106418722921670940/925446360028731484413257011\ 5855951637*c_1001_3^4 + 503991254598083511936121381647725408800/925\ 4463600287314844132570115855951637*c_1001_3^3 - 9592535795844751402357652517366072558/25012063784560310389547486799\ 6106801*c_1001_3^2 + 127337588789320883618118437178845287377/925446\ 3600287314844132570115855951637*c_1001_3 - 82993918666071904744298745300741084745/9254463600287314844132570115\ 855951637, c_0101_12 - 4949412307259686250899281626597027500/925446360028731484413\ 2570115855951637*c_1001_3^22 + 499150103908903154669359529628361361\ 2/9254463600287314844132570115855951637*c_1001_3^21 - 40610820911766452503841443100764125515/9254463600287314844132570115\ 855951637*c_1001_3^20 + 167724868326501599267410611605430139733/185\ 08927200574629688265140231711903274*c_1001_3^19 - 315782793249156452708072533909222782611/185089272005746296882651402\ 31711903274*c_1001_3^18 + 974479821132973316243687620736815824593/1\ 8508927200574629688265140231711903274*c_1001_3^17 - 530888734217166442227210364923781373295/925446360028731484413257011\ 5855951637*c_1001_3^16 + 2967891291760655172247203399358624285443/1\ 8508927200574629688265140231711903274*c_1001_3^15 - 177139845163380091737742736180903053191/974154063188138404645533696\ 405889646*c_1001_3^14 + 5882151914391485972854204696385817610801/18\ 508927200574629688265140231711903274*c_1001_3^13 - 7752816116115342782204701969656412624539/18508927200574629688265140\ 231711903274*c_1001_3^12 + 9319624413764564226889357614022749621483\ /18508927200574629688265140231711903274*c_1001_3^11 - 5950397928926960856440009440039431611768/92544636002873148441325701\ 15855951637*c_1001_3^10 + 12264692189129344664193033598202974878121\ /18508927200574629688265140231711903274*c_1001_3^9 - 13035420236398159847630430360643150967899/1850892720057462968826514\ 0231711903274*c_1001_3^8 + 333693457562491876974561540296280575773/\ 487077031594069202322766848202944823*c_1001_3^7 - 138619598483875369956154889835615291062/250120637845603103895474867\ 996106801*c_1001_3^6 + 4553543867554838775627074550978536306634/925\ 4463600287314844132570115855951637*c_1001_3^5 - 3367036252545705295957379659449753763808/92544636002873148441325701\ 15855951637*c_1001_3^4 + 1942194904168163027539515441363419243285/9\ 254463600287314844132570115855951637*c_1001_3^3 - 38776534489264687863360957906949437392/2501206378456031038954748679\ 96106801*c_1001_3^2 + 462063207540459757473857349108405210320/92544\ 63600287314844132570115855951637*c_1001_3 - 289850189860144170406592997493890487909/925446360028731484413257011\ 5855951637, c_0101_2 + 24253243025004720599290867861632836440/379433007611779908609\ 435374750094017117*c_1001_3^22 - 3878503350010309105845562141081943\ 2264/379433007611779908609435374750094017117*c_1001_3^21 + 215090225988767167412492151930345406002/379433007611779908609435374\ 750094017117*c_1001_3^20 - 12858917682341557061772738630140566777/9\ 254463600287314844132570115855951637*c_1001_3^19 + 1023641000745703519254334246518855854864/37943300761177990860943537\ 4750094017117*c_1001_3^18 - 568476269394934872578210405017720288334\ 1/758866015223559817218870749500188034234*c_1001_3^17 + 3984998902309525712645184455525957607492/37943300761177990860943537\ 4750094017117*c_1001_3^16 - 176016270091277853231083760253808752685\ 29/758866015223559817218870749500188034234*c_1001_3^15 + 646692924659111543001393536990370174881/199701582953568372952334407\ 76320737743*c_1001_3^14 - 38152836412896311337793482111194217058275\ /758866015223559817218870749500188034234*c_1001_3^13 + 26642721920027593537969516256095156846188/3794330076117799086094353\ 74750094017117*c_1001_3^12 - 32915850763139886650443907058550663963\ 863/379433007611779908609435374750094017117*c_1001_3^11 + 40596294710371544761093796063952300876455/3794330076117799086094353\ 74750094017117*c_1001_3^10 - 44270997611312009759737901911150168583\ 829/379433007611779908609435374750094017117*c_1001_3^9 + 91496662304410922402189037244898257060255/7588660152235598172188707\ 49500188034234*c_1001_3^8 - 236194158301233443533970297624537614811\ 9/19970158295356837295233440776320737743*c_1001_3^7 + 1021988700799695014208347377863323127045/10254946151669727259714469\ 587840378841*c_1001_3^6 - 31139664486049368158507670793173178930999\ /379433007611779908609435374750094017117*c_1001_3^5 + 23721943154444401457420414209756506319218/3794330076117799086094353\ 74750094017117*c_1001_3^4 - 141703985066584520650346732180370828169\ 02/379433007611779908609435374750094017117*c_1001_3^3 + 231823172044661736009512623864040184815/102549461516697272597144695\ 87840378841*c_1001_3^2 - 3490756238312308375509750618755306253784/3\ 79433007611779908609435374750094017117*c_1001_3 + 843615489669380548568190014812892723021/379433007611779908609435374\ 750094017117, c_0101_7 - 35429359334515833485159118933763956/925446360028731484413257\ 0115855951637*c_1001_3^22 + 41216701603309734180696807053013192/925\ 4463600287314844132570115855951637*c_1001_3^21 - 258308896162689187085426161405149505/925446360028731484413257011585\ 5951637*c_1001_3^20 + 1066900392947096198172736735826960509/1850892\ 7200574629688265140231711903274*c_1001_3^19 - 792107987397222282348593048649713600/925446360028731484413257011585\ 5951637*c_1001_3^18 + 2390917715611009157971844985631162434/9254463\ 600287314844132570115855951637*c_1001_3^17 - 3118419678779604018510975978240009393/18508927200574629688265140231\ 711903274*c_1001_3^16 + 4593391141505832486216523845543271171/92544\ 63600287314844132570115855951637*c_1001_3^15 - 164397553874084763114431420619842373/974154063188138404645533696405\ 889646*c_1001_3^14 + 719504423720102580864365304334834001/925446360\ 0287314844132570115855951637*c_1001_3^13 + 9748570626352456173416613828375648787/18508927200574629688265140231\ 711903274*c_1001_3^12 - 32498669820241197604223459746367896779/1850\ 8927200574629688265140231711903274*c_1001_3^11 + 51122409476319160501475774116897140643/1850892720057462968826514023\ 1711903274*c_1001_3^10 - 45161828048675705622011727746315956195/925\ 4463600287314844132570115855951637*c_1001_3^9 + 55125013141810270195659208000363467073/9254463600287314844132570115\ 855951637*c_1001_3^8 - 3499247812133988181034234613682410599/487077\ 031594069202322766848202944823*c_1001_3^7 + 1940325734515520146564091887969652351/25012063784560310389547486799\ 6106801*c_1001_3^6 - 62877842315133897092393445407207459665/9254463\ 600287314844132570115855951637*c_1001_3^5 + 54506001723086374565627795393247662858/9254463600287314844132570115\ 855951637*c_1001_3^4 - 31955402903232127773796089036485226900/92544\ 63600287314844132570115855951637*c_1001_3^3 + 700244415124218232692508341723549321/250120637845603103895474867996\ 106801*c_1001_3^2 - 11249302045063158163618383397387765656/92544636\ 00287314844132570115855951637*c_1001_3 + 1577620525695988389480729116973544391/92544636002873148441325701158\ 55951637, c_0101_9 - 1770753636564998323011806336874110104/9254463600287314844132\ 570115855951637*c_1001_3^22 + 1923222934297647326424671806435476696\ /9254463600287314844132570115855951637*c_1001_3^21 - 14602372074148168691598826747054872658/9254463600287314844132570115\ 855951637*c_1001_3^20 + 30841579140085915092111039432841134845/9254\ 463600287314844132570115855951637*c_1001_3^19 - 57942998795374499899911836477417911702/9254463600287314844132570115\ 855951637*c_1001_3^18 + 351408193177126278981440334733547870161/185\ 08927200574629688265140231711903274*c_1001_3^17 - 196859313758194105882770641844273762522/925446360028731484413257011\ 5855951637*c_1001_3^16 + 1061864531709311709061071238362760253461/1\ 8508927200574629688265140231711903274*c_1001_3^15 - 64517001053358930948561523548474519649/9741540631881384046455336964\ 05889646*c_1001_3^14 + 2099086583445022643785273826103661885109/185\ 08927200574629688265140231711903274*c_1001_3^13 - 1379937877790521626755808196074745601541/92544636002873148441325701\ 15855951637*c_1001_3^12 + 3299913589000089148611441872402671813511/\ 18508927200574629688265140231711903274*c_1001_3^11 - 4162142406864091553819269548667630182527/18508927200574629688265140\ 231711903274*c_1001_3^10 + 2130184972905945281612546136662139651964\ /9254463600287314844132570115855951637*c_1001_3^9 - 2236159838362228716027510907461343018140/92544636002873148441325701\ 15855951637*c_1001_3^8 + 113434475465490120683632418282683596212/48\ 7077031594069202322766848202944823*c_1001_3^7 - 46320655637913264108066831847484479061/2501206378456031038954748679\ 96106801*c_1001_3^6 + 1500749586576422990355233445644282954538/9254\ 463600287314844132570115855951637*c_1001_3^5 - 1092646578970103243342028439302004006062/92544636002873148441325701\ 15855951637*c_1001_3^4 + 620474939816536083948176485803875869672/92\ 54463600287314844132570115855951637*c_1001_3^3 - 11981710451403549615996452474540570436/2501206378456031038954748679\ 96106801*c_1001_3^2 + 138035567574833065827948079723335844406/92544\ 63600287314844132570115855951637*c_1001_3 - 89678807137675538042758421864040971981/9254463600287314844132570115\ 855951637, c_1001_0 - 317156769231871983587270844178301816/92544636002873148441325\ 70115855951637*c_1001_3^22 + 247899893539932195208828437572223552/9\ 254463600287314844132570115855951637*c_1001_3^21 - 2471148215059677233473668222223045094/92544636002873148441325701158\ 55951637*c_1001_3^20 + 4717213209404890253863106400951112591/925446\ 3600287314844132570115855951637*c_1001_3^19 - 8443959078156067298861179508054366142/92544636002873148441325701158\ 55951637*c_1001_3^18 + 27980472945456534955723008350999980717/92544\ 63600287314844132570115855951637*c_1001_3^17 - 50654295730785191475233514956158109393/1850892720057462968826514023\ 1711903274*c_1001_3^16 + 82574483500561385306120728772059489930/925\ 4463600287314844132570115855951637*c_1001_3^15 - 4310209223229278167913564427166675221/48707703159406920232276684820\ 2944823*c_1001_3^14 + 152052655962009321500440158458154124182/92544\ 63600287314844132570115855951637*c_1001_3^13 - 195816499089577038604604245198020334191/925446360028731484413257011\ 5855951637*c_1001_3^12 + 227029366826249233494368798103721279523/92\ 54463600287314844132570115855951637*c_1001_3^11 - 301330648435287116426046279826923402836/925446360028731484413257011\ 5855951637*c_1001_3^10 + 300483156666833451218703473775002630181/92\ 54463600287314844132570115855951637*c_1001_3^9 - 659722348934461385784515375686528497669/185089272005746296882651402\ 31711903274*c_1001_3^8 + 17394991978103055498707891139855088368/487\ 077031594069202322766848202944823*c_1001_3^7 - 7149384695603757352416178792741615406/25012063784560310389547486799\ 6106801*c_1001_3^6 + 260141271211193473902941835939723626464/925446\ 3600287314844132570115855951637*c_1001_3^5 - 197225179561442838333633747238532673919/925446360028731484413257011\ 5855951637*c_1001_3^4 + 123416287185713410239188760739069892426/925\ 4463600287314844132570115855951637*c_1001_3^3 - 2701402447371300459182063279865574965/25012063784560310389547486799\ 6106801*c_1001_3^2 + 39243157589259243829626970715850618088/9254463\ 600287314844132570115855951637*c_1001_3 - 25010594893744423411081736543469150257/9254463600287314844132570115\ 855951637, c_1001_1 + 377223390725382445436351267722106568/92544636002873148441325\ 70115855951637*c_1001_3^22 - 464794838101234801864496757275690180/9\ 254463600287314844132570115855951637*c_1001_3^21 + 3214642017327480758502943119442485546/92544636002873148441325701158\ 55951637*c_1001_3^20 - 7042692649030018754418219707917493014/925446\ 3600287314844132570115855951637*c_1001_3^19 + 27159582302813902144682899882387124849/1850892720057462968826514023\ 1711903274*c_1001_3^18 - 39676717649008704816599644039171158168/925\ 4463600287314844132570115855951637*c_1001_3^17 + 95691164374710981946033479743187967109/1850892720057462968826514023\ 1711903274*c_1001_3^16 - 243019490630820216918201827508715679701/18\ 508927200574629688265140231711903274*c_1001_3^15 + 15455524182950857599718156640713804595/9741540631881384046455336964\ 05889646*c_1001_3^14 - 492598776918269932220805557224241434321/1850\ 8927200574629688265140231711903274*c_1001_3^13 + 649268474338011627097067070910867046859/185089272005746296882651402\ 31711903274*c_1001_3^12 - 781689059225813047703113231135295621041/1\ 8508927200574629688265140231711903274*c_1001_3^11 + 486209083663350621953400845091253321328/925446360028731484413257011\ 5855951637*c_1001_3^10 - 993506447935997996499559861183440772933/18\ 508927200574629688265140231711903274*c_1001_3^9 + 515215517119769309864503497335934158038/925446360028731484413257011\ 5855951637*c_1001_3^8 - 25615361436564918093856603247265558317/4870\ 77031594069202322766848202944823*c_1001_3^7 + 10358246569995215358410865963324310317/2501206378456031038954748679\ 96106801*c_1001_3^6 - 325261364652978698516775957191791430470/92544\ 63600287314844132570115855951637*c_1001_3^5 + 227037658695165579139694877226708378217/925446360028731484413257011\ 5855951637*c_1001_3^4 - 131155039110293963862655585540286842391/925\ 4463600287314844132570115855951637*c_1001_3^3 + 2446550780697520024601808326609175660/25012063784560310389547486799\ 6106801*c_1001_3^2 - 21853932670025990564556977928323087315/9254463\ 600287314844132570115855951637*c_1001_3 + 21872856911152751775190604022707169081/9254463600287314844132570115\ 855951637, c_1001_3^23 - 2*c_1001_3^22 + 37/4*c_1001_3^21 - 201/8*c_1001_3^20 + 49*c_1001_3^19 - 523/4*c_1001_3^18 + 823/4*c_1001_3^17 - 3275/8*c_1001_3^16 + 640*c_1001_3^15 - 1877/2*c_1001_3^14 + 1381*c_1001_3^13 - 6911/4*c_1001_3^12 + 2152*c_1001_3^11 - 9779/4*c_1001_3^10 + 10249/4*c_1001_3^9 - 10419/4*c_1001_3^8 + 4641/2*c_1001_3^7 - 3929/2*c_1001_3^6 + 3207/2*c_1001_3^5 - 1076*c_1001_3^4 + 1385/2*c_1001_3^3 - 386*c_1001_3^2 + 156*c_1001_3 - 127/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.150 Total time: 0.360 seconds, Total memory usage: 32.09MB