Magma V2.19-8 Fri Sep 13 2013 00:41:53 on localhost [Seed = 743238090] Type ? for help. Type -D to quit. Loading file "m038__sl3_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation m038 geometric_solution 3.17729328 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 4 1 2 3 1 0132 0132 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 -1 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.771844506346 1.115142508040 0 0 3 2 0132 0321 3012 2310 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 1 0 -1 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.595743941977 0.254425889416 1 0 3 3 3201 0132 3201 0132 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 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.580356622393 0.606290729207 2 1 2 0 2310 1230 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.176100564369 0.860716618624 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0012_0'], 'c_1020_3' : d['c_0012_0'], 'c_1020_0' : d['c_0201_3'], 'c_1020_1' : d['c_0201_3'], 'c_0201_0' : d['c_0102_2'], 'c_0201_1' : d['c_0012_1'] * d['u'] ** 1, 'c_0201_2' : d['c_0102_0'], 'c_0201_3' : d['c_0201_3'], 'c_2100_0' : d['c_0012_3'], 'c_2100_1' : d['c_0012_0'], 'c_2100_2' : d['c_0012_3'], 'c_2100_3' : d['c_0012_3'], 'c_2010_2' : d['c_0012_1'] * d['u'] ** 1, 'c_2010_3' : d['c_0012_1'] * d['u'] ** 1, 'c_2010_0' : d['c_0102_3'], 'c_2010_1' : d['c_0102_3'], 'c_0102_0' : d['c_0102_0'], 'c_0102_1' : d['c_0012_0'], 'c_0102_2' : d['c_0102_2'], 'c_0102_3' : d['c_0102_3'], 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : d['c_1011_3'], 'c_1101_2' : negation(d['c_0111_3']), 'c_1101_3' : d['c_1101_3'], 'c_1200_2' : d['c_0021_3'], 'c_1200_3' : d['c_0021_3'], 'c_1200_0' : d['c_0021_3'], 'c_1200_1' : d['c_0012_1'] * d['u'] ** 1, 'c_1110_2' : d['c_1101_3'], 'c_1110_3' : d['c_1101_0'], 'c_1110_0' : negation(d['c_1011_1']), 'c_1110_1' : d['c_0111_2'], 'c_0120_0' : d['c_0012_0'] * d['u'] ** 1, 'c_0120_1' : d['c_0102_0'], 'c_0120_2' : d['c_0102_3'], 'c_0120_3' : d['c_0102_0'], 'c_2001_0' : d['c_0012_1'] * d['u'] ** 1, 'c_2001_1' : d['c_0012_3'], 'c_2001_2' : d['c_0102_3'], 'c_2001_3' : d['c_0012_1'] * d['u'] ** 1, 'c_0012_2' : d['c_0012_1'] * d['u'] ** 1, 'c_0012_3' : d['c_0012_3'], 'c_0012_0' : d['c_0012_0'], 'c_0012_1' : d['c_0012_1'], 'c_0111_0' : d['c_0111_0'], 'c_0111_1' : negation(d['c_0111_0']) * d['u'] ** 1, 'c_0111_2' : d['c_0111_2'], 'c_0111_3' : d['c_0111_3'], 'c_0210_2' : d['c_0201_3'], 'c_0210_3' : d['c_0102_2'], 'c_0210_0' : d['c_0012_1'], 'c_0210_1' : d['c_0102_2'], 'c_1002_2' : d['c_0201_3'], 'c_1002_3' : d['c_0012_0'], 'c_1002_0' : d['c_0012_0'], 'c_1002_1' : d['c_0021_3'], 'c_1011_2' : negation(d['c_1011_0']), 'c_1011_3' : d['c_1011_3'], 'c_1011_0' : d['c_1011_0'], 'c_1011_1' : d['c_1011_1'], 'c_0021_0' : d['c_0012_1'] * d['u'] ** 1, 'c_0021_1' : d['c_0012_0'] * d['u'] ** 1, 'c_0021_2' : d['c_0012_0'], 'c_0021_3' : d['c_0021_3']}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 17108.490 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_2, c_0102_3, c_0111_0, c_0111_2, c_0111_3, c_0201_3, c_1011_0, c_1011_1, c_1011_3, c_1101_0, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 67/49*c_1101_3*u + 67/49*c_1101_3 + 781/98*u, c_0012_0 - 1, c_0012_1 - 1, c_0012_3 - 1/2*c_1101_3 - 5/2*u - 3/2, c_0021_3 + 1/2*c_1101_3 + 3/2*u + 1/2, c_0102_0 + u, c_0102_2 + 1, c_0102_3 - 1/2*c_1101_3 - 3/2*u - 5/2, c_0111_0 - 1, c_0111_2 - 1/2*c_1101_3 + 1/2*u - 1/2, c_0111_3 - c_1101_3 - u - 1, c_0201_3 + 1/2*c_1101_3 + 1/2*u + 3/2, c_1011_0 - 1/2*c_1101_3*u - 1/2*c_1101_3 - 1/2*u, c_1011_1 + u + 1, c_1011_3 + 1/2*c_1101_3*u - 1/2, c_1101_0 - 1/2*c_1101_3 - 1/2*u + 1/2, c_1101_3^2 + 6*c_1101_3*u + 6*c_1101_3 + u, u^2 + u + 1 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_2, c_0102_3, c_0111_0, c_0111_2, c_0111_3, c_0201_3, c_1011_0, c_1011_1, c_1011_3, c_1101_0, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 1617/536*c_1101_3^4*u - 1617/536*c_1101_3^4 - 2463/536*c_1101_3^3*u + 4505/536*c_1101_3^2 + 1257/268*c_1101_3*u + 1257/268*c_1101_3 + 2801/536*u, c_0012_0 - 1, c_0012_1 - 1, c_0012_3 + 9/4*c_1101_3^4 + 15/4*c_1101_3^3*u + 15/4*c_1101_3^3 + 21/4*c_1101_3^2*u - c_1101_3*u - 5/2*c_1101_3 - 5/4*u - 5/4, c_0021_3 + 9/4*c_1101_3^4 + 15/4*c_1101_3^3*u + 15/4*c_1101_3^3 + 21/4*c_1101_3^2*u + c_1101_3*u - 3/2*c_1101_3 - 5/4*u - 5/4, c_0102_0 - 3/2*c_1101_3^4*u + 3/2*c_1101_3^4 + 9/2*c_1101_3^3*u + 6*c_1101_3^3 + 10*c_1101_3^2*u + 7/2*c_1101_3^2 + c_1101_3*u - 5*c_1101_3 - 3/2*u - 3, c_0102_2 + 3/2*c_1101_3^4*u + 3*c_1101_3^4 + 6*c_1101_3^3*u + 9/2*c_1101_3^3 + 13/2*c_1101_3^2*u - 7/2*c_1101_3^2 - c_1101_3*u - 6*c_1101_3 - 3*u - 3/2, c_0102_3 + 9/4*c_1101_3^4 + 15/4*c_1101_3^3*u + 15/4*c_1101_3^3 + 21/4*c_1101_3^2*u + c_1101_3*u - 3/2*c_1101_3 - 5/4*u - 5/4, c_0111_0 - 1, c_0111_2 - 3/4*c_1101_3^4 - 9/4*c_1101_3^3*u - 9/4*c_1101_3^3 - 15/4*c_1101_3^2*u - c_1101_3^2 - c_1101_3*u + 3/2*c_1101_3 + 3/4*u + 7/4, c_0111_3 + c_1101_3 + u + 1, c_0201_3 + 9/4*c_1101_3^4 + 15/4*c_1101_3^3*u + 15/4*c_1101_3^3 + 21/4*c_1101_3^2*u - c_1101_3*u - 5/2*c_1101_3 - 5/4*u - 5/4, c_1011_0 - 9/4*c_1101_3^4*u - 9/4*c_1101_3^4 - 15/4*c_1101_3^3*u + 21/4*c_1101_3^2 + 5/2*c_1101_3*u + 5/2*c_1101_3 + 5/4*u, c_1011_1 + c_1101_3, c_1011_3 + 9/4*c_1101_3^4*u - 15/4*c_1101_3^3 - 21/4*c_1101_3^2*u - 21/4*c_1101_3^2 - 5/2*c_1101_3*u + 5/4, c_1101_0 - 3/4*c_1101_3^4 - 9/4*c_1101_3^3*u - 9/4*c_1101_3^3 - 11/4*c_1101_3^2*u + c_1101_3^2 + c_1101_3*u + 5/2*c_1101_3 + 7/4*u + 3/4, c_1101_3^5 + 2*c_1101_3^4*u + 2*c_1101_3^4 + 10/3*c_1101_3^3*u - 7/3*c_1101_3^2 - 5/3*c_1101_3*u - 5/3*c_1101_3 - 1/3*u, u^2 + u + 1 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_2, c_0102_3, c_0111_0, c_0111_2, c_0111_3, c_0201_3, c_1011_0, c_1011_1, c_1011_3, c_1101_0, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 141943499008727195996027014950317467435567488203/142735293853347732\ 65600517021047518672225476475*c_1101_3^13*u + 614051572266277379962426944845184143541823651897/299744117092030238\ 577610857441997892116735005975*c_1101_3^13 - 485143155090668174537913627287009516976067840884/999147056973434128\ 59203619147332630705578335325*c_1101_3^12*u + 3397448308839346063864791401995329932102104922171/99914705697343412\ 859203619147332630705578335325*c_1101_3^12 - 33603720478170720243467002283611232543550131098/2918637946368356753\ 43340659631935630103928925*c_1101_3^11*u - 30543483467013344719841940704946847984551401116/5420327614684091113\ 51918367887880455907296575*c_1101_3^11 - 2952740371184454110950958396651557337787234159679/42820588156004319\ 796801551063142556016676429425*c_1101_3^10*u - 20076409382356729027955141537712147186092822997152/2997441170920302\ 38577610857441997892116735005975*c_1101_3^10 - 217186658805328939725474663969649854238190805767/265260280612416140\ 3341689003911485770944557575*c_1101_3^9*u - 542226414205483603000604176895571441289171052738/265260280612416140\ 3341689003911485770944557575*c_1101_3^9 + 5789008466064220946989217758288342901800962278323/59948823418406047\ 715522171488399578423347001195*c_1101_3^8*u - 2352253623241277528008373327007629378693512408652/42820588156004319\ 796801551063142556016676429425*c_1101_3^8 + 132612043872312615107056212501239470251792822633/285470587706695465\ 3120103404209503734445095295*c_1101_3^7*u - 913636009911978552588131590753183943004273387143/428205881560043197\ 96801551063142556016676429425*c_1101_3^7 + 8018408216919626435206609743139112514943348792723/29974411709203023\ 8577610857441997892116735005975*c_1101_3^6*u - 11074482323142972354967908683888382988456000273778/2997441170920302\ 38577610857441997892116735005975*c_1101_3^6 - 539208986392899052952387122243090317762832504454/199829411394686825\ 71840723829466526141115667065*c_1101_3^5*u - 936246181907644375048669541493357258917038017727/142735293853347732\ 65600517021047518672225476475*c_1101_3^5 + 5982766449752823704393082208585114601747697559729/42820588156004319\ 796801551063142556016676429425*c_1101_3^4*u - 5741822129733483558802580736349040985622917550423/59948823418406047\ 715522171488399578423347001195*c_1101_3^4 + 18686750525403767081061496329882391358526672657942/9991470569734341\ 2859203619147332630705578335325*c_1101_3^3*u + 56367978227295604709084991305234753039492555554858/2997441170920302\ 38577610857441997892116735005975*c_1101_3^3 - 3373873818111276895344189427099516533827465689923/99914705697343412\ 859203619147332630705578335325*c_1101_3^2*u + 1226043422749283262276401679119253915278940071092/42820588156004319\ 796801551063142556016676429425*c_1101_3^2 + 108866284050462076167030210985707068860072076126/856411763120086395\ 9360310212628511203335285885*c_1101_3*u - 3134623842372792805510532608674418148727065501957/29974411709203023\ 8577610857441997892116735005975*c_1101_3 + 1241194876844245331007479339931050328022378781092/99914705697343412\ 859203619147332630705578335325*u + 1939823024778215889136650885192093421464991444799/29974411709203023\ 8577610857441997892116735005975, c_0012_0 - 1, c_0012_1 - 75374651073997062643220834785/783755445544452162090684258541\ *c_1101_3^13*u + 15677365149427210685890418989/14881432510337699280\ 2028656685*c_1101_3^13 + 37854637800906006302427379441/148814325103\ 376992802028656685*c_1101_3^12*u + 1324266912046219959624871527223/2351266336633356486272052775623*c_1\ 101_3^12 - 38739223459934911869655238492/21259189300482427543146950\ 955*c_1101_3^11*u - 15805153553767820644540957414/21259189300482427\ 543146950955*c_1101_3^11 - 1702991750377159599011122661497/11756331\ 683166782431360263878115*c_1101_3^10*u - 123588162767281269168271933054/148814325103376992802028656685*c_110\ 1_3^10 - 353582234367954122144286762002/148814325103376992802028656\ 685*c_1101_3^9*u - 37482414988235661798596584936841/117563316831667\ 82431360263878115*c_1101_3^9 + 11293218785045027236352339648314/391\ 8777227722260810453421292705*c_1101_3^8*u + 1387868670548602213824449555570/2351266336633356486272052775623*c_1\ 101_3^8 - 2760350264643721753476275868658/1175633168316678243136026\ 3878115*c_1101_3^7*u - 66087658079455338108476655802/14881432510337\ 6992802028656685*c_1101_3^7 + 122729161723882426303236689006/148814\ 325103376992802028656685*c_1101_3^6*u + 400140863427463892929506917356/3918777227722260810453421292705*c_11\ 01_3^6 - 9515587043538692630688541513334/11756331683166782431360263\ 878115*c_1101_3^5*u - 274115473178379108903713994931/23512663366333\ 56486272052775623*c_1101_3^5 + 5414461371710718633373029727642/3918\ 777227722260810453421292705*c_1101_3^4*u - 27469780348251969951020117531/9920955006891799520135243779*c_1101_3\ ^4 + 287403525953039566796098570082/148814325103376992802028656685*\ c_1101_3^3*u + 50610751271502769002932231184154/1175633168316678243\ 1360263878115*c_1101_3^3 - 232710732188314079699789403193/239925136\ 391158825129801303635*c_1101_3^2*u - 57823515087369592077990201809/79975045463719608376600434545*c_1101_\ 3^2 + 4273269133303423307197606013384/11756331683166782431360263878\ 115*c_1101_3*u - 17557185280994470628662721743/49604775034458997600\ 676218895*c_1101_3 - 157969412376970071895543664903/148814325103376\ 992802028656685*u - 756353558809999749885097608959/1175633168316678\ 2431360263878115, c_0012_3 + 455314436889185830881967094056/11756331683166782431360263878\ 115*c_1101_3^13*u - 302351400981848821041549830451/5598253182460372\ 58636203041815*c_1101_3^13 - 1350052229307960952283441143178/559825\ 318246037258636203041815*c_1101_3^12*u - 25437595176060682983735136568219/11756331683166782431360263878115*c\ _1101_3^12 + 4942218123923338180853873688/1417279286698828502876463\ 397*c_1101_3^11*u + 37267010412330763087739170466/21259189300482427\ 543146950955*c_1101_3^11 - 18709531897591398757050783268442/1175633\ 1683166782431360263878115*c_1101_3^10*u - 7697922593846507210513953014626/1679475954738111775908609125445*c_1\ 101_3^10 + 1628552330072721009644575266793/335895190947622355181721\ 825089*c_1101_3^9*u + 22365216272180057517333615135178/391877722772\ 2260810453421292705*c_1101_3^9 + 7570255713458577406719379368031/11\ 756331683166782431360263878115*c_1101_3^8*u - 40474337507175242052433644852382/11756331683166782431360263878115*c\ _1101_3^8 + 14808431837037491604958754503258/1175633168316678243136\ 0263878115*c_1101_3^7*u + 2347597607701167615863115517838/167947595\ 4738111775908609125445*c_1101_3^7 + 418490897880799227015283982311/335895190947622355181721825089*c_110\ 1_3^6*u + 32612704876001928151691863183883/117563316831667824313602\ 63878115*c_1101_3^6 + 50863502657166435242845289045663/117563316831\ 66782431360263878115*c_1101_3^5*u + 1116324066496623680789102655923/3918777227722260810453421292705*c_1\ 101_3^5 - 8810121031487560219003407669619/3918777227722260810453421\ 292705*c_1101_3^4*u + 7278325410356476076875661451347/1679475954738\ 111775908609125445*c_1101_3^4 + 417781646406682441066582861668/5598\ 25318246037258636203041815*c_1101_3^3*u - 43062606159773611938172268001782/11756331683166782431360263878115*c\ _1101_3^3 + 485822098147674187857319130699/239925136391158825129801\ 303635*c_1101_3^2*u + 187281416752254766025287509658/47985027278231\ 765025960260727*c_1101_3^2 - 28157639336199228655659659219704/11756\ 331683166782431360263878115*c_1101_3*u - 867837801599567910047888874303/559825318246037258636203041815*c_110\ 1_3 + 389941267232163931427229364849/335895190947622355181721825089\ *u - 1458167984941637759131762247539/117563316831667824313602638781\ 15, c_0021_3 - 2505224105638783771030256628086/1175633168316678243136026387\ 8115*c_1101_3^13*u - 816202830707117385512894542968/391877722772226\ 0810453421292705*c_1101_3^13 - 9379357291192920188257702022992/1175\ 6331683166782431360263878115*c_1101_3^12*u + 235212506107627230354570429258/3918777227722260810453421292705*c_11\ 01_3^12 - 295774526484857486242185194/4251837860096485508629390191*\ c_1101_3^11*u - 26686666417004064497954173186/212591893004824275431\ 46950955*c_1101_3^11 - 24856316682206326816915277515208/11756331683\ 166782431360263878115*c_1101_3^10*u - 10069467754377807419083134013318/11756331683166782431360263878115*c\ _1101_3^10 + 8169899086012589921503361840650/2351266336633356486272\ 052775623*c_1101_3^9*u + 208007361277039347238172194722/39187772277\ 22260810453421292705*c_1101_3^9 - 8026857131083176384060353754472/3\ 918777227722260810453421292705*c_1101_3^8*u - 17396751248080139064528316254313/11756331683166782431360263878115*c\ _1101_3^8 + 25142617993694961455745862739527/1175633168316678243136\ 0263878115*c_1101_3^7*u + 18599167994679295668934240463719/11756331\ 683166782431360263878115*c_1101_3^7 - 1148904928483999227690074770767/783755445544452162090684258541*c_11\ 01_3^6*u - 6217463049008617174359319756271/391877722772226081045342\ 1292705*c_1101_3^6 - 14869012361047993091043415134613/1175633168316\ 6782431360263878115*c_1101_3^5*u - 10180444142335626125063012439233/3918777227722260810453421292705*c_\ 1101_3^5 + 8575405968326827530724367898034/391877722772226081045342\ 1292705*c_1101_3^4*u + 33573995941571703529688422430761/11756331683\ 166782431360263878115*c_1101_3^4 - 3899475683184004458219762548998/11756331683166782431360263878115*c_\ 1101_3^3*u - 7852436830363808025881405861541/3918777227722260810453\ 421292705*c_1101_3^3 + 30276234035468873293565541541/23992513639115\ 8825129801303635*c_1101_3^2*u + 104331369505092618037847726863/4798\ 5027278231765025960260727*c_1101_3^2 - 17663221345566615414797622712351/11756331683166782431360263878115*c\ _1101_3*u - 8155949846295582951067829639199/39187772277222608104534\ 21292705*c_1101_3 + 870011211940664814130242385450/7837554455444521\ 62090684258541*u + 341248487663136649691651436238/39187772277222608\ 10453421292705, c_0102_0 + 39978076586029498632752437504/117563316831667824313602638781\ 15*c_1101_3^13*u - 2219176402070846778416953064981/1175633168316678\ 2431360263878115*c_1101_3^13 - 778322854053694533958350777524/78375\ 5445544452162090684258541*c_1101_3^12*u - 5309865289871648254738599922346/11756331683166782431360263878115*c_\ 1101_3^12 + 9995514208426187448340238193/70863964334941425143823169\ 85*c_1101_3^11*u + 29721484226035200697293661982/212591893004824275\ 43146950955*c_1101_3^11 - 69073693860441210923322829905149/11756331\ 683166782431360263878115*c_1101_3^10*u - 28521613000684919506170752919241/11756331683166782431360263878115*c\ _1101_3^10 + 5539645259118538935442771428661/1175633168316678243136\ 0263878115*c_1101_3^9*u - 3684264975017246691825524705094/391877722\ 7722260810453421292705*c_1101_3^9 - 4765789415338247534365656184736/783755445544452162090684258541*c_11\ 01_3^8*u - 100827434706997072960371741182618/1175633168316678243136\ 0263878115*c_1101_3^8 + 81508590091853852035120156167433/1175633168\ 3166782431360263878115*c_1101_3^7*u - 363258200518845382181904136241/783755445544452162090684258541*c_110\ 1_3^7 + 457129628467727759323506069727/1175633168316678243136026387\ 8115*c_1101_3^6*u + 8010749878342020462159220105691/117563316831667\ 82431360263878115*c_1101_3^6 + 705751379615873983697286053844/78375\ 5445544452162090684258541*c_1101_3^5*u - 24676271808559660716957042642884/11756331683166782431360263878115*c\ _1101_3^5 - 2293300998887220993629298982757/78375544554445216209068\ 4258541*c_1101_3^4*u - 8052962911149754366860259266844/117563316831\ 66782431360263878115*c_1101_3^4 + 9568641909496464630430736800207/3\ 918777227722260810453421292705*c_1101_3^3*u - 112707500210425171279247135386931/11756331683166782431360263878115*\ c_1101_3^3 + 811628578092842382583523446594/79975045463719608376600\ 434545*c_1101_3^2*u + 935151798428874720390564654373/79975045463719\ 608376600434545*c_1101_3^2 - 62125878040224462021423903329164/11756\ 331683166782431360263878115*c_1101_3*u - 964174837943515153218294702152/2351266336633356486272052775623*c_11\ 01_3 + 2936802162383518625068322782849/1175633168316678243136026387\ 8115*u - 22540665064783470015578237746993/1175633168316678243136026\ 3878115, c_0102_2 - 6271019601014922166353139918324/1175633168316678243136026387\ 8115*c_1101_3^13*u - 74674497187262792116127395033/2399251363911588\ 25129801303635*c_1101_3^13 - 423763674708095726961724107383/2399251\ 36391158825129801303635*c_1101_3^12*u + 8706330498311429462679412300691/11756331683166782431360263878115*c_\ 1101_3^12 - 19184397029370737446547826908/2125918930048242754314695\ 0955*c_1101_3^11*u - 4590247291011917261105738063/42518378600964855\ 08629390191*c_1101_3^11 - 11534039762023581846096643686167/23512663\ 36633356486272052775623*c_1101_3^10*u - 1734752293540846334320634733919/239925136391158825129801303635*c_11\ 01_3^10 + 931224748002084811336265395282/23992513639115882512980130\ 3635*c_1101_3^9*u + 4292324843348123106333230787479/235126633663335\ 6486272052775623*c_1101_3^9 + 17950707026732737267129353592763/3918\ 777227722260810453421292705*c_1101_3^8*u - 60740328016383979855408765822577/11756331683166782431360263878115*c\ _1101_3^8 - 26560527232449310718525213727469/1175633168316678243136\ 0263878115*c_1101_3^7*u + 1529780239913308288097034309986/239925136\ 391158825129801303635*c_1101_3^7 + 246714761196112085342889390378/79975045463719608376600434545*c_1101\ _3^6*u + 1175445662777472137090095863073/23512663366333564862720527\ 75623*c_1101_3^6 - 33773930046467840344072893925253/117563316831667\ 82431360263878115*c_1101_3^5*u - 71219728650456700164409693325441/1\ 1756331683166782431360263878115*c_1101_3^5 + 11627091958382133489088516233884/3918777227722260810453421292705*c_\ 1101_3^4*u + 188210019724364806970001631117/79975045463719608376600\ 434545*c_1101_3^4 + 390403543557864937982081636330/4798502727823176\ 5025960260727*c_1101_3^3*u + 75921729202711159680385415341004/11756\ 331683166782431360263878115*c_1101_3^3 - 2293131157220481891536242235293/239925136391158825129801303635*c_11\ 01_3^2*u + 2355008076132946299955547234/799750454637196083766004345\ 45*c_1101_3^2 + 6153852465740519813071931789962/1175633168316678243\ 1360263878115*c_1101_3*u - 1106599662333763757262170530508/23992513\ 6391158825129801303635*c_1101_3 + 132488003954319318209851833136/79\ 975045463719608376600434545*u + 4478027545260240199421236602217/235\ 1266336633356486272052775623, c_0102_3 - 2505224105638783771030256628086/1175633168316678243136026387\ 8115*c_1101_3^13*u - 816202830707117385512894542968/391877722772226\ 0810453421292705*c_1101_3^13 - 9379357291192920188257702022992/1175\ 6331683166782431360263878115*c_1101_3^12*u + 235212506107627230354570429258/3918777227722260810453421292705*c_11\ 01_3^12 - 295774526484857486242185194/4251837860096485508629390191*\ c_1101_3^11*u - 26686666417004064497954173186/212591893004824275431\ 46950955*c_1101_3^11 - 24856316682206326816915277515208/11756331683\ 166782431360263878115*c_1101_3^10*u - 10069467754377807419083134013318/11756331683166782431360263878115*c\ _1101_3^10 + 8169899086012589921503361840650/2351266336633356486272\ 052775623*c_1101_3^9*u + 208007361277039347238172194722/39187772277\ 22260810453421292705*c_1101_3^9 - 8026857131083176384060353754472/3\ 918777227722260810453421292705*c_1101_3^8*u - 17396751248080139064528316254313/11756331683166782431360263878115*c\ _1101_3^8 + 25142617993694961455745862739527/1175633168316678243136\ 0263878115*c_1101_3^7*u + 18599167994679295668934240463719/11756331\ 683166782431360263878115*c_1101_3^7 - 1148904928483999227690074770767/783755445544452162090684258541*c_11\ 01_3^6*u - 6217463049008617174359319756271/391877722772226081045342\ 1292705*c_1101_3^6 - 14869012361047993091043415134613/1175633168316\ 6782431360263878115*c_1101_3^5*u - 10180444142335626125063012439233/3918777227722260810453421292705*c_\ 1101_3^5 + 8575405968326827530724367898034/391877722772226081045342\ 1292705*c_1101_3^4*u + 33573995941571703529688422430761/11756331683\ 166782431360263878115*c_1101_3^4 - 3899475683184004458219762548998/11756331683166782431360263878115*c_\ 1101_3^3*u - 7852436830363808025881405861541/3918777227722260810453\ 421292705*c_1101_3^3 + 30276234035468873293565541541/23992513639115\ 8825129801303635*c_1101_3^2*u + 104331369505092618037847726863/4798\ 5027278231765025960260727*c_1101_3^2 - 17663221345566615414797622712351/11756331683166782431360263878115*c\ _1101_3*u - 8155949846295582951067829639199/39187772277222608104534\ 21292705*c_1101_3 + 870011211940664814130242385450/7837554455444521\ 62090684258541*u + 341248487663136649691651436238/39187772277222608\ 10453421292705, c_0111_0 - 1, c_0111_2 + 62267536203063263251504491308/335895190947622355181721825089\ *c_1101_3^13*u + 1904516626904905314425426645128/235126633663335648\ 6272052775623*c_1101_3^13 + 5944232771431876409169806039731/2351266\ 336633356486272052775623*c_1101_3^12*u + 1826719986072733014010334324401/783755445544452162090684258541*c_11\ 01_3^12 - 15216632053582814219710509110/425183786009648550862939019\ 1*c_1101_3^11*u + 1687939399826400653143585228/60740540858521221551\ 8484313*c_1101_3^11 - 903479356413987212440674664684/33589519094762\ 2355181721825089*c_1101_3^10*u - 1336927899788986892337205667623/23\ 51266336633356486272052775623*c_1101_3^10 - 22079158518203382439450218696716/2351266336633356486272052775623*c_\ 1101_3^9*u - 15256448015928424985643533336881/235126633663335648627\ 2052775623*c_1101_3^9 + 868258801952009039140358032715/783755445544\ 452162090684258541*c_1101_3^8*u - 2015623538574247112496156783334/3\ 35895190947622355181721825089*c_1101_3^8 + 725412544678738424858167969406/335895190947622355181721825089*c_110\ 1_3^7*u + 1629384623271888656695163860205/7837554455444521620906842\ 58541*c_1101_3^7 - 854907647567868712906937766223/78375544554445216\ 2090684258541*c_1101_3^6*u - 2677527280253342449160311431160/235126\ 6336633356486272052775623*c_1101_3^6 - 8733828265268915048425114407848/2351266336633356486272052775623*c_1\ 101_3^5*u + 120661011513245693451807443408/335895190947622355181721\ 825089*c_1101_3^5 - 481631009628516417936820066582/1119650636492074\ 51727240608363*c_1101_3^4*u - 27797459084275960023273224180044/2351\ 266336633356486272052775623*c_1101_3^4 + 31074244388436538476998556559669/2351266336633356486272052775623*c_\ 1101_3^3*u + 4152087511465912965301118107704/7837554455444521620906\ 84258541*c_1101_3^3 - 83823591680665981991434138717/479850272782317\ 65025960260727*c_1101_3^2*u + 104675373602680621365320091599/159950\ 09092743921675320086909*c_1101_3^2 - 709568420750908638883350158480/335895190947622355181721825089*c_110\ 1_3*u - 8369762281928359883627732082535/235126633663335648627205277\ 5623*c_1101_3 + 412147757682278858881508370708/78375544554445216209\ 0684258541*u + 208191659577424425322175190140/235126633663335648627\ 2052775623, c_0111_3 + 169034050647441658885220165983/78375544554445216209068425854\ 1*c_1101_3^13 + 262143361849287391079552774939/78375544554445216209\ 0684258541*c_1101_3^12*u + 262143361849287391079552774939/783755445\ 544452162090684258541*c_1101_3^12 - 4567364716946839416329037652/1417279286698828502876463397*c_1101_3^\ 11*u - 697041763251379109089706426725/78375544554445216209068425854\ 1*c_1101_3^10 - 3347027710488258506657377368399/7837554455444521620\ 90684258541*c_1101_3^9*u - 3347027710488258506657377368399/78375544\ 5544452162090684258541*c_1101_3^9 + 2969070873119038597996621913846/783755445544452162090684258541*c_11\ 01_3^8*u - 261388212446617946611517947307/7837554455444521620906842\ 58541*c_1101_3^7 - 1142045968543310418972156474292/7837554455444521\ 62090684258541*c_1101_3^6*u - 1142045968543310418972156474292/78375\ 5445544452162090684258541*c_1101_3^6 - 659498244788940569427207982116/783755445544452162090684258541*c_110\ 1_3^5*u - 4102032940478660059849785574470/7837554455444521620906842\ 58541*c_1101_3^4 + 4929646174082463731004781310223/7837554455444521\ 62090684258541*c_1101_3^3*u + 4929646174082463731004781310223/78375\ 5445544452162090684258541*c_1101_3^3 - 64184478758947746145133847745/15995009092743921675320086909*c_1101_\ 3^2*u - 1264301046213002591108922658981/783755445544452162090684258\ 541*c_1101_3 + 174089919293973971703665442630/783755445544452162090\ 684258541*u + 174089919293973971703665442630/7837554455444521620906\ 84258541, c_0201_3 + 455314436889185830881967094056/11756331683166782431360263878\ 115*c_1101_3^13*u - 302351400981848821041549830451/5598253182460372\ 58636203041815*c_1101_3^13 - 1350052229307960952283441143178/559825\ 318246037258636203041815*c_1101_3^12*u - 25437595176060682983735136568219/11756331683166782431360263878115*c\ _1101_3^12 + 4942218123923338180853873688/1417279286698828502876463\ 397*c_1101_3^11*u + 37267010412330763087739170466/21259189300482427\ 543146950955*c_1101_3^11 - 18709531897591398757050783268442/1175633\ 1683166782431360263878115*c_1101_3^10*u - 7697922593846507210513953014626/1679475954738111775908609125445*c_1\ 101_3^10 + 1628552330072721009644575266793/335895190947622355181721\ 825089*c_1101_3^9*u + 22365216272180057517333615135178/391877722772\ 2260810453421292705*c_1101_3^9 + 7570255713458577406719379368031/11\ 756331683166782431360263878115*c_1101_3^8*u - 40474337507175242052433644852382/11756331683166782431360263878115*c\ _1101_3^8 + 14808431837037491604958754503258/1175633168316678243136\ 0263878115*c_1101_3^7*u + 2347597607701167615863115517838/167947595\ 4738111775908609125445*c_1101_3^7 + 418490897880799227015283982311/335895190947622355181721825089*c_110\ 1_3^6*u + 32612704876001928151691863183883/117563316831667824313602\ 63878115*c_1101_3^6 + 50863502657166435242845289045663/117563316831\ 66782431360263878115*c_1101_3^5*u + 1116324066496623680789102655923/3918777227722260810453421292705*c_1\ 101_3^5 - 8810121031487560219003407669619/3918777227722260810453421\ 292705*c_1101_3^4*u + 7278325410356476076875661451347/1679475954738\ 111775908609125445*c_1101_3^4 + 417781646406682441066582861668/5598\ 25318246037258636203041815*c_1101_3^3*u - 43062606159773611938172268001782/11756331683166782431360263878115*c\ _1101_3^3 + 485822098147674187857319130699/239925136391158825129801\ 303635*c_1101_3^2*u + 187281416752254766025287509658/47985027278231\ 765025960260727*c_1101_3^2 - 28157639336199228655659659219704/11756\ 331683166782431360263878115*c_1101_3*u - 867837801599567910047888874303/559825318246037258636203041815*c_110\ 1_3 + 389941267232163931427229364849/335895190947622355181721825089\ *u - 1458167984941637759131762247539/117563316831667824313602638781\ 15, c_1011_0 - 334688520325081331590226209903/23512663366333564862720527756\ 23*c_1101_3^13*u - 129570463772906599192845286346/23512663366333564\ 86272052775623*c_1101_3^13 - 365479625454302601026630947054/2351266\ 336633356486272052775623*c_1101_3^12*u + 310596620934988162760190544345/2351266336633356486272052775623*c_11\ 01_3^12 - 4385644745240743493440089469/4251837860096485508629390191\ *c_1101_3^11*u - 6297322031092724568634627388/425183786009648550862\ 9390191*c_1101_3^11 + 1486343969850753758071796247299/7837554455444\ 52162090684258541*c_1101_3^10*u + 390842949193912761551729764200/78\ 3755445544452162090684258541*c_1101_3^10 + 3152969970063720594955411674893/2351266336633356486272052775623*c_1\ 101_3^9*u + 523214991163304539982153116570/235126633663335648627205\ 2775623*c_1101_3^9 + 7598430889229253912931002694213/23512663366333\ 56486272052775623*c_1101_3^8*u + 10407909370362406469507882587307/2\ 351266336633356486272052775623*c_1101_3^8 - 2035122314705382173970069000149/783755445544452162090684258541*c_11\ 01_3^7*u + 275444378555859103319553655729/7837554455444521620906842\ 58541*c_1101_3^7 - 2144891409619339826008590223550/2351266336633356\ 486272052775623*c_1101_3^6*u - 692410727046412617523869676351/23512\ 66336633356486272052775623*c_1101_3^6 - 2299527201683352188480778288221/2351266336633356486272052775623*c_1\ 101_3^5*u - 1100803509368895225257920539310/23512663366333564862720\ 52775623*c_1101_3^5 + 1748523890297268063127595544669/7837554455444\ 52162090684258541*c_1101_3^4*u + 876585176899502046132058425701/783\ 755445544452162090684258541*c_1101_3^4 - 3308416196941380556697291019416/2351266336633356486272052775623*c_1\ 101_3^3*u + 10958508623191853218436364290213/2351266336633356486272\ 052775623*c_1101_3^3 - 67000831755421478187763982103/15995009092743\ 921675320086909*c_1101_3^2*u - 71893606839926340662438559994/159950\ 09092743921675320086909*c_1101_3^2 + 3899104134143319446061250320455/2351266336633356486272052775623*c_1\ 101_3*u - 620376205209747802520732232113/23512663366333564862720527\ 75623*c_1101_3 + 35800937020847987136776730617/23512663366333564862\ 72052775623*u + 1525385734777177534464118538317/2351266336633356486\ 272052775623, c_1011_1 - 303965154752894879458664026408/78375544554445216209068425854\ 1*c_1101_3^13 - 1172260757060326790348939377656/7837554455444521620\ 90684258541*c_1101_3^12*u - 1172260757060326790348939377656/7837554\ 45544452162090684258541*c_1101_3^12 + 2649943091977891518829535045/1417279286698828502876463397*c_1101_3^\ 11*u - 653191354972367431812677295893/78375544554445216209068425854\ 1*c_1101_3^10 + 2627279451498686366800205757024/7837554455444521620\ 90684258541*c_1101_3^9*u + 2627279451498686366800205757024/78375544\ 5544452162090684258541*c_1101_3^9 - 1092678537316408959925655711063/783755445544452162090684258541*c_11\ 01_3^8*u - 1091008593399728561160747388309/783755445544452162090684\ 258541*c_1101_3^7 - 577017184478721486662978153174/7837554455444521\ 62090684258541*c_1101_3^6*u - 577017184478721486662978153174/783755\ 445544452162090684258541*c_1101_3^6 + 2315410248428377201456415454979/783755445544452162090684258541*c_11\ 01_3^5*u + 2706286677581087045017091693571/783755445544452162090684\ 258541*c_1101_3^4 - 2772712103752837393278518312008/783755445544452\ 162090684258541*c_1101_3^3*u - 2772712103752837393278518312008/7837\ 55445544452162090684258541*c_1101_3^3 + 32509962977658689625363442695/15995009092743921675320086909*c_1101_\ 3^2*u - 121525018746107353886536598453/7837554455444521620906842585\ 41*c_1101_3 + 402031119415285595686633765978/7837554455444521620906\ 84258541*u + 402031119415285595686633765978/78375544554445216209068\ 4258541, c_1011_3 + 334688520325081331590226209903/23512663366333564862720527756\ 23*c_1101_3^13*u + 205118056552174732397380923557/23512663366333564\ 86272052775623*c_1101_3^13 + 310596620934988162760190544345/2351266\ 336633356486272052775623*c_1101_3^12*u - 365479625454302601026630947054/2351266336633356486272052775623*c_11\ 01_3^12 + 1911677285851981075194537919/4251837860096485508629390191\ *c_1101_3^11*u + 6297322031092724568634627388/425183786009648550862\ 9390191*c_1101_3^11 - 1486343969850753758071796247299/7837554455444\ 52162090684258541*c_1101_3^10*u - 1095501020656840996520066483099/7\ 83755445544452162090684258541*c_1101_3^10 + 523214991163304539982153116570/2351266336633356486272052775623*c_11\ 01_3^9*u + 3152969970063720594955411674893/235126633663335648627205\ 2775623*c_1101_3^9 - 2809478481133152556576879893094/23512663366333\ 56486272052775623*c_1101_3^8*u - 10407909370362406469507882587307/2\ 351266336633356486272052775623*c_1101_3^8 + 2035122314705382173970069000149/783755445544452162090684258541*c_11\ 01_3^7*u + 2310566693261241277289622655878/783755445544452162090684\ 258541*c_1101_3^7 - 692410727046412617523869676351/2351266336633356\ 486272052775623*c_1101_3^6*u - 2144891409619339826008590223550/2351\ 266336633356486272052775623*c_1101_3^6 - 1198723692314456963222857748911/2351266336633356486272052775623*c_1\ 101_3^5*u + 1100803509368895225257920539310/23512663366333564862720\ 52775623*c_1101_3^5 - 1748523890297268063127595544669/7837554455444\ 52162090684258541*c_1101_3^4*u - 871938713397766016995537118968/783\ 755445544452162090684258541*c_1101_3^4 + 10958508623191853218436364290213/2351266336633356486272052775623*c_\ 1101_3^3*u - 3308416196941380556697291019416/2351266336633356486272\ 052775623*c_1101_3^3 + 4892775084504862474674577891/159950090927439\ 21675320086909*c_1101_3^2*u + 71893606839926340662438559994/1599500\ 9092743921675320086909*c_1101_3^2 - 3899104134143319446061250320455/2351266336633356486272052775623*c_1\ 101_3*u - 4519480339353067248581982552568/2351266336633356486272052\ 775623*c_1101_3 + 1525385734777177534464118538317/23512663366333564\ 86272052775623*u + 35800937020847987136776730617/235126633663335648\ 6272052775623, c_1101_0 - 62267536203063263251504491308/335895190947622355181721825089\ *c_1101_3^13*u + 1468643873483462471664895205972/235126633663335648\ 6272052775623*c_1101_3^13 + 1826719986072733014010334324401/7837554\ 45544452162090684258541*c_1101_3^12*u + 5944232771431876409169806039731/2351266336633356486272052775623*c_1\ 101_3^12 - 9010735950789206263905201902/141727928669882850287646339\ 7*c_1101_3^11*u - 1687939399826400653143585228/60740540858521221551\ 8484313*c_1101_3^11 + 903479356413987212440674664684/33589519094762\ 2355181721825089*c_1101_3^10*u + 1662475865036307864915838995055/78\ 3755445544452162090684258541*c_1101_3^10 - 15256448015928424985643533336881/2351266336633356486272052775623*c_\ 1101_3^9*u - 22079158518203382439450218696716/235126633663335648627\ 2052775623*c_1101_3^9 + 16714141175875756904894171581483/2351266336\ 633356486272052775623*c_1101_3^8*u + 2015623538574247112496156783334/335895190947622355181721825089*c_11\ 01_3^8 - 725412544678738424858167969406/335895190947622355181721825\ 089*c_1101_3^7*u - 189733942935503003921684205227/23512663366333564\ 86272052775623*c_1101_3^7 - 2677527280253342449160311431160/2351266\ 336633356486272052775623*c_1101_3^6*u - 854907647567868712906937766223/783755445544452162090684258541*c_110\ 1_3^6 - 9578455345861634902587766511704/235126633663335648627205277\ 5623*c_1101_3^5*u - 120661011513245693451807443408/3358951909476223\ 55181721825089*c_1101_3^5 + 481631009628516417936820066582/11196506\ 3649207451727240608363*c_1101_3^4*u - 17683207882077115246600002781822/2351266336633356486272052775623*c_\ 1101_3^4 + 4152087511465912965301118107704/783755445544452162090684\ 258541*c_1101_3^3*u + 31074244388436538476998556559669/235126633663\ 3356486272052775623*c_1101_3^3 - 397849712488707846087394413514/479\ 85027278231765025960260727*c_1101_3^2*u - 104675373602680621365320091599/15995009092743921675320086909*c_1101\ _3^2 + 709568420750908638883350158480/33589519094762235518172182508\ 9*c_1101_3*u - 3402783336671999411444280973175/23512663366333564862\ 72052775623*c_1101_3 + 208191659577424425322175190140/2351266336633\ 356486272052775623*u + 412147757682278858881508370708/7837554455444\ 52162090684258541, c_1101_3^14 + 329/109*c_1101_3^13*u + 329/109*c_1101_3^13 - 905/109*c_1101_3^12*u - 114/109*c_1101_3^11 - 1372/109*c_1101_3^10*u - 1372/109*c_1101_3^10 + 957/109*c_1101_3^9*u + 217/109*c_1101_3^8 - 266/109*c_1101_3^7*u - 266/109*c_1101_3^7 - 498/109*c_1101_3^6*u - 1768/109*c_1101_3^5 + 1798/109*c_1101_3^4*u + 1798/109*c_1101_3^4 - 1128/109*c_1101_3^3*u - 480/109*c_1101_3^2 + 83/109*c_1101_3*u + 83/109*c_1101_3 - 59/109*u, u^2 + u + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ], [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 17108.500 Total time: 17108.709 seconds, Total memory usage: 13469.97MB