Magma V2.19-8 Tue Aug 20 2013 23:38:16 on localhost [Seed = 3970599107] Type ? for help. Type -D to quit. Loading file "K12a838__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a838 geometric_solution 7.98933933 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 1 -18 -17 0 17 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.386945418126 0.975600071318 0 5 6 3 0132 0132 0132 0321 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 17 0 -17 0 0 0 0 0 0 -18 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.864369407672 1.330284365609 7 0 4 8 0132 0132 3201 0132 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -17 17 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.306299918067 0.711593444545 8 1 5 0 0321 0321 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 17 0 0 -17 -1 0 0 1 -18 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444091724584 1.933463962043 2 6 0 5 2310 2031 0132 0132 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -18 18 0 0 0 0 0 0 0 0 0 -17 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.020501464360 0.422194282256 7 1 4 3 1023 0132 0132 0132 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 18 0 -18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.226121603930 1.113538065481 4 8 8 1 1302 2103 2031 0132 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -17 0 0 17 18 0 0 -18 0 -18 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.101871940295 0.563105827222 2 5 9 9 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472679089397 0.492005898801 3 6 2 6 0321 2103 0132 1302 0 0 0 0 0 0 0 0 -1 0 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 18 0 0 -18 1 -1 0 0 -17 18 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.311091594592 1.719585287239 9 7 9 7 2310 2310 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 0 0 0 0 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.113805017280 0.474477714940 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : negation(d['c_0101_1']), 'c_1001_9' : negation(d['c_0101_3']), 'c_1001_8' : d['c_0011_6'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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_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' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_9']), 'c_1100_8' : negation(d['c_0011_4']), 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_9']), 'c_1100_6' : d['c_1001_1'], 'c_1100_1' : d['c_1001_1'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_1010_7' : d['c_0101_3'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : negation(d['c_0101_1']), 'c_1010_9' : negation(d['c_0101_2']), 'c_1010_8' : negation(d['c_1001_1']), 's_3_1' : negation(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'], '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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_3'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0101_3']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : negation(d['c_0101_2']), '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' : negation(d['c_0011_3']), 'c_0101_9' : d['c_0101_3'], 'c_0101_8' : negation(d['c_0101_3']), 'c_0110_9' : negation(d['c_0101_3']), 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_6, c_0011_9, c_0101_1, c_0101_2, c_0101_3, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 5808707426523499497365352680467431942851766014743832069833810/30120\ 3261666786865634428431379689496924761025689819151378743*c_1100_0^22 - 14080491618642564720469536902260284914306425455858381432478325/30\ 1203261666786865634428431379689496924761025689819151378743*c_1100_0\ ^21 - 6049280849708579433059132949878397876070820593903349176464326\ 47/602406523333573731268856862759378993849522051379638302757486*c_1\ 100_0^20 + 61176826681819302572477594967305571074544088002913258028\ 3203430/30120326166678686563442843137968949692476102568981915137874\ 3*c_1100_0^19 + 918999161501624864271988929113439075840353099387096\ 886577072930/430290373809695522334897759113842138463944322414027359\ 11249*c_1100_0^18 - 13092876281508492794365595851896018071498970189\ 221602191196048324/301203261666786865634428431379689496924761025689\ 819151378743*c_1100_0^17 - 1175944038724173131572318854546540402516\ 27330858644736661921114175/6024065233335737312688568627593789938495\ 22051379638302757486*c_1100_0^16 + 118693839471196163795886946921352828332486291052383890022100735866/\ 301203261666786865634428431379689496924761025689819151378743*c_1100\ _0^15 + 23959573390812136865925418308598273950620187641869369168673\ 7269680/30120326166678686563442843137968949692476102568981915137874\ 3*c_1100_0^14 - 504032826758584259218971234780558320594717850949306\ 156279716252935/301203261666786865634428431379689496924761025689819\ 151378743*c_1100_0^13 - 8142118388317559848202089391459089704468524\ 28736238801177452659773/6024065233335737312688568627593789938495220\ 51379638302757486*c_1100_0^12 + 20900790063622750170367662042331610\ 00964800821043735544288397090045/6024065233335737312688568627593789\ 93849522051379638302757486*c_1100_0^11 + 28630942473022037485071182049425548054317414871444416037831144874/4\ 3029037380969552233489775911384213846394432241402735911249*c_1100_0\ ^10 - 1118066349176146084543941189288000284728399651379143410462935\ 759383/301203261666786865634428431379689496924761025689819151378743\ *c_1100_0^9 + 20063134109848494794144764717802631404471886825573547\ 5706000393946/30120326166678686563442843137968949692476102568981915\ 1378743*c_1100_0^8 + 8429559370696658354073457517379876764239553492\ 0492493008450159308/43029037380969552233489775911384213846394432241\ 402735911249*c_1100_0^7 - 26355297394556451389847409145552960180516\ 8606653182195024355761381/30120326166678686563442843137968949692476\ 1025689819151378743*c_1100_0^6 - 3004137931630446433179467880582395\ 1915923936846679431941432006681/86058074761939104466979551822768427\ 692788864482805471822498*c_1100_0^5 + 177727314378225159546766007959809168571673950196818700359996942079/\ 602406523333573731268856862759378993849522051379638302757486*c_1100\ _0^4 - 278257694058657962177527519334297909005643360931964576061330\ 8313/66934058148174859029872984751042110427724672375515366973054*c_\ 1100_0^3 - 69524773206189027274045946108826806023137401210177017747\ 5938467/66934058148174859029872984751042110427724672375515366973054\ *c_1100_0^2 + 50501220984541161991018329355816506621651571386460444\ 36567936/839006299907484305388380031698299434330810656517602092977*\ c_1100_0 - 25550212735428921830140836769516251935345941565624945676\ 6114143/20080217444452457708961895425312633128317401712654610091916\ 2, c_0011_0 - 1, c_0011_3 - 207840384499647820669751165539777246733235077769484/30662072\ 868745543448758543715904668140584389742265179*c_1100_0^22 + 393651436670747524151338733526161535945862825626512/306620728687455\ 43448758543715904668140584389742265179*c_1100_0^21 + 10924585140239999396150870297425156341390410872254797/3066207286874\ 5543448758543715904668140584389742265179*c_1100_0^20 - 15824174017555014764287721997133415184613266798454016/3066207286874\ 5543448758543715904668140584389742265179*c_1100_0^19 - 233118414305710779179417517738691490524750240000596274/306620728687\ 45543448758543715904668140584389742265179*c_1100_0^18 + 332929423006932623145056189038033190302318755671767861/306620728687\ 45543448758543715904668140584389742265179*c_1100_0^17 + 2167070321957675638030633517622423794569623090380753074/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^16 - 2844186427684537382428956114965702193080363308157046037/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^15 - 9102320994532659953018421702439672371780282033630547768/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^14 + 10961279332280936561315586944951422433262222173020896188/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^13 + 16879128279784454279117227435762858318424964888202465183/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^12 - 19366693048337538514736658690588662522451045944568426275/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^11 - 13524863399668835358651305637523706950810881749568246899/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^10 + 15938378484996092839472581033105210297214603500728542698/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^9 + 3467701659656499165898083190390897969607535537463421590/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^8 - 4649605339036812060296902428338781572798918430155195116/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^7 + 15244108765634387086402992719348146488016478389021403/3066207286874\ 5543448758543715904668140584389742265179*c_1100_0^6 - 1073680991326026274552647002662085401722144907066895239/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^5 + 247708423710823666152815910365908792741513274811903428/306620728687\ 45543448758543715904668140584389742265179*c_1100_0^4 + 157535246837943271279564281603769024637032789523020351/102206909562\ 48514482919514571968222713528129914088393*c_1100_0^3 - 34290381038295028093193132907527975022787656575157813/1022069095624\ 8514482919514571968222713528129914088393*c_1100_0^2 - 34411005657854013990579673011077918422136576562181139/3066207286874\ 5543448758543715904668140584389742265179*c_1100_0 - 10183137047988908679066845968875299109426068039370612/1022069095624\ 8514482919514571968222713528129914088393, c_0011_4 - 45800826302747750234118635098620682638282250016984/306620728\ 68745543448758543715904668140584389742265179*c_1100_0^22 + 408881847050536053723882943425147274379927388560239/306620728687455\ 43448758543715904668140584389742265179*c_1100_0^21 + 1778770159854552478061178204194585868309593768342293/30662072868745\ 543448758543715904668140584389742265179*c_1100_0^20 - 20370044534887850851984606398300713377565803004252413/3066207286874\ 5543448758543715904668140584389742265179*c_1100_0^19 - 25903099298844820454343528394832512356744625194547394/3066207286874\ 5543448758543715904668140584389742265179*c_1100_0^18 + 432610960095847561769805052837355125289010988143331670/306620728687\ 45543448758543715904668140584389742265179*c_1100_0^17 - 58061340989680759555093605780963154591757586692341303/3066207286874\ 5543448758543715904668140584389742265179*c_1100_0^16 - 3944362414232807622589996021728213561457786752760055321/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^15 + 2572761138226453229575405804536560200062908135113768537/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^14 + 16213989170658364812110629780347236073971979284545021543/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^13 - 13937171337285128085531648762530344522158431391846910864/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^12 - 29657208340165333310391221751987451901857922895798291799/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^11 + 28351955978238526931900249899379851622742002921344101053/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^10 + 24813253590673104511661513734011004672620795875885698448/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^9 - 26105657404185941501774638210308900158837557848496131328/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^8 - 9106584855526873093524304864561715901890376629373893444/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^7 + 10454674411662015949705713976687978469317286543930698486/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^6 + 2121566531559094904642297995663749986075979370622410159/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^5 - 1180524201194032601008613018724852098439134359170596525/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^4 - 283268857268731500715478853289484299660998528789972862/102206909562\ 48514482919514571968222713528129914088393*c_1100_0^3 + 52103552181150003499280820085654775409917240866241533/1022069095624\ 8514482919514571968222713528129914088393*c_1100_0^2 + 77309403460654196751199620931482275737605391943632496/3066207286874\ 5543448758543715904668140584389742265179*c_1100_0 + 7531751811975553252330138870362150854016447020402776/10220690956248\ 514482919514571968222713528129914088393, c_0011_6 + 115815016741989078415457901857043920762580379177402/30662072\ 868745543448758543715904668140584389742265179*c_1100_0^22 - 358224656671293749817613673238404385943192276431602/306620728687455\ 43448758543715904668140584389742265179*c_1100_0^21 - 5891780327863883181407496123246520759725722665184969/30662072868745\ 543448758543715904668140584389742265179*c_1100_0^20 + 16262048582096493118683963186217256440068568583801447/3066207286874\ 5543448758543715904668140584389742265179*c_1100_0^19 + 122859228748669745059031575170186246983895525949107943/306620728687\ 45543448758543715904668140584389742265179*c_1100_0^18 - 347405288967180882354966200893973037107224050183733465/306620728687\ 45543448758543715904668140584389742265179*c_1100_0^17 - 1060674830267529173424155286798412419899660301531165292/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^16 + 3163917728849717803199678696478203579800493229801168784/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^15 + 3875184709309108739657960680518128596885311333602869060/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^14 - 13370275912601714230597063208938139720395780572637888637/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^13 - 5051130701542237750737986111011230175737124676196270778/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^12 + 27065448072935400183824956746670342065096906919787661440/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^11 + 129442802633150728041938809354060171769109698566190708/306620728687\ 45543448758543715904668140584389742265179*c_1100_0^10 - 28304406938955890534100506766817321288871281955088680935/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^9 + 4545130153259075723064504491731247025891062495789984042/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^8 + 15975464734231971393749513458921551179271464058393591193/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^7 - 3032012525495289380731566665361334722195827460231978998/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^6 - 5107709483737891122157245147496138056434998500157730870/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^5 + 451987508309594671846534308345956965498430480577096925/306620728687\ 45543448758543715904668140584389742265179*c_1100_0^4 + 334981145520577277372907244507587674775280368135105658/102206909562\ 48514482919514571968222713528129914088393*c_1100_0^3 + 2148847842455436060768961624637712328351298368035184/10220690956248\ 514482919514571968222713528129914088393*c_1100_0^2 - 64814528913688046150697749407854238059929978602359820/3066207286874\ 5543448758543715904668140584389742265179*c_1100_0 - 6768916291947514409133487450058490644435016839663295/10220690956248\ 514482919514571968222713528129914088393, c_0011_9 - 1270859605454872072818526409087741086108852799895932/3066207\ 2868745543448758543715904668140584389742265179*c_1100_0^22 + 2223187995675343229032887560192624758049241914769625/30662072868745\ 543448758543715904668140584389742265179*c_1100_0^21 + 67880902873916208726586887812581584900647825289599710/3066207286874\ 5543448758543715904668140584389742265179*c_1100_0^20 - 88347664851154929330199650979569233473203035341106827/3066207286874\ 5543448758543715904668140584389742265179*c_1100_0^19 - 1478194080465358084030138121472810172593346757433632906/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^18 + 1878416476300936255675761942457600749724164888689389844/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^17 + 14376283649268849481153341677190547318670699909730588257/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^16 - 16509250207821553101734935066290061726641179313031403198/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^15 - 65998085018930965609394267886261041047392723003073732526/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^14 + 67875463304157248350500930372988453035625200840547239007/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^13 + 146469165103436179225918093545434752592501423736047532254/306620728\ 68745543448758543715904668140584389742265179*c_1100_0^12 - 138962778131510920298705510427075556233730244312521707061/306620728\ 68745543448758543715904668140584389742265179*c_1100_0^11 - 164788223208870830773637017447106240223747099358352163139/306620728\ 68745543448758543715904668140584389742265179*c_1100_0^10 + 154301166343159618297121021690906102864249449211590333580/306620728\ 68745543448758543715904668140584389742265179*c_1100_0^9 + 93049123373374313239676448310743649768211365490256353483/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^8 - 93140370803834874347763483703373076534771300195784236911/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^7 - 25663878207576524830927556076224587657445380677900617957/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^6 + 24888386407524987989387036742660260604407797808960343985/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^5 + 3392610103115267715990909894866124658050276550405223260/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^4 - 603146063186957275814393314829407145494202193791529832/102206909562\ 48514482919514571968222713528129914088393*c_1100_0^3 - 352690420734949933804422941009392725710602787983329625/102206909562\ 48514482919514571968222713528129914088393*c_1100_0^2 - 71952360564668392480516637108092819331402340574274824/3066207286874\ 5543448758543715904668140584389742265179*c_1100_0 + 17261841472952873325341615858518960620302695632851895/1022069095624\ 8514482919514571968222713528129914088393, c_0101_1 - 180922833246241911106936680809317136378540681888638/30662072\ 868745543448758543715904668140584389742265179*c_1100_0^22 + 561878513825099284416097064166057104407329312345224/306620728687455\ 43448758543715904668140584389742265179*c_1100_0^21 + 9000010954622031272097840997780110860371457442335384/30662072868745\ 543448758543715904668140584389742265179*c_1100_0^20 - 25155860313110649776879750430271097433771814537880510/3066207286874\ 5543448758543715904668140584389742265179*c_1100_0^19 - 181277122408425373411928745649787557962256288027416637/306620728687\ 45543448758543715904668140584389742265179*c_1100_0^18 + 530679429762478706539766805662128014597025862577812221/306620728687\ 45543448758543715904668140584389742265179*c_1100_0^17 + 1430398994671681356401192697412219372198029583517499832/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^16 - 4660953923103025153718546264008542213742071445210264183/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^15 - 3958800996523880578697837350132096701462587573785327429/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^14 + 18416143564550995753830222641460942109727922320043148049/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^13 - 872912586880062496167323975420044472757566570958388949/306620728687\ 45543448758543715904668140584389742265179*c_1100_0^12 - 32736491387532973246167229920874774894116398455083062630/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^11 + 16394028624401447641876116799522301003198299809051446632/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^10 + 27202991407733169663135130820684081040238348655312453410/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^9 - 22675206002625807810949676032388301644680082709715221542/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^8 - 9269631865249799901456214288668777265367728003153414861/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^7 + 12158066797356418603279958252468624217997569002164572743/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^6 + 531362541774804847803876454609062009936450785654431457/306620728687\ 45543448758543715904668140584389742265179*c_1100_0^5 - 2496648387718451404260135811805141315364789591251670235/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^4 - 32563594932237364641739155025682118199404374758155587/1022069095624\ 8514482919514571968222713528129914088393*c_1100_0^3 + 68778013413297922506047269716437210744094745451475252/1022069095624\ 8514482919514571968222713528129914088393*c_1100_0^2 + 34627209304080300790243217581025044988390414988098974/3066207286874\ 5543448758543715904668140584389742265179*c_1100_0 - 1284168593053767649181446731700908902803636274901946/10220690956248\ 514482919514571968222713528129914088393, c_0101_2 + 364074780279618955333726174838577047610867252292093/30662072\ 868745543448758543715904668140584389742265179*c_1100_0^22 - 818523856823054136704541005287402935191711566271237/306620728687455\ 43448758543715904668140584389742265179*c_1100_0^21 - 19001607027645838974683767552955691711379598656235075/3066207286874\ 5543448758543715904668140584389742265179*c_1100_0^20 + 34631811429824947158745934890372595931920215257809459/3066207286874\ 5543448758543715904668140584389742265179*c_1100_0^19 + 404381688803594922845449028775338446129805946055295536/306620728687\ 45543448758543715904668140584389742265179*c_1100_0^18 - 732404300362659447812623048637812487355089823473063035/306620728687\ 45543448758543715904668140584389742265179*c_1100_0^17 - 3715623851220367257094249858298404638223215844673686654/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^16 + 6424966252759590509083868157023452952710290617392381495/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^15 + 15392528008800494628466877558486477336156202028238413672/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^14 - 25687453845198316239721229379837911058969062044401830597/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^13 - 28086292164089221548850654801836360938488285082785061419/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^12 + 47938123280943139109593153518619497673780159552587525416/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^11 + 22116537918339451373941208632523538444682764878683907219/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^10 - 44398954449552541790092025903180027287700200758025965733/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^9 - 4934176285786499799787364735937086036555948058621135238/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^8 + 19664941653998766516323632248385138155114778353112507150/3066207286\ 8745543448758543715904668140584389742265179*c_1100_0^7 - 913376968828119986522731824271060505771769394646187515/306620728687\ 45543448758543715904668140584389742265179*c_1100_0^6 - 2700824791383976108870725289186228122426466793215139657/30662072868\ 745543448758543715904668140584389742265179*c_1100_0^5 - 92120863847235382625080452235761506924806093637476598/3066207286874\ 5543448758543715904668140584389742265179*c_1100_0^4 - 39104083245559346737675315821412874199665253708896703/1022069095624\ 8514482919514571968222713528129914088393*c_1100_0^3 + 48363383151960556298950330983053361784783967287008455/1022069095624\ 8514482919514571968222713528129914088393*c_1100_0^2 + 25799819458718572200841506544014633229824805351267946/3066207286874\ 5543448758543715904668140584389742265179*c_1100_0 + 10620506609089578706290274740033460455221120275220247/1022069095624\ 8514482919514571968222713528129914088393, c_0101_3 + 78556583368983016887072178743217431641972432188726/102206909\ 56248514482919514571968222713528129914088393*c_1100_0^22 - 9316190346672239612977988237600062441072898323565/10220690956248514\ 482919514571968222713528129914088393*c_1100_0^21 - 4485560913187135979967328961990664630783581398013041/10220690956248\ 514482919514571968222713528129914088393*c_1100_0^20 - 1224032084168550744649458784224358122562461580245372/10220690956248\ 514482919514571968222713528129914088393*c_1100_0^19 + 103645366595120873518367559874902079814228668812735387/102206909562\ 48514482919514571968222713528129914088393*c_1100_0^18 + 26171867112971401695154187023154621008651345605185968/1022069095624\ 8514482919514571968222713528129914088393*c_1100_0^17 - 1148312206101472590553976790009589037070471124110264650/10220690956\ 248514482919514571968222713528129914088393*c_1100_0^16 - 287078690912277867527456732876781779818071135114039242/102206909562\ 48514482919514571968222713528129914088393*c_1100_0^15 + 6360996178531349631970159187221458342325961830260356041/10220690956\ 248514482919514571968222713528129914088393*c_1100_0^14 + 1228863808082354904886507745646571054343618042463438319/10220690956\ 248514482919514571968222713528129914088393*c_1100_0^13 - 18207284939211713860223784107120680289979917794142785666/1022069095\ 6248514482919514571968222713528129914088393*c_1100_0^12 - 1375094111750696930800342231462162185473696466154692446/10220690956\ 248514482919514571968222713528129914088393*c_1100_0^11 + 27429491234270129467529401824995160879661294503301451915/1022069095\ 6248514482919514571968222713528129914088393*c_1100_0^10 - 1462620215480449860770170431806646988800095642779079507/10220690956\ 248514482919514571968222713528129914088393*c_1100_0^9 - 22146029722532246173321002481001816968102748982069177578/1022069095\ 6248514482919514571968222713528129914088393*c_1100_0^8 + 3654583177779144698456601094222983858683018652612589665/10220690956\ 248514482919514571968222713528129914088393*c_1100_0^7 + 9382841903308566259770654515552105096792910267956702152/10220690956\ 248514482919514571968222713528129914088393*c_1100_0^6 - 1716795675691481017833356760940236174064083662855712297/10220690956\ 248514482919514571968222713528129914088393*c_1100_0^5 - 1667055127603609951514593625524679734424440539094850696/10220690956\ 248514482919514571968222713528129914088393*c_1100_0^4 + 84078311518889093017923377760431498311566551135825001/1022069095624\ 8514482919514571968222713528129914088393*c_1100_0^3 + 139608136772152465657779813960240204511973195208644424/102206909562\ 48514482919514571968222713528129914088393*c_1100_0^2 + 65048834800617453157646159982109553405741622064832798/1022069095624\ 8514482919514571968222713528129914088393*c_1100_0 - 2132095739237303404443259743210869693553046291812791/10220690956248\ 514482919514571968222713528129914088393, c_1001_1 + 11710993182006189566375696807754451482285534424031/102206909\ 56248514482919514571968222713528129914088393*c_1100_0^22 - 38021470214893821645500958031716579888776326863175/1022069095624851\ 4482919514571968222713528129914088393*c_1100_0^21 - 566007042887500245679044993026833939079350005434408/102206909562485\ 14482919514571968222713528129914088393*c_1100_0^20 + 1659426856195424259499552390899366054484282742908999/10220690956248\ 514482919514571968222713528129914088393*c_1100_0^19 + 10954599208846377354876452790074350277973866104531655/1022069095624\ 8514482919514571968222713528129914088393*c_1100_0^18 - 33594984933466117814093693760207216615054200352454043/1022069095624\ 8514482919514571968222713528129914088393*c_1100_0^17 - 76901655596552779399165386689124911747385997657970967/1022069095624\ 8514482919514571968222713528129914088393*c_1100_0^16 + 263857237595492715621669684658990405172666614473516916/102206909562\ 48514482919514571968222713528129914088393*c_1100_0^15 + 135895656145902672701704013364827500925487147059299344/102206909562\ 48514482919514571968222713528129914088393*c_1100_0^14 - 773127347045879317106818229365409834572424259097794240/102206909562\ 48514482919514571968222713528129914088393*c_1100_0^13 + 381137124945385644847005018531659375151136482156118655/102206909562\ 48514482919514571968222713528129914088393*c_1100_0^12 + 293314734945324068158822597233795569604402911136755228/102206909562\ 48514482919514571968222713528129914088393*c_1100_0^11 - 1002058095037669162921922460475936359569429312236553202/10220690956\ 248514482919514571968222713528129914088393*c_1100_0^10 + 1579267640050138659606641644061526650894776589571529310/10220690956\ 248514482919514571968222713528129914088393*c_1100_0^9 + 227386509306222258741826737006534176082618182668322599/102206909562\ 48514482919514571968222713528129914088393*c_1100_0^8 - 2130751675272415786446359754392360498162277189606222964/10220690956\ 248514482919514571968222713528129914088393*c_1100_0^7 + 851779576864124436873399301962738327312591064659291532/102206909562\ 48514482919514571968222713528129914088393*c_1100_0^6 + 859325365558149596288554911457023996172642750366663797/102206909562\ 48514482919514571968222713528129914088393*c_1100_0^5 - 541175046038260174670717672949501908581281686476730952/102206909562\ 48514482919514571968222713528129914088393*c_1100_0^4 - 45910014321232875628264132736067534241952131133560033/1022069095624\ 8514482919514571968222713528129914088393*c_1100_0^3 + 29096780807354510756340543821485356440905335277715551/1022069095624\ 8514482919514571968222713528129914088393*c_1100_0^2 + 11326586852218902934280637501808949942411111792349199/1022069095624\ 8514482919514571968222713528129914088393*c_1100_0 + 2058519535847537279463964335664491720325147836677840/10220690956248\ 514482919514571968222713528129914088393, c_1100_0^23 - 2*c_1100_0^22 - 53*c_1100_0^21 + 83*c_1100_0^20 + 1147*c_1100_0^19 - 1774*c_1100_0^18 - 10969*c_1100_0^17 + 15919*c_1100_0^16 + 48919*c_1100_0^15 - 67265*c_1100_0^14 - 102865*c_1100_0^13 + 141638*c_1100_0^12 + 104147*c_1100_0^11 - 160156*c_1100_0^10 - 44362*c_1100_0^9 + 97369*c_1100_0^8 + 2071*c_1100_0^7 - 27488*c_1100_0^6 + 2371*c_1100_0^5 + 2682*c_1100_0^4 + 423*c_1100_0^3 - 181*c_1100_0^2 - 75*c_1100_0 + 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.310 seconds, Total memory usage: 32.09MB