Magma V2.19-8 Tue Aug 20 2013 23:38:24 on localhost [Seed = 2648439207] Type ? for help. Type -D to quit. Loading file "K11a230__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a230 geometric_solution 9.27441586 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 2 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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.424845716981 0.834543316598 0 4 4 5 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.818939431417 0.435332543399 0 0 7 6 3012 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 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.559888913716 0.812393412993 8 8 7 0 0132 1302 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.457857450980 0.526015574561 1 1 9 8 2031 0132 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 1 0 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.047939926149 0.506096931614 8 9 1 6 2103 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 -1 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.592533858617 0.424618826472 7 5 2 7 1023 1302 0132 3120 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 -1 1 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.034085723957 0.781282179212 6 6 3 2 3120 1023 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384375722879 0.465122248244 3 4 5 3 0132 0321 2103 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.950108948646 0.921846303009 10 5 10 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.184201027332 2.901371903829 9 10 9 10 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292230871677 0.269263719133 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0101_9'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_6'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_0110_5'], 'c_1001_3' : d['c_0101_3'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0011_10'], 'c_1010_10' : d['c_0011_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0011_6'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : 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_1100_9' : d['c_0011_10'], 'c_1100_8' : negation(d['c_0110_5']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_10'], 'c_1100_7' : d['c_0101_3'], 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : d['c_0101_3'], 'c_1100_10' : negation(d['c_0011_10']), 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0011_6']), 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_0011_3'], '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' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_6'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_9'], 'c_0101_7' : negation(d['c_0101_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_3'], '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 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0101_0, c_0101_2, c_0101_3, c_0101_6, c_0101_9, c_0110_5, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 3365814483725625425877613628317133852231351861154557417353463372027\ 06965540112058633629846904092806606849895672909/2054048318333644438\ 2292880567794988141076637264991023902125554029160727835748300586930\ 6995071809426910767170701634048*c_1001_4^24 + 1846779786366717754160809796440331220842663592895908818701406162391\ 120218550442182581213874506400968644328163260363/205404831833364443\ 8229288056779498814107663726499102390212555402916072783574830058693\ 06995071809426910767170701634048*c_1001_4^23 - 1031484512206711764352414330512632021209126148026665230811887374590\ 325036266004558330915272500456509315225563391659/256756039791705554\ 7786610070974373517634579658123877987765694253645090979468537573366\ 3374383976178363845896337704256*c_1001_4^22 + 5107555462479009086037552005122058855841728521520035567475034171194\ 938026089314971277604369297219040146493405754647/102702415916682221\ 9114644028389749407053831863249551195106277701458036391787415029346\ 53497535904713455383585350817024*c_1001_4^21 - 3958798808375534516821465082936742735823500762920469314093620011065\ 309716058426597974331008685756431784146618620321/102702415916682221\ 9114644028389749407053831863249551195106277701458036391787415029346\ 53497535904713455383585350817024*c_1001_4^20 - 5195242803904756954133912514920275381544127702241203538081629866333\ 2548476104472778732209554591946816594797644496351/20540483183336444\ 3822928805677949881410766372649910239021255540291607278357483005869\ 306995071809426910767170701634048*c_1001_4^19 - 4635671947023110616166679613353029414277792265801512971616788552886\ 0180846189482325488593842318444305981562179073385/10270241591668222\ 1911464402838974940705383186324955119510627770145803639178741502934\ 653497535904713455383585350817024*c_1001_4^18 + 4271520112571945268041043532333027213824708511865779665918154479461\ 8168733225657522498581781715133925586146028969475/10270241591668222\ 1911464402838974940705383186324955119510627770145803639178741502934\ 653497535904713455383585350817024*c_1001_4^17 + 4897480119128843711683752363384087994705077143999782184297273669420\ 64118425052569121445571099003333744486981127890945/2054048318333644\ 4382292880567794988141076637264991023902125554029160727835748300586\ 9306995071809426910767170701634048*c_1001_4^16 - 1131190971382213464987676180727966180691196181882740714757991970486\ 8025588643553573094155877259399483595222793119893/20540483183336444\ 3822928805677949881410766372649910239021255540291607278357483005869\ 306995071809426910767170701634048*c_1001_4^15 - 5118210557762348684061029094421834733271639939837163471878781507553\ 3538015760689349891538205670810556485420342358167/12837801989585277\ 7389330503548718675881728982906193899388284712682254548973426878668\ 31687191988089181922948168852128*c_1001_4^14 + 4196525464460874935277956408945835452216382517413146182434880275204\ 60906420940703652182300434318671639206421062716529/1027024159166822\ 2191146440283897494070538318632495511951062777014580363917874150293\ 4653497535904713455383585350817024*c_1001_4^13 + 3745801266713887385066016289581118452147480257083505256485698773667\ 126087279450245036839123601428126626826619426915103/205404831833364\ 4438229288056779498814107663726499102390212555402916072783574830058\ 69306995071809426910767170701634048*c_1001_4^12 - 1900970477473163385284695150071163094837158620067018659776896785771\ 061074421161453408902127732240374578806979273068923/205404831833364\ 4438229288056779498814107663726499102390212555402916072783574830058\ 69306995071809426910767170701634048*c_1001_4^11 - 7935454438428117335931598654855306033970931847247370460135452994265\ 896661033716399505785062673214690880865292710282091/102702415916682\ 2219114644028389749407053831863249551195106277701458036391787415029\ 34653497535904713455383585350817024*c_1001_4^10 - 3583136553769575216595139442611073993244853839566623257809390832209\ 485125195409195735678706696671670699298291537275469/102702415916682\ 2219114644028389749407053831863249551195106277701458036391787415029\ 34653497535904713455383585350817024*c_1001_4^9 + 1640253863347533365412754679655308795987567400264287153495429282201\ 3432094123696356682587727968270743804317923157226253/10270241591668\ 2221911464402838974940705383186324955119510627770145803639178741502\ 934653497535904713455383585350817024*c_1001_4^8 + 3091829895075415534001125227644059007387215475997413348106974136348\ 3835303469318334179985535914875524318635249668276295/20540483183336\ 4443822928805677949881410766372649910239021255540291607278357483005\ 869306995071809426910767170701634048*c_1001_4^7 - 1572321382016610350710803880849011131703819888606147783073309690067\ 1298497624373867909096093242158293805309508770454301/51351207958341\ 1109557322014194874703526915931624775597553138850729018195893707514\ 67326748767952356727691792675408512*c_1001_4^6 - 8577180350464692362521495189142997653161675401874065746747309830388\ 5792391394446873819069173009846500882652583600950753/20540483183336\ 4443822928805677949881410766372649910239021255540291607278357483005\ 869306995071809426910767170701634048*c_1001_4^5 + 1022177569749590032514691022647255588919740411080071697255813772852\ 6103960997416328960340202027469782780829669932491517/25675603979170\ 5554778661007097437351763457965812387798776569425364509097946853757\ 33663374383976178363845896337704256*c_1001_4^4 + 3168257734300987745436287504467820480134177210620820188064851906634\ 751162306673608337534778049053623352048212195066657/354146261781662\ 8341774634580654308300185627114653624810711302418820815144094534583\ 953568880548438395013227081062656*c_1001_4^3 + 7899140158543380093538181813212457321475714830440838478226868115762\ 477044279595772733660808831695055567882115851608497/102702415916682\ 2219114644028389749407053831863249551195106277701458036391787415029\ 34653497535904713455383585350817024*c_1001_4^2 - 1611885846403594340157353340815832564532067893765705282881757263940\ 71772488671925573944702275768601800831221814219105499/2054048318333\ 6444382292880567794988141076637264991023902125554029160727835748300\ 5869306995071809426910767170701634048*c_1001_4 - 1010497266362038324347877257897965453697420610815867674282908580943\ 10971621301668888150496833730655600800180339696738197/2054048318333\ 6444382292880567794988141076637264991023902125554029160727835748300\ 5869306995071809426910767170701634048, c_0011_0 - 1, c_0011_10 - 14802061665379691291984148642417199778880520909447521680776\ 621758805107778454317686153090679632953/114916383708592593208762974\ 6512228666797737938721979089597483257722800312719034718823136122187\ 9380399239*c_1001_4^24 + 105573449303187706921709907459392689752264\ 351698442495572732350105090315567833314440762646122710112/114916383\ 7085925932087629746512228666797737938721979089597483257722800312719\ 0347188231361221879380399239*c_1001_4^23 - 4714915694429758106446970625013014197498960182256166358223908666410\ 63731572368070405375548371491568/1149163837085925932087629746512228\ 6667977379387219790895974832577228003127190347188231361221879380399\ 239*c_1001_4^22 + 8789927409808937348926326294198554158768535720404\ 64323844635054647278069482682847253961462948332426/1149163837085925\ 9320876297465122286667977379387219790895974832577228003127190347188\ 231361221879380399239*c_1001_4^21 - 2424596276653696004681778849800235663984217629361959374708256620266\ 78159240888485065773075776563973/1149163837085925932087629746512228\ 6667977379387219790895974832577228003127190347188231361221879380399\ 239*c_1001_4^20 - 3572458503475248275511931703610998663813259005814\ 278576675380665831256982901446573648664724521303026/114916383708592\ 5932087629746512228666797737938721979089597483257722800312719034718\ 8231361221879380399239*c_1001_4^19 + 2848733389976893863952444097824189220282664298880227208051852879504\ 013597382401653959501934392224878/114916383708592593208762974651222\ 8666797737938721979089597483257722800312719034718823136122187938039\ 9239*c_1001_4^18 + 113834943201625976839648114284636827885301367854\ 66594052615535229415260969715941654232902123061798002/1149163837085\ 9259320876297465122286667977379387219790895974832577228003127190347\ 188231361221879380399239*c_1001_4^17 + 2038618580946162318953565447283562036624659999176750542693658014573\ 3941060481570484822470365909353686/11491638370859259320876297465122\ 2866679773793872197908959748325772280031271903471882313612218793803\ 99239*c_1001_4^16 - 43375164697765699298103151198667708893120568917\ 785326016887851620244690598553316151711781169377478708/114916383708\ 5925932087629746512228666797737938721979089597483257722800312719034\ 7188231361221879380399239*c_1001_4^15 - 3728605008551622710235782150778575427685337167911553526262232679647\ 8532018607336108774350118024322366/11491638370859259320876297465122\ 2866679773793872197908959748325772280031271903471882313612218793803\ 99239*c_1001_4^14 + 11569229681396783456541899595081291153131911905\ 5973608063165603984586720402565423063871501978583358590/11491638370\ 8592593208762974651222866679773793872197908959748325772280031271903\ 47188231361221879380399239*c_1001_4^13 + 8596731074220778750263037795971622191918372726818414394978898495011\ 8680452840641088783120430365312335/11491638370859259320876297465122\ 2866679773793872197908959748325772280031271903471882313612218793803\ 99239*c_1001_4^12 - 45690433631572423617066996863616617513213121342\ 3234082749173326785096060253189066497804974623768587203/11491638370\ 8592593208762974651222866679773793872197908959748325772280031271903\ 47188231361221879380399239*c_1001_4^11 - 6331916527258977035926555896089077292242623552907372284272137980774\ 49608316591831615809037653297028609/1149163837085925932087629746512\ 2286667977379387219790895974832577228003127190347188231361221879380\ 399239*c_1001_4^10 + 1211991855787976275752630755576202550806034130\ 383482125107802533615500940141513659266806355746406034910/114916383\ 7085925932087629746512228666797737938721979089597483257722800312719\ 0347188231361221879380399239*c_1001_4^9 + 2081679333848923950044587212107546201616146739571548981811614377763\ 822460922812404776235916913439423043/114916383708592593208762974651\ 2228666797737938721979089597483257722800312719034718823136122187938\ 0399239*c_1001_4^8 - 1561917673714577401496108898549243672655540068\ 321922795926977066981361161156152590309494717142953594333/114916383\ 7085925932087629746512228666797737938721979089597483257722800312719\ 0347188231361221879380399239*c_1001_4^7 - 5222195837802303017540461168318899288330277534778343943063711275414\ 511809087054045601075443004831046274/114916383708592593208762974651\ 2228666797737938721979089597483257722800312719034718823136122187938\ 0399239*c_1001_4^6 + 1538097713686625450567800979792965038170440621\ 293047769155251123145634215533642965637764581246547649888/114916383\ 7085925932087629746512228666797737938721979089597483257722800312719\ 0347188231361221879380399239*c_1001_4^5 + 1078136378650791633324080829310761061470611896550238784883326402483\ 5709135821317198168277944930532317838/11491638370859259320876297465\ 1222866679773793872197908959748325772280031271903471882313612218793\ 80399239*c_1001_4^4 - 586433164146955095035645119922757028234508713\ 845065911140383124094554995333104298231815698526338563569/114916383\ 7085925932087629746512228666797737938721979089597483257722800312719\ 0347188231361221879380399239*c_1001_4^3 - 1292044679560286606894051870175663813729359374729012801972794985597\ 2415873315105212319072487933992597300/11491638370859259320876297465\ 1222866679773793872197908959748325772280031271903471882313612218793\ 80399239*c_1001_4^2 - 275023646704460185462056721923505387457085059\ 4363680481648679386611568203700784882920838921708761825088/11491638\ 3708592593208762974651222866679773793872197908959748325772280031271\ 90347188231361221879380399239*c_1001_4 + 6066462882561328159217086899156535134714306412516719444243396329606\ 266618899761705486348788152411308851/114916383708592593208762974651\ 2228666797737938721979089597483257722800312719034718823136122187938\ 0399239, c_0011_3 + 106070857607190005170130450232791636542502409378060011567790\ 4423278790604574227092783413127134643711/33325751275491852030541262\ 6488546313371344002229373935983270144739612090688520068458709475434\ 502031577931*c_1001_4^24 - 7682611600321739738114493481062619971805\ 452904416888794811905361101991330727950688314539078598243534/333257\ 5127549185203054126264885463133713440022293739359832701447396120906\ 88520068458709475434502031577931*c_1001_4^23 + 3845585645431916824318008673147682561824933564426228255162581393350\ 3430728868029023584357232689924155/33325751275491852030541262648854\ 6313371344002229373935983270144739612090688520068458709475434502031\ 577931*c_1001_4^22 - 8983871833229256321320750081305345031513708911\ 2422368349532207405802352436138270962741531464615234034/33325751275\ 4918520305412626488546313371344002229373935983270144739612090688520\ 068458709475434502031577931*c_1001_4^21 + 1346435676012087296128466453682331833065369119627357721289651552677\ 84331188288304557069367261122686119/3332575127549185203054126264885\ 4631337134400222937393598327014473961209068852006845870947543450203\ 1577931*c_1001_4^20 + 626995240523026641770520242034392109773720009\ 92586256135847663596539921611601505877683953851262500489/3332575127\ 5491852030541262648854631337134400222937393598327014473961209068852\ 0068458709475434502031577931*c_1001_4^19 + 2556217462602867252634612725413608543239210255862117842373441356874\ 6350746811113507265358840160313341/33325751275491852030541262648854\ 6313371344002229373935983270144739612090688520068458709475434502031\ 577931*c_1001_4^18 - 3292176251695712017968907909688532393998313406\ 15158201109125020323914103128388052671748292700561171343/3332575127\ 5491852030541262648854631337134400222937393598327014473961209068852\ 0068458709475434502031577931*c_1001_4^17 - 5908447936464832236608679318834533490718838361473106588997674408610\ 64937213722980117152354666438500772/3332575127549185203054126264885\ 4631337134400222937393598327014473961209068852006845870947543450203\ 1577931*c_1001_4^16 + 249352010723510338647826217404022960336503226\ 0327071278580518946041776112190977203435882770241939667959/33325751\ 2754918520305412626488546313371344002229373935983270144739612090688\ 520068458709475434502031577931*c_1001_4^15 - 6267479236879518593255109458867462028250646287573852481865296846641\ 95150821472379926594270109043657818/3332575127549185203054126264885\ 4631337134400222937393598327014473961209068852006845870947543450203\ 1577931*c_1001_4^14 - 614169211888548629003664385115129120536901828\ 5593860676607186080882200995271122702191393851489979567467/33325751\ 2754918520305412626488546313371344002229373935983270144739612090688\ 520068458709475434502031577931*c_1001_4^13 - 3321735093094470055957925759854267362213298183126074490248734414046\ 058514072974729517191318055122405484/333257512754918520305412626488\ 5463133713440022293739359832701447396120906885200684587094754345020\ 31577931*c_1001_4^12 + 18253492329053619099396483866972489952472208\ 534401992258994189277034521957567157453238982883071198704491/333257\ 5127549185203054126264885463133713440022293739359832701447396120906\ 88520068458709475434502031577931*c_1001_4^11 + 1350452315549573010663982835484123901921529343139479880753133667718\ 0288906755005004607671881409939804940/33325751275491852030541262648\ 8546313371344002229373935983270144739612090688520068458709475434502\ 031577931*c_1001_4^10 - 5212895402563983106544866852393828901039968\ 1833432723809315425960898773380995895545708239621287210776582/33325\ 7512754918520305412626488546313371344002229373935983270144739612090\ 688520068458709475434502031577931*c_1001_4^9 - 4490204816940172621697195212742919161086702291012364957299972247986\ 7943961839552686131418740100151439799/33325751275491852030541262648\ 8546313371344002229373935983270144739612090688520068458709475434502\ 031577931*c_1001_4^8 + 10358773291691901057791425858839364147222645\ 4798626160679218013115267825165283922739783569383385470712251/33325\ 7512754918520305412626488546313371344002229373935983270144739612090\ 688520068458709475434502031577931*c_1001_4^7 + 1803956822273726687326586195505913792638210190384268589222413018716\ 57836763638874872483229516971276723820/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931*c_1001_4^6 - 1879288455674840058231448863467289248148105\ 43321740627675676850405589135174620928111427218434122796749212/3332\ 5751275491852030541262648854631337134400222937393598327014473961209\ 0688520068458709475434502031577931*c_1001_4^5 - 3085994178106620170162904024381845453825216120402879211618752386553\ 97631724887274814642465670533300169654/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931*c_1001_4^4 + 8875106398348873805321767839599981172292321\ 236162094531217995650553390370063144704823202059664145990032/114916\ 3837085925932087629746512228666797737938721979089597483257722800312\ 7190347188231361221879380399239*c_1001_4^3 + 3448095882401692893559565645111387820277920474052558230807966621505\ 45313714882099190708791459385135904902/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931*c_1001_4^2 - 1563646013274360011846325150693114864396341\ 18356894605590993982040888406109312268861209218045822663084349/3332\ 5751275491852030541262648854631337134400222937393598327014473961209\ 0688520068458709475434502031577931*c_1001_4 - 3513835377517498134108371595982864190953510629472406825485259260622\ 14443076505518488523311999671953748177/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931, c_0011_6 + 172299579809006537072729104241775034898062463819208435947173\ 40269728217349190528107109708966977990/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931*c_1001_4^24 + 129597328271187538385916192947097730448412\ 330244008168921892497410453594323753966711584877384498220/333257512\ 7549185203054126264885463133713440022293739359832701447396120906885\ 20068458709475434502031577931*c_1001_4^23 + 2905862129065852454029103074534997895422006250055955026562826133475\ 48429360829357684305289015438928/3332575127549185203054126264885463\ 1337134400222937393598327014473961209068852006845870947543450203157\ 7931*c_1001_4^22 - 192966019668467446866897264677553588717494172775\ 5043739475087427610325720714471047034627233419174917/33325751275491\ 8520305412626488546313371344002229373935983270144739612090688520068\ 458709475434502031577931*c_1001_4^21 + 2778993757783220414602498026672593486406305241705540360085723271081\ 3559045323865026860065165619897862/33325751275491852030541262648854\ 6313371344002229373935983270144739612090688520068458709475434502031\ 577931*c_1001_4^20 - 6141305175982385684722414464559350168718593407\ 0765323178738780382701082317477919112719447592081687416/33325751275\ 4918520305412626488546313371344002229373935983270144739612090688520\ 068458709475434502031577931*c_1001_4^19 + 1612700726006553945361644274722713581942452437992272696558927957023\ 84105969007336516657242944597880229/3332575127549185203054126264885\ 4631337134400222937393598327014473961209068852006845870947543450203\ 1577931*c_1001_4^18 + 885978707930780406325210411616567646826937063\ 07855044332303807234809195986886171072447355279527483727/3332575127\ 5491852030541262648854631337134400222937393598327014473961209068852\ 0068458709475434502031577931*c_1001_4^17 + 2528118037085903759991293835147327416630141224844410613485631095388\ 57252494005793928867562909106533442/3332575127549185203054126264885\ 4631337134400222937393598327014473961209068852006845870947543450203\ 1577931*c_1001_4^16 - 553946818711524481384592040858091957467322449\ 099657477661816538181111552737059674757444133405703785907/333257512\ 7549185203054126264885463133713440022293739359832701447396120906885\ 20068458709475434502031577931*c_1001_4^15 - 7722016529519559846183454271800963257038595399245969930615607205031\ 51160375969457322762101229272271433/3332575127549185203054126264885\ 4631337134400222937393598327014473961209068852006845870947543450203\ 1577931*c_1001_4^14 + 160791628413417770104132881005164529447354951\ 4786185995077938765959632145053706768043143278519976981806/33325751\ 2754918520305412626488546313371344002229373935983270144739612090688\ 520068458709475434502031577931*c_1001_4^13 - 2415769777778829647442415164607125158335667210040588632135388950932\ 58137484970345202330143738142923182/3332575127549185203054126264885\ 4631337134400222937393598327014473961209068852006845870947543450203\ 1577931*c_1001_4^12 - 539194142347945862258964166563319712626810323\ 6421287808838232476463018311953913813602008589491631395795/33325751\ 2754918520305412626488546313371344002229373935983270144739612090688\ 520068458709475434502031577931*c_1001_4^11 - 6133997006089078341357548604580393404232294630250629325847287326099\ 905544407707481812548818980933192703/333257512754918520305412626488\ 5463133713440022293739359832701447396120906885200684587094754345020\ 31577931*c_1001_4^10 + 17797227602829061825843711151093923545488979\ 460604624459175799704598490967948913156838198133659502600254/333257\ 5127549185203054126264885463133713440022293739359832701447396120906\ 88520068458709475434502031577931*c_1001_4^9 + 3021806582683984216553862058132076277993504938600217010238294121071\ 3649596028704410858979111626073680107/33325751275491852030541262648\ 8546313371344002229373935983270144739612090688520068458709475434502\ 031577931*c_1001_4^8 - 27287852767941777914089552528147291242194926\ 165746298511080381373301369899294413735719610833940874240763/333257\ 5127549185203054126264885463133713440022293739359832701447396120906\ 88520068458709475434502031577931*c_1001_4^7 - 7994485139858041400783369630842940398434105782766199357624410166535\ 4143572061707153362694236850272754068/33325751275491852030541262648\ 8546313371344002229373935983270144739612090688520068458709475434502\ 031577931*c_1001_4^6 + 28009944607992034396190644197684546735918672\ 759759805003800516055963085904070365805899601230342367090686/333257\ 5127549185203054126264885463133713440022293739359832701447396120906\ 88520068458709475434502031577931*c_1001_4^5 + 1995866973698848693861932837886654812699817572926225544677955479489\ 27175800482953459265752376193070690449/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931*c_1001_4^4 + 1012220902015018622265757447654263857695601\ 367712024434947500397196188441688760336001823508769703483152/114916\ 3837085925932087629746512228666797737938721979089597483257722800312\ 7190347188231361221879380399239*c_1001_4^3 - 2943290833585999878984086606292333618121283614426138998367857304444\ 67950673880636924997093864491568692451/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931*c_1001_4^2 - 2846879479176252364736821282143439904201943\ 48581856127163804870550081255191603306951748262464584074761155/3332\ 5751275491852030541262648854631337134400222937393598327014473961209\ 0688520068458709475434502031577931*c_1001_4 + 1679438461686557928765633800725887467849635861092412878655589711565\ 41345560155737054158804370073994961554/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931, c_0101_0 - 257150228842773668255537331745468187930358610571332255182545\ 2092887132336363020152243344076599508617/33325751275491852030541262\ 6488546313371344002229373935983270144739612090688520068458709475434\ 502031577931*c_1001_4^24 + 1471606519624213148888722969005967015645\ 2332684500428563064765480165129876344073234973358900771934583/33325\ 7512754918520305412626488546313371344002229373935983270144739612090\ 688520068458709475434502031577931*c_1001_4^23 - 6588564858065206771186974111391308454416947836192367657794373709634\ 0357968267574111091011806504563611/33325751275491852030541262648854\ 6313371344002229373935983270144739612090688520068458709475434502031\ 577931*c_1001_4^22 + 8504633823387720483115395079853339154255438298\ 1683268089299769216562898700302665600305043636430775352/33325751275\ 4918520305412626488546313371344002229373935983270144739612090688520\ 068458709475434502031577931*c_1001_4^21 - 3640924923666500095704357236761578769116797309373970361539807763011\ 8579898336732288170569903232261666/33325751275491852030541262648854\ 6313371344002229373935983270144739612090688520068458709475434502031\ 577931*c_1001_4^20 - 5452580096444514038822676534444587307044139980\ 86866546413637660334014387361422886566925965783054247962/3332575127\ 5491852030541262648854631337134400222937393598327014473961209068852\ 0068458709475434502031577931*c_1001_4^19 - 3407948362779455640253479234185280672958025197385907249474360104930\ 76349579946916311235425260299465422/3332575127549185203054126264885\ 4631337134400222937393598327014473961209068852006845870947543450203\ 1577931*c_1001_4^18 + 439935836464606238300325152678385052441491060\ 412723451788751975261190859792667398745291401587572171600/333257512\ 7549185203054126264885463133713440022293739359832701447396120906885\ 20068458709475434502031577931*c_1001_4^17 + 3484530865499138901269355326359295123788382141004654526831681654740\ 330891329343683291226021898888655374/333257512754918520305412626488\ 5463133713440022293739359832701447396120906885200684587094754345020\ 31577931*c_1001_4^16 - 32287158515956981274234078761177444931771664\ 93097940663967474238957491084444386437496943124793562445414/3332575\ 1275491852030541262648854631337134400222937393598327014473961209068\ 8520068458709475434502031577931*c_1001_4^15 - 5028022906486420571912968915496121157326223645914569820214777788561\ 926336931602062013584067220091972752/333257512754918520305412626488\ 5463133713440022293739359832701447396120906885200684587094754345020\ 31577931*c_1001_4^14 + 10532511073848951178574642165544223242589844\ 614183846319669471640139217555629856184215315243129409264916/333257\ 5127549185203054126264885463133713440022293739359832701447396120906\ 88520068458709475434502031577931*c_1001_4^13 + 2854314276097951382478277780953013689907478084301350307131034322525\ 7451419908838783609719993960246130472/33325751275491852030541262648\ 8546313371344002229373935983270144739612090688520068458709475434502\ 031577931*c_1001_4^12 - 3197559750827810288215790122920763601439194\ 6550378570154701790929853120817299958431746247171668445114659/33325\ 7512754918520305412626488546313371344002229373935983270144739612090\ 688520068458709475434502031577931*c_1001_4^11 - 9925630253787444950276684228993459773352202693451573794856518525579\ 6666065763423513101902753773005892881/33325751275491852030541262648\ 8546313371344002229373935983270144739612090688520068458709475434502\ 031577931*c_1001_4^10 + 1166622529908715817448149275481590926009482\ 4609637758150013623668585637562560163136551238048052112593100/33325\ 7512754918520305412626488546313371344002229373935983270144739612090\ 688520068458709475434502031577931*c_1001_4^9 + 2670141780708269536732142837111501638706264231015432397741946303392\ 11862542349537556123271996205857916927/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931*c_1001_4^8 + 1187560722760336930339897316536585004875662\ 3860382397928698736883800377677286769031174018679251991107757/33325\ 7512754918520305412626488546313371344002229373935983270144739612090\ 688520068458709475434502031577931*c_1001_4^7 - 6039315131506740890821122730847817062077178032300245242822830985977\ 36142059966692775163405366333462421948/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931*c_1001_4^6 - 2809023160011227377659450486924898543150202\ 62487173587049283476826147237893067032380374514316402651778011/3332\ 5751275491852030541262648854631337134400222937393598327014473961209\ 0688520068458709475434502031577931*c_1001_4^5 + 9602659809608242659971059034278771575552092729548233128482935373069\ 05327521214974809846431186556250919815/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931*c_1001_4^4 + 2311299725600752911884247839672896571012435\ 5990487670229686160803457386083754313315335495037918208808772/11491\ 6383708592593208762974651222866679773793872197908959748325772280031\ 27190347188231361221879380399239*c_1001_4^3 - 8092822008962817745088640922141464997020905312459431392693820594368\ 34693540383379814438068099281686633682/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931*c_1001_4^2 - 7012878434643767923922734329028804546389077\ 32874059858779037283190428085384149481018073539786891402796047/3332\ 5751275491852030541262648854631337134400222937393598327014473961209\ 0688520068458709475434502031577931*c_1001_4 + 3913893468857362926574954880345656389315455449992547227187815096566\ 09134385157241573593867835852046696189/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931, c_0101_2 + 387470701596920291775246905164049500483607546926760798573170\ 1346783124939716102737170837126845226109/33325751275491852030541262\ 6488546313371344002229373935983270144739612090688520068458709475434\ 502031577931*c_1001_4^24 - 2755819460751641655890033799276769817822\ 5873695151507348118099060745611403308051812863087250108697998/33325\ 7512754918520305412626488546313371344002229373935983270144739612090\ 688520068458709475434502031577931*c_1001_4^23 + 1386185393771170310961104654827166677889813710231256127604468302426\ 09536630614429945067199395584427486/3332575127549185203054126264885\ 4631337134400222937393598327014473961209068852006845870947543450203\ 1577931*c_1001_4^22 - 334579662057820442262849823321049071617943497\ 224462874485231754437235506226900913920943617258370182291/333257512\ 7549185203054126264885463133713440022293739359832701447396120906885\ 20068458709475434502031577931*c_1001_4^21 + 5957688925819710616488440806589290087707362407228631230997378814314\ 30533224828491275132552741662909706/3332575127549185203054126264885\ 4631337134400222937393598327014473961209068852006845870947543450203\ 1577931*c_1001_4^20 - 283678450061149316432259893180038216418906364\ 648261599900162414035390173456160306238274387803716834243/333257512\ 7549185203054126264885463133713440022293739359832701447396120906885\ 20068458709475434502031577931*c_1001_4^19 + 1412504949745055151693126636150472085110189382296237666527563175275\ 257002977287240589267050606954041832/333257512754918520305412626488\ 5463133713440022293739359832701447396120906885200684587094754345020\ 31577931*c_1001_4^18 - 32577979616680853226136885156605593612393947\ 51629901713875535880417281646875418942461486165103711875553/3332575\ 1275491852030541262648854631337134400222937393598327014473961209068\ 8520068458709475434502031577931*c_1001_4^17 - 7936532113901189167240249845803353133437341757474490447436873167156\ 80715156953139651164946924305754288/3332575127549185203054126264885\ 4631337134400222937393598327014473961209068852006845870947543450203\ 1577931*c_1001_4^16 + 317395028090672037269407280250575174747565234\ 9226916707832029977197815338892994663397696455253818702432/33325751\ 2754918520305412626488546313371344002229373935983270144739612090688\ 520068458709475434502031577931*c_1001_4^15 + 4433562915599131005885281129778921373738285515980113446552634384046\ 691078280389594603297382758025846722/333257512754918520305412626488\ 5463133713440022293739359832701447396120906885200684587094754345020\ 31577931*c_1001_4^14 - 17206551647449476549493007266446748281720037\ 466098199249307493057894455926958521556175429118413030776740/333257\ 5127549185203054126264885463133713440022293739359832701447396120906\ 88520068458709475434502031577931*c_1001_4^13 - 2118455087402948219840800701278858218450893173380675776421649429873\ 9775228249253930346230544189807089325/33325751275491852030541262648\ 8546313371344002229373935983270144739612090688520068458709475434502\ 031577931*c_1001_4^12 + 6231374122095343325902724331399696880423719\ 1902211095771665553488600778815400139790468567190932178045395/33325\ 7512754918520305412626488546313371344002229373935983270144739612090\ 688520068458709475434502031577931*c_1001_4^11 + 8906245133750086085613082310112969570871183336530056581768993750968\ 4447842549841738577390836357599512141/33325751275491852030541262648\ 8546313371344002229373935983270144739612090688520068458709475434502\ 031577931*c_1001_4^10 - 9509759008348476266089236854060328646539288\ 8818084268432342988422070381393455252568306409074321082664559/33325\ 7512754918520305412626488546313371344002229373935983270144739612090\ 688520068458709475434502031577931*c_1001_4^9 - 2752448634617456910970431504736821424804165378459851665934466347447\ 56718312869825775678863166191637462901/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931*c_1001_4^8 + 1289641821752594518150776442821046288634841\ 13964435736869344643260309662972001952382080923870503779106802/3332\ 5751275491852030541262648854631337134400222937393598327014473961209\ 0688520068458709475434502031577931*c_1001_4^7 + 6936740468416131702963528713285245339445625626783599411090116835410\ 20585233258198455826422270428937851450/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931*c_1001_4^6 - 1319500799688088228608388131460989601279569\ 84502678608311532381424921370185214892974640548892534783410037/3332\ 5751275491852030541262648854631337134400222937393598327014473961209\ 0688520068458709475434502031577931*c_1001_4^5 - 1079974814039303512382555303534716565891282584656839851549654105614\ 981102234928863963699408798901633751541/333257512754918520305412626\ 4885463133713440022293739359832701447396120906885200684587094754345\ 02031577931*c_1001_4^4 - 129244779407010531702921372303223127722971\ 46296081217287818493934466233414383680384755622179264746557872/1149\ 1638370859259320876297465122286667977379387219790895974832577228003\ 127190347188231361221879380399239*c_1001_4^3 + 1149311080446515945613038764240183744821345100528403633481298246565\ 770942315981899994702187018013819397130/333257512754918520305412626\ 4885463133713440022293739359832701447396120906885200684587094754345\ 02031577931*c_1001_4^2 + 528568142291276789165578030536274534939784\ 200799461026064548997858341885010072085339206763631592939631254/333\ 2575127549185203054126264885463133713440022293739359832701447396120\ 90688520068458709475434502031577931*c_1001_4 - 2191958009079943048106515483112350345457295274312220775932702617056\ 11318119196762261482233897946500132500/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931, c_0101_3 + 171918400548220264389947764966496034034394867378792729671563\ 2390726596642104164392561367143188772021/33325751275491852030541262\ 6488546313371344002229373935983270144739612090688520068458709475434\ 502031577931*c_1001_4^24 - 1387701058913225055596031508688439674933\ 0270549955169716588545991893351157084640549369929778129186114/33325\ 7512754918520305412626488546313371344002229373935983270144739612090\ 688520068458709475434502031577931*c_1001_4^23 + 6849695168814884399810210237316387414846828078663555310590405296704\ 8140809388569972036930767260848300/33325751275491852030541262648854\ 6313371344002229373935983270144739612090688520068458709475434502031\ 577931*c_1001_4^22 - 1715305498542364946209453941721333777944683602\ 96900425516623353758369024792070517837520439856308286513/3332575127\ 5491852030541262648854631337134400222937393598327014473961209068852\ 0068458709475434502031577931*c_1001_4^21 + 2168911926832412131555589860679750524627916345739596192194552870854\ 69789320778699148588251486840242877/3332575127549185203054126264885\ 4631337134400222937393598327014473961209068852006845870947543450203\ 1577931*c_1001_4^20 + 139336148152992098977491487221508186673705116\ 405175910854177732924291780373570444920671399730265251950/333257512\ 7549185203054126264885463133713440022293739359832701447396120906885\ 20068458709475434502031577931*c_1001_4^19 - 3215273363630993821634609478565066762388502927539636087280527370542\ 34363182131904063430857010771719577/3332575127549185203054126264885\ 4631337134400222937393598327014473961209068852006845870947543450203\ 1577931*c_1001_4^18 - 104478621259058709955371057121198045926324320\ 0212218836645881296340987248914938335803135332873636088387/33325751\ 2754918520305412626488546313371344002229373935983270144739612090688\ 520068458709475434502031577931*c_1001_4^17 - 1332540326606330539537329139852287886910231443628747453131115591927\ 152591459416039080552419561962395800/333257512754918520305412626488\ 5463133713440022293739359832701447396120906885200684587094754345020\ 31577931*c_1001_4^16 + 61931294215947164969903543021727583513599123\ 44997901537858620837004605520874166260964601153648658177099/3332575\ 1275491852030541262648854631337134400222937393598327014473961209068\ 8520068458709475434502031577931*c_1001_4^15 - 8063788751840962018805430519139051315588169368703890651229351410302\ 23676740799361943296674088956187890/3332575127549185203054126264885\ 4631337134400222937393598327014473961209068852006845870947543450203\ 1577931*c_1001_4^14 - 131527616135430506008123958711982782882545787\ 09835870727930567667319893723546661767971034231690647306865/3332575\ 1275491852030541262648854631337134400222937393598327014473961209068\ 8520068458709475434502031577931*c_1001_4^13 - 2612200858211337534054382454030476730133418513478972783507265085406\ 986338602922246503863645535384869588/333257512754918520305412626488\ 5463133713440022293739359832701447396120906885200684587094754345020\ 31577931*c_1001_4^12 + 53717654336919877792815908778576111730543083\ 178253679402938347675193480453823547388514836808842249195708/333257\ 5127549185203054126264885463133713440022293739359832701447396120906\ 88520068458709475434502031577931*c_1001_4^11 + 2412421021595598206437251147687276175575932119748270784891438643617\ 0652638709574487025332461439327874058/33325751275491852030541262648\ 8546313371344002229373935983270144739612090688520068458709475434502\ 031577931*c_1001_4^10 - 1439317117254598386937904177220048575938210\ 71591081549028449683980539314799031821797934565848161504561442/3332\ 5751275491852030541262648854631337134400222937393598327014473961209\ 0688520068458709475434502031577931*c_1001_4^9 - 1481318498557842778893262080074574769161050296237927328668290084520\ 28291086805159707794704179478241542409/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931*c_1001_4^8 + 3004628025364932083216138044630953944610587\ 67144028836755344252589720401725697885513852239479968587507021/3332\ 5751275491852030541262648854631337134400222937393598327014473961209\ 0688520068458709475434502031577931*c_1001_4^7 + 4208752674582270492033487860490136086894432862363247805716481984599\ 40276260150604346718767844565323389964/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931*c_1001_4^6 - 5606144719210173732188288631039040809279702\ 52295029794451256825828459368622258919276662025934293450634344/3332\ 5751275491852030541262648854631337134400222937393598327014473961209\ 0688520068458709475434502031577931*c_1001_4^5 - 9500143588806465656954023583927886923602939713988705400161283851605\ 68452058118525443591866674541005336127/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931*c_1001_4^4 + 2281484609000344482942138113166292630194188\ 4108298380712427173152064197694882909447256008677752795022409/11491\ 6383708592593208762974651222866679773793872197908959748325772280031\ 27190347188231361221879380399239*c_1001_4^3 + 1330999988596391052686046899700206834397103614611105102097258126794\ 109559333291498749642650193699590467831/333257512754918520305412626\ 4885463133713440022293739359832701447396120906885200684587094754345\ 02031577931*c_1001_4^2 - 214794741556944563904351491505337850460581\ 151253513708936546260783134814784756648574647335597360124331701/333\ 2575127549185203054126264885463133713440022293739359832701447396120\ 90688520068458709475434502031577931*c_1001_4 - 1062039983473815343630173430233139012815718932242074781100507726177\ 081379648132365195822941227186058533092/333257512754918520305412626\ 4885463133713440022293739359832701447396120906885200684587094754345\ 02031577931, c_0101_6 - 102279603014166988031225141570071575272959246156029423284309\ 59943921163732521592629614845771306250486/3332575127549185203054126\ 2648854631337134400222937393598327014473961209068852006845870947543\ 4502031577931*c_1001_4^24 + 742098632065817639038227343102879651812\ 67120654537898534722245544164226491132549711563913738208209998/3332\ 5751275491852030541262648854631337134400222937393598327014473961209\ 0688520068458709475434502031577931*c_1001_4^23 - 3653504206284272269238845957860822672308226571509581740480594410835\ 78870680740614592804261319783977273/3332575127549185203054126264885\ 4631337134400222937393598327014473961209068852006845870947543450203\ 1577931*c_1001_4^22 + 843709874918696380130967089405433885116888331\ 695826368828824220617468636090225578524616724032101172577/333257512\ 7549185203054126264885463133713440022293739359832701447396120906885\ 20068458709475434502031577931*c_1001_4^21 - 1196372352065695100871763673106921595030267897792463068881970951457\ 689910011619742589899503894440786985/333257512754918520305412626488\ 5463133713440022293739359832701447396120906885200684587094754345020\ 31577931*c_1001_4^20 - 56493081242392352517048280286407861762940475\ 2332441375140335956133848084963221582316946849978308802344/33325751\ 2754918520305412626488546313371344002229373935983270144739612090688\ 520068458709475434502031577931*c_1001_4^19 - 4548621228042350139327409729098538469595254481681877802622252265146\ 27707536411920955052520340883497034/3332575127549185203054126264885\ 4631337134400222937393598327014473961209068852006845870947543450203\ 1577931*c_1001_4^18 + 484113640212610680296480803511816130547409018\ 1094202199637030919334126179901482965874402569108443940523/33325751\ 2754918520305412626488546313371344002229373935983270144739612090688\ 520068458709475434502031577931*c_1001_4^17 + 8114638163951398171686059206243632079996100982968989847544436382807\ 510130779027278213134198461627379211/333257512754918520305412626488\ 5463133713440022293739359832701447396120906885200684587094754345020\ 31577931*c_1001_4^16 - 23513643819646181321470325404911493137506030\ 320202744413512985205112601193251350436058926799592111877454/333257\ 5127549185203054126264885463133713440022293739359832701447396120906\ 88520068458709475434502031577931*c_1001_4^15 - 1881651421972911224124117370509293655596690948865510198939128993130\ 574658842581112310379773852886243628/333257512754918520305412626488\ 5463133713440022293739359832701447396120906885200684587094754345020\ 31577931*c_1001_4^14 + 53476661729493852696233231075002037986837039\ 986450034358941804159623512027965714831101389141830936726269/333257\ 5127549185203054126264885463133713440022293739359832701447396120906\ 88520068458709475434502031577931*c_1001_4^13 + 4311980961792970664811011591204430736782670540513332917821324650442\ 5522611546820537298514395058937602312/33325751275491852030541262648\ 8546313371344002229373935983270144739612090688520068458709475434502\ 031577931*c_1001_4^12 - 2087190155721012945949392356625699079024392\ 22794533290216531886900237966019955185639637323385069755537142/3332\ 5751275491852030541262648854631337134400222937393598327014473961209\ 0688520068458709475434502031577931*c_1001_4^11 - 2183670739319087080987023580480983617903226233268085727619886347716\ 36936223845498475657535530469858914860/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931*c_1001_4^10 + 459196937066734877557675183206126151429824\ 641947805750674708206218016267640482713501552871012173971778827/333\ 2575127549185203054126264885463133713440022293739359832701447396120\ 90688520068458709475434502031577931*c_1001_4^9 + 7607108921480123509826832355705726138642527863627435263844261371795\ 94545328653367557016460416080708560454/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931*c_1001_4^8 - 8118856447649605015300922464794138523414064\ 31984021624767232554551898102261565197857196228838634409468935/3332\ 5751275491852030541262648854631337134400222937393598327014473961209\ 0688520068458709475434502031577931*c_1001_4^7 - 2082586265529814559944275990464954849807641072583931546955507488674\ 047759813232028386516724701793887926650/333257512754918520305412626\ 4885463133713440022293739359832701447396120906885200684587094754345\ 02031577931*c_1001_4^6 + 132009591335215298156269455936470573637469\ 9693215736193051264262084306273690208771597314735967630500078894/33\ 3257512754918520305412626488546313371344002229373935983270144739612\ 090688520068458709475434502031577931*c_1001_4^5 + 3774891792864275409465809188814881388845011439049956012195101467119\ 050878087012139298730231213847429897641/333257512754918520305412626\ 4885463133713440022293739359832701447396120906885200684587094754345\ 02031577931*c_1001_4^4 - 299218658090688380594527442928595681380266\ 20320968449297421421793701979651014680345016501634211249942603/1149\ 1638370859259320876297465122286667977379387219790895974832577228003\ 127190347188231361221879380399239*c_1001_4^3 - 4324183107026775593812510210238311282193289009081594318662302535341\ 779031088027463541622777199097294023976/333257512754918520305412626\ 4885463133713440022293739359832701447396120906885200684587094754345\ 02031577931*c_1001_4^2 - 653701595482178946184081017978888388843806\ 819344382955105693533803700680046861496008508188598336106134369/333\ 2575127549185203054126264885463133713440022293739359832701447396120\ 90688520068458709475434502031577931*c_1001_4 + 2890713117900223752836063766646977841137588890519609669758023803258\ 774054257125009526779899263263004368620/333257512754918520305412626\ 4885463133713440022293739359832701447396120906885200684587094754345\ 02031577931, c_0101_9 - 301796839159236629138467797051754189888026307918096375703949\ 093801369217642367870526972211409991376/333257512754918520305412626\ 4885463133713440022293739359832701447396120906885200684587094754345\ 02031577931*c_1001_4^24 + 22944728415678679103416874469586881741572\ 73470651251814603547692349404321504435220023043660539120689/3332575\ 1275491852030541262648854631337134400222937393598327014473961209068\ 8520068458709475434502031577931*c_1001_4^23 - 9762546040560684838224136385659153246453318385152178072556274950039\ 942399485895558074429177663021694/333257512754918520305412626488546\ 3133713440022293739359832701447396120906885200684587094754345020315\ 77931*c_1001_4^22 + 17823573581529887788682218625673924846490562592\ 736747110805630023723612489802691512712052782762270005/333257512754\ 9185203054126264885463133713440022293739359832701447396120906885200\ 68458709475434502031577931*c_1001_4^21 + 7857679272668254382804852996670957163868159855656416645314162776453\ 578328493927584516740818492675948/333257512754918520305412626488546\ 3133713440022293739359832701447396120906885200684587094754345020315\ 77931*c_1001_4^20 - 98263353109498426958526972452703191440356596644\ 145213386943571918453038242197759536545290830206041761/333257512754\ 9185203054126264885463133713440022293739359832701447396120906885200\ 68458709475434502031577931*c_1001_4^19 + 1335500269717143975792265863355567404571855349988344682208017949167\ 90256801932650084615453800144175856/3332575127549185203054126264885\ 4631337134400222937393598327014473961209068852006845870947543450203\ 1577931*c_1001_4^18 + 282926735371769902674984823638391329806684856\ 384959109633323051049071827092831889454091966250526063327/333257512\ 7549185203054126264885463133713440022293739359832701447396120906885\ 20068458709475434502031577931*c_1001_4^17 + 7018146680972431956275881298987130687999346556977340990812566553284\ 90476818273163146229111756565382347/3332575127549185203054126264885\ 4631337134400222937393598327014473961209068852006845870947543450203\ 1577931*c_1001_4^16 - 130393451040853445227885965704995776529958649\ 7405568465608768861606820144850435497287401229887771463368/33325751\ 2754918520305412626488546313371344002229373935983270144739612090688\ 520068458709475434502031577931*c_1001_4^15 - 1438857896083125337920061415739067468436028493744434880823180382861\ 182271018810985612952576904743506014/333257512754918520305412626488\ 5463133713440022293739359832701447396120906885200684587094754345020\ 31577931*c_1001_4^14 + 31874881706169210523043444661438408951047944\ 86955673055893048023398038691523168130347135713094607872700/3332575\ 1275491852030541262648854631337134400222937393598327014473961209068\ 8520068458709475434502031577931*c_1001_4^13 + 2423118885721511402650891559987560454873448730810250744310893704684\ 757778579660072673382211336801951826/333257512754918520305412626488\ 5463133713440022293739359832701447396120906885200684587094754345020\ 31577931*c_1001_4^12 - 11581310748310448149393555282131701009979342\ 756086696697414804018844948149420083087957586193046477386031/333257\ 5127549185203054126264885463133713440022293739359832701447396120906\ 88520068458709475434502031577931*c_1001_4^11 - 2036676343272090724456559902999942781916172839135967721975801755326\ 3147192168774555729176246973082248671/33325751275491852030541262648\ 8546313371344002229373935983270144739612090688520068458709475434502\ 031577931*c_1001_4^10 + 3186550344751844371435470650081706839678509\ 1645439706634867532169461678424823762360845757672291669632401/33325\ 7512754918520305412626488546313371344002229373935983270144739612090\ 688520068458709475434502031577931*c_1001_4^9 + 7166824049261044684530561556386310172912496875241091664551022277378\ 1312402244069707099580397315089027114/33325751275491852030541262648\ 8546313371344002229373935983270144739612090688520068458709475434502\ 031577931*c_1001_4^8 - 36403489401997355484617094320471713907250513\ 390562345880457807879040548006629787095026096235274899914650/333257\ 5127549185203054126264885463133713440022293739359832701447396120906\ 88520068458709475434502031577931*c_1001_4^7 - 1796311068349431520543140588637693943866477877513949101065001059501\ 14358840324592702473253329965820099723/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931*c_1001_4^6 + 2397078169067759656398103082369319012515916\ 5580815731933870868236162726512461499227609794295315429659509/33325\ 7512754918520305412626488546313371344002229373935983270144739612090\ 688520068458709475434502031577931*c_1001_4^5 + 3818926610132535744419161636147334545526414953991518062097786234994\ 78629169227505944284922158524296529199/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931*c_1001_4^4 + 1135784710213646007622002766648574624647792\ 241669841886281236682703804713120141304789213383564835591146/114916\ 3837085925932087629746512228666797737938721979089597483257722800312\ 7190347188231361221879380399239*c_1001_4^3 - 4816290667516066839863959249482425860798141354277904768096426907058\ 23532196962239190978724632211976264157/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931*c_1001_4^2 - 1974131113497326765120457693149801473488521\ 98443881842617225336012030718152658252535352710449315691178800/3332\ 5751275491852030541262648854631337134400222937393598327014473961209\ 0688520068458709475434502031577931*c_1001_4 + 2420473741977346050953600116957153655774165633960692776102578288453\ 63226921829257879613395406435633123645/3332575127549185203054126264\ 8854631337134400222937393598327014473961209068852006845870947543450\ 2031577931, c_0110_5 - 672470818249439474014271029873100178050791748210683188958712\ 57592056527045859205090998730461722759/1149163837085925932087629746\ 5122286667977379387219790895974832577228003127190347188231361221879\ 380399239*c_1001_4^24 + 4166044534145989364859471970297136304846211\ 88635288608187999712529348517735833813397692759448715277/1149163837\ 0859259320876297465122286667977379387219790895974832577228003127190\ 347188231361221879380399239*c_1001_4^23 - 1978231119949338685088559736817077775561806806795378211491523724797\ 147263814976488169041169747138768/114916383708592593208762974651222\ 8666797737938721979089597483257722800312719034718823136122187938039\ 9239*c_1001_4^22 + 352717067500667442036629394759799794084409305589\ 1406631283294218646132282320973625125473092953070546/11491638370859\ 2593208762974651222866679773793872197908959748325772280031271903471\ 88231361221879380399239*c_1001_4^21 - 4434819758002562110085198772190535907318828876502064477113828860621\ 960947134288188052714536445192043/114916383708592593208762974651222\ 8666797737938721979089597483257722800312719034718823136122187938039\ 9239*c_1001_4^20 - 852177862361990444924627021030577721678310160885\ 9916907848341514812591926798685473381688966258025945/11491638370859\ 2593208762974651222866679773793872197908959748325772280031271903471\ 88231361221879380399239*c_1001_4^19 - 1112457987108324369665701778284499748265586181446821032922831375005\ 9306463721363346170226645669425942/11491638370859259320876297465122\ 2866679773793872197908959748325772280031271903471882313612218793803\ 99239*c_1001_4^18 + 14991123966516450269366167431319206468455508418\ 089330167495717582302131095503888848991492902976748542/114916383708\ 5925932087629746512228666797737938721979089597483257722800312719034\ 7188231361221879380399239*c_1001_4^17 + 6322042393314174143485164383415199715482238831435813744678946228611\ 1142306158855898227310223147169851/11491638370859259320876297465122\ 2866679773793872197908959748325772280031271903471882313612218793803\ 99239*c_1001_4^16 - 87614336672407739079290029203965668747784541335\ 194280227146141552906643219853649463396293354517911389/114916383708\ 5925932087629746512228666797737938721979089597483257722800312719034\ 7188231361221879380399239*c_1001_4^15 - 7754677042647762775105306045139589309991620594098965396208393760360\ 7277535340307883453092136369992394/11491638370859259320876297465122\ 2866679773793872197908959748325772280031271903471882313612218793803\ 99239*c_1001_4^14 + 28392032065883603596795175490016576225033418281\ 8976112542012356808672029820246435135978057433675332051/11491638370\ 8592593208762974651222866679773793872197908959748325772280031271903\ 47188231361221879380399239*c_1001_4^13 + 5114832970614242490286473817655442287278468660455079355837764975376\ 90471577392404808564336792353610494/1149163837085925932087629746512\ 2286667977379387219790895974832577228003127190347188231361221879380\ 399239*c_1001_4^12 - 7510820261956241684462985238126088621433289880\ 04861366032678455131768223338051371277620816839885414962/1149163837\ 0859259320876297465122286667977379387219790895974832577228003127190\ 347188231361221879380399239*c_1001_4^11 - 1935796911088286840140062472898928916376769571995602655139361129623\ 727181911277133043990688802286107202/114916383708592593208762974651\ 2228666797737938721979089597483257722800312719034718823136122187938\ 0399239*c_1001_4^10 + 811127963344013939740416482313365634663639467\ 578773048715996431603104526373009199271915821257989232822/114916383\ 7085925932087629746512228666797737938721979089597483257722800312719\ 0347188231361221879380399239*c_1001_4^9 + 5189446061482125490816342310418896135358325016763556126996065230857\ 590269616406884995889845917220421556/114916383708592593208762974651\ 2228666797737938721979089597483257722800312719034718823136122187938\ 0399239*c_1001_4^8 - 1310692858321608298033136921904164351283230687\ 285498599950732605904987654932786742441070857196188059900/114916383\ 7085925932087629746512228666797737938721979089597483257722800312719\ 0347188231361221879380399239*c_1001_4^7 - 1193855201961585416162027264684017507878934883921932599724353022517\ 7816085877817915009530173674924670867/11491638370859259320876297465\ 1222866679773793872197908959748325772280031271903471882313612218793\ 80399239*c_1001_4^6 - 317309875878268873355008834247251512912996705\ 5031500672495556688792803447027504023612503804895814257252/11491638\ 3708592593208762974651222866679773793872197908959748325772280031271\ 90347188231361221879380399239*c_1001_4^5 + 1827985397618478300815334785505403423039337583196411056549015748577\ 9535778087913259457712673987015953932/11491638370859259320876297465\ 1222866679773793872197908959748325772280031271903471882313612218793\ 80399239*c_1001_4^4 + 856795097332748125894122756499339748148990333\ 1501795222241664929469638004525597684752714648949207342282/11491638\ 3708592593208762974651222866679773793872197908959748325772280031271\ 90347188231361221879380399239*c_1001_4^3 - 1447153855792564412896279293969859991587764714084217919178658341599\ 2414867991257250175497506046539561527/11491638370859259320876297465\ 1222866679773793872197908959748325772280031271903471882313612218793\ 80399239*c_1001_4^2 - 853623092763282083291722145420499512251672337\ 7148486543502661771718410689849422626234692045553185645785/11491638\ 3708592593208762974651222866679773793872197908959748325772280031271\ 90347188231361221879380399239*c_1001_4 + 5812661897656389851913080907254076742244093085215022235700530761716\ 570934080880666718533895855727114510/114916383708592593208762974651\ 2228666797737938721979089597483257722800312719034718823136122187938\ 0399239, c_1001_4^25 - 80/13*c_1001_4^24 + 363/13*c_1001_4^23 - 582/13*c_1001_4^22 + 448/13*c_1001_4^21 + 161*c_1001_4^20 + 1867/13*c_1001_4^19 - 5768/13*c_1001_4^18 - 16811/13*c_1001_4^17 + 15918/13*c_1001_4^16 + 35363/13*c_1001_4^15 - 60498/13*c_1001_4^14 - 127693/13*c_1001_4^13 + 185858/13*c_1001_4^12 + 579347/13*c_1001_4^11 - 215372/13*c_1001_4^10 - 1574436/13*c_1001_4^9 - 192893/13*c_1001_4^8 + 278383*c_1001_4^7 + 1575501/13*c_1001_4^6 - 6236833/13*c_1001_4^5 - 4804434/13*c_1001_4^4 + 5901192/13*c_1001_4^3 + 7426349/13*c_1001_4^2 - 1759566/13*c_1001_4 - 4253773/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.280 Total time: 0.480 seconds, Total memory usage: 32.09MB