Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 3153733504] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0115 geometric_solution 3.63536871 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 0 -1 1 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.764693934757 0.035989054144 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 -1 1 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 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 1.698790942852 0.160256528544 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 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.181985590630 0.088308694970 2 4 4 2 0132 0132 1023 1023 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 -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 1.329915155245 0.474133205062 5 3 3 6 0132 0132 1023 0132 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 1 -1 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.202000074012 0.412773241212 4 6 6 6 0132 2310 3201 0321 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 -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.008917250099 0.995386724524 5 5 4 5 2310 0321 0132 3201 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 -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.008917250099 0.995386724524 ==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' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : negation(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' : negation(d['1']), 's_1_6' : negation(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' : negation(d['1']), 's_0_5' : negation(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_0011_2'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 4888699653868025990297317569621347932054558150613609983274506882911\ 632939104404842/227304128629935350628724826459202619039927388868533\ 61303478418306688166676102311*c_0101_5^26 + 3252181043032983924152550972248993663098370723792313162012657706679\ 2515468956747595/22730412862993535062872482645920261903992738886853\ 361303478418306688166676102311*c_0101_5^25 - 1296573311785169513956820827985138510150190837385442286808123665332\ 58772764786704010/2273041286299353506287248264592026190399273888685\ 3361303478418306688166676102311*c_0101_5^24 + 6555068678503873873950741898561792018367809213420772433859783965682\ 93347598267552648/2273041286299353506287248264592026190399273888685\ 3361303478418306688166676102311*c_0101_5^23 + 1001715908838025048410475396791291316860841332690876504590894785794\ 680124137568838488/227304128629935350628724826459202619039927388868\ 53361303478418306688166676102311*c_0101_5^22 + 3574179029141403780715026262084665698392380762282619583927220319886\ 262750917402645366/227304128629935350628724826459202619039927388868\ 53361303478418306688166676102311*c_0101_5^21 + 5048097782689473154104437408830543017566522724254551894889138364277\ 401139191107239245/227304128629935350628724826459202619039927388868\ 53361303478418306688166676102311*c_0101_5^20 - 2519110303821949592492403884813909835420790243581465576104478575582\ 8288613153020523578/22730412862993535062872482645920261903992738886\ 853361303478418306688166676102311*c_0101_5^19 + 5544985168033594513914817310297942726926262731435535762206430904799\ 8055801769973667657/22730412862993535062872482645920261903992738886\ 853361303478418306688166676102311*c_0101_5^18 - 4287237198392586540405005089134693487534028477152983639174938654244\ 8256109655973457025/22730412862993535062872482645920261903992738886\ 853361303478418306688166676102311*c_0101_5^17 - 1149534467582199200764284881449512131012068758282529352715760310663\ 22765377985238447625/2273041286299353506287248264592026190399273888\ 6853361303478418306688166676102311*c_0101_5^16 - 5779808294052037700756326714941922026679170964852170901611034645689\ 5720081760847856192/22730412862993535062872482645920261903992738886\ 853361303478418306688166676102311*c_0101_5^15 + 1685216080404504193997711404035189975530767709535636440143026122325\ 17964566445530161742/2273041286299353506287248264592026190399273888\ 6853361303478418306688166676102311*c_0101_5^14 + 2726679263238909173937441902242045400735820096250273493251224418934\ 63730543408539286197/2273041286299353506287248264592026190399273888\ 6853361303478418306688166676102311*c_0101_5^13 - 3556353369530034912474988356862001029120159282590530599395173384074\ 86252484078668302517/2273041286299353506287248264592026190399273888\ 6853361303478418306688166676102311*c_0101_5^12 - 9794876112721304138331256792334494413553291598945086344764127066412\ 4364914531475099285/22730412862993535062872482645920261903992738886\ 853361303478418306688166676102311*c_0101_5^11 + 3783317932644176512429571200413387034344842392581849388799559031143\ 85962040043126464883/2273041286299353506287248264592026190399273888\ 6853361303478418306688166676102311*c_0101_5^10 - 6609656840581253783969751382380053759406623149032544881902249385681\ 123287162868254537/174849329715334885099019097276309706953790299129\ 6412407959878331283705128930947*c_0101_5^9 - 1740817135564634275530647172136660213113462481262218522453910571511\ 71025881301013187537/2273041286299353506287248264592026190399273888\ 6853361303478418306688166676102311*c_0101_5^8 + 2244375036582253903589963763355113865901764479715772499909618243866\ 8380607934967252140/22730412862993535062872482645920261903992738886\ 853361303478418306688166676102311*c_0101_5^7 + 4684728995073995404093695974930707106656451726143207754124888906775\ 8514910027798456744/22730412862993535062872482645920261903992738886\ 853361303478418306688166676102311*c_0101_5^6 + 1077424728141199362100216520108681229535473424366352548320789193896\ 0696917774176728509/22730412862993535062872482645920261903992738886\ 853361303478418306688166676102311*c_0101_5^5 - 1179874275468905848825639313487402260622229166514469526489131317921\ 8950581618697523644/22730412862993535062872482645920261903992738886\ 853361303478418306688166676102311*c_0101_5^4 - 7479080554305793627976095219671626755307511815907090212583845869136\ 85952639443095691/2273041286299353506287248264592026190399273888685\ 3361303478418306688166676102311*c_0101_5^3 + 9486962341852858394987177274326753880649919861295492502949267299039\ 27701041490427721/2273041286299353506287248264592026190399273888685\ 3361303478418306688166676102311*c_0101_5^2 - 1639310044289556717565446031173787445716074140653372100415963102510\ 28206540408291112/2273041286299353506287248264592026190399273888685\ 3361303478418306688166676102311*c_0101_5 - 7331809292196026330633957911794670789920574175674617392865604737297\ 028865196262412/227304128629935350628724826459202619039927388868533\ 61303478418306688166676102311, c_0011_0 - 1, c_0011_2 - 327056145405264240107341575674054000683410739308401394699188\ 315996783697005628/174849329715334885099019097276309706953790299129\ 6412407959878331283705128930947*c_0101_5^26 + 1897619353372411923207132211224574874830765812085723177697941796645\ 790722266756/174849329715334885099019097276309706953790299129641240\ 7959878331283705128930947*c_0101_5^25 - 6976532598321671414924967958992996270408702175816126307753684417513\ 279149444589/174849329715334885099019097276309706953790299129641240\ 7959878331283705128930947*c_0101_5^24 + 3740685803196558494193046239416966220049750076546240101964375497200\ 3771579062949/17484932971533488509901909727630970695379029912964124\ 07959878331283705128930947*c_0101_5^23 + 1007831869141535003718943464554345494971224476066368440754648015752\ 12329500678626/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^22 + 3145590332881570059635323352400671295730214701055087551002407268207\ 53179013168321/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^21 + 5826705087592263777668131854423731759021650798106018834868222813461\ 43235809385040/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^20 - 1263632171795316419141777437770707041150377869330364116354198858073\ 731282416515082/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^19 + 2508839230955641828587690478143462665451412394873311376618868332736\ 130039287815234/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^18 - 3711996725858075266064648637290253830946463931451018995014891458716\ 99784873743634/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^17 - 8770221824867571908346577321506000321641805389464935068688153229236\ 694426618204385/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^16 - 1097303277252608913109370285337060937941029405280440358531483228378\ 1933981219579559/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^15 + 4061096809749179136234820809503606242092628667405078036480827361053\ 667451654242457/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^14 + 2384852134308164810234707746811523974509254105273023600809667702643\ 1686161726612570/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^13 - 5213124764429763588708192963222432447785311629504551025406950652390\ 931553609739587/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^12 - 1651657186250839076481137799171101369245823048656684731200330552419\ 9695515624273453/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^11 + 1433104069494245994193836213339842882307423797433208520094056646429\ 4157046960552416/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^10 + 9584845712630813416868991762515747653099531564456923150837357155830\ 679287537289393/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^9 - 8096180091501252004181394146836688904496094274368117614913746513288\ 331816111899203/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^8 - 6323203948088544379031417156280337038483340533902769670630477277275\ 116625136428858/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^7 + 4476443484141975225931209816011368776325547271853295639460592405090\ 3097869732563/17484932971533488509901909727630970695379029912964124\ 07959878331283705128930947*c_0101_5^6 + 1634872716876787175513248897717629524256650869195136741609000995321\ 427319744676832/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^5 + 3588643076767034425291742450364491571525015694231270699416936641184\ 42213410151599/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^4 - 7098165639244264505788568833193010996372400946736118097226029920410\ 9313639734587/17484932971533488509901909727630970695379029912964124\ 07959878331283705128930947*c_0101_5^3 + 4353277370241071995202760930173195833985325845204345568498674848231\ 361191122763/174849329715334885099019097276309706953790299129641240\ 7959878331283705128930947*c_0101_5^2 + 2481177023939125099044464592249643672415506921149508289165203348183\ 532874454111/174849329715334885099019097276309706953790299129641240\ 7959878331283705128930947*c_0101_5 - 6779173348414503596576682263032706020154343575971351885496790266613\ 78430215479/1748493297153348850990190972763097069537902991296412407\ 959878331283705128930947, c_0011_6 - 395748681499052901680616786913829005257117630052401202207212\ 852477411488835020/174849329715334885099019097276309706953790299129\ 6412407959878331283705128930947*c_0101_5^26 + 2362955184227084197740597764391890189596554778138281744841832398838\ 855850219844/174849329715334885099019097276309706953790299129641240\ 7959878331283705128930947*c_0101_5^25 - 8830829101856576933774721482098333473506464261871839703069043840958\ 583126500321/174849329715334885099019097276309706953790299129641240\ 7959878331283705128930947*c_0101_5^24 + 4670107895882484686808735049653168823173341427856535488283236558882\ 6663710721601/17484932971533488509901909727630970695379029912964124\ 07959878331283705128930947*c_0101_5^23 + 1142551721201319143339737455717284003142713687694022184850455126382\ 64214889272382/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^22 + 3603259427521707592502170776275623540632200360267312911091004797172\ 66665039735417/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^21 + 6408087355565443589824128086231230909062497115849485700673360587820\ 19767842901564/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^20 - 1647566223392577752363854895444704382389083512767143060031995855954\ 786933101483506/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^19 + 3292980100360608401720315539810560667504269792074997865707874489523\ 000890833262958/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^18 - 9734119019890467452534542384204726359935320867375121114756579938863\ 06678343574838/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^17 - 1050652506258280543927946766806851216258225271420228201213361844215\ 7252074613967313/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^16 - 1152634941046412486519325785702045320627178693099262168091986943385\ 5628470501044715/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^15 + 7131166235630503824142247447616500600603646228472366160638260282829\ 550180691138825/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^14 + 2807535216695203759938777556857479764748924276193938127862926999901\ 1431582293877134/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^13 - 1104849875701695333799185534899115274060905580693179822870314367642\ 5060991452449623/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^12 - 1890115990070522929889732815993842698677250782154586212818562784175\ 6709190411909413/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^11 + 2041880007492332129612823138108309933848482437330818937758155305066\ 9266428127747944/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^10 + 8739465526095301689220026568550548676706009475428990924162513542571\ 309575528943933/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^9 - 1152121113517472263304368406844577589753672605720029745793127589358\ 9812044779714091/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^8 - 6164284526198519110403155005317011229417968271836082076034774474563\ 568120101741038/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^7 + 1238701173495611990597214894674150628643824299660379317538248659694\ 392332310422063/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^6 + 2066615269134605367347375247101652609011374115607712934222074594990\ 437682622438776/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^5 + 1514826043718611024037097082624754498389602294093300739805622792506\ 85119657842035/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^4 - 1749931220467119381868461193290220095228477730521836747124610321851\ 00210689007292/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^3 + 4478187991131046492459949651369518666062964141933094065255700198472\ 596923311603/174849329715334885099019097276309706953790299129641240\ 7959878331283705128930947*c_0101_5^2 + 2682861600987027037370037892857164506843134846777915461049889037043\ 942528820270/174849329715334885099019097276309706953790299129641240\ 7959878331283705128930947*c_0101_5 - 6847104490566071481220242668211698271816253302912984256046514948488\ 22041955583/1748493297153348850990190972763097069537902991296412407\ 959878331283705128930947, c_0101_0 + 479770712580838592674569627928949936420072511571528904628663\ 378114500041777134/174849329715334885099019097276309706953790299129\ 6412407959878331283705128930947*c_0101_5^26 - 2905459438359658294845185622682806012056843944883026954607061451029\ 751587780417/174849329715334885099019097276309706953790299129641240\ 7959878331283705128930947*c_0101_5^25 + 1092071531505610830862196456277416715022845772041746398171668338743\ 8059722978118/17484932971533488509901909727630970695379029912964124\ 07959878331283705128930947*c_0101_5^24 - 5735594041869628080039779724151765671867346890308543621128916810142\ 1181958905692/17484932971533488509901909727630970695379029912964124\ 07959878331283705128930947*c_0101_5^23 - 1343378721387181668982559875029931716775932658783763436692031012589\ 76335552877143/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^22 - 4216382986512427177380111342118753285245662524648904796773635608963\ 08325122085952/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^21 - 7314308029411148749157020622295062082792271248382313364350206259052\ 53937086310527/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^20 + 2090158192909630149954166673635666588319065214515106886216501019625\ 249623366119875/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^19 - 4114459202424831800640213243699058266135137163377323691051120342121\ 431794337358308/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^18 + 1403299624515044886557663390191581104899985906693517361009753798155\ 509898891785614/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^17 + 1287818403028080033887217083680212662844173698172412171224760495590\ 6299781051425052/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^16 + 1280688914353151222744050849290918182537909582469314351148962151421\ 4646019128027844/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^15 - 1056487631937969187662023150821269084970860344989691812227999597922\ 8842401847613506/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^14 - 3417309780013155154596982321639410520961284739681724113120635040139\ 1223434180555265/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^13 + 1672567774511839783707403841484344978733645035316981478361227750341\ 9432505294589430/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^12 + 2375545651003915672262096904329197108028467454588412360868722393038\ 8050677578127601/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^11 - 2738949977474959387063925993714678782134316480127009081355917570451\ 7684269865133361/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^10 - 9674412977004518638148651027550121132499068898172709692705624508837\ 172067750014676/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^9 + 1617623116760857181016522967706716299952365550412319151021968501072\ 7107395916416494/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^8 + 6872398578334228153368855210334072246328389133003273914916186680755\ 874337572582479/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^7 - 2794135890129803170919467403277068882548249319995951486409472650795\ 481520416145317/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^6 - 2839070921717564849992092368160513367008005211948030470378385495420\ 646474123197249/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^5 + 3480630571301852906245060434963739846785928600624065937102556077081\ 4457538910505/17484932971533488509901909727630970695379029912964124\ 07959878331283705128930947*c_0101_5^4 + 3481349945002848996687569795677193551318469652551558203817347720151\ 42512730807823/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^3 + 4682638736343069316665561153577229274768770312617148657957421990118\ 68711013972/1748493297153348850990190972763097069537902991296412407\ 959878331283705128930947*c_0101_5^2 - 6958920572857260715113523290989219540377373464635885885957534245999\ 850526646634/174849329715334885099019097276309706953790299129641240\ 7959878331283705128930947*c_0101_5 + 1338649598232052312900335117298086569802481451925517273911433840199\ 566887828232/174849329715334885099019097276309706953790299129641240\ 7959878331283705128930947, c_0101_1 - 259223427244787037360822506683118011223010482438814322177439\ 197977140202454144/174849329715334885099019097276309706953790299129\ 6412407959878331283705128930947*c_0101_5^26 + 1631192142044780871315546975131522080600918141441569805355482710980\ 600301659920/174849329715334885099019097276309706953790299129641240\ 7959878331283705128930947*c_0101_5^25 - 6234586718714932241611593113969637617740962357257952746971185040374\ 961444423354/174849329715334885099019097276309706953790299129641240\ 7959878331283705128930947*c_0101_5^24 + 3217189637245555543198750470724609414979649931526445689282421216622\ 2673168717713/17484932971533488509901909727630970695379029912964124\ 07959878331283705128930947*c_0101_5^23 + 6603184576189184021489110623474918626315643193772673626499027617892\ 1411842235775/17484932971533488509901909727630970695379029912964124\ 07959878331283705128930947*c_0101_5^22 + 2064082927608843745545774333266131807852860794954251197577275555727\ 70867043211872/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^21 + 3293819882995717219026945438679820644141721159125224880401017048605\ 87386010970235/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^20 - 1259979457200852989901087681157788282211786774495848402808136932373\ 306824661425815/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^19 + 2420102804113216092046088561077994631428465242022146586235468859297\ 949115157297629/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^18 - 1146357274857119154040322627036327078725091906319994726355172205605\ 254169352313526/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^17 - 7057333391723972356705515838423879011862740543554761691617038150024\ 153585143614437/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^16 - 5252633032279544690063019115289603449588374030230415997413792194240\ 014700064895540/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^15 + 8350275613612381595741686467658713622933282822932748321539718147210\ 398125740974396/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^14 + 1844523438719940529839537111846505199321489154167697018501420906990\ 0976195987163689/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^13 - 1373620815732861535146371103029297016996142918712116146933946738314\ 1744634744087050/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^12 - 1341571494631271257037556054161134464078280283446984899917051863999\ 0990634242713799/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^11 + 1823687035889694438688646693399983887387673014885514402078977715535\ 9882435766891107/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^10 + 3602685785664963139575193036853783365021926902598109208417281928594\ 507645586642941/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^9 - 1148730563938826921988848896600443993755886661129419971630231904083\ 2356779883630727/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^8 - 2812000377080403468943263592803872722734063148346807596590499800635\ 798693036932609/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^7 + 3189780944307227453623250027809572160615752602317062466177021019869\ 292669790265448/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^6 + 1923613342719677475313258755630928781156468755047865909151100607552\ 896139044202782/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^5 - 3169391190242138146144166444828137006873394658857947247969661640487\ 99370115009588/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^4 - 3561974644061306216346864616604979981172836557263443764307545568722\ 55173979173930/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^3 - 7814895593487187905282355385477625371470322688104534731805469629998\ 690539478509/174849329715334885099019097276309706953790299129641240\ 7959878331283705128930947*c_0101_5^2 + 6960980356675929961652579801441404483011076003390168033579624859335\ 859705691578/174849329715334885099019097276309706953790299129641240\ 7959878331283705128930947*c_0101_5 - 1347485855217774883553928922839535965475999646684116029173051266066\ 958807180136/174849329715334885099019097276309706953790299129641240\ 7959878331283705128930947, c_0101_3 + 570889306569270115873486400896310835872802472079424891918010\ 145190394060057176/174849329715334885099019097276309706953790299129\ 6412407959878331283705128930947*c_0101_5^26 - 3422351524621549850710985553785471627484980358312240272567944448753\ 286115260272/174849329715334885099019097276309706953790299129641240\ 7959878331283705128930947*c_0101_5^25 + 1281213992486156401261300467117131727462280222816420190851659645677\ 1818623795966/17484932971533488509901909727630970695379029912964124\ 07959878331283705128930947*c_0101_5^24 - 6762467437127590729594244169778344577990633998822513748338644604199\ 6908936394422/17484932971533488509901909727630970695379029912964124\ 07959878331283705128930947*c_0101_5^23 - 1633884914233985857329264967594647471939667465566630533080107527552\ 48486929559390/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^22 - 5148816090299671617893871149073135737259166728783074143003352526431\ 01600891481252/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^21 - 9094292372853961558922267746543024743886765903952544444868587978889\ 34802241684186/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^20 + 2406714377945185548313566166961192029723935793684835675363990585971\ 238695334706714/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^19 - 4792612024688075191622823326718001218851247173743284671313199686565\ 106814076149578/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^18 + 1484689648336705455936435744580966984239440380148638553657186142617\ 544472044701200/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^17 + 1518862312976372843767644180458062537354871200305191011009527568804\ 5061734075956318/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^16 + 1625263103679284482579162113124564893081322820351212868030021887397\ 4609526001691538/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^15 - 1091226894692684014704842945357386031235636062458999692578604692328\ 2813321919377388/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^14 - 4051580965984512745087120352931253371147599832639988149362457998183\ 5313708778513098/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^13 + 1701628731532747040499557358112103852444971222417715707448491735897\ 2239182015576184/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^12 + 2749319393955926524707755666473899136448291374212837737323062200983\ 7997505456505248/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^11 - 3027935465642714337259579297157797680069848542578664195188832927604\ 0820352220652066/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^10 - 1230235513873272287512774625029598777269094295785933560486281333035\ 6441329255680734/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^9 + 1731787851039209668040606666722480733159058771806822736703233124933\ 8807552888472704/17484932971533488509901909727630970695379029912964\ 12407959878331283705128930947*c_0101_5^8 + 8688041120846128404367171799226257776576188214251184843409656693884\ 002094602518456/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^7 - 2200512751298187178346913610102857917836041376550771740374250337191\ 064671945294224/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^6 - 3085013085708449901804114140352770015076781624321296081194663042142\ 860169926899681/174849329715334885099019097276309706953790299129641\ 2407959878331283705128930947*c_0101_5^5 - 1492008328979080361927201231596767738979639877485205045467187290901\ 86155435474846/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^4 + 2957339214838791857346933677055286071225085012683208737244326265765\ 65306054762520/1748493297153348850990190972763097069537902991296412\ 407959878331283705128930947*c_0101_5^3 - 4583015016232207471166762367680911655351134725273533634253209147174\ 069694827198/174849329715334885099019097276309706953790299129641240\ 7959878331283705128930947*c_0101_5^2 - 5724991563465300293928248414952269689449981627047796799105523391218\ 199237581363/174849329715334885099019097276309706953790299129641240\ 7959878331283705128930947*c_0101_5 + 1150592479473931645907048843039952417270193755271990872533386289898\ 833016172360/174849329715334885099019097276309706953790299129641240\ 7959878331283705128930947, c_0101_5^27 - 13/2*c_0101_5^26 + 51/2*c_0101_5^25 - 130*c_0101_5^24 - 451/2*c_0101_5^23 - 1523/2*c_0101_5^22 - 2283/2*c_0101_5^21 + 10007/2*c_0101_5^20 - 21083/2*c_0101_5^19 + 7014*c_0101_5^18 + 49807/2*c_0101_5^17 + 30819/2*c_0101_5^16 - 32873*c_0101_5^15 - 61340*c_0101_5^14 + 64274*c_0101_5^13 + 63427/2*c_0101_5^12 - 74308*c_0101_5^11 + 5379*c_0101_5^10 + 38491*c_0101_5^9 + 1132*c_0101_5^8 - 10381*c_0101_5^7 - 3872*c_0101_5^6 + 4043/2*c_0101_5^5 + 1133/2*c_0101_5^4 - 285/2*c_0101_5^3 + 13/2*c_0101_5^2 + 4*c_0101_5 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB