Magma V2.19-8 Tue Aug 20 2013 16:17:24 on localhost [Seed = 762098150] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1625 geometric_solution 5.37685973 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.409632629260 0.221714563866 2 0 3 0 0132 2310 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 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.702278641167 0.800217624430 1 4 5 5 0132 0132 0132 3201 0 0 0 0 0 1 -1 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 -1 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.384639674811 1.822956538647 5 5 4 1 2310 1023 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384639674811 1.822956538647 3 2 6 6 2310 0132 3201 0132 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 0 -1 1 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.113952885027 0.533608387591 3 2 3 2 1023 2310 3201 0132 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 -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.110811459102 0.525178464823 4 6 4 6 2310 2310 0132 3201 0 0 0 0 0 1 0 -1 1 0 0 -1 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 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 -1.052486936108 0.851458139576 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} 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_1, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 7564782110996895812488369924926858826127575071121077839855681408527\ 921827617268918467489662606081433/265147100214984523089331118623461\ 7488835975045670382636493311455785699462440675212760537219104806002\ 894*c_0101_3^27 + 4640489520176538968313388253334360042859972316473\ 4381528957932022084870064875563283823215233730371387/26514710021498\ 4523089331118623461748883597504567038263649331145578569946244067521\ 2760537219104806002894*c_0101_3^26 + 7428257456084075842891039928026880041717789650665955492741755494001\ 4333015633142319970865187417935630/13257355010749226154466555931173\ 0874441798752283519131824665572789284973122033760638026860955240300\ 1447*c_0101_3^25 - 404525254932877642363809921394000025354453045854\ 28750823821034166821033871431011870331309870710979597/4419118336916\ 4087181555186437243624813932917427839710608221857596428324374011253\ 5460089536517467667149*c_0101_3^24 + 7973470071333057011772158720643057265974428834418683680898397687862\ 55832787983384451767482483519626369/4419118336916408718155518643724\ 3624813932917427839710608221857596428324374011253546008953651746766\ 7149*c_0101_3^23 - 134837659663845737807944213312703372450255076285\ 81222706559077791347554305158321010579295927882856583/5198962749313\ 4220213594336984992499781097549915105541892025714819327440440013239\ 465892886649113843194*c_0101_3^22 + 1280306359483970475203540865264448878997960558778220011884380017176\ 7054213837556056469347871795719211659/26514710021498452308933111862\ 3461748883597504567038263649331145578569946244067521276053721910480\ 6002894*c_0101_3^21 + 398387127995580953719416494209311664770755312\ 51206373079342021898624572166807563203516178616285704348377/2651471\ 0021498452308933111862346174888359750456703826364933114557856994624\ 40675212760537219104806002894*c_0101_3^20 + 8434380568555283062181628743667039976295916468691774736179113164713\ 047202387497548045913015170000619379/883823667383281743631103728744\ 8724962786583485567942121644371519285664874802250709201790730349353\ 34298*c_0101_3^19 - 52355021758631292948848013073221955292313954360\ 39811532844079975286166319777015307836119491970252308785/3787815717\ 3569217584190159803351678411942500652434037664190163654081420892009\ 6458965791031300686571842*c_0101_3^18 + 3340419563756673933415195327787865899799194095238909141117203138807\ 83280159414325849248700565632157271351/2651471002149845230893311186\ 2346174888359750456703826364933114557856994624406752127605372191048\ 06002894*c_0101_3^17 - 30217779361775039159956252662622852843830873\ 5814128738330814215948976603860288693646885279533982766071305/26514\ 7100214984523089331118623461748883597504567038263649331145578569946\ 2440675212760537219104806002894*c_0101_3^16 - 1424076997680229435980631371979213177950274745894388695062012884111\ 35607438452900314056518782384066086233/1325735501074922615446655593\ 1173087444179875228351913182466557278928497312203376063802686095524\ 03001447*c_0101_3^15 + 42869583571143640020458790536449001277416906\ 4508225047993908147868187918702579820350337876221858752159563/13257\ 3550107492261544665559311730874441798752283519131824665572789284973\ 1220337606380268609552403001447*c_0101_3^14 - 4082887075762481658987302757541980475133106807261437325309275183486\ 21957618627555754456851654395633446629/8838236673832817436311037287\ 4487249627865834855679421216443715192856648748022507092017907303493\ 5334298*c_0101_3^13 - 772990337612419032607251861143772061390645470\ 595971264757326884975579459169657096254984820799588100770598/132573\ 5501074922615446655593117308744417987522835191318246655727892849731\ 220337606380268609552403001447*c_0101_3^12 + 1306565648751463483870873535056241659141132422930446988725080912099\ 999969274933770803928176885264083157793/132573550107492261544665559\ 3117308744417987522835191318246655727892849731220337606380268609552\ 403001447*c_0101_3^11 - 3820936343012558961992221495992714966401181\ 791220384463373136139770137539614161387636722157989266661627861/265\ 1471002149845230893311186234617488835975045670382636493311455785699\ 462440675212760537219104806002894*c_0101_3^10 - 7031935052604304297425799264655974932406974971759816288644507593367\ 31977099546323185350585720867636472662/1325735501074922615446655593\ 1173087444179875228351913182466557278928497312203376063802686095524\ 03001447*c_0101_3^9 + 440750002331926401808456372010941552891611987\ 239185272825349531014307680188927783752393767496788816931001/378781\ 5717356921758419015980335167841194250065243403766419016365408142089\ 20096458965791031300686571842*c_0101_3^8 - 1624323606683412175006078746371630395216151304708943226464181582738\ 37928780878406112383896269368159406827/4419118336916408718155518643\ 7243624813932917427839710608221857596428324374011253546008953651746\ 7667149*c_0101_3^7 + 8425682574215143544106146639155271810857733801\ 18613544169933883769810316198523840175577668617198692736767/1325735\ 5010749226154466555931173087444179875228351913182466557278928497312\ 20337606380268609552403001447*c_0101_3^6 + 2297968594218704725479852871507203631811428080775384886192489380662\ 002201527868409310593184716875503887997/132573550107492261544665559\ 3117308744417987522835191318246655727892849731220337606380268609552\ 403001447*c_0101_3^5 + 11461283023082454736109282830768372951360744\ 24043211901903819537335886056806451799290347418792741142507115/1325\ 7355010749226154466555931173087444179875228351913182466557278928497\ 31220337606380268609552403001447*c_0101_3^4 + 4441564944012272441775665742965679441167787885937163074605437028750\ 33764506711292571416760092558712066737/2651471002149845230893311186\ 2346174888359750456703826364933114557856994624406752127605372191048\ 06002894*c_0101_3^3 + 955897216928130893645052603798750030564563237\ 46725632620823062556998862435797868587516909465838190360144/4419118\ 3369164087181555186437243624813932917427839710608221857596428324374\ 0112535460089536517467667149*c_0101_3^2 + 1697123263104952882304834776463616570981188321932367216145251557567\ 61148524355406196211059318928876960184/1325735501074922615446655593\ 1173087444179875228351913182466557278928497312203376063802686095524\ 03001447*c_0101_3 - 62191729032987671769925765758134272536433838300\ 031077855568212182051488082952571825247701718756936181213/265147100\ 2149845230893311186234617488835975045670382636493311455785699462440\ 675212760537219104806002894, c_0011_0 - 1, c_0011_1 + 421283727988595597714623974848119991392647411973006097069727\ 631223593055751092122395383524/107016629502578490498789449125587181\ 77868624721499979873845938070430601535613506601133714723427*c_0101_\ 3^27 - 223378406024395328203137088180739564079675582713958617780790\ 3779313726560773017163556109682/10701662950257849049878944912558718\ 177868624721499979873845938070430601535613506601133714723427*c_0101\ _3^26 - 32934065091193983848542127981510912378485468489695043638328\ 28887701163297913877010744965489/3567220983419283016626314970852906\ 059289541573833326624615312690143533845204502200377904907809*c_0101\ _3^25 + 13211497837534719143286986209522323813843479031713879342414\ 16421768516363508659957087980581/3567220983419283016626314970852906\ 059289541573833326624615312690143533845204502200377904907809*c_0101\ _3^24 - 26904052282581964467179183826812627795100922406646306455775\ 0765876522144480136699925249544373/10701662950257849049878944912558\ 718177868624721499979873845938070430601535613506601133714723427*c_0\ 101_3^23 - 61107532359415825300058088814813458500291847387515528111\ 656006812742748444023178922276585762/356722098341928301662631497085\ 2906059289541573833326624615312690143533845204502200377904907809*c_\ 0101_3^22 - 3421737227841804338051762213392904300382524724251425740\ 11002846714164297718782134177892916540/3567220983419283016626314970\ 852906059289541573833326624615312690143533845204502200377904907809*\ c_0101_3^21 - 10611179515430637714171217767511199068268277385200375\ 15455465057563898141629730725791840070553/3567220983419283016626314\ 9708529060592895415738333266246153126901435338452045022003779049078\ 09*c_0101_3^20 - 46794161896226684103003911734122617754135022758405\ 08826024184496118687825293589819258489107075/1070166295025784904987\ 8944912558718177868624721499979873845938070430601535613506601133714\ 723427*c_0101_3^19 - 3751975570908897072627317209429238640434890149\ 580487729917981128187435159191265066961828264306/107016629502578490\ 4987894491255871817786862472149997987384593807043060153561350660113\ 3714723427*c_0101_3^18 - 245519102482424170022475299651767189622316\ 51623364764525672186841341938184631568271802447323480/1070166295025\ 7849049878944912558718177868624721499979873845938070430601535613506\ 601133714723427*c_0101_3^17 - 5883184250525340976977224650261957920\ 686331347544365833747422607214657167658618884191334205147/107016629\ 5025784904987894491255871817786862472149997987384593807043060153561\ 3506601133714723427*c_0101_3^16 - 366200421145211278190913566656297\ 7551146688412623549650458606312960900295359648820170980395506/10701\ 6629502578490498789449125587181778686247214999798738459380704306015\ 35613506601133714723427*c_0101_3^15 - 5421219081171106859129357282860630508050799012189615445118541655281\ 6394157221152779213453066118/10701662950257849049878944912558718177\ 868624721499979873845938070430601535613506601133714723427*c_0101_3^\ 14 + 68717509636236477127470423660830834404722033822568565941900894\ 27429083627612690667093307640230/3567220983419283016626314970852906\ 059289541573833326624615312690143533845204502200377904907809*c_0101\ _3^13 + 72013200205779862444446796632442709541182965519881177570297\ 724145376279462027280115273481689899/107016629502578490498789449125\ 58718177868624721499979873845938070430601535613506601133714723427*c\ _0101_3^12 - 731040875972143829737287590657945737307549962138442890\ 06375259770627936037339364718304195105944/1070166295025784904987894\ 4912558718177868624721499979873845938070430601535613506601133714723\ 427*c_0101_3^11 + 6486431737649112301691974429791627452209711237183\ 9939966748293191518670905738928481720307353770/35672209834192830166\ 2631497085290605928954157383332662461531269014353384520450220037790\ 4907809*c_0101_3^10 + 199507723312947379841413025642841252630455373\ 607853054174439466470599672474391627775990336268753/107016629502578\ 4904987894491255871817786862472149997987384593807043060153561350660\ 1133714723427*c_0101_3^9 + 1109816230128706619619119013122222868018\ 95058277045521982583471046111464035088924147235795485492/1070166295\ 0257849049878944912558718177868624721499979873845938070430601535613\ 506601133714723427*c_0101_3^8 + 26326063962647305176835794768640247\ 0005545671987369842810837997400308965821128337080067580791133/10701\ 6629502578490498789449125587181778686247214999798738459380704306015\ 35613506601133714723427*c_0101_3^7 + 1999468170831295683250691134447020309398384034991816855833401379875\ 20978407856137201402354819481/1070166295025784904987894491255871817\ 7868624721499979873845938070430601535613506601133714723427*c_0101_3\ ^6 + 19628336966941092745791236090389082819675240882721957090923812\ 856548437679335863214240202242100/356722098341928301662631497085290\ 6059289541573833326624615312690143533845204502200377904907809*c_010\ 1_3^5 + 38345452137713928400601857017702691180005109427425612644534\ 600888507354552926733160723101688303/107016629502578490498789449125\ 58718177868624721499979873845938070430601535613506601133714723427*c\ _0101_3^4 + 1389853486115021030099792756574125084191388655549918837\ 5213004712078582204396015934525895318362/35672209834192830166263149\ 7085290605928954157383332662461531269014353384520450220037790490780\ 9*c_0101_3^3 + 2029056663871155092129340399699286986544032092174677\ 940788434705876199463815487501929860874881/356722098341928301662631\ 4970852906059289541573833326624615312690143533845204502200377904907\ 809*c_0101_3^2 + 34215580864084331539767345528594393172156501867557\ 29201045082986934164879493813623691657630608/1070166295025784904987\ 8944912558718177868624721499979873845938070430601535613506601133714\ 723427*c_0101_3 + 1111648762742142170600882085888102359161383400154\ 8353866645098942760940298999682474104657777075/10701662950257849049\ 8789449125587181778686247214999798738459380704306015356135066011337\ 14723427, c_0011_3 - 780993544185893437017435826777382690864037051714932747269140\ 662500189836291216056973737353349/417721577158398041246941483086875\ 2995428053182958825477424531160158078132734472076642526647044339*c_\ 0101_3^27 + 1222989819995554065790031050471320426257942414178625412\ 7819169545367201412797475325067264582972/12531647314751941237408244\ 4926062589862841595488764764322735934804742343982034162299275799411\ 33017*c_0101_3^26 + 18589469148049340445248441803980356096754842888\ 107898034841529042720435992951404726983162689143/417721577158398041\ 2469414830868752995428053182958825477424531160158078132734472076642\ 526647044339*c_0101_3^25 - 1625982117006729860490369309376356834493\ 4027342485387013899737536913343546526873177821955050619/12531647314\ 7519412374082444926062589862841595488764764322735934804742343982034\ 16229927579941133017*c_0101_3^24 + 1498561715904976418985490480709960321200932706523524176447024131344\ 368965604624520854053009477299/125316473147519412374082444926062589\ 86284159548876476432273593480474234398203416229927579941133017*c_01\ 01_3^23 + 113683590297962117070739661118846810491016336154531603352\ 3734298982006739970675801686772824924381/12531647314751941237408244\ 4926062589862841595488764764322735934804742343982034162299275799411\ 33017*c_0101_3^22 + 59236611992434123562733232265070183034426087731\ 44093708603341097358565890569007511470034574830499/1253164731475194\ 1237408244492606258986284159548876476432273593480474234398203416229\ 927579941133017*c_0101_3^21 + 6055646163258357308847922239227800920\ 097517749521388493850289820039337588109362164222736231920575/417721\ 5771583980412469414830868752995428053182958825477424531160158078132\ 734472076642526647044339*c_0101_3^20 + 2785421493001419934152652197102788546955877896493783129584376015663\ 2370778627313706713778609590068/12531647314751941237408244492606258\ 986284159548876476432273593480474234398203416229927579941133017*c_0\ 101_3^19 + 80524592569610521288009346860316148408266527058202434292\ 59038608879362914446656354558770864878008/4177215771583980412469414\ 8308687529954280531829588254774245311601580781327344720766425266470\ 44339*c_0101_3^18 + 46392561752037708726368628769455478369609125555\ 995907070357899600524428205516490898833477300344764/417721577158398\ 0412469414830868752995428053182958825477424531160158078132734472076\ 642526647044339*c_0101_3^17 + 4343083882839687592950692374869166611\ 6517369213792572473228594906895998546709142830953676596006179/12531\ 6473147519412374082444926062589862841595488764764322735934804742343\ 98203416229927579941133017*c_0101_3^16 + 3283577753995139866092101162713229259272491937311829445364133498242\ 5456641949334103467571561493314/12531647314751941237408244492606258\ 986284159548876476432273593480474234398203416229927579941133017*c_0\ 101_3^15 + 29692948826912453162191356052640915303811208722596804432\ 3117400595560311230284049816374733370283739/12531647314751941237408\ 2444926062589862841595488764764322735934804742343982034162299275799\ 41133017*c_0101_3^14 - 94968969059408553622723592847082540896058060\ 143828602534033031431598089179380174583767566624496791/125316473147\ 5194123740824449260625898628415954887647643227359348047423439820341\ 6229927579941133017*c_0101_3^13 - 384791674947361214854771510069452\ 344075699703670904443198053469299816525120069204936777188292737023/\ 1253164731475194123740824449260625898628415954887647643227359348047\ 4234398203416229927579941133017*c_0101_3^12 + 3449560120616945345834265337375785150713252400955910119497062789177\ 93697266049602411328119713646677/1253164731475194123740824449260625\ 8986284159548876476432273593480474234398203416229927579941133017*c_\ 0101_3^11 - 1087213738599334457780977883062409831522996474879055787\ 619044249235416030895654912925485077679496271/125316473147519412374\ 0824449260625898628415954887647643227359348047423439820341622992757\ 9941133017*c_0101_3^10 - 378347426725388820865551081636533384952333\ 763349901344439433510057333914313010422684305858394375816/417721577\ 1583980412469414830868752995428053182958825477424531160158078132734\ 472076642526647044339*c_0101_3^9 - 8152639023495476822929235423292289725824635897684187230932584300482\ 29116313187934365812744269246096/1253164731475194123740824449260625\ 8986284159548876476432273593480474234398203416229927579941133017*c_\ 0101_3^8 - 52072918135003426835840377719062295000451553364301023767\ 0016130171972249981162699678504313408603719/41772157715839804124694\ 1483086875299542805318295882547742453116015807813273447207664252664\ 7044339*c_0101_3^7 - 1176471384078638802690664851226977984065746968\ 800673846567409487734235611047378438299472288937003501/125316473147\ 5194123740824449260625898628415954887647643227359348047423439820341\ 6229927579941133017*c_0101_3^6 - 1619271441312688948443804268373584\ 37877381897680473153050908201237487866849019734480092937010661270/4\ 1772157715839804124694148308687529954280531829588254774245311601580\ 78132734472076642526647044339*c_0101_3^5 - 2285574220026618265585047944721730433899995788242571836499577003899\ 98378774529373830953286220429868/1253164731475194123740824449260625\ 8986284159548876476432273593480474234398203416229927579941133017*c_\ 0101_3^4 - 54370388221345555037831365530293161602309954967043153299\ 355884283344481214220812526714918254510871/417721577158398041246941\ 4830868752995428053182958825477424531160158078132734472076642526647\ 044339*c_0101_3^3 - 43895517766828015649381418330787234756886524823\ 596369281239633582056770607886720083905453584745094/125316473147519\ 4123740824449260625898628415954887647643227359348047423439820341622\ 9927579941133017*c_0101_3^2 - 2124084648989734993604282716807811585\ 8846564748025791453965284175074472237681357635056331679067233/12531\ 6473147519412374082444926062589862841595488764764322735934804742343\ 98203416229927579941133017*c_0101_3 - 4902731200102608314025230664048856774368780157402388812353799691025\ 549532550654425413862281486634/417721577158398041246941483086875299\ 5428053182958825477424531160158078132734472076642526647044339, c_0011_6 + 117869603454048465000637913727891984989603607484364872066242\ 1861445301290275426893753155362/10701662950257849049878944912558718\ 177868624721499979873845938070430601535613506601133714723427*c_0101\ _3^27 - 61096534853195473244883132522826067878741789411628938016348\ 68218043254146089374776397559996/1070166295025784904987894491255871\ 8177868624721499979873845938070430601535613506601133714723427*c_010\ 1_3^26 - 2833800156149274687592187851457578025038760786242050506423\ 6192448855747828521576915391811484/10701662950257849049878944912558\ 718177868624721499979873845938070430601535613506601133714723427*c_0\ 101_3^25 + 25047409266676714258684827478326613823354953414113206913\ 39147862714730982298969629590536188/3567220983419283016626314970852\ 906059289541573833326624615312690143533845204502200377904907809*c_0\ 101_3^24 - 25081844433899946970504304535331948968086786825958485192\ 3401545400201853433176778221930316050/35672209834192830166263149708\ 52906059289541573833326624615312690143533845204502200377904907809*c\ _0101_3^23 - 601106403674873376279376088048192064284370387279671405\ 792610351380579264655551786178502120484/107016629502578490498789449\ 1255871817786862472149997987384593807043060153561350660113371472342\ 7*c_0101_3^22 - 296338765081131165017431009047295814319461938805786\ 8580494273188635645852838848318416426812734/10701662950257849049878\ 9449125587181778686247214999798738459380704306015356135066011337147\ 23427*c_0101_3^21 - 92511796801522157896843147628298404155316152708\ 38569518403148644414659561198400433613094587111/1070166295025784904\ 9878944912558718177868624721499979873845938070430601535613506601133\ 714723427*c_0101_3^20 - 1423316095609208123906757015652284601635458\ 1212292689479420281578792426136139772031393599863616/10701662950257\ 8490498789449125587181778686247214999798738459380704306015356135066\ 01133714723427*c_0101_3^19 - 41073217458598340398396075022276997606\ 76565023928506507064597319272088585083839672254556865873/3567220983\ 4192830166263149708529060592895415738333266246153126901435338452045\ 02200377904907809*c_0101_3^18 - 70180059893287850942687723415269420\ 218495873562905271545623757504580372186594320117923201344210/107016\ 6295025784904987894491255871817786862472149997987384593807043060153\ 5613506601133714723427*c_0101_3^17 - 2442017442953172520971105269913007398233263839957491960988867310838\ 5365314292384632138451977657/10701662950257849049878944912558718177\ 868624721499979873845938070430601535613506601133714723427*c_0101_3^\ 16 - 14242623617663733190936432642593299565449884533167486050243305\ 760652390821707634582261326484831/107016629502578490498789449125587\ 18177868624721499979873845938070430601535613506601133714723427*c_01\ 01_3^15 - 505320932037437340718915775691399394249227055215271047400\ 62382587252191850776237466806754467681/3567220983419283016626314970\ 852906059289541573833326624615312690143533845204502200377904907809*\ c_0101_3^14 + 41732672198815343153243070883707182784801123736097345\ 219263734622104479587316366599996640125132/107016629502578490498789\ 4491255871817786862472149997987384593807043060153561350660113371472\ 3427*c_0101_3^13 + 204012073185075980252300636318798743019306331643\ 405850519861805570380867364901363167608662280645/107016629502578490\ 4987894491255871817786862472149997987384593807043060153561350660113\ 3714723427*c_0101_3^12 - 174922674687096319739045137441427100932606\ 771697823348519399781204305547064618717584714898525353/107016629502\ 5784904987894491255871817786862472149997987384593807043060153561350\ 6601133714723427*c_0101_3^11 + 531531828517626533014861362684480941\ 020755229667529943664528513237959173678759102352210302684775/107016\ 6295025784904987894491255871817786862472149997987384593807043060153\ 5613506601133714723427*c_0101_3^10 + 6129532858873468881739793954702298806996166895902236065086983290582\ 84012967294935260652043550853/1070166295025784904987894491255871817\ 7868624721499979873845938070430601535613506601133714723427*c_0101_3\ ^9 + 39576547367830929224874537460636630562313101123547491725435219\ 4257842566798229479304717969994202/10701662950257849049878944912558\ 718177868624721499979873845938070430601535613506601133714723427*c_0\ 101_3^8 + 787641336890597349289367437647529638289500495329112149737\ 942446923827921990682027328470544995099/107016629502578490498789449\ 1255871817786862472149997987384593807043060153561350660113371472342\ 7*c_0101_3^7 + 6367085332405074624564727345077461556442608136564924\ 77045898276857512124590717112659334603949333/1070166295025784904987\ 8944912558718177868624721499979873845938070430601535613506601133714\ 723427*c_0101_3^6 + 22990518469969836448061465369647951026859832139\ 1651642428710315456220972332847506523286835553299/10701662950257849\ 0498789449125587181778686247214999798738459380704306015356135066011\ 33714723427*c_0101_3^5 + 116671629117991701578915029482442446409152\ 903394036990374688589186213287595251435134927915611815/107016629502\ 5784904987894491255871817786862472149997987384593807043060153561350\ 6601133714723427*c_0101_3^4 + 9769176939508299514973139026479052978\ 6724946692038078214706602275958053618604641474628178119455/10701662\ 9502578490498789449125587181778686247214999798738459380704306015356\ 13506601133714723427*c_0101_3^3 + 307128953991176470451125179337470\ 2208189713601285735827235842247766473799990755966094628159373/35672\ 2098341928301662631497085290605928954157383332662461531269014353384\ 5204502200377904907809*c_0101_3^2 + 9485709601043681975802493696082056912129541690530938015255107572396\ 303332557609864329850937076/107016629502578490498789449125587181778\ 68624721499979873845938070430601535613506601133714723427*c_0101_3 + 3570747038286468076209665670826723376601009054693212078148388607090\ 627010434271091580873242261/356722098341928301662631497085290605928\ 9541573833326624615312690143533845204502200377904907809, c_0101_0 + 750201741968494141120571200209625343501724272690447355859036\ 919977569203807909855930339074732/125316473147519412374082444926062\ 58986284159548876476432273593480474234398203416229927579941133017*c\ _0101_3^27 - 428215248743968616332462176273463325399227262739412231\ 8863405830891684431877050334913757558248/12531647314751941237408244\ 4926062589862841595488764764322735934804742343982034162299275799411\ 33017*c_0101_3^26 - 15998157722247739935890215273314723634997286290\ 121693523835244367883739670784911694927447790853/125316473147519412\ 3740824449260625898628415954887647643227359348047423439820341622992\ 7579941133017*c_0101_3^25 + 471566209598432645943665470088026152356\ 7463761795501705240812235159364111204823968526681286881/41772157715\ 8398041246941483086875299542805318295882547742453116015807813273447\ 2076642526647044339*c_0101_3^24 - 480723698420867839382855119617384\ 922938525138772159643252833925760154492206735186368590026048350/125\ 3164731475194123740824449260625898628415954887647643227359348047423\ 4398203416229927579941133017*c_0101_3^23 - 4309417642414686954276142051936657656745263339716301626902980675502\ 4724897510823737786007990304/41772157715839804124694148308687529954\ 28053182958825477424531160158078132734472076642526647044339*c_0101_\ 3^22 - 562415339042549144826144283218396117828554628714040172114923\ 492609775559914465814726192261677465/417721577158398041246941483086\ 8752995428053182958825477424531160158078132734472076642526647044339\ *c_0101_3^21 - 4828340907685924195363081401608598939875622013514730\ 477196655408533776680730267104474395524692866/125316473147519412374\ 0824449260625898628415954887647643227359348047423439820341622992757\ 9941133017*c_0101_3^20 - 597154691320039585291095933139729530757680\ 7246536763117864606843727122466020330916543826122980657/12531647314\ 7519412374082444926062589862841595488764764322735934804742343982034\ 16229927579941133017*c_0101_3^19 - 2856599488435891490877452344306978483944912299447725695860007684191\ 466792558573491444390706381724/125316473147519412374082444926062589\ 86284159548876476432273593480474234398203416229927579941133017*c_01\ 01_3^18 - 133018527170013737311856306643465038277348979606511964706\ 45709934235651869546853565707646921041696/4177215771583980412469414\ 8308687529954280531829588254774245311601580781327344720766425266470\ 44339*c_0101_3^17 + 84503428680052305056096872775407594309642396705\ 12742909244836854222048088050610856805867514403410/1253164731475194\ 1237408244492606258986284159548876476432273593480474234398203416229\ 927579941133017*c_0101_3^16 - 2592352380997525642575578324682119903\ 32728225975117946502765505623447938518505801192381118692471/4177215\ 7715839804124694148308687529954280531829588254774245311601580781327\ 34472076642526647044339*c_0101_3^15 - 8605229539952726293963718823766912006658874953589783683451455617317\ 6855495659213223551177248896962/12531647314751941237408244492606258\ 986284159548876476432273593480474234398203416229927579941133017*c_0\ 101_3^14 + 24649518699156938032842481274750652657596193009590419228\ 685592002444732730806076820622783706710086/417721577158398041246941\ 4830868752995428053182958825477424531160158078132734472076642526647\ 044339*c_0101_3^13 + 1154237637200471736975440780564104276283848978\ 83452617734565504104021262824404465816787029180415634/1253164731475\ 1941237408244492606258986284159548876476432273593480474234398203416\ 229927579941133017*c_0101_3^12 - 5492195545429946412863169888012457\ 5914416620032609424524824511085788194138950843492086323664685495/41\ 7721577158398041246941483086875299542805318295882547742453116015807\ 8132734472076642526647044339*c_0101_3^11 + 1267124973694874318616802958353884657963252947469490012455180140027\ 49592653024869904927832781262364/4177215771583980412469414830868752\ 995428053182958825477424531160158078132734472076642526647044339*c_0\ 101_3^10 + 19697948355670262138060324991481406972119257695894094577\ 7290542694117239097843329577216092074765611/12531647314751941237408\ 2444926062589862841595488764764322735934804742343982034162299275799\ 41133017*c_0101_3^9 + 848413477471812354334381975726672391905298440\ 52854971040186674925440740078187904058336170764585394/1253164731475\ 1941237408244492606258986284159548876476432273593480474234398203416\ 229927579941133017*c_0101_3^8 + 10115980024525113510488029937146170\ 1860478320587451879488622840200545881940893412026501473249306315/41\ 7721577158398041246941483086875299542805318295882547742453116015807\ 8132734472076642526647044339*c_0101_3^7 + 4108585146553004360994703862565323557214903281661011452208176243960\ 3134153714734582811222145986730/41772157715839804124694148308687529\ 95428053182958825477424531160158078132734472076642526647044339*c_01\ 01_3^6 - 4417173905230949110142420869821374952340940484453490435397\ 7312550409676790931817876026949729596560/12531647314751941237408244\ 4926062589862841595488764764322735934804742343982034162299275799411\ 33017*c_0101_3^5 - 578753298836721704168654661394834066533046492915\ 41467224277691847437395246518066825813592389160251/1253164731475194\ 1237408244492606258986284159548876476432273593480474234398203416229\ 927579941133017*c_0101_3^4 + 19771721630410740889187024260690906980\ 856311147849523416885094836142653347339825671199808829456660/125316\ 4731475194123740824449260625898628415954887647643227359348047423439\ 8203416229927579941133017*c_0101_3^3 + 4986694038492297423519677054730006266711496305981858837301797528070\ 7228602899328347301901712181/41772157715839804124694148308687529954\ 28053182958825477424531160158078132734472076642526647044339*c_0101_\ 3^2 - 1780400768624959381043654903549445398590083381399798074812683\ 12127531105319562218493570497960475/4177215771583980412469414830868\ 752995428053182958825477424531160158078132734472076642526647044339*\ c_0101_3 + 86399686425393626092342605992696255125169853664217569857\ 4408433395210627572070452359218533387664/41772157715839804124694148\ 3086875299542805318295882547742453116015807813273447207664252664704\ 4339, c_0101_1 - 368408567455377309664870896897979500311664672943819140418417\ 976898801694805775563143540327/356722098341928301662631497085290605\ 9289541573833326624615312690143533845204502200377904907809*c_0101_3\ ^27 + 5843921226526183256715495267291059438299648980719032069895913\ 078633925986176952786695599067/107016629502578490498789449125587181\ 77868624721499979873845938070430601535613506601133714723427*c_0101_\ 3^26 + 866613857165398545396344650140642526226539630529221158327972\ 2271147096799908203549461439621/35672209834192830166263149708529060\ 59289541573833326624615312690143533845204502200377904907809*c_0101_\ 3^25 - 995522398242921958083081705829824532080369829280932055268766\ 5813353098393852826699424313237/10701662950257849049878944912558718\ 177868624721499979873845938070430601535613506601133714723427*c_0101\ _3^24 + 70581760701858292244692866995463854423027075597560806974526\ 3114732397428359827681233290424848/10701662950257849049878944912558\ 718177868624721499979873845938070430601535613506601133714723427*c_0\ 101_3^23 + 49091050831965259042730967897919362024945271657177771825\ 1808870433939386646327091825709210815/10701662950257849049878944912\ 558718177868624721499979873845938070430601535613506601133714723427*\ c_0101_3^22 + 27054147821956093280869267457050964608229955644803198\ 71091209779648041411562694128376240914116/1070166295025784904987894\ 4912558718177868624721499979873845938070430601535613506601133714723\ 427*c_0101_3^21 + 2795663625245536524025962517872650858338287837016\ 315881205528170178814232897322177544139393981/356722098341928301662\ 6314970852906059289541573833326624615312690143533845204502200377904\ 907809*c_0101_3^20 + 1240654891982880880267457898702684778266014023\ 2277002449569328622610465519115099662066569501142/10701662950257849\ 0498789449125587181778686247214999798738459380704306015356135066011\ 33714723427*c_0101_3^19 + 33497188207105853689422283630674288866652\ 88805467818285153230136241937144047518539143925943476/3567220983419\ 2830166263149708529060592895415738333266246153126901435338452045022\ 00377904907809*c_0101_3^18 + 21514144374783445710853828248721212104\ 359537463264329190800968327112180606383107837495456739468/356722098\ 3419283016626314970852906059289541573833326624615312690143533845204\ 502200377904907809*c_0101_3^17 + 1622270755688072676283785721098757\ 9833762571636802144427600313127155097037612602145348268550912/10701\ 6629502578490498789449125587181778686247214999798738459380704306015\ 35613506601133714723427*c_0101_3^16 + 1010319765165751337281846395051892168214485257515385009827336825135\ 4213070216541176037877045220/10701662950257849049878944912558718177\ 868624721499979873845938070430601535613506601133714723427*c_0101_3^\ 15 + 14185613698576419460111450611957897607251066276823255145473406\ 3110678093980604728707282712770027/10701662950257849049878944912558\ 718177868624721499979873845938070430601535613506601133714723427*c_0\ 101_3^14 - 52591254642908833163404822935935610198380273371939942474\ 398019362348340244894516697148469060359/107016629502578490498789449\ 1255871817786862472149997987384593807043060153561350660113371472342\ 7*c_0101_3^13 - 189213589607617349635641351679243503252355465279733\ 201219291816712931875184199933626909554687455/107016629502578490498\ 7894491255871817786862472149997987384593807043060153561350660113371\ 4723427*c_0101_3^12 + 187971403861322124918674745983711044575980217\ 422661286486480492560899536237074853561143732086039/107016629502578\ 4904987894491255871817786862472149997987384593807043060153561350660\ 1133714723427*c_0101_3^11 - 510366773405364843214547246987378651378\ 273525307017814525043044617835459979565500446012296572574/107016629\ 5025784904987894491255871817786862472149997987384593807043060153561\ 3506601133714723427*c_0101_3^10 - 176771635069349942938085558474220\ 931153466667536556514529028492052303504335142127023638583724184/356\ 7220983419283016626314970852906059289541573833326624615312690143533\ 845204502200377904907809*c_0101_3^9 - 3019987548993577313840716641371520257795686072007831808200454996442\ 00270214323262094932772870502/1070166295025784904987894491255871817\ 7868624721499979873845938070430601535613506601133714723427*c_0101_3\ ^8 - 23246171408953123294400433027218927689589922133078197557887944\ 5094844011121846867664952051345030/35672209834192830166263149708529\ 06059289541573833326624615312690143533845204502200377904907809*c_01\ 01_3^7 - 5334244626831431708359577049811394736115339764439901393493\ 79324129512527321992874743269455540351/1070166295025784904987894491\ 2558718177868624721499979873845938070430601535613506601133714723427\ *c_0101_3^6 - 53374131854244304646934988396023148025499410302716380\ 974394498817580867490881309237720764630200/356722098341928301662631\ 4970852906059289541573833326624615312690143533845204502200377904907\ 809*c_0101_3^5 - 10174068940366283179894340829310581609328093972115\ 6641576031482429790366276336978348760743030597/10701662950257849049\ 8789449125587181778686247214999798738459380704306015356135066011337\ 14723427*c_0101_3^4 - 354388579833668046346653819355832330564379331\ 17914614374712766369282182031207669473316580794977/3567220983419283\ 0166263149708529060592895415738333266246153126901435338452045022003\ 77904907809*c_0101_3^3 - 170069236160417305644096191321797283804454\ 05222718503058623432477521999114411734318023114791532/1070166295025\ 7849049878944912558718177868624721499979873845938070430601535613506\ 601133714723427*c_0101_3^2 - 88715126650303032141730319598215367381\ 49194866720945624184325411705193003425271118327781702364/1070166295\ 0257849049878944912558718177868624721499979873845938070430601535613\ 506601133714723427*c_0101_3 - 3850532096436670528126531034882278032\ 557049482569754032262860651133632262792306017459876194892/356722098\ 3419283016626314970852906059289541573833326624615312690143533845204\ 502200377904907809, c_0101_3^28 - 5*c_0101_3^27 - 25*c_0101_3^26 + 2*c_0101_3^25 - 637*c_0101_3^24 - 627*c_0101_3^23 - 2603*c_0101_3^22 - 8303*c_0101_3^21 - 13496*c_0101_3^20 - 12604*c_0101_3^19 - 61346*c_0101_3^18 - 31553*c_0101_3^17 - 15508*c_0101_3^16 - 130546*c_0101_3^15 + 11617*c_0101_3^14 + 180041*c_0101_3^13 - 116707*c_0101_3^12 + 421727*c_0101_3^11 + 601992*c_0101_3^10 + 430299*c_0101_3^9 + 724761*c_0101_3^8 + 659450*c_0101_3^7 + 296658*c_0101_3^6 + 136057*c_0101_3^5 + 102406*c_0101_3^4 + 36841*c_0101_3^3 + 11831*c_0101_3^2 + 11607*c_0101_3 + 2159 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB