SQLite format 3@ + .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 {3v\ ]S]Probabilistic_While:threads=4elapsed=38.581cpu=108.984gc=2.5447zXZִF! =l]ŗXiɟ{a ױ1:rfnmES.h@ ZOϩ2(fQ'F.x 1 H 9 иDi k AM2 +W D㎝;Ax^|ei1&;$NSoQӆ< AΛ=G@LUCbHaLܘiA/ YT&AL䣓g6MqOQMcR0<}BFk~3PraI9anM Hr_ )U2.=z1;,oߋz>&Hw{`Ҷ h8u˺EklP:pxC3v~oW#r%,`&8gQ m\:| 1§M g7SNNv.+Y1_VGE*tn_dbY U АGH?t'zhɧKSIu@/^17?sZ&\UAGF֙*D7#`Q7M͹{eOYi\GxKb:GDr* , BmJ%"qI>KցlxGoJ&i6Ү||zQk){R "ea ƒ߆(ޗx8<vMXi 5YO}g34ɷ@S'J+>/Z̤c{A[v:R = lJ++`;a;p+J䚗Ye8vTЯqU+Th~O ڣ$`w FFC)A}6YbD"˄=ovuߕ_ Lb6l AaY\ɔsRg? eudg0 Q=jseyN^ͣ8 /Y~'IkfnaJ֝Pc{gIA  w|ޜsLu9f̌)Xk ]llm euZE7ݻ/iGm4eWDF zP 4\k%O1:]BkގgšGxtw9H1d }o^TFEljփwjgq@5B&2:Dw=⵷B{,âÀz5k-AK.eLF׿LFO0W?2 vIaANo41삄U%!m^|۴y%Ȳr´>M/)6Jv,H]AQ;7a춡)M0:aAi~lRkH셙{a2Eq?ebE,MR.5?\- 4:m+LS6*`>G?گ}Ops/sNd]ygC3]+nLy4QI" ~xCra j-+;@u{ה!ie؛GGm՝$\"Y*[*0:0 = z# fֱgYZ7zXZִF! &]ŗXiɟ1KwCe )wG:ͦMhنFhLx=$$@;:`'^Z$pap]`T{ 0l1:4y\ȏGs ;p ]=o ' f0$+&8D_"|űo9b*2&Jʏ? њ7═gC +f 7 XWx>"j\~#-C;-dg뜳M/\Ω9qJ:XNܒ8dynq#Yε].[i"̭(,48FRsιC֤ӫqQy> sУgYZ7zXZִF! Ꮬ]ŗXi%D3js F^zC+.7K\@x4ǓC0i5 ވp3%t9DILxE:\]z?QYoFH()?W|,xM,gtыg{`bQfe%ME-=|9Ѓ~LL3EmU6=lq!Ū`c =#<%2'!&D?1j g1:O@/n!){ J]#Kī#5:yamKJX*5=-7b_1 !bA sW> lR,Vxes 3:7ɏd+B@O22ZԳPCk"A_ѵ/^f:9|,l7U9k9L(P[ydԹu4!Šn *WF*Yy++)j7$TE9VMR׌Iȣ~*F!DL}kpަU:b(G_5pgq,jI41ߦ9g,EGD6d*o tZ_=$%tfS${5\3;'_tϵݨܕ) ̻&ČFgލr慜84֪p >P&:oq V= <_`.'(ݗNt56xvsB= #y/szm@qvFK9+Z(Eօ]ȔSX(8J5p~r;aS$]ҥ}$%_(ng5)sf9FhEݏCvMRA 9$"#Bk"il`XB=zۨE7n=;\XlYʔr7oF@u6D*Lbw7~]|bkj|qY ҔS(7+ 3 Probabilistic_While *7 3S% dProbabilistic_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}` n 3Q% TProbabilistic_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ݲ)('&%#     B ^ T  m , u )B3G%Probabilistic_WhileProbabilistic_While.Bernoullidocument.tex?3A%Probabilistic_WhileMFMC_Countable.MFMC_Finitedocument.texC3I%Probabilistic_WhileProbabilistic_While.Resamplingdocument.texD3K%Probabilistic_WhileHOL-Types_To_Sets.Types_To_Setsdocument.texL3[%Probabilistic_WhileMFMC_Countable.Rel_PMF_Characterisationdocument.texB3G%Probabilistic_WhileProbabilistic_While.Geometricdocument.texB3G%Probabilistic_WhileFlow_Networks.Augmenting_Pathdocument.texI3U%Probabilistic_WhileHOL-Library.Transitive_Closure_Tabledocument.tex B3G%Probabilistic_WhileFlow_Networks.Augmenting_Flowdocument.tex A3E%Probabilistic_WhileFlow_Networks.Ford_Fulkersondocument.tex A3E%Probabilistic_WhileFlow_Networks.Residual_Graphdocument.tex =3=%Probabilistic_WhileMFMC_Countable.MFMC_Miscdocument.tex G3Q%Probabilistic_WhileHOL-Library.Bourbaki_Witt_Fixpointdocument.texA3E%Probabilistic_WhileHOL-Library.While_Combinatordocument.tex:37%Probabilistic_WhileFlow_Networks.Networkdocument.tex833%Probabilistic_WhileFlow_Networks.Graphdocument.texY3u%Probabilistic_WhileEdmondsKarp_Maxflow.EdmondsKarp_Termination_Abstractdocument.texH3S%Probabilistic_WhileMFMC_Countable.Matrix_For_Marginalsdocument.texG3Q%Probabilistic_WhileProbabilistic_While.Fast_Dice_Rolldocument.texB3I% Probabilistic_WhileProbabilistic_While.While_SPMFdocument.texqU>>{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:pr["r'è2`\W _(]Tdh$E E7:q??=Eve9k[2׀9z[e爎( F&rSyK܍̷ I-Y^3;!ݧ?{"=j["=HrjHus``.Eu REP5xi#՘j#?t[ {a4+dVMkZ&2XPIZRtK ?0!o{p04Y>6!#&e%dRs *0AkMl gRfrF%R=,8C5(0>-{syu~3uT:Ĝ{8J&p$RI東Rf~pCPpY`YQgzŰqmH Gɶ9Q"*&:L8Vӡ_j_^F$)ӦDkpF17xU/1D7vE)&M~79sk6rVQfma-}CMahG5c?P,h{Cw%`_Pc4FG>MJF6<}!{2{vX"iPˮmkD\?݇:@d^{grx ;i?rV$ F)i[=ΈW.'(lIɉR 0'Bq<>xE( .F|AC+!iiiM%Y tCA\] GLX&.1[(HuIF=Oq'Y/b5c)UE%35Vf:3qDbbZnٸ/Д Y;0CBFY !rUCXITW$SIJVwwj  \Gygˤ:TUjʪH16rt%4:B'A*OީjJMū;dH]Bt#v{O[@ImNgB:$u9$ƓdSp]'`hJ7sR-Jߖ聾Fv{S#2Mh }RiAo btv15*#x/ؼT ;6S*|6jv\C0L:6N@5f@_-h.WQJ9}@)k<@s(KZb GE:ǩ\$ r"y2O:1"(!j#,,y`ZaΊUQxz2ZƑ|%3s!NTڼ~_Va7pu6Y.X{ ǹUAZ[~9-lRja4(SXhtDjh*`Wj YׂHs&%5Y@ L] '4,{J3ՂX9am@-W_,o?%̴ɬû}QV2_ [M{C]̘j.g0k:qFmKٗ~D"`7ہHHRo!%Z:dݩcn;q63*/+٬xt韕{t~j~VuV}mԘưcSO8KQS9c4sIþ߷r7~C"%'Q}FKZtfs[ys&&kFctɚc76+gT'\]>=z8=GY=43ſ10쿮E7=aۜX{ϻ_cA>fvBK'5Ϥ4ɔNaoi"SDGhnE:`xٰYzdΐ{=/CMN#jޢG䥅/jzR Yó"83b/5<8?g5W PѬnw4xUQH~0+yZ˷pjJǭa4ieѪ&p];$ ~TMM(YY ! BX 3*Z;l݈MB+^By:_ 馥_WGmen[CIڶ9J KbsA>Ѣ>< q"jn]/n'S{Sr:Y7abKU 4wچ>Tpw9[-lsKukxs4dJ_68p;ٗ+=ܽSN ?|z9k^ Y]֠}c ?;gwY &T<"&|Ŏ)FmDxKɜ8w^q^x r1{uGC"'_~m2Bߙ G_ϩm:C40!rR vN{(ȼ$ 4, GyN44mYddQZ\ .an/9I36y<`Y^֟&16 _`i֤c7VG&%0X-DJ}=)3eEdL$rzUDsLZ!_WZpZW  {a6SNUUt2qo[p60LR8[/A}zpsG!u *`>IYx3*D9ˣ6ki=SS7fJqU^ Ⱥ+ V?\i(BWA .X.4w{$G 'Y)]GINo/k y4nY08^'Wm|b N V1Ql_̬ ZElv>X~<_ YmId$Cshbc˳2Q|B1nt;5dng ,c$LjZBFoҍKFW; ?XϜHM~%󞳸iTZꬣR_Lae"6$H0BY)n6(P| ` * \1J:9᫇C7a}W#l 3 e=")yGnӫKWMe}&S)e0#V:Wqq'4v9d h{,!_;SklGɏ^,ODO۹3?w%R"VaIp:\8Fv$)jBje;Gp@mѾ@׍YEo함 58%l:zwO! T@O0yI<^OFhFDgT`V0mwg=S|U3..1XȖŚ{zȕFV0/8zVI Vy&6x$t`'@ *b*ʊHf˅)*՛kQ*H6<_OA")Dǰ*"mqdu^;޺%Nq4h6Ft045 +3Vbmgڱ"~'aS-l5oUCPE?ah yj#}4* jrͰ.*;r)kSWcaSTӋ=V'jy F@dBs.((H4{WEYeT(nX,Fc϶=!F~C$VZ[Q"3 :,X*iFw2p].Cî9'˓ȡ<9%_߿ݳ&*H FJ3C27'mj*4 PҤW" 荣[G܋ucپrjP|+^(.] sR|vFv9nXA s˞OaB҈87 ވ]&ԣJ6 䂥*;\Cﯯe˷ZA#\ g`ߐO[oAoNоkUɿrJvX"#~RTmOK$[Ќj]KbsWnĕmn_*֚ 2 #v#xG<A8?᪕ ~d;L;jyȅذY6bc੗bt0|^O#w]ѼMXr }qʫp1?zo}GnXއD<+pW|Ͼ,δ;Q7,zm!`?ޢqIByd8Dop= j~|\$&P08V%/5go.RieRWCl>}L!vXѰ%F& rp؝ ɋ :i/h.3|xPmdc&nqT#ԳT١HzJ!0~QE\$M,WEW"bG{ps#v ,FWt4t]z~tk}C0t!πj}o(ѩI97MVUf($HV5c'/tسF۳cw/xy{vAhsF'Fw0ճs ^iyf}J;ìώwu9e 4-6b% DW?C}n.C1a>Z=腮ܗ[!dLfPҨ͏$tA ]@tU:L{UGV!030vSx1v8Iƚ4{y bT~!F45>{CeGj9mfS)ѣCvIFK!ZL[{ eȊaH!Cf+m{Fik^ʼn݉˙_SVw=zIGO_,Rht `ܣ'tgj#/dKg`Y"ÍxMဩȊ 繅Lt/7n<T-Ai6ڷc_7?CScʄp=Vzl-!] r[ŧ`bݞL4EH H3-ġ3 !`+UP䬈«-4BF)TE:sa'yH#Q lѢ MyI`@Z4%78 qͿRСi掀]W5\^Oꋋ=au} @ ^ۺEIxi1 *LhfMz8rJJ/Y@_]*`v e9Zԯ6P'eP.81 ( /жQ8+;S(<9f)NirXli)^HcގK?Im*4C M_~)ORgӷæ2+ z f!&J0bH{AD(R7w= 8y]Pד7u. m"4d5MR421^aQ&X@3T90*ӰK }Ҧ{s['੕PU> (3F>pL݄ fl\M4ՓB$DҜьjCH|ahyx[H14NJ1=^QO*PWc ɢHdCcFJ7#Sl`:B?Eb4raxhmfk(VfCtkѠc%mQqĵ&emWq{ [>|Y^MFcU5 SgA}.9|3B|4VeS㵂ooڃ}ꌵ/3\OfRT3bL0h.V}.ni{+ gJ&`cV* 5@ 巓z*]u(.MM~ 3 ݋~CXxNxTM"`+X;n{+u ZU.YG+j3b\JJy7gmjz1KUOt?=,@?VӃYfo[;[\ꮯ 3gXEw `WP%i,:eiOVm~#=iaXQfmp|>4l(d[B1oyBÍ.8c*<3`.[r"`z.G l#TAqe%?'c} jP|]AWATKkgW'* ڽc#2-BW!BĊ}HK'M5#U%LxLZؙ=h[X"qȺ5B1**ʶvI]+Y!vWcAJ[|gɤ;䒧(]jkeGNC:Guqla)ؗe:JdoMI|(ĸ"Ү =]]^V? 1#\ EsdX\\g ia3`bl. NzńZ w'}JggT*[WuKN3AC+au*ެUfljSßMY8f*K©7<_5u~w VFAUY< B(^9jȠs_'A+iWU^&QGCY9X $T0j8'H; GڀAuze(vmoo,;׆Mc?~!ɺNHzίmȃFP&*(1Hh2i{ g'bp5(:md(Sue4pX9rwԓxEآY\2Oj Wx*r_ mF nW\ a~rW.0hlyݸ3){b@|ImOvC3Ub@ 1볁S6 $E:D8őN^"}f\F uM=R7H^ =[Dl~І6{ uip@䷿BͨIi*T֞D#YlhUK; 1lgu^ERh,h_ I$zxN|]w!. c@EQ4>^1ShYvkO=Ztq>B+8>jL%hI4dɲUas]' .n(ͧPg+m6\AqKJfI('e%5sDq)9/9= 0FX (92ZϏ Uu5s i4StD.%@?\ۜ0۵8d/:!ZӜ6$>ט6H @-z.MK` *&gYZ  ?Y+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$ROF0G+dj X7ʭlƳwsZ~X&qtpj2J z˩ԡ4+z,℈:EdNMR1w}{ Yk36.aA[&@zxTBdGВrAwiR/y}>:mT?Nv/qOەLSHbmUKc.uh绉%_C;O"Z=V8PbsK۶ wԱ]T)g~EfO@ ) ϥխލކ]^y6 ğNsEZ ]p{}+c l@OR@vPHMrb! YTEۖ 1TSn'hčw_g)ЏAB6({ZgϗU)K . 6rdak7$""Ln"'Rū#YRrPbC^w=3"6멯 o+GZQ,}9zւj3N167Vd ʙ;~pod1)HZ.lcy-,<)Z 6¨H;]{˸hZ@62[-+åPaWR,b_ ;;LTIF7yIő-KgYZ +pq&Qر%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+V 8)%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! ńΦŴ2ÀqI0`mӢs4bv6t'iv]WͲFߧ16#T*SZ򈽡lكfk| D-8K]tp(~3giҡ֟=i@کP'Y!>8"`DF…d"zy( ꯴q2+)25^vh,dQůH,Y֍L\V3B/4]|LwK'ī*@b˜\@PQd\T /Kv+3,}aHwԴۭ[Mh$N'[^֡(iXTdǨb"O59٭]ݶp:54re/ܼ#Nj14Np?[{5'B1B8fNTSކN AI`= U.8T"O}\wNTgo`zɁ!oˁ:Ԕ9o#]MARtYpq61Y5 ܓSlcV(Bztlj ?G6x6G\ 18媩QBi>\`TB6 RgeƒZA]?>3]_C4ϰ=%YIB^1đQ;t{&q28G##ՠ,ڠo$3Tsܺ@v2w(  Qa+QZk$[uIHC~зS ?NP}KN8M~~mVRԎNhQ ! Xs~[wO#-bdDXBx)1"'&xؚIZ>W̴*e\zI ꏠ?8wQdgN ]3CՠR}Y;vk9)T@6=5ఞ Rf:0 &3>P6 2gi H]Cks{/p 24NDl?9N• p,+7~/ܿ" #{$q#P>Jѐ(YU䃶vN)ܠL.Lh'Puؑo ma,q022D,PX5"a}g _U \Sm{sL JpQ|JnsCssl|D8.*6c.+R( 0G6iw1 MȖRr$%t ه8*Is,YdPkz ){ȼ!:q#qQ!{{2ֱN$#a jwY6A B ww  xrr~w"Gzso e I 3^ 298Ԁkowh6>8hWj)sOR+%͚Rvx r_zڶ8ϫ[p7Iɭ\t\w uK(# 3Ir^ b:EL7NϞsCWuL}w.%x  W 3TLB %_5u[[oξ$AgU׿+W|--u)۸$f {A9jL >[W:ԾZ28.ǓWo`}_`?n]<1O[A2"ˮu8!-k'ʏ?zב+]BzM7|,TOF-(p {Kd]TքiWXըO-z>P{ߟ^0 "3FBJ! <-AnёJ${٤X牤o|zԉݭ\fZm=|hhGˡt+Od, #p|$Z@C7 $*z xƣ"gDž/9mx7UA˃1/6GCH"!2ޓ?!fr?o|q(,1dꤛEC)J@_Fgu4,Z% C)h[[Zx"(eWfn)YB8O +kHs|(Kk Ycxne e(&%DDovMœ*/&n2DN%3YqfBP+[/qXx"KaAnjߌ@hpabeUN3o(@Ldr&\@(呻@PnU:bO= O;jF+/j@b QPfj4,&g棎ݯ)g/# 'mS^:6f`bJыj{,41TwG."#'Qv3ـ1xMyQ$6pEΆ@Q<^}]ole^n|eec"uM;ȇC U?}jMK\o?.W$zƅ7 C+q-%Ac0<8{*RQ9%[!T%[&J98N'.ԸӦTd522> lKE0TLy.Vq3`Ո>R0l*e ]\)<Ði2;C2{Fhpy]v[_ xc!u ,;' DfDժ%G8McX4eb<3 %>)ilihNӵl0&Op̅'s#XL75tnj2JSJLnb2hy#M߸ta9s#8.eeuN<+'W]=OP~ vO;XlI ܑ\-.lJieAFo rj ]Y T4.,_wWVqBcsNk=}9(VAcsixͼdqݩi:\Wi#_akMJWD>C/[,k :3këcv,A&^swN}hf(E`?fڵN~CL&.کa.2v6;[r "0쇶2g+`%N⹈XfKI:"i6hccVꖁ&7f2%{R =Б?uCF2 vcv` LT{jX'_S\/-\ AKЋ-5ė Z%8~W&T@yV!g_{*8h75S4P+mu[{xw# MI@݃6iU?xdBHg$^uiRsZ~>}2mB E`JS593z:4گ<%JK/ o>،0~Vҽa5Xio1>3?L}( =E9kSZl]|EX^Aoiˉx_F^+8l޽k% p͒D67J{Nd`f[OGĀ4='^pmRk@@]ؿP |Ɍᒘ>"ϧ*.<'M!r_=~Z,Y ˶Bxb2;ֳ4@!9H(WّEniK{b7Aa.kp.%㴹a <',s;LRpv/ŢH}^"FcsDԚ%tmwƏ`MKJ<[yٿaޜJ)h|A𺍯%VP#*Lg?<7N{iuw{T{΀l9=>]M%BWl ?Bwf6a䬐/fdqDf˴oe3 mQ;5@L;YUݱ:<`{6 lpèjNGY 9&:dC뗹(&b[y/I26w ebk6[j{jůħUpetgurR"e"re3)l̲? )ݱ8i]2zC4xCfՅ7Ke gF Yu@1gHX,›feO;/ [>*vY=}Nʮ6'Tb[N=Bnx@DaAo )BvTXHf涒^ŀ$eCDTdKewUS^d`-(}=Og,O2B=s,~ZA7 GGd<$-$g^7gX XIRdNh9V uJ^\v1=j6DuuAHR$PV8˙߭ٯ;h&PRWph+?'Piozm }{.bFEjWϗ,ǀ9EL46rYyÖJDeDNG U6K=քX !TBO lmbo'EO&K^A2dBҳ᠆à"y;-dH%=Qabp!;7rvW;q˖~zA;,$󝥖^ZAch?i\s>1Ng|=~2^!ZL?wp;!IH!cF,g#|at^*_RnUNpkA"ܲav6˦ _e\d5\Z{tⴣZ%I]}FR JE }E8Fy%A8Wv#`M K:ܟb_QA׮t," LY[%ca1]@hai &}ߑIϢwAS;;)u1Ao'VXd x ) (B{/ObMBCep nnV0${t V~\}lijVDK9 Q`, yr [I/6&=ɂ6wh{1WqpdKnU.Ͻ˜%۝xb+_*dQ0{u&OmF`0ģ3T\yw"qGK Ҹox~]O:iT>#\n^-_d$*qq!?Pd~K",x5 ;!۱sZАtE~S2)C@+ IE fq-d,H- 8.G15B?aU :ze8Boٗtr)\zcd@s㿷c]1La ]WeFf",vJq2s&$=]-![qVQBP>q ޑ +T5(%]1k*JW ZSUjfSA6  d%NP| sVwL7qRA#@dl1 mKQM8Wcn^7 ymQ*&#i^V9TPB)m`PkFˁf̓M<_ Z\$7^cw0IBɅ @4#0N*?c/wծ! ٤tM~3"ˬ"8bh-˿%N\25#x >Lr:I\JSsC_vh; P ?18N!dLlK\ob 5)ie'[xg$k=;l֒Z>[?&31̱C78Fz$|XC d7Qg T"5*Ȣ~*9nRwTTS u[BL H pSMZm[qcxr|kb]ٌS2U;<3*p ]O1d$.oaU>"Brä{&k9w7xDWZOECʗF^g(%"+?en Þ3o+U 6;<<$OhRv0,tYߟRU{OIskh=Z;GI^ C-GYR&7gBM~:볞 p("WJu} #ďE#Wh/Z[ zV0]3DI4wIu|gsF?;ewaUdz0޴(Uz<=_h`VDnңl/d|AJhc*/#Y+M^ ,cg\)>P@{Ĺg jbɞIN DLߥc,#Jή !6[x]_3D=렰}RpH3G>K \i+3 }q4PxTIP2(EyY/Mj[̿e0nvfR#<چ.29u3zG cK4\€\P`{!0μjo9%&a; ʰ'm[߼cu}K)پÂn3/ΐϟM]Tg :v$_ YZϾws,:\zx%S [Q`g5GHܦ53Ih#&FAaɴUF$] ww"3-,O߸|ݟ샜lqߞ35&u#PqLS"[%CU߇z&m&}(L<|[v kE2[ C~;',+ڲ Z^j[7ei0 OoU$dqqKQT [җ**??,M_Til_iҠ$ҫɨ{#q\<ש{f5T į\h #%ID<>Dls{NܚROLPnP8X.~UPŏVvDj^81 ] "ֺH 8ri d쩐 )/R$*/ -jnp=8 O~$"}.k,b;zzȱ@>-k}!.}dn߹{d}[ `D YaBĖI݀Yy݇=%g6280Tc݌IJAv`)6 O3|,qq3ȴUly9WC=DAbjNy)LfXWwt25gtTO/4+kcnΎhv9D|2"hr=Sv}AV!=OPbrN8)ET\GWm5lܥ>/Y,,7ƆQ UuR;p XBWr@ښ(Jjf$"d @h~Q$\N!)q]BTD҇750~PyṔ+J$dz@(5a ˈ}J.qaP(?f@"(Q饼5Yo34rI'W$"tK|~jO Rm?iPYzk @F&_ ,V]?KA@V+[q"'MʪP!Ep-eaEYuD!{ spCۨT,%j8/ɝfNP:M>>3Āl/m5B}]#_V͝YrN}yi ڒ"a7fI@ssЃQO@+GE8+NqP,$uiijk19 M;8>Nl֣bM=[VÒ3ߊLա;_ٝm~&s*=8Ipr&0` ^_L}Uo쇾[s˝$Vs(ȇ٪+gYZXs~_G ٜ*:Ѷ!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~$+^+yyQͩB[&)\iVS\gC!ۘE2+dJlKE˿C<+UCO۴ |u]">iŇ-oP,2"R.lt:41f>I q(,dm+OՆB21fΛQ{^oͅdTLkS,~r?O% vgo _%knw<SO$9`dvsX?+QqڤGSd|0J4_@A#'7,}$cz*/IpPw%˼=Jf~ovX mc D;ΨX1 ެ TZhr$`FyNnDQ1­jBH_&Дhv)sJ!T7OD{,o ;r[)lE̋ٹ;T2O B$t3Z/\05e9A%"]zǀm hz!NW?.&u K1|]W-BŨNbFu>Iq@TV6[ٶҞԪѮgyF$+>BHR  c-\sgQ4RY5I! л$ 1{S'*x:b AI;-]^9b>U; !gnY*ퟙi/*!y6c*sNn=qAc1:~}gRAJ¾ _r-oz]C\ i~'1̨|C3 nʦQZ-^Pyg5t} #Td$$iH3iB[_.0e~n}+"A8]` Em#pil_Y4_Qq lpߋ7R#NnKRXڇgYZ DD7 3S% dProbabilistic_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}` n 3Q% TProbabilistic_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әK   33% DProbabilistic_WhileFlow_Networks.Graphdocument.tex7zXZִF! 5A]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_)4 3u% 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)l"&&*QܒM}&JG'R40n04u8ݮ`p;%ўE7 ~e=5]m}ɮ/2Ѹ=t7 ԲzM*1Ci÷KHЮ_m&ڜ~,!ߛ3s}Fg=$sJ/"K٣_ÔZW=DH>rGGmeYGn<[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$@Rf |1ddu˧SOK1'@9( _󬇗qLW|IG#I 5[77"J+ȱ'-U-:&h:y)+?_"#*|4AD4 +% ?|xra~OӈҮλB탷nסm Gn qŝ` Ig^c K@;n!Ԝdd7|f5FӸM?N?̷4y""%HqXb|5~CEZlA3#|a5䯰 eoAuބ3~G*(ϗ +%+P?ΏPO>"^s⸝6~;)KsқJN0V˯[_Wl ZE)cE9o' 7ZjLs>}s!p%5eE/F&hآ`Y|t!+0 ^Z1AMOyqr=!j@~Qz(? n>fb5؎nџwJ}|G_}6&bJX $PSQ].>%LyT4 .QeXg7=||v(#k" m >FnY_4pL1|bMf̚9 7jhm Hmc| wR6C%4ᱹӚ; a Ykmʃ>b~F%}-r`SՋ5m>)?M&4;4!.g#TөW F@}Ib ޅ/+8bTێ,ݸ̃q7kdB{64jy"ΧX[SZ1ݧof #Dp@LJ9 geVD Cѭ+d=-4}{kN} %3W󽀠]ŊlI/|_ Y BYQRBaqSJ=z]VpQ4]T\_6Z4CzU"] ;EEOxtb/9=.OmX}^͏.{mIڄakM e"z'LM4?uڱb{ǭ+[5@?c|4"Nm~/ *˸ `ve!hTZU}5HPHyaL-5N<0'nxӤgm+'-[4Ai JZT5JzؐBg~ˠABlHĞAl}fۗoEcC븜 1*/؛Ju)#,7Mŕ(Xa+݀QVrx aOP>9 H4 =4[4;[Yb~I(^E(Ũ\4RNT8̵?b =EJ&-;٤ҕ&x [OisH:yvN֫|tGu[?e؁ZPO4X/Y&֊h3Rq+1?X:IIc{2; A;G/xxϽWX*pv7 F2£06_@!BRY/l䖘y( ;6cf `T I%pMAЄkc}ryp8;2q[cDŃ'HDgVT;`gQ(\jQjȽƥ ׀:aX9}9rf]KG`is"*yN2%%S]k_P(y{]ukjqju>r/`V,=-yy~ M2y΁B`^cejɤEF%8{yPqѧU/Nq4d]Xh}:}H9(@ OPj| sWpc'#NɈ+wt_IuWG9PZXDZ+ؤ`FK֭SU|odJCcګK܈I>.JQO7HNn6Pb80I6ߝWN׊(MQ V# hXU%0`bE8Ճ2y=&dYC={`4Qf4B# ]#($&;~t  DP'& |Dy>3-ʳtfzfo{5@5 ƺ:q1b\Y]J =Q5JuW U !'J8zeR)YEvlc?i`NGuޓ ,ߔؾ"<{ 'w/p3bwhN ѼϜaBҜFx]IpahT[!\(D>A_{16uSB,N,Y66Z1рEJ%H)foV0n=K™ Vpe '8=qsqQ!agH'o&cKF.1|N`u&&+J-Kk#*EzƽM tyYJJ5hdΣH{ɝ@`o#' CȽ;g)a#[>0B^uA/\>nI8l7>o+'8%Rh֒BP@GSG4,esj&bf"mƞIYE5#ѴÆm'fy|J#Sw8 v`?ɩl(K,͠ Ax;WUdZɾ.y=c?k u^\埯Q8Ă3(ϸb34!+VKR2Os'ah3EDv7FDK& Mхjl$~sZl3'>ҕsa`ϸL*v<5^H90)-Pavlr{5d^g :w*g%n(A:[ xW Hg *X#Е8Ou!ұ;(ӿT|&":%4dt^o}x$&A# #cyҞgm dJv@gĂNw;%UV}I4poyq3]MUpQ xG jHR bCL-qTgʆﮆ 3,MGRG KjRr l xfA ^_#JUBcO Y yK)~$+ʹ3XݓD›J*[uS%jA J=u 9"J]Q>j ɎW#@(Ơh%'  5#\FpN?%V{zP:%3*Lt`(#%dAY .gƅƴ 5+Kk nVq2T' br:ػQQ擦h 2^v܌noAbER4!y V o<W;kk{J =9 8dqڥsE#YFЏڜeP'mRt.GjixbKoX!>RVwLVoJ&l-LAgĘ Ucd︙Îo;]hUUbM&[Ybx'qE츏{LWc?,T!sHpX:-?"VTB|I<ݽw^2* d̵zfUeT 2FI:)cxR5OC nSu¯VJ o'Eh}'eKFOn~ 0*E_ܭ.kIo;Vej$ LNI &,:9ow9 p$Kr17ۮ̿Msǜis{YGږ4V{cc$YR1Gc{t*ރb8y](SQҗ+Gd~#3WW2y6ھbNs$moJtCCAYaPHhFZC)j@);|:Ɛiic{36OE#T -e za,Y<=#a :\g~c{Ȅ68*eY>a-FځEo'CT]g8}7,TɘS.h|U2N]G"e^΃| d kd2M>> W G:.#m⪕D;b5> E@Ԃ2=V^v%IVN;xIO"B|D:n4V#1/?RXGXzymɘB0U\ڙΞDtFu]C'd8~;Xp.|ѪzEᥲzt3655UX"x#?}_/=[po?8jccPкG8 NQҞ[,$Xn|^3?V8MXd6mxv.u} )p/u NR٫x',h[SO0AG pP0'ɩhk31"í8 nL|ìy4Cu@V6>p"m:giQaP@E?x4X"uYcAkjl&by6G߲-aSqSgȉ+ִ-ҹ3tXi2vCf1Iq9ws.kʭP[ 16 y="\Ex`$qUSQs%?Ƹ"YB>⋦g,V3 0e"j,V] d2׺fQ~ |}`>Z4uaD~ikvh'͘JNZQEjOɸv9L1OOa}/ 5 u]9ls&L}` lc0J($g[b^.2?YL)-M3Q_N0jU7@ciF49e@w0lCX)U΀2a(c=ɉY'=@׍|PrYfT!Q/a(00nBP8e)",mʊ/_ \] %$eMkl?. %Tr2y&\M5{lF1! ¾xƮ0",Ϝr0bHYv= pb')Ŏ?/ejI1z>\֏ȥ{f3ĸ5ʏxR^}7`*;>מpS(,ϦyBf)HKz29Y)|͌a/ֺvD UM+M,/+ğ}m\Scwˁ>3Njżd9AώJ ॻI]1N;IB Qd`T`}o-/ =|fsȝwAz&r4"uj8I"b&*3N(.Vŕz@pe\cy̯WkW'a6F]\.i7156f2[I#x?*y5X#1'=/\x4ڇ-1>OzE'fg^c\K9\LK£sw/r>4xg$;(zoc< #LpE~x3J qe% zaކ`H;sQ)"QGv8pYNmWnNjj\WEͮc˕F|qUSkRLUN.  #ݤ7pF{(,l9?'B\x|@Ӣw7j7t>/Y&E.Zwa/yvS.E5]fdXe9QUp&JqZp-tMGȿ Ӣn: ~$*/4c&<{]IcE$ 9)2Q$P(XpYnӓPn|&u?*؏̓m [e^fL$ڧhVuO|^D GP”\@Im.XwӀQ[,b^sN/Qձw<n\W^ &_I"RC~PD쭀#Dp_eV;Α^O|EVdiL $? V~gPH FXhYҏ8]EBю@N BaEh`%Fnb0/É8`Ah$',ҠEhc2Di1,6 3gLm ӒgYZ Ƞ" Jb`~쇠S bwwL~HvUn{ϫqyⲶ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~<\d]'剛dQKSp@ϢSH8LBFؾjGpW ")m,k4Rd[kJ`6x: zOئ zrfVK!L9ir˜WwmG:Fv5!Z`,? ][c8~.I UUI#/Bnk [+ ~I(EVoyk*Jsdb::17-q #)GyԐ1G;-#FBGy(`yukQZ~a,7VbWGA7)!m E0;3wW>GEE} Т+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^MQ疀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 A3Q% |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门8Lm"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 U3ei1YC.SFDٟc$aevl4EZ90&2pb8%&@o$g h*%1oЁ4Vk#<-҂Oy[hS에۹0[αll ڐ*;s2T `-4_Tz!{L䪊KLE]m$;|-_cXKN,Î IENsGno}|bVa *Xm8joxQ 蜏baȻ<[ΰa@O-|#ƥgQcs#,oazA\y;x|gh!Bpɍyx|/7<\>TS*mq0ȀX>@/ \vT B 2%&rY`VW;-޺tS>K3.˨(qe6Fi8ȟHlhR#I6aE{2?1zzE+Xt#+ ) !̐Is ii"05v&k~$#ERߥe0ֆ%V63OgƧݒYjGN縃1eLjcf|Cs)~ݨH!&DH{1u߹+i[(Ttʞ9;h'0(**Z&'hK.ՐE@DҖNKFa[h2[Y$7/̊q40%%GeԌ _W}Ƌd|+ǰQ& ٣\%#u,0oW$ /mPu 񥰀[A(cbbWmC4fi}ٶ[X뙋8QϭN C~P*=b'cp졦e)VU ({g~߂ך Z#{=M3Si;m;SmxkUAYoD@sOh^=1.[gYZ g 3=% \Probabilistic_WhileMFMC_Countable.MFMC_Miscdocument.tex7zXZִF! he]A-MՋhvG"uIBm560$gXm46Nr,*͕-#KK;qG%Y%Ծ+砻%:qLPOWA{L6#7  #azC%$Vb4G; ]\•ah.SjJ jdTm 0V:5N/ .Æ صL1`ʑSu؈ IȤC1o,7NiP^u0ήMZ)Un~/]ϓKZ+8 ׃tKn#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]ykQRR/аюpm(2Vtifn f7n@.ͼ\SX,iwZ*ƭ7|:~?HOVi~S9xc2Ygm97+n+sg=vDS#o?'óu³[tgWɋutBkc62h']a唷九c.]A]bPi , ¬]@q. T!Btx&z\̭/Nl|̐$BNa^5h"Hw^|9SFGNjPW/j{-Wg#p! Paנu2<< V7[WJ|θg)|tWYb\j:>nMvЃl_dnqQ呚aщj NqG`L{қܴ%1TOƂBWG3Rc {1>!ʷ˜.Nx1p]WİAA!13Тި |ztG@SpY!2 |DCn"$Paf۴םy6c<-%뻗`!G|{9Sj#px5 se">f5u1N(?SvHBdIޖKQM/Pej., ڿcRԼ`8Р>24C0GXʵI):g3epuh/$-?vj~)>j;Ƶ"Po 1'ɤ6FPXOCءEr:1ƯoNt28oʧS컮A#wRn̎Ӂu?햭V=cvn u5bVx8$@́w ^TԕJ€R--yt`#Յ\Qt:%{9CqJ$u;.Vh4ʝ)خeEo}5D c׋*2X cbОrC4~[9UnpMXNfe @Ĝ뉚3hكhKWF2lم|p'dZ"#W6SD73[CIKwaO6*9"V"~;\t(ӄϩ7Z?Vx!~hhnCkM2Q#t@FsԞ\u Z 21S`KwKvUkuDHɄ dCy2K-18w)&ux(SHH} :xAp ,Yx4r%V=.`u a},  '$Y:W!X=]7qbbbhnԕ)NU4_%rŔoa !9 5Mc?HQO.:0މ'Ià*mϳWщczZi0*D*귢ZKÄB  9ګQELfRu@quaҮxq#蠟2_.F(f*PBrl:dgr׽7Q;U<'#u{U(^հ=k:&ΤGWRO0ig;Uks;)R v|ڠ5nr[%(|Rgy4mK =[J\~%>\Ez7;RUbj[W)<"#bWZĎvCnM(Q@l"_}CHn(iH.r Vl-[6,e`y_Ha:Ȫ&wÃZRF{Ab-=D֢-xXNm Q7dr[#^]K!nH7,t/`OX<q$p]z9t%9^{OYณC>7굫D*4! })\PȖ2׋yrZv.]0R ʐ$+w"Gpq;3߀Yjj:/7^端\6qı":» Nb`Cٚb$2\mZP)/<qgގ };hBޙ<y>x<C¥{b[vX <+X*La1Ǵͳ@Wp)i^r*>%o Q4eMӑ. sW}Ap_ª7'Sھ?h#( /aa!cila&nwS\mcܛﰉfc mnqxW!g&8XM)`-l ǖi7'nj0 ˎbMo읢/&C .>{2_9?7M+J:b@֭qtt0܈g}GsׂUxSgts5:N泹A >>ɋ|73DTP@&+xO©;jB;vjYrs$ k8Usx:ɣak޿ȗ]xK6ˀX`>GNYA:Ժ%O|OV9R4>9_ፂzxAsY-4wl < 0xBZb3%:t˽渨{|)*:O$(ڡ KJe_%6g.CL Z\q69+w 69-=>OJXROR¤X=^7l If +7IS> z00kas,@r96CG)&Qw~~4csi6+usL m "˯Ȗ&}|ϊMRLnE |7R(+6ibNFuSB?2#+hB#n!^-.+a+zV)6l|XY j1 \vkȵÏ!r]do@NG NJZk{Q4 v|OʽMB(LeÆ[W:Dp[`p)uA|)` m̀o BͰrńiL9LeLgI<|^Nߗ|%֞!}#*+<8:z8 heZHOPV(g6]m]#䃱_\fid*4X\5[\Wϐ[@l7SnCq|:O|c&7ίZXZ D$HvL2RC\&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^JuQbum׫!ak ~WX({wFKwuy9P{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-NP-NeM:7=(^ۺv"ZB&/ 'S'gZ` _jtFo<_;ZjMƭ -X5,2×x4o}P샡~6N+v_fw л$)!5~ y 5ZC7q7,Tui̹2ctޗq(L8gYC<ȅ&H'MhYr|5Um*gey%9J%guC3@?鑳B9VmrEDJzn&Z-"gֲP 7QRC\:9Ŀ{{j'q*3I}*DZCgͽN](z1 t5?芽euRY=.bK|nGD#"Edk|J\imQ.6Z%ɂ|TN.HH=NUڿi@`/ .wء4&;"O2Io ^Lؠ WV~s9$OcsӻSqB]"=C-0. p+'[P}dž@4gt@}%!)gޡ P eKhw#D|lNn nٙ*vĮ6#'ym [(VD},e 1ՏGg_|uekdcd,+ѩ/ ,~k#6u!8 *2֙,&f Mt 7?y@XнD{͜3E)k\:3k{M'ok=:cw %SRG'a꫽Rꫯn"TzJurG8h0#ʄtC.4s[~XSԂdÚk{Qj`0[*ɜxX$9*h5@*QtW>m~JBIrs'4)C9}UυCzh-H[HtxN9/y.E弮t:pDi|hwƙ9myo neJ=W jN~61yo]&_ՄJhtRu&ѡ#„#!Uޟؒ V0LΥ RQq뻗hoq f4IG3/$DqƗnheWj' ^un 9Gd'RHQqv4"Q kfB c5n]hqP\$7~?. ~k:C5d:c;M_r0EX 7`J>EZ3E;nGhQ(\ڷFIM(m;."tư +)gC "}\;ϓhq.Td3IE}D-xF 烜s˱[Su LapALg )-TRaOZ9>: ?jtTPpB.!Hat)Î+*Y3,ƜRDU&쥋?u+kYS/IB할L-o;]vWcd==S]]ZNyœ3>Q:^2e^001jhe6oKk?Rѩ~8ԧtU!ec+]b=|/י:bt#E*І׷ԓtQvC{ӧ^d~^t&nJA]}ENjdBV75L[RaC>ɥwS ~ rXN"M `_-IؖG/ _׺Y_(eGUT VxgjXM:L? y|fޒ-HkBDz;g{n$jʕZJ}ŗuh5Yi]=A x02к(ԙGɞG{EZ* !`iTVO!WK{UVoq43MdOr*)9_CQp̟+'FuڿlS=(dq_0řpNw\yw33z Kn)hP_U_j7$h*X,,y*ef.k$^;"<7x6BQl&7sr("&s[:`ڀaӎYgxĿHR*5L7xf`!C- a#iu~RICLKӯ4]LDmbDM̅x듂> fAG*4͝-xk֑DrTHY8 ]r_Qv< 65;J DQ>/CT1`Ql ӝAlRTo7-;&.V7'Ռ!y2EgIgӛ RH?EzιT%Zy: 9T6I£Y[ȲgJu׵)Bvv?J"'$pxWuq[9tur,!$e?ҌAmlU_,Ʋumvu1`/0 T퓊 (/JH!lى\ cƵyڏ~(8w{.-t1[ݑ_(mh>8^:C Dgg<\\5:$;^/UMpsKOV:2m\$˾@n7C4|Ri-[̖+̝{F'c?UAmBj~֏4[ gBSVQB^]uB^Fe_wld.Dm/;Ewx䄽 z >>,\5?TDr_ ;Gs"(~1kLu3. (;ySl` 4bEt܀F :u.18YCO`-lqA0(]M>_b89Jzv qofZC#WHF5*׭9J]3τx8 U'@K16O BϫAUEA^{CM@e[=iʇy&)Yw7 _o.Rl(NRUG?l4.GLI #6'o#)UeIfwS-?N?*g)o&a·Dprp On =M|e[%m2IX T\N>OёKtt{}V6W9rЌ{OC.@5kD^yе7~WQ +Aemx˭r ߟq@!6sJpmV)#4+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 !xY 8٢Vs;>mH{tïxewEz/nJE( ըMnhHs.Y$#鸢),ގ\n{%~x6"0GU؟c-2J+8KgK+k:ƲyS?k,U췎 JMTɫ? *exo!df)3^g_'=7x;l!;pfke8.M}m]d˩SkYDn3 ӂ3-Z-~EYyHorobX !tY1YPQeL)!rX&6veOR8XyA+c^zj=u{ vbϒ?L?zgm㣾4::)[RL.la3;o(8,ϽUa|; =A+JljYHY. K#q|koz$#);WVIZZ4UJB;>7XJ`h4{CZgx-ȍL=ghYq Ώ]R!58*d*\PL=̵?' =BbA"% +:!7//QtBՄÍB-SF3ƥ*h(Օמn.:޸ìTvE#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Н$0 3G% dProbabilistic_WhileFlow_Networks.Augmenting_Flowdocument.tex7zXZִF! T)]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צަ;'ᔉ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*=9gYZ  3G% DProbabilistic_WhileFlow_Networks.Augmenting_Pathdocument.tex7zXZִF! s]A-MՋhvG"uIBm5ŌwzB&-icHW'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/+`قЋ_X$nY$Bøq!R+QgeT2p|0EٸlH V2.ΫIl$$OvrG+8X91{fxt[4$\!]%'|S|ْ(yIĄQd(Uxcu~ʼk]@ܒŲOT PȢZd'HL6B9n|\rx`[A`u@u0ba0If-EJg&F^(f,^V%n;N"ali_~3~4@=ڱ YJFq[JꬌNaCTMV9G]<7;jgYZ   p3G% dProbabilistic_WhileProbabilistic_While.Geometricdocument.tex7zXZִF! i i]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/&7f)!؝ k貴اLbm{4Y߾06$@UL ENn='^K0N/j ioLFi;Ny{ DV}+2UOm݄'QbW3t PbhS)X aoxQ~73Tqksu{"g9'`ɯE45DH@ erfG&˔%=~Pֿ^[ED=y"/.H =Q̈́DI>-1{W86(aBdh̰(Ok 1xTHu?nEhQ.m]'u1"F}\+W&-vvS뉬 獋2:D ]3J {Gnc[*)m"&lX9>tT:}չ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 rŕM a"2k,Tfy10u`)3 ʅo{'nV^Wa\^dоݹ?d{V|`j@BZPF9kP4[F ڼ`R4Cx)fk1^-c$"8=t x`+ݜ$QM5o@dĈ 3?YLKL"rIHt1{W зf!>+%?R;,LjN,9~; r4*rN<;.ȫO8]v)8@aĽ½KB+Z](Ǝ *+)s^Ǒzޞ!)8v\| ReQG΅ Uc 4C40 )q)U |o' q?jAMLuM{[AIV!@A3Ys=Sdp2ܔv!B񳥩3 $f]3$ pI 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.F$B%_D8Ml:@wzhY 'CdKW$a8IQ2t4 U9p_5^SrՉvUvC{W,W]n~PyDpw ׊V_n+oI?Y] q,͊͟a1um7 \J0jzu0^E@eԕzUUʴf7+L3^hKHt~1j@)JMOc xj:qL:S5_C\Tn}\Gّ!Nok׭6Bj~N@h/Y_o~Mb?a qL~юZx]lJ_d4N<3'ESX+Ai@Kb IV>Ԑun[wMgYZ3K% Probabilistic_WhileHOL-Types_To_Sets.Types_To_Setsdocument.tex7zXZִF! Q]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-] 8kڮ҆ lF]_oqVs Gxټ$.g - v!:E1:aֹ a ?A/( )mfy?@}=q+3x;jyd`[Gٍ\>#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/ 'gLH2cl1k4WhS& &=m[V*b@|r ܐGv!R6P&эvY+$q]t Ux'_{ t5Y:wea7[X -cvR dzjM0u>pY+7?R GAv"ݍױlti.2[586F]NR,xO6kLGc1닀;U1h'l¦jH%\a<`tSO zlpW׳?[;pTx*Wr7q* oϵ, l| ~tv(i=Nf4EfwIUu"8gYZ 3G% 4Probabilistic_WhileProbabilistic_While.Bernoullidocument.tex7zXZִF! ce ]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ܞȰÄ ]0vףF}pI/(lXAɃUϴSD btKץPMXk BFFoW)֒s,j'!@*(I:0'H,,l,}s(1F1S}STŞ[ |(~(/KEl)ICjǴ/ެT[NBn^#ϽGK)b5T.m.1o02pDZ](k 7&- C M*)g$wԮ߰חۥĤjE ~l2js.hǒᱡLS-} ^&xh궸19DSwyuôM,HcQCʝk.-a3̉ -}?b@\~CFb3@h"կIݲKFj_~-sUI)w<$[>aSUJ$ilK<YЫl9=ԡf9DA}ә~zZ[..Q>z1H ϱ$fuفÂgM@xS| 7pUJx)bh:#g鑰# ͤȃJo'S[&3!Oϙ*||2L)2{/t6٠*U0YDisNϗs5NZBըL?_8_xF@8aZFq*ըC<~Gƒx u(k_ $CK{ydwm'ƉW x h8$OSƇX ȼD4R&ƭAt{5Àt-r PKI n ]_-b0tT|iB'߯efsWZ;%NVL~ǰ lD4VܘϷR \0d*c/m/{-kL\xȘt*Z1h $!y鄡24ٯPN:~v>^hy @!:L`4WeGK.Z6@'Va/kXl1emo95PXxAgs4sT19RA݁:U$ ):V\jmˑ @#0c</rDQӠ u#]a\9vjrSER'e">ƣ?mA4> H;Ii/|DԊw" L%KN*21_$V:$gg/_I7w՟#$QhUA-b  ]!Q׶O/PҨ?y]%0HDCtz""LdF1gvbIKQ*.Ce߭T%}hD6fĺ# u-)J5 yqe;ׁ^e؇/c*G>j)Ar_ËǸ;RAU׳@ABe+RHXH@mgde߾q 7^ І AZE5< 0Uޟ졿[K~ 4I2qk:dGYc:XlY<ƒ{K 0t =N M|⊺aN {4*$t+C@pr_0] NSrg:H<ї;˥A J|4/$,mo (}H=]|0[$o(?jȢwe0CL"LC͚&ϥqr 6XC#]HI3x5g]P8ח7 $8,=h;Iа,2Y=X?G6sq弄~E0W-̘wxzZ{qH3¹if7ĶY8e&|X , x=lsu3IT=ڑ>2˄{^`Y*NNDn`# Wxv'uil3xԏO/p>>8)$aϣtw N!x7"p.%W#+kpz"w1޷ Bh/!`1O!wk^Ww\!Ώ&\w;~$@l|ԆRcGxdŀ^Y/vNGQp?0`}.zXՍŸ( 5J霷.-)46gF+5eUWVO9xvG1&>NS}ĉ< kch1{XD$ / bnbֶ`^&\xVi';qxLx: plKDg-;Q[dM\R6ߑ@:~yJ-q/ɾttj#2ErU1":B'Oh.9 W7f+j7~8CsSzcڷCeZkw=}ֹ(l}c/'p{_uv,l Um0=dXBph PLnxfS^a-zSd (Jimrz>}n[(^wengl>cLӋR]z4x3nLxeSTH317;UI?EUnOiQ`SrC/N! ШEXtbe\]"-&f^.Q^|rkslְ #t=^ILNs\RU訟*~oWb؁bE/fg!tN=t5y)],גnGG8gxw.f=|8^dz%]i8q g_XYWZ>‹EdI.x B }H9{ -f{ӣ  #8y2P2S&懼*_8 R/ nmAJHy(Pv/dN\ٗ|jrV AEfaUw%vf6j,g@/xaZ+΋$&k!Vu_J[l3uULr҄A`f(GZaf ezYI>4i#8MTKR@"BBĨdHɰGS-Tn,\RpYoF916<;$#v+9Z51VV+Ͻ@ Hzf#dgG o2J <$i/#!Dz839Gs,HxX3Kw _KԊ1d?I_R fBp {]2ScX>Fn;ݒZRd/)JuM_?Uزo6TuB {}*gJX_nLRositݪ"weO:q&k ط ܆x5#z< "G4|~ |o11j_ΧF.GM<Ԉ_ᓀb9&v ZmScSYcOhkF9L,036PfisĊtƗh嘜 7683% )>ThNÁD`=+s WRXES8\_0Iv-ᦀ1ʁL!EvԊ2v Lc0a :*BPLaPmG-9#m8ψ,W_) 3xPp5Q '<*T 42Ŵ*¥Bh&'ТBV*7}ZxP1gcqAx w O{ d#ZZ_?: Rd𠎊] & #NcRc.nH >$ݑ7]l%;"X¹Qw%6{B{a(nB&{yP$(d6nRj'JX4뛝)sbJ" ȲV|# W˘ LY4 /F:g ;k!C?QdHgd=΢Za-m}L`:u&nZޱgYZf488352b23d86dcb3c604a9567f8c1482944e658c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 d22039920e3dd5514e6a0f7b0b03e24885e7e9c6 a03c8faff223c0aa6a1a6dd5212eb07ed2f06d0994f2ffb3ff43f723bb1a5d3c99b9b28de401ce6a