Magma V2.19-8 Tue Aug 20 2013 23:45:49 on localhost [Seed = 2244206698] Type ? for help. Type -D to quit. Loading file "K13n703__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n703 geometric_solution 10.38715427 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 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 1 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.895744892423 0.446930641586 0 5 7 6 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 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.727538277397 1.044854408975 7 0 7 8 1302 0132 3120 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 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.510831908855 1.092130031778 9 4 10 0 0132 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 1 0 -1 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.757827014460 0.871014306836 6 5 0 3 1230 1230 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.740149439427 0.820443812155 8 1 4 8 1023 0132 3012 3120 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 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.427402267226 0.405615978966 11 4 1 7 0132 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517709889842 0.535686226191 6 2 2 1 3201 2031 3120 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 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.282909290052 0.845929699022 5 5 2 11 3120 1023 0132 1302 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 1 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.231007877620 1.168258813028 3 10 11 10 0132 1230 0132 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 1 -1 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 1.163055813177 1.157470404631 9 11 9 3 3201 2103 3012 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 -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.586137581444 0.332973628728 6 10 8 9 0132 2103 2031 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 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.757827014460 0.871014306836 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_0011_11'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : d['c_0101_8'], 'c_1001_7' : negation(d['c_0101_8']), 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_8'], 'c_1001_9' : negation(d['c_1001_3']), 'c_1001_8' : d['c_0101_5'], 'c_1010_11' : negation(d['c_1001_3']), 'c_1010_10' : d['c_1001_3'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_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' : negation(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_11'], 'c_1100_8' : d['c_0101_11'], 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : d['c_1001_3'], 'c_1100_7' : d['c_0011_7'], 'c_1100_6' : d['c_0011_7'], 'c_1100_1' : d['c_0011_7'], 'c_1100_0' : d['c_1001_3'], 'c_1100_3' : d['c_1001_3'], 'c_1100_2' : d['c_0101_11'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_1001_3'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_0']), 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : d['c_0101_8'], 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : negation(d['c_0011_10']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0110_6' : d['c_0101_11'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : negation(d['c_0101_10']), 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0101_7' : negation(d['c_0101_11']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_10']), 'c_0101_2' : negation(d['c_0011_7']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_10']), 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : negation(d['c_0011_11']), 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_5, c_0101_8, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 45341897928293385846860434487580539707229615672056655/8169545198760\ 66907868034610409254901246879399738*c_1001_3^27 + 1943675249980826811001303827004371933038538951893303/14085422756483\ 912204621286386366463814601368961*c_1001_3^26 + 463088250357942205079523567278120942877787172275778231/816954519876\ 066907868034610409254901246879399738*c_1001_3^25 - 110927783026737355619971505172685133901382160583985039/408477259938\ 033453934017305204627450623439699869*c_1001_3^24 + 1636094484147323191628061737673765214927069193842084853/81695451987\ 6066907868034610409254901246879399738*c_1001_3^23 + 733059738000689286937215205626814221046215187061419845/816954519876\ 066907868034610409254901246879399738*c_1001_3^22 + 5558880869578116034001693415402133197607812059109156797/81695451987\ 6066907868034610409254901246879399738*c_1001_3^21 + 585240502851052702225463749308325910134354090996693858/408477259938\ 033453934017305204627450623439699869*c_1001_3^20 + 2425532585817793681496722060178031578138493585002056656/40847725993\ 8033453934017305204627450623439699869*c_1001_3^19 + 10768072501899680683211023341236564763614321443739776773/8169545198\ 76066907868034610409254901246879399738*c_1001_3^18 + 292435091512917499857304738841602657454264430378649605/816954519876\ 066907868034610409254901246879399738*c_1001_3^17 + 21529756229468731174907120653018420545860653460018498133/8169545198\ 76066907868034610409254901246879399738*c_1001_3^16 - 1113504565059540658038357901078237338574537565721870639/81695451987\ 6066907868034610409254901246879399738*c_1001_3^15 - 1875998232749216050412213239012644069053039385968988094/40847725993\ 8033453934017305204627450623439699869*c_1001_3^14 + 16712689651926945911203841237661056598118362210665281905/8169545198\ 76066907868034610409254901246879399738*c_1001_3^13 - 26777349270358481738772971735268997625037166198669534235/8169545198\ 76066907868034610409254901246879399738*c_1001_3^12 + 14841960273934221153247622231544384960527283931379253925/4084772599\ 38033453934017305204627450623439699869*c_1001_3^11 - 22734520994733052574185747498014232952816564913907400017/8169545198\ 76066907868034610409254901246879399738*c_1001_3^10 + 182812714308502769471589125367125471308959600053157332/575320084419\ 7654280760807115558133107372390139*c_1001_3^9 - 20574173668731089020653911087092031998290835509841964485/8169545198\ 76066907868034610409254901246879399738*c_1001_3^8 + 8734528657981001418370786273699036354442606883431493771/81695451987\ 6066907868034610409254901246879399738*c_1001_3^7 - 6780729114802871783207270816578420439765729288056247573/81695451987\ 6066907868034610409254901246879399738*c_1001_3^6 + 890093807119318916525208951567898666500701795133901979/408477259938\ 033453934017305204627450623439699869*c_1001_3^5 - 2609394202418596335657100852910135558474446445111193297/81695451987\ 6066907868034610409254901246879399738*c_1001_3^4 + 1709075898705483868718203484722596741319387646003348579/40847725993\ 8033453934017305204627450623439699869*c_1001_3^3 - 1883334086373205672543073375587027439386321317962787543/81695451987\ 6066907868034610409254901246879399738*c_1001_3^2 + 468575940972446205140267284336552153476125452201180066/408477259938\ 033453934017305204627450623439699869*c_1001_3 - 133069542085994833365066209483006869336391992396117629/408477259938\ 033453934017305204627450623439699869, c_0011_0 - 1, c_0011_10 - 392910022290161748149649539423773767757/8448186793120708643\ 12114599340135372933*c_1001_3^27 - 1101954139164328109891838972686883902454/84481867931207086431211459\ 9340135372933*c_1001_3^26 - 441894077889065869157415889440357942073\ 5/844818679312070864312114599340135372933*c_1001_3^25 + 304313177753574031120667961720570875219/844818679312070864312114599\ 340135372933*c_1001_3^24 - 1489667229067843430014715566173727597760\ 7/844818679312070864312114599340135372933*c_1001_3^23 - 11799771258334014395550063844487841581438/8448186793120708643121145\ 99340135372933*c_1001_3^22 - 54406497720818467031699894041797155038\ 252/844818679312070864312114599340135372933*c_1001_3^21 - 31341120073619637417370494135925732136910/8448186793120708643121145\ 99340135372933*c_1001_3^20 - 62543897666478849077606427230979014578\ 318/844818679312070864312114599340135372933*c_1001_3^19 - 126810079107630625224423822998050288721777/844818679312070864312114\ 599340135372933*c_1001_3^18 - 6109322872776105407491428054544999521\ 2733/844818679312070864312114599340135372933*c_1001_3^17 - 236610629330335788723550118990324159599785/844818679312070864312114\ 599340135372933*c_1001_3^16 - 9709385999956634414779934055179887102\ 7095/844818679312070864312114599340135372933*c_1001_3^15 - 50687409285547308582176519122327029522922/8448186793120708643121145\ 99340135372933*c_1001_3^14 - 21444707820932113310800395047141776195\ 9427/844818679312070864312114599340135372933*c_1001_3^13 + 125387771269549043730910712406756391741031/844818679312070864312114\ 599340135372933*c_1001_3^12 - 2635152162799705282369773327548515236\ 86342/844818679312070864312114599340135372933*c_1001_3^11 + 102961755313037668607401113632739509056168/844818679312070864312114\ 599340135372933*c_1001_3^10 - 2191902593719470167445333062846601410\ 06782/844818679312070864312114599340135372933*c_1001_3^9 + 99061227236025362118507554350494994888176/8448186793120708643121145\ 99340135372933*c_1001_3^8 - 717524343949666181482731765138064942647\ 76/844818679312070864312114599340135372933*c_1001_3^7 + 24137689086603774184219925472543620917768/8448186793120708643121145\ 99340135372933*c_1001_3^6 - 150840025168968563650702925415183313120\ 97/844818679312070864312114599340135372933*c_1001_3^5 + 16885010177598912746463378625312939395634/8448186793120708643121145\ 99340135372933*c_1001_3^4 - 212720781389468369396474046221575006768\ 85/844818679312070864312114599340135372933*c_1001_3^3 + 13686846016828025272760556691993915221805/8448186793120708643121145\ 99340135372933*c_1001_3^2 - 441628953904252907094319854644413319832\ 7/844818679312070864312114599340135372933*c_1001_3 + 1216058574986784510673389883761307001059/84481867931207086431211459\ 9340135372933, c_0011_11 + 67071903268886991605737977473506201895/84481867931207086431\ 2114599340135372933*c_1001_3^27 + 151716738730647056415078051958990\ 847897/844818679312070864312114599340135372933*c_1001_3^26 + 655764020372023018413273383382499363913/844818679312070864312114599\ 340135372933*c_1001_3^25 - 428431572840499049730059696840500358770/\ 844818679312070864312114599340135372933*c_1001_3^24 + 2691237609214658229644879305726857088173/84481867931207086431211459\ 9340135372933*c_1001_3^23 + 936168905130105469294113116434795159925\ /844818679312070864312114599340135372933*c_1001_3^22 + 8493159940865696402006816055557095679110/84481867931207086431211459\ 9340135372933*c_1001_3^21 + 128119564673873144087461058932137153352\ 9/844818679312070864312114599340135372933*c_1001_3^20 + 9584555868945873097832903453339602542789/84481867931207086431211459\ 9340135372933*c_1001_3^19 + 198207702189949627833703781324936101351\ 29/844818679312070864312114599340135372933*c_1001_3^18 + 3328854908287541510863885697649745426186/84481867931207086431211459\ 9340135372933*c_1001_3^17 + 409131540507212126416375643143488345485\ 44/844818679312070864312114599340135372933*c_1001_3^16 + 5347882973877496385800807046355544857998/84481867931207086431211459\ 9340135372933*c_1001_3^15 + 108240870622201409653864953263712138502\ 02/844818679312070864312114599340135372933*c_1001_3^14 + 48994014723698851156270237182604782063267/8448186793120708643121145\ 99340135372933*c_1001_3^13 - 25196153986716902942910922191883416087\ 089/844818679312070864312114599340135372933*c_1001_3^12 + 65581639521415458680235537498202779547460/8448186793120708643121145\ 99340135372933*c_1001_3^11 - 28886243991332549392754453172045324559\ 741/844818679312070864312114599340135372933*c_1001_3^10 + 51031375269995819582613708726138940752709/8448186793120708643121145\ 99340135372933*c_1001_3^9 - 297022036431589020510060888241317187029\ 05/844818679312070864312114599340135372933*c_1001_3^8 + 26469134470443209170014172170573508088003/8448186793120708643121145\ 99340135372933*c_1001_3^7 - 404379963961039087758097300448388773534\ 8/844818679312070864312114599340135372933*c_1001_3^6 + 6357594194062599738213707108189055771581/84481867931207086431211459\ 9340135372933*c_1001_3^5 - 3925275278687144076237519771571865118408\ /844818679312070864312114599340135372933*c_1001_3^4 + 5864028151959808331941140157981811699667/84481867931207086431211459\ 9340135372933*c_1001_3^3 - 4337482178500011265278797540134204129642\ /844818679312070864312114599340135372933*c_1001_3^2 + 438055571798550517775122531698331446764/844818679312070864312114599\ 340135372933*c_1001_3 - 335327677301353647019274074945825097690/844\ 818679312070864312114599340135372933, c_0011_4 - 28375502662069506051982092601475953772/844818679312070864312\ 114599340135372933*c_1001_3^27 - 6076538787904057164791689395306301\ 60784/844818679312070864312114599340135372933*c_1001_3^26 - 2125039242013905965724506960351278917606/84481867931207086431211459\ 9340135372933*c_1001_3^25 - 695325138598737257742013886468737761354\ 4/844818679312070864312114599340135372933*c_1001_3^24 - 4663533795707507559201567648549641620252/84481867931207086431211459\ 9340135372933*c_1001_3^23 - 219531091354161710337082291335841037883\ 18/844818679312070864312114599340135372933*c_1001_3^22 - 31721935117759915061713649418703260440861/8448186793120708643121145\ 99340135372933*c_1001_3^21 - 89121171291295457812127753342814643856\ 720/844818679312070864312114599340135372933*c_1001_3^20 - 94470410092863897205388796441144502391123/8448186793120708643121145\ 99340135372933*c_1001_3^19 - 13395194342140796559733478470897392576\ 8245/844818679312070864312114599340135372933*c_1001_3^18 - 231958150866117713805751860180416992335588/844818679312070864312114\ 599340135372933*c_1001_3^17 - 2136030888693914297805186889160989266\ 61088/844818679312070864312114599340135372933*c_1001_3^16 - 402501343981953497207521720049499662913312/844818679312070864312114\ 599340135372933*c_1001_3^15 - 3309429022358951038618726817161693339\ 85560/844818679312070864312114599340135372933*c_1001_3^14 - 211022616485942227292811953023433119822737/844818679312070864312114\ 599340135372933*c_1001_3^13 - 3200133993286997247896563195031004267\ 02984/844818679312070864312114599340135372933*c_1001_3^12 + 4419217789500919516123378937489112802945/84481867931207086431211459\ 9340135372933*c_1001_3^11 - 264445887211744404668657709057026314249\ 215/844818679312070864312114599340135372933*c_1001_3^10 - 21110128072665679344817903651671503998973/8448186793120708643121145\ 99340135372933*c_1001_3^9 - 250759733776846102831037794593058158265\ 972/844818679312070864312114599340135372933*c_1001_3^8 - 9861576535558996799157745288033109115949/84481867931207086431211459\ 9340135372933*c_1001_3^7 - 5991386333740441621769812299256966602867\ 8/844818679312070864312114599340135372933*c_1001_3^6 + 15642987543379759242977368709510235112631/8448186793120708643121145\ 99340135372933*c_1001_3^5 + 41208200999211151757767691298210324266/\ 844818679312070864312114599340135372933*c_1001_3^4 + 26329721118855115578993291257674689259952/8448186793120708643121145\ 99340135372933*c_1001_3^3 - 127217137269849606972096027778578618732\ 15/844818679312070864312114599340135372933*c_1001_3^2 + 5442630586330258918775633505712969099944/84481867931207086431211459\ 9340135372933*c_1001_3 - 1841440545428494517612302777312266025807/8\ 44818679312070864312114599340135372933, c_0011_7 - 647579024230068472899139039985466091626/84481867931207086431\ 2114599340135372933*c_1001_3^27 - 204774317709910797163258453366405\ 3667134/844818679312070864312114599340135372933*c_1001_3^26 - 7932230875077532213972891577306437055957/84481867931207086431211459\ 9340135372933*c_1001_3^25 - 203206890124710861192697136969593683398\ 0/844818679312070864312114599340135372933*c_1001_3^24 - 24123718195587809285236550535582626436106/8448186793120708643121145\ 99340135372933*c_1001_3^23 - 27263034561488487010327059414307432501\ 154/844818679312070864312114599340135372933*c_1001_3^22 - 95974861756853368109701593609376838250951/8448186793120708643121145\ 99340135372933*c_1001_3^21 - 80633936636197601069900824749656458145\ 757/844818679312070864312114599340135372933*c_1001_3^20 - 117399922992108797868055345824921227559662/844818679312070864312114\ 599340135372933*c_1001_3^19 - 2334238310618788202156400551369847068\ 32710/844818679312070864312114599340135372933*c_1001_3^18 - 161261930007975028915528476341684403918749/844818679312070864312114\ 599340135372933*c_1001_3^17 - 4054298190448755979619792281604008181\ 38008/844818679312070864312114599340135372933*c_1001_3^16 - 264549481818714662598588816968824371340139/844818679312070864312114\ 599340135372933*c_1001_3^15 - 1085927340830682435377152082143500577\ 94918/844818679312070864312114599340135372933*c_1001_3^14 - 322227709601995621880110284616066854949139/844818679312070864312114\ 599340135372933*c_1001_3^13 + 1347762414098930182664613178166555282\ 01681/844818679312070864312114599340135372933*c_1001_3^12 - 320602266653148922145033920645096551423297/844818679312070864312114\ 599340135372933*c_1001_3^11 + 6898080955355287663464633685937188963\ 5165/844818679312070864312114599340135372933*c_1001_3^10 - 299346801795466591246987514925599643402559/844818679312070864312114\ 599340135372933*c_1001_3^9 + 71532368673333983642228973564810802871\ 870/844818679312070864312114599340135372933*c_1001_3^8 - 58648222680295929150464214448916596268266/8448186793120708643121145\ 99340135372933*c_1001_3^7 + 323442522636774362821588943045078754428\ 83/844818679312070864312114599340135372933*c_1001_3^6 - 6839165027076804702892260143030009664046/84481867931207086431211459\ 9340135372933*c_1001_3^5 + 2949178688456808897998992582467444777634\ 1/844818679312070864312114599340135372933*c_1001_3^4 - 27621471831337408791520123255611065177184/8448186793120708643121145\ 99340135372933*c_1001_3^3 + 683393170585729986876054039048583807790\ 3/844818679312070864312114599340135372933*c_1001_3^2 - 3760188613650995301248354931599698942318/84481867931207086431211459\ 9340135372933*c_1001_3 + 366531137984608458034331079782789293153/84\ 4818679312070864312114599340135372933, c_0101_0 - 124283233357857301880396535549376144655/84481867931207086431\ 2114599340135372933*c_1001_3^27 - 191799001128490561369587759257966\ 523485/844818679312070864312114599340135372933*c_1001_3^26 - 967919372485117228114081254266439627811/844818679312070864312114599\ 340135372933*c_1001_3^25 + 1751524841831595554078757006472823855809\ /844818679312070864312114599340135372933*c_1001_3^24 - 5224534226526818597564213982423736596771/84481867931207086431211459\ 9340135372933*c_1001_3^23 + 115070541933462442938927584794044192352\ 5/844818679312070864312114599340135372933*c_1001_3^22 - 13463720374587465974275098020748201530577/8448186793120708643121145\ 99340135372933*c_1001_3^21 + 83876716789901314062580848789977205290\ 83/844818679312070864312114599340135372933*c_1001_3^20 - 13173971516582944988528253044942895414130/8448186793120708643121145\ 99340135372933*c_1001_3^19 - 29039214643555973476855510661973252865\ 459/844818679312070864312114599340135372933*c_1001_3^18 + 15339442160355975334377683481798984791711/8448186793120708643121145\ 99340135372933*c_1001_3^17 - 72095387076156009978751683167891900094\ 170/844818679312070864312114599340135372933*c_1001_3^16 + 26570332323461301625806015003540857481875/8448186793120708643121145\ 99340135372933*c_1001_3^15 - 14804375088673709920053333124976207924\ 186/844818679312070864312114599340135372933*c_1001_3^14 - 109065166350946695075391340971982529592357/844818679312070864312114\ 599340135372933*c_1001_3^13 + 6992524446986214306199785312845826070\ 2939/844818679312070864312114599340135372933*c_1001_3^12 - 166650136195110087234962340754105255373023/844818679312070864312114\ 599340135372933*c_1001_3^11 + 8927715543091736537326965308734318900\ 3085/844818679312070864312114599340135372933*c_1001_3^10 - 119964067502870682851843922571032479134887/844818679312070864312114\ 599340135372933*c_1001_3^9 + 85826822856772557079462706047102852356\ 946/844818679312070864312114599340135372933*c_1001_3^8 - 77038789393395447403085009166160197418390/8448186793120708643121145\ 99340135372933*c_1001_3^7 + 699720419065104948799961217642797126012\ 3/844818679312070864312114599340135372933*c_1001_3^6 - 22750409523442927780645991779116703843355/8448186793120708643121145\ 99340135372933*c_1001_3^5 + 745040332321731434840927488669355112516\ 6/844818679312070864312114599340135372933*c_1001_3^4 - 15832416302390408129151870632575744357232/8448186793120708643121145\ 99340135372933*c_1001_3^3 + 126276024306544604837313002880006472062\ 96/844818679312070864312114599340135372933*c_1001_3^2 - 2966434338141035316243132387333408678403/84481867931207086431211459\ 9340135372933*c_1001_3 + 1075954234585288155509234298614090974260/8\ 44818679312070864312114599340135372933, c_0101_1 - 184001795303037519250410621742225696928/84481867931207086431\ 2114599340135372933*c_1001_3^27 - 848336364352383163302849129195814\ 356183/844818679312070864312114599340135372933*c_1001_3^26 - 3067086926133589545919921247152153481771/84481867931207086431211459\ 9340135372933*c_1001_3^25 - 377197604238857238223930664947645288653\ 5/844818679312070864312114599340135372933*c_1001_3^24 - 7416429441703554911556844043425179537988/84481867931207086431211459\ 9340135372933*c_1001_3^23 - 179112285821111397492773669118753297615\ 89/844818679312070864312114599340135372933*c_1001_3^22 - 37634782227563413249843777284665585560913/8448186793120708643121145\ 99340135372933*c_1001_3^21 - 62138185578864689175913500417237232896\ 753/844818679312070864312114599340135372933*c_1001_3^20 - 63703751784848590451103003557112948379390/8448186793120708643121145\ 99340135372933*c_1001_3^19 - 11508739225678966144377998564786230191\ 8968/844818679312070864312114599340135372933*c_1001_3^18 - 141601525998606130779219249432427245455943/844818679312070864312114\ 599340135372933*c_1001_3^17 - 1774556034998341598504898808324257587\ 34869/844818679312070864312114599340135372933*c_1001_3^16 - 246514390554495211015663424483815616513638/844818679312070864312114\ 599340135372933*c_1001_3^15 - 1326659591492681072713670697503754096\ 99250/844818679312070864312114599340135372933*c_1001_3^14 - 143507019798482167340628860463094630439514/844818679312070864312114\ 599340135372933*c_1001_3^13 - 1089769028643328236864815105859693706\ 01814/844818679312070864312114599340135372933*c_1001_3^12 - 32793416792113194420892582976176024378917/8448186793120708643121145\ 99340135372933*c_1001_3^11 - 13551500434103587315419049250599700214\ 2961/844818679312070864312114599340135372933*c_1001_3^10 - 45016421553354800961832386827403117793635/8448186793120708643121145\ 99340135372933*c_1001_3^9 - 114793761457221961038243492558663550306\ 241/844818679312070864312114599340135372933*c_1001_3^8 + 22944472147892555461678330825843636864276/8448186793120708643121145\ 99340135372933*c_1001_3^7 - 281566993437455629289985207964978815200\ 52/844818679312070864312114599340135372933*c_1001_3^6 + 10039370403301799805087911685291948427256/8448186793120708643121145\ 99340135372933*c_1001_3^5 + 214065101752602933072379780072526357743\ 6/844818679312070864312114599340135372933*c_1001_3^4 + 4022977894754042985751027148117657870187/84481867931207086431211459\ 9340135372933*c_1001_3^3 - 8537195550467389104286019779005372163829\ /844818679312070864312114599340135372933*c_1001_3^2 + 4381349388760659633245181479331171224904/84481867931207086431211459\ 9340135372933*c_1001_3 - 1755777636606169791669151283875834066959/8\ 44818679312070864312114599340135372933, c_0101_10 - 216951097656480298131053863954960573938/8448186793120708643\ 12114599340135372933*c_1001_3^27 - 626171931012867185437502738769998112384/844818679312070864312114599\ 340135372933*c_1001_3^26 - 2483458947616332920475838621038198870436\ /844818679312070864312114599340135372933*c_1001_3^25 - 2120704751711376855985238281401520034/84481867931207086431211459934\ 0135372933*c_1001_3^24 - 8103721496032123309905114952010906340973/8\ 44818679312070864312114599340135372933*c_1001_3^23 - 7041482001709896187499137050792789814588/84481867931207086431211459\ 9340135372933*c_1001_3^22 - 302722440303799097827914398075146540963\ 07/844818679312070864312114599340135372933*c_1001_3^21 - 19089410788913156223716788564194742747865/8448186793120708643121145\ 99340135372933*c_1001_3^20 - 34510666391675263483455832703803351985\ 804/844818679312070864312114599340135372933*c_1001_3^19 - 70468760178589429662567095117985333122212/8448186793120708643121145\ 99340135372933*c_1001_3^18 - 36598669342147476590340989535331568518\ 116/844818679312070864312114599340135372933*c_1001_3^17 - 128634186731129407807743302723310652349504/844818679312070864312114\ 599340135372933*c_1001_3^16 - 5821355666470851452635320669663974242\ 7601/844818679312070864312114599340135372933*c_1001_3^15 - 24705804811897271003765831977005663522872/8448186793120708643121145\ 99340135372933*c_1001_3^14 - 11043793604054832613461400379693605551\ 7139/844818679312070864312114599340135372933*c_1001_3^13 + 67199850917168350862054963054191167131909/8448186793120708643121145\ 99340135372933*c_1001_3^12 - 13241616285173505386939000323232173059\ 6925/844818679312070864312114599340135372933*c_1001_3^11 + 51021656565129381204372131624763569874788/8448186793120708643121145\ 99340135372933*c_1001_3^10 - 11407086970822380085628554118814741615\ 0261/844818679312070864312114599340135372933*c_1001_3^9 + 48745544896317122962313969343174160057210/8448186793120708643121145\ 99340135372933*c_1001_3^8 - 321291683642105645255748581455837760785\ 05/844818679312070864312114599340135372933*c_1001_3^7 + 13378469783948481515804370954863615967430/8448186793120708643121145\ 99340135372933*c_1001_3^6 - 580675749015830783530178283313436403248\ 8/844818679312070864312114599340135372933*c_1001_3^5 + 10406529244821886231995212698300213381609/8448186793120708643121145\ 99340135372933*c_1001_3^4 - 108242372368109393307357781879018892226\ 80/844818679312070864312114599340135372933*c_1001_3^3 + 6405495376790382631351331439901066950593/84481867931207086431211459\ 9340135372933*c_1001_3^2 - 2061733980554719287240908554303333244100\ /844818679312070864312114599340135372933*c_1001_3 + 522527370804197198323222661726202299468/844818679312070864312114599\ 340135372933, c_0101_11 + 732285086934478333554883467559056990906/8448186793120708643\ 12114599340135372933*c_1001_3^27 + 2327668465087090380693897152961998239199/84481867931207086431211459\ 9340135372933*c_1001_3^26 + 895785135127914499450088269909832573231\ 2/844818679312070864312114599340135372933*c_1001_3^25 + 2288382901418946702437054518978930963652/84481867931207086431211459\ 9340135372933*c_1001_3^24 + 266943333556121931600975222890812015816\ 90/844818679312070864312114599340135372933*c_1001_3^23 + 31076344386424490637272229513200888497995/8448186793120708643121145\ 99340135372933*c_1001_3^22 + 10694262775348447020050182214974796858\ 7660/844818679312070864312114599340135372933*c_1001_3^21 + 90556940337346970622724266093275989683225/8448186793120708643121145\ 99340135372933*c_1001_3^20 + 12612379356705155029940917366000559895\ 2088/844818679312070864312114599340135372933*c_1001_3^19 + 258616001251071435213174242874720726324613/844818679312070864312114\ 599340135372933*c_1001_3^18 + 1744705206135192762740993945676098676\ 74138/844818679312070864312114599340135372933*c_1001_3^17 + 437964103996340750899826645168348499433209/844818679312070864312114\ 599340135372933*c_1001_3^16 + 2870649462866023588284699064515770863\ 63697/844818679312070864312114599340135372933*c_1001_3^15 + 84834261916108687474963092829063463681049/8448186793120708643121145\ 99340135372933*c_1001_3^14 + 33206113260121602177194137058983034861\ 6647/844818679312070864312114599340135372933*c_1001_3^13 - 175099537130868599089024368095350293513720/844818679312070864312114\ 599340135372933*c_1001_3^12 + 3089957488483346100450422789489578526\ 97862/844818679312070864312114599340135372933*c_1001_3^11 - 84039347031812299358936747210074782648567/8448186793120708643121145\ 99340135372933*c_1001_3^10 + 28809016979318038102385225374644865514\ 7213/844818679312070864312114599340135372933*c_1001_3^9 - 84857978963635079133671422326706849822807/8448186793120708643121145\ 99340135372933*c_1001_3^8 + 290694853580467978854831091990371813803\ 25/844818679312070864312114599340135372933*c_1001_3^7 - 43393803120120679781125564193612102715264/8448186793120708643121145\ 99340135372933*c_1001_3^6 - 659329739791770163421167116805057506087\ 3/844818679312070864312114599340135372933*c_1001_3^5 - 43245072432350932509700265613055173367251/8448186793120708643121145\ 99340135372933*c_1001_3^4 + 238176374621960205631484735213506054307\ 23/844818679312070864312114599340135372933*c_1001_3^3 - 8556031236542511544864298568255240002341/84481867931207086431211459\ 9340135372933*c_1001_3^2 + 2101826994529456988508916522128135016331\ /844818679312070864312114599340135372933*c_1001_3 + 38549717300535946779210388478827125413/8448186793120708643121145993\ 40135372933, c_0101_5 - 392910022290161748149649539423773767757/84481867931207086431\ 2114599340135372933*c_1001_3^27 - 110195413916432810989183897268688\ 3902454/844818679312070864312114599340135372933*c_1001_3^26 - 4418940778890658691574158894403579420735/84481867931207086431211459\ 9340135372933*c_1001_3^25 + 304313177753574031120667961720570875219\ /844818679312070864312114599340135372933*c_1001_3^24 - 14896672290678434300147155661737275977607/8448186793120708643121145\ 99340135372933*c_1001_3^23 - 11799771258334014395550063844487841581\ 438/844818679312070864312114599340135372933*c_1001_3^22 - 54406497720818467031699894041797155038252/8448186793120708643121145\ 99340135372933*c_1001_3^21 - 31341120073619637417370494135925732136\ 910/844818679312070864312114599340135372933*c_1001_3^20 - 62543897666478849077606427230979014578318/8448186793120708643121145\ 99340135372933*c_1001_3^19 - 12681007910763062522442382299805028872\ 1777/844818679312070864312114599340135372933*c_1001_3^18 - 61093228727761054074914280545449995212733/8448186793120708643121145\ 99340135372933*c_1001_3^17 - 23661062933033578872355011899032415959\ 9785/844818679312070864312114599340135372933*c_1001_3^16 - 97093859999566344147799340551798871027095/8448186793120708643121145\ 99340135372933*c_1001_3^15 - 50687409285547308582176519122327029522\ 922/844818679312070864312114599340135372933*c_1001_3^14 - 214447078209321133108003950471417761959427/844818679312070864312114\ 599340135372933*c_1001_3^13 + 1253877712695490437309107124067563917\ 41031/844818679312070864312114599340135372933*c_1001_3^12 - 263515216279970528236977332754851523686342/844818679312070864312114\ 599340135372933*c_1001_3^11 + 1029617553130376686074011136327395090\ 56168/844818679312070864312114599340135372933*c_1001_3^10 - 219190259371947016744533306284660141006782/844818679312070864312114\ 599340135372933*c_1001_3^9 + 99061227236025362118507554350494994888\ 176/844818679312070864312114599340135372933*c_1001_3^8 - 71752434394966618148273176513806494264776/8448186793120708643121145\ 99340135372933*c_1001_3^7 + 241376890866037741842199254725436209177\ 68/844818679312070864312114599340135372933*c_1001_3^6 - 15084002516896856365070292541518331312097/8448186793120708643121145\ 99340135372933*c_1001_3^5 + 168850101775989127464633786253129393956\ 34/844818679312070864312114599340135372933*c_1001_3^4 - 21272078138946836939647404622157500676885/8448186793120708643121145\ 99340135372933*c_1001_3^3 + 136868460168280252727605566919939152218\ 05/844818679312070864312114599340135372933*c_1001_3^2 - 4416289539042529070943198546444133198327/84481867931207086431211459\ 9340135372933*c_1001_3 + 1216058574986784510673389883761307001059/8\ 44818679312070864312114599340135372933, c_0101_8 - 347716534993772760340310684244492108813/84481867931207086431\ 2114599340135372933*c_1001_3^27 - 117713686277644572585270025639378\ 3670016/844818679312070864312114599340135372933*c_1001_3^26 - 4508660170914398915259873496914586773693/84481867931207086431211459\ 9340135372933*c_1001_3^25 - 209772164443453725780139627994104289225\ 7/844818679312070864312114599340135372933*c_1001_3^24 - 13405296731687849535102555975361035588154/8448186793120708643121145\ 99340135372933*c_1001_3^23 - 18136707978483722786497799107934875360\ 250/844818679312070864312114599340135372933*c_1001_3^22 - 55341238104590913851600710767735755240368/8448186793120708643121145\ 99340135372933*c_1001_3^21 - 56579614775902797105773332880111151890\ 397/844818679312070864312114599340135372933*c_1001_3^20 - 75912546464579189773252922034355068673070/8448186793120708643121145\ 99340135372933*c_1001_3^19 - 14710802994864254226510700823247004909\ 7614/844818679312070864312114599340135372933*c_1001_3^18 - 123653709773092435130691424993408660264687/844818679312070864312114\ 599340135372933*c_1001_3^17 - 2483471325540961602043812639246479062\ 49918/844818679312070864312114599340135372933*c_1001_3^16 - 210342078892776024856069941730007366479141/844818679312070864312114\ 599340135372933*c_1001_3^15 - 1106979068682208001220962772051939619\ 21975/844818679312070864312114599340135372933*c_1001_3^14 - 218355986484530516262349856831113174648587/844818679312070864312114\ 599340135372933*c_1001_3^13 + 3400849210606412014908040839273659255\ 229/844818679312070864312114599340135372933*c_1001_3^12 - 171681702356873793145429961245609919715168/844818679312070864312114\ 599340135372933*c_1001_3^11 - 2257674545216834258208766208991684512\ 2081/844818679312070864312114599340135372933*c_1001_3^10 - 156647871428705592775538065540650595849604/844818679312070864312114\ 599340135372933*c_1001_3^9 - 11721715881990044096356161001384433314\ 084/844818679312070864312114599340135372933*c_1001_3^8 - 29876403092897777131631733904563003790593/8448186793120708643121145\ 99340135372933*c_1001_3^7 - 582907418215010312772446166698158372714\ 5/844818679312070864312114599340135372933*c_1001_3^6 - 3440763093296585770719914772917295583658/84481867931207086431211459\ 9340135372933*c_1001_3^5 + 1412227415919256775446179101852842863307\ 2/844818679312070864312114599340135372933*c_1001_3^4 - 9271615451583980178719010551461043638577/84481867931207086431211459\ 9340135372933*c_1001_3^3 + 44815665827279201707439990796660170870/8\ 44818679312070864312114599340135372933*c_1001_3^2 + 856384874654026153556337715618322249861/844818679312070864312114599\ 340135372933*c_1001_3 - 781931112193531275181558844723320726418/844\ 818679312070864312114599340135372933, c_1001_3^28 + 3*c_1001_3^27 + 12*c_1001_3^26 + 2*c_1001_3^25 + 40*c_1001_3^24 + 37*c_1001_3^23 + 151*c_1001_3^22 + 112*c_1001_3^21 + 200*c_1001_3^20 + 365*c_1001_3^19 + 237*c_1001_3^18 + 680*c_1001_3^17 + 373*c_1001_3^16 + 261*c_1001_3^15 + 579*c_1001_3^14 - 255*c_1001_3^13 + 648*c_1001_3^12 - 245*c_1001_3^11 + 589*c_1001_3^10 - 211*c_1001_3^9 + 213*c_1001_3^8 - 93*c_1001_3^7 + 29*c_1001_3^6 - 64*c_1001_3^5 + 46*c_1001_3^4 - 32*c_1001_3^3 + 16*c_1001_3^2 - 4*c_1001_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.740 Total time: 0.950 seconds, Total memory usage: 32.09MB