Magma V2.19-8 Tue Aug 20 2013 16:16:14 on localhost [Seed = 3970789423] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0504 geometric_solution 4.51387748 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 0 -1 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2.899329387789 0.340214980445 0 2 2 0 0132 0132 3201 1023 0 0 0 0 0 1 0 -1 1 0 0 -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 -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.200079124092 0.074388902768 1 1 3 3 2310 0132 0132 2310 0 0 0 0 0 -1 1 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 1 -1 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 2.286309005046 1.185350179915 2 4 5 2 3201 0132 0132 0132 0 0 0 0 0 0 1 -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 0 -1 1 -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.893198294866 0.563673747680 6 3 5 5 0132 0132 1302 3201 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 0.368738918719 0.576557450355 4 4 6 3 2031 2310 1023 0132 0 0 0 0 0 0 1 -1 1 0 -1 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.368738918719 0.576557450355 4 6 5 6 0132 2310 1023 3201 0 0 0 0 0 -1 1 0 0 0 -1 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 1 -1 0 0 0 1 -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.199141910743 0.838750857892 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 4664505497438463543002216437674369248444516305931402984459763180734\ 65749891446936385478990884247472/2841969146858417515109202528842467\ 928333394196759526573444376798573106146537526318772022693796415*c_0\ 101_6^28 + 49528224568640194288416312546255942447675790638459652820\ 43817842853270330241198295124695312547694938/2841969146858417515109\ 2025288424679283333941967595265734443767985731061465375263187720226\ 93796415*c_0101_6^27 + 53407571550837041516485330512752939259259234\ 65017968406738764605362864742303806444833617465649536869/5683938293\ 7168350302184050576849358566667883935190531468887535971462122930750\ 5263754404538759283*c_0101_6^26 + 153327570689026429218541318857964\ 4156857442950183492689220225208079675011677862540117198674288042345\ 64/2841969146858417515109202528842467928333394196759526573444376798\ 573106146537526318772022693796415*c_0101_6^25 - 2728374581437519683622421011399363450255269836395190603034946003066\ 34978718189161937058074629714267623/2841969146858417515109202528842\ 467928333394196759526573444376798573106146537526318772022693796415*\ c_0101_6^24 - 11401456680051118154509299315449208234728448301164728\ 356820166753231279051095998789906068872986606741293/284196914685841\ 7515109202528842467928333394196759526573444376798573106146537526318\ 772022693796415*c_0101_6^23 + 2023625465182446591096926273283533171\ 08613712887379908424999932199152617142298837705257959482731489130/5\ 6839382937168350302184050576849358566667883935190531468887535971462\ 1229307505263754404538759283*c_0101_6^22 + 5780120642982952354551140937161288137011344837607168235835566642308\ 7203286243078017416649514775325132799/28419691468584175151092025288\ 4246792833339419675952657344437679857310614653752631877202269379641\ 5*c_0101_6^21 + 110028966879160030344187465397561037832538629196900\ 18910974212242860233232519448817212427119861012247737/2841969146858\ 4175151092025288424679283333941967595265734443767985731061465375263\ 18772022693796415*c_0101_6^20 - 22696504942540106107911356180280334\ 4097599138061728655355923300768596851172540996486558801995280180163\ 29/5683938293716835030218405057684935856666788393519053146888753597\ 14621229307505263754404538759283*c_0101_6^19 - 6132094294779705762085713225880698023364242214411843872374577023929\ 1907224272202644801871673690604208489/28419691468584175151092025288\ 4246792833339419675952657344437679857310614653752631877202269379641\ 5*c_0101_6^18 + 186278816103827885378581709875437143575153598831171\ 385823640974159792317254166209786037953395827156532536/284196914685\ 8417515109202528842467928333394196759526573444376798573106146537526\ 318772022693796415*c_0101_6^17 + 1151828979841366856040232769493039\ 8801028549484821915304250259515772353598996240873796355788117532016\ 0597/28419691468584175151092025288424679283333941967595265734443767\ 98573106146537526318772022693796415*c_0101_6^16 - 3196001061136500665289895597597825464078332004574146637784414937949\ 34295707911370166284115665268866742998/2841969146858417515109202528\ 8424679283333941967595265734443767985731061465375263187720226937964\ 15*c_0101_6^15 - 43378308812702865102376585588539826039951476478325\ 23139053401618800195955488582118371199487418795865201/2583608315325\ 8341046447295716749708439394492697813877940403425441573692241250239\ 2615638426708765*c_0101_6^14 + 342092975701792921385184366629950918\ 8222499122961646668493248558636390722935509945425257552671809853250\ 17/2841969146858417515109202528842467928333394196759526573444376798\ 573106146537526318772022693796415*c_0101_6^13 - 8390948530008795265926002445010200963540451382083401875337126358854\ 6869208364149384259581724309074040288/28419691468584175151092025288\ 4246792833339419675952657344437679857310614653752631877202269379641\ 5*c_0101_6^12 - 201869977160816430908774072287435474349291175022452\ 186502662393669691674611091006151514628606458441166267/284196914685\ 8417515109202528842467928333394196759526573444376798573106146537526\ 318772022693796415*c_0101_6^11 + 1269668751706942299354940685623229\ 9975088376632125636552603106848969222929123098291745645287380917925\ 5121/28419691468584175151092025288424679283333941967595265734443767\ 98573106146537526318772022693796415*c_0101_6^10 + 5399346447292511430863045406697803346372519036983703551794500943123\ 0675348552736741108745166394304623962/28419691468584175151092025288\ 4246792833339419675952657344437679857310614653752631877202269379641\ 5*c_0101_6^9 - 6792664003336943882723177714829031913294439861600047\ 4677843706551654329966237291959335188962163464943599/28419691468584\ 1751510920252884246792833339419675952657344437679857310614653752631\ 8772022693796415*c_0101_6^8 + 5041960026794136631707579380875525746\ 57756312606417421344018322230693532388078939704884247076320600428/2\ 8419691468584175151092025288424679283333941967595265734443767985731\ 06146537526318772022693796415*c_0101_6^7 + 1541670224181468137149412476410646816706072040495544546591399497495\ 1640038976728144547097109411347396971/28419691468584175151092025288\ 4246792833339419675952657344437679857310614653752631877202269379641\ 5*c_0101_6^6 - 3162234858889511641956791761469877908408317353953243\ 453240540367896842003677957460263734550498771307356/284196914685841\ 7515109202528842467928333394196759526573444376798573106146537526318\ 772022693796415*c_0101_6^5 - 11338985107593021770980567199563453178\ 30712220362151102465912214580586999617896310569097663625632484172/2\ 8419691468584175151092025288424679283333941967595265734443767985731\ 06146537526318772022693796415*c_0101_6^4 + 4956749740619162382004632117594746820812365053544108968288728329074\ 49998501812105208001066295442156654/2841969146858417515109202528842\ 467928333394196759526573444376798573106146537526318772022693796415*\ c_0101_6^3 - 358674259312527649232293754458727624023713633301145707\ 71659750220386550805246911497035772746127085099/2841969146858417515\ 1092025288424679283333941967595265734443767985731061465375263187720\ 22693796415*c_0101_6^2 - 151604300695878126074739701943161966273575\ 97044407966510392009237520029094058625727034194870168972668/2841969\ 1468584175151092025288424679283333941967595265734443767985731061465\ 37526318772022693796415*c_0101_6 + 2497458137595447842029573376878783801156759078759015817337129426776\ 948867468248365852428276811105326/284196914685841751510920252884246\ 7928333394196759526573444376798573106146537526318772022693796415, c_0011_0 - 1, c_0011_3 - 149292175335222061716818090968578807643806787012098147885704\ 62180329347490988612990122202460100/5167216630651668209289459143349\ 9416878788985395627755880806850883147384482500478523127685341753*c_\ 0101_6^28 - 1591657389955880310727524235188476705469181201230670542\ 24746934128178086237975805500156266573576/5167216630651668209289459\ 1433499416878788985395627755880806850883147384482500478523127685341\ 753*c_0101_6^27 - 8617778083758051718481477527754780710680003630510\ 44435813788179011307058783028007534786498022215/5167216630651668209\ 2894591433499416878788985395627755880806850883147384482500478523127\ 685341753*c_0101_6^26 - 4946937410625556785534437381615070156371801\ 602238553636501532085877982342183583285066660909230316/516721663065\ 1668209289459143349941687878898539562775588080685088314738448250047\ 8523127685341753*c_0101_6^25 + 850627622292522144238893033713989355\ 4837345427210129065316491386322732232782366095402871501102841/51672\ 1663065166820928945914334994168787889853956277558808068508831473844\ 82500478523127685341753*c_0101_6^24 + 3652130630967717588962542011682553663890617099284904614566608588024\ 40903663134871996131306081194678/5167216630651668209289459143349941\ 6878788985395627755880806850883147384482500478523127685341753*c_010\ 1_6^23 - 1646471498809577035932175120766594839043550935811452851066\ 0108479022715135728520513737304872512582/51672166306516682092894591\ 4334994168787889853956277558808068508831473844825004785231276853417\ 53*c_0101_6^22 - 18454895325590988473056130766356866691119600822117\ 17118469842447450678710671903360339609505065059436/5167216630651668\ 2092894591433499416878788985395627755880806850883147384482500478523\ 127685341753*c_0101_6^21 - 4322783016018324606009936991806496381239\ 21698564207499176129030494587452626116320056365134642452033/5167216\ 6306516682092894591433499416878788985395627755880806850883147384482\ 500478523127685341753*c_0101_6^20 + 3586297456578596649480392908647954351752669323866435011251335059626\ 878704145940429779119314844813229/516721663065166820928945914334994\ 16878788985395627755880806850883147384482500478523127685341753*c_01\ 01_6^19 + 211184370862596428415232017388831674702123725682580282926\ 3273050936756756346325226314602156365293549/51672166306516682092894\ 5914334994168787889853956277558808068508831473844825004785231276853\ 41753*c_0101_6^18 - 58161759090215743061147752362899418295259287848\ 79379510857131862443184187378748765624315845490511173/5167216630651\ 6682092894591433499416878788985395627755880806850883147384482500478\ 523127685341753*c_0101_6^17 - 3907719023444587987267416124293960134\ 318946424250863827642954085763385931470191733643158147320303994/516\ 7216630651668209289459143349941687878898539562775588080685088314738\ 4482500478523127685341753*c_0101_6^16 + 9972873185098622465262676376274386452965056196695308423352371625993\ 077368421109284126187382447819721/516721663065166820928945914334994\ 16878788985395627755880806850883147384482500478523127685341753*c_01\ 01_6^15 + 190121104424985122633413326847022889895636045255160470940\ 1048439393348155764986748492722462344788399/51672166306516682092894\ 5914334994168787889853956277558808068508831473844825004785231276853\ 41753*c_0101_6^14 - 10716629333193301804825072779745953228256208517\ 544081682700120087563892963210584409427737751810008987/516721663065\ 1668209289459143349941687878898539562775588080685088314738448250047\ 8523127685341753*c_0101_6^13 + 225052338767863614856178645876247088\ 8967144953040184718555141252504052932604561734797250614542866014/51\ 6721663065166820928945914334994168787889853956277558808068508831473\ 84482500478523127685341753*c_0101_6^12 + 6391020479828074629150977694931562630914874349161693568791119646165\ 770537877446307884800179707772423/516721663065166820928945914334994\ 16878788985395627755880806850883147384482500478523127685341753*c_01\ 01_6^11 - 374830809947904602525279378218123925901622735311788998118\ 9172589989435279947792122266184229213496635/51672166306516682092894\ 5914334994168787889853956277558808068508831473844825004785231276853\ 41753*c_0101_6^10 - 17909008726861505339442907393690129979438621991\ 26935192901490896906086453213393491274552499120430414/5167216630651\ 6682092894591433499416878788985395627755880806850883147384482500478\ 523127685341753*c_0101_6^9 + 20317525307932574520020599988192720376\ 35846259333373893252169514080235352267615839793361990696616666/5167\ 2166306516682092894591433499416878788985395627755880806850883147384\ 482500478523127685341753*c_0101_6^8 + 4677508860195672765741741476592344461509909552589705161766713575876\ 7621952354632563837019744975943/51672166306516682092894591433499416\ 878788985395627755880806850883147384482500478523127685341753*c_0101\ _6^7 - 456340692686937360185020368017969138919376958992273255031754\ 442519599788603774260134188092230403322/516721663065166820928945914\ 3349941687878898539562775588080685088314738448250047852312768534175\ 3*c_0101_6^6 + 7872902789678572910191143957968947619231228990652885\ 8104440578498449219988839016531691876456927261/51672166306516682092\ 8945914334994168787889853956277558808068508831473844825004785231276\ 85341753*c_0101_6^5 + 329822838948425881749432857773383546821310038\ 08151466194392255846777547836814374762987678111618818/5167216630651\ 6682092894591433499416878788985395627755880806850883147384482500478\ 523127685341753*c_0101_6^4 - 12084464757428425947139576718472206547\ 823618527464986566618210850619344092498280389261763330907297/516721\ 6630651668209289459143349941687878898539562775588080685088314738448\ 2500478523127685341753*c_0101_6^3 + 7757395917551595300414332549988425063225873438146293121097110208916\ 08884115985483995623267402290/5167216630651668209289459143349941687\ 8788985395627755880806850883147384482500478523127685341753*c_0101_6\ ^2 + 34431211607801001395794792526012691403897982697223002854102764\ 9629997473280723243513419326602146/51672166306516682092894591433499\ 416878788985395627755880806850883147384482500478523127685341753*c_0\ 101_6 - 27521743388699326666303040278589309464225115795756415971256\ 829313179834836252028733787924963325/516721663065166820928945914334\ 99416878788985395627755880806850883147384482500478523127685341753, c_0011_5 - 552639832903932242133361519442856978041201443314885972807572\ 78479524891509484282610521492251888/5167216630651668209289459143349\ 9416878788985395627755880806850883147384482500478523127685341753*c_\ 0101_6^28 - 5836737443550849827538093100400004070297890020905190064\ 89051427728875164528551473006188848532142/5167216630651668209289459\ 1433499416878788985395627755880806850883147384482500478523127685341\ 753*c_0101_6^27 - 3129964718710139915878787239783132014613427116185\ 264849149327560556973165042696726911678002712283/516721663065166820\ 9289459143349941687878898539562775588080685088314738448250047852312\ 7685341753*c_0101_6^26 - 179787753954276732928122373509168740261901\ 45116305024042110879050655576961958233080787241397514750/5167216630\ 6516682092894591433499416878788985395627755880806850883147384482500\ 478523127685341753*c_0101_6^25 + 3340345619518261203551591607311393\ 9426691874539730396387532032238668296349425355384952347039787520/51\ 6721663065166820928945914334994168787889853956277558808068508831473\ 84482500478523127685341753*c_0101_6^24 + 1349279604781998808734681278750293746141852167255854292152220361259\ 680418574277674847678949492766400/516721663065166820928945914334994\ 16878788985395627755880806850883147384482500478523127685341753*c_01\ 01_6^23 - 196222439435879306663321200872068299884473436663185686607\ 173732622795621906170622841179528467429768/516721663065166820928945\ 9143349941687878898539562775588080685088314738448250047852312768534\ 1753*c_0101_6^22 - 685802648812963680179325790735719817768403593186\ 3182402837956787017258126227714330889564000794929094/51672166306516\ 6820928945914334994168787889853956277558808068508831473844825004785\ 23127685341753*c_0101_6^21 - 94571610789815795771993567571213912743\ 4299048128073892094871131504703511961732343369479338824710883/51672\ 1663065166820928945914334994168787889853956277558808068508831473844\ 82500478523127685341753*c_0101_6^20 + 1359790635795204742590047412752673872014820694419525849716365981251\ 8419696751425936469925813907011232/51672166306516682092894591433499\ 416878788985395627755880806850883147384482500478523127685341753*c_0\ 101_6^19 + 66708855723795695914774978292296957457854558880281618088\ 92387195927794856483328444151299237494157378/5167216630651668209289\ 4591433499416878788985395627755880806850883147384482500478523127685\ 341753*c_0101_6^18 - 2258599639652415582503768815996372584310361376\ 8432882421972645051328238636103548690027156714885735298/51672166306\ 5166820928945914334994168787889853956277558808068508831473844825004\ 78523127685341753*c_0101_6^17 - 12757568627460066152258788359891536\ 515778373547713962834280566755486815400765242127549527903154223156/\ 5167216630651668209289459143349941687878898539562775588080685088314\ 7384482500478523127685341753*c_0101_6^16 + 3869189828509265572416759985994939075193446628116872461074665904004\ 6602878105872611172051205189810312/51672166306516682092894591433499\ 416878788985395627755880806850883147384482500478523127685341753*c_0\ 101_6^15 + 40967144926843224678822137045183795917574502053896557446\ 36275812927641735255822222525473617908529226/5167216630651668209289\ 4591433499416878788985395627755880806850883147384482500478523127685\ 341753*c_0101_6^14 - 4094297186273015032863618112232865667533116471\ 8603274725660094014375055920605633629117822492182609398/51672166306\ 5166820928945914334994168787889853956277558808068508831473844825004\ 78523127685341753*c_0101_6^13 + 11439051682872159581135627848615704\ 211100726827415371575008850346897181653237601752149861828143529605/\ 5167216630651668209289459143349941687878898539562775588080685088314\ 7384482500478523127685341753*c_0101_6^12 + 2363166212005750935931658904298961553436610958846028445952622881522\ 8414114836235170906341972752262251/51672166306516682092894591433499\ 416878788985395627755880806850883147384482500478523127685341753*c_0\ 101_6^11 - 15759844896079631559489135374491335403438477313528358986\ 695765012154052738622025540757721319522222023/516721663065166820928\ 9459143349941687878898539562775588080685088314738448250047852312768\ 5341753*c_0101_6^10 - 593433698135811500507980528764332746091369490\ 3074458399460504960188927591643248399815754636446711286/51672166306\ 5166820928945914334994168787889853956277558808068508831473844825004\ 78523127685341753*c_0101_6^9 + 815964121982282466935265726070337208\ 8391374751026910792874334896158542665481828041875106197071276059/51\ 6721663065166820928945914334994168787889853956277558808068508831473\ 84482500478523127685341753*c_0101_6^8 - 2189891130021334112897074698727361963434304142803846539245551160747\ 23659814747004887372448674192357/5167216630651668209289459143349941\ 6878788985395627755880806850883147384482500478523127685341753*c_010\ 1_6^7 - 18000977830318973188089798773611085558137901072299883856387\ 06520132975208356414247423855080646684518/5167216630651668209289459\ 1433499416878788985395627755880806850883147384482500478523127685341\ 753*c_0101_6^6 + 37029786950594229990883959133866301858322028813697\ 6124873278877136107643084036168848893607036584971/51672166306516682\ 0928945914334994168787889853956277558808068508831473844825004785231\ 27685341753*c_0101_6^5 + 125335858096637578004284360094075269642374\ 012593053977001718879525917579403343340694647478292505783/516721663\ 0651668209289459143349941687878898539562775588080685088314738448250\ 0478523127685341753*c_0101_6^4 - 5237959864934679066367569052627280\ 6595340458048818394607909554444862465089249478254206784618994330/51\ 6721663065166820928945914334994168787889853956277558808068508831473\ 84482500478523127685341753*c_0101_6^3 + 4242661910572014580961438942975311004337445485912046419654758196178\ 317759736365670078759107086321/516721663065166820928945914334994168\ 78788985395627755880806850883147384482500478523127685341753*c_0101_\ 6^2 + 1440464855805196124469421722917192003622322002556739407689603\ 017595431695316690903502760179020752/516721663065166820928945914334\ 99416878788985395627755880806850883147384482500478523127685341753*c\ _0101_6 - 206672155074941594665697398461998928722606214518543491648\ 942162969325653434124505332957505105615/516721663065166820928945914\ 3349941687878898539562775588080685088314738448250047852312768534175\ 3, c_0101_0 - 305778666144184509495990283536084352413514620764610716373025\ 59395265607394301592605138010469086/5167216630651668209289459143349\ 9416878788985395627755880806850883147384482500478523127685341753*c_\ 0101_6^28 - 3215844468760037727986230616752968284748104124895020566\ 75779630371377369512357481245440922216761/5167216630651668209289459\ 1433499416878788985395627755880806850883147384482500478523127685341\ 753*c_0101_6^27 - 1716342963015020618852309522233686848414011740747\ 986225899127342019654924153457388828367301680433/516721663065166820\ 9289459143349941687878898539562775588080685088314738448250047852312\ 7685341753*c_0101_6^26 - 985920664422279263003275680259733336695526\ 3393150782816675207763029571629860848058824742124507115/51672166306\ 5166820928945914334994168787889853956277558808068508831473844825004\ 78523127685341753*c_0101_6^25 + 18986888439594871557209800653189680\ 445827329633246267370683456308142765684410681500199181246551525/516\ 7216630651668209289459143349941687878898539562775588080685088314738\ 4482500478523127685341753*c_0101_6^24 + 7460864389571215827875105848579423660056245304434626411492469156598\ 62149728675024120731554175895240/5167216630651668209289459143349941\ 6878788985395627755880806850883147384482500478523127685341753*c_010\ 1_6^23 - 1425388783676220337407892918061908689100844666591182329754\ 66862001536098928900242131157294788418005/5167216630651668209289459\ 1433499416878788985395627755880806850883147384482500478523127685341\ 753*c_0101_6^22 - 3815588859220487839387469861080365124225429791658\ 883383897515743454641653539607613903851395786456108/516721663065166\ 8209289459143349941687878898539562775588080685088314738448250047852\ 3127685341753*c_0101_6^21 - 350037070264940184114960423842524374028\ 998344814742783518636314587305259282749675355592443726965711/516721\ 6630651668209289459143349941687878898539562775588080685088314738448\ 2500478523127685341753*c_0101_6^20 + 7672799362536913744421569555313099517542285770256347294647185244036\ 365500634930275117402398830017176/516721663065166820928945914334994\ 16878788985395627755880806850883147384482500478523127685341753*c_01\ 01_6^19 + 337370773858449308494946877956244973985536372139174945898\ 5620525661676671341865020222260531585359018/51672166306516682092894\ 5914334994168787889853956277558808068508831473844825004785231276853\ 41753*c_0101_6^18 - 12893481447320950576154594986996902960482274765\ 516468156334401574100339060062347678605457871316563594/516721663065\ 1668209289459143349941687878898539562775588080685088314738448250047\ 8523127685341753*c_0101_6^17 - 662532693872599253255867833505211932\ 0686327654974981529820062183282957566151968598358568053455403576/51\ 6721663065166820928945914334994168787889853956277558808068508831473\ 84482500478523127685341753*c_0101_6^16 + 2210366719833415353468139210293708352238699198010225801815680375354\ 2177956718248801907293111687634897/51672166306516682092894591433499\ 416878788985395627755880806850883147384482500478523127685341753*c_0\ 101_6^15 + 15293628338278811726482878158200781271681841144479552426\ 60765385887603792968418869998507120573367127/5167216630651668209289\ 4591433499416878788985395627755880806850883147384482500478523127685\ 341753*c_0101_6^14 - 2340770564867468067696518231300104146377867074\ 9431664963155374910786766928129185268671984002859106818/51672166306\ 5166820928945914334994168787889853956277558808068508831473844825004\ 78523127685341753*c_0101_6^13 + 73091870982347384846193695695240251\ 35678472503326037573508286102335370130240989690876012770733069353/5\ 1672166306516682092894591433499416878788985395627755880806850883147\ 384482500478523127685341753*c_0101_6^12 + 1341947242685467238969714997612457904953569942930452818752446811692\ 4553755611460018883018624118404840/51672166306516682092894591433499\ 416878788985395627755880806850883147384482500478523127685341753*c_0\ 101_6^11 - 95200985502856546515461764712254740254380579073646197463\ 69191982862250473904946115436203628553641046/5167216630651668209289\ 4591433499416878788985395627755880806850883147384482500478523127685\ 341753*c_0101_6^10 - 3195127583360004265994861057651446910298058939\ 139371897956459888032016898268083274181914654938649915/516721663065\ 1668209289459143349941687878898539562775588080685088314738448250047\ 8523127685341753*c_0101_6^9 + 4897540171886215810863229046826709326\ 377728734122790484600675506608042652903792124284760251143127460/516\ 7216630651668209289459143349941687878898539562775588080685088314738\ 4482500478523127685341753*c_0101_6^8 - 2794402585998428110480355328750117135906211313897370525449195669854\ 17362217852463462553758315328792/5167216630651668209289459143349941\ 6878788985395627755880806850883147384482500478523127685341753*c_010\ 1_6^7 - 10807555245247841440106314472741482401415496438099783238350\ 79354784670398891995118368359913642167488/5167216630651668209289459\ 1433499416878788985395627755880806850883147384482500478523127685341\ 753*c_0101_6^6 + 25956636161944037452070454721207770521093183005027\ 0626581892439602104632483676656532244458039539161/51672166306516682\ 0928945914334994168787889853956277558808068508831473844825004785231\ 27685341753*c_0101_6^5 + 697321706445837914462454062350616811878496\ 98439493494067732850242212372625983942743522628036554385/5167216630\ 6516682092894591433499416878788985395627755880806850883147384482500\ 478523127685341753*c_0101_6^4 - 33759579269882667002061178739747111\ 521149296062537101285006909152903954861599066224589667524111985/516\ 7216630651668209289459143349941687878898539562775588080685088314738\ 4482500478523127685341753*c_0101_6^3 + 4211642899695842682692952273260758004523938363368395584141587626659\ 704868865016620308137603014011/516721663065166820928945914334994168\ 78788985395627755880806850883147384482500478523127685341753*c_0101_\ 6^2 + 5786744900505422687580239643536861974866298706874984888063418\ 29853489355723980187593434469970309/5167216630651668209289459143349\ 9416878788985395627755880806850883147384482500478523127685341753*c_\ 0101_6 - 1620351795473767533715446725181847612805655304334804256124\ 65138779107140169970713624884587267931/5167216630651668209289459143\ 3499416878788985395627755880806850883147384482500478523127685341753\ , c_0101_1 - 835245684717266992340873149410231588823048809832628798321867\ 38253469472987341571472437607774132/5167216630651668209289459143349\ 9416878788985395627755880806850883147384482500478523127685341753*c_\ 0101_6^28 - 8858328841592077023032190926451648971818082997135588342\ 93512707507155536422575514925330809003356/5167216630651668209289459\ 1433499416878788985395627755880806850883147384482500478523127685341\ 753*c_0101_6^27 - 4770503588105329485750671105635084236296290609797\ 638603562405054841753019311359270874684024620975/516721663065166820\ 9289459143349941687878898539562775588080685088314738448250047852312\ 7685341753*c_0101_6^26 - 273930335239982042280302346087895278188621\ 16538650815595231431712196643580780902067623559074248073/5167216630\ 6516682092894591433499416878788985395627755880806850883147384482500\ 478523127685341753*c_0101_6^25 + 4922039321673173437949814867662697\ 2989354841520579168069336928936128972313540818104899773057313541/51\ 6721663065166820928945914334994168787889853956277558808068508831473\ 84482500478523127685341753*c_0101_6^24 + 2041113406592611901220338753418591758703790273169149995802424823656\ 247619272324083014799847242956066/516721663065166820928945914334994\ 16878788985395627755880806850883147384482500478523127685341753*c_01\ 01_6^23 - 206211516788419214810463101413429117924949459301668939409\ 343092317564451818638683671811438586898579/516721663065166820928945\ 9143349941687878898539562775588080685088314738448250047852312768534\ 1753*c_0101_6^22 - 103520498434574919328616757314170369855638640958\ 90108478843243237911903198536180583326355986788686388/5167216630651\ 6682092894591433499416878788985395627755880806850883147384482500478\ 523127685341753*c_0101_6^21 - 1874592211258603946253442058972446619\ 215480921307648448375610024653832455720315514130423588103191363/516\ 7216630651668209289459143349941687878898539562775588080685088314738\ 4482500478523127685341753*c_0101_6^20 + 2035733717516844314250687397973348631650021752569996178352225703291\ 6079282433983858116725225851973886/51672166306516682092894591433499\ 416878788985395627755880806850883147384482500478523127685341753*c_0\ 101_6^19 + 10893230275807228049175618581374840979341690777392217303\ 447563713409161782433687963414169059487978996/516721663065166820928\ 9459143349941687878898539562775588080685088314738448250047852312768\ 5341753*c_0101_6^18 - 334537354251691523393508093777886820870646207\ 58085287177797302835480580074031645939290476028560208986/5167216630\ 6516682092894591433499416878788985395627755880806850883147384482500\ 478523127685341753*c_0101_6^17 - 2051528954314470302730989337925836\ 9380002585500114520701835973383159678164572325783180028667401537721\ /516721663065166820928945914334994168787889853956277558808068508831\ 47384482500478523127685341753*c_0101_6^16 + 5729658626635305538480194596109902242695614728576112204050322455510\ 1746221946116003070336722406619103/51672166306516682092894591433499\ 416878788985395627755880806850883147384482500478523127685341753*c_0\ 101_6^15 + 83010066661932554978044365161647479050860751023403539007\ 72027035717757281980194229589011422208715558/5167216630651668209289\ 4591433499416878788985395627755880806850883147384482500478523127685\ 341753*c_0101_6^14 - 6104321254333900081861308016419909966704865655\ 7096386698374799764591119324144241136567532194834699135/51672166306\ 5166820928945914334994168787889853956277558808068508831473844825004\ 78523127685341753*c_0101_6^13 + 15022726184541974232342127901579282\ 309610050464838956637001581459537726879440569291057439056968433882/\ 5167216630651668209289459143349941687878898539562775588080685088314\ 7384482500478523127685341753*c_0101_6^12 + 3578728189996434454304194022383905094567643277967321075074466344056\ 9848375379694770585982356676849842/51672166306516682092894591433499\ 416878788985395627755880806850883147384482500478523127685341753*c_0\ 101_6^11 - 22419341625064431148365940053284837105553216354103667009\ 912636428557664787141726760746823578353590166/516721663065166820928\ 9459143349941687878898539562775588080685088314738448250047852312768\ 5341753*c_0101_6^10 - 950578487090558492166238643447609207398502018\ 7701047499368746520668735713850278427286356621620672462/51672166306\ 5166820928945914334994168787889853956277558808068508831473844825004\ 78523127685341753*c_0101_6^9 + 118551712025454422614957200674855845\ 85721315852109519099268013127134415812043895288405917198964926090/5\ 1672166306516682092894591433499416878788985395627755880806850883147\ 384482500478523127685341753*c_0101_6^8 - 1665012590201553870965535554971483476105157303665840181366635540748\ 5554797478277384577044921719272/51672166306516682092894591433499416\ 878788985395627755880806850883147384482500478523127685341753*c_0101\ _6^7 - 263883308550472120190509241643704382104364295452455709058200\ 7633990499902694912992912821621056192317/51672166306516682092894591\ 4334994168787889853956277558808068508831473844825004785231276853417\ 53*c_0101_6^6 + 491621330633242942040489850206162576874192676201385\ 530103923496078012711793845099981067016472429780/516721663065166820\ 9289459143349941687878898539562775588080685088314738448250047852312\ 7685341753*c_0101_6^5 + 1854949654664074096936294562494323203150651\ 36022180245607382333057485484178360424294032084707335043/5167216630\ 6516682092894591433499416878788985395627755880806850883147384482500\ 478523127685341753*c_0101_6^4 - 73167175159098200671491797968473165\ 549710515289868655581188656082028264974918638469294027857706309/516\ 7216630651668209289459143349941687878898539562775588080685088314738\ 4482500478523127685341753*c_0101_6^3 + 5947755150889737893321314177028090812014446438983033152827939104796\ 867253077254855794322662067231/516721663065166820928945914334994168\ 78788985395627755880806850883147384482500478523127685341753*c_0101_\ 6^2 + 1944331001401022116041857756276897137472862832775616176905337\ 484350621653358262474487929815156501/516721663065166820928945914334\ 99416878788985395627755880806850883147384482500478523127685341753*c\ _0101_6 - 277249834961794191394679312878270262373461749702556296690\ 410310136470809270653061223546443643665/516721663065166820928945914\ 3349941687878898539562775588080685088314738448250047852312768534175\ 3, c_0101_2 + 390224313078472250616875054071295008008648229888431039699107\ 97037507765241318180448065204121834/5167216630651668209289459143349\ 9416878788985395627755880806850883147384482500478523127685341753*c_\ 0101_6^28 + 4234261161901846629722806817262778231087471788697052448\ 90239201852058618867532668642623325693231/5167216630651668209289459\ 1433499416878788985395627755880806850883147384482500478523127685341\ 753*c_0101_6^27 + 2333872818204821751427201948436102780055142168068\ 507606606974488537681025610475581846369291791243/516721663065166820\ 9289459143349941687878898539562775588080685088314738448250047852312\ 7685341753*c_0101_6^26 + 133851670490639213983756252220634677594386\ 68298745044592078918683245792502840903065609265020027566/5167216630\ 6516682092894591433499416878788985395627755880806850883147384482500\ 478523127685341753*c_0101_6^25 - 1962574104692499900111694640552680\ 8127060514126245163266297464717353789421804077920634593479276057/51\ 6721663065166820928945914334994168787889853956277558808068508831473\ 84482500478523127685341753*c_0101_6^24 - 9579105354354780308844721000897898104377877961341417047584963195333\ 20695913843113880489611431774399/5167216630651668209289459143349941\ 6878788985395627755880806850883147384482500478523127685341753*c_010\ 1_6^23 - 1388222757290549886140365251391280964987501771130060475186\ 21150383598340705084099785495354815980555/5167216630651668209289459\ 1433499416878788985395627755880806850883147384482500478523127685341\ 753*c_0101_6^22 + 4770272193235587657650338235103664923725242740224\ 927943306126553894247382686495815878990939526483461/516721663065166\ 8209289459143349941687878898539562775588080685088314738448250047852\ 3127685341753*c_0101_6^21 + 201649952409547937432260492410420889227\ 9728070316568765344459968927628300988506185520500864477414912/51672\ 1663065166820928945914334994168787889853956277558808068508831473844\ 82500478523127685341753*c_0101_6^20 - 8865226526165369241013922165199849360661879362276979928864263331542\ 439893005913719604370226149148894/516721663065166820928945914334994\ 16878788985395627755880806850883147384482500478523127685341753*c_01\ 01_6^19 - 707940520789455399609282562651190908334959383796888669839\ 5317620312497481159776878055713680126582673/51672166306516682092894\ 5914334994168787889853956277558808068508831473844825004785231276853\ 41753*c_0101_6^18 + 13665125505820420973683809505550103333764592142\ 468912681387731281533723888737315825625076944249062845/516721663065\ 1668209289459143349941687878898539562775588080685088314738448250047\ 8523127685341753*c_0101_6^17 + 125001486580509642756130828818971264\ 26014495216915985989621710583388733048562138587808109157301954874/5\ 1672166306516682092894591433499416878788985395627755880806850883147\ 384482500478523127685341753*c_0101_6^16 - 2344795538534768383460462006216812738746644526399703758190868882771\ 6235239714458544012469641336352975/51672166306516682092894591433499\ 416878788985395627755880806850883147384482500478523127685341753*c_0\ 101_6^15 - 89184032912203701593643246230016031093229483440180420454\ 66091505259620336082288152649013238541552209/5167216630651668209289\ 4591433499416878788985395627755880806850883147384482500478523127685\ 341753*c_0101_6^14 + 2588555911425603305551995818064505047970637638\ 3175615708252721305303494090343548291482021387178285436/51672166306\ 5166820928945914334994168787889853956277558808068508831473844825004\ 78523127685341753*c_0101_6^13 - 14802727808156226078765678116075137\ 11031152903569909889186593162919734009384219121946162529687397916/5\ 1672166306516682092894591433499416878788985395627755880806850883147\ 384482500478523127685341753*c_0101_6^12 - 1647465050098379624653553436274405352020617238367678922412613264898\ 4455454605771270133462636107329635/51672166306516682092894591433499\ 416878788985395627755880806850883147384482500478523127685341753*c_0\ 101_6^11 + 69397304184194515641832767024501036837410569866218027492\ 81243132346567370886428688568017027379971513/5167216630651668209289\ 4591433499416878788985395627755880806850883147384482500478523127685\ 341753*c_0101_6^10 + 5601726072918251988488028529968192827957305501\ 971650736257146648217406681225807239184672177945481112/516721663065\ 1668209289459143349941687878898539562775588080685088314738448250047\ 8523127685341753*c_0101_6^9 - 4277243225077650645914515403254849314\ 820861523206685016713074543855833952946417092052412646132233763/516\ 7216630651668209289459143349941687878898539562775588080685088314738\ 4482500478523127685341753*c_0101_6^8 - 7304939947209289491571979775308008257642605092066381608570699168826\ 89962509337556739741566635180756/5167216630651668209289459143349941\ 6878788985395627755880806850883147384482500478523127685341753*c_010\ 1_6^7 + 10264583780849415817139527673397376560293163919611780625933\ 89241304472640078071929786027112401273416/5167216630651668209289459\ 1433499416878788985395627755880806850883147384482500478523127685341\ 753*c_0101_6^6 - 74173310851440583364187166750607597275096369100171\ 754774531206008292367584637843338116435644815581/516721663065166820\ 9289459143349941687878898539562775588080685088314738448250047852312\ 7685341753*c_0101_6^5 - 8700396396169586083466175076275190454642204\ 8845524750894664171198919820859169333120640229234530796/51672166306\ 5166820928945914334994168787889853956277558808068508831473844825004\ 78523127685341753*c_0101_6^4 + 237444615037207671878242283988181616\ 83829198499244860209837777417157109792110442585068139297106593/5167\ 2166306516682092894591433499416878788985395627755880806850883147384\ 482500478523127685341753*c_0101_6^3 - 2081375529717122459046470606808864458468358985363127150050159126903\ 1549835737130176284156910259/51672166306516682092894591433499416878\ 788985395627755880806850883147384482500478523127685341753*c_0101_6^\ 2 - 903678623089176687457215093060155625396475267551263620915097248\ 056501973817513700491935159387877/516721663065166820928945914334994\ 16878788985395627755880806850883147384482500478523127685341753*c_01\ 01_6 + 551438411347171398165291727081619017113903083589260823811489\ 15317962382039560216440628454134917/5167216630651668209289459143349\ 9416878788985395627755880806850883147384482500478523127685341753, c_0101_6^29 + 21/2*c_0101_6^28 + 56*c_0101_6^27 + 322*c_0101_6^26 - 1247/2*c_0101_6^25 - 48745/2*c_0101_6^24 + 10103/2*c_0101_6^23 + 123537*c_0101_6^22 + 9079*c_0101_6^21 - 245436*c_0101_6^20 - 206349/2*c_0101_6^19 + 413470*c_0101_6^18 + 400301/2*c_0101_6^17 - 711595*c_0101_6^16 - 21794*c_0101_6^15 + 1481453/2*c_0101_6^14 - 528225/2*c_0101_6^13 - 407182*c_0101_6^12 + 638673/2*c_0101_6^11 + 82033*c_0101_6^10 - 312341/2*c_0101_6^9 + 35667/2*c_0101_6^8 + 63483/2*c_0101_6^7 - 20327/2*c_0101_6^6 - 1463*c_0101_6^5 + 2441/2*c_0101_6^4 - 393/2*c_0101_6^3 - 29/2*c_0101_6^2 + 7*c_0101_6 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.260 seconds, Total memory usage: 32.09MB