Magma V2.19-8 Tue Aug 20 2013 23:54:19 on localhost [Seed = 4206661979] Type ? for help. Type -D to quit. Loading file "K12n501__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n501 geometric_solution 11.68333556 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 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 0 1 -1 0 0 0 0 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.650750790810 1.269852539748 0 4 5 0 0132 0132 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 0 0 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.680378128208 0.623699043298 3 0 6 5 0213 0132 0132 1302 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.667613368458 0.530406468172 2 7 0 8 0213 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.093298558314 0.662526491948 5 1 8 7 0321 0132 1230 2310 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 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.658487765041 0.360569793395 4 9 2 1 0321 0132 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 -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.481386820921 1.180019618737 8 9 10 2 0213 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.257863560670 0.422018515053 4 3 11 9 3201 0132 0132 1302 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 1 -1 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.715737797488 0.602487509600 6 10 3 4 0213 0213 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.749124911384 0.818713189038 12 5 7 6 0132 0132 2031 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.425761322151 0.433924224944 11 12 8 6 2031 1230 0213 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.288723489556 1.267367828227 12 12 10 7 1230 1302 1302 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 0 1 1 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.288147194274 1.047698119336 9 11 10 11 0132 3012 3012 2031 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 -1 0 1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.483788763162 1.320466344852 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_8'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_10'], 'c_1001_6' : d['c_0101_12'], 'c_1001_1' : negation(d['c_0110_7']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0110_7']), 'c_1001_8' : d['c_1001_10'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : d['c_1001_10'], 'c_1010_10' : d['c_0101_12'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0011_8'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(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_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_0'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : d['c_0011_8'], 'c_1100_6' : negation(d['c_0101_4']), 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_0101_4']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_8'], 'c_1100_10' : negation(d['c_0101_4']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : negation(d['c_0110_7']), 'c_1010_4' : negation(d['c_0110_7']), 'c_1010_3' : d['c_1001_10'], 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_6'], 'c_1010_8' : negation(d['c_0101_4']), 'c_1100_8' : negation(d['c_1001_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' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_1001_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_12'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_12'], 'c_0110_10' : d['c_0011_8'], 'c_0110_12' : d['c_0011_8'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_12'], 'c_0101_6' : d['c_0011_8'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : d['c_0011_6'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1001_2']), 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : negation(d['c_0011_12']), 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0011_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_12, c_0101_4, c_0110_7, c_1001_10, c_1001_2, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t + 4504293723177140399939863340730961620967223756454396237696864794354\ 16639042975017498864547797421977904964904642868878/1245071161757171\ 7581689425356324641091593210005480970112761553995881231577051908976\ 94856953298757061654598681012535457*c_1001_4^32 - 5910546596537001124383059937107228036727445395735734624365734416014\ 40809710984853500254753364886290054830892305591/1533102861945109137\ 3482438487085905607625931975349816977388399563960266679454405389501\ 08608032946974486192003709448*c_1001_4^31 - 6191518626481353788105679680711621674332413349446009097866617164320\ 7321307659025396486592213477715848449305784848691655/99605692940573\ 7406535154028505971287327456800438477609020924319670498526164152718\ 1558855626390056493236789448100283656*c_1001_4^30 + 2080741371677896065538481582456123665272360261075799743501125247025\ 62265316927121490712559368435769761113632329289141073/9960569294057\ 3740653515402850597128732745680043847760902092431967049852616415271\ 81558855626390056493236789448100283656*c_1001_4^29 + 2479097134370926194138955602674331692686153428910605894049216275577\ 11168054960710774256069181172457845843912624196881909/9960569294057\ 3740653515402850597128732745680043847760902092431967049852616415271\ 81558855626390056493236789448100283656*c_1001_4^28 - 1099492688350447179948356609809085068945054986214326384171152707099\ 005794388600615320369735573896157278759072452047731465/498028464702\ 8687032675770142529856436637284002192388045104621598352492630820763\ 590779427813195028246618394724050141828*c_1001_4^27 + 1918731965939248562806300641869393565485014394942709018689972109188\ 3226916954487002028465709988318395952297565637966716/65530061145114\ 3030615232913490770583768063684498998426987450210309538504055363630\ 36571418594671424297610456895396603*c_1001_4^26 + 5708321408652767954046587143173737148803199912419446009724581748178\ 134931833988511641843348741520472468301110107080731867/996056929405\ 7374065351540285059712873274568004384776090209243196704985261641527\ 181558855626390056493236789448100283656*c_1001_4^25 - 2172966785602191886839398348649048294621347098626521296271778145588\ 0345101181886955657862567381477963302250210728660244431/99605692940\ 5737406535154028505971287327456800438477609020924319670498526164152\ 7181558855626390056493236789448100283656*c_1001_4^24 + 2551923532433054315386806801309474396079837166278669163131581141353\ 0328128492601452719595725101566680670176511845394263131/99605692940\ 5737406535154028505971287327456800438477609020924319670498526164152\ 7181558855626390056493236789448100283656*c_1001_4^23 - 1738649249894382821623740273298229290238845981259339742165406360152\ 12664462986551918543500164201697133129553614014654209/5242404891609\ 1442449218633079261646701445094759919874158996016824763080324429090\ 4292571348757371394380883655163172824*c_1001_4^22 - 2122978551893880420671561330270308294922072868766472167817810126662\ 5832248487404702238788185983854116530977756080334517185/49802846470\ 2868703267577014252985643663728400219238804510462159835249263082076\ 3590779427813195028246618394724050141828*c_1001_4^21 + 4349218321757656877432341843322280537914761395624453092719936480693\ 7338232350065815234497386205197339270486654227975450293/24901423235\ 1434351633788507126492821831864200109619402255231079917624631541038\ 1795389713906597514123309197362025070914*c_1001_4^20 - 3776791145014941268374788887921970087062998050701977117574203854182\ 41585105084097955342484510765281476133381059001825842509/9960569294\ 0573740653515402850597128732745680043847760902092431967049852616415\ 27181558855626390056493236789448100283656*c_1001_4^19 + 4121620306494738794809084181346996141658395658004865662331041489872\ 21714146083824169083411092968919736577475430671571174239/9960569294\ 0573740653515402850597128732745680043847760902092431967049852616415\ 27181558855626390056493236789448100283656*c_1001_4^18 - 5956253363244467908392590283143219819161272606265463155500611779834\ 8689237590016340261182600010651895496520565158344957857/99605692940\ 5737406535154028505971287327456800438477609020924319670498526164152\ 7181558855626390056493236789448100283656*c_1001_4^17 - 2878659339245575283448344226110317541473535074635457455230666534623\ 574364914453615985336878418365708205343140030814178929/136446154713\ 1147132239937025350645599078707945806133710987567561192463734471442\ 07966559666114932280729271088330140872*c_1001_4^16 + 6216978766355599963262543156377475678057306132398264913812967821002\ 1345409921169208442578784998120653829288299278433384313/24901423235\ 1434351633788507126492821831864200109619402255231079917624631541038\ 1795389713906597514123309197362025070914*c_1001_4^15 - 1072997305066460571005756093447291354371718594947232696862560404636\ 7123908024143430047531172107638642154601313553978657221/52424048916\ 0914424492186330792616467014450947599198741589960168247630803244290\ 904292571348757371394380883655163172824*c_1001_4^14 + 8419811117670744002886867131705590786734892273925157417229090665670\ 3386415451604546657474661130944065437740752063911618873/49802846470\ 2868703267577014252985643663728400219238804510462159835249263082076\ 3590779427813195028246618394724050141828*c_1001_4^13 + 1941087906932558975569644942646822121807921731311508486190441975822\ 97753564343160224984732129732009030626656208885255439847/4980284647\ 0286870326757701425298564366372840021923880451046215983524926308207\ 63590779427813195028246618394724050141828*c_1001_4^12 - 1552316635254596868850810045095864907874046653150345933068927325122\ 32631815238711348138623646346495315910588886856208189573/4980284647\ 0286870326757701425298564366372840021923880451046215983524926308207\ 63590779427813195028246618394724050141828*c_1001_4^11 + 2468442521072681931243089101198213428257872757568047494089275334642\ 13627480452645161725930143640259261207558438696224879977/4980284647\ 0286870326757701425298564366372840021923880451046215983524926308207\ 63590779427813195028246618394724050141828*c_1001_4^10 - 5031435913524015913287860852145746986912834293015385442272040610969\ 54640593343180873257312735413539995895709917702825650647/9960569294\ 0573740653515402850597128732745680043847760902092431967049852616415\ 27181558855626390056493236789448100283656*c_1001_4^9 + 3244632323508886829945128185582033100848796578213780068342078453623\ 5434530594062697607099023515923872346626636544723416891/49802846470\ 2868703267577014252985643663728400219238804510462159835249263082076\ 3590779427813195028246618394724050141828*c_1001_4^8 + 1478270046578276571115705966366158666862800345595165285183487913655\ 51833515188488853829293292946129789196997691042299409567/9960569294\ 0573740653515402850597128732745680043847760902092431967049852616415\ 27181558855626390056493236789448100283656*c_1001_4^7 + 3921068834077995350687086987009869549426226383925174615562374030667\ 41319475108419815564031689154178869489521544265887167043/4980284647\ 0286870326757701425298564366372840021923880451046215983524926308207\ 63590779427813195028246618394724050141828*c_1001_4^6 + 3987515608724535523071582692906008628005653217405245443353504953770\ 23622076506966034817759503019690975320097833317043088681/4980284647\ 0286870326757701425298564366372840021923880451046215983524926308207\ 63590779427813195028246618394724050141828*c_1001_4^5 + 9226487198385209189813437897482608948648794544899826055701160324136\ 31073785322242266377854870130659252748300032642772975151/9960569294\ 0573740653515402850597128732745680043847760902092431967049852616415\ 27181558855626390056493236789448100283656*c_1001_4^4 + 7556512235115094092506542283773472865189406848397361502047142587283\ 1894167444277535349014672218637960772308298848467928175/12450711617\ 5717175816894253563246410915932100054809701127615539958812315770519\ 0897694856953298757061654598681012535457*c_1001_4^3 + 3511334146676539338495838573344733851929486379988847824718337995666\ 3417559561286951072355258674935384570608508080644015330/12450711617\ 5717175816894253563246410915932100054809701127615539958812315770519\ 0897694856953298757061654598681012535457*c_1001_4^2 + 8686591012878726849760416859164753736253722958174319680375861679510\ 3138603017978873704700589670546492456440220070538376193/99605692940\ 5737406535154028505971287327456800438477609020924319670498526164152\ 7181558855626390056493236789448100283656*c_1001_4 + 1100524800186650520534159925442148388480641999962265276060361742284\ 6575661278206664160615838046297209036142205909406726929/99605692940\ 5737406535154028505971287327456800438477609020924319670498526164152\ 7181558855626390056493236789448100283656, c_0011_0 - 1, c_0011_10 - 20613399080766050889809056585680860628785101519918454173455\ 2223732343723414461007123177718509445277/66734853423234738270534586\ 5249799408958189845004346315786708790262402493111161974291472085790\ 195652086*c_1001_4^32 + 2098713338982594825744330419007715886827116\ 08869953610247653318518760183450115726167404004172452623/6673485342\ 3234738270534586524979940895818984500434631578670879026240249311116\ 1974291472085790195652086*c_1001_4^31 + 7162111840841110720546620328157490145614493930183012312309786265803\ 657596982005903858265348557962813/133469706846469476541069173049959\ 8817916379690008692631573417580524804986222323948582944171580391304\ 172*c_1001_4^30 - 1177005565827812447948614992790649600926934893836\ 6638666917679858980043241533380552367245980708500257/66734853423234\ 7382705345865249799408958189845004346315786708790262402493111161974\ 291472085790195652086*c_1001_4^29 - 3049519068905673987258298592904953374588986615692236464862686246815\ 0883360997822962789518716659767229/13346970684646947654106917304995\ 9881791637969000869263157341758052480498622232394858294417158039130\ 4172*c_1001_4^28 + 126883787774504493703744656029824163023951692920\ 631093052776255618836082386017605202808308051547278539/667348534232\ 3473827053458652497994089581898450043463157867087902624024931111619\ 74291472085790195652086*c_1001_4^27 - 1589865649117004883061185706826623841803821731218517067892724002407\ 75071908578556986628079507292855871/6673485342323473827053458652497\ 9940895818984500434631578670879026240249311116197429147208579019565\ 2086*c_1001_4^26 - 353126159489532462839281368320345897326039274124\ 094829235575549354054269898059201675333646580911720015/667348534232\ 3473827053458652497994089581898450043463157867087902624024931111619\ 74291472085790195652086*c_1001_4^25 + 2507203981275177303515459910334812685034153094259334818040948640571\ 138530662263270082035264450840453913/133469706846469476541069173049\ 9598817916379690008692631573417580524804986222323948582944171580391\ 304172*c_1001_4^24 - 1352411497282776942306121702960211251100882288\ 999446318553119196416603429293360932198048378674924192139/667348534\ 2323473827053458652497994089581898450043463157867087902624024931111\ 61974291472085790195652086*c_1001_4^23 - 1505537971777112734872286627143617220337666195972034326001441463720\ 08620411658055712473458746456078557/1334697068464694765410691730499\ 5988179163796900086926315734175805248049862223239485829441715803913\ 04172*c_1001_4^22 + 13323769850779586318286462791645266371402741115\ 10578445161462427059515378648235851331982879307488944205/3336742671\ 1617369135267293262489970447909492250217315789335439513120124655558\ 0987145736042895097826043*c_1001_4^21 - 9830544528201621788309751299547383492314208150243488028842004804860\ 883587662742187231344790029275082767/667348534232347382705345865249\ 7994089581898450043463157867087902624024931111619742914720857901956\ 52086*c_1001_4^20 + 20671972278305111375636527003047012709668083059\ 138636850456924401922740529761145717046836628231308373857/667348534\ 2323473827053458652497994089581898450043463157867087902624024931111\ 61974291472085790195652086*c_1001_4^19 - 4196698645123309066439169697417384914454786374122369687004384441959\ 6953370668027506923227722420449550559/13346970684646947654106917304\ 9959881791637969000869263157341758052480498622232394858294417158039\ 1304172*c_1001_4^18 - 963426143707089049638213702743455379590696886\ 428501067123221540403935036149081833635353142064601427831/667348534\ 2323473827053458652497994089581898450043463157867087902624024931111\ 61974291472085790195652086*c_1001_4^17 + 3094289635085101938734995947834707534015654643724659577350993390854\ 2843443918942647586656272325518463515/13346970684646947654106917304\ 9959881791637969000869263157341758052480498622232394858294417158039\ 1304172*c_1001_4^16 - 131064491725412443055867641921373755548922569\ 57408140830779684825566995346814419972204540486792068953643/6673485\ 3423234738270534586524979940895818984500434631578670879026240249311\ 1161974291472085790195652086*c_1001_4^15 + 3414374017434524655282961418589905751717617728698895215033647313710\ 447042647961894633639793276976415690/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^14 - 88541631521509900049865993379070712535254349633\ 96144213086970255174286637624189712256131847405125614835/1334697068\ 4646947654106917304995988179163796900086926315734175805248049862223\ 23948582944171580391304172*c_1001_4^13 - 5245777591281979565490012621718283599060643706218847398275489998834\ 0311908689092519621777202877236640777/13346970684646947654106917304\ 9959881791637969000869263157341758052480498622232394858294417158039\ 1304172*c_1001_4^12 + 377432896698845499814196367117269681657345032\ 42501615467055746316573766156419257450258078790200575240553/1334697\ 0684646947654106917304995988179163796900086926315734175805248049862\ 22323948582944171580391304172*c_1001_4^11 - 4695219681641026846090976590674856623258219528870924228177006084406\ 3207027174256524084580970650819570095/13346970684646947654106917304\ 9959881791637969000869263157341758052480498622232394858294417158039\ 1304172*c_1001_4^10 + 440822007649657883058326951148866725867388032\ 52446279561846432640316936396705671795760032835711116871993/1334697\ 0684646947654106917304995988179163796900086926315734175805248049862\ 22323948582944171580391304172*c_1001_4^9 + 3011039918935786076316405859066459012378986565233608489253401618614\ 450034156107014295767858145663840563/667348534232347382705345865249\ 7994089581898450043463157867087902624024931111619742914720857901956\ 52086*c_1001_4^8 - 652016095750582158818309213458425872632570405959\ 1666921541873405112539497827866767422077228278864999852/33367426711\ 6173691352672932624899704479094922502173157893354395131201246555580\ 987145736042895097826043*c_1001_4^7 - 9217623394087935397933113532775929625271539311409367341267522896369\ 5487318976158842175529008299520322061/13346970684646947654106917304\ 9959881791637969000869263157341758052480498622232394858294417158039\ 1304172*c_1001_4^6 - 8431961487057939999566273657917644801744847782\ 8087260710488024649258509249210723752390930879770050884391/13346970\ 6846469476541069173049959881791637969000869263157341758052480498622\ 2323948582944171580391304172*c_1001_4^5 - 1071155263784607492325987492609394278280799233013693036929935143001\ 29338477451195846561368876267769946093/1334697068464694765410691730\ 4995988179163796900086926315734175805248049862223239485829441715803\ 91304172*c_1001_4^4 - 289534051267768740959144891740973495008770720\ 55480418338715753177012680815838824835561030634829349969487/6673485\ 3423234738270534586524979940895818984500434631578670879026240249311\ 1161974291472085790195652086*c_1001_4^3 - 1563573017263692422460942012866400220973122728589830231524416265387\ 5576170632255136524793431768022593527/66734853423234738270534586524\ 9799408958189845004346315786708790262402493111161974291472085790195\ 652086*c_1001_4^2 - 11884912199977943444386914002367176120115968955\ 14951130663159073317042845293635281733928460466358040754/3336742671\ 1617369135267293262489970447909492250217315789335439513120124655558\ 0987145736042895097826043*c_1001_4 - 1294263804513664476896129132400733650579621764202082371137983719035\ 642968725282596008397971050305941797/133469706846469476541069173049\ 9598817916379690008692631573417580524804986222323948582944171580391\ 304172, c_0011_12 + 38006438588559249506050598157545275671274529556269038673871\ 6820062257341249771053632898015341233265/66734853423234738270534586\ 5249799408958189845004346315786708790262402493111161974291472085790\ 195652086*c_1001_4^32 - 3450306296846314369897503501784132568819376\ 13529580798271528034132896226024315725751763950144311229/1334697068\ 4646947654106917304995988179163796900086926315734175805248049862223\ 23948582944171580391304172*c_1001_4^31 - 3400842503050408244121637270433758573584311961442596040363932592353\ 900931458781160198609255643816186/333674267116173691352672932624899\ 7044790949225021731578933543951312012465555809871457360428950978260\ 43*c_1001_4^30 + 35901837642408673535798698706315998040518225650270\ 514501470962905268509515589552066734419143821735785/133469706846469\ 4765410691730499598817916379690008692631573417580524804986222323948\ 582944171580391304172*c_1001_4^29 + 4003800897964084465858284391738004098565990828322965690029219947149\ 9513123238301848876452483666586399/66734853423234738270534586524979\ 9408958189845004346315786708790262402493111161974291472085790195652\ 086*c_1001_4^28 - 1084566539441138506497962414631359996775588612233\ 81870761237786000894584053739016056755494433814847756/3336742671161\ 7369135267293262489970447909492250217315789335439513120124655558098\ 7145736042895097826043*c_1001_4^27 + 8104589052442300483095286346036454446730497311945993198379806166820\ 3082587385051556582318405131707154/33367426711617369135267293262489\ 9704479094922502173157893354395131201246555580987145736042895097826\ 043*c_1001_4^26 + 1610137283077099642303934623285999993771226839411\ 530515862624890615362866451355990332102318369571185061/133469706846\ 4694765410691730499598817916379690008692631573417580524804986222323\ 948582944171580391304172*c_1001_4^25 - 1925882361382099486073831834832329419102800144712039557659713825978\ 527876784276878496047002463278525821/667348534232347382705345865249\ 7994089581898450043463157867087902624024931111619742914720857901956\ 52086*c_1001_4^24 + 24211075817464282196429470654492239329517477471\ 69467232040536410516426192425338804758912002996814187293/1334697068\ 4646947654106917304995988179163796900086926315734175805248049862223\ 23948582944171580391304172*c_1001_4^23 + 7184134053508718254215313605692179078575864939400365580141211860758\ 15908849514366645384474312785547580/3336742671161736913526729326248\ 9970447909492250217315789335439513120124655558098714573604289509782\ 6043*c_1001_4^22 - 466766068205457359655690562918647002690389248934\ 9260023666788091303374151668527704111460420851212178571/66734853423\ 2347382705345865249799408958189845004346315786708790262402493111161\ 974291472085790195652086*c_1001_4^21 + 7614643288355801448625431855955080592161106097964778156389171249418\ 220837084238458007897409507080970336/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^20 - 55953595391461000309052024644223704150322994406\ 392298881989506013797202975677873556702532640850720106225/133469706\ 8464694765410691730499598817916379690008692631573417580524804986222\ 323948582944171580391304172*c_1001_4^19 + 9052318405116909102477037625780465282933821443801864224292557657832\ 592760391176865448071553880961940930/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^18 + 42437978608135764872259719332742810856934926408\ 658958807606954603830962690013675714971416019067524738239/133469706\ 8464694765410691730499598817916379690008692631573417580524804986222\ 323948582944171580391304172*c_1001_4^17 - 1214961576915689331380350998127812641597352753927406748190924589698\ 4379637858146494880593269154593680084/33367426711617369135267293262\ 4899704479094922502173157893354395131201246555580987145736042895097\ 826043*c_1001_4^16 + 2945675044414088836606049426544960242031671482\ 346989604044674170096056705692847902063752511141614840953/333674267\ 1161736913526729326248997044790949225021731578933543951312012465555\ 80987145736042895097826043*c_1001_4^15 + 3991479648368337646911085627562455235581292511725786610618585710041\ 277767195884684007063092514586194995/133469706846469476541069173049\ 9598817916379690008692631573417580524804986222323948582944171580391\ 304172*c_1001_4^14 + 3316647619642790216672811629123760062957180818\ 655200518203110457881927355875904057705011116311233831231/133469706\ 8464694765410691730499598817916379690008692631573417580524804986222\ 323948582944171580391304172*c_1001_4^13 + 1006411828513832962837430919881186714820387346105074637151114441681\ 81429384658105220076110968240154715649/1334697068464694765410691730\ 4995988179163796900086926315734175805248049862223239485829441715803\ 91304172*c_1001_4^12 - 93294299882984138745072149246734692851994779\ 17286418819352864644860771786604149366677037169258906708241/1334697\ 0684646947654106917304995988179163796900086926315734175805248049862\ 22323948582944171580391304172*c_1001_4^11 + 5054166814979023602453225852239985348598429193309872673029426275112\ 6313801389255063848398895898620783727/13346970684646947654106917304\ 9959881791637969000869263157341758052480498622232394858294417158039\ 1304172*c_1001_4^10 - 185391507945053940721140044712823644875835269\ 41362432151773780196964563932204908277678640218164077809135/6673485\ 3423234738270534586524979940895818984500434631578670879026240249311\ 1161974291472085790195652086*c_1001_4^9 - 2485240733632926897408081489402302234537317303887420364887631542702\ 7720281811206833113283137202418070111/66734853423234738270534586524\ 9799408958189845004346315786708790262402493111161974291472085790195\ 652086*c_1001_4^8 + 30354851416123728999738536402901873836866051561\ 827874307816744461322080210955809570978166494028627915463/133469706\ 8464694765410691730499598817916379690008692631573417580524804986222\ 323948582944171580391304172*c_1001_4^7 + 2033023070954900621261745022991780931292471307411453796622331115027\ 11426837022113527968339575212514454551/1334697068464694765410691730\ 4995988179163796900086926315734175805248049862223239485829441715803\ 91304172*c_1001_4^6 + 251572081922001988494454981335873762535684425\ 156494945166163605619518519134750005927211470278973527014097/133469\ 7068464694765410691730499598817916379690008692631573417580524804986\ 222323948582944171580391304172*c_1001_4^5 + 1469999152186311390389441727767500417361485720327488021184536784869\ 71397481904569523100796714936305754387/6673485342323473827053458652\ 4979940895818984500434631578670879026240249311116197429147208579019\ 5652086*c_1001_4^4 + 5636968386569907483509068600043963809050215038\ 2031918931990043609391934424722069903561310232493493073473/33367426\ 7116173691352672932624899704479094922502173157893354395131201246555\ 580987145736042895097826043*c_1001_4^3 + 3159781492932970502816747316096775051609348654497122676743743974787\ 3343872883940163084028836336530986037/33367426711617369135267293262\ 4899704479094922502173157893354395131201246555580987145736042895097\ 826043*c_1001_4^2 + 41682669193762282017563193079697506072974655294\ 715980693808278611862062774080867488381313379721654409521/133469706\ 8464694765410691730499598817916379690008692631573417580524804986222\ 323948582944171580391304172*c_1001_4 + 4985394985261128744137422642834514736094723166357760788650448483537\ 835312011937268727995858266071564375/667348534232347382705345865249\ 7994089581898450043463157867087902624024931111619742914720857901956\ 52086, c_0011_3 + 163046550928179272499470466118374924086265365334438957373551\ 352337942875067135552478592889037726779/667348534232347382705345865\ 2497994089581898450043463157867087902624024931111619742914720857901\ 95652086*c_1001_4^32 - 49541178812215407717081470338270521626062066\ 938218586804968181716301362773992416298136523364055977/333674267116\ 1736913526729326248997044790949225021731578933543951312012465555809\ 87145736042895097826043*c_1001_4^31 - 2873546283069749627565944139796115057348063447957175526452755662446\ 995489580686357188869957391204933/667348534232347382705345865249799\ 4089581898450043463157867087902624024931111619742914720857901956520\ 86*c_1001_4^30 + 40620795441510571130313753056008966065121268980923\ 79356963747131308878702377651450861039685359007876/3336742671161736\ 9135267293262489970447909492250217315789335439513120124655558098714\ 5736042895097826043*c_1001_4^29 + 770262169790425782396904323085810\ 4365400326447586210623926865250668795738064671893746630990780183384\ /333674267116173691352672932624899704479094922502173157893354395131\ 201246555580987145736042895097826043*c_1001_4^28 - 4697623252551702828569384983628504888180464523406132486812976853301\ 3156174756305165954876486688059562/33367426711617369135267293262489\ 9704479094922502173157893354395131201246555580987145736042895097826\ 043*c_1001_4^27 + 8685167051173008758434677771242731874705415591248\ 1679687633963231205871587784880843046137627738751739/66734853423234\ 7382705345865249799408958189845004346315786708790262402493111161974\ 291472085790195652086*c_1001_4^26 + 1573618775511673112904008210003348933566320721208649017604266467685\ 74229904813271999567368565078425865/3336742671161736913526729326248\ 9970447909492250217315789335439513120124655558098714573604289509782\ 6043*c_1001_4^25 - 859517999303715318563344069160200505291709027215\ 755994900155271046941078019306073156818220388919791463/667348534232\ 3473827053458652497994089581898450043463157867087902624024931111619\ 74291472085790195652086*c_1001_4^24 + 3561827054241511448697036212342823689718987233931220141970512807039\ 30167770808150043920109734681054762/3336742671161736913526729326248\ 9970447909492250217315789335439513120124655558098714573604289509782\ 6043*c_1001_4^23 + 174021866178233005889631266491050507537465258606\ 458117012727771629067723371130730019500747712767713687/333674267116\ 1736913526729326248997044790949225021731578933543951312012465555809\ 87145736042895097826043*c_1001_4^22 - 9717463632100045903621191629088261412014471707533845461232630840187\ 92594187103206698647552206045847178/3336742671161736913526729326248\ 9970447909492250217315789335439513120124655558098714573604289509782\ 6043*c_1001_4^21 + 693421607911418096016022213668711757863196347306\ 5996291656504301587602585595903022272608133529199286341/66734853423\ 2347382705345865249799408958189845004346315786708790262402493111161\ 974291472085790195652086*c_1001_4^20 - 6719707832920801359187475469254670791772326320161002646556430258536\ 223413748228719650846696221613783980/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^19 + 11047975718147715378335695097757708550029166017\ 647146191023375923317522412845178051777282058986334546511/667348534\ 2323473827053458652497994089581898450043463157867087902624024931111\ 61974291472085790195652086*c_1001_4^18 + 2526691385441637095111718585322297851769078756163742147341134114676\ 405442290966054224277589073276423845/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^17 - 47412054690691486012089772712653347808208529548\ 50313089694001885319848195302283431507590190822932490595/3336742671\ 1617369135267293262489970447909492250217315789335439513120124655558\ 0987145736042895097826043*c_1001_4^16 + 5484685127776227564725726527762761000831190744007205429513421729401\ 050504835985004854453185176647907367/667348534232347382705345865249\ 7994089581898450043463157867087902624024931111619742914720857901956\ 52086*c_1001_4^15 - 21309449693186635899850872225185270274091207318\ 27655087420579007209344563829094205731651977580549551785/6673485342\ 3234738270534586524979940895818984500434631578670879026240249311116\ 1974291472085790195652086*c_1001_4^14 + 1599276367198443017933468752584970333009698649608769876616388688213\ 091771379607078100512917273597627541/667348534232347382705345865249\ 7994089581898450043463157867087902624024931111619742914720857901956\ 52086*c_1001_4^13 + 21239514902232644625900084784595428429358796743\ 143052968218776383051527962098275702823759636821528193351/667348534\ 2323473827053458652497994089581898450043463157867087902624024931111\ 61974291472085790195652086*c_1001_4^12 - 4681154791510482284332501198057830233084808271210285872703760554467\ 305536222339107640257420141352088285/667348534232347382705345865249\ 7994089581898450043463157867087902624024931111619742914720857901956\ 52086*c_1001_4^11 + 76935018279231609375936275379031934998047105032\ 18570056742997390334150274573862131431851459226204482162/3336742671\ 1617369135267293262489970447909492250217315789335439513120124655558\ 0987145736042895097826043*c_1001_4^10 - 5860044227612790500082383581949784795130197638495049184769075291399\ 032171299395456592858489747182928481/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^9 - 736258263317072214659403385405582891637937578430\ 1851726269801865520401166090749876421325912351791192465/66734853423\ 2347382705345865249799408958189845004346315786708790262402493111161\ 974291472085790195652086*c_1001_4^8 + 5889188846753353780803743968475076558224502912405016155354735417764\ 729639806023421334203573552453672795/667348534232347382705345865249\ 7994089581898450043463157867087902624024931111619742914720857901956\ 52086*c_1001_4^7 + 413039147957931793135429353538531845722802849897\ 49239147733126321432966035212401025140843948241846297407/6673485342\ 3234738270534586524979940895818984500434631578670879026240249311116\ 1974291472085790195652086*c_1001_4^6 + 2466529825833276052320431247048416254665363151203718238652773196683\ 1660450556907659503480831224674790183/33367426711617369135267293262\ 4899704479094922502173157893354395131201246555580987145736042895097\ 826043*c_1001_4^5 + 31604586405390559658622595129434641773330735767\ 511433177258104409120784448064560270183852688170135432746/333674267\ 1161736913526729326248997044790949225021731578933543951312012465555\ 80987145736042895097826043*c_1001_4^4 + 2335747956109770936126529889901075664712985135753076138736543990430\ 7617973889004266181030367052096430465/33367426711617369135267293262\ 4899704479094922502173157893354395131201246555580987145736042895097\ 826043*c_1001_4^3 + 28266617660017985607907732814259779497614964756\ 266663417992496499321051304676953748817278445518284338409/667348534\ 2323473827053458652497994089581898450043463157867087902624024931111\ 61974291472085790195652086*c_1001_4^2 + 4996218327802132675045068216679989644027591972515052230910568289415\ 094587733561223366354046392725533492/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4 + 14563320959490177686263719912290697466442955769922\ 44303938369638309753407021491133809575278651071212094/3336742671161\ 7369135267293262489970447909492250217315789335439513120124655558098\ 7145736042895097826043, c_0011_6 - 115900330554854254599803342437561627596612633109858001184506\ 637765032767497739380176634483852988693/333674267116173691352672932\ 6248997044790949225021731578933543951312012465555809871457360428950\ 97826043*c_1001_4^32 + 13459633609219344828016691456514705793551715\ 1809376668555150813465715815479208585408539327040939713/66734853423\ 2347382705345865249799408958189845004346315786708790262402493111161\ 974291472085790195652086*c_1001_4^31 + 8216295380096502043826963222087322194104962922253228996717698775547\ 711718157681572409627833251769733/133469706846469476541069173049959\ 8817916379690008692631573417580524804986222323948582944171580391304\ 172*c_1001_4^30 - 1145878446356520320113440412869275034704433340486\ 2381838708996124825211754685905940641404433042764935/66734853423234\ 7382705345865249799408958189845004346315786708790262402493111161974\ 291472085790195652086*c_1001_4^29 - 4509211412188838031054959872754314500910995814009709260557502294413\ 7585549265169918637316550482743129/13346970684646947654106917304995\ 9881791637969000869263157341758052480498622232394858294417158039130\ 4172*c_1001_4^28 + 670333511614010916624668192793423466442799753171\ 21348763330245521313260976162737909622339275028723553/3336742671161\ 7369135267293262489970447909492250217315789335439513120124655558098\ 7145736042895097826043*c_1001_4^27 - 5921491033670543143250062498939927714003047630696860281823070181099\ 6847617451151814242717057122572526/33367426711617369135267293262489\ 9704479094922502173157893354395131201246555580987145736042895097826\ 043*c_1001_4^26 - 2312905709920295376589377719339630912461609134279\ 37337715859657016069194876283421634977159407451741629/3336742671161\ 7369135267293262489970447909492250217315789335439513120124655558098\ 7145736042895097826043*c_1001_4^25 + 2448973809664791196603015714313894462789711812599462907114568275760\ 528221443663265513912176818115459771/133469706846469476541069173049\ 9598817916379690008692631573417580524804986222323948582944171580391\ 304172*c_1001_4^24 - 4731265243118773503399901619458600560470447198\ 14235885143688936573631147409799627161097661936553122496/3336742671\ 1617369135267293262489970447909492250217315789335439513120124655558\ 0987145736042895097826043*c_1001_4^23 - 1279104112686695606391224747218634339858108371418589821710825767114\ 306017977680131559250032511911114465/133469706846469476541069173049\ 9598817916379690008692631573417580524804986222323948582944171580391\ 304172*c_1001_4^22 + 2873497106486072468096076819333712554422934057\ 396041875142695467388741979628934001839649994714664251897/667348534\ 2323473827053458652497994089581898450043463157867087902624024931111\ 61974291472085790195652086*c_1001_4^21 - 9767543480333022023926335759546805978668287609381323792050935765330\ 418296722168935379394176060654164665/667348534232347382705345865249\ 7994089581898450043463157867087902624024931111619742914720857901956\ 52086*c_1001_4^20 + 92885131069480371942810393332009900879152093805\ 80118908306005815108672685415098358833614075019027216836/3336742671\ 1617369135267293262489970447909492250217315789335439513120124655558\ 0987145736042895097826043*c_1001_4^19 - 2853958026551559230968326012617827051770244812464305567945132495588\ 6055546625553090838550145807599656299/13346970684646947654106917304\ 9959881791637969000869263157341758052480498622232394858294417158039\ 1304172*c_1001_4^18 - 950233664639288800889746959632968338340714444\ 9991754178966058969736323008219793145063273325695047166807/66734853\ 4232347382705345865249799408958189845004346315786708790262402493111\ 161974291472085790195652086*c_1001_4^17 + 3027119159352230556503269330624004841237717706197717422167131668073\ 0991765104973547815930017285933026157/13346970684646947654106917304\ 9959881791637969000869263157341758052480498622232394858294417158039\ 1304172*c_1001_4^16 - 714646142653967104322046991097809612509322039\ 6182890440977162786222493232361963137895594452818428130335/66734853\ 4232347382705345865249799408958189845004346315786708790262402493111\ 161974291472085790195652086*c_1001_4^15 + 5642189649729911176283190727686342642392762291165361152926740853759\ 69774123606646111904521502862983504/3336742671161736913526729326248\ 9970447909492250217315789335439513120124655558098714573604289509782\ 6043*c_1001_4^14 - 165661933203738979177015417389749414099326924736\ 8150116829201968906429645790757348216355632202211620811/13346970684\ 6469476541069173049959881791637969000869263157341758052480498622232\ 3948582944171580391304172*c_1001_4^13 - 6162781093659349749318045056768815163919987049305178257707555175234\ 0229058771839102099283073121653133945/13346970684646947654106917304\ 9959881791637969000869263157341758052480498622232394858294417158039\ 1304172*c_1001_4^12 + 118643030573708369593714669018859011289238279\ 15203273113677555109160097266485894992183518362541578765845/1334697\ 0684646947654106917304995988179163796900086926315734175805248049862\ 22323948582944171580391304172*c_1001_4^11 - 3799716330675899827220997474562694139485248391958970578815765758076\ 9683495448782690430190787967425393681/13346970684646947654106917304\ 9959881791637969000869263157341758052480498622232394858294417158039\ 1304172*c_1001_4^10 + 287598431586449637712707939609302925416864178\ 49587856439182516728368878167527140368964911801003622932991/1334697\ 0684646947654106917304995988179163796900086926315734175805248049862\ 22323948582944171580391304172*c_1001_4^9 + 6324122299805233084091601763898317607082931341634017839098212404693\ 289509090603006793559967226899181230/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^8 - 980348995671142232118297946641539435202634446488\ 4068013527850699990553043096170860999944651887301763683/66734853423\ 2347382705345865249799408958189845004346315786708790262402493111161\ 974291472085790195652086*c_1001_4^7 - 1194172747849406811341909044324288200511285007137632157090577268383\ 73917900617580365559556767237709120143/1334697068464694765410691730\ 4995988179163796900086926315734175805248049862223239485829441715803\ 91304172*c_1001_4^6 - 140158862296270256037917828600734669095444593\ 142768039092975709095425354281678965707651911251310928680589/133469\ 7068464694765410691730499598817916379690008692631573417580524804986\ 222323948582944171580391304172*c_1001_4^5 - 1745091075014750040836691565254297922018018399410295907677282359698\ 28684761681364346576925358912111590059/1334697068464694765410691730\ 4995988179163796900086926315734175805248049862223239485829441715803\ 91304172*c_1001_4^4 - 326064628495629363398207358793904469983837952\ 08278018630771781033302193279500870918349440636369427655078/3336742\ 6711617369135267293262489970447909492250217315789335439513120124655\ 5580987145736042895097826043*c_1001_4^3 - 1863795382928043569733961892863878400482562205271808533723628952866\ 4840772483498782934220708440643623016/33367426711617369135267293262\ 4899704479094922502173157893354395131201246555580987145736042895097\ 826043*c_1001_4^2 - 64647760676497052792187488366299262676805372067\ 16256237217182906630576523662448551792712674300656999757/3336742671\ 1617369135267293262489970447909492250217315789335439513120124655558\ 0987145736042895097826043*c_1001_4 - 7438276574769422295146149971215522457005890453836144838325788947666\ 717236812985069192978088178657589741/133469706846469476541069173049\ 9598817916379690008692631573417580524804986222323948582944171580391\ 304172, c_0011_8 + 162834458428506696744748674855638771724887116466827329798490\ 9653330688503572010917827623463614194/33367426711617369135267293262\ 4899704479094922502173157893354395131201246555580987145736042895097\ 826043*c_1001_4^32 + 4027102986893921004031350484700662354987922260\ 7879144993844185072623909456855282561004204319439513/13346970684646\ 9476541069173049959881791637969000869263157341758052480498622232394\ 8582944171580391304172*c_1001_4^31 - 2306106150661731643342647004743926198718538900246442555802598583364\ 69040624401195856299695186748423/1334697068464694765410691730499598\ 8179163796900086926315734175805248049862223239485829441715803913041\ 72*c_1001_4^30 - 34326035820163255065336990799073917395714485214771\ 4599050733068678402480605477395398364984324068325/13346970684646947\ 6541069173049959881791637969000869263157341758052480498622232394858\ 2944171580391304172*c_1001_4^29 + 432692896360478412276641467633867\ 4243540971152533953670007032102017672212342431674596623010028653113\ /133469706846469476541069173049959881791637969000869263157341758052\ 4804986222323948582944171580391304172*c_1001_4^28 - 2503759180453172557452207099550015543897294464375833998792217426562\ 736645215602370491949640368266041/667348534232347382705345865249799\ 4089581898450043463157867087902624024931111619742914720857901956520\ 86*c_1001_4^27 - 13549845946744609069937415146452159460899684456098\ 941918989075073430985205608036899848038238681766939/667348534232347\ 3827053458652497994089581898450043463157867087902624024931111619742\ 91472085790195652086*c_1001_4^26 + 9159435413464749569722558368120445835922013580405207529713714857001\ 7275506751275175388697460533387627/13346970684646947654106917304995\ 9881791637969000869263157341758052480498622232394858294417158039130\ 4172*c_1001_4^25 - 321200014539809847968844673247806824618265317055\ 43116699716112077643072066005990488890508086563964869/1334697068464\ 6947654106917304995988179163796900086926315734175805248049862223239\ 48582944171580391304172*c_1001_4^24 - 3307983936339824802369656286462067375965224051480377575547655594332\ 37069674813483757998635349581302533/1334697068464694765410691730499\ 5988179163796900086926315734175805248049862223239485829441715803913\ 04172*c_1001_4^23 + 77514672382317572002758133883887417721539336701\ 4664158730408654735377164888873589760692056546365836155/13346970684\ 6469476541069173049959881791637969000869263157341758052480498622232\ 3948582944171580391304172*c_1001_4^22 - 3653752701590021377641661888811602901970523729850118360692858651181\ 90453523047554899777567383011543259/6673485342323473827053458652497\ 9940895818984500434631578670879026240249311116197429147208579019565\ 2086*c_1001_4^21 - 244016888820574941970547410452541398443097663790\ 46237040433742230787764052857898314204021666532287785/6673485342323\ 4738270534586524979940895818984500434631578670879026240249311116197\ 4291472085790195652086*c_1001_4^20 + 2438476334491999118802486913256823158884418738435542919074036692128\ 240085665622376409628810250972126157/133469706846469476541069173049\ 9598817916379690008692631573417580524804986222323948582944171580391\ 304172*c_1001_4^19 - 7800051140963371943534569126925359068531957463\ 630164269951971381773194027997563058591893006676763153263/133469706\ 8464694765410691730499598817916379690008692631573417580524804986222\ 323948582944171580391304172*c_1001_4^18 + 1336933772797191848308705806791343264469264871076217364249534949826\ 3665475491065819886134013414251726621/13346970684646947654106917304\ 9959881791637969000869263157341758052480498622232394858294417158039\ 1304172*c_1001_4^17 - 108589153012717980605619692026905390619380935\ 48703639812255842272029204243233374290656728854847214860121/1334697\ 0684646947654106917304995988179163796900086926315734175805248049862\ 22323948582944171580391304172*c_1001_4^16 + 3329352679492944545107358687363778541203866827168704489364038603913\ 88352559331071049558219456487712191/6673485342323473827053458652497\ 9940895818984500434631578670879026240249311116197429147208579019565\ 2086*c_1001_4^15 + 733297798259969983663506755574464532156467936206\ 3252003836431445788589323750525507767782033887495165727/13346970684\ 6469476541069173049959881791637969000869263157341758052480498622232\ 3948582944171580391304172*c_1001_4^14 - 2235857873605517286089713004634656524925319776317641003010498383660\ 278976924906326227138421177643751401/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^13 + 18144170780013098632060752617131054010631265966\ 72902033876151830625167068075035645678422770685250028854/3336742671\ 1617369135267293262489970447909492250217315789335439513120124655558\ 0987145736042895097826043*c_1001_4^12 + 6980244167678677615597834500823140299728896515513114580994544013574\ 19116731427774096879986422602321742/3336742671161736913526729326248\ 9970447909492250217315789335439513120124655558098714573604289509782\ 6043*c_1001_4^11 - 305316955751155284107144375828198227596842408845\ 1326311154337723766597022323361877350894654732314226043/33367426711\ 6173691352672932624899704479094922502173157893354395131201246555580\ 987145736042895097826043*c_1001_4^10 + 1492559844870154709950405060592072239821777035361608839083893086082\ 9266641645193207997630457145932580955/13346970684646947654106917304\ 9959881791637969000869263157341758052480498622232394858294417158039\ 1304172*c_1001_4^9 - 4453352928990794990512429180757998525096913634\ 558730584457900691954320324309077019752737784278678289479/333674267\ 1161736913526729326248997044790949225021731578933543951312012465555\ 80987145736042895097826043*c_1001_4^8 + 1102819588802274876810862159938339014024789343405271600648511540850\ 2242054683332860959975826914269403011/13346970684646947654106917304\ 9959881791637969000869263157341758052480498622232394858294417158039\ 1304172*c_1001_4^7 + 1066109816156242934333017740473289032874539607\ 638658004887668967906269588116941199672571669823539740707/667348534\ 2323473827053458652497994089581898450043463157867087902624024931111\ 61974291472085790195652086*c_1001_4^6 + 4011295468146661870287367881588913126702405802711737815987871538322\ 661227635630296994004673898446398437/667348534232347382705345865249\ 7994089581898450043463157867087902624024931111619742914720857901956\ 52086*c_1001_4^5 - 135058584886906876049154106841811703134572300457\ 0085246253715322918133968446681938005777923551000804067/13346970684\ 6469476541069173049959881791637969000869263157341758052480498622232\ 3948582944171580391304172*c_1001_4^4 + 1908296771014290902760005441076816769335478515194522388541471775690\ 267893435980902290329515830005857865/667348534232347382705345865249\ 7994089581898450043463157867087902624024931111619742914720857901956\ 52086*c_1001_4^3 - 460676186313089337041757949239686354700883484859\ 3539014093321678872033787976348727799284609468866571039/66734853423\ 2347382705345865249799408958189845004346315786708790262402493111161\ 974291472085790195652086*c_1001_4^2 - 2187566972914891119782063954406146435747159320403946452271279842143\ 824171490370635495872845948019701691/133469706846469476541069173049\ 9598817916379690008692631573417580524804986222323948582944171580391\ 304172*c_1001_4 - 3690774631392164813987312321807380868302243467098\ 086128535267014446949315376203441324215002464198638071/133469706846\ 4694765410691730499598817916379690008692631573417580524804986222323\ 948582944171580391304172, c_0101_0 + 501011180637492599630546196810538615749680530105306528596897\ 7826036554812349357260350919449934072/33367426711617369135267293262\ 4899704479094922502173157893354395131201246555580987145736042895097\ 826043*c_1001_4^32 + 1422450477638065238097806838305784089105076531\ 283860023627237064749189653653154204557033018710010/333674267116173\ 6913526729326248997044790949225021731578933543951312012465555809871\ 45736042895097826043*c_1001_4^31 - 9741946888587743312959235885444509385901307930623465603812240191375\ 0301990604350314995548409296557/33367426711617369135267293262489970\ 4479094922502173157893354395131201246555580987145736042895097826043\ *c_1001_4^30 + 1737201898809248334957111268353699220859403242687568\ 82635992062875394841212601944760224852898459923/3336742671161736913\ 5267293262489970447909492250217315789335439513120124655558098714573\ 6042895097826043*c_1001_4^29 + 813005715525660156155749902606665613\ 542568345140797945585169209117348496745997107868940743071008580/333\ 6742671161736913526729326248997044790949225021731578933543951312012\ 46555580987145736042895097826043*c_1001_4^28 - 2769658191889721631627983348659118881275150296997298149440864062945\ 309851950525898301969287061759375/333674267116173691352672932624899\ 7044790949225021731578933543951312012465555809871457360428950978260\ 43*c_1001_4^27 - 62326377543460159924224612008412791977486606689939\ 8858556094916490112433162547895297049071198771772/33367426711617369\ 1352672932624899704479094922502173157893354395131201246555580987145\ 736042895097826043*c_1001_4^26 + 1585656640374327155035129277850700\ 7047286383208344339278651458600494966727185576513426595359354658509\ /333674267116173691352672932624899704479094922502173157893354395131\ 201246555580987145736042895097826043*c_1001_4^25 - 2039478442677869091313124612695046869385408731535547103742900115555\ 2190364516161182954488129270509238/33367426711617369135267293262489\ 9704479094922502173157893354395131201246555580987145736042895097826\ 043*c_1001_4^24 - 1677918126071762116593433839257784403788037675372\ 6250763787767957655000415933505506114742466850114742/33367426711617\ 3691352672932624899704479094922502173157893354395131201246555580987\ 145736042895097826043*c_1001_4^23 + 6529848691994721487700409328403958391002106556320404786431222823673\ 5330139626349121100596340256505109/33367426711617369135267293262489\ 9704479094922502173157893354395131201246555580987145736042895097826\ 043*c_1001_4^22 - 6785509683898155083140820255569136175626538230897\ 3590008186461265086371485856658896426009193166685034/33367426711617\ 3691352672932624899704479094922502173157893354395131201246555580987\ 145736042895097826043*c_1001_4^21 + 1191601024033851472962769784086614752362403993598047782080889998127\ 17282381405509390013535094722087741/3336742671161736913526729326248\ 9970447909492250217315789335439513120124655558098714573604289509782\ 6043*c_1001_4^20 - 118207957375420504131500792421649775034232689532\ 938029190043199957258156011125395900613119777998308065/333674267116\ 1736913526729326248997044790949225021731578933543951312012465555809\ 87145736042895097826043*c_1001_4^19 - 2998601948676023179796791698698822444136773545865201366143604139324\ 52481012936467378090639345524303176/3336742671161736913526729326248\ 9970447909492250217315789335439513120124655558098714573604289509782\ 6043*c_1001_4^18 + 901867011330763300448509579739736553204710142123\ 521915173068265421434621559215000912388418239294748965/333674267116\ 1736913526729326248997044790949225021731578933543951312012465555809\ 87145736042895097826043*c_1001_4^17 - 3181198909069119451268224100872107792722789722810252587621765989138\ 75739390088825048834699569704578848/3336742671161736913526729326248\ 9970447909492250217315789335439513120124655558098714573604289509782\ 6043*c_1001_4^16 - 777515643174869822747685649674636455735043428362\ 288959800573497755854223343373938969283442916204937677/333674267116\ 1736913526729326248997044790949225021731578933543951312012465555809\ 87145736042895097826043*c_1001_4^15 + 9314878936770918244925251773775089685740625319119259153870377276084\ 28355296698299905662753190347060696/3336742671161736913526729326248\ 9970447909492250217315789335439513120124655558098714573604289509782\ 6043*c_1001_4^14 - 351022568661048828023344142657070333214392663512\ 094446038055161551443161907371736452279198601560604903/333674267116\ 1736913526729326248997044790949225021731578933543951312012465555809\ 87145736042895097826043*c_1001_4^13 + 5910593877712010600573924851628200725434844392918873040524328150675\ 63417571674233038965091527242762555/3336742671161736913526729326248\ 9970447909492250217315789335439513120124655558098714573604289509782\ 6043*c_1001_4^12 + 668589132638606042846012747486951765218643075542\ 342098561290042237311289531426113449574344388441034825/333674267116\ 1736913526729326248997044790949225021731578933543951312012465555809\ 87145736042895097826043*c_1001_4^11 - 7543369014899653060705330258638529412565218254285799731977225503187\ 39439717405310760317994600141083069/3336742671161736913526729326248\ 9970447909492250217315789335439513120124655558098714573604289509782\ 6043*c_1001_4^10 + 271593517518366468190522458630881827369393697455\ 456868215195922108237828847918651087077470936426848182/333674267116\ 1736913526729326248997044790949225021731578933543951312012465555809\ 87145736042895097826043*c_1001_4^9 - 6777132756285868170338662768196237720321447263948668175277403337231\ 99565647449260406233483949189811733/3336742671161736913526729326248\ 9970447909492250217315789335439513120124655558098714573604289509782\ 6043*c_1001_4^8 - 1365579041788763911716122162620701192924043716786\ 10433399327439613777595352254137515423450967216227555/3336742671161\ 7369135267293262489970447909492250217315789335439513120124655558098\ 7145736042895097826043*c_1001_4^7 + 2392896905614149722542695635468567491343858546036690730657458573390\ 114756478497776612920450853611709613/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^6 + 184643746135313306313535758085265814732652215736\ 2881032882808730848311634006248677849298799913207221630/33367426711\ 6173691352672932624899704479094922502173157893354395131201246555580\ 987145736042895097826043*c_1001_4^5 + 1840907637712035832854444988965563023956624670859149671985186954789\ 538053872169904706683781586681298632/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^4 + 104028020378889986832468050373271757177154507225\ 3702933315751514134194106232472453906472714341511289016/33367426711\ 6173691352672932624899704479094922502173157893354395131201246555580\ 987145736042895097826043*c_1001_4^3 + 1343262154336035325111122972731282644994668433589707425912168114873\ 41910194542349221314677496710729086/3336742671161736913526729326248\ 9970447909492250217315789335439513120124655558098714573604289509782\ 6043*c_1001_4^2 - 8344411024972614634332520424710287159703994464721\ 68812722420840964004552754081917849289319253840447493/3336742671161\ 7369135267293262489970447909492250217315789335439513120124655558098\ 7145736042895097826043*c_1001_4 - 212999538590640065744990649847137\ 3692671398095035525988405557986205116174436955139633540074622631639\ 56/3336742671161736913526729326248997044790949225021731578933543951\ 31201246555580987145736042895097826043, c_0101_12 - 59928949065992505257070807053721639908764065874597585804925\ 3131699509097554263925632462353383070445/66734853423234738270534586\ 5249799408958189845004346315786708790262402493111161974291472085790\ 195652086*c_1001_4^32 + 1460218848667881493459188522678277014224643\ 75151330394045665998322358573013237733054320305943160113/6673485342\ 3234738270534586524979940895818984500434631578670879026240249311116\ 1974291472085790195652086*c_1001_4^31 + 2165927087063623536804102526582417430997209771057573340842397932293\ 3146067601696477582767856881859535/13346970684646947654106917304995\ 9881791637969000869263157341758052480498622232394858294417158039130\ 4172*c_1001_4^30 - 260839820176821394813715144273558375348701560059\ 95883513662637362306451785442230530398792412830510571/6673485342323\ 4738270534586524979940895818984500434631578670879026240249311116197\ 4291472085790195652086*c_1001_4^29 - 1398530527502330242927074610633670363973734038416286199091654345680\ 88644104967134604852161399948568663/1334697068464694765410691730499\ 5988179163796900086926315734175805248049862223239485829441715803913\ 04172*c_1001_4^28 + 33122771116474919186554093111322361209785189219\ 1111317626950285108209779704859541569331808400681937461/66734853423\ 2347382705345865249799408958189845004346315786708790262402493111161\ 974291472085790195652086*c_1001_4^27 - 1792872456606086495483142295940882104503938057507499696448152397274\ 81373788283068667173106976473266849/6673485342323473827053458652497\ 9940895818984500434631578670879026240249311116197429147208579019565\ 2086*c_1001_4^26 - 135168402367109963123354387007479682147924277899\ 5872273475785361946173612008107342668438107770286316245/66734853423\ 2347382705345865249799408958189845004346315786708790262402493111161\ 974291472085790195652086*c_1001_4^25 + 5595765582899152367703151784477808778683293175760152248126980411956\ 926871237929021762546436377699218067/133469706846469476541069173049\ 9598817916379690008692631573417580524804986222323948582944171580391\ 304172*c_1001_4^24 - 1175134261818140634589763289945702325852928188\ 533357485534995988713235520822790370470058103952807250633/667348534\ 2323473827053458652497994089581898450043463157867087902624024931111\ 61974291472085790195652086*c_1001_4^23 - 5879928244021514755281928977666186138323964565703224938000070038852\ 572663579792353954774567650048984575/133469706846469476541069173049\ 9598817916379690008692631573417580524804986222323948582944171580391\ 304172*c_1001_4^22 + 3555356786059700130968059087548630197666517659\ 476664833681283717439694950857982184420631354230157379510/333674267\ 1161736913526729326248997044790949225021731578933543951312012465555\ 80987145736042895097826043*c_1001_4^21 - 2231617378785965246940044756379472308942565649703168681598466430389\ 9161171542036297195630563278261169477/66734853423234738270534586524\ 9799408958189845004346315786708790262402493111161974291472085790195\ 652086*c_1001_4^20 + 3836253210948148709829941464929925319339281516\ 5316052276509843889034478369993850437138664432454460585383/66734853\ 4232347382705345865249799408958189845004346315786708790262402493111\ 161974291472085790195652086*c_1001_4^19 - 3422924550718535906920324683649820746594865395665106954888467513168\ 4332918517572279348297285889120209161/13346970684646947654106917304\ 9959881791637969000869263157341758052480498622232394858294417158039\ 1304172*c_1001_4^18 - 434761205498411499773950466941888086647949962\ 27583202616592472572475180896957664042748543148722399082749/6673485\ 3423234738270534586524979940895818984500434631578670879026240249311\ 1161974291472085790195652086*c_1001_4^17 + 6864740463570864451776227411201031315866495125485253526253593357043\ 9147633530520010365770576674848033865/13346970684646947654106917304\ 9959881791637969000869263157341758052480498622232394858294417158039\ 1304172*c_1001_4^16 + 133675143981695910684340535751559312789652534\ 0476078123960644574780068594244891617640941584797413021213/66734853\ 4232347382705345865249799408958189845004346315786708790262402493111\ 161974291472085790195652086*c_1001_4^15 - 5040000574536004635843348508138798633728391778142883527910676486061\ 615072450016085696532961608977454397/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^14 - 29025916803234783380522783015916689110027583346\ 5484076363133908364707275718160036428137385884822167233/13346970684\ 6469476541069173049959881791637969000869263157341758052480498622232\ 3948582944171580391304172*c_1001_4^13 - 1603707995964263352702530122159259524281113947821574170112849211641\ 88111440823326143668241729034386416723/1334697068464694765410691730\ 4995988179163796900086926315734175805248049862223239485829441715803\ 91304172*c_1001_4^12 - 20758947502559734722196258884565565914955583\ 348782940492333575955332597132341615543910879503474543429509/133469\ 7068464694765410691730499598817916379690008692631573417580524804986\ 222323948582944171580391304172*c_1001_4^11 - 6163234365879888217478529326356339649850233485763849297507776202279\ 5997151258760936334562438847336676093/13346970684646947654106917304\ 9959881791637969000869263157341758052480498622232394858294417158039\ 1304172*c_1001_4^10 + 359824232606921366495915523415515007540617685\ 15680007412657332007809143385309055194911163502690199115075/1334697\ 0684646947654106917304995988179163796900086926315734175805248049862\ 22323948582944171580391304172*c_1001_4^9 + 4927397792749275215564310390893194865254258288624075451971351339469\ 5495975344981589526222604858810213263/66734853423234738270534586524\ 9799408958189845004346315786708790262402493111161974291472085790195\ 652086*c_1001_4^8 - 89055331815781907894569047249041380502343182072\ 11008053680586031871228611153120025958072762698564565054/3336742671\ 1617369135267293262489970447909492250217315789335439513120124655558\ 0987145736042895097826043*c_1001_4^7 - 3396097092795427433871549256922556523550011670972555927280978437082\ 81909010989544678598483503489131009771/1334697068464694765410691730\ 4995988179163796900086926315734175805248049862223239485829441715803\ 91304172*c_1001_4^6 - 455353441541114863332005345591788658073157275\ 753992947104862496071786160871665557968242380709495000288849/133469\ 7068464694765410691730499598817916379690008692631573417580524804986\ 222323948582944171580391304172*c_1001_4^5 - 5253370073542655638003667210285882815339462461381130124375003010114\ 14026995958143831868946654019229007623/1334697068464694765410691730\ 4995988179163796900086926315734175805248049862223239485829441715803\ 91304172*c_1001_4^4 - 213360738003573743678271529107999056999866105\ 340410438670241633948364381379830144220392701155461925368267/667348\ 5342323473827053458652497994089581898450043463157867087902624024931\ 11161974291472085790195652086*c_1001_4^3 - 1215885910095514927003416206216904833455979158563206282042953618641\ 26772916415550018524327244903283565657/6673485342323473827053458652\ 4979940895818984500434631578670879026240249311116197429147208579019\ 5652086*c_1001_4^2 - 2151179659066645613027744242426950075579918311\ 1191506502561163833498881824318259617424246101728641028400/33367426\ 7116173691352672932624899704479094922502173157893354395131201246555\ 580987145736042895097826043*c_1001_4 - 1980675911267957680242134410692575732757630477259541119190282713660\ 2654464083232736380869876523321180731/13346970684646947654106917304\ 9959881791637969000869263157341758052480498622232394858294417158039\ 1304172, c_0101_4 + 380064385885592495060505981575452756712745295562690386738716\ 820062257341249771053632898015341233265/667348534232347382705345865\ 2497994089581898450043463157867087902624024931111619742914720857901\ 95652086*c_1001_4^32 - 34503062968463143698975035017841325688193761\ 3529580798271528034132896226024315725751763950144311229/13346970684\ 6469476541069173049959881791637969000869263157341758052480498622232\ 3948582944171580391304172*c_1001_4^31 - 3400842503050408244121637270433758573584311961442596040363932592353\ 900931458781160198609255643816186/333674267116173691352672932624899\ 7044790949225021731578933543951312012465555809871457360428950978260\ 43*c_1001_4^30 + 35901837642408673535798698706315998040518225650270\ 514501470962905268509515589552066734419143821735785/133469706846469\ 4765410691730499598817916379690008692631573417580524804986222323948\ 582944171580391304172*c_1001_4^29 + 4003800897964084465858284391738004098565990828322965690029219947149\ 9513123238301848876452483666586399/66734853423234738270534586524979\ 9408958189845004346315786708790262402493111161974291472085790195652\ 086*c_1001_4^28 - 1084566539441138506497962414631359996775588612233\ 81870761237786000894584053739016056755494433814847756/3336742671161\ 7369135267293262489970447909492250217315789335439513120124655558098\ 7145736042895097826043*c_1001_4^27 + 8104589052442300483095286346036454446730497311945993198379806166820\ 3082587385051556582318405131707154/33367426711617369135267293262489\ 9704479094922502173157893354395131201246555580987145736042895097826\ 043*c_1001_4^26 + 1610137283077099642303934623285999993771226839411\ 530515862624890615362866451355990332102318369571185061/133469706846\ 4694765410691730499598817916379690008692631573417580524804986222323\ 948582944171580391304172*c_1001_4^25 - 1925882361382099486073831834832329419102800144712039557659713825978\ 527876784276878496047002463278525821/667348534232347382705345865249\ 7994089581898450043463157867087902624024931111619742914720857901956\ 52086*c_1001_4^24 + 24211075817464282196429470654492239329517477471\ 69467232040536410516426192425338804758912002996814187293/1334697068\ 4646947654106917304995988179163796900086926315734175805248049862223\ 23948582944171580391304172*c_1001_4^23 + 7184134053508718254215313605692179078575864939400365580141211860758\ 15908849514366645384474312785547580/3336742671161736913526729326248\ 9970447909492250217315789335439513120124655558098714573604289509782\ 6043*c_1001_4^22 - 466766068205457359655690562918647002690389248934\ 9260023666788091303374151668527704111460420851212178571/66734853423\ 2347382705345865249799408958189845004346315786708790262402493111161\ 974291472085790195652086*c_1001_4^21 + 7614643288355801448625431855955080592161106097964778156389171249418\ 220837084238458007897409507080970336/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^20 - 55953595391461000309052024644223704150322994406\ 392298881989506013797202975677873556702532640850720106225/133469706\ 8464694765410691730499598817916379690008692631573417580524804986222\ 323948582944171580391304172*c_1001_4^19 + 9052318405116909102477037625780465282933821443801864224292557657832\ 592760391176865448071553880961940930/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^18 + 42437978608135764872259719332742810856934926408\ 658958807606954603830962690013675714971416019067524738239/133469706\ 8464694765410691730499598817916379690008692631573417580524804986222\ 323948582944171580391304172*c_1001_4^17 - 1214961576915689331380350998127812641597352753927406748190924589698\ 4379637858146494880593269154593680084/33367426711617369135267293262\ 4899704479094922502173157893354395131201246555580987145736042895097\ 826043*c_1001_4^16 + 2945675044414088836606049426544960242031671482\ 346989604044674170096056705692847902063752511141614840953/333674267\ 1161736913526729326248997044790949225021731578933543951312012465555\ 80987145736042895097826043*c_1001_4^15 + 3991479648368337646911085627562455235581292511725786610618585710041\ 277767195884684007063092514586194995/133469706846469476541069173049\ 9598817916379690008692631573417580524804986222323948582944171580391\ 304172*c_1001_4^14 + 3316647619642790216672811629123760062957180818\ 655200518203110457881927355875904057705011116311233831231/133469706\ 8464694765410691730499598817916379690008692631573417580524804986222\ 323948582944171580391304172*c_1001_4^13 + 1006411828513832962837430919881186714820387346105074637151114441681\ 81429384658105220076110968240154715649/1334697068464694765410691730\ 4995988179163796900086926315734175805248049862223239485829441715803\ 91304172*c_1001_4^12 - 93294299882984138745072149246734692851994779\ 17286418819352864644860771786604149366677037169258906708241/1334697\ 0684646947654106917304995988179163796900086926315734175805248049862\ 22323948582944171580391304172*c_1001_4^11 + 5054166814979023602453225852239985348598429193309872673029426275112\ 6313801389255063848398895898620783727/13346970684646947654106917304\ 9959881791637969000869263157341758052480498622232394858294417158039\ 1304172*c_1001_4^10 - 185391507945053940721140044712823644875835269\ 41362432151773780196964563932204908277678640218164077809135/6673485\ 3423234738270534586524979940895818984500434631578670879026240249311\ 1161974291472085790195652086*c_1001_4^9 - 2485240733632926897408081489402302234537317303887420364887631542702\ 7720281811206833113283137202418070111/66734853423234738270534586524\ 9799408958189845004346315786708790262402493111161974291472085790195\ 652086*c_1001_4^8 + 30354851416123728999738536402901873836866051561\ 827874307816744461322080210955809570978166494028627915463/133469706\ 8464694765410691730499598817916379690008692631573417580524804986222\ 323948582944171580391304172*c_1001_4^7 + 2033023070954900621261745022991780931292471307411453796622331115027\ 11426837022113527968339575212514454551/1334697068464694765410691730\ 4995988179163796900086926315734175805248049862223239485829441715803\ 91304172*c_1001_4^6 + 251572081922001988494454981335873762535684425\ 156494945166163605619518519134750005927211470278973527014097/133469\ 7068464694765410691730499598817916379690008692631573417580524804986\ 222323948582944171580391304172*c_1001_4^5 + 1469999152186311390389441727767500417361485720327488021184536784869\ 71397481904569523100796714936305754387/6673485342323473827053458652\ 4979940895818984500434631578670879026240249311116197429147208579019\ 5652086*c_1001_4^4 + 5636968386569907483509068600043963809050215038\ 2031918931990043609391934424722069903561310232493493073473/33367426\ 7116173691352672932624899704479094922502173157893354395131201246555\ 580987145736042895097826043*c_1001_4^3 + 3159781492932970502816747316096775051609348654497122676743743974787\ 3343872883940163084028836336530986037/33367426711617369135267293262\ 4899704479094922502173157893354395131201246555580987145736042895097\ 826043*c_1001_4^2 + 41682669193762282017563193079697506072974655294\ 715980693808278611862062774080867488381313379721654409521/133469706\ 8464694765410691730499598817916379690008692631573417580524804986222\ 323948582944171580391304172*c_1001_4 + 4985394985261128744137422642834514736094723166357760788650448483537\ 835312011937268727995858266071564375/667348534232347382705345865249\ 7994089581898450043463157867087902624024931111619742914720857901956\ 52086, c_0110_7 + 186478335028194311129033943505073668220234203766858855433150\ 41608453857721805967025518735448143950/3336742671161736913526729326\ 2489970447909492250217315789335439513120124655558098714573604289509\ 7826043*c_1001_4^32 + 429188046180283058193241169677269035926675867\ 0899822244742774786580045548073034759032823413338642/33367426711617\ 3691352672932624899704479094922502173157893354395131201246555580987\ 145736042895097826043*c_1001_4^31 - 3331838719073879043682295929747808145330361334356080516353315697986\ 13559692059332775853823125346397/3336742671161736913526729326248997\ 0447909492250217315789335439513120124655558098714573604289509782604\ 3*c_1001_4^30 + 639656631671300377309212210898834741061354568420782\ 575007467334695939030421794091176474534917626445/333674267116173691\ 3526729326248997044790949225021731578933543951312012465555809871457\ 36042895097826043*c_1001_4^29 + 24648322971329211396385821584803787\ 96645699593942231363087232692129317849072981362507000758936844629/3\ 3367426711617369135267293262489970447909492250217315789335439513120\ 1246555580987145736042895097826043*c_1001_4^28 - 8828638290478598559352453329342670648951286087589932177062053824666\ 316159464648837867561753281249283/333674267116173691352672932624899\ 7044790949225021731578933543951312012465555809871457360428950978260\ 43*c_1001_4^27 + 75283945176754913187280442037305338255428340561429\ 1555055806302224551928468770091217418235048685098/33367426711617369\ 1352672932624899704479094922502173157893354395131201246555580987145\ 736042895097826043*c_1001_4^26 + 4065872419641263778918390816785412\ 2323282021391674174544584302689903086473217571701173420858298822797\ /333674267116173691352672932624899704479094922502173157893354395131\ 201246555580987145736042895097826043*c_1001_4^25 - 5857149898086130495751348863508407351865382958346557344783539925189\ 1634942651412517067753505049391355/33367426711617369135267293262489\ 9704479094922502173157893354395131201246555580987145736042895097826\ 043*c_1001_4^24 - 2428381646181606691782645288435968236317530935481\ 70244327409061594539072694228872681236834909933218/3336742671161736\ 9135267293262489970447909492250217315789335439513120124655558098714\ 5736042895097826043*c_1001_4^23 + 629446290909021239459266281211060\ 8119442446042884966065001130741295639572633722238464177298666632893\ 2/33367426711617369135267293262489970447909492250217315789335439513\ 1201246555580987145736042895097826043*c_1001_4^22 - 9782430976708734384406236721965395099083189273171393832431181890859\ 4556274288254456528256959457465727/33367426711617369135267293262489\ 9704479094922502173157893354395131201246555580987145736042895097826\ 043*c_1001_4^21 + 5410983771430207778805335612054908654558223787470\ 73945176396800234554686748201696307971153721534947725/3336742671161\ 7369135267293262489970447909492250217315789335439513120124655558098\ 7145736042895097826043*c_1001_4^20 - 9357718530031256854540884462880182817915208639287584952881453998084\ 28290641824363711550088745663175775/3336742671161736913526729326248\ 9970447909492250217315789335439513120124655558098714573604289509782\ 6043*c_1001_4^19 + 338459285775082989519959276724568068458923489247\ 512190703551170976562695684192567861728463888851088416/333674267116\ 1736913526729326248997044790949225021731578933543951312012465555809\ 87145736042895097826043*c_1001_4^18 + 6823097904594309729786398095373190129596887091018856460263130262089\ 05931152700178335210851833615809740/3336742671161736913526729326248\ 9970447909492250217315789335439513120124655558098714573604289509782\ 6043*c_1001_4^17 + 876873507352259450287418761563088003143463545943\ 269900950199974845754861797407430128547943823951301214/333674267116\ 1736913526729326248997044790949225021731578933543951312012465555809\ 87145736042895097826043*c_1001_4^16 - 1285839105932382976411880168793387283301393483327336890291166977565\ 924411030532504215443146618481251960/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^15 - 90863308267774996052043895658582375059138241567\ 845678368819235065257965077052167596600900506484491935/333674267116\ 1736913526729326248997044790949225021731578933543951312012465555809\ 87145736042895097826043*c_1001_4^14 + 1123291091530644953487682002885122108169492185053339928507097130029\ 797738701184524855626099608898976548/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^13 + 16518794489171809632012616675133774062443811975\ 95551082612471663573881614371294584843280435545259263704/3336742671\ 1617369135267293262489970447909492250217315789335439513120124655558\ 0987145736042895097826043*c_1001_4^12 + 1977687250372048809896905116440583328989199870227830545648345179110\ 455225804345187523579290217742401034/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^11 + 17629922922700634264667730315362963843801649342\ 71542073230344350184992043966579851621610413301095966843/3336742671\ 1617369135267293262489970447909492250217315789335439513120124655558\ 0987145736042895097826043*c_1001_4^10 - 1544184604787012644405787220942764624807591428304413477970432429545\ 491819592816449433250470845769964342/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^9 - 297704935459669413586422226236793305531264070056\ 265762156105790283298448716041776535676081937195978148/333674267116\ 1736913526729326248997044790949225021731578933543951312012465555809\ 87145736042895097826043*c_1001_4^8 - 1650050639325173805046324940599872225990141760897161094305969987349\ 705608174167633029650528421682507539/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^7 + 613499090357214834338053684672832568561518763174\ 2706035241069111873211800333163727363266550308569875445/33367426711\ 6173691352672932624899704479094922502173157893354395131201246555580\ 987145736042895097826043*c_1001_4^6 + 1006676517274282181823093625732125884584688832724846136595873642972\ 8360093264725278321898432147566845467/33367426711617369135267293262\ 4899704479094922502173157893354395131201246555580987145736042895097\ 826043*c_1001_4^5 + 12272466732050815928767112494920538017296989248\ 122181373457319044356037785204848948435863859977126383907/333674267\ 1161736913526729326248997044790949225021731578933543951312012465555\ 80987145736042895097826043*c_1001_4^4 + 1062609252687500349239995785809924929558536403692907107060377419234\ 0405752786548334867862782632877620805/33367426711617369135267293262\ 4899704479094922502173157893354395131201246555580987145736042895097\ 826043*c_1001_4^3 + 73964318458340775192432415489083555240050934006\ 44007020544113666668799623755133678676497250139184882354/3336742671\ 1617369135267293262489970447909492250217315789335439513120124655558\ 0987145736042895097826043*c_1001_4^2 + 2691889988679390749187156602528196811342896574930504196120910831420\ 927468441752490044843167915697715107/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4 + 69234296605705747454585468157102685831299339740653\ 8773465272281274546565537703219975668053611337072866/33367426711617\ 3691352672932624899704479094922502173157893354395131201246555580987\ 145736042895097826043, c_1001_10 - 41435259470057986379436185709727192783530790786414590097701\ 4386682454596516505570537174467942833251/66734853423234738270534586\ 5249799408958189845004346315786708790262402493111161974291472085790\ 195652086*c_1001_4^32 + 3443765784369179383732361301033761464336418\ 75409847577935448383055622721323601949685761721898808911/1334697068\ 4646947654106917304995988179163796900086926315734175805248049862223\ 23948582944171580391304172*c_1001_4^31 + 3710577050124946575696535233649932577255468590992694995487441246897\ 717141670064758853837831105075530/333674267116173691352672932624899\ 7044790949225021731578933543951312012465555809871457360428950978260\ 43*c_1001_4^30 - 38565625557025489171383219261194850944197171514105\ 130587413469613503657135520897856904304131397265087/133469706846469\ 4765410691730499598817916379690008692631573417580524804986222323948\ 582944171580391304172*c_1001_4^29 - 4437632697314312802529880053972426048616193370819183502687544972396\ 2819373453716981977395638904332057/66734853423234738270534586524979\ 9408958189845004346315786708790262402493111161974291472085790195652\ 086*c_1001_4^28 + 1173486658353509937961511677479677367501522143741\ 95462206639876985366559461361835887760848141100975254/3336742671161\ 7369135267293262489970447909492250217315789335439513120124655558098\ 7145736042895097826043*c_1001_4^27 - 8384397671192298961533577159043046182144283241109807102114202429037\ 9596215801942721999130925830827957/33367426711617369135267293262489\ 9704479094922502173157893354395131201246555580987145736042895097826\ 043*c_1001_4^26 - 1766755088671484766067242436997795222867787606252\ 994540504467292935252574490911808797323269681609816031/133469706846\ 4694765410691730499598817916379690008692631573417580524804986222323\ 948582944171580391304172*c_1001_4^25 + 2064049882894803235781010425208473371847032775368585004003842270991\ 913601525792409828540178850133999817/667348534232347382705345865249\ 7994089581898450043463157867087902624024931111619742914720857901956\ 52086*c_1001_4^24 - 24833913950374921400371534852369746818210378646\ 39428319842696293571603964728545873633134738211966601563/1334697068\ 4646947654106917304995988179163796900086926315734175805248049862223\ 23948582944171580391304172*c_1001_4^23 - 8022049677083755417736525946289707474922729742139159090703411171213\ 59492334106121191859206118264928587/3336742671161736913526729326248\ 9970447909492250217315789335439513120124655558098714573604289509782\ 6043*c_1001_4^22 + 501443585266136671427950520945192861852304089913\ 9168523429457585719778992179965506524836802865311812829/66734853423\ 2347382705345865249799408958189845004346315786708790262402493111161\ 974291472085790195652086*c_1001_4^21 - 8205735555244069503004801518373962789683968407206040529275441648040\ 780938305502846088895549353944946497/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^20 + 59781069406403640224763866699768390111134694863\ 906888884671929045747984328866794662676093069587834157471/133469706\ 8464694765410691730499598817916379690008692631573417580524804986222\ 323948582944171580391304172*c_1001_4^19 - 9319319146883880310225499799245839406892605077457191081370712952048\ 577339092725749441326085406562837780/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^18 - 47425904125178353593119110090620068272965792330\ 667243252974399696309795869261915882615019791078653983317/133469706\ 8464694765410691730499598817916379690008692631573417580524804986222\ 323948582944171580391304172*c_1001_4^17 + 1269200093241868241458478809371618807185656379564534425067744367610\ 0718890631621343802709088402304530246/33367426711617369135267293262\ 4899704479094922502173157893354395131201246555580987145736042895097\ 826043*c_1001_4^16 - 2698639128651428381832878457163280855948815094\ 042024612757234147367366043522132472495499743644021370282/333674267\ 1161736913526729326248997044790949225021731578933543951312012465555\ 80987145736042895097826043*c_1001_4^15 - 4482350026202403954185695084456019362577354593105483088558158978621\ 395616338149677345278548986676571649/133469706846469476541069173049\ 9598817916379690008692631573417580524804986222323948582944171580391\ 304172*c_1001_4^14 - 3661698940424516178474218114959563821163672937\ 288547504932105633065747183061611573786233612833176133289/133469706\ 8464694765410691730499598817916379690008692631573417580524804986222\ 323948582944171580391304172*c_1001_4^13 - 1103512777653197838559979105524615156885947039815301615555785064781\ 25238873909740636214103457539282390295/1334697068464694765410691730\ 4995988179163796900086926315734175805248049862223239485829441715803\ 91304172*c_1001_4^12 + 58849446462378601500992847991826073957982274\ 86288040648316244754549140093861375766840424676363026226915/1334697\ 0684646947654106917304995988179163796900086926315734175805248049862\ 22323948582944171580391304172*c_1001_4^11 - 5438745491812090124951348266460702260907415195202557535874874620228\ 4156416399874089085776111054214728085/13346970684646947654106917304\ 9959881791637969000869263157341758052480498622232394858294417158039\ 1304172*c_1001_4^10 + 192224743467208511738955558421946361747536568\ 58276387753394258918895326052809323266893453629806282994787/6673485\ 3423234738270534586524979940895818984500434631578670879026240249311\ 1161974291472085790195652086*c_1001_4^9 + 2801225120723913226685210963312609521898544285112327424107320341772\ 5881518285498662942100774839001972961/66734853423234738270534586524\ 9799408958189845004346315786708790262402493111161974291472085790195\ 652086*c_1001_4^8 - 31166210403061871353518775423056068509884976113\ 960528729196572435579506191590535594434916334882909704517/133469706\ 8464694765410691730499598817916379690008692631573417580524804986222\ 323948582944171580391304172*c_1001_4^7 - 2230794140186897437599477770470219768004483398892482869045576803958\ 33822953089992142811109679856597975921/1334697068464694765410691730\ 4995988179163796900086926315734175805248049862223239485829441715803\ 91304172*c_1001_4^6 - 282377447429716018494242839017877931279126715\ 185855488927765456415580148014988901376049901726718214011867/133469\ 7068464694765410691730499598817916379690008692631573417580524804986\ 222323948582944171580391304172*c_1001_4^5 - 1661137741511150243479752973439945369669104143346725494094799268353\ 31754586822401368052061845477428702147/6673485342323473827053458652\ 4979940895818984500434631578670879026240249311116197429147208579019\ 5652086*c_1001_4^4 - 6425207352656643486739231236189225983842837658\ 8035143671307514120370024803752889797834556734650169509369/33367426\ 7116173691352672932624899704479094922502173157893354395131201246555\ 580987145736042895097826043*c_1001_4^3 - 3658008572732189131889759543053716437078395441267795366183015554294\ 4761610002064702385973363518524543076/33367426711617369135267293262\ 4899704479094922502173157893354395131201246555580987145736042895097\ 826043*c_1001_4^2 - 49926873007287942161202610486316259514436788114\ 921393086486980082256623090163820497629549189222506019851/133469706\ 8464694765410691730499598817916379690008692631573417580524804986222\ 323948582944171580391304172*c_1001_4 - 5912370877835963639466570257347956440447891033501225145269799126365\ 090835645150499746910080493166910583/667348534232347382705345865249\ 7994089581898450043463157867087902624024931111619742914720857901956\ 52086, c_1001_2 + 186478335028194311129033943505073668220234203766858855433150\ 41608453857721805967025518735448143950/3336742671161736913526729326\ 2489970447909492250217315789335439513120124655558098714573604289509\ 7826043*c_1001_4^32 + 429188046180283058193241169677269035926675867\ 0899822244742774786580045548073034759032823413338642/33367426711617\ 3691352672932624899704479094922502173157893354395131201246555580987\ 145736042895097826043*c_1001_4^31 - 3331838719073879043682295929747808145330361334356080516353315697986\ 13559692059332775853823125346397/3336742671161736913526729326248997\ 0447909492250217315789335439513120124655558098714573604289509782604\ 3*c_1001_4^30 + 639656631671300377309212210898834741061354568420782\ 575007467334695939030421794091176474534917626445/333674267116173691\ 3526729326248997044790949225021731578933543951312012465555809871457\ 36042895097826043*c_1001_4^29 + 24648322971329211396385821584803787\ 96645699593942231363087232692129317849072981362507000758936844629/3\ 3367426711617369135267293262489970447909492250217315789335439513120\ 1246555580987145736042895097826043*c_1001_4^28 - 8828638290478598559352453329342670648951286087589932177062053824666\ 316159464648837867561753281249283/333674267116173691352672932624899\ 7044790949225021731578933543951312012465555809871457360428950978260\ 43*c_1001_4^27 + 75283945176754913187280442037305338255428340561429\ 1555055806302224551928468770091217418235048685098/33367426711617369\ 1352672932624899704479094922502173157893354395131201246555580987145\ 736042895097826043*c_1001_4^26 + 4065872419641263778918390816785412\ 2323282021391674174544584302689903086473217571701173420858298822797\ /333674267116173691352672932624899704479094922502173157893354395131\ 201246555580987145736042895097826043*c_1001_4^25 - 5857149898086130495751348863508407351865382958346557344783539925189\ 1634942651412517067753505049391355/33367426711617369135267293262489\ 9704479094922502173157893354395131201246555580987145736042895097826\ 043*c_1001_4^24 - 2428381646181606691782645288435968236317530935481\ 70244327409061594539072694228872681236834909933218/3336742671161736\ 9135267293262489970447909492250217315789335439513120124655558098714\ 5736042895097826043*c_1001_4^23 + 629446290909021239459266281211060\ 8119442446042884966065001130741295639572633722238464177298666632893\ 2/33367426711617369135267293262489970447909492250217315789335439513\ 1201246555580987145736042895097826043*c_1001_4^22 - 9782430976708734384406236721965395099083189273171393832431181890859\ 4556274288254456528256959457465727/33367426711617369135267293262489\ 9704479094922502173157893354395131201246555580987145736042895097826\ 043*c_1001_4^21 + 5410983771430207778805335612054908654558223787470\ 73945176396800234554686748201696307971153721534947725/3336742671161\ 7369135267293262489970447909492250217315789335439513120124655558098\ 7145736042895097826043*c_1001_4^20 - 9357718530031256854540884462880182817915208639287584952881453998084\ 28290641824363711550088745663175775/3336742671161736913526729326248\ 9970447909492250217315789335439513120124655558098714573604289509782\ 6043*c_1001_4^19 + 338459285775082989519959276724568068458923489247\ 512190703551170976562695684192567861728463888851088416/333674267116\ 1736913526729326248997044790949225021731578933543951312012465555809\ 87145736042895097826043*c_1001_4^18 + 6823097904594309729786398095373190129596887091018856460263130262089\ 05931152700178335210851833615809740/3336742671161736913526729326248\ 9970447909492250217315789335439513120124655558098714573604289509782\ 6043*c_1001_4^17 + 876873507352259450287418761563088003143463545943\ 269900950199974845754861797407430128547943823951301214/333674267116\ 1736913526729326248997044790949225021731578933543951312012465555809\ 87145736042895097826043*c_1001_4^16 - 1285839105932382976411880168793387283301393483327336890291166977565\ 924411030532504215443146618481251960/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^15 - 90863308267774996052043895658582375059138241567\ 845678368819235065257965077052167596600900506484491935/333674267116\ 1736913526729326248997044790949225021731578933543951312012465555809\ 87145736042895097826043*c_1001_4^14 + 1123291091530644953487682002885122108169492185053339928507097130029\ 797738701184524855626099608898976548/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^13 + 16518794489171809632012616675133774062443811975\ 95551082612471663573881614371294584843280435545259263704/3336742671\ 1617369135267293262489970447909492250217315789335439513120124655558\ 0987145736042895097826043*c_1001_4^12 + 1977687250372048809896905116440583328989199870227830545648345179110\ 455225804345187523579290217742401034/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^11 + 17629922922700634264667730315362963843801649342\ 71542073230344350184992043966579851621610413301095966843/3336742671\ 1617369135267293262489970447909492250217315789335439513120124655558\ 0987145736042895097826043*c_1001_4^10 - 1544184604787012644405787220942764624807591428304413477970432429545\ 491819592816449433250470845769964342/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^9 - 297704935459669413586422226236793305531264070056\ 265762156105790283298448716041776535676081937195978148/333674267116\ 1736913526729326248997044790949225021731578933543951312012465555809\ 87145736042895097826043*c_1001_4^8 - 1650050639325173805046324940599872225990141760897161094305969987349\ 705608174167633029650528421682507539/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4^7 + 613499090357214834338053684672832568561518763174\ 2706035241069111873211800333163727363266550308569875445/33367426711\ 6173691352672932624899704479094922502173157893354395131201246555580\ 987145736042895097826043*c_1001_4^6 + 1006676517274282181823093625732125884584688832724846136595873642972\ 8360093264725278321898432147566845467/33367426711617369135267293262\ 4899704479094922502173157893354395131201246555580987145736042895097\ 826043*c_1001_4^5 + 12272466732050815928767112494920538017296989248\ 122181373457319044356037785204848948435863859977126383907/333674267\ 1161736913526729326248997044790949225021731578933543951312012465555\ 80987145736042895097826043*c_1001_4^4 + 1062609252687500349239995785809924929558536403692907107060377419234\ 0405752786548334867862782632877620805/33367426711617369135267293262\ 4899704479094922502173157893354395131201246555580987145736042895097\ 826043*c_1001_4^3 + 73964318458340775192432415489083555240050934006\ 44007020544113666668799623755133678676497250139184882354/3336742671\ 1617369135267293262489970447909492250217315789335439513120124655558\ 0987145736042895097826043*c_1001_4^2 + 2691889988679390749187156602528196811342896574930504196120910831420\ 927468441752490044843167915697715107/333674267116173691352672932624\ 8997044790949225021731578933543951312012465555809871457360428950978\ 26043*c_1001_4 + 69234296605705747454585468157102685831299339740653\ 8773465272281274546565537703219975668053611337072866/33367426711617\ 3691352672932624899704479094922502173157893354395131201246555580987\ 145736042895097826043, c_1001_4^33 - 18*c_1001_4^31 + 39*c_1001_4^30 + 125*c_1001_4^29 - 517*c_1001_4^28 + 175*c_1001_4^27 + 2248*c_1001_4^26 - 4026*c_1001_4^25 + 1065*c_1001_4^24 + 4593*c_1001_4^23 - 9903*c_1001_4^22 + 34577*c_1001_4^21 - 56768*c_1001_4^20 + 19062*c_1001_4^19 + 67173*c_1001_4^18 - 28251*c_1001_4^17 - 12524*c_1001_4^16 + 4129*c_1001_4^15 + 12434*c_1001_4^14 + 131609*c_1001_4^13 + 50999*c_1001_4^12 + 73352*c_1001_4^11 - 29508*c_1001_4^10 - 76828*c_1001_4^9 + 261*c_1001_4^8 + 284666*c_1001_4^7 + 459180*c_1001_4^6 + 559478*c_1001_4^5 + 491225*c_1001_4^4 + 323319*c_1001_4^3 + 140990*c_1001_4^2 + 43607*c_1001_4 + 6497 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.160 Total time: 5.370 seconds, Total memory usage: 32.09MB