Magma V2.19-8 Tue Aug 20 2013 16:15:55 on localhost [Seed = 1713896029] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0149 geometric_solution 3.64385962 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.479603381766 0.016534783875 2 0 2 0 0132 2310 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.437815765641 0.055264176703 1 3 1 3 0132 0132 1023 2310 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 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4.605497976959 2.262183549734 2 2 4 4 3201 0132 3201 0132 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 0 1 -1 -1 0 1 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.328993955999 0.238649314284 3 5 3 6 2310 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -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 0 1 -1 0 0 0 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.991960246724 0.507882369713 6 4 6 6 3120 0132 3012 1230 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 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.993650367612 1.003125564425 5 5 4 5 3012 1230 0132 3120 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 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.993650367612 1.003125564425 ==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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), '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_4']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], '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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_4']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 1369077808076562961778381498055694404783178522204931437839516361917\ 0920440288992779/62994293329619434980772594275364638798180995097757\ 96620390907409085123777356165*c_0101_4^31 - 5063961050006322650362948698301513566057670086089756740692225613133\ 9595464500862024/62994293329619434980772594275364638798180995097757\ 96620390907409085123777356165*c_0101_4^30 - 1083103835556772745039411214667335111011613514144991919287588325822\ 310176429134125994/629942933296194349807725942753646387981809950977\ 5796620390907409085123777356165*c_0101_4^29 + 1979986261746246216443097599639512369293636862565729153048483129648\ 1234143324671978/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^28 + 5017264645173603164267378339583229036887887272441653273827697289892\ 385610855012466927/125988586659238869961545188550729277596361990195\ 5159324078181481817024755471233*c_0101_4^27 - 6074044008873014326365818405440223148727645946921799400370168405001\ 1882871328918750961/62994293329619434980772594275364638798180995097\ 75796620390907409085123777356165*c_0101_4^26 - 4085492893204673526091647116149755154996310068665549093837019656035\ 8485368237949882550/12598858665923886996154518855072927759636199019\ 55159324078181481817024755471233*c_0101_4^25 + 5337181281563076617802070922114129411184139729007360127038679146654\ 61385504208077892427/6299429332961943498077259427536463879818099509\ 775796620390907409085123777356165*c_0101_4^24 + 1692601580766452537939661928038290478157026261236385290683490829622\ 73449502316795239216/1259885866592388699615451885507292775963619901\ 955159324078181481817024755471233*c_0101_4^23 - 2504742183430675022416183602640357920828771074528287316864627889315\ 572998382111591368864/629942933296194349807725942753646387981809950\ 9775796620390907409085123777356165*c_0101_4^22 - 2126209487938408520520226127931603950746902954576076239590393084757\ 358091953843131895987/629942933296194349807725942753646387981809950\ 9775796620390907409085123777356165*c_0101_4^21 + 1370746901714644991640465839429256955347796884389807259907685883530\ 654085401805491158253/125988586659238869961545188550729277596361990\ 1955159324078181481817024755471233*c_0101_4^20 + 3856402844339774130440033176040670478703062036677844332481776794582\ 605564585521405670572/629942933296194349807725942753646387981809950\ 9775796620390907409085123777356165*c_0101_4^19 - 1100561786043224272097174291700187181112170089080901606376162696583\ 0361036368620854487673/62994293329619434980772594275364638798180995\ 09775796620390907409085123777356165*c_0101_4^18 - 1297825692993992378748666028682200208861071338746940834152961403775\ 909172024088111022072/125988586659238869961545188550729277596361990\ 1955159324078181481817024755471233*c_0101_4^17 + 1759358364763167680003866280914891784083873997077204246257981643082\ 397654755076489660555/125988586659238869961545188550729277596361990\ 1955159324078181481817024755471233*c_0101_4^16 + 2257089833482184505587395258372996237639295917149146919947711547121\ 974854506167437677271/125988586659238869961545188550729277596361990\ 1955159324078181481817024755471233*c_0101_4^15 + 1278386717754215562452907751762827031503145572534830550385040775026\ 211876762783819730249/629942933296194349807725942753646387981809950\ 9775796620390907409085123777356165*c_0101_4^14 - 1693900825396190137539550465070121484137365169977955684826959946761\ 6654221407432629620013/62994293329619434980772594275364638798180995\ 09775796620390907409085123777356165*c_0101_4^13 - 1086754637540486542082662579524181526600458557309667939930321776477\ 5449657368739732812218/62994293329619434980772594275364638798180995\ 09775796620390907409085123777356165*c_0101_4^12 + 1848957391364835824818380827534059573914031063955211189278218933324\ 0077407283036649672856/62994293329619434980772594275364638798180995\ 09775796620390907409085123777356165*c_0101_4^11 + 1184036169106493594164983039111203549507098299003311425749163529599\ 3309369917603727024711/62994293329619434980772594275364638798180995\ 09775796620390907409085123777356165*c_0101_4^10 - 2719897022761660944044073385549628062902121765361027982176610792846\ 993193105171730805252/125988586659238869961545188550729277596361990\ 1955159324078181481817024755471233*c_0101_4^9 - 6534766962639239506323818055953841325366510743691610205404891334083\ 737621235768832829987/629942933296194349807725942753646387981809950\ 9775796620390907409085123777356165*c_0101_4^8 + 6403131375495170020343823839633026133747786407857540124291577178396\ 915970449474118166554/629942933296194349807725942753646387981809950\ 9775796620390907409085123777356165*c_0101_4^7 + 1890812653743573597722859205476828794674697124696475969209191571710\ 769995204134353988969/629942933296194349807725942753646387981809950\ 9775796620390907409085123777356165*c_0101_4^6 - 1790747575813704886937899666003615239102901762422260666982976207409\ 595422487513507704431/629942933296194349807725942753646387981809950\ 9775796620390907409085123777356165*c_0101_4^5 - 4390497753768007728851609781368176168620885367546862653980665883585\ 8432011107380436174/12598858665923886996154518855072927759636199019\ 55159324078181481817024755471233*c_0101_4^4 + 5141998002073969698713415951600648560977476791681108124272878736329\ 1786061917329663818/12598858665923886996154518855072927759636199019\ 55159324078181481817024755471233*c_0101_4^3 - 5155105844819153474183919519728940055921265715601989298931836132625\ 270272177200409487/629942933296194349807725942753646387981809950977\ 5796620390907409085123777356165*c_0101_4^2 - 1299891892768713351102812859719657163148665599521256958927445913446\ 3376024938086351757/62994293329619434980772594275364638798180995097\ 75796620390907409085123777356165*c_0101_4 + 1402860565930307281844243219331824264402717794958489419497192239156\ 887651758948476428/629942933296194349807725942753646387981809950977\ 5796620390907409085123777356165, c_0011_0 - 1, c_0011_1 - 826376479491468623555578892157730780847995300783104193544048\ 0471311566298097/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^31 + 2460807863943269650252497106326409047130661473560295400364307988864\ 8464604192/40641479567496409665014576951848154063342577482424494325\ 102628445710475982943*c_0101_4^30 + 6822001855375329631629432366121263958852634412352341397030150167061\ 32249940983/4064147956749640966501457695184815406334257748242449432\ 5102628445710475982943*c_0101_4^29 - 1411560039456989309992897642448692457175342504992637591200185870733\ 717798511030/406414795674964096650145769518481540633425774824244943\ 25102628445710475982943*c_0101_4^28 - 1695184652742762466261728989007775536624664164866705501419394455238\ 1877266498120/40641479567496409665014576951848154063342577482424494\ 325102628445710475982943*c_0101_4^27 + 2768502615574368664427377982159684997239459292426511698662439126064\ 5617601452417/40641479567496409665014576951848154063342577482424494\ 325102628445710475982943*c_0101_4^26 + 1594154515664501165414857459708957302509291271622019440769460484297\ 64830583512371/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^25 - 2719853248462365839218931023811886698782542224621443245164105751119\ 86207252358045/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^24 - 7977643267877313644256785992089337625708246223645336755167359220762\ 05726365935524/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^23 + 1452097368620353442396874019577104410111662711772690780687886872366\ 412494974319080/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^22 + 2443573699168842786039299737337814021662860658792194492316200945051\ 349024114437083/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^21 - 4464773280594831262713065097956002934993557202092603710433502667548\ 849995296758350/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^20 - 4980870838404000837469956345019922590547816299437641640214900870773\ 632808762757425/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^19 + 7851244423075453821441028394898468740073857702147622822066732754391\ 217186071355991/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^18 + 7458006070570710820212393329055685597960787664772505943701919652675\ 595671298540250/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^17 - 6383375367148092772387868884864936820368965296801069355824829581295\ 491015924684557/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^16 - 9559147248378708278401404918777197867623220440020003449035182770163\ 922378352078704/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^15 - 2610346573415369140454992145020424767869229230537647815228469862152\ 381696259226316/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^14 + 1173917125872611568515222635766352502600378989070229787757501342466\ 8895963562178544/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^13 + 1226298055762369039061603150805977621068417709388151035846069155715\ 1541064303260596/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^12 - 1270426634429382344390325591283708882106521006753627749206404429844\ 4582982904402353/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^11 - 1364431497539555461078633012541799808576810811914656377258726699806\ 0343599524945680/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^10 + 1023496065741665874719420837327578866115841656512137567686308429804\ 6415680381736365/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^9 + 7873810151839172095791144010212584296177968986455687113864542338152\ 524914827710588/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^8 - 5427057926199607793080611998855226315499233596297781418447796440881\ 581280038335246/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^7 - 2391406306917698197825423336706788455501230006396237531091764038946\ 506583720237702/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^6 + 1706374700848922130751103439982880650058944689495231855983138643134\ 898571660754682/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^5 + 2976321384478146813569328771540257902356880159757014209406843234255\ 95565434427095/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^4 - 2707627063258132116254263168772874520416000773129885170308564438847\ 46541403069969/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^3 + 3629111561383621960764172647859786139257673682836148256223501023006\ 628212054562/406414795674964096650145769518481540633425774824244943\ 25102628445710475982943*c_0101_4^2 + 1461175258700067099938655759003080977330808785730834466317271521522\ 8963803785210/40641479567496409665014576951848154063342577482424494\ 325102628445710475982943*c_0101_4 - 1633244336585265180886728953412981370385312897291159901891864154206\ 918626574890/406414795674964096650145769518481540633425774824244943\ 25102628445710475982943, c_0011_4 - 245945036334320309864091527907778296222454988556817785526499\ 91853406562178883/4064147956749640966501457695184815406334257748242\ 4494325102628445710475982943*c_0101_4^31 + 9599957537037533842280343614615804151226455153487527342062623290600\ 9072127732/40641479567496409665014576951848154063342577482424494325\ 102628445710475982943*c_0101_4^30 + 1922022174519674434786443554753633335774185780755681878913218561266\ 296841732644/406414795674964096650145769518481540633425774824244943\ 25102628445710475982943*c_0101_4^29 - 5886568053750052883234385722515576383020741323367973442717159873949\ 525009138660/406414795674964096650145769518481540633425774824244943\ 25102628445710475982943*c_0101_4^28 - 4356261301851033589642100835774219676770081089266535872757118446797\ 3986244316898/40641479567496409665014576951848154063342577482424494\ 325102628445710475982943*c_0101_4^27 + 1167718944537646375734587040751741804425558534859306348112717699413\ 53502327375061/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^26 + 3370510390515950972788817516509585288911013870713439632467183298781\ 20835697181609/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^25 - 1002781251791623267601303836294333892112932148599186795593977828252\ 288474279958929/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^24 - 1282799648910728985696871311428470085115640710273982924766645561379\ 948231019355355/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^23 + 4565724250100157543264500123811750520372286147167363562327978417491\ 881322622195613/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^22 + 2857391445688150575102125689477018086876018706351609076902022178485\ 423785828891600/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^21 - 1211385054979050024139061932705538473905340075774209115463481659386\ 7084851349120921/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^20 - 4713542680270569131172430582387038902542283507562770035652556528317\ 730847787874134/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^19 + 1897307668877433619502321249851032145690755672263160044370128233729\ 7098545983766470/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^18 + 8664856570707142194849137037030865009387072889171830045412293948408\ 175363329864766/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^17 - 1525911717526730730115984198844246570435438342817461443972795645717\ 1636120685421957/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^16 - 1793710161004213848626387489230433905787265641595437803741861961852\ 7348720981301386/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^15 - 4301376407427198885267278215792481830707530758873648129743532614224\ 44216524855776/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^14 + 2930734347851102660781057865821643445837127178385962957220008443264\ 3978985033407420/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^13 + 1462050037692673820277490197013539320004765840844035049059894604247\ 7389804705536450/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^12 - 3241899788298781995335990206654005566876560321861649475967248880596\ 2324273883097772/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^11 - 1583940145611788072675288434468739478812412819298529683925569507133\ 4566732612633044/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^10 + 2340632086670825701039678241690787460960715937104782546053734736331\ 2481408015765420/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^9 + 8434467641187242861015487857086186308916285672603680582198943897706\ 384459920841474/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^8 - 1068500497951341946011274882096726167019794427695253797180702790913\ 6863321115275080/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^7 - 2295906478562010301243180202957040299385798938552232960685717317860\ 790519068349124/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^6 + 2888756291736026123874242966252963436218351963611487780023527987780\ 116132358834733/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^5 + 2221202068856473966856729982139122771149102898061808517896094505372\ 19075221684031/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^4 - 4029349145940280808596278074623583572514564242215272199300776575590\ 96043700812211/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^3 + 1643058602620127343571341599303430589181691809582156808209686525632\ 9508114278344/40641479567496409665014576951848154063342577482424494\ 325102628445710475982943*c_0101_4^2 + 2011506692121024015220079145114415195376316136905031770852673648343\ 0930603489775/40641479567496409665014576951848154063342577482424494\ 325102628445710475982943*c_0101_4 - 2328863671371149834727045871787291126874006112732839678265235269523\ 745310516411/406414795674964096650145769518481540633425774824244943\ 25102628445710475982943, c_0011_6 + 565593480016850726742992386373694688382444565062040339435517\ 2523953965024506/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^31 - 3935723847186073849601923973895648260895281366392304597194040143650\ 4140261802/40641479567496409665014576951848154063342577482424494325\ 102628445710475982943*c_0101_4^30 - 3597549366083734628131571308917534118159498641894784138255205783015\ 97521299282/4064147956749640966501457695184815406334257748242449432\ 5102628445710475982943*c_0101_4^29 + 2633199536528426011329919525615310972520073496614769701039719919641\ 717618829412/406414795674964096650145769518481540633425774824244943\ 25102628445710475982943*c_0101_4^28 + 4788382151348788949709570799632612330552914649329772539507465970861\ 492363458360/406414795674964096650145769518481540633425774824244943\ 25102628445710475982943*c_0101_4^27 - 5294150982864816290672023347305589436640498948567059626109394452850\ 9168732936636/40641479567496409665014576951848154063342577482424494\ 325102628445710475982943*c_0101_4^26 + 2675406175966857609508915883308796285624688164423543171696881929652\ 8231442290937/40641479567496409665014576951848154063342577482424494\ 325102628445710475982943*c_0101_4^25 + 3771880532420317225993167824736067007628580173995923663861884930820\ 76119411593003/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^24 - 5327486940112799266873441158216172928087522731518538824727160993845\ 93383326521853/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^23 - 1235065434963102635734112963685195741260621862977623523138368869170\ 690270690814538/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^22 + 2689279997182374918334851981035808315104402581229711079726519782383\ 160196429991873/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^21 + 1899802558601375011726434072351624782220916987085893817389694348866\ 044224224874710/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^20 - 6578629426748734747800574549326271527877266178782089264228727659370\ 789461164709444/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^19 - 1053260697468865928293215246746082901704496642462375347005676328226\ 231930959684083/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^18 + 8275243239892277453202843078300249538297978854719521852047820958871\ 431064375605717/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^17 + 7170796387822916128215476607351204137519097272606959612810062002432\ 17722454435885/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^16 - 3883771696802145077901753546415000813368926912749863552038843704217\ 045486883096696/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^15 - 5504986145228479203411306139541725841811005520612477447237242320971\ 941793164434310/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^14 - 2431545965384779740278395369437134411709765407666692179405955952226\ 456011714287863/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^13 + 1324714817017365073001247496702412197980180256951271345320919651115\ 9650492914402246/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^12 + 3393301565430274164341760787523743435525858097559851017487605185804\ 207094034471132/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^11 - 1517399561584210000994687056601089596835619630612220833561798792329\ 9491163690393119/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^10 - 1264409815536106875008560965286320400641020889089496110163154027175\ 74967415482877/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^9 + 9499257040099650184056329085910574147149432621339916602554828239662\ 426476186014278/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^8 - 1598902560325462183577063277933056109780778412511561767862273146734\ 103200861630850/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^7 - 3187861327449576742611524669418246616349592281315819903533719862919\ 347427730603291/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^6 + 9544380167009102986853078100130644571066488863763296422075233338196\ 17599025456173/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^5 + 4796381280395059839090271663072582744077276112814618859020208849231\ 92668067079622/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^4 - 2038676940719671676298183627940091295020925014789930332587124491111\ 58080654066378/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^3 - 1363000874819592151899385906008079123387213578550617203764850288316\ 4403960193181/40641479567496409665014576951848154063342577482424494\ 325102628445710475982943*c_0101_4^2 + 1253072390567540258921330759938459193806496221150041726900535455912\ 3567098902795/40641479567496409665014576951848154063342577482424494\ 325102628445710475982943*c_0101_4 - 1099329825552381625195509041715754412884272511546635635558239861600\ 367875840233/406414795674964096650145769518481540633425774824244943\ 25102628445710475982943, c_0101_0 - 460756678805009191674985931487787172419961783774946189893766\ 8657649515969823/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^31 + 7043939102973788865382444595174384710784092704032127214637566061978\ 928309460/406414795674964096650145769518481540633425774824244943251\ 02628445710475982943*c_0101_4^30 + 4130656750272789579854818845103526484102865846028568159797650521369\ 93735610954/4064147956749640966501457695184815406334257748242449432\ 5102628445710475982943*c_0101_4^29 - 2962627385037530197893671758528965317237436838877331306722659535435\ 38600334791/4064147956749640966501457695184815406334257748242449432\ 5102628445710475982943*c_0101_4^28 - 1154394183268962865078431153690337360617941566856306692162784002524\ 2502903499661/40641479567496409665014576951848154063342577482424494\ 325102628445710475982943*c_0101_4^27 + 5575825702017384512096369757201533046933245487776138382491225665667\ 651122836542/406414795674964096650145769518481540633425774824244943\ 25102628445710475982943*c_0101_4^26 + 1307854729753843296400206063229670194395190488855927510293085598707\ 88141556197516/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^25 - 9935501394626539977791044569652931617532884169222977016980107843029\ 3556025434893/40641479567496409665014576951848154063342577482424494\ 325102628445710475982943*c_0101_4^24 - 7769110664726227185580928872625915620493181144473036175877899256839\ 35192979766381/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^23 + 7752628066150081382226730414406552826413609460322549105596296239260\ 88162778411418/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^22 + 2699882419470212890329872268813073130321964677171335117605442272168\ 038559013059279/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^21 - 2998061813657184851914777834680109143209020250135278874407747800788\ 235694235107593/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^20 - 5825338310490296614474460926526394317478571244148655879992330798620\ 170910267779767/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^19 + 6080463423864017751856811032093196976490278382249299108228488080448\ 295762344472138/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^18 + 8243273431615259547674652142301829936141095926306315099075017358310\ 519963998925660/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^17 - 5249146610303689057330487290938225353229279056125549240477662941098\ 566074981570726/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^16 - 8644299195716866041720484402232013693539702135065920889890519208226\ 209679866417342/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^15 - 3220493586395167850332038062391112522299883685496181437422861153510\ 092998198588279/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^14 + 8756871660226104831181214924257392278792400849256439977985079085878\ 026821917005403/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^13 + 1338105725209467057263521435355949137147854762664295587918180795622\ 5473061300923612/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^12 - 9599790047081441942459344696788199941206667212195788891792818072340\ 471862743189132/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^11 - 1531873055566199718311832951923197526756033316800315422031941963479\ 7238601570704695/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^10 + 8727458732618656827766799257009589471121722414400202438800235417447\ 619271482807129/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^9 + 9140982404502100700775890610291166068398730128815736571161101810783\ 141205256875819/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^8 - 5203959967204207546695714009399803981214083695127491681313641277001\ 084735488256855/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^7 - 2875325189015358351058953059843327915171775623408515400574507594676\ 304044192024243/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^6 + 1786008213900066600894582228407427920205307789367391522181315603457\ 401344329443665/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^5 + 3790142460808655090826480418205858132414847238590408748452128488233\ 99644371779097/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^4 - 2993409673303450073515388621012336143259513968949128239221612223622\ 03402192081498/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^3 + 6873336558072994036063846019432294270896880716055229679179732067621\ 00602875211/4064147956749640966501457695184815406334257748242449432\ 5102628445710475982943*c_0101_4^2 + 1649548706194887829066110710479970941159605505079280855158100676055\ 8350434265740/40641479567496409665014576951848154063342577482424494\ 325102628445710475982943*c_0101_4 - 1810348925120280220088070282134648311048425536140346926768378905256\ 890847481977/406414795674964096650145769518481540633425774824244943\ 25102628445710475982943, c_0101_1 + 217631623661182201848073648576129145985894678581567418709635\ 97586779662306504/4064147956749640966501457695184815406334257748242\ 4494325102628445710475982943*c_0101_4^31 - 7361937677733398112971529526166254713020980280032558782157256510070\ 8174185744/40641479567496409665014576951848154063342577482424494325\ 102628445710475982943*c_0101_4^30 - 1754779276343398014735477864283028952848931718619807516223881515516\ 476236678604/406414795674964096650145769518481540633425774824244943\ 25102628445710475982943*c_0101_4^29 + 4370291299777544996559573233954035279344466867088541738310245348307\ 265703130882/406414795674964096650145769518481540633425774824244943\ 25102628445710475982943*c_0101_4^28 + 4198503332627518211005682941164525472125486928509503488006692905438\ 1995586354809/40641479567496409665014576951848154063342577482424494\ 325102628445710475982943*c_0101_4^27 - 8623533262207463696274090983398165177004420015386388949493726559819\ 7088307676662/40641479567496409665014576951848154063342577482424494\ 325102628445710475982943*c_0101_4^26 - 3668444792446924401906901593979188666400865783567707330208723957923\ 42993163018793/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^25 + 7914215459442382901543053286855758267828461608034303941141405232734\ 57034566462815/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^24 + 1680304529632132050537190364391413519751945402153779157543451296838\ 517616726228258/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^23 - 3921384641926242508172338230783859881131652008575976982970492881665\ 780298349722446/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^22 - 4735517935556423768125073790516064563506947778517280980083957340265\ 675271535063263/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^21 + 1131733801133924827801154906959720886536780289532229782540605345345\ 2056612482432722/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^20 + 9232920284272833652739181578658786012740595360121031438544529580979\ 830890207206586/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^19 - 1901391036124744166662959890463775268639796623157367913249898566403\ 2796980180475680/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^18 - 1446501982389987174245374754729038505935166568638884636964058532149\ 5128384265078958/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^17 + 1541910973051189943796418824606283352376487812071620838908379717341\ 9441715085250985/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^16 + 2119843281556684796322723634736297372661927649811295018491108107311\ 8011235480465111/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^15 + 4016395359586801756113976610243712704049417405723715400160799240208\ 352801185556826/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^14 - 2884086659840699158052080810282735595671962372550516723510150755035\ 6861234744804067/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^13 - 2390957187945131615019049630164391435260728170253788754950090126493\ 1931170960958063/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^12 + 3146096697608900705396096872033517456221088534727810202938259891716\ 6886798524908187/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^11 + 2650608846587841195067403458063883989036337073525700102000843256910\ 5045555888344846/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^10 - 2428228220160287588835352172757545285817870125247443560093983740995\ 1376210084869787/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^9 - 1507594845220790083354657125071804858749181665771861220671847518515\ 9371789692666632/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^8 + 1220145639450224796618206612378895290381681869393947581012868279731\ 6860970640209450/40641479567496409665014576951848154063342577482424\ 494325102628445710475982943*c_0101_4^7 + 4506776869600912756977004088100321760115948511884289035976701487756\ 537218404008745/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^6 - 3651478568511659534924850382021138833334497969031532765416511210879\ 784902314066182/406414795674964096650145769518481540633425774824244\ 94325102628445710475982943*c_0101_4^5 - 5484469973818793525010958398938851997526054393515629613408096653355\ 92801102597972/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^4 + 5572197436762771316985346179372596441192392754656503248492560685433\ 61205569653806/4064147956749640966501457695184815406334257748242449\ 4325102628445710475982943*c_0101_4^3 - 8852623766237712107189822369234307071084248058992581926410020708984\ 471367655163/406414795674964096650145769518481540633425774824244943\ 25102628445710475982943*c_0101_4^2 - 2940352874005614795054945226847510714430975669999542948874600626561\ 9929033087156/40641479567496409665014576951848154063342577482424494\ 325102628445710475982943*c_0101_4 + 3225978208380022853400828604387940418666921818220747896530642319822\ 927622479743/406414795674964096650145769518481540633425774824244943\ 25102628445710475982943, c_0101_4^32 - 4*c_0101_4^31 - 78*c_0101_4^30 + 248*c_0101_4^29 + 1765*c_0101_4^28 - 4989*c_0101_4^27 - 13588*c_0101_4^26 + 43488*c_0101_4^25 + 50101*c_0101_4^24 - 201656*c_0101_4^23 - 100295*c_0101_4^22 + 547769*c_0101_4^21 + 131088*c_0101_4^20 - 889691*c_0101_4^19 - 232134*c_0101_4^18 + 786755*c_0101_4^17 + 631345*c_0101_4^16 - 155989*c_0101_4^15 - 1266725*c_0101_4^14 - 421231*c_0101_4^13 + 1591870*c_0101_4^12 + 459087*c_0101_4^11 - 1256257*c_0101_4^10 - 179083*c_0101_4^9 + 613100*c_0101_4^8 - 2337*c_0101_4^7 - 173062*c_0101_4^6 + 23287*c_0101_4^5 + 23755*c_0101_4^4 - 6038*c_0101_4^3 - 849*c_0101_4^2 + 391*c_0101_4 - 31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB