From 2f69a3f03658d78ea93a4cafd3cb7b3ee9d9587e Mon Sep 17 00:00:00 2001 From: pimjager Date: Wed, 20 Jan 2016 21:27:03 +0100 Subject: [PATCH] Question 1 answered --- a4/1candyfig.png | Bin 0 -> 65958 bytes a4/preamble.tex | 1 + a4/question1.tex | 32 ++- a4/results/1candyFig.svg | 119 +++++++++++ a4/results/question1.dot | 33 +++ a4/results/question1.graphml | 392 +++++++++++++++++++++++++++++++++++ a4/tt4.tex | 2 +- 7 files changed, 572 insertions(+), 7 deletions(-) create mode 100644 a4/1candyfig.png create mode 100644 a4/results/1candyFig.svg create mode 100644 a4/results/question1.dot create mode 100644 a4/results/question1.graphml diff --git a/a4/1candyfig.png b/a4/1candyfig.png new file mode 100644 index 0000000000000000000000000000000000000000..556d83dc4561139832c81b5ea89cdbf5925857de GIT binary patch literal 65958 zcmd?RbySq=`#w4*TToFc0R@YYl#q}Z3`CKT4iOOP4y9o*Q4mq-MiFU{?ohf>q*GEF z1`!5^nRCB@Za?n*{e0K&{BzDa=Ur>>B@FYtPu_7|*Zn-bE+@5*l#UdILhZYH<&q)_ zwMPYo+TrrocKA)1KSl|K@<3g^bY9u9d%AC*vWm*kvdyubGM8j_QtC*YTu849I&<{G zu3es^>X(P<*f}45Iom*~FxiQb#9i%^Lz)<#o`Vqzj=x;dM{d(R>d;+Hpf=j znrk&cF1{im(_7@UI2xq0|F6HEJb%t0XsM;EJJ_3VSBdZL?)LZh?=N<#uBdqU=#k{* z%aP)4-L8x7>#MR+;x|J|?Z)NO8HI~)mG5?NSmyF6u%Ag(48FI6#7i%@S?%ggBEZKv8f{TkPnrpCv{avbKgg$GU%ugS=mXPnx#YZnEJTvpzd*u8At{&=gU z$+p{7&k~Z7V)BuJMq9kxSZt5Jm)rU)y=iXVylH1^D-#&#@1K{Se^ks_IV7fI>cN8t zt*xy-f`a^yEoy6Pj~_qI>tc4EkZazRk!{uyij2Z}L7xy55+bZy=8>e9_PHGyM9bLb zHYl5|L2%#i;mlr$Tl{vPkQWvc)s_^#v_wUis#}v-c(IIc?-tlv)Xa_BN zavFPjdR!BN2lDO4A3xqb9P;$((}jhFsxW%G@*J3nk8ymF2QL8+@6W_Bir_XxYu9hpdLSlT&_BP{-qa^fG~}Dk@GcE@_(C z(jiJpO2fm$elK6%D$4)BN=!;l{=U5IYpI`+`|;xi8k!()8tzaUSYcWX4GrpR@rt{b zhH3|h6rR+F4!wHy>cS1=#7cyn+}hnSJ00!Do0gWB(RaSR2**r(j%{d=;dvPtNKHql zsj12Kj-HMVzV>)8?VFA%SphXH`qtuDBNrE!f`S5b8k0TMfdje(3J*Q24<9~IN0BKD zWU1~BkmMy&P{6)h?srLZD%gVz%$Vut%t?Ewsj21ae%LNA-~8gmi}&x}e=YY+gUM+* zoXDw_*V579@FiXWHb8oMx`BbgSQxC+N7x(z_&JBtwZ10@Pd?s%lRa?Z+pj zp38*rO2)omGq|qtb_8>u^{uC8^@j%}CN>+dy|`(wbm#7zy9r&Elzdc+9QcnPKhg_Y zX6Z&{XJ@m>MI_(w?-Q+_&KqAV z3-MtPJIBZ82S1WXfI&S&Nkc6R2jd9))2YHvb9f?0d=Yle-Ft!?>? znq1drauY~4TP|~WuqGQO09`;Hp?pbi>ezSh6vs!f&~!-x+(i<|mu$*u zP`cI*4&y<^8(;I7|IuS5A1N9F3nh!3_`}NS5*8AS7>9{Sa zm9A1D^C^jJkxP=2Gd;P!n_Ca{vEc61(9jSvEn9sV2;{u6wT{R14GkYZdIXyy`X=lG zk2!4V-+M$t=$i`+(bYj*C4OT0Gn>h<4d zkP>FF?2O%51Jkv@PL-G1nDr&MwI5HP!Y+27|3ISmMyJ#r9`K$~LN-GXn~a+F_xHQ} zm{!Q46L)n~RSgV2eAZOiIz}$y+|svC7v+}c1_oRWot+EROLKArn3!T6=K6VfcwldX z3yhPG3S6U16LDL;Gs@&XbQ*V=h*s`8@c|m*Mhk2+SmxYuDs_RPl$^=l%}Gl zX5@NDuRK!B#eS-N=A{&a({i7~XhVm#iv>8>;VPfSrKR=h%;tuvk*T!O$a8lSad?=P z%GHA^w=CSflWOqM%BrgSFXcHcj@5IQ9yxH}SfE$qjvYJ3nG!rIHOa5HZ{H@_M|Y}8L)fl9kP|~# zjFKf4wjPvF5MBHT(ap@IZI|xl?}kHGCjRv6_pO7;x_KG~-bi{+$BBjsTFJ@C__tO$ z;L!N_auJ7F{EysHs#fgr<7PaMhgi_Kr#3%sTa5i3$q}{E^&UCiq@8}+VQXinq(`-g z=RSGzVpsD;a-I~u$m;E@Y$hcFC2!rHqgf2 zrTH>crFKTMnJpk$@h)|JObL4czFBiBm}cd3?6skFB4KT=9$oE2Z?teYELqXaBE_Au z%F4yefSNv1*zU6VQs-@7+S2ct&Eg^$f@}W$PI)=G=i$V~D55AIpOQvObhPeJ#Z&4v z)}_hpzNM)SS;B^&)X*v(lOqHrD_*!O|V?ZS|x0;e?F?Tma@jG^I}$F?2MO22&4Bp7McwtIa^mbNT)R!xKb#>Xx1SEyJ^ zOwN8@xkDpE|7sc>UsF>7i*8B=2FnFA&9)@v*pxQkk1G~w+G7FiYIIQ^df9ODo;uve zFILj%xDs&Vqu*!y3ZvY9Xc#ma)CZ>AEX>K@1)E0e(xnQw<-X-!yJoS43W^L9_tn-Y zcid=@?dTo~X4i#E8rySRT(gVK=%5>rc_8PlmL*ELB;b3iJlbvKr4+cFfJ2dJj5~Iu z7EZzP^0H2@WkmMAO3TU|dGvag`b=z)c1BK0b|d05OklfHlPrS2Kn&vHvBoeXG%iXz zZFylq!CkR_g^M^;>8+NcdDeF1ic@uO%Vk_tXT@eXpGLvRh<5p5jw`5sew2)yJcxX6 z$Or~Po#pxY_~c|tObND*9kV{A{F5JliMr{D_T%0};GbKtz4n7=-wH_Us`S z`~D&v*TC28=;Q>`po+U7NwK+`=@(0>)n4MxCnP5ydEzJxain*%E1%!{_ zUhL=k-PTu^^bDIL#mE^%Sv!uL(e?O7J(7i8k3z3?HD9`#s#D6vJaRH%X#F&4CWh#) zAdKbYT&;S2(epXI;B3WH3cbcxuMTIq-elR8`q@d#-xsLXBaHraZ_Khtoqs0$M$So~DSPqnM zQrB{aQ9-(M5~FlojF^;~N*!>_`5DBA9NI;WV+|p;CdS6bkdtA#*0J^6lC|LI(u(4d z{U5Mjia*5oy?ZwjG%9R`3mTb*T~}|(MT$-g569q52%~}Qs>uh~ zYg~rF4EJQ41!Z7cUSA~QnlW^9je&S>7MAMD%F2<6*t|R;oCpc;%>xvWEkjx>Vn2PR zme}t&>;s2(8qP$W|7pEPI(X0Uh0Xx7ec{mD>(q6xCBX*9O2{?+8dDlS)j{*j0AGIO0%Qq?$mVCrfA2qAx4}T7bP7c zi!CLi;d;_nXJo(6=hpn&t9~O{@#o;2(Q+E;>#MKDQUu(e87LiCiQ?`ICO$>OPL*<> zn}~}FyjHq8$)0}U`t=uk&Cs|J3PHhK7$y5!Zq940`s-tp`cv&GV?BxH`(dK5=%G$O zERUi zEVldotp`pYM&^i5sV-c&ps1+$Z2ZRBI@&wHJS8$LfS7F|mZX*;-4+rQS9?=~-NH}S z#QoUNLx_oR%cVq%nP;kLiUCNtu?U_N<`^9z*HP@^Fxs(p=+Ggsuq<(K+!-AQw+V~g zuG;J8`PAZcaOZ=hq$F&SiN5|@@Lp3o#6uKIOG}UyGvjnDEmOZ;tgEYQ(7ERSqfu~R z8a%UwMT)EK0*t3l(TqNH9P@LoSs{LvD0dT5fp9+wFaN~HXMHj$Z6xbzUTnuy5ZBGg z*;#iS)_}+E$8;Cu(nYqTUcvpDM)D9fnVOmTI2c?bu)K|pef0QoU|^uv#N)@0-@bi& z{Nm#ptG|>#??SMEp>la;Wq-Vq20z5XTsI49#>?~xxo&Irqt|xD!fwZp36?4d_}^;; zZx6c~Hx_0UDe9CF9bMM4!rwMh>lY^*W~j{x#=0@_1X%b$m6w$d6cgl!pIOZI<`W2n zIwb?>Xk9}CziSkcmabHLso!Nz#r9+XUOqwJOwv@9Dc4LaNf{PEgTr?1X9TI5-G?R$YWO;67kuX7C@(G?+!o zzWey~QiYhy>kGb^{=iwONIoCJ%;elj=K6{N3#nj~Fhz%UXr|VBb^v-0XU!Iim!adl%5BuYXz*UdE0^^u{`}V=v{Jykw6ykOX2?=xa zWUS0Hn}TD{j*7I45=9*62hoHDa$%)0j32YCw7k5a`_slS!2yQ>H(rJ7Z%*F=&mI{W zi5M`cgGY|I64#f}gq7jCIZxV5CZd@oRaYc2JKC$_bqFIwKXgXsckkXMqvkkpmI8Ju zHMM~2igic~D=zAoD)m~BP7I98|-qfXJ#acEMqjb^9!VFc- zfcA9zV=2uL7GRjFMoT?*#8ed+Gf+yF7cpN9hfr!S;d$uH1j| z;>FSBm#V6&KPFnGk~zj$(PIwNo#`YDjuO*a;@ajm7azppn}>4RH%$F+D`5`tB6tsb zmA5q7j^}arOPB)y{Gz4~#b>FIed*}%US}QX>-ew%AH8&a(sIH~*h@@J!H>kCeylF& zgS~`U?z>k#iIF|?Zt*2aInHYFnd#ui3L@khtV(e2-o3kw1Ar~!S|G>ERudBw>D^uT zCsW`_O%*u2PKbKFP`wMb&=&{CneMZGEWwalHkKAZKvYV_ol^4p>{yS084?8u(L-|4 zV$CQ=g+d{5B@K;{nxv_*@flnKTez6Z4=^-hOA<^4)iC_dwTABT~7nR0+b$^cq{@Z#{o4%E3JioZH2;SVlb zqC9@gZhYF6X#`L+?eCv*#wR2!{P^(>GVY|P5(H5JI0fDp{XqPlwJgM}E%%w{U{FDTW zC+%7`-G;JQ`j@`|PewoBlai2dFa{5HmsqT6okopnQH_$wdk1eZ-i8c+ZR7QF-@r5g ztOksM?));K!GM6>d9)+fTiY>a1F4TuNet>7r5^ZrXG*xA_X^i~|;h)>-q z_-_ry1ptc5L+r^i@tgQB{WAn4kol{Qu5NT~IcE24+jdm<{MO=eA`@v3RMNWYh$J1#rE^%!(-bUcb4tO9+cqbPJ`uaf_b}* z;5A#T{IeO|2e5kLZmTj8=K>ZfQDvP7T(}!KSgUbXBxq4ft`?b=`+xI6Nhq*^fPGL` zzF)j(>?W*IwEm;V$;rvWF_J;l@x`(L$|Ife#3A&MfN`Iit8JJG&X+-5-3;-JSdrBSkLUSBk+bhD=OM=q3Ftv83trX`(fbeGT{x zqdRx9GU5S#fxt;I5PYw4(aZge;^wY@$%`%dJLVS@oHKad`QE5G62es%$OZe|mTw9# zW_M`Qi#pEd*$hK&h+doK3phtBWIYJZLe?;m@q*tdKezr=y@{)BHe*0XU$&W=qoWYx zAr$J_x~9M^FXQf-5ZePxRrKwKnnxlNe3M7y?%%(^ef#!`(KT|+$^-2*tMaec{Z782 z_T4S}T#ScD;Y%lizK|m5i`1RbI;#Ggu&Xz03!E828VSA+C;Zl~GrF&QjSz8gU+Wq0 zGI3J7GP>Ju-Y*J&DgSmXuU%8P@Nl&+L~?K_iq^c??d`h_?sG~CgIDmS{Y4S_{It_Om97?UfUH~`?BAXEljtDs;SEIU1=g)tD z6s&PPiSfR(Fei0Jz$m|PehL0_3jX_&cz zxRMw#Qz%2x-gbHRCeJ09K3zRMJ^KBgp+^p8JMtUbPD99YC=L4yEfJ@NGv9b&(;PK6 z?rM>FUxOF-{{?I`w2xz$n3y0omGWg!8T+>6Jo-su;ms!3hTZ+5_Gpwz>pL-U*x2T@ zQo=a_fgJclIBHRZ?{PW=Y>*zguh@@ZUM1lJ3!hU{Q-OV{_GP3ofH|_rxB!@Fj{S_L zUx+NjZ{s}2LFAJoAa)T}7Co!@c-v!vIwHsOWEuMm!$!J=H;~I%oIRq*cre?L-&p%N z_^=5;$7E$2-^qqmyuY-5{xVqKQ#R=gV$S?aU~SjGZ;fn3{L3$xpr#p3)M_$!Be1kP z*x9vC+^L$XsIG>5`9{gN^xM@R%ge``qpZ#p4rfBlNKWosS0}wN&Yo6;?I;T zX7cmJ;nZYZb+)15T1Q_HLs&3~yQ*?ep>+r$-%-&3>966zxGH+9k+ZN4$*yC>lXi?xwzrfVkxkacOjU4{rZDrL`6l#%8DcI4U1fOO@001{CrJw zvta)4N$P!&kO4G`Wqhips!BI*3QJh*vK;8LpN#BAv2%9DYe&h2K#HFJJe!M7pMV7R zR>M_tyWg5|ISb}~H#vj3_(0&r_o{MckIZF-8|72&8;QwGe~ej*(d~|N40p-Og%Dag zy4BXpLvPHD*^sTwTT6r<4$sbl+4_+~w?D!6i6$Q%f7*dt5Q4p#eC6loq_hpy;tX>b zJtIHRtA%RZ>CNFz-sVNc?&|8Qzw!mnoKxIYx^s8FK~yF`Dt`l83jF7%Rc7Kj5dhTB zo^6|7Kg#$UDe8xx^AYS1K6C3Myz`w*$O%KbaSS)4#Na}8O!!?_=7F8K-ZjsS!PNtl zTvSvN@<_0U5us&-07ar4-tIp=wWFFHAuQNq+QPMHngY zO$bwh&?SvK>p8|Sz*$3Jz6x;KJ|Ev?PVJ&jM>nSjmou1%Nr{ONo@-~D2JptcdskIm z&2sW&x$d3nxQvX?0|V%Smx>JO-x@;r0K1dd(hAqoscnPA7LUgxX#H6q)l{vCu`%X3 z_R}P<{Qda>Q1io>bL}7h>dBa+PS0o9aK^nLUBgp1J)CWGMY$rOV-hjLT*ELTTvXkB zLw8M`J_`it-&*6E!FG0=3cVFSVcKZiqDOE*4AWmo0^0cJpc>{bPAsiLOkGe|s8iyq z(SQVykUFMm<)3)BJl)j_fJ1k;rh(lJEc!SnCnrCDR#uj>j37V%DJG_Uw7i#!UVQlW z-1oiHqTzzL!tRK=H@C_k-<|j@DefD;0r)ZU=sjFWk_kTZRj?H2^Wod$?tjVs(kg*? z6}9N*UrcDB1gvPfrk17#VZd!`IH(4v<}s_ZNo+BM{a)wAa_fKO;GKbLCAq^&)Cl)(BHm5 z-ZNW69fvJ{SxRaS;1<0-H$;z^+K#jjeTsH^bQrPN#!ARRG#SA}hqSQ8LW2J25$IGb z8|5aarYhwud-E1zj@*}v1IzG=NZI!W77&(z_{~#Su?gsWB-O#|tdC5-$IJ7|Z9_=E zmf88_2c8$vv&IKdDD_LfCe!!=U}tzawn9ZMEsmz6z$ph%zTbr#_!LtRAwujK!ppxp zeGKAX)Lu`BtL>4%4aiG~+4!%HVP0iZzR$-E_{lfXo*5(plD+TnnUSRqVmo~8oa6kl z#+?v=Z6f|Zzf~(l%naNvAV};fF1#dHwA}BmqXTy2M#@iS^7mKNiW2$cx3w*nqVZo_ zk6&b%=x%eU^BN#2 zm=~p(mL97)1w*fi{^E=Fv-q@C?p?N)h*AtScm=v!_UW9xQK9Ae8;zI9wzoq9?LQ(f z{NT&&q8O>WV8RW@n{Mtunn;BqloFSt)@I381|JMh-ayzBqy^o7v=BUkVXlp`-K{}3 zzaNG>UrwQSf-f`KZk(&DD?rb=;)#tfI`VrOMg_rMm$q^{p&g6ztB?~yL`ive2TF6M zGh(J-m&I8M&cD=SMljTV=+V6y)Pn{_YO8C@dr0Y8(sYbXCr!OeCjkRG4KXqDgx|xl ztONIohz3Hpp;GLpo9z4U=Y&3`-kE%wi%az?!JqHSx|t}NSR^W#`?}U@?G%_gc*@d| z4Ha|ux4-{%))YHpdOimc48Y@&i3l>JrvC0$7ItJyyM@Z>y?7?%A`*1X{{QN8Q?xQS zGC8Q{cgR2J??=+p!rKlxQ`A{)GFitYJU0a=-C;P3dk{zfber^LFUmOkfA|wgpLkkS zi)r<&c?YL)Qi$<+kNp%It!D|s`dVi_@9Rpv(W1)t=|1Wx^Tr3pRdE?KuJ zv*v;5^35YVgD4h`r2NZh=wT*=H2;qVGM2l`eJM!?i053orR45jb%4s2Dgt z5K)2h&kF}E-|5q*A%cGX^ywZlGVf>4M1k7FjR9R3Chk^{F%AKf*LuxFMn(n*P8k?NZV>RTmNvz!V3Ns9|GhWe=Di#`PSq z_5V0u9+^D*=fTsSIB}w`zJ4^yxfr3(^z{BtWEa(v)sN?ZekJe&2hq;XuBXr;4c{t6 zr0Cfo(pP{;Kh2GZB$}eoI$Tt1kP4=&)ivRyu-ebUtQ) zdIOGe_}gA0yVP1h+QR|JY#?$L52U_*3xw?q1krUzinSS!90`w%v^-N!ga{uvbo~ay zaN<>VwNz!`2jw7Tf6j>JA|f<%6o%kr_DBn)Q=nL~;0|^UG1$_3q88^)LUxO;v)G1U zAohQpFC)+xf)){y(lPS#r#MJ)&qXvj8oIjTf$!aCh#T0<0!NkHCUFA*ZB#l+;6_Vx z`OL2=GOAvF@Y+^{9-zJUJ=pq1e%VF!2$+|KnJ5EqVk%ytGJFfd{!I#I1*$ zWn^SPZHh=sf6u$rnh}-}UYOQVj~)P;{ou*V>KwNuB`YBX2~#<<#OrN)`SN9;G@pnq z?gn=xXGyk!DT(~;m=OaeM9;LL2hEdEQ&9;?e&OeLa%_Bb6cnzY29uRN3q(N0C15!n z9ao+o6;a+|*#NDsLxavp+~o5qZ>9#wWzq~>K76U?sLTIb6S|WAKfjXw7dur;s-mI- z*jtinisIOpFJD$xR`m7t4=0ac09*qO<&)1d2ZM0p#GL{V8L*>21%cGqs$bNbDV*o_ zWe@}5Tm$YW1ZfZmQ9}J7$^@{zAN+4;`9D?^|Ba504kp!sfOi@#eE)U>EIYA?@g2DJ zg{XRTwhzpj7K-oK01ICJo@wxM|UpL zww?p5-iZ@$ii)(FI;NIjdr?z>bD~ANyWYK<9bT$eNt#{@-b_Ydt|KifEUX97hPnFT zxp{cfYhS^n%7hDjaxHP*rX0xT&<-*HF~f#n01}a*@}G}u1qqT0LhmD{n}egsX83YX zNw465E69>>TbLjc+G8s5l*tiwP-~$1&;IS5=h80vHaQvU=XX0JYr_=D;%*)(U)H%7 z0CuP-|22>KH95Kcd-lBSx=vT$K@^Ca|5*$`%`^BHo#Cd z0oDhM9v{RS2aX&8UO}c2<)Qkw8A1j;S9Wj5&(*;W zKb<1SPeq3T+Ni0kA`{d3nG8f=UZ=@=Lw0@r6t0OW#~ zkFW9)XevS4VPcXH46}SiTAGem|A}^*V3$@c@gacO-hy^OOxKz{y}4`W&S2us=+3ai z`Zrv;-q&uA=Lo<>1+%iU=7B_A_Ot9#Ya=)?c!UrQ-!USDoH)jCKzNdpZoJpM7Z+!A z<;oRx^-d6JbfoEUU(Eg|bkN{x2e#|5h-sff8as!s&+DKH6067E1`HS3ZHk1|hVU7pWf( zNNGs&1uc7xKZu)|nE`eJPSwQXQC1dz$l1i}+!AD7KU1QO+Lh|*{)n%WyJiF+QycdW z4P`4WYjr;-BL|o*JVy>8p|Iid>|Ql)<6Ma8%jEuF{aJtA4CoVyq0Q#M7w^=*`9;=H zmkt3o-Du?1k(iK>?zqIp$+_M$KrpP2Ora`VGO*03`jTz2ZQB0Dr(Q|axoMdZ{f%Uy zOaaL|ZrjhLbgh6wWFXfnD)?JZ?i?VG$Cxbv?E%dY$Ik z6yWDB!oFdv%!zH7tn3H1NnxQ&(B+$j_EdI=RDB#x>?#u7L9(B+@=QpAqQ}^wrIVzF z%@3Z9acyt8Wpsk&=9fI8+G zBf6xZK$DPWNG$N5;!2>PUI*h^fl>j{u|GQkV0v?xyl4gX6QbYzUN&Cd zj2pR@^5VF+*w}<9_tlA$zM@bHkfb~a#bf|y_JXVjgCX9XYS-wwKCNmFkdnN2o3`^r ztf7S&Z_RaD4C>qaui{(lC0D6Qs7?Xs&3?H*qw%|Qv9GT$*82|c-uk*aTX5DZFGAEu z#>U>YPCPRLbQvg<9vD6tZ=_HP`?7?2u@q64PrZ1>f`}EFr+PNl#b;|>fRY2A2E0)Y z81%Z3EhVFm13fLR6R3S)27>>qmQn5S8Qn4n7e{}I86|I)y5E#30zIVObJk$iW>6eT zGSzslO0Mk(?xHu(24d?2X0YSbd#}%`Dpx{y78DjXH8G)~u5P@Rle3rkuo3F0Xz%#e z*-JoTX*heFJ=4I#0TWyo#k&`Di(!D$RxVY(`6GD8pCMAXH2rj+R=mXe#zv}+KF8K zZAWGen=t)5$fs=ykVlO)lLCqdi2sl-87V2`YMG7;Lm_-db+NBszXsn{C+LkxZ{JM* zKtzP8h=@=vO`9_ggY}C7C1cwU3kzDAGfk*-j(N?se<6p`LkWSWz!u-g=>naMo2#oo z+TgJLVA(bsmFo=qWDnN#!cLH{}sHiL8(2x;?P)r5py3*CI(l)qBM?rGsBFfD(rq2-kH$=YiT*Nm4y+2l{8Ag&?fh8;C6hP7jX7x64&)JcxYiCP;q+ zbZV|$xpF-+T`5&jb_~<*WpO*i;&je+b#+!!JIGaq*UNU0vwB1D`7$7&tyh{t1jItc zHp7p#C~0Xy3Qt_^D6P2U=H@0L;c=A!+svg|Y}r2`Afz-rz5(LVOrXU90>FN#12GZn zwG<2ENMct>3g?48RkRW$w{IcL@_q_Q^a>6~1yUld*w6-|vX{j*WQ4sc&}00bvY!I9 z#mauDyBW2+H>ON_?ECKmG|=^V|5pWCY+HLf9o>#=3q%OeH3%6Qyy=WQO3BRaG)quB zb(V*dtzzi$?rWfG?CItW)(ziwXWlx>@8E{Bh(oyO=Us^H{i#A@+WRl@jsdHI@v}5) zF0F4aSVZ+vg%u=&oOClR>ksvT!pmovu}1MUZOB;G*XJ-+Xi3Eq z17&Gh*#MonE@{XjFO$$V-rN~o-gN0_R7dr9RA*#8Saxq{NUz$Axr){!;!be*vyFup zI`wyy`JNq&+6VNh(At$|@Uv5Q&S@SnRvY2~uq?}-dH3$!z!0vjtf-5~?-~_Ev{qoy zHux7X+D+C=_isXh2BZ)U>6W0!%{tbyt>1mkA}Ekfz&!X>>jr?oS<1u07YMB!LI!3-lpj-j+7t-hbd-uMz1r6up5Woh*J*s76LY%&vRS zZ(;w6#?D9S)fW{iif5^nLOJ~$B|>>@jq->2xh31t-JMq7SnglKu}QWK5_@nJMgmlSS;bS2=Le8f4X{o{23>_yptRkio+Knm7{v^TfMjTl#4>}xRs zl+z<3*Z(C}4=BRiat*5jRS#5Zj0rOT9;p99i&KyNfQqQw=?^z+|M{cR6xo(yr3tw( zPdvA)0Im9S7Rb@~>wBeuyS@z~8;}{-0CZYPT%W573vT9#2lrf+ROdbmP|?c#SI~_z zGc#+l8f)UG&$@j)GJK1K9*NPK@f`WcJBHo*K93X=M=$D#-fs1j% zjCZ5Vi1jVD9%EI!6j;0J1)3o!KM_b$p1dZhuvyS_>7EmXZ2>~(>axgS(LCE_u3T}1 ziS~!J+0ZW4TFW&!4f_aU=^#^-O@(q24f?duohC@?*0BunMRLmJI6Wd_WB;hY3c#n; zTBvwgC>}>@q39|f14PV*HU!8{d6ogu7nCg&Y*?gzx=J}LB42{r2X1Jc=a}58C~DYL zF_n{BwT27XoPetj%F9op(WSL`Zb3mcN<|z??HuSNpjf{_r+D*9g+|VRRYip_Fwhq- z4y4=lKMc2o*+X^i8NL^Lxc({oG@vC`y?L*bkBy;Mzs0oDyCJo0a>mBr?Ys3z2sq{GztrSgrZnJPhgtC^iH!vu{w48X#X8_d$Ww z1p+B1GD^6;V6_=TP;x6W&0tI~$txKjA4hgz$#;6IBA#0xAAc-0eK`YsX3VE zBEe{T!qRsHhC^7odRY1@LX9!Qa46K$uuX z%)9YQ=ehnuleaT0Q{CT`0kx9+=1R4EXjm)-6cjX1P&GH;&kjXRjo=UftJ8aU`Zp=m z(n4ZJ)Zfx0fyF~Pj&~A^zQ4a!UT|juxqIb-0>NlFhpkco2{0ts=l(oJ?$}bu&32Jd zJ32c9odoFdK1Oj@;391!{#A+8pl=5zZ{ywzdJ0f-&H=aux0O^jRX%)`3-#5$w0z8f z@?(gExuV7APF)~yI#GJ0_C$bU0=EhleV($vynGl)tRni&1zfQSfon7X{HQn#F_E8b z$>IFIwPL7z_1>m#Vln|VLuKe@xrwUkb=ovGms!}ockXD!-zG7_r28(m8_G)Rf@@n>|DL1nM5 z?g$dcoRo(@BWh44@iRThx?HS0qindjD!Sv+*RE9x%|ji&MP75euUwDS4FE}0!Q2`y zDwkwfp<1Ne)4=0!Z-32AWMg6_u1mgN|)O*G({k zA)I4F+=1>LQ2F`wik%7WlL`=QjsH7TyAi|B?&*lF6~1-rB!k->#kv0D#APBOJOAFp zSNN-YwaO;mVRZ}*yB_XQT3>%q^(;gNRvVs;)(|jb`0hqrTzpnKbNka?t>SR?^r0A# z2j!3)Vy*>6kWgPJ9$@;(qasaj-zFax`N0D-hdkjUe_ANz3y=O(H5Jc)#7Z$n=wCZ_ ziw6f$Z(Nv9+zshE>7Q+k|Jg<|6RDGv!`hExV)611Mscm>iMYx-{3Egs`B47b_!Sn1 zIW7hAQ_8Qbc%OMQm!2jU2m7?z}c5#_Uba z?Ou9~CaTI>tQ#N=eca}{$dXR(DM?GuIMt|_&-PjiC1(RILo-3bH#g`N-(cW*~ zQkmx&A3VLYLV#^hHUFVE^TSiqL_wTSsc_^CdqEGECa2OW8@VQfM4ZhY&Q zAMuZwULjpXd-(QDtmV!07Z*ad3^&qXrv%pB(cBvof}&lM+A)Jv8|7Jq$L$naEZ&7< z9L(_T0h9mWL$oyEEr7_{8}c9&?+@SI-Fpzj)FULn$9l|#42v$?#RxR!AV(IEAQH>} z($sz58>bFIQk#oAd9ni*;f2D@ZIZAO?`H0q5NLcZ12P+b2qonB_sj45_JCDomI>Cy zM0|i703lpHGA8tHnK5O5~;Jc)~6y8w6_H+b`-6Qr!r z+cOsAG62!h7pyc!ux;~rQ0*k`!8dRN3`#04FGVY#_rPDlk1?R~g!;*s6MX>bCYB!X zxoq%-=IJG6f}q`)3@xb~XjGx#jrVjB9$UXy8eO8*GQOA)0up}PM%^>&ghznE;ex+f z=S`9gU2WU{rMKvcJDnihKU=FrlY5C zle~BK>{;H=-j#Z6lVqOdyvP+)%CB{S+Acux9QdndrDbk8shFzO_MLiSJ!N*s>B}b$ z;y8wAN0q$Yj>+ys3B6&D25ht}OAI+=4$n6a8T`9<*#bsdI+N`;Q#cURI;@&GLipfJ;gSZQS`sHD&)q>J>TZu3#wQM zOu_(cRn1$dqA%94Z)K;HopVn7Tw%{GFEf`KSLIE)E8WGFA5|9ibIFmit~@(fYU}GK zPjG1Eok63C0KV&W&n?@z?S0X2R2TpLy)~4W$Bk%!0>`pwp$cj=6y}wfiVGv@xD_c~ z#iMwXlpVxI6(v#gx(EUx+RuQv2@zOflobC7-bph{ODImJ;iKWwVg(^6;CP8U-!6oF z*2uSw-TM$=db`BPq>_@z`$oJL@8V~jyBDre`3$@b?vM4-_d;14BKP1(xF8YX?2+-) z+jv6?KFVKqd$afgqcaPlaB$ynnE`SI)1eoa?b4J0T}5lfO&*eP3|t7KY%NsgX`540 zHhD8a<<+}HxltqMq4Gy_a`8_t1Vhc?!#xxrS-%?K!5`|v>9i14rz!W9$wQ)=3Fqd; zCd*%Z;nVljxLSZ9VNl6gd2!H{~*#8TTA>5((G1p_xT6F z?kg}I^BL2=7M5(c=U6Xiv6UjS7|_a_f~nI%Y}ZVY7G+fzQ*s8rq=JI^T%Oa48@ zZ=ZU&A$ti~bS}n?MQ(36u`!?_b_rpGPDv z(16E=A$5lhUZW4j1xjw}z<`-6dI1qg#jbjt{aEan_$`+O#vs&oYoD!i@@r{M*dcq* zf3GLCla>o;znD5#cQdkw4LqHvV%J75nkQJzG#%dnba_!#{M*pL!dr3AHA(kY3H81ReI) zXJtLdL`wl&)m}ROD>SUwW}&jD(Cn$!UkB7fMir`xR8(T8gtL&MdrLPru}9k#EoPN8 zccQGrLC*ah3WwhAAG`#s(QQHg(|AfS^EDE=po|65=Guw#4|anu3%jr_L16hb=XR8k z92hqnoAe^z?He!b%pyS|g{F-S5i*8YdElR_Oi;Cgn}7cak|r3-@Pbe*iUp=z_xB#c zSpen{DLk-!C$LBl<`aAjE9DDQyQt46P#zZ_mEW4(PAc~u%x%fv<~9T=dWK1&pa9hv zkWaQ_n`irUoQlL>$fC!B&+{}jH*aWeR`a3whWOrRGr!DXjecTV%NVA+!Kyu3!&iKj z_3v3pRp&rX)$Qu%3Z%{`FZiBJ&kn=~kAn|>QQO@}{3hw~eRDmIa8i;Yg79-KJFY`K zpxgc1%)it0G3M7)Rb>V&LwFGu&97DOeyPzm6aLLf(FEcrO56=dCe~fZ!S+c1ZFDl( zbTEZ5kyV6?VPxB{l;q2s97L5(s3xl`C@Nk!`p@xzTLkjtRs_*xe8;Md7YZdg+@pH+7x*N4wSYVL?&H7kZRvv;U=Z+`n*(2CUzxo5M@I7ugWos z*mHn*XX`8H{0K{Fn24`NqBcVnfQUj?gr{P-tEAKlV0T62VH&vbYS|ZqA68p?^H$+R z*hy2hYuD-lkt2Q}Va&?OagM8r`;p=}HqdqyKVtZ?`b8$naS4i8jecJ(h)Mb!2sqc0 zs;bKyCM7QG+cT%ZdnB;zCz+ejM0{M7yJpi7D1L;s0BrHBJAOq?+exyip|(~7O4hoq z0WO65{w4tj!uH$&=>))`w$8P$m{b>m-e6;6YZ93&0#3%Mp}0JK0q80WpY3a%7Y6omX>EFZaPTg#-^ zOgkcCON~kshjhW*MK_fA=)&<5F*;PZ7_#&k`hY;`aKx%gNH@AkdpA7;mA*V+LUL0d zQ;Z^=##R=Fk=unTvWl1+*lJ&tz-BPpA&`V~=(VXvZ0`4O3b&6X?Co>B zRPNw(_~}%9?YaztkoyyA0bG-VUV3mFi7WV45OoMP@%w>FQ?=Q&KEA_RcNWhrrhXS5}yU%Mzxz3b(abf>C_KcN?PQ8#(4LTdSqJ3P<23UXIfe0hH?v*Pcj`P#$ zTH^FIeHF%}lNp*iN9)0boT|$JrReYnfTzL_auv;gge$p}MF!Z2t?j}yCs_9422NwP zHX4RC4BtF?I(ff70gr=-V-^k$Navv@(%^fZXg`IW%igYN3QqLSZZJd$%7)5qLB>(_l+=bJ;*;vlp-l0Vta<7nOe0+dD zA&&j`rP0t~@OCVK8<|_L&@XLYuNrX6+~g+8yuf{yheC2^D(j za2*QpCCaHSV8}o>R67Bed0uyIKcrJa9M3ITO3{G}w@AntC@J6u(1(tnDxV`)q7@Z> zS-bR17{*8scm9C`stASDkjIjhQT51#6=tmmYEj^jgTiX2)@mv*6IIlU5R|^Tzj-kx zKO$(uO{^+Nj)fo|->3}Q0X2M^Z-I5v+qWb4$+!@uCa^$O!kNSQ^-A($h)@i$*cnog zB!>vuym8h}R|BQlEL;Q$IdB$8D*rFOt~{Q~_4^)48bpIqA#SBKp=1c5u270fB|}Jq zkfBgyI7*XBhLl996veWC&<7!^fnfyDzL*>$!K&(PwPVvKHSWoiuFYS&he!1O?qb~&Kv-wD^;~*$sB29P z6!k^vL|C*+*fJtk+-ILl5l>pZUamc%oY=(7&)n83o3+-Su$ge7X^@0u;&Nfex9)FCFS&VQdm) z9s9=9)6>K!ZD+KEd9i5U$oYO!%Bc3v=c-p7=t|gx3XXhTFeyQINMpE=240m30pK;F z@s5?~;{7fcwhF%8y@D3?J$F*)ssE|y+;$whOPFNK;th|90Xv$%NHvFw`XpDb zHPTo@v`mL?1R6VX8IVWLsa3LAjk&qEyDrIj<64|QZ(eh>~s7N(ormK%Hnk z!P2~P()G*Bqwn2s)etN8gL?)$*!6;K<{U*cclOYhCE9=0r5Ls&nRojz zKFvcC4bDP?ovUm5P{m?PwK?3E$#QO<_ny)F61+a}RT6@vFX_X#2sRtL(188cm2_vL z%TO;$XV4*4c0k6Ef(xNu^lZSiHy!4FEB#|!Vm8V_B70T{?`i#s@&g!rgZ zS+aNT@*PRdp@DY8LFA?C^cEj$C4N*ro9lMZ}hfeNpf$sjg7Cm~(DH56vIX1p_9T#W86+ z+q=Gh*tz;d>>KjFg{zHbkZc#MSFh#W9b(cT7GkvM(B#hc{=m(WYS;WIivV7BnQP&m z-MjztiUy%EJbc^YTD+RK-#=Qn^G0~=eA}816UcRIt53Y2Id?wY$hT6ieGNr?fGifi zk1w$*Vup%PV_C3m75DvQ6vuw#80&3(@A@DV48Po<(u?}YU7E4)(Yx6<^#vCH(W52n z2wx2`kaP)pXuS$nWfU)7x?)UPGFUGtydzY=z%5w9@GD1AO}+o))&gY4Q2k z<)uDXWJw8=&fdMpV~Dxp7C6wz4VG3fem_i|PJj~z-|pp$ZQ(L(5(ChWlWT!+DX-Eq z@t(Q3hVFsQdjJn{tSsr!YwU?re@Iudk$!1@FnM7tp&m7g9^6|8LrENj!`-bN*s{1+ zE3E6bzkw9*t^3nTuKSKTIXS>K{K{r8`l6z38megK_mO$U_v_bQi~9A?KN=mnSLF0m zJ3dhky6taJob2Sw36NAfnBw2U4SAXX{8PFbI%#|w9^Ak9A;tFunPR<%@c%e%&y3etGop#g zyezk?o-3@q!ki@QI6CFs$Zw#^3YxNYwje*qOBk0P;0s|x*V1CXF)C+Ld@Du$C98^d zj)#fm%)Sm+o4dJ_YD-WX-ye^BT>J3dm1d-A(WBHBcUq9LZ4~pEsJxYZ!uR4cF^92{ zU44Z87713g=Kbdj-L%j87)va;_U?Mo`I-)|58sQYt26(w- zZ0_8cEGrl+h4V?`Lk?k^ByxzsvVKbKAPL#L3Ge8iadC@}x=L2%mhd5D|3rZBY5Y!r68(K~`zJQw&yr{*}!H3*#s50xzsz4cZIaKj2_ z&+1ygKYkMB&pt!L=+c6bsSlRAD2@G`e_&=euCQ*Uwymxy8RCmPZ{NDL`;XsdAUx}7 zRMbxAjXi+&0kcOft(aZlx9g9e4{DJ{$|u$t5fwFa@}%PFvLX}zeg7Ry2v7ZkgSDdE zv&E^@7CZcrfFK8DR}2Fd)~(k!>4wM@_ML<^5u7>qpY=ggcDV5hIY{C zan`s+$;c$(^Gh1*iNMNBr`QBL#{Jcd4Mfoh)UdT_ti1@i6>{ozv%NlyxYF*%4C|=- zs4wH4zWa}>6!z-5R^^o+?OOnIVjF4x@mURg=|*ej&zR!wH{*vx4GxTK0rq&uIPCI` zZUZ&bSYrOQa3QoCkWj4rpP%#_9=(KnO))s;#f#mV{;c{vyhKH9$ZVdP@Rl+4b7?L?VtDsNfR?BPXa^gRK*>_%zu)4>co!+bQsQ#q`I=yRs6xp zm2Ppvu4Ccicav+O80!FjGP8Ugmct?P;_iWft89WlCw#Uf^pgq;_iVHb1~Bwcec6_G zZrp!<$SLkG4(!mhh?(Jcy=LlEVbAe9>0iqZtQRl(J$=uzIcQDp<@#Yf@w*g((Q3@p z$=<5t|92=oIIqd##EHk-DYdn%{f1YL)j6k}VZM`MHhz->nki7AxP2%4HC$mi^eqo} zEt}(0gz$$TSRpmKLBbd0Xa4C)ooy=@H0kHC{rd@i1LfpqW9FThB$MvqVr%x#kyfZ^}_={enKbTBks!DeOt$e zW9)*lXdOs`Tvy$kLXaaoMFGV23=k;0|hW-YrU23;X?~jl9@-urY-@#?4 z|CT9ocO*pB{~hgNG{=#t7;0DBOTYS@8o^8X8iF$E?(2&UxYV{_iOHRNBp+A z4h*-V!^0mQ|1ou5Efi?>pfquE3wZbF>+3fRx80C$Pinkt0T2CEP2vZhE1&45HwCv! z3jxVJeYzj!YfGA1yJ^rX#-*-+;7L%)HSJ{j2zU9KeJpQBRnJ8w#lg_#Db#rLKj^=#MFl^lC@&;L^4^sRjn`1B>5H7dQ6`pVJ_R z?v4EWUHR!GX>#LrJk3V|wk zTx%j@bDKKO7!+_lc`0#_%Qvvs|f2RGTO8Fj!r2IR38rc>NAL5Mb! z(Q@`7JUjrI@XnvF2&{b-p$#+1icv`&|Cyzz?LX{r9bJid^OADulT9fA~KefxV@kQ=)6?fdRLOfCS8&=SytOFhOo?IS~z!QeF^ zR!^*8tk04imfoc0Phwl)`CALCgn8B7r+31i|DM190KBI^(*Zc2Tr+UEFz~2o%X=}+`Vc^nN(vm~3Ax3I+3{JiS z`4BNDB=yoh_>;c@B4izZxu1MC)LP}A;078A&l>VQX)(TiAamCP0 zcZtsNI9?XXO5*l%h3&Gn?I9aVf^v@o$uNnR0StMW=Lcv4Kz>jI+*&dn+)f|ekeUB~ z;0)f!lu7hFo#UX;J}?}KVOEdo>XgS-6DDrXqfOP6QWebQStTxB z78NNrf3mmX_}lIG-O}^Kj|jiU!S=Xp;_uo|_EFZZUR@L=K<1bWwzB^rzfiPfhK-z6 zTBp6HFv@_HXKpR{LuwG9<+LrhzjXv@-)K6x$ourf4`(LcjPwZv9FhWat102(apj5$ zGvI8~TSP$rlFzwj~goM&iJ`YtAWa6Fqhb)IamgU@F6?us-oBb!D zxjJD^^v{i7!4N;xf0?UDoMW=L^TfX>$8u>{We#zC*Pk++U|hhg3}c-WfxQ4+`Ht_(t;>!E)KS3H50$d@J4E=B-^qte>^JpS^DbR|*_`PY>*MasQhK&^^q;yE1yFn^&h*kp zGuDk!ujWe}n%#%6wKZgS%alLuK52TeS#emZ>MZ5$e|YUTiRN_fd^sA z`HZ=b88b|u^G{zi%66-dlb*r5YW3+?^Y{FMJs=hV!J`yg>>Xdji; z?$eeLel_tP|5dZKDdBWYrq)vA^2fdKF;WBUQON8xbVQ9+=)B*_aHT3N4zp8UH1R@* z34bsd1ny}r_@=xyoA;Wi;2-i?a+9S9-C{u<|NEi$j9-QO z5{gYfEB+OJB;YB9+vL9=#dM5kX=y=o*xX{t+&de$@sA#Qy`92h^s~)<+SM?tWxW8m zw%o);f?KSd?}a)qzEEn`oytooY|Sp8al^ApT%WNLS2kiP*+tm8#AlbN3XX%~(SKkJ z^|72NsKjR(7d5Sub!1ce=yy#XEDc`&Pg(SMtT~w5qCV%6k|73imX(w=mqI%U-13Q) z^4SSLedEEak9i#fAHJWA|G0tp1wG7E51A+m)lRMO*5VuFm~;+qrd31#Y?BGgBe$jH z^}o0`(mT1_{Kg;g-xb^qZ&hX(THGL!6WAO` zZx$Pz+jiyn_UnP@O_voH?~)TPnP~I6Ej=ztL+3rBbrM_o#NU>=oM7QkZ<9RsiA~Lz zFdWxTm8RExm43gIb&w^Vu$Rnreu-&psv}>uy~s=xsheZog-E(Vnrn z@q<7|Q3DAmh2Ke)+y_U#UZ93g{#VpOER7ukP)1on@~H9R8j+UiHaL%-mp?xOkPb}o zAvb}Y^0SG~9{%t#S61HgbnA-)YZh=Vl7TfdFepE6_4q$*1cp}G`2z==_(*6(>5mJr zWf7Tu*iy_U44nd-o$|B}&M>hJ)}qx2d3^|9?7e6F+WeD3WXz7Uyd2Ge5xZHicCK1A zYbw~bdo~F_`NJ!&ykR42psO1`A5ma5Q`yU-9{z_Pk`Tf=;s$F$&+4T+hw5{N1|NnVRNu|Tgrh(z_T}dZbSIKZpQV;#Z zBW8=wzsBLdxvdaZ#~`#0M^XND$NmnvHj^!Vbue#OPw&~mMN=n}^JerH-rPcIn-J*` z$W$ceDqRhDA2r&r`rp+@oaCLpb;<1QlPS3*AyDA2SLEm)l4sSz_OH9pIQyUYIh!Ku zMDlwlx7}0l)amosYQph-|7e`}^IFBwB@IhVi~KtMx&L%(AKxSBBTNScO}2A?2o=V` z#24q4U0}q57Qge4AA68PT(4s=BH1TVAezBWK_p>kUo%V~szJ8IbdLw|@qNXM)hkku7+t=h@Y77L zoO`iZx6nGE!QTvlPzaMV&!b6tu0WaJ)X`(zqE?m2ZjJ$3G_7F8T)9FF?ISQeYyMo) z+DEQJq3 z{c7LH;J0hyHx^2&YLe_wcFS5lN;}X!uMH-Z_NSW`@Q6JL#3-tn1r|ABV>DWf^|)G>KW^RM^Z8} zS$$FaOBa9qUmBWDp2z^T;L+9)RZoNqUrC}jOsScB^Zvh23}cca8q&=eA`n+05&~QX z7MInsHP5*B^Hln{OKmEw=aK%jR4Scbb9VJfIp%lkEBHByte;cfIEr!a{*{Z>CWS6L z^pSun!bLH-r0MDXmu@rKdHvnS}Gcc&1m3pZiPD9n>ebK=6?OWvHWH{R*Bf$qMuTir8w5vdUKCi56d zX&dh4(Wb#i)HfL`8LqUHFq9%0X)ccMMM&3R)(O2ch^XT=&2(6EcXw14haep^IR z7qY7C-ZuWjq?*;1J<6mi(^NIVk;8uLKI(rkbU%nxyJ7lNzDuSkojdf`+wkL-4p=Ic z(2d)5^iWYE$Jh(CycG-b9QaNJ(vFj|8vtsy`99#qfK56>EXf#disZnKhQb?7R1%AW zu?3r?Y56z=?z6}R^iN2mvGf!otc3OW9xe%T2OO_MN)LFbFqa%> z=4cU!QNGsZq2-ocTX^`Tf1(9n!CBDed&8j~v(XkbCF*m2|Mdn++~bw@6z#tcS}%oE zLr~o8$0f%ft{4pJN-X~RHb8acL%!@n%!OXM1!dJI>XrFCYo^H7od zygOwpq{Q-BMD^Ab;dS&!{rb9F`ON*04=m!xI-9BX)4 zY~8vwrL{jU^|2&uQ`l0Oi!RLZh}w2D_gPpUWo8zD zQ9Tf=znlB%$*P7qx5bUbhLj5WJ(>mOPm|*;cU+NLvEzs~|`o{BE zBIK%rZ2oGX8dEUKF#e}Y4ugkC!FEe>@jFM8qg{hQM{jbv_VYnG9ccWJpF0mdPD> zSblzf`EFs-dyMB4`W*E#W>!|!$+lsP<*)aCvILT8XRdLGrUB4$x9;KX_CG%Q+z)jx zX)6S8{8(<#N~U$q=bO;_vE(q6=T>7q1#RSUQ3qa_z@LaWKM;=3BGw(viogjTNe$4Q zrAOx;?E0@n+o#`WG}(_pdZwM6agXFD^)-cBdOcTy9dQf?J6fJbBHzb4XwM+L{B9z5Or zRa$!H%vvcBu#!jms7Q*^8*b~imQkY{)A}o5`x()ZblA$!kO0%UQjuWy{&bw5a$w{f zo>;l;cLRVDhO+b#$866lr_E#qq9Y?8Z|~#|Y$e2KjBavVAecJfeBRVbcgf`NuW#t1 z{(MoAvUQ*;u{SbS4n9jCl9@a}aCCmp?zL9W>AIdM*3TexvV+ zClB{%xpu4LW&sO&vphjCty9bUi4mF?g1s8Ch=+0=wi*wr`T=5(A`$--C_#u&`GpPC z6!NR~vl;$JA#CBV87K|z_Rtq+4q@uwlLfjg6etqFP~1*evL9xGQGv@^&4ZHh1q=Z< zZA?r@_kZI-P#6siA`hA~RFyNT_A*WHGQzp5S7o54&dcJ@rx6#iu=k}be1bL}{Y>SY zq+{UR_5AhgbsGNrE2)H#IGZ<}_MV-x6uH9j#BuLwU7}~u{Iyq(tHfz|>P(*0zFd(* z`crUAZCeLHA8O^4wlv?ZlukePCYVV3`^;L51gZUM^qtMk2dQ^l<+!(lEF|u3WnAUw z#K8I|1494%yZ#Xip(#%f?z-`S)FgV1TgI^}=Atw)N;gU^zB6?azE*)bZhgkShb8VQ zEDuqyr@EP~)?#ux(90Ys#z*jW+r}7A87om&16K3gboEHul3DO{ukD)f`Jd;3wX~aE z!h(#(;uAla7}3MRy+RMpp!7Y&qopw>e6$osUip;;b2qz@A+NK0!c8~YSqxOYP&!$H z%!1tfsh*q^RkHJEH7=8Q1bd0NxZ=>+52e_yM=_fJc089&NG+x;Scub+I zDz@WSFKD8u8y-4ThZ#lT?6sj2{#?{`sMHFgjf2>QNndzg&-A>e%2-pL5{g03gg>gD zn$b)OO*>jXiMY81x{f_93U6mcqr-=nicF%IdI1#DEU;pN;WXbiLaxysA#l(01e-=2$l}jCTF5;F?ZM(MB-8Qm*y?E zWnT6t;cS=xx;h*ViC^F z{ok{=kGI@zP}3=$C#SF?p+e!-|1Z57fjM z(U4)2L-s;-b1`Gr3r0N!vPP**$QUsYuMBD|Bgck$!y^kZ_v$OzJ%zuezNQg0X72+~ z^vrGr#}gwlf>0~rhs@*D-?QhXMVVMUA$_?N1wA<+Z>h-%NH2~}(1 zV!!4H8w~N}S-AcP3Iil*;xxu7-@a`zDiE(dd44zew8wSMqp>gLX4S>!DWQ0R&SHYnityXTE%6CT)7vVmTLj}VdbF$9q%%O`(E0vwl8N!62i@t^ zdS8vVru%aZ;BV03Iv`)AX=qol)nwqhytPqvy@%i|`E2?O!HpzctiqioIJPGdH}6qw zaHC~50o-rjdkQ*~M!M*2HL*QTPj2mCuIR^@;a>tduGvxjYIJyoM(4Oj9;-h2 zK@jq|98@3;UZfl&Z?*fT;lEq4X~%2h8mK7sTCjqcwEZ+8Iw3{p5H=7Ay=?m%L=tK3 zxEL)?jU#%&+WVFixxWk#lRg}XngCTGkASQ&mG{FOuMczYGOS1Ohdr6kn)%BI_iLr* zrZ74-kgM++6#skmn_av;i&?==FMT7Qb z35;gJGDk2vek~$prWM^XC$t8cvpm7Q-R=>1}NT2n|GXKfCDu*00I24l6zikp{ku&dW-EMVO$G zg7q!F`%6ftUG-w1hDt?UflMqHDmvFUGi5&dH}cmEz6Z`GqVtc8?o+d|#NbeCOjgwP z?c2{{(D|zl7p ztl8Qn`y1!+VO(?k#*6FzCZMXu#$#=Ab5T=4*qeH}AIgc-DDKkJ4H<)^KQ?KAC{3iI zWQXm4JakO3Y8}C%7VNJaT=n%-)>_42>#lF_S}tAvR2=3mvVA?Fk*f0E{iUuh^pPxS zUF)N9fKU}QiRHaf_YLnsl+gSXFSF%)QTB7-Bl}vx0fRxPWwa2E74xJC~c>C|YIuKSKfCBgGw~vW& z3re6ZkcQX;x_%ESh`0`?Jaj&=JGh3~pBN}@i9sQ)C`NZC##abvvf>>{!OkMVPtF&4 z#1Bo9{Hy_l3a-`rl+20!)$oIR(GBVjyt^LlpVdR^m#ZsO4Fi`naxGREaB-X=rqsHHFIt`BhEB%D8t!y6;TQC2e#Y_Avq}6nFin6~Vkt@`vAZMLhhJ z{#ZIDeq{IYn*RRb$SeY=z_QZ^4n7m*Zo0ZU+Pi2}tJfVYe?_L;`>((ERJ{Nb{Dpdz zjw6O6cgu6M_0WI^UtMx#_IH2|5FOr6kxyB0&NS!lljv(7opu8i*+3J1s%ynD;A4Qz!V?lg zW6nRvM3pY5yJ@~F1BUFLt6+$tng2(JUDB%~*h#O)w?*L*I`-CC@YwdW44G-Xqb6hj zR?U#yP*SO9UpimcC1{_I<#yArLc?XNU-7&wIR}yL)uyxXw~M;8eAu@lt+Ze5VHR|(JrX1aF)Se=X#Nub7QO|ia2qykcl}Tb;p50QtN$4v?l{mzu?nxaLSoSsdfyMr{Y2X5mE6^#gCj!?@_=ZZAs*d|bL zOUE$ah>P5TN6UI>aT-SyL<4V?oP*ziau7EJugAWwqmNKcE@CDZCUgWQM!5KBN5z^! z-q#wr_9a8s;@Y?f7R9Z?C1qkw!qNIOcm9fAukR4LZLwkmT!7k3BK(K?)8P?M&Y?PW z76}KRk@Jh7`*3`3H~Dtt^bUnBFc(d!#?Ty<1}dxtjNXCIx&q|Hu+ii6-WzG|!eEV` zZJ0_>h-~H3r74aL-=GmL-V-qs17lC>2jmQ**m4^9O-EtBE#3m4|TSCtlVr2R7cOl|{LxEEN&ATVg2^XY;qJaqKuqlcRd)HKe}m+jg4p#TzTaib3RS_ z1*s1#W9b901ei#@NEdB{M)qBts9*D?X|asFB+Ex@4K`E>aLcjs=W*UcHnX~wYPotx zK7aR8QiQ8EnMjY*>YZ}M{PA4oYj_WU^@MeXc-2EnJh|Q%_G|Iy`|-+3bc~{AeyU$O z&{lZ{eUcRM2YV2@-hPKoha<9`Rp*{p2#I`R#5{S@04G;mT7v6LRA{avP!xwnd%RHE zkbE2?05F=_sD4KP;exU4hA)qJ^sfXS?wY%?>7z>K;Hov?mP0hi&iP9;*ui6ws3^E* zH%Oj~MCM#Rh68ohTrvT*AB|k=qh6F+t1&+8Z77StjTzvn9?lv zq*qZP%6|XW`9h`#$q<*KBpsu3R_I6sd$R-6v`?>6=pqPhl}&)N!RpQ%sVGZdzSv;L z)3`x|2J`{vG^Es?pTQiU5;~Tv6%)D>o?jV#!Xf#r(pXtXJFkV z!kAT;U)m&bTa>uDsrYR;;*F+HX>sZO2vQe#;ihTI{=3xAcaMsT#X2if70{#qn+!>iUBjIPyo-Jh77R_#j zvV1U=HY`t5>)YLwe&kh_kiWlGFUR9^XvJQtY1^nCP8a&YMag)`&jUF6)6bsm%GWV0 zPlZ|>CSIAkpj&AH<13GB(8f6mn0u36B5;q5;vn=MX5Gr`htuZFS_h?&3a@LPVeBsC`HPP4)T3$ zkd`hjD^t?}!yB#IJ!d2yWYjiIxR~kHl1Tz5wpC@iO>z$&X1gr;00TqcNiGIp?E9tZ zmfM1b5`=}dHF>1}u#6ww=tgR4YL1S{e_Y3I8YWD=fB(K%u%0S0IPS^E))NsOs(~LZ zp2JVt^GizhfzI^rA365XIQmjaqO}J;ZD%K1a7^9qcr)Squ3!}8=RZI3PxuwfESbkK6%S0A$}sq6hJ^ebRr_GV^}{oR4j2;Att87k;Y$@16oj6rpd^w7 zit6hJ>Sb=u8*zKHFn=M%?c2h!BlNg|ilz#bU}nRU*|$rCKAk7fJK?X;WBS_*U?)K> zw|lkhj|o?E3(F`uG<13VdH4I{-YWixF3o0!+h8AglIp3QirM3yrLdcZO9W)IKDH|^ zCv^b-qqV|bSyo&ya^l+Ym zdi&zPSMi^-;jk@>C`{*$!*BZ6D*x;MM^72uBl9NSYu}!XhLM!J0R)GRyXSNc&P@}< zw5~k|4^~xFEIN3L$n>6Q|D@s7nh9}o*_}QOeez1)i8qf1HqU7(OJ}wTbIyvTDHk2?l+3 z@z_pJo`_fmcXxN+xWSFh7&y8a-@Zm~j~EznPC`~?1)mQj>YR2FU~DKL>&Ud^>8-hAlQF$qBWj%E?|VlPrsIQosM2MD?;gGY`YW z#8#dA$s0pczfDZ`@D6ZiBjy1Gi$F8{li!wQa>cJNS29&_|(v>L;A? zY_r$F5t9lw!D~-&L!j{5X%`WjD`x={eYC(=)>tFE0|+%$9F&k%W&OC5*Xq8kzc5!b z>BpmM@MHsC1~yOf4@LJ6uizyc5`k-+z@xp%q7ElgGMn$fUiqS>4;aRoK0k>fgM`y$(z`r= z%$D@`Yw@Qs8dfOLKV_RY#n_fE;pBT++Eag1D_5`Hm{73K)lQ704Je$sWfAYVSfq7s zINH$WsTcum)70PJU#rs(+>LKf-WJy?x{-ZBPS4&(WVbUHyO5}u!KrO6e-oI08EU-&G>u7U)p4DKYz=j*k-|p-}k=w#d>Py zryZ;ahj&ihlA1s%+Mo~_W1kMnJ^!kAk>g{^Ga;2(i6GD~%NRaI3TGx@Zpix`-e(s~Oul5hJxLjn?&OTQKrksH9@ zQ@l~D>Ls(f=j%QuL%b~HNHiUl6zLfSv$Cqr77jiGZ@R#YPsFK_lpb2ko*tTk1-I2O z?1ngH7&n#ZH;XSbL7a2JPrWEVc_0=JoVDH5VQXS-PoVu0fL?c%sIHCujB9JY0t=m& ze&^g9sd4da8Id)l#&&Mfulq+W39P~6=oz?tITc>}8Vn@U>^rlq1e}=zpI65~BCCL! zu|Uho$tlDu@}gHNX0M?#y!1kiH-q$9nQoN?!<%BK+<4nw14DSnKumbqXGbV*c{8(( z4Sw2>#OPYAIsWGmk4@U%TD5CZ?$b$^@ zBIL?ud@sc>2V;@@xDPsDF*u4}l?L6F2D42Sd%~zgVRap%ooduxHIjPpCJP4oABY|$ zBG#Iy=^Mm1EVAOVI=?{C)aW0m{;dt*QBov)sO$_)O!Z7fIfNeI) zeNbIut0j^uYcEmh{?vs(d&rnlAU7j?OgY)72Qt$a>04VH-!}Q4z%-)2wsqw=LDi| zG+bpRb7hxSY_#1LK0TW#Y*AQ7H)6^)h3hw-?XLN?FAw$rUONAI@)>zxl|Wf}4fEKj zRqW~HmSk9HW)WmWdcdzTyG)7kM(M&Z1_TD5t}sjHPC>M)jki<27NkUFHYpAylYB&! ztalFIfCHs{(i=pb0XX(t_SeD|xh&+G6hjP9nO#D}$>+~7V|;beEZ4O44pCDqoX}}- z-*Pdg^TD)ic#gvU%%L&B^!z5Y_HISWaJ5T|7RvylMZ-nNzIZnfNHIpjt`pTr81X(f99 z{{3P>(rphUKou|kHD+*bLeW|Q&lx>RQGWic6Xd?>`Qfz2woO3MzqanYRMXk^I@=%s zE0xx?dnsLqg@(%;hA#$(PM4XI#qHVw#~No0k>1m>%<@kwpBJ;fbuNkb3h_DuuGgg+ zu{TnaUB@pxuuP#fvO`ZzI_+{HcTXSDZNwDZ8i((m+3zNcCtzN?Q2vtCl$7&A7i;AB zWzl7LL=(TGL{vg6y2~4FolQ^_W4CF8=%3Vt5zCMkFM4G{#aZIa`vxYL=VF=GneM5t z;1Cv4bFedO)&DN*>}9PgzI_^-$KuFKVBaJPRM!w$qk$2oSB)=AtXcqfBX=If1y!ek zF5xE8dK7`UjgHuiXa4=o(SZ3-1*&=tXG`Wy=7aU00w`Hnd-1hyj!=CgtA6ce+VEwg zvzXVW{sWyhbz%IH95PfOq~aCgpAVjLfgK-6pHdd3ez$L55_0++|9CHF??~|Odp&%~ zG0z#|)O$U}Yi&2tJ67eHb29cFQ}n5>uC9G?-{G4_BrOIBnE|bx&Bz|5(S50~2C6tL zV{P)#4ww-mydChH4TFN`iv9@^z2}i=4+_Bs5V0a8 z7zVDkSoQ*$8!Bws(5^3s9o89IoIF=)XMvaN1|ql4))56iNcz|YxsiFB7{k;|MR@oh zgn&M7U0w|VMsXd0-Xg`vw^Fcve#BP$T%-E**WEM*dC6z@)zcyrA_O~i0_ZB|bq?Fu zjDRAZH8i|Pg2?J?UEH}3Wp9I?Evm+R3Is7 zq-i60$zccRTO}U_4tVe0z0CLUMa6iTVMw)k#A0ygyuL6EfXLPMFmHzVb7y)tT(K;x zQlyf;78S+X)V)U6Ri);^0uG6D@R(RF3iQFghMBk0sv<7jnoxTy1~e~AEOkv@Zg^e; zd;#yto;2z8d5P333YqKKNC}T=?R0k`hVdPK+xRi@ix66#TegVLbe1jp?)x^r9)neDo8*lUwC!{Nu@Nd5xyoR{0)%UpWf z-yeo^@~yESV?P3pWC9tj!3vY^m1wl9Q3-4CXNg`dg6z1!T;dd3IyeTHGzJd2`@Bmu zzfRk$fP$t4e~*YsU-Wg~^L6EGleX=ugg4>RBmv&Ftutf)vz>jV&u@^DI_fGa;<{H<%57Q@l}SHD=|K-y+~F%~fFe!#wzvM&YZ86plAfz{|d!H zw2v+vO;pF0pfD?4YKLPxqDGIx_Gl>{MRKR-63?>k5>KM&IslNt4Im!!xQHh8)Nbir z`38w3$t2mFtf@$^$E8Q*mN7*52sgU6$Pqghfu+zu&E)=8a5SgT{O|_Ebzd&)>!D^| zgEu@11g8_78zgCjWG9uGM+9uNJ!TV(bZG`H&<@dP#eD~p=eEy9hMZi=9 z=(A3`Z{H=|9@-@98SkXWa=dNB835)kIgi2_Hub5n6?xPlA@B=R3>xC2alb}?+Fjlw zz3}-gq_}8eP9x^jotthQ*w^u5rYcjU;ZsC)@Dd?|dpzHwFPX>F=NaZ9R{j;KdKVp# zlbG93*FZW~qxF=VQi)DO$RJ(0H4Sd^Sc%>~VwmbOOqAAw&D&km1Zs{?|H?vG(n|JN zoPZN*%@nWu#HD1e#su%QF#t_Nuhw6RfSC>4=yiVAgKvCd!opVci94)YW(cAIZ8(*t zec2?!w6`rJfV{R`Uo{z{Sk0I%J8l7HFyQ%zf$TjU>;n0}igx3tB!UP4rG=u_Jw7k1 zL^ovT@J%k4jaxQ9$QW0J{>F&>0f0pE|Gw*303r^{D17k?P8%P~S@@xP76IQ7Tye#m z!u=%3=Z~%m{_}@93x+#dp{Oe}i6fURT|^UdCAi!ix`kvf9T~eEeEYwo-?(uD8$HhD zrPbsqJqg0VK<0d1*gKP=E%c5t$M+XPi9gLAb_3tDpd$ByHRaBbXrn(k!=un5`Ruv5 zxsVvgPYSz%FA#k!`GcPls(6(yvg{W^isY2Yn%B4Rd}jDk0Grc)at%#!3->Z{od!B3 z3%7GHv#iXTVDmZk8^7hSSFCt|^bq!D<>GlSaV*#f!BixFhV!hj0t zRBwNOs1+F+0Te;QouxVmx zNLGvnU-K>Bd3OUQ;GqV85E=Osaern)M@75^((V;OHm~6yv=_6l_U-FK3*>0E^Jl-6 zXjVDKjX;ja)4n2&%m`sEV$$m>G?ah2drf1pw${wsJ_+lHN!^SM2MX~`V>SD0dG~ZS zDu-nL5R(-M&h=^V5#aa;WbsUd^jBbnG_qKTw+IT9-)DMae2`Bk0jE>*M8ylUvsF4cBL|D+N&m{z-M3HMP7S)8Anu+zS3vD@HEi#o57p zy$bDJU`AQ-zDP+hb-2!LzBdt;>AOElPYPW^<3pSkzjyogEW$ZrzVenKbRP!TWGtAF z#k@pY_t){-bCIpO>P*chxCCbhPpSN;jPN8^6z=bPtg921PB@{8f#L#o$4{X@3vHy5 z?G}l9umtkN1Y;&LCqMgzFnI09Wz1touEUz}XV1)`w8^|Dblfyw1}BEMM?)0Hc4$98 zrK=Sv{ZCL7FH-M``1J{ipbMcldb+}2Q#x?J%(&r)^fGM34(-9reiU<$t++ySkbH+$ zr*#a_jcg8~)PRR^3YcGy7~(H6H~{d)Ph=3b3xOjSxXe#?V<^qM-3y_KQJj&UYWWI+ zU7~Mu`&gj4$3o?9{4mE}^dm<9dI0`9={3A|EotpkL26)}};(RK`IPGZ+rf{{dU2r_sRm>)Xqn>UC=>Vyt z>CNPEl~`Nl$BJ@gV^L1?FGM+!^634eA?KNB1_;`DNHeL$yVXcK#iK{xB4cy)P!QKJ zceP#Ow^{%Xa+vgzu>|QV=D|z#G=|fSYJvQCb<=3{K-xxh%E{py2sM!%_cnpj0g8%Q z^t{H=<7p&(p#JIZki}F+*QEbOiPK1}NBbsmF7;H_Q)RdTUBLG3Ms^rxNd`gSUZkVD zdr}_KZL%?sw~`hA1{eIB$aP+f8M0SMhCRY{>+f)F67~<|+^01H=@OcEPe+&D=CN*y zo!KDAeKpPBTlV)YpjpA|O9D9`8FSaTu`U8RR$y~iM3DbRw)W(I9qe-ocuF{HeAb?P z?_nCvB05=>ybtO`im?aP&B@Nf3d`wc$B!RKIH6mi*w)rIZ{9p}4o$(#IxgO@7_c(l zbi<8__3dvoo&sL?E+%1RJOONR_reAp14DYnDjfUR|BUcrj28d|9SLUfvw3QfTO@c?<91348d^YY}jAF$&7mOHI z17vR$g(9k#tT^dTe;rM+Lzw;T&GwvKV>iuDq%)(vn?_^Eb#L}9bu$xUN^WF->-V3} zWva}{770kj(4y1!_AB`)l&!0KmbwK9F%xOl@-H{Cz12>-yf=qYozN%$XWZ_N74MtRUNAjFp4_pfL9=idE^ z_6Mcb%^Bc*9zK!oewLGt;_E0TbD}(tT75>8>EAlDL4rPm zeG6SE!>3bd(pF=2!{68L>Cx_zbnVC05b+9sYC6>c0nl9r4#4BA~j5$l2J;@f-v_uENaE`2#hvd*y=J97n4#U~{7wIAs` z=axt;8%u@ckqV)A2RGLWD^gMH>nwIgw1+(DhbRJFj56=dxpTt#u$tRgm&B1qs&12S zw$fZod;7G}zlW|wF}8_SX~E1s=xoNgp4$$>DaJn5K6G3NTYJtn(?r`P}DH}uC1YkbZ^FyS4?I=R@$ zqrGfwWbbU-WcSa6YkzDNrcGo6suQ$h@|^|YXJk4>xE;Uk;tzAy3iwh;sX z=`#mKd3|0(cO%tkxPo2sSWwSH9#2|tA?>Pkv|dSff!BT`>IjYTCHUZ4tlqztI6&y< z=ziN?8I_vq1SsOymz`>&Lb)v8{J1Eco}*S-(XY^{td?}Lt)dKu?!6ec(|n0PeI>pQ z?{ga2n*WJSf3ase-qODNT-Klc%z}rC3+-F0uO&GDJj_S!i#Wr{Hys<&4fHCukA(1h zkjyB{`VGXanFAvo#5c5af@M#3m(kLfCt(UG;o4ge0z2%hwN(5d+rn*OYYm-a^YBs& zG-tcuoxVNeH2O|iH;L*koZTzA2X?g^%~{RmN0>UtYJ-0sArGQ2u25UHK7 zmE?zi&R{kNGqKevyluP%WaM^EMC1+|WsTTpc@Bp|leg7Q%wL|cu&Bg{GC+cQdWM^Z zeiTGSRqmkV6@6K__a!oAnjZ(3GvafcDH&T(Hlc zwIny)&q})tuSx^-Sql15ek&yfcXos7w9(}4m4acHAAbvdj=hhWAW{cZE8a6^eC#PQ z-iDHVrZ|~<2LrYndCyi)omFGD_KqcKH+u5>`+G2z2WwttkId~3zU(c@(y*t1s8*_= z>b`xcZrvR}(+e{?j-Y3k=}gAa7?(B+GeYr1r@KMttW4)Y6c1a0rZwDt5D*t1KU21` z!RU00Ee+iI^H-5@ihq3wPK$$T42_wh!zb`|+?qT^ppJ-Gow5o$!9~ri?)62|&OgvP zeW4+4@V1{nxx`3sMKT%3jP}=UtM^AvwVL;8=S@r)LRYH$&CiX zgiQR!rQ_lF3L9LJF(!QP}UPNl)k6;bPD8qsg_ zv?;g;ZY2gqwV?vbkt`7WD$LhN-o*t>)1Z^@cdH4`YoyXYq_O!6I$|Qic{Ms(nEZyX zKw*2-%PX5dZlmoUWd+#nV{*=V71GDIsCMuA9mHS0Qnu zRhFsi7O`@S&?&5{x|eb?^E?NJ$&CIC1!%m;Vxm2zb!dGz4I?winULTBp6Sie2tbKN zB021O%FN&?8n8epfx^lCBK;scgJ!#tF7(z`uXWgk$(OA`_Nf<|2F*LO#7LcokVT}j%1$M+91pGpH|40Lj6w1 z*d`TzrT!OQ2h(dvFj18sUc>!r!z5wd#Sy8%QUg6^BKWxEv7Z!)Fem{{5IKHu|KoVPfiDsp7V)*n!^jed0fZF{Z+tRDU=*s(JQv&2*et2CMbX9bf$4TfVPm~HO{OWwYl!H zQ2KFNoQxOc>VSbJld~(R^!1lUu-N;-vBv~);P3*LYwCxUK6vu;O*!{4K+=?1ze4Gg z((5Nx+n!Tx?vM=-yu%*_BuCek0eUe8dpUzYK861c`2u4yj;ft?0&?m6&0|H{Q)3Bj z6{8!!sE0c|D8Bh^x7=ibi#_(J-c9oBf3-d01Oe?Rq9nhyT1Qp?boDtSM~aG4sYr@eNkSV+#?$h&r-ii0((-5%QCY%>N~KLI+Ki&4gtQKP7Q0?zye zU`&pQEkAlk=1tV@SvaDMT?YJZxxc0*PGo9b6jQkpLp|D*B(o@kT#rp+OWS1zF(EF5 zUJ*C+IC0#V6gG+hG2dqZ2|q9DGi~*u1g@}o<`r6SLeL}N;83~Y-w8T%W%hwx0Kqm` zU4M+iL;|no2@rw-=rUjePX%a%thE`9qW=`kua46^3}GU=vs}3izubnPqgZ1g6lgz| zSwzmct^F1d^_u0bM?YQ9GKfrB9rX8HzyfYn1`n8Nqn5sw^4h=AyPlQUoY4HtV$Y#p zpR7Djv(GiK3pcUcT+N?I??Jr)Y5c%n#KpZjHA0p*BcrceegomrEZ>J>&yJj71OGYa zJ$kNu7XK@qKkkcsnQ+IrzVRF~Tj@-ZEfBe|X5i1CKM_k12eC5`Evj*VJ4h3X@=tq= zClQ3g>a_bokSNXF>Eozg5)bugb^$FX8kINTATNbe%Yos}cVv1hl@83eK0IGb9`VhP zf_5`d6qd*z%F-6)oPa;qOcCQr5)MsL+_NEr7NLd>^&n93qR@~2OO^y@?--gS#*Zhy z&d$4?iO!AEG})Hlul^xA;kDTpC>J{zQW0$zPCl&~y#C2m?hQDHC+h zz2uyBgSXv&iW?gn89j=QzW1*;29}2^ch7f*ucWz)>$E?wC-|4b1Z0TV_#0%b$oG>b z!zJfKHXPP0^Hl+GR0Ha-ebjW%Gv|dbe2pml5nFk82f4Pxu!YsCkiG33Oz=3H-*gbj z{6hYnK=z0t_JFNe*S`EhjW$$Pa17uPKlJ`x+}#G|2GBvfq<$)<==?=J1S|(~{%>O- zsXXte+Ua9KK>Fu$(6!_3=A5P;Ej@A;G^f>@R7qF=*~c)z9m{N!flz`8)5#6n(N@U+ zQMi(+&m*VN!OQ_WUbr_Ab=~T?nuM#UTCbH)I#9kL7;*XHkbPvhNs;VbSUZ#_v zME5BZM3%4c5li1>7r3?kKuCL9iOyd{=d6CD}jBOFj>kV!F+?W^?9-{F+|hoTRLko zO!M5V-)x(vcyOoS1k6WvWv}6jiJIB~!d{X3)lvDj6b5Del^UUF2YHd410Oek^z)&3 zBxXRs0@vbkkKp30hU+!KWxJGkm5Y?zT8hz4WJmgBK>H6GN$>%}mBVX0y&Pe+U=E{t zEpsv|x>y%j=zjN=W%ucs5GWH*Sn^3f?!`VLtjrQO!U1 zbpDDJZ*cl$o10QVpWo;#R2#T*9E37lLJvjvvBI9^Z?gHE2+A3KZsuQVPzmNFgGN<( z46#!5$FL1+H*S22t>DpP(l!e6X7Q^5(Qa)dxh4c8;y!lgglY0B*uPu*z11wt4N_eCHh31}Fz1pvKy5Z+wr4AF0(7B4Hp> zewVwi(vnG35D&|^1cLMZh5kC5AnV|LBdN24jzB1@}^1@I1yNUA+CEh z2I&P6+T-Q41Ta0;(DUV0OI4*?XHS>=b3tHha8I5J(*2Jg&!A2B_bK_zPoGBYF@3Zn z6Fd}DO`3}85id?$?jMOzy|VmhDdTXDfz3F_z=R824cm{K9RO)eQ5YPgbX^!|45Xix zFWUv6T!w6+A0&B@zu*^AZH$^_so5g53#qAe6uFT;_Mh7O?4i^Nek51gxqBe%sXbiz z1}Wo|wesBA4H|1Ow!s4=PysnYDj;X3S@{ULCfLRj+a{`0BVkS;>=3Hqq-Ug!7jNSE z17|UF{I#|soKgxdh)?7K%C6|K((nB4gUrwX#D>D`-A5yZR1TSF>UU>3Mh2A)b>n7oU{FhNp3>--cnmc$!y0FRXq_ z4=*7k=%b9IlLeWy1L!-)uI?G@3m&zELp|~k#c-?4{QPIA@zyptT}B^S0wS;;6k*4MbA;|p*1Q=N0l=YETxoniE)gB_oOK%cHC>*8`5A( z$}xSF`w5H(?LPpmKaewqA@)8Qx)_Le{s=Cd*PPhq1`#4!%4|JULp%N3wKPbkSozWc{zX9V5^Y zBl_RHb7zN*jbZ-z%Y8AZsPNI0w~9QF05!iN47WaY3%5G%`9};#?pdzw(ZlsFUZ%G1 z#p9Fmoxw|yS3@xZd-(xx@)A+Z_BsCxfXR&;mZ0-5?S1YD2|0~~A!qe)GN0S%UBOu4 z={D8D21A}As3mttL)fxq-aWrD*4MOX3~;x16%8%BzpGKXj$oF*tGHp1MCWC)y<#eN zfik3@$V#8qwJ_FR{(4-jkH`ykI%`$({6n4pG>zNBlH;YPFWfPBJv;-#ZHz$mrSt_@ zhNNae8_{JMq3K)=d#N5CgGAz!8awQwBOY50!=eSg`!i0~$`-VQ`98fRtoUFTROWU2 zt*}H=QHaMR^bPk@U1`DZi-H8o!p*-uP}Z72Y-L`@T0%Gsti= zQ(3tRYG5gJU2)n%{Z2R7@|ydIykZX?Fe06F2=(NlO#b`D+plJ>0-91N|Ut5e5M8UWxy94L?pSwc@{5n`xAJnyf zhWyJIxaEcPJg)!tBml5Fw|ZLRoIf*GbNCzEnYnj*z8y|bf(*lLVN%*HpRK#t`jJoG zw5K5x6rN!XJx`X&KM)k3#P+}0^L+)z9oS*qDOcKaU$u58X)f>yl^yehy%Jr8pvHAL zT9d6?x58|zFTpWGjvVoUyW5|RuLNg!p#OC0fn}P3y|)Syc2>s?J4y(DteH-G`F*K% zZlz=_g}Wp1-QBN-qm)h2@pHffdx&%@%^m6yf`hk%MW+FY{ofh z5*TziK$q=rD3l~YlOGCe;(zNH4AJjTsrKX^5`>}7`&kNWd-9GheZDT%ybx?X<91J5 zZp-V=$rwnZaX)rn;`rXgB>Ksd$z9){%)<%vwx4%~T&#hNJkkL+bv9Qceh`-ew`ZiO z4hoFP`SHmTgKFLzz#K)4=VSrt;Iiy92W9HGxVT{hlwXD%25u&@K!!d82k98ILG3w< zm&Xc~H;6YBzv$kA_y}3vioErLD$q?GoQP^JTmwaCX`EUmgCQ&NXO1k7=>;iwgy=bO zWYcHCk=;rB{Z9x-!nSDZblR$G65PIlGN>?>&REs&c(dAi;>slT@uL?zk-F=1C07k4 z4;XLG9$~ZXgTQ?5qGD4z;;NYYmeJB<@$x%cndAz=sJlE^w{hd=?CgtA%U<$~F!k-z z7%VN3X)Xr2=ItB#A^Nm_RVYA&UG(#F*uOtmXp0Din(Jxq7ud>NHFsPS2L(${O$YeF zO=J8cA#`gwWE?eXJO0uF&xcyVdR*19i7lxlP1Q3miwPsl$EZdKV-=X|_yUk?2`db2 zr*YNcXYPb3`c*W!U2AdDkfEL50ayZnflds&=*sT!PqFq^`v?&3Dl4uuqL^KAw>UH;fP?nJ+t%q1--^4M#Rh!1;b!L5`aI*16Ybmr zxDhs^jL2H(sTM`fPmQ1z9ly0m)&@l=6nH{6VNeq-0kd?k{fyM_qmR-Lbf*ea;`1K; z00pWE@&Pf(zH6(I!FarKMg92ZD|OU=&PSpjOwie3$oFd+6E(Gk0H?n-(KYEF>#XoN z<>*(SVi9XBEPAov9Hfno<1jRjh z(sW8{YM9wGXB_KR{E}V4h={LWx@1WzP}X5QR1>wirWTDcka!P3jauH}Rv9Do+lbn5 zXo7A~8v9W;whLU72>Kkh;bGG8srS&F)&%%`Of>=b>bPmgz-th!vZ7xlv0p*`1GX!2!J%;@nxGsW7iNtRKN` zExh4qw&?i@W^@Hj`Gg&YS2d6;6R1;_`TQ#Oah;pnc>D~Uhkgo2dUBVh{&yvsEPd;B zLR71AAHgGvk|2qXX1W8=Cb{KGSv?96tC{?9m;KxY0V*J_3|M@|*+2xzXOCrxqgUPmVU!Bw4oC0}?^;bd4Ie>RozsW<^3+6M9_=+e!oH>!ai z*J9p`ZR4rgGL24Ut-};=R`j9S9&h0)(Eye`--N`qk#B^fqVGpVtr0Ah|4ezMa$k@E zsE|JuX6;$u5)l+7XxH3m9qyIVus|X`)k9KUL!%HlU=Fi<1DP*9mdE_Mc;w-u7?g~= zY2%KP`^c?v3X1hlRSgZ35wxO6@Zxb+=}gqCAHWEFTbdVkaA_KUtK@ah1w<`);`n;u6+(}fLDREfsLniI-+sTRi^Legg zA(K+a1rulMFkfOa<0#`vch}1~nq_y8>Lk;8|5&qee8wr{-tHqn;Sa#7Q z>ZiSJYoVtMzx=_ggMa`^mbL#32_Qh-Sqqtz8fvNN(3rM1QTz=B%(L+NzQ4=R?TA*A z#the=NOldDW4Uh<VkFNvP^?_uc-Rzftu6u zTJ-^k+=lTRqtf)1_WDs`&(8=448NVUGPa)eVW_4dKiV=m0W|m@R|{Pp-M7vVm)YNY z6ZV8y3#w9saxIpkGE5`^U26J@MryM|<=I60^n;aY*;HBU;UO>!F ze_u&y1jBWOZPN`ev;Mzqtn-KS8?WqE(Es(o+m$aQd6@S-mKbLx6Z%?V+9~1Q5xDTjr4C_l2yX~dri&Y8N zF1W8Jo&y)T2FmsBdO3K+$4~ZNMKqV{3qJn#&sn#ky+$e>+VcuXPqWY2YlpaXDiC*~ zu2pz?di0mK>v%Qj?2?x%`H-3EqtYrhpoPbz^Qx|X``8?8?NW4D4wtavkL*9$B1Jb$ z{Y*x@mUbXCP3DgLC=3GEXq}ryV5TIeig(TNL+gSO89~)+jDOO z$7_~KhK<$SrlB%HSrF4<$O8#4SQz)EbKaxxZ?pZInRk18rBQ_i`H~xqhr7|t`&vp# z4tE-S(XQ^mi0NzodXuw$?aq+&s4LH>ZRj`hzJz+neueAHXG~Ckb2}w)*0{VYH{{GE zrlhGqSXDnWx#@mRuZ7}$9t`)3=3Osd?(nmw0Pe2h=fr@A%nWnCxaMnz-ZtxH_}a6s zA8KMqm)Z^yyL?+XQsbZCoDDR-fj11U^KEWKbpF9jwIN{K0l`V>e^832B(8gHfx&GY zle3qcm_i1|-BAFG)ciOV-^Ugw1r?j;_v#zx%|Clsapl;=E8ty1U~XMZtA>%Cl!ar1 zd5XGwWL!(w)jz+kAD)=>hOt-dNPdb{zTmNP7LebjJUD-qTDn(kNn zH8za4O%uc+jCjN-d=T_^pGdVx2(K-7bG~e?7fF_ayp^|GfG#+ zh|+fdY8x$Gntpnppil;E5}hy2!M-c|pFw|fD>(0yxHEGpqz@Ey6@~`Hf~)qe zx*8GZ2$psB)~Wi|9G zucS2IfPvkDpnm*6rhVE*pdTD~2;n$Ei)A+7@r-V{e{D)L7)WRZId+!7()B7fF~!ID zrfmP!gMk9At2IOK(hHSgPQyrZEl6?@#tXV}qZmC4hW>`ugBO;|E?8aFdS%>XdZ@pg zT*Mf*H1A7=zTBzHMG@?B$mIgNluCXhC6xq72G2c`?w;o5Y_01TX5*tPm%;vQ7yh*W z!oTI5^y=c4&VgKX3!dh*X$0`|deUmjXK3tNf5dlAYO#d7^I-oy^ zg#7f4^K1^~xn|+0kW}N_pLeinlZWvu_7L=&wkQZr5Q(~U7GQ8LohY2 zp;55ux31#1I@Vf%k%*JhFi?v)5_c%9u!f0-0g7&872n_53{Z^ScF@7WPpN`5<$^Ah zP?}n#<27)UGlKeI0iV$3R{S=^mLfnL(pCk20}^+lg^C%A18&}8?W<(JgU@XR3YdX5 z=&XVQee2JU&TlGP)5IWoH^>b}b_d34tSB^SWboo=^lM`kv2n(dW3Hu_@hJ5h<9X(c zaEn{32kSRLBd?8cOCwuJMst48vT%VueUUu6$c(Ev6Kkk73ok_a-BrJt;(Idnq3u|T zTS50+4@K;NdU2^X79dU~+e9%6!suI$?Jivv0l~(m`{OIzeleD;yOC1)`fNyb_%8nx zAC)ybpKZh@frh3NOUHbS>`OchA!k9$7NlJ(SHO+Z8QQgH9OA!{7DFW_=;~N3N*#8xDHskrrm1l-litZ~zaJ|L$EafbD562({~aw!8j4m)Z{BB7K2GF_8=AYzB+7-0A-)36Eogvdj&=}xE2#Yaa-LS}hfjgl#2xg5`TzmNi$)PcrNMd)e_L_RPVvD*K-Qy1YODf}^MX zXyLobp~sg_T~W%uV16Yb_j4fAZ{iZl0Zo5o#|J4>hW@2yWFS9+ZW5Vwr?0s!+Ot5& z`VQK|D1iC^!p*N8Y&CAleWkz7oM6)*20j>_f~D&U-oM40h5`_OH*V+ADLl` z8MXi2Ul)hpQy5+hU*N`h&jkID=rfXR2))xB-jjtoh^Kf#g6p9= zUqIHsFs`p1KuB;Gm8|Od8jkN#f3LqM>$G#M%x!K~ z#7~&ERk!^*XB|WzR<_0|()x}v_0e*T-v=Q&h1oNV~fJX%jO1&}(yUcUtT= zSMT&#CeJ*{_>SJw`mdo+?Ne`9e+bV8(rLRmQQFgQNVt|92MqP-f4uSuHyxrK1I79Q28Y*o60S;s5 zc?MO1wpNd|QuKtgBSie6o(?o-KwqnG-F!x;Bxz$3bLjE5^$=G79=!Qv+)ZpHs-+5cXSn=~^Vhs9EC%SR zm>zu{q(%?88+X@otjTPjl%~l##~|Q)VgI9<8cBrXT1Q-oypfvy_0;qv zzqyEf*iwiZSdn4^V%Gl3cQEv!zsz?gCs`jotb8q!T9zQN2SY(XcuvNLc{T$k35rhf zt44T!uqDVuIz|^)WV$Y7t{`k>=!K|!9}>$XGFmv34DHpsQu7E4WkR#pQPdwFAxtxa zr#Wf`GW$jFO%LqfKa|x30#xfU?f4t8JQw{v&Lz<++|v7?k`{LFUK zN)dAU42_86C&{4mBeJrqs9Q@4C~G)ZXyU|xmHTzkvPny*k4&}oJB`rHerBZhPjnlw z_WF@t4HA6pA9*o+-XxtMXw^)%{L^p2RBt3CxS?oRCOMqXH?Q@8eoe+zZH<3oUV2@d zCES5Zbl1;++t1`iediu@apicsXXssR8snunMAvlp`Xipt28@^%Y%6O8rM`VsGZw7A zVW|Vf}%Q@gcg|GxJ;6_lu~FRm`?CpU_wu5L+|?9+CapKkf@mI6j3`; zA?<3&J5aB1^qFMD=D1mo@hHiGJE?du*OEPPf(`FiG|LsVsp3)eqjR2Zd9uPTeS$xSnWZEj0;Y`rX#pN67^{qrx)~#eBp+bwLv@1XJHKhK0?T4DyRJ z;+5g77YL|ZAjxt&tG5%;0YnsIdm+H?wJPEf=Oh=-h}B8_h$qL#8cv>=Q8Kd>jrrF= zP%I9Q!lIeV9T6HyeamZVx@+V7{%ZeGmdhybCPYQ0iycw^&c52_D{%%dU1vyUPT z10=AtT{IhNZ^^PQg#66wZ7883Wu|1>2vr`*vz|V~V=c{(@-1bfCU z+iptv*G%y{oy&P82!hASsAlV& zO4arEODuM=F{mf zkrDGKKbM9_jf`ypd_ir<4oteu=ryl9JGrS4Rn|eLragGz9{o72n=QUeW1LDeQl1U8A6Q=GUaIH* zRnyIc@;;#$13Dj0d7&41+Zq~XAeU+5L)@w92j@P!prF8iR5+A(N}m)VZMeWt`i|I2 zDgFTWm=-72>A7uvq1d*3D6qMJ{wYklsmIu}l)3-JeqWkLSr;ZeYw-#-%K*e_?biBcw`xe6+g{CC0?UutRSDiGufJwj30elMZ6M~N$~97Qnq%t zQfCWtH`@4M%5zFbs$WHs*hhH`Pifme=XuqlMS&_x+55fh8X1+r=ME4J2Rz{v;pLZ7 zk{hlCoO32c2xuDH?B4B5DqS?ATmSnj3u0*6;>9AD{8m}%KXdmbVcBD{$diSmW%Aao zg@Rh!s*8M?D4n@unovLLD0m!cWSo0Z)i2b`w{Ob-;bp-z0tP88&fFEb^&2_C(2tnxQuCU@@KfB%%I!;@mr>Ta)eX(1U< z`SD%1kDLPb4J}dmM&}s2Zy!wlNTOfY5KZwWpJ*|!c z8o+oN`30@6>qh95AUQs5eAk@}2388!iO8+&41~p_C8GCgpUrt)v#F>9?I9DK9V1ve z$3r@w-e4dYLQvU77d-xzh^#j89Me%?52JP$SNY}d24Q#KDicHaA+?Z&IwO2qz zM#TVI7?>gg<57kS?68rZuJS*e=)j<$t>}U4;a;GufNuDoyq87U>x;no!@6Jd9dO>< z+)3S+(f|L_>|sh0A%+B=RX3xEoYu|yE_SoNuv26yi&~$>_TKo!{Vx%NaJdr^Q5dzo zebkP1%~0#R+}zy!e0AX)iWr~1@C^e+Tw(oRLgO(Dp?P zMG0#55P%TArk2RUk`&s$s3-qF+#YUx-J(Ta!pZ#YRiOvop61bx|7Tv+A2|e+VoS*s z(6mb0=oZaUe`{IXd)7C_3t-kZl)8i~SiZl6`(F<}d%L@|)K6{yh(mAxsC`MmyZ_q< z{*ZPBTVA-+;@QRJhYIdN*{;Yi;*k*hc@yAK=WX zmr#`wZnM%nrNqGXKNh-Eg#8UmO0wD^yb?dJ51DC+e#{%~4_3w6Og?dU)L-0NIFI<> zWegqpl;+Ou_{_jfXi$iI=t6f3R8L7bG{AdggeCyym6vdbq0#CwpMs0fTK^B1dqs&= X+&|&5a*wV9x!970D;I>%v+(#Yb!xkg literal 0 HcmV?d00001 diff --git a/a4/preamble.tex b/a4/preamble.tex index 5a64503..9230216 100644 --- a/a4/preamble.tex +++ b/a4/preamble.tex @@ -2,6 +2,7 @@ \usepackage{a4wide} \usepackage[dvipdfm]{hyperref} +\usepackage{graphicx} \author{% Charlie Gerhardus\and diff --git a/a4/question1.tex b/a4/question1.tex index c2dc0bd..657d022 100644 --- a/a4/question1.tex +++ b/a4/question1.tex @@ -1,10 +1,30 @@ -The Candymachine was learned using LearnLib, with the following results. +The Candymachine was learned using LearnLib. Figure~\ref{fig:candy} shows the +learned model. In this Figure S0 is the initial state. + +\begin{figure} + \includegraphics[width=1.7\textwidth,natwidth=2389,natheight=891]{1candyFig.png} + \caption{Learned model of the candy machine} + \label{fig:candy} +\end{figure} \begin{description} - \item[Can you always insert every coin?] - \item[How much do you need to pay for a single mars?] - \item[How much do you need to pay for a single Snickers?] - \item[How much do you need to pay for a single Bounty?] + \item[Can you always insert every coin?] Yes, all states have outgoing + transitions for \texttt{COIN5} and \texttt{COIN10}. + \item[How much do you need to pay for a single mars?] 15 coins (S0 to S1 + with \texttt{COIN10}, S1 to S4 with \texttt{COIN5}, S4 to S0 for a + Mars). + \item[How much do you need to pay for a single Snickers?] 15 coins (S0 to S1 + with \texttt{COIN10}, S1 to S3 with \texttt{COIN10}, S3 to S5 for a + Snickers, S5 to S1 with \texttt{COIN5}, S5 to S1 for a refund which + would then equal 10 coins, since S0 to S1 equals 10 coins.). + \item[How much do you need to pay for a single Bounty?] 20 coins (S0 to S1 + with \texttt{COIN10}, S1 to S3 with \texttt{COIN10}, S3 to S0 for a + Bounty). \item[Which is the minimum amount of money that you need for TWO Snickers - AND a Bounty?] + AND a Bounty?] 50 coins (S0 to S1 + with \texttt{COIN10}, S1 to S3 with \texttt{COIN10}, S3 to S5 for a + Snickers, S5 to S1 with \texttt{COIN5}, S1 to S3 with + \texttt{COIN10}, S3 to S5 for a Snickers, S5 to S1 with + \texttt{COIN5}, S1 to S3 with \texttt{COIN10}, S3 to S0 for a + Bounty) \end{description} \ No newline at end of file diff --git a/a4/results/1candyFig.svg b/a4/results/1candyFig.svg new file mode 100644 index 0000000..b9374e6 --- /dev/null +++ b/a4/results/1candyFig.svg @@ -0,0 +1,119 @@ + + + + + + + + + + + + + + + + + + + + s3 + + + + + + + s2 + + + + + + + s1 + + + + + + + s0 + + + + + + + s5 + + + + + + + s4 + + + + (ICOIN10 | ICOIN5)/ Oquiescence + + + (IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY | ICOIN10)/ Oquiescence + + + IBUTTONMARS / OMARS + + + (IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY) / Oquiescence + + + ICOIN5 / OOK + + ICOIN10 / OOK + + + (IREFUND | IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY) / Oquiescence + + + IREFUND / OMONEY + + + IREFUND / OMONEY + + + IREFUND / OMONEY + + + IBUTTONBOUNTY / OBOUNTY + + + ICOIN10 / OOK + + + ICOIN5 / OOK + + + IBUTTONSNICKERS / OSNICKERS + + + (IREFUND | IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY | ICOIN10)/ Oquiescence + + + ICOIN5 / OOK + + ICOIN5 / OOK + + + (IBUTTONSNICKERS | IBUTTONBOUNTY | ICOIN10) / Oquiescence + + IREFUND / OMONEY + + + IBUTTONMARS / OMARS + + + ICOIN5 / OOK + + + diff --git a/a4/results/question1.dot b/a4/results/question1.dot new file mode 100644 index 0000000..b997839 --- /dev/null +++ b/a4/results/question1.dot @@ -0,0 +1,33 @@ +digraph g { +__start0 [label="" shape="none"]; + + s0 [shape="circle" label="0"]; + s1 [shape="circle" label="1"]; + s2 [shape="circle" label="2"]; + s3 [shape="circle" label="3"]; + s4 [shape="circle" label="4"]; + s5 [shape="circle" label="5"]; + s0 -> s0 [label="(IREFUND | IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY) / Oquiescence"]; + s0 -> s1 [label="ICOIN10 / OOK"]; + s0 -> s2 [label="ICOIN5 / OOK"]; + s1 -> s0 [label="IREFUND / OMONEY"]; + s1 -> s1 [label="(IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY) / Oquiescence"]; + s1 -> s3 [label="ICOIN10 / OOK"]; + s1 -> s4 [label="ICOIN5 / OOK"]; + s2 -> s0 [label="IREFUND / OMONEY"]; + s2 -> s2 [label="(IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY | ICOIN10)/ Oquiescence"]; + s2 -> s1 [label="ICOIN5 / OOK"]; + s3 -> s0 [label="IREFUND / OMONEY"]; + s3 -> s2 [label="IBUTTONMARS / OMARS"]; + s3 -> s5 [label="IBUTTONSNICKERS / OSNICKERS"]; + s3 -> s0 [label="IBUTTONBOUNTY / OBOUNTY"]; + s3 -> s3 [label="(ICOIN10 | ICOIN5) / Oquiescence"]; + s4 -> s0 [label="IREFUND / OMONEY"]; + s4 -> s0 [label="IBUTTONMARS / OMARS"]; + s4 -> s4 [label="(IBUTTONSNICKERS | IBUTTONBOUNTY | ICOIN10) / Oquiescence"]; + s4 -> s3 [label="ICOIN5 / OOK"]; + s5 -> s5 [label="(IREFUND | IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY | ICOIN10)/ Oquiescence"]; + s5 -> s1 [label="ICOIN5 / OOK"]; + +__start0 -> s0; +} diff --git a/a4/results/question1.graphml b/a4/results/question1.graphml new file mode 100644 index 0000000..9f3023e --- /dev/null +++ b/a4/results/question1.graphml @@ -0,0 +1,392 @@ + + + + + + + + + + + + + + + + + + + + + s3 + + + + + + + + + + + s2 + + + + + + + + + + + s1 + + + + + + + + + + + s0 + + + + + + + + + + + s5 + + + + + + + + + + + s4 + + + + + + + + + + + + + + + (IREFUND | IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY) / Oquiescence + + + + + + + + + + + + + + + ICOIN10 / OOK + + + + + + + + + + + + + + + + + + ICOIN5 / OOK + + + + + + + + + + + + + + IREFUND / OMONEY + + + + + + + + + + + + + + + + + (IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY) / Oquiescence + + + + + + + + + + + + ICOIN10 / OOK + + + + + + + + + + + + + + ICOIN5 / OOK + + + + + + + + + + + + + + IREFUND / OMONEY + + + + + + + + + + + + + + + + (IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY | ICOIN10)/ Oquiescence + + + + + + + + + + + + ICOIN5 / OOK + + + + + + + + + + + + + + + IREFUND / OMONEY + + + + + + + + + + + + + + IBUTTONMARS / OMARS + + + + + + + + + + + + + + IBUTTONSNICKERS / OSNICKERS + + + + + + + + + + + + + + IBUTTONBOUNTY / OBOUNTY + + + + + + + + + + + + + + + + (ICOIN10 | ICOIN5)/ Oquiescence + + + + + + + + + + + + + + IREFUND / OMONEY + + + + + + + + + + + + + + IBUTTONMARS / OMARS + + + + + + + + + + + + + + + + (IBUTTONSNICKERS | IBUTTONBOUNTY | ICOIN10) / Oquiescence + + + + + + + + + + + + + + ICOIN5 / OOK + + + + + + + + + + + + + + + + (IREFUND | IBUTTONMARS | IBUTTONSNICKERS | IBUTTONBOUNTY | ICOIN10)/ Oquiescence + + + + + + + + + + + + ICOIN5 / OOK + + + + + + + + + + diff --git a/a4/tt4.tex b/a4/tt4.tex index 0909afe..7461b89 100644 --- a/a4/tt4.tex +++ b/a4/tt4.tex @@ -8,7 +8,7 @@ \input{question1.tex} \section{Question 2} -\input{question2tex} +\input{question2.tex} \section{Question 3} \input{question3.tex} -- 2.20.1