Magma V2.19-8 Wed Aug 21 2013 00:36:39 on localhost [Seed = 947792341] Type ? for help. Type -D to quit. Loading file "K14n24027__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n24027 geometric_solution 12.20466986 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 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 0 1 0 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.786364284451 0.842065286691 0 5 7 6 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 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.325545803424 0.783940803546 8 0 9 7 0132 0132 0132 3012 0 0 0 0 0 0 1 -1 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 1 4 -5 0 0 0 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.792942047785 0.661867141447 10 11 4 0 0132 0132 2103 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 0 0 0 -1 0 1 0 -1 1 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.766912215958 0.676028533963 3 12 0 6 2103 0132 0132 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 0 -1 1 -1 0 0 1 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.975629113133 0.848632866767 7 1 12 12 1230 0132 3120 0213 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 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.987937136043 0.651938100970 11 4 1 8 0321 2310 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.289238641699 0.529108290693 10 5 2 1 3120 3012 1230 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 0 0 0 0 0 0 0 -5 0 0 5 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.207389381178 1.921014960271 2 9 6 11 0132 3201 2031 2103 0 0 0 0 0 1 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 0 0 0 0 5 0 -5 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.883053198198 0.653665096267 10 12 8 2 1302 3012 2310 0132 0 0 0 0 0 0 1 -1 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 4 -4 0 0 0 0 0 0 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.263612961002 0.632529777909 3 9 11 7 0132 2031 0321 3120 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 1 0 -1 0 0 -5 0 5 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.709199140602 0.735713866477 6 3 10 8 0321 0132 0321 2103 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 -1 0 1 0 -1 -4 0 5 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.068253581388 1.044010092905 9 4 5 5 1230 0132 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.453617190173 0.565859867879 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_7']), 'c_1001_10' : negation(d['c_0101_2']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_1001_12']), 'c_1001_4' : negation(d['c_0101_12']), 'c_1001_7' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_1001_12']), 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : negation(d['c_0101_7']), 'c_1001_3' : negation(d['c_0011_12']), 'c_1001_2' : negation(d['c_0101_12']), 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : negation(d['c_0011_7']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0101_0']), 'c_0101_10' : d['c_0101_0'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_12']), 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : d['c_0101_8'], 'c_1100_6' : d['c_0101_8'], 'c_1100_1' : d['c_0101_8'], 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_2']), 'c_1100_10' : negation(d['c_0101_7']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0011_6']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_1001_12'], 'c_1010_3' : negation(d['c_0101_7']), 'c_1010_2' : negation(d['c_0101_7']), 'c_1010_1' : negation(d['c_1001_12']), 'c_1010_0' : negation(d['c_0101_12']), 'c_1010_9' : negation(d['c_0101_12']), 'c_1010_8' : d['c_0011_12'], 'c_1100_8' : d['c_0011_6'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_5']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_7']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_12']), 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_6']), 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : negation(d['c_0011_7']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], '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' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : 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_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0011_7'], 'c_0110_4' : d['c_0011_6'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_10'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_12, c_0101_2, c_0101_5, c_0101_7, c_0101_8, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 3134588030941320027461805640654474274825408127574179066624227786911\ 868668036392212515066181/722022053860666584367311060461867307005514\ 38075027795976927552937618494031578430976380091*c_1001_12^25 + 1219251062173426182990676869375651805851179817710451740951805866462\ 6809171347676413489697147/72202205386066658436731106046186730700551\ 438075027795976927552937618494031578430976380091*c_1001_12^24 - 2867692095520501571771800467440068244130718335097710335124290650744\ 7384782521498467509522907/14440441077213331687346221209237346140110\ 2876150055591953855105875236988063156861952760182*c_1001_12^23 - 1269098223654351158005098137832412511515724661394180574390529738839\ 73414247641391140880612576/7220220538606665843673110604618673070055\ 1438075027795976927552937618494031578430976380091*c_1001_12^22 + 4097260554085266472256734896999789657846174982100755955038313031125\ 8149606353335282193941480/10314600769438094062390158006598104385793\ 062582146827996703936133945499147368347282340013*c_1001_12^21 - 2373941678996094021164283211780533745542596052881086742493571737182\ 5722942266327745071158980/10314600769438094062390158006598104385793\ 062582146827996703936133945499147368347282340013*c_1001_12^20 - 1787876399685403707026824921244892659525963425042381222580582162519\ 055392567197608649630770195/722022053860666584367311060461867307005\ 51438075027795976927552937618494031578430976380091*c_1001_12^19 + 2113968561496066662427233597542713652750198403405905276582688366672\ 146922023685791909323042406/722022053860666584367311060461867307005\ 51438075027795976927552937618494031578430976380091*c_1001_12^18 - 1354360846277812016794529030436821561697774884712523178006134987684\ 052047257699035022358788686/722022053860666584367311060461867307005\ 51438075027795976927552937618494031578430976380091*c_1001_12^17 - 1531988718976689361627937723062893472729363068041249735123908151636\ 22344778269032615675081775/2062920153887618812478031601319620877158\ 6125164293655993407872267890998294736694564680026*c_1001_12^16 + 2821917113052133998744961830500640492175936268619271974881325954926\ 2766587875569358698827959549/72202205386066658436731106046186730700\ 551438075027795976927552937618494031578430976380091*c_1001_12^15 + 5710471754869657579138492084684408071649081172401592476547263247451\ 0967883370378703552972972259/72202205386066658436731106046186730700\ 551438075027795976927552937618494031578430976380091*c_1001_12^14 - 1783074989743798125762671824063455201910288568229056029520587588926\ 9610587321242058295939604513/72202205386066658436731106046186730700\ 551438075027795976927552937618494031578430976380091*c_1001_12^13 - 2174580356451382563912020653703439057990880718775033387824437645682\ 08664347460228867970047194713/7220220538606665843673110604618673070\ 0551438075027795976927552937618494031578430976380091*c_1001_12^12 - 1401853823690027950973756497253643922779212010598379184797069538519\ 43332725153083929553631989081/7220220538606665843673110604618673070\ 0551438075027795976927552937618494031578430976380091*c_1001_12^11 - 6821924606619603816284726183490201328243932537155354232987479586204\ 08246638536399895956960257331/1444044107721333168734622120923734614\ 01102876150055591953855105875236988063156861952760182*c_1001_12^10 + 5076812644967453849880537889146469157779320200551988810637644559178\ 6629063712181508845514414149/20629201538876188124780316013196208771\ 586125164293655993407872267890998294736694564680026*c_1001_12^9 + 6843966372965641975232530493568508482671988590143854257156767397680\ 35797151677269091099596792515/7220220538606665843673110604618673070\ 0551438075027795976927552937618494031578430976380091*c_1001_12^8 + 1722113954630001197255905041915123089754088912004329558755899572469\ 428311134898122081509383691563/144404410772133316873462212092373461\ 401102876150055591953855105875236988063156861952760182*c_1001_12^7 + 1017646420326414482993869344555888426002707907539401119344436898379\ 049739666206208417818189505379/144404410772133316873462212092373461\ 401102876150055591953855105875236988063156861952760182*c_1001_12^6 + 1341718541397108425753894956772001678004388427086496696340596297856\ 94083503024279209920275222407/1444044107721333168734622120923734614\ 01102876150055591953855105875236988063156861952760182*c_1001_12^5 + 3770114453649420013498300189642249369531010694975842639414675773958\ 6049858931731497416287446123/14440441077213331687346221209237346140\ 1102876150055591953855105875236988063156861952760182*c_1001_12^4 + 4730761440784843542753379209526248892227039337310798273297064216536\ 3600355198296955472222606020/72202205386066658436731106046186730700\ 551438075027795976927552937618494031578430976380091*c_1001_12^3 + 2663425487465730033826494105422084511090789803035559420420272384184\ 2218689363806167087909836769/14440441077213331687346221209237346140\ 1102876150055591953855105875236988063156861952760182*c_1001_12^2 - 9593219895940856391768194440163100436520317043119742270335068681584\ 70588937049084524822701409/1444044107721333168734622120923734614011\ 02876150055591953855105875236988063156861952760182*c_1001_12 - 5804250374346388024517880954752130202801097322338549670004802823200\ 330123049761588096286641/722022053860666584367311060461867307005514\ 38075027795976927552937618494031578430976380091, c_0011_0 - 1, c_0011_10 - 32458407427667248366112159988408258635004508363383347395901\ 5335838342462136/30169709058423772954942804940330890329974085297473\ 28813951353668733062093547*c_1001_12^25 + 1299611434459309369246196189393234372872702245819720938466394941815\ 856732324/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^24 - 1627282356258184616533088406140736015754953755385938456457480238658\ 991257542/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^23 - 1298018078287468266640531295747196588361293159920491867918312129425\ 9771183656/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^22 + 3121594367945958447711956349819894544056079203094095238797563583774\ 0852769420/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^21 - 2054390158270419742664903778398188148994043752278173148739560996167\ 5177268858/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^20 - 1833882799992863361198596379173298875963941887755772242667948656599\ 85686135661/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^19 + 2403403995651995000707134921215573379930639899073684021863366465993\ 33886479841/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^18 - 1644806651383611782156485740181886118552112379809397744856983889147\ 03474371618/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^17 - 4154973831071864107131352089775078214495647813349257298949796679716\ 6243576510/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^16 + 2930834351051866947443740889612889198412635011712533871964368108415\ 419909981244/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^15 + 5577882325298931542898023585406652946142658065279419984159910530821\ 865116107094/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^14 - 2536762840250999197362276785485210167128707109678055764573754962605\ 022007609725/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^13 - 2232217639747129542702197287104550605153740169488358606435582564887\ 3682039314665/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^12 - 1190974694422268573428665174730234219858131016539163126816779071455\ 3484893364380/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^11 - 3356588151043656665715237685803824270631520398677271214129996053223\ 3025681152671/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^10 + 2240166842163039396932100810537379582458908127241899335588097949754\ 4440620635050/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^9 + 6893271316309929623196052726495038626020409176486735374394893737527\ 0677375555024/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^8 + 8078401912027213417245388243198944688559354148877722874439329336120\ 9946192450841/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^7 + 4232573149927995458556007308605638304066423157757104669863559620788\ 8502651510825/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^6 + 7349685358656281383591525641709701069821908707320267889690146098160\ 54589381529/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^5 + 1217682343052546010415871105051270727733826192205356909103963030690\ 806495243729/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^4 + 4749169894791442946607721342555313484568042422997949471962696367299\ 279748973610/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^3 + 7950216540023992097501668349884010099402817177269112524790868504579\ 04628290335/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^2 - 2159112514735021441989637262110453081337016189156923363275478506637\ 01730380730/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12 + 986131750704738527846814821466615\ 8841019896684010166196836636834797119038080/30169709058423772954942\ 80494033089032997408529747328813951353668733062093547, c_0011_12 + 40417275168655587902629176686501868807407208318293570148532\ 635538511103663/301697090584237729549428049403308903299740852974732\ 8813951353668733062093547*c_1001_12^25 - 1561193340714558673065146930696146658527340381348346726843169356260\ 75212695/3016970905842377295494280494033089032997408529747328813951\ 353668733062093547*c_1001_12^24 + 181604097590050885662886527332395\ 924103400921337327639354119624078401926439/301697090584237729549428\ 0494033089032997408529747328813951353668733062093547*c_1001_12^23 + 1637501737760464977043698832867821310020519242574138589851064822520\ 358995251/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^22 - 3649192020117705937033029971004827452665490189597026467407623727963\ 765132122/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^21 + 2081744324852130329115000431899913079266961985066007903009852702919\ 748112813/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^20 + 2301797203065734613019301699927415464214775832026167112808153727626\ 0505374067/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^19 - 2657718944654345193878250596912749122613389126079280568580323182273\ 1400111063/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^18 + 1727743879181079334417388210058643426829762568769019060828890344475\ 7375151912/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^17 + 6673899336352599087116558239854949255871483662726516616796315928860\ 385668838/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^16 - 3632126633641507467816543139481209717951651058870525522877908398869\ 58115853968/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^15 - 7459802789679433381439657736228439548497999930544602505818896686983\ 55457160707/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^14 + 2013012976448068053152296384557569243205353246451115135797033705103\ 56258305316/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^13 + 2793428260238793982521753853932979649467407946812901488838198528397\ 321727632376/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^12 + 1890921632426490582044133837623061476889248599773137566391525671749\ 344157583309/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^11 + 4514450179243986787369706405108605383532220010332805007686166725742\ 901237810813/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^10 - 2135902953878989439181751584777977979142655995977232495640701315521\ 718012402289/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^9 - 8789394092843132896557167989959506893030116618808154559539982108193\ 172882927142/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^8 - 1141014222189376208630679865988998607145739759984649089794768114363\ 6486866143399/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^7 - 7073280413093210089741918246155802537660819830056809936874577943010\ 066211127300/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^6 - 1282778191387233535765122975363482825825218227689035226626840751517\ 985903155253/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^5 - 3877796255142978301101794585201731498950514759749237602869238459864\ 81460822093/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^4 - 5983413286068159380005741711159750978695655633044480523768785626521\ 07866298949/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^3 - 1772971034310679628100222028343650518077123486379332033874152165446\ 30954615757/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^2 - 7914067479225616615556634625777838732779750875116774873446285811331\ 906846917/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12 - 30685553071158828081182533975633071\ 6917215182692874984302619051913451356119/30169709058423772954942804\ 94033089032997408529747328813951353668733062093547, c_0011_6 - 207535866429897253310782834318246555986092619830302030513695\ 908154095733912/301697090584237729549428049403308903299740852974732\ 8813951353668733062093547*c_1001_12^25 + 8243488663489089180337116113200554928570731264654840063703378161704\ 10636873/3016970905842377295494280494033089032997408529747328813951\ 353668733062093547*c_1001_12^24 - 101744496287471609039463470866929\ 6805619322415456611687506296124196441162677/30169709058423772954942\ 80494033089032997408529747328813951353668733062093547*c_1001_12^23 - 8317325059477309487561545542106068277924109784366046131498957247371\ 089171947/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^22 + 1967104775708841102788408265914499584190712565033860842251112182542\ 8060581305/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^21 - 1262671277773151969736686386434920397409728172454565069305137276206\ 3000021667/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^20 - 1172927840247451255818480322635157446904763023474149874001418191238\ 50525924722/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^19 + 1495524984420408454544128273079278551070053755275343620399482171947\ 86584208387/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^18 - 1020343462024333921019512097293892993059817370008492580373723529118\ 06385636574/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^17 - 2666095741505168162772263087565184483022934454459155470131300118338\ 8252720765/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^16 + 1869899515210162547335335330235714633463075022118538511752268975631\ 628259929700/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^15 + 3627225017282448982098016427919624908504428029900416628853908191833\ 274244674806/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^14 - 1477987350957752081227724236539911880867602671520008074414816246960\ 947833316416/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^13 - 1427764838266741898802571614173499777942981625334421545822928477454\ 2969065346189/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^12 - 8113983674037127583516064602014826616079540183297046820805083939929\ 656434212872/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^11 - 2191988736070390313785197338004671641479879866811743959356229197303\ 4863320245901/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^10 + 1360036312803415189368587444359423483648348115211109749241495566521\ 1919693005947/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^9 + 4417929249901662169879761818966439968300583920546951486176212662647\ 4680326962588/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^8 + 5343932704243065795240190960913688660014086749252330756525792355302\ 0341322963954/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^7 + 2925763727216335257874378072375845217930363789145734477222440785666\ 8881070819194/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^6 + 1983079929451610689993469649261994222884183266274993492030631217902\ 829573215364/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^5 + 1001597343084172585403246541565534698266842113276228869188070871258\ 747922157845/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^4 + 3016743747478961312427039909301575409256939575581445433273880013052\ 459688630900/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^3 + 6486196199958039848234184795588729541859204210722419773820280932680\ 44116352889/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^2 - 8794574231280014390635644080029094032615183930841704875446994882419\ 3620532039/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12 + 2970216800220215435296922367915102\ 049951447136773305506973207641568445146924/301697090584237729549428\ 0494033089032997408529747328813951353668733062093547, c_0011_7 + 460095477159019168709636924694230373341345235664110318563118\ 508199336433348/301697090584237729549428049403308903299740852974732\ 8813951353668733062093547*c_1001_12^25 - 1831555296396687481663069576014041047149212702889590562158627727616\ 871805872/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^24 + 2266492181729522217512165930018181555258270389418955842740117543230\ 976671938/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^23 + 1844171905935035991947639315286815632772435139398355498801593193707\ 2902110053/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^22 - 4380518789609482594539463387864560504207580241039067317653527761951\ 9968792157/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^21 + 2818451147766665492022209211203342764699473492811330301468680413955\ 1417088987/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^20 + 2603488063161599266269585002489726224474527657690520057728676283187\ 07394008726/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^19 - 3343703765353754211935059123027089110011370668222024775102147382037\ 68439427447/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^18 + 2264648331346634350602180561599629250591882967976612539020446249623\ 85813895125/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^17 + 6189705622931778879368247428572322533654994465058671936112564351336\ 9918885141/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^16 - 4150527232926600308141673271946425820958688910599009544565321904281\ 394566697643/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^15 - 8003763890165127883009089650057932146478215987213054086331423585559\ 145495926279/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^14 + 3392066220541497459945917844695317780723568095664020010942962249458\ 185336505613/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^13 + 3169411271368122423481443938324501862552959321490464353465676893134\ 4355830212141/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^12 + 1764657458120155243282540391708186514464565916900741118295954576337\ 0764499488445/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^11 + 4811524804334260574144080018772882542603256200118813998636056548124\ 7725452353178/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^10 - 3064116810666278549596864597453178101658168284473363946049319005747\ 7213249785921/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^9 - 9819372949876664626201170963411033332722497435275196980363538348222\ 4364812815190/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^8 - 1170606193614241883745493500838100992305787853623128062067017639482\ 34437331499286/3016970905842377295494280494033089032997408529747328\ 813951353668733062093547*c_1001_12^7 - 6298016386341306903812130673916341864768987043019201650610787142695\ 5254159219128/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^6 - 2860845144439570160587196577297451502821318640929505316970378226110\ 208463457066/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^5 - 1863507396345590978002120489149633379489290609477622843781035534207\ 833831147703/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^4 - 6763089095898582733298691044429223332603190744448628250104173310060\ 293029853987/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^3 - 1332093662035979232102770119242046703686349833718663567531552226749\ 570162794218/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^2 + 2404147993253806096829702863999557179826719316846166429751660166777\ 14874244893/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12 - 121681928581272076973279474010695\ 57868572592595810063099967976774519562661549/3016970905842377295494\ 280494033089032997408529747328813951353668733062093547, c_0101_0 - 102928970383378123852455863783571604383996555463659788138951\ 5567129666714342/30169709058423772954942804940330890329974085297473\ 28813951353668733062093547*c_1001_12^25 + 4057481072905324149972924457669501423422387680646767275607602358871\ 148680216/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^24 - 4915569954031974009131538616757744392867648776260146713879655356556\ 902016264/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^23 - 4143678343937346433770958150794197040393124030778341880944981025388\ 8266955461/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^22 + 9637701091185615672065047080166693564437264636783600730995149420085\ 1328506912/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^21 - 5941534164367873267880506749691316875276489743958809269068771414331\ 8166090314/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^20 - 5844896565324224214790413750924948777019649941770546185109014146728\ 76799919355/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^19 + 7251863236424294728430715306554031105049406785573752058137649440399\ 09966838106/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^18 - 4799344365336760904692178073966939063789515363386038280863320630603\ 10873707319/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^17 - 1551811800402361031276097834860973835256630138651562381081948054258\ 99422529666/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^16 + 9277883644784738179599092414396487174869135109061349700318983994681\ 657070320125/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^15 + 1826511409376572975807936623845421950100944299708496019265553307575\ 9213940103759/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^14 - 6856770953533363573943587940711966101045207469741387495523022245584\ 398650262781/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^13 - 7112598280405336613022938231552842316807742240304856293094262363877\ 4789774601440/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^12 - 4225737088305318901054257071838910894615878056573957753871965726065\ 3711383114773/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^11 - 1094561754423773501939821123375098993434983641176305374090573597809\ 26440756348713/3016970905842377295494280494033089032997408529747328\ 813951353668733062093547*c_1001_12^10 + 6420698108699607143197621237792497059539319742867314701759486277587\ 1055734681410/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^9 + 2218983001845128448643323529541950987786764403335829245117644616618\ 48149673964075/3016970905842377295494280494033089032997408529747328\ 813951353668733062093547*c_1001_12^8 + 2706786704672718349616699081203521321852112004963346000183735487009\ 48744359378868/3016970905842377295494280494033089032997408529747328\ 813951353668733062093547*c_1001_12^7 + 1519487260238779706402041845945252930252702221961996236373870858255\ 60666898977988/3016970905842377295494280494033089032997408529747328\ 813951353668733062093547*c_1001_12^6 + 1293734958948849798844326287882890193531313937813554442028700884001\ 2558122846285/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^5 + 4999724997491666921830418535651329304555296765726877085561510848393\ 191608666873/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^4 + 1528045228883726559624874438631109037810228380893624701299635824107\ 3814859552282/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^3 + 3538234259983256563485550451244172960367166140421434930416010238779\ 422257210842/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^2 - 4016519778696128222065261154360709377362141065996716716663085792140\ 60616719224/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12 + 122103904452963802067003438812174\ 24148206754494363866865235920360705455460432/3016970905842377295494\ 280494033089032997408529747328813951353668733062093547, c_0101_1 + 625755572772520899991381698712432964135541285462800596042366\ 607481919377299/301697090584237729549428049403308903299740852974732\ 8813951353668733062093547*c_1001_12^25 - 2447742226529805750983525511560307461081649676490708358671416297879\ 217787143/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^24 + 2906469920635252945637800632488050196450795427120883508388524405549\ 201449423/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^23 + 2531353896873299692400670778273776691483836462967821342262384204175\ 3814096609/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^22 - 5787685959051191808690857207771819141026817126183494451481608496909\ 8728780423/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^21 + 3408320495593297632941664198009350489640660045418228215857492774410\ 0027376234/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^20 + 3572284549849439691396741253440968575036393863378340069477860494081\ 67268802708/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^19 - 4308908851731386452132043528362236051994331063509971228282994996903\ 32882431910/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^18 + 2747811197472788730723242483587732038063017138859628031591871297622\ 59077688629/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^17 + 1100017812012889761395408257876628528151727600796424527452371846519\ 32705148838/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^16 - 5644287398453419669607721369929494388629810869034843057281722954248\ 069696628904/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^15 - 1127328988310508270900757988279105051376900198385883592343245146475\ 1114572146578/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^14 + 3893930549040254885502904687416618041523671704234857884358001770700\ 200882021014/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^13 + 4346103321267037563019265295836259881851148248399765837594471623605\ 6750754847595/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^12 + 2690814633865189419528748880209159005657619223339567320091333958903\ 1433830457562/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^11 + 6688307384615697350107593005610298738725087167202270156260333811389\ 6218668158196/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^10 - 3707970881577837110474639927683226784118642336366051610351844053470\ 4612074771490/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^9 - 1367978790948166313048866545234828369208380794577311077963673460338\ 65303078288056/3016970905842377295494280494033089032997408529747328\ 813951353668733062093547*c_1001_12^8 - 1678544724025245569613813371443034325876400131585395471527815791461\ 22876523842550/3016970905842377295494280494033089032997408529747328\ 813951353668733062093547*c_1001_12^7 - 9624841686234436842298110215813407415376817702660444198432415795923\ 6030516496894/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^6 - 9396237355498207974735712288468946465231659341499187322136299065428\ 832162976312/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^5 - 2897422674527790466847573978367052019482406069927965713914049623313\ 054142912177/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^4 - 9509620268380142090701965934247963628747874780802003147408844258775\ 162744721556/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^3 - 2334619918047368569579298430484827387193354178740005716661104557682\ 295816576972/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^2 + 2388267143623929656227495667464185899662212557143832299443485253001\ 37996240512/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12 - 674867446761407920788251291716789\ 9191743636395617004845456219381738488177557/30169709058423772954942\ 80494033089032997408529747328813951353668733062093547, c_0101_12 + 38045716905177815167047075229036531787422866493667473146355\ 168527191826160/301697090584237729549428049403308903299740852974732\ 8813951353668733062093547*c_1001_12^25 - 1481675994326403837246897330308550997637893320036443572816433744144\ 40382678/3016970905842377295494280494033089032997408529747328813951\ 353668733062093547*c_1001_12^24 + 175907572035875909005153087183409\ 420331312353293538781477213586680447971799/301697090584237729549428\ 0494033089032997408529747328813951353668733062093547*c_1001_12^23 + 1534902552315293472632562853589428203641874131326071389948964541966\ 594047345/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^22 - 3482930615626584670437044950432351271332200608989667747892503772664\ 454810310/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^21 + 2080902625562930359057447256331600186906653346752197830031344556332\ 366782968/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^20 + 2157984420314132833606937039221085815156782436298932790927199284809\ 0359373144/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^19 - 2569594175149809549535301471959520064714928708924599590678877310400\ 0826595940/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^18 + 1723220271024900070180449528333799854056889913422862706018481353342\ 7333702563/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^17 + 5585058903576341667890411852675624267096593997178378649153003306069\ 854100433/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^16 - 3420183061290213274243372392461147777018880689751784867285072861335\ 95859332485/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^15 - 6912186910282923394853582230699365021975080352913427073134838556498\ 80024220768/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^14 + 2091095308312714496637684117559423976573858697345033532997298500684\ 54799739818/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^13 + 2617889696199584317759133278161634247310570724862621063053746939388\ 131649719636/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^12 + 1697603181360130028747243829868126352963290934497941722116223089122\ 292351361019/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^11 + 4213553537990255640847520505608964702736142280498284462063399973827\ 553566744879/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^10 - 2130496610396394117232498633867457836058234111772268017549336513670\ 905896698646/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^9 - 8177932562978951540320314132700207338283903725831503860441335599435\ 440902904988/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^8 - 1048764345831440481248156311282861417033545466256227608990879694401\ 5655948345894/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^7 - 6387898307800000220742827806939982190234306526609716532438233807285\ 297942699538/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^6 - 1076481084087739634598184670756107970176848346298988964217496702245\ 540345756994/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^5 - 3854305220016686388709713222964616192288000056252298167268497688345\ 42533865493/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^4 - 5613403649243640098868943261099229618220945374675675068248539980032\ 26615384900/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^3 - 1545580760331223224902539956107047221573600214211992091634399090248\ 10833444215/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^2 - 4368201220194246546159830116055832589367374738789217564701624498966\ 662619453/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12 - 12800672184631245167677760027375866\ 71666709656508049931218582655426568338118/3016970905842377295494280\ 494033089032997408529747328813951353668733062093547, c_0101_2 - 948554623836615184550938648057332664073011720570808493147586\ 502344784385753/301697090584237729549428049403308903299740852974732\ 8813951353668733062093547*c_1001_12^25 + 3740188366702912621121227340166660781490046758822343274252962557559\ 726319210/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^24 - 4524745602883809873754712385724738157161844049832598790644950290161\ 642277972/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^23 - 3822235709235373163750375887790696947573070913543329689364299182061\ 1814015130/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^22 + 8892026831538848799555999219368979871154691574482628083033468879099\ 7155893017/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^21 - 5451284608994316272302475820601821870460639220645205649600315850817\ 9006195367/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^20 - 5396076195812272849104156085245556329134433905589511696187614855833\ 57846047102/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^19 + 6698963706067332857207596895506505869925942576542271344280631607667\ 12763369328/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^18 - 4383494203645930828163342582254059294396692892874460821281499444432\ 31586794353/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^17 - 1513166305035562163176042214752658478178978677879283117706989487499\ 65524291741/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^16 + 8558971192155440236656218051389632417592907782213969890101583428551\ 596135986458/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^15 + 1682068336733261260196433039229062502576525082398179557515384832140\ 6675081106867/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^14 - 6416296114846485959537188094754552504518570671073943346359658025974\ 486279157326/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^13 - 6566043915020943591652787647051455440912706171237565879443625822660\ 0699021815105/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^12 - 3875368946940066120767486013085856484551053468444110885126212333403\ 3886169174990/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^11 - 1002655743995836762364118987099500846720051740941838529562892012915\ 33139986143659/3016970905842377295494280494033089032997408529747328\ 813951353668733062093547*c_1001_12^10 + 5935610889085697993518402874880038284946842002484454161118785960103\ 9725618646436/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^9 + 2053498404534672484411086659080498293863478934458059242374129629303\ 71870196534048/3016970905842377295494280494033089032997408529747328\ 813951353668733062093547*c_1001_12^8 + 2481995274001815223760408917424779213217693997855110664554505410150\ 09796686710287/3016970905842377295494280494033089032997408529747328\ 813951353668733062093547*c_1001_12^7 + 1383465201797671254607666656701492009432032237707672861868031147530\ 15163301380849/3016970905842377295494280494033089032997408529747328\ 813951353668733062093547*c_1001_12^6 + 1013180555568388414465911232643631323603959178290783442601128595142\ 9563995918344/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^5 + 4113737730456059576485777733610358949349113528165953490254575521820\ 081721414186/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^4 + 1423504127977959395317555588719562465636940733108661801543064228820\ 4152181969748/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^3 + 3127458767865974100560096552190780526967824024630672086804493485191\ 504989621625/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^2 - 4487049017557510639587599463231864626033362095695676781519284535397\ 44399168026/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12 + 196260835590603077988471798551151\ 83316548230397426645093303651793008051684938/3016970905842377295494\ 280494033089032997408529747328813951353668733062093547, c_0101_5 + 229174343549471883251013736091922979897987068594953484600876\ 86734288478468/3016970905842377295494280494033089032997408529747328\ 813951353668733062093547*c_1001_12^25 - 8924248317785962063393173139392996450225672158461236261775869055963\ 9092400/30169709058423772954942804940330890329974085297473288139513\ 53668733062093547*c_1001_12^24 + 1059549593415317521780662596099272\ 64695053358394432147307952333554688677589/3016970905842377295494280\ 494033089032997408529747328813951353668733062093547*c_1001_12^23 + 9245066917356365598260944358422896227164559209259275710808184385815\ 30007590/3016970905842377295494280494033089032997408529747328813951\ 353668733062093547*c_1001_12^22 - 209754142251014364967108766414192\ 3130180966190770276052795079262298453734337/30169709058423772954942\ 80494033089032997408529747328813951353668733062093547*c_1001_12^21 + 1253863217237273497400078842609065998424565226900538767192540819242\ 499399233/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^20 + 1299685011218953388420676735665192930184156885837013588267879000386\ 5366144702/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^19 - 1547238459050518536079899339895109594978153713959509820576220200668\ 9407088136/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^18 + 1039162705279245975260167172651652842472414492482730716347901846804\ 3791775585/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^17 + 3347949798734002569211590711129956341264812234863539885741012389740\ 933866259/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^16 - 2060099542437948711965871267343821357270419126388784263900920570341\ 56914480140/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^15 - 4164239540781450953068877421411552548308871390699682992757572504068\ 56245091081/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^14 + 1255306697887824645735382703658246187724322585792060418992118975003\ 58824917177/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^13 + 1576476054543335655392337712819391845512827298549321361387057065317\ 345135745369/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^12 + 1023345408302094966901054898325232398206498965695630641037482414424\ 475733216475/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^11 + 2540414351225083314703867987025300354531727205134710333262624150532\ 651977675410/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^10 - 1281245444252840361782758654945227331348938914134432723859609453428\ 547637263518/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^9 - 4923793183162130776088050100463980337558479984973746778873084639738\ 646178695802/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^8 - 6320049074832990550204251915376641083899084614427834068106041003765\ 671430051749/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^7 - 3857603966057539602968833855726354744013632519229294447865047963568\ 654799795797/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^6 - 6552150014742631515795991571615482673387163519997099414978838530862\ 75719942966/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^5 - 2382059035665758909629544789848192916352808049212807658193510529837\ 26265110712/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^4 - 3376726378692815814046412341373302495622133701211557180335604859835\ 47103198005/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^3 - 9462830535295433231255283303457117733305978571793417586030151240355\ 0762527464/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^2 - 2149370843924033894023888051824235924577949350267434946532622008852\ 257744900/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12 - 21798117751425681932764422161011951\ 05116474636282020737911105542106786377868/3016970905842377295494280\ 494033089032997408529747328813951353668733062093547, c_0101_7 - 752521542846707585488491001568304077123041425670297170772361\ 57808376395931/3016970905842377295494280494033089032997408529747328\ 813951353668733062093547*c_1001_12^25 + 2882770942878198827912685590950922408855833218433565560945215346853\ 59899064/3016970905842377295494280494033089032997408529747328813951\ 353668733062093547*c_1001_12^24 - 325368947754125206143665859394120\ 092369964698592402196057046815567878679977/301697090584237729549428\ 0494033089032997408529747328813951353668733062093547*c_1001_12^23 - 3074303989277819510968993234433159826573937281953318593393955404445\ 534294665/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^22 + 6717582862369414867012118107052754709509305876753136914941295008969\ 425020881/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^21 - 3523561917610522524049869618251009563805659057495785008461839803002\ 141057251/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^20 - 4334424216777177332843368400899618301705912816927824981192373008588\ 5497315842/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^19 + 4840879059937339177751512279645859455995688365920019726368857612957\ 8577694666/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^18 - 2867095624650615730139268113735607035982391129216049840756102385576\ 4085108958/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^17 - 1643402136157399680933597150077970425671277331842060026123831960779\ 7989519108/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^16 + 6781900808655598328464282600968890012851393491465901121457383066689\ 33833639644/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^15 + 1410480299914004653053391620582312846330619961464462826005517934091\ 733979947696/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^14 - 3621181143594031772167446744165819540237887343311390334495277748208\ 31289983937/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^13 - 5266418690857921990755822589339856105404724198469842316010622746337\ 555648125779/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^12 - 3647407668054445215780165346114193279600968714811232428145647048111\ 062167672242/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^11 - 8282935238308608937608551837778769858694984129705586529728561222955\ 322385253011/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^10 + 3790226175867298205205523017906041799293400295147034935313540668760\ 656235117005/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^9 + 1682864793116673669304498358493534944277519697710696148125937378887\ 9227240016872/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^8 + 2144541258821699223267351175076944237400245031073216151030495408209\ 6675479387927/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^7 + 1315172445198316087316852232375844777769777386621091036779793183460\ 5627512660264/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^6 + 2086092900487459330351669161893088427565828898146311190706212830904\ 268049856935/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^5 + 5067518315662413701244299881337092967547115368214818593769670857110\ 47503867786/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^4 + 1245138269913826914383999136942972383478713879253353977982399800321\ 635854298196/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^3 + 3731051322852323182317313598900484297979435844011161092553561881364\ 04263679020/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^2 - 1446540919369117542178403449436333104977077237356462011956151847588\ 5620844636/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12 + 1759462943710264062522846209202750\ 165178399213872653961749409376991533845793/301697090584237729549428\ 0494033089032997408529747328813951353668733062093547, c_0101_8 + 988450210051066708404340293818039701165868233513834880328225\ 431972744826574/301697090584237729549428049403308903299740852974732\ 8813951353668733062093547*c_1001_12^25 - 3903948271413785285213985436162035956629819994419783270422530433776\ 181480988/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^24 + 4750977371731616709165426491871573716948132790947548510067234612403\ 183786366/301697090584237729549428049403308903299740852974732881395\ 1353668733062093547*c_1001_12^23 + 3975245617078754289799352404266680324446053304257778620940429955164\ 3067929342/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^22 - 9284631247037825402965185708059826228038735726221810897028709786310\ 2937216365/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^21 + 5779598175664525585829216483030887528396018650228083773838294494811\ 7813124110/30169709058423772954942804940330890329974085297473288139\ 51353668733062093547*c_1001_12^20 + 5607505202257664168985135603685302105272359404693856105664587008116\ 64124075582/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^19 - 7005404609825000801646913118236189757698510328018466000133091324177\ 54185526516/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^18 + 4667124612919862209945314558650353422002335711396185633037996709283\ 96046893774/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^17 + 1445290070183373726612634968533000430232698948463886984724168572566\ 41189299011/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12^16 - 8910035308921413554839965099547370527422054483713250938178856342601\ 013255634031/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^15 - 1747324263961320474503487444961341758025459725193178073094555830196\ 6783670655387/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^14 + 6707475732303728387522808130061272578639474971915948016229065536994\ 114755455408/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^13 + 6824006280596926721470276264516466494785952879019946657598125086602\ 4304871595405/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^12 + 4008069198515374234938994209953067899831966994180627045248734706142\ 0122560245898/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^11 + 1048753672580939695210252162903764403776255034647191606135154542725\ 82942889251811/3016970905842377295494280494033089032997408529747328\ 813951353668733062093547*c_1001_12^10 - 6244311259809444160225420179409631399979981309608404421597331678848\ 7842836576386/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^9 - 2125345352850587454516454542263773839930812190593317661332567794015\ 07180002008883/3016970905842377295494280494033089032997408529747328\ 813951353668733062093547*c_1001_12^8 - 2584440504672135864908584895825084551227368806824910739847069065825\ 11913226115572/3016970905842377295494280494033089032997408529747328\ 813951353668733062093547*c_1001_12^7 - 1441531358489450613869383176318295435005163403227633217251681789483\ 64989296958647/3016970905842377295494280494033089032997408529747328\ 813951353668733062093547*c_1001_12^6 - 1149020842725474499976965671762942565977717525731096460963189685551\ 4793694493365/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^5 - 4748742532690901539255859396585292712232290583609654602950742288441\ 630552503341/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^4 - 1459123160154703121361109885998185790802417681950179274676598013107\ 3816289780129/30169709058423772954942804940330890329974085297473288\ 13951353668733062093547*c_1001_12^3 - 3296816576895764473655825199815020501202794683946797647021112595945\ 047892437579/301697090584237729549428049403308903299740852974732881\ 3951353668733062093547*c_1001_12^2 + 3995542347363803263613606020119001449317737770795905453113030944882\ 28262681634/3016970905842377295494280494033089032997408529747328813\ 951353668733062093547*c_1001_12 - 127418016073645189961734501679643\ 39229978944856044206519371796491972963187912/3016970905842377295494\ 280494033089032997408529747328813951353668733062093547, c_1001_12^26 - 4*c_1001_12^25 + 5*c_1001_12^24 + 40*c_1001_12^23 - 96*c_1001_12^22 + 63*c_1001_12^21 + 565*c_1001_12^20 - 738*c_1001_12^19 + 505*c_1001_12^18 + 128*c_1001_12^17 - 9027*c_1001_12^16 - 17221*c_1001_12^15 + 7728*c_1001_12^14 + 68769*c_1001_12^13 + 36987*c_1001_12^12 + 103701*c_1001_12^11 - 68564*c_1001_12^10 - 212395*c_1001_12^9 - 249959*c_1001_12^8 - 131746*c_1001_12^7 - 3291*c_1001_12^6 - 3953*c_1001_12^5 - 14653*c_1001_12^4 - 2508*c_1001_12^3 + 621*c_1001_12^2 - 42*c_1001_12 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.250 Total time: 7.450 seconds, Total memory usage: 120.28MB