Magma V2.19-8 Tue Aug 20 2013 23:38:50 on localhost [Seed = 660685664] Type ? for help. Type -D to quit. Loading file "K12n218__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n218 geometric_solution 10.27289984 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 2 1 0132 0132 3201 3201 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 1 -1 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.155553567943 0.627395155825 0 0 4 3 0132 2310 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 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.372296621710 1.501586238613 0 0 6 5 2310 0132 0132 0132 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 1 0 -2 0 2 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.372296621710 1.501586238613 5 5 1 6 0213 0132 0132 2310 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 1 0 -1 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.615815428163 1.041070042321 5 7 8 1 3201 0132 0132 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 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.082648951750 0.746265862984 3 3 2 4 0213 0132 0132 2310 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 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.615815428163 1.041070042321 3 8 7 2 3201 3201 3201 0132 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 1 0 -1 1 0 1 -2 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.082648951750 0.746265862984 6 4 10 9 2310 0132 0132 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 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.513932591216 0.796538894575 9 10 6 4 0132 0132 2310 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 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.513932591216 0.796538894575 8 10 7 10 0132 0213 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 -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.637551201951 0.456900954337 9 8 9 7 3120 0132 0213 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 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.637551201951 0.456900954337 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_1001_10'], 'c_1001_7' : d['c_1001_1'], 'c_1001_6' : negation(d['c_0101_7']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_1001_1']), 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : d['c_1001_1'], 'c_1010_10' : d['c_1001_1'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0011_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_10' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_6'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_0011_4'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_4'], 'c_1100_10' : negation(d['c_0011_10']), 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : negation(d['c_1001_1']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_1001_10'], 'c_1100_8' : d['c_0011_6'], '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' : 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' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), '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_10' : d['c_0101_7'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0101_9' : d['c_0101_4'], 'c_0101_8' : d['c_0101_7'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_7'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_6, c_0101_1, c_0101_2, c_0101_4, c_0101_7, c_1001_1, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 623653253889667693067604972538016464794404641217282207744/260805602\ 6785040797149109487754691754439575028965425*c_1001_10^22 - 758211348838183226043757420345916684080284887643441195008/260805602\ 6785040797149109487754691754439575028965425*c_1001_10^21 - 27134279464929132669955688567987580020812448073036571648/7451588647\ 9572594204260271078705478698273572256155*c_1001_10^20 + 810250195101680985849706988473257375999704954085025486336/372579432\ 397862971021301355393527393491367861280775*c_1001_10^19 - 3559670027258804573269895403973012367343027935343634751232/26080560\ 26785040797149109487754691754439575028965425*c_1001_10^18 - 3192320771748621697382814202242497200061200206728955102848/52161120\ 5357008159429821897550938350887915005793085*c_1001_10^17 + 798730846153490036947163158194388647168221016116136840128/521611205\ 357008159429821897550938350887915005793085*c_1001_10^16 + 27149705384407692842820253382738508409228299785010483943808/2608056\ 026785040797149109487754691754439575028965425*c_1001_10^15 + 164320758121808335097390982923428669772036845937418998160/149031772\ 95914518840852054215741095739654714451231*c_1001_10^14 + 26896026508660279771122510076061323137424619574519873904936/2608056\ 026785040797149109487754691754439575028965425*c_1001_10^13 + 7006078354484301404499673441279787424021717120144112774256/26080560\ 26785040797149109487754691754439575028965425*c_1001_10^12 - 14235476413249277657101665653509478571960014455126074887036/2608056\ 026785040797149109487754691754439575028965425*c_1001_10^11 - 1421828002282422721382385915946678416138589490225693356582/37257943\ 2397862971021301355393527393491367861280775*c_1001_10^10 - 2973909774940800238584578364145537143076542152542799468238/26080560\ 26785040797149109487754691754439575028965425*c_1001_10^9 - 2240445754806016035736414707887008485509275603781016615034/26080560\ 26785040797149109487754691754439575028965425*c_1001_10^8 + 17988149856084743263156095227076528807656343733306687976/7451588647\ 9572594204260271078705478698273572256155*c_1001_10^7 + 357612731894946536879635786699235856637210102225882668043/521611205\ 357008159429821897550938350887915005793085*c_1001_10^6 + 153762533254540918612486487320395044771556338910764233183/521611205\ 357008159429821897550938350887915005793085*c_1001_10^5 + 200523434871471016278498543164773873475492776999092441201/260805602\ 6785040797149109487754691754439575028965425*c_1001_10^4 + 43621188898219244816344210145798212171645325918320895427/2608056026\ 785040797149109487754691754439575028965425*c_1001_10^3 - 32408200887239968553134139961020957753518783936265558091/2608056026\ 785040797149109487754691754439575028965425*c_1001_10^2 - 1968250578219986455356631857914057439910475907182636529/52161120535\ 7008159429821897550938350887915005793085*c_1001_10 - 2659671422186770794510509813631919009107415680047518613/26080560267\ 85040797149109487754691754439575028965425, c_0011_0 - 1, c_0011_10 - 15380249941170008454599854534762361807761957420544/21290253\ 27987788405836007745105870819950673493033*c_1001_10^22 + 58309839320277097313834205857390547138917855773440/2129025327987788\ 405836007745105870819950673493033*c_1001_10^21 - 11354211291016029451292845513255715752288512810880/2129025327987788\ 405836007745105870819950673493033*c_1001_10^20 - 230400445224903878248260655752348473623040151033408/212902532798778\ 8405836007745105870819950673493033*c_1001_10^19 + 450310570378045732314840449662950930160861667335264/212902532798778\ 8405836007745105870819950673493033*c_1001_10^18 + 301741342754094399743506517801071162769468714411024/212902532798778\ 8405836007745105870819950673493033*c_1001_10^17 - 1320431695496668210546190480798296808198145731390296/21290253279877\ 88405836007745105870819950673493033*c_1001_10^16 - 626557283070289582770239437553429239283052487078384/212902532798778\ 8405836007745105870819950673493033*c_1001_10^15 + 1407055523470501305192731760697028090286463155211358/21290253279877\ 88405836007745105870819950673493033*c_1001_10^14 + 1535660646742259938161679101607410891911280952973615/21290253279877\ 88405836007745105870819950673493033*c_1001_10^13 + 1613257763441814249976670861612281207404733063451277/21290253279877\ 88405836007745105870819950673493033*c_1001_10^12 + 931530983331262683376909236989752968825888679411329/212902532798778\ 8405836007745105870819950673493033*c_1001_10^11 - 894096652926181590412417734541988068931705269336035/212902532798778\ 8405836007745105870819950673493033*c_1001_10^10 - 797611013269882118743172949141502740817426905837331/212902532798778\ 8405836007745105870819950673493033*c_1001_10^9 - 2395920696585916749796902935746431953574753659646/21290253279877884\ 05836007745105870819950673493033*c_1001_10^8 - 105443004307047558732106643207252836130572682731484/212902532798778\ 8405836007745105870819950673493033*c_1001_10^7 - 35772148074768807218224714731909276115547914831311/2129025327987788\ 405836007745105870819950673493033*c_1001_10^6 + 127330392077574375828136684136894945244346752926456/212902532798778\ 8405836007745105870819950673493033*c_1001_10^5 + 57368675346317771659633957333648757206289971815555/2129025327987788\ 405836007745105870819950673493033*c_1001_10^4 - 335020447044753640531023127584589117988304127846/212902532798778840\ 5836007745105870819950673493033*c_1001_10^3 - 608268040831141766194317558144111411548101178789/212902532798778840\ 5836007745105870819950673493033*c_1001_10^2 - 917123570488810306050847218689858523987547672008/212902532798778840\ 5836007745105870819950673493033*c_1001_10 - 585721643387824128280677145058471950230760789794/212902532798778840\ 5836007745105870819950673493033, c_0011_3 + 142634658456356499730736073167009549005287548756480/21290253\ 27987788405836007745105870819950673493033*c_1001_10^22 - 103409829884512630824539747517160394002836095093504/212902532798778\ 8405836007745105870819950673493033*c_1001_10^21 - 325202835901029369579233561770319058523081988335232/212902532798778\ 8405836007745105870819950673493033*c_1001_10^20 + 1213543091986809833823500903436920452026382427204416/21290253279877\ 88405836007745105870819950673493033*c_1001_10^19 - 129401710383908930953440737381306572355280741789792/212902532798778\ 8405836007745105870819950673493033*c_1001_10^18 - 4261788182573723429964735269269548055860350474114640/21290253279877\ 88405836007745105870819950673493033*c_1001_10^17 - 801552477715509699280077770653361406867739027069992/212902532798778\ 8405836007745105870819950673493033*c_1001_10^16 + 7343823651890839451535186096799682077131322272431400/21290253279877\ 88405836007745105870819950673493033*c_1001_10^15 + 9540926159833718697433144141667716354508496159085798/21290253279877\ 88405836007745105870819950673493033*c_1001_10^14 + 8165721618825567440892550800002418254522580756171181/21290253279877\ 88405836007745105870819950673493033*c_1001_10^13 + 3469992332547525608117918152017629426745062419983998/21290253279877\ 88405836007745105870819950673493033*c_1001_10^12 - 3368619641398878431673668358098057856125003881839561/21290253279877\ 88405836007745105870819950673493033*c_1001_10^11 - 4119159987046622245937189702037845095015328773257727/21290253279877\ 88405836007745105870819950673493033*c_1001_10^10 - 1122789692391041854063390025167529742916567957539647/21290253279877\ 88405836007745105870819950673493033*c_1001_10^9 - 375667240546192366161707308628459458414381337735636/212902532798778\ 8405836007745105870819950673493033*c_1001_10^8 - 110649148861220400200815093511119244513756203409125/212902532798778\ 8405836007745105870819950673493033*c_1001_10^7 + 541815213483160476294064414471076364278161040548326/212902532798778\ 8405836007745105870819950673493033*c_1001_10^6 + 378614248455172456041817407452731646321283404433119/212902532798778\ 8405836007745105870819950673493033*c_1001_10^5 + 38556811086334831427904692864389337786758939247507/2129025327987788\ 405836007745105870819950673493033*c_1001_10^4 + 3021179480575537590660984553498510149007423148883/21290253279877884\ 05836007745105870819950673493033*c_1001_10^3 + 1248155171040055283531844153340039231714154089250/21290253279877884\ 05836007745105870819950673493033*c_1001_10^2 - 6805042849671003490556184369723843164055315616500/21290253279877884\ 05836007745105870819950673493033*c_1001_10 - 1516028446359583804501032090639873973275940133885/21290253279877884\ 05836007745105870819950673493033, c_0011_4 - 154482368581863848121373123582152904504656398251008/21290253\ 27987788405836007745105870819950673493033*c_1001_10^22 + 290646013621545855835186499410685144246583477947904/212902532798778\ 8405836007745105870819950673493033*c_1001_10^21 + 109562614527073665438995115004296087660301798135040/212902532798778\ 8405836007745105870819950673493033*c_1001_10^20 - 1567273078944880548889118941095673177204906305317504/21290253279877\ 88405836007745105870819950673493033*c_1001_10^19 + 1823826421716836536520489143854248115177643388095680/21290253279877\ 88405836007745105870819950673493033*c_1001_10^18 + 3375590664246559106099969390527376377184018050267296/21290253279877\ 88405836007745105870819950673493033*c_1001_10^17 - 3676271468904977540188657869425759224275547851788720/21290253279877\ 88405836007745105870819950673493033*c_1001_10^16 - 6035307065006489031027572589851302216293956682951728/21290253279877\ 88405836007745105870819950673493033*c_1001_10^15 - 2450368818459081739158284218334223982978654176488204/21290253279877\ 88405836007745105870819950673493033*c_1001_10^14 - 1947830816997753829337875049833052341522192774920098/21290253279877\ 88405836007745105870819950673493033*c_1001_10^13 + 2308904195372432051124946938512888240959270059797736/21290253279877\ 88405836007745105870819950673493033*c_1001_10^12 + 4268795244566322609930086534970326083541791963526728/21290253279877\ 88405836007745105870819950673493033*c_1001_10^11 - 165571830560054384332696944073316849011304114429248/212902532798778\ 8405836007745105870819950673493033*c_1001_10^10 - 946646979110203182988285328992943712720638846571254/212902532798778\ 8405836007745105870819950673493033*c_1001_10^9 + 299347411618398765252951969739093081669665376203310/212902532798778\ 8405836007745105870819950673493033*c_1001_10^8 - 339660290403440881966907901228459364571708276897620/212902532798778\ 8405836007745105870819950673493033*c_1001_10^7 - 323403899646017784511249170181889735526414344947122/212902532798778\ 8405836007745105870819950673493033*c_1001_10^6 + 105739505495848111048783147617430738810199271335578/212902532798778\ 8405836007745105870819950673493033*c_1001_10^5 + 76454625886782246965344556567837738632766476060602/2129025327987788\ 405836007745105870819950673493033*c_1001_10^4 - 3790589384222938798882801676591114298972670657742/21290253279877884\ 05836007745105870819950673493033*c_1001_10^3 + 4023591205837868893594660227817834115412988170860/21290253279877884\ 05836007745105870819950673493033*c_1001_10^2 - 2764962386204128191352577632058422765771197115708/21290253279877884\ 05836007745105870819950673493033*c_1001_10 - 991366456001761003702696107867253761314978113955/212902532798778840\ 5836007745105870819950673493033, c_0011_6 + 154482368581863848121373123582152904504656398251008/21290253\ 27987788405836007745105870819950673493033*c_1001_10^22 - 290646013621545855835186499410685144246583477947904/212902532798778\ 8405836007745105870819950673493033*c_1001_10^21 - 109562614527073665438995115004296087660301798135040/212902532798778\ 8405836007745105870819950673493033*c_1001_10^20 + 1567273078944880548889118941095673177204906305317504/21290253279877\ 88405836007745105870819950673493033*c_1001_10^19 - 1823826421716836536520489143854248115177643388095680/21290253279877\ 88405836007745105870819950673493033*c_1001_10^18 - 3375590664246559106099969390527376377184018050267296/21290253279877\ 88405836007745105870819950673493033*c_1001_10^17 + 3676271468904977540188657869425759224275547851788720/21290253279877\ 88405836007745105870819950673493033*c_1001_10^16 + 6035307065006489031027572589851302216293956682951728/21290253279877\ 88405836007745105870819950673493033*c_1001_10^15 + 2450368818459081739158284218334223982978654176488204/21290253279877\ 88405836007745105870819950673493033*c_1001_10^14 + 1947830816997753829337875049833052341522192774920098/21290253279877\ 88405836007745105870819950673493033*c_1001_10^13 - 2308904195372432051124946938512888240959270059797736/21290253279877\ 88405836007745105870819950673493033*c_1001_10^12 - 4268795244566322609930086534970326083541791963526728/21290253279877\ 88405836007745105870819950673493033*c_1001_10^11 + 165571830560054384332696944073316849011304114429248/212902532798778\ 8405836007745105870819950673493033*c_1001_10^10 + 946646979110203182988285328992943712720638846571254/212902532798778\ 8405836007745105870819950673493033*c_1001_10^9 - 299347411618398765252951969739093081669665376203310/212902532798778\ 8405836007745105870819950673493033*c_1001_10^8 + 339660290403440881966907901228459364571708276897620/212902532798778\ 8405836007745105870819950673493033*c_1001_10^7 + 323403899646017784511249170181889735526414344947122/212902532798778\ 8405836007745105870819950673493033*c_1001_10^6 - 105739505495848111048783147617430738810199271335578/212902532798778\ 8405836007745105870819950673493033*c_1001_10^5 - 76454625886782246965344556567837738632766476060602/2129025327987788\ 405836007745105870819950673493033*c_1001_10^4 + 3790589384222938798882801676591114298972670657742/21290253279877884\ 05836007745105870819950673493033*c_1001_10^3 - 4023591205837868893594660227817834115412988170860/21290253279877884\ 05836007745105870819950673493033*c_1001_10^2 + 2764962386204128191352577632058422765771197115708/21290253279877884\ 05836007745105870819950673493033*c_1001_10 + 991366456001761003702696107867253761314978113955/212902532798778840\ 5836007745105870819950673493033, c_0101_1 - 108014361005392455359665861901961218906839116242432/21290253\ 27987788405836007745105870819950673493033*c_1001_10^22 + 182392748572201217706794193314250582005436975268608/212902532798778\ 8405836007745105870819950673493033*c_1001_10^21 + 117823602083659455317545861538181460246901138429568/212902532798778\ 8405836007745105870819950673493033*c_1001_10^20 - 1092293625674497524764573668307883017806594200155968/21290253279877\ 88405836007745105870819950673493033*c_1001_10^19 + 1075219980651352488648562984886613745763608164156128/21290253279877\ 88405836007745105870819950673493033*c_1001_10^18 + 2629675176868185084892404917004295702503852016624336/21290253279877\ 88405836007745105870819950673493033*c_1001_10^17 - 2205416542373521273065662342692393139826621775765496/21290253279877\ 88405836007745105870819950673493033*c_1001_10^16 - 4682946669140841652009479440687071948266575067550304/21290253279877\ 88405836007745105870819950673493033*c_1001_10^15 - 2344634898753461172203619385688427460925274248674842/21290253279877\ 88405836007745105870819950673493033*c_1001_10^14 - 1712173704752472928611575208886760310693032799225833/21290253279877\ 88405836007745105870819950673493033*c_1001_10^13 + 1148953293815375013793372364854146580607830512125871/21290253279877\ 88405836007745105870819950673493033*c_1001_10^12 + 3082498689928741591976202387108675434622376411794720/21290253279877\ 88405836007745105870819950673493033*c_1001_10^11 + 173663009668599331364573897533688661949962937060909/212902532798778\ 8405836007745105870819950673493033*c_1001_10^10 - 768279725964886011601335322785799582850815862843021/212902532798778\ 8405836007745105870819950673493033*c_1001_10^9 + 172125396965017961488202292569385182673129118366018/212902532798778\ 8405836007745105870819950673493033*c_1001_10^8 - 155562798374271593033437194712583533856662858299973/212902532798778\ 8405836007745105870819950673493033*c_1001_10^7 - 257693354125318855129282409343130945584679683023041/212902532798778\ 8405836007745105870819950673493033*c_1001_10^6 + 48671269991035780035414254449679533807679197022418/2129025327987788\ 405836007745105870819950673493033*c_1001_10^5 + 64633420885156251662215495268569701519493766356891/2129025327987788\ 405836007745105870819950673493033*c_1001_10^4 - 1818243468158393365346801919250595509415761665563/21290253279877884\ 05836007745105870819950673493033*c_1001_10^3 - 1422347558435074880811934456043974865584076968996/21290253279877884\ 05836007745105870819950673493033*c_1001_10^2 - 1302158326846835870209709308874778680417726287033/21290253279877884\ 05836007745105870819950673493033*c_1001_10 - 1706768741825838345725943998044175481859087469820/21290253279877884\ 05836007745105870819950673493033, c_0101_2 + 108014361005392455359665861901961218906839116242432/21290253\ 27987788405836007745105870819950673493033*c_1001_10^22 - 182392748572201217706794193314250582005436975268608/212902532798778\ 8405836007745105870819950673493033*c_1001_10^21 - 117823602083659455317545861538181460246901138429568/212902532798778\ 8405836007745105870819950673493033*c_1001_10^20 + 1092293625674497524764573668307883017806594200155968/21290253279877\ 88405836007745105870819950673493033*c_1001_10^19 - 1075219980651352488648562984886613745763608164156128/21290253279877\ 88405836007745105870819950673493033*c_1001_10^18 - 2629675176868185084892404917004295702503852016624336/21290253279877\ 88405836007745105870819950673493033*c_1001_10^17 + 2205416542373521273065662342692393139826621775765496/21290253279877\ 88405836007745105870819950673493033*c_1001_10^16 + 4682946669140841652009479440687071948266575067550304/21290253279877\ 88405836007745105870819950673493033*c_1001_10^15 + 2344634898753461172203619385688427460925274248674842/21290253279877\ 88405836007745105870819950673493033*c_1001_10^14 + 1712173704752472928611575208886760310693032799225833/21290253279877\ 88405836007745105870819950673493033*c_1001_10^13 - 1148953293815375013793372364854146580607830512125871/21290253279877\ 88405836007745105870819950673493033*c_1001_10^12 - 3082498689928741591976202387108675434622376411794720/21290253279877\ 88405836007745105870819950673493033*c_1001_10^11 - 173663009668599331364573897533688661949962937060909/212902532798778\ 8405836007745105870819950673493033*c_1001_10^10 + 768279725964886011601335322785799582850815862843021/212902532798778\ 8405836007745105870819950673493033*c_1001_10^9 - 172125396965017961488202292569385182673129118366018/212902532798778\ 8405836007745105870819950673493033*c_1001_10^8 + 155562798374271593033437194712583533856662858299973/212902532798778\ 8405836007745105870819950673493033*c_1001_10^7 + 257693354125318855129282409343130945584679683023041/212902532798778\ 8405836007745105870819950673493033*c_1001_10^6 - 48671269991035780035414254449679533807679197022418/2129025327987788\ 405836007745105870819950673493033*c_1001_10^5 - 64633420885156251662215495268569701519493766356891/2129025327987788\ 405836007745105870819950673493033*c_1001_10^4 + 1818243468158393365346801919250595509415761665563/21290253279877884\ 05836007745105870819950673493033*c_1001_10^3 + 1422347558435074880811934456043974865584076968996/21290253279877884\ 05836007745105870819950673493033*c_1001_10^2 + 1302158326846835870209709308874778680417726287033/21290253279877884\ 05836007745105870819950673493033*c_1001_10 + 1706768741825838345725943998044175481859087469820/21290253279877884\ 05836007745105870819950673493033, c_0101_4 + 10971845101469225998722458183391801967132149384192/212902532\ 7987788405836007745105870819950673493033*c_1001_10^22 + 44447218820327233027423038968975347682769897632256/2129025327987788\ 405836007745105870819950673493033*c_1001_10^21 - 67623496849898644917975040609166166537383448921344/2129025327987788\ 405836007745105870819950673493033*c_1001_10^20 - 27478323968728702966897782486424063004553213631872/2129025327987788\ 405836007745105870819950673493033*c_1001_10^19 + 454574791848212302146293395648039666016803557781312/212902532798778\ 8405836007745105870819950673493033*c_1001_10^18 - 411650776825884939508488747765225647118774147442592/212902532798778\ 8405836007745105870819950673493033*c_1001_10^17 - 1668351272405960257197295225387229379406063699295824/21290253279877\ 88405836007745105870819950673493033*c_1001_10^16 + 461043419334745402892422414672695505802280777777424/212902532798778\ 8405836007745105870819950673493033*c_1001_10^15 + 3550036905998507749810558564846651181524006593442908/21290253279877\ 88405836007745105870819950673493033*c_1001_10^14 + 3809411501623767848270448576174715582243300746188226/21290253279877\ 88405836007745105870819950673493033*c_1001_10^13 + 2814291086844019186923583352623060855105054779845908/21290253279877\ 88405836007745105870819950673493033*c_1001_10^12 + 612710933084411525126831240625641407644075113970596/212902532798778\ 8405836007745105870819950673493033*c_1001_10^11 - 1826778259574039967074137643663712843789575157570302/21290253279877\ 88405836007745105870819950673493033*c_1001_10^10 - 1463032465882810132112526940925743698894218189578541/21290253279877\ 88405836007745105870819950673493033*c_1001_10^9 - 194808365356370971914809718485762725401195377687109/212902532798778\ 8405836007745105870819950673493033*c_1001_10^8 - 81118001252958337351735173883835888180148088516544/2129025327987788\ 405836007745105870819950673493033*c_1001_10^7 + 58882069843273366431048734638057719095260919874784/2129025327987788\ 405836007745105870819950673493033*c_1001_10^6 + 242560534838536236998230326971458522691418294291008/212902532798778\ 8405836007745105870819950673493033*c_1001_10^5 + 103074959420467128169544923007289107655010800449152/212902532798778\ 8405836007745105870819950673493033*c_1001_10^4 - 682173550639911522216517165749166359104103620462/212902532798778840\ 5836007745105870819950673493033*c_1001_10^3 - 3702240784608659104791242737747920973005250291594/21290253279877884\ 05836007745105870819950673493033*c_1001_10^2 - 3960386274538490206699250722109492210706033248482/21290253279877884\ 05836007745105870819950673493033*c_1001_10 - 1290629147863835772092442996380377393008134818912/21290253279877884\ 05836007745105870819950673493033, c_0101_7 - c_1001_10, c_1001_1 - 10971845101469225998722458183391801967132149384192/212902532\ 7987788405836007745105870819950673493033*c_1001_10^22 - 44447218820327233027423038968975347682769897632256/2129025327987788\ 405836007745105870819950673493033*c_1001_10^21 + 67623496849898644917975040609166166537383448921344/2129025327987788\ 405836007745105870819950673493033*c_1001_10^20 + 27478323968728702966897782486424063004553213631872/2129025327987788\ 405836007745105870819950673493033*c_1001_10^19 - 454574791848212302146293395648039666016803557781312/212902532798778\ 8405836007745105870819950673493033*c_1001_10^18 + 411650776825884939508488747765225647118774147442592/212902532798778\ 8405836007745105870819950673493033*c_1001_10^17 + 1668351272405960257197295225387229379406063699295824/21290253279877\ 88405836007745105870819950673493033*c_1001_10^16 - 461043419334745402892422414672695505802280777777424/212902532798778\ 8405836007745105870819950673493033*c_1001_10^15 - 3550036905998507749810558564846651181524006593442908/21290253279877\ 88405836007745105870819950673493033*c_1001_10^14 - 3809411501623767848270448576174715582243300746188226/21290253279877\ 88405836007745105870819950673493033*c_1001_10^13 - 2814291086844019186923583352623060855105054779845908/21290253279877\ 88405836007745105870819950673493033*c_1001_10^12 - 612710933084411525126831240625641407644075113970596/212902532798778\ 8405836007745105870819950673493033*c_1001_10^11 + 1826778259574039967074137643663712843789575157570302/21290253279877\ 88405836007745105870819950673493033*c_1001_10^10 + 1463032465882810132112526940925743698894218189578541/21290253279877\ 88405836007745105870819950673493033*c_1001_10^9 + 194808365356370971914809718485762725401195377687109/212902532798778\ 8405836007745105870819950673493033*c_1001_10^8 + 81118001252958337351735173883835888180148088516544/2129025327987788\ 405836007745105870819950673493033*c_1001_10^7 - 58882069843273366431048734638057719095260919874784/2129025327987788\ 405836007745105870819950673493033*c_1001_10^6 - 242560534838536236998230326971458522691418294291008/212902532798778\ 8405836007745105870819950673493033*c_1001_10^5 - 103074959420467128169544923007289107655010800449152/212902532798778\ 8405836007745105870819950673493033*c_1001_10^4 + 682173550639911522216517165749166359104103620462/212902532798778840\ 5836007745105870819950673493033*c_1001_10^3 + 3702240784608659104791242737747920973005250291594/21290253279877884\ 05836007745105870819950673493033*c_1001_10^2 + 3960386274538490206699250722109492210706033248482/21290253279877884\ 05836007745105870819950673493033*c_1001_10 + 1290629147863835772092442996380377393008134818912/21290253279877884\ 05836007745105870819950673493033, c_1001_10^23 - 3/2*c_1001_10^22 - 5/4*c_1001_10^21 + 77/8*c_1001_10^20 - 131/16*c_1001_10^19 - 789/32*c_1001_10^18 + 907/64*c_1001_10^17 + 2789/64*c_1001_10^16 + 8443/256*c_1001_10^15 + 13709/512*c_1001_10^14 - 995/256*c_1001_10^13 - 14587/512*c_1001_10^12 - 1243/128*c_1001_10^11 + 27/16*c_1001_10^10 - 669/512*c_1001_10^9 + 1065/512*c_1001_10^8 + 1411/512*c_1001_10^7 + 163/512*c_1001_10^6 - 123/512*c_1001_10^5 - 19/256*c_1001_10^4 - 9/128*c_1001_10^3 - 1/512*c_1001_10^2 + 1/256*c_1001_10 + 1/512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.220 Total time: 0.430 seconds, Total memory usage: 32.09MB