Magma V2.19-8 Thu Sep 12 2013 15:24:55 on localhost [Seed = 2650659545] Type ? for help. Type -D to quit. Loading file "10^3_73__sl2_c6.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^3_73 geometric_solution 15.86374431 oriented_manifold CS_known -0.0000000000000003 3 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 17 1 2 3 4 0132 0132 0132 0132 0 1 0 1 0 0 0 0 1 0 -1 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 1 0 -1 -1 0 2 -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.393345984683 2.306518358731 0 4 6 5 0132 1023 0132 0132 1 1 1 0 0 0 0 0 -1 0 0 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 1 -1 0 1 0 0 -1 -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.670130525279 1.065872825133 7 0 8 3 0132 0132 0132 3120 0 1 1 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 -1 0 1 2 0 0 -2 -2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.347148348615 0.625402200455 2 9 10 0 3120 0132 0132 0132 0 1 1 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 2 0 0 -2 -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.299783643716 0.743725145182 1 11 0 12 1023 0132 0132 0132 0 1 1 0 0 -1 0 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 -1 1 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.263587685033 0.542611592384 7 13 1 13 2103 0132 0132 1230 1 1 2 1 0 0 0 0 0 0 -1 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 0 0 0 0 1 -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.467141756417 0.642362672689 9 14 8 1 3120 0132 3120 0132 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 -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.287984271205 0.853036545712 2 11 5 11 0132 1023 2103 1302 2 1 0 1 0 1 0 -1 1 0 0 -1 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 2 -1 -1 -2 0 0 2 0 -1 0 1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.692094489024 0.554704594923 12 15 6 2 1302 0132 3120 0132 0 1 0 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.315081344902 0.584373788496 14 3 10 6 2031 0132 2103 3120 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.477249842034 1.814519470009 9 14 12 3 2103 2031 0132 0132 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.489306377009 0.503022990073 7 4 7 15 1023 0132 2031 0132 0 2 0 1 0 1 -1 0 -1 0 1 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -2 0 1 1 1 -1 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.692094489024 0.554704594923 13 8 4 10 3012 2031 0132 0132 0 1 1 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 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.166665606259 1.247951271468 5 5 16 12 3012 0132 0132 1230 1 1 1 2 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 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.764976950775 0.922182671588 10 6 9 16 1302 0132 1302 0132 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 0 0.320776381784 1.127923590433 16 8 11 16 0213 0132 0132 3201 0 2 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 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.849798931802 1.117401089177 15 15 14 13 0213 2310 0132 0132 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.568792708484 0.566994708007 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : d['c_1001_15'], 'c_1001_14' : d['c_0101_1'], 'c_1001_16' : d['c_1001_16'], 'c_1001_11' : negation(d['c_0101_2']), 'c_1001_10' : negation(d['c_0011_15']), 'c_1001_13' : d['c_0101_13'], 'c_1001_12' : negation(d['c_0101_2']), 'c_1001_5' : d['c_0101_12'], 'c_1001_4' : d['c_1001_15'], 'c_1001_7' : negation(d['c_0011_13']), 'c_1001_6' : d['c_1001_16'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0011_10'], 'c_1001_3' : d['c_0011_14'], 'c_1001_2' : d['c_1001_15'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : negation(d['c_1001_16']), 'c_1010_13' : d['c_0101_12'], 'c_1010_12' : negation(d['c_0011_15']), 'c_1010_11' : d['c_1001_15'], 'c_1010_10' : d['c_0011_14'], 'c_1010_16' : d['c_0101_13'], 'c_1010_15' : negation(d['c_1001_16']), 'c_1010_14' : d['c_1001_16'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 's_3_15' : d['1'], 's_3_14' : d['1'], 's_0_16' : d['1'], 's_3_16' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_13']), 'c_0101_10' : d['c_0101_10'], 'c_0101_16' : d['c_0011_15'], 'c_0101_15' : d['c_0011_16'], 'c_0101_14' : negation(d['c_0011_10']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_2_12' : negation(d['1']), 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_16' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_15' : d['c_0011_15'], 'c_0011_14' : d['c_0011_14'], 'c_0011_16' : d['c_0011_16'], 'c_0011_11' : d['c_0011_0'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_12'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_13']), 'c_1100_6' : d['c_0011_12'], 'c_1100_1' : d['c_0011_12'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_3']), 'c_1100_14' : d['c_0101_10'], 's_0_15' : d['1'], 'c_1100_15' : negation(d['c_0011_16']), 's_0_10' : d['1'], 'c_1100_16' : d['c_0101_10'], 'c_1100_11' : negation(d['c_0011_16']), 'c_1100_10' : d['c_1100_0'], 'c_1100_13' : d['c_0101_10'], 's_3_10' : d['1'], 'c_1100_9' : negation(d['c_0101_3']), 's_3_13' : d['1'], 'c_1010_7' : d['c_0011_16'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0101_13'], 's_3_12' : d['1'], 'c_1010_3' : d['c_0011_10'], 'c_1010_2' : d['c_0011_10'], 'c_1010_1' : d['c_0101_12'], 'c_1010_0' : d['c_1001_15'], 's_0_14' : d['1'], 'c_1010_9' : d['c_0011_14'], 'c_1010_8' : d['c_1001_15'], 'c_1100_8' : negation(d['c_0101_3']), 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : 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' : negation(d['1']), 'c_1100_12' : d['c_1100_0'], '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' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_15']), 'c_0011_5' : negation(d['c_0011_13']), 'c_0011_4' : negation(d['c_0011_0']), 'c_0101_13' : d['c_0101_13'], 'c_0011_6' : negation(d['c_0011_14']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_16'], 'c_0110_10' : d['c_0101_3'], 'c_0110_13' : d['c_0011_12'], 'c_0110_12' : d['c_0101_10'], 'c_0110_15' : negation(d['c_0101_13']), 'c_0110_14' : d['c_0011_15'], 'c_0110_16' : d['c_0101_13'], 'c_1010_4' : negation(d['c_0101_2']), 'c_0101_12' : d['c_0101_12'], 'c_0011_7' : d['c_0011_0'], 's_2_14' : d['1'], 's_2_15' : d['1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : negation(d['c_0011_12']), 's_1_16' : d['1'], 's_1_15' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : negation(d['1']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_13'], 'c_0110_4' : d['c_0101_12'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_14, c_0011_15, c_0011_16, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_13, c_0101_2, c_0101_3, c_1001_15, c_1001_16, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 8032061183601471132557290253571488986157/14489656390552289434627365\ 5242220824266*c_1100_0^13 - 377664479537970472553116233194934309720\ 07/72448281952761447173136827621110412133*c_1100_0^12 - 233069773211104247494544867165942205690419/289793127811045788692547\ 310484441648532*c_1100_0^11 + 1913803619673588498935090763115481263\ 409309/289793127811045788692547310484441648532*c_1100_0^10 + 15536784708798677111428903736663401196600327/3863908370813943849233\ 96413979255531376*c_1100_0^9 + 181225314361831526150137889400810666\ 00606805/579586255622091577385094620968883297064*c_1100_0^8 - 14128785817369713459398574600044151735567281/2897931278110457886925\ 47310484441648532*c_1100_0^7 - 443320279641265819428630646610405796\ 00170195/579586255622091577385094620968883297064*c_1100_0^6 - 9518016895333758651617606281111511786745545/11591725112441831547701\ 89241937766594128*c_1100_0^5 + 563683914395572727323663809052036274\ 4578081/289793127811045788692547310484441648532*c_1100_0^4 - 4829177326882303799075979266619739423664797/57958625562209157738509\ 4620968883297064*c_1100_0^3 - 1002875154652810735890439763002610043\ 291617/64398472846899064153899402329875921896*c_1100_0^2 - 215224859046592370803108539355935788854897/128796945693798128307798\ 804659751843792*c_1100_0 + 9954119428239064216289227715228421569278\ 31/579586255622091577385094620968883297064, c_0011_0 - 1, c_0011_10 + 181727029404882557088233399/5385873110313459343357348806*c_\ 1100_0^13 - 282278422844238618456798536/897645518385576557226224801\ *c_1100_0^12 - 5662368920492041311601135705/10771746220626918686714\ 697612*c_1100_0^11 + 43816051229076685367166834017/1077174622062691\ 8686714697612*c_1100_0^10 + 1075116068888768969342710876295/4308698\ 4882507674746858790448*c_1100_0^9 + 35768062407471496859022437857/1795291036771153114452449602*c_1100_0\ ^8 - 375963016077328762874302776793/10771746220626918686714697612*c\ _1100_0^7 - 1159371743671428827396011219421/21543492441253837373429\ 395224*c_1100_0^6 + 18565036252370089989820466431/14362328294169224\ 915619596816*c_1100_0^5 + 492326883750141270206250108251/2154349244\ 1253837373429395224*c_1100_0^4 - 119977811396447124000995677063/215\ 43492441253837373429395224*c_1100_0^3 - 257374112808966918652039703443/21543492441253837373429395224*c_1100\ _0^2 + 41959495524202850141026298525/43086984882507674746858790448*\ c_1100_0 + 22969814949511698528941876627/10771746220626918686714697\ 612, c_0011_12 - 1306006298695693538758583695/16157619330940378030072046418*\ c_1100_0^13 + 19665915438378966155680976057/24236428996410567045108\ 069627*c_1100_0^12 + 65701690403885708134551725411/9694571598564226\ 8180432278508*c_1100_0^11 - 36817821730829410001902227679/359058207\ 3542306228904899204*c_1100_0^10 - 20301554879756098446053808174293/\ 387782863942569072721729114032*c_1100_0^9 - 1934527007161662243573016705727/193891431971284536360864557016*c_11\ 00_0^8 + 8843532914725469616773616410423/96945715985642268180432278\ 508*c_1100_0^7 + 334103423441637246861411233081/5385873110313459343\ 357348806*c_1100_0^6 - 16349153847858240917449986051113/38778286394\ 2569072721729114032*c_1100_0^5 - 1057861578307746678784312689541/48\ 472857992821134090216139254*c_1100_0^4 + 349701119912152660678298511647/16157619330940378030072046418*c_1100\ _0^3 + 1806956206330686041179987282801/1938914319712845363608645570\ 16*c_1100_0^2 - 2117994721663236463812333217025/3877828639425690727\ 21729114032*c_1100_0 - 136024921086930907503973432789/9694571598564\ 2268180432278508, c_0011_13 + 1, c_0011_14 + 94133960149032906500094217/5385873110313459343357348806*c_1\ 100_0^13 - 920172776774668762279351981/5385873110313459343357348806\ *c_1100_0^12 - 2076742923264045340892223943/10771746220626918686714\ 697612*c_1100_0^11 + 11760032771839497099393399707/5385873110313459\ 343357348806*c_1100_0^10 + 170264904653649096618358235359/143623282\ 94169224915619596816*c_1100_0^9 + 220647024269457275491681660099/43\ 086984882507674746858790448*c_1100_0^8 - 200025606947230679546414077285/10771746220626918686714697612*c_1100\ _0^7 - 42419015764794124709537061740/2692936555156729671678674403*c\ _1100_0^6 + 233228864521243894588569382379/430869848825076747468587\ 90448*c_1100_0^5 + 145343134111894236840362553031/43086984882507674\ 746858790448*c_1100_0^4 - 109836382343929939206179287043/2154349244\ 1253837373429395224*c_1100_0^3 - 8972192551195816263211024743/35905\ 82073542306228904899204*c_1100_0^2 - 1817328129508539944364516615/14362328294169224915619596816*c_1100_0 + 6554108486811300986772258575/43086984882507674746858790448, c_0011_15 - 100572284566708044066985307/5385873110313459343357348806*c_\ 1100_0^13 + 1058086808786696461083871763/53858731103134593433573488\ 06*c_1100_0^12 + 727621182494521517190549437/1077174622062691868671\ 4697612*c_1100_0^11 - 13215117949997366028973436641/538587311031345\ 9343357348806*c_1100_0^10 - 158063213767256079016302549325/14362328\ 294169224915619596816*c_1100_0^9 + 158142954009287456946677102395/43086984882507674746858790448*c_1100\ _0^8 + 63385012583765303747448121862/2692936555156729671678674403*c\ _1100_0^7 + 146870794269472034424122342921/215434924412538373734293\ 95224*c_1100_0^6 - 772363760562709441175166458239/43086984882507674\ 746858790448*c_1100_0^5 - 199589102157678856132570660325/4308698488\ 2507674746858790448*c_1100_0^4 + 60854924564484878202191847311/1077\ 1746220626918686714697612*c_1100_0^3 + 45498979955675465251962981/1795291036771153114452449602*c_1100_0^2 - 28309406307550162837633477553/14362328294169224915619596816*c_1100_\ 0 - 13936873918712647011237316327/43086984882507674746858790448, c_0011_16 + 212628797633442915509024785/5385873110313459343357348806*c_\ 1100_0^13 - 1046392556371199502669748906/26929365551567296716786744\ 03*c_1100_0^12 - 1443247443039939918272657465/359058207354230622890\ 4899204*c_1100_0^11 + 52493879624864981460996233299/107717462206269\ 18686714697612*c_1100_0^10 + 1142370560839895467628955865481/430869\ 84882507674746858790448*c_1100_0^9 + 115640469191248347080918829371/10771746220626918686714697612*c_1100\ _0^8 - 282758740123181657956902779311/7181164147084612457809798408*\ c_1100_0^7 - 831224870087167545068095480363/21543492441253837373429\ 395224*c_1100_0^6 + 396406848842388510381678493357/4308698488250767\ 4746858790448*c_1100_0^5 + 10491916141397312375270061971/8976455183\ 85576557226224801*c_1100_0^4 - 46920911592810929006869135361/538587\ 3110313459343357348806*c_1100_0^3 - 41732933827495171281132123937/5385873110313459343357348806*c_1100_0\ ^2 + 59953192244573544368137544315/43086984882507674746858790448*c_\ 1100_0 + 12416545670320047894990600407/7181164147084612457809798408\ , c_0101_0 - 1, c_0101_1 + 110570065961646031585794579/1795291036771153114452449602*c_1\ 100_0^13 - 3225194470603332936582363173/538587311031345934335734880\ 6*c_1100_0^12 - 7688222531201404231293842203/1077174622062691868671\ 4697612*c_1100_0^11 + 13775290896419914705779985389/179529103677115\ 3114452449602*c_1100_0^10 + 1825233413214353326643506451221/4308698\ 4882507674746858790448*c_1100_0^9 + 856897625758211383570890863939/43086984882507674746858790448*c_1100\ _0^8 - 1471070435630452565669848009103/2154349244125383737342939522\ 4*c_1100_0^7 - 61042546572778278589526067320/8976455183855765572262\ 24801*c_1100_0^6 + 940130731881800073513372844969/43086984882507674\ 746858790448*c_1100_0^5 + 1186877759778039800474681851561/430869848\ 82507674746858790448*c_1100_0^4 - 14051455665216131582722072085/897\ 645518385576557226224801*c_1100_0^3 - 319651662320989309075789152173/21543492441253837373429395224*c_1100\ _0^2 + 126764497390700482310695976443/43086984882507674746858790448\ *c_1100_0 + 149704996845694499729447862857/430869848825076747468587\ 90448, c_0101_10 + 1399020418704136208413003973/24236428996410567045108069627*\ c_1100_0^13 - 27235408404131946290760098593/48472857992821134090216\ 139254*c_1100_0^12 - 32201310363871446035941657253/4847285799282113\ 4090216139254*c_1100_0^11 + 698895705840715393774841161033/96945715\ 985642268180432278508*c_1100_0^10 + 2564413304382889823206224476609/64630477323761512120288185672*c_110\ 0_0^9 + 7001706566475524586589550817919/387782863942569072721729114\ 032*c_1100_0^8 - 12725486606009254108542368525321/19389143197128453\ 6360864557016*c_1100_0^7 - 12744957809043345763440724080103/1938914\ 31971284536360864557016*c_1100_0^6 + 1085278329756576264759040685065/48472857992821134090216139254*c_110\ 0_0^5 + 11767719858838793205411194074039/38778286394256907272172911\ 4032*c_1100_0^4 - 2660214210230574726531538618487/19389143197128453\ 6360864557016*c_1100_0^3 - 444997085682118433841189568369/323152386\ 61880756060144092836*c_1100_0^2 + 87879471405126480375809452333/215\ 43492441253837373429395224*c_1100_0 + 1066925492280938018311498083329/387782863942569072721729114032, c_0101_12 - 114002156167758646848255978/897645518385576557226224801*c_1\ 100_0^13 + 60409683934329972979835937355/48472857992821134090216139\ 254*c_1100_0^12 + 32741457266785807415645208707/2423642899641056704\ 5108069627*c_1100_0^11 - 512258812778317255353490645139/32315238661\ 880756060144092836*c_1100_0^10 - 4163904116316939322313557676599/48\ 472857992821134090216139254*c_1100_0^9 - 13351831704802508729919030854005/387782863942569072721729114032*c_1\ 100_0^8 + 13465679977820023008612259411319/969457159856422681804322\ 78508*c_1100_0^7 + 4201125528823349857659731804977/3231523866188075\ 6060144092836*c_1100_0^6 - 8781481751189378222303528348593/19389143\ 1971284536360864557016*c_1100_0^5 - 19539602724960581751837081834527/387782863942569072721729114032*c_1\ 100_0^4 + 627341492892743247764430798655/21543492441253837373429395\ 224*c_1100_0^3 + 5147095964921392357132754052721/193891431971284536\ 360864557016*c_1100_0^2 - 1222113134139352343731335099631/193891431\ 971284536360864557016*c_1100_0 - 2032496222536231443482406364687/38\ 7782863942569072721729114032, c_0101_13 - 746032512323962104510023909/16157619330940378030072046418*c\ _1100_0^13 + 2341983673063560074274887249/5385873110313459343357348\ 806*c_1100_0^12 + 21754712887752507176009703139/3231523866188075606\ 0144092836*c_1100_0^11 - 45224604300213141334092649007/807880966547\ 0189015036023209*c_1100_0^10 - 4336559350259805377484884412833/1292\ 60954647523024240576371344*c_1100_0^9 - 1053641965608798249196999715839/43086984882507674746858790448*c_110\ 0_0^8 + 385178921924546115986553583408/8078809665470189015036023209\ *c_1100_0^7 + 2196504988173526376491264406491/323152386618807560601\ 44092836*c_1100_0^6 - 44955913130389463968780394299/143623282941692\ 24915619596816*c_1100_0^5 - 3692236699499536107187526772733/1292609\ 54647523024240576371344*c_1100_0^4 + 483219999029619100580098349377/64630477323761512120288185672*c_1100\ _0^3 + 139172489941279429831365282080/8078809665470189015036023209*\ c_1100_0^2 - 108743848871822741216778994079/12926095464752302424057\ 6371344*c_1100_0 - 496132179396169271155504211177/12926095464752302\ 4240576371344, c_0101_2 - 212628797633442915509024785/5385873110313459343357348806*c_1\ 100_0^13 + 1046392556371199502669748906/269293655515672967167867440\ 3*c_1100_0^12 + 1443247443039939918272657465/3590582073542306228904\ 899204*c_1100_0^11 - 52493879624864981460996233299/1077174622062691\ 8686714697612*c_1100_0^10 - 1142370560839895467628955865481/4308698\ 4882507674746858790448*c_1100_0^9 - 115640469191248347080918829371/10771746220626918686714697612*c_1100\ _0^8 + 282758740123181657956902779311/7181164147084612457809798408*\ c_1100_0^7 + 831224870087167545068095480363/21543492441253837373429\ 395224*c_1100_0^6 - 396406848842388510381678493357/4308698488250767\ 4746858790448*c_1100_0^5 - 10491916141397312375270061971/8976455183\ 85576557226224801*c_1100_0^4 + 46920911592810929006869135361/538587\ 3110313459343357348806*c_1100_0^3 + 41732933827495171281132123937/5385873110313459343357348806*c_1100_0\ ^2 - 59953192244573544368137544315/43086984882507674746858790448*c_\ 1100_0 - 5235381523235435437180801999/7181164147084612457809798408, c_0101_3 + 135903611727922371619662991/2692936555156729671678674403*c_1\ 100_0^13 - 1308667363102454913501048889/269293655515672967167867440\ 3*c_1100_0^12 - 3386115288518562273058429747/5385873110313459343357\ 348806*c_1100_0^11 + 16730396384089789512152844296/2692936555156729\ 671678674403*c_1100_0^10 + 253337408901032341554655020125/718116414\ 7084612457809798408*c_1100_0^9 + 426198424451921416464985071163/215\ 43492441253837373429395224*c_1100_0^8 - 1142544596523032455188458246569/21543492441253837373429395224*c_110\ 0_0^7 - 647734002584619860148841939351/1077174622062691868671469761\ 2*c_1100_0^6 + 121782327028811981415464788351/107717462206269186867\ 14697612*c_1100_0^5 + 59145325226028900723261523418/269293655515672\ 9671678674403*c_1100_0^4 - 248701468535371973975182714813/215434924\ 41253837373429395224*c_1100_0^3 - 91140981845906021667144391089/718\ 1164147084612457809798408*c_1100_0^2 + 14976842028470196936555744625/7181164147084612457809798408*c_1100_0 + 26040002313754905902349569119/10771746220626918686714697612, c_1001_15 - 84262757222263616223078601/5385873110313459343357348806*c_1\ 100_0^13 + 433206574608312873973424246/2692936555156729671678674403\ *c_1100_0^12 + 1005466183922014089769732507/10771746220626918686714\ 697612*c_1100_0^11 - 21789801793913835996699821803/1077174622062691\ 8686714697612*c_1100_0^10 - 138334727371116034347342520731/14362328\ 294169224915619596816*c_1100_0^9 + 6274271109920064394260341459/10771746220626918686714697612*c_1100_0\ ^8 + 391425482849559960556115946431/21543492441253837373429395224*c\ _1100_0^7 + 145709061800089841617022012281/215434924412538373734293\ 95224*c_1100_0^6 - 467298408979272692343580341605/43086984882507674\ 746858790448*c_1100_0^5 - 5011825473315655318548437347/269293655515\ 6729671678674403*c_1100_0^4 + 29387966770901856015844332275/5385873\ 110313459343357348806*c_1100_0^3 + 1867076889473464831583950593/1795291036771153114452449602*c_1100_0^\ 2 - 23480787828572453789932144613/14362328294169224915619596816*c_1\ 100_0 - 7716142800132109648858692223/21543492441253837373429395224, c_1001_16 - 71085309418528004040673460/2692936555156729671678674403*c_1\ 100_0^13 + 717835278914956794258638099/2692936555156729671678674403\ *c_1100_0^12 + 560232787151430313898114053/269293655515672967167867\ 4403*c_1100_0^11 - 18246460907686318286499678563/538587311031345934\ 3357348806*c_1100_0^10 - 30349905444016504908151687875/179529103677\ 1153114452449602*c_1100_0^9 - 42047588939621278563373390421/2154349\ 2441253837373429395224*c_1100_0^8 + 677609993225866962205086665603/21543492441253837373429395224*c_1100\ _0^7 + 399336390971975683732990517227/21543492441253837373429395224\ *c_1100_0^6 - 171631326722411937002428690913/1077174622062691868671\ 4697612*c_1100_0^5 - 77700240662298356461589827009/1077174622062691\ 8686714697612*c_1100_0^4 + 76177054799408164244490316669/1077174622\ 0626918686714697612*c_1100_0^3 + 6582761851954622213074335173/71811\ 64147084612457809798408*c_1100_0^2 - 12711048128936604218659276391/7181164147084612457809798408*c_1100_0 - 11095871463340053259081920073/21543492441253837373429395224, c_1100_0^14 - 9*c_1100_0^13 - 37/2*c_1100_0^12 + 115*c_1100_0^11 + 6217/8*c_1100_0^10 + 6683/8*c_1100_0^9 - 6415/8*c_1100_0^8 - 7631/4*c_1100_0^7 - 4707/8*c_1100_0^6 + 4993/8*c_1100_0^5 + 1099/8*c_1100_0^4 - 1529/4*c_1100_0^3 - 1045/8*c_1100_0^2 + 687/8*c_1100_0 + 331/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.760 Total time: 1.960 seconds, Total memory usage: 64.12MB