Magma V2.19-8 Tue Aug 20 2013 23:47:12 on localhost [Seed = 2648438747] Type ? for help. Type -D to quit. Loading file "K14n886__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n886 geometric_solution 10.82509586 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 3 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.406336761796 0.581583612278 0 4 2 5 0132 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377518204811 0.968869161425 6 0 3 1 0132 0132 3201 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 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 1.199820864373 0.975815711674 2 0 4 0 2310 2310 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.084813606661 0.770322831343 7 1 7 3 0132 0132 3120 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.478356634144 0.510424418692 6 8 1 9 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 3 -4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.923287684757 0.879096238128 2 10 9 5 0132 0132 2031 2310 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 4 -1 -3 0 0 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.594047369869 0.368614700609 4 8 4 11 0132 2310 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.478356634144 0.510424418692 10 5 10 7 3120 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.817452981621 0.628243706212 11 11 5 6 0213 2310 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.406858489783 0.710620199853 8 6 11 8 2310 0132 3012 3120 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 -4 0 4 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.641560724509 0.846100056150 9 10 7 9 0213 1230 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.692277019658 0.829390669155 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0101_0']), 'c_1001_11' : d['c_0101_8'], 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_1001_4']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_3'], 'c_1001_2' : negation(d['c_0101_3']), 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : d['c_0011_5'], 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_9'], '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' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_3'], 'c_1100_7' : negation(d['c_0011_9']), 'c_1100_6' : d['c_0011_5'], 'c_1100_1' : d['c_0101_6'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_6'], 'c_1100_11' : negation(d['c_0011_9']), 'c_1100_10' : negation(d['c_0101_8']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_8'], 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : negation(d['c_0101_10']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0101_3']), 'c_1010_9' : negation(d['c_0011_5']), 'c_1010_8' : d['c_1001_4'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : 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' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_5'], 'c_0110_10' : negation(d['c_0101_8']), 'c_0101_7' : negation(d['c_0101_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_9'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0011_5']), 'c_0110_8' : negation(d['c_0101_8']), '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_6'], 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0011_9'], 'c_1100_8' : d['c_0011_0']})} 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_11, c_0011_3, c_0011_5, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_6, c_0101_8, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 3298317864385443904304907725392140673493263006284530721474324293235\ 27392710298815162750727322029838330599/9302299689247161111188524170\ 3611592252233561622389534591356344034675504447988560588598289469754\ 6832*c_1001_4^26 + 618587510045012275589391242387042241804821454842\ 9414810941349401264812800605895838505868106705674574382447/46511498\ 4462358055559426208518057961261167808111947672956781720173377522239\ 942802942991447348773416*c_1001_4^25 - 2276969891388311778676792047917456257837405696436796579444290126059\ 54982894588668322841168126753784172014243/9302299689247161111188524\ 1703611592252233561622389534591356344034675504447988560588598289469\ 7546832*c_1001_4^24 + 136104234069072303409095934845252713650891079\ 0899435285661338104075563244895911704652234352627418714157345679/46\ 5114984462358055559426208518057961261167808111947672956781720173377\ 522239942802942991447348773416*c_1001_4^23 - 9083064153558406064937610539545434053685519183129907165766478878750\ 39277299574999334825447855136884392100905/3577807572787369658149432\ 3732158304712397523700919051765906286167182886326149446380230111334\ 521032*c_1001_4^22 + 3939694240703959705578527511674234356356836204\ 8618084748772536485535751000644572011303931716714472384129661935/23\ 2557492231179027779713104259028980630583904055973836478390860086688\ 761119971401471495723674386708*c_1001_4^21 - 1903958141272825380162723638490399132702753606825120166684907718193\ 1306826764459873623837498612099716196878523/21141590202834457070883\ 0094780935436936894458232703487707628054624262510109064910428632476\ 06762428*c_1001_4^20 + 36310657286476745308771520939069451516134481\ 7450560899535343703943082075962133063865693769017339882120281323044\ 9/93022996892471611111885241703611592252233561622389534591356344034\ 6755044479885605885982894697546832*c_1001_4^19 - 6520760933332168201567204435824441625608191797548026570868734824695\ 762114623080830718273486123280586587822085475/465114984462358055559\ 4262085180579612611678081119476729567817201733775222399428029429914\ 47348773416*c_1001_4^18 + 13090542409410871219599569020684251445525\ 9960927810929021781978502243146916873134068175999636022206760081054\ 08081/3100766563082387037062841390120386408407785387412984486378544\ 80115585014826628535295327631565848944*c_1001_4^17 - 6250140857893611222112980042072381122048281023893845338203786715915\ 187257215614177408847250051294904946447885416/581393730577947569449\ 2827606475724515764597601399345911959771502167219027999285036787393\ 0918596677*c_1001_4^16 + 216676865301089016863298398747261147904811\ 8835846312057767910714065115495985050506419523879080398931508153079\ 71053/9302299689247161111188524170361159225223356162238953459135634\ 40346755044479885605885982894697546832*c_1001_4^15 - 2005888444999353892013045931855626417402388178363514437455231658117\ 06097015383056071286642775313582348488913150941/4651149844623580555\ 5942620851805796126116780811194767295678172017337752223994280294299\ 1447348773416*c_1001_4^14 + 159087522489783601813979460220726137557\ 6193363108543749919574736735002689885365317260066593161920309453065\ 30613775/2325574922311790277797131042590289806305839040559738364783\ 90860086688761119971401471495723674386708*c_1001_4^13 - 3606667728021710407100976795691097532439347865681126620603668044633\ 0891352968909235959074148470936330885221451129/38759582038529837963\ 2855173765048301050973173426623060797318100144481268533285669119159\ 53945731118*c_1001_4^12 + 50456229663914715948922554153000478075606\ 9208401598059877561247834661210419356714689146053487068698740852888\ 793259/465114984462358055559426208518057961261167808111947672956781\ 720173377522239942802942991447348773416*c_1001_4^11 - 2515020163024918534722182148195439938935563719547130462820073642855\ 11327330296978017466655610538226073990569180689/2325574922311790277\ 7971310425902898063058390405597383647839086008668876111997140147149\ 5723674386708*c_1001_4^10 + 213521810808167087441582633078660407518\ 9223589768811558159523519511244612912393580659219694416803908856799\ 16081957/2325574922311790277797131042590289806305839040559738364783\ 90860086688761119971401471495723674386708*c_1001_4^9 - 2045414421260432617889213134898604740251744448678431556885295965773\ 11077978055699472579318817268854999961385800537/3100766563082387037\ 0628413901203864084077853874129844863785448011558501482662853529532\ 7631565848944*c_1001_4^8 + 1848517884314519634515661857116154279954\ 2054592076564787722204453212448041266691545456977390532435273267868\ 8653197/46511498446235805555942620851805796126116780811194767295678\ 1720173377522239942802942991447348773416*c_1001_4^7 - 3073663455908997242177362477097317814180303342828596111757180115238\ 2591163079239411550615144576265588099566747651/15503832815411935185\ 3142069506019320420389269370649224318927240057792507413314267647663\ 815782924472*c_1001_4^6 + 12468402736732364416246861770357359233188\ 4131689908229235259529602770066783956386554418944530482686710225661\ 74039/1550383281541193518531420695060193204203892693706492243189272\ 40057792507413314267647663815782924472*c_1001_4^5 - 2004147066797463711851311728262284793474998838884429117203217132495\ 102960917315141292395927972329914887162125717/775191640770596759265\ 7103475300966021019463468532461215946362002889625370665713382383190\ 7891462236*c_1001_4^4 + 5894458892911285203418689436509915757055278\ 8192354336520524285372228940640547419360441457612814748193891914662\ 99/9302299689247161111188524170361159225223356162238953459135634403\ 46755044479885605885982894697546832*c_1001_4^3 - 3135066862268862307042053655151824381977753055352178728449929145030\ 8391016685997440345897190843158917923274239/28188786937112609427844\ 0126374580582582525944310271316943504072832350013478753213904843301\ 42349904*c_1001_4^2 + 296896520796331011993928894282236793070906697\ 1887682321319311940665154264372296701021438953125995826563387077/23\ 8520504852491310543295491547722031415983491339460345106041907781219\ 24217432964253486740889680688*c_1001_4 - 6208071351175487333549522590409370825177690371474480290907413161733\ 298780531497575320495257137839893742537609/930229968924716111118852\ 4170361159225223356162238953459135634403467550444798856058859828946\ 97546832, c_0011_0 - 1, c_0011_11 - 53265317277010016897623654874666831130064549716368433285729\ 97666752227780285224695/1517734354734790302052568555217457317055890\ 7262915648005337735590084610100047696*c_1001_4^26 + 2016041757849195120157966528004108296033968385970434868575634603529\ 90991067470721119/1517734354734790302052568555217457317055890726291\ 5648005337735590084610100047696*c_1001_4^25 - 3743454987168227408105660134465480124449849927547902566843318680296\ 739316157708556069/151773435473479030205256855521745731705589072629\ 15648005337735590084610100047696*c_1001_4^24 + 4515180767906038454129971483420495076166659678490652802945701715007\ 7488184745023617537/15177343547347903020525685552174573170558907262\ 915648005337735590084610100047696*c_1001_4^23 - 3952901473038896157975566118761400378345399841344687642600411937270\ 76267427226018554959/1517734354734790302052568555217457317055890726\ 2915648005337735590084610100047696*c_1001_4^22 + 1664097783124982655331065537444762265779033459488013699374695542602\ 89477147030927551151/9485839717092439387828553470109108231599317039\ 32228000333608474380288131252981*c_1001_4^21 - 1299340209610471556761858761912011433880397936554774280881579300801\ 469837352407907095497/137975850430435482004778959565223392459626429\ 6628695273212521417280419100004336*c_1001_4^20 + 3911392984347890949868234496838642902625404977795913581297787155888\ 012072244416732744125/948583971709243938782855347010910823159931703\ 932228000333608474380288131252981*c_1001_4^19 - 2271691875411012457755229936309224563387299975672605357758810110368\ 71119114434410645322553/1517734354734790302052568555217457317055890\ 7262915648005337735590084610100047696*c_1001_4^18 + 3458350667287582646161850114502551478458190868306765706990138464483\ 31599238519417714824909/7588671773673951510262842776087286585279453\ 631457824002668867795042305050023848*c_1001_4^17 - 4454144149692007168002042981059258844667065252830001986432679968600\ 89960925717708060480633/3794335886836975755131421388043643292639726\ 815728912001334433897521152525011924*c_1001_4^16 + 9766890491479716163380841870403851494183459987140891768396580479782\ 37867654263317320740031/3794335886836975755131421388043643292639726\ 815728912001334433897521152525011924*c_1001_4^15 - 4577256166551694330592947991033072703415813786262117114715404414189\ 04831275485120917763992/9485839717092439387828553470109108231599317\ 03932228000333608474380288131252981*c_1001_4^14 + 5883513169876579690868163650040434041651668381056873637994026209317\ 761388802095990181010777/758867177367395151026284277608728658527945\ 3631457824002668867795042305050023848*c_1001_4^13 - 1622079371060174555358915791812661438509770008108779793857551086477\ 0827947667814551005757299/15177343547347903020525685552174573170558\ 907262915648005337735590084610100047696*c_1001_4^12 + 9586553026748437218619534779911143924834196498631379373806216981900\ 019305226888004215090763/758867177367395151026284277608728658527945\ 3631457824002668867795042305050023848*c_1001_4^11 - 9694615007989103349376056490137189250892240081126360284449961270069\ 308935544568135689256039/758867177367395151026284277608728658527945\ 3631457824002668867795042305050023848*c_1001_4^10 + 1670719650169345815225297889507981432462341894979448924365570775718\ 0928461665541764422954321/15177343547347903020525685552174573170558\ 907262915648005337735590084610100047696*c_1001_4^9 - 1218967462423909041015804742912221315725841460079819229506936959007\ 9331257574666008073420135/15177343547347903020525685552174573170558\ 907262915648005337735590084610100047696*c_1001_4^8 + 7462684174339046650778125203293738805070824758162482476496916322351\ 450754178503640211332427/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^7 - 3785160712945529111873829015088653031732897900553293831177838074813\ 000846296571422182375141/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^6 + 7811754545274383994763956606910318612850953578019768921309583096165\ 48861789175347810941395/7588671773673951510262842776087286585279453\ 631457824002668867795042305050023848*c_1001_4^5 - 5114364733088033646926402408319370067703478675876749669970643278751\ 26551870848566239852687/1517734354734790302052568555217457317055890\ 7262915648005337735590084610100047696*c_1001_4^4 + 6387049836151212348181209909499786016893834736584368798448913052035\ 3079923423972499574841/75886717736739515102628427760872865852794536\ 31457824002668867795042305050023848*c_1001_4^3 - 1039392737650685562168701751160124673766555389174937747579431386223\ 952250708461285197065/689879252152177410023894797826116962298132148\ 314347636606260708640209550002168*c_1001_4^2 + 2612229286477954773693030821117381938268145031804383218424186220606\ 964705311522988600847/151773435473479030205256855521745731705589072\ 62915648005337735590084610100047696*c_1001_4 - 1430595823033059873946804339074333971582574220198371045257469207255\ 87748406807532629443/1517734354734790302052568555217457317055890726\ 2915648005337735590084610100047696, c_0011_3 - 134597938032768447825664745477789960515018307361117080597350\ 7687446072653335154121/75886717736739515102628427760872865852794536\ 31457824002668867795042305050023848*c_1001_4^26 + 1013959821050852421217582434101474982366018354542789231808641692350\ 77823964857395551/1517734354734790302052568555217457317055890726291\ 5648005337735590084610100047696*c_1001_4^25 - 1873696510134470052829255347715033712654590651792558917560904923290\ 281832462432038523/151773435473479030205256855521745731705589072629\ 15648005337735590084610100047696*c_1001_4^24 + 1124462800722495295654934651301294096845235976796651664574332823209\ 4895428860214172385/75886717736739515102628427760872865852794536314\ 57824002668867795042305050023848*c_1001_4^23 - 4897354878832392007535671979176637973488502819116226567758413787812\ 6657902469513687841/37943358868369757551314213880436432926397268157\ 28912001334433897521152525011924*c_1001_4^22 + 8203403045653303483980698890657435854062294016932061544767823504898\ 0872604042850161035/94858397170924393878285534701091082315993170393\ 2228000333608474380288131252981*c_1001_4^21 - 3981178932413886241287333941661034404735625783300794587558393182483\ 4866389126724234265/86234906519022176252986849728264620287266518539\ 293454575782588580026193750271*c_1001_4^20 + 1525089353215531261798935209143805234758429122620209795171097965772\ 5430666286596318628815/75886717736739515102628427760872865852794536\ 31457824002668867795042305050023848*c_1001_4^19 - 1100406233751917552121720147345575165084650526960232392510979296248\ 82784418912136870362979/1517734354734790302052568555217457317055890\ 7262915648005337735590084610100047696*c_1001_4^18 + 3328849857372181971350498694133228219641755752487523104330060638704\ 58964988121178566861795/1517734354734790302052568555217457317055890\ 7262915648005337735590084610100047696*c_1001_4^17 - 2129178222519167268626095725605875786962860761668481847010298653143\ 11167472729166711732309/3794335886836975755131421388043643292639726\ 815728912001334433897521152525011924*c_1001_4^16 + 9271449659097275562322821550932699764699738847599102377593389384679\ 77600722024571599852383/7588671773673951510262842776087286585279453\ 631457824002668867795042305050023848*c_1001_4^15 - 3450333618022744716769111401012119148629859362720340884169166675790\ 925827044697525478713347/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^14 + 5500946743529762818984747467945659107683299151564062224560469174128\ 419597741705319672746951/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^13 - 7522048951782597933361508683819028412165539016132010005359240886738\ 179442019123710436010557/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^12 + 8816684838250048282160673710812815234224015929668047607270523338739\ 999602898922130898107065/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^11 - 8838388181766255974077662751018064925957126251821115507720063519352\ 990797988304464830744719/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^10 + 7546757518375971726700029740011440841507601801916255113583228490432\ 723609791830925172297853/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^9 - 5454184505169974859246851323427882214857695377101285381844892772999\ 266271455872176417262557/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^8 + 4132856469203834692393758054707960998257743353848865712640751536693\ 73180575471047983739949/1897167943418487877565710694021821646319863\ 407864456000667216948760576262505962*c_1001_4^7 - 8298926380604679350352645298797335979273544443588648513998788572260\ 90770811537525545958375/7588671773673951510262842776087286585279453\ 631457824002668867795042305050023848*c_1001_4^6 + 3388752014201565824248022912365019568055337879400364493409487487873\ 70197978534628556145471/7588671773673951510262842776087286585279453\ 631457824002668867795042305050023848*c_1001_4^5 - 1096889981036611827297829882537099556818273007301156993690644980359\ 89046604634970929476903/7588671773673951510262842776087286585279453\ 631457824002668867795042305050023848*c_1001_4^4 + 2707592247573685119251415084037417438937073954871868060785066909933\ 2712342119526138241331/75886717736739515102628427760872865852794536\ 31457824002668867795042305050023848*c_1001_4^3 - 8704246667599038107376809273782810970799546667156621374646041772123\ 91671696420313145089/1379758504304354820047789595652233924596264296\ 628695273212521417280419100004336*c_1001_4^2 + 5398658041335429524962164293529263254909905056015864089078390623419\ 91447974853381469705/7588671773673951510262842776087286585279453631\ 457824002668867795042305050023848*c_1001_4 - 5833639365667341336296012607175154620318561217455149263832918328861\ 7347075615005887525/15177343547347903020525685552174573170558907262\ 915648005337735590084610100047696, c_0011_5 + 578340625619159656271758452189386693448498189492232345124472\ 066954642433269390035/137975850430435482004778959565223392459626429\ 6628695273212521417280419100004336*c_1001_4^26 - 2185289948350342538765780470035176881451886811923617711893805373574\ 6806841349694417/13797585043043548200477895956522339245962642966286\ 95273212521417280419100004336*c_1001_4^25 + 5064182834584603140056380917977174834388729019011624763900211752185\ 1593327094049597/17246981303804435250597369945652924057453303707858\ 6909151565177160052387500542*c_1001_4^24 - 2439601064054640306617902028680271052695447954980562846466366842749\ 736171784602373589/689879252152177410023894797826116962298132148314\ 347636606260708640209550002168*c_1001_4^23 + 2132673242574544670155852475826068381537062293624235582149599088504\ 8206371360010857005/68987925215217741002389479782611696229813214831\ 4347636606260708640209550002168*c_1001_4^22 - 7172201405684833199344897467552135633964904101508289313477466478280\ 5306183919644059847/34493962607608870501194739891305848114906607415\ 7173818303130354320104775001084*c_1001_4^21 + 7689218947052689201060673465927114015613127071480562479949688097673\ 93967726193829492889/6898792521521774100238947978261169622981321483\ 14347636606260708640209550002168*c_1001_4^20 - 6724171400881306192807516996177815353664885901451859959869715313127\ 889446722820994171817/137975850430435482004778959565223392459626429\ 6628695273212521417280419100004336*c_1001_4^19 + 2437455854266117439252305325394014305966987789827826985142620293496\ 2162183669289674142425/13797585043043548200477895956522339245962642\ 96628695273212521417280419100004336*c_1001_4^18 - 1852840325956343054766822422011663791595248530041024995900435255370\ 9760701607078298466027/34493962607608870501194739891305848114906607\ 4157173818303130354320104775001084*c_1001_4^17 + 4766381401704691429194954582430676341415365802170396701877252424594\ 7118492440316682478603/34493962607608870501194739891305848114906607\ 4157173818303130354320104775001084*c_1001_4^16 - 4175247101247802963944125824786460024382997741113905771992463793986\ 75939685268017276837213/1379758504304354820047789595652233924596264\ 296628695273212521417280419100004336*c_1001_4^15 + 7817167504107118194660829949317750461231147770669841973120297636234\ 23131908263723426785981/1379758504304354820047789595652233924596264\ 296628695273212521417280419100004336*c_1001_4^14 - 1254488665208211914337867322411888634176907109252854003673101030459\ 984916970989041876839059/137975850430435482004778959565223392459626\ 4296628695273212521417280419100004336*c_1001_4^13 + 1727289271575617423651259375584420888487921124150091939810334784330\ 694604715347963683080729/137975850430435482004778959565223392459626\ 4296628695273212521417280419100004336*c_1001_4^12 - 2039362942686133556895493853249646035823166867257956045444522616730\ 885437189436561770347745/137975850430435482004778959565223392459626\ 4296628695273212521417280419100004336*c_1001_4^11 + 2060089240245683808956836576593813545118768910479352135446359007758\ 604356489320387478788903/137975850430435482004778959565223392459626\ 4296628695273212521417280419100004336*c_1001_4^10 - 1773227040695600994757230489484856006447891852304590875429573992821\ 839024314786257936977959/137975850430435482004778959565223392459626\ 4296628695273212521417280419100004336*c_1001_4^9 + 6461998839334575419359564408011719052342865194158249431453496987330\ 00277298783861692992877/6898792521521774100238947978261169622981321\ 48314347636606260708640209550002168*c_1001_4^8 - 9880039106646529448989714703495298132087188971210003305945651504089\ 5095769906243338720961/17246981303804435250597369945652924057453303\ 7078586909151565177160052387500542*c_1001_4^7 + 1001214291971823256571559797685772080542827732754302486390498392067\ 40219896098168732337359/3449396260760887050119473989130584811490660\ 74157173818303130354320104775001084*c_1001_4^6 - 8256490658468160509056263972990234824018663440086123919499248479623\ 3422372693108495760911/68987925215217741002389479782611696229813214\ 8314347636606260708640209550002168*c_1001_4^5 + 2699865112603445172154181695732323612680126223478306302195585789264\ 2914262436693846965577/68987925215217741002389479782611696229813214\ 8314347636606260708640209550002168*c_1001_4^4 - 1347184677812162182723570832013004461162367561686397572554497280382\ 4421755944672973491455/13797585043043548200477895956522339245962642\ 96628695273212521417280419100004336*c_1001_4^3 + 1505470740133657761932467152265704346115118197612289488459567914694\ 40947605957473642937/8623490651902217625298684972826462028726651853\ 9293454575782588580026193750271*c_1001_4^2 - 2748306073650184163477818367926437836377563509837183428282375263713\ 93760687041110134959/1379758504304354820047789595652233924596264296\ 628695273212521417280419100004336*c_1001_4 + 7515725679137007261455927135159200840926735469549191046653924849856\ 150946066080334933/689879252152177410023894797826116962298132148314\ 347636606260708640209550002168, c_0011_9 + 191777149857696795013289434688539122165604763591067140797560\ 1670681890924562432017/15177343547347903020525685552174573170558907\ 262915648005337735590084610100047696*c_1001_4^26 - 3559088053018580486005345975119026532333486182862444319595752091545\ 9726419702190275/75886717736739515102628427760872865852794536314578\ 24002668867795042305050023848*c_1001_4^25 + 6483182648866903710527831155166767072653481830337289472067995723440\ 57038317320841991/7588671773673951510262842776087286585279453631457\ 824002668867795042305050023848*c_1001_4^24 - 1534200231651812454176575999548476580148923061445978794860731070618\ 8795999257255295203/15177343547347903020525685552174573170558907262\ 915648005337735590084610100047696*c_1001_4^23 + 1317118162199932921049678294942219137024960221462206082362856164531\ 64215084500963441197/1517734354734790302052568555217457317055890726\ 2915648005337735590084610100047696*c_1001_4^22 - 4347241191648335555336690359866921900081995422859831728638404059701\ 85524379363030998743/7588671773673951510262842776087286585279453631\ 457824002668867795042305050023848*c_1001_4^21 + 4154998599431448121392196548177995955324676769289741442702823592433\ 68334531678016570697/1379758504304354820047789595652233924596264296\ 628695273212521417280419100004336*c_1001_4^20 - 4895253474822936276466225666473745694450386920801089358562937556649\ 256506781518381101329/379433588683697575513142138804364329263972681\ 5728912001334433897521152525011924*c_1001_4^19 + 3474252191721801505015282447954571298867812311736611775605867444729\ 1296068750769743116447/75886717736739515102628427760872865852794536\ 31457824002668867795042305050023848*c_1001_4^18 - 2066457856252907664907662812528928730769613221456534136207834463366\ 38099436005126396000467/1517734354734790302052568555217457317055890\ 7262915648005337735590084610100047696*c_1001_4^17 + 2597454963434670041404538805707895995957271053033449860843016793983\ 40010118041505066508393/7588671773673951510262842776087286585279453\ 631457824002668867795042305050023848*c_1001_4^16 - 5554223082952030435068943241621029893092867374102312398693181454295\ 39450115686234297905989/7588671773673951510262842776087286585279453\ 631457824002668867795042305050023848*c_1001_4^15 + 2029172638062649479595445605379856276396018367699141543894226271025\ 913743703807529036841205/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^14 - 3174722723267557422647711241638708331986694833951254626786348652833\ 472351665708905122763041/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^13 + 2661567136074434571138683404556223924668018671727817459741647311032\ 67977670005229233102743/9485839717092439387828553470109108231599317\ 03932228000333608474380288131252981*c_1001_4^12 - 4894796201283015009873967958157207166536700175345927077013662020952\ 585370221052548058876473/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^11 + 4810352524364721935062193106780744979120874000185461585971772921815\ 681701309601054006543865/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^10 - 2012729866209421327830882361329695512099575545376866275833189600358\ 454309590660347358549887/758867177367395151026284277608728658527945\ 3631457824002668867795042305050023848*c_1001_4^9 + 1425254477142206612515029065686185958727465227616394281967759283593\ 296856072632898515128033/758867177367395151026284277608728658527945\ 3631457824002668867795042305050023848*c_1001_4^8 - 1692645338137819458416686247677268680447496202452230968283727594563\ 466905496615364890838995/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^7 + 8321779206991007188177859269134108483371675455772331460682787631612\ 08173625893621325087433/1517734354734790302052568555217457317055890\ 7262915648005337735590084610100047696*c_1001_4^6 - 1663642010307339178687757989045786804829082053393679394882876241189\ 71011744247849555949169/7588671773673951510262842776087286585279453\ 631457824002668867795042305050023848*c_1001_4^5 + 1054388594114905132604029356066065594103676861309782224280948953369\ 64774012026893074949821/1517734354734790302052568555217457317055890\ 7262915648005337735590084610100047696*c_1001_4^4 - 1273880658320136566085291347874296637633710740465468980214008616867\ 1699187675406434531899/75886717736739515102628427760872865852794536\ 31457824002668867795042305050023848*c_1001_4^3 + 4008555556808552540181138768137114156309040962799564068488309422486\ 30860403393706679253/1379758504304354820047789595652233924596264296\ 628695273212521417280419100004336*c_1001_4^2 - 4867254955181373371994084303300813085077289463966920328806881288751\ 79837634692894068455/1517734354734790302052568555217457317055890726\ 2915648005337735590084610100047696*c_1001_4 + 6435587593002659916120045585083779570874324941440763663084634306949\ 813825841923517263/379433588683697575513142138804364329263972681572\ 8912001334433897521152525011924, c_0101_0 + 261031938065448963965305723963743336393425141228027096562930\ 62048152160534775548/9485839717092439387828553470109108231599317039\ 32228000333608474380288131252981*c_1001_4^26 - 1518500027921141958195642488262234616371362950982545606168618892807\ 6929050705574033/15177343547347903020525685552174573170558907262915\ 648005337735590084610100047696*c_1001_4^25 + 1692257779887157578593141590868103800539631671222837462622158537050\ 8883739619566928/94858397170924393878285534701091082315993170393222\ 8000333608474380288131252981*c_1001_4^24 - 1566139338793943236237454779063915489133234914767016622836473155488\ 820965033640022429/758867177367395151026284277608728658527945363145\ 7824002668867795042305050023848*c_1001_4^23 + 2624746837722700622900841685312675271458670652639268779435430410268\ 8475396822873771397/15177343547347903020525685552174573170558907262\ 915648005337735590084610100047696*c_1001_4^22 - 1687545354630088209461985428041315577016556746454555460934380697651\ 44926992372001058355/1517734354734790302052568555217457317055890726\ 2915648005337735590084610100047696*c_1001_4^21 + 3917122827210438189678252930519393202870620720996616240695062299927\ 0693124009809383993/68987925215217741002389479782611696229813214831\ 4347636606260708640209550002168*c_1001_4^20 - 3575610071592161099542421609239976350332830970196941047103199614775\ 800259163777178622977/151773435473479030205256855521745731705589072\ 62915648005337735590084610100047696*c_1001_4^19 + 6122743891877099480783424309315596646560008446955660076478530398872\ 283762085371248375227/758867177367395151026284277608728658527945363\ 1457824002668867795042305050023848*c_1001_4^18 - 2187936234648868453926777539238500358510455842147451207814239813673\ 636477217620120524424/948583971709243938782855347010910823159931703\ 932228000333608474380288131252981*c_1001_4^17 + 8421425254836788230109674819317220238249579466587617053067987457489\ 1444574590063658943241/15177343547347903020525685552174573170558907\ 262915648005337735590084610100047696*c_1001_4^16 - 8571592550068745742534147124162961806957881214231327701652425858787\ 4727592072703131944185/75886717736739515102628427760872865852794536\ 31457824002668867795042305050023848*c_1001_4^15 + 7408403148182920821916010391154679217703723187781935356520402202236\ 2907010712179817648517/37943358868369757551314213880436432926397268\ 15728912001334433897521152525011924*c_1001_4^14 - 4356553503458145465924800515208269275397964558877085837168477475811\ 23145468834503382277681/1517734354734790302052568555217457317055890\ 7262915648005337735590084610100047696*c_1001_4^13 + 5445262357956082030630430364521362930649766443151417190563101553005\ 59673108627255108532693/1517734354734790302052568555217457317055890\ 7262915648005337735590084610100047696*c_1001_4^12 - 2886353906321083626035791587129847191480237224740136733894708478131\ 32704426880587948459723/7588671773673951510262842776087286585279453\ 631457824002668867795042305050023848*c_1001_4^11 + 5166198324476896727290957241302890258801952645372272634784204257840\ 86361745319070021162561/1517734354734790302052568555217457317055890\ 7262915648005337735590084610100047696*c_1001_4^10 - 3873128845586311421749556046092591249563776891004727467915836725171\ 75477945741804397727789/1517734354734790302052568555217457317055890\ 7262915648005337735590084610100047696*c_1001_4^9 + 1502688189048135082384682921337777483248163607552981694224532026634\ 9404272129763086653183/94858397170924393878285534701091082315993170\ 3932228000333608474380288131252981*c_1001_4^8 - 6071335090402346726347355062090585088412369433269630138495990190013\ 7133984881209318455895/75886717736739515102628427760872865852794536\ 31457824002668867795042305050023848*c_1001_4^7 + 4854180058841857782998318212959917353208670420816997081180192289512\ 6419716365330112745497/15177343547347903020525685552174573170558907\ 262915648005337735590084610100047696*c_1001_4^6 - 1465963612212578434577700955412476975068495993231543317004703833977\ 8699659176950797681271/15177343547347903020525685552174573170558907\ 262915648005337735590084610100047696*c_1001_4^5 + 1520760580877782069068901157616044734326937113240977775748908699510\ 970924753459864393621/758867177367395151026284277608728658527945363\ 1457824002668867795042305050023848*c_1001_4^4 - 3212922270063554196276869790048595396927784596538990114241372043631\ 29604267747537761955/1517734354734790302052568555217457317055890726\ 2915648005337735590084610100047696*c_1001_4^3 - 4748137981839118411214078796012643631540369333885385664606004846131\ 83139333801483473/3449396260760887050119473989130584811490660741571\ 73818303130354320104775001084*c_1001_4^2 + 1134057441385508441911681916855832152120394244901527226004089900370\ 5352540645830214863/15177343547347903020525685552174573170558907262\ 915648005337735590084610100047696*c_1001_4 - 1111779834505601531326051650499573153974149803388526049268899810462\ 513928660790852325/151773435473479030205256855521745731705589072629\ 15648005337735590084610100047696, c_0101_1 - 196092520388860372711190093510714873217220067926471880334265\ 8059676501832286339715/15177343547347903020525685552174573170558907\ 262915648005337735590084610100047696*c_1001_4^26 + 7423566035135865170292727877277980483250083283342157354388501105977\ 6274253570363409/15177343547347903020525685552174573170558907262915\ 648005337735590084610100047696*c_1001_4^25 - 1378504209193631096542518493654144867065964422119227850372295199388\ 442223081200579501/151773435473479030205256855521745731705589072629\ 15648005337735590084610100047696*c_1001_4^24 + 8312597718831656795540621917816567715801085202721878355671494159921\ 318903371597336425/758867177367395151026284277608728658527945363145\ 7824002668867795042305050023848*c_1001_4^23 - 1455120343688685836624389826293513845862153359406400711112414035738\ 63198914172645468639/1517734354734790302052568555217457317055890726\ 2915648005337735590084610100047696*c_1001_4^22 + 9797274602660298398329066408206886717968370723300850394561193859089\ 35244042198956574511/1517734354734790302052568555217457317055890726\ 2915648005337735590084610100047696*c_1001_4^21 - 5972959962958156322475513364821854247122709573354346894909863497359\ 3150493366149652923/17246981303804435250597369945652924057453303707\ 8586909151565177160052387500542*c_1001_4^20 + 1149869671999619815223442339260293089711325260448304055277864959931\ 3162170309993167744481/75886717736739515102628427760872865852794536\ 31457824002668867795042305050023848*c_1001_4^19 - 4169949907784152967573486428736403602144491524699360525490007255697\ 7318429146084791427421/75886717736739515102628427760872865852794536\ 31457824002668867795042305050023848*c_1001_4^18 + 2536311519197973358317261565473375254121108725372218545149276223328\ 19385255430483447451649/1517734354734790302052568555217457317055890\ 7262915648005337735590084610100047696*c_1001_4^17 - 6524134375383204164014718831480793339577113256839809375793273048467\ 24363943025571511967017/1517734354734790302052568555217457317055890\ 7262915648005337735590084610100047696*c_1001_4^16 + 1428264444091223928653774074950593032239352468456846113036162012676\ 377136578952530951131743/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^15 - 6681070651574344212112144631817629363789440681175470899627392483613\ 05904102949420591261335/3794335886836975755131421388043643292639726\ 815728912001334433897521152525011924*c_1001_4^14 + 4284770383853886977555471447761114556384079925931035349504342180174\ 417742175566920534657191/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^13 - 5892519069238847391141510817234646911435041938711895202577789194076\ 940434164775645888337015/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^12 + 8683285552793894553898111600359744834058158348350320407911974704580\ 48363995369139644568359/1897167943418487877565710694021821646319863\ 407864456000667216948760576262505962*c_1001_4^11 - 7004477090899544253172008038328014773860726734324200380886511290078\ 705615773346550161835899/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^10 + 6016292097253451272635066932260036076106994349794248449884732885665\ 286944695549816582634981/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^9 - 4374207588008428241343944200714377470943149564833757636673973936316\ 307316797789020927783601/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^8 + 1333891558476615136978949046130067016927424955375518426395899960001\ 725319661899867034196629/758867177367395151026284277608728658527945\ 3631457824002668867795042305050023848*c_1001_4^7 - 1347559694036554644487879507485854528118039360574086452823991265304\ 637640789786719729365095/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^6 + 5537374606281518219642726818962516125151306418929631087439754558309\ 51505049319371417487183/1517734354734790302052568555217457317055890\ 7262915648005337735590084610100047696*c_1001_4^5 - 9019768779209407459727512687068872533237305639993967015994625596533\ 6336691908776039260769/75886717736739515102628427760872865852794536\ 31457824002668867795042305050023848*c_1001_4^4 + 2241214049258385459370942301082054520821512947051425217718401514998\ 2806703259667153972683/75886717736739515102628427760872865852794536\ 31457824002668867795042305050023848*c_1001_4^3 - 7254029399795016670769158026774788251018737241676754502979383261052\ 48484278724732628563/1379758504304354820047789595652233924596264296\ 628695273212521417280419100004336*c_1001_4^2 + 5663502946789965674782082041350170297085988738342412254865861780007\ 0914770578138415701/94858397170924393878285534701091082315993170393\ 2228000333608474380288131252981*c_1001_4 - 3082189923162105690660699921539307882637186790741755800382121366395\ 453688552935294150/948583971709243938782855347010910823159931703932\ 228000333608474380288131252981, c_0101_10 + 16730480060414081604892959895327221605763968364327328062978\ 87767270008234670213229/7588671773673951510262842776087286585279453\ 631457824002668867795042305050023848*c_1001_4^26 - 1262537116839303388653677547126556736554744767144370721472801685548\ 75996062484820829/1517734354734790302052568555217457317055890726291\ 5648005337735590084610100047696*c_1001_4^25 + 2337134326572872849068033533260719845244948938090239552418892514706\ 928078356940157885/151773435473479030205256855521745731705589072629\ 15648005337735590084610100047696*c_1001_4^24 - 3512786348167155017229275759450478310876258922164526617048375609576\ 000911443222919115/189716794341848787756571069402182164631986340786\ 4456000667216948760576262505962*c_1001_4^23 + 3065593265511941399045681841913973804779373158394460486553533003661\ 0954175104774600031/18971679434184878775657106940218216463198634078\ 64456000667216948760576262505962*c_1001_4^22 - 8232436671790165228048567378887123329193456583491662630001254621847\ 65164264923027537517/7588671773673951510262842776087286585279453631\ 457824002668867795042305050023848*c_1001_4^21 + 4003694994049710934986265664267305529050458586605002834352163185160\ 17895068335709920873/6898792521521774100238947978261169622981321483\ 14347636606260708640209550002168*c_1001_4^20 - 1921449964014210958905645693570461842428175232233375928349729876055\ 0698843509239984093667/75886717736739515102628427760872865852794536\ 31457824002668867795042305050023848*c_1001_4^19 + 1389712766714084936903165770679072530175069267908985838335648064642\ 87507469928998636014563/1517734354734790302052568555217457317055890\ 7262915648005337735590084610100047696*c_1001_4^18 - 4214744126855744150349397180655590648673848584795660083293690154042\ 25360791492302962730375/1517734354734790302052568555217457317055890\ 7262915648005337735590084610100047696*c_1001_4^17 + 5406216743931307491371399728035767902664967699034809670388538894061\ 27800416492431632440047/7588671773673951510262842776087286585279453\ 631457824002668867795042305050023848*c_1001_4^16 - 1475556318997034540759246353930788176304721828521754325232771024519\ 19494774806392557213930/9485839717092439387828553470109108231599317\ 03932228000333608474380288131252981*c_1001_4^15 + 4406376818730306048829029129475129369626892255951396723915835734825\ 499478142035369040301293/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^14 - 7047914131163209721368826180038108589253322927860871982030849736678\ 392363639232213143114491/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^13 + 9670478770122546339733936826158546517346806291955475747380106221994\ 455969473272389575240551/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^12 - 1137625441783708170973145144337261722592200816416730641843705746458\ 6823057750141740349598759/15177343547347903020525685552174573170558\ 907262915648005337735590084610100047696*c_1001_4^11 + 1144859282700811023251681884527388463356645024976833325933826175595\ 9065435295868899167398679/15177343547347903020525685552174573170558\ 907262915648005337735590084610100047696*c_1001_4^10 - 9816101514693357744763953728212905676535211492208856379703423589753\ 214685981481587650551647/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^9 + 7125853217898371227714121938893576580002611094912043226964601770980\ 815075600367868857637531/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^8 - 2170160095883896027574374244989338037654732789720144746483594470829\ 384958895795127043081403/758867177367395151026284277608728658527945\ 3631457824002668867795042305050023848*c_1001_4^7 + 1095076197104917738154629837481586808089248343657151269744432489407\ 638231559378852165402617/758867177367395151026284277608728658527945\ 3631457824002668867795042305050023848*c_1001_4^6 - 5620874777183890707186581903679004297068017438134253951213050563071\ 4843925582491414890495/94858397170924393878285534701091082315993170\ 3932228000333608474380288131252981*c_1001_4^5 + 3661064973059528582867905238799967007816011817203955300464728918813\ 0994357119529571100739/18971679434184878775657106940218216463198634\ 07864456000667216948760576262505962*c_1001_4^4 - 3639047202880912256075042227662276168681106911729948268568575691108\ 1451415117509365140879/75886717736739515102628427760872865852794536\ 31457824002668867795042305050023848*c_1001_4^3 + 1178471929062422408784337253623341759999671265494831588960197198595\ 959533937334733606881/137975850430435482004778959565223392459626429\ 6628695273212521417280419100004336*c_1001_4^2 - 3684220046050162592165907272572822638404996900273843426318163363187\ 23904860378482956525/3794335886836975755131421388043643292639726815\ 728912001334433897521152525011924*c_1001_4 + 8033069760783848394767022458230224532847778946118984480182790507935\ 1028886515644570485/15177343547347903020525685552174573170558907262\ 915648005337735590084610100047696, c_0101_3 - 183702774557573396059939957926398906387634452808615025075825\ 9428488745784015525873/15177343547347903020525685552174573170558907\ 262915648005337735590084610100047696*c_1001_4^26 + 6798675516030021418504770791239810830964777055475602859991043666245\ 6401208907284361/15177343547347903020525685552174573170558907262915\ 648005337735590084610100047696*c_1001_4^25 - 3086712770783151368995851445938648905907376203948889152649076596892\ 98877150116083087/3794335886836975755131421388043643292639726815728\ 912001334433897521152525011924*c_1001_4^24 + 7280985572670493162845980297144370580116826990168110857197555365801\ 794602634748296983/758867177367395151026284277608728658527945363145\ 7824002668867795042305050023848*c_1001_4^23 - 7786300247280752368788421409039331156768415988124254300366403896428\ 719367770519052928/948583971709243938782855347010910823159931703932\ 228000333608474380288131252981*c_1001_4^22 + 4096255113578249402616357423322318231037183069618809425516551226908\ 99943466542223845657/7588671773673951510262842776087286585279453631\ 457824002668867795042305050023848*c_1001_4^21 - 1949357686417128126560593596891999986616710767114389005637843605283\ 21892277609660587857/6898792521521774100238947978261169622981321483\ 14347636606260708640209550002168*c_1001_4^20 + 1828804186608264247587022090542469932572525292486118617204710354027\ 4338943262423203149333/15177343547347903020525685552174573170558907\ 262915648005337735590084610100047696*c_1001_4^19 - 6456291101177792450392258464612752422163275633057256648628806972274\ 6247579844504324613523/15177343547347903020525685552174573170558907\ 262915648005337735590084610100047696*c_1001_4^18 + 2386385429530694858844268266590173170603609643435420383413910239686\ 3083613649334910612679/18971679434184878775657106940218216463198634\ 07864456000667216948760576262505962*c_1001_4^17 - 2384457581583002492070420795546897115051245787222643463113072262201\ 77775882686298556371943/7588671773673951510262842776087286585279453\ 631457824002668867795042305050023848*c_1001_4^16 + 1012576720729960883557747806272540691277906446505244349290651119832\ 677475360623769518459995/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^15 - 1835222073947377837695315480775762454656790728571134636767164494749\ 210092776720714221477227/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^14 + 2846386650877108747826041307922321465385774746068021393653528329673\ 041832949097577380619959/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^13 - 3781313499247564370025016293132776786606918588869635666605041125844\ 069827317294467691947153/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^12 + 4299750545293395627822969050853525319353495682832841828850596871379\ 440963192815927850166447/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^11 - 4175158102684852885361947246973128643234028569631518933393052667812\ 592715639076547270236987/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^10 + 3447376509212111446516326993383090572384079849812229768912117050486\ 703157585020894300444175/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^9 - 1202384940859891949055904383156957987859659496682923920764319296236\ 789990286414126334456457/758867177367395151026284277608728658527945\ 3631457824002668867795042305050023848*c_1001_4^8 + 8775414932677132710553048630278631114733082544103981283605549424574\ 1929548078560252494292/94858397170924393878285534701091082315993170\ 3932228000333608474380288131252981*c_1001_4^7 - 3386408628146903550240440741297832129278015298043169664986124032544\ 90440967914857901183399/7588671773673951510262842776087286585279453\ 631457824002668867795042305050023848*c_1001_4^6 + 6625425121589904019027521154871180596495447858328899621587995148354\ 2480975914645557353377/37943358868369757551314213880436432926397268\ 15728912001334433897521152525011924*c_1001_4^5 - 4097177196005643364635486750799567014747004987109703677705424832111\ 9769510765856326972801/75886717736739515102628427760872865852794536\ 31457824002668867795042305050023848*c_1001_4^4 + 1925103862718322154588406405660164509873493231982022256576204471064\ 7148048286049120694971/15177343547347903020525685552174573170558907\ 262915648005337735590084610100047696*c_1001_4^3 - 7330681796719849130773681191962632694713042148826743698720647157918\ 2656618546876950659/34493962607608870501194739891305848114906607415\ 7173818303130354320104775001084*c_1001_4^2 + 3428972561853493894067278847472775090923702909992160824101512113789\ 76502438506887656815/1517734354734790302052568555217457317055890726\ 2915648005337735590084610100047696*c_1001_4 - 4338645756342792298104627639938485064133230434640805870695780962457\ 561510095060212107/379433588683697575513142138804364329263972681572\ 8912001334433897521152525011924, c_0101_6 - 121202902808659309713295905828737805774890682387256547451856\ 631665941895517749253/137975850430435482004778959565223392459626429\ 6628695273212521417280419100004336*c_1001_4^26 + 4511682498561773720675088158679130133629883604669306504594083741006\ 225173976739993/137975850430435482004778959565223392459626429662869\ 5273212521417280419100004336*c_1001_4^25 - 4121027121570000545708498327961329868451524784998936158798680271217\ 8468852863615285/68987925215217741002389479782611696229813214831434\ 7636606260708640209550002168*c_1001_4^24 + 9780571933539124431182791646376748340829292755787692263328889398504\ 50300535034843533/1379758504304354820047789595652233924596264296628\ 695273212521417280419100004336*c_1001_4^23 - 2105475383671490420495674576561598532917523546801059066428244501127\ 334817420193584837/344939626076088705011947398913058481149066074157\ 173818303130354320104775001084*c_1001_4^22 + 5576814241101572173187413481839364678123822398604241301666498005523\ 2334472955846947555/13797585043043548200477895956522339245962642966\ 28695273212521417280419100004336*c_1001_4^21 - 2941213939918585389113505876613403377658471927280100912539544179226\ 88964927610681727921/1379758504304354820047789595652233924596264296\ 628695273212521417280419100004336*c_1001_4^20 + 1264406603045403096251739936595936568041514265580109650263375189208\ 848994020450054299163/137975850430435482004778959565223392459626429\ 6628695273212521417280419100004336*c_1001_4^19 - 1125743377881269124795403762906463916789614195664343314335209209727\ 264387051407748713357/344939626076088705011947398913058481149066074\ 157173818303130354320104775001084*c_1001_4^18 + 1344175305948671046511568031000610743161180092895286890838564471751\ 7475571932100033086771/13797585043043548200477895956522339245962642\ 96628695273212521417280419100004336*c_1001_4^17 - 3392253232998890898794742276131187131159323845182990837144168312834\ 3848386406316937579409/13797585043043548200477895956522339245962642\ 96628695273212521417280419100004336*c_1001_4^16 + 9103478588459529217512039696417179195019357825643603978967585537905\ 369699577615543282439/172469813038044352505973699456529240574533037\ 078586909151565177160052387500542*c_1001_4^15 - 1335802136523604927024956831762147465566147295199190493481516529235\ 60067815121580649058977/1379758504304354820047789595652233924596264\ 296628695273212521417280419100004336*c_1001_4^14 + 1311671006210804894751906950163768154888394547346893674734996057023\ 9721854650253479758319/86234906519022176252986849728264620287266518\ 539293454575782588580026193750271*c_1001_4^13 - 2827093703294637618391744920993119469482563508479145967041717076003\ 01877351176613504410911/1379758504304354820047789595652233924596264\ 296628695273212521417280419100004336*c_1001_4^12 + 3263464233799848546613645306814560226753534032021479422378894623988\ 70115999989799944299987/1379758504304354820047789595652233924596264\ 296628695273212521417280419100004336*c_1001_4^11 - 4026237265987404163103481644940631111244016516111597790197253181597\ 6423069826033664769495/17246981303804435250597369945652924057453303\ 7078586909151565177160052387500542*c_1001_4^10 + 2707014532718101114905957100733895817612958692119464838598905524285\ 93066324246322769143637/1379758504304354820047789595652233924596264\ 296628695273212521417280419100004336*c_1001_4^9 - 9625218840279532531891404077419386016147554608344593450411747927246\ 4636418005764247389751/68987925215217741002389479782611696229813214\ 8314347636606260708640209550002168*c_1001_4^8 + 1147866736976110940571288478089013621321545074466805720420859849169\ 93338445941091037774065/1379758504304354820047789595652233924596264\ 296628695273212521417280419100004336*c_1001_4^7 - 1416556929537751740206961872457193669086558616450101474936895552677\ 9683296494630021200635/34493962607608870501194739891305848114906607\ 4157173818303130354320104775001084*c_1001_4^6 + 2274270254486611471964232106808847496460741726303554901580542715917\ 0982961248026572716739/13797585043043548200477895956522339245962642\ 96628695273212521417280419100004336*c_1001_4^5 - 7233048871804850347317886005061611512965078218324854750706439015947\ 503166786458252007391/137975850430435482004778959565223392459626429\ 6628695273212521417280419100004336*c_1001_4^4 + 1753509721941085015918731524138276415102601981599003534979175654171\ 908600539437122651435/137975850430435482004778959565223392459626429\ 6628695273212521417280419100004336*c_1001_4^3 - 3043532488868133581171678246867383611338089580990802876637638849207\ 86065709674852363547/1379758504304354820047789595652233924596264296\ 628695273212521417280419100004336*c_1001_4^2 + 1683717060761763957027387153402324288694642811933772736127813674869\ 1004094990742956781/68987925215217741002389479782611696229813214831\ 4347636606260708640209550002168*c_1001_4 - 1783984486054903842029124590849524649600522626628207769697335416094\ 170438062759734837/137975850430435482004778959565223392459626429662\ 8695273212521417280419100004336, c_0101_8 - 280532874437123555458879978685530585836133400454231291356914\ 2859081694559027631683/15177343547347903020525685552174573170558907\ 262915648005337735590084610100047696*c_1001_4^26 + 5265559007008151635032771276131970248267517243632731307507727679307\ 5253926983847723/75886717736739515102628427760872865852794536314578\ 24002668867795042305050023848*c_1001_4^25 - 9699100079966753520061700355169655451820650930778016434785202210800\ 74000780087782769/7588671773673951510262842776087286585279453631457\ 824002668867795042305050023848*c_1001_4^24 + 2321039635385000412987144283287785289525647182327573648006227414271\ 9221300944532117877/15177343547347903020525685552174573170558907262\ 915648005337735590084610100047696*c_1001_4^23 - 2015517916792998943638534602847209154223264562591897727200710905158\ 45808491918815450499/1517734354734790302052568555217457317055890726\ 2915648005337735590084610100047696*c_1001_4^22 + 6731370096529029666489681532220135916172999290447438485573289739173\ 70651832111082112493/7588671773673951510262842776087286585279453631\ 457824002668867795042305050023848*c_1001_4^21 - 6513199985096613863334783242454004175023437359361453820278888093023\ 26359070213992306735/1379758504304354820047789595652233924596264296\ 628695273212521417280419100004336*c_1001_4^20 + 1943115367859730145201074488145638018926797857879564037989547221551\ 008799332106159487497/948583971709243938782855347010910823159931703\ 932228000333608474380288131252981*c_1001_4^19 - 5590315984059963418235630167896862033648432626881355059217871804765\ 0771157343876977432919/75886717736739515102628427760872865852794536\ 31457824002668867795042305050023848*c_1001_4^18 + 3371486385245301627789561856986925189369068100900779242944865744349\ 37672796056210938691629/1517734354734790302052568555217457317055890\ 7262915648005337735590084610100047696*c_1001_4^17 - 4299146876770378597301610185309355489971505101343477022252113632625\ 70249850051993306727803/7588671773673951510262842776087286585279453\ 631457824002668867795042305050023848*c_1001_4^16 + 9330515259315011312686670250258864612744988077219178686172612068124\ 33375193167050989025505/7588671773673951510262842776087286585279453\ 631457824002668867795042305050023848*c_1001_4^15 - 3461359145910413106099718854527094477839753968014298588449399182783\ 359435629086269055774383/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^14 + 5501300247712798484463760069841098892125930185303466164024764639868\ 381612459655802084766131/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^13 - 1874846184788704840773728391812096013972914011800583732351178670392\ 942080798148309991188401/379433588683697575513142138804364329263972\ 6815728912001334433897521152525011924*c_1001_4^12 + 8763544786754812684074155562464479456907763699361293501315284235990\ 566196667492539287761963/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^11 - 8759111672942408654672855808691737648020103907849776877177032569191\ 002955501880700037132995/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^10 + 3728733913359496538277809902317153941515517934205501939514754567043\ 631321276312614284263011/758867177367395151026284277608728658527945\ 3631457824002668867795042305050023848*c_1001_4^9 - 2687264976521414626915295507630918724084422608541768152574525717115\ 197737919091070563816963/758867177367395151026284277608728658527945\ 3631457824002668867795042305050023848*c_1001_4^8 + 3249157940910647388319090537159417259155263321569975328757397140022\ 427125521082758304559237/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^7 - 1626850152739961441934781916919680268635892690439130658717285580737\ 123923396250216704953367/151773435473479030205256855521745731705589\ 07262915648005337735590084610100047696*c_1001_4^6 + 3313231910156150778005891564980907617370038755718275963614425726893\ 66713426552784088422667/7588671773673951510262842776087286585279453\ 631457824002668867795042305050023848*c_1001_4^5 - 2139833653724611521725565104510757376925294378097585719734839044062\ 63838031386484524936891/1517734354734790302052568555217457317055890\ 7262915648005337735590084610100047696*c_1001_4^4 + 2635193280530198123035473142099181090852679124329050460401751354784\ 8081697832406581616959/75886717736739515102628427760872865852794536\ 31457824002668867795042305050023848*c_1001_4^3 - 8454364454292320750335345184520448934180317467265406958879535258242\ 44648003020432700099/1379758504304354820047789595652233924596264296\ 628695273212521417280419100004336*c_1001_4^2 + 1046834395508866292403447503316024014587877056450725762102538659526\ 256848324191479069317/151773435473479030205256855521745731705589072\ 62915648005337735590084610100047696*c_1001_4 - 1411766006160896418031510400703655509054587693541009216947303134718\ 3285294551488972493/37943358868369757551314213880436432926397268157\ 28912001334433897521152525011924, c_1001_4^27 - 39603/1019*c_1001_4^26 + 755392/1019*c_1001_4^25 - 9367943/1019*c_1001_4^24 + 84444431/1019*c_1001_4^23 - 586751541/1019*c_1001_4^22 + 3256546156/1019*c_1001_4^21 - 14781310636/1019*c_1001_4^20 + 55782340374/1019*c_1001_4^19 - 177143738352/1019*c_1001_4^18 + 477593156396/1019*c_1001_4^17 - 1100361329591/1019*c_1001_4^16 + 2176632526124/1019*c_1001_4^15 - 3707996070360/1019*c_1001_4^14 + 5448750912368/1019*c_1001_4^13 - 6907915920761/1019*c_1001_4^12 + 7546654624058/1019*c_1001_4^11 - 7084503229534/1019*c_1001_4^10 + 5688937365990/1019*c_1001_4^9 - 3881598314457/1019*c_1001_4^8 + 2229258395053/1019*c_1001_4^7 - 1063693776495/1019*c_1001_4^6 + 414076214328/1019*c_1001_4^5 - 128134076890/1019*c_1001_4^4 + 30317383277/1019*c_1001_4^3 - 5151094291/1019*c_1001_4^2 + 559543638/1019*c_1001_4 - 29188151/1019 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.970 Total time: 3.169 seconds, Total memory usage: 32.09MB