Magma V2.19-8 Tue Aug 20 2013 23:41:45 on localhost [Seed = 4004022859] Type ? for help. Type -D to quit. Loading file "K12n647__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n647 geometric_solution 10.77480413 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 0 -1 -13 0 14 -1 0 0 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.770455680024 1.045912948388 0 4 6 5 0132 1023 0132 0132 0 0 0 0 0 0 0 0 -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 0 0 0 13 0 0 -13 0 -14 0 14 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.065123664653 1.168729045747 7 0 8 4 0132 0132 0132 1023 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 -1 0 1 0 0 -1 1 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.453243885463 0.505350008547 9 5 6 0 0132 0132 3012 0132 0 0 0 0 0 0 0 0 -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 0 0 0 14 0 0 -14 0 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.495926695271 0.660859372168 1 8 0 2 1023 0132 0132 1023 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 1 -1 0 0 1 -1 14 -14 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.445503154178 0.434089069429 9 3 1 10 2103 0132 0132 0132 0 0 0 0 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 13 -13 0 0 0 0 1 13 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506262898682 0.758220153809 11 3 10 1 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 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.509416429837 0.763657565314 2 8 10 9 0132 1023 3201 2031 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 1 -1 0 0 0 0 0 0 1 0 -1 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.149748303673 0.960137079578 7 4 11 2 1023 0132 2031 0132 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 -1 0 0 1 -1 1 0 0 0 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.112112299208 1.154155948374 3 7 5 11 0132 1302 2103 0132 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 -14 0 0 14 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.440586890689 1.252268789297 7 11 5 6 2310 2103 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -13 0 13 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.057231679874 1.019167896713 6 10 9 8 0132 2103 0132 1302 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 -14 14 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.316511281812 0.603087400804 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_0011_11'], 'c_1001_5' : d['c_0110_4'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0110_4'], 'c_1001_3' : d['c_0011_11'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_3']), 'c_1001_8' : negation(d['c_0101_6']), 'c_1010_11' : negation(d['c_1001_6']), 'c_1010_10' : d['c_1001_6'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_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' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : negation(d['c_1001_6']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_1001_6']), 'c_1100_3' : negation(d['c_1001_6']), 'c_1100_2' : d['c_1001_6'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : d['c_1100_1'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0011_11'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0110_4'], 'c_1010_2' : d['c_0110_4'], 'c_1010_1' : d['c_0110_4'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_1001_6'], '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' : negation(d['1']), 's_1_7' : negation(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_3']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_0'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0101_6'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_6']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0101_10']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_6']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_6, c_0110_4, c_1001_2, c_1001_6, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 24981672266601829780218725113502201958225646570728359077/1885253510\ 477477380089538797064451118337357496180260303*c_1100_1^21 + 4420273227611527494762524846095913148976608624320900743/18852535104\ 77477380089538797064451118337357496180260303*c_1100_1^20 + 500629755054096501778778734233407304983014714968015535968/188525351\ 0477477380089538797064451118337357496180260303*c_1100_1^19 + 69092973647476644597371171663256866744510423522337118848/9922386897\ 2498809478396778792865848333545131377908437*c_1100_1^18 - 2936277846153881399240438686245919037760122926168579835248/18852535\ 10477477380089538797064451118337357496180260303*c_1100_1^17 - 10650082143121599758006654697713665895387467551860717638767/1885253\ 510477477380089538797064451118337357496180260303*c_1100_1^16 - 51249668100903295203147863547010227107882681084748922142403/1885253\ 510477477380089538797064451118337357496180260303*c_1100_1^15 - 90191956808951531622343313163610291108719142267186798697992/1885253\ 510477477380089538797064451118337357496180260303*c_1100_1^14 - 7253780602912915175148519587223787472014612376535964739555/81967543\ 933803364351719078133237005145102499833924361*c_1100_1^13 - 234009108383644183599472188832221327474430103959741830990902/188525\ 3510477477380089538797064451118337357496180260303*c_1100_1^12 - 300121740065319466801735624158533172843144356431997333908006/188525\ 3510477477380089538797064451118337357496180260303*c_1100_1^11 - 442637878777557079016985054801450593199691405435732599683120/188525\ 3510477477380089538797064451118337357496180260303*c_1100_1^10 - 65352571703866512566205927087814028335583438294393771873677/2693219\ 30068211054298505542437778731191051070882894329*c_1100_1^9 - 539885700735393148036676218103455590988986409593664153904979/188525\ 3510477477380089538797064451118337357496180260303*c_1100_1^8 - 311337023770941587729406154229812151255651872733301198218112/188525\ 3510477477380089538797064451118337357496180260303*c_1100_1^7 - 10721817541676069193785673693723574326918209193022001695909/9922386\ 8972498809478396778792865848333545131377908437*c_1100_1^6 + 56810719459695505231199934574117703493306027854718996222056/1885253\ 510477477380089538797064451118337357496180260303*c_1100_1^5 + 119277765384550912771140332891111594078839269344776050838866/188525\ 3510477477380089538797064451118337357496180260303*c_1100_1^4 + 135210564585394767215507923668938674296591765776664170555434/188525\ 3510477477380089538797064451118337357496180260303*c_1100_1^3 + 4103357204697642753596936430627003106839011261943938975400/99223868\ 972498809478396778792865848333545131377908437*c_1100_1^2 + 2380017067862586207926249436043164787910532653378568528136/26932193\ 0068211054298505542437778731191051070882894329*c_1100_1 - 989271846927109956258395129037905411835147972558111634479/269321930\ 068211054298505542437778731191051070882894329, c_0011_0 - 1, c_0011_10 - 18017326775468139478725673306562887365725254440708/61629732\ 2810551611667060737843887256730093983713717*c_1100_1^21 - 3372868543993299671754486815038694308963833668603/61629732281055161\ 1667060737843887256730093983713717*c_1100_1^20 - 361217295682875433450916559472192810491759420560493/616297322810551\ 611667060737843887256730093983713717*c_1100_1^19 - 950014890858215394516274058996489456746674551346952/616297322810551\ 611667060737843887256730093983713717*c_1100_1^18 + 2105428191326199503597579371882978958399273086755708/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^17 + 7706373525408353742310802951478450338308550832846602/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^16 + 37076743423714308238223207244544619900393406771558113/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^15 + 65400579745712212034102542136867920600478909400945909/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^14 + 121042125283841160813613355720619778049489847736636806/616297322810\ 551611667060737843887256730093983713717*c_1100_1^13 + 169553660326949012141689227728650947616154422873183343/616297322810\ 551611667060737843887256730093983713717*c_1100_1^12 + 217799137449619730873000856030693620631072067156782012/616297322810\ 551611667060737843887256730093983713717*c_1100_1^11 + 320550493013385656800506675068355364709304371627667926/616297322810\ 551611667060737843887256730093983713717*c_1100_1^10 + 332163511536498751901917172029354878146540443859425246/616297322810\ 551611667060737843887256730093983713717*c_1100_1^9 + 391883467326125801875304903207536052437975014539687287/616297322810\ 551611667060737843887256730093983713717*c_1100_1^8 + 32245889084341120155638021920994774265009820124317972/8804247468722\ 1658809580105406269608104299140530531*c_1100_1^7 + 147925928193488592307879107754627469212650300251881140/616297322810\ 551611667060737843887256730093983713717*c_1100_1^6 - 42354570156484440792909557886332230986565772332175658/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^5 - 12164856089992674688468491619889425532146781822431793/8804247468722\ 1658809580105406269608104299140530531*c_1100_1^4 - 99139411646497746731817881824404680529171007552984166/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^3 - 55872820690600271097133759796693663754689763403246252/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^2 - 1783536390577604499775169679359815899393188293959961/88042474687221\ 658809580105406269608104299140530531*c_1100_1 + 769956444039150577805223149270777472988679578637433/880424746872216\ 58809580105406269608104299140530531, c_0011_11 + 15925111056647377953035687480101461203126668449284/61629732\ 2810551611667060737843887256730093983713717*c_1100_1^21 + 2452483536813171051638539191861131766281540782824/61629732281055161\ 1667060737843887256730093983713717*c_1100_1^20 + 319113856613984048807183046680104615728142533914089/616297322810551\ 611667060737843887256730093983713717*c_1100_1^19 + 829520907192760709721964838538961285632467384192870/616297322810551\ 611667060737843887256730093983713717*c_1100_1^18 - 1890099614254978121179593488775671776298835110743932/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^17 - 6744317554216496115601870386702899791911446294638612/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^16 - 32518926196161063759154222934561724226546468321208524/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^15 - 56756459772969866449720674114495074811794389190396871/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^14 - 15017228121771414046712050756498487624657509239073813/8804247468722\ 1658809580105406269608104299140530531*c_1100_1^13 - 146888343395881498217657029719512128651670019232723369/616297322810\ 551611667060737843887256730093983713717*c_1100_1^12 - 188250382588182341701369630044432491248011840524667447/616297322810\ 551611667060737843887256730093983713717*c_1100_1^11 - 278332900720369068981366031463189827263396635042849711/616297322810\ 551611667060737843887256730093983713717*c_1100_1^10 - 285891477757793813591290769177751009054672682693705358/616297322810\ 551611667060737843887256730093983713717*c_1100_1^9 - 48365834508348493963078462672743474236100763289583776/8804247468722\ 1658809580105406269608104299140530531*c_1100_1^8 - 191712661428507555941457484801527603907724637767653070/616297322810\ 551611667060737843887256730093983713717*c_1100_1^7 - 126706633943009476940058850775005845648539918582741396/616297322810\ 551611667060737843887256730093983713717*c_1100_1^6 + 38061660694681835761871554497626410182245593837456317/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^5 + 74371483556229038028360865444346329726745346322759801/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^4 + 12055892860598050950087560105939782782231449637913471/8804247468722\ 1658809580105406269608104299140530531*c_1100_1^3 + 48391177755700099491540750668568539478392641892736603/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^2 + 1463515926242200291842946203253576087290143373505800/88042474687221\ 658809580105406269608104299140530531*c_1100_1 - 547544828032845536611945644837580183361799409347082/880424746872216\ 58809580105406269608104299140530531, c_0011_3 - 1674846330763909049427131002660232077628162691294/8804247468\ 7221658809580105406269608104299140530531*c_1100_1^21 - 2044034331805828628316625143217068386673600895226/61629732281055161\ 1667060737843887256730093983713717*c_1100_1^20 - 33534369972504171285688685017020932595203453042469/8804247468722165\ 8809580105406269608104299140530531*c_1100_1^19 - 615595059535998247405867851830625029570281876763120/616297322810551\ 611667060737843887256730093983713717*c_1100_1^18 + 197637240048906499517351605721329134131556651728681/880424746872216\ 58809580105406269608104299140530531*c_1100_1^17 + 5002086368707412487471108468666002190928411282682347/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^16 + 3429187506549748937357464688791474412559614172684885/88042474687221\ 658809580105406269608104299140530531*c_1100_1^15 + 42196248840167996847999656527576638729529731516291412/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^14 + 77865680282383623132398049189519037494930631001421665/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^13 + 109233607432023474921790109875672593255969818976041476/616297322810\ 551611667060737843887256730093983713717*c_1100_1^12 + 19995021940716115000972235002729011007373172633947632/8804247468722\ 1658809580105406269608104299140530531*c_1100_1^11 + 206577704433639612486207569752709847271065172855646073/616297322810\ 551611667060737843887256730093983713717*c_1100_1^10 + 213488911395406776571027744216649650578259939802834880/616297322810\ 551611667060737843887256730093983713717*c_1100_1^9 + 251265645282956695633436471754410067010473511744799229/616297322810\ 551611667060737843887256730093983713717*c_1100_1^8 + 144688309159291525562555889139154882815009365279023996/616297322810\ 551611667060737843887256730093983713717*c_1100_1^7 + 94401326796163964065139257059120576993469380384435098/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^6 - 3776147341880512642071872388072206547411607275141879/88042474687221\ 658809580105406269608104299140530531*c_1100_1^5 - 54964813887196881150583776444896644836397715002758145/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^4 - 62824224269856958181068077834327781152498925315723983/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^3 - 35300380280019761874109658188955018590769989953411470/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^2 - 1152064436720546750235643152401116452233627751073359/88042474687221\ 658809580105406269608104299140530531*c_1100_1 + 506159451945636174385565007396366211395563562284886/880424746872216\ 58809580105406269608104299140530531, c_0101_0 + 17984860477631707421337690691969594846414936117360/616297322\ 810551611667060737843887256730093983713717*c_1100_1^21 + 3196860512501084509369378455834262154839780450479/61629732281055161\ 1667060737843887256730093983713717*c_1100_1^20 + 360047987391225199887961724770009478744891575758066/616297322810551\ 611667060737843887256730093983713717*c_1100_1^19 + 945307127024830453910922695482377286278272885209630/616297322810551\ 611667060737843887256730093983713717*c_1100_1^18 - 2119941690425783869446458102110011826249147092941290/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^17 - 7688618352618278827924503282745156224705269034458830/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^16 - 36847963648479441504978709927985327818639451290304154/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^15 - 64775531443559535755539559838464660563494751212507773/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^14 - 119486499841542469777852468001830769379617750198876551/616297322810\ 551611667060737843887256730093983713717*c_1100_1^13 - 167455868264249616447346328292923392787606229844294577/616297322810\ 551611667060737843887256730093983713717*c_1100_1^12 - 214751022599970732134809205537571477048036039978356443/616297322810\ 551611667060737843887256730093983713717*c_1100_1^11 - 316892041527415799482034290418365118609806494457865641/616297322810\ 551611667060737843887256730093983713717*c_1100_1^10 - 327588932596637897519328343019994121685225527571376617/616297322810\ 551611667060737843887256730093983713717*c_1100_1^9 - 385647153230860678342143722499581257948866230082499264/616297322810\ 551611667060737843887256730093983713717*c_1100_1^8 - 31604859717254227252129686895677581238967265512320969/8804247468722\ 1658809580105406269608104299140530531*c_1100_1^7 - 145005064372498661866518031705031280642104663555663728/616297322810\ 551611667060737843887256730093983713717*c_1100_1^6 + 40177679968084110492962692973718011344699208545835259/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^5 + 11931705273252902830937336494679493165150923765013185/8804247468722\ 1658809580105406269608104299140530531*c_1100_1^4 + 95567891468975072229670062621788434956740197948532033/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^3 + 55118307406402165926285307016541196253892970519666753/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^2 + 1716631375630538183853786093746861343180875150105566/88042474687221\ 658809580105406269608104299140530531*c_1100_1 - 618478908457225609705223258148386979673694669371346/880424746872216\ 58809580105406269608104299140530531, c_0101_1 - 1581702662548677996368933250486942444386853025079/6162973228\ 10551611667060737843887256730093983713717*c_1100_1^21 - 704960583259717062745381437833275701602636557398/616297322810551611\ 667060737843887256730093983713717*c_1100_1^20 - 31586829089174112702871705276511839743669161369085/6162973228105516\ 11667060737843887256730093983713717*c_1100_1^19 - 91440090851394436263734149230276904694958626431201/6162973228105516\ 11667060737843887256730093983713717*c_1100_1^18 + 167210606849475359363044293912403644574033073776918/616297322810551\ 611667060737843887256730093983713717*c_1100_1^17 + 737011477283219049164742626020297068473546029738907/616297322810551\ 611667060737843887256730093983713717*c_1100_1^16 + 3410834499368960782319444120360547623185686943368502/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^15 + 6473719336378220812153899458718352056571580831045939/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^14 + 11650567219981962718273007752644729514779070856345173/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^13 + 16738810165931428570543035943836358129066693483410906/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^12 + 21469534207353245253627155072318860455245575469105038/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^11 + 4444668422858074119557746301231150848385679462102714/88042474687221\ 658809580105406269608104299140530531*c_1100_1^10 + 33924564928624793126012302713162399487011415619030529/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^9 + 38515881503490153411927951963289061975682621044096685/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^8 + 24805769852954008144216444537206907828558558880191864/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^7 + 14064872215160544204567941817266282302491767823553324/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^6 - 1899448571631222131119917509358387383467004431393495/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^5 - 8712260432813107356632246302875063408892958998055820/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^4 - 8618337552371444042394092503472810398168470487115322/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^3 - 5794223599542451477746502742621728711013123022521283/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^2 - 137555433885009679975142421768884699003828178010678/880424746872216\ 58809580105406269608104299140530531*c_1100_1 + 90994043363598779440717395501254205193480657074909/8804247468722165\ 8809580105406269608104299140530531, c_0101_10 + 17859783650707631558290640322996500140181867635723/61629732\ 2810551611667060737843887256730093983713717*c_1100_1^21 + 2613970093949290880368858689544690405035439424509/61629732281055161\ 1667060737843887256730093983713717*c_1100_1^20 + 358444895615650079538092501709132936602740143227809/616297322810551\ 611667060737843887256730093983713717*c_1100_1^19 + 927577542268481554134907059206169013812242648123943/616297322810551\ 611667060737843887256730093983713717*c_1100_1^18 - 2115527957938269105380115297989587670044497506866306/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^17 - 7518331779687138271572491684890275409381580122082260/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^16 - 36492479213934551864346114622754779584219745514342407/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^15 - 63628095043480108475867301633979741613495949253408810/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^14 - 16928601795167143354739034775585784290089955598028230/8804247468722\ 1658809580105406269608104299140530531*c_1100_1^13 - 165614325762182924518133551129007975320310803571207071/616297322810\ 551611667060737843887256730093983713717*c_1100_1^12 - 212819717373663812947010473054535319621428065400881342/616297322810\ 551611667060737843887256730093983713717*c_1100_1^11 - 314576786160621204578760040205410620714615765833624345/616297322810\ 551611667060737843887256730093983713717*c_1100_1^10 - 323127224004673332762850987116160628940406035688184034/616297322810\ 551611667060737843887256730093983713717*c_1100_1^9 - 54964861272444146449848535218201562753310818112087281/8804247468722\ 1658809580105406269608104299140530531*c_1100_1^8 - 219243157432344795257077146983821453672669976181491057/616297322810\ 551611667060737843887256730093983713717*c_1100_1^7 - 148150445960526821271317683594617561415836125135806326/616297322810\ 551611667060737843887256730093983713717*c_1100_1^6 + 41003767818703935054733500757331995426457710550800544/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^5 + 81861129515275077910092338481135638069742300508722712/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^4 + 13732336500518472432432007572662177650852335865126948/8804247468722\ 1658809580105406269608104299140530531*c_1100_1^3 + 56126556184378516199516698103661217916981640018472972/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^2 + 1818792970758783949609729098148094119262928874068809/88042474687221\ 658809580105406269608104299140530531*c_1100_1 - 590836840838070247849269004797284703849429607099348/880424746872216\ 58809580105406269608104299140530531, c_0101_6 + 23045906872088560591251663512714624373253730467684/616297322\ 810551611667060737843887256730093983713717*c_1100_1^21 + 3739726260507046329298707912946646465998159813768/61629732281055161\ 1667060737843887256730093983713717*c_1100_1^20 + 461829742364527873970983006582220591010276435324809/616297322810551\ 611667060737843887256730093983713717*c_1100_1^19 + 1204113805418980717316068129094576430537064175568442/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^18 - 2725287934236768734936344775378844501031186344919643/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^17 - 9785620486545850474307829618014995122314434892313349/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^16 - 47144969741906469256581514334939734089513844591065093/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^15 - 82501765131690626482622066604523487113033621189639626/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^14 - 152750285854767370095906574455227511793296872505285427/616297322810\ 551611667060737843887256730093983713717*c_1100_1^13 - 213561905032745920915157809929683111595258016911262675/616297322810\ 551611667060737843887256730093983713717*c_1100_1^12 - 273894521798209934687407335388351541286578835026807659/616297322810\ 551611667060737843887256730093983713717*c_1100_1^11 - 404405139140549400515417776808933393082191822101130511/616297322810\ 551611667060737843887256730093983713717*c_1100_1^10 - 416433665808059056101249680205340722594655058841562579/616297322810\ 551611667060737843887256730093983713717*c_1100_1^9 - 492479103756160003223861470343982829077589137456470388/616297322810\ 551611667060737843887256730093983713717*c_1100_1^8 - 279949431719539327840656610631122036779368918992308614/616297322810\ 551611667060737843887256730093983713717*c_1100_1^7 - 184902164127704495097863979177313045062574297796248191/616297322810\ 551611667060737843887256730093983713717*c_1100_1^6 + 55122093677597855037428566040925880818795065046398282/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^5 + 107441834212070504407089498758734420492940719929555157/616297322810\ 551611667060737843887256730093983713717*c_1100_1^4 + 123496042146452602896101959753029532896990497797499243/616297322810\ 551611667060737843887256730093983713717*c_1100_1^3 + 70256677397671848588048812158218574136718455172730034/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^2 + 2227146504750889726556818396543821475927760030158973/88042474687221\ 658809580105406269608104299140530531*c_1100_1 - 873829009770967883664359007226318986405964132522815/880424746872216\ 58809580105406269608104299140530531, c_0110_4 + 14502705414857583125292753179056550247325389348900/616297322\ 810551611667060737843887256730093983713717*c_1100_1^21 + 2640716070702545322507615749306605613299272705948/61629732281055161\ 1667060737843887256730093983713717*c_1100_1^20 + 290464396365948616467384961286809958880913735814211/616297322810551\ 611667060737843887256730093983713717*c_1100_1^19 + 763612958419882335287847789213772621512932301384088/616297322810551\ 611667060737843887256730093983713717*c_1100_1^18 - 1704206153628074609737001445036718992704048554114834/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^17 - 6200044270467652868959883802247081925056355308815958/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^16 - 29758272244457844543059403023831886871586980200929111/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^15 - 52433566308855059764483466914845097191129089612256534/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^14 - 96782674657577365424406461466060058454864481860512619/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^13 - 135848024852223692475616586428986683614676346555639158/616297322810\ 551611667060737843887256730093983713717*c_1100_1^12 - 174115239180487324659860425114671083300208421039544480/616297322810\ 551611667060737843887256730093983713717*c_1100_1^11 - 256911675767770313706337077261769180109772574390376477/616297322810\ 551611667060737843887256730093983713717*c_1100_1^10 - 265804745786106114447397209870768314508111627186980479/616297322810\ 551611667060737843887256730093983713717*c_1100_1^9 - 313036712153300176824388483724373896460307776728196578/616297322810\ 551611667060737843887256730093983713717*c_1100_1^8 - 180915913136668442938654786769118355059412653354264425/616297322810\ 551611667060737843887256730093983713717*c_1100_1^7 - 117824977811825652284760772282259998221488923711789608/616297322810\ 551611667060737843887256730093983713717*c_1100_1^6 + 31874183900401759997543980377932452571302909928510185/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^5 + 68657816423442379160026221518446895246812189956658501/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^4 + 77399685717149034540428255811613093887530440867151377/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^3 + 45268669809013846553750124161999299808504614921184646/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^2 + 1333674785852075793848798379719571766311503951570048/88042474687221\ 658809580105406269608104299140530531*c_1100_1 - 530154278151786867658982178428826017587695137820742/880424746872216\ 58809580105406269608104299140530531, c_1001_2 + 21962193056816429579938864694184065133713679797817/616297322\ 810551611667060737843887256730093983713717*c_1100_1^21 + 3527903273836499583231520819861443694684086081057/61629732281055161\ 1667060737843887256730093983713717*c_1100_1^20 + 440229359966940952177128085924073678563025845626630/616297322810551\ 611667060737843887256730093983713717*c_1100_1^19 + 1146746213531751047075737632984739632949708522667565/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^18 - 2596741216492414918108446070150695037193520791746804/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^17 - 9315442623510411834467503267383054881155158457310307/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^16 - 44933174264597472573133640895007261684689568785810774/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^15 - 78599342139885453820371102061178024190128182467454056/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^14 - 145636867574533045499083886496934848057755840882676128/616297322810\ 551611667060737843887256730093983713717*c_1100_1^13 - 203593470619101953911158488854020656690061265911248640/616297322810\ 551611667060737843887256730093983713717*c_1100_1^12 - 261084420502757635424348472307527086998788743962891760/616297322810\ 551611667060737843887256730093983713717*c_1100_1^11 - 385674994149272369993134641107857153589845071612068545/616297322810\ 551611667060737843887256730093983713717*c_1100_1^10 - 396823030970588317382626620001865589262496116610735259/616297322810\ 551611667060737843887256730093983713717*c_1100_1^9 - 469897686086422504197713068163745076039087213155261610/616297322810\ 551611667060737843887256730093983713717*c_1100_1^8 - 266994461521378590128208969725553128869186304129957754/616297322810\ 551611667060737843887256730093983713717*c_1100_1^7 - 176293886949411620424436087494220148126817116966658044/616297322810\ 551611667060737843887256730093983713717*c_1100_1^6 + 52341386761186446545434070410890268529651496414688468/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^5 + 103014642382783325043731745854184405941446021960652135/616297322810\ 551611667060737843887256730093983713717*c_1100_1^4 + 117454961423006976118436015907268594437705924392191091/616297322810\ 551611667060737843887256730093983713717*c_1100_1^3 + 67443316952006166757930765751965041151279665517226223/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^2 + 2063939601414523936101548614791558100674897966460131/88042474687221\ 658809580105406269608104299140530531*c_1100_1 - 796782035379256580210754870217916798300399765540940/880424746872216\ 58809580105406269608104299140530531, c_1001_6 + 13273731007230586468135898464043743324948110546506/616297322\ 810551611667060737843887256730093983713717*c_1100_1^21 + 2218732889155359891098904310560514651711908367827/61629732281055161\ 1667060737843887256730093983713717*c_1100_1^20 + 266074538159090871263689408041148780245400931433335/616297322810551\ 611667060737843887256730093983713717*c_1100_1^19 + 694818332841812679707327701624249535903211400928038/616297322810551\ 611667060737843887256730093983713717*c_1100_1^18 - 1565204585684117879060039339641922326449849311105043/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^17 - 5640787186007116078884124268756420238058921820296003/61629732281055\ 1611667060737843887256730093983713717*c_1100_1^16 - 27194135212951374068701394810777392852315032164997909/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^15 - 47681868817509368153822148247450227443036800585644418/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^14 - 12614202499473350928253085775549495479753202662038326/8804247468722\ 1658809580105406269608104299140530531*c_1100_1^13 - 123564979729245872431385673079932455410856308787105405/616297322810\ 551611667060737843887256730093983713717*c_1100_1^12 - 158407015361683749429482533058021279770534267898314740/616297322810\ 551611667060737843887256730093983713717*c_1100_1^11 - 233832895065119980582781048482544554496507595201487002/616297322810\ 551611667060737843887256730093983713717*c_1100_1^10 - 240950040406681887855215750579492293052284883733086255/616297322810\ 551611667060737843887256730093983713717*c_1100_1^9 - 40708841847593879747230688580408635677490008450862390/8804247468722\ 1658809580105406269608104299140530531*c_1100_1^8 - 162617673707743765460527025213100835445217377235781502/616297322810\ 551611667060737843887256730093983713717*c_1100_1^7 - 106730946281764733992345239265004679730412476460124038/616297322810\ 551611667060737843887256730093983713717*c_1100_1^6 + 31755437570128210937808719527584276894372163026268934/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^5 + 62934105191906175778837585694020381153037471635300487/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^4 + 10211312044650586966953637517661091946998301167548140/8804247468722\ 1658809580105406269608104299140530531*c_1100_1^3 + 41004930077555276546725794743283339114014187649589590/6162973228105\ 51611667060737843887256730093983713717*c_1100_1^2 + 1247202747233114167394014792805336848484432975151191/88042474687221\ 658809580105406269608104299140530531*c_1100_1 - 517801549901337549960747133646932316984504671439006/880424746872216\ 58809580105406269608104299140530531, c_1100_1^22 + 20*c_1100_1^20 + 49*c_1100_1^19 - 127*c_1100_1^18 - 406*c_1100_1^17 - 1975*c_1100_1^16 - 3243*c_1100_1^15 - 6022*c_1100_1^14 - 8155*c_1100_1^13 - 10309*c_1100_1^12 - 15532*c_1100_1^11 - 15107*c_1100_1^10 - 18264*c_1100_1^9 - 8529*c_1100_1^8 - 5845*c_1100_1^7 + 3736*c_1100_1^6 + 4341*c_1100_1^5 + 4516*c_1100_1^4 + 2135*c_1100_1^3 + 112*c_1100_1^2 - 392*c_1100_1 + 49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.930 Total time: 1.129 seconds, Total memory usage: 32.09MB