Magma V2.19-8 Tue Aug 20 2013 16:18:07 on localhost [Seed = 3886447394] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2342 geometric_solution 5.72400717 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.354935848006 0.565749746871 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.644372533286 0.987829919496 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.644372533286 0.987829919496 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.641535024470 1.489004939540 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.498706230195 1.715408874720 3 5 5 3 3201 3201 2310 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.656059662698 0.431699258405 4 4 6 6 0132 3201 1230 3012 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 -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.255488976523 0.220200258688 ==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_4'], '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' : d['c_0101_1'], '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: 31 Groebner basis: [ t - 4602199401803964843404118273925429383466869791525082117713374206112\ 5693868818522/25142884345105135462114368119131241334123239836920620\ 1002042721093018113921257*c_0101_4^30 + 9932210819397135712871368313437186230614186729584792451394209281983\ 4498650075353/25142884345105135462114368119131241334123239836920620\ 1002042721093018113921257*c_0101_4^29 + 4227678292402201529523658650839529810950578135449806332917687146090\ 504633470949680/251428843451051354621143681191312413341232398369206\ 201002042721093018113921257*c_0101_4^28 + 1073283309150020673339125580381478198809083358662565632404949628579\ 6093232811448308/25142884345105135462114368119131241334123239836920\ 6201002042721093018113921257*c_0101_4^27 - 4278927158406001331203799962421298867467927892829908962741359314607\ 6803682878176760/25142884345105135462114368119131241334123239836920\ 6201002042721093018113921257*c_0101_4^26 - 2107777430108771456394863213270493645764191111162714892559638318908\ 76229917060944095/2514288434510513546211436811913124133412323983692\ 06201002042721093018113921257*c_0101_4^25 - 8284010256540012079318064588131970854831537472407657080816806545045\ 394972018885006/359184062072930506601633830273303447630331997670294\ 57286006103013288301988751*c_0101_4^24 + 1535373628616883068340303383238797738648109477065145340217428738258\ 56578108638860997/2285716758645921405646760738102840121283930894265\ 5109182003883735728919447387*c_0101_4^23 + 2360167248169939510250031945554338284305908979630697114688266034509\ 517205562974309666/251428843451051354621143681191312413341232398369\ 206201002042721093018113921257*c_0101_4^22 - 8379759517575600754855177074655131361117207365122327162868558734638\ 486358819972815986/251428843451051354621143681191312413341232398369\ 206201002042721093018113921257*c_0101_4^21 - 1043632074562456417006046827334011179332691978610907816642162863719\ 3925393171592907215/25142884345105135462114368119131241334123239836\ 9206201002042721093018113921257*c_0101_4^20 + 2820702308639915277497546387884814151303809220896158604144245870852\ 2089699178417971518/25142884345105135462114368119131241334123239836\ 9206201002042721093018113921257*c_0101_4^19 + 1297550877739689798729089056468696412306365596380202046486202856140\ 9823407305108704142/25142884345105135462114368119131241334123239836\ 9206201002042721093018113921257*c_0101_4^18 - 5520492328644158848232103573340475647462120152284646575612752715508\ 2286312745988878083/25142884345105135462114368119131241334123239836\ 9206201002042721093018113921257*c_0101_4^17 + 1856806948933968199178289599498936131032203152017346666265460996891\ 9360723234866605150/25142884345105135462114368119131241334123239836\ 9206201002042721093018113921257*c_0101_4^16 + 4191444693162396107420881036794969997255621546647041611015684025028\ 1601090612077171360/25142884345105135462114368119131241334123239836\ 9206201002042721093018113921257*c_0101_4^15 - 5333210568143834030397702136631921991547477548111346128515893355520\ 1819938352224323100/25142884345105135462114368119131241334123239836\ 9206201002042721093018113921257*c_0101_4^14 + 2564128154800447299686658057859487519663613189615182679489576973592\ 611126651360453845/359184062072930506601633830273303447630331997670\ 29457286006103013288301988751*c_0101_4^13 + 2330619301825829647193421454402385726014917705377807798637448883069\ 3885465841899389914/25142884345105135462114368119131241334123239836\ 9206201002042721093018113921257*c_0101_4^12 - 3755749402782299708809268801166025801887264686218468226978744263287\ 227049861238892762/359184062072930506601633830273303447630331997670\ 29457286006103013288301988751*c_0101_4^11 + 1168507444515079390083683505098689608716733394183160199384791510122\ 007426013927851865/251428843451051354621143681191312413341232398369\ 206201002042721093018113921257*c_0101_4^10 + 8892378796630583862090161923170172107481526146566369124784350192381\ 461111239097382936/251428843451051354621143681191312413341232398369\ 206201002042721093018113921257*c_0101_4^9 - 3210262053933319343091939093053119844841212576460595163546685981927\ 43400717208951321/3591840620729305066016338302733034476303319976702\ 9457286006103013288301988751*c_0101_4^8 - 1314565871868912236771187333039811040824402870825106013872015079722\ 734272186028340585/251428843451051354621143681191312413341232398369\ 206201002042721093018113921257*c_0101_4^7 + 3693751845778417809506591778070089393711210309370839824715880819916\ 9606957545473550/22857167586459214056467607381028401212839308942655\ 109182003883735728919447387*c_0101_4^6 + 8300726638873980942120124982915670433813094662107129639711433594530\ 6650324902803968/25142884345105135462114368119131241334123239836920\ 6201002042721093018113921257*c_0101_4^5 - 1850114958980895904337592405968949193687225055032783871748633713505\ 7824239451634609/25142884345105135462114368119131241334123239836920\ 6201002042721093018113921257*c_0101_4^4 + 1953654705479437068830700465247398825210065511859051297155734645640\ 790999554895323/251428843451051354621143681191312413341232398369206\ 201002042721093018113921257*c_0101_4^3 - 8377483348735467968769844986351380634758269085968324663678101683857\ 47514636844862/2514288434510513546211436811913124133412323983692062\ 01002042721093018113921257*c_0101_4^2 - 6110740299906052055293790401711275010946761355369278812056057090149\ 80883704922529/2514288434510513546211436811913124133412323983692062\ 01002042721093018113921257*c_0101_4 - 1204815227924553804723947596820561725960602065926964429663541001639\ 2647693136748/25142884345105135462114368119131241334123239836920620\ 1002042721093018113921257, c_0011_0 - 1, c_0011_1 - 843049087488717913717688123510969981327474464889790953816379\ 6965403270887249/32653096552084591509239439115754858875484727060935\ 87026000554819389845635341*c_0101_4^30 + 1906587667349135328865579801288458800221786219096347400948618973879\ 2411059389/32653096552084591509239439115754858875484727060935870260\ 00554819389845635341*c_0101_4^29 + 7730038306714228427063972468788998338779560298901129871474395900102\ 35788270692/3265309655208459150923943911575485887548472706093587026\ 000554819389845635341*c_0101_4^28 + 1885415654694139037452598297877035704978316562925620756237307555348\ 316215933291/326530965520845915092394391157548588754847270609358702\ 6000554819389845635341*c_0101_4^27 - 8082793314587406337583421315073236858425205555864055611074556622541\ 499799764343/326530965520845915092394391157548588754847270609358702\ 6000554819389845635341*c_0101_4^26 - 3793711129145125972149381793459474822205565557401306223373585008937\ 3967400300489/32653096552084591509239439115754858875484727060935870\ 26000554819389845635341*c_0101_4^25 - 6320778930327709884608204145026770261604534528123403015119063317354\ 116782216515/326530965520845915092394391157548588754847270609358702\ 6000554819389845635341*c_0101_4^24 + 3127832184647898416712491399365302115000961728555637555186912213352\ 38871525876644/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^23 + 4027024387411981545767846284652327009732220759141004395446551345206\ 53592910471649/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^22 - 1594544127398695700676707521062077910917212382945342125367133058294\ 499662951185328/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^21 - 1788062779932062999632528492436288465556790915379627011810901685690\ 313749421574967/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^20 + 5420317830812187867515152645259232048975926359254134937663863374535\ 080784488354351/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^19 + 1994335150614392139197787605648745660066847811759230011165368876078\ 738285724228762/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^18 - 1052196039197635438936940601660858497034884338621136305151537064314\ 9750381760562757/32653096552084591509239439115754858875484727060935\ 87026000554819389845635341*c_0101_4^17 + 4163092352527623357998382148924902171144598459039331856081682971043\ 966351511627067/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^16 + 7676753899866564688401209383548855404398092463621452333233244868467\ 674470533591335/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^15 - 1042021717084009318128840514449680498587504458738457952441059090619\ 7850523978826834/32653096552084591509239439115754858875484727060935\ 87026000554819389845635341*c_0101_4^14 + 3913598846531497901681195988887615918973934171127286986743738345736\ 242430321088977/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^13 + 4151536489016671155050491818227285823406510972871387311429349877089\ 366521181095730/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^12 - 5176314145042572766278219846307746636880110083268597549498538844041\ 789441727501065/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^11 + 4629382567955218854686701790524916279760503961830630014592414635608\ 25423725891616/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^10 + 1690085192650242983732983680117947946630548866315115801377460959673\ 338962102797688/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^9 - 4867956839338554304085542674818371554661969196612530128647430108258\ 56842124738259/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^8 - 2462670354133855966147377967146374551154021191678039189258752547834\ 59990025195419/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^7 + 8278020809743711765144874149645196935423204610687430657110448868918\ 5738419335403/32653096552084591509239439115754858875484727060935870\ 26000554819389845635341*c_0101_4^6 + 1650791781597854103142866267577986181276029079310942267796441711040\ 8640015889506/32653096552084591509239439115754858875484727060935870\ 26000554819389845635341*c_0101_4^5 - 3530656911860874153948069484737587267218148910375557902507519512935\ 209640406575/326530965520845915092394391157548588754847270609358702\ 6000554819389845635341*c_0101_4^4 + 1723406273802205174251690313439453330098205954462453119595309163902\ 72092942796/3265309655208459150923943911575485887548472706093587026\ 000554819389845635341*c_0101_4^3 - 1558054657473099729683892758503119345414499801600643801798620616403\ 55278458785/3265309655208459150923943911575485887548472706093587026\ 000554819389845635341*c_0101_4^2 - 1114743183357117747349136984477025580530667355165818413152307694556\ 76985053922/3265309655208459150923943911575485887548472706093587026\ 000554819389845635341*c_0101_4 - 7461402210015629257565763709274044\ 660282137297257843862806082397123238323527/326530965520845915092394\ 3911575485887548472706093587026000554819389845635341, c_0011_4 + 142312057271252918604840399318380451431323139694713050264946\ 55245231899947762/3265309655208459150923943911575485887548472706093\ 587026000554819389845635341*c_0101_4^30 - 3232016020520822322003522501910113855702368829694332944932528174315\ 4118280012/32653096552084591509239439115754858875484727060935870260\ 00554819389845635341*c_0101_4^29 - 1304217365029799111027822757603264838377002817621789464159835794108\ 220173813967/326530965520845915092394391157548588754847270609358702\ 6000554819389845635341*c_0101_4^28 - 3171096205239595070869759662581257800970892627896967108966975380550\ 568812875997/326530965520845915092394391157548588754847270609358702\ 6000554819389845635341*c_0101_4^27 + 1364224091194602954165929643458806570204810908701502059583222704738\ 3671492893875/32653096552084591509239439115754858875484727060935870\ 26000554819389845635341*c_0101_4^26 + 6383385511412917634132806873989880105028954300410434652208986640845\ 5458099918659/32653096552084591509239439115754858875484727060935870\ 26000554819389845635341*c_0101_4^25 + 1039793479802042114477522929477258280207485732665631264975868123501\ 4707898162093/32653096552084591509239439115754858875484727060935870\ 26000554819389845635341*c_0101_4^24 - 5265637532050092018058931808841888039430518972843462878681206855390\ 04819379079247/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^23 - 6745555591918517120864202490462942699305699518533852365771102865263\ 36535560196151/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^22 + 2685478438347446940400462563578909558907855448321508429803916103617\ 424935807233690/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^21 + 2977326272839729525846628990138117477651562346720738820703968382676\ 046962036272183/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^20 - 9113577817017420997119926417439510279171335020856200529900311834053\ 057952876328789/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^19 - 3217147915687917703455035613051145031904837232271645925158688799296\ 124297225758956/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^18 + 1757615051888062567780998829378705277818175539194164653263505812547\ 1843012163583472/32653096552084591509239439115754858875484727060935\ 87026000554819389845635341*c_0101_4^17 - 7230478801247972107876897967978238871824071028611783807878613752406\ 948604385143512/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^16 - 1250066988086472757978287689239670200266518723201558715913307858653\ 4264305019388194/32653096552084591509239439115754858875484727060935\ 87026000554819389845635341*c_0101_4^15 + 1745650870825523583075854458556269606510518939928087776606172643609\ 1120051588704911/32653096552084591509239439115754858875484727060935\ 87026000554819389845635341*c_0101_4^14 - 6962288926276915621761168831162002623995416222359008910979630650694\ 770426510868669/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^13 - 6506017050051390604143240546571875458392809628896085142623441127013\ 599223838620781/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^12 + 8511016216372057281174453439672295620261743079955562181532263107221\ 009728222546162/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^11 - 9136789869547617369923414016490668361840877417486494801549008046160\ 31662226101665/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^10 - 2654425733107693317339599583066317772699640171142992093776902726710\ 702998652478810/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^9 + 7666971731829652176300590676810698523648881395133304744582733215297\ 11541692883830/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^8 + 3873302684163891137791411768354962765417777255067835292780321829169\ 46513891406605/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^7 - 1196601175960018638460164376603882826577380213113980190664556316895\ 14350051825876/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^6 - 2950887833727448037587627571067527659136884940885598059131270441181\ 7758042120059/32653096552084591509239439115754858875484727060935870\ 26000554819389845635341*c_0101_4^5 + 4202622083177435126218649270694376538846785007590030719362576181202\ 392338475322/326530965520845915092394391157548588754847270609358702\ 6000554819389845635341*c_0101_4^4 - 8206493482343136002258546237202909751028182998453855179904730409055\ 083575348/326530965520845915092394391157548588754847270609358702600\ 0554819389845635341*c_0101_4^3 + 3180909543671325917301826217524718\ 18792059844511558413188829472010621719510631/3265309655208459150923\ 943911575485887548472706093587026000554819389845635341*c_0101_4^2 + 2005343510552329912698672195115551959874959620951176911661750485562\ 24409974214/3265309655208459150923943911575485887548472706093587026\ 000554819389845635341*c_0101_4 + 2071465740135157996440896846874234\ 7291267506720516777536695190416085371477601/32653096552084591509239\ 43911575485887548472706093587026000554819389845635341, c_0011_5 - 160927940846146689103884952241594664049348216676285896876607\ 01315986002531124/3265309655208459150923943911575485887548472706093\ 587026000554819389845635341*c_0101_4^30 + 3481310588761017514861763548078947783961066958576480352703760959575\ 7404481563/32653096552084591509239439115754858875484727060935870260\ 00554819389845635341*c_0101_4^29 + 1478969938562213141811250872983367569831199745772797543308597330812\ 264275127129/326530965520845915092394391157548588754847270609358702\ 6000554819389845635341*c_0101_4^28 + 3744259905136706465000913047310232210509459020633479878323506361326\ 892168600434/326530965520845915092394391157548588754847270609358702\ 6000554819389845635341*c_0101_4^27 - 1505879284814053883797855722247565030332286076162333063609257812633\ 9462367211864/32653096552084591509239439115754858875484727060935870\ 26000554819389845635341*c_0101_4^26 - 7387790198026279614831576954437214671725136266783236637425725258463\ 5844326678910/32653096552084591509239439115754858875484727060935870\ 26000554819389845635341*c_0101_4^25 - 1930812545329350909324048179332564665964337296810604991874009671212\ 6135170083993/32653096552084591509239439115754858875484727060935870\ 26000554819389845635341*c_0101_4^24 + 5949291707599789877538168176028379468848254482914636350757823506152\ 10512393002460/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^23 + 8264130165579799480705373413153931158473928094124390995317316592469\ 28630672556987/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^22 - 2962080241849687303876073372950002466294765533087523242586706546893\ 115868457098598/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^21 - 3697464352308492999727559352446340250132098688082786731889119489400\ 954874533903848/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^20 + 9988419587819962539058348031090558408825238209164669489955025243607\ 262620459107848/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^19 + 4756812711357944213129717759726577841187261311258406469873358258004\ 283603765074570/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^18 - 1964598800871895639394710247292150247663434222485239343497795427057\ 7915447329241190/32653096552084591509239439115754858875484727060935\ 87026000554819389845635341*c_0101_4^17 + 6108609628523932550680539134209995869167537231314283674643044845387\ 226509692550668/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^16 + 1529606972584752702185941398398352600193489666569210872605993488151\ 9148012836551594/32653096552084591509239439115754858875484727060935\ 87026000554819389845635341*c_0101_4^15 - 1854805614100722907640396809221370441166721087828883227514790625405\ 4934200670583365/32653096552084591509239439115754858875484727060935\ 87026000554819389845635341*c_0101_4^14 + 5679971936224424943532725712090201690241312653440001260314387049283\ 449214689375231/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^13 + 8600040886105180217531359777790679726066503838203653964199964200442\ 524464022710986/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^12 - 9162061852948732168465786625650243088292446706510983834427040159631\ 371082499617714/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^11 + 1966878333530308528914869132953940509244805263345447514007046415328\ 8331552342945/32653096552084591509239439115754858875484727060935870\ 26000554819389845635341*c_0101_4^10 + 3298205854039476679725715493863924411578844270661553823085221209035\ 242036301671065/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^9 - 6679645924934570915865065519216745364502779075156737510333156004784\ 80134670296023/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^8 - 5465373203409684603184751637648356417306454408878009554551872436061\ 80768707479900/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^7 + 1264614041209955525922968980014327477120082617562029774678048478447\ 29911000023922/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^6 + 4340969488028920872022427668845904117658847141430979864451800704428\ 2157181414149/32653096552084591509239439115754858875484727060935870\ 26000554819389845635341*c_0101_4^5 - 5405668902048139079105895900779412344270041302526445083120484766212\ 514880952946/326530965520845915092394391157548588754847270609358702\ 6000554819389845635341*c_0101_4^4 + 3727167709168121147143571312159657998411020583202063098014751685626\ 0708437762/32653096552084591509239439115754858875484727060935870260\ 00554819389845635341*c_0101_4^3 - 271432537922783230369593853218943\ 818929225050688925489574104088983880240399884/326530965520845915092\ 3943911575485887548472706093587026000554819389845635341*c_0101_4^2 - 2586996248134304864004014187295841755121723385853740519856770836965\ 00386517746/3265309655208459150923943911575485887548472706093587026\ 000554819389845635341*c_0101_4 - 2519421606245054982916336088710408\ 5594648430540010592369613709443755745425799/32653096552084591509239\ 43911575485887548472706093587026000554819389845635341, c_0101_0 + 190625023705441402053873353354569712182543589029998546803281\ 09228112608017617/3265309655208459150923943911575485887548472706093\ 587026000554819389845635341*c_0101_4^30 - 4605270978697346550715769064004703338033037004359503148614125554875\ 9038873032/32653096552084591509239439115754858875484727060935870260\ 00554819389845635341*c_0101_4^29 - 1741051742800668409531493767238675584302061663766590513682662434625\ 575163054839/326530965520845915092394391157548588754847270609358702\ 6000554819389845635341*c_0101_4^28 - 3994518662163428079231721740946601005803272302493082044787618464741\ 632783179645/326530965520845915092394391157548588754847270609358702\ 6000554819389845635341*c_0101_4^27 + 1892084174846744985196916087655765328908683665092258887860810183904\ 8978717112087/32653096552084591509239439115754858875484727060935870\ 26000554819389845635341*c_0101_4^26 + 8299135761145089952753218106525568744312605292505054421033674297579\ 8396824174621/32653096552084591509239439115754858875484727060935870\ 26000554819389845635341*c_0101_4^25 + 1390786575185380606533329620411348384253637119271406005212978111111\ 933316247544/326530965520845915092394391157548588754847270609358702\ 6000554819389845635341*c_0101_4^24 - 7093578796910302414896035494242474034049520467804172336414033266603\ 26545191591913/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^23 - 8047061500731907356667964301343010144507270870844497862443735628477\ 74460513704728/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^22 + 3738376507114963706014386219454751277049797276463632774298963622417\ 058115611714728/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^21 + 3504697357963990795614378770191323821929462548543621038769508753816\ 166902439969576/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^20 - 1280801849684770532154845395658214621600079279496775041688230506324\ 5278576260040205/32653096552084591509239439115754858875484727060935\ 87026000554819389845635341*c_0101_4^19 - 2704555009253351518483879555201394859148636082091370725972434434598\ 389248673168360/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^18 + 2420741149927924674617546285164520262345812280537704436625334651838\ 9013488856366767/32653096552084591509239439115754858875484727060935\ 87026000554819389845635341*c_0101_4^17 - 1272886770908703359694157828745791849983624125447478460959716802619\ 4981224867858422/32653096552084591509239439115754858875484727060935\ 87026000554819389845635341*c_0101_4^16 - 1547590525305748900727557082481915831410490066555283480111570001827\ 4669855331768964/32653096552084591509239439115754858875484727060935\ 87026000554819389845635341*c_0101_4^15 + 2540370843869370624485095726231582527883029876147638741532440915389\ 3364277882455037/32653096552084591509239439115754858875484727060935\ 87026000554819389845635341*c_0101_4^14 - 1239747802219190436134612919399577616108835520403282613635917359170\ 9750731859621472/32653096552084591509239439115754858875484727060935\ 87026000554819389845635341*c_0101_4^13 - 7285379845229552187549581369467309894086808241646494319986527045327\ 893129657593434/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^12 + 1235347118040274326007681493208088429153636043910129011407258968478\ 2317453620833624/32653096552084591509239439115754858875484727060935\ 87026000554819389845635341*c_0101_4^11 - 2634759637398597988501866507596467301643513756775521881110175637465\ 683428953662318/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^10 - 3300497883556334051632172200591409140972016190967641343210825104978\ 084900800817523/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^9 + 1362177912726864610988180485546548896807629277194637805276840643618\ 199079427119417/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^8 + 3866580445275162866163690163162517620306258102508399916901951741741\ 93415684354581/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^7 - 1864414830684637570267083402058528487422329958289117887723031052770\ 16165429565660/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^6 - 2408608053876862726481681063520982811672087376040222446769462653352\ 0790816235227/32653096552084591509239439115754858875484727060935870\ 26000554819389845635341*c_0101_4^5 + 5495887761303167979765552640411360255301207485850792288023454569960\ 400044615007/326530965520845915092394391157548588754847270609358702\ 6000554819389845635341*c_0101_4^4 - 2613970816833919131470308252128919640877661187131742745741033677988\ 81571593172/3265309655208459150923943911575485887548472706093587026\ 000554819389845635341*c_0101_4^3 + 5806530953835945026901429869054373684325265704400330207049831535905\ 35384185276/3265309655208459150923943911575485887548472706093587026\ 000554819389845635341*c_0101_4^2 + 2306827793408659683757312157131234780368582760962925395878988193266\ 85153208555/3265309655208459150923943911575485887548472706093587026\ 000554819389845635341*c_0101_4 + 1576299088708083917681860251848075\ 6094018872659889358736288879955879595518607/32653096552084591509239\ 43911575485887548472706093587026000554819389845635341, c_0101_1 - 142752989747059002406938037235034313291663959694016946748395\ 38237929621053657/3265309655208459150923943911575485887548472706093\ 587026000554819389845635341*c_0101_4^30 + 3427136489649132423741756644059343630687027368041755635580514094220\ 4303891909/32653096552084591509239439115754858875484727060935870260\ 00554819389845635341*c_0101_4^29 + 1304482177723913504489530146032599793627593529933679884786581695502\ 720015674624/326530965520845915092394391157548588754847270609358702\ 6000554819389845635341*c_0101_4^28 + 3010779677207935922002035301079741022796425109054667497704263721669\ 505589620637/326530965520845915092394391157548588754847270609358702\ 6000554819389845635341*c_0101_4^27 - 1413691693234165485137912680099971928382738424369949578178865751273\ 1319082278917/32653096552084591509239439115754858875484727060935870\ 26000554819389845635341*c_0101_4^26 - 6239612642247937352947269656506337523207435652624580496212942056512\ 6279878441539/32653096552084591509239439115754858875484727060935870\ 26000554819389845635341*c_0101_4^25 - 1853012335184795526634633094822321054676865305025569666725683299429\ 487696435460/326530965520845915092394391157548588754847270609358702\ 6000554819389845635341*c_0101_4^24 + 5318187854020072917990144222235923549930797225436267471214705046594\ 36858099663078/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^23 + 6108196812180807088061720722401280667568377904312941562203500534011\ 58496234629873/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^22 - 2795339493707135970925079528684303003618600933865131130704802459531\ 339086769745584/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^21 - 2673359964392514820483994178714246298071048973367416723577417496853\ 254390491340441/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^20 + 9576448062502092345890169842855372693531390303355157025110801318755\ 158104487265079/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^19 + 2195568235038641046791357341650833423680815117430587515926349096896\ 295589948089665/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^18 - 1818114548844916545283176083970522393866059672221378937701878651211\ 2798015210911496/32653096552084591509239439115754858875484727060935\ 87026000554819389845635341*c_0101_4^17 + 9243815353761206157795642497283442006006863360937835498767539267376\ 942876273839663/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^16 + 1188914879352182150688149399989217709752223541508587247193524494327\ 1876147108657852/32653096552084591509239439115754858875484727060935\ 87026000554819389845635341*c_0101_4^15 - 1894720083179426904589130349902737893144321898667884887037177279299\ 5806550527115881/32653096552084591509239439115754858875484727060935\ 87026000554819389845635341*c_0101_4^14 + 8910969617910493731496108395135073224526067533140827876291094359984\ 482391960066903/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^13 + 5768505179868193677679558933451128000702124921008477951806172195835\ 424912641254896/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^12 - 9271423319354876120294537060683727573975632210079103905955822660804\ 949227676013033/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^11 + 1806631521743374992834650599645772752239967106887630264201938849375\ 827910112260654/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^10 + 2577531737573395495025266480013162300166693642749185491658593100906\ 284244694959683/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^9 - 1009427171781665020471686704311310040789766938629208291526570337137\ 611008732073640/326530965520845915092394391157548588754847270609358\ 7026000554819389845635341*c_0101_4^8 - 3188928481724137170677619221959889405079565318385809001979469942084\ 88084549520004/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^7 + 1435523275257790558974615980974052329900006328306136499595912012870\ 72325477050159/3265309655208459150923943911575485887548472706093587\ 026000554819389845635341*c_0101_4^6 + 2104332520586119395947777713683524826235986933096453617326880179992\ 4308516296640/32653096552084591509239439115754858875484727060935870\ 26000554819389845635341*c_0101_4^5 - 4551849287659440415207462624107538599354473567243962834622214778443\ 341883289770/326530965520845915092394391157548588754847270609358702\ 6000554819389845635341*c_0101_4^4 + 1185098565806433441296262045849324047082477254183969144988647742651\ 13709850162/3265309655208459150923943911575485887548472706093587026\ 000554819389845635341*c_0101_4^3 - 4238286770091465621987897830405255441029074311951077820324201328854\ 65997438499/3265309655208459150923943911575485887548472706093587026\ 000554819389845635341*c_0101_4^2 - 1866178447811105011006190397259280141755632350579569322070992399298\ 59977760176/3265309655208459150923943911575485887548472706093587026\ 000554819389845635341*c_0101_4 - 1472055228497560072292545149917494\ 5185005575904543395781366785168480937951188/32653096552084591509239\ 43911575485887548472706093587026000554819389845635341, c_0101_4^31 - 3*c_0101_4^30 - 90*c_0101_4^29 - 156*c_0101_4^28 + 1122*c_0101_4^27 + 3789*c_0101_4^26 - 2549*c_0101_4^25 - 37579*c_0101_4^24 - 20435*c_0101_4^23 + 223633*c_0101_4^22 + 72121*c_0101_4^21 - 794835*c_0101_4^20 + 238845*c_0101_4^19 + 1406344*c_0101_4^18 - 1407116*c_0101_4^17 - 519887*c_0101_4^16 + 1874090*c_0101_4^15 - 1377216*c_0101_4^14 - 113255*c_0101_4^13 + 939355*c_0101_4^12 - 498422*c_0101_4^11 - 145209*c_0101_4^10 + 191848*c_0101_4^9 - 11317*c_0101_4^8 - 28772*c_0101_4^7 + 4068*c_0101_4^6 + 1832*c_0101_4^5 - 217*c_0101_4^4 + 23*c_0101_4^3 - 2*c_0101_4^2 - 9*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB