Magma V2.19-8 Tue Aug 20 2013 23:41:14 on localhost [Seed = 121725835] Type ? for help. Type -D to quit. Loading file "K12n46__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n46 geometric_solution 10.61379286 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 0 0 0 0 0 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 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.881912072299 1.161131195384 0 5 5 6 0132 0132 1302 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 -1 0 1 0 0 0 0 0 0 0 0 -1 3 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.130143586473 1.075094104885 7 0 9 8 0132 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 -1 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 1.090454500304 0.677161143736 3 3 6 0 1230 3012 3201 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 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.285023306103 0.816977451265 7 10 0 6 1302 0132 0132 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.607553443629 0.585459541200 1 1 9 11 2031 0132 1023 0132 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 -1 0 0 0 0 0 2 -3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.889028389186 0.916717664151 3 4 1 9 2310 2310 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.169412997351 0.924025307020 2 4 10 11 0132 2031 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.964838792498 0.610931827054 11 9 2 10 1302 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 -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.764562292519 1.336210074597 8 6 5 2 1230 0321 1023 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 0 0 1 -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.545585679472 0.468972713647 11 4 8 7 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.126747807761 0.550555522778 10 8 5 7 0321 2031 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.263812576078 0.811955740162 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : negation(d['c_0101_9']), 'c_1001_5' : d['c_0101_9'], 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_7' : negation(d['c_0110_4']), 'c_1001_6' : d['c_0101_9'], 'c_1001_1' : negation(d['c_0101_10']), 'c_1001_0' : negation(d['c_0011_9']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0110_4']), 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : negation(d['c_0011_9']), 'c_1010_11' : d['c_0011_8'], 'c_1010_10' : negation(d['c_0110_4']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0101_10']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : negation(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_1100_8' : d['c_1100_10'], 'c_1100_5' : negation(d['c_1100_10']), 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : d['c_1100_10'], 'c_1100_6' : d['c_0101_5'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_1100_10'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1100_10']), 'c_1100_10' : d['c_1100_10'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : negation(d['c_0110_4']), 'c_1010_5' : negation(d['c_0101_10']), 'c_1010_4' : negation(d['c_0101_9']), 'c_1010_3' : negation(d['c_0011_9']), 'c_1010_2' : negation(d['c_0011_9']), 'c_1010_1' : d['c_0101_9'], 'c_1010_0' : negation(d['c_0110_4']), 'c_1010_9' : negation(d['c_0110_4']), 'c_1010_8' : negation(d['c_0101_9']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0011_9'], 'c_0101_2' : d['c_0011_8'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0011_3'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_8'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0011_3'], 'c_1100_9' : d['c_1100_10'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : negation(d['c_0101_10']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0011_8'], 'c_0110_6' : negation(d['c_0011_9'])})} 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_0011_6, c_0011_8, c_0011_9, c_0101_10, c_0101_5, c_0101_9, c_0110_4, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 11447135620867780695070746315744853577375673658310502855161203/2011\ 5896779287287853956695890676926914102343395847829832864*c_1100_10^2\ 7 - 2843115422876533041456851176431622954085036445216441802548087/2\ 0115896779287287853956695890676926914102343395847829832864*c_1100_1\ 0^26 + 232385666915271736676516710123401736597964169867170436525402\ 89/10057948389643643926978347945338463457051171697923914916432*c_11\ 00_10^25 - 22938248458471530008990837046128357498863684177243635740\ 603193/10057948389643643926978347945338463457051171697923914916432*\ c_1100_10^24 - 1345355329337457197897723967127881319369955820608359\ 25293068713/5028974194821821963489173972669231728525585848961957458\ 216*c_1100_10^23 + 155136243622100960072444079973247716804520254398\ 75914264966887/1257243548705455490872293493167307932131396462240489\ 364554*c_1100_10^22 + 122467998178587318302507980258177820847125514\ 378408185305409847/182871788902611707763242689915244790128203121780\ 4348166624*c_1100_10^21 + 12216652658142594974305018602673464337918\ 89555848200543972970159/2011589677928728785395669589067692691410234\ 3395847829832864*c_1100_10^20 + 74443719595464692145594388704953959\ 55075184852565107018713814401/2011589677928728785395669589067692691\ 4102343395847829832864*c_1100_10^19 - 1270133300436019599513614572823606830764730480755914885246467671/25\ 14487097410910981744586986334615864262792924480978729108*c_1100_10^\ 18 - 54402536022251275682726804722358216440244316125662375983918257\ 139/20115896779287287853956695890676926914102343395847829832864*c_1\ 100_10^17 + 6154210417269263584883612176135429580482904947855080682\ 40619641/529365704718086522472544628702024392476377457785469206128*\ c_1100_10^16 + 4397394276233958027340664289354461241600973393811237\ 454676269601/543672885926683455512343132180457484164928199887779184\ 672*c_1100_10^15 + 162688619779087967576386551970977844731995871265\ 42512719197411257/2011589677928728785395669589067692691410234339584\ 7829832864*c_1100_10^14 - 12387853088493569707311801539113900774199\ 3520432009618198145019973/10057948389643643926978347945338463457051\ 171697923914916432*c_1100_10^13 - 123266104905262027425998173495013\ 846400931679034489512922567904291/201158967792872878539566958906769\ 26914102343395847829832864*c_1100_10^12 + 45925781377233936199060226182987246763621456249247387440808845073/5\ 028974194821821963489173972669231728525585848961957458216*c_1100_10\ ^11 + 1052917415073261236060952070827443511727637490511480179879769\ 8487/1257243548705455490872293493167307932131396462240489364554*c_1\ 100_10^10 - 3215043027212048573211331318896727646680959541351584920\ 255755727/125724354870545549087229349316730793213139646224048936455\ 4*c_1100_10^9 - 618079833284483578486045992512593573648669164591417\ 47630709722391/1005794838964364392697834794533846345705117169792391\ 4916432*c_1100_10^8 - 281159218648958503032570628177261995544656166\ 557452999010117613/132341426179521630618136157175506098119094364446\ 367301532*c_1100_10^7 + 1461839436153936851887585698178657962274099\ 648268285794809974413/914358944513058538816213449576223950641015608\ 902174083312*c_1100_10^6 + 4800690123578499966163101726612110519371\ 0175266722918469920014509/20115896779287287853956695890676926914102\ 343395847829832864*c_1100_10^5 + 2930078104393401325816503794385802\ 981223784354322790224560945525/182871788902611707763242689915244790\ 1282031217804348166624*c_1100_10^4 + 7001989795741841138218873504601276441788776726808499551645133081/10\ 057948389643643926978347945338463457051171697923914916432*c_1100_10\ ^3 + 39258994105724940437484427587431604870627027519207169397333246\ 43/20115896779287287853956695890676926914102343395847829832864*c_11\ 00_10^2 + 636337209502169226549664774520965459473798161670990292581\ 188981/20115896779287287853956695890676926914102343395847829832864*\ c_1100_10 + 1402078967814817440010528699700597361174008949361686288\ 602070/628621774352727745436146746583653966065698231120244682277, c_0011_0 - 1, c_0011_10 + 162030548975881780462369168480797258692959864/3148253037506\ 877290188943258424565324958923*c_1100_10^27 - 32010689777468865259435908761167232293158355/3148253037506877290188\ 943258424565324958923*c_1100_10^26 + 652509014611379932459315154435133819339214292/314825303750687729018\ 8943258424565324958923*c_1100_10^25 - 614087514178714869275449337291855433429073422/314825303750687729018\ 8943258424565324958923*c_1100_10^24 - 7664185001663538529524386416790837115004253681/31482530375068772901\ 88943258424565324958923*c_1100_10^23 + 3143994066663077712551023005981269231119978888/31482530375068772901\ 88943258424565324958923*c_1100_10^22 + 19397675310561155180078908749406695675668610590/3148253037506877290\ 188943258424565324958923*c_1100_10^21 + 18141985545556042762764046902082507961925597707/3148253037506877290\ 188943258424565324958923*c_1100_10^20 + 105894819806175708050374217708301000811222381861/314825303750687729\ 0188943258424565324958923*c_1100_10^19 - 138712770081825725920668744409443073888291685336/314825303750687729\ 0188943258424565324958923*c_1100_10^18 - 779431559757386703452555706204968256382578400754/314825303750687729\ 0188943258424565324958923*c_1100_10^17 + 295487270628037021780791790449411885540509483520/314825303750687729\ 0188943258424565324958923*c_1100_10^16 + 2334521478292278564740380535641406492663852623196/31482530375068772\ 90188943258424565324958923*c_1100_10^15 + 335873871109400508702745783047416477746175190126/314825303750687729\ 0188943258424565324958923*c_1100_10^14 - 3539121491333994956267526104945621568061920997774/31482530375068772\ 90188943258424565324958923*c_1100_10^13 - 1913759764948373095216626294219518695786187528762/31482530375068772\ 90188943258424565324958923*c_1100_10^12 + 2581497387879221248327310818699881392718147713245/31482530375068772\ 90188943258424565324958923*c_1100_10^11 + 2530391952594619712026213553324395004635128924168/31482530375068772\ 90188943258424565324958923*c_1100_10^10 - 666074883953622820717945443388957211106277682369/314825303750687729\ 0188943258424565324958923*c_1100_10^9 - 1817323304138658922751392228192384932053955403390/31482530375068772\ 90188943258424565324958923*c_1100_10^8 - 667920737109853167855284604984797649592368232348/314825303750687729\ 0188943258424565324958923*c_1100_10^7 + 452811185612948337983574936419999566514066944164/314825303750687729\ 0188943258424565324958923*c_1100_10^6 + 705468022618558495809251025153717324102323521545/314825303750687729\ 0188943258424565324958923*c_1100_10^5 + 479948949307653645029260386787438639360051923535/314825303750687729\ 0188943258424565324958923*c_1100_10^4 + 210900900966623005978532856082920332446237612741/314825303750687729\ 0188943258424565324958923*c_1100_10^3 + 59846433913368405330280828377024384200154871009/3148253037506877290\ 188943258424565324958923*c_1100_10^2 + 9788405027502549394760959734086430162503141759/31482530375068772901\ 88943258424565324958923*c_1100_10 + 691165928262392769304998814594695104626696242/314825303750687729018\ 8943258424565324958923, c_0011_11 + 105251262966681033486584302253060026936270012/3148253037506\ 877290188943258424565324958923*c_1100_10^27 - 21343166249664366541499756115131390732830880/3148253037506877290188\ 943258424565324958923*c_1100_10^26 + 424208951095538479041868362649692469515430302/314825303750687729018\ 8943258424565324958923*c_1100_10^25 - 401254691208763118997046209707237318599337393/314825303750687729018\ 8943258424565324958923*c_1100_10^24 - 4975346537729843357226228514069469208419327961/31482530375068772901\ 88943258424565324958923*c_1100_10^23 + 2066922641774839753536865781483601326565405477/31482530375068772901\ 88943258424565324958923*c_1100_10^22 + 12578527274766998824905081565927977934018878724/3148253037506877290\ 188943258424565324958923*c_1100_10^21 + 11727806021083920434962598239192336546266085733/3148253037506877290\ 188943258424565324958923*c_1100_10^20 + 68751251804038485646014767200270493740660528925/3148253037506877290\ 188943258424565324958923*c_1100_10^19 - 90446024190177385558733226236028483523805369763/3148253037506877290\ 188943258424565324958923*c_1100_10^18 - 505677081333110425640596366897032879536534898630/314825303750687729\ 0188943258424565324958923*c_1100_10^17 + 194316101162886652321187790320178228146953286812/314825303750687729\ 0188943258424565324958923*c_1100_10^16 + 1514371490973314655489344169214851912303659735535/31482530375068772\ 90188943258424565324958923*c_1100_10^15 + 211113613557046922856917818140613561807764148845/314825303750687729\ 0188943258424565324958923*c_1100_10^14 - 2296846579535227481262309715605821173130184935963/31482530375068772\ 90188943258424565324958923*c_1100_10^13 - 1231832096126132365301953335441787730592469737282/31482530375068772\ 90188943258424565324958923*c_1100_10^12 + 1678201515558470828489460413494144218157599543569/31482530375068772\ 90188943258424565324958923*c_1100_10^11 + 1633946854062979446299308778228347336915672072537/31482530375068772\ 90188943258424565324958923*c_1100_10^10 - 436796572323341735550848792077292230255757831813/314825303750687729\ 0188943258424565324958923*c_1100_10^9 - 1176004780460234216819503697662035286647688041755/31482530375068772\ 90188943258424565324958923*c_1100_10^8 - 429743807308926559209806911315499138353393842049/314825303750687729\ 0188943258424565324958923*c_1100_10^7 + 294336325543956968133898235092693631004953065781/314825303750687729\ 0188943258424565324958923*c_1100_10^6 + 456602244744682010902225129631854184119134044520/314825303750687729\ 0188943258424565324958923*c_1100_10^5 + 310166058946935870055806329973843809630896836305/314825303750687729\ 0188943258424565324958923*c_1100_10^4 + 136114818591437007774729833774759559015149230225/314825303750687729\ 0188943258424565324958923*c_1100_10^3 + 38571640090818336915049404481666783784272106936/3148253037506877290\ 188943258424565324958923*c_1100_10^2 + 6297814062003926728812999896861276091334636957/31482530375068772901\ 88943258424565324958923*c_1100_10 + 443354415526462816332453102411785272846257163/314825303750687729018\ 8943258424565324958923, c_0011_3 - 210355065207225177964479944526419546388861586/31482530375068\ 77290188943258424565324958923*c_1100_10^27 + 53859489676354068519487159343446731087804487/3148253037506877290188\ 943258424565324958923*c_1100_10^26 - 855352666837219765606703793687224078654079388/314825303750687729018\ 8943258424565324958923*c_1100_10^25 + 850131036710427828166432035065185699395640422/314825303750687729018\ 8943258424565324958923*c_1100_10^24 + 9878762517373839382607583309434142974079769721/31482530375068772901\ 88943258424565324958923*c_1100_10^23 - 4632180933207805712441142434212132223043178032/31482530375068772901\ 88943258424565324958923*c_1100_10^22 - 24681258665257577228496188309362456781165932378/3148253037506877290\ 188943258424565324958923*c_1100_10^21 - 22292727840420131602774116207778614992559753482/3148253037506877290\ 188943258424565324958923*c_1100_10^20 - 136717913691902190022873579703115294543485950486/314825303750687729\ 0188943258424565324958923*c_1100_10^19 + 187708220436761599433194947269441460519139300156/314825303750687729\ 0188943258424565324958923*c_1100_10^18 + 997735043480767459767898663699744608659618266913/314825303750687729\ 0188943258424565324958923*c_1100_10^17 - 436434236075524435749776476970112322859605426401/314825303750687729\ 0188943258424565324958923*c_1100_10^16 - 2982783205670751481595273036912784417998221748895/31482530375068772\ 90188943258424565324958923*c_1100_10^15 - 279155972897956435879426898465044866787471656532/314825303750687729\ 0188943258424565324958923*c_1100_10^14 + 4543805798432622410172526710720531703727122785730/31482530375068772\ 90188943258424565324958923*c_1100_10^13 + 2232916686965992128103038298301036697304252111669/31482530375068772\ 90188943258424565324958923*c_1100_10^12 - 3375021389614355601142706019711770445410614480304/31482530375068772\ 90188943258424565324958923*c_1100_10^11 - 3066628354643673854813766441726364380182443564930/31482530375068772\ 90188943258424565324958923*c_1100_10^10 + 953522008911614961745667820458997767242836093030/314825303750687729\ 0188943258424565324958923*c_1100_10^9 + 2256590849178589541431878411972225530546528677828/31482530375068772\ 90188943258424565324958923*c_1100_10^8 + 774884519039892181216127518179981120933911949502/314825303750687729\ 0188943258424565324958923*c_1100_10^7 - 589725102380176681885873413116493076102304691976/314825303750687729\ 0188943258424565324958923*c_1100_10^6 - 877092877939260946372198229084195717430148530874/314825303750687729\ 0188943258424565324958923*c_1100_10^5 - 588344327320360253163066689213236287852560718936/314825303750687729\ 0188943258424565324958923*c_1100_10^4 - 255493667926347038453456954275884549653822136184/314825303750687729\ 0188943258424565324958923*c_1100_10^3 - 71634295844896957642667007390562205697244280065/3148253037506877290\ 188943258424565324958923*c_1100_10^2 - 11641287136062384561608770280752214762624864835/3148253037506877290\ 188943258424565324958923*c_1100_10 - 825711944633937582274277991440784549283183269/314825303750687729018\ 8943258424565324958923, c_0011_6 + 242893730222808653123768712118044171973337288/31482530375068\ 77290188943258424565324958923*c_1100_10^27 - 39268939247848349866785989866479887422328991/3148253037506877290188\ 943258424565324958923*c_1100_10^26 + 973009811612807629125190729932788842510396535/314825303750687729018\ 8943258424565324958923*c_1100_10^25 - 883363510379599510646282015947016392349667084/314825303750687729018\ 8943258424565324958923*c_1100_10^24 - 11536701754700703419586661368351185341506070152/3148253037506877290\ 188943258424565324958923*c_1100_10^23 + 4319614022109254018974003529351764608964761637/31482530375068772901\ 88943258424565324958923*c_1100_10^22 + 29401631768444182114396653297970768060622003911/3148253037506877290\ 188943258424565324958923*c_1100_10^21 + 28109028720192321609324340073469445478844926407/3148253037506877290\ 188943258424565324958923*c_1100_10^20 + 159361506586859801304442955495810827030853037549/314825303750687729\ 0188943258424565324958923*c_1100_10^19 - 202473084411809672850592800875923554612648354380/314825303750687729\ 0188943258424565324958923*c_1100_10^18 - 1178015229445310662397133155491783927547447202607/31482530375068772\ 90188943258424565324958923*c_1100_10^17 + 404829146190614911537557744298264894347982627122/314825303750687729\ 0188943258424565324958923*c_1100_10^16 + 3530393142165345532299409300232915177610866135173/31482530375068772\ 90188943258424565324958923*c_1100_10^15 + 616614382178931611420636110802184125329922610617/314825303750687729\ 0188943258424565324958923*c_1100_10^14 - 5331548079341890468476781827141513271043454598056/31482530375068772\ 90188943258424565324958923*c_1100_10^13 - 3047675104894065292446917243548154833171855074354/31482530375068772\ 90188943258424565324958923*c_1100_10^12 + 3837116883470562546678584742687852359818619366829/31482530375068772\ 90188943258424565324958923*c_1100_10^11 + 3942731388363978872614082287954691925016097463902/31482530375068772\ 90188943258424565324958923*c_1100_10^10 - 921737521802550794308839068229185638899143616948/314825303750687729\ 0188943258424565324958923*c_1100_10^9 - 2788231726820092463674561170200257024845143142742/31482530375068772\ 90188943258424565324958923*c_1100_10^8 - 1072859109886586061836203435688575273866390612039/31482530375068772\ 90188943258424565324958923*c_1100_10^7 + 669972397060527884561298549998921539909507199225/314825303750687729\ 0188943258424565324958923*c_1100_10^6 + 1084456855236995613463951454866171304942505924382/31482530375068772\ 90188943258424565324958923*c_1100_10^5 + 746896980579470247770896145700166246776971874693/314825303750687729\ 0188943258424565324958923*c_1100_10^4 + 331570579408503018082159775659808628701717415227/314825303750687729\ 0188943258424565324958923*c_1100_10^3 + 95276482237732055218130857158928677829473127065/3148253037506877290\ 188943258424565324958923*c_1100_10^2 + 15843369687100746499591711664174855446836267175/3148253037506877290\ 188943258424565324958923*c_1100_10 + 1143946415006262589745366710508370220723711780/31482530375068772901\ 88943258424565324958923, c_0011_8 - 88207567333263673149126450668791899199444243/314825303750687\ 7290188943258424565324958923*c_1100_10^27 + 10825656542261051437995482770952599271034189/3148253037506877290188\ 943258424565324958923*c_1100_10^26 - 351682816278593517943587280423111509592091390/314825303750687729018\ 8943258424565324958923*c_1100_10^25 + 306557062213916218360392316803412735512202440/314825303750687729018\ 8943258424565324958923*c_1100_10^24 + 4206672003441411725854126417532950837278879714/31482530375068772901\ 88943258424565324958923*c_1100_10^23 - 1410841841859468311242701838340907337246478131/31482530375068772901\ 88943258424565324958923*c_1100_10^22 - 10789761824139620396088691483657649431067815018/3148253037506877290\ 188943258424565324958923*c_1100_10^21 - 10590258109656321800618050544579876861573858824/3148253037506877290\ 188943258424565324958923*c_1100_10^20 - 58144258813247672255376184366299804249372507085/3148253037506877290\ 188943258424565324958923*c_1100_10^19 + 71371258980388583877949051967706661527593081574/3148253037506877290\ 188943258424565324958923*c_1100_10^18 + 431366073327056420212544354112406822692314185699/314825303750687729\ 0188943258424565324958923*c_1100_10^17 - 131473163479430396428518300956714686482129693227/314825303750687729\ 0188943258424565324958923*c_1100_10^16 - 1292894186696209518437313838755612099330885547648/31482530375068772\ 90188943258424565324958923*c_1100_10^15 - 270650148475114717313891307745023753279250952284/314825303750687729\ 0188943258424565324958923*c_1100_10^14 + 1942792814521039353164436375732239210712913237014/31482530375068772\ 90188943258424565324958923*c_1100_10^13 + 1180976658756863457851339389026649518474554342102/31482530375068772\ 90188943258424565324958923*c_1100_10^12 - 1374591210973106721152700379301554863439383492544/31482530375068772\ 90188943258424565324958923*c_1100_10^11 - 1493771120187503277196860518565299129094529875717/31482530375068772\ 90188943258424565324958923*c_1100_10^10 + 298823419822954862163860156987789695945508100540/314825303750687729\ 0188943258424565324958923*c_1100_10^9 + 1038657295480586870108856538061039153617189602065/31482530375068772\ 90188943258424565324958923*c_1100_10^8 + 421157534740057754031454889321143050703631415564/314825303750687729\ 0188943258424565324958923*c_1100_10^7 - 239082674439155404273859542583733319983810917559/314825303750687729\ 0188943258424565324958923*c_1100_10^6 - 405239120753684225701121572026067437445382199782/314825303750687729\ 0188943258424565324958923*c_1100_10^5 - 282817730900667694371339775732077236111123532551/314825303750687729\ 0188943258424565324958923*c_1100_10^4 - 126969691015393442857502178856794495572260274064/314825303750687729\ 0188943258424565324958923*c_1100_10^3 - 36979682667873993052913605329318334865928367971/3148253037506877290\ 188943258424565324958923*c_1100_10^2 - 6240559525500272969603852743558357848697603824/31482530375068772901\ 88943258424565324958923*c_1100_10 - 456582805233344545716540421081294689998309380/314825303750687729018\ 8943258424565324958923, c_0011_9 + 229665340515926923739681393448534754821285071/31482530375068\ 77290188943258424565324958923*c_1100_10^27 - 56312634881265710204243841450748015159154760/3148253037506877290188\ 943258424565324958923*c_1100_10^26 + 930613762492684026692345728598929965363984358/314825303750687729018\ 8943258424565324958923*c_1100_10^25 - 916204476075899283592301142165069100816849345/314825303750687729018\ 8943258424565324958923*c_1100_10^24 - 10807041419775533508513816179310908735120428783/3148253037506877290\ 188943258424565324958923*c_1100_10^23 + 4956004659328868356505232439193188808584687714/31482530375068772901\ 88943258424565324958923*c_1100_10^22 + 27118459034582357957859749158478415761600653874/3148253037506877290\ 188943258424565324958923*c_1100_10^21 + 24521202269429027984272074652145836243214761189/3148253037506877290\ 188943258424565324958923*c_1100_10^20 + 149268338843873271877071293061940491934221459731/314825303750687729\ 0188943258424565324958923*c_1100_10^19 - 203476266475404350708383990355830407251546466678/314825303750687729\ 0188943258424565324958923*c_1100_10^18 - 1093168910612905902218666832798661283471231291494/31482530375068772\ 90188943258424565324958923*c_1100_10^17 + 467750510659043747965910575708443343024286381216/314825303750687729\ 0188943258424565324958923*c_1100_10^16 + 3272907678334831510249279003966290071970746220650/31482530375068772\ 90188943258424565324958923*c_1100_10^15 + 329577178514520623541069029016855640951577635278/314825303750687729\ 0188943258424565324958923*c_1100_10^14 - 4990643695358448290020271069436637776747817139027/31482530375068772\ 90188943258424565324958923*c_1100_10^13 - 2480035759672564761713570056436673821417548279723/31482530375068772\ 90188943258424565324958923*c_1100_10^12 + 3711492373760322302416089770733065437711006135012/31482530375068772\ 90188943258424565324958923*c_1100_10^11 + 3391842794987874597900578005872963035474569320496/31482530375068772\ 90188943258424565324958923*c_1100_10^10 - 1051171803236038999151408425132592199992819413564/31482530375068772\ 90188943258424565324958923*c_1100_10^9 - 2492867193587226774075701617580931445259776133603/31482530375068772\ 90188943258424565324958923*c_1100_10^8 - 850505992650516722103411166317311626216804625907/314825303750687729\ 0188943258424565324958923*c_1100_10^7 + 653848037656941619250175460718634036319236084354/314825303750687729\ 0188943258424565324958923*c_1100_10^6 + 964529606855249274645109861381979453464980487247/314825303750687729\ 0188943258424565324958923*c_1100_10^5 + 644445815540495223688447363392734131061994367901/314825303750687729\ 0188943258424565324958923*c_1100_10^4 + 278717916007366868145172871023227898912787437097/314825303750687729\ 0188943258424565324958923*c_1100_10^3 + 77532901352215366201246445105782493237750229854/3148253037506877290\ 188943258424565324958923*c_1100_10^2 + 12372980925779197064915513260756069292901113396/3148253037506877290\ 188943258424565324958923*c_1100_10 + 848580863778737701622647821154282469349738741/314825303750687729018\ 8943258424565324958923, c_0101_10 - 36117509858639246377235753758849156369598061/31482530375068\ 77290188943258424565324958923*c_1100_10^27 + 13333216423920338317670208919095093721092560/3148253037506877290188\ 943258424565324958923*c_1100_10^26 - 149880413316409291130186641861340598806647732/314825303750687729018\ 8943258424565324958923*c_1100_10^25 + 164002194246951523241657040214383589445054544/314825303750687729018\ 8943258424565324958923*c_1100_10^24 + 1671013028557729997190321762448195582614520465/31482530375068772901\ 88943258424565324958923*c_1100_10^23 - 975286297606107943923817289932017042677955069/314825303750687729018\ 8943258424565324958923*c_1100_10^22 - 4060433830871316610101192116586879224560636247/31482530375068772901\ 88943258424565324958923*c_1100_10^21 - 3432804295008202955698398006256830840803506116/31482530375068772901\ 88943258424565324958923*c_1100_10^20 - 23234779788212668336552555441750981774104946211/3148253037506877290\ 188943258424565324958923*c_1100_10^19 + 34769033278001684358469846889482887745034299450/3148253037506877290\ 188943258424565324958923*c_1100_10^18 + 166436812167262705050830949091153713543603374900/314825303750687729\ 0188943258424565324958923*c_1100_10^17 - 91981917613037883311149751819488895837059118733/3148253037506877290\ 188943258424565324958923*c_1100_10^16 - 495365631648885700725344418962345568751437602419/314825303750687729\ 0188943258424565324958923*c_1100_10^15 + 1972636701086416174887727647676979003318534270/31482530375068772901\ 88943258424565324958923*c_1100_10^14 + 761235005714686208513022828301036643254405986977/314825303750687729\ 0188943258424565324958923*c_1100_10^13 + 304155313688819314055983339249266791814901699795/314825303750687729\ 0188943258424565324958923*c_1100_10^12 - 584152565584360947155588553256075968001993010526/314825303750687729\ 0188943258424565324958923*c_1100_10^11 - 458579577896372306734354083046820701773432803763/314825303750687729\ 0188943258424565324958923*c_1100_10^10 + 190056595157752456237295586310033022853270629763/314825303750687729\ 0188943258424565324958923*c_1100_10^9 + 356080600599056748454701910281237232826192244172/314825303750687729\ 0188943258424565324958923*c_1100_10^8 + 104572368142498044939263387852902246085480995803/314825303750687729\ 0188943258424565324958923*c_1100_10^7 - 102455499310932876798407520764150822828913693671/314825303750687729\ 0188943258424565324958923*c_1100_10^6 - 138586920648725757312629405012207594192429886817/314825303750687729\ 0188943258424565324958923*c_1100_10^5 - 89825071434178477895768219477909950162341405850/3148253037506877290\ 188943258424565324958923*c_1100_10^4 - 37877339738546832992231709408826541420584810060/3148253037506877290\ 188943258424565324958923*c_1100_10^3 - 10244104161818847494875743666068676555112987686/3148253037506877290\ 188943258424565324958923*c_1100_10^2 - 1602213614390074754787181050703473803386853009/31482530375068772901\ 88943258424565324958923*c_1100_10 - 109458064564170535999701204344916682524959173/314825303750687729018\ 8943258424565324958923, c_0101_5 + 26950429753635683717308737326286986767496379/314825303750687\ 7290188943258424565324958923*c_1100_10^27 - 10416487343590423498011344703432841806442899/3148253037506877290188\ 943258424565324958923*c_1100_10^26 + 112289182583203200201865876297737619037778659/314825303750687729018\ 8943258424565324958923*c_1100_10^25 - 124645042910248165155449522724268105392294723/314825303750687729018\ 8943258424565324958923*c_1100_10^24 - 1243339488898480362025697188153695871813004420/31482530375068772901\ 88943258424565324958923*c_1100_10^23 + 746957011326262006182283160566064717447137209/314825303750687729018\ 8943258424565324958923*c_1100_10^22 + 3006335551388460599634679220361296709565111261/31482530375068772901\ 88943258424565324958923*c_1100_10^21 + 2525410786590691151762058336560565030953357163/31482530375068772901\ 88943258424565324958923*c_1100_10^20 + 17310415977365995837023336944711074123172174344/3148253037506877290\ 188943258424565324958923*c_1100_10^19 - 26232779489424110409549924978212648209720899775/3148253037506877290\ 188943258424565324958923*c_1100_10^18 - 123572377482828717971976438080973261283278802367/314825303750687729\ 0188943258424565324958923*c_1100_10^17 + 70383153616733272351614500109617363902597291395/3148253037506877290\ 188943258424565324958923*c_1100_10^16 + 367500733471162358820862065981742667436014222065/314825303750687729\ 0188943258424565324958923*c_1100_10^15 - 6403428566208670878789732408300474130488978416/31482530375068772901\ 88943258424565324958923*c_1100_10^14 - 565449702028877769441212821590745123153855609588/314825303750687729\ 0188943258424565324958923*c_1100_10^13 - 219197275886306835416802273126783189812186469890/314825303750687729\ 0188943258424565324958923*c_1100_10^12 + 435860267963845940937913145162592737331398282541/314825303750687729\ 0188943258424565324958923*c_1100_10^11 + 335520124376617410325402417689594293711914708712/314825303750687729\ 0188943258424565324958923*c_1100_10^10 - 144295585046733863620887348630296352269694909834/314825303750687729\ 0188943258424565324958923*c_1100_10^9 - 262565528514647562977823849855175613296351788025/314825303750687729\ 0188943258424565324958923*c_1100_10^8 - 75161448718338617877703946064480529317294931882/3148253037506877290\ 188943258424565324958923*c_1100_10^7 + 76542372413507920832024246931746577892129702133/3148253037506877290\ 188943258424565324958923*c_1100_10^6 + 102174587825275337036997145707307403527525330515/314825303750687729\ 0188943258424565324958923*c_1100_10^5 + 65875767470142645618916408541625496719939814561/3148253037506877290\ 188943258424565324958923*c_1100_10^4 + 27649713362429519852946343319753575938050336093/3148253037506877290\ 188943258424565324958923*c_1100_10^3 + 7432645865645331906162994408906525499506538774/31482530375068772901\ 88943258424565324958923*c_1100_10^2 + 1156102054756988331107835406976720906234936763/31482530375068772901\ 88943258424565324958923*c_1100_10 + 75213045125519604770084312382855733313341297/3148253037506877290188\ 943258424565324958923, c_0101_9 + 73340554705531289622465450586067526155361112/314825303750687\ 7290188943258424565324958923*c_1100_10^27 - 22784293434718908059565544839754062648505501/3148253037506877290188\ 943258424565324958923*c_1100_10^26 + 301285061364193191186288384437421225014281520/314825303750687729018\ 8943258424565324958923*c_1100_10^25 - 314252412761969375887633214681707056936470707/314825303750687729018\ 8943258424565324958923*c_1100_10^24 - 3418971876275504207553679005893421589138465295/31482530375068772901\ 88943258424565324958923*c_1100_10^23 + 1790307376593327413263516515965345365186157126/31482530375068772901\ 88943258424565324958923*c_1100_10^22 + 8427621812915551373938238727905855683331386963/31482530375068772901\ 88943258424565324958923*c_1100_10^21 + 7393058654847673330159773668064958758030305165/31482530375068772901\ 88943258424565324958923*c_1100_10^20 + 47435525626722581579546761893500781454488907794/3148253037506877290\ 188943258424565324958923*c_1100_10^19 - 67932301383798793113865782906677605542191006359/3148253037506877290\ 188943258424565324958923*c_1100_10^18 - 343019651567791515581213592022289144225459333806/314825303750687729\ 0188943258424565324958923*c_1100_10^17 + 168698288143975653235423934212638081360534104120/314825303750687729\ 0188943258424565324958923*c_1100_10^16 + 1023218412735281682663109349949269602083752550370/31482530375068772\ 90188943258424565324958923*c_1100_10^15 + 49081173032229891864062477418738488845578593239/3148253037506877290\ 188943258424565324958923*c_1100_10^14 - 1564965390864134676025734060467664215048157088463/31482530375068772\ 90188943258424565324958923*c_1100_10^13 - 701919591049591951682169477802721320978683120486/314825303750687729\ 0188943258424565324958923*c_1100_10^12 + 1180282787455057487672408553158724285378389016262/31482530375068772\ 90188943258424565324958923*c_1100_10^11 + 1003367457417306575552471976516630876663636006600/31482530375068772\ 90188943258424565324958923*c_1100_10^10 - 357402931164726325728815874664860025130429022476/314825303750687729\ 0188943258424565324958923*c_1100_10^9 - 756194856427691832632447432704548433002501366419/314825303750687729\ 0188943258424565324958923*c_1100_10^8 - 242724554147805070940114640986295122993714405723/314825303750687729\ 0188943258424565324958923*c_1100_10^7 + 206584533437435729388297716805055786213191037296/314825303750687729\ 0188943258424565324958923*c_1100_10^6 + 294098057694571116391502262265939243843181816309/314825303750687729\ 0188943258424565324958923*c_1100_10^5 + 194315053263922374822448426689950683556621033459/314825303750687729\ 0188943258424565324958923*c_1100_10^4 + 83332737306995482519423993090262872325195069634/3148253037506877290\ 188943258424565324958923*c_1100_10^3 + 23026298066345167912698329749300625665525664704/3148253037506877290\ 188943258424565324958923*c_1100_10^2 + 3696727391903293862294646300206018560044361871/31482530375068772901\ 88943258424565324958923*c_1100_10 + 258573483200824357207739423160109799537452932/314825303750687729018\ 8943258424565324958923, c_0110_4 + 213689075010535892592771708963250518024972092/31482530375068\ 77290188943258424565324958923*c_1100_10^27 - 48938628085415323282340460802312011777115252/3148253037506877290188\ 943258424565324958923*c_1100_10^26 + 864147065862831605178966437163342516753875174/314825303750687729018\ 8943258424565324958923*c_1100_10^25 - 838067721599027644446926527719979187237352446/314825303750687729018\ 8943258424565324958923*c_1100_10^24 - 10072715834285918556446886526747547042900577648/3148253037506877290\ 188943258424565324958923*c_1100_10^23 + 4452886033665603164045527098994133128297211877/31482530375068772901\ 88943258424565324958923*c_1100_10^22 + 25347211433397728697495116656687571471923571698/3148253037506877290\ 188943258424565324958923*c_1100_10^21 + 23196470967402916212036465709928982929857334255/3148253037506877290\ 188943258424565324958923*c_1100_10^20 + 139154794446458134345036859031645801236428553887/314825303750687729\ 0188943258424565324958923*c_1100_10^19 - 187150291000846139594991729195396194575496762585/314825303750687729\ 0188943258424565324958923*c_1100_10^18 - 1020743219194489835027556766156706609596553953179/31482530375068772\ 90188943258424565324958923*c_1100_10^17 + 419654722442351162536927912365136656432875934757/314825303750687729\ 0188943258424565324958923*c_1100_10^16 + 3056293090558655716945248154600540204542128388920/31482530375068772\ 90188943258424565324958923*c_1100_10^15 + 353315813861314438713224377321100258970813129015/314825303750687729\ 0188943258424565324958923*c_1100_10^14 - 4650618336446462736227924237002648538499836866828/31482530375068772\ 90188943258424565324958923*c_1100_10^13 - 2381518053882476389527908019498190020827934938112/31482530375068772\ 90188943258424565324958923*c_1100_10^12 + 3435130979904350495577120403984349617923380413853/31482530375068772\ 90188943258424565324958923*c_1100_10^11 + 3217579778889823999312507424016394851682916283894/31482530375068772\ 90188943258424565324958923*c_1100_10^10 - 942778836234428254009852272254124778474013475329/314825303750687729\ 0188943258424565324958923*c_1100_10^9 - 2345367070023286079096976602837197500809233759958/31482530375068772\ 90188943258424565324958923*c_1100_10^8 - 822484701062299118829428772118785250445555861776/314825303750687729\ 0188943258424565324958923*c_1100_10^7 + 604081817855417480868653845902079991710966138179/314825303750687729\ 0188943258424565324958923*c_1100_10^6 + 908693805109670466270355121216545114475417716879/314825303750687729\ 0188943258424565324958923*c_1100_10^5 + 611186692478022162085261388489726408551116751085/314825303750687729\ 0188943258424565324958923*c_1100_10^4 + 265903338180717571687990380452850297503899536862/314825303750687729\ 0188943258424565324958923*c_1100_10^3 + 74532650148548456640118237687118375097167695871/3148253037506877290\ 188943258424565324958923*c_1100_10^2 + 12011705988160185939243422800050655666995296814/3148253037506877290\ 188943258424565324958923*c_1100_10 + 833984553693666263548508125396576350548253236/314825303750687729018\ 8943258424565324958923, c_1100_10^28 + 4*c_1100_10^26 - 3*c_1100_10^25 - 48*c_1100_10^24 + 10*c_1100_10^23 + 123*c_1100_10^22 + 136*c_1100_10^21 + 677*c_1100_10^20 - 726*c_1100_10^19 - 4972*c_1100_10^18 + 861*c_1100_10^17 + 14714*c_1100_10^16 + 4956*c_1100_10^15 - 21270*c_1100_10^14 - 16146*c_1100_10^13 + 13341*c_1100_10^12 + 18693*c_1100_10^11 - 812*c_1100_10^10 - 11898*c_1100_10^9 - 6426*c_1100_10^8 + 1868*c_1100_10^7 + 4889*c_1100_10^6 + 3862*c_1100_10^5 + 1928*c_1100_10^4 + 650*c_1100_10^3 + 142*c_1100_10^2 + 18*c_1100_10 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.760 Total time: 0.970 seconds, Total memory usage: 32.09MB