Magma V2.19-8 Tue Aug 20 2013 23:41:20 on localhost [Seed = 593840023] Type ? for help. Type -D to quit. Loading file "K12n503__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n503 geometric_solution 11.01891957 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 3 0132 0132 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 0 -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.182100078707 0.696034992305 0 4 2 5 0132 0132 1023 0132 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 -1 9 -8 0 0 0 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.280593290556 0.728020632423 6 0 1 7 0132 0132 1023 0132 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 -1 0 1 0 0 -9 9 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.357929842787 1.380013540364 0 8 5 0 3012 0132 1302 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 1 0 -1 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.709105426996 0.603450590437 6 1 9 10 1023 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539063915937 1.195933725860 3 8 1 9 2031 1023 0132 3120 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 8 -8 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.730816520601 0.523557997986 2 4 8 10 0132 1023 0132 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 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.176098812496 0.678956366965 9 8 2 11 1302 0213 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 8 0 -9 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.939158399922 1.249354245022 5 3 7 6 1023 0132 0213 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.615556650493 0.511421641670 5 7 11 4 3120 2031 2031 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 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.776701285651 1.510672835706 11 6 4 11 0321 1302 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 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.709105426996 0.603450590437 10 10 7 9 0321 2310 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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.182100078707 0.696034992305 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0101_2'], 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_0011_7'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0011_3'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_0011_11'], 'c_1010_10' : negation(d['c_1001_11']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0011_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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(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' : negation(d['c_0011_11']), 'c_1100_8' : d['c_1001_11'], 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : d['c_0101_9'], 'c_1100_6' : d['c_1001_11'], 'c_1100_1' : negation(d['c_0101_9']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : d['c_0101_9'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_9'], 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : negation(d['c_0011_9']), '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_0011_7'], 'c_1010_0' : d['c_0011_3'], 'c_1010_9' : d['c_0011_7'], 'c_1010_8' : d['c_0101_4'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_9']), 'c_0101_6' : negation(d['c_0011_9']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_7'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : negation(d['c_0011_9']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_9']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_7, c_0011_9, c_0101_0, c_0101_2, c_0101_4, c_0101_9, c_1001_0, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 1901/432*c_1001_11^7 + 511/216*c_1001_11^6 + 1961/108*c_1001_11^5 - 5431/432*c_1001_11^4 - 21173/432*c_1001_11^3 - 73/6*c_1001_11^2 + 2101/216*c_1001_11 - 10547/432, c_0011_0 - 1, c_0011_10 - 1/4*c_1001_11^7 + 5/4*c_1001_11^5 - 1/4*c_1001_11^4 - 7/2*c_1001_11^3 - 7/4*c_1001_11^2 + c_1001_11 - 1/2, c_0011_11 + 1/8*c_1001_11^7 - 1/8*c_1001_11^6 - 5/8*c_1001_11^5 + 3/4*c_1001_11^4 + 15/8*c_1001_11^3 - 9/8*c_1001_11^2 - 19/8*c_1001_11 + 1, c_0011_3 - 1/4*c_1001_11^7 + 5/4*c_1001_11^5 - 1/4*c_1001_11^4 - 7/2*c_1001_11^3 - 7/4*c_1001_11^2 + c_1001_11 - 1/2, c_0011_7 - 3/8*c_1001_11^7 + 1/4*c_1001_11^6 + 7/4*c_1001_11^5 - 13/8*c_1001_11^4 - 37/8*c_1001_11^3 + 1/4*c_1001_11^2 + 9/4*c_1001_11 - 15/8, c_0011_9 + 3/8*c_1001_11^7 - 1/4*c_1001_11^6 - 3/2*c_1001_11^5 + 9/8*c_1001_11^4 + 35/8*c_1001_11^3 + c_1001_11^2 - 7/4*c_1001_11 + 13/8, c_0101_0 - 1/8*c_1001_11^7 + 1/8*c_1001_11^6 + 5/8*c_1001_11^5 - 3/4*c_1001_11^4 - 15/8*c_1001_11^3 + 9/8*c_1001_11^2 + 19/8*c_1001_11 - 1, c_0101_2 - 1, c_0101_4 - 1, c_0101_9 - 1, c_1001_0 - c_1001_11, c_1001_11^8 - c_1001_11^7 - 4*c_1001_11^6 + 5*c_1001_11^5 + 10*c_1001_11^4 - 3*c_1001_11^3 - 4*c_1001_11^2 + 7*c_1001_11 - 3 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_7, c_0011_9, c_0101_0, c_0101_2, c_0101_4, c_0101_9, c_1001_0, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 5938602378603913389259102423723248455279387003/58544698613985937296\ 621298026512158465014671394*c_1001_11^17 + 179450700274563596331183223352583112951497382169/173682605888158280\ 6466431841453194034462101918022*c_1001_11^16 + 6869921562813240395613403726118769100328418729911/26052390883223742\ 09699647762179791051693152877033*c_1001_11^15 - 5539438701167528799050690216272714187183943684481/52104781766447484\ 19399295524359582103386305754066*c_1001_11^14 + 37076354980929929058167111529074767589047622308675/2605239088322374\ 209699647762179791051693152877033*c_1001_11^13 - 116420930532613330631994480169714459940313087611330/260523908832237\ 4209699647762179791051693152877033*c_1001_11^12 + 5011858157210430517666419471330091203609065801230/28947100981359713\ 4411071973575532339077016986337*c_1001_11^11 - 443398980288808591606357592682642389271733092640667/260523908832237\ 4209699647762179791051693152877033*c_1001_11^10 + 79223426189223910599914943864987243621171409253173/8684130294407914\ 03233215920726597017231050959011*c_1001_11^9 + 3531301851429821300006812122041640417516689290986922/26052390883223\ 74209699647762179791051693152877033*c_1001_11^8 - 535153506440472906800076236202164570591503711945321/400806013588057\ 570723022732643044777183561981082*c_1001_11^7 - 12352084322079127964083580367267114233150252093381423/5210478176644\ 748419399295524359582103386305754066*c_1001_11^6 + 8032922499397902477841279498792546860749862917131465/26052390883223\ 74209699647762179791051693152877033*c_1001_11^5 + 2628443380692462715563135970394001466877360676621785/26052390883223\ 74209699647762179791051693152877033*c_1001_11^4 - 1754521298110939587610786760672583922704145473433462/86841302944079\ 1403233215920726597017231050959011*c_1001_11^3 - 1765576278466782249651152330854060247990323673029325/52104781766447\ 48419399295524359582103386305754066*c_1001_11^2 + 119429158060866332605350725666030683475756138954658/964903366045323\ 78137023991191844113025672328779*c_1001_11 - 941136965030959251554595549234643596077564161469642/260523908832237\ 4209699647762179791051693152877033, c_0011_0 - 1, c_0011_10 + 445757677822382468083786413825777844370455/1084161085444184\ 024011505519009484416018790211*c_1001_11^17 + 524825224272322721352044819057858713297524/108416108544418402401150\ 5519009484416018790211*c_1001_11^16 + 11628645481697659514012775346982861859831211/1084161085444184024011\ 505519009484416018790211*c_1001_11^15 - 3063461447531272465059238375708680109766494/10841610854441840240115\ 05519009484416018790211*c_1001_11^14 + 60516256562376798852686636732515439551490348/1084161085444184024011\ 505519009484416018790211*c_1001_11^13 - 191853347431993497357776590825166974844172761/108416108544418402401\ 1505519009484416018790211*c_1001_11^12 + 35270346282611555802614807901336849443550753/1084161085444184024011\ 505519009484416018790211*c_1001_11^11 - 754864839208663004557844781679849015469296171/108416108544418402401\ 1505519009484416018790211*c_1001_11^10 + 324734359912315392826558235332222639631840722/108416108544418402401\ 1505519009484416018790211*c_1001_11^9 + 6116180642264344909457223103697958907019992093/10841610854441840240\ 11505519009484416018790211*c_1001_11^8 - 351073347136667868531022099194622834001949091/833970065726295403085\ 77347616114185847599247*c_1001_11^7 - 11435477669991130280338889312496169303168014454/1084161085444184024\ 011505519009484416018790211*c_1001_11^6 + 9911853317461308689605502978977355139377976336/10841610854441840240\ 11505519009484416018790211*c_1001_11^5 + 6717877311857702480840647421474649752745591595/10841610854441840240\ 11505519009484416018790211*c_1001_11^4 - 4945073774751123615203181575196076880517446866/10841610854441840240\ 11505519009484416018790211*c_1001_11^3 - 3072615774920770778463395610339308811745455907/10841610854441840240\ 11505519009484416018790211*c_1001_11^2 + 3600404722253053652961553540633282546009036167/10841610854441840240\ 11505519009484416018790211*c_1001_11 - 906151402650219447387657044909690192590876259/108416108544418402401\ 1505519009484416018790211, c_0011_11 - 55500553578916026001754851087509638514460/10841610854441840\ 24011505519009484416018790211*c_1001_11^17 - 125208619956792327403694971526409717327956/108416108544418402401150\ 5519009484416018790211*c_1001_11^16 - 1563016684946447957085476116469544048364497/10841610854441840240115\ 05519009484416018790211*c_1001_11^15 - 1255062254913263784994851321500699460171857/10841610854441840240115\ 05519009484416018790211*c_1001_11^14 - 8349283694966397591820488629611180063146950/10841610854441840240115\ 05519009484416018790211*c_1001_11^13 + 15348814116753582503291200648946477039838703/1084161085444184024011\ 505519009484416018790211*c_1001_11^12 + 14270343004830221181299400925431547542841427/1084161085444184024011\ 505519009484416018790211*c_1001_11^11 + 102463900699703643812383548799658683458898089/108416108544418402401\ 1505519009484416018790211*c_1001_11^10 + 57230413099404692660971380557897822841870722/1084161085444184024011\ 505519009484416018790211*c_1001_11^9 - 741942911640461613066539011449255021116930655/108416108544418402401\ 1505519009484416018790211*c_1001_11^8 - 19006001138719856882925016931834451502920755/8339700657262954030857\ 7347616114185847599247*c_1001_11^7 + 1449809546063136179388875506875951469201866099/10841610854441840240\ 11505519009484416018790211*c_1001_11^6 + 658737844086883868386438185878549144684869476/108416108544418402401\ 1505519009484416018790211*c_1001_11^5 - 1005063324420189020808630055658893054712067518/10841610854441840240\ 11505519009484416018790211*c_1001_11^4 - 846634123889405712728106656450415366441519135/108416108544418402401\ 1505519009484416018790211*c_1001_11^3 + 254253514840538616938609606064798934514589358/108416108544418402401\ 1505519009484416018790211*c_1001_11^2 - 619758122007227074374105347569785312055480787/108416108544418402401\ 1505519009484416018790211*c_1001_11 - 1395248002580719275302820177396108448123271/10841610854441840240115\ 05519009484416018790211, c_0011_3 + 568026112073041738697247400459928294764467/10841610854441840\ 24011505519009484416018790211*c_1001_11^17 + 579265420191556455756601664232719568955225/108416108544418402401150\ 5519009484416018790211*c_1001_11^16 + 14678811229950824614018509692853128735116349/1084161085444184024011\ 505519009484416018790211*c_1001_11^15 - 6103865867774097967275992039364992372566909/10841610854441840240115\ 05519009484416018790211*c_1001_11^14 + 77345059466638807438059790248570878173393654/1084161085444184024011\ 505519009484416018790211*c_1001_11^13 - 251183496364101691645899374860573295193885030/108416108544418402401\ 1505519009484416018790211*c_1001_11^12 + 86205980605251147876815734859115686738488891/1084161085444184024011\ 505519009484416018790211*c_1001_11^11 - 924016083006352498354407631249018421126161832/108416108544418402401\ 1505519009484416018790211*c_1001_11^10 + 539021410477461002552014266235144470194747590/108416108544418402401\ 1505519009484416018790211*c_1001_11^9 + 7721716518616001612885849076650984498281451046/10841610854441840240\ 11505519009484416018790211*c_1001_11^8 - 568128838567152534008212832244392748715162900/833970065726295403085\ 77347616114185847599247*c_1001_11^7 - 14601860227869703258812743325874282019886534823/1084161085444184024\ 011505519009484416018790211*c_1001_11^6 + 17393602273972388529302867607836309359770875140/1084161085444184024\ 011505519009484416018790211*c_1001_11^5 + 8981114436632765414560942688679928299727136333/10841610854441840240\ 11505519009484416018790211*c_1001_11^4 - 12295367045942853893511436192093369940824698548/1084161085444184024\ 011505519009484416018790211*c_1001_11^3 - 5069469449876435680023514206981367431703934761/10841610854441840240\ 11505519009484416018790211*c_1001_11^2 + 7789183271245949496655184489699811547488818125/10841610854441840240\ 11505519009484416018790211*c_1001_11 - 916077501909812935955112495044625102493954226/108416108544418402401\ 1505519009484416018790211, c_0011_7 - 498216313232356554974663931967346418987145/10841610854441840\ 24011505519009484416018790211*c_1001_11^17 - 774857650607602276913807445616858983247124/108416108544418402401150\ 5519009484416018790211*c_1001_11^16 - 13207286300409143220626198039046727292281983/1084161085444184024011\ 505519009484416018790211*c_1001_11^15 - 1497123201574122760769645143595532583154427/10841610854441840240115\ 05519009484416018790211*c_1001_11^14 - 65995359333281018181164066682759499046956869/1084161085444184024011\ 505519009484416018790211*c_1001_11^13 + 188430160089492815618107892300510111523762923/108416108544418402401\ 1505519009484416018790211*c_1001_11^12 + 45807460099646020152605914066940936949159530/1084161085444184024011\ 505519009484416018790211*c_1001_11^11 + 825143069294728932100747348320137144338989239/108416108544418402401\ 1505519009484416018790211*c_1001_11^10 - 14078637032457506315761715904847273143570154/1084161085444184024011\ 505519009484416018790211*c_1001_11^9 - 6991332904532925347829101777240781341172047026/10841610854441840240\ 11505519009484416018790211*c_1001_11^8 + 197696307841692913042654582958416537447067752/833970065726295403085\ 77347616114185847599247*c_1001_11^7 + 14703209584189611334985758390330480570752669234/1084161085444184024\ 011505519009484416018790211*c_1001_11^6 - 6976060948116283930938183093396535533440213838/10841610854441840240\ 11505519009484416018790211*c_1001_11^5 - 11269972142665064033520999284874891841397127760/1084161085444184024\ 011505519009484416018790211*c_1001_11^4 + 3802811582637307139898056611760136439414160777/10841610854441840240\ 11505519009484416018790211*c_1001_11^3 + 4768733369306921072636727461036426677126240199/10841610854441840240\ 11505519009484416018790211*c_1001_11^2 - 3021528311939735816551953502386344098244358231/10841610854441840240\ 11505519009484416018790211*c_1001_11 - 127182252743670859629567815398955468904764337/108416108544418402401\ 1505519009484416018790211, c_0011_9 + 593127639923819575457760993371876636668240/10841610854441840\ 24011505519009484416018790211*c_1001_11^17 + 972142038926982589228654352419584540470218/108416108544418402401150\ 5519009484416018790211*c_1001_11^16 + 16098622743936775622103731789622719646611512/1084161085444184024011\ 505519009484416018790211*c_1001_11^15 + 3982069232254305475929578627749782945596471/10841610854441840240115\ 05519009484416018790211*c_1001_11^14 + 87993855266463949590635846358918794901310349/1084161085444184024011\ 505519009484416018790211*c_1001_11^13 - 203642057074796190375559722120038409892256355/108416108544418402401\ 1505519009484416018790211*c_1001_11^12 - 10379271890660441327241872652358535076677420/1084161085444184024011\ 505519009484416018790211*c_1001_11^11 - 1012076608447049303066228479056909009954251459/10841610854441840240\ 11505519009484416018790211*c_1001_11^10 - 107122367039024652109208290649428686010282908/108416108544418402401\ 1505519009484416018790211*c_1001_11^9 + 7706477759025093527378918069027174103841761861/10841610854441840240\ 11505519009484416018790211*c_1001_11^8 - 246400838676254519901060637703335209513060382/833970065726295403085\ 77347616114185847599247*c_1001_11^7 - 15113130965309897506160271320769639053202199391/1084161085444184024\ 011505519009484416018790211*c_1001_11^6 + 9132220271565212507444084714475826979973937343/10841610854441840240\ 11505519009484416018790211*c_1001_11^5 + 9992910558880602727106219881858850966835891398/10841610854441840240\ 11505519009484416018790211*c_1001_11^4 - 5926853030898735652611562643534960271610246763/10841610854441840240\ 11505519009484416018790211*c_1001_11^3 - 3739707378419967343341365564007542118599879468/10841610854441840240\ 11505519009484416018790211*c_1001_11^2 + 4260045942193013225556493526868690608069503447/10841610854441840240\ 11505519009484416018790211*c_1001_11 - 408268742128716494638646074703586133121963269/108416108544418402401\ 1505519009484416018790211, c_0101_0 - 385361731549709955769280318640325651296228/10841610854441840\ 24011505519009484416018790211*c_1001_11^17 + 44256248454530323024322538213016057686021/1084161085444184024011505\ 519009484416018790211*c_1001_11^16 - 9134508194203409739942029461612141218423509/10841610854441840240115\ 05519009484416018790211*c_1001_11^15 + 16233480129143023107603112858309022766399402/1084161085444184024011\ 505519009484416018790211*c_1001_11^14 - 46561866061233040762087450344041548084883166/1084161085444184024011\ 505519009484416018790211*c_1001_11^13 + 237259717193115558313017040486876458716212194/108416108544418402401\ 1505519009484416018790211*c_1001_11^12 - 192854479319610833858088903091367090666781444/108416108544418402401\ 1505519009484416018790211*c_1001_11^11 + 588629362979209663839505672275902454238258829/108416108544418402401\ 1505519009484416018790211*c_1001_11^10 - 1131621937583562727169578377501735355766925274/10841610854441840240\ 11505519009484416018790211*c_1001_11^9 - 5496617748788223163457973244201804321185995541/10841610854441840240\ 11505519009484416018790211*c_1001_11^8 + 817606788123955753220345663827437358370950664/833970065726295403085\ 77347616114185847599247*c_1001_11^7 + 8998934419619440534353608029944473574626952273/10841610854441840240\ 11505519009484416018790211*c_1001_11^6 - 22670009716738876217053456466413950762580078463/1084161085444184024\ 011505519009484416018790211*c_1001_11^5 - 2595237544861488206569233311050420849558383414/10841610854441840240\ 11505519009484416018790211*c_1001_11^4 + 15745655452133268454666097588318353515943842053/1084161085444184024\ 011505519009484416018790211*c_1001_11^3 + 1621456615227293654039880740814231296199559103/10841610854441840240\ 11505519009484416018790211*c_1001_11^2 - 8160129820263599340163263457419395080050542100/10841610854441840240\ 11505519009484416018790211*c_1001_11 + 3153673207606839761211638366173555423549212680/10841610854441840240\ 11505519009484416018790211, c_0101_2 + 136792066165272207926402103883331192651926/10841610854441840\ 24011505519009484416018790211*c_1001_11^17 + 80665418644239767653817750539823825059267/1084161085444184024011505\ 519009484416018790211*c_1001_11^16 + 3425157629489765760773785231457747222535782/10841610854441840240115\ 05519009484416018790211*c_1001_11^15 - 3102028562921673229563806649421600448613681/10841610854441840240115\ 05519009484416018790211*c_1001_11^14 + 17825266046072883325415314350720146782849987/1084161085444184024011\ 505519009484416018790211*c_1001_11^13 - 69643103910270324470830974023841205151256918/1084161085444184024011\ 505519009484416018790211*c_1001_11^12 + 38455728749864913880940257733508601587100104/1084161085444184024011\ 505519009484416018790211*c_1001_11^11 - 217053743968860813218473251121270221462019741/108416108544418402401\ 1505519009484416018790211*c_1001_11^10 + 233927914818484503844213509703714955300481700/108416108544418402401\ 1505519009484416018790211*c_1001_11^9 + 1916016592650641624044589642598380773523340266/10841610854441840240\ 11505519009484416018790211*c_1001_11^8 - 194532289621266626488960688429650538705023162/833970065726295403085\ 77347616114185847599247*c_1001_11^7 - 3317371512528439378959009067136741337417992648/10841610854441840240\ 11505519009484416018790211*c_1001_11^6 + 5414181639496348057101032562690800615976326145/10841610854441840240\ 11505519009484416018790211*c_1001_11^5 + 1266328243924352434711683018564153385368038047/10841610854441840240\ 11505519009484416018790211*c_1001_11^4 - 3299552548155935785642494803398895486724010452/10841610854441840240\ 11505519009484416018790211*c_1001_11^3 - 475691233669347059046429707621606988625420586/108416108544418402401\ 1505519009484416018790211*c_1001_11^2 + 2359692306583549966293734851865658071782580078/10841610854441840240\ 11505519009484416018790211*c_1001_11 - 570989468011093047786035111019977167052185468/108416108544418402401\ 1505519009484416018790211, c_0101_4 - 1, c_0101_9 + 136792066165272207926402103883331192651926/10841610854441840\ 24011505519009484416018790211*c_1001_11^17 + 80665418644239767653817750539823825059267/1084161085444184024011505\ 519009484416018790211*c_1001_11^16 + 3425157629489765760773785231457747222535782/10841610854441840240115\ 05519009484416018790211*c_1001_11^15 - 3102028562921673229563806649421600448613681/10841610854441840240115\ 05519009484416018790211*c_1001_11^14 + 17825266046072883325415314350720146782849987/1084161085444184024011\ 505519009484416018790211*c_1001_11^13 - 69643103910270324470830974023841205151256918/1084161085444184024011\ 505519009484416018790211*c_1001_11^12 + 38455728749864913880940257733508601587100104/1084161085444184024011\ 505519009484416018790211*c_1001_11^11 - 217053743968860813218473251121270221462019741/108416108544418402401\ 1505519009484416018790211*c_1001_11^10 + 233927914818484503844213509703714955300481700/108416108544418402401\ 1505519009484416018790211*c_1001_11^9 + 1916016592650641624044589642598380773523340266/10841610854441840240\ 11505519009484416018790211*c_1001_11^8 - 194532289621266626488960688429650538705023162/833970065726295403085\ 77347616114185847599247*c_1001_11^7 - 3317371512528439378959009067136741337417992648/10841610854441840240\ 11505519009484416018790211*c_1001_11^6 + 5414181639496348057101032562690800615976326145/10841610854441840240\ 11505519009484416018790211*c_1001_11^5 + 1266328243924352434711683018564153385368038047/10841610854441840240\ 11505519009484416018790211*c_1001_11^4 - 3299552548155935785642494803398895486724010452/10841610854441840240\ 11505519009484416018790211*c_1001_11^3 - 475691233669347059046429707621606988625420586/108416108544418402401\ 1505519009484416018790211*c_1001_11^2 + 2359692306583549966293734851865658071782580078/10841610854441840240\ 11505519009484416018790211*c_1001_11 - 570989468011093047786035111019977167052185468/108416108544418402401\ 1505519009484416018790211, c_1001_0 - 186106895129801627893049549268086948765544/10841610854441840\ 24011505519009484416018790211*c_1001_11^17 - 374876432214848656894112851816999059184801/108416108544418402401150\ 5519009484416018790211*c_1001_11^16 - 5180312711322956421435155834773566234638393/10841610854441840240115\ 05519009484416018790211*c_1001_11^15 - 3166422573325059487840491977508320155183546/10841610854441840240115\ 05519009484416018790211*c_1001_11^14 - 28317360898122062759171265580774148067590094/1084161085444184024011\ 505519009484416018790211*c_1001_11^13 + 53933154577256653081590964708933309684073697/1084161085444184024011\ 505519009484416018790211*c_1001_11^12 + 30010913535318244961203080200958767293758787/1084161085444184024011\ 505519009484416018790211*c_1001_11^11 + 331206623780577152789995156081339809508382453/108416108544418402401\ 1505519009484416018790211*c_1001_11^10 + 190819326851605027098776369549124507353322624/108416108544418402401\ 1505519009484416018790211*c_1001_11^9 - 2390373831598143934459277115954047238685603876/10841610854441840240\ 11505519009484416018790211*c_1001_11^8 + 9804601300500629409062502654509668140914243/83397006572629540308577\ 347616114185847599247*c_1001_11^7 + 4571077437010922702590094457762658203705959829/10841610854441840240\ 11505519009484416018790211*c_1001_11^6 - 1363891266589214660734286560957574102511570570/10841610854441840240\ 11505519009484416018790211*c_1001_11^5 - 2973372462379723040168787015077613045606212560/10841610854441840240\ 11505519009484416018790211*c_1001_11^4 + 895623810926810493984242759854869690413399282/108416108544418402401\ 1505519009484416018790211*c_1001_11^3 + 2032656745147237735882647146542630953770223686/10841610854441840240\ 11505519009484416018790211*c_1001_11^2 - 620565227324042423297968539255515967131984768/108416108544418402401\ 1505519009484416018790211*c_1001_11 - 1219192339571882933999387852200630284208509315/10841610854441840240\ 11505519009484416018790211, c_1001_11^18 + c_1001_11^17 + 26*c_1001_11^16 - 11*c_1001_11^15 + 141*c_1001_11^14 - 445*c_1001_11^13 + 182*c_1001_11^12 - 1700*c_1001_11^11 + 958*c_1001_11^10 + 13305*c_1001_11^9 - 13276*c_1001_11^8 - 22839*c_1001_11^7 + 29762*c_1001_11^6 + 9213*c_1001_11^5 - 18150*c_1001_11^4 - 3254*c_1001_11^3 + 11248*c_1001_11^2 - 4380*c_1001_11 + 801 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.970 Total time: 1.169 seconds, Total memory usage: 32.09MB