WELCOME TO MATH 165. This is a short introduction to the course while getting acquainted with MAPLE!
This course will introduce you to the basic ideas in SYMBOLIC ALGEBRAIC COMPUTATION.
and of EXPERIMENTAL MATHEMATICS.
f:=-6*x^15*y^2+6*x^10*z^2-3*x^14*y^3+3*z^5*x^8+42*x^14*y^3*z-126*x^13*y^4*z\134
^2+210*x^12*y^5*z^3-210*x^11*y^6*z^4+126*x^10*y^7*z^5-42*x^9*y^8*z^6+6*x\134
^8*y^9*z^7-42*x^9*z^3*y+126*x^8*z^4*y^2-210*x^7*z^5*y^3+210*x^6*z^6*y^4-\134
126*x^5*z^7*y^5+42*x^4*z^8*y^6-6*x^3*z^9*y^7+21*x^13*y^4*z-63*x^12*y^5*z\134
^2+105*x^11*y^6*z^3-105*x^10*y^7*z^4+63*x^9*y^8*z^5-21*x^8*y^9*z^6+3*x^7\134
*y^10*z^7+3*x^9*y*z^2-21*x^8*y^2*z^3+63*x^7*y^3*z^4-105*x^6*y^4*z^5+105*\134
x^5*y^5*z^6-63*x^4*y^6*z^7+21*x^3*y^7*z^8-3*x^2*y^8*z^9-3*z^3*x^13*y^2+2\134
1*z^4*x^12*y^3-63*z^5*x^11*y^4+105*z^6*x^10*y^5-105*z^7*x^9*y^6+63*z^8*x\134
^8*y^7-21*z^9*x^7*y^8+3*z^10*x^6*y^9-21*z^6*x^7*y+63*z^7*x^6*y^2-105*z^8\134 JSFH
*x^5*y^3+105*z^9*x^4*y^4-63*z^10*x^3*y^5+21*z^11*x^2*y^6-3*x*z^12*y^7;
factor(f);
We can also factorize integers using MAPLE:
ifactor(1302387694);
Now we look at other symbolic computation. How to do Symbolic integration:
# <---- This symbol can be use to comment code.
It is important to know how to ask for HELP!!
JSFH help(int);
f:=(x^2-1+3*(1+x^2)^3)/(1+x^2)^3*x/(x^2+2);
int(f,x);
int( x/(x^3-1), x );
It can of course do NUMERIC integration too!!
r := int( sech(x)*exp(-x^2), x = -infinity..infinity );
evalf(r);
int(1/(x*sqrt((b*x+c*x^2)^3)),x);
factor(%);
simplify(%) assuming positive;
subs(b+c*x=y/x,%);
expand(%);
MAPLE also has graphic capabilities: Suppose we want to plot the absolute value of the Riemann Zeta function
on the critical line of those complex numbers of real part=1/2.
plot(abs(Zeta(1/2+y*I)),y=0..36, numpoints=1000);
with(plots);
polyhedraplot([0,0,0],polytype=dodecahedron,style=PATCH,
scaling=CONSTRAINED,orientation=[71,66]);
pi := evalf(Pi);
p := seq([cos(t*pi/50)*(10+4*sin(9*(t*pi/50))),
sin(t*pi/50)*(10+4*sin(9*(t*pi/50))),
4*cos(9*(t*pi/50))],t=0..200):
polyhedraplot([p],polyscale=.4,polytype=hexahedron,scaling=CONSTRAINED,
orientation=[76,40]);
MAPLE can do Linear Algebra! (but you have to load the right package)
with(linalg);
We can generate random matrices
A:=randmatrix(5,5);
MAPLE is able to do FOR or WHILE loops
det(A);
We can use MAPLE to run some experiments on determinants of matrices:
numex:=7; # number of iterations
for n from 1 to numex do
A:=Matrix(n,n,shape=symmetric); print("Constructing matrix"):
for i to n do
for j to i do
A[i,j]:=x^(igcd(i,j));
od;
od; print(A);
factor(det(A));
print("factorization of the determinant",%);
od:
We can also work with 3-D graphics to our advantange to see things more clearly!
hel1:=[4*cos(t),4*sin(t),2*t];
spacecurve(convert(hel1,list),t=0..5*Pi,scaling=constrained,color=black,axes=framed, orientation=[40,77]);
tubeplot(convert(hel1,list), t=0..5*Pi,scaling=constrained,axes=framed, orientation=[40,77], shading=XYZ,lightmodel=light1,style=patchnogrid);
In this course we will on finding out whether a system of polynomial equations have solutions or not!
The main tool will be Grobner bases. There is a MAPLE package for Grobner bases
with(grobner);
LSUnUExPVDNERzYnLSUnQ1VSVkVTRzYkN1Q3JSQiI1MhIiIkIiIhISIiJCIiISEiIjclJCIrKSlIQSd6JCEiKiQiK3NHVmc3ISIqJCIqZTg5VCchIio3JSQiKyhbYWM/JCEiKiQiK0FAVyNSIyEiKiQiKztGRyNHIiEiKjclJCIqa20lKUcjISIpJCIrPiEqbyFHJCEiKiQiK3VTVUI+ISIqNyUkIitZLjZRNiEiKiQiKzc5bk1RISIqJCIrS2Fja0QhIio3JSQhKzpKMSNHIiEjNSQiK2xbJXoqUiEiKiQiKnoxZD8kISIpNyUkISs+LVkiUSIhIiokIispb3RRdiQhIiokIitbIltvJVEhIio3JSQhKzQjZlJcIyEiKiQiK0hmS0ZKISIqJCIrMSYqKXpbJSEiKjclJCErQENOX0whIiokIisuJ1JAPSMhIiokIitrMzhIXiEiKjclJCErYCV6InBRISIqJCIrTCQ9WSwiISIqJCIrQUFGcWQhIio3JSQhK3I6eSIqUiEiKiQhK0MpM0djIyEjNSQiKmU4OVQnISIpNyUkIStHcW0yUCEiKiQhK0EhbzVdIiEiKiQiK1FcYl9xISIqNyUkIStLUXlYSSEiKiQhKyVlOEhmIyEiKiQiKydIJ3AkcCghIio3JSQhKkZxTjIjISIpJCErYTVkP00hIiokIithdyRbTCkhIio3JSQhK0N0JDMhKikhIzUkISpsNigqKlEhIikkIis3IXpmKCopISIqNyUkIit0NSM0JVEhIzUkIStea14iKVIhIiokIipQP3JoKiEiKTclJCIrd0w4PjshIiokISpcXXdsJCEiKSQiK3RoI2UtIiEiKTclJCIra04/Km8jISIqJCErJik+NmhIISIqJCIrNC4lKiozIiEiKTclJCIrPltGJlskISIqJCErLy0oRyc+ISIqJCIrV1cwYTYhIik3JSQiK0htQkVSISIqJCErLV5NWXchIzUkIiplbyI9NyEiKDclJCIrYis7blIhIiokIis8bDM6XiEjNSQiKztGRyNHIiEiKTclJCIrcGEoUWckISIqJCIraFxgTjwhIiokIitfb1JZOCEiKTclJCIrKFIoUnRHISIqJCIrMS10I3kjISIqJCIrKSk0XjU5ISIpNyUkIitjSjpdPSEiKiQiK0dzUllOISIqJCIrQl5pdTkhIik3JSQiK1VkKlJRJyEjNSQiK05yc1tSISIqJCIrZiNSKFE6ISIpNyUkIStqZSpSUSchIzUkIitMcnNbUiEiKiQiKyZSYEdnIiEiKTclJCErbko6XT0hIiokIitBc1JZTiEiKiQiK0p2J3BtIiEiKTclJCErMHVSdEchIiokIispPklGeSMhIiokIituOzNKPCEiKTclJCErdmEoUWckISIqJCIqJlxgTjwhIikkIistZT4meiIhIik3JSQhK2MrO25SISIqJCIrJ1InMzpeISM1JCIrUSo0JGY9ISIpNyUkIStGbUJFUiEiKiQhK0BfTVl3ISM1JCIrdVNVQj4hIik3JSQhKzhbRiZbJCEiKiQhKzotKEcnPiEiKiQiKkBRdik+ISIoNyUkIStcTj8qbyMhIiokISsqKj42aEghIiokIitZQmxePyEiKTclJCErYUw4PjshIiokISkwbGRPISIoJCIrI1ttZDYjISIpNyUkISskej80JVEhIzUkIStha14iKVIhIiokIis9MSkpekAhIik3JSQiK1F3JDMhKikhIzUkIStVO3IqKlEhIiokIithWipSQyMhIik3JSQiKywuZHQ/ISIqJCErTjVkP00hIiokIioqKTMiM0IhIig3JSQiK2VReVhJISIqJCErYE4iSGYjISIqJCIrRUlBc0IhIik3JSQiK1hxbTJQISIqJCErIil6MSw6ISIqJCIraXJMT0MhIik3JSQiK3U6eSIqUiEiKiQhK1YkM0djIyEjNSQiKylIXi9dIyEiKTclJCIrUiV6InBRISIqJCIrJVE9WSwiISIqJCIrTWFja0QhIik3JSQiKlJfQk4kISIpJCIqbFJAPSMhIikkIipkeidHRSEiKDclJCIraSJmUlwjISIqJCIrbWZLRkohIiokIisxUHojcCMhIik3JSQiK2YsWSJRIiEiKiQiKnJ0UXYkISIpJCIrVXkhcHYjISIpNyUkIitNQzEjRyIhIzUkIituWyV6KlIhIiokIit5Pi1ARyEiKTclJCErOi82UTYhIiokIisjUnJZJFEhIiokIis5aDgmKUchIik3JSQhKy1uWSlHIyEiKiQiK3YqKW8hRyQhIiokIipEXSNcSCEiKDclJCErTlhsMEshIiokIitlP1cjUiMhIiokIisnUWtMLCQhIik3JSQhKzlJQSd6JCEiKiQiKyN6Sy9FIiEiKiQiK0EmeXUyJCEiKTclJCEjUyEiIiQhK2xPVD8pKSEjPCQiK2VFZlRKISIpLSUmQ09MT1JHNiYlJFJHQkckIiIhISIiJCIiISEiIiQiIiEhIiItJStQUk9KRUNUSU9ORzYsJCIpXkFCPCEiKSQhKWsoeVUnISIpJCIoM1RZKCEiKCQiKXcmZlciISIpJCIpV1dndyEiKSQiKS44amkhIikkISkxcVYoKiEiKSQiIiEhIiIkIikxXlxBISIpJCIjNSEiIi0lKkFYRVNTVFlMRUc2IyUmRlJBTUVHLSUoU0NBTElOR0c2IyUsQ09OU1RSQUlORURHLSUlUk9PVEc2Jy0lKUJPVU5EU19YRzYjJCIkKyIhIiItJSlCT1VORFNfWUc2IyQiJCsiISIiLSUtQk9VTkRTX1dJRFRIRzYjJCIlK1IhIiItJS5CT1VORFNfSEVJR0hURzYjJCIlK1IhIiItJSlDSElMRFJFTkc2Ig==
LSUnUExPVDNERzYqLSUlTUVTSEc2IzdUNyw3JSQiMFRNJCpSdygqKVwhIzkkIjBCPWdgajdGIiEjOiQiMGVza2wwbFknISM7NyUkIjBWUzFyNyNlWiEjOSQiMGNreVtPIikpUSEjOiQhMGtLbEMuUkImISM6NyUkIjA7VSFvRyg9PCUhIzkkIjBNOl87MmRvJSEjOiQhMG4vOGNiYW0pISM6NyUkIi9HTCs9NjBOISM4JCIwVUZUUSR5IUgkISM6JCEwOUpKIlxNVSEpISM6NyUkIjBUPDhVOSpwSSEjOSQiMDpHaSVbbGdOISM7JCEwImZSKnBKaGwkISM6NyUkIjBUPDhVOSpwSSEjOSQhMChRTzclZl91IyEjOiQiMFFrKXBoIzNXIyEjOjclJCIvR0wrPTYwTiEjOCQhMGxYLCNwL2lYISM6JCIwKVFbWlZwJlIoISM6NyUkIjA7VSFvRyg9PCUhIzkkITBQKFtzPj9XVSEjOiQiMGFHZiVcLiEqKSkhIzo3JSQiMFZTMXI3I2VaISM5JCEwWV5HdlovJT4hIzokIjBIUzlSSFlBJyEjOjclJCIwVE0kKlJ3KCopXCEjOSQiMEI9Z2BqN0YiISM6JCIwaHNrbDBsWSchIzs3LDclJCIwKkdGSmR6YlohIzkkIjBWOyk9VCopKVwiISM5JCIwWkRScz1tIXohIzo3JSQiL2BKa1I1VlghIzgkIi87aUxldVw8ISM4JCIwWSNbbyZIKDM+ISM6NyUkIi9CIXpHUTQpUiEjOCQiMFQ/Y2RVO3giISM5JCEwXyZ6J3AuQik+ISM6NyUkIi9KISlwQU1LTCEjOCQiMFd3ZWhRVmIiISM5JCEwNG5JT0JlJT4hIzo3JSQiMDZHXz4sMyFIISM5JCIvJT1BKkdeKj4iISM4JCIwWiMzOzU1LD8hIzo3JSQiMHo6IUh6QikpRyEjOSQiMEtYPi9CPnQpISM6JCIwc3ElZSdmOywpISM6NyUkIjAuX0knNGArTCEjOSQiL2UhZiIpZTFHKCEjOSQiMGRTdmBXdEsiISM5NyUkIjBoJWUvUXdXUiEjOSQiMGRNVyEqKVI/JCkhIzokIjAiKnBeLFRDYCIhIzk3JSQiMCQqNHN1I1w+WCEjOSQiMF5va3RqazgiISM5JCIwKilldVopWz84ISM5NyUkIjAqR0ZKZHpiWiEjOSQiMFY7KT1UKikpXCIhIzkkIjBaRFJzPW0heiEjOjcsNyUkIjAuQmIkeWBeUyEjOSQiMF9aVDBcPSRHISM5JCIwYmFtJj1oJWUiISM5NyUkIjA0aSgqXChSa1EhIzkkIjBQLSZbRTt6SSEjOSQiMC8/aEIpPVwoKiEjOjclJCIwWVB1KVItcEwhIzkkIi89V3c/OjBJISM4JCIwRy9uclovNCYhIzo3JSQiMDpILzIzc3ojISM5JCIwJSlvcnFaV2sjISM5JCIwT21NWnQoXFMhIzo3JSQiLzlMcigzbFQjISM4JCIwJClbUTdGZTsjISM5JCIwQUIxYjNUNighIzo3JSQiMFkkPkImZl1TIyEjOSQiMFsjcDtBQyR6IiEjOSQiMEJHNGxoXEciISM5NyUkIjBIamtiPCNvRiEjOSQiMER5WGdINXEiISM5JCIwal5LJSplcyY9ISM5NyUkIjApPksiPmRnTCQhIzkkIi9NYSRmT0IkPiEjOCQiMFx5Jm8lPTA7IyEjOTclJCIwYyV5Xip6RyVRISM5JCIwS2dGMksqeUIhIzkkIjA7YVlzVEcwIyEjOTclJCIwLkJiJHlgXlMhIzkkIjBfWlQwXD0kRyEjOSQiMGJhbSY9aCVlIiEjOTcsNyUkIjAiUXlzPi9xSCEjOSQiMCMqKmZZUyF6JlEhIzkkIjBVZEs/eEpQIyEjOTclJCIwRVMiKXkneSp5IyEjOSQiMHZ3JnkxJEc4JSEjOSQiMHlROTY6THgiISM5NyUkIi94JltMZVxQIyEjOCQiMGNec3ZJITRTISM5JCIwLS44biFwVjchIzk3JSQiMHdKbFhmJz4+ISM5JCIwRCZwVDtWV04hIzkkIjBtNFgvQEAuIiEjOTclJCIwYTklZSZIcGoiISM5JCIwaz86VUNrJkghIzkkIi8pcDIsLXdCIiEjODclJCIvei0tNjFmOyEjOCQiMHc+K0BXLF8jISM5JCIwdy5CdScpUnciISM5NyUkIjBXXUBcKXB2PiEjOSQiMEtvb09KKFJDISM5JCIwOjdKKFIoXE8jISM5NyUkIjBANlxkJG9RQyEjOSQiMDRtXSY+Ikd2IyEjOSQiMGxxJyk0YiRmRiEjOTclJCIwVCFlJVshUUpHISM5JCIwPCMqeTMjKkdKJCEjOSQiMFhzcyFbZmlGISM5NyUkIjAiUXlzPi9xSCEjOSQiMCMqKmZZUyF6JlEhIzkkIjBVZEs/eEpQIyEjOTcsNyUkIjA7Im9YaC1ROyEjOSQiMChIJjQkPlR0VyEjOSQiMCgpby80YSVcSiEjOTclJCIwKm8oejdsLVYiISM5JCIwMHlBMTg0eiUhIzkkIjA4Yk9EKEghZSMhIzk3JSQiMDkjNFQ7IWUzIiEjOSQiMFtrISk0eTRtJSEjOSQiMDo7Q0t6UCsjISM5NyUkIjBAYiMpeVIiZXchIzokIjAzTUAwMFc5JSEjOSQiMHdoU1dmJypvIiEjOTclJCIwOyQ9WSN6LT8nISM6JCIwZlpQPi9IWyQhIzkkIjBjRjIheSJceSIhIzk3JSQiMCNmbE1SZW1yISM6JCIwPDJqNyoqZilIISM5JCIvNGxbPilcQyMhIzg3JSQiMG5sXSI0XDU1ISM5JCIwKUdOYHM+JylHISM5JCIudipmRmVhRyEjNzclJCIwOnhwKXouazghIzkkIi9WVCEpcD5JSyEjOCQiMCZIN1M3W0dMISM5NyUkIjBqOV0rcj1oIiEjOSQiMEdvPyxQcSZRISM5JCIwZFFNLU5cVyQhIzk3JSQiMDsib1hoLVE7ISM5JCIwKEgmNCQ+VHRXISM5JCIwKClvLzRhJVxKISM5Nyw3JSQiMCYqSDpfW0gzIyEjOiQiMGAzZUA+cGklISM5JCIwWngxaExsIVIhIzk3JSQhMEJeZCopUS1tJyEjOyQiMDRuV1xcInpcISM5JCIwY2EhNCZ6JilRJCEjOTclJCEwUiM0Jip5Qy5QISM6JCIwJDQuQUtFc1shIzkkIi8zXEhzMCZ5IyEjODclJCEwWGJ5aXN2ZyYhIzokIjBhIkd0T0ZjViEjOSQiMDEoKlJiaCR5QiEjOTclJCEwYCM+IlFWelsmISM6JCIwIlFtIzQ9RW4kISM5JCIwJGUwNCoqeWVCISM5NyUkITA+WyI0Z0wrTSEjOiQiMEFNVl8nPVRKISM5JCIwc1xbMytidCMhIzk3JSQhMGRORi1fY0AkISM7JCIwPT1gcVQxLCQhIzkkIjBeZE0/REFMJCEjOTclJCIvJ29AJ3p4MkIhIzkkIjBPeHMrbj9NJCEjOSQiMGtAKyY0dnBRISM5NyUkIjBgVGNmJVJkSyEjOiQiL0ovW1tRISlSISM4JCIwXyJ6YEljJzQlISM5NyUkIjAmKkg6X1tIMyMhIzokIjBgM2VAPnBpJSEjOSQiMFp4MWhMbCFSISM5Nyw3JSQhMFRhTl8xQDsiISM5JCIvJ1sjKUdlUkslISM4JCIwMWFkVTUnUVkhIzk3JSQhMDlgbCMqSGlgIiEjOSQiMHojPVImPi1vJSEjOSQiMG1eJSozZC0+JSEjOTclJCEwJykpcGlbJHokPSEjOSQiMExhN0ZMSWclISM5JCIwOkhEKik9N2UkISM5NyUkITA5I0hSLTBFPiEjOSQiMHZjcXo6JkdUISM5JCIwPEtnZHJrNCQhIzk3JSQhMGpKQiplTWY8ISM5JCIvOVc7IipweU0hIzgkIjAqZnInekxHJ0ghIzk3JSQhMGlzJVFZI2VUIiEjOSQiMDp3aG5SdyZIISM5JCIwOFRuOk9HQyQhIzk3JSQhLyM0LSpRQWM1ISM4JCIwdyJIenA5NEchIzkkIjBAcypSQ1kwUSEjOTclJCEvKDQ8TVshKVspISM5JCIwI0goKjNDcS1KISM5JCIvM2ZiTlgoUSUhIzg3JSQhMGVVKT06QDEqKSEjOiQiMGltcjZbNHEkISM5JCIwPClbI1IqWztaISM5NyUkITBUYU5fMUA7IiEjOSQiLydbIylHZVJLJSEjOCQiMDFhZFU1J1FZISM5Nyw3JSQhMC44JXkhKSpITCMhIzkkIi8oPjArcEBpJCEjOCQiMGA9MVFNPk0mISM5NyUkITBiR1xhMyo+RyEjOSQiMCYzIT56OmUkUiEjOSQiMEVQOXEhKnooXCEjOTclJCEwVjJScC5WOiQhIzkkIjAiW1oiPmg2KFEhIzkkIjBMWW4scVpRJSEjOTclJCEwTmEoPWpyekohIzkkIjB4T2AheVhlTSEjOSQiMDlFeShvJSlSUSEjOTclJCEwZHQpcGJEJSlHISM5JCIwJXphTVQiMypHISM5JCIwY0J2KG8+KWYkISM5NyUkITAnb006MzwxQyEjOSQiMDZGOCdwJFFWIyEjOSQiMHc/bXQhKkd4JCEjOTclJCEwWVBeQWoicD4hIzkkIjAmKWZQKTROLEIhIzkkIjA9U3BEKD0jRyUhIzk3JSQhMHQtdl04eHgiISM5JCIwYG5KJ3lNYkQhIzkkIjAuQ2skNHkoKVshIzk3JSQhMGNdSTYuOSM+ISM5JCIwVDlvanpwMiQhIzkkIjB4PD93MmpJJiEjOTclJCEwLjgleSEpKkhMIyEjOSQiLyg+MCtwQGkkISM4JCIwYD0xUU0+TSYhIzk3LDclJCEwQiRvNSQpKXA+JCEjOSQiMCQ0K1JyIik9RSEjOSQiMCx5eHJKXywnISM5NyUkITBGVHUucWd5JCEjOSQiMEs0NXgkKSlRRyEjOSQiMCopXHpRUmd1JiEjOTclJCEwc2gwWjVBPCUhIzkkIjBzcCgzRGxeRiEjOSQiMCNcNy4oKT0pPSYhIzk3JSQhMGk5KjQtdHVUISM5JCIwX14kSClSelIjISM5JCIwW18mKT4vRmclISM5NyUkITApSFhULVgjeiQhIzkkIjAxTGwjPURWPiEjOSQiMFpkM2VTTkUlISM5NyUkITBmKSk0aFZVPyQhIzkkIjBPRiwyVS5nIiEjOSQiMDhWaEYnUkhWISM5NyUkITBGLyJRKFFgbyMhIzkkIjAzdWglPW1IOiEjOSQiMHghb3NtWHBaISM5NyUkITAoeSEpenBgeUMhIzkkIjA6JSlwQCRHazwhIzkkIi9SPz9FInlQJiEjODclJCEwIj06eEpnIW8jISM5JCIwWUhjQkNXPiMhIzkkIjBAVig0dyEpcGUhIzk3JSQhMEIkbzUkKSlwPiQhIzkkIjAkNCtSciIpPUUhIzkkIjAseXhySl8sJyEjOTcsNyUkITBIRyJcWS4pbyQhIzkkIjAqbyslPUJaViIhIzkkIjAqeWsqXCVbZm0hIzk3JSQhMFllLCdwalhWISM5JCIwJT5qJ1JgJT06ISM5JCIwLDF5J1t5IVwnISM5NyUkITAoKmV6XSpIIXklISM5JCIwJlxyJWVMa08iISM5JCIwKTQnM09cXClmISM5NyUkITAkeW5iKVEnKXklISM5JCIwKlF3MmJ6XDUhIzkkIjAkeUNNU215YCEjOTclJCEwKGUkKUhIdm1WISM5JCIwO1ctVHdwOyghIzokIjBzKlJJbGhiXCEjOTclJCEwS3VRJW8vN1AhIzkkIjBZVkp5LCtCJiEjOiQiMFg7IXlhdjhcISM5NyUkITBEaTsmWyczOCQhIzkkIjBMSzk6akxmJiEjOiQiMCY+dUcib0VGJiEjOTclJCEwL3VrWVteKkchIzkkIjBqd0RwUnEzKSEjOiQiMCY+VmtfVGtlISM5NyUkITAzTlkrIz46SiEjOSQiMHMlKVFDQFc6IiEjOSQiMENnUCM9NjdrISM5NyUkITBIRyJcWS4pbyQhIzkkIjAqbyslPUJaViIhIzkkIjAqeWsqXCVbZm0hIzk3LDclJCEwN0hdaFlKeSQhIzkkIjB5Tkl5I1wlKT4hIzokIjBeI3ovNkV4cyEjOTclJCEvZnpkdV9mVyEjOCQiMCZRbkkjPTNAIiEjOiQiMCQzRD0tbjVzISM5NyUkITAvOjwhWy88XCEjOSQhMFJzIlskeSZHOCEjOiQiLzNNbiMpNHFuISM4NyUkITAneSNvPkA7JVwhIzkkITBZNj8yJltYVyEjOiQiMDEwVnckcGhoISM5NyUkITAoW3N1cXZAWCEjOSQhMFYqPldtWSJvJyEjOiQiMCpveFBmOHFjISM5NyUkITAsM1dfNlImUSEjOSQhMFRVcFYjRyEqcCEjOiQiMGJYeTpJYV8mISM5NyUkITAxWjYhcGRdSyEjOSQhMHQ1KDNUVkZfISM6JCIwX21yJ2VHJnomISM5NyUkITBFJFshPWdTKkghIzkkITAkMzslKXp4PEEhIzokIjBPTy1lTU1OJyEjOTclJCEwKjQpb1EpUS9LISM5JCIwJ1FHdVFNL2ohIzskIjB0eDVKNyhRcCEjOTclJCEwN0hdaFlKeSQhIzkkIjB5Tkl5I1wlKT4hIzokIjBeI3ovNkV4cyEjOTcsNyUkITAkR3NKYEIqXCQhIzkkITBAdCxzXy5uKiEjOiQiMFEyKVxQIz4oeSEjOTclJCEwSDJmKD53UVQhIzkkITByUSIpeSdSMjchIzkkIjBGJW8xUnQweiEjOTclJCEwKW9fLlhkd1ghIzkkITBVOXNMcV5lIiEjOSQiL1tXVEBMU3YhIzg3JSQhMDprcmM6eWclISM5JCEwaVlyWiJmQj4hIzkkIjB4SzUrJXBZcCEjOTclJCEwWVBmN255QCUhIzkkITAqKkdhPjRWMSMhIzkkIjAsKypvJCplLWshIzk3JSQhMCk0SCpRIT4qZSQhIzkkITAqUngyLFtUPiEjOSQiMCYzWlwzaGloISM5NyUkITBEbCMqPV1mLCQhIzkkITBrKVE0dGQ3OyEjOSQiME1dIWZxL1JqISM5NyUkITBaMmopPlBtRiEjOSQhMClbKVwyKVxKNyEjOSQiL2lJTTpNXG8hIzg3JSQhME9NYD5PcyZIISM5JCEwaFRjOE9idyohIzokIjAmWygqPT1zYXUhIzk3JSQhMCRHc0pgQipcJCEjOSQhMEB0LHNfLm4qISM6JCIwUTIpXFAjPih5ISM5Nyw3JSQhMCpbW1opPnIpRyEjOSQhMChIcDpAamE+ISM5JCIwRCZwPjMocFcpISM5NyUkITBzP1swcylRTSEjOSQhMDI9OiopeXVMIyEjOSQiMEE4S0cwcWQpISM5NyUkITBrK1oiUnAxUSEjOSQhLy5dKFJZKVJHISM4JCIuSFNsSFBIKSEjNzclJCEwQC01XHglPVEhIzkkITBrKFIlSHJtQSQhIzkkIjAjZUhaPHBIeCEjOTclJCEwMjl1NjQob00hIzkkITApPihRIlImcEokISM5JCIwQWQibzYiKVtyISM5NyUkITBlIT0uJFw1I0ghIzkkITBzIipbLF0lb0khIzkkIjBuZ2BSKSlHI28hIzk3JSQhMFhVPjthPFYjISM5JCEwJEhnTHRWKGYjISM5JCIwJGVfO2pVL3AhIzk3JSQhMHclPkcueEhBISM5JCEwWy4kUXpJQ0AhIzkkIjBZWUBWc19OKCEjOTclJCEwTFtERzMnNEMhIzkkITBeLDhMVy8oPSEjOSQiMEJGVCQzWmt6ISM5NyUkITAqW1taKT5yKUchIzkkITAoSHA6QGphPiEjOSQiMEQmcD4zKHBXKSEjOTcsNyUkITBNJ0dxZilSLSMhIzkkITAnUVxUcWQhbyMhIzkkIjBOYzooNGkwISohIzk3JSQhMDRzKT5jWV1DISM5JCEwbEtcLiMqeTskISM5JCIwKVx2VEInZkEqISM5NyUkITBYVyFbPGYrRiEjOSQhMHUib1skUU14JCEjOSQiMCR5L21sTEghKiEjOTclJCEwSiplZnZLZEUhIzkkITBIU0U4dVFAJSEjOSQiME5TLC5aeF0pISM5NyUkITB0NyJcbyI0TSMhIzkkITBmJmYpZTlKRyUhIzkkIjBrMFpGXl8heiEjOTclJCEwLmdYcTYlKio9ISM5JCEwQSVvUDh3W1IhIzkkIjAwMShmUHcudiEjOTclJCEwYl0pKkcoUlI6ISM5JCEwMUk+KT5FbkwhIzkkIjBoWWEmXDkiXCghIzk3JSQhMFJUMk5HJEg5ISM5JCEwKGZgS2xxNUchIzkkIjBvI29TJCpIdHkhIzk3JSQhMHNAck8yMmkiISM5JCEwRSlwcE1eUkQhIzkkIjBVKlFKRVRyJSkhIzk3JSQhME0nR3FmKVItIyEjOSQhMCdRXFRxZCFvIyEjOSQiME5jOig0aTAhKiEjOTcsNyUkITBvL3diZ1wrIiEjOSQhMGZrdWw4JSozJCEjOSQiMFEnNFpyaV0mKiEjOTclJCEwKTQiMyQpKlsoRyIhIzkkITBFcFZhVU1qJCEjOSQiLyopKW9RVFQmKSohIzg3JSQhMG0nXHYkb1NRIiEjOSQhMGBhV3FoP0klISM5JCIwWW40cGBudSohIzk3JSQhME1fcywxJlw3ISM5JCEwRFU9IW9UI3klISM5JCIwLE5kJj5yeSMqISM5NyUkITBmWCoqeWZ3WSohIzokITBZN3pNVyhcWyEjOSQiMEc2MzY9IXAnKSEjOTclJCEwJSlbPypvLnZoISM6JCEwZSdmTjVhc1chIzkkIjBSR0FvYUg/KSEjOTclJCEvaz1FaiV5OiUhIzkkITAydm9bL3QjUSEjOSQiMEtReiN6Zik0KSEjOTclJCEwRSxuKFImKmZWISM6JCEwPitSMFtmQCQhIzkkIjBhcElgeFpTKSEjOTclJCEwPFR4VSJ6J28nISM6JCEvMzgxQWBDSCEjOCQiMCdRZGQnRyN5KikhIzk3JSQhMG8vd2JnXCsiISM5JCEwZmt1bDglKjMkISM5JCIwUSc0WnJpXSYqISM5Nyw3JSQiMFl2ZWBkJHpsISM7JCEwJVFwczhoY0ohIzkkIjBFaCc0ZVUzNSEjODclJCEwMzcqKnknNFd1ISM7JCEweWUvI0h3M1AhIzkkIjBvZGlkIUhZNSEjODclJCEwTmFyZzR6QSIhIz0kITBqYW8oKVEmKVElISM5JCIwRWlVNSFlVzUhIzg3JSQiMGQqSF8hUShSRCEjOiQhMGA6cV5reShbISM5JCIwV0pEdSU0LzUhIzg3JSQiMHVoTSo+YSpvJiEjOiQhMFtoYyQqeXglXCEjOSQiL3dqPC95UCUqISM4NyUkIi8iUU9rYlYoeiEjOSQhMCNlSCpSb2JjJSEjOSQiMGtRZmNHJj0qKSEjOTclJCIvZi4uJCozRCQpISM5JCEuIm9sTTI1UiEjNyQiMC5wQ2ViaHMpISM5NyUkIjBbX1d6SXdkJyEjOiQhLyxGKlwyISlHJCEjOCQiMHciPUNcbl0qKSEjOTclJCIwMiMqW1BOJ1xOISM6JCEwIypSI3o/VyEqSCEjOSQiL1wkZVxKcVsqISM4NyUkIjBadmVgZCR6bCEjOyQhMCVRcHM4aGNKISM5JCIwRWgnNGVVMzUhIzg3LDclJCIwYXpYTk1TMyIhIzkkITAqcDpUNiQpKSlHISM5JCIwdW5VVlEzMSIhIzg3JSQiMCczJXBta2oxIiEjOSQhMFEnKlJScSEzTSEjOSQiMFp1WVdNYDUiISM4NyUkIi8kbyoqZlR0SSIhIzgkITAxJlxbNDRXUyEjOSQiMCo9JTRsRkU2IiEjODclJCIwL1EmbyQ0VXAiISM5JCEwLUEnPTxIKlwlISM5JCIwXy0zWzAkejUhIzg3JSQiMCcqelRDW2YvIyEjOSQhLz0vMCN6MWMlISM4JCIwQioqenVmNC0iISM4NyUkIjAwUnlwdno+IyEjOSQhMG83MV9IJio+JSEjOSQiL0deJHA1KlsnKiEjODclJCIwRl5WUmMiej8hIzkkITBwNWtoR1tlJCEjOSQiMCUqPnQtWUxQKiEjOTclJCIwLltqPygzWDwhIzkkITBfXnIoPT8vSSEjOSQiL2JHXkslPV4qISM4NyUkIjBcaCc+RzNfOCEjOSQhMCc+MzI1TEhGISM5JCIvMzR2emYqKioqISM4NyUkIjBhelhOTVMzIiEjOSQhMCpwOlQ2JCkpKUchIzkkIjB1blVWUTMxIiEjODcsNyUkIjAjcC5NNiJSJj4hIzkkIS9DcDYieT1LIyEjOCQiL1tOVERZNzYhIzc3JSQiMEEiNCpRJ1JFPyEjOSQhMDtdeWBRN3kjISM5JCIwKkhvcm5paTYhIzg3JSQiMC4lPSdbOyE0QyEjOSQhL1phXVB3Q0whIzgkIjBgOiEpPiF5eTYhIzg3JSQiL3BgSCNSRiNIISM4JCEwUFlARUsiKXAkISM5JCIvaGtfV09gNiEjNzclJCIwclUiUSEpPUZMISM5JCEwJ3phJ3pTbXMkISM5JCIwZihIWD1GKTQiISM4NyUkIjAocF0+bzZMTSEjOSQhMCplbSQqKVxwUiQhIzkkIjBeTSM+M0dSNSEjODclJCIwM2kmPi4nND4kISM5JCEwJFwxImZETCdHISM5JCIwKlI7SlIqUisiISM4NyUkIjAoPiFmREVTciMhIzkkITBlMDBqY2FQIyEjOSQiMEolPTNCIyozNSEjODclJCIvXFd4dFpEQSEjOCQhMDYkcD9CaWhAISM5JCIwJlsieiEqZjwwIiEjODclJCIwI3AuTTYiUiY+ISM5JCEvQ3A2Ink9SyMhIzgkIi9bTlREWTc2ISM3Nyw3JSQiMHM6PiJHTiZmIyEjOSQhLyN6ODJabF4iISM4JCIwInBaUE9YajYhIzg3JSQiMCZIIT5NLy9zIyEjOSQhMClcViVcVG4hPiEjOSQiMF8iZmZ5QT03ISM4NyUkIjBmUnZFWkw/JCEjOSQhME13ajsqPkJCISM5JCIwMkR1aXVIQyIhIzg3JSQiMFwybUEyIz1RISM5JCEwWSE0OVwwckQhIzkkIjBieUtsOWhBIiEjODclJCIwXl4zVCVHeFUhIzkkITA2Nyd5VUxNRCEjOSQiMCZHVjFwYHY2ISM4NyUkIjBIKm8uOnhsViEjOSQhLidRYCM+LUIjISM3JCIwOFluRjJcNiIhIzg3JSQiMGFkNFRrQS8lISM5JCEwWXgmUSczNSE9ISM5JCIwM3M8LyZmczUhIzg3JSQiMEhFbnBOImVNISM5JCEwLys1JltgWjkhIzkkIjA7LmxjKVJvNSEjODclJCIwKD1EeWNxJylHISM5JCEweiVHL0E+TjghIzkkIjBMYyRHOUcvNiEjODclJCIwczo+IkdOJmYjISM5JCEvI3o4MlpsXiIhIzgkIjAicFpQT1hqNiEjODcsNyUkIi8+bSYpMyQpXEghIzgkITAmelZzYyd5XyYhIzokIjAzWExjIylSQCIhIzg3JSQiMG47TkAoKUg0JCEjOSQhMExvJ3o/PUIpKSEjOiQiL0tSXDg+czchIzc3JSQiMD5GSD9JZ2kkISM5JCEwNF4yTSV5YzYhIzkkIjAiKkc3R0FeSSIhIzg3JSQiMExOXTZWJipIJSEjOSQhMGA6PEBmeEMiISM5JCIwdGYpNG1PKEgiISM4NyUkIjBZLkl4IlEpeiUhIzkkITAjR21uWW43NiEjOSQiLjksSWBERCIhIzY3JSQiMDklekNTOCopWyEjOSQhMCVwXyFvI1FaIikhIzokIi9pbSgqNGwiPiIhIzc3JSQiMGUmPiQpZUxIWCEjOSQhMCIqcFhseE4kXCEjOiQiME8mb21sOlY2ISM4NyUkIjBvc3QqM00oKVEhIzkkITBtbXlvMSIqKUghIzokIjAoSFEhNGgoSDYhIzg3JSQiMFtyaGxYTkUkISM5JCEwR0RoTjRRQSQhIzokIjAxJio0WUt4OiIhIzg3JSQiLz5tJikzJClcSCEjOCQhMCZ6VnNjJ3lfJiEjOiQiMDNYTGMjKVJAIiEjODcsNyUkIjAzclcjUTglKUghIzkkIjApSEMzVyc+eCUhIzokIi95MEMqZlVFIiEjNzclJCIwPF41QTM8NyQhIzkkIjByOlBfcmAmPSEjOiQiMGJFW2smZUM4ISM4NyUkIi9OLUYqeVtsJCEjOCQiMGViLSpbTlNZISM7JCIwOE9cTjxeTyIhIzg3JSQiMEdKTldwVEwlISM5JCIwbCJ5KCp5KCpbNyEjOiQiL2x3OykqKW9PIiEjNzclJCIwTUYlKT1LPCVbISM5JCIwKFFFdGEiSCVRISM6JCIwXEdkbnQhSDghIzg3JSQiMEVWQyJIMlNcISM5JCIwNipcJipmNktxISM6JCIwUiRcQ05PcDchIzg3JSQiMGR3eSpvPCRlJSEjOSQiMHo8aDQ8VksqISM6JCIwX0drUylwOjchIzg3JSQiMFUra3ZSIVFSISM5JCIwJUc7MEMocGsqISM6JCIweShwRSkpPSQ+IiEjODclJCIwPDdrS0dsSSQhIzkkIjB3PHciejVceSEjOiQiMEhCeUVuQkAiISM4NyUkIjAzclcjUTglKUghIzkkIjApSEMzVyc+eCUhIzokIi95MEMqZlVFIiEjNzcsNyUkIjB4aitAdT9wIyEjOSQiL1pZVSJwaFoiISM4JCIwKj0ocG5oWEoiISM4NyUkIjBHdChvQWw7RyEjOSQiMCc0KGVvJyk+PiIhIzkkIjA0U1JHQmJQIiEjODclJCIwRyxKIjNlNEwhIzkkIjB6Y2ZdT0A7IiEjOSQiME0kWzRqJkdVIiEjODclJCIwOm0pKTQ4LSVSISM5JCIwIj1sTGVlKzkhIzkkIjApPiFcNThXViIhIzg3JSQiME5oM0ZwTVQlISM5JCIwWGUleTp3JnoiISM5JCIwOCE9PGh5LzkhIzg3JSQiMCVRYjF2IXpdJSEjOSQiMFojXDxtdmlAISM5JCIwO1NKOVF5TSIhIzg3JSQiMC4qKmU1UiR6VCEjOSQiME0lSCQqKVwpSEIhIzkkIjBmVEZ4Oi1IIiEjODclJCIwSyU+dltdImUkISM5JCIwVyIzMG0mKT1BISM5JCIwQiZcYDYpKWU3ISM4NyUkIjAkUTwmNFFUKkghIzkkIjBlaGZ1NjwpPSEjOSQiMCY+Kj41J1xvNyEjODclJCIweGorQHU/cCMhIzkkIi9aWVUicGhaIiEjOCQiMCo9KHBuaFhKIiEjODcsNyUkIjA3KVt3JipRJTQjISM5JCIwLCpbIlwneVtCISM5JCIwJT0tcjxEbDghIzg3JSQiMC8hKj07UG9AIyEjOSQiMHRQKltDKkcvIyEjOSQiMChbMSJIKD5EOSEjODclJCIwdlMoemxcWUUhIzkkIjB0PU9yd0ozIyEjOSQiMFRvaiM0Rnk5ISM4NyUkIjBRJkg4YUsjPSQhIzkkIjAveS4kKSp5XUMhIzkkIjA+RUokKlEnKlwiISM4NyUkIjBjZmlSLk9kJCEjOSQiMEg+amBAUChIISM5JCIwSChcJClISXo5ISM4NyUkIjAnUiQ9QFpzaiQhIzkkIi4lXHVpRzJNISM3JCIwKT5LJVx5blUiISM4NyUkIi8iKlE2c1pWTCEjOCQiMCJcUCZHOSdbTiEjOSQiMDJJeURVbU8iISM4NyUkIi5CSWteKEhHISM3JCIwJ1wpPml3OkwkISM5JCIwJWZUKG9LcUsiISM4NyUkIjAqeWY0JVtrTCMhIzkkIjBDSCI+d3NkRyEjOSQiL3hHVE5bRTghIzc3JSQiMDcpW3cmKlElNCMhIzkkIjAsKlsiXCd5W0IhIzkkIjAlPS1yPERsOCEjODcsNyUkIjB6QTpfI1FQNyEjOSQiME46VVQ/eSskISM5JCIvaUU7UHo7OSEjNzclJCIvUlI4clclUSIhIzgkIjBPazkpZVtoRSEjOSQiMHAqXCpcPlJaIiEjODclJCIwIypvMXU/JVw8ISM5JCIwLXk3PzYjSEYhIzkkIjBEaz1YdjhgIiEjODclJCIwJGUicD1HOjsjISM5JCIwVktRJXBJekohIzkkIjB0J3AlSHhBYyIhIzg3JSQiLzsoenpSelUjISM4JCIwVEgqMyRvNiFRISM5JCIwMitCcmxAYiIhIzg3JSQiMCl6PT8nKSpSVSMhIzkkIjAlM2lfJT5RSSUhIzkkIjBSYmstc2RdIiEjODclJCIwRF5XeFs6OiMhIzkkIi8kRyU9VjFfVyEjOCQiMCJ5UGVWIVtXIiEjODclJCIwUEM6ZHMhUTwhIzkkIjBKIzMnW1BsPCUhIzkkIjApNGFkLHooUiIhIzg3JSQiMCdILkEsL3g4ISM5JCIwQnhELWhoZyQhIzkkIjA0QDUqeXMnUSIhIzg3JSQiMHpBOl8jUVA3ISM5JCIwTjpVVD95KyQhIzkkIi9pRTtQejs5ISM3Nyw3JSQiMDpBPiYpeikzPiEjOiQiMF8kPUAsJSl6TCEjOSQiMFZFMz5SKHA5ISM4NyUkIjApWzwtNiRHKVIhIzokIi9AJmUoUkUjKkghIzgkIjBGMStUXEBfIiEjODclJCIwXlA2KzkuPSghIzokIjAiPic+ZEZBMCQhIzkkIjBrZlE/QUJlIiEjODclJCIwOEtrMj4wKyIhIzkkIjAuc2tGdDtgJCEjOSQiMFcnUmA/NUE7ISM4NyUkIjBYQWYsbk42IiEjOSQiMHInejpKRTFVISM5JCIwajlcX3ZHaSIhIzg3JSQiMEc0OCQpeVUrIiEjOSQiMChcKW8rXC53JSEjOSQiMGwlXC0yRyVlIiEjODclJCIwNGd4eTt6QighIzokIjApeUouIW9ZJFwhIzkkIi8wW0tsUEM6ISM3NyUkIi9VZ1VoW0xTISM5JCIwaUMkNFZsWlkhIzkkIjBbI3lURz5yOSEjODclJCIwRHQoKjMmKSlHPiEjOiQiMGJFQCNbZ0xTISM5JCIwNFwuKFtoXDkhIzg3JSQiMDpBPiYpeikzPiEjOiQiMF8kPUAsJSl6TCEjOSQiMFZFMz5SKHA5ISM4Nyw3JSQhMFpYUmhxRGEqISM6JCIwRTtXWyEqNFQkISM5JCIvOzQ5QW9DOiEjNzclJCEwJXp4NEpwQGwhIzokIi9VOmtUaS1JISM4JCIwKHpWIzMnXHE6ISM4NyUkITBBYlldJlFPTSEjOiQiMDgnM1EqXHAuJCEjOSQiMCJ6eidIXTlqIiEjODclJCEweClRO3ZISTwhIzokIjAlMzUmUjF6XCQhIzkkIjB4VEdxQiF6OyEjODclJCEvV3V2bXMsQSEjOSQiMHYrZylvISlwVCEjOSQiMDdpXjxjNHAiISM4NyUkITA2MyhSZzNJWSEjOiQiMGpeUHFoI1FaISM5JCIwaFh0UGs7bSIhIzg3JSQhMDp0T0Y+Inp5ISM6JCIwRmM5XyVHUFwhIzkkIjBsS3JFYVtnIiEjODclJCEvJls9d2NHLyIhIzgkIjBVPTNOXVBuJSEjOSQiMCRmWUV6NVo6ISM4NyUkITBUa2ZlXiYzNiEjOSQiL2M4ZihwNDIlISM4JCIwXkEqNGJXOjohIzg3JSQhMFpYUmhxRGEqISM6JCIwRTtXWyEqNFQkISM5JCIvOzQ5QW9DOiEjNzcsNyUkIS94VW9iJioqMyMhIzgkIi9LOzRjZXRJISM4JCIwQCQ0bXA8I2UiISM4NyUkIS5qQSNmT3I7ISM3JCIwQWR4LT1PbyMhIzkkIjB0J1IhPXcnPjshIzg3JSQhMDAmMzdHVk84ISM5JCIwLiVwQFdOKHAjISM5JCIwRSgpSGEuJHo7ISM4NyUkITAqSF5pXig9QyIhIzkkIjBlKGV6dE8zSiEjOSQiME9DI1soZUp0IiEjODclJCEwI0duW3YkPlYiISM5JCIwRlIwUFJWcyQhIzkkIjBtVnFNVWd2IiEjODclJCEvQXhud288PSEjOCQiMG47VURdcUQlISM5JCIwdk0jXG9DUDwhIzg3JSQhMF9cPnZHJz1BISM5JCIwN0R4b1FzWCUhIzkkIjA0NnIob2MmbyIhIzg3JSQhL1cmPixjclcjISM4JCIwVHoieVVCSlUhIzkkIjBGKSlSMSU9RDshIzg3JSQhMCdILi4hUmpSIyEjOSQiL19jK3F5JW8kISM4JCIwbTEjKj5fVmUiISM4NyUkIS94VW9iJioqMyMhIzgkIi9LOzRjZXRJISM4JCIwQCQ0bXA8I2UiISM4Nyw3JSQhMFciZjhNUyg0JCEjOSQiMEIqSDk/UXRCISM5JCIwOGVaWU9FayIhIzg3JSQhMHUudWMkcGhEISM5JCIwTixpKSlbODAjISM5JCIwQUZYM0QvbiIhIzg3JSQhMCpIKCkzTSQ9PCMhIzkkIjBCZFY/UDoyIyEjOSQiMGw4SWYmZkU8ISM4NyUkITB3KSkqUUdDNUAhIzkkIjBjTC5qK1hVIyEjOSQiMCg0LiY9bFt5IiEjODclJCEwI0chKnAydTBDISM5JCIwXmtWbCQzWEghIzkkIjApKXozKClveiI9ISM4NyUkITB6WWNWZysjSCEjOSQiMDhxUXAqcCpRJCEjOSQiL18vb3FUNT0hIzc3JSQhMHAjZltmYTdNISM5JCIwKSkzRSd6SV1OISM5JCIwQC0hXEx1bDwhIzg3JSQhMExtUSd5dl9PISM5JCIwI2VubSFlPE4kISM5JCIwQCVRVjUmW3EiISM4NyUkITA2YG1OKUhHTiEjOSQiMEs5ITRQJnApRyEjOSQiMFhLeExLaWwiISM4NyUkITBXImY4TVMoNCQhIzkkIjBCKkg5P1F0QiEjOSQiMDhlWllPRWsiISM4Nyw3JSQhMC9ZLGh4eiZRISM5JCIwbSEpXCJHc2I4ISM5JCIwJXBcI3paaXEiISM4NyUkITApZkNjMnFHSyEjOSQiLzgoMzI+JVw2ISM4JCIwdFtVcSNRQjwhIzg3JSQhMDZuN0tzXHgjISM5JCIwNydlamFPPDchIzkkIjAtd0R3PlR4IiEjODclJCEwI2ZjIylvNDRGISM5JCIwJFEkMzdweF8iISM5JCIwKnkrTSY9WiQ9ISM4NyUkITBrTStIKSo9MSQhIzkkIjAlZWpAKClRTj4hIzkkIjAvNip6VCNvKD0hIzg3JSQhMHduVCVvSG9PISM5JCIwayplQ1hcXEEhIzkkIjBFOjErTjIpPSEjODclJCEwPDxAIz5iV1UhIzkkIjAqZmZMSDZCQiEjOSQiMDZcJ3o1aVc9ISM4NyUkITBeWyZvdC1AWCEjOSQiME4ucDIoekBAISM5JCIwPCUqPl8hUSZ5IiEjODclJCEwRCVSXHNOb1YhIzkkIjB0TTcpW3VSPCEjOSQiMG1pSGtLMnQiISM4NyUkITAvWSxoeHomUSEjOSQiMG0hKVwiR3NiOCEjOSQiMCVwXCN6WmlxIiEjODcsNyUkITAkKSlIW0RLb1UhIzkkIjAzWCtxIW90NSEjOiQiMEBlTUhTSHgiISM4NyUkITAjZTxKTUoqZSQhIzkkIjAnKTNAJSpSdDMmISM7JCIwYi9QNiYqKnk8ISM4NyUkITBydShbSDUoMyQhIzkkIjBheFchMzoqNCMhIzokIjA9akY4SUUjPSEjODclJCEweGVzJzRvJypIISM5JCIvdCEpSHV2K14hIzkkIjBNbi0vR00pPSEjODclJCEwcDJuJHBOZ0whIzkkIjBmbTV4byE0IikhIzokIjBQLSc+MyVIJD4hIzg3JSQhMDozI0hHJ3orJSEjOSQiMHlCIT1EWTsoKiEjOiQiMDtXNSozK1s+ISM4NyUkITBRQC5sd2tqJSEjOSQiMCpmR3M3IzM8KiEjOiQiMC4ieno5Y0A+ISM4NyUkITBaJip6ejQ9JlwhIzkkIjAiNCdvamN1cychIzokIjBtNC0pUSpmJz0hIzg3JSQhMDgnKnlROWshWyEjOSQiMDFQJ3pna0hOISM6JCIwRDQoKnkpSDI9ISM4NyUkITAkKSlIW0RLb1UhIzkkIjAzWCtxIW90NSEjOiQiMEBlTUhTSHgiISM4Nyw3JSQhMCwnKWVdb3BEJSEjOSQhMDknPiQ0SClbNyEjOSQiMD5Lcmk+QyU9ISM4NyUkITBCN2h4WEhlJCEjOSQhLWlaIT1LOSIhIzYkIjBLUjc0cHUkPSEjODclJCEwJUc8XkVicEkhIzkkITAqb18mZk5ZZykhIzokIjBmKSlvJXl0cz0hIzg3JSQhMC1jKno5LGRIISM5JCEtRmtmcEdgISM3JCIwOlY4REI8JD4hIzg3JSQhMCIqSHNfIil6SCQhIzkkITAoeiFSOTVzOCQhIzokIjAnKjMkeWAjbyk+ISM4NyUkITAzOiU9Ij5IJFIhIzkkITA2U2FxKWZiSSEjOiQiMHonPUk4RTc/ISM4NyUkIS8yMCkqKUhaYyUhIzgkITBrTnphWz83JiEjOiQiMCpRU1UkSGgqPiEjODclJCEvMWIhZSN5KCpbISM4JCEwNGZTI1trcCQpISM6JCIwJTRMXngoZiU+ISM4NyUkITAiW0k5IlFpeCUhIzkkITAsP1Y2ISl5NyIhIzkkIjAlUSFRL3RfKT0hIzg3JSQhMCwnKWVdb3BEJSEjOSQhMDknPiQ0SClbNyEjOSQiMD5Lcmk+QyU9ISM4Nyw3JSQhLyNIPiZwPyl6JCEjOCQhMCY0JVt4b3BjIyEjOSQiMF50SFtbVSI+ISM4NyUkITBub3NAekk9JCEjOSQhME8vJTRPeTVCISM5JCIwS2UiZSUqeSkqPSEjODclJCEwVTo/O18kNEYhIzkkITBKSm8qZSE9Kj0hIzkkIjA6KVFncCZbIz4hIzg3JSQhMEE3LSV6bylmIyEjOSQhME1gXycqemddIiEjOSQiMGpoY3JgLSk+ISM4NyUkITBoTzZkbkchSCEjOSQhLkFcRSI0TTghIzckIjAnKj5sJyplIVI/ISM4NyUkITAvKipbLWkmek0hIzkkITAiUTs/X0pjOSEjOSQiMCYqUUQzZFAyIyEjODclJCEwOFJ0YkgqZVMhIzkkITA8YFIpPWM6PSEjOSQiMHMxJ0hDNm8/ISM4NyUkITBGdjVteClwViEjOSQhMDZAKFxkdFZBISM5JCIwZWpOP21aLSMhIzg3JSQhMDRtREU1cEUlISM5JCEwTl9xXSpbU0QhIzkkIjB3OWBlK1MnPiEjODclJCEvI0g+JnA/KXokISM4JCEwJjQlW3hvcGMjISM5JCIwXnRIW1tVIj4hIzg3LDclJCEwRmstSz0lPkghIzkkITApW0NzPW4ncCQhIzkkIjAmWzc9eiR6KT4hIzg3JSQhMENqTywheTBDISM5JCEwR2RdMFk5SyQhIzkkIjAwKEhSKnpGJz4hIzg3JSQhL1R5TShlWi0jISM4JCEvdk9CZmh4RiEjOCQiMHMpKm9NMSN6PiEjODclJCEwQSVmdSZRWSY+ISM5JCEwJj16UmNrPkIhIzkkIjAmUURVNWBIPyEjODclJCEwQVhgYEgjR0EhIzkkITA5KXkqZUM9OyMhIzkkIjAzNDZhMS00IyEjODclJCEwKW8oZU86dnIjISM5JCEwcFFtKiopKnpQIyEjOSQiLjxLNVVHOCMhIzY3JSQhMDh4Iyl5YE4+JCEjOSQhMEJuR1g9cSdHISM5JCIwImVBdiEpW1BAISM4NyUkITA6RlQ4LE9WJCEjOSQhMGBlK0tsK1MkISM5JCIwUSk+YjAoPjUjISM4NyUkITBrdUNlT2BLJCEjOSQhMHcoKlsvQHhzJCEjOSQiMHopWyZlM0gvIyEjODclJCEwRmstSz0lPkghIzkkITApW0NzPW4ncCQhIzkkIjAmWzc9eiR6KT4hIzg3LDclJCEwJ0coelMkMys8ISM5JCEwVkxfeGVMXSUhIzkkIi54PVs+STEjISM2NyUkITBMPUVVYUJKIiEjOSQhMFZJXydbdl9TISM5JCIweV8pKW93Ikg/ISM4NyUkITB3d3RycSJvNSEjOSQhMGBFekF4c1QkISM5JCIwWjI+QV1lLiMhIzg3JSQhMEhJPGMpeSIzIiEjOSQhMFtqQiJIRiUqRyEjOSQiMHNjMlk8Kno/ISM4NyUkITBUZ1wsT29NIiEjOSQhMHVRLlhoJUdGISM5JCIwOiFmYSllMjkjISM4NyUkITBWRSFHV0hSPCEjOSQhMCNHc255VSgqSCEjOSQiMExjIVJnISoqPSMhIzg3JSQhME1seDlHYjIjISM5JCEwJUhmKXk+YGQkISM5JCIwVkwuXWlWPyMhIzg3JSQhMHYqKSl6JzQjKT4jISM5JCEwcD8xO048PiUhIzkkIjBAQyYqKlFPeEAhIzg3JSQhL2Axc1wkKlw/ISM4JCEwXlMwUVkjZVghIzkkIjBNLj89Vjo3IyEjODclJCEwJ0coelMkMys8ISM5JCEwVkxfeGVMXSUhIzkkIi54PVs+STEjISM2Nyw3JSQhMDs7I2YjeiJIRSEjOiQhMC09UzxZaylbISM5JCIwQ0wpSGgzUkAhIzg3JSQhMCQzKGVcLTs1JiEjPCQhME1EcG13blMlISM5JCIwYkNoZiFwKDQjISM4NyUkIjApcCdRTSYzUXYhIzskITA+TCp5SjdHUCEjOSQiMEc+bG9fWjQjISM4NyUkITAmSEVyJD5IImYhIzskITBZbSU+Xy5vSiEjOSQiMChIZCIzWjs4IyEjODclJCEwPl0oeipIcFgkISM6JCEwJVJXcFRlKSlIISM5JCIwWi9RWzU2PiMhIzg3JSQhMCc+SzA8Qy1sISM6JCEwVlomcHJ0dEshIzkkIjBjWmtJPmBDIyEjODclJCEwcndEIj5ILSQpISM6JCEwJGYhPid6MSEqUSEjOSQiMGVCKlEnMypvQSEjODclJCEwRTVVNTxbLCkhIzokITA3QCE+Jik9XFghIzkkIjB4Ky94UzNEIyEjODclJCEvUil6JCpIVngmISM5JCEweTRwKypvVVwhIzkkIjAmSE9kKXAmKj4jISM4NyUkITA7OyNmI3oiSEUhIzokITAtPVM8WWspWyEjOSQiMENMKUhoM1JAISM4Nyw3JSQiL3VTeCl6NEMiISM4JCEvJHp6LShvI3olISM4JCIwR1JRKVshZUAjISM4NyUkIjBeJ3pRaD0kUSIhIzkkITBmPChbNjBDViEjOSQiMGspW0IkWyFvQCEjODclJCIwbDdjSWtZSCIhIzkkITA+LTk1aW9sJCEjOSQiMChITlR6I2U6IyEjODclJCIwODh1c01vLCIhIzkkITBGX2kwMEw1JCEjOSQiMCh6LyF6aFs9IyEjODclJCIwSiRwOiZwcHonISM6JCEwdyV6MWJSQUghIzkkIjAnUjQ0WWNUQSEjODclJCIvZW4tXCw1VyEjOSQhMF8xPS8keSk+JCEjOSQiMHB4Iz5YUypIIyEjODclJCIwRWJsLW1WNyUhIzokITBEXT4nRzkuUSEjOSQiMD0wUWU8OEwjISM4NyUkIjA4LTY8Im90ZyEjOiQhMFlwMUgpb19XISM5JCIwIyk0XktyQksjISM4NyUkIjBFZWY2YWVNKiEjOiQhMDZ0SCEpKltWWyEjOSQiMHhocXpebkYjISM4NyUkIi91U3gpejRDIiEjOCQhLyR6ei0obyN6JSEjOCQiMEdSUSlbIWVAIyEjODcsNyUkIjBhNmdQIltdRSEjOSQhMFw5JWVONkJVISM5JCIwPmMnKVw1SEgjISM4NyUkIjAlUWAjemFVcSMhIzkkIS8qcEpXakZ6JCEjOCQiMDFaSms3K0MjISM4NyUkIjAqPT84UiNIWSMhIzkkITBCXDtQZyMpPSQhIzkkIjBqdXZ4eCo9QSEjODclJCIvIlwmUSxUUj8hIzgkITBHPyRcIWVDcCMhIzkkIjB2OyRcJFsnUkEhIzg3JSQiMCJvY3EtKT1qIiEjOSQhMCIpSEkqeU1QRCEjOSQiMFlGIm9CTiNIIyEjODclJCIwIlJuaj8tSjkhIzkkITBcaihvd10meiMhIzkkIi9gJ3kuSENOIyEjNzclJCIwI2Y7MCQ+M2AiISM5JCEwQUgkWzo5WUwhIzkkIjA4IzM8eXciUiMhIzg3JSQiMCJmaWNkZCUpPSEjOSQhMEhrKT49Z0pSISM5JCIwYiF5YDsnPlIjISM4NyUkIjB2XUclW3dFQiEjOSQhMEdeYzZYekYlISM5JCIwOTonXCk+SE4jISM4NyUkIjBhNmdQIltdRSEjOSQhMFw5JWVONkJVISM5JCIwPmMnKVw1SEgjISM4Nyw3JSQiMCwpXG4iUVAiUSEjOSQhMHolb1peNExLISM5JCIwTUhiMCo9cUIhIzg3JSQiLzd3XWB3NlEhIzgkITBPRF0pRyc+JkchIzkkIjAtKCkqcHJROEIhIzg3JSQiMGhdInA3UV5NISM5JCEwRTNUZD0nXEIhIzkkIjBAIVxNXzYlRyMhIzg3JSQiMHh1J1JPQCxIISM5JCEwdlk0cTk2Jz4hIzkkIjA9ekgiKnBnSCMhIzg3JSQiMGAoZjU/cD1DISM5JCEwcEtiYU8jbz0hIzkkIi92X3l1bFZCISM3NyUkIjByJXo5T2ZIQSEjOSQhMC81IUhHVzlAISM5JCIwQlEuPTZZUyMhIzg3JSQiMC1kS3AqUkFDISM5JCEvPDEmKjNgJWUjISM4JCIwPjRSNTUvWCMhIzg3JSQiMDFyIVJUKm8hSCEjOSQhL184ODhhZUkhIzgkIjA+LlJVQydmQyEjODclJCIwWiVbO21QY00hIzkkITAlXGRTJHpZSiQhIzkkIjBGKmVkRSV6VSMhIzg3JSQiMCwpXG4iUVAiUSEjOSQhMHolb1peNExLISM5JCIwTUhiMCo9cUIhIzg3LDclJCIwO00mPVc2MVkhIzkkIS8kUmI5TWUjPiEjOCQiMG84UlVkdVcjISM4NyUkIjB4J1xuO3d5WCEjOSQhMCo0O2FEYCllIiEjOSQiMHZkMXc1ISlRIyEjODclJCIwJXo5YVMiUTklISM5JCEwI0gnXEwwLkAiISM5JCIvenFjbDxeQiEjNzclJCIwKXluKyUpeS9OISM5JCEwdl5MMiNIIm8qISM6JCIwJillYSUqKj1hQiEjODclJCIwRkNCIj5wZ0ghIzkkIS9rIylHMkBgKCohIzkkIjAlUiMpRzRrJlIjISM4NyUkIjBuWUhROGh3IyEjOSQhMChweXhkXkc3ISM5JCIwRjU1OE1oWCMhIzg3JSQiME1TKm8jKTQ3SSEjOSQhMHR4Y3FTIzQ7ISM5JCIwI3lTNVRPMkQhIzg3JSQiME1KJDN2YSRlJCEjOSQhMGQzOlZdJFI+ISM5JCIwbSlIIXpmYF8jISM4NyUkIjB3ZDVsdElAJSEjOSQhMEstZSVIUWs/ISM5JCIwPGk/eis8XSMhIzg3JSQiMDtNJj1XNjFZISM5JCEvJFJiOU1lIz4hIzgkIjBvOFJVZHVXIyEjODcsNyUkIjAqKikpemVNWiVcISM5JCEwQ19ieVZEUyUhIzokIjBSMVtnVFhfIyEjODclJCIwdiEpZlNQSiJcISM5JCEwJ2YxIm90TEciISM6JCIwTGI4PVhQWSMhIzg3JSQiMDljISplRi9YJSEjOSQiMDQmSDdYOFA3ISM6JCIwKWV2Y1I3P0MhIzg3JSQiMCo0Ky5BNnRQISM5JCIuSCYpKnBnej4hIzgkIjAsJXoneSkzOUMhIzg3JSQiMGBzV2s5Iik+JCEjOSQiMHhWbVxFaidmISM7JCIwTG9YZmolW0MhIzg3JSQiMEYjXGhFWyUqSCEjOSQhMD48a1l6WUUjISM6JCIwInlbRFM7MkQhIzg3JSQiMDM5PyN6XGRLISM5JCEwOmYxaCpbbF8hIzokIjBmVWJcQkZjIyEjODclJCIweF1EbSM0a1EhIzkkIS8zR21gbyxxISM5JCIwSz43NlgiKmUjISM4NyUkIjBrYkNZTS9gJSEjOSQhMEhnTlciKTNtJyEjOiQiLyQqKlshZjF1RCEjNzclJCIwKiopKXplTVolXCEjOSQhMENfYnlWRFMlISM6JCIwUjFbZ1RYXyMhIzg3LDclJCIwKHA5IVtoISl6JSEjOSQiMCI9dEo2RWw1ISM5JCIwT10+OWI3ZyMhIzg3JSQiMC1oRyJmSnBaISM5JCIwXysmPWVWeDghIzkkIjAuOUN6ZC9hIyEjODclJCIvKTM8XCdRPlYhIzgkIjB3cUY8Vyk+OiEjOSQiMFlMXm5TNFwjISM4NyUkIjAnZkQkPispZU8hIzkkIjAicClHdV5lVSIhIzkkIi9kZypSdGVaIyEjNzclJCIwXloiKW9fbTQkISM5JCIwOCw5alElUjYhIzkkIi9WXTZoSS1EISM3NyUkIi90ZlQhemYqRyEjOCQiMCR5L2pyP1l6ISM6JCIwLmw2bHF5YiMhIzg3JSQiMExsSW93MTokISM5JCIwMGRIS0B1XyYhIzokIjBkXEh2bmxoIyEjODclJCIwdGZhdnA6dSQhIzkkIi94N3FiISlwXyEjOSQiL3RlIVJLNGwjISM3NyUkIjA7aUojRzwjUiUhIzkkIi8pKVF5NiFSSCghIzkkIjA5MiNvXClbayMhIzg3JSQiMChwOSFbaCEpeiUhIzkkIjAiPXRKNkVsNSEjOSQiME9dPjliN2cjISM4Nyw3JSQiMEdWX25EJSo9JSEjOSQiLyQzOzJWOVYjISM4JCIvJG92Q3l0biMhIzc3JSQiMEs+WFltWjolISM5JCIwckhCPXQjcEYhIzkkIi9FJlJ1Kip6aCMhIzc3JSQiMGJCViEpW1l1JCEjOSQiMCk9KW8ncFBLRyEjOSQiMEBwJFslPU9jIyEjODclJCIwbTZlSXI0OiQhIzkkIjBUX0pZRjdmIyEjOSQiMFItTSgqeidSRCEjODclJCIwI3lfb0FfXkUhIzkkIjBgOVM/aCdlQCEjOSQiMGhOdlImUWREISM4NyUkIjApW3haJSoqKnpDISM5JCIwSmQmXDIzUDwhIzkkIjAzVmc6XSUzRSEjODclJCIwKHBreC1tO0YhIzkkIjA6bSh6I1tQXyIhIzkkIjBlKCozWyEpKm9FISM4NyUkIjB5YWNfbzJEJCEjOSQiMGojPUdXWz07ISM5JCIwMSFRZ05sNUYhIzg3JSQiMFsubSs0QyRRISM5JCIwbigzKTRocCg+ISM5JCIwKGZYKDRxUnIjISM4NyUkIjBHVl9uRCUqPSUhIzkkIi8kMzsyVjlWIyEjOCQiLyRvdkN5dG4jISM3Nyw3JSQiMCIpR0RpNFM+JCEjOSQiMG96WnU+cF4kISM5JCIwL3EqNCFSRXYjISM4NyUkIjBHXThvbC84JCEjOSQiMDNUV2RgeSpRISM5JCIwVjVrJCp6aHAjISM4NyUkIjBBWHFHJDRwRiEjOSQiMCJ5dWIqWyM9UiEjOSQiMEhTbVNPIlFFISM4NyUkIjB6OiIqZiMpKnlBISM5JCIwLjxKbWkmb04hIzkkIjAyQExqbmNnIyEjODclJCIwcjxhJj1ZKik9ISM5JCIwJDQ/Kno7QywkISM5JCIwL1JqNm1SaCMhIzg3JSQiMDxvNDkjeiN5IiEjOSQiMGwpZiU+USteIyEjOSQiMHRpSyEqWyJmRSEjODclJCIwJipmMVMmKSkzPyEjOSQiMCcpPjxRJlwnSCMhIzkkIi8pUmZZdStzIyEjNzclJCIwY09iM10+WSMhIzkkIjBidWZUMjxaIyEjOSQiMFgiW2NdQm9GISM4NyUkIjA5IkglPiMqKkhIISM5JCIvLEZSMXBgSCEjOCQiMCp5Syp6JjQieSMhIzg3JSQiMCIpR0RpNFM+JCEjOSQiMG96WnU+cF4kISM5JCIwL3EqNCFSRXYjISM4Nyw3JSQiMGlwRzJTJUg+ISM5JCIwTThxKFwpXEAlISM5JCIwW1w6KioqcEVHISM4NyUkIi8iW0F3X1whPSEjOCQiMFRfRHJjP2slISM5JCIwUWE5PU9aeCMhIzg3JSQiMD5JTWUzQlsiISM5JCIweVQqUnhgYFkhIzkkIjBgQDxISVdyIyEjODclJCIwVnZNTHdDNiIhIzkkIjBibyllZjBXVSEjOSQiMEMjUT0sK3VFISM4NyUkIjBzX09LWV1vKSEjOiQiMCcqemJXN19nJCEjOSQiMEd0KSlRakJuIyEjODclJCIwI2UjXF0wYmspISM6JCIwYCkqKXoiSGYuJCEjOSQiMDdBciVmRzVGISM4NyUkIjBLNW5Da0M1IiEjOSQiME86KEcsZS1HISM5JCIwJT1tMU0tcUYhIzg3JSQiLlUlZUsjNFoiISM3JCIwKFtZMT5OOUkhIzkkIjAqZUVZUmlCRyEjODclJCIvRTg+Ol8oeiIhIzgkIjAkcHZXVDpzTiEjOSQiLypceEYyZyVHISM3NyUkIjBpcEcyUyVIPiEjOSQiME04cShcKVxAJSEjOSQiMFtcOioqKnBFRyEjODcsNyUkIjApUWx0RXAzYSEjOiQiMHZ0eEtXaFklISM5JCIwVXc1UWMiKipHISM4NyUkIjBXRjBhYUFBJCEjOiQiMG04JUc4SENcISM5JCIwYHIqMyEzTCZHISM4NyUkIjAieSMqM0Z6ejchIzskIjAoZWBCMCoqW1whIzkkIjBGKmVVRU4jeiMhIzg3JSQhLlx2TShHRUMhIzgkIi88QyYpW29HWCEjOCQiMEsuYCg+Ilt1IyEjODclJCEvd153YlBYSyEjOSQiMCdlJ0c0UysnUSEjOSQiMFgjcDgzJEh0IyEjODclJCEwJXBfSVwtWT4hIzokIjA2P2ZaQWZEJCEjOSQiMHk9YFtvQXcjISM4NyUkIjBoK1wjKVJ5aikhIzskIjAiR1IiUTAhKipIISM5JCIwWXd2Yyg0PkchIzg3JSQiL15lVy5KcFEhIzkkIjB1R0o8LiY0SyEjOSQiMEEjSCxyI28oRyEjODclJCIvIkgjb1xCa2MhIzkkIjBIX1xmQCopeSQhIzkkIjA6W2d6VyUzSCEjODclJCIwKVFsdEVwM2EhIzokIjB2dHhLV2hZJSEjOSQiMFV3NVFjIioqRyEjODcsNyUkITBYVFJqI1x4IikhIzokIjAxbGhxbVdFJSEjOSQiMHc0N1NhJnBIISM4NyUkIS84IWVkbmI6IiEjOCQiMFchb2kxJTRzJSEjOSQiMChcYVItVUpIISM4NyUkITBCOW1YPF9bIiEjOSQiMFwmMyhRPkZ3JSEjOSQiMCo0Wz4jSDsoRyEjODclJCEwQl1IMV9DbCIhIzkkIjBHNypcVERxViEjOSQiMCMqM1FBZSI9RyEjODclJCEwMSoqUVk/IXo6ISM5JCIwVCpSKHokPUZQISM5JCIwa25jI3AtJ3ojISM4NyUkITA0ZTI3I0cqSCIhIzkkIjBfPVc0M1c4JCEjOSQiMFg+YSEzZjpHISM4NyUkITBfJEdLckhUJSohIzokIjBcaS5RJEhwRyEjOSQiMDsranEmcG5HISM4NyUkITBoQigpKipIdXonISM6JCIwKSpmangqKWUwJCEjOSQiMEExaDtoeiNIISM4NyUkITAwLz9pOSQpSCchIzokIjAiZSRcdicpb2ckISM5JCIvJT1rSSk9b0ghIzc3JSQhMFhUUmojXHgiKSEjOiQiMDFsaHFtV0UlISM5JCIwdzQ3U2EmcEghIzg3LDclJCEwIlFKJ28mZS4/ISM5JCIwaUEvaW1qbCQhIzkkIjBBYXUxUXUuJCEjODclJCEwKHl5Lzl5b0MhIzkkIjB4Q0ptISplMSUhIzkkIjBZa1QmM1wzSSEjODclJCEucjUlZWdcRyEjNyQiMEI1KEgsLDNUISM5JCIwIlsuLVYjPSZIISM4NyUkITA7TSE0cSd5J0ghIzkkIjAlemxgbyxqUCEjOSQiMEomZT9MJlIqRyEjODclJCEwIjQnUT5II29GISM5JCIwJWYrQnFMIz4kISM5JCIwXitfUWM+J0chIzg3JSQhMCl6Kno5MFRNIyEjOSQiMDo7SDIpKkhtIyEjOSQiMEdgdkAwMyhHISM4NyUkITBPPWhBWlIqPSEjOSQiL0YzImUkb0FDISM4JCIwJT5rXSRmaiJIISM4NyUkITBiPEdLKlFHOyEjOSQiMGJLIXAkUlFlIyEjOSQiMF47JCpcLnQoSCEjODclJCEwTihSSyopb3I7ISM5JCIwKm9gXyllNTIkISM5JCIwUiQ0Pjc3REkhIzg3JSQhMCJRSidvJmUuPyEjOSQiMGlBL2ltamwkISM5JCIwQWF1MVF1LiQhIzg3LDclJCEwQD1QdSlwLUghIzkkIjAnPV4nej07dCMhIzkkIjAmRzduW1UtSiEjODclJCEvbCJwP1g4WyQhIzgkIjA9djNLVmQvJCEjOSQiMClwNFBpKFEzJCEjODclJCEwaEQmPUgqNCRSISM5JCIwRE1PJjQ9YUkhIzkkIjA4RWtLTUIuJCEjODclJCEwJ2YrPG5DVFMhIzkkIjBEWkVqJClIdiMhIzkkIjB0UHo7Oz4oSCEjODclJCEwNzlaaTwwdyQhIzkkIjBPUj0kXDMkRyMhIzkkIjBgaCUqMyMqMyRIISM4NyUkITB5KilRIT47P0shIzkkIjAkNG12Y05rPSEjOSQiLyVbS3JkJUdIISM3NyUkITBgInAsIT1JbiMhIzkkIjA8Tm4kUnMjcCIhIzkkIjBhJCk0Nl9kJ0ghIzg3JSQhMDMmeUkxNXZCISM5JCIwdXpKNilcWz0hIzkkIjBoJls+W0tESSEjODclJCEwSysrazNlWSMhIzkkIi8iKmZPKCp5ZUEhIzgkIjBmcGo1LCR6SSEjODclJCEwQD1QdSlwLUghIzkkIjAnPV4nej07dCMhIzkkIjAmRzduW1UtSiEjODcsNyUkITAmNDQlZic9VU0hIzkkIjA7cj4yKj4zOyEjOSQiMG8nUilRJkhrSiEjODclJCEvVSEzMUElKTQlISM4JCIwV0YhZXd1J3kiISM5JCIwT102NGNwOiQhIzg3JSQhMHguR0FiS2glISM5JCIwTTNrcUYhPjwhIzkkIjBpUlNOR0M2JCEjODclJCEwIm8mPSMqKnlYWiEjOSQiMCcpKjROaHNPOSEjOSQiMEVILD9aOjAkISM4NyUkITBHPCQqcDZTViUhIzkkIjB1XG4pXCQ+MiIhIzkkIjBlX3pmKnotSSEjODclJCEwVFMwMDBRI1EhIzkkIjAuSShRNFdgeiEjOiQiMEpQQjQmKiopKUghIzg3JSQhMFIhPVtDcCtLISM5JCIwXz9ANE1QTyghIzokIjAkMylbJ0hmO0khIzg3JSQhMG4xUz9OaSZHISM5JCIwKiplXXJmaEEqISM6JCIwI1FJayl6RTIkISM4NyUkITAnUnkhcDM7JkghIzkkIjB0LGcibyNwRSIhIzkkIjAjKUhxNTc1OCQhIzg3JSQhMCY0NCVmJz1VTSEjOSQiMDtyPjIqPjM7ISM5JCIwbydSKVEmSGtKISM4Nyw3JSQhMEMyUkxKU2gkISM5JCIvZDxINDx6TyEjOSQiL0pFXicqPUVLISM3NyUkITAjSGA2Kz0hSCUhIzkkIjBAUUcpUkoyWiEjOiQiMEdRKHA8IlxBJCEjODclJCEwdXFuQl0wJFshIzkkIi9FJ3pdX0dgJCEjOSQiMHd5eCV6ayU9JCEjODclJCEwJWVvdm5IIylcISM5JCIwRyZHODNJYHEhIzskIjAkPjt2IVFVNyQhIzg3JSQhMCNcQ09kVHVZISM5JCEwXkkjSFRBX0MhIzokIjA7bUVnWz4yJCEjODclJCEwKSo9JnkhbzQwJSEjOSQhMHooRzthTmlXISM6JCIwKFxnYmpDX0khIzg3JSQhMCNwUyEqPW4uTSEjOSQhMFUzMCwsWFElISM6JCIwUFdWQl1WMiQhIzg3JSQhMDxBQUQvYS4kISM5JCEvPmhgKSozYkEhIzkkIjAnXE8pZTx6NyQhIzg3JSQhMEc1Wm8iWz1KISM5JCIwJSo0SzNIXUgqISM7JCIwbiZRZE8peT0kISM4NyUkITBDMlJMSlNoJCEjOSQiL2Q8SDQ8ek8hIzkkIi9KRV4nKj1FSyEjNy0lK0xJR0hUTU9ERUxHNiNRKExJR0hUXzE2Ii0lK1BST0pFQ1RJT05HNiwkIileQUI8ISIpJCEpayh5VSchIikkIigzVFkoISIoJCIpdyZmVyIhIikkIilXV2d3ISIpJCIpLjhqaSEiKSQhKTFxVigqISIpJCIiISEiIiQiKTFeXEEhIikkIiM1ISIiLSUmQ09MT1JHNiMlK1hZWlNIQURJTkdHLSUmU1RZTEVHNiMlLFBBVENITk9HUklERy0lKkFYRVNTVFlMRUc2IyUmRlJBTUVHLSUoU0NBTElOR0c2IyUsQ09OU1RSQUlORURHLSUlUk9PVEc2Jy0lKUJPVU5EU19YRzYjJCIkKyIhIiItJSlCT1VORFNfWUc2IyQiJCsiISIiLSUtQk9VTkRTX1dJRFRIRzYjJCIlK1IhIiItJS5CT1VORFNfSEVJR0hURzYjJCIlK1IhIiItJSlDSElMRFJFTkc2Ig==
NypJKGZpbmR1bmlHNiJJJ2Zpbml0ZUclKnByb3RlY3RlZEdJJ2diYXNpc0dGJEknZ3NvbHZlR0YkSShsZWFkbW9uR0YkSShub3JtYWxmR0YkSSlzb2x2YWJsZUdGJEkmc3BvbHlHRiQ=
[x^2-2*x*z+5,x*y^2+y*z^3,3*y^2-8*z^3];
Groebner[gbasis]([x^2-2*x*z+5,x*y^2+y*z^3,3*y^2-8*z^3],plex(y,x,z));