Magma V2.19-8 Tue Aug 20 2013 23:38:43 on localhost [Seed = 3035812088] Type ? for help. Type -D to quit. Loading file "K12a745__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a745 geometric_solution 9.37259430 oriented_manifold CS_known -0.0000000000000008 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 1 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -2 2 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.467174283303 1.161796594638 0 5 5 6 0132 0132 0321 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 -1 0 1 0 0 -1 1 -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.289882473232 0.590265722942 7 0 3 5 0132 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 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.289882473232 0.590265722942 8 2 4 0 0132 0213 0213 0132 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 -2 2 -2 0 0 2 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.369712300475 0.362121080598 8 3 0 9 1302 0213 0132 0132 0 0 0 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 0 0 0 0 0 1 -1 2 0 -2 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.651376721795 0.312487796757 7 1 1 2 3201 0132 0321 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 1 0 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.289882473232 0.590265722942 8 9 1 9 2103 2031 0132 2103 0 0 0 0 0 0 0 0 -1 0 0 1 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 3 0 -1 -2 0 -3 0 3 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.055154954383 1.284027792084 2 10 10 5 0132 0132 3201 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 -1 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.897607478963 0.873387549160 3 4 6 9 0132 2031 2103 0321 0 0 0 0 0 -1 0 1 0 0 1 -1 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 0 -2 0 0 -3 3 1 0 0 -1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562830330900 0.819150563726 6 8 4 6 1302 0321 0132 2103 0 0 0 0 0 -1 0 1 1 0 0 -1 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 1 -3 -2 0 0 2 0 1 0 -1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.033391436512 0.777365025115 7 7 10 10 2310 0132 1230 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 0 1 -1 0 0 1 -1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.751624207326 0.370416509675 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0110_6'], 'c_1001_10' : d['c_0101_7'], 'c_1001_5' : negation(d['c_0110_9']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : negation(d['c_0110_9']), 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0110_6']), 'c_1001_8' : d['c_0011_6'], 'c_1010_10' : negation(d['c_0101_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' : negation(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_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' : negation(d['c_0110_6']), 'c_1100_8' : negation(d['c_0110_6']), 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : negation(d['c_0110_6']), 'c_1100_7' : d['c_0011_0'], 'c_1100_6' : negation(d['c_0110_9']), 'c_1100_1' : negation(d['c_0110_9']), 'c_1100_0' : negation(d['c_0110_6']), 'c_1100_3' : negation(d['c_0110_6']), 'c_1100_2' : d['c_1001_0'], 'c_1100_10' : negation(d['c_0101_7']), 'c_1010_7' : d['c_0101_7'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0110_9']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_4'], 'c_1010_8' : d['c_0011_4'], 's_3_1' : 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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0101_7']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_6']), 'c_0101_8' : d['c_0101_0'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0101_7']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : d['c_0011_3'], 'c_0011_10' : negation(d['c_0011_0'])})} 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_3, c_0011_4, c_0011_6, c_0101_0, c_0101_10, c_0101_7, c_0110_6, c_0110_9, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t - 1015959132723865296077737538975744373809488714575247313760947614246\ 998896289378030866249350201645273168215442/622420414494542154053420\ 2438523581961048177173513370089756496712143885694867938621235696241\ 015030142079*c_1001_2^28 + 1148467771631917956020919748710260125070\ 3335026004294080258992930961942021802427141451497371350672353896749\ 133/435694290146179507837394170696650737273372402145935906282954769\ 85007199864075570348649873687105210994553*c_1001_2^27 + 3726724925813095626196294072534135710983130500954187077305201764781\ 05409740924945188387235484580353340782782/6915782383272690600593558\ 2650262021789424190816815223219516630134932063276310429124841069344\ 6114460231*c_1001_2^26 - 342301145808364393781657628833372365991155\ 2770189174411268566730420475737329531058698381397810125879112894105\ 4/43569429014617950783739417069665073727337240214593590628295476985\ 007199864075570348649873687105210994553*c_1001_2^25 - 3995919226227996367512837293924902063449852682916073644559995445489\ 2446824235866745009137699471704659327735756/43569429014617950783739\ 4170696650737273372402145935906282954769850071998640755703486498736\ 87105210994553*c_1001_2^24 + 19066771221843520048074846043962237145\ 5179359196896958082399540432102610333097799595388624766711078098375\ 72011/4356942901461795078373941706966507372733724021459359062829547\ 6985007199864075570348649873687105210994553*c_1001_2^23 + 9054313918288848265943925605703565887322061635182363883687466938372\ 2785753948337754156846746589195394572187702/43569429014617950783739\ 4170696650737273372402145935906282954769850071998640755703486498736\ 87105210994553*c_1001_2^22 + 23811415020805105025648567856377414314\ 2334035015465978743750835412484144014465058993100081928613351358094\ 71560/4356942901461795078373941706966507372733724021459359062829547\ 6985007199864075570348649873687105210994553*c_1001_2^21 - 1849387191578006501816460410517222620684678628351839720894276350701\ 7942791491850080109411172565705805250785275/48410476682908834204154\ 9078551834152525969335717706562536616410944524442934173003873887485\ 4122801221617*c_1001_2^20 - 120324307296024447096842675552890309801\ 1306985758845835137742529364528903444449686593420602879782606350114\ 7899/14523143004872650261246472356555024575779080071531196876098492\ 328335733288025190116216624562368403664851*c_1001_2^19 + 2205676538177494163577098633836452818484784546763737384852016462433\ 1572211847648926182189082871321178535538009/48410476682908834204154\ 9078551834152525969335717706562536616410944524442934173003873887485\ 4122801221617*c_1001_2^18 - 910539142437954478547656494260236479381\ 1631218306288242393524914452739192884772160915542111978787073991949\ 90/1452314300487265026124647235655502457577908007153119687609849232\ 8335733288025190116216624562368403664851*c_1001_2^17 - 1410842122326490878461158624448910365122695340557286432658790339348\ 92699652270866056890562147559261419415663041/4356942901461795078373\ 9417069665073727337240214593590628295476985007199864075570348649873\ 687105210994553*c_1001_2^16 + 2227764831283867042429110058643988636\ 9561655295521136464435451758625914541973221885941204903395170623784\ 541299/435694290146179507837394170696650737273372402145935906282954\ 76985007199864075570348649873687105210994553*c_1001_2^15 + 6750338810390307935985012303556324143096230983712185265225092779913\ 7654337062320292235621058647473277786230143/43569429014617950783739\ 4170696650737273372402145935906282954769850071998640755703486498736\ 87105210994553*c_1001_2^14 - 83066350782807090394579703564206405355\ 1302609003413386048255377412364476372687821135329055127689351609252\ 0392/14523143004872650261246472356555024575779080071531196876098492\ 328335733288025190116216624562368403664851*c_1001_2^13 - 4837275270625439439316222253576868625885816390328644292104714633977\ 02035476589673476301859370891039780803577/6224204144945421540534202\ 4385235819610481771735133700897564967121438856948679386212356962410\ 15030142079*c_1001_2^12 - 13736719569253886924416436029343912024293\ 3654474688422588361812195911744295778582851078603046315914081657462\ 94/4356942901461795078373941706966507372733724021459359062829547698\ 5007199864075570348649873687105210994553*c_1001_2^11 + 4964061459291466305881332581474716659630015497709708306697256703080\ 079478107453076985845203599909032370918356/145231430048726502612464\ 7235655502457577908007153119687609849232833573328802519011621662456\ 2368403664851*c_1001_2^10 - 522750730242812048649681174680024438346\ 0926254699699152798941209463486676428836915942483512569481619201818\ 260/435694290146179507837394170696650737273372402145935906282954769\ 85007199864075570348649873687105210994553*c_1001_2^9 + 2351315302931472439969811331020219011535643837057892046800892445815\ 101837885627107614619731896055559290891594/435694290146179507837394\ 1706966507372733724021459359062829547698500719986407557034864987368\ 7105210994553*c_1001_2^8 - 2368486987898324152598318021366125442340\ 5732392740846736740439170435659967785775015241365543756129330377441\ 84/4356942901461795078373941706966507372733724021459359062829547698\ 5007199864075570348649873687105210994553*c_1001_2^7 + 3032851331671226829733312607642939713395625325368245712831218790916\ 27390073705516636549189655282897610085917/4356942901461795078373941\ 7069665073727337240214593590628295476985007199864075570348649873687\ 105210994553*c_1001_2^6 + 89593075768176012220368615070630362296484\ 042739081569566712616852434445924054509678715544078834849181540998/\ 6224204144945421540534202438523581961048177173513370089756496712143\ 885694867938621235696241015030142079*c_1001_2^5 - 1087296187672936006934770488120605177459065530386206853697276084452\ 44131354998567732930289266854141003690357/1452314300487265026124647\ 2356555024575779080071531196876098492328335733288025190116216624562\ 368403664851*c_1001_2^4 + 99158515413157554567851202059382800633709\ 342182642793969375521752619503080022504620592310702316678480825868/\ 4356942901461795078373941706966507372733724021459359062829547698500\ 7199864075570348649873687105210994553*c_1001_2^3 - 1257426071457976880213852257004697025756734045635464569956161096084\ 80772553552860562110625217175138638131092/4356942901461795078373941\ 7069665073727337240214593590628295476985007199864075570348649873687\ 105210994553*c_1001_2^2 + 73141497510575963213353082247477845897450\ 402027012306838682080902700662018184946896777516586649208536781617/\ 4356942901461795078373941706966507372733724021459359062829547698500\ 7199864075570348649873687105210994553*c_1001_2 - 1730187851574750703138855501874351345666146449508679945063619990226\ 0757600250000852409815248843207519831396/43569429014617950783739417\ 0696650737273372402145935906282954769850071998640755703486498736871\ 05210994553, c_0011_0 - 1, c_0011_3 + 967295352710576743346001208036768794136239816893781965608527\ 0822856943443971393399002947542277089849/24214076479369386928306285\ 7218801938970708976635325174957167571635909328371942260862158430533\ 28471*c_1001_2^28 - 16029712047063583912758167150918146635150788230\ 106116148401361558257422391320062469791549706271618486/242140764793\ 6938692830628572188019389707089766353251749571675716359093283719422\ 6086215843053328471*c_1001_2^27 - 280316900439540814169386118954258\ 4296531649199337794712812811236540908460571522167680381586875559789\ 2/24214076479369386928306285721880193897070897663532517495716757163\ 590932837194226086215843053328471*c_1001_2^26 + 4145670737643762696819591266943640292812404077801366605336351212656\ 3576448227196506723714675370913053/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^25 + 44065610450394503517534307485147851777851751972768982\ 187949717253075272948264678567272172406576294271/242140764793693869\ 2830628572188019389707089766353251749571675716359093283719422608621\ 5843053328471*c_1001_2^24 - 976381659959264209827058155485043939216\ 1955427181952654293338491432920701226142369881572242960868126/24214\ 0764793693869283062857218801938970708976635325174957167571635909328\ 37194226086215843053328471*c_1001_2^23 - 1100771035237690326209596518817054634537226117993928214532619770219\ 57615493318904142639174143566153061/2421407647936938692830628572188\ 0193897070897663532517495716757163590932837194226086215843053328471\ *c_1001_2^22 - 3961373054755434121898260568950924369069698897911799\ 2772605195559032554555827430877040407356818985496/24214076479369386\ 9283062857218801938970708976635325174957167571635909328371942260862\ 15843053328471*c_1001_2^21 + 18927047959106572007241710234974082058\ 0017987769258699873988881186649861325446855495124289231418361717/24\ 2140764793693869283062857218801938970708976635325174957167571635909\ 32837194226086215843053328471*c_1001_2^20 + 4167931104635403775061778219097633681272204305035061924158223340506\ 2057413943199377157845367688158627/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^19 - 19558158133815873227054009508410181525209057255026694\ 3363164136175103129268900455404202879240629817080/24214076479369386\ 9283062857218801938970708976635325174957167571635909328371942260862\ 15843053328471*c_1001_2^18 + 70660189068066846412455695057362697311\ 99068583474082062642651409640934494451907771192978930352325268/2421\ 4076479369386928306285721880193897070897663532517495716757163590932\ 837194226086215843053328471*c_1001_2^17 + 1041372882898269486836421743027449037617542878273119866701754376751\ 07845165663849428416955865557745044/2421407647936938692830628572188\ 0193897070897663532517495716757163590932837194226086215843053328471\ *c_1001_2^16 - 1203993569123115995759496202445143524267597410333199\ 6820895203455290478751724605876629926822996657705/24214076479369386\ 9283062857218801938970708976635325174957167571635909328371942260862\ 15843053328471*c_1001_2^15 - 36098360443330602159457723805909700868\ 052599384219573497505282555321790985149273840370289396322795637/242\ 1407647936938692830628572188019389707089766353251749571675716359093\ 2837194226086215843053328471*c_1001_2^14 + 1562875456136630588245390700724716807357194462824209372503319266814\ 1643153559293719873487487654963821/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^13 - 20613117773497955385228105078893914586104707888745829\ 095955350678549972489460158840109427224114941981/242140764793693869\ 2830628572188019389707089766353251749571675716359093283719422608621\ 5843053328471*c_1001_2^12 + 337882582931799726656895818136633127284\ 92466155393843937067895479139012584944854258537650417798891832/2421\ 4076479369386928306285721880193897070897663532517495716757163590932\ 837194226086215843053328471*c_1001_2^11 - 2396139772381265022231483977937710375042985148501002105580343635004\ 1784200343016965731764182681128358/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^10 + 17100415867841880514810267716201703173087915180965414\ 016497021515593484212362388122733798812199114467/242140764793693869\ 2830628572188019389707089766353251749571675716359093283719422608621\ 5843053328471*c_1001_2^9 - 1459309455402426238460236266462074314687\ 6495241449032962837291982717007804769660917251844763046161578/24214\ 0764793693869283062857218801938970708976635325174957167571635909328\ 37194226086215843053328471*c_1001_2^8 + 1040612644612865432987207332943120797363002511408760417341300553798\ 1397776950937801328288955553534419/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^7 - 518509191564675714921555808199413440102700227887878545\ 7219673132855632086958547506164983518551827102/24214076479369386928\ 3062857218801938970708976635325174957167571635909328371942260862158\ 43053328471*c_1001_2^6 + 263964354765420229286228689602411107553051\ 3886099415715279850887377126053010659860711106690274056169/24214076\ 4793693869283062857218801938970708976635325174957167571635909328371\ 94226086215843053328471*c_1001_2^5 - 1339902256325779024150940515192564059193357305853253682877022928512\ 735014446002724975747716380203028/242140764793693869283062857218801\ 93897070897663532517495716757163590932837194226086215843053328471*c\ _1001_2^4 + 5848966993506774160477387706607103268086959593183627249\ 19630834418329732649137774862896577919055246/2421407647936938692830\ 6285721880193897070897663532517495716757163590932837194226086215843\ 053328471*c_1001_2^3 - 13426098468211906581219170414223961019322994\ 9442164625303208879056427168940548603318385612657992208/24214076479\ 3693869283062857218801938970708976635325174957167571635909328371942\ 26086215843053328471*c_1001_2^2 + 686553605074209295183798028505639\ 38216080078148778973220252196976252427156651792177045864960821903/2\ 4214076479369386928306285721880193897070897663532517495716757163590\ 932837194226086215843053328471*c_1001_2 - 3481589093635825638132623113283264625637589119608951061626329332864\ 752668752241990957738218757704/242140764793693869283062857218801938\ 97070897663532517495716757163590932837194226086215843053328471, c_0011_4 + 940990025244521608309350304158516485996168533687525460939654\ 4169390742173510386126492736596263336163/24214076479369386928306285\ 7218801938970708976635325174957167571635909328371942260862158430533\ 28471*c_1001_2^28 - 17874026615769726089192512492182886928686067480\ 344930834953963360656544564919615861347559737112929310/242140764793\ 6938692830628572188019389707089766353251749571675716359093283719422\ 6086215843053328471*c_1001_2^27 - 247692754299683947243716237480614\ 0314418129773330844373576223644873315817549341764100242198247917474\ 8/24214076479369386928306285721880193897070897663532517495716757163\ 590932837194226086215843053328471*c_1001_2^26 + 4894618140620578075187051054701942346339417379784364834873634756973\ 0193185396928367007945432051350173/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^25 + 37487831561431090606141090372942711679775886017091988\ 748161137842116441505696449938246556133006989105/242140764793693869\ 2830628572188019389707089766353251749571675716359093283719422608621\ 5843053328471*c_1001_2^24 - 255117478751291070864826407520342817911\ 11824578592935232513545696898789302197817129013061957214459364/2421\ 4076479369386928306285721880193897070897663532517495716757163590932\ 837194226086215843053328471*c_1001_2^23 - 1129702647679180138071909262689221188958572416067870447939044074527\ 31482153861683249848929653558534519/2421407647936938692830628572188\ 0193897070897663532517495716757163590932837194226086215843053328471\ *c_1001_2^22 - 1096443593528483818315296968266426303427593377646757\ 6243706078593614514082183770133915175720215385620/24214076479369386\ 9283062857218801938970708976635325174957167571635909328371942260862\ 15843053328471*c_1001_2^21 + 21135102347862087863970091247468955223\ 2620577686631153728577119543798807418009053238292848487854700889/24\ 2140764793693869283062857218801938970708976635325174957167571635909\ 32837194226086215843053328471*c_1001_2^20 + 4231640446255401560607417545328605765757175041336704335337581308487\ 721959490396282020718809528925571/242140764793693869283062857218801\ 93897070897663532517495716757163590932837194226086215843053328471*c\ _1001_2^19 - 229566331163581652883614133718274261721298082062861422\ 234434950588509599381239314897219817043002733377/242140764793693869\ 2830628572188019389707089766353251749571675716359093283719422608621\ 5843053328471*c_1001_2^18 + 391472082295457512168291857403114809421\ 17746779139120453363114674357087323851851810476373119331993730/2421\ 4076479369386928306285721880193897070897663532517495716757163590932\ 837194226086215843053328471*c_1001_2^17 + 1310122704156813001487445670764101315044395788009791481131252593408\ 45960434265765756432075910127215938/2421407647936938692830628572188\ 0193897070897663532517495716757163590932837194226086215843053328471\ *c_1001_2^16 - 2717716429178367116508293039284843030723768793214451\ 9027416602603867229828887183164004238548399392621/24214076479369386\ 9283062857218801938970708976635325174957167571635909328371942260862\ 15843053328471*c_1001_2^15 - 51194182719072919382689000560045474806\ 082734199431199250262251540152496054646435073946450848125078315/242\ 1407647936938692830628572188019389707089766353251749571675716359093\ 2837194226086215843053328471*c_1001_2^14 + 1938199949494790051309496002979935630429663233567701533737167242079\ 7500669687734844556941993238971717/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^13 - 16643563094107941517180374169995342941723689985490345\ 385459040185298456823156511122010614022969232135/242140764793693869\ 2830628572188019389707089766353251749571675716359093283719422608621\ 5843053328471*c_1001_2^12 + 378683207014035015695791566183185572456\ 94848793664008190420166707382893380047778393352493484043075170/2421\ 4076479369386928306285721880193897070897663532517495716757163590932\ 837194226086215843053328471*c_1001_2^11 - 2907487434870396356643104999449847251225622659016578621089616128091\ 2152090509092571825246743508914236/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^10 + 18236471742733642183876364381729039632109544041664606\ 369307519375345845612104867055908458044937018917/242140764793693869\ 2830628572188019389707089766353251749571675716359093283719422608621\ 5843053328471*c_1001_2^9 - 1669583493852087708537910598851705842822\ 3798272271610850822967885554682447768124084533973762399366826/24214\ 0764793693869283062857218801938970708976635325174957167571635909328\ 37194226086215843053328471*c_1001_2^8 + 1248948140126402659685033519027572053387048232767989475909162131869\ 7681181372433985328308706992966023/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^7 - 597551643357711958887368722017265091622928877720778268\ 9685962221512959502231957171250231770355528562/24214076479369386928\ 3062857218801938970708976635325174957167571635909328371942260862158\ 43053328471*c_1001_2^6 + 311010610507468253400601606972245575930494\ 3956114714287147773747116610746451951082230612470540559457/24214076\ 4793693869283062857218801938970708976635325174957167571635909328371\ 94226086215843053328471*c_1001_2^5 - 1722273421176716377583115095002983415065288594001438940877963828802\ 033342030894938510332719738408982/242140764793693869283062857218801\ 93897070897663532517495716757163590932837194226086215843053328471*c\ _1001_2^4 + 7583409720757187342523087040303104395088578306167802193\ 34996452798720609685842044705605357339858950/2421407647936938692830\ 6285721880193897070897663532517495716757163590932837194226086215843\ 053328471*c_1001_2^3 - 20535875866199797511967615235694623542721220\ 4117384952020775841352722047254328722479369309250229036/24214076479\ 3693869283062857218801938970708976635325174957167571635909328371942\ 26086215843053328471*c_1001_2^2 + 883746987247407468220476758015790\ 33314343084046308142959762172729962452135857773729937965333471232/2\ 4214076479369386928306285721880193897070897663532517495716757163590\ 932837194226086215843053328471*c_1001_2 - 2245032530690208287845843466510256369747943058383358801455550261841\ 8246146636032071945536197740694/24214076479369386928306285721880193\ 897070897663532517495716757163590932837194226086215843053328471, c_0011_6 + 256536074280842731718701469450376366278396231736939213081234\ 65407052214735624179620408091080479935364/2421407647936938692830628\ 5721880193897070897663532517495716757163590932837194226086215843053\ 328471*c_1001_2^28 - 5672678728728352842799112418779377686071979799\ 1041247183415854274255912298935581475752572425767506124/24214076479\ 3693869283062857218801938970708976635325174957167571635909328371942\ 26086215843053328471*c_1001_2^27 - 5757870161088686795815647426999582188402997598469230895626916019855\ 6471060246072090904076356732644526/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^26 + 15991732851499103256205301387623457441324209622161581\ 9573362019743073501581041660385223177197326473032/24214076479369386\ 9283062857218801938970708976635325174957167571635909328371942260862\ 15843053328471*c_1001_2^25 + 78770011047121245518139319536998181354\ 906841074823562766901151739949893529585335103865264168967930358/242\ 1407647936938692830628572188019389707089766353251749571675716359093\ 2837194226086215843053328471*c_1001_2^24 - 1116749503072095189195782970296136235119627975919929237675783220989\ 38710836783219092271947155066569163/2421407647936938692830628572188\ 0193897070897663532517495716757163590932837194226086215843053328471\ *c_1001_2^23 - 3154957145797002703591532098862283451620332505534636\ 33411891766669982613472583985895102768000764055682/2421407647936938\ 6928306285721880193897070897663532517495716757163590932837194226086\ 215843053328471*c_1001_2^22 + 5051331885415190849826441047502043167\ 5759697998856964376232629906983266813379948980805917816093440881/24\ 2140764793693869283062857218801938970708976635325174957167571635909\ 32837194226086215843053328471*c_1001_2^21 + 6336065031785039362196905248471231676645905482708751382366955641150\ 76645869466294265637109135229297242/2421407647936938692830628572188\ 0193897070897663532517495716757163590932837194226086215843053328471\ *c_1001_2^20 - 1145292923689991125292108486458697552095532684676454\ 50783860590367225437796571824268957431925905630977/2421407647936938\ 6928306285721880193897070897663532517495716757163590932837194226086\ 215843053328471*c_1001_2^19 - 6927661811382724229670601121453319680\ 29518378663640082254106998203206789858331168243855167318891201703/2\ 4214076479369386928306285721880193897070897663532517495716757163590\ 932837194226086215843053328471*c_1001_2^18 + 2394573308955012765583430987951451272589477040120963926105143243054\ 16588290366958965673230865421203865/2421407647936938692830628572188\ 0193897070897663532517495716757163590932837194226086215843053328471\ *c_1001_2^17 + 3795565141340022485566616865553245423601360183080091\ 30953656932946818681531026823408317240596461639994/2421407647936938\ 6928306285721880193897070897663532517495716757163590932837194226086\ 215843053328471*c_1001_2^16 - 1543567755470200544882213709683439924\ 63521386179526506684256463425498584020190195856633460244539009187/2\ 4214076479369386928306285721880193897070897663532517495716757163590\ 932837194226086215843053328471*c_1001_2^15 - 1404758970245223493092510030444315249049433497975522370510995722955\ 31718046081711509746397305774633800/2421407647936938692830628572188\ 0193897070897663532517495716757163590932837194226086215843053328471\ *c_1001_2^14 + 8569816643006794722749756451439409946318226310635267\ 6030786619091114439946325765554333681286409307529/24214076479369386\ 9283062857218801938970708976635325174957167571635909328371942260862\ 15843053328471*c_1001_2^13 - 57118201649977709074679129508280861461\ 668501659346099998285709686863697521115515827896702487590321820/242\ 1407647936938692830628572188019389707089766353251749571675716359093\ 2837194226086215843053328471*c_1001_2^12 + 1139549756707000664819823438995746731010421813202308335750473604297\ 55445580839339267898574913525085298/2421407647936938692830628572188\ 0193897070897663532517495716757163590932837194226086215843053328471\ *c_1001_2^11 - 9875150258806951085516743123666915767228172357659114\ 4546413293421398778427901429514992825234068584528/24214076479369386\ 9283062857218801938970708976635325174957167571635909328371942260862\ 15843053328471*c_1001_2^10 + 62560632510748407449675264002023634140\ 663843524609234036454365647175389861483449326398194766545981531/242\ 1407647936938692830628572188019389707089766353251749571675716359093\ 2837194226086215843053328471*c_1001_2^9 - 5517390649668611604426990382346099558500195293434714989205572733390\ 1794016514722878597103911964842131/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^8 + 409782430711049050324356186136343337374211787143540309\ 82748545669956430541564942909325255190963119341/2421407647936938692\ 8306285721880193897070897663532517495716757163590932837194226086215\ 843053328471*c_1001_2^7 - 22141415697078993832361330877821829569104\ 451282593327245477060882961116501895848810317329152836572246/242140\ 7647936938692830628572188019389707089766353251749571675716359093283\ 7194226086215843053328471*c_1001_2^6 + 1040221992180023595467577500261261755792491745569112630839458641561\ 4432172678620249799393392097892163/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^5 - 582847732894733879524376902739649238467952476344587864\ 8573299683016248092974658775650553923115969166/24214076479369386928\ 3062857218801938970708976635325174957167571635909328371942260862158\ 43053328471*c_1001_2^4 + 251424432728389619626033853007424324306427\ 2980546149914856430219168821257142300521583845985553390585/24214076\ 4793693869283062857218801938970708976635325174957167571635909328371\ 94226086215843053328471*c_1001_2^3 - 8866802802569236094252536366399832285070782695148380078469110223083\ 90460046989019190673008419281938/2421407647936938692830628572188019\ 3897070897663532517495716757163590932837194226086215843053328471*c_\ 1001_2^2 + 29108269314808929026554364518828889814949096501026849742\ 1896319343689403592228539905928334985877914/24214076479369386928306\ 2857218801938970708976635325174957167571635909328371942260862158430\ 53328471*c_1001_2 - 89805615769307094342926120099282107474875349269\ 864458527671290754450458787210461632225857716086328/242140764793693\ 8692830628572188019389707089766353251749571675716359093283719422608\ 6215843053328471, c_0101_0 - 971997989013953192982183752909819823570288807650800185786098\ 6578231494850256920190039801030892093629/24214076479369386928306285\ 7218801938970708976635325174957167571635909328371942260862158430533\ 28471*c_1001_2^28 + 10026722709682925680427350698965791241174600075\ 606630425689380133565389525971612208539714718309174538/242140764793\ 6938692830628572188019389707089766353251749571675716359093283719422\ 6086215843053328471*c_1001_2^27 + 350602282207031419429443282852995\ 3138931182019334326443873294610193068534691707859496998177531553525\ 1/24214076479369386928306285721880193897070897663532517495716757163\ 590932837194226086215843053328471*c_1001_2^26 - 1938230371906897241594960677537558963762766817601295912103515390946\ 0428490792044835261355611822690323/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^25 - 60085978853167964765541351706355071533391348438676967\ 211592582393263822026171569589579781717587492457/242140764793693869\ 2830628572188019389707089766353251749571675716359093283719422608621\ 5843053328471*c_1001_2^24 - 295795337764114021788408509091790765370\ 81963840221629255135567640280674884277679084641648355820713721/2421\ 4076479369386928306285721880193897070897663532517495716757163590932\ 837194226086215843053328471*c_1001_2^23 + 9972156978910226654520293114294899928268436146058375737975761651704\ 3344310150826594848174254311330378/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^22 + 10857463625435281635426243936166008733530499182828114\ 6588419955530082719515943147749013924227032326095/24214076479369386\ 9283062857218801938970708976635325174957167571635909328371942260862\ 15843053328471*c_1001_2^21 - 12921169764912026027734931854166305845\ 2948912891983230273383588848171382016328719427552972499173966596/24\ 2140764793693869283062857218801938970708976635325174957167571635909\ 32837194226086215843053328471*c_1001_2^20 - 1392790498211283548251842606232243700957816130934306019716744386825\ 69982762457069871934497765290899653/2421407647936938692830628572188\ 0193897070897663532517495716757163590932837194226086215843053328471\ *c_1001_2^19 + 1128856815843537349986651661542737350535043865079487\ 97802457488610464956465632178569743334271358147842/2421407647936938\ 6928306285721880193897070897663532517495716757163590932837194226086\ 215843053328471*c_1001_2^18 + 8919077088969185785145038231420682952\ 0168542413969281806118953486639821465974824311280968437388418900/24\ 2140764793693869283062857218801938970708976635325174957167571635909\ 32837194226086215843053328471*c_1001_2^17 - 5200425254564947872671278746634010844664427090713306226404793332506\ 5289070610262906791163297921271934/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^16 - 44259769557700399437185714761254737072235747152428335\ 600164339661328919341798404360806199544801583174/242140764793693869\ 2830628572188019389707089766353251749571675716359093283719422608621\ 5843053328471*c_1001_2^15 + 152978879109682228095393949943520855252\ 67339250504401178482247795765678789977308362095132980652147659/2421\ 4076479369386928306285721880193897070897663532517495716757163590932\ 837194226086215843053328471*c_1001_2^14 + 6707530381161259035238257309719173212887336386365225073504772013860\ 253473283441101570686356660372936/242140764793693869283062857218801\ 93897070897663532517495716757163590932837194226086215843053328471*c\ _1001_2^13 + 181310755594548697833781838453808671612791000440486249\ 10850642152013608423481973290903937984602049984/2421407647936938692\ 8306285721880193897070897663532517495716757163590932837194226086215\ 843053328471*c_1001_2^12 - 2578264519614828608898628954058400422474\ 8693492506351748844934502048651454698189933859517005350071850/24214\ 0764793693869283062857218801938970708976635325174957167571635909328\ 37194226086215843053328471*c_1001_2^11 + 1170288212476773996729183809303297621643943925695007939207392081045\ 4819436139714239227698371967169718/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^10 - 10892928704404917042806445245722403980684907555757468\ 076209566611042351529388376993494568820518545909/242140764793693869\ 2830628572188019389707089766353251749571675716359093283719422608621\ 5843053328471*c_1001_2^9 + 8719423475066101068721147051205872216851\ 008141482114312095675073203965128216707386822244677901439880/242140\ 7647936938692830628572188019389707089766353251749571675716359093283\ 7194226086215843053328471*c_1001_2^8 - 5767819958385866579078936260990823993745329406291331841618623844821\ 600779253663648448811227197043714/242140764793693869283062857218801\ 93897070897663532517495716757163590932837194226086215843053328471*c\ _1001_2^7 + 2287530395643004705735872632037377467302628666424466296\ 158714896957192490193241956283618921705339118/242140764793693869283\ 0628572188019389707089766353251749571675716359093283719422608621584\ 3053328471*c_1001_2^6 - 1469598396418839437618038000236313697684942\ 797547752664487240303053845795252703011346076393879090303/242140764\ 7936938692830628572188019389707089766353251749571675716359093283719\ 4226086215843053328471*c_1001_2^5 + 7445349514459896378881226663529429693237077306205250208144075386645\ 29884716436551976803556118025390/2421407647936938692830628572188019\ 3897070897663532517495716757163590932837194226086215843053328471*c_\ 1001_2^4 - 24303886090468249219014222500169250645823352338288803419\ 5413299128039057275037330450437892782412982/24214076479369386928306\ 2857218801938970708976635325174957167571635909328371942260862158430\ 53328471*c_1001_2^3 + 255325365668994992818727073157418222709338109\ 35779586234971452205907894923052885439296559771319580/2421407647936\ 9386928306285721880193897070897663532517495716757163590932837194226\ 086215843053328471*c_1001_2^2 - 31264694213013693733002441211966331\ 063773686446460117542878917103564770578269293098953882648360007/242\ 1407647936938692830628572188019389707089766353251749571675716359093\ 2837194226086215843053328471*c_1001_2 + 3042566960002360676371194240814496829676572118744902436214632337885\ 449220737077562371212132768512/242140764793693869283062857218801938\ 97070897663532517495716757163590932837194226086215843053328471, c_0101_10 - 17293620841070801915654554153426553729178130298822008661374\ 104522355707640433624401565961155590667098/242140764793693869283062\ 8572188019389707089766353251749571675716359093283719422608621584305\ 3328471*c_1001_2^28 + 220556590889546556600776609751875472455769776\ 60773476148484603236981806537542350460713285994041533431/2421407647\ 9369386928306285721880193897070897663532517495716757163590932837194\ 226086215843053328471*c_1001_2^27 + 5688741416001207170465002964572356365841685629513646108479228039801\ 6837267915735269959780206523664179/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^26 - 50342710652321483850275240289869383301267121232325899\ 825440562996188618363555605506095872315691339136/242140764793693869\ 2830628572188019389707089766353251749571675716359093283719422608621\ 5843053328471*c_1001_2^25 - 921353182252656027042359148741890488968\ 83755281490997162290798543591150238641243292478925067439782701/2421\ 4076479369386928306285721880193897070897663532517495716757163590932\ 837194226086215843053328471*c_1001_2^24 - 2239954681183706713906003241529729162026595829390766225559168399994\ 6088554159958679323765535068840393/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^23 + 17757676745999304452754701474726189930824047738944771\ 0713342515046202826076770687798255595123960889765/24214076479369386\ 9283062857218801938970708976635325174957167571635909328371942260862\ 15843053328471*c_1001_2^22 + 13565347630159302453095397729148260015\ 9535983288969831913958704514813560828168491482542848322563673092/24\ 2140764793693869283062857218801938970708976635325174957167571635909\ 32837194226086215843053328471*c_1001_2^21 - 2665079668408427190583859249518234613215681291643319861541547840887\ 92424941629984236385545570649636939/2421407647936938692830628572188\ 0193897070897663532517495716757163590932837194226086215843053328471\ *c_1001_2^20 - 1594051393539866286534604107999193835236582627847127\ 02437699499350262340509846082707337236608078079923/2421407647936938\ 6928306285721880193897070897663532517495716757163590932837194226086\ 215843053328471*c_1001_2^19 + 2605210811446145017177211275797343579\ 09482458492690114636321549610189531259279222834680136842337241641/2\ 4214076479369386928306285721880193897070897663532517495716757163590\ 932837194226086215843053328471*c_1001_2^18 + 6295448738569430675391895359560790707368038629066147566715896289604\ 4612518884058551673152816626516133/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^17 - 13623373460061108486144740762773219338876042502928886\ 1012324387721288678427807679601064135809875038149/24214076479369386\ 9283062857218801938970708976635325174957167571635909328371942260862\ 15843053328471*c_1001_2^16 - 13038715923030867174212322963294467740\ 650951557975253967952242597122829662350192151228365437640129733/242\ 1407647936938692830628572188019389707089766353251749571675716359093\ 2837194226086215843053328471*c_1001_2^15 + 4690604037629477738208782638499462615457573917957530829614027445062\ 1736621567834930703433710551451153/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^14 - 20644670164419352742787529706507456769220816764907737\ 575887506785114422443144391059861559906084555505/242140764793693869\ 2830628572188019389707089766353251749571675716359093283719422608621\ 5843053328471*c_1001_2^13 + 331687444160111062489307857229020106218\ 38121933417337682195382022866354392982214871631091157462290382/2421\ 4076479369386928306285721880193897070897663532517495716757163590932\ 837194226086215843053328471*c_1001_2^12 - 4434664563336957707201165623447329459674236299730727308019431589358\ 2372253371416575806328894908196492/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^11 + 28579510576011450227875267098405971643196866789284208\ 462429592759802073363354917440010570706426480548/242140764793693869\ 2830628572188019389707089766353251749571675716359093283719422608621\ 5843053328471*c_1001_2^10 - 254771106518972528169896512078583481182\ 49634136279093385739669506642788369873318062406941792280156237/2421\ 4076479369386928306285721880193897070897663532517495716757163590932\ 837194226086215843053328471*c_1001_2^9 + 1911963417352871659700391212192765768701294996472168075382193681872\ 1011918455185788740157279908666170/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^8 - 130930177992123670363158781552874601591402018280076063\ 52240950514495214960291158664018850991619546891/2421407647936938692\ 8306285721880193897070897663532517495716757163590932837194226086215\ 843053328471*c_1001_2^7 + 59216106012135302964516222796473345041549\ 22967821840534669157125613752478784243476512612689244524744/2421407\ 6479369386928306285721880193897070897663532517495716757163590932837\ 194226086215843053328471*c_1001_2^6 - 3443516278470262406252474131677463431312459204932905332032639135199\ 350740163655622282390280137711153/242140764793693869283062857218801\ 93897070897663532517495716757163590932837194226086215843053328471*c\ _1001_2^5 + 1515360773272172490757492433263010922259771816494802792\ 298277883535938810376308704953250254197122212/242140764793693869283\ 0628572188019389707089766353251749571675716359093283719422608621584\ 3053328471*c_1001_2^4 - 6546373076243581036887647328620664812945163\ 34248641913847552282341630231025411657040567344930359499/2421407647\ 9369386928306285721880193897070897663532517495716757163590932837194\ 226086215843053328471*c_1001_2^3 + 1565022606707273883971044746920957816666200312665712777215866822954\ 03719063149238076449905569651488/2421407647936938692830628572188019\ 3897070897663532517495716757163590932837194226086215843053328471*c_\ 1001_2^2 - 73095617598674656488159672233022711742122594997547663739\ 621759816168584149728036364011615111171838/242140764793693869283062\ 8572188019389707089766353251749571675716359093283719422608621584305\ 3328471*c_1001_2 - 333299739165583186866262208920696529922003073888\ 58849120345470497445402094587692324328377653832675/2421407647936938\ 6928306285721880193897070897663532517495716757163590932837194226086\ 215843053328471, c_0101_7 + 287104417800506683410463819824425751253639672177503815839851\ 05121055054029057151728851289598521983089/2421407647936938692830628\ 5721880193897070897663532517495716757163590932837194226086215843053\ 328471*c_1001_2^28 - 3671017018525418913715875192148332280025547738\ 7631846956785857937398824632761323510752551853279256356/24214076479\ 3693869283062857218801938970708976635325174957167571635909328371942\ 26086215843053328471*c_1001_2^27 - 9474031916372806929124155071044554821088239579218024842063065481260\ 3133649554902247534057786866240069/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^26 + 84077965448333036877264964650014731513630459488553747\ 176060088112963396875633840065505085213715423834/242140764793693869\ 2830628572188019389707089766353251749571675716359093283719422608621\ 5843053328471*c_1001_2^25 + 154348536146896807011716789153267870060\ 488457616198836499062484864051496257396849700107883876587389774/242\ 1407647936938692830628572188019389707089766353251749571675716359093\ 2837194226086215843053328471*c_1001_2^24 + 3674198467179898189396345297446602972891682544187486542855511685584\ 7957220810824435830853857245907962/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^23 - 29766057418123448191225762170067810557102540445426721\ 2192325591665655470402461444416967370401517060535/24214076479369386\ 9283062857218801938970708976635325174957167571635909328371942260862\ 15843053328471*c_1001_2^22 - 22690791208384478128693398048935498481\ 3051603928835943607386031377376582799548781173005580921753046306/24\ 2140764793693869283062857218801938970708976635325174957167571635909\ 32837194226086215843053328471*c_1001_2^21 + 4463074589266644326884929420969142422339048309396028275792730977586\ 09901960032389054720045254973608052/2421407647936938692830628572188\ 0193897070897663532517495716757163590932837194226086215843053328471\ *c_1001_2^20 + 2696584359911293248069202770299347446905582741775384\ 66257971058642908632335586482319968018642986855180/2421407647936938\ 6928306285721880193897070897663532517495716757163590932837194226086\ 215843053328471*c_1001_2^19 - 4358832616246295811272435126785577514\ 24959830817114416145346436669445393384799372894239146933376398769/2\ 4214076479369386928306285721880193897070897663532517495716757163590\ 932837194226086215843053328471*c_1001_2^18 - 1109831268803498088848970393001344658678106925651466632079772641945\ 71452054758431065468071338734545082/2421407647936938692830628572188\ 0193897070897663532517495716757163590932837194226086215843053328471\ *c_1001_2^17 + 2277848342064772790250011690446615704348062378229852\ 38186311974054069349030023313660675754638379724540/2421407647936938\ 6928306285721880193897070897663532517495716757163590932837194226086\ 215843053328471*c_1001_2^16 + 2621354964945207594521601834932835379\ 0620674673658220266082728426971657134024880912247279198975940106/24\ 2140764793693869283062857218801938970708976635325174957167571635909\ 32837194226086215843053328471*c_1001_2^15 - 7812829067264744688229454695512004062988356574929661597458954734314\ 0122364949725664075132368385001305/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^14 + 32052671221240611888379837075251963847497557467642880\ 727063508523414915363542821945282390832329450774/242140764793693869\ 2830628572188019389707089766353251749571675716359093283719422608621\ 5843053328471*c_1001_2^13 - 552844587617408482061229920944864867214\ 09848736805106489759523511730852009625251401230633119225853461/2421\ 4076479369386928306285721880193897070897663532517495716757163590932\ 837194226086215843053328471*c_1001_2^12 + 7411549554776640510745885973702201509294072404761949971446170309463\ 8750286368896048735920271055859523/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^11 - 47035964774160294326166019201880163086845540101563142\ 620513070129906180920535750968847265735347833699/242140764793693869\ 2830628572188019389707089766353251749571675716359093283719422608621\ 5843053328471*c_1001_2^10 + 418444949472712020051371828746872639804\ 03107829050162716553722241743098519196905979617025591524831219/2421\ 4076479369386928306285721880193897070897663532517495716757163590932\ 837194226086215843053328471*c_1001_2^9 - 3178056585983665497213768580076328466101002952058144763280631742467\ 8709033460380414625003007596870413/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^8 + 214822843278333494412444015274833600786586304650740289\ 57671138344346113291684252106039323280386326219/2421407647936938692\ 8306285721880193897070897663532517495716757163590932837194226086215\ 843053328471*c_1001_2^7 - 97875992740027082426719571512001622083438\ 60718607114137352273872028390790121808985145917093536522201/2421407\ 6479369386928306285721880193897070897663532517495716757163590932837\ 194226086215843053328471*c_1001_2^6 + 5633492347159256245529612090534501906267481976792186196190370839458\ 735020881536514013941850320305591/242140764793693869283062857218801\ 93897070897663532517495716757163590932837194226086215843053328471*c\ _1001_2^5 - 2560596364742759053458552169546798287813816108866742201\ 156261338526173004947584029219151705873521336/242140764793693869283\ 0628572188019389707089766353251749571675716359093283719422608621584\ 3053328471*c_1001_2^4 + 1060316659669866828891859683383685993960144\ 223746766876464562379874425008433913344567511784473061867/242140764\ 7936938692830628572188019389707089766353251749571675716359093283719\ 4226086215843053328471*c_1001_2^3 - 2967930610114916874717316301837120862678557426866681100349607696779\ 47901975110104258312602576095374/2421407647936938692830628572188019\ 3897070897663532517495716757163590932837194226086215843053328471*c_\ 1001_2^2 + 12005380116069704077284239063214779129663138103116272118\ 3026657203049711789615783509057733384995964/24214076479369386928306\ 2857218801938970708976635325174957167571635909328371942260862158430\ 53328471*c_1001_2 + 15114653873247654693589489964291210994071348280\ 942578786974324803945517590225713128956058916750238/242140764793693\ 8692830628572188019389707089766353251749571675716359093283719422608\ 6215843053328471, c_0110_6 - 415828000184562331569229891641320375112728132435995135635173\ 051210812077000706481987048854054299765/242140764793693869283062857\ 2188019389707089766353251749571675716359093283719422608621584305332\ 8471*c_1001_2^28 + 114997908120190803323021353771099402980486511457\ 11748875125313097722594162329339684550035212969373048/2421407647936\ 9386928306285721880193897070897663532517495716757163590932837194226\ 086215843053328471*c_1001_2^27 - 1243285432992099959537273822787295\ 0412287945866989256392175157763041536582137640438387703898557370690\ /242140764793693869283062857218801938970708976635325174957167571635\ 90932837194226086215843053328471*c_1001_2^26 - 3804925905845202372725816979552071994368565213079876889183452556426\ 2745382864039584409745497550031331/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^25 + 29336207517687751762776684166365670230430364232420345\ 416911768994526003518111604084355769451329513273/242140764793693869\ 2830628572188019389707089766353251749571675716359093283719422608621\ 5843053328471*c_1001_2^24 + 604260763282012915527918305289932027558\ 97023167440350207115730939867224308159545943966213140032967773/2421\ 4076479369386928306285721880193897070897663532517495716757163590932\ 837194226086215843053328471*c_1001_2^23 + 1976366781365655569272759756320634208222306689508489352132744099429\ 4227613891293484090589500955968008/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^22 - 11228719607621225965274547335914664448335665665809879\ 7900072838906905773026629553006785842107148641264/24214076479369386\ 9283062857218801938970708976635325174957167571635909328371942260862\ 15843053328471*c_1001_2^21 - 98476722177480257125996796030115053639\ 675226555250666321549653345323727332466192355627309060462528799/242\ 1407647936938692830628572188019389707089766353251749571675716359093\ 2837194226086215843053328471*c_1001_2^20 + 1670978878064710184729542657368819305271550434043903503366385806306\ 99372365106853540681082525939108339/2421407647936938692830628572188\ 0193897070897663532517495716757163590932837194226086215843053328471\ *c_1001_2^19 + 1192023941196899938022534288082336028985718208809167\ 55576090897871865204029064951232197819515120612412/2421407647936938\ 6928306285721880193897070897663532517495716757163590932837194226086\ 215843053328471*c_1001_2^18 - 1633572609966181631366101554682375301\ 06085122411010326773426716638052828362502380757746705856248058035/2\ 4214076479369386928306285721880193897070897663532517495716757163590\ 932837194226086215843053328471*c_1001_2^17 - 5620533983295356509579068658708410037128885496687224274636591336821\ 4449457276581761655684020420975985/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^16 + 83385562106319334351383101411093921343397985642869224\ 961012933113482928412595761380432630226770048777/242140764793693869\ 2830628572188019389707089766353251749571675716359093283719422608621\ 5843053328471*c_1001_2^15 + 173135889715595054700200855700977980926\ 16374281785235427501868640199029811685660236481736364527702139/2421\ 4076479369386928306285721880193897070897663532517495716757163590932\ 837194226086215843053328471*c_1001_2^14 - 2602900139932628287024099965433734476599180118909947644456930104395\ 6687378769438732865530060575307089/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^13 + 10414874069852950234538816494632886409262071377022876\ 348107432248939432005023534033842976055405522356/242140764793693869\ 2830628572188019389707089766353251749571675716359093283719422608621\ 5843053328471*c_1001_2^12 - 248012555804202095295609726087973142303\ 57782355537184596175979043115284606080658807761352995972559704/2421\ 4076479369386928306285721880193897070897663532517495716757163590932\ 837194226086215843053328471*c_1001_2^11 + 2888261732195470279710345621961770509790919711629647165586629540588\ 4490264288424936054007350000190908/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^10 - 16448679727792594852695888944649786599100649193255363\ 260595319327970868326372903472503297086192806274/242140764793693869\ 2830628572188019389707089766353251749571675716359093283719422608621\ 5843053328471*c_1001_2^9 + 1538776240650218750811198604450051968164\ 3997841986041956435783189311945299494307382034617821008650101/24214\ 0764793693869283062857218801938970708976635325174957167571635909328\ 37194226086215843053328471*c_1001_2^8 - 1180926354742477437260525380220650318012189593367973786806693129408\ 8921357094304883301020404205660003/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^7 + 749955020221575542738146423318487665677531417688637303\ 9711656937101932297227826311089044210422534619/24214076479369386928\ 3062857218801938970708976635325174957167571635909328371942260862158\ 43053328471*c_1001_2^6 - 342380964137011518324743390167480254128014\ 3953871496480420771941041222229646149215546454947560714198/24214076\ 4793693869283062857218801938970708976635325174957167571635909328371\ 94226086215843053328471*c_1001_2^5 + 1964854690582180389657988052128791306226289505549336404286941688521\ 352881480637959483290364326414521/242140764793693869283062857218801\ 93897070897663532517495716757163590932837194226086215843053328471*c\ _1001_2^4 - 8542300302019737190745525302994562810596796503851390281\ 60362933541534399609467508118852140566137296/2421407647936938692830\ 6285721880193897070897663532517495716757163590932837194226086215843\ 053328471*c_1001_2^3 + 33835189364655242665428044012894408641361390\ 6839598929322326191341095592321069485969028964043601276/24214076479\ 3693869283062857218801938970708976635325174957167571635909328371942\ 26086215843053328471*c_1001_2^2 - 100525320454855513027434073658837\ 105959659077372273183662216377343956913163560640447631897753006712/\ 2421407647936938692830628572188019389707089766353251749571675716359\ 0932837194226086215843053328471*c_1001_2 + 4060273613684984620598521597996440859185163974638444262998957486104\ 1130447859094211921371683437724/24214076479369386928306285721880193\ 897070897663532517495716757163590932837194226086215843053328471, c_0110_9 - c_1001_2, c_1001_0 - 311856678854629774720366792272408248770107621870295515854545\ 73701496780532010436817601183551872410151/2421407647936938692830628\ 5721880193897070897663532517495716757163590932837194226086215843053\ 328471*c_1001_2^28 + 5428326484543403713195413812823613123181609626\ 0493391729858909516154666142978681668822544216125825448/24214076479\ 3693869283062857218801938970708976635325174957167571635909328371942\ 26086215843053328471*c_1001_2^27 + 8708653302220272102747924801693583860653528623510763431188625856907\ 3789192406974414808902143615746931/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^26 - 14160693451075637054516562082772935988583528605601479\ 0083147626543275185959509182365170776756097176704/24214076479369386\ 9283062857218801938970708976635325174957167571635909328371942260862\ 15843053328471*c_1001_2^25 - 13499776198959833397351896179713304342\ 1855784969076343231082214545955221719001089738620418146514199194/24\ 2140764793693869283062857218801938970708976635325174957167571635909\ 32837194226086215843053328471*c_1001_2^24 + 4315482853981607831044915339515744728257927908703933169313839899524\ 7763826875890438612718327495950096/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^23 + 35841463442758081180924339817987878229832857429758317\ 5126419488264177339887937138479089536118956581565/24214076479369386\ 9283062857218801938970708976635325174957167571635909328371942260862\ 15843053328471*c_1001_2^22 + 10436178807492702934278473231159514576\ 5166566065191270874750373687017114215716164060636568467177300238/24\ 2140764793693869283062857218801938970708976635325174957167571635909\ 32837194226086215843053328471*c_1001_2^21 - 6266570957936305498264413996896714082341609515363804157355059280184\ 26516095412462372750490650048713430/2421407647936938692830628572188\ 0193897070897663532517495716757163590932837194226086215843053328471\ *c_1001_2^20 - 9844209456440063881082882216222100600511065421734393\ 7624460930670210109764909148672986918267508613002/24214076479369386\ 9283062857218801938970708976635325174957167571635909328371942260862\ 15843053328471*c_1001_2^19 + 64603360465044317557835017077277193037\ 5656344757037394359759598825117109392363261773424428420769963954/24\ 2140764793693869283062857218801938970708976635325174957167571635909\ 32837194226086215843053328471*c_1001_2^18 - 5902521781718988399844046856136544849153635720213022280650435577720\ 6820621051323174227693249438381521/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^17 - 33630283960014040490148974939087007569076588706474362\ 6073211434134499935839480786290032787929710232761/24214076479369386\ 9283062857218801938970708976635325174957167571635909328371942260862\ 15843053328471*c_1001_2^16 + 59437863666667667041778859266494783235\ 985276094110825525139323590463994361317612343533024519597646153/242\ 1407647936938692830628572188019389707089766353251749571675716359093\ 2837194226086215843053328471*c_1001_2^15 + 1133956628204844828844957372023745098425535279117777661112047327939\ 36320682956456212123393877595538973/2421407647936938692830628572188\ 0193897070897663532517495716757163590932837194226086215843053328471\ *c_1001_2^14 - 6009557275904099861653403415010854103387347634642567\ 9624780322698775308268420580471465334575358810692/24214076479369386\ 9283062857218801938970708976635325174957167571635909328371942260862\ 15843053328471*c_1001_2^13 + 72395952774380537159146459786648095978\ 326839507014717593589400327934006156044969083246931981441205743/242\ 1407647936938692830628572188019389707089766353251749571675716359093\ 2837194226086215843053328471*c_1001_2^12 - 1118045636212977160502724485425249401236708142677925054662705800866\ 69407816467108372353891590585591291/2421407647936938692830628572188\ 0193897070897663532517495716757163590932837194226086215843053328471\ *c_1001_2^11 + 8299412427040576069494238058087493026582721578226916\ 3356514700267935372999392547637519580750922478414/24214076479369386\ 9283062857218801938970708976635325174957167571635909328371942260862\ 15843053328471*c_1001_2^10 - 61282382605438157523528693118306598916\ 679400452300967698375199737165412936086117097255164026637563969/242\ 1407647936938692830628572188019389707089766353251749571675716359093\ 2837194226086215843053328471*c_1001_2^9 + 5272151636017516406897775956113535180882820648538111407291436858027\ 2582213590388755581679489291006396/24214076479369386928306285721880\ 193897070897663532517495716757163590932837194226086215843053328471*\ c_1001_2^8 - 371753784137335713685012461646664654543429627818685926\ 75589612490053721567748644197529025474618060948/2421407647936938692\ 8306285721880193897070897663532517495716757163590932837194226086215\ 843053328471*c_1001_2^7 + 19645999063172815970692652341472067692356\ 806862847894025178088285398533974073638689785504234248319745/242140\ 7647936938692830628572188019389707089766353251749571675716359093283\ 7194226086215843053328471*c_1001_2^6 - 9992649564865648080717095753614194676653875266081794460904174000681\ 702380965159221332178036261608410/242140764793693869283062857218801\ 93897070897663532517495716757163590932837194226086215843053328471*c\ _1001_2^5 + 5340383301096757548983418414056059069578375183380670412\ 636878583242653120538304920325832102284457912/242140764793693869283\ 0628572188019389707089766353251749571675716359093283719422608621584\ 3053328471*c_1001_2^4 - 2286485981782004962473735294167244721434813\ 881123062176519147926804090216998786131868927258923791682/242140764\ 7936938692830628572188019389707089766353251749571675716359093283719\ 4226086215843053328471*c_1001_2^3 + 8074941200042258558546385832610721859879876848459333168129525018108\ 93332976583704551212948723342289/2421407647936938692830628572188019\ 3897070897663532517495716757163590932837194226086215843053328471*c_\ 1001_2^2 - 29568417771506662584320406691628693479333285711990086119\ 1624822694859932589134313939192495567082630/24214076479369386928306\ 2857218801938970708976635325174957167571635909328371942260862158430\ 53328471*c_1001_2 + 73660069671718674600168161368042887629360348727\ 087081731690044131915552166318892726153104508315842/242140764793693\ 8692830628572188019389707089766353251749571675716359093283719422608\ 6215843053328471, c_1001_2^29 - 240/119*c_1001_2^28 - 34220/15113*c_1001_2^27 + 79823/15113*c_1001_2^26 + 6229/2159*c_1001_2^25 - 38544/15113*c_1001_2^24 - 23295/2159*c_1001_2^23 + 178/2159*c_1001_2^22 + 18325/889*c_1001_2^21 - 6699/2159*c_1001_2^20 - 320232/15113*c_1001_2^19 + 128460/15113*c_1001_2^18 + 151058/15113*c_1001_2^17 - 82436/15113*c_1001_2^16 - 6594/2159*c_1001_2^15 + 376/119*c_1001_2^14 - 42268/15113*c_1001_2^13 + 63660/15113*c_1001_2^12 - 57314/15113*c_1001_2^11 + 42019/15113*c_1001_2^10 - 282/127*c_1001_2^9 + 1494/889*c_1001_2^8 - 14724/15113*c_1001_2^7 + 7570/15113*c_1001_2^6 - 3883/15113*c_1001_2^5 + 1840/15113*c_1001_2^4 - 690/15113*c_1001_2^3 + 244/15113*c_1001_2^2 - 72/15113*c_1001_2 + 13/15113 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.210 Total time: 0.410 seconds, Total memory usage: 32.09MB