Magma V2.19-8 Tue Aug 20 2013 16:17:57 on localhost [Seed = 1191631746] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2184 geometric_solution 5.64487328 oriented_manifold CS_known 0.0000000000000003 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 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.524964104933 0.205957679891 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.824235887006 0.441696010008 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 -1 1 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.713712891800 0.939179639605 5 2 4 1 3201 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.713712891800 0.939179639605 4 2 4 3 2310 0132 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.035067203420 1.206715680122 6 6 2 3 0132 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.132492439620 1.597258531435 5 6 5 6 0132 2310 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.534954245756 0.581165919523 ==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' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_3'], 'c_1100_4' : negation(d['c_0011_1']), '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' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_3']), '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_1'], 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : 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_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), '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_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 8965405822264517942004473913746924684712136416185417421017732658773\ /435595636374165853624702304851829636175761139307373063796453497*c_\ 0101_3^35 - 3953652010829662204800512689629592598581336821931314715\ 5229645686466/43559563637416585362470230485182963617576113930737306\ 3796453497*c_0101_3^34 + 127424553680694310020638006039443234607351\ 893102977977752223692965457/435595636374165853624702304851829636175\ 761139307373063796453497*c_0101_3^33 + 6984828978745391605980152295965425672895958304477509918407164651905\ 05/435595636374165853624702304851829636175761139307373063796453497*\ c_0101_3^32 - 42484816611950644721195924790241313669151952790047101\ 3235011972684089/43559563637416585362470230485182963617576113930737\ 3063796453497*c_0101_3^31 - 409629874749914443222234703470553259898\ 4037835589451141514919035071213/43559563637416585362470230485182963\ 6175761139307373063796453497*c_0101_3^30 + 9972517260832506769132371769352857091412835680747693140826876687550\ 26/435595636374165853624702304851829636175761139307373063796453497*\ c_0101_3^29 + 14957600033060047960788444580839148840367968275219218\ 473088888068598717/435595636374165853624702304851829636175761139307\ 373063796453497*c_0101_3^28 - 5196914935596834636808533366654314957\ 889176148629023869475819250007650/435595636374165853624702304851829\ 636175761139307373063796453497*c_0101_3^27 - 5194169035829303941235340899534478800522756414998973639947510113044\ 0387/43559563637416585362470230485182963617576113930737306379645349\ 7*c_0101_3^26 + 107579346612867953538277957889016724808141059092959\ 44396084365524605434/4355956363741658536247023048518296361757611393\ 07373063796453497*c_0101_3^25 + 15048566279129213091317078490948999\ 4212972910816227908436428541645985769/43559563637416585362470230485\ 1829636175761139307373063796453497*c_0101_3^24 + 5853760064911421274899800524923520446078942678222264364492345850016\ 00/435595636374165853624702304851829636175761139307373063796453497*\ c_0101_3^23 - 34686179565799110592982286329083941184563928343398824\ 3766663559419114766/43559563637416585362470230485182963617576113930\ 7373063796453497*c_0101_3^22 - 509289566735576064288692468848565172\ 26922075716350279030251611363419030/4355956363741658536247023048518\ 29636175761139307373063796453497*c_0101_3^21 + 6993006161695584796364524579040667416087543127037108968998759947666\ 89472/4355956363741658536247023048518296361757611393073730637964534\ 97*c_0101_3^20 + 19622786316273315558719041206003587439060614790565\ 8524477143376681144375/43559563637416585362470230485182963617576113\ 9307373063796453497*c_0101_3^19 - 116752041137403951233261096618693\ 7974487180273216317152947334524385650226/43559563637416585362470230\ 4851829636175761139307373063796453497*c_0101_3^18 - 4426353718949592364390210097055446487728275240782022321725463128788\ 78286/4355956363741658536247023048518296361757611393073730637964534\ 97*c_0101_3^17 + 14473593492623403782278334788919776758173086798497\ 66925362162433792952496/4355956363741658536247023048518296361757611\ 39307373063796453497*c_0101_3^16 + 5622668408922131232736302207863161159997950006368364913849830547028\ 59370/4355956363741658536247023048518296361757611393073730637964534\ 97*c_0101_3^15 - 13046760228030611702021728044022268337591897213042\ 86045940474657212761217/4355956363741658536247023048518296361757611\ 39307373063796453497*c_0101_3^14 - 4037751533078399508438371032752020419935788548269905832895878126787\ 92977/4355956363741658536247023048518296361757611393073730637964534\ 97*c_0101_3^13 + 90517585313549905998847789408289491129005663103730\ 7255103253218690150825/43559563637416585362470230485182963617576113\ 9307373063796453497*c_0101_3^12 + 169111280117364069194268142762151\ 912909015136314208147649587956186823879/435595636374165853624702304\ 851829636175761139307373063796453497*c_0101_3^11 - 4991839986785746327155502314418926533569763034509133569866976532219\ 83912/4355956363741658536247023048518296361757611393073730637964534\ 97*c_0101_3^10 - 46659773481039015467289429550683868046886458019192\ 186403259956133858771/435595636374165853624702304851829636175761139\ 307373063796453497*c_0101_3^9 + 20454431928434503616540586780971116\ 4639967556772921683028270583208021275/43559563637416585362470230485\ 1829636175761139307373063796453497*c_0101_3^8 + 1088754937241418920836472687592121611580282352998719166898224666209\ 0601/43559563637416585362470230485182963617576113930737306379645349\ 7*c_0101_3^7 - 5568740295989259098788818266270115528214371757373883\ 1118760603372969002/43559563637416585362470230485182963617576113930\ 7373063796453497*c_0101_3^6 - 2253809586071484138841019760983134765\ 283491329194140050554047145297526/435595636374165853624702304851829\ 636175761139307373063796453497*c_0101_3^5 + 9025298636198023529226039053826435951348590376259462554610155533696\ 232/435595636374165853624702304851829636175761139307373063796453497\ *c_0101_3^4 + 29641583469368614703093825592433096944367284742470739\ 2463098432617307/43559563637416585362470230485182963617576113930737\ 3063796453497*c_0101_3^3 - 7604864697465102823787907388111544090318\ 91084703545255534860054302379/4355956363741658536247023048518296361\ 75761139307373063796453497*c_0101_3^2 - 1583030554546437065844153344522265772688782757264401730083940113067\ 1/435595636374165853624702304851829636175761139307373063796453497*c\ _0101_3 + 250417866765336163452736639548391855421280543981579175459\ 43536920332/4355956363741658536247023048518296361757611393073730637\ 96453497, c_0011_0 - 1, c_0011_1 - 341437266051934663810958611550655889194318124160831222980879\ 94568/4355956363741658536247023048518296361757611393073730637964534\ 97*c_0101_3^35 - 15039435891298646446094308339095264821256261098311\ 0665410463013576/43559563637416585362470230485182963617576113930737\ 3063796453497*c_0101_3^34 + 486040170141406657793862883387911008022\ 231507186476982451483879235/435595636374165853624702304851829636175\ 761139307373063796453497*c_0101_3^33 + 2657452169736236441274056003847222747460949154384799366795200697697\ /435595636374165853624702304851829636175761139307373063796453497*c_\ 0101_3^32 - 1631723923604249878544288970773082385640902301337717311\ 829635139407/435595636374165853624702304851829636175761139307373063\ 796453497*c_0101_3^31 - 1558977898433006990437185751584629000283525\ 8471317956383563785566239/43559563637416585362470230485182963617576\ 1139307373063796453497*c_0101_3^30 + 3882264599134324469453509711629306786853955317194662452482310927336\ /435595636374165853624702304851829636175761139307373063796453497*c_\ 0101_3^29 + 5693505170079468156145684407902529606222217064916991822\ 6266937007196/43559563637416585362470230485182963617576113930737306\ 3796453497*c_0101_3^28 - 201095981480977601200937351594588323076301\ 82516573740539570034328676/4355956363741658536247023048518296361757\ 61139307373063796453497*c_0101_3^27 - 1976821082770928687180415389015075706597842390063741497287500062450\ 03/435595636374165853624702304851829636175761139307373063796453497*\ c_0101_3^26 + 42069726714617573137319429023289032630055403342458949\ 577696296845752/435595636374165853624702304851829636175761139307373\ 063796453497*c_0101_3^25 + 5727798654233764630537246438481379147647\ 14189575065973064473425354673/4355956363741658536247023048518296361\ 75761139307373063796453497*c_0101_3^24 - 1017752685068521535996917769627969106690281602694326450559724467775\ /435595636374165853624702304851829636175761139307373063796453497*c_\ 0101_3^23 - 1320705232027417739697008705583778005398467962347885028\ 799897633347448/435595636374165853624702304851829636175761139307373\ 063796453497*c_0101_3^22 - 1862673205736977764177086096313937605625\ 20595489023359154423249619637/4355956363741658536247023048518296361\ 75761139307373063796453497*c_0101_3^21 + 2663741115942706041170035037497384234932136116672834686357278594454\ 796/435595636374165853624702304851829636175761139307373063796453497\ *c_0101_3^20 + 7315730292547053297156596463004599824629281898663659\ 04331446664365812/4355956363741658536247023048518296361757611393073\ 73063796453497*c_0101_3^19 - 44495943793810379506275050083526256121\ 86185708604535437810370609531419/4355956363741658536247023048518296\ 36175761139307373063796453497*c_0101_3^18 - 1658727066828995965557247760465426083341527976808962939984374344335\ 131/435595636374165853624702304851829636175761139307373063796453497\ *c_0101_3^17 + 5520494255766770065126427923698184536028549462383443\ 071718278445087824/435595636374165853624702304851829636175761139307\ 373063796453497*c_0101_3^16 + 2106317842439812535196012960270894243\ 727861770949943042975607861173043/435595636374165853624702304851829\ 636175761139307373063796453497*c_0101_3^15 - 4980685399869519197243675353407730625783077046727606744910463373198\ 201/435595636374165853624702304851829636175761139307373063796453497\ *c_0101_3^14 - 1504883502209283395362486155399547343002510079698797\ 209508216706604803/435595636374165853624702304851829636175761139307\ 373063796453497*c_0101_3^13 + 3456811634975465977607568183651708612\ 683076425420522221946515459422264/435595636374165853624702304851829\ 636175761139307373063796453497*c_0101_3^12 + 6209076392981133133071268765426349160928241646599961065776345415411\ 82/435595636374165853624702304851829636175761139307373063796453497*\ c_0101_3^11 - 19053095940062407222411330333414256007198395354039332\ 81209374910236950/4355956363741658536247023048518296361757611393073\ 73063796453497*c_0101_3^10 - 16479141530798496779880230395074633243\ 8007690157710261798734972101647/43559563637416585362470230485182963\ 6175761139307373063796453497*c_0101_3^9 + 7800956253088727368833872830071856222159291493781768838014054944953\ 73/435595636374165853624702304851829636175761139307373063796453497*\ c_0101_3^8 + 359759608465506139383945760780585316939947229084687801\ 28828650744859/4355956363741658536247023048518296361757611393073730\ 63796453497*c_0101_3^7 - 212379634745050730614505777081703837337285\ 392491438831040031727426405/435595636374165853624702304851829636175\ 761139307373063796453497*c_0101_3^6 - 7054409559221680631565640471786003251138178823043492877795469277119\ /435595636374165853624702304851829636175761139307373063796453497*c_\ 0101_3^5 + 34466514037599876889069069519421634379190470502541289957\ 081715523452/435595636374165853624702304851829636175761139307373063\ 796453497*c_0101_3^4 + 89999956804790667929522512423824143760072260\ 6099181837386011896440/43559563637416585362470230485182963617576113\ 9307373063796453497*c_0101_3^3 - 2910007984030607582456559795549451\ 016468126334631847126757478628485/435595636374165853624702304851829\ 636175761139307373063796453497*c_0101_3^2 - 47082102061230478213849556371965481464465306102229944389256813786/4\ 35595636374165853624702304851829636175761139307373063796453497*c_01\ 01_3 + 956868846197353906051357682429520803451537973326355940050347\ 47482/4355956363741658536247023048518296361757611393073730637964534\ 97, c_0011_3 + 124872951293297749930500826865436935939403341465721528778015\ 80192/4355956363741658536247023048518296361757611393073730637964534\ 97*c_0101_3^35 + 53624818676329565181104391858181449656093842625113\ 882570951033413/435595636374165853624702304851829636175761139307373\ 063796453497*c_0101_3^34 - 1840031467971935123867317567117142303854\ 76281663680003864937060888/4355956363741658536247023048518296361757\ 61139307373063796453497*c_0101_3^33 - 953305094851296703625665174580658103594349520977859325673904414900/\ 435595636374165853624702304851829636175761139307373063796453497*c_0\ 101_3^32 + 70525596229926419738000148365355474440148086813669293769\ 0789335088/43559563637416585362470230485182963617576113930737306379\ 6453497*c_0101_3^31 + 565244234617722935826118901275233697066724048\ 6496536547402591708629/43559563637416585362470230485182963617576113\ 9307373063796453497*c_0101_3^30 - 203581809907514940227038865882512\ 9746613380084717799872046974859048/43559563637416585362470230485182\ 9636175761139307373063796453497*c_0101_3^29 - 2074904732112547360625505949919076003879241548617162198853271592936\ 3/435595636374165853624702304851829636175761139307373063796453497*c\ _0101_3^28 + 955211994959472900864777069890019166007670708003346164\ 9079029849948/43559563637416585362470230485182963617576113930737306\ 3796453497*c_0101_3^27 + 717585059294105764791710726835154663498907\ 03302380095565248247989842/4355956363741658536247023048518296361757\ 61139307373063796453497*c_0101_3^26 - 2304156674454172039524283190205829885705982540737691121560189367516\ 6/435595636374165853624702304851829636175761139307373063796453497*c\ _0101_3^25 - 208781863281186639106970155290320912992808154601427113\ 091762450247353/435595636374165853624702304851829636175761139307373\ 063796453497*c_0101_3^24 + 2220677264740958765113677679325211798747\ 1121665575067592349151568608/43559563637416585362470230485182963617\ 5761139307373063796453497*c_0101_3^23 + 4856470250733997303280332032606436126428790245609239886885722851926\ 35/435595636374165853624702304851829636175761139307373063796453497*\ c_0101_3^22 + 19048068630363728900223599877006932808444487783577567\ 268968867844368/435595636374165853624702304851829636175761139307373\ 063796453497*c_0101_3^21 - 9868729753342098422509108355239227324747\ 95511307854895221843972848690/4355956363741658536247023048518296361\ 75761139307373063796453497*c_0101_3^20 - 1703281106247289478302016975326302640228618307037607663518033973633\ 76/435595636374165853624702304851829636175761139307373063796453497*\ c_0101_3^19 + 16656166354726361531690000502952311071340122241274654\ 52331201782610563/4355956363741658536247023048518296361757611393073\ 73063796453497*c_0101_3^18 + 44894582715380489491757703700953815016\ 3189157063142001304749537404632/43559563637416585362470230485182963\ 6175761139307373063796453497*c_0101_3^17 - 2096563919813142510042446614655180753570735748403577360828736367235\ 788/435595636374165853624702304851829636175761139307373063796453497\ *c_0101_3^16 - 5846946166196828813552247431341288307254725552203842\ 64389100056106039/4355956363741658536247023048518296361757611393073\ 73063796453497*c_0101_3^15 + 19122694952647672440027428000386411323\ 99496976379179431470923885707444/4355956363741658536247023048518296\ 36175761139307373063796453497*c_0101_3^14 + 3926082060462973401579615966560330250131226558460365035434543452333\ 61/435595636374165853624702304851829636175761139307373063796453497*\ c_0101_3^13 - 13242052789601501772497725675169986943277515287456079\ 02667020537928179/4355956363741658536247023048518296361757611393073\ 73063796453497*c_0101_3^12 - 12205290186434198570557405653836720034\ 9039764865056274474512445336375/43559563637416585362470230485182963\ 6175761139307373063796453497*c_0101_3^11 + 7207585392629089285308559592752332291487401626289311194355392489830\ 03/435595636374165853624702304851829636175761139307373063796453497*\ c_0101_3^10 + 46135587400424617011776789363322709297519503672569849\ 54470668564276/4355956363741658536247023048518296361757611393073730\ 63796453497*c_0101_3^9 - 292441966062336608454547013075590584607784\ 950546463014861828701635648/435595636374165853624702304851829636175\ 761139307373063796453497*c_0101_3^8 + 7499689620139476706403362584684836081867828164990215673767348177163\ /435595636374165853624702304851829636175761139307373063796453497*c_\ 0101_3^7 + 79391192438051808229211527698312762522243658863660767804\ 848973423075/435595636374165853624702304851829636175761139307373063\ 796453497*c_0101_3^6 - 20165923895288780038870332275615131698008679\ 02469003556557127088010/4355956363741658536247023048518296361757611\ 39307373063796453497*c_0101_3^5 - 128233598521499135105389098618584\ 67352320526119705275869288542637764/4355956363741658536247023048518\ 29636175761139307373063796453497*c_0101_3^4 + 188633209037500550004844280949231707953755506963746764728506409782/\ 435595636374165853624702304851829636175761139307373063796453497*c_0\ 101_3^3 + 106575843754119356513236271362192420601354075048026030411\ 3303146573/43559563637416585362470230485182963617576113930737306379\ 6453497*c_0101_3^2 - 3800118789268222122550516490164426620266607165\ 174376637824459420/435595636374165853624702304851829636175761139307\ 373063796453497*c_0101_3 - 3402326667514497159979349552518739666826\ 0662322689717181274968998/43559563637416585362470230485182963617576\ 1139307373063796453497, c_0011_5 - 409482583414965496077819432338188521248595414807556103526363\ 62423/4355956363741658536247023048518296361757611393073730637964534\ 97*c_0101_3^35 - 17798239075172712024634287350474299539263038751917\ 3804883559963258/43559563637416585362470230485182963617576113930737\ 3063796453497*c_0101_3^34 + 593301376459365519041413725908674549165\ 790626352520277778583895399/435595636374165853624702304851829636175\ 761139307373063796453497*c_0101_3^33 + 3153168069808131957047171824795471505250137733623701419911899767332\ /435595636374165853624702304851829636175761139307373063796453497*c_\ 0101_3^32 - 2138719420905963462040884770361802159149604501289448294\ 967731731845/435595636374165853624702304851829636175761139307373063\ 796453497*c_0101_3^31 - 1858155954163425387141633220602174667017978\ 1077882930149910392228501/43559563637416585362470230485182963617576\ 1139307373063796453497*c_0101_3^30 + 5700005841325612114142757388596035771131724676919033288216573192905\ /435595636374165853624702304851829636175761139307373063796453497*c_\ 0101_3^29 + 6798243021480847945783866171210879255220556062441221671\ 6451367516984/43559563637416585362470230485182963617576113930737306\ 3796453497*c_0101_3^28 - 278561264330103822376033693612054320764169\ 61666202092797522213441704/4355956363741658536247023048518296361757\ 61139307373063796453497*c_0101_3^27 - 2355347523506082720188453768154946249329246529010202534753146622699\ 28/435595636374165853624702304851829636175761139307373063796453497*\ c_0101_3^26 + 63394597590105985143907014426957055799102378901466370\ 671091963223591/435595636374165853624702304851829636175761139307373\ 063796453497*c_0101_3^25 + 6836125761004610394625853268618927197868\ 92186416884194842783156226849/4355956363741658536247023048518296361\ 75761139307373063796453497*c_0101_3^24 - 3829976574381580063107005368456785618260732938385547155039560851586\ 6/435595636374165853624702304851829636175761139307373063796453497*c\ _0101_3^23 - 158243374319341482742312664052547133998857566493546146\ 6763647592320111/43559563637416585362470230485182963617576113930737\ 3063796453497*c_0101_3^22 - 139125671624157047875769068474510513475\ 114474585784201874215599620900/435595636374165853624702304851829636\ 175761139307373063796453497*c_0101_3^21 + 3202851109462078099969207954247488303758336443968932151037470456071\ 582/435595636374165853624702304851829636175761139307373063796453497\ *c_0101_3^20 + 7086905173619769209040033202128077725401956324756786\ 26757854235006674/4355956363741658536247023048518296361757611393073\ 73063796453497*c_0101_3^19 - 53752089822654974936412799756661732866\ 05196201709527175803459983349133/4355956363741658536247023048518296\ 36175761139307373063796453497*c_0101_3^18 - 1711839666472886520035881358106872440148092318739356029889867328667\ 183/435595636374165853624702304851829636175761139307373063796453497\ *c_0101_3^17 + 6709982591233426560651576535949053830008224533808351\ 058369213872614108/435595636374165853624702304851829636175761139307\ 373063796453497*c_0101_3^16 + 2193137785658062932068766190216735824\ 207283542862229233850030257709281/435595636374165853624702304851829\ 636175761139307373063796453497*c_0101_3^15 - 6076883679574927849857534758802314470817515521931226037611384491496\ 042/435595636374165853624702304851829636175761139307373063796453497\ *c_0101_3^14 - 1518324787971524001775717834661484069188129099162074\ 771890940911953711/435595636374165853624702304851829636175761139307\ 373063796453497*c_0101_3^13 + 4204538506596232821211850057799218951\ 961389638660939773516899097665587/435595636374165853624702304851829\ 636175761139307373063796453497*c_0101_3^12 + 5559793790078960270284983066328184023245874993548973489553622488970\ 76/435595636374165853624702304851829636175761139307373063796453497*\ c_0101_3^11 - 22977170892518569514028418621592607466221086286770382\ 23975498033705257/4355956363741658536247023048518296361757611393073\ 73063796453497*c_0101_3^10 - 10050806135843145737962131218288313066\ 6318322986333310648672085714368/43559563637416585362470230485182963\ 6175761139307373063796453497*c_0101_3^9 + 9336087626001955694328821733547201780091671905584741920916726416052\ 58/435595636374165853624702304851829636175761139307373063796453497*\ c_0101_3^8 + 799256318392927835244683128021811960405905344429440919\ 2611877829071/43559563637416585362470230485182963617576113930737306\ 3796453497*c_0101_3^7 - 2526899696566925735367225331968809274318143\ 51828600482895619750298895/4355956363741658536247023048518296361757\ 61139307373063796453497*c_0101_3^6 - 770072674063725357706806798284363369091664156110602995899782836188/\ 435595636374165853624702304851829636175761139307373063796453497*c_0\ 101_3^5 + 406751039845086891608559750756661621459718054962269524891\ 19567650551/4355956363741658536247023048518296361757611393073730637\ 96453497*c_0101_3^4 + 225251405624694918574174256650784513388030534\ 153854641921549799364/435595636374165853624702304851829636175761139\ 307373063796453497*c_0101_3^3 - 33845337263475853639894491449885279\ 50394609875479460074335619109949/4355956363741658536247023048518296\ 36175761139307373063796453497*c_0101_3^2 - 21576650481304710071439338084234377372696124245552645058807676857/4\ 35595636374165853624702304851829636175761139307373063796453497*c_01\ 01_3 + 108810962507669629357516642427319171252812659406090986465687\ 606020/435595636374165853624702304851829636175761139307373063796453\ 497, c_0101_0 + 113931347964488923764517451304701857293291085505868887966226\ 51899/4355956363741658536247023048518296361757611393073730637964534\ 97*c_0101_3^35 + 49416238917587906386727328663780124692812239464862\ 201447300583746/435595636374165853624702304851829636175761139307373\ 063796453497*c_0101_3^34 - 1657800642192032632855148543546265319824\ 69675236204505853318834412/4355956363741658536247023048518296361757\ 61139307373063796453497*c_0101_3^33 - 876996455754750909043037182620095181108284904461360250547070050203/\ 435595636374165853624702304851829636175761139307373063796453497*c_0\ 101_3^32 + 60628173576144870485761202155559893487109407627134381428\ 7775095721/43559563637416585362470230485182963617576113930737306379\ 6453497*c_0101_3^31 + 518527889817956911626323739067188884771602121\ 0359575703594947208709/43559563637416585362470230485182963617576113\ 9307373063796453497*c_0101_3^30 - 163863520972892537916398041383696\ 1596923897324324554952156548732162/43559563637416585362470230485182\ 9636175761139307373063796453497*c_0101_3^29 - 1901836765878321235773475765372476890786510109375216383368091506059\ 2/435595636374165853624702304851829636175761139307373063796453497*c\ _0101_3^28 + 791537066408902671203702951071288006870416907139703743\ 2315108258492/43559563637416585362470230485182963617576113930737306\ 3796453497*c_0101_3^27 + 658867549780587770808950930345953800480000\ 51418061135456955153322601/4355956363741658536247023048518296361757\ 61139307373063796453497*c_0101_3^26 - 1825811479942929347281275711187676810546762521233376870526087171137\ 1/435595636374165853624702304851829636175761139307373063796453497*c\ _0101_3^25 - 191530636694244999383982896097719227753560287328567790\ 651866249149023/435595636374165853624702304851829636175761139307373\ 063796453497*c_0101_3^24 + 1226273579734104450106601932124996298770\ 6817813323782811545588691660/43559563637416585362470230485182963617\ 5761139307373063796453497*c_0101_3^23 + 4444417832029265649430105120705926993990828801106282401773712592521\ 98/435595636374165853624702304851829636175761139307373063796453497*\ c_0101_3^22 + 35927373377530566105946478030519743344835710516111551\ 160875360301237/435595636374165853624702304851829636175761139307373\ 063796453497*c_0101_3^21 - 9010294651773845306743196947813938618174\ 66820518880144641946917146070/4355956363741658536247023048518296361\ 75761139307373063796453497*c_0101_3^20 - 1931666529820470047319880528054066481294077001734392043209241496098\ 99/435595636374165853624702304851829636175761139307373063796453497*\ c_0101_3^19 + 15161356791305241814389520785395736190239576710282543\ 35310243467100974/4355956363741658536247023048518296361757611393073\ 73063796453497*c_0101_3^18 + 47338947294941873472225396010978100467\ 8330666472535314160825894449853/43559563637416585362470230485182963\ 6175761139307373063796453497*c_0101_3^17 - 1901605687602825669068182222210706540543526518133540347587397117973\ 108/435595636374165853624702304851829636175761139307373063796453497\ *c_0101_3^16 - 6138326947625078656115735851133656972744256125011338\ 27182319132861844/4355956363741658536247023048518296361757611393073\ 73063796453497*c_0101_3^15 + 17320900647254642483153233491213794292\ 92001124648111856649413089233223/4355956363741658536247023048518296\ 36175761139307373063796453497*c_0101_3^14 + 4318128783793815850852940701558298601200474936847342772421270002189\ 32/435595636374165853624702304851829636175761139307373063796453497*\ c_0101_3^13 - 12044707536715602685903411246611583211366401494361691\ 64717088639744196/4355956363741658536247023048518296361757611393073\ 73063796453497*c_0101_3^12 - 16206245928954367838774310991768247759\ 6885907796165459857930050394043/43559563637416585362470230485182963\ 6175761139307373063796453497*c_0101_3^11 + 6618578020464427009752973049116486622069692885653169330584089083588\ 54/435595636374165853624702304851829636175761139307373063796453497*\ c_0101_3^10 + 30778977072380405127168605323171461150764642306428138\ 362846642865445/435595636374165853624702304851829636175761139307373\ 063796453497*c_0101_3^9 - 27178201463376141039232325418818069950867\ 1317337909597651094822793915/43559563637416585362470230485182963617\ 5761139307373063796453497*c_0101_3^8 - 3081928079023228989331826527447966428921239165058853804516323682291\ /435595636374165853624702304851829636175761139307373063796453497*c_\ 0101_3^7 + 74955202488393395081064127008912016899725320948837591795\ 489554014793/435595636374165853624702304851829636175761139307373063\ 796453497*c_0101_3^6 + 52089126699817668301823512446319565025311519\ 9572138167736974632985/43559563637416585362470230485182963617576113\ 9307373063796453497*c_0101_3^5 - 1240662760689756030326768757614146\ 5320285101106235114423869848124869/43559563637416585362470230485182\ 9636175761139307373063796453497*c_0101_3^4 - 127637088338944513337611809279611901316115354587598818773088848806/\ 435595636374165853624702304851829636175761139307373063796453497*c_0\ 101_3^3 + 106832045783839494784523707043603449624857061053766384557\ 8573911353/43559563637416585362470230485182963617576113930737306379\ 6453497*c_0101_3^2 + 1027051218743399545940534847040960309152052412\ 2360784180689269715/43559563637416585362470230485182963617576113930\ 7373063796453497*c_0101_3 - 352339013002905980394879476910253328293\ 65767248209985967711019551/4355956363741658536247023048518296361757\ 61139307373063796453497, c_0101_1 + 304680884461830011721918000430589136390993063772578512383432\ 81923/4355956363741658536247023048518296361757611393073730637964534\ 97*c_0101_3^35 + 13460078364090357695887351711796778109499354630163\ 6223230574791392/43559563637416585362470230485182963617576113930737\ 3063796453497*c_0101_3^34 - 431820324601853753667803662238398843191\ 586044761812663979293238159/435595636374165853624702304851829636175\ 761139307373063796453497*c_0101_3^33 - 2376211816818448414203100955263825697941143624942292227139665197617\ /435595636374165853624702304851829636175761139307373063796453497*c_\ 0101_3^32 + 1423742253814802417252936009353795821931647502746639419\ 148532394490/435595636374165853624702304851829636175761139307373063\ 796453497*c_0101_3^31 + 1391687042999427613370637161676794275204835\ 9314503826850903691108263/43559563637416585362470230485182963617576\ 1139307373063796453497*c_0101_3^30 - 3287711616747107701981283668520068208681239143590495208721345427861\ /435595636374165853624702304851829636175761139307373063796453497*c_\ 0101_3^29 - 5077815437769255362884761075825352118112193737281561155\ 5071578975608/43559563637416585362470230485182963617576113930737306\ 3796453497*c_0101_3^28 + 173309105131048607025313192364107293706658\ 85039858217471297715319442/4355956363741658536247023048518296361757\ 61139307373063796453497*c_0101_3^27 + 1763812900173845581129635271836492135647619378592733460752784886583\ 77/435595636374165853624702304851829636175761139307373063796453497*\ c_0101_3^26 - 35382247806504012517871811931991256761577616569155558\ 660274620425727/435595636374165853624702304851829636175761139307373\ 063796453497*c_0101_3^25 - 5106973959478100695017733625072201009930\ 88055751279008731661910627281/4355956363741658536247023048518296361\ 75761139307373063796453497*c_0101_3^24 - 5142114012326508608899210493110896916067792398152136036187484512444\ /435595636374165853624702304851829636175761139307373063796453497*c_\ 0101_3^23 + 1176009999805737814816715173714768427647795832381498459\ 274489265611176/435595636374165853624702304851829636175761139307373\ 063796453497*c_0101_3^22 + 1793389130401974758467286145467366383635\ 74613741933467596428462888007/4355956363741658536247023048518296361\ 75761139307373063796453497*c_0101_3^21 - 2369464113864249746758818219218121268295822529230198730540416712105\ 628/435595636374165853624702304851829636175761139307373063796453497\ *c_0101_3^20 - 6780387696822527000414687129738477051319867313669499\ 25669949298783351/4355956363741658536247023048518296361757611393073\ 73063796453497*c_0101_3^19 + 39520729741741402309869631496924324939\ 42568651711227761810972925179907/4355956363741658536247023048518296\ 36175761139307373063796453497*c_0101_3^18 + 1519053687586633040069292517531675644415834745910252591303525929207\ 367/435595636374165853624702304851829636175761139307373063796453497\ *c_0101_3^17 - 4892056644309044981970548740913093146643503916647616\ 555798239453569209/435595636374165853624702304851829636175761139307\ 373063796453497*c_0101_3^16 - 1921258709667738760691043022525716231\ 169922045073303393549611742572743/435595636374165853624702304851829\ 636175761139307373063796453497*c_0101_3^15 + 4404851112390566068612689893492041984666067867948917042191026441807\ 624/435595636374165853624702304851829636175761139307373063796453497\ *c_0101_3^14 + 1374531182619713392096805941339876976427309666049241\ 028510275779028246/435595636374165853624702304851829636175761139307\ 373063796453497*c_0101_3^13 - 3055755098036508829232276129647895666\ 364627774718604335723282307856033/435595636374165853624702304851829\ 636175761139307373063796453497*c_0101_3^12 - 5741595580270262814401456036548331058772095696381629936848552671832\ 89/435595636374165853624702304851829636175761139307373063796453497*\ c_0101_3^11 + 16849280627265090784350429756643048481803925513180560\ 66679370737535106/4355956363741658536247023048518296361757611393073\ 73063796453497*c_0101_3^10 + 15793789171054552921992493519525766898\ 6230711879131916485415399695439/43559563637416585362470230485182963\ 6175761139307373063796453497*c_0101_3^9 - 6891579674245055973195768437738465216967653234657388183394629860190\ 00/435595636374165853624702304851829636175761139307373063796453497*\ c_0101_3^8 - 360353673279703616367589284687592088139354389389566607\ 01004185208158/4355956363741658536247023048518296361757611393073730\ 63796453497*c_0101_3^7 + 187049050801347401383613129225734661536356\ 928612914819794203393893935/435595636374165853624702304851829636175\ 761139307373063796453497*c_0101_3^6 + 7053317313549915224242115414564097282481981774219167741581789057699\ /435595636374165853624702304851829636175761139307373063796453497*c_\ 0101_3^5 - 30222157475725307316541134446647854861295407387471922450\ 190660965074/435595636374165853624702304851829636175761139307373063\ 796453497*c_0101_3^4 - 86687603420808004503918056144432060734751395\ 1681092688252775986117/43559563637416585362470230485182963617576113\ 9307373063796453497*c_0101_3^3 + 2538753653303608388933983129138452\ 805634007156260549543997459228648/435595636374165853624702304851829\ 636175761139307373063796453497*c_0101_3^2 + 43643483348386124834492803837521797350904965985203202937127042208/4\ 35595636374165853624702304851829636175761139307373063796453497*c_01\ 01_3 - 827639938540314497584609832515565571150377020467560680634367\ 13793/4355956363741658536247023048518296361757611393073730637964534\ 97, c_0101_3^36 + 4*c_0101_3^35 - 16*c_0101_3^34 - 72*c_0101_3^33 + 79*c_0101_3^32 + 436*c_0101_3^31 - 297*c_0101_3^30 - 1614*c_0101_3^29 + 1258*c_0101_3^28 + 5524*c_0101_3^27 - 3551*c_0101_3^26 - 16184*c_0101_3^25 + 6750*c_0101_3^24 + 38398*c_0101_3^23 - 10062*c_0101_3^22 - 79585*c_0101_3^21 + 9926*c_0101_3^20 + 137672*c_0101_3^19 - 3890*c_0101_3^18 - 179081*c_0101_3^17 + 3503*c_0101_3^16 + 167957*c_0101_3^15 - 14673*c_0101_3^14 - 116483*c_0101_3^13 + 22343*c_0101_3^12 + 61463*c_0101_3^11 - 17279*c_0101_3^10 - 23968*c_0101_3^9 + 7883*c_0101_3^8 + 6353*c_0101_3^7 - 2190*c_0101_3^6 - 1027*c_0101_3^5 + 355*c_0101_3^4 + 88*c_0101_3^3 - 30*c_0101_3^2 - 3*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB