SQLite format 3@ %.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 x1rD ]S HOL-Probability-ex:threads=6elapsed=7.737cpu=25.132gc=0.9527zXZִF! ]ŗXiɟH)0!h]F,=4f|zaB|`\>F"$v^&oӥxJȽ5q C).ۚPtpǼ=1,-I0zۏTL=O&H[l]qTUNv#)(W_/9zLØMs~Gݨϩ-0'6>W\P5Ho8GS,L Ʃa'}ʯY~6E2Xr;wMkoX$ کd!d,dc[^q,͔O #Xg%h.cvȡ-=3 mŌ]T!z߹E?)-K (?Ip Yw@c Ζfg ΝƊ5Dy՟ceM%J@˔C>\@;ײku0I 9#Q)Vj /Ҽ%_aE NQj5V:t݉tF't]RĘmbY qx W&gYZ7zXZִF! e]ŗXiɟ11?E'TSa-5ܹbD[b0V-W)C9 E;M,DYa[쇜*yƕ)plEOdO0hA VŜT蠶u2Jq7GGz$9ԻPsAQ{}4aBG^rEh s($ |YtxmizQ[|!:!]fM4;kP6OÃ滦jw!BRi S&7O D_IP16Ȫ,sZΉ'GaȑYt8hoP']څ=yrE$t! ~ `26G9oIzso^9TŦIh'ss FV$5"WU+1Gd}a 3pSً ^cOmϦȓ*` c-/C uñ#8r}o6"}npx! =KRMlxV] p:`gVYӳ\۽e̗y<1~(O krpa2}}I9,[MZpVsI rJ 6r|4؃`* Ce$=~ 98%gy)PɄN:6.FZ*C[?U8\G%DaN9 mNr6h}98>08h4XSaGwQqWb'AEr%֘,3A'-!!axde38^+ u>9W@1{|)NNsA! Jvno1CQ`8A2` wb/C`s Fm+ F>9G%zJX4Tsrm<)hc#AŻa4rVEJ2Lߜ,i_s`Cq8K& La׊Wn'fB.U3Zx&x _~2gYZ43cf38aff40442791c5c654f6234bbdc3fa19872f056539175cfb01f3adb237e294cb6ec530013ac 5a3c236d3b3feb8e0a9ad2c8ad85346f3168f94c bbaed84f95f788a18b27fe3e301654825d8d7f22 7e5e91d2395573a8765cb533a107504f83806900 1 HOL-Probability-ex%Q 1ma DHOL-Probability-exHOL-Probability-ex.Koepf_Duermuth_Countermeasuredocument/Koepf_Duermuth_Countermeasure.tex7zXZִF! {6)]A-MՋhvG"uIBm5\뺐ըIJ.!C+wy7F$yI">M;v!&Kl)L#3٫`nh+(ٝi(AAV h`ycjC!eS]3SUy NH>ɪySh_x0 u9uJپPR5= ViEe1itfr@9؝WJIΜw#j*A* '^xR:c+G85]β>(r$⦑H(XDC|(&( 0xAi ;KO7u$G!;pE;iZ6S.uF$~°Oņ2]eK4 ,#:39J" \܊.qeu# suhs2? R~o , HRc؎E !< T^{E <Z ⱷ.>V);4cj(`(T:JˮԦ̺~$]M=ҫ%/l~Uz!o> @bb%8W?U"@VvU:Dz&=%]RfMyO^5hO_v!g8viwCGA`>7Iy= kK s<\c2%V֢_gN"?ΓiG$$ل&$ O GD gSk. QVlSnս8DҸ'`T^RL dC'T x{{=,]昻 ڍ4Iјx yjrkJwD?~p{Lo4n 1+D~h(>CldBbyoi}3ø(C՞0UٜРVo"!}mUkALP?6R3vZP%\໴Q0k! y|+~Dn t[A2tpclBmW]v[+< AoȻ4Uom\Lv|G鄼KشMi-qdU*]Hm$OC}VfEeHGe@Y@Hhh`nճ)9hVb>GeM[m):S{h]Lί`tYT53b O F =B/zYsV&y 9]lUṄYsf\c(y# {|WH~2KUyڍS8΍hχ 4bx~u)2hysב0^r任 Թ_Mê~&7h7g77;2^ʄ u!?aY[qΞ4_6qjwaQ3hی3GӯѬ\rڬPf-pȟD`ӝ(}RŜAfO ̬44I1y _S-o4% /}}`VBC(%s2v>ZE> 5W<s%ϸzvԵk+2Iɱ̓[AƒERF(-ߏCp !! 6}Ûg<9mydv)TŹcP6ݲ~JC: 01QE 4jtK8}6L Dיe/BB`].N;' /&w,K~`/X1+ L/EPJ"Dc "]SNUm9K'Nqyz6t+ fat`#}ۛyMݫ߸=a QcnX6"6NG7N?*kw{Τd9tXO4f`D}E9H$1X0ܲN ߞfnRq٪8L AMqО|/H7Mid9Ki8`|[ =ݤ83VMSM]_~OSIn5ԅ#B"rH|RƐ,i4X˽|qi"4I'S4f6oIG<^-}zDU"ⵟZ-рoI5Tw 'Cq$6{0͡Y<'fz; nF^'a_ZU;vԄӺ~%PksVSfl?r "켾E FpѤ2&}+Fћ >)]No%x* FyMDahLpK|47\`KB~'=*we{m@?\/ oʕ\o]J@!&jpv!,@>(ut2]gڟd7￱&tZa7g&u?S %6?Jdf"?F?>I-%WS0?lβEh8Ғ؁7crgsuT)潀swKBv. ~-*I@Ǫf M[/zR:!O$rL=M?0 I3P5?|5y/ У$zؤ4"p2 Ņ~DIթI•hŲ2+2u (lr"u䜫d7L#^"g猸J*a.Ƨ+? -Qp "&1M2yOLG–;#[ l:yOB6joLX=;s{K:-9S GCdq]DAd)Xh1itzFƋNyr u# wx4+I8ص8ܥD3gjORQZnVp%R#17V{APOy |9\]F{$,/^ƽBߑ'&\kvVRbUE>qd(5lpx轷OZ8_5kzz9Q̩ 5 >% [y-~zg%VƢ/ xb=|p7ܚ$W*Ѭ9qasAٙ `m,dk+Sr=Acw-¶twdz*?ԈKvz5QeQ*i%]djlI-b@hFhE> XBPrĕF)^ۂ_Bީ@ƨ{?hӊ?/mIʦ6v%' (wjY˸ /AA\G,\P)/Qo@м; yrAvUɠʑ]ITVyr-X)iɁytj ${1ERKD3t:`Rrӕ8`ƫML>þ;o#IsgxEPYë)ɣ[1n X]XU γ4`pfhOXsG @p? nkI ;ԹF-^#CY2`| fV++vn}{PD@#?:DjCs[g 2k=MƇ)]z5`"M$]G#B(;eQ .|UgljQ/Sw@9WSVWO?lR`@h1Zc;>,M~QÛp{ y; 6#ԓ$ Aj; WC۬7*Ys9_"; -Lam!Rp>iKFj[ 4cVͨr3@ tQv7QD[".0%9lži3y]slh/c6fU]łi^҃́TU\ijsm^<6;*0A.,ZDic4GvRlGi~P Cz '\dH9Sh_\~3+0"Nֿv;Ԗ!@A>[(r.x$l(;c譣-^[HqC\YX[)tHv\N&^Sq3` ev x8tqpCN_J;M;!Ӹ5ŭ48X~NHKNxCh\ ̞ V i(KIH-w3@P-GF 5vGmod~48rt D=kZ++aL#$1A1 ^J,$Y;f: oSb@iRL?cx}AiӠ6y+yi|ZI?K=-Θf/Xw!3; iϤR+qmp &yw!)ӮGSC}gbJ@ͱ >'Hh^qznH\B:q,9Q+pM) viu ^nn>c0z&zkEJQ=G@@Q '  x\3o/;<5-*iW?i !kiH1`6AP.U@ X;?70Zݳ ;qFX;邔rnQF4Hj뛎ȕ'' 6UoRzi.#KC8kQ4/^t n7i߄QbC >˫=vݻE͟Kv[.m Lu <5Ŀ_J+nBΕ:GVt_͔>\G]*{j:B4J6bgNյFKWֳUt&Ӿ68Y,wTNᾜUkکdDt^ YC(D7nOqq-*Zpmo,ŃPo#E\|{p8eΗ)gX3eH63(,`XR 8D{T83^ a +%ncbp΁1lU.A/| k)!8gSUUGپ է% ^LqorѺ+&lq%}}Jf}\z &:;+?p7& P3磂E6:҂VIc[/_076喝n7 l%@D>M *.NiKK|Qytu QlÚc3V _E˦bKyOkR#v&!a kqa,L.p&Gգ0 CJ=Gܜvpa,;0 Z0jr[F;-sA3izb>z+ U`m@3jv'_Jls5ȒzMGJYӈ,6e璧_+>@ʚ`o@66;ǃ׆CicIKdw#P&y(RTv5;@!J-['Qvj;I֢d $H|[8$Yc_`Y%">8zÊH0灊`:HW3`AH,lkUkmPqF#Bb!Q4.⦩f5RvƩʶ>bq-NFsK x`r4[iF1EW]ǫYȮ}21PҐ)9ؚby~+(0o)2A(FN:FP5?#_žn:5vE|mm-$RH"ʛ퍶< a.8Ò\|%UC2~:A?G30;j > z}.<Gziʍ15hhױ)`.0P<<kf mfdD3g@-D#!P]k6@xH hWABq_ZZr},/ @Ӕ>iL?c G3`BCfªs! r.k 4~huLNurC4't #vHLN `ǧ۵?R#𬭐7-Z-eKfztBlPh.X,f?f?>ſ. .uDs,##_`G׀ϙ\x! $}tp8]\**ֻm~E9$#Go l)}d0e|j'}g`q&Fאm+ ":#` $T=_RWcMӏ,Sq õ̙!EH ǒz?s5>.E Go໽!tW0ͥ k tP?I=j3I#}K+j !.̽QL10jКSͦY BҬ~P cl5a|!I'aŹzo35TL~Ϯ$/,rJ?wqX [nAFD]z l v'y"$OtB-X/oy[+C_0=f,U#"܈moN L9At5 XfASw$b"PGYTi"$]c z 3bg?ڪ>]3guǞ +(Dh^,YB}9p4ٿCi({qhHiqTwQ#N"}}i'3LY4)kҘK2uܸ1Lo{+Oo~["4!i*jTDI֌!zʦA;gЂLA'>$FC_4Ej_}F3_3`|`@:jtDWqA5h֧)tCJmYw,4er'HO9Y"$ɿJ(_(*i ]rNgL(#c^M y92ʮGL'x/Fe:&7P9|J%nl:!&νni?k/cdr".C}(Z:p$y:g\f_R _C"d??w[\Sl ,YR%N }Ki5u8J|}&u#Ms; f1S~bM%.+p2zN^re`R,,]q:^\q,*j>[zJ(nBV&X!j0Ck(ԡ 6\44y {fFrg=V QMLw'nUԳ-Vz> 88=cݜ~]ά(CVf'gVg uҴ7i2>F]Ν|A!S<^h ZR~GBLiMLcv?*-4FBQR[ ; @7,F^(gLPlq%)6_5FN0s٤B0c[ŕR47Rf&ZfySg`  +B1v[HM,׽sO57Gu!Z *kKU}~ܳYj;FuTAETIp<n6u>rXٻIEZ= BέK]⇅[(Iugq4_%/t7O'Yeu,)[`BLO{"c/srlJtq/-_i/TC z|;)4*yvŔ{τwa&n(0?o1 $)wbqN0vP[ f3Q.ӘU_\E T]FӃ q8 XJ`o)w!!ɮRH6縟?'0xP?D?YΉ;Sa^[="״bT"Y8zʗYx cIq`H}1} d!O'ipK@$C)w""P~^Fg8]}CD!XNW9It}wCWoq8^wWU) aghsO3ц׵U>`npg=jqD)8!Ʒ,W Ou1vXA165EX,$O7UN"YJ1z@JvN鳞 .JN|HsE20U7ӥ&FF֙  1 @gYZ pIf5A>am\f/dxO7Lp$F4>HWsFCwh__u~%* xsZ;Ljdn/Bwu B9N6UT"7'ҫ%cAqjXϢ90鍥"WRMq硺j,L:2;#IXLD"zL^߷%HmW:(=OC> ".+\,S-K*;{I*$4J(+W5% WS@BHz4U}˸,w"β^t=rvj k`VD[>UtW?FgK?UvOH9.m0J#2u՚_Rpʖd:9;w#*p:_E:5e8#a Rl8իIYuT^/VnYG/ǃkN=JNޯ\KnߵK܀v'|ThM,:(z"_5¼/ׁBd=B8^/TAS_?AK}.%a((s^>'w|H ٔx8 BĹ bm(};)YNy]@Yo3yYEǕH7*W\J)&xrŬu77UhB;\DO+s" A eXK5?O7 v.=[3d6+˳)Am[aD:Y㺞xt ]”iJ7)$ᆄ-;$D_4bF;9_&Bc*Sh?4͢S:=3XVqmCz./̲Ao֩%bY9P/>pRZ>ѲMK uyH8pN?Y\Jwi1|R+Ƕ_}KJu_141sƧ̂٭ )Cq_ >B8G"XB$zmV֪/m>EY-o@6VNJoב-'[;[aiЅ.ŵ^J18f=kc͡mHߒѠL 7ώ!*mptQ v*ا_j*U}~Gxuط As˰5)tG|K}r;`t++7=nj)㬻䧬ST$\l0OHi=*~FDCKd/n[NeRD;Ix g"E[V'y!,MR&t"HyFZ =6uHPIdEwu(Sփ$n+<yf=L-#uYwb",j,rA&RR:Wf`Ա8KAi#G[5ZAȤR7>;&oRD` clUA<5Ih. 7E@[K[i8CB!a!7,h8Gr9p2UJ 6qwydGֺK*"tuGi6A4|.J؜b}d,ue[tX-{.<@σhUq2¦D-lIY_NJ-啐"f(%G}ЮO8NB5t6)l?=%Ea]ȑ}VZKpb&&y+YD0Mf?bXO8{P Hſ=jů$df8fSz#oB_/H(^81_XoZǀ6.x㢾&c[憟,^%aMcYɿ~3 lH- h].~rN{yK-JEPA(28ʎxC- ;|kWF6lަ'GڴR.X/eK m?!l_I՛Z:h;&fEKv/˱e7ĐƗT Yh`@Ch-3S (~ds#<aڠHv5fd=>D !Vq]z~AKB $Hkg-)jQf>c5~!K|pOS%љB~j@FnPJ$48{/D$0ڿ.D ݳ~{@g˩PuRzPp\0 WUz[ԺC'\]CHDʑ dFHa΍PrE%$$MB1iIpS# x+]z)#}{YC 4#FԒhaBq8Ĺz`;h;sWi]qRZN-[^4sq~s(#R*!ȢƦr(/yϖ "X{dSfNim ;/>W iK9܉G ]!ț†@19Yޭq $[5 U샧M&v Źqǎ;nQ!)Td>s/of Ѯ?1MDeD:;AJ<cXLc*{hЉy_O$7:QMFY[Ŏ˖,EF>3|SV,ƾZQ.mSheGSJQPR69rTଣ|yn'ȍǣ37F-c˷}{~#ޮT CX=]մi$c$gٜU̷M#ֈû[uxFd[Qേr_'0lDb瓡o=A F$*/5o6zrC~p?tL*FQI<%=Q 1GeRu \ps .%UYbJ3< ղoWcP?kN13^һ*C2%;`P(![gX5"u|{O,<1敢@HH삍zq6)#K fc13I餋yؕɍ @dAg&"`ɐ[)Sߠg{9R~X? K|-˜_z-jF|%2a{nSq9-JDt B9d(t\ 5%aƪ/S48ƒ9Z&Ȝ? ;8a*|H]Z\:K/y*.D%! <;j:mᆪllĽzn7DHyڂQfM>b.-e'Kɂ\]՛7 tAo ?fG:XDY +iT:@.JaVՄ{E:7 Ks bFŷ2(>Zh{Z}_Zv?S]X8@D:g%ѦN,GUqeD 7t kmΩE؛,WWJwU 1)/PR%BB5/>ھS֞LB Rך-mRaX,2ڔK/"D#83 ޷?/&OOn>BqYhqBR"Ir< 5L ɝ OBz/ 6j[Ri'..bl;tpibBAZjdY xڕ4nԳeL)jOũbZwl  _[J;gXk6LyFH%~!>&KAcRA#Hv7W+JySoBsPO{ARF\zI. #6`~cY`5:fZ$ԍnAz'qcV6C<t6j 8īmPT!$;,Pz[`+ytBGS ׮70n1 pOz,ͩ~鷐zLj')'TI8m?ս2K,n>Jw*^> ^&n[OAYEv^^jqٚ#djsfʟ]c{7@Bvr茻BMU_i(IrRfiF%ӌ1SOu+L^S^rjRR=Vt05˜GƜϖa=(gro'E t^@L#g2qlJ|7xU}ݹLC)%HK_!>qnbү7a-hZ{v]oF7H0Çl9n3i{ߕϾ;npeAHRNF\}*M2(b=0]QTG⤨VrK32Cƚ+߬rpZV+a=)y7+c}‡s~ 'srD8i+p{P(Jol ?[EkrC=ծ3Q#uZ=a' m9,)M'HN3$t b~ey,M{aUKMg$Rɍ}4s[E( \2Hw+k.TOM$ 7l;p ]> &FǚVX. tP-y 6)삢iUx\CBBgɕ NV4 3ӬfI1k>WGͿQtQQikdNWaE^L*\Z"M[f7WI#0?NknT [d,a5i=W?AGd^^bs;  &%d(b[uFk$n2 Nd ZW:22]1߭$aAv,ƚCRŧa,bd݋ܝEi!b"S&񶛳'?xLLNA/ES 2QgYZ aivN*~/ѧN`q,0p03(,|G^0GQQž pDw 9ɉw7zx|Tbrvϕ>jmage)_< l[ڋojoXYm[w#hZ #|29UF "VqHdb3C Z |ymqPD~==-n*OmZf1-ýZ3%5.iKid' Za]ú*5]J&gAE;#jbJb[:+]CA_-2m| cAGƑ1ޭu!SS>ٷ"t쿱<^r;]9M "dj, |:qP)TN|5  MB .p)63H :6ޢe p 5;7+:lβ jY:HhBFC}q'\qHԃ=zrP\C+0 d9ԣ(N2^ 抧yus# 'tA\ל>Ơx5ٌWv`k- 4؋\EƏ 龃AF Z/,UK&zfKV*!g_EwcEDٚm> R Ї&>Y']to6Z 8tT l*@/sזHМT2@84Ӕ&1T?xiY܌PajX Goo̕5N;LWʪqz o#m?ȑ̊+߻iVe*P\y#LR2LUt"S0}5{r94X=q\@FIАJ+ }%ߘBDs.(nƫYӠMDn2,m7\=&6W!!8lz\%@EpPZݎȹK'KW;\Mҡ%H;ҿ@(D%/)#W(UC3)OzĿNJ%oKf]M"j9AzgjwT|$Z>Ą!.-%Qۍ:np;|2q w Vuƙը+jYiX܂|CQEb,ߜϽybA"&vtY2Տ cǮATM]⁞NT5CfwβRu1͉_0ݠ!$O4={2-2L+ äNV1RfuOtbZj >U(ϓ̈₀DDQμW+Y/  3 Wˑm$J $8 V@Zx9\s]Il g0MO|U#@uM~Yg+xOBbZBsBc,@㩟9r+a?b O.Y;݁/ eƅj }xkP 'G/o"T1yr'Bܜ8.z HPK/u+׾.Y}??'Cgx<"$?{BӁpn˴cHF90'&ۗ^Ez 8w}"m; $9$G-୍bD'!qĻKdvj(S|ïi;=qE-mn= D;)bSY#Z6_TWQ5|ז-8ۇ(hik"kPc2=YE8E Eۡ@ݿ:S lي.ڂ v'$t#[ҌT)qL&9IE_@47F`ՖB,T&Ч[d*8qa=U0@&ȭY3<"iވwqjic̰?k"XQH]H_r11lvMz'K*Ӆ?H}-{γͶcH}^ jUًP%#aVt &Dڐprnj * M׃V8=GEVFK@hS$I+kP&?~ B> />P㵪+%Qjb1_T, &ƷG)H}o0# 8ⷵ؍B +9%C "8j:&)p!bcIUEIZGqy6o .4軠V1Ж8͆A|yrkfr=Fw1̘]5VDٚ4HE0R$Ij{}ҋ{Y&7XQ ,XWԓ& 7g@ԝDaꚠ S+ T 7S'aK{{N cYp0i/qiF!cu~WD3KavxuwnIV3YݿOkV!x%kxRͬC>I%9AR>*\Z\̀-Xյi1$j*ԕTL;ڼ$'3j>FVp(1}YYeU$>!Tƺ(wbW(W,gC,: h"n/x\M^hBng9eE wy_i^}oOFbdXi9r(٩iej!H Ìƌo`VETzZ@^tW …BQ**{u'‹V@H`)q݆" w 5Ȱ[[v6R (fv "#tcb-e6JÃVM1IQ*|dhp]B*W5UN#J1p#7o)mlC(^ J9*@֩.2%c˂G$IĔIrﻪb629m;@R(/ƚYaZ7D[`=]<r\-Pu9ITYI&hW-[r8FE4k=b* X+-Yp :aʁ;RAc#;76zŊ""vrUBQ2G0vtW>ad(A1y9%cųD? QI yʾLPIsz1׋Ey3E7Kn5G;fAߝ/+BG|mwv yAO30_?Uzv0hmth\^`ߌڴS/UF{_,"m 77uΞعb,T XpmÌ˸ueW[ t[/9lMeT|%ƬTz\[31#cU=Z.< Sb81MͽזgА)qـL_ugê{nB\ ׼$O՚io)}2M2&Q W$=6:7=v%t>5}B(bPR%= U.;E u0(.M-i&V:;!6|?NɄaAM7D~! [0 :RjT#,e6% ;=\JRK>gB;{U +՜_fN(6Tm!m/#ÏҔsO u?pXOg=M'JRf@xK\Kl&y,z,RQۊQʙ_|lyMlBUU ]jmF'X03y.~ ik]cP8k% sQЏ:u17[sKz̮bV YJeRH]ofNK#M̓cb]y]p7ki40U7sR1< ,$[1{MU (nvxI= V9Hu4;Pj, mP/M#=r ڿ8arՙB`{)}>2k f#swƠK@} bAEhHL3wM&2ɓl<P6-8k4tlٷlܧU49`: uxy +baF'RmI}[vCK&6W"Oq4}(v~k3Tf'z>j1xCC+jꇶ_R=ۊ0/菚`At(c$KBSzX Ff(/2S 5{4Q9̹=c&=I?5cZ ً]mDkytL[,h`\c)8ŋ30=' 1|,ªmLjCb$yytn`+OvLgtuɎY$ J hD`NKu_A`LsЧ킫f?R;-b'rKxebDI_ d&V4 RC_u?k7οHujϩЕ=lɈ_ozn1+f<1R]}k2ʲ n-~#hawwEr_B&Ⱥ7OX>bzd4rAXJ hgV(c6nxTw0>yqVK|oj0,~shzmO Xjq?nnjFZlI3fG?bἩ\N4˓|uH?̮+ j9m;Ht鰉",}~gZxaV9B6M!ڠl>q2b}4ZXvԜF4d}^+@[ ݛ# W2#L5Mۚmx[(Rp"ץCF񁜌W1'FC}'8h^bCT\ZSuom;5!M0gWQebK hl򪓊a3S83FgI7`h w)^~dgv/#!PrfzlPSu4Vz$bPP${Ө~"_*NZoGfs^H}_/bA9qe$4?ru {L6)tgeaueUɑRR@J>>7N[u0S:u94Nvsmr>vP{Lqg97b;׳iD7(KiPu)O!cFsQJJe{\(Eu-z6R,pvZc'߼%NE)X@U$S"+BNy8z'Q2nU_E"EZDŇ9ofgYZ  Q 1ma DHOL-Probability-exHOL-Probability-ex.Koepf_Duermuth_Countermeasuredocument/Koepf_Duermuth_Countermeasure.tex7zXZִF! {6)]A-MՋhvG"uIBm5\뺐ըIJ.!C+wy7F$yI">M;v!&Kl)L#3٫`nh+(ٝi(AAV h`ycjC!eS]3SUy NH>ɪySh_x0 u9uJپPR5= ViEe1itfr@9؝WJIΜw#j*A* '^xR:c+G85]β>(r$⦑H(XDC|(&( 0xAi ;KO7u$G!;pE;iZ6S.uF$~°Oņ2]eK4 ,#:39J" \܊.qeu# suhs2? R~o , HRc؎E !< T^{E <Z ⱷ.>V);4cj(`(T:JˮԦ̺~$]M=ҫ%/l~Uz!o> @bb%8W?U"@VvU:Dz&=%]RfMyO^5hO_v!g8viwCGA`>7Iy= kK s<\c2%V֢_gN"?ΓiG$$ل&$ O GD gSk. QVlSnս8DҸ'`T^RL dC'T x{{=,]昻 ڍ4Iјx yjrkJwD?~p{Lo4n 1+D~h(>CldBbyoi}3ø(C՞0UٜРVo"!}mUkALP?6R3vZP%\໴Q0k! y|+~Dn t[A2tpclBmW]v[+< AoȻ4Uom\Lv|G鄼KشMi-qdU*]Hm$OC}VfEeHGe@Y@Hhh`nճ)9hVb>GeM[m):S{h]Lί`tYT53b O F =B/zYsV&y 9]lUṄYsf\c(y# {|WH~2KUyڍS8΍hχ 4bx~u)2hysב0^r任 Թ_Mê~&7h7g77;2^ʄ u!?aY[qΞ4_6qjwaQ3hی3GӯѬ\rڬPf-pȟD`ӝ(}RŜAfO ̬44I1y _S-o4% /}}`VBC(%s2v>ZE> 5W<s%ϸzvԵk+2Iɱ̓[AƒERF(-ߏCp !! 6}Ûg<9mydv)TŹcP6ݲ~JC: 01QE 4jtK8}6L Dיe/BB`].N;' /&w,K~`/X1+ L/EPJ"Dc "]SNUm9K'Nqyz6t+ fat`#}ۛyMݫ߸=a QcnX6"6NG7N?*kw3qX _+eR("nzf*THѹY+SiɁØش"_?-J68 Rp蹕~3dXK 2~dJDaLsq2v,.;mc4!ml3CK5fWŝC'>!^;znEh/Ђ<qq`\( ;a?2]-(K{|fku*6Bh)] "+);I=TB_>R?מYCwN.xs5TAvœqZCc/ r{ dnyVCpR]Kf.Zos0y|h3\_P‘!b>GARs=PPZ S/ 8vo]z<>8Pc[%JD9SB_i(y(\zm7K/2jtp,5gxP IRh䳸HʅE rM!6Zdwӡ"QcI MI!A7r@ĺL.mnXeC3 |T) LL)!x[r7EHlʥ'5ľu[6Р BY?!ғy$9/WB@>2^L>u_) `6zQU*ECszIW57Pƛ)=2tLi65,6epr0ykH[OtzEDg2a(2cvx%.~6 m9H/;cו2LđcPS6o2Hy2Zs#-RNNiHID/~/>؅5Ty!%fQ&~b"M_2eS ?HԵϰ{DZs'KCQ ѽ_;BѡPhѼ{pHjKc@ƍ!ң@];9Rz]k42!p3Oa^3/,c`rXZg imI32 $QѣOM*yҷ3_4Բ2&/\%3دut2D ?=I? u_]E K[-|U,|TQ鲆r{Vmė3g(~uz@յcYȎ+>߰şZf@Pj92~%%"f%iV"Y6./eY?,XW^TeG0 *J]$/O =|k> 2W]<#p"wS̲iM!LԻa9 ŵ;#J ӸP5v-mOw3 4($4KPiۭ|M­)ϙ!P ,AZwٕy\݌)v3.O͕V5(l9$Oi*gwWW+7&w,I.M9KD9 soIܱ!W B|_L| * ܫ"Q!,G"xt4av,n$K7Jq|۽W_w>v}[ 0UyEK (w{UЙy[ӭY2r2 dq?Z[[xT BΟvְbaGr PKt;F_^X[^ok7J|&-H؀Ѯ@~jv)iQ؍je 0YR3SV_&c|M=qŃfb,wF7ybJ6<9JGn|AT){g)<me?AjB K7w -r{#íϻxm,Q6 >P3&)ñ۳|eq" $-0 utRB<@ tV"ڼivW+qYݼɣ+ ͡eU ]"֧SrNF#Nr!1Sc(?o*`6 ]Jٻ|d+!C]|l{0^8^Gbb2IrJPLЖFbeE~3LK]FWr±̻l,-뤕miH2fdg%"U>2Ыҙ˟~Xt1(.Qf6  X봯ug 6y0 ΌAw@oV3A3Ɗ}Q2Y!d߿})wTy?*QCXFNV%"$[56S′l%؊0P79Di&LLJ׼': t*^mgߋ uƀ$QD }R Js]ku s @KmOCCv{n;ry sź<̫= MKpE :ӓo30d!'v鈩Qdht-ֶ'Qۆv'L,M=}i\t9L6(8" z.sjj0UDpĄ`psIƠ(1twYo0fHd{CAظu{s!Jw.&0+OχڵM[պ(䄟"aLOrRPN&6e&>:3OO櫔e1΅ 9NH7Ķ^b!x_JqP #+=Ejpbd+I#a/ս8>oT"X #1-_u2ArN(Ev=E1. _#F?JG_ g9BL뷢#3ӇJ /헳 x&̶pemrd{\셐>NkqEä(Kx?"l{Pc1 ehT&N$Er4T643^/~[_wp{ `Z&3.W2/ȊȞ"l9xEsY ̙%퓞ڏ߶ -˭f$i](2m\pφU Lnpګq}k~.^c%}BI}_VQiEVZ dKf|\AHٻXTO`a:qaJwlU I7T_a9&C[M?[:uGx 6]62+tMwƃ4ꮔZлWKBE9e(5P" B5dRE[x[ !gcH Vfw;tMOKJtrO/Ґbf ΪᕉGeFYxE{ g;_i!g|%n)1b":k_G7qAjV߈ٰ$ҡyqOg_<`~D9>tyjtћPe|— )IJ|}elBӏCX#yѧ Өr"7ٳ0̹ESkhɄc8e"߱ǘ/|䝕NO$MaHгYvE0 `b%Qfܲ>mHFh .u{ ?gC EK'=H5m^ƕ:~GJeDQbQa.1͕{X KN(ͼJ4N"OWܰ^9~VѼ eb1%&y,lR( .k%:F}N7=w`"I~8JnR7##Y?gYZ  1;# 4HOL-Probability-exHOL-Library.PermutationPIDE/markup7zXZִF! ,]ˠ)jk2p O6LP=͵gl5f&Ddpt1f`kMk$!UZҙWoHz&#"S'$$&] 1JB}v#g#fTDR3㰠:q/-tkiېWoUX R]1N@XN `ӷ Bnq_<;Iw{~+I{G B~%\.)ᇠ_̷ ?Fɽsx*æD⃪ms{*R̆ewI3Bk"D#z:~Ч+x#E XI%kl1,?!12 f=N- OQ~Y.mKJVI-ǔhSFX GNf,@/6B4h6-*qxA0) })5@{!j8d6A= ߃Zx@n)Xm0g3j-OR9~S v @^/ݜs"nugz3d;oDixc8MO(|Z}Xf8*M'HeuVXt{FtmlH:6Ug2PbB)\ewbU^5P93]w$4ُ),V{ȉ,8'ӬE>c@/ n8,9d0>^  ;"RnԄZ<7#thrAll~(%2d%5j\6NR̤? $5kyD)+UWi7ߧ[Ƀ+eoFN~||aW-]Xh& s=Xl9'L|#s .O={@rB\~ӛ%_amW4!1%&}d=/gj uUS0FQINQG9g#O/eO>¯a4Ҿn#ž/ߗFkZц-'dUXI5į@F6D]3ߕ Ϫwh Ć(e+u9ӏM9,h*^CMyYd*M>K亄0F~]yi_=M說(V}Ux\U`)"FVhƌ巨Q B 2ud $V.p0ᣆ 皬!bJϴ>R\cEՁVdd!H-6HJgK|BhPZ>-vJ8:Jix0\@] a6?Eb}j@'q9e=8|bBW}|5#d1UI%N&FiX:t ƴh{%[GeY}􈪕E6 \KFZ;o"1%ț܇~_#_p,+|„7`FWydbQ "PY iСqDrnt@g-1'ACoCY)ro$׹;Xmo*nu"~<9u;z,X|+'D y~[p;Jn<٣O|\bѥ9G;}JjzF@oȕvewB gON^2B1rj=lRXFj&*ߏ&dww ^#@9zJq3Ԗx?DIV_c֟FmG {ck΂W^۹̆IZ4;,r@K$S ? &a>8R@%ף\5.ň^% 0*6lza֚%e/ɽTGe7jb^`>#ƿ-{CH_fa<%DBx:kivI%N+ q "12]~/oGvDv{;.-}t5H,"ل^2t])ŧ-#LdTw/\yJj [ s  [& 1]# #fM @Lr0EU; FR t6DAD{`SBfj`FҘOmA <'՘$ò}\%WhRHYOQsyF#NEzdƗgqߠ'TU4lUK>`:UA[2@8=wVh?3'R\mLį^& %#@6͎hĺE:w5e_ON_tډd7닓soutmd/S&Nl&yc*2oΔ eH`}UalߒQN|8٦nv PCe#Nj%VaO-P/$s/]fAON6i-M$*_/v !$(/e>rEG"X" *7<1TdvwF/jMp#[ZD6԰xRq=h Y ʰo+$3^Kבye_$ /@T&ml2AƗloD ,0TT93:˜`a8Sd<6e]Nj$f&#[I Bey6)҈,F.=J1ߺHYԖe51O>z]R`5qf M+ò7Q'v}8tQ>H-xP:K^e:C+DVaRX߬Ch>l8݁ f ʱWBI'0i֫3=/ lJ/Wx(Fz9';b(zpZ_ ԏS$ ©Wz@–fwͱN_dfD|͸Eڴ+B6(k^'TZVVD..%Q]B1$?YzQJibd7v%.>Ղ γzu]Ɉ\̋[]_vwN 03*|u扆VY(2P"cF~@s a.rϘT#[o;+9cXiqf UE(WG%Z9Xo,gQ!~ 1]!rHOL-Probability-exHOL-Probability-ex.Dining_CryptographersPIDE/files~~/src/HOL/Probability/ex/Dining_Cryptographers.thyT 1]-HOL-Probability-exHOL-Probability-ex.Dining_CryptographersPIDE/document_id572 1;' $HOL-Probability-exHOL-Library.PermutationPIDE/messages7zXZִF!  ]·Iq n[:|&[z7Ni < eU`v -Y|.G)a"<7lϋ+bV@* 4jƀ[_vl`گ= V|2w#ziW 5aSS+I΅sYI ;lzgU-؜}^Zƕ>,NBLC|h/_؄7ln䰮'-F ^%8Q7N\W'X W )Q^'Ayt<< -%͐}JތFTAmMwໝ7\;I+ n[{DY~ڷVdv'yuD @7UhY 1וVh]K%/g #~JֵT&۫vaĊ%c_+4GFv=f+0YMƄ0ۭ:_-4$]cjUq+//|RMڅrO'qmK0D83E-YL^EF1ihҢa@ Wو\ֲ$< *U)9V N`j[`Z{P`ovYgq8jn<0"`hAE 2oN)|pyM k&`jHq˅dnq2aS,E~SN: ЬvARiPݡ/¿,5<RQfߤKǎ$z?C?+_CeǝH5ND/f@3W]&RڥBl2I+G}s4!nI]:cߌc S|bEk9xpYaE{xLP{mh#EbK nGr{ _=ǩ(t֚* wĴ@'N9Ļaʦo٩xz(jݣPphA-H{~,?K۔sf]]mt D3Cysb05tG*9mD)*r#jLBrERWw { 3;u/t2EuJ׃FFH+x"4T 9oۓq6#k6C6E'`)UD V?^"P#Z0jCS+krؖ'?"l^Jd̡=76^"he?s&JMAKr- hNd[NL@xFjRhaqtJGύat~FvJS*޸~7_>,'kVŋy~b$> F7H%= ȏm]ZF=T붌O˄q=;#ȹ_ A y!sĝD _G< @(߂/=*&ށ} ,6? z=JoNgL/Ͽ|gM˘xm9yMYU`Nw\ -7>댓E7AN#!r4S#5"W:)OC<*9W3#-U]<3d)@\,);=wz.`[ῬQi9 4!&;=Fu yE6tG5ͥSL˾ iHv+ ¤|Pv CF|=[ϝS!hJg f+&v_97glF`6oXV!-"h#S F+ QXP6$Q չ3˽H>:*/';q5vҸu~.TtqJK@4-!" NBo{;Ǘub#t58 `H]TG䃔U$hn ctA嶍@F=c~vɄüht@/1< i ^ғ3$ ,;ɔKSATzn=ٟ|yG6PU3]!'k,eIśW2qImU0k$ k%8E0>+1 Ay{P=9b2ݫKveЍ iFf\꧲-89O'Jyu@(-+<3 y ({-26wp2Uc|/F "Hb#-_62V LS"{fGAXB+Lmw曜, n5D>֦{-iQ+8QE:ץ;pabmտ lU&ۺoS(f$huU!D(ZYgԁP"%q$C4>3t^ vFeAjAϦASUoJǁ@gZaB$p9S1ZsyjRs=kE>,ןHMԺ>O8$kR#xtd_{}6y)rfyA-Y*;jm? z?qUSoPy lR_sȩf..ҷ3mϡ)k LMo[3ϯWZE\6 2,LU`ז= S5N燉̈́+H}J̕Uq2mz8VV#z}4y!ۚˋ$r|Gxtf1ap|eWdDq9eqO B0&8 TdW-HE>Lj>iR6$E'Yjr0\҂ Bz.u}nWj.x9NG}8C{ފOb3Abj;8ZMEd2잡i߳+߸5-?A@Uq"A6$ꀁMP|PlqImo@GCI:hkqA{F)T#jOI֡b&Cl]KG>fdl *rı]]I<{u ⟎&ÜԻ&5 ~'!Fh)b+Q4~X+ V;e74&&Dtwc4`٩1NnCe^8`%pWX\*D"6  I1g ZE,5nA2W+)qZWkMB+ ǭs (6?fz' >8ba%zCUmN/N&9r-τ2N {@eZ8cd^HL߈o y=PUfol-oG߅լ \.g`@-̅[<;{?gNjRfC% 2-mOF&b8fJ> ZJj[͹Pv(L7yppU^N*% +&(x7*S#, }NY]VCk>ًHqŪgX d35x(?&1LDBoˈ)k˵QobmRr>vA 96k5 }?T5 +-C^/UqgD׍a>(sC,OPT* 9$%Ў?VjQ=hzrf_ pT#pCuέƇ< #6}O(!ƹEi2 w}UZ }7w,QIHnN?y.$^-ԗ~ á^g4U=\ǯR|sE,{,InFY >"ۼtcAcRϢ5rWSTuQp.vf wT7 \} W,;rC/i,eptkmr5pU~:@NX{VFeo8VnY}=]T.}1,LSOC%u``Cͭ"ݷ 8;{=m ˃- m'>;eWl9_|.i`pfo_+L 1jfԲ !6u]9RƩ+]I/@r6r8{>%01$Z5K?WPKThnƺw%[ ?e'.;Hh*\L|6q@IAh4Q%u}{pFϥ}1&e`&moFY"8^M ;?Bi并'ϯD^=RyD;spjR6X#.|C()C1j*d8hE 3&Sm1@sTe0>X[0MS"Aj>'[w(T5GyUͱyҩ^oal#t(˸ 䪮BI8jـ).h\춬;ictރI w͝4R8LI&XZYdgXɍbA]{ p;Ə _V`;e:v1B^5;JB6/ԬiN${nddAkZNcNڠ8exXJxX|Vot c+K0,}"24Y6Wbl<@:m[E [2nҖmCwg1sBp$\m _!pl,LH&x\HMG7Z`@Y__{$Ȯil5w'EG|2y+isIP3Re d qL3fv+:#؁k4̇bAreuӁ&gh|Dqt /Op- ◉qqRo5=,۹ݓrYϖwÍ@/[qnǫ&1WeHAC:ARe 'Ϋ55[dRUI+dSܩ /*Xn$_>V.&N£I@@<4,C^kbAt׫EJC[wj Es\9ywDvAZmpʽi3 > }>[lGqn6yvU8p?zrp^^/@RơKy阔=%}́. N-cmM\TE_N,E~q\cd˅ ?8#h!y*;$ېg'PcaN%}h-Lxj@]MS-Q/.|N;kK% F`iRx& qaj"S [1L!<\_.p*@:\+Sp@}]s7$x~>TJTP"RKp^qߒ- 2L z+G"L?q6;q7ws\.]8e?:q oL4[ 6-!  OFG ܏ R>I;%؝ Ykv] ñZWzM_ UX)BOI{WTp iecY*cCw&:z/֤..W*|pP^ͤc$O qa3?z 1SAx]3NEp߼ SF˙ls3JPȾL'"_-3VV05<8NDur]?rϧd3d%{2Í##4_wf oփ2fRhGc=Irv/ۋc i!*ʹyq楷F̛{Jo@'ԓJ~me?A˄݊>|mhET9@9͵ܾ&tK½]CT<ؖ}W˹KAwL& mTPW}D EM)氮as%ҫ"=uRH幵x Q-n7uVk=#-H_וW!z55Q C;"RhO_yeo]ѵ7}xRwJt}ϕђ@߾u@Esh|M*AIrgGwJc00gsr_efkeŚcj#aDFQ]]cх "D@~-P;}E6ܤ"T|Rn)jVQj9`-xk1޵}k}v+?Y,TwT{nU<#CY Ҙ" Z}};&[HOrY0eœ ABS3n9M@_g)pl4 }#0%G+ &(kj`qk@}ğldKKZ>'l4*mS'y*(i 0Mv4ۤs3=,&& " %SN֑ ҭUh?:8 eE@ ? rM):bgm&ے!3⯙j6e4E,jl&N/u  'r#>?&h4J8P4ǧ$FMUf~.pn֝{h3Xhկ?۝zWuϻ}p/C*J4g4 k֍FpeInt64C%ئ_^g(+3!YU:|âY8,ˉ%\jy&JY=&ۡˉˎv[:ZK: G %#~S}+tknr^x,bpy͙gG s`1`g06-]eE @-k-9閎>9G;0*LT@?~ E'FpHMU̬h-F!8AS0]řh7c-%bvfUCBY.$ﶾ a%:#CA,*CfM5WMcb53RdCKSj^`徭uCY)uz.\Ra*k:_ csftΕF<ƕ}[Z]m)mA) 3a_Y&y!t Hfu013(!T!Ait70$lx8t_b;p1"7Op^clRt<g{E ] 4p.,gTޯ 6~𘳞?(N};f"mu`G~=}O%#EHU}ZD;Sn,@MJeZ٠o95e'ΒC߂=YTwOR]͒ P!޺gGRQ&a$=ƴϕ!.tT|)Zc{~s? %/[x3p='m+1 x)AGL@Mb3VSFEk)M>e\cmYr /vj/6GS }/fT^HMyD;‘#;|؊dL0RHqz2(_*A/J9^j$Y|_۟@d;)-Sމd;zQwIyff"{S XiF~U+'%ZውLD͝K g="9- 6̖;Ľj1zg2!px:Iv!D>"w]*M<.a_Jjbs2Mm~7?$lXրޓ)rX#IdR]EͲ;K /J{!ɌezBalxwL>%Yz(WcL|IP79N&=.4~u' - )=Y)=h5PpY@ԣC ~ę]|n򂳹>~%r< |`L"L$8,@Gv&=BD!˽e,uj&ײlq^Ttc?,urjJ/?<Аo*I ijS=5Q"!Fy7P$O3= Rp/вu6B\)nPjRѣ-!Rơ#i_ ƫ8gb!TM/,EJ(71q گ&d)!@TA Qko<\4Tf,X7IJkV}F)NVkBab&<ɒ=5!Rr%ä5'$Mx+`}FmOt((fMVp0{W~~5Gw%\A/cGc .cVǫ BxQ؏C˼e-OnVM8WP<ԺxYxQ4S;G [a8rfWrעOu<Уx*<ڑp|h-V]v'>yQt :d+ 2V ?qx,p}Ńy XT;yZo19-Btl2X˦Z_.H{CU@{Ϲ" lpkIuPzA:'矹u#ϘF q_W#b݀_|!qQL^d',MyGjNix#!?:6f?rؾ#{>"W ,%8r, 807A;C9z`v 3A]({>ˡc3fzeVoLЄ6g>r4M[8$`@ o7;TJ?v>AHv?A1éw "4ֻXeW_(Y^Q/Vhu0̕0vi=YZNКXRJinXgb3 /,lZN%Ձ2p@@lj6DZ;qMe`|#c~rlT9&|OA< *`|8ڙKw^pǥz*o=5Uմp֧)ǵY0gi5.CgO}|:6[}yGuJ\u^:ku65kr% ,< gUq1e^ryK,F0|gFޑl?ơZŠ^{Y TYcfk/k}۶u5KXqƫ|QBik0Z8%&Ti2dQ]wvTtsə X"wxwvv6Dt8l7i뾡sLmzsӆ$٧hGD*q\x M1 z3@MJ:cnscK9 pѨt ͎>|L:B Lkg#F 5j]y@:ks2PGe-hIZK,NxoNl͐^]+'YA3٣{s5N,`K٫ Ǎ(ϩ6{2|XnN4wYбȉ8fecC8]oaeO^Y%0zy4Ⱥ RvtȘH*ص"z w HT7N26|Oյ} N؃Ym|td.k3.J +ai{ȡoq$yA8R5K*m9X:ionec~d !U!cOsv0dXgBPbP IL gT"xu˚v-z[ 3V߅eQႥhᘁߜX쪰Yu]Ȝ<_TG Yp!W% ײ' +B ;%PHJXE,|[=:c'T1H'/ISֺ`~BZ1ޔZjuK;nڲ _ւ ̱OdfE{Yh08N;@xq~iByA/e>_и2cAV:nqgA0Ww.jzcܳ&]01Dh$O>[ #^2HǓ5YhpAoy$RX ;39],IE3 jc'~o߫1H>lK0"eO eQ`YE[#n_i1mkBA#Ce+/C5&(qL-.ĨCET5n6? #ohDʭ$TQנxTo^[? e ~>6,.:w*sSIE˗&$.CL|BR \(*]tD 2o \OpM7V\![e2xJh4x.^*1 BReꑇ )EĽg7X3|FS\nV3p#{? B8k֐@xJ5&Zb#)5p;vS F휄f/'LA|cv`sά', t{sk|v#Y' o[_<_.eRt&;D6-z$\6{\% @&$# ^*a ?j8k,(&2IxvU-s~~TܝF,KeѷNYgS \}_1sX9 +>'aYFoJnn;^qoHxQ¹j `vCEL8rēԼ^D` n0 .Ą$L!3E4GKZ8I  &`F"$֢ ~)Zδ= œ|>՗밊N5:>pXSO0agUl2~|_I'@AWwSs A^TW${1~B/ I p !kCusM/v3zF\(=PCkH1W)]t?L\x(zNq|[)3bq@(ܦ{=,Ƨ{Tq{uR?IL!\ \t 2EQOwk,O+UJ0t$" 匟ȀȎ"zi TR;Y4ޙakN!݇cPӄ mY)6IĜv>z'NtlkvaYVNp&bK_F$Zl$cۧq.7"7ZaB=\dW) I]aOHӺW2<7 % \b/n VB꫘-G0DڬcTbfdzJ..-lgDV97WWKtFq 'mGoDQ 5SN3M@oY:aC{@ piWiZ݉ n(ݔ<\*r^Ba 2T3^l <:`sϬjí|(8*-OfpYԩ:㐉 O0nc%\&Z^UXBԴ|4;mR$82O [P)Lpy1@j]R/w<l3b,'5eԟ1IJr`CCΦMu'9&X hļcMd"j9u-3XX5]6;ëDzi [SvVh@*.D+hz\6X)|Q@c`O1g}#Ejݖ''qƯ _T3ZdY#%Z窩ͦC½n4K8*LNamP2tW>ELO>Pp wVz>`vc=Pr2_ϝ/OqVZqlRz 6!IH%fi I]xw[iewITp–P]>`<GybPo9,KCne1H>U,}gM+h)*Egji䦱tnXZTU‘_ݤg1W2 +0bV=ȕ[ UϞk>͚5Y?, X_ޫ Jj2!oT;ݭ*O^ET\0f[c.MG0pWpi趎A;qjh{;jJH|2gdE(jՏ5PjI?4;i7^0?g3;لz4lUU^+IS0zX9RF4}OT=Dg8`Ef&0 g3:`Htsc35=6B0e UO7hdBv8}c?$Ԁۄ0tMrKR46ӓwyGk5JE[@m%\o^7F-DO1Q9E_oT ]|rG+Je* 9mcEO3DVw85%ZO"CNHeE'xAUe.O{QM2%R adI3<3LN?za(|B82K\(?U)%W4J IfP('ki1٩;@]ڍ0N&uW GpzDy5z{0$zcbS(OY]eQCo^3WRۊ>6R+8iFo~`ɇfʚ"+X6Y~rb߿ D! %B~ʎre>kRaDPZaH]pGLK!vշ#I6)BEwHJZ\3z (2˕lfqÑ,a h=~Ӝssglk?`cqP{e+J< lk !LnhFQLYnM`0$MV\aju#р c"gg88<Ń3QМF |(ĝsغ%Bm;ULRo.r\KX`&G ;hWMs`@)G&ڲbX)lk~e8b4U+7ҩxi!LyLcKby)cc;}$WݙggM|M.P 6d@ao|%=\G)6REAk6%[9z;} 4'>YԌqzk4f4>Ëyhw gG.-R P- /#7sǥ0 }YURn']nѠ+(_V6Bd(j qk$pKD1p碐1*I=_gpp(%<GaËk)g T½-!Rj&DõJ՝ 10ԜܔiSJҪUHM״>Pp"tCt8|([C};@*.=+))vʫrT2{ZG+ԁJmOk)lgr>&[ZMG۱[?Vx 疿,ץ}FYIj,LCblJ}TtLTؙMBn? Wsd{֙ ]b?&Cڜq!Uqr iw_lԁ]vF[ʮt:i1xK/f?Ā,y&s@/ :qtX(yp߭* 4K"k&:tUERUNO!Q)Rl>Y>HΎ񲺎В}XF5J'K.Rͱ6JP /viU[VC6.>})LtIu %Q"8֓zjw&iv'Pq%|^=`P}A ~SY,ǺD@U ZI5BxDv$>1dDo5ˣz,e^h۰Y$fToϠ, 's|]L_9'V;(˘(=20Z0pvsj.P#Tqy[)v,Dwf,q pG@c-`<|gYZ  ~ (1m!HOL-Probability-exHOL-Probability-ex.Koepf_Duermuth_CountermeasurePIDE/files~~/src/HOL/Probability/ex/Koepf_Duermuth_Countermeasure.thy\1m-HOL-Probability-exHOL-Probability-ex.Koepf_Duermuth_CountermeasurePIDE/document_id5761Q' HOL-Probability-exHOL-Probability-ex.Measure_Not_CCCPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$bs{-Z^56jL_td>:{'@ %8bqoHn]U[|^mY@a>6o7,q$2S ĸH3bs ^Vg3IJ/ykrGh+6_h;xQO,]]uT1r1Q!fHOL-Probability-exHOL-Probability-ex.Measure_Not_CCCPIDE/files~~/src/HOL/Probability/ex/Measure_Not_CCC.thyN 1Q-HOL-Probability-exHOL-Probability-ex.Measure_Not_CCCPIDE/document_id574/ 1]' LHOL-Probability-exHOL-Probability-ex.Dining_CryptographersPIDE/messages7zXZִF! ]D?7 {?:fH\< ݾl('Y?Dnm x]yf焽ւ/HP $\f| rrV@*)߹G,N,asR)-Ju8 r)$maǎX2&ɹ;6ݶj聺Ht )8'_ O*o{[~Z@dA p-@a[H:N/*O9%вA#4t3 9UrpxϪZYe lʍw 31*(G i2m4'Wߑ٠&TW/a@ 0sn,qۨO\9Mx5|= 4XrO|T)ZOoOk$wz)4jJzy|K4s[Bl. N2'Y\4:yϢ}9w@R7~jtqf9bȪ7+bu6)s5'H\I_l&b %8䞄˷K Z1Ÿ,5G`ؽ| ?>Go1 JХj#;!UZ Ҡٍv>ɗiX%d=QL1M 31+S(L|hB.eK^9NJH=S>vbt$=R1Tym]Znw?8؏n4LwEZד}CѲcIC!4S%52]1T.CNmVeܻ|&laE@VB}:AOMOY>>Z9:kmRd%>xu 撳h;l.#ԧcx B|+ d6 fQo6ǤxO/2 z/S:b p gޮ8c!<9egYZ=8@y֏+͛PNc0ĉ)彎gY} G /FPaAdah,U/VwYgV[{oƾ<нۭ1ت$J.KglQN.Fp&K/f4y\TM04ox_ 5ed%/ o'(-071Dϩ٘GSsn^T-cU%t2| jlXZ7xW'Y!9^7O1٫Xui+ˢB:͸;Zyݷaj{OUrr[}S~DI#}bzTXgM'vn$мk%'|" Je ᭖eG_\j3঻@ K+F8)Sŷ*^ .r\[ƻP4)?h &'uoU*6/!5RX\h'.i{s5IC`?QhmJA tw'"0{'D] &{hD8jM T`]mA&/` eޢ?;qr\R`1)e:ge}kj@4NQ18iAЁ`^~U 0~M7+Ö_2cnR{ObtOK2z|;&T/nX>M\G.FiZх\ɝW@`d"%a~r l&:d>qC,F:תy՞F@IM2F]J`".LƎ% ~mz(>F}ꥏ(}3^kMU`ӠƓYfj×V Ą1 KdXG9o"&Ԍ0Loope# fP_8h1 y 7Povb@tBy$@pZ6.Vfσ͊/uQ8܅ (:EoM?m CvpFM_{1 jܲu;չ0  Ӄd?IUMlu߹BynZ^d/]Sv,R2@fĤhi_1~.w,dPXB6 Hkta/fI17 _T{O3VT̢6tAT\"L/,~ؤn*T}SW*lq1o鷩%Yi9QX>=3V}Ә nh{N\1dd I[mr_xݟ3c03 ּJW;4e"qї f{~BղFMEnv q{_Jdǀ4~̉<\Q&df};W|kt`[ݭb6G;2*۷Z ?AHZOX-o*<K*IW@)bw:% ]Zǧ͒Skٻ^L+V78EiQtQU^ ` h pt )P^-ъc+Vp7/ 1eimsN(?8/ުXlPiR4A)NrZ{u$-LQsA޹#§s^(J>?xNUTH}] ?"utҿuDu8G%ϯY~xEkKDLne@`R f$)ՂWzIпyZz85f!h )>/i$%s1`ߦ :I76o_oH5>Жl^ee > TGV;ǃ&P1p0"~RiڅwEUx]:r)C3ۃh.< .w6zԠƲ2ҁj\Hq/4/'oW`SX׎{ "[0,|ODŽcL:Lj/z(m73fd2X4 5YOj{"#y;t%FP Jwnߙ](_ xϒ*KDᒳv=2!?0k;.GC}$[Ӿ{9esܪ2Nn%A3m<,jh@yܵ@88 jok J)=XK[!a -ԤІ/S[[V.i)t+ܠᪿZ9-no{L‘d&Jt4D#s{*5 IBU ,{Qh;Ҍ@{yR GfL^G?:FL aN0} AJ>םedE&]`<ϻbmL㉉9 .VϷCu:s6K `!st'itUOkV) j0>vZQa%2~")!]vS^.Dco1:ߩD^=H5fQ-vŊhlc3/`|onEHzkcSK~n[}`+i%MFh% +J)OPLe2fi( Z&\p,;/dmʔv%V.ibyqɵ:4V0*o1,dbQ*p._J)K桀 O1wRMG[K"M9ſE| w&W\K_ \sFA|NjUi!n6=1#0x{bue`y1z=KC_r`4/ j|% M`>2&!2"kPpֿ+Tm %Z=qDdm3c R_(+vh9WB <@X>{5Ev>*|55#SJ+;%S}v9gl&fi?]`d'Y7U-rhqQ.PRY;Ex@x"ua@cX98zݬa| t̗Ms7#Xļ !k;%%9*C)  \?l⟒#;Z͑!*Q9B@2H71=3Ye8"ٲGriffqcjrKpa9 iet-${e ȆB›{sB9T>G>R1(u c+ׇ|pR=<};[=-,^b$=jS wof&ڟ#"j*!ru FncDL1L͘YkJ9[%jf38BA^X'm 60>T@bFS!H^ W <._æ*u"tO3l3;O.@TC`l \ӟ9OW;ښ쉰g,QyRN1&0:t,9ߖ-߀ CCê8LUY''5l1Ud2^x!o y|6)H/\ !w›$bB58頔i ~U kn~N<= !e1Վ@5t(YoG_%ӱ#vWOE& S=\N<[3Hۧ |脺qC-ePan;9d6.9[ wXDZ'$hR2PHWTntyE`u4t.=oK}"l kC=+kEx i#xSL\<|^I!j-SCᬤ箔qaG1;Ao2|n 6YcK[;OKMQvP}ԦUQ ltw77iZwB/̞]Ape>.FLCvZ> I&齊_9oP\ 9Fpu\ |ϾΥ I>͛*3N鲻hsJL`G#yq Dɴ?|pnB ѿLppQ߀4Ԅ1&zG;' S0tj@BW/=F:!2m%OlԦ4  ^øjI7Y1cmr tREǦQUb .f;;S܉ZcѻZbd%u-Ef/N#l peCrꂚ]#:Y-[+1Aw_tMl͜ޭ' ^n'boǎmV~!wa뉹]6!CƴʊӲD߇e))\w nnH !c3>^i4)uȍT684DDLV[^aj{)kgv?Aބ5{~iHh;aD O V'٥"onBo>0; Q5.ع 蟇ְډ`QjOm^zlvOөE1U\Z,ژ11l9 N~ZָqRVOZBE\ N65}·M}" $1BCS%XD9H\ҥ\cM Z3Sݙ$1;Z9OK/-G l^3LH89;=,WǨo嘵/L<>>`Y5Oפ./){ئc0C̘|CX*uժxĎ) n i^ҾυN"09Yfd_UBu+6o>Ljn1 bA .ZoZ,` o"5経3R4Utg *聚5:EO[M]IŏҒ_~&2)df+һq߄o)8>b z۫A `D@BMͤG9"…KJp1- ҎـWMUCx:k>0ǐ(j:^꜓yFX' !=tk:>i6Hѧyk] F-5adiI VGͩ;P"=7^242Л?^ dŀD!p#lڗ(bx& 퇿J0yvQAy  EF"%_$KW@bE-]2z}xbkbm}~ũ_So[H|pQ\ ~Kn9 @ ?sCt~fU/;Iu fG_רm( Ji* i,@( : TiRjE^7$:OοֻP27~K-2#1̆}- *"naxV6NZXl/(s%8'2-VTva0ҽxyrWɹ*~A:UA>n= ˨ _QqC_X~I)nuP{ZA hJvn‘_y 4QF|΄3K,|@XNom-ʎRW0ǝoƃ CZ^[2Ambv'ifŶg;\=;>P$:w% 0%N{lFg=(*߀ ^~H.>>A4t鬀!e,'b&$wPHnJ=q+~XS]ƹՂ7s":g\WaSeU߰I['hz+Lj} \[b_K|IWR(?:Oh"!Dc*#I|q."&9Hwl=jGd9AMSkrb:DSɛG6BR *S]l7łQNFN.; :>Q0^m3U?j7Y&~9>X)q+o"&@Qbǵ 8Mϟ廷"nLT؊䲎Ct,7B:=d&T n%OWcu,]3s"l/nHA}3?̫"u(}gݻ&9O=A a&+<>DvN]X*xlbX(<ĺ7{PY_SBXM߷4A!Kvʶ~cezҟΞ!dUarVy~+:o30TH r+_UaqKQ4wR03@pVfnL\X7s\14lAa=+3ʫAꪺvjt|gzң9rp~&ĥZ!\Oi Nk7307lu0vIwd?t_hd7dۈJ5V3 EtG`D؃ _1 u D}KeP\; uVR1bO4|ThH$}+7E'&n*m$ĵOEC_btKX8m{2BS09^F.D2LL+a7h򑆏sE-$T@0Ƕp7TX&΅+;s$/@eT6cUFk(}~8.AKb;JQDFpTLpS=7b05e/D5ix : AXŧ V!Uc-&wBXtdSM6CWţ)zZywk,Xjf 31Bhe1LFTir<:N!^H&ֺ<吲*`k!Tw@ig>񡉵v%ʀA d"cp8]<(ݴV$X6@?:Bn>=E^@cCЅX*ߟ<`3Οއ+%L _ a,Cu̪W#(6d%~8ܴ:IRJdI9A/ѐ P| \f[I Ɔ;(8WXb|1*;M @R$}w'UC Y"_lT:4A'ݣMꍕ:OYF _YۈyA &Y2Q4(7孁q,P=ib @M&E3x`\Yl(I69=C@D3}Eq8w0wF%tʍ1h׎`0!ҙWUg3Bq|`'n_9?.^Pӣ~ph, ǯ>+ x}zvLyryMDNnrPw1bo}0cޗTRݤxZ}5vwiC39a:{kaaG@ܬ[h;B%jR-Xq1ntm%nV"A]sY=[*ycZ'doif^֓~xx_IV>D,^'91tIdUBlfFТR@_+gYZ8*ɂe7,Xc ɋ |t1hj~Q{:6 Pr~s~&R*0%f h ~j/knݑ;7y!@Q"N!F(zqEJS/L)G'Pȩ7)k.\+-H([{s+o@~M=?4"ZecaE]t`$eEHߙ5\!1O[TQ6J4<\ix^˲ 04ٚM|%qejxK PO-wpX6ƌX.vr>5P D@DTBr/=9j7 K9]Sx} IRU>MrG =|{eIǙD|ʿH`:+Fnu|ԣ9Nj,LGGO~Al1Y †OTh% ^7E ,u8߂3b`tv-Kv &c$9*3荂LaO9X= YXtRPJC;q 4QU/^Eo9ߓ{d#My_V'mV1/-w;H,"P.5*Y zD歔@W qGh&Rl Qb4ɒ䡮z]>|s?KwUE`|iu-!]b;?R6&8(ew HM;F0PE)?÷:$^ؽ\U%U5tpMA?rbUĖJ_(%&Ud:EG`^m}u$>=MW~ZIjȾK5Nob#-> e:.MŃ[{o|S芟?3&nϴxnƎ z_ӿ7sfb>rua|XM_SpMγE=}CfgIRl>4qTE 'Vdn7P6[rSt^0 M!5ad<$g`'7T:ݮ@F8"mS[НO2^;<^Ii9Hk{[i=YͿD .w ˶Ӱm)V, <.^ l>orj-ɻ\M,ߡ}yc%n~C~aʚa;Kq a3 U"F9xT] 6q`l9laQU \Y _P^"foU@ FY 9b#i2'K>1 09T+v^!GiUc9F3: -p.Y"E h'U#cٳS)H /'hjVr74ŶhLcg$BPt.22`$[M!ei3ޣS/b·@%8^ˇPd_"t [7›|I 䊕&eI]2JI'qCHH6 zzƶ÷]}'w;<ڣR>3{[K[]pKJ C ,>H, uZV3S7nUu-vs]C6WKKJ߂~Rտ LSUIބگ-Y 3Nqڛy됥ైβ3X*P˟wS| qƚͩ KwH4o[fm3CQ=Fnȳ ڞv񻣸hP=Mzct >Y*?ufR'ѯLzgQ?n?"y3.U Xwq_K]va鸗}mepigXF2v H 0Rt ^Ӓ/m};4>6V't/R˴WXZTxE\> qEV]F9$MAct`>殢7e][͎l"ɔ,b֭G9;s銼Xqּɉ8~#;ԩ+Ovpڑ9#b|UNZ//O(%+ s6E.:h/LFyOH`*7џwhm]q vxys$7#d LgBe4ˊ@h:)2펟:_j Գ/V[eэ\S!ޓ+ %GYʐÏK+4a G[Ӌ!L& ^! *$5K9HׅY[ߣ-%i>\aPˀxF4BtNo25>\mHBDʖLdFVz5N?k0]lݔ7=zپq% iqEq|ׅxR;Q>o"G՗/v"fd² Oht+q&=ZvC~`YpĺBa"%{aNY.hvhR31ˑcypWg@ ާ& _@ @U)@"<@~ӣGFZ8b0dXj2@zZu3Ub׫ Lv[:Ph ρ< cՉC73}[yZXmFj@72/V+z7l %{M'-p{ϣ?/nPן8>^hPγqr+E Nkz:Z3L9PQ?!Os5eWzv߷nVnGD? 'wҥ+=/ZB`fcڇ`q X> t3Mcji$U 1#_(l` Sb׈ $oD:Ƥ1 yʮ(q{lkÙ`D5M.՝k7ͤ3Pi)d1$m)kSƌ%I?,sbapgC :&p,ƨ5}m'z2sʐrF5ьz9ql%^.Ͳ,Y 6>2rᓀ -'U4ccڛ7K_,+8ĈYDЊ51)_e%6qycw?Kx?/P%?2:[M<LC'PJB0=>VQ4/j ɽ[/g(SxS- o`xnFHOb5 F|kwy(.#nM!N݊*Q ՘ǫh^üP q|=Q.Dh_<pOr\h˯ 0 < *P?JEl]5uBtR(>S*Y%YP3мy4tHhӋԊJFFN"S\+zuuO/ M.2EK6+P`<6-hIݗy,L .ƲyF2 q[.b -2|\G<wj =PԤ sU !9ƥ;tpr޽ ˊ(=Y8ZO/<9y//rV|&OZW7{"tt~t:DԮ4d=:t`"3qw=,zR$ӒPC!FtJBEOUNnD}b~9BSSӳ '|!ZI]:vq6íS0-b3y~ T),JCLEK.תU=6vZEgD:XE?qN_uithh"QKhGQ!z]%FTSw>3` E,R[6qiլ iV'C+ DVO ~gyc+ Yi਌ 0S}-W9J#usړ5sanHk\ٻ[o:W$-MuP1-e/@t*P7.e7Vm_Z<iF848zYJiGeY@f!]Qhm3fU`Uy'h53q3̟nh1wolU u$ߩW6Sq%S'!v>%l oaAN&ͺE}W7=1*ATZʳnӡhp|⠽?x=)\u{ZH40~ =f{o+2 Ɂ{fDRNPuڧ^]2\>6@!*lT ad72H WΜw@m; Ƈ$璟kBw嗡.d1ǰs )3  # gҡ8Ha+tvataRz{F~2%V1WN5Z; gε|KAʭOb le?%JAb[><철 lE4(sw)\-TlZWطK:ԋ)BuEdܵ<2-}~م Q~y~MXH< /)Nك㾆$2ܮLatu幺'WBP}Y@2)C4UNGޚS0আq(.8cUL-ؑ7 J{_~=0岦+Cafh>Cn,#"{EˏW~aBLo2#! l@"'%pW("<ࣇ@wC{ yΡ]S[IVIy8Ѹ<ؘ ;tpF~X & -z^-v3˟&4A@n~G^teg]i4̮qĿ>W6;4.Ar+5ǖu81,g ~KYL{2EWR u@}:fuKOdr!,nYhx3o6sҴ&;bCF6T+)J=F-BpdSY&R2w.%C~s n`!O"0Q\^xިsCX"N,%p, \7b&25}Q@>/7+k+Oꑋc{rc|?8"kMz e(x (Vdh);2dPBbΎΩtMn&ޟu㒤H O"7Y|M8YE' %y(<2CA-Kp[S``ˍciay5ot%iZW5Adm5g 9w MbJO[!Q16hrzJ--=wd폖6/>SStTT]C NM_Oa}:" QDi5/eR^d`eH꿯lD&/CBdc:Gt&G0 0YSu'$" P_s$/ dfKc'2'לZp]zGX5h. yBޖ=N6u$roα]XZ&7k奺6nd?N:k'&TK&(̡·d.Ҍ:%1Ӡp/u&G& 8}+%,#zwDXy XgVKg"jsC +|GU~ˠmȮN3/фSvɶx䳋;4EUD= a 3cCuzeâdS%UO^84vNz-q}Ɏ_l!@T>xGnSi^ o"@O%N1t,db`TX3V-8 `NؾvNQBhU꿥,jx56d.9t Vp]Qs?$G3k}$mq9]~0C/E_d$+J5h=Nn;d0%R%,  5Ԝ0VC:XM}ߩ=ҕef=;פeWhCli{?>VS'b 8P'{gOˌZ=X[4˯PyU?CxW~=mZXInEus+28? 0>q1@\fU&Sy,qzMmc->tx\&, idAI⮉HʐQ`?e*NS3r髻lK@ CwF%}ut{Fi@BPzO8HwxQ-F MLg;O[Hnjʕ=*-hD}鷇ko^-*ƌ_pR4:d(N:傟t:AhXk:r*|F(ϩX $[8)>x5%0`bo.|P\,rNЙbD9MSE'n[CK;7Ր;W sǨ"$,s0&^Mm#cfbΧmH%ڵl1.?*S4he&s4>؃.-+ ,/B zϘC͟+&\=Xb_WcyBzC/eYh]c$u= ͡}43leޅlv/ijNYV^.4eN˻J,Úr} JI1BA=0p^^@ )'-ab90B9I.<î" J~0HW+H^4d[pA[nf ubXOЖ P -$#;MVfjFo/>̝% +o%!_+ݨN& OiHXvP8ݘI&Or Hͯ[<*% ~xS 8E01`%'="sX #\gfJVP@SZCwJp;Bҕ-1: ҕb+*d+~u1 {s_n!{8q_+Q~{T 8\ό aM6=$>*; VkV43= ɏQ}60z0zg[ 6c arEPRt$P䚻1LzMdǭDlޫRӣs @ @6ى.}+q݌N$w2RÂRs;_=L6=豳!D~ BV^VIjꛀ;D<2sϐ_Ʀt[dDF\ٍ)rsb~Tv6g !S>'Ee'ELAJKhqBqnF$"<훃gP'a*L Z6Mqի$lմy@>Q " UxR7C*&%h|ht@8lc`C-!m}PzډDAɮɦUbSzc6iJ4Ԓ>MIJi1>,͏$nbOCAAϻn3L E 奟aYXV[z-ι_T0[wD=RAiBRK"bCv rFW rܥnWu3Mf}9甀" wqRZf4r9#%@[0Ux #G : G5^C:abm:JKG-^C򎸔00~TQE8|ޱÝV]3DCZ`qF!+n 4!A.„Wh/xV:־L Oe3G#ڷJ!AW -=AsuODw 8+lMʹ{Ԕo?p]ɒ1q8|f9{hb-[ba 1ǵtjgp#l>SAƌ47;lZpg4 }cf܊X; l̤ɟM- )oҕ| 7+-b;̴ %^Ѹ\ U@ ݪKgMk*oA7}GfRY4E>V jFG) UD{.B@ouC9L/=W},LGPᒘ@ZJ#/,TNreб=bo#B{'\pF٣7(5ISh-G]`.wA\ 2`N6Mg e«[eCyyɸ.W" 8-eK.3n 2x4m ٶ_b:=xϽ=Ys\im1kdi4@h0Gltgl#v9%]]r F/?\K5\/?hjUDc.߬wS0c z=_'g3Qd~?8@y&J[ iYCCX|6j-ocnOu7H,Y/ƶT*MeN6LɪO َ3585ƞm_.^ =ܧ/X6‡9 V}a|ȍN}Hr^,D)s7ZS|EOp#dBǫ:D9dN췎u&XcVJΦ !ZRƄ!'VSuQz=Xn#((%lh d]P0!l Q/2!rqljVF/a 晩Zʵg1+[g.v?EX౧NPӗí۶] 6tp[nᵡk{ŪYg G!V|}.R4sD;!-]@.$lAܪ$=Q 5a哽U볽,2@W<% hV`l?~%.Ӽ PrFE%<mA<Ѡmjuz͹ch,F)-T 0@zєbAR,z\̊|EH4#2Q3Xf}I~;IaY .Y(u˔H֚ lL';X9c8 ~GҎ;!6wTmK{A2G莨HFrt<Ƅ?Y.;XsEoGwnW9w}59S JȌraʜ(,mϓEX-$pe~OqBk<$G8=PQNlϰ5䯛R/֒\i~h"Yi=mٯ0;hzG^jRoYkqC !rN6#p<:a?@1f5 Oz4['nsF1OHz]֏&ЇD;CPl+`&*3r]C~U(fZFCEhʜ"k3'y>Af)yA:DB3uHVm0auIt. Ǡ>} ՙ0=-.ߏohx* LdaUW!Lܣ2Պ6SZV8m\Q=b03%2q4=aWĄfæO^,2'(H'(<.5k|2.RnT"}k6vA*[VӪu煊~A'ć<̊+zm82CӘ%2}tVfIE6: O8݀.qgH-iWRWK v9bsB.-|AӗX[ȿb_똽vvPMd}:vB=ki>r( Us_!вυ "]9.ó`)Z}TJ`.Sўď{zaxG0~GtZ RR‘NYlE+kZZ_-}Zgݓn/TaS ,Փ٨vo9k1uqQP}z%fp).iBB)lL~Pz).=DU3EQ.<XV ]QGNVS p{$. Z24,ֲ׻ƤLQ[@J%ev'yH3@Y]6C$I?qhF4Wb}Ϣz2$& @tɵ:%0ч#-sߒ/󵎄,LJ: {GՖon3h71w7ޱaHU%t$kݔ ܾ)64FWz׸g`M%\/V2{y4[?fKqḈ)sqhCY[?Z D~bW4Gr2lk=;Ōb8zLr,ϾFOYljw# S'*feXk&$#ҢXՅPX&+fCk>b 1|yb21d3ܯ6ޖ i!oT=y~C|:2rWf "ݏuЈF]6@·uގ5E($Dév7ߞGhJ[g t/ 1ep'Uai9aTߢ7hc/TN]\UvLCpS{/)VCi^@iC`4c*MHVw`Tp+7$}\]z#Q 4e0zw+X?Q^|Y <ۑÙDW54v2_&a RSɻbM)5A#A_˼x'5 u;`]g? EcwP3x(DBIݩ0׳ui0FVG"3M+D0KR vjSȲ\$(r׏?i6Gث,.%u 3YysFu\*ztWhEDBZO EN7_͝uO-W1xw b۽TdH/P7+t#:EF-J}@H͙Q!+;St虴<5EF~4}[bX@ v7MTچT7v[.,gbt)r VB΂u8e\<'ai+%;_F`ȺF5Ƙʓ+v1AYRVy50 KD=EGӚBWh_ʻm`0A˸;Ģa`j7-sCe>{Ŋչy&l6n7ffbݠku[>l(GK2*NT!-xAB,lk'}bh(nZgⷿ7Lȹ7vԉ͍GlNwKTXc2goY*gq\m8&zW00kX z/fvz$ ;#Bi)$4B5Yf1|>#mp*ge+ظ͑L\smh *JSw>v+#$tD;BLXErcSHBт ^!%l5:(2%#.}/Uuhٰ:DapP:͗95qO_5޳ ?ʃGwURӴC6FO\]uw8elΌڿT߆uL?f!0}H0L%Л9dʕ<  -[Pktf$F 33E59v.Ku}IE1H2Q6١VBtHqh$Es:NόAٽp ( B+_ٳ{-P "ؤpq)U4t=+5"['逾g1,p+8Y怹 LP9S'+Ԃ>Nz|AP~Q?0&uTv#o4c-W^^;P$ Eqh鮭'C a/v>BM"|(؆+`eHKg;TuV=mialoE ;⦕'˃Ȇ|{ lpV+x"U[>Ǡ9Ý: O๞*iyF}f¬ͅOuVbdF2KV0BpVA jے"n\=8?Å|+9Zά"@0!D<iE餯Ӌo4nq'QQe.K6'%!\Qfh/E [e)NB9Ay)Z\jQTo"Yk aq{r޶RMaiq\xgu} Lp̅myAg_L)̭7|1+-^"P=L]_U2tޮ)+avIy@,jsjn|I9tȂϵ;)*»N>|/BA<cO- ށsd %B:8Ω7 h}:7x*Ԓ0p&f`ĆK0܂|@K[Ë2J]0=gB'vIE7~\x1YI-]ĩdxM%AEjpGyhKXn%pk7slVCp0077y)(i"PIP-{5H@m mH9;7mu?e ^Lh"C"bS ygѓALі[I y6`*Ƴ1[>l)R@ĽM2ȿ7qpEEz`TJJwwlӸA`^(X'u~ |3{v^pYVmUYZ,`- _zۂ^gC%k/2##L$Pƀ`f4$XU|]Ύ:%b&d&ǛZ`;w#z@F7?+YH!S !i"A=],}Xj3NB"seOZk - vInP˨ajՐjD6E%>ܠ@ap0iG%PNl6vٷ_V++ Fk$GX[+"PZG'2^=HP)lV6ͫ"xOSGjw ~L)xFX+{^6v<4x\Iu ~PģD*olOh.(¨c#ٿqt_2[b31shf<DEs0[wvMO"!P"5Jm^&P-5@. -ZRr|JQC=?{sے:P}> yG]24^b|HCk61q7r{"@ cGs죮-^` kX,fNg ,tKva¦̤ܥD=Sd]JGHHt(-.ZCMZ^v1?O020GGLFՐ`W}b' :ގH ",ΥRgkϞ,m4pj+6 s:?0CtYQ|l%gg L׉ED;Ɵƞe=l8/7~DvNj3h߳ < qc{M߿㥧oEo!UyU}Ƀedђm%N\M7(!$R<ۨ!![X}H2Y,ik^{ L*C~CTAG*EK׋4&$"gFL iz0'w11&2 vp 4$]@5*^bH&\ XǹX/dj (tV+2ζx!Bl5lqw$7  ލ* ?֟ a/_w;| 2*Ҳ#4qWe1\[?H!E}^ D*j(]j<`,z$0橝w;} ܨ#,?u(08_~̨{w[ӷ"KB֎La_W VVZ/`cp|1Lzu"ho>EǙB`yYIbh$uj#r<Ò| :n*,^plmHWXJ@hO@mǍ^n!f, àE$cwK7U[p:)^xkoKr##?lsZG>!fOQP9e*ĮA6M[Qx}'dY4ڦ)Fm^:a e  8>,Nɖ$]z"Fe'W_HێV8cUh [*P2,h5iE' r2e]QETmO?*z.Y'N,.GDSdh'ӓn 7bxMD*Q.CϠD( nNg4["6~Aj_߽O쑳FAn#Ǔ((/mM D/Ƴ&W"~дܘ05l%sT/T]p23*~*٠.)O;Gn67T8M. nc$L+\W-G;I^W3 ?4Sih4!Z֘ i©z"/ ޻uccC#6&idv'V\bwA7}n `3wJM;`_EUPߪ}x/ A*=b:p4"z%.QM)mu*Ue;RQ3cX10(r=)FXG0G<,p^|Gދ@G([%eMJlT^R>pS~S}MJSE^$ywY$ES\vAg; d qec d I>p6@Jꭹ*҃!b!ɶ#W!4Ut!/iڊјa'c\ꛣ{ !r+߄aoÚX OGc E$èO0\sTRO9(m*ߩ~DZj\+ڻ@}hgäؓs=..S7A,]D>Sb98y8=30pfBNWb'TVu8>wTF,BAc:|_Y>bC'"7g[bV-vc'1;QVpU3,%tӤmط{m~r$\35 JQ}'LH.KIr@?@CHZܙnQG%57 (ךլhi"1~(o~A:(}܃~ @U7(h$ҩGAP7oy13겊D=/;uH`HTZBf/MBWp ݚ(lO2f*CS/ß 6Hqd;1oSF#P$aԿrͪ10Dk- nW 7JrXmOmXuH6_[틈,igk r:e `2XV%Ղx]I.il jI,3"I,"(JcN@9JhYEI.&OjR$sDAE6f+E m{okę QNn|jA{c$knxu9\xp4SNd`f3jֻQYX,EM(;œP !`ITVdhmnwc#IJKJjEѫpz4J:# %*p.[y^a+*6ZR= 6xԜEB&MTBp'(_:AV "vh%v psCW"]||lmu3~!^8U=pg &mm@B\si["4BDɰIJMUɢ]C6__xC˒TR7"} 4wֲ<(RDT[р F&T- y..Ro6ai9$gԋQqЭ:\.\ '4CZdnNҚB tFّ(^q݋{gvEwf؊xV:;h@("I)N#>,-O*'UC}gsY, J1;BT @*dM=!fok^W'R;U;JHwD8%i|)7r ]YOO_Q@\||GĠxrgrPS:棲5-o=K 3(=v]c H^m{~c~zer:Y ,ALґXxڟ߶IOwмpLg{+O!p>6;G]?en+wU.rFPy~H:J~Fi$4j _}`kX5Lg:pxa!{ @vn9(;#-$+l B߻6 e, qcf 9aV+~9>!^oCnPMv)~#Š =K|߂N;-c]䞈$|Hx3톄JWq3"5$G`)eO]KOm$#tFXr˅#aWzudLo3GV3AxGİm **"T)=8RA*vTZ7 !`qa!@RߙwEC]޴5`mA(l!6Z1k:?ı{7}`^MLz]yn@A'BN T A[D-cbwRsT{UЯQn,+?T^[[0sͤ7ReYhljAQš gdMq qJKn[YakeRDk6UISXi8kkTU v ~uM?3(CF9[P+C\u6`~rlYN>)qkQJ.r疷Q;H~C*&\ Y'ĢA_HڂLXDϢD֬ _֡oȩ^sk fm~s|jm5Є; 7yP0̱ i. vS'v#ݰ)WGoK8j0*zA> 6u d!%|/zhGQg=)JF.+뎂6 ʼnyE>8:G:ٰoq{`K%~[bF=lAP1 o*FjaԑbŽwhB|9!@>(oVSuN4f/7k|lV~~L:6YlU+C|l\NC) ?qqd`p24?WĔI(Q" 7C*تX%!"WyX &M7vY_Ǚ 7q[|=9oh:UvjeJ0( BDt /q M`ݖeSFni1WDlC-lWBaNӏkJ́/?\;zmw {o_żz\Tw,?O1kxd~iadK2Qץ&f!U hzH +Kx݀,o&D֯%!v_G0ݷ/ՌO9n'`UkQ(%9ŋ=|``JL*u؋[MA0AR͸_, 5&{U-uWվ`/2TG(5=K@ v}Jǵ%LqU~Z89$v*G7)>1Lj9kzځ|g QTeǶtwf+i %@\^P+֮RNGXsZ^Fj{[Ulx*ڹӡO]+ \q11QߜwnFzSlP!ByRr b{P u ݈?R|RN"Ԗ{$0$R.iwUmѢKZ` ^Voqtqyd`cw0uu>9 W P֚!+V?{9ߘ %/I62ubb#bOԇ"a:k9ճo^~3Ȇ73"|4RYߎ,2eje3%:{*}ڹѻLpdRw_ȑhNh_sm[guB!T $f;@>BfGl<T]>ms/͢3 ; 2Uhϓ,A(hmQ'(3WKnt9R9üiൈnj8JA/|yٹM%}oArR9:D+JyqV![N=In|c7q,@o.au14Ec6q'.Xƚ~1ԸNJsoa]mO)z _+jOnxM !|-*&-:7Nu5b{rC0 X2@"C8Wt,φ;pvҧ]Fhp]MW3m^FTf*/PC{3BAVy\'KvIjY)T"aԣqg&)ږ(A\_#c:RL7[#dY*#N`4ɧee X64Inq׺vѦ߫R}~e)vSޤ%QZ"D)ͮ"Q{އįk$'=f $qC 65vu.CQ/dXV˦qe![.-'\9gxá(3$@GmKĺ; 05dӮ?0GgS_S#%MS?dW ی{WtʜÃC]D*lO(8wNzM֗>+^D<e.{V(0Gee(jB_E~Y2c6˖&?bɛZ=lcϷ%hd9: ۟.˝d!,<.~.&QB\R%úC[^8ngg|<6$0sέiܯ^hC;e'N 06䫩W#hA (hu Fy ޿N_ٗz:r#>PĴX̄7b!gy/@ΪZpwi=[${ >zQ(d5fw @fMFm.~QU$ԤkdH'?y!=i coފke^S0~TS%.DWKuamXFS3#|Sjs՟fO1<UxBOb &bʍ6t͍0u3hjp_ !샯R@KoOޣFqG9BuIkmmvz>׬ j[$&լ5-WP:Wo˖Cnf'<0}-U`@ˉ}?4lp[Rl@l AaH䀸$ ^s6&h# ;PmilmѺd :,^[枱sB$y=2\6OhVQm鵴򌠌_ P%%%Wrҩ͹hODS([%5hxD W1]Dx5h0f M5^LbyknYrxgt2& -FQ^ZEag@{W_5aXkbq>1=q# cO);IPqk2Cr:妺-16mRJt:K-[n$pa5+]Qϔ?Eq(eܻSUY2g1oplK>d/qMr 1Q t>Upޜvll/N07'xI \Ysq !/F*݊ o$#||zFt 6J>ܯDkOZRƏt<Mm*b1҃7rޏWY?Y,Tvm,(p)zXP4 3eBW*ϾsIUV<Z ~X+1BlTҔ j {R_/Q5Nk& m %8!;ӏ_%'5|C>`]?FjC&b^\!"W,U`qlƕ)A_C`Ye;Q1BWz'}Fn}@SDp)*{e<SkȆb_k! 9 lE1UˢOМ7|A![ݻP2$%}TMt2m{Gu~ b|Z+wҌ"FōܭRKZ!Pu sϝ7Y¸=x&y'`Q@"I$pe)"Y õZLOrOIJ}$dkuy)yW-*dy EEj~i%*.T*ݡ^m58Pmȴ6bj%%7x\r;w)U[h :t 37c:e̳&ZO7xl;w.t8wY2RbGҴ SK𝇓λY0.ev!E'ӮCUSr2Das`3ީ.hxW'h"8X-4mT)wTߘNw@bxC那3}3' ɲj=Nub_kڻsQgк ]2z(ESKpBٸ.HxIB~F5JEAcZfAB9V)uܡCXSٻHcU-Ԧ!~;{(́(_lrnڙ6jyVidڐ'7Ҝ(ƅQFd=BSV;v+A1WY{IgkEKdq psDUp4O#فQE<߸g>qKM,RQNT?,-cMӠ'xC//xrj]_%-̎yrF1GP'W챛fsy^lbq`dUTŊ~i sDw#I,+YFZE PSu}6xrUEZf6(ĞeG|Th(7$:ح*U^:Q ~">$ͤ( ҙ(ѺJݻuRMQǷi r٪̩.&j 2M̋c~jGW߆ -RO`]0?o{mqhysRhl{Ckʥ:MJxb8EVeWݴY Y]#4sET7F;Li%n3XdyG 1׼o01@ c\8_@{ÑG"~I1f@ !nO^Q!d 3bx@y|4YΟT I_$0X:\)G>? 㔈7v۰U * ju0wmJ\/XWW 8ވV1f"Ti70t|E;aJ5>B|WMǁ8)Tl-+UJÇCrXOs ߝܷ5JS.tFBޓI;1 գ <݈n6i3+_B K:|oW U1`^W=yDʉF9"R v l筓bjNd+iǰ0X Kx'RGv`ꔠ  lBng#[onjN_t !nǪfS.K4KO`H$Ѱ }*0^SW͢!CH4K'xm" & ZFQHhmd"A?7w*k턏ۊ\%sd|4TrҾ? i ihx=ds-> plλBﰂނ8FGq ״[]h8YĚPmQ"cSE$UjJlW/~%΂V]lfɗ{ƳkleV :ơzBgYZ