Magma V2.19-8 Tue Aug 20 2013 16:16:37 on localhost [Seed = 3684321026] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0921 geometric_solution 4.81504767 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.584567621704 0.210343973852 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.900866808034 0.334639581309 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.422900760096 0.437234574212 4 2 5 4 3120 0132 0132 2310 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 1 -1 0 0 -1 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.285498189657 0.630040834966 3 5 2 3 3201 0132 0132 3120 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 0 0 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.285498189657 0.630040834966 6 4 6 3 0132 0132 1023 0132 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 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.459171974196 3.070701842069 5 6 5 6 0132 1302 1023 2031 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 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 0 0 0 0 0 0 0.344793816319 0.166369614055 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : 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' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 1120092140768883389912278302306153990627841552084542999094062987770\ 3324665517/18311912758734681645506234919706833079434875175625054524\ 6618420281299014400*c_1001_3^22 + 119621538852399227911683525449465\ 952896045723555701449758598942586675765800583/915595637936734082275\ 31174598534165397174375878125272623309210140649507200*c_1001_3^21 - 1785284973984857416855845964682936874544018688542911777750934021280\ 811248568457/183119127587346816455062349197068330794348751756250545\ 246618420281299014400*c_1001_3^20 + 4485188854848417606418625157184480457106253008148963223421929197436\ 697775291649/183119127587346816455062349197068330794348751756250545\ 246618420281299014400*c_1001_3^19 + 1040554439975682260436499360470377134636302669635296230085073907537\ 56186039483/1430618184276147003555174603102096334330849623095707384\ 739206408447648550*c_1001_3^18 - 7871455166973495341016253037018944\ 4232113773705285229852267291629566298989557013/18311912758734681645\ 5062349197068330794348751756250545246618420281299014400*c_1001_3^17 - 41858483228320219989533326773539204561539544822047001498623552175\ 75025671239983/1831191275873468164550623491970683307943487517562505\ 45246618420281299014400*c_1001_3^16 + 9045688842517122937298023902298298780969350654292105128134637562840\ 6331379711353/36623825517469363291012469839413666158869750351250109\ 049323684056259802880*c_1001_3^15 - 2813938796565068543773499158542269560294067578953928744285181577761\ 37637394208271/9155956379367340822753117459853416539717437587812527\ 2623309210140649507200*c_1001_3^14 - 1711859462773783698032814753658669499473209614155973940444896687283\ 64146449269/1979666244187533150865538910238576549128094613581086975\ 63911805709512448*c_1001_3^13 + 91360136953034065930093496622214702\ 096907273968286857180862862589691444580034283/732476510349387265820\ 2493967882733231773950070250021809864736811251960576*c_1001_3^12 - 2785015952550416109850621785853840231606435096847717062202634219485\ 553609655382583/183119127587346816455062349197068330794348751756250\ 545246618420281299014400*c_1001_3^11 - 5107564502520749654343892290606596872674495103181424917527760927333\ 681837903612861/183119127587346816455062349197068330794348751756250\ 545246618420281299014400*c_1001_3^10 + 2482216859825198892110990086430230709356969218072894038962699444479\ 05341058766913/2288989094841835205688279364963354134929359396953131\ 8155827302535162376800*c_1001_3^9 + 2133936693139178997519440521771563469081195627588864673043392977306\ 731405042940363/915595637936734082275311745985341653971743758781252\ 72623309210140649507200*c_1001_3^8 + 1399549865621976959717003445070889697198610073356912866116274743418\ 344241996607297/183119127587346816455062349197068330794348751756250\ 545246618420281299014400*c_1001_3^7 - 4027885322800230558078801539297427786331644367503483926361824010023\ 95885562180761/1831191275873468164550623491970683307943487517562505\ 45246618420281299014400*c_1001_3^6 - 7065171486580944085017005198995517226890074577391071773345624007020\ 8476900226049/45779781896836704113765587299267082698587187939062636\ 311654605070324753600*c_1001_3^5 - 5193039370541022872085410937257049928362491445979146651867496718691\ 55393756120247/9155956379367340822753117459853416539717437587812527\ 2623309210140649507200*c_1001_3^4 - 2850256879749632134386046300254705963361762037066178240787062385936\ 17320298401321/1831191275873468164550623491970683307943487517562505\ 45246618420281299014400*c_1001_3^3 + 4738208137625587010683152739000160842378205016618713841453619130651\ 3405762448909/36623825517469363291012469839413666158869750351250109\ 049323684056259802880*c_1001_3^2 + 4466392096219031430420736881898629820719834114697203400771649014051\ 0943967510863/18311912758734681645506234919706833079434875175625054\ 5246618420281299014400*c_1001_3 - 667352535771103878270130281946610\ 379186720138001471111534276898960038979550489/114449454742091760284\ 41396824816770674646796984765659077913651267581188400, c_0011_0 - 1, c_0011_1 + 989579141926560944653458308343855889442303729318447659186674\ 92109694557/1430618184276147003555174603102096334330849623095707384\ 739206408447648550*c_1001_3^22 - 1050844633854711285322792701581526\ 022249913766599869111306216525550083093/715309092138073501777587301\ 551048167165424811547853692369603204223824275*c_1001_3^21 + 1551872305299733932053731462148624830537578032562671645663768518666\ 2177297/14306181842761470035551746031020963343308496230957073847392\ 06408447648550*c_1001_3^20 - 37756857649640673390126068093936271101\ 118547084995795117429748277339055179/143061818427614700355517460310\ 2096334330849623095707384739206408447648550*c_1001_3^19 - 6108625603945696723564674588837035582680844152799435787635628979257\ 5936377/71530909213807350177758730155104816716542481154785369236960\ 3204223824275*c_1001_3^18 + 680470637472850033733250762663384482564\ 123635748107450109537989909212983423/143061818427614700355517460310\ 2096334330849623095707384739206408447648550*c_1001_3^17 + 1188210092262126641930404297987015254003778352095975365466440655939\ 57860993/1430618184276147003555174603102096334330849623095707384739\ 206408447648550*c_1001_3^16 - 7956910864157417548042065754782170800\ 08808228531404430271197741341177451703/2861236368552294007110349206\ 20419266866169924619141476947841281689529710*c_1001_3^15 + 2245412198746249355318932607592096428929566733618090685811326919711\ 147693291/715309092138073501777587301551048167165424811547853692369\ 603204223824275*c_1001_3^14 + 2081267113152464882364033805906484482\ 518237171620960485139694603272878195/154661425327151027411370227362\ 3887929006323916860224199718060982105566*c_1001_3^13 - 7969741531405419973311907832219079509947285935151198632535298900189\ 62680015/5722472737104588014220698412408385337323398492382829538956\ 8256337905942*c_1001_3^12 + 221997620846293998874358541268842803349\ 32580418404976350457101273951536140693/1430618184276147003555174603\ 102096334330849623095707384739206408447648550*c_1001_3^11 + 4772423784894288701627646982324417893310175309700538490796625342109\ 7042214481/14306181842761470035551746031020963343308496230957073847\ 39206408447648550*c_1001_3^10 - 58313434238246450664939140142691257\ 54522110839871320775508689980302079962317/7153090921380735017775873\ 01551048167165424811547853692369603204223824275*c_1001_3^9 - 1946109547153763456749713264530449522634015021340519816589766813300\ 9194976773/71530909213807350177758730155104816716542481154785369236\ 9603204223824275*c_1001_3^8 - 1714624162719216393993836550927049179\ 7201583380553969738089353471551604405337/14306181842761470035551746\ 03102096334330849623095707384739206408447648550*c_1001_3^7 + 1319538731958852714582765588505080470463951305129401846871001854966\ 957822881/143061818427614700355517460310209633433084962309570738473\ 9206408447648550*c_1001_3^6 + 1297991188395492302632771088488697297\ 031405679859923963027733543979516714983/715309092138073501777587301\ 551048167165424811547853692369603204223824275*c_1001_3^5 + 4751025851803910494868417488560655784401328525704793534072585613051\ 267334987/715309092138073501777587301551048167165424811547853692369\ 603204223824275*c_1001_3^4 + 36807816229314900387938936848728331284\ 21918363689066134736321319516077844941/1430618184276147003555174603\ 102096334330849623095707384739206408447648550*c_1001_3^3 - 3211356616272092672649434577523725640207028845699263571065678939316\ 50469989/2861236368552294007110349206204192668661699246191414769478\ 41281689529710*c_1001_3^2 - 576834012302383865381713503924808725637\ 981581623095918016930625270986765173/143061818427614700355517460310\ 2096334330849623095707384739206408447648550*c_1001_3 + 8618859679068437428883901303198027527076079695888906125188821939020\ 623577/715309092138073501777587301551048167165424811547853692369603\ 204223824275, c_0011_4 + 451917498136870898907372007029393310859011937164917411102587\ 606024050767/143061818427614700355517460310209633433084962309570738\ 4739206408447648550*c_1001_3^22 - 479873512085871771757056581719647\ 1820420501563721289956589445534356366678/71530909213807350177758730\ 1551048167165424811547853692369603204223824275*c_1001_3^21 + 7086106047507984259535319159859138831032476805376898196144013263560\ 0159867/14306181842761470035551746031020963343308496230957073847392\ 06408447648550*c_1001_3^20 - 17236161302565835520714595245912918389\ 7714236147646809987805949726799528399/14306181842761470035551746031\ 02096334330849623095707384739206408447648550*c_1001_3^19 - 2790323969428645518990317073316804823495422982642846929775191288459\ 68034547/7153090921380735017775873015510481671654248115478536923696\ 03204223824275*c_1001_3^18 + 31068998440239205060259291117374082164\ 92983059282134948010269859930391786813/1430618184276147003555174603\ 102096334330849623095707384739206408447648550*c_1001_3^17 + 5453938134850077644963314054832866196258907449403212830184666537219\ 69709223/1430618184276147003555174603102096334330849623095707384739\ 206408447648550*c_1001_3^16 - 3633283339238391545691718032064320440\ 394348745254219012576000213601275803843/286123636855229400711034920\ 620419266866169924619141476947841281689529710*c_1001_3^15 + 1024548380108093119996785246934273612490696008103057630548914187166\ 8756349521/71530909213807350177758730155104816716542481154785369236\ 9603204223824275*c_1001_3^14 + 475797992311765413412856154283842960\ 82369385566323989913765762029695870731/7733071266357551370568511368\ 119439645031619584301120998590304910527830*c_1001_3^13 - 1819415665581605118579623815671925598043475878683882500867451013788\ 5830773427/28612363685522940071103492062041926686616992461914147694\ 7841281689529710*c_1001_3^12 + 101294842587729705255091819477966229\ 044345934337797984342994454273184414375593/143061818427614700355517\ 4603102096334330849623095707384739206408447648550*c_1001_3^11 + 2179970575656938835020903220107340666810395581026399119797840294248\ 88471964391/1430618184276147003555174603102096334330849623095707384\ 739206408447648550*c_1001_3^10 - 2649616415118366446780314699145611\ 1866475691886183173553591114282904828148252/71530909213807350177758\ 7301551048167165424811547853692369603204223824275*c_1001_3^9 - 8884000113928563095031902998756728149142638092998595503465855446135\ 7879880273/71530909213807350177758730155104816716542481154785369236\ 9603204223824275*c_1001_3^8 - 7847789694286232925489304680090905074\ 4167286466232983744361557126056034916957/14306181842761470035551746\ 03102096334330849623095707384739206408447648550*c_1001_3^7 + 5877112158849227244738985503318336209956302678769336285408309633375\ 476435411/143061818427614700355517460310209633433084962309570738473\ 9206408447648550*c_1001_3^6 + 5901546105859499835545156269657550242\ 039322330481398849948177761688908880238/715309092138073501777587301\ 551048167165424811547853692369603204223824275*c_1001_3^5 + 2169313728880259036185106446227900102393751586125294072433862027050\ 5079499697/71530909213807350177758730155104816716542481154785369236\ 9603204223824275*c_1001_3^4 + 1684553615997548190862958845596310740\ 4001646123997595232316042377567778772541/14306181842761470035551746\ 03102096334330849623095707384739206408447648550*c_1001_3^3 - 1459236515522622442903573242449063349528424498599484118642984747159\ 904547497/286123636855229400711034920620419266866169924619141476947\ 841281689529710*c_1001_3^2 - 26308352094052437374374379498662594396\ 16243196677829032033925488897650150973/1430618184276147003555174603\ 102096334330849623095707384739206408447648550*c_1001_3 + 3761578478025215535948970312768948552265696819710526088229135646638\ 1332497/71530909213807350177758730155104816716542481154785369236960\ 3204223824275, c_0101_0 - 499806808239143724485039863496453527863758312066043626398676\ 665444939489/572247273710458801422069841240838533732339849238282953\ 8956825633790594200*c_1001_3^22 + 530689930419260960314811919441647\ 4603074519903581682470308882362661179451/28612363685522940071103492\ 06204192668661699246191414769478412816895297100*c_1001_3^21 - 7835537904440181748321418541219235619911253644738364310749129927009\ 6004989/57224727371045880142206984124083853373233984923828295389568\ 25633790594200*c_1001_3^20 + 19052093502474561240611747776301546890\ 3739376184524394072233219789581441333/57224727371045880142206984124\ 08385337323398492382829538956825633790594200*c_1001_3^19 + 7717953268877073626970458503930802804672564414921212720856687358848\ 7629581/71530909213807350177758730155104816716542481154785369236960\ 3204223824275*c_1001_3^18 - 343519444731974771333805557966057890854\ 8215264824158923199998373494262179721/57224727371045880142206984124\ 08385337323398492382829538956825633790594200*c_1001_3^17 - 6076602761848897606728044858169365674710308578059158507164153496365\ 19551691/5722472737104588014220698412408385337323398492382829538956\ 825633790594200*c_1001_3^16 + 4017818501710741629919555431327227656\ 244556935271021092764937016853473370381/114449454742091760284413968\ 2481677067464679698476565907791365126758118840*c_1001_3^15 - 1131775370657802075678024086770978800830275741916374143937112075926\ 3583990107/28612363685522940071103492062041926686616992461914147694\ 78412816895297100*c_1001_3^14 - 52739372504871101759539505408668165\ 533421779083550764607557952630055781477/309322850654302054822740454\ 72477758580126478337204483994361219642111320*c_1001_3^13 + 2011845100774842418902970315815378571392280682529955866984499754230\ 0981045499/11444945474209176028441396824816770674646796984765659077\ 91365126758118840*c_1001_3^12 - 11190098038568607530648667477266063\ 2515921377558403139552877883886733836451731/57224727371045880142206\ 98412408385337323398492382829538956825633790594200*c_1001_3^11 - 2412036001919628230902799123434205176247823831964690579137239068311\ 62776909297/5722472737104588014220698412408385337323398492382829538\ 956825633790594200*c_1001_3^10 + 7280207994701658323063689914743249\ 994596477771920056685309143365637560882221/715309092138073501777587\ 301551048167165424811547853692369603204223824275*c_1001_3^9 + 9821124479894518289556361289389331343587170692346810072375428525927\ 9261843391/28612363685522940071103492062041926686616992461914147694\ 78412816895297100*c_1001_3^8 + 870388455722100138574684616088877981\ 37532206775668148196459284352821654262269/5722472737104588014220698\ 412408385337323398492382829538956825633790594200*c_1001_3^7 - 6269060543855853602158960770179649982688777841083336455412834128973\ 863448637/572247273710458801422069841240838533732339849238282953895\ 6825633790594200*c_1001_3^6 - 3247353393217278954973371818523112667\ 768818469880137051969709345850053543673/143061818427614700355517460\ 3102096334330849623095707384739206408447648550*c_1001_3^5 - 2398880588058528512639610372495613904155241057220825305895062434752\ 7033347299/28612363685522940071103492062041926686616992461914147694\ 78412816895297100*c_1001_3^4 - 186894303633610535218421505166784093\ 93582550763162422721524691786686079681397/5722472737104588014220698\ 412408385337323398492382829538956825633790594200*c_1001_3^3 + 1605543839463021105026469970722941481081580733349567288394733935264\ 886998169/114449454742091760284413968248167706746467969847656590779\ 1365126758118840*c_1001_3^2 + 2899473354296649325731922799513197990\ 675472663824118008768289843173318907691/572247273710458801422069841\ 2408385337323398492382829538956825633790594200*c_1001_3 - 9902758704015698224213649576471805136380413638327632650584258150402\ 392206/715309092138073501777587301551048167165424811547853692369603\ 204223824275, c_0101_1 - 259350712119654302580896786239797581781495019549401674232008\ 424642300561/143061818427614700355517460310209633433084962309570738\ 4739206408447648550*c_1001_3^22 + 275396505151311666995080543555616\ 6130059653809924826936093681584373718449/71530909213807350177758730\ 1551048167165424811547853692369603204223824275*c_1001_3^21 - 4066725719214271111176937340791301661740100134252346928858677805512\ 1185311/14306181842761470035551746031020963343308496230957073847392\ 06408447648550*c_1001_3^20 + 98921766594701131443812434401273203995\ 070767847980671845715830586606420467/143061818427614700355517460310\ 2096334330849623095707384739206408447648550*c_1001_3^19 + 1601310589170822390932735903748285009410936235753591697514775036225\ 76740726/7153090921380735017775873015510481671654248115478536923696\ 03204223824275*c_1001_3^18 - 17830982922942448081603973109436681174\ 35227855177859354243044002472077860429/1430618184276147003555174603\ 102096334330849623095707384739206408447648550*c_1001_3^17 - 3127755714039554752806472926117764645942183361567573202775207258647\ 28100359/1430618184276147003555174603102096334330849623095707384739\ 206408447648550*c_1001_3^16 + 2085207229354092563067481294312994996\ 549288291136750205436500230244525226439/286123636855229400711034920\ 620419266866169924619141476947841281689529710*c_1001_3^15 - 5880659386543815504808758291195903234071711391246354748054321246727\ 044689568/715309092138073501777587301551048167165424811547853692369\ 603204223824275*c_1001_3^14 - 2730881735250933735048024607709210071\ 4028266299419212414530084846916754613/77330712663575513705685113681\ 19439645031619584301120998590304910527830*c_1001_3^13 + 1044233406495896626902170617036503598207926135497304670055241504795\ 6910197511/28612363685522940071103492062041926686616992461914147694\ 7841281689529710*c_1001_3^12 - 581409602203369151757229052806618390\ 94374499892328309900625263315424109416419/1430618184276147003555174\ 603102096334330849623095707384739206408447648550*c_1001_3^11 - 1251092151532801952001175743596298226691618499851830212583430208292\ 07118303953/1430618184276147003555174603102096334330849623095707384\ 739206408447648550*c_1001_3^10 + 1522522077058182763588599058382816\ 5008073963714008879381540154390190342819516/71530909213807350177758\ 7301551048167165424811547853692369603204223824275*c_1001_3^9 + 5099388006046131662555209832928330059248996000604372029732096645459\ 3505674259/71530909213807350177758730155104816716542481154785369236\ 9603204223824275*c_1001_3^8 + 4501159000770035912562204009737655275\ 4426180249330296415795184538296882356881/14306181842761470035551746\ 03102096334330849623095707384739206408447648550*c_1001_3^7 - 3394928141429084179876721546679095082259807072956523004318178534095\ 442413963/143061818427614700355517460310209633433084962309570738473\ 9206408447648550*c_1001_3^6 - 3390289146449757849144128022204885913\ 464021188632359200651070484194915606079/715309092138073501777587301\ 551048167165424811547853692369603204223824275*c_1001_3^5 - 1244938415352196961294228018958558927024528853891912817264136339230\ 1858069676/71530909213807350177758730155104816716542481154785369236\ 9603204223824275*c_1001_3^4 - 9664253541180026530790462212764227644\ 286087582738665465116049219685668615153/143061818427614700355517460\ 3102096334330849623095707384739206408447648550*c_1001_3^3 + 8386763287623092298048996877170702965536383863308394378500054355373\ 66758121/2861236368552294007110349206204192668661699246191414769478\ 41281689529710*c_1001_3^2 + 150947748877892069155499512670806277574\ 2063997467721068225924269935164033459/14306181842761470035551746031\ 02096334330849623095707384739206408447648550*c_1001_3 - 2147419389404506346196538424797273873023851744091055406303658327534\ 8922001/71530909213807350177758730155104816716542481154785369236960\ 3204223824275, c_0101_5 + 347083839415386365776985282219806829710722589438659235741592\ 0023493250649/57224727371045880142206984124083853373233984923828295\ 38956825633790594200*c_1001_3^22 - 3685473294687398238586120944354857138169163603309211535723217645584\ 6156851/28612363685522940071103492062041926686616992461914147694784\ 12816895297100*c_1001_3^21 + 54419797722022907274871098320407523562\ 1716426040013768414869539656368621429/57224727371045880142206984124\ 08385337323398492382829538956825633790594200*c_1001_3^20 - 1323525268008277035811775653730470391005149011200669637243876980766\ 877134653/572247273710458801422069841240838533732339849238282953895\ 6825633790594200*c_1001_3^19 - 535851360952965192158883337783490772\ 765861785921695030719431270177394539141/715309092138073501777587301\ 551048167165424811547853692369603204223824275*c_1001_3^18 + 2386039557800830429702730176326943563217120220283005345783633491197\ 2395504561/57224727371045880142206984124083853373233984923828295389\ 56825633790594200*c_1001_3^17 + 41999780747365290370110443863080768\ 72121010708508134030377900851470118883251/5722472737104588014220698\ 412408385337323398492382829538956825633790594200*c_1001_3^16 - 2790564313239341583118409912587087682141668115281240502753701146655\ 3776498941/11444945474209176028441396824816770674646796984765659077\ 91365126758118840*c_1001_3^15 + 78659221067951959462267211284284489\ 933648692093871737639601739532618264878887/286123636855229400711034\ 9206204192668661699246191414769478412816895297100*c_1001_3^14 + 7320026688971238441785851889921440152948753514796076513026717675673\ 8230689/61864570130860410964548090944955517160252956674408967988722\ 43928422264*c_1001_3^13 - 27948553884685228812668150340173514926399\ 047752337692236128038028437045629391/228898909484183520568827936496\ 335413492935939695313181558273025351623768*c_1001_3^12 + 7776820611569373569171212151937959782575831766908011047952779633052\ 86053825451/5722472737104588014220698412408385337323398492382829538\ 956825633790594200*c_1001_3^11 + 1674799228257193132323590526083689\ 583508952471634626962952933419577828354668017/572247273710458801422\ 0698412408385337323398492382829538956825633790594200*c_1001_3^10 - 5082443704760339900381865903873517004766745774508633046234844924557\ 4693655461/71530909213807350177758730155104816716542481154785369236\ 9603204223824275*c_1001_3^9 - 6825675293109269850784179258647740801\ 50798685642419018000840400122208284469811/2861236368552294007110349\ 206204192668661699246191414769478412816895297100*c_1001_3^8 - 6030373575741807043390610112884766631923767884285017710055204142804\ 44833446909/5722472737104588014220698412408385337323398492382829538\ 956825633790594200*c_1001_3^7 + 45170538628658793062658379945431602\ 600621252871150402677279641486521576557117/572247273710458801422069\ 8412408385337323398492382829538956825633790594200*c_1001_3^6 + 2268198489039014167732122161843261391285949562103634609422120518291\ 3648283703/14306181842761470035551746031020963343308496230957073847\ 39206408447648550*c_1001_3^5 + 166597577474879827094139952583884850\ 859873087291242476142675720041976002138759/286123636855229400711034\ 9206204192668661699246191414769478412816895297100*c_1001_3^4 + 1294873838040006589167665097735605229650852279622467456984555042829\ 09604106837/5722472737104588014220698412408385337323398492382829538\ 956825633790594200*c_1001_3^3 - 11214231359986486547426757180341004\ 029225969858328055574893925196819125995113/114449454742091760284413\ 9682481677067464679698476565907791365126758118840*c_1001_3^2 - 2021808076667990790234790435569078053711169347207092409025108881681\ 1222726811/57224727371045880142206984124083853373233984923828295389\ 56825633790594200*c_1001_3 + 72861202882857209557397705100997814076\ 968902370174588096273525366604150816/715309092138073501777587301551\ 048167165424811547853692369603204223824275, c_1001_3^23 - 22*c_1001_3^22 + 173*c_1001_3^21 - 501*c_1001_3^20 - 944*c_1001_3^19 + 7817*c_1001_3^18 - 4037*c_1001_3^17 - 41121*c_1001_3^16 + 76006*c_1001_3^15 - 15099*c_1001_3^14 - 216175*c_1001_3^13 + 377699*c_1001_3^12 + 311457*c_1001_3^11 - 485304*c_1001_3^10 - 303790*c_1001_3^9 + 126331*c_1001_3^8 + 145517*c_1001_3^7 + 16196*c_1001_3^6 + 76070*c_1001_3^5 - 35955*c_1001_3^4 - 44597*c_1001_3^3 + 6501*c_1001_3^2 + 4608*c_1001_3 - 128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB