Magma V2.19-8 Tue Aug 20 2013 16:18:05 on localhost [Seed = 3852761389] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2317 geometric_solution 5.71034725 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 1.618819360692 0.223394968008 0 2 2 0 3201 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.279459910459 0.530382294720 3 1 1 4 0132 0132 1023 0132 0 0 0 0 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 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.358088600540 0.457370662285 2 5 4 6 0132 0132 1302 0132 0 0 0 0 0 0 -1 1 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 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.471584065567 0.656250502573 3 6 2 5 2031 2310 0132 0132 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 0 -1 0 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.471584065567 0.656250502573 5 3 4 5 3201 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.815719238959 0.884458564260 6 6 3 4 1230 3012 0132 3201 0 0 0 0 0 1 -1 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 -1 1 0 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.442201608590 0.668009381558 ==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_0011_4']), 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 1354286812570286521198441072084451023122675496084184490470245323793\ 33414785353/1257675828852818702225340251491694505090097626812657945\ 1258035676961208500*c_0101_5^35 + 153341567814039604760047476821673\ 8275253602362216381094164324082103488063807387/25153516577056374044\ 506805029833890101801952536253158902516071353922417000*c_0101_5^34 - 3945982964292651537828279604684848418864843699775579889300404214553\ 089738652277/628837914426409351112670125745847252545048813406328972\ 5629017838480604250*c_0101_5^33 - 394460964615892412257581853214029\ 47002200566372617211848313041978790270160962393/2515351657705637404\ 4506805029833890101801952536253158902516071353922417000*c_0101_5^32 + 12524074827209065862663896287130565248248701077664902376136749298\ 4473127826522687/12576758288528187022253402514916945050900976268126\ 579451258035676961208500*c_0101_5^31 + 6676101035084153100167816273287889049846891622049476114900894775365\ 07198239497959/2515351657705637404450680502983389010180195253625315\ 8902516071353922417000*c_0101_5^30 - 1248572634435361606559808263899983445914568151000341464105592603260\ 830398669134247/125767582885281870222534025149169450509009762681265\ 79451258035676961208500*c_0101_5^29 - 2400551632501192202890303822349678420680701442326572474061767456242\ 51073471233403/1006140663082254961780272201193355604072078101450126\ 356100642854156896680*c_0101_5^28 + 1764900299888037646991423953981274475292023908940713650617029352035\ 4273412992464623/25153516577056374044506805029833890101801952536253\ 158902516071353922417000*c_0101_5^27 + 6168376015810846007892882887612725820218346382292871317609013628059\ 496835606335279/503070331541127480890136100596677802036039050725063\ 1780503214270784483400*c_0101_5^26 - 2133291230235461057481194997432960614332506287739232749286977337585\ 5520907744748057/62883791442640935111267012574584725254504881340632\ 89725629017838480604250*c_0101_5^25 - 1243542727525248600356696895514107694903427752717922369552242232146\ 2123411708076351/31441895721320467555633506287292362627252440670316\ 44862814508919240302125*c_0101_5^24 + 1396016737043397865818307446512379239988727123021719612660208570942\ 70835383835179289/1257675828852818702225340251491694505090097626812\ 6579451258035676961208500*c_0101_5^23 + 1095192615983430672874988278620396785447241534746595589879442005261\ 42444663804301943/1257675828852818702225340251491694505090097626812\ 6579451258035676961208500*c_0101_5^22 - 1568247678458188633558872702790484667627143337303159410039924188182\ 09564114603960607/6288379144264093511126701257458472525450488134063\ 289725629017838480604250*c_0101_5^21 - 9011699972094621520469782303959247382688867587348789399990283846311\ 357263103856962/628837914426409351112670125745847252545048813406328\ 972562901783848060425*c_0101_5^20 + 2459666110154547398730415851499115499673817728548443784164797163001\ 36104869438650023/6288379144264093511126701257458472525450488134063\ 289725629017838480604250*c_0101_5^19 + 4830246975328712763093352710703431383883349848817260804008421088926\ 61452679025410643/2515351657705637404450680502983389010180195253625\ 3158902516071353922417000*c_0101_5^18 - 1082288504410682835670125225440025229043497998498750090227612550255\ 1793282958921813/25153516577056374044506805029833890101801952536253\ 1589025160713539224170*c_0101_5^17 - 2691795065533865831372768238558788417200444463958210649391395632562\ 5406716238259329/12576758288528187022253402514916945050900976268126\ 57945125803567696120850*c_0101_5^16 + 8216750683797821846322521319092249303880149575904468624468442821582\ 00063573311210511/2515351657705637404450680502983389010180195253625\ 3158902516071353922417000*c_0101_5^15 + 4662250559780006973955637462944082081428267971858761751223007691922\ 72022407627604561/2515351657705637404450680502983389010180195253625\ 3158902516071353922417000*c_0101_5^14 - 2061210282115560599669025127428483421455439633301011803199535969691\ 21364762689168199/1257675828852818702225340251491694505090097626812\ 6579451258035676961208500*c_0101_5^13 - 7084615750184680120035395452090722475387036560823901907064565818592\ 8208438173988707/62883791442640935111267012574584725254504881340632\ 89725629017838480604250*c_0101_5^12 + 6352325502454173590966776050602923998601339390610806744575056771805\ 343125957789219/125767582885281870222534025149169450509009762681265\ 7945125803567696120850*c_0101_5^11 + 1107141758494997465123101852560142865180490565598555339922418811224\ 34137594622475261/2515351657705637404450680502983389010180195253625\ 3158902516071353922417000*c_0101_5^10 - 4423853784355297479347424460662355941117175389076869208155976244507\ 362914937154697/503070331541127480890136100596677802036039050725063\ 1780503214270784483400*c_0101_5^9 - 6549504279585988247209236183575050317717542190627599128097704399013\ 15536832096877/6288379144264093511126701257458472525450488134063289\ 72562901783848060425*c_0101_5^8 + 234810168163224245319052407766537\ 6369763384703110211612858572620090214677719726891/25153516577056374\ 044506805029833890101801952536253158902516071353922417000*c_0101_5^\ 7 + 371398291638257716654667360338171199227931094593663629900440345\ 1594541692196330743/25153516577056374044506805029833890101801952536\ 253158902516071353922417000*c_0101_5^6 - 3732776080542873139499117873761850868988248740424690184544121155841\ 5622633674483/31441895721320467555633506287292362627252440670316448\ 62814508919240302125*c_0101_5^5 - 348314915133774811801699433647294\ 024975489068362592218049260481090521189353422311/251535165770563740\ 44506805029833890101801952536253158902516071353922417000*c_0101_5^4 + 38828967855011786612968098554133738734991308711187762404780294128\ 94589118646863/3144189572132046755563350628729236262725244067031644\ 862814508919240302125*c_0101_5^3 + 2143541643015107523323341219453833351613502986437623278919864545028\ 0434848094401/25153516577056374044506805029833890101801952536253158\ 902516071353922417000*c_0101_5^2 - 6042711076572681024194272321159153379539173674500151590266161434925\ 11649183859/2515351657705637404450680502983389010180195253625315890\ 2516071353922417000*c_0101_5 - 443549777303914912845023493937451628\ 989676233521945805528216383975723548921823/251535165770563740445068\ 05029833890101801952536253158902516071353922417000, c_0011_0 - 1, c_0011_1 + 111271882053148044509485959209023606422212952713929300749310\ 416578020391146/628837914426409351112670125745847252545048813406328\ 972562901783848060425*c_0101_5^35 + 6276052757451803554136446467958115224423592839768026772898002332826\ 99046787/6288379144264093511126701257458472525450488134063289725629\ 01783848060425*c_0101_5^34 - 64966594073693369580294304672413223439\ 69116671260895238401634317808963030548/6288379144264093511126701257\ 45847252545048813406328972562901783848060425*c_0101_5^33 - 1606407209459506326969083975869698240131002319176005374049795396893\ 0973997588/62883791442640935111267012574584725254504881340632897256\ 2901783848060425*c_0101_5^32 + 103190174918760669694816746629869985\ 592047690610817647150010550772334692756599/628837914426409351112670\ 125745847252545048813406328972562901783848060425*c_0101_5^31 + 2719996649983271585519377369736300310972316854809607998464593926139\ 62380429754/6288379144264093511126701257458472525450488134063289725\ 62901783848060425*c_0101_5^30 - 10307950221883094463497708138938351\ 03681279277014688120231786810073555774320979/6288379144264093511126\ 70125745847252545048813406328972562901783848060425*c_0101_5^29 - 4884364660801804003031887005011396075773612335969568934341308121270\ 73763256631/1257675828852818702225340251491694505090097626812657945\ 12580356769612085*c_0101_5^28 + 72936303682160517093369857551911913\ 03303512946696799903250688319002840650858658/6288379144264093511126\ 70125745847252545048813406328972562901783848060425*c_0101_5^27 + 2500653896251080886493311990279977256186110067898397366711046537834\ 808827667202/125767582885281870222534025149169450509009762681265794\ 512580356769612085*c_0101_5^26 - 3525931922201026437263436542381382\ 3350368796649190891507666578634265054808672668/62883791442640935111\ 2670125745847252545048813406328972562901783848060425*c_0101_5^25 - 4006695751000236561400776299332902221922268251740845136680059395177\ 8017474246203/62883791442640935111267012574584725254504881340632897\ 2562901783848060425*c_0101_5^24 + 115261203946386361648044925722422\ 651806389068107211345347411912390901083149300188/628837914426409351\ 112670125745847252545048813406328972562901783848060425*c_0101_5^23 + 8741277803523278738979401788790070359529945927605784382865506858226\ 9486848174766/62883791442640935111267012574584725254504881340632897\ 2562901783848060425*c_0101_5^22 - 258649965851553678166292708534894\ 564465230398027433346586678743015914358319212248/628837914426409351\ 112670125745847252545048813406328972562901783848060425*c_0101_5^21 - 2849212609706870916736667038426493302384687668992485734431285304265\ 9968837859348/12576758288528187022253402514916945050900976268126579\ 4512580356769612085*c_0101_5^20 + 405267341487219848761168935110744\ 536299822420620349716795737335401095656419108377/628837914426409351\ 112670125745847252545048813406328972562901783848060425*c_0101_5^19 + 1898263798353332284824604208281127563387309184223038326507690604176\ 95067172803763/6288379144264093511126701257458472525450488134063289\ 72562901783848060425*c_0101_5^18 - 8914724153290073578988750112599804681074130239781975110196809065180\ 8497889376043/12576758288528187022253402514916945050900976268126579\ 4512580356769612085*c_0101_5^17 - 423628050201123814171296950182292\ 01970125077634079088490539076493929043624463722/1257675828852818702\ 22534025149169450509009762681265794512580356769612085*c_0101_5^16 + 3389309437386243981094489382190433306056940163344114066975533054793\ 80131273360041/6288379144264093511126701257458472525450488134063289\ 72562901783848060425*c_0101_5^15 + 1843397853059776753377278774922922219228604086809038469530102570714\ 52807037405276/6288379144264093511126701257458472525450488134063289\ 72562901783848060425*c_0101_5^14 - 1708753041081121772948080188342135336481007279975028644054054571894\ 08083741211748/6288379144264093511126701257458472525450488134063289\ 72562901783848060425*c_0101_5^13 - 1125978127417887882254736540777438200094595148156578684921661410159\ 99805805600368/6288379144264093511126701257458472525450488134063289\ 72562901783848060425*c_0101_5^12 + 1065986070865063251067045132235908051486066712077616464857840232541\ 9972813084071/12576758288528187022253402514916945050900976268126579\ 4512580356769612085*c_0101_5^11 + 441323699820130568439979615637032\ 73544304310767766546213573756798286593481256801/6288379144264093511\ 12670125745847252545048813406328972562901783848060425*c_0101_5^10 - 1911977853986772415235051309747621632068464997645610247021124021824\ 024772686988/125767582885281870222534025149169450509009762681265794\ 512580356769612085*c_0101_5^9 - 20900445979366767954066736650545542\ 34987737234012491832073002318379055411728343/1257675828852818702225\ 34025149169450509009762681265794512580356769612085*c_0101_5^8 + 1076325590058125183625746490715397589427926577432732081070941647077\ 963643781561/628837914426409351112670125745847252545048813406328972\ 562901783848060425*c_0101_5^7 + 14756695064226175397871579055098140\ 69567619533197035069802387422814327569461993/6288379144264093511126\ 70125745847252545048813406328972562901783848060425*c_0101_5^6 - 1363357167831358159072943619965852573430434859028828315011253621766\ 34508166104/6288379144264093511126701257458472525450488134063289725\ 62901783848060425*c_0101_5^5 - 136944816092931819005743648924522826\ 112104189671766523556327722518207454234816/628837914426409351112670\ 125745847252545048813406328972562901783848060425*c_0101_5^4 + 1361562814572867585858545994556426568032913546422516124544368365157\ 0231302864/62883791442640935111267012574584725254504881340632897256\ 2901783848060425*c_0101_5^3 + 8342447169580193824391420403259084701\ 378840959440479336101428840770466328846/628837914426409351112670125\ 745847252545048813406328972562901783848060425*c_0101_5^2 - 2765532832788813693901820119378214979489152119877913783079127692404\ 29159714/6288379144264093511126701257458472525450488134063289725629\ 01783848060425*c_0101_5 - 17128468446689979285222154256331494940499\ 1964980873181297448009066548764313/62883791442640935111267012574584\ 7252545048813406328972562901783848060425, c_0011_4 + 547336984151712053724928858220403812778767736214138370642515\ 32901552259/2734077888810475439620304894547161967587168753940560750\ 2734860167306975*c_0101_5^35 + 399178225666831482018517473690679848\ 708014874459492807266056967585949858/273407788881047543962030489454\ 71619675871687539405607502734860167306975*c_0101_5^34 - 2732939468693485937030773689257457197134201457410779838156725400342\ 892027/273407788881047543962030489454716196758716875394056075027348\ 60167306975*c_0101_5^33 - 13420255333469095799801672109720635246010\ 311436997815306095456857233824427/273407788881047543962030489454716\ 19675871687539405607502734860167306975*c_0101_5^32 + 4063314129223957545088682187556425731632823787203031978989070495843\ 9660916/27340778888104754396203048945471619675871687539405607502734\ 860167306975*c_0101_5^31 + 2226276635974306108389507211161687754563\ 88919583437963956131611500041761696/2734077888810475439620304894547\ 1619675871687539405607502734860167306975*c_0101_5^30 - 3334304002763611720700030741621405585668859211052614761658216021993\ 79751966/2734077888810475439620304894547161967587168753940560750273\ 4860167306975*c_0101_5^29 - 424911665973426662196827711840497966703\ 413929483964205164137926375629166117/546815577762095087924060978909\ 4323935174337507881121500546972033461395*c_0101_5^28 + 2101665824608340950360533778710900763660279809414852252376452558374\ 847168202/273407788881047543962030489454716196758716875394056075027\ 34860167306975*c_0101_5^27 + 25601534999267803180330344025647160162\ 46942783253893391874032331745380426212/5468155777620950879240609789\ 094323935174337507881121500546972033461395*c_0101_5^26 - 1079804017885450297113617733908437659659893063807962031024368464218\ 8180273607/27340778888104754396203048945471619675871687539405607502\ 734860167306975*c_0101_5^25 - 5139141039099446534640275141052947663\ 1133561796140130537902050623625735478362/27340778888104754396203048\ 945471619675871687539405607502734860167306975*c_0101_5^24 + 4136580941821539361989936580632865707192661595303140135876356301647\ 3167026622/27340778888104754396203048945471619675871687539405607502\ 734860167306975*c_0101_5^23 + 1427676496255821337818183545040247352\ 88972179982096569036067082874492979582709/2734077888810475439620304\ 8945471619675871687539405607502734860167306975*c_0101_5^22 - 1102875681972830707227984839277320085152280598357462592197964279143\ 14923822817/2734077888810475439620304894547161967587168753940560750\ 2734860167306975*c_0101_5^21 - 566035666221126624298550723384961325\ 68273534614444133720738728867760686002958/5468155777620950879240609\ 789094323935174337507881121500546972033461395*c_0101_5^20 + 1985512216565642538741393290981880724826836331959627101227215385078\ 73877206348/2734077888810475439620304894547161967587168753940560750\ 2734860167306975*c_0101_5^19 + 410067546658499651350897423188312422\ 863841774596775498673433161519648155202677/273407788881047543962030\ 48945471619675871687539405607502734860167306975*c_0101_5^18 - 4710313388498538582447347584237724030379316840297766789088026878255\ 2793613251/54681557776209508792406097890943239351743375078811215005\ 46972033461395*c_0101_5^17 - 87758506624821914925793428833466549244\ 483891151314428137617313036344405682616/546815577762095087924060978\ 9094323935174337507881121500546972033461395*c_0101_5^16 + 1752093975246863821387403973958891470265125403316952725398031920385\ 36287582209/2734077888810475439620304894547161967587168753940560750\ 2734860167306975*c_0101_5^15 + 342377897516144988280723509926730009\ 176977543651065204635910380924003704053879/273407788881047543962030\ 48945471619675871687539405607502734860167306975*c_0101_5^14 - 7179179521625796821160525874205459356796904202601020277726398165022\ 1086549782/27340778888104754396203048945471619675871687539405607502\ 734860167306975*c_0101_5^13 - 1874815944940850455847197890456623764\ 65471198567760160296847278760359761209032/2734077888810475439620304\ 8945471619675871687539405607502734860167306975*c_0101_5^12 + 1742359932981857211463425496180729795230983228643553917470316197919\ 175536494/546815577762095087924060978909432393517433750788112150054\ 6972033461395*c_0101_5^11 + 683694764415917536819295320164451017566\ 79408824688493443300858942725560364904/2734077888810475439620304894\ 5471619675871687539405607502734860167306975*c_0101_5^10 + 1640824179800859996246249337569524889138506624796067542682832645766\ 40727476/1093631155524190175848121957818864787034867501576224300109\ 394406692279*c_0101_5^9 - 31924253117840141172826218861911878401537\ 48198141581797271140176800277601683/5468155777620950879240609789094\ 323935174337507881121500546972033461395*c_0101_5^8 - 1503486410604085666053101319319401782515042879374282152105202809899\ 286173316/273407788881047543962030489454716196758716875394056075027\ 34860167306975*c_0101_5^7 + 239962555235116204808069295345708477173\ 5509229326271369786409928025819865012/27340778888104754396203048945\ 471619675871687539405607502734860167306975*c_0101_5^6 + 1355852855288117091822037885334225713640223480478133913108993933368\ 77801119/2734077888810475439620304894547161967587168753940560750273\ 4860167306975*c_0101_5^5 - 2466697840749264207392929268413260690036\ 90472675127860737597747841299784459/2734077888810475439620304894547\ 1619675871687539405607502734860167306975*c_0101_5^4 - 1496438199490341708868748354619996143137982634227559940036037767542\ 557319/273407788881047543962030489454716196758716875394056075027348\ 60167306975*c_0101_5^3 + 158365664437263220234427675245563585536490\ 46437826791801289331265096389899/2734077888810475439620304894547161\ 9675871687539405607502734860167306975*c_0101_5^2 + 1602750752605678542102632087919583796924006155401727869404217116047\ 38309/2734077888810475439620304894547161967587168753940560750273486\ 0167306975*c_0101_5 - 358703006815151204897251898571795916531497993\ 947007815199967577519452387/273407788881047543962030489454716196758\ 71687539405607502734860167306975, c_0011_6 + 324818280828176323133483218160155706107432583968244615763749\ 07892147055609/6288379144264093511126701257458472525450488134063289\ 72562901783848060425*c_0101_5^35 + 1826509455819868524973939588026675175381495225985924076092953920139\ 68759078/6288379144264093511126701257458472525450488134063289725629\ 01783848060425*c_0101_5^34 - 18991533467457327119272485823055729747\ 00710822765709131511473246300149238297/6288379144264093511126701257\ 45847252545048813406328972562901783848060425*c_0101_5^33 - 4654552732529272727676495358537110414185262511504380405409033974093\ 002970727/628837914426409351112670125745847252545048813406328972562\ 901783848060425*c_0101_5^32 + 3017571316541773209567682721603241515\ 5862665731340150878467021527217562665881/62883791442640935111267012\ 5745847252545048813406328972562901783848060425*c_0101_5^31 + 7883308721956641917785415983782258386776093284968827497536991830848\ 0498254106/62883791442640935111267012574584725254504881340632897256\ 2901783848060425*c_0101_5^30 - 301824853124036231091934537967527542\ 607195257885183274269588427147092193802741/628837914426409351112670\ 125745847252545048813406328972562901783848060425*c_0101_5^29 - 1413740553752116808474225277611389499096316382189807638005316664373\ 88626258873/1257675828852818702225340251491694505090097626812657945\ 12580356769612085*c_0101_5^28 + 21367841516682330088895093605808724\ 04117445126629977198741832504734598380213542/6288379144264093511126\ 70125745847252545048813406328972562901783848060425*c_0101_5^27 + 1442319856399376786201067465873729360305339348697331668683814362400\ 00435412690/2515351657705637404450680502983389010180195253625315890\ 2516071353922417*c_0101_5^26 - 103225494652185209712434846734419344\ 42275583774002038700436828213174541912379727/6288379144264093511126\ 70125745847252545048813406328972562901783848060425*c_0101_5^25 - 1148557987927329801499922310776861939413891537038384628147124653471\ 1300323106587/62883791442640935111267012574584725254504881340632897\ 2562901783848060425*c_0101_5^24 + 336906807841617903086839917210460\ 40740755170829047713733662084032364516405761512/6288379144264093511\ 12670125745847252545048813406328972562901783848060425*c_0101_5^23 + 2485674096985074469594657237656650860294240402050142875762988938705\ 8782672863424/62883791442640935111267012574584725254504881340632897\ 2562901783848060425*c_0101_5^22 - 754467172542710245973773440763230\ 68396495251998964111174489078860810366803293467/6288379144264093511\ 12670125745847252545048813406328972562901783848060425*c_0101_5^21 - 1607482414648112824453951998655895538739389370867430168703429907872\ 675634122090/251535165770563740445068050298338901018019525362531589\ 02516071353922417*c_0101_5^20 + 11795533582220372562905092338554626\ 6723203463259045897492545452009056871643121003/62883791442640935111\ 2670125745847252545048813406328972562901783848060425*c_0101_5^19 + 5334477290966314219372581739642775218154259028846450880935334368700\ 5624866729102/62883791442640935111267012574584725254504881340632897\ 2562901783848060425*c_0101_5^18 - 258965829807895947367099581454558\ 23844123866848226597977125443905282282749619654/1257675828852818702\ 22534025149169450509009762681265794512580356769612085*c_0101_5^17 - 1192843727903743032862490136505010088600798165358105134055360821145\ 6742772593822/12576758288528187022253402514916945050900976268126579\ 4512580356769612085*c_0101_5^16 + 983258931361516028934989093243566\ 90952018327973575497998955256728004254401014924/6288379144264093511\ 12670125745847252545048813406328972562901783848060425*c_0101_5^15 + 5213191559942970006908637223629345951971225238123806797775590925924\ 6560724142104/62883791442640935111267012574584725254504881340632897\ 2562901783848060425*c_0101_5^14 - 495523157249869219203484188524033\ 20979932975831314264303877640785546008814162212/6288379144264093511\ 12670125745847252545048813406328972562901783848060425*c_0101_5^13 - 3194661494496795603922701894795928133058275995713614100014524635950\ 5883494762127/62883791442640935111267012574584725254504881340632897\ 2562901783848060425*c_0101_5^12 + 309449869618698396051116468913301\ 1340631382769804938339453080326341007591658439/12576758288528187022\ 2534025149169450509009762681265794512580356769612085*c_0101_5^11 + 1253393317352131972135752115678288043370453686680827302471688516003\ 7979588941229/62883791442640935111267012574584725254504881340632897\ 2562901783848060425*c_0101_5^10 - 556865853980226508081238996728243\ 621017632300383506747614930522689353041731726/125767582885281870222\ 534025149169450509009762681265794512580356769612085*c_0101_5^9 - 1185700126750887656691989376955585903034430647861183792695499356449\ 34567237865/2515351657705637404450680502983389010180195253625315890\ 2516071353922417*c_0101_5^8 + 3138721117381535004024814696202562890\ 53279548532760227025681858165351877043089/6288379144264093511126701\ 25745847252545048813406328972562901783848060425*c_0101_5^7 + 4173756815063035700055454850782105542033245583762985335612354159798\ 37061559967/6288379144264093511126701257458472525450488134063289725\ 62901783848060425*c_0101_5^6 - 390237732681447161034285727209319929\ 99244632123457294193644040800607328810586/6288379144264093511126701\ 25745847252545048813406328972562901783848060425*c_0101_5^5 - 3869062191179033925430768197031226509552436267650170856855113356238\ 8270194399/62883791442640935111267012574584725254504881340632897256\ 2901783848060425*c_0101_5^4 + 3823881076352877425492842794023591288\ 778316106501864575644134944908821332406/628837914426409351112670125\ 745847252545048813406328972562901783848060425*c_0101_5^3 + 2366476266651243583621971311289366353543620122263350843920917293321\ 243164504/628837914426409351112670125745847252545048813406328972562\ 901783848060425*c_0101_5^2 - 73589863258436000825905826022990130235\ 744451379713142140395504632947056436/628837914426409351112670125745\ 847252545048813406328972562901783848060425*c_0101_5 - 4871883449584013984884603688898846624249010473443007018512261453572\ 9303807/62883791442640935111267012574584725254504881340632897256290\ 1783848060425, c_0101_0 - 982969840842558230451721794328886767688191957369319314749692\ 88512455594264/6288379144264093511126701257458472525450488134063289\ 72562901783848060425*c_0101_5^35 - 5542089076893218463279594870088753972925894493449813992556287717573\ 43143168/6288379144264093511126701257458472525450488134063289725629\ 01783848060425*c_0101_5^34 + 57406259593949379663842703911878626050\ 45036466172023338537690908816554656017/6288379144264093511126701257\ 45847252545048813406328972562901783848060425*c_0101_5^33 + 1417988210671876083492092760425539763547645949193357650338302348630\ 8024151567/62883791442640935111267012574584725254504881340632897256\ 2901783848060425*c_0101_5^32 - 912073429970263606710559871115376138\ 18124762138097688687733095602102496325486/6288379144264093511126701\ 25745847252545048813406328972562901783848060425*c_0101_5^31 - 2401128726903145517891660763022703293836623140458736104117847896687\ 25390569916/6288379144264093511126701257458472525450488134063289725\ 62901783848060425*c_0101_5^30 + 91142016246354751315419542001258366\ 1309832897688201658154080922161820890054986/62883791442640935111267\ 0125745847252545048813406328972562901783848060425*c_0101_5^29 + 4311835494232121761650366285161416542609460024176795037756688596248\ 13025279657/1257675828852818702225340251491694505090097626812657945\ 12580356769612085*c_0101_5^28 - 64509586180708470867409017907080108\ 97259668250125846857054938155921164089718742/6288379144264093511126\ 70125745847252545048813406328972562901783848060425*c_0101_5^27 - 2207044004592142702016228256255430744330168009825801544293015157894\ 168625359222/125767582885281870222534025149169450509009762681265794\ 512580356769612085*c_0101_5^26 + 3119405533312160455963622613320195\ 9653161266286028223176223291130257185192367047/62883791442640935111\ 2670125745847252545048813406328972562901783848060425*c_0101_5^25 + 3534124657627401117272574907576962028329343922793826184638228389695\ 0228910831052/62883791442640935111267012574584725254504881340632897\ 2562901783848060425*c_0101_5^24 - 101999483417094385503756577329588\ 598221182282756889634297046092668978612744512762/628837914426409351\ 112670125745847252545048813406328972562901783848060425*c_0101_5^23 - 7701439551436666746188790011943403029943887905822743586514089245991\ 7711464297264/62883791442640935111267012574584725254504881340632897\ 2562901783848060425*c_0101_5^22 + 228956720241385804174612944767954\ 399045860141914647877506851520761822218562556882/628837914426409351\ 112670125745847252545048813406328972562901783848060425*c_0101_5^21 + 2506193200870842859773654360887216763405638028002847497654402647610\ 4776730247433/12576758288528187022253402514916945050900976268126579\ 4512580356769612085*c_0101_5^20 - 358866211783799891167519141303479\ 980628497374406787765776931419616910571700358308/628837914426409351\ 112670125745847252545048813406328972562901783848060425*c_0101_5^19 - 1667379926200044658358688641393504621743609006621012157425517701283\ 91091014172942/6288379144264093511126701257458472525450488134063289\ 72562901783848060425*c_0101_5^18 + 7897894924647805715473573688092888806255423046712356087107040809607\ 6508330240096/12576758288528187022253402514916945050900976268126579\ 4512580356769612085*c_0101_5^17 + 371978814925054553934184171764092\ 76348656780258725655225586867813340570159286071/1257675828852818702\ 22534025149169450509009762681265794512580356769612085*c_0101_5^16 - 3005229508056567879765325462175080299453323722185526424783509900000\ 84648800771539/6288379144264093511126701257458472525450488134063289\ 72562901783848060425*c_0101_5^15 - 1619727969790202298633201014581021166201999074309164193722918481870\ 14898686613309/6288379144264093511126701257458472525450488134063289\ 72562901783848060425*c_0101_5^14 + 1517548113600052470409919137463583826455563391058858015743447864204\ 94937282585822/6288379144264093511126701257458472525450488134063289\ 72562901783848060425*c_0101_5^13 + 9903873249424296755242704391417539794305235146312026598092799703833\ 8983857829647/62883791442640935111267012574584725254504881340632897\ 2562901783848060425*c_0101_5^12 - 949843455851210427863012785096417\ 9663669809484528472593149407716538816838319989/12576758288528187022\ 2534025149169450509009762681265794512580356769612085*c_0101_5^11 - 3885434876870561891161040499914498289322937679779862755001144382482\ 7782763167784/62883791442640935111267012574584725254504881340632897\ 2562901783848060425*c_0101_5^10 + 343194700174456231655099067170283\ 328362680954305048660596969749643080832198158/251535165770563740445\ 06805029833890101801952536253158902516071353922417*c_0101_5^9 + 1840732748678783021699912880364122497690647100106955202161972380261\ 190088311833/125767582885281870222534025149169450509009762681265794\ 512580356769612085*c_0101_5^8 - 97801754348305897181616890388460479\ 5909898390199752873194279897333035330498789/62883791442640935111267\ 0125745847252545048813406328972562901783848060425*c_0101_5^7 - 1298338302369325534633413892478630890262806358797366041209207297732\ 215840118277/628837914426409351112670125745847252545048813406328972\ 562901783848060425*c_0101_5^6 + 12353933713431548180363813760844357\ 6296491011850698868151918163501652279686176/62883791442640935111267\ 0125745847252545048813406328972562901783848060425*c_0101_5^5 + 1202157818608000849380208667169656359539242181971350490525780896417\ 65086041189/6288379144264093511126701257458472525450488134063289725\ 62901783848060425*c_0101_5^4 - 121816806022238805116294515788282341\ 00036601672561644362924420263719698185726/6288379144264093511126701\ 25745847252545048813406328972562901783848060425*c_0101_5^3 - 7319954717336754794362207210010867291388287631583011532492982604357\ 295354654/628837914426409351112670125745847252545048813406328972562\ 901783848060425*c_0101_5^2 + 24673109167828825358467396997090334326\ 8840727280952341365119408319575606486/62883791442640935111267012574\ 5847252545048813406328972562901783848060425*c_0101_5 + 1508878527554958630359148507302975781004160072113889031662414034013\ 46311127/6288379144264093511126701257458472525450488134063289725629\ 01783848060425, c_0101_2 - 242733202920708664403247775333416270958373528187271008343221\ 5396958330375/25153516577056374044506805029833890101801952536253158\ 902516071353922417*c_0101_5^35 - 6880677565887328036518563733486732\ 0188604201486619118842277295077106426621/12576758288528187022253402\ 5149169450509009762681265794512580356769612085*c_0101_5^34 + 7068645425001501932348250869330132206481826744614694618267786421636\ 58473361/1257675828852818702225340251491694505090097626812657945125\ 80356769612085*c_0101_5^33 + 35479206401306271353704047000096938236\ 3619630854999843733539060835760412423/25153516577056374044506805029\ 833890101801952536253158902516071353922417*c_0101_5^32 - 1121960463674926478168788535777972258287269152950468892383184093565\ 8101874402/12576758288528187022253402514916945050900976268126579451\ 2580356769612085*c_0101_5^31 - 300200299685425937975369458126390885\ 66307897293089315858814891459850409447538/1257675828852818702225340\ 25149169450509009762681265794512580356769612085*c_0101_5^30 + 2236323398729642050098335966432921391942633449944166011008004297849\ 3854126784/25153516577056374044506805029833890101801952536253158902\ 516071353922417*c_0101_5^29 + 2700798207647810292119830738255181075\ 88903440068511008268755124933198549494884/1257675828852818702225340\ 25149169450509009762681265794512580356769612085*c_0101_5^28 - 7903814384821965027081436597291120051018946747080395241447205430756\ 93571835237/1257675828852818702225340251491694505090097626812657945\ 12580356769612085*c_0101_5^27 - 13905551613866973583853572409628625\ 16545421512438004750077176977307683481635337/1257675828852818702225\ 34025149169450509009762681265794512580356769612085*c_0101_5^26 + 3824857829598656139696404024878896769237882708833883303848351623078\ 139074610966/125767582885281870222534025149169450509009762681265794\ 512580356769612085*c_0101_5^25 + 8994088401363235700366420443091972\ 31713860951694114809673771942702775318166034/2515351657705637404450\ 6805029833890101801952536253158902516071353922417*c_0101_5^24 - 1253302892278584959583800241308164402893662577360800040957966710357\ 6937820271222/12576758288528187022253402514916945050900976268126579\ 4512580356769612085*c_0101_5^23 - 992852459774173164653099340075075\ 9150307626174681947014897132418247299543539322/12576758288528187022\ 2534025149169450509009762681265794512580356769612085*c_0101_5^22 + 5641604888021720907184984107090385839931668903513524760435582718933\ 396624643857/251535165770563740445068050298338901018019525362531589\ 02516071353922417*c_0101_5^21 + 16365861692107336546489153787061105\ 567709295179922705555154923115143026564616683/125767582885281870222\ 534025149169450509009762681265794512580356769612085*c_0101_5^20 - 4432409018689779175302003017989723586342474820930829834938025842157\ 5793074118639/12576758288528187022253402514916945050900976268126579\ 4512580356769612085*c_0101_5^19 - 438306441024104175615136162806261\ 5532868402167032054446993593959900888780424809/25153516577056374044\ 506805029833890101801952536253158902516071353922417*c_0101_5^18 + 4884857955237715291121315733121772583892326110136496961645787844861\ 3888694529297/12576758288528187022253402514916945050900976268126579\ 4512580356769612085*c_0101_5^17 + 243688514168270282631348537397334\ 89925888349109866222456259131089467602899029099/1257675828852818702\ 22534025149169450509009762681265794512580356769612085*c_0101_5^16 - 3716018582688631214189254145894224316689918351424624851749549375309\ 0040275553367/12576758288528187022253402514916945050900976268126579\ 4512580356769612085*c_0101_5^15 - 421189295716477858907271256986096\ 5752100266438837887176677199732911642301969143/25153516577056374044\ 506805029833890101801952536253158902516071353922417*c_0101_5^14 + 1869569036536770675315649704575936501890545699545581840278057349396\ 7373809634384/12576758288528187022253402514916945050900976268126579\ 4512580356769612085*c_0101_5^13 + 127885090877019852818302695619147\ 01619418157484456044347037827300324441010166476/1257675828852818702\ 22534025149169450509009762681265794512580356769612085*c_0101_5^12 - 1158546275088027832369382153511217439350800840930300528684198807243\ 380515697799/251535165770563740445068050298338901018019525362531589\ 02516071353922417*c_0101_5^11 - 99932803984509559138095341435892576\ 2054230700553649438305228297463650118354762/25153516577056374044506\ 805029833890101801952536253158902516071353922417*c_0101_5^10 + 1021929508323679774810843403606165885376323454898879989796412901294\ 824435412119/125767582885281870222534025149169450509009762681265794\ 512580356769612085*c_0101_5^9 + 11827683718800980724692662391365037\ 45943150069920867221471286628467025751311493/1257675828852818702225\ 34025149169450509009762681265794512580356769612085*c_0101_5^8 - 1118292882715688314677240546673785933834983620491408813139869826499\ 48235841149/1257675828852818702225340251491694505090097626812657945\ 12580356769612085*c_0101_5^7 - 167478318291734268570869112215027506\ 109521395099880624853299011529703450763194/125767582885281870222534\ 025149169450509009762681265794512580356769612085*c_0101_5^6 + 1432785458063148422466550850788129715264595543274976278076954293478\ 9720872424/12576758288528187022253402514916945050900976268126579451\ 2580356769612085*c_0101_5^5 + 1561836068848905565775366445321716726\ 5964244357141225577062560933017620646082/12576758288528187022253402\ 5149169450509009762681265794512580356769612085*c_0101_5^4 - 2928331323755414724343058389789161868836933526484923685615754449246\ 09554816/2515351657705637404450680502983389010180195253625315890251\ 6071353922417*c_0101_5^3 - 9549362266166808497641704057451619217924\ 58758875413627368798585130169547059/1257675828852818702225340251491\ 69450509009762681265794512580356769612085*c_0101_5^2 + 2905468914627713703895264303136788389169650181406756322498991026858\ 0007221/12576758288528187022253402514916945050900976268126579451258\ 0356769612085*c_0101_5 + 197934510025213501589704439077905147559830\ 59054109941809065703743367159251/1257675828852818702225340251491694\ 50509009762681265794512580356769612085, c_0101_5^36 + 5*c_0101_5^35 - 62*c_0101_5^34 - 107*c_0101_5^33 + 1020*c_0101_5^32 + 1851*c_0101_5^31 - 10832*c_0101_5^30 - 16022*c_0101_5^29 + 79633*c_0101_5^28 + 70444*c_0101_5^27 - 389053*c_0101_5^26 - 157382*c_0101_5^25 + 1267484*c_0101_5^24 + 122720*c_0101_5^23 - 2830770*c_0101_5^22 + 207806*c_0101_5^21 + 4468667*c_0101_5^20 - 626451*c_0101_5^19 - 5107891*c_0101_5^18 + 662045*c_0101_5^17 + 4274866*c_0101_5^16 - 293676*c_0101_5^15 - 2603865*c_0101_5^14 - 29512*c_0101_5^13 + 1130791*c_0101_5^12 + 90846*c_0101_5^11 - 341192*c_0101_5^10 - 39360*c_0101_5^9 + 70096*c_0101_5^8 + 7186*c_0101_5^7 - 9760*c_0101_5^6 - 463*c_0101_5^5 + 916*c_0101_5^4 - 2*c_0101_5^3 - 51*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB