Magma V2.19-8 Tue Aug 20 2013 23:38:31 on localhost [Seed = 3937177306] Type ? for help. Type -D to quit. Loading file "K11n51__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n51 geometric_solution 9.50421539 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 11 1 1 2 3 0132 2310 0132 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 -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.987963354677 0.607564886938 0 4 4 0 0132 0132 3201 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 -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.063011266602 0.811168462634 5 4 6 0 0132 1302 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.014898116059 0.681915380275 7 8 0 6 0132 0132 0132 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 -1 1 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.338734825145 0.867786437818 1 1 5 2 2310 0132 0213 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0.990800310504 0.845438219022 2 4 9 9 0132 0213 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0.553532931089 0.408649709300 8 7 3 2 2103 2310 0132 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 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.841723785971 1.064333826784 3 10 10 6 0132 0132 0321 3201 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 -4 5 -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.784128919210 0.701526561581 10 3 6 9 0321 0132 2103 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444334918876 1.942390459323 8 5 10 5 3201 0321 0132 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 -1 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.169287655636 0.863235109831 8 7 7 9 0321 0132 0321 0132 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 4 -5 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.784128919210 0.701526561581 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_9']), 'c_1001_10' : negation(d['c_0011_6']), 'c_1001_5' : negation(d['c_1001_0']), 'c_1001_4' : negation(d['c_1001_0']), 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0011_6'], 'c_1001_1' : d['c_0011_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_1']), 'c_1001_9' : d['c_1001_7'], 'c_1001_8' : d['c_0011_6'], 'c_1010_10' : d['c_1001_7'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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' : negation(d['1']), 'c_1100_9' : d['c_1001_7'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1001_7'], 'c_1100_4' : negation(d['c_1001_0']), 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 'c_1100_10' : d['c_1001_7'], 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_1001_0']), 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : negation(d['c_1001_0']), 'c_1010_8' : negation(d['c_0101_0']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), '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' : d['c_0011_10'], 'c_0011_2' : d['c_0011_2'], 'c_0110_10' : d['c_0011_10'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_2']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_9']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : negation(d['c_0101_10']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_10']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : d['c_0011_9']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_2, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_1001_0, c_1001_7, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 9902129136917854613973524117910876718287002092490699965291738078044\ 79346091606765574977577928013865/4790792160134261772965263022184027\ 882262158776762307979724467458187622821803080322251280115191609557*\ c_1100_0^18 + 20705430511061907103088360610602059208242102034642655\ 4856577007211772174868200489419875404116633023/25214695579654009331\ 3961211693896204329587304040121472617077234641453832726477911697435\ 795536400503*c_1100_0^17 - 1979862969289148414486425199622556564499\ 6846576515640935609046547812848024039093236364180975312536601/47907\ 9216013426177296526302218402788226215877676230797972446745818762282\ 1803080322251280115191609557*c_1100_0^16 - 8503629867637275445036269167000926176451051079947520963106350035449\ 3593697545673125776293440920232051/47907921601342617729652630221840\ 2788226215877676230797972446745818762282180308032225128011519160955\ 7*c_1100_0^15 + 204702670774472577990716651292431403476169904416118\ 024491905320314767404848516747224863536460049339287/479079216013426\ 1772965263022184027882262158776762307979724467458187622821803080322\ 251280115191609557*c_1100_0^14 + 1447117649474074556375718598686180\ 9945266319563805549934006827800891077394267196640637091219601561715\ 26/4790792160134261772965263022184027882262158776762307979724467458\ 187622821803080322251280115191609557*c_1100_0^13 + 2607414160258442266400318997904035734247483925431650844253465331845\ 868533285998456490704449798660646469/479079216013426177296526302218\ 4027882262158776762307979724467458187622821803080322251280115191609\ 557*c_1100_0^12 + 1751328522161420840954868810854069842677600011191\ 233546945669721887767235073717463051261584029177155156/479079216013\ 4261772965263022184027882262158776762307979724467458187622821803080\ 322251280115191609557*c_1100_0^11 + 2319259772246139623771378113674655760456309222923785757952205055854\ 297076778900757805464167106515898560/479079216013426177296526302218\ 4027882262158776762307979724467458187622821803080322251280115191609\ 557*c_1100_0^10 + 4924744495995550508320414885643312308949047772491\ 13874956917630393031392062578532217418664584862663613/2521469557965\ 4009331396121169389620432958730404012147261707723464145383272647791\ 1697435795536400503*c_1100_0^9 + 1298921419895902776742755225064501\ 2171128268333091186588676057789906159996264394604353040383415174447\ 835/479079216013426177296526302218402788226215877676230797972446745\ 8187622821803080322251280115191609557*c_1100_0^8 - 5986972855782103097241670593055164786576662907182776722022980723101\ 353441353368287005285609951600954860/479079216013426177296526302218\ 4027882262158776762307979724467458187622821803080322251280115191609\ 557*c_1100_0^7 - 15466436176787058680565550366891282215852768917515\ 4194953676448033773142587413308798153391597632875601/25082681466671\ 5276071479739381362716348804124437817171713322903570032608471365461\ 89797278090008427*c_1100_0^6 + 121874422185617820826532269655032170\ 0852883959825728084117934985032241719269731923790084555850253422255\ 2/47907921601342617729652630221840278822621587767623079797244674581\ 87622821803080322251280115191609557*c_1100_0^5 + 1486802184668712622773153396866273746526956955128028751161107383478\ 79262306720988908214423592240166364283/4790792160134261772965263022\ 1840278822621587767623079797244674581876228218030803222512801151916\ 09557*c_1100_0^4 + 278058332677471421992823798713348817332616931609\ 718145618577290318545955129647490181987705582563008143298/479079216\ 0134261772965263022184027882262158776762307979724467458187622821803\ 080322251280115191609557*c_1100_0^3 + 2645438767360433382241086668810607244746894233710642199102383388542\ 24994180059041317758426862697128420470/4790792160134261772965263022\ 1840278822621587767623079797244674581876228218030803222512801151916\ 09557*c_1100_0^2 + 701826091379017161325389546198223359209196168940\ 7029779104706078252747459252173006444519483368954191577/25214695579\ 6540093313961211693896204329587304040121472617077234641453832726477\ 911697435795536400503*c_1100_0 + 2832217612681332715678409963243859\ 9601789790721068283727248601064959910734183883765066863884109066063\ 687/479079216013426177296526302218402788226215877676230797972446745\ 8187622821803080322251280115191609557, c_0011_0 - 1, c_0011_10 - 66679749911177718863566010958606404723863327039754960975438\ 940930677395668561669849/957318908094327902529708042890198396776868\ 2796027512668510323107550314700699323122943*c_1100_0^18 - 2214907791362093219675322861765667271685942062332423796271019490426\ 28155995615883652/9573189080943279025297080428901983967768682796027\ 512668510323107550314700699323122943*c_1100_0^17 + 1456441850513407416079397216540053862558121303736610454970693642881\ 975265994733878637/957318908094327902529708042890198396776868279602\ 7512668510323107550314700699323122943*c_1100_0^16 + 4716358628547862389789229891811041751055076756194108612029456868823\ 453001735262814066/957318908094327902529708042890198396776868279602\ 7512668510323107550314700699323122943*c_1100_0^15 - 1637067764508603917762686734885629261447707014839741505716862137439\ 3045845746298418732/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^14 - 8548969309547243102869281707522640177539342224619587101371639841202\ 7385145883599703118/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^13 - 1256264555429441350609587298357169927663594543004510259440322603531\ 54941545760127642629/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^12 - 6085568443247488112235125359521689631708963250467056579073284520329\ 1301998244585371871/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^11 - 1457504783599169198128517557500635590803009022395215191454329772649\ 76070461522748560523/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^10 - 5412002621839223629728215268717044655765357159538665071810739172200\ 33497915751346705568/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^9 - 5649737968919915898676799585437603199915765551843876294669572832983\ 19945642006873924245/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^8 + 6169604282270178993831149453861814364101668182276047373131957044959\ 84799991492916304680/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^7 + 7722093496203945550151691148442154936858139017199189072953087878191\ 015515407454734698/501214088007501519649061802560313296741815853195\ 15773133561901086650862307326299073*c_1100_0^6 - 1532546104558466723745824292074428756019308251643303200071034260088\ 592494892209855367274/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^5 - 8646934545103111862777631520692900865477667012125321415370226556709\ 630145545585161531041/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^4 - 1373926506483483863598089006088629081863982490751733069109868172315\ 3658465774361966664711/95731890809432790252970804289019839677686827\ 96027512668510323107550314700699323122943*c_1100_0^3 - 1133683868901351740569461709013817818954762033847764440017120434828\ 8006551418162060910795/95731890809432790252970804289019839677686827\ 96027512668510323107550314700699323122943*c_1100_0^2 - 4871157473663203108277480945952921658033789419813236567473789653382\ 113429788897938434574/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0 - 8525477422181089084752590301784109631949911416493273801412373300128\ 57863091050682264277/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943, c_0011_2 - 195718443222177491715370644087245944855585535635297384146890\ 96998699361243754287649/9573189080943279025297080428901983967768682\ 796027512668510323107550314700699323122943*c_1100_0^18 - 6764876213726205001685595582659698952211773649491757984148825573029\ 6214285199238507/95731890809432790252970804289019839677686827960275\ 12668510323107550314700699323122943*c_1100_0^17 + 4265328926766761823021468831322112677845499353083471344158936536238\ 82701714825362983/9573189080943279025297080428901983967768682796027\ 512668510323107550314700699323122943*c_1100_0^16 + 1457829608154636271864947680315009598902420261561637027400243886621\ 131676273696630339/957318908094327902529708042890198396776868279602\ 7512668510323107550314700699323122943*c_1100_0^15 - 4811297080406611489308627625627244669358217676018180998481596425814\ 765787330473470133/957318908094327902529708042890198396776868279602\ 7512668510323107550314700699323122943*c_1100_0^14 - 2604845262517596810702390621343195989304973358676447660724456725811\ 6766021048267965606/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^13 - 3789574036712226659959757216378653374921142395221468425584310482229\ 9689011313992619835/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^12 - 1578391727306719260770024792615375500189070861485045595974067593690\ 3941003669520657974/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^11 - 4014256386459364723672794447898255216633379728350237635170794408231\ 3177117879775623048/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^10 - 1657692748919757875269197098108303191685434807028753664577164809716\ 42868115495179413228/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^9 - 1699729416185718810427749564800567493636167578368305355662084111695\ 51865712473321027698/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^8 + 2002554611941445670029606584096703652959855480028329774830776747338\ 10545517273780931855/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^7 + 2438019279517698158622243064058317291642191527024250122658370217952\ 518193969445765429/501214088007501519649061802560313296741815853195\ 15773133561901086650862307326299073*c_1100_0^6 - 4847031973208681143019535695732573562918415993776271208501358143869\ 00244650687041136837/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^5 - 2653013393404242795081432417515819878350654883938275910971115486098\ 637403620446236681538/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^4 - 4102256577704213697631984669696651724184196974749952055592556930683\ 042094695092147118152/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^3 - 3197137159906417153536481293254916680018261407276646978104840791114\ 125144109011474248932/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^2 - 1202982936213001089576703380253370662020956051810645139053095070808\ 594416915284443306812/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0 - 1518409131169275826525311175683711219048702752906478844107021695706\ 64672657043053550154/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943, c_0011_6 + 213706779985535629174588548047501221939317393221643808088316\ 78918969597765307893952/9573189080943279025297080428901983967768682\ 796027512668510323107550314700699323122943*c_1100_0^18 + 7214298968388838718179496307262394093098477565974781956697721175871\ 4638738544889461/95731890809432790252970804289019839677686827960275\ 12668510323107550314700699323122943*c_1100_0^17 - 4643650614205869652600928164716369672864642158182128276340270459048\ 72067382941015794/9573189080943279025297080428901983967768682796027\ 512668510323107550314700699323122943*c_1100_0^16 - 1541826425816770960840449941898045785277754524859508777595485693016\ 407193093173333974/957318908094327902529708042890198396776868279602\ 7512668510323107550314700699323122943*c_1100_0^15 + 5198121639408239203153406721983798158589931752842570602669355220723\ 805346350040602120/957318908094327902529708042890198396776868279602\ 7512668510323107550314700699323122943*c_1100_0^14 + 2779397658294159759816224451858052237625566743344991712059380922716\ 8940508354194447816/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^13 + 4133715046499556935963128000500322710052035052976027509455034574832\ 2501147268836182322/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^12 + 1972036140548727548206127467537280388555206153212743334549900240625\ 4356156613182719500/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^11 + 4572353376293024101572705985983081860738741236681242350126286202137\ 1894905968298322191/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^10 + 1762828035880878838692915441194728078998910702842168045807281166101\ 63759845529779996661/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^9 + 1874935546730357595023774184702028465661292903684618584434438867887\ 41568858958825519208/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^8 - 2007884814032255734913985126417312015075538355545973804817986632672\ 23079593068987698352/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^7 - 2564817417142327182849040682025697254621235104233243393286176724463\ 088179584457995353/501214088007501519649061802560313296741815853195\ 15773133561901086650862307326299073*c_1100_0^6 + 4872207119503211683491558896076525441422875426860117710687358982609\ 31494979404159684961/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^5 + 2826679936650506020674112019473371988660278823575696190844538673483\ 056051185635599477288/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^4 + 4495883878105157726600392785322989961007414973560999445821909613352\ 580684917435783890957/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^3 + 3683421034822570158764141128210269643762793730807419715235859577148\ 096016294852661740985/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^2 + 1533330045587766261199803261190997548491082100870905445168096414042\ 142918086308789327643/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0 + 2441071116739014955602987103964181129016499876110286861169574693635\ 88798796165485089035/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943, c_0011_9 - 402986354468090334773959129596269994583459070185957212208571\ 34944947113321038200092/9573189080943279025297080428901983967768682\ 796027512668510323107550314700699323122943*c_1100_0^18 - 1426102119131916840146500043872105141498899028653685128903364724627\ 90431763514426778/9573189080943279025297080428901983967768682796027\ 512668510323107550314700699323122943*c_1100_0^17 + 8582646898832642673947861257287558475427099496248603914321255050379\ 18463140268447683/9573189080943279025297080428901983967768682796027\ 512668510323107550314700699323122943*c_1100_0^16 + 3060565436738757205822207987186637384781864382707145495898984456866\ 234248551894378801/957318908094327902529708042890198396776868279602\ 7512668510323107550314700699323122943*c_1100_0^15 - 9444005051843153094316934398860876885314294946314998030854565029724\ 880916035409108181/957318908094327902529708042890198396776868279602\ 7512668510323107550314700699323122943*c_1100_0^14 - 5421115659478958773798621152553446958380734245497876946148255326369\ 1475208436843428731/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^13 - 8510269717181737426113178972385832629472576454667248473416871836018\ 7998238036776966523/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^12 - 4542888677048131129978300764710382085657128181033476067583959554971\ 9546116399182388073/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^11 - 8816765161277713713643045837410196799193391689469421367857587925976\ 6492867674148532218/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^10 - 3457063488804386206489497422154451484324051115524433076757133988878\ 41058375166014593718/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^9 - 3974660883065155441807273081892003009890155226721531850181417476819\ 08878749132816569555/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^8 + 3471587540282980534074189346393934775472938613490985497059518409792\ 24404083007198332966/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^7 + 5225999328155096084787501111258505216663723284768975214688194997868\ 074679310532396803/501214088007501519649061802560313296741815853195\ 15773133561901086650862307326299073*c_1100_0^6 - 8199862362220486984429518053432912750924100231445218270107958399696\ 79640414774442441559/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^5 - 5526004719679975676049042029223023025880556264859559774935013546644\ 166727969101946612695/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^4 - 9196283951954712448272506019932622080126072655645750109051941479696\ 136632681034997676471/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^3 - 7892754113451653817317527139973200810430421035120947539987810570132\ 202340297451862434560/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^2 - 3508491072781904881718964507238811541168061437914787293517807781438\ 409988490939816903321/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0 - 6243429927904790925179160772077025285602467222772787829261484428038\ 15034306249562168795/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943, c_0101_0 - 416804694915650996282551137197668219090998651140956548528288\ 328281346277408240718/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^18 + 2226030946064630407741796773706595683526380803082077608575361340137\ 448433111667965/957318908094327902529708042890198396776868279602751\ 2668510323107550314700699323122943*c_1100_0^17 + 1893731865205902741991689560958742996357787525445089554344621382380\ 2180175249833398/95731890809432790252970804289019839677686827960275\ 12668510323107550314700699323122943*c_1100_0^16 - 5512784906113470615247965228780135411851984987679737310331930638111\ 5660008064296408/95731890809432790252970804289019839677686827960275\ 12668510323107550314700699323122943*c_1100_0^15 - 3068470041801214182150522826200310297305426513473607429812453224685\ 84033571073521815/9573189080943279025297080428901983967768682796027\ 512668510323107550314700699323122943*c_1100_0^14 + 4706229672552507047838770710417867442486072924793118478930417779364\ 82298240199834652/9573189080943279025297080428901983967768682796027\ 512668510323107550314700699323122943*c_1100_0^13 + 3237843159819068932164553164532785930491158255685213479349238865688\ 162785539165748438/957318908094327902529708042890198396776868279602\ 7512668510323107550314700699323122943*c_1100_0^12 + 4066751924933710171250381155728045588918777418628069831393732820787\ 188366282833492383/957318908094327902529708042890198396776868279602\ 7512668510323107550314700699323122943*c_1100_0^11 - 1654551454470673186536019886525271931872750491029991046921193900335\ 59400205832523245/9573189080943279025297080428901983967768682796027\ 512668510323107550314700699323122943*c_1100_0^10 + 4016006694858113526537564278724360861905112273304474012172268354806\ 841406596692284760/957318908094327902529708042890198396776868279602\ 7512668510323107550314700699323122943*c_1100_0^9 + 2120444263272279051657779817012295873842502855420007491523232885885\ 2383740909187154775/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^8 + 2001424958286140177867385565425020944742617982705641680907321370987\ 2543800603587942257/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^7 - 1735767774680046327905347513477782856217680524925901961182915055605\ 74948135735378299/5012140880075015196490618025603132967418158531951\ 5773133561901086650862307326299073*c_1100_0^6 - 6465296871547131217037483853457819952155334656709261963524175638959\ 9104067790592982427/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^5 + 5935882266413286825485511047715011247763550062847765729511161248806\ 3909268504419860795/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^4 + 3144167681890853485672140539916445774025634688057401191468683624614\ 92906649381635622236/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^3 + 4429878821580498782087504688972395792701073363160934508773073828198\ 86945906765795436931/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^2 + 2880178423249396612339824154140320714473644781518435263316901460528\ 25235746480941426204/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0 + 7134954900271672437340275936095263899414564559238186274416913931536\ 3053113406461558392/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943, c_0101_1 + 949223958121628309686019307373819519704303886156823716763559\ 0898735349636319163640/95731890809432790252970804289019839677686827\ 96027512668510323107550314700699323122943*c_1100_0^18 + 5344318502424048414320992064608321009367886468148714641908224595532\ 1154606759819219/95731890809432790252970804289019839677686827960275\ 12668510323107550314700699323122943*c_1100_0^17 - 1518361837216322576852383092316552334362112419235574159228136519831\ 66667332416371237/9573189080943279025297080428901983967768682796027\ 512668510323107550314700699323122943*c_1100_0^16 - 1193902361717209488359604725131241609250973152532184081817654987041\ 008779769168268059/957318908094327902529708042890198396776868279602\ 7512668510323107550314700699323122943*c_1100_0^15 + 1192340966881639111689618995719002642236522474229807558543556816177\ 723701656698665042/957318908094327902529708042890198396776868279602\ 7512668510323107550314700699323122943*c_1100_0^14 + 1844935970050767397729735177821781790819919005643937249129911500298\ 3549058283202606108/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^13 + 4103484008542740428961401145420974451995365368873869922371230504131\ 0626161875254023757/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^12 + 3166382344147901301393514354051150283306240026220256678314238518396\ 3533135030130147857/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^11 + 2240654558619351437457794471697352196994075787498331917369342114196\ 0986422816775043410/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^10 + 1233232889544808097164352408695981527916683889616646957051346609787\ 98013662297702994727/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^9 + 2217566359360976790645356627730829899142985953481541006183404196785\ 98203624869516768392/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^8 - 1380599047352842543322817785649770699052488717824106754016751409218\ 7037563755221336066/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^7 - 2473396558635351786890489099925356917659812032173389059502775202784\ 688420429975267230/501214088007501519649061802560313296741815853195\ 15773133561901086650862307326299073*c_1100_0^6 - 6101546208383498349083753884777046750055438450211001230084103966852\ 9093642427234627582/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^5 + 1956534219083581446862783021071232708581905732588777210560358315407\ 906127895143287236014/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^4 + 4229318573476419300342895849030729502493790187647240484206653258242\ 021985958963428367681/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^3 + 4333986692079738558892046946672734037141802076779291866132725517496\ 210961874537611436985/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^2 + 2249338442769481909862745838015175484949409573083309427163447361292\ 130723359283355907222/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0 + 4617999802433428821320280489667443104829850343844029792120834069026\ 47854683651017829861/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943, c_0101_10 + 12130459987284242055197345552592351865517980067865506500265\ 606867782695091188449067/957318908094327902529708042890198396776868\ 2796027512668510323107550314700699323122943*c_1100_0^18 + 5859571077112773091473074557098756501509023009637819757049008684551\ 5878961427400088/95731890809432790252970804289019839677686827960275\ 12668510323107550314700699323122943*c_1100_0^17 - 2215614500547177930560859095592067279219599503807188398318344013935\ 58438521593723065/9573189080943279025297080428901983967768682796027\ 512668510323107550314700699323122943*c_1100_0^16 - 1300846078850056955454827895945580182771144086840098077422974687035\ 700692506262750235/957318908094327902529708042890198396776868279602\ 7512668510323107550314700699323122943*c_1100_0^15 + 2101740383275604512470411597866533664411795235758866565638749180428\ 196500720663407879/957318908094327902529708042890198396776868279602\ 7512668510323107550314700699323122943*c_1100_0^14 + 2092598706299672945088316090209639647493645383455959190333258218479\ 1369375544801809246/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^13 + 4126017418816898746739405240219966631424803457227584436922418319358\ 8739740852445188570/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^12 + 2746413965819413531690868745625802982281696394026772103567147254834\ 9826940750207460895/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^11 + 2628441388323928881264302409308885119060748263752503570701508105959\ 1286151989275747159/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^10 + 1382956138730336331127075312241247542314134981742371845128790155770\ 57676205426401611998/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^9 + 2137880314941983887131378564797803440586556572517978735199660759050\ 82793755596554783083/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^8 - 6750162313093294491012318527993764594293743629376222278659716061024\ 0986100816645492938/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^7 - 2553142348474323068936751869299320435311284283140407287732045959758\ 755700104836638968/501214088007501519649061802560313296741815853195\ 15773133561901086650862307326299073*c_1100_0^6 + 8515106377712748260953798513119799487383323947910547359393509522887\ 6202121204725407736/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^5 + 2196566016402553447706124553101096842815867447481120600252720530176\ 182762298284990189233/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^4 + 4281807932426425749727108541416689838621359083229214206833988027993\ 878861870784613693908/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^3 + 4075145011209871481222580807564369371097923412093477067272931853070\ 968248695431261343938/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^2 + 1964244460287325290697585516717819024039218488014527138614984021158\ 950023294505085068757/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0 + 3697417891106939679797111431725742533196310293380583345053398113788\ 35935595255951573091/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943, c_1001_0 + 674829557670985471426280972428484887942519902811415320425304\ 51385011543499306989912/9573189080943279025297080428901983967768682\ 796027512668510323107550314700699323122943*c_1100_0^18 + 2392858273877377629789283031557153212645274376878530499119104094923\ 97908058851239036/9573189080943279025297080428901983967768682796027\ 512668510323107550314700699323122943*c_1100_0^17 - 1432881700777702213344034887485740030894944107215463356090713842303\ 000971608147815102/957318908094327902529708042890198396776868279602\ 7512668510323107550314700699323122943*c_1100_0^16 - 5128468244312898545088322430016151076573543067579950444830490370091\ 898244784294543432/957318908094327902529708042890198396776868279602\ 7512668510323107550314700699323122943*c_1100_0^15 + 1571255603295458132492057478013253953719539194642491341515037340232\ 5659990935237356068/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^14 + 9075155198565085396817207235697094777931555402965677310502363962593\ 5683815709621938011/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^13 + 1439781107919139744557977116371978435005338639638239253709748868797\ 20947649516446357769/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^12 + 7989257216780476749692329999065461959258749704906071302527410380491\ 2712907280741746559/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^11 + 1502107279335499813440845651154885695710709525856213603726011605658\ 34424245686493978749/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^10 + 5791690795607988218858978425736843381854215469287858248673024036916\ 43192835001754226164/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^9 + 6754866485664635604020501433015697556528102079752989501749604419095\ 60745232685593388219/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^8 - 5592711983918131881934325611635731034701333611907256663967025087190\ 74505276583549583903/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^7 - 8756009534335179776736433640406936319433765703518023337171325433672\ 510820446706831978/501214088007501519649061802560313296741815853195\ 15773133561901086650862307326299073*c_1100_0^6 + 1325085554627518933774898378619964067372518637692185566235443353055\ 143495353756419886685/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^5 + 9235286547690325088149229269068226042188465010506369031611609124107\ 845411866343972297232/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^4 + 1557481248588154695302534549706692912458363628132798910223818444061\ 6226563929802369354516/95731890809432790252970804289019839677686827\ 96027512668510323107550314700699323122943*c_1100_0^3 + 1357797244319905160169391875686044101078662805097222036702181107076\ 4071916645955533523795/95731890809432790252970804289019839677686827\ 96027512668510323107550314700699323122943*c_1100_0^2 + 6226076393662732483266239612415562692742316660905809184708055643487\ 631573475355578418739/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0 + 1184817235000843068350980082159652795645352859838300556945585096617\ 826019826624748380137/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943, c_1001_7 - 206187783217437521464278806089113456385703571242971941840801\ 92189644329137876588532/9573189080943279025297080428901983967768682\ 796027512668510323107550314700699323122943*c_1100_0^18 - 7219121224449185061922712441339748692783583657811820557772712982393\ 4608832015275439/95731890809432790252970804289019839677686827960275\ 12668510323107550314700699323122943*c_1100_0^17 + 4410619821013383356726228426659741273547924506022704676479089471570\ 09635779922139213/9573189080943279025297080428901983967768682796027\ 512668510323107550314700699323122943*c_1100_0^16 + 1547193777439492065061148729712413177566958484328318079170094368166\ 819466518444116172/957318908094327902529708042890198396776868279602\ 7512668510323107550314700699323122943*c_1100_0^15 - 4871102715609139397090867777392017339196627620400273265380447215717\ 937885817917362190/957318908094327902529708042890198396776868279602\ 7512668510323107550314700699323122943*c_1100_0^14 - 2750900921017809604181620465921170062490585083346298856527204902542\ 7672876487898286385/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^13 - 4274578178064100530409413317868846259303290997084593932354031654842\ 5167535089346470096/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^12 - 2250511704801673667584934717505959462309270591145110211648281763096\ 6468962353525329805/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^11 - 4501629726187109786083485212759695802285343011621625535049626901012\ 5361000146366904896/95731890809432790252970804289019839677686827960\ 27512668510323107550314700699323122943*c_1100_0^10 - 1751663281593106604015530340936500927491404117469574565693201869228\ 14650476373748296589/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^9 - 1985352362066566203531402081293753905831851282781793488894568102839\ 18702653906601940009/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^8 + 1796064095341316632174500368551350665722845163659796247545372780784\ 42062721144507516696/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^7 + 2628796675440071463706024991833174667119111869018895958224555486615\ 722346314306603448/501214088007501519649061802560313296741815853195\ 15773133561901086650862307326299073*c_1100_0^6 - 4283458144362616373505325924059570644856657503112097915183358402770\ 95213071449082864675/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943*c_1100_0^5 - 2801264150327293016826022832856500743182654615616677786975937023593\ 886639016912099472372/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^4 - 4631403891027898526155728420994093050225790401317809962450265002155\ 953337624003217697860/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^3 - 3942692877407024502769999070653008042733640764164754390952681639678\ 284419753822673089519/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0^2 - 1740846058360519143694237310918364659071708441449503652901179687749\ 778991190420919544437/957318908094327902529708042890198396776868279\ 6027512668510323107550314700699323122943*c_1100_0 - 3029243820511304860433599047020615969570513239206778027206102694691\ 04947080140991818284/9573189080943279025297080428901983967768682796\ 027512668510323107550314700699323122943, c_1100_0^19 + 547/121*c_1100_0^18 - 2153/121*c_1100_0^17 - 11708/121*c_1100_0^16 + 19252/121*c_1100_0^15 + 190361/121*c_1100_0^14 + 416308/121*c_1100_0^13 + 391893/121*c_1100_0^12 + 404362/121*c_1100_0^11 + 1299293/121*c_1100_0^10 + 2219848/121*c_1100_0^9 + 158658/121*c_1100_0^8 - 3997368/121*c_1100_0^7 - 524497/121*c_1100_0^6 + 18935225/121*c_1100_0^5 + 44017898/121*c_1100_0^4 + 51258458/121*c_1100_0^3 + 34409850/121*c_1100_0^2 + 12632634/121*c_1100_0 + 1951721/121 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.560 Total time: 0.770 seconds, Total memory usage: 32.09MB