Magma V2.19-8 Wed Aug 21 2013 01:06:27 on localhost [Seed = 4055361854] Type ? for help. Type -D to quit. Loading file "L14n32702__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32702 geometric_solution 11.86149353 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 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.232272709717 0.651726202479 0 2 6 5 0132 2310 0132 0132 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 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.986514502367 0.984142636342 7 0 7 1 0132 0132 2310 3201 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 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.363895177261 1.454383915781 8 4 9 0 0132 2103 0132 0132 1 1 1 1 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 1 0 -1 4 -1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.610356929962 0.957860257622 7 3 0 6 3120 2103 0132 0321 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 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.049237281073 1.072156837982 10 11 1 10 0132 0132 0132 2031 1 1 0 1 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 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.838774593923 1.068869837991 7 4 9 1 2103 0321 0321 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.426494715748 0.568818133483 2 2 6 4 0132 3201 2103 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.274183775609 0.371184827956 3 9 10 12 0132 3120 0132 0132 1 1 1 1 0 0 1 -1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -4 3 0 0 0 0 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.857144916029 0.368043316859 11 8 6 3 3012 3120 0321 0132 1 1 1 1 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 0 0 0 -3 0 0 3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.313485357148 0.677619522199 5 5 12 8 0132 1302 3012 0132 1 1 1 0 0 0 1 -1 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 -4 4 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.545632185896 0.579011399926 12 5 12 9 3012 0132 1302 1230 1 1 1 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 0 0 0 -3 0 0 3 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.537774286376 1.265683635000 11 10 8 11 2031 1230 0132 1230 1 1 0 1 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 -3 3 0 0 0 0 0 -1 0 1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.715637305362 0.669264444444 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : negation(d['c_0011_9']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0011_3'], 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : d['c_0011_3'], 'c_1001_9' : negation(d['c_1001_8']), 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : negation(d['c_0101_6']), 'c_1010_10' : d['c_1001_8'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_12']), 'c_0101_10' : negation(d['c_0011_12']), '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_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_8']), 'c_1100_4' : d['c_1001_6'], 'c_1100_7' : negation(d['c_0101_1']), 'c_1100_6' : negation(d['c_1001_8']), 'c_1100_1' : negation(d['c_1001_8']), 'c_1100_0' : d['c_1001_6'], 'c_1100_3' : d['c_1001_6'], 'c_1100_2' : d['c_0011_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : d['c_0011_9'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : negation(d['c_1001_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_6']), 'c_1010_0' : d['c_0011_3'], 'c_1010_9' : d['c_0011_3'], 'c_1010_8' : negation(d['c_0011_9']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_9'], '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' : 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' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_3'], '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_0110_11' : d['c_0011_9'], 'c_0110_10' : d['c_0101_0'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_6']), 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_6'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0011_12']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : negation(d['c_0011_6']), 'c_1100_8' : d['c_0011_9']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_12, c_0101_6, c_1001_0, c_1001_6, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 3231081460569865384592072962793926365148172655801461477588407334227\ 469/101102676696255512293780299372042856984216917180228237094175089\ 5656250*c_1001_8^18 - 875715234697777149693772726109096304308919622\ 1910115726706291809635056/50551338348127756146890149686021428492108\ 4585901141185470875447828125*c_1001_8^17 - 2703151756468221425309485364120038568513324134536079197338704790785\ 147/674017844641703415291868662480285713228112781201521580627833930\ 43750*c_1001_8^16 + 38185137213765887130405815278464483990093151487\ 32490740767166665013007/2022053533925110245875605987440857139684338\ 3436045647418835017913125*c_1001_8^15 + 1269602064751022122186492235293387315328080630507708373245159501392\ 346408/505513383481277561468901496860214284921084585901141185470875\ 447828125*c_1001_8^14 + 1721861061612842402862755938488003008276530\ 303207830454078284802877243431/505513383481277561468901496860214284\ 921084585901141185470875447828125*c_1001_8^13 + 2185642076937805994596442946377907908083534110791032290107207493764\ 065331/337008922320851707645934331240142856614056390600760790313916\ 965218750*c_1001_8^12 - 3872860599479057207350635101494100800315802\ 46480890532557503176017806577/1011026766962555122937802993720428569\ 84216917180228237094175089565625*c_1001_8^11 + 5846653276075460438529168091040635072972944917667673808391077497239\ 08183/1011026766962555122937802993720428569842169171802282370941750\ 895656250*c_1001_8^10 - 2708244583894215230457393293268197908512778\ 91348587405729809670428275974/4595576213466159649717286335092857135\ 6462235081921925951897767984375*c_1001_8^9 - 8983841810893537157316730175510406938862701000512245976745011727942\ 19133/1011026766962555122937802993720428569842169171802282370941750\ 895656250*c_1001_8^8 + 39692844078108156416295498900165218703572352\ 04259602084769534358098756587/1011026766962555122937802993720428569\ 842169171802282370941750895656250*c_1001_8^7 + 8995255473751525195816569436881541788134056918248848461226296594471\ 8529/45955762134661596497172863350928571356462235081921925951897767\ 984375*c_1001_8^6 + 98465004793096305460751789531907061174210173058\ 4273526094027942482321869/16850446116042585382296716562007142830702\ 8195300380395156958482609375*c_1001_8^5 - 1280431711533073422804509630372224638826387636158989691456105995125\ 173857/337008922320851707645934331240142856614056390600760790313916\ 965218750*c_1001_8^4 - 60931343208020122037006549538574734144538525\ 35327394832903175553516465487/1011026766962555122937802993720428569\ 842169171802282370941750895656250*c_1001_8^3 - 5274674687980836582004454191260711769010246815266064476396765956002\ 9551/33700892232085170764593433124014285661405639060076079031391696\ 5218750*c_1001_8^2 + 1424372271813929061573231449601960434391419135\ 03486085513487013452529503/3370089223208517076459343312401428566140\ 56390600760790313916965218750*c_1001_8 - 1747804252211441150315885130491403851255500095828590933417197837162\ 2356/16850446116042585382296716562007142830702819530038039515695848\ 2609375, c_0011_0 - 1, c_0011_10 + 1, c_0011_12 + 31366258066469407879431077191248029915030348953822050161996\ /768627571950059630112756043208823831265375078463722458244425*c_100\ 1_8^18 - 1730997262553915600943574411274313254039719978686676208878\ 33/768627571950059630112756043208823831265375078463722458244425*c_1\ 001_8^17 - 74354896031075410780927653576544672153752270100589685502\ 544/153725514390011926022551208641764766253075015692744491648885*c_\ 1001_8^16 + 7443739951303118296069625080266285541068501895461191482\ 0862/30745102878002385204510241728352953250615003138548898329777*c_\ 1001_8^15 + 2442230948911955423913787123005592691455598874768180002\ 3084419/76862757195005963011275604320882383126537507846372245824442\ 5*c_1001_8^14 + 104474328266379198984816911192246942818413598607532\ 78284364786/2562091906500198767042520144029412770884583594879074860\ 81475*c_1001_8^13 + 21410675049353250652499715182444670597269487366\ 569441657470029/256209190650019876704252014402941277088458359487907\ 486081475*c_1001_8^12 - 8124264795053782031687224732752450505934415\ 163712738000923721/153725514390011926022551208641764766253075015692\ 744491648885*c_1001_8^11 + 1828123095718083240599070141243550419922\ 9662960619368804575197/76862757195005963011275604320882383126537507\ 8463722458244425*c_1001_8^10 - 232321422275792217680708973125924198\ 53978314989674127633865209/2562091906500198767042520144029412770884\ 58359487907486081475*c_1001_8^9 + 557844560431186814817428432258007\ 8379484645840264936420979528/76862757195005963011275604320882383126\ 5375078463722458244425*c_1001_8^8 + 23536122187019690433948390612463674063826766777197574010986408/7686\ 27571950059630112756043208823831265375078463722458244425*c_1001_8^7 + 24723640825726422310232107306280922304561678236920893292730242/76\ 8627571950059630112756043208823831265375078463722458244425*c_1001_8\ ^6 + 18111897394397279005192816051813638695876763262594442787988667\ /256209190650019876704252014402941277088458359487907486081475*c_100\ 1_8^5 - 38310638776143718873465698930731187450885072014496722648808\ 439/768627571950059630112756043208823831265375078463722458244425*c_\ 1001_8^4 - 49433866756671126006479140994087364587671627749067690383\ 979858/768627571950059630112756043208823831265375078463722458244425\ *c_1001_8^3 - 18408581391278401565641429330350249898975602828630842\ 22884784/2562091906500198767042520144029412770884583594879074860814\ 75*c_1001_8^2 + 141501467736748134398715876316039730864961965578336\ 5535417606/76862757195005963011275604320882383126537507846372245824\ 4425*c_1001_8 - 703952281629112013736482138809217939132886772984089\ 509319749/768627571950059630112756043208823831265375078463722458244\ 425, c_0011_3 - 27307889912651274986460990286800149225718308186522709983222/\ 768627571950059630112756043208823831265375078463722458244425*c_1001\ _8^18 + 51517262325285579005454112400014910530571094701027408827852\ /256209190650019876704252014402941277088458359487907486081475*c_100\ 1_8^17 + 5994969448676269077296777359798263822198163058139821505734\ 8/153725514390011926022551208641764766253075015692744491648885*c_10\ 01_8^16 - 659459773859941573876966894719546936808252611575826564917\ 18/30745102878002385204510241728352953250615003138548898329777*c_10\ 01_8^15 - 210168034664688860078255484726303732079715029873175288980\ 09208/768627571950059630112756043208823831265375078463722458244425*\ c_1001_8^14 - 81552688668015488072539428489451383942497483531947711\ 72683002/2562091906500198767042520144029412770884583594879074860814\ 75*c_1001_8^13 - 18004739953888422371650081277728048301403240008189\ 415069116353/256209190650019876704252014402941277088458359487907486\ 081475*c_1001_8^12 + 8450693281101331009967810066465514452727307657\ 583895878394812/153725514390011926022551208641764766253075015692744\ 491648885*c_1001_8^11 - 2537124975996284137577543859156125845958546\ 5690471929138206804/76862757195005963011275604320882383126537507846\ 3722458244425*c_1001_8^10 + 234617411148377949806854633756997814928\ 20902206561577212707863/2562091906500198767042520144029412770884583\ 59487907486081475*c_1001_8^9 - 207505231476992012662884146538391183\ 13722995327067853056155371/7686275719500596301127560432088238312653\ 75078463722458244425*c_1001_8^8 - 259922979036212296691133453516437\ 1918156451009668813066874852/25620919065001987670425201440294127708\ 8458359487907486081475*c_1001_8^7 - 28136344092353230336863858372352063715019819928911798864866044/7686\ 27571950059630112756043208823831265375078463722458244425*c_1001_8^6 - 13154460855635351629373941108633858432277745373558580369228519/25\ 6209190650019876704252014402941277088458359487907486081475*c_1001_8\ ^5 + 34706431305428060656436972449953553267802461478974208119529848\ /768627571950059630112756043208823831265375078463722458244425*c_100\ 1_8^4 + 12242896269764914205265918117369340971581876843404508905562\ 902/256209190650019876704252014402941277088458359487907486081475*c_\ 1001_8^3 + 33643834260417005374278488534249187442247312901383824207\ 73914/768627571950059630112756043208823831265375078463722458244425*\ c_1001_8^2 - 348348186855496131072682372689132327476026086573904593\ 010239/256209190650019876704252014402941277088458359487907486081475\ *c_1001_8 + 5116349355754766934087095115429747953874294773017163608\ 66768/768627571950059630112756043208823831265375078463722458244425, c_0011_6 + 3158078795624692708817522402409057628468325200408059510827/5\ 1241838130003975340850402880588255417691671897581497216295*c_1001_8\ ^18 - 51948013374936309093775526908812444045714036773056144577993/1\ 53725514390011926022551208641764766253075015692744491648885*c_1001_\ 8^17 - 22968203883836544356975285913496182947142987588154713679355/\ 30745102878002385204510241728352953250615003138548898329777*c_1001_\ 8^16 + 37474577900482123157090434795964526325808042490305368729664/\ 10248367626000795068170080576117651083538334379516299443259*c_1001_\ 8^15 + 740355644632854732400899979460635734674958271266478886508070\ 9/153725514390011926022551208641764766253075015692744491648885*c_10\ 01_8^14 + 322886580088623464671383789135167493688582024676650466143\ 8716/51241838130003975340850402880588255417691671897581497216295*c_\ 1001_8^13 + 6406333243815044938695300469782743786105655857333307628\ 328304/51241838130003975340850402880588255417691671897581497216295*\ c_1001_8^12 - 80600955789649614103264885629812854759260565261436686\ 6080719/10248367626000795068170080576117651083538334379516299443259\ *c_1001_8^11 + 3840868029274027827476490216158325750337128391488456\ 795129202/153725514390011926022551208641764766253075015692744491648\ 885*c_1001_8^10 - 6521760614004253836291534809804232591351010370499\ 499625525154/512418381300039753408504028805882554176916718975814972\ 16295*c_1001_8^9 + 112519821056930461053368840516402903517745908349\ 94682741141/5124183813000397534085040288058825541769167189758149721\ 6295*c_1001_8^8 + 8980207742328848740073809507475262726175725253401\ 550415348398/153725514390011926022551208641764766253075015692744491\ 648885*c_1001_8^7 + 68844900860263711758976516697121419405019693500\ 46109864316312/1537255143900119260225512086417647662530750156927444\ 91648885*c_1001_8^6 + 551608832882271225618685616952975587509309840\ 5354413050196482/51241838130003975340850402880588255417691671897581\ 497216295*c_1001_8^5 - 38161710334246999785930987536456630359755486\ 62409081605314598/5124183813000397534085040288058825541769167189758\ 1497216295*c_1001_8^4 - 1634081618395988165067588568574774934122514\ 7905689656300051328/15372551439001192602255120864176476625307501569\ 2744491648885*c_1001_8^3 - 9429228832891474508081179207362858266124\ 11281647928512701602/1537255143900119260225512086417647662530750156\ 92744491648885*c_1001_8^2 + 997656508426622815620921289552615019959\ 860872580797379947501/153725514390011926022551208641764766253075015\ 692744491648885*c_1001_8 - 2131619421661811331167036568542204221445\ 46162994183475427374/1537255143900119260225512086417647662530750156\ 92744491648885, c_0011_9 + 1168073400421819054028536860528748496671363334454802891690/3\ 0745102878002385204510241728352953250615003138548898329777*c_1001_8\ ^18 - 6667650773589176361872378596195652703719772447256223001710/30\ 745102878002385204510241728352953250615003138548898329777*c_1001_8^\ 17 - 12584770544407962991290391504996794198728093260813335562475/30\ 745102878002385204510241728352953250615003138548898329777*c_1001_8^\ 16 + 71658646303148555783110159820294614230616476109386568852423/30\ 745102878002385204510241728352953250615003138548898329777*c_1001_8^\ 15 + 896260396885130826418136170919963668006575457279768005702155/3\ 0745102878002385204510241728352953250615003138548898329777*c_1001_8\ ^14 + 332465856696877226148384489251329151705573114018338086933944/\ 10248367626000795068170080576117651083538334379516299443259*c_1001_\ 8^13 + 732135801877575955625054667492803785204834248654457526258266\ /10248367626000795068170080576117651083538334379516299443259*c_1001\ _8^12 - 19701043491801323608314761584174392138601115078692611909857\ 12/30745102878002385204510241728352953250615003138548898329777*c_10\ 01_8^11 + 102339496522568092076169705360845080456666806150778672854\ 9722/30745102878002385204510241728352953250615003138548898329777*c_\ 1001_8^10 - 9547826898111871134470401133740828117494142885307494798\ 40342/10248367626000795068170080576117651083538334379516299443259*c\ _1001_8^9 + 8743658091798465424696447981819103569517081388937370255\ 53297/30745102878002385204510241728352953250615003138548898329777*c\ _1001_8^8 + 6055012815628950241117107553318466987174228237790060382\ 74022/30745102878002385204510241728352953250615003138548898329777*c\ _1001_8^7 + 9744503901095108598910352660953319064346031851217517272\ 78683/30745102878002385204510241728352953250615003138548898329777*c\ _1001_8^6 + 5754631847402421882656538209007869222926878326833883759\ 19716/10248367626000795068170080576117651083538334379516299443259*c\ _1001_8^5 - 1709904515218658460937439634642672822936014278217254758\ 582971/30745102878002385204510241728352953250615003138548898329777*\ c_1001_8^4 - 157892701565241786805642009066175046071644227195121496\ 1843914/30745102878002385204510241728352953250615003138548898329777\ *c_1001_8^3 + 26579744221423098616596495473565577938052697495995207\ 877270/10248367626000795068170080576117651083538334379516299443259*\ c_1001_8^2 + 132120826575486893570681740659469498795284889029201853\ 413920/30745102878002385204510241728352953250615003138548898329777*\ c_1001_8 - 29678799495480023362337803107215606782510179062145557069\ 002/30745102878002385204510241728352953250615003138548898329777, c_0101_0 - 71257340552586991123400486222010411648308109781140000035563/\ 768627571950059630112756043208823831265375078463722458244425*c_1001\ _8^18 + 13026259527742320770752853242942760112955681067519448004090\ 8/256209190650019876704252014402941277088458359487907486081475*c_10\ 01_8^17 + 172150881269811494455432892034052533305784895794069141767\ 492/153725514390011926022551208641764766253075015692744491648885*c_\ 1001_8^16 - 1685122205194958554814009485747423869039516924479145784\ 26985/30745102878002385204510241728352953250615003138548898329777*c\ _1001_8^15 - 556606193622053215135082632419724061972534398080524478\ 10658707/7686275719500596301127560432088238312653750784637224582444\ 25*c_1001_8^14 - 24317990282733931986167831371623027116389179852906\ 508701225033/256209190650019876704252014402941277088458359487907486\ 081475*c_1001_8^13 - 4877846939050149790441498000859994136175445861\ 4961479385396962/25620919065001987670425201440294127708845835948790\ 7486081475*c_1001_8^12 + 179630810103110133351087636823807624178690\ 03314424170966985443/1537255143900119260225512086417647662530750156\ 92744491648885*c_1001_8^11 - 33966508202534813938084829531714045330\ 328046337356791989758291/768627571950059630112756043208823831265375\ 078463722458244425*c_1001_8^10 + 5101484677623212010248775478797101\ 6246944244265269791001934177/25620919065001987670425201440294127708\ 8458359487907486081475*c_1001_8^9 - 7960415330425078963253262056667303089236270967286464637076084/76862\ 7571950059630112756043208823831265375078463722458244425*c_1001_8^8 - 18766503973776229558491802489774810834907596307294744483040383/2562\ 09190650019876704252014402941277088458359487907486081475*c_1001_8^7 - 60988620708052064066582749876126751671319384333938317952701176/76\ 8627571950059630112756043208823831265375078463722458244425*c_1001_8\ ^6 - 39838379791987075764088167062899991721734876547589128233247851\ /256209190650019876704252014402941277088458359487907486081475*c_100\ 1_8^5 + 81076674586908128903889241565187408637194417542846757859435\ 142/768627571950059630112756043208823831265375078463722458244425*c_\ 1001_8^4 + 40391721199602584316858514311737226742973673467150177443\ 612933/256209190650019876704252014402941277088458359487907486081475\ *c_1001_8^3 + 10943588326719885490695802410532911300398070879030269\ 543715056/768627571950059630112756043208823831265375078463722458244\ 425*c_1001_8^2 - 25206646417528854040388907939225214766994248684032\ 01761141431/2562091906500198767042520144029412770884583594879074860\ 81475*c_1001_8 + 23781872043097310283693159693692520373560921299093\ 37788534447/7686275719500596301127560432088238312653750784637224582\ 44425, c_0101_1 + 29459737566040871910175204621095732705546193175876415982042/\ 256209190650019876704252014402941277088458359487907486081475*c_1001\ _8^18 - 48858421532756673133334715594374190244254770649204647454052\ 3/768627571950059630112756043208823831265375078463722458244425*c_10\ 01_8^17 - 209637174193864353146345155498402448547311836775032607936\ 704/153725514390011926022551208641764766253075015692744491648885*c_\ 1001_8^16 + 7045868504089071388187564711844073215467253417428875510\ 4296/10248367626000795068170080576117651083538334379516299443259*c_\ 1001_8^15 + 6881900701546691699234823483577517538381244852724809643\ 7913139/76862757195005963011275604320882383126537507846372245824442\ 5*c_1001_8^14 + 291052748209657067627250190157912732791850440761411\ 32208448316/2562091906500198767042520144029412770884583594879074860\ 81475*c_1001_8^13 + 58685828735993043069314848039378111648603036312\ 766166990169124/256209190650019876704252014402941277088458359487907\ 486081475*c_1001_8^12 - 8029248784625627140553181689104882567055818\ 605821317508969897/512418381300039753408504028805882554176916718975\ 81497216295*c_1001_8^11 + 43156389216000171036704486684666472030550\ 207343717489734475432/768627571950059630112756043208823831265375078\ 463722458244425*c_1001_8^10 - 6242372140765151545563175188299811379\ 5116515603865501760757354/25620919065001987670425201440294127708845\ 8359487907486081475*c_1001_8^9 + 4125195409466841715135118386679799\ 037197228618212649489808106/256209190650019876704252014402941277088\ 458359487907486081475*c_1001_8^8 + 77882887510043812423627381786857769181422958396188664106826298/7686\ 27571950059630112756043208823831265375078463722458244425*c_1001_8^7 + 65201475841817274063430084813335127880945753173738449832733527/76\ 8627571950059630112756043208823831265375078463722458244425*c_1001_8\ ^6 + 49757934332875486886510807576333897178480381265789410223733152\ /256209190650019876704252014402941277088458359487907486081475*c_100\ 1_8^5 - 37378760297204735280156368566384597852855395124283706974592\ 803/256209190650019876704252014402941277088458359487907486081475*c_\ 1001_8^4 - 14631338909843926251853457681203669612451137495343098705\ 8910048/76862757195005963011275604320882383126537507846372245824442\ 5*c_1001_8^3 - 4472536720458793966607181973079764943500828092379370\ 964207137/768627571950059630112756043208823831265375078463722458244\ 425*c_1001_8^2 + 95056060527006506253591901224966843596637798695550\ 55845138511/7686275719500596301127560432088238312653750784637224582\ 44425*c_1001_8 - 28913756860572925476450398770968826067049263150855\ 07904127794/7686275719500596301127560432088238312653750784637224582\ 44425, c_0101_12 - 10045917556313246747411390773522912406509219314251007232781\ 3/768627571950059630112756043208823831265375078463722458244425*c_10\ 01_8^18 + 557479055171999032169395062193174120981664743206989015165\ 474/768627571950059630112756043208823831265375078463722458244425*c_\ 1001_8^17 + 7835824466395043647062828318634550143314178736604527319\ 3289/51241838130003975340850402880588255417691671897581497216295*c_\ 1001_8^16 - 2401708668226444112645111083950370011345681685573011472\ 79408/30745102878002385204510241728352953250615003138548898329777*c\ _1001_8^15 - 260223764281111973913205558383238326324726087466822159\ 84404194/2562091906500198767042520144029412770884583594879074860814\ 75*c_1001_8^14 - 32629636700155862639877443602906255909028507703364\ 960874573633/256209190650019876704252014402941277088458359487907486\ 081475*c_1001_8^13 - 6708186443744089679504134669592003599187531483\ 1322917541853612/25620919065001987670425201440294127708845835948790\ 7486081475*c_1001_8^12 + 278136027562116751392661444744679584871695\ 60853770476921914003/1537255143900119260225512086417647662530750156\ 92744491648885*c_1001_8^11 - 19850460777725612319042418623975105148\ 164915958350486734500447/256209190650019876704252014402941277088458\ 359487907486081475*c_1001_8^10 + 7488441402151179793866375762232308\ 6540679601478538527997942727/25620919065001987670425201440294127708\ 8458359487907486081475*c_1001_8^9 - 29819560559921242524994382011215062013028974439629890275908509/7686\ 27571950059630112756043208823831265375078463722458244425*c_1001_8^8 - 71437043960401064278268176352620599972658359516359384405971699/76\ 8627571950059630112756043208823831265375078463722458244425*c_1001_8\ ^7 - 28449960153596611854619543842836683110728154653994037044889417\ /256209190650019876704252014402941277088458359487907486081475*c_100\ 1_8^6 - 54224959410493130470729512585419664779052072364673837631240\ 751/256209190650019876704252014402941277088458359487907486081475*c_\ 1001_8^5 + 12382428746737459042732523243125422921059477449827812682\ 4009417/76862757195005963011275604320882383126537507846372245824442\ 5*c_1001_8^4 + 1606483389901181996519860452017554417468320772002309\ 06376936649/7686275719500596301127560432088238312653750784637224582\ 44425*c_1001_8^3 + 895010751011315309445106525001549295504411856683\ 0628952919806/76862757195005963011275604320882383126537507846372245\ 8244425*c_1001_8^2 - 1009638701769576892127095985504547806871502175\ 2475929160527868/76862757195005963011275604320882383126537507846372\ 2458244425*c_1001_8 + 104005239723224387080925368234988073563961553\ 5487658905086499/25620919065001987670425201440294127708845835948790\ 7486081475, c_0101_6 + 186322067469287130711231030768549796739418213451402606546982\ /768627571950059630112756043208823831265375078463722458244425*c_100\ 1_8^18 - 3466255489915218970111189510433702773340044254593586883852\ 12/256209190650019876704252014402941277088458359487907486081475*c_1\ 001_8^17 - 42972734978247681596974933379667387949389236677826899339\ 4698/153725514390011926022551208641764766253075015692744491648885*c\ _1001_8^16 + 448667502594826209778934294395662239648429210814579288\ 445946/30745102878002385204510241728352953250615003138548898329777*\ c_1001_8^15 + 14443683015878458776287220749362433832208432824625686\ 4239510998/76862757195005963011275604320882383126537507846372245824\ 4425*c_1001_8^14 + 589483389244145283185433132107052043307918468164\ 96737402397887/2562091906500198767042520144029412770884583594879074\ 86081475*c_1001_8^13 + 12217001449316727462335738743620189635530311\ 5461898386578670468/25620919065001987670425201440294127708845835948\ 7907486081475*c_1001_8^12 - 538214041264606911619204789266860888024\ 89229784636249509948942/1537255143900119260225512086417647662530750\ 15692744491648885*c_1001_8^11 + 11684381721562939823835514014083420\ 5788016736923022743657015799/76862757195005963011275604320882383126\ 5375078463722458244425*c_1001_8^10 - 137855688724325449346674282225347466677265291541205435770901678/256\ 209190650019876704252014402941277088458359487907486081475*c_1001_8^\ 9 + 59940390890405166539930474790237285140509618899345048823051226/\ 768627571950059630112756043208823831265375078463722458244425*c_1001\ _8^8 + 469580198004288723461728365575615382899036357790291348925126\ 87/256209190650019876704252014402941277088458359487907486081475*c_1\ 001_8^7 + 143816331244433567070313549598978984115290681331025692382\ 122064/768627571950059630112756043208823831265375078463722458244425\ *c_1001_8^6 + 10106965356430092812772310694104539624898736089610956\ 4764576239/25620919065001987670425201440294127708845835948790748608\ 1475*c_1001_8^5 - 2421480209942142442632726534947383678571366861434\ 49673856579438/7686275719500596301127560432088238312653750784637224\ 58244425*c_1001_8^4 - 965092934084332863814365649001552602186705968\ 97071446118871412/2562091906500198767042520144029412770884583594879\ 07486081475*c_1001_8^3 - 371510380702442835726839872155919202075051\ 9684017226209343359/76862757195005963011275604320882383126537507846\ 3722458244425*c_1001_8^2 + 5331833897919278663217480784170566030630\ 893281032447540723759/256209190650019876704252014402941277088458359\ 487907486081475*c_1001_8 - 7253689268344318861103414974876683826939\ 378778488120547440558/768627571950059630112756043208823831265375078\ 463722458244425, c_1001_0 - 106084108579581087795769478411699175854846126280873516790753\ /768627571950059630112756043208823831265375078463722458244425*c_100\ 1_8^18 + 5927346630903321304201227144964780462315074947771883172050\ 19/768627571950059630112756043208823831265375078463722458244425*c_1\ 001_8^17 + 81132026883243551845956966920228050386840856585387700594\ 754/51241838130003975340850402880588255417691671897581497216295*c_1\ 001_8^16 - 25511189418335475855383036289699972316802428010266126423\ 9036/30745102878002385204510241728352953250615003138548898329777*c_\ 1001_8^15 - 2739201273893486451265094433149042662881004458526176294\ 2363314/25620919065001987670425201440294127708845835948790748608147\ 5*c_1001_8^14 - 334460422063447077305596088201095679142342945106828\ 18834694373/2562091906500198767042520144029412770884583594879074860\ 81475*c_1001_8^13 - 69986573454221220885301858770520910135649864346\ 266662859876047/256209190650019876704252014402941277088458359487907\ 486081475*c_1001_8^12 + 3065742460672186451745647274891324787696286\ 6992596656350582078/15372551439001192602255120864176476625307501569\ 2744491648885*c_1001_8^11 - 239109871698324238201136136645424187117\ 51520371618678273560832/2562091906500198767042520144029412770884583\ 59487907486081475*c_1001_8^10 + 80904493279385061007876105359184145\ 245078685775561177840989562/256209190650019876704252014402941277088\ 458359487907486081475*c_1001_8^9 - 40918048222436371762435026157889985130380095207784355600889404/7686\ 27571950059630112756043208823831265375078463722458244425*c_1001_8^8 - 70034672026849936661256199930354210615005152747595160490212544/76\ 8627571950059630112756043208823831265375078463722458244425*c_1001_8\ ^7 - 29380938963357794038850922415241562376661735927324280470829577\ /256209190650019876704252014402941277088458359487907486081475*c_100\ 1_8^6 - 56585342810183107707711959492611074726005746223541561160459\ 431/256209190650019876704252014402941277088458359487907486081475*c_\ 1001_8^5 + 13496898195349313051451677630202433383202946388966840736\ 8820652/76862757195005963011275604320882383126537507846372245824442\ 5*c_1001_8^4 + 1620213516613869332325231473499859132121933146048524\ 48205185844/7686275719500596301127560432088238312653750784637224582\ 44425*c_1001_8^3 + 650837874002131139290008599782021875392727240170\ 6283985655236/76862757195005963011275604320882383126537507846372245\ 8244425*c_1001_8^2 - 8211427902294837072574605927813869579135716802\ 561145581859283/768627571950059630112756043208823831265375078463722\ 458244425*c_1001_8 + 1297269052490800102819882846130284786860178503\ 329773799962294/256209190650019876704252014402941277088458359487907\ 486081475, c_1001_6 + 136542524090322576874207651421778495369208681787984426571487\ /768627571950059630112756043208823831265375078463722458244425*c_100\ 1_8^18 - 2565925916275764341978585876918985671106081650621701811230\ 67/256209190650019876704252014402941277088458359487907486081475*c_1\ 001_8^17 - 30568019261539586718923413384192985894581333899070047770\ 3843/153725514390011926022551208641764766253075015692744491648885*c\ _1001_8^16 + 331538945212916425884298703888647012240865497991195953\ 173328/30745102878002385204510241728352953250615003138548898329777*\ c_1001_8^15 + 10536794156636430506972860083751974528802120607946576\ 7145547793/76862757195005963011275604320882383126537507846372245824\ 4425*c_1001_8^14 + 412740063241375472091105674811538709346357470477\ 26882412278142/2562091906500198767042520144029412770884583594879074\ 86081475*c_1001_8^13 + 87808219265983591604336853061793596054164156\ 692266156777354313/256209190650019876704252014402941277088458359487\ 907486081475*c_1001_8^12 - 4239452006376407012621388898935731893759\ 4611591804158424813852/15372551439001192602255120864176476625307501\ 5692744491648885*c_1001_8^11 + 101048007966170061351239325989170398\ 344758599148348575876010384/768627571950059630112756043208823831265\ 375078463722458244425*c_1001_8^10 - 105964532641234805696964041260215987523326782227711431191164823/256\ 209190650019876704252014402941277088458359487907486081475*c_1001_8^\ 9 + 71154244142446097845506922628494378686345179336260606880428216/\ 768627571950059630112756043208823831265375078463722458244425*c_1001\ _8^8 + 291133792009346428117180808508414556380747051767673769179131\ 42/256209190650019876704252014402941277088458359487907486081475*c_1\ 001_8^7 + 111699432456036937374593620349952621983877661305497580191\ 184074/768627571950059630112756043208823831265375078463722458244425\ *c_1001_8^6 + 70168855431603790683396128515490628053809491644875782\ 252196524/256209190650019876704252014402941277088458359487907486081\ 475*c_1001_8^5 - 18571139367418688458798671898201142213005114057254\ 6725116643783/76862757195005963011275604320882383126537507846372245\ 8244425*c_1001_8^4 - 6739778604558128786429135820680319214571578325\ 4171286051608167/25620919065001987670425201440294127708845835948790\ 7486081475*c_1001_8^3 + 2707497111307869050098873066710782465004269\ 367873548528544781/768627571950059630112756043208823831265375078463\ 722458244425*c_1001_8^2 + 44744765411923657442152861699078196407516\ 57924722146380639294/2562091906500198767042520144029412770884583594\ 87907486081475*c_1001_8 - 44691266896081840661408970968524706635660\ 57037159574815932253/7686275719500596301127560432088238312653750784\ 63722458244425, c_1001_8^19 - 5*c_1001_8^18 - 192/13*c_1001_8^17 + 695/13*c_1001_8^16 + 10532/13*c_1001_8^15 + 1400*c_1001_8^14 + 32793/13*c_1001_8^13 - 3917/13*c_1001_8^12 - 208*c_1001_8^11 - 24418/13*c_1001_8^10 - 12449/13*c_1001_8^9 + 922*c_1001_8^8 + 15933/13*c_1001_8^7 + 26971/13*c_1001_8^6 - 4613/13*c_1001_8^5 - 30005/13*c_1001_8^4 - 12238/13*c_1001_8^3 + 960/13*c_1001_8^2 + 252/13*c_1001_8 - 271/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.600 Total time: 0.800 seconds, Total memory usage: 32.09MB