Magma V2.19-8 Wed Aug 21 2013 00:09:46 on localhost [Seed = 2496854803] Type ? for help. Type -D to quit. Loading file "K13n2503__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2503 geometric_solution 10.79572440 oriented_manifold CS_known 0.0000000000000000 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 0 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 0 0 0 0 0 0 0 0 0 0 0.534209035023 1.099102445279 0 5 2 6 0132 0132 0321 0132 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 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.975530977395 1.328010329467 7 0 1 8 0132 0132 0321 0132 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 -1 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.964328757109 0.547301955342 9 9 6 0 0132 3201 3201 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.183040521222 0.529098631706 7 6 0 10 3201 0321 0132 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 -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.457624579747 0.627766687472 9 1 10 11 3120 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -6 0 5 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.346062157454 0.360414510618 3 10 1 4 2310 2310 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.445512716116 0.838334930953 2 12 11 4 0132 0132 1302 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.848498576979 0.988201931885 11 12 2 11 1302 1302 0132 0213 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -5 0 6 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.208961178408 0.671639257957 3 12 3 5 0132 2031 2310 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 0 -1 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.013861605990 1.048773642090 12 5 4 6 2310 3201 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 1.189665281608 1.584963625081 7 8 5 8 2031 2031 0132 0213 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 -1 0 1 0 0 -1 1 -1 0 0 1 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.422345098166 1.357494011541 9 7 10 8 1302 0132 3201 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0.346062157454 0.360414510618 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_8'], 'c_1001_10' : d['c_0011_3'], 'c_1001_12' : negation(d['c_0101_10']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_8'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0011_8'], 'c_1001_0' : d['c_0110_12'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0110_12']), 'c_1001_8' : d['c_0110_12'], 'c_1010_12' : d['c_0011_8'], 'c_1010_11' : d['c_0011_8'], 'c_1010_10' : negation(d['c_1001_5']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_3'], 'c_0101_11' : d['c_0011_4'], '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' : 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' : negation(d['1']), 's_0_6' : 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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_3'], 'c_1100_8' : d['c_0011_8'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : d['c_0011_4'], 'c_1100_6' : d['c_1001_2'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_8'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0011_6']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_10']), 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0110_12'], 'c_1010_2' : d['c_0110_12'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_0']), 'c_1010_8' : d['c_0011_10'], '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_10']), 's_1_7' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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_0011_8'], 'c_0110_10' : negation(d['c_0011_3']), 'c_0110_12' : d['c_0110_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : negation(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_0011_8']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0011_4']), 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_4, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0110_12, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 2584549272617671184940839388374888678368043615227633174189347350024\ 49755637199365311/8625806472013280668054418046330693560229316877257\ 3879809941809439688627265938310448*c_1001_5^22 - 2710469180959513843487903830930662860516240967083667439279315936514\ 977164420944319953/431290323600664033402720902316534678011465843862\ 86939904970904719844313632969155224*c_1001_5^21 + 1730506774858940300238067312996045211865512187881469920371481797862\ 341690007609152052627/332093549172511305720095094783731702068828699\ 7744094372682759663428012149738624952248*c_1001_5^20 - 1678830342192274986282585708106525206669459541153016000075931012349\ 7412910206282164867131/66418709834502261144019018956746340413765739\ 95488188745365519326856024299477249904496*c_1001_5^19 + 4953373324092044905215440997827619514363207658654505962558728618470\ 71939019376076096378/5930241949509130459287412406852351822657655353\ 1144542369334993989785931245332588433*c_1001_5^18 - 3629624269576870816940360107864144693510455410159006333404380523076\ 8791372862766559677299/16604677458625565286004754739186585103441434\ 98872047186341379831714006074869312476124*c_1001_5^17 + 1582055767229338426794722399502502535996079933145369107876267675122\ 10623458710026233491019/3320935491725113057200950947837317020688286\ 997744094372682759663428012149738624952248*c_1001_5^16 - 2921156385399135789577285290764133757202893151970660745200806959209\ 49804433875385763309061/3320935491725113057200950947837317020688286\ 997744094372682759663428012149738624952248*c_1001_5^15 + 9039318628111105081741098491290752914823677732474413160493634392368\ 19246385729324632651237/6641870983450226114401901895674634041376573\ 995488188745365519326856024299477249904496*c_1001_5^14 - 1361867461658956884882427995630177534151446330832084788757070664216\ 967464436326161460700301/664187098345022611440190189567463404137657\ 3995488188745365519326856024299477249904496*c_1001_5^13 + 1398660292407027199460041871814128035015477813964476528706101691191\ 589647278907482138506835/664187098345022611440190189567463404137657\ 3995488188745365519326856024299477249904496*c_1001_5^12 - 2036090678499813876722690886664806736851668012993547951638627953643\ 706531772939489742124519/664187098345022611440190189567463404137657\ 3995488188745365519326856024299477249904496*c_1001_5^11 + 9922987014785401550438652966547903450346555817591395167895391562226\ 66559753330344087195933/6641870983450226114401901895674634041376573\ 995488188745365519326856024299477249904496*c_1001_5^10 - 1885825477390968568733690989030921161385412709686861431555859446569\ 18160413775311166262863/6038064530409296467638092632431485492160521\ 81408017158669592666077820390861568173136*c_1001_5^9 - 4033542945476675737227042923635061434814514419134104879662492444907\ 708302462487904324175/108883130876233214990195113043846459694697934\ 352265389268287202079606955729135244336*c_1001_5^8 - 1494556175816452303767861831979892737939472909891351714756108358271\ 425682913342160326738909/664187098345022611440190189567463404137657\ 3995488188745365519326856024299477249904496*c_1001_5^7 - 1100104837700059329989931738235955684134689566009178320580497395051\ 796932563379689289348665/664187098345022611440190189567463404137657\ 3995488188745365519326856024299477249904496*c_1001_5^6 - 6194220292292761980421758540969806122112903851372563168452491950633\ 653350508103748757627/544415654381166074950975565219232298473489671\ 76132694634143601039803477864567622168*c_1001_5^5 - 1869421764236128055944959605058057891695094892975614809598250701901\ 088096498128248936219/136103913595291518737743891304808074618372417\ 94033173658535900259950869466141905542*c_1001_5^4 - 2419202873436575258869313993163539507619764085407860051353016673792\ 08634119835790678495769/6641870983450226114401901895674634041376573\ 995488188745365519326856024299477249904496*c_1001_5^3 - 2416731595289429318953871397418058791132812607160543679712829282085\ 0995767384792092093421/47441935596073043674299299254818814581261242\ 8249156338954679951918287449962660707464*c_1001_5^2 - 3567720211630457618528053778447446023835659525177620411937642775927\ 3951310392064010132695/66418709834502261144019018956746340413765739\ 95488188745365519326856024299477249904496*c_1001_5 - 4716759734215113752430854595762357358564983181442054162853043456725\ 0561316807490485409951/66418709834502261144019018956746340413765739\ 95488188745365519326856024299477249904496, c_0011_0 - 1, c_0011_10 - 81236255938706992554221822081220198540951059496122269776011\ 6045/34055484472258583111464786159365416771622573666232397204809036\ 523*c_1001_5^22 + 1167772388743239796704855619312463219017565548979\ 4789110592871785/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^21 - 7854183406495076036016180532921911851\ 7806352583847229620410093838/34055484472258583111464786159365416771\ 622573666232397204809036523*c_1001_5^20 + 328798940752760969982632531440748892410446004994505780748298132895/\ 34055484472258583111464786159365416771622573666232397204809036523*c\ _1001_5^19 - 101303873617062884360173008905276389091191892142654812\ 6955104546042/34055484472258583111464786159365416771622573666232397\ 204809036523*c_1001_5^18 + 2579519920748318408885159249492519944564\ 301995802306024643902910714/340554844722585831114647861593654167716\ 22573666232397204809036523*c_1001_5^17 - 5561216491320499621260696247446089775733984898468288178315433720624\ /34055484472258583111464786159365416771622573666232397204809036523*\ c_1001_5^16 + 10154052500608072785873169538713438322559711951015480\ 041250836595849/340554844722585831114647861593654167716225736662323\ 97204809036523*c_1001_5^15 - 16571831401014295253857341534819096809\ 898056454064904660107705987514/340554844722585831114647861593654167\ 71622573666232397204809036523*c_1001_5^14 + 2430337476198655657276696825932002247395753378351514272506548401010\ 2/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^13 - 2813109072885850009870804296476735911382373603415886\ 2242203046609262/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^12 + 3919004266033245610380624831915224853\ 6755315222882213867746661179746/34055484472258583111464786159365416\ 771622573666232397204809036523*c_1001_5^11 - 2324421306724201252706371767533050688400197497550460515415460575499\ 0/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^10 + 4587839747081643060701905963625153916947571252583696\ 6952111427332356/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^9 + 35759994650759579713781689666207180243\ 67516880514400941386785583609/3405548447225858311146478615936541677\ 1622573666232397204809036523*c_1001_5^8 + 4062057440833735573495629338734602468757582088209963373079783250357\ 5/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^7 + 28215628567298451491904317028331445753559641669013492\ 825987539190197/340554844722585831114647861593654167716225736662323\ 97204809036523*c_1001_5^6 + 261740387054545890926632982700426253745\ 34084326391674694536314374755/3405548447225858311146478615936541677\ 1622573666232397204809036523*c_1001_5^5 + 2722349007775050869469903513299576277305691470509500481324086555653\ 4/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^4 + 10512175867573208684899223572666250420427786381562235\ 849296268229744/340554844722585831114647861593654167716225736662323\ 97204809036523*c_1001_5^3 + 114025107705083513286965390080580688117\ 56736333304111993265386003141/3405548447225858311146478615936541677\ 1622573666232397204809036523*c_1001_5^2 + 1845482323140387062138509966784714305186356907324317586971884490863\ /34055484472258583111464786159365416771622573666232397204809036523*\ c_1001_5 + 17482659828878006034493184246650427242968256159883498736\ 85622755104/3405548447225858311146478615936541677162257366623239720\ 4809036523, c_0011_11 + 81236255938706992554221822081220198540951059496122269776011\ 6045/34055484472258583111464786159365416771622573666232397204809036\ 523*c_1001_5^22 - 1167772388743239796704855619312463219017565548979\ 4789110592871785/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^21 + 7854183406495076036016180532921911851\ 7806352583847229620410093838/34055484472258583111464786159365416771\ 622573666232397204809036523*c_1001_5^20 - 328798940752760969982632531440748892410446004994505780748298132895/\ 34055484472258583111464786159365416771622573666232397204809036523*c\ _1001_5^19 + 101303873617062884360173008905276389091191892142654812\ 6955104546042/34055484472258583111464786159365416771622573666232397\ 204809036523*c_1001_5^18 - 2579519920748318408885159249492519944564\ 301995802306024643902910714/340554844722585831114647861593654167716\ 22573666232397204809036523*c_1001_5^17 + 5561216491320499621260696247446089775733984898468288178315433720624\ /34055484472258583111464786159365416771622573666232397204809036523*\ c_1001_5^16 - 10154052500608072785873169538713438322559711951015480\ 041250836595849/340554844722585831114647861593654167716225736662323\ 97204809036523*c_1001_5^15 + 16571831401014295253857341534819096809\ 898056454064904660107705987514/340554844722585831114647861593654167\ 71622573666232397204809036523*c_1001_5^14 - 2430337476198655657276696825932002247395753378351514272506548401010\ 2/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^13 + 2813109072885850009870804296476735911382373603415886\ 2242203046609262/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^12 - 3919004266033245610380624831915224853\ 6755315222882213867746661179746/34055484472258583111464786159365416\ 771622573666232397204809036523*c_1001_5^11 + 2324421306724201252706371767533050688400197497550460515415460575499\ 0/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^10 - 4587839747081643060701905963625153916947571252583696\ 6952111427332356/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^9 - 35759994650759579713781689666207180243\ 67516880514400941386785583609/3405548447225858311146478615936541677\ 1622573666232397204809036523*c_1001_5^8 - 4062057440833735573495629338734602468757582088209963373079783250357\ 5/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^7 - 28215628567298451491904317028331445753559641669013492\ 825987539190197/340554844722585831114647861593654167716225736662323\ 97204809036523*c_1001_5^6 - 261740387054545890926632982700426253745\ 34084326391674694536314374755/3405548447225858311146478615936541677\ 1622573666232397204809036523*c_1001_5^5 - 2722349007775050869469903513299576277305691470509500481324086555653\ 4/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^4 - 10512175867573208684899223572666250420427786381562235\ 849296268229744/340554844722585831114647861593654167716225736662323\ 97204809036523*c_1001_5^3 - 114025107705083513286965390080580688117\ 56736333304111993265386003141/3405548447225858311146478615936541677\ 1622573666232397204809036523*c_1001_5^2 - 1845482323140387062138509966784714305186356907324317586971884490863\ /34055484472258583111464786159365416771622573666232397204809036523*\ c_1001_5 - 17482659828878006034493184246650427242968256159883498736\ 85622755104/3405548447225858311146478615936541677162257366623239720\ 4809036523, c_0011_3 + 128767128862384637160050127565363518701788890788919641397278\ 14853/3405548447225858311146478615936541677162257366623239720480903\ 6523*c_1001_5^22 - 137193076408956834565125504009066571325920562275\ 162510850837158372/340554844722585831114647861593654167716225736662\ 32397204809036523*c_1001_5^21 + 71251151335558723450609786978211030\ 9969426514656800340971609277388/34055484472258583111464786159365416\ 771622573666232397204809036523*c_1001_5^20 - 2262669858264082947696932589793312394946843274654641640544367980849\ /34055484472258583111464786159365416771622573666232397204809036523*\ c_1001_5^19 + 56967477040333985058209087595564889727597824721474567\ 31843484291009/3405548447225858311146478615936541677162257366623239\ 7204809036523*c_1001_5^18 - 118156339655902162944364221639735815272\ 30476818545005540665749614361/3405548447225858311146478615936541677\ 1622573666232397204809036523*c_1001_5^17 + 2077219498668195706580205137101963403528667158936518470109694073539\ 5/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^16 - 2749115990921560753451534998929804535588184966374546\ 0057317969186285/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^15 + 4678598750452006383560497780696051367\ 0495089463491098887190565905487/34055484472258583111464786159365416\ 771622573666232397204809036523*c_1001_5^14 - 2037183943091052749484242417353025298594211136720177102213322531468\ 7/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^13 + 8135194107215915554742159625549423933827811230277850\ 3067706566811912/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^12 + 4578384798121424329791709865092397416\ 1339692706834972157288585035872/34055484472258583111464786159365416\ 771622573666232397204809036523*c_1001_5^11 + 1244020635721882226763725831593598238161792406491643217602271239204\ 80/3405548447225858311146478615936541677162257366623239720480903652\ 3*c_1001_5^10 + 142466218167658282491467134735397487794561853211357\ 556094481923073880/340554844722585831114647861593654167716225736662\ 32397204809036523*c_1001_5^9 + 155798668023290203848438970930240288\ 755534841978821280455140974673465/340554844722585831114647861593654\ 16771622573666232397204809036523*c_1001_5^8 + 1780789902371165128911992882639038671232804099942785647919871976478\ 81/3405548447225858311146478615936541677162257366623239720480903652\ 3*c_1001_5^7 + 1363886837968329369170878413394359952404907116929458\ 60258657071859148/3405548447225858311146478615936541677162257366623\ 2397204809036523*c_1001_5^6 + 1204969923706072783530303800452232028\ 81360018798969318022427401262149/3405548447225858311146478615936541\ 6771622573666232397204809036523*c_1001_5^5 + 7297080636419185709621769770474752631735136466197154910580550160606\ 1/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^4 + 42378523320233593616041621027111238098683359452872788\ 168388096479546/340554844722585831114647861593654167716225736662323\ 97204809036523*c_1001_5^3 + 204480541420635944426216181464081412457\ 30691854308098800783389807265/3405548447225858311146478615936541677\ 1622573666232397204809036523*c_1001_5^2 + 5863385797989887173440348749529393497571198631740004568593375892300\ /34055484472258583111464786159365416771622573666232397204809036523*\ c_1001_5 + 21759555697675224387613105629565945642746758013285342381\ 00349518320/3405548447225858311146478615936541677162257366623239720\ 4809036523, c_0011_4 - 108669290906822537854664326725867145870224884135530194763532\ 47136/3405548447225858311146478615936541677162257366623239720480903\ 6523*c_1001_5^22 + 126852870750580292348637138173154367102582947576\ 292280467062274497/340554844722585831114647861593654167716225736662\ 32397204809036523*c_1001_5^21 - 71928656625673156199246588589587044\ 3468831611197615769688177546609/34055484472258583111464786159365416\ 771622573666232397204809036523*c_1001_5^20 + 2522317086324102418539743428126663743544269755979526737214090501234\ /34055484472258583111464786159365416771622573666232397204809036523*\ c_1001_5^19 - 67607613789658723703130189647386935421492898561450231\ 34701220325469/3405548447225858311146478615936541677162257366623239\ 7204809036523*c_1001_5^18 + 149488849824516737019140779862320215204\ 31943867366397395820699255607/3405548447225858311146478615936541677\ 1622573666232397204809036523*c_1001_5^17 - 2810876870393543932353878642078800965670106925041100263245936636136\ 1/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^16 + 4242708964007067367658679069872821592471716015418428\ 6044799144380530/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^15 - 6656233468184508456541421463253668639\ 0654611551024392078708088522579/34055484472258583111464786159365416\ 771622573666232397204809036523*c_1001_5^14 + 6462098937565217731070355734070104446919815024633090378210168315290\ 5/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^13 - 9898472059864819036021299014848601277751143635597690\ 9287343883481901/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^12 + 4879486116597784627464826155867912885\ 6760476576560776085278957849213/34055484472258583111464786159365416\ 771622573666232397204809036523*c_1001_5^11 - 9367365639804152346011159398184561534653970563526264537066992250428\ 5/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^10 + 5821610436813639650308440555669747876071555164661266\ 313525408189241/340554844722585831114647861593654167716225736662323\ 97204809036523*c_1001_5^9 - 497624812867576301840083147425402442967\ 19411505651266360845354913415/3405548447225858311146478615936541677\ 1622573666232397204809036523*c_1001_5^8 - 1698802286479803702129178892855807078666894470122362104823555093198\ 0/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^7 - 34919478854543971064682373742581136415348418301167989\ 18099935823084/3405548447225858311146478615936541677162257366623239\ 7204809036523*c_1001_5^6 - 9832172875783641274563578638188112876833\ 544642346351479665650118209/340554844722585831114647861593654167716\ 22573666232397204809036523*c_1001_5^5 + 1330054709357230860892634522044213797270333813317463308171424446110\ 1/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^4 - 53741279566581665471345491731008590986915206539949827\ 2915753234839/34055484472258583111464786159365416771622573666232397\ 204809036523*c_1001_5^3 + 74805629150836773691629384695436001829896\ 73812509893231554223718173/3405548447225858311146478615936541677162\ 2573666232397204809036523*c_1001_5^2 + 491945792760603632975079217364352859331905684330453807977868371338/\ 34055484472258583111464786159365416771622573666232397204809036523*c\ _1001_5 + 123018476573426984378057394560515506303269965291793594536\ 3851090040/34055484472258583111464786159365416771622573666232397204\ 809036523, c_0011_6 - 293731168979628145339688209110338775024116885674750492738438\ 57426/3405548447225858311146478615936541677162257366623239720480903\ 6523*c_1001_5^22 + 318206038683769880165177818842941970344141237462\ 362179526567885296/340554844722585831114647861593654167716225736662\ 32397204809036523*c_1001_5^21 - 16809343997757807723503544667101914\ 52213164850792845641316868394122/3405548447225858311146478615936541\ 6771622573666232397204809036523*c_1001_5^20 + 5446153740842015123323775501318472096786661161099433459198889762524\ /34055484472258583111464786159365416771622573666232397204809036523*\ c_1001_5^19 - 13876076499263265523113466687605209000434637063900519\ 711057596845688/340554844722585831114647861593654167716225736662323\ 97204809036523*c_1001_5^18 + 29103316439181466012667654456728016337\ 808591699086590115897438883921/340554844722585831114647861593654167\ 71622573666232397204809036523*c_1001_5^17 - 5171599414093621272799853645714605368256275777746271589129895670887\ 3/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^16 + 7008419230997167691098537124104385528582626360182268\ 4250679536993228/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^15 - 1158917192591091921841468546030150447\ 94869829175785621391667282602416/3405548447225858311146478615936541\ 6771622573666232397204809036523*c_1001_5^14 + 6248494533359243137826627561037846897200080639164232311853753064638\ 0/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^13 - 1902465861891898308050343147550059401411512739832189\ 81398310188015171/3405548447225858311146478615936541677162257366623\ 2397204809036523*c_1001_5^12 - 759737193269208071143771448278913563\ 20551321673776697764887968216770/3405548447225858311146478615936541\ 6771622573666232397204809036523*c_1001_5^11 - 2648631081644339807133367614398212354274168139051387734275831541733\ 24/3405548447225858311146478615936541677162257366623239720480903652\ 3*c_1001_5^10 - 280250566849019227609281758727263247353778385725956\ 745478579986098781/340554844722585831114647861593654167716225736662\ 32397204809036523*c_1001_5^9 - 308455430159743524302673466513009155\ 323248623024767474697112208890362/340554844722585831114647861593654\ 16771622573666232397204809036523*c_1001_5^8 - 3535082215322961808275990262335191204962047355651446026563021302024\ 46/3405548447225858311146478615936541677162257366623239720480903652\ 3*c_1001_5^7 - 2608653525931380696614035657649399574392839288338259\ 79995432809721485/3405548447225858311146478615936541677162257366623\ 2397204809036523*c_1001_5^6 - 2366028259145634149392988835127756737\ 59385567039280354089598117383617/3405548447225858311146478615936541\ 6771622573666232397204809036523*c_1001_5^5 - 1386502715673932109257224396995006254559044490009313232463170339704\ 98/3405548447225858311146478615936541677162257366623239720480903652\ 3*c_1001_5^4 - 8253352940457779389697201410178922379475825307145450\ 7038065121018652/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^3 - 39587370276246024380581836254032196545\ 698551553877590551182841691475/340554844722585831114647861593654167\ 71622573666232397204809036523*c_1001_5^2 - 1155382070554571713535420594394058642283667456645346901078969706038\ 9/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5 - 4451686998059286827025186237905488406358375382037492938\ 910993334141/340554844722585831114647861593654167716225736662323972\ 04809036523, c_0011_8 - 292077152359894736657818251388505559962442251648774943814757\ 8988/34055484472258583111464786159365416771622573666232397204809036\ 523*c_1001_5^22 + 2209102943233694980369649700615648980442292715792\ 0996426138802653/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^21 - 5777101404004918009300299119699900764\ 6482430669274538734198879147/34055484472258583111464786159365416771\ 622573666232397204809036523*c_1001_5^20 - 72597767582735700545436487401767134936839406346965513668887409105/3\ 4055484472258583111464786159365416771622573666232397204809036523*c_\ 1001_5^19 + 7702498715211678848920382854768944767652448112679508656\ 20671157219/3405548447225858311146478615936541677162257366623239720\ 4809036523*c_1001_5^18 - 294641351916559940193495683937689469679334\ 0926495071448845712116201/34055484472258583111464786159365416771622\ 573666232397204809036523*c_1001_5^17 + 7940504057451586716639754502041047844143060489728870300805277559794\ /34055484472258583111464786159365416771622573666232397204809036523*\ c_1001_5^16 - 17981647116114256346022187597112409037290727049657078\ 168278876240662/340554844722585831114647861593654167716225736662323\ 97204809036523*c_1001_5^15 + 26804392621925001366417157645907277054\ 336382132365886569565997878469/340554844722585831114647861593654167\ 71622573666232397204809036523*c_1001_5^14 - 5538059221886178848275451206278165381390859885470326496167615401198\ 0/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^13 + 3987769993949227940869023140068762168153890314514624\ 3971917786288744/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^12 - 1060555174197917092122534908035084986\ 35734343280624420941107798069630/3405548447225858311146478615936541\ 6771622573666232397204809036523*c_1001_5^11 + 1037389526796486106906713387721691705815526508068713658998389638632\ 3/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^10 - 1367994076151338162589676254090428945203204735187883\ 97651404810313692/3405548447225858311146478615936541677162257366623\ 2397204809036523*c_1001_5^9 - 5480213199722229452117980040258619072\ 7868236454580332338144437052660/34055484472258583111464786159365416\ 771622573666232397204809036523*c_1001_5^8 - 1210654334114729253927210635051460550043059553430089250118135993254\ 60/3405548447225858311146478615936541677162257366623239720480903652\ 3*c_1001_5^7 - 8986767451835069246697067742470330183128048838876285\ 9669465006600456/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^6 - 70692155767825237423504146049161694287\ 777333192409657626047515103947/340554844722585831114647861593654167\ 71622573666232397204809036523*c_1001_5^5 - 6442899519335014410560269420423005324557193695872913713069539164420\ 4/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^4 - 24219298718332475623407038450687513632388006460182136\ 696102389763854/340554844722585831114647861593654167716225736662323\ 97204809036523*c_1001_5^3 - 225799657424164567311100536809372173452\ 26491743030781035611395449671/3405548447225858311146478615936541677\ 1622573666232397204809036523*c_1001_5^2 - 3582700537190086752644435525508333091121517312435231995596473589095\ /34055484472258583111464786159365416771622573666232397204809036523*\ c_1001_5 - 30541783526156720694055700437843269261157424822593530778\ 29747590824/3405548447225858311146478615936541677162257366623239720\ 4809036523, c_0101_0 + 500786080115526726553873450563584186329608530127052144026798\ 9495/34055484472258583111464786159365416771622573666232397204809036\ 523*c_1001_5^22 - 4413286068068888297349052587275268082560206168683\ 1840489592067198/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^21 + 1744776682403124201975524411263820669\ 57812403276773883751928071564/3405548447225858311146478615936541677\ 1622573666232397204809036523*c_1001_5^20 - 320180466542633238138451471880857242002897639598881836917706502365/\ 34055484472258583111464786159365416771622573666232397204809036523*c\ _1001_5^19 + 316423676610733211101018196787933564664423521849287216\ 394487035126/340554844722585831114647861593654167716225736662323972\ 04809036523*c_1001_5^18 + 47484762016456190291697276644962341511576\ 3805353972333498718865714/34055484472258583111464786159365416771622\ 573666232397204809036523*c_1001_5^17 - 3146231998313244553845893758910959170305241251369971361851764666625\ /34055484472258583111464786159365416771622573666232397204809036523*\ c_1001_5^16 + 10495782844295342188946831890771095352520822598090160\ 101844918930504/340554844722585831114647861593654167716225736662323\ 97204809036523*c_1001_5^15 - 13715781744341419678304374718815408846\ 411114673915548878437724314435/340554844722585831114647861593654167\ 71622573666232397204809036523*c_1001_5^14 + 4476948296495719627684332503486077110932672723480447689502234287181\ 4/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^13 - 1408569139356547133724412072421935674816685687243057\ 1749108290149478/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^12 + 1057960508017946617859053137251724796\ 07016981688788078214840171627485/3405548447225858311146478615936541\ 6771622573666232397204809036523*c_1001_5^11 + 2908363373882317694101296539452369984025740802111335886267829777925\ 5/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^10 + 1606829433700286134869481643143193938307847548210361\ 01742541616714750/3405548447225858311146478615936541677162257366623\ 2397204809036523*c_1001_5^9 + 1001752188259050472075121299261486041\ 88273535419097580808065456117948/3405548447225858311146478615936541\ 6771622573666232397204809036523*c_1001_5^8 + 1604595437241268995408190695484223369791906026615974108699553320624\ 47/3405548447225858311146478615936541677162257366623239720480903652\ 3*c_1001_5^7 + 1250883298943365837987953449604992550067319768953343\ 70527388032489348/3405548447225858311146478615936541677162257366623\ 2397204809036523*c_1001_5^6 + 1008811015229516784965232902655281346\ 60702550090039275558227445811626/3405548447225858311146478615936541\ 6771622573666232397204809036523*c_1001_5^5 + 8029298144481396224738634991746098598726476875333688771150330810013\ 8/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^4 + 35537304224457407093204115052765408103760949779826554\ 867167761950095/340554844722585831114647861593654167716225736662323\ 97204809036523*c_1001_5^3 + 258230829897994570122474720381084077429\ 46170290210758513774927758883/3405548447225858311146478615936541677\ 1622573666232397204809036523*c_1001_5^2 + 5215077830661931322737142684723726290912367490570162807448163797016\ /34055484472258583111464786159365416771622573666232397204809036523*\ c_1001_5 + 32084137433096074703227879147358956617908227725992966587\ 78473530110/3405548447225858311146478615936541677162257366623239720\ 4809036523, c_0101_1 - 127905712313911487566046872365781519875961222166881033912631\ 90110/3405548447225858311146478615936541677162257366623239720480903\ 6523*c_1001_5^22 + 159941345151601989651915412316999038665504564940\ 307807071293127008/340554844722585831114647861593654167716225736662\ 32397204809036523*c_1001_5^21 - 97506699295270882161354579911268036\ 4661240441201697741094675772242/34055484472258583111464786159365416\ 771622573666232397204809036523*c_1001_5^20 + 3729474831249662365444862653366696611949226145518597743796445292453\ /34055484472258583111464786159365416771622573666232397204809036523*\ c_1001_5^19 - 10778379906167169082715050617684884855827929415766670\ 122365161054067/340554844722585831114647861593654167716225736662323\ 97204809036523*c_1001_5^18 + 25546250892391384342390316119147670666\ 811505640857963960589929487726/340554844722585831114647861593654167\ 71622573666232397204809036523*c_1001_5^17 - 5137961629701071603104201272464800979180818162362705517448790298126\ 7/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^16 + 8561330084888361651550671080874391920586903612408405\ 3495567007273927/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^15 - 1351884321994050815424225960063202689\ 57783814852637602550971755833668/3405548447225858311146478615936541\ 6771622573666232397204809036523*c_1001_5^14 + 1644126292377851322783571796803194105007941839944396615700923736878\ 09/3405548447225858311146478615936541677162257366623239720480903652\ 3*c_1001_5^13 - 212182200658696409846835839765760560632586857925286\ 299473576993134679/340554844722585831114647861593654167716225736662\ 32397204809036523*c_1001_5^12 + 19074119431809547284439686682741762\ 9513944840089496571137336632220922/34055484472258583111464786159365\ 416771622573666232397204809036523*c_1001_5^11 - 1913789275039798684789951592539571168140571301333946744324926795100\ 98/3405548447225858311146478615936541677162257366623239720480903652\ 3*c_1001_5^10 + 134154414491395743172679759621964186576619765376517\ 473213527247235521/340554844722585831114647861593654167716225736662\ 32397204809036523*c_1001_5^9 - 670714834618754239533210809196677805\ 92189199302680534790730745183846/3405548447225858311146478615936541\ 6771622573666232397204809036523*c_1001_5^8 + 5746285678906467600637544771941570740416088459950548974999962268412\ 1/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^7 + 46197935523534078631688560220990207364022952707459162\ 065185502589070/340554844722585831114647861593654167716225736662323\ 97204809036523*c_1001_5^6 + 180057674452730265889300342340265614491\ 97371619585961958993834353756/3405548447225858311146478615936541677\ 1622573666232397204809036523*c_1001_5^5 + 6403838760524669982995016542123377926853310389884901466139299377502\ 7/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^4 + 60854501469619055125686875050515525753585532820526193\ 37359096409022/3405548447225858311146478615936541677162257366623239\ 7204809036523*c_1001_5^3 + 2774091294296072868536648175445488498404\ 3525433374747404880952624323/34055484472258583111464786159365416771\ 622573666232397204809036523*c_1001_5^2 + 1287870850142686009342507135432902966073004296622804195552949628260\ /34055484472258583111464786159365416771622573666232397204809036523*\ c_1001_5 + 41617633701306953991798232631365220332267353114036328091\ 81399827075/3405548447225858311146478615936541677162257366623239720\ 4809036523, c_0101_10 - c_1001_5, c_0110_12 - 10866929090682253785466432672586714587022488413553019476353\ 247136/340554844722585831114647861593654167716225736662323972048090\ 36523*c_1001_5^22 + 12685287075058029234863713817315436710258294757\ 6292280467062274497/34055484472258583111464786159365416771622573666\ 232397204809036523*c_1001_5^21 - 7192865662567315619924658858958704\ 43468831611197615769688177546609/3405548447225858311146478615936541\ 6771622573666232397204809036523*c_1001_5^20 + 2522317086324102418539743428126663743544269755979526737214090501234\ /34055484472258583111464786159365416771622573666232397204809036523*\ c_1001_5^19 - 67607613789658723703130189647386935421492898561450231\ 34701220325469/3405548447225858311146478615936541677162257366623239\ 7204809036523*c_1001_5^18 + 149488849824516737019140779862320215204\ 31943867366397395820699255607/3405548447225858311146478615936541677\ 1622573666232397204809036523*c_1001_5^17 - 2810876870393543932353878642078800965670106925041100263245936636136\ 1/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^16 + 4242708964007067367658679069872821592471716015418428\ 6044799144380530/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^15 - 6656233468184508456541421463253668639\ 0654611551024392078708088522579/34055484472258583111464786159365416\ 771622573666232397204809036523*c_1001_5^14 + 6462098937565217731070355734070104446919815024633090378210168315290\ 5/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^13 - 9898472059864819036021299014848601277751143635597690\ 9287343883481901/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^12 + 4879486116597784627464826155867912885\ 6760476576560776085278957849213/34055484472258583111464786159365416\ 771622573666232397204809036523*c_1001_5^11 - 9367365639804152346011159398184561534653970563526264537066992250428\ 5/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^10 + 5821610436813639650308440555669747876071555164661266\ 313525408189241/340554844722585831114647861593654167716225736662323\ 97204809036523*c_1001_5^9 - 497624812867576301840083147425402442967\ 19411505651266360845354913415/3405548447225858311146478615936541677\ 1622573666232397204809036523*c_1001_5^8 - 1698802286479803702129178892855807078666894470122362104823555093198\ 0/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^7 - 34919478854543971064682373742581136415348418301167989\ 18099935823084/3405548447225858311146478615936541677162257366623239\ 7204809036523*c_1001_5^6 - 9832172875783641274563578638188112876833\ 544642346351479665650118209/340554844722585831114647861593654167716\ 22573666232397204809036523*c_1001_5^5 + 1330054709357230860892634522044213797270333813317463308171424446110\ 1/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^4 - 53741279566581665471345491731008590986915206539949827\ 2915753234839/34055484472258583111464786159365416771622573666232397\ 204809036523*c_1001_5^3 + 74805629150836773691629384695436001829896\ 73812509893231554223718173/3405548447225858311146478615936541677162\ 2573666232397204809036523*c_1001_5^2 + 491945792760603632975079217364352859331905684330453807977868371338/\ 34055484472258583111464786159365416771622573666232397204809036523*c\ _1001_5 + 123018476573426984378057394560515506303269965291793594536\ 3851090040/34055484472258583111464786159365416771622573666232397204\ 809036523, c_1001_2 - 213967721419594511057075207206953761660347721937888891437045\ 98158/3405548447225858311146478615936541677162257366623239720480903\ 6523*c_1001_5^22 + 232494211318968909614748482359012812864033376134\ 658370965598209816/340554844722585831114647861593654167716225736662\ 32397204809036523*c_1001_5^21 - 12338953706199911283058843386626423\ 79667396295056676821000863336178/3405548447225858311146478615936541\ 6771622573666232397204809036523*c_1001_5^20 + 4031084398391253181668828237461506792680636777491972097757712089373\ /34055484472258583111464786159365416771622573666232397204809036523*\ c_1001_5^19 - 10385671160015806209065371210763987063928512131975148\ 601981069767520/340554844722585831114647861593654167716225736662323\ 97204809036523*c_1001_5^18 + 22100814803363906969174960561476454847\ 223209432812481967748070600197/340554844722585831114647861593654167\ 71622573666232397204809036523*c_1001_5^17 - 3998854490218075561392607535767980310017839005265321023259546485136\ 8/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^16 + 5601772065786874380977056630553422352498439922503725\ 4507028673878485/34055484472258583111464786159365416771622573666232\ 397204809036523*c_1001_5^15 - 9331318246819239364318033997450527198\ 9436885019221934853903848088827/34055484472258583111464786159365416\ 771622573666232397204809036523*c_1001_5^14 + 5969679819045645252089575253926323047449204520180199190656326926003\ 8/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^13 - 1568937536196818458285155227480973395471183124874179\ 22107177114557862/3405548447225858311146478615936541677162257366623\ 2397204809036523*c_1001_5^12 - 318588559562272565652503899573855124\ 08820995514478416735732180288274/3405548447225858311146478615936541\ 6771622573666232397204809036523*c_1001_5^11 - 2129070947094205010481337097973335944945856942801999835094640133564\ 76/3405548447225858311146478615936541677162257366623239720480903652\ 3*c_1001_5^10 - 180457128013684357879171688126882334874008880768186\ 510528953569789742/340554844722585831114647861593654167716225736662\ 32397204809036523*c_1001_5^9 - 231894973147232010109693008459793038\ 173831406933015042925369010362664/340554844722585831114647861593654\ 16771622573666232397204809036523*c_1001_5^8 - 2421390935210423032698316231432488624037904379997043931775250873393\ 55/3405548447225858311146478615936541677162257366623239720480903652\ 3*c_1001_5^7 - 1816707018348229000323667087406941150216382901068900\ 03169472373756437/3405548447225858311146478615936541677162257366623\ 2397204809036523*c_1001_5^6 - 1648581272858574757537066307625094836\ 81709005884936190430008610591294/3405548447225858311146478615936541\ 6771622573666232397204809036523*c_1001_5^5 - 8927858231558547216523155654970572502813544042356037802840974694780\ 4/34055484472258583111464786159365416771622573666232397204809036523\ *c_1001_5^4 - 57001204358249698940528124346110172160074917045265806\ 457682270097234/340554844722585831114647861593654167716225736662323\ 97204809036523*c_1001_5^3 - 232493654323915165730780823033888359729\ 69462298567802701656768213093/3405548447225858311146478615936541677\ 1622573666232397204809036523*c_1001_5^2 - 7681169783211754574998171591818835412291229747200985143351654144815\ /34055484472258583111464786159365416771622573666232397204809036523*\ c_1001_5 - 23234392111367161922464264923812948832078833190927085582\ 28663265323/3405548447225858311146478615936541677162257366623239720\ 4809036523, c_1001_5^23 - 11*c_1001_5^22 + 4614/77*c_1001_5^21 - 15797/77*c_1001_5^20 + 3925/7*c_1001_5^19 - 97852/77*c_1001_5^18 + 190350/77*c_1001_5^17 - 300312/77*c_1001_5^16 + 73291/11*c_1001_5^15 - 487554/77*c_1001_5^14 + 962350/77*c_1001_5^13 - 296834/77*c_1001_5^12 + 192842/11*c_1001_5^11 + 371006/77*c_1001_5^10 + 1437388/77*c_1001_5^9 + 971862/77*c_1001_5^8 + 1113114/77*c_1001_5^7 + 950513/77*c_1001_5^6 + 81984/11*c_1001_5^5 + 495739/77*c_1001_5^4 + 170739/77*c_1001_5^3 + 133761/77*c_1001_5^2 + 21528/77*c_1001_5 + 14387/77 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.190 Total time: 4.400 seconds, Total memory usage: 64.12MB