Magma V2.19-8 Tue Aug 20 2013 23:39:56 on localhost [Seed = 3920596315] Type ? for help. Type -D to quit. Loading file "K12a733__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a733 geometric_solution 10.71512584 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.320954206863 1.233869358919 0 4 2 3 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.660218008137 1.058872752417 4 0 1 0 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.320954206863 1.233869358919 5 6 1 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.023934986648 0.492444314919 2 1 6 7 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.023934986648 0.492444314919 3 8 9 9 0132 0132 0132 3120 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 -1 0 0 1 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.280328427630 0.995974939137 8 3 4 8 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 0 0 7 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.477670687806 2.323137500039 10 10 4 8 0132 1302 0132 0132 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 -1 0 1 0 0 -7 0 7 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.280328427630 0.995974939137 6 5 7 6 0132 0132 0132 1023 0 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 0 0 0 0 0 0 -1 8 0 -7 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.019015888184 0.826314671670 5 11 10 5 3120 0132 0213 0132 0 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 7 0 -1 0 1 0 0 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476637385902 0.659632684741 7 9 11 7 0132 0213 1023 2031 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 0 7 1 0 -1 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.476637385902 0.659632684741 11 9 10 11 3201 0132 1023 2310 0 0 0 0 0 -1 0 1 -1 0 0 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 1 -8 8 0 0 -8 8 0 0 -8 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.819164410487 0.874784529455 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : d['c_0101_11'], 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_0101_6'], 'c_1001_7' : d['c_0101_2'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : d['c_0011_11'], 'c_1010_11' : d['c_0101_11'], 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_1100_4'], 'c_1100_7' : d['c_1100_4'], 'c_1100_6' : negation(d['c_1100_4']), 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_1100_0']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_10']), 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : negation(d['c_0011_11']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_11'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : d['c_0101_10'], 'c_1100_8' : d['c_1100_4'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0101_11']), 'c_0110_10' : d['c_0101_2'], 'c_0101_7' : d['c_0101_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0101_6'], '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_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_6, c_1100_0, c_1100_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 1121641360696281450404808453926900356899320246450232950144082559404\ 40969559553124960192028250234069696/1386260123474018508363773563636\ 2371811079538177831813543091963016209750790791640957330045531779687\ 5*c_1100_4^35 + 126057170871290132860867911096184867399368599512911\ 581621896197050004976714157736235739391729297250776/277252024694803\ 7016727547127272474362215907635566362708618392603241950158158328191\ 4660091063559375*c_1100_4^34 - 207679256877284316438695189788262182\ 1742137897604674840480933117884031779716305447315626263068002671312\ /138626012347401850836377356363623718110795381778318135430919630162\ 097507907916409573300455317796875*c_1100_4^33 - 2387798269663310801415221761217396723334920660487336301799108353042\ 161354403599290643707839318352607359/277252024694803701672754712727\ 2474362215907635566362708618392603241950158158328191466009106355937\ 5*c_1100_4^32 + 325285737491580358451285737279938820982898935989706\ 24457123229410530009193153149545701653070708760397526/1386260123474\ 0185083637735636362371811079538177831813543091963016209750790791640\ 9573300455317796875*c_1100_4^31 + 107356814762094046826374186482547\ 9483982444943322290169856854463455679218539561065843768599116564650\ 49013/1386260123474018508363773563636237181107953817783181354309196\ 30162097507907916409573300455317796875*c_1100_4^30 - 3656726008828043919199877927352161488661290598726931037579604776305\ 71975454609508815305350589273425509684/1386260123474018508363773563\ 6362371811079538177831813543091963016209750790791640957330045531779\ 6875*c_1100_4^29 - 425859641268106901121806255330140522320383318920\ 797367317537989831269760065052903495628653379476350964247/138626012\ 3474018508363773563636237181107953817783181354309196301620975079079\ 16409573300455317796875*c_1100_4^28 + 2571958050434636041907963459269705122338841452733181012772480792047\ 912782025599540332092798641191025737199/138626012347401850836377356\ 3636237181107953817783181354309196301620975079079164095733004553177\ 96875*c_1100_4^27 - 64819152452268472636364517711338514547833258858\ 001493604673727682658689012864339106361982979726265639306/198037160\ 4962883583376819376623195973011362596833116220441709002315678684398\ 8058510471493616828125*c_1100_4^26 - 5498628857791571282208028561311556095193846289234065861049500605552\ 79545056525087395204105496684125154052/7296105913021150044019860861\ 2433535847787043041220071279431384295840793635745478722789713325156\ 25*c_1100_4^25 + 11860688910643910135673654120682999591486002853473\ 0218650234396285886259163153461433165400480495735920226/13458836150\ 2331894015900345984100697194946972600308869350407407924366512531957\ 6791973790828328125*c_1100_4^24 + 208662181464426305291048425100497\ 9079249708692379678501480167562650031209025982961603978891958979587\ 3965556/13862601234740185083637735636362371811079538177831813543091\ 9630162097507907916409573300455317796875*c_1100_4^23 - 7900568651405531405312799956690483601853207249590473733563221262707\ 429406343376305069002398225760909856979/198037160496288358337681937\ 6623195973011362596833116220441709002315678684398805851047149361682\ 8125*c_1100_4^22 + 497542820295266210272901598959906771299195986999\ 4545843061735384582967435768501002364297521907244324701269/13862601\ 2347401850836377356363623718110795381778318135430919630162097507907\ 916409573300455317796875*c_1100_4^21 + 1713761458625210788797366852671396103290088597398173401266312878764\ 2118637057318523735022113004315766001988/19803716049628835833768193\ 7662319597301136259683311622044170900231567868439880585104714936168\ 28125*c_1100_4^20 - 14958856173570824854186317606370698408194034759\ 4851878954485603425344445716113160104434981308670904429333887/13862\ 6012347401850836377356363623718110795381778318135430919630162097507\ 907916409573300455317796875*c_1100_4^19 - 3763268246510602237629161025905926697105939286892439274435382967649\ 6068311511843845958369667097397524806321/13862601234740185083637735\ 6363623718110795381778318135430919630162097507907916409573300455317\ 796875*c_1100_4^18 + 4696514083248006226411913322697937458830131063\ 63252666162961030314311594799200553469894666171949236666168/2183086\ 8086205015879744465569074601277290611303672147311955847269621654788\ 6482534761103079240625*c_1100_4^17 - 3717400891809701403175122486905921491438939636333519943733532862943\ 75873588110341572845339259630604462854/1584297283970306866701455501\ 2985567784090900774664929763533672018525429475190446808377194893462\ 5*c_1100_4^16 - 549519772959514286238525810295847041681212930691198\ 2931665458851844715941087726109817434560275946029354507/27725202469\ 4803701672754712727247436221590763556636270861839260324195015815832\ 81914660091063559375*c_1100_4^15 + 7495380612985706159004443654896278432796022031343081963874829079010\ 2682214146595724254116904036477350723577/19803716049628835833768193\ 7662319597301136259683311622044170900231567868439880585104714936168\ 28125*c_1100_4^14 - 69619599805845818670916061949959536055259491631\ 3032495177329918607082299638547992204798525913999656272722562/13862\ 6012347401850836377356363623718110795381778318135430919630162097507\ 907916409573300455317796875*c_1100_4^13 + 4454540277745305731578569935300243115270320087239227788497152467312\ 2527530010782900178864741957739248857397/19803716049628835833768193\ 7662319597301136259683311622044170900231567868439880585104714936168\ 28125*c_1100_4^12 + 28341283455459323029233401832293366262785162440\ 35435546107065152954651150701563885843042552839895923213197/1109008\ 0987792148066910188509089897448863630542265450834473570412967800632\ 63331276586403642542375*c_1100_4^11 - 8377336116305756026726366572575145182129891943963806671171899803432\ 81693331032686695304696672285066256276051/1386260123474018508363773\ 5636362371811079538177831813543091963016209750790791640957330045531\ 7796875*c_1100_4^10 + 693723199977045590532399792214206225351400103\ 5377538981685391667899280361620372006097075994850471956436571/10423\ 0084471730714914569440874905051211124347201742958970616263279772562\ 3367792553182710190359375*c_1100_4^9 - 1001973766681628387754685204390049585708711462647689823396425094794\ 33593047450024155906177904075419396987488/1980371604962883583376819\ 3766231959730113625968331162204417090023156786843988058510471493616\ 828125*c_1100_4^8 + 38996884306473159724411089354035489156420723979\ 4631969978578411608058683376491967378783799555451610606899827/13862\ 6012347401850836377356363623718110795381778318135430919630162097507\ 907916409573300455317796875*c_1100_4^7 - 1573612806787139537262065267041437283713253285014748479880383387316\ 34176402355341530621048251891028465324966/1386260123474018508363773\ 5636362371811079538177831813543091963016209750790791640957330045531\ 7796875*c_1100_4^6 + 6545222389863412374018627937144379118700085264\ 482262497222680025598998063807811780271994429508186652148267/198037\ 1604962883583376819376623195973011362596833116220441709002315678684\ 3988058510471493616828125*c_1100_4^5 - 2035251401361449281677935654631665601609898256382854602894796794267\ 497315551620480267053584089373597183722/277252024694803701672754712\ 7272474362215907635566362708618392603241950158158328191466009106355\ 9375*c_1100_4^4 + 2009368080091226175192437026992837584172683754316\ 548290013162839351320903787794299503438627718074358730894/138626012\ 3474018508363773563636237181107953817783181354309196301620975079079\ 16409573300455317796875*c_1100_4^3 - 1529892756998741730587260886289357721225174960085249444887729411063\ 2334333420070288472033845430235904688/55450404938960740334550942545\ 4494872443181527113272541723678520648390031631665638293201821271187\ 5*c_1100_4^2 + 8221014317137509613779097180175619111794125330880392\ 152327043176842451556259471427234595342317800474494/198037160496288\ 3583376819376623195973011362596833116220441709002315678684398805851\ 0471493616828125*c_1100_4 - 454248801632291934546115596806431839810\ 5425512234442036266599009172417554276897326394690291583975582576/13\ 8626012347401850836377356363623718110795381778318135430919630162097\ 507907916409573300455317796875, c_0011_0 - 1, c_0011_10 - 94532503310444448690859677800757756505026654283802677784290\ 62601165418906998948990/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^35 - 5555941381689325265341728775194810669737395951549752486600842063072\ 8362573842030920/28687521221445010973796012639449667923722901217011\ 467376188431903738454401183106853*c_1100_4^34 + 1604582345251847369801371514670412179462557934279681879928041474303\ 87789615055846048/2868752122144501097379601263944966792372290121701\ 1467376188431903738454401183106853*c_1100_4^33 + 1046144650589630261464603082674777690032874840582312833409160820813\ 680066807401268390/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853*c_1100_4^32 - 2467816231001284297978033199204063459333354857961079800345773705783\ 942728376040329384/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853*c_1100_4^31 - 9657074192738277178569046135133092412813780085685999797980461506137\ 237387738607137762/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853*c_1100_4^30 + 2826980576264781870964112147630470454400077426466202920299963874248\ 3415382313998499830/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^29 + 4292455750815130013703285622675543008206722739301966798505842427018\ 2055814666166825144/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^28 - 2050164709284259438751819191500430460893246380648210772240985649202\ 00199250023209385178/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^27 - 1340708125848597307877146121540676040008816056239536924711439630600\ 2453996305687015130/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^26 + 8720182153828989009873376371527856053279380448010557240419761548912\ 15568970148930598118/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^25 - 7825419063424873041590070946934884270202808297706589634485286234993\ 320602922299460954/278519623509174863823262258635433669162358264242\ 829780351343999065421887390127251*c_1100_4^24 - 1944319821714075914510435530389233995947382840346893914331095686667\ 605108156941202042204/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^23 + 4143188639262418322122913785581466480710013947768277998804679402455\ 599111012853081664474/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^22 + 5959169228839755358523633787991721804972037704512500098611090495377\ 20378326565506108986/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^21 - 9860787024071161934040717335886378900979219808212053286076200201310\ 885250192394678472676/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^20 + 1009898293743585860141463274578732928262577186202273508006455899414\ 5622903056528990751700/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^19 + 5529181645602531841936227660373996882969469587829922263393277290530\ 922148452169364462002/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^18 - 2349934098159522626703163819123612451799777645568127595822858347281\ 2272041499206307218190/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^17 + 2153956234113765499748365340237856545384873333868773459768290386510\ 0957949713265076192092/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^16 + 7303894980657202170344582977578567126193162177315214827296214482956\ 956885851463563951776/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^15 - 4189973429034637268258845015461406059843028529098314789314527099134\ 1044990378220601663642/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^14 + 4814892385531043989961681493202428109908086234692616720293169738998\ 9444248101574939489326/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^13 - 1488276917678400085804325537389605792098775269350895657260109619428\ 5863354113949393340048/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^12 - 3267055233898960977287185849676055986551260206530272599488634288006\ 7733621986696977804190/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^11 + 6201205555657914463186359069706289207633114866684523447249895375831\ 7419902316613223996030/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^10 - 6264488533666735918440260436760836369409731550439806286367449770620\ 1392861874907385092370/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^9 + 4436555869750491027431991634938169210602421018659847305535736255033\ 0527260446202299919254/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^8 - 2273627104889415081641660933963398379811438837155928081775413168984\ 6845654482933407013116/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^7 + 8261893219430058661494918926199848355860950947550420803565762140925\ 439195011289919724282/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^6 - 2133839605965047991360678164820467563945623878889035400189643152028\ 904339103837580076846/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^5 + 4363276095341503470145637013713407592306315364414070983626977798135\ 59433420319864035604/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^4 - 8635258147581600428254610991148163475283184524623184732804506884113\ 5865404587971336463/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^3 + 1619679541355016090340493090269733471344612530551427557332512260795\ 2417935886238111870/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^2 - 1973486739803230462943186786937488169048338212183186568029740534263\ 529254234155728871/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853*c_1100_4 + 6694986809752097554373173525656198483255081109190973155147429378324\ 5788291502807957/28687521221445010973796012639449667923722901217011\ 467376188431903738454401183106853, c_0011_11 - 14958345243413387064611697110178870241582572412624273446095\ 501416715379251187089604/286875212214450109737960126394496679237229\ 01217011467376188431903738454401183106853*c_1100_4^35 - 8427162121305061886998476522446631459761290601598005737582070732889\ 6094348152812654/28687521221445010973796012639449667923722901217011\ 467376188431903738454401183106853*c_1100_4^34 + 2762877743962292213355335574360173908487470856006328582159277558432\ 52330592561542294/2868752122144501097379601263944966792372290121701\ 1467376188431903738454401183106853*c_1100_4^33 + 1599722094918067809210342437364721940618198560296430484748157849095\ 009068815938198244/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853*c_1100_4^32 - 4321795151134540333447558759427527209685743693725805539022598565629\ 418625335873318522/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853*c_1100_4^31 - 1444392726672927155425893150778109612240288605947716498410910503242\ 5371458259992156486/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^30 + 4865686766077337263291442470542748671860795888387100167312782224509\ 3400593797565425688/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^29 + 5811256503607468817968904477732401692087839509926107155571376603783\ 2517377381414168994/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^28 - 3433729368403271070491903257992178411869275066260217252213317681018\ 78094648274324898592/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^27 + 5230457728965280764109696631755916925396324951403317466844747810842\ 7482436898935536204/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^26 + 1403640612338092659651314270772984660181329536405806061794807534171\ 125744003305512741738/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^25 - 1555239034539669640281987888866072950291760846012447697861611431558\ 6764666801465820190/27851962350917486382326225863543366916235826424\ 2829780351343999065421887390127251*c_1100_4^24 - 2851236256823161995736819403741555168804294452516074046883100718449\ 090285683558606870692/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^23 + 7350820647128538451905085999441287001477616298729449919294085752575\ 918365397717442716599/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^22 - 4348909803520213068680810288737831064315262763110973132274438015491\ 11205961763201122169/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^21 - 1616276057240416730095086067199002914886306284757276660754364822243\ 5204375259217523351649/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^20 + 1957782369625532599627203895559008210485782293084499520637989709570\ 8513397653517094226168/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^19 + 5779622155740091346541244547447524273379754548257767709724662371776\ 251340379042492465237/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^18 - 3995573636729089386754735422600097244867557746131488550345752973584\ 8399030835908045174718/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^17 + 4230162547626702365880209177178297465015544308464454510722962162593\ 7383923325321465528041/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^16 + 5306284594804000385189572158238977294596962491031541543268564580693\ 865885499049411846924/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^15 - 7045052077620062813272235753862463016914529107800178112584323214875\ 9439697651296742056806/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^14 + 9102117377753360038632229849854608948048670400619003749260761501376\ 9885968431677456560876/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^13 - 3837287346547599282144399967562252117107705769106480969059548592981\ 9938006948817668072800/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^12 - 4931030217792973171840155122390860912577087119216018303554653761651\ 4240929539138684194180/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^11 + 1108258223525802062140399573377094746479257627758900034011827277248\ 97348261711201461249486/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^10 - 1196353863979846230920377527047492208555916971104392780358402815816\ 18057918738033786729937/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^9 + 8942320773417852517545454098199656276395722081802635026264546379254\ 5032763797477314820062/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^8 - 4873170442537707959939279116891848021981616983646846381611748392246\ 5209323413627175741324/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^7 + 1911811530293883417687660279885929225422372857883423993868266905394\ 3088815439884119292688/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^6 - 5370358715501632332430583283406510330204159851812225065410459809451\ 270681986983501014984/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^5 + 1162508905945377463596824314360290456176138835928393072065557280773\ 594448019937870714406/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^4 - 2307706743410320315569739027285942143440092824178325980643293144435\ 80311564158960175260/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^3 + 4361256824290528853435812610694245811457278386931759667514568710876\ 8215841420761009534/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^2 - 6250990613687080256278281093323444545247623581179828968234494285772\ 858630800321076843/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853*c_1100_4 + 4550018597144092703587771800277045005449952473039230112628341127453\ 86496080923962304/2868752122144501097379601263944966792372290121701\ 1467376188431903738454401183106853, c_0011_3 - c_1100_4, c_0101_0 + 268269643684421592491987972205335814224546598797606019345799\ 20342726043483677366570/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^35 + 1494379108151279001895132698021501342306869931607555723435249348666\ 15054529582614056/2868752122144501097379601263944966792372290121701\ 1467376188431903738454401183106853*c_1100_4^34 - 5050954383928277415420458645019763420594945880402910999533274613110\ 52085291005793112/2868752122144501097379601263944966792372290121701\ 1467376188431903738454401183106853*c_1100_4^33 - 2837565671529980623707387332716360628889347157281865541408233930929\ 861938016648134166/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853*c_1100_4^32 + 7934132326091855260224769871288743568637105922275769356521013577689\ 882345881686163654/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853*c_1100_4^31 + 2541363061854717940641707469440134295029219042542315865957293624540\ 3955789599762841858/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^30 - 8893080916557056684965489378446377413976637914074262888433796604876\ 5985046700876315302/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^29 - 9868569957546347126319705132989067227713576111419213708893761607148\ 4240902375883256362/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^28 + 6226891709989566365249353186841742961542637789245448239610185033840\ 06036963196996624574/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^27 - 1330923194632767773806612946585233491132402838287355969814440862465\ 34781431250901229708/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^26 - 2512957352513147384980017794488330623446109286416083738115126795844\ 063459744534546540216/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^25 + 2946959881381195606180528178776352914725655075219004281871459993428\ 4077964291617929886/27851962350917486382326225863543366916235826424\ 2829780351343999065421887390127251*c_1100_4^24 + 4936001899217703957567045799206474262347659511114678065172156952752\ 210740877967740726656/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^23 - 1352347023900807991259960577604026066295159087780693004414244401349\ 6592445154099076528460/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^22 + 1615232487722604518389371522811565218427705774833899115117893676339\ 302180539938999419272/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^21 + 2898630086565950682198903699602832350381369369640805781552166221837\ 8713376437770350564324/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^20 - 3699558604990744650839057862661365641201252327230622557008225632463\ 9391710084788038139246/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^19 - 8208649059996631032863529184349009544309490814539295951998144998503\ 670919358670678142806/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^18 + 7248892389986862915333795661427759606894894359276050100805728495571\ 8898571153271998433887/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^17 - 8047629422812779355363281332453102679381732294663348100224153945328\ 4463925081708544517180/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^16 - 4922194092632200556945858128844680101495908732239863906898862673310\ 773093715359345145782/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^15 + 1273290264006095998341174816013339638741095217313725897006965050266\ 76717694395944884853263/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^14 - 1714078984222832455258926020507618339421104358754717849337691792931\ 42702104880530632194677/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^13 + 7880995757255722057970386479253635407211568712546876741826756317900\ 3581745435155218272327/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^12 + 8479165095977959651897908997106424655284434132564419154192563599616\ 0659671866780490529238/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^11 - 2048859190285624471240868919912171626284681365714236804281939614695\ 86657246279125994953525/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^10 + 2270295584255057056790417085951010947947910010297151101196753315190\ 00060985749660764823816/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^9 - 1732509145304382162199106117329538489399009795475550370398515880163\ 28522831697202623879073/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^8 + 9663735032728861785198883635694207407097458062813286765184846587265\ 6810977343966429820894/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^7 - 3906496275064490985536648536721324534372678546071199709701485210585\ 6201413526499988439873/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^6 + 1135756036047279712632224000024967770925037128490911577303411004813\ 3686587398811310365719/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^5 - 2512668336821520762974716153338543697158870325788622227070237347369\ 281412681122722474365/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^4 + 4966009662768397383525259289453848594924089955296251043168602619628\ 04685015032533843062/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^3 - 9517229538997728318043916033338005130664374071211754367923888404086\ 8790978072372816023/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^2 + 1439090836321093379557904845563508680943129805684699657030260478817\ 7473187112826365770/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4 - 1136259266994810345483525215510879504273086155801951654975658748936\ 963922113913523135/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853, c_0101_1 - 830747854222287327795563628143587367129773181711359873567208\ 88564945177962814625400/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^35 - 4642945707542097591649193680489274126785307757595635116918892368410\ 85837611590352794/2868752122144501097379601263944966792372290121701\ 1467376188431903738454401183106853*c_1100_4^34 + 1553115804243150226447310641131529093183016231595933122658276712220\ 086716274054476060/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853*c_1100_4^33 + 8799984869231369622868023311338445149094611838792579554667184525962\ 535251649212850678/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853*c_1100_4^32 - 2437436063070093232885195379499690253945049917527105252750447306729\ 4955275400161052052/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^31 - 7885942889222026908118313844595495920261888186911701495999617990129\ 7081947672016631708/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^30 + 2734554409854102208061683164270332710660365082104361916470068652844\ 35995492567506604400/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^29 + 3078901641933847814154775578698664304005181662276392842800708436206\ 76302854802860091266/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^28 - 1916784578376393730929259939043643633316708740748124556987705817293\ 624026820003165963266/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^27 + 3909669001127098788677436118438472257616592350468880147099808358416\ 66043513567083553568/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^26 + 7743830588304417773842632429025623632555468801064635653932204027441\ 775254694606089094632/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^25 - 9013829129339876630352183964311025006584269360493590467304337570508\ 3368054392398922682/27851962350917486382326225863543366916235826424\ 2829780351343999065421887390127251*c_1100_4^24 - 1524696681484637626065369847415198851091924606291027122551896222735\ 3511821386540540052434/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^23 + 4150028683097070089602837646897698061434942982868065875269694873252\ 3630542872083895855562/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^22 - 4785521027262963555449804346381873136827402976894246866494807614711\ 423156531774358727464/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^21 - 8907559943310141517915657261906273690750530816911679218673448564922\ 3326332954642309228788/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^20 + 1134756495163334175340020005300715394595614792653432701858688457030\ 53561079380425192999522/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^19 + 2527948843864555776100139854250190767319909312925618072997725669751\ 3445857385536304985771/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^18 - 2225780356794852242097586412130456844936782541638804853782400047972\ 77424469079109964104161/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^17 + 2472450412379039514174328592113722609092632368865612809122363256786\ 59377198853617685961683/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^16 + 1490136825895362341559386474932912213633978427664768842189061773223\ 5037716906953454069090/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^15 - 3910189249453433489356215335228603260444438972674127384058877064798\ 09142124609248428060508/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^14 + 5269667872509632030004812737113089977603992581050318815580807333539\ 80534545836194261747811/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^13 - 2432960637185177788990228029712113918774771505688475823661675554308\ 40683935226189351568336/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^12 - 2593140570500366392242441984020996147079965385796195184873047908890\ 87867855285357617428204/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^11 + 6297690974733971863968242645280990938855575874083990581507075099671\ 16031006996077917210503/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^10 - 6996679657463620299038755944112566192868360638262326008019128614171\ 22064727662961972314614/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^9 + 5352589471003460614075202749194612808956417025476876260283220577688\ 38021484201654325378995/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^8 - 2995498219108065230017454688232758971728147696001046217918111644653\ 35529899764977248144012/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^7 + 1217364652438342933292222953335263419656247993511462291868421662983\ 96067272901936644850782/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^6 - 3564674414007901789419176644848791997723735146874129240775297630987\ 2244373852692584023515/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^5 + 7920182595517365181140166007783737009408312683957321090564454463204\ 329104886367715079944/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^4 - 1560194745787698905564552513265117947246178376977599999775654669502\ 291767393457566994628/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^3 + 2990237198104693148213507613003005795240574610771413343447711625587\ 82090231267957723003/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^2 - 4564313918102610518021023242056788378776026678247529860785574551897\ 3219358931937735360/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4 + 3684710346393586516892385230045956502241749948061734101491385266874\ 536542422452596299/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853, c_0101_10 - 27795451793497636546717125574800509491093843499062119710397\ 533613159352949705791684/286875212214450109737960126394496679237229\ 01217011467376188431903738454401183106853*c_1100_4^35 - 1537981247528493174121398682687058002891923037049183791330755686194\ 82229353481125926/2868752122144501097379601263944966792372290121701\ 1467376188431903738454401183106853*c_1100_4^34 + 5297350093027982314736501106256522763583057757656665288647953765518\ 80923115274529750/2868752122144501097379601263944966792372290121701\ 1467376188431903738454401183106853*c_1100_4^33 + 2924447236176473749470276616725267679853934810462597556677263001512\ 820519896774760684/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853*c_1100_4^32 - 8339933946491133337672853810636364264686022566820722050291274751186\ 676816943968573186/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853*c_1100_4^31 - 2609830490245573035345558093058958108515029988077927732203422858638\ 8076304942080265390/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^30 + 9327114689154589749485101287663635350889079727303662424791706909482\ 2397955138010659128/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^29 + 9950696505066146515914317202026815600895278470603081356289967259723\ 7122615728954922266/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^28 - 6507248626265761023444331415314666722857629169951673030728217263059\ 68208321241469044472/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^27 + 1586063881324466671527882992634462360926394107837743319999743424325\ 49176104967675583804/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^26 + 2611619675711466071771660025216967001062870275027370850253005243722\ 720984613430877033586/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^25 - 3143652078934806272727597327360047365886394992870536089345002284173\ 7079866862571898310/27851962350917486382326225863543366916235826424\ 2829780351343999065421887390127251*c_1100_4^24 - 5055008073672546299378736795810846315064077198448752589484091150140\ 662532328063620162444/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^23 + 1424320966995439328456514314397170762386677465142276971631923237818\ 2096587904481354772794/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^22 - 2055023818382919221536416759509184739273391066338010859412795813122\ 438632326351584974012/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^21 - 3021764267019956973564883546931219696451054630477488908559762893450\ 4636467754417197727904/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^20 + 3935414263695100170206603369982351787396624151569604954987066011805\ 2006892267415509440476/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^19 + 7719240632202788146985625141822945662865665653581460506760468526513\ 423333046281787234606/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^18 - 7595991246877468642024271144230658434147430169078416468944939953198\ 1443961112856430753332/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^17 + 8569020541128934823538742784501129891857144236890306772181375149883\ 2624273621170260221420/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^16 + 3465909139135309890483574226568782199013078041525646987940871453551\ 294886614025579832299/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^15 - 1332435807567830499848585376427017416285561276025653093232217826722\ 37299245554328270823828/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^14 + 1817764171093106716284210424145166435661784067201597636634728152799\ 58824163320143997468577/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^13 - 8561549568663335043243760823462934686913795445885497467517936083967\ 8435944651909089702741/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^12 - 8747500281098203860861728612109420328044643437806438406493509286589\ 2084404558881265632297/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^11 + 2159905633677041959185549599765497966192281385337663101911458325369\ 72628180435898885184552/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^10 - 2408562307961954636215658670645147820319893852731452603390541713840\ 74979510348432197552139/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^9 + 1845904463236004442427687299775980930548509242315026880795242185822\ 31212830597191833028580/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^8 - 1033749557484763555102264201214787526405982206868677822222076301403\ 42909762307580952820845/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^7 + 4193252454707187567148307500769743894358562046907190680561754640726\ 4582998336208626136520/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^6 - 1220593378861848056052718874866618746525839367621007551283347898404\ 4644634319913821419443/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^5 + 2694985759752548618653704739159914539069862373866234848277737930648\ 255494790249934026417/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^4 - 5319416817482373322609473880633363880798499996735710740911957066957\ 16195774241578783237/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^3 + 1019568833656476455721378570647411236183255461524399731700566154207\ 02532043101189958174/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^2 - 1538192058724630723290381170374625675150649363606501751772846562773\ 8785038173767817441/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4 + 1213881161770176648877628380307873319834441992085401075139513134883\ 892182911070228919/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853, c_0101_11 - 71892362393561112188798450378386283590505237625854233959851\ 90001546781323866121704/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^35 - 4007943013710033660321826931933041028481039799747641189163104760679\ 3328834003151174/28687521221445010973796012639449667923722901217011\ 467376188431903738454401183106853*c_1100_4^34 + 1349317363150155315098363557067280337698055200210173394647629274929\ 51059363597738462/2868752122144501097379601263944966792372290121701\ 1467376188431903738454401183106853*c_1100_4^33 + 7595192611586978625042810438091614314863212928401982762149069367054\ 99032944724490000/2868752122144501097379601263944966792372290121701\ 1467376188431903738454401183106853*c_1100_4^32 - 2119008053949368804221222483049186049591748840029626980385361638512\ 949814487313883094/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853*c_1100_4^31 - 6791664501171866203432723476842460938967598707610348324683391606343\ 931896408372847410/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853*c_1100_4^30 + 2374422949374550587710682309508159680915106185389948594916537322783\ 4341723881679343823/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^29 + 2628517968317892217555698027770813812629689226659845896140761398529\ 1878562292541663466/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^28 - 1660803550923825126486300019431841901238821664721274800928885069476\ 32929643256708056282/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^27 + 3622241406368290536925590618710687678316186878629502733932992638403\ 4792482997507793591/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^26 + 6685420490580153220109584619992021800102793710882509350814909756684\ 48928850291411011022/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^25 - 7884540416254024303915924820497209038225268906311587241333734909979\ 895209763279019275/278519623509174863823262258635433669162358264242\ 829780351343999065421887390127251*c_1100_4^24 - 1303842631725626971541904027723810154049983049869468901420628393971\ 046017670312701302116/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^23 + 3602916746641966789913179284840897629885005370606640138427011307269\ 022873526343646267006/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^22 - 4723342092100202010948171611294125399970918513409825779202326347135\ 41511174834073344039/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^21 - 7675026864060548133481591908832110612628229511675792449670624319034\ 413996918083278917086/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^20 + 9921763210551415199821627257382629658824152268088301256868518951699\ 931237897632976657140/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^19 + 1992797251157528098927368247185535111622024835399936055409616590545\ 223091317779414783064/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^18 - 1921824304586875583879603526494421744428639765939342417215429163172\ 4076996903784131960949/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^17 + 2168644014322163199354388498604377904620841796920595376596562123159\ 8243592499110149352736/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^16 + 8449174773908653939199591604319544787802491548239211960882167066246\ 28405716946664048752/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^15 - 3370928314841363485150734820230064264515646448312342435759658188257\ 3208424359425375665332/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^14 + 4610417107577480460494970811199731908625522263501573174573113559088\ 9911241414307990709861/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^13 - 2194601528209137861901518997196464223837718342106991685059160025960\ 7492408218034496424744/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^12 - 2183870925921103577478512777438040488821924723556355286554717678621\ 1396759423265842247348/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^11 + 5471558451851354176677588956041708695027099264617794031014361547772\ 8349230144336241350359/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^10 - 6151794276953550579559327500742070668371331148205575045805139466529\ 7787291795444421893958/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^9 + 4754388985790579928696985758848334913142041326008816960886465373683\ 0958276815583416982963/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^8 - 2692609111106918034564530638142555475000249948414499696029015899205\ 7902091082150637845930/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^7 + 1112910292604073347903541196578776885675686733979559522496398706530\ 9955794419322547495494/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^6 - 3333706097389464294668578267519134739815390478591812689851056897854\ 458365579429569962687/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^5 + 7531796138685318151341987700817822673711137471109483600935438184291\ 77136460044182627656/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^4 - 1466956950287649638366101433643947152147703966206062449937343244152\ 69252456538923887456/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^3 + 2813657059341097138415605613638672182098538080589415849158209506891\ 2821386555142621873/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^2 - 4520204628384575540484008569102431680898487827983183608977195613253\ 420819557780871018/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853*c_1100_4 + 3639294748800910869733976374367361168499193437369615926740064259214\ 07171880137125353/2868752122144501097379601263944966792372290121701\ 1467376188431903738454401183106853, c_0101_2 + 268269643684421592491987972205335814224546598797606019345799\ 20342726043483677366570/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^35 + 1494379108151279001895132698021501342306869931607555723435249348666\ 15054529582614056/2868752122144501097379601263944966792372290121701\ 1467376188431903738454401183106853*c_1100_4^34 - 5050954383928277415420458645019763420594945880402910999533274613110\ 52085291005793112/2868752122144501097379601263944966792372290121701\ 1467376188431903738454401183106853*c_1100_4^33 - 2837565671529980623707387332716360628889347157281865541408233930929\ 861938016648134166/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853*c_1100_4^32 + 7934132326091855260224769871288743568637105922275769356521013577689\ 882345881686163654/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853*c_1100_4^31 + 2541363061854717940641707469440134295029219042542315865957293624540\ 3955789599762841858/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^30 - 8893080916557056684965489378446377413976637914074262888433796604876\ 5985046700876315302/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^29 - 9868569957546347126319705132989067227713576111419213708893761607148\ 4240902375883256362/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^28 + 6226891709989566365249353186841742961542637789245448239610185033840\ 06036963196996624574/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^27 - 1330923194632767773806612946585233491132402838287355969814440862465\ 34781431250901229708/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^26 - 2512957352513147384980017794488330623446109286416083738115126795844\ 063459744534546540216/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^25 + 2946959881381195606180528178776352914725655075219004281871459993428\ 4077964291617929886/27851962350917486382326225863543366916235826424\ 2829780351343999065421887390127251*c_1100_4^24 + 4936001899217703957567045799206474262347659511114678065172156952752\ 210740877967740726656/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^23 - 1352347023900807991259960577604026066295159087780693004414244401349\ 6592445154099076528460/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^22 + 1615232487722604518389371522811565218427705774833899115117893676339\ 302180539938999419272/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^21 + 2898630086565950682198903699602832350381369369640805781552166221837\ 8713376437770350564324/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^20 - 3699558604990744650839057862661365641201252327230622557008225632463\ 9391710084788038139246/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^19 - 8208649059996631032863529184349009544309490814539295951998144998503\ 670919358670678142806/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^18 + 7248892389986862915333795661427759606894894359276050100805728495571\ 8898571153271998433887/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^17 - 8047629422812779355363281332453102679381732294663348100224153945328\ 4463925081708544517180/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^16 - 4922194092632200556945858128844680101495908732239863906898862673310\ 773093715359345145782/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^15 + 1273290264006095998341174816013339638741095217313725897006965050266\ 76717694395944884853263/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^14 - 1714078984222832455258926020507618339421104358754717849337691792931\ 42702104880530632194677/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^13 + 7880995757255722057970386479253635407211568712546876741826756317900\ 3581745435155218272327/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^12 + 8479165095977959651897908997106424655284434132564419154192563599616\ 0659671866780490529238/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^11 - 2048859190285624471240868919912171626284681365714236804281939614695\ 86657246279125994953525/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^10 + 2270295584255057056790417085951010947947910010297151101196753315190\ 00060985749660764823816/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^9 - 1732509145304382162199106117329538489399009795475550370398515880163\ 28522831697202623879073/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^8 + 9663735032728861785198883635694207407097458062813286765184846587265\ 6810977343966429820894/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^7 - 3906496275064490985536648536721324534372678546071199709701485210585\ 6201413526499988439873/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^6 + 1135756036047279712632224000024967770925037128490911577303411004813\ 3686587398811310365719/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^5 - 2512668336821520762974716153338543697158870325788622227070237347369\ 281412681122722474365/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^4 + 4966009662768397383525259289453848594924089955296251043168602619628\ 04685015032533843062/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^3 - 9517229538997728318043916033338005130664374071211754367923888404086\ 8790978072372816023/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^2 + 1439090836321093379557904845563508680943129805684699657030260478817\ 7473187112826365770/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4 - 1136259266994810345483525215510879504273086155801951654975658748936\ 963922113913523135/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853, c_0101_6 - 609811061476047967616176060577585890217877931470130143830160\ 14891311273648974766176/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^35 - 3392030065234557646515032970667144324067330007512604848458313354989\ 93693233305684110/2868752122144501097379601263944966792372290121701\ 1467376188431903738454401183106853*c_1100_4^34 + 1150330988516337959179187661659140273880744207101563466832904061238\ 395456383236831494/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853*c_1100_4^33 + 6437287561148853705905299277139998047614532902421086124587255195066\ 869110304015394496/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853*c_1100_4^32 - 1808124712306647261038843548990178406816507676557360508755815804721\ 5104128679609145198/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^31 - 5755827747890813316135830728085100192713299627341826999377367690183\ 8317361151719786366/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4^30 + 2025353535800076080535150908768178836278103021045038657209506111352\ 57984814201185291236/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^29 + 2220668196753884166818359072170108495763143822692423141558161216240\ 61239185748774443294/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^28 - 1416236535597097133948965044554348461165194176414261754107753520646\ 040348568545068975608/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^27 + 3174377630595373500293621628978864068144368408418138186597936723667\ 71676460457228979844/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^26 + 5701354216192286808140766556421844987558345162705060031652595532209\ 513591682380835408894/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^25 - 6752723703699107206955145155327126627322787235757485007839789211724\ 0567322061202407490/27851962350917486382326225863543366916235826424\ 2829780351343999065421887390127251*c_1100_4^24 - 1112244579092877422742108631898605776683750597202516569031531415600\ 9548783764280494937452/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^23 + 3082747615570133973167063563453066808949230455692665057011912429241\ 0611579738595855565886/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^22 - 4042436545735926691691394348447811330644322246278969653241888286791\ 163239889266514206348/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^21 - 6574129603303761277654633772749459415216613732277798682891135037983\ 1956705019437654618834/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^20 + 8480294639972867435102314547927524373567987472385944750880742405300\ 5849981186239236933397/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^19 + 1756012572661716576817284242712895578296321718470796507881686984110\ 8234218141783716340738/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^18 - 1647994071622948858470304553195458521639432565440175567527547175704\ 03575281565638174549731/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^17 + 1848087842281845337844617149804865727846633313268710635348056793966\ 56304506457874278168773/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^16 + 8861544792415536394168400916720102815312350746898213288773858831515\ 264931611556875761780/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^15 - 2892617500417465000212736140764646627724453655250344941375297983046\ 36642708044722081312782/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^14 + 3928767230976710851940606366289208642443775692551908091158227169166\ 10516279318391302101224/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^13 - 1838859252117500725906028016179981438112676869468532032676545309374\ 48736482872725666722459/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^12 - 1903440839765728169656675951341098488434434909539132846106811459156\ 82104759548947849140545/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^11 + 4678372985743635942274527733959179245676148153678260622029075640009\ 47769545187287601165442/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^10 - 5214858496330240035728865129115482248003598201940660142255777603446\ 97159926343387458334025/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^9 + 3997954921307847310640687568179543793331860944832429238006457736383\ 81319977044945071272280/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^8 - 2241466060924436553695425529187787700062593112400682110848791452877\ 27035100821371779297288/2868752122144501097379601263944966792372290\ 1217011467376188431903738454401183106853*c_1100_4^7 + 9119956343614072831810167731063702272260399020713294040555730689875\ 5557866699800893298570/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^6 - 2669899800101274595247210262671481031029486181578256620703205172238\ 4486401491974483565178/28687521221445010973796012639449667923722901\ 217011467376188431903738454401183106853*c_1100_4^5 + 5925346425672420436193417490789450883034211044821941936862809500180\ 871431734930579958337/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^4 - 1167850000337137079990773215265473451267069183737121819236177387545\ 162497771508915340693/286875212214450109737960126394496679237229012\ 17011467376188431903738454401183106853*c_1100_4^3 + 2240108618545224554207127234625445166381463959631228814791049236268\ 96528220879871485186/2868752122144501097379601263944966792372290121\ 7011467376188431903738454401183106853*c_1100_4^2 - 3414413428031719662315960094433721682961338951845961778065709924490\ 4745733705210055029/28687521221445010973796012639449667923722901217\ 011467376188431903738454401183106853*c_1100_4 + 2744099977832678542887001375197867588690403149585286072549021801687\ 871015466000484434/286875212214450109737960126394496679237229012170\ 11467376188431903738454401183106853, c_1100_0 - 1, c_1100_4^36 + 5*c_1100_4^35 - 22*c_1100_4^34 - 95*c_1100_4^33 + 356*c_1100_4^32 + 778*c_1100_4^31 - 3854*c_1100_4^30 - 1782*c_1100_4^29 + 25294*c_1100_4^28 - 18227*c_1100_4^27 - 90728*c_1100_4^26 + 166593*c_1100_4^25 + 118961*c_1100_4^24 - 608618*c_1100_4^23 + 348864*c_1100_4^22 + 1043846*c_1100_4^21 - 1995747*c_1100_4^20 + 486174*c_1100_4^19 + 2870980*c_1100_4^18 - 4544250*c_1100_4^17 + 1540915*c_1100_4^16 + 4838784*c_1100_4^15 - 9100872*c_1100_4^14 + 6606024*c_1100_4^13 + 1457650*c_1100_4^12 - 9431631*c_1100_4^11 + 12837658*c_1100_4^10 - 11320771*c_1100_4^9 + 7321887*c_1100_4^8 - 3536296*c_1100_4^7 + 1266914*c_1100_4^6 - 339760*c_1100_4^5 + 73039*c_1100_4^4 - 14300*c_1100_4^3 + 2598*c_1100_4^2 - 356*c_1100_4 + 25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.390 Total time: 0.600 seconds, Total memory usage: 32.09MB