Magma V2.19-8 Tue Aug 20 2013 23:44:53 on localhost [Seed = 2084182492] Type ? for help. Type -D to quit. Loading file "K13n2102__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2102 geometric_solution 11.26839562 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 1 0 0 0 1 -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 13 -12 -1 0 0 -12 12 0 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.738325682643 0.962811181566 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 -13 13 -13 12 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.706254176488 1.056784499266 8 0 9 6 0132 0132 0132 2310 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -13 0 13 0 0 1 -1 0 13 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.174440871278 0.758688922892 8 5 10 0 2310 1230 0132 0132 0 0 0 0 0 1 0 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -12 0 12 0 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.826357958498 0.926676853115 5 8 0 10 0132 0132 0132 2310 0 0 0 0 0 0 0 0 -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 0 1 -1 12 0 -12 0 -12 0 0 12 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.824693887626 0.772285966382 4 1 3 9 0132 0132 3012 2310 0 0 0 0 0 0 0 0 1 0 -1 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 -12 0 12 0 1 0 0 -1 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.229930040288 0.783913192366 2 11 1 10 3201 0132 0132 0132 0 0 0 0 0 0 0 0 -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 0 0 0 13 0 -13 0 -13 0 0 13 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.601767257125 0.950612021154 9 11 10 1 2310 1023 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.437802614661 0.978208450711 2 4 3 11 0132 0132 3201 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.486023011589 0.760346201466 5 11 7 2 3201 0213 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.014801962043 0.875991218702 4 7 6 3 3201 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 -12 0 0 12 1 -1 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.588369277228 0.192810062725 7 6 9 8 1023 0132 0213 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.447106549323 1.130809594402 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_7']), 'c_1001_10' : negation(d['c_0101_7']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_9'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_10']), 'c_1001_3' : negation(d['c_0011_9']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_7']), 'c_1001_8' : negation(d['c_0101_3']), 'c_1010_11' : negation(d['c_0011_3']), 'c_1010_10' : negation(d['c_0011_9']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_9'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(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_1100_9' : negation(d['c_0011_11']), 'c_1100_8' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_9'], 'c_1100_4' : d['c_0011_10'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : d['c_0011_10'], 'c_1100_3' : d['c_0011_10'], 'c_1100_2' : negation(d['c_0011_11']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_2'], 'c_1100_10' : d['c_0011_10'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_10']), 'c_1010_2' : negation(d['c_0101_10']), 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_11'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_2']), 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_10']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_1']), 'c_0101_8' : negation(d['c_0101_0']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_10']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0101_7, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 2769574944726617598209343401573616618812323300116795296687704720460\ 7162093868907233823995634844363577442/10550454780084653120878153085\ 5215697428690716194020727059529288897489771286318697768731828646507\ 02475*c_1001_2^27 - 44686174245280724317922527067689617630573125509\ 955434299418568815296526515876128136135108373231309495402/620614987\ 0638031247575384167953864554628865658471807474089958170440574781548\ 15869227834286155923675*c_1001_2^26 + 4740884435703708753433933702701620723443396918623992429729374345536\ 66723438093734483087532562373345961436/7033636520056435413918768723\ 6810464952460477462680484706352859264993180857545798512487885764338\ 0165*c_1001_2^25 - 481992291981782133621102369671295160963989747999\ 6525524315891906007682804811785613224444357566744198341764/21100909\ 5601693062417563061710431394857381432388041454119058577794979542572\ 6373955374636572930140495*c_1001_2^24 + 3307380253556405865566097800620638836239095429684037547565913695835\ 579114871085751694433074387420245706182/105504547800846531208781530\ 8552156974286907161940207270595292888974897712863186977687318286465\ 0702475*c_1001_2^23 + 873030266304922986881951127329770623970743670\ 97660855135598685085208246619919690640831995636799746450240243/1055\ 0454780084653120878153085521569742869071619402072705952928889748977\ 128631869776873182864650702475*c_1001_2^22 + 2632744787000832636526191479798247380261957722532712804445893666813\ 4404069319495979639053082288384200591531/35168182600282177069593843\ 6184052324762302387313402423531764296324965904287728992562439428821\ 6900825*c_1001_2^21 - 142106953511456746490983079550250938542135765\ 637873089810094395368658295547489028039950268943976090646358233/351\ 6818260028217706959384361840523247623023873134024235317642963249659\ 042877289925624394288216900825*c_1001_2^20 + 3690425682786013290727101137091572674083484303153716620476054645530\ 8491088618254691877825513531170455325432/15072078257263790172683075\ 8364593853469558165991458181513613269853556816123312425383902612352\ 1528925*c_1001_2^19 + 156577059809973001795904290131622795184816872\ 51050560104699701401091548697282850811900494478162634794492423/3516\ 8182600282177069593843618405232476230238731340242353176429632496590\ 42877289925624394288216900825*c_1001_2^18 - 4552749125230278965014445593764237066327946346336526008796519052236\ 68858044258081917912945956870794159182899/3516818260028217706959384\ 3618405232476230238731340242353176429632496590428772899256243942882\ 16900825*c_1001_2^17 + 12180257619595904340811211435389831476671546\ 85992440229772901849456604714154596641413283184605630405129434016/1\ 0550454780084653120878153085521569742869071619402072705952928889748\ 977128631869776873182864650702475*c_1001_2^16 + 7141974647406197070959960949130504073754923048058406603842389173907\ 60378962194456858731553522856445866661437/1055045478008465312087815\ 3085521569742869071619402072705952928889748977128631869776873182864\ 650702475*c_1001_2^15 - 8590017236817743975531095936277649334971994\ 00434750985497246545949364977495012882830619134253002244154854733/1\ 0550454780084653120878153085521569742869071619402072705952928889748\ 977128631869776873182864650702475*c_1001_2^14 + 1417319947525915599063135232470372879743591756804765546716813800016\ 437901415168018184693128952399381159446216/351681826002821770695938\ 4361840523247623023873134024235317642963249659042877289925624394288\ 216900825*c_1001_2^13 + 1004483325319516235718229785439463804955143\ 62220263519355588818423120157105228344609569833045899902040115873/6\ 2061498706380312475753841679538645546288656584718074740899581704405\ 7478154815869227834286155923675*c_1001_2^12 + 2272217478071558753866833951995666388678443853135938840370818694144\ 34046015309766401637325876352274286458407/1507207825726379017268307\ 5836459385346955816599145818151361326985355681612331242538390261235\ 21528925*c_1001_2^11 + 38806892305095969753749536274712334603401622\ 5122183819536362385783302127892178581558201975327450467033659176/95\ 9132252734968465534377553229233612988097419945642973268448080886270\ 648057442706988471169513700225*c_1001_2^10 + 1157692391578555470634838074373726580687246393082087057049578435182\ 016314596054475111899934971533565311403699/105504547800846531208781\ 5308552156974286907161940207270595292888974897712863186977687318286\ 4650702475*c_1001_2^9 + 1888536652202854571350840427790837586621311\ 46013282580994799298726931045570362606751992457010096225718167/1798\ 8840204747916659638794689721346535156132343396543403159299044755289\ 22187872084718360249727315*c_1001_2^8 + 4632420593533431286881990436530413688288685614246129750620982748363\ 99772832783662884382217337468232045216648/3516818260028217706959384\ 3618405232476230238731340242353176429632496590428772899256243942882\ 16900825*c_1001_2^7 - 713333316746473624662371648623000263039096728\ 2023355365628085044293295110172316698153527278464816444999/97599026\ 6427812499618700562952966673715917818631089056979919416257999734378\ 5263438365571567669475*c_1001_2^6 + 2999826889916534996129426971624845675274112896175764362724676906402\ 3365801955266611353357109230152041007064/35168182600282177069593843\ 6184052324762302387313402423531764296324965904287728992562439428821\ 6900825*c_1001_2^5 + 1134902999436194230040880866733509253106410272\ 51942999518482751319540372436102908045153537479199754086572541/1055\ 0454780084653120878153085521569742869071619402072705952928889748977\ 128631869776873182864650702475*c_1001_2^4 - 7253374121920802270112620968428436277556564070723152298550880930153\ 820620115746424460938495417934779720957/959132252734968465534377553\ 2292336129880974199456429732684480808862706480574427069884711695137\ 00225*c_1001_2^3 - 929074636826184637665137656450493312567509356391\ 9089688578758720738229545408728643465378705572500236172122/35168182\ 6002821770695938436184052324762302387313402423531764296324965904287\ 7289925624394288216900825*c_1001_2^2 + 4372402858048873583696980862676901166524418013731440392781329084083\ 82316564844708992737658399363830413234/7033636520056435413918768723\ 6810464952460477462680484706352859264993180857545798512487885764338\ 0165*c_1001_2 - 161617565707092148924773871062084346913295978576337\ 8664833343744322643838689149150890619065831503043768352/10550454780\ 0846531208781530855215697428690716194020727059529288897489771286318\ 69776873182864650702475, c_0011_0 - 1, c_0011_10 + 53391113406409873209978594594530329734836154359901149590502\ 976089259838193065787/107663119301318999420707030868800044669340023\ 54042127509389828831517853485214211223*c_1001_2^27 - 1466866442718621165255397473064239129563272858421730028322728651131\ 340324184010587/107663119301318999420707030868800044669340023540421\ 27509389828831517853485214211223*c_1001_2^26 + 4594693382197027952663464964329401640793389895224119351170160536257\ 586803902102461/358877064337729998069023436229333482231133411801404\ 2503129942943839284495071403741*c_1001_2^25 - 4732645804199199807579646681395762820768729230905705015732795268488\ 5398701857762460/10766311930131899942070703086880004466934002354042\ 127509389828831517853485214211223*c_1001_2^24 + 1083172895126868632002111845821984102491868547544791312446858846959\ 5809033229385219/10766311930131899942070703086880004466934002354042\ 127509389828831517853485214211223*c_1001_2^23 + 1597997138720518531553427087326157987211549838376388079782474598779\ 82187421978319294/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^22 + 4903337135438275492584418196394004097652195747069072754247699181046\ 6740061519337290/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^21 - 2672798715256172262612619771030757827985830756387017798888480224170\ 55260486663364675/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^20 + 5581965615554535518603533911083193739916312912727796740080547563961\ 35828215306709924/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^19 - 2283518486460138655576226634043193956330322958942858770441666444632\ 0670663224875925/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^18 - 8441968299354993633696378711044051936320427562502180224890799339038\ 70195379047655028/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^17 + 2443518563794104178922651601623112594874241170741392500545886256532\ 718740879946925706/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^16 + 8398701643938784606256606869916507083653804893501378184688620715848\ 32519098600918717/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^15 - 1267303805772289950920574228457236267418014752254349820323621682087\ 596864582055713914/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^14 + 2789444593304179505428490113058367617432862798373082507156825335217\ 728136584177285754/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^13 + 2718132266062786563333153073595203942205829267651454494866976026414\ 449788779677758889/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^12 + 4383598294296120056942921429092491287183137622481883494807322304131\ 006578056362445090/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^11 + 8431753715178562791003355094944777857234984085875610149260086087803\ 174842718254641021/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^10 + 2637908850816078675064201626104368715659893274447568800504056477368\ 770304283215080490/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^9 + 1145898714879661255755818998627738136625623322646716820699552596124\ 575482694478911235/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^8 + 9565509716829213170662890352850905256233976556701730335788599038206\ 39391081238998339/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^7 + 4644965892058087010799052287003341394925217284438428431512580652775\ 82044925751655160/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^6 + 1852015448131729347559462058585248764906400411021161675530951461607\ 29211328854026265/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^5 + 2011546369745853620206553402086013702198479907686064718675009791895\ 96085014897135941/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^4 - 7991391261965194181155553932081637016369692021685775801034784601743\ 0002211327999212/10766311930131899942070703086880004466934002354042\ 127509389828831517853485214211223*c_1001_2^3 - 1534445518163347190811247754358295473146086943250612546229316455082\ 8110236691598277/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^2 - 4809154039955177086805066979546945019711577921164874493582966078236\ 908624188605852/358877064337729998069023436229333482231133411801404\ 2503129942943839284495071403741*c_1001_2 - 5435384025213084542902034440300049714279157336329934519538217697998\ 982475200201728/107663119301318999420707030868800044669340023540421\ 27509389828831517853485214211223, c_0011_11 + 44085969809814250877918163275309505236262330926856642540118\ 432149524485643021885/107663119301318999420707030868800044669340023\ 54042127509389828831517853485214211223*c_1001_2^27 - 1223843659380397768246225016827877645367313911265899391239967423760\ 850572951931056/107663119301318999420707030868800044669340023540421\ 27509389828831517853485214211223*c_1001_2^26 + 3905677633898771631520512426801408234863348459805258135951652670326\ 773186594119978/358877064337729998069023436229333482231133411801404\ 2503129942943839284495071403741*c_1001_2^25 - 4201664652965538350342808859274991035745948252558351670555976990620\ 7658368486164271/10766311930131899942070703086880004466934002354042\ 127509389828831517853485214211223*c_1001_2^24 + 1707944180047486979650720838230147530451814039253739677603264206883\ 9407589069463444/10766311930131899942070703086880004466934002354042\ 127509389828831517853485214211223*c_1001_2^23 + 1401808479848720193357862757419791304353691304119677717699071667444\ 08657825093017565/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^22 + 2664631592275594620454789747815945819590688650526357618939837546744\ 0972093834392905/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^21 - 2442394543684907857274859819112702551880019257495548039808818409664\ 61880111240867103/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^20 + 6239671341564989579073598526926419744020234223847989594767411679367\ 61265475490741105/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^19 - 5916616449008089121306200123142016130233768037990838494107698376907\ 32524321498317/3588770643377299980690234362293334822311334118014042\ 503129942943839284495071403741*c_1001_2^18 - 7388512912392918715095744282876394555551038956678606221378837645769\ 31534664394245416/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^17 + 2624080408885860106175599101824015185253529587866183364480516192129\ 099833794701580043/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^16 + 6570358924891671217971000156791295677208207661941024448780949944367\ 53867199397508996/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^15 - 1862565298624987519421350283518317193584873579154288356303793290875\ 935201451548450510/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^14 + 2351074114193494633710641043036413248308397274431295323678056433528\ 386486202694838674/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^13 + 5793775872252824802006663994097770452510494957614827580111444904050\ 08756567405736339/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^12 + 1216168144068288802554432019868017720555901181279059865240505567511\ 153115005628987986/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^11 + 5715455754369612046956749208499706879454880204436406247827920764473\ 156086530597464700/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^10 - 4817006331437206904084033585882067612386189151646877059093768510456\ 07599568856139207/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^9 + 2767448524729958365906503565532121233653134188900353904518487179473\ 29875228102675606/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^8 + 5221377163425443769512072148099898982822329739048254068404582453659\ 17863093486664098/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^7 - 7935900151726604822532992594792127480894868931301877189854227287310\ 76612529344756343/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^6 + 2715118967537319428706058798149751631896262478974654748292043742136\ 2759936569089520/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^5 + 1466023131933718105624895343728070625345853362946452309190812676540\ 13881970007111598/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^4 - 2177931292018587952717709081905598371236747348803927683377561475207\ 29678462735867128/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^3 + 1620209726267089238755365361067963385031237633175120995513789579578\ 243927123384502/358877064337729998069023436229333482231133411801404\ 2503129942943839284495071403741*c_1001_2^2 + 7220775651001216667430883984676313715307814840963817801140779126762\ 262898462700800/358877064337729998069023436229333482231133411801404\ 2503129942943839284495071403741*c_1001_2 - 8552146090862186560100190819119502930032751762224933210841179470395\ 158555604058007/107663119301318999420707030868800044669340023540421\ 27509389828831517853485214211223, c_0011_3 - 126334610452008269789085438977644393185743421204282500596085\ 852396574822519229450/107663119301318999420707030868800044669340023\ 54042127509389828831517853485214211223*c_1001_2^27 + 3448621591348053903735342042775852503098758571559238768968347318487\ 748793912711794/107663119301318999420707030868800044669340023540421\ 27509389828831517853485214211223*c_1001_2^26 - 1066235565605793327083068314140395679460794392591021564443079124079\ 7139733657638746/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^25 + 1057777131525097078945038741194181312962757872704578295481738512485\ 25386520480080424/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^24 - 1658978051239365032812796671799016455440390602353348222809119145040\ 675873754849515/107663119301318999420707030868800044669340023540421\ 27509389828831517853485214211223*c_1001_2^23 - 3968656725588150512933235505298493574829806418785700168249132824187\ 48450057080365085/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^22 - 1374764013299402214941734630675681335544224265029174497852025448945\ 52485371561810884/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^21 + 6279568610915918520952904120634818638268046894779364370039127318917\ 24871622463669885/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^20 - 9363994855052325162903189067598251823959318657209879715873922771815\ 54677186220173850/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^19 - 1018446781117441085674046139752427054476203598408924650385909202232\ 12769828046431011/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^18 + 2059595320680879573775202348210774499855903245361611951618489563041\ 682756397087515492/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^17 - 4759986946733974987826461762362742871841528068460359854153760032436\ 587211325571908467/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^16 - 3796653744408886488664366621131084955039074676155767191132987685395\ 789049686184676257/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^15 + 3333607861854107068094382240107893852012033912507586894900138143733\ 998521848849995253/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^14 - 6349120494198626712087441987965294088010682204950978987683026200192\ 939140257042066590/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^13 - 1021947781139525655030504302588249059931899599683507494936934825091\ 6335195035044275222/10766311930131899942070703086880004466934002354\ 042127509389828831517853485214211223*c_1001_2^12 - 8836771183420701559555075343814089569734794086628824270612656461651\ 116062429787307821/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^11 - 2070535690090311169361731377603751744704809099537014357230466869626\ 4671005547941913546/10766311930131899942070703086880004466934002354\ 042127509389828831517853485214211223*c_1001_2^10 - 7935754385483799834093429582586410932266001213275390731389211974499\ 709336188184781149/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^9 - 2068525153291201179253601824420691596727793455492457784216575790943\ 867561275593185063/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^8 - 2348256470193266326350777410238053224116419899050991846927735918051\ 975628352878402662/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^7 - 7883660633300130766455314990286751971283281737085086408541819641270\ 20458728767477912/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^6 - 1644290466994329371163469229237309436053592788900643830788983480140\ 86601022727779805/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^5 - 5170938740988016899371054104801545216972770586762196315995843426443\ 92361594067374218/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^4 + 2948209112323079110966153562234178501201588158469121024719965480081\ 42749104513134434/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^3 + 5504486203299869883771303594145781985736111302109063043520891668912\ 1159340354138774/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^2 - 3624822564728686128512203124974876525050422304926390699298902654405\ 329713878685524/358877064337729998069023436229333482231133411801404\ 2503129942943839284495071403741*c_1001_2 - 4645802674186020881358939807235562512159479582293488713240258691023\ 97082208875282/1076631193013189994207070308688000446693400235404212\ 7509389828831517853485214211223, c_0011_9 + 235764449606450459646294345758035843785771921409517792988054\ 12751838563519303652/1076631193013189994207070308688000446693400235\ 4042127509389828831517853485214211223*c_1001_2^27 - 6387219434958224115555629111360162674572025102771329723282851572189\ 73165123818361/1076631193013189994207070308688000446693400235404212\ 7509389828831517853485214211223*c_1001_2^26 + 1944689576834393503757755606181137939498650895439594456271376973777\ 159429601996350/358877064337729998069023436229333482231133411801404\ 2503129942943839284495071403741*c_1001_2^25 - 1843375493980073094123724149846069306267550452198539297038427279053\ 7998963257973733/10766311930131899942070703086880004466934002354042\ 127509389828831517853485214211223*c_1001_2^24 - 4494925150922083392907711695608105869026778838564658442653953487319\ 481359008799067/107663119301318999420707030868800044669340023540421\ 27509389828831517853485214211223*c_1001_2^23 + 7679545908806859399184496576174411702250256541539280922797737503832\ 9073741931516965/10766311930131899942070703086880004466934002354042\ 127509389828831517853485214211223*c_1001_2^22 + 3037001120357536237767839247817311535010015133670509973914158313338\ 9210249153022514/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^21 - 1149674832281520770568686891161944859491623692035652192672467035771\ 79744150400415510/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^20 + 9775909509280734994470150418359187398523683954335793920199800855650\ 0088141290175345/10766311930131899942070703086880004466934002354042\ 127509389828831517853485214211223*c_1001_2^19 + 4707282497510607456244289878643056055906773327200029127571565611411\ 6575585006626342/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^18 - 3930772064806030238824444538554546930188434253212922214169021787051\ 15279444931335866/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^17 + 6449567457613792044258693086590634713711433305727401215077758694887\ 71318315950171824/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^16 + 1024688108069398664742393428729179628026954761850949457525998703782\ 587809486829100929/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^15 - 6532387353161318782210216479954612021315540972404843637587498059239\ 92025285578103472/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^14 + 1128299570080389154264024407264647014805812088680928100810982285765\ 382107838622323483/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^13 + 2759829559928569842670381610221529302855096196528431950106913960778\ 940631885956219528/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^12 + 1616091974791493298991953274469145483673470118526779214529438364471\ 486194397661864681/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^11 + 4257139840894859793938977480416752892072125236624066082851846396054\ 007912316921213739/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^10 + 2270461756903736411332574333592281145564554919228733649341640622695\ 016986445815995604/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^9 + 3971979163586385802282601847980979630750335612127182664417347960059\ 76524504871978071/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^8 + 5804657691791574477485966055078837562348131457185600129398296944876\ 88369802643842537/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^7 + 3842788933996146755437924215954832387823469808049080472234259117123\ 79219527640832813/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^6 + 3003595521526841181712294146648334804228794240460833766113232896331\ 7745074204699474/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^5 + 2057519637264385870393562734843739415167902759386959547018364351843\ 39936638249447062/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^4 - 7014737678170320990140135219888330435779314960453507363508632472083\ 0022954087503050/10766311930131899942070703086880004466934002354042\ 127509389828831517853485214211223*c_1001_2^3 - 9183136998711695646728880607132534847291225367568836600508092228768\ 543426955910414/358877064337729998069023436229333482231133411801404\ 2503129942943839284495071403741*c_1001_2^2 + 4406348244752935194911638269058684551043663666794818380815556274399\ 6475083520949/35887706433772999806902343622933348223113341180140425\ 03129942943839284495071403741*c_1001_2 - 2647030665422635012575687525623626061991926749655232934899182278291\ 952604960793166/107663119301318999420707030868800044669340023540421\ 27509389828831517853485214211223, c_0101_0 + 186358665795488039032941807029398019242264605325011609149075\ 467041977216568462533/107663119301318999420707030868800044669340023\ 54042127509389828831517853485214211223*c_1001_2^27 - 5086911175925271439460598467533085839732653975977548429440191947455\ 148470550205369/107663119301318999420707030868800044669340023540421\ 27509389828831517853485214211223*c_1001_2^26 + 1572600901944523251131367401177444509718450774751278130568992128462\ 9865029777912429/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^25 - 1559572984128054473335602814932001928087330692093813345075698813160\ 01780076240952673/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^24 + 2034303981599635971524353997373637142138981507105874850250014158216\ 032018331484288/107663119301318999420707030868800044669340023540421\ 27509389828831517853485214211223*c_1001_2^23 + 5864088858090718335428477806669664295412323400569670891772343813451\ 67090941303520702/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^22 + 2026264518515234502327464274726075235663491527094430067398353029532\ 74044355174129731/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^21 - 9267244406649123237397364695733874706269743744879101258018100933276\ 81907035090108243/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^20 + 1378520989573090106210065993026957720041064701257442675815675262282\ 808948965974046969/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^19 + 1561426671224954489850760321042907560801014353040623842456660079358\ 05478133254103712/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^18 - 3045663846188385578172041773328665563210448213753684474897820771253\ 561780789306092054/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^17 + 7023818477729396428269428923290031591502545783763294164168450933302\ 590398777458379990/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^16 + 5630633274902229303668783425882971060481940085333496165580509014671\ 294807044415709061/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^15 - 4987785598919530220278641265280944620187327235212979584540335760945\ 403882295510390637/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^14 + 9368883688630872062027700035595271621275229437588869486483741784283\ 603927365933393080/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^13 + 1512786561146478841146016125248777960409959365448290207287691658144\ 9285649155806667428/10766311930131899942070703086880004466934002354\ 042127509389828831517853485214211223*c_1001_2^12 + 1297278438163902734878560343995369761614999626096175019891284417369\ 9965394624176068933/10766311930131899942070703086880004466934002354\ 042127509389828831517853485214211223*c_1001_2^11 + 3067136671445904056950538418688513103974267771981844974159275395112\ 7139560433554277122/10766311930131899942070703086880004466934002354\ 042127509389828831517853485214211223*c_1001_2^10 + 1179405985974032433769219278890086435639615066303057115701910025572\ 4135611484041032013/10766311930131899942070703086880004466934002354\ 042127509389828831517853485214211223*c_1001_2^9 + 3103766837076543059797709166609879786727602439629732931694236544232\ 220419101366921014/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^8 + 3503610708344728840601245934777456779804135433891293833115974537508\ 857931068459974255/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^7 + 1325441925475465422725069441391050267173768582478811112550026368997\ 389468616044851138/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^6 + 2742195776041139951696460921773166296026784262164121459122206960541\ 94789543202416485/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^5 + 7902786085030443901151375705733589209098429778524631387488804705732\ 04705546430279241/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^4 - 4052781715288705206363528558974841127597650185189713554906563335624\ 85396008081100267/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^3 - 7827370846141596536254685818469975630021737050874951917945441271743\ 1421993874846206/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^2 + 1650918095270294430364817149033040546733823028560476323733981494669\ 975364130677568/358877064337729998069023436229333482231133411801404\ 2503129942943839284495071403741*c_1001_2 + 3759512128107058295873872336212243948292539786762301787765619829246\ 76663813932123/1076631193013189994207070308688000446693400235404212\ 7509389828831517853485214211223, c_0101_1 + 262364337337670773110810278834517411556584851084061958758410\ 99683012961756498636/3588770643377299980690234362293334822311334118\ 014042503129942943839284495071403741*c_1001_2^27 - 7107639223815989837572512124221565227913224613092719506172903260533\ 23236828115285/3588770643377299980690234362293334822311334118014042\ 503129942943839284495071403741*c_1001_2^26 + 2164006345361432699689252497307932567484721902378002285851949167145\ 668009442091787/119625688112576666023007812076444494077044470600468\ 0834376647647946428165023801247*c_1001_2^25 - 2051751704239132681161027646897627915627926133051750997621019118471\ 1098434426278606/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^24 - 4915815632359673582075058733515028930126798661953324384085676820439\ 482146752899166/358877064337729998069023436229333482231133411801404\ 2503129942943839284495071403741*c_1001_2^23 + 8497621276637513627131682795704870275134934406342927665420731378458\ 8095769929943299/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^22 + 3401649565443574373104067913693365630307624457312982927150674836940\ 3076211636486724/11962568811257666602300781207644449407704447060046\ 80834376647647946428165023801247*c_1001_2^21 - 1273341012557189544061570010590693735756824548227818966368855219627\ 37841982182281962/1196256881125766660230078120764444940770444706004\ 680834376647647946428165023801247*c_1001_2^20 + 1066178530126283122743100737811154598407875818992626396407352027238\ 63359908802702319/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^19 + 4866202305833199445260528461912432767426159824803745378635807477917\ 2694623816295628/11962568811257666602300781207644449407704447060046\ 80834376647647946428165023801247*c_1001_2^18 - 4334363173616719550138710064508535217540558485455376202154730791771\ 47719079207442803/1196256881125766660230078120764444940770444706004\ 680834376647647946428165023801247*c_1001_2^17 + 7265690451680301469094549571222974806961652571858710000354971162702\ 65062289522193182/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^16 + 1126720294308840650885810566073344972136005542338627954244177275436\ 612850639434233128/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^15 - 6748285851911708036152248319975714204772686863903075660537980029040\ 65592049112842628/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^14 + 1256122728250270988227165187257701646852600796525733465792962842659\ 492700173383747627/119625688112576666023007812076444494077044470600\ 4680834376647647946428165023801247*c_1001_2^13 + 3020866674920841240220466362464818049781476247065304289358550049075\ 160796447924775008/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^12 + 1820323771610371295784328622260684922766405814370130471872914374873\ 162158810941620092/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^11 + 4590904906103033334668594190782140099293239759656679936776539964265\ 650786007535095722/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^10 + 2385736226095229211788807580825584710495573953160121667060207239031\ 498955293035419463/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^9 + 4093763301784466864215738327849345587676702890319697078693298704414\ 68995758868516052/1196256881125766660230078120764444940770444706004\ 680834376647647946428165023801247*c_1001_2^8 + 5760409129697344100268828836531002861913102459427261105046880420883\ 24103029903751376/1196256881125766660230078120764444940770444706004\ 680834376647647946428165023801247*c_1001_2^7 + 3699052974023110034310292692548546338051071506799963193528450061858\ 30581555971822557/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^6 + 1501469511108111752338421439942419896635641722470561946921526008261\ 3513426408895573/11962568811257666602300781207644449407704447060046\ 80834376647647946428165023801247*c_1001_2^5 + 1721765823875637951808832320692953819541660496926022344069588129357\ 78041648976594566/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^4 - 5196159018937703439626909740112464152963871676453469848763874989800\ 1802238938150436/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^3 - 1624850186681776265466448078948634422146836309341352212534460156035\ 5794309011089746/11962568811257666602300781207644449407704447060046\ 80834376647647946428165023801247*c_1001_2^2 + 4297550113859366890737779971792623637369076468581201955572997816562\ 51875172448003/1196256881125766660230078120764444940770444706004680\ 834376647647946428165023801247*c_1001_2 + 6614057750349113572674238571110029475698259030800630822005962003270\ 90032237239908/3588770643377299980690234362293334822311334118014042\ 503129942943839284495071403741, c_0101_10 + 49781860541560857607677633942287496735800396227229236118538\ 4322756079859722308/11962568811257666602300781207644449407704447060\ 04680834376647647946428165023801247*c_1001_2^27 - 1713718539946843735451876050060050003534731855470198391315018371094\ 2068874084001/11962568811257666602300781207644449407704447060046808\ 34376647647946428165023801247*c_1001_2^26 + 7429175459569650282802713183485123994790308420241181892391817979954\ 8435968664485/39875229370858888674335937358814831359014823533489361\ 1458882549315476055007933749*c_1001_2^25 - 1314566128056398195030498555230425751265094025915557380458079275993\ 828207221554252/119625688112576666023007812076444494077044470600468\ 0834376647647946428165023801247*c_1001_2^24 + 2971401424557109823034241196007307942610708834090491684090757486484\ 485658853275733/119625688112576666023007812076444494077044470600468\ 0834376647647946428165023801247*c_1001_2^23 + 1540471262895058382438271787677395380149553711478557682871079472411\ 852411850712709/119625688112576666023007812076444494077044470600468\ 0834376647647946428165023801247*c_1001_2^22 - 3179133792168251390170732004996731783996681692503235623558911847388\ 378552405301751/398752293708588886743359373588148313590148235334893\ 611458882549315476055007933749*c_1001_2^21 - 6367457351285099530760253665750289367597424414087777556704985589635\ 622063616569103/398752293708588886743359373588148313590148235334893\ 611458882549315476055007933749*c_1001_2^20 + 5668042995070301735516497301198006579321856575585803296205894893376\ 7302746972553172/11962568811257666602300781207644449407704447060046\ 80834376647647946428165023801247*c_1001_2^19 - 8222501363957289798642822785553197224694210041008285202028948069657\ 778547288842401/398752293708588886743359373588148313590148235334893\ 611458882549315476055007933749*c_1001_2^18 - 1119849388313487655954758008333181404218668224042953420633340130717\ 9266763855594219/39875229370858888674335937358814831359014823533489\ 3611458882549315476055007933749*c_1001_2^17 + 1919808300480376294625764250856234687451322067332228911715620279269\ 12762997066398340/1196256881125766660230078120764444940770444706004\ 680834376647647946428165023801247*c_1001_2^16 - 1165187468128565109518648491435112653334577323639840121311566321644\ 10350050247175244/1196256881125766660230078120764444940770444706004\ 680834376647647946428165023801247*c_1001_2^15 - 1228195511559796747856983555631534034865300473005572119557941975679\ 16350381396214076/1196256881125766660230078120764444940770444706004\ 680834376647647946428165023801247*c_1001_2^14 + 5612186817790721184979769322760318962146212268417175308835047396709\ 4303819174730362/39875229370858888674335937358814831359014823533489\ 3611458882549315476055007933749*c_1001_2^13 - 4897734613965883931209154259153919129281652144001695392290430758844\ 78508776779001290/1196256881125766660230078120764444940770444706004\ 680834376647647946428165023801247*c_1001_2^12 - 2576112387209057327189708278766599560185714673476502752397124055366\ 59803574264111345/1196256881125766660230078120764444940770444706004\ 680834376647647946428165023801247*c_1001_2^11 - 1658367733559968163528063748171600541471300109811176970207965235780\ 47994119531092661/1196256881125766660230078120764444940770444706004\ 680834376647647946428165023801247*c_1001_2^10 - 5456456641530972956984947758599218749793192923114438655732244475118\ 49411803018142329/1196256881125766660230078120764444940770444706004\ 680834376647647946428165023801247*c_1001_2^9 - 6804919218564240801120187797330816239328261444860694896380536818567\ 9131246471552050/39875229370858888674335937358814831359014823533489\ 3611458882549315476055007933749*c_1001_2^8 - 4854817716713473100861027611067095926693852002192473128775534014930\ 0581513660335644/39875229370858888674335937358814831359014823533489\ 3611458882549315476055007933749*c_1001_2^7 - 1967010208993961859392377790244253919909324407017956153501147055224\ 61130562793539488/1196256881125766660230078120764444940770444706004\ 680834376647647946428165023801247*c_1001_2^6 - 6745761672387825092120314243363304997104504210860130770402485600332\ 086650929209161/398752293708588886743359373588148313590148235334893\ 611458882549315476055007933749*c_1001_2^5 - 1574201802034265771829917982408936891051521513957955385090395666969\ 4495663886987980/11962568811257666602300781207644449407704447060046\ 80834376647647946428165023801247*c_1001_2^4 - 1542405754293283562718396633184400266252226336093777085802206716596\ 0170250710178556/11962568811257666602300781207644449407704447060046\ 80834376647647946428165023801247*c_1001_2^3 + 2782157477372083191132546887667928764627251172514875850061305739311\ 806085455415358/398752293708588886743359373588148313590148235334893\ 611458882549315476055007933749*c_1001_2^2 + 1150869513098414769695347980440477443557639922372665060345865510166\ 489747433448382/398752293708588886743359373588148313590148235334893\ 611458882549315476055007933749*c_1001_2 - 2684170923323505686163273364842129365132813103135255331365962334758\ 01447366843941/1196256881125766660230078120764444940770444706004680\ 834376647647946428165023801247, c_0101_2 - 450412617027259461620238124259515984800899470482664231443717\ 47409669715016135020/1076631193013189994207070308688000446693400235\ 4042127509389828831517853485214211223*c_1001_2^27 + 1237905614865036706666132969839968430956837714285516452689323376610\ 001069414898046/107663119301318999420707030868800044669340023540421\ 27509389828831517853485214211223*c_1001_2^26 - 3874420300775371246529481547887612299606796541045864423985342388934\ 766437984543363/358877064337729998069023436229333482231133411801404\ 2503129942943839284495071403741*c_1001_2^25 + 3956006041251731332176010119572363840522861815176385911885926263822\ 0158706870803301/10766311930131899942070703086880004466934002354042\ 127509389828831517853485214211223*c_1001_2^24 - 4947781540651102384172775688077736540655410100702935531147806235026\ 365062102137707/107663119301318999420707030868800044669340023540421\ 27509389828831517853485214211223*c_1001_2^23 - 1511659424399974473098087350160233329262033566025241046891285362003\ 96274210318854407/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^22 - 3845637408802376665168194606199319720608110398746528420813427375900\ 3991309803734808/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^21 + 2427762814953150622509793619465617056876484344320257398875097051268\ 46678517403572760/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^20 - 4430085963118347398986359585050560709566157263384961158697173347655\ 78924509468411694/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^19 - 6929178407794876259301922425760934506308073997393956171602558304377\ 3725157219132409/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^18 + 7943972901703429146431815355230159146184131053113315954613446964093\ 72370511198508584/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^17 - 2156151237873874403431403061301573984023857287836091272103191521776\ 923025111965335963/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^16 - 1506186931705752099716876085638955752248356561966497101857359090406\ 951540377199269267/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^15 + 2082314964892195489295861010863387062397464576340212432336003671195\ 471185268549810827/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^14 - 2332942651347754514638908566265866297287790222304643640495058141460\ 806712698958237900/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^13 - 2704283215544160839134324684296347017355181997964137181736758880592\ 755109530130049804/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^12 - 8312598801747851667596640311815709015675642188084089195197564782558\ 14288297359713426/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^11 - 6875919230942945931576217574920380107104473803227914575697388328771\ 682741064292180534/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^10 - 9685139537589920706059625195097627064666222961863312294925289183714\ 43245571135337835/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^9 - 1615665774053091070579238027129605579432332007620309226252395736199\ 53786651852876271/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^8 - 7558272772993429017555900758329061834071092541162603293422233556013\ 37446206420641504/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^7 + 4701688110528027585499708969277271988960006321299858135830718013932\ 93579990878947157/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^6 + 5648907157971497026907468893730482754639191919463050091017134136977\ 4149121621398025/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^5 - 3091373005114453527151097893767549041401533870038323188526248553201\ 87709271839572384/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^4 + 1992856724245566553522490279570962635827301743982113851019247430525\ 09641833860863790/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^3 + 1799988677491332003046770543625188706715047079029435530144873313982\ 0031955943666656/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^2 - 1366055752402672101856539905068719536877858139237088372681914765186\ 5475717284883301/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2 + 9457289772109328105013155527362596916197305078935380451451906510416\ 21508886237131/1076631193013189994207070308688000446693400235404212\ 7509389828831517853485214211223, c_0101_3 + 137003704158001556856148760968219591952551993871160630385080\ 670947929963146916963/107663119301318999420707030868800044669340023\ 54042127509389828831517853485214211223*c_1001_2^27 - 3787257578653888376901280596928308497038815053133817462725625535734\ 119157789527317/107663119301318999420707030868800044669340023540421\ 27509389828831517853485214211223*c_1001_2^26 + 1199104244179864519166365732998026466999525627755359779541344710936\ 6157601585554614/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^25 - 1264590063715241542067205940712614729978690784638618148047504073672\ 43186593125130711/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^24 + 3906755873703090544029551310394601530248162900405354891955086228015\ 4523082088352398/10766311930131899942070703086880004466934002354042\ 127509389828831517853485214211223*c_1001_2^23 + 4384393570410947566801448916325703573359312029770512422684212175881\ 01704677364322008/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^22 + 9822842526961477550278310709520760533770080618527280160124551666904\ 3141991087297008/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^21 - 7419814929320466612391297149373447449626882069637925000695702380954\ 42817158820303170/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^20 + 1704691777585180320149774980800220986915837061773677227636878434134\ 034293513977552872/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^19 + 4330950545657458845207733671614446704100318434984288205238682043804\ 8608480841893879/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^18 - 2313299822029225754921469006288171580126104483564690437495016061412\ 564831241435466982/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^17 + 7492079482023575013598328499396475287653694406519844665472102351613\ 516955527729883294/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^16 + 2761870681063675170502544315146642713370292915905421347716246599194\ 459140149649219649/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^15 - 5582721681709067199090807282283870177729384145834285079140999006519\ 504004009895417822/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^14 + 7264687176956763748286278177160969407634239621310845462991713809462\ 321843769784862815/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^13 + 4234125869546181303853568329537345117524413243094151029208997638977\ 104078789385400234/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^12 + 4339467035404242800326918482444043737220330983480959068558686428072\ 979930254998235036/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^11 + 1912116392627456637148360327715642444324388147093000001985738171889\ 2233114581262054843/10766311930131899942070703086880004466934002354\ 042127509389828831517853485214211223*c_1001_2^10 + 5305098538866890794699674026152422602124998033437331213418237518576\ 93187358967782679/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^9 + 9385739267335411383397349809280707652819420382893768337749651337063\ 83061778095934789/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^8 + 1859724422447410989792490894654791102837431058883728818604718854360\ 155357447899509098/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^7 - 1932786314803834930505976239541261777363593303349966273115071748413\ 778223117790971977/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^6 + 4475456085372183034810866880841580216383533278862207854746931716314\ 2251147691735236/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^5 + 5467411499035067786912566533543300365724964069841855071861107871671\ 19586944376613479/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^4 - 5656921105991132714046148894437385756364302523683990902742291539810\ 85452184473413258/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^3 - 2154425051239134961281205383135353393823197328835620984148945696789\ 1791328641636715/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^2 + 2591815223365909879811669486038370039959614177041935887752391178873\ 3299449031582298/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2 - 1215857718075187274044920605543546089383053863426965487687775572926\ 9828364732789544/10766311930131899942070703086880004466934002354042\ 127509389828831517853485214211223, c_0101_7 + 513972937645547451409880944289780027361176844894164637064461\ 59856988363532304836/1076631193013189994207070308688000446693400235\ 4042127509389828831517853485214211223*c_1001_2^27 - 1402228325321670433543294812026386395112530198004938179067774034348\ 457337062841131/107663119301318999420707030868800044669340023540421\ 27509389828831517853485214211223*c_1001_2^26 + 4328894178751043584410206485257834120104118068398323550961105177601\ 378769081363013/358877064337729998069023436229333482231133411801404\ 2503129942943839284495071403741*c_1001_2^25 - 4269186982938206267660649388832098570303340683751917359173627128942\ 6237926584764022/10766311930131899942070703086880004466934002354042\ 127509389828831517853485214211223*c_1001_2^24 - 1307890786112586877326861380748020940148278787066170513259008010035\ 660518970006788/107663119301318999420707030868800044669340023540421\ 27509389828831517853485214211223*c_1001_2^23 + 1658127995706210122138068105254338084732608616465425113948949095201\ 14632334366791604/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^22 + 5694248239356561101079506642170723115468077679733257413710280881114\ 8062853316916417/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^21 - 2611207872304305595858511093868347153135231657342740350287982447235\ 81574147169175010/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^20 + 3537514363005464758402392203948996041113330565544538785080841528325\ 30900383311005269/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^19 + 7366276363754039733916178511581600464992701763570494503313177731303\ 9482857425559915/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^18 - 8481181547983626256870120277793608160332528627847878864368118280482\ 97084054338803544/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^17 + 1826860376179138380774055857806074343868395400871760434334449899345\ 306342586938295774/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^16 + 1858104535400441313577746766823326322768371177395445885998522328677\ 547401940067822797/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^15 - 1526908828057426335394435634011832564381208175540440368386679161430\ 505418641416288932/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^14 + 2472480554021360131377114922701651521011656714511397889834852746753\ 781389267139828935/358877064337729998069023436229333482231133411801\ 4042503129942943839284495071403741*c_1001_2^13 + 4553494382873088745597782621323427087558622033897727882028641021346\ 090489199500238810/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^12 + 3015044237611967299557962928066127817093779341592747094820473904375\ 205476989798061752/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^11 + 8034386218212884321650704423207958897280322853500687129296546327227\ 344863590460472937/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^10 + 3461155245897607851799646576429346725504811648628276219781811996721\ 422748428622353698/107663119301318999420707030868800044669340023540\ 42127509389828831517853485214211223*c_1001_2^9 + 6760674166398136399255468497924020335575150195890847217229705150821\ 77259633737263224/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^8 + 9399498519865604732689608057536136954848964209390349846794239937239\ 26924705974816690/3588770643377299980690234362293334822311334118014\ 042503129942943839284495071403741*c_1001_2^7 + 4333270904608209219753708914555570595314211461686460577302336864085\ 54441424611392567/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^6 + 3942636482360273855104140097412254987519870304162911414676415095205\ 3255508651169402/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^5 + 2352208266247172625167682330820839550552699798388450315307430784177\ 12029450628852780/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^4 - 1048990426751555016939902749626911705682892498431626405895003550981\ 46110654209078854/1076631193013189994207070308688000446693400235404\ 2127509389828831517853485214211223*c_1001_2^3 - 2310115018652293228628663482255377485565445964602035632923683445764\ 0263014222649165/35887706433772999806902343622933348223113341180140\ 42503129942943839284495071403741*c_1001_2^2 + 8228574651425109891019774764767213574083030711548870212102478713986\ 80945300856494/3588770643377299980690234362293334822311334118014042\ 503129942943839284495071403741*c_1001_2 + 1395240005802412647301086926133571039789334595432307453294005881392\ 705601510730748/107663119301318999420707030868800044669340023540421\ 27509389828831517853485214211223, c_1001_2^28 - 27*c_1001_2^27 + 245*c_1001_2^26 - 760*c_1001_2^25 - 254*c_1001_2^24 + 3204*c_1001_2^23 + 4204*c_1001_2^22 - 14172*c_1001_2^21 + 2722*c_1001_2^20 + 5707*c_1001_2^19 - 48591*c_1001_2^18 + 22823*c_1001_2^17 + 44686*c_1001_2^16 - 19974*c_1001_2^15 + 140194*c_1001_2^14 + 127523*c_1001_2^13 + 83772*c_1001_2^12 + 178683*c_1001_2^11 + 107847*c_1001_2^10 + 57790*c_1001_2^9 + 67257*c_1001_2^8 + 21193*c_1001_2^7 + 3076*c_1001_2^6 + 5473*c_1001_2^5 - 1131*c_1001_2^4 - 2248*c_1001_2^3 - 195*c_1001_2^2 + 44*c_1001_2 - 25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.850 Total time: 1.060 seconds, Total memory usage: 32.09MB