Magma V2.19-8 Tue Aug 20 2013 16:18:07 on localhost [Seed = 2429619285] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2337 geometric_solution 5.72174490 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 -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.348331512139 0.565149742902 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 -1 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.639806978592 0.995517241142 1 3 0 4 1230 0132 0132 3201 0 0 0 0 0 0 -1 1 1 0 0 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0.639806978592 0.995517241142 1 2 5 5 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.295328335249 1.553223965053 6 2 6 1 0132 2310 2310 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.140465878489 1.549612678601 3 5 5 3 3201 1230 3012 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.238367993455 0.420764653242 4 4 6 6 0132 3201 2031 1302 0 0 0 0 0 -1 0 1 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.423805348567 0.133327589488 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_1'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_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_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), '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_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 5324959730988067517359907539434143887038432997088898638725093961574\ 4195856431687/26022403472737246822144955964382233117859194515795342\ 76639462134512713073739*c_0101_4^29 + 1179101221463715355618931881878373659101247910002732303344332262332\ 8510931108684/44866212884029735900249924076521091582515852613440246\ 1489562436984950529955*c_0101_4^28 - 7187924339078362106184692631250096087183356420478537923490045236184\ 132415323119892/130112017363686234110724779821911165589295972578976\ 71383197310672563565368695*c_0101_4^27 + 1206009958623847504551700215647647071145232566632537268670644134324\ 857279782144797/130112017363686234110724779821911165589295972578976\ 71383197310672563565368695*c_0101_4^26 + 6974124827757051333201901205980922181834917067280806815232779882716\ 5995980371513094/13011201736368623411072477982191116558929597257897\ 671383197310672563565368695*c_0101_4^25 - 1168668830314842488997361568725070361606832774304700450192615066195\ 18641688462950353/1301120173636862341107247798219111655892959725789\ 7671383197310672563565368695*c_0101_4^24 - 3005182731388136816809089959010137677065686814159753985170252273316\ 25770519551791251/1301120173636862341107247798219111655892959725789\ 7671383197310672563565368695*c_0101_4^23 + 9631726686283840457885244296049145132210780283408903503154472759923\ 99775702842562511/1301120173636862341107247798219111655892959725789\ 7671383197310672563565368695*c_0101_4^22 + 1164824974648527829247474080864469741835582961322063136705798653524\ 115460015666967869/130112017363686234110724779821911165589295972578\ 97671383197310672563565368695*c_0101_4^21 - 1080653021669916570261434180141818727595611769419113011485485944546\ 78433808853847844/4486621288402973590024992407652109158251585261344\ 02461489562436984950529955*c_0101_4^20 - 6175853259662203226270613705977235365602834858534389133475932523513\ 495578514860595437/130112017363686234110724779821911165589295972578\ 97671383197310672563565368695*c_0101_4^19 + 4775621425229920713022970944117953231546277872287125782887001532285\ 270761094337584723/130112017363686234110724779821911165589295972578\ 97671383197310672563565368695*c_0101_4^18 + 1750583622161323834460467800434349355533818735684932201832698829186\ 1525581338247795634/13011201736368623411072477982191116558929597257\ 897671383197310672563565368695*c_0101_4^17 + 2657917246054102954120114605886165101565830595531637115988366539394\ 69430422691071203/2602240347273724682214495596438223311785919451579\ 534276639462134512713073739*c_0101_4^16 - 4305966337199045264398791899991465822911782798395076674310855660010\ 699498297217669964/260224034727372468221449559643822331178591945157\ 9534276639462134512713073739*c_0101_4^15 - 1459478796554168517230320591204211234772637075574221937680853064699\ 0318332983286226586/13011201736368623411072477982191116558929597257\ 897671383197310672563565368695*c_0101_4^14 + 8188279019317486246019529741839910688226750676960400966057249584306\ 043832857429616571/130112017363686234110724779821911165589295972578\ 97671383197310672563565368695*c_0101_4^13 + 1504417553845995774468738396724056657599686840674439339191467756226\ 9221651766785409977/13011201736368623411072477982191116558929597257\ 897671383197310672563565368695*c_0101_4^12 + 3212143378021354684020975677807363412344326250113856018766484216844\ 339564218883403472/130112017363686234110724779821911165589295972578\ 97671383197310672563565368695*c_0101_4^11 - 8111991030412276796086724309774589613932301747317224603320758430545\ 92061217962074072/2602240347273724682214495596438223311785919451579\ 534276639462134512713073739*c_0101_4^10 - 1953446400928574513764655740956727045302575721830446921041112625239\ 443249583766448533/130112017363686234110724779821911165589295972578\ 97671383197310672563565368695*c_0101_4^9 - 4646866205414920890009388102065700693392069200261214006898385123650\ 85713895833500387/1301120173636862341107247798219111655892959725789\ 7671383197310672563565368695*c_0101_4^8 - 3822487730146184421982748066976779673042416191997439459486096243172\ 80612388000400803/1301120173636862341107247798219111655892959725789\ 7671383197310672563565368695*c_0101_4^7 - 8843186161492312825270916559693313846140212474918454562507803747528\ 439473633371396/130112017363686234110724779821911165589295972578976\ 71383197310672563565368695*c_0101_4^6 + 1438284126738110764007966972518209258418028224822966635413652625260\ 11548108356511744/1301120173636862341107247798219111655892959725789\ 7671383197310672563565368695*c_0101_4^5 + 6716699159516647907507169835840075658186161246461149146106353481470\ 8453101468793402/13011201736368623411072477982191116558929597257897\ 671383197310672563565368695*c_0101_4^4 + 8116627209903840960197792159874831968211386025830910852665893267529\ 969074821005022/130112017363686234110724779821911165589295972578976\ 71383197310672563565368695*c_0101_4^3 - 4139079246083442051297268246160988077807375166490552174164353869424\ 740779242962548/130112017363686234110724779821911165589295972578976\ 71383197310672563565368695*c_0101_4^2 - 1695643024575385353995173383057749546163451038469393296939659717248\ 967143576825959/130112017363686234110724779821911165589295972578976\ 71383197310672563565368695*c_0101_4 - 1770608717093094969180414388011394439738546219526892383868494499937\ 20963413390632/1301120173636862341107247798219111655892959725789767\ 1383197310672563565368695, c_0011_0 - 1, c_0011_1 - 378143393581095236673548053392880855492768760948816346037756\ 5008787160884330/89732425768059471800499848153042183165031705226880\ 492297912487396990105991*c_0101_4^29 - 4202750809666305373276080992166339336637383057892632311453580492798\ 365741058/897324257680594718004998481530421831650317052268804922979\ 12487396990105991*c_0101_4^28 + 10258367733531104635927028771451753\ 5494560547912790658378548473192697747179665/89732425768059471800499\ 848153042183165031705226880492297912487396990105991*c_0101_4^27 - 3504002770609896993159156677205188118686851404114104185156400202072\ 4400368920/89732425768059471800499848153042183165031705226880492297\ 912487396990105991*c_0101_4^26 - 9781378244645076896813296149925613\ 36001314205338923203220723809038679273480632/8973242576805947180049\ 9848153042183165031705226880492297912487396990105991*c_0101_4^25 + 1824623100344305545938803668178726254674216291512342232881144527970\ 289963708023/897324257680594718004998481530421831650317052268804922\ 97912487396990105991*c_0101_4^24 + 3894544098899132066678760463659163043179779292018788776097377604291\ 508082123953/897324257680594718004998481530421831650317052268804922\ 97912487396990105991*c_0101_4^23 - 1422175563328334638988386742982500140247200263860170956192519259365\ 7357403293717/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^22 - 1389227960953859557042076654363959298059777821105411816718706535065\ 1080013534021/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^21 + 4597809755750203209831801031251658996303268630063949001532767156978\ 1025310095117/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^20 + 7923630446876401744471270056240004433799473259485807661990639486807\ 0245977606213/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^19 - 7853952888555155026859364950047668062999167834666769238650092426583\ 5065680696476/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^18 - 2312375908351061495828168118608505915479670624040871605578253657140\ 85067780926027/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^17 + 1500856245609630318538563187097836585576312556428435346395677957680\ 4124577044026/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^16 + 2911587409912316540350728524630926921848863939991089237640515140146\ 44684485397101/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^15 + 1619660126317678395169659198258281750944608035895217105887878018240\ 01669740748290/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^14 - 1282458066441652613419648605557013148200719790715135240942838525328\ 36539110955392/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^13 - 1870809695375949429732278755649581815115657761063375244517745336575\ 20877512187005/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^12 - 2259572988921581231287037375021696725560522844481207949644680141344\ 1471114310792/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^11 + 5326984262037965926302475733548829205009009224509617766853926928846\ 2416593942110/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^10 + 1994764201527117058021959076668547381561753104990578461945705949566\ 0877769276698/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^9 + 5909155339537308448166662610681644983493326770786465313891394701300\ 794911029002/897324257680594718004998481530421831650317052268804922\ 97912487396990105991*c_0101_4^8 + 468902490962934325579841518516669\ 4157342555508567140969779901709660695512389255/89732425768059471800\ 499848153042183165031705226880492297912487396990105991*c_0101_4^7 - 4121118362937147218348860025390775245472584089467572781775507634301\ 96898640704/8973242576805947180049984815304218316503170522688049229\ 7912487396990105991*c_0101_4^6 - 1776804040723168460459486653091985\ 362230009037141761139199093298346167243076747/897324257680594718004\ 99848153042183165031705226880492297912487396990105991*c_0101_4^5 - 7380124656196886154486199223393729016235278322572818746772842910180\ 49284222135/8973242576805947180049984815304218316503170522688049229\ 7912487396990105991*c_0101_4^4 - 6445292155705369530386554158650766\ 2944355305079552947788293911494695308168790/89732425768059471800499\ 848153042183165031705226880492297912487396990105991*c_0101_4^3 + 5099104292044723809433882519246176052654939350895826553841020936963\ 7410235498/89732425768059471800499848153042183165031705226880492297\ 912487396990105991*c_0101_4^2 + 17800722090604323144125141439012958\ 296982025902015927767249053520633560416605/897324257680594718004998\ 48153042183165031705226880492297912487396990105991*c_0101_4 + 1680535709542142227747533825281426346460824667640682188229362491092\ 152910770/897324257680594718004998481530421831650317052268804922979\ 12487396990105991, c_0011_4 - 399536708373771105550360623518528363010980109726582620181012\ 12582085654569450/8973242576805947180049984815304218316503170522688\ 0492297912487396990105991*c_0101_4^29 - 5297085269989386179318123545419398943850193205070878863384588449758\ 5052630360/89732425768059471800499848153042183165031705226880492297\ 912487396990105991*c_0101_4^28 + 1077320672188906912439163058363563\ 945931707352181092131436241920373357950332856/897324257680594718004\ 99848153042183165031705226880492297912487396990105991*c_0101_4^27 - 1355513399177263066470973916862609763273034361414952934045424301674\ 96469334399/8973242576805947180049984815304218316503170522688049229\ 7912487396990105991*c_0101_4^26 - 104954062113289180834530881177673\ 32791666549260950882839422291814303538112766821/8973242576805947180\ 0499848153042183165031705226880492297912487396990105991*c_0101_4^25 + 17117635032964861929138126116344538661990735013258192292641610211\ 077090478590562/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^24 + 4603106896912764253738500141449427618307016778404690572325180364796\ 8715549414676/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^23 - 1431250642206507928402311314725790210156617384523325978112323918297\ 04806156200564/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^22 - 1814878943465644174048843745501731878101672380888215368041099585808\ 73674661323630/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^21 + 4663206153145447529627317116151253713236094561760683038341978399403\ 39233920470979/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^20 + 9482126353137552587461967753769437844664697225648986686295925453084\ 21747200185568/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^19 - 6887272544785452229019616717214684324211783692539338673606694324055\ 78720792918329/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^18 - 2670400833183472979668853516286583047473564840349822123328723151963\ 572244504999645/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^17 - 2870595921243348781882059979599135474915285600127476770913821867586\ 52180535352608/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^16 + 3265530498443589964703894176667843023510000103485875168077389596028\ 258272017709532/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^15 + 2307026263834361884404360744123006991602604054440895897751021699437\ 204205979779470/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^14 - 1195122181951964834830732108972296445357809549386052576049713898023\ 693759898714778/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^13 - 2324956926656332740308679370490331205832164628415789601465062770066\ 530621780657386/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^12 - 5427267741544982009097047318377871633508572618066579953507547610246\ 01234139415817/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^11 + 6183260550931793272718728160028006677640668971797990737500219754349\ 92710490270970/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^10 + 3136533454483547282786713072387209243719358339375492064725542904577\ 92532577841987/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^9 + 7195745841048241181678071816814884363928902059448281306477788930914\ 5061789317954/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^8 + 5917620949236088870870517234430149554917570013707827339523247959079\ 5075215509359/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^7 + 2779806021360128131501016553180505765803607965199606982568133374664\ 976319975893/897324257680594718004998481530421831650317052268804922\ 97912487396990105991*c_0101_4^6 - 222429367393904787444304626931011\ 83698255336939622368181885591395153760573917755/8973242576805947180\ 0499848153042183165031705226880492297912487396990105991*c_0101_4^5 - 1065705617871146980573463701747393533293293653694860270148413573410\ 4095456729485/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^4 - 1356586117913944410685339577883020944943344248188959933367446306486\ 213719053033/897324257680594718004998481530421831650317052268804922\ 97912487396990105991*c_0101_4^3 + 638978721823337431549783544935267\ 047156786505581343800357702041620761855486745/897324257680594718004\ 99848153042183165031705226880492297912487396990105991*c_0101_4^2 + 2721201657904428819211800173547507993789180337494064047044860089136\ 40453383173/8973242576805947180049984815304218316503170522688049229\ 7912487396990105991*c_0101_4 + 289471047503207741650543760441811243\ 04441684595925203313985635973034279863351/8973242576805947180049984\ 8153042183165031705226880492297912487396990105991, c_0011_5 + 405273685212464668039253124514523475603601197839022645662614\ 07635499169000510/8973242576805947180049984815304218316503170522688\ 0492297912487396990105991*c_0101_4^29 + 5368550346632738739426365616008507633569704186352929170553104381077\ 6804246686/89732425768059471800499848153042183165031705226880492297\ 912487396990105991*c_0101_4^28 - 1092637021119620562932012880800236\ 586363390293085456085451622507091780386711994/897324257680594718004\ 99848153042183165031705226880492297912487396990105991*c_0101_4^27 + 1388610658378660956496200645699737819825678142934922063684262711026\ 44590256766/8973242576805947180049984815304218316503170522688049229\ 7912487396990105991*c_0101_4^26 + 106400708208860499253530926822760\ 86900859198031536406072754663041426580345292019/8973242576805947180\ 0499848153042183165031705226880492297912487396990105991*c_0101_4^25 - 17370400551244962317490555158884041066743337033621692935326773064\ 369166052197973/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^24 - 4661931623021273923482917592669629718633103123174772861048574572305\ 2136705904114/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^23 + 1451014106115994004227675618930342537272042698571710956163268377484\ 64728128081822/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^22 + 1837753357971454428812493880597255513518235451984141891274557171149\ 24384232150830/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^21 - 4723300213541465162755986589293531531377748891734979174719419707301\ 12265401232759/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^20 - 9609710599966281795941652516458568085604014963815093700238568419401\ 30805620075989/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^19 + 6968750731660225852768478880273449861421635561518332249654743232838\ 69876051644865/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^18 + 2704953295216405129020964745423763944475458824759965092189630681470\ 445465802377553/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^17 + 2943397106494958371895663240267941973326926431415266124519965990738\ 19048179148451/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^16 - 3302771965706077249715448975112194525755410458308866521770426703860\ 539122370033293/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^15 - 2342967721488998393473090793764502579383673403267202454482221460219\ 741295083543655/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^14 + 1201271879116411424835751479788824176048807896269619353478174383119\ 442766425329700/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^13 + 2355492687541153148087742761138834548355979952138870431591843807476\ 220433492783573/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^12 + 5568070938977071868900255553394540522067185669298188253432501128479\ 13202503253243/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^11 - 6218833407132869289183526934645074009821178411017773153180240500325\ 26092843532828/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^10 - 3199106084973468551059627926820162489510534046291043186010154188563\ 59248101816164/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^9 - 7473824750598631200751682279226613849635903378000323591553120363511\ 5127938856415/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^8 - 5980107010817617862587190823515017894968460548326493286965002635568\ 9072250987420/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^7 - 3029304151630270678478303901387670114197168047208229077101484746528\ 058993830361/897324257680594718004998481530421831650317052268804922\ 97912487396990105991*c_0101_4^6 + 224389357663472302014736659906902\ 40437973463715236954166748341758614395275685967/8973242576805947180\ 0499848153042183165031705226880492297912487396990105991*c_0101_4^5 + 1089648895934015888170122126114957653559869964039994143917145152464\ 7137099158336/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^4 + 1414238677683022035852122829892635149485890514042651046765274705842\ 015985859314/897324257680594718004998481530421831650317052268804922\ 97912487396990105991*c_0101_4^3 - 641599667939510027248158912528712\ 739157853577896285937417970581453852523786646/897324257680594718004\ 99848153042183165031705226880492297912487396990105991*c_0101_4^2 - 2790579500156249869869499952682205340656410336395084316903385449927\ 65323487573/8973242576805947180049984815304218316503170522688049229\ 7912487396990105991*c_0101_4 - 304603584033897550949531881922376122\ 67201988681918719142239469723968358757975/8973242576805947180049984\ 8153042183165031705226880492297912487396990105991, c_0101_0 - 385683461614283355924594303433326650493060211758266234367110\ 60072991229192140/8973242576805947180049984815304218316503170522688\ 0492297912487396990105991*c_0101_4^29 - 5132213780939148394798414045192548836656136967269112986578701005965\ 9781373469/89732425768059471800499848153042183165031705226880492297\ 912487396990105991*c_0101_4^28 + 1039860248801647496674640192369928\ 818701830733998914833434862756365968974480427/897324257680594718004\ 99848153042183165031705226880492297912487396990105991*c_0101_4^27 - 1256890407136846151753205401229173665569429518249957447055552373344\ 46542672423/8973242576805947180049984815304218316503170522688049229\ 7912487396990105991*c_0101_4^26 - 101360584665540120477853990878110\ 59698630083954545330065147859285104657513325190/8973242576805947180\ 0499848153042183165031705226880492297912487396990105991*c_0101_4^25 + 16477837631322173875216172492706180290579039304289014327260821737\ 032531632490631/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^24 + 4455120169560525166825583958519147735034304087489570666909860176150\ 3314273060254/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^23 - 1380311053904134853027748962844043939557840474775245213395604541570\ 04269991989104/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^22 - 1759777126114762170331235438698907011133678990938640157310756266909\ 77489721327077/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^21 + 4498866869195572630414028877176598885451977573918296920258001047982\ 12361012719650/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^20 + 9177893503412352821217099523093429822368516253902783310166206718779\ 09722629199641/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^19 - 6622525653488654613884276761759588077799019868222381566221834110534\ 32883826909208/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^18 - 2583205652325580117556589377096395613896855658190896988099319477542\ 871437563534647/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^17 - 2856914730465378365374848150200395952631732455226720951892703340303\ 64232750464732/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^16 + 3157935799390277020356982669728462904458044581843171201016522877445\ 747941331591412/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^15 + 2238605437767798328616188096423485080184436035154635282712433385264\ 490185426638420/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^14 - 1152245157856787706499608280668242809080858181789791766124036354091\ 833722676933225/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^13 - 2251780528437947053382408641273746742463697166138447492541870783167\ 771677162936354/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^12 - 5290212293716465981391851173292782433328199836034215899796760407044\ 52009344903457/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^11 + 5988202738985499130606746735641532194374801471621480792218274080027\ 52008332205586/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^10 + 3044326646236901744102043782037078409949042638433385043920961428070\ 70316955963833/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^9 + 6941407365039397594201019871834177168085338162092370284590039431890\ 5357377437187/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^8 + 5740350691409916640236325321226533198293196212466621696125271188658\ 0277742508965/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^7 + 2782412302319018568515421354519182300967274884761580010358962412319\ 056606860737/897324257680594718004998481530421831650317052268804922\ 97912487396990105991*c_0101_4^6 - 215529824569929278079166174861605\ 01915842626272762148356755251669756505570146860/8973242576805947180\ 0499848153042183165031705226880492297912487396990105991*c_0101_4^5 - 1032845016915738463656074438084747932675903344094335921163997834637\ 6375344973037/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^4 - 1318616979653494068309305245922555234805387710851516037887980367204\ 694442357598/897324257680594718004998481530421831650317052268804922\ 97912487396990105991*c_0101_4^3 + 619651395696954244213630407858359\ 866937385222706637235822685307407153451909427/897324257680594718004\ 99848153042183165031705226880492297912487396990105991*c_0101_4^2 + 2637194489576335292459841807029760984902418502391856478200446627754\ 28586856390/8973242576805947180049984815304218316503170522688049229\ 7912487396990105991*c_0101_4 + 279469458287021644931158125883483981\ 92998570873022224088886001595401572398907/8973242576805947180049984\ 8153042183165031705226880492297912487396990105991, c_0101_1 - 407260563807096819127945851760480298579237941566346513730363\ 96098143576029350/8973242576805947180049984815304218316503170522688\ 0492297912487396990105991*c_0101_4^29 - 5452402944905672869461802882231248971802463122267625299429615794812\ 8425992785/89732425768059471800499848153042183165031705226880492297\ 912487396990105991*c_0101_4^28 + 1097741222935646074625521797960985\ 873650645846774192307837946406648796265574370/897324257680594718004\ 99848153042183165031705226880492297912487396990105991*c_0101_4^27 - 1236772782289218901935086198656301578141631181775219996558115678094\ 40218489062/8973242576805947180049984815304218316503170522688049229\ 7912487396990105991*c_0101_4^26 - 107081883666752820891147622703195\ 84292722594688895346705218335376123538134489713/8973242576805947180\ 0499848153042183165031705226880492297912487396990105991*c_0101_4^25 + 17315072574826690254091798680311231458130301208320472075765323805\ 920008315567631/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^24 + 4722214880042253386130989620574951454729646338276153399359397765386\ 9382844728318/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^23 - 1454504670946717130994381152939597451074731734723470574036506303778\ 52966542552602/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^22 - 1871383873595982682250780537145132655270646105863569355154201350776\ 79238619635025/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^21 + 4741277048982166285452992599750332974182224615732748827165157195873\ 32510576630336/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^20 + 9733932246137352136082097166687569779764061181824575208455051526845\ 35458316444048/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^19 - 6933085636047024499196297264719124296892439054571433030588661605557\ 40358019229452/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^18 - 2736018555574066563602051723750636731169279253941515888055181280665\ 100447496935046/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^17 - 3201582097650155740346753812570358580965436770009373420539855957145\ 41958063813023/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^16 + 3340232715991497835155140635664841181139174625696580740368076774721\ 100133542078501/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^15 + 2388393120698444460601716595398807111259475066047613428902041950120\ 602414176364008/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^14 - 1208204002681709046207941632859373972839956265906438818134598010159\ 243380164306680/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^13 - 2391291342488219500741299897818063111125209251781133320008043081325\ 608298323922411/897324257680594718004998481530421831650317052268804\ 92297912487396990105991*c_0101_4^12 - 5720458424692355434798303730657597162147110730360239200042231625023\ 74145199627280/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^11 + 6335855321443914585070358979992563163331251363140225343203753367075\ 09748758283169/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^10 + 3260322823618192584486121376270833495825745936758812849756693824566\ 64090808641678/8973242576805947180049984815304218316503170522688049\ 2297912487396990105991*c_0101_4^9 + 7396922021812498305313574324721505962957654878463864665425667162266\ 6804125355560/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^8 + 6093766533907414584396617239124497955367785211741152743373640556181\ 8218770762047/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^7 + 3277003482944911757371974936758914339367656408016028629801206925254\ 405838533129/897324257680594718004998481530421831650317052268804922\ 97912487396990105991*c_0101_4^6 - 228837214722679688778183113891255\ 32283675150913992867081643186529968921731918304/8973242576805947180\ 0499848153042183165031705226880492297912487396990105991*c_0101_4^5 - 1103879187773764537104928535962116515106316742326150534623876431853\ 1277722968087/89732425768059471800499848153042183165031705226880492\ 297912487396990105991*c_0101_4^4 - 1425703972568288775557426486908372305289359561400189420502174662334\ 433161579198/897324257680594718004998481530421831650317052268804922\ 97912487396990105991*c_0101_4^3 + 657043054299353432736116170659288\ 852054386616179033272658414807807570917443024/897324257680594718004\ 99848153042183165031705226880492297912487396990105991*c_0101_4^2 + 2825092500628096139419890124472339576491630469622966205517230318326\ 78860510471/8973242576805947180049984815304218316503170522688049229\ 7912487396990105991*c_0101_4 + 301722718788810498117873295988139887\ 84908566549779929272076549627574477755615/8973242576805947180049984\ 8153042183165031705226880492297912487396990105991, c_0101_4^30 + 8/5*c_0101_4^29 - 133/5*c_0101_4^28 - 4*c_0101_4^27 + 1318/5*c_0101_4^26 - 1782/5*c_0101_4^25 - 6347/5*c_0101_4^24 + 3266*c_0101_4^23 + 5524*c_0101_4^22 - 52116/5*c_0101_4^21 - 134654/5*c_0101_4^20 + 53608/5*c_0101_4^19 + 357751/5*c_0101_4^18 + 127642/5*c_0101_4^17 - 79721*c_0101_4^16 - 400813/5*c_0101_4^15 + 14025*c_0101_4^14 + 331854/5*c_0101_4^13 + 147842/5*c_0101_4^12 - 58599/5*c_0101_4^11 - 60474/5*c_0101_4^10 - 3964*c_0101_4^9 - 1977*c_0101_4^8 - 2382/5*c_0101_4^7 + 2684/5*c_0101_4^6 + 2098/5*c_0101_4^5 + 537/5*c_0101_4^4 - 33/5*c_0101_4^3 - 56/5*c_0101_4^2 - 13/5*c_0101_4 - 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB