Magma V2.19-8 Tue Aug 20 2013 23:44:10 on localhost [Seed = 324368119] Type ? for help. Type -D to quit. Loading file "K13n1757__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1757 geometric_solution 10.98183729 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 -3 1 2 3 0 -3 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.995507008313 0.529151492918 0 5 5 6 0132 0132 1023 0132 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 0 -2 2 -3 0 3 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.292427283299 0.653620117869 7 0 5 8 0132 0132 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 3 -3 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.633026149747 1.257052741574 7 9 9 0 2031 0132 2103 0132 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 1 -1 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.926694391306 0.703258672228 6 5 0 10 1023 1023 0132 0132 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 2 -2 0 -2 0 0 2 3 -1 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.018188083352 0.690743868596 4 1 1 2 1023 0132 1023 0132 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 0 -3 3 -2 0 2 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.272896528884 0.894245869673 7 4 1 8 1023 1023 0132 1023 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 2 -2 0 0 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410434570235 0.785896734358 2 6 3 10 0132 1023 1302 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.721795112262 0.472928586363 9 11 2 6 3012 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 -3 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.112208053018 1.191728638430 3 3 11 8 2103 0132 0132 1230 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 -3 -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.746733305629 0.719379138915 11 7 4 11 2103 1302 0132 2310 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 -2 2 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.313876085610 1.010125245605 10 8 10 9 3201 0132 2103 0132 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 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.592474101703 0.302903780286 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_0101_2'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0101_5'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0101_5'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : negation(d['c_0101_3']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], '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' : negation(d['1']), 's_2_7' : 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' : negation(d['1']), 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1100_1']), 'c_1100_4' : d['c_0011_11'], 'c_1100_7' : d['c_0101_3'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0011_11'], 'c_1100_3' : d['c_0011_11'], 'c_1100_2' : negation(d['c_1100_1']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_5'], 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : d['c_0011_10'], 'c_1100_8' : negation(d['c_1100_1']), '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' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_0'], '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_3'], 'c_0110_10' : negation(d['c_0101_10']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_3']), '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_3'], '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_0101_3'], 'c_0101_8' : negation(d['c_0011_3']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 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_2, c_0101_3, c_0101_5, c_1001_0, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 83883812281445009769579235133516626025252793263/3470467678883468769\ 35642672731247453289353379465*c_1100_1^16 - 505791835362479251871272757954187110828913081719/173523383944173438\ 4678213363656237266446766897325*c_1100_1^15 + 3129184509112185474293377415947456953717156998/97759652926294894911\ 4486402059851981096770083*c_1100_1^14 + 2414312339624861135868462202683821554787124945339/57841127981391146\ 1559404454552079088815588965775*c_1100_1^13 + 39167174852462340854643609206115236124006711033007/1735233839441734\ 384678213363656237266446766897325*c_1100_1^12 + 63554156894353124743710612855428996880206857985417/1735233839441734\ 384678213363656237266446766897325*c_1100_1^11 + 348586184390448042537356744729095689832491046586236/173523383944173\ 4384678213363656237266446766897325*c_1100_1^10 + 124424206306949538220796090366184625691663872931359/578411279813911\ 461559404454552079088815588965775*c_1100_1^9 + 479193312933031618527895283870625558301851405997378/578411279813911\ 461559404454552079088815588965775*c_1100_1^8 + 1561983000703146247824950646646614714618694373674514/17352338394417\ 34384678213363656237266446766897325*c_1100_1^7 + 4098872730203023136156080562397275659429852218168049/17352338394417\ 34384678213363656237266446766897325*c_1100_1^6 + 2625714613262319785412947821869215784995447770869598/17352338394417\ 34384678213363656237266446766897325*c_1100_1^5 + 1485864243203575376115389618177179485236373991036964/57841127981391\ 1461559404454552079088815588965775*c_1100_1^4 - 1304408566236088987056727007594383764856819250824619/17352338394417\ 34384678213363656237266446766897325*c_1100_1^3 - 41279622856358164341952253641745993689782272690927/1156822559627822\ 92311880890910415817763117793155*c_1100_1^2 + 604307707911887835256413283058204156252575501430608/173523383944173\ 4384678213363656237266446766897325*c_1100_1 - 39616688429975896635925086451454930394749572847713/1735233839441734\ 384678213363656237266446766897325, c_0011_0 - 1, c_0011_10 + 3841578738070766964068266424865/424136052916775061558867403\ 1681963*c_1100_1^16 - 4947654688597354915247017046263/4241360529167\ 750615588674031681963*c_1100_1^15 + 51648939896363271827143249177964/4241360529167750615588674031681963\ *c_1100_1^14 + 62034366831980617615517024863751/4241360529167750615\ 588674031681963*c_1100_1^13 + 358373694626731490275981140592245/424\ 1360529167750615588674031681963*c_1100_1^12 + 565104900739026610117765316736156/424136052916775061558867403168196\ 3*c_1100_1^11 + 3189622039765373753340454481932622/4241360529167750\ 615588674031681963*c_1100_1^10 + 3256222142446080228849444193224002\ /4241360529167750615588674031681963*c_1100_1^9 + 13328944827566684467345398129047966/4241360529167750615588674031681\ 963*c_1100_1^8 + 13885202197829537536744501034360105/42413605291677\ 50615588674031681963*c_1100_1^7 + 382466057583395840771965978881592\ 78/4241360529167750615588674031681963*c_1100_1^6 + 24154326530514765799742560761974089/4241360529167750615588674031681\ 963*c_1100_1^5 + 45165960063355879707601881456679231/42413605291677\ 50615588674031681963*c_1100_1^4 - 960670303851322999683762021144318\ 4/4241360529167750615588674031681963*c_1100_1^3 + 6427379765772094880421250560421780/42413605291677506155886740316819\ 63*c_1100_1^2 + 7452889846600657909708424598582093/4241360529167750\ 615588674031681963*c_1100_1 + 488040824982793208129434574809564/424\ 1360529167750615588674031681963, c_0011_11 - 31158536938021180243399535681153/21206802645838753077943370\ 158409815*c_1100_1^16 + 26196769070373006117191815565511/2120680264\ 5838753077943370158409815*c_1100_1^15 - 398480277446193150248351438799971/212068026458387530779433701584098\ 15*c_1100_1^14 - 689069692876641970380412646629449/2120680264583875\ 3077943370158409815*c_1100_1^13 - 309806034337406178453883384939957\ 9/21206802645838753077943370158409815*c_1100_1^12 - 5779833790775371500527886263556981/21206802645838753077943370158409\ 815*c_1100_1^11 - 5508536235209986905065700155387838/42413605291677\ 50615588674031681963*c_1100_1^10 - 7419646685252288029029986623825477/42413605291677506155886740316819\ 63*c_1100_1^9 - 116408093045153446737193319969644103/21206802645838\ 753077943370158409815*c_1100_1^8 - 154519878600204081869909542989159068/212068026458387530779433701584\ 09815*c_1100_1^7 - 68844917766012741496780902825615200/424136052916\ 7750615588674031681963*c_1100_1^6 - 305547244047809401290081235875376133/212068026458387530779433701584\ 09815*c_1100_1^5 - 396126158297528943408382555104393101/21206802645\ 838753077943370158409815*c_1100_1^4 - 27161368854585301999487578415144284/2120680264583875307794337015840\ 9815*c_1100_1^3 + 85518495217886476979004493961780046/2120680264583\ 8753077943370158409815*c_1100_1^2 - 62366049325550190735743461803552003/2120680264583875307794337015840\ 9815*c_1100_1 - 18720600621988230004618968591731668/212068026458387\ 53077943370158409815, c_0011_3 + 5381222463360605706540197115609/2120680264583875307794337015\ 8409815*c_1100_1^16 - 15020402565782370309923283998942/212068026458\ 38753077943370158409815*c_1100_1^15 + 76888987727704095184033638643788/2120680264583875307794337015840981\ 5*c_1100_1^14 - 14930288965553429638301200678801/212068026458387530\ 77943370158409815*c_1100_1^13 + 293025064695665772673006700615239/2\ 1206802645838753077943370158409815*c_1100_1^12 - 13345207326007866181512676756831/4241360529167750615588674031681963\ *c_1100_1^11 + 2718492549225924344988957553765486/21206802645838753\ 077943370158409815*c_1100_1^10 - 3058525120544630517297953462696908\ /21206802645838753077943370158409815*c_1100_1^9 + 6799571165614490937720454466984028/21206802645838753077943370158409\ 815*c_1100_1^8 - 13910022655974106097815582298708717/21206802645838\ 753077943370158409815*c_1100_1^7 + 3617710598776553982380265896296349/21206802645838753077943370158409\ 815*c_1100_1^6 - 68690623573087005904165560859545683/21206802645838\ 753077943370158409815*c_1100_1^5 - 9635248640155339460162128840692226/42413605291677506155886740316819\ 63*c_1100_1^4 - 143203640997140866449328932887339342/21206802645838\ 753077943370158409815*c_1100_1^3 - 37715637641276506769367504937960243/2120680264583875307794337015840\ 9815*c_1100_1^2 + 28789900648650452608009053141351787/2120680264583\ 8753077943370158409815*c_1100_1 - 226459333540349913289435381422291\ 69/21206802645838753077943370158409815, c_0101_0 - 151339029057243273243017675285764/21206802645838753077943370\ 158409815*c_1100_1^16 + 167977171610201577761442473421274/212068026\ 45838753077943370158409815*c_1100_1^15 - 1977302430149851515553668966269228/21206802645838753077943370158409\ 815*c_1100_1^14 - 563928451735536366507148729960435/424136052916775\ 0615588674031681963*c_1100_1^13 - 285028416017232825991546270123368\ 8/4241360529167750615588674031681963*c_1100_1^12 - 24176941733602623883173485474603921/2120680264583875307794337015840\ 9815*c_1100_1^11 - 127072562852332548512969210041207009/21206802645\ 838753077943370158409815*c_1100_1^10 - 145564146904166755421246436374180678/212068026458387530779433701584\ 09815*c_1100_1^9 - 104813509626148365114798946232773074/42413605291\ 67750615588674031681963*c_1100_1^8 - 121337303249282068459306903672029377/424136052916775061558867403168\ 1963*c_1100_1^7 - 1500330389892120540724397404772426361/21206802645\ 838753077943370158409815*c_1100_1^6 - 1064332989550463944080475175629623676/21206802645838753077943370158\ 409815*c_1100_1^5 - 1607393911939271291025596375795731721/212068026\ 45838753077943370158409815*c_1100_1^4 + 357537734157231167863566638188732304/212068026458387530779433701584\ 09815*c_1100_1^3 + 359755061098305305504116660193753918/21206802645\ 838753077943370158409815*c_1100_1^2 - 245254838472809302769328107439850196/212068026458387530779433701584\ 09815*c_1100_1 - 15168941299101907356731711525622527/21206802645838\ 753077943370158409815, c_0101_1 + 60205125489642844857670977417516/212068026458387530779433701\ 58409815*c_1100_1^16 - 81776828369721183737155826678371/21206802645\ 838753077943370158409815*c_1100_1^15 + 803662183744523888204431874450952/212068026458387530779433701584098\ 15*c_1100_1^14 + 185371309713948146825788298671667/4241360529167750\ 615588674031681963*c_1100_1^13 + 1079219391315825669561921742581226\ /4241360529167750615588674031681963*c_1100_1^12 + 8227743017320070957030443420966034/21206802645838753077943370158409\ 815*c_1100_1^11 + 48231571549084620158939446953976951/2120680264583\ 8753077943370158409815*c_1100_1^10 + 45492612283182476510576265198984932/2120680264583875307794337015840\ 9815*c_1100_1^9 + 38922948953841173436912592501212420/4241360529167\ 750615588674031681963*c_1100_1^8 + 38131226247526298170169781542858093/4241360529167750615588674031681\ 963*c_1100_1^7 + 539439304794373525786286101026324469/2120680264583\ 8753077943370158409815*c_1100_1^6 + 278756647445335919295283189666889389/212068026458387530779433701584\ 09815*c_1100_1^5 + 542191391845213151320171327546098669/21206802645\ 838753077943370158409815*c_1100_1^4 - 292906357473275344886503878435108646/212068026458387530779433701584\ 09815*c_1100_1^3 - 99917136545323228017576120995888327/212068026458\ 38753077943370158409815*c_1100_1^2 + 128065631481663322796205443882394899/212068026458387530779433701584\ 09815*c_1100_1 - 13532717018923700320325674567136987/21206802645838\ 753077943370158409815, c_0101_10 + 14967810037383245155583930112853/21206802645838753077943370\ 158409815*c_1100_1^16 - 16269938297917024842951957630859/2120680264\ 5838753077943370158409815*c_1100_1^15 + 200159313414872990516168368646216/212068026458387530779433701584098\ 15*c_1100_1^14 + 280577338192755548175397415127448/2120680264583875\ 3077943370158409815*c_1100_1^13 + 147817542999302198136138047255261\ 8/21206802645838753077943370158409815*c_1100_1^12 + 509512797648492020287161271361167/424136052916775061558867403168196\ 3*c_1100_1^11 + 13161621966221541169750861380198417/212068026458387\ 53077943370158409815*c_1100_1^10 + 15681499904915252939543965894503399/2120680264583875307794337015840\ 9815*c_1100_1^9 + 56856069431906578303980390403271306/2120680264583\ 8753077943370158409815*c_1100_1^8 + 68161129895445176587431167325788616/2120680264583875307794337015840\ 9815*c_1100_1^7 + 170156640182135659515750064208516268/212068026458\ 38753077943370158409815*c_1100_1^6 + 136636521776190306697857911177506419/212068026458387530779433701584\ 09815*c_1100_1^5 + 45164971194802862520192359886593134/424136052916\ 7750615588674031681963*c_1100_1^4 + 27300033350789710084167567786150641/2120680264583875307794337015840\ 9815*c_1100_1^3 + 46243715133958456081524820837780434/2120680264583\ 8753077943370158409815*c_1100_1^2 + 24176739296670882396778563724623269/2120680264583875307794337015840\ 9815*c_1100_1 + 817067036175912298353139417746922/21206802645838753\ 077943370158409815, c_0101_2 - 42219902178623498054690367325584/212068026458387530779433701\ 58409815*c_1100_1^16 + 46743766442201919062754667840499/21206802645\ 838753077943370158409815*c_1100_1^15 - 545615144343246606392991676263113/212068026458387530779433701584098\ 15*c_1100_1^14 - 158967576219772626179747250236771/4241360529167750\ 615588674031681963*c_1100_1^13 - 780072286033127731205321910841250/\ 4241360529167750615588674031681963*c_1100_1^12 - 6646832310489672089143980421602931/21206802645838753077943370158409\ 815*c_1100_1^11 - 34908782947118153450625339406184514/2120680264583\ 8753077943370158409815*c_1100_1^10 - 39735720913413755609715994614151703/2120680264583875307794337015840\ 9815*c_1100_1^9 - 28241965294438537460555208583943515/4241360529167\ 750615588674031681963*c_1100_1^8 - 32757494877836958269418321167478932/4241360529167750615588674031681\ 963*c_1100_1^7 - 397364588481621298805861846633986901/2120680264583\ 8753077943370158409815*c_1100_1^6 - 271031692126035490613050488732161731/212068026458387530779433701584\ 09815*c_1100_1^5 - 385321594726936134672965661834236816/21206802645\ 838753077943370158409815*c_1100_1^4 + 148318451684017286182624497544914894/212068026458387530779433701584\ 09815*c_1100_1^3 + 191645388847275775955083953463209353/21206802645\ 838753077943370158409815*c_1100_1^2 - 62565412663335967706728180390304341/2120680264583875307794337015840\ 9815*c_1100_1 - 8083534817138197929351377447745532/2120680264583875\ 3077943370158409815, c_0101_3 - 17992193066223891641977646563203/212068026458387530779433701\ 58409815*c_1100_1^16 + 34247923044128266753318375894656/21206802645\ 838753077943370158409815*c_1100_1^15 - 248292094226833770773486071599496/212068026458387530779433701584098\ 15*c_1100_1^14 - 149651579430230364659031249061959/2120680264583875\ 3077943370158409815*c_1100_1^13 - 139359122109479116297771455693692\ 4/21206802645838753077943370158409815*c_1100_1^12 - 1461784888121450859394578126574806/21206802645838753077943370158409\ 815*c_1100_1^11 - 2501070710168216128386224060171832/42413605291677\ 50615588674031681963*c_1100_1^10 - 933352631092288261198630209257543/424136052916775061558867403168196\ 3*c_1100_1^9 - 45896685415841055971818512636635803/2120680264583875\ 3077943370158409815*c_1100_1^8 - 1804724691419467778863883493577556\ 8/21206802645838753077943370158409815*c_1100_1^7 - 21508450295964216262010288290419077/4241360529167750615588674031681\ 963*c_1100_1^6 + 34668080390188992464186981743138267/21206802645838\ 753077943370158409815*c_1100_1^5 - 47832993125944881452837844199069396/2120680264583875307794337015840\ 9815*c_1100_1^4 + 250170077536043266683271282209666786/212068026458\ 38753077943370158409815*c_1100_1^3 + 78581195332882572366410459353079076/2120680264583875307794337015840\ 9815*c_1100_1^2 - 28444276193583443365972386324696823/2120680264583\ 8753077943370158409815*c_1100_1 + 214231563922575420526458638165138\ 57/21206802645838753077943370158409815, c_0101_5 - 21961516450124052593766466230421/212068026458387530779433701\ 58409815*c_1100_1^16 + 10809504437277329381275408452691/21206802645\ 838753077943370158409815*c_1100_1^15 - 269596637621008965302005226478492/212068026458387530779433701584098\ 15*c_1100_1^14 - 117478998063974790525837023915389/4241360529167750\ 615588674031681963*c_1100_1^13 - 458847888466493440476243182349396/\ 4241360529167750615588674031681963*c_1100_1^12 - 4722798906618306165410834960917249/21206802645838753077943370158409\ 815*c_1100_1^11 - 20376591763912412823831652027235271/2120680264583\ 8753077943370158409815*c_1100_1^10 - 32059117089791811720416723787197507/2120680264583875307794337015840\ 9815*c_1100_1^9 - 17403732689599938445833222291061874/4241360529167\ 750615588674031681963*c_1100_1^8 - 26372638020943720892074362456782305/4241360529167750615588674031681\ 963*c_1100_1^7 - 263683724588896580891001869444921484/2120680264583\ 8753077943370158409815*c_1100_1^6 - 276238803118628817169083648519756294/212068026458387530779433701584\ 09815*c_1100_1^5 - 302439192872812836429017555322157949/21206802645\ 838753077943370158409815*c_1100_1^4 - 67073241198376111876179742916075639/2120680264583875307794337015840\ 9815*c_1100_1^3 + 119497499390256094676720570202721347/212068026458\ 38753077943370158409815*c_1100_1^2 - 2637852860020994881868549967587349/21206802645838753077943370158409\ 815*c_1100_1 - 18530088185353966011296637907278523/2120680264583875\ 3077943370158409815, c_1001_0 - 115940408466251503334860737593139/21206802645838753077943370\ 158409815*c_1100_1^16 + 133312067394758821910967530255307/212068026\ 45838753077943370158409815*c_1100_1^15 - 1520736766636714996685769650225653/21206802645838753077943370158409\ 815*c_1100_1^14 - 2100978069833892322253143293981419/21206802645838\ 753077943370158409815*c_1100_1^13 - 10839667414346944045019954426360254/2120680264583875307794337015840\ 9815*c_1100_1^12 - 3623829485474915886698515796834399/4241360529167\ 750615588674031681963*c_1100_1^11 - 96743393443677286390689298234803126/2120680264583875307794337015840\ 9815*c_1100_1^10 - 107866302670590167071393248183436682/21206802645\ 838753077943370158409815*c_1100_1^9 - 397870800379661534804054810952252743/212068026458387530779433701584\ 09815*c_1100_1^8 - 450901756552503749330333637524975908/21206802645\ 838753077943370158409815*c_1100_1^7 - 1135029412452494572370259965412070239/21206802645838753077943370158\ 409815*c_1100_1^6 - 774650634626271020489539047121883517/2120680264\ 5838753077943370158409815*c_1100_1^5 - 242252561859795452336033242568181627/424136052916775061558867403168\ 1963*c_1100_1^4 + 309365554468460609794698547760510027/212068026458\ 38753077943370158409815*c_1100_1^3 + 260129749575320846845693598196302338/212068026458387530779433701584\ 09815*c_1100_1^2 - 191007881856765457959764456526420812/21206802645\ 838753077943370158409815*c_1100_1 + 5174796411624376390181290522410039/21206802645838753077943370158409\ 815, c_1100_1^17 - c_1100_1^16 + 13*c_1100_1^15 + 20*c_1100_1^14 + 97*c_1100_1^13 + 171*c_1100_1^12 + 863*c_1100_1^11 + 1063*c_1100_1^10 + 3617*c_1100_1^9 + 4444*c_1100_1^8 + 10568*c_1100_1^7 + 8333*c_1100_1^6 + 12012*c_1100_1^5 - 769*c_1100_1^4 - 1981*c_1100_1^3 + 1279*c_1100_1^2 + 186*c_1100_1 + 37 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.860 Total time: 1.060 seconds, Total memory usage: 32.09MB