Magma V2.19-8 Tue Aug 20 2013 23:58:34 on localhost [Seed = 981226160] Type ? for help. Type -D to quit. Loading file "K13n1187__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1187 geometric_solution 11.39338769 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 -1 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.456402692570 0.771653533820 0 3 6 5 0132 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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.361547767871 1.834008249517 3 0 6 3 1023 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 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.130488626379 0.761364651450 1 2 2 0 1023 1023 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 0 0 -1 1 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.130488626379 0.761364651450 5 7 0 6 3012 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.898601402983 0.830921149530 8 9 1 4 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 6 -7 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.566175123706 0.859613632803 9 2 4 1 2031 1230 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.115214776856 0.751094892426 10 4 11 10 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.260872149395 0.471233385222 5 12 11 11 0132 0132 3120 1230 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 -1 0 1 0 -6 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.441925736243 1.125623102583 12 5 6 11 0132 0132 1302 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.071980952393 0.488385587124 7 7 12 12 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.100798007584 1.624297572077 8 9 8 7 3012 1302 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -6 7 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.697792544739 0.769748547136 9 8 10 10 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.100798007584 1.624297572077 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : d['c_0011_6'], 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : negation(d['c_0101_6']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : d['c_0101_1'], 'c_1001_8' : negation(d['c_0101_12']), 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : negation(d['c_0101_6']), 'c_1010_10' : negation(d['c_0101_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(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_1100_8' : negation(d['c_0101_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_4'], 'c_1100_4' : negation(d['c_1001_6']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_0110_4'], 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : negation(d['c_1001_6']), 'c_1100_3' : negation(d['c_1001_6']), 'c_1100_2' : negation(d['c_1001_6']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_6'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0101_12'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_11'], 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_0101_11'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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'], 'c_1100_12' : d['c_0101_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_12'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_10']), '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' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_11']), 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_12' : negation(d['c_0011_6']), 'c_0101_7' : negation(d['c_0101_11']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_11'], 'c_0101_9' : negation(d['c_0011_6']), 'c_0101_8' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0011_11'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_11'], 'c_0110_2' : d['c_0101_2'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_1'], 's_2_9' : d['1']})} 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_12, c_0011_6, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_2, c_0101_6, c_0110_4, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 1966978158210238639769581999178681366678642399855032073332014576934\ 708824979615271/202389245132163439297304205552235482280915643443272\ 094187478328168633869610042500*c_0110_4^31 - 1687393887838070037589188275186040330767983514942085232903449895456\ 98162914270467/7784201735852439972973238675085980087727524747818157\ 468749166468024379600386250*c_0110_4^30 + 3693154855003789152480524532512074260945907665030499605979558123256\ 511106148664784/168657704276802866081086837960196235234096369536060\ 07848956527347386155800836875*c_0110_4^29 + 1527679113684497053725905537148816671996323559281875522608383886920\ 1663649054747851/67463081710721146432434735184078494093638547814424\ 031395826109389544623203347500*c_0110_4^28 - 1158770016645407156144340101248436738756434748086030651953131417120\ 25865296482117/4592449401682855441282146710965179992759601621131656\ 3237458209250881295577500*c_0110_4^27 + 7697473859364593730313027393738195324297121388444151596073905336977\ 380433095745989/168657704276802866081086837960196235234096369536060\ 07848956527347386155800836875*c_0110_4^26 + 1560991251870469072695394898390009312665080617178935768534880759604\ 30596749781381002/1011946225660817196486521027761177411404578217216\ 3604709373916408431693480502125*c_0110_4^25 - 3710622527549921778476564861631886985998602617608528580055550614308\ 784562117332145667/202389245132163439297304205552235482280915643443\ 272094187478328168633869610042500*c_0110_4^24 - 4382112393629965033816794165717536257085208557915135989601811615529\ 9086113751731701/11243846951786857738739122530679749015606424635737\ 33856597101823159077053389125*c_0110_4^23 + 8836096810516791152427222081256529121073501114953041703034804906811\ 605546505389444403/101194622566081719648652102776117741140457821721\ 636047093739164084316934805021250*c_0110_4^22 - 5824458559513116342627423789673875553633816143752145820650580351725\ 8254798866901831/40477849026432687859460841110447096456183128688654\ 418837495665633726773922008500*c_0110_4^21 - 3068797378271349496856797980357326178728086543758162801598154217542\ 74360863505244131/1011946225660817196486521027761177411404578217216\ 3604709373916408431693480502125*c_0110_4^20 - 4299938235830294434485413954632876350859194379232903678041294242796\ 4158656227748978059/20238924513216343929730420555223548228091564344\ 3272094187478328168633869610042500*c_0110_4^19 - 2978476458574140586264843411290044016682601318029953102111856694967\ 238825066713915743/404778490264326878594608411104470964561831286886\ 54418837495665633726773922008500*c_0110_4^18 + 1317580456338594199970297192594452014905290574523305089448610832543\ 14639488688571643297/6746308171072114643243473518407849409363854781\ 4424031395826109389544623203347500*c_0110_4^17 - 7451341276750899544848629193366062237695426964503150737171037055785\ 93896838720415034259/2023892451321634392973042055522354822809156434\ 43272094187478328168633869610042500*c_0110_4^16 + 1900007266694774975542235465476854638691373660363323083270395144109\ 5589640293974121947/20238924513216343929730420555223548228091564344\ 327209418747832816863386961004250*c_0110_4^15 + 4823573610748165299146790005489669554240715607435328738183502538240\ 17147850930139847827/6746308171072114643243473518407849409363854781\ 4424031395826109389544623203347500*c_0110_4^14 - 4981398565759545234585033139307722203819026245570852958100359092221\ 6598584849947873522/33731540855360573216217367592039247046819273907\ 21201569791305469477231160167375*c_0110_4^13 + 1578340654086848664682729617881438292978854891598416793635475519907\ 243035449929255054139/101194622566081719648652102776117741140457821\ 721636047093739164084316934805021250*c_0110_4^12 - 1035054018195487028478032595883928018368750314415104389699610426484\ 241803186356359978369/101194622566081719648652102776117741140457821\ 721636047093739164084316934805021250*c_0110_4^11 + 4509206483716809022863188036883177622307870759836189058091863436204\ 91403111375541957407/1011946225660817196486521027761177411404578217\ 21636047093739164084316934805021250*c_0110_4^10 - 1702636899243641403061623063601209889147834001370169711592415877570\ 4629247653118456093/80955698052865375718921682220894192912366257377\ 30883767499133126745354784401700*c_0110_4^9 + 2235222189433444056175347257108700301186332521894137057454532882638\ 47722997334035366343/1011946225660817196486521027761177411404578217\ 21636047093739164084316934805021250*c_0110_4^8 - 7256042736927671436569804784262171007452872828191207518572589179193\ 1068642125336952339/33731540855360573216217367592039247046819273907\ 212015697913054694772311601673750*c_0110_4^7 + 5548883392549133251251286104863870943390563353628420284135475680828\ 2984835360619348804/50597311283040859824326051388058870570228910860\ 818023546869582042158467402510625*c_0110_4^6 - 8010214655790136053177140571478180121173430610398528986855322862884\ 83068890441139563/6746308171072114643243473518407849409363854781442\ 4031395826109389544623203347500*c_0110_4^5 - 3737803753393995136658866653482937400022525290476851786010265875911\ 270999704111624871/112438469517868577387391225306797490156064246357\ 37338565971018231590770533891250*c_0110_4^4 + 3697784453258299087712548982225551035809918756667194919402320504636\ 0733632911517711293/20238924513216343929730420555223548228091564344\ 3272094187478328168633869610042500*c_0110_4^3 - 2029568915459631748134555391415684508717186321586643085433312086531\ 895967313170391107/674630817107211464324347351840784940936385478144\ 24031395826109389544623203347500*c_0110_4^2 - 8402201553392970238321410736997204512766031959194610481981529895091\ 01510691370618979/2023892451321634392973042055522354822809156434432\ 72094187478328168633869610042500*c_0110_4 + 4526484452065149987640008109416557474955030766843056379543338687787\ 3766430069702169/20238924513216343929730420555223548228091564344327\ 2094187478328168633869610042500, c_0011_0 - 1, c_0011_10 - 74128130210725295162201005520025163355990412541379772681699\ 4490586482/21133395476770662207670055661078704391460113654765144144\ 67103434553829531*c_0110_4^31 + 26300772592574852587311709153464930\ 8182382992552785468596386664203069/16256458059054355544361581277752\ 8495318923951190501108805161802657986887*c_0110_4^30 + 1102467426577111890124648605867187903028001234074126152762129785807\ 7053/70444651589235540692233518870262347971533712182550480482236781\ 1517943177*c_0110_4^29 - 262872382369104367875497276560708782949423\ 04224238877924658811062371475/7044465158923554069223351887026234797\ 15337121825504804822367811517943177*c_0110_4^28 - 1030151090220819987565524386302573814707292765658776206708283413107\ 1584/54188193530181185147871937592509498439641317063500369601720600\ 885995629*c_0110_4^27 + 3678850211370930352649478926483437475009853\ 29527442713289663954970308070/7044465158923554069223351887026234797\ 15337121825504804822367811517943177*c_0110_4^26 + 1946606890643836754243489532650308478326666150557034514624379997433\ 488051/211333954767706622076700556610787043914601136547651441446710\ 3434553829531*c_0110_4^25 - 823425082800097637983222023988346832308\ 0973212800869989790109454267873864/21133395476770662207670055661078\ 70439146011365476514414467103434553829531*c_0110_4^24 - 4636128567154878393733387281094696782824900141032480377963864499189\ 7043/70444651589235540692233518870262347971533712182550480482236781\ 1517943177*c_0110_4^23 + 270322259744033916732114095949615193817323\ 54733468063360469045543803114971/2113339547677066220767005566107870\ 439146011365476514414467103434553829531*c_0110_4^22 - 2297300079100678242226859233114661103779534454519345972182822379752\ 0561114/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4^21 - 16646771209792096417500650970168822963\ 047927168166129125256101433858901508/211333954767706622076700556610\ 7870439146011365476514414467103434553829531*c_0110_4^20 - 2794360355175848669230642089957073656649606767504404880598134915833\ 9074826/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4^19 + 90677820360237243547700076649199692979\ 879119568939609682068874019659385004/211333954767706622076700556610\ 7870439146011365476514414467103434553829531*c_0110_4^18 + 9553580115503246800416913898614749493347900119781875200333457808533\ 3655781/70444651589235540692233518870262347971533712182550480482236\ 7811517943177*c_0110_4^17 - 112503339913581472738688785613859175627\ 2172391124089759574547165416987496201/21133395476770662207670055661\ 07870439146011365476514414467103434553829531*c_0110_4^16 + 1179331016436382358564566505742325572470632951826112701430474946468\ 878077722/211333954767706622076700556610787043914601136547651441446\ 7103434553829531*c_0110_4^15 + 271286108582338138461604341972536548\ 386350642978855721896590698373785856087/704446515892355406922335188\ 702623479715337121825504804822367811517943177*c_0110_4^14 - 1340057383663061345125738728310209779139190258568507497754775592284\ 507433807/704446515892355406922335188702623479715337121825504804822\ 367811517943177*c_0110_4^13 + 5992721825439231297348594840463625986\ 655966351240789961464138501332090389256/211333954767706622076700556\ 6107870439146011365476514414467103434553829531*c_0110_4^12 - 5432420671294514722484712930069888161909808695063370136889124374097\ 613009489/211333954767706622076700556610787043914601136547651441446\ 7103434553829531*c_0110_4^11 + 338681345714988878489289068090660927\ 1137966356379788353083184901734181382722/21133395476770662207670055\ 66107870439146011365476514414467103434553829531*c_0110_4^10 - 1676436083578464483011730795841413626159574939226304635922248865179\ 777256204/211333954767706622076700556610787043914601136547651441446\ 7103434553829531*c_0110_4^9 + 1030537012255599842409968485151587678\ 849878784294347753379882609614231002011/211333954767706622076700556\ 6107870439146011365476514414467103434553829531*c_0110_4^8 - 3098492483871833282144772248320041064286545402148837384657233040118\ 58612421/7044465158923554069223351887026234797153371218255048048223\ 67811517943177*c_0110_4^7 + 703988361136278098137868251321083188275\ 314078841877665776962087483630810195/211333954767706622076700556610\ 7870439146011365476514414467103434553829531*c_0110_4^6 - 9841899500910998346452186255089338449785838088697425207576584698223\ 9075273/70444651589235540692233518870262347971533712182550480482236\ 7811517943177*c_0110_4^5 - 1987995773596105177718603964299278270209\ 290037837937226636351347279037151/704446515892355406922335188702623\ 479715337121825504804822367811517943177*c_0110_4^4 + 8961800959430013489547241718738215143592710551653483403798938971013\ 8034374/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4^3 - 189378999293872373992473126217693047144\ 57970899393958371486147380062277463/7044465158923554069223351887026\ 23479715337121825504804822367811517943177*c_0110_4^2 + 1672878931478581671694348560854733925143350713594944033844267304989\ 6295498/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4 - 11513678140423439417513574284178709188612\ 10909804747881880723437879926726/2113339547677066220767005566107870\ 439146011365476514414467103434553829531, c_0011_11 + 97762564899080960640054479532174371032180116811724461806777\ 98713643099/2113339547677066220767005566107870439146011365476514414\ 467103434553829531*c_0110_4^31 + 2373553481065749401237225853562800\ 544405552152582050138696103392814950/162564580590543555443615812777\ 528495318923951190501108805161802657986887*c_0110_4^30 - 6172902775389984880952712777522570656729657000375122753080707205991\ 6096/70444651589235540692233518870262347971533712182550480482236781\ 1517943177*c_0110_4^29 - 127102330102697079302688581998302717545741\ 280749161819291692739416275862/704446515892355406922335188702623479\ 715337121825504804822367811517943177*c_0110_4^28 + 5245450089662091143162626397566468778650745837086113174215885814709\ 2945/54188193530181185147871937592509498439641317063500369601720600\ 885995629*c_0110_4^27 + 4008587020412429529395926055731014407506398\ 81278869740607591869478192653/7044465158923554069223351887026234797\ 15337121825504804822367811517943177*c_0110_4^26 - 1280188012381388234853461679698836916367077240865671506870170201177\ 2629795/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4^25 + 72269247066308816506946398039037556255\ 37164056760834540037367673419076752/2113339547677066220767005566107\ 870439146011365476514414467103434553829531*c_0110_4^24 + 1185072685273064512919864906308640007109924638280974099165363467243\ 7885331/70444651589235540692233518870262347971533712182550480482236\ 7811517943177*c_0110_4^23 - 486118066982948092266651720837731345290\ 74907702432982984040884371522214857/2113339547677066220767005566107\ 870439146011365476514414467103434553829531*c_0110_4^22 - 1190007182472660175984847241105677910906897138829431325574073950996\ 3105728/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4^21 - 21700001976199739406065101043663698631\ 920864688376195842673341521589553955/211333954767706622076700556610\ 7870439146011365476514414467103434553829531*c_0110_4^20 + 1653933948486132430506133274933769653302249452330196955293911934378\ 63158461/2113339547677066220767005566107870439146011365476514414467\ 103434553829531*c_0110_4^19 + 2352950964115416269840695526762222002\ 88697018560950122244544100453653237305/2113339547677066220767005566\ 107870439146011365476514414467103434553829531*c_0110_4^18 - 5302366029416557536517474348465162449129248221207204738199932120551\ 93582961/7044465158923554069223351887026234797153371218255048048223\ 67811517943177*c_0110_4^17 + 23721706061695259412820675743273787778\ 89625360973724442921233233532976371093/2113339547677066220767005566\ 107870439146011365476514414467103434553829531*c_0110_4^16 - 1379192681379509636811316238228563356028978297797537157966166607662\ 5961197/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4^15 - 18250126553031612995612042496048521141\ 08561292145262686573372410488121380578/7044465158923554069223351887\ 02623479715337121825504804822367811517943177*c_0110_4^14 + 3442589372517453541460784006828808618592235183631720711396008628334\ 354077952/704446515892355406922335188702623479715337121825504804822\ 367811517943177*c_0110_4^13 - 1083418812408810376475379875191476819\ 6862779165858274801745176662551173271602/21133395476770662207670055\ 66107870439146011365476514414467103434553829531*c_0110_4^12 + 7374930366963886787543324474931990687298730351054140207108481853306\ 564787015/211333954767706622076700556610787043914601136547651441446\ 7103434553829531*c_0110_4^11 - 347950246473803075521028984890718479\ 9597870511219761576584857340925869712540/21133395476770662207670055\ 66107870439146011365476514414467103434553829531*c_0110_4^10 + 1672358401801383957124111556256994576042607211107934805291518751754\ 801119571/211333954767706622076700556610787043914601136547651441446\ 7103434553829531*c_0110_4^9 - 1525208849537332671538349923248921895\ 926590039787004152390079595461241472859/211333954767706622076700556\ 6107870439146011365476514414467103434553829531*c_0110_4^8 + 4748780043500049794469914197728040357351075840803766577171696351371\ 91958963/7044465158923554069223351887026234797153371218255048048223\ 67811517943177*c_0110_4^7 - 770929075189025032185336408542590699427\ 042365210887489218843229040724648726/211333954767706622076700556610\ 7870439146011365476514414467103434553829531*c_0110_4^6 + 2221166869769318973497868563122997151883542404482027862743932523891\ 9677776/70444651589235540692233518870262347971533712182550480482236\ 7811517943177*c_0110_4^5 + 7206384410185218171021957969882493508709\ 9345370650877789023523190448725895/70444651589235540692233518870262\ 3479715337121825504804822367811517943177*c_0110_4^4 - 1491252133916084686667905607124165099370061785005745568894161182917\ 00792713/2113339547677066220767005566107870439146011365476514414467\ 103434553829531*c_0110_4^3 + 11635614153144836306311485452065076418\ 116505059640058734177751924478709391/704446515892355406922335188702\ 623479715337121825504804822367811517943177*c_0110_4^2 + 1972382329513918169095341465819156182919585555572096427966852488067\ 014800/211333954767706622076700556610787043914601136547651441446710\ 3434553829531*c_0110_4 - 107060566640480890862195041295351496597486\ 3986468332661634898731039699805/21133395476770662207670055661078704\ 39146011365476514414467103434553829531, c_0011_12 - 14685141240043844007933942805880521683175485348417213723007\ 88792/2316580828475999639981384354057722855767958389225995440222802\ 64593*c_0110_4^31 - 25188586107711713789385797515509187432638061958\ 3416138440607747/17819852526738458769087571954290175813599679917123\ 041847867712661*c_0110_4^30 + 3317061236356889257993017597760345060\ 9578770731708895403159713370/23165808284759996399813843540577228557\ 6795838922599544022280264593*c_0110_4^29 + 34614103541374101338943256319408575181051665791667827141262569498/2\ 31658082847599963998138435405772285576795838922599544022280264593*c\ _0110_4^28 - 294134379120122446496568810251303089346414401622743944\ 89193579144/1781985252673845876908757195429017581359967991712304184\ 7867712661*c_0110_4^27 + 625495382037333773942060696241163168544091\ 07122377913398428207348/2316580828475999639981384354057722855767958\ 38922599544022280264593*c_0110_4^26 + 2341798665826672925803017601296427267122110105099784857058464859790\ /231658082847599963998138435405772285576795838922599544022280264593\ *c_0110_4^25 - 2721636211331085322920230293177551883181542251931015\ 869366508096431/231658082847599963998138435405772285576795838922599\ 544022280264593*c_0110_4^24 - 5974017841501713775009259777349890144\ 559332449589409717376882310298/231658082847599963998138435405772285\ 576795838922599544022280264593*c_0110_4^23 + 1299512082804509219081284809683563805811963708821866723220702550498\ 2/23165808284759996399813843540577228557679583892259954402228026459\ 3*c_0110_4^22 + 199391845377606418886298614854592744938014007237613\ 061936767430592/231658082847599963998138435405772285576795838922599\ 544022280264593*c_0110_4^21 - 4146372141175535096960025815639007261\ 884635456351913132638841910711/231658082847599963998138435405772285\ 576795838922599544022280264593*c_0110_4^20 - 3313847179778829334736973635520502188833269535962951374865229474184\ 6/23165808284759996399813843540577228557679583892259954402228026459\ 3*c_0110_4^19 - 122181201652407863806647324743414610686116528948367\ 11213884008908141/2316580828475999639981384354057722855767958389225\ 99544022280264593*c_0110_4^18 + 29662413632313873468233922102127223\ 0978655038972606667751826302375480/23165808284759996399813843540577\ 2285576795838922599544022280264593*c_0110_4^17 - 5503255002730647001650572513630441035491674685690429716937532244449\ 44/2316580828475999639981384354057722855767958389225995440222802645\ 93*c_0110_4^16 + 13298641491340769056416737394624761987076913095731\ 0442028711602033282/23165808284759996399813843540577228557679583892\ 2599544022280264593*c_0110_4^15 + 106814134679903042243411983611717\ 9218600481407088903041724501561449477/23165808284759996399813843540\ 5772285576795838922599544022280264593*c_0110_4^14 - 2193088368381695228061443396910165940876175382473837496549714307950\ 273/231658082847599963998138435405772285576795838922599544022280264\ 593*c_0110_4^13 + 2333434765522020589928807444620525094683449973032\ 017522395312203369192/231658082847599963998138435405772285576795838\ 922599544022280264593*c_0110_4^12 - 1577581179698744215906568885546223737587172835836622085102258325792\ 140/231658082847599963998138435405772285576795838922599544022280264\ 593*c_0110_4^11 + 7437317568093365958245018203336753247319753168959\ 21326552514609077229/2316580828475999639981384354057722855767958389\ 22599544022280264593*c_0110_4^10 - 3758550554472435267636409751045613812208070442230562718623371943657\ 27/2316580828475999639981384354057722855767958389225995440222802645\ 93*c_0110_4^9 + 356039952254836208229721830473275200330171056466631\ 640166619723511122/231658082847599963998138435405772285576795838922\ 599544022280264593*c_0110_4^8 - 32719536539424612023688289862949192\ 2315846588594021654804368112248300/23165808284759996399813843540577\ 2285576795838922599544022280264593*c_0110_4^7 + 1701687034598402579278124204613405366085050387937814819403325421829\ 63/2316580828475999639981384354057722855767958389225995440222802645\ 93*c_0110_4^6 - 132071390446286284964570205693596849224445253692209\ 23045710125505458/2316580828475999639981384354057722855767958389225\ 99544022280264593*c_0110_4^5 - 412338355886278230364921686493890074\ 20868866293487142389709191235573/2316580828475999639981384354057722\ 85576795838922599544022280264593*c_0110_4^4 + 2636838365853519253635123474753884100064825542923154424476589868935\ 6/23165808284759996399813843540577228557679583892259954402228026459\ 3*c_0110_4^3 - 6566208288520803202242936527822836219023993902699443\ 603970178371693/231658082847599963998138435405772285576795838922599\ 544022280264593*c_0110_4^2 + 53514913091692063984192119930079773677\ 5144281031166639614715829688/23165808284759996399813843540577228557\ 6795838922599544022280264593*c_0110_4 - 158465858202196335009626397445798228889803730260265456075724381483/\ 231658082847599963998138435405772285576795838922599544022280264593, c_0011_6 + 977625648990809606400544795321743710321801168117244618067779\ 8713643099/21133395476770662207670055661078704391460113654765144144\ 67103434553829531*c_0110_4^31 + 23735534810657494012372258535628005\ 44405552152582050138696103392814950/1625645805905435554436158127775\ 28495318923951190501108805161802657986887*c_0110_4^30 - 6172902775389984880952712777522570656729657000375122753080707205991\ 6096/70444651589235540692233518870262347971533712182550480482236781\ 1517943177*c_0110_4^29 - 127102330102697079302688581998302717545741\ 280749161819291692739416275862/704446515892355406922335188702623479\ 715337121825504804822367811517943177*c_0110_4^28 + 5245450089662091143162626397566468778650745837086113174215885814709\ 2945/54188193530181185147871937592509498439641317063500369601720600\ 885995629*c_0110_4^27 + 4008587020412429529395926055731014407506398\ 81278869740607591869478192653/7044465158923554069223351887026234797\ 15337121825504804822367811517943177*c_0110_4^26 - 1280188012381388234853461679698836916367077240865671506870170201177\ 2629795/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4^25 + 72269247066308816506946398039037556255\ 37164056760834540037367673419076752/2113339547677066220767005566107\ 870439146011365476514414467103434553829531*c_0110_4^24 + 1185072685273064512919864906308640007109924638280974099165363467243\ 7885331/70444651589235540692233518870262347971533712182550480482236\ 7811517943177*c_0110_4^23 - 486118066982948092266651720837731345290\ 74907702432982984040884371522214857/2113339547677066220767005566107\ 870439146011365476514414467103434553829531*c_0110_4^22 - 1190007182472660175984847241105677910906897138829431325574073950996\ 3105728/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4^21 - 21700001976199739406065101043663698631\ 920864688376195842673341521589553955/211333954767706622076700556610\ 7870439146011365476514414467103434553829531*c_0110_4^20 + 1653933948486132430506133274933769653302249452330196955293911934378\ 63158461/2113339547677066220767005566107870439146011365476514414467\ 103434553829531*c_0110_4^19 + 2352950964115416269840695526762222002\ 88697018560950122244544100453653237305/2113339547677066220767005566\ 107870439146011365476514414467103434553829531*c_0110_4^18 - 5302366029416557536517474348465162449129248221207204738199932120551\ 93582961/7044465158923554069223351887026234797153371218255048048223\ 67811517943177*c_0110_4^17 + 23721706061695259412820675743273787778\ 89625360973724442921233233532976371093/2113339547677066220767005566\ 107870439146011365476514414467103434553829531*c_0110_4^16 - 1379192681379509636811316238228563356028978297797537157966166607662\ 5961197/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4^15 - 18250126553031612995612042496048521141\ 08561292145262686573372410488121380578/7044465158923554069223351887\ 02623479715337121825504804822367811517943177*c_0110_4^14 + 3442589372517453541460784006828808618592235183631720711396008628334\ 354077952/704446515892355406922335188702623479715337121825504804822\ 367811517943177*c_0110_4^13 - 1083418812408810376475379875191476819\ 6862779165858274801745176662551173271602/21133395476770662207670055\ 66107870439146011365476514414467103434553829531*c_0110_4^12 + 7374930366963886787543324474931990687298730351054140207108481853306\ 564787015/211333954767706622076700556610787043914601136547651441446\ 7103434553829531*c_0110_4^11 - 347950246473803075521028984890718479\ 9597870511219761576584857340925869712540/21133395476770662207670055\ 66107870439146011365476514414467103434553829531*c_0110_4^10 + 1672358401801383957124111556256994576042607211107934805291518751754\ 801119571/211333954767706622076700556610787043914601136547651441446\ 7103434553829531*c_0110_4^9 - 1525208849537332671538349923248921895\ 926590039787004152390079595461241472859/211333954767706622076700556\ 6107870439146011365476514414467103434553829531*c_0110_4^8 + 4748780043500049794469914197728040357351075840803766577171696351371\ 91958963/7044465158923554069223351887026234797153371218255048048223\ 67811517943177*c_0110_4^7 - 770929075189025032185336408542590699427\ 042365210887489218843229040724648726/211333954767706622076700556610\ 7870439146011365476514414467103434553829531*c_0110_4^6 + 2221166869769318973497868563122997151883542404482027862743932523891\ 9677776/70444651589235540692233518870262347971533712182550480482236\ 7811517943177*c_0110_4^5 + 7206384410185218171021957969882493508709\ 9345370650877789023523190448725895/70444651589235540692233518870262\ 3479715337121825504804822367811517943177*c_0110_4^4 - 1491252133916084686667905607124165099370061785005745568894161182917\ 00792713/2113339547677066220767005566107870439146011365476514414467\ 103434553829531*c_0110_4^3 + 11635614153144836306311485452065076418\ 116505059640058734177751924478709391/704446515892355406922335188702\ 623479715337121825504804822367811517943177*c_0110_4^2 + 1972382329513918169095341465819156182919585555572096427966852488067\ 014800/211333954767706622076700556610787043914601136547651441446710\ 3434553829531*c_0110_4 - 107060566640480890862195041295351496597486\ 3986468332661634898731039699805/21133395476770662207670055661078704\ 39146011365476514414467103434553829531, c_0101_1 + 355353066694064864500188832231829477774292414032293216720392\ 4468919644/70444651589235540692233518870262347971533712182550480482\ 2367811517943177*c_0110_4^31 + 103692242633634155843658489822760228\ 6325308042624349834555568219403217/54188193530181185147871937592509\ 498439641317063500369601720600885995629*c_0110_4^30 - 6130997396345517293029802033540020880683389905335258571318329441023\ 2544/70444651589235540692233518870262347971533712182550480482236781\ 1517943177*c_0110_4^29 - 186285372902299398177019680416480366518363\ 445922060313696185798010934196/704446515892355406922335188702623479\ 715337121825504804822367811517943177*c_0110_4^28 + 5181706242073532489854614210018083541200031610681107313320751186980\ 6165/54188193530181185147871937592509498439641317063500369601720600\ 885995629*c_0110_4^27 + 9807368318123206818686420508429749382359921\ 85296165315028225587059171385/7044465158923554069223351887026234797\ 15337121825504804822367811517943177*c_0110_4^26 - 4570910595699183129258198690807150642766722288919502792600785289173\ 702262/704446515892355406922335188702623479715337121825504804822367\ 811517943177*c_0110_4^25 - 7692338916539966857284702975460765653399\ 37740500066944813018074748726535/7044465158923554069223351887026234\ 79715337121825504804822367811517943177*c_0110_4^24 + 1596871159189463576298792811467358958907145866087494966294271935828\ 6186413/70444651589235540692233518870262347971533712182550480482236\ 7811517943177*c_0110_4^23 - 839111941413187092209247658484893879067\ 3903592864989809391663584868929949/70444651589235540692233518870262\ 3479715337121825504804822367811517943177*c_0110_4^22 - 2083611981482545456345872401255144845783889769913994758522045089497\ 6090925/70444651589235540692233518870262347971533712182550480482236\ 7811517943177*c_0110_4^21 - 108520913155861449442069250208552565627\ 98018637769539611640980441196867264/7044465158923554069223351887026\ 23479715337121825504804822367811517943177*c_0110_4^20 + 6388093850406688475332260195027323486828804891785385504295657207844\ 5993959/70444651589235540692233518870262347971533712182550480482236\ 7811517943177*c_0110_4^19 + 132132074174872378579867550199904640693\ 581949636656784103201254889178779890/704446515892355406922335188702\ 623479715337121825504804822367811517943177*c_0110_4^18 - 5448098402006950685274181645966365863970854819958482934437113869825\ 75068839/7044465158923554069223351887026234797153371218255048048223\ 67811517943177*c_0110_4^17 + 43708852856521124289769555576307875759\ 8474124213832219559808619495710984498/70444651589235540692233518870\ 2623479715337121825504804822367811517943177*c_0110_4^16 + 7042618714772317600312980332917721953859645375156468554542620295295\ 60795188/7044465158923554069223351887026234797153371218255048048223\ 67811517943177*c_0110_4^15 - 20387862582264572985267812645196970555\ 86082736487929346965069424464900533531/7044465158923554069223351887\ 02623479715337121825504804822367811517943177*c_0110_4^14 + 2181005688598851029788052957566328470867235144582869945474410808117\ 280607072/704446515892355406922335188702623479715337121825504804822\ 367811517943177*c_0110_4^13 - 1027174236860865052976643971018384118\ 217640175245929288373348501913753150280/704446515892355406922335188\ 702623479715337121825504804822367811517943177*c_0110_4^12 - 1719116811847958095856716382917892850662339753328857015366407892660\ 83399906/7044465158923554069223351887026234797153371218255048048223\ 67811517943177*c_0110_4^11 + 46000703715739557183092948907847081587\ 5241257153508882887991806074964223679/70444651589235540692233518870\ 2623479715337121825504804822367811517943177*c_0110_4^10 - 8500078450131466854018666917941340603224680708796875870632542824980\ 7339525/70444651589235540692233518870262347971533712182550480482236\ 7811517943177*c_0110_4^9 - 1969312056169752684106354643404433790130\ 76965425113764403087853696937375079/7044465158923554069223351887026\ 23479715337121825504804822367811517943177*c_0110_4^8 + 9979036294900785762800096033183352254534088960680166415109222133325\ 4238774/70444651589235540692233518870262347971533712182550480482236\ 7811517943177*c_0110_4^7 + 1057766663534051714607218480443879757629\ 38125769304613865206584870688520639/7044465158923554069223351887026\ 23479715337121825504804822367811517943177*c_0110_4^6 - 1453650220662020596940045448925217036497963578246384690359933868978\ 51715203/7044465158923554069223351887026234797153371218255048048223\ 67811517943177*c_0110_4^5 + 564045094239059284751406075373711516206\ 00825045949658399178620971879975968/7044465158923554069223351887026\ 23479715337121825504804822367811517943177*c_0110_4^4 + 1165747835595432108878577540797355228400406205627312166486457314552\ 2350445/70444651589235540692233518870262347971533712182550480482236\ 7811517943177*c_0110_4^3 - 1726531191055775670940086508055411911636\ 9301341389629863233857257466489236/70444651589235540692233518870262\ 3479715337121825504804822367811517943177*c_0110_4^2 + 4909698861080290707862715041148532165523280911101983485108096104837\ 865833/704446515892355406922335188702623479715337121825504804822367\ 811517943177*c_0110_4 - 1103998969425561925592880863550206159256272\ 26284770353094689903398489907/7044465158923554069223351887026234797\ 15337121825504804822367811517943177, c_0101_10 + 69041642860759389058239111554803561933065903103428987814799\ 24990102228/2113339547677066220767005566107870439146011365476514414\ 467103434553829531*c_0110_4^31 + 1186195683631637259235658172804647\ 074517607836703498280751190391431386/162564580590543555443615812777\ 528495318923951190501108805161802657986887*c_0110_4^30 - 4898847418520494393096158443040588782152809331219821699140214371651\ 3977/70444651589235540692233518870262347971533712182550480482236781\ 1517943177*c_0110_4^29 - 432267592237588603065634666382948805741817\ 77192874060088223959325566968/7044465158923554069223351887026234797\ 15337121825504804822367811517943177*c_0110_4^28 + 4211921870523988174962609199839825407595549456452517874047748502019\ 3633/54188193530181185147871937592509498439641317063500369601720600\ 885995629*c_0110_4^27 - 2512119613616964643999538170222849399745809\ 57960807814571997368585914243/7044465158923554069223351887026234797\ 15337121825504804822367811517943177*c_0110_4^26 - 9330983778610159706714009467875341072746727488378897401737089102392\ 728275/211333954767706622076700556610787043914601136547651441446710\ 3434553829531*c_0110_4^25 + 152101381354752469030326943141531930744\ 63002220271497491600818141898054488/2113339547677066220767005566107\ 870439146011365476514414467103434553829531*c_0110_4^24 + 5634529849760038016648421288943633530150753135754777215808173676844\ 520236/704446515892355406922335188702623479715337121825504804822367\ 811517943177*c_0110_4^23 - 6312327846804907519645392235674825849357\ 8382392768125048344040057626441787/21133395476770662207670055661078\ 70439146011365476514414467103434553829531*c_0110_4^22 + 3707259022516799140421099432254129418198791104609407347560635259269\ 7199034/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4^21 + 15176836165758429203917923813295481339\ 73974872313700431201800025706999845/2113339547677066220767005566107\ 870439146011365476514414467103434553829531*c_0110_4^20 + 1088782291885656989350700325036503140731610381646686971699698995155\ 74585273/2113339547677066220767005566107870439146011365476514414467\ 103434553829531*c_0110_4^19 + 1594578120574994602594426718206760147\ 6759837602592120704145456785986448801/21133395476770662207670055661\ 07870439146011365476514414467103434553829531*c_0110_4^18 - 4114997449310127520216628686225823103412419058545992055284327097387\ 14108654/7044465158923554069223351887026234797153371218255048048223\ 67811517943177*c_0110_4^17 + 29278958794545237962277739078485305296\ 31374429277635614993010179830217427054/2113339547677066220767005566\ 107870439146011365476514414467103434553829531*c_0110_4^16 - 1957349093449372268772895502028475966740352494768841711321976763139\ 852277842/211333954767706622076700556610787043914601136547651441446\ 7103434553829531*c_0110_4^15 - 130918670766645676231073800471289999\ 7932194232836662092566011429334709669656/70444651589235540692233518\ 8702623479715337121825504804822367811517943177*c_0110_4^14 + 3929209659100791006796192730582946525066501216501578386978916037735\ 526310168/704446515892355406922335188702623479715337121825504804822\ 367811517943177*c_0110_4^13 - 1554114214090563776672469437164732860\ 3357079777236558668710237348825987793416/21133395476770662207670055\ 66107870439146011365476514414467103434553829531*c_0110_4^12 + 1280751952153853748128315841687564326377985552295339833074701928187\ 0693965873/21133395476770662207670055661078704391460113654765144144\ 67103434553829531*c_0110_4^11 - 71805992449324705698133193027833174\ 72808481210752959115045885052390052888168/2113339547677066220767005\ 566107870439146011365476514414467103434553829531*c_0110_4^10 + 3351457251364206587884421342485435331795215765704349967265408404831\ 081197766/211333954767706622076700556610787043914601136547651441446\ 7103434553829531*c_0110_4^9 - 2367720200761768046275806891779668649\ 186864872564349488341074509112214545869/211333954767706622076700556\ 6107870439146011365476514414467103434553829531*c_0110_4^8 + 7683270092764840098128945784092841930284455611365702331029000744230\ 47855530/7044465158923554069223351887026234797153371218255048048223\ 67811517943177*c_0110_4^7 - 160701373226255397809245444376632027750\ 2465347263683214982476145687150065286/21133395476770662207670055661\ 07870439146011365476514414467103434553829531*c_0110_4^6 + 1666615743415961355331667073330707251062119139870405497780719095780\ 75017376/7044465158923554069223351887026234797153371218255048048223\ 67811517943177*c_0110_4^5 + 563580360301791050604433182870703673690\ 67545008006830456099210597311542067/7044465158923554069223351887026\ 23479715337121825504804822367811517943177*c_0110_4^4 - 2276455287470814764289316699839382034978361358455346544584189894288\ 33068676/2113339547677066220767005566107870439146011365476514414467\ 103434553829531*c_0110_4^3 + 28389902146184145252402717265870631702\ 491672140694317862705895906282319783/704446515892355406922335188702\ 623479715337121825504804822367811517943177*c_0110_4^2 - 1143314751713880894974613867405333557569765711380075243834783055967\ 3752634/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4 + 14256744211430777530445845986008099546976\ 01739751966754588236155383656506/2113339547677066220767005566107870\ 439146011365476514414467103434553829531, c_0101_11 - 15929642362757835236103212543962626324670635518962012534025\ 077907112173/211333954767706622076700556610787043914601136547651441\ 4467103434553829531*c_0110_4^31 - 334950139410589330083191374757473\ 5078024270249921002184653621760640877/16256458059054355544361581277\ 7528495318923951190501108805161802657986887*c_0110_4^30 + 1116002037967057804305686849718218348938367796084644985236576852268\ 67986/7044465158923554069223351887026234797153371218255048048223678\ 11517943177*c_0110_4^29 + 17890471759570551643613956389678198235407\ 5940213325174079629841975282046/70444651589235540692233518870262347\ 9715337121825504804822367811517943177*c_0110_4^28 - 9763434824135374141314514988708764347004901315056069570315162979073\ 4790/54188193530181185147871937592509498439641317063500369601720600\ 885995629*c_0110_4^27 - 3831725166356617494709224281925976330876670\ 68507958903611786194175718029/7044465158923554069223351887026234797\ 15337121825504804822367811517943177*c_0110_4^26 + 2401545683865786987593032859318321688856823334161274208691967658866\ 0655384/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4^25 - 17510947546383883115697884650182984584\ 744855574706944972535650318888514427/211333954767706622076700556610\ 7870439146011365476514414467103434553829531*c_0110_4^24 - 2283667550299311704334364879157476202977564016504661353197650030428\ 4722487/70444651589235540692233518870262347971533712182550480482236\ 7811517943177*c_0110_4^23 + 102101063191997167793481931570783344889\ 342896894025919956725477335816596573/211333954767706622076700556610\ 7870439146011365476514414467103434553829531*c_0110_4^22 + 3887574448133892274137619972384106240580405526034886958710028407196\ 4050159/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4^21 - 19005293525893485641033847401807192154\ 83249222227696330236011157585524864/2113339547677066220767005566107\ 870439146011365476514414467103434553829531*c_0110_4^20 - 3506536943826291040044332283271458332112170891371369447387136391640\ 97397539/2113339547677066220767005566107870439146011365476514414467\ 103434553829531*c_0110_4^19 - 3151997295624261322163541431197896879\ 77876112701638165020723065564361646936/2113339547677066220767005566\ 107870439146011365476514414467103434553829531*c_0110_4^18 + 9932145563920857600423727151841404387155777824684173320183729774671\ 85503801/7044465158923554069223351887026234797153371218255048048223\ 67811517943177*c_0110_4^17 - 45189650450142023361750269623928947199\ 89489752360387854783762311461501585973/2113339547677066220767005566\ 107870439146011365476514414467103434553829531*c_0110_4^16 - 1987921392900246214982770741560688666164282555734047570514904174593\ 76140126/2113339547677066220767005566107870439146011365476514414467\ 103434553829531*c_0110_4^15 + 3500987242888630899849222946484140539\ 089780607575601621173494131037504388812/704446515892355406922335188\ 702623479715337121825504804822367811517943177*c_0110_4^14 - 6182881338494037533029685259100198924848178234840387367470041307165\ 507293511/704446515892355406922335188702623479715337121825504804822\ 367811517943177*c_0110_4^13 + 1824027107060472249635490416144646575\ 9917128739952244183912534882965362577203/21133395476770662207670055\ 66107870439146011365476514414467103434553829531*c_0110_4^12 - 1184186385125967962507833931272664881301591407024536466636067590933\ 3568296579/21133395476770662207670055661078704391460113654765144144\ 67103434553829531*c_0110_4^11 + 58326807241224093704883792608844406\ 01409406101684380770399164319332698923777/2113339547677066220767005\ 566107870439146011365476514414467103434553829531*c_0110_4^10 - 3457706796507955573591438210724932802550484135273616077164668832827\ 866811888/211333954767706622076700556610787043914601136547651441446\ 7103434553829531*c_0110_4^9 + 3209222735282460749943050682895272357\ 305598811694146175517057860089540654609/211333954767706622076700556\ 6107870439146011365476514414467103434553829531*c_0110_4^8 - 8637906883912576154523890070350541401982192016060120036485485447928\ 42596584/7044465158923554069223351887026234797153371218255048048223\ 67811517943177*c_0110_4^7 + 118876680961087077598497991051199476749\ 5821794320637042558027815761101086423/21133395476770662207670055661\ 07870439146011365476514414467103434553829531*c_0110_4^6 - 2201230919473115277756943706723750208892809205499590626170073229358\ 8641650/70444651589235540692233518870262347971533712182550480482236\ 7811517943177*c_0110_4^5 - 8563386080315486186626416794987864142697\ 5805664892010113219158603474704100/70444651589235540692233518870262\ 3479715337121825504804822367811517943177*c_0110_4^4 + 1598270315164225306350784331772737596232480660995837736505023355988\ 73943169/2113339547677066220767005566107870439146011365476514414467\ 103434553829531*c_0110_4^3 - 16621793026971119217495020399869234709\ 514600086192972612888266946640944283/704446515892355406922335188702\ 623479715337121825504804822367811517943177*c_0110_4^2 + 1061882980500585810377428519555566790867756045279411690291904441275\ 5310367/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4 - 11921569609144503505289849731481835073361\ 70727543144512793040848006716107/2113339547677066220767005566107870\ 439146011365476514414467103434553829531, c_0101_12 + 74128130210725295162201005520025163355990412541379772681699\ 4490586482/21133395476770662207670055661078704391460113654765144144\ 67103434553829531*c_0110_4^31 - 26300772592574852587311709153464930\ 8182382992552785468596386664203069/16256458059054355544361581277752\ 8495318923951190501108805161802657986887*c_0110_4^30 - 1102467426577111890124648605867187903028001234074126152762129785807\ 7053/70444651589235540692233518870262347971533712182550480482236781\ 1517943177*c_0110_4^29 + 262872382369104367875497276560708782949423\ 04224238877924658811062371475/7044465158923554069223351887026234797\ 15337121825504804822367811517943177*c_0110_4^28 + 1030151090220819987565524386302573814707292765658776206708283413107\ 1584/54188193530181185147871937592509498439641317063500369601720600\ 885995629*c_0110_4^27 - 3678850211370930352649478926483437475009853\ 29527442713289663954970308070/7044465158923554069223351887026234797\ 15337121825504804822367811517943177*c_0110_4^26 - 1946606890643836754243489532650308478326666150557034514624379997433\ 488051/211333954767706622076700556610787043914601136547651441446710\ 3434553829531*c_0110_4^25 + 823425082800097637983222023988346832308\ 0973212800869989790109454267873864/21133395476770662207670055661078\ 70439146011365476514414467103434553829531*c_0110_4^24 + 4636128567154878393733387281094696782824900141032480377963864499189\ 7043/70444651589235540692233518870262347971533712182550480482236781\ 1517943177*c_0110_4^23 - 270322259744033916732114095949615193817323\ 54733468063360469045543803114971/2113339547677066220767005566107870\ 439146011365476514414467103434553829531*c_0110_4^22 + 2297300079100678242226859233114661103779534454519345972182822379752\ 0561114/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4^21 + 16646771209792096417500650970168822963\ 047927168166129125256101433858901508/211333954767706622076700556610\ 7870439146011365476514414467103434553829531*c_0110_4^20 + 2794360355175848669230642089957073656649606767504404880598134915833\ 9074826/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4^19 - 90677820360237243547700076649199692979\ 879119568939609682068874019659385004/211333954767706622076700556610\ 7870439146011365476514414467103434553829531*c_0110_4^18 - 9553580115503246800416913898614749493347900119781875200333457808533\ 3655781/70444651589235540692233518870262347971533712182550480482236\ 7811517943177*c_0110_4^17 + 112503339913581472738688785613859175627\ 2172391124089759574547165416987496201/21133395476770662207670055661\ 07870439146011365476514414467103434553829531*c_0110_4^16 - 1179331016436382358564566505742325572470632951826112701430474946468\ 878077722/211333954767706622076700556610787043914601136547651441446\ 7103434553829531*c_0110_4^15 - 271286108582338138461604341972536548\ 386350642978855721896590698373785856087/704446515892355406922335188\ 702623479715337121825504804822367811517943177*c_0110_4^14 + 1340057383663061345125738728310209779139190258568507497754775592284\ 507433807/704446515892355406922335188702623479715337121825504804822\ 367811517943177*c_0110_4^13 - 5992721825439231297348594840463625986\ 655966351240789961464138501332090389256/211333954767706622076700556\ 6107870439146011365476514414467103434553829531*c_0110_4^12 + 5432420671294514722484712930069888161909808695063370136889124374097\ 613009489/211333954767706622076700556610787043914601136547651441446\ 7103434553829531*c_0110_4^11 - 338681345714988878489289068090660927\ 1137966356379788353083184901734181382722/21133395476770662207670055\ 66107870439146011365476514414467103434553829531*c_0110_4^10 + 1676436083578464483011730795841413626159574939226304635922248865179\ 777256204/211333954767706622076700556610787043914601136547651441446\ 7103434553829531*c_0110_4^9 - 1030537012255599842409968485151587678\ 849878784294347753379882609614231002011/211333954767706622076700556\ 6107870439146011365476514414467103434553829531*c_0110_4^8 + 3098492483871833282144772248320041064286545402148837384657233040118\ 58612421/7044465158923554069223351887026234797153371218255048048223\ 67811517943177*c_0110_4^7 - 703988361136278098137868251321083188275\ 314078841877665776962087483630810195/211333954767706622076700556610\ 7870439146011365476514414467103434553829531*c_0110_4^6 + 9841899500910998346452186255089338449785838088697425207576584698223\ 9075273/70444651589235540692233518870262347971533712182550480482236\ 7811517943177*c_0110_4^5 + 1987995773596105177718603964299278270209\ 290037837937226636351347279037151/704446515892355406922335188702623\ 479715337121825504804822367811517943177*c_0110_4^4 - 8961800959430013489547241718738215143592710551653483403798938971013\ 8034374/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4^3 + 189378999293872373992473126217693047144\ 57970899393958371486147380062277463/7044465158923554069223351887026\ 23479715337121825504804822367811517943177*c_0110_4^2 - 1672878931478581671694348560854733925143350713594944033844267304989\ 6295498/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4 + 11513678140423439417513574284178709188612\ 10909804747881880723437879926726/2113339547677066220767005566107870\ 439146011365476514414467103434553829531, c_0101_2 + 125657656388262163110160120414402902887157361281521838380974\ 13576859200/2113339547677066220767005566107870439146011365476514414\ 467103434553829531*c_0110_4^31 + 2831766261966523004772909162352571\ 048933572895743092399489097387497059/162564580590543555443615812777\ 528495318923951190501108805161802657986887*c_0110_4^30 - 8726114255356691821808777759236777836458010632720767294250002089347\ 6982/70444651589235540692233518870262347971533712182550480482236781\ 1517943177*c_0110_4^29 - 163074790176968891963412957280835017857337\ 194046519417788708280004315734/704446515892355406922335188702623479\ 715337121825504804822367811517943177*c_0110_4^28 + 7706889452610311248310209236800678280940536541567471187448901333491\ 9400/54188193530181185147871937592509498439641317063500369601720600\ 885995629*c_0110_4^27 + 5578147660281093000137923516735278069970960\ 99222943398113217786191749140/7044465158923554069223351887026234797\ 15337121825504804822367811517943177*c_0110_4^26 - 1973161331599193381348583012564309137330489565494122423554470004195\ 2336776/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4^25 + 94773425659283723581622082671135251215\ 12336563759287076951329188883058615/2113339547677066220767005566107\ 870439146011365476514414467103434553829531*c_0110_4^24 + 2101832583720237741205112705630124263500598965706457560131972855781\ 3270324/70444651589235540692233518870262347971533712182550480482236\ 7811517943177*c_0110_4^23 - 728958475293795033003679504254645359287\ 06648419506779441434228326092183474/2113339547677066220767005566107\ 870439146011365476514414467103434553829531*c_0110_4^22 - 6611362962390164953276218379502695594139849995513879086667584229066\ 1232484/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4^21 + 18673540533455420763729068584288199908\ 356024022560678672869735813360958563/211333954767706622076700556610\ 7870439146011365476514414467103434553829531*c_0110_4^20 + 2947177305458025852179666607257461572178861104960167893843271517413\ 98563200/2113339547677066220767005566107870439146011365476514414467\ 103434553829531*c_0110_4^19 + 3016419311687163850696944541577057843\ 05456452353796685117425800786832027784/2113339547677066220767005566\ 107870439146011365476514414467103434553829531*c_0110_4^18 - 7980793351246741013867665362590542449388731285007367403174940758548\ 88585927/7044465158923554069223351887026234797153371218255048048223\ 67811517943177*c_0110_4^17 + 29981501136320299181159221699604236121\ 88870540015662897340188775861904616653/2113339547677066220767005566\ 107870439146011365476514414467103434553829531*c_0110_4^16 + 1637380780191333723245897236372193372841776861730401812303862606375\ 443010252/211333954767706622076700556610787043914601136547651441446\ 7103434553829531*c_0110_4^15 - 308622289322400981654861020181266909\ 1769025585775376365224345573263274995903/70444651589235540692233518\ 8702623479715337121825504804822367811517943177*c_0110_4^14 + 4192212638331967385714834022980528654378813445856370331703288814827\ 399285050/704446515892355406922335188702623479715337121825504804822\ 367811517943177*c_0110_4^13 - 8612039847633011476244125402646152438\ 707410409624293606269225590960939277810/211333954767706622076700556\ 6107870439146011365476514414467103434553829531*c_0110_4^12 + 2298321707084063517109697290778511184011426288398431154595388624160\ 582799028/211333954767706622076700556610787043914601136547651441446\ 7103434553829531*c_0110_4^11 + 577005744432444785759314525678782714\ 800375665999265874302585888264182492961/211333954767706622076700556\ 6107870439146011365476514414467103434553829531*c_0110_4^10 + 2691166267460535183140111712468946174068389023389024398085887619912\ 43829384/2113339547677066220767005566107870439146011365476514414467\ 103434553829531*c_0110_4^9 - 14961739031679234013943486595277629344\ 37551978324826134547250739681838699670/2113339547677066220767005566\ 107870439146011365476514414467103434553829531*c_0110_4^8 + 3706882016447686902158803563586216358274758830124426811876329794193\ 56449836/7044465158923554069223351887026234797153371218255048048223\ 67811517943177*c_0110_4^7 + 625579042600053529407602273746639664934\ 06565022626415217773714509283906875/2113339547677066220767005566107\ 870439146011365476514414467103434553829531*c_0110_4^6 - 1911782197472375419637138493339677514911010428869155774555306463312\ 68283656/7044465158923554069223351887026234797153371218255048048223\ 67811517943177*c_0110_4^5 + 101189089575840861649969396773327446534\ 766714471222507904047480037291824523/704446515892355406922335188702\ 623479715337121825504804822367811517943177*c_0110_4^4 + 1211150681085486075055085449223235165781478324824841457019950690203\ 2889750/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4^3 - 202555166597885768712647699551056019285\ 93533650290176054270041085818058366/7044465158923554069223351887026\ 23479715337121825504804822367811517943177*c_0110_4^2 + 1367204094824766131379111398009505749589025979114200620344162863736\ 6841583/21133395476770662207670055661078704391460113654765144144671\ 03434553829531*c_0110_4 + 42526183460648492316868585285244586098008\ 8904410217006398393681422750084/21133395476770662207670055661078704\ 39146011365476514414467103434553829531, c_0101_6 + 146851412400438440079339428058805216831754853484172137230078\ 8792/23165808284759996399813843540577228557679583892259954402228026\ 4593*c_0110_4^31 + 251885861077117137893857975155091874326380619583\ 416138440607747/178198525267384587690875719542901758135996799171230\ 41847867712661*c_0110_4^30 - 33170612363568892579930175977603450609\ 578770731708895403159713370/231658082847599963998138435405772285576\ 795838922599544022280264593*c_0110_4^29 - 34614103541374101338943256319408575181051665791667827141262569498/2\ 31658082847599963998138435405772285576795838922599544022280264593*c\ _0110_4^28 + 294134379120122446496568810251303089346414401622743944\ 89193579144/1781985252673845876908757195429017581359967991712304184\ 7867712661*c_0110_4^27 - 625495382037333773942060696241163168544091\ 07122377913398428207348/2316580828475999639981384354057722855767958\ 38922599544022280264593*c_0110_4^26 - 2341798665826672925803017601296427267122110105099784857058464859790\ /231658082847599963998138435405772285576795838922599544022280264593\ *c_0110_4^25 + 2721636211331085322920230293177551883181542251931015\ 869366508096431/231658082847599963998138435405772285576795838922599\ 544022280264593*c_0110_4^24 + 5974017841501713775009259777349890144\ 559332449589409717376882310298/231658082847599963998138435405772285\ 576795838922599544022280264593*c_0110_4^23 - 1299512082804509219081284809683563805811963708821866723220702550498\ 2/23165808284759996399813843540577228557679583892259954402228026459\ 3*c_0110_4^22 - 199391845377606418886298614854592744938014007237613\ 061936767430592/231658082847599963998138435405772285576795838922599\ 544022280264593*c_0110_4^21 + 4146372141175535096960025815639007261\ 884635456351913132638841910711/231658082847599963998138435405772285\ 576795838922599544022280264593*c_0110_4^20 + 3313847179778829334736973635520502188833269535962951374865229474184\ 6/23165808284759996399813843540577228557679583892259954402228026459\ 3*c_0110_4^19 + 122181201652407863806647324743414610686116528948367\ 11213884008908141/2316580828475999639981384354057722855767958389225\ 99544022280264593*c_0110_4^18 - 29662413632313873468233922102127223\ 0978655038972606667751826302375480/23165808284759996399813843540577\ 2285576795838922599544022280264593*c_0110_4^17 + 5503255002730647001650572513630441035491674685690429716937532244449\ 44/2316580828475999639981384354057722855767958389225995440222802645\ 93*c_0110_4^16 - 13298641491340769056416737394624761987076913095731\ 0442028711602033282/23165808284759996399813843540577228557679583892\ 2599544022280264593*c_0110_4^15 - 106814134679903042243411983611717\ 9218600481407088903041724501561449477/23165808284759996399813843540\ 5772285576795838922599544022280264593*c_0110_4^14 + 2193088368381695228061443396910165940876175382473837496549714307950\ 273/231658082847599963998138435405772285576795838922599544022280264\ 593*c_0110_4^13 - 2333434765522020589928807444620525094683449973032\ 017522395312203369192/231658082847599963998138435405772285576795838\ 922599544022280264593*c_0110_4^12 + 1577581179698744215906568885546223737587172835836622085102258325792\ 140/231658082847599963998138435405772285576795838922599544022280264\ 593*c_0110_4^11 - 7437317568093365958245018203336753247319753168959\ 21326552514609077229/2316580828475999639981384354057722855767958389\ 22599544022280264593*c_0110_4^10 + 3758550554472435267636409751045613812208070442230562718623371943657\ 27/2316580828475999639981384354057722855767958389225995440222802645\ 93*c_0110_4^9 - 356039952254836208229721830473275200330171056466631\ 640166619723511122/231658082847599963998138435405772285576795838922\ 599544022280264593*c_0110_4^8 + 32719536539424612023688289862949192\ 2315846588594021654804368112248300/23165808284759996399813843540577\ 2285576795838922599544022280264593*c_0110_4^7 - 1701687034598402579278124204613405366085050387937814819403325421829\ 63/2316580828475999639981384354057722855767958389225995440222802645\ 93*c_0110_4^6 + 132071390446286284964570205693596849224445253692209\ 23045710125505458/2316580828475999639981384354057722855767958389225\ 99544022280264593*c_0110_4^5 + 412338355886278230364921686493890074\ 20868866293487142389709191235573/2316580828475999639981384354057722\ 85576795838922599544022280264593*c_0110_4^4 - 2636838365853519253635123474753884100064825542923154424476589868935\ 6/23165808284759996399813843540577228557679583892259954402228026459\ 3*c_0110_4^3 + 6566208288520803202242936527822836219023993902699443\ 603970178371693/231658082847599963998138435405772285576795838922599\ 544022280264593*c_0110_4^2 - 53514913091692063984192119930079773677\ 5144281031166639614715829688/23165808284759996399813843540577228557\ 6795838922599544022280264593*c_0110_4 + 158465858202196335009626397445798228889803730260265456075724381483/\ 231658082847599963998138435405772285576795838922599544022280264593, c_0110_4^32 + 2*c_0110_4^31 - 23*c_0110_4^30 - 18*c_0110_4^29 + 264*c_0110_4^28 - 108*c_0110_4^27 - 1565*c_0110_4^26 + 2252*c_0110_4^25 + 3505*c_0110_4^24 - 9836*c_0110_4^23 + 2405*c_0110_4^22 + 2720*c_0110_4^21 + 21104*c_0110_4^20 + 2640*c_0110_4^19 - 201721*c_0110_4^18 + 425654*c_0110_4^17 - 192720*c_0110_4^16 - 697886*c_0110_4^15 + 1686645*c_0110_4^14 - 1987418*c_0110_4^13 + 1485228*c_0110_4^12 - 764934*c_0110_4^11 + 362225*c_0110_4^10 - 293866*c_0110_4^9 + 281929*c_0110_4^8 - 173071*c_0110_4^7 + 35984*c_0110_4^6 + 29793*c_0110_4^5 - 26933*c_0110_4^4 + 8851*c_0110_4^3 - 976*c_0110_4^2 - 39*c_0110_4 + 25, c_1001_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.660 Total time: 4.870 seconds, Total memory usage: 32.09MB