SQLite format 3@ +.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  3 d<| ]S]Probabilistic_While:threads=2elapsed=46.299cpu=81.116gc=2.844factor=1.757zXZִF! 0`j]ŗXf1-/6vRZr~yյG!ޥo(?{~$ !Ad}[Ռ+ϻSWYAg/oOHl?<^{ETvחǮKۺ$r_gIþ1(n~18\,HQU>9u]$+y#2'u ]5-BuC3χ ?Ώ0?fM+vbq9p)g1n$~fd8f6EE}y&WI,Ę/R:eO*~Iv~B\躊w?yqx5Nh2XuXad6!㊞zbgt;5t=BF~^2 !کȍOpZp^kt搮tSTuyAm((DxZ$s @%IUVK~bƩ~\[0HAgKWV<Ul(8gFHFo6Etܿ3Qr!fVuI37ܬ0\_yT`evpF+8۾ `fꚿX{w0N>ĺҽ;ɇN}TzQ&$$ fkmJP%#_B?2>fYܺ#LVN{|*b^.:&GUv]gp&RW^<6k}jn} 'xJavJh[bˆ8^y=YJ;{yg@VSvcH#Q]8@Uó횡[MiF&8'Q"[y*\Z/<.zMuev:_ÂC#e smw<$%ìlZbCB{e 4Cj &~V_\dcI4{3u?)rUg3P%ŮSrZQI!L/ɱ!|rYZEF$yҚVTrA~`%YRs%_81ss1j8J.FIK[U:qBx9;wA7b 䲫׀ow[Daa_D`Vjqo$=G޳:\KH(.n^D*)b%q;7;iZj?i}*Iф/\$ 4?p~n5[wh\NQ׿i WMjz/bm0+;DD8`"w`L 1rF fk=Lp'l~IO+pUg ch`UQK)0vՍ@-PT=Dmd]5BR>Zoyc6BF]Xdz PBPYhsGQN `> %T7zLQ_kg "olqWg#\@(E7K;@1]f59mp?& u<ܒw>X,l}T3G-5f7,s) ~0L39ّI!b$ݷ)C9Ѫzݲ¢} wxuMg>] }7mIXyKәKq33% LProbabilistic_WhileFlow_Networks.Graphdocument.tex7zXZִF! 5=A]A-MՋhvG"uIBm59! d8 mO.,Ve4&Cm"ȪJQs4ZaBS3vj Iq_x2|Ďl~ybFA*|:ip_DЊv)^ؒ¦2PD+a$+q!#f/ƕLd.)9J pW@M)G 6P4*u]\o 3@5ű:ڭظal 8ws\wMa>-l,SYt'W-y]b7iyTb`ꯎ#T,` â dT޷&-]s$]r{M1FZ Lmwb۟t${v3O5)znl Յp7T$XAG8V_)ɐ"&& >3S% tProbabilistic_WhileMFMC_Countable.Matrix_For_Marginalsdocument.tex7zXZִF! 1C]A-MՋhvG"uIBm54L&H *Ijo9H(*;: d5]y\hE1>P;-2,]!ZpdH8<qh$d0XRnYt5Lz_XwU[\'P .G^+oWl M&Vx dE;]1WoL}V[XS+,r5EIwF'(0ϑ(ĜV>+=ƌd#X,8'MS֮'´U䪄#?ޅ|ʘ)d6^ D"_\?ED̹zr_KEE@/Kxkr;%$!G[72mxwm;Ҳ\.?ʹh Iw|m%(.vO]l 4Z,6_dKIArtr[OO.94$qFc3*O:`MlfVB5>qN^ՄfuƤ\uٕWVɎc\Oj"4\M_&KZR $fXeG1 :$!USp ˓v[c3^]l%A|UR&2BqdD+ pYE<0$d֐ R17I6>vprp3_~Mw07\7bG-(H u4;rA>\ϥ1`0RCK ^?UcFTp@ hf#VO~)K%>|?1u'orK veY8@DJ`_:@2M che ޔpv9+Ph 88/L O^-"b A?B͒x(3T)('&%$ !     S   W  8 o +;D3K%Probabilistic_WhileHOL-Types_To_Sets.Types_To_Setsdocument.tex?3A%Probabilistic_WhileMFMC_Countable.MFMC_Finitedocument.texC3I%Probabilistic_WhileProbabilistic_While.Resamplingdocument.texB3G%Probabilistic_WhileProbabilistic_While.Bernoullidocument.texB3G%Probabilistic_WhileFlow_Networks.Augmenting_Pathdocument.texB3G%Probabilistic_WhileProbabilistic_While.Geometricdocument.texL3[%Probabilistic_WhileMFMC_Countable.Rel_PMF_Characterisationdocument.texA3E%Probabilistic_WhileFlow_Networks.Residual_Graphdocument.tex I3U%Probabilistic_WhileHOL-Library.Transitive_Closure_Tabledocument.tex A3E%Probabilistic_WhileFlow_Networks.Ford_Fulkersondocument.tex B3G%Probabilistic_WhileFlow_Networks.Augmenting_Flowdocument.tex =3=%Probabilistic_WhileMFMC_Countable.MFMC_Miscdocument.tex :37%Probabilistic_WhileFlow_Networks.Networkdocument.texG3Q%Probabilistic_WhileHOL-Library.Bourbaki_Witt_Fixpointdocument.texA3E%Probabilistic_WhileHOL-Library.While_Combinatordocument.texY3u%Probabilistic_WhileEdmondsKarp_Maxflow.EdmondsKarp_Termination_Abstractdocument.texG3Q%Probabilistic_WhileProbabilistic_While.Fast_Dice_Rolldocument.texC3I%Probabilistic_WhileProbabilistic_While.While_SPMFdocument.tex833%Probabilistic_WhileFlow_Networks.Graphdocument.texG3S% Probabilistic_WhileMFMC_Countable.Matrix_For_Marginalsdocument.tex%E>\vAN,b#uRC}\c"0͐CX [&d(s4{ZGIo1QhG3WX* pnxOxK꼔/U:[ =dP>@ܕA4Ǽ@m8}ezl5ۏ>3p$o砰Ъ^1.aIOB0a3LzG}iAq LpI;: *uY@ )R5o"\[?f"eĿg|5\gSk/ ̀^ LŶFfH02e#՟ŏ/0 hAc⃚#THsD "#>U,9Wb,X)Ơ$CO 8udFźVNɻ=N ͝=-rosT.)YVc0I)efk%Q/2tQp!Q} ?IAN|=8ʠIvx(%߾#3LD4h).ݤ?3~_f5O{_@ID< ԮpD亶[HsVgB,{Jy Jv+2lGFONͨ)8]U>G$8EGߋ1,Φk!h Ꭵ SMfGRwcۖ "G=bj,b]2pOeA'cd!F˘*D:vCvrO7_w,TI8dV1,)I(PTh׭y?3^ X~1Mڅ&iN*]TA='\,BFՠ`b+ U{d@#Is%.5PӐK{(4;:0PWbQzt;L>a5pPxIopN@m[˛*ծXޏ]>2<+Na}HbІ~.ɓ5uNtBoy1@Mg DπT,M@j+Nl#9ۃyۥ1R]8x[  U5K2(!e?s*wNu'rFұ!iaZn/7W*jGPdM3h2SE|&6kӓwR䷹2-ͯxθʀB,[}ǫTUg} E6:q~3^N-ro HA^g/SUka[ &y(T| !,E\6y00̵wp U+@WwIWo"r وdey"tP4xL~ c2$!3\q>獒zGj!._lB",2g9Bb|jب$$7Ke+irΩ=i-8BmooDfo/z'+d 0o7'.]Rk+ gIx ')9M@[f*נGgRNe.>e :>[f^YdS)DoSVKt4dq _ZhL׷*#ymv7`x8ORYܒ][ITA,6[]Ӫ%s|'>XLUv9tcM 摣׭˻n2hֵ^]T IXx/C1ut̕#5[ s뽭3Ace3F:wu,U . _J؃@Ѐ|z,W8QS нI,4-Jh,IfƜ# nqjpl1~&;}^?C'v7h\q%C~S iݥ'Jj=VʀJ d_B i| &;ʹ J_ho)kdp~TވQR; ij=7ْ0&^u#_dTR#|0.U/Les1 =%=:8!0ZR4xIG!Zӈ1;TbOXQu-Y &2ZI!ef5H~l%ܽZȞAB+`8bp,T$ ad~;đMלba;KyfrnvU$?D3FtT$feutk̕22Kw{vi%YavHL]P r =nm3x Q @agyNc0Lz EgDBy*Jjx%,aW`yYQ+V8)%x>^=<7)p6DDV++``&#ZX݉W( 孾=} 'Ys|8µ00?5|Zh*8k][{Ib/v~)gՉ͇M>PxF_eSh%SŇm^VA|R~X62Vj/8h,IU|˄2z+$yH|(jlg 7^seQm\+PAC7  ^K @39E`:4%B郚,ړބ1HX^ɦXQQgCDR5dVxxk?c ̿#WFCCuKM t6ȀôJzY [ K5''!YKm~)y45wΰA<W Pxs`*{+[Ib gN PAS79ڑLmx"ML4)8wo%M5FÓje49[E)]I-~5^o nhRDϱk!ʽ7wgd][pqPB nUig[nR*Fy zֶy\#F#ł8e+6F|^ c6aP7ې.x!k>LAzJgMZGL+cҔdڻTN砇o(oHkyk+'R_H[!݂)"Pd<(~|bzp:x!=nkI,1٣.pee{F&c7.hv'$Dq)\C*pW>}mޯNΕՌ䱑IQy,D+V6 g7T^q~'NWIVGnﲾYd-?aMŝ@?Y"]z9wOKt&.xZD{uaO[RltϬi=W80J$(U"OT=_4ob=%O ˜u7UA `ˆ[aqEښwM.79H\o rߟt/0U`̆1 IpRWRdQ>ä?5݊>߇4Co?5oo㈣!XSD+8WfC՞[ T'I;>FT+V0ҀO؊bLl'OYԞ~QLc8+xݠ>{P ~S}Yjz .[mH={F3ȴs^H,Ir sP#Sh:/LyD-sM%+~J3mtV#մ˕~z 'ؽFN {PSQő^En<7xA͑`p$x1C$=ǯxՍl8ҝu!U@kc*{FPQ/uǿ z#@M^ ?yuyB{AװG4zorLuv}sw˫$ ƅƒ2V>_[q+٪+a B<:S٢9yi^QOWx rXqxalj:ط@L%!Nc- %F"w}H<2b|Vrw\%k[1YZX<5G})G*oDpbזbb`DcէF}j3TX Tq1,%^&h[9xrc⑏[h! Ň2hPmDe%\]R8b;!s" ]jtg]'=StM+=>(JwA#r,>3:jiQh2029"*R|zsWx0M[LSEqkmqy=Q A],,+:3.ĠarlJq;1[\m!%fdY{gEUJz H7k.Y9X1tǙZʹ8s=^0,DYԺ21%_mOu. Ty2slbcfr A5J9 ֋ƳecMzz^Sڤh1V5n(Io#2st<)80V1 dVNJ6pnE]ztoެt\fL>v!Bz<cl1Vx:2!G1G3ۯ]B!MpG R}*5 xgzk];ٵ>1J-}XGIǀss`5%}w||/Q ڰ,gh rl٤GNb;b_ڨ7\kMxD*6 }6,S7msœ 뭯ý Hi0Zכg.&qԏ|9nP@8қk4 II&jahna|Cۤ~*|A:xY6!h{BT^wkއʻuiYVd L̢ U*Pg}<`ŵa0 >z#"fz8+e.UI9 ]lhuN~w &nH鮳HG6T$4CpB^0]"y^cI/Ms -k(ʶ&^RiLdZ=:c9$O^:1?dxO4{͵RnbLҥxwgD\HB++V͏Wo،H J.pv^}I}r>2Ӷ/ BN|qt'YdA =RA'n?!ph36Xj`{W$cR3[,T4eT?Bh1mXu*'"^釆?@z.DSNoVQn0R5lt`tZR v%':VqRQeUy 1IG>Q%.[*|*2yH0e^%_6?( җ>+M+_3\ [9QQ[gmvy%4 ?vVi5Sށ 6Jvw^^]L?1H:K ~m QsRȦkkGgV}]*SF3XW:lH/:@noLlU{G+ Ux)'Dwn$|OF#rcYd|F[flYņk5m2'IaKZyytQźOsD"rDDHϗ.wO-hyzX3dDUkRPұDӡ.#<؏/J%m¶/!-!!G(U!2K@,it[ ;ƙ  iTw-'xQV4cKG <2z8U$ԡ Yў|6Mq_( b(r;AU9Q`ɅHb_V{̟ҴA7<0-S 3ϊ=$OC5EcKjӵ nCzT` 45ɳ_ Xq켬oOD{2?MaQpzw4d<w:>#Qp=+ z+ nwßeR~1 %iŜ+xQ: :ؕ(X1hBZT/( }2mot\kSEi>͗W8mȃRAvrR8gy"'sh%nߟUv=.#7".f$?LHLB7W4of;~`82Ɩ $:ԃcz~C֯lI{Y(c8oTNljLhz+b?pC 0#{pUNu<t>P3+̃,.GRrh j:W=ڊ/8K@ KXVH%RedЭ#mPx*5s3)bvڤSbI{;hWlϊe$M V0"4 C7QkV6(jŝylfTxzT|/Z٫5دfsעHC']\:UwJUe Eg7__:XC)m8ĄK- L>m)hړ#DDWg}Q]Aʘakd_&;dFɀRGmr:oU")O8p߂4|s_b'3c5* \YqSƛj3;$eJ%hV)eO~i' $4^N/`e#iP7}Xf5_]zJ> > L7јtOaѡ eh^%2䜄9,2WDw^1]9JeUV{ڢ,?jfT9}&@@M]ͪT=r膩pJ*U!,k|r NW16ʪBkB>'FAJUb2J2y^`-lI(߄w~%pė/Jf%o1ZK r@S$l۫>}eFg]b$ `D4s 6܃ދTq8SzA/%9 *t='r)An ȴ OSDAAԛi"DRhKa7!% Eʾ>MC>wEJ*E.:ڧ@Q;ikBlаiBvM[m-"4W\ sXUFlߎ7YΜ#r_vo-C@idkElx]6K:'8=K涓#Jn;ޜ ;\T>~4ڪ^R\; [ѪifS(=Z?ȅ.~",[قb\al9{a %OOӑ@BV=5]YBl`JEG2#HТه˕°Wo?B5 \%r:huP_'#`P@` |r!JZ-Hܗq*)JYO:Hǁd?Ĝuci)貯Qo(@)肏*lEXlNgl.D(#Y/,<*R Ab<,Sh̷X-XTPeO0yMLl}<e )mdwȒdFAAĈu lrz$F굘_ṰNFqlxKv-[O(!qx EXNui&qy*{6 2~luXlD?̊dr$+&>hg<+'nR?+ 6;2w[x4Ӧqv; S]F(gv3f6x6ltvko6zҚM&%MO 8ݘi%ŚB,'g^ 47;d1\KR<gݔ YЙ`<ۊ}>P&ߛ]#_pggiz $ܵqcnw=Cė JYHǶ/$n hRE?1򎧐X$% {H" 3bRǞ`-u ({L1Kib_% F|lb+{t\zַ% ۖ5HݖS}#6ȨEvt' ɑ|.<*ꀈĄ}c[dqsX"%oŸcoÔ`挳p!Q >6)h7xy{ qjFDg)r׳?303/^D s"J1 qNȷ\=Њ$5]rI_~s%i;>*%S@uOM>b Zr4!eIRrĊqkp}:lZvPq7?r:";e GvF1Jk;}鍜[j%hiqrA)ZW9TtbBv Tئa#˿(үA?[(n$T\#/l(GC7xj}-L: 9rJyܮ"HI)PB L^]bfgwrC^s!&ж!ُoCNW!o@)*&n3'SEcQ@z ] %}ϒF$TU~tI# UH2;"۽.ws,шdv-BX)jޠ݇ܫgd|^@}IWIpjadFj(>,]kHhCU"P;wd saCV+dٓԥvV0(qĎ!<-Ûϯq[0wvr"Ґ\, <> I2%YhPZ+ZU D50zBn@><'x(cJx;^''b -HMClJAL&ŀJ{$"qkx̗.OUƉGG1='d V[ql{]vuJK<(Ɵqi pc˪jKtE&,-2$w RlUbJϛ$N']b1Xz^f9j%gDR ^ e;icbJ?cf.بO-w ](5ˎcDVsXlT"))^5zy7car-UԂ(WG59VwShK!};qq7apr?+zH6Jz'i4 ek\ƣmz VA@cTnFKBܱD_72,\^fB$`/ #08ԁCDy s*3x QyN3KGzzыmP4iCġbn+#CPUB,e;ۼ i棿#/Ɍ!Upxt:>]q0I|POYLW⦹{ ElK\QNE"6mo t$*{QMZ\,n;OjWT`ڢVӪqh A`V˄M(& -%U֒Xd^NXo[/K.M$'G0Eci9|#5=Z t˝KN3֭7T$LBHwUf^)"P|V#QT`c+*}Գ|1~ITiWRJsHOee$YE1߀EF$QtF+)0͐LG̲I ['Rg` e2/mya%b^?.b|穛]Z|Cަ EIZ3}*Ez A(h*׮HM5ZKzibtgbL>gVe3%Q Nrq>%m4u-Eр]m]jYy9fptL8z5,N Bߕ諩'Jqn\<!3uqaVB.4xiڑ|(戔Go_3RB9Tr(رVon&߄iV-)p.[_Vx+$ п+ Ts[/ RG*!P^@0';-O>(ϲO_aTn:=#<\ LR4Ϥ)JEw P##av\Q%=![kKf'Z;%B nTRb5TޖpQJ^ di$5݉N zC/ NLS8vIaNxNA"Zʷe0;wCmc7T* iľذz۱eHF #AJ]{&V ;x%%"2=ē RH*:mPæ<үe|2)-6;mA@<]b/ sdM7Yp=̋:%r=@{a(D=h*Nm'qCn$"!̶R,- @?U%Q+{xEybydvF2Y_lb{Тܸ[[SA%x}]:h.QC'ʊ+I}wLF̌*K5,[ٵ,+H8jv0zucD;e2f;k-JߔAiT, 7}/ᒷgzDuT&T{ guST 4## 6;Uljpfd_Hd| -lhZ&SeB)  x0Cnjű8ApSyE?y:/< "w\8qv@D`_MlfĜ~]+,+6- +ɚuCYSW;.ktgM+q˕l<ȫ>o\ҡv.9Zc&4He.F4o%P)%܌<'J={&I]W{=*{gj,+zh@vov=[i4Zߩ)s)qy`rd9TMI_rru3x ¢k`Q!e(_A= %Oq՞Y|% H/:GҋfV'҂7hABWJ_i/c]z|O꼐nmWylDfq|ij?5wm$/tQB]?jrGGmeYGn<[Zx|v>hU[IaV"K*kEN#ٺg)oA+*9OOR/X*n [OrU1G ק=W=9Y:Vb1^iqf SQ3@"@[+c3W<t ٜ GK'GA9#aT\2YSBH{j O(DiĀuA._b"oǁ}{S9%+qWLh'ZFJVߚ^H(hW wHb5#¡wz</|>@nҝ""!`X{9ڃ+D?mn/\t+]=vAyoޝVpZiSԬld饃{I uf۵H׼fZC/hf/Jg>Md?IլRSY.hlb,U:fX>GfFT%.~{72HO]]Pw鶈6 ;{ ʓ-g, zۖ!F ~Cf4eѴ%Xz),DD@%{Z+aP"smV#JXYN#2TS|sWzç~qSh[l^ˊX dw =Շ)1y$_Bm,j9oʘ󻟡:P!IeZTZDr$ @Js%/j\1}2^+]) y2TuO w7Ryb2 H2tfVZ /*lΔF]/jðh1 vZ\:aZ8+6B۲`Jc݌$ S#0$JM[i2 -IwVzCxJ0 q=첱d,'Ɗ_[p{ B0]&*.|mزG 5HK&zmiIv&bjPo% H)fyT+*lۓ0q?+=#j[w7wp*C_u/cSKs@ Dqvi>g2VH|pςx1RrkCNo4z|ᠾc/XQ>6RaE}@t>|jHXDQA*,2i9{zg( "ㄛx2d,uM+ GCCL31FfcJh0͝,jl-Aѡ#58 wY'jxQ'~<*>g2~WJ!~mԏ|,7kf/,T/N7EYk;ﻘR⺳T7B@<4 lwgͦE'vv5 aoFw0(ų EYҎ#5Ŀ&%+"zUrJ8roب,z 3p?&F{`_vW1^Pɖ rEʕǯ؜xw\/ERQzNک>Ig|lA^B^d`v dZ6:\n+|$ $4On!<)wS HHL;%C\V?xyӦ,7cVzP>IF%J(vApA=AGՂ.OF+|qIdΠH{r `kj{״]]xeM+޿{5uCp;^z%)\qK[1_6+XԖӋ7’; n+ECsMzrS5ް! 6FL+2K@}.DAk3WϧLZtF`_*?q7ǡd\>fgXjeQKԷJzJ`uPnngy(GW`j l9V'D" $'k { [W92D;ϋo}Voȶ ݢfv|?t5 mxz ;v86Ho`ߑrK/:I/"˞艥o??Xi}/ G @ 7hfLg+pcHwݧ>iV&JdZ( Cf)ubGT<=˘7pAEZLbJ\d=$R: Ԓ^NDh|#XK(Pm)bUrAKY]C+? .\ U@f*0];A 3٪}l?Rp%ew*u 㠾+C֫sG2G*Dsf@" /y_hY)e\(}C/=X^i}iHg4薏+{RS#Vv` ys dv)tk`sq߮bP[".yj4"CQ̸˜>wR `ζ`Dž9с>3t(̵͏yqT\6 8$є' 1G 6>S0)x [ (؅3_fYL=tN \}Fq eH32}>TfIU T!-Dwt'u-E52dLBs,fJvϤ91̱rhM-fz|sNׂM[ST`og upӑh]JhDLizXJF'!3 ]C|_N^BR:n:mxz[Nzs/F[7:+2Dw1?0ՈJx2=C*$N *9Ѻ>IubJ QmCǴ*T^McŦlf߽6tWotq ~_8Ucv7UB~ [IMeċ d43TGq_/w w'QJ/mю*;8k{K~Vmgd6q uq6pCz+"N஛tQ/} U˴Vjm+@%עʞ(L~{1o/N.bk(3!mM2LuBx!BažVS`#!$ w/>Ogы͋.ˣ{GcHCby}̤K܃~r'Ps+շ1H1Ha,YR6K@^k?`} ::dXE ilF`Jn [_qQ` "Җ:sbL$M;92-s;_>M+> }av}ѭ툛$gR" ]hll}aF6МtF|sPqeZSvqQS Ò [ W)IL.hYB{o+X'?ȵ+wvS>MWhͮ>%4,: 3LHjoq#MJ˧"{p&׏nj;8fGWY7ğ@"%Cf{K{,G, G7W1 ѕs14?zrZfnYMFMC+m??Q qQO.Z2NS[;9^&&x s(n-_@r/#VvK@ $t*كTu+/$$9BJ2Lr1`VOG kjIkنVtMX)KsM?\{Ktco$@U@OetIB =2j"},%":S|EɃ&Tq}tt[;f6G|d^ļhX@& r=nVa#w)њMzL͕[]p&ѐA?6K̡(u3:T yjh2(;QU@= Y@!Ոq`pRт;@X#x:JOlfәc-7#71&'}I MHgT[Sp0}焸Sыh@G<Ǐ 26ΏؑRs1G6مMs\P}.8Z)cs^ݸ7rqH<."rtgN{a'(]| +ID{BGpN*Xٲ.q!X(rݛRwOMҋ ٓTr풗D@e˻ 4Px"ߝ1YM}bX4!Rac<Ւi_ ձwR(i\(;3# q* g"Frn;jҟ}W-|/p[6j-njX4@U28A/ь|а;/|7iazMC@amEjs:'> +'&e)Z>6CXc }ξM$5agx14@K|W{?\QDz~u)/msT(htJՙzZU?VrL*2⾲:4٪򊥅\ʷ.Uvqc/wb- ^jNůp³q/Gý7ȣ|jR)fg9#M$'gvBv瓸X!J D!}Cxϗ8W.눯a/B;/s11`A,LTO|gpw@r^Zz[ύ2{4W$ڝGUwB#,S'X\uhM֎AQN*2IA$[ψQ+}ݣϿo?$8 hؤM+K.}_YH͐glMSu ' `KG @F h#AzZ,aѳ1iB.%QzL5=@4jV̱-}1|!6kXe"ZV3"pիYj®'AVE5'h4ky̟fX t{QU2.%#(q7L*Q9J4MAUH h݌@ 2L}s#ruœ`8F`d/:HKǽ2MWX]^o/7/OêlRe#-k31"chՐ[(]Ȝ/!͍e2s= U'ܥUKl)GzaB՜ٛs{d H`60mDl;H̲$n]r괼k8[(Ru ;K ]]F$\CkWXgAܘAU$!&聚0yXu#\'basM7QnF_xc!]g"3nTI+Eks % M8,,cd[ɓ{j+ j46F[D ΗZ+>5|k&޸~[V1J cE{$e1ӑy`^u20hz}`P໬)l4|'3+jd_`-2S PhQIPX D3(?ޟ^\.\wZ;\x2Յ/H}A0XYt^Ģ<*ꋌCCzlѧj4LإhEq9woG8ٝ0+6OirSuiH2D"ʉUp`sc= RrҎ d@Оqr z)v6qd X|xp#Lɚ/;8V](H[-DrZbB)m/Y3\CDޤu5/vHzXTM,ZNF*ZP9ѷ#!oXh|Pӗ{0AC1fצd5Urp6c>DR+MmkcE4`WV2}kRjnLvH>|[ac^Zeح/SH׍A(ZORJ!d;9+s]686'|3@Ȱ@o.By_/nM0Xqa[);Jk9 4V1ުBۭz 1jOMռ%-47Y;|uӃJnQRdLrj-JZ>SKJΩLiC>L4?F@51u5~ҾdvLO˓LRn7oz%;yo\i6^J@c|L i[YL13jS3Rbvu?J9\&&fޤ~̝,/ wYf$m697MY^S_v(øZJ#RTp JuD頰GFZSiPOolB)bெ8I'4Og \o8n7g+pT/M# EH1zd0\gaz<%QC!qQ~U۵3NNUCK)Qi< cՂX"2dK +L+)l O|+ Bk(1b)zO ]+ ?vƀ> .Zr2~:9Ҋ5E{LT(P#{E5#;#*q8thu!۴mđ]i,E߬x &30P"0ŗ~(|fTBI!쥁%O{Vb+fq=YN£= [gd? ͸d+}sQJ.'CBTUuֆy++-6c@ t74 UGgbY?8kV^[ }ԅpډ;8ILc>&O2g60OE-2O"d϶NxtH&L. gj<Ξ]ug)2 t[CsA'Iж/H]O`_9V$A#κS/KQr B9ɼZ5^kꅏfS)"t #ܤ $08C`| ퟜ[xR?Zճݩ?q@׳I^a3Dfk A71CN- Nj'!vx R,PS2 * 24la z'te]C0qK lx!e;>a,0}7-wi6s{3@O^85Ƨ:B@#A% }8K vQ@K=kL_WJ7MQ`K X$ [Je ˾>{;+}@C]ìś:?\Bl ksd6V2Eծ {Q]-JCrh38 xțnN@`-8!]f5=-00Z+ўm7dLz`Y}cfT@h{L8"'Xڌ4’x}59ŒS hu"ZDQ5ʱ[^lL` T{®g^p\L.VH]sfܝ6súia{q᎝31>5q5.fH0c# |FmZY]sSݬ$7{ANd .TIs%RO&_LⲀiƗHoiMѧJ.|]2 bh*/"d£՚$'"&䢄;]rd%/N:-:yHZ Hj=;߻h&ys^=|G|4Fv('(, nТ} Uі*&IE\<ոVي}NYyH2oQƗ'$K<x]}1Rprw|Bo(̰vuRTz vHs:?؃f %g0ԇU=7:. ([;<5y-Zq}Ww/| ,혲5 !LiA.nH4X1cP3q zpG?A]v:Xx(`h\}`=RpPZ嶚l%SEvDyA&e~R9 vceK$- ]qm !Mzu—IQoc)A* |"Q);_fDԲ[J8NFc3;,Bբҡ?@ ޜk.)KhPw v06.Ĝ! } b6f1PGNlm۩VxpEq?2I/'/j- {W[3El>W`>Z`KaycI"x&[tem{VtX'2 Q*݊ ؅>CQUL7O]$5SO ؄%Mp Lin`+ (_)ޞsܯ-40tjT[gC֍Pb^UdE*s[/pN5 =>@НƧJ=^cɇ 6OZֶPX:F5)PV=˜>YHLvT ~0B*?M=Q][exLAwB7,K ̮9o!n\0fQ߭)N@`Op~ԡu32e s1p7i_9p/'m!;a bbAF- tkP[c.j{Цd7+gT/"f`])M%}h0D;fԝafdתCbJNnR`$BWc7윌5M NJd?fXÐ#縧Ql@l$N gmgϬ6e.nUhq[fj C૊E t5\,Eh-,5*y[;ԸSjqnL_+Ml;iwʬ+=wj^'&Om&gl㖼 < ɂCVެw C։,0|gQqel91dn4K]"d0tAW;e_<ہF+ ' utnՉʆp].T8}~Oΐ{ ||6?@yyJ:^+DEBU VMfk/ QcRuoK G^cۂ+tF8,ZXxzp5%]LZ7y X9.wJtR%]yE.@e8eX RD5h4'hG<Pq )c<ҕn^Q;Vw ^y7w*U9vf}=7|ߊՄ/)ixo6.|TrhLEm >Xmi=&6NXFoꖶx]m[ % sM~eUs`,$IuTLp3#[ߙJrWU߻T1 @02"Wq?i8rS!iv@ Mdf +˹2hjkڍoO?yaDC,S!߂+l~E`zVVz݁*tu qͩ tJ텒aDKLlN_ J}>=pޔg!acM(DXdJNą:RT: Ad{71 r$4;U|M Ax~!}K!%r =|賗.%sR]^L&7ǩ5*or#D~jyov_&ƯDپ`7Qc-y,+Zy&W-,bD")]I ,6NI"CLGOQ:2,۴[)2tH$ 9(swUI- VW4d1VDHhyVQIX* g੨Bl! BXpSgJv\7$aL@+GaMB㤼YSKViraGq^+g% VH [B~#El*D}ߛ#QֈJt4Xw, `$d?̻522yc T<~'ɯYMKȞ~bW-TR< o$7ot#S=niL,Ëlnv>9Jdl=Pͯߤ[a0skшg~h{]Á(0sҲOPl-ԻʼgrwO>sShL}e,RpZFd1۳7rࣹ)|W=٫?[YMq8 l(!s&BHX HfLBSa[>X6_ం#y =u4 l!wDOa^0ZN\Xǁ?/).LOJJ'* nda$ أݑ4 _p^ ՆZ%gaA՗bb3z`d^xӆT_}¡}<\![Xx M4p3f 7qsp=Dx};p `M а~qpv@2N9+Y0F 2@yԧ: $GՋ4Ǩb.jJs- 8?Nԟ&AjpJЇ +h-vj펕8=ߠE1bcKbqs`ԥZ"z E%}ӪG䏋ckOi`~ڄ7XɸiGl#& 1I2G \-K څkO!]`/c8zfF,N_1 ,TF%׬@;CJ~oO"hYۄƊ}9 t]a  o RaNe^m9zPUvӚàַ+a)Z cr@rMHnk>e aZ] "^ FMZVcqЭ2dP]yᵻp(0_#s/V1er?midxYk`-K>eFtE_R ]wh 3 ~M?*WoHnR&$DoM]7T@pRkt;@)M9F2\M[<.r0I0<Ԧ7Ʋ #矉!FکwNW[0j$V>+l:s^Kޙ(8f02.0Hɇɩz򽳕ݴB!XS)eYZ ASQ&#<. Tl4_&aV(Agh&}X*R8䟗1?K$oWlS@6N=8`M R6w#{:XVv"ovҒMbj T2rwu2Oy>n!.H:'UoUSת۟\=!QgSh \ iarэ82 nb,c`lI >oŜf&cCi[.~8WZYGacN?C>NF g2ޠ ̙}F3x{Wsa"$ bVU[IwP5. q,C|( '2c{ퟧ%,ꤟ*Yʾ/%x]46eXr.K]ey$n$|@SoDֱծ`@^wx[=7[=0 Icّnc=/\I'3eF)p$h1K'~Wij>YLy8J2|\7bt"*VUnh9~0iC͎|1#A7n`@Dvl}7F!8VN,Q$%i'+FpWB*SJ%0!&~M]&#O .@gYZU>>{9[[%Ϻq4 ;K;/V_҇ǻLOkpz)x<:ӓHTdQZ'P-Pgt@ۑLD,M 6'S|\|}swJ&|EŠ`*zϜ/v V?V4 MAqK8D X9rK&=Ջ&ޠ&djt:=@U6t=LDU[_fDFx;PH=#Tk(F$ރR\x8׵FK34M?8R#'x_1Yo+Հ>he^{N x8b?N<0 ٝ.Ž\:-dWk&VS٣<)M%I"jjqHJʶa[لOHهQ>{1Ë.ΙHa@ Jd1c (4f"0"\hH1Q-FY@<^gpz@ݯ]w?7tJlyvJ}=WDαOO餗̴8lxl>!|ːOi [{ϱ?cYҥ"-rc9?QA4\y}T{nC|}4Zc,.߄pRjo'Fn"dƜ($s )2EzEBw,N_AҠ/%k式ϋa;@J~ض//~icV&(0 "Z?lF@å}"[$wkOQ_㫘Pm%xYnTX:F݋7Jd~1첀F"앃M('&n: J]m(vК3nYRMVWӜnZ ,u5>mH4I+tˆo P1 7u1U_l 6a"O*W] PE_#H`BգŴ3wS>>X,Ա04괗2c<3̩j!m|j'ǽ.aPx L!o$_%Y [Z}:S#Kb|1*a#{-F=W޾ DWЉRP)^)jjB9͚ H|@v hQ.4Je#ܿóm~/?l${zjA"_i$%nfSVX4Gp6@sjgRczJBrr/NRT*n}su|QzPq+6KloӃ:us\9V E/3 O[AД=TN 'sXC hSYCM\\pBX+btigh[)3hO#(]l2yS.>&.m4,=j}]M]<0 R׺EgG}H߭֘_B)Jj9"UΊUr"g{ݠ#aXUȈWԖi?؛2]-❖` .>Br|sdGMt^_Crӊ{z i.H=,FvR5=r)!'E2+=.zuߋ}aY6~ڀ^8oѭld7USETj+ EbZlQ2dH`(#@^#H'B`2֜dRf)LȢAtʨ8Q2&1;N3) ד,I d7\*&Q5w[I=Gk) ˥vƲqԯ6e6!g† ;ګQΨ9$tn.{8di6|D1[41%Է`i!(mTwj"[<-~?9ŔIlF 3K*+KkV'//Z#qC%GJ}E&{0n24d5pԳ0X>'khq^PT)6C w)nyշީ\rk+-7XdPPnY++{Uȅ*B[ 1{KrۅKw[Z":~9"BhDk#Vd. _3n㉗&K>$d3R^ YsT0pL㯬ȋNH}Sl f>66eVZVњ%O gsgRݍ}2S1rp6fͩUV7|Ť@c2Zo St&Y|W0KRE(OaL?^~}_g.{b-#;vzT驅'&DAtd%+z 5DwxJ.vb/ePY#?Lxg@$RUGX\3 Wf }ƉM TQʉ}mgFiN^sh-F0o" O'v9[9b *CtAA6TU?^]]Iӳ-E7Ѹ Az]*_5_M!Os% H80xNNTm6ї.6@y(e(݉ $uT|Apd4%z~;_r(Q4e;%P;k\Q-M`8wS_W ?rG q좷p_lĥ&H$!@,be{RmMr|dc5e<Z،^<^UN5UL6q/Kb=~lʬɋȢBr2jR˺۞۾z9'5=w$meQ+¡ΓJ-Qni)a\jKd4W_9 R5͓=;G/Ґ& yA::\?+FoYy;(8juΓM5x u2\p68; &lL6~:<6 TF!q@':&\dn^o7C^ )!e_}}F8Qw~D3rT^uđSwkTaE迓R,X&Xnv5zXh$ԑqwiVĹȠݧ:^TX)a9IK,Dǥ9`jVMe`PMDav)74ca:W\I$Rj5;>RlU2"Բ|2u. 'A XH'^,8<')3kXMGEP] (ׄ9jz(z4bVt&fC(rYWpa6.v{\r3MSCj1Jn|%+<#oӽm&S^@scB43փ=axQE!G{My՝ϐk\]";*Aʨ-.a"\q”Bwu_n %gOPY5NC h%>9 ;;=4=ncޱaW]YMrbtϬ6YŶzcIVmt &̶Dž GW8@ Y a-x=9:qh3:V/%kx:׹ih~|MZW(- !ڹuj.bI{}{cV/"}6nPfcE.J%B-%e.}Ië)ur {;iv]EP(ۼ*"N4ض7*sSu-5lv(zW1\CQ (h{uي S1 dXM ?,/OX+2`VnZD;H%G3"v\NSo,- {G:mc tH8@mU8njGO=Y ?;pa@+8q"RVi7V|JT%hT$2@i28jW3t1$dZk3Q1X UF+j!qAa)X Uu;K"6B";&|"e5Eh$ɰxNU5,1Y k^2ΤۆaѼ2]m Q"#k>%Rmt,2 Fxۡ).)`BGuADj%ټ0_O;38Yx<'؊Djј?( #e:v-t|v zlU0t19Y_T`4hT^RTj)HQBF |v[[l=d/8L+rzp>5 πViG⫕(6FAI yVd9/p ~jp[ITUuiܻ@R%D}+(& r͞ Z=ڐ(M- "na=}qP§D"J]Zup_״l#OLLOߔBG2')0 c,S0$\c`4T ,Ыo?~kpBWDB.;yl`ΒQCR^815!KLU54Ǵa7M-fءdȫF46>llfGu?̺7vƱGA"Z71yct ̊Pʘ|0D-hkϜ}[ݘ~HH7~a;ɆoC8oqlVٵm_ *jY7Z9鬕_/KqbY\GE ǘe\z:n B؊Jh4gR{45_LUZ5-W'̉]l,nK k̍H=ef,u_pU9|A0E+K.ŊԲw%NB)_R~cڏk,j 2z0Γs9uW~MRx'~pcIjBwp#f,jϾXlA_L9ALG˳yV0#p:5L9J;S+eVYY|t\<-#9O'. T9q{ &߼w 0#aE`8N7*{ 3 {6x,]e]4ԳӦ(Ctx{ɟ|Nĥ%aćC:$5N(OUauzOr] Rb ,|Rqee؉iz ca nS_Za޴x"}("I|^:!NY+YT:}Tg _4q)BJ-#ZQ=UKB!kmv|-8j؋JA?S(&S;w!%(R9tߢuR:(lӿXe)mmO?+"bVH~>C.]\zG|&ЊWyM %39lV~W#U׆\N_a5sּN:)Þ/X*rU _sqn(!fms{#L|lkh|w`AILkT`XSQ1P6Čx{+^t̀0̍R"Hwf9p:c"tzRm)8b`R52!7-3nTJttT(2m'/Ϸ0/bD.$cWz :::DKL?K#@LOl$K2dTij%?gn8xr,y;'3MKٓHȃX!u);3XR/,u3LP*adx>F\^)T {˭0g&"ǃ^r!9t'. +*VAʥv)/>@iVY!lC>L_Q3C75 ._4<$`_Di=FdUZ+/‒ųo^tY,Nn ڣlxDp9DUr ob-at2.lWq)#X|"ĮǸjk9>tHajs@sDӞr&}et$u;'^$ME_5Xn|#:9`M!z] {kL$>s|=Z}95>|% >!y1a"{-$zi١&&+ &$_ݟ$Q V Av[SOJmR4l|B7)'IsV虈u=ɵ;(4 ݘj<[Dn:*8cgÚV uyDP.c)Nf/_R޳_t3Ų?o[M݄-k@`5͏ .KҌ퍲ɮy`&'elJBD7SՋ;&޴=O၊nΚv'r ; =[vy!|LjG6Ogz?( ?v5L_zgݽi c>fMf<{rփʽE&rMgc™KPޏO|6bkD0o prJjcTe{&iz(A_{ev //IGeYyJ&_M otκnKfCِJ嘨mLAJ`3]|{Пy$6sK%2+=꫙mÅ6Omk,4Q"sV" ,~. V;'5A57 K Wg 3wn8)uf6_Սw~(Ո,1#B) 5I=bFY%t*Qf7].7"7Æ"\b893BnK E_#a` vgYZ+Plz(cU I"=`l DMx+S!ɆBC!<.'#CrLі/%;kHa y󁒓of C /YZLv}ݮd\# uxI6/ \$DE:-" ,d:Ii UNcDD#EM8_NDk6'q4ޒ\Q6H *RSypIJ? M~VY MU TZqi%=bc7}8>;18-6ީP~p f7#YE ,C 3X*'a궼AVFr۸rYiSx]Ɛli;da#QZsa%N=.*!g:>n* vw\a$ |ҧu荈ͧA(gVʰqЙ{K-KTc|=0}9vʿTI~@b@tYbɷ!1)z$U3mD=1CtGR֫&E"G>2 }@%yd/VÅ<џ'u*`2Q5Ԭt۶Dyi#X˷YDnIz۟& k2ѫ mˠ;1%vcG]PѾ8jM_` P#cv%m)*nm.<#E~;sJLNj],C$9![oލ=oI_#Vc s1Dd",j \ѶׯDxM/7b.z~ `FgpuP&g4(x "z;g!w_T2_Րh&EsegH~ZrZkEⰓ$K8};tsLkL ډ]?^##5&AKMz>X=r7OYJVmku:ymxٳQn{q B*iB3.hhn-n~[zLLkA Rkqyb+Ў*&ٻ%0Jg& V)4(fZ !kA}=H[Vpj:`N ܩzג>@yg *xG }Zcs\Pj߃~?}KK4UWQq @ƴOsMZNfƫvD$ yWo.|+E'cn bY{jf_\rIt@#LPID߸\v)aK_+jM&SOA<; П;u7qt"RPO 7%hb<0nUN46چ q@ZhvlT¿~nIflOQ1b5l[ 6ؘ:%%ZoX[i 0A)9T6'2SFR\q>Ló ?ͯUJLfQJHkg;Yo󭭀w^$ҖV%5O!(Dlj9t$kU{[舶χ&*~*|&g~cO &LYwoJV҈z U )0pA PSG^{_yٔH'u#ҦmjJݫ;4;S>asami ^r1J[̺˿ԯ)YRΗ܈ohJNjZO>~7! հLz"] -)?UhܗU n{X&`ݛͺ2x0@4li8q/ߙa]+esTg `sZFPG% 1J?zv(pt5f#T;ވvC2)N5(??y-H?QbzH8ߵΰgkt ϭvjq J8"W#3OLL#Tc}CxTb'.2,p!e"vq;"SS5g; @hA{" JT󍦔S0wnB^ڜf7xw_CZ^SŌcdUv7bpQ]6ڈ$C<#Ipf73Q5 k14I\.QƳ Yr|" JB$QpGwv:XH;?SL~n|AY3Pǜ(T qC.̢n@sYean8dI#Mj6 \l.DG!C}ѳJ[0zt~]Nw&,gDZc)Np)m<!=h 1:14mNk1rpFaD)UF HKk[쪾$,NS8:ҝIZؒA YEK QxS ݤG˭#m{ʼneʁƶkMc 27cD(!`iaDrzJtE!ȽF|v5yI@OLimpxǬgO`@r71)RU\)2wG$Ux$V̬7iNd41 ~[66@o*!QĮ40$bn.<@W/c@(uK7pa,NUkcK)F) z+ /J#غ[*d)L*Y$$4ywOK `qVnqQkHqBXIYJؽjLY^H:~jf Di0#׾Q]Gv{O׸̬.(&?ǚ Ls9?a|0-hvkv͖oꨓ 4ƿA_Nmhã]%Fނ}x|6~S |SgVx K,W Y><%-!xݪ!SaΔ3E#jT邡n@v8va!RMC8hqo<:ƞ;%ab@.c)3hEN3CtEqn~ձ3ޤ'zؽqX7e&N$ٰ02'MZ0C(%,X*o%썀ucT@w0i9}%ӺiԐt{{5N7/Ɂ4N6%{Iɢz;bH4sKjrVt3JX=&=;m98ݗJ>nQXp5?H <*I+x4H1؁$>5dGV+@ûNH<fVw3`j d8bֵw]F_NZ5]okf׆ʩ(K@EDlO:[?-;-v䣒@%C($W!Vы:ުU6֣Фz" MF-_%IGL7? l;\Z!粨c^ 8T{w0H{CfQl&q{PاbZ{[B7"1UoY |/ܲ1NwDhY0:j\f1^JibG$XDkoh,7.{,n71UD-Ѣ`d \z*OY71]2w_ms-kpKhH ~]%89y%13unGUj DdʋB*er#BS;̒Xu8`:%\ xڜ#5%wz_A r(RP$f^*dϋ0+S{4%0hpM|:7Ȍ.T)u@YW"-Z=8 r9,\\H7^F()9˴56sz;lf%>(% CU)aܛ GZgecM]H֡.U@X;F ;) 鄀YS68N L_0O&3Sr`fO^7*Qyz*lZ!H CɼΫj`56͟oUdyO$1U6[~`lICZ\AF />ꎈx̠:D|`%_j3e Tc2Ӆx- ; _~a6ʷjpHLKI[@ɝxPko9Îm2DVxvDWg YL*.w C1, J )$J)34x*;~qےU1A=OOq"~փw0JȜ•lt b 2.5thC=3}u8jKH80sB]@ƛ^ȸiD RnZ"wur{W0zMs@SQʸMM] w~,2QHVhYOgrQOc1ZK*ZbPۍ,yl V5͸phOd^#I}#p.H 50oRaߙ>ΐIH0u`׈ OnM~Z5'z1`^;l3p7aym5|ùЛJYM:K4hFC>b2vy~x(9s^^`ZeuMu"y_B_-18@Fp%%UYEb1\vM7 +lC$M8K{`SadrNvaT*%l;D<S q#7F ݶjn[+J20b9I# $ۉCE,+ee ԧ>t:VC>c6 0ٍ@(UASNZ_)k)ZipH'͐ !ԑuSjnk$1E&-_t?ySL '/xk7jhbb܃3޸8.:$`f+DeeRJBUhߊ(%z(N*0]شe|Ⳣe^?io4K J}~o#r7-82[83jJ'qU! |!)Sx:݁ 2ԥS̴t턎@(a Nہ~ >n͊Ȝ!W55xQpj$٫w/r H( ߄h`<;fdxvT4XчäKWr׳=n"[$cF#[h$mҕE]AH`~OӗvNH :V  &Vw@<^8,=93βmX;74_AE ) I$+A|O "d(bמҖwf!5EE@}9b4$#YݷZ)Ybd8Ӄ9%}^׌@k6OYgh-})%3UPq;:]FؙF#'+`}=-8F>CPhHo`4t]hұS.H㣵d4 )ФY'x-Rov>8T{*2]k;PY8ڒ~h&5ۂ.Atc}*a PY&JT}PTKBG n^=BQ1؀6MV nM3N&cYlpI%1N4𞤚Q=z.w$f;E1hh{a6(<&ˋ>]fm/{g9鴋gi6yN}5X%/!{h>ήQ\Yuapd&8`M.; ,mal2R&b5\!,%Wނ}qN5y]&i(py.玖Efxt'F˓ 2xxM,$a[gvKFnf8!US%Yٛ+<*e%ݣQ mQ1.&WJD-4\COvl--EJ ,rM۬gp [mCܔoLSÐOܢ 1,:U7EðvXPJ̑`gYZG ٜ*:Ѷ!41x|yۗ<"e V8.G6*!n C)e4I wn YR/ &sݏw}ix@: ʗRiKʨ;7(DOHu3hF p ڶc;=6`dq9 &&'1e/PTi `}q1ޤI"}\r4c캞(OJ]˄R"î$CZ,]J"w\b4$3Hq_@S!X`: TLTtcA,x_MZi/D9[#ŮAn.{z0RT5c7],SэJQZvThAɍ, *O3`p&$ Ux"ECE{.s ޗ4~ut! MwН"~ rgGb2 -0aC%n(}JChXvR-Hn̏ښ :rR"p.fկ+==[{ab_5L,lNY%;>oh|Z̋)UU*4Vr",Uvqc`^hGNHjx!e_"%J-ν<km<2Q$pMHEa`K%ȍJUL֬M7j'SyCSپ;Z*y ($iV ndBj#Ú4BWx@FN@bs!I(=Ӻ{6FMrF`g%/Q5RŀFQ =ۺṯuzqxb,m{H9˩?*/kߩN%m h^~QC@ lΎ[^@ ){JBe\Xf| 1+Vuê1;܍݇wqAy+!G7ktݚyi&fvC pHߗGR@myE, ;SN?Ni\J`6 rqF`mh ey0xY}}ɑN(pjp?-}Z%սD6.iRDFh҅B +@"7R(6y\R"E-c*w@1"s69]sA<=hd?@@8]h:3x >T0ڢbUXLu{ j"!N*ǒ/=Pql'.:Fd%9.xSB⧁ []RÈZV 61Hѐ$z>C,vzC߮ pZ7Lc` Ai-*)%j_wNPHeߨD t`6&R1H֧>D2BD(;u xݨِ'1h=Mf?th:8]$wdny<ZAa SHJnPKmSY5c@ޢEVN9 *j'> *c[hx.eot#q(pN=q/~̊6f"SvcXSXyNþR>%XL lkzpdv0MP9;eJT֙P٤7Y™hSc\V,CAyZTO\ܭD'tᰖ>5*%G }ƑH2HP=rN$%MO"(aT/(ⵚE$%酕#3VMOm1'2>ÛWs| \!œbct]L0yrA!3"2іoc],Jkw\:X6z? rHn 6s1'V$./ڶ ^ԯK܈.b 'P/FH5m5PTbo]Wy. S}g 2"pMk<ͥTyskg3sMᗵÀ PelҰ*t"NY_vJ =濴ph$^I(Mubt hj3S J"!?ɱm4fblq|a1S2(0n)vŎEu~HdNj&׿1O⃇9ߦ~>*/AhF\O i;#3Fi{~|rjH:&UuJ&phorϯU !8?b*"TpPa#4{\12ߡis =w\8":mPrr)WXN:غȌ&+<f?B(v6z`A]w~*+1gHi1kUFhƆy "AhHR^|f7w 4.X S5sj|lΆ rtF!C- ;^'n < muI27%ϽU*&VXcɥU(>iV H;lBb띻 "BQ AO F$\/׸c KVh|=z1"UPG0*&ːe|] Nů?1UJDѥ6"4ĨR񕭕Eȸ׋tbiZgc> *LHF PC#,xmI-'hiud*T(xfj U>C %)v!$.P"u>.c4ؓ &y*mAEҠfjo=ң OQC*a e+dtu]."]җI@4_"pVSE܉/5Ql`z o iNxwQ^wվT:%RZ#O3,5qv2Yd}1΃sw>Da6sV0 uD b%Y߰vv+ȳC=^&u\`,o+ co/:9,w( Pi{|q'w3DkA˽rsAԠ+)PI0.ʴ"#0g;=! ֪ 'Fe|^\/~ |Fgx7֫ Ħ\p(Q}Pr[ތ7B?|Q~g]8ㅑozq=n[;9n0}2F|Fy)HG /s":AQ;J$q nIfMI{=Y@}*c8h:^.őƭ$xemvoU"UQA,05۸cST'Qaz8Š:Lnu &) Uȗ)8ŽqtIKIK֡3ʒKk cfa ab]?a}+^h)QسC ?[Ie\P @|GXٳOtL*o__;$sK~Q[аC/0#6VM/֎-c-i4,ɹ7dNvCSb4ZҪVU$:pX&[:nd`Ga`Ocf[ߺ}1L\`}[/ OFI(xp%}{O~1:rxFA<@2 ϰt[e0ENRC3m`p4qukVbG&PY8cr7slP10z*- J cx51R[舦jpm4$4^@oe9lFSʓI0]ҿN[V:xSv%݅_R.1kzy}st|@:dIaaZ,*xd׆jI-X{aYΉ>9gdTߞs+@.9hEax5];<0߿.rR_;Jm2K;FgK$4*uG3-u&g*|d]wcbHQ [dXшYډ+{(ψ{t1Ey_uᦑ2:[_ ͠{ w6jC!ӣ` VM^׼p)#v>2.D}rJ.N?e`jHIS&H -}sݙOtQ]лȋs*@3AjQp&1iu qfO3[4׈Ai;̧]$æ5Ĕ@Yʫ[;~6n lPJ)7&PzlxFHC"X*(R[IK̶P[.p W"[\C,'9rys<6in9gߛ'wFe\t>r/OJrc!%,K%+n@v[aHj4f|.UIʢx -+nOjyBWU:!r" *iC1t ޱOTOΦF#^o:ܻ3XBdCe-4@wZ=_%7>H$WII ۙI1.bN աأsV~7ky^KԵ_ U52fxq%h~$+gn3_1U0D^IdogKM yPH.E9R @ټBE [bb%XyGZ & X+2&@3!ޅݜzԬS;I`=7Lƛ$#o"hR7Mm{M#! f"0mo@2L"h3uKLD6e0i[rz'B :9uSH{̈́y?H%xt*>R1I!-h|1슯!썬ZJo9K ;2wŏ'GЁ*6/Z60 W1PPg Xz\xFM2{aqZkasi\Ge_[2Kۗ>FaL{fpJMWfBmL9 CbuvB9'?.KVGclU ,17^|FXNJ!X:<]; Q^Fa~~\@4=Sq1d`,FВwҕ_2-vٛ@ciн.z'ȮG3p%>7e-ـ@X6 kIXn:3@M9Uu"yeS 'Ɏ2Kq”r 3u}~|,Dr8JLsrDT:keA&5є,pȯ_K{員 3S[l 0.Yvl.c@9@5cs1 w^iAƂYI| J9Cw_Ո}EMү4=쑆_%Ďۈuv)=x溣d AAJ4;֩+o[J"yNgw0: SQ-&<^:|O(JR 3ivqA˄[D (@9@~J:W;գmOLj%Eu"A۱ 8Cvm@lᦋaƬ~Z]QڴԯA;Mnڹj"f;}w'܆  CeYu'T6!X#K#.44@MEkt@Po?_<Ji6Wr#ԻDZ6c L/h)>nrzܽL"~ ijMnH[?"v'KvgYZ  xu3Q% dProbabilistic_WhileProbabilistic_While.Fast_Dice_Rolldocument.tex7zXZִF! $]A-MՋhvG"uIBm5gј_VGQ҄nc:qYƧ p3fchr@4hbmN<¾VQwIMCa0ãWrĂuSIx$Nlib|[ƄU!qK =1 Vq? Bg94%jBe)qNӹDBdkBIO[$ϓgxD̍Oz'. r5[RsQХE` ] &̉6H8}>.zMuev:_ÂC#e smw<$%ìlZbCB{e 4Cj &~V_\dcI4{3u?)rUg3P%ŮSrZQI!L/ɱ!|rYZEF$yҚVTrA~`%YRs%_81ss1j8J.FIK[U:qBx9;wA7b 䲫׀ow[Daa_D`Vjqo$=G޳:\KH(.n^D*)b%q;7;iZj?i}*Iф/\$ 4?p~n5[wh\NQ׿i WMjz/bm0+;DD8`"w`L 1rF fk=Lp'l~IO+pUg ch`UQK)0vՍ@-PT=Dmd]5BR>Zoyc6BF]Xdz PBPYhsGQN `> %T7zLQ_kg "olqWg#\@(E7K;@1]f59mp?& u<ܒw>X,l}T3G-5f7,s) ~0L39ّI!b$ݷ)C9Ѫzݲ¢} wxuMg>] }7mIXyKәKq33% LProbabilistic_WhileFlow_Networks.Graphdocument.tex7zXZִF! 5=A]A-MՋhvG"uIBm59! d8 mO.,Ve4&Cm"ȪJQs4ZaBS3vj Iq_x2|Ďl~ybFA*|:ip_DЊv)^ؒ¦2PD+a$+q!#f/ƕLd.)9J pW@M)G 6P4*u]\o 3@5ű:ڭظal 8ws\wMa>-l,SYt'W-y]b7iyTb`ꯎ#T,` â dT޷&-]s$]r{M1FZ Lmwb۟t${v3O5)znl Յp7T$XAG8V_)ɐ"&& >3S% tProbabilistic_WhileMFMC_Countable.Matrix_For_Marginalsdocument.tex7zXZִF! 1C]A-MՋhvG"uIBm54L&H *Ijo9H(*;: d5]y\hE1>P;-2,]!ZpdH8<qh$d0XRnYt5Lz_XwU[\'P .G^+oWl M&Vx dE;]1WoL}V[XS+,r5EIwF'(0ϑ(ĜV>+=ƌd#X,8'MS֮'´U䪄#?ޅ|ʘ)d6^ D"_\?ED̹zr_KEE@/Kxkr;%$!G[72mxwm;Ҳ\.?ʹh Iw|m%(.vO]l 4Z,6_dKIArtr[OO.94$qFc3*O:`MlfVB5>qN^ՄfuƤ\uٕWVɎc\Oj"4\M_&KZR $fXeG1 :$!USp ˓v[c3^]l%A|UR&2BqdD+ pYE<0$d֐ R17I6>vprp3_~Mw07\7bG-(H u4;rA>\ϥ1`0RCK ^?UcFTp@ hf#VO~)K%>|?1u'orK veY8@DJ`_:@2M che ޔpv9+Ph 88/L O^-"b A?B͒x(3T(EcEn 3Sr1IQSJ:qX}`+pq&Q  [3E% w%Bf5m;|7YR³87YJQqfRKD`#ԨQ_;IoO+[ فS/ ;rmʧ0Q"kӵP_JKja*a4N7VRq$cJ&),I+E\seH4; DĨɦ9pG?Jby-JuFC85t8ٽd3h+ѣE;@v5.|t6Yt6*{ҽld^ 21BOTѼhlURUSpA@#M3/hQ%GQ-s auΚI!7ےBr"O Tr@(K`ػa6Ӻ#8W/ NF!حa  Ce\Ȕ(#Am1{a8ɻE]̌{4ҁOloj>xV@9AJ^]T,|<\ص!nd| 2jSr^6.גpA r#|MG1U=,A5CvSMBq)_O.4DKUt}=ߘ%l̩j&n^{bjɚj^6҇%Bl 8U>~o@ >Ajb~`'F0n:ۊI+9~kUkwC702~}A^Z5/BV}&gتOCBC,&nʫ:i)AvH.bh4y#{G_nROV7M;YEh0 :rTF{֋x_G>€HKd^燅O}d27#~qgK q|-'~YqDˊNE=e6Qu <f:ff;NQ(`9wLX%٦Q~zhQMhm @);3QfE%P{hzblps-7j#ʚqB 6g+07mrG\roM1b*%_Xhkov;;kp}BTNN),mY\raC#9 07ŊPaUWrjz)lXs~_Q疀22;Y~*شd뱙 DF8G~a^<"LZD^`R=*17&}"o5iÐ^JjH} Aq۱td$}Q@gk؞,Y|\QeP&0 m&ɦϞ@T,S&5x+g^2 y1XuiaiS @z(JPH,xUW  M IUs o >~gB9 z TkDr')Q{S2슲${TWSW[拾v_\j ꉹBY'Nas{(-j`5/t$?r^s~ tG>@lt4ӉNBӢ!Xb]K^K_mL45>B,CE4=CCnQN囲As#Ypc~pj^z dމ=9͡AC'X+׫0]dj} է1XZm4{_}XGM3p+oe)sE\hec7q|pҋ;Y<%- f7Kiv `h7pG*k Dh#{<1/# HZHGTᚑgyZ/nUV ^dw9xmc8 _PԺW'xdHޑ d.Sfv_Gj]뿱nj~ngNMg.*qshuT؃._o r%T{ p4kI@uzZF,5&n;cpzrܗ*xDq8>@e4h6^U_(nrhI|i 'u5$" z ;nz[~^r,$-g x:b.G< amv-+WIs+*9/G! ,, ;/\:;c۫tMw(ݝ־;jfBSI{OڊH"|quNbjxa5Js(|R6zy5(2}aiGVEH_;TOS1r#(~2)NΒU&*Nh汻w/m\ ߮%~:זnjPr+eLwjJҢ NN9UKnDr|C%=$Q$:7O}Gq&[c儕6oWD,~5"xQ콪uNPѓDLG*:( mҡ--a&ypi};ܜ`$| $t>fn/{Hu=>ugi䊞rr>1JRM{ 7 ph7e9ջK,&ʇ $* %i sC2!]I,98v[4{cQ5Լ @AM5nVOz0ܥg(7`D쪖&qH]Ԥ睱cvAYPAwR~]pc }2 6js ܢ_oOed#I!}@YCZ#6l\gN|Pc%i2h;>5|$Y( YA#.> NUW᥄?& UØs vm|Y r bxB?}vFPzS D?r#1?f=` Md87 ؃@`# 0?kR"Q k2]@"\?d`au-H ʙ6^hon0Ky"(B .Rz Fcs1G@ٛo&4QsЊtlPT?b/X"[XlG gOg|m.WTb<q<*>Zj_;_}{Ј#Ѳ+pd@fӫ "R` 3Zo)b ,`cU}\=KcKugF~‹3sGD^;G"=?SųM@Y(z {nJ_"̐EG5`X PZg%|GʲnVF+y]U5R Lf "5*/w bi&5:BNBosX-/N?E/ p,S(5L =e.-N>Nضe9>^lJod&hxtU d_6o1}"+),tMY-mt-] z%&A|46(&$f.^z'M 6tf,w|ʅۙ>4 gѩ+юПv|ir[5x3`6R=-Lv 윜3L!7"'91OҨAbGs c:hXPF{o\a&cU' "b:gjr/ qCxo ş s.I)/(0Lk ΢?ƋB/L9J l~v;`$,dvPv'M/zv|>$xJ.K8}Rz5ڷpñZ[GV߈c/ph@uXuRnr!ch/RNE`Tjd`#q&u tscN~$ 74EvTcMxȖqܦ5lY΍ېSK{hvG#fE2\퍥Hbg8[ eNTn_'!#V8:WkqrOwWUhCT&n@󨶸ZFQV97C K56 /^eTJNT/k,k^]nQu` gc|QbIC'HIGYX&@p'rG:@\4H+Jv>i{>E8z-1( rQn&7j䯲}`n+4#ZpL(?PHQkJf("*D& 8+=bFoMa&Β1rÏD \S+vəu?_\JӅ/rYXk;e ӳ͓d}/mTFGDUh1L[Gs7Ќ8Lε{8 ssGqrG#NI08Z"e>H7~<wĴHK,gsZsJM;\lg9~(ߠE%0)f 2JϩnGJ$I*$=zqM&qXD0)ܶ V[?n0d[X3(} N3Fa1Dz; GtE)3ѵf;xVV4GbbRJuX[Gvr\P^Ϛo!,aPd]Gn RMNnwhoqW7p 5r)o!Pl?'xCӍ*r м6֌/h1cGXEƆHe4^ lY}mǷʙDT (Y0UcjoͱkQc9bأRmDcoK? #"Fqp`[G^kײ` ÂBz?ޖU [(t3ӹQ#` "b m#Q~L(gF'#q7MIZC1 ̀:*dt3WIOM4r+"rdy!ʼnZVDqnB26%Z1MDEnpxYӀU<ʧvbn{QsHln25=fҶ[zb ς/jt[_tߦzӉ]L"@Q7@ŲJgYZ-}^ iOS#xMW(ѯ@=c/=ֆb6yˎgKE2B^*q$xIKHDDe{A )xc Iu\hp"* :wN}=6lMbHΐue1tp<{<4g1)Йns+mtJV;Q~7wD\uǮ%rVoFVmGȠ -wOi^{H3]x`>bnuClOxA1 ]Q>Q9p:$V1-< ~g: mn[_)k 9;,N2t[F+35^7NHH&HX&j{#ГߤyQ۠\6+!<ܷ6)4&+@ץE(hJ-`FΑdMe߃r+M4aRƜ ,vtn,e@tQW_Nt|}Z׎Y4f| ^YXP'Q26,`$jyXĻ_4Np@VU*\cӌw*`3/,!|l;M1ˀWįTj؇Zj"Uz0+$ThŖ`~]@ҵo ݜp£x@'mFC8ejnwTu qƯV6ScߒiK+G=>E.rWqdM:DNƇTJY)Hܜ76ORU1a΋ tpRƶ'CҌg _xgbSyx{]ο HڛxEre2g@Εj[|(Lp9H.~{1e_N%Un+u[Gn%+E`m9-3e Ek 6kpZU.8PIۆ4RÉ/ Pp9FuyPDjdf/["Xek"J`bDu+:d/CLނ?Qg}0'܃24]G-T-T͘顆{ s.:(3$Qstl?-_Ӈߊc9ňpY1&OAp{Vd=dH?^҅ב{/0 ' mj*eRBfPdΓ~2\sb4Nȁ_}-ئdU88V}{+4凎!5GzA %)Sk/+[Agu"E&-qNĤoˡe;BR@ф.}v7pCɼ-| {{ `1)TC> [S(:>_x}|S1~8ICZ6Fө~E0M'r# #?ؤtKYBA k#:En_3' Qsuvп|["1i4vL^7ywK:*;u#{&Lk{Q2;-Cmĩ ?G;GQ,7њkՅI8ϠkoE4FL6D8Y. zgk+-CGR;pk3v$Ԟ"nb=16B? 0Oe'ƒ;#ykB <', _vr_H&%!`DXPHq?7W4TT5O_1*.-q RqFXGD-Ci=]r?r]X$8?WoT5OãY]ܲs*V8zXWNz30ޚ;da8D12pEu\B* 4B*D][ɗuiF-crh=J?RzSȃd#{;ܾSgYZ @3Q% |Probabilistic_WhileHOL-Library.Bourbaki_Witt_Fixpointdocument.tex7zXZִF! e^]A-MՋhvG"uIBm5I,'J+0pswRߏ/qrv Ols2)zh-hez4,9 2*lx5ƙtsb1-y٤0":ݕ\p?UrM5IB[kwf5쓚|);XKq i.<6y#u.!3ZYX`g`PʯHyX"辝 8@d.qġrE;y?~RxH:]OdB 󚛃 /~R?8,G #!8l:*W3D̉5UjƿO:92m'.'w'@b兂%^+`UL eȒFäbJͬ7HjQP yG埥W I`qIgGg|K _M85<| %96"|G#{iJɤDME"3`bBYo8,M-hJ+}VyXOi|W=+:SeLBa"*i6ZK!Ĉ^ o {O~5|ɑTA n#ònޯ*Q=iwDjo׮JoVrkEK=ƾŽҍGlICs?%aۋ+,'{LCOi-FtT(״^hW[$gb7)Ƴ~\B.+N39\ 6֚<h}̃Tqt MX-vN cc8՝iyOvx_%ۺ/[Fl-B KۓcԠYrgTႳZv@;j>Oѥ>=I/į0peCYGhw\;y *̩C6$}T4ԫ!,B1U 3!φ6x80i4eͧ;/}ŠLNR0Н$u?EAI m>dFZyt.&XCA" P`z= NCS n[:92 i r(b ۑ+2V䑕8lkOȽT'dRfRco7)2ׇu5` nK>-*ZN9D:  @xMX)MM x}/H(9kK.zFlBUzPiӫ&ӹ지ؽn-[nhM.)wgQ!54XAfYgsU'4R@al!HgYPѻW VJcpt:hDhEl;(ʨ6Qs门8LyⲶKbU.F"훧)%|IDp6A1' g$nT8uIΕ#Z,-hyǜBzX`4=A;#Z8*BDLҁ_fxLcn<8:ҵHc5xz\ y#s؋ \/g5^1Q;\oʑ4b+SLʒoAӏmM%r_e,J7gQ ȯ?ECju#~tv'^S ց LBGeh7^˧s!iG9#Q'VFrɏ ":$V~,Tp^xc3 ^im_"S4Z;I 2]$GTq~<%ʡ+U\RXd|iDyDcF3SRR,*^M$48E_W~pXh9]%FI)~ݾ?C~iv`es6Ƿsγb2n,~Y}j z#l`)=c7F%>"ɾ]H  eBG0oYFw:ALk /`phXF6aE4*nՎAL:ûb|{؜~:)./=|"f^@B5[0t[EˊZfus;Kb /n0KYhgl[jXl7+ZGO换˽_@%CnwكUnkIC}gɬhjm/{@fۨ2SVaOq@Q6i!\ЀYjcAؤ5q!#uPsw6sjV+t۬_M:/F(߼ WkhS/2^_aB ; [Ԗ'+,LOAzϺ?)s aSӥ'zy^. zEG4yƙ2bH[ZtA,M1_~ş sRU*mhd+px@|L}֮YBCex޺Ֆ0Uը\Ua(f|:X"ߏ$Ns*7R30s'lIv;]y ׫Yvv֨=s*-މvNAY?q$֙85|m8dE.ܧe9A֝$;:X2f1"2P_<;y>8$òCBx0@+;'0 CdLVLer2Nɵ…H'C&ѕ.qb#۫} $/Zc==_34fgYZ s37% |Probabilistic_WhileFlow_Networks.Networkdocument.tex7zXZִF! w]A-MՋhvG"uIBm51-1yrHC4oU6;,hrZ#mnvש S] 09q!<䁯4~w1j?ZrњtJ zfCO"x?&q?$oTMOXtSGNQ2W#E`r5\@ Bq'k^ZfխAXQf5`Tc9|{`GWq l& w08?j5:aw j^ `1z =WwPhiRzR4kFtĴ;,Y-= R}W `#}up}PReK|k16;ԄGҬ\J YMDXC8r@)lSC5|\ƀXQ8ĀfeA (c"rL01:zMFaaݍH݊'@9-PR9h_E^s8rd,#9$cёMh㼡"c.3C{6q?x]yT6&}]Pޭ o)lj7~D$(0Gcr87A͢}M `hp9A[ɂꊇ'\vq>E} Т+T%Q(cCmim RVWx9fLi@BM>34/¾`f= laӛp1=ZS%|wÃqݚD .YKIrn2'ܸd}ʞ*}/f[cQ!ZD(c'FSW%6_ʵtdN!nil0MO&=> PVqO(K4Sv=W-Og1gS|˪O0J:ױ 69/ ?}e m]Z@PĦ0^7(#y ׳0+/(Ҿf9 =, e%P8Ė@|5ZǠBwkԫ>wv+sˊ)uUடls/ot$c"A$h"n=( ߹ci}U^/RIwYTc5(K\@4*_Q#x(!fI .;%F 4C/:GwQZÑn=;b7?S2) PQqYe?_:yPdV/`1p>U/6m){*ǟԢ('r`WԂJ&a f]!NB_+d1${ e;zYnY͸k`.P"BB?q~g M0.L2ra j9w̍wVSw^ @hYvay!t΋=U76CL*K`뽳| `.;OpA eJ9M >7Yk=} v` O\#CCS&EO|TJX4FeRn5oZY:QKaPDLek)>cBÆex]iIj>ަhネRNTcW]+rv{8YTl_yw!M7jm@gp:s~I!#+#Y1Ja~a3zFf|L@ؗw+.E%DQD$^r3ccw9S$,Ym,l5)vkìsp$~nr ԜÌ$>P:NB#L?mI]=p*/P2|veUeLPԉqUK" ~k[f\U#t+ԅkw~Q~czL'|UVbd *WAi٦v!UJ9Ux~`fB.mcAa:QY_qMK :a/dlFnOyN wL=MϼV}Kj0%Ji;r*j]7;9#VKQGH*OZN7>Fk x5֩cFKh4BNRhH#yȴl(%χp >YqH/8Lsό|={ e xv*41k3EA97a&Ei^]bVwW_߰PGYnsN(vq^ܻ'*.## ޏw@vw= ߷R1Ѝ4=ˊJ#ֻ P)tI%+(8TTJ?^mwe9n[V!kv:l#ρexLEjԀ7z+U5qGX"1%L9^ Ƞ" J}Y Jܛ i+l/FC'}TsMƭܿ5iDN0su+/ =Kjd&sd:R-mapdam"L?H:t_XJMGEŮ:z%<]]7}u\'eHdwA#Nk (BuʕdȢ[;&ya#T*)A\C{G;$E*.MdQS0@SM!)'#z^8;S8+4{`%H@rQ&?F i)M<ñ[A>5id&+i[up5$;V#( B_4gV$xܭjx|đ T i}Z)_C^,1r` V9Tg6"hX;6Iuf]J^~/OPIcd'aS7V6^`6%WfEYqJ8_:F(}hkV;~qR$(uxD8p8& v:0e2t`qeӸo]aNlD],50:0z4,hon,~Q vOė‡V_2YM -}E_յfK&jrK чԩqjY[S^*Q 񣛲A oHN[=6gv_]F\cHOl'(ACI!s"`}a(0 /©0(S|Qf&΋W C{}р!chX`}k;8}h"º%rFStlX fL\wEE "[Muo:M |Tcۜ`. ~7] q&5l9*J변`, Eia?-D# /B< 4Y V_R )XNj;h}k(ȩgR"gQ#nʫk@uk '64e!>FRC2HVOB<ʽW {L}7z8/˛bd)z Ug.I:zi& am깺~IP{V,tq9, "`D!Gb#T66݈9VΟ;>SIP?n$o3P c@TH!6Mn17>YI$FM!ע{.\0n~0XFnIAFs&PoIP~6_udh=/}R% >$PU%CkCUu1RH=/1pY2big@I M>*- wH:2\0E c-1wQlUOpos$<ٵڊ 䕇d)|剓.쓺&,"zWm1:J7ۈJ|EމJu(:DÛ٩}J s|8}չ4DB 0J7 ;؊4b⌉Si/[Lo1IB(Wױ>h'$Hп$`cg_s re_w>L_}BfJ#ݺkոs{c""~H.RhK5YٯD;Jyҕ6?H>B=AI5U} |?PaY߿(1.jjq5W?/M Iȁ[/dfLѺnAٹPtV`^H ӓl\~48L秃d])+ٛ`Ĵ'YDK+ƕӈstϛJZZ)U.|}vf6WYF#Y/&o4w{c l\ &͹yڐed#&6B",s@ohh#[z-Uo}!IR$`r^eÃ,G> 5`f=2w30ĻTc4d;Q5IrڛB6 UD=G+w]:A 7JG9if #2  #%iHx?$FQ3*]Q`0=,\Wcz }mUw~DLu}c`((@~lz~mS* #\ %C̶ 4}F HބA[tɈ.]*"sR ?9\N&0Ļ/iq3H@ l| @y-c_,T- <ß!fisjQD}?R{1ĴDTX&DG2"sk"+vU^Ak7ӂލ(XnVѼ_?)DHw s>T#[5;G@*]}bM6X[ )ZoW~[2e*vn"rd7,@2,/NQ4 6N~?,zo--kEY]̠uHv$xp#&״vAgI߱y|x7 sS~/)M> 9#SNy14qL@z{bwdn'iHJ 3XC2m%,PSŷz#^9iV M0ގv U3ei1Y}ԒH dNb܊5XU{+X*.6AF(UDLd-WcY>n^2+oŘXLY*KNI|yfDo?U:x-Pv\{,ZZS +=ޡ4Xzifv\%j&va$^q2о{}d @ټս}!^t:k?9⇇0vAq3IBUh '{MiZHt7 vwM(@ZKpߟZ(zR-rZ |ϑ**JXpֳJb}+_x`$~ݽ70xZgGЀnTOӟ3Þ&'=痑$XZ7y\ڄFـO݉`y9ųzK\yƧŀGn)ue:3mLtc mXQP51OW5n "j Aq"@I3a+ 3UIް "8sh29^8VkI՚"n;@}$}1gEgYZ Q Q/ 3G% dProbabilistic_WhileFlow_Networks.Augmenting_Flowdocument.tex7zXZִF! [,]A-MՋhvG"uIBm5ŌwzB&-i<4vrwj9\DAuRQzS%4wW &K% w DV79ᤞH՗l{ߣp4v[ XpkϿȂK^nY)T"``VAq6J?mÚS}[>%:SlpA 騅ѹ(;[;' M2yrOS66& ׻m 7kꝞ=!ߋJٗDOۄpdjyԤv5H+qo=}^$_Z~r3;lf\i;d;݌sjXQu+4{hm%Gٵ'9d~.p@cC%B ]fGTG4.Q^t (9!+D AS{.pB~n$  D-2:PK=U_SAׄי$qr ocq> 颶+㎈rO&JAi )䁠 oǶv,Q1׸3]V-rusMA л[00aR#" U0R+3ii0d}mpO`l3Hap/8wg:ItOMen n-B5`D? ]K˹NՒugQ୤bk UgÒy*o߲/6!Sm="߹ *Ț8/~UCvφo_Cl'N,g*ErN[%1B+ۦQ,F`?v']؎f& KW9z1RGᵁd-xbԁ_Eulf_-†1I4iW +e/77Z6WˇiB^e1PNS:fvdG+ J~73lEG jFqa{Z3צަ;#OYHB!;}y8(  Rm# 718CBn]Fs#b1kf %#1沟>sw cR97u?pq;ZMA~[&ZGM*&_CJ5LiơݿdD8n^E ejo}[-B"uDJfL/{{nײ_,3Ss w'ްN5o-2 'WPB*.>EM`SCVIh+ $iYk.:;ZUE,#fiSWIMDP4B!ӧ 7v3g6FAXYjOoP o5AV{l(l@a^)]·kpgƏ|H>Jpӥv6B&qYdwb<`BD74(xg״ 2"flgFE_\6rNIVb jGrZڒC(esEZo;{Cu.cVt?+I2drG5P Z6!`_֍_yLnyՠ/QccՑ&XHpG5P GL uדYFvDkgY_OwI Cj=;qD<>xO0 xtljCyCη.|=cRw% 姏 mhq}qWw,$WD$pSMn<(YVD~$P/C'jUi% ;/򱂳7P\ɪa Lq3 Zse%zs%|$- 5'}@\tqnz5$Pu'9N#g$E_Rw:N0^YrX9\ %x=nAu`{?oB~|FEĚݿ<` O\r%U;ΰtZs^7s `\ыoY,#FLqK9&s/tf`(gV ^/z~X.V6*sAmPP4 N3oi>rjp926471MY`C\jg׏xhH>_J4$3-xO]ykQRv(~ݼKbA>+V=mc&Ei{?g*]M:R:"]6L.uܻ|b^oX'?Ҟf)a`7#KW(e[D_ n{߻Ŗ-)$S1H &L13;7Y+ P",h\uc9 .}-h \Y-@f'j#10ې> ~`Vx W?; Di:m͖D9+ Tf;qאwPDc?lD4mlEzGn8cqAjJ&PD}hW fW=D-й|M.V7O3'loTdrVSMdD\U97ga*މeaC$V>7RWJGS+E8mHUBJ/.r ܆p0iq#Х10 qa4SP% ud9 A$RW &,D~7muS^e!9 ^ %`sWeoWY:Cu?2=3%Ö{Rk;xDS)MS /#W.ekFw7h~!4zUً!&|:e/ Bm(l"R0@Uq~֚**̞^fi^RaSh,4}Ս|Z &M'y% ~Ddty;͋hi}mѿzB*#bs պ7K1sheZ mG\1~K65~WCzz`i81TcJ{2w/i` 'u^<OpN]Q?jD2^9)m^0g(1Nle8: ڈӠerJvi :YdV_)Ϯp:o؜0݄G R3 aT|3βZaSڼm@^D>85L !HGݥ!ԳZc|^1l۬ڲ{y!|t,"¶cH~Yȳu#Ύ>~le؏07l`kG$9SASX~ cF$ X8ˏn2!(3 OQ#Ͳ*|>r &.q*ZQYuJ5Tݿ=KE" M %ko8iOQasP=Q؃hYFN ?U>~+ۭj=P;<&J `eDP}X(MxǵB/pʴcs7*UΗ<~@5qi'j.d R[>h<,wg=V3c}5|'_KDw 5ݡפ2(F$:5br cu.ed+3w3 &|jwT<2N +NDBęb),}}m?ߡ{U+6` ISAL,UOOJ&aHLz Cv2s0qQu:.+6<=Ѳ~ed=sylUht:ۡmFyVj.NRH ¾@]:A; ү +I&sз[GIZ@C^!YPo0@5'_*Xa6@fAzɇ:{MU^]_qɇ_Gҫ8?xN۩ܓGbiJ;z%C?z- tt= K'UXr`Ytr0?%l*yq>f0|YqUU*x?_ tt!q d0G 8pǸG_2Hψ>yj]Mϐ鿽$UM^V~ruXWIZ+%4IZU\gFO92 ! i}&,J tqh8u#u=3,Ye3Kʄ;TM'>")^ UtR@ mN#8D Zg/uM-ݳ-35jzŅ[МFk#ܚ|dpĿ3)+M-F}k6Bdf,Te ˕LQ Ϸx5~إFϿg'/U"}#5TtҤ^ۏϛiC 9U8Ej-Ay6K8)ʱ̜ee۸EH\r2(+E8** \.Wיq~1bxxL vȩ -e)K ^P>׀3omqt{櫣2w)[ 1i8SIiEꆥ>'+OfQaTĮ֎)0g|GIF&,^:Yq|49&WEY^t1Vu Q_USs^ ):]?prau?S8-Hk;WݳECdj͠ nDSTa_WLieS. :j*c6<RoE3\As{i|ͧ_|R[qu&n;_O"7Ot5CW KaL9>TDpt5^1tl&xS;eK`M4!ZQ}a^J­[^9X :" o-`ʣfSbA>ur+CXx e3*ܤA,gYZ dcg+4VIG>@a\vexvgg B3i] 0cs.‹ m&HebhJM>H=39RxmCzl(%2D7H d5fE s7:JQL.> 0+(*U *>x|t$V`Wץ.[K9U H˜.)LsИQ:xnߑF+jG &wSj)x)pfv5|]$)E1HwĒ3to-ʒ%ͦ1iX m&ySY%5n! VV2"lM7^&e.JzWŽ 7 "g堒9 0jxЛ޲;sc@nY=H|k^3sE2=4;unFyf4+Rs_S+U(RR8 *Z3k}|Q2:}ٯ\=تnh?|M #aW#[ /q?I'"5n.?#6d--z yS^פ%fc0W %9j*_j`]%Stzlᬏ4"ꊫZepm># p_xSw'Ìm}mZڧO=S]|?TL!X]o Pڝ ~gt\=Bt3V^22T]9뭮H]m xw)mE9BD4NlAxM׺\lɎZKIȷ)w]O^".&!"  9bfĜ\Y֫_ykJZ _=gjZNIvOir^C߼VeIjz9g^ٯJ9)|g:!AVՄtG~*`gyS)7ߐY@4f;?f.wx;x+a-6++Kq3z5(sx|{2F S~mP5m׹OĂj=Õ`͛D"֡1/ h U;4^ ;UgڌzT`nJ2 Y|)\h}_ ROq(XnщTRܰ2rf3k{c T[fu էyJcܐ4M%tMC $L|FeͲ ;`lz׊抧\5{:Ho'm?8&ng8…;!(HwGFv(;k LX%`aCcY' ӗK&JHEP:A-{SjD~6U6)ogCG" <ٮ;=rbv"(~ӊHp@?ElHē1BKZWdLN0=#%y 8\i_ڟ1mDp&vc8!zNFejyl0uc>+S[ЖǙԡMWNNxO}z0NsmU-Uy~4/n8*/UF_>ӂ޴r6`Rli>jM>&ۗ7!f:7fCƻt NgA}Q28߭lg~7?iDZ@SP7onV!8Muռ0~bXA5ƣ3{~b7y:ŧDۣf[/Cu}>~ lN>-9KQ-̝xyu!8[}Vkti爧/ԽZ{NA"_f~biX!\elY\Xf"ר+]Bs-|>(lߠ?X2-{h?pֻe [OY~!Us40K״xį۲zv'1t[bdgۺ` =dCQo\0SR^kC(ǭIS@A޵)):ӌ<@(u꠿4PBO1GbD >yC͹8l(h,߇i4?sz1Fy C`({gdT@3W6Qa*)Q˥wA.,[ģE5|(/j~ހҥet=P~pڵ`Ԏ%ty8UU ~ DP\_' H8rp,Xfm3n鍂0?KZ(`Z6$ߺx“ [ \D cUؒB@E_T MvH!2XM{vSN+@xAx8C5(2/KaӅ^X/Soyjtps&$jV'CUfCSV.=NDl;C,9y |p+O!e_RڷtC6?;kP.~h}N9Ēq j`'w!9nu*#4 礯h}`Er6i)(q*kxgZTk|k=+֪jZT./! &B#՛]L|=A\#) o[jMB^ L.[9.]i:#{g<2vE#m Ҥ_i3%-oR(@@D^}_?V@Nf0GW8⽤ ݦg"?r0D|KHoC݌y%X|.pIU$"_PɃDea*5&T:wu&bEEJ7c{e'ó aJ(:mxz$UME)k$u5m8+{GHsIr1Н": 3E% |Probabilistic_WhileFlow_Networks.Ford_Fulkersondocument.tex7zXZִF! 66]A-MՋhvG"uIBm5nM:[4Y=ӜD23 AAsNҼjƷRC\&3Z'm/I`ieFb.NI=Ha'#E*k(>QjJ ꯎbh&ɢ<|o;/w^W-f\|C9w?%M|0i{oUWŎԺ@L ]L۲Qܻh`,RniL z R, ^`S.JK/s_[G͘B@n(q>␂q,_lpnO6n23385.p\o2ZwH#N7lVOCi"7utNb \l8sThc'}>īM[KR;$;P__ a?KOnơY4GOS,'n^%vf]!obUQ4RzfD߶e"΋7Iti;B~ӝbD.5띴.dX_7R7ܔ =9T”{sv`ge/][DE>7p0t,$B P.w$@]'VI9c%Ua)rRs >Fa1z5^OXaHKŞNVpSE0hۄü0Z҇w 7I =LQUQ! $ 2Z rB(R'Ă-ې%5MwzXw>u sD$L"<:Am UDcQ;`Y"%dStVCOiI%i&م?=ЃD).ׯDf\;4q-&b`S@uPىԎb@8_+d. };UMR,XB^e{LXU[%B^JuQb鸐'AڻݶoO8vpB\qIc/z }p2Dj t@+'ᔉWr|fuК he~.ڒ~JEUU amw0[{"& XVOku9@n%!8SiO5J{w R߅˱oƛ-I3X m VgtC/iO1jcNUuE`e_rK=k{bێ0K:N۲B5Xvsr<Ø9Fͮ xƃiU85ūe wmxvIpSE,W,e.rLAF$$轴 J (!pnhtS(ܺƅ~9K$'v6ˀ׸.8vx!^$<XD<`Gbr*? ̜q%>m6F1=R3JKZc&mDH]։␺Fe"Eu2>ZMMעIb0ݱ͵:2Wbu=<)\ċsݟ[c1es-L@t ~7 +vy"FG[_oɔh݉CR9 A^i ??>k(~߇2V1R0ױ=þ3MȅÊT ؠʻfjDbS]E҉ fB#yԞ2f:ou9.p$Q |96qQ{'D RClW橂? Q=!]&b%éPO{#M Gmw(JGbf1u2I_밯we ̇cZIy>j3ajy%蛥5C :+tuvވuB9o×m,m.#R&6Jf0TP{(oBZjIykOD.ii ̆=$ȵìo죹ӝ@tjR'eNeD 6ohw]D́j+Õ|<9ղE(="oֿ+[, D[v([_'BTMEXkT4VИ-J2I_mǁFTz ׭Zx&PcEHrm>> B en7?kA̿c]q}wDUT;8:B AZp ~YVIEE{% keƧ=PHU !3MԑTUV) ']H V&:f*r02&K"Jǣpr2R:ph\--Y8.W*4';J;Yjp5b*ZfSrT(Za>ċi6wFu)OmvH.xqeXSTj,2SVFx2[C.+@͠b""Ge!>MD!Ey8j5HUmcWQӮC+̄6/pzLlӮ:Ia&W/x=@ PVKL<-&s.Z mW<cY^<&ʴ}/mxPڒQ1tT_$f@iy+VIjE[yXN6CZ-mYG}CNA7PۉnLO+jX8רt̓)Q9^z*j?JE(ٮiD#$RDdpʥ#JYfQ 7(eҗl(} D%+;%|bB4ɧYX,_!YW׫CG¾5}dO)4#1S2hI?+psK-oei-d+;%Ć{T)/C7pLo?* Ղ/\4@A$@f 6I ?QaPPȖ!l]y%?k& {R% *frz. U@2TQiF?E\` 'K 23OIUcw.㕼0~7/D@+B> ;8?"1 rAq2]UY;^l%ouΉ/4oS;neϊMY9r՛%6s#RLߋfm6Pu8.t 9z?"_\};p] 6$J fJ&Ac͝l#>뭆)qGGCw:H5~fF.;CK:j|-KuAoFqkjQܼh*z;`>|i\B5Hsz;EANXbTJmy R歎C8QzG7 N0SS%VL OrKC?K]~ej7M{Tk˥!`L,TGV"hACA8Hܷ!p<۰r.&E+-)bGpHni*PE5&SqֹW& zIXŲo}KWX DJ+u6.oDxrA[ C=:q;ו$z -ۄ! B_7=DN2SDbvQU3U3hys͍]oҠ>ۊK?Ąx#S^j+"s7Wd^y6e'e^;P*w:z]ZT  3PhErdx C+7F͈p?WB!zF_(PŘUy.n\@/9<*cf(8ŰFQ…OWxN+G2 $տŌ^ާ!|݂# 19r֒$4hf'K;@*n RK;XD E?7jxC<1}BOtQ+m^%[iE o^"H*CVQpjoQ}ڮ(d<1 PѫoUC\{ ~/a"qCijlztGl]A 椾hޔﳪxˬ5C>90|Zw*?/d8y%H U5WR|.x,^pBJ8"fK6Z '{ŝ*LV#ܷM utuM g;E#9DMw9ű 5eVJ(7u0WR <5/'*Z,;@@+KIG*=9gYZVJcBx۽QS}V.4Y\^ݚA-R#5IPN긫 ^+^Z:0erb zDmupPˈԊ sm؍L8r)|G38֡p;۩e|ێںrc 8Xgn O@C񠒉k& M_ث!2cD/wVnz\TR\XvYV,'ډV%9s|e$.evjY 7rE9ԑk7hҥ8Q[N8uaG-Н$^ϭqRnQ?& sFˌ` V?x@Xv2EB<͋ {0T1;aHo,$+gY`17v)zsԅpjgO$뢝6?'+KDŽ}t俿grn'5!5y]cľ*gvc=[uHεEYaW5ۆrp9x\}BZwl-K& O ^Q8SD!]/!QV?0~2{h,F~81a]׉%jP :!|^L {wy%rTh/^+GV! tO8A%n?a䛽[ f]Mz&lw;V@= QWNm%7>iƪcoW #&M~& ^@xӅI/78tǻ܎dl[< v3L5f ~^SmRRYH" 'W(hnj.Q{r$}3N 9;<6N5q}xe.BhbK9PF5)ΜZJ6>&u󷛆r )kFT|PtJHP:)@_u5F9=PM66^sGݚ5ޯ@H%,zjIcpgFJ2fxx(A- pxP4P?u6JVƺh_~ "IXAٯI3Sn:gk1j }Yz&o$7ʁ ڔÌ&Bѱs}x$":lD>~NZ!sX?G ym_%K`Jf=;~}EO/=fqkGBy}Dv# TҴ@mpRm ds <=FyR4B%SkS$61ɗnSj1Q |NE|qIIj3Zh<,B9l}HCwSn&k q8@m#)84cl\2$kZZᡡ$50UұL5Ԅc_(LɄo.b#w ^:k"(T m0҇ yfyz"v#$> PMSr7 Sa7+skhS*zMA4l骒sfκ|Ed,N7@ݯ*.㹡.XpJБy2YuD?{sĬ{K1Y 鞇#G[+[E~eV3k*w-l*PEUue\׽wA-vR/7f{ἴl)%_mP7 ޲cR0W"ͷKy}bxP`T|^9 %BAo>C/-Mo'|GS{#6I'\{=fIX oS TqH !@{du\QJ& `5eV|}h}-**נ Xˋtbj' G/,V aA 'JZB"$F <2Q.1k꼔Yv!oA@0Vtf)&Ӛ@^Nτ,L$zAy03.z/o5G7 MB0EttZ:3!!l^юTMmHI흹8Rդǔo ]+J5m5wBiQp#TyvODթIQ_k7o @N.&E+*| )%7ӥ2t3B@4/֢od 2.pZ70!'QK,%,VoIcr[_m1B"LE^icoCWOP.aEjz*EmTB#b bM8YnNΐI gc WlB1kMsxn68Tc3{0ht˃ƴDsoI_By"aX;жp,.1 f)#u6 OYu(E5[A.CΜʗ$s}{wy$|W]\ghS iFi{~"Cs覝ߚOV@(;S|nOTu:=_3V7&DЊ i^/ PS,tAI#kAld2QF@p pwV͕YN5-u]O's# ڥSmsew(j:(묆J#q*wA6'W7sZ#K!_8/=~H y +_&rIOpuo꾰3"9sr3675L Hn Zzm/QɐPbuol˗׫q{W7Ԧ>¸1e&5G`-qgYZ f 3E% TProbabilistic_WhileFlow_Networks.Residual_Graphdocument.tex7zXZִF! ]A-MՋhvG"uIBm5۵fk[a". ǐ.99]A}hOqgܱb-0yA_&=npS0&.*y,_|J|'cynk ~^q_wg42PcJ7!\$/4@ R1[ 4bcc-R ȹT^޽09b%۶8ԟ'm3Ϋ{יּX䂼-p`{eފj`V-چWxW2뼕4ݥ%vt.6/bY\ hK3Gjms=ǔfw3!%-Ɖ籁UE~E:>IzI;nYsя~%&[l1ޛN'f6*A6@ tzɢ[9m ~: KOCƊhut#&Һ_v1|zrodUx lmfOS($؂#J{poG{ULB0"1,$dK𪰄|@Sx1_q;r7BfjOMPmk256b܍ ;p@+, {hauuC qQb!/NɲWظHoHWD=:?!?2҆qD8h v*̗΃Q6Yю+sx,I(zr_nG0懍v5##ikBG8nGGJbRC@h8 Mk!PYFY5wqѮyxb$k20-͒bXoRܽM}m\n؆)seeUEnrICg1gb+T-eL4$~*2.#;~0?#@wJZ(깒oiw1ٕ?xw݅d8{v1a#K BσHO1nX[ԝG.i⇙24T²1o阨mba8/)T2Cً QK>ұjZh}9S{>U7ߝ&e( _ 4!N)i,ؘ%?IySDߒvJ{rbck;AJf-NPxH;{I}N/UgWԻ:ؽ AsamRcUI%=vI8 %grk0 oLT 8NN>T`7@^zdYW=J*>EE5.%l(n1{gϟU"YnVR"{X/h|d\ # ((U3[% Probabilistic_WhileMFMC_Countable.Rel_PMF_Characterisationdocument.tex7zXZִF! E]A-MՋhvG"uIBm5IUFiY X+P א=w]Iok>T:}չrD>&٫]Kj;}G Wh#d}$]_O嶗[8=DTqX@C,#e}ә'X}F/ɬ5(Q1GNh+;h^'-UjsuēC\lIHEw?.Vl[䦃qT8n~7^ձQob>M GW[E tbB^.y#'gƦaNdជe-~(|TeQOXi8IbkHW*R?ːOCZ?oK$hEܶ\(1j>n֟'G4β).~`^-E[:VoܦEg7kJ9]J0Oj^-̼< C܁hNP Ic7:mBA mT(סfKEKh]@q~7N1;f!%֭4KlK\5J]04=z tt9<%gRhb+ 92XUA;Y=# S<* N89i!6k`aH\uwzU{szUt4$fлx@yw 9P/9QO ?йT9ĝ8s*y=4_tP9|5yi%U>qTW"6<1YVc«Jfۉ29]ADH7j4ڊ ŊnBXըD{jɯ?$f_:p'*AǦP 8  s0T1YڭwUXBFĚ:EB|W>?KUBY3I^X!L'x0 ~+~?$}5P-+^,2ߞ+S~!-1 ;~ CeQ.KL@)tR)XNAzeOA5p:Y[$/ضhARuR }7kF[!W ,I0 ? zj"nB4BqfuB*Ua mi 9ϛ;;dZф|M@z ?Ŏyq47@ RbpNu `^#\P/̔<-lA0j!7wW}QD̐ɻP%h۝:RVNJΠ\'-oHs_k]XۺE4 ^_F[aBk9y|Ebm^z*#"o5aI[Y0myBusH@Vr̀p܍EF`,O3 JUoʄw= }{HRī</hJ* f$𘏈Em?#f 2^_}cOeEemIĠXH.Ty'ݾ<L}oY0$&gI+I[nU@7AtE_()G6Q5L^@H.ʮ+m/NU-^Hjc8􀦾(8_β1ûXf61OJFг He_ 69b6+)i&s瑜 ~X9rDH^8C޵9a'7/>kV/JdKxD"(?P`C&kT\* ЌEY#J˸V6k-^|co5(6^_*ʢ0o/c Ϣ!XWf=AiN"D Ex\Ny18KՏ *L :d ⒈P|}LI鼧T!.oljSG;>eWO5V΅{EO~Bqh:x>\D]WqnʢER| J@8kC{,)s L3-N[saĨJ7 5jRK~p`>!<`v/~@8'xb*0=1%7>E/Ul-{+Q~Hi)[0/8  udPo>,~lM@k+wTVR|^tE0%8%f X@ lKi&x;K\|6| &JHOVyJK0-^A@P 3a"?X#q/i}M-y1cGIhq[.N9e͛f4m~ۡ]ʴ~U"V8zt^l2*z;ϧ:9 D{{})3زF]d3\%a?,=4Uއ׌l/s NZk2v¬8>&׫e+ >rBN7v^[ZD"9;`h]2K#fXS~naFw]]'k$ 㷬Б˔zt"$ktەH (F+C;%$ UWS%ע|Kv}]}+ΐ,;kv,Z0߯~A/} KİZR$h*tIoya=fe/٬㭪!Le\+`b7i #757,KGv=~+T?YfO/}UaQ#R9"Nk^RVXn"r,w N,`eęEl\X۹'Q|@+tvJt^쾙܊s;qe6$ͦ<0$H^cRFd>B^e`|9\_@e`>*%̾w3fݥ #LTET~"p_U!kC hncx''ICҼUg(>^\aƟ tZ]$'UAR+1M+x YpljHvU3 <3'ݮ\҇X&NgYZ   s3G% lProbabilistic_WhileProbabilistic_While.Geometricdocument.tex7zXZִF! i o]A-MՋhvG"uIBm52AQO@eցM?V'jDCU1;ʾavǗȱI,H8AVis'rF&$$BѫγAqn6Q:Ό2mSv|wZ_s3 dBA Iq\w2LCu4Pyᖕ.4et.s3R2sI(rL, _1" ~C~V ld}sa0,}#mpegpsqP'gQf&7[WAz0Wcۊ YܳszFR2%M AWQl67J.hq!b[ROD/܉/wz!`!u^ Jj:7\dKV.OQd@J3?8p;G iݰ&`_pB-/hĎ_#'Rݟ+pA1)KGGioExv g>Nj{6/oRV=~EO,WbקLw~赪b,M>27 +!:ct 'hSVPQŒHBO,} |XQE`l&n$^&ʺ.w-&tOiY(|dk)!^U`c~RZx-PP]MJ6g 4e=,@nE[e =B4._{J{{crԕ`6M!>L'!fiA9 bUKe9*|=5t3"5Xnz/G^GS%=sD㺺I8ALPϜ5(K#Y#1o|˿li*( !-dQb&sT_$ RT2<*+*%j.u }/T,~I&V: {ʳ">Yn21͂ȓbpCvS|O5U"üF>W;t6Q'/5\JyY̴sEFNlÓ~휾tj#'F ky1@I/+FCG'guKo̶xVtGCOV"2$|zx$HVN'%1\R X;Sxs9Ѝd m>vJ;OR5UT kAmqѫLx@XCqX/o҅M#c*r;HRw.Ǘ9hgFcFT7,;%xg#+qb>D@ #hhi@F9(gksC,e5J Ze~Husj3W *we=G;0ȓb·M&2Y%CjdD=Jp h/L%ڢ=?ṃ !J~_+z# 0"H6IX=̹ N)GL}KkXl}O| ہ8mTQh$[8$j9Ngxc~P2*nr?Nߊ/C*JM+P1ht!Au=]6E}D6ŅYI쪬=J0]eȖ[ݲX,P{dg ɾ|b̽8s]\i(xF:&hd ɿ AvZ1#IW&a` 2{FKI |ό{B+M |rfAܴ9T hV!^>Wp/&k1+: MSb4˲>I|/tK1:"piK(8}wR0#N8rHJѻm)-l 1֤Q_7X mj}"IKPzFvb]>%IQqK{V=#Af3E9aQ_fwJ/JdGo:7VR?;ѭ6ݐo@Х?k#ˌU}mnD^\ nZmbt``A˙0~1SlA r6(/g05ixa lRe7hha`04S*HEpd)W1F "c% eZWW'yYkS=/?\pE컹*n`#LƬc#a鞺>F)bFEzbl0TӒT)B{ ٖ;lF;$0=N%Ou0s₪0*AivC3:yZpOLh38;ReU6]7¼CP%!"0[lAےcgQ($ F, ^R-tit芲GbSwQ@ws|OcIE?횕4r;-A2ۚI( ?} PHŀ]LTEHjM.[SpP Ht(4s7q!,6-rFU6 tsJLX5̝3GRw+TETc;zvQPM>dANի.-c.wR¸m~̈́;&QꚕP&vt8j')"=5ko;+*NZӲei[Ĕ̀YӾ9!TbO9Y%ޥB3lBpB"zΛu7̅,Lkh5{Ac^' 7nsQ1\̤b|#${=&˾$FGDR4UXh/*22uauB}2d)ƓQP@}Ilpx*&cNe,w;ĠTPDCR'pS4*N `w'+hc!x:>ƨtc13^Fpm{YXͧFUϮ]MTН0Ce=?HQXW,X'j9fتDu9` -bjsF bٙMq:er ݤݙGn+nB1Y Cj]"x93?4]UP݄zh!'WXw?>α0py4fȧŝ%bЋbL6HJɝh݉C@E'Қiy3W뉜wP:K쁀<[X~i% c V ހLvg3F @ x?OKϧwէsNlR :!߯N+(3 )d BBQՍZѿqqLVKMGzbh lBe-D2Y=rNsb:mS-->J*3u="뮑'|2)qgn71Z5aZOUԘWBIk^MGCl&R5nw,ՙyl.b*od[۫(XL+SVמc WY.3>'U/xpE0P=/̷ hzPv8Z%%Q㫡ߩHrUAf+p>92H YC )Bd_Wݧj+Z- ͓%XPYoݼlBϥp [/bV1j{M~=5F#Ȑ%لerU&y|"N!˧&t("WEgꨋ €HCo&vg\}r7nq29Ո:߫5FK/$!5Iq"\t".qp/9gM,2ݣi/Ŋ#+\gkJM#v>?w*b6ȕr\9%*RI7*:8ݞV@35BV*\#dj-[o$.KzrTM6 1͇އzBDҒaikg^:(Q&vgҾ\y)[=&9Բ;EECsGѴ"9br-fR?hȎ@[9&gYZ 3G% 4Probabilistic_WhileProbabilistic_While.Bernoullidocument.tex7zXZִF! cp ]A-MՋhvG"uIBm5C B: 1cYʗv"zeF,8rVfE{e~Yaփ67 gӎ\s4j=}x] mX!dtf0ܧlo8(Xh 9AE;/S. Z h mk9Ő% ,6S+l!'WJxU{.O J6ƘCR!lܞȰڛ4@w/UfE]2w 1r=t8N _ΙAN9Nّ=<zo[vJ*>S$6\jHXD-b{s/>ck`I>G Ԟ5͘b,P|FqOenp%Orܥ;UUq*wV&'Myy0kON/bvqqpWڝb_7k@lZ1Սc/!/X6'՘yxtZrCΚ=w<&njJ9\P_2XZ֯VfnQ Z 8,J+!~cK,7e^{%<18-gbn|bKM)cnM`f|,"V-,#߈;Xy9_;$gg828чC.<ސ*n"i-cMVch֣hm3%pߐPpFnqb PvsGPs gB 8T퇉Tgi&.r\RlD<\;O:T,hr9~"6gJ -Jwr_(+ⲶMiۆ^' )k0WbҘHqL&rk}dЂOLWʟG-sp,*Ԍ!18S]ёw.Sz8Q';rB*ݑDA^9Bٿ1VV=AK[ $Mk.U $Z]JFNIDo#4D2hn,1!JCD78UB ;B)'=gG`3Do$ ɾcQDh5&|gSW@g$ rgH!{Lv=uЄYDU c5 >j]I;/ڞT ͈}܇KD9-2;b ;R&؀vz#Z{2{NqНai.Geg)Eb$jO:TҬa  [$fg%ZO_uwK{Йm#G4g\ 6d#H٤)Jn{ .y"^xMct!5it`HOZ7On=#Xu$YW@JwzV$r(?AFT]W R8]\yH2m:vKZ"k.?YG^5NiUO-zV]DSf,3mji:2Ȅ1=Y@;Cy#{1 :xVhc-ٴPnE0LSu=rQ:cBx3ƻ5޼Vrmz~q>[ AL2]CѕJ*:U )?q&'Q0% jRE{n0!4Z *dt0>_GbOJ !WƨKB d VOt!cE`gYZ uu3I% Probabilistic_WhileProbabilistic_While.Resamplingdocument.tex7zXZִF! N ]A-MՋhvG"uIBm5jUG+nO+s ƃg QLGoD7c,A;T%f&a֡ĚRS [+`wU9U+`'/~[߭P׉~c a~6[m+lG WAFXv>I mrݐ1NݒJ5¸O$B?s UREciViRV,2p~B`sHL Z~쀌TB{7k=].3X!˖BvWd4p/+{EiyG6M6Uy )DZȹG=`N6)zyI#429ie 4c2{y"m"}]s0J2]6?1)ӟ]I4*}k\c)(P{|٣hЩ5 .@H'$6銴iMP I$u=Lo!ʞ:I5>6@;,7*j e.@K[fnv$mk0YyfhU g9g"yQ3&fBd@Zۨ|O8M;tHpM 86vyE57~Tfچ)$FH/&9<2NڳU`7^:jRy5H9tG;$;\V[6O#Nd8CN=6."W.*;6^/z;0kE)S۳֥^p*mddnn'MtLW-x>+0T"#/7ZBiV#eoưt]Of g 72VL8r]2 Ha4<  H"2DNnO׵%4T"d'Z e@2̠y#1QS!N<ߢN LDgYZ  ! 3K% ,Probabilistic_WhileHOL-Types_To_Sets.Types_To_Setsdocument.tex7zXZִF! P]A-MՋhvG"uIBm5uW ~%˘ETj, J`1:)152ۢS? ;%G0`N󚓍Ĺ:8rʼ&yNaImK[}'٠z94Dʧ/a %s ;snYѳ|}.^[B F쯀wNաj39pxnA kqu.*`0Ŭsf ACO ~hbzoO8 ͞:۽~ի܋z3?gOriELzGc66v{G[m?SKѫ͙Q%+ e/j?f Zu~b-[?92ʼnr] B-] Aix5T]̇8cq6tǏ^EeL7XpDsˬ—}gW9]#g2ޖKERI侸{yAM"` < ~{RTXVpNQ!4#oX~xa\0 5|rp̶ Xd1",é /o_{w^ʈV&ysS?F;ɫӲ(/+Ü?qfdФ}$Ͱ/ZrVݝCe@3WM`3Sᎃ-gK:GjC|?1vsP%8 [됏5˂V7aAxLWQoYVu^_&6-5j>\&d}X̅'Ţ"3fNʦ[[EaZ9Iӥ0 2בyBv]5\>#u.4׃nn6`%g5VelJjӦ~uVO;'iJDq1@Aw/(gX~e'9B qGn{"+0: o~3Xl+#&o=.,ԏ*5%s΢mj!f=Vќ4jw\gf}ilgSje]Ÿ:,qAF7U@Q_z㛯*F~}iȺz1ona45hWwqyHhkvl`qD޺̶vz?JL)b$<]\<uhj٠ñ\q_mFE' SyZTUVoJQN-BR8Ha@R AƺIBTlP!sq0W)Rٲۗ, b^,4m錛jpuN jXM A>ü-! K6Uӂw% X\ڬu8S3 n`yn7\5{JOiʴ 0,nP)8&ZVlWhŠ/X`=^m9rm}`~gr<.1-+Ê/{+SpH8a2Pxv 23'I9=hQq9H$S>si[;IR+ABjVy]'!暕ENHhY+]o(HdC3xuzm:Wrv y{G>_ vQJmM -?M=ߝX=-#g}8 RnmtyT&d6q(Gྪ6?{i ^^d׋k+XЙ\GَPnB;0"G1ԃCutK&Xg~7!ٹzi/ 'gLH2cl1'x.2Tio6?.ܒts >Kq>H++JQަCC8-K[`AW4!q|7#P~Ph/xZifTDqKo8BdEtG,Udix%R(Rr8:"aNmf 2 :Ӿu9.%+}Gmt\tԽ *6 1`ů_H@Ƅ۽ytD3tS,ꌒ(lf]/d);P`#9Tv؀^w9wBn. ~[nRuTrKw+stFER\2U|A|YH2󡣃2NiJ#w2u(f"LgYZNn~!K d%矢_dģ-X\HX`oɅO'2՞t^קh$ʿ5=3RU̥Ee+8$ ~ %~aٔ=6>*BQ=͗F>7H<"¹xN@ M`-dyY?`O2Z˩3;LPp8?C [b5\- `txZgYZ7zXZִF! ]ŗXiɟ1˦rFܬdyU,kKBnY .s‹:31[b>>UZ(]8o`D_1,Ѯ0>ݛ(qWz2+!'B@H_Z*E{.4?lWg%'bypwV5*{vP*[ouO{K"tZS )_RblGWnfƒ`_.+zI[pQj pzg5Z]ݙll,c.iV>yG \ϦMAohFO[yLNdH@ EМ44 WHMY$=5-{pm{GtrP]G/ܺs̵9(,@r G[ケ8R&cxAAxjHO }}>|9 CDfQ(f^.2%3`6ՕmH)\M,(pSYLѕ.ZaFЀ&gIk gYZ7zXZִF! u]ŗXi%; GI ')4wJVmpҒsJF`!*\eYk`7{D^'qD8geצ>$K-$#*aσ܉KB…p0VBƭ+zyDV(i a0BO>s^r}Vj!'EE~ѫ۩4 bv2 4HbV8kۊB%lHFŏՅ3~QtOYory5L$C'5hi!;vōZ'"G ͣ/ua=" f.uCY[uP!*w}gcFy%b*4(Ƣ1pZjC_kKRCdPp|e;,bۿQqu&ᆢRoS u5/9mbl/)tl.rxڀf۟V  SM)`C(>!$|v?h7 + Irr^)sfu]^k_$f` SsB *+LK Jy \A<'62Yb#Ϫgs/}d{D<^`N13d`8kL0X˸)撥􏯴O4*R=rFKy",nG2![bmĐ7YVG6DqjfR:|,aH%z{@+%Gty6__5޹~rHn-3_f-2f1.OZM:(kgk&0Ų&cJ҈MZg+n+\9٦PGR ˃Z:!fIsN%rv 0ZC{XC؋_f#@R|Բ^)'Tlъݘgdd~wCmmqDfh}MIM.fO^E܂т٢I'=Up 5|8GUa*T2ZI)ڏ){L &'}+O#ul9Q]'^ UA-zP_;kl͛;%\G%v^mg˜VD*XQ?`-:5ށ5kmW2Sw(Y% 4W 1@-Wv|`>'(|H<ےw\2;ǖeFVQXG\@`Ir hc{AğwAY3aG2n$xU3vR(2 %AƒЍ;)/(>F2*}d\D.r#y&m{7FH-xQZ(WY׉)"Hd0>=+Ft˽H]ŃH*Q2DOj\{B_fPL X3g%ke.OmwɃ~Zok;;?6 sa'YsȱM6뫍s we;FoD8lu\%h.uotv9xhw)OmݏpPo-Xc/%bjnɩ0ն#HWtɕws#}|~AY^A01<iKAqf&躸K!Esnq * m֐- {Xmg_EBL N+KR89{>BnO}P#vƆb`mǀ`; O]r [da5 ;vi\:3OX̴W,bI4?dCN" <: $.?(W{!DR8HRqA+RZgYZ0f80a76c4e213b373153b22dd6a7a369bdbe68210a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 baca57aba4a2608ff9db48236e40910e56e61fe9 f318faa4a6672ad86098bf4947bb3f6b089d5a48cc80cc1c10a816c39af1ff3585eb911865457783