Magma V2.19-8 Tue Aug 20 2013 23:38:28 on localhost [Seed = 88301881] Type ? for help. Type -D to quit. Loading file "K10a33__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a33 geometric_solution 10.93768941 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 1 -1 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 0 0 0 0.618026883965 0.913833428493 0 5 7 6 0132 0132 0132 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 -1 0 1 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.753603399241 0.787990305629 8 0 9 5 0132 0132 0132 0132 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 1 -1 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.476409389848 0.531923234840 7 6 5 0 0132 0132 0132 0132 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 1 0 -1 -1 0 1 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.753603399241 0.787990305629 5 10 0 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 -1 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 1 -11 0 10 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476409389848 0.531923234840 4 1 2 3 0132 0132 0132 0132 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 1 -1 11 0 0 -11 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.618026883965 0.913833428493 7 3 1 7 2103 0132 0132 0321 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 -1 0 1 1 0 0 -1 -1 11 0 -10 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.937076439328 0.758241564537 3 6 6 1 0132 0321 2103 0132 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 -1 1 0 1 0 -1 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.937076439328 0.758241564537 2 11 4 9 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 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 10 0 0 -10 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.549720998821 0.956321241215 11 10 8 2 3012 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 0 -1 11 -11 0 0 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.225296111709 0.779655190412 11 4 11 9 0132 0132 0321 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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 0 11 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.735329200410 0.968072175575 10 8 10 9 0132 0132 0321 1230 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 1 0 -1 0 0 11 -11 0 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.622806864488 0.240345676527 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0101_2'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_11'], 'c_1001_8' : d['c_0101_2'], 'c_1010_11' : d['c_0101_2'], 'c_1010_10' : d['c_1001_2'], 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_9']), 'c_0101_10' : d['c_0011_9'], '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' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0011_10' : d['c_0011_0'], 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_2'], 'c_1100_10' : d['c_1001_11'], 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], '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_1001_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1001_11'], 'c_1100_8' : d['c_1100_0'], 's_3_1' : 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' : 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' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], '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' : d['c_0011_9'], 'c_0110_10' : negation(d['c_0011_9']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], '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_1'], '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_2'], 'c_0101_8' : d['c_0101_5'], 's_1_11' : negation(d['1']), 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_3']})} 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_3, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_1001_0, c_1001_1, c_1001_11, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 35501977938305894005725093025560383/9290160727057697109814858216880\ 0*c_1001_2^27 + 9140219729408451973818406321291811/1858032145411539\ 4219629716433760*c_1001_2^26 - 31173337072942432572097280085182049/\ 4222800330480771413552208280400*c_1001_2^25 + 756275780484497911211292203903838051/929016072705769710981485821688\ 00*c_1001_2^24 - 1186310061903962354077822152199799741/185803214541\ 15394219629716433760*c_1001_2^23 + 5762013431699918343287976998654897741/92901607270576971098148582168\ 800*c_1001_2^22 - 30479749822709496147889754025490508567/9290160727\ 0576971098148582168800*c_1001_2^21 + 1326719130009711886736079511914402873/46450803635288485549074291084\ 40*c_1001_2^20 - 3241849687998075396847815454471194974/290317522720\ 5530346817143192775*c_1001_2^19 + 816060004774690098424297921043717\ 80671/92901607270576971098148582168800*c_1001_2^18 - 4922107931609675648796855404869212761/18580321454115394219629716433\ 76*c_1001_2^17 + 6997052281329241669334430900180782565/371606429082\ 3078843925943286752*c_1001_2^16 - 207798762201456548930454103387194\ 676711/46450803635288485549074291084400*c_1001_2^15 + 264432386904451377598122365583210751613/929016072705769710981485821\ 68800*c_1001_2^14 - 99721101278381879931728524285849944957/18580321\ 454115394219629716433760*c_1001_2^13 + 55510271831806016044498159022928377287/1858032145411539421962971643\ 3760*c_1001_2^12 - 20647696014892703233522855150052993177/464508036\ 3528848554907429108440*c_1001_2^11 + 5965326704748958416629949906072510508/29031752272055303468171431927\ 75*c_1001_2^10 - 43662416067935421560320618972774741743/18580321454\ 115394219629716433760*c_1001_2^9 + 2240667595112701331259942964661752927/29031752272055303468171431927\ 75*c_1001_2^8 - 28792690233158206542027619398837268289/464508036352\ 88485549074291084400*c_1001_2^7 + 804714822757315802956938147936638\ 367/46450803635288485549074291084400*c_1001_2^6 + 3189408610568256119755772813902934313/92901607270576971098148582168\ 800*c_1001_2^5 - 2560123612333569802389092308957086783/232254018176\ 44242774537145542200*c_1001_2^4 + 515978849097671419323309101285385\ 529/8445600660961542827104416560800*c_1001_2^3 - 1633789167781271994816931108732222241/46450803635288485549074291084\ 400*c_1001_2^2 + 413555012275437368529974967376961753/4645080363528\ 8485549074291084400*c_1001_2 - 146593824275200624127694313951987001\ /92901607270576971098148582168800, c_0011_0 - 1, c_0011_3 - 374303706103136225970568455/10557000826201928533880520701*c_\ 1001_2^27 + 11298037321875775265044951363/1055700082620192853388052\ 0701*c_1001_2^26 - 14503893562104155454070243423/105570008262019285\ 33880520701*c_1001_2^25 + 198249443063840786467275386192/1055700082\ 6201928533880520701*c_1001_2^24 - 158357080675703760273921912933/10\ 557000826201928533880520701*c_1001_2^23 + 1547722438128391570781423034842/10557000826201928533880520701*c_100\ 1_2^22 - 888746762391445216824774989570/105570008262019285338805207\ 01*c_1001_2^21 + 7092105905505306866244047283829/105570008262019285\ 33880520701*c_1001_2^20 - 3052335415204219673683427571578/105570008\ 26201928533880520701*c_1001_2^19 + 21152902722452462985794568089097/10557000826201928533880520701*c_10\ 01_2^18 - 6828277654924114735298057409612/1055700082620192853388052\ 0701*c_1001_2^17 + 42976066057406365295632797458487/105570008262019\ 28533880520701*c_1001_2^16 - 9950442610356990445611333328355/105570\ 00826201928533880520701*c_1001_2^15 + 60305704861716873826284564815594/10557000826201928533880520701*c_10\ 01_2^14 - 8678518626960224784001830908753/1055700082620192853388052\ 0701*c_1001_2^13 + 57684046009224289582378006887777/105570008262019\ 28533880520701*c_1001_2^12 - 2780631544902908938863348813120/105570\ 00826201928533880520701*c_1001_2^11 + 35827429700081251422814419656079/10557000826201928533880520701*c_10\ 01_2^10 + 2672580576240340231187642546326/1055700082620192853388052\ 0701*c_1001_2^9 + 12820527543240486227098557360119/1055700082620192\ 8533880520701*c_1001_2^8 + 3625624013155074887998485015225/10557000\ 826201928533880520701*c_1001_2^7 + 1799771840198767717879705760999/10557000826201928533880520701*c_100\ 1_2^6 + 1794353208830034567377202009073/105570008262019285338805207\ 01*c_1001_2^5 - 157916258037517362753971219921/10557000826201928533\ 880520701*c_1001_2^4 + 423175956314411422077634884845/1055700082620\ 1928533880520701*c_1001_2^3 - 40073085616928523751611993789/1055700\ 0826201928533880520701*c_1001_2^2 + 49614680229022334130606296012/10557000826201928533880520701*c_1001_\ 2 - 259261798664131483475754303/10557000826201928533880520701, c_0011_9 + 30909147504373931904395308332/10557000826201928533880520701*\ c_1001_2^27 - 52297109078360721457391354192/10557000826201928533880\ 520701*c_1001_2^26 + 596538294668524907256183515608/105570008262019\ 28533880520701*c_1001_2^25 - 872374158651508633366525126133/1055700\ 0826201928533880520701*c_1001_2^24 + 5118889563633948512286158720509/10557000826201928533880520701*c_100\ 1_2^23 - 6653926250304412459621369020985/10557000826201928533880520\ 701*c_1001_2^22 + 25980778364318734352954468499632/1055700082620192\ 8533880520701*c_1001_2^21 - 30458106986893826329174130582741/105570\ 00826201928533880520701*c_1001_2^20 + 87037813401902244800879578021256/10557000826201928533880520701*c_10\ 01_2^19 - 92447107032746247927440682755712/105570008262019285338805\ 20701*c_1001_2^18 + 202538937919603110645860501112800/1055700082620\ 1928533880520701*c_1001_2^17 - 194158717728101120041246120120986/10\ 557000826201928533880520701*c_1001_2^16 + 333996429193104617835869563174839/10557000826201928533880520701*c_1\ 001_2^15 - 285361407223613257910985783856668/1055700082620192853388\ 0520701*c_1001_2^14 + 388539892529790763378003335080642/10557000826\ 201928533880520701*c_1001_2^13 - 288565925061936432189127059555360/\ 10557000826201928533880520701*c_1001_2^12 + 307898475948137725989312436775230/10557000826201928533880520701*c_1\ 001_2^11 - 188840885192654993688440507038323/1055700082620192853388\ 0520701*c_1001_2^10 + 150764760009362898964437282444146/10557000826\ 201928533880520701*c_1001_2^9 - 66038936934002498864814161768503/10\ 557000826201928533880520701*c_1001_2^8 + 31710860943048990966675250597970/10557000826201928533880520701*c_10\ 01_2^7 - 798451847951628958024557939818/105570008262019285338805207\ 01*c_1001_2^6 - 6824036844857251497014821511110/1055700082620192853\ 3880520701*c_1001_2^5 + 7906261451025738110088225289925/10557000826\ 201928533880520701*c_1001_2^4 - 4687011174472363699513837100280/105\ 57000826201928533880520701*c_1001_2^3 + 2005533359532373105936564652402/10557000826201928533880520701*c_100\ 1_2^2 - 478304651782767716334107023766/1055700082620192853388052070\ 1*c_1001_2 + 46257219265350892007444822907/105570008262019285338805\ 20701, c_0101_0 - 9885564343376123964201801910/10557000826201928533880520701*c\ _1001_2^27 + 11849267447752323378116151928/105570008262019285338805\ 20701*c_1001_2^26 - 184801270307601523456095133513/1055700082620192\ 8533880520701*c_1001_2^25 + 186584467656610807237195376346/10557000\ 826201928533880520701*c_1001_2^24 - 1542595140319102949785757763915/10557000826201928533880520701*c_100\ 1_2^23 + 1352130607488239609269803392059/10557000826201928533880520\ 701*c_1001_2^22 - 7626845213112701863297567997442/10557000826201928\ 533880520701*c_1001_2^21 + 5914593857440121431241652729516/10557000\ 826201928533880520701*c_1001_2^20 - 24876395389769761224300452475536/10557000826201928533880520701*c_10\ 01_2^19 + 17240956567620123677440297700002/105570008262019285338805\ 20701*c_1001_2^18 - 56256254025261152007382025745849/10557000826201\ 928533880520701*c_1001_2^17 + 34915119276965315222252515159917/1055\ 7000826201928533880520701*c_1001_2^16 - 89904579850587935737960779123123/10557000826201928533880520701*c_10\ 01_2^15 + 49618283045501259760731938027285/105570008262019285338805\ 20701*c_1001_2^14 - 101012684003158044484278174108240/1055700082620\ 1928533880520701*c_1001_2^13 + 48555069599470874517304943412467/105\ 57000826201928533880520701*c_1001_2^12 - 77014750321259496379089907456526/10557000826201928533880520701*c_10\ 01_2^11 + 30604132297119641243111562145412/105570008262019285338805\ 20701*c_1001_2^10 - 36134178743409535959895811751148/10557000826201\ 928533880520701*c_1001_2^9 + 9913211785673751902512530419352/105570\ 00826201928533880520701*c_1001_2^8 - 7264939806236245050539054934016/10557000826201928533880520701*c_100\ 1_2^7 - 595180921683360231457130717550/1055700082620192853388052070\ 1*c_1001_2^6 + 1464993962413745381203118294775/10557000826201928533\ 880520701*c_1001_2^5 - 1685167845947221150879274620799/105570008262\ 01928533880520701*c_1001_2^4 + 952069638395089061166472292632/10557\ 000826201928533880520701*c_1001_2^3 - 433850688944070545943816645645/10557000826201928533880520701*c_1001\ _2^2 + 79390527628318769244397897733/10557000826201928533880520701*\ c_1001_2 - 757135527246587707900690687/1055700082620192853388052070\ 1, c_0101_1 + 19831808121277846672270514243/10557000826201928533880520701*\ c_1001_2^27 - 26942677557712953036794239346/10557000826201928533880\ 520701*c_1001_2^26 + 369359070816111024669996419887/105570008262019\ 28533880520701*c_1001_2^25 - 430910191679621098051777684911/1055700\ 0826201928533880520701*c_1001_2^24 + 3065763837506613920447590505153/10557000826201928533880520701*c_100\ 1_2^23 - 3169799270926511138152750302183/10557000826201928533880520\ 701*c_1001_2^22 + 15059464212909920135979328541499/1055700082620192\ 8533880520701*c_1001_2^21 - 14056711899668125211228274167900/105570\ 00826201928533880520701*c_1001_2^20 + 48813426037701699252913317370082/10557000826201928533880520701*c_10\ 01_2^19 - 41461403740562391247555939143722/105570008262019285338805\ 20701*c_1001_2^18 + 109849546720628897659913557760638/1055700082620\ 1928533880520701*c_1001_2^17 - 84758613536215989053607133024469/105\ 57000826201928533880520701*c_1001_2^16 + 175117772797498404241052958920448/10557000826201928533880520701*c_1\ 001_2^15 - 121238316869056951591029357157914/1055700082620192853388\ 0520701*c_1001_2^14 + 196941067360459234120928268947519/10557000826\ 201928533880520701*c_1001_2^13 - 118952058356939031210721992315031/\ 10557000826201928533880520701*c_1001_2^12 + 151038417211886889720023825662461/10557000826201928533880520701*c_1\ 001_2^11 - 74707037269671903824970419314984/10557000826201928533880\ 520701*c_1001_2^10 + 71935460296697048657333496449685/1055700082620\ 1928533880520701*c_1001_2^9 - 23822462829633006740047750168736/1055\ 7000826201928533880520701*c_1001_2^8 + 15236948168879488250544219757496/10557000826201928533880520701*c_10\ 01_2^7 + 1468797654948272939703234895638/10557000826201928533880520\ 701*c_1001_2^6 - 2526867453580362379765505034902/105570008262019285\ 33880520701*c_1001_2^5 + 3765695047997062401496773953688/1055700082\ 6201928533880520701*c_1001_2^4 - 1872646605401879722344540975295/10\ 557000826201928533880520701*c_1001_2^3 + 903017363879839114754780985221/10557000826201928533880520701*c_1001\ _2^2 - 207429498419764564999791050100/10557000826201928533880520701\ *c_1001_2 + 25737592926996333940627941129/1055700082620192853388052\ 0701, c_0101_2 + 11717953287265136155996835776/10557000826201928533880520701*\ c_1001_2^27 - 16881784541388007406003294024/10557000826201928533880\ 520701*c_1001_2^26 + 201435563464721095408992681400/105570008262019\ 28533880520701*c_1001_2^25 - 252557258549662933317197086360/1055700\ 0826201928533880520701*c_1001_2^24 + 1506783993858743148798627976928/10557000826201928533880520701*c_100\ 1_2^23 - 1717777288376843607217692510538/10557000826201928533880520\ 701*c_1001_2^22 + 6452099380789331865081901389646/10557000826201928\ 533880520701*c_1001_2^21 - 6906421515290469435907118160223/10557000\ 826201928533880520701*c_1001_2^20 + 17320199961605825248587933939026/10557000826201928533880520701*c_10\ 01_2^19 - 17877369745646372336987548089157/105570008262019285338805\ 20701*c_1001_2^18 + 29498638805287528597173864438023/10557000826201\ 928533880520701*c_1001_2^17 - 30309735031447643560372142924311/1055\ 7000826201928533880520701*c_1001_2^16 + 29073107969510532560159386836898/10557000826201928533880520701*c_10\ 01_2^15 - 32108932902334892554155154073309/105570008262019285338805\ 20701*c_1001_2^14 + 7992364550062819406462652044691/105570008262019\ 28533880520701*c_1001_2^13 - 16917788281188142090022149726339/10557\ 000826201928533880520701*c_1001_2^12 - 18443869432712338979664212570857/10557000826201928533880520701*c_10\ 01_2^11 + 2773606457383114319961124093108/1055700082620192853388052\ 0701*c_1001_2^10 - 26122604608418393558562504645629/105570008262019\ 28533880520701*c_1001_2^9 + 9453744062177023532539165749690/1055700\ 0826201928533880520701*c_1001_2^8 - 14256565024303099319330775277833/10557000826201928533880520701*c_10\ 01_2^7 + 3957550900982461630090950433642/10557000826201928533880520\ 701*c_1001_2^6 - 2192961542682956082680272092298/105570008262019285\ 33880520701*c_1001_2^5 - 777414263771551209512240072391/10557000826\ 201928533880520701*c_1001_2^4 + 846672355126688296612446102613/1055\ 7000826201928533880520701*c_1001_2^3 - 755834301935074705735189281853/10557000826201928533880520701*c_1001\ _2^2 + 226878727684414380219104937789/10557000826201928533880520701\ *c_1001_2 - 30909513005571599410203219399/1055700082620192853388052\ 0701, c_0101_5 - c_1001_2, c_1001_0 - 19831808121277846672270514243/10557000826201928533880520701*\ c_1001_2^27 + 26942677557712953036794239346/10557000826201928533880\ 520701*c_1001_2^26 - 369359070816111024669996419887/105570008262019\ 28533880520701*c_1001_2^25 + 430910191679621098051777684911/1055700\ 0826201928533880520701*c_1001_2^24 - 3065763837506613920447590505153/10557000826201928533880520701*c_100\ 1_2^23 + 3169799270926511138152750302183/10557000826201928533880520\ 701*c_1001_2^22 - 15059464212909920135979328541499/1055700082620192\ 8533880520701*c_1001_2^21 + 14056711899668125211228274167900/105570\ 00826201928533880520701*c_1001_2^20 - 48813426037701699252913317370082/10557000826201928533880520701*c_10\ 01_2^19 + 41461403740562391247555939143722/105570008262019285338805\ 20701*c_1001_2^18 - 109849546720628897659913557760638/1055700082620\ 1928533880520701*c_1001_2^17 + 84758613536215989053607133024469/105\ 57000826201928533880520701*c_1001_2^16 - 175117772797498404241052958920448/10557000826201928533880520701*c_1\ 001_2^15 + 121238316869056951591029357157914/1055700082620192853388\ 0520701*c_1001_2^14 - 196941067360459234120928268947519/10557000826\ 201928533880520701*c_1001_2^13 + 118952058356939031210721992315031/\ 10557000826201928533880520701*c_1001_2^12 - 151038417211886889720023825662461/10557000826201928533880520701*c_1\ 001_2^11 + 74707037269671903824970419314984/10557000826201928533880\ 520701*c_1001_2^10 - 71935460296697048657333496449685/1055700082620\ 1928533880520701*c_1001_2^9 + 23822462829633006740047750168736/1055\ 7000826201928533880520701*c_1001_2^8 - 15236948168879488250544219757496/10557000826201928533880520701*c_10\ 01_2^7 - 1468797654948272939703234895638/10557000826201928533880520\ 701*c_1001_2^6 + 2526867453580362379765505034902/105570008262019285\ 33880520701*c_1001_2^5 - 3765695047997062401496773953688/1055700082\ 6201928533880520701*c_1001_2^4 + 1872646605401879722344540975295/10\ 557000826201928533880520701*c_1001_2^3 - 903017363879839114754780985221/10557000826201928533880520701*c_1001\ _2^2 + 207429498419764564999791050100/10557000826201928533880520701\ *c_1001_2 - 25737592926996333940627941129/1055700082620192853388052\ 0701, c_1001_1 + 9885564343376123964201801910/10557000826201928533880520701*c\ _1001_2^27 - 11849267447752323378116151928/105570008262019285338805\ 20701*c_1001_2^26 + 184801270307601523456095133513/1055700082620192\ 8533880520701*c_1001_2^25 - 186584467656610807237195376346/10557000\ 826201928533880520701*c_1001_2^24 + 1542595140319102949785757763915/10557000826201928533880520701*c_100\ 1_2^23 - 1352130607488239609269803392059/10557000826201928533880520\ 701*c_1001_2^22 + 7626845213112701863297567997442/10557000826201928\ 533880520701*c_1001_2^21 - 5914593857440121431241652729516/10557000\ 826201928533880520701*c_1001_2^20 + 24876395389769761224300452475536/10557000826201928533880520701*c_10\ 01_2^19 - 17240956567620123677440297700002/105570008262019285338805\ 20701*c_1001_2^18 + 56256254025261152007382025745849/10557000826201\ 928533880520701*c_1001_2^17 - 34915119276965315222252515159917/1055\ 7000826201928533880520701*c_1001_2^16 + 89904579850587935737960779123123/10557000826201928533880520701*c_10\ 01_2^15 - 49618283045501259760731938027285/105570008262019285338805\ 20701*c_1001_2^14 + 101012684003158044484278174108240/1055700082620\ 1928533880520701*c_1001_2^13 - 48555069599470874517304943412467/105\ 57000826201928533880520701*c_1001_2^12 + 77014750321259496379089907456526/10557000826201928533880520701*c_10\ 01_2^11 - 30604132297119641243111562145412/105570008262019285338805\ 20701*c_1001_2^10 + 36134178743409535959895811751148/10557000826201\ 928533880520701*c_1001_2^9 - 9913211785673751902512530419352/105570\ 00826201928533880520701*c_1001_2^8 + 7264939806236245050539054934016/10557000826201928533880520701*c_100\ 1_2^7 + 595180921683360231457130717550/1055700082620192853388052070\ 1*c_1001_2^6 - 1464993962413745381203118294775/10557000826201928533\ 880520701*c_1001_2^5 + 1685167845947221150879274620799/105570008262\ 01928533880520701*c_1001_2^4 - 952069638395089061166472292632/10557\ 000826201928533880520701*c_1001_2^3 + 433850688944070545943816645645/10557000826201928533880520701*c_1001\ _2^2 - 79390527628318769244397897733/10557000826201928533880520701*\ c_1001_2 + 757135527246587707900690687/1055700082620192853388052070\ 1, c_1001_11 + 11005046703623025173108457791/10557000826201928533880520701\ *c_1001_2^27 - 4121347586344909575595409819/10557000826201928533880\ 520701*c_1001_2^26 + 197933476662739351785565734118/105570008262019\ 28533880520701*c_1001_2^25 - 45507246881894438309791979371/10557000\ 826201928533880520701*c_1001_2^24 + 1601649769200398783291461978697/10557000826201928533880520701*c_100\ 1_2^23 - 211185314414597862660858027860/105570008262019285338805207\ 01*c_1001_2^22 + 7694474696344361823307481312292/105570008262019285\ 33880520701*c_1001_2^21 - 503660826059277725511282226355/1055700082\ 6201928533880520701*c_1001_2^20 + 24370394155636086145033984079922/\ 10557000826201928533880520701*c_1001_2^19 - 514598682759042766241583387046/10557000826201928533880520701*c_1001\ _2^18 + 53395732330928859409940444895952/10557000826201928533880520\ 701*c_1001_2^17 + 401876425083888945376840025346/105570008262019285\ 33880520701*c_1001_2^16 + 82439742226519886568174072262481/10557000\ 826201928533880520701*c_1001_2^15 + 2027292325502509189365159181163/10557000826201928533880520701*c_100\ 1_2^14 + 89282257610148739748891538798651/1055700082620192853388052\ 0701*c_1001_2^13 + 2930836085804866769239502336543/1055700082620192\ 8533880520701*c_1001_2^12 + 65706228260928096196036187823391/105570\ 00826201928533880520701*c_1001_2^11 + 2346992022182196756403905936350/10557000826201928533880520701*c_100\ 1_2^10 + 30314308296540908613212563098876/1055700082620192853388052\ 0701*c_1001_2^9 + 1435392730306205705556596889578/10557000826201928\ 533880520701*c_1001_2^8 + 6947905912911514520401121499358/105570008\ 26201928533880520701*c_1001_2^7 + 1186850906844763682838946333946/1\ 0557000826201928533880520701*c_1001_2^6 - 134787775763072224895920807581/10557000826201928533880520701*c_1001\ _2^5 + 932216628139876755856377570460/10557000826201928533880520701\ *c_1001_2^4 - 411364399341180630564172051179/1055700082620192853388\ 0520701*c_1001_2^3 + 322253804765708028610319215385/105570008262019\ 28533880520701*c_1001_2^2 - 97185785050824090878403035137/105570008\ 26201928533880520701*c_1001_2 + 724041246851985752396309672/1055700\ 0826201928533880520701, c_1001_2^28 - 10/7*c_1001_2^27 + 137/7*c_1001_2^26 - 169/7*c_1001_2^25 + 1200/7*c_1001_2^24 - 1314/7*c_1001_2^23 + 6248/7*c_1001_2^22 - 6175/7*c_1001_2^21 + 21572/7*c_1001_2^20 - 19399/7*c_1001_2^19 + 52005/7*c_1001_2^18 - 42575/7*c_1001_2^17 + 89463/7*c_1001_2^16 - 66187/7*c_1001_2^15 + 109730/7*c_1001_2^14 - 72040/7*c_1001_2^13 + 93435/7*c_1001_2^12 - 52324/7*c_1001_2^11 + 51315/7*c_1001_2^10 - 22031/7*c_1001_2^9 + 14482/7*c_1001_2^8 - 2376/7*c_1001_2^7 - 507/7*c_1001_2^6 + 2193/7*c_1001_2^5 - 1511/7*c_1001_2^4 + 873/7*c_1001_2^3 - 284/7*c_1001_2^2 + 59/7*c_1001_2 - 5/7, c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.240 Total time: 0.450 seconds, Total memory usage: 32.09MB