Magma V2.19-8 Sat Sep 14 2013 00:47:09 on localhost [Seed = 642227818] Type ? for help. Type -D to quit. Loading file "11_331__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_331 geometric_solution 16.23323817 oriented_manifold CS_known -0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 17 1 2 2 3 0132 0132 1302 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 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631681702366 0.958654313999 0 4 5 4 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -9 9 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.745643425014 0.763640174895 0 0 7 6 2031 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 1 0 -1 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.520741581305 0.727333321327 8 9 0 4 0132 0132 0132 0213 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 10 0 0 -10 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.006492464824 0.767938200395 1 1 10 3 3012 0132 0132 0213 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 -9 -1 0 10 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392620350478 1.178741587956 8 7 11 1 3120 1023 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -9 0 0 9 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.172739911722 0.681792321599 12 12 2 13 0132 1302 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.424779024944 0.584272435610 5 14 15 2 1023 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 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.291871195271 1.192710251591 3 16 11 5 0132 0132 3120 3120 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -10 0 1 9 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.885788873800 0.431941047206 16 3 13 14 3012 0132 1302 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.697268419816 0.569022003534 15 15 13 4 0132 1230 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440373673255 0.865363393575 15 13 8 5 1302 2103 3120 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 -1 1 1 0 -1 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.381381555538 0.836452855851 6 16 14 6 0132 1023 2031 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 1 -1 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.855660875785 0.869125232964 9 11 6 10 2031 2103 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631337554112 0.923660334559 16 7 9 12 2103 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 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.020958479169 0.857488007781 10 11 10 7 0132 2031 3012 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 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.532900170733 0.917882057765 12 8 14 9 1023 0132 2103 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1.193601256877 0.869294323228 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_12'], 'c_1001_15' : negation(d['c_0011_10']), 'c_1001_14' : d['c_1001_14'], 'c_1001_16' : d['c_0011_14'], 'c_1001_11' : d['c_0011_13'], 'c_1001_10' : d['c_1001_10'], 'c_1001_13' : d['c_0011_11'], 'c_1001_12' : d['c_0101_14'], 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_0101_15'], 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_6'], 'c_1001_3' : d['c_1001_14'], 'c_1001_2' : d['c_1001_14'], 'c_1001_9' : d['c_0110_13'], 'c_1001_8' : negation(d['c_0011_13']), 'c_1010_13' : negation(d['c_0101_10']), 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : d['c_0101_15'], 'c_1010_16' : negation(d['c_0011_13']), 'c_1010_15' : d['c_0011_11'], 'c_1010_14' : d['c_0011_11'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_0_15' : d['1'], 's_0_16' : d['1'], 's_3_16' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0101_10'], 'c_0101_16' : d['c_0101_14'], 'c_0101_15' : d['c_0101_15'], 'c_0101_14' : d['c_0101_14'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_16' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_15' : negation(d['c_0011_10']), 'c_0011_14' : d['c_0011_14'], 'c_0011_16' : d['c_0011_12'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : d['c_0110_13'], 'c_1100_7' : negation(d['c_1001_10']), 'c_1100_6' : negation(d['c_1001_10']), 'c_1100_1' : negation(d['c_0101_8']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_1001_10']), 'c_1100_14' : d['c_0101_12'], 'c_1100_15' : negation(d['c_1001_10']), 's_3_11' : d['1'], 'c_1100_16' : d['c_0101_14'], 'c_1100_11' : negation(d['c_0101_8']), 'c_1100_10' : d['c_0110_13'], 'c_1100_13' : negation(d['c_1001_10']), 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_14'], 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_0101_2'], 's_0_13' : d['1'], 'c_1010_3' : d['c_0110_13'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : d['c_0101_15'], 'c_1010_0' : d['c_1001_14'], 's_3_15' : d['1'], 'c_1010_9' : d['c_1001_14'], 's_3_14' : d['1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_14']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_14']), 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0101_15'], 'c_0110_13' : d['c_0110_13'], 'c_0110_12' : d['c_0101_6'], 'c_0110_15' : d['c_0101_10'], 'c_0110_14' : negation(d['c_0101_14']), 'c_0110_16' : negation(d['c_0011_12']), 'c_1010_4' : d['c_0101_2'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 's_2_14' : d['1'], 's_2_15' : d['1'], 'c_1010_8' : d['c_0011_14'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_15'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0011_13']), 'c_0101_8' : d['c_0101_8'], 's_1_16' : d['1'], 's_1_15' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_14'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0011_0'], 'c_1100_9' : d['c_0101_12'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_8']), 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : negation(d['c_0011_10']), 'c_0101_13' : d['c_0101_12']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0101_1, c_0101_10, c_0101_12, c_0101_14, c_0101_15, c_0101_2, c_0101_6, c_0101_8, c_0110_13, c_1001_10, c_1001_14 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 169305974923651529016537078716248008307/461647408679522993070753929\ 81689453*c_1001_14^16 - 353019764043851140280158935692019503023/461\ 64740867952299307075392981689453*c_1001_14^15 - 273067960667011349432616050004477846622/461647408679522993070753929\ 81689453*c_1001_14^14 + 2744145929653994446525840313277175881503/46\ 164740867952299307075392981689453*c_1001_14^13 + 6533885277996346263263807238418038550479/46164740867952299307075392\ 981689453*c_1001_14^12 - 2439259677926337877933540748149380309681/6\ 594962981136042758153627568812779*c_1001_14^11 - 12888389481918549972171982498515291832651/4616474086795229930707539\ 2981689453*c_1001_14^10 + 248642386104065613003285156452836687575/2\ 007162646432708665525017086160411*c_1001_14^9 + 162908238703959945313251815688675336407721/461647408679522993070753\ 92981689453*c_1001_14^8 - 11203286460770130822369323112721701109826\ 1/46164740867952299307075392981689453*c_1001_14^7 - 241601416306544495870681245257285257420737/461647408679522993070753\ 92981689453*c_1001_14^6 + 22639984748811598836349548931494957632785\ 6/46164740867952299307075392981689453*c_1001_14^5 - 42942151390832905110761757803419312141127/4616474086795229930707539\ 2981689453*c_1001_14^4 - 321157876472960548068193301073716876832333\ /46164740867952299307075392981689453*c_1001_14^3 + 305656568316517366194792897786802076114009/461647408679522993070753\ 92981689453*c_1001_14^2 + 29875622426047529491273333485782758218560\ /6594962981136042758153627568812779*c_1001_14 + 37465203022522786281252436473626792829997/4616474086795229930707539\ 2981689453, c_0011_0 - 1, c_0011_10 + 62104394402880681666747357491/15091448469418862146804639745\ 567*c_1001_14^16 + 173230358508061285724599136617/15091448469418862\ 146804639745567*c_1001_14^15 + 259661018789780295684155909660/15091\ 448469418862146804639745567*c_1001_14^14 - 680793724455666915329323378694/15091448469418862146804639745567*c_1\ 001_14^13 - 2570021354346543205824220166016/15091448469418862146804\ 639745567*c_1001_14^12 + 4344055156240732850028529622722/1509144846\ 9418862146804639745567*c_1001_14^11 + 6086672807794587009738013076159/15091448469418862146804639745567*c_\ 1001_14^10 + 2953879287549113888222739633357/1509144846941886214680\ 4639745567*c_1001_14^9 - 53158809865010468502062136211439/150914484\ 69418862146804639745567*c_1001_14^8 + 10953578621710577351542012887062/15091448469418862146804639745567*c\ _1001_14^7 + 70433571901271255625286623779522/150914484694188621468\ 04639745567*c_1001_14^6 - 53976889209409853314826124597358/15091448\ 469418862146804639745567*c_1001_14^5 - 4661822945240288949366917507527/15091448469418862146804639745567*c_\ 1001_14^4 + 117506775792944457668117891700389/150914484694188621468\ 04639745567*c_1001_14^3 - 38316833971387017516460630499495/15091448\ 469418862146804639745567*c_1001_14^2 - 55600706854476480866175573061759/15091448469418862146804639745567*c\ _1001_14 - 3081592657977471898799420407609/150914484694188621468046\ 39745567, c_0011_11 + 40721657822385374868269547550/15091448469418862146804639745\ 567*c_1001_14^16 + 119891610134985019584537640355/15091448469418862\ 146804639745567*c_1001_14^15 + 167371009035558619664490933682/15091\ 448469418862146804639745567*c_1001_14^14 - 484125873098316415281318020000/15091448469418862146804639745567*c_1\ 001_14^13 - 1862767676884507788266841352262/15091448469418862146804\ 639745567*c_1001_14^12 + 2781347754512277935259474591306/1509144846\ 9418862146804639745567*c_1001_14^11 + 5397279393137444771983174262608/15091448469418862146804639745567*c_\ 1001_14^10 + 1613766658920950149598234140042/1509144846941886214680\ 4639745567*c_1001_14^9 - 36632112464470323968384011879772/150914484\ 69418862146804639745567*c_1001_14^8 - 122906025407322655115468593358/15091448469418862146804639745567*c_1\ 001_14^7 + 64257549950107064552454343731683/15091448469418862146804\ 639745567*c_1001_14^6 - 23701978261169740271096475089918/1509144846\ 9418862146804639745567*c_1001_14^5 - 27020240623320933095313694870208/15091448469418862146804639745567*c\ _1001_14^4 + 86684040940275022560655262359162/150914484694188621468\ 04639745567*c_1001_14^3 - 23073726639240868152301814488518/15091448\ 469418862146804639745567*c_1001_14^2 - 68402897148048520272024133474174/15091448469418862146804639745567*c\ _1001_14 - 21628817161220142165586998526534/15091448469418862146804\ 639745567, c_0011_12 - 60878045238360662315196758642/15091448469418862146804639745\ 567*c_1001_14^16 - 172019986411379687889127926076/15091448469418862\ 146804639745567*c_1001_14^15 - 209207049101573867147006644632/15091\ 448469418862146804639745567*c_1001_14^14 + 833522162733364868699650654221/15091448469418862146804639745567*c_1\ 001_14^13 + 2891703360867606825937533003876/15091448469418862146804\ 639745567*c_1001_14^12 - 4445546826461076521763576620625/1509144846\ 9418862146804639745567*c_1001_14^11 - 8292403919142253787872505778542/15091448469418862146804639745567*c_\ 1001_14^10 - 1054582509921678782169391570402/1509144846941886214680\ 4639745567*c_1001_14^9 + 57376460322887965798916939335611/150914484\ 69418862146804639745567*c_1001_14^8 - 1677594061632183012852732525654/15091448469418862146804639745567*c_\ 1001_14^7 - 107356702622623557221203382790620/150914484694188621468\ 04639745567*c_1001_14^6 + 38978063004505577640173709562621/15091448\ 469418862146804639745567*c_1001_14^5 + 37845780845370749848349657549665/15091448469418862146804639745567*c\ _1001_14^4 - 134661692591854629540480821990276/15091448469418862146\ 804639745567*c_1001_14^3 + 26815915741760458692262151496949/1509144\ 8469418862146804639745567*c_1001_14^2 + 128072598713482453469401447175478/15091448469418862146804639745567*\ c_1001_14 + 23884918187741708494352196319716/1509144846941886214680\ 4639745567, c_0011_13 + 9542238112272988390464861242/150914484694188621468046397455\ 67*c_1001_14^16 + 17823244424525886190809895785/1509144846941886214\ 6804639745567*c_1001_14^15 - 271534568661011119577080925/1509144846\ 9418862146804639745567*c_1001_14^14 - 197197388584622163596027705997/15091448469418862146804639745567*c_1\ 001_14^13 - 418705707538744241764510825435/150914484694188621468046\ 39745567*c_1001_14^12 + 1068408386290395676357881046129/15091448469\ 418862146804639745567*c_1001_14^11 + 905804774008454682298885154236/15091448469418862146804639745567*c_1\ 001_14^10 - 1014672174020017901636812574981/15091448469418862146804\ 639745567*c_1001_14^9 - 10178559191984802119661468168453/1509144846\ 9418862146804639745567*c_1001_14^8 + 6760330618740428875010635873788/15091448469418862146804639745567*c_\ 1001_14^7 + 19340600977601080607374519156816/1509144846941886214680\ 4639745567*c_1001_14^6 - 15438355586161337244320098422970/150914484\ 69418862146804639745567*c_1001_14^5 + 618988807362832261486619819411/15091448469418862146804639745567*c_1\ 001_14^4 + 27797442840800460479919854826143/15091448469418862146804\ 639745567*c_1001_14^3 - 22897658134880237020110626575722/1509144846\ 9418862146804639745567*c_1001_14^2 - 27668574224360553686378885587664/15091448469418862146804639745567*c\ _1001_14 + 5840678990180401759155971106204/150914484694188621468046\ 39745567, c_0011_14 - 50670087376028453540644663342/15091448469418862146804639745\ 567*c_1001_14^16 - 125365458192390078316130269786/15091448469418862\ 146804639745567*c_1001_14^15 - 81185668492690173060327936693/150914\ 48469418862146804639745567*c_1001_14^14 + 936732719047504781288546500393/15091448469418862146804639745567*c_1\ 001_14^13 + 2578464005103658677600706152121/15091448469418862146804\ 639745567*c_1001_14^12 - 4486735720561656147460540723562/1509144846\ 9418862146804639745567*c_1001_14^11 - 7449093233534851982074462732112/15091448469418862146804639745567*c_\ 1001_14^10 + 2029697343910777478977996642894/1509144846941886214680\ 4639745567*c_1001_14^9 + 54036847640528133675943777505746/150914484\ 69418862146804639745567*c_1001_14^8 - 9146489454602230429903543473663/15091448469418862146804639745567*c_\ 1001_14^7 - 113706521606899591294914802301038/150914484694188621468\ 04639745567*c_1001_14^6 + 30597916698750242095376129131362/15091448\ 469418862146804639745567*c_1001_14^5 + 44086450619944275460279514882431/15091448469418862146804639745567*c\ _1001_14^4 - 133378059304138090669919942815458/15091448469418862146\ 804639745567*c_1001_14^3 + 40486654859534227352875511627562/1509144\ 8469418862146804639745567*c_1001_14^2 + 153381288411189720655263356249518/15091448469418862146804639745567*\ c_1001_14 + 39900139387652219197195469641737/1509144846941886214680\ 4639745567, c_0101_1 - 155766392902347180994457224101/15091448469418862146804639745\ 567*c_1001_14^16 - 421876790231036478412375806309/15091448469418862\ 146804639745567*c_1001_14^15 - 525289693398491463808619107775/15091\ 448469418862146804639745567*c_1001_14^14 + 2090286429836302452341985623166/15091448469418862146804639745567*c_\ 1001_14^13 + 6981152032891446941986334509459/1509144846941886214680\ 4639745567*c_1001_14^12 - 11810723012590537788245842618065/15091448\ 469418862146804639745567*c_1001_14^11 - 18436218891600055766126426689523/15091448469418862146804639745567*c\ _1001_14^10 - 3446737511185630887818921427400/150914484694188621468\ 04639745567*c_1001_14^9 + 144557425350638274423014448871223/1509144\ 8469418862146804639745567*c_1001_14^8 - 23790704576620451571361577089739/15091448469418862146804639745567*c\ _1001_14^7 - 239415363574715473868229601586683/15091448469418862146\ 804639745567*c_1001_14^6 + 110858431522754453247469608985709/150914\ 48469418862146804639745567*c_1001_14^5 + 59766434272232004850938526259710/15091448469418862146804639745567*c\ _1001_14^4 - 313361017326530849887733162278727/15091448469418862146\ 804639745567*c_1001_14^3 + 104331283417574630731102216315941/150914\ 48469418862146804639745567*c_1001_14^2 + 259266803203853105012938352187204/15091448469418862146804639745567*\ c_1001_14 + 67254584736244695573459298869039/1509144846941886214680\ 4639745567, c_0101_10 - 665719750059220384087234058/1509144846941886214680463974556\ 7*c_1001_14^16 - 28831283794463723382187760505/15091448469418862146\ 804639745567*c_1001_14^15 - 128292915177544705206255788864/15091448\ 469418862146804639745567*c_1001_14^14 - 300407944898762076184923552169/15091448469418862146804639745567*c_1\ 001_14^13 - 105466351774796093427683973680/150914484694188621468046\ 39745567*c_1001_14^12 + 1109597280390975302054845149066/15091448469\ 418862146804639745567*c_1001_14^11 + 62494088401052876500842107806/15091448469418862146804639745567*c_10\ 01_14^10 - 4098952027852474162784200788277/150914484694188621468046\ 39745567*c_1001_14^9 - 6838946509624969996688306338588/150914484694\ 18862146804639745567*c_1001_14^8 + 14229226011710476292061446821797/15091448469418862146804639745567*c\ _1001_14^7 + 25690419961877114681085938667234/150914484694188621468\ 04639745567*c_1001_14^6 - 7058209280406001699522517991711/150914484\ 69418862146804639745567*c_1001_14^5 - 5621680967210693350443237513355/15091448469418862146804639745567*c_\ 1001_14^4 + 26513809553083921609358975651325/1509144846941886214680\ 4639745567*c_1001_14^3 - 36568397252654005680723986706335/150914484\ 69418862146804639745567*c_1001_14^2 - 52977263922067820872240794661704/15091448469418862146804639745567*c\ _1001_14 - 10174542209730108943687302215817/15091448469418862146804\ 639745567, c_0101_12 + 50263895934658363258734408792/15091448469418862146804639745\ 567*c_1001_14^16 + 137714854559510905775347536140/15091448469418862\ 146804639745567*c_1001_14^15 + 167099474466897608544913852757/15091\ 448469418862146804639745567*c_1001_14^14 - 681323261682938578877345725997/15091448469418862146804639745567*c_1\ 001_14^13 - 2281473384423252030031352177697/15091448469418862146804\ 639745567*c_1001_14^12 + 3849756140802673611617355637435/1509144846\ 9418862146804639745567*c_1001_14^11 + 6303084167145899454282059416844/15091448469418862146804639745567*c_\ 1001_14^10 + 599094484900932247961421565061/15091448469418862146804\ 639745567*c_1001_14^9 - 46810671656455126088045480048225/1509144846\ 9418862146804639745567*c_1001_14^8 + 6637424593333106219895167280430/15091448469418862146804639745567*c_\ 1001_14^7 + 83598150927708145159828862888499/1509144846941886214680\ 4639745567*c_1001_14^6 - 39140333847331077515416573512888/150914484\ 69418862146804639745567*c_1001_14^5 - 26401251815958100833827075050797/15091448469418862146804639745567*c\ _1001_14^4 + 114481483781075483040575117185305/15091448469418862146\ 804639745567*c_1001_14^3 - 45971384774121105172412441064240/1509144\ 8469418862146804639745567*c_1001_14^2 - 96071471372409073958403019061838/15091448469418862146804639745567*c\ _1001_14 - 15788138171039740406431027420330/15091448469418862146804\ 639745567, c_0101_14 - 51470321187878118104628625660/15091448469418862146804639745\ 567*c_1001_14^16 - 142282828070568549636899498405/15091448469418862\ 146804639745567*c_1001_14^15 - 140421780213675397712272974138/15091\ 448469418862146804639745567*c_1001_14^14 + 812873604318182020540425592792/15091448469418862146804639745567*c_1\ 001_14^13 + 2604742017570474345522070111923/15091448469418862146804\ 639745567*c_1001_14^12 - 3995962649816780045409212357042/1509144846\ 9418862146804639745567*c_1001_14^11 - 7862187977820235708161193884758/15091448469418862146804639745567*c_\ 1001_14^10 + 652159821872452659072238783273/15091448469418862146804\ 639745567*c_1001_14^9 + 51411878106143309636750610999093/1509144846\ 9418862146804639745567*c_1001_14^8 - 409010647254538165758221983523/15091448469418862146804639745567*c_1\ 001_14^7 - 108909666817989207233795252219038/1509144846941886214680\ 4639745567*c_1001_14^6 + 30931245429907692598929017969413/150914484\ 69418862146804639745567*c_1001_14^5 + 48966447995134478961775919194820/15091448469418862146804639745567*c\ _1001_14^4 - 138257979058474541468680557537193/15091448469418862146\ 804639745567*c_1001_14^3 + 33667536208908196482609362802612/1509144\ 8469418862146804639745567*c_1001_14^2 + 142157123503607762421012248357736/15091448469418862146804639745567*\ c_1001_14 + 22158289987703914635447544470092/1509144846941886214680\ 4639745567, c_0101_15 + 86236663665510657604388097808/15091448469418862146804639745\ 567*c_1001_14^16 + 274576215400796158690834305679/15091448469418862\ 146804639745567*c_1001_14^15 + 454733083214005472113850729266/15091\ 448469418862146804639745567*c_1001_14^14 - 777565128263349323085495484221/15091448469418862146804639745567*c_1\ 001_14^13 - 3853116592951007682064985275867/15091448469418862146804\ 639745567*c_1001_14^12 + 4839029829170851984772818616527/1509144846\ 9418862146804639745567*c_1001_14^11 + 10831662317413179085737136773786/15091448469418862146804639745567*c\ _1001_14^10 + 6609959413528751038158740457883/150914484694188621468\ 04639745567*c_1001_14^9 - 70645144736251073479448218728758/15091448\ 469418862146804639745567*c_1001_14^8 - 11606551503177821007504912817090/15091448469418862146804639745567*c\ _1001_14^7 + 108747342301747306886947456760377/15091448469418862146\ 804639745567*c_1001_14^6 - 54053191687348793864729299873115/1509144\ 8469418862146804639745567*c_1001_14^5 - 34187962407113886224941137692763/15091448469418862146804639745567*c\ _1001_14^4 + 170313667657360159393405384165510/15091448469418862146\ 804639745567*c_1001_14^3 - 15666395367470594739050862107004/1509144\ 8469418862146804639745567*c_1001_14^2 - 98646922585085804782705280685865/15091448469418862146804639745567*c\ _1001_14 - 18547263981671710327086128608010/15091448469418862146804\ 639745567, c_0101_2 + 69554657738635040508636606311/150914484694188621468046397455\ 67*c_1001_14^16 + 199121735103632133135444957691/150914484694188621\ 46804639745567*c_1001_14^15 + 260395386530014275843736529459/150914\ 48469418862146804639745567*c_1001_14^14 - 903939016033594515492698801118/15091448469418862146804639745567*c_1\ 001_14^13 - 3280535498347129861835802609553/15091448469418862146804\ 639745567*c_1001_14^12 + 4800649145072751793808617023028/1509144846\ 9418862146804639745567*c_1001_14^11 + 9086571643550320237903063475277/15091448469418862146804639745567*c_\ 1001_14^10 + 2571928112923297343132945161314/1509144846941886214680\ 4639745567*c_1001_14^9 - 64018932811603744973938414325804/150914484\ 69418862146804639745567*c_1001_14^8 + 23579162144086205400523647047/15091448469418862146804639745567*c_10\ 01_14^7 + 110230603697643709260516135941314/15091448469418862146804\ 639745567*c_1001_14^6 - 36729265412259840734533670734566/1509144846\ 9418862146804639745567*c_1001_14^5 - 27615977554053752830525960883539/15091448469418862146804639745567*c\ _1001_14^4 + 140159638455634489727993871354053/15091448469418862146\ 804639745567*c_1001_14^3 - 35378900534311679895361244914042/1509144\ 8469418862146804639745567*c_1001_14^2 - 133876628148138202642786780225352/15091448469418862146804639745567*\ c_1001_14 - 36182601579706413500549519005834/1509144846941886214680\ 4639745567, c_0101_6 + 8212819667796575853183165204/1509144846941886214680463974556\ 7*c_1001_14^16 + 63775517841146720125105631164/15091448469418862146\ 804639745567*c_1001_14^15 + 209365621379979387998530936672/15091448\ 469418862146804639745567*c_1001_14^14 + 307530437695762692857652635461/15091448469418862146804639745567*c_1\ 001_14^13 - 299462024182986947578207523005/150914484694188621468046\ 39745567*c_1001_14^12 - 1249853052844769740701239269497/15091448469\ 418862146804639745567*c_1001_14^11 + 1193333455310919231827053863700/15091448469418862146804639745567*c_\ 1001_14^10 + 6335517576474834122544092775523/1509144846941886214680\ 4639745567*c_1001_14^9 + 1830631640456823075807572317201/1509144846\ 9418862146804639745567*c_1001_14^8 - 23161846890799563913081759849150/15091448469418862146804639745567*c\ _1001_14^7 - 23467943633778429879271875790466/150914484694188621468\ 04639745567*c_1001_14^6 + 16524717482527130829188130661627/15091448\ 469418862146804639745567*c_1001_14^5 - 2231918680246076505705341004043/15091448469418862146804639745567*c_\ 1001_14^4 - 16124470696422516270439370630242/1509144846941886214680\ 4639745567*c_1001_14^3 + 55670928673617682239519813862920/150914484\ 69418862146804639745567*c_1001_14^2 + 53372243234931480207652903709271/15091448469418862146804639745567*c\ _1001_14 + 2271331172759702008646914334942/150914484694188621468046\ 39745567, c_0101_8 - 81480732521442383172288064640/150914484694188621468046397455\ 67*c_1001_14^16 - 211950106197237037228962070617/150914484694188621\ 46804639745567*c_1001_14^15 - 252369743614298007013246657374/150914\ 48469418862146804639745567*c_1001_14^14 + 1122419354324048548648956484239/15091448469418862146804639745567*c_\ 1001_14^13 + 3545296936123985796428969335300/1509144846941886214680\ 4639745567*c_1001_14^12 - 6514849299828212943003001893473/150914484\ 69418862146804639745567*c_1001_14^11 - 8909043289248548266959031241215/15091448469418862146804639745567*c_\ 1001_14^10 - 1027655394845956082721743253762/1509144846941886214680\ 4639745567*c_1001_14^9 + 75519640165926588485743501891674/150914484\ 69418862146804639745567*c_1001_14^8 - 20122256297662736434522886543404/15091448469418862146804639745567*c\ _1001_14^7 - 121539076646259698621781294956223/15091448469418862146\ 804639745567*c_1001_14^6 + 69570969391394975033065978313472/1509144\ 8469418862146804639745567*c_1001_14^5 + 17250463131596260120776194056604/15091448469418862146804639745567*c\ _1001_14^4 - 168349215303938713899550477845979/15091448469418862146\ 804639745567*c_1001_14^3 + 74826394957175647173320971140518/1509144\ 8469418862146804639745567*c_1001_14^2 + 132583411627197997763015080587329/15091448469418862146804639745567*\ c_1001_14 + 20851371142790346598880847739795/1509144846941886214680\ 4639745567, c_0110_13 + 77648517850948254343553601335/15091448469418862146804639745\ 567*c_1001_14^16 + 273951423289976478509380845779/15091448469418862\ 146804639745567*c_1001_14^15 + 521582420701516860430280049976/15091\ 448469418862146804639745567*c_1001_14^14 - 446777135283720122429258910860/15091448469418862146804639745567*c_1\ 001_14^13 - 3451889695962447363345849913740/15091448469418862146804\ 639745567*c_1001_14^12 + 3206205014022852996226888961779/1509144846\ 9418862146804639745567*c_1001_14^11 + 10169105746512853357780969234866/15091448469418862146804639745567*c\ _1001_14^10 + 9807266609466689132239235670754/150914484694188621468\ 04639745567*c_1001_14^9 - 58115028099537562097130791841939/15091448\ 469418862146804639745567*c_1001_14^8 - 27291974051913374455121427809573/15091448469418862146804639745567*c\ _1001_14^7 + 78415322417154731214252101051279/150914484694188621468\ 04639745567*c_1001_14^6 - 31654118024859078672742987988700/15091448\ 469418862146804639745567*c_1001_14^5 - 31514042582952881746346743562255/15091448469418862146804639745567*c\ _1001_14^4 + 126963975430676154595214956445602/15091448469418862146\ 804639745567*c_1001_14^3 + 20885594769587786782379038545026/1509144\ 8469418862146804639745567*c_1001_14^2 - 54868154143012213815661061780556/15091448469418862146804639745567*c\ _1001_14 - 8198569342806231911984909135959/150914484694188621468046\ 39745567, c_1001_10 - 9013053479646240417167127522/150914484694188621468046397455\ 67*c_1001_14^16 - 80692887719325191445874859783/1509144846941886214\ 6804639745567*c_1001_14^15 - 268601733100964612650475974117/1509144\ 8469418862146804639745567*c_1001_14^14 - 431389552425085453605773543062/15091448469418862146804639745567*c_1\ 001_14^13 + 325740036649802615499571482807/150914484694188621468046\ 39745567*c_1001_14^12 + 1740626123589645842752567636017/15091448469\ 418862146804639745567*c_1001_14^11 - 1606428199596302957913785016346/15091448469418862146804639745567*c_\ 1001_14^10 - 7713055098513158942449850635144/1509144846941886214680\ 4639745567*c_1001_14^9 - 4455601174841647115000738823854/1509144846\ 9418862146804639745567*c_1001_14^8 + 31899325698147256177227081339290/15091448469418862146804639745567*c\ _1001_14^7 + 28264798422688813940391425872466/150914484694188621468\ 04639745567*c_1001_14^6 - 16191388751369680325635241823576/15091448\ 469418862146804639745567*c_1001_14^5 + 7111916055436280007201745316432/15091448469418862146804639745567*c_\ 1001_14^4 + 11244550942086065471678755908507/1509144846941886214680\ 4639745567*c_1001_14^3 - 62490047324243713109785962687870/150914484\ 69418862146804639745567*c_1001_14^2 - 64596408142513438441904011601053/15091448469418862146804639745567*c\ _1001_14 - 20013180572708006570394839506587/15091448469418862146804\ 639745567, c_1001_14^17 + 3*c_1001_14^16 + 4*c_1001_14^15 - 13*c_1001_14^14 - 50*c_1001_14^13 + 63*c_1001_14^12 + 146*c_1001_14^11 + 50*c_1001_14^10 - 935*c_1001_14^9 - 146*c_1001_14^8 + 1682*c_1001_14^7 - 250*c_1001_14^6 - 619*c_1001_14^5 + 2024*c_1001_14^4 - 109*c_1001_14^3 - 2037*c_1001_14^2 - 918*c_1001_14 - 133 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3291.610 Total time: 3291.809 seconds, Total memory usage: 9618.28MB