Magma V2.19-8 Wed Aug 21 2013 00:54:54 on localhost [Seed = 1191271684] Type ? for help. Type -D to quit. Loading file "L12n719__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n719 geometric_solution 11.86166401 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.863005957930 1.078044895853 0 5 7 6 0132 0132 0132 0132 1 0 0 1 0 1 0 -1 0 0 1 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 -1 -8 -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 0.053189644236 0.956425977457 8 0 9 4 0132 0132 0132 0213 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.185409371358 1.036856623525 10 5 8 0 0132 1230 0321 0132 1 0 0 1 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 1 -1 1 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.656082045535 0.459035049110 11 7 0 2 0132 0132 0132 0213 1 0 1 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 0 0 0 0 1 -1 0 0 0 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.041004245545 0.623331413950 8 1 3 12 1023 0132 3012 0132 1 1 1 0 0 -1 1 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 -9 9 0 0 0 1 -1 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.007449596640 0.655301048069 10 7 1 9 2103 3201 0132 1302 1 0 1 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -8 8 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.581337548928 1.090361100233 12 4 6 1 0213 0132 2310 0132 1 0 1 1 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 1 0 0 -1 1 -9 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.286666714973 0.516097596621 2 5 3 11 0132 1023 0321 2031 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 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.664408501446 0.870618636648 10 12 6 2 1023 0132 2031 0132 1 1 1 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 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384077969898 0.261172819031 3 9 6 11 0132 1023 2103 0132 1 0 1 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 0 0 0 0 -9 0 0 9 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.709286338715 0.737692626302 4 8 10 12 0132 1302 0132 0213 1 0 1 1 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 0 0 0 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.664408501446 0.870618636648 7 9 5 11 0213 0132 0132 0213 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.982654177003 1.525818985887 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0110_6'], 'c_1001_11' : d['c_0101_2'], 'c_1001_10' : d['c_0011_6'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0110_6']), 'c_1001_8' : d['c_0101_5'], 'c_1010_12' : negation(d['c_0110_6']), 'c_1010_11' : negation(d['c_1001_3']), 'c_1010_10' : d['c_0101_2'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], '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_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_1100_9' : d['c_1001_7'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : d['c_0101_5'], 'c_1100_7' : d['c_0011_6'], 'c_1100_6' : d['c_0011_6'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_1001_7'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0110_6']), 'c_1100_10' : negation(d['c_0110_6']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_1001_7']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_7'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : d['c_0011_11'], '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_1001_3']), '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' : d['c_0011_10'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_11'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : negation(d['c_0101_1']), 'c_0101_12' : d['c_0011_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_11'], '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_0011_6'], 'c_0101_8' : negation(d['c_0101_11']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_11']), 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : d['c_1001_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_5, c_0110_6, c_1001_1, c_1001_3, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 98297531770463127749360727977539463749/9453781784229912449091531235\ 5301800*c_1001_7^15 - 1911592790583722650310089068652161733/1243918\ 655819725322248885688885550*c_1001_7^14 + 20429498682581545244427002128033344568099/1512605085476785991854644\ 997684828800*c_1001_7^13 + 1140322778895299741040569046271001356024\ 9/504201695158928663951548332561609600*c_1001_7^12 + 37548339004107013309345211136205165999393/5042016951589286639515483\ 32561609600*c_1001_7^11 + 38166933031837680464351658758992655426747\ /504201695158928663951548332561609600*c_1001_7^10 + 4393897135292242183855517315196002020001/30252101709535719837092899\ 9536965760*c_1001_7^9 - 1219196747272613568346946409397344933017/10\ 431759210184730978307896535757440*c_1001_7^8 - 4205392503826458642004217138978956970899/18674136857738098664872160\ 465244800*c_1001_7^7 - 388472487720562784018830991105958877445293/1\ 512605085476785991854644997684828800*c_1001_7^6 + 16223287227288487608991529344845156760277/3781512713691964979636612\ 49421207200*c_1001_7^5 + 39558651962124666582679732044038107037621/\ 151260508547678599185464499768482880*c_1001_7^4 + 74988790306786705304876051050125900927599/3781512713691964979636612\ 49421207200*c_1001_7^3 + 27242885537624264244722713788717393577/500\ 200094403699071380504298176200*c_1001_7^2 + 388456719137448397063718596829670418069/995134924655780257799108551\ 1084400*c_1001_7 - 407052741713417561607569454253677274583/63025211\ 894866082993943541570201200, c_0011_0 - 1, c_0011_10 + 747414953454394997438369/188145940740321063494730936*c_1001\ _7^15 + 4762608683579732486900777/94072970370160531747365468*c_1001\ _7^14 - 257071069787205076224718585/3010335051845137015915694976*c_\ 1001_7^13 + 944122300359403017225761003/100344501728171233863856499\ 2*c_1001_7^12 + 735719322265299197253096041/10034450172817123386385\ 64992*c_1001_7^11 + 3754811448273919351548398305/100344501728171233\ 8638564992*c_1001_7^10 + 2915208623023385386363742573/3010335051845\ 137015915694976*c_1001_7^9 - 3808738604447159907477595483/301033505\ 1845137015915694976*c_1001_7^8 - 6218538929283995609675161633/10034\ 45017281712338638564992*c_1001_7^7 - 26766139908085733263787758583/3010335051845137015915694976*c_1001_7\ ^6 - 2010979380323152371428366911/376291881480642126989461872*c_100\ 1_7^5 + 14088098088315112867959407915/1505167525922568507957847488*\ c_1001_7^4 + 6657824874575507857372425769/7525837629612842539789237\ 44*c_1001_7^3 + 208172939195831129753019023/62715313580107021164910\ 312*c_1001_7^2 + 253057445441384742371126615/3762918814806421269894\ 61872*c_1001_7 - 59823385697881065156697201/12543062716021404232982\ 0624, c_0011_11 + 26162964457028704798378385/188145940740321063494730936*c_10\ 01_7^15 - 20232891390936174218789269/94072970370160531747365468*c_1\ 001_7^14 + 5497865691754172628711584663/301033505184513701591569497\ 6*c_1001_7^13 + 2937430079422584876490046287/1003445017281712338638\ 564992*c_1001_7^12 + 9745724213686692384026280109/10034450172817123\ 38638564992*c_1001_7^11 + 10235453601019876562820540737/10034450172\ 81712338638564992*c_1001_7^10 + 4309220973854180531669971517/301033\ 5051845137015915694976*c_1001_7^9 - 39271072684555954701172807471/3010335051845137015915694976*c_1001_7\ ^8 - 30357732477383461842113851389/1003445017281712338638564992*c_1\ 001_7^7 - 98414948253978102691527218351/301033505184513701591569497\ 6*c_1001_7^6 + 655378447482886698756561229/188145940740321063494730\ 936*c_1001_7^5 + 46099648510575959451798751355/15051675259225685079\ 57847488*c_1001_7^4 + 17132049244783397358878671561/752583762961284\ 253978923744*c_1001_7^3 + 829055718651442093359734597/6271531358010\ 7021164910312*c_1001_7^2 + 1803626105205979782503385131/37629188148\ 0642126989461872*c_1001_7 + 99590498365898610683166439/125430627160\ 214042329820624, c_0011_6 + 5842537777554973956958631/188145940740321063494730936*c_1001\ _7^15 - 6581078108266100699863411/94072970370160531747365468*c_1001\ _7^14 + 1459407008450656253903596145/3010335051845137015915694976*c\ _1001_7^13 + 268365134101405783170624409/10034450172817123386385649\ 92*c_1001_7^12 + 2346762643997382616439172979/100344501728171233863\ 8564992*c_1001_7^11 + 1196633760119138415828774983/1003445017281712\ 338638564992*c_1001_7^10 + 3944829533336327294896588619/30103350518\ 45137015915694976*c_1001_7^9 - 6266849160169590058526588233/3010335\ 051845137015915694976*c_1001_7^8 - 5610966326222749804710297987/1003445017281712338638564992*c_1001_7^\ 7 - 20314790836079387586420975737/3010335051845137015915694976*c_10\ 01_7^6 - 83006590328938988451802141/94072970370160531747365468*c_10\ 01_7^5 + 2339918247278550450206043341/1505167525922568507957847488*\ c_1001_7^4 + 4996508803346498342345339647/7525837629612842539789237\ 44*c_1001_7^3 + 393327054533025189344940615/62715313580107021164910\ 312*c_1001_7^2 + 431656978861985995896526469/3762918814806421269894\ 61872*c_1001_7 + 20993967564818098235686049/12543062716021404232982\ 0624, c_0101_0 - 1, c_0101_1 - 603386112202916154463351/94072970370160531747365468*c_1001_7\ ^15 + 2958068116353578048924287/94072970370160531747365468*c_1001_7\ ^14 - 231150412927859866774151185/1505167525922568507957847488*c_10\ 01_7^13 + 30446315999696049014616123/125430627160214042329820624*c_\ 1001_7^12 - 287076737054279977450099309/501722508640856169319282496\ *c_1001_7^11 + 7070424603821353903549672/7839414197513377645613789*\ c_1001_7^10 - 1284488056976413078140817009/150516752592256850795784\ 7488*c_1001_7^9 + 266421124753436876913895595/376291881480642126989\ 461872*c_1001_7^8 - 413312568875128005543985175/5017225086408561693\ 19282496*c_1001_7^7 + 27251513060409311469394951/940729703701605317\ 47365468*c_1001_7^6 - 568784646817462646216626081/75258376296128425\ 3978923744*c_1001_7^5 + 276715227976330040991558013/940729703701605\ 31747365468*c_1001_7^4 - 189045666604324179937303681/18814594074032\ 1063494730936*c_1001_7^3 - 14331140196681905223199017/3135765679005\ 3510582455156*c_1001_7^2 - 256679871327320112478484083/188145940740\ 321063494730936*c_1001_7 + 9093896497593834993761389/31357656790053\ 510582455156, c_0101_11 + 14279615039818465167880937/188145940740321063494730936*c_10\ 01_7^15 - 11349087387015369173250847/94072970370160531747365468*c_1\ 001_7^14 + 3009038607945663040702778879/301033505184513701591569497\ 6*c_1001_7^13 + 1573971924483830045435699683/1003445017281712338638\ 564992*c_1001_7^12 + 5193801160493802958870687521/10034450172817123\ 38638564992*c_1001_7^11 + 5473745100640227155712967609/100344501728\ 1712338638564992*c_1001_7^10 + 1257452956612793742544397669/3010335\ 051845137015915694976*c_1001_7^9 - 19993408961682826287018342883/3010335051845137015915694976*c_1001_7\ ^8 - 16268326822777206370516169801/1003445017281712338638564992*c_1\ 001_7^7 - 50161878159319245988748067119/301033505184513701591569497\ 6*c_1001_7^6 + 801514930990651725072824201/376291881480642126989461\ 872*c_1001_7^5 + 24081079379430329007178960307/15051675259225685079\ 57847488*c_1001_7^4 + 7684003722542667410837394097/7525837629612842\ 53978923744*c_1001_7^3 + 426970345512570628248562923/62715313580107\ 021164910312*c_1001_7^2 + 1300130482951544642093192015/376291881480\ 642126989461872*c_1001_7 + 159690382798245352876801047/125430627160\ 214042329820624, c_0101_2 - 30326329409654723076539357/188145940740321063494730936*c_100\ 1_7^15 + 28244835713659135163920585/94072970370160531747365468*c_10\ 01_7^14 - 6659191992784068902946159083/3010335051845137015915694976\ *c_1001_7^13 - 2698714258573835014054139219/10034450172817123386385\ 64992*c_1001_7^12 - 10462641159837534002417383573/10034450172817123\ 38638564992*c_1001_7^11 - 8489712391865875158876784481/100344501728\ 1712338638564992*c_1001_7^10 + 2880921763446760220663099503/3010335\ 051845137015915694976*c_1001_7^9 + 45015455804764805738605079683/3010335051845137015915694976*c_1001_7\ ^8 + 30191284502769816433649527213/1003445017281712338638564992*c_1\ 001_7^7 + 83806515743461534336399454567/301033505184513701591569497\ 6*c_1001_7^6 - 1242757655666023219150787393/94072970370160531747365\ 468*c_1001_7^5 - 48417661990231795035830826875/15051675259225685079\ 57847488*c_1001_7^4 - 12118527898728295271720135761/752583762961284\ 253978923744*c_1001_7^3 - 548317080772550009959400635/6271531358010\ 7021164910312*c_1001_7^2 - 950171026353587019788492219/376291881480\ 642126989461872*c_1001_7 - 43768381241038486040619703/1254306271602\ 14042329820624, c_0101_5 - 17859957421498979883410543/188145940740321063494730936*c_100\ 1_7^15 + 11984612394743410788244747/94072970370160531747365468*c_10\ 01_7^14 - 3703555954075791927269449961/3010335051845137015915694976\ *c_1001_7^13 - 2196877578143661889884736113/10034450172817123386385\ 64992*c_1001_7^12 - 7361667680865062886931309467/100344501728171233\ 8638564992*c_1001_7^11 - 7940455199099413446543563239/1003445017281\ 712338638564992*c_1001_7^10 - 9785074718969663786943339827/30103350\ 51845137015915694976*c_1001_7^9 + 31106388971534309417320354417/301\ 0335051845137015915694976*c_1001_7^8 + 22155938961302653816702748635/1003445017281712338638564992*c_1001_7\ ^7 + 82108650988049268060449173625/3010335051845137015915694976*c_1\ 001_7^6 + 168997866246220036535568623/188145940740321063494730936*c\ _1001_7^5 - 34623095641017794455235058413/1505167525922568507957847\ 488*c_1001_7^4 - 17732486275381698473383478623/75258376296128425397\ 8923744*c_1001_7^3 - 504431487077994553662007731/627153135801070211\ 64910312*c_1001_7^2 - 1653733595651264109230709629/3762918814806421\ 26989461872*c_1001_7 - 73056317413004142345315489/12543062716021404\ 2329820624, c_0110_6 + 4922813524807689716592271/47036485185080265873682734*c_1001_\ 7^15 - 17006823038037534086146775/94072970370160531747365468*c_1001\ _7^14 + 1050216255251237691240500449/752583762961284253978923744*c_\ 1001_7^13 + 970963177530133520655069699/501722508640856169319282496\ *c_1001_7^12 + 1732603951523118111331238081/25086125432042808465964\ 1248*c_1001_7^11 + 2817707642358391958410107611/5017225086408561693\ 19282496*c_1001_7^10 - 271573764167589221256571603/3762918814806421\ 26989461872*c_1001_7^9 - 19005006605319356663493315235/150516752592\ 2568507957847488*c_1001_7^8 - 4998065852382225873883564589/25086125\ 4320428084659641248*c_1001_7^7 - 29191072396894881809450301425/1505\ 167525922568507957847488*c_1001_7^6 + 9060075248510283984639908567/752583762961284253978923744*c_1001_7^5 + 20212918548432269417749817129/752583762961284253978923744*c_1001_\ 7^4 + 4848981407811679350338142517/376291881480642126989461872*c_10\ 01_7^3 - 47885270257534535802152813/31357656790053510582455156*c_10\ 01_7^2 + 77362189092641504858490109/94072970370160531747365468*c_10\ 01_7 - 31242754541999109411795409/62715313580107021164910312, c_1001_1 + 4386050214406271419649713/188145940740321063494730936*c_1001\ _7^15 - 3402759561019837714176209/94072970370160531747365468*c_1001\ _7^14 + 879978029346842624887349431/3010335051845137015915694976*c_\ 1001_7^13 + 544055799450634599107804759/100344501728171233863856499\ 2*c_1001_7^12 + 1353124787930597061410181657/1003445017281712338638\ 564992*c_1001_7^11 + 1938997251065530294526216845/10034450172817123\ 38638564992*c_1001_7^10 - 2398598854894897024101748907/301033505184\ 5137015915694976*c_1001_7^9 - 3771702445807142177741512343/30103350\ 51845137015915694976*c_1001_7^8 - 5816848331998737715613168001/1003\ 445017281712338638564992*c_1001_7^7 - 12678463299662205706153129099/3010335051845137015915694976*c_1001_7\ ^6 + 82659133160912399508987167/188145940740321063494730936*c_1001_\ 7^5 + 8263086388234770625107745951/1505167525922568507957847488*c_1\ 001_7^4 + 952856378442104507845820093/752583762961284253978923744*c\ _1001_7^3 + 293445305265523427938740895/62715313580107021164910312*\ c_1001_7^2 + 13193895213078931075781479/376291881480642126989461872\ *c_1001_7 + 44422371728965432423392683/125430627160214042329820624, c_1001_3 + 6276941237443141644152431/47036485185080265873682734*c_1001_\ 7^15 - 21732634044780358743443327/94072970370160531747365468*c_1001\ _7^14 + 1346823174659377099659383857/752583762961284253978923744*c_\ 1001_7^13 + 1249559475620233762638804859/50172250864085616931928249\ 6*c_1001_7^12 + 550660258603222285946658097/62715313580107021164910\ 312*c_1001_7^11 + 4061596935927484971900339269/50172250864085616931\ 9282496*c_1001_7^10 - 12131674137259943675515393/235182425925401329\ 36841367*c_1001_7^9 - 18901276612976932579463736019/150516752592256\ 8507957847488*c_1001_7^8 - 3355482907963182284509186465/12543062716\ 0214042329820624*c_1001_7^7 - 38296179428977940164588435043/1505167\ 525922568507957847488*c_1001_7^6 + 6731598967134584336909506979/752583762961284253978923744*c_1001_7^5 + 21897775789826553517308199991/752583762961284253978923744*c_1001_\ 7^4 + 5988515595600008046402617395/376291881480642126989461872*c_10\ 01_7^3 + 136665284416491628516083285/15678828395026755291227578*c_1\ 001_7^2 + 56069426198533105202584033/23518242592540132936841367*c_1\ 001_7 + 11006457124476074407975357/62715313580107021164910312, c_1001_7^16 - c_1001_7^15 + 199/16*c_1001_7^14 + 111/4*c_1001_7^13 + 84*c_1001_7^12 + 885/8*c_1001_7^11 + 241/4*c_1001_7^10 - 745/8*c_1001_7^9 - 2133/8*c_1001_7^8 - 2939/8*c_1001_7^7 - 1795/16*c_1001_7^6 + 1831/8*c_1001_7^5 + 2497/8*c_1001_7^4 + 729/4*c_1001_7^3 + 193/2*c_1001_7^2 + 24*c_1001_7 + 9/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.590 Total time: 0.790 seconds, Total memory usage: 32.09MB