Magma V2.19-8 Wed Aug 21 2013 00:29:14 on localhost [Seed = 813047838] Type ? for help. Type -D to quit. Loading file "K14n16367__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n16367 geometric_solution 11.55972716 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 0321 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.717965977214 0.622095346636 0 3 5 4 0132 2031 0132 0132 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 11 -10 -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 0 0 0 0.929134524863 0.498625885741 5 0 0 4 0321 0132 0321 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 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.717965977214 0.622095346636 1 6 0 6 1302 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 1 -1 0 0 0 0 -11 0 0 11 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.032329740447 1.041715304445 5 7 1 2 2103 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.119526691402 0.816858830075 2 8 4 1 0321 0132 2103 0132 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 -10 0 10 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.390923375970 1.080161515078 7 3 9 3 3120 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 -1 1 11 0 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.032329740447 1.041715304445 10 4 11 6 0132 0132 0132 3120 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 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.156678852150 0.969259156552 11 5 10 12 1302 0132 1023 0132 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 -10 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.947523238249 0.885864121730 11 10 12 6 2103 0321 2031 0132 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -11 10 1 0 0 0 0 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.311797661708 0.336936113318 7 12 8 9 0132 2103 1023 0321 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 0 0 0 0 0 0 0 -11 11 0 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.501462952107 0.466505557461 12 8 9 7 0132 2031 2103 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 11 0 0 -11 0 0 0 0 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.541398266481 0.712542568158 11 10 8 9 0132 2103 0132 1302 0 0 0 0 0 0 0 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 0 0 0 -11 0 11 0 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.609791993350 0.785934576150 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_9'], 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_0011_3'], 'c_1001_7' : negation(d['c_0011_5']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0101_10'], 'c_1001_0' : d['c_0110_4'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : d['c_0101_10'], 'c_1010_12' : negation(d['c_1001_6']), 'c_1010_11' : negation(d['c_0011_5']), 'c_1010_10' : d['c_1001_6'], 's_0_10' : d['1'], 's_0_11' : 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' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_0110_4']), 'c_1100_4' : negation(d['c_0110_4']), 'c_1100_7' : negation(d['c_0101_6']), 'c_1100_6' : d['c_1001_6'], 'c_1100_1' : negation(d['c_0110_4']), 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_0110_4'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_6']), 'c_1100_10' : negation(d['c_0101_11']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_3'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_0101_10'], 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_1001_6'], 'c_1010_2' : d['c_0110_4'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_6'], 'c_1010_8' : d['c_0011_10'], 'c_1100_8' : d['c_0101_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' : 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_9'], 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_10']), '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_0011_9']), 'c_0110_10' : negation(d['c_0011_9']), 'c_0110_12' : d['c_0101_11'], 'c_0101_12' : negation(d['c_0011_9']), 'c_0110_0' : d['c_0011_0'], 'c_0101_7' : negation(d['c_0011_9']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : negation(d['c_0011_11']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : negation(d['c_0011_9']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_6'], 'c_0110_3' : negation(d['c_0101_10']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : 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_0011_5, c_0011_9, c_0101_0, c_0101_10, c_0101_11, c_0101_6, c_0110_4, c_1001_2, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 681829511342835140177606399272671774137/838983275558687146925030330\ 551701436*c_1001_6^16 + 19576654378412797433551737307124428793113/1\ 677966551117374293850060661103402872*c_1001_6^15 + 69611719383249453651647373577216626008493/8389832755586871469250303\ 30551701436*c_1001_6^14 + 2002164045695348026317998486560883747800/\ 6765994157731347959072825246384689*c_1001_6^13 + 583622169122440544998401909797461162886877/838983275558687146925030\ 330551701436*c_1001_6^12 + 4835180158119117554022523783521550454453\ 69/419491637779343573462515165275850718*c_1001_6^11 + 799352949874907314829004809850477273804465/838983275558687146925030\ 330551701436*c_1001_6^10 + 1863553461755956742524836120740336091169\ 51/419491637779343573462515165275850718*c_1001_6^9 + 115328696737499902720698964168589131086145/209745818889671786731257\ 582637925359*c_1001_6^8 + 52286314478311456881484110822712025254569\ 3/1677966551117374293850060661103402872*c_1001_6^7 + 80940395994224728684567843319384388031783/2097458188896717867312575\ 82637925359*c_1001_6^6 + 106210456779449194027320367360097423340639\ /838983275558687146925030330551701436*c_1001_6^5 - 1312072346290907367636517707006159722515/78409651921372630553741152\ 38800948*c_1001_6^4 - 42306984559001511925799575733906645349025/419\ 491637779343573462515165275850718*c_1001_6^3 + 17267137525108624581848560324047817606767/1677966551117374293850060\ 661103402872*c_1001_6^2 + 3099136624474688411856497289377475039939/\ 419491637779343573462515165275850718*c_1001_6 - 3527150834376348705062832359798161089239/16779665511173742938500606\ 61103402872, c_0011_0 - 1, c_0011_10 - 7885694925181845126865579/28304333654891254339094152*c_1001\ _6^16 - 115255765346162209436871165/28304333654891254339094152*c_10\ 01_6^15 - 416111911604670389565050779/14152166827445627169547076*c_\ 1001_6^14 - 1524427144373191477633606361/14152166827445627169547076\ *c_1001_6^13 - 3639100075554939371368065225/14152166827445627169547\ 076*c_1001_6^12 - 6106398412220257918624036915/14152166827445627169\ 547076*c_1001_6^11 - 5275466693910141785053789137/14152166827445627\ 169547076*c_1001_6^10 - 2130212728449722401473319967/14152166827445\ 627169547076*c_1001_6^9 - 4998245878406715214583896493/283043336548\ 91254339094152*c_1001_6^8 - 3932129916030797440018484367/2830433365\ 4891254339094152*c_1001_6^7 - 1665343902294482424661640427/14152166\ 827445627169547076*c_1001_6^6 - 256375666951366852689908330/3538041\ 706861406792386769*c_1001_6^5 + 277127086349202869638800380/3538041\ 706861406792386769*c_1001_6^4 + 1225107458374491977673844001/283043\ 33654891254339094152*c_1001_6^3 - 324756285176947885738767943/28304\ 333654891254339094152*c_1001_6^2 - 264637181086222146116790253/28304333654891254339094152*c_1001_6 + 35095235169071319366157561/28304333654891254339094152, c_0011_11 - 4585993694996296004944131/14152166827445627169547076*c_1001\ _6^16 - 33251332460079178333076641/7076083413722813584773538*c_1001\ _6^15 - 119203377235691311720634996/3538041706861406792386769*c_100\ 1_6^14 - 862287021152255841696969577/7076083413722813584773538*c_10\ 01_6^13 - 1019175888477752383503370706/3538041706861406792386769*c_\ 1001_6^12 - 3385488211522892468799516989/7076083413722813584773538*\ c_1001_6^11 - 1413153513068420753638485159/353804170686140679238676\ 9*c_1001_6^10 - 1132529775814737781922265059/7076083413722813584773\ 538*c_1001_6^9 - 2866623831273018688180053983/141521668274456271695\ 47076*c_1001_6^8 - 503951367840843747719474326/35380417068614067923\ 86769*c_1001_6^7 - 972565934859816692873409079/70760834137228135847\ 73538*c_1001_6^6 - 497958561912606382357504617/70760834137228135847\ 73538*c_1001_6^5 + 602212885703590293546845967/70760834137228135847\ 73538*c_1001_6^4 + 615707902895465751203025095/14152166827445627169\ 547076*c_1001_6^3 - 82969129896579995426236177/70760834137228135847\ 73538*c_1001_6^2 - 113181540436721406061527563/14152166827445627169\ 547076*c_1001_6 + 4511721166193160539229609/35380417068614067923867\ 69, c_0011_3 + 1265017855832228903873693/7076083413722813584773538*c_1001_6\ ^16 + 36704319667833876125898999/14152166827445627169547076*c_1001_\ 6^15 + 131479551522223843053203249/7076083413722813584773538*c_1001\ _6^14 + 237084029009976986364850284/3538041706861406792386769*c_100\ 1_6^13 + 1110300040181950914851038737/7076083413722813584773538*c_1\ 001_6^12 + 905361354535795970016282509/3538041706861406792386769*c_\ 1001_6^11 + 1415541456454094550417224167/7076083413722813584773538*\ c_1001_6^10 + 183808136820610778809764793/3538041706861406792386769\ *c_1001_6^9 + 272501334919402678287526220/3538041706861406792386769\ *c_1001_6^8 + 867080377164524497798609899/1415216682744562716954707\ 6*c_1001_6^7 + 196614596153703388033770677/353804170686140679238676\ 9*c_1001_6^6 + 150627263954159998425289963/707608341372281358477353\ 8*c_1001_6^5 - 424780556411570266522247079/707608341372281358477353\ 8*c_1001_6^4 - 117160951958276710787318451/353804170686140679238676\ 9*c_1001_6^3 + 168382193749050420339522893/141521668274456271695470\ 76*c_1001_6^2 + 23827606312315344690574247/353804170686140679238676\ 9*c_1001_6 - 24705391368484949360051397/14152166827445627169547076, c_0011_5 + 9389525955560894392924243/28304333654891254339094152*c_1001_\ 6^16 + 138293255775704074800683523/28304333654891254339094152*c_100\ 1_6^15 + 503287050151936396996558921/14152166827445627169547076*c_1\ 001_6^14 + 1872253300732675876653315369/14152166827445627169547076*\ c_1001_6^13 + 4546822890681572914464474671/141521668274456271695470\ 76*c_1001_6^12 + 7792658280093619447144170347/141521668274456271695\ 47076*c_1001_6^11 + 7185198957895325444978001799/141521668274456271\ 69547076*c_1001_6^10 + 3399817256106755757125509107/141521668274456\ 27169547076*c_1001_6^9 + 6865882964847414593683979857/2830433365489\ 1254339094152*c_1001_6^8 + 5673085044136484117898717453/28304333654\ 891254339094152*c_1001_6^7 + 2382039729240608143920372919/141521668\ 27445627169547076*c_1001_6^6 + 747117716862264925031024201/70760834\ 13722813584773538*c_1001_6^5 - 544276841926589059940704229/70760834\ 13722813584773538*c_1001_6^4 - 1681397589907336691182954477/2830433\ 3654891254339094152*c_1001_6^3 + 259446194212714185548871097/283043\ 33654891254339094152*c_1001_6^2 + 323292072233978463587486025/28304\ 333654891254339094152*c_1001_6 - 38433383893093728003206523/2830433\ 3654891254339094152, c_0011_9 + 4066376798603033652010237/28304333654891254339094152*c_1001_\ 6^16 + 60808274805510293691532555/28304333654891254339094152*c_1001\ _6^15 + 224204557794991716040686633/14152166827445627169547076*c_10\ 01_6^14 + 852833474631070143338093839/14152166827445627169547076*c_\ 1001_6^13 + 2102284454495906449811990767/14152166827445627169547076\ *c_1001_6^12 + 3649206817295281347578881537/14152166827445627169547\ 076*c_1001_6^11 + 3489220998868105297266376319/14152166827445627169\ 547076*c_1001_6^10 + 1567297466945885830365747729/14152166827445627\ 169547076*c_1001_6^9 + 2798055439029913606833295211/283043336548912\ 54339094152*c_1001_6^8 + 2788496811610053105173218777/2830433365489\ 1254339094152*c_1001_6^7 + 1010739110997871519838981977/14152166827\ 445627169547076*c_1001_6^6 + 196939822407345336783812826/3538041706\ 861406792386769*c_1001_6^5 - 135293335412564293210559971/3538041706\ 861406792386769*c_1001_6^4 - 953585604942865419284541559/2830433365\ 4891254339094152*c_1001_6^3 + 148093413200089296794877065/283043336\ 54891254339094152*c_1001_6^2 + 200794232489158533363007075/28304333\ 654891254339094152*c_1001_6 - 23276690653565438993510943/2830433365\ 4891254339094152, c_0101_0 - 15960971520731869340716841/28304333654891254339094152*c_1001\ _6^16 - 224452135450720135717715085/28304333654891254339094152*c_10\ 01_6^15 - 781740004111218791100033307/14152166827445627169547076*c_\ 1001_6^14 - 2674903018430091123787726207/14152166827445627169547076\ *c_1001_6^13 - 6034254833202225548757826333/14152166827445627169547\ 076*c_1001_6^12 - 9501757383953690277517032957/14152166827445627169\ 547076*c_1001_6^11 - 6455434868311789847870991381/14152166827445627\ 169547076*c_1001_6^10 - 2282954415366172578338668705/14152166827445\ 627169547076*c_1001_6^9 - 9165882458621293299779599555/283043336548\ 91254339094152*c_1001_6^8 - 3499300965848963990614487059/2830433365\ 4891254339094152*c_1001_6^7 - 3349292626722782386780953813/14152166\ 827445627169547076*c_1001_6^6 - 139428689018098258447300295/7076083\ 413722813584773538*c_1001_6^5 + 832227477811357601819619469/7076083\ 413722813584773538*c_1001_6^4 + 925291312424699643610956855/2830433\ 3654891254339094152*c_1001_6^3 - 726880606964689310406536503/283043\ 33654891254339094152*c_1001_6^2 - 117447588294925849491419835/28304\ 333654891254339094152*c_1001_6 + 28042790763340751609218733/2830433\ 3654891254339094152, c_0101_10 + 3455317572262733369110679/28304333654891254339094152*c_1001\ _6^16 + 51172793692018654391900883/28304333654891254339094152*c_100\ 1_6^15 + 186995030142357138071835797/14152166827445627169547076*c_1\ 001_6^14 + 699901897995321863156115217/14152166827445627169547076*c\ _1001_6^13 + 1699300810204687133759438475/1415216682744562716954707\ 6*c_1001_6^12 + 2894185121584846108176191823/1415216682744562716954\ 7076*c_1001_6^11 + 2616766342614644760795156119/1415216682744562716\ 9547076*c_1001_6^10 + 1029483318718931268908956315/1415216682744562\ 7169547076*c_1001_6^9 + 1974528560499923745926818365/28304333654891\ 254339094152*c_1001_6^8 + 1970757067228053638438873669/283043336548\ 91254339094152*c_1001_6^7 + 741559774373847685790744583/14152166827\ 445627169547076*c_1001_6^6 + 220962587291420598542754441/7076083413\ 722813584773538*c_1001_6^5 - 239394582696168202129636955/7076083413\ 722813584773538*c_1001_6^4 - 870187606758071140412228177/2830433365\ 4891254339094152*c_1001_6^3 + 191597264697622549546433881/283043336\ 54891254339094152*c_1001_6^2 + 163058017244398205943875461/28304333\ 654891254339094152*c_1001_6 - 37491315400776885367130747/2830433365\ 4891254339094152, c_0101_11 + 1710901840605482684148825/14152166827445627169547076*c_1001\ _6^16 + 12515257287748608123895643/7076083413722813584773538*c_1001\ _6^15 + 45287846927590334833768000/3538041706861406792386769*c_1001\ _6^14 + 333594671408247308942418903/7076083413722813584773538*c_100\ 1_6^13 + 402313165250178850668878694/3538041706861406792386769*c_10\ 01_6^12 + 1367872506538587484055394785/7076083413722813584773538*c_\ 1001_6^11 + 613932298426477749086338133/3538041706861406792386769*c\ _1001_6^10 + 566813241263467803147045867/7076083413722813584773538*\ c_1001_6^9 + 1139312227187649551280780177/1415216682744562716954707\ 6*c_1001_6^8 + 218886642918562304208802810/353804170686140679238676\ 9*c_1001_6^7 + 435737330510871767402934439/707608341372281358477353\ 8*c_1001_6^6 + 217675856134832198555842481/707608341372281358477353\ 8*c_1001_6^5 - 184337014268528317285365295/707608341372281358477353\ 8*c_1001_6^4 - 323275787084216757457128177/141521668274456271695470\ 76*c_1001_6^3 + 20287657813838428810649455/707608341372281358477353\ 8*c_1001_6^2 + 74807237418929303614531753/1415216682744562716954707\ 6*c_1001_6 - 2232723754297650929889369/3538041706861406792386769, c_0101_6 + 1286292464810746883022683/28304333654891254339094152*c_1001_\ 6^16 + 17749564494154503895435399/28304333654891254339094152*c_1001\ _6^15 + 60701597338094857317489205/14152166827445627169547076*c_100\ 1_6^14 + 200146897931320205760332793/14152166827445627169547076*c_1\ 001_6^13 + 437603478356070162645417599/14152166827445627169547076*c\ _1001_6^12 + 664578010825527018974997063/14152166827445627169547076\ *c_1001_6^11 + 377147358363541229500151499/141521668274456271695470\ 76*c_1001_6^10 + 134846823179753162371210151/1415216682744562716954\ 7076*c_1001_6^9 + 735001784139322161776211473/283043336548912543390\ 94152*c_1001_6^8 + 99481026695952541737310241/283043336548912543390\ 94152*c_1001_6^7 + 279787967425150961085177731/14152166827445627169\ 547076*c_1001_6^6 - 14792771990127323022312043/70760834137228135847\ 73538*c_1001_6^5 - 47958713005184554269245207/707608341372281358477\ 3538*c_1001_6^4 - 6308347416439524732206189/28304333654891254339094\ 152*c_1001_6^3 + 7120234409372095966176765/283043336548912543390941\ 52*c_1001_6^2 - 9969766557888079654640975/2830433365489125433909415\ 2*c_1001_6 - 998534160473964947679311/28304333654891254339094152, c_0110_4 + 1245997599288666156240004/3538041706861406792386769*c_1001_6\ ^16 + 70170996647645790079952113/14152166827445627169547076*c_1001_\ 6^15 + 244696098516047282954382591/7076083413722813584773538*c_1001\ _6^14 + 419670243600476818446395050/3538041706861406792386769*c_100\ 1_6^13 + 1897771166670394676061040999/7076083413722813584773538*c_1\ 001_6^12 + 1497068931178954398487731732/3538041706861406792386769*c\ _1001_6^11 + 2048342023453443618867217415/7076083413722813584773538\ *c_1001_6^10 + 351998791531771873755072200/353804170686140679238676\ 9*c_1001_6^9 + 1366742898969896807330004753/70760834137228135847735\ 38*c_1001_6^8 + 1000994813442871494909999401/1415216682744562716954\ 7076*c_1001_6^7 + 505055304410451908902896876/353804170686140679238\ 6769*c_1001_6^6 + 53732301792883074310080233/7076083413722813584773\ 538*c_1001_6^5 - 548050917377049533182225859/7076083413722813584773\ 538*c_1001_6^4 - 198126411436977337858308157/7076083413722813584773\ 538*c_1001_6^3 + 195580337800791002777836331/1415216682744562716954\ 7076*c_1001_6^2 + 22110466512152114017830101/7076083413722813584773\ 538*c_1001_6 - 4900402043139525903515991/14152166827445627169547076\ , c_1001_2 - 1951486541883684103052015/28304333654891254339094152*c_1001_\ 6^16 - 28135303262476789028088525/28304333654891254339094152*c_1001\ _6^15 - 99819891595091130640327655/14152166827445627169547076*c_100\ 1_6^14 - 352075741635837464136406209/14152166827445627169547076*c_1\ 001_6^13 - 791577995078053590663029029/14152166827445627169547076*c\ _1001_6^12 - 1207925253711484579656058391/1415216682744562716954707\ 6*c_1001_6^11 - 707034078629461100870943457/14152166827445627169547\ 076*c_1001_6^10 + 240121208938102086743232825/141521668274456271695\ 47076*c_1001_6^9 - 106891474059224366826735001/28304333654891254339\ 094152*c_1001_6^8 - 229801939122366960558640583/2830433365489125433\ 9094152*c_1001_6^7 - 24863947427721966532012091/1415216682744562716\ 9547076*c_1001_6^6 + 6701897834055310554226550/35380417068614067923\ 86769*c_1001_6^5 + 124685956733992440733266743/35380417068614067923\ 86769*c_1001_6^4 + 413897475225226426903117701/28304333654891254339\ 094152*c_1001_6^3 - 256907355661856249736330727/2830433365489125433\ 9094152*c_1001_6^2 - 104403126096641888473179689/283043336548912543\ 39094152*c_1001_6 + 34153166676754476730081785/28304333654891254339\ 094152, c_1001_6^17 + 14*c_1001_6^16 + 97*c_1001_6^15 + 328*c_1001_6^14 + 728*c_1001_6^13 + 1120*c_1001_6^12 + 684*c_1001_6^11 + 160*c_1001_6^10 + 517*c_1001_6^9 + 170*c_1001_6^8 + 363*c_1001_6^7 + 6*c_1001_6^6 - 244*c_1001_6^5 - 39*c_1001_6^4 + 60*c_1001_6^3 + 4*c_1001_6^2 - 6*c_1001_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 10.090 Total time: 10.300 seconds, Total memory usage: 64.12MB