Magma V2.19-8 Wed Aug 21 2013 00:07:06 on localhost [Seed = 3903751694] Type ? for help. Type -D to quit. Loading file "K13n2256__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2256 geometric_solution 11.81862109 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 -1 0 1 0 0 0 0 -5 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.334467636464 0.978724623925 0 5 4 6 0132 0132 0132 0132 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 -1 1 0 0 1 -1 0 0 0 0 5 1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.802237315838 0.729011539761 7 0 9 8 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 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.829457384584 1.016808472098 10 7 8 0 0132 0132 1230 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 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.033802974775 0.766463628478 11 9 0 1 0132 1023 0132 0132 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 0 0 -1 1 1 0 0 -1 -6 0 0 6 -1 6 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.278888220681 0.778988410975 12 1 10 7 0132 0132 1230 1023 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 0 0 0 0 1 -1 0 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.653690126007 0.627789440891 11 11 1 8 3012 0213 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 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.436439143198 0.544867787857 2 3 8 5 0132 0132 0213 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.143800204751 0.603920922665 6 7 2 3 3012 0213 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.655908152074 0.531264227515 4 12 12 2 1023 1302 3120 0132 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 -1 1 0 0 0 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.568599946607 0.937520326933 3 12 11 5 0132 0132 3012 3012 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 6 -6 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.573152010650 0.494999578378 4 10 6 6 0132 1230 0213 1230 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 -1 1 -1 0 0 1 1 -1 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436439143198 0.544867787857 5 10 9 9 0132 0132 3120 2031 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 -6 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.650660837182 0.420433398946 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_8'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : negation(d['c_0101_5']), 'c_1001_5' : d['c_1001_11'], 'c_1001_4' : d['c_0101_9'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_11'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_12'], 'c_1001_2' : d['c_0101_9'], 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_0101_0'], 'c_1010_10' : negation(d['c_0101_5']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_6'], 'c_0101_10' : d['c_0101_0'], '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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : 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' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_12']), 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0110_8'], 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : d['c_0110_8'], 'c_1100_1' : d['c_0110_8'], 'c_1100_0' : d['c_0110_8'], 'c_1100_3' : d['c_0110_8'], 'c_1100_2' : negation(d['c_0101_12']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_8'], 'c_1100_10' : negation(d['c_1001_11']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_12'], 'c_1010_6' : d['c_0011_8'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_11'], 'c_1010_0' : d['c_0101_9'], 'c_1010_9' : d['c_0101_9'], 'c_1010_8' : negation(d['c_0101_3']), '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_9']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], '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_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_6'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0011_6'], 'c_0101_7' : d['c_0011_8'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_12']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_8'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0011_6'], 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_6, c_0011_8, c_0101_0, c_0101_12, c_0101_2, c_0101_3, c_0101_5, c_0101_9, c_0110_8, c_1001_0, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 1721967989233271867473866122814306404598441701476620564/65820980627\ 50486401019391413999717770288002224813561343*c_1001_11^19 - 8742034940901874838752908633595295110100738825115687443/65820980627\ 50486401019391413999717770288002224813561343*c_1001_11^18 + 12342790184613450322171039893175837709615119586754456664/6582098062\ 750486401019391413999717770288002224813561343*c_1001_11^17 - 31768146758898715727007535756582446657046826998392831845/6582098062\ 750486401019391413999717770288002224813561343*c_1001_11^16 + 185893651923088146976999978634192266557004182554852907807/658209806\ 2750486401019391413999717770288002224813561343*c_1001_11^15 - 212444278364786226273444420129645831899748694939904599552/658209806\ 2750486401019391413999717770288002224813561343*c_1001_11^14 + 349434321945838290626865255051771789288412737764771429700/658209806\ 2750486401019391413999717770288002224813561343*c_1001_11^13 - 1172196879347610040864266465908914041082488345706039972786/65820980\ 62750486401019391413999717770288002224813561343*c_1001_11^12 + 1925188724854204335571937851910396178655043773745866055846/65820980\ 62750486401019391413999717770288002224813561343*c_1001_11^11 - 2089800587055541484911985084561732159856535482094967988757/65820980\ 62750486401019391413999717770288002224813561343*c_1001_11^10 + 4543848028327488003235800725432896239869059732897263375508/65820980\ 62750486401019391413999717770288002224813561343*c_1001_11^9 - 3694530572811180398682486126202954084477873470198335126733/65820980\ 62750486401019391413999717770288002224813561343*c_1001_11^8 + 12844344722460398439407622920152712427803177296636188246377/6582098\ 062750486401019391413999717770288002224813561343*c_1001_11^7 - 3157503801969680603319780420742688980620564569497887781862/65820980\ 62750486401019391413999717770288002224813561343*c_1001_11^6 + 9516145372182405038297002772880112670253216699161198148321/65820980\ 62750486401019391413999717770288002224813561343*c_1001_11^5 - 1435121278471337810109013031795392734058850668824049718765/59837255\ 1159135127365399219454519797298909293164869213*c_1001_11^4 + 6610717320020431949283273898984984926118432325650584657876/65820980\ 62750486401019391413999717770288002224813561343*c_1001_11^3 - 3909062566610794906007000301404903565217272998262278153991/65820980\ 62750486401019391413999717770288002224813561343*c_1001_11^2 + 9709581628077122008701778100365949381587734066942527462427/65820980\ 62750486401019391413999717770288002224813561343*c_1001_11 - 759308567919627619213430872100622882025512918812945324197/658209806\ 2750486401019391413999717770288002224813561343, c_0011_0 - 1, c_0011_11 - 42595030295435326348671880024205639410968/75103000241734327\ 724253569218221868028478589*c_1001_11^19 + 232748761029789924073524759482021146286522/751030002417343277242535\ 69218221868028478589*c_1001_11^18 - 368259253362935245705027532449773512228870/751030002417343277242535\ 69218221868028478589*c_1001_11^17 + 726003583143832840650067398600007860442499/751030002417343277242535\ 69218221868028478589*c_1001_11^16 - 4311801201350290701437867498292431271725444/75103000241734327724253\ 569218221868028478589*c_1001_11^15 + 5800793996458167901552991648663613547005009/75103000241734327724253\ 569218221868028478589*c_1001_11^14 - 6965721393833705939779582062761542148839085/75103000241734327724253\ 569218221868028478589*c_1001_11^13 + 22012041110301158716054387339312715666438569/7510300024173432772425\ 3569218221868028478589*c_1001_11^12 - 40765430488573252294238423504458705729787435/7510300024173432772425\ 3569218221868028478589*c_1001_11^11 + 41016085469761150894265257597067405580930536/7510300024173432772425\ 3569218221868028478589*c_1001_11^10 - 69751762734535766807399955400709470882373411/7510300024173432772425\ 3569218221868028478589*c_1001_11^9 + 23659142837154537190550863342873828596024996/7510300024173432772425\ 3569218221868028478589*c_1001_11^8 - 202943906185128438500939170329978347001737394/751030002417343277242\ 53569218221868028478589*c_1001_11^7 + 29674875947934024325495529969378865115981797/7510300024173432772425\ 3569218221868028478589*c_1001_11^6 - 34958561411221720765677889944449804158334157/7510300024173432772425\ 3569218221868028478589*c_1001_11^5 + 144541748025158151651518123426802103026746134/751030002417343277242\ 53569218221868028478589*c_1001_11^4 + 15733041451407230870902008503848057503666251/7510300024173432772425\ 3569218221868028478589*c_1001_11^3 + 25971292975533206881278016446795704077241505/7510300024173432772425\ 3569218221868028478589*c_1001_11^2 + 4515975712118600085403479255606274394274996/75103000241734327724253\ 569218221868028478589*c_1001_11 + 121309056734205533199678144508334\ 66724623352/75103000241734327724253569218221868028478589, c_0011_6 - 3047609691767017336626056186306528226638/7510300024173432772\ 4253569218221868028478589*c_1001_11^19 + 45109361857328891720649685792374804456840/7510300024173432772425356\ 9218221868028478589*c_1001_11^18 - 184740821868634157123279260845372624740096/751030002417343277242535\ 69218221868028478589*c_1001_11^17 + 342422260871198787666941665061141867631463/751030002417343277242535\ 69218221868028478589*c_1001_11^16 - 978586835190034491569639942459168653020982/751030002417343277242535\ 69218221868028478589*c_1001_11^15 + 3616185238189086339227489370234501032771316/75103000241734327724253\ 569218221868028478589*c_1001_11^14 - 5189180938799398672771168773090663631973971/75103000241734327724253\ 569218221868028478589*c_1001_11^13 + 9534815025774623478465306093302667172057240/75103000241734327724253\ 569218221868028478589*c_1001_11^12 - 22384930746391551506797155265207094822035089/7510300024173432772425\ 3569218221868028478589*c_1001_11^11 + 37119344773805010976183740499612345268243496/7510300024173432772425\ 3569218221868028478589*c_1001_11^10 - 49524614118816487595296219393252260804980344/7510300024173432772425\ 3569218221868028478589*c_1001_11^9 + 80274949207271920160358686220518459798387188/7510300024173432772425\ 3569218221868028478589*c_1001_11^8 - 67680154582820596016817797922497801604948860/7510300024173432772425\ 3569218221868028478589*c_1001_11^7 + 184905958461117352328096513066901970874064025/751030002417343277242\ 53569218221868028478589*c_1001_11^6 - 52092387578846274805015077036218816024703983/7510300024173432772425\ 3569218221868028478589*c_1001_11^5 + 175677480637615040690627173888859887464873406/751030002417343277242\ 53569218221868028478589*c_1001_11^4 - 112779677358372196283188372926081233473545339/751030002417343277242\ 53569218221868028478589*c_1001_11^3 + 55876389684615682563865562485916223477754220/7510300024173432772425\ 3569218221868028478589*c_1001_11^2 - 28644165775724916708239395105743623332287099/7510300024173432772425\ 3569218221868028478589*c_1001_11 + 40709083355800589752800034340408400481959964/7510300024173432772425\ 3569218221868028478589, c_0011_8 - 37645166414865500142601150198647450545497/751030002417343277\ 24253569218221868028478589*c_1001_11^19 + 208994103311936547546228057708333259765025/751030002417343277242535\ 69218221868028478589*c_1001_11^18 - 355743920109554761882795684007698749075962/751030002417343277242535\ 69218221868028478589*c_1001_11^17 + 769071685021831249881649793597186959505518/751030002417343277242535\ 69218221868028478589*c_1001_11^16 - 4178817693114218795557136801032091331924432/75103000241734327724253\ 569218221868028478589*c_1001_11^15 + 6130962257016974376834897203884951939584679/75103000241734327724253\ 569218221868028478589*c_1001_11^14 - 8736897865635474865177361363138095997663508/75103000241734327724253\ 569218221868028478589*c_1001_11^13 + 25532315144637718127563561561912664026464520/7510300024173432772425\ 3569218221868028478589*c_1001_11^12 - 47433972024890188826322706920720911092411900/7510300024173432772425\ 3569218221868028478589*c_1001_11^11 + 56523227167010932117274001501293202693591580/7510300024173432772425\ 3569218221868028478589*c_1001_11^10 - 100230883905825530134844914540315906634137613/751030002417343277242\ 53569218221868028478589*c_1001_11^9 + 86331683595975295648383562976712109972278529/7510300024173432772425\ 3569218221868028478589*c_1001_11^8 - 268309629287646818661733811747773914783956838/751030002417343277242\ 53569218221868028478589*c_1001_11^7 + 145219440337232747857267318887094442467981899/751030002417343277242\ 53569218221868028478589*c_1001_11^6 - 173835489447657450288199993550241631006194482/751030002417343277242\ 53569218221868028478589*c_1001_11^5 + 319109627407419186721993723655257505959010803/751030002417343277242\ 53569218221868028478589*c_1001_11^4 - 191242314046831132150673892636811439821660387/751030002417343277242\ 53569218221868028478589*c_1001_11^3 + 151001037647621952615061972653809431763120475/751030002417343277242\ 53569218221868028478589*c_1001_11^2 - 180287405330923906062620101440146904748775208/751030002417343277242\ 53569218221868028478589*c_1001_11 + 44778418710539050558456953984689867768413378/7510300024173432772425\ 3569218221868028478589, c_0101_0 + 2192888304942377464591799020992042553523/7510300024173432772\ 4253569218221868028478589*c_1001_11^19 - 33666879416820867316929334750520860557183/7510300024173432772425356\ 9218221868028478589*c_1001_11^18 + 131176699029866326636809573395829524211809/751030002417343277242535\ 69218221868028478589*c_1001_11^17 - 192848830147296953784039494368527080606667/751030002417343277242535\ 69218221868028478589*c_1001_11^16 + 544110249904852688473265717206064070725600/751030002417343277242535\ 69218221868028478589*c_1001_11^15 - 2373604198153934643745474656790643677180677/75103000241734327724253\ 569218221868028478589*c_1001_11^14 + 2630591752362209701137475266384837694133395/75103000241734327724253\ 569218221868028478589*c_1001_11^13 - 3801868601860719858333601727806591663022741/75103000241734327724253\ 569218221868028478589*c_1001_11^12 + 11779023658181122922394247957691600871628184/7510300024173432772425\ 3569218221868028478589*c_1001_11^11 - 18724243337845174954557503160320833689522543/7510300024173432772425\ 3569218221868028478589*c_1001_11^10 + 16188559894528735788000469540653653229543053/7510300024173432772425\ 3569218221868028478589*c_1001_11^9 - 26559076379390377919528372090593862942829478/7510300024173432772425\ 3569218221868028478589*c_1001_11^8 + 6248860611678724400238995272577722448721063/75103000241734327724253\ 569218221868028478589*c_1001_11^7 - 89167552293734352833065133455801364549114885/7510300024173432772425\ 3569218221868028478589*c_1001_11^6 - 42365789917814600266028503495489739353329335/7510300024173432772425\ 3569218221868028478589*c_1001_11^5 - 9397180654058754041926675722644919988517684/75103000241734327724253\ 569218221868028478589*c_1001_11^4 + 22248393125091891334640663721542207395157409/7510300024173432772425\ 3569218221868028478589*c_1001_11^3 + 43819013082673634680958838323060087630673970/7510300024173432772425\ 3569218221868028478589*c_1001_11^2 - 119291218926289962145413360536662747944276535/751030002417343277242\ 53569218221868028478589*c_1001_11 + 21727705898152107103443338931193012340279541/7510300024173432772425\ 3569218221868028478589, c_0101_12 + 20051813406501594522403611391151382451496/75103000241734327\ 724253569218221868028478589*c_1001_11^19 - 54490600190827200312125455735257366773208/7510300024173432772425356\ 9218221868028478589*c_1001_11^18 - 134087604046020929858661013696681066420569/751030002417343277242535\ 69218221868028478589*c_1001_11^17 + 197056228894073026363083227729654438894537/751030002417343277242535\ 69218221868028478589*c_1001_11^16 + 834946828043143968811583540240136364877651/751030002417343277242535\ 69218221868028478589*c_1001_11^15 + 3535656800655145757907502320675692507838567/75103000241734327724253\ 569218221868028478589*c_1001_11^14 - 6078948509192034818749088626344820916400136/75103000241734327724253\ 569218221868028478589*c_1001_11^13 + 3297001019263894569665932594964966057989675/75103000241734327724253\ 569218221868028478589*c_1001_11^12 - 19211898038949015287650071721152115247161643/7510300024173432772425\ 3569218221868028478589*c_1001_11^11 + 52300223899302539907799241219409968037247769/7510300024173432772425\ 3569218221868028478589*c_1001_11^10 - 49213809509243810342758688465155464226460301/7510300024173432772425\ 3569218221868028478589*c_1001_11^9 + 130148529846061029401751432792678986083066512/751030002417343277242\ 53569218221868028478589*c_1001_11^8 - 25415965527084256008587987931758155751016708/7510300024173432772425\ 3569218221868028478589*c_1001_11^7 + 354217710177664456977418255058136409228387186/751030002417343277242\ 53569218221868028478589*c_1001_11^6 - 112666261040677551355500646372079702283680469/751030002417343277242\ 53569218221868028478589*c_1001_11^5 + 105682910796721779757944400005350642535079189/751030002417343277242\ 53569218221868028478589*c_1001_11^4 - 291326012719447281582957370652329651331061667/751030002417343277242\ 53569218221868028478589*c_1001_11^3 + 198132728905082793025625327701489524643384834/751030002417343277242\ 53569218221868028478589*c_1001_11^2 + 52916190598440009579449380243631601861411675/7510300024173432772425\ 3569218221868028478589*c_1001_11 + 28726497819654759361653120268672169607022031/7510300024173432772425\ 3569218221868028478589, c_0101_2 + 29819321298434891875900019426039086738446/751030002417343277\ 24253569218221868028478589*c_1001_11^19 - 162498169212422829753519964933602582818980/751030002417343277242535\ 69218221868028478589*c_1001_11^18 + 265756312956118622617385429640564154715043/751030002417343277242535\ 69218221868028478589*c_1001_11^17 - 596638498734254990356031852301487637247057/751030002417343277242535\ 69218221868028478589*c_1001_11^16 + 3349807294142213032347865828598383354525337/75103000241734327724253\ 569218221868028478589*c_1001_11^15 - 4797372894889742998555550695704510517945668/75103000241734327724253\ 569218221868028478589*c_1001_11^14 + 6921886034189730803851733392862649266253985/75103000241734327724253\ 569218221868028478589*c_1001_11^13 - 21144369558752958254045758627254328246432545/7510300024173432772425\ 3569218221868028478589*c_1001_11^12 + 39867360703822372756055675850369124657337720/7510300024173432772425\ 3569218221868028478589*c_1001_11^11 - 45731812708974876158282195963646991657813855/7510300024173432772425\ 3569218221868028478589*c_1001_11^10 + 83263999044745616076510587122843360659293182/7510300024173432772425\ 3569218221868028478589*c_1001_11^9 - 80567817580950683895156968516231077431145440/7510300024173432772425\ 3569218221868028478589*c_1001_11^8 + 231595403763383106505955724313183873735032983/751030002417343277242\ 53569218221868028478589*c_1001_11^7 - 120573769476999702610000852233593895618663522/751030002417343277242\ 53569218221868028478589*c_1001_11^6 + 152521892538616601917591153612339270823436243/751030002417343277242\ 53569218221868028478589*c_1001_11^5 - 237243301453904098557252527314969293698191505/751030002417343277242\ 53569218221868028478589*c_1001_11^4 + 228115944302192825612576161736142654673907020/751030002417343277242\ 53569218221868028478589*c_1001_11^3 - 50116823444091376231420780388313936048693389/7510300024173432772425\ 3569218221868028478589*c_1001_11^2 + 142801942779732049827896923484262363976742135/751030002417343277242\ 53569218221868028478589*c_1001_11 - 24886209321811251349352061789357029655068179/7510300024173432772425\ 3569218221868028478589, c_0101_3 + 231319841212617157163904362673055552640/75103000241734327724\ 253569218221868028478589*c_1001_11^19 + 12286303336506020741368195990508695580284/7510300024173432772425356\ 9218221868028478589*c_1001_11^18 - 70196599052092984911853149066766484363041/7510300024173432772425356\ 9218221868028478589*c_1001_11^17 + 137109071386103828540551513874311501317491/751030002417343277242535\ 69218221868028478589*c_1001_11^16 - 398092045793226451222780607795124750262579/751030002417343277242535\ 69218221868028478589*c_1001_11^15 + 1681642365852581804485003379886140370100320/75103000241734327724253\ 569218221868028478589*c_1001_11^14 - 2104742948473950836812876642235314012981421/75103000241734327724253\ 569218221868028478589*c_1001_11^13 + 4818974542406144631879704003986762948532324/75103000241734327724253\ 569218221868028478589*c_1001_11^12 - 11620902521734312420203516194495012791237355/7510300024173432772425\ 3569218221868028478589*c_1001_11^11 + 14995129362546979361774810150605862332700197/7510300024173432772425\ 3569218221868028478589*c_1001_11^10 - 18505520285626085290738249783422948143231099/7510300024173432772425\ 3569218221868028478589*c_1001_11^9 + 43513098827049555999852434631806414022705593/7510300024173432772425\ 3569218221868028478589*c_1001_11^8 - 24149922135493674786343611412753701787413210/7510300024173432772425\ 3569218221868028478589*c_1001_11^7 + 71804631394473473115855150359027517602722344/7510300024173432772425\ 3569218221868028478589*c_1001_11^6 + 51715503964269438762667669382245731548538388/7510300024173432772425\ 3569218221868028478589*c_1001_11^5 + 58890233785467499671588340584087762952209743/7510300024173432772425\ 3569218221868028478589*c_1001_11^4 - 62344718197094526415256033212445741031115098/7510300024173432772425\ 3569218221868028478589*c_1001_11^3 - 88579188833112516993654814921065342755623693/7510300024173432772425\ 3569218221868028478589*c_1001_11^2 + 73005477469289300096049315689489557709887766/7510300024173432772425\ 3569218221868028478589*c_1001_11 - 5001883287672701210343507998550805047638066/75103000241734327724253\ 569218221868028478589, c_0101_5 - 1401843011762899033308315132840904140166/7510300024173432772\ 4253569218221868028478589*c_1001_11^19 - 33850266748736453474105975384321952663565/7510300024173432772425356\ 9218221868028478589*c_1001_11^18 + 239274321382493312858354693533791998739632/751030002417343277242535\ 69218221868028478589*c_1001_11^17 - 517688405878134948632077100389446201022778/751030002417343277242535\ 69218221868028478589*c_1001_11^16 + 1053305172109028801600048136522296964068106/75103000241734327724253\ 569218221868028478589*c_1001_11^15 - 4921324675625575447220883016481390110103033/75103000241734327724253\ 569218221868028478589*c_1001_11^14 + 8880762936548099921135133931403600678685378/75103000241734327724253\ 569218221868028478589*c_1001_11^13 - 14442963609546654931717939929156824001770687/7510300024173432772425\ 3569218221868028478589*c_1001_11^12 + 31620464542237593587620150363347499230896402/7510300024173432772425\ 3569218221868028478589*c_1001_11^11 - 60978137039157076895631402432852419121840243/7510300024173432772425\ 3569218221868028478589*c_1001_11^10 + 86454950490192095094600468965201830260928576/7510300024173432772425\ 3569218221868028478589*c_1001_11^9 - 138878810861358226336479657198693624489232943/751030002417343277242\ 53569218221868028478589*c_1001_11^8 + 110662708874201617431181753499320196241988328/751030002417343277242\ 53569218221868028478589*c_1001_11^7 - 294388723954158853003527118620236847560343266/751030002417343277242\ 53569218221868028478589*c_1001_11^6 + 167749852578784568865207659593032358034965033/751030002417343277242\ 53569218221868028478589*c_1001_11^5 - 261861645186004657085498417729118987691358541/751030002417343277242\ 53569218221868028478589*c_1001_11^4 + 181397392819334056942000674703953793240814667/751030002417343277242\ 53569218221868028478589*c_1001_11^3 - 156270029457862304406015406514246829616297295/751030002417343277242\ 53569218221868028478589*c_1001_11^2 + 63794607138526017709058707315467508070030518/7510300024173432772425\ 3569218221868028478589*c_1001_11 - 75888190914949761695161831662484061908420158/7510300024173432772425\ 3569218221868028478589, c_0101_9 + 9643316193150691733069195419792949606768/7510300024173432772\ 4253569218221868028478589*c_1001_11^19 - 45615747316851882600547219263054789703919/7510300024173432772425356\ 9218221868028478589*c_1001_11^18 + 56778024618934548662528881926467977470772/7510300024173432772425356\ 9218221868028478589*c_1001_11^17 - 194809198333985810738444621719873980778249/751030002417343277242535\ 69218221868028478589*c_1001_11^16 + 1141631554845114569341290644690736689454568/75103000241734327724253\ 569218221868028478589*c_1001_11^15 - 1257299610332489463707396479553510356758574/75103000241734327724253\ 569218221868028478589*c_1001_11^14 + 2660008861182868766381997234422891126411219/75103000241734327724253\ 569218221868028478589*c_1001_11^13 - 8757483012070035706244771316855151470584753/75103000241734327724253\ 569218221868028478589*c_1001_11^12 + 15007580176430250183059458012235283780657364/7510300024173432772425\ 3569218221868028478589*c_1001_11^11 - 18443109681499305867174922148778735245162799/7510300024173432772425\ 3569218221868028478589*c_1001_11^10 + 39814542564297131832297208877674682417633495/7510300024173432772425\ 3569218221868028478589*c_1001_11^9 - 46643986167428070487220900980420202261082094/7510300024173432772425\ 3569218221868028478589*c_1001_11^8 + 118187511331974632459935643238224972832632230/751030002417343277242\ 53569218221868028478589*c_1001_11^7 - 53347036306699442088208834580833961964246146/7510300024173432772425\ 3569218221868028478589*c_1001_11^6 + 123772322636878861361968080653793130135216885/751030002417343277242\ 53569218221868028478589*c_1001_11^5 - 134607737133739932466288522078614083481634700/751030002417343277242\ 53569218221868028478589*c_1001_11^4 + 144266132257646593549453369704834762855463957/751030002417343277242\ 53569218221868028478589*c_1001_11^3 - 62999051833594122544071496690075756541745453/7510300024173432772425\ 3569218221868028478589*c_1001_11^2 + 88157248570812103074819939267609078097692654/7510300024173432772425\ 3569218221868028478589*c_1001_11 - 42861287309743178273384882433408414778415778/7510300024173432772425\ 3569218221868028478589, c_0110_8 - 42266394646632435895036460125470098684288/751030002417343277\ 24253569218221868028478589*c_1001_11^19 + 210405761043146681017516552450031308018656/751030002417343277242535\ 69218221868028478589*c_1001_11^18 - 281252527855542905306785470163958763498004/751030002417343277242535\ 69218221868028478589*c_1001_11^17 + 732700986885169885635205607283412570177982/751030002417343277242535\ 69218221868028478589*c_1001_11^16 - 4393819772153136945118377097102856416825416/75103000241734327724253\ 569218221868028478589*c_1001_11^15 + 4545305394715991480231119550996462747107694/75103000241734327724253\ 569218221868028478589*c_1001_11^14 - 7455480332596162172585902122831285307177478/75103000241734327724253\ 569218221868028478589*c_1001_11^13 + 25722631619768054292239715537574915580198387/7510300024173432772425\ 3569218221868028478589*c_1001_11^12 - 40470246551100253281911021249159143381033040/7510300024173432772425\ 3569218221868028478589*c_1001_11^11 + 38722568584776252324407712317469366274940702/7510300024173432772425\ 3569218221868028478589*c_1001_11^10 - 88702860484275131493091724984119386352034121/7510300024173432772425\ 3569218221868028478589*c_1001_11^9 + 49601031002275610629787076208401456820318367/7510300024173432772425\ 3569218221868028478589*c_1001_11^8 - 262162033485083795768779859202311858668727658/751030002417343277242\ 53569218221868028478589*c_1001_11^7 - 31663872082800777211974227100787189990426653/7510300024173432772425\ 3569218221868028478589*c_1001_11^6 - 138285978657145554154036370866195009655153701/751030002417343277242\ 53569218221868028478589*c_1001_11^5 + 223913530598906580539008309774666476364137865/751030002417343277242\ 53569218221868028478589*c_1001_11^4 - 30753681026203730006848308759824395018976818/7510300024173432772425\ 3569218221868028478589*c_1001_11^3 - 63104029029211360279091003317746905779364429/7510300024173432772425\ 3569218221868028478589*c_1001_11^2 - 92463387918612335028373126917850862760604203/7510300024173432772425\ 3569218221868028478589*c_1001_11 - 58870685334758801370828654936786914428401534/7510300024173432772425\ 3569218221868028478589, c_1001_0 + 28084791135065667688824663939838071583264/751030002417343277\ 24253569218221868028478589*c_1001_11^19 - 194672331858548898391219519319458303551319/751030002417343277242535\ 69218221868028478589*c_1001_11^18 + 460310998443502852778535426960059720725099/751030002417343277242535\ 69218221868028478589*c_1001_11^17 - 796497353256056429139625010323702097700545/751030002417343277242535\ 69218221868028478589*c_1001_11^16 + 3535060915397933318553164020811280757909441/75103000241734327724253\ 569218221868028478589*c_1001_11^15 - 8127093051899691610272699075167349318532499/75103000241734327724253\ 569218221868028478589*c_1001_11^14 + 9949277099678308072807193074460658531757512/75103000241734327724253\ 569218221868028478589*c_1001_11^13 - 21344415398546581157870966427328274920142941/7510300024173432772425\ 3569218221868028478589*c_1001_11^12 + 51475261780423097092712967101480524143024574/7510300024173432772425\ 3569218221868028478589*c_1001_11^11 - 70867590373872038263718483457112132646582307/7510300024173432772425\ 3569218221868028478589*c_1001_11^10 + 88782038178424092601931552552268987104363058/7510300024173432772425\ 3569218221868028478589*c_1001_11^9 - 101229294751775298252681754908700922991553228/751030002417343277242\ 53569218221868028478589*c_1001_11^8 + 196698572070739051575526955063915571825418978/751030002417343277242\ 53569218221868028478589*c_1001_11^7 - 276364728570371723883478071569530450689368954/751030002417343277242\ 53569218221868028478589*c_1001_11^6 + 95993396801001177049809355891689090603923547/7510300024173432772425\ 3569218221868028478589*c_1001_11^5 - 196813224654676852966727919586558122036921526/751030002417343277242\ 53569218221868028478589*c_1001_11^4 + 298562545579388745544294769879376624694114854/751030002417343277242\ 53569218221868028478589*c_1001_11^3 - 147951226821596963581086948630634573777179707/751030002417343277242\ 53569218221868028478589*c_1001_11^2 + 9821420925722440930546462075015152254173416/75103000241734327724253\ 569218221868028478589*c_1001_11 - 588452506140656961351778106051576\ 25681716754/75103000241734327724253569218221868028478589, c_1001_11^20 - 5*c_1001_11^19 + 7*c_1001_11^18 - 19*c_1001_11^17 + 108*c_1001_11^16 - 119*c_1001_11^15 + 217*c_1001_11^14 - 690*c_1001_11^13 + 1108*c_1001_11^12 - 1275*c_1001_11^11 + 2780*c_1001_11^10 - 2190*c_1001_11^9 + 7860*c_1001_11^8 - 1693*c_1001_11^7 + 7023*c_1001_11^6 - 9018*c_1001_11^5 + 4372*c_1001_11^4 - 3954*c_1001_11^3 + 6185*c_1001_11^2 - 492*c_1001_11 + 1213 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.720 Total time: 6.929 seconds, Total memory usage: 96.16MB