From 36e03db0f3a799581f7ab104210db8e45b063719 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 7 Jun 2019 19:29:14 -0700 Subject: [PATCH] png Signed-off-by: Nikolaj Bjorner --- .../python/tutorial/html/examples/queens.png | Bin 0 -> 7359 bytes .../python/tutorial/html/examples/sudoku.png | Bin 0 -> 12345 bytes 2 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 examples/python/tutorial/html/examples/queens.png create mode 100644 examples/python/tutorial/html/examples/sudoku.png diff --git a/examples/python/tutorial/html/examples/queens.png b/examples/python/tutorial/html/examples/queens.png new file mode 100644 index 0000000000000000000000000000000000000000..8819a7c920dd6c6840a323fb3ce85bd739f820a9 GIT binary patch literal 7359 zcmb7pc|4SF+de`?C>cw(tYt`2*>}d47|bC1H)}%Hp^zj**`|i3>`P__qwHC~m7VNk z%}%n7$iBY!P4D|Wzvq3P-{NdZ16y^XZgD2VM`bHEpBC)L}k6cit0>G%Gk0luI1(7xkMLBaSH zd{H(&z}Zt!a3ORwR1yBxOUVInWdC|2c1U@M|1y;!%fsgi;!zr*&U!b`@d_dh?K0GO zG!1*%OCn<_Tq4ZwQE<}h2%@Q}Zunewdw>1eTb&`v(>lh2Iz5d8wL^2f+zr^idrrDq za&8m5mG`HFo{d$Ly*I2jfBbFLzWCQzQNKCSd*fiSq(f$y9|%u>d)>n^a;W zO{sdhRxvf!_O)#i{XXw!8MYne>ANa3r$+wx(cjtI`xXpBuU4+&sxM?Bfvam?b!@eA;KjMv2P<}h{SdukO^BXRnTx@F=BIl)`0 zI*CeS)waT;GN?qc!@VSmB~32lhmnZKs9v)V4X7^$`hixIp02;YbZH|Co!HP*4~$zY z8bWUwZvE{Dn5iI6%dohQNzp;(&ch) z^u(iOEEHd4{PbRJ7PvfA1G!ouEw1m{UKci-VjMPKJY4qIzKf80VU~J@{nztL_L*O5 zkzpc&z|IpWRAJnzn+Ugp+L+2hX3g~Zxw+33Ni44B@w5cv^qqzoyo>sm6Og$$@j>=6 zyosa3|Jq@ivjm3Lp3dRn7jEyQZDE>uRF3}s>>MJIZ=}}mv$M0q9U6)~+6K;(%oO-R~B2rbJ8C zfB<=M>#FAj0u*lj)x%=4lOdd=6kElP ziu_+|pH@{VyvATea2GCI=n8a6q37lA;e5sCV+_kDdPe|&m*dBsWmF7l&t*ls+ZU!K-A zcn(K(22#ycS?iyO3cXvUqI7goVlfYTJn4q!lvK$wJQ}>{QbHw)(`d5qaAy+RtC8ep$q7dk2rrZ?qw%M{86d zgr1Mj2FpY^(BCYQUT#87=n<4DYd(gJSyuccw$6KNFjxz6g~)jUis0RyfmvyJiG}42 zbZ&npx!1EXa)<}}qNoX1DWFz4KZj&#-#|F!l*@O?ou{MA8{tJR!*L)#=LN1X<(NsdMfShPiznkkOZFa+kbq@;DjF?yW~QgS3EYv2p!6M({wyC z9)5fJI67_IW%Jv;|9vg&bv#QDabEU#7Be9-={V5SB#rjtK%cc(7`=@=j$il;qGHjY zV#C%Uf*A-sB#N(WdiKeBg5GsAjRi+mB1)E5$4kfV$$f>nMQw54hC8}`A3qH_pgpz( z`Qqmf{W^K&bARPX=UzE%PjHI!R?RFD0QX`a8F?7A2i0F1j#3ZXoLpY6N!!~S%s$^_ z{nIP)3_x#RQ*TUutH|8?u-$t_wdeESByn(B7-4(Sn(Ojl#Bz#qY!1o|@i<{=nSUnb&fO&(~lbwSSG} zfyE1^w=FE}$t7AJf21J&#}D#x3We(2yR8--f3@eaw_!Ol=Y1B(+XHEaBBvTVJ$A17 z=H+}u3_hC8p302#^o?q7&*FUca!T$3c;3^c$y6M&B z9b0no3I~ZqYHHE`TpM7+ire!am7Wuhgb(fSE-|Hkevf85}CmPUulUz{j9r*6D&KqrcBEG1;kVLNngOY;A2- zFmE_|;*^v*)Ya8>!|incL(Bmc`-CNE4H%bTGos&Lfhhq!trzL-wi`cYxCO51zNFS0x8pq>HN{|3sTyqh?CM9uY3D%uPw27Vx ziSpcUy?OoTqW{8;N3t7fyX%6Lhei)-BKcaCQD>`#zv#rOu41bSqug&vT*rg)+z%h|f*FPuo2>v1;n11=4&w6A=Y+A;?u-+n@V@ zQ~1ql6B_RpcaJ}Wk(P+6oV9z4H{%E3MD6i*V=~?hpd>XOC|R!_NC$`)oJP+0BfwW- zEQrrd2r&R+`Dl<5k`Q_X6;fL@+j^SOjgtFqO331P$ao8w;kD!9- z8O{*gv8h5h4fNQQ7$T(Q*c3f7?buY4+CPSMIl?afai9))emuDwZdg3oemsc*`EUNF z;Xk&00}=8kOa@Guy~M#$M9>i3)q}x9h$4~2R8AgcY>RDK05^BNgUAD-4^THJB=TPV zz=SV&k-vZ-qNdtQWd*<#Lvl_F8UYw+VjBEAYddE>*yc~7vm zIfWC)h}ECSmF)C#7MxUAj#0`rCH}o{LFZ9y8!xxfK3927RL%&jxxSFZX@*vEQtHZh z+Kd{l0|K#yr18=@*@u;EV+d=Ix^Dv-su3)rtZMaUz&kN`0=_^0-8`$~-HX=5s{%K# zF&3|7zH04A3H$ItBGBmODz+t$!x$)o54N!Z5)Lhiaf-`QYl@ZnbL|GtjZ3>UX(y%OZwzjmQCo3U0cl@pN zN#0Lx^oSpo?kfwk%Ydi;!f2AzD;!9Ka z@f*FC0J1s7N;{_Z_LYSTOyaPK6Yr4ea&zVADR_C%@MQ#`R+{<-&X@h?bGJ*&xO`sT zPR@wgDc8x6B}iZCAvJ8cY!bHFP#^gXTmI|2HxL_YS1QjY-(EYxM?2BgKO=dTANwD- zZ;Bn)WLS~o60q<49fOfL;=;a}EZd%_8}MX0lC-!1l9QPSrwx!X6~aqb22VN(Jy{Sb+_m4cWuHezsv;098JU^q7KlA#b#>H&LP9ZIFQR=9lhXmA)I90>EFvQF z$AoK0ONW(m$CF+L9suahH6l_#DAiJ34;5%d_Rh`Ee<9_XUXziL*=Z;!X!!?GuDr?j z8N~g%dUp=gG@vF1;S=yby-4;IU-W*EZS%>CW@%}u+<%3iKp-GQu3j~*|BW5eeqT_) zRA0%fy0R1RWL~)Un@KnlaS#Nl^MnVP7xBbT*r@&!SvudpudbyP0Y&84^=e8A$_LGx zs#Z`znBde2?wUVb$~ZmsWH^AM(1+KXr^wYKa;EyyT1`yZ)=j4?#A2e=vBQ5uR{28%)g5khx{;;}JYM!w?v|+3uf5cjg0}flaI@j7U>9~W_-6?I{R|8cLhSx(h7{Lz#$t;rvOWM9 z4O?xzX#t_zZa&rOsGdJh1r0XnBiBn~Hv0{7cfcr%=3{HUz;4OWFH{gamZC>p`>>6e5v5%GQxw!;%`6il6Zq> zfG!`3d%v1&vK~rOX2z?Hn<@(yEjQ_>s5o4|&`h+fX_?`}1_eC`1Gp5^fhF~OX-V#m z?hK*()6>B`ad6LbJnGfjA5K?;;zXunnVOLQHI82gQqlR!IxO5#+$ zQilYF-Xte_-9U2J{G_PazCZ_Fc*`5w3}`l;81L{?3QA~QN1OY$I$3ww15;i&S0okX zvgPS>E+>NOa{7|{UXnzEy3mn8jN&+&2b5B9og+nfH#{mK6mZRC@`3!&;a1So2lxPT zfgqp}A-&6G10(gEl7KG>ph29 zhO8s6sMK_zV6y|f2YL$Oc%q#XXF@R>7q9aruS14d4dE11hW~18hwjaNa~Wpx&X;N8 z6A0~`2#pKap83ktXjXXlD=Xq~cMF*`R0fHlTdp4)3sO~GE4p7_NM; z?wzmJ%3r_n7Ec}PRT()z6~DMz@GmO!@7Modl}Wfw*G$=-e*|WBX^$!o*rUqw>rdWx zpnKUqlxgPO0afrgG(qqTrpN5h&xGiakZ%)hRl`XXk694k$%dgZLQ_YFze(JFL z>;AiAHBYV@V4pg?=$055PV>3`T*BlYxz zUb&x`={z-(CI=y~xtrmo1Qp;S++{!uwAS?;SoMavG)kLfl$Eg!m$|7PM2XR~{rV-r zYM;gLVops$FqD`YDd zlK+o2k#+2o`Q>HP^;OBuuhyH&==2V-WvdQGIe9LGoT9t5738E0G@U<)`H9@Ud-p5^ z687__b6rCNp;jj{Qd?hl=leAPOOu3Noa5n%*&v*t!lYI{UX>UYQ={4E8Kpz~FWo2~ zs&qJ7?y264LZP4|W4=j1Q;N{JwW2HvKR4INJN)d#Zj|Rt3#7QLY-+Op1&%;4%C4%i zgmgFoWK>h5^qOV4p;?i}IyJvZGi=ZcPR6(Kn{+n3L*l}f+%*u>i0PS`^t?PhRZ?f? z_~_vOOM`ZgsI~itRZb1*=$96-Hf^&jQZNnq7tujfJ?DBeWgbmS{Cg72j9{8F+Rj`} zkn1Tl06o4ISjIPrL`iv1-JS6I1h=$&85Kp>OCsT$dWVJx!1D<9l6XCReMTeZNuX~v zpK#T{pkgMEqz${;$m3I+V!vrK|4sUu{k9Y8kcHWz^Oc+IeFy=4vOm4Fl(oOWrmPLp ztb{;3e;=jjWl+zaFFex5Lx6Y52hu!j_0TerL!Wo7Y~?EdJ{Dae5Wq*atk5`CsT}B$ zVmY?pg~!(55nh74C27yNp|Y+*jfhdT2O0XuoaU~{Fy!85|L*impl}B{m65q}i3&3q zlrXa33cb2-H=ul=0qtq0+hNUVTWn7mykv3cAFAtk`74J@Ap@fU-$3fF6~?2^z0_lU4%OQ`$>E6H$o9oBghM4PeN2MZ`wQIU!K8=?vW~uUl6EuH9;y zMB{b&N%{O3duZut7PoK!fl2vkXi$(<**TZ@R+1WCfPW=uKqC<*QcywTj|?BcRy-X7 zFr9`@S~}DE_lm_l8b82q22#MCNCfp8dq5&iUkccJX)+}MSO)YW@Sq2n3dC^@;2uym zg4}Z?^(dd{NKtRh)9ieDWL?U zNQpG*U<5?K&`aodN8fYK|DJZg+z)wnvY*VJnLRUW{mP2F4FS_qU!f);A)&pcr)^3? zat;D~j48>1JN)#*eZb|MzbW`8N%;WhGVp`U^@h<65|WDKi^q2_0KchVdN%$fBy{b> z&$%w256&bc(gU}&Z@9XF!b8Ek|GrD~M(RLx89~wSJqZC$-dln5f8w!jHh$ zjHm%gj;&bw1^6Ap^;QqdqEZK1y*Hunl}MvHcu=abB$s&4Yqug=d89n9FrDMqB#Uho zN4$UlSCUIGeob7!d0l_vT@u6#^?z={_>d7NyJM>nr`tTIhEZ)NCnu{J($LxP4VC&5 zeB(lif(Ce#)XTFA0n5YjL>#yAIBD{{q5nz|O|Quzilm_?zYz9V{rkqbD%j~N^i0g; zP)%LE`A4BXyKRw%$e(14$9xyeF%)WLBe`gTGIHLTSC&CQu|z*f!+=*8Ht;~Jc`xN1%q4h2 z@L@*>uEF@T<_<+3$3h4BLNAt8Zs0MgrQh}R73Ii<_=1Ktp|FcCNRtI+JX7 z-9iCHEx645NO04~%*gT9k3+A`F){u~<+8tjr(#LtOk_`hh#WW}-h@&a?273A45I1q zC*5p0J6WF!8L17Y^H|Qw$-x*5RURD9ot^F5)0gHktT!$ z2XA7wU2^-aJ}|Xh@lEn4LmN%8#~N{#ADNrLdG%yTLQ$t*_7P=V@q4c8$IzDWFjguL zp4T(_7%Kb4^PAkz)-R#X+l%Pt>Oxr38!#^5Eo&fL^fe{OSq^l1dbCc@{z36Y++Lxg zn{&Gkin#W`T(PL+fZNsUT-|=Q*Fq{Y^& ~D2_676#4J*_!68T$LG2!1Nwh361* zq&n1vRG(w#?Vgn0hv(E+=|$9%dO1y07Jh>=@nYQ45{6~N#S86ddGmh3KmMG2;VV-an(Ep5Z~=o2Owd@ywQ^FT!o zLT~#F|L@cDTl=WSJn6`mcmJ~Wgu+nnH|{aduoq^O%mer8o{Q6~4vR5E9)7|rviTl& zcsJ!1n?_jn+;M(`msCpikIy;ye5v_L^OU*?NLt{cb`Rm(S+xR@ znd6CdW@Y@y%4)5r`}nCk`d+(tA47D+zgRJ?%r0FXQgUh79AAL}rU zFB!YX+$z+C6q4yHT5dXA5skWj9I@8#1IkRf?z#1Pg+vuF==Nr-?x1ym1 zX&lbPyoz1p-@Ygedwbc`7mnDtjAqcN z7`t#K6Rp+3V>eXv+TF5jMGUqqV}-4yR^3dBr=3(|)t4Ol&BF&T^5+z~@GAIzS~Jtx zNTGiklE)@Fj1@cab^uAD?49mwx5xP-*REahVW8^RELqEaOI#Ju;!S^N;Yym0b-&0a z`&e(>0ZlW|pe|3uC+GwB#>0c%cj$~OoID z*ug+z4|9+Uy4EM(Us)=Z+}t=ctSW@*rsTsKQaCP&k+FYKeswobqNAPC_#3~9+E6aK zZLR@!KBLyr?3sbx(X%t*mceD;JYb93Lnlo^`Q0XT zbPg^#h}v4Fud<92@1Y!qCyDofm3Hu=&iXZ`k1`#z)1`0j-#Wa z{W`ggP((hX`l!CfRzawn&>0og()|4V(NVkCwcO41?d@&xaP|2~w1?#ic4lU#5%y!B z8t9MWk@*V!!D0EKn^5zcNVK#cSNaO`fO=0_?0w#W%dra{Qq4Cp6H~I9#?{-BVg+jw zCjsF-W9qsRqf1-4w~HXS-!JTMu@PWyiJBu|-y9vGi1PHz+aRWs^3;42P@q!}Yi{wX zBc^c0B%zNObhWFhJZXaShf}innm;9(Ep1|)$el>r^*v0fa&7cmu5XYE^Fxo`RG8C) zMjT)0Cw0>33a7&>Zhl2a7lbei_^XiflMeotkQkl0-Om68F4Y4SVeWUV-HpVQ)C~f& zEw?_KI_#&C#p@?2m=^asP}Zn*sC~TuW4LyB!#=_zYa%x#{0*KGnm?9vcSSTLe<~c| zxb1p8;|EI`j!GSLNz?2ANzl0jR+2-ns`vXQjs*0}9?1>S17`?L31uFjtG&eQ#r(Nc zY}ZxriTi~8UOb%*p*x%Tp5cjS+GuWydUdS;{Jwq5!z6tIvfrwmC)C=8&IQTxGC?7Y z(@T&6r`mnBgwl2D_~Hp>EmoF8!4%k~B<4a9>Smy+M7FFm8=$MpqE8%zz#Nwb3JVJr zeJf|fXus0je*`w8_~v1S{h&*@()Rs>7tq82RH5}?N@=vpK?Wf=xGJVJsmEJe`-#bw z+XVjHx3(5P_e-J4Pj&Fr*$HDhlk}4v9&8YhC@lr9+&=IQCa;L}ZjxueG;md)4O^?K ztME+eYj;WwnuF@Lj@p&1CR@R#!zDoUweJs6fll9@=!&xK=tseo1H>`0 zJNluAK>2kxr^A&-FINViVAyraho$1j6Qpzy!+u_|9!yfx^=06z>i^L}Hx>l`sbJ>= zv`&yRFSf(QO5DWKXj2!a6@7BJ3f**Epmr@uhqdpkPrtnP2Ig{2A9ww2CVMP1glR!b z_Z6HrP*A3MvX=|U;9M(=2!G1v}<}^m6xvww?XpNU1vEx zV~>0~TO@fiCb zdU^1dfPh%ct2Q?$(Uj5b4>0{DOr=1uYo`{U=0c`Z;G+6fF%P+iJ z#O)l{u%@R#n_o9E_2{g%uneZ8d9+8evO2JXY-kI=EcC*ZMxCoQyznlaT^=GxF^8Zh zCQf*(A<2ApR~0!~<6t^U5zgfG;?;4mgzmvJdovHSo?Ngvi;^@?@MpjH%Lub=?yfm; zr7NT+!bxzhd*)QRCb$uFo9hkS4ldBmp=VG8sa&xTkNFeB{;Wq*WVdEQ1CvjHvY%WB zYfD$r_M^K1w1~W0AYT-Xl_-E-Aw)8zpu)ap`jT@#K;04o-y_dwGHABu`{jr+ReP3F z&qbON=@yip$oJ1PfJo3aRB#Aj*CUS<0vcn|vsse1vS6_PRsWPpY?OzGM_K{<;7P;J z7AzKvBGmtsPcFA8(s=mr;W{SnU-0Q_<4S%SA&Pvjc?_26YYI9NwBk>X1X=N>qUs6M zRKi0e)Zl`V?1J32OA8)60_iLM2gV=F3t@Y=$^~iQ;~#Z-SMovFyi^S<149vHT)5T0 z&Ax;;KpN-w?hl;QCeNF&`NY{nJ4&Jgd=WVxP9iyk`-=)JmDt0{>@ zOz=|*r2%$d_;0l#ZKgB+RnM%XyR2Z*JG1Cp{3mU&MR}b4FABOH3-Xt)(!cB|wPQ*G zjPl`$j{7VKv$Y(3oND_M&ZPv9x&nvCD=uyS&~Bsb@`{tP0FfQM$cNiMt%1;(WZn_6 zQ`IS9`P1O4xWJS$wsowspg|&L-+tO@*n@-5lDuzrT1@uqH(?K!CO_WJcgvL)(Wp`n zA8eH@v@8!3z=YVAp!Y*6{ven#@9$k`c@MKijlO3s^+$A4LbkP#rljq+eX;Y^s2gqH`GkE!+r~=!(YSs}q)z&C$-PU3coj zImID6Z7v>+=!KHHa8sAOZ%N=o0iI*e3^2~!8I_xUTFMfeE)(j-4-ZD&t%1g&g7VkH z>M}6yyRl4o{-inaQMH;Dzw-U5Wd0J>#C@zjEQX;n z#O3=rn*GoLRwxt+tWYy^Ct7%9sB^m$@=n96o55?R5S>a+@dQ@42=2#~dMH^@X%`xN z>H`z}9J=o`ori9v>6;s%pJ3c!PpgdhlcW*u$@Vttb_g-$F84M)sV{Zjc9l1IZ9lSC z#1XLFyGfJftyaAX$&OrWC;iWsY2Y(E=N~aFhdm2>5Bnly`imd%me%aX&zc4*rK^~9Q^zGw7^nAt&LD~ z^=6g%7()YQP9O;-`50WcNf#V|NsxyIw;mcl6si@!1D0Z*E$7jRlNx*d1<`S(ni)d-cKqVSLz{anbr=A- z{p2YsPXkD5 zKA*$KhKeWQy=jEE4hY=jMh-mj+*4Oxg=?kNSJO6t5K*0q3QO4Y4q%4Nprjase9 z2Wd?1itjFAHO}A>M^r6VtsfZGTk}mLx--g!iBYvyzG$mmB?hy6a!7?gBWw&Z{J5d| zi*%Jhg4pg-yte$cGEd`zDzQ2VHLFrJj!Phl}yn_<$ z+x3%laU=D>;qVSl@^Ab>VqM+me^kxI|3EF%*EU6Vd`6%5%9~$+a3lP>O}neSMrBo3 zSWZmUVy|?`9wD8;9#vl_NOd+R@cMfyrYN|2em#v7U#c0<>U-A~7$Tx74gnVlC|LzX zUa(~13>$TD$z$OugxTJfoit}8r!Is{7Q^p0o4HtJHf}$2so^lF)R7&gVV$#}*VYpP z_fmF{ki{5@;i_K4Zt~u@S(8)??I>$y_2#C{K$ogit~@RX$x}A>yAE{!TMT|{P`h(N z--IjjUOcc)J^|n4Ut2alWkdLnG-@CHc|CCskCp6Gj$D(mLE%UN4zM9 z{{<}8%2#g{M75h{V_87pWy>d&XZ`#)Rhfz(i5%T$l1^GsI;hK!d|;P`tTreRWN zRB3-XcXXt&``ABtZ)@p692J1c*MSIzFatQS??EO}zNB{jFM-$o{|{g$#)pKzELs&{ z(dc-RJ?^&C;jNOd1g_l4WX?2BNr5Nl=(bcJnVlzS@Bc23Hm-%$;@SDbpD3`ybx_%A zyMhlBN1AW1FZ&Cf)lVovJRx(n7Wfp889anhgS3JLjF|VSV;gr`n8_Ei`yes@)l>H1 zLF79J|MhioDq+|tS=GtR6RWGxoYg%~A5&1pnI0fsPRSZll9N@X9Bys>z&s>(k|a%q zME+)cgkzhy47-neIn`^su}kK(182wQolaM-|7N|Pchb}96q=O93=vJ@y+{8Nh%Kx? z};aq zWSv_?-k8dRhyLt^5+zC8=jCxbsv@r=t^4CjCvFP%789HPcskTMbeh;VaZ3sa#fjLI z7VyD?dpAn&a|3jJ?``(#&*-WdTHG(RY#7-Bd+cau49A6z?O#v%a$EHD~dgK2_nB2eP`^q1n%W_3nfkRHkfebGwwr} zOGKvcsdk9UnfMEaju$%yv4uU;<_J$IT*embCw7KZPD8-15}>rkeb607qKW#hT6Z$v4ix!$@ELPG-ME~qx)xm0uGmLM zC;TL)HzhpcMeBC;u$WUCXD+6wiUsGP(k~!~#gEmf(mPfi41ps&ef`;mzdz4STa^s& zI*XU6j{{ALM26z?3l6!tL(d|y)AzDirhA#)mT>-ZKM0Hp9m#>?^R=1- zuq6u`iZ;co%%3Fy^;V%0X_>ZxON1=Fgdg|>^k%FyOc5mif=Z453sg3K{O~6MX>REN zYQQ_6Hh{O=7ZQ0pTcGgluYd)YSZNoea&jLin~kWY>TCQ_KI8q7MRYX}EA^9tA|lS3 zah%~Om^r5KH7r$nMoXMXwj<#1rt#8Z+LhP;gy+{|stuL}r_(bt=!?SPsK)@XeGD!* zeU4f$PPY7U@yd8;!NJGB99>(2)VEwy5bD2qnGu5Z2nspRUH9Q-L)Ff3upsn^t-?IF zH{xc2GNQ`ZPw4Jga(&?MCcx_W>H+{Zjo?t>$mv zS9cPsl%COz9b)3pR=m%_QKrvbxShyzQKWiRAcJ#PQ!Fz zp*(BK;T&HMAtL<=rYK(<_YSt=xD|()sGUKGcq)S9gW%d9bjyQB6c}S?!)7bmkc)3% zDL1km-zuKel35DVf<+M?xG zrBn`a3mDNM&x7zHw%PLa3D@SGJ12I(?X9U-8aijC><=%-i6Q~aeh$dv0_qmY{A2E{ zXe|Q(-?@jCrLr%v1)DT?mQVWh153X`1FtY23pNxT-DLRC?|SoknQ?#3nhb+{wBsD~ z%U4Nk9q{5inFn~-HgR8#!6`hdJ&Z=kjL1*_raImBO?u&v*mWYL1dK}Aq##PF=UPqq{93YjS=S*AFeUJl}dT?FYRC~Ml_cVs1_$zv~WA+YVS^X8XMt^98Ow1nNt)%%vN946~0QobMEkQ7eybY z#}o~_}$%>ZYt#-vg}c{I!mMPBnmU z|Hb{_0aoOHHJ$&^PKBrcknP^|m7yDD@%DlG5w?Glq3bwc9tkyn?19!wyMBM-g{s?p znr(k}xQhDfU7mKl^pl&;1cZIAJ*6bB6#n$uxUN^#l^#%}hY&9MxfXBoVYFn$+3ArF z2dJe~>;T(O1*qNRG;2xU?vXo{-BW5WXH*9unygB!`Ch!JN%Ol8yy2$@OSy^c*a8CT^7C1CtuxFJ(qrV;@y|iQ}qLVG1(EyvT0;tZQpRT&Aim z;U^D*s(^5XoBsM#g?BBQH{!D?=68WGo2B1zTJ-kv@^U{^Z8QZjO9?e)HmTgF>&Wa= zmJEA^K;7q|a~IUn-w7Is&38YEI}LLlkO(mwMVhO`7{U{+~RQUuRq^QImsk6|tW;;Xv3w8+o4@VqC@dCbVFC zR(^n3JaDB%_)P7EwMU%q^>=-z2{*yGkxTZGD7>j)y)L8w&JaCsPR=|H+}47^H|A?- z$8o~xqmAdaeV~Xp=e8zit}JLLv&SX^vKBBSOVQB+2E2v7pHV?qi`>D@1g{MKGQ!60 zdu}@Un`+yVYJ5Eb)h2HNLr~xoz^0`;KuOvk%C@!BmwJ?|HrjRe7Jm(#8*hCO zcuB!7)6N^ zV#`W+y#9&Ok?uqMqK0g*j;GF?amMfd*0FwPq}S%hCEBOx+sMdqL)>Og32;K4uQ?{{ z|3---iHIu1u|)NX4**J+W3>E4DXva{fvItE&FdZM6H57!ly{Cf4^VL0p>122Xz7DD zm-Ci`ACwmNfQN#S1Tgycz`RX!X8L_br(+LD0Nao@hbGc%ybPa z%(1ae{Yv~DU(DX9Vvmda+#+Q8ltTw3hQ|K%F;!{pk~4+6U|u*u@D^mLJjt|yqs z_(1k(Vb>(=I4h}ABy`H#UZ{LXI8J0V5zu)<5BcHsqKS z0h3)vgmtmme>Oh~m*hp&&L!KK>(AI6E~^q{MeAbhqQ=|5#5eWYhA93@(0 zYQXrnYUr;3)jV2w`Jx3kz#{~lWpT0@1M6b2jBFh-u=WpB$}A*8z}`;@PDSP0-KH~f zCPH1VMddHR&Cg!0Orgx{q|Kka>AvA~(m|{nlKaA18{VoQJg!oRu8Ew>hi)YAf!C6X z!#1a%0Tw)0kqDHiwOhTKkIuj4x~^pBJeRAlDf?tF+b3GuGjM1xcIALxVRjqfYj3iz zX5!bs0Tm*F@ABZwu6uU&I-mkKOxqOsE+zTIx%JtfX^#OwHNd)f@swzd)Y331F4UTd zMz7eO4hN<8!7oK)f^*J(0WFbINWY^Yw4|1uFgG{1y+AB^-YP%cy#9%eC_@2g?|oo7 zUc)QbkGfC*#AxUmi>i*%l6}1YQ#Qq3CRVCe3hA;&q(hC!Rn{YjmJEypgWh>%XvrKlw35q%k~y@e33D6*kZhj6%u&su&T z($C>@@yd?mDuDF#bdSLr9({QUu-f3;#~x~8=Kw##CVpeIQibwf!0u;9Ea33ezt+oF ztArTJ)SR)-bRjXpNx+m6ZGb6l-Es>Rsm8Aa1;+%6m~_?U%z0Q9X_S!VaZ(U8ZJHgD z$Tp+sgOe$tLsrQ-TUwfGVYUcqX$tNmN@&h@sHZV2M5&@hQF!F)6xskJcCIJE>|rA% z)UOzx<@Nb!)moahP zT=%JAAxg=Jvs&)7#|bXizEyde1m`5Aj)yf^_1u|!cF{Q}G)5v(4TaY|rug(@=@*)yccBKD%ek$8n+xzN^0f%OrB zgA{+Q)C{ndoKeiNei94?d;FhWCBUh1B;4Nm5xOn!+(Krf?Bb+nRPM2)aQOVz4=EW& zFgbip7w9oYEIXWfnGmEGha#0ZeSzWoX4_S%zgMien2iP$G3l2{-F-SaZ&f2{7wNM3dvs(S-ePyJ_jyQrs} z%*rCiz`UuB~tPUjNN_KqbKCs5K#p(ft4F%n;d+bI}?x zw*hWlj{s2b6DWOfH?oZGBNgi`W$a%`aw2@O32?OM6F4uyC8o?h>rfx}B!_rb>(N0# z!3(Nr!irc`HDlz0^viPUFA546H~?%XLD6q&h27RK;6raI3>U;U9_){ zNY_8XwZDaOdMUn)2es04*mer(Fe$#MEfL&HOr`U$t|Qd=NR&ajZ$J^!7Yi?C5s6;H zwNJxW0F_;^VvcSY6O?5oX=L( zxoL;(3ELF$lI^LXPT=nBNNX?qA-+8zo=4Wo&Q|5mvlF_@o}g;fK0dv>ur6RGp0a8) ziEPVQYzS3IJM`biOmtM<7dK+yC&Ox%Do81zf}N*i172=@0{|w!P{`^!I}ji$YJj8* zFx@dDRZa}2!xTLSy*BJN=@M;e1A9GC*%uC|wSd!)xxvXGxCk z>o?i4Lh1!Q)~RZc7xz^4dIOHX#iST>y6i2LYI3Tr6XD+-pu*Sx1typ|0C@OT8-1m* zYK8axYuwFxcXyrA773xFQC5PLhx2G}Yz}*2(hnMOYznbq z{eI_FK}h3faE6wbmj6@Dk;Mf7ZUC!cxG-T*ie#O#Yq*I!zQrJG?3{tWJW>m(>=#x* zs{UA9^uSu!=H~fl;hStudSLFr8Ga_WQ3J5`%Km&SDu5M>p11?8vR^7EA6o*cAMBi;%ciI|)$#cfgAF#AqqY!xtIZ0LIRnlOjBs zpERdEwY~gFU;un{Z&SF07RV$Ih^F!1!|TCiY4=-7&af$iZg4X6vYE<0rMllUUj9ks z{K$CyF_4~5OO_?Yc8Mj^KnP@ym8btn)~-*00ZwKnU~g#SMozjsO?n2c50|S`P(;y2 zt~YVb#UM~^dXK0RBFtPZk1*JM-;p~!bIE6x&$%~ zK+P4F|3QLZ{vts}gFp$B8+XF@umHFPY8@MS@P}!K+l##!`}Drw|E1V*X!ji>)bCXe zoNxZ4`F^-V>|V?MCLc>jl={bX`rDw0-~C2~|E3AhA((s;%tiLcDbVlE=>owRC33d$ zWG*g?whoJlgOC1P>Xu#*Z)GhA31Cda|0%bxivrwh%gmpkIFd_xTHnu_QJJwp4^!-c Qa(|LrIuPyhn|GrA4`FCj&;S4c literal 0 HcmV?d00001