Magma V2.19-8 Tue Aug 20 2013 23:38:31 on localhost [Seed = 3734551265] Type ? for help. Type -D to quit. Loading file "K10a57__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a57 geometric_solution 11.39322463 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 1 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -1 1 -1 0 0 1 -4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.901837073525 0.727266308369 0 0 3 2 0132 2310 3120 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.328103604633 0.541835798738 1 0 5 4 3120 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 -1 0 1 0 0 0 0 0 4 0 -4 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.854168269032 0.808574151737 6 5 1 0 0132 0132 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.854168269031 0.808574151737 6 7 2 8 2103 0132 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.261635724168 0.801057417868 6 3 7 2 3120 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.870533921847 0.896784958746 3 9 4 5 0132 0132 2103 3120 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 -1 0 0 1 0 -1 0 1 -3 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.314191036022 0.470516535377 8 4 10 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.227311331970 0.419966257054 7 9 4 10 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523174439150 1.408094012207 11 6 11 8 0132 0132 3012 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.661587351316 0.821654465823 11 11 8 7 3201 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.428566181111 1.040544193547 9 9 10 10 0132 1230 3012 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.428566181111 1.040544193547 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : negation(d['c_0011_10']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : d['c_0101_11'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : negation(d['c_1001_1']), 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_0101_11'], 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : d['c_0101_11'], '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_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1100_10'], 'c_1100_4' : d['c_1100_10'], 'c_1100_7' : d['c_1100_10'], 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_1100_10'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_1100_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_0'], 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : negation(d['c_1001_1']), 'c_1010_4' : d['c_0101_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : d['c_0011_4'], 'c_1010_8' : negation(d['c_0011_10']), 'c_1100_8' : d['c_1100_10'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : 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' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : d['c_0011_4'], 'c_0011_5' : d['c_0011_11'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : d['c_0011_11'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0101_10'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : d['c_0101_5'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_5'], 'c_0110_6' : d['c_0101_2']})} 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_4, c_0101_0, c_0101_10, c_0101_11, c_0101_2, c_0101_5, c_1001_0, c_1001_1, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t - 1836124307876802776578278347520/2106455467512532432823303993*c_1100\ _10^28 + 15502271350480723972678275603329/2106455467512532432823303\ 993*c_1100_10^27 - 62586629044866413245897313439109/210645546751253\ 2432823303993*c_1100_10^26 + 152818477568888483191653823862206/2106\ 455467512532432823303993*c_1100_10^25 - 244957658002849586581260144297296/2106455467512532432823303993*c_11\ 00_10^24 + 291850169459525297256135881277460/2106455467512532432823\ 303993*c_1100_10^23 - 392624403875393203608718193208183/21064554675\ 12532432823303993*c_1100_10^22 + 777648417432867188389263203382436/\ 2106455467512532432823303993*c_1100_10^21 - 1424762944467092771507732425332849/2106455467512532432823303993*c_1\ 100_10^20 + 1876789221790165159390505354990419/21064554675125324328\ 23303993*c_1100_10^19 - 1908623767931727569529777296602232/21064554\ 67512532432823303993*c_1100_10^18 + 2101672318115003712776641927689567/2106455467512532432823303993*c_1\ 100_10^17 - 3004924648929493224247218475096541/21064554675125324328\ 23303993*c_1100_10^16 + 4096570300897702796719919783181182/21064554\ 67512532432823303993*c_1100_10^15 - 16218275641577454687760669611369/7443305538913542165453371*c_1100_1\ 0^14 + 4659596687413806198280292763965434/2106455467512532432823303\ 993*c_1100_10^13 - 4657992150479224751445943190445445/2106455467512\ 532432823303993*c_1100_10^12 + 4396095486208551288366852737828831/2\ 106455467512532432823303993*c_1100_10^11 - 4121026651118427533939933378315358/2106455467512532432823303993*c_1\ 100_10^10 + 4296027572415687953014415522879764/21064554675125324328\ 23303993*c_1100_10^9 - 4423220193764772607927195489508364/210645546\ 7512532432823303993*c_1100_10^8 + 373927893911037042731706308747903\ 4/2106455467512532432823303993*c_1100_10^7 - 2487846182303121309514575677338157/2106455467512532432823303993*c_1\ 100_10^6 + 1418296169009523911461233151323073/210645546751253243282\ 3303993*c_1100_10^5 - 19635837323286472578236602380417/569312288516\ 90065751981189*c_1100_10^4 + 278611908097923894744950634228407/2106\ 455467512532432823303993*c_1100_10^3 - 58894856762120144334862770862152/2106455467512532432823303993*c_110\ 0_10^2 + 7151674353624623104249949697395/21064554675125324328233039\ 93*c_1100_10 + 504404234753976417749068547749/210645546751253243282\ 3303993, c_0011_0 - 1, c_0011_10 + 274276763570415785939390/201170419970636274741983*c_1100_10\ ^28 - 2466967789024761887155242/201170419970636274741983*c_1100_10^\ 27 + 10641428862111327391497635/201170419970636274741983*c_1100_10^\ 26 - 28125409318129181967402329/201170419970636274741983*c_1100_10^\ 25 + 49790236972905127881452997/201170419970636274741983*c_1100_10^\ 24 - 65340133566786809546816331/201170419970636274741983*c_1100_10^\ 23 + 85278482800971166424322492/201170419970636274741983*c_1100_10^\ 22 - 151540037189211214263066036/201170419970636274741983*c_1100_10\ ^21 + 280694310476296903903448690/201170419970636274741983*c_1100_1\ 0^20 - 405350142751318226696902629/201170419970636274741983*c_1100_\ 10^19 + 454473402846691650363651641/201170419970636274741983*c_1100\ _10^18 - 491065281194178376972231573/201170419970636274741983*c_110\ 0_10^17 + 641515665491961720448203698/201170419970636274741983*c_11\ 00_10^16 - 879827874547494957173041928/201170419970636274741983*c_1\ 100_10^15 + 1053171703164948814615996240/201170419970636274741983*c\ _1100_10^14 - 1116867298630862381888628638/201170419970636274741983\ *c_1100_10^13 + 1127095925799324021509645355/2011704199706362747419\ 83*c_1100_10^12 - 1087118562033863239366735730/20117041997063627474\ 1983*c_1100_10^11 + 1024712251526512643249094991/201170419970636274\ 741983*c_1100_10^10 - 1025795293443129021330566959/2011704199706362\ 74741983*c_1100_10^9 + 1055264040003594286509661513/201170419970636\ 274741983*c_1100_10^8 - 965770241304490775571836475/201170419970636\ 274741983*c_1100_10^7 + 725304300370713500153745548/201170419970636\ 274741983*c_1100_10^6 - 454929734914552353274634790/201170419970636\ 274741983*c_1100_10^5 + 249288369766157133594751668/201170419970636\ 274741983*c_1100_10^4 - 114596380933717532868726906/201170419970636\ 274741983*c_1100_10^3 + 38446338324293421637757405/2011704199706362\ 74741983*c_1100_10^2 - 8275539397518608102406292/201170419970636274\ 741983*c_1100_10 + 751887594858986889793504/20117041997063627474198\ 3, c_0011_11 + c_1100_10, c_0011_4 + 72810948943285303164283/201170419970636274741983*c_1100_10^2\ 8 - 623764044650660663788579/201170419970636274741983*c_1100_10^27 + 2571943312048745138872893/201170419970636274741983*c_1100_10^26 - 6467567829194780700121361/201170419970636274741983*c_1100_10^25 + 10815937399498262547246685/201170419970636274741983*c_1100_10^24 - 13510967635510997498305584/201170419970636274741983*c_1100_10^23 + 17994982013944317798816990/201170419970636274741983*c_1100_10^22 - 33850019943075943615258350/201170419970636274741983*c_1100_10^21 + 62099970627272530678485515/201170419970636274741983*c_1100_10^20 - 85293964624404634979714192/201170419970636274741983*c_1100_10^19 + 91209761373963638102914082/201170419970636274741983*c_1100_10^18 - 99723352208359940283033021/201170419970636274741983*c_1100_10^17 + 136191084525390660352130984/201170419970636274741983*c_1100_10^16 - 185905152357056048026283824/201170419970636274741983*c_1100_10^15 + 215318746849167122321763457/201170419970636274741983*c_1100_10^14 - 223605506265601731010574867/201170419970636274741983*c_1100_10^13 + 224339553152327874283083041/201170419970636274741983*c_1100_10^12 - 214177745075881823849626257/201170419970636274741983*c_1100_10^11 + 201799631366954325030070450/201170419970636274741983*c_1100_10^10 - 205956924330639823135113478/201170419970636274741983*c_1100_10^9 + 211659307245303461944097528/201170419970636274741983*c_1100_10^8 - 186371785165512440649584599/201170419970636274741983*c_1100_10^7 + 132521269096761335737439443/201170419970636274741983*c_1100_10^6 - 80017671647036577459665735/201170419970636274741983*c_1100_10^5 + 42737124879055213711537902/201170419970636274741983*c_1100_10^4 - 18482189665672784132075891/201170419970636274741983*c_1100_10^3 + 5653776366781608574379480/201170419970636274741983*c_1100_10^2 - 1141444585320799600382115/201170419970636274741983*c_1100_10 + 117578148095603349753078/201170419970636274741983, c_0101_0 - 34336895635233897148665/201170419970636274741983*c_1100_10^2\ 8 + 191453912621501724584907/201170419970636274741983*c_1100_10^27 - 353746545856977144184516/201170419970636274741983*c_1100_10^26 - 390746585013544673120303/201170419970636274741983*c_1100_10^25 + 3235184606105264468646864/201170419970636274741983*c_1100_10^24 - 6900985060239337519389310/201170419970636274741983*c_1100_10^23 + 7330665317235758284567778/201170419970636274741983*c_1100_10^22 - 5595010602603752615183529/201170419970636274741983*c_1100_10^21 + 13519173855141351825421446/201170419970636274741983*c_1100_10^20 - 37497156985636029328810749/201170419970636274741983*c_1100_10^19 + 58610278427894477251139620/201170419970636274741983*c_1100_10^18 - 56656323130396614774994498/201170419970636274741983*c_1100_10^17 + 51519919435804530945407050/201170419970636274741983*c_1100_10^16 - 77785604931570288868538964/201170419970636274741983*c_1100_10^15 + 121906828040517489836773339/201170419970636274741983*c_1100_10^14 - 144117317447422948889809271/201170419970636274741983*c_1100_10^13 + 149077129207068587447260421/201170419970636274741983*c_1100_10^12 - 154881006905863958409220774/201170419970636274741983*c_1100_10^11 + 146372215422891132066597511/201170419970636274741983*c_1100_10^10 - 130226691706878225555275403/201170419970636274741983*c_1100_10^9 + 137398078142913813335895956/201170419970636274741983*c_1100_10^8 - 154638940632931294310459423/201170419970636274741983*c_1100_10^7 + 141909887853347026437189013/201170419970636274741983*c_1100_10^6 - 100144479958223973082123370/201170419970636274741983*c_1100_10^5 + 60797072610590705135986661/201170419970636274741983*c_1100_10^4 - 33661714987410320416277668/201170419970636274741983*c_1100_10^3 + 14269565332190429091264618/201170419970636274741983*c_1100_10^2 - 3781705790813173779584272/201170419970636274741983*c_1100_10 + 704809118315443390059316/201170419970636274741983, c_0101_10 + 5693152753653702241265/201170419970636274741983*c_1100_10^2\ 8 - 138554964915614551305766/201170419970636274741983*c_1100_10^27 + 983192190071591011204482/201170419970636274741983*c_1100_10^26 - 3765115805353263989328258/201170419970636274741983*c_1100_10^25 + 9112394894702633029113016/201170419970636274741983*c_1100_10^24 - 14953466623866516101799805/201170419970636274741983*c_1100_10^23 + 18729911529035473519522455/201170419970636274741983*c_1100_10^22 - 25476464401132177372615873/201170419970636274741983*c_1100_10^21 + 47817451777731419921752357/201170419970636274741983*c_1100_10^20 - 86134975316662514409805404/201170419970636274741983*c_1100_10^19 + 116712440110076689346356674/201170419970636274741983*c_1100_10^18 - 124428631899339388506566960/201170419970636274741983*c_1100_10^17 + 137126784704166299808603415/201170419970636274741983*c_1100_10^16 - 187775482585438481813458963/201170419970636274741983*c_1100_10^15 + 254725230665002432562605263/201170419970636274741983*c_1100_10^14 - 292803991069806335983306986/201170419970636274741983*c_1100_10^13 + 302342421345503849499024262/201170419970636274741983*c_1100_10^12 - 302496664586349449197380801/201170419970636274741983*c_1100_10^11 + 288583465756002007610075149/201170419970636274741983*c_1100_10^10 - 271900164596999036527250703/201170419970636274741983*c_1100_10^9 + 277531382694281486050162457/201170419970636274741983*c_1100_10^8 - 284300630697899607426872439/201170419970636274741983*c_1100_10^7 + 247919371210413901343833934/201170419970636274741983*c_1100_10^6 - 173807086225761293047151598/201170419970636274741983*c_1100_10^5 + 103277321827714229944037932/201170419970636274741983*c_1100_10^4 - 54216252510105446574548034/201170419970636274741983*c_1100_10^3 + 22673948490784104318088834/201170419970636274741983*c_1100_10^2 - 6141558628578561130169343/201170419970636274741983*c_1100_10 + 1017230231624623296568383/201170419970636274741983, c_0101_11 - 168033590259428557026319/201170419970636274741983*c_1100_10\ ^28 + 1569296247077855784405776/201170419970636274741983*c_1100_10^\ 27 - 7017826509043977259600034/201170419970636274741983*c_1100_10^2\ 6 + 19278980932083948409180750/201170419970636274741983*c_1100_10^2\ 5 - 35609361886066053946151854/201170419970636274741983*c_1100_10^2\ 4 + 48430601492740073785352377/201170419970636274741983*c_1100_10^2\ 3 - 62513339164050204907009100/201170419970636274741983*c_1100_10^2\ 2 + 106510345239448332339527804/201170419970636274741983*c_1100_10^\ 21 - 198282302556695083220724781/201170419970636274741983*c_1100_10\ ^20 + 296752146068326537620809969/201170419970636274741983*c_1100_1\ 0^19 - 343819207949294088575347208/201170419970636274741983*c_1100_\ 10^18 + 369177551779257694009454420/201170419970636274741983*c_1100\ _10^17 - 467766034388921256067526082/201170419970636274741983*c_110\ 0_10^16 + 643183801098075137125530980/201170419970636274741983*c_11\ 00_10^15 - 787511964565050638800241917/201170419970636274741983*c_1\ 100_10^14 + 846722128521260311456049430/201170419970636274741983*c_\ 1100_10^13 - 857612690354971261306493918/201170419970636274741983*c\ _1100_10^12 + 833402866256020617204505692/201170419970636274741983*\ c_1100_10^11 - 786487036236469946075230281/201170419970636274741983\ *c_1100_10^10 + 777467478959262239743020585/20117041997063627474198\ 3*c_1100_10^9 - 800105631670165287642925529/20117041997063627474198\ 3*c_1100_10^8 + 749653140395961413203672615/20117041997063627474198\ 3*c_1100_10^7 - 581136078077531241180573458/20117041997063627474198\ 3*c_1100_10^6 + 373380047447623234428533287/20117041997063627474198\ 3*c_1100_10^5 - 208234807276160592620402774/20117041997063627474198\ 3*c_1100_10^4 + 98979911454806392580760299/201170419970636274741983\ *c_1100_10^3 - 35169445508891722360677496/201170419970636274741983*\ c_1100_10^2 + 8052973980081554432130541/201170419970636274741983*c_\ 1100_10 - 846342846402461628275671/201170419970636274741983, c_0101_2 - 79996872081461699986120/201170419970636274741983*c_1100_10^2\ 8 + 808008566911122156915279/201170419970636274741983*c_1100_10^27 - 3881165691343739926949177/201170419970636274741983*c_1100_10^26 + 11456335514172254131207337/201170419970636274741983*c_1100_10^25 - 22782060497145032175377853/201170419970636274741983*c_1100_10^24 + 32906516281367908467290121/201170419970636274741983*c_1100_10^23 - 42003049870335988013467976/201170419970636274741983*c_1100_10^22 + 66668484484717617785532364/201170419970636274741983*c_1100_10^21 - 124478551416917193139310400/201170419970636274741983*c_1100_10^20 + 197398918505636216559969781/201170419970636274741983*c_1100_10^19 - 241347675507284838536203188/201170419970636274741983*c_1100_10^18 + 257985451768370794812161300/201170419970636274741983*c_1100_10^17 - 311184280214541149162593120/201170419970636274741983*c_1100_10^16 + 427851147402616731557865882/201170419970636274741983*c_1100_10^15 - 542919844869044067010826498/201170419970636274741983*c_1100_10^14 + 597458322447334130428190739/201170419970636274741983*c_1100_10^13 - 608609755463852137365509731/201170419970636274741983*c_1100_10^12 + 597709300294210674180481267/201170419970636274741983*c_1100_10^11 - 566080647658246763966700025/201170419970636274741983*c_1100_10^10 + 549353526577193692451455696/201170419970636274741983*c_1100_10^9 - 564260808868370610633241129/201170419970636274741983*c_1100_10^8 + 546792664582436304855732840/201170419970636274741983*c_1100_10^7 - 443891051394969210406119335/201170419970636274741983*c_1100_10^6 + 295078855299285964847068883/201170419970636274741983*c_1100_10^5 - 168377670112063143765835524/201170419970636274741983*c_1100_10^4 + 83455432448494075347002650/201170419970636274741983*c_1100_10^3 - 31802664235122791156156386/201170419970636274741983*c_1100_10^2 + 7725432562441611828987967/201170419970636274741983*c_1100_10 - 926339718483923328261791/201170419970636274741983, c_0101_5 - 42556651290628350735299/201170419970636274741983*c_1100_10^2\ 8 + 266365372735535436451298/201170419970636274741983*c_1100_10^27 - 675640043373940807638903/201170419970636274741983*c_1100_10^26 + 430432237677082910783119/201170419970636274741983*c_1100_10^25 + 1914589215346777075219413/201170419970636274741983*c_1100_10^24 - 5495154241322468376526709/201170419970636274741983*c_1100_10^23 + 5792523322054668963936253/201170419970636274741983*c_1100_10^22 - 2233266630532349026843752/201170419970636274741983*c_1100_10^21 + 6347062421460112286059020/201170419970636274741983*c_1100_10^20 - 27847993082959133510822193/201170419970636274741983*c_1100_10^19 + 50539469075239388129450019/201170419970636274741983*c_1100_10^18 - 50065497609212502107872031/201170419970636274741983*c_1100_10^17 + 40197961645448806599062770/201170419970636274741983*c_1100_10^16 - 58877499021287006736110780/201170419970636274741983*c_1100_10^15 + 101419783885547417060633566/201170419970636274741983*c_1100_10^14 - 127525877215456366506019503/201170419970636274741983*c_1100_10^13 + 134697490184189508373626156/201170419970636274741983*c_1100_10^12 - 141392010810781975839363666/201170419970636274741983*c_1100_10^11 + 134954347039156814177315795/201170419970636274741983*c_1100_10^10 - 117738563234466294122496455/201170419970636274741983*c_1100_10^9 + 121980192459582598942237130/201170419970636274741983*c_1100_10^8 - 142926427193702747773322732/201170419970636274741983*c_1100_10^7 + 139341710566352125790898846/201170419970636274741983*c_1100_10^6 - 103220244843411781319082816/201170419970636274741983*c_1100_10^5 + 63974971417634065331879510/201170419970636274741983*c_1100_10^4 - 35928031270950453630178411/201170419970636274741983*c_1100_10^3 + 15973963434288018482122429/201170419970636274741983*c_1100_10^2 - 4476834889038587470418840/201170419970636274741983*c_1100_10 + 818758949646723560881151/201170419970636274741983, c_1001_0 - 79996872081461699986120/201170419970636274741983*c_1100_10^2\ 8 + 808008566911122156915279/201170419970636274741983*c_1100_10^27 - 3881165691343739926949177/201170419970636274741983*c_1100_10^26 + 11456335514172254131207337/201170419970636274741983*c_1100_10^25 - 22782060497145032175377853/201170419970636274741983*c_1100_10^24 + 32906516281367908467290121/201170419970636274741983*c_1100_10^23 - 42003049870335988013467976/201170419970636274741983*c_1100_10^22 + 66668484484717617785532364/201170419970636274741983*c_1100_10^21 - 124478551416917193139310400/201170419970636274741983*c_1100_10^20 + 197398918505636216559969781/201170419970636274741983*c_1100_10^19 - 241347675507284838536203188/201170419970636274741983*c_1100_10^18 + 257985451768370794812161300/201170419970636274741983*c_1100_10^17 - 311184280214541149162593120/201170419970636274741983*c_1100_10^16 + 427851147402616731557865882/201170419970636274741983*c_1100_10^15 - 542919844869044067010826498/201170419970636274741983*c_1100_10^14 + 597458322447334130428190739/201170419970636274741983*c_1100_10^13 - 608609755463852137365509731/201170419970636274741983*c_1100_10^12 + 597709300294210674180481267/201170419970636274741983*c_1100_10^11 - 566080647658246763966700025/201170419970636274741983*c_1100_10^10 + 549353526577193692451455696/201170419970636274741983*c_1100_10^9 - 564260808868370610633241129/201170419970636274741983*c_1100_10^8 + 546792664582436304855732840/201170419970636274741983*c_1100_10^7 - 443891051394969210406119335/201170419970636274741983*c_1100_10^6 + 295078855299285964847068883/201170419970636274741983*c_1100_10^5 - 168377670112063143765835524/201170419970636274741983*c_1100_10^4 + 83455432448494075347002650/201170419970636274741983*c_1100_10^3 - 31802664235122791156156386/201170419970636274741983*c_1100_10^2 + 7725432562441611828987967/201170419970636274741983*c_1100_10 - 926339718483923328261791/201170419970636274741983, c_1001_1 - 34336895635233897148665/201170419970636274741983*c_1100_10^2\ 8 + 191453912621501724584907/201170419970636274741983*c_1100_10^27 - 353746545856977144184516/201170419970636274741983*c_1100_10^26 - 390746585013544673120303/201170419970636274741983*c_1100_10^25 + 3235184606105264468646864/201170419970636274741983*c_1100_10^24 - 6900985060239337519389310/201170419970636274741983*c_1100_10^23 + 7330665317235758284567778/201170419970636274741983*c_1100_10^22 - 5595010602603752615183529/201170419970636274741983*c_1100_10^21 + 13519173855141351825421446/201170419970636274741983*c_1100_10^20 - 37497156985636029328810749/201170419970636274741983*c_1100_10^19 + 58610278427894477251139620/201170419970636274741983*c_1100_10^18 - 56656323130396614774994498/201170419970636274741983*c_1100_10^17 + 51519919435804530945407050/201170419970636274741983*c_1100_10^16 - 77785604931570288868538964/201170419970636274741983*c_1100_10^15 + 121906828040517489836773339/201170419970636274741983*c_1100_10^14 - 144117317447422948889809271/201170419970636274741983*c_1100_10^13 + 149077129207068587447260421/201170419970636274741983*c_1100_10^12 - 154881006905863958409220774/201170419970636274741983*c_1100_10^11 + 146372215422891132066597511/201170419970636274741983*c_1100_10^10 - 130226691706878225555275403/201170419970636274741983*c_1100_10^9 + 137398078142913813335895956/201170419970636274741983*c_1100_10^8 - 154638940632931294310459423/201170419970636274741983*c_1100_10^7 + 141909887853347026437189013/201170419970636274741983*c_1100_10^6 - 100144479958223973082123370/201170419970636274741983*c_1100_10^5 + 60797072610590705135986661/201170419970636274741983*c_1100_10^4 - 33661714987410320416277668/201170419970636274741983*c_1100_10^3 + 14269565332190429091264618/201170419970636274741983*c_1100_10^2 - 3781705790813173779584272/201170419970636274741983*c_1100_10 + 704809118315443390059316/201170419970636274741983, c_1100_10^29 - 9*c_1100_10^28 + 39*c_1100_10^27 - 104*c_1100_10^26 + 187*c_1100_10^25 - 251*c_1100_10^24 + 331*c_1100_10^23 - 577*c_1100_10^22 + 1058*c_1100_10^21 - 1545*c_1100_10^20 + 1775*c_1100_10^19 - 1944*c_1100_10^18 + 2500*c_1100_10^17 - 3391*c_1100_10^16 + 4095*c_1100_10^15 - 4411*c_1100_10^14 + 4492*c_1100_10^13 - 4359*c_1100_10^12 + 4130*c_1100_10^11 - 4112*c_1100_10^10 + 4202*c_1100_10^9 - 3887*c_1100_10^8 + 3013*c_1100_10^7 - 1973*c_1100_10^6 + 1126*c_1100_10^5 - 545*c_1100_10^4 + 206*c_1100_10^3 - 57*c_1100_10^2 + 10*c_1100_10 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.370 Total time: 0.580 seconds, Total memory usage: 32.09MB