Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 1646526084] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0790 geometric_solution 4.73057239 oriented_manifold CS_known -0.0000000000000000 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.502956919920 0.140593930787 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.652901813427 0.374907614844 1 3 1 4 0132 0132 1023 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 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 1.928701237864 1.454759521972 4 2 5 4 3201 0132 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.200754058918 0.733836977799 3 5 2 3 3201 1023 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.200754058918 0.733836977799 4 6 6 3 1023 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.363381677591 0.855089589803 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.929097144699 0.533085371593 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : 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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : 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' : d['c_0011_4'], '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' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_5'], '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_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 2840010090258829136086863514147212229841269235578717187405980355579\ /358137938497886045739287618283588449457034937871526283939258873*c_\ 0101_6^23 + 8581430785374562103231769539666031516424347466493406952\ 9923902151322/35813793849788604573928761828358844945703493787152628\ 3939258873*c_0101_6^22 - 112371688494148529445441238864754059119517\ 422096460320093758687641015/358137938497886045739287618283588449457\ 034937871526283939258873*c_0101_6^21 - 8082839567548283728646118213016218806391424558704496742983326821393\ 4/6757319594299736712062030533652612253906319582481627998853941*c_0\ 101_6^20 + 59729819085793990427219948052325005074547562706169080403\ 88326144548362/3581379384978860457392876182835884494570349378715262\ 83939258873*c_0101_6^19 + 51329281663126898337236760282400298345731\ 301049866056883503304343554653/358137938497886045739287618283588449\ 457034937871526283939258873*c_0101_6^18 + 1211221450920311891180229808013547445952235880677923506464003655542\ 45848/3581379384978860457392876182835884494570349378715262839392588\ 73*c_0101_6^17 - 62654176757417146993533649566628176606591518782162\ 797798994970519040627/358137938497886045739287618283588449457034937\ 871526283939258873*c_0101_6^16 - 7207455978642247542785858948784025\ 19188562084470785641522231811055657230/3581379384978860457392876182\ 83588449457034937871526283939258873*c_0101_6^15 - 2702677875760026131989693602462092780101939537593918952550043349172\ 90768/3581379384978860457392876182835884494570349378715262839392588\ 73*c_0101_6^14 + 46629494628624169286280863031044371969468582711045\ 5975777864512153467712/35813793849788604573928761828358844945703493\ 7871526283939258873*c_0101_6^13 + 441553906179588763488578480720150\ 195489103588591637808808613477243061524/358137938497886045739287618\ 283588449457034937871526283939258873*c_0101_6^12 - 1203765854501427010792318857211965624485810214872914694505240708428\ 01719/3581379384978860457392876182835884494570349378715262839392588\ 73*c_0101_6^11 - 23112573305821785113076648932801407127517884604466\ 9920663778387840871817/35813793849788604573928761828358844945703493\ 7871526283939258873*c_0101_6^10 + 564620184077379343294400043400141\ 6727949667575784486250576747927015565/35813793849788604573928761828\ 3588449457034937871526283939258873*c_0101_6^9 + 6179586733137156347853091149710521335998995630754391704827326074300\ 4391/35813793849788604573928761828358844945703493787152628393925887\ 3*c_0101_6^8 + 8090928352270655256480773134980947885817220485192967\ 626728430569744210/358137938497886045739287618283588449457034937871\ 526283939258873*c_0101_6^7 - 14494652342892466909984013303055560778\ 529405191076855619925066836799899/358137938497886045739287618283588\ 449457034937871526283939258873*c_0101_6^6 + 1096446932869101937691972682585932042781128198350350939943712381833\ 170/358137938497886045739287618283588449457034937871526283939258873\ *c_0101_6^5 + 11649969092659326799205912348137671125784523293574032\ 50892278429010739/3581379384978860457392876182835884494570349378715\ 26283939258873*c_0101_6^4 - 542743742364466330302773753346061844909\ 385643759837255138326295991733/358137938497886045739287618283588449\ 457034937871526283939258873*c_0101_6^3 + 1006389105094800447939813097791067256669660750257306376609249289737\ 89/358137938497886045739287618283588449457034937871526283939258873*\ c_0101_6^2 + 283835363703457114707685314554881508549530989488067991\ 70416875581916/3581379384978860457392876182835884494570349378715262\ 83939258873*c_0101_6 - 94095671943166235221723338171483684586485292\ 61975681126189732967070/3581379384978860457392876182835884494570349\ 37871526283939258873, c_0011_0 - 1, c_0011_1 - 300325571959846519649443693505391174222797944436583050718581\ 36/6757319594299736712062030533652612253906319582481627998853941*c_\ 0101_6^23 + 9056445582718585203825299691912718030050359783095235042\ 14356463/6757319594299736712062030533652612253906319582481627998853\ 941*c_0101_6^22 - 1133295185288665003695897937895665241775466629649\ 558738107979490/675731959429973671206203053365261225390631958248162\ 7998853941*c_0101_6^21 - 453695455349301549443533414461873487122071\ 40630963974616122283347/6757319594299736712062030533652612253906319\ 582481627998853941*c_0101_6^20 + 6040326547031785392272284472328342\ 8344985177296446428014984127081/67573195942997367120620305336526122\ 53906319582481627998853941*c_0101_6^19 + 546430859564527797399952397132593763144431123556423977832160919107/\ 6757319594299736712062030533652612253906319582481627998853941*c_010\ 1_6^18 + 1314193944427019900486631945112076780231692834399593674610\ 624909920/675731959429973671206203053365261225390631958248162799885\ 3941*c_0101_6^17 - 582226459242494401755608374746314497571994537403\ 369263695998636994/675731959429973671206203053365261225390631958248\ 1627998853941*c_0101_6^16 - 765728792940181674491686297496241015262\ 4834050049239798965319834556/67573195942997367120620305336526122539\ 06319582481627998853941*c_0101_6^15 - 3328275780703053801854833103783486041742944900284996357132194432503\ /6757319594299736712062030533652612253906319582481627998853941*c_01\ 01_6^14 + 471864340711013085783343464325519169621395337595009750363\ 6604868978/67573195942997367120620305336526122539063195824816279988\ 53941*c_0101_6^13 + 49679966186941720001560169645291323590618148865\ 19642338363156978053/6757319594299736712062030533652612253906319582\ 481627998853941*c_0101_6^12 - 9372942926936822952487354688444444560\ 04978763491251787954047296722/6757319594299736712062030533652612253\ 906319582481627998853941*c_0101_6^11 - 2484033754034029824907827075844189049268410478799050648523978115379\ /6757319594299736712062030533652612253906319582481627998853941*c_01\ 01_6^10 - 103083341610575360262358942283088104528092674619950259345\ 043480519/675731959429973671206203053365261225390631958248162799885\ 3941*c_0101_6^9 + 6318803904828257239433044326534839528435563653206\ 39988692828048173/6757319594299736712062030533652612253906319582481\ 627998853941*c_0101_6^8 + 12287783788983767326110814666773148582009\ 3601073694840430473048609/67573195942997367120620305336526122539063\ 19582481627998853941*c_0101_6^7 - 141620780940906092832072264053104\ 793832870907976848489300546251922/675731959429973671206203053365261\ 2253906319582481627998853941*c_0101_6^6 + 4054926445903921904170430060683724034735534632157547350228053638/67\ 57319594299736712062030533652612253906319582481627998853941*c_0101_\ 6^5 + 1189673881510734051558677605666559471605164402806589230061957\ 0364/6757319594299736712062030533652612253906319582481627998853941*\ c_0101_6^4 - 524764376745636922024308596458292356214822329577847588\ 2597709524/67573195942997367120620305336526122539063195824816279988\ 53941*c_0101_6^3 + 832058578043895558486285153316088020749838080972\ 516852662656521/675731959429973671206203053365261225390631958248162\ 7998853941*c_0101_6^2 + 3315598733565784215268902319971909185441758\ 90428774765066232792/6757319594299736712062030533652612253906319582\ 481627998853941*c_0101_6 - 7991822560004112552546403103494876407862\ 4898068988795260596879/67573195942997367120620305336526122539063195\ 82481627998853941, c_0011_4 - 447588639910466422214357728425082198326483784794210256972991\ 87/6757319594299736712062030533652612253906319582481627998853941*c_\ 0101_6^23 + 1353528689840241577969504350595573705710780434838934366\ 193198605/675731959429973671206203053365261225390631958248162799885\ 3941*c_0101_6^22 - 180286232846763318445622175707125210867400810124\ 3909543204798520/67573195942997367120620305336526122539063195824816\ 27998853941*c_0101_6^21 - 67499834665413754299836260739198494989421\ 996117778139145844935561/675731959429973671206203053365261225390631\ 9582481627998853941*c_0101_6^20 + 957966713412804623209694588407646\ 80893104863032710738959074232858/6757319594299736712062030533652612\ 253906319582481627998853941*c_0101_6^19 + 808102019879705671779077822649255109187938366046183725782727050614/\ 6757319594299736712062030533652612253906319582481627998853941*c_010\ 1_6^18 + 1887985084903002767187248391727009138503452535724911264263\ 576855379/675731959429973671206203053365261225390631958248162799885\ 3941*c_0101_6^17 - 105134042593989450730165195656611965781079381176\ 4273234562162215927/67573195942997367120620305336526122539063195824\ 81627998853941*c_0101_6^16 - 11383852304151029194656520153281931831\ 715333405839863397264083622747/675731959429973671206203053365261225\ 3906319582481627998853941*c_0101_6^15 - 3987404899726592666788105242273399086996536830385955487374184430303\ /6757319594299736712062030533652612253906319582481627998853941*c_01\ 01_6^14 + 768796193318274634949773238609673704585615564494088013795\ 0706547751/67573195942997367120620305336526122539063195824816279988\ 53941*c_0101_6^13 + 69856502445270757415317272194892235846890746375\ 08349126295720107968/6757319594299736712062030533652612253906319582\ 481627998853941*c_0101_6^12 - 2111521418086418102963183325986422319\ 507765593628733348548489721748/675731959429973671206203053365261225\ 3906319582481627998853941*c_0101_6^11 - 3762487586316431396153835553787047901894610117762685163150843540508\ /6757319594299736712062030533652612253906319582481627998853941*c_01\ 01_6^10 + 129457935297094732141218281219505496724380804384606930984\ 484209001/675731959429973671206203053365261225390631958248162799885\ 3941*c_0101_6^9 + 1019534588086869956035662328110123035592192415481\ 407270861149035972/675731959429973671206203053365261225390631958248\ 1627998853941*c_0101_6^8 + 1272378786410256778364917252458827142174\ 98874555319983181074256310/6757319594299736712062030533652612253906\ 319582481627998853941*c_0101_6^7 - 237632863013207621294403983168334191890979646258031290697845601318/\ 6757319594299736712062030533652612253906319582481627998853941*c_010\ 1_6^6 + 17046823297469004708135586421422586331637493245441704113490\ 661765/675731959429973671206203053365261225390631958248162799885394\ 1*c_0101_6^5 + 1922517831530385397629818372544027994394947283905947\ 1956764581732/67573195942997367120620305336526122539063195824816279\ 98853941*c_0101_6^4 - 880166285943636955309620800576328411844810279\ 3346864345916213509/67573195942997367120620305336526122539063195824\ 81627998853941*c_0101_6^3 + 163528694149545495145273143099925310480\ 2247033698177326186290894/67573195942997367120620305336526122539063\ 19582481627998853941*c_0101_6^2 + 484045687593298717068726502209351\ 629358838750323012685044796408/675731959429973671206203053365261225\ 3906319582481627998853941*c_0101_6 - 155085775617048699250031032253911804287701294236279589962173064/675\ 7319594299736712062030533652612253906319582481627998853941, c_0101_0 + 825046097726242871597884332023983038630732125031777871553852\ 76/6757319594299736712062030533652612253906319582481627998853941*c_\ 0101_6^23 - 2497089878347981849069277865308494727948805055596477523\ 819169437/675731959429973671206203053365261225390631958248162799885\ 3941*c_0101_6^22 + 338672910384087593482916328143607312445929159848\ 2908138555282893/67573195942997367120620305336526122539063195824816\ 27998853941*c_0101_6^21 + 12434988074264115061464812707583509508902\ 4526139481050016673201123/67573195942997367120620305336526122539063\ 19582481627998853941*c_0101_6^20 - 179777982660494207854483838823856513014324906068842818977047452832/\ 6757319594299736712062030533652612253906319582481627998853941*c_010\ 1_6^19 - 1485664048232251324546185937299052787292120401792580732065\ 765750303/675731959429973671206203053365261225390631958248162799885\ 3941*c_0101_6^18 - 344150867971331679841093626436061288094290725448\ 9168815723872702780/67573195942997367120620305336526122539063195824\ 81627998853941*c_0101_6^17 + 20346148630091267015829530214947800095\ 37614370342529203814050724655/6757319594299736712062030533652612253\ 906319582481627998853941*c_0101_6^16 + 2095496928009455634173476775674637432576165866032544116229951015692\ 3/6757319594299736712062030533652612253906319582481627998853941*c_0\ 101_6^15 + 68129448278435700353088855587920893037888848714564638520\ 81731153863/6757319594299736712062030533652612253906319582481627998\ 853941*c_0101_6^14 - 1446481348520435202595266289135084887479588297\ 7982836001808816600436/67573195942997367120620305336526122539063195\ 82481627998853941*c_0101_6^13 - 12606465933237790135660427912064214\ 632995871504493216747997891668436/675731959429973671206203053365261\ 2253906319582481627998853941*c_0101_6^12 + 4269666683123417403103162332308162890629157438364883005038215511623\ /6757319594299736712062030533652612253906319582481627998853941*c_01\ 01_6^11 + 693826845959844389190276296218509215239011840714831599611\ 3064022068/67573195942997367120620305336526122539063195824816279988\ 53941*c_0101_6^10 - 39549855606612119553214085622912494334733685518\ 4349379022461494605/67573195942997367120620305336526122539063195824\ 81627998853941*c_0101_6^9 - 191483711477694319749731659988281153346\ 2390898933654554347006595715/67573195942997367120620305336526122539\ 06319582481627998853941*c_0101_6^8 - 205972994594717393967961794361923204341764461179586947982195424088/\ 6757319594299736712062030533652612253906319582481627998853941*c_010\ 1_6^7 + 45104022451770791907761913705500487350571089591386024808425\ 4263895/67573195942997367120620305336526122539063195824816279988539\ 41*c_0101_6^6 - 369044165318937631124887974571005963108122659073874\ 59537972008524/6757319594299736712062030533652612253906319582481627\ 998853941*c_0101_6^5 - 35397123352763131541560675307854707917484041\ 325839086377502822056/675731959429973671206203053365261225390631958\ 2481627998853941*c_0101_6^4 + 1644919734660980097162633293069594820\ 7750821880607878402824765699/67573195942997367120620305336526122539\ 06319582481627998853941*c_0101_6^3 - 3254682070570182241696656090741266938450916786589926046704286194/67\ 57319594299736712062030533652612253906319582481627998853941*c_0101_\ 6^2 - 8644188525332945861165341475651876630796001104014517212142637\ 88/6757319594299736712062030533652612253906319582481627998853941*c_\ 0101_6 + 2960555900916797529898986779076757611022421846708986191921\ 33041/6757319594299736712062030533652612253906319582481627998853941\ , c_0101_1 - 556760672179940454665579396068803194692500995916655593339683\ 90/6757319594299736712062030533652612253906319582481627998853941*c_\ 0101_6^23 + 1687020717108044540625823632800928198687011826910367950\ 582767606/675731959429973671206203053365261225390631958248162799885\ 3941*c_0101_6^22 - 234277471965898495449242221392433862679003101050\ 3456851552705587/67573195942997367120620305336526122539063195824816\ 27998853941*c_0101_6^21 - 83863304857126536498132016196520114307645\ 884590429558076923486352/675731959429973671206203053365261225390631\ 9582481627998853941*c_0101_6^20 + 124247812367825920764524659162609\ 683027613348396213550995643158195/675731959429973671206203053365261\ 2253906319582481627998853941*c_0101_6^19 + 999791903503556474793413158967052747093332769549645874955644462453/\ 6757319594299736712062030533652612253906319582481627998853941*c_010\ 1_6^18 + 2286255991079543716817594560663198879602126853031634131262\ 669842964/675731959429973671206203053365261225390631958248162799885\ 3941*c_0101_6^17 - 147071981910716906085255563629586519356319648404\ 6352429214246375358/67573195942997367120620305336526122539063195824\ 81627998853941*c_0101_6^16 - 14139585207887711208230681819980152357\ 953441836239086155731209432909/675731959429973671206203053365261225\ 3906319582481627998853941*c_0101_6^15 - 4104744915426546871659950267672469597475275876228798326385795454793\ /6757319594299736712062030533652612253906319582481627998853941*c_01\ 01_6^14 + 101570042737266781865228080165138133253934400836503316063\ 06334473075/6757319594299736712062030533652612253906319582481627998\ 853941*c_0101_6^13 + 8340260767696471616266325303064221129592150816\ 458207635682704133182/675731959429973671206203053365261225390631958\ 2481627998853941*c_0101_6^12 - 325606127583198778105957148012195352\ 7351134807764717751564341226724/67573195942997367120620305336526122\ 53906319582481627998853941*c_0101_6^11 - 4745223357434387686979838247551881814363977221304142423268304409533\ /6757319594299736712062030533652612253906319582481627998853941*c_01\ 01_6^10 + 409838657642203836684890515749596140272188682986411777687\ 887651735/675731959429973671206203053365261225390631958248162799885\ 3941*c_0101_6^9 + 1343634229333105830664632031674018848329760205112\ 312571120599083198/675731959429973671206203053365261225390631958248\ 1627998853941*c_0101_6^8 + 1112537601473909709315486492962903378414\ 00409310032148648472664426/6757319594299736712062030533652612253906\ 319582481627998853941*c_0101_6^7 - 321217157528735538414759817024076879566848971588367400470373789529/\ 6757319594299736712062030533652612253906319582481627998853941*c_010\ 1_6^6 + 29533937898692557788043505528569028528626537829286510041566\ 761407/675731959429973671206203053365261225390631958248162799885394\ 1*c_0101_6^5 + 2546890878464804871616634834581122854055838258516792\ 6468048668717/67573195942997367120620305336526122539063195824816279\ 98853941*c_0101_6^4 - 117177912537164864911773664993165474199881843\ 93532055860596633476/6757319594299736712062030533652612253906319582\ 481627998853941*c_0101_6^3 + 23822967977565527639814680791514465253\ 29177074001745299914596736/6757319594299736712062030533652612253906\ 319582481627998853941*c_0101_6^2 + 599156437447223232010695520418873631376206378257806914237764286/675\ 7319594299736712062030533652612253906319582481627998853941*c_0101_6 - 220608840871335460305761770640500623678810038665708997291727878/6\ 757319594299736712062030533652612253906319582481627998853941, c_0101_5 - 839767106672873556050957047755475189428905305176967847425136\ 26/6757319594299736712062030533652612253906319582481627998853941*c_\ 0101_6^23 + 2540351758974341139321113685137640423422003224701884552\ 654304971/675731959429973671206203053365261225390631958248162799885\ 3941*c_0101_6^22 - 340867125819145553353268736044502383350261020046\ 5342308885132337/67573195942997367120620305336526122539063195824816\ 27998853941*c_0101_6^21 - 12660268318085887262220222790153576737168\ 9210505083398363987056772/67573195942997367120620305336526122539063\ 19582481627998853941*c_0101_6^20 + 181024175555965518144098046563749011522465731287995425343509368451/\ 6757319594299736712062030533652612253906319582481627998853941*c_010\ 1_6^19 + 1514008655601088996236149791754698915012306595958992953444\ 755240930/675731959429973671206203053365261225390631958248162799885\ 3941*c_0101_6^18 + 352691258230708223192899024764442268220241842956\ 3334103567174358048/67573195942997367120620305336526122539063195824\ 81627998853941*c_0101_6^17 - 20047591343042594084631656495148885625\ 56944301341375084714377749794/6757319594299736712062030533652612253\ 906319582481627998853941*c_0101_6^16 - 2132557368586453884767149734494719599834842988101811515156047762446\ 9/6757319594299736712062030533652612253906319582481627998853941*c_0\ 101_6^15 - 72560833237711588421618522685246094078641893315667660313\ 68411581705/6757319594299736712062030533652612253906319582481627998\ 853941*c_0101_6^14 + 1445262284740404309490846081323741914393468673\ 0130351197399678064182/67573195942997367120620305336526122539063195\ 82481627998853941*c_0101_6^13 + 12891468518955449761156548038788571\ 560775822525935146924366690159208/675731959429973671206203053365261\ 2253906319582481627998853941*c_0101_6^12 - 4125544563421593304534536024940607637870314682846892168188487080412\ /6757319594299736712062030533652612253906319582481627998853941*c_01\ 01_6^11 - 699713701293870998029071577592860193474445720291015950023\ 1857232478/67573195942997367120620305336526122539063195824816279988\ 53941*c_0101_6^10 + 34297811338163654578498174182421900947650493435\ 7573673810483421196/67573195942997367120620305336526122539063195824\ 81627998853941*c_0101_6^9 + 191784529417158799837246334804558815352\ 0133380977741526997240674697/67573195942997367120620305336526122539\ 06319582481627998853941*c_0101_6^8 + 214742182378788985844618418291035084895356171741864333767528047759/\ 6757319594299736712062030533652612253906319582481627998853941*c_010\ 1_6^7 - 45225371233948550892316778319120543550702768620074462068395\ 1224536/67573195942997367120620305336526122539063195824816279988539\ 41*c_0101_6^6 + 363690055077223070581677512921875078602344378729665\ 16021496339128/6757319594299736712062030533652612253906319582481627\ 998853941*c_0101_6^5 + 36219816556259939991365761236160688342290225\ 553130174993937990542/675731959429973671206203053365261225390631958\ 2481627998853941*c_0101_6^4 - 1663356422366769382032262598622793517\ 6913503714786556106084009413/67573195942997367120620305336526122539\ 06319582481627998853941*c_0101_6^3 + 3196530056711589490438549385820294384310786149307007946857693048/67\ 57319594299736712062030533652612253906319582481627998853941*c_0101_\ 6^2 + 8772254148111610386181032198356885971348161659991909571080283\ 36/6757319594299736712062030533652612253906319582481627998853941*c_\ 0101_6 - 2999057598728138140255603678513228988445879045699359082898\ 64076/6757319594299736712062030533652612253906319582481627998853941\ , c_0101_6^24 - 30*c_0101_6^23 + 33*c_0101_6^22 + 1518*c_0101_6^21 - 1778*c_0101_6^20 - 18581*c_0101_6^19 - 46504*c_0101_6^18 + 13488*c_0101_6^17 + 260288*c_0101_6^16 + 149956*c_0101_6^15 - 152443*c_0101_6^14 - 197780*c_0101_6^13 + 11770*c_0101_6^12 + 97129*c_0101_6^11 + 16743*c_0101_6^10 - 24566*c_0101_6^9 - 8425*c_0101_6^8 + 4901*c_0101_6^7 + 980*c_0101_6^6 - 568*c_0101_6^5 + 86*c_0101_6^4 + 14*c_0101_6^3 - 21*c_0101_6^2 + c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB