Magma V2.19-8 Mon Sep 9 2013 19:20:06 on localhost [Seed = 8127936] Type ? for help. Type -D to quit. Loading file "10^2_142__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_142 geometric_solution 14.60284269 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 16 1 2 2 3 0132 0132 1302 0132 0 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 0 -1 1 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.488356103933 0.675014163171 0 4 5 4 0132 0132 0132 1230 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 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 0 0 0 0 0.983769845155 0.652743090355 0 0 7 6 2031 0132 0132 0132 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 0 0 1 -1 0 -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.296454525749 0.972452592952 5 8 0 4 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.430923443693 1.631724004158 1 1 9 3 3012 0132 0132 0213 0 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 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.038068843123 1.531049736947 3 7 10 1 0132 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -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.462153315490 0.468224764149 11 11 2 12 0132 1302 0132 0132 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.016230154845 0.652743090355 5 13 12 2 1023 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 0 -1 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.055811762691 0.890883046271 10 3 9 14 1230 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.446758733718 0.466819258929 15 15 8 4 0132 1230 0321 0132 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 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.286831520034 0.940886480626 13 8 13 5 3120 3012 2103 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 -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.411759622353 0.808686130774 6 15 14 6 0132 0132 2031 2031 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.705779700797 0.468293295710 15 14 6 7 3120 3012 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 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.430923443693 1.631724004158 10 7 14 10 2103 0132 0213 3120 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 1 0 -1 0 0 -1 1 -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.500000000000 0.981988139284 12 13 8 11 1230 0213 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.537846684510 0.468224764149 9 11 9 12 0132 0132 3012 3120 0 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 0 0 -1 1 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.703545474251 0.972452592952 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : negation(d['c_0011_11']), 'c_1001_14' : d['c_1001_13'], 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : d['c_0011_13'], 'c_1001_13' : d['c_1001_13'], 'c_1001_12' : negation(d['c_0011_14']), 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_0101_15'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_0101_6'], 'c_0101_13' : d['c_0011_14'], 'c_1001_0' : d['c_0101_6'], 'c_1001_3' : d['c_1001_13'], 'c_1001_2' : d['c_1001_13'], 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : d['c_1001_8'], 'c_1010_13' : negation(d['c_0011_10']), 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : d['c_0101_7'], 'c_1010_15' : negation(d['c_0011_12']), 'c_1010_14' : negation(d['c_0011_14']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_3_15' : d['1'], 's_0_15' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_11'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_14'], 'c_0101_15' : d['c_0101_15'], 'c_0101_14' : d['c_0011_10'], '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_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_15' : negation(d['c_0011_11']), 'c_0011_14' : d['c_0011_14'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_11'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_5']), 'c_1100_4' : d['c_1001_8'], 'c_1100_7' : d['c_1100_12'], 'c_1100_6' : d['c_1100_12'], 'c_1100_1' : negation(d['c_0101_5']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_1100_12'], 'c_1100_15' : negation(d['c_0101_11']), 'c_1100_14' : d['c_0101_11'], 'c_1100_11' : d['c_0011_14'], 'c_1100_10' : negation(d['c_0101_5']), 'c_1100_13' : negation(d['c_0011_14']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_13'], 'c_1010_6' : negation(d['c_0011_14']), 'c_1010_5' : d['c_0101_2'], 's_0_13' : d['1'], 'c_1010_3' : d['c_1001_8'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : d['c_0101_15'], 'c_1010_0' : d['c_1001_13'], 's_0_14' : d['1'], 'c_1010_9' : d['c_0101_15'], 'c_1010_8' : d['c_1001_13'], '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_1100_12'], '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_3_11' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : negation(d['c_0011_13']), 'c_0011_5' : negation(d['c_0011_13']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_13']), 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_13'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0101_5'], 'c_0110_13' : d['c_0101_5'], 'c_0110_12' : d['c_0101_7'], 'c_0110_15' : d['c_0101_7'], 'c_0110_14' : d['c_0011_12'], 'c_1010_4' : d['c_0101_2'], 'c_0110_0' : d['c_0101_1'], 's_2_14' : d['1'], 's_2_15' : d['1'], 's_3_14' : d['1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_15'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : negation(d['c_0101_7']), 'c_0011_10' : d['c_0011_10'], '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_0101_15'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0011_0'], 'c_1100_9' : d['c_1001_8'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_11'], 's_2_9' : d['1'], 'c_1001_1' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0101_1, c_0101_11, c_0101_15, c_0101_2, c_0101_5, c_0101_6, c_0101_7, c_1001_13, c_1001_8, c_1100_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 1277943241686053890126145865102250811484399620869218886757104/34250\ 13146461751071255769977826364006601670131890009*c_1100_12^21 + 23834790556208591341345483225930912759709555003898928188543697/1712\ 5065732308755356278849889131820033008350659450045*c_1100_12^20 + 412739938134393390718841110282404933395206849011132948406204094/856\ 25328661543776781394249445659100165041753297250225*c_1100_12^19 + 271287054260599186418979181496790749123409960493672312465132372/171\ 25065732308755356278849889131820033008350659450045*c_1100_12^18 + 1034714634110594185039972709826337399080871253811657959178009116/28\ 541776220514592260464749815219700055013917765750075*c_1100_12^17 + 1151966477150570218373800291541769174241434525780722692052047528/17\ 125065732308755356278849889131820033008350659450045*c_1100_12^16 + 9517507469918643936211965450457302695632672041932228817442395389/85\ 625328661543776781394249445659100165041753297250225*c_1100_12^15 + 4429976319943796811338229635078880373952600664991534322391851111/28\ 541776220514592260464749815219700055013917765750075*c_1100_12^14 + 5526332760674508387499746841874826768483776661223965795961285642/28\ 541776220514592260464749815219700055013917765750075*c_1100_12^13 + 17373212263096084320522647570855854499640657889109099613592418912/8\ 5625328661543776781394249445659100165041753297250225*c_1100_12^12 + 5386335289788128444823025691406068246700125392707933349197501398/28\ 541776220514592260464749815219700055013917765750075*c_1100_12^11 + 13585683057161499553167787175792758915220428469701686573934692118/8\ 5625328661543776781394249445659100165041753297250225*c_1100_12^10 + 7828921626926097444853964074425138167687185992405365127754366699/85\ 625328661543776781394249445659100165041753297250225*c_1100_12^9 + 7485172097133759893502573343224440412725027708386161640188317587/85\ 625328661543776781394249445659100165041753297250225*c_1100_12^8 + 1747482675189221092580330833367278932730984539484552549140042649/28\ 541776220514592260464749815219700055013917765750075*c_1100_12^7 + 698040252745473894307147558518254730587426388921964244851043333/856\ 25328661543776781394249445659100165041753297250225*c_1100_12^6 + 2549573791498700812635489722961011489111672084738530169370154964/85\ 625328661543776781394249445659100165041753297250225*c_1100_12^5 + 115514644694516699590301280772431962302823762327036156088648508/856\ 25328661543776781394249445659100165041753297250225*c_1100_12^4 + 999884775441062972754185632637047694565719819355853416283139923/856\ 25328661543776781394249445659100165041753297250225*c_1100_12^3 - 191158832847629121450109061640203864327177576522531886537744886/856\ 25328661543776781394249445659100165041753297250225*c_1100_12^2 + 249557417226227671516011616812618796453198910995908214693122286/856\ 25328661543776781394249445659100165041753297250225*c_1100_12 + 1061574564196774429358541703668793562042097539616251371234516/28541\ 776220514592260464749815219700055013917765750075, c_0011_0 - 1, c_0011_10 + 1037265915005460674804166737384270348529295107101425/309605\ 708154734560113515930198993356528964531696272*c_1100_12^21 + 3765727021795562632013245283013570331716851184377055/30960570815473\ 4560113515930198993356528964531696272*c_1100_12^20 + 6499279721425522914324177244032536225213684185582341/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^19 + 21322752461654110739929291638497391994954801972852151/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^18 + 96201652420132419586765213915856977398178078893216787/3096057081547\ 34560113515930198993356528964531696272*c_1100_12^17 + 176340029189308871804448696479426393564709980253221461/309605708154\ 734560113515930198993356528964531696272*c_1100_12^16 + 144509926473816437844782658342862291367450474659884119/154802854077\ 367280056757965099496678264482265848136*c_1100_12^15 + 199197350274222471464111440841698644207261760779164781/154802854077\ 367280056757965099496678264482265848136*c_1100_12^14 + 491756099312447675097020428071908664624412440596671903/309605708154\ 734560113515930198993356528964531696272*c_1100_12^13 + 252988094070651019741525433416150481689717035381186965/154802854077\ 367280056757965099496678264482265848136*c_1100_12^12 + 463566821616058734162742695465227502802436320819921723/309605708154\ 734560113515930198993356528964531696272*c_1100_12^11 + 192350444629406688072611515886293263517556234326419945/154802854077\ 367280056757965099496678264482265848136*c_1100_12^10 + 51890225813320391634207772826469842233193268351050117/7740142703868\ 3640028378982549748339132241132924068*c_1100_12^9 + 108122031965069054619162588700675329467050091334725831/154802854077\ 367280056757965099496678264482265848136*c_1100_12^8 + 73383070191855163975233146870504886502018743480968309/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^7 + 5537578322519539176398015117875476965498625447760413/30960570815473\ 4560113515930198993356528964531696272*c_1100_12^6 + 10003991804168307806655301260681490645210540397587973/3870071351934\ 1820014189491274874169566120566462034*c_1100_12^5 - 1404350410221215803881865585863838558630712274562415/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^4 + 16007632926726092719064125194329897213789662973787429/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^3 - 9062066846537059563217096738469206398506747640676593/30960570815473\ 4560113515930198993356528964531696272*c_1100_12^2 + 8836649231258276544101191472071485314805493843712023/30960570815473\ 4560113515930198993356528964531696272*c_1100_12 - 517363686312457832863926022717442629368101493108357/309605708154734\ 560113515930198993356528964531696272, c_0011_11 - 540036116854381218517366274225793311411916334988675/1548028\ 54077367280056757965099496678264482265848136*c_1100_12^21 - 1976136490245656261246017577884028971425153360945405/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^20 - 3406494259997313927035272379399619415705137331987911/77401427038683\ 640028378982549748339132241132924068*c_1100_12^19 - 11172904316773847563111632980512296212078641392427721/7740142703868\ 3640028378982549748339132241132924068*c_1100_12^18 - 50543068556108461806417648101063093977878350600445465/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^17 - 92650623886359818712733046518739545172764997352501639/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^16 - 75806696696983596073297311000520479451369655585714797/7740142703868\ 3640028378982549748339132241132924068*c_1100_12^15 - 104401330491478364152921413437371707518030419088717723/774014270386\ 83640028378982549748339132241132924068*c_1100_12^14 - 257051075826644733756116331079639561881878930809466773/154802854077\ 367280056757965099496678264482265848136*c_1100_12^13 - 131830514069838681012936810509356065811101989298087763/774014270386\ 83640028378982549748339132241132924068*c_1100_12^12 - 239966380405393653937665573929635911316232897919389681/154802854077\ 367280056757965099496678264482265848136*c_1100_12^11 - 98835044201501213011527282447347346462160845674490527/7740142703868\ 3640028378982549748339132241132924068*c_1100_12^10 - 26299828672968260647190096757942684392461171659829591/3870071351934\ 1820014189491274874169566120566462034*c_1100_12^9 - 54504408073561603296356427530552899454245196683381213/7740142703868\ 3640028378982549748339132241132924068*c_1100_12^8 - 37950141646562297364594241497580493427865340554691563/7740142703868\ 3640028378982549748339132241132924068*c_1100_12^7 - 2997071099437738754751266566464761849559929221591623/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^6 - 4971180040141679574851719185743311660949470092627462/19350356759670\ 910007094745637437084783060283231017*c_1100_12^5 + 531768087066299365239995888778855880118572058433821/774014270386836\ 40028378982549748339132241132924068*c_1100_12^4 - 8238543763482231003813634726701454154460448706111331/77401427038683\ 640028378982549748339132241132924068*c_1100_12^3 + 4465348188487741822157614751619766697664760319838499/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^2 - 4231624896965238787397613695214001096976451306655261/15480285407736\ 7280056757965099496678264482265848136*c_1100_12 + 233586836341283985819509847748274909844548036746791/154802854077367\ 280056757965099496678264482265848136, c_0011_12 + 10363178880620597625256456801441833369016199823475/15480285\ 4077367280056757965099496678264482265848136*c_1100_12^21 + 51297767024619905640149269313591253148321418124085/1548028540773672\ 80056757965099496678264482265848136*c_1100_12^20 + 83577806888013903053141258354953746966945033938787/7740142703868364\ 0028378982549748339132241132924068*c_1100_12^19 + 271271589621738663966426973859443674776508093197069/774014270386836\ 40028378982549748339132241132924068*c_1100_12^18 + 1330477459327339216219912109921730876942647975194825/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^17 + 2391264985485753848347499261179893954846870210241359/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^16 + 1819253168799788589134114759423355305020759100520861/77401427038683\ 640028378982549748339132241132924068*c_1100_12^15 + 2354677124099866651328143108981748321790706011989275/77401427038683\ 640028378982549748339132241132924068*c_1100_12^14 + 4922916287685412190171838666822076415511629896473757/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^13 + 1935589201279849807055094413080798053192294985515583/77401427038683\ 640028378982549748339132241132924068*c_1100_12^12 + 1443994333326634044311263760687998260204498402794609/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^11 - 454937072292951592781281672891032178158246528026313/774014270386836\ 40028378982549748339132241132924068*c_1100_12^10 - 798623854754637621315411167864836833815987611395415/387007135193418\ 20014189491274874169566120566462034*c_1100_12^9 - 1907218599266711448748550910173828421617094971352023/77401427038683\ 640028378982549748339132241132924068*c_1100_12^8 - 619876006555928423012278492093047850877990310742505/774014270386836\ 40028378982549748339132241132924068*c_1100_12^7 - 1830484486900557493282043808537845984146494385498409/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^6 - 247311932391725154510226207668046988548896201101884/193503567596709\ 10007094745637437084783060283231017*c_1100_12^5 + 99456275495019905399002106837573392477545720234855/7740142703868364\ 0028378982549748339132241132924068*c_1100_12^4 - 142497585130928320193192826203892572489111634058161/774014270386836\ 40028378982549748339132241132924068*c_1100_12^3 + 72038910327300696262590796214063602976680605735853/1548028540773672\ 80056757965099496678264482265848136*c_1100_12^2 - 280194435625740991406709235950376297363587042412451/154802854077367\ 280056757965099496678264482265848136*c_1100_12 + 170722970302783677246338463627366580161869145035017/154802854077367\ 280056757965099496678264482265848136, c_0011_13 + 237833993980921972545202218909108247634205073463775/7740142\ 7038683640028378982549748339132241132924068*c_1100_12^21 + 863211411348766581871778837989130946390157587811915/774014270386836\ 40028378982549748339132241132924068*c_1100_12^20 + 1492681024800808791845669458909428880736006045315953/38700713519341\ 820014189491274874169566120566462034*c_1100_12^19 + 4899193480417314641793378878830590559528318032023399/38700713519341\ 820014189491274874169566120566462034*c_1100_12^18 + 22126668791328394748300541675386413431514323572189505/7740142703868\ 3640028378982549748339132241132924068*c_1100_12^17 + 40667313564284307934668506000609624258934494306654657/7740142703868\ 3640028378982549748339132241132924068*c_1100_12^16 + 33412049186635349816787085630987077154507060454630743/3870071351934\ 1820014189491274874169566120566462034*c_1100_12^15 + 46183817992859816763111981970341688508599293897537583/3870071351934\ 1820014189491274874169566120566462034*c_1100_12^14 + 114407165011923893610739623092651724702032171012457065/774014270386\ 83640028378982549748339132241132924068*c_1100_12^13 + 29569540852042633574789855337980709083940671203468538/1935035675967\ 0910007094745637437084783060283231017*c_1100_12^12 + 109015308618592564888608831796428759983362782615919587/774014270386\ 83640028378982549748339132241132924068*c_1100_12^11 + 45462583704183016686430362796182411748985293136401931/3870071351934\ 1820014189491274874169566120566462034*c_1100_12^10 + 12470114402751990679361136028746564750188647126021476/1935035675967\ 0910007094745637437084783060283231017*c_1100_12^9 + 25675861911905147279210763915872343690817254332331281/3870071351934\ 1820014189491274874169566120566462034*c_1100_12^8 + 17214656128464056612185572128630784135964378943525177/3870071351934\ 1820014189491274874169566120566462034*c_1100_12^7 + 2034571686235768825958011048884988935291448153024731/77401427038683\ 640028378982549748339132241132924068*c_1100_12^6 + 9590142162709361812631370575062069980636304373870943/38700713519341\ 820014189491274874169566120566462034*c_1100_12^5 - 157884063616569651296360459036800643317341739694444/193503567596709\ 10007094745637437084783060283231017*c_1100_12^4 + 1888965616023113340583694796082556472467944793571923/19350356759670\ 910007094745637437084783060283231017*c_1100_12^3 - 2023334474732307590353615898773604391671796497717981/77401427038683\ 640028378982549748339132241132924068*c_1100_12^2 + 2171795019508844550784142543603109040094116854626877/77401427038683\ 640028378982549748339132241132924068*c_1100_12 - 113196904913431471828510792882950939358891433445701/774014270386836\ 40028378982549748339132241132924068, c_0011_14 - 175860027466896327720753989088806181729741579082025/3096057\ 08154734560113515930198993356528964531696272*c_1100_12^21 - 672062813357675045557146800152611116214221697159815/309605708154734\ 560113515930198993356528964531696272*c_1100_12^20 - 1176018602939386788217348835827417026526796594882653/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^19 - 3867784460849348538316045738271274536946554938483343/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^18 - 17969355861912481182360411136113865625937099183003963/3096057081547\ 34560113515930198993356528964531696272*c_1100_12^17 - 33913530886073690697902925813463049487506613529637853/3096057081547\ 34560113515930198993356528964531696272*c_1100_12^16 - 28278600960737632051904457910742914299373038164198855/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^15 - 39950543916311319904151288041453060888611436704372725/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^14 - 100738929702090986052378270893956222207587259680861879/309605708154\ 734560113515930198993356528964531696272*c_1100_12^13 - 53507045207991235421124500962470032426551706310417949/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^12 - 100535536514587168502537302276093366865965350718391795/309605708154\ 734560113515930198993356528964531696272*c_1100_12^11 - 42215784269535384463149761891705601601680563134894137/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^10 - 12557607832976062156337655922670978140701611363800049/7740142703868\ 3640028378982549748339132241132924068*c_1100_12^9 - 22446970737273695441181742753939887435555231991972055/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^8 - 15359137948439769199341810472121191194367565925721909/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^7 - 7578760443189414144185860874337770772209512231914741/30960570815473\ 4560113515930198993356528964531696272*c_1100_12^6 - 1927710981594440283134030202197579706010100743471937/38700713519341\ 820014189491274874169566120566462034*c_1100_12^5 - 83883953853335955437758834533197211119866133168369/1548028540773672\ 80056757965099496678264482265848136*c_1100_12^4 - 3253725334396857719461458702845719306194937810544941/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^3 + 833937207326141514491423357851840034965608138075033/309605708154734\ 560113515930198993356528964531696272*c_1100_12^2 - 1510509800902403335560792352867682789712717977816847/30960570815473\ 4560113515930198993356528964531696272*c_1100_12 + 88277016243324186782321024351620774001124359858061/3096057081547345\ 60113515930198993356528964531696272, c_0101_1 - 1, c_0101_11 - 119551615511848259100179708441782916109415497342925/3096057\ 08154734560113515930198993356528964531696272*c_1100_12^21 - 367495716472174321349167357800615038935961893092355/309605708154734\ 560113515930198993356528964531696272*c_1100_12^20 - 602317347050161126493099885287857387206098215340241/154802854077367\ 280056757965099496678264482265848136*c_1100_12^19 - 1947353609403620123290252179457488228005667135913939/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^18 - 7728288245897060728412657360660321767183613443791879/30960570815473\ 4560113515930198993356528964531696272*c_1100_12^17 - 12123159624475471730365425624971405777648579558423297/3096057081547\ 34560113515930198993356528964531696272*c_1100_12^16 - 8771889748786454817403840311712872915945049058833019/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^15 - 9826358438133441694130304562136140766522346653120473/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^14 - 19168973404027330597625408385194396542163979957595475/3096057081547\ 34560113515930198993356528964531696272*c_1100_12^13 - 5737414430724593603108641239205662551497127687700641/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^12 - 3834180634853431820899574481853139640314701484530479/30960570815473\ 4560113515930198993356528964531696272*c_1100_12^11 + 215908902077664586582312042769444646536574033177203/154802854077367\ 280056757965099496678264482265848136*c_1100_12^10 + 2894584188302011813894484144289533989823301489888331/77401427038683\ 640028378982549748339132241132924068*c_1100_12^9 - 2443163005497299996297146720579116487299536596635699/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^8 - 1776263535351393605256192604813758587587861815639649/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^7 + 11451505059365409731762313666843291591105648923046359/3096057081547\ 34560113515930198993356528964531696272*c_1100_12^6 - 713557503736216625146288776739371193463303259207055/387007135193418\ 20014189491274874169566120566462034*c_1100_12^5 + 1234844888855106112400909723587598159058390919535547/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^4 - 1386124452545522652076528306690743874027676585445553/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^3 + 2319071975628418033474140882105032270620064654034253/30960570815473\ 4560113515930198993356528964531696272*c_1100_12^2 - 764633768542250323833691300534719969739202417662315/309605708154734\ 560113515930198993356528964531696272*c_1100_12 + 60461917414155078919908204680509010822124803333345/3096057081547345\ 60113515930198993356528964531696272, c_0101_15 + 77696718823654372747640711155303642755276434513025/15480285\ 4077367280056757965099496678264482265848136*c_1100_12^21 + 258768147053139038945057482302167203512091018409615/154802854077367\ 280056757965099496678264482265848136*c_1100_12^20 + 446703345993097015499489122609475579881491434126533/774014270386836\ 40028378982549748339132241132924068*c_1100_12^19 + 1464906847446253257733838446670876570720643324120827/77401427038683\ 640028378982549748339132241132924068*c_1100_12^18 + 6350423177848795569943751580261308436361214769515307/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^17 + 11393246774698860379552618332922179429435950088468965/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^16 + 9319527607600065332043507174206699704414387604675775/77401427038683\ 640028378982549748339132241132924068*c_1100_12^15 + 12697361155784564787289322329311058127766076953631201/7740142703868\ 3640028378982549748339132241132924068*c_1100_12^14 + 31576011510657038780740960433729952025485207896727111/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^13 + 16318771791454445426625739465249171153327974418165957/7740142703868\ 3640028378982549748339132241132924068*c_1100_12^12 + 31256409003020916748138926467378945068512640594462483/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^11 + 13910452359218706207846881575001072677532216354273409/7740142703868\ 3640028378982549748339132241132924068*c_1100_12^10 + 4133842799261963351203537149317881425661634622766997/38700713519341\ 820014189491274874169566120566462034*c_1100_12^9 + 10073913793952680126467328134178006319168948990737443/7740142703868\ 3640028378982549748339132241132924068*c_1100_12^8 + 6295660003721422825711048867834524972021088960780697/77401427038683\ 640028378982549748339132241132924068*c_1100_12^7 + 1108092314796148275035058040115823450338245792708885/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^6 + 1087150602140406824775872926672212175509949891328341/19350356759670\ 910007094745637437084783060283231017*c_1100_12^5 - 179788281358650679094128515959996335545922507129115/774014270386836\ 40028378982549748339132241132924068*c_1100_12^4 + 1471909977502989966566295509494894782399068633801125/77401427038683\ 640028378982549748339132241132924068*c_1100_12^3 - 1167554682504110221112054774425145459221993411457825/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^2 + 1082395556586033171029025399449465506290802750568903/15480285407736\ 7280056757965099496678264482265848136*c_1100_12 - 47623637870520766782666421750204024753226280661317/1548028540773672\ 80056757965099496678264482265848136, c_0101_2 + 30073845471557817951180939455743745466434881333925/154802854\ 077367280056757965099496678264482265848136*c_1100_12^21 + 83132891288207815125018348168453928987670702809855/1548028540773672\ 80056757965099496678264482265848136*c_1100_12^20 + 134271103518812048304885246342090672665337411118081/774014270386836\ 40028378982549748339132241132924068*c_1100_12^19 + 430298550451758092084692757854131641526855406206867/774014270386836\ 40028378982549748339132241132924068*c_1100_12^18 + 1551180832272145620323393586892146345202377185237639/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^17 + 2151922994063426715374601888234771014846556293927965/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^16 + 1372546176164730218822220525290287607912504986617747/77401427038683\ 640028378982549748339132241132924068*c_1100_12^15 + 1081420653334511800349328343321105368987437812997845/77401427038683\ 640028378982549748339132241132924068*c_1100_12^14 + 889360438824989172207952513297176424582395983643955/154802854077367\ 280056757965099496678264482265848136*c_1100_12^13 - 1049693513572997594379472274750320984267534326437605/77401427038683\ 640028378982549748339132241132924068*c_1100_12^12 - 4378210923617132485729185168460587309335203741298629/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^11 - 2601997134639059391443324911717918519615191067959143/77401427038683\ 640028378982549748339132241132924068*c_1100_12^10 - 1831738838200222831413929684879936491805197148202611/38700713519341\ 820014189491274874169566120566462034*c_1100_12^9 - 716099061632093664249883046259166654383732005227529/774014270386836\ 40028378982549748339132241132924068*c_1100_12^8 - 763400233372167087723360453309693911095386128363395/774014270386836\ 40028378982549748339132241132924068*c_1100_12^7 - 4397555173350147700456755548204080666527199980411167/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^6 + 353187990608564485782886826510733985065521254209171/387007135193418\ 20014189491274874169566120566462034*c_1100_12^5 - 666363436260121945853721830083757042539725082797617/774014270386836\ 40028378982549748339132241132924068*c_1100_12^4 + 274050912664372764203508660860575256359905817405103/774014270386836\ 40028378982549748339132241132924068*c_1100_12^3 - 933443249253564927741252960362450954808604028641001/154802854077367\ 280056757965099496678264482265848136*c_1100_12^2 + 344782881447642307508448281992558862789319265320403/154802854077367\ 280056757965099496678264482265848136*c_1100_12 - 7825332226810504458800175360566683529055615253653/15480285407736728\ 0056757965099496678264482265848136, c_0101_5 + 11905718338024138699114942924889974322210388294775/387007135\ 19341820014189491274874169566120566462034*c_1100_12^21 + 21954406970616402977504891766714159315552539449970/1935035675967091\ 0007094745637437084783060283231017*c_1100_12^20 + 78108060618571241798650969066846226804038505752113/1935035675967091\ 0007094745637437084783060283231017*c_1100_12^19 + 258652074248623791412286422204186232298446979478490/193503567596709\ 10007094745637437084783060283231017*c_1100_12^18 + 1199810586394162487405089498342290522789709396069417/38700713519341\ 820014189491274874169566120566462034*c_1100_12^17 + 1155165472579429208022252055585926051823674224317625/19350356759670\ 910007094745637437084783060283231017*c_1100_12^16 + 1986745357858833778305321662229103024125470654514507/19350356759670\ 910007094745637437084783060283231017*c_1100_12^15 + 2903985125612513246734998496497488189694659785158339/19350356759670\ 910007094745637437084783060283231017*c_1100_12^14 + 7671662767958012402133251980108193900225702978270789/38700713519341\ 820014189491274874169566120566462034*c_1100_12^13 + 8684232652513721510502605869999746068797754372301781/38700713519341\ 820014189491274874169566120566462034*c_1100_12^12 + 4454327490829756154233513954479941547230980541970139/19350356759670\ 910007094745637437084783060283231017*c_1100_12^11 + 4128112373464441399822551621679747799286851855558138/19350356759670\ 910007094745637437084783060283231017*c_1100_12^10 + 2982790818731093091308733417098908958733415885484804/19350356759670\ 910007094745637437084783060283231017*c_1100_12^9 + 2697503213896193447679302795109293243388170248991243/19350356759670\ 910007094745637437084783060283231017*c_1100_12^8 + 1764765059273397478358602330286054720779118772286023/19350356759670\ 910007094745637437084783060283231017*c_1100_12^7 + 1376411872036573993872953397079976029216361443280013/38700713519341\ 820014189491274874169566120566462034*c_1100_12^6 + 1821113213672249163768859026833690365954378528447511/38700713519341\ 820014189491274874169566120566462034*c_1100_12^5 + 243287577450735633379796657061880353496901287834251/387007135193418\ 20014189491274874169566120566462034*c_1100_12^4 + 598929532419308601181393424317159763019581408198011/387007135193418\ 20014189491274874169566120566462034*c_1100_12^3 - 29263929156318161671350226757836813051673672852103/1935035675967091\ 0007094745637437084783060283231017*c_1100_12^2 + 184403168784597715880144279364226660875370871312125/387007135193418\ 20014189491274874169566120566462034*c_1100_12 - 4974788205463782790483280798704667653021333175958/19350356759670910\ 007094745637437084783060283231017, c_0101_6 - 13590860326697296579874172785075/685606449284507293012761904\ 95844*c_1100_12^21 - 45952322048897151664085162045945/6856064492845\ 0729301276190495844*c_1100_12^20 - 78900142921564289359295966824369/34280322464225364650638095247922*c\ _1100_12^19 - 258336138602970951189704303820381/3428032246422536465\ 0638095247922*c_1100_12^18 - 1122070679366786359013152333617577/685\ 60644928450729301276190495844*c_1100_12^17 - 1999281853795453507372821848955431/68560644928450729301276190495844\ *c_1100_12^16 - 1614972010716116238143855548819023/3428032246422536\ 4650638095247922*c_1100_12^15 - 2159258595855266458652882851972851/\ 34280322464225364650638095247922*c_1100_12^14 - 5213449756776904328709149879154417/68560644928450729301276190495844\ *c_1100_12^13 - 2573335806950945620794004551705189/3428032246422536\ 4650638095247922*c_1100_12^12 - 4577367072427337693543739729226417/\ 68560644928450729301276190495844*c_1100_12^11 - 1858344614742539284100843933558303/34280322464225364650638095247922\ *c_1100_12^10 - 408745422742644366172711185885636/17140161232112682\ 325319047623961*c_1100_12^9 - 1146427684070965085086953925228743/34\ 280322464225364650638095247922*c_1100_12^8 - 675605655910712293742434134351963/34280322464225364650638095247922*\ c_1100_12^7 + 431154358716859972300236496766529/6856064492845072930\ 1276190495844*c_1100_12^6 - 284340261880700615308749203023558/17140\ 161232112682325319047623961*c_1100_12^5 + 112144945666537476404418698269763/34280322464225364650638095247922*\ c_1100_12^4 - 151767088633997327740673801800393/3428032246422536465\ 0638095247922*c_1100_12^3 + 110386467997331678141314006736167/68560\ 644928450729301276190495844*c_1100_12^2 - 144884325555746873700947855230721/68560644928450729301276190495844*\ c_1100_12 - 9187648491965148157543108249553/68560644928450729301276\ 190495844, c_0101_7 + 136064058666369949142038871030549549890130336931325/30960570\ 8154734560113515930198993356528964531696272*c_1100_12^21 + 569292672464643472493568815966309792100157485200995/309605708154734\ 560113515930198993356528964531696272*c_1100_12^20 + 994251546153026163939316026804945457165218390682609/154802854077367\ 280056757965099496678264482265848136*c_1100_12^19 + 3276948524468587587816720393594097717380243056093467/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^18 + 15750102629438370686321652992421762922266094487501191/3096057081547\ 34560113515930198993356528964531696272*c_1100_12^17 + 30209479267251282180452856133523603587778350044109761/3096057081547\ 34560113515930198993356528964531696272*c_1100_12^16 + 25295998737318695715384154382919190482643027646456963/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^15 + 36177195780338488204445228972187877413400747290626225/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^14 + 91172776422634715142433108102702186302909922145652851/3096057081547\ 34560113515930198993356528964531696272*c_1100_12^13 + 48694729440874009281656316496757073968301437342906809/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^12 + 89895427677775099048563089364252263585558376670494191/3096057081547\ 34560113515930198993356528964531696272*c_1100_12^11 + 36593076813695240609911251235105356546082965416620189/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^10 + 10576667918528698786754727631382586297824635011521241/7740142703868\ 3640028378982549748339132241132924068*c_1100_12^9 + 15396699900809551771583832181301741947758355614883083/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^8 + 11588118658503625837155526558543408139004345379244065/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^7 + 4514687276125214313501623307909473846880366849228265/30960570815473\ 4560113515930198993356528964531696272*c_1100_12^6 + 730083411342377597138566857680149343985136109604801/387007135193418\ 20014189491274874169566120566462034*c_1100_12^5 + 50387978704363837675916785087349583792523263395405/1548028540773672\ 80056757965099496678264482265848136*c_1100_12^4 + 1349289423586842445037850048232562594071020178922537/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^3 - 319986805931836312463109018229868267382779033992205/309605708154734\ 560113515930198993356528964531696272*c_1100_12^2 + 244156492110568094715953103776545156842569070511963/309605708154734\ 560113515930198993356528964531696272*c_1100_12 - 70539643057424332902856687268816685479447625652977/3096057081547345\ 60113515930198993356528964531696272, c_1001_13 - 612913238708355997213024791884804127207183790625/1548028540\ 77367280056757965099496678264482265848136*c_1100_12^21 - 20622705119545496606113552249062349400797789235475/1548028540773672\ 80056757965099496678264482265848136*c_1100_12^20 - 43877268978510952661336530420484397069577637003905/7740142703868364\ 0028378982549748339132241132924068*c_1100_12^19 - 152997764931515599028692245488693381622958473352647/774014270386836\ 40028378982549748339132241132924068*c_1100_12^18 - 982338854186178736813327576242589146021268170827499/154802854077367\ 280056757965099496678264482265848136*c_1100_12^17 - 2362248910177142226438765678895782384281109903711249/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^16 - 2273893800804848907747496294039005215339619154177515/77401427038683\ 640028378982549748339132241132924068*c_1100_12^15 - 3793962209214606158253328326727889490077288330612849/77401427038683\ 640028378982549748339132241132924068*c_1100_12^14 - 10882070573532878271688928939904952662740056562952143/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^13 - 6860019945467213742400250263213230338665981577870671/77401427038683\ 640028378982549748339132241132924068*c_1100_12^12 - 14713432940723194142978010109759254594845194869062727/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^11 - 6797947311619859377905512124380188355023263795502725/77401427038683\ 640028378982549748339132241132924068*c_1100_12^10 - 2754643780206742059881212693613857680717994890409595/38700713519341\ 820014189491274874169566120566462034*c_1100_12^9 - 3304614348684864337356525484484471689741396744580471/77401427038683\ 640028378982549748339132241132924068*c_1100_12^8 - 2288848015768827453921132739853437007283177720293017/77401427038683\ 640028378982549748339132241132924068*c_1100_12^7 - 3424053168710017781831811421124021903284594749494141/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^6 - 288822948964333493060950263582464655646820731581881/387007135193418\ 20014189491274874169566120566462034*c_1100_12^5 - 413151733283167809204664281126376886263905277534795/774014270386836\ 40028378982549748339132241132924068*c_1100_12^4 - 68623496248694763927552530440084713422306242887939/7740142703868364\ 0028378982549748339132241132924068*c_1100_12^3 - 684202007206616010597693051844731732414755317385403/154802854077367\ 280056757965099496678264482265848136*c_1100_12^2 + 17649040590248884856005164367491019105922732170929/1548028540773672\ 80056757965099496678264482265848136*c_1100_12 - 28570093456814932131372536310269499768312923899735/1548028540773672\ 80056757965099496678264482265848136, c_1001_8 + 72091488431222741810679844159482092354355446136775/154802854\ 077367280056757965099496678264482265848136*c_1100_12^21 + 314134326435990503548030706151215135619891065663665/154802854077367\ 280056757965099496678264482265848136*c_1100_12^20 + 545155688109999998208549568138730472491019493189523/774014270386836\ 40028378982549748339132241132924068*c_1100_12^19 + 1795971021170268414314589247171826795876751229373533/77401427038683\ 640028378982549748339132241132924068*c_1100_12^18 + 8732031045824974547256829002978529534227909731143037/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^17 + 16750538222180152930426688883820462757325707463472915/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^16 + 13967713650427039591389773820452196926907154616061097/7740142703868\ 3640028378982549748339132241132924068*c_1100_12^15 + 19981431764991259233555651090568402184016538073647767/7740142703868\ 3640028378982549748339132241132924068*c_1100_12^14 + 50102529658018411518168533528488677055232364908339369/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^13 + 26677914417975436904385385138187373779033713029274423/7740142703868\ 3640028378982549748339132241132924068*c_1100_12^12 + 48704616236934916406273083830862275664599905746361437/1548028540773\ 67280056757965099496678264482265848136*c_1100_12^11 + 19674049145245213433979614155721342040353833769150499/7740142703868\ 3640028378982549748339132241132924068*c_1100_12^10 + 5723981496542046977914880651229963530128814813912553/38700713519341\ 820014189491274874169566120566462034*c_1100_12^9 + 7930718699036046442040132163231359405023847321873265/77401427038683\ 640028378982549748339132241132924068*c_1100_12^8 + 6856333048976407338908043006114865785247630804824791/77401427038683\ 640028378982549748339132241132924068*c_1100_12^7 + 3612133611863562764400834400388869075300507074405555/15480285407736\ 7280056757965099496678264482265848136*c_1100_12^6 + 300808853470076223197033991334216411827781255457651/193503567596709\ 10007094745637437084783060283231017*c_1100_12^5 + 576651028937281414263643180155966542470050637621443/774014270386836\ 40028378982549748339132241132924068*c_1100_12^4 + 791468711205364904877028114366646559812292696811939/774014270386836\ 40028378982549748339132241132924068*c_1100_12^3 + 172580781085320613311053913038806139366162396500905/154802854077367\ 280056757965099496678264482265848136*c_1100_12^2 - 205165824780370788046280630984081826864618577102327/154802854077367\ 280056757965099496678264482265848136*c_1100_12 + 20529602740992951098537697968734783492053614384437/1548028540773672\ 80056757965099496678264482265848136, c_1100_12^22 + 18/5*c_1100_12^21 + 311/25*c_1100_12^20 + 204/5*c_1100_12^19 + 2293/25*c_1100_12^18 + 4198/25*c_1100_12^17 + 6877/25*c_1100_12^16 + 1892/5*c_1100_12^15 + 11669/25*c_1100_12^14 + 479*c_1100_12^13 + 10961/25*c_1100_12^12 + 363*c_1100_12^11 + 4826/25*c_1100_12^10 + 1026/5*c_1100_12^9 + 676/5*c_1100_12^8 + 51/25*c_1100_12^7 + 1951/25*c_1100_12^6 - 166/25*c_1100_12^5 + 784/25*c_1100_12^4 - 251/25*c_1100_12^3 + 44/5*c_1100_12^2 - 24/25*c_1100_12 + 1/25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 91.610 Total time: 91.819 seconds, Total memory usage: 250.41MB