On the coefficients of Psi(x,0) of the unique solution of the functional equ\ ation, 2 3 2 y Psi(x, y) + (x Psi(x, 0) y - y + x - y) Psi(x, y) + y - x Psi(x, 0) = 0 By Shalosh B. Ekhad Let's g(x)=Psi(x,0). The first, 140, (for the sake of the OEIS) are [1, 4, 26, 214, 2021, 20878, 229743, 2649460, 31680388, 389876402, 4911889298, 63099844956, 824033155693, 10913498699702, 146306026007354, 1982311193121982, 27110939848395455, 373873377118557786, 5194318331484800364, 72649308453872054598, 1022245062020390026696, 14463025357040500621616, 205653162100472581139631, 2937660018374321653322306, 42140275342082426216347520 , 606849929989359556875692546, 8770565197160137423669978902, 127181512816527474714205278636, 1849992587789907716867616614621, 26988277136304456081889746404558, 394782484827739584353105736078151, 5789541826567535352200850330248820, 85107324181609213420869240760975828, 1253905679065881534195057411104345522, 18513223253257443312008440176478316586, 273884320289753178627386378831437916300, 4059505787875040359639432959660289818551, 60277697957271419213645877202381303261290, 896556435336854944806503907576105903111364, 13356697287431179366504275915679719607641390, 199290558728648655503829447909770889981892344, 2977890521534347579124384009671221604857151840, 44559005630498365230832840389330865149114125028, 667635526917145489990687983861856381853704934248, 10016012096645008075835655974657367334435007644976, 150444961539406079326176267831744773650385932704600, 2262378955288877588291315239314103923473200730018466, 34059389350709127680284389049694542817098679335768940, 513301295886113930808910672069184261749656635377583235, 7743784389518934427382438948149835854161507768648809546, 116939711996029671163468340895824081182223761387611175052, 1767592555768172962038335732418584477465842323219304460494, 26742260887540999676277888499332567967921178966460913938148, 404944212302071636188262536263479355329077219117382411504360, 6137047659582232289485613667397267907408601407889223219228911, 93084608051867847159815700406613661927466006977889670541302106, 1412986064792457882791695938021248595700477537070045753265131556, 21464842288875342699178664490168098997383373637125638974673514378, 326314324268793550005386762555749529353818158390829078960599823190, 4964237430258325817725637714750289213034932674073656567263857904884, 75573024208124118707431508795079486591957631909594340474749545919485, 1151249039458168177399962032428211696161879641886990978327813736973550, 17548936934048993282174249717149127350917278895800849897711301734136826, 267671825451878367231020046587967456153947462176704422092307923914409566, 4085229780780846784529185557556966492458345850456070109879984940098078327, 62385598266333817830642321774772830139435880465800698064680859465158729194, 953232033143157436783553601543952234455160172242493886752670455090459410084, 14573104516016067576132112167648995920043656279315070586328324064821008832870, 222914209339798202146528086691848520561612275147415494183637094864850739040200, 3411528477022461984030715958899346995906708373632031546592017137031882234548928 , 52237148017496725329913590394111772331742851252518409227532520493633767275220\ 953, 80024510042124246392893387896500296477804783647471952852643152993020274360\ 5878510, 1226517784748286372196696197176936325026050958917839413598963502587752\ 7874763087308, 1880729448803995330886975249327041625486813602353667211157408070\ 47547027069413858630, 288519427744090369392668760661202104640366691107136924651\ 5623076631222184327169258690, 4428074185824671350628508767753450777872783550995\ 4483624112207785272621054240041019964, 6798934098280019423060166003022312542535\ 16203476112037381285664467140122712701278255335, 104435490834494480174126233243\ 36465693732999226406345858393457518767246383118279545328202, 160484144643746667\ 157465448243546036740310384479987163710454868560015530351382382641728540, 24671\ 0972398979726328162826635499325772671699124406581430549169836802342262224669431\ 1959470, 3794135619261865112276435302036041317916254661876729301160107967749788\ 6858531004307865716512, 5837154424308318098745392196482528898611003604116716370\ 97527651540541760495403211057844697984, 898358137034018018983214585211305107941\ 7370069980742890101999899544302484236658930992817100920, 1383101346994028121066\ 44745259048889854885749187855022676732104465182540396755069177145598921264, 213\ 0153980391605538824059543334923111611473692222692548556517748229073422161231707\ 097640977291144, 32818364589520053086821306824833284713532231043691025945689591\ 278318017111863465255041029421868416, 50578784422289690577301595575603032260808\ 5591059839991113636653817050038338433066775069683404655176, 7797619562617596194\ 3211862486860779309215179250726771699213505499478499423408607465958725999451167\ 36, 120252662393640027572348596643383459170416390488058651330339364273404941024\ 408447460623438531742535140, 18550826677518844627900879727710901398556162749638\ 63499041530104465517935150296961361936198861888100760, 286262693628623241473239\ 9367505779547160809473270111335496681877860651650069514077504780332538149339233\ 6, 4418717777752342131355363718205366303044788001610775580839498663323684166725\ 63949619419328619380021930216, 682267996032011721189067840892445423995454890275\ 5573813007877772639560186829786837599886860245598409140768, 1053751606656202588\ 0547807852315841781411506238856185037034895614024935507441595004092837223652517\ 6805496640, 1627958724179526705463950514569921114626245027378771942431073830324\ 512767456558150243931331354967579280378327, 25157522862418208561069190474870170\ 180508423320935679446873892139086201878588669651394838273445455839251278386, 38\ 8874302957461411406711434132751177853070748153235294646367354234077522646835068\ 011871623875501127120137436592, 60126387288529652076240864321939117268281826688\ 33504084397163797990931903532664563973811225290505483833397310466, 929893373455\ 5685037199517239841546812688615246067774299314961677615862840833960522083731157\ 6253994449584107955058, 1438504179963702964306682721852658250610400378937444673\ 569861263512015883019127939828668279380185178178527618899636, 22258549324986123\ 6210458009705894550362801278132537785869843118223537858779822010477968927648913\ 31610934705347169835, 344499203235941497634943593263596375726016067499289928692\ 957909535416937772482157665662685333185504542402269415456642, 53331422912239950\ 5583261051338380187949173583164341430490080405237910669829994897886897998625017\ 0449126970932506583208, 8258091863604353469231505533125371332742990013152148175\ 3169919647639255585426141271577364817081546251740464606232568302, 1279015773253\ 4890860212273937494028796487874224944677087372881676629575009886803457592069441\ 50330783672407540703676662464, 198138951598531190203788534840316544865016908717\ 90833651525265610402032273735902584371738536979945346049475466832577541640, 307\ 0151177257509205166327768926155744138162352120902001788534341874959054257482254\ 40342416048021751191463946903058375863964, 475821238246035945266487645458019803\ 9119065774408558288926265713270134064991066157113130349863864312214715470427250\ 058932904, 73759899491333880655715536888778203572650642559488670876690642573910\ 543913208581241353306995734769447255481515110251896890252, 11436353180517863882\ 5733414124382913414871038615614087174221447505052592193649905061747786316800584\ 5633804315160035110585723488, 1773551948673208857156377190506180797974234847572\ 2283010837112142934251914176834689171124520737930851942405253708035814159187686 , 27509822483372799112525821881200988053452002308114011680440991403734992760546\ 2570064710640084790817985484936925653149671010928892, 4267933369641299672891687\ 1648697043136396301402365489568615865064973235017150943624810431930654716087947\ 15468720659764927767703899, 662265195808856008766903578140393943740465969759697\ 7451149791147108010101775414660518425504936995306309103474212423571211308444347\ 4, 1027848772900783280832307650820587675317774496478529790612076996711672011904\ 843374580246479313310642201304510870364226945425053615460, 15955413628930901143\ 7890983030001896576963888670912097560319747668819372111904604247693531176649561\ 18270693520442211860896209222255342, 247723423529466577357902596834948732250120\ 4591327242410599193414469355424687551342743469951112451178062539652032213457067\ 08614770303752, 384684669925358500628530713774275049972263729551993962211475741\ 4827053943545177028597745617580905809126610549329642635312351204097656064, 5974\ 7558120874902516375497901615290605755699343038754190597366648025056012680834487\ 050986282177486512360340903758975820184905183369890575, 92813601078647975374803\ 6623995370101193322715638181925794136080679850750243970888952233796162463211810\ 708397944223706892620012879957146434, 14420423253570749395380038392959943468099\ 1543101136442930017993756428730679626982850316099454761485134712614704760612280\ 47228206074886848916, 224087733453230133629882049087924050516053698073947034838\ 9722891600651708503372403847834427856261355311746753872538753070808258899954821\ 68906, 348281697860919327378593100847443950074671543999446173116657949713707612\ 8196713098932076241863877360361610213071811988150960201362071688188006, 5413953\ 7854839874916939027957189991151538732679991797863576376306457198689795403162713\ 164359604529637913663741307093302449111532570846238245940, 84172187797456830391\ 6722608285622127579160018336247271694986938634901411087694007304296139618486729\ 436901780849467010698712912131741457891299773, 13088556486866692626084483768030\ 4827861820471088093715976847253488106415504702980489659973908935109900314095534\ 21940953533892038190911867049902670, 203555510636726440992223300671174165793348\ 6447543871594302196148008187792352595276551135512648408419526654079242700711897\ 15576153418476282698484775, 316621855435545511345954840765553298638282386739897\ 5066504889725128542226366212862604909887083370477247362064523656695407321207634\ 358088085939834484, 49256640717889770049916176638497717760226670628149214050564\ 0489270943104188380710966808930811729081316866973298259630733844818100366914644\ 65016773140, 766396566405091788145995580353021850185026871438669574094210333827\ 8006749045059825955916745362213658105631623642332062990662447880418068980818512\ 50098, 119263123700718980270411570053884496684295153592804432900716382085303363\ 9384585282223832377309377151483491763307282555271156823795544516116997515016845\ 8, 1856186929857957347476683063215194590803246466395637794249481853152470097791\ 74857385182112689836561284021269473113115471662999601762692719938986643224652, 2889343621746616073037166186894877099882164275673429454039709628707718166641782\ 480302705109494600161083622016025952777864372749781704593573407479920535215, 44\ 9818907802396828293340451128998402074284222488319252401750867133560085498143665\ 12800095163489173320806347521732855750204752618670104174985169312678115930, 700\ 3842035271573771742262048073874624168422650863213631141010654156516367767487370\ 32090267535825728691494326739054406798560182639210076919376469751565169684, 109\ 0672132065809638398464815109683414321619582267039148668948031617687803651026036\ 1727605267137306013388373769500138857556779552007298588910310153795942335358, 1698675658417731193427903073974956272484819555693188457130688198068370428638192\ 7760815201182129718850129428556000062163240107140430552197645328789299614263268\ 8, 2645965861443179223965851603420680337538747840730758145683285686905751744446\ 9598367063458394429201014399216352871756784207415542717093065001435856146858769\ 79760, 412206378052641483698762706545549893165006743638896666030940970392702267\ 4007191033534552007363734308967411461399021270154973411615443898810657057542659\ 5213802868, 6422454927266659256712003123538787295576877878637460762845418536438\ 9518579724440636709982536554003398845048146287052508829298721943702150794372654\ 3944160919470648] g=g(x) satisfies the following algebraic equation 7 5 7 4 6 5 6 4 6 3 5 4 5 3 4 4 g x + g x - g x - 8 g x - 5 g x + 18 g x + 66 g x - 12 g x 5 2 4 3 4 2 3 3 4 3 2 + 39 g x - 114 g x - 146 g x + 96 g x + 2 g x + 236 g x 2 3 3 2 2 2 2 2 - 48 g x + 37 g x - 264 g x - 213 g x + 160 g x + 2 g + 352 g x 2 - 64 x - 6 g - 176 x + 4 = 0 and in Maple notation g^7*x^5+g^7*x^4-g^6*x^5-8*g^6*x^4-5*g^6*x^3+18*g^5*x^4+66*g^5*x^3-12*g^4*x^4+39 *g^5*x^2-114*g^4*x^3-146*g^4*x^2+96*g^3*x^3+2*g^4*x+236*g^3*x^2-48*g^2*x^3+37*g ^3*x-264*g^2*x^2-213*g^2*x+160*g*x^2+2*g^2+352*g*x-64*x^2-6*g-176*x+4 = 0 More generally, psi=Psi(x,y) satisisfies the algebraic equation 21 14 21 14 19 2 13 19 14 19 2 12 -psi x y - psi y - psi x y + 7 psi x y - 7 psi x y 19 13 19 14 19 12 19 13 18 2 12 - psi x y + 7 psi y - 7 psi x y + 2 psi y + psi x y 18 13 17 2 13 17 14 18 12 - 7 psi x y + 6 psi x y - 21 psi x y + 8 psi x y 18 13 17 3 11 17 2 12 17 13 - 7 psi y - 6 psi x y + 30 psi x y + 6 psi x y 17 14 18 12 17 3 10 17 2 11 - 21 psi y + 5 psi y - 21 psi x y - 6 psi x y 17 12 17 13 16 2 12 16 13 + 3 psi x y - 12 psi y - 12 psi x y + 42 psi x y 15 2 13 15 14 17 2 10 17 11 - 15 psi x y + 35 psi x y - 21 psi x y + 12 psi x y 17 12 16 3 10 16 2 11 16 12 - 30 psi y + 6 psi x y - 12 psi x y - 54 psi x y 16 13 15 3 11 15 2 12 15 13 + 42 psi y + 18 psi x y - 45 psi x y - 15 psi x y 15 14 16 2 10 16 11 16 12 + 35 psi y + 48 psi x y + 42 psi x y - 18 psi y 15 4 9 15 3 10 15 2 11 15 12 - 15 psi x y + 45 psi x y - 3 psi x y + 69 psi x y 15 13 14 2 12 14 13 13 2 13 + 30 psi y + 45 psi x y - 105 psi x y + 20 psi x y 13 14 16 10 16 11 15 4 8 - 35 psi x y + 30 psi x y + 48 psi y - 35 psi x y 15 3 9 15 2 10 15 11 15 12 - 15 psi x y - 108 psi x y + 87 psi x y + 129 psi y 14 3 10 14 12 14 13 13 3 11 - 24 psi x y + 150 psi x y - 105 psi y - 12 psi x y 13 2 12 13 13 13 14 15 3 8 + 20 psi x y + 20 psi x y - 35 psi y - 35 psi x y 15 2 9 15 10 15 11 14 4 8 + 30 psi x y - 216 psi x y + 187 psi y + 15 psi x y 14 3 9 14 2 10 14 11 14 12 + 45 psi x y - 93 psi x y - 405 psi x y + 15 psi y 13 4 9 13 3 10 13 2 11 13 12 + 12 psi x y - 18 psi x y + 51 psi x y - 145 psi x y 13 13 12 2 12 12 13 11 2 13 - 40 psi y - 80 psi x y + 140 psi x y - 15 psi x y 11 14 15 10 14 3 8 14 2 9 + 21 psi x y - 39 psi y + 120 psi x y + 315 psi x y 14 10 14 11 13 5 7 13 4 8 - 192 psi x y - 390 psi y - 20 psi x y + 20 psi x y 13 3 9 13 2 10 13 11 13 12 - 102 psi x y + 765 psi x y - 531 psi x y - 195 psi y 12 3 10 12 2 11 12 12 12 13 - 12 psi x y + 120 psi x y - 220 psi x y + 140 psi y 11 3 11 11 2 12 11 13 11 14 - 12 psi x y + 15 psi x y - 15 psi x y + 21 psi y 14 2 8 14 9 14 10 13 5 6 + 75 psi x y + 240 psi x y - 321 psi y - 35 psi x y 13 4 7 13 3 8 13 2 9 13 10 - 20 psi x y - 340 psi x y + 264 psi x y + 1257 psi x y 13 11 12 4 8 12 3 9 12 2 10 - 748 psi y + 24 psi x y - 180 psi x y - 249 psi x y 12 11 12 12 11 4 9 11 3 10 + 1165 psi x y + 20 psi y + 6 psi x y - 6 psi x y 11 2 11 11 12 11 13 10 2 12 - 54 psi x y + 75 psi x y + 30 psi y + 75 psi x y 10 13 9 2 13 9 14 13 4 6 - 105 psi x y + 6 psi x y - 7 psi x y - 35 psi x y 13 3 7 13 2 8 13 9 13 10 + 40 psi x y - 630 psi x y + 670 psi x y + 102 psi y 12 5 6 12 4 7 12 3 8 12 2 9 + 20 psi x y + 160 psi x y + 180 psi x y - 2214 psi x y 12 10 12 11 11 5 7 11 4 8 + 984 psi x y + 1045 psi y - 12 psi x y + 6 psi x y 11 3 9 11 2 10 11 11 11 12 + 438 psi x y - 1620 psi x y + 1014 psi x y + 90 psi y 10 3 10 10 2 11 10 12 10 13 + 120 psi x y - 240 psi x y + 180 psi x y - 105 psi y 9 3 11 9 2 12 9 13 9 14 + 18 psi x y - 18 psi x y + 6 psi x y - 7 psi y 13 8 13 9 12 4 6 12 3 7 - 195 psi x y + 201 psi y + 160 psi x y + 700 psi x y 12 2 8 12 9 12 10 11 6 5 - 474 psi x y - 2334 psi x y + 1987 psi y - 15 psi x y 11 5 6 11 4 7 11 3 8 11 2 9 - 15 psi x y - 258 psi x y + 1458 psi x y - 336 psi x y 11 10 11 11 10 4 8 10 3 9 - 3246 psi x y + 1122 psi y - 66 psi x y + 126 psi x y 10 2 10 10 11 10 12 9 4 9 + 790 psi x y - 1450 psi x y - 45 psi y + 12 psi x y 9 3 10 9 2 11 9 12 9 13 - 9 psi x y - 24 psi x y + 57 psi x y - 12 psi y 8 2 12 8 13 7 2 13 7 14 - 36 psi x y + 42 psi x y - psi x y + psi x y 12 3 6 12 2 7 12 8 12 9 + 100 psi x y + 480 psi x y - 1138 psi x y + 509 psi y 11 6 4 11 5 5 11 4 6 11 3 7 - 21 psi x y - 15 psi x y - 465 psi x y - 54 psi x y 11 2 8 11 9 11 10 10 5 6 + 3498 psi x y - 2542 psi x y - 651 psi y + 96 psi x y 10 4 7 10 3 8 10 2 9 10 10 - 120 psi x y - 1440 psi x y + 5182 psi x y - 2240 psi x y 10 11 9 5 7 9 4 8 9 3 9 - 1240 psi y - 12 psi x y + 4 psi x y - 672 psi x y 9 2 10 9 11 9 12 8 3 10 + 1665 psi x y - 906 psi x y + 60 psi y - 138 psi x y 8 2 11 8 12 8 13 7 3 11 + 180 psi x y - 78 psi x y + 42 psi y - 6 psi x y 7 2 12 7 13 7 14 12 8 11 5 4 + 5 psi x y - psi x y + psi y - 2 psi y - 21 psi x y 11 4 5 11 3 6 11 2 7 11 8 + 30 psi x y - 960 psi x y + 810 psi x y + 1611 psi x y 11 9 10 6 4 10 5 5 10 4 6 - 1740 psi y + 15 psi x y + 195 psi x y + 570 psi x y 10 3 7 10 2 8 10 9 10 10 - 3546 psi x y + 1458 psi x y + 6628 psi x y - 4070 psi y 9 6 5 9 5 6 9 4 7 9 3 8 - 18 psi x y - 9 psi x y + 426 psi x y - 1508 psi x y 9 2 9 9 10 9 11 8 4 8 - 1114 psi x y + 4321 psi x y - 748 psi y - 96 psi x y 8 3 9 8 2 10 8 11 8 12 + 108 psi x y - 666 psi x y + 780 psi x y + 30 psi y 7 4 9 7 3 10 7 2 11 7 12 - 15 psi x y + 9 psi x y + 57 psi x y - 73 psi x y 7 13 6 2 12 6 13 11 2 6 + 2 psi y + 7 psi x y - 7 psi x y - 390 psi x y 11 7 11 8 10 5 4 10 4 5 + 804 psi x y - 414 psi y + 120 psi x y + 735 psi x y 10 3 6 10 2 7 10 8 10 9 - 336 psi x y - 4504 psi x y + 5994 psi x y - 1851 psi y 9 7 3 9 6 4 9 5 5 9 4 6 - 6 psi x y - 18 psi x y - 282 psi x y + 789 psi x y 9 3 7 9 2 8 9 9 9 10 + 1422 psi x y - 8184 psi x y + 4158 psi x y + 1696 psi y 8 5 6 8 4 7 8 3 8 8 2 9 + 84 psi x y - 48 psi x y + 2016 psi x y - 5352 psi x y 8 10 8 11 7 5 7 7 4 8 + 2286 psi x y + 630 psi y - 20 psi x y + 5 psi x y 7 3 9 7 2 10 7 11 7 12 + 513 psi x y - 864 psi x y + 387 psi x y - 75 psi y 6 3 10 6 2 11 6 12 6 13 + 48 psi x y - 48 psi x y + 14 psi x y - 7 psi y 10 4 4 10 3 5 10 2 6 10 7 + 75 psi x y + 480 psi x y - 1342 psi x y + 896 psi x y 10 8 9 7 2 9 6 3 9 5 4 + 71 psi y - 7 psi x y - 6 psi x y - 333 psi x y 9 4 5 9 3 6 9 2 7 9 8 - 696 psi x y + 4146 psi x y - 2234 psi x y - 7374 psi x y 9 9 8 6 4 8 5 5 8 4 6 + 5404 psi y + 84 psi x y + 90 psi x y - 1230 psi x y 8 3 7 8 2 8 8 9 8 10 + 5250 psi x y - 198 psi x y - 8634 psi x y + 3498 psi y 7 6 5 7 5 6 7 4 7 7 3 8 - 15 psi x y - 5 psi x y + 178 psi x y - 31 psi x y 7 2 9 7 10 7 11 6 4 8 + 1995 psi x y - 2817 psi x y + 187 psi y + 123 psi x y 6 3 9 6 2 10 6 11 6 12 - 99 psi x y + 135 psi x y - 97 psi x y - 7 psi y 5 2 11 5 12 10 6 10 7 - 21 psi x y + 21 psi x y - 8 psi x y + 8 psi y 9 6 2 9 5 3 9 4 4 9 3 5 - 7 psi x y + 12 psi x y - 810 psi x y + 280 psi x y 9 2 6 9 7 9 8 8 7 2 + 3985 psi x y - 6266 psi x y + 2784 psi y + 6 psi x y 8 6 3 8 5 4 8 4 5 8 3 6 + 108 psi x y + 510 psi x y - 2034 psi x y + 240 psi x y 8 2 7 8 8 8 9 7 7 3 + 9570 psi x y - 9192 psi x y + 1200 psi y - 6 psi x y 7 6 4 7 5 5 7 4 6 7 3 7 - 9 psi x y - 183 psi x y - 287 psi x y - 2618 psi x y 7 2 8 7 9 7 10 6 5 6 + 9045 psi x y - 3545 psi x y - 1617 psi y + 152 psi x y 6 4 7 6 3 8 6 2 9 6 10 - 56 psi x y - 1176 psi x y + 2439 psi x y - 1008 psi x y 6 11 5 3 9 5 2 10 5 11 - 58 psi y - 162 psi x y + 183 psi x y - 63 psi x y 5 12 9 3 4 9 2 5 9 6 + 21 psi y - 390 psi x y + 1206 psi x y - 1279 psi x y 9 7 8 6 2 8 5 3 8 4 4 + 418 psi y + 48 psi x y + 378 psi x y + 186 psi x y 8 3 5 8 2 6 8 7 8 8 - 3408 psi x y + 5068 psi x y + 800 psi x y - 2172 psi y 7 8 7 7 2 7 6 3 7 5 4 - psi x y - 5 psi x y - 147 psi x y - 207 psi x y 7 4 5 7 3 6 7 2 7 7 8 + 1386 psi x y - 7974 psi x y + 1134 psi x y + 12306 psi x y 7 9 6 6 4 6 5 5 6 4 6 - 6462 psi y + 93 psi x y + 51 psi x y + 238 psi x y 6 3 7 6 2 8 6 9 6 10 - 1406 psi x y - 2646 psi x y + 5499 psi x y - 1129 psi y 5 4 7 5 3 8 5 2 9 5 10 - 438 psi x y + 456 psi x y - 804 psi x y + 666 psi x y 4 2 10 4 11 8 5 2 8 4 3 + 35 psi x y - 35 psi x y + 30 psi x y + 240 psi x y 8 3 4 8 2 5 8 6 8 7 7 8 - 408 psi x y - 366 psi x y + 1366 psi x y - 882 psi y - psi x 7 7 7 6 2 7 5 3 7 4 4 - psi x y - 122 psi x y - 681 psi x y + 2085 psi x y 7 3 5 7 2 6 7 7 7 8 - 410 psi x y - 10083 psi x y + 13668 psi x y - 4635 psi y 6 7 2 6 6 3 6 5 4 6 4 5 + 24 psi x y + 72 psi x y + 114 psi x y + 1899 psi x y 6 3 6 6 2 7 6 8 6 9 - 140 psi x y - 9120 psi x y + 5066 psi x y + 1096 psi y 5 5 5 5 4 6 5 3 7 5 2 8 - 504 psi x y + 270 psi x y + 1656 psi x y - 4164 psi x y 5 9 5 10 4 3 8 4 2 9 + 1434 psi x y + 474 psi y + 300 psi x y - 370 psi x y 4 10 4 11 8 2 4 8 5 8 6 + 140 psi x y - 35 psi y - 12 psi x y + 24 psi x y - 12 psi y 7 7 7 6 7 5 2 7 4 3 - psi x + 2 psi x y - 360 psi x y - 125 psi x y 7 3 4 7 2 5 7 6 7 7 + 3309 psi x y - 7085 psi x y + 4877 psi x y - 1067 psi y 6 8 6 7 6 6 2 6 5 3 6 4 4 + psi x + 23 psi x y + 171 psi x y - 9 psi x y + 15 psi x y 6 3 5 6 2 6 6 7 6 8 + 6540 psi x y - 2146 psi x y - 9374 psi x y + 5538 psi y 5 6 3 5 5 4 5 4 5 5 3 6 - 237 psi x y - 219 psi x y - 1302 psi x y + 4179 psi x y 5 2 7 5 8 5 9 4 4 6 + 2352 psi x y - 7938 psi x y + 2667 psi y + 870 psi x y 4 3 7 4 2 8 4 9 4 10 - 1110 psi x y + 1764 psi x y - 1378 psi x y + 35 psi y 3 2 9 3 10 7 4 2 7 3 3 - 35 psi x y + 35 psi x y - 195 psi x y + 804 psi x y 7 2 4 7 5 7 6 6 7 6 6 - 1353 psi x y + 949 psi x y - 195 psi y + 8 psi x + 77 psi x y 6 5 2 6 4 3 6 3 4 6 2 5 + 336 psi x y - 690 psi x y + 366 psi x y + 5117 psi x y 6 6 6 7 5 7 5 6 2 - 8878 psi x y + 3666 psi y - 30 psi x y - 213 psi x y 5 5 3 5 4 4 5 3 5 5 2 6 - 3 psi x y - 3645 psi x y + 3906 psi x y + 7347 psi x y 5 7 5 8 4 5 4 4 4 5 - 7872 psi x y + 1245 psi y + 960 psi x y - 780 psi x y 4 3 6 4 2 7 4 8 4 9 - 1038 psi x y + 4018 psi x y - 856 psi x y - 933 psi y 3 3 7 3 2 8 3 9 3 10 - 330 psi x y + 435 psi x y - 175 psi x y + 35 psi y 6 6 6 5 6 4 2 6 3 3 + 5 psi x + 48 psi x y + 263 psi x y - 1384 psi x y 6 2 4 6 5 6 6 5 7 + 2732 psi x y - 2359 psi x y + 785 psi y - 18 psi x 5 6 5 5 2 5 4 3 5 3 4 - 204 psi x y + 213 psi x y - 546 psi x y - 4776 psi x y 5 2 5 5 6 5 7 4 6 2 + 5562 psi x y + 558 psi x y - 1464 psi y + 303 psi x y 4 5 3 4 4 4 4 3 5 4 2 6 + 561 psi x y + 1902 psi x y - 5394 psi x y - 2636 psi x y 4 7 4 8 3 4 5 3 3 6 + 8908 psi x y - 3498 psi y - 1035 psi x y + 1545 psi x y 3 2 7 3 8 3 9 2 2 8 - 2199 psi x y + 1583 psi x y - 70 psi y + 21 psi x y 2 9 6 3 2 6 2 3 6 4 6 5 - 21 psi x y - 8 psi x y + 24 psi x y - 26 psi x y + 8 psi y 5 6 5 5 5 4 2 5 3 3 - 66 psi x - 78 psi x y + 597 psi x y - 2332 psi x y 5 2 4 5 5 5 6 4 7 + 2018 psi x y + 578 psi x y - 687 psi y + 12 psi x 4 6 4 5 2 4 4 3 4 3 4 + 246 psi x y + 312 psi x y + 3129 psi x y - 4308 psi x y 4 2 5 4 6 4 7 3 5 3 - 5826 psi x y + 8816 psi x y - 2675 psi y - 1140 psi x y 3 4 4 3 3 5 3 2 6 3 7 + 1365 psi x y - 627 psi x y - 1540 psi x y - 437 psi x y 3 8 2 3 6 2 2 7 2 8 + 1013 psi y + 216 psi x y - 300 psi x y + 126 psi x y 2 9 5 5 5 4 5 3 2 - 21 psi y - 39 psi x + 201 psi x y - 525 psi x y 5 2 3 5 4 5 5 4 6 + 644 psi x y - 302 psi x y + 21 psi y + 114 psi x 4 5 4 4 2 4 3 3 4 2 4 + 158 psi x y - 431 psi x y + 3342 psi x y - 5706 psi x y 4 5 4 6 3 6 3 5 2 + 3570 psi x y - 777 psi y - 192 psi x y - 804 psi x y 3 4 3 3 3 4 3 2 5 3 6 - 1440 psi x y + 3969 psi x y + 2751 psi x y - 6935 psi x y 3 7 2 4 4 2 3 5 2 2 6 + 2685 psi y + 735 psi x y - 1239 psi x y + 1623 psi x y 2 7 2 8 2 7 8 4 5 - 1077 psi x y + 63 psi y - 7 psi x y + 7 psi x y + 146 psi x 4 4 4 3 2 4 2 3 4 4 - 631 psi x y + 1650 psi x y - 2050 psi x y + 1076 psi x y 4 5 3 6 3 5 3 4 2 - 203 psi y - 96 psi x - 576 psi x y - 1576 psi x y 3 3 3 3 2 4 3 5 3 6 + 3102 psi x y + 2541 psi x y - 5121 psi x y + 1775 psi y 2 5 2 2 4 3 2 3 4 2 2 5 + 840 psi x y - 1380 psi x y + 1632 psi x y - 681 psi x y 2 6 2 7 3 5 2 6 + 1068 psi x y - 660 psi y - 78 psi x y + 113 psi x y 7 8 4 4 4 3 4 2 2 - 49 psi x y + 7 psi y - 2 psi x + 8 psi x y - 16 psi x y 4 3 4 4 3 5 3 4 3 3 2 + 12 psi x y - 2 psi y - 236 psi x + 227 psi x y - 427 psi x y 3 2 3 3 4 3 5 2 6 + 1319 psi x y - 1370 psi x y + 442 psi y + 48 psi x 2 5 2 4 2 2 3 3 2 2 4 + 576 psi x y + 876 psi x y - 2292 psi x y - 1200 psi x y 2 5 2 6 4 3 3 4 + 3087 psi x y - 1137 psi y - 288 psi x y + 534 psi x y 2 5 6 7 2 6 7 3 4 - 660 psi x y + 407 psi x y - 28 psi y + x y - x y - 37 psi x 3 3 3 2 2 3 3 3 4 2 5 + 113 psi x y - 101 psi x y + 19 psi x y + 8 psi y + 264 psi x 2 4 2 3 2 2 2 3 2 4 + 876 psi x y - 2196 psi x y + 498 psi x y + 996 psi x y 2 5 5 4 2 3 3 - 438 psi y - 352 psi x y + 736 psi x y - 1104 psi x y 2 4 5 6 3 4 2 5 6 + 866 psi x y - 662 psi x y + 243 psi y + 12 x y - 18 x y + 8 x y 7 2 4 2 3 2 2 2 2 3 - y + 213 psi x - 573 psi x y + 483 psi x y - 111 psi x y 2 4 5 4 3 2 2 3 - 12 psi y - 160 psi x - 544 psi x y + 1228 psi x y - 199 psi x y 4 5 4 2 3 3 2 4 5 - 520 psi x y + 209 psi y + 48 x y - 96 x y + 114 x y - 66 x y 6 2 3 2 2 2 2 4 3 + 5 y - 2 psi x + 4 psi x y - 2 psi x y - 352 psi x + 806 psi x y 2 2 3 4 5 4 3 2 - 579 psi x y + 117 psi x y + 8 psi y + 64 x - 160 x y + 264 x y 2 3 4 5 3 2 2 - 236 x y + 146 x y - 39 y + 6 psi x - 10 psi x y + 4 psi x y 4 3 2 2 3 4 3 2 2 + 176 x - 352 x y + 213 x y - 37 x y - 2 y - 4 x + 6 x y - 2 x y = 0 and in Maple notation -psi^21*x*y^14-psi^21*y^14-psi^19*x^2*y^13+7*psi^19*x*y^14-7*psi^19*x^2*y^12- psi^19*x*y^13+7*psi^19*y^14-7*psi^19*x*y^12+2*psi^19*y^13+psi^18*x^2*y^12-7*psi ^18*x*y^13+6*psi^17*x^2*y^13-21*psi^17*x*y^14+8*psi^18*x*y^12-7*psi^18*y^13-6* psi^17*x^3*y^11+30*psi^17*x^2*y^12+6*psi^17*x*y^13-21*psi^17*y^14+5*psi^18*y^12 -21*psi^17*x^3*y^10-6*psi^17*x^2*y^11+3*psi^17*x*y^12-12*psi^17*y^13-12*psi^16* x^2*y^12+42*psi^16*x*y^13-15*psi^15*x^2*y^13+35*psi^15*x*y^14-21*psi^17*x^2*y^ 10+12*psi^17*x*y^11-30*psi^17*y^12+6*psi^16*x^3*y^10-12*psi^16*x^2*y^11-54*psi^ 16*x*y^12+42*psi^16*y^13+18*psi^15*x^3*y^11-45*psi^15*x^2*y^12-15*psi^15*x*y^13 +35*psi^15*y^14+48*psi^16*x^2*y^10+42*psi^16*x*y^11-18*psi^16*y^12-15*psi^15*x^ 4*y^9+45*psi^15*x^3*y^10-3*psi^15*x^2*y^11+69*psi^15*x*y^12+30*psi^15*y^13+45* psi^14*x^2*y^12-105*psi^14*x*y^13+20*psi^13*x^2*y^13-35*psi^13*x*y^14+30*psi^16 *x*y^10+48*psi^16*y^11-35*psi^15*x^4*y^8-15*psi^15*x^3*y^9-108*psi^15*x^2*y^10+ 87*psi^15*x*y^11+129*psi^15*y^12-24*psi^14*x^3*y^10+150*psi^14*x*y^12-105*psi^ 14*y^13-12*psi^13*x^3*y^11+20*psi^13*x^2*y^12+20*psi^13*x*y^13-35*psi^13*y^14-\ 35*psi^15*x^3*y^8+30*psi^15*x^2*y^9-216*psi^15*x*y^10+187*psi^15*y^11+15*psi^14 *x^4*y^8+45*psi^14*x^3*y^9-93*psi^14*x^2*y^10-405*psi^14*x*y^11+15*psi^14*y^12+ 12*psi^13*x^4*y^9-18*psi^13*x^3*y^10+51*psi^13*x^2*y^11-145*psi^13*x*y^12-40* psi^13*y^13-80*psi^12*x^2*y^12+140*psi^12*x*y^13-15*psi^11*x^2*y^13+21*psi^11*x *y^14-39*psi^15*y^10+120*psi^14*x^3*y^8+315*psi^14*x^2*y^9-192*psi^14*x*y^10-\ 390*psi^14*y^11-20*psi^13*x^5*y^7+20*psi^13*x^4*y^8-102*psi^13*x^3*y^9+765*psi^ 13*x^2*y^10-531*psi^13*x*y^11-195*psi^13*y^12-12*psi^12*x^3*y^10+120*psi^12*x^2 *y^11-220*psi^12*x*y^12+140*psi^12*y^13-12*psi^11*x^3*y^11+15*psi^11*x^2*y^12-\ 15*psi^11*x*y^13+21*psi^11*y^14+75*psi^14*x^2*y^8+240*psi^14*x*y^9-321*psi^14*y ^10-35*psi^13*x^5*y^6-20*psi^13*x^4*y^7-340*psi^13*x^3*y^8+264*psi^13*x^2*y^9+ 1257*psi^13*x*y^10-748*psi^13*y^11+24*psi^12*x^4*y^8-180*psi^12*x^3*y^9-249*psi ^12*x^2*y^10+1165*psi^12*x*y^11+20*psi^12*y^12+6*psi^11*x^4*y^9-6*psi^11*x^3*y^ 10-54*psi^11*x^2*y^11+75*psi^11*x*y^12+30*psi^11*y^13+75*psi^10*x^2*y^12-105* psi^10*x*y^13+6*psi^9*x^2*y^13-7*psi^9*x*y^14-35*psi^13*x^4*y^6+40*psi^13*x^3*y ^7-630*psi^13*x^2*y^8+670*psi^13*x*y^9+102*psi^13*y^10+20*psi^12*x^5*y^6+160* psi^12*x^4*y^7+180*psi^12*x^3*y^8-2214*psi^12*x^2*y^9+984*psi^12*x*y^10+1045* psi^12*y^11-12*psi^11*x^5*y^7+6*psi^11*x^4*y^8+438*psi^11*x^3*y^9-1620*psi^11*x ^2*y^10+1014*psi^11*x*y^11+90*psi^11*y^12+120*psi^10*x^3*y^10-240*psi^10*x^2*y^ 11+180*psi^10*x*y^12-105*psi^10*y^13+18*psi^9*x^3*y^11-18*psi^9*x^2*y^12+6*psi^ 9*x*y^13-7*psi^9*y^14-195*psi^13*x*y^8+201*psi^13*y^9+160*psi^12*x^4*y^6+700* psi^12*x^3*y^7-474*psi^12*x^2*y^8-2334*psi^12*x*y^9+1987*psi^12*y^10-15*psi^11* x^6*y^5-15*psi^11*x^5*y^6-258*psi^11*x^4*y^7+1458*psi^11*x^3*y^8-336*psi^11*x^2 *y^9-3246*psi^11*x*y^10+1122*psi^11*y^11-66*psi^10*x^4*y^8+126*psi^10*x^3*y^9+ 790*psi^10*x^2*y^10-1450*psi^10*x*y^11-45*psi^10*y^12+12*psi^9*x^4*y^9-9*psi^9* x^3*y^10-24*psi^9*x^2*y^11+57*psi^9*x*y^12-12*psi^9*y^13-36*psi^8*x^2*y^12+42* psi^8*x*y^13-psi^7*x^2*y^13+psi^7*x*y^14+100*psi^12*x^3*y^6+480*psi^12*x^2*y^7-\ 1138*psi^12*x*y^8+509*psi^12*y^9-21*psi^11*x^6*y^4-15*psi^11*x^5*y^5-465*psi^11 *x^4*y^6-54*psi^11*x^3*y^7+3498*psi^11*x^2*y^8-2542*psi^11*x*y^9-651*psi^11*y^ 10+96*psi^10*x^5*y^6-120*psi^10*x^4*y^7-1440*psi^10*x^3*y^8+5182*psi^10*x^2*y^9 -2240*psi^10*x*y^10-1240*psi^10*y^11-12*psi^9*x^5*y^7+4*psi^9*x^4*y^8-672*psi^9 *x^3*y^9+1665*psi^9*x^2*y^10-906*psi^9*x*y^11+60*psi^9*y^12-138*psi^8*x^3*y^10+ 180*psi^8*x^2*y^11-78*psi^8*x*y^12+42*psi^8*y^13-6*psi^7*x^3*y^11+5*psi^7*x^2*y ^12-psi^7*x*y^13+psi^7*y^14-2*psi^12*y^8-21*psi^11*x^5*y^4+30*psi^11*x^4*y^5-\ 960*psi^11*x^3*y^6+810*psi^11*x^2*y^7+1611*psi^11*x*y^8-1740*psi^11*y^9+15*psi^ 10*x^6*y^4+195*psi^10*x^5*y^5+570*psi^10*x^4*y^6-3546*psi^10*x^3*y^7+1458*psi^ 10*x^2*y^8+6628*psi^10*x*y^9-4070*psi^10*y^10-18*psi^9*x^6*y^5-9*psi^9*x^5*y^6+ 426*psi^9*x^4*y^7-1508*psi^9*x^3*y^8-1114*psi^9*x^2*y^9+4321*psi^9*x*y^10-748* psi^9*y^11-96*psi^8*x^4*y^8+108*psi^8*x^3*y^9-666*psi^8*x^2*y^10+780*psi^8*x*y^ 11+30*psi^8*y^12-15*psi^7*x^4*y^9+9*psi^7*x^3*y^10+57*psi^7*x^2*y^11-73*psi^7*x *y^12+2*psi^7*y^13+7*psi^6*x^2*y^12-7*psi^6*x*y^13-390*psi^11*x^2*y^6+804*psi^ 11*x*y^7-414*psi^11*y^8+120*psi^10*x^5*y^4+735*psi^10*x^4*y^5-336*psi^10*x^3*y^ 6-4504*psi^10*x^2*y^7+5994*psi^10*x*y^8-1851*psi^10*y^9-6*psi^9*x^7*y^3-18*psi^ 9*x^6*y^4-282*psi^9*x^5*y^5+789*psi^9*x^4*y^6+1422*psi^9*x^3*y^7-8184*psi^9*x^2 *y^8+4158*psi^9*x*y^9+1696*psi^9*y^10+84*psi^8*x^5*y^6-48*psi^8*x^4*y^7+2016* psi^8*x^3*y^8-5352*psi^8*x^2*y^9+2286*psi^8*x*y^10+630*psi^8*y^11-20*psi^7*x^5* y^7+5*psi^7*x^4*y^8+513*psi^7*x^3*y^9-864*psi^7*x^2*y^10+387*psi^7*x*y^11-75* psi^7*y^12+48*psi^6*x^3*y^10-48*psi^6*x^2*y^11+14*psi^6*x*y^12-7*psi^6*y^13+75* psi^10*x^4*y^4+480*psi^10*x^3*y^5-1342*psi^10*x^2*y^6+896*psi^10*x*y^7+71*psi^ 10*y^8-7*psi^9*x^7*y^2-6*psi^9*x^6*y^3-333*psi^9*x^5*y^4-696*psi^9*x^4*y^5+4146 *psi^9*x^3*y^6-2234*psi^9*x^2*y^7-7374*psi^9*x*y^8+5404*psi^9*y^9+84*psi^8*x^6* y^4+90*psi^8*x^5*y^5-1230*psi^8*x^4*y^6+5250*psi^8*x^3*y^7-198*psi^8*x^2*y^8-\ 8634*psi^8*x*y^9+3498*psi^8*y^10-15*psi^7*x^6*y^5-5*psi^7*x^5*y^6+178*psi^7*x^4 *y^7-31*psi^7*x^3*y^8+1995*psi^7*x^2*y^9-2817*psi^7*x*y^10+187*psi^7*y^11+123* psi^6*x^4*y^8-99*psi^6*x^3*y^9+135*psi^6*x^2*y^10-97*psi^6*x*y^11-7*psi^6*y^12-\ 21*psi^5*x^2*y^11+21*psi^5*x*y^12-8*psi^10*x*y^6+8*psi^10*y^7-7*psi^9*x^6*y^2+ 12*psi^9*x^5*y^3-810*psi^9*x^4*y^4+280*psi^9*x^3*y^5+3985*psi^9*x^2*y^6-6266* psi^9*x*y^7+2784*psi^9*y^8+6*psi^8*x^7*y^2+108*psi^8*x^6*y^3+510*psi^8*x^5*y^4-\ 2034*psi^8*x^4*y^5+240*psi^8*x^3*y^6+9570*psi^8*x^2*y^7-9192*psi^8*x*y^8+1200* psi^8*y^9-6*psi^7*x^7*y^3-9*psi^7*x^6*y^4-183*psi^7*x^5*y^5-287*psi^7*x^4*y^6-\ 2618*psi^7*x^3*y^7+9045*psi^7*x^2*y^8-3545*psi^7*x*y^9-1617*psi^7*y^10+152*psi^ 6*x^5*y^6-56*psi^6*x^4*y^7-1176*psi^6*x^3*y^8+2439*psi^6*x^2*y^9-1008*psi^6*x*y ^10-58*psi^6*y^11-162*psi^5*x^3*y^9+183*psi^5*x^2*y^10-63*psi^5*x*y^11+21*psi^5 *y^12-390*psi^9*x^3*y^4+1206*psi^9*x^2*y^5-1279*psi^9*x*y^6+418*psi^9*y^7+48* psi^8*x^6*y^2+378*psi^8*x^5*y^3+186*psi^8*x^4*y^4-3408*psi^8*x^3*y^5+5068*psi^8 *x^2*y^6+800*psi^8*x*y^7-2172*psi^8*y^8-psi^7*x^8*y-5*psi^7*x^7*y^2-147*psi^7*x ^6*y^3-207*psi^7*x^5*y^4+1386*psi^7*x^4*y^5-7974*psi^7*x^3*y^6+1134*psi^7*x^2*y ^7+12306*psi^7*x*y^8-6462*psi^7*y^9+93*psi^6*x^6*y^4+51*psi^6*x^5*y^5+238*psi^6 *x^4*y^6-1406*psi^6*x^3*y^7-2646*psi^6*x^2*y^8+5499*psi^6*x*y^9-1129*psi^6*y^10 -438*psi^5*x^4*y^7+456*psi^5*x^3*y^8-804*psi^5*x^2*y^9+666*psi^5*x*y^10+35*psi^ 4*x^2*y^10-35*psi^4*x*y^11+30*psi^8*x^5*y^2+240*psi^8*x^4*y^3-408*psi^8*x^3*y^4 -366*psi^8*x^2*y^5+1366*psi^8*x*y^6-882*psi^8*y^7-psi^7*x^8-psi^7*x^7*y-122*psi ^7*x^6*y^2-681*psi^7*x^5*y^3+2085*psi^7*x^4*y^4-410*psi^7*x^3*y^5-10083*psi^7*x ^2*y^6+13668*psi^7*x*y^7-4635*psi^7*y^8+24*psi^6*x^7*y^2+72*psi^6*x^6*y^3+114* psi^6*x^5*y^4+1899*psi^6*x^4*y^5-140*psi^6*x^3*y^6-9120*psi^6*x^2*y^7+5066*psi^ 6*x*y^8+1096*psi^6*y^9-504*psi^5*x^5*y^5+270*psi^5*x^4*y^6+1656*psi^5*x^3*y^7-\ 4164*psi^5*x^2*y^8+1434*psi^5*x*y^9+474*psi^5*y^10+300*psi^4*x^3*y^8-370*psi^4* x^2*y^9+140*psi^4*x*y^10-35*psi^4*y^11-12*psi^8*x^2*y^4+24*psi^8*x*y^5-12*psi^8 *y^6-psi^7*x^7+2*psi^7*x^6*y-360*psi^7*x^5*y^2-125*psi^7*x^4*y^3+3309*psi^7*x^3 *y^4-7085*psi^7*x^2*y^5+4877*psi^7*x*y^6-1067*psi^7*y^7+psi^6*x^8+23*psi^6*x^7* y+171*psi^6*x^6*y^2-9*psi^6*x^5*y^3+15*psi^6*x^4*y^4+6540*psi^6*x^3*y^5-2146* psi^6*x^2*y^6-9374*psi^6*x*y^7+5538*psi^6*y^8-237*psi^5*x^6*y^3-219*psi^5*x^5*y ^4-1302*psi^5*x^4*y^5+4179*psi^5*x^3*y^6+2352*psi^5*x^2*y^7-7938*psi^5*x*y^8+ 2667*psi^5*y^9+870*psi^4*x^4*y^6-1110*psi^4*x^3*y^7+1764*psi^4*x^2*y^8-1378*psi ^4*x*y^9+35*psi^4*y^10-35*psi^3*x^2*y^9+35*psi^3*x*y^10-195*psi^7*x^4*y^2+804* psi^7*x^3*y^3-1353*psi^7*x^2*y^4+949*psi^7*x*y^5-195*psi^7*y^6+8*psi^6*x^7+77* psi^6*x^6*y+336*psi^6*x^5*y^2-690*psi^6*x^4*y^3+366*psi^6*x^3*y^4+5117*psi^6*x^ 2*y^5-8878*psi^6*x*y^6+3666*psi^6*y^7-30*psi^5*x^7*y-213*psi^5*x^6*y^2-3*psi^5* x^5*y^3-3645*psi^5*x^4*y^4+3906*psi^5*x^3*y^5+7347*psi^5*x^2*y^6-7872*psi^5*x*y ^7+1245*psi^5*y^8+960*psi^4*x^5*y^4-780*psi^4*x^4*y^5-1038*psi^4*x^3*y^6+4018* psi^4*x^2*y^7-856*psi^4*x*y^8-933*psi^4*y^9-330*psi^3*x^3*y^7+435*psi^3*x^2*y^8 -175*psi^3*x*y^9+35*psi^3*y^10+5*psi^6*x^6+48*psi^6*x^5*y+263*psi^6*x^4*y^2-\ 1384*psi^6*x^3*y^3+2732*psi^6*x^2*y^4-2359*psi^6*x*y^5+785*psi^6*y^6-18*psi^5*x ^7-204*psi^5*x^6*y+213*psi^5*x^5*y^2-546*psi^5*x^4*y^3-4776*psi^5*x^3*y^4+5562* psi^5*x^2*y^5+558*psi^5*x*y^6-1464*psi^5*y^7+303*psi^4*x^6*y^2+561*psi^4*x^5*y^ 3+1902*psi^4*x^4*y^4-5394*psi^4*x^3*y^5-2636*psi^4*x^2*y^6+8908*psi^4*x*y^7-\ 3498*psi^4*y^8-1035*psi^3*x^4*y^5+1545*psi^3*x^3*y^6-2199*psi^3*x^2*y^7+1583* psi^3*x*y^8-70*psi^3*y^9+21*psi^2*x^2*y^8-21*psi^2*x*y^9-8*psi^6*x^3*y^2+24*psi ^6*x^2*y^3-26*psi^6*x*y^4+8*psi^6*y^5-66*psi^5*x^6-78*psi^5*x^5*y+597*psi^5*x^4 *y^2-2332*psi^5*x^3*y^3+2018*psi^5*x^2*y^4+578*psi^5*x*y^5-687*psi^5*y^6+12*psi ^4*x^7+246*psi^4*x^6*y+312*psi^4*x^5*y^2+3129*psi^4*x^4*y^3-4308*psi^4*x^3*y^4-\ 5826*psi^4*x^2*y^5+8816*psi^4*x*y^6-2675*psi^4*y^7-1140*psi^3*x^5*y^3+1365*psi^ 3*x^4*y^4-627*psi^3*x^3*y^5-1540*psi^3*x^2*y^6-437*psi^3*x*y^7+1013*psi^3*y^8+ 216*psi^2*x^3*y^6-300*psi^2*x^2*y^7+126*psi^2*x*y^8-21*psi^2*y^9-39*psi^5*x^5+ 201*psi^5*x^4*y-525*psi^5*x^3*y^2+644*psi^5*x^2*y^3-302*psi^5*x*y^4+21*psi^5*y^ 5+114*psi^4*x^6+158*psi^4*x^5*y-431*psi^4*x^4*y^2+3342*psi^4*x^3*y^3-5706*psi^4 *x^2*y^4+3570*psi^4*x*y^5-777*psi^4*y^6-192*psi^3*x^6*y-804*psi^3*x^5*y^2-1440* psi^3*x^4*y^3+3969*psi^3*x^3*y^4+2751*psi^3*x^2*y^5-6935*psi^3*x*y^6+2685*psi^3 *y^7+735*psi^2*x^4*y^4-1239*psi^2*x^3*y^5+1623*psi^2*x^2*y^6-1077*psi^2*x*y^7+ 63*psi^2*y^8-7*psi*x^2*y^7+7*psi*x*y^8+146*psi^4*x^5-631*psi^4*x^4*y+1650*psi^4 *x^3*y^2-2050*psi^4*x^2*y^3+1076*psi^4*x*y^4-203*psi^4*y^5-96*psi^3*x^6-576*psi ^3*x^5*y-1576*psi^3*x^4*y^2+3102*psi^3*x^3*y^3+2541*psi^3*x^2*y^4-5121*psi^3*x* y^5+1775*psi^3*y^6+840*psi^2*x^5*y^2-1380*psi^2*x^4*y^3+1632*psi^2*x^3*y^4-681* psi^2*x^2*y^5+1068*psi^2*x*y^6-660*psi^2*y^7-78*psi*x^3*y^5+113*psi*x^2*y^6-49* psi*x*y^7+7*psi*y^8-2*psi^4*x^4+8*psi^4*x^3*y-16*psi^4*x^2*y^2+12*psi^4*x*y^3-2 *psi^4*y^4-236*psi^3*x^5+227*psi^3*x^4*y-427*psi^3*x^3*y^2+1319*psi^3*x^2*y^3-\ 1370*psi^3*x*y^4+442*psi^3*y^5+48*psi^2*x^6+576*psi^2*x^5*y+876*psi^2*x^4*y^2-\ 2292*psi^2*x^3*y^3-1200*psi^2*x^2*y^4+3087*psi^2*x*y^5-1137*psi^2*y^6-288*psi*x ^4*y^3+534*psi*x^3*y^4-660*psi*x^2*y^5+407*psi*x*y^6-28*psi*y^7+x^2*y^6-x*y^7-\ 37*psi^3*x^4+113*psi^3*x^3*y-101*psi^3*x^2*y^2+19*psi^3*x*y^3+8*psi^3*y^4+264* psi^2*x^5+876*psi^2*x^4*y-2196*psi^2*x^3*y^2+498*psi^2*x^2*y^3+996*psi^2*x*y^4-\ 438*psi^2*y^5-352*psi*x^5*y+736*psi*x^4*y^2-1104*psi*x^3*y^3+866*psi*x^2*y^4-\ 662*psi*x*y^5+243*psi*y^6+12*x^3*y^4-18*x^2*y^5+8*x*y^6-y^7+213*psi^2*x^4-573* psi^2*x^3*y+483*psi^2*x^2*y^2-111*psi^2*x*y^3-12*psi^2*y^4-160*psi*x^5-544*psi* x^4*y+1228*psi*x^3*y^2-199*psi*x^2*y^3-520*psi*x*y^4+209*psi*y^5+48*x^4*y^2-96* x^3*y^3+114*x^2*y^4-66*x*y^5+5*y^6-2*psi^2*x^3+4*psi^2*x^2*y-2*psi^2*x*y^2-352* psi*x^4+806*psi*x^3*y-579*psi*x^2*y^2+117*psi*x*y^3+8*psi*y^4+64*x^5-160*x^4*y+ 264*x^3*y^2-236*x^2*y^3+146*x*y^4-39*y^5+6*psi*x^3-10*psi*x^2*y+4*psi*x*y^2+176 *x^4-352*x^3*y+213*x^2*y^2-37*x*y^3-2*y^4-4*x^3+6*x^2*y-2*x*y^2 = 0 --------------------------------------- This ends this paper that took, 8238.997, seconds to generate