Magma V2.19-8 Tue Aug 20 2013 23:41:18 on localhost [Seed = 3415060290] Type ? for help. Type -D to quit. Loading file "K12n478__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n478 geometric_solution 10.26569439 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.279604966620 0.680637633065 0 2 6 5 0132 0321 0132 0132 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 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 0.692525574971 0.464412886289 6 0 7 1 0132 0132 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 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.325309137722 1.597045600058 4 8 9 0 3201 0132 0132 0132 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 -1 0 0 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.276325864956 1.483879972889 7 10 0 3 0132 0132 0132 2310 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 -1 1 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.355277197801 0.450765517884 11 8 1 7 0132 0213 0132 0321 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.336809630379 0.795603899146 2 11 10 1 0132 3201 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -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.651724709780 0.820040187354 4 5 9 2 0132 0321 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.288828617900 0.958787114578 9 3 5 10 2310 0132 0213 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.402965233385 0.976387726093 7 11 8 3 2310 2103 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.415940110731 0.443524795978 6 4 11 8 2103 0132 2031 0213 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 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.098589482662 0.461975259492 5 9 6 10 0132 2103 2310 1302 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.791319840361 0.633500642864 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_0011_9'], 'c_1001_10' : negation(d['c_0101_0']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_9']), 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : negation(d['c_0011_9']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_1001_3']), 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0011_0'], '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' : 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_1001_2'], 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : negation(d['c_0011_9']), 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : negation(d['c_0101_9']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_9']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_0'], 'c_1100_10' : d['c_1001_3'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0011_9']), 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_1001_3'], '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' : 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' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0101_9'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_3']), 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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_0101_9'], 'c_0101_8' : negation(d['c_0011_11']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0101_9']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : negation(d['c_0101_3']), '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_3, c_0011_9, c_0101_0, c_0101_1, c_0101_3, c_0101_9, c_1001_0, c_1001_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1765259600947963588847038954529584419261317618499464947105234317149\ 03976987/1716683674659651947180378709813209406998336967304974866004\ 66490497494293014818*c_1001_3^22 - 5163228346980823963632348916673371161542213305230303221307545537679\ 44648822/8583418373298259735901893549066047034991684836524874330023\ 3245248747146507409*c_1001_3^21 + 311062185768257392744701536367588\ 334943878479151707130645862600277977003111/132052590358434765167721\ 43921640072361525668979269037430805114653653407154986*c_1001_3^20 - 7964624181069874259072250997463594592374603997670548914113024317153\ 24233197/6602629517921738258386071960820036180762834489634518715402\ 557326826703577493*c_1001_3^19 + 4760593403014050190524576886479508\ 834460397133417318306480869406725826755953/132052590358434765167721\ 43921640072361525668979269037430805114653653407154986*c_1001_3^18 - 2239092428486274805322412740092397639422498740172042699184232653695\ 06486668603/1716683674659651947180378709813209406998336967304974866\ 00466490497494293014818*c_1001_3^17 + 4783975964721216160453128497850997239972278857713950452521252276244\ 9261937891/13205259035843476516772143921640072361525668979269037430\ 805114653653407154986*c_1001_3^16 - 1391916090632816442493935442554636784459734194131538055394510719738\ 954831671491/171668367465965194718037870981320940699833696730497486\ 600466490497494293014818*c_1001_3^15 + 1751171245860745279963002982922202255543954706648061028764528955685\ 04229207695/9035177235050799722001993209543207405254405091078815084\ 235078447236541737622*c_1001_3^14 - 4734311664967451456110407966507445062012604827569939707261982973916\ 31151630549/1320525903584347651677214392164007236152566897926903743\ 0805114653653407154986*c_1001_3^13 + 4463837714851856679274541498451376143586176734750869722490582546274\ 551094716270/858341837329825973590189354906604703499168483652487433\ 00233245248747146507409*c_1001_3^12 - 1555569332030175733742747969543842170592193803292623331813891687056\ 9710906577641/17166836746596519471803787098132094069983369673049748\ 6600466490497494293014818*c_1001_3^11 + 1545604691456391725993596209325604319275529868725630907037445711281\ 448612633053/132052590358434765167721439216400723615256689792690374\ 30805114653653407154986*c_1001_3^10 - 1507617581408707497313131287997260745619962398531749583928979795213\ 7393280562263/17166836746596519471803787098132094069983369673049748\ 6600466490497494293014818*c_1001_3^9 + 9590487734387472091645417675611174919918343284262410675486758292503\ 404935912494/858341837329825973590189354906604703499168483652487433\ 00233245248747146507409*c_1001_3^8 - 1236612894960412078612811355816209716555835019005523597652899746388\ 95916940203/9923027021154057498152478091405834722533739695404478994\ 24661794783204005866*c_1001_3^7 + 601183969485504108291091709039879\ 334547212624389376100872125870534208424566464/660262951792173825838\ 6071960820036180762834489634518715402557326826703577493*c_1001_3^6 - 9336408791802323077632792805690697970909456150389866017505462648789\ 1314900925/80218863301852894728055079897813523691511073238550227383\ 3955563072403238387*c_1001_3^5 + 7580446088427009590331264254435165\ 040684185937250183198323178039354230127364637/858341837329825973590\ 18935490660470349916848365248743300233245248747146507409*c_1001_3^4 - 40962227023238581451509075996419864485056978028182822715115125913\ 03266042666551/1716683674659651947180378709813209406998336967304974\ 86600466490497494293014818*c_1001_3^3 + 4675422185809459111132660216831572169317577095218509462424792179498\ 266847114901/858341837329825973590189354906604703499168483652487433\ 00233245248747146507409*c_1001_3^2 + 6699405310603954630127793950083859951964033678039336035163195121311\ 75297769129/1716683674659651947180378709813209406998336967304974866\ 00466490497494293014818*c_1001_3 + 1995457251053316324842863136538971003889760791645544374117845527563\ 465902933947/171668367465965194718037870981320940699833696730497486\ 600466490497494293014818, c_0011_0 - 1, c_0011_10 + 12853545280719524730095494296914080047309412085774574191066\ 33/333310284547643652303428020724854886252069889292004248284368667*\ c_1001_3^22 - 55523362352877622948663373983425271052050238485611856\ 21974503/2222068563650957682022853471499032575013799261946694988562\ 45778*c_1001_3^21 + 65797732468867256633809914326569543996457578222\ 090751545067293/666620569095287304606856041449709772504139778584008\ 496568737334*c_1001_3^20 - 1099383310888175005290781103423305285444\ 95635378877869085097983/2222068563650957682022853471499032575013799\ 26194669498856245778*c_1001_3^19 + 352388835624427428779314753867156238724783299545482738796790639/222\ 206856365095768202285347149903257501379926194669498856245778*c_1001\ _3^18 - 18106110819029348104159651745000416639729510867049094391739\ 88964/3333102845476436523034280207248548862520698892920042482843686\ 67*c_1001_3^17 + 53759669675754895115120459163018178579595089528654\ 04437473813925/3333102845476436523034280207248548862520698892920042\ 48284368667*c_1001_3^16 - 79505121275032158975952236554135346363070\ 67725076014539795762497/2222068563650957682022853471499032575013799\ 26194669498856245778*c_1001_3^15 + 19239183556892250780350734776275696060299388198387794661093336115/2\ 22206856365095768202285347149903257501379926194669498856245778*c_10\ 01_3^14 - 184928207265249230983002060487968720580516781902867563871\ 38318349/1111034281825478841011426735749516287506899630973347494281\ 22889*c_1001_3^13 + 82154686619579957763814165543237612093470207805\ 910521806096898115/333310284547643652303428020724854886252069889292\ 004248284368667*c_1001_3^12 - 2820538200897007844060105800405024680\ 47963398825596605174954141359/6666205690952873046068560414497097725\ 04139778584008496568737334*c_1001_3^11 + 393420865338272430259673576942916515693205448199660556683453291875/\ 666620569095287304606856041449709772504139778584008496568737334*c_1\ 001_3^10 - 30185444270487982952871339055223329806339288561477464886\ 3344600533/66662056909528730460685604144970977250413977858400849656\ 8737334*c_1001_3^9 + 1994365261934026550935254018451402176467978812\ 64218253763842640517/3333102845476436523034280207248548862520698892\ 92004248284368667*c_1001_3^8 - 412753029639308587727788219468586841\ 957179460050070253570261559363/666620569095287304606856041449709772\ 504139778584008496568737334*c_1001_3^7 + 149698487933364243562548467194152995134465646580965893170720380917/\ 333310284547643652303428020724854886252069889292004248284368667*c_1\ 001_3^6 - 137779671499762765203528056135962134788886068239365607729\ 452991259/222206856365095768202285347149903257501379926194669498856\ 245778*c_1001_3^5 + 56474644126807187080579656948032894750097660528\ 603735063351705833/111103428182547884101142673574951628750689963097\ 334749428122889*c_1001_3^4 - 37662277650987984955814760544183355191\ 014276463800026978986152934/333310284547643652303428020724854886252\ 069889292004248284368667*c_1001_3^3 + 110589411175207769737978819729972253217543483578875405794133372700/\ 333310284547643652303428020724854886252069889292004248284368667*c_1\ 001_3^2 + 989051002070375421300125333202191784054519532324222192103\ 1060784/33331028454764365230342802072485488625206988929200424828436\ 8667*c_1001_3 + 467424202160114235031641942266858053945878647514852\ 41523561434735/6666205690952873046068560414497097725041397785840084\ 96568737334, c_0011_11 + 42588189964349049158701594612104786679100891902837838232117\ 53/666620569095287304606856041449709772504139778584008496568737334*\ c_1001_3^22 - 21621471238180074063906462251733738430606211463212360\ 24596374/1111034281825478841011426735749516287506899630973347494281\ 22889*c_1001_3^21 + 49824491044501038120609002821661504810880406441\ 568628610168631/666620569095287304606856041449709772504139778584008\ 496568737334*c_1001_3^20 - 5267993212543630994072674224101823654237\ 7298653739914123488673/11110342818254788410114267357495162875068996\ 3097334749428122889*c_1001_3^19 + 726522148183754860139991753422896\ 49663116147328786158931746376/1111034281825478841011426735749516287\ 50689963097334749428122889*c_1001_3^18 - 1593528739834715144599029901152500008789283522757634195928292854/33\ 3310284547643652303428020724854886252069889292004248284368667*c_100\ 1_3^17 + 4060616348317286978400099265145427349541879473462518607271\ 842375/666620569095287304606856041449709772504139778584008496568737\ 334*c_1001_3^16 - 1972915524354431747859318122886920469373833093844\ 196748549364090/111103428182547884101142673574951628750689963097334\ 749428122889*c_1001_3^15 + 4557584068062802644664029430572377285124\ 094846131107756301616288/111103428182547884101142673574951628750689\ 963097334749428122889*c_1001_3^14 - 3653669230280389561019982426602015496424157422270707634432496383/11\ 1103428182547884101142673574951628750689963097334749428122889*c_100\ 1_3^13 + 3561305159411101537675994093474527869424928534549302907827\ 8568127/66662056909528730460685604144970977250413977858400849656873\ 7334*c_1001_3^12 - 549591986778388825209959657150383478118946812599\ 01681359657795140/3333102845476436523034280207248548862520698892920\ 04248284368667*c_1001_3^11 - 79176959247483355073378074568882847847\ 254840233862933839590520143/666620569095287304606856041449709772504\ 139778584008496568737334*c_1001_3^10 - 46649144670365422934530433713732388794752841989295847287636276547/6\ 66620569095287304606856041449709772504139778584008496568737334*c_10\ 01_3^9 + 2802995686379114911864021552490472952560610437766304738669\ 4197315/33331028454764365230342802072485488625206988929200424828436\ 8667*c_1001_3^8 + 4799252544596177490111907211173586158395417973699\ 6146930744603850/33331028454764365230342802072485488625206988929200\ 4248284368667*c_1001_3^7 + 5860221965234623948437336563904358736847\ 8285748388943712761273269/66662056909528730460685604144970977250413\ 9778584008496568737334*c_1001_3^6 - 19321692373841633536168445316195816618511958581455362743423124503/2\ 22206856365095768202285347149903257501379926194669498856245778*c_10\ 01_3^5 - 8287680564887624695231030779027300142302105083320710887409\ 9790089/22220685636509576820228534714990325750137992619466949885624\ 5778*c_1001_3^4 - 1777935414460589192631219381386270731847947058203\ 66674513745301773/6666205690952873046068560414497097725041397785840\ 08496568737334*c_1001_3^3 - 180623526294665984911957551564310128562\ 389472048128436683696637963/666620569095287304606856041449709772504\ 139778584008496568737334*c_1001_3^2 - 28933808491779175393113077701226395224911505255305582463574093525/3\ 33310284547643652303428020724854886252069889292004248284368667*c_10\ 01_3 - 150435795347609922663251649046019120579508874296700141682774\ 59402/3333102845476436523034280207248548862520698892920042482843686\ 67, c_0011_3 - 75470558959439855174849229538030213548048089724252317773247/\ 333310284547643652303428020724854886252069889292004248284368667*c_1\ 001_3^22 + 18482632633500213672066981410256819167018093579391870885\ 206/111103428182547884101142673574951628750689963097334749428122889\ *c_1001_3^21 - 5243944985353957434029812629482530693081166552070152\ 39890387/6666205690952873046068560414497097725041397785840084965687\ 37334*c_1001_3^20 + 10596024193302343063125440986138601488405869218\ 90079296220286/1111034281825478841011426735749516287506899630973347\ 49428122889*c_1001_3^19 + 44823414613134243306618649654310900876064\ 79210651825323243491/2222068563650957682022853471499032575013799261\ 94669498856245778*c_1001_3^18 + 30220402631503329879865635117172608\ 585947697469122633102107482/333310284547643652303428020724854886252\ 069889292004248284368667*c_1001_3^17 + 77756425383709410473157653819727202991438738342987849259463544/3333\ 10284547643652303428020724854886252069889292004248284368667*c_1001_\ 3^16 - 151873552735348144563462897321243254266439198538309833491963\ 60/111103428182547884101142673574951628750689963097334749428122889*\ c_1001_3^15 + 12688857501493195734835790058299988538385974167838212\ 1759143549/22220685636509576820228534714990325750137992619466949885\ 6245778*c_1001_3^14 - 399471702442807556305832913780974975761161840\ 383538460152298688/111103428182547884101142673574951628750689963097\ 334749428122889*c_1001_3^13 + 1370671191055004371501544836639348256\ 304872169950883584660979046/333310284547643652303428020724854886252\ 069889292004248284368667*c_1001_3^12 - 1233100789140535313431836171514861993943979665025028010807067910/33\ 3310284547643652303428020724854886252069889292004248284368667*c_100\ 1_3^11 + 1708766309321263686274868658331419538564450930244420152023\ 8613053/66662056909528730460685604144970977250413977858400849656873\ 7334*c_1001_3^10 - 106228634715082147401236232389481027875233939959\ 7936649000328409/33331028454764365230342802072485488625206988929200\ 4248284368667*c_1001_3^9 + 9937997494267283195431233393372493887042\ 952968292812055878263989/666620569095287304606856041449709772504139\ 778584008496568737334*c_1001_3^8 - 17860078077707580668767983000852894692579833783994501394662064235/6\ 66620569095287304606856041449709772504139778584008496568737334*c_10\ 01_3^7 + 8761640548080262465866321812910297836097183004530676012742\ 68697/3333102845476436523034280207248548862520698892920042482843686\ 67*c_1001_3^6 - 189487869332795020020587302063451497891986020054301\ 1288070064471/11110342818254788410114267357495162875068996309733474\ 9428122889*c_1001_3^5 + 7963975660635318496575369540768154407289286\ 786245997878420582457/222206856365095768202285347149903257501379926\ 194669498856245778*c_1001_3^4 + 14644614112794269999186973969976335\ 360150786702553261718563113953/666620569095287304606856041449709772\ 504139778584008496568737334*c_1001_3^3 + 23893045264729469898557198692197481428090709692584759209220847431/6\ 66620569095287304606856041449709772504139778584008496568737334*c_10\ 01_3^2 + 8452647180428792059749749663435308328869117167524168218677\ 068407/666620569095287304606856041449709772504139778584008496568737\ 334*c_1001_3 + 5493992374627537902240566022883782691536781796680580\ 929823574307/666620569095287304606856041449709772504139778584008496\ 568737334, c_0011_9 - 456039298637773150663170578475161227540769401585855066607616\ 1/333310284547643652303428020724854886252069889292004248284368667*c\ _1001_3^22 + 575097821278351032650786540773089880765303747009610032\ 1950985/11110342818254788410114267357495162875068996309733474942812\ 2889*c_1001_3^21 - 133916549062543739253070506332607730526143701739\ 237213175135363/666620569095287304606856041449709772504139778584008\ 496568737334*c_1001_3^20 + 1304559904092649913284693189883602696044\ 82394764331235599512097/1111034281825478841011426735749516287506899\ 63097334749428122889*c_1001_3^19 - 512660549209717485264648753435970633076046152903106973876299363/222\ 206856365095768202285347149903257501379926194669498856245778*c_1001\ _3^18 + 40584859649653633139729117337846131358803917028061662257619\ 90972/3333102845476436523034280207248548862520698892920042482843686\ 67*c_1001_3^17 - 75053362384971693409494262465872652245707639838023\ 84694077981072/3333102845476436523034280207248548862520698892920042\ 48284368667*c_1001_3^16 + 63427141960270596089913830933137299845190\ 79113410354817163437868/1111034281825478841011426735749516287506899\ 63097334749428122889*c_1001_3^15 - 29955790051586014289627802288855431753166719593796184010040716397/2\ 22206856365095768202285347149903257501379926194669498856245778*c_10\ 01_3^14 + 201964914761709074581237676209768587736810807933006151900\ 53035501/1111034281825478841011426735749516287506899630973347494281\ 22889*c_1001_3^13 - 92292833906673581397704130777473958939631760811\ 315357845256911917/333310284547643652303428020724854886252069889292\ 004248284368667*c_1001_3^12 + 1992965268183469203349369133406230970\ 82119704672097388792307763598/3333102845476436523034280207248548862\ 52069889292004248284368667*c_1001_3^11 - 164697740882283637791606008057613636582903342442544705845775414783/\ 666620569095287304606856041449709772504139778584008496568737334*c_1\ 001_3^10 + 15298631457780646553180193937213932951585377722126943208\ 6325434583/33331028454764365230342802072485488625206988929200424828\ 4368667*c_1001_3^9 - 3934649134797816313467074317914238813562763528\ 18903740022828736789/6666205690952873046068560414497097725041397785\ 84008496568737334*c_1001_3^8 + 148868619649164355982917049889479921\ 674535869570847308816695039187/666620569095287304606856041449709772\ 504139778584008496568737334*c_1001_3^7 - 162113467607693022985269103115242947376742264147409718500200409800/\ 333310284547643652303428020724854886252069889292004248284368667*c_1\ 001_3^6 + 681377812280710925384779497970949851264198879621963601183\ 65389359/1111034281825478841011426735749516287506899630973347494281\ 22889*c_1001_3^5 + 543538669804953901377250849228638131866347623050\ 16167155659374221/2222068563650957682022853471499032575013799261946\ 69498856245778*c_1001_3^4 + 354257953255966268158207727249940901314\ 775861116571273642264360825/666620569095287304606856041449709772504\ 139778584008496568737334*c_1001_3^3 + 139669086351899096137354954185930624682771174357551323911177776307/\ 666620569095287304606856041449709772504139778584008496568737334*c_1\ 001_3^2 + 818691742559575809043540062261209865340353235583600358427\ 47343325/6666205690952873046068560414497097725041397785840084965687\ 37334*c_1001_3 + 14579666790112445568010877887846657223062232272208\ 287916597450915/666620569095287304606856041449709772504139778584008\ 496568737334, c_0101_0 - 127482525837177032168030346711375725799363379939307683292389\ 5/111103428182547884101142673574951628750689963097334749428122889*c\ _1001_3^22 + 449009507232522041031526129887853302318045219620119083\ 8621632/11110342818254788410114267357495162875068996309733474942812\ 2889*c_1001_3^21 - 173980473730616402139790769847176905447823328022\ 47616554387977/1111034281825478841011426735749516287506899630973347\ 49428122889*c_1001_3^20 + 10426275623571413459714322161115575399315\ 3649734411257106461542/11110342818254788410114267357495162875068996\ 3097334749428122889*c_1001_3^19 - 185404371800458054357147856985352\ 560328946278663878840854103284/111103428182547884101142673574951628\ 750689963097334749428122889*c_1001_3^18 + 1072782265101062090981051068380055385138188071642183094042493802/11\ 1103428182547884101142673574951628750689963097334749428122889*c_100\ 1_3^17 - 1789271939569093939227187864914935407483817464266945182824\ 764811/111103428182547884101142673574951628750689963097334749428122\ 889*c_1001_3^16 + 4712191829351821999884638623692645925788440980641\ 590217689633947/111103428182547884101142673574951628750689963097334\ 749428122889*c_1001_3^15 - 1104765971556952648765613097386078878065\ 1850638044272461294985369/11110342818254788410114267357495162875068\ 9963097334749428122889*c_1001_3^14 + 13352323680702972479395246193463399113925777518352413290117182078/1\ 11103428182547884101142673574951628750689963097334749428122889*c_10\ 01_3^13 - 206544360383927258713100074403065894629727430280265846521\ 86446122/1111034281825478841011426735749516287506899630973347494281\ 22889*c_1001_3^12 + 47869550130357105818707307161012678472921287189\ 338963583960277195/111103428182547884101142673574951628750689963097\ 334749428122889*c_1001_3^11 - 6790294154042603909961465964802328129\ 682153329771028324924372172/111103428182547884101142673574951628750\ 689963097334749428122889*c_1001_3^10 + 33439173797015204145288771553991223590761844587039577779153542278/1\ 11103428182547884101142673574951628750689963097334749428122889*c_10\ 01_3^9 - 4139436729336385189887832550307530344224718525048876376504\ 9646251/11110342818254788410114267357495162875068996309733474942812\ 2889*c_1001_3^8 + 3449671541700284095765579601559288815139436234629\ 116858973875192/111103428182547884101142673574951628750689963097334\ 749428122889*c_1001_3^7 - 36261541762064864540235794439885555818993\ 865044370089638283474449/111103428182547884101142673574951628750689\ 963097334749428122889*c_1001_3^6 + 42958835150690161855763751393507340788480824944788674423557873897/1\ 11103428182547884101142673574951628750689963097334749428122889*c_10\ 01_3^5 + 4075151621005754546715912800952390504789443799263742742443\ 4420503/11110342818254788410114267357495162875068996309733474942812\ 2889*c_1001_3^4 + 5172588820473368088337462919456341932800423002514\ 3874821656836889/11110342818254788410114267357495162875068996309733\ 4749428122889*c_1001_3^3 + 3279038805126759686952011556976543069698\ 9574164358626631241322254/11110342818254788410114267357495162875068\ 9963097334749428122889*c_1001_3^2 + 14020907663348975110549731655493351469903035157907122671510932752/1\ 11103428182547884101142673574951628750689963097334749428122889*c_10\ 01_3 + 483605405210163602040242206165392083293242982244048658922596\ 9001/11110342818254788410114267357495162875068996309733474942812288\ 9, c_0101_1 + 243756788365051682751122482378552254646209171352870639982595\ /111103428182547884101142673574951628750689963097334749428122889*c_\ 1001_3^22 - 1338978456277175099023533090765818570000924702095318723\ 355814/111103428182547884101142673574951628750689963097334749428122\ 889*c_1001_3^21 + 5263498028191828614788128553082144713686099894036\ 747467993838/111103428182547884101142673574951628750689963097334749\ 428122889*c_1001_3^20 - 2749583404988273727975359153944788208795973\ 0805982518645006081/11110342818254788410114267357495162875068996309\ 7334749428122889*c_1001_3^19 + 786550124576398022462572723193401747\ 35559251555471745228181934/1111034281825478841011426735749516287506\ 89963097334749428122889*c_1001_3^18 - 297227887234157787176305765260333219757600242931890468443850035/111\ 103428182547884101142673574951628750689963097334749428122889*c_1001\ _3^17 + 79468916063702577500488423680194872133305252899796059462902\ 4362/11110342818254788410114267357495162875068996309733474942812288\ 9*c_1001_3^16 - 180827766371431697186414636857373331962518225429978\ 0380949314725/11110342818254788410114267357495162875068996309733474\ 9428122889*c_1001_3^15 + 436397151024717539901745627791095509409461\ 7078613557513106546760/11110342818254788410114267357495162875068996\ 3097334749428122889*c_1001_3^14 - 788686410171723530719963019189347\ 2294072231917301934085041856330/11110342818254788410114267357495162\ 8750689963097334749428122889*c_1001_3^13 + 11754717742705111291782648180374693170553436263640175894534452491/1\ 11103428182547884101142673574951628750689963097334749428122889*c_10\ 01_3^12 - 210500606054467085305609035611087802591868503158182805843\ 97622737/1111034281825478841011426735749516287506899630973347494281\ 22889*c_1001_3^11 + 25554081914324954875152405558551486353557646554\ 791548351321236449/111103428182547884101142673574951628750689963097\ 334749428122889*c_1001_3^10 - 2151402115844041744655922877400647231\ 6957948984205534876834992809/11110342818254788410114267357495162875\ 0689963097334749428122889*c_1001_3^9 + 28767271251266796259449507490608720286121457228704402265327542096/1\ 11103428182547884101142673574951628750689963097334749428122889*c_10\ 01_3^8 - 2688174414024288186148148495248211706188415279599371645073\ 6258164/11110342818254788410114267357495162875068996309733474942812\ 2889*c_1001_3^7 + 2168421224767510148381344139403488463006195930426\ 8663457320032702/11110342818254788410114267357495162875068996309733\ 4749428122889*c_1001_3^6 - 2985886127447019994892284881431160398212\ 9685424829608443271509331/11110342818254788410114267357495162875068\ 9963097334749428122889*c_1001_3^5 + 19342856181746995805711231525860087581725349258394976752934825512/1\ 11103428182547884101142673574951628750689963097334749428122889*c_10\ 01_3^4 - 8509457840575218943273397836238931571578657740968633453244\ 817988/111103428182547884101142673574951628750689963097334749428122\ 889*c_1001_3^3 + 12974344369010535558196496507970627405964903577018\ 216561110139716/111103428182547884101142673574951628750689963097334\ 749428122889*c_1001_3^2 + 53112177019927206723477877370826276010976\ 2695709118834805214361/11110342818254788410114267357495162875068996\ 3097334749428122889*c_1001_3 + 303776618236614265540274863988350727\ 0732033576031067348926970748/11110342818254788410114267357495162875\ 0689963097334749428122889, c_0101_3 + 199050696440237398549449667296326894938438787457603834137200\ 0/333310284547643652303428020724854886252069889292004248284368667*c\ _1001_3^22 - 151537158596513632392541853785395124512294989222196113\ 7096143/11110342818254788410114267357495162875068996309733474942812\ 2889*c_1001_3^21 + 344466621383991894393089286888638268643239134068\ 16684206116341/6666205690952873046068560414497097725041397785840084\ 96568737334*c_1001_3^20 - 41356960716917048760651059026589801084126\ 442105413954210018362/111103428182547884101142673574951628750689963\ 097334749428122889*c_1001_3^19 + 4539505183777208037710708258231238\ 8303872831620463317830952113/22220685636509576820228534714990325750\ 1379926194669498856245778*c_1001_3^18 - 1203281935077767711018223068848735496341848659608506413571258443/33\ 3310284547643652303428020724854886252069889292004248284368667*c_100\ 1_3^17 + 4781651138121982874983897445012767540282062433012132818172\ 11113/3333102845476436523034280207248548862520698892920042482843686\ 67*c_1001_3^16 - 90440074220006001437440408275726026036738087857085\ 7298261471217/11110342818254788410114267357495162875068996309733474\ 9428122889*c_1001_3^15 + 384094326876467330002252575041082448486123\ 6771837031625116368707/22220685636509576820228534714990325750137992\ 6194669498856245778*c_1001_3^14 + 213062607723413169782413240155370\ 3723945437974557723625259440982/11110342818254788410114267357495162\ 8750689963097334749428122889*c_1001_3^13 - 7511676806874460209215776675871858774500204053262917645239186477/33\ 3310284547643652303428020724854886252069889292004248284368667*c_100\ 1_3^12 - 1445361568465749663707452170833404214917047325549842209478\ 2663146/33331028454764365230342802072485488625206988929200424828436\ 8667*c_1001_3^11 - 225624581781152789360523149745467299202090291726\ 646619386443094523/666620569095287304606856041449709772504139778584\ 008496568737334*c_1001_3^10 + 2407144670027510843028295317109830320\ 9042336111275568545714007324/33331028454764365230342802072485488625\ 2069889292004248284368667*c_1001_3^9 - 78006177927557677892521293167802859557674213012005196045981836013/6\ 66620569095287304606856041449709772504139778584008496568737334*c_10\ 01_3^8 + 2550322364120894363392663115170170526474170407904519277107\ 87192623/6666205690952873046068560414497097725041397785840084965687\ 37334*c_1001_3^7 - 178906588571296716248833557278236312466600343169\ 34707729765083958/3333102845476436523034280207248548862520698892920\ 04248284368667*c_1001_3^6 + 134929173686895691523432936605183715135\ 67038556328827424312466757/1111034281825478841011426735749516287506\ 89963097334749428122889*c_1001_3^5 - 134108302095292608559835818231306705307407050392815928000111740447/\ 222206856365095768202285347149903257501379926194669498856245778*c_1\ 001_3^4 - 178631678591174664772159812287178713388254177692086821576\ 962710415/666620569095287304606856041449709772504139778584008496568\ 737334*c_1001_3^3 - 29286665770542113272736814109274832740490148816\ 2289391522624795443/66662056909528730460685604144970977250413977858\ 4008496568737334*c_1001_3^2 - 7413086989546802517684242136177746259\ 7477506687336388006088109563/66662056909528730460685604144970977250\ 4139778584008496568737334*c_1001_3 - 53292919476648910437839435639645800318211695429672161441172334855/6\ 66620569095287304606856041449709772504139778584008496568737334, c_0101_9 + 158341769492475221293397540750684940125837019487646616683102\ 9/333310284547643652303428020724854886252069889292004248284368667*c\ _1001_3^22 - 376478496456070434636125403135538349197878294162210981\ 3305669/22220685636509576820228534714990325750137992619466949885624\ 5778*c_1001_3^21 + 438148144200064738428123986813991489449704963910\ 09777423787853/6666205690952873046068560414497097725041397785840084\ 96568737334*c_1001_3^20 - 87120662795254316234074769820736731743286\ 781132969914034074049/222206856365095768202285347149903257501379926\ 194669498856245778*c_1001_3^19 + 1579339784166140737591876395909126\ 31895077609034347834728469743/2222068563650957682022853471499032575\ 01379926194669498856245778*c_1001_3^18 - 1347517276692778688139163569409943133242510340782273209328502325/33\ 3310284547643652303428020724854886252069889292004248284368667*c_100\ 1_3^17 + 2292765211385980441431040470426669724031119351253997892108\ 627051/333310284547643652303428020724854886252069889292004248284368\ 667*c_1001_3^16 - 4001844626431200645402757892666606405390698890641\ 537754396900369/222206856365095768202285347149903257501379926194669\ 498856245778*c_1001_3^15 + 9395203004701493745862168970332678450742\ 893282213099012344911743/222206856365095768202285347149903257501379\ 926194669498856245778*c_1001_3^14 - 5821712490075275582192840843380177040499273571709182793198481558/11\ 1103428182547884101142673574951628750689963097334749428122889*c_100\ 1_3^13 + 2702486093102244855489652862991562140317863357830195700019\ 4734891/33331028454764365230342802072485488625206988929200424828436\ 8667*c_1001_3^12 - 123186045094440886411772954022615752827935978436\ 343731728571759495/666620569095287304606856041449709772504139778584\ 008496568737334*c_1001_3^11 + 2513392843734024040798874793522402449\ 0762374825183056428393329933/66662056909528730460685604144970977250\ 4139778584008496568737334*c_1001_3^10 - 89443434574888853955190094327168875117539550505713383682003587001/6\ 66620569095287304606856041449709772504139778584008496568737334*c_10\ 01_3^9 + 5543635242921348463662941580167480979398843529429880010622\ 5947963/33331028454764365230342802072485488625206988929200424828436\ 8667*c_1001_3^8 - 1806844338199923518372958648881912218579975251684\ 6692837057622539/66662056909528730460685604144970977250413977858400\ 8496568737334*c_1001_3^7 + 4772234354424608902799126996038747640672\ 8708798442385395515435897/33331028454764365230342802072485488625206\ 9889292004248284368667*c_1001_3^6 - 38061782595222980837932242899332545840787148101641724484528199015/2\ 22206856365095768202285347149903257501379926194669498856245778*c_10\ 01_3^5 - 1524440401217936698393929430385953597567046150964651156612\ 1331441/11110342818254788410114267357495162875068996309733474942812\ 2889*c_1001_3^4 - 6493634983229397600954117660488029989103626454980\ 7382096473741480/33331028454764365230342802072485488625206988929200\ 4248284368667*c_1001_3^3 - 3754125838537227353072836805477523591598\ 9513279656752082445480102/33331028454764365230342802072485488625206\ 9889292004248284368667*c_1001_3^2 - 17462039713660508815070421071654954445365066160653287915927922930/3\ 33310284547643652303428020724854886252069889292004248284368667*c_10\ 01_3 - 115459114219030538375428301151841576373899892193866253436357\ 21471/6666205690952873046068560414497097725041397785840084965687373\ 34, c_1001_0 + 331351826491074201665475134439460931516805497840702337618313\ 7/666620569095287304606856041449709772504139778584008496568737334*c\ _1001_3^22 - 282417373132330816704801933482482788694927197017110236\ 1201066/11110342818254788410114267357495162875068996309733474942812\ 2889*c_1001_3^21 + 663569718135284824159158483207033920549576262173\ 46703471003391/6666205690952873046068560414497097725041397785840084\ 96568737334*c_1001_3^20 - 58885558305178117471275223675959170400588\ 175740657402134624516/111103428182547884101142673574951628750689963\ 097334749428122889*c_1001_3^19 + 1589268904510816620786553254278003\ 77119672378203196003763414808/1111034281825478841011426735749516287\ 50689963097334749428122889*c_1001_3^18 - 1892812408762441966469870570636169222031163436401463587591972171/33\ 3310284547643652303428020724854886252069889292004248284368667*c_100\ 1_3^17 + 9580398863353238114215666476973376107260442104213187033151\ 853067/666620569095287304606856041449709772504139778584008496568737\ 334*c_1001_3^16 - 3676682044049210049412596627344246602904722186793\ 357555781200891/111103428182547884101142673574951628750689963097334\ 749428122889*c_1001_3^15 + 8841413754031952987532646382037382671161\ 356856011989934969285702/111103428182547884101142673574951628750689\ 963097334749428122889*c_1001_3^14 - 15398660864146956952243587897114965148239751468095885757530957250/1\ 11103428182547884101142673574951628750689963097334749428122889*c_10\ 01_3^13 + 137313514125966426657102352070208301694069085507183423838\ 681222103/666620569095287304606856041449709772504139778584008496568\ 737334*c_1001_3^12 - 1256986059944749418171628518799768057801039666\ 54811127277169791166/3333102845476436523034280207248548862520698892\ 92004248284368667*c_1001_3^11 + 27877568741706437518869542823263713\ 5199009041424559152965553924037/66662056909528730460685604144970977\ 2504139778584008496568737334*c_1001_3^10 - 243725892963213270863232317844213101987173056701089497164675340695/\ 666620569095287304606856041449709772504139778584008496568737334*c_1\ 001_3^9 + 163008524697656565327099331781170987702151625554104001220\ 577686698/333310284547643652303428020724854886252069889292004248284\ 368667*c_1001_3^8 - 14465295072485178285431192218777133777378761959\ 1555381295023371827/33331028454764365230342802072485488625206988929\ 2004248284368667*c_1001_3^7 + 2467557308563018770426591758425415736\ 98177108631556904398878269365/6666205690952873046068560414497097725\ 04139778584008496568737334*c_1001_3^6 - 113020811701280723355707944309434055335110658062023014413459991743/\ 222206856365095768202285347149903257501379926194669498856245778*c_1\ 001_3^5 + 615454258068469868513192780162955542403497928669445584576\ 40221923/2222068563650957682022853471499032575013799261946694988562\ 45778*c_1001_3^4 - 108496199938761318666646726950949618174460286811\ 028701340259179437/666620569095287304606856041449709772504139778584\ 008496568737334*c_1001_3^3 + 11973635842391657339123503750589952792\ 0042807994380060527795374529/66662056909528730460685604144970977250\ 4139778584008496568737334*c_1001_3^2 - 221318680200648771235165420955938697505444799204908460694588839/333\ 310284547643652303428020724854886252069889292004248284368667*c_1001\ _3 + 14331324062071069501636757084647871141319885697157649198546365\ 177/333310284547643652303428020724854886252069889292004248284368667\ , c_1001_2 + 827314942441197711369293082905063703827248677061176164766091\ /333310284547643652303428020724854886252069889292004248284368667*c_\ 1001_3^22 - 1360158976151725510380457435494468736403897869983900181\ 731606/111103428182547884101142673574951628750689963097334749428122\ 889*c_1001_3^21 + 1601320164034601173788878368459502294388909275657\ 1002505433921/33331028454764365230342802072485488625206988929200424\ 8284368667*c_1001_3^20 - 286900161939190358607432976540737998788680\ 15461869641336596274/1111034281825478841011426735749516287506899630\ 97334749428122889*c_1001_3^19 + 75134437279767307123354795081257152\ 362710009247875150296822070/111103428182547884101142673574951628750\ 689963097334749428122889*c_1001_3^18 - 921097837011021476328458533333730075519018924145625992821508107/333\ 310284547643652303428020724854886252069889292004248284368667*c_1001\ _3^17 + 22610855976610130969972714531998108949966624063469238238755\ 68392/3333102845476436523034280207248548862520698892920042482843686\ 67*c_1001_3^16 - 17575850932823576760302715572702988661179173731022\ 26262686191440/1111034281825478841011426735749516287506899630973347\ 49428122889*c_1001_3^15 + 42151102218209076279021395325525700267152\ 41238236663427577547298/1111034281825478841011426735749516287506899\ 63097334749428122889*c_1001_3^14 - 7214072045804008513621132178288534811630136411078681947650023076/11\ 1103428182547884101142673574951628750689963097334749428122889*c_100\ 1_3^13 + 3242555193197730997555988049959381299649483174815278946623\ 3541075/33331028454764365230342802072485488625206988929200424828436\ 8667*c_1001_3^12 - 599143006057500714254872656724634995441786097968\ 32215564774807788/3333102845476436523034280207248548862520698892920\ 04248284368667*c_1001_3^11 + 63222800908564164909693440866142011033\ 911876991701595142730739375/333310284547643652303428020724854886252\ 069889292004248284368667*c_1001_3^10 - 58627369177733847798947064354917090362447715717278156875765577492/3\ 33310284547643652303428020724854886252069889292004248284368667*c_10\ 01_3^9 + 7658016069023140249236578834086743026441864700555694744413\ 4865441/33331028454764365230342802072485488625206988929200424828436\ 8667*c_1001_3^8 - 6543657809660728900986957188078366667163115499585\ 2577655904148830/33331028454764365230342802072485488625206988929200\ 4248284368667*c_1001_3^7 + 5952250518136482921961098959623054875917\ 7380793419560311840851927/33331028454764365230342802072485488625206\ 9889292004248284368667*c_1001_3^6 - 26490797538148089309178738519100173375547398565305690127092984500/1\ 11103428182547884101142673574951628750689963097334749428122889*c_10\ 01_3^5 + 1303339312447577730931079957588816221664769694982595758206\ 9440680/11110342818254788410114267357495162875068996309733474942812\ 2889*c_1001_3^4 - 3035156693649139684336540770591059638947791490183\ 6923438638498577/33331028454764365230342802072485488625206988929200\ 4248284368667*c_1001_3^3 + 2398603607623519692027168124101554671505\ 2307667208748978828008696/33331028454764365230342802072485488625206\ 9889292004248284368667*c_1001_3^2 - 2150711258785805840304970818712292847672224563286618164965846922/33\ 3310284547643652303428020724854886252069889292004248284368667*c_100\ 1_3 + 6205750762525750342330699878482162739275380436466660074764375\ 880/333310284547643652303428020724854886252069889292004248284368667\ , c_1001_3^23 - 4*c_1001_3^22 + 16*c_1001_3^21 - 91*c_1001_3^20 + 195*c_1001_3^19 - 971*c_1001_3^18 + 1933*c_1001_3^17 - 4994*c_1001_3^16 + 11685*c_1001_3^15 - 17715*c_1001_3^14 + 28555*c_1001_3^13 - 55970*c_1001_3^12 + 39440*c_1001_3^11 - 61964*c_1001_3^10 + 65103*c_1001_3^9 - 45760*c_1001_3^8 + 65098*c_1001_3^7 - 66641*c_1001_3^6 + 12738*c_1001_3^5 - 62015*c_1001_3^4 - 9513*c_1001_3^3 - 24242*c_1001_3^2 - 3066*c_1001_3 - 3287 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.570 Total time: 0.790 seconds, Total memory usage: 32.09MB