Magma V2.19-8 Tue Aug 20 2013 17:55:41 on localhost [Seed = 475900874] Type ? for help. Type -D to quit. Loading file "10_16__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_16 geometric_solution 9.54664231 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 2 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.649501154193 0.980790959347 0 3 5 4 0132 3120 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.678103103132 0.552958462924 5 0 0 5 2031 0132 2031 1230 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 1 0 -1 1 0 -1 0 -4 -1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.530640332467 0.708765050881 6 1 4 0 0132 3120 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.219988983684 0.471266090022 6 7 1 3 2103 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 -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.085515276538 1.347240994109 2 7 2 1 3012 3201 1302 0132 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 -1 1 1 0 0 -1 0 0 0 0 -5 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.649501154193 0.980790959347 3 8 4 9 0132 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -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.728492927421 0.705071273598 9 4 5 9 0132 0132 2310 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.291230322613 0.685982142465 8 6 8 9 2310 0132 3201 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.833305739516 0.533297221766 7 8 6 7 0132 1302 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.291230322613 0.685982142465 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0011_5'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : negation(d['c_1001_1']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : negation(d['c_0101_1']), 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : negation(d['c_0101_8']), 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : 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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_3']), 'c_1100_8' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : d['c_0011_5'], 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_1'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_8']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_1001_1']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0101_1']), 'c_1010_9' : d['c_0011_3'], 'c_1010_8' : d['c_0011_4'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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' : 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_4'], 'c_0011_8' : d['c_0011_3'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : negation(d['c_0011_3']), '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_0101_7' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_3'], 'c_0101_8' : d['c_0101_8'], 'c_0110_9' : negation(d['c_0011_5']), 'c_0110_8' : negation(d['c_0101_8']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_3'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_8, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 55723530999716267457493435620144415963690503/1717192606935797742826\ 228593995276337999404375*c_1001_1^22 - 436678697399600122907596363943738859929887034/171719260693579774282\ 6228593995276337999404375*c_1001_1^21 - 337426045495053307317321733853238629800183/247078072940402552924637\ 2077691045090646625*c_1001_1^20 + 349855776136142842056393184068308\ 8160852096816/1717192606935797742826228593995276337999404375*c_1001\ _1^19 + 755678789882903849583699244348625577879510554/3434385213871\ 59548565245718799055267599880875*c_1001_1^18 - 13966286426114383266348638778729008062663045963/1717192606935797742\ 826228593995276337999404375*c_1001_1^17 - 15575699844295667323439562848540225170705613403/1717192606935797742\ 826228593995276337999404375*c_1001_1^16 + 32319352660824760965684990674119977095592616436/1717192606935797742\ 826228593995276337999404375*c_1001_1^15 + 26378821348859964883342926824540537995383469823/1717192606935797742\ 826228593995276337999404375*c_1001_1^14 - 65142312144070265536679197673547307412981397876/1717192606935797742\ 826228593995276337999404375*c_1001_1^13 - 16625279126534668634890248366081272600170884407/1717192606935797742\ 826228593995276337999404375*c_1001_1^12 + 1733773206294166098094435155307549497203491027/34343852138715954856\ 5245718799055267599880875*c_1001_1^11 - 3979869165927856194552983688635745899930622601/68687704277431909713\ 049143759811053519976175*c_1001_1^10 + 15784385796964737043160811843630059436212545812/1717192606935797742\ 826228593995276337999404375*c_1001_1^9 - 74687380484972991344781070962299367587712148097/1717192606935797742\ 826228593995276337999404375*c_1001_1^8 - 168484182404899227594491317516085996609186649756/171719260693579774\ 2826228593995276337999404375*c_1001_1^7 - 3770855231708949709635157968917497413239690928/10101132981975280840\ 1542858470310372823494375*c_1001_1^6 - 1315233116676610688827069612772282118117029408/17171926069357977428\ 26228593995276337999404375*c_1001_1^5 - 211023093385796507130021856262143079476877420853/171719260693579774\ 2826228593995276337999404375*c_1001_1^4 + 93882509326427428443156482899947865619059911799/1717192606935797742\ 826228593995276337999404375*c_1001_1^3 - 114580014927905677852825643101889072099957858386/171719260693579774\ 2826228593995276337999404375*c_1001_1^2 + 126171576546250580719514274979608108183537563/110786619802309531795\ 24055445130815083867125*c_1001_1 - 6612974035460904134365711507250309539386811596/17171926069357977428\ 26228593995276337999404375, c_0011_0 - 1, c_0011_3 + 14284301509331040819531478169354824/707681280127177839460491\ 089525199983*c_1001_1^22 + 42698899473270942701037418777747666/7076\ 81280127177839460491089525199983*c_1001_1^21 - 77330942395317473649059374296064860/7076812801271778394604910895251\ 99983*c_1001_1^20 - 328498987328173023590753645686288123/7076812801\ 27177839460491089525199983*c_1001_1^19 + 180276888047640832788332350681289368/707681280127177839460491089525\ 199983*c_1001_1^18 + 1133773652768520201926701309573035620/70768128\ 0127177839460491089525199983*c_1001_1^17 - 98874395806400877860741289416053414/7076812801271778394604910895251\ 99983*c_1001_1^16 - 2041385291325495705760020779791518203/707681280\ 127177839460491089525199983*c_1001_1^15 + 648032151844181936533693892768001446/707681280127177839460491089525\ 199983*c_1001_1^14 + 2186553747266946531077345254681684655/70768128\ 0127177839460491089525199983*c_1001_1^13 + 1279300397097041123218310424557737514/70768128012717783946049108952\ 5199983*c_1001_1^12 + 4365450413284081380826579201522501803/7076812\ 80127177839460491089525199983*c_1001_1^11 + 2074272091379364399480739228124220155/70768128012717783946049108952\ 5199983*c_1001_1^10 + 4531964914821198670238237784362131781/7076812\ 80127177839460491089525199983*c_1001_1^9 + 9018755290306166298057885732011834101/70768128012717783946049108952\ 5199983*c_1001_1^8 + 9652511048837095514131060385471751586/70768128\ 0127177839460491089525199983*c_1001_1^7 + 5601863629972878708377700561511020155/70768128012717783946049108952\ 5199983*c_1001_1^6 + 11877695312630421093070278671486448338/7076812\ 80127177839460491089525199983*c_1001_1^5 + 2963949750723066724941692554044954835/70768128012717783946049108952\ 5199983*c_1001_1^4 + 7367127215760028127596644750714795369/70768128\ 0127177839460491089525199983*c_1001_1^3 + 993486224752219514768708101225084011/707681280127177839460491089525\ 199983*c_1001_1^2 + 1244451338065069047779803485629902752/707681280\ 127177839460491089525199983*c_1001_1 + 865043859650470947529754571418960238/707681280127177839460491089525\ 199983, c_0011_4 - 36504903266609506022359043167739518/707681280127177839460491\ 089525199983*c_1001_1^22 - 108165802899000392838375473542550494/707\ 681280127177839460491089525199983*c_1001_1^21 + 203561676398393231446659239465368327/707681280127177839460491089525\ 199983*c_1001_1^20 + 844297705947057237370884061388456261/707681280\ 127177839460491089525199983*c_1001_1^19 - 499915901667914536456070731407786969/707681280127177839460491089525\ 199983*c_1001_1^18 - 2968753922290582977943703564120121932/70768128\ 0127177839460491089525199983*c_1001_1^17 + 365093765007267836387626996987398187/707681280127177839460491089525\ 199983*c_1001_1^16 + 5528168973156822832848757493556736478/70768128\ 0127177839460491089525199983*c_1001_1^15 - 1788887762188045392466783407838908238/70768128012717783946049108952\ 5199983*c_1001_1^14 - 6199301065318688097734871658264428266/7076812\ 80127177839460491089525199983*c_1001_1^13 - 3060438590602703578687198083844386126/70768128012717783946049108952\ 5199983*c_1001_1^12 - 10243116378274696012459325564076971869/707681\ 280127177839460491089525199983*c_1001_1^11 - 4840382016209104790323524385836347522/70768128012717783946049108952\ 5199983*c_1001_1^10 - 10620858889822610272971831519494870124/707681\ 280127177839460491089525199983*c_1001_1^9 - 21992788328397951783235538601541765625/7076812801271778394604910895\ 25199983*c_1001_1^8 - 24345155841987051182797406021130661150/707681\ 280127177839460491089525199983*c_1001_1^7 - 12476249142105551004916460259052485136/7076812801271778394604910895\ 25199983*c_1001_1^6 - 27634190663497667362255526939665122052/707681\ 280127177839460491089525199983*c_1001_1^5 - 6167817499742967154404655137166029704/70768128012717783946049108952\ 5199983*c_1001_1^4 - 17758387343119535263240976749404239440/7076812\ 80127177839460491089525199983*c_1001_1^3 - 2065266516074059432059029749245902616/70768128012717783946049108952\ 5199983*c_1001_1^2 - 3092602589558637773968042249262036977/70768128\ 0127177839460491089525199983*c_1001_1 - 1070582444814719874310445410776451518/70768128012717783946049108952\ 5199983, c_0011_5 + 2253464484645108499396976422404016/7076812801271778394604910\ 89525199983*c_1001_1^22 + 3750795718395483666523697471059997/707681\ 280127177839460491089525199983*c_1001_1^21 - 20659585253187899454193443390199392/7076812801271778394604910895251\ 99983*c_1001_1^20 - 30258868465793213684608270921481881/70768128012\ 7177839460491089525199983*c_1001_1^19 + 105492213700423437225705279276840140/707681280127177839460491089525\ 199983*c_1001_1^18 + 103983818109692445178296011297957220/707681280\ 127177839460491089525199983*c_1001_1^17 - 337130200130833302727965294331986212/707681280127177839460491089525\ 199983*c_1001_1^16 - 179187029238830887968251091271527284/707681280\ 127177839460491089525199983*c_1001_1^15 + 862819986914788208806338154328903817/707681280127177839460491089525\ 199983*c_1001_1^14 + 2217699653943801411272645942205583/70768128012\ 7177839460491089525199983*c_1001_1^13 - 912073719673246498430040116961535647/707681280127177839460491089525\ 199983*c_1001_1^12 + 851834743417987869171377749643850067/707681280\ 127177839460491089525199983*c_1001_1^11 + 205878304733236806366281645461101241/707681280127177839460491089525\ 199983*c_1001_1^10 + 571270145145622251832157393670580969/707681280\ 127177839460491089525199983*c_1001_1^9 + 1598107727837045841363854868379269888/70768128012717783946049108952\ 5199983*c_1001_1^8 - 209578503572263817239205145868162973/707681280\ 127177839460491089525199983*c_1001_1^7 - 423698589354003220174400037624697048/707681280127177839460491089525\ 199983*c_1001_1^6 + 3315181566433975334316977098034777725/707681280\ 127177839460491089525199983*c_1001_1^5 + 295805631865112362584664993749700467/707681280127177839460491089525\ 199983*c_1001_1^4 + 1082487590525325181326090314102336458/707681280\ 127177839460491089525199983*c_1001_1^3 + 693395851936009073931360221402801197/707681280127177839460491089525\ 199983*c_1001_1^2 - 109172370581702308409980966210852871/7076812801\ 27177839460491089525199983*c_1001_1 + 713249325326841262107121153412922280/707681280127177839460491089525\ 199983, c_0101_0 - 2253464484645108499396976422404016/7076812801271778394604910\ 89525199983*c_1001_1^22 - 3750795718395483666523697471059997/707681\ 280127177839460491089525199983*c_1001_1^21 + 20659585253187899454193443390199392/7076812801271778394604910895251\ 99983*c_1001_1^20 + 30258868465793213684608270921481881/70768128012\ 7177839460491089525199983*c_1001_1^19 - 105492213700423437225705279276840140/707681280127177839460491089525\ 199983*c_1001_1^18 - 103983818109692445178296011297957220/707681280\ 127177839460491089525199983*c_1001_1^17 + 337130200130833302727965294331986212/707681280127177839460491089525\ 199983*c_1001_1^16 + 179187029238830887968251091271527284/707681280\ 127177839460491089525199983*c_1001_1^15 - 862819986914788208806338154328903817/707681280127177839460491089525\ 199983*c_1001_1^14 - 2217699653943801411272645942205583/70768128012\ 7177839460491089525199983*c_1001_1^13 + 912073719673246498430040116961535647/707681280127177839460491089525\ 199983*c_1001_1^12 - 851834743417987869171377749643850067/707681280\ 127177839460491089525199983*c_1001_1^11 - 205878304733236806366281645461101241/707681280127177839460491089525\ 199983*c_1001_1^10 - 571270145145622251832157393670580969/707681280\ 127177839460491089525199983*c_1001_1^9 - 1598107727837045841363854868379269888/70768128012717783946049108952\ 5199983*c_1001_1^8 + 209578503572263817239205145868162973/707681280\ 127177839460491089525199983*c_1001_1^7 + 423698589354003220174400037624697048/707681280127177839460491089525\ 199983*c_1001_1^6 - 3315181566433975334316977098034777725/707681280\ 127177839460491089525199983*c_1001_1^5 - 295805631865112362584664993749700467/707681280127177839460491089525\ 199983*c_1001_1^4 - 1082487590525325181326090314102336458/707681280\ 127177839460491089525199983*c_1001_1^3 - 693395851936009073931360221402801197/707681280127177839460491089525\ 199983*c_1001_1^2 + 109172370581702308409980966210852871/7076812801\ 27177839460491089525199983*c_1001_1 - 713249325326841262107121153412922280/707681280127177839460491089525\ 199983, c_0101_1 - 6137055675166407725640469140286705/7076812801271778394604910\ 89525199983*c_1001_1^22 - 18113831583751702053802870875244063/70768\ 1280127177839460491089525199983*c_1001_1^21 + 34112233409307183231333786737193473/7076812801271778394604910895251\ 99983*c_1001_1^20 + 139778974930483922643486021780660178/7076812801\ 27177839460491089525199983*c_1001_1^19 - 85722108092464952377318346481335204/7076812801271778394604910895251\ 99983*c_1001_1^18 - 481309343500041606280095558671299928/7076812801\ 27177839460491089525199983*c_1001_1^17 + 87510089852889441778714544564968717/7076812801271778394604910895251\ 99983*c_1001_1^16 + 857475553136451780069860371720625115/7076812801\ 27177839460491089525199983*c_1001_1^15 - 447531993843164313605394681841489841/707681280127177839460491089525\ 199983*c_1001_1^14 - 875385189568474581685900586957136676/707681280\ 127177839460491089525199983*c_1001_1^13 - 74806238747696408125874714653821452/7076812801271778394604910895251\ 99983*c_1001_1^12 - 1969560197328997043231785130726968459/707681280\ 127177839460491089525199983*c_1001_1^11 - 1653627175294692665601498556525206136/70768128012717783946049108952\ 5199983*c_1001_1^10 - 1650323925928869291136858838545394057/7076812\ 80127177839460491089525199983*c_1001_1^9 - 2907426042529066320760694334813595361/70768128012717783946049108952\ 5199983*c_1001_1^8 - 4067216429234540838933393827127904846/70768128\ 0127177839460491089525199983*c_1001_1^7 - 2021969141028314836679195566072987059/70768128012717783946049108952\ 5199983*c_1001_1^6 - 4672234815966449171086687226634173849/70768128\ 0127177839460491089525199983*c_1001_1^5 - 1327966068780847285700042261818051730/70768128012717783946049108952\ 5199983*c_1001_1^4 - 1989486709290325072909963534282100164/70768128\ 0127177839460491089525199983*c_1001_1^3 + 405247863766437548404504466070277623/707681280127177839460491089525\ 199983*c_1001_1^2 - 741800237185080918729711592416264811/7076812801\ 27177839460491089525199983*c_1001_1 + 192440609943395288813038909106938951/707681280127177839460491089525\ 199983, c_0101_2 + 1082557509901609083210137497602810/7076812801271778394604910\ 89525199983*c_1001_1^22 + 11547442400995083095133365211561459/70768\ 1280127177839460491089525199983*c_1001_1^21 + 13085854884250497876460897108394896/7076812801271778394604910895251\ 99983*c_1001_1^20 - 89462475497689515914219931357955285/70768128012\ 7177839460491089525199983*c_1001_1^19 - 150557973246983259395058398308644509/707681280127177839460491089525\ 199983*c_1001_1^18 + 341925934167796756966314605602602350/707681280\ 127177839460491089525199983*c_1001_1^17 + 626078583486483077377633582637778943/707681280127177839460491089525\ 199983*c_1001_1^16 - 737718662559838532665790812684943640/707681280\ 127177839460491089525199983*c_1001_1^15 - 1305816725244125154243007955205410377/70768128012717783946049108952\ 5199983*c_1001_1^14 + 1495771751086978516399623258063988725/7076812\ 80127177839460491089525199983*c_1001_1^13 + 1601357544680998699113260218243375290/70768128012717783946049108952\ 5199983*c_1001_1^12 - 41959509254249931134929370260198923/707681280\ 127177839460491089525199983*c_1001_1^11 + 1496085302993683233755220928387260455/70768128012717783946049108952\ 5199983*c_1001_1^10 - 206879373204734602282180582876655728/70768128\ 0127177839460491089525199983*c_1001_1^9 + 2323136973998640712502281987648332958/70768128012717783946049108952\ 5199983*c_1001_1^8 + 4223877663203791687159512000329581061/70768128\ 0127177839460491089525199983*c_1001_1^7 + 2870557564752427619795548543558059132/70768128012717783946049108952\ 5199983*c_1001_1^6 - 397741225704477955991590058432760901/707681280\ 127177839460491089525199983*c_1001_1^5 + 3992856605158145975252202172174178674/70768128012717783946049108952\ 5199983*c_1001_1^4 - 1679129684423447735544220160004699218/70768128\ 0127177839460491089525199983*c_1001_1^3 + 3525912187763878543467657286797070901/70768128012717783946049108952\ 5199983*c_1001_1^2 - 1083145256170900229688219821708554244/70768128\ 0127177839460491089525199983*c_1001_1 + 598371238324203942942732671008756161/707681280127177839460491089525\ 199983, c_0101_3 - 7981526722384545051726359468568872/7076812801271778394604910\ 89525199983*c_1001_1^22 - 43976315690002339133251406891911337/70768\ 1280127177839460491089525199983*c_1001_1^21 - 7811009056127700972468492736569775/70768128012717783946049108952519\ 9983*c_1001_1^20 + 321731975006922895824015553598616289/70768128012\ 7177839460491089525199983*c_1001_1^19 + 318457915143646278668715205411009116/707681280127177839460491089525\ 199983*c_1001_1^18 - 1108764226611955221340644558170420741/70768128\ 0127177839460491089525199983*c_1001_1^17 - 1473821061030133025768915475609345545/70768128012717783946049108952\ 5199983*c_1001_1^16 + 2029962056818781663357232344734988136/7076812\ 80127177839460491089525199983*c_1001_1^15 + 2613451972030648783195883925745715990/70768128012717783946049108952\ 5199983*c_1001_1^14 - 3434362222576052817793289563106656370/7076812\ 80127177839460491089525199983*c_1001_1^13 - 3642993827619625235948844018794094815/70768128012717783946049108952\ 5199983*c_1001_1^12 - 2850560290625619715542029658785175122/7076812\ 80127177839460491089525199983*c_1001_1^11 - 6407092729104025841904152379569215794/70768128012717783946049108952\ 5199983*c_1001_1^10 - 2285662366626226653772090648207807596/7076812\ 80127177839460491089525199983*c_1001_1^9 - 8866472918182952924442770763724730956/70768128012717783946049108952\ 5199983*c_1001_1^8 - 15414734876494191225936006560577746748/7076812\ 80127177839460491089525199983*c_1001_1^7 - 11722339461825999564202258249221320776/7076812801271778394604910895\ 25199983*c_1001_1^6 - 7164689676152850039779162241359592906/7076812\ 80127177839460491089525199983*c_1001_1^5 - 13121233467361272891721374488760096602/7076812801271778394604910895\ 25199983*c_1001_1^4 - 560493940026170382243178512461057125/70768128\ 0127177839460491089525199983*c_1001_1^3 - 8849824622056639541568870181639606187/70768128012717783946049108952\ 5199983*c_1001_1^2 + 1047386366947159874623838854057001818/70768128\ 0127177839460491089525199983*c_1001_1 - 1297639406278472876997825562943942271/70768128012717783946049108952\ 5199983, c_0101_8 - 22027783158567660982423556783339968/707681280127177839460491\ 089525199983*c_1001_1^22 - 43619423990540352062499118134808693/7076\ 81280127177839460491089525199983*c_1001_1^21 + 193142049039334163478521981426928612/707681280127177839460491089525\ 199983*c_1001_1^20 + 408852833588997674101176129606969090/707681280\ 127177839460491089525199983*c_1001_1^19 - 834571947037345833736380592544307989/707681280127177839460491089525\ 199983*c_1001_1^18 - 1661221526853194585759398181194348395/70768128\ 0127177839460491089525199983*c_1001_1^17 + 2030086143275095411799905681910095785/70768128012717783946049108952\ 5199983*c_1001_1^16 + 3744822851059982489693828432224975670/7076812\ 80127177839460491089525199983*c_1001_1^15 - 4218106142125987715981937729053669674/70768128012717783946049108952\ 5199983*c_1001_1^14 - 3955132660792531885878154436461269490/7076812\ 80127177839460491089525199983*c_1001_1^13 + 1495587817438498383566503975703877506/70768128012717783946049108952\ 5199983*c_1001_1^12 - 2716510165445713401286258024831697996/7076812\ 80127177839460491089525199983*c_1001_1^11 + 4704521328257199198844546231992573791/70768128012717783946049108952\ 5199983*c_1001_1^10 - 2224660127430344471447026335151110999/7076812\ 80127177839460491089525199983*c_1001_1^9 - 7225927821843725820776552928669439024/70768128012717783946049108952\ 5199983*c_1001_1^8 - 971862272099257571975595413110027990/707681280\ 127177839460491089525199983*c_1001_1^7 + 10694645284188292377156728852654076782/7076812801271778394604910895\ 25199983*c_1001_1^6 - 5310918372210174216777019616996883584/7076812\ 80127177839460491089525199983*c_1001_1^5 + 13512832730443426749201738683985385944/7076812801271778394604910895\ 25199983*c_1001_1^4 - 4986794287850376095233315550887698735/7076812\ 80127177839460491089525199983*c_1001_1^3 + 8807171095025482182920291358352952684/70768128012717783946049108952\ 5199983*c_1001_1^2 + 726529655051543055393532037076606678/707681280\ 127177839460491089525199983*c_1001_1 + 1569994319599052610362838873013698506/70768128012717783946049108952\ 5199983, c_1001_1^23 + 3*c_1001_1^22 - 5*c_1001_1^21 - 22*c_1001_1^20 + 10*c_1001_1^19 + 71*c_1001_1^18 + c_1001_1^17 - 112*c_1001_1^16 + 34*c_1001_1^15 + 92*c_1001_1^14 + 119*c_1001_1^13 + 380*c_1001_1^12 + 175*c_1001_1^11 + 396*c_1001_1^10 + 649*c_1001_1^9 + 802*c_1001_1^8 + 617*c_1001_1^7 + 1036*c_1001_1^6 + 276*c_1001_1^5 + 767*c_1001_1^4 + 112*c_1001_1^3 + 270*c_1001_1^2 + 32*c_1001_1 + 25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB