Magma V2.19-8 Tue Aug 20 2013 16:15:55 on localhost [Seed = 3052677517] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0143 geometric_solution 3.64172156 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 1 -1 0 1 0 0 -1 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 -1 0 0 1 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.669548063785 0.027756145342 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.219208411609 0.184311513811 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 1 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.620398267450 0.254932971515 2 4 4 2 0132 0132 3201 1023 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 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 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.322861423453 0.474055645594 3 3 5 6 2310 0132 0132 0132 0 0 0 0 0 -1 0 1 1 0 -1 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 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.010129857200 0.507231680931 6 6 6 4 1023 3012 1230 0132 0 0 0 0 0 0 0 0 -1 0 0 1 -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 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.992568465462 0.997613452423 5 5 4 5 1230 1023 0132 3012 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 0 1 -1 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.992568465462 0.997613452423 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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_0_6' : 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_1100_6' : d['c_0011_5'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 663806341439380616438124451498935331805933314944347620889883809/279\ 1778986001447131173022757413043263645046647144362456151113*c_0101_4\ ^30 - 1287270283966117276219351944520533943142088266434441670416861\ 4312/6514150967336709972737053100630434281838442176670179064352597*\ c_0101_4^29 + 42500733233779035765235901235333434299211874120800353\ 0504635974720/19542452902010129918211159301891302845515326530010537\ 193057791*c_0101_4^28 + 1072657620781886940624731658767859599150580\ 076579224189918828049492/195424529020101299182111593018913028455153\ 26530010537193057791*c_0101_4^27 - 9269457202056072716491641981153543929583630358749495970008512280082\ /19542452902010129918211159301891302845515326530010537193057791*c_0\ 101_4^26 - 10886108431939083538801922218708203913507200996188975932\ 573865355539/195424529020101299182111593018913028455153265300105371\ 93057791*c_0101_4^25 + 88772167142871434333160014119950579505146702\ 121142595345856316587810/195424529020101299182111593018913028455153\ 26530010537193057791*c_0101_4^24 + 2023525623950304971019336437054763071008381547883407329858712041900\ 4/6514150967336709972737053100630434281838442176670179064352597*c_0\ 101_4^23 - 48330315912459005707211148526710622529670288277514668838\ 0474371541237/19542452902010129918211159301891302845515326530010537\ 193057791*c_0101_4^22 - 2133729164841492811728492749613220215509395\ 84722111919774482759269255/1954245290201012991821115930189130284551\ 5326530010537193057791*c_0101_4^21 + 1680958908761615594261959501053532818042927772558563922319467992443\ 134/19542452902010129918211159301891302845515326530010537193057791*\ c_0101_4^20 + 56418446034482769051204687834155295843624110006885511\ 382715661317948/217138365577890332424568436687681142727948072555672\ 6354784199*c_0101_4^19 - 397729391790490053626894466475828542109209\ 1943205149223602210509430113/19542452902010129918211159301891302845\ 515326530010537193057791*c_0101_4^18 - 2847175918614084892070370457681759247766432887294657441054411496083\ 65/6514150967336709972737053100630434281838442176670179064352597*c_\ 0101_4^17 + 6636171765889916500390443095515927972893474764604168071\ 911258908794764/195424529020101299182111593018913028455153265300105\ 37193057791*c_0101_4^16 + 10414817360052303247238549954469538201942\ 11328816446339326873908754168/1954245290201012991821115930189130284\ 5515326530010537193057791*c_0101_4^15 - 7953758533020219019354405008150398164976019459109762099187922305228\ 897/19542452902010129918211159301891302845515326530010537193057791*\ c_0101_4^14 - 31074560399372770647655887951598423400244644246723612\ 7133089686058802/65141509673367099727370531006304342818384421766701\ 79064352597*c_0101_4^13 + 68727208583920706409501652702632512177556\ 33775810286837649286247976560/1954245290201012991821115930189130284\ 5515326530010537193057791*c_0101_4^12 + 2050821744383427724026036266886363875126700955898634274541903569184\ 78/6514150967336709972737053100630434281838442176670179064352597*c_\ 0101_4^11 - 4227509533872828188702167474664122548932189090069881877\ 602178469099809/195424529020101299182111593018913028455153265300105\ 37193057791*c_0101_4^10 - 42615251020941056557047569767870882463432\ 862914278122894314310272083/279177898600144713117302275741304326364\ 5046647144362456151113*c_0101_4^9 + 1787892202910487586049403873694235620147728865290436385199901717158\ 695/19542452902010129918211159301891302845515326530010537193057791*\ c_0101_4^8 + 346843876729862699392576186537594274464498363776890397\ 59275051149874/6514150967336709972737053100630434281838442176670179\ 064352597*c_0101_4^7 - 48442287511791603460701691551288939033927282\ 7373516184464548283820634/19542452902010129918211159301891302845515\ 326530010537193057791*c_0101_4^6 - 2413257851928928595842011329668884610727618568171836712884557870910\ 5/19542452902010129918211159301891302845515326530010537193057791*c_\ 0101_4^5 + 73250977018904886333555659188655898333663788830768748918\ 186604833332/195424529020101299182111593018913028455153265300105371\ 93057791*c_0101_4^4 + 290983448104972623258066523518269408830099121\ 5139685215876057285830/19542452902010129918211159301891302845515326\ 530010537193057791*c_0101_4^3 - 16017463050151718129455163842442926\ 44598007840619098436894003172544/6514150967336709972737053100630434\ 281838442176670179064352597*c_0101_4^2 - 193511524623708354577808226555400134226596463976791914613551872210/\ 19542452902010129918211159301891302845515326530010537193057791*c_01\ 01_4 + 876922117036552222857670863160016512991650418745367507597845\ 80390/1954245290201012991821115930189130284551532653001053719305779\ 1, c_0011_0 - 1, c_0011_2 + 332262038471596146252758072249632784609772640582316358161837\ /2791778986001447131173022757413043263645046647144362456151113*c_01\ 01_4^30 + 589805171668316807671073250978919094558873870661079580762\ 018/930592995333815710391007585804347754548348882381454152050371*c_\ 0101_4^29 - 3784475135435097785763829116507293529904262259140587277\ 7966416/27917789860014471311730227574130432636450466471443624561511\ 13*c_0101_4^28 + 19888950928705593756556511305256588518052626141169\ 445486504176/279177898600144713117302275741304326364504664714436245\ 6151113*c_0101_4^27 + 814192071552699626684142439614244905925164220\ 893084810313307662/279177898600144713117302275741304326364504664714\ 4362456151113*c_0101_4^26 - 131361996872225928934312157738840419118\ 9129534077433049747004807/27917789860014471311730227574130432636450\ 46647144362456151113*c_0101_4^25 - 6986480138761557041627906633921469787797673527659787960611556655/27\ 91778986001447131173022757413043263645046647144362456151113*c_0101_\ 4^24 + 498642410020781134551720301126681613885344052079012365909016\ 9052/930592995333815710391007585804347754548348882381454152050371*c\ _0101_4^23 + 319566332581316836646131112747025297106462100780227580\ 41634296544/2791778986001447131173022757413043263645046647144362456\ 151113*c_0101_4^22 - 8434540695024422541597889176805337508746047197\ 7121743448679765379/27917789860014471311730227574130432636450466471\ 44362456151113*c_0101_4^21 - 85367700192962872161940909786742236645\ 003785460123832160976602823/279177898600144713117302275741304326364\ 5046647144362456151113*c_0101_4^20 + 31872359278842574179881758961847345765016699349547509285136863414/3\ 10197665111271903463669195268115918182782960793818050683457*c_0101_\ 4^19 + 131704965248572078569613564282593382943691755560166554611146\ 374534/279177898600144713117302275741304326364504664714436245615111\ 3*c_0101_4^18 - 213209683800416735412733283145115182750401206386492\ 172621656264701/930592995333815710391007585804347754548348882381454\ 152050371*c_0101_4^17 - 8978000529551878612229041772180731973063093\ 0238364487886072201028/27917789860014471311730227574130432636450466\ 47144362456151113*c_0101_4^16 + 97491736721567021637975775226617768\ 2309851633353125463713778740670/27917789860014471311730227574130432\ 63645046647144362456151113*c_0101_4^15 - 60498123674935760989312439099696757841791575979158214488395862107/2\ 791778986001447131173022757413043263645046647144362456151113*c_0101\ _4^14 - 34436651716414230938377876169260118202002917750006655406438\ 4209047/93059299533381571039100758580434775454834888238145415205037\ 1*c_0101_4^13 + 205900596445439427410975506863172556841772713753391\ 250972787232654/279177898600144713117302275741304326364504664714436\ 2456151113*c_0101_4^12 + 252486187512397676657239828952514999105104\ 673423313744960687533802/930592995333815710391007585804347754548348\ 882381454152050371*c_0101_4^11 - 2244083929129974127306892205683134\ 79705637170308739321309484024970/2791778986001447131173022757413043\ 263645046647144362456151113*c_0101_4^10 - 372119457407464154993963689559007112064778186018670615628584184198/\ 2791778986001447131173022757413043263645046647144362456151113*c_010\ 1_4^9 + 13589179840051956799439803498745170686641631040732436939554\ 7006074/27917789860014471311730227574130432636450466471443624561511\ 13*c_0101_4^8 + 377477396552602692266626684476782697493996555319482\ 00325643291614/9305929953338157103910075858043477545483488823814541\ 52050371*c_0101_4^7 - 464623181975040784279127644293989555357483521\ 25259364765581507470/2791778986001447131173022757413043263645046647\ 144362456151113*c_0101_4^6 - 17711846196000949679299794213767823397\ 722793961221315253023582478/279177898600144713117302275741304326364\ 5046647144362456151113*c_0101_4^5 + 7573436913528651949532537868968114617353069035274774727652294189/27\ 91778986001447131173022757413043263645046647144362456151113*c_0101_\ 4^4 + 7702753284090694101365185249504449139218701685637784661943919\ 42/2791778986001447131173022757413043263645046647144362456151113*c_\ 0101_4^3 - 10099977971890345226081081384777202037344879704443110977\ 0638408/93059299533381571039100758580434775454834888238145415205037\ 1*c_0101_4^2 - 1241764559676243409183238285378708383301267381003273\ 3373779368/27917789860014471311730227574130432636450466471443624561\ 51113*c_0101_4 + 11219440117916118465666272019904497301253094513672\ 48829361083/2791778986001447131173022757413043263645046647144362456\ 151113, c_0011_5 + 75711219183718548169513999965020348178528292967027596517842/\ 2791778986001447131173022757413043263645046647144362456151113*c_010\ 1_4^30 + 9867683877585171686392899243887853356416388600551802579417\ 5/930592995333815710391007585804347754548348882381454152050371*c_01\ 01_4^29 - 939471937390033557122078629791600971520715414210627923350\ 9578/2791778986001447131173022757413043263645046647144362456151113*\ c_0101_4^28 + 15206731977144402557281879275683236602622180435795203\ 525558748/279177898600144713117302275741304326364504664714436245615\ 1113*c_0101_4^27 + 198493461061254230300244222721167492878084850032\ 422425314145698/279177898600144713117302275741304326364504664714436\ 2456151113*c_0101_4^26 - 528720755666487864537616238017095168079270\ 167323752454640731483/279177898600144713117302275741304326364504664\ 7144362456151113*c_0101_4^25 - 159102017653254598889253400243142263\ 9875954906673125132889749296/27917789860014471311730227574130432636\ 45046647144362456151113*c_0101_4^24 + 1825744577503606054996720381978436744761677529914807658426532519/93\ 0592995333815710391007585804347754548348882381454152050371*c_0101_4\ ^23 + 6415284467916331020828026417369750992147869954421692238036104\ 340/2791778986001447131173022757413043263645046647144362456151113*c\ _0101_4^22 - 295704659739669373551159396513158951595994697581184887\ 27704985235/2791778986001447131173022757413043263645046647144362456\ 151113*c_0101_4^21 - 1306797285427465912620071317630510975020977687\ 4310556841739004069/27917789860014471311730227574130432636450466471\ 44362456151113*c_0101_4^20 + 10852329583390710570924573521929376579\ 692450413205640118606806329/310197665111271903463669195268115918182\ 782960793818050683457*c_0101_4^19 + 6586982622964594761433071108554228168374103319595082525421426092/27\ 91778986001447131173022757413043263645046647144362456151113*c_0101_\ 4^18 - 708701503726463904647885322239963794264735515797208061078596\ 99964/930592995333815710391007585804347754548348882381454152050371*\ c_0101_4^17 + 32113520081658945549012317420495923800564651684000703\ 809544201417/279177898600144713117302275741304326364504664714436245\ 6151113*c_0101_4^16 + 316989382278141308505084919710667198164203903\ 236599068792553535922/279177898600144713117302275741304326364504664\ 7144362456151113*c_0101_4^15 - 913665002573914587908926536858923366\ 06579132353243111595439223982/2791778986001447131173022757413043263\ 645046647144362456151113*c_0101_4^14 - 109607252054734473372138396010098376175219910992222667254498194039/\ 930592995333815710391007585804347754548348882381454152050371*c_0101\ _4^13 + 12416533012781561816603956387775243515392667042893101878754\ 6779730/27917789860014471311730227574130432636450466471443624561511\ 13*c_0101_4^12 + 78683529920826055925698525503713378098834826648548\ 597541374509275/930592995333815710391007585804347754548348882381454\ 152050371*c_0101_4^11 - 1026729879015094789972283634096941479186569\ 66698479264317141479756/2791778986001447131173022757413043263645046\ 647144362456151113*c_0101_4^10 - 1135466188510617216034920854481682\ 37552162156287258791596254849258/2791778986001447131173022757413043\ 263645046647144362456151113*c_0101_4^9 + 52951582927539586726068898110198616632393842929057490708271757769/2\ 791778986001447131173022757413043263645046647144362456151113*c_0101\ _4^8 + 112813032652009892338892578018797670143764925697885519542917\ 99494/930592995333815710391007585804347754548348882381454152050371*\ c_0101_4^7 - 158938455710726216572996030494865275586504092106919662\ 62642604786/2791778986001447131173022757413043263645046647144362456\ 151113*c_0101_4^6 - 51901104625958458961489487693407748851358633748\ 43317545610315342/2791778986001447131173022757413043263645046647144\ 362456151113*c_0101_4^5 + 22366043122367364399698586316857176093718\ 61392485871906836031601/2791778986001447131173022757413043263645046\ 647144362456151113*c_0101_4^4 + 21687635647442230478431169856741304\ 8726620315779146207050786350/27917789860014471311730227574130432636\ 45046647144362456151113*c_0101_4^3 - 22073715779680213446231374656655713824430180729645962703961114/9305\ 92995333815710391007585804347754548348882381454152050371*c_0101_4^2 - 3718512414542863406960250363087249263079679611725943268872860/279\ 1778986001447131173022757413043263645046647144362456151113*c_0101_4 - 2468615011887549676444519007002882171555941541801661202586/279177\ 8986001447131173022757413043263645046647144362456151113, c_0101_0 + 70884134320837946605788252050236325700306966420562958496646/\ 930592995333815710391007585804347754548348882381454152050371*c_0101\ _4^30 + 19637808491473033972878633019872933106026461931935947308823\ 4/310197665111271903463669195268115918182782960793818050683457*c_01\ 01_4^29 - 649503710513047069271476642408158228486817818657982568859\ 0601/930592995333815710391007585804347754548348882381454152050371*c\ _0101_4^28 - 164449835523591352618186428632952465424556600563693565\ 59701770/9305929953338157103910075858043477545483488823814541520503\ 71*c_0101_4^27 + 14259501969702322581844292351330805699747508028735\ 1041130515816/93059299533381571039100758580434775454834888238145415\ 2050371*c_0101_4^26 + 167015165378732585417807572624498900569242773\ 791423350985223090/930592995333815710391007585804347754548348882381\ 454152050371*c_0101_4^25 - 1379108753425608769279515945774530745077\ 784586523582475611972165/930592995333815710391007585804347754548348\ 882381454152050371*c_0101_4^24 - 3051355027836948468469592422859503\ 90609764499148346756009168761/3101976651112719034636691952681159181\ 82782960793818050683457*c_0101_4^23 + 7583423056671637578524603069349398875632602149508653103961156700/93\ 0592995333815710391007585804347754548348882381454152050371*c_0101_4\ ^22 + 3068614014931611274373430281209169334894474034423774495127910\ 361/930592995333815710391007585804347754548348882381454152050371*c_\ 0101_4^21 - 2660044838604125604596248137904006105865202354603318979\ 4368888151/93059299533381571039100758580434775454834888238145415205\ 0371*c_0101_4^20 - 220713147354390894535757390215493532326623568084\ 5166610058533124/31019766511127190346366919526811591818278296079381\ 8050683457*c_0101_4^19 + 632601839018521730484841238466761874795641\ 92940090329654828738880/9305929953338157103910075858043477545483488\ 82381454152050371*c_0101_4^18 + 10303746733185640958088096879503206\ 12680606747287140691583493802/1033992217037573011545563984227053060\ 60927653597939350227819*c_0101_4^17 - 105502182780720725147376837592388879992384277618313149621142569963/\ 930592995333815710391007585804347754548348882381454152050371*c_0101\ _4^16 - 80121953232935614055225029779295114307210597092813722631057\ 72207/930592995333815710391007585804347754548348882381454152050371*\ c_0101_4^15 + 12539502888153378356669489491871653905422591650990849\ 3472548078138/93059299533381571039100758580434775454834888238145415\ 2050371*c_0101_4^14 + 109783229955410178641383580637731046922640840\ 8227764316072683542/31019766511127190346366919526811591818278296079\ 3818050683457*c_0101_4^13 - 106292795096686639003965417248113205428\ 825012514840282070190476133/930592995333815710391007585804347754548\ 348882381454152050371*c_0101_4^12 + 93898448880082802321775184642686565961533183159270695373697779/1033\ 99221703757301154556398422705306060927653597939350227819*c_0101_4^1\ 1 + 631782278000843618229411654384562433833173912809284220777798401\ 36/930592995333815710391007585804347754548348882381454152050371*c_0\ 101_4^10 - 18600637647140792862263392764026960899889104318748273315\ 07357436/9305929953338157103910075858043477545483488823814541520503\ 71*c_0101_4^9 - 252395539854804455578316326389029649546101888716339\ 88817015648532/9305929953338157103910075858043477545483488823814541\ 52050371*c_0101_4^8 + 332363428174362198164934826119568599855633830\ 370968467826030878/310197665111271903463669195268115918182782960793\ 818050683457*c_0101_4^7 + 62199436547681095096230658475920114521622\ 94809815512214853319672/9305929953338157103910075858043477545483488\ 82381454152050371*c_0101_4^6 - 250533296146967036149233849303615726\ 940315254003374321411590309/930592995333815710391007585804347754548\ 348882381454152050371*c_0101_4^5 - 798367775383059873425271975402756239183617524139298336632974833/930\ 592995333815710391007585804347754548348882381454152050371*c_0101_4^\ 4 + 37646253295299793619495812037781569071720709984354429098766611/\ 930592995333815710391007585804347754548348882381454152050371*c_0101\ _4^3 + 135448373971420699863129126100635561013401335910252539877789\ 37/310197665111271903463669195268115918182782960793818050683457*c_0\ 101_4^2 - 464781970407298692201499711810957075057389233338527185793\ 4379/930592995333815710391007585804347754548348882381454152050371*c\ _0101_4 - 362473757467597525300027640066268437167524001834101682070\ 200/930592995333815710391007585804347754548348882381454152050371, c_0101_1 + 883114007815768208343354825199541876473794041428680507934951\ /2791778986001447131173022757413043263645046647144362456151113*c_01\ 01_4^30 + 223970300772261340279388470507821544477716659993610916644\ 5944/930592995333815710391007585804347754548348882381454152050371*c\ _0101_4^29 - 853901695339320711406604764541445197418812536927394674\ 47494320/2791778986001447131173022757413043263645046647144362456151\ 113*c_0101_4^28 - 1430113509563954986769921252709445378547862196833\ 34079718118721/2791778986001447131173022757413043263645046647144362\ 456151113*c_0101_4^27 + 1852562738095686726325463437543371988218556\ 070904044500149537056/279177898600144713117302275741304326364504664\ 7144362456151113*c_0101_4^26 + 744315121992720751539494659932141324\ 825575776668280369935726163/279177898600144713117302275741304326364\ 5046647144362456151113*c_0101_4^25 - 17187084855411303431745669954899288387418439402401583656006012206/2\ 791778986001447131173022757413043263645046647144362456151113*c_0101\ _4^24 + 25319211076726839570258787077308448792572107552805440498647\ 5063/930592995333815710391007585804347754548348882381454152050371*c\ _0101_4^23 + 893748927886083386797566130267310648358139968509192153\ 49102340021/2791778986001447131173022757413043263645046647144362456\ 151113*c_0101_4^22 - 2340014186391921754856149936580646574697079607\ 3471947387906994289/27917789860014471311730227574130432636450466471\ 44362456151113*c_0101_4^21 - 29273906121495063507433313233103533775\ 7170980293941660968095510167/27917789860014471311730227574130432636\ 45046647144362456151113*c_0101_4^20 + 1394684894140969042845527676595957009541024151143542973640413606/34\ 466407234585767051518799474235102020309217865979783409273*c_0101_4^\ 19 + 64203818755146581866395748972677630325198520577245903103621039\ 5789/2791778986001447131173022757413043263645046647144362456151113*\ c_0101_4^18 - 99064364177994042060428441097525091420621899143882394\ 442564167856/930592995333815710391007585804347754548348882381454152\ 050371*c_0101_4^17 - 9746423470544813231623723708883188964234407045\ 78658307010132472879/2791778986001447131173022757413043263645046647\ 144362456151113*c_0101_4^16 + 5002948904252024370958111574928441563\ 05344378815688179758808179937/2791778986001447131173022757413043263\ 645046647144362456151113*c_0101_4^15 + 1038090149803221289328333471463085977666886179260603760717933451336\ /2791778986001447131173022757413043263645046647144362456151113*c_01\ 01_4^14 - 189411791744500472740373947091697794071037909000106747864\ 876425422/930592995333815710391007585804347754548348882381454152050\ 371*c_0101_4^13 - 7717547801158642201911963730091843009423025472041\ 71744736537392518/2791778986001447131173022757413043263645046647144\ 362456151113*c_0101_4^12 + 1466845063697120145447835804969823670500\ 47907136104687817792743312/9305929953338157103910075858043477545483\ 48882381454152050371*c_0101_4^11 + 388876574955974901079310525560848926164061035857794320238669479663/\ 2791778986001447131173022757413043263645046647144362456151113*c_010\ 1_4^10 - 2271301288948392683410415464209239691328410002934037442717\ 19906424/2791778986001447131173022757413043263645046647144362456151\ 113*c_0101_4^9 - 12383907626421348628330033702314248197842207643305\ 9718298295202537/27917789860014471311730227574130432636450466471443\ 62456151113*c_0101_4^8 + 243783385138965224472590708541772416043072\ 51020421002096493966492/9305929953338157103910075858043477545483488\ 82381454152050371*c_0101_4^7 + 212711226483041646801194303311915002\ 76466925637866293281806729680/2791778986001447131173022757413043263\ 645046647144362456151113*c_0101_4^6 - 12748326735901564551114414584789287097798306315227962635039518366/2\ 791778986001447131173022757413043263645046647144362456151113*c_0101\ _4^5 - 126819224945746435326220598365114986685302058805243633284067\ 1893/2791778986001447131173022757413043263645046647144362456151113*\ c_0101_4^4 + 928402517107793762407551758617562532243812562802278585\ 696145804/279177898600144713117302275741304326364504664714436245615\ 1113*c_0101_4^3 + 8055571859102465347325902674600303538967136337528\ 026494524234/930592995333815710391007585804347754548348882381454152\ 050371*c_0101_4^2 - 30966397675953790821362893675961393313439369350\ 481298119948223/279177898600144713117302275741304326364504664714436\ 2456151113*c_0101_4 - 346605998946208389443776265226869008049753684\ 278452767081605/279177898600144713117302275741304326364504664714436\ 2456151113, c_0101_3 + 164728355875327045298611818742111779106488627930223037138569\ /2791778986001447131173022757413043263645046647144362456151113*c_01\ 01_4^30 + 410224767668107626376633555166144978477182806235294495142\ 848/930592995333815710391007585804347754548348882381454152050371*c_\ 0101_4^29 - 1610513998952453942143741251266243956682723048048508476\ 6022640/27917789860014471311730227574130432636450466471443624561511\ 13*c_0101_4^28 - 24476857776072191096131614541716311179824178792659\ 201156212663/279177898600144713117302275741304326364504664714436245\ 6151113*c_0101_4^27 + 350017338607710631301397668559138143394075053\ 688006107230857884/279177898600144713117302275741304326364504664714\ 4362456151113*c_0101_4^26 + 874075515986152140041908020377010219815\ 79989540925170299793002/2791778986001447131173022757413043263645046\ 647144362456151113*c_0101_4^25 - 3239053985865949781125829828509659\ 836346227807918075509364110475/279177898600144713117302275741304326\ 3645046647144362456151113*c_0101_4^24 + 225662997474963529870401327716879168596542325359517343543822231/930\ 592995333815710391007585804347754548348882381454152050371*c_0101_4^\ 23 + 16709252333245557768931537739476266119567415289174482726347629\ 483/2791778986001447131173022757413043263645046647144362456151113*c\ _0101_4^22 - 750295218647397012025596714029942580427171597759408233\ 8902353278/27917789860014471311730227574130432636450466471443624561\ 51113*c_0101_4^21 - 53830058433287338143838442613874331888215890165\ 292874314649500751/279177898600144713117302275741304326364504664714\ 4362456151113*c_0101_4^20 + 120793936700585918174681126704781425662\ 0723715104275587936128134/10339922170375730115455639842270530606092\ 7653597939350227819*c_0101_4^19 + 114507621111746304889993979836379\ 302744618581724316615003682701258/279177898600144713117302275741304\ 3263645046647144362456151113*c_0101_4^18 - 27849584563067975085018498127159172184218260933519943778052390912/9\ 30592995333815710391007585804347754548348882381454152050371*c_0101_\ 4^17 - 164787145590020266956519113123593089088501209306496719717235\ 772885/279177898600144713117302275741304326364504664714436245615111\ 3*c_0101_4^16 + 139961005854576994012433213435908805028965365590748\ 596477115869422/279177898600144713117302275741304326364504664714436\ 2456151113*c_0101_4^15 + 159941226358545989294311952406158598799683\ 373405024677360924221836/279177898600144713117302275741304326364504\ 6647144362456151113*c_0101_4^14 - 530860035731833503518807226237659\ 75890140567727297191948395298283/9305929953338157103910075858043477\ 54548348882381454152050371*c_0101_4^13 - 100153337399742319855948234625853251378443656988238479910011917457/\ 2791778986001447131173022757413043263645046647144362456151113*c_010\ 1_4^12 + 4120630228832388880061460703833326855415428222440346032361\ 5221158/93059299533381571039100758580434775454834888238145415205037\ 1*c_0101_4^11 + 344422391024013163660568301122824582175927652790428\ 12059277886123/2791778986001447131173022757413043263645046647144362\ 456151113*c_0101_4^10 - 6369544219548538787370905870493065901363615\ 1503588279781562897338/27917789860014471311730227574130432636450466\ 47144362456151113*c_0101_4^9 - 132501099270338942890036955249139125\ 1736658165988089109407134138/27917789860014471311730227574130432636\ 45046647144362456151113*c_0101_4^8 + 6738808153436472817076601372130893859486921977930264227391433246/93\ 0592995333815710391007585804347754548348882381454152050371*c_0101_4\ ^7 - 36884029527172562359403699252466373360344003608843615983007082\ 88/2791778986001447131173022757413043263645046647144362456151113*c_\ 0101_4^6 - 33092462733520994035255934612446299292384466853266275309\ 10862844/2791778986001447131173022757413043263645046647144362456151\ 113*c_0101_4^5 + 11681965728414425203680210813612530193030070759213\ 09663510367923/2791778986001447131173022757413043263645046647144362\ 456151113*c_0101_4^4 + 16283757099426484779232671128101436283864467\ 2261707372161888056/27917789860014471311730227574130432636450466471\ 44362456151113*c_0101_4^3 - 274404680587164173905368405731698265843\ 98218159521225209373234/9305929953338157103910075858043477545483488\ 82381454152050371*c_0101_4^2 + 343072483347403022240761560413976256\ 3159304669106146333488516/27917789860014471311730227574130432636450\ 46647144362456151113*c_0101_4 + 76473455177738556536160371787166490\ 2310141714610649135478810/27917789860014471311730227574130432636450\ 46647144362456151113, c_0101_4^31 + 8*c_0101_4^30 - 94*c_0101_4^29 - 202*c_0101_4^28 + 2062*c_0101_4^27 + 1712*c_0101_4^26 - 19731*c_0101_4^25 - 7030*c_0101_4^24 + 107095*c_0101_4^23 + 13149*c_0101_4^22 - 370710*c_0101_4^21 + 4274*c_0101_4^20 + 871430*c_0101_4^19 - 83462*c_0101_4^18 - 1441673*c_0101_4^17 + 218767*c_0101_4^16 + 1708910*c_0101_4^15 - 325339*c_0101_4^14 - 1455163*c_0101_4^13 + 316351*c_0101_4^12 + 877222*c_0101_4^11 - 206864*c_0101_4^10 - 360165*c_0101_4^9 + 89065*c_0101_4^8 + 92927*c_0101_4^7 - 23553*c_0101_4^6 - 12703*c_0101_4^5 + 3276*c_0101_4^4 + 614*c_0101_4^3 - 140*c_0101_4^2 - 8*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB