Magma V2.19-8 Tue Aug 20 2013 23:50:33 on localhost [Seed = 2951333005] Type ? for help. Type -D to quit. Loading file "K12a425__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a425 geometric_solution 11.87709513 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.685724765840 0.673149580536 0 4 0 5 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.257350248646 0.729030645403 6 3 7 0 0132 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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 1.365956922496 1.211289961757 8 5 0 2 0132 1302 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.381782162522 0.728451159072 9 1 10 9 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.154594334909 0.603382515060 8 11 1 3 3120 0132 0132 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 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.937200712982 1.792403472634 2 6 8 6 0132 2310 3120 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.081608170398 0.889977268812 8 12 11 2 1302 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.608854326121 0.651033490382 3 7 6 5 0132 2031 3120 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.733052115279 1.672823034710 4 4 10 12 0132 1302 1302 0213 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 -1 0 1 1 0 0 -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.601530047271 1.555230354302 9 12 11 4 2031 3012 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.177692557427 0.971607831313 10 5 7 12 2103 0132 1023 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.554052409814 0.549212841883 10 7 11 9 1230 0132 1230 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.165765168366 1.854254829612 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_3'], 'c_1001_10' : d['c_0011_11'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_0101_12']), 'c_1001_4' : negation(d['c_0101_12']), 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_1001_12'], 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : negation(d['c_0101_2']), 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : negation(d['c_0101_12']), 'c_1010_10' : negation(d['c_0101_12']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : 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' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : negation(d['c_0110_11']), 'c_1100_7' : d['c_1001_12'], 'c_1100_6' : d['c_0011_2'], 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : d['c_1001_12'], 'c_1100_3' : d['c_1001_12'], 'c_1100_2' : d['c_1001_12'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_1001_12']), 'c_1100_10' : negation(d['c_0110_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_12'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_12']), 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0110_11'], 'c_1010_8' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_0']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0110_11'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_11'], 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : negation(d['c_0011_2']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_10'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2']})} 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_11, c_0011_2, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_2, c_0110_11, c_1001_0, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 6020425874448776060767761750825134713944310787142852567746052168669\ 2705839107143746207999604197440146974486431625/44700667249059064594\ 5971499278989270857765924695347514477360054580674108638923538647473\ 091105361035469677264896*c_1001_12^39 + 5412521730269478626963494696359990047147272243553267478993337470399\ 57607868578375764961931822797052026755224288609/4470066724905906459\ 4597149927898927085776592469534751447736005458067410863892353864747\ 3091105361035469677264896*c_1001_12^38 + 2924950519543082925150529272874975890678557993426983787359303342531\ 34218933036246905358308405221494177405185134371/5587583406132383074\ 3246437409873658857220740586918439309670006822584263579865442330934\ 136388170129433709658112*c_1001_12^37 + 1305605295467063797419678797136879985907362309115848695803733967353\ 0722564192692073563665500495115307885324066323755/44700667249059064\ 5945971499278989270857765924695347514477360054580674108638923538647\ 473091105361035469677264896*c_1001_12^36 + 2928586012052454225780795539737006534001238962266933643696736430029\ 3039458358247233277337936461783244309377153034635/44700667249059064\ 5945971499278989270857765924695347514477360054580674108638923538647\ 473091105361035469677264896*c_1001_12^35 + 9251817604857441466009598713861556071291835792929704615180110891383\ 0972371820778087449262316589241438619748434514835/44700667249059064\ 5945971499278989270857765924695347514477360054580674108638923538647\ 473091105361035469677264896*c_1001_12^34 + 5705745808922469681169881729482621198387174270262151830207271532253\ 1771502112081460036778846246153539767892385690695/22350333624529532\ 2972985749639494635428882962347673757238680027290337054319461769323\ 736545552680517734838632448*c_1001_12^33 + 1296326144850928100315697829413595088220320200970158495473375837079\ 26490776626522720563952157719422865933054214919013/4470066724905906\ 4594597149927898927085776592469534751447736005458067410863892353864\ 7473091105361035469677264896*c_1001_12^32 - 8349633438752275052738433396389221341701679719633690635061531178417\ 3090320479070378907175115480352188234932975743295/44700667249059064\ 5945971499278989270857765924695347514477360054580674108638923538647\ 473091105361035469677264896*c_1001_12^31 - 4137738112615341841246514255297087353181763833603716607829870237409\ 62311150452207217460398380654549492707973408103015/4470066724905906\ 4594597149927898927085776592469534751447736005458067410863892353864\ 7473091105361035469677264896*c_1001_12^30 - 4599976763023011774979587206367348710122845122765650434347540368831\ 66916999220241524851902659253633992073489258177149/4470066724905906\ 4594597149927898927085776592469534751447736005458067410863892353864\ 7473091105361035469677264896*c_1001_12^29 - 6824247980872017686830373782899443402011522180541747596279000594028\ 742582955274219355289239653661997517373307579229/349223962883273942\ 1452902338117103678576296286682402456854375426411516473741590145683\ 383524260633089606853632*c_1001_12^28 - 2135549067481251877141731853794091160772556461641378835381449310593\ 40394852047994858511589433813544509586828834994031/1117516681226476\ 6148649287481974731771444148117383687861934001364516852715973088466\ 1868272776340258867419316224*c_1001_12^27 - 3540709740179564606369837729766219424009177995019754088101349257300\ 0508586414324733842960943745932270738313765879007/22350333624529532\ 2972985749639494635428882962347673757238680027290337054319461769323\ 736545552680517734838632448*c_1001_12^26 + 5341199871274264660951883372385279066877474311621998441594266940667\ 92884401398386793179444383237199491628997749358927/1117516681226476\ 6148649287481974731771444148117383687861934001364516852715973088466\ 1868272776340258867419316224*c_1001_12^25 + 4471099967972539691631853136645790861961225177837157522108319382663\ 795505895818495047527735573125010452507235946645157/447006672490590\ 6459459714992789892708577659246953475144773600545806741086389235386\ 47473091105361035469677264896*c_1001_12^24 + 4320975364087858952173954402544678647531940192376811314979543506916\ 2928182062527894497280373969663591690264769878045/13968958515330957\ 6858116093524684147143051851467296098274175017056460658949663605827\ 33534097042532358427414528*c_1001_12^23 - 5925605977507845638043339313183017953953284099708220443642793311110\ 01214083548746055804176071778367008941590813243733/4470066724905906\ 4594597149927898927085776592469534751447736005458067410863892353864\ 7473091105361035469677264896*c_1001_12^22 - 1199412735887917786209265675743881574710404932541537759595481097491\ 823442713456186544546983925197991321136398223362493/447006672490590\ 6459459714992789892708577659246953475144773600545806741086389235386\ 47473091105361035469677264896*c_1001_12^21 - 4551420818863116579150511490478508770101425491586376349793438200780\ 962954042098820080204519086766636612110464095740657/447006672490590\ 6459459714992789892708577659246953475144773600545806741086389235386\ 47473091105361035469677264896*c_1001_12^20 - 1194671389000053393106293195556336983124164859040226854624935049857\ 374595507132426609296628036239787230266791780049821/111751668122647\ 6614864928748197473177144414811738368786193400136451685271597308846\ 61868272776340258867419316224*c_1001_12^19 - 1073967993306223800864384293260383532053644387893041068982760404041\ 346025105766484706011913303412944334784979404461959/447006672490590\ 6459459714992789892708577659246953475144773600545806741086389235386\ 47473091105361035469677264896*c_1001_12^18 + 2769101216597343127323883068145073771384409299766935831846294044651\ 56519464472635258930429137965136968394271119105965/2352666697318898\ 1365577447330473119518829785510281448130387371293719689928364396770\ 919636373966370287877750784*c_1001_12^17 + 7367822898180255055602431178893245621244439261017355454312629965262\ 526492582551256971522642511984269532895991755405135/447006672490590\ 6459459714992789892708577659246953475144773600545806741086389235386\ 47473091105361035469677264896*c_1001_12^16 + 1371881114002927736407685951620963702513087240594685928827460115296\ 90961799011141812240967479626214193807822977471079/2629451014650533\ 2114468911722293486521045054393843971439844709092980829919936678743\ 969005359138884439392780288*c_1001_12^15 + 1879349173750275201785293685283367092004319610505537111296879578187\ 1141217698035742564335503771820414435464917373391/13968958515330957\ 6858116093524684147143051851467296098274175017056460658949663605827\ 33534097042532358427414528*c_1001_12^14 - 2388151886696442952881535084772734347170694599800187425148685584316\ 732006255963493741995892580333706705589402927270985/447006672490590\ 6459459714992789892708577659246953475144773600545806741086389235386\ 47473091105361035469677264896*c_1001_12^13 - 3460071729957544877794729477629334194736000677261213862076941286716\ 098800596210947939464557376720498359917819903327225/447006672490590\ 6459459714992789892708577659246953475144773600545806741086389235386\ 47473091105361035469677264896*c_1001_12^12 + 3470940283463923956043745180451598278959279293834329397851519353524\ 34877538580244312021749066219644928110454084451501/1117516681226476\ 6148649287481974731771444148117383687861934001364516852715973088466\ 1868272776340258867419316224*c_1001_12^11 + 2799756878226217843985067452744351630153949824045945343646701431378\ 578960689047498492828431789360175414833312763403139/447006672490590\ 6459459714992789892708577659246953475144773600545806741086389235386\ 47473091105361035469677264896*c_1001_12^10 + 4317863557136461958947822832977011062774713913647256831744351998574\ 724400794062700872845173093888768456297814570969/558758340613238307\ 4324643740987365885722074058691843930967000682258426357986544233093\ 4136388170129433709658112*c_1001_12^9 - 1206624456239692003870099864358865910999729714915672797024423878335\ 9204694412236556574564309362120187478930745703103/13147255073252666\ 0572344558611467432605225271969219857199223545464904149599683393719\ 84502679569442219696390144*c_1001_12^8 - 4537994779423862041479973370048610001168138631916635385965723268571\ 9291567128828541388328909994299713848553150519865/55875834061323830\ 7432464374098736588572207405869184393096700068225842635798654423309\ 34136388170129433709658112*c_1001_12^7 - 2049450835708640634403852859828871278065207178410868697243527172416\ 43695382169715784383758680869489362510991155260021/4470066724905906\ 4594597149927898927085776592469534751447736005458067410863892353864\ 7473091105361035469677264896*c_1001_12^6 - 1184018667059197765622586636256613286636976354200326246459669086277\ 20324634554951759022611697584562271954891448971541/4470066724905906\ 4594597149927898927085776592469534751447736005458067410863892353864\ 7473091105361035469677264896*c_1001_12^5 - 1625864080881441976630548517258214279089823313827212967689135114522\ 8680070502675574871933263901265039141173904148933/22350333624529532\ 2972985749639494635428882962347673757238680027290337054319461769323\ 736545552680517734838632448*c_1001_12^4 + 5081255894723656457220942863281820900241349340452314128641992593070\ 2106003339519821899559533819760992139587201735627/44700667249059064\ 5945971499278989270857765924695347514477360054580674108638923538647\ 473091105361035469677264896*c_1001_12^3 + 3022239464260728099569058925177290459029907237319333979171464264418\ 404022766269432273743643088457239193776642622427/279379170306619153\ 7162321870493682942861037029345921965483500341129213178993272116546\ 7068194085064716854829056*c_1001_12^2 + 9489690008413886550970300439257946758489468416840022781793981438107\ 22264396258487407814247581431693750093600440821/5587583406132383074\ 3246437409873658857220740586918439309670006822584263579865442330934\ 136388170129433709658112*c_1001_12 + 5614520500500252103359345089343545734976163599617115341347362574885\ 112209520419731635174085873805419327523914921889/447006672490590645\ 9459714992789892708577659246953475144773600545806741086389235386474\ 73091105361035469677264896, c_0011_0 - 1, c_0011_10 + 53092577441035015370568558423032690612801216223269827306100\ 14286927788173368385064854005007/4398729642280243805641628685305600\ 22545991893271346672113769741800273801456261952082792679344*c_1001_\ 12^39 - 20646555298146554059983781170036992231957754147432925748348\ 7576775821972765892555984729228613/17594918569120975222566514741222\ 40090183967573085386688455078967201095205825047808331170717376*c_10\ 01_12^38 + 78538666373872212523845347548072049581559054966673506891\ 9614989243256198824815058770813711/10996824105700609514104071713264\ 0005636497973317836668028442435450068450364065488020698169836*c_100\ 1_12^37 - 132928357690548969727833994173886637763638060237364761932\ 8114244956227682160355226005226813485/43987296422802438056416286853\ 0560022545991893271346672113769741800273801456261952082792679344*c_\ 1001_12^36 - 711754260163528478049361618978325704963464600455617035\ 2762689587528479108402652890579575493207/17594918569120975222566514\ 7412224009018396757308538668845507896720109520582504780833117071737\ 6*c_1001_12^35 - 10613313525971085045545883951655144070449230383511\ 659286624335574477969534703174807729768130351/439872964228024380564\ 1628685305600225459918932713466721137697418002738014562619520827926\ 79344*c_1001_12^34 - 5263853235287359404938919523010094415235588238\ 4844066427171954222608460692003412465219375585859/17594918569120975\ 2225665147412224009018396757308538668845507896720109520582504780833\ 1170717376*c_1001_12^33 - 83505504094992437077921501748809388951532\ 674297488288508851190470061481284807758704249472220687/175949185691\ 2097522256651474122240090183967573085386688455078967201095205825047\ 808331170717376*c_1001_12^32 - 225774119106140994082383068306674961\ 9523900357838162834919186259533873312958471722363831577431/87974592\ 8456048761128325737061120045091983786542693344227539483600547602912\ 523904165585358688*c_1001_12^31 + 200697237872355070516382519727260\ 297488347064882759784095351183374969776420303263649662673134269/175\ 9491856912097522256651474122240090183967573085386688455078967201095\ 205825047808331170717376*c_1001_12^30 + 9192365903494609660833525722407187933155073075882516506048703858555\ 5018123930125466676073099037/87974592845604876112832573706112004509\ 1983786542693344227539483600547602912523904165585358688*c_1001_12^2\ 9 + 414490952948582384596925507017233233683829283101054312202316294\ 374041853534226009599535141728415/175949185691209752225665147412224\ 0090183967573085386688455078967201095205825047808331170717376*c_100\ 1_12^28 + 496600515730076564718516429441254127202703954620029633127\ 415680356918778372901379751397632242873/175949185691209752225665147\ 4122240090183967573085386688455078967201095205825047808331170717376\ *c_1001_12^27 + 270142553195567968953701724713841597277006108998290\ 127501195752735120997165550812487087344295715/175949185691209752225\ 6651474122240090183967573085386688455078967201095205825047808331170\ 717376*c_1001_12^26 - 684801839598574472848145559896549616238381858\ 673471142308379663706883673169508057012016436122181/175949185691209\ 7522256651474122240090183967573085386688455078967201095205825047808\ 331170717376*c_1001_12^25 - 251362254001186310536998182460517304803\ 1694324779063828928330953548027119450767530990525486852723/17594918\ 5691209752225665147412224009018396757308538668845507896720109520582\ 5047808331170717376*c_1001_12^24 - 5197186092204728584061441680769309862216022542931093727162669015689\ 42216853670630947018108859971/8797459284560487611283257370611200450\ 91983786542693344227539483600547602912523904165585358688*c_1001_12^\ 23 + 14020355800635788981008007958336111375172979941801388725158025\ 4838301098808111723113240658637669/87974592845604876112832573706112\ 0045091983786542693344227539483600547602912523904165585358688*c_100\ 1_12^22 + 186782716124449932842002059388422888928945737873699738045\ 388835906977996842205773862943903680923/175949185691209752225665147\ 4122240090183967573085386688455078967201095205825047808331170717376\ *c_1001_12^21 + 104359844447612570652625927915986748627145248350646\ 8151797042599432357082346691965997097658175805/87974592845604876112\ 8325737061120045091983786542693344227539483600547602912523904165585\ 358688*c_1001_12^20 + 277008022914484792723641398054436939152602408\ 3056920956472282158163766673444124671747141760419795/17594918569120\ 9752225665147412224009018396757308538668845507896720109520582504780\ 8331170717376*c_1001_12^19 + 13232395217753993120275618890780412327\ 93446805620336454626954805189700369073907926411641787457045/1759491\ 8569120975222566514741222400901839675730853866884550789672010952058\ 25047808331170717376*c_1001_12^18 - 5633455584282431204193998279625686912866548427364176335823655542482\ 8186909686562630866481677245/46302417287160461112017144055848423425\ 893883502247018117238920189502505416448626535030808352*c_1001_12^17 - 42423836217297705169009190299275164462088888425724038038206111413\ 11389152073657072971599377982329/1759491856912097522256651474122240\ 090183967573085386688455078967201095205825047808331170717376*c_1001\ _12^16 - 7348406370246902450153083884738565035255184734499160299069\ 47280363289475794098448833386476382375/8797459284560487611283257370\ 61120045091983786542693344227539483600547602912523904165585358688*c\ _1001_12^15 - 59653846728027061786808901005209476350393126731492096\ 0343463672108796854030429704095710600596509/17594918569120975222566\ 5147412224009018396757308538668845507896720109520582504780833117071\ 7376*c_1001_12^14 + 85699279689918492061867456312855210864798947611\ 6902500192297742800347726350114810153155241467657/17594918569120975\ 2225665147412224009018396757308538668845507896720109520582504780833\ 1170717376*c_1001_12^13 + 28469323936773416657873471962679685568821\ 9299754663535528546630059863551139245645248309972957131/21993648211\ 4012190282081434265280011272995946635673336056884870900136900728130\ 976041396339672*c_1001_12^12 - 333945737175223648674053177966886849\ 251835530164921458717408302061250743915539407280857188723955/175949\ 1856912097522256651474122240090183967573085386688455078967201095205\ 825047808331170717376*c_1001_12^11 - 1751320654258672361979560789113675636899349150014287805506775321703\ 978769142612197085041669246309/175949185691209752225665147412224009\ 0183967573085386688455078967201095205825047808331170717376*c_1001_1\ 2^10 - 639968405576655737964347890834600999958811390378665375837778\ 95620807164515262353787374292545253/8797459284560487611283257370611\ 20045091983786542693344227539483600547602912523904165585358688*c_10\ 01_12^9 + 114730465110140693764282205105151047569057763554572867730\ 145773298037113386144052540096395880181/879745928456048761128325737\ 061120045091983786542693344227539483600547602912523904165585358688*\ c_1001_12^8 + 42925524424885557960262586166540614213385544073075807\ 895286409112119264701780177796078523656643/439872964228024380564162\ 8685305600225459918932713466721137697418002738014562619520827926793\ 44*c_1001_12^7 + 75198702354193464872083182071256555428758656043424\ 79746223673714265479365056135025755092414303/1099682410570060951410\ 4071713264000563649797331783666802844243545006845036406548802069816\ 9836*c_1001_12^6 + 674306907082679339348894040678003613589918964751\ 67677455690463668836847769460794702878181363013/1759491856912097522\ 2566514741222400901839675730853866884550789672010952058250478083311\ 70717376*c_1001_12^5 + 68997353030708854631383877079433086622533897\ 80519946406683767171889224283139973125593307169231/4398729642280243\ 8056416286853056002254599189327134667211376974180027380145626195208\ 2792679344*c_1001_12^4 - 118646397115369121057508396035993668112221\ 59550853371787436530776675421674136513173463467662563/8797459284560\ 4876112832573706112004509198378654269334422753948360054760291252390\ 4165585358688*c_1001_12^3 - 312256674647989029009162056909184978148\ 13094262193959513927961530365605093092906386836131662409/1759491856\ 9120975222566514741222400901839675730853866884550789672010952058250\ 47808331170717376*c_1001_12^2 - 51397141297307096556331415772390571\ 36196482598405800284031216234979739996254751836198353514207/1759491\ 8569120975222566514741222400901839675730853866884550789672010952058\ 25047808331170717376*c_1001_12 - 2898569085261351067916506014103274\ 837997431311508876098172623923485799686043245139437847812149/175949\ 1856912097522256651474122240090183967573085386688455078967201095205\ 825047808331170717376, c_0011_11 - 70620758625018649453371715771105910721458327487750199504379\ 6833733748079668423980002664794429/14075934855296780178053211792977\ 920721471740584683093507640631737608761646600382466649365739008*c_1\ 001_12^39 - 1245162138671649782628389895795705592094711526256550426\ 453849570778071813478866078013871076861/140759348552967801780532117\ 9297792072147174058468309350764063173760876164660038246664936573900\ 8*c_1001_12^38 - 21670508360645258836926575223448264403609289621815\ 32806790788637975589538111185877854282187487/1759491856912097522256\ 6514741222400901839675730853866884550789672010952058250478083311707\ 17376*c_1001_12^37 - 2617239436276196246086034582419688812132297048\ 4139148533222084060214937298805916897802782166599/14075934855296780\ 1780532117929779207214717405846830935076406317376087616466003824666\ 49365739008*c_1001_12^36 - 1272320862970570410771416196138150666129\ 87795236074793142599192682492569423675931932337524114751/1407593485\ 5296780178053211792977920721471740584683093507640631737608761646600\ 382466649365739008*c_1001_12^35 - 130153368821340370718837453161826\ 570638040844808398043898171396662512876053945280638635442261391/140\ 7593485529678017805321179297792072147174058468309350764063173760876\ 1646600382466649365739008*c_1001_12^34 - 9962580276716365301917058566620326269809213924396107906827983778766\ 5821244177810177924871992063/70379674276483900890266058964889603607\ 35870292341546753820315868804380823300191233324682869504*c_1001_12^\ 33 + 99628946645905082453932974010820769416404763147585171271596438\ 861950339416841962915277965401439/140759348552967801780532117929779\ 20721471740584683093507640631737608761646600382466649365739008*c_10\ 01_12^32 + 59325376444120884238769934764137037719560188614084562853\ 3940088141658054116747324315112988578779/14075934855296780178053211\ 7929779207214717405846830935076406317376087616466003824666493657390\ 08*c_1001_12^31 + 4752314847382936802547143360587006636652324856235\ 60749514548260128419469204887029501548471779451/1407593485529678017\ 8053211792977920721471740584683093507640631737608761646600382466649\ 365739008*c_1001_12^30 + 120251363656188642388083104312737074303949\ 2269642852941731897066935932480570563603671171279302897/14075934855\ 2967801780532117929779207214717405846830935076406317376087616466003\ 82466649365739008*c_1001_12^29 + 1321151082884215312376941761313496\ 20024757553274350772507159486740265991467261309271149464343455/1759\ 4918569120975222566514741222400901839675730853866884550789672010952\ 05825047808331170717376*c_1001_12^28 + 5304580744436945731795015270119740116520381624857421741307232837711\ 8114949361448324046462583853/35189837138241950445133029482444801803\ 67935146170773376910157934402190411650095616662341434752*c_1001_12^\ 27 - 13118153481152436851882413772449879399060899235932075194049503\ 46977664873086133325887013851916745/7037967427648390089026605896488\ 960360735870292341546753820315868804380823300191233324682869504*c_1\ 001_12^26 - 1666364975735811958352732022200571010860419656758892818\ 187960818686126575867415114460624735123173/351898371382419504451330\ 2948244480180367935146170773376910157934402190411650095616662341434\ 752*c_1001_12^25 - 111118125268788572260028626504775523740327740893\ 5208812200238476963061482271194417457668961489921/14075934855296780\ 1780532117929779207214717405846830935076406317376087616466003824666\ 49365739008*c_1001_12^24 + 5582772293028428447792294143912648603507\ 2338203281577567244974999651890955481501833401240999691/87974592845\ 6048761128325737061120045091983786542693344227539483600547602912523\ 904165585358688*c_1001_12^23 + 149058908645185702062567010293594915\ 1223651790517487563457695151393077698172768469634398317497257/14075\ 9348552967801780532117929779207214717405846830935076406317376087616\ 46600382466649365739008*c_1001_12^22 + 7006012254956527013779555674208158934867842281279234611927927811120\ 984943594428664913803854869433/140759348552967801780532117929779207\ 21471740584683093507640631737608761646600382466649365739008*c_1001_\ 12^21 + 57063150466748107574225871937849596851789799016703286773510\ 55315510275063907968892278264724316149/1407593485529678017805321179\ 2977920721471740584683093507640631737608761646600382466649365739008\ *c_1001_12^20 + 338229344540090894338645854217170742098425975278760\ 066440466827042010404774468706707327485422663/351898371382419504451\ 3302948244480180367935146170773376910157934402190411650095616662341\ 434752*c_1001_12^19 - 750131235859055064746461667907296842923192766\ 2847602280330342176580356855610484877316676075472421/14075934855296\ 7801780532117929779207214717405846830935076406317376087616466003824\ 66649365739008*c_1001_12^18 - 5796125476883137288530165733902180471\ 87627848959217110160666244766584433899169557337958201414881/7408386\ 7659456737779227430489357477481430213603595228987582272303204008666\ 3178024560492933632*c_1001_12^17 - 2089559001697045844504536061267108461664649395513063760900540286395\ 683147655969475561002532465891/140759348552967801780532117929779207\ 21471740584683093507640631737608761646600382466649365739008*c_1001_\ 12^16 - 86349438780695722086247368717867631387535463522200595212140\ 4629935358242921292219425180877710131/14075934855296780178053211792\ 977920721471740584683093507640631737608761646600382466649365739008*\ c_1001_12^15 + 6237897063530149827894189733434138125766854092917947\ 84004586709494201327538611891476849991415543/1759491856912097522256\ 6514741222400901839675730853866884550789672010952058250478083311707\ 17376*c_1001_12^14 + 5929422362024296380023051053759215787998896056\ 037682293127871703477829492099822184639901032111269/140759348552967\ 8017805321179297792072147174058468309350764063173760876164660038246\ 6649365739008*c_1001_12^13 - 33280951809127320667618041974659766219\ 47658076625538623126262701885318975446006298680433357055219/1407593\ 4855296780178053211792977920721471740584683093507640631737608761646\ 600382466649365739008*c_1001_12^12 - 1032427062900839971812267770878920514364747933900711028061340466413\ 407715928119196854111076618807/351898371382419504451330294824448018\ 0367935146170773376910157934402190411650095616662341434752*c_1001_1\ 2^11 - 215140694306032883216339147604611421963517196593172305925168\ 122046373667337942394637007708080391/140759348552967801780532117929\ 77920721471740584683093507640631737608761646600382466649365739008*c\ _1001_12^10 - 13385594611553584273402187498768609990592039401415835\ 627856235869669656289704571593179778403415/175949185691209752225665\ 1474122240090183967573085386688455078967201095205825047808331170717\ 376*c_1001_12^9 + 7621826056234563046305732082093501455967330009491\ 01878818955781537325342980366337486328003584035/7037967427648390089\ 0266058964889603607358702923415467538203158688043808233001912333246\ 82869504*c_1001_12^8 + 66577416605496486168016269658793124823230248\ 014936958245269584277985533408983363475789576964217/175949185691209\ 7522256651474122240090183967573085386688455078967201095205825047808\ 331170717376*c_1001_12^7 - 2630951965199964149732217637960992908387\ 00820624827657736885005019754415906882576347365122922119/1407593485\ 5296780178053211792977920721471740584683093507640631737608761646600\ 382466649365739008*c_1001_12^6 - 4942223956007033801831211190590008\ 5236597403308876860780150940790080801758869273755870714531775/14075\ 9348552967801780532117929779207214717405846830935076406317376087616\ 46600382466649365739008*c_1001_12^5 - 4395938671200813013694384328438063118689819725537337668613434371844\ 5558011616320869329065895623/70379674276483900890266058964889603607\ 35870292341546753820315868804380823300191233324682869504*c_1001_12^\ 4 - 614896633261708290615764523850724938693672284519919812615493384\ 77319568541716491583089634033143/1407593485529678017805321179297792\ 0721471740584683093507640631737608761646600382466649365739008*c_100\ 1_12^3 + 3169967065142665655204738209030307227010605599405337247665\ 337517922891103592460751252336936633/175949185691209752225665147412\ 2240090183967573085386688455078967201095205825047808331170717376*c_\ 1001_12^2 - 3769449412017998492869340334121722648948517088387557062\ 6736304745137777471141361850496817243/21993648211401219028208143426\ 5280011272995946635673336056884870900136900728130976041396339672*c_\ 1001_12 + 176867671919748432130851827835587314597995411836625614984\ 42556937744728072829224207496002603715/1407593485529678017805321179\ 2977920721471740584683093507640631737608761646600382466649365739008\ , c_0011_2 - 117674693884640511876729958646453790216105418386739656640291\ 231910437879433665175066593546241/703796742764839008902660589648896\ 0360735870292341546753820315868804380823300191233324682869504*c_100\ 1_12^39 - 247927359388556156706205736212864613626469749555400877269\ 666043943106436625127930633117464125/703796742764839008902660589648\ 8960360735870292341546753820315868804380823300191233324682869504*c_\ 1001_12^38 - 374791124070725257180099399709262183389174882213439962\ 003186090970564920977572444465447363883/879745928456048761128325737\ 061120045091983786542693344227539483600547602912523904165585358688*\ c_1001_12^37 - 5464571660638167829075118701360879564300037755594107\ 073593082862546331158242608486327474276211/703796742764839008902660\ 5896488960360735870292341546753820315868804380823300191233324682869\ 504*c_1001_12^36 - 236971903247221259277717744701654205072636421704\ 31289600564046158252268030453667023786993660351/7037967427648390089\ 0266058964889603607358702923415467538203158688043808233001912333246\ 82869504*c_1001_12^35 - 3141757244797786104140801417814482117920708\ 9477815478779033953885511436347197415891222158482939/70379674276483\ 9008902660589648896036073587029234154675382031586880438082330019123\ 3324682869504*c_1001_12^34 - 24350811043788283888020651194193316328\ 033151819667488780674963853240155720026863338396724375957/351898371\ 3824195044513302948244480180367935146170773376910157934402190411650\ 095616662341434752*c_1001_12^33 - 891322066628953611674403397753808\ 6007363916088301459177169221927568748814858290661667424088457/70379\ 6742764839008902660589648896036073587029234154675382031586880438082\ 3300191233324682869504*c_1001_12^32 + 8926534726204220961167026927510997309654448183491451563681403349659\ 6099210475394737035535688351/70379674276483900890266058964889603607\ 35870292341546753820315868804380823300191233324682869504*c_1001_12^\ 31 + 11032091414192591954956292722794969739701025438756867659402925\ 3150587555523516047992153790619411/70379674276483900890266058964889\ 60360735870292341546753820315868804380823300191233324682869504*c_10\ 01_12^30 + 27271399311203956889822581405662832052396537370458832929\ 6757643913583738510999094048168307869677/70379674276483900890266058\ 9648896036073587029234154675382031586880438082330019123332468286950\ 4*c_1001_12^29 + 76743955899321385360867089772835335740924082266585\ 774280045656914932642656740403755231456922983/175949185691209752225\ 6651474122240090183967573085386688455078967201095205825047808331170\ 717376*c_1001_12^28 + 558811673848268846755242271973584512945584720\ 0467241413432338902221064644197153077996220216721/21993648211401219\ 0282081434265280011272995946635673336056884870900136900728130976041\ 396339672*c_1001_12^27 - 153177664812086873646326018424559582278172\ 244492316816567433732923187949689356719759544359139891/351898371382\ 4195044513302948244480180367935146170773376910157934402190411650095\ 616662341434752*c_1001_12^26 - 762414428638208511601672186954613644\ 37824017516605767103607737305228618503455882091897786579629/4398729\ 6422802438056416286853056002254599189327134667211376974180027380145\ 6261952082792679344*c_1001_12^25 - 7321405465178705033976452697726093102641762425925370768891030811405\ 41984555964245038044619955161/7037967427648390089026605896488960360\ 735870292341546753820315868804380823300191233324682869504*c_1001_12\ ^24 - 5802382047748445917291233597115255646019459035165942978144700\ 4136787128757460291879469496318431/87974592845604876112832573706112\ 0045091983786542693344227539483600547602912523904165585358688*c_100\ 1_12^23 - 122822699725390304780309208343397239700721575853034721992\ 316237415906578061066630738564166543739/703796742764839008902660589\ 6488960360735870292341546753820315868804380823300191233324682869504\ *c_1001_12^22 + 138612076704181596292671657578395607352789316119186\ 0030244285363949067030840116183669307857258897/70379674276483900890\ 2660589648896036073587029234154675382031586880438082330019123332468\ 2869504*c_1001_12^21 + 15411076504100940469763527272433239967623696\ 78061232582566748358036373906376245356493564012609409/7037967427648\ 3900890266058964889603607358702923415467538203158688043808233001912\ 33324682869504*c_1001_12^20 + 4183288444921847967751000702168413499\ 825596198765711369682939834667561076727882331789794100855/274920602\ 6425152378526017928316000140912449332945916700711060886251711259101\ 6372005174542459*c_1001_12^19 - 42199703065925649115677963619029644\ 0293779914668904077991782637169591802623404642072745760323821/70379\ 6742764839008902660589648896036073587029234154675382031586880438082\ 3300191233324682869504*c_1001_12^18 - 1025345333999527541787367984118969502140384964130980273014343032684\ 96440783393349376714031947549/3704193382972836888961371524467873874\ 07151068017976144937911361516020043331589012280246466816*c_1001_12^\ 17 - 14471570692685052939225740545510769568187452367361798285131613\ 04946117903915133535278151870847979/7037967427648390089026605896488\ 960360735870292341546753820315868804380823300191233324682869504*c_1\ 001_12^16 - 1433111629496977086917672759968587870045961152130847901\ 996547409262336179758710247687259473117927/703796742764839008902660\ 5896488960360735870292341546753820315868804380823300191233324682869\ 504*c_1001_12^15 + 260003632363311379210973424754146046836282737700\ 97258480216432404166320546545359175244085552387/1759491856912097522\ 2566514741222400901839675730853866884550789672010952058250478083311\ 70717376*c_1001_12^14 + 1279356219822104920533348331818944772698269\ 620686705167414561351466650257826563912651382685167925/703796742764\ 8390089026605896488960360735870292341546753820315868804380823300191\ 233324682869504*c_1001_12^13 + 705603087148748666292144582121753007\ 39256736764389573404372191552171562067239525178573094539969/7037967\ 4276483900890266058964889603607358702923415467538203158688043808233\ 00191233324682869504*c_1001_12^12 - 1134787017657760716172276093613870185912911020897797922983713127052\ 179374384666635869508308403/549841205285030475705203585663200028182\ 48986658918334014221217725034225182032744010349084918*c_1001_12^11 - 1083369430701929291663086834043958951073762992895542948658343381968\ 73283755105777063063559270383/7037967427648390089026605896488960360\ 735870292341546753820315868804380823300191233324682869504*c_1001_12\ ^10 - 2953535035171091635973281250596560700652555556450182676365285\ 2105767209466886182990915987308127/43987296422802438056416286853056\ 0022545991893271346672113769741800273801456261952082792679344*c_100\ 1_12^9 + 3282617010121734971744899574544532531929279065763113296335\ 8756260191776554934740702684093758971/35189837138241950445133029482\ 44480180367935146170773376910157934402190411650095616662341434752*c\ _1001_12^8 + 315264520526758662089319079991489329893519252788232478\ 55341391312848997857963979813826396579079/8797459284560487611283257\ 3706112004509198378654269334422753948360054760291252390416558535868\ 8*c_1001_12^7 + 765868989855591873682117423487892395256715453421724\ 93077023052613780926504240240284193668531069/7037967427648390089026\ 6058964889603607358702923415467538203158688043808233001912333246828\ 69504*c_1001_12^6 + 79331596884452910260110526932434265187387218711\ 068949213888948646345783475727793678510874419857/703796742764839008\ 9026605896488960360735870292341546753820315868804380823300191233324\ 682869504*c_1001_12^5 - 2546030656864525059137309290183171244820258\ 682296874219977069669929983334224553915917980865115/351898371382419\ 5044513302948244480180367935146170773376910157934402190411650095616\ 662341434752*c_1001_12^4 - 3073889722841560734121191381995880594187\ 7751082558200212906767181339341877918476677120024965787/70379674276\ 4839008902660589648896036073587029234154675382031586880438082330019\ 1233324682869504*c_1001_12^3 - 406446740322708538466877652668700585\ 6152744280403527459499604023390905360210163096365257225069/17594918\ 5691209752225665147412224009018396757308538668845507896720109520582\ 5047808331170717376*c_1001_12^2 - 160491074129980292582757473243334\ 2268491102154660175240941216570177735847151740732424901864593/17594\ 9185691209752225665147412224009018396757308538668845507896720109520\ 5825047808331170717376*c_1001_12 - 7771094011724379010860704358359070185411846286307204507019569037493\ 87283333900796320612022653/7037967427648390089026605896488960360735\ 870292341546753820315868804380823300191233324682869504, c_0011_3 + 341450483615161100204070168083244300088826228079298176353129\ 31025438349375484784861064497719/3518983713824195044513302948244480\ 180367935146170773376910157934402190411650095616662341434752*c_1001\ _12^39 + 8750166039679778723722010925199372760338386761518917167563\ 5698079290288453278957111411953203/35189837138241950445133029482444\ 80180367935146170773376910157934402190411650095616662341434752*c_10\ 01_12^38 + 10899407889760400196606070266140631313873526791843024387\ 0373522790677662088382458432995765217/43987296422802438056416286853\ 0560022545991893271346672113769741800273801456261952082792679344*c_\ 1001_12^37 + 192180671755664197296356776669004502726882740236287910\ 3734037385289328226732747999338917976789/35189837138241950445133029\ 4824448018036793514617077337691015793440219041165009561666234143475\ 2*c_1001_12^36 + 68445698975328870706026495867220434311734983578163\ 73772947652891631612305423452780358850303281/3518983713824195044513\ 3029482444801803679351461707733769101579344021904116500956166623414\ 34752*c_1001_12^35 + 1098547014857366416535147187768404935124825844\ 3519923428403831918482624614349475093795363713069/35189837138241950\ 4451330294824448018036793514617077337691015793440219041165009561666\ 2341434752*c_1001_12^34 + 64167714064864743008247979090530532385897\ 56873248522766846920589518463348153636840003138256615/1759491856912\ 0975222566514741222400901839675730853866884550789672010952058250478\ 08331170717376*c_1001_12^33 + 2782290805539577494164403722539630201\ 519497947323125863765068157632126616657864266593225273623/351898371\ 3824195044513302948244480180367935146170773376910157934402190411650\ 095616662341434752*c_1001_12^32 - 322369863810650337547053819561303\ 34444999619467101393682041965317535321020825128394716351244537/3518\ 9837138241950445133029482444801803679351461707733769101579344021904\ 11650095616662341434752*c_1001_12^31 - 3862127995115062294140314168193886410569345022058794361875516138545\ 2172966349710823470818773549/35189837138241950445133029482444801803\ 67935146170773376910157934402190411650095616662341434752*c_1001_12^\ 30 - 64057626655378681549803657347836080953015148360971323126463476\ 975519099722638289571569014822811/351898371382419504451330294824448\ 0180367935146170773376910157934402190411650095616662341434752*c_100\ 1_12^29 - 252594104107799678598528895493565663430392913460158772223\ 56233070884087399076419510458482193091/8797459284560487611283257370\ 61120045091983786542693344227539483600547602912523904165585358688*c\ _1001_12^28 - 59496263236807290504831814203666120912233185726238801\ 49625458432656983874711313654107601656927/4398729642280243805641628\ 6853056002254599189327134667211376974180027380145626195208279267934\ 4*c_1001_12^27 + 57830746600437897938985611433052050248447328793336\ 713886715010886889831403633440211516193546625/175949185691209752225\ 6651474122240090183967573085386688455078967201095205825047808331170\ 717376*c_1001_12^26 + 494567188735002159966669353070367286054323486\ 25290916483388500829829663210131431738504379978933/4398729642280243\ 8056416286853056002254599189327134667211376974180027380145626195208\ 2792679344*c_1001_12^25 + 23844732165423302526499212861736049664902\ 3484212943960567144005833650512327947021663141426835239/35189837138\ 2419504451330294824448018036793514617077337691015793440219041165009\ 5616662341434752*c_1001_12^24 - 10117766050317643837094668284558823\ 518448548178233741014688842893454230477526638177747542998157/439872\ 9642280243805641628685305600225459918932713466721137697418002738014\ 56261952082792679344*c_1001_12^23 + 3955089110751985743952599241354910875009471990691188978097180513049\ 5255179313499521122669389149/35189837138241950445133029482444801803\ 67935146170773376910157934402190411650095616662341434752*c_1001_12^\ 22 - 24090098179241724820888300579169792981882026333236187558448019\ 5039905806070009154137109856609935/35189837138241950445133029482444\ 80180367935146170773376910157934402190411650095616662341434752*c_10\ 01_12^21 - 56729683985795961524178452490408462809242054112511310242\ 9491879945898440115159778211274289385959/35189837138241950445133029\ 4824448018036793514617077337691015793440219041165009561666234143475\ 2*c_1001_12^20 - 32510419214321878713372853015545911826474355666909\ 000898566806362654687565842627757787291823229/439872964228024380564\ 1628685305600225459918932713466721137697418002738014562619520827926\ 79344*c_1001_12^19 + 3253991334728664102012405103322381663393635087\ 60663313312443865901689105750860062934267765380563/3518983713824195\ 0445133029482444801803679351461707733769101579344021904116500956166\ 62341434752*c_1001_12^18 + 3371005824902496627344426351062774451109\ 0596930023355013978110423458347756088740581684585037227/18520966914\ 8641844448068576223393693703575534008988072468955680758010021665794\ 506140123233408*c_1001_12^17 + 256732070169185752646883584092227449\ 197296064984767460276780740852743079577201525891532410718421/351898\ 3713824195044513302948244480180367935146170773376910157934402190411\ 650095616662341434752*c_1001_12^16 + 9754622706277102998829369934171178857481884333824708049755871203076\ 5682849488880238604454485585/35189837138241950445133029482444801803\ 67935146170773376910157934402190411650095616662341434752*c_1001_12^\ 15 + 30380483725123749574388984732787612590453597967336313080732272\ 501454167890203280930575138899097/879745928456048761128325737061120\ 045091983786542693344227539483600547602912523904165585358688*c_1001\ _12^14 - 2924167823281045241516956842340572347786236200735606908569\ 07582914152530490680934062893687384827/3518983713824195044513302948\ 244480180367935146170773376910157934402190411650095616662341434752*\ c_1001_12^13 - 5565878340817868541846616253972390183987754680161549\ 2226674357909020394886472735325871737272663/35189837138241950445133\ 0294824448018036793514617077337691015793440219041165009561666234143\ 4752*c_1001_12^12 + 37754273458911324307766294289026608355922021356\ 304700727181314881529276616175728560585158807913/439872964228024380\ 5641628685305600225459918932713466721137697418002738014562619520827\ 92679344*c_1001_12^11 - 3555753971574338194792341249475724085574292\ 0989553266414187162845864160686246993365251517833071/35189837138241\ 9504451330294824448018036793514617077337691015793440219041165009561\ 6662341434752*c_1001_12^10 - 21140930797180628875390851063893451121\ 07577159553221868499023409664935196601702584768672917383/5498412052\ 8503047570520358566320002818248986658918334014221217725034225182032\ 744010349084918*c_1001_12^9 + 6383382129853043291344028127559806019\ 3157471004004374622805528687051917289278126636083752200827/17594918\ 5691209752225665147412224009018396757308538668845507896720109520582\ 5047808331170717376*c_1001_12^8 + 429138548086237533997752184262814\ 8985833895643360521357486135246779648257993603370408210499251/43987\ 2964228024380564162868530560022545991893271346672113769741800273801\ 456261952082792679344*c_1001_12^7 - 6229947986236977830960399407053596249682046612293006959734867744002\ 9997144126120646124170633147/35189837138241950445133029482444801803\ 67935146170773376910157934402190411650095616662341434752*c_1001_12^\ 6 - 237627660142100698399718520446826196636869545981477465468887617\ 71692666738328894846980240383487/3518983713824195044513302948244480\ 180367935146170773376910157934402190411650095616662341434752*c_1001\ _12^5 + 61995242604827424475222471319950608487461775679578590708875\ 67651846219321210564923776147167021/1759491856912097522256651474122\ 240090183967573085386688455078967201095205825047808331170717376*c_1\ 001_12^4 + 33227308659643510262824798121505654599981486887093521451\ 45406989511240346572672859026055000221/3518983713824195044513302948\ 244480180367935146170773376910157934402190411650095616662341434752*\ c_1001_12^3 + 10991441487376168165156278435631159092136552333276160\ 59263673682851362185050444456657012871225/8797459284560487611283257\ 3706112004509198378654269334422753948360054760291252390416558535868\ 8*c_1001_12^2 + 124726823717399663144685765861293229044256291621407\ 46064593170728907156383886587745214407985/8797459284560487611283257\ 3706112004509198378654269334422753948360054760291252390416558535868\ 8*c_1001_12 + 30996667272993627862308489448094778231513141839639789\ 69225972728449396850323486201089662550163/3518983713824195044513302\ 9482444801803679351461707733769101579344021904116500956166623414347\ 52, c_0101_0 + 352966679173242576442665741140246543378381550289482774430451\ 527332922176138849564940306989649/140759348552967801780532117929779\ 20721471740584683093507640631737608761646600382466649365739008*c_10\ 01_12^39 + 51486400280454306475405774716008808870150481581769455490\ 9766560437694610322540830655674634529/14075934855296780178053211792\ 977920721471740584683093507640631737608761646600382466649365739008*\ c_1001_12^38 + 1087349742013043013212512112863335268075502365167967\ 515036516548627825318327662495117272796323/175949185691209752225665\ 1474122240090183967573085386688455078967201095205825047808331170717\ 376*c_1001_12^37 + 109635743273897210671186666787580215239494066392\ 06508112373001936820666704754854346338373096451/1407593485529678017\ 8053211792977920721471740584683093507640631737608761646600382466649\ 365739008*c_1001_12^36 + 652891387419792620670502579134254570486645\ 14496652268694178333989708585049922870121684266645387/1407593485529\ 6780178053211792977920721471740584683093507640631737608761646600382\ 466649365739008*c_1001_12^35 + 570208677529021905296754799488445379\ 83677463208187514653167849768822465777302864001358150574251/1407593\ 4855296780178053211792977920721471740584683093507640631737608761646\ 600382466649365739008*c_1001_12^34 + 6201482029198731748830840453984034631910279037218278652534233171515\ 4345596011412094555960901875/70379674276483900890266058964889603607\ 35870292341546753820315868804380823300191233324682869504*c_1001_12^\ 33 - 17426764122566464510013733180046832448686995703563339912796886\ 348588349916367742990546808371787/140759348552967801780532117929779\ 20721471740584683093507640631737608761646600382466649365739008*c_10\ 01_12^32 - 20031385969778285836645163748464237505236724983078615887\ 8809784605483671484480789266946432504839/14075934855296780178053211\ 7929779207214717405846830935076406317376087616466003824666493657390\ 08*c_1001_12^31 - 1501256389590063844025915841488597977528755695305\ 94392902791931532070203254710023313846014521687/1407593485529678017\ 8053211792977920721471740584683093507640631737608761646600382466649\ 365739008*c_1001_12^30 - 743650652449385483969441995773880235900283\ 539995220781775845003685012581740263986287221733683445/140759348552\ 9678017805321179297792072147174058468309350764063173760876164660038\ 2466649365739008*c_1001_12^29 - 75054455936352171058614148842137355\ 705933461635463650913639504372091750509394171423476787330721/175949\ 1856912097522256651474122240090183967573085386688455078967201095205\ 825047808331170717376*c_1001_12^28 - 9678731068244798510727338129583347963312948596802935035192061173740\ 3061495993465726263806451525/35189837138241950445133029482444801803\ 67935146170773376910157934402190411650095616662341434752*c_1001_12^\ 27 + 40937945279527810402061637826205461138993037717650224206173397\ 8022764526660823791338565189212757/70379674276483900890266058964889\ 60360735870292341546753820315868804380823300191233324682869504*c_10\ 01_12^26 + 67929000884274398213234577021684588409296850706545722578\ 3825878173649746473537310461703495985965/35189837138241950445133029\ 4824448018036793514617077337691015793440219041165009561666234143475\ 2*c_1001_12^25 + 39253465242362238235484914640816477188113593818366\ 8234303493973694616873224432364750688869742805/14075934855296780178\ 0532117929779207214717405846830935076406317376087616466003824666493\ 65739008*c_1001_12^24 + 1246556290269334387797850447188588864454242\ 88892595440246422790573909921100309793543663116027095/8797459284560\ 4876112832573706112004509198378654269334422753948360054760291252390\ 4165585358688*c_1001_12^23 + 83172884034328262926495097200278683006\ 3017394246722631756010612251236466862317263223812444248499/14075934\ 8552967801780532117929779207214717405846830935076406317376087616466\ 00382466649365739008*c_1001_12^22 - 3633952509027538227652354422799189389493504897344133512704973656730\ 942099524515540967303352268333/140759348552967801780532117929779207\ 21471740584683093507640631737608761646600382466649365739008*c_1001_\ 12^21 - 25180314622377728348866350986281787135917830731618501795897\ 27571504430368916420681491622901222281/1407593485529678017805321179\ 2977920721471740584683093507640631737608761646600382466649365739008\ *c_1001_12^20 - 543425786847703947380943816179019021536462892874473\ 616565528958985177062702476969429790693188127/351898371382419504451\ 3302948244480180367935146170773376910157934402190411650095616662341\ 434752*c_1001_12^19 + 926669689057108925671150041188440310182533400\ 625620782792977573628454439092998741466433072949449/140759348552967\ 8017805321179297792072147174058468309350764063173760876164660038246\ 6649365739008*c_1001_12^18 + 15776037467299588420581064401685786188\ 3604247894768779835979793214086136279942203632979038784549/74083867\ 6594567377792274304893574774814302136035952289875822723032040086663\ 178024560492933632*c_1001_12^17 + 183639722173733542647169799509786\ 3643700602802981910571061481978189481455155500385391404850938207/14\ 0759348552967801780532117929779207214717405846830935076406317376087\ 61646600382466649365739008*c_1001_12^16 + 4983592389804431420562495642103843725647126747375322876079996909520\ 350594747369621653627328752639/140759348552967801780532117929779207\ 21471740584683093507640631737608761646600382466649365739008*c_1001_\ 12^15 - 44913456502711505068855903211316017946970221990553964523585\ 648072618317151509617171998419319593/175949185691209752225665147412\ 2240090183967573085386688455078967201095205825047808331170717376*c_\ 1001_12^14 - 194608271857263981362413753873697269657174440303794554\ 5649234597626414541417560686366484868737513/14075934855296780178053\ 2117929779207214717405846830935076406317376087616466003824666493657\ 39008*c_1001_12^13 + 1100145164167814530180052966911340481221210724\ 478191351899785842356839686391222074692997281057887/140759348552967\ 8017805321179297792072147174058468309350764063173760876164660038246\ 6649365739008*c_1001_12^12 - 25942802093560215178964943494933956916\ 5684785287299422624765187367416179324265576091576170620609/35189837\ 1382419504451330294824448018036793514617077337691015793440219041165\ 0095616662341434752*c_1001_12^11 - 4875066172782566309842135000128730960878032960973189007199501933343\ 92133878105957109472488044333/1407593485529678017805321179297792072\ 1471740584683093507640631737608761646600382466649365739008*c_1001_1\ 2^10 + 251436246293981156988689955537678138154240973121201939072988\ 418723401608262830428830611542092119/175949185691209752225665147412\ 2240090183967573085386688455078967201095205825047808331170717376*c_\ 1001_12^9 - 3447101153950231588122396747862155698467097688196722835\ 2580886054506654268560263117826649899423/70379674276483900890266058\ 9648896036073587029234154675382031586880438082330019123332468286950\ 4*c_1001_12^8 - 530185386259882534382300306598217301837306075036760\ 32547683897926694306404023816933447016666373/1759491856912097522256\ 6514741222400901839675730853866884550789672010952058250478083311707\ 17376*c_1001_12^7 - 20676302489641081356149838001646067093939951553\ 1975875663942786268291715834303619770259874370109/14075934855296780\ 1780532117929779207214717405846830935076406317376087616466003824666\ 49365739008*c_1001_12^6 - 30216413435772262839438767568246968218233\ 8378209459173838025836337992732367112380427416975707509/14075934855\ 2967801780532117929779207214717405846830935076406317376087616466003\ 82466649365739008*c_1001_12^5 - 18957370904515550967642805832154094\ 464011987086007473585331932830177585672561077500428238625469/703796\ 7427648390089026605896488960360735870292341546753820315868804380823\ 300191233324682869504*c_1001_12^4 + 8710601827689105597118698141280596460739823375171541822896736320576\ 6171515522407401536845453203/14075934855296780178053211792977920721\ 471740584683093507640631737608761646600382466649365739008*c_1001_12\ ^3 + 47045381124406648343510906924745061096433855898758442606852429\ 43736622677869954154630003674189/1759491856912097522256651474122240\ 090183967573085386688455078967201095205825047808331170717376*c_1001\ _12^2 + 12817294901530336963016621063026448329572396649104083278278\ 86668377278737527513699997718720675/8797459284560487611283257370611\ 20045091983786542693344227539483600547602912523904165585358688*c_10\ 01_12 + 17982960370117458126808313652900235848593384028124710381094\ 01954303370893518174698872816582817/1407593485529678017805321179297\ 7920721471740584683093507640631737608761646600382466649365739008, c_0101_1 + 212288482556359040166846273038970501272391372831199215726137\ 235833564554734716499760623494245/351898371382419504451330294824448\ 0180367935146170773376910157934402190411650095616662341434752*c_100\ 1_12^39 + 507192963742184330107903156719212606684364709010620382287\ 302970733052736342888820365858756035/351898371382419504451330294824\ 4480180367935146170773376910157934402190411650095616662341434752*c_\ 1001_12^38 + 676935475238185706488456070007039312632297005027924444\ 932617856450415013123174213967989423307/439872964228024380564162868\ 530560022545991893271346672113769741800273801456261952082792679344*\ c_1001_12^37 + 1109306643805046926386701944492324090259639675248111\ 2856815403797884168994588077870387675634287/35189837138241950445133\ 0294824448018036793514617077337691015793440219041165009561666234143\ 4752*c_1001_12^36 + 42499099107359510612693722203492979065139257099\ 730278202214596488825961325551673354033104881153/351898371382419504\ 4513302948244480180367935146170773376910157934402190411650095616662\ 341434752*c_1001_12^35 + 624223882298732331224767258707206802760121\ 33612918864625783433631915399753457761730491991854631/3518983713824\ 1950445133029482444801803679351461707733769101579344021904116500956\ 16662341434752*c_1001_12^34 + 1006528282417807233917492598013249897\ 8901396686327799104530217914287993901064014894071473667167/43987296\ 4228024380564162868530560022545991893271346672113769741800273801456\ 261952082792679344*c_1001_12^33 + 639589262429724272468906977435962\ 9314376078261224905099411602570431723816473075956742041791443/35189\ 8371382419504451330294824448018036793514617077337691015793440219041\ 1650095616662341434752*c_1001_12^32 - 1958189336635148979930066540728281480701859409457965193778245706949\ 82578606560275572769979445447/3518983713824195044513302948244480180\ 367935146170773376910157934402190411650095616662341434752*c_1001_12\ ^31 - 2388964087683156339154805449776695186430210323422022698862010\ 30757693748087144063517377208104945/3518983713824195044513302948244\ 480180367935146170773376910157934402190411650095616662341434752*c_1\ 001_12^30 - 4199556557894087442735819342028559142192844225759524105\ 84926002231559229601482512205864241674541/3518983713824195044513302\ 9482444801803679351461707733769101579344021904116500956166623414347\ 52*c_1001_12^29 - 2731338095584771167792112955234371232814516132821\ 53202569397258178060091818336518175162307972237/1759491856912097522\ 2566514741222400901839675730853866884550789672010952058250478083311\ 70717376*c_1001_12^28 - 1301777643552091509655321050107204382775046\ 35908325092629222792751853980661489785676174413525009/1759491856912\ 0975222566514741222400901839675730853866884550789672010952058250478\ 08331170717376*c_1001_12^27 + 9287939381456748053156408091915703147\ 6687916736010789782363053411275884735427668740430346119115/43987296\ 4228024380564162868530560022545991893271346672113769741800273801456\ 261952082792679344*c_1001_12^26 + 121490324309295839092923494628724\ 2341821851912073569067247679339450722135894233638992050101462837/17\ 5949185691209752225665147412224009018396757308538668845507896720109\ 5205825047808331170717376*c_1001_12^25 + 1419393342726693906975106127982068854021202555114745506245191017123\ 181582784339843518658260303979/351898371382419504451330294824448018\ 0367935146170773376910157934402190411650095616662341434752*c_1001_1\ 2^24 - 666855996810715268367359325904438438376962836689351007842829\ 28071398239980251266703955037979071/8797459284560487611283257370611\ 20045091983786542693344227539483600547602912523904165585358688*c_10\ 01_12^23 - 33278824323524463312797708488922039925052653431317354299\ 8718862615937461019528859056484763847237/35189837138241950445133029\ 4824448018036793514617077337691015793440219041165009561666234143475\ 2*c_1001_12^22 - 19468415927501264861637550866181510699574878593329\ 50786611608787570707361632830074655649297669331/3518983713824195044\ 5133029482444801803679351461707733769101579344021904116500956166623\ 41434752*c_1001_12^21 - 3005744207106181084694320470163899281446648\ 038046397867058833921849934505626487035309785645818865/351898371382\ 4195044513302948244480180367935146170773376910157934402190411650095\ 616662341434752*c_1001_12^20 - 715592717983819676599248358907848065\ 549694778789240283839899176224774125900482754404599102634059/175949\ 1856912097522256651474122240090183967573085386688455078967201095205\ 825047808331170717376*c_1001_12^19 + 2024632883355326553283183521292544398915155422985702972905610369229\ 391784850205823996408308798047/351898371382419504451330294824448018\ 0367935146170773376910157934402190411650095616662341434752*c_1001_1\ 2^18 + 226379686426179054690866775866981350431829011871459410664669\ 703752847308864342300081404524487709/185209669148641844448068576223\ 393693703575534008988072468955680758010021665794506140123233408*c_1\ 001_12^17 + 2006584627414868266042261707272758884106258650173168321\ 394745887345295899578322520085891238746721/351898371382419504451330\ 2948244480180367935146170773376910157934402190411650095616662341434\ 752*c_1001_12^16 + 440436017012102223868643816254995966137567785413\ 872963831514130407712357013201959354578016611879/351898371382419504\ 4513302948244480180367935146170773376910157934402190411650095616662\ 341434752*c_1001_12^15 - 302845185829446776587341518020606561095866\ 556058677051323368608664759781025896045368312610490665/175949185691\ 2097522256651474122240090183967573085386688455078967201095205825047\ 808331170717376*c_1001_12^14 - 211044352120750910616592740945109443\ 0012230600680760657435676485515076133172100136683901111829347/35189\ 8371382419504451330294824448018036793514617077337691015793440219041\ 1650095616662341434752*c_1001_12^13 + 2232995713507968574255106940498357004577079606398961777368673657267\ 7539049690157296063666455923/35189837138241950445133029482444801803\ 67935146170773376910157934402190411650095616662341434752*c_1001_12^\ 12 + 92549995544463497710224225362857494700836549632755933465996947\ 8107154678650575451305799569516363/17594918569120975222566514741222\ 40090183967573085386688455078967201095205825047808331170717376*c_10\ 01_12^11 + 35171174651116766119417757296924653202782785908530317396\ 7990325528179403535288018051813110203757/35189837138241950445133029\ 4824448018036793514617077337691015793440219041165009561666234143475\ 2*c_1001_12^10 - 93591632498857630390772684935708290631618643639042\ 237705357719633255573158027724508401272405575/879745928456048761128\ 3257370611200450919837865426933442275394836005476029125239041655853\ 58688*c_1001_12^9 - 58536635615550957869187191634491668603910570293\ 281385281975439985715798505555434275924684650217/175949185691209752\ 2256651474122240090183967573085386688455078967201095205825047808331\ 170717376*c_1001_12^8 - 6459726131962778648467509149602389139092442\ 764928726576154593417433246132832531602522447193075/219936482114012\ 1902820814342652800112729959466356733360568848709001369007281309760\ 41396339672*c_1001_12^7 - 91036559741998968261076331417245020627497\ 155684752267818086149127494120996499755387802333942537/351898371382\ 4195044513302948244480180367935146170773376910157934402190411650095\ 616662341434752*c_1001_12^6 - 4742747178986298580155101112277510644\ 1509941205846937380345221627159216830262775086779468148039/35189837\ 1382419504451330294824448018036793514617077337691015793440219041165\ 0095616662341434752*c_1001_12^5 + 140756719703413603150356213197703\ 96585786789427485939253699693382982126970706355590918861862099/1759\ 4918569120975222566514741222400901839675730853866884550789672010952\ 05825047808331170717376*c_1001_12^4 + 3131609752589969840002969486151010033668996551219164161540336078501\ 0668702963861044242383635131/35189837138241950445133029482444801803\ 67935146170773376910157934402190411650095616662341434752*c_1001_12^\ 3 + 142875286733828629366331558574431409699664840678842978586883075\ 9670177613168872568107564119651/17594918569120975222566514741222400\ 90183967573085386688455078967201095205825047808331170717376*c_1001_\ 12^2 + 670537916143154986342894678787619359308476781777971873252538\ 334893390338301005294480016856753/175949185691209752225665147412224\ 0090183967573085386688455078967201095205825047808331170717376*c_100\ 1_12 + 153773429215978836365896803345298407880323242196409080517507\ 5914937229847786015879494343376419/35189837138241950445133029482444\ 80180367935146170773376910157934402190411650095616662341434752, c_0101_10 + 1, c_0101_12 - 52881002827773920681617870043208201671942844478066456215386\ 66023947140671535279403137352403063/1407593485529678017805321179297\ 7920721471740584683093507640631737608761646600382466649365739008*c_\ 1001_12^39 - 114189883452510350709389192335859971616386826617225125\ 08662380605729782820240921925721627591431/1407593485529678017805321\ 1792977920721471740584683093507640631737608761646600382466649365739\ 008*c_1001_12^38 - 167247094812117053294527431801030230852956697739\ 85430956452880370221718719459245873111666120781/1759491856912097522\ 2566514741222400901839675730853866884550789672010952058250478083311\ 70717376*c_1001_12^37 - 2482125293726673940634120438497188807326811\ 91526527791984340900862833450367734740027596275318549/1407593485529\ 6780178053211792977920721471740584683093507640631737608761646600382\ 466649365739008*c_1001_12^36 - 103859867496069302330345414771191289\ 9997312325176853333040504778151328977797439995491255410655725/14075\ 9348552967801780532117929779207214717405846830935076406317376087616\ 46600382466649365739008*c_1001_12^35 - 1370873430925988765036763228954491878792367211662868781188282989756\ 861373098484005775363978032365/140759348552967801780532117929779207\ 21471740584683093507640631737608761646600382466649365739008*c_1001_\ 12^34 - 97809252235580807717538278056433958219375386874665865603515\ 8587203314890409366169935552328472949/70379674276483900890266058964\ 88960360735870292341546753820315868804380823300191233324682869504*c\ _1001_12^33 + 29683538200982679167635156624172517556394742259841877\ 670214258977719106317785093290404827325293/140759348552967801780532\ 1179297792072147174058468309350764063173760876164660038246664936573\ 9008*c_1001_12^32 + 44987754192600917573242057207242262680503600008\ 29035116179783630203337153010633528065456968461489/1407593485529678\ 0178053211792977920721471740584683093507640631737608761646600382466\ 649365739008*c_1001_12^31 + 519593454919514266707139268112130557642\ 1965006853673399083819405671080346318894212948178526548225/14075934\ 8552967801780532117929779207214717405846830935076406317376087616466\ 00382466649365739008*c_1001_12^30 + 1059249753729550282843713361892688131508203818617363287496841569478\ 6641186242752268306203674244339/14075934855296780178053211792977920\ 721471740584683093507640631737608761646600382466649365739008*c_1001\ _12^29 + 1512961251551786422911215364027065757926705932065189483799\ 385710130450381407704275059117215744995/175949185691209752225665147\ 4122240090183967573085386688455078967201095205825047808331170717376\ *c_1001_12^28 + 150220941901710222856958411638910184136844342821119\ 3862534557100912703576910913368258663624117819/35189837138241950445\ 1330294824448018036793514617077337691015793440219041165009561666234\ 1434752*c_1001_12^27 - 89101111511578159539991278003165125522857713\ 73911719888690969567584175405161182496491843638799011/7037967427648\ 3900890266058964889603607358702923415467538203158688043808233001912\ 33324682869504*c_1001_12^26 - 1409493782971613695420571426887490448\ 1695939285632120830942574242597433021283469999571098692568851/35189\ 8371382419504451330294824448018036793514617077337691015793440219041\ 1650095616662341434752*c_1001_12^25 - 2851736329078099854256839960618916305967120607148775326757798217108\ 8445720188592225700110860759027/14075934855296780178053211792977920\ 721471740584683093507640631737608761646600382466649365739008*c_1001\ _12^24 - 5667978608603556004580146409818360046148894073233307895949\ 0415065827482782297269676447155785005/87974592845604876112832573706\ 1120045091983786542693344227539483600547602912523904165585358688*c_\ 1001_12^23 + 771608732802812800620463267644219411463328653931035242\ 2416983116016001515885414837478147335300507/14075934855296780178053\ 2117929779207214717405846830935076406317376087616466003824666493657\ 39008*c_1001_12^22 + 5113571398521925608881527613997523705085904384\ 0332828467984964544405267521974775890297492571987995/14075934855296\ 7801780532117929779207214717405846830935076406317376087616466003824\ 66649365739008*c_1001_12^21 + 6587431427853863915298665539468793148\ 4920538038091451670114241553501798521185774745816252094849023/14075\ 9348552967801780532117929779207214717405846830935076406317376087616\ 46600382466649365739008*c_1001_12^20 + 8473120472999661936112660850394409459241962536217787819557506254664\ 701313890753089974881502317937/351898371382419504451330294824448018\ 0367935146170773376910157934402190411650095616662341434752*c_1001_1\ 2^19 - 456491402760139432430673202208884990721191909258672471771627\ 75715786781379693174462424343301793375/1407593485529678017805321179\ 2977920721471740584683093507640631737608761646600382466649365739008\ *c_1001_12^18 - 503890934428117588888680826691769498122439042209639\ 5239561883530204110837823890448243780033860547/74083867659456737779\ 2274304893574774814302136035952289875822723032040086663178024560492\ 933632*c_1001_12^17 - 468156012105425448254540720303825270503910865\ 35819474451107049669279664934817732201750631495366009/1407593485529\ 6780178053211792977920721471740584683093507640631737608761646600382\ 466649365739008*c_1001_12^16 - 224815105179045986087005344074588617\ 10719303303320069868082258229501084605126968753416116675356281/1407\ 5934855296780178053211792977920721471740584683093507640631737608761\ 646600382466649365739008*c_1001_12^15 + 2493289342199565432555619451972080572763407042835231002829609076493\ 208247233210923349755886028387/175949185691209752225665147412224009\ 0183967573085386688455078967201095205825047808331170717376*c_1001_1\ 2^14 + 490141699913594489068428892463910520464405179040455134592359\ 29239493426966378089373132692885520063/1407593485529678017805321179\ 2977920721471740584683093507640631737608761646600382466649365739008\ *c_1001_12^13 - 291657244424366610046859079548818866955258420781386\ 1750638731414221444817825273268650669669750745/14075934855296780178\ 0532117929779207214717405846830935076406317376087616466003824666493\ 65739008*c_1001_12^12 - 8469228898190415442430344531362483391872922\ 272801486881488265715899412240890976551058300010347041/351898371382\ 4195044513302948244480180367935146170773376910157934402190411650095\ 616662341434752*c_1001_12^11 - 787084503773889306574708847583420638\ 4934558669503977788232184967333248097095498935457961189395621/14075\ 9348552967801780532117929779207214717405846830935076406317376087616\ 46600382466649365739008*c_1001_12^10 + 1316818530985656443867268917868440296339796343434820346399145490547\ 27992305507511461531803138039/1759491856912097522256651474122240090\ 183967573085386688455078967201095205825047808331170717376*c_1001_12\ ^9 + 23481659497169867159805943063640522617666983512832272421365324\ 60609130770634917243942024038245753/7037967427648390089026605896488\ 960360735870292341546753820315868804380823300191233324682869504*c_1\ 001_12^8 + 49026872454827934793032587732379586270063283501997798156\ 2716705843645339623863916701191226405763/17594918569120975222566514\ 7412224009018396757308538668845507896720109520582504780833117071737\ 6*c_1001_12^7 + 219853719388346657370801882677964390805240832023402\ 5139467285460492910492009601876423091049182187/14075934855296780178\ 0532117929779207214717405846830935076406317376087616466003824666493\ 65739008*c_1001_12^6 + 67355575969054366712622652304775118088383802\ 2081756551452536287853493859969208228644987372008659/14075934855296\ 7801780532117929779207214717405846830935076406317376087616466003824\ 66649365739008*c_1001_12^5 - 19135364920409940808976472553857802006\ 2293312594312084968613920821514264599955663011037648822965/70379674\ 2764839008902660589648896036073587029234154675382031586880438082330\ 0191233324682869504*c_1001_12^4 - 692765497199504367011053299078407\ 866719165682074107416200929161166110641104121498458289311449029/140\ 7593485529678017805321179297792072147174058468309350764063173760876\ 1646600382466649365739008*c_1001_12^3 - 2719491180312722737588432759379211252795068791220110270295936863524\ 2166007432465862987796114591/17594918569120975222566514741222400901\ 83967573085386688455078967201095205825047808331170717376*c_1001_12^\ 2 - 744631104033237209115593924552919254649977910533491586773900395\ 9810627640557133185736873007503/87974592845604876112832573706112004\ 5091983786542693344227539483600547602912523904165585358688*c_1001_1\ 2 - 790011082441675056462966204353679182899214545096893407868328025\ 9298472931830511965492579234375/14075934855296780178053211792977920\ 721471740584683093507640631737608761646600382466649365739008, c_0101_2 + 904067791336609376534201170850331519919805355011354180137047\ 52575769987048744332434326680937/1407593485529678017805321179297792\ 0721471740584683093507640631737608761646600382466649365739008*c_100\ 1_12^39 + 245477279166738232928427959685307137925883881888501381447\ 952112781135437541352293482947645785/140759348552967801780532117929\ 77920721471740584683093507640631737608761646600382466649365739008*c\ _1001_12^38 + 29753166174378247946815347270628441766957648113823118\ 3999856798194289164073588155132403211795/17594918569120975222566514\ 7412224009018396757308538668845507896720109520582504780833117071737\ 6*c_1001_12^37 + 55193122550990882173633747787245568398398268934117\ 52226769421739726262016999249641142403880075/1407593485529678017805\ 3211792977920721471740584683093507640631737608761646600382466649365\ 739008*c_1001_12^36 + 197459399145026875812860610646393022244922876\ 22643153472774443965721965237840336458975343506483/1407593485529678\ 0178053211792977920721471740584683093507640631737608761646600382466\ 649365739008*c_1001_12^35 + 334337049714174645204317862014172994783\ 86005704897226230826323699084648532827656177738128610739/1407593485\ 5296780178053211792977920721471740584683093507640631737608761646600\ 382466649365739008*c_1001_12^34 + 219160155499227364713310310993056\ 68383035370877251970370264296333070127330090630259109078342891/7037\ 9674276483900890266058964889603607358702923415467538203158688043808\ 23300191233324682869504*c_1001_12^33 + 1931670169879569793732295786229812104900548307416066776417745217699\ 1106239964996275244790612557/14075934855296780178053211792977920721\ 471740584683093507640631737608761646600382466649365739008*c_1001_12\ ^32 - 8328185708013211866425515751646975576558995962248866669538217\ 4258606088615841326256664929494383/14075934855296780178053211792977\ 920721471740584683093507640631737608761646600382466649365739008*c_1\ 001_12^31 - 1290680337643356107352647312764531956876614722630346301\ 24480508124075903527847355080555188920479/1407593485529678017805321\ 1792977920721471740584683093507640631737608761646600382466649365739\ 008*c_1001_12^30 - 235460367648701395721490295972488271567789923446\ 802192007727123866591143420627773110124136981869/140759348552967801\ 7805321179297792072147174058468309350764063173760876164660038246664\ 9365739008*c_1001_12^29 - 40278277300439330610241809649453209981892\ 047441958656745354722048129415822288056562090561500653/175949185691\ 2097522256651474122240090183967573085386688455078967201095205825047\ 808331170717376*c_1001_12^28 - 455074950501774583009720001990346637\ 73966609880183067174385862687327576768065715963015333511365/3518983\ 7138241950445133029482444801803679351461707733769101579344021904116\ 50095616662341434752*c_1001_12^27 + 1227701684417810868745895791808843731055663759019256571729220322835\ 64180364526622155724365242621/7037967427648390089026605896488960360\ 735870292341546753820315868804380823300191233324682869504*c_1001_12\ ^26 + 2913587550677280021800908669236306237125786799274151141296691\ 55471453407602754833182455091810797/3518983713824195044513302948244\ 480180367935146170773376910157934402190411650095616662341434752*c_1\ 001_12^25 + 1032441556741234199753035843869091983983736038178065496\ 382836938418990807068246927863465141954285/140759348552967801780532\ 1179297792072147174058468309350764063173760876164660038246664936573\ 9008*c_1001_12^24 + 18537458798442824514081678239071135970805193271\ 350441808111453330704085125821137359352471050051/879745928456048761\ 1283257370611200450919837865426933442275394836005476029125239041655\ 85358688*c_1001_12^23 + 3224087294690470440776636884899805510155188\ 5392036234985861273585855255883985422511124489306683/14075934855296\ 7801780532117929779207214717405846830935076406317376087616466003824\ 66649365739008*c_1001_12^22 - 1253023781567298515648304919739409060\ 840083672725191771087258873004872350646868152820442617229765/140759\ 3485529678017805321179297792072147174058468309350764063173760876164\ 6600382466649365739008*c_1001_12^21 - 1737252115272662134367292234086140663511924285245165128116317870178\ 801118407110733330865290745825/140759348552967801780532117929779207\ 21471740584683093507640631737608761646600382466649365739008*c_1001_\ 12^20 - 28654547848539413682229183794560982975552453319699508393498\ 7873062895589630294047219613408124687/35189837138241950445133029482\ 44480180367935146170773376910157934402190411650095616662341434752*c\ _1001_12^19 + 28082826520250708008719657686337476058405581792869753\ 2103203248067705611133803810078176300702209/14075934855296780178053\ 2117929779207214717405846830935076406317376087616466003824666493657\ 39008*c_1001_12^18 + 1148040368840444484157889308612741451389674462\ 26864803866313262355121411554111946827169708057245/7408386765945673\ 7779227430489357477481430213603595228987582272303204008666317802456\ 0492933632*c_1001_12^17 + 18326095531896295817457457292007112332152\ 86602916974000460808340735185435078622003035032544134439/1407593485\ 5296780178053211792977920721471740584683093507640631737608761646600\ 382466649365739008*c_1001_12^16 + 112549370241986987225220902422078\ 2178720519618525109209014517647567818512089656891062884262651047/14\ 0759348552967801780532117929779207214717405846830935076406317376087\ 61646600382466649365739008*c_1001_12^15 + 6680937041712949965591290423491640186478708738262080157685404791279\ 60089949943063340837217299/1759491856912097522256651474122240090183\ 967573085386688455078967201095205825047808331170717376*c_1001_12^14 - 15092199925353180549264756912624691837764324164082115772014833017\ 08797598139447609144474652596897/1407593485529678017805321179297792\ 0721471740584683093507640631737608761646600382466649365739008*c_100\ 1_12^13 - 433662912236038076570898636813321147080084414015035991075\ 766383817784619775757109293525700638649/140759348552967801780532117\ 9297792072147174058468309350764063173760876164660038246664936573900\ 8*c_1001_12^12 + 82696202757861210564026216280691115428064745332839\ 436486704697135072045742912378259768594353247/351898371382419504451\ 3302948244480180367935146170773376910157934402190411650095616662341\ 434752*c_1001_12^11 + 254609274440093975949719754332375464570529205\ 453033983743284763097904345375111944513147486352763/140759348552967\ 8017805321179297792072147174058468309350764063173760876164660038246\ 6649365739008*c_1001_12^10 + 41800961302936361581706989363595525860\ 576817297767052574239774495352644630899373451220778075703/175949185\ 6912097522256651474122240090183967573085386688455078967201095205825\ 047808331170717376*c_1001_12^9 - 3411914068828106778679520770657601\ 1974202623914056356774588180241295144713814057871276826090023/70379\ 6742764839008902660589648896036073587029234154675382031586880438082\ 3300191233324682869504*c_1001_12^8 - 3766098874336735880482981365249763986796346879704397886399898168519\ 2553880683989686783638772317/17594918569120975222566514741222400901\ 83967573085386688455078967201095205825047808331170717376*c_1001_12^\ 7 - 639335868637426801584195829699359941243643745104846391186522062\ 21925326837700899896049715087477/1407593485529678017805321179297792\ 0721471740584683093507640631737608761646600382466649365739008*c_100\ 1_12^6 - 6924915735248187415022270040422884615650659999956270342698\ 0295466985250942117748453666563517709/14075934855296780178053211792\ 977920721471740584683093507640631737608761646600382466649365739008*\ c_1001_12^5 + 68560650390390574839524384927413555759510611173194215\ 22149566068681562587440472261366519211499/7037967427648390089026605\ 8964889603607358702923415467538203158688043808233001912333246828695\ 04*c_1001_12^4 + 30528700193138231412002181248730237604419432746949\ 815203900232279319873751532378928573404756699/140759348552967801780\ 5321179297792072147174058468309350764063173760876164660038246664936\ 5739008*c_1001_12^3 + 220186202138383299178755129493107402402560867\ 2932377739612068894087587898974185288046365002001/17594918569120975\ 2225665147412224009018396757308538668845507896720109520582504780833\ 1170717376*c_1001_12^2 + 383180503904602687673570764329073562152774\ 888369741680445232161361415134294102657661517199273/879745928456048\ 7611283257370611200450919837865426933442275394836005476029125239041\ 65585358688*c_1001_12 + 8427877796962509346153452249443568272501137\ 66109221265585048557835501477170363119446922785305/1407593485529678\ 0178053211792977920721471740584683093507640631737608761646600382466\ 649365739008, c_0110_11 + 58799930551287495276261923688455181189605011203145752980700\ 20197954875730956283421971656814905/1407593485529678017805321179297\ 7920721471740584683093507640631737608761646600382466649365739008*c_\ 1001_12^39 + 127676215682308244028821410593856996586445940137369201\ 44517270242473565148708054594314867129209/1407593485529678017805321\ 1792977920721471740584683093507640631737608761646600382466649365739\ 008*c_1001_12^38 + 185890392054404637400341677667177884623739543732\ 32731623227205960309892216713719333687918556731/1759491856912097522\ 2566514741222400901839675730853866884550789672010952058250478083311\ 70717376*c_1001_12^37 + 2772464755860029553401377933142931134204060\ 30803186571861982320494485470181797804030950661371067/1407593485529\ 6780178053211792977920721471740584683093507640631737608761646600382\ 466649365739008*c_1001_12^36 + 115270403805171875504235766259781712\ 7377857054005735122430189428966461291308654097836024482612819/14075\ 9348552967801780532117929779207214717405846830935076406317376087616\ 46600382466649365739008*c_1001_12^35 + 1526607843277513459985406099851907057671268527685927580076278416027\ 416150428528105322268199573283/140759348552967801780532117929779207\ 21471740584683093507640631737608761646600382466649365739008*c_1001_\ 12^34 + 10753866400432166375897525084288220755161041684914889023629\ 81534911448754508950425708952016649683/7037967427648390089026605896\ 488960360735870292341546753820315868804380823300191233324682869504*\ c_1001_12^33 - 7030446649957317809481406470155558911692206164973830\ 9695778387109082858344112693935300685625203/14075934855296780178053\ 2117929779207214717405846830935076406317376087616466003824666493657\ 39008*c_1001_12^32 - 5079138704563334146384609022938069270671090191\ 229929595013255659659532098712223022767116033829759/140759348552967\ 8017805321179297792072147174058468309350764063173760876164660038246\ 6649365739008*c_1001_12^31 - 58285161891003525528378353655221278144\ 69880168475268187423292651920345464105831534328485349270943/1407593\ 4855296780178053211792977920721471740584683093507640631737608761646\ 600382466649365739008*c_1001_12^30 - 1162480096414353322772403824635949512756043831367913870548910140838\ 0122421558192006924680379719709/14075934855296780178053211792977920\ 721471740584683093507640631737608761646600382466649365739008*c_1001\ _12^29 - 1665444509003195496096933664793475090630067311472858192314\ 660857209110005923636824507163961202603/175949185691209752225665147\ 4122240090183967573085386688455078967201095205825047808331170717376\ *c_1001_12^28 - 161260101924113931491314585491345556342135005936779\ 2882123453479147271350712889528754450028433513/35189837138241950445\ 1330294824448018036793514617077337691015793440219041165009561666234\ 1434752*c_1001_12^27 + 10112427797748790964970622461198842046798650\ 921416637588744839377110291133481636468743559849399477/703796742764\ 8390089026605896488960360735870292341546753820315868804380823300191\ 233324682869504*c_1001_12^26 + 157816845220796398708566421416697707\ 50398280749403155454292378592544045717733334896744841261717857/3518\ 9837138241950445133029482444801803679351461707733769101579344021904\ 11650095616662341434752*c_1001_12^25 + 3153112374536690882883622864162005564654745298348692222810548870256\ 7211254030604075311316602931309/14075934855296780178053211792977920\ 721471740584683093507640631737608761646600382466649365739008*c_1001\ _12^24 - 7868513731771817811842694367837434189010638837233350366885\ 3969400937415532891828363802430546007/87974592845604876112832573706\ 1120045091983786542693344227539483600547602912523904165585358688*c_\ 1001_12^23 - 100819029762212761954563544589157555763656624513218365\ 83480665999671785166842634760188382269157941/1407593485529678017805\ 3211792977920721471740584683093507640631737608761646600382466649365\ 739008*c_1001_12^22 - 560792293723476256004771558110327502265690296\ 27045513964495428679965724017317462065400451187741957/1407593485529\ 6780178053211792977920721471740584683093507640631737608761646600382\ 466649365739008*c_1001_12^21 - 727187229064661949502027571312427045\ 52843528248421376691683541693046703411652284310603411870942673/1407\ 5934855296780178053211792977920721471740584683093507640631737608761\ 646600382466649365739008*c_1001_12^20 - 9166638693192471613249487278213254221635964643368358072179537273294\ 921358781732341015593255239019/351898371382419504451330294824448018\ 0367935146170773376910157934402190411650095616662341434752*c_1001_1\ 2^19 + 533197381095390371947221236202105232056493862100865268676053\ 70530781799248291369453265744955480321/1407593485529678017805321179\ 2977920721471740584683093507640631737608761646600382466649365739008\ *c_1001_12^18 + 569997079414113383761354529271885206698686695464772\ 2599542989329506519140482230144103217878261453/74083867659456737779\ 2274304893574774814302136035952289875822723032040086663178024560492\ 933632*c_1001_12^17 + 502192793986874373499718828849108600791648765\ 79019680522272220360391732042360877308618078694744359/1407593485529\ 6780178053211792977920721471740584683093507640631737608761646600382\ 466649365739008*c_1001_12^16 + 203801806754824570248830191038555737\ 60873041336123139471384416941711716120966839638168884139688567/1407\ 5934855296780178053211792977920721471740584683093507640631737608761\ 646600382466649365739008*c_1001_12^15 - 2991284804589357878426738216448440317368870533155416929763368539667\ 070209263343661153630464383467/175949185691209752225665147412224009\ 0183967573085386688455078967201095205825047808331170717376*c_1001_1\ 2^14 - 537751330483040261068152336194706343878062318567877136109897\ 30058612853399562387411820867013136705/1407593485529678017805321179\ 2977920721471740584683093507640631737608761646600382466649365739008\ *c_1001_12^13 + 441149767582449888015596271245441346752775603437974\ 6712130342627104241546537041222776010890629175/14075934855296780178\ 0532117929779207214717405846830935076406317376087616466003824666493\ 65739008*c_1001_12^12 + 9983769934560484323885782181737001604037649\ 297949145506278477938352124029445069270866443899613835/351898371382\ 4195044513302948244480180367935146170773376910157934402190411650095\ 616662341434752*c_1001_12^11 + 929623548452695304558127604712628513\ 1088603336212111946892406159761821883679262584451979094895099/14075\ 9348552967801780532117929779207214717405846830935076406317376087616\ 46600382466649365739008*c_1001_12^10 - 4738599836419057431804332135893085645881456347141898727674753669011\ 05993780652177693103826324773/1759491856912097522256651474122240090\ 183967573085386688455078967201095205825047808331170717376*c_1001_12\ ^9 - 31011637994852216976367131182791228133583240270406810206697227\ 60938246111329510389185274464198311/7037967427648390089026605896488\ 960360735870292341546753820315868804380823300191233324682869504*c_1\ 001_12^8 - 41611239248287073472948998030462328589446098583035844328\ 1939815416448001865989091568997783136181/17594918569120975222566514\ 7412224009018396757308538668845507896720109520582504780833117071737\ 6*c_1001_12^7 - 199550047928362985811822191710036875880910967391209\ 5718064682741620844236302728789293897741331781/14075934855296780178\ 0532117929779207214717405846830935076406317376087616466003824666493\ 65739008*c_1001_12^6 - 84701312427959336163096850206513736916857442\ 4865429214236187956390751113959242488976805457050349/14075934855296\ 7801780532117929779207214717405846830935076406317376087616466003824\ 66649365739008*c_1001_12^5 + 21987046805782204228955355571337856157\ 8403271281585161852507373566184501158125714803271944853531/70379674\ 2764839008902660589648896036073587029234154675382031586880438082330\ 0191233324682869504*c_1001_12^4 + 756649768502271832206691296862039\ 733791388972131601952842686821790405468093117872776832544394667/140\ 7593485529678017805321179297792072147174058468309350764063173760876\ 1646600382466649365739008*c_1001_12^3 + 2692220939946077151772250376684444400433761153860724585419701180946\ 0078706038931773151538984099/17594918569120975222566514741222400901\ 83967573085386688455078967201095205825047808331170717376*c_1001_12^\ 2 + 189310537426160717295703748058411505534499823350718528098014582\ 4550791265503041082248656524195/21993648211401219028208143426528001\ 1272995946635673336056884870900136900728130976041396339672*c_1001_1\ 2 + 686960633851255950392858063389955000394040970963103645484955132\ 4743433305378910700419487562745/14075934855296780178053211792977920\ 721471740584683093507640631737608761646600382466649365739008, c_1001_0 - 492093970261562439919676165871042670839075111923988962244981\ 418552240722288584886220575340585/703796742764839008902660589648896\ 0360735870292341546753820315868804380823300191233324682869504*c_100\ 1_12^39 - 109230974813345880532679575515567452599537812517576267604\ 7722834345542722785536858335095712165/70379674276483900890266058964\ 88960360735870292341546753820315868804380823300191233324682869504*c\ _1001_12^38 - 15582191558360068500246320145290986558175711234482531\ 82718048223737092582439632749195809585043/8797459284560487611283257\ 3706112004509198378654269334422753948360054760291252390416558535868\ 8*c_1001_12^37 - 23724520001828814614562657483979660917192434636679\ 582533558290392807033775745256310443403677931/703796742764839008902\ 6605896488960360735870292341546753820315868804380823300191233324682\ 869504*c_1001_12^36 - 967760281105681439772138650332421320483801385\ 64311841247526011952747363421613577346997437813687/7037967427648390\ 0890266058964889603607358702923415467538203158688043808233001912333\ 24682869504*c_1001_12^35 - 1306599116773135989339716545385579142378\ 17162653892606787591564655010091881299570206257577038387/7037967427\ 6483900890266058964889603607358702923415467538203158688043808233001\ 91233324682869504*c_1001_12^34 - 8981933950065813299418079107272602\ 6063125512013160191912767109492684699735208935966585502974637/35189\ 8371382419504451330294824448018036793514617077337691015793440219041\ 1650095616662341434752*c_1001_12^33 + 7418311537528251031615765018247261865670877882669355027242015039316\ 215460303260558667706686703/703796742764839008902660589648896036073\ 5870292341546753820315868804380823300191233324682869504*c_1001_12^3\ 2 + 438607522648603736715634658790768813216776109618350136412112953\ 907141698429567831263727204373431/703796742764839008902660589648896\ 0360735870292341546753820315868804380823300191233324682869504*c_100\ 1_12^31 + 511501669708245176551896192679304081223014506741444230546\ 197203997601421846999338304375445609451/703796742764839008902660589\ 6488960360735870292341546753820315868804380823300191233324682869504\ *c_1001_12^30 + 967927722038567995871664238058577814972257591969942\ 855582394217632290171768442261859300225386421/703796742764839008902\ 6605896488960360735870292341546753820315868804380823300191233324682\ 869504*c_1001_12^29 + 280879556999246511606921218139240945641996081\ 289536736118974546486975675911280992212758296772711/175949185691209\ 7522256651474122240090183967573085386688455078967201095205825047808\ 331170717376*c_1001_12^28 + 205738926613769460824321279394210986730\ 9544713828707742495084501593678651870249179352092453487/27492060264\ 2515237852601792831600014091244933294591670071106088625171125910163\ 72005174542459*c_1001_12^27 - 8796171911506785500900535244487520319\ 45474393758438338820041118016515385216804430943875039828891/3518983\ 7138241950445133029482444801803679351461707733769101579344021904116\ 50095616662341434752*c_1001_12^26 - 3384111354768387161162329605476723010764825847699081687246783536002\ 08252139397132606331387490859/4398729642280243805641628685305600225\ 45991893271346672113769741800273801456261952082792679344*c_1001_12^\ 25 - 27934451286905415416322193751564141658886724289920718758620013\ 51096099337554545434415150665491809/7037967427648390089026605896488\ 960360735870292341546753820315868804380823300191233324682869504*c_1\ 001_12^24 + 4342872562940717180384977159889681963827268386251001430\ 7710068463662523001111085920399695821025/87974592845604876112832573\ 7061120045091983786542693344227539483600547602912523904165585358688\ *c_1001_12^23 + 110644452356350850332911971700933501920840618455046\ 1312005317143093934031381122504717330335261581/70379674276483900890\ 2660589648896036073587029234154675382031586880438082330019123332468\ 2869504*c_1001_12^22 + 47286235515015145838756573090348972194173480\ 58147102368151540121263010414749309926123103236954201/7037967427648\ 3900890266058964889603607358702923415467538203158688043808233001912\ 33324682869504*c_1001_12^21 + 6290019316941172872054767570060619376\ 643683625963763659533167991862813627186391184222946328384105/703796\ 7427648390089026605896488960360735870292341546753820315868804380823\ 300191233324682869504*c_1001_12^20 + 9566594513151519809600166624393856046190516168683574345351179775852\ 0841213555853306779083594225/21993648211401219028208143426528001127\ 2995946635673336056884870900136900728130976041396339672*c_1001_12^1\ 9 - 481055261066499203044640917391010872783692741732335389926642283\ 6660755627362920801814252352758293/70379674276483900890266058964889\ 60360735870292341546753820315868804380823300191233324682869504*c_10\ 01_12^18 - 50114501436130519696208887627546773676509784845560814789\ 4578832773142797018103926880277935742821/37041933829728368889613715\ 2446787387407151068017976144937911361516020043331589012280246466816\ *c_1001_12^17 - 438851374520625230919042788295774565350947317480206\ 9210449013108752467792673943904913758188540803/70379674276483900890\ 2660589648896036073587029234154675382031586880438082330019123332468\ 2869504*c_1001_12^16 - 12676838932774289616210818607640608174849507\ 93182151016492281230362457680393879266676231589770175/7037967427648\ 3900890266058964889603607358702923415467538203158688043808233001912\ 33324682869504*c_1001_12^15 + 5745467642659944931058115735912058841\ 05331458820791427292605364362646559906418169476166171382627/1759491\ 8569120975222566514741222400901839675730853866884550789672010952058\ 25047808331170717376*c_1001_12^14 + 4732164899030828110716975640473269706031258781423814877331931378197\ 274161752830976793852234095453/703796742764839008902660589648896036\ 0735870292341546753820315868804380823300191233324682869504*c_1001_1\ 2^13 - 209571705511631717456637054203380581263793938401047272906108\ 363394988920885529110886949287170711/703796742764839008902660589648\ 8960360735870292341546753820315868804380823300191233324682869504*c_\ 1001_12^12 - 115745976186209555629655197340137709430079874692972918\ 639254417713141606239696763804552536554465/219936482114012190282081\ 4342652800112729959466356733360568848709001369007281309760413963396\ 72*c_1001_12^11 - 9489929424130432508689863466203692941055774958228\ 07753114380893664851429318343256832919062399399/7037967427648390089\ 0266058964889603607358702923415467538203158688043808233001912333246\ 82869504*c_1001_12^10 + 3674307056947875599649713444290022231525304\ 7344532373538072083531373602435108913462804792064061/43987296422802\ 4380564162868530560022545991893271346672113769741800273801456261952\ 082792679344*c_1001_12^9 + 2988443295940775300685902778294560510947\ 55108508188368859137098551036776138369355613772468319123/3518983713\ 8241950445133029482444801803679351461707733769101579344021904116500\ 95616662341434752*c_1001_12^8 + 33105414848237708189788413530486200\ 826157137580732666024919842293315012968911659632009712034063/879745\ 9284560487611283257370611200450919837865426933442275394836005476029\ 12523904165585358688*c_1001_12^7 + 1728063614129429362218543188467940018533185484546104894795529295951\ 54422420453699357179919787397/7037967427648390089026605896488960360\ 735870292341546753820315868804380823300191233324682869504*c_1001_12\ ^6 + 19556362226932828222157712399763171050843804997080818844237441\ 808765160646654359771128875594777/703796742764839008902660589648896\ 0360735870292341546753820315868804380823300191233324682869504*c_100\ 1_12^5 - 2801473466520095187578510190705415139805186555685494190742\ 8420756115217900432671308188668728339/35189837138241950445133029482\ 44480180367935146170773376910157934402190411650095616662341434752*c\ _1001_12^4 - 304661050094460608049353795051467687393334610500587775\ 12604185713883737634792054348585082434835/7037967427648390089026605\ 8964889603607358702923415467538203158688043808233001912333246828695\ 04*c_1001_12^3 - 42494537883106526563995493755867329278857792998817\ 26524691914052370278280596939537886551081549/1759491856912097522256\ 6514741222400901839675730853866884550789672010952058250478083311707\ 17376*c_1001_12^2 - 27087042825514232610817660496044709477372620274\ 82474425449777485477199475831769589172508835393/1759491856912097522\ 2566514741222400901839675730853866884550789672010952058250478083311\ 70717376*c_1001_12 - 6615339758214474878459235247989613469018599142\ 19799486863170720981933804455264065182606256485/7037967427648390089\ 0266058964889603607358702923415467538203158688043808233001912333246\ 82869504, c_1001_12^40 + 2*c_1001_12^39 + 25*c_1001_12^38 + 43*c_1001_12^37 + 190*c_1001_12^36 + 230*c_1001_12^35 + 337*c_1001_12^34 - 53*c_1001_12^33 - 834*c_1001_12^32 - 846*c_1001_12^31 - 1884*c_1001_12^30 - 2013*c_1001_12^29 - 860*c_1001_12^28 + 3446*c_1001_12^27 + 10078*c_1001_12^26 + 3833*c_1001_12^25 - 219*c_1001_12^24 - 1229*c_1001_12^23 - 9418*c_1001_12^22 - 10950*c_1001_12^21 - 4901*c_1001_12^20 + 9085*c_1001_12^19 + 16440*c_1001_12^18 + 6286*c_1001_12^17 + 3662*c_1001_12^16 - 4009*c_1001_12^15 - 8417*c_1001_12^14 + 1894*c_1001_12^13 + 5819*c_1001_12^12 + 479*c_1001_12^11 - 213*c_1001_12^10 - 806*c_1001_12^9 - 550*c_1001_12^8 - 341*c_1001_12^7 - 130*c_1001_12^6 + 81*c_1001_12^5 + 105*c_1001_12^4 + 27*c_1001_12^3 + 24*c_1001_12^2 + c_1001_12 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.280 Total time: 1.480 seconds, Total memory usage: 32.09MB