Magma V2.19-8 Sun Sep 15 2013 06:10:45 on localhost [Seed = 1728099041] Type ? for help. Type -D to quit. Loading file "11_442__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_442 geometric_solution 16.38967677 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 17 1 1 2 3 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 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.659568732565 0.611332722645 0 4 0 5 0132 0132 3012 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 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.184467746253 0.755890218065 6 7 7 0 0132 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 0 0 -1 1 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.733157868909 0.842708812615 6 6 0 8 3012 0132 0132 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 3 -2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.561866866735 0.598677671035 9 1 10 9 0132 0132 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 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.197483872808 0.764080596580 11 12 1 7 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.594572399355 1.145549805321 2 3 11 3 0132 0132 0132 1230 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 0 0 1 2 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.166504835411 0.888101743487 2 2 5 13 2031 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 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.412382430225 0.675421386711 14 15 3 12 0132 0132 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 -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 1.040447843558 0.846646563859 4 4 16 12 0132 1302 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 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.682919338153 1.226809955785 13 15 11 4 1230 2310 2310 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.059680020012 0.711956523515 5 10 14 6 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.581772786550 0.821220164619 9 5 8 15 3120 0132 1230 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.515484926131 0.819614059543 15 10 7 16 2031 3012 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562578697136 1.450265990219 8 16 16 11 0132 0132 1302 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.462115435658 0.984030736208 12 8 13 10 3201 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.999310285964 0.697192076059 14 14 13 9 2031 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.608995453060 0.832606882386 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_2'], 'c_1001_15' : negation(d['c_0101_12']), 'c_1001_14' : d['c_0101_9'], 'c_1001_16' : negation(d['c_0101_11']), 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_13' : negation(d['c_0011_10']), 'c_1001_12' : negation(d['c_0101_7']), 'c_1001_5' : negation(d['c_0110_15']), 'c_1001_4' : negation(d['c_0110_15']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_1001_10']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0011_10']), 'c_1001_9' : d['c_0101_9'], 'c_1001_8' : negation(d['c_1001_10']), 'c_1010_13' : negation(d['c_0101_10']), 'c_1010_12' : negation(d['c_0110_15']), 'c_1010_11' : negation(d['c_1001_10']), 'c_1010_10' : negation(d['c_0110_15']), 'c_1010_16' : d['c_0101_9'], 'c_1010_15' : negation(d['c_1001_10']), 'c_1010_14' : negation(d['c_0101_11']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_3_13' : d['1'], 's_3_12' : d['1'], 's_0_14' : 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' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 'c_0101_16' : d['c_0101_10'], 'c_0101_15' : negation(d['c_0011_13']), 'c_0101_14' : d['c_0011_14'], '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_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_16' : d['1'], 's_2_14' : d['1'], 's_2_15' : 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_15' : d['c_0011_14'], 'c_0011_14' : d['c_0011_14'], 'c_0011_16' : negation(d['c_0011_14']), 'c_1100_9' : negation(d['c_0101_12']), 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : d['c_0011_11'], 'c_1100_7' : d['c_0101_11'], 'c_1100_6' : d['c_0101_8'], 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : d['c_0101_7'], 's_0_15' : d['1'], 'c_1100_15' : negation(d['c_0011_10']), 's_3_11' : d['1'], 'c_1100_16' : negation(d['c_0101_12']), 'c_1100_11' : d['c_0101_8'], 'c_1100_10' : d['c_0011_11'], 'c_1100_13' : d['c_0101_11'], 's_3_10' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_7']), 's_0_13' : d['1'], 'c_1010_3' : negation(d['c_1001_10']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0110_15']), 'c_1100_14' : d['c_0101_10'], 's_3_15' : d['1'], 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : negation(d['c_0101_12']), '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_14'], '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_0']), 'c_0011_8' : negation(d['c_0011_14']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0101_13' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0011_13'], 'c_0110_13' : negation(d['c_0101_12']), 'c_0110_12' : d['c_0011_13'], 'c_0110_15' : d['c_0110_15'], 'c_0110_14' : d['c_0101_8'], 'c_0110_16' : d['c_0101_9'], 'c_1010_4' : negation(d['c_0011_0']), 'c_0101_12' : d['c_0101_12'], 'c_0011_7' : negation(d['c_0011_2']), 'c_1010_0' : d['c_0101_1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_13'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 's_1_16' : d['1'], 's_1_15' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_13'], 'c_0110_8' : d['c_0011_14'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : negation(d['c_0011_10']), 'c_1100_8' : d['c_0101_7']})} 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_11, c_0011_13, c_0011_14, c_0011_2, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_7, c_0101_8, c_0101_9, c_0110_15, c_1001_0, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 3661415555537026249025748784797677109792294501707846061925572647016\ 57548956121575215949/7009118727698102088135584041194339129140188723\ 8543647007709651695413186970730151510889*c_1001_10^13 + 1444020404896990286401241071550987039883515087615572261943839193863\ 523450584685981007176/233637290923270069604519468039811304304672957\ 46181215669236550565137728990243383836963*c_1001_10^12 - 2667201371597692436855350555749103320097747479431338230035781130018\ 682264836711860097483/140182374553962041762711680823886782582803774\ 477087294015419303390826373941460303021778*c_1001_10^11 - 1014896659880127650730485891358638660057673577429154807269245599777\ 62633725463742998231915/7009118727698102088135584041194339129140188\ 7238543647007709651695413186970730151510889*c_1001_10^10 + 7509330429802631400331364803991765281108569063311841902961929620026\ 179878491870984585209/150733736079529077164206108412781486648176101\ 5882659075434616165492756709047960247546*c_1001_10^9 + 8806920913371901420539965175693473906923872906738080204462694779385\ 422076314331956316865049/140182374553962041762711680823886782582803\ 774477087294015419303390826373941460303021778*c_1001_10^8 + 6346404101390588004582788624868162198365613336500197349088518682267\ 359468134110178257134722/233637290923270069604519468039811304304672\ 95746181215669236550565137728990243383836963*c_1001_10^7 + 4316553175227369379090720173987682920856456151733927450010248703702\ 9949427055217679686221279/46727458184654013920903893607962260860934\ 591492362431338473101130275457980486767673926*c_1001_10^6 + 1076687114530863874001348521095926405990197024294181977975030095583\ 90464996392834476063403557/4672745818465401392090389360796226086093\ 4591492362431338473101130275457980486767673926*c_1001_10^5 + 2717000131307367319001365594871427795101325476022170569538556891418\ 82638444761278856632858984/7009118727698102088135584041194339129140\ 1887238543647007709651695413186970730151510889*c_1001_10^4 + 6376162432362458615755923142197910817815859519015177737459515673462\ 61141512754250726358473737/1401823745539620417627116808238867825828\ 03774477087294015419303390826373941460303021778*c_1001_10^3 + 2343736936462634132350920990827537106584348130969953015494833088745\ 67672804999844309376099221/7009118727698102088135584041194339129140\ 1887238543647007709651695413186970730151510889*c_1001_10^2 + 9415503076642742863902514914233547297034682354152264637458645080600\ 2789124448611818025154291/70091187276981020881355840411943391291401\ 887238543647007709651695413186970730151510889*c_1001_10 + 2697969122727395039856784240465104136326217677729678334418365758545\ 780371987652981504823520/233637290923270069604519468039811304304672\ 95746181215669236550565137728990243383836963, c_0011_0 - 1, c_0011_10 - 97822897489521524278676023481672935919138144150860512450331\ 1/23164203441736644330844511925938604941528098900084433656825817873\ *c_1001_10^13 - 110842939306952028097704727834728674365142325921833\ 25659605983/2316420344173664433084451192593860494152809890008443365\ 6825817873*c_1001_10^12 + 89543852373735782717505182166516373583207\ 12167190073947386509/2316420344173664433084451192593860494152809890\ 0084433656825817873*c_1001_10^11 + 794000333041209031263938745483717158164834161168503244596125535/694\ 92610325209932992533535777815814824584296700253300970477453619*c_10\ 01_10^10 - 10665468565945025522043835432567583814744529803466778984\ 57112790/2316420344173664433084451192593860494152809890008443365682\ 5817873*c_1001_10^9 - 111861203602186150895304112631352891691022918\ 81585699853510748779/2316420344173664433084451192593860494152809890\ 0084433656825817873*c_1001_10^8 - 136088011788754727994506871108645\ 586067634635840345816826647445761/694926103252099329925335357778158\ 14824584296700253300970477453619*c_1001_10^7 - 152339666515607507033564154196694026886321966519403819708373678746/\ 23164203441736644330844511925938604941528098900084433656825817873*c\ _1001_10^6 - 109672969961585412396123529654096789644184378724284583\ 9165908579502/69492610325209932992533535777815814824584296700253300\ 970477453619*c_1001_10^5 - 5757362540027360865304506387878534255392\ 45009349582795512104519592/2316420344173664433084451192593860494152\ 8098900084433656825817873*c_1001_10^4 - 1945588252342457655789076344406512633882474813580281052903816016281\ /69492610325209932992533535777815814824584296700253300970477453619*\ c_1001_10^3 - 45366861793840437143805541322403922500323947137118858\ 0976884834783/23164203441736644330844511925938604941528098900084433\ 656825817873*c_1001_10^2 - 5045824326040319300073105465657215536434\ 13184444544345724985026315/6949261032520993299253353577781581482458\ 4296700253300970477453619*c_1001_10 - 68835246191478483854462759251026142189727805577930903916935690993/6\ 9492610325209932992533535777815814824584296700253300970477453619, c_0011_11 - 17935251923270128916393441836026849088517123779558650941674\ 688/208477830975629798977600607333447444473752890100759902911432360\ 857*c_1001_10^13 - 209436399010106188858731583445631048664931769648\ 824300929372453/208477830975629798977600607333447444473752890100759\ 902911432360857*c_1001_10^12 + 982975213516290384157605216703002574\ 27017717727321629230611519/2084778309756297989776006073334474444737\ 52890100759902911432360857*c_1001_10^11 + 4956566159430117426436102302012812496781968481451316209024807740/20\ 8477830975629798977600607333447444473752890100759902911432360857*c_\ 1001_10^10 - 179442978696112575911012949821512186023791179746122970\ 47053693601/2084778309756297989776006073334474444737528901007599029\ 11432360857*c_1001_10^9 - 21292081282567027089787617351998040734398\ 4566654959461990762417912/20847783097562979897760060733344744447375\ 2890100759902911432360857*c_1001_10^8 - 897350784106098265511585393272217941251019510664258482389608850622/\ 208477830975629798977600607333447444473752890100759902911432360857*\ c_1001_10^7 - 33739733685889061759289413452108008426185147179426295\ 2425793053821/23164203441736644330844511925938604941528098900084433\ 656825817873*c_1001_10^6 - 2492627403080370136877870427689841212627\ 635664450855425386666939242/694926103252099329925335357778158148245\ 84296700253300970477453619*c_1001_10^5 - 1225909630985179278671587998922318140733305822235385793545592609068\ 8/20847783097562979897760060733344744447375289010075990291143236085\ 7*c_1001_10^4 - 141582186294846383125951659945125674809419021774580\ 31421359586130370/2084778309756297989776006073334474444737528901007\ 59902911432360857*c_1001_10^3 - 33946548274319722048617079930246686\ 59364203944937171740074605548946/6949261032520993299253353577781581\ 4824584296700253300970477453619*c_1001_10^2 - 435933832229544385803677936071665387226746779365398738405791514296/\ 23164203441736644330844511925938604941528098900084433656825817873*c\ _1001_10 - 50053812073446291681229359837516037016427591107788429037\ 9108383258/20847783097562979897760060733344744447375289010075990291\ 1432360857, c_0011_13 + 12076500128089410084361386502374933632603102624309737962390\ 895/208477830975629798977600607333447444473752890100759902911432360\ 857*c_1001_10^13 + 140688246916819217829656985664448115358614087052\ 917197407224953/208477830975629798977600607333447444473752890100759\ 902911432360857*c_1001_10^12 - 663911818040106134851418292607995168\ 99679836097063353891744929/2084778309756297989776006073334474444737\ 52890100759902911432360857*c_1001_10^11 - 3296968868661866730823737276394061066059237932562492855557100451/20\ 8477830975629798977600607333447444473752890100759902911432360857*c_\ 1001_10^10 + 121099021713287839120855455043319708859387798120684403\ 52943433108/2084778309756297989776006073334474444737528901007599029\ 11432360857*c_1001_10^9 + 14210175024836085847718008511050635379345\ 9131269373613857114989128/20847783097562979897760060733344744447375\ 2890100759902911432360857*c_1001_10^8 + 604955995992837153011950111137653101500454145988291394944206392835/\ 208477830975629798977600607333447444473752890100759902911432360857*\ c_1001_10^7 + 22955570321145638772739697026683421365277613969318847\ 4219580344620/23164203441736644330844511925938604941528098900084433\ 656825817873*c_1001_10^6 + 5691058123946519437039950243713515365698\ 07663510447228348110195443/2316420344173664433084451192593860494152\ 8098900084433656825817873*c_1001_10^5 + 8570391284513312420241704440165533605535037172930887239177677330207\ /208477830975629798977600607333447444473752890100759902911432360857\ *c_1001_10^4 + 1029367300275277601970384216289836176924334473453965\ 6584467341097171/20847783097562979897760060733344744447375289010075\ 9902911432360857*c_1001_10^3 + 264090616312718261502090287414098112\ 6617013433070370243982749566553/69492610325209932992533535777815814\ 824584296700253300970477453619*c_1001_10^2 + 1168051827529171825100244161875510789079573553324136166418748284059\ /69492610325209932992533535777815814824584296700253300970477453619*\ c_1001_10 + 5886434149758851608571224157140863196342165989763087178\ 03142937259/2084778309756297989776006073334474444737528901007599029\ 11432360857, c_0011_14 - 85807162890465031096226553294050060605348459355442894222764\ /208477830975629798977600607333447444473752890100759902911432360857\ *c_1001_10^13 - 611614041096577700977851179650757973934979143775171\ 890626083/208477830975629798977600607333447444473752890100759902911\ 432360857*c_1001_10^12 + 778814152513570688051232126732943725394924\ 3803059823995033686/20847783097562979897760060733344744447375289010\ 0759902911432360857*c_1001_10^11 + 16554531537681717427762743491824496190139358264364971845652135/6949\ 2610325209932992533535777815814824584296700253300970477453619*c_100\ 1_10^10 - 253631531498890126513504056027634795922720625788055600092\ 671924/208477830975629798977600607333447444473752890100759902911432\ 360857*c_1001_10^9 - 1335495706997698512673075831038543777736899426\ 368448925772162690/208477830975629798977600607333447444473752890100\ 759902911432360857*c_1001_10^8 + 4161969488768561802130186087687607\ 595306729061103564244641780089/208477830975629798977600607333447444\ 473752890100759902911432360857*c_1001_10^7 + 10993189311168477411768934002983415318789440488692416369453814197/6\ 9492610325209932992533535777815814824584296700253300970477453619*c_\ 1001_10^6 + 4134619708707942531912854704571519589315783237895794116\ 5059864376/69492610325209932992533535777815814824584296700253300970\ 477453619*c_1001_10^5 + 3920610669784649539998995383507661246299040\ 09463181372426719478067/2084778309756297989776006073334474444737528\ 90100759902911432360857*c_1001_10^4 + 86479884485359862562749373934326879552295576853445544815602659141/2\ 3164203441736644330844511925938604941528098900084433656825817873*c_\ 1001_10^3 + 8342290447532794790893271618835172274007757833033840774\ 90338026376/2084778309756297989776006073334474444737528901007599029\ 11432360857*c_1001_10^2 + 47171741730814058879535540071357258054938\ 6346983727116220468164082/20847783097562979897760060733344744447375\ 2890100759902911432360857*c_1001_10 + 113704368199246375989767325328029567206504859150195232528373433979/\ 208477830975629798977600607333447444473752890100759902911432360857, c_0011_2 - 228083514444548906611642535267998194954575022522227112879921\ 1/20847783097562979897760060733344744447375289010075990291143236085\ 7*c_1001_10^13 - 24659675091980303184920602293186411348117359513632\ 570787862383/208477830975629798977600607333447444473752890100759902\ 911432360857*c_1001_10^12 + 359821952318134273655666686602133464027\ 59411614566130705374395/2084778309756297989776006073334474444737528\ 90100759902911432360857*c_1001_10^11 + 620617180811133675289250484696414765872225303906677948090457687/208\ 477830975629798977600607333447444473752890100759902911432360857*c_1\ 001_10^10 - 2866104068389863982660390946996935662300936852020517522\ 132460081/208477830975629798977600607333447444473752890100759902911\ 432360857*c_1001_10^9 - 2512103623168630786170736927229032756974486\ 5607920356736670324760/20847783097562979897760060733344744447375289\ 0100759902911432360857*c_1001_10^8 - 89465676591149568128841513623079859264961519670542880813257094776/2\ 08477830975629798977600607333447444473752890100759902911432360857*c\ _1001_10^7 - 959187120805453588535422475867418046942993594887279888\ 09961314964/6949261032520993299253353577781581482458429670025330097\ 0477453619*c_1001_10^6 - 697008143786709624720907880998852996599292\ 07660058512122934506978/2316420344173664433084451192593860494152809\ 8900084433656825817873*c_1001_10^5 - 794551680559524489842643287001815328447167765431471438306562822186/\ 208477830975629798977600607333447444473752890100759902911432360857*\ c_1001_10^4 - 67148757885024183078306753927750439578634342096404212\ 3309173988639/20847783097562979897760060733344744447375289010075990\ 2911432360857*c_1001_10^3 - 821995376094079457268844824943434704250\ 11067178864222580507637292/6949261032520993299253353577781581482458\ 4296700253300970477453619*c_1001_10^2 - 64488990925131382205932372437582170082698630491632901986191489635/6\ 9492610325209932992533535777815814824584296700253300970477453619*c_\ 1001_10 - 130181953006599128753055758299653121670634827918139420239\ 204476568/208477830975629798977600607333447444473752890100759902911\ 432360857, c_0101_0 - 10228255584068650408786728285973607853845865126246239988700/\ 1047627291334823110440204056951997208410818543219899009605187743*c_\ 1001_10^13 - 367846971990244909022574884126987309989814370655562301\ 05659/3492090971116077034800680189839990694702728477399663365350625\ 81*c_1001_10^12 + 1543211003292753732327308925750558767967168016549\ 42026726077/1047627291334823110440204056951997208410818543219899009\ 605187743*c_1001_10^11 + 268977180842457982190536275583412532804412\ 3441042845964214095/10476272913348231104402040569519972084108185432\ 19899009605187743*c_1001_10^10 - 4220021292718558500023791004107031\ 569495649131653668421703022/349209097111607703480068018983999069470\ 272847739966336535062581*c_1001_10^9 - 110264808935903542432719188217034424927464786430742380427807469/104\ 7627291334823110440204056951997208410818543219899009605187743*c_100\ 1_10^8 - 1374881631965714787115331032237529675925740600509374869354\ 80403/3492090971116077034800680189839990694702728477399663365350625\ 81*c_1001_10^7 - 45471060549786439961555683723980401597932686953627\ 1314170682756/34920909711160770348006801898399906947027284773996633\ 6535062581*c_1001_10^6 - 102925344845845795096986073825246629481406\ 7515876481440284258414/34920909711160770348006801898399906947027284\ 7739966336535062581*c_1001_10^5 - 435910547071346763757871566054935\ 5490709180301730828674480085311/10476272913348231104402040569519972\ 08410818543219899009605187743*c_1001_10^4 - 4426599635359948889707196287385052978455375383647544970814371389/10\ 47627291334823110440204056951997208410818543219899009605187743*c_10\ 01_10^3 - 279954218540436508640370863253454782773804387368555569736\ 6702033/10476272913348231104402040569519972084108185432198990096051\ 87743*c_1001_10^2 + 17298613101236337606847698052303395524485608346\ 8110303453407856/10476272913348231104402040569519972084108185432198\ 99009605187743*c_1001_10 + 7039063601707875255383595564119417889692\ 4886959073608781359347/34920909711160770348006801898399906947027284\ 7739966336535062581, c_0101_1 - 300983218801798823013744768316024568843177364614686914494092\ 3/20847783097562979897760060733344744447375289010075990291143236085\ 7*c_1001_10^13 - 11001177441770876309535108896628786490506068575128\ 067332574441/694926103252099329925335357778158148245842967002533009\ 70477453619*c_1001_10^12 + 3795036195726479325094635275770822622620\ 4866949466635701726532/20847783097562979897760060733344744447375289\ 0100759902911432360857*c_1001_10^11 + 781011422229353362394081527484905026241879554750150724072983517/208\ 477830975629798977600607333447444473752890100759902911432360857*c_1\ 001_10^10 - 1183188246700730639799046311391997145126288993393809937\ 069620474/694926103252099329925335357778158148245842967002533009704\ 77453619*c_1001_10^9 - 32595549685613156203559992595359359922175236\ 499016477518519679520/208477830975629798977600607333447444473752890\ 100759902911432360857*c_1001_10^8 - 14403350925418645770422787238874663040283300432540157559460381174/2\ 3164203441736644330844511925938604941528098900084433656825817873*c_\ 1001_10^7 - 1474844068323867752913713882937665941056517118588965003\ 38887088037/6949261032520993299253353577781581482458429670025330097\ 0477453619*c_1001_10^6 - 344168057598471595156121261150180326603801\ 831863351924904526749907/694926103252099329925335357778158148245842\ 96700253300970477453619*c_1001_10^5 - 1621750649314751735366105144497071249731479253947382604336783728195\ /208477830975629798977600607333447444473752890100759902911432360857\ *c_1001_10^4 - 1927780851693610811106598730693561544218726616356254\ 399863548582050/208477830975629798977600607333447444473752890100759\ 902911432360857*c_1001_10^3 - 1312249381624087044999113019725091948\ 925260688912164728967294840700/208477830975629798977600607333447444\ 473752890100759902911432360857*c_1001_10^2 - 618716892649117628593099684895317015430067004691373181670755738570/\ 208477830975629798977600607333447444473752890100759902911432360857*\ c_1001_10 - 1350167357082745071971856540711547492321628309845397165\ 7413684510/23164203441736644330844511925938604941528098900084433656\ 825817873, c_0101_10 - 16444983566597698238640776057492730742909281037372432061222\ 48/2084778309756297989776006073334474444737528901007599029114323608\ 57*c_1001_10^13 - 1753992939262524739176483123788703675446158766987\ 3659979227247/20847783097562979897760060733344744447375289010075990\ 2911432360857*c_1001_10^12 + 25908876959493443020368807269935009007\ 873702376676882492983712/208477830975629798977600607333447444473752\ 890100759902911432360857*c_1001_10^11 + 139669163582376231619650350327530556367844552244122032246599861/694\ 92610325209932992533535777815814824584296700253300970477453619*c_10\ 01_10^10 - 20515562156527561006900948907974915729491729126113834877\ 43656001/2084778309756297989776006073334474444737528901007599029114\ 32360857*c_1001_10^9 - 17154533117711712769477115917116182839083163\ 177393235251153378658/208477830975629798977600607333447444473752890\ 100759902911432360857*c_1001_10^8 - 66045368377472819040962566241087102609786020382873589313833714446/2\ 08477830975629798977600607333447444473752890100759902911432360857*c\ _1001_10^7 - 742713900971533437125470115520898586689467687731317119\ 60540090085/6949261032520993299253353577781581482458429670025330097\ 0477453619*c_1001_10^6 - 162489523543005393993319816534733240185860\ 551844365677078036845449/694926103252099329925335357778158148245842\ 96700253300970477453619*c_1001_10^5 - 674223667000504331416188860412788011184289859279921559838632296009/\ 208477830975629798977600607333447444473752890100759902911432360857*\ c_1001_10^4 - 74738702397542980796542179180943217871491152046874247\ 899245571649/231642034417366443308445119259386049415280989000844336\ 56825817873*c_1001_10^3 + 33510734105253654815484815886406499060642\ 400497531052326151547349/208477830975629798977600607333447444473752\ 890100759902911432360857*c_1001_10^2 + 565725164428829206263740041321875540917177306417416233015195250244/\ 208477830975629798977600607333447444473752890100759902911432360857*\ c_1001_10 + 1313008112564600280336352414535966508731074969491959276\ 69729309311/2084778309756297989776006073334474444737528901007599029\ 11432360857, c_0101_11 + 31345449844565757870040114476101197357226764903593957026258\ 5/23164203441736644330844511925938604941528098900084433656825817873\ *c_1001_10^13 + 103385573846094983616046870592330820989234863290789\ 64674219703/6949261032520993299253353577781581482458429670025330097\ 0477453619*c_1001_10^12 - 11764002116221811798054211832447577433741\ 046285529722144709464/694926103252099329925335357778158148245842967\ 00253300970477453619*c_1001_10^11 - 246936621741352828486055199522078791607479751871793480905499030/694\ 92610325209932992533535777815814824584296700253300970477453619*c_10\ 01_10^10 + 11021291592628428523350663481083130577011051368461904474\ 57760670/6949261032520993299253353577781581482458429670025330097047\ 7453619*c_1001_10^9 + 102795253286119605732002830483672182178232247\ 89569785565652068186/6949261032520993299253353577781581482458429670\ 0253300970477453619*c_1001_10^8 + 405761485045955395128047459099297\ 03936715209824317369951100144117/6949261032520993299253353577781581\ 4824584296700253300970477453619*c_1001_10^7 + 136791782952173616936553023031565985257488162264728289731136358932/\ 69492610325209932992533535777815814824584296700253300970477453619*c\ _1001_10^6 + 105433381179649104902270604391026109442891026253463085\ 332100146187/231642034417366443308445119259386049415280989000844336\ 56825817873*c_1001_10^5 + 47261732663460218550150831800549097731531\ 4273588187015013584814057/69492610325209932992533535777815814824584\ 296700253300970477453619*c_1001_10^4 + 521093248889303194248987113063189242674454809104140097496461173553/\ 69492610325209932992533535777815814824584296700253300970477453619*c\ _1001_10^3 + 816786728294910947813736891633168092568836565969003011\ 77548726130/2316420344173664433084451192593860494152809890008443365\ 6825817873*c_1001_10^2 - 159956767098174539633995348937022347731731\ 13725560489747202636713/2316420344173664433084451192593860494152809\ 8900084433656825817873*c_1001_10 - 15609498468875858911315187113077306892786427771549708159707035263/6\ 9492610325209932992533535777815814824584296700253300970477453619, c_0101_12 - 13997279518126363727323168440034090005653258671853987889389\ 0/69492610325209932992533535777815814824584296700253300970477453619\ *c_1001_10^13 - 537597918997709177699387721471474007804061092504502\ 754012136/231642034417366443308445119259386049415280989000844336568\ 25817873*c_1001_10^12 + 6430029714657206445889199070550435687918352\ 64732155020835893/6949261032520993299253353577781581482458429670025\ 3300970477453619*c_1001_10^11 + 35180719837452592839251403477765480\ 341556112165898484194525788/694926103252099329925335357778158148245\ 84296700253300970477453619*c_1001_10^10 - 45133758758092308506990721820360381531710660111657430742091542/2316\ 4203441736644330844511925938604941528098900084433656825817873*c_100\ 1_10^9 - 1570785907590817562879245008473296143425171882538131208637\ 463432/694926103252099329925335357778158148245842967002533009704774\ 53619*c_1001_10^8 - 72942611121688032136807205375504059559803955602\ 63445565925207478/6949261032520993299253353577781581482458429670025\ 3300970477453619*c_1001_10^7 - 847951134623274751207886922275729891\ 2264815634794840643771972927/23164203441736644330844511925938604941\ 528098900084433656825817873*c_1001_10^6 - 66910634151647773355529971461756990661423400976240700353878317486/6\ 9492610325209932992533535777815814824584296700253300970477453619*c_\ 1001_10^5 - 1234515901509616106956348095214462934392793482232146056\ 87235019917/6949261032520993299253353577781581482458429670025330097\ 0477453619*c_1001_10^4 - 566122147516818008142803959420008006459542\ 88833455969445703708115/2316420344173664433084451192593860494152809\ 8900084433656825817873*c_1001_10^3 - 177892848422653324575089968574964640271627156518319099795487145475/\ 69492610325209932992533535777815814824584296700253300970477453619*c\ _1001_10^2 - 347883563637540793936277218107482367285433577022401667\ 58960947059/2316420344173664433084451192593860494152809890008443365\ 6825817873*c_1001_10 - 61394736872958443681757881354217043411654033\ 136995960725531573115/694926103252099329925335357778158148245842967\ 00253300970477453619, c_0101_7 - 136629076326652887458191070778425804871878289646620262624691\ 5/20847783097562979897760060733344744447375289010075990291143236085\ 7*c_1001_10^13 - 17317070192942219304234135563735354282790258095458\ 079809446967/208477830975629798977600607333447444473752890100759902\ 911432360857*c_1001_10^12 - 671110645203619180107640458601097936175\ 7724845241848129015498/20847783097562979897760060733344744447375289\ 0100759902911432360857*c_1001_10^11 + 134475759122718773813347315253184273867169765797567330101879035/694\ 92610325209932992533535777815814824584296700253300970477453619*c_10\ 01_10^10 - 10161082671737768106610259751318206248833572178268294928\ 65028867/2084778309756297989776006073334474444737528901007599029114\ 32360857*c_1001_10^9 - 18025855666410027963653244233891191036506648\ 161309746860656822995/208477830975629798977600607333447444473752890\ 100759902911432360857*c_1001_10^8 - 82454266451175979554092339523438875215226512280411598799109655058/2\ 08477830975629798977600607333447444473752890100759902911432360857*c\ _1001_10^7 - 937528697151092433845599955487153352265879680955665707\ 47571805379/6949261032520993299253353577781581482458429670025330097\ 0477453619*c_1001_10^6 - 243276669497092820898887402179355375485405\ 292929738283874345414302/694926103252099329925335357778158148245842\ 96700253300970477453619*c_1001_10^5 - 1273721882717236431223844229161516248513781333798282446857105038861\ /208477830975629798977600607333447444473752890100759902911432360857\ *c_1001_10^4 - 5030859088204285997544496582175274014174602468634378\ 13365354126197/6949261032520993299253353577781581482458429670025330\ 0970477453619*c_1001_10^3 - 112535515035161291817813322004613915727\ 9969769283355658640104693426/20847783097562979897760060733344744447\ 3752890100759902911432360857*c_1001_10^2 - 271819046895921630215597274657709613240621017424585767110758505989/\ 208477830975629798977600607333447444473752890100759902911432360857*\ c_1001_10 - 8257084612725193698548400029266202504021714235293027292\ 9632166826/20847783097562979897760060733344744447375289010075990291\ 1432360857, c_0101_8 + 288190626508700575823869281407704772984315055292585482677249\ 0/20847783097562979897760060733344744447375289010075990291143236085\ 7*c_1001_10^13 + 34990554913341709796889100376046151558577402490957\ 450377749549/208477830975629798977600607333447444473752890100759902\ 911432360857*c_1001_10^12 - 462536966215027914526717519019091859663\ 5108787485862788819376/20847783097562979897760060733344744447375289\ 0100759902911432360857*c_1001_10^11 - 853085626882391372991749783306607415484740598211302470637309686/208\ 477830975629798977600607333447444473752890100759902911432360857*c_1\ 001_10^10 + 2572638758625345400817562223869959146319906194117140617\ 783372543/208477830975629798977600607333447444473752890100759902911\ 432360857*c_1001_10^9 + 3680355001201473275739343656831792782282116\ 0980614374131167508011/20847783097562979897760060733344744447375289\ 0100759902911432360857*c_1001_10^8 + 154788479016288812033496663971462044751101959790763017343932046899/\ 208477830975629798977600607333447444473752890100759902911432360857*\ c_1001_10^7 + 16787868233432598032413979541357185813832555300703357\ 8666955687097/69492610325209932992533535777815814824584296700253300\ 970477453619*c_1001_10^6 + 4142063212898400883256615354127079509865\ 39503074326320356902475522/6949261032520993299253353577781581482458\ 4296700253300970477453619*c_1001_10^5 + 1944720836458572256466665902668077709070856385051375284061178503428\ /208477830975629798977600607333447444473752890100759902911432360857\ *c_1001_10^4 + 1878629446326533593859831652357505893168017216197436\ 963075607211597/208477830975629798977600607333447444473752890100759\ 902911432360857*c_1001_10^3 + 3555718112984916283180798255142504687\ 05334869896317062251616921208/6949261032520993299253353577781581482\ 4584296700253300970477453619*c_1001_10^2 + 36251373251505229588220946789789094252836680555213130913595155381/2\ 3164203441736644330844511925938604941528098900084433656825817873*c_\ 1001_10 + 366894349657925731090247847414170904073200928443543233296\ 12241779/2084778309756297989776006073334474444737528901007599029114\ 32360857, c_0101_9 + 544074879038531377781840453971110624295245627667808903518017\ 4/20847783097562979897760060733344744447375289010075990291143236085\ 7*c_1001_10^13 + 62545387640938574834269656330638906400215379234855\ 939662328071/208477830975629798977600607333447444473752890100759902\ 911432360857*c_1001_10^12 - 429851933199195048488854815636535804917\ 13163040624570168571145/2084778309756297989776006073334474444737528\ 90100759902911432360857*c_1001_10^11 - 1513565161920153762599393980686525832078619938444616183017440344/20\ 8477830975629798977600607333447444473752890100759902911432360857*c_\ 1001_10^10 + 576163896195686546924978149754428550409515071706695475\ 9503944349/20847783097562979897760060733344744447375289010075990291\ 1432360857*c_1001_10^9 + 639734889453368779383733828171089676490638\ 64758376293149807689434/2084778309756297989776006073334474444737528\ 90100759902911432360857*c_1001_10^8 + 258005557231626986130348026805711958141419682984302735285191541974/\ 208477830975629798977600607333447444473752890100759902911432360857*\ c_1001_10^7 + 28577679354417461982895162834160873127652062620392203\ 6112925155232/69492610325209932992533535777815814824584296700253300\ 970477453619*c_1001_10^6 + 6846964221200653890912029362751766338545\ 47980264028170700990326528/6949261032520993299253353577781581482458\ 4296700253300970477453619*c_1001_10^5 + 3159640702908077586111217196819740372768413894216819325189915450193\ /208477830975629798977600607333447444473752890100759902911432360857\ *c_1001_10^4 + 3349656119809642909160843336320242578318910616687827\ 747917538132764/208477830975629798977600607333447444473752890100759\ 902911432360857*c_1001_10^3 + 6801403314552442084032150230642398990\ 30037844380160451113857122739/6949261032520993299253353577781581482\ 4584296700253300970477453619*c_1001_10^2 + 53384892346404908536450129146897507369596172857632050492694056802/2\ 3164203441736644330844511925938604941528098900084433656825817873*c_\ 1001_10 - 703385007839160056543286128861706497054352787533997599622\ 26892735/2084778309756297989776006073334474444737528901007599029114\ 32360857, c_0110_15 + 36201837175634690456477451144911792233788151225243341127707\ 82/2084778309756297989776006073334474444737528901007599029114323608\ 57*c_1001_10^13 + 4053863672225388898026224959165393764870456925581\ 5756234807608/20847783097562979897760060733344744447375289010075990\ 2911432360857*c_1001_10^12 - 40973832399734937665660678636645791705\ 410051179565208311516854/208477830975629798977600607333447444473752\ 890100759902911432360857*c_1001_10^11 - 332469133041322670086345471877716520559815327911669669640053595/694\ 92610325209932992533535777815814824584296700253300970477453619*c_10\ 01_10^10 + 41484653811134301057625193575971505840380260218563519087\ 94697069/2084778309756297989776006073334474444737528901007599029114\ 32360857*c_1001_10^9 + 41439635502794848575372703758080463460238558\ 536857102359310657922/208477830975629798977600607333447444473752890\ 100759902911432360857*c_1001_10^8 + 158536103146891390642862225694875547871053210025473663077289468730/\ 208477830975629798977600607333447444473752890100759902911432360857*\ c_1001_10^7 + 57787672416829917207219028607750717635110753348535993\ 184322980919/231642034417366443308445119259386049415280989000844336\ 56825817873*c_1001_10^6 + 40596571020871914959450153831774472450709\ 9955125615054998329450732/69492610325209932992533535777815814824584\ 296700253300970477453619*c_1001_10^5 + 1757724004891280344503709952311256048641475890757250376205784807083\ /208477830975629798977600607333447444473752890100759902911432360857\ *c_1001_10^4 + 5966618469953303398476118945122757608350834439244206\ 08710569452549/6949261032520993299253353577781581482458429670025330\ 0970477453619*c_1001_10^3 + 123061106036445944779075910488101222981\ 1434307936468938901082799575/20847783097562979897760060733344744447\ 3752890100759902911432360857*c_1001_10^2 + 467900019637580396491717005488189128228006906876797632956367650670/\ 208477830975629798977600607333447444473752890100759902911432360857*\ c_1001_10 + 3069555323129465858104424680036405027968847338254503776\ 68388889909/2084778309756297989776006073334474444737528901007599029\ 11432360857, c_1001_0 - 305597974008789287126021901326711858981615960572766794814289\ 1/69492610325209932992533535777815814824584296700253300970477453619\ *c_1001_10^13 - 334163325208496806891377460214253847007551590994426\ 07631131233/6949261032520993299253353577781581482458429670025330097\ 0477453619*c_1001_10^12 + 41724908077134426739251070672450229207702\ 312894157056687854562/694926103252099329925335357778158148245842967\ 00253300970477453619*c_1001_10^11 + 271567426272470262516834964385406167654929981421510307213774208/231\ 64203441736644330844511925938604941528098900084433656825817873*c_10\ 01_10^10 - 36722626345177393959996875946383936473664744550642201375\ 64946012/6949261032520993299253353577781581482458429670025330097047\ 7453619*c_1001_10^9 - 335963676747096546888566185254302583560892517\ 68070393568674171840/6949261032520993299253353577781581482458429670\ 0253300970477453619*c_1001_10^8 - 127574280622824282029622574154060\ 367348375506754582810503846356006/694926103252099329925335357778158\ 14824584296700253300970477453619*c_1001_10^7 - 140440269387218865558921545513393478586108078483685215008970830107/\ 23164203441736644330844511925938604941528098900084433656825817873*c\ _1001_10^6 - 320909375974317550677399148029598232875236121574127538\ 782181394443/231642034417366443308445119259386049415280989000844336\ 56825817873*c_1001_10^5 - 13882635203186604165427652032139627662168\ 37558065189461472067626655/6949261032520993299253353577781581482458\ 4296700253300970477453619*c_1001_10^4 - 478439072781977273429329787716326167587870023707325323640649194838/\ 23164203441736644330844511925938604941528098900084433656825817873*c\ _1001_10^3 - 867019988500985587041544543383628698553463693680313109\ 661347574859/694926103252099329925335357778158148245842967002533009\ 70477453619*c_1001_10^2 - 26479587240318960647023721832922905127719\ 3677246787117202611101495/69492610325209932992533535777815814824584\ 296700253300970477453619*c_1001_10 - 33416401933260546869898329663157099224407597802501382574672572541/6\ 9492610325209932992533535777815814824584296700253300970477453619, c_1001_10^14 + 12*c_1001_10^13 - 106/67*c_1001_10^12 - 277*c_1001_10^11 + 60745/67*c_1001_10^10 + 815262/67*c_1001_10^9 + 3624207/67*c_1001_10^8 + 12489685/67*c_1001_10^7 + 31776783/67*c_1001_10^6 + 55455500/67*c_1001_10^5 + 68586439/67*c_1001_10^4 + 55811289/67*c_1001_10^3 + 28001282/67*c_1001_10^2 + 6864676/67*c_1001_10 + 1123747/67 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5927.230 Total time: 5928.109 seconds, Total memory usage: 6112.00MB