Magma V2.19-8 Wed Aug 21 2013 01:01:58 on localhost [Seed = 2084202455] Type ? for help. Type -D to quit. Loading file "L14n13556__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13556 geometric_solution 11.75122578 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 1 1 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 -1 0 1 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.757955225795 1.364454074767 0 5 4 2 0132 0132 0213 1023 0 0 1 1 0 0 0 0 0 0 -1 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436794162685 0.861001442948 6 0 7 1 0132 0132 0132 1023 0 0 1 1 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.647986161171 0.584998869819 8 8 5 0 0132 1230 1023 0132 0 0 1 1 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.414066631236 0.533786505415 9 1 0 7 0132 0213 0132 3012 0 0 0 1 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 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.311117956935 0.560067599808 10 1 3 7 0132 0132 1023 0321 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.784765088413 0.589096016135 2 11 8 10 0132 0132 0132 2103 1 0 1 1 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 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.690208717227 0.708587535252 9 5 4 2 2103 0321 1230 0132 0 0 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.308085022704 0.453853949593 3 12 3 6 0132 0132 3012 0132 1 0 1 1 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 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.092713639109 1.169611795437 4 12 7 12 0132 0321 2103 3120 1 0 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401675489005 0.634445839921 5 11 12 6 0132 1023 3120 2103 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.915229578467 0.465218610275 10 6 11 11 1023 0132 2031 1302 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.684526529060 0.336527233402 9 8 10 9 3120 0132 3120 0321 1 0 1 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 0 0 0 0 0 0 0 1 0 0 -1 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.287638553810 1.125173849107 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_11']), 'c_1001_10' : d['c_0101_11'], 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : negation(d['c_0101_11']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_0011_7'], 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : d['c_0110_11'], 's_0_10' : d['1'], 's_3_10' : 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_0101_11'], 'c_0101_10' : negation(d['c_0011_7']), '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_1100_9' : negation(d['c_0101_12']), 'c_1100_8' : negation(d['c_0101_5']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_7'], 'c_1100_4' : negation(d['c_1001_7']), 'c_1100_7' : d['c_0101_7'], 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_1' : negation(d['c_0101_7']), 'c_1100_0' : negation(d['c_1001_7']), 'c_1100_3' : negation(d['c_1001_7']), 'c_1100_2' : d['c_0101_7'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_11'], 'c_1100_10' : negation(d['c_0101_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0110_11']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0011_12']), 'c_1010_8' : negation(d['c_0101_11']), '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' : d['c_0011_7'], '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_4']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], '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_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0011_4'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0011_4'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : negation(d['c_0011_0']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_4'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0101_12']})} 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_12, c_0011_4, c_0011_7, c_0101_0, c_0101_11, c_0101_12, c_0101_3, c_0101_5, c_0101_7, c_0110_11, c_1001_1, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 2567674033059282980187461509771194405284198164/47763772095072579442\ 31826352235227559554067*c_1001_7^23 - 5258504120267356825989351300608862447340629703/47763772095072579442\ 31826352235227559554067*c_1001_7^22 - 38763686235554351018048026836255478049830809319/4776377209507257944\ 231826352235227559554067*c_1001_7^21 - 68609181098555394260324218936576485294415194334/4776377209507257944\ 231826352235227559554067*c_1001_7^20 - 247159086101046522634549115568492021289646933637/477637720950725794\ 4231826352235227559554067*c_1001_7^19 - 33745076126330356560577179938677599907774900992/4342161099552052676\ 57438759294111596323097*c_1001_7^18 - 880112495195295638099694163533515372776823716270/477637720950725794\ 4231826352235227559554067*c_1001_7^17 - 1063366547391086011097198776303246081458695187275/47763772095072579\ 44231826352235227559554067*c_1001_7^16 - 2095726113574032939036182331218902179102521961297/47763772095072579\ 44231826352235227559554067*c_1001_7^15 - 1951856877120025507775669141388970920637464525935/47763772095072579\ 44231826352235227559554067*c_1001_7^14 - 4336080166371609984799488766793566623759744345110/47763772095072579\ 44231826352235227559554067*c_1001_7^13 - 3720276392530609576803696112481106356300804696031/47763772095072579\ 44231826352235227559554067*c_1001_7^12 - 8734835712821623405593907285450832560926133419727/47763772095072579\ 44231826352235227559554067*c_1001_7^11 - 8303742956608399451563106860816874299389530627888/47763772095072579\ 44231826352235227559554067*c_1001_7^10 - 12940521784711226707040984041316781370099480396785/4776377209507257\ 944231826352235227559554067*c_1001_7^9 - 11197129837862635991267740954020433020557451464487/4776377209507257\ 944231826352235227559554067*c_1001_7^8 - 9702498487900455368986001003233740881939180837225/47763772095072579\ 44231826352235227559554067*c_1001_7^7 - 3645329969684059344677171070758289451660399364194/47763772095072579\ 44231826352235227559554067*c_1001_7^6 - 1529601641240863909687353106242117618417897255917/47763772095072579\ 44231826352235227559554067*c_1001_7^5 + 377995393137022007594453745820379121030294791247/434216109955205267\ 657438759294111596323097*c_1001_7^4 + 768675545614704301981601292340573149907165761217/477637720950725794\ 4231826352235227559554067*c_1001_7^3 + 485383085203445024562107036658788103077868012165/477637720950725794\ 4231826352235227559554067*c_1001_7^2 - 11203927724670667636298142541634992074251354417/4776377209507257944\ 231826352235227559554067*c_1001_7 + 50996581887736060405829671349761882148654545695/4776377209507257944\ 231826352235227559554067, c_0011_0 - 1, c_0011_12 - 2693634047937602921935360512564/155292908691292610512001667\ 03349*c_1001_7^23 - 6001299721709709818630751098226/155292908691292\ 61051200166703349*c_1001_7^22 - 41628303757004046869216591218751/15\ 529290869129261051200166703349*c_1001_7^21 - 79089390739684737837665121784662/15529290869129261051200166703349*c\ _1001_7^20 - 271517368510901407354411795353187/15529290869129261051\ 200166703349*c_1001_7^19 - 39383457866875110291728791284868/1411753\ 715375387368290924245759*c_1001_7^18 - 987148924629362643418024340311551/15529290869129261051200166703349*\ c_1001_7^17 - 1265009149313961222061497259311601/155292908691292610\ 51200166703349*c_1001_7^16 - 2371969692969278147075659938340026/155\ 29290869129261051200166703349*c_1001_7^15 - 2389400039744392599635180032721670/15529290869129261051200166703349\ *c_1001_7^14 - 4847528215824147234342723329957542/15529290869129261\ 051200166703349*c_1001_7^13 - 4603567038522364876786259348599542/15\ 529290869129261051200166703349*c_1001_7^12 - 9738224484377201887744717642303087/15529290869129261051200166703349\ *c_1001_7^11 - 10117335531662561055650228331264672/1552929086912926\ 1051200166703349*c_1001_7^10 - 14892918738808056277867484727554799/\ 15529290869129261051200166703349*c_1001_7^9 - 13691724434848161534488621370834802/1552929086912926105120016670334\ 9*c_1001_7^8 - 11804973318588997130430167508032262/1552929086912926\ 1051200166703349*c_1001_7^7 - 4979579548535618572482159465380328/15\ 529290869129261051200166703349*c_1001_7^6 - 1769680238142092096993679648914338/15529290869129261051200166703349\ *c_1001_7^5 + 404828728580427992919901150873960/1411753715375387368\ 290924245759*c_1001_7^4 + 1661347113091501809813457782051515/155292\ 90869129261051200166703349*c_1001_7^3 + 633742985915407978854608075004610/15529290869129261051200166703349*\ c_1001_7^2 - 140772506070020116121772204154060/15529290869129261051\ 200166703349*c_1001_7 + 44690165626341249769411011104646/1552929086\ 9129261051200166703349, c_0011_4 + 1384104096910437659813715110163/3105858173825852210240033340\ 6698*c_1001_7^23 + 1569300444543288650269631150895/1552929086912926\ 1051200166703349*c_1001_7^22 + 10740696658694175505656865107998/155\ 29290869129261051200166703349*c_1001_7^21 + 20740506090511842262065612839194/15529290869129261051200166703349*c\ _1001_7^20 + 70387840457326391582451589432264/155292908691292610512\ 00166703349*c_1001_7^19 + 10367834510203296335328531798552/14117537\ 15375387368290924245759*c_1001_7^18 + 257227469442736729771017998853150/15529290869129261051200166703349*\ c_1001_7^17 + 335063973772506883676957574623294/1552929086912926105\ 1200166703349*c_1001_7^16 + 620277029860030761250342430520957/15529\ 290869129261051200166703349*c_1001_7^15 + 638698976569789350717001949273826/15529290869129261051200166703349*\ c_1001_7^14 + 1265205925509260129969875786870240/155292908691292610\ 51200166703349*c_1001_7^13 + 2471306532352378389159427105782733/310\ 58581738258522102400333406698*c_1001_7^12 + 2536042897745000481304106212101088/15529290869129261051200166703349\ *c_1001_7^11 + 5415283385681088256604788429744513/31058581738258522\ 102400333406698*c_1001_7^10 + 3905366858726917442806283327798237/15\ 529290869129261051200166703349*c_1001_7^9 + 7362286777077055255680661972896201/31058581738258522102400333406698\ *c_1001_7^8 + 6314925441125198779650150586077397/310585817382585221\ 02400333406698*c_1001_7^7 + 1408339094613542009575596711043883/1552\ 9290869129261051200166703349*c_1001_7^6 + 507682029266141333009651777120412/15529290869129261051200166703349*\ c_1001_7^5 - 101112794133784376034447393455897/14117537153753873682\ 90924245759*c_1001_7^4 - 488231942917909731399833733422765/15529290\ 869129261051200166703349*c_1001_7^3 - 318379401189978300936574302068877/31058581738258522102400333406698*\ c_1001_7^2 + 2086267876595259016848553683973/1552929086912926105120\ 0166703349*c_1001_7 - 21614136279656215247517604993923/310585817382\ 58522102400333406698, c_0011_7 - 1276862858743128559860896893393/3105858173825852210240033340\ 6698*c_1001_7^23 - 1354983155713068212524706053351/1552929086912926\ 1051200166703349*c_1001_7^22 - 9750632149668566373353386613778/1552\ 9290869129261051200166703349*c_1001_7^21 - 17737392861379652234784746860836/15529290869129261051200166703349*c\ _1001_7^20 - 62812862152554104090085797769823/155292908691292610512\ 00166703349*c_1001_7^19 - 8752447848503065543772199886502/141175371\ 5375387368290924245759*c_1001_7^18 - 225459714534459134878725593932770/15529290869129261051200166703349*\ c_1001_7^17 - 276945410952962338768853115358561/1552929086912926105\ 1200166703349*c_1001_7^16 - 537458454642366322935108628063285/15529\ 290869129261051200166703349*c_1001_7^15 - 510848708419416828697707042782225/15529290869129261051200166703349*\ c_1001_7^14 - 1104633903613597628812647104254094/155292908691292610\ 51200166703349*c_1001_7^13 - 1946147967437373297382752095392117/310\ 58581738258522102400333406698*c_1001_7^12 - 2229356853716260181332410319822545/15529290869129261051200166703349\ *c_1001_7^11 - 4315332906699948330788164462052907/31058581738258522\ 102400333406698*c_1001_7^10 - 3348734642692110644455254514969949/15\ 529290869129261051200166703349*c_1001_7^9 - 5782522087558214155058777646261717/31058581738258522102400333406698\ *c_1001_7^8 - 5059506138540243897992943430532907/310585817382585221\ 02400333406698*c_1001_7^7 - 912263673037696701411647793903443/15529\ 290869129261051200166703349*c_1001_7^6 - 318812420498523619170862086275555/15529290869129261051200166703349*\ c_1001_7^5 + 101554440457043350280853725915731/14117537153753873682\ 90924245759*c_1001_7^4 + 261053589884312710159208794405505/15529290\ 869129261051200166703349*c_1001_7^3 + 314112664110546475331475339940271/31058581738258522102400333406698*\ c_1001_7^2 - 81902080024442953959203116472977/155292908691292610512\ 00166703349*c_1001_7 + 23797137023182449834445543064595/31058581738\ 258522102400333406698, c_0101_0 - 1, c_0101_11 + 435385262479319175256/98097590316453090108761*c_1001_7^23 - 7962241382311586484523/98097590316453090108761*c_1001_7^22 - 10066540617383120169032/98097590316453090108761*c_1001_7^21 - 119125580569434690057952/98097590316453090108761*c_1001_7^20 - 172420343187516044135629/98097590316453090108761*c_1001_7^19 - 751282609451835645612494/98097590316453090108761*c_1001_7^18 - 990354653900740953596481/98097590316453090108761*c_1001_7^17 - 2648668751357172996927216/98097590316453090108761*c_1001_7^16 - 2816275380839808424869191/98097590316453090108761*c_1001_7^15 - 6309585602727025267877319/98097590316453090108761*c_1001_7^14 - 4823602275076211894173636/98097590316453090108761*c_1001_7^13 - 13264395724809403950330022/98097590316453090108761*c_1001_7^12 - 8922095750013607245216650/98097590316453090108761*c_1001_7^11 - 26708809537060013721853762/98097590316453090108761*c_1001_7^10 - 21564569349106615416557858/98097590316453090108761*c_1001_7^9 - 38160116337795880488608476/98097590316453090108761*c_1001_7^8 - 29880756944812643117360976/98097590316453090108761*c_1001_7^7 - 26676619284161478257780479/98097590316453090108761*c_1001_7^6 - 7265222065091560579542414/98097590316453090108761*c_1001_7^5 - 4203988924622228490355794/98097590316453090108761*c_1001_7^4 + 14820299494735258013229572/98097590316453090108761*c_1001_7^3 + 110507256437981660723002/98097590316453090108761*c_1001_7^2 + 1370838902425389081292594/98097590316453090108761*c_1001_7 - 39506303987685944866078/98097590316453090108761, c_0101_12 + 681575285055409906049027255393/1552929086912926105120016670\ 3349*c_1001_7^23 + 1538508060726676477918206946990/1552929086912926\ 1051200166703349*c_1001_7^22 + 21136974948641304990206339496975/310\ 58581738258522102400333406698*c_1001_7^21 + 20305745893896621670407381042316/15529290869129261051200166703349*c\ _1001_7^20 + 69158332950510455840937204075550/155292908691292610512\ 00166703349*c_1001_7^19 + 10131587754084374206314029799907/14117537\ 15375387368290924245759*c_1001_7^18 + 504461740652166778768280747525631/31058581738258522102400333406698*\ c_1001_7^17 + 326499882294245999807843284664873/1552929086912926105\ 1200166703349*c_1001_7^16 + 607117104233440531445104439877892/15529\ 290869129261051200166703349*c_1001_7^15 + 1239852354755186420220471040665619/31058581738258522102400333406698\ *c_1001_7^14 + 1238844193350644737780100219416604/15529290869129261\ 051200166703349*c_1001_7^13 + 2394839788627489033515169748012117/31\ 058581738258522102400333406698*c_1001_7^12 + 2486412366457970612554100555189727/15529290869129261051200166703349\ *c_1001_7^11 + 2626013692736021380976875942682981/15529290869129261\ 051200166703349*c_1001_7^10 + 7638817237389028190605946884786613/31\ 058581738258522102400333406698*c_1001_7^9 + 7119320002530526829118901561255843/31058581738258522102400333406698\ *c_1001_7^8 + 3058878764378137895804310249863555/155292908691292610\ 51200166703349*c_1001_7^7 + 1329488390442189930747457480216501/1552\ 9290869129261051200166703349*c_1001_7^6 + 943185788377427144813165785518371/31058581738258522102400333406698*\ c_1001_7^5 - 101080746994800133302300015751166/14117537153753873682\ 90924245759*c_1001_7^4 - 448266144710075053601607543759948/15529290\ 869129261051200166703349*c_1001_7^3 - 158748476632572795360291627000018/15529290869129261051200166703349*\ c_1001_7^2 + 72313449038111164196920700700459/310585817382585221024\ 00333406698*c_1001_7 - 21984528974921917228429437075387/31058581738\ 258522102400333406698, c_0101_3 - 185196347632850990455916040732/15529290869129261051200166703\ 349*c_1001_7^23 - 719831863731786114108003563551/310585817382585221\ 02400333406698*c_1001_7^22 - 2747152830676152684487316407075/155292\ 90869129261051200166703349*c_1001_7^21 - 9285791708161205482600243399043/31058581738258522102400333406698*c_\ 1001_7^20 - 17158892828505623501653792072662/1552929086912926105120\ 0166703349*c_1001_7^19 - 2245271014707563902028532758706/1411753715\ 375387368290924245759*c_1001_7^18 - 59627258487329789374028267700857/15529290869129261051200166703349*c\ _1001_7^17 - 137423094482442707629153918242003/31058581738258522102\ 400333406698*c_1001_7^16 - 139037397585121355524250794504983/155292\ 90869129261051200166703349*c_1001_7^15 - 120551837364328185303933390765439/15529290869129261051200166703349*\ c_1001_7^14 - 575083919585078795214637404859423/3105858173825852210\ 2400333406698*c_1001_7^13 - 227357264098390464734829408349204/15529\ 290869129261051200166703349*c_1001_7^12 - 579581643840746226338807232996644/15529290869129261051200166703349*\ c_1001_7^11 - 519848237683986926901936168339539/1552929086912926105\ 1200166703349*c_1001_7^10 - 1648705065030768595969645998143337/3105\ 8581738258522102400333406698*c_1001_7^9 - 1357064565992011082197423061473531/31058581738258522102400333406698\ *c_1001_7^8 - 541889929947608034532211052081845/1552929086912926105\ 1200166703349*c_1001_7^7 - 266563742103735892060083679642641/310585\ 81738258522102400333406698*c_1001_7^6 - 21340519898020307008511347208630/15529290869129261051200166703349*c\ _1001_7^5 + 61716500454552305994519883469135/2823507430750774736581\ 848491518*c_1001_7^4 + 39464696212236292894400794005339/15529290869\ 129261051200166703349*c_1001_7^3 - 7926830067351456449352714616181/15529290869129261051200166703349*c_\ 1001_7^2 - 6067945658552537948756697209337/310585817382585221024003\ 33406698*c_1001_7 - 29674477641348084442586618296535/31058581738258\ 522102400333406698, c_0101_5 - 799227973467354965215946113830/15529290869129261051200166703\ 349*c_1001_7^23 - 3167417939611792194480370624133/31058581738258522\ 102400333406698*c_1001_7^22 - 11802058323983214551833064865073/1552\ 9290869129261051200166703349*c_1001_7^21 - 40530059621819465023705336718257/31058581738258522102400333406698*c\ _1001_7^20 - 73268162652867427639720024447250/155292908691292610512\ 00166703349*c_1001_7^19 - 9707805971282842233641551675983/141175371\ 5375387368290924245759*c_1001_7^18 - 252570056722125048505252043011986/15529290869129261051200166703349*\ c_1001_7^17 - 587709808008459944215509137895039/3105858173825852210\ 2400333406698*c_1001_7^16 - 583633654718564645522100537155445/15529\ 290869129261051200166703349*c_1001_7^15 - 512809337899680186765570432942125/15529290869129261051200166703349*\ c_1001_7^14 - 2401660705280776542684268297633147/310585817382585221\ 02400333406698*c_1001_7^13 - 979618564555749004903184380738787/1552\ 9290869129261051200166703349*c_1001_7^12 - 2413992478095178297037801988127016/15529290869129261051200166703349\ *c_1001_7^11 - 2235509213981289710661637268431250/15529290869129261\ 051200166703349*c_1001_7^10 - 6793511234954241941448552348084557/31\ 058581738258522102400333406698*c_1001_7^9 - 5669816883745018010312835365529559/31058581738258522102400333406698\ *c_1001_7^8 - 2149039650465347748751299155732045/155292908691292610\ 51200166703349*c_1001_7^7 - 891412178519433724513382902877069/31058\ 581738258522102400333406698*c_1001_7^6 + 19602923964894028980280792825098/15529290869129261051200166703349*c\ _1001_7^5 + 258483008233628157194039023805545/282350743075077473658\ 1848491518*c_1001_7^4 + 207208991834438966254191500336377/155292908\ 69129261051200166703349*c_1001_7^3 - 110988459466245131664029871594345/15529290869129261051200166703349*\ c_1001_7^2 - 24432976323374155287349095502605/310585817382585221024\ 00333406698*c_1001_7 - 24287209545472878598715897271407/31058581738\ 258522102400333406698, c_0101_7 - 20953526799617847715660599377/621171634765170442048006668133\ 96*c_1001_7^23 - 30792383816612172351424203905/31058581738258522102\ 400333406698*c_1001_7^22 - 344418368747046021107390719021/621171634\ 76517044204800666813396*c_1001_7^21 - 217380098307610295829115898439/15529290869129261051200166703349*c_1\ 001_7^20 - 614753753407967870757192678357/1552929086912926105120016\ 6703349*c_1001_7^19 - 236246756118922129014501998645/28235074307507\ 74736581848491518*c_1001_7^18 - 9993198233306680773755250180669/621\ 17163476517044204800666813396*c_1001_7^17 - 8564091478260883869114289958421/31058581738258522102400333406698*c_\ 1001_7^16 - 13159925626590229805237990643065/3105858173825852210240\ 0333406698*c_1001_7^15 - 37545598384392281213532857882033/621171634\ 76517044204800666813396*c_1001_7^14 - 13180866079307696094887783726818/15529290869129261051200166703349*c\ _1001_7^13 - 19116685931222338911064339442654/155292908691292610512\ 00166703349*c_1001_7^12 - 49630531287029868750005656911361/31058581\ 738258522102400333406698*c_1001_7^11 - 163256000209045494651036544378551/62117163476517044204800666813396*\ c_1001_7^10 - 171916480064806695006619770809861/6211716347651704420\ 4800666813396*c_1001_7^9 - 121483387273264213280880205820179/310585\ 81738258522102400333406698*c_1001_7^8 - 197167912368922988041530086350287/62117163476517044204800666813396*\ c_1001_7^7 - 39425352085676039414069615413691/155292908691292610512\ 00166703349*c_1001_7^6 - 72178270154855521206137768722453/621171634\ 76517044204800666813396*c_1001_7^5 + 32047138984242732147377704731/2823507430750774736581848491518*c_100\ 1_7^4 + 12218253669352708373513011479734/15529290869129261051200166\ 703349*c_1001_7^3 + 882447924832710215991048068841/6211716347651704\ 4204800666813396*c_1001_7^2 - 25034831929854920143977406887581/6211\ 7163476517044204800666813396*c_1001_7 - 92598173816425495227958020366/15529290869129261051200166703349, c_0110_11 + 5584928118572794878363/98097590316453090108761*c_1001_7^23 + 8865532671558102742940/98097590316453090108761*c_1001_7^22 + 81855048678002321418599/98097590316453090108761*c_1001_7^21 + 115851394393265624725074/98097590316453090108761*c_1001_7^20 + 510602947005348829507483/98097590316453090108761*c_1001_7^19 + 630499955472633429821825/98097590316453090108761*c_1001_7^18 + 1804207723561534934392702/98097590316453090108761*c_1001_7^17 + 1810088445109494702086180/98097590316453090108761*c_1001_7^16 + 4408013178632255698018802/98097590316453090108761*c_1001_7^15 + 3210403078939675222316642/98097590316453090108761*c_1001_7^14 + 9622218155616657366190591/98097590316453090108761*c_1001_7^13 + 5635802487598660289615535/98097590316453090108761*c_1001_7^12 + 19713648373438725358804693/98097590316453090108761*c_1001_7^11 + 12870740935845365496177053/98097590316453090108761*c_1001_7^10 + 28769604810082881886448606/98097590316453090108761*c_1001_7^9 + 19530560940903532351941967/98097590316453090108761*c_1001_7^8 + 22707123722229423859510837/98097590316453090108761*c_1001_7^7 + 9011660429962181259868842/98097590316453090108761*c_1001_7^6 + 8378165920933084123392457/98097590316453090108761*c_1001_7^5 - 8089292402599717490964658/98097590316453090108761*c_1001_7^4 + 3144390130189625864124443/98097590316453090108761*c_1001_7^3 - 5331110976971777137746641/98097590316453090108761*c_1001_7^2 - 64184766073697901813400/98097590316453090108761*c_1001_7 - 47987918382634226254571/98097590316453090108761, c_1001_1 + 1384104096910437659813715110163/3105858173825852210240033340\ 6698*c_1001_7^23 + 1569300444543288650269631150895/1552929086912926\ 1051200166703349*c_1001_7^22 + 10740696658694175505656865107998/155\ 29290869129261051200166703349*c_1001_7^21 + 20740506090511842262065612839194/15529290869129261051200166703349*c\ _1001_7^20 + 70387840457326391582451589432264/155292908691292610512\ 00166703349*c_1001_7^19 + 10367834510203296335328531798552/14117537\ 15375387368290924245759*c_1001_7^18 + 257227469442736729771017998853150/15529290869129261051200166703349*\ c_1001_7^17 + 335063973772506883676957574623294/1552929086912926105\ 1200166703349*c_1001_7^16 + 620277029860030761250342430520957/15529\ 290869129261051200166703349*c_1001_7^15 + 638698976569789350717001949273826/15529290869129261051200166703349*\ c_1001_7^14 + 1265205925509260129969875786870240/155292908691292610\ 51200166703349*c_1001_7^13 + 2471306532352378389159427105782733/310\ 58581738258522102400333406698*c_1001_7^12 + 2536042897745000481304106212101088/15529290869129261051200166703349\ *c_1001_7^11 + 5415283385681088256604788429744513/31058581738258522\ 102400333406698*c_1001_7^10 + 3905366858726917442806283327798237/15\ 529290869129261051200166703349*c_1001_7^9 + 7362286777077055255680661972896201/31058581738258522102400333406698\ *c_1001_7^8 + 6314925441125198779650150586077397/310585817382585221\ 02400333406698*c_1001_7^7 + 1408339094613542009575596711043883/1552\ 9290869129261051200166703349*c_1001_7^6 + 507682029266141333009651777120412/15529290869129261051200166703349*\ c_1001_7^5 - 101112794133784376034447393455897/14117537153753873682\ 90924245759*c_1001_7^4 - 488231942917909731399833733422765/15529290\ 869129261051200166703349*c_1001_7^3 - 318379401189978300936574302068877/31058581738258522102400333406698*\ c_1001_7^2 + 17615558745724520068048720387322/155292908691292610512\ 00166703349*c_1001_7 - 21614136279656215247517604993923/31058581738\ 258522102400333406698, c_1001_7^24 + 2*c_1001_7^23 + 15*c_1001_7^22 + 26*c_1001_7^21 + 95*c_1001_7^20 + 140*c_1001_7^19 + 336*c_1001_7^18 + 398*c_1001_7^17 + 797*c_1001_7^16 + 722*c_1001_7^15 + 1654*c_1001_7^14 + 1370*c_1001_7^13 + 3336*c_1001_7^12 + 3075*c_1001_7^11 + 4892*c_1001_7^10 + 4128*c_1001_7^9 + 3582*c_1001_7^8 + 1252*c_1001_7^7 + 541*c_1001_7^6 - 1638*c_1001_7^5 - 215*c_1001_7^4 - 173*c_1001_7^3 + 14*c_1001_7^2 - 20*c_1001_7 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.160 Total time: 0.370 seconds, Total memory usage: 32.09MB