Magma V2.19-8 Wed Aug 21 2013 00:52:12 on localhost [Seed = 1730245182] Type ? for help. Type -D to quit. Loading file "L12a1060__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a1060 geometric_solution 11.15967517 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 2031 0132 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 0 0 0 0 0 0 0 1 0 -1 -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 1.163520302813 0.738907845447 0 4 2 0 0132 0132 2031 1302 1 1 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 1 0 -1 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.387544916308 0.388947116118 3 0 5 1 0213 0132 0132 1302 1 0 1 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.776178629596 0.476425277108 2 6 0 4 0213 0132 0132 1023 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 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 0 0 0 0 0 0.774886589525 0.651429684457 7 1 8 3 0132 0132 0132 1023 1 1 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 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 1.133606627773 0.502512185654 9 6 7 2 0132 0321 2310 0132 1 0 0 1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.764138626443 0.319981284077 9 3 10 5 2031 0132 0132 0321 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.181856795627 1.020606591615 4 5 10 10 0132 3201 3012 1302 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.287195717298 0.581408638405 10 11 12 4 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.467631054399 0.693023725463 5 12 6 11 0132 0132 1302 1230 1 0 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.697093016448 0.907457137095 8 7 7 6 0132 1230 2031 0132 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 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.648995005239 1.130578041474 9 8 12 12 3012 0132 0321 3120 1 1 0 1 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 -0.080637687949 0.946789608449 11 9 11 8 3120 0132 0321 0132 1 1 0 1 0 1 0 -1 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 1 0 -1 -1 0 0 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.612475973094 0.320631958447 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0101_10']), 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_11'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : negation(d['c_0110_2']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : d['c_0101_7'], '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'], 'c_0101_12' : negation(d['c_0101_11']), 'c_0101_11' : d['c_0101_11'], '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' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_10'], 'c_1100_8' : d['c_1001_11'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_1001_11'], 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : d['c_1001_5'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_1001_11']), 'c_1100_3' : negation(d['c_1001_11']), 'c_1100_2' : negation(d['c_0011_0']), 's_0_10' : d['1'], 'c_1100_9' : d['c_0101_6'], 'c_1100_11' : d['c_0101_11'], 'c_1100_10' : d['c_1001_5'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_5']), 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : negation(d['c_0110_2']), 'c_1010_3' : d['c_0101_7'], 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : d['c_1001_11'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : d['c_1001_11'], 's_3_1' : negation(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' : d['c_1001_11'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_12'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), '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_6'], 'c_0110_10' : d['c_0101_6'], 'c_0110_12' : d['c_0101_6'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_10'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_3'], 'c_0101_8' : d['c_0101_6'], '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_0011_10'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : negation(d['c_0110_2']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : negation(d['c_0011_12']), '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_12, c_0011_3, c_0101_0, c_0101_10, c_0101_11, c_0101_6, c_0101_7, c_0110_2, c_1001_11, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 28750439413592699045426970710708430452750857621703066445767/1787482\ 080765216016116504144913259120198185555060101103616*c_1001_5^19 + 114884081888556574761044310458723818880624225837157246297/406245927\ 44664000366284185111664980004504217160456843264*c_1001_5^18 + 1765532778976133603572027729783237422298346734323449596449/91198065\ 34516408245492368086292138368358089566633168896*c_1001_5^17 + 404150950224607486405977575829764355520650182236437607958083/893741\ 040382608008058252072456629560099092777530050551808*c_1001_5^16 + 3973414185370867044144442956670985067932579416372839010911/11759750\ 531350105369187527269166178422356483914869086208*c_1001_5^15 + 246234796989272030429078922813711538237679557203241215215795/638386\ 45741614857718446576604044968578506626966432182272*c_1001_5^14 + 1539686384786215094539286043400522645049327521964650794182545/44687\ 0520191304004029126036228314780049546388765025275904*c_1001_5^13 + 1055796519502477739588226559361401466561572017741310943755409/44687\ 0520191304004029126036228314780049546388765025275904*c_1001_5^12 + 25338173100055199570870568307864475285619582059114761088922609/1787\ 482080765216016116504144913259120198185555060101103616*c_1001_5^11 + 15147660135672008851650945844065408439442123660930143549892509/4468\ 70520191304004029126036228314780049546388765025275904*c_1001_5^10 - 260848657079562480258546708013835674622428742132045640542283/227995\ 1633629102061373092021573034592089522391658292224*c_1001_5^9 + 2323732003750032973219389711893710948627137411782442892531337/31919\ 322870807428859223288302022484289253313483216091136*c_1001_5^8 + 11513549388357290860308528742666943251794133255971933567869641/3191\ 9322870807428859223288302022484289253313483216091136*c_1001_5^7 - 69281165800375818950802136164027377577736912066237275881279135/1117\ 17630047826001007281509057078695012386597191256318976*c_1001_5^6 + 684964377145319957495385021174378930425646587766352874277181/455990\ 3267258204122746184043146069184179044783316584448*c_1001_5^5 + 1024921496343190315732887616490125333139698915499599172837356687/89\ 3741040382608008058252072456629560099092777530050551808*c_1001_5^4 - 1809946861951495233319112810368213651891616895053994106239231597/17\ 87482080765216016116504144913259120198185555060101103616*c_1001_5^3 - 333640938865963338446082883938533846401744116264963566067407493/4\ 46870520191304004029126036228314780049546388765025275904*c_1001_5^2 + 52735246956402605803366835879817850800877418591695229930740913/11\ 1717630047826001007281509057078695012386597191256318976*c_1001_5 + 6803860690637517701187599871059539896086047211734924730478537/27929\ 407511956500251820377264269673753096649297814079744, c_0011_0 - 1, c_0011_10 - 174123984297926005763627320445573680657569389/9991628037230\ 56898871663589460289269066018186752*c_1001_5^19 + 94482971786866858834050874380123836768590709/2497907009307642247179\ 15897365072317266504546688*c_1001_5^18 - 495948932018238713627310101961219399726770635/249790700930764224717\ 915897365072317266504546688*c_1001_5^17 + 115495204607642407118048824315504015062704527/499581401861528449435\ 831794730144634533009093376*c_1001_5^16 + 1060473393131332189064859985203747397698184031/12489535046538211235\ 8957948682536158633252273344*c_1001_5^15 - 7369059644443651696458891063098980230460469367/24979070093076422471\ 7915897365072317266504546688*c_1001_5^14 + 17262659646980370814545147850398827372140209389/2497907009307642247\ 17915897365072317266504546688*c_1001_5^13 + 20275716934799933066820005419802741520691271661/2497907009307642247\ 17915897365072317266504546688*c_1001_5^12 - 27776495370223920377927138755925197169773963355/9991628037230568988\ 71663589460289269066018186752*c_1001_5^11 + 20898950549333026113856337063068227534302647691/2497907009307642247\ 17915897365072317266504546688*c_1001_5^10 + 139398982135108963899044704021436902041395313221/624476752326910561\ 79478974341268079316626136672*c_1001_5^9 - 416427460333477418130298794354899079375537886117/124895350465382112\ 358957948682536158633252273344*c_1001_5^8 - 213757895317974333640550546729775416204385184445/124895350465382112\ 358957948682536158633252273344*c_1001_5^7 + 945469455251456808612224880392548420887337359249/624476752326910561\ 79478974341268079316626136672*c_1001_5^6 - 2002409507711946389784711699626909817040890404703/12489535046538211\ 2358957948682536158633252273344*c_1001_5^5 - 2582385813436269787830130239447728740586451308517/49958140186152844\ 9435831794730144634533009093376*c_1001_5^4 + 35466340451858230800692455882969251651318786764543/9991628037230568\ 98871663589460289269066018186752*c_1001_5^3 - 3587456145242300586560192165388582165704526295451/24979070093076422\ 4717915897365072317266504546688*c_1001_5^2 - 792142508977723254087113345805906664014775200303/624476752326910561\ 79478974341268079316626136672*c_1001_5 + 32795042846566567736186921318007504290417880315/1561191880817276404\ 4869743585317019829156534168, c_0011_12 - 87203192109872697184737940199843192629601189/99916280372305\ 6898871663589460289269066018186752*c_1001_5^19 + 8497307507912802759572610856619400226895625/62447675232691056179478\ 974341268079316626136672*c_1001_5^18 - 259398469149664893775464290432949576693079595/249790700930764224717\ 915897365072317266504546688*c_1001_5^17 - 272575499815170833050225786499194831355660481/499581401861528449435\ 831794730144634533009093376*c_1001_5^16 + 141317710205773272141005603840554242934599457/624476752326910561794\ 78974341268079316626136672*c_1001_5^15 - 4241794156475495876979580551989656727536284767/24979070093076422471\ 7915897365072317266504546688*c_1001_5^14 + 4943577580381532686744970538730479973362603257/24979070093076422471\ 7915897365072317266504546688*c_1001_5^13 + 4865305022322906810686011682416105746183458297/24979070093076422471\ 7915897365072317266504546688*c_1001_5^12 - 33646887473464398985079157916126560944048204947/9991628037230568988\ 71663589460289269066018186752*c_1001_5^11 - 1875832940718172073243588832531364683681124455/62447675232691056179\ 478974341268079316626136672*c_1001_5^10 + 60542457768084942956374036205841260917992431435/6244767523269105617\ 9478974341268079316626136672*c_1001_5^9 - 175066227541054664460242735794245529258374225797/124895350465382112\ 358957948682536158633252273344*c_1001_5^8 - 116999870105243343024600193352096652158569331097/124895350465382112\ 358957948682536158633252273344*c_1001_5^7 + 385148805093270156333010336885319948102280367039/624476752326910561\ 79478974341268079316626136672*c_1001_5^6 - 790393640461732803729078822276112792832439824655/124895350465382112\ 358957948682536158633252273344*c_1001_5^5 - 1519247407042662169230177651745203867835168203533/49958140186152844\ 9435831794730144634533009093376*c_1001_5^4 + 13518956212781087767939104864498806940111471750751/9991628037230568\ 98871663589460289269066018186752*c_1001_5^3 - 139641004727016003963275551757382635433130270141/312238376163455280\ 89739487170634039658313068336*c_1001_5^2 - 322021863751397045333815308412952151986482369313/624476752326910561\ 79478974341268079316626136672*c_1001_5 + 5462571303103266406330733435962268567499323017/78059594040863820224\ 34871792658509914578267084, c_0011_3 - 151040988971864309065020431028734130665843609/24979070093076\ 4224717915897365072317266504546688*c_1001_5^19 - 6340453733456993216489042907635481989362183/12489535046538211235895\ 7948682536158633252273344*c_1001_5^18 - 473186777333864136131922231833603550561452991/624476752326910561794\ 78974341268079316626136672*c_1001_5^17 - 2062741324095974930831914873436493547962715721/12489535046538211235\ 8957948682536158633252273344*c_1001_5^16 - 940481242739714026212138578876283689861975663/624476752326910561794\ 78974341268079316626136672*c_1001_5^15 - 9636211425916392627378515855168454111991014467/62447675232691056179\ 478974341268079316626136672*c_1001_5^14 - 8029172447799083596736170022455253353481632157/62447675232691056179\ 478974341268079316626136672*c_1001_5^13 - 10063720322322201245106115260926471402058134125/6244767523269105617\ 9478974341268079316626136672*c_1001_5^12 - 157862965808696157413479623942198536295565193767/249790700930764224\ 717915897365072317266504546688*c_1001_5^11 - 168568108078077820706787968225007596858139859409/124895350465382112\ 358957948682536158633252273344*c_1001_5^10 + 63023152693006152523441580481139494152165705477/1561191880817276404\ 4869743585317019829156534168*c_1001_5^9 - 124692356897087910426090128913544566190432040013/312238376163455280\ 89739487170634039658313068336*c_1001_5^8 - 363608868242196661274239018189038748426648540923/312238376163455280\ 89739487170634039658313068336*c_1001_5^7 + 45789066682414514686790098378118547948470089638/1951489851021595505\ 608717948164627478644566771*c_1001_5^6 - 458538292778247468511232375472058731046082476983/312238376163455280\ 89739487170634039658313068336*c_1001_5^5 - 4191416409806374165888331325362673109723872633097/12489535046538211\ 2358957948682536158633252273344*c_1001_5^4 + 9787464765078751878593940449768767753437216930143/24979070093076422\ 4717915897365072317266504546688*c_1001_5^3 + 579316675924885530773155163768394780306610364429/124895350465382112\ 358957948682536158633252273344*c_1001_5^2 - 132836406626461625537327215294432184061744794161/156119188081727640\ 44869743585317019829156534168*c_1001_5 + 12427738130747805968691953515339497848350488879/7805959404086382022\ 434871792658509914578267084, c_0101_0 - 1, c_0101_10 + 65033770208562186709939012692935770994435905/19983256074461\ 13797743327178920578538132036373504*c_1001_5^19 + 40750721671282762749703060965548385935905885/4995814018615284494358\ 31794730144634533009093376*c_1001_5^18 + 214280777302217171862980631432551021436382599/499581401861528449435\ 831794730144634533009093376*c_1001_5^17 + 1853059440554202007227214711233982963804711589/99916280372305689887\ 1663589460289269066018186752*c_1001_5^16 + 784281922235613689478865993275187978811264499/249790700930764224717\ 915897365072317266504546688*c_1001_5^15 + 5168317958536280408699964507659598767017351795/49958140186152844943\ 5831794730144634533009093376*c_1001_5^14 + 13371923810021180860492185976217623760005244679/4995814018615284494\ 35831794730144634533009093376*c_1001_5^13 + 14053258720095583420176718748694454903134382727/4995814018615284494\ 35831794730144634533009093376*c_1001_5^12 + 103811358431066406410804949885995740525586566343/199832560744611379\ 7743327178920578538132036373504*c_1001_5^11 + 76796263691974480434460224053930301561749986803/4995814018615284494\ 35831794730144634533009093376*c_1001_5^10 - 4802346527133703394853104484125667294978773365/12489535046538211235\ 8957948682536158633252273344*c_1001_5^9 - 74355626497252618908706917017334283046119927415/2497907009307642247\ 17915897365072317266504546688*c_1001_5^8 + 250310658204191291005668019571958570004684023785/249790700930764224\ 717915897365072317266504546688*c_1001_5^7 + 60462533200758666881815770508020540403097060711/1248953504653821123\ 58957948682536158633252273344*c_1001_5^6 - 533382584424748180204819936815601841697994494997/249790700930764224\ 717915897365072317266504546688*c_1001_5^5 + 2976489519933307920911551808414054747909375602617/99916280372305689\ 8871663589460289269066018186752*c_1001_5^4 + 5850193905819470267534063154587347336824230926933/19983256074461137\ 97743327178920578538132036373504*c_1001_5^3 - 2583709911925260653731210225233994846116270913771/49958140186152844\ 9435831794730144634533009093376*c_1001_5^2 - 170038774984715673498582789019026106328786448785/124895350465382112\ 358957948682536158633252273344*c_1001_5 + 15221287804014381864700945555573892688764862815/3122383761634552808\ 9739487170634039658313068336, c_0101_11 + 15854828757019913552831927599754583210015511/12489535046538\ 2112358957948682536158633252273344*c_1001_5^19 + 399837529763871461596554321678714253871089/124895350465382112358957\ 948682536158633252273344*c_1001_5^18 + 49930613734358772925287226691213718578347013/3122383761634552808973\ 9487170634039658313068336*c_1001_5^17 + 210426554629766406789962833376470619766608249/624476752326910561794\ 78974341268079316626136672*c_1001_5^16 + 192139940830681375106081100360876870736449589/624476752326910561794\ 78974341268079316626136672*c_1001_5^15 + 1010775593959246401972336568285813524688485473/31223837616345528089\ 739487170634039658313068336*c_1001_5^14 + 49438805792622494475244519256246100931351629/1951489851021595505608\ 717948164627478644566771*c_1001_5^13 + 133837625941134689107718922414855117868923359/390297970204319101121\ 7435896329254957289133542*c_1001_5^12 + 16455921915337325629908193548741491686122132797/1248953504653821123\ 58957948682536158633252273344*c_1001_5^11 + 34819249093744270216438838587333747356887739655/1248953504653821123\ 58957948682536158633252273344*c_1001_5^10 - 3357165325552774340359722590916713651239268331/39029797020431910112\ 17435896329254957289133542*c_1001_5^9 + 14202384384585017603755334101062695667442351269/1561191880817276404\ 4869743585317019829156534168*c_1001_5^8 + 9041576963585299713626334474831698712949775121/39029797020431910112\ 17435896329254957289133542*c_1001_5^7 - 77709955531436579310833961639617314222230126549/1561191880817276404\ 4869743585317019829156534168*c_1001_5^6 + 52914564519355150019402891231894021072160053823/1561191880817276404\ 4869743585317019829156534168*c_1001_5^5 + 416920969835164920340653111511154168974598695643/624476752326910561\ 79478974341268079316626136672*c_1001_5^4 - 1094070003319134568754105904478075030891070922691/12489535046538211\ 2358957948682536158633252273344*c_1001_5^3 - 52996653339473694129524930327577582487439638835/1248953504653821123\ 58957948682536158633252273344*c_1001_5^2 + 15611573894345795861916622135773783246913839897/7805959404086382022\ 434871792658509914578267084*c_1001_5 - 3175497504974329470255431450891084221099778457/78059594040863820224\ 34871792658509914578267084, c_0101_6 + 187691611663358361909385884603261688623222227/19983256074461\ 13797743327178920578538132036373504*c_1001_5^19 - 100052393552713427615708119948008726183395609/499581401861528449435\ 831794730144634533009093376*c_1001_5^18 + 521727279048830067725107422915425351919690661/499581401861528449435\ 831794730144634533009093376*c_1001_5^17 - 66055984447008578714913804256517350639361729/9991628037230568988716\ 63589460289269066018186752*c_1001_5^16 - 1204723926865763180870372967227668112307924023/24979070093076422471\ 7915897365072317266504546688*c_1001_5^15 + 7762841540851773194552492430770164498468308681/49958140186152844943\ 5831794730144634533009093376*c_1001_5^14 - 18376176867745892941302450514339304315237021563/4995814018615284494\ 35831794730144634533009093376*c_1001_5^13 - 24412800332663874844600671999487925887987687547/4995814018615284494\ 35831794730144634533009093376*c_1001_5^12 + 31477662390653690622995788751504188861496573125/1998325607446113797\ 743327178920578538132036373504*c_1001_5^11 - 23466121102798280664789401005483264965302009719/4995814018615284494\ 35831794730144634533009093376*c_1001_5^10 - 150340073319672914559428276251928492531895554711/124895350465382112\ 358957948682536158633252273344*c_1001_5^9 + 435638590817416759670919617271020783691014371307/249790700930764224\ 717915897365072317266504546688*c_1001_5^8 + 293418838372869620365342278761578981367050541643/249790700930764224\ 717915897365072317266504546688*c_1001_5^7 - 1040896785010867639159337705791080248577117907547/12489535046538211\ 2358957948682536158633252273344*c_1001_5^6 + 2100667207952626614883615835463211028828538972785/24979070093076422\ 4717915897365072317266504546688*c_1001_5^5 + 3664090960778280356826514954906458298212123123899/99916280372305689\ 8871663589460289269066018186752*c_1001_5^4 - 39895927166255566076739320961940247042031689679793/1998325607446113\ 797743327178920578538132036373504*c_1001_5^3 + 3836101970933745318297743603372376417922398892495/49958140186152844\ 9435831794730144634533009093376*c_1001_5^2 + 942840924425695628901143689431284205416124723717/124895350465382112\ 358957948682536158633252273344*c_1001_5 - 35932499373155285185391424130729349474152947947/3122383761634552808\ 9739487170634039658313068336, c_0101_7 + 1273361681983476659230102460922808816321184777/1998325607446\ 113797743327178920578538132036373504*c_1001_5^19 + 66112536605110735615659232596090313893354617/4995814018615284494358\ 31794730144634533009093376*c_1001_5^18 + 3999774995973130260918358486101379425928006527/49958140186152844943\ 5831794730144634533009093376*c_1001_5^17 + 18354990033322001453882533698725931347506437357/9991628037230568988\ 71663589460289269066018186752*c_1001_5^16 + 4546206893194469794327420308780322738259167151/24979070093076422471\ 7915897365072317266504546688*c_1001_5^15 + 82258009365867421427728091349007231662945467531/4995814018615284494\ 35831794730144634533009093376*c_1001_5^14 + 77605303392413849634381546155859650587858301935/4995814018615284494\ 35831794730144634533009093376*c_1001_5^13 + 94563021298673193381025640836106226119599455727/4995814018615284494\ 35831794730144634533009093376*c_1001_5^12 + 1366715084900635665718641941423584030890108116479/19983256074461137\ 97743327178920578538132036373504*c_1001_5^11 + 751068696004285763261612096953960688994309424439/499581401861528449\ 435831794730144634533009093376*c_1001_5^10 - 508987568071182923582385748333241620512304417181/124895350465382112\ 358957948682536158633252273344*c_1001_5^9 + 923183228679450664500014114291022246477336392689/249790700930764224\ 717915897365072317266504546688*c_1001_5^8 + 3159181604141764581199580165084268557417872351169/24979070093076422\ 4717915897365072317266504546688*c_1001_5^7 - 2870037734473770273072750525691566528298988676121/12489535046538211\ 2358957948682536158633252273344*c_1001_5^6 + 3134923757801231567885039066960868006670665320867/24979070093076422\ 4717915897365072317266504546688*c_1001_5^5 + 36507820798384301248018202411315439625700356667393/9991628037230568\ 98871663589460289269066018186752*c_1001_5^4 - 72449524214810544761217460443562794690673504514211/1998325607446113\ 797743327178920578538132036373504*c_1001_5^3 - 4900976615624802776823830880307573967342712371487/49958140186152844\ 9435831794730144634533009093376*c_1001_5^2 + 892652478026977330800034933336431366165171904503/124895350465382112\ 358957948682536158633252273344*c_1001_5 - 3265827102631313920327381335150059046324024365/31223837616345528089\ 739487170634039658313068336, c_0110_2 - 276831448133925310633869136361864930105781443/99916280372305\ 6898871663589460289269066018186752*c_1001_5^19 - 72647700170353541433081587260832715545313/1248953504653821123589579\ 48682536158633252273344*c_1001_5^18 - 865732101929948886341109279801476030310606141/249790700930764224717\ 915897365072317266504546688*c_1001_5^17 - 3640602247238328546515368095915108925572811671/49958140186152844943\ 5831794730144634533009093376*c_1001_5^16 - 97219574388024610547317674794777728573021599/1561191880817276404486\ 9743585317019829156534168*c_1001_5^15 - 17505478214386358777474793135529291729685627097/2497907009307642247\ 17915897365072317266504546688*c_1001_5^14 - 13268126486968354359503966493534304923093581145/2497907009307642247\ 17915897365072317266504546688*c_1001_5^13 - 17005884780148164462104301524432128325090307417/2497907009307642247\ 17915897365072317266504546688*c_1001_5^12 - 283436093779093786440010963740554843038819191397/999162803723056898\ 871663589460289269066018186752*c_1001_5^11 - 74237930962861234222382240875654439917028425675/1248953504653821123\ 58957948682536158633252273344*c_1001_5^10 + 118810329529064308104705284581259447401093350385/624476752326910561\ 79478974341268079316626136672*c_1001_5^9 - 246493266312321213289319138028634981038946733011/124895350465382112\ 358957948682536158633252273344*c_1001_5^8 - 652972145215475465375448319035015863737484032871/124895350465382112\ 358957948682536158633252273344*c_1001_5^7 + 702354405107050313369538474196602963430471510701/624476752326910561\ 79478974341268079316626136672*c_1001_5^6 - 942048423405638013476348248485009203081575206041/124895350465382112\ 358957948682536158633252273344*c_1001_5^5 - 7518574844018271960860027866958461572027545482043/49958140186152844\ 9435831794730144634533009093376*c_1001_5^4 + 19368079572960440894228925217686614585784808706793/9991628037230568\ 98871663589460289269066018186752*c_1001_5^3 + 100801646526581231548069721389871435079367203665/124895350465382112\ 358957948682536158633252273344*c_1001_5^2 - 274507973761566714572667023942527651128387290259/624476752326910561\ 79478974341268079316626136672*c_1001_5 - 202838290116257461560332501772723370908347694/195148985102159550560\ 8717948164627478644566771, c_1001_11 + 276831448133925310633869136361864930105781443/9991628037230\ 56898871663589460289269066018186752*c_1001_5^19 + 72647700170353541433081587260832715545313/1248953504653821123589579\ 48682536158633252273344*c_1001_5^18 + 865732101929948886341109279801476030310606141/249790700930764224717\ 915897365072317266504546688*c_1001_5^17 + 3640602247238328546515368095915108925572811671/49958140186152844943\ 5831794730144634533009093376*c_1001_5^16 + 97219574388024610547317674794777728573021599/1561191880817276404486\ 9743585317019829156534168*c_1001_5^15 + 17505478214386358777474793135529291729685627097/2497907009307642247\ 17915897365072317266504546688*c_1001_5^14 + 13268126486968354359503966493534304923093581145/2497907009307642247\ 17915897365072317266504546688*c_1001_5^13 + 17005884780148164462104301524432128325090307417/2497907009307642247\ 17915897365072317266504546688*c_1001_5^12 + 283436093779093786440010963740554843038819191397/999162803723056898\ 871663589460289269066018186752*c_1001_5^11 + 74237930962861234222382240875654439917028425675/1248953504653821123\ 58957948682536158633252273344*c_1001_5^10 - 118810329529064308104705284581259447401093350385/624476752326910561\ 79478974341268079316626136672*c_1001_5^9 + 246493266312321213289319138028634981038946733011/124895350465382112\ 358957948682536158633252273344*c_1001_5^8 + 652972145215475465375448319035015863737484032871/124895350465382112\ 358957948682536158633252273344*c_1001_5^7 - 702354405107050313369538474196602963430471510701/624476752326910561\ 79478974341268079316626136672*c_1001_5^6 + 942048423405638013476348248485009203081575206041/124895350465382112\ 358957948682536158633252273344*c_1001_5^5 + 7518574844018271960860027866958461572027545482043/49958140186152844\ 9435831794730144634533009093376*c_1001_5^4 - 19368079572960440894228925217686614585784808706793/9991628037230568\ 98871663589460289269066018186752*c_1001_5^3 - 100801646526581231548069721389871435079367203665/124895350465382112\ 358957948682536158633252273344*c_1001_5^2 + 274507973761566714572667023942527651128387290259/624476752326910561\ 79478974341268079316626136672*c_1001_5 - 1748651560905338044048385446391904107736219077/19514898510215955056\ 08717948164627478644566771, c_1001_2 + 276831448133925310633869136361864930105781443/99916280372305\ 6898871663589460289269066018186752*c_1001_5^19 + 72647700170353541433081587260832715545313/1248953504653821123589579\ 48682536158633252273344*c_1001_5^18 + 865732101929948886341109279801476030310606141/249790700930764224717\ 915897365072317266504546688*c_1001_5^17 + 3640602247238328546515368095915108925572811671/49958140186152844943\ 5831794730144634533009093376*c_1001_5^16 + 97219574388024610547317674794777728573021599/1561191880817276404486\ 9743585317019829156534168*c_1001_5^15 + 17505478214386358777474793135529291729685627097/2497907009307642247\ 17915897365072317266504546688*c_1001_5^14 + 13268126486968354359503966493534304923093581145/2497907009307642247\ 17915897365072317266504546688*c_1001_5^13 + 17005884780148164462104301524432128325090307417/2497907009307642247\ 17915897365072317266504546688*c_1001_5^12 + 283436093779093786440010963740554843038819191397/999162803723056898\ 871663589460289269066018186752*c_1001_5^11 + 74237930962861234222382240875654439917028425675/1248953504653821123\ 58957948682536158633252273344*c_1001_5^10 - 118810329529064308104705284581259447401093350385/624476752326910561\ 79478974341268079316626136672*c_1001_5^9 + 246493266312321213289319138028634981038946733011/124895350465382112\ 358957948682536158633252273344*c_1001_5^8 + 652972145215475465375448319035015863737484032871/124895350465382112\ 358957948682536158633252273344*c_1001_5^7 - 702354405107050313369538474196602963430471510701/624476752326910561\ 79478974341268079316626136672*c_1001_5^6 + 942048423405638013476348248485009203081575206041/124895350465382112\ 358957948682536158633252273344*c_1001_5^5 + 7518574844018271960860027866958461572027545482043/49958140186152844\ 9435831794730144634533009093376*c_1001_5^4 - 19368079572960440894228925217686614585784808706793/9991628037230568\ 98871663589460289269066018186752*c_1001_5^3 - 100801646526581231548069721389871435079367203665/124895350465382112\ 358957948682536158633252273344*c_1001_5^2 + 274507973761566714572667023942527651128387290259/624476752326910561\ 79478974341268079316626136672*c_1001_5 + 202838290116257461560332501772723370908347694/195148985102159550560\ 8717948164627478644566771, c_1001_5^20 + 12*c_1001_5^18 + 26*c_1001_5^17 + 16*c_1001_5^16 + 236*c_1001_5^15 + 172*c_1001_5^14 + 108*c_1001_5^13 + 855*c_1001_5^12 + 1952*c_1001_5^11 - 7488*c_1001_5^10 + 5768*c_1001_5^9 + 21672*c_1001_5^8 - 42544*c_1001_5^7 + 16024*c_1001_5^6 + 69906*c_1001_5^5 - 75667*c_1001_5^4 - 35632*c_1001_5^3 + 37984*c_1001_5^2 + 9984*c_1001_5 - 2816 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.220 Total time: 0.430 seconds, Total memory usage: 32.09MB