Magma V2.19-8 Tue Aug 20 2013 23:38:47 on localhost [Seed = 3170556151] Type ? for help. Type -D to quit. Loading file "K12n168__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n168 geometric_solution 10.07586097 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 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 1 -1 0 0 -1 1 8 0 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.029076881313 0.725234850090 0 5 6 3 0132 0132 0132 0132 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 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.064717214818 1.147623501296 7 0 4 5 0132 0132 2103 0213 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 -1 1 0 0 0 0 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.228970049000 0.721587571702 8 9 1 0 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 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.283629082902 1.043946649135 2 10 0 6 2103 0132 0132 0132 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 -1 1 0 1 0 -1 0 0 0 0 0 -9 1 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.151696178116 0.889685419657 7 1 10 2 1023 0132 1023 0213 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 9 -8 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.613411992239 0.955817048259 7 7 4 1 3120 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.357547539760 0.672168837220 2 5 6 6 0132 1023 0213 3120 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 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.989678590085 0.981848016344 3 9 9 10 0132 3012 2031 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 0 0 0 1 0 -1 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.304177604664 0.719610541090 8 3 10 8 1230 0132 1230 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.568211918838 0.445749819192 8 4 5 9 3120 0132 1023 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.446890580408 0.651240736903 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_10' : d['c_0101_5'], 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : negation(d['c_0011_10']), 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_10'], 'c_1001_2' : negation(d['c_0011_10']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_3'], 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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_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_1100_9' : d['c_0101_0'], 'c_1100_8' : negation(d['c_0101_10']), 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0101_6']), 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_6']), 'c_1100_10' : negation(d['c_1001_0']), 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_10'], 'c_1010_0' : negation(d['c_0011_10']), 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : negation(d['c_0011_10']), 's_3_1' : negation(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'], '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_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), '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_10' : d['c_0101_0'], 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_0'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_3']), 'c_0110_8' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_6'], '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 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_5, c_0101_6, c_1001_0, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 4136392831150189943730380213710625299284528402520248547817165174717\ 52997/1028262115233178915463471618278571303692985466821123819923528\ 305*c_1100_0^23 + 3987804578469518726523454249639689985643154521065\ 985250696255102160258951/205652423046635783092694323655714260738597\ 0933642247639847056610*c_1100_0^22 - 4301309833477466818033343155942347294811174847306597585012866970429\ 15101/5875783515618165231219837818734693163959916953263564685277304\ 6*c_1100_0^21 + 386292509253858757099503113153082641005533122954175\ 40237124432937648977599/2056524230466357830926943236557142607385970\ 933642247639847056610*c_1100_0^20 - 3688820006075798651185996333568142989080264222055496194700139948462\ 2499886/10282621152331789154634716182785713036929854668211238199235\ 28305*c_1100_0^19 + 51023043812634021861572054986411912488114210421\ 350128048583802771949815979/102826211523317891546347161827857130369\ 2985466821123819923528305*c_1100_0^18 - 9213109686798257110850383901841635312455327092216076872751187629535\ 3594131/20565242304663578309269432365571426073859709336422476398470\ 56610*c_1100_0^17 + 51221700212053600353873951240706966882641632441\ 82450596165734454925166109/2937891757809082615609918909367346581979\ 95847663178234263865230*c_1100_0^16 + 9631454516152254949987059750692462628430118254666126591905513312440\ 74069/4196988225441546593728455584810495117114226395188260489483789\ 0*c_1100_0^15 - 487055119537471979102313073511218676885537615107199\ 74615963894078352659679/1028262115233178915463471618278571303692985\ 466821123819923528305*c_1100_0^14 + 1777159469160844312326086709742051720218632875049866480261924781548\ 1939537/41130484609327156618538864731142852147719418672844952796941\ 1322*c_1100_0^13 - 210301079989195765170684948296045373899200615982\ 74231823192456852371482131/1028262115233178915463471618278571303692\ 985466821123819923528305*c_1100_0^12 - 4623901670505662841268877950999307672910288974879527821639206178923\ 621009/102826211523317891546347161827857130369298546682112381992352\ 8305*c_1100_0^11 + 171484101232556907247724381431111768370947760260\ 6758745628057212190339047/20565242304663578309269432365571426073859\ 7093364224763984705661*c_1100_0^10 - 3768932047151843308285915647792606116371562560240716716025367379420\ 81021/4570053845480795179837651636793650238635490963649439199660125\ 8*c_1100_0^9 - 1169086127293426942623871410293319253411751675291291\ 507203790172771262331/102826211523317891546347161827857130369298546\ 6821123819923528305*c_1100_0^8 - 5864219838583170298622365793891324\ 44610644955441608179552264947095984261/2056524230466357830926943236\ 557142607385970933642247639847056610*c_1100_0^7 - 3013388472142888358710425011570088853298714349893257412046264451935\ 1561/17882819395359633312408202057018631368573660292541283824757014\ *c_1100_0^6 - 25605730557932708358469083036733809205314419109768777\ 8924679506234479954/34275403841105963848782387275952376789766182227\ 3707939974509435*c_1100_0^5 - 2414842396841807489755663303602716793\ 40185709333745806841087280799375492/1028262115233178915463471618278\ 571303692985466821123819923528305*c_1100_0^4 - 8298894197187358942282995816281444253601367488442048814787125339103\ 0007/34275403841105963848782387275952376789766182227370793997450943\ 5*c_1100_0^3 - 1290244118696667117918544964813505766708171117696368\ 7304699340895455676/11425134613701987949594129091984125596588727409\ 1235979991503145*c_1100_0^2 - 2778919440277216947783813964751593178\ 0707883934205352982185125999448129/10282621152331789154634716182785\ 71303692985466821123819923528305*c_1100_0 - 4888292012216998151242533092671809293671096629802335388458705403626\ 869/205652423046635783092694323655714260738597093364224763984705661\ 0, c_0011_0 - 1, c_0011_10 + c_1100_0, c_0011_3 - 132828297415936223443942966693416930645941964921082149328750\ 0186/993489966408868517356011225389923964920758905141182434708723*c\ _1100_0^23 + 631738682127522863306359747191800789105987606217115269\ 6513245672/99348996640886851735601122538992396492075890514118243470\ 8723*c_1100_0^22 - 237373317567818807847813543494752470835615173059\ 05595607566370310/9934899664088685173560112253899239649207589051411\ 82434708723*c_1100_0^21 + 60356492129045320590734610230667879832908\ 605683496589651226739948/993489966408868517356011225389923964920758\ 905141182434708723*c_1100_0^20 - 1140396218633066384883504723782796\ 05766253748795019094680509730113/9934899664088685173560112253899239\ 64920758905141182434708723*c_1100_0^19 + 155111150069717831966948919080037249363953782270764919653221477216/\ 993489966408868517356011225389923964920758905141182434708723*c_1100\ _0^18 - 13521385509875619173818535261426692612813135763803725993629\ 3197862/99348996640886851735601122538992396492075890514118243470872\ 3*c_1100_0^17 + 449581307306481046172933300423681275835290620069337\ 14130709247823/9934899664088685173560112253899239649207589051411824\ 34708723*c_1100_0^16 + 82431796410654707693299662915917484286455027\ 351672528049320169403/993489966408868517356011225389923964920758905\ 141182434708723*c_1100_0^15 - 2184454389702092716714416079815850377\ 9399429661772268371735441150/14192713805840978819371588934141770927\ 4394129305883204958389*c_1100_0^14 + 131478367967527130174968218655664243857311526156703516207368388198/\ 993489966408868517356011225389923964920758905141182434708723*c_1100\ _0^13 - 79243970747746991287671086258481688397781726227151539416678\ 15301/141927138058409788193715889341417709274394129305883204958389*\ c_1100_0^12 - 22091289487408183315812215057143866937845247353881038\ 332634333772/993489966408868517356011225389923964920758905141182434\ 708723*c_1100_0^11 + 2816705809506228123122876290326065399056593358\ 2430178504789443835/99348996640886851735601122538992396492075890514\ 1182434708723*c_1100_0^10 - 282383115438450391136211211760434285824\ 8341274780174778703641026/11038777404542983526177902504332488499119\ 5433904575826078747*c_1100_0^9 - 6037516876544883905435463602616981\ 501287463337071075346787066876/993489966408868517356011225389923964\ 920758905141182434708723*c_1100_0^8 - 594378892416074202082554156343376397523513915277598329438923151/993\ 489966408868517356011225389923964920758905141182434708723*c_1100_0^\ 7 - 566996297147022480549934242734455680556823915675908174187777772\ 5/993489966408868517356011225389923964920758905141182434708723*c_11\ 00_0^6 - 1335692105169548609792541004694808207784877225003169603928\ 76761/47309046019469929397905296447139236424798043101961068319463*c\ _1100_0^5 - 1188465327203450726898632009020224618633529362575972923\ 15927048/1419271380584097881937158893414177092743941293058832049583\ 89*c_1100_0^4 - 275329873842043112182197577822774298278907279932412\ 339607020483/331163322136289505785337075129974654973586301713727478\ 236241*c_1100_0^3 - 46099338102544991725533056761563561412597346639\ 071273576063048/110387774045429835261779025043324884991195433904575\ 826078747*c_1100_0^2 - 99177294384427926351016108478983488006784502\ 746285994386305515/993489966408868517356011225389923964920758905141\ 182434708723*c_1100_0 - 9312677990968464700375700601655846514650088\ 626892583933690622/993489966408868517356011225389923964920758905141\ 182434708723, c_0011_6 + 167667093488395061984330144539712358710067455067168104015144\ 45/993489966408868517356011225389923964920758905141182434708723*c_1\ 100_0^23 - 73544998434940105398873755252357685157875221707774060786\ 845496/993489966408868517356011225389923964920758905141182434708723\ *c_1100_0^22 + 2713389834265566099056720014675291918379623091354644\ 79974668740/9934899664088685173560112253899239649207589051411824347\ 08723*c_1100_0^21 - 65883413239483891242313292492299788233417374608\ 9082770438800986/99348996640886851735601122538992396492075890514118\ 2434708723*c_1100_0^20 + 118766705370379255760721634695897557492494\ 4976105963992930305810/99348996640886851735601122538992396492075890\ 5141182434708723*c_1100_0^19 - 151078350257358104020460784903662003\ 2800973666620108935163625126/99348996640886851735601122538992396492\ 0758905141182434708723*c_1100_0^18 + 1157333578464861069987018143112003002712868918410168893281652923/99\ 3489966408868517356011225389923964920758905141182434708723*c_1100_0\ ^17 - 1994526327252449839571600192055476841737714955538855292895418\ 82/993489966408868517356011225389923964920758905141182434708723*c_1\ 100_0^16 - 98176720690276231059767265164819766937923140435096050620\ 2993290/99348996640886851735601122538992396492075890514118243470872\ 3*c_1100_0^15 + 201051952693494131247663516562628393806630239058091\ 903116546153/141927138058409788193715889341417709274394129305883204\ 958389*c_1100_0^14 - 1018105159780496503459455600843531140540137357\ 271283494543168410/993489966408868517356011225389923964920758905141\ 182434708723*c_1100_0^13 + 4642624004761896468047657126820175419459\ 5218017627923973031921/14192713805840978819371588934141770927439412\ 9305883204958389*c_1100_0^12 + 300409343742432324934253177655687962\ 353738000102240982176556419/993489966408868517356011225389923964920\ 758905141182434708723*c_1100_0^11 - 129220908307416939580933348894169533732726685049814868721818005/993\ 489966408868517356011225389923964920758905141182434708723*c_1100_0^\ 10 + 20481630421923443368891115337489616830607307317085208982443829\ /110387774045429835261779025043324884991195433904575826078747*c_110\ 0_0^9 + 14613137804507643211379649393999582890727585841832375849940\ 6607/993489966408868517356011225389923964920758905141182434708723*c\ _1100_0^8 + 5337020758301125585064174389055909195353738329536918836\ 1936233/99348996640886851735601122538992396492075890514118243470872\ 3*c_1100_0^7 + 6478534650152686742183773005578100728832694134818006\ 6618024815/99348996640886851735601122538992396492075890514118243470\ 8723*c_1100_0^6 + 2242028929940171966195285490059004961147164780580\ 053621523595/473090460194699293979052964471392364247980431019610683\ 19463*c_1100_0^5 + 287879409617792048164534589711780721918797803648\ 3992301245338/14192713805840978819371588934141770927439412930588320\ 4958389*c_1100_0^4 + 3102942543717510995414469547531861454333924991\ 763714389823795/331163322136289505785337075129974654973586301713727\ 478236241*c_1100_0^3 + 53340182244910260230479147681259401550224557\ 1907537176805240/11038777404542983526177902504332488499119543390457\ 5826078747*c_1100_0^2 + 2503518134658432236769716270564688107788287\ 949910661080525263/993489966408868517356011225389923964920758905141\ 182434708723*c_1100_0 - 3212704836322970088073395626165153823465697\ 73525836760042959/9934899664088685173560112253899239649207589051411\ 82434708723, c_0101_0 - 747833328317296941354282404576283154690694283833005751941084\ 6/110387774045429835261779025043324884991195433904575826078747*c_11\ 00_0^23 + 335296731911955415679012184075650206794935519486271691785\ 19976/110387774045429835261779025043324884991195433904575826078747*\ c_1100_0^22 - 12393726421017522615859336395722964305170255442886838\ 0810924099/11038777404542983526177902504332488499119543390457582607\ 8747*c_1100_0^21 + 303490475585700110804807932853624537410563693294\ 715709025126893/110387774045429835261779025043324884991195433904575\ 826078747*c_1100_0^20 - 5500186336665153312121326889154664957512405\ 15316974682545640257/1103877740454298352617790250433248849911954339\ 04575826078747*c_1100_0^19 + 70065704812129290440628744576041379328\ 9586480012241323894848526/11038777404542983526177902504332488499119\ 5433904575826078747*c_1100_0^18 - 529592136828608474422194851111210\ 655158268023149678390346516381/110387774045429835261779025043324884\ 991195433904575826078747*c_1100_0^17 + 57615026613693409857651890561588852770406653642052132686633258/1103\ 87774045429835261779025043324884991195433904575826078747*c_1100_0^1\ 6 + 517498785127889269596016445124601317216696754276050090454353467\ /110387774045429835261779025043324884991195433904575826078747*c_110\ 0_0^15 - 1033388433185790866751017516474820272632087721658311862500\ 62814/15769682006489976465968432149046412141599347700653689439821*c\ _1100_0^14 + 507253416008765270086778483840727614573424481897226748\ 514363847/110387774045429835261779025043324884991195433904575826078\ 747*c_1100_0^13 - 1802508581110852011866090676978219925539693538896\ 1862936118290/15769682006489976465968432149046412141599347700653689\ 439821*c_1100_0^12 - 1898521452073369441288080415700865179566352606\ 08262515467220814/1103877740454298352617790250433248849911954339045\ 75826078747*c_1100_0^11 + 11408758981761712408274601785692664441796\ 6152192042022895888118/11038777404542983526177902504332488499119543\ 3904575826078747*c_1100_0^10 - 336256341814757196739449054704141310\ 09478382312321842544284794/3679592468180994508725967501444162833039\ 8477968191942026249*c_1100_0^9 - 6526713698212292188730659886226117\ 8888348970611158317921211901/11038777404542983526177902504332488499\ 1195433904575826078747*c_1100_0^8 - 17384272698811573280337755070420730291338425236182192954636629/1103\ 87774045429835261779025043324884991195433904575826078747*c_1100_0^7 - 32056791876752872542511226770469976405806505060402815637024962/11\ 0387774045429835261779025043324884991195433904575826078747*c_1100_0\ ^6 - 1098744714485376299091318638525658692067374941985913156193749/\ 5256560668829992155322810716348804047199782566884563146607*c_1100_0\ ^5 - 1385681505521753123858192832227886776992743103620178492643953/\ 15769682006489976465968432149046412141599347700653689439821*c_1100_\ 0^4 - 2037040000975199871802171795949693717403151020277673779207508\ /36795924681809945087259675014441628330398477968191942026249*c_1100\ _0^3 - 113090776779585177681978296478738852109075159600726445125996\ 1/36795924681809945087259675014441628330398477968191942026249*c_110\ 0_0^2 - 13169998707379217319932740269030792399007569305817374799520\ 28/110387774045429835261779025043324884991195433904575826078747*c_1\ 100_0 - 21676956584558586160658080983546851766751309129990687223724\ 4/110387774045429835261779025043324884991195433904575826078747, c_0101_1 + 194757097731400518735804971228039594065729108789793211867764\ 8717/993489966408868517356011225389923964920758905141182434708723*c\ _1100_0^23 - 935056504057786140338195872394747085396373363266944640\ 6883376402/99348996640886851735601122538992396492075890514118243470\ 8723*c_1100_0^22 + 352486352581896796002590447941854934866198323164\ 41758988582692188/9934899664088685173560112253899239649207589051411\ 82434708723*c_1100_0^21 - 90199333761574429541574095302032684160409\ 442261015305253550060433/993489966408868517356011225389923964920758\ 905141182434708723*c_1100_0^20 + 1717080853290838433348110503235377\ 17535608846252026494647807160275/9934899664088685173560112253899239\ 64920758905141182434708723*c_1100_0^19 - 236306536595840005502170286379921623774260343868105782163968528792/\ 993489966408868517356011225389923964920758905141182434708723*c_1100\ _0^18 + 21113041010195472657869265184009801920687937787290173033002\ 8165778/99348996640886851735601122538992396492075890514118243470872\ 3*c_1100_0^17 - 786171112981451434675635933889112838985297501596664\ 43018493264574/9934899664088685173560112253899239649207589051411824\ 34708723*c_1100_0^16 - 11426136961179556259420762518993713693983689\ 9130861305539866737091/99348996640886851735601122538992396492075890\ 5141182434708723*c_1100_0^15 + 325550226371143799118457997128419348\ 01798578087365416062275964335/1419271380584097881937158893414177092\ 74394129305883204958389*c_1100_0^14 - 204142352864731818793287033859209941251492243369253033817541212575/\ 993489966408868517356011225389923964920758905141182434708723*c_1100\ _0^13 + 19069657467001783003184943353776932359009376227679971844596\ 09864/20275305436915684027673698477345387039199161329411886422627*c\ _1100_0^12 + 252201102465812418728543344072666320998218741449945973\ 80831326357/9934899664088685173560112253899239649207589051411824347\ 08723*c_1100_0^11 - 40777767556828514281193535024821018168097119027\ 112297085517145299/993489966408868517356011225389923964920758905141\ 182434708723*c_1100_0^10 + 4342269722287297312059284975126384075681\ 267033358423174907172861/110387774045429835261779025043324884991195\ 433904575826078747*c_1100_0^9 + 65928417934997702310949255299818049\ 78196383530621112307178940638/9934899664088685173560112253899239649\ 20758905141182434708723*c_1100_0^8 + 1146658173486011578633959111680141321858165034074622837378534053/99\ 3489966408868517356011225389923964920758905141182434708723*c_1100_0\ ^7 + 82040143016659984367804154073750887018530006478231691823753553\ 41/993489966408868517356011225389923964920758905141182434708723*c_1\ 100_0^6 + 179687952006399367227202777916582062435970087680042462011\ 132013/47309046019469929397905296447139236424798043101961068319463*\ c_1100_0^5 + 163625017890136018490769321551442216258326738274684396\ 321015262/141927138058409788193715889341417709274394129305883204958\ 389*c_1100_0^4 + 39503207551105640301074817901947107467397292882608\ 5095484109651/33116332213628950578533707512997465497358630171372747\ 8236241*c_1100_0^3 + 6277381521559775843182835677978682410436586355\ 8459108536734567/11038777404542983526177902504332488499119543390457\ 5826078747*c_1100_0^2 + 1349883068246776419249625285323045818094349\ 38637276515176886680/9934899664088685173560112253899239649207589051\ 41182434708723*c_1100_0 + 12200750101554797095669109897758568027905\ 714925235586044242074/993489966408868517356011225389923964920758905\ 141182434708723, c_0101_10 + 95132173918677314103306700757620657579579263038339711421411\ 6130/993489966408868517356011225389923964920758905141182434708723*c\ _1100_0^23 - 456602859850945474613747700226981716657219945349936148\ 3931049199/99348996640886851735601122538992396492075890514118243470\ 8723*c_1100_0^22 + 172187362955200328925311900462429223611107169919\ 88251643804733917/9934899664088685173560112253899239649207589051411\ 82434708723*c_1100_0^21 - 44075240519521026488969273257252243474847\ 468831777564933673129188/993489966408868517356011225389923964920758\ 905141182434708723*c_1100_0^20 + 8396865613411082808006543680702765\ 3857128002106494915566529955542/99348996640886851735601122538992396\ 4920758905141182434708723*c_1100_0^19 - 115736530904793505448035208793790940047355689581634647425948124197/\ 993489966408868517356011225389923964920758905141182434708723*c_1100\ _0^18 + 10382762910744069772526337338581219092578737497972973994507\ 9354540/99348996640886851735601122538992396492075890514118243470872\ 3*c_1100_0^17 - 395256756604069044370666326172558565186529723098175\ 56971041936658/9934899664088685173560112253899239649207589051411824\ 34708723*c_1100_0^16 - 54606535701069879919630345597347822024206089\ 543774073575229236328/993489966408868517356011225389923964920758905\ 141182434708723*c_1100_0^15 + 1580405001824361833082886740631923083\ 7646270009716994755689927399/14192713805840978819371588934141770927\ 4394129305883204958389*c_1100_0^14 - 100064367136370158435014206342270834487793455566553358858911524033/\ 993489966408868517356011225389923964920758905141182434708723*c_1100\ _0^13 + 66937260100590101266328881063703469930378210459777341227569\ 89105/141927138058409788193715889341417709274394129305883204958389*\ c_1100_0^12 + 10997285538579079227578176074732518549765223934440481\ 210107853229/993489966408868517356011225389923964920758905141182434\ 708723*c_1100_0^11 - 1917980083895642566019426372483629354864920291\ 9420395224544542535/99348996640886851735601122538992396492075890514\ 1182434708723*c_1100_0^10 + 212850966123276981399203925927387315886\ 2170157176030634692972519/11038777404542983526177902504332488499119\ 5433904575826078747*c_1100_0^9 + 2849697380771145031372543414748530\ 732938026443302550471453077767/993489966408868517356011225389923964\ 920758905141182434708723*c_1100_0^8 + 897691386580663999521167003096884909909539668768707472589088403/993\ 489966408868517356011225389923964920758905141182434708723*c_1100_0^\ 7 + 395552318369810697798986582469680393969945435607838018855740699\ 8/993489966408868517356011225389923964920758905141182434708723*c_11\ 00_0^6 + 8661085165911788415982436637949604237043707800041932862508\ 4479/47309046019469929397905296447139236424798043101961068319463*c_\ 1100_0^5 + 87841440401530418942996446108445754164612317692164546095\ 121995/141927138058409788193715889341417709274394129305883204958389\ *c_1100_0^4 + 19333751406681131812006636972005842221652987581804315\ 8510995327/33116332213628950578533707512997465497358630171372747823\ 6241*c_1100_0^3 + 3070947216171738878622150283482047922903040055540\ 9655867319108/11038777404542983526177902504332488499119543390457582\ 6078747*c_1100_0^2 + 7129601742911969063303818915511103879357422975\ 2115654045396750/99348996640886851735601122538992396492075890514118\ 2434708723*c_1100_0 + 726901380183799323886156461632789877831770306\ 7714421746592297/99348996640886851735601122538992396492075890514118\ 2434708723, c_0101_5 - 125319038788816356029279684495124487081082366772370458522195\ 616/993489966408868517356011225389923964920758905141182434708723*c_\ 1100_0^23 + 6116258709542906171491510533778586219333053887967801200\ 35277041/9934899664088685173560112253899239649207589051411824347087\ 23*c_1100_0^22 - 23125659189902703945827044230864127500981452937076\ 26193836388615/9934899664088685173560112253899239649207589051411824\ 34708723*c_1100_0^21 + 59690731384505088620867635342165108064182535\ 99379784642172243768/9934899664088685173560112253899239649207589051\ 41182434708723*c_1100_0^20 - 11454641287344750835625250716407083436\ 596806021565533825106368642/993489966408868517356011225389923964920\ 758905141182434708723*c_1100_0^19 + 15947484221455488448605168064560272177711058132452076848544482627/9\ 93489966408868517356011225389923964920758905141182434708723*c_1100_\ 0^18 - 145492691795363786183566005785443307601096682394175385410268\ 24562/993489966408868517356011225389923964920758905141182434708723*\ c_1100_0^17 + 58257361643354427436773390168879677954686242407218551\ 54293494336/9934899664088685173560112253899239649207589051411824347\ 08723*c_1100_0^16 + 71889667451367988059601938254893246072429466473\ 78618339807515323/9934899664088685173560112253899239649207589051411\ 82434708723*c_1100_0^15 - 21835174522697516187021897197983513682139\ 04649954374386980268008/1419271380584097881937158893414177092743941\ 29305883204958389*c_1100_0^14 + 14094436215509289450529735587367953\ 500403183117129269352626501963/993489966408868517356011225389923964\ 920758905141182434708723*c_1100_0^13 - 965035465237941271291342689326164015549083910559857171095094124/141\ 927138058409788193715889341417709274394129305883204958389*c_1100_0^\ 12 - 13546501678323563876121311833002730795788155262348975710168070\ 14/993489966408868517356011225389923964920758905141182434708723*c_1\ 100_0^11 + 28232565528582452319051064336588527165623660533592817119\ 24935886/9934899664088685173560112253899239649207589051411824347087\ 23*c_1100_0^10 - 29615796223063940413862556117225672066219962265949\ 4510793443720/11038777404542983526177902504332488499119543390457582\ 6078747*c_1100_0^9 - 2525624566804402655887454603148296416012397856\ 04107606863510945/9934899664088685173560112253899239649207589051411\ 82434708723*c_1100_0^8 - 184092077744491749753833370442747037697243\ 59212307075465940029/9934899664088685173560112253899239649207589051\ 41182434708723*c_1100_0^7 - 512074230895408297200047123249158153861\ 120177413845755847221538/993489966408868517356011225389923964920758\ 905141182434708723*c_1100_0^6 - 94554817506506351210620738743243771\ 88190085535813351931394355/4730904601946992939790529644713923642479\ 8043101961068319463*c_1100_0^5 - 8699517168455784293971989035603615\ 852390178319529251612825444/141927138058409788193715889341417709274\ 394129305883204958389*c_1100_0^4 - 23387170744131238416127819659944061305131311539449685426173826/3311\ 63322136289505785337075129974654973586301713727478236241*c_1100_0^3 - 3518442373921522140660318980020757719386310623547317427871239/110\ 387774045429835261779025043324884991195433904575826078747*c_1100_0^\ 2 - 7409554349908113171847500597066115537418719943767113574639052/9\ 93489966408868517356011225389923964920758905141182434708723*c_1100_\ 0 - 707905504245203172608573889162741116465189240358936042791476/99\ 3489966408868517356011225389923964920758905141182434708723, c_0101_6 + 435787599914329727823372799126977665911275100856283801888414\ 7/993489966408868517356011225389923964920758905141182434708723*c_11\ 00_0^23 - 223855104225574571474334980599535173010553192126407270545\ 73165/993489966408868517356011225389923964920758905141182434708723*\ c_1100_0^22 + 86423394557927280060442382586670602628075952820524732\ 401699618/993489966408868517356011225389923964920758905141182434708\ 723*c_1100_0^21 - 2290511386740911452139816882620126787548048075646\ 13664769052683/9934899664088685173560112253899239649207589051411824\ 34708723*c_1100_0^20 + 45429978900712941508608387239573681881634708\ 6170140773652499457/99348996640886851735601122538992396492075890514\ 1182434708723*c_1100_0^19 - 657175624598148051642600170337253264948\ 213204511748279491955443/993489966408868517356011225389923964920758\ 905141182434708723*c_1100_0^18 + 6410151552888016212056512796003840\ 51485366807674153965322727949/9934899664088685173560112253899239649\ 20758905141182434708723*c_1100_0^17 - 313011723276556150777889538448140296950300650625397356549983550/993\ 489966408868517356011225389923964920758905141182434708723*c_1100_0^\ 16 - 21904233983994860756410119695306023627672369743181340506867976\ 3/993489966408868517356011225389923964920758905141182434708723*c_11\ 00_0^15 + 830562867341202677447232566745357803385176862804442567147\ 90715/141927138058409788193715889341417709274394129305883204958389*\ c_1100_0^14 - 57236185213769617433061909386564166684531352523940693\ 2030181464/99348996640886851735601122538992396492075890514118243470\ 8723*c_1100_0^13 + 573422705098106272038408785815737603373047002017\ 7264238461579/20275305436915684027673698477345387039199161329411886\ 422627*c_1100_0^12 + 2743252506769222169037111002477734464289080372\ 3774734932310981/99348996640886851735601122538992396492075890514118\ 2434708723*c_1100_0^11 - 838225528685587087054910850294136111343545\ 58666349772730084918/9934899664088685173560112253899239649207589051\ 41182434708723*c_1100_0^10 + 79999438122605700898257058764402103209\ 62525595381066506293010/1103877740454298352617790250433248849911954\ 33904575826078747*c_1100_0^9 + 363309930278474378692754309284993917\ 79369475281665843757257509/9934899664088685173560112253899239649207\ 58905141182434708723*c_1100_0^8 + 418589074118343028314722843234591\ 0780990623079334176024761019/99348996640886851735601122538992396492\ 0758905141182434708723*c_1100_0^7 + 20513174906695365730926217342493339139820242227765248655012717/9934\ 89966408868517356011225389923964920758905141182434708723*c_1100_0^6 + 818665174292476276674497765308761268344696450514391788278343/4730\ 9046019469929397905296447139236424798043101961068319463*c_1100_0^5 + 1263109624501040819000641800759951374712201056669797604600269/14192\ 7138058409788193715889341417709274394129305883204958389*c_1100_0^4 + 1636248073919668348764818581923830764653205845912541729600952/33116\ 3322136289505785337075129974654973586301713727478236241*c_1100_0^3 + 317988367832396048811295825425498746236137002353841928811321/110387\ 774045429835261779025043324884991195433904575826078747*c_1100_0^2 + 2227672880012830454723684069688290192644019875703717224128302/99348\ 9966408868517356011225389923964920758905141182434708723*c_1100_0 - 64875853914912989118680875427335363351932914041403988797411/9934899\ 66408868517356011225389923964920758905141182434708723, c_1001_0 + 772461240674466008000265099846490383251055227524194829991838\ 98/110387774045429835261779025043324884991195433904575826078747*c_1\ 100_0^23 - 37256024597987953771707186556337223500902547620825819130\ 0804785/11038777404542983526177902504332488499119543390457582607874\ 7*c_1100_0^22 + 140699508870424916158505810327660047323157073016165\ 7940738737397/11038777404542983526177902504332488499119543390457582\ 6078747*c_1100_0^21 - 361227975791440721045422610433412448123410838\ 3340266627352366994/11038777404542983526177902504332488499119543390\ 4575826078747*c_1100_0^20 + 690446756198838961649404781427841122680\ 7596584374153812582338798/11038777404542983526177902504332488499119\ 5433904575826078747*c_1100_0^19 - 956282344703171830125592838314764\ 4633562358078999100532625776293/11038777404542983526177902504332488\ 4991195433904575826078747*c_1100_0^18 + 8659232780505508369643408665415670991567904447208110740090637245/11\ 0387774045429835261779025043324884991195433904575826078747*c_1100_0\ ^17 - 3413921241572298305792123916029963557323906557654585059181355\ 875/110387774045429835261779025043324884991195433904575826078747*c_\ 1100_0^16 - 4361332218674937232937318013944434282571668157601375666\ 254066053/110387774045429835261779025043324884991195433904575826078\ 747*c_1100_0^15 + 1857552577332706640951850863752629489497258526905\ 83401953703265/2252811715212853780852633164149487448799906814379098\ 491403*c_1100_0^14 - 8359127439245410574491212683772201853273741238\ 769702700988781499/110387774045429835261779025043324884991195433904\ 575826078747*c_1100_0^13 + 5729268083471556305688889789259174228963\ 35349036548422601320268/1576968200648997646596843214904641214159934\ 7700653689439821*c_1100_0^12 + 805391249708261086480750983878712518\ 179459343129058828977076934/110387774045429835261779025043324884991\ 195433904575826078747*c_1100_0^11 - 1593100969718907274013013321293898933338136805023027434345173615/11\ 0387774045429835261779025043324884991195433904575826078747*c_1100_0\ ^10 + 5363414982189321582288270287463414166765580011553769589582959\ 46/36795924681809945087259675014441628330398477968191942026249*c_11\ 00_0^9 + 1906239510763539793321408840984767498265904579195783693285\ 16955/110387774045429835261779025043324884991195433904575826078747*\ c_1100_0^8 + 674178351375517350731729259110194216411982868793254020\ 68296856/1103877740454298352617790250433248849911954339045758260787\ 47*c_1100_0^7 + 325806713301305566483802846284912005391803884201798\ 588685624622/110387774045429835261779025043324884991195433904575826\ 078747*c_1100_0^6 + 95304614034689514615378447831718148239995643533\ 4480997114152/75093723840428459361754438804982914959996893812636616\ 3801*c_1100_0^5 + 6835175882337965044267442926199974968672557816565\ 955534845422/157696820064899764659684321490464121415993477006536894\ 39821*c_1100_0^4 + 156864814084324022259628352057421567033263941718\ 77545404990811/3679592468180994508725967501444162833039847796819194\ 2026249*c_1100_0^3 + 7234820836969045393517993749025183674561175036\ 170593657254333/367959246818099450872596750144416283303984779681919\ 42026249*c_1100_0^2 + 545117511358148804936606452180256580407937680\ 1168870543978775/11038777404542983526177902504332488499119543390457\ 5826078747*c_1100_0 + 550068900716789116738053650973398567673394934\ 455448580994640/110387774045429835261779025043324884991195433904575\ 826078747, c_1100_0^24 - 3585/779*c_1100_0^23 + 13356/779*c_1100_0^22 - 33279/779*c_1100_0^21 + 61526/779*c_1100_0^20 - 80915/779*c_1100_0^19 + 3461/41*c_1100_0^18 - 14799/779*c_1100_0^17 - 51833/779*c_1100_0^16 + 82034/779*c_1100_0^15 - 63638/779*c_1100_0^14 + 21317/779*c_1100_0^13 + 17376/779*c_1100_0^12 - 14258/779*c_1100_0^11 + 655/41*c_1100_0^10 + 5692/779*c_1100_0^9 + 1029/779*c_1100_0^8 + 3384/779*c_1100_0^7 + 2159/779*c_1100_0^6 + 770/779*c_1100_0^5 + 568/779*c_1100_0^4 + 321/779*c_1100_0^3 + 100/779*c_1100_0^2 + 16/779*c_1100_0 + 1/779 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.300 Total time: 0.520 seconds, Total memory usage: 32.09MB