Sess\303\243o de demonstra\303\247\303\243o para o tutorial STACS2018
sobre estruturas combinat\303\263rias recursivas Para ser lido em conjunto com os slides dispon\303\255veis em http://perso.ens-lyon.fr/bruno.salvy/talks/STACS2018.pdf
<Text-field style="Heading 1" layout="Heading 1"><Font encoding="UTF-8">I. Primeiras especifica\303\247\303\265es</Font></Text-field>
<Text-field style="Heading 2" layout="Heading 2">Contando</Text-field>
Usando esta gram\303\241tica, pode-se contar
GFSeries(bintrees,unlabelled,z,21);
NyQvSSJaRzYiKydJInpHRiUiIiJGKC1JIk9HNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHRiU2I0YoIiNAL0kiQkdGJStPRidGKCIiIUYoRigiIiNGNCIiJiIiJCIjOSIiJSIjVUY1IiRLIiIiJyIkSCUiIigiJUk5IiIpIiVpWyIiKiImJ3o7IiM1IiYneWUiIzYiJzchMyMiIzciJytIdSIjOCIoU1duI0Y3IihYW3AqIiM6Iilxd05OIiM7IiohelcnSCIiIzwiKisoUXdaIiM9IishPmpzdyIiIz4iKz8vN2tsIiM/RilGLw==
Por exemplo, o coeficiente de z ^ 20 nesta s\303\251rie de pot\303\252ncias \303\251 o n\303\272mero de \303\241rvores bin\303\241rias com 20 n\303\263s internos.
V\303\241rias variantes de \303\241rvores bin\303\241rias s\303\243o poss\303\255veis, dependendo do tamanho. No exemplo acima, os n\303\263s internos t\303\252m tamanho 1 e as folhas t\303\252m tamanho 0. O contr\303\241rio tamb\303\251m \303\251 poss\303\255vel
GFSeries({B=Union(Z,Prod(B,B))},unlabelled,z,11);
NyQvSSJaRzYiKydJInpHRiUiIiJGKC1JIk9HNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHRiU2I0YoIiM2L0kiQkdGJSs5RidGKEYoRigiIiNGMyIiJCIiJiIiJSIjOUY1IiNVIiInIiRLIiIiKCIkSCUiIikiJUk5IiIqIiVpWyIjNUYpRi8=
Como uma \303\241rvore bin\303\241ria com n folhas possui n-1 n\303\263s internos, as seq\303\274\303\252ncias s\303\243o apenas deslocadas em 1.
Pode-se tamb\303\251m colocar pesos nos n\303\263s internos e externos:
GFSeries({B=Union(Z,Prod(Z,B,B))},unlabelled,z,11);
NyQvSSJaRzYiKydJInpHRiUiIiJGKC1JIk9HNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHRiU2I0YoIiM2L0kiQkdGJSsvRidGKEYoRigiIiQiIiMiIiZGNSIiKCIjOSIiKkYpRi8=
O tamanho \303\251 necessariamente \303\255mpar e a mesma sequ\303\252ncia (os n\303\272meros catal\303\243es) conta essas \303\241rvores.
<Text-field style="Heading 2" layout="Heading 2"><Font encoding="UTF-8">Involu\303\247\303\265es</Font></Text-field>
Gram\303\241tica:
inv:={Inv=Set(Cycle(Z,card<=2))};
LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSRpbnZHRig8Iy9JJEludkdGKC1JJFNldEdGKDYjLUkmQ3ljbGVHRig2JEkiWkdGKDFJJWNhcmRHRigiIiM3I0Yu
Enumera\303\247\303\243o nos universos rotulados e n\303\243o rotulados:
GFSeries(inv,unlabelled,z,11);
NyQvSSJaRzYiKydJInpHRiUiIiJGKC1JIk9HNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHRiU2I0YoIiM2L0kkSW52R0YlKztGJ0YoIiIhRihGKCIiI0Y0RjQiIiRGNSIiJUY1IiImRjYiIidGNiIiKEY3IiIpRjciIipGOCIjNUYpRi8=
GFSeries(inv,labelled,z,11);
NyQvSSJaRzYiKydJInpHRiUiIiJGKC1JIk9HNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHRiU2I0YoIiM2L0kkSW52R0YlKztGJ0YoIiIhRihGKEYoIiIjI0Y0IiIkRjYjIiImIiM3IiIlIyIjOCIjZ0Y4IyIjPiIkIT0iIicjIiNIIiRJJyIiKCMiJCI+IiYhMzUiIikjIiRKIiImVyI9IiIqIyIlKD0iIicrT1giIzVGKUYv
Formul\303\241rios fechados para estas fun\303\247\303\265es geradoras:
combstruct[gfeqns](inv,labelled,z);
NyQvLUkkSW52RzYiNiNJInpHRiYtSSRleHBHNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHRiY2IywmRigiIiIqJiNGMCIiI0YwKUYoRjNGMEYwLy1JIlpHRiZGJ0Yo
combstruct[gfeqns](inv,unlabelled,z);
NyQvLUkkSW52RzYiNiNJInpHRiYtSSRleHBHNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHRiY2Iy1JJFN1bUdGKzYkKiYsJilGKCwkKiYiIiMiIiImSSJqRzYjL0knX2xvY2FsR0YsSS1fbjQ1MzY1MTA3ODRHRiY2I0Y4RjhGOEY4KUYoRjlGOEY4RjkhIiIvRjk7RjhJKWluZmluaXR5R0YsLy1JIlpHRiZGJ0Yo
O \303\272ltimo pode ser simplificado:
simplify(value(%)) assuming z>0,z<1;
NyQvLUkkSW52RzYiNiNJInpHRiYqJiwmRigiIiJGK0YrISIiKSwmRitGLEYoRisiIiNGLC8tSSJaR0YmRidGKA==
<Text-field style="Heading 2" layout="Heading 2"><Font encoding="UTF-8">Outras especifica\303\247\303\265es</Font></Text-field>
Estes ser\303\243o usados em exemplos posteriores:
Permuta\303\247\303\265es:
perm:={P=Set(Cycle(Z))};
LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSVwZXJtR0YoPCMvSSJQR0YoLUkkU2V0R0YoNiMtSSZDeWNsZUdGKDYjSSJaR0YoNyNGLg==
\303\201rvores Cayley:
cayley:={T=Prod(Z,Set(T))};
LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSdjYXlsZXlHRig8Iy9JIlRHRigtSSVQcm9kR0YoNiRJIlpHRigtSSRTZXRHRig2I0YwNyNGLg==
Gr\303\241ficos funcionais:
func_graphs:={F=Set(Cycle(T)),T=Prod(Z,Set(T))};
LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSxmdW5jX2dyYXBoc0dGKDwkL0kiRkdGKC1JJFNldEdGKDYjLUkmQ3ljbGVHRig2I0kiVEdGKC9GNy1JJVByb2RHRig2JEkiWkdGKC1GMkY2NyNGLg==
Gr\303\241ficos paralelos em s\303\251rie:
spgraphs:={G=Union(Z,S,P),S=Sequence(Union(Z,P),card>1),P=Set(Union(Z,S),card>1)};
LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSlzcGdyYXBoc0dGKDwlL0kiR0dGKC1JJlVuaW9uR0YoNiVJIlpHRihJIlNHRihJIlBHRigvRjYtSSRTZXRHRig2JC1GMjYkRjRGNTIiIiJJJWNhcmRHRigvRjUtSSlTZXF1ZW5jZUdGKDYkLUYyNiRGNEY2Rj03I0Yu
<Text-field style="Heading 2" layout="Heading 2">Parametros</Text-field>
<Text-field style="Heading 3" layout="Heading 3"><Font encoding="UTF-8">Usando \303\241tomos nomeados de tamanho 0:</Font></Text-field>
Contar permuta\303\247\303\265es pelo n\303\272mero de ciclos:
perm2:={P=Set(Prod(U,Cycle(Z))),U=Epsilon};
LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSZwZXJtMkdGKDwkL0kiUEdGKC1JJFNldEdGKDYjLUklUHJvZEdGKDYkSSJVR0YoLUkmQ3ljbGVHRig2I0kiWkdGKC9GN0koRXBzaWxvbkdGKDcjRi4=
Nesta especifica\303\247\303\243o, uma marca U de tamanho 0 \303\251 anexada a cada ciclo na permuta\303\247\303\243o. Essa especifica\303\247\303\243o pode ser traduzida em fun\303\247\303\265es geradoras bivariadas
combstruct[gfeqns](perm2,labelled,z,[[u,U]]);
NyUvLUkiUEc2IjYkSSJ6R0YmSSJ1R0YmLUkkZXhwRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliR0YmNiMqJkYpIiIiLUkjbG5HRiw2IyokLCZGMUYxRighIiJGN0YxLy1JIlVHRiZGJ0YpLy1JIlpHRiZGJ0Yo
perm_biv:=subs(%,P(z,u));
LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSlwZXJtX2JpdkdGKC1JJGV4cEdGJTYjKiZJInVHRigiIiItSSNsbkdGJTYjKiQsJkYzRjNJInpHRighIiJGOkYzNyNGLg==
A partir da\303\255, os primeiros valores seguem
map(series,series(perm_biv,u),z);
Ky9JInVHNiIrJUkiekdGJCIiIiIiIUYoKy9GJkYnRicjRiciIiNGKyNGJyIiJEYtI0YnIiIlRi8jRiciIiZGMS1JIk9HNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHRiQ2I0YnIiInRicrLUYmRipGK0YqRi0jIiM2IiNDRi8jRjEiIzdGMUYyRjhGKysrRiYjRidGOEYtRi5GLyMiIihGPEYxRjJGOEYtKylGJiNGJ0Y8Ri8jRidGPkYxRjJGOEYvKydGJiNGJyIkPyJGMUYyRjhGMQ==
Assim, por exemplo, o coeficiente 7/24 de z^5 e^3 significa que existem 35 = 5! x 7/24 permuta\303\247\303\265es de (1,2,3,4,5) com 3 ciclos.
Agora tamb\303\251m podemos calcular o n\303\272mero m\303\251dio de ciclos em uma permuta\303\247\303\243o:
subs(u=1,diff(perm_biv,u));
KiYtSSNsbkc2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkc2IjYjKiQsJiIiIkYsSSJ6R0YoISIiRi5GLC1JJGV4cEdGJTYjRiNGLA==
simplify(%);
LCQqJi1JI2xuRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiNiMsJCokLCYiIiIhIiJJInpHRilGLkYvRi9GLkYtRi9GLw==
series(%,z,15);
K0FJInpHNiIiIiJGJSMiIiQiIiNGKCMiIzYiIidGJyMiI0QiIzciIiUjIiRQIiIjZyIiJiMiI1wiIz9GKyMiJGokIiRTIiIiKCMiJGgoIiQhRyIiKSMiJUhyIiU/RCIiKiMiJSJRKEZBIiM1IyImNlApIiY/eCNGKiMiJkBnKUZIRi4jIigkKmY5IiInZy5PIiM4IyIoTDw8IkZNIiM5LUkiT0c2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkdGJDYjRiUiIzo=
O coeficiente de z ^ n \303\251 o en\303\251simo n\303\272mero harm\303\264nico (1 + 1/2 + ... + 1 / n), mostrando que o n\303\272mero m\303\251dio de ciclos em uma permuta\303\247\303\243o de (1, ..., n) \303\251 assintoticamente log n.
<Text-field style="Heading 3" layout="Heading 3"><Font encoding="UTF-8">Usando gram\303\241ticas de atributo</Font></Text-field>
Lembre-se da gram\303\241tica para \303\241rvores bin\303\241rias
bintrees;
PCMvSSJCRzYiLUkmVW5pb25HNiI2JEkoRXBzaWxvbkc2Ii1JJVByb2RHNiI2JUkiWkc2IkkiQkc2IkkiQkc2Ig==
O atributo que calcula o comprimento do caminho interno das \303\241rvores bin\303\241rias (a soma das dist\303\242ncias de cada n\303\263 \303\240 raiz) \303\251 definido recursivamente em cima disso:
att:={pl(B)=Union(0,Prod(0,size(B)+pl(B),size(B)+pl(B)))};
LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSRhdHRHRig8Iy8tSSNwbEdGKDYjSSJCR0YoLUkmVW5pb25HRig2JCIiIS1JJVByb2RHRig2JUY3LCYtSSVzaXplR0YoRjIiIiJGMEY+Rjs3I0Yu
A partir da\303\255, fun\303\247\303\265es geradoras bivariadas podem ser derivadas automaticamente
combstruct[agfseries](bintrees, att, unlabeled, z, [[u, pl]]);
LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyNLSSZUQUJMRUdGJjYjNyQvLUkiQkdGKDYkSSJ6R0YoSSJ1R0YoKzFGNCIiIiIiIUY3RjcsJComIiIjRjdGNUY3RjdGOywmKiYiIiVGNylGNSIiJEY3RjcqJClGNUY7RjdGN0ZALCgqJiIiKUY3KUY1IiInRjdGNyomRjtGNylGNSIiJkY3RjcqJkY+RjcpRjVGPkY3RjdGPiwsKiYiIztGNylGNSIjNUY3RjcqJkY+RjcpRjUiIipGN0Y3KiZGRUY3KUY1RkVGN0Y3KiZGRUY3KUY1IiIoRjdGNyomRkdGN0ZGRjdGN0ZKLUkiT0dGJTYjRjdGRy8tSSJaR0YoRjMrJUY0RjVGN1EocHByaW50MEYoNyM9RihJJmZhbHNlR0YmRVxbbCNGMUY2RmluRltv
O coeficiente de u ^ kz ^ n \303\251 o n\303\272mero de \303\241rvores bin\303\241rias com n n\303\263s internos e comprimento do caminho k.
As equa\303\247\303\265es tamb\303\251m podem ser derivadas automaticamente
combstruct[agfeqns](bintrees, att, unlabeled, z, [[u, pl]]);
NyQvLUkiQkc2IjYkSSJ6R0YmSSJ1R0YmLCYiIiJGKyomRihGKyktRiU2JComRihGK0YpRitGKSIiI0YrRisvLUkiWkdGJkYnRjA=
eqB:=op(1,%);
LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSRlcUJHRigvLUkiQkdGKDYkSSJ6R0YoSSJ1R0YoLCYiIiJGNSomRjJGNSktRjA2JComRjJGNUYzRjVGMyIiI0Y1RjU3I0Yu
Em u = 1, \303\251 o mesmo de antes: a fun\303\247\303\243o geradora dos n\303\272meros catal\303\243es.
Essa equa\303\247\303\243o pode ser diferenciada e avaliada em u = 1:
map(diff,eqB,u);
LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyMvLUklZGlmZkdGJjYkLUkiQkdGKDYkSSJ6R0YoSSJ1R0YoRjQsJCoqIiIjIiIiRjNGOC1GMTYkKiZGM0Y4RjRGOEY0RjgsJiomLS0mSSJER0YlNiNGODYjRjFGOkY4RjNGOEY4LS0mRkE2I0Y3RkNGOkY4RjhGOEYr
convert(%,D);
Ly0tJkkiREc2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkc2IjYjIiIjNiNJIkJHRio2JEkiekdGKkkidUdGKiwkKipGLCIiIkYwRjQtRi42JComRjBGNEYxRjRGMUY0LCYqJi0tJkYmNiNGNEYtRjZGNEYwRjRGNC1GJEY2RjRGNEY0
eval(%,u=1);
Ly0tJkkiREc2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkc2IjYjIiIjNiNJIkJHRio2JEkiekdGKiIiIiwkKipGLEYxRjBGMS1GLkYvRjEsJiomLS0mRiY2I0YxRi1GL0YxRjBGMUYxRiNGMUYxRjE=
gfpl:=solve(%,op(1,%));
LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSVnZnBsR0YoLCQqLCIiIyIiIi1JIkJHRig2JEkiekdGKEYxRjEtLSZJIkRHRiU2I0YxNiNGM0Y0RjEpRjVGMEYxLCYqKEYwRjFGNUYxRjJGMUYxRjEhIiJGP0Y/NyNGLg==
Nesta express\303\243o da fun\303\247\303\243o geradora, B (z, 1) \303\251 a fun\303\247\303\243o geradora do n\303\272mero de \303\241rvores bin\303\241rias e D_1 (B) (z, 1) \303\251 sua derivada.
<Text-field style="Heading 1" layout="Heading 1"><Font encoding="UTF-8">II. Enumera\303\247\303\243o</Font></Text-field>
<Text-field style="Heading 2" layout="Heading 2"><Font encoding="UTF-8">Gr\303\241ficos paralelos em s\303\251rie</Font></Text-field>
Lembre-se da gram\303\241tica
spgraphs;
PCUvSSJHRzYiLUkmVW5pb25HRiU2JUkiWkdGJUkiU0dGJUkiUEdGJS9GKy1JJFNldEdGJTYkLUYnNiRGKUYqMiIiIkklY2FyZEdGJS9GKi1JKVNlcXVlbmNlR0YlNiQtRic2JEYpRitGMg==
Conte at\303\251 o tamanho 20
GFSeries(spgraphs,labelled,z,21);
NyYvSSJaRzYiKydJInpHRiUiIiJGKC1JIk9HNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHRiU2I0YoIiNAL0kiUEdGJStLRicjRigiIiNGNCMiIigiIiciIiQjIiN0IiNDIiIlIyIlXjUiJD8iIiImIyImIlE+IiQ/KEY3IyInKDNPJSIlU11GNiMiKWBmZTYiJj8uJSIiKSMiKWA7cl0iJlM9JiIiKiMiLCwqekBLNyIoKylHTyIjNSMiLTJlLlF6WiIpK28iKlIiIzYjIi84SjklZSZbPyIqKzsreiUiIzcjIjA2QzlAdmNoKiIrKzMtRmkiIzgjIjJoJWZ3RzdcMFwiLCs3SHlyKSIjOSMiMyIzaW9hYjszJ1EiLStTaTVvPSIjOiMiNmB6J2U0TCNvPiIqZiIiLyshKSkpKnlBNCMiIzsjIjhyKFFQQ2FUJjM3OSwiIjArZzRHdW9iJCIjPCMiOWhHOVt5IWUlUUtWNG8iMSshR2RxdEJTJyIjPSMiO24mKjQ7LSNvLXEtOkEnWyIzKz8kKTMvNVg7NyIjPiMiPXR3LVNNRzdYJTMiUTZxTyI0KytrdyIzPyFIViMiIz9GKUYvL0kiU0dGJStLRidGKEY0RjRGOCMiI2hGWkY8IyIjSEY0RkAjIiZoZiIiJGckRjcjIiVUR0ZkcEY2IyIoaCEqWyoiJmcsI0ZKIyIoQF9uKiIlW2dGTiMiLEByeGkrIiIoK1ciPUZSIyIrXj4jeSFmIicrQ0lGViMiLywoeThPKnA7IiorM11SI0ZaIyIsemdcIik9JCInP243RmhuIyIyIm8/PiFIdVIqUiIsK2M5KmVWRlxvIyIzLCJSSFwjW2VsTyItK1MnRygqMyJGYG8jIjVyQTFxIW9udUQ9IiItK1MhZi5eKkZkbyMiNVApZT0sLCpbbTc7Ii0rWzs4KFskRmhvIyI5VDF6I0d5IVxkQWNOYiIxK1MnRyZvPSxLRlxwIyI3dF9tO1pWRCIpKT5dJiIuKyEpR1sobyUpRmBwIyI9LEYweiZbZ0lLKls8KD4pSCI0KytLKTMvNVg7N0ZkcEYpRi8vSSJHR0YlK01GJ0YoRigjRjhGNEY0I0ZgcEY3RjgjIiNsRkpGPCMiJSJ6I0Y/RkAjIiYsciIiJFMjRjcjIig+PzoiRkZGNiMiKDB3LiMiJSlvI0ZKIyIqSltcTioiJyEpR09GTiMiLCJRNmYiMyIiKCsnNDdGUiMiLlJMYHF4RCJGVUZWIyItVl8oUT04JiIoPz5jJUZaIyIxcldZUVVBR0RGZ25GaG4jIjJUcDsocEsieUglIiwrL1ZmIUhGXG8jIjR6UElWKHlMRixyIi4rIW9WbjI4RmBvIyI0KEhDTlQhPltVOiMiLSslZWpIMiJGZG8jIjcsdigqUnAsLmQlW1QjIi8rZ3Q/X0xLRmhvIyI4JFtNSU48OzY4YjkmKSIwKyFvJFFcKFtJRlxwIyI8UjQzJ1IhNHJQcTJGbEYiRl9wRmBwIyI7SnIkPl9FeG5BX2t4OyIiMStLN0pAKCpbSEZkcEYpRi8=
O tamanho da complexidade \303\251 bom:
GFSeries(spgraphs,labelled,z,100);
NyYvSSJaRzYiKydJInpHRiUiIiJGKC1JIk9HNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHRiU2I0YoIiQrIi9JIlBHRiUrY3dGJyNGKCIiI0Y0IyIiKCIiJyIiJCMiI3QiI0MiIiUjIiVeNSIkPyIiIiYjIiYiUT4iJD8oRjcjIicoM08lIiVTXUY2IyIpYGZlNiImPy4lIiIpIyIpYDtyXSImUz0mIiIqIyIsLCp6QEs3IigrKUdPIiM1IyItMmUuUXpaIikrbyIqUiIjNiMiLzhKOSVlJls/IiorOyt6JSIjNyMiMDZDOUB2Y2gqIisrMy1GaSIjOCMiMmglZndHN1wwXCIsKzdIeXIpIiM5IyIzIjNpb2FiOzMnUSItK1NpNW89IiM6IyI2YHonZTRMI28+IipmIiIvKyEpKSkqeUE0IyIjOyMiOHIoUVBDYVQmMzc5LCIiMCtnNEd1b2IkIiM8IyI5aEc5W3khZSVRS1Y0byIxKyFHZHF0QlMnIiM9IyI7biYqNDstI28tcS06QSdbIjMrPyQpMy81WDs3IiM+IyI9dHctU01HN1glMyJRNnFPIjQrK2t3IjM/IUhWIyIjPyMiPiRca1Q3Xmg8bzI2RFFyVCI0KysjKkhYLTEoKUgoIiNAIyJBLCRcS1ZNYi1USV4jR2FCVUMiNysrbzJ3eEYyK0M2IiNBIyJDMlssJlsvYyg+ZiN5QiZIN0ZVQCI4Kytrd1wpKVFuLF9lIyIjQiMiRXQtdlN5MVN5QT09KyNcLENsJz4iOSsrT1IlUkt0LCVbL2lGOyMiR15vaWYrVDpMa21lcXlEbEBTJik9IjsrKyslKWYpNExWK0A2YiIiI0QjIkcqZioqPUtYJylwJGVsO2VvIjNEZyY9KioiOysrK09yXSUzdmonZUFAIiNFIyJKVFdaZWdGdyNlLyFlJSk0dSZwXHJ0K0ciPSsrK0NlOyQ+Sid5RmJiOiIjRiMiTWBYLVg2J1w0VCE+bjE/Ll4sdE5aYD5AIj8rKysvOl1nUXI2WU0pKVtJIiNHIyJPcnBaKT1WJD5cbzp3QSpHPUklb1YkUi56UCMiQCsrKztPYWE+cVJQKj53VCkpIiNIIyJRLCxjUWtpMDJMWSE0OlcieXkzZWEkemRadyMiQisrKyFbM2pqZTU+NylmR0RsIyIjSSMiUzJnJFswcm9wdjAwJyk9NzZaaz80USY9JD50SyQiQysrKyEpR2NEeCJHI3o8YSdRR0EpIiNKIyJVOCwnWy56aXZGV0pMRCVlITN6JypwMnVEU20rOSUiRSsrK2dALD1zO0lOcExwJDM4aiMiI0sjIlZ0Rlk6MmZYdCpweC9iOSR6S05FWnhXWFYpSCt3IkYrKytTSU1jYWs4X2JXYiVSWlM3IiNMIyJZaFtKXkVkT29hTHM/VSZcJCopSDZVJlJIOkt3alAwKCJIKysrP05rNCc9dyUzOS8nUiEqektfSCIjTSMiZW5uUlhaM1chUnAvKnlzP0haJXpcWDZMKSpSJCo+JWYhKlInKiJKKysrK0tfUDhsbSdIXDknUW16OUwuIiIjTiMiaG5gdD88JnpHKW8jXERGeDUmb0wjWzR4VS8icCcpXD1BVW5OIiJLKysrK18kMzpbJSoqelk8NyEqKnlFTCo+UCIjTyMiam5ydGZ3NzUpM1p3IVE0KDMiKilwJlJFWSQ+SCVHKUhjI0c2JlsnPiJNKysrK0MhNGUiZXpmSlldTUU3NGBQdzgiI1AjIlxvaE1KKlEyOXY0N3dKKmZCO3kpKSpINDpaTXJjSFxyOCVvYyNIIk4rKysrN0h1KzVDcytnPDYsbVk8RS1CJiIjUSMiXW8iKTNZO1dDOEN3LXlpPy8vVVgzX05Hb09FVSVHViUzITRRUiciTysrKytDaSpwOTlSKCpHbUF3eGNXOiQpUiJIIiNSIyJgb3R1anZVX3NVUjFSSEQhKkhHWWQrWFpIYjZidng9U2dbMCVIcSJRKysrKz9GJSplNidmcDdoWFZ0KCp5QyRHOmYiKSIjUyMiY29eJ2ZjS2A9MSNSYHpWZHE7QDcsO249VGouPj1cKGUhZlAsKCpwSzYiUysrKys/Omw7dlNNMGkrPDNyIVE7OG1fX00kIiNUIyJlbyxyV19UVExLcCQpZmwoKUdpR24lKj5UZTFWXyI0c3NWLiVHd1BiU3I9IlUrKysrU1FPKnA6XldpZ1VKYSkqKXpHdjxoKzA5IiNVIyJnbzIxS1gkR3BXVHE6PHZKOEY6Iyl6VyY0ZSJIKmYwSEBReHgjNFxOLyNvSiJWKysrKz9ea3NdKCpSXm8/OGJ0ak5RUGpJRTovJyIjViMiaG9uWzZbM2teWmdpKmV5RjIlKT1OYkpLOD5WKSl6Xj1wL1gwZWJaJHk0KkciVysrKys/cnZ5Vnl3OFt6OTwyUD5PLV8tLjQqUiIiI1cjIltwJDQrSWdqd2koeUhmc21pdnpQJCpvO2ghKWV5dHFnWCpIQ2wiKmVRKHB5WSNSIiJZKysrKytvWmlpIWV0J3okKlwlZlBKQSpmb11wKSkpKTM8IiNYIyJecCJRLGRvO19vN0EjNCNwLiZIL3Y7aXZqIj5iImUielY+XSkzJSlwSSRwI1wnKVslcDwiZW4rKysrKydIdl47J0gqW0QrKUdhSV0pXCopMzcpZkBpLWIiI1kjIl5wXlkoZlAkNHUoKTRsTVBbIj5GIik0dTpxdXhRaVkjKipmaykpb1g7KTNJcTMvXXcpKSJlbisrKysrd2AjekolW246QXBXYiZ6InpiIW9SIlF0IikqKXAiI1ojImJwYF44bVVgQSc+UUwuIXAhW1N1IVxvdVh5I0djIUhbSGcsMHBrSGEleScqKnlbRStCJyJpbisrKysrd3hZTidbQCZRXVB0dC8qR2kzbnNnYCNmOlJUNyIjWyMiZXByLm1UXUwoKTQoSFFfMVglKTNfUCJIR1lpQEtYJ1IySiE9NmUkcEw0MkFlKVtjPj4yNyJqbisrKysrQzUjejgkR2IoKW9QJkhATDtfQSgzY25VLms9RzMnIiNcIyJncCxqLkFlLT1tJjRMKClSQHdKLik9OSdIVkRJWjYmM0hhKUgpKWUiby4uKyk+ND1qKHpUKVEjIlxvKysrKysrNzAnKm86a3hWJSlvWjFtIjNFaFYheUxyLEs0OS8kIiNdIyJocCxZRWd4Qy5SYywhZXNfIzQ1dU1JZShIPHdkPWRASEJlbidRKSlwQSRRb0RLdT83JSkqKW8iXW8rKysrKys7ISkqNFZKJjN3VldaaCZcZj0qWzwoKilvbkskUillQCMiI14jIltxOCI0XT4hRydIOi43NFYrQC9vakg4YipmIilHJzMpKj4mSG5faTE5VEVnMyY+VyEpKXo6R11OKioiX28rKysrKytDeUYkKTNXMCYqR3Zwdy5rJm9qZztkeVElNDx2ImUxKSIjXyMiXnE2VzVES18rJkhHImVCPyswUj9vWTFeaGFXWyUqPiEqb0FURCE0Mz5Ucm86KlspKSpSI0c9OXQzIyJhbysrKysrK3NZczhvTyl5Vi5wXCcqUipRYFAsKUhrYi1nU0ckKVtGJSIjYCMiYHFoaSk+cG8zLSMpSCNcIyo+a2tncDthc09QZ1dzbj9DbjxhajYjKmVCPER5RmYkXHRFd214SXFXImNvKysrKysrKUdLNiV6IT1kayZ5SzMiZUZJb1VGNHMvUVQjUnRwVjNCIiNhIyJicW4kcCQpKm87ZUhaKkdkcikqKlxFRGBidGQjeS9HcmdyIjRPKXlfTXpSMS80VUM2a2Y3YCFbbDNpdioiZW8rKysrKytTZUZpblZcOTBALmVmcF5tdiUzNWxmI2ZGZU9OLmtwNyIjYiMiZXFgKGVzRDI2KVswKjNGI1t6UnZHOUdiXiVRWjpjXkYjUSk9ZmIkPm1UKXlkWEdvLGolKT1pInkiW1AhcEAiZm8rKysrKytTcVcob2UlbzYpKXl6XE8oXFxzanVrWFMmPVhqWyF5ZSkqNHIiI2MjImZxYFs4TldyImZdJz0vW1ZcLyZmdU1laCpwPiIpW10yJ29GX1M9cE8mKio+VSM0Y3IrImV0S1AjW0gkeWAsKCJnbysrKysrK1NJeShmakolNFkqUkUnb050Si5cJylmM1NBI1E8byNIKmYmKnkmIiNkIyJqcWgreWtFNCRcIT05JEhCJjNIPjBpYEUwTFFeWDY9QmsrPGxLS2J6WSRvVGcqWzcqSCczIlIhXDQ3TlY9OCIiam8rKysrKytTVSIqKnA/VyNIOSI9PUInKUdRb3VdXjVcWkg9ZHlHR0o4Y11CIiNlIyJccm4oW10tQzVRcFNxWHpSTSZbPiYpZiVHJ1tNdj1FMXZ2JnoqKVxzLFtpJDREdzQmKnoqeikpR1tjQnUxd2QnW2wjIlxwKysrKysrZywlXEhAM2FLdW9zbihHIWZNMSUqUT8oPiFSenROKSpvWCY9Sm9RIiIjZiMiXnJ0I2ZGKUdgZF5AZCg9X1g4UCk9V0UmeT9GeSUzdC4qXG5OOG5RUidbSmZOKVEuLTp1TykqM1RJVTdSbD5lTmoiXXArKysrKysrJzRrcHgjXEMmZkNoamdzVHYhUWtMQSQ9VGpGVyxSVEY2KCk0SykiI2cjImFyXmUsUVtNNSk+K2FddVknUm9PZkAnei54LChIbjh0dFw9LTclNClSPXdiRHkkSDAzJmYnPkpya28oeSlmYHB4YCIiX3ArKysrKysrYyk0W1JmUyo0LmcuKSkqR1grRXNBRG08N28mMyEpKXpDcyhRQCFlMiYiI2gjImJyekUoRycqSGwmKTQzKGUnKVJPRzMpXFJkUlVbemcrOU8mKUdnN1x4XTBwIyo9TkVmPnNjQlwwJTMxTCM0RztENlooKj4iYHArKysrKysrKW9VWSJRPjcxKmVmNCc+Lz8sem43WT1NImZ6LUMjNG9EQFE5amwiIiNpIyJlcixLMVomPVN2JlI4LTBNRThOXFI5Iio+aEx0X11JaGk+bW5XSF0pKTRqQ2ghKSk+U2wkZlZpOl8melAxS3BGSCc9ZzgiYnArKysrKysrWycqKlFJVV5vJUgoKjNDYDxGMDYjendvYiU+LCJ5M3RQOVxWJGYoSEtHIiNqIyJocnRtVzo/cU8mcFpONyNSJz16c2FvLTtmMXcpcE53IkdWJT5eSiU9USNRIzNvSWRbeHQjb2skcE1vJD0rYHRlSW9CQnZVIyJlcCsrKysrKysvQi9aQHZWKj0hKSk+Iz5YWDw7YidHITNbaF5MKlFMTTVrVCllPUtwKW83IiNrIyJqcl5DQSEqXDMlUUMxcyM0KVJ1dSk9Xm5EbUlpLnRaY1YjekV3K2UlKTQjcCwrNmEqejFGODonKj5PJjNYVkw9dFpARU5qIilHJyJmcCsrKysrKytnKFx4YiopUU1KN0FIXFBhTV4mZWk9X2lcJnkxLjxCbm1xQzMjZl13QykiI2wjIl1zIlFZLW50IW8xR0xkJFxga01VeC8jb0F5Yml3Ujs5bEYncChHYG5tZy4xNkVSVFknXEh5U1hscjc6J0haVWQ8S1ZBXmE7ImhwKysrKysrK2dUWzYzcidwbzdnR2B1KSl6KVFrSUhXRXZVeUNTI0hQK2tJV3ghUlxNVyYiI20jIl9zKDNmOzAoKj4mKXAqXClcN2k5KDQ0VSVvUjFzL3lfNT9OISlSKSplJD1WbjEyeEQvVFhlKlI+JVs3XGp0RVJEIW8ibzlgZl9ldz9XImpwKysrKysrKz8oUSVwVml6RSsmRztxJGZDJlxTSk53O0ZXWTBtNGYpXCMpRyZvKT09NDZyayQiI24jImJzYHgiKj0zXHFrU0tYWmZlNko5STtnZWYlUTJBUkopMzYnW11ya1hnJVt3RU9ua0crIlwtXj9idD9yRzMpNDx3Tj1HPlRQIyo+IiJccSsrKysrKytnSCQ9N2RXQCM9IVEycnJCbm5gTiwjKlJaNWVyInAmPS8qNGcqZklvVlViLiFbIyIjbyMiY3NgLT5JelZHXEBJSjtBdnVETSpwcS1KO3o4NyJwLSkpSGp4JioqXEY9NWtaZSZbb3dDJFFjTyl6K3VycUcqXEcwSihSO1JRW0w8WiJdcSsrKysrKys/alxIO3pjS2wvYyJIeUwiKjRIXXEjXCdRZzpNPT1TKT5FTjVmaCJmS1kxWVcjIiNwIyJmcywmM2VuQVtmT1FXdUUpelZKYCVwOXhwXiMqXGtxJVFuI1tLKyhcOyRIJXo6MXUvSDojSEA6IUgpPSFwRndscCoqSCEqUj1AJmZIRTRBRiMqImBxKysrKysrKytvPmAlKSp5I2U0IUdZJ0dPYnYmZVVZRDlRKmVrdCk0Km9AUHlzZ3oiKilwKnA7ZHk+IiIjcSMiaXMyV28vLVQleVwleSxtQzsuJlwuMVRqdCQ9NERkdSIpb2MydiJwP2whZVdOV1AqKlJGKzFTSj4iKVFJYzh6c1ghSF14RFByNz5jWT9naCMiYXErKysrKysrK0cocDwheiF5Lm8pZSlRajJWJyllQid6PyIzWWUpRzVnIypSVWtuNl88Qid5YylleS8mKSIjciMiW3Q4LD4xJmVOSGpqPUQkUSRcbCoqKmVuNCVlPDw5KXlTQigqb1N3WiFcb3U8UGolcEA2UD12WFxqcixfaj9PcFVnb096endyNyV6TjRCTV8oImNxKysrKysrKys7L1VGKm9AcylcUXlSJ1wsQlEpKkd0cCV5IjR5MnVzWUYmUXFTX2hvMycpb1BlV0JoIiNzIyJedDZ1dHJeZ0UhXDVCZUAkXE5EJkdVWlk9JipmXnQlSE8tJVxZVUctaUVWKT0hKkhlOWUuYWpWSmUwMypveFciKkdWUStWWypRQHNHQWZZYFY+IyJlcSsrKysrKysrby5wLDxMPW5TNUEvUCM0ITM+ZSwwSEcrMiFvMjU2MEQiUXJEIiozTSVvNzpZOixaJUY6IyJfdEZ2WCFcL3pWWVYvYF4hKltIMUVMWEFqV2MpNCV6ZyIqKVJvXU0iR09nIj0iKSo9UyUqMztCdHNoIzQjUXB6TFpOW1E9OytFIlxCXSFSKj5cJVwjNDoiZXErKysrKysrK0NNZSs4Vm0saixYXkxaT1JsWXpmb1srRSl6US5TRiVcK3UoekYpNGZGdVNvdiNwKCIjdSMiYnQib29sLmMpcG41bUhiSTA4YGBEW2hbKltkVyJ5PSE9Vyw+QjQ8LWIpWyY9blJwSz5Td2lqOS80XGN2YlhtNnckcDVfQkx0IXBuJj5udE4oekYiaHErKysrKysrKytLTyg+XGU1KSpRUiYqW2xCdD8lMyhSJD10JnokKT4qM2NePidbMyllUm1xVGFbY0koSDtXTiIjdiMiY3RoXCNlJmZhTk55bmooR1RbcV5mJ2YtZW9rSVY7IkdUeG56ckxiKHBbRygzR09ndG1KdTEoPSpmJVxhNzd2VCwjNCdbKXpLJD1NUyZReC8iZlFrKyIpImlxKysrKysrKysrKW85JGZlYDMsaCh5IzMxPXJabFBsTEwmeTkiKj5nPydwJikzJikpRyYzPlE5YnFMYSVwR2UjIiN3IyJodHImeVwyUzNbUVk7QmMxL1taWUUjPSh6bEdDSXIiMyMpUlxVOSIqZjQmW0ZVZ3o7KkguRlRrXW8nKVEmR3pQcGt0MCpmOD4nb0ooPT45Mj1cKW9zd0VAPSJdcisrKysrKysrK1s3J3k/bCszP2s6XDgqPjEpb3U6eVkpZSQzVUF6LnUkKVxHM2ozJXlxU2pwZUdHPzQkPVgiIiN4IyJqdGhFTUovYU4ieklTQSY0LExJRScpKWZfNSRSYiM9YDZTV1hxKVtycTUyc2tISTUqKTNnKCplMG9bQCxvXT9bb0NwclRiQ2pDYCkqUW0nZTdtJjRUZVpObyYiX3IrKysrKysrKytXdDw4aTNYaXcrVUJEYCQpb2MjRycqWysqPkQpW3omXDx0R2kvSyhlNl9kOSR5SDEjeTZHQzgiIiN5IyJbdXAzSj5PSVdsN3hrOi9bI0clKUcmKjQyJG9kclUxLS9SLGxZMVJiIz5nK2wjUSFbJ3kiXFwzQ096cVpYXmwxVFpwL3dcIzQoPUUqPXYwPChSeCNwaydlJ3lUIl9yKysrKysrKysrSztlN0AvP3ZaISkpWykqKltZRXBeKD0/NT4kUiZRVF0rYz0kXDMnKip6bjtmIz1gNV5Gc3VdITMjIiN6IyJedW5BJikpUkJyMFxMcidbKCkqeScpKj1tJClmMV40ZChlJVtLa3Uob1E8JHAqUmVwQT8pUkknb3ohKkd6IXpXeSQqeipbMHBZRFVgWjRUVT5mbEBBeDZnQF1xT2JNR0kiYXIrKysrKysrKys/QiRlVmhCNSQ+InknZV5iJnlKZjQ7PSpvIyk9cndRbD4pXHIzIUdTcCE0RyFwbFZFMnZHTiJvdyQiIyEpIyJhdSRIdS5GMygpUUwmenYlMyRlKipHc3VuZHlOUSdwOVo/IWU6emc4O2xTUTpReEklKlEpZm5bKUgjKnpjYic0bitBQUZCQGF2Lm5kYCFSL00lUil6PiUqKSpcNkJYcWxFImNyKysrKysrKysrUydbMyNHKltdJCkzdiRIcWkmKlJkMClRQDIpem5BJSozTE5ZQVlNSEYob3o9am5EXiZvdzEsJzM7RykiIyIpIyJkdSwyREwieS1qR1w2WiYzL05XeSozIkhHbEZObHF3WC5VPDtRT3hgalJrJip6JW9pNCZRWG8pPkIpPlBwNC4lKkhCJWYvTyI9IylmOyVmY0FjX2M6R09iPlE8K2ZGaCJmcisrKysrKysrK2ckPnI7eiUzPTgySWhbIioqW3QlKlJ1d1MkNDs8J0dMKnoxJUg4UWtZXFMqKXA/UUAlWzwlRyxQTGtgWiIjIykjImV1NmFNbiJwTXJiQEZTa2dIQG49VFVWVmooKT0qWysvKClwWipbJjRhYXZlUCswUzh2Qz8qUSVcSihvPmtZYjJxPCV6UWNZJipvOC0jcEoraypweT4kenlMWSxsNmZdJiJncisrKysrKysrK1NVdlJpVUM7Q2YtXm9rWm5sT3U1NEQ9PDlKb0wxRWFBbXd5V2lmcVUzNyopeTFLVWxIeU5tNSIjJCkjIml1dEclKnllJVFoKSpbVUVKQk9wI1shXCVSKClwemRacVwmKilmbz94I0giR2hBI3l5RDQrRXVkOncjKT5cTSFvKydIc2RkaExOUytndD8xTE8iW3EiKTM1YiRccGdTUyh5aWYmbyJqcisrKysrKysrKz96PGNKdjsob0hzJikpSFQnb3IiSEoiZklRS2clKT1yW1w/QydHbTErKUdKLDh6dlEqKnBFYGBjTSxDOUwiIyUpIyJcdl5BKm94SUoiUUB1YWhHaDxjQFREVmtSc2B1aDQmNFApUkkobz01RCRSLiI+d2xmRyF6YUojKUgqUUVncFwqNGcqPj5SZSUpcFMuVjgpbyFbYXYkcC5FbWd4QEdYJ3BuRk5CIlxzKysrKysrKysrK0s3diM9UyM0TV9rR1M1WExmemZoLWdEdjc+NTBrP3UwTE1tMCFbZjYxRVUleiVccEZdMFE5VDU8RyIjJikjIl52IlFGLE0zZkdMSG07Jz5RX1QyRWpkbEpMLS8jKWUjUVciKTNBeHUuXCopPVkwW1M1QUBRJlFiI1w5YzNpXlpNcklSWChlZ2dCWmYpWygqKSpHSm4jbyV6VGMlcCl5bjMwZm5cISkiXnMrKysrKysrKysrX2ZnO2RsJT44IVxqayUqeXctWFUoXEE7P25cayhRM3YiUUhDYnFbRzooZjdXLktfbDxRS0ZuJFEmNEZVIyIjJykjIl52LmZ0eC9vIz1gKillXG4lZjVJMyoqcGo8NzkoPl8kM2M8SF4zLzdvI2YiKSpmMnpSbFwkKkhEVyQqKVsjUkM6cSJ5My1mMDV2LFcnXF4+bVNcQSZbTjUlUSMzRyIpKm8teDlGImZMJikiXXMrKysrKysrKysrYydRITNWWl4hUihcUzUrI0hHKkdpKmZTI3lfSE46PUl4LWQ3IVEoUmRAKWVhIVxBKCozKjQqPSZwSno4ZGxTJyIjKCkjImJ2LCJSaChlLiNbXz5LbDEsIXlBXHRDZjhTPEIjbzNDVEZRb3QkKj5OXSZmYlJccipcX1J3b2BNL3coSGdyM1NKaHJNLV52a3QpPjYqNFRcM0s4NU1qajo8XyMqKilmZCMpKil6InA9ImBzKysrKysrKysrKy82KFFATiI0RScqKXAobyNmIVwwJDRiJEd0Nl1yRkdBby02UGIhSHk7JzQqPXdbSGovPXZwKGU/aEFhXHMnKlwkIiMpKSMiZnZyNkg1N2c6ZUptOyI9VCRRKj1xIyk0ZDMyTUY6Tik9IW8pPkhyOFlGdzpCJlxseCkpR3VaXWYmUSNmV3FnJDN0SiRwWkxwPCVlRW9POigpeVZaRyNmaCU+SCQqW1EjSCpHcSl6O1JzL09OImRzKysrKysrKysrK292KipIUSEzSEZtK3d5cUQiKipSUig0JnlWLnJKJHlxP04iXCY9YSdcT2ltUik0JD5PWGkjPnBAIjNoJTM0O2J6XTsiIyopIyJndi4mSGBwJClbXCRcdXA+L00iPW8jZj86NnR4W1ghWyI9TU4yMmcqZkg8TWcpSClSTj0/P0htKFF5dDIlKipwSzxtWk5jQXhjcVtVSSwhPSc+MFpTMzk2OkxjMW0nemR4M2sleXdFYCE+ImRzKysrKysrKysrK2c4MiYzPE96NHVJZ1dCJTRYMkJdaXN3dUgtIkhgJW84Ui8jKnlbY0RQTidIeG1WUDZ5RDA9JEcpPTo5bFs8QSIjISojIlt3MkUkcCxPJzRVJyozPkNUZjFNPSVmJioqUkEnKioqPTNoZCgzX2d2QnkkPjNBOz0zTEdgJjNjP3YmKnBUeiQqXCkzVFIoKT1baj11IUcuIj1hejN5Z3QnKTNFJlxgXShSOVQnUjMhKVw2KytTKm9nWSJocysrKysrKysrKys/PjMhb25MbzZ2RiVcL3ZhUkcmb2xaKipmOnhxTzooZk08dSJ6eG0hcFptb2VaQDkmXGYob2w7YmlIU3l3Xyw/TiIiIyIqIyJedzhKKykqbycqSCM0ZyJccTA/LiUpPmhpLGUuSWBMTi1lbm1uJikpZTwzI1JdI2ZIdCU+aiRcW2lWb2EqSGxQdCU+bnVUJClcQTYiKmZmQz1pQiFbb1gnKXA4KUdSTSxRVXgpPSRbb0I7dipbSTExcyIianMrKysrKysrKysrU21gbmwjKXBbMkpOWjgvUFE3WUlXPSY+Tik0clAiUUhlUi0lb045YShlciIqemR4SWJ0ZUtDYFpic0lUWTA5JVFDIiIjIyojIl93dCg+PyYqZUAiKmV5X3YsQipHJXBoOnJ3PnZzViYpKik0JDMyLCRmXT90JlJcX2wmKUdoJz12WjZSZ0Y6InlIKEhRdmtFKSlbZFxTJ3prdGQ4Qkg9SEVsaypIVic0UCV5TmVsQDY6KCo0aD9QLVk8KiJbdCsrKysrKysrKytnYFRhc0VjdjhGRSc9I3A/Iil5N3dYOyRmbjEuYDZ5aEooKilbJXBAT3RQbHZoYHReP3heaCVmVkYjeU94dEg6S0RsIiIjJCojImF3ZHQzdSR5b2UueGMxcDhvbV9IRzUiUUUleiFbTjlNYGYqb0ArRyY9YjFUJjRkJUdBVSQ9KFFgeFcpKW8qZSFRZ0E5eXozQW8pKUcpPl4hb194JSpvZiVRZGdjUl4pUTYnZWlmIWYpRyk9eXpkeGc+TCJcdCsrKysrKysrKytnRFcsQCFwQ3knZiIqeU8uImU8QEFUZChSZVgtIXk1Lzg6XmZ5IUc+TEo/PkdyI3ozeUdsWjlhJCoqb1xHcV4ub1UmKlsiIiMlKiMiZXduIilbVm1PeHBAUkZsIXlWP1Y3a0YoNGZncDFqLCJ5OWI/ZCJRIj0lUjs3aj0wdjdhdj8xI3pJaSdwJiopZkRgTC8mPUBeXTQlPXY4cFJ3RCg0P1xldDNWMnYqPiI+QSg0PGg4Xnd6NjxBZy9HQyoiYHQrKysrKysrKysrK086L04ybUFrb0IjR2omb1dVJlF2YHdyWzcuWmYoKVJITTdkXUFAcEdQPCxNWXhSJjRGWlIqNC0oKmZpI2YhUiMpW3kqSC4iIiMmKiMiaHdgdkg9Q1c1JUcrInB0eGxLNklWeVVvKVIiKjMleigpKTMmb2FlJWUhSCp6aCJmJnBFJzQlejkzS0kvZHExdDMmKVsnKiozQ3Qva04xeXJHUT0+UyVRJW9OenkiM04waHUpM1hfdUcrWXdzY0lDSCVmIj1JYyQiYXQrKysrKysrKysrK2N1KVJjSWFkJypRWjR2PykqWzIrUGdaKm8oKSoqXCI0NEdBI1xRWzB3Vlcmem43bFtPPWU2IVEqPWEsOWQ0IypvXDQoWyR6biIqKiIjJyojIlt4cjYhSDV5ZSg+aTx5WCh6XHlbKjNkbndCS0xJMkA5TyxZMGYoR0tOQDpePClbTCEpKWZfW1I7QV1wZGNwWzJYQklYblxIWFpOSWFxSTs3R1xjS3QvV2BTa0knem4+aFlaSV8tPjFfOik0eVghKVEiImN0KysrKysrKysrKytLS3kxWnc7eSd6Jyo9JUdoN2xzISpldiJ6ZSEpKVx2PVs3Y3VMJD50Wi8iZWgoSDw+UiJRTTcoKXBqJlxmVUdMJik+QFsjb2ZGPicqIiMoKiMiXHg+NmlBWUFlISkqbzEnZm5vImUqUiskb1cqKW8jUk4pM1IobyFIIVxVbDMyN2Q/ZEhHRiI0ZHpSK2sneSVSRFZiVyM9XEsjSClmT0AqPjkqbzYpR0kmM0NiLUpYO0ZFalwnKkc3c18+KD4kKjRRZC4hKlFZQ3YhZShHImR0KysrKysrKysrKytXaGNtK0UtUyRlRG0tI2V2c3UkUUkmeXo+YWl0J3AsZWhoaGQpPk9WJVJDWyUqPkIpUSkqKilmVydbI3o3WCE+aCcpPmYpKSlHQDonXCIjKSojIl94IkdTIjQ9Q0NCZlZNO3Y4cDJPd3QxUGRtKD42TyUqKmVyZTgrRS4iUSo9KFI3UyxQeVhYO2p2UCJSS2E9XDFjKUdwVTE9JWZDZjpRMWNqa1FVO1NNemJFWygqeW4kKlI9PTdGOiopKSlIOihRREJkOWV2WDUkImd0KysrKysrKysrKytfJmY6ZyQpZS4lUi4nKm8pKVIiW1lwYWtPUCZbXE1UJXopKiopPTlkJ2ZrYiFHOGJcdXQ+NEUmM2BUJ0cmNG0kKT44bjY9LSMqPlw7Qkw4IiMqKkYpRi8vSSJTR0YlK2N3RidGKEY0RjRGOCNGZ3pGWkY8I0ZnckY0RkAjIiZoZiIiJGckRjcjIiVUR0ZkcEY2IyIoaCEqWyoiJmcsI0ZKIyIoQF9uKiIlW2dGTiMiLEByeGkrIiIoK1ciPUZSIyIrXj4jeSFmIicrQ0lGViMiLywoeThPKnA7IiorM11SI0ZaIyIsemdcIik9JCInP243RmhuIyIyIm8/PiFIdVIqUiIsK2M5KmVWRlxvIyIzLCJSSFwjW2VsTyItK1MnRygqMyJGYG8jIjVyQTFxIW9udUQ9IiItK1MhZi5eKkZkbyMiNVApZT0sLCpbbTc7Ii0rWzs4KFskRmhvIyI5VDF6I0d5IVxkQWNOYiIxK1MnRyZvPSxLRlxwIyI3dF9tO1pWRCIpKT5dJiIuKyEpR1sobyUpRmBwIyI9LEYweiZbZ0lLKls8KD4pSCI0KytLKTMvNVg7N0ZkcCMiO1ZcdGd6WHIqXCVcNHZHIjFnJHp3dD9rNCRGaHAjIkEseWsxMidRYExkcmdyJlskKT4iNisrJVEhKSkpUU8rP2NGXHEjIkEoKSopR1BfbiZ6K1JeLUdYMEUiIjUrK2srW0pGbm0kKkZgcSMiRWhheik+IT00JEhOKXB2I3BpIWUnZiIiOSsrbz4oPm0nMz9DLUpGOyMiQSR6WjRTLl5JZUlsd0c0KCkqKSkiNSsrITNZdyZbTDRYRmdxIyJIXnNoKClRJyo0UCxkdll3JzReXl4hUiIiOysrK3NxTTQ3MEk5TD1GW3IjIkpoIT50YCcpKj1iYF9VdFRkQzJATTxsIyI8KysraytvaVtgKHkwdSEqRl9yIyJNaGM4NksoUVtWYl5nPWQ2O2NtSikpKT48Ij8rKytfMkRJcCZlSXNUV18iRmNyIyJMcHo5ISkpZjIoeStGYnpScFhjIyllP3dAIyI9KytTZSQzNUImPjVDWiIzJkZnciMiUUA0VndKVW9NIVtGJCkpZSZbTSEqZWpBWXpIQyMiQisrK1NVOj0kSGI0MSpIa2lLIkZbcyMiTm5wWyF5YCU0Oy8rJ2ZDJ3lIKTRIQVIqUjQjIj4rKyshRzBSRS8iKkcpbycqPSRGX3MjIlUsWFcpKT1TRFJUZ3J5JlIiKSpHMk8mUjRoZD0iZUwiRSsrKyEzMSE0TzNsbiVvWT1hY0oiRmNzIyJTKHBzT1lAJip5Yyk+TidIJDQiUSk9JzNVKj1pXjxIIkIrKys7O0ZfTXRnYi5zT2IkSEZncyMiWSJbVVxJJFIiM2k1JilRcVxTOkVQPERgcVJ5UHkwcyYiSCsrK2c8I1tJNFFVcT8hKT4mKlI7dzlGW3QjImVuLHB6XC4/eGMpUnctQ0dGdlBoRSI+a0FFSzZMKkdJIiJIKysrK096VzRBc3UyN2InUW0mNGgpRl90IyJlbipwaGMhbyZHIW8zY3FOITMqW281U0spUXJqZSpRKW8oW00iSCsrKysvImYsLEVWJUdBbHRTOzEkZUZjdCMiWHhMQm1ANz8lcFN1U1Q4K3BueShwSiEqZVVIY05BKiJFKysrPzJyamF4YDUnSCxJW1UpUkZndCMiXG9UQyZRI3ByPFskW1Uoej11N1hISVVkYW9BRiFwelRDNTJzQiJOKysrK2M5UCswN08rISllYitMdDM4XmgjRlt1IyJcb1p6Wm9paER5MD8yM2ldamolb25xLll0MStTPyMpW2VSSEUiTSsrKytvQks6Ql4sdWhtLTYlZilwYCFSKEZfdSMiYG8scEI5VSU+PVdWbjNTcjhRUioqPkw1ei88YSZ6KDM0Ilx3XScpcCYiUSsrKytnOFp6MCl6TWMhRzxuKVtSaVR3JnpTRmN1IyJdb1IhPiFHPVMsbnplJVxnIVwienpyTGNgWEI7S2NnIVxkPGg5RiJNKysrbzZ2ejdiUGglNC0nPkxmNTYlXCVcRmd1IyJlbyxjISk9KjNpc05gLC1xISpwYjEjSEVLIVFaUz1bUCQpKT5hP3EjSHFwXiIiVCsrKys/Pm9ceWJBNy44ZHIjXCpSaygpZUldLShGW3YjImJvRkIzXTAyNkoneiczOzdmOCYpKkgqKUc4RGhjJSkqNHM4VjVIOmlxRCMiUSsrKys/OkA6YyYqKkclMzp0O3ZoaEhDJ1xsI0ZfdiMiaW9obydwJkgmKjRJQ1UlKVs3OGtLQmUhUWxTNjA8bztKOWEsRS9fal1FQFglIlgrKysrU0U+KWZeJXpJMmIhSCI9LSVRQ1VSKHlOIkg4RmN2IyJpbyRvMzJMaFh2Xio9cTVNbUMrInk5X0liRVVRKGV4bS49cCspZig9WiVcOSIiVisrKys/Jio0bExxaE02ZzkjSGktZixKdW9GbycpRmd2IyJdcF5JJkhbLig0JDRpKVJddFEyQCEpXCZIaCJvIVEjR3Y2aEM6WWBRRUNtazFxLjgiWisrKysrb3pdMiFvXHpram5DXSdRJnp3TyMzKj0+LERGW3cjIl1walhhbjFfbSI+N1hRQ2xfIkhjYFdjWGMsIz4nb0EzMiIqKUdMOWNDIVwvbFElKiJaKysrKyszWXc4ITNUNy0rQ1hEdls3dStebSU9YmUlRl93IyJicGgjUUMnSCQzV2VsIXAreUlLRiI0RldTeT42dEUlSC4udzEmUmpCTW5TNk0yIilbXSJobisrKysrKSlRdDxWMkU+dm8nb0JYOUphTE8hb2l6ZHA/J0ZjdyMiXXBuKlJSOEJAVWlQUjwsL0lWRFtsPllTRmtCJj1WQkxOJDQ/JCo9aUo/V0NyJiJZKysrKyFHJD5beEgxLjVmQnk3TllWJVtDdk92ZngiRmd3IyJncEBaR2NtZlY9VSZcLEkzIjQ8OGlNJ1tNPCRHZ1UkSD4sdiw0eSk9amhceCUpeiZbT2EkPiJcbysrKysrK2MtWyV5PykpPUFXUUtJMy9qIT0tKm9jM2dZcT86Rlt4IyJncF5yPzYuXTxVKDNNYV5IOUsoKVx6UV5JanVVbHFdLWN3MTZFczokKj1xKlJUR2tJQGYiXG8rKysrKys7P1lMTGE0TjAoSF9LKFxCVGZVS2w2WScqKjN2NkZfeCMiW3Esajt0OFZfeGNGImYkcCU9RCc0JD1DTz8ua2UqZThlZ18lKSpwKXluZEhjVzJbOyp6T1AxMCkiX28rKysrKys3KlE7Vz9Gdld3WyQpPT9HJT0uJGVHUj5aJmUoM0guJUZjeCMiW3EoSFFYJilHZ1xxYlZtMU1gIilITE07V0EmPltHJD5yQ2Amemw/JHpoYjEnNHdycCpIeSdwajUiXm8rKysrK1NJWTBbdHYiXEBIeWkrJTRHeHdfNDh0OiY+SElXOEZneCMiYHEiR2tgT1ZMRGkiNF9Vc2pIJz5LaiFRKSl5QWU6JW9wJioqNFpgIil5QVhkRC8qKmU1elk9JlEhRz9pJCJjbysrKysrK1doY3FSIWZHI0dSO2Ehejg6TXJqL08tcD8ncCdbPVU6IkZbeSMiX3FMJzRucCx0dElBLz1GdEomKWYzJzM0JykqUnIkSG48MiIzIT1AczMocDs0R3cyQillTTJlNGkrNiJgbysrKysrK2cmUUo3KGUlSGIoWysjcEgkcEFXam5DJFJZTCVRVyFSKSlGX3kjImRxckFgP1Q5QDZkP284LSRSSydmOk9LQFJJKnBpbklzLDxZJDM4MVspejdHRD9EelMnUV8nUnVlKGYiImVvKysrKysrPy5fZTw2YCsvKioqZTtOaFFpdlIpSDRtS3okXEZ3Nj1CJEZjeSMiZHEibyFwL20pZmgvIltcJ287TTgpSGFuYUhsIltbPkc/c005VydSPE11J1I5OF9RYWlpNkNAOSV6SWQlImVvKysrKysrcyU0S2EhUUp5Kio+RFNBL2hcek0mXCwoSCc0K3lbSUwiSEJGZ3kjImlxVFVWbkc+QitSI1JdOHZXLiQpcDhzPFtVTEkiUmdHKCk0JkhkaW87PF1tI3BZN2VjLXltJW8qNC4rb3AiKiJqbysrKysrKz9yJipcLkBpOWQhNGY2Vjk+TVB2RGJ1dDlmR1I5a2wxR3Y2Rlt6IyJpcWZkLiE0RHJ0KVJOXyo0W0RDRXAkXGdPZklxKkhRYkhKPEkqeVIpM3debFw/LyI0I1JcXTZsZls1LmQyJyJpbysrKysrKz8mZjtSby4iPnciPSQ+MENsQmlEd2VkKnkmKTQpKVItJTQ2ISllPkZfeiMiXXIyd1BMPSIqZnJUJD5icmc5cmQ6XjElZUdpNENwdW0pZitfdHYuRl9sWykqKlF5LF8pZScpZk4oXFljPHJoJD4iIltwKysrKysrK09OSkRyZWYvWi0+bFhCcD14Vicpb01QMlg5Mlc7NWtjdicqRmN6IyJkcSwocFsnUS0zJUciKj0jSGw9IilId1siKmV4LWIhKTNcOV91dnMlcEQrWzlBdyNRRU9hSGppRi8tXTxZIiJibysrKysrIVtzRiVbOUpaX2MyJiozUjx1TFxbJ28nMzwyI2VAVSd6KEhGZ3ojImNyLE1fU0EnNCFSbyh6WzlmKClmaEptZiZcVFM5MWVsTVFKX1lAbVhKIykqZlpdUygqKXl5RGFccmMsdiVIXCVvJzNXMiQiYXArKysrKysrT2I1UjclZSIzJzQ7IkgnKVJTaCtXP1F2dTxobCNHd29SPkltKVx0OkZbW2wjImBycjIkM2o6ZzBsbip6SVVNQVVeIVtPIlEzY1g7IVt5KSk9cUdQX1QheSxiKlEkb0cnbzo3I3lLcDh0Iz5veCRcMSg+Il1wKysrKysrKykpUUhTbXlqblspKikzdyNSTTUqKXAvMVBnd0x0ZiY+QmNML0dgI0ZfW2wjImVycFEkR1FHPyo+JW85Nk4tak1sVyFwKXlIKDQ4a3pfLF0pPkEiM0kkKnpXYD9vZGRPInpJbHR1dih6VmNuKnliViFmNjYiYXArKysrKysrM0kheSRvaUZ1QllvbGNEOj50LTlvOnEkNEg/S2UhZSY0PCRHUydlJEZjW2wjImdyKD4jPSI9JzMvKz5eSSJvJ0cjM3E2a1omSFcnei5sWnRbd3FNKSllYVEpeUFRWUBZJykzP3U7WzVpXWFKVkk1KEgwU3UpKioiY3ArKysrKysrKTNMaTsnKUdVUyE0Z1cnKnl4T3VEITNBcSp5XEcoW1RsKy5BSSY+JGYzKUZnW2wjIlxzXikzYzx3VGUpKSpRRVgjUVo/OCQ0KVwmSDV3YG8mUV1kRm5RKlJCXlVrd2w1a1wxWFY0dXE+STdCQjp1N10qM2QlZVUkPTciZ3ArKysrKysrIUdcS25vOy4lcGp3eUNKT1NsdihlbHYpW2MuIzRecCwrN3VDdzwmSHVDRltcbCMiaHIiKWUybzZcZSEqPk95KlInXGdqXUNFO20hXEY+SG5USiopeSI+clcuUWchWytuJzNIUzEhKSl6TyR5dHheInBkOTtOLSI+eSkiY3ArKysrKysrZ2RTa14yLiUpeVMhekctcHQxZmQiRzwoeUUwcj8sJilIdHldZWFBWiVGX1xsIyJhc2hvZnF4Lip6Ql0vanNpbTtkayo0W18iKTRiJ29aKnkpPSk9XGZQX2A7JHkqejIxQ1I+PWRdXVhfI2U9cXBnJz1dSHJhM0FpOCgqIlxxKysrKysrKyFbOzRjR3M1IjQhcGAmZT1PUW94MWcqcEIweiZlJUc0X1wrKSpIOiU9N3g8K0MiRmNcbCMiYnNoJTMuMSdSI1w0cXo6JTM4WyMpUUdSKjMnXFhCPUdeeDJKKFItJXBXISpSJVx0LnhaanMnXCN6QU16VT8zcihlPWJiLWZkUHc/YSIqKSJccSsrKysrKysvejUhcERtYTRzW3RZRksjR25lOjM0WD89dGFhOCkqUTZhKj1iQiFRKDMvX0dGZ1xsIyJmc0AmUXZ0Y1JxI0duNXk0bEB1XSMqKnlwTSIqb2ApMyI+Y2AqZVM8VnVDNEZqOzVyTXI9VGlNJSlcKEc/Kip5REhERGdeWzhfJ3khUWp0dSJfcSsrKysrKysrJSlmRSNcUiJ6L1NKSzlveChHSEB0NzJwJUgjbyRcWCUzJz1STyEpKmUlXClcJGVHKilmRltdbCMiZXMiM1FnbnIqKTNnZjh2OiRbR3I/JFs2QjwpUVI7SyVHcCJ5TScqb1MpeW00I1IsYnkzJ2UqPT0qPVA6IT4pR1s+ZCc+OGs6QmgnNHkuO18lIl1xKysrKysrKytDTSVmTkVSbm0mNGhSKDMjKilcSUtUTSl6UC5eNUdoW3AiZS5MW0hiMmJudSEqRl9dbCMiW3QsVE0nPmZ0c1FAeiFbLG9PS0wlcHUiKUctQi9hZjxgP2ZxIkcyJ3BIZnkqMy9LbCY9ZXNmZzwqb0R3IWV5Jipbei4lPUwnM2RGJjMjekxNNCciY3ErKysrKysrKzMtcmpXM2gkXCM+Kik+WzI6Ij5caydbQiplLypRcWpMUEU+Tj93SU0vViUpPUhzaElGY11sIyJjcyR5Nz0yMGZbIlwoKWZqKT16Z1NFOiI+XFtbLXUncD5bN0BUPmJmcGNGTzNsI1xRVDZKZSpSL2pCI3BQaEE4ai4wTEgyJyk9IyopKkgianArKysrKysrUylSImYiM0AyVzEhemEpUUE+NnVGNzQib3EiPkp0WyRcbG05N0MnPXhIV3JQRjojImB0IjMnKXpzVm0yJDQtMUVHeWNUeCx1OCI9J3BEWW1gdSQ+a1s1OkdgNHIwTXFNPyFmMndPOHMzdjQyMyZmRCR5Z3JtZSozazJHQXkpKT13M2NfImdxKysrKysrKys7T2FpSEZ5JltdeWgweFRqZkkmZSZbbi8iZmlURzIiKm9pNVRed0hoPyRwZjJzVVJsIkZqXWwjImJ0LDBDKSpIWjlsJjNQQD0zaEE6MWI4bUI9ZCxpJCpSLFBtJip5LG5nUGA8anpwS1hYRDNfImZueFYuXj5HRFglcGYmZkx3JykpKTRKMFYzPyhcRUUiaHErKysrKysrKytfeko/VEdzNThCLUtARmFDaiIpcE4lMylRSz8wVFFoJEdRRWs/aXddOydcNFNHdTEjRl5ebCMiZHRyN1xwelV1PCJwKm8rdihRKmZwYCZcWUhqamAieiVSOy9nd2RuYU1TbENFJ1xyVGI/KyczcD9cNmk6clwqKjQuZF8hUj48KVxwKjR1YiIqWydlIlFOJSJpcSsrKysrKysrKyM+VyZwcm85MzsnKUc0NkcmPkZKcDsxJ3kzKSl5Q1o1ISpRekZTbTlYKlwtVD1AWUkvZClGYl5sIyJmdDRgY1RxKzEiSC42c0M9eCZIbyopZU5VTWs/KyVHJlIwWiwlbzkuJSopKTNXLkVUdDB0JTQ2RjsreCRmKmVCKFJVYixmOyUqKSlwLzQkUlEhUS4kKls1aTtcIltyKysrKysrKyshMy1KLFVNOCsyRToqPUw1IVtDRUk2OSRSLDIoKUhuJlI7OVpROVNZeWNnNlZyLz89KD5DRmZebCMianRUZyR6JSkpKVxAMyspbyZHO09EPUFeJ1IyOXBuaF9Qa1lDLWpsPyN6IlJYXTxMMVlZaCQqKmZocGEqbytDOGtAX1Uxdm5ZKjMpPkFleSRRMS1wInl0ZkdnJSJecisrKysrKysrK3MnKWUxSmFBSlErcmhpd1RNR1QiW0NdKmY3VygqeXVlTzlKLW0kejB3R2QiKltKNSplU0BtJkZqXmwjImh0YHF1LzE1cTslR2UpcCNlJkczNCsjKWVVKVFVJGZ2Z1JhLCRbKWU/NENYO3FvKWYlelgxLC8vZnNmKDNPXm1LS0lZQlgoNGsiNCZbTiFROjZQUF1iIkgoWyJccisrKysrKysrK0Mjb091emUwSEIqKip5UU4nbzM1IzRYJT5uQ21lYy4kW1Z2ZEdoSGRbbzgpRyFvMno/elwiRl5fbCMiX3UsTDA1QVBeIiopUnIpKmVlNVRrSHgsaFRvLVo5TjRQaGNsKGZ5WilRJnknNGNNMk1KITRhcHQ5JmZAKD10JnlKazBQJ0hSKkdhJCpRQXItIiopNHdeNz9xbW5mWSJicisrKysrKysrK1NxU1NPVnNXTEBXMlN4aT5ONkhEc2EmKUd3Rz1yJ0dCeiMzbUtmaG93MHU5LD44QiZHWnlORmJfbCMianRuJjMtaFYxSnpWNjMyMFJOOWliN08vJjNVRmleNHV0NHEweSI+ZiFHTS1mIj1VYjc6Sk01a2YjKkdOWCI0KT5oZXBeTSM+XjtWKkd4Um1HUE1RPF41IlxyKysrKysrKyVRP3ppZD5nLV5rMnlgJlF3X3YsJSp6MEwnNGhbczFcczo4PCl5PyJbPGBbVFgkKipSKlJJOz9GZl9sIyJkdSw3IWVwIXpTbWQ7InByc1IsRWBsJz0sInlNdHhMTU0kZnEoKnAzJSpbJW86M2deZGFFJD5NcVxidDdAXUtHVWRtaTQmPjQ1JSpbbz1GKFxTcCplTHohW1QqcFhAaVwiZnIrKysrKysrKyshb2ZOZVJVIWZjLmxJdSZcdU8oKj5QUXFZIWUzVm0nKlIuWm0hPkt0Q3ElXC4icDVVKDNVMSZvOyNvUCNGal9sIyJjdSpvK2RYRTteYHA9byR6Qzc+R149SCUqeUY7b2thRVAqNFkrUClwLy0/ZlMxXGxRNzJgKkhIcjYkUWFQTnc0KUdAaEBVSj1fWjpdWW9CY3E5I1IoZkZtLy5XIiJkcisrKysrKysrK2dgKjM8S3JNNiF6aSlbMDQqND8lKjRsLipwPXFWZVpWQl44d2BUSzU3SiVRXkFiciZmUlVYTEE8Rl5gbCMiaXVodyQpMy5WYF1aTCwxUGhhSTVPOiRweWw8RmI6cEh1WW9CJ3opej0ibyNvbXksVlRudngwcWprYGZ4eSgqKnAqSCdvQiJlLywvdngxZSR5QC0mKXomKSopeTVzJ3otSD5iJiJqcisrKysrKysrK2cqKTN5bFBlVltoRyVcMUslZWVrbCZIOj47SVVmTnVDNTdWSkwrU2tsXWMqeSRwKlxMbW4jR24rN2Q7RmJgbCMiYnVWPCJHRmI+LSpRPUN4P3RWVSpHSz1ZXVsqXCp5VTEoelM5I2U8JFsiUnAoKlwvRENfSVhnZig+dTs5NShRdlw2N1owMV9OYChlOyZcT1p3WSFvWiRHeWpmImZ5PyIiYXIrKysrKysrKytTRVpyQWxuPygpR0xQJCkqNGNhb1gmMzBmJSlSKCk0NixrPSJvKTRYIyl5S19bXy9ERD1WRjVrJyoqKUZmYGwjIl12Xlk9Qj0lSHBkZmgjPWlnTCRlRmctaGk4LCE+TUQkKkhiTilbWjBUTDBNLTFeL0FKOjwhSGFaKEdRVl12QSMqZjowPSopeXBNYHdseXZWPVJUOyg0O09oXzVmPDYlZWUjZiJdcysrKysrKysrKys7W3ZdVltzeUFfbXZcJSpbJ1FHVz8+WTBgSCpbdScpKTQpZWx6LzhKVnItWSg+eUJ2IUdjZyhbJDM7Qiw2RmpgbCMiYHZoS3pkYylSZThTZVAtYT5PIlwyYz8jZiEzJD4leXEncHpBOFR1clNjTiIpRy8zNSspM09KPFlpI2VsJipvdiZbLyN5UF93TF5qaChRXEtTYzJJJT1pdWEoPXJgQUpvJj0wNip5JCJfcysrKysrKysrKytfSlJYUkRoY01JZz1PczFYd0sxSnc2QSxFLyJlJHA8STYwOko6ZSRIOFxcQVYrIXl3NHRpSjpXWWM8Rl5hbCMiY3ZoOSIzIiozVCgpKnlMI0hMNFg8JVI4aScpKUhgL3hFbTBDJik9KlwrYXhhPFZnbWtkPCllJ1JAYVFKZzl4NEInXEFEVz1yZCVRNz8zQlJvLURCcUpdKyVwMW4nUShcaCZcQCc0Mz8tKSJhcysrKysrKysrKytjVWVuSjNVIjRELUNpcStiZicqNDk/NCJ5V01cIXo1QU10JypwdVdbNSw+VUp4QUdVKVJkJj4jKnBHNktURipGYmFsIyJedkYoZixMTThIKnlCXD0hSGhNVWclNHFGInopSHVZZGsjMyk0JnlLPVhieCZ6NyEpW1xCKD5CTVEnKltxK0JFIXpdISp6TDBqKlFnIzNTXz15XGIhb2FOZyc+OHV6XXFASCp6WUBSIlxzKysrKysrKysrZ2huJClbUGwhM3UxNVYxIjRDJjRZa1Apb20nKj04Q1RPKilmJ3BdYlxwIVwlRy1TPV9xRXYhUnlGeV1FLzgiRmZhbCMiaXZAQlIuJEgjPU4+PG5fMzJlazxHcyhbXilbVkdyWG5nMGlBX1tPVTUmZTRiaWI1I29lSVhyPCNlWVU+eEBlJj46J288KVIhekpea3Z1YDBxYVpRYio+ImVPPWVpVnYoM0hWXkRwTDUiZXMrKysrKysrKysrZzAqKVxCPCczRyMpSD9XJm9sZypIRlFILlpscCNcXz1WMzZaJFFXQmshKVx5VSpvR1Q1b09oWmxbMikzQyMpeiZHdUZqYWwjImN2ODonKXkmR0phWz1JKEg5VVAmMzJWbWA8OG42IW8lKSpvV0FLIyo+TjVzZnJcd0YmKjM0aiFlOy4+IylITjxpcEJcIzNRM1l0JG8xKio9RXokZWRXTk5ZP1ZQZjRVdixAZmJGdWhfIyJfcysrKysrKysrKyshR1RJM1FoKHBXOkFgTGEvejFuNUZQUVxUZSxZPzomNEpgbzU1W0Z0anVwSW9CejJXMSN5RGYlKilcXyVGXmJsIyJcd3ByTCQqb0U7XzE6USI+JFtxKlwjeXRqKydvLipIVT0qW0ZiXSsqXG1EeGNrbVFQSGE9RGZeVSVbJ3A+UT5SPyczeiVHcHIsY1cuZjYocEZMN0VVd05uJiozR2xDKVxCKkgucklfci5AL1siaHMrKysrKysrKysrITNhPShHRmprOjQmPXlpQmxuZjp0KlJNYVcpUjgyQl87Tno2dl1rNldQbCo0bDpvNzVTITQxb19cPk5aVGJXQEZiYmwjIl13QiY0SU1bKUg/aSgzbTc1djEkUlphanNUPClbXT40J2ZXaCNSOCRwLWojPS9LI1JkUidHakx0Mz8rJ0hLIltuPXk2TVZiNTJqKjQnPVF2MnBVJmZ0SVpUbSRlODxRblRlSSUpXEJiZCIzKW8kImhzKysrKysrKysrK08keSEzaz5QcHNQRTNyazZpZz45Oz1fVks6YS9QYUNtKSpbayZvSk9kKCk9XSRRWmJpQi1lJT1xenZoJnA7ST81JUZmYmwjImN3Iil5ZyZHdWJAWlYkMyRwZ0xeQkcrPjEoUkNQOF0jSEVYRU93UTNiOV55KD1OYiEqPTNtZDdUTnJnX3FweEFQNHUiUjhpWWRVLGgiZSM+VjswcWUxJikpSDZoImZKR3YuUlEuVyc9Qz5hWj1pPiJddCsrKysrKysrKytTTWwtbiM+LGMjR1YhR0h4cSJIMlliOV4iUScqM1okKipmQXFAKG9bUDpPOTQheixNNC0wSSRSR0VrI284UzpQRyR5SW9WJkZqYmwjImV3LGppNTduJiopSEtyJDNqcnBNeGlUOmhVPy8lXENGZiZcJCpINScqUVUnMypbTEQ0aFthP1koXDhRUz0jenE6V3RqVT81RiNbL2JmJVxUNClbVCMzcjtjNEojeWJVQC04XjdFaCVRZUYtc0VFS1o3Il50KysrKysrKysrKytHLCN6c0BfYFMnPVNwL1I/WDpZNlpFMkY+KkdqbDY+TzQpMy0sIlJ4V3c7Jyl5a2hDUipHRzMmM0wpPUYpZSdvUzokMycpRl5jbCMiZ3dyaVlIS2EkR2AoR3E0cVVgQyFSKmYkeWEnKVIhZndSImZfKlFyNXVOYkkkKSp5L11zKzNaP1BTWSdbS3J5VWJhJD5teTl2KkhhZCJIWnpsKzojR1BIbXFhQ2EnKlInKnBbMGdsZE4nNFdbKClmNGolcEFFImB0KysrKysrKysrKytbNz0hWzU7ZEEoUjhNKyJvKFJPcmE3J2U3PW9dZj0jPnBadTEjKSpHSE1FQDlALVFiViI0KWV0enNmXzQmXDgnb3dwaTJYRmJjbCMiYndCSilRdmIzcWVtKDRxWCRcKj0xczMyLnc7aWInXEVVXCU+MlwyVzVGVU1jcF9pTHBrI3pWJD41Lz5RaCUpXEMrK3BTInAkKUdJP3IneURmSGhNR2AoKj4oKXlQMDc2KGUyKHkpWyVlXi8xUyh6TEAianMrKysrKysrKysrU1V6XWhkZE8+aTclZk5HNENUJWU9OD1SPVJxZFVFZ0gkPSYzZSVSR0c5a2MxIlxZQUUuKmVDcUAnby4hPlpKX0oiKkZmY2wjIl14VHl2WlMrOCxiay9FdVV3a3Z1bj91O3gwazpGanpLRilIbVY+RCVvMCtdSSpcXi1FOHZINklKbS4sKCk+c094aFN4UF5VW2lmdGs1R2Bbdi1IOWVHdD9mbzZ0MDtPbUQ/d2pwKTNeJFxkTFRVJSJldCsrKysrKysrKysrbyR5QmpxOS1CL1ZIREghPSIqZlgnUWd6ISlbVCUqKj1oNl1gYHRrKVE+cnVKZVpSPylvJVshcEJAJ0c6KEc0OEcoUWlUV0FYTXIlRmpjbCMiXXg4XFwmW2tVWDsoNGd2RUE0dyo9WUx5KT4iSFhAc2NeZDB3PnYmeV4pemM+Zz5JTGl1ZVs0ZEoiejQ2eURMRHAiPk8jemVzaG4iM1x5c2IhcCFlMHkjKVIpcGMhZmQkNDV0Jj1YVG1HK3d5ViZcKlwsITNFeiJldCsrKysrKysrKysrY0lcbzxnTzAzRmUnUmtCR3YzRVchNFcsJj10NjtJTSZcJlwqNGQlcHhVJVEsXEptLjNyKkgqbyJvQCF6LSZ6YzkteSMqeVQ+NSNGXmRsRilGLy9JIkdHRiUrZXdGJ0YoRigjRjhGNEY0I0ZgcEY3RjgjRmdbbEZKRjwjIiUieiNGP0ZAIyImLHIiIiRTI0Y3IyIoPj86IkZGRjYjIigwdy4jIiUpbyNGSiMiKkpbXE4qIichKUdPRk4jIiwiUTZmIjMiIigrJzQ3RlIjIi5STGBxeEQiRlVGViMiLVZfKFE9OCYiKD8+YyVGWiMiMXJXWVFVQUdERmduRmhuIyIyVHA7KHBLInlIJSIsKy9WZiFIRlxvIyI0elBJVih5TEYsciIuKyFvVm4yOEZgbyMiNChIQ05UIT5bVTojIi0rJWVqSDIiRmRvIyI3LHYoKlJwLC5kJVtUIyIvK2d0P19MS0ZobyMiOCRbTUlOPDs2OGI5JikiMCshbyRRXChbSUZccCMiPFI0MydSITRyUHEyRmxGIkZfcEZgcCMiO0pyJD5fRXhuQV9reDsiIjErSzdKQCgqW0hGZHAjIj5IO3N5Oi1KLjVVNj1PLiUiNCsrdzBrJnAqKilvI0ZocCMiQSwkWylbPnYocC06KXonRy1rOCMiNisrYy0jZiM0cG11JEZccSMiQz5feHcqcD5lNiM+dywuaVBAY0ZfcUZgcSMiQlYwQ01KcipvYCkpUSp5PyopKnpQIjYrUydbc11PJjRhYSVGOyMiRyIqSFkiM29LeUtDJ1sjKSpHZz0hUVlcRmZxRmdxIyJJLHRiOUEjeUgoem1mV0dnTiRmJyl5ayIiPCsrK0cmeT0/VXFbSVc4RltyIyJKSFg1Jyo9RHAlUjdVZCIpKT1MVUIpM3ZZIjwrKyspKT11L2B3QXMqKSopKkZfciMiSDRbWCQqPic9TCh5Zys0O1dwLG8hM24iOitTRSpcSitqX1MqKXlPRmNyIyJPSkklZmtNOi8hUTRZV0xONHlJKzxLY09pRmZyRmdyIyJPYCgzdW8lcEEvazNjZS9ENS1BNDElUSlRSiJAKysrITMhZitOdjIleTJHWzZGW3MjIlNSMilIWmxPV0V0UFFwdmgvV1hOWi8qPWJEKClGXnNGX3MjIlN0NnpBYTk5L2ArbCpwKClmPGNsLWNJJVJQZFUiQysrK0szY2xeRiM0TV1qJik9LiJGY3MjIlhybWhZLy5rYSJHITNYeiFccCZ5T0RMPyIpej1BXVIiIkYrKyshRyxXPj1iXCcpPSIpPXdKJG8pRmdzIyJYUm9MMXhjSmNic1d6ajxwKkcuQWMtPDApKkdzV0siRisrK2ckUiNHNTMqcCRcbyx6QSZ6XkZbdCMiZm56bixYXSVvXihIZTVjNC4hW0snW21nYHJbJ3luRFlGREZedEZfdCMiWlxCKFExeklOITQocHFLTFglWyIzXGBuaEZcbHZfcjgiRysrKz9mZSRwO2YkemZtLylRSFZWIkZjdCMiaW4sUGtPZDNoQCFmbjIrOGUjNCoqPl5FXUwpUSllZVclekdvJSJMKysrKyU9UDkheWhCUkFvZD81R103RCJGZ3QjIlxvInlzY3U4Y3pmcGB2IipScyUqZSwjZilvc2lRKGUmcF4oWy5tYiMiTisrKysvViJwbTh1TkxEUHEnKSlbczNNdSJGW3UjIl1vIjMtSCVlXigpSCdSNzQ6Jio9KT1ZU3ZObWtHTipHJ3p3KUdkXjwnIk8rKysrc1E1TE8ya2s3TyJcbDo2dXNOMiJGX3UjIl1vPlptKD1XJm8iUll1KCp5QjpwJCoqMyN6byZIZFVrYG9FISl5NT08Ik0rKys/KHkhUUZCJ2ZiOSEzMl5nMzxnMndGY3UjImNvXkphMCMzJilSISo9I1JKOyY0XmwrdHQybyM9cix3XWUrJD1gYk0icEhGZnVGZ3UjImNvXDhRQUA7WWQ7cV5xTTM3J28hcCRcJSpcO0IlPidbVzNEOT06cXBMJCJSKysrKz9aaFpAU1FXLlZMLTFCPW11a3liKkZbdiMiZ28+TUt6Ry08VXVxdClmKjRNUyh6Jyo+cj9CWUdOOm8icCkqUWhlMlpHLyQpRl52Rl92IyJmb1ZPJio+NXVuWSUpR3MxdSxnbCpleFhDIUdAQks0Ll0nSG81XEswdmFDIlQrKysrc2kvWCcpbylbcyFwQSR5SXYvZV9CVktYRmN2IyJccCI+JCkqKWYiRylvTT5tblokKlsnKXo5Qkssa2ZGKT1hJipwZCJmLlBQYnE/N3ZhRCJaKysrKyt3TFBRa11yZGNcaEonPmMlPiFbbDNBQSc+IkZndiMiXHByJFFaZm1EI3k4VXpScG01MVEqMydHV11nSl1kXihbakpoJClRJip5bGlsJylcIlkrKysrK3MtYik0Zm1mIUhAOCU+WF45Sy44LSl6O2ZGW3cjIl5wLCgpPU0mUk4ocDsoUmkzLHpENlF6Kio+IXppP0twTXIuRyZcdSQqb01KOClSJClwIyJaKysrKytbV3lGNkMhbypwLWIvZi8meUMiPWhrNnQ1KUZfdyMiXXBUYlwyTjFKNFxePEk9Tz9OQDxtTUc5IWVuOCtJKzdremdJd1xlIjNPNT8iWSsrKysjKkhUdmVjdjo0RG1jYFV6bUtpakR6Wkc6RmN3IyJlcEo3ZidmJz5jSipHcy5eWEdqISpHemBNNU0kby0vcFcpW09HVCpSQioqUTUhWyNHc3RqSkZmd0ZndyMiZnByKXBKIlJ0ZFszVkxPJ1x1YGBoZSRIaGRmcWticEMhUipSSyp6T2FiUUg6cUtbdicqPSJqbisrKysrK2tbZ2AxOSIpXCcqKm91I0glPVNjRCUzMiR6PVI7IypGW3gjImpwUmg+LGF4S1NNMSF6NmxNXDg6PS05T3glb2ttVWEkZThtbkxJa0FuVlN0RStNOCFSRSIiXm8rKysrKys3aClwLD8oZksxNktJcGssVlVBIUcjUShHYCg9NmIiRl94IyJocEIkcDQyT04lPmw3QFdAeGR0bT0mWzEra3BTYyc+W3QhSFxjRC9zMCtbUXdPQy5aRnEiXG8rKysrKyFHKlskKVFNJUgjXCxDO2IjekMhXFFHV3BWbHgzcTwjRmN4IyJecXIpKSlvbCFHc28rRjRdUkxubSxkay4memZgNS1rJ0hGYj9iI3laQDE/ZHEoWyFwVnZfKnApcGFGZnhGZ3gjIl5xeGZuWk8hUi4yOkVIcGcuI0cqUiIqeSE9eC1dJypcJlEhXGUmPUY2K2c9NnhcRWUsKD56eUlmJEgiYG8rKysrKys3RCh5P3YjUTJ0OEEhKVIkMy5XTDE7I1J3IkhDamImeSZGW3kjImNxenhgTiVRKGZOeSIqZTZcKDNqJD1XNCdvWVEjZi45cS5DIm8mZSZ6KGVMJXk8VEgpNEpeWnNsNEdiY0RGXnlGX3kjImNxKjN5XUFHazBQdDxPZFk7UEYkKj05bkcheT8+RSdRQjdDQVAnPXNeKSpSaVhDJHBqVlEjKkhjL21JIiJkbysrKysrKyVRKVsmKSpRcFxmUSlIIz4lXClbTy47eG1dUikzJj43JnpXaiJGY3kjImVxek9XTmlyLCV5PU9MTyJwW2xTOUo0JltyUW02U1tvakxaIzNwbW9xUlQuKDROISlSI3ltUGk0IXA6JyJmbysrKysrKz8+N14wbj0uQyUqUiYqNCJvSnVgUSF6YidmZkYnXHcwKDNSPkZneSMiaXEiPTtLOEUpeixLbUxNPSxtRW55KXBpdkFnUUsnekVZdE5xJVxqNE15TFVKWWkyRiMpW3h2a0Y8SmYpKSoiaW8rKysrKyshM1FtY3Q5a1pxc3MyaTRZKlstME5JZUolUl9mNHdWL18keUZbeiMiXHJSaE9xeGVsX1BtQmRVXHhYKCpHODl6eiU+JjMpeWgiW3JCYjIpZTFMU1A9NEdkLVNleSR6bDAzVmRqayZwRl56Rl96IyJncT5qIXlwQm5rcnAjUSQ0YDxsYShvbnREI1xgTTN6d0Z6NWIhW01pMld1T2g9KWYpWzhJdSNvLyxfZT4lImZvKysrKysra186IT5OMmdZJUdNbXY5LFxFSUc8OkQhSFczIXpWVko1I0ZjeiMiYXJeYDxQWCRmbF06N2g6Km9fOScpMyZSPkYuWnJtUHd3KnlUNUEqUTJ6JUcuQkBwcTY0c3pURlBtI1twIm9aREhTRmZ6Rmd6IyJjcixmKD1maydlJD1wLyR5WTk3ailwRi4iPWhGJGZkIypmSEQoKiozQSRmVz4+JHpRQiEqKVwleW9dY240eE1VRSFcIzNuOUwiYXArKysrKysrQ3F0I1xGcyhRKFJ4ZzMqZiQ0L2dwYS1sXnVxPF88emZ6JzMiKioqWzVGW1tsIyJmcj4nPlBcMWJ1KD5xX2ZgMkp1SWJeXTNFdWhlQm4nUl9Bcmh4SyJSR1FXeSVlOSRSdWciUm0pejZsYD9PMCdmJipwJVwjImNwKysrKysrK092SEZoKmZ6aTVHJ29zQSFwdFphUCIpKj1PM245O1QxU1dTOiQzRSk+Rl9bbCMiZHI0Oz9XSGs/KVFHUWwlKilbQE1eXSlbdiNHSV95Im9ASXE2IlF5M0V2JlxjeEFlMnYhcFA5dUpAOVZWV3JQaD0nRzYiYHArKysrKyshWzsibzdETHJRMjomXDhHPWB6eGY4KnBMYkkmUVdZbVpUaVpjXkFGY1tsIyJbcyJSamd6Kik+YkdXJFxTWiYpekVuVzImWz9UdC07byJRanAheTk+bEVYZUM0cyVRZjdCT1FJYCtVVD46ZyRHPmwxQU52ayJGZltsRmdbbCMianJUNkJNNTo0KCopPixPMFZgcGYnKVxSUnoqenQ7byVHOCQ+PHRRMnQuP3JCZD8vM2A3dSYzWFB4JnpteTJJK3YwcXhbKCopImZwKysrKysrKz86REk5JVxkeCd5Iz1idyQqcChcR3ImXHZPXUYwPi9CQXJTKVJhOjNxNyJGW1xsIyJfc0giM101IzMqcFcqb0lvOyl6ajknSFMtdXdGbC5dYWxAPmU/KnlkL2gxbV45JVE2eDdHYUAqKlx5LUZIOEkoekoqPStnVyVIMCIiaXArKysrKysrP05TOkFnVi0rTnBhQChlJzNrUGYoKXlMXHB4S2pXckEhM0s6PCFRYmI6TEZfXGwjImBzYCJvOWJaVTBtXG4nPSkpZkt1SVszPUlzeSJ6N1omW21KLzdqIilbMGBII2UkUl00X09fW1RkP2o2QHBmQVJORSJvXnJDRyo9JSJqcCsrKysrKyFHeGRcNEUmSENTKTRHaUpjQlFab0FgJ1JUYSopZVpBKCl6WSp6U0NlY1NyMUxGY1xsIyJkc0olUilIIkhHL3U/dCozZzY2SHApZkliIz1yc1ZwZ3AjUTw9W1FtZ3E1OlZMQGd3IjRqJ1xCVTtbWlV1Ny02b10nPnFHXiVvUV4nKSJecSsrKysrKytTVVoxOWEoenNEQjQvW09ScC5fJCpbYXFBNFJHRiIpKVEkb0NQNjg5R0NYQTY8RmdcbCMiZHM0UEcqejBMZiEqM0UqND8jekVTNG53by86byEqKiplUiVwJXopel86JWVDbS8mXCM+Szl5cDsqW0w5IillNFtTai95eTlbMkwoNC5lYlEiXXErKysrKysrKyUpZjlmKCozRSlIJEcieSpcWSMqeWAsTlxPJlJ1NWd6cSo+Y1FgUSU0IWYsIWUvIj5GW11sIyJpc1Imek4uZXBpLmtSTW85dGtkdm5oJlJZOGJvKHAkM0FmIm91LDpnQGAlMyJ6N3hGJTMnR1QlKltgQ1dGW0AobzwiKT5bJWZ4ZFMiSHZtYG9GXl1sRl9dbCMiZnN4VEZTU3ZsdF0qNFMnUkpJbSZwWzIzTS5SW15pJW9eI2V2SFBuP11cWCYpSERcKilwW0E5XGpMWDxzQHlxQ0k6Yyc+TShRPj0tYT8iXXErKysrKysrIUc0WUUwcStxKCopeS9COW9zdHpMZGpTI3pPd1ZjISlcLGVATiw3KlI8OkciUSdGY11sIyJedHI1M3kyJSplJXooPT8vRHl0TUIuOCJRNyhRY28hRzhbWG4mZmkoM3Alb3lNTTJwJVsjSG9AKFE2IylSJTQsLEMzTnlMa0E/ZyxGYm4kM2QkKVtkRmZdbEY6IyJgdFQ+KT09ZzVtRnEuTWdfeipIKD1xdWlecThAKGZcODJMckgmcCkpKVtxSmQqPSoqKlxYIlJoSktfK1kzJ1xbKWVbQnV3RS45VjBDVFZXY2ZKbmMiZ3ErKysrKysrK1dkcFQnWyk9ZE9CWFAhPWh2Uj8hUiEqXGt0c1QlKj1RRnpUU0ZNJSk+dThpa10hW0dFNSJGal1sIyJedGAmcEUhSCwpNCRwYGBPIyllcGxGOT5LKT0kXHR2SlstNydbQk9sInAoPWMqZSRHUi0kPldJI1IiKm9bOnlbM3FOQyRbXTEiPTA6X1g1cCVRNGcuIiJjcSsrKysrKysrK29iJW8iXHhETj1EIkhdeGJjMiEqcCU+JUdaJ3o6ZnFTQWQqWyMpNE5PKnBbRXcxVV1GXl5sIyJfdEIpXEU8SVRNN0khR2xbIilcPio9NEkmNEd6ekJlZWgvNCdSb3R3PDNNNUsleURSP2ldKm9AXDJ1Nj1UZjNWJilIPGNxc2kscXE7W2lxdycpKSJlcSsrKysrKysrIVtLNHotcyE9S3IrJmYjKjQ2Jj0pNFIvRGJUIlwxM0hRR2guKlxlXE9meVc9a3MjejVGYl5sIyJndCxoYEwtbSUqZTdgczwjNCVcL1VKQlQlUillRCNSaHNddilbKVw8RSYpKT5tIW9sb3UmeS5YI0cxaV4mcCU0NylIaVdOTzUjXGowJD1oaCxJOCl5Tz0iXFBWIlxyKysrKysrKysrb2IhKTRUIz1ZbChvV0kzSHQhKWVUMihcYElid3VoRmgyZi1HZyNlXzpceV5CbTZIWSk+OEZmXmwjIml0JDNgVENgayQpPSgpUW95KFtJNDNIal9IJCopNDxGUXIpUiYqNCI+Vy1sQFcyWDwxIio+MTJaWTlqIkh0dUItYytca15oPU1OKkhqQDZTKHltaklycjchNCgiXXIrKysrKysrKytrZzBzMm42ZyVRc1JrUigzRkpjSkIrIT4pWz1yJEcqUWw6ekcxbWlbbCNIUCFcd1lbXiNSJkZqXmwjIl11UjJPVk5kJFxZQjohKilvd2cqbycpPiE+ZSVRJWUsPXclKkhyNC1NMSVSOkQnZXdHd1o9VGkleUNeNko8XiplKHlVbCwzaiQpUjBAUmFpLzZMZCEpM0IiNEw3MloiYHIrKysrKysrKyt3LCxUMyI9T0wwJz1dJHAhKnokeUFqIW9RQDI+ZHpuQDMpcD9sSilSOjxXXm9Hdkh5SUA9WSopRl5fbCMianQoKTRCWnMkKWU2aFU8RyhSKFEvMFM8R3VfcSJmK0ZzKFJtVlxxT1VxOVQnUkE1NyQzbS51am4zJVwnKTNVbGJpI1IhRzIoelUtVzowO3pfRUMoZkpRSkBFIl1yKysrKysrKys/aip5XSh5bSdSJGVOdillIVsuIkdsMyF6bF8+PjpfdWAsJilwK28+WzJHYyxMQzgxJjRLWUMiRmJfbCMiYnVedj83Jls1cWEiM1lUXnZvPj5db2g9LE13KkduMSZcaTImel1paCpcJTMmR3YkXFxqQChRVEBbc3c9QXQkKkdRPjg2OiMqKVI0Kkc8VzlLOmo6aG55Sm5MXCMpKVsiZHIrKysrKysrKyshW1NmdVxVYCU9Y2kwIypRcHosUjsoXF0nZXVlZmlKWkNkQlQwIjQieTpCTSh6ZSl6T1oyLUVyeiZGZl9sIyJkdSx4aFQpPjEoUnAjeWg0aXdbWCwhW2JWVXUrUzpAV0I/J1FnNyYpUTM2REN0JHlzdlEjemokKjQpNDokKipbSyZmIik9dEBdS3RhekcqKXBCKClvTXk8JCkqUTtVX0luXWAiZnIrKysrKysrKys/SlBBKGZoJFIvcHdgXElqNlxtOSplOEo/ZD93eCpmTkpXZzlBKVw4amN0NzJHZSFHLyF6eGElZSJGal9sIyJndT5ROyRRMXN0MDMhb3IvR2JFODAlKVIzJlwjeXNPbnUoUiI0OlpqRlsoRyFcJj44YWxvRWtOZFknR2MoZm1kKFI3J2VARz40SzIteW08cGthI1InZlIzYzovP0JQbUwmImhyKysrKysrKysrISlvITQoM3guLCU+ZnpbTEhtKkhjXihwJEd2TkNfRllNazJNXU85ZDUxNyE9cnUqPV4nZTFzcFJfWFJGXmBsIyJjdW4mNEkmZSc0SVJieHlTQndsSSh6ZyZcUG5RNzBSJFxGY0F2VmkoR2Uqb0xpYDpMNGNgLyNvJykzLFo/WGJPTiJwSUEoMyFccT8+WDIoMz5wOmAqNCl5K18qeUoyOiJjcisrKysrKysrK182K2VQVC42VVd4PHUhPT5pLE9Jc0ZmZ29lRGJcIzQhKjQwPiplRFZWOlNWeG1vNStzXDp5I0ZiYGwjIlx2ImYuMmM2Q3RfNSg9Knl3TChwSEZbOklhWks7K3k9RTksczZzel9PKVJ0Pz0pKVJTU2ctdCpvNSZIT0olW3JbJVtTMVNubzJsZ2pwKXpYOFonNEkqMy5OZTBIKFFzVTxoRmVgbEZmYGwjIl52LCpIbiJHYVYzK1FaYWkhUjs+KkdYJSp6NGgsdVcweSt4Y0B0XWM4YyQqZUVybCUpSGc9KCplO1ljaHdRVWc2S1lVMylcIVFKYGhVayMpUTo2JGY5R1NLJikqM1NmQ0shWyYpR3EiXXMrKysrKysrKysrJSk+P3MmPSMpUi9JeVs6akE0XVQiKlwyczEqKVxASGgkZWdrWjxOaWg8ZCczWjZTdV5ERlRDQzdZKXB2ISlGamBsIyJgdkg+Xkx4VWJYaCh6KGUoMyFSQ1FXWDRHTVxodj9YUG5kJ3BtKzI+TShmTixyajZYXjs9OlhrVilST3Y9Jnp1MHZeeWtodDYwTih6KVJWdjQpSCQzVnNAd0BCdWhCbyUqZW8nIl9zKysrKysrKysrKyUpekxKcUY3KVx3W2R3RGsiXCNSMGRUUF1KUVA2T0g/SEIsWS5uaCRIczNlaiFRIjQmR3pMJW9fKSpIOTs+Rl5hbCMiXnZ4RF9bWU1ZIzNcPiZ5T1QiXCt2ZCIpb0InSCNbZCZ5OjhbVS0tJylvLyg0SlcqbzUiKXo2ISl6I1tFSyd5P2FgNmp1bWB3dDNteE0kXEQrcWZbZSF5NSxmaD16J1t1Zyc+TTE0JyJccysrKysrKysrK09OKD0oRy9VaSRvcDdRcG5AdW9bMCNRS1U6SCNRPiJRKGVLUzRsW3M1bjAoNDxjJkgyMzc0OV82aUdgVkZiYWwjImZ2SnczPys4RGkmPnhNUWVLKDRWUUc0Jnl3OEwwPCNSaExDSSg0ZCIzOmVdSDJocVt3XVIpbygqWzBrIio+UD1gMV1lKmZFQEhTaDxWKVtqY085LkBqQG4hKVEnb29CP3V4KjNRb2kjKkZlYWxGZmFsIyJidixPIm9aY0xXYyVSXy1LKipmenhzcXdVMWMqeiRcKHpmbmYlR3RZRSVbL1s0SFtGVzpGaGNIaUh0KSozcDBsWCJlUTQtZlVDJWVubzFWQGkpKSllKWYwNj8kUixwMDBFM3NbPT4kIl9zKysrKysrKysrK1NlUmJZQmx2bC0mKilHKGZjdVQzXFQ/W25jVzNQd011P2x1PEhsVykqUmklKilcZSg9ZSMpempgUCtkOD05RmphbCMiXHdSNGBjO0hwXEA1cnRQQCVSZ3MnRyJmOV8hR1EiR3pKITQyXSN6SWVbMFFZJCpHIXpddExtNCJ5PTYmPnFlYzJfcUlrYC0pKVJaISl5JGZIdGk2d1A/SyJcdDw8YnAnM21jX2hfb1hMJjNBIkZdYmxGXmJsIyJqdlJSckJENzh4XiwzJ1tTJypmbSpmQkEpSCQqXCgza3VATHgjcHohUiQpKlJDcSh5Iip6ZCwzQDZANyl5XU0yRnJMMF5tKXBBNWgmR0p6cmgjPU9UV2JJMm8mR2VQX1pHdCQ0Tj06Iz1WZGdQImZzKysrKysrKysrK0NNIVxbKmZAY1VRZTVkd2NySjxWQXk3Nyk0SiFcTFs5Y1pDIjRJcnkmW0ZMJUhJU2xKcEQ8QG03akglekp5LiJGYmJsIyJfdzRcNXIlXE5yPF9eJUgvejk+UycpKlJyS3RgPjRcNWhFTUdMJmUkMzciPjFCXExeMFVwQkE7b2ZhNip6YVh5dmpBU1ZlIUgtclBiKHlqJHo3b2RWJT0wUGR6LlprJD5YWTlIVXBmaCthKSkianMrKysrKysrKysrITN1MCRlL1ohKSoqNHlKOHlxWCgqNFxwZVInPih6ajAkUnZgNGZQVHciR1dzeUs4YnA8ejY7ISl6NTVZOUZoSU53IykzJ0ZmYmwjImF3KioqM1NAO19iYSNlL1sqKm9tKEckUkAkKSlbIz0nRypRSyRIdVElejQnKj1JdUAmSEM7R1s4WyJIK0Z6Qm9wWGQ7N1JXaWg4LiJwU0s0Zm9KLDU2SzJjUic9SVduKzFZY0UoPnAkZStzJil5O0UnZSQiW3QrKysrKysrKysrU3UoM0Q8L05dKXk2P11UWXcqXEhUTTFaNClvZzFKWFghUSxiK2l0WSlIUCcqSCY0REdqLWk2OytYQT5pSCY+O0pWaEZqYmwjImZ3elArcjZVRGQoekhkd3Q0JVtfJWZ4Ti9kK19CNVAqPVlGSlIiKltddzEqXEVpIjMnej9fZDxUKW91SllbV2k7M2lqVndQWip5KilbW3BaNiYqKj0tZlpCOyYqbzEkW1tHQm51W20jKSpbKWZHN3cxQENGXWNsRl5jbCMiZHckKSoqeVo0MyVmViNlU2E+JTRsNWtmYzo7ZikpW2cpUnFQaixJIjRGKHBpK1FZJClcaHhSSiVbOz93Wmo3eSF6akonM3NwanU9KXBQPFFGIzM4VVUmek9SIVItUVkvSCYpb2MkZmZnKClcMyw0IVwmPi0lIl10KysrKysrKysrKz9WcXImUWN1Sm1xNTBlcVd2KzB2NGRvdCFRVjBFbi5hI3lsUVFtKW9WKT0zdD15Tkpuc20ydmNcXnMkXClHJEdidFVGYmNsIyJqdyxCOzc9ai8jZjNAIXlKdCE+aisoPlV4Rjs4RFBjIzRWRCRlWHomb1N3STJPJXpxbnowNCE0RzEwQi4/TnYpZmE0KnlgYk9STlBVN0tlZ2JVOUo9aCxrUGAtKmYwKFFWWEFwKj1TJkhqQSQ0SCpHMEwiYnQrKysrKysrKysrKzdAO2JKViMqKXloISo+aVk2XTZZV1QkMzxrckFWdVNHQl9bM0BEQUcwXnM6IUh3VlxRKCozd29BKFEhW1shPTVyWkwnelcoKUZmY2wjIl14IikqUSUzYFV4eFFMKFs0LCRvO3EmM1BXNiUpZW9tLk8lKUdtJDQ2czxZclNuJlImKipRQCpIQCVmPUhLVV1JJT1TTicqW2xmXHA2XmFiUjhqREsjNHc+LCEqW2VpQHN2LEdsaDIpek4yVkRSLSdwUXlbcndxWiJldCsrKysrKysrKysrNyo9XHY4ViwjRz8nPl0+P1QqUklDcEkwIyo0J0gkelN1bU4tXHdESFRKeSlRKUhwYTdCLlkjMzM+NWVHKDNfImZUJUg7b0hVSkZqY2wjImB4UkxzQlU3aj5EPkMiZUkpeVExPChHdnYjZXdNZ15hI1smKT4keT81Zyl6QG04JW9eV0s6ISlRJnoiUTN1MjYiPiwlb2h6T1gnXCV5T3QqUXVsbjdMSypbJzMqeSU+VFw6MDZjPSo0TyhHXD47cTdfQXluTENRI3AmImd0KysrKysrKysrKytrbyI0QCY9XiNlUEFGMyN6cGBpRz1sOndSWVQqM2MiKkhLKioqZjxfKlEnSGZvOWkiUWsjb2ZyIVwrbkVjKVEjKnAib19UJVJXOmlLJCpGXmRsRilGLw==
Mesmos experimentos no universo n\303\243o marcado
GFSeries(spgraphs,unlabelled,z,21);
NyYvSSJaRzYiKydJInpHRiUiIiJGKC1JIk9HNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHRiU2I0YoIiNAL0kiUEdGJStLRidGKCIiI0YzIiIkIiInIiIlIiM9IiImIiNrRjUiJEYjIiIoIiRjKSIiKSIlIUckIiIqIiYmKUciIiM1IiZVOCYiIzYiJ1d2PyIjNyInJyl5JSkiIzgiKCVRKFwkIiM5IilLNmE5IiM6Iil0VCkzJyIjOyIqJiozW2MjIiM8IitcMEonMyJGNyIrYydHSmklIiM+IixcVCcqZig+IiM/RilGLy9JIlNHRiUrS0YnRihGM0Y0RjRGP0Y2IiNJRjgiJC4iRjUiJHYkRjsiJSs5Rj0iJSFRJkY/IiZ0NSNGQSImXVIpRkMiJ3kpUSRGRSIod05RIkZHIigmWy1kRkkiKSIzJ3BCRksiKUJMOyoqRk0iKl9LYjwlRk8iKz9zI3l3IkY3IisraCc0XyhGUiIsJmViZjhLRlRGKUYvL0kiR0dGJStNRidGKEYoRjNGM0Y4RjRGS0Y2IiNbRjgiJG4iRjUiJC0nRjsiJWNBRj0iJWcnKUY/IiZlUiRGQSInI0hOIkZDIidBa2FGRSIoaTlCI0ZHIihwKSo+KkZJIik4c0JRRksiKidcWis7Rk0iKlpULnUnRk8iK3B4OGFHRjciLGNaNFdAIkZSIixNKD5mKj0mRlRGKUYv
O tamanho da complexidade \303\251 bom:
GFSeries(spgraphs,unlabelled,z,100);
NyYvSSJaRzYiKydJInpHRiUiIiJGKC1JIk9HNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHRiU2I0YoIiQrIi9JIlBHRiUrY3dGJ0YoIiIjRjMiIiQiIiciIiUiIz0iIiYiI2tGNSIkRiMiIigiJGMpIiIpIiUhRyQiIioiJiYpRyIiIzUiJlU4JiIjNiInV3Y/IiM3IicnKXklKSIjOCIoJVEoXCQiIzkiKUs2YTkiIzoiKXRUKTMnIiM7IiomKjNbYyMiIzwiK1wwSiczIkY3IitjJ0dKaSUiIz4iLFxUJypmKD4iIz8iLHpgdCV5JSkiI0AiLWFla21dTyIjQSIuLjMheiNwZCIiI0IiLl5VOD06JG8iI0MiL08mb2NddSdIIiNEIjAoeVoxajsjSCIiI0UiMDo9I2ZnXFJjIiNGIjEjXHZjIVFabUMiI0ciMkddSVQhPSUzMyIiI0giMjxFJFJqKUhddSUiI0kiM2J0PCpcZnRtMyMiI0oiM3VqYDw4Qig0PioiI0siNDwsZDdPXzNWMCUiI0wiNS9oIVs1RHFUNHoiIiNNIjVtKFEhUXMhPkQ8I3oiI04iNiR6PSI9J3lVJz4kM04iI08iN05NXy1CJip5L2RiOiIjUCI3JEddclB6KGVMKzBwIiNRIjhTKys2JilwLzwhSG9JIiNSIjlwZ19tTDBuWVJ5azgiI1MiOWkybGMxVFpmbFB3ZyIjVCI6PHpyNHYwZ040OHlxIyIjVSI7PiY+YG4+My1bJEdzMjciI1YiOyopSClHcCZmQSgzKHAvIlImIiNXIjw9dWdQVzcnNGV1Qk4zQyIjWCI9RSczelItQHMuTWQmcHc1IiNZIj1beWZeNFgnUkNfaDZxIlsiI1oiPjZsOF0nSGByPXRZeWJjQCIjWyI+My8vKWYpZVNEVCQqcCQ+aCcqIiNcIj83PVArYidwTmIyITMlcDNMJSIjXSJAL0UnNGg+QSMqUSZSJnkmKWZVPiIjXiJAc0xKXiZ5SiVwT0VdQmAmPSgpIiNfIkFrRlIleiU0VSgzNEpGVWZeIlIiI2AiQltgSioqXC1fJmVPTGFkUDRmPCIjYSJCa283PGxaNHVrLiQpXFB3eCF6IiNiIkMjPSQqRyZSZWJnNkQxKTMiKT5tYiQiI2MiRHkhWzA6IkhdJj5pJFF5VidwUys7IiNkIkRRYypmVkxWaUUtMHIlb2tuWz8oIiNlIkUnMyxBLkl3Qz0jKUghKip6Nig9XUMkIiNmIkZ0VixWJVJBZykpKjRVaGg/W29AWSIiI2ciRktIVCZRR2F5Qjg2RWdLOHU4ImYnIiNoIkc6XU5sRFQ1amowQlBTKikqKTNOc0giI2kiSCU9TmpASyMzMD0ob2Zoc3AqcFc0TSIiI2oiSF48ZmQsWyZRMERyJioqcFcjRyVRPTAnRjkiSSxcO2M/MD1iJT4/TFRJTEpCdUF0IyIjbCJKIip6XSw4UVxBV0IjKkdzInAiZnUvU0IiIiNtIko7XnFJOyc+XSsyJDM+VVlsaVooPnZiIiNuIktTci1oRGY9QjBzNEk5JWZOXjsyKD5EIiNvIkxLZjhVIjNFUTNRcCtTZ2UvZDNHOlI2IiNwIkw9LVFXbi1FJSkqW1pNWyJHIj03TGRyXl4iI3EiTWkzbyN5UygpNCZcbjpfMUxIcUdAaWBJQiIjciJOSiZwRE8mR2hjYTd5TDM3XyJbJykzZGdhNSIjcyJOZnYmKVxXbFl4Im9zOiEzJFwhbzxJUmJPeCUiI3QiT1pxNz88Ulw8YV5JJVtNUTkrbCRRL1NoQCIjdSJPTjxScVhbSCRRcUB3b1d0MFF2YDVBISp5KiIjdiJQZCkqPlxxJGZKYGBBLlwiUSplKilcblR3bE1XIiN3IlEoenQkUTdjK2NXdiYqZXdkMnopcFUqKj5JJjQ/IiN4IlFrR2s4WDlIYEJwK2YjMyN5JioqR1ZGV1wkMyIqIiN5IlJlIipRTzZAQSZba14/ZCNwRDo1TSRlLVpYSFQiI3oiUzpsSWcwaCI0JDQnKjNhJT5ldy9EUydldl9pcz0iIyEpIlNUTTYwOUhQQyxwKjNiV2khUklPRWtsbylSXCkiIyIpIlR3LXZERkghPmpZTygzKz9UNDR6TCx2QV1PJlEiIyMpIlUzW09YI287J28tIj46SSMzOCx1VSNReUBZaChbPCIjJCkiVSIpW0NmJmV3PWsmPUo9PiNwdE1QRTJUWUQxdiR6IiMlKSJWR11wVkIwJzMpKlExSyEpSCplN1pxOFRpPyoqXE5nJCIjJikiVyFILVBeJFtwLislUUN3VlY9R21yMSNcJVtPPWpqIiIjJykiV3ZyWkQ4KT4hKm9LS1FlTno5VjtPSmQtUEAmekp1IiMoKSJYTTAmb2x2LV0iNDZbUmcvLSg0JFt5KiopKUhuMUlnUCQiIykpIllyaTN6Wm09O0ktTVZIVXlrdiQ+KioqUWItJylII1JgIiIjKikiWSYqZVskM2FOJEcvMWUlW1B6M1NqaFNkQ1s3VzozKHAiIyEqIlpVJ1x5VF9uOCkqR2VfZnA9UjlPJHAqKSo+J0d0QEwlb0oiIyIqImVuczZtJFxEMWcmeSV5bDpoXSM9OC8yRWBoKj5YRTAvVyIiIyMqImVuOUEuPD8iPjNUIkdROClHLCdmdXZySnJaJClmVjxUXGwiIyQqImZuMTI0SCYpeSpRMCgzZSkpNC0qKjNPUVJ2ZTgnZlwheidbeUgiIyUqImduJjMtJT0+RHhqK0tURCMpeTFaJCopeWUiUWtQQDpSRndhOCIjJioiZ251Jnk/Ml5DTDUiWzIoNFkvKUguQC1IPUhHZnZTKWZKOyciIycqImhuc3lOIWVuQEFwd3hoNS8mKUc/KD4nRyY9MSU+LCszckIvRyIjKCoiaW4+Km9xbmI/dEcvKFxHJCllLmA1IT4tTTQ8QSVRMlhBOHc3IiMpKiJpbiVlTC1fIj00KGUpZTcwIlw6XkVyOUJHJltnV15qZlRDM2UiIyoqRilGLy9JIlNHRiUrY3dGJ0YoRjNGNEY0Rj9GNkZib0Y4IiQuIkY1IiR2JEY7IiUrOUY9IiUhUSZGPyImdDUjRkEiJl1SKUZDIid5KVEkRkUiKHdOUSJGRyIoJlstZEZJIikiMydwQkZLIilCTDsqKkZNIipfS2I8JUZPIis/cyN5dyJGNyIrK2gnNF8oRlIiLCZlYmY4S0ZUIi1DL1JceThGViItJm8jcDJNZkZYIi5lK3kmcGlERloiL11TYTEpKjQ2RmZuIi9dRmNPaD9bRmhuIjAuai1sbygpNCNGam4iMCwkUmQ0U2UiKkZcbyIxXVc0KHBCXCslRl5vIjIqeTVmVTJ5YTxGYG8iMj8lSDc3cncteEZibyIzVS9idiFwJClwUSRGZG8iND56JEclKnBZbiJcIkZmbyI0JCpwRTUmcEtTemxGaG8iNU0nZV9pMVUtaCFIRmpvIjYuc25ZciVSMEsmRyJGXHAiNjM/RlIxJltSKD1wJkZecCI3QFNkKG9dZEFfTl8jRmBwIjgqPlpLJio9VyIqXDQ/NkZicCI4bW1aYk8uIilRJClvKFxGZHAiOSFcUGg2KilRbSwoZThBRmZwIjknPUdccUtgQnFnWyYpKkZocCI6U0k2dFNMNCw9ZjhSJUZqcCI7VUZlQCcpKnlOZWkpXGU+RlxxIjtAISkpKUgkZmV0ejEuPnUpRl5xIjxcMjY5UGxPXXBIKTMwUkZgcSI9XXN1VmJ1Yy52ekV2WDxGYnEiPV10ZXlgWkQrIm9OTSo0eUZkcSI+ImZZZyJIUTVBbW5EQmpcJEZmcSI/ciVvTWAiXCkpKXlxS1FjaWMiRmhxIj8kR0M4aWgmPjg7MHByJTMtKEZqcSJAdjoneSk+QChSOG50bHUwXEpGXHIiQVU4dTYqM1syMjkqUWA9Rjg5Rl5yIkFWJ1tqI1xfLiw+RjxxLUFZakZgciJCailHUChvdiZvUyEzNiMpenk3JkdGYnIiQzVmdHFrIlsjPm8jKSkpZiplNzxHIkZkciJDOEF0PWwlZWFaSk1mIlJlWmtkRmZyIkQqSG1pdW1XI1tqUSZHM3N2IlFmI0ZociJFYjsqZmY+UD0tOEk6bytKdnc7IkZqciJFL2duV20lW10hPV9KbW5CPSgqZV9GXHMiRlclSC1MY2A3cGJqKUgkKj1CbiZwQkZecyJHKjRXLzMqZlg8VmJTOm05Jno/Im81RmBzIkdaRy9IIzRpdmpEIypwRVYieTxwO1tGYnMiSEQiPlw7KSopKW8lbyE9WUReWidHWEg8I0ZkcyJINTZXZzBCNlFjXic+XSJSJkhnXjEpKkY5IkksaT5QNm1XTXJjZG1rJ2YiPmpLRldGZ3MiSiIpSCJIeDcnKlwlNDtmbXEmZTVpSF4qKj5GaXMiSlpPSyFlPzYlW1IqNGooKm9keGVFYUwhKkZbdCJLeCZwQSxtMHBDY207RU4oKUgoZnJoIzMlRl10IkxQUDA1dzYuPylmbzwnSEp4cVktLWQlPUZfdCJMaEdoQCdwbnokWyspSEZeJWZKZUFgb00pRmF0Ik12cHFfZXFtQHJPLCJwMnBCYEcjMylleCRGY3QiTlRXTCkqeiJbL08icCoqSFBSKEdfaSxhaDM8RmV0Ik5jIT1LQGJBZGdZZmMqKUc6USc+bEB4UXQoRmd0Ik9SbylvKzRCY2BkOWhBKClSI0clKVImZWQ7XSRGaXQiUCplM2UzI1tIIkgobzdeInBeJFE2Jj5OJnplZSJGW3UiUG9QNT9rKyhmSCFHczNINVwrZSEpNEwnRyU9KEZddSJRXic0K1ojKTNPbWBVKlxGeU1TMEh6biJcYUQkRl91IlJkdVtHMndJTiZ6bFxkOV5iJFEoPilvZUxiWiJGYXUiUipSTGNwLEA6J1EzVmFQcU9zZ0ckSHNlXypvJ0ZjdSJTNU8hNGFJIyp6K0BTLFdbYWpWQmRUXEY/Ti4kRmV1IlRnXTskXDEoR08jPiZwVVIlKW81Jlt6I0hCR1hmUCJGZ3UiVEt0KXBSXCkpWyRmQWZiZCh6QCxnKD5APVhkQ0MnRml1IlU/ISpHRl5NIVxlbkNqOFciUVlhN0JTXT1udUtHRlt2IlYwRipHKDRkdEsnPWsjKT4qKiozeEppIiozJzR3aXUmRyJGXXYiVmVANng6bnZyYSQ0Z18nKXA4P1guX2BDME8zUGVGX3YiV091InpNeV4zQi0iXChHOiQ0J1whUk9fdTNkelxdRUZhdiJYY0pvenhyKytbVypvRmFfKm9aJHBBOjZIKCo+eS43RmN2IlgrP2k0ejd5YG8mNHMremRjImVvOydbKmVAVEwkb2FGZXYiWSp6XmhqUSRlNCgpWzBidkVKJykqeScpNGduN3NPWFhbI0ZndiJaYWI2R3pHJEcnKSoqKTMzKilSWi47elFDLFQwOE9zIUg2Rml2IlolR3JtV3cmW2V1ZTIiPi9AQXMpPj88Ij4hKTNkUyo9OCZGW3ciZW5FdUwxajw8NT9EVC88K21yIXAnKT0lSEd1UWcqKilITCNGXXciZm4hUVY/MENdI3lJTSxZMShvcyFldi4xJT4kKUghPnMheWc1Rl93ImZuNWRfPG5jMlR3aSMpKWV3Iz1dWjNcInpoI3k4dU14UyNbRmF3ImduMCE0IXlcVGVDVjgsQ1dwKT5IVnI/ZidIeSlRXyVcPyU+I0ZjdyJnbj1KPklTWiIqW2M3KHApW2tVKHpzTTowIVxSd3lTOCo9KSoqRmV3ImhuVmNxUUlmckhBUCNmXDUpbzI6P0dRZlEqeSZvaDM4PGElRmd3ImludEJpIj1nXio+Y2w9ZWc5bm5AYTxhJyplPVAlPSlHKCp5bT9GaXciaW5cP3NDK10wJHpUMTNaWVhmLlw9Vjg8IW9nOypIJVx5MSUqRlt4RilGLy9JIkdHRiUrZXdGJ0YoRihGM0YzRjhGNEZLRjZGZnFGOCIkbiJGNSIkLSdGOyIlY0FGPSIlZycpRj8iJmVSJEZBIicjSE4iRkMiJ0FrYUZFIihpOUIjRkciKHApKj4qRkkiKThzQlFGSyIqJ1xaKztGTSIqWlQudSdGTyIrcHg4YUdGNyIsY1o0V0AiRlIiLE0oPmYqPSZGVCItLmU3TUVBRlYiLVImUVZaZSpGWCIuaDNvQidSVEZaIi8sJHlZS0p6IkZmbiIvJ0dKQWshKXkoRmhuIjAhNHVjXCQ0UiRGam4iMTs2bSwoKnl6OUZcbyIxVSpwRl0oUnJrRl5vIjI8ZUBuYUFjJEdGYG8iM1A/O2IocHpaQyJGYm8iMyh6RlpkR2RPWiZGZG8iNCRIdS5FLD54NUNGZm8iNTVyJEc3JHo2UGo1RmhvIjVRWjFJPEJULyhwJUZqbyI2cGZyJVFhZUlceD9GXHAiNiwzUmQjSCJmJD4rIypGXnAiN2N1NCEqSHEvRjd6U0ZgcCI4I1soUkkkKT50SyZmNT1GYnAiODFuWm1AdCZlTjxYISlGZHAiOWZObSNbVTRMJzRQeU5GZnAiOlsqeTpPVkY9RVA3JGYiRmhwIjpkNCRHZSJScE9GcyIqNChGanAiO2hBIXBIPSh5amc5QW1KRlxxIjw1NXhBXVhlJSlRKyZIODlGXnEiPG4iPTw6eUY4YHIxVzhqRmBxIj13ZWxUeiUpeVM6YCNbQyNHRmJxIj4pPiY9SWojPlVNPyhmJXBpN0ZkcSI+LUo9bURyRDQpXC42KUdsJkZmcSI/eikzOjghM0g5XD9gZFBLREZocSJAJjQncEByX3dtImZxZDs8TjZGanEiQHpUIykpZkolPkJEd1UvYzs0JkZcciJBOVowanUpeix1eCIqbzxGXkcjRl5yIkIyOXU/KD5jJSkpNFEhSHB6OEU1RmByIkI2VS90PXlQIypwVGFkYnMuaCVGYnIiQ3VGJ3kpSEhNJEhqPSg0Ri1ccz9GZHIiQyZSRDtaSTlnaiNvKlIrbCY0QCQqRmZyIkR4ViJvKnl2dVYmW1A3WU9YQSU+JUZociJFJEgoKT4uYCEzKUc6TidHdnU/OykpPUZqciJFITR4b253Q3YpUl1NbFpOMCpSXSlGXHMiRjxRQ3RkZkZ4YlhHIlwmUnJOPCRRRl5zIkdKcSZlWUY1YGJuOyE9I3prYE1zcyJGYHMiR2l5UiV6QG0xKyNHQS90Lm9FLyp5KEZicyJINFZEIlFJcj5seSdlcVFzaCkqKilRXiRGZHMiSWhHLj0ycic+cFNPOl1ReWRXTmVlIkY5IkktNk8kPjhGJyplJ2UqKXpvSEhfMGdmckZncyJKczRVdVMqKltuYFJeJkh1Ri0zeF5MS0ZpcyJLaihHNUAjM1ZgNElSJj5MNy9OLHUzWSJGW3QiSzxuSHQmZSI0cW5QdyJwd1lsW0tDQmcnRl10IkxwJyo9X2RzJlEhenokPU90SjdDTFsmWylIRl90Ik16SSpmTyd6QUFRdlVjRnRTYCplKm8mKVw4RmF0Ik1QeVFObVdscz8vPFYkUWlFU1QvPGs1J0ZjdCJOc1IhNE8uaHEibyJ5UGM5JlIvIVw1NkFqRkZldCJPOmMyaic0Kj0keTlLc3Bmaz10YDRFYDJEIkZndCJPJylRLEYycTZgSCg+L3JAeSdITXdCIWVJbSZGaXQiUEMuP2NtJypldXcmWyhRUV4jKj1sS2R1InlrREZbdSJRRE9JcE0lSCJIUWAvKlIlW1EncGJsc1IlKj07IkZddSJRW01RM1BXaD4iMysqMy9PVT4vY3RuJHpcRSZGX3UiUkAuOFVfISpmKSk9RihSJEdLTEpHSWM2YG9qUSNGYXUiU2RELUtHSnVZJFsjW0VqUmkoM0ZtKFtkISkqPTMiRmN1IlNELEAsNiUzKlE+KUhVKnlFLCVbWyh6X11iOTFcRmV1IlQsJnkjKSp5KmYxTzQjZiRcKTN2XDpKYSQqKW9STURBRmd1IlUzd3RBQDl6bUQoR1Z3diJmQDRiYEEkenc1JzQ1Rml1IlVHUWxzTCxfYHlQJXlWRTd2JUdiMENvIT0zOmUlRlt2IlYnZVBAYEg3WUYvd2w2QGZXX2dVJz5nOiFwXHo/Rl12IlYnPTIzI1JzaF9XZEBIaiJmUiIqXFNqeEkoZkwxVypGX3YiV0UoPjsnPW1hTUElSCpcIWZPenhjTklQSz5LO29HJUZhdiJYSi47MCIqcC0qW3hFMicpKj1WKzdiU0RQaCc9OidwJT5GY3YiWE1EWm1OU3lveDFwWV0jeUUiKm9eZlEpKSkpeU1PVykpRmV2IllxIVFfVC5xZHM2JlIpXCFwNF5saCE0XUBRS05vJT1TRmd2IlpcOWc2PyVvNkhncEVST2BWK2JcJSlwTS1WMFI6RT1GaXYiWkU0X2spR2ApUmtUTCd5dFJoJ1tgKm81Um1UdXNLKyQpRlt3ImVuKWYpKioqeix5aCcpKjQqNCdHMSIqKlE1ZHpFKSpRMlxBJlJ0UEZddyJmbiVmdiFwZyRwISpbQydSZiUqKnBvRThieGAneiJHRScqPXM6PEZfdyJmbjtraFlfTihccDkydWQoSDxmJG8lKW9tKFJ1NHo4a0QheUZhdyJnbiE0Nmsqb21OKVFhQyVcRVswUkUuJnpTU2YsIlIlb24qW05GY3ciaG4jcHJBNURSQXYxWVMpNDRCRkpvYiEpPXluTmEiPV5dOTtGZXciaG46TjE+MXckPiMqWyxAZzl0MHIpUjkielpNKXBvVD5dZk0oRmd3ImluI0gicGVlQEYyKmYkbydRTTIyQVYlUiUqKilIU3pBKlEoPiNITSRGaXciam5MYyZcYSJvOSFRSUtmZCY0MSwuS2o7Q11HMG9pLSJIXUA6Rlt4RilGLw==
<Text-field style="Heading 2" layout="Heading 2"><Font encoding="UTF-8">\303\201rvores enraizadas rotuladas e n\303\243o identificadas</Font></Text-field>
Lembre-se de suas especifica\303\247\303\265es:
cayley;
PCMvSSJURzYiLUklUHJvZEc2IjYkSSJaRzYiLUkkU2V0RzYiNiNJIlRHNiI=
Enumerar no universo rotulado
GFSeries(cayley,labelled,z,41);
NyQvSSJaRzYiKydJInpHRiUiIiJGKC1JIk9HNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHRiU2I0YoIiNUL0kiVEdGJStfcEYnRihGKEYoIiIjIyIiJEYzRjUjIiIpRjUiIiUjIiREIiIjQyIiJiMiI2FGPCIiJyMiJjJvIiIkPygiIigjIiYlUTsiJDokRjcjIidUOWAiJSFbJSIiKiMiJ11pOiIkbiYiIzUjIisicFp6TiMiKCspR08iIzYjIiglKWYpSCIlRD4iIzcjIi5QU1JnQHoiIiorOyt6JSIjOCMiK3NwSTR6IidEKG8pIiM5IyItRCJHOE8/JCIpTy5OOSIjOiMiL0spKTNzVj1OIip2R15RJyIjOyMiNCR6Oik0OjBCQydHIi8rISkpKSp5QTQjIiM8IyIuZW1sSlAzJiIpdikqKVsiIiM9IyI3UmY9LVt5ZG9RIVsmIjErIUdkcXRCUyciIz4jIjIrKysrKysrPyQiLEBhRFxbIiIjPyMiNUglZTxIaHd6NDclIi4rK3cwd2MoIiNAIyI2a149ZU96aGpqVyMiL3Y9ZWh5cjwiI0EjIj5CJyplXHMpZVsmcD9UZXIlUiI3KytvMnd4RjIrQzYiI0IjIjZXSGdKcms5NVFDIyIudiQ+cTkwREY7IyI/RGN3Zih5JWY/QlZhbnR0QSI2d0g1JD10Rlc8RioqIiNEIyI8KT0kPW9hWV9PbEBjLG4iIjN2b0hAbypRWiVHIiNFIyJBVnlFWk4oUlhQdigzWV41STUiNysrKzsjcGxJdyhIbyIjRiMiPjtbNmkzcjpvd1dWWyRwOSI0dlYpNG9NXlQleSQiI0cjIkk0KmZAIioqW2ZuTFhkYEMwKGZhTUowJCI/KysrLzpdZ1FyNllNKSlbSSIjSCMiOStdUDRyLilbIm8kb3QjIi80WXhLeGQ1IiNJIyJNclUkUXctaFhoK3hCKXp6KlE0YHgpPXc8IkIrKyshWzNqamU1PjcpZkdEbCMiI0ojIkc7S14mW2tIIjRZbVJsZUQkemtuNyMiPHZveidRXmwhcERXKUhENyIjSyMiSExzajFHaSYpcCt0Myc9OTA3Q2NbPyI8KysrU3lxcyZRKWZAbWElIiNMIyJIbTNXTip5XC5PRyMqRz9xeFkkeWR5IyI8dm9hOjosW2poXT8meUIiI00jIkx2JGYzOE03I3BjIUgiPTloK1AncE0uKXolIkBjRTFgM1o+aEp1JkciPlJkIiIjTiMiRkdoYD5yX1IqKlE5KjQkRygqXDE/TCIiOXY9I1wqeTllLVlwdzsiI08jIlgkKjNRaSM+SWJKPSkqZVEmNCxmKFJKaXBcVSUpZTU1eCJLKysrK18kMzpbJSoqelk8NyEqKnlFTCo+UCIjUCMiTyd6IXBGdTNbZyc+SSUpZTYqcDNYVltFaiNHIyJBdiRmZTpDbkchb1QrZCk0bUAlIiNRIyJSZEo0dyYqKVxyciI9dng0XXNDYUloJik+Jio9UiQiRCsrKysnSDJLPlU3TlM9Q1onUiMiI1IjIk4rKysrKysrKysrKysrKys3OFVgKlxIYyJAIkdSM1EoKjMwKjREWGtnKD46IiNTRilGLw==
o n\303\272mero \303\251 obtido multiplicando por um fatorial:
coeff(subs(%,T),z,40)*40!;
ImpuKysrKysrKysrKysrKysrKysrK1Nhd09IZE8hXFhKQUk=
Esses n\303\272meros s\303\243o conhecidos:
40^39;
ImpuKysrKysrKysrKysrKysrKysrK1Nhd09IZE8hXFhKQUk=
No caso n\303\243o marcado, uma f\303\263rmula t\303\243o boa n\303\243o \303\251 conhecida, mas \303\251 igualmente f\303\241cil calcular valores para \303\255ndices altos
GFSeries(cayley,unlabelled,z,41);
NyQvSSJaRzYiKydJInpHRiUiIiJGKC1JIk9HNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHRiU2I0YoIiNUL0kiVEdGJStfcEYnRihGKEYoIiIjRjMiIiQiIiVGNSIiKiIiJiIjPyIiJyIjWyIiKCIkOiIiIikiJCdHRjYiJD4oIiM1IiVVPSIjNiIlbVoiIzciJidbNyIjOCImdEgkIiM5IiY2eSkiIzoiJyJRTiMiIzsiJ1pbaiIjPCIoZjZzIiIjPSIodycpbyUiIz4iKUdpI0ciRjgiKUs9QU4iI0AiKSI9YnEqIiNBIipiR0dvIyIjQiIqJSlcc1YoIiNDIitYWTxuPyIjRCIrNWxqZmQiI0UiLEhWdCQzOyIjRiIscGkxMl0lIiNHIi0zVmInPUUiIiNIIi0oZlpvVWEkIiNJIi0pKkhecnIqKiIjSiIuK0ZOTSo0RyIjSyIuYlZ5PilIeiIjTCIvb05uTCY0QyMiI00iL2AhZS10Nk0nIiNOIjBrL1dJZmx6IiIjTyIwPzEiKVwhKWU0JiIjUCIxSDVlJVFCcVciIiNRIjFdSiMqPlREOFQiI1IiMmBDaHoreS48IiIjU0YpRi8=
Este tamb\303\251m \303\251 r\303\241pido:
GFSeries(cayley,unlabelled,z,101);
NyQvSSJaRzYiKydJInpHRiUiIiJGKC1JIk9HNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHRiU2I0YoIiQsIi9JIlRHRiUrZ3dGJ0YoRihGKCIiI0YzIiIkIiIlRjUiIioiIiYiIz8iIiciI1siIigiJDoiIiIpIiQnR0Y2IiQ+KCIjNSIlVT0iIzYiJW1aIiM3IiYnWzciIzgiJnRIJCIjOSImNnkpIiM6IiciUU4jIiM7IidaW2oiIzwiKGY2cyIiIz0iKHcnKW8lIiM+IilHaSNHIkY4IilLPUFOIiNAIikiPWJxKiIjQSIqYkdHbyMiI0IiKiUpXHNWKCIjQyIrWFk8bj8iI0QiKzVsamZkIiNFIixIVnQkMzsiI0YiLHBpMTJdJSIjRyItM1ZiJz1FIiIjSCItKGZab1VhJCIjSSItKSpIXnJyKioiI0oiLitGTk0qNEciI0siLmJWeT4pSHoiI0wiL29ObkwmNEMjIiNNIi9gIWUtdDZNJyIjTiIway9XSWZseiIiI08iMD8xIilcISllNCYiI1AiMUg1ZSVRQnFXIiIjUSIxXUojKj5URDhUIiNSIjJgQ2h6K3kuPCIiI1MiMktPR3llN0xMJCIjVCIyPFwmUiplMz9dKiIjVSIzQz1ucHJ0KDRyIyIjViIzdT9aSk0tKTN1KCIjVyI0PWhzQWRDUj9AIyIjWCI0R2ZVeGhJVmVLJyIjWSI1cSV6KFI6OTZKNT0iI1oiNWkwISl5JD5fR1U9JkY6IjYiUU0lcCRcQCoqZSZbIiIjXCI2YCRRNTlOKSopcChmVSIjXSI3ZVgiPnZwQkV6QEEiIiNeIjdbO2YmZTFGISk0JzNOIiNfIjhvTUshPUZALmkheSsiIiNgIjghcChlOixcUVxhaipHIiNhIjhNKik9IylRS0M1Kj1HJCkiI2IiOSQpMzJJOyg0Jj5EKWVSIyIjYyI5ZSlHOnhGK3YmcCdlKm8iI2QiOlcmKlFeRzc5eSMpKXAmKT4iI2UiOl9WLilwcS9UJnB2L3MmIiNmIjt5Mj8wX1lWZ3MmKW9bOyIjZyI7Km94UF5RZUEpSE5rYFoiI2giPGVAZTgra08pKkhZbTZQIiIjaSI8bUA8JCozN3MsP0U5bSZSIiNqIj0+d0NudFAuRGhsbDlVNiIjayI9KEdHeiEpb2tSRCEqbz0jKUgkIiNsIj05KFJAd051T3gjcCh5eF8qIiNtIj4ubEQvRjd2bTEpbz1JYEYiI24iPiYpXHUmM0liUCIpenRaMGZ6IiNvIj8xPDErUnJUKDRPIVJwXCxCIiNwIj8lKkhUZlZoXncmZVN5dXNsJyIjcSJAIlsmZi0+Pyp5JG9IXTlraSM+IiNyIkA7cyh6THgocChlOUNxXUR2YiIjcyJBbEhNaG4jb1cqRyRwYDJNVGgiIiN0IkFSJmVXby49TUFEPj55PlhuJSIjdSJCLDAoZnElUS5OXSI+Lk4hNFROIiIjdiJCJEhZIWUlPSM+QUAuLk9pOU8jUiIjdyJDeEx6TG4vNXRyRyxpSnY9UDYiI3giQ14tJnBNZjhUblpTNGVva25IJCIjeSJDWzZJKmVqbyJlJ1tzc08kMyYpZiYqIiN6IkQ/PEAnM3NTMSF6WnUlKj08LUd4IyIjISkiRC8oW3Y9WnohZl5ZYDEzUDJWLykiIyIpIkViIz1mRTwkKXlNJmVzbGZLbklNQiIjIykiRScqb2AhNF0mZTIrKilbN29GTkJ2biIjJCkiRkhRciQqUmsiWzdwKD09d0EpUiJwJz4iIyUpIkYlZSRIN2JjKil6ViRReTspW2dfOHImIiMmKSJHKWZlPGp5LitTNVUzUD5sZGQoZTsiIycpIkcqWypbRmV6Wip6VmEnZXdZIjNPJj1bIiMoKSJIL3QmPTAzZyV6J0glUiFwYDxbeCwrOSIjKSkiSCkqPSpHbWpAZypmYls4JT5iWCE9Jm9TIiMqKSJJWXhiNCVvcDdpW0BaKW9JViMqXGIjPSIiIyEqIkkpKSpmZkI5KilRNyVvZC5dLkJNMiZ5ViQiIyIqIkkrbSxxanYleTlxQU9dTGBoeT9oKioqIiMjKiJKVHkpKkcib1wvJzNCTDV3JnA5XFEwMkgiIyQqIkpXO2omeip5O3okKlt3IT0/Y2N5MHJiJSkiIyUqIktlSE1Oa0xySiplRVxUXzNHJ3ArIypmQyIjJioiSyU0TydSRCFITEpRJkclKlxtRyVma1l2OigiIycqIkxxXEZab0QqeSFmcndhUFk3NWYjbyVIMyMiIygqIkw0T2xdKj0oPSg+LWRdOmJIJFJNXk9FMSciIykqIk0qenl5YzswPFszYW55LztMdUtTcVt3IiIjKioiTXF6RmIjKUhhXVJPckwhKW9LZjtOR1ZRXiIkKyJGKUYv
<Text-field style="Heading 1" layout="Heading 1"><Font encoding="UTF-8">III. Gera\303\247\303\243o aleat\303\263ria</Font></Text-field>
<Text-field style="Heading 2" layout="Heading 2"><Font encoding="UTF-8">M\303\251todo recursivo</Font></Text-field>
Desenhe uma \303\241rvore bin\303\241ria aleat\303\263ria de tamanho 30:
combstruct[draw]([B,bintrees,unlabelled],size=30);
LUklUHJvZEc2IjYlSSJaR0YkSShFcHNpbG9uR0YkLUYjNiVGJkYnLUYjNiVGJi1GIzYlRiZGJy1GIzYlRiYtRiM2JUYmLUYjNiVGJi1GIzYlRiYtRiM2JUYmLUYjNiVGJi1GIzYlRiYtRiM2JUYmLUYjNiVGJi1GIzYlRiZGJy1GIzYlRiZGJ0YnRidGJ0YnRkJGQEYnLUYjNiVGJi1GIzYlRiZGJy1GIzYlRiYtRiM2JUYmRkJGQi1GIzYlRiYtRiM2JUYmLUYjNiVGJkYnRkBGJ0YnRidGJ0ZCRic=
e da mesma forma um gr\303\241fico paralelo em s\303\251rie rotulado aleatoriamente:
combstruct[draw]([G,spgraphs,labelled],size=30);
LUkkU2V0RzYiNiQtSSlTZXF1ZW5jZUdGJDYkJkkiWkdGJDYjIiM7LUYjNiQtRic2Jy1GIzYlLUYnNiUmRio2IyIiJyZGKjYjIiIoLUYjNiQtRic2KCZGKjYjIiM+LUYjNiUtRic2JCZGKjYjIiM3LUYjNiQtRic2JSZGKjYjIiNFJkYqNiMiIzUtRiM2JCZGKjYjIiM5JkYqNiMiIzgmRio2IyIiKiZGKjYjIiM6JkYqNiMiI0YmRio2IyIjQyZGKjYjIiNAJkYqNiMiI0gmRio2IyIiJiZGKjYjIiIlLUYnNiQmRio2IyIjQiZGKjYjIiNBLUYnNiQtRiM2JCZGKjYjIiNELUYnNiQmRio2IyIiJCZGKjYjIiIpJkYqNiMiIz0mRio2IyIiIyZGKjYjIiNJJkYqNiMiIz8mRio2IyIiIi1GJzYkJkYqNiMiI0cmRio2IyIjPCZGKjYjIiM2
Hora do tamanho 500
time(combstruct[draw]([G,spgraphs,labelled],size=500));
JCIlKW8jISIk
O pr\303\263ximo \303\251 muito mais r\303\241pido, j\303\241 que a pr\303\251-computa\303\247\303\243o das seq\303\274\303\252ncias de enumera\303\247\303\243o foi feita
time(combstruct[draw]([G,spgraphs,labelled],size=500));
JCIjZCEiJA==
Mas aumentar o tamanho se torna caro:
time(combstruct[draw]([G,spgraphs,labelled],size=1000));
JCImMVciISIk
<Text-field style="Heading 2" layout="Heading 2">Amostragem de Boltzmann</Text-field>
Encontre o valor do par\303\242metro x que leva a um tamanho esperado de 10000 para gr\303\241ficos paralelos em s\303\251rie rotulados
val:=BoltzmannParameter(spgraphs,labelled,G,10000);
LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSR2YWxHRigkIittJVE5WCMhIzU3I0Yu
Calcular os valores das fun\303\247\303\265es geradoras nesse ponto
pp:=NumericalNewtonIteration(spgraphs,labelled);
LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSNwcEdGKHQrNiRJInhHRig+J0ktZW5kaW5nX2Jsb2NrR0YoSShpbnRlZ2VyR0YmIiIjNiVJJXZhbHNHRihJKnZhbHNfZGlmZkdGKEkiaUdGKDYjSTZDb3B5cmlnaHR+Ynl+dXMsfjIwMTZHRihGKEMkPjYkRjdGOC1JI29wR0YmNiMtSSVzdWJzR0YmNiQtSSdvcmFjbGVHRig2JEYwRjM3JEkldmFyc0dGKEkqdmFyc19kaWZmR0YoNiQ3Iy1JJHNlcUdGJjYkLyZGSTYjRjkmRjdGUi9GOTsiIiJJJGRpbUdGKC1JI2lmR0YmNiVJJmZhbHNlR0YmNyMtRk42JC8mRkpGUiZGOEZSRlRJJU5VTExHRiZGKEYoNixGRkZGRklGSUZKRkpGV0ZXSTB3aXRoRGVyaXZhdGl2ZXNHRihGZW42I0ZWNyNGLg==
O que foi calculado \303\251 um procedimento que recebe como entrada um n\303\272mero real (menor que o raio de converg\303\252ncia das fun\303\247\303\265es geradoras) e retorna os valores das fun\303\247\303\265es geradoras nesse ponto:
pp(%%);
NyUvSSJHRzYiJCIrNmUnKXpoISM1L0kiUEdGJSQiK2cwL284RigvSSJTR0YlJCIrJnknUWdCRig=
Podemos verificar o tamanho esperado para essa aproxima\303\247\303\243o
BoltzmannExpectedSize(spgraphs,labelled)(val);
NyYvLUkiRUc2IjYjSSJHR0YmJCIrKkciPSF6KiEiJy8tRiU2I0kiUEdGJiQiK3ZnPCpvIiEiJi8tRiU2I0kiU0dGJiQiKytCNSVlIkYyLy1GJTYjSSJaR0YmJCIrKysrKzUhIio=
Isso \303\251 um pouco menor que 10000, devido \303\240 precis\303\243o usada para calcular o valor val acima. Se uma expectativa mais precisa for necess\303\241ria, \303\251 poss\303\255vel calcular esse valor com maior precis\303\243o:
Digits:=20:
val:=BoltzmannParameter(spgraphs,labelled,G,10000);
LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSR2YWxHRigkIjVaJEgjb1FtJVE5WCMhIz83I0Yu
ent\303\243o a obten\303\247\303\243o dos valores ainda \303\251 r\303\241pida
pp(val);
NyUvSSJHRzYiJCI1L3JiW1dpYSgpemghIz8vSSJQR0YlJCI1LCE0KW9WWVUvbzhGKC9JIlNHRiUkIjVjKD06QCdcRlJnQkYo
e as expectativas se comportam melhor
BoltzmannExpectedSize(spgraphs,labelled)(val);
NyYvLUkiRUc2IjYjSSJHR0YmJCI1RjomW1oqKioqKioqKioqKiEjOy8tRiU2I0kiUEdGJiQiNTIiKSpwJDMiXHhgcyIhIzovLUYlNiNJIlNHRiYkIjUoUUM4NChHPDA9O0YyLy1GJTYjSSJaR0YmJCI1KysrKysrKysrNSEjPg==
Observe que o primeiro valor de val foi perfeito por sua precis\303\243o, portanto n\303\243o houve erro de arredondamento, mas uma alta depend\303\252ncia da precis\303\243o t\303\243o pr\303\263xima da singularidade.
<Text-field style="Heading 1" layout="Heading 1"><Font encoding="UTF-8">IV. Assint\303\263ticos</Font></Text-field>
<Text-field style="Heading 2" layout="Heading 2">Comprimento do percurso</Text-field>
Lembre-se de que a fun\303\247\303\243o geradora para o comprimento esperado do caminho foi
gfpl;
LCQqLCIiIyIiIi1JIkJHNiI2JEkiekdGKEYlRiUtLSZJIkRHNiQlKnByb3RlY3RlZEdJKF9zeXNsaWJHRig2I0YlNiNGJ0YpRiUpRipGJEYlLCYqKEYkRiVGKkYlRiZGJUYlRiUhIiJGN0Y3
em que B (z, 1) denota a fun\303\247\303\243o geradora de \303\241rvores bin\303\241rias e D [1] (B) (z, 1) sua derivada. Ou seja, temos
gfpl:=subs(B(z,1)=solB,D[1](B)(z,1)=diff(solB,z),gfpl);
LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSVnZnBsR0YoLCQqKiwmIiIiISIiKiQpLCZGMUYxKiYiIiVGMUkiekdGKEYxRjIjRjEiIiNGMUYxRjFGOEYxLCYqJkY0RjJGOEYyRjEqKEY5RjFGMEYxKUY4RjpGMkYxRjFGNEYyRjI3I0Yu
A partir da\303\255, o comportamento assint\303\263tico segue
equivalent(%,z,n,3);
LCopLUkkZXhwRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiNiMsJEkibkdGKSEiIiwkKiYiIiMiIiItSSNsbkdGJjYjRjBGMUYtRjEqKiIiJEYxKUkjUGlHRicjRjFGMEYtKSokRixGLUY5RjFGI0YxRi0qKiMiIz4iIilGMUY3Ri0pRjsjRjZGMEYxRiNGMUYxLUkiT0dGJjYjKiYpRjsjIiImRjBGMUYjRjFGMQ==
e a propor\303\247\303\243o dividida por n fornece a dist\303\242ncia m\303\251dia de um n\303\263 \303\240 sua raiz:
asympt(%/as_B/n,n,3);
LCwqJilJI1BpRyUqcHJvdGVjdGVkRyMiIiIiIiNGKCkqJEkibkc2IiEiIkYnRi5GKCIiJEYuKigjIiIqIiIpRihGJEYoRipGKEYoRitGLi1JIk9HNiRGJkkoX3N5c2xpYkdGLTYjKiQpRisjRi9GKUYoRig=