Magma V2.19-8 Wed Aug 21 2013 00:58:31 on localhost [Seed = 3002378289] Type ? for help. Type -D to quit. Loading file "L13n580__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n580 geometric_solution 11.56759239 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 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 0 0 -1 2 0 -1 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.116611745184 1.132371782963 0 4 2 5 0132 1023 1023 0132 1 1 1 0 0 0 0 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 0 -1 1 0 0 0 0 9 0 0 -9 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.089987630900 0.873835254643 4 0 1 6 1023 0132 1023 0132 1 1 1 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 1 0 -1 -1 0 1 0 10 -9 0 -1 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.089987630900 0.873835254643 6 7 5 0 0132 0132 1230 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.474444799403 0.964225363224 1 2 0 5 1023 1023 0132 1230 1 1 1 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 1 -1 0 0 0 0 0 0 -10 0 10 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.116611745184 1.132371782963 4 8 1 3 3012 0132 0132 3012 1 1 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 1 -1 0 0 0 0 0 0 0 0 0 -10 1 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.883015460287 0.895478482527 3 9 2 7 0132 0132 0132 0213 1 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 -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.087273204018 1.165696675677 9 3 10 6 0132 0132 0132 0213 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.610296506178 0.930519014330 11 5 10 11 0132 0132 3201 2031 1 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 -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.674007765832 0.716832679308 7 6 10 12 0132 0132 0321 0132 1 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 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.587254872349 0.408497966579 8 12 9 7 2310 0132 0321 0132 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.161997121326 1.630888080914 8 8 12 12 0132 1302 1230 2310 1 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 -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.303808480231 0.740425938285 11 10 9 11 3201 0132 0132 3012 1 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 1 -1 0 0 0 0 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.674007765832 0.716832679308 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_12' : d['c_1001_0'], 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_12' : negation(d['c_0101_11']), 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_1001_0'], '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_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(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' : negation(d['1']), 's_0_2' : 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_11']), 'c_1100_8' : negation(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_0110_5'], 'c_1100_7' : d['c_1001_9'], 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : negation(d['c_1001_3']), 'c_1100_0' : d['c_0110_5'], 'c_1100_3' : d['c_0110_5'], 'c_1100_2' : d['c_1001_3'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_1001_9'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : d['c_1001_9'], 'c_1010_5' : negation(d['c_0101_10']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_11'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : d['c_0011_11'], 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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_0101_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' : d['c_0011_3'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_11'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_3']), '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_0110_11' : negation(d['c_0101_12']), 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_12'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : negation(d['c_0101_12']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_11'], 'c_0110_7' : negation(d['c_0101_10']), 'c_0110_6' : d['c_0101_10']})} 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_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0110_5, c_1001_0, c_1001_3, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 1159200463560146343600958448293781598193942456545837056/42191937796\ 84824304600652324574077748422231510625*c_1001_9^15 + 1138561181286027348112949833942806141737737462069854208/42191937796\ 84824304600652324574077748422231510625*c_1001_9^14 - 2641138531268591198256601782645972505987484088245682176/14063979265\ 61608101533550774858025916140743836875*c_1001_9^13 + 2240798546834394576695009808630914576688438353858658304/14063979265\ 61608101533550774858025916140743836875*c_1001_9^12 - 19056941442236345228877667602263837292468370160048144384/4219193779\ 684824304600652324574077748422231510625*c_1001_9^11 + 3687304963901802120930692627440271184092417394169872384/14063979265\ 61608101533550774858025916140743836875*c_1001_9^10 - 2522513398255327090705769114199954318746689866426744832/84383875593\ 6964860920130464914815549684446302125*c_1001_9^9 + 1915501443026000198493134825368003323660132508379250688/42191937796\ 84824304600652324574077748422231510625*c_1001_9^8 + 8498374485558029750099486547624730505439299786810195968/42191937796\ 84824304600652324574077748422231510625*c_1001_9^7 - 1142494914191610980201349976322079780800528415558828032/84383875593\ 6964860920130464914815549684446302125*c_1001_9^6 - 1006283261411778306087919951003539210935809707043848192/14063979265\ 61608101533550774858025916140743836875*c_1001_9^5 + 1147829137669907051188028727449455494541032758649167872/42191937796\ 84824304600652324574077748422231510625*c_1001_9^4 + 208598263023056216802437828320023555884217604698161152/421919377968\ 4824304600652324574077748422231510625*c_1001_9^3 - 146747983378592645932062513060413678160484235103653888/421919377968\ 4824304600652324574077748422231510625*c_1001_9^2 - 1218310373663836492920873519219811253561665399472128/42191937796848\ 24304600652324574077748422231510625*c_1001_9 + 1799593541971311050908687472068864711676816398335488/84383875593696\ 4860920130464914815549684446302125, c_0011_0 - 1, c_0011_10 - 204358711139530367185020603367424/2222286251777999754562141\ 458083*c_1001_9^15 + 226359977315755332787250271879168/222228625177\ 7999754562141458083*c_1001_9^14 - 146645055216530424988948978438144\ 0/2222286251777999754562141458083*c_1001_9^13 + 1395928509988838130719977053052928/2222286251777999754562141458083*\ c_1001_9^12 - 3806261775748161122916248572059648/222228625177799975\ 4562141458083*c_1001_9^11 + 2574378616277347774669097844228096/2222\ 286251777999754562141458083*c_1001_9^10 - 3164595256389931334112092758254080/2222286251777999754562141458083*\ c_1001_9^9 + 907030581787855759714805530092544/22222862517779997545\ 62141458083*c_1001_9^8 + 1027430165920165088781681158059648/2222286\ 251777999754562141458083*c_1001_9^7 - 1224338777674309516991319065777152/2222286251777999754562141458083*\ c_1001_9^6 - 63359692548230176079630119886272/222228625177799975456\ 2141458083*c_1001_9^5 + 81799488598000212882106509817312/2222286251\ 777999754562141458083*c_1001_9^4 - 115344469055501942658785302699784/2222286251777999754562141458083*c\ _1001_9^3 - 12027041402612525496321973029830/2222286251777999754562\ 141458083*c_1001_9^2 + 3138733007286680366833549516610/222228625177\ 7999754562141458083*c_1001_9 - 2219791848678213237565887971747/2222\ 286251777999754562141458083, c_0011_11 - 46554621806212018232933005524992/66668587553339992636864243\ 74249*c_1001_9^15 + 146158224315288332145663614255104/6666858755333\ 999263686424374249*c_1001_9^14 - 148358531707048040501999591981056/\ 2222286251777999754562141458083*c_1001_9^13 + 336766056083134507922793810575360/2222286251777999754562141458083*c\ _1001_9^12 - 1570310362233407978142571261276160/6666858755333999263\ 686424374249*c_1001_9^11 + 815345519023985180196323888529408/222228\ 6251777999754562141458083*c_1001_9^10 - 2112802601091310341012720102270464/6666858755333999263686424374249*\ c_1001_9^9 + 1924797631517486750406597515127808/6666858755333999263\ 686424374249*c_1001_9^8 - 479959208348131046486310487938176/6666858\ 755333999263686424374249*c_1001_9^7 - 508314938788544338274797996152064/6666858755333999263686424374249*c\ _1001_9^6 + 142640544664010602450573665952976/222228625177799975456\ 2141458083*c_1001_9^5 + 61647708298524061969766185782592/6666858755\ 333999263686424374249*c_1001_9^4 - 38261416520436435989010369608516/6666858755333999263686424374249*c_\ 1001_9^3 + 34335569409427767381007831580176/66668587553339992636864\ 24374249*c_1001_9^2 + 7203125702493978216951862671251/6666858755333\ 999263686424374249*c_1001_9 + 1257322214624951576979851394202/66668\ 58755333999263686424374249, c_0011_3 - 18473014093308255709354187030528/666685875533399926368642437\ 4249*c_1001_9^15 + 20110848446769484565692464431104/666685875533399\ 9263686424374249*c_1001_9^14 - 50027382611439437894001521655808/222\ 2286251777999754562141458083*c_1001_9^13 + 44668365967876468633172862681088/2222286251777999754562141458083*c_\ 1001_9^12 - 457520430328078647423091632988160/666685875533399926368\ 6424374249*c_1001_9^11 + 92553551914514879203283604235776/222228625\ 1777999754562141458083*c_1001_9^10 - 534458493225216337783943285421056/6666858755333999263686424374249*c\ _1001_9^9 + 106210799278847763520521976957696/666685875533399926368\ 6424374249*c_1001_9^8 - 16659168930902017611972729283328/6666858755\ 333999263686424374249*c_1001_9^7 - 224359149683438834424206264918944/6666858755333999263686424374249*c\ _1001_9^6 + 60448400507971944850322891552480/2222286251777999754562\ 141458083*c_1001_9^5 - 99426307875282715131690697823408/66668587553\ 33999263686424374249*c_1001_9^4 - 55997504247465180654789482375576/\ 6666858755333999263686424374249*c_1001_9^3 + 440038478305395870573768466642/6666858755333999263686424374249*c_10\ 01_9^2 - 7281585646056697982389839416542/66668587553339992636864243\ 74249*c_1001_9 - 887539276354618902469762686803/6666858755333999263\ 686424374249, c_0101_0 - 1, c_0101_1 - 187976484822833131126784/2177344609958433115569*c_1001_9^15 + 226974575647152361259008/2177344609958433115569*c_1001_9^14 - 457624275060963565928448/725781536652811038523*c_1001_9^13 + 474812433069058157080576/725781536652811038523*c_1001_9^12 - 3658301819497613591724032/2177344609958433115569*c_1001_9^11 + 920048872429951521673216/725781536652811038523*c_1001_9^10 - 3249275363567489332702208/2177344609958433115569*c_1001_9^9 + 1237890398644433687966464/2177344609958433115569*c_1001_9^8 + 707492590345782697784320/2177344609958433115569*c_1001_9^7 - 1105876082688495110387200/2177344609958433115569*c_1001_9^6 - 6320905691022150066112/725781536652811038523*c_1001_9^5 + 93170120137783014850720/2177344609958433115569*c_1001_9^4 - 104424649300126093654688/2177344609958433115569*c_1001_9^3 - 11559614764968254447216/2177344609958433115569*c_1001_9^2 + 1165052572700575744532/2177344609958433115569*c_1001_9 - 2083999109877259887593/2177344609958433115569, c_0101_10 + 302315420646258796790004845019136/6666858755333999263686424\ 374249*c_1001_9^15 - 395879903314649649288843113725952/666685875533\ 3999263686424374249*c_1001_9^14 + 732885284139490755968656631726080\ /2222286251777999754562141458083*c_1001_9^13 - 819893510142599324919300469813248/2222286251777999754562141458083*c\ _1001_9^12 + 5772980559021646868143732795033600/6666858755333999263\ 686424374249*c_1001_9^11 - 1559181840981288013799850301063168/22222\ 86251777999754562141458083*c_1001_9^10 + 4738215118007151638852268482377216/6666858755333999263686424374249*\ c_1001_9^9 - 1787569204063815468307620044052992/6666858755333999263\ 686424374249*c_1001_9^8 - 1841726162610266295100817271079424/666685\ 8755333999263686424374249*c_1001_9^7 + 2313849650642544902078286444954848/6666858755333999263686424374249*\ c_1001_9^6 - 30700395750032318088718426443168/222228625177799975456\ 2141458083*c_1001_9^5 - 348607547498256488511450202714784/666685875\ 5333999263686424374249*c_1001_9^4 + 158495803267667332387108271034232/6666858755333999263686424374249*c\ _1001_9^3 + 5861822400161565170406841657906/66668587553339992636864\ 24374249*c_1001_9^2 - 24216704882284367057759874088090/666685875533\ 3999263686424374249*c_1001_9 + 1108438555936644549111327334039/6666\ 858755333999263686424374249, c_0101_11 + 283998140965272672561782097182720/6666858755333999263686424\ 374249*c_1001_9^15 - 372348099925599118951483265449984/666685875533\ 3999263686424374249*c_1001_9^14 + 697842338334711329133601415086080\ /2222286251777999754562141458083*c_1001_9^13 - 786626463844908142728519589412864/2222286251777999754562141458083*c\ _1001_9^12 + 5643508414316666147893826228584448/6666858755333999263\ 686424374249*c_1001_9^11 - 1568523117624228685409957342617600/22222\ 86251777999754562141458083*c_1001_9^10 + 5093568604112816680257726492387584/6666858755333999263686424374249*\ c_1001_9^9 - 2347234501568095913672961675664384/6666858755333999263\ 686424374249*c_1001_9^8 - 1053261521953445182743384269162560/666685\ 8755333999263686424374249*c_1001_9^7 + 1754378352535152738213327833452288/6666858755333999263686424374249*\ c_1001_9^6 - 32188208697819196564293775350192/222228625177799975456\ 2141458083*c_1001_9^5 - 131188608708365056878939060811456/666685875\ 5333999263686424374249*c_1001_9^4 + 79311900824290904373564940481144/6666858755333999263686424374249*c_\ 1001_9^3 - 1945250907334405578338366369584/666685875533399926368642\ 4374249*c_1001_9^2 - 5286797489057717481396047953535/66668587553339\ 99263686424374249*c_1001_9 - 2635865769849565596643137410884/666685\ 8755333999263686424374249, c_0101_12 + 200741155699522220905820317122560/6666858755333999263686424\ 374249*c_1001_9^15 - 263708755042860465910903293902848/666685875533\ 3999263686424374249*c_1001_9^14 + 505512411585280556901460683743232\ /2222286251777999754562141458083*c_1001_9^13 - 564706658089543976222984320067584/2222286251777999754562141458083*c\ _1001_9^12 + 4230588654833197300866154223845376/6666858755333999263\ 686424374249*c_1001_9^11 - 1151134942213139844754803581747200/22222\ 86251777999754562141458083*c_1001_9^10 + 4144642016208673276934701784254976/6666858755333999263686424374249*\ c_1001_9^9 - 1777923025031860240529811490864384/6666858755333999263\ 686424374249*c_1001_9^8 - 446385136089131147001368692374784/6666858\ 755333999263686424374249*c_1001_9^7 + 1388350481312360446676316704523136/6666858755333999263686424374249*\ c_1001_9^6 - 124232496350238298018810522602656/22222862517779997545\ 62141458083*c_1001_9^5 + 59871929446230000826093543048904/666685875\ 5333999263686424374249*c_1001_9^4 + 173042756547209552233938820196216/6666858755333999263686424374249*c\ _1001_9^3 - 6276150170287938128022003451864/66668587553339992636864\ 24374249*c_1001_9^2 + 5329330347329250035756163352972/6666858755333\ 999263686424374249*c_1001_9 + 6057663096275660383697728065113/66668\ 58755333999263686424374249, c_0110_5 - 1033446626054564161109265376411648/6666858755333999263686424\ 374249*c_1001_9^15 + 1243989798230184989487352809095168/66668587553\ 33999263686424374249*c_1001_9^14 - 2510189828621435412288822165782528/2222286251777999754562141458083*\ c_1001_9^13 + 2597335704978537543988423666507776/222228625177799975\ 4562141458083*c_1001_9^12 - 19994344763696395428239530838465536/666\ 6858755333999263686424374249*c_1001_9^11 + 5010376590098220304620623926083584/2222286251777999754562141458083*\ c_1001_9^10 - 17575156374489296472591204706663168/66668587553339992\ 63686424374249*c_1001_9^9 + 6611330618625332177345107352377856/6666\ 858755333999263686424374249*c_1001_9^8 + 4127775216294755126776302264841472/6666858755333999263686424374249*\ c_1001_9^7 - 6128799210086825909696612500570112/6666858755333999263\ 686424374249*c_1001_9^6 - 46543707268724154532624863465968/22222862\ 51777999754562141458083*c_1001_9^5 + 533905770626156342412897118026176/6666858755333999263686424374249*c\ _1001_9^4 - 538944337487128010326172151252436/666685875533399926368\ 6424374249*c_1001_9^3 - 62276865567423464359609023501472/6666858755\ 333999263686424374249*c_1001_9^2 + 16411134929416025780299687170025/6666858755333999263686424374249*c_\ 1001_9 - 8866287013553659450809647628142/66668587553339992636864243\ 74249, c_1001_0 + 46554621806212018232933005524992/666685875533399926368642437\ 4249*c_1001_9^15 - 146158224315288332145663614255104/66668587553339\ 99263686424374249*c_1001_9^14 + 148358531707048040501999591981056/2\ 222286251777999754562141458083*c_1001_9^13 - 336766056083134507922793810575360/2222286251777999754562141458083*c\ _1001_9^12 + 1570310362233407978142571261276160/6666858755333999263\ 686424374249*c_1001_9^11 - 815345519023985180196323888529408/222228\ 6251777999754562141458083*c_1001_9^10 + 2112802601091310341012720102270464/6666858755333999263686424374249*\ c_1001_9^9 - 1924797631517486750406597515127808/6666858755333999263\ 686424374249*c_1001_9^8 + 479959208348131046486310487938176/6666858\ 755333999263686424374249*c_1001_9^7 + 508314938788544338274797996152064/6666858755333999263686424374249*c\ _1001_9^6 - 142640544664010602450573665952976/222228625177799975456\ 2141458083*c_1001_9^5 - 61647708298524061969766185782592/6666858755\ 333999263686424374249*c_1001_9^4 + 38261416520436435989010369608516/6666858755333999263686424374249*c_\ 1001_9^3 - 34335569409427767381007831580176/66668587553339992636864\ 24374249*c_1001_9^2 - 7203125702493978216951862671251/6666858755333\ 999263686424374249*c_1001_9 - 1257322214624951576979851394202/66668\ 58755333999263686424374249, c_1001_3 - 117691937777955040801816892538880/66668587553339992636864243\ 74249*c_1001_9^15 + 145966968347361903983438195130368/6666858755333\ 999263686424374249*c_1001_9^14 - 292229587110650471123038760255488/\ 2222286251777999754562141458083*c_1001_9^13 + 310341299451478184366067536674816/2222286251777999754562141458083*c\ _1001_9^12 - 2408522842490733300089747998532608/6666858755333999263\ 686424374249*c_1001_9^11 + 623858663651432925755820742565888/222228\ 6251777999754562141458083*c_1001_9^10 - 2322897251945638801882167893056768/6666858755333999263686424374249*\ c_1001_9^9 + 969316381028148752512197529951232/66668587553339992636\ 86424374249*c_1001_9^8 + 204798643357858759407273697587968/66668587\ 55333999263686424374249*c_1001_9^7 - 643412786549764600897108300172288/6666858755333999263686424374249*c\ _1001_9^6 + 7835470405257682573525025828464/22222862517779997545621\ 41458083*c_1001_9^5 + 36653458569958309499673162952064/666685875533\ 3999263686424374249*c_1001_9^4 - 100535866312599058074166770103660/\ 6666858755333999263686424374249*c_1001_9^3 - 8512405503073751975162013256000/6666858755333999263686424374249*c_1\ 001_9^2 - 9276535372498376777523131610881/6666858755333999263686424\ 374249*c_1001_9 - 3895797268602035936756402586964/66668587553339992\ 63686424374249, c_1001_9^16 - c_1001_9^15 + 7*c_1001_9^14 - 6*c_1001_9^13 + 35/2*c_1001_9^12 - 41/4*c_1001_9^11 + 211/16*c_1001_9^10 - 71/32*c_1001_9^9 - 391/64*c_1001_9^8 + 351/64*c_1001_9^7 + 371/256*c_1001_9^6 - 385/512*c_1001_9^5 + 223/512*c_1001_9^4 + 191/1024*c_1001_9^3 - 141/4096*c_1001_9^2 + 27/8192*c_1001_9 + 185/32768 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.250 Total time: 0.460 seconds, Total memory usage: 32.09MB