Magma V2.19-8 Tue Aug 20 2013 23:54:34 on localhost [Seed = 1225728762] Type ? for help. Type -D to quit. Loading file "K12n552__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n552 geometric_solution 11.63072840 oriented_manifold CS_known -0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 3 0132 0132 0132 0321 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 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.520742928326 0.629380372649 0 4 6 5 0132 0132 0132 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 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.693773423217 0.410171576305 7 0 7 8 0132 0132 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 -1 1 0 -1 0 0 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.103123664456 0.650241323399 4 0 6 0 2310 0321 0321 0132 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0.219618601276 0.943184647973 9 1 3 10 0132 0132 3201 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 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.421492957055 0.818069648180 11 10 1 6 0132 0132 0132 0321 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 0 0 0 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 0 0 0 0 0 0 0 0.634566832360 0.438170779721 10 5 3 1 3012 0321 0321 0132 0 0 0 0 0 -1 0 1 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 -1 1 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.325556048167 1.460807606825 2 12 8 2 0132 0132 3012 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 -1 1 0 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.613571920089 0.428034071682 9 7 2 12 2310 1230 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 -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.703649178246 1.144856536004 4 12 8 11 0132 1023 3201 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.798198276633 1.275342535023 11 5 4 6 2310 0132 0132 1230 0 0 0 0 0 1 0 -1 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 1 0 -1 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.332993064150 0.439855118293 5 12 10 9 0132 0321 3201 0213 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 0 0 0 0 0 0 0 1.101701892442 1.600478789797 9 7 8 11 1023 0132 1230 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0.641521894191 1.378043112100 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : negation(d['c_0101_2']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_7' : negation(d['c_0011_8']), 'c_1001_6' : d['c_1001_3'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_0'], 'c_1001_9' : d['c_0101_12'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_8']), 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : negation(d['c_0101_3']), 's_0_10' : d['1'], 's_0_11' : negation(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' : negation(d['c_0011_6']), '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' : 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' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(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' : negation(d['c_0011_8']), 'c_1100_8' : d['c_0101_2'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_1001_3'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : negation(d['c_1001_0']), 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : d['c_1001_3'], 'c_1100_0' : d['c_1001_3'], 'c_1100_3' : d['c_1001_3'], 'c_1100_2' : d['c_0101_2'], 's_3_11' : negation(d['1']), 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0011_3']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_2']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : d['c_1001_0'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : negation(d['c_0101_12']), 's_3_1' : negation(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' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0011_6'], 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : negation(d['c_0101_12']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : 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' : negation(d['c_0101_0']), 'c_0110_8' : negation(d['c_0101_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_12']), 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_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_3, c_0011_6, c_0011_8, c_0101_0, c_0101_10, c_0101_12, c_0101_2, c_0101_3, c_1001_0, c_1001_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 11803710322998872316684663074745926920041565192279296/3814015052105\ 79541947673691316796384176750171299*c_1001_3^20 - 43945814044705000235900613786996425622126719445055040/3814015052105\ 79541947673691316796384176750171299*c_1001_3^19 - 56009927199490498461192624226369997381504835213387680/3814015052105\ 79541947673691316796384176750171299*c_1001_3^18 - 178090164971159347755733671721305237208255090729205084/381401505210\ 579541947673691316796384176750171299*c_1001_3^17 - 223430144139735520113059026270858039070210341231064388/381401505210\ 579541947673691316796384176750171299*c_1001_3^16 - 386912669150030186534897930876514180039285916547896318/381401505210\ 579541947673691316796384176750171299*c_1001_3^15 - 66034225785346888369184554623835923763216928753144943/5448592931579\ 7077421096241616685197739535738757*c_1001_3^14 - 587757756364124851011051103912915545134222932896874511/381401505210\ 579541947673691316796384176750171299*c_1001_3^13 - 624119040676207844614109168035501171037582725975496089/381401505210\ 579541947673691316796384176750171299*c_1001_3^12 - 601079340483124144252070385444075065051732586808397103/381401505210\ 579541947673691316796384176750171299*c_1001_3^11 - 530806109645158429345322885696279666725353206765802986/381401505210\ 579541947673691316796384176750171299*c_1001_3^10 - 412267861054828033548794325103485433523537339100822811/381401505210\ 579541947673691316796384176750171299*c_1001_3^9 - 282160907564293504150608248889221447711965800872723269/381401505210\ 579541947673691316796384176750171299*c_1001_3^8 - 173136297475703516653558912442557229390740792190664407/381401505210\ 579541947673691316796384176750171299*c_1001_3^7 - 92055419015735071062624460960674983508393143907667047/3814015052105\ 79541947673691316796384176750171299*c_1001_3^6 - 42814276873525420474969845323190924618491298753665755/3814015052105\ 79541947673691316796384176750171299*c_1001_3^5 - 17501208612590568624310604380734090030223160759954568/3814015052105\ 79541947673691316796384176750171299*c_1001_3^4 - 5964192074456745158288729319900549056168297204718006/38140150521057\ 9541947673691316796384176750171299*c_1001_3^3 - 1664466182237449187594201068354230596039503555862448/38140150521057\ 9541947673691316796384176750171299*c_1001_3^2 - 387113832437135106741651427310286488216808774989198/381401505210579\ 541947673691316796384176750171299*c_1001_3 - 55168752852023438480629884744644219023822483001974/3814015052105795\ 41947673691316796384176750171299, c_0011_0 - 1, c_0011_10 + 11647946651158737562722765365066240/10016637983701486674329\ 657046491*c_1001_3^20 + 31427267051295603509019590996789888/1001663\ 7983701486674329657046491*c_1001_3^19 + 14870815353664074978778343082187968/1001663798370148667432965704649\ 1*c_1001_3^18 + 134527290874217374595696373809810808/10016637983701\ 486674329657046491*c_1001_3^17 + 6171633848858422360486986343271536\ 0/10016637983701486674329657046491*c_1001_3^16 + 220853299230258830403901369480404856/100166379837014866743296570464\ 91*c_1001_3^15 + 147950968937809172162560999837964666/1001663798370\ 1486674329657046491*c_1001_3^14 + 260478570426044669447507673521130\ 902/10016637983701486674329657046491*c_1001_3^13 + 196165075390497615089802888113229351/100166379837014866743296570464\ 91*c_1001_3^12 + 189689836654608413918848254677552855/1001663798370\ 1486674329657046491*c_1001_3^11 + 156166931685489119780626279789511\ 454/10016637983701486674329657046491*c_1001_3^10 + 106812140167680304503931013447529954/100166379837014866743296570464\ 91*c_1001_3^9 + 69851413404762888280594619684161231/100166379837014\ 86674329657046491*c_1001_3^8 + 47106096695882767278592497087999688/\ 10016637983701486674329657046491*c_1001_3^7 + 27237693072062189772072782341922511/1001663798370148667432965704649\ 1*c_1001_3^6 + 15753520150614428036162296096521260/1001663798370148\ 6674329657046491*c_1001_3^5 + 8235015446053381531285635577691138/10\ 016637983701486674329657046491*c_1001_3^4 + 3357067428007479109730099140890328/10016637983701486674329657046491\ *c_1001_3^3 + 1196331477377344665497776085261341/100166379837014866\ 74329657046491*c_1001_3^2 + 373140547281068452352081581387077/10016\ 637983701486674329657046491*c_1001_3 + 53758941930235072398486277822803/10016637983701486674329657046491, c_0011_3 - 450767054446848923942281851069440/10016637983701486674329657\ 046491*c_1001_3^20 - 2402799284631804028073030172310784/10016637983\ 701486674329657046491*c_1001_3^19 - 3365152223736070936517865976601472/10016637983701486674329657046491\ *c_1001_3^18 - 6012249058528331899930722488533744/10016637983701486\ 674329657046491*c_1001_3^17 - 16545401406852223657321966265555184/1\ 0016637983701486674329657046491*c_1001_3^16 - 10286408486056753431032225790643276/1001663798370148667432965704649\ 1*c_1001_3^15 - 30510850212423942611479591628720192/100166379837014\ 86674329657046491*c_1001_3^14 - 18216759736623655134471516967925966\ /10016637983701486674329657046491*c_1001_3^13 - 35806896756993754665143917951417443/1001663798370148667432965704649\ 1*c_1001_3^12 - 21071287879962591192017220724050373/100166379837014\ 86674329657046491*c_1001_3^11 - 25859824262813733621224142461087843\ /10016637983701486674329657046491*c_1001_3^10 - 17506008365369262443215384462015324/1001663798370148667432965704649\ 1*c_1001_3^9 - 12508466145980124413298578105800838/1001663798370148\ 6674329657046491*c_1001_3^8 - 8607989844472581832380322582775664/10\ 016637983701486674329657046491*c_1001_3^7 - 5424055554551871508610501686988096/10016637983701486674329657046491\ *c_1001_3^6 - 3019366611623712100063345320605570/100166379837014866\ 74329657046491*c_1001_3^5 - 1807660735429030234267026358862331/1001\ 6637983701486674329657046491*c_1001_3^4 - 891811531769443478417758516720723/10016637983701486674329657046491*\ c_1001_3^3 - 364074760418036474219546896719837/10016637983701486674\ 329657046491*c_1001_3^2 - 125943765243016372339289750300884/1001663\ 7983701486674329657046491*c_1001_3 - 34032700327389132891956124738061/10016637983701486674329657046491, c_0011_6 + 8865477962932702221705072503705856/1001663798370148667432965\ 7046491*c_1001_3^20 + 18480559071461926746330535396199232/100166379\ 83701486674329657046491*c_1001_3^19 - 2270473560408260129802972394505056/10016637983701486674329657046491\ *c_1001_3^18 + 98350613688681759601118423973525292/1001663798370148\ 6674329657046491*c_1001_3^17 - 14841200037967411036277528355463092/\ 10016637983701486674329657046491*c_1001_3^16 + 151236714212968386513861672065087754/100166379837014866743296570464\ 91*c_1001_3^15 + 15119079862018614360052071801917685/10016637983701\ 486674329657046491*c_1001_3^14 + 1462000474131398577780326279836431\ 63/10016637983701486674329657046491*c_1001_3^13 + 42252749105668627562783141369394916/1001663798370148667432965704649\ 1*c_1001_3^12 + 71245705874041198655083230669152040/100166379837014\ 86674329657046491*c_1001_3^11 + 48656824863395930838720467119218979\ /10016637983701486674329657046491*c_1001_3^10 + 20396495248723066359808294945053280/1001663798370148667432965704649\ 1*c_1001_3^9 + 17085167431629083611275265310189401/1001663798370148\ 6674329657046491*c_1001_3^8 + 10388469047068223676306768136819839/1\ 0016637983701486674329657046491*c_1001_3^7 + 3715794560006792222599216948689992/10016637983701486674329657046491\ *c_1001_3^6 + 3008975528423852238382010080430120/100166379837014866\ 74329657046491*c_1001_3^5 + 765717373920293430423775798569118/10016\ 637983701486674329657046491*c_1001_3^4 - 196469724777008592106236230652337/10016637983701486674329657046491*\ c_1001_3^3 - 64966110302396660490816757881676/100166379837014866743\ 29657046491*c_1001_3^2 - 77175318299819850528797216981312/100166379\ 83701486674329657046491*c_1001_3 - 49377198063169003056365628220047/10016637983701486674329657046491, c_0011_8 - 25774209311058137806168936681149952/100166379837014866743296\ 57046491*c_1001_3^20 - 59470217010404812598003916967584640/10016637\ 983701486674329657046491*c_1001_3^19 - 7761149631765425712526740351877568/10016637983701486674329657046491\ *c_1001_3^18 - 291091434429775329132868381671764104/100166379837014\ 86674329657046491*c_1001_3^17 - 23904011421426914716896235380954328\ /10016637983701486674329657046491*c_1001_3^16 - 457359322479649516731751750505992432/100166379837014866743296570464\ 91*c_1001_3^15 - 156240923705366318693898753021448126/1001663798370\ 1486674329657046491*c_1001_3^14 - 478808838142564304536425489084899\ 592/10016637983701486674329657046491*c_1001_3^13 - 249996023295980960023146132449927481/100166379837014866743296570464\ 91*c_1001_3^12 - 285753215985512745145352140891322380/1001663798370\ 1486674329657046491*c_1001_3^11 - 229424572355778338467288753918347\ 143/10016637983701486674329657046491*c_1001_3^10 - 127197878004158424941207147648858888/100166379837014866743296570464\ 91*c_1001_3^9 - 94371092933982359286297933855874460/100166379837014\ 86674329657046491*c_1001_3^8 - 61412234570865226267635427501369400/\ 10016637983701486674329657046491*c_1001_3^7 - 30762805413154543697015621136134856/1001663798370148667432965704649\ 1*c_1001_3^6 - 19841244776721221634274088901140122/1001663798370148\ 6674329657046491*c_1001_3^5 - 8904792906396029210687212247002581/10\ 016637983701486674329657046491*c_1001_3^4 - 2913397592041411630002496299388175/10016637983701486674329657046491\ *c_1001_3^3 - 1074825723358703927935177304064318/100166379837014866\ 74329657046491*c_1001_3^2 - 232247250981312570686158716981782/10016\ 637983701486674329657046491*c_1001_3 + 37217874069989797951926373090701/10016637983701486674329657046491, c_0101_0 + 1021535291200169588628825855346688/1001663798370148667432965\ 7046491*c_1001_3^20 + 4757476389483949154498835187857152/1001663798\ 3701486674329657046491*c_1001_3^19 + 5864322520078415383077205709869120/10016637983701486674329657046491\ *c_1001_3^18 + 12424098247098601891328158202189760/1001663798370148\ 6674329657046491*c_1001_3^17 + 28450173825324040267188005751168060/\ 10016637983701486674329657046491*c_1001_3^16 + 20817240547634276136862374600345896/1001663798370148667432965704649\ 1*c_1001_3^15 + 50149949709635934707191962668095890/100166379837014\ 86674329657046491*c_1001_3^14 + 35073537057467931477405200941278567\ /10016637983701486674329657046491*c_1001_3^13 + 56673489724921824588778634120597618/1001663798370148667432965704649\ 1*c_1001_3^12 + 37219162314395617078621260842404204/100166379837014\ 86674329657046491*c_1001_3^11 + 38439169390961757647607959264668211\ /10016637983701486674329657046491*c_1001_3^10 + 29208169289651752223024661687408105/1001663798370148667432965704649\ 1*c_1001_3^9 + 17577713475674011169640682319928526/1001663798370148\ 6674329657046491*c_1001_3^8 + 12993383172970327392856033606498578/1\ 0016637983701486674329657046491*c_1001_3^7 + 8065329510346198220240564558599194/10016637983701486674329657046491\ *c_1001_3^6 + 4303384850414570603255596519205593/100166379837014866\ 74329657046491*c_1001_3^5 + 2586684840168252395347743928412071/1001\ 6637983701486674329657046491*c_1001_3^4 + 1218243510839162994317744404137777/10016637983701486674329657046491\ *c_1001_3^3 + 447880196137905129788373958361494/1001663798370148667\ 4329657046491*c_1001_3^2 + 170522612447458917923851705448467/100166\ 37983701486674329657046491*c_1001_3 + 41879720821791873155633039600320/10016637983701486674329657046491, c_0101_10 + 9412541780450667847498629664232704/100166379837014866743296\ 57046491*c_1001_3^20 + 14325255490665636082549979671244096/10016637\ 983701486674329657046491*c_1001_3^19 - 15012232305518364363016227895116960/1001663798370148667432965704649\ 1*c_1001_3^18 + 102338322943138805189466114068741116/10016637983701\ 486674329657046491*c_1001_3^17 - 7508836126855094527588494553599332\ 0/10016637983701486674329657046491*c_1001_3^16 + 150731149701342673344210198730380270/100166379837014866743296570464\ 91*c_1001_3^15 - 73890887046874487473103428280733421/10016637983701\ 486674329657046491*c_1001_3^14 + 1130518640682490470674951016689398\ 12/10016637983701486674329657046491*c_1001_3^13 - 48779925108906934727578698487241777/1001663798370148667432965704649\ 1*c_1001_3^12 + 13467962494065655693278951427544060/100166379837014\ 86674329657046491*c_1001_3^11 - 4415145761541490231370579696569412/\ 10016637983701486674329657046491*c_1001_3^10 - 32373470716404106637932757525629743/1001663798370148667432965704649\ 1*c_1001_3^9 - 9100621311272451172920016929214826/10016637983701486\ 674329657046491*c_1001_3^8 - 10508517067807841098440091256288393/10\ 016637983701486674329657046491*c_1001_3^7 - 10244324846372249841243812846533205/1001663798370148667432965704649\ 1*c_1001_3^6 - 3981400484634620741823824332951444/10016637983701486\ 674329657046491*c_1001_3^5 - 3808416654713070406904486860175938/100\ 16637983701486674329657046491*c_1001_3^4 - 2338848050422045428139294668518284/10016637983701486674329657046491\ *c_1001_3^3 - 838707326121922173988698776124939/1001663798370148667\ 4329657046491*c_1001_3^2 - 400471513561296489456541474129324/100166\ 37983701486674329657046491*c_1001_3 - 138012125498368146153737268593264/10016637983701486674329657046491, c_0101_12 + 17191646576642336884950078390136832/10016637983701486674329\ 657046491*c_1001_3^20 + 42781779948287850870067110733633280/1001663\ 7983701486674329657046491*c_1001_3^19 + 13039650697797651287692236236875200/1001663798370148667432965704649\ 1*c_1001_3^18 + 196361534215858367647034640362190112/10016637983701\ 486674329657046491*c_1001_3^17 + 5068191293631091098133911040092202\ 0/10016637983701486674329657046491*c_1001_3^16 + 315651367151627964291291062192224004/100166379837014866743296570464\ 91*c_1001_3^15 + 156863618998184362533260521926992994/1001663798370\ 1486674329657046491*c_1001_3^14 + 350508000909272314089658480720401\ 235/10016637983701486674329657046491*c_1001_3^13 + 223912741330679898862141779357689375/100166379837014866743296570464\ 91*c_1001_3^12 + 232464935482479746285549549320440391/1001663798370\ 1486674329657046491*c_1001_3^11 + 189487334960240934556960862274792\ 639/10016637983701486674329657046491*c_1001_3^10 + 118270948443077911656996968277610467/100166379837014866743296570464\ 91*c_1001_3^9 + 82122722034382237453821121509626142/100166379837014\ 86674329657046491*c_1001_3^8 + 53842629003741042716555171587516736/\ 10016637983701486674329657046491*c_1001_3^7 + 29694478174964900813517350702325959/1001663798370148667432965704649\ 1*c_1001_3^6 + 17878019591108247818210820865130961/1001663798370148\ 6674329657046491*c_1001_3^5 + 8751075333222065726128145553934602/10\ 016637983701486674329657046491*c_1001_3^4 + 3332397153201971955261391955020258/10016637983701486674329657046491\ *c_1001_3^3 + 1193052569055522423593912303839213/100166379837014866\ 74329657046491*c_1001_3^2 + 324142194240882022862482653815926/10016\ 637983701486674329657046491*c_1001_3 + 21881660616330501818280123754863/10016637983701486674329657046491, c_0101_2 - 337195558372829134191989363306240/10016637983701486674329657\ 046491*c_1001_3^20 - 6512374612250014354962469090094528/10016637983\ 701486674329657046491*c_1001_3^19 - 14401163577156907371127710718418080/1001663798370148667432965704649\ 1*c_1001_3^18 - 7873609680689794544055157392692852/1001663798370148\ 6674329657046491*c_1001_3^17 - 65175951394335896481406658030216768/\ 10016637983701486674329657046491*c_1001_3^16 - 23445613917418132539080295322352162/1001663798370148667432965704649\ 1*c_1001_3^15 - 103289181980785919503966974885243729/10016637983701\ 486674329657046491*c_1001_3^14 - 6071140816788515484680990723544548\ 6/10016637983701486674329657046491*c_1001_3^13 - 113575763845590237826323485629073737/100166379837014866743296570464\ 91*c_1001_3^12 - 79853965181650925678492237499209817/10016637983701\ 486674329657046491*c_1001_3^11 - 7432984489376005987391019449697754\ 0/10016637983701486674329657046491*c_1001_3^10 - 64604807265732289563052226055684493/1001663798370148667432965704649\ 1*c_1001_3^9 - 37778507263587480252960602363368495/1001663798370148\ 6674329657046491*c_1001_3^8 - 26534172434890194157591780756102551/1\ 0016637983701486674329657046491*c_1001_3^7 - 17847967530232631429953641019240918/1001663798370148667432965704649\ 1*c_1001_3^6 - 9260144982605326046593366661269933/10016637983701486\ 674329657046491*c_1001_3^5 - 5772323508660431193108649889642617/100\ 16637983701486674329657046491*c_1001_3^4 - 2774592026748441920055792692095109/10016637983701486674329657046491\ *c_1001_3^3 - 975870737516647039478280440961979/1001663798370148667\ 4329657046491*c_1001_3^2 - 361408266716088101759430539795949/100166\ 37983701486674329657046491*c_1001_3 - 90016951647263272972798818763780/10016637983701486674329657046491, c_0101_3 - 1843414765916663134241488505854464/1001663798370148667432965\ 7046491*c_1001_3^20 - 4989981970774570991980751374182528/1001663798\ 3701486674329657046491*c_1001_3^19 - 2040797986483051915786014577363264/10016637983701486674329657046491\ *c_1001_3^18 - 20607239774231815064464776945883640/1001663798370148\ 6674329657046491*c_1001_3^17 - 10050051599165120104729831942333000/\ 10016637983701486674329657046491*c_1001_3^16 - 30920993124563837562026874762626444/1001663798370148667432965704649\ 1*c_1001_3^15 - 24788324423656029873911740466142586/100166379837014\ 86674329657046491*c_1001_3^14 - 34375727160841055800105286112989646\ /10016637983701486674329657046491*c_1001_3^13 - 31738012743557279113890624010442506/1001663798370148667432965704649\ 1*c_1001_3^12 - 22984637027401581100280442179978400/100166379837014\ 86674329657046491*c_1001_3^11 - 23993427355698917578083108750193246\ /10016637983701486674329657046491*c_1001_3^10 - 12981724839284416808760576428615628/1001663798370148667432965704649\ 1*c_1001_3^9 - 9333608458603355132003892177709026/10016637983701486\ 674329657046491*c_1001_3^8 - 6199242556619975040743301196847434/100\ 16637983701486674329657046491*c_1001_3^7 - 3357622373647740481274457885706890/10016637983701486674329657046491\ *c_1001_3^6 - 2013590928329973236702384273952185/100166379837014866\ 74329657046491*c_1001_3^5 - 1024541943236142334472611590667852/1001\ 6637983701486674329657046491*c_1001_3^4 - 360691467484224273726577722218788/10016637983701486674329657046491*\ c_1001_3^3 - 130785204519472075565566876946619/10016637983701486674\ 329657046491*c_1001_3^2 - 42422117184209994923683344942724/10016637\ 983701486674329657046491*c_1001_3 - 3947131716689600050067797927261/10016637983701486674329657046491, c_1001_0 - 1030025562365100091490255061204224/1001663798370148667432965\ 7046491*c_1001_3^20 - 1384808597102056639697927540724032/1001663798\ 3701486674329657046491*c_1001_3^19 + 1845973272776319822966567850915360/10016637983701486674329657046491\ *c_1001_3^18 - 11696825275522037284750531606440156/1001663798370148\ 6674329657046491*c_1001_3^17 + 10210493069413520559046500739091344/\ 10016637983701486674329657046491*c_1001_3^16 - 18590832770815788571329169503622522/1001663798370148667432965704649\ 1*c_1001_3^15 + 10547480438882142432099883947253565/100166379837014\ 86674329657046491*c_1001_3^14 - 14014273601587408865319910465126876\ /10016637983701486674329657046491*c_1001_3^13 + 6347677911172468292193985475770272/10016637983701486674329657046491\ *c_1001_3^12 - 2243787547372361817703628213606961/10016637983701486\ 674329657046491*c_1001_3^11 - 400700146170805269118141919189000/100\ 16637983701486674329657046491*c_1001_3^10 + 4077170476094002317090405407317924/10016637983701486674329657046491\ *c_1001_3^9 - 191185190457650693036584387829012/1001663798370148667\ 4329657046491*c_1001_3^8 + 1214926999463490549695276151605609/10016\ 637983701486674329657046491*c_1001_3^7 + 1036433070338331093000521142072763/10016637983701486674329657046491\ *c_1001_3^6 + 242916410644270125851083318193315/1001663798370148667\ 4329657046491*c_1001_3^5 + 365235436285911610334206121985938/100166\ 37983701486674329657046491*c_1001_3^4 + 219525759684842010012593344606216/10016637983701486674329657046491*\ c_1001_3^3 + 71008696103775387347254265977037/100166379837014866743\ 29657046491*c_1001_3^2 + 45408379937944510018344011106185/100166379\ 83701486674329657046491*c_1001_3 + 16201105634882891070798789263309/10016637983701486674329657046491, c_1001_1 - 2536738785536686626746186935720448/1001663798370148667432965\ 7046491*c_1001_3^20 - 3679147030111665924663545615495040/1001663798\ 3701486674329657046491*c_1001_3^19 + 4692140747754520968750335651972096/10016637983701486674329657046491\ *c_1001_3^18 - 27221662680395254458508142274050648/1001663798370148\ 6674329657046491*c_1001_3^17 + 21836388232323344761175048764061892/\ 10016637983701486674329657046491*c_1001_3^16 - 37996953852923500701013028843311744/1001663798370148667432965704649\ 1*c_1001_3^15 + 20856761924492933790129136695789608/100166379837014\ 86674329657046491*c_1001_3^14 - 25619560404517975384287806049672429\ /10016637983701486674329657046491*c_1001_3^13 + 13833547023040774462758930196465537/1001663798370148667432965704649\ 1*c_1001_3^12 + 1082085457438335071963494638954652/1001663798370148\ 6674329657046491*c_1001_3^11 + 1029350072909273489990249501692969/1\ 0016637983701486674329657046491*c_1001_3^10 + 10852055230852361608464799764891436/1001663798370148667432965704649\ 1*c_1001_3^9 + 2693283825449082054284962774273794/10016637983701486\ 674329657046491*c_1001_3^8 + 2843813077857038788966448193919246/100\ 16637983701486674329657046491*c_1001_3^7 + 2890775040202269274327850322329121/10016637983701486674329657046491\ *c_1001_3^6 + 1080799435889359367713680410686618/100166379837014866\ 74329657046491*c_1001_3^5 + 984614613624986615159431661281149/10016\ 637983701486674329657046491*c_1001_3^4 + 632242046049529436943017211774270/10016637983701486674329657046491*\ c_1001_3^3 + 171616860616815458911916403581666/10016637983701486674\ 329657046491*c_1001_3^2 + 85729869201695496993882328900568/10016637\ 983701486674329657046491*c_1001_3 + 28577993634679042787115453944727/10016637983701486674329657046491, c_1001_3^21 + 9/4*c_1001_3^20 + 3/8*c_1001_3^19 + 755/64*c_1001_3^18 + 7/16*c_1001_3^17 + 2563/128*c_1001_3^16 + 1471/256*c_1001_3^15 + 2797/128*c_1001_3^14 + 2745/256*c_1001_3^13 + 3713/256*c_1001_3^12 + 1425/128*c_1001_3^11 + 225/32*c_1001_3^10 + 183/32*c_1001_3^9 + 907/256*c_1001_3^8 + 257/128*c_1001_3^7 + 347/256*c_1001_3^6 + 41/64*c_1001_3^5 + 77/256*c_1001_3^4 + 9/64*c_1001_3^3 + 11/256*c_1001_3^2 + 3/256*c_1001_3 + 1/256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 15.170 Total time: 15.380 seconds, Total memory usage: 123.03MB