Magma V2.19-8 Wed Aug 21 2013 00:56:47 on localhost [Seed = 2295239243] Type ? for help. Type -D to quit. Loading file "L13n2992__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2992 geometric_solution 12.35748667 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 1 -2 1 0 0 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.364908624171 0.710927377609 0 5 6 5 0132 0132 0132 0213 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 2 0 -2 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.280848450168 0.803126474177 7 0 8 6 0132 0132 0132 1230 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 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.148873300633 0.570156101634 9 6 6 0 0132 1230 2310 0132 0 0 0 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 -1 8 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.079674199104 1.420591464127 10 11 0 7 0132 0132 0132 1302 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 0 -1 1 0 0 0 0 0 1 0 -1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.495846429853 0.985052418098 10 1 11 1 2103 0132 1302 0213 1 0 0 0 0 0 0 0 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 0 1 -1 -1 0 -1 2 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.280848450168 0.803126474177 2 3 3 1 3012 3201 3012 0132 1 0 0 0 0 1 -1 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 7 -8 1 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.079674199104 1.420591464127 2 10 4 12 0132 2103 2031 0132 0 0 0 0 0 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.762622105961 1.267048721176 12 9 10 2 3201 3201 1230 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.700829281627 0.812255408409 3 11 8 11 0132 2310 2310 3012 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 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.287342497908 0.675185980942 4 7 5 8 0132 2103 2103 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.569493080948 0.704636187142 5 4 9 9 2031 0132 1230 3201 0 1 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 -1 0 0 1 -2 2 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.739457801216 0.700577120726 12 12 7 8 1230 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.742216850763 1.061645116297 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_8']), 'c_1001_10' : d['c_0011_0'], 'c_1001_12' : negation(d['c_0011_12']), 'c_1001_5' : d['c_0101_11'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_6'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_1001_2']), 'c_1001_8' : negation(d['c_0101_0']), 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_0011_12'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_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_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_8'], 'c_1100_8' : d['c_0101_1'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : d['c_0011_6'], 'c_1100_7' : d['c_0011_8'], 'c_1100_6' : d['c_1001_1'], 'c_1100_1' : d['c_1001_1'], 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0101_1'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_3'], 'c_1100_10' : d['c_0101_0'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_12']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_8']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : d['c_0101_11'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_8'], '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' : d['c_0011_8'], '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_11' : d['c_0101_11'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0011_12'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_12']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_3'], 'c_0110_8' : d['c_0101_12'], '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_0101_0']), 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_6, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 5116455035453269883303302467834320232223406265785876861904897888975\ 0131964913432331073555570189653785952155519122961/11268616661897628\ 9322302680216530146042332329165254172887953758092458460821824193358\ 4725247151792235291615313968900960*c_1001_2^17 - 3335403034708452620706950012115428031923639007205336903934130553924\ 09300840498021766889025284009553689513781480345631/6761169997138577\ 3593381608129918087625399397499152503732772254855475076493094516015\ 0835148291075341174969188381340576*c_1001_2^16 - 3761209666084973733494368658966153396280271543899122558793260372477\ 335202478049400550575828495066296172486761700499857/112686166618976\ 2893223026802165301460423323291652541728879537580924584608218241933\ 584725247151792235291615313968900960*c_1001_2^15 + 3958191660245842815993873353228555375917273052156387046665894338630\ 9057248965379657390083663995103245428952895975989079/16902924992846\ 4433983454020324795219063498493747881259331930637138687691232736290\ 0377087870727688352937422970953351440*c_1001_2^14 - 2280026920499544415002887897050504572843498033195233962383843960716\ 144790505443631393381381250373701885301820270814063/187810277698293\ 8155371711336942169100705538819420902881465895968207641013697069889\ 30787541191965372548602552328150160*c_1001_2^13 - 2868166979321454940012246747837726184423232297545475741845426782633\ 284011029149974515499945106027172413538973050785367/469525694245734\ 5388429278342355422751763847048552257203664739920519102534242674723\ 2696885297991343137150638082037540*c_1001_2^12 - 7661935795835374145141598362290475522083965947673342745010205447797\ 0361032558284609928825811275755934893806562788702637/84514624964232\ 2169917270101623976095317492468739406296659653185693438456163681450\ 188543935363844176468711485476675720*c_1001_2^11 + 3565504940844756405696295420065623707479125723074776131662456059220\ 90136605469633104315041708372643641568647364493622/7825428237428908\ 9807154639039257045862730784142537620061078998675318375570711245387\ 8281421633189052285843968033959*c_1001_2^10 - 7848740533901616644525880891452251773445539682416081466738459173898\ 80215847409533733259769528957324856477726943994524077/3380584998569\ 2886796690804064959043812699698749576251866386127427737538246547258\ 00754175741455376705874845941906702880*c_1001_2^9 - 2106342783323504789823850045088522177246712993283051063743719243075\ 6595080262743938097073238368330043511430651845294003/59308508746829\ 6259591066737981737610749117521922390383620809253118202425378022070\ 30775013007989065015348174419415840*c_1001_2^8 + 1778535952155175264309871437640002836265003897409017764760951274048\ 84981982821508368449738175726571742245847071823409053/1165718965023\ 8926481617518643089325452655068534336638574615906009564668360878364\ 8301868129015702645030167101445058720*c_1001_2^7 - 9429158599536052779455870523057776754788154749403062549317739392050\ 74648480594613412932474249241395763622077965854190503/1690292499284\ 6443398345402032479521906349849374788125933193063713868769123273629\ 0037708787072768835293742297095335144*c_1001_2^6 + 2792448601341763663664409792255670165703635672346086387672654690955\ 6786573802573290082287473822678908798143688895631800457/33805849985\ 6928867966908040649590438126996987495762518663861274277375382465472\ 5800754175741455376705874845941906702880*c_1001_2^5 - 8779638317100272785486958020210876501064750569884012236049145176651\ 49900792739745477119814520491100990293156321989449973/3756205553965\ 8763107434226738843382014110776388418057629317919364152820273941397\ 7861575082383930745097205104656300320*c_1001_2^4 - 6385234679097219245869495776368354387908918758014982618021986344611\ 3115070315109479685971188285030874516479575647846497/11738142356143\ 3634710731958558885568794096176213806430091618498012977563356066868\ 08174221324497835784287659520509385*c_1001_2^3 + 1498904683707041940266692446029781113972723328564344500668432265298\ 564546511666186078809421492373381589340826959866411029/422573124821\ 1610849586350508119880476587462343697031483298265928467192280818407\ 25094271967681922088234355742738337860*c_1001_2^2 + 3918762805297021157236149081388628175079244165340060876759061887888\ 624095166893334480449605341591220352816903699490817691/845146249642\ 3221699172701016239760953174924687394062966596531856934384561636814\ 50188543935363844176468711485476675720*c_1001_2 - 1810132802649119636098339158411405752732396481147614788333306652283\ 4442445603727067373371378969139465316601808880496525711/33805849985\ 6928867966908040649590438126996987495762518663861274277375382465472\ 5800754175741455376705874845941906702880, c_0011_0 - 1, c_0011_10 + 35916325749831919052277799877719131589253794766677454845622\ 0751026821331410861935363/17399598621320594482935733154108409472099\ 41714326524079881068142850042211017829500423519*c_1001_2^17 + 4157157962570681116952598195095560070406043905759219419348840221718\ 427421118720419938/173995986213205944829357331541084094720994171432\ 6524079881068142850042211017829500423519*c_1001_2^16 + 2959138077774092445055520604169921699797742298228398082924420879814\ 9051103556918870531/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^15 - 1613036076656962966695939755342473811186101475112251937729183610147\ 65171239563498846616/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^14 + 3302512016613444987909116572374628884020963933015325062206956979068\ 171157594612615049/173995986213205944829357331541084094720994171432\ 6524079881068142850042211017829500423519*c_1001_2^13 + 3933339996168122743551637648182224685297514874375110761016377294027\ 39004546720698803429/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^12 + 9240943017555746368942927743818614715590307762448393861143230373590\ 48724752114195400265/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^11 - 2730510268642147416185739229792660751955246241002502639967812218367\ 639873369457249113410/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^10 + 7197404884035775191573242048305778002175343351464923025029681209743\ 54284259998434181300/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^9 + 2121338015039370392986249446466302654206930520106139195030417880288\ 328485120829784404641/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^8 - 1117052291043390680009251593626885878681097484606663876211671557997\ 3324731983133637734401/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2^7 + 3706209673665510512446443269606650219724415105396347615384315812886\ 3970813108168756640958/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2^6 - 4562079482234620577749834385416088315477925819142184431240828069921\ 3757412903580336426188/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2^5 + 5967940070334541656818182935599203565462413990237016022259065090462\ 487796929729587484693/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^4 + 3277657149647023862411064154434154581069974056136989581535567513931\ 0331864626566295426815/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2^3 - 1247603552367530645125527619923474112712198900443420381503224694265\ 6889223707239273719307/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2^2 - 3182639100064658915092716132281237989082008832120852039613495494199\ 9711335959666423013140/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2 + 2409341333356392009253008701977486310131271922789393221727263308046\ 9874540813441493015663/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519, c_0011_12 - 85858691167721040779158410751281462391211617020197471288098\ 850006597126625421683381/173995986213205944829357331541084094720994\ 1714326524079881068142850042211017829500423519*c_1001_2^17 - 1073705796977221757761099063427777189601945897383794082639398268502\ 807540225879123471/173995986213205944829357331541084094720994171432\ 6524079881068142850042211017829500423519*c_1001_2^16 - 8113162385211990313161234483633347857203585174961628165850100740340\ 946789493431511853/173995986213205944829357331541084094720994171432\ 6524079881068142850042211017829500423519*c_1001_2^15 + 3051069082843331274803091987759035212898781958416988852471586883345\ 3977718739627548686/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^14 + 2388434153793005417424962107410879182333696008826638615467325998688\ 5598906471617351865/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^13 - 5732982770200650214406548263222000438385621788295494202979236111981\ 7338011720391352460/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^12 - 2607581815802993127714945788621554822047170409809134246904260800628\ 48192013947567455715/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^11 + 3830782563627595786508970994166129643971855681872913265939268529235\ 98306658222822512099/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^10 + 4454560425590352578373968143800215111748767248653744366401535824977\ 1967261416716723681/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^9 - 2999126203271008889503952093355976079229676787796685627146207234633\ 82232141411878933811/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^8 + 2476005899095467402724025281905269489843920595475889458942295840151\ 548655908567462458653/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^7 - 6611127386791841865240794739969739578611672734550385232207654795593\ 230959285149574098414/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^6 + 5763208915154686581158193756840811362935436614214836341788019167257\ 404978629400053187588/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^5 + 8803959837882253317275083363850183283836294408634275279945682204809\ 58551078263692846793/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^4 - 4805146566365356978631167366434946137684811168573681937043542230931\ 155973644464243719025/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^3 - 1136802358306170224100055599246639908524920304562163178749570743683\ 791935457116257105369/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^2 + 6193854648262445368285994066623305513542848740330013282876566942659\ 187705732586204418472/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2 - 1732941089149645009124335047444521100694493428134730273756184848960\ 230806039196902563715/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519, c_0011_3 + 281579780858303837651335866571756096653689663348919035873703\ 034407017146090205678271/347991972426411889658714663082168189441988\ 3428653048159762136285700084422035659000847038*c_1001_2^17 + 3703049619719035993104799488717272220469753672049814144241771756632\ 912716784715432663/347991972426411889658714663082168189441988342865\ 3048159762136285700084422035659000847038*c_1001_2^16 + 8727492109850836595372678030571386370054251695212295887691026078367\ 3602084326066266045/10439759172792356689761439892465045683259650285\ 959144479286408857100253266106977002541114*c_1001_2^15 - 1199288601956928262965636276072811790014421191369021475862585700442\ 84733045635397761344/5219879586396178344880719946232522841629825142\ 979572239643204428550126633053488501270557*c_1001_2^14 - 5944991843010807150258433948360391303648188142564456342269016141852\ 4591289651734002852/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^13 + 4791668156678496309219697722705771132064951572312287571160993228706\ 2821021782637925621/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^12 + 4289066678068691168467934854800251570360982239864011666828336017603\ 53790810537368637898/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^11 - 1055491987852053951554392850138314671685700846163836914186184184084\ 747986955998663200051/521987958639617834488071994623252284162982514\ 2979572239643204428550126633053488501270557*c_1001_2^10 - 1052308643594209106956987554629517176591849566645801517598550913867\ 709820139760403486607/104397591727923566897614398924650456832596502\ 85959144479286408857100253266106977002541114*c_1001_2^9 + 2149561735449006352641109176879095495166092098320743484266071098263\ 440343692010928770609/104397591727923566897614398924650456832596502\ 85959144479286408857100253266106977002541114*c_1001_2^8 - 2361995102648002566871391940295714057189820336949395748338643346842\ 3686204238639098592835/10439759172792356689761439892465045683259650\ 285959144479286408857100253266106977002541114*c_1001_2^7 + 8616037382581782837655266459639415636213626649069425650043566694121\ 502138763872739799435/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^6 - 3088691955316038226856072121187894632721946054382650994584689250893\ 4501872157642724648389/10439759172792356689761439892465045683259650\ 285959144479286408857100253266106977002541114*c_1001_2^5 - 2031501096843624511626084673027266001640119352987914343084315022723\ 9844247231965963026895/10439759172792356689761439892465045683259650\ 285959144479286408857100253266106977002541114*c_1001_2^4 + 1878975074162709386324570211360073962174459442685349134021808573588\ 6477399583317197023537/52198795863961783448807199462325228416298251\ 42979572239643204428550126633053488501270557*c_1001_2^3 + 4515212961287348971329392733724321467431460718460881595376444369303\ 750381943208362585333/521987958639617834488071994623252284162982514\ 2979572239643204428550126633053488501270557*c_1001_2^2 - 5440176093790340994597743069212432174010307200154898581833013671845\ 036736220672238716297/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2 + 1291678431022549175147103611657408569334265885400734700830834586577\ 4281234692559295131857/10439759172792356689761439892465045683259650\ 285959144479286408857100253266106977002541114, c_0011_6 - 234431818913396276200493453079969248620226626991303206977377\ 804528115965928953183475/173995986213205944829357331541084094720994\ 1714326524079881068142850042211017829500423519*c_1001_2^17 - 2796612936396768976464331981290657770149928597144190480198666935616\ 869522654558079864/173995986213205944829357331541084094720994171432\ 6524079881068142850042211017829500423519*c_1001_2^16 - 2029255351090998536705250754043637401291761425166040918898436494602\ 1656779078874986793/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^15 + 9840258501235584704724825814586482846149888883811014828521990256253\ 7345216688407412639/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^14 + 3610957371652813351953524861587278608442780677186407346531096291214\ 2880039848151324966/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^13 - 2319976391667794968402472924471911250737948274989896905223734957907\ 21498202275236140970/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^12 - 7035336282811327243499100055861456503136449321302638900886581052951\ 25140450874458780218/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^11 + 1457380813567092113942754097886264777487570323799400441060937424891\ 043958316193681677256/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^10 + 3360610356714735619658991475369534507194087994347703602210905216806\ 4116617772819901140/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^9 - 1080519161820890092987815968906696833850293101096857784601820244222\ 083442827421956372266/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^8 + 7044898570404413416342060386662797119800266105453785115177395279444\ 135492127545074120708/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^7 - 2188187280113380106994532901010082460885959324645982272368176505136\ 3117639632391549767018/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2^6 + 2186143952654007075766986917356848338291482158030458530212795727909\ 4729347031159526215876/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2^5 + 1880039130550190645687691826540053826132630818073706703984695323643\ 950672128252988767110/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^4 - 1811757451135370496207679834982125135387215983169157177696404983898\ 5009011209433036046194/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2^3 + 3154707643937441364696847815849730173016972614285796939892686896563\ 316394533727106187796/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^2 + 1881209434190281400568709175602291939836481063906698455209171585870\ 8420114432792911266610/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2 - 9429562520390043191464544410572614009494108935623148926673307023437\ 294422605850817053882/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519, c_0011_8 - 152134646107504887600166352061018227958988614003823948989636\ 613827891721031248273938/173995986213205944829357331541084094720994\ 1714326524079881068142850042211017829500423519*c_1001_2^17 - 1771161091910988923996711505980131149224186974751204561128352955766\ 504495088734418688/173995986213205944829357331541084094720994171432\ 6524079881068142850042211017829500423519*c_1001_2^16 - 1264399349578912159667383779955162463317746658384127681467017551957\ 5302093521444432020/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^15 + 6758864428245624196074652904107335711447614612710240693294865446020\ 5734075298239569910/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^14 + 3958602181611565486646341518467101193316712080055923567122325422382\ 304258441681679439/173995986213205944829357331541084094720994171432\ 6524079881068142850042211017829500423519*c_1001_2^13 - 1713897525268643301418381324106524569515702668480220301448200250380\ 30641705098822660269/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^12 - 4114747662281051142567373781288088078677416198839048444921673548236\ 52493997345612059684/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^11 + 1132095848604672609554151332955169775166178615614965458193016626427\ 812573137513286358926/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^10 - 1659921879594814552630957460413746966203897313988948170741959470066\ 98736292865690000039/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^9 - 8893805829790568898262669308757494249734317502010816881732074931172\ 02959322489693203749/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^8 + 4643717427984452883216386585208065849574414811581161008690415536423\ 827527658494464040643/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^7 - 1555981041226251349005714191465503774640227473299155292551781019233\ 0678685952491679241138/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2^6 + 1778660312252915215032955901161330997961263000642699901927951004787\ 7372018426491341831239/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2^5 - 5119472083970471474464091230483106316819356192594446673079076722221\ 97228299734934420309/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^4 - 1409800699054374520784190236876171742269372625723448133290148945797\ 3432703202247486303926/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2^3 + 4978236392119320575857239991879136645444098908680960864495988327121\ 747366446213432340018/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^2 + 1482290642243817370459213199658191911768940353440378992668018444540\ 7660565609600483488986/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2 - 9390654709573434178566015219843127475783108313356392886557061610237\ 906318382923990910137/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519, c_0101_0 - 352887196433644603868436017489599853933217285113796634980479\ 41067962465664383074594/1739959862132059448293573315410840947209941\ 714326524079881068142850042211017829500423519*c_1001_2^17 - 3829937646552093367502784629548978388904274572883452273585471573849\ 05790156357669131/1739959862132059448293573315410840947209941714326\ 524079881068142850042211017829500423519*c_1001_2^16 - 2520113392961165359042573568720490631446047737503391206720704703502\ 589672239691318712/173995986213205944829357331541084094720994171432\ 6524079881068142850042211017829500423519*c_1001_2^15 + 1923134486965827638099539475299782421479064361283392823101099374774\ 4672292495677924723/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^14 - 1244763872156331751520030258266534651177253358215928291501888267507\ 446254122429660471/173995986213205944829357331541084094720994171432\ 6524079881068142850042211017829500423519*c_1001_2^13 - 5698156207165118484090033692765256447695504928920696205985335767647\ 5962237673984172374/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^12 - 1143869224886759845932479988197294137879051465009281459857451984394\ 19018385699623268774/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^11 + 3227278450747141535660694017086347170333629502679190047713469509891\ 65325858779277355820/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^10 + 4703153110052655640554082350561427053838609328127983880945171578472\ 894378512089090985/173995986213205944829357331541084094720994171432\ 6524079881068142850042211017829500423519*c_1001_2^9 - 1869865782519504792987845876779019280539437965363133352343540814877\ 41782154884713726259/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^8 + 1172845046223513646506198410488795943889832516996308357796216914462\ 298166390345592905365/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^7 - 4256410133900793510474501665218312949115207513173447508320486853787\ 780019499879697350058/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^6 + 4615689558792476516429109575790748576469158128389518780953625336177\ 719148292851463071577/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^5 - 5424839238305555474941278291430213356370567392334135690585452079034\ 3737380904677370475/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^4 - 3847211902666584113170918966792800599066442173411034156852318621890\ 131842193878407331502/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^3 + 1689219251172113475196381751639405553507396806757048476311919129961\ 004251943750746834870/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^2 + 3739613668056115545659760513651892802845138849483692985835514595805\ 712275336354634182896/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2 - 2679016698719697661840773093272514973045745551162880102947565738800\ 699625189850167519031/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519, c_0101_1 - 112330057174574275197398081713226837880535939873474797165511\ 270256933231838577123071/173995986213205944829357331541084094720994\ 1714326524079881068142850042211017829500423519*c_1001_2^17 - 1379695479337228164683260780476647004988871063793046550123467567261\ 457590439590494072/173995986213205944829357331541084094720994171432\ 6524079881068142850042211017829500423519*c_1001_2^16 - 1025858951921032406300441029637851552678306138128993419005731268413\ 8228357452122804595/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^15 + 4286585384078432760873077745935666653670343687139659701122120746142\ 9137781022744483560/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^14 + 2702273087914558365564354408077959465833045932867385194207210420838\ 1373511667843786130/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^13 - 9204790560436201733396041116895892352671152034770527526817413408910\ 5251524369809842746/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^12 - 3476790164436357346600775161730815535766389062905401765047261566168\ 82989942793113803280/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^11 + 5811989378630519319912288098270659228478834215896377274004517754312\ 10307608577381013728/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^10 + 9010575713168193445486747304107167067250109483525262187421462890732\ 6511446427899076106/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^9 - 4596936512989437146526225544829821504684374493748678402032902719066\ 44365327333858088545/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^8 + 3179548758883385959768326459370899169861443089937079962592234038039\ 480664006357506704978/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^7 - 9388030202396178942442703125113280246861769909228337779976979452688\ 167578237146390740668/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^6 + 8555983888848441511314502963591766647998711746518933301006846741997\ 691050189697722330874/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^5 + 1811411647351840193142795555494186602169760296691108161971004922174\ 788111198518629941409/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^4 - 6958282922611627442989362962403955406339371428639494567056516308874\ 586229587418077305162/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^3 - 1039984180613989531275973818267821051840817534605941514246622823145\ 736791874876520673315/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^2 + 7390956866860727757910634416971504748182779528808806834174690157313\ 213373104531846651805/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2 - 1956367962697001171317732727488319143482847989873164008430293344830\ 343458141920828139854/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519, c_0101_11 - 37513611215320961931997741288843824760549729135993297828119\ 6710624550948511589487633/34799197242641188965871466308216818944198\ 83428653048159762136285700084422035659000847038*c_1001_2^17 - 4452132208750750726374440993672313079971788965987556379771755788825\ 977778380611210475/347991972426411889658714663082168189441988342865\ 3048159762136285700084422035659000847038*c_1001_2^16 - 3246991906109690420457765314356435211738403632091954612172773356937\ 6869736855513912473/34799197242641188965871466308216818944198834286\ 53048159762136285700084422035659000847038*c_1001_2^15 + 7773013465209012710766603356561110759443430100293552852317139421270\ 0797326682949105861/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^14 + 7004422289530160675736396160945846331826024161023095559884336569453\ 618910727614298204/173995986213205944829357331541084094720994171432\ 6524079881068142850042211017829500423519*c_1001_2^13 - 1741815823141612581477714065018596113213812097308879824793691940997\ 92984759821796693221/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^12 - 4694827377083855752721098042066309420356634416401435654683172061777\ 64178281000806110827/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^11 + 1280595902078124196491371836198703453374283095704608836819645353323\ 217659124677847007238/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^10 - 7581972193918962362758851772837144803806193231426261883330862279131\ 35176925017349589493/3479919724264118896587146630821681894419883428\ 653048159762136285700084422035659000847038*c_1001_2^9 - 2125172987293762625401657388773557033832156592754349396162680039947\ 855717725144829916841/347991972426411889658714663082168189441988342\ 8653048159762136285700084422035659000847038*c_1001_2^8 + 1136892191995321779612310224031093091914960204431245995434844577665\ 4966369519345107903411/34799197242641188965871466308216818944198834\ 28653048159762136285700084422035659000847038*c_1001_2^7 - 1794798756372926676317660849610573230415212838696023433368802290642\ 7863107839765328117032/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2^6 + 4391971534189306110900288767749400800527491142930810175676266598621\ 7081277946398978382405/34799197242641188965871466308216818944198834\ 28653048159762136285700084422035659000847038*c_1001_2^5 - 5757279567850519990665648232372721544883726542715939522017948511319\ 459807367426177857279/347991972426411889658714663082168189441988342\ 8653048159762136285700084422035659000847038*c_1001_2^4 - 1556179124903879154016825649014164555957524039056623590797210577599\ 9245716719610094919923/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2^3 + 4647421247069325079837646315501834722677046698769818342395619229824\ 980522054879267728534/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^2 + 1534323589567279235592931391877687312885832358919781903073351637565\ 4791111920091169992254/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2 - 2385099606536889561494730421534753343351729789655007991358499524993\ 8922371079227884556161/34799197242641188965871466308216818944198834\ 28653048159762136285700084422035659000847038, c_0101_12 - 76843453065678306962955451346816736427192502556571878734037\ 053400253957244474097267/173995986213205944829357331541084094720994\ 1714326524079881068142850042211017829500423519*c_1001_2^17 - 9951099049809736786559616950520293015922868877478402121301794590938\ 28777598082660496/1739959862132059448293573315410840947209941714326\ 524079881068142850042211017829500423519*c_1001_2^16 - 7687935641153343864227549912986754043632657044914047935749362613346\ 114051820870993208/173995986213205944829357331541084094720994171432\ 6524079881068142850042211017829500423519*c_1001_2^15 + 2408453762274905200570677350488008043483119129027095076138787777016\ 2876487077273811622/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^14 + 3355214793222715450156165608725870103774859797114893725896663653047\ 8253362549486887122/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^13 - 4179256000764711295705055024684115422467705536199922224142548595377\ 8681718065387293410/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^12 - 2551684470865212442322888333532465499264321479797137474152250661582\ 50915171962315306028/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^11 + 2328850780515676776716387117238121106226439489111942212146130217783\ 17034478340208083446/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^10 + 1933812211497233006459844370937468094377531056320938764356541665122\ 01108367302622302520/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^9 - 2259393504665240812927210663837851284744415647895832984598524788393\ 65774502401546197161/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^8 + 2136718979479256078949715401458069931652571319668714514448015069324\ 267394452617546486900/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^7 - 5091589851276249838079632328807948344201711565326299846585049644441\ 635572602645498778620/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^6 + 2416176004737551652584193030536498519269967510066978181842640545902\ 151179208401341338696/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^5 + 3295106108101590802748181580126397046375874316832791725802710805760\ 892320537564031480081/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^4 - 4090725096625462225344304700941122998463236404238601624482544183651\ 853193652523793255206/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^3 - 1101107647967810433015059706534553631072938942654970364494063463133\ 541538035100984768671/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^2 + 2961495531232663771362444228358172243632109079769416340184051894968\ 223996341279712632759/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2 - 9702895039695811322279492057640038071642064127831220229044233261125\ 93705454790897768462/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519, c_0101_6 - 283853144447135534653799683841470542836461568613043320498286\ 397603257604902993129083/173995986213205944829357331541084094720994\ 1714326524079881068142850042211017829500423519*c_1001_2^17 - 3348020133423973760985722917420015924499402302713921256433958896975\ 791850773415929284/173995986213205944829357331541084094720994171432\ 6524079881068142850042211017829500423519*c_1001_2^16 - 2407460556196308588334007936086448297200346449621877572313019437497\ 0801373835394618661/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^15 + 1229660196079317095191213232627691041742741849559371146741563711392\ 56643498265593056054/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^14 + 3158846292174892429029253819613552406536024892537946438485272366368\ 0058956168994012066/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^13 - 3013249300857637477095187625439081651827305362562947755011001889561\ 85730750320796190418/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^12 - 8338763175772239538919445719173712471098170224694013981520570845737\ 28269383374351229014/1739959862132059448293573315410840947209941714\ 326524079881068142850042211017829500423519*c_1001_2^11 + 1914037944827976391799806624934754432090256945993658068896495634859\ 230870379301262047046/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^10 - 2821686989180544837711689995862346050569216135268936936829248556685\ 4962956625140170785/17399598621320594482935733154108409472099417143\ 26524079881068142850042211017829500423519*c_1001_2^9 - 1436065111994800625851247564405708704255260271423734185251670086036\ 990547810456004872318/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^8 + 8506927504149350512106721446619392880891312407957448573928554710482\ 381779380958624068789/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^7 - 2762261757438109333440517292902732104638678655212458412678698716319\ 3168718548955559821518/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2^6 + 2877665542546903105330068524899611497741762606968848690401209658230\ 4858872983419798807647/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2^5 + 1668261061749877247722973608689407151201434186689530543299834990952\ 480760854930613648374/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^4 - 2285579800628283161473441011583110830365163941492230438643814893827\ 6026058630353963023400/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2^3 + 4648036461176902911239622973575452766647940154273914092679594932877\ 984947421802595834189/173995986213205944829357331541084094720994171\ 4326524079881068142850042211017829500423519*c_1001_2^2 + 2421042158982061250330291745723126729968012201156322252897244948193\ 9410438634843512467594/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519*c_1001_2 - 1296070276094991945327106507286009687095981586421385293872430876345\ 3463370942788981520101/17399598621320594482935733154108409472099417\ 14326524079881068142850042211017829500423519, c_1001_1 - 1, c_1001_2^18 + 934/93*c_1001_2^17 + 2002/31*c_1001_2^16 - 53585/93*c_1001_2^15 + 64280/93*c_1001_2^14 + 34902/31*c_1001_2^13 + 82900/93*c_1001_2^12 - 361932/31*c_1001_2^11 + 414049/31*c_1001_2^10 + 336452/93*c_1001_2^9 - 3722734/93*c_1001_2^8 + 13996289/93*c_1001_2^7 - 26309987/93*c_1001_2^6 + 18688976/93*c_1001_2^5 + 7215247/93*c_1001_2^4 - 16452424/93*c_1001_2^3 - 3461980/93*c_1001_2^2 + 18699869/93*c_1001_2 - 8975467/93 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.140 Total time: 1.340 seconds, Total memory usage: 32.09MB