Magma V2.19-8 Tue Aug 20 2013 23:48:41 on localhost [Seed = 3954016583] Type ? for help. Type -D to quit. Loading file "K11a356__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a356 geometric_solution 12.31498869 oriented_manifold CS_known 0.0000000000000004 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -12 12 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.197768273538 1.379867268813 0 5 4 6 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 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 12 1 -13 0 0 -13 13 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.393276452699 0.564661824308 3 0 4 4 1023 0132 3012 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.226630930938 0.892114337134 6 2 7 0 0132 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -12 12 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.393276452699 0.564661824308 2 2 0 1 3201 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 -12 13 -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.226630930938 0.892114337134 6 1 8 7 1023 0132 0132 0321 0 0 0 0 0 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -12 12 0 13 0 -13 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.100171670144 0.808880001341 3 5 1 9 0132 1023 0132 0132 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -13 13 0 0 0 -13 13 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.145164045003 1.030580179033 10 5 9 3 0132 0321 0132 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 0 0 0 -12 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.519806285233 0.713648442800 11 11 10 5 0132 1230 2031 0132 0 0 0 0 0 -1 0 1 0 0 1 -1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 0 -12 0 0 -13 13 -1 0 0 1 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334858012025 0.839437326353 12 10 6 7 0132 2103 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 0 0 0 13 0 -13 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.807353087515 0.447693177743 7 9 12 8 0132 2103 0132 1302 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -13 13 12 0 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.547069096302 1.401081893644 8 12 8 12 0132 0132 3012 1302 0 0 0 0 0 -1 0 1 0 0 1 -1 -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 13 0 -13 0 0 -12 12 12 -12 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.590029141507 1.027733633296 9 11 11 10 0132 0132 2031 0132 0 0 0 0 0 1 0 -1 1 0 -1 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 -13 0 13 -13 0 13 0 -1 1 0 0 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.579862285804 0.731810734623 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_0011_11'], 'c_1001_12' : negation(d['c_0101_8']), 'c_1001_5' : d['c_0101_11'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0011_4']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : negation(d['c_0101_12']), 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : negation(d['c_0101_8']), 'c_1010_10' : negation(d['c_1001_7']), 's_3_11' : 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' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_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' : negation(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_11'], 'c_1100_8' : d['c_1001_7'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : d['c_1001_7'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0011_4'], 's_0_10' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : d['c_0101_8'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_11'], 'c_1010_0' : negation(d['c_0011_4']), 'c_1010_9' : d['c_1001_7'], 'c_1010_8' : d['c_0101_11'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_8'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(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_11'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_12'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_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_11, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_2, c_0101_8, c_1001_7, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 39 Groebner basis: [ t + 1127568226662025376577398978606595440665918753950216430356002204308\ 5285609282237591015391937528348735187397692694545248726636002684832\ 8746581324246708109/23598009141077754376875942393879227990485094386\ 3484284689662479412584617971485248513741995948505294076829181572866\ 8370677836239360390408323800608664375*c_1001_7^38 - 8079743435412488309444897251292447903759375221342052584951944878182\ 0708730304553923815554658114415607829326559257928672666003824913174\ 348637835574510327/214527355827979585244326749035265709004409948966\ 8038951724204358296223799740774986488563599531866309789356196116971\ 24607076021760035491665800055333125*c_1001_7^37 + 4287069517412304352742451827973791708117103433522089679702415895831\ 1178790877415307073590547634086064755452601482187358469038050545118\ 1987893897257085521/47196018282155508753751884787758455980970188772\ 6968569379324958825169235942970497027483991897010588153658363145733\ 674135567247872078081664760121732875*c_1001_7^36 + 2107977798333854347373170347938108148214893755235805349605623179402\ 7980546529727573595052720451385876107721552274739443794125550590995\ 46086812358017380244/2359800914107775437687594239387922799048509438\ 6348428468966247941258461797148524851374199594850529407682918157286\ 68370677836239360390408323800608664375*c_1001_7^35 + 1606557704271878105198987045541134575149611033249649549892711777592\ 2565146665039846439653042859283556217438317787594732131140662297483\ 02121761071317893106/4719601828215550875375188478775845598097018877\ 2696856937932495882516923594297049702748399189701058815365836314573\ 3674135567247872078081664760121732875*c_1001_7^34 - 1873091142987501667376604784971807338565922779510357708072697933213\ 4594830857420620861797899222791893764227918901519484380410833750479\ 1543711210864639337187/23598009141077754376875942393879227990485094\ 3863484284689662479412584617971485248513741995948505294076829181572\ 8668370677836239360390408323800608664375*c_1001_7^33 + 6660830300258937538159590686796438616892780540189569483331127559238\ 8937809985441440028320889543024734251359515870441343875294701454272\ 6959995979363808711822/23598009141077754376875942393879227990485094\ 3863484284689662479412584617971485248513741995948505294076829181572\ 8668370677836239360390408323800608664375*c_1001_7^32 - 5588971296582233811979125447801462314134837516348815718255012549309\ 3205711792563304436024509707741556002384919318520478269104465012478\ 4978884943343125178393/23598009141077754376875942393879227990485094\ 3863484284689662479412584617971485248513741995948505294076829181572\ 8668370677836239360390408323800608664375*c_1001_7^31 - 9023404687329852497865199537498461989428127605204293910204514027187\ 0788774075365210302708172493533468102558151639972987575868906989883\ 1014569732619452507684/23598009141077754376875942393879227990485094\ 3863484284689662479412584617971485248513741995948505294076829181572\ 8668370677836239360390408323800608664375*c_1001_7^30 - 6764638224827416227212652498397685659717431761845406692663085712288\ 1962008278710528311307503030368892953928504523624400172444071673942\ 568008410736611943276/471960182821555087537518847877584559809701887\ 7269685693793249588251692359429704970274839918970105881536583631457\ 33674135567247872078081664760121732875*c_1001_7^29 + 2377813483073356310391354405009222816499136412027639644049039886762\ 5215563061245507897587495509765368194991783111186125685803178489444\ 243965022747578255573/692023728477353500788150803339566803240032093\ 4413028876529691478374915483034758020930850321070536483191471600377\ 326600228258766452757795670969526875*c_1001_7^28 - 6798608708594667198983720188702667346668988643709883471136475846732\ 6667322464982786479768729056666155627304299837983990969496550750414\ 62596861032628954111532/2359800914107775437687594239387922799048509\ 4386348428468966247941258461797148524851374199594850529407682918157\ 28668370677836239360390408323800608664375*c_1001_7^27 - 1757045925717632853750908656147593849612486081228315450902263278612\ 0394699764946422166326850504971155178071000506178271926227170706360\ 797348397402535383585851/235980091410777543768759423938792279904850\ 9438634842846896624794125846179714852485137419959485052940768291815\ 728668370677836239360390408323800608664375*c_1001_7^26 + 2390379710301214715303056079203633283773822573221293322537740197276\ 0927114331577255682297760324517211388168967957921719455013049590451\ 439110118362796836457048/235980091410777543768759423938792279904850\ 9438634842846896624794125846179714852485137419959485052940768291815\ 728668370677836239360390408323800608664375*c_1001_7^25 + 2632059168005179017729814922460760395420797199793568042910627168073\ 2755078166560269048483930895873393758871509043540205716631904817480\ 422073979766204171231319/235980091410777543768759423938792279904850\ 9438634842846896624794125846179714852485137419959485052940768291815\ 728668370677836239360390408323800608664375*c_1001_7^24 - 4615504644694665227817737160396509954538869497200782642403431174770\ 5450684044042200264026751354896476456295257275557329906673261784046\ 832344615240800293729688/235980091410777543768759423938792279904850\ 9438634842846896624794125846179714852485137419959485052940768291815\ 728668370677836239360390408323800608664375*c_1001_7^23 - 6978486155944709052009366295650617103051364788848289409032359537872\ 7700699459291580041110970463526603383674529614563463627601813421528\ 452224941077041415929523/235980091410777543768759423938792279904850\ 9438634842846896624794125846179714852485137419959485052940768291815\ 728668370677836239360390408323800608664375*c_1001_7^22 + 1772868671913711146943319813817976949408308302301213117232404013930\ 5733961779568600855053019100366048659326608221860998175905964671403\ 8512710873448553422215203/23598009141077754376875942393879227990485\ 0943863484284689662479412584617971485248513741995948505294076829181\ 5728668370677836239360390408323800608664375*c_1001_7^21 - 3892096118093207205930307022888593422539224581999701695326563291120\ 1230021566677447994267536256793758552564054256308018854204451220669\ 484227898570055856997512/235980091410777543768759423938792279904850\ 9438634842846896624794125846179714852485137419959485052940768291815\ 728668370677836239360390408323800608664375*c_1001_7^20 - 1517318369696768297716864227278168739249472967032853737835216479157\ 1637784081732290197882059781975454241067303246298061164402733046673\ 1668777116273562181392296/23598009141077754376875942393879227990485\ 0943863484284689662479412584617971485248513741995948505294076829181\ 5728668370677836239360390408323800608664375*c_1001_7^19 - 7149493762946912026966461810020249130615788829149075470886993823766\ 1601708829832023869429907868066730188310193242377038437575705898549\ 749305343109178492615154/235980091410777543768759423938792279904850\ 9438634842846896624794125846179714852485137419959485052940768291815\ 728668370677836239360390408323800608664375*c_1001_7^18 + 4535520546457391561393999086229366121237463807912131226690191360030\ 9375512036854817037218515235697633512465343042190498256120139422054\ 5091188526666493092836318/23598009141077754376875942393879227990485\ 0943863484284689662479412584617971485248513741995948505294076829181\ 5728668370677836239360390408323800608664375*c_1001_7^17 - 2842082726351541348046804646284896372622354847969273271448802225869\ 0686140764459644105354554748664356185159340146006285350107989166102\ 5590341821512185812664346/23598009141077754376875942393879227990485\ 0943863484284689662479412584617971485248513741995948505294076829181\ 5728668370677836239360390408323800608664375*c_1001_7^16 - 9843685399857241024928710567043016319406031013272613620375630821705\ 3176558375110947006067527833710831541861467554870171409682112655214\ 177000734744436061840788/235980091410777543768759423938792279904850\ 9438634842846896624794125846179714852485137419959485052940768291815\ 728668370677836239360390408323800608664375*c_1001_7^15 + 3100690388180281133465162945762437191073389865158728010769981685036\ 3875323480792690323157434231384620315486301539415434784892074001042\ 118063115629376038403891/235980091410777543768759423938792279904850\ 9438634842846896624794125846179714852485137419959485052940768291815\ 728668370677836239360390408323800608664375*c_1001_7^14 + 4117206452996717987592868983183919556264993854460432269663546775994\ 1633826745897048836493795576723469094545829240281395996299186015777\ 3054775925956971617480541/23598009141077754376875942393879227990485\ 0943863484284689662479412584617971485248513741995948505294076829181\ 5728668370677836239360390408323800608664375*c_1001_7^13 - 2795300220566563014210446107749747582137708003498356944213070314652\ 4652970145563306511885823021975665576706111528936206085914372530475\ 73525885248799073677143/1522452202650177701733931767347046967128070\ 6055708663528365321252424814062676467646047870706355180263021237520\ 830118520502169286196067150476132959125*c_1001_7^12 + 1188973796614233236019490954863913150111525362967285757014705999990\ 5786756285701131275140800738865544491408487921736056330200779400379\ 1723716725707570016344697/23598009141077754376875942393879227990485\ 0943863484284689662479412584617971485248513741995948505294076829181\ 5728668370677836239360390408323800608664375*c_1001_7^11 - 6301010610254757757210407157400838418164996953286526727136009445454\ 2045503514651052096194275508362441814942454575955580537869648331441\ 4892557938485670714782/94392036564311017507503769575516911961940377\ 5453937138758649917650338471885940994054967983794021176307316726291\ 46734827113449574415616332952024346575*c_1001_7^10 + 1806114047154745473586905155339498024734118502052992832612825417920\ 6729061689421567468898998493163522951959029378974995783371951205701\ 058431873742624655069778/471960182821555087537518847877584559809701\ 8877269685693793249588251692359429704970274839918970105881536583631\ 45733674135567247872078081664760121732875*c_1001_7^9 - 1706906581899440524843734567614904966795745634797264045378541777447\ 3028630692856278330007611817932483541202306916338869381112224860471\ 4429480140665412090041477/23598009141077754376875942393879227990485\ 0943863484284689662479412584617971485248513741995948505294076829181\ 5728668370677836239360390408323800608664375*c_1001_7^8 + 1387174762164954437178651713924559603194340191978022147790874245268\ 9401100435431756376214235694159496809315380793710940147928449600126\ 7500744228667075955135899/23598009141077754376875942393879227990485\ 0943863484284689662479412584617971485248513741995948505294076829181\ 5728668370677836239360390408323800608664375*c_1001_7^7 - 4527432221003999009467561845177272563500949661560659489805912899704\ 9367232125447349999323318030048900756154392158253831223523577600322\ 421341190537254346804842/235980091410777543768759423938792279904850\ 9438634842846896624794125846179714852485137419959485052940768291815\ 728668370677836239360390408323800608664375*c_1001_7^6 - 4640492619550579942886642572835425164474928915436079333061749534993\ 8375134541804659538278373738414857516745901942927142568053297623895\ 55705720617501756379361/2359800914107775437687594239387922799048509\ 4386348428468966247941258461797148524851374199594850529407682918157\ 28668370677836239360390408323800608664375*c_1001_7^5 + 7030932137738811575872355491673875549771368034269535748411151490513\ 7664919164474087498576578465515634519919651544364879200426767120749\ 4419613916241657809833/21452735582797958524432674903526570900440994\ 8966803895172420435829622379974077498648856359953186630978935619611\ 697124607076021760035491665800055333125*c_1001_7^4 - 1404107282840662177013512362669654504510209353005653616049414359895\ 0538381869111200982436841096461137916260561685936066919990216152734\ 546218779197800033946/188784073128622035015007539151033823923880755\ 0907874277517299835300676943771881988109935967588042352614633452582\ 9346965422689914883123266590404869315*c_1001_7^3 - 1108868676805854036109323376940679300424880016059873849199560165035\ 3030390031322816145985252478053311955377987412546427131283256084937\ 5235203274014527261817/23598009141077754376875942393879227990485094\ 3863484284689662479412584617971485248513741995948505294076829181572\ 8668370677836239360390408323800608664375*c_1001_7^2 + 9547147394383435954324715105456803947799395226692146242863992741957\ 6228876786141052631582308048444044990572746013730908422394208281089\ 285482369934430301573/235980091410777543768759423938792279904850943\ 8634842846896624794125846179714852485137419959485052940768291815728\ 668370677836239360390408323800608664375*c_1001_7 - 9865064752539932322989416419645643967899461539236939539713916352218\ 4252072994859947582604622722537818297859978439887355724938466093646\ 9177802889055524821/21452735582797958524432674903526570900440994896\ 6803895172420435829622379974077498648856359953186630978935619611697\ 124607076021760035491665800055333125, c_0011_0 - 1, c_0011_10 + 96083703165631546464458040977034320672575643556260774185361\ 3301477936706090030825914377323829741554337843399045509951945021547\ 0500098212318555/20226503790498959127337819590832359128288504322150\ 0431512005125119266828496478490181597039437300300274777248897298408\ 586518346974694629737937589*c_1001_7^38 - 6233665463202112416893486272873517327192575744443051573763357443894\ 0911647115115474925684358431762009260713570800001750547037842723085\ 124767849/202265037904989591273378195908323591282885043221500431512\ 0051251192668284964784901815970394373003002747772488972984085865183\ 46974694629737937589*c_1001_7^37 + 8183755026860713519387763530430335914384210927789267261421941268853\ 1299434917065620689663355140364934606581355690634040302246329145936\ 919266775/202265037904989591273378195908323591282885043221500431512\ 0051251192668284964784901815970394373003002747772488972984085865183\ 46974694629737937589*c_1001_7^36 + 3987562337582737198185479391917119718069451335349576736175213823789\ 3311232030513222580740779840093418108755949982458069620597559200147\ 4815316279/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^35 + 1009807443607557285018954262089736875820769334550144675285557707846\ 9876187791820667555463900990995601370340230326167507928592022485682\ 88702982793/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7^34 - 1488253277314252789012200563178926892897707132094430155239150504385\ 7795676977564087447399563139164457887045046367245085077002224980354\ 604856866508/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^33 + 3489762780683074273301651236675050999798338152895009021327174341240\ 9155706076168428469677181324910691562709271888316733195904908475700\ 720890223510/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^32 + 2374440443931797274124359575152161253519073681453503999367104643110\ 8595187751498291840567934536570754636583350524259094873217291660057\ 128097135123/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^31 - 1185440231698352834877239838643680637972955997083418801564638740470\ 4064041909835393603171963207115071633737445664678914057774879220779\ 0949750205538/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^30 - 1484066065118794703283662864281617093152168298614538273849875085686\ 6873285689538439868626072038514884027689902167230402667444708780495\ 4429752561658/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^29 + 1955738507830434151070459110783667914368897245975183262120278977391\ 7010086461804677718017663192689145623278996255864661111717033609999\ 769786925098/652467864209643842817349019059108358977048526520969133\ 9096939519976349306338015812309581917332267750799266093461238986661\ 882160474020314127019*c_1001_7^28 + 3500738084592444560436188077771658085928261820587765851738375548893\ 7297036159221923497503178033776979380818316476909398562160019787931\ 7622686540904/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^27 - 1975428470652286785874597301863237233492495723011653648913336337440\ 0745972965015548561171540383557196918257375042351384182594014424506\ 53658479404371/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^26 - 1898908482432626538385742101533590359054069701805631627053082553775\ 4533009886749868248044397222857629393596312741482043686692168959707\ 5604194837008/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^25 + 4267405581549032237602284684431166005201110913292346377263142023424\ 7691183708613984023135479583077506028270441782525462638437067093953\ 82064647234107/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^24 - 1546800174747805799471326917732037357434278591174727595945184379549\ 3219514562839596796785323868866601350187161035237550518269716968251\ 0170627266457/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^23 - 1000404069321025124940227868103913172527098482076396509411310892780\ 7898191638320751126188654989880856376064695689479550116668236539141\ 521208379395395/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^22 + 5482982026238744994592670067830468934029072985388101962765242925200\ 7009528220118346882335531575060427083218216073766979441834494756168\ 92087456867561/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^21 + 1416066425911916884940867524507601394857768905198218181382822453217\ 0893769202148903227455835914058888774374897655621664734935095086646\ 765683846590822/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^20 - 1161610242401654122724433316299327585034176967561042322087437886736\ 3613280445935699974208506386927765875381287202682487508813633308484\ 810476464199360/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^19 - 2302627804530049401301004109859781508313044495672595034910664826436\ 3648936530353851321818455435957830866160577897895835387708395047240\ 343935742792189/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^18 + 2406601271714537442745877877186066736376508840623895124849965974814\ 6748527071742303332130703985860639692155585970230683602319502423918\ 094244542298879/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^17 + 2390946168258646981549443544404081687310985740458754328830505536035\ 2961751029864040844490491505319595650214460426364249931614149240492\ 800154063775482/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^16 - 2539602211895509113208380695470190445316733716641559668037028407030\ 7751944082230073887239856447344738568577636024932877517624551979438\ 629822118218220/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^15 - 1345945518959330951482630689213185973796494106712246477867571076746\ 7619524856231452098592576655272908719666105454077163275946722709384\ 443807572959064/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^14 + 3223199480246091628648844427612343758897187832080184783413710570811\ 3216849188396552425557112526592549714259166886741104081615230916180\ 253743631441460/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^13 + 3411974533722284172228216900340973181430424495084604589922811325172\ 7600475553317594784114546679749091071795138762661551033428013235232\ 0906654349414/65246786420964384281734901905910835897704852652096913\ 3909693951997634930633801581230958191733226775079926609346123898666\ 1882160474020314127019*c_1001_7^12 - 2445168703255011997585598032446203121586814715904955395330984170765\ 1907378014908056733711573763700001883062875383348463838844631026254\ 243232169585028/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^11 + 2044634422340041667265348128731755067683047280077344744312243481042\ 0911144115096490907266177656013821629645854139051631052693191729807\ 01128191305746/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^10 + 5670640085091138177824448062919129697261583622758507938294438098013\ 1158762866337051319415802384991414883984053192089293899688193030545\ 22618979558686/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^9 - 4214389107463357443674981966237201668109243270497698714810757674211\ 1161743690963356767514792455205105597613712700799946156560452045835\ 70395840121822/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^8 - 4917589264015972704523101011392963812840466658583140594622550340297\ 9429560920956160726377745850831479853645888300054885875600940105602\ 81269788416942/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^7 + 7022579665437116331328292444747522632213871348375783843881422845955\ 6280241597985093521272030603347466095088516290283516382830926779396\ 61968778168016/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^6 - 2507196937295217768222809886519621181601843460862642018902614409551\ 7313805094701561152708951215453983136668933031892687185810096883491\ 92455859827432/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^5 - 1948266776905486629282145496452327150760946437789790139256853034531\ 9318376530947363531209429981257528886922125799221000515530882649674\ 3717388875810/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^4 + 3205282608670246122069786674105303458485293969576763403382443650756\ 5098682516062746802739201903918413581153651373707470240923188658091\ 3078366515778/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^3 - 4858231836354862564197467896896698791606504568766560992086655225271\ 7522031664127042378561747079481219173527277795264905985425709033424\ 088104155821/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^2 - 7508326824549818706733097413619021210328182258762847246612213251663\ 8583549165866986525247330422363353071872054960207470142868278717576\ 16671141938/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7 + 214479527289735579521573621663761\ 1693277903394530684628202292007754977567132636889209014385425059948\ 936640492629394031379520810334144261785507262/202265037904989591273\ 3781959083235912828850432215004315120051251192668284964784901815970\ 39437300300274777248897298408586518346974694629737937589, c_0011_11 + 22113635680885213771430778323912600715076795871539414364855\ 3337201290391099394677137412354199282155898361786635121246962308379\ 72888701200346646/2022650379049895912733781959083235912828850432215\ 0043151200512511926682849647849018159703943730030027477724889729840\ 8586518346974694629737937589*c_1001_7^38 - 1645959862603398192613137734972593457342196745028039649004100713333\ 0205516272832099465399070964021642223513363988896081308017926409986\ 2322861395/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^37 + 3471864626283469837683179019038761130464167339028864685518893701927\ 2992726827292451757297193970260749679597826142502730005858825725282\ 8748818292/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^36 + 5732789847989080707248167253344331155284527056503391829706246193893\ 9841782291899854171549623003420387695160596940947377827542079566576\ 1472825928/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^35 + 1808799626414016116747401131300100211642409628121931584380369766869\ 5266549837548695920232821562785725289405672973244010250245077681089\ 73194680970/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7^34 - 3595687791542459573516482292992833144978505922151665763833003588525\ 6714933891030603213262380029265943186519516609625620928061862213596\ 951330768698/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^33 + 1147778864052186424863830554661956759887273418163970773049179044161\ 0487260446039893222905047950060697800833868520115723155474588517596\ 9938292143285/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^32 - 5765806133830419410751865646604245858108809636629350645529475148673\ 9477002429245769066458755869659103621137727005633975935897373285374\ 253068197091/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^31 - 2079009789995925085284850786903195959414755953075574974946132687502\ 8148002607348147577177683003714895468637817385814312084920052225567\ 0884515228324/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^30 - 1525979928978593659910722470610795588489959809734664608004366743373\ 0982453617144618839806408470985720637040603424027422650045001131619\ 7788199843677/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^29 + 4935873727411313913646441620128878238426710891985125277394230729393\ 8575365596885923832223800664880175281026390650989412337436776468594\ 072738464828/652467864209643842817349019059108358977048526520969133\ 9096939519976349306338015812309581917332267750799266093461238986661\ 882160474020314127019*c_1001_7^28 - 6587249951697458844900022460156449003933815385463461224631991749787\ 2835691552470200601932080739337732037068284343135337373615122491660\ 3502466806754/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^27 - 3802295730909152559885019443780526247745565869262183167228156452881\ 0777186509569023098154958216162590379612578700563946602533129568211\ 24154530966194/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^26 + 3078459810621549737051859396682257618628804224722157956666120817338\ 5804941156421368644657598321592316831682799739155816530719688428777\ 95477378810318/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^25 + 6652670612640802146840758743376856482552770584173755208061378821729\ 2990817907508862667090500630144081168596551973711103158860698639792\ 51011778762090/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^24 - 6332361137246739772889815707748901138575743598110973376528220566701\ 6023956591938487953363957687447250831182243182006678470486453679871\ 07309608543590/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^23 - 1666714215685764539959982476652814252380992602621182138442825909314\ 9382308103941113864389481882914077006755335450287791548381627660847\ 563063280029286/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^22 + 2783168199965208038896527133652554054455581013841320067476344879101\ 7124449257509790492203191987788135556356853900955271966424407895582\ 874511683172083/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^21 + 5136517704558236682976140915642851077871868125658441461965919830916\ 5904214604859054840403243709857927890880042478250783798971089005078\ 71703824558087/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^20 - 2897770839533050126440999879567754993454839377050611717332382784374\ 5136000710281779158099074666507127049017327646428409050677215343688\ 828868724177375/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^19 - 2631659870419271848453827028937068081558028798183367890458578580582\ 8137412046217926633219675239500806688531736788292163220235022130605\ 725924747793608/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^18 + 7854164641837992634600198221397680730912982002019972541033047817027\ 0592143694059598783330900574940880896877160600228021025196488714709\ 357127189941918/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^17 - 2068372320876996746959449797415879069038612242321877119827573056892\ 0272247636767754864851850770106595037781163079685147073046433196488\ 865876628324321/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^16 - 3211110537892245408411440380850773168660993379388582887699662162180\ 4871497524171045293354756210500842910275904372630819389822506235233\ 096637651839894/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^15 - 5444687808303891209624803650299386864376040845321356383160753865813\ 3587200832143108918605568973790247553275650744704334383778083818118\ 35824592508023/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^14 + 7880762781799263479425022298498058894938864169366120687853057970112\ 2482243414506117258122735508916045982938404766491547167839329445231\ 159916727105744/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^13 - 1628451639725801703608197235997243240558870978680257669292384363380\ 4386461513018982138620238110806091760777614130981987829173416329039\ 69261944041703/6524678642096438428173490190591083589770485265209691\ 3390969395199763493063380158123095819173322677507992660934612389866\ 61882160474020314127019*c_1001_7^12 - 2235142418214162345020519154344308739354057830840581413919849657149\ 6336360309505492405328073535306295150947661985655577118463990695313\ 68381789712191/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^11 - 3160245223923333971814754915157397146868651424476423432556467565784\ 2720807646858607140290258159055368726651545084327087828804872334958\ 7387809376838/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^10 + 1618143040414002429865148437417342952534358466281228726269192656618\ 9778965400835460947064958999250370443234230497922650911728677993783\ 481414477213036/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^9 - 2592741426273542802642596419978036561954167896009703171131697246400\ 3941690022372172132166092034996344788593490648394776549170872575089\ 054578428975897/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^8 + 1496367761315687223979738156710349907186491069957096218160652849845\ 4658437584453804645396407513405317501186014253535593032320099387381\ 167824355933278/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^7 - 8191756975294564921826180714831008554069157173963270540991866522106\ 5176806275670173237345167026329526356541778642880396503936758053838\ 7284147177779/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^6 - 2552293678383122679838082339290276147050669074992768126342956398915\ 9612506345586650039530906787489938068536647911275234895208384985788\ 61843765750397/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^5 + 9299856377623333017117363232153796581761211208388611209380024848430\ 1412999327979953403607778482011516523376781433703886604076479028523\ 8357915922837/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^4 - 5809631439555395006544177860711527579318260136713749545625423531024\ 0615972852702361624941121134150558732324275957403576981260819961205\ 08457354236/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7^3 - 5136523823966589869022251275556245469922742140648987974085045404240\ 8174049642335475988425820796587516326824573040001518105899135994126\ 960442973948/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^2 + 8029743925638169300118801460319727435692494931179325082469996674486\ 7891367156439493762629391162963912059847899369061585342338497238262\ 29144555011/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7 + 176011663876441254625945080120408\ 8832945607390413172317118241139915397633061957895354659020027730682\ 4678307874153136918249017931938723580497132/20226503790498959127337\ 8195908323591282885043221500431512005125119266828496478490181597039\ 437300300274777248897298408586518346974694629737937589, c_0011_4 + 468108412539604383161312427877404550765146212906604878348330\ 4698881508647932311483304732622741547949480701601155533016510814250\ 5698491479278889/20226503790498959127337819590832359128288504322150\ 0431512005125119266828496478490181597039437300300274777248897298408\ 586518346974694629737937589*c_1001_7^38 - 3750393851250396633152604570930432228531741153329550069729165606681\ 7772739269460869266289668756211748087374621037686777141148459030723\ 4833239647/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^37 + 9371363040340897185685976568680773869197342504163833225695231578772\ 9716067459574469826959476437274805784849927876726505022563442101955\ 4733424449/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^36 + 7644211127471447759251257181582354410155846310758131207972095251696\ 0927750930434104480975449051444705591146420700409817158917418663583\ 5573043650/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^35 + 3209690783128274885832939801725049204715142574553266465782019942073\ 5201515448541688318677811132105167684346656021624187884419267551327\ 58817613527/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7^34 - 7820306900266897260054410913203080521049154115607466214936396502558\ 4148661486909112851431012801736807752024699907290748864098896291095\ 388254818276/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^33 + 2865670674313546169470840795089076477888068410605547897237388021106\ 8839132927078371494417936463859577789912773116380121776499437634551\ 8270593161992/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^32 - 2669013008915885587782879005487953038071158055336116277051749112108\ 7641661850824794270525240385501178547970062123422350301013496680417\ 8909616756559/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^31 - 3481091778436359201019583420213029637253080695463524910053160984911\ 2372815529840368426484855993673290653545441741550794042951268011411\ 9710111648421/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^30 - 8859910343292630424000186740199291769856267258334310754885028163715\ 7510014454672607684587799003802305431682386442861242251691087623239\ 788716416785/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^29 + 1093350655850540106220898215767250298912230506972635724669474872854\ 3433957893616267452505995435901393092253613668691453504680266157201\ 9199943825338/65246786420964384281734901905910835897704852652096913\ 3909693951997634930633801581230958191733226775079926609346123898666\ 1882160474020314127019*c_1001_7^28 - 3258576239464032469451983871417069754124080481772039154497939389062\ 9562878916125184793064912516341914098980484816704840525350888168294\ 73728614386091/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^27 - 6972055274110334729689745295044971447972748841454073113010406730265\ 5851158923950047868481321770516767122824030551582509036440571863832\ 68587915313731/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^26 + 1091135921905899549847974056553681963969030884163353686137659005772\ 3574602973389616217970191825226474075121902775106490514401270217628\ 315246961810634/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^25 + 9736715263795946295738294380033851693280679276746921615387106266910\ 1999040129819378787139818755029348130014716004442438918880526358966\ 04573046717087/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^24 - 2072468465320151363062835885125520746187922139378982493844289979744\ 8837331279807098311761549107690182770940733045787578656572453219844\ 070104947756909/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^23 - 2663020461603427746132801446013041101854591465497753059804685358900\ 8570254719794282053218468226229399600740776920472424674079362918202\ 544029591065171/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^22 + 7764716129206292580627405726023721582515190344947301468668266318783\ 0896229822370493120761944965965208888731968327710089769200602809353\ 172796557471965/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^21 - 2533152494223420272292142397203340617315091363469962265312350048512\ 7277605734902767665202185275097547520752891802784487772784910623663\ 281536948385032/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^20 - 6193301885146691695129398758598667294954028259895402103639130492101\ 9732396802000913207707519319917976838634870235040825102554643304396\ 953028929183131/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^19 - 2127788239677733641041799076211882872439675511374288836930555138248\ 0708174581834536831020166082056971440617302961838412411384060586039\ 441769219070012/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^18 + 1931197750510773005736731126820794194177504927343560042634771657074\ 8216734805590520921861716683990014662456218721151389162050018631515\ 9537548621471320/20226503790498959127337819590832359128288504322150\ 0431512005125119266828496478490181597039437300300274777248897298408\ 586518346974694629737937589*c_1001_7^17 - 1421439968552415135332920287974855739774919949358904125385321503484\ 6999211712538477532526724005384860639244950129045147634911002707297\ 9541776121783900/20226503790498959127337819590832359128288504322150\ 0431512005125119266828496478490181597039437300300274777248897298408\ 586518346974694629737937589*c_1001_7^16 - 2822290537182825839946807464278291792562847471983054317119308336138\ 7286985495941075446950533239057598702985874518685007671280256380325\ 503661862859895/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^15 + 1985754472949647896781155748427630652310884054990719231243092248838\ 7898126043370995011198547185004787003349812791969140155884992412864\ 743416541510458/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^14 + 1701639802245196405730726253800307797291334242101315831299262668110\ 0789261178330565597061320894953723005092005556420373352049858529854\ 9473248918748474/20226503790498959127337819590832359128288504322150\ 0431512005125119266828496478490181597039437300300274777248897298408\ 586518346974694629737937589*c_1001_7^13 - 6530586853273149130547195478071034795556852407306842689846081532696\ 0999111715854736364041829954700657598579138275543600285636345826988\ 90009685045059/6524678642096438428173490190591083589770485265209691\ 3390969395199763493063380158123095819173322677507992660934612389866\ 61882160474020314127019*c_1001_7^12 + 7033515463109170037945801408353740779261484385790049824232825947884\ 8693824334279116367940401111755512597833511878637419334761002185894\ 766900336441661/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^11 - 1035695078310664978942601796386087813579131474670370419489353793146\ 0143253733316329608600150264829441004148361487478827429884291048739\ 800012886940952/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^10 + 3799138252851557724478552056448941975696549049851185826866942086327\ 8908913794624454679803447593872186185707463318489672236643864974204\ 097848831058069/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^9 - 7593669116801081895973228415883714537798982882074468443289334532773\ 1985100673935240235661724332627148110803467645704142234439862412067\ 540859382145394/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^8 + 6627761032519686284100009294031513869429459099300736248445344202735\ 4435381693482115041455166141889920353520224495688889681048501414289\ 064818508455101/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^7 - 2533156797033033823897677064948746275412707075531082645045301771278\ 0188625116078894775034119333052736323131018571838674212557752919276\ 365759104878666/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^6 - 2299359049018526588296064978002817216533139819792908178701610321742\ 1740930077912089318506546672164701813097417436098031543266952687414\ 5096409134692/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^5 + 3605688218014873510360952312380121963028243229777270434626931413672\ 4646708249798193767103662812565615114973211197954078099752567764832\ 48138923133791/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^4 - 1037091098589020411440147281127179345840558524890266565975336079386\ 1530860195118957443178499176831932171532519719828874732098197083291\ 30124027584082/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^3 - 8628252025691958184540579324077274133348078124847350589789440450322\ 5505799293518494956818120417388798182654654167932144408443195861475\ 07123910061/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7^2 + 4898060626865723620107857971331873101159956187156094458700543666456\ 2670845649812988694512927040527427197562101205685371022331488395146\ 298399702592/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7 - 6477024735232320124687799018136500606003463294948009674346786070447\ 7847999503628049250735037580531556740141342150515934037163271000844\ 59268849724/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589, c_0101_0 + 175418288274566864914595349923949271086986581503647565909332\ 1544334374897521852932685511624237562327761560185852421965401425788\ 3820511687228590/20226503790498959127337819590832359128288504322150\ 0431512005125119266828496478490181597039437300300274777248897298408\ 586518346974694629737937589*c_1001_7^38 - 1559508069608458593466768705454446339785917523772009251048992995797\ 8981123992803462258686233109262216560977436258600095346733163282666\ 8821088256/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^37 + 4662726741180699764048056330368712969237145096206646320315638873220\ 1033487532239556622505624508173710298915265161066010916957983855055\ 7491150472/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^36 + 4070461980469876696059118187201061751359799913355366930486749194484\ 7134196504942479114981849194506963782401324436327192820287967489047\ 817772492/202265037904989591273378195908323591282885043221500431512\ 0051251192668284964784901815970394373003002747772488972984085865183\ 46974694629737937589*c_1001_7^35 + 8160163324679202977142521651003269851616077688125060514407495814171\ 5096957264639325406659453823684580522951221079611494195195476917878\ 9138889338/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^34 - 3056954236508787993671847452429126016928665082834658104447406315623\ 0643770017522171912146076181160967151086490811570219753211356423221\ 297713794179/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^33 + 1324543969602727122259161607004392959714385491288979020768572008370\ 5767433996836998250865405695017153219183868410859274628885524054488\ 1469882521691/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^32 - 1807169645768339665539226442038092506717855440317667326692760547081\ 9326151781825769023231360038657443419375447728873847374083677339604\ 3550289978666/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^31 - 8680418374963772710959246079288980168215150439683847038960219321321\ 9013606203516152797258099708976774348961495297918219239354790837931\ 119831868596/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^30 + 1061152977940828981387971877821860581731209285615916263440942580617\ 4940557915949102790860107383534750137039205564050702814132087100408\ 1694273167326/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^29 + 4436262463260955448350120063008504490012678801357998343075994337314\ 1805273388354604978308695767208817106585167673692361639469627085352\ 291733846662/652467864209643842817349019059108358977048526520969133\ 9096939519976349306338015812309581917332267750799266093461238986661\ 882160474020314127019*c_1001_7^28 - 2282576757726999989252402520090732641849822500274619979991074973005\ 6079675956908093539658360138193960742296663297027639574696548959257\ 03608371275508/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^27 - 2120054967328677441825939033334873779866174416616568259104991819531\ 0845027934746998874265550793107160545999640612516786939347778072946\ 21102471521732/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^26 + 6667685310537544668578553483333186957600656668052455667685249989868\ 6649643062397834933878304541420858824042463496051697358554254248094\ 54329245856082/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^25 + 1462917560651332799347902115129130371708676456237917555798845806751\ 9107714700370923230209760195293613984790903082331610477560466765015\ 64987865261744/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^24 - 1220611374303642989732438541668903321700798106833655852937897210285\ 5530442647603872269423809374354965847617682630056638976695756156159\ 269629339605098/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^23 - 5567126298628770487449474355376343243407051427573072955210321002773\ 1856402992834692263515538915341956755508469705917727264594951856939\ 13702988202758/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^22 + 4035766104301219500835683147669272138293881398983933992051242992101\ 5567995136911148304064878856517942417767612330540029800470763890359\ 461630742587776/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^21 - 2894803554586167378645751456575362889254065646791781786400532899120\ 8752198176974338706148580730585235406796354466878828627269001237590\ 591294531873130/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^20 - 2567151650191375158995417848458143897243784987442084554567361651616\ 6782018577872215769120255289813395615251413718165980634347839180414\ 839451815621422/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^19 + 1123956676936249968325008315306815266679135647336497666156138602382\ 3705374385446114888491726807048968348394363596433401875525327642940\ 755574834089912/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^18 + 9008458089736025096440169236627515289045194712263798921407723054991\ 4634826480423638639409960054075144989220861886382564111212027825125\ 443045167570218/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^17 - 1074648788401853339966909293259574085935764179121087579491494431267\ 1374873236968549326698612499985060992776648634411638345483041382277\ 8448246654220030/20226503790498959127337819590832359128288504322150\ 0431512005125119266828496478490181597039437300300274777248897298408\ 586518346974694629737937589*c_1001_7^16 + 6238915819231531330111349909170306992661671135218934357399659459123\ 9174245351670704438023697903479474066966744803362720700817404025438\ 68959777923047/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^15 + 2647809881936663599297421589925358070606831961972770214411024216320\ 8607596926484039671308589297298032117009748708090006337516582490738\ 826347653285218/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^14 + 6798111017640290618418396935954961690256361249694389247719109589216\ 7086526920091729658720432256690957778575091433829377206036380027972\ 268194145937326/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^13 - 4193582529037462725765520500130663227899859895835998280241046695121\ 5995271814448454354865738744490755813130018531336866393084945866278\ 10588005062435/6524678642096438428173490190591083589770485265209691\ 3390969395199763493063380158123095819173322677507992660934612389866\ 61882160474020314127019*c_1001_7^12 + 6326033585166080231662568541327421245415197447801988325863706412435\ 7369290014191404121922053477591790679732216708187618325793253007278\ 023074641601636/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^11 - 6207049761722804862529070805250631226795547454251915034414649425189\ 5998897477590277513551969781905674917054917718226111912232059936810\ 89885653346201/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^10 + 1649755494007020893893564667312670144184317270128278091653704026634\ 7539161238762085351340792772369337669245822684025300361153835757900\ 329664720628362/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^9 - 4005558664876283595315514648106918567452541112928333190441780226313\ 2978847786798731855712844177727462970414988163972517844867553396859\ 263598495972698/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^8 + 4345960583351782252057212977232476130188046669442791806661812911735\ 9831435819637235481174054609521986646699803381663591600396206016111\ 443509883591799/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^7 - 2106114685484156295412263999450554382129230089100130686992062625727\ 6433975924206289746170360120060497254782802468313662813992551283909\ 467661869345848/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^6 + 1812665604923003198125984293855112627819253199464976963107206031062\ 1041593014545710776293059098668980796294638930590757461339641425864\ 74800231898915/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^5 + 2424019052873242388257534159005970451327850859655838758026388326135\ 3896538832799650229356381306083953135231210991437674086261293400719\ 57146040372998/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^4 - 9078444549699331638854549109683466117892799859989941299089943115027\ 1598976733327314269487798745822711152937672338624447189428789300276\ 1324676874836/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^3 + 3103426692103885901691302283549781884181625597584338746274922619520\ 8351148993828270248415243609477170852408158144148612586827524590265\ 933702309163/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^2 + 3787966067603788118671014623755327534186270181439061309806890796252\ 1923778075180935506708092936254669022171409010895801970361314560327\ 415013863459/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7 - 6087879372076715574242064713413982138058521268617406350282158545517\ 6031657209710249201318630523178930398537005220463748629608214013030\ 69537754792/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589, c_0101_1 - 865348485692894240672551319796485060344845012495977812715966\ 5875763899176453882948015421090383122326992661101030238435959077495\ 6144430045829168/20226503790498959127337819590832359128288504322150\ 0431512005125119266828496478490181597039437300300274777248897298408\ 586518346974694629737937589*c_1001_7^38 + 6721264646751056850701628512569118938318943708463192992589285113948\ 1364984603899518515466706767573511271761113239607695698091463223433\ 7208232377/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^37 - 1572894257174870000434634351533062732319491454468271132803199660273\ 8614884945947119800816220080512225945347346630009581778420748418639\ 53409551666/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7^36 - 1760113788152991908715275563445299385641153149846702632752225313336\ 2592473929195512581441654772110650544138350730563344877249135519734\ 19408079396/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7^35 - 6449094203131123642419016582894590094605222402113308179100930402715\ 9106582804191506099141360074137211372705974769828699212336869825866\ 87514021541/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7^34 + 1428750422093384265214794711407170508358760233667822305234286119028\ 9352646957959995096482200941260259867355703449435683778668480892486\ 3313854550329/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^33 - 4951708011136478710632432781731569126688245449974767703319088794197\ 2746533545195375597390434172629633887013993632634211453310435931774\ 7629094583317/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^32 + 3803773937985588417249293991865000586080732970194995975550884029107\ 8209958866558007551022011742930120865845145532188052939932499486027\ 5023792717097/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^31 + 7092967681264692761680626717326872392555110063614335684214935344112\ 6306452604978497567282641332211024609804597448382798536174700720132\ 9860809896044/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^30 + 3551935643977546895422163701058762122064133073201588442506997431764\ 8879065324971801549794786851098692388069077518121300001976190073472\ 1499108074703/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^29 - 1978883464870538453700113074452548702944311658990694058242371880946\ 3200761414376442071007912980688030696573978568568730332966051227164\ 0488202877507/65246786420964384281734901905910835897704852652096913\ 3909693951997634930633801581230958191733226775079926609346123898666\ 1882160474020314127019*c_1001_7^28 + 4548356730606148537209200083608653482237350747326672527587287635557\ 5710066997875983991097993339254191422052127093801682644838829534905\ 40535613338736/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^27 + 1365100011628954577139521122721311629689946043612439925023867481879\ 6675233336586926221956447917492895730563304914748987693087028519426\ 178379108782055/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^26 - 1661748112193453520154418889221426520512333237875103192529940461127\ 2191722762264774357871358169218819781724998708708469770230793407545\ 801766176314809/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^25 - 2123879403734928124621331081823045371077066344560977426340372113790\ 3256170160658603548872152779684344074855193385067021342773563654736\ 754629540832348/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^24 + 3226459954578598067497837977512548243548510569527629987047343321663\ 3370495403554270172509615245730965599249415988597294318828812428971\ 532815847936401/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^23 + 5575355385965356749218335361739500558749183616112422714272570578027\ 0794913992414424619074693867808212798601278204930069309701655597650\ 144576379964150/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^22 - 1281968907394041712261800794287477734020669978795848801836600875793\ 9079688912890698417217076649520300008731711427535513965753843421235\ 4437527378482601/20226503790498959127337819590832359128288504322150\ 0431512005125119266828496478490181597039437300300274777248897298408\ 586518346974694629737937589*c_1001_7^21 + 1895195477416061680555720388167166407124720529205701623133336498626\ 9166728107437590581185833503609767265737773454405382959329205576567\ 008314169844743/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^20 + 1121742764770227820731329985788493251155262673942986208398315732730\ 4987537705741839590116826828364261115799129006509209002507623573838\ 9941059173660939/20226503790498959127337819590832359128288504322150\ 0431512005125119266828496478490181597039437300300274777248897298408\ 586518346974694629737937589*c_1001_7^19 + 6677340778874721585108171960117125085441572727155779424894715299473\ 9344474470213983949666214236975456231164087079851714343764056108449\ 668020407399815/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^18 - 3339509824531225599297823439803059218895991748857627133246669782543\ 5374343533892494736534564727119189439411071528672475839190398841566\ 6161227920244817/20226503790498959127337819590832359128288504322150\ 0431512005125119266828496478490181597039437300300274777248897298408\ 586518346974694629737937589*c_1001_7^17 + 1858389416260180081041677073045757157403092704184916054220889619733\ 2027503313445068613294060317475215100609652203243025185069519759987\ 3301264187837302/20226503790498959127337819590832359128288504322150\ 0431512005125119266828496478490181597039437300300274777248897298408\ 586518346974694629737937589*c_1001_7^16 + 7882767168313629398045112012507549517993927912007517095672972535590\ 0725334537576290685536233397699761537780732225825922864765024470537\ 604385613053508/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^15 - 9548025361820018238504524735043729298015571632185265508144214411162\ 2791423038165029109020808805830715502160606302150222028147241966206\ 19660165274130/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^14 - 3105296820607567002486926348989680971719048565147809116900220799466\ 3762274999954210548424284046808876354759764399913878790467317360511\ 4068907677434306/20226503790498959127337819590832359128288504322150\ 0431512005125119266828496478490181597039437300300274777248897298408\ 586518346974694629737937589*c_1001_7^13 + 9625970877697170237086707056381719035540282935752395206748265779689\ 1677560762096684714758639984607705650585366583359595671982764539104\ 26628970920036/6524678642096438428173490190591083589770485265209691\ 3390969395199763493063380158123095819173322677507992660934612389866\ 61882160474020314127019*c_1001_7^12 - 7513160266089123453419695432778740627518707444611949104603111790880\ 6366692043224792650343408379701424878820858063297359843890735787515\ 254577643828148/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^11 + 1538326963237042650391114165017749243983404459269129797129511300084\ 0798297039295093878790482353344849198634869119490427127960237001689\ 417396698240416/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^10 - 6800817651810858658267826960204106256958693260466846448909598233773\ 0623186408442185700626691946663796427002821820863311073646208762563\ 785086802486727/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^9 + 1239506245591622654739774878073073897454228170527717388069192015935\ 2346993778594642047356378942464917144034218590180645131747956735697\ 1238145029271465/20226503790498959127337819590832359128288504322150\ 0431512005125119266828496478490181597039437300300274777248897298408\ 586518346974694629737937589*c_1001_7^8 - 9611778125103014127102809339957128980406723340008046292640415315656\ 2312906477437327747937262300686893795307172120743942806771077032357\ 704404533551562/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^7 + 2986008816798792598143030524006469910254352069980869792101549778715\ 1913842042551115272804784865195496858675848910604024392629220344405\ 653081942005812/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^6 + 3263414577410247420297253272876356493910409260937357551229725111747\ 6004004475704539861453437171825159380298616807917253717272071472994\ 83427148929121/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^5 - 5006827777407578325903650459109300040359595444219873489443952292325\ 5074607844633779846262499459076814859587549082137244243447826198909\ 50528615336808/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^4 + 1135049581904517675113239810762074743368916480678386815752983460588\ 9618249749311279314982950480774939958374167164873256236374887821764\ 35334151040262/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^3 + 6009505441262280378291897641547499185202908143581344666684892082999\ 6814836468562567027238602123103620623812789542564540921255769466731\ 543739049415/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^2 - 6012525669826307044896135567887729122624532601236071769169157570600\ 4042576853717062830508556529194935772972497625038186800718397104848\ 284721821021/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7 + 7063561629320486023469601716357415549829869578562492513218088853446\ 2355689302793045264629560478940217499385843715755258881451521301516\ 35511398402/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589, c_0101_10 + 35009494893569100893988818302449081567303268860057242176769\ 6797799504013563324452865468461696122648800974140402450864649704664\ 12368197109948957/2022650379049895912733781959083235912828850432215\ 0043151200512511926682849647849018159703943730030027477724889729840\ 8586518346974694629737937589*c_1001_7^38 - 2668336128792481654188795450597637333378790542008114118385273862487\ 3692442946895299874715799654472338907911206710083034369309804887073\ 5019891105/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^37 + 5972278377958848046867610115715093955960509811200722983191350325039\ 8336197835874440828353371666519537870853396391297856051048663642482\ 3066911559/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^36 + 8012764661770988700511364929596136092573249635188274813689905193404\ 0988154765030896277748055909350521832152365457961122316807017359576\ 3280505701/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^35 + 2721014335357438141231095334744574630502787000905302132521043275538\ 4638102179245700090076144738048988631198124061072603110491674947397\ 49136188389/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7^34 - 5741697649279128830713938159792792091323214281958805569944317374863\ 7752213089192659435607800445555828690185032841831745146895909508115\ 194589949859/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^33 + 1919545502788901200012438882374409522198313991937789890158365919560\ 0197488789865690111709547518346682192076855936459516012022643819259\ 3083784679017/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^32 - 1254579616078985712887254821592721567279561647205006238446428911153\ 1561828057794898240794706943509152614446839196201975763110240414748\ 8473663273187/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^31 - 3067710228703539446154321149274702746961043195435513365100189523737\ 8992482456117700780890369679846831095786092301868300762553274704133\ 7120281484284/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^30 - 1877827603467862566667139046011939971597734545696972441784758543558\ 2305136909042946949097015959300966171403696402083552528845624015252\ 8048426324766/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^29 + 7927443683273268077707166033024447863048294245517888768214364213459\ 6189841688357456183086972119222294981107935521635046460141214875129\ 039318089720/652467864209643842817349019059108358977048526520969133\ 9096939519976349306338015812309581917332267750799266093461238986661\ 882160474020314127019*c_1001_7^28 - 1479572163548330408851949175872905092272740462957092694143073211741\ 1146439580016100402157227796609726986434777724698250453160558287368\ 96284096379365/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^27 - 5759392494619670268066507505048816283862549216907097244614937595295\ 7853662334920378784858444569869988561873162074914178366407461875501\ 31176597722904/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^26 + 5889859323795403855775665109989031209263656216931665044008805099625\ 3410572336344690678857139946727930314217084301621663920687525548247\ 27829718920673/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^25 + 9503039314768706452400858381883795625516002394944624543682034764144\ 4718561031499256183607304300713483243692636682585247281836772671368\ 04825420457245/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^24 - 1170027953827216926466769720713063878113501573161871699889659158388\ 8779555348352277678661712894496757824164869769010199883624815165993\ 564621548213472/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^23 - 2435613592537492135237181698557640557186737177536789120329054520971\ 5448480740135399242379673477056622135849900546038203062302080995128\ 526774776079750/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^22 + 4838181335599936072558324642325082597225821815949435318275014360445\ 5115392035608738949586348392204817193061370816141704816357959046197\ 731070843820783/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^21 - 3821192597414895288104001532978089425712467451709990092099842849544\ 9790039286259321002535054098552066285305804406175636836789022918515\ 8385177125147/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^20 - 4576569546891450972781441261644697111718914704822586362692846994721\ 2058360121549774279555564980181933296682024037606196392134694741923\ 403314730349595/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^19 - 3380099428772486038146547807602944056846418890059858731179814015795\ 1482262567464644475767093760492219100668545429507246010200757075153\ 295524573812668/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^18 + 1305142973680228446651953792120538059548979228873959936189463015090\ 1927068375099807349270196160582639035761765263640809214040756632431\ 9266223498514691/20226503790498959127337819590832359128288504322150\ 0431512005125119266828496478490181597039437300300274777248897298408\ 586518346974694629737937589*c_1001_7^17 - 5572019260193487708684139620324601506992048150806198353734843231302\ 5922228290114872475319677782673479462064277131663863013445096189501\ 608572663498374/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^16 - 4096494765685835523542370041387028416238861826069134308812263391175\ 4474635166498605197308945740113082330722235221421787561842470309779\ 852416341560981/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^15 - 2008758876610236874211534787245055674012396626838806051665487228218\ 8263271838648125333758557098163102691904276978152949707254355501491\ 38446211654004/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^14 + 1256471846083236067214048799373500358385813539392351490033111036790\ 3913179791890817360699794441832438851426988843395102715749784667092\ 8955534768103988/20226503790498959127337819590832359128288504322150\ 0431512005125119266828496478490181597039437300300274777248897298408\ 586518346974694629737937589*c_1001_7^13 - 3296384946019782805069568493887648304986005297008215770616115577828\ 1835941473056004610829908378324685724272757953723139060046634253741\ 50091076541377/6524678642096438428173490190591083589770485265209691\ 3390969395199763493063380158123095819173322677507992660934612389866\ 61882160474020314127019*c_1001_7^12 + 1447709001021173110725451306202545482589811002189882545281598797449\ 5126127783005417364194100081322499695090716741007585287819192580840\ 629935378224941/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^11 - 3658540785375667937100241045615207878683296314378012555842687745183\ 7018681482968575741557942014520100898284368609327284403778891031591\ 67544043131292/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^10 + 2695977770403852759772829305196627713209685222253459152072772658545\ 1008404666911777291147038115107025470934529727690112148175095165846\ 926741193847109/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^9 - 4605831952541756144288748934960771710317752419860523010687726305076\ 4463274023064750492434272565592345691238748555141263797794237126764\ 469138258979032/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^8 + 3194327362445679944867879752315527955252361820393100344126651008916\ 5901641508643382910589910842100202517535799907181927991753609793350\ 750736067881390/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^7 - 7100528986212712713544300500967696015787967564956577354050816988901\ 6182348970963552943080682474333066399245827733768530882318757298515\ 01662643262862/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^6 - 2524576337944230758632130601067580239617264024587944894942015749163\ 8517077606140942340409091462864595803653613212118706687497592110203\ 22149185842529/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^5 + 1697484546835092490903107039845718380701738425170402429214671134571\ 9734035120064455896602652950481241944389138709980013211317721053016\ 39680413056244/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^4 - 2211893539525902865814890537468773636811643418336012876435196229692\ 4284485387542495220781485893020759472550427312139216390763863219437\ 2847042425997/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^3 - 5175434087674435467257892185171981896038656650324110519069623234066\ 4342097068402416155930915299708591731074940768090777168226952527268\ 100288595994/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^2 + 1699284431632716154135694544110120904599005575569481471026033045391\ 1434249045267781040438228722824807798639469795802964222226125864874\ 528176644485/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7 - 1146017515434590357958826665651209813552641044075132937922614365366\ 3957189846285483995999755887609293293359049518906325072998886573428\ 71764669395/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589, c_0101_11 + 35009494893569100893988818302449081567303268860057242176769\ 6797799504013563324452865468461696122648800974140402450864649704664\ 12368197109948957/2022650379049895912733781959083235912828850432215\ 0043151200512511926682849647849018159703943730030027477724889729840\ 8586518346974694629737937589*c_1001_7^38 - 2668336128792481654188795450597637333378790542008114118385273862487\ 3692442946895299874715799654472338907911206710083034369309804887073\ 5019891105/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^37 + 5972278377958848046867610115715093955960509811200722983191350325039\ 8336197835874440828353371666519537870853396391297856051048663642482\ 3066911559/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^36 + 8012764661770988700511364929596136092573249635188274813689905193404\ 0988154765030896277748055909350521832152365457961122316807017359576\ 3280505701/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^35 + 2721014335357438141231095334744574630502787000905302132521043275538\ 4638102179245700090076144738048988631198124061072603110491674947397\ 49136188389/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7^34 - 5741697649279128830713938159792792091323214281958805569944317374863\ 7752213089192659435607800445555828690185032841831745146895909508115\ 194589949859/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^33 + 1919545502788901200012438882374409522198313991937789890158365919560\ 0197488789865690111709547518346682192076855936459516012022643819259\ 3083784679017/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^32 - 1254579616078985712887254821592721567279561647205006238446428911153\ 1561828057794898240794706943509152614446839196201975763110240414748\ 8473663273187/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^31 - 3067710228703539446154321149274702746961043195435513365100189523737\ 8992482456117700780890369679846831095786092301868300762553274704133\ 7120281484284/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^30 - 1877827603467862566667139046011939971597734545696972441784758543558\ 2305136909042946949097015959300966171403696402083552528845624015252\ 8048426324766/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^29 + 7927443683273268077707166033024447863048294245517888768214364213459\ 6189841688357456183086972119222294981107935521635046460141214875129\ 039318089720/652467864209643842817349019059108358977048526520969133\ 9096939519976349306338015812309581917332267750799266093461238986661\ 882160474020314127019*c_1001_7^28 - 1479572163548330408851949175872905092272740462957092694143073211741\ 1146439580016100402157227796609726986434777724698250453160558287368\ 96284096379365/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^27 - 5759392494619670268066507505048816283862549216907097244614937595295\ 7853662334920378784858444569869988561873162074914178366407461875501\ 31176597722904/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^26 + 5889859323795403855775665109989031209263656216931665044008805099625\ 3410572336344690678857139946727930314217084301621663920687525548247\ 27829718920673/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^25 + 9503039314768706452400858381883795625516002394944624543682034764144\ 4718561031499256183607304300713483243692636682585247281836772671368\ 04825420457245/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^24 - 1170027953827216926466769720713063878113501573161871699889659158388\ 8779555348352277678661712894496757824164869769010199883624815165993\ 564621548213472/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^23 - 2435613592537492135237181698557640557186737177536789120329054520971\ 5448480740135399242379673477056622135849900546038203062302080995128\ 526774776079750/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^22 + 4838181335599936072558324642325082597225821815949435318275014360445\ 5115392035608738949586348392204817193061370816141704816357959046197\ 731070843820783/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^21 - 3821192597414895288104001532978089425712467451709990092099842849544\ 9790039286259321002535054098552066285305804406175636836789022918515\ 8385177125147/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^20 - 4576569546891450972781441261644697111718914704822586362692846994721\ 2058360121549774279555564980181933296682024037606196392134694741923\ 403314730349595/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^19 - 3380099428772486038146547807602944056846418890059858731179814015795\ 1482262567464644475767093760492219100668545429507246010200757075153\ 295524573812668/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^18 + 1305142973680228446651953792120538059548979228873959936189463015090\ 1927068375099807349270196160582639035761765263640809214040756632431\ 9266223498514691/20226503790498959127337819590832359128288504322150\ 0431512005125119266828496478490181597039437300300274777248897298408\ 586518346974694629737937589*c_1001_7^17 - 5572019260193487708684139620324601506992048150806198353734843231302\ 5922228290114872475319677782673479462064277131663863013445096189501\ 608572663498374/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^16 - 4096494765685835523542370041387028416238861826069134308812263391175\ 4474635166498605197308945740113082330722235221421787561842470309779\ 852416341560981/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^15 - 2008758876610236874211534787245055674012396626838806051665487228218\ 8263271838648125333758557098163102691904276978152949707254355501491\ 38446211654004/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^14 + 1256471846083236067214048799373500358385813539392351490033111036790\ 3913179791890817360699794441832438851426988843395102715749784667092\ 8955534768103988/20226503790498959127337819590832359128288504322150\ 0431512005125119266828496478490181597039437300300274777248897298408\ 586518346974694629737937589*c_1001_7^13 - 3296384946019782805069568493887648304986005297008215770616115577828\ 1835941473056004610829908378324685724272757953723139060046634253741\ 50091076541377/6524678642096438428173490190591083589770485265209691\ 3390969395199763493063380158123095819173322677507992660934612389866\ 61882160474020314127019*c_1001_7^12 + 1447709001021173110725451306202545482589811002189882545281598797449\ 5126127783005417364194100081322499695090716741007585287819192580840\ 629935378224941/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^11 - 3658540785375667937100241045615207878683296314378012555842687745183\ 7018681482968575741557942014520100898284368609327284403778891031591\ 67544043131292/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^10 + 2695977770403852759772829305196627713209685222253459152072772658545\ 1008404666911777291147038115107025470934529727690112148175095165846\ 926741193847109/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^9 - 4605831952541756144288748934960771710317752419860523010687726305076\ 4463274023064750492434272565592345691238748555141263797794237126764\ 469138258979032/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^8 + 3194327362445679944867879752315527955252361820393100344126651008916\ 5901641508643382910589910842100202517535799907181927991753609793350\ 750736067881390/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^7 - 7100528986212712713544300500967696015787967564956577354050816988901\ 6182348970963552943080682474333066399245827733768530882318757298515\ 01662643262862/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^6 - 2524576337944230758632130601067580239617264024587944894942015749163\ 8517077606140942340409091462864595803653613212118706687497592110203\ 22149185842529/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^5 + 1697484546835092490903107039845718380701738425170402429214671134571\ 9734035120064455896602652950481241944389138709980013211317721053016\ 39680413056244/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^4 - 2211893539525902865814890537468773636811643418336012876435196229692\ 4284485387542495220781485893020759472550427312139216390763863219437\ 2847042425997/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^3 - 5175434087674435467257892185171981896038656650324110519069623234066\ 4342097068402416155930915299708591731074940768090777168226952527268\ 100288595994/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^2 + 1699284431632716154135694544110120904599005575569481471026033045391\ 1434249045267781040438228722824807798639469795802964222226125864874\ 528176644485/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7 - 1146017515434590357958826665651209813552641044075132937922614365366\ 3957189846285483995999755887609293293359049518906325072998886573428\ 71764669395/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589, c_0101_12 + 77363452419547996449985852169962986360068729865643508840771\ 8669643189834132737002888516146128187807335201992843310784604824833\ 241528001663506/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^38 - 6425587186929405715512737185374516459918092769620144271625438778031\ 0993004363052675874694579173179483924879207847857729613947121213151\ 24024527/2022650379049895912733781959083235912828850432215004315120\ 0512511926682849647849018159703943730030027477724889729840858651834\ 6974694629737937589*c_1001_7^37 + 174411440246086582472829133278882\ 7179990638721670984617899801916707861813277220498185544877147828432\ 5521245504555289306582321278342051194405371/20226503790498959127337\ 8195908323591282885043221500431512005125119266828496478490181597039\ 437300300274777248897298408586518346974694629737937589*c_1001_7^36 + 7017325588825019897654949903716098925430195731471710238187792883313\ 9522412241600181493961881940067842686880942757786953765809613909856\ 03613924/2022650379049895912733781959083235912828850432215004315120\ 0512511926682849647849018159703943730030027477724889729840858651834\ 6974694629737937589*c_1001_7^35 + 520599137517515805007513679169377\ 1324344753978721661869795324918355692846107092667947674175703349352\ 2235915661198071310869966354457845895057074/20226503790498959127337\ 8195908323591282885043221500431512005125119266828496478490181597039\ 437300300274777248897298408586518346974694629737937589*c_1001_7^34 - 1306189953051449343589848672175704272580166636658828389404112177334\ 8875339002198215241105842424559410551580419582121211655171696751525\ 54770515139/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7^33 + 5124995395218761333673470995802789542804832451891719738658309235346\ 8684554885538302766070241324557668269836130827980316909584278805498\ 87598816204/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7^32 - 6023251348962348815205578426575419899025624087748101714254379095372\ 4760627532404797716103609140045120284114436776900541996053569955814\ 07875696947/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7^31 - 3633554680027566913098109723672351192245069949877258865923762241330\ 4186114617675700242431302888468844305879931611256849381289898925482\ 03682778691/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7^30 - 6057089213855940259718647204025340522226481367037310626553477885332\ 3063812410317120312133944334958541329254855167618182816176552600445\ 2141133696/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^29 + 1793496888803755261777807614428887325116596372498662451557592391906\ 7365661742189252863532879632456714783778713123478346520955838444743\ 33599622518/6524678642096438428173490190591083589770485265209691339\ 0969395199763493063380158123095819173322677507992660934612389866618\ 82160474020314127019*c_1001_7^28 - 7055573630677433902000493477707353458161645902506059396044540441401\ 0174792159386907361614300326675524204002533509940293426629406330183\ 795677571943/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^27 - 8994286282631836819442066651257609186383557350802362347301361673742\ 2802352050745216150261730582592909481001057274860102729773317177152\ 670531154176/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^26 + 2042665569492826699044914656246959195770344200014700691224403474899\ 7634767304889617547084305993253024685896515143957316313777534828321\ 5044363707941/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^25 + 8989863797853957570249491895817421909413406285752223711658361832095\ 3720894446856583587653419341596589871888159287095277333740365387188\ 224429361631/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^24 - 3584040183335656264669171446925377133434832977473887150149933852714\ 1976331769732436014142289268044875310390751269631015255110644151635\ 2984967410848/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^23 - 3162470954794871741348555378653744400705339723000826596912109734768\ 4606414811240512636341558481340379915508069924325620242867788726642\ 0565656595958/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^22 + 1354851376148607292061273262280770597023612723667628618285198110332\ 9976552517972371436636803046446741083489563124450246229705844959401\ 36682630791435/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^21 - 8635525439600460543183001213366035819573706531549874429050547558296\ 6457497177746239400730111237441977249576102554221533754533667666872\ 7928494687309/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^20 - 6814092013072350716882854762089653410350044063172592082895898681096\ 4122733374859090327461884656751881355447361774419863575099380311307\ 0665223015050/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^19 - 1459914329067389530070471215454330619515351820229140161268476379582\ 3462835922622769888098063551830509915539335388709079617544622558664\ 0893265245332/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^18 + 3145466810522221652139380765387649088806642623282053991753351537328\ 6200744464810126084983698978691900628477006314848893637295120215961\ 92633875715366/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^17 - 3339053851589336383751789711118983071207611525647402476361894989897\ 8461235774922459239704887534771455196052838732466045568439561178545\ 91922144644621/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^16 + 7566447521075256493633749813387557154737912061630239362483373638603\ 0391132016840086812744819907287738171128458264810551966617282266215\ 6940456739502/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^15 + 1629950334631871740980558278096566824145558984962553563860600300145\ 1845162986723318634620678208980342354698900178067973161992252148209\ 535124919026/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^14 + 2715395853968781530739911232760799660458385047978434403077004004017\ 7023389197375229779265206482771019326071104375390589127385966410367\ 52515781078521/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^13 - 1336547470517469744301292534640996353737448792548123056078457717856\ 3782176304305631662368143409882285572762440340535437475560173339410\ 7337922787948/65246786420964384281734901905910835897704852652096913\ 3909693951997634930633801581230958191733226775079926609346123898666\ 1882160474020314127019*c_1001_7^12 + 2613911084554472226441196128869637433444004875275473930359593100215\ 4007718435356778132765705901466820915600077275824292130693335073443\ 06419310873156/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^11 - 1117875547124434050347452562449899542299584432604945089324576062306\ 6429818691117064038800421724458755437363520547888111618651709436449\ 14685834550413/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^10 + 9638021819785188911045302639615190447335963537058420510418515769488\ 3835043244283470495757787937477672107216422645858271176653125672091\ 9750101805653/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^9 - 1531822380870555363249833334416603604842770053885565704352835275701\ 8885436018593593930532585189669659766292061061808994954132791653913\ 54645752090248/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^8 + 1590811154630406015052801109717955039920959573508226579116779745364\ 4073430552602827553115629699703447478992918179165329110945855843156\ 21225130107221/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^7 - 9685526408615161771572491436178749822426391394170121641371425124123\ 2149223684726845509614842470206908905364566881768630446637584234372\ 4457266654502/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^6 + 3336835836207518968251928836751407576780710434196893077651178888388\ 7375132247395893761277746348180486273279348293231594281289174382914\ 8541234417629/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^5 - 4383163987559763362839431177734809577084930633044641032733340469503\ 1907760519974017599557818463472011507667719439205989340754848286988\ 786235834657/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^4 - 1354436551183249023982708170171517064527243416155557444303731338930\ 6293370668476446499816633169906262807900053762806782868163438892198\ 999760412529/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^3 + 8074773774803487822086181625640359232215656083517875425307610291645\ 0071112113317036291680375944193520681181062975689556589352016315110\ 63859735716/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7^2 - 1658316328941324956949178355696333879651678384437347248263580530300\ 8108920194522880821835059748382156586381129611147487368060053727965\ 68821694315/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7 + 257099598079284517743963969520315\ 9758999198823729848835060454116453370934311458838456604398615470249\ 91447377258294997009880299294492331880429279/2022650379049895912733\ 7819590832359128288504322150043151200512511926682849647849018159703\ 9437300300274777248897298408586518346974694629737937589, c_0101_2 - 175418288274566864914595349923949271086986581503647565909332\ 1544334374897521852932685511624237562327761560185852421965401425788\ 3820511687228590/20226503790498959127337819590832359128288504322150\ 0431512005125119266828496478490181597039437300300274777248897298408\ 586518346974694629737937589*c_1001_7^38 + 1559508069608458593466768705454446339785917523772009251048992995797\ 8981123992803462258686233109262216560977436258600095346733163282666\ 8821088256/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^37 - 4662726741180699764048056330368712969237145096206646320315638873220\ 1033487532239556622505624508173710298915265161066010916957983855055\ 7491150472/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^36 - 4070461980469876696059118187201061751359799913355366930486749194484\ 7134196504942479114981849194506963782401324436327192820287967489047\ 817772492/202265037904989591273378195908323591282885043221500431512\ 0051251192668284964784901815970394373003002747772488972984085865183\ 46974694629737937589*c_1001_7^35 - 8160163324679202977142521651003269851616077688125060514407495814171\ 5096957264639325406659453823684580522951221079611494195195476917878\ 9138889338/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^34 + 3056954236508787993671847452429126016928665082834658104447406315623\ 0643770017522171912146076181160967151086490811570219753211356423221\ 297713794179/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^33 - 1324543969602727122259161607004392959714385491288979020768572008370\ 5767433996836998250865405695017153219183868410859274628885524054488\ 1469882521691/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^32 + 1807169645768339665539226442038092506717855440317667326692760547081\ 9326151781825769023231360038657443419375447728873847374083677339604\ 3550289978666/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^31 + 8680418374963772710959246079288980168215150439683847038960219321321\ 9013606203516152797258099708976774348961495297918219239354790837931\ 119831868596/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^30 - 1061152977940828981387971877821860581731209285615916263440942580617\ 4940557915949102790860107383534750137039205564050702814132087100408\ 1694273167326/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^29 - 4436262463260955448350120063008504490012678801357998343075994337314\ 1805273388354604978308695767208817106585167673692361639469627085352\ 291733846662/652467864209643842817349019059108358977048526520969133\ 9096939519976349306338015812309581917332267750799266093461238986661\ 882160474020314127019*c_1001_7^28 + 2282576757726999989252402520090732641849822500274619979991074973005\ 6079675956908093539658360138193960742296663297027639574696548959257\ 03608371275508/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^27 + 2120054967328677441825939033334873779866174416616568259104991819531\ 0845027934746998874265550793107160545999640612516786939347778072946\ 21102471521732/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^26 - 6667685310537544668578553483333186957600656668052455667685249989868\ 6649643062397834933878304541420858824042463496051697358554254248094\ 54329245856082/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^25 - 1462917560651332799347902115129130371708676456237917555798845806751\ 9107714700370923230209760195293613984790903082331610477560466765015\ 64987865261744/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^24 + 1220611374303642989732438541668903321700798106833655852937897210285\ 5530442647603872269423809374354965847617682630056638976695756156159\ 269629339605098/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^23 + 5567126298628770487449474355376343243407051427573072955210321002773\ 1856402992834692263515538915341956755508469705917727264594951856939\ 13702988202758/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^22 - 4035766104301219500835683147669272138293881398983933992051242992101\ 5567995136911148304064878856517942417767612330540029800470763890359\ 461630742587776/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^21 + 2894803554586167378645751456575362889254065646791781786400532899120\ 8752198176974338706148580730585235406796354466878828627269001237590\ 591294531873130/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^20 + 2567151650191375158995417848458143897243784987442084554567361651616\ 6782018577872215769120255289813395615251413718165980634347839180414\ 839451815621422/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^19 - 1123956676936249968325008315306815266679135647336497666156138602382\ 3705374385446114888491726807048968348394363596433401875525327642940\ 755574834089912/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^18 - 9008458089736025096440169236627515289045194712263798921407723054991\ 4634826480423638639409960054075144989220861886382564111212027825125\ 443045167570218/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^17 + 1074648788401853339966909293259574085935764179121087579491494431267\ 1374873236968549326698612499985060992776648634411638345483041382277\ 8448246654220030/20226503790498959127337819590832359128288504322150\ 0431512005125119266828496478490181597039437300300274777248897298408\ 586518346974694629737937589*c_1001_7^16 - 6238915819231531330111349909170306992661671135218934357399659459123\ 9174245351670704438023697903479474066966744803362720700817404025438\ 68959777923047/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^15 - 2647809881936663599297421589925358070606831961972770214411024216320\ 8607596926484039671308589297298032117009748708090006337516582490738\ 826347653285218/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^14 - 6798111017640290618418396935954961690256361249694389247719109589216\ 7086526920091729658720432256690957778575091433829377206036380027972\ 268194145937326/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^13 + 4193582529037462725765520500130663227899859895835998280241046695121\ 5995271814448454354865738744490755813130018531336866393084945866278\ 10588005062435/6524678642096438428173490190591083589770485265209691\ 3390969395199763493063380158123095819173322677507992660934612389866\ 61882160474020314127019*c_1001_7^12 - 6326033585166080231662568541327421245415197447801988325863706412435\ 7369290014191404121922053477591790679732216708187618325793253007278\ 023074641601636/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^11 + 6207049761722804862529070805250631226795547454251915034414649425189\ 5998897477590277513551969781905674917054917718226111912232059936810\ 89885653346201/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^10 - 1649755494007020893893564667312670144184317270128278091653704026634\ 7539161238762085351340792772369337669245822684025300361153835757900\ 329664720628362/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^9 + 4005558664876283595315514648106918567452541112928333190441780226313\ 2978847786798731855712844177727462970414988163972517844867553396859\ 263598495972698/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^8 - 4345960583351782252057212977232476130188046669442791806661812911735\ 9831435819637235481174054609521986646699803381663591600396206016111\ 443509883591799/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^7 + 2106114685484156295412263999450554382129230089100130686992062625727\ 6433975924206289746170360120060497254782802468313662813992551283909\ 467661869345848/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^6 - 1812665604923003198125984293855112627819253199464976963107206031062\ 1041593014545710776293059098668980796294638930590757461339641425864\ 74800231898915/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^5 - 2424019052873242388257534159005970451327850859655838758026388326135\ 3896538832799650229356381306083953135231210991437674086261293400719\ 57146040372998/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^4 + 9078444549699331638854549109683466117892799859989941299089943115027\ 1598976733327314269487798745822711152937672338624447189428789300276\ 1324676874836/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^3 - 3103426692103885901691302283549781884181625597584338746274922619520\ 8351148993828270248415243609477170852408158144148612586827524590265\ 933702309163/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^2 - 3787966067603788118671014623755327534186270181439061309806890796252\ 1923778075180935506708092936254669022171409010895801970361314560327\ 415013863459/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7 + 6087879372076715574242064713413982138058521268617406350282158545517\ 6031657209710249201318630523178930398537005220463748629608214013030\ 69537754792/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589, c_0101_8 - 173366974615319840294099474785931879044935754554038306695758\ 2134597924998172989203310911322971507849010257213457885174856268095\ 770350185223829/202265037904989591273378195908323591282885043221500\ 4315120051251192668284964784901815970394373003002747772488972984085\ 86518346974694629737937589*c_1001_7^38 + 1439171313250368973377333110009587669034154368897797373227043720509\ 4140689555767361072810509963291534040469235574274650046709440193643\ 458958500/202265037904989591273378195908323591282885043221500431512\ 0051251192668284964784901815970394373003002747772488972984085865183\ 46974694629737937589*c_1001_7^37 - 3899952364912536178366479535947169224368055613924680783043281886634\ 5847174407492056383388016180615089883715660406166077915941301252978\ 601754087/202265037904989591273378195908323591282885043221500431512\ 0051251192668284964784901815970394373003002747772488972984085865183\ 46974694629737937589*c_1001_7^36 - 1607405082229815812674917264671305704598430141818640766228697252249\ 5482575127462463758218865984805591238358602175428097395988820444714\ 755700981/202265037904989591273378195908323591282885043221500431512\ 0051251192668284964784901815970394373003002747772488972984085865183\ 46974694629737937589*c_1001_7^35 - 1162707379705516372198016539115735488620813221355247099696255922595\ 6180258261212249046585278954083045901450288811597870493052483424888\ 0590786241/20226503790498959127337819590832359128288504322150043151\ 2005125119266828496478490181597039437300300274777248897298408586518\ 346974694629737937589*c_1001_7^34 + 2926850358602979012812505220917920937938930710322650687983540291202\ 0835082182076471191972640180234108341125410814206440607165120267908\ 77180360912/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7^33 - 1147047680325817604815710714328489335307454245317067529197377334113\ 7607810624587980270224358777552353376774016950972552265468913601857\ 744435179251/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^32 + 1341089763537142073736110423206543822242283816012130277128661715477\ 7889334863098085569298971783773613447752672861925583941943638691099\ 930593267735/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^31 + 8340285393956996489744717509924887310105312147033181590196086345397\ 0931920801427643862130717132608212052260394176733849706117372511470\ 41202522445/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7^30 + 1246174893739245548941222516360246354755862884011177405174490846877\ 7167325554054946094654449937697258139246680277817380555846333722505\ 22636484172/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7^29 - 4023297943873149517952071998776499006517193393690684731397977413316\ 2371006534423613175563543074235348945402896487384855577921053844952\ 63781110395/6524678642096438428173490190591083589770485265209691339\ 0969395199763493063380158123095819173322677507992660934612389866618\ 82160474020314127019*c_1001_7^28 + 1575497921829362748993410149438907939173811526956104521156974241375\ 0260280159091566973929059588834717055011847990477238368258870135983\ 6730955396941/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^27 + 2038129294567929653188566982412632031631043992323284926150602250324\ 3999178864792110649306275900046995424327016075639298912090090912487\ 7177759456760/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^26 - 4586458260093802601235565619126401118526178483367584511517043505766\ 4232487607719668682102088342575921929721239767893190803451298985535\ 7595415002177/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^25 - 2063743419756653482722808664033520572978067482105733653194179454905\ 7412464745049777377696922775122150590034562747044233036000628991237\ 1350006985087/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^24 + 8078758486386354799329191531286646912797031311026522728118289482003\ 2599097491702915270671032130419522969461972776216692125715417560262\ 9074929064942/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^23 + 7157067383414098970728605240777748311330889721319936127444421246759\ 9319829303186943219157120449827316384895151305328566695007096290750\ 7217036575916/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^22 - 3043358594013103023225938881510671306436736370706700928068785044403\ 2485513608860859868670291070292195675066711591915037709549104475383\ 02623776015650/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^21 + 1911456842791105984974772764375402325348904996581882060531890132537\ 0216671339941134755714265577285195885515761398010747698291412775941\ 99796808742634/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^20 + 1573452297089152481182033186801592842170288547432033477257142863246\ 3320207462179707649244783238612487686071866055656918359027739958707\ 01846235705118/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^19 + 3153277239632748478087623380446462205787595728324045923529693908570\ 1941744361993703585842470733319167575981416728304276894394320364137\ 8774694723771/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^18 - 7073492912208244844524229143044929305306284530483563754546436328001\ 0189581692034831847520283770141555210552416979427850085125318653002\ 22031106312540/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^17 + 7447445807438370831980275313546951584724607732970377323125936900495\ 8248684071903749834776869269146801293734277496642582158790026220876\ 69337907251028/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^16 - 1572262015592047579566337807309951324886362847028183127274266233797\ 6211907992902746159999987974346227870426144321303151749925124084748\ 91660299433265/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^15 - 1267213733739806657596590201805129293293288806765638278479159666591\ 3113881864372740497635121029764694336616962333801555394950226763779\ 6959990712736/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^14 - 6085484291639162696626764368695616194349610033629322478099501261069\ 7000857948246848103022769627098272530663308822385690321150812139286\ 21320978311883/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^13 + 2990550117542498151171295093356242770618925739933766352818924428550\ 4672104944653503563238867386161272674235749805701071811221290553535\ 8093876922237/65246786420964384281734901905910835897704852652096913\ 3909693951997634930633801581230958191733226775079926609346123898666\ 1882160474020314127019*c_1001_7^12 - 5740004092339212259715957874606573442182306834966115477423890034240\ 1128376163850323465703770172664726911907199678552061711936949022206\ 60302642324920/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^11 + 2370463256361540983399512240996796275826779731809262600053788826005\ 2653652483202500869624550469580210197970307486237179558407673307385\ 15753170543678/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^10 - 2098549958045505594788183140270559476329610456891562767549947524068\ 0363141773311372319239672203501976663850988313714511031256675535965\ 35069768741239/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^9 + 3413422212119560425416249803423536567338011264485815975933742558797\ 8432191277105395588579595491508583360755393583012629018049938886653\ 69630620681663/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^8 - 3531508648221330676643817885285628179520094043949228864259270026556\ 4943521370234820197115574433453411700381406134760790719600904941139\ 04475290283516/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^7 + 2115301731029488382305247123507410877099341430089054432898052128139\ 4919109433953897114430257520287093108961291068195231263379847029711\ 22756314180492/2022650379049895912733781959083235912828850432215004\ 3151200512511926682849647849018159703943730030027477724889729840858\ 6518346974694629737937589*c_1001_7^6 - 7010612783197189999767414941343516246990259124621871759514577788472\ 2926007453919986059378228375854436749476458144844970470456390217123\ 5786524298252/20226503790498959127337819590832359128288504322150043\ 1512005125119266828496478490181597039437300300274777248897298408586\ 518346974694629737937589*c_1001_7^5 + 7790854915226038460632789783507125470136231054726279188433008434214\ 1455132928923165333972690169001704074894399762120057960492737000966\ 847996607979/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^4 + 3287601248976496657043947778692488010225950196787106842898830862502\ 6959493578157644449596329331067498108794825859935889795118529854376\ 954782401894/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^3 - 1627197440666275767468559706267040826692786743203394418031807820743\ 9303540107508826515243312204661792250571595326865889427470148460730\ 285970931696/202265037904989591273378195908323591282885043221500431\ 5120051251192668284964784901815970394373003002747772488972984085865\ 18346974694629737937589*c_1001_7^2 + 3087451196302222440100819736079815121316791552597889845057091685875\ 9279873712884640641403047230262921043151451623005521558874869587050\ 98121097110/2022650379049895912733781959083235912828850432215004315\ 1200512511926682849647849018159703943730030027477724889729840858651\ 8346974694629737937589*c_1001_7 - 307173451191472679285851365571966\ 5776464728377003661056181271341775229801938474094471638824047644865\ 94995548783091159494684497659839638214195119/2022650379049895912733\ 7819590832359128288504322150043151200512511926682849647849018159703\ 9437300300274777248897298408586518346974694629737937589, c_1001_7^39 - 8*c_1001_7^38 + 20*c_1001_7^37 + 16*c_1001_7^36 + 70*c_1001_7^35 - 1668*c_1001_7^34 + 6108*c_1001_7^33 - 5752*c_1001_7^32 - 7101*c_1001_7^31 - 2220*c_1001_7^30 + 71702*c_1001_7^29 - 69198*c_1001_7^28 - 144514*c_1001_7^27 + 228522*c_1001_7^26 + 198116*c_1001_7^25 - 428432*c_1001_7^24 - 552697*c_1001_7^23 + 1628117*c_1001_7^22 - 575793*c_1001_7^21 - 1228869*c_1001_7^20 - 463106*c_1001_7^19 + 4020377*c_1001_7^18 - 3067069*c_1001_7^17 - 362207*c_1001_7^16 + 317949*c_1001_7^15 + 3539574*c_1001_7^14 - 4290960*c_1001_7^13 + 1722308*c_1001_7^12 - 404000*c_1001_7^11 + 820460*c_1001_7^10 - 1615478*c_1001_7^9 + 1454236*c_1001_7^8 - 618938*c_1001_7^7 + 49471*c_1001_7^6 + 67882*c_1001_7^5 - 28575*c_1001_7^4 + 2887*c_1001_7^3 + 897*c_1001_7^2 - 284*c_1001_7 + 25, c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.570 Total time: 1.780 seconds, Total memory usage: 32.09MB