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 $1r\ D ]S HOL-Probability-ex:threads=6elapsed=7.959cpu=24.456gc=1.0087zXZִF! ]ŗXiɟH)0!h]F,=4f|zaB|`\>F"$v^&oӥxJȽ5q C).6ꍑCJZhy&BJ0)|Ig(YJ EC8+KU4dG Y伸iR~b=\=]m'm!MBz oDYz${J"eDNf(>r@O!u\mL%Dl`U:m@yX7  m5 Τ¬&s`='uHCTqq-C'ʣĝ{G:Q7x z5+rzXs6 PjU뵱;g_@JwBoβR(*rm졷{:?5! ^}bwTu}ץ,*(ˆN_τ%4́Ia: _#gYZc9fb5c1ea55577f08949be3c3556b6ed09175df148ef87dd09ab8fc29a0988e0025104c249fa2e36 35bb85abbd94b011d8114c0880ef20a2961ecc7f bdd094f2dd8c7520ab15365feff5d5422d078b85 4697f5bcc01980d494cdf61e8bc06629cb58faee 1 HOL-Probability-ex#g1EG 4HOL-Probability-exHOL-Library.List_Permutationdocument/List_Permutation.tex7zXZִF! 8 S]A-MՋhvG"uIBm5gq3P`J 1߾(s%?=]\ah3 Q%r8a!uA5Pnȸx_mdj{, QY.a?4kAu l6hq[k/TQo,)#p$׭fNDK`̖Z0EvyLUq3K m,1>z g3Lo \񏃏֟`p>#Z`\*\ERq%w 2Cv]vFT`A'↑/fƓGQQDHl(]b|C!QfkY{J!n!Mf^0>S,M5ܥ8Hp̢#̍Jۥ 1+c~ԡ@7"R%ZwġϕlƥI@WxI ߰/!TuY}wBѼvm[]$kJ pR @X%JڀVA7ym"ʘs,h$KK;BQ)\pQz`ᇰsg|*iv22 |nJZ(MՉl3KohcZ#aNl`aT<d֡(arA,.WL+f-|9B >`{?9>f{&&tv&.p!u@2/D6үpbWӚ"clV{U/wzG߂.Ph-6F(~SWl肊\7X`52Tr_$-9f#pCGiP37Vq*Neb̺ϡ8V V%NTlGKצ6:D\_xXӣjv.eq츏֖qR=兼f Tquf=+U]k兝Ty6^Ɋqqs]c \] 9)5=1R#UKOv~j WJ>WoBh |UK \y]i`uh1U1Y_6 2eMڙj'J>bBia )ޅ4C>F? BVdLV 9 N-FҚtKZӐdnE"O@FEv[ ޙ>|83%|%GE#ȐMJ6%T?Utft%8) /Ml1Vb!(y5= *QO)~=g08SOn i@ER}&g?9)#/cm\OcϨuV$/͢Hba g](Jhp깉z=DT@]$*d7\b rMĵMR[FWZubW"% ydlCI)Ϫ+"P" 4tpd;p-L7x"X;ٵ8 uWuQ~82eO_d+]L֌pA+?<],_boO$L#Q{ʵ~8G*P<=Ғ` ڻi蓪f-ꨉ-L ͉] #jh7>@jтa~uo| F\[-::fW#ߓ޺NbЋ*y(촩G٨񦪹(p혲R8@Od$ ζzI I+Yob;dk-_UJ=f%N8mQOrYceE_:'>qg|Q=KVNŏ](8:v20 n_ Qڠ &QD`LcTV2'"     = | + F | ( < p (U1m'HOL-Probability-exHOL-Probability-ex.Koepf_Duermuth_CountermeasurePIDE/messagesS1m#HOL-Probability-exHOL-Probability-ex.Koepf_Duermuth_CountermeasurePIDE/markupR1m!HOL-Probability-exHOL-Probability-ex.Koepf_Duermuth_CountermeasurePIDE/filesX1m-HOL-Probability-exHOL-Probability-ex.Koepf_Duermuth_CountermeasurePIDE/document_idG1Q'HOL-Probability-exHOL-Probability-ex.Measure_Not_CCCPIDE/messagesE1Q#HOL-Probability-exHOL-Probability-ex.Measure_Not_CCCPIDE/markupD1Q!HOL-Probability-exHOL-Probability-ex.Measure_Not_CCCPIDE/filesJ1Q-HOL-Probability-exHOL-Probability-ex.Measure_Not_CCCPIDE/document_id M1]'HOL-Probability-exHOL-Probability-ex.Dining_CryptographersPIDE/messages K1]#HOL-Probability-exHOL-Probability-ex.Dining_CryptographersPIDE/markup J1]!HOL-Probability-exHOL-Probability-ex.Dining_CryptographersPIDE/files P1]-HOL-Probability-exHOL-Probability-ex.Dining_CryptographersPIDE/document_id A1E'HOL-Probability-exHOL-Library.List_PermutationPIDE/messages?1E#HOL-Probability-exHOL-Library.List_PermutationPIDE/markup>1E!HOL-Probability-exHOL-Library.List_PermutationPIDE/filesD1E-HOL-Probability-exHOL-Library.List_PermutationPIDE/document_idb1]QHOL-Probability-exHOL-Probability-ex.Dining_Cryptographersdocument/Dining_Cryptographers.texV1QEHOL-Probability-exHOL-Probability-ex.Measure_Not_CCCdocument/Measure_Not_CCC.texr1maHOL-Probability-exHOL-Probability-ex.Koepf_Duermuth_Countermeasuredocument/Koepf_Duermuth_Countermeasure.texP1EG HOL-Probability-exHOL-Library.List_Permutationdocument/List_Permutation.tex   ^#@¤[YK?jkTmsWRO %Li`O/|ۻ1~ĽJ }^߶q$xleQvngRg5-nSZweit@ėx O{9 Hǁmn"OœҲœQurmuro֐+Ԥni0Ų 4 Nff&%#qo"S:%p)N(3`@|%j=)/a 6;Ƈ +yS'sfۇ;a5,Yfchizsl]ᨾ9jɉZ-PSa8q *Y9m@N+3KCy0INbEoB "suӧ$דZB~d+!5mrB O҃w8έZ}{Z66foa0\PNI͏ͳ"Aɺ+Wn_ KK^k[d0*-1l/2W' 2#. ~m3# /mBo,Q#/r#S_W0ɎZպI&!s,)m|3?w#;آ>&˔M S\bl¶4B\4\6O XQCG)S=yl\͜}̿Pѷ)*||MB`ފ B~Qht#nGXwuf`uݱėD>_\dRR[~DyEv -l&!fH RKRif;(Qā,{? <>Uؼ4}Ue6壉K3#'ª 0!Cdm5Ro+V [Fg@oW4?b7Oi4;[uHLW f)qn}5Ҹ/C_۲梔\8IN^֠ymϨU^Dh|] Q{ᛲ?i?8ͽPWD~.ٯ \W{?"3X3*K &]s<+,:Tk7:zD^J2M,zIGvWY vx0ȪzNǏ9jV5{Mӷ x`?sfN:G;[W*4ΏoU=P BaU $YE㭑9T_jϏ4R\ )&mXm%TK7qulK~)̀&-byK2 He^<]?2ʔm'7<Ӱn˜{|@U6<㲀S1j4y,D;,|ö&}PuX%E/].8O0d#:B<|_k]F1y8xWF@:n4,$ވq`b)+xxm a;)-&zP! GΫ+[pNn?^޹l,TWЄMR:_UX]Qhe].1F!3oI\T/_ 7l78rG54AÝ+Er,~TGx>^fp&Z3d=H|z]: ^ 3+lB^\:cλۛ)5&JsU#] cʞuE=TZ5s̋&jI=|)Nq'#'p`g 1?gTXF[A9A~!,Url!H[=+twL vе00WXY52UAeP\S=#Lȁ^jeou&\H +KhAqͽtt$*m3z2b{وzrq?=i bVIgr`gҪ=WWD$j3>xoM+j`k`aWM7" *rGV%|T x$vL`3 0u-{4vFJkK/'d<7wF} esä _wvQʻQ Eh'A_ZHg Js%e)O.Yozk ~Kc8_B"оFܬ :8tIJҕ$2@԰G bdXÛ6Ts& Y HC4 Џ5gP0! ".6/R(29=Za:, 9ʰBt#Z}3k׫>D+?nڽGHņv-BÓm˘^ȓwkjEߔ# UY6@~[(  6q胬[;"--X~GP\$ HŃLe@̫,mZ"GY_Qy=ph'= 3 RW芁=GȮhe:.4#{=߀ܣoFY?ĭax3 Ϋ]uZ yg.ZJJHb}q;v /}4FŴ@#ުԙ ]WޠTPvb ekeQ{rfK!U/O x#(A\ޑF2Q ú5LU kAi ;:Zd|6Di=NjK ]j)`8U%$Ot=ʐ(ٌmKSq4~"i- w#F5r/+*4sbsa/ pc1 oYw iVh/P C'=-YDc ,WF:EH kU*;WM;ȍh< Uk\ójK3@Z$1%OEuTA5e9Tn* S~dޑy!fr)J!.HwegZ6.d!]Ұƀ9]᝭$o 4" Sib1ˌU󴟊>~? Dp>6! >#*b5x@#$W26\/6>H@yK~ǹ k4B uC_xג.T3>W%(\qO{<WAᘏrD*ۣaY0!cB Tq* ;O%%XTщtq,MTpy i=`8/p`^EaX/+s|y\R8ވt /L§ɲaG, ŦQbәŵ>߶;w<+ț,**.3f(PhMaQ5U`G-2bVиBR5XoJrʆ+ESqi ~o;FX#aj](Xs9f8ңӄB%1C ;vmsԅIK &Ή2>$N$8D1쑪o1a-3 Th7DYwHh~E6o7wC6 t~E|>:kDp݂wip3EWR 2CkW]~˓3V_cj@,%W呲KwX;M5xc1@z(<5s JnIť%翁LZ62Cb͖+Z4+wefB$FUIrV\ìpMp%7F>/Y MƘoc=#"cDž9{`e*y^=&DžJ{'Bkb XdD㤟/r_(J1+2W(6,8ЎFΠ`m&z?$L7پ(kWTn -.Į-\UFvofg觍Z!KUC읏 ]L'Xr5jM~dR?m~y),o:KYiMtkl*$P82IjRAU Rfqr@F!1"0punbjOXF][g\O]9i4PLY.dh#ap+_n-P.{Q&$_?՗3(5KD"w'{ouӣ>}hWQ,{IŒ@1_,\Hm)tM\]rրB"OXd"s$[H szR\` t_7窏{w&:CZo02~<7 vŞk*۽K>wa4o' J%[W,lTG|`)\KѣTAYM\|̿JG}ߺJ^!'%\Pf +m|Pqٳ&\EԷo =Dd gQ`b6s5ꫂa490ә:0 fg!P+ciUQKQ HLwyzNgk+aI RWC=;71OgkgP2B^f`YbGPRe;6aI$!͙5d.չ◃z$Ԁ:HX.%ޗ]ҁ~qH|7TxKգ3ej?"w.Qe *sn&)B1~ht'n%s )dv(B xÊa], %ɔaS1F#gw/-& gO@\%2>ڀNRQuqb=<0{Xm;"d\b} &NQ2"chӅ聍W<## bZ",^݊[Cc"nW>pųӸrDS,._/3a}00m&$xA%kx"&/^8Bc=$ޓIӔi* 0>qUCkUS !j }"m]Ӯހcmit&Fy\ a#4NC!d2s5RedRUxMorϊ;|-IܣEy 4o(ݣd܇KbY^Eky%teFEΕbyoAyfhmBk HPM,TkAƻ b]$7j@aK<>@o2\̕,O9?۽u٤Kx!;Π ͍}8#%*+qcڅDt JfY'OtHcd? V[K—zx,CCttxaY Ҵ]74+A̿͘k`?mÏI:yl:撝`o*(3$3=kkH=`$fr;O lܵOʷYdh߂ rΈUYCa-byQ8 OPXoH/ ^bT>^?Y3 kA}ikx4uAVtAW3S QgYZ g1EG 4HOL-Probability-exHOL-Library.List_Permutationdocument/List_Permutation.tex7zXZִF! 8 S]A-MՋhvG"uIBm5gq3P`J 1߾(s%?=]\ah3 Q%r8a!uA5Pnȸx_mdj{, QY.a?4kAu l6hq[k/TQo,)#p$׭fNDK`̖Z0EvyLUq3K m,1>z g3Lo \񏃏֟`p>#Z`\*\ERq%w 2Cv]vFT`A'↑/fƓGQQDHl(]b|C!QfkY{J!n!Mf^0>S,M5ܥ8Hp̢#̍Jۥ 1+c~ԡ@7"R%ZwġϕlƥI@WxI ߰/!TuY}wBѼvm[]$kJ pR @X%JڀVA7ym"ʘs,h$KK;BQ)\pQz`ᇰsg|*iv22 |nJZ(MՉl3KohcZ#aNl`aT<d֡(arA,.WL+f-|9B >`{?9>f{&&tv&.p!u@2/D6үpbWӚ"clV{U/wzG߂.Ph-6F(~SWl肊\7X`52Tr_$-9f#pCGiP37Vq*Neb̺ϡ8V V%NTlGKצ6:D\_xXӣjv.eq츏֖qR=兼f Tquf=+U]k兝Ty6^Ɋqqs]c \] 9)5=1R#UKOv~j WJ>WoBh |UK \y]i`uh1U1Y_6 2eMڙj'J>bBia )ޅ4C>F? BVdLV 9 N-FҚtKZӐdnE"O@FEv[ ޙ>|83%|%GE#ȐMJ6%T?Utft%8) /Ml1Vb!(y5= *QO)~=g08SOn i@ER}&g?9)#/cm\OcϨuV$/͢Hba g](Jhp깉z=DT@]$*d7\b rMĵMR[FWZubW"% ydlCI)Ϫ+"P" 4tpd;p-L7x"X;ٵ8 uWuQ~82eO_d+]L֌pA+?<],_boO$L#Q{ʵ~8G*P<=Ғ` ڻi蓪f-ꨉ-L ͉] #jh7>@jтa~uo| F\[-::fW#ߓ޺NbЋ*y(촩G٨񦪹(p혲R8@Od$ ζzI I+Yob;dk-_UJ=f%N8mQOrYceE_:'>qg|Q=KVNŏ](8:v20 n_ Qڠ &QD`LcTV2'Gd4#gYZ jjH1E-HOL-Probability-exHOL-Library.List_PermutationPIDE/document_id574e 1]Q HOL-Probability-exHOL-Probability-ex.Dining_Cryptographersdocument/Dining_Cryptographers.tex7zXZִF! "@]A-MՋhvG"uIBm5n0Ș.Wʼn!t -.$kM\u絚E [_-w!/K>3qX _+eR("nzf*THѹY+SiɁØش"_?-J68 Rp蹕~3dXK 2~dJDaLsq2v,.;mc4!ml3CK5fWŝC'>!^;znEh/Ђ<q4jtK8}6L Dיe/BB`].N;' /&w,K~`/X1+ L/EPJ"Dc "]SNUM;v!&Kl)L#3٫`nh+(ٝi(AAV h`ycjC!eS]3SUy NH>ɪySh_x0 u9uJپPR5= ViEe1itfr@9؝WJIΜw#j*A* 'Z e@@_߻J,Wm-6 &JnԷpzNo=oR۹zW/86_ ks~V2~ۙispM)z6;Ee?q^f0E̟V""!#bb WD x 18l j>3{9=HnnJ{%e%)[z:rb_8^.t?| rsm QX»&J)5\E-񂊼N"qG$dpgqZ=M FxP@ReEI&꯰gV|k]LpP?`x+D!_ݫTa?\U9TP veWT ulSZl9Tm?`lՍzDkЊ'BȾo!3yxmoշ7]<jjxα8 r< (7!y6-$X޳Ho3ꠎ--@El1E~3XIjb1C{#ؤ{"K(f,HIv}a}- UheI,%~dq EOIƳrٶOr??3Rk/qZb9QG (|!)zDz3btl$)ɒ#ZrFQ  2,t:lGeӽ{P^~OkJŏ~Oyt OpY5cl'].Rt[ ZMfХX\:);̱Ja߱5fyv=فqxܽ$<پA oCh@6%r9@[j1rXp;r瞴"o*loBڻl~}W·5{0|ź:ymգPBk,s;{U;wnnk~wǕ .ե  WR%vd%:Cfm=z? [%b {T ('CM~%us8Pb!Dg43"u#F18|ɿ%#7r$9y*-s$zt@/#XKvҘJ! 2d]F7a̾uk{u0˙AE7[5Y+(ãNs1Ѻ+}|f\e  \zt gBO '%[1Lڮ`%}B;Pv0 DPBLje $wT.xB_<,Q$τ\G8wvI=u+u1oNMwmV}`XbFcަUbɛD@gT_4CtlԌ.ei߳>G<PM_ &k9YmS:D7U8ݪ1.?KϣmVvI uϽfυI],2ښW1偲ۡ~-"n͞si'βPxhV18t 5E#(LCl>#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 @gYZaivN*~/ѧ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 \\11E# lHOL-Probability-exHOL-Library.List_PermutationPIDE/markup7zXZִF! ۹]ˠ)jk2p O6LP=͵gl5f&Ddpϩ8ʯmI6"*mzlhՅ/УĠ|?;Ӯ/ ^41Lzj.1t] hГ]|3ZBT4eʠU>W0_ c" =4k;IR\h#N®7ȄΫ2j.{s>3H ,>$͹@.k{ms)/^%r߯zbťeVI hZ\)Г IeB!D5CVr0cal[z`d|$iѾbUܰv`´/׸l9o^T Dc}CnK[MF*?u,K*mHk1VZh"|SЁ*W𺄂"[{KRw6г] ޾.R7r\xW%R:/C_?m]G*J䪋OUwr":i˜x'~+;LEXdSDžw: PA'SYA*T+K㳲7.xX;=eX leC,/}ie:>n܈Ǭ|S`R"'rX ^*!kކ$j޿z|I:s$캔7xDk%# ߹2Ӿ[%q TL}JlJzAW vo׍[BH\%6:ȎQR]`2} ' [F[,ڂS*cE$05rgOQnߎO,ޠ89ʦv Т'pt6~p<8@帧F/Vnrl&6Wzpw#S,^js?Q.zDz+b"3tԏB&171\u1l:0E3 ?qDrv Vķsj+<1(V!bPhi!)prk|ټ%G?@&݉MF ֡.0#(QL3_NPښ4R|ρ@Hg|[lQ\ T\nB$ }?~nէĭ!d\Ozks2,1>}y#0+{9wOBVWK'#mroˏXAa\XGv"ؖ^4x=[41P7g: 9'(pق@rZ?&AV}hņC\z''[3f{ Es(aͼccd㔺namۿ#,p[O>vۢ|0CL>2V0N6>4m~qH"adhDdk5!<Fg?r6^\G [<㯗W_7?#k5^M$ДgOyE%^'H2L|vg˘ '&F-Ƒ4D͢Ey6 b@:]RVƕBRWNmĶt"&a>|‚-`g)*[r- 3vPBNlȲOvur,nݩNy@[0u 5U{BVȚ2֍y/9=g~Qh߯ExڨVssp[nS_B'h˜ I}$.D۪#; #!jI.#27K bĀk@Ԭ9|J@F3[wLy=}\}f1E!ZHOL-Probability-exHOL-Library.List_PermutationPIDE/files~~/src/HOL/Library/List_Permutation.thyg[`LNZifk \oe5n9y5?%@I6I"Bm u\R9Kve%d*z5#oԻG`$M⠽="ApnNdB8e~FvN^B{%VX4f~6S/=uG2!blF?ĥU`|Cs]P21?T$+aؔ/pUH1wttuVL]@Ԅ=|)(Xʿc/(2tQfbp5 v*2CXnY nii&: 딬a@p#hU[SLwNV2AbX7ir#Д4zcp]4F҇ l$?1og, z,ct4徻PU-[f0^t!ВtuQ={Jb4VkӻF4b䇕Ml7ı*8/+GljRC\*J9U-G^m% LwoY>VQa{[0)"U)>76!oS{oL31eLES IA>۬W62 }.\3LnӆVhis3rO$-o5`6G4Gx\Oˍy+:(]%[4d/:lجxi l?HյP=xΘqS-шѣS;0﵋LOgt\Zqи=\ QISp.hzOu=]X2mdƛV˯La%?=&ZOgtP6 Ίr="6d?S2)_^*ڪ ̆}å'zl0@0Wb,ճ:18S9ˋ5O1V7[N01G}6-f0C_XY5{ۭ8Y`V\Stlۙ$!nB$ųCn8]̀Xђ׸+!ھWc9Yr<3.3=wel J2 #" )[ _k}{ ԋ;~ǖ4[^^ֆR):^&/U*Yh?HoDB7߳2!V '%R}0BRU~gp@$G(dYIE%|հ:eހ {E N*΂O0aKWr=Zm-.㩓6E9m;fN /͜UϬ>t %TCkh>m3̆! djyjDu<ڑWl5!YJo#4"T"AMr.)Q 1G!tS5+gI-RA(.3<^&!L]N%klN,N(몬`)"?V&$BWKAǕcCs-:d=/sQDK5N-΄l7$٪,/2a~#{'vX`!F3hz }Qd'h.ˋB=/#hi;etPBFvi n݃b#o9aL1?,eVXǁa?d%hd !52XGaRrd.*Ð&:hw7$.<'$kr#[*͂oFQhN]= Ozw/{@Fݔr;[ Ђ3+8ѐP[c uVn|d!U "4EvdaBAf |cB}5Ј԰Qj\nDݔH'PA)R>AA_V] Tr}HsKZI\`j:Z,C"g*~*Hk?fa'S3˺C2 %Z }REGs 1K>g-Vp޴ .Pܔ e*ơn~ ry+ "ǀ԰H|7T4ݙ$>)^ y;$IRDx7 վzǸ] #i<CP!5!wfBqҀ7J627/~Q-%)*3S0EfiV)u-0Kd77x*GUAuD'P{a;0NKA6qfh2| dyt|ÚqYW>)^Kމ +ߩ!zު%ܝt+5/,ʂD1O5CB(¦XOLMX->m6i~#.B դ_ -Ax 2"чKBmDCI{a\-ʊd7 (3էLp [&Y5?Z?,~Ht'H9>d#uDRJ;u먚P?,\WL h0wѭe+QY.UЎ#b\fj7RY&SWMJޞGhaDhYX(wqqCd+m@Pډi<ۛ>BIb>E]n7즧5V;Ud(ƁWMj^ 凥K5\I:w*DD\T'MB &F)ZפMKt;]!&OKAsu|/{3 +@k9 eKʎӖ>u`61+NjAB}o=]4cAkEA叚S BT}UOh82EYAK/x+WfCֲEĹH>;g~V?-p FePpxs)eWE z޲~uř8Ư]r f !#k xB L;tfVuʷn<:6oqBS]65:`$`YnZ%vE ytmpn@-^N؃IQJہj2р̜zrE ;jGCj槜n\J܃wabkcs˥ gU ³nb `4&`4|g4nFb Ԭh۴ohĆ )AJg;3*Nn /},d>"T}vl:rޔ*r-4=D28'KG@α k~hq[gy'lU6Q=v \@KD%NeÛS_x,jF1ګOڋyP=x UcuS~\`Inb}w֭ƣ}ϫ>)<_RJVk;he]4X#"XJ;ZS >Lp事g:Ÿ;!\Whd\VS#uKjjKLa=aݯo΋/a R&x}͹%:܆iI;%k>\VIM˧T9GʮD slZeOƃD3v%k$(DK\Kjj͜- 2JN-O;wN{RE֣-c)\UGpw>?g n}8/Mf?!HdGYao-KPޏJjU}c"l8!H&YQ? m8 |/MLYog.Ŝ2f Q7C) ʓHϳ:|>', f`Mc0 1i+j5#cM01L9Aq8[DaEi(Bhd2;ʁA^tn]_[5.Srwi$/a&GV ǹ0 ePUDK*;QcZ̢}/I a,ImN𔙣6b `P cH3XV -|'-XIA~V#0JgF6E~63r֜g,露ϥD+qֹ#l8O8~KfSyr R^ @s-_qtv5ElE>嗥`Obg]IF>D*>p@$,乳Ae}bK\8y'_I7meQi9%zV_m*PPDfR#)jn"R)4 7(*܍3S|f^m/}ͼ. @)8gYZm _.-8 b{ŹrT/@(#.H5k=$oqmiߔ&w3Hr=i%Dǫx+o6הB`U2hKA5i2H<ѵ}7Qw +(ӵc+LAm[33.NepI(J7.D!fq8`TQ;r%i/*ECailkSjPto#:Ft2󅎓0 |l?|v fPE6x>mZ!bNˡ ^\$&t+AcOjejby=rkmUkՔ| q[@1!*$˗yZw b;jx܌"K/[.Ylǧ@.h@w?ta|AhZdۭC2Y%lA[\l >?ʷ3Cu<M=!ɍ, ~\ 8;͐wً ? 8O"Qx 2O)'j"JJ#W-|/s(wG%X`_3#h}'%'o"'$-}]z2=|kBN\ۀb]-J# fF^= ?%dX+VsS[BOeJVp@hwXpa+?_a9iYsjMakRMvr择8\CăSb}-]k/޷t30YMoE笌R.5s0C#fk^.+Q5?c>TߝYC@ <$$FОdekq;SP<* *zC< +K`׋ԵR#:"`9i32͠`s>O!]6UQ7qy3#ae߿?%xɩ!n.HLvcXgJ\חC|4f"n94A2gxK كFm5% a^೔Fs8N%šm0nG "ojYR5ku}1HfZJ `};" 聍Y]4?\w;l`b\#"<ǏNу;MBL{!;DUl锫|~gJ˴1 | !:9"C@B?#7M+3a׉ ѡ"Lsxk&ր6nPa1@*lҳjqt4)@9BYaA}+& -xaJG.X|]4O#8]cDI.f L:Ϙ|Dՠj݈ (bs .cfc\j:WzQ.LAus6Awy <`T>}y"}W< s'ʞi'/ڹdr[1 {Lr%xclaB(:vJBY7[ oj`=aԗYuDHOwU?>ka4<傼!RBvމPi$YSNr[6s`Tna'G@yOƬܢ 8kS^w~ jOCZO3-Y}zʁ8jR/D{|^=KB}J@'3s~QFd t6jNu m3+3D דW@x.5޴|䞩CcVØTFt}mR43X U[z-miT| c>o\9>)sًDBx佌O]4 gZGߟa[p rGeJV)R08 N k &>a3zo5׭7@iTm aBYOEӃ%=E^NӻpJ@Dn|VXV$EXF8xq,mפ ~ _Oř Ճx(D^ɶ\ {!<8m|{8p;h*UҤuUL.rK;Bd;)&k~M̹?i$ڌ0wl^޹j.)ѯW'?yEbd`L7,Dt3Jg7s69kLE'IB҅eQ7:g[{^\` Pü )JR`)4ߨin:U WHRM5=GyzD9 Ãɹ"T'Lz~s |QTc`][<DUF89olNbVtܲ\"!c4k9!~T@SaŎ&RFltu0EgG5CW'UlOX!(a S~ʲnht,wjAmF>ԕnĔ,H(LjVXwJNwtVA z^%,T4?a. s5x[ũ߉< omQ>ef$R@{W抆6n1,@ĵsOx/l6J!^c(+:` VƶY85c-&ܒ"9ɭx^"vD.1V CKc*qvT>Z쯆Vp0""i,`n1w]WGպ#uz@(mHLWzH۱S1:2϶k>(NBugqeqHyQ/OvR9)OS5DZ04Jڔ^;6MhۼׂFFB0ת8Po9On^SDvRufgZ &" AޭLl/n%=S"qA2s h 5v6P+,Պv TV/`yeyf?G#&QEI.OdR Z+BߨZmo! \k4$+Z^(c߉90=w5g({4y1M%GX:|1HV Mݰ'x(ӔEJ=luP. * c ;~ t62@.zqYr_yY0:'&N}{ԑd& ^IcB|eOoēK]j C޿ r-dL~響杢W ;/* Ed'6aX7KAohwDaVrj//k3RG<?SlM3uG Kp,npxީl;6}3.3HHVm]t=L&tn Y+͝xx$#|!jӘn&o_ 1A(TP/c:3 85 Pu706bO׶U7K u!@)X3ªO+x4"g.%D?$^KRJ9F'ui+y= NRu[G6PW!ӗܣ^=93j!Dn]>B"jk d1_\څQ-3@F~5^r_wEtFQt=8NaVjv\JD|֓uFEI%[>[RysSU D.FytNW{͡j,s33}n` *kFiB:*-'zM]5Ȳ]6FyM,tA2Oǥad (=T<7FWs ?*yAł}f)բw^E);ȍ^3_w}m<7V:x*lbvčh[6[P$Lm R'ɈQq!g1ErφSD`sD8(& 9{-1+2*1OUYC$*pXEDWa5C`Jj!z7x'Fch-K= |LULZj|2e)!T!:#p<].@u _j7qyV}KdLeژ`1dddD$',  6$e ";h&fgr{6,0OGcg~[|0OU:̀u߯Izm΢Յ0Ϸ4c{Y#a6jUЁBTr-wK]H>ng%+W 6n:oi2lK%pY EJ@gԣI16֟Ϭ/:sR4I臍{] o2~{=rti5_ i?l,YNIkupc7UrEdUm_4hp0I%qt"#P6ڇ*PgfOgSL]ҕT1+ dW[3}P E=daVX!jcN}aKC8avi+ˑ̔@zKz|c՜xc=?f3l!ooX"y)8L8ZdZ6m" q3x1 tQٚb Bv"z"HL'rdWyןcbu0$ؗ?m_&">A nKfAeZߞ97 61n2=[// qdf`% 0sZ̘cho,D=;(,w/??L[}&HTH٫KjR((ͻ#EIIPt3z*ly]U|G~$6lF֌Q ]ywީt 1}Y|Q~G)B-9:c{{ "MYZ!Y.OqԒ<qB@mGAGOШ$Z%]uىu^P!=d _ H+i=fzԅ4K˹فckȵW$=툟espKD toz ɥa+z )&617;̨ qn<?#Cִs\VXM㞞ϲl@+k OFz}[c Q B4C֩AltݙhNKe yH_bo,[zNmW5+lfڢ@ELu5U1 z^]_03I-޾# h\nw"`.&M3s%[=8ݳ(N[7$OaHb?o{I??"ב.#-G@;BH'Ҩ(}̎{ k`DkeUdGL[J{ZqI_}>|{eiF GO' ^jq HZLJ:9fHaet\I=0\4Nh*EB_D{vV{ B7$<}r*6I M@xĝw*WAs%O^XƯ݀ġ5(mW|Ѱ6@zbg(=Y7 cG [͌D^- 3) 8.[T]1}xyg-h Tn>/(r.*9HB)){X[GN/܅\33 Zc OR1 kָOC~oÓQS/5}vrxPClpJ~i߄*z$2ffЁ6ן.H"BI10g[!N 2$)K k D^G/'\ ,8s}x?_-u4s]_|'IDŽ]:]0GPZjC8ؾ&@HiNjŋI!@IԘPJ*d9W=l{ak:S.NcU=5| G 8 W RNY} N5y4 Z,,C+E'F_(f& 9;mpz .63Y?RaT!I1] -`k=Ru/^-n;SOA^ &3ЯF')p'`V%< _^k7v ,|_VjK*GN}c%vR g(q# B8Z>-!'=-u<7hRoCnn (l*rE1ѡ"k6g 8Ct9mc = 2SdMRXZډ S W)!^h:zL;G6 \#d Ao@i:^[g3$2b5y2y {j./Y fa!{xWUtPo2'͐H@ԟ,CR;'r&cZIL6fӴy-$U% bcZ[!iOVJ|%ΘgT 'žZqh02e;TVT-xu,9#'kg'J|xMRCVZǤ mN+p$wzHK o{! (oTtR ɪ,qby=tFMEw EdCc~Ԥh}[3 'ۣEA~6T]P4ԭd=QG"ܙ<]m6 yu !fv݃d^NM?T?@= jG\AC~i DS!I0>\bygT0+ -=TKڃ5Vyn'T[#l~3zo'ʼnH!2EC+ H4x|6J0=v, @ă=l3pmT~;->]ϝl.& j.LEqkkaMN+UƵp2u--49)?B= ?8M̐)lAwFF!~ѧ뫍R<MFJd N[|bڵ"xsM'eY{Rya\Bp&mbC!'q ư\̰ߤU$?8}Նȕ͸V' b8(9 :.G#DkW?*iVpwH3&n&}Lh֟HPo:lt}T⡈TÓ/7V%DӠPsrQBUL[;߱8nkάMXJSy\^.kwXr4UAVK8C&q| #Ķ1/+}J<]T5qh%Y:uZ J~\]ΔzD"U-sxmzJDs__SQОS[5fk'm%: vDgi4PPŚKaR =87M8Bmz@.gs9KA)(oPe _8C3Y4}0Je4 $Q"`I7֘YͲH-ZCveU3Q+8 * cJ3(V' h~C.䶛 ;;XTGP^ޚ3/ gL;]WLjF򀨡Ha("+YpоF2{H^戌"(PU֍3*\9s[c1z8`QW*2Jb!L>O.'ѹi0~h*M#X~Wp m*LGmOF=5M c :4Un/Ɓj N3 $ڨW+B[ D> <}(@_6_܍=$"߸"pT5'<& WRә,ړhQO~&8/;9Ʒ g@|SX'3rbfVނ9@<]E% F@dS%m$ Dr0ٖj 2pwř?YoA34<W MJcޚf)NL[xqA8li4o[>RAUv0ob>u\oҤr9BO7:ӤӸkRXf,/@"(ш+|}ꎖeX 7OvcBvL=CUbf)ȗ6o<čVUN8e'MQWA~M„u RZEZcKǾOW..&p|͛ž.vs/d{9$$ԆQ:ऱlٰ]*%!GNk]R )S@q O==i:r ׃ۄ*,.FpXsAZ(023/G/2~iMĬmnO? :zM?;rMaE=zw{Ӽ"h !DaR4 ߟ$OJek`]Omx9L|J2=3)-RNNq&nՂ(8z9Ӏ=mƴi[T &yy b^M[5+n q ?gc'+vxf7߰vP3ި^I 4Tl1X5 Nh9yNq w
    gɳc$4Ly9#Wn1iNT1A-gE)G&{g%<,76/G[-eA'q7viӷ09 Ha!t\LڝQ?ɨ>JOPĢ @.ʁ ~"Qrc"~ h<,gHjΩ!Cy_EZLBcݕ,ޞ]I#gN1lf[OGy9C/=cP.0<|.}]hTU }..HxKxψ)/"el'vvg ֙@w%uhqzu'v`-xKm j]KaČG" @0ZP@GMvS,hՐ ꒼D$0)II/BUQ -7:8KU+[G5[ۥnS *7~8ZS&%,ҥLP_GlV~&"Pa,gÙb gm t!G ϥk̼4La'YNt/o3"s!z]S彘oj)+tۆ{PTTۈ^iT@5ŧpF*]yvT)E0ҹ]IA0ZbqR1z)M_NÝXSV{!ǡ#vI~FFZ^dXfRLc/zAnntyɵZaw8&FڦUMRrU?"i{΁Y6;l͌Eo>l"Pd*f`u5>Tqty`1A-_V!хӽ%р hEk\ c }eiVg0F6(|J{ܸ?=Ϭ -}v9vi P~Zu;.()Y? g3"z$3mkEڨgo(qZ|de r|Aeٙ-)T>Iy(ԥ\|Df=NˏXOăFI.M-.4Fj%v@ě S(ԙ^TSdO RwF`(+ pt!zSEX>:~8H0!u4ld+uN[u͟|c=cN,\lvG@|eHCJcII[Z[t'ZLaEC|[ntrGy6/qΕ+]SKV @l!p:*;d;滴]l&Z›x.y?%~c1U Vs)IYeraS!ݦ眱 'bZg,wЛ.nDE3 ~ULP͸e3_v ם Һ̃V7 I?i`@J[:h^ 1*e*%nAG.2a`~<ѱjJh={kJ+{bڅ_hFJuc֚Gd?=W_ IF!A<`LfGGK$ߵgߣĿi*f4ffug+#c]:[\@^M M"w`ܱG=_cQ\m'/٬S#;=ricR'0TTU2זSy(p.@&ܐ p\9bv;scmzk,|^WSIIVU $ IbіUqbh&F(s^;?[4A=?߽7eiDâN1@$|n#D YC@^Sj|6q6wϧW&~蝆 /uSl.S@-] y+ S ַ!z"L?,gP_`SVP65@.KL-{tbxM.Ty510r@lҴUm ߏ IB=n "#̇jd\XCW@e3_x;1ZǻubC=f5!*⑤?P 'eq OJc]#hw1?8‡MmRkYPxgz^Ҍf!NWnI9 +N6MQgvI4UઋB̿vgt=l Ӑ=a YGCvZfJ16zO2D/͆90O?0Ϲ.zQ0/[wb|tXj*^ڿ|i9>#_koI)^`Qs]pwqm=jΨ~OV+ ӝ*ޑr̋IT߫o:zeM\},E'*4=2|k?bWOGjr%s>zi ^6v*;&ؒv_YKn}1.'htScz'OV Ke)ZVgS#.$kڧKFu?w|m3D dJ;iNo,*=TrT Ip)kwVFrd_*]z`?t(,F"o▥A1kҍlh _Q3!ekHPT8՚WÁ%|<̖o[xX{[X -Zc0 SYd+gѴ?y3>h#]0?Э@trs1XS߫.LJE(W`M\bMPwơ _uXp+FRQc_x[z[R99u4|vΐ=#};#m ςg}tv\tbwy"$DEkH.svSb1^XS*ȣ6Bc17:d0GtXo_+9* !]RS&bÀ,NAo+5/ &ؤ(o 'ִJ-cq\ l+ӝ#|+r]D>GŸ7GdP_B-,r#!0EQGHppSEʾTb}]wY@閩+#]tJ"_[S` Q$ʜL'PUވjUf֩o^5yAIJ2Cp`=SrOe|¹Fn9c?=YG6f1LB1kޏ( v]XHc"V`jGgYZ  z  $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_id5801Q' HOL-Probability-exHOL-Probability-ex.Measure_Not_CCCPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$bשu49g^fRLd KU~f3%_jR8Tߺv-i?\y G4Ι<F0'yyP00ϠZs<,\>u}@_"@#)|5-s)`es{KW6Aq|0 f`.Y߅rMI]N <0s.{0}k `{񞗎?r~< K*ݱgYZX 1Q# ,HOL-Probability-exHOL-Probability-ex.Measure_Not_CCCPIDE/markup7zXZִF! v/P]ˠ)jk2p O6LP=͵괣\qew2 hҦڂp E=,pƺx, L,s^G$=-x*(Ji̷3㆜yc ^zrQ1]c5Nlp92neIy رs3V,6umI̼nyò!_0RvP㶗%BDm\&x&.MnkUf)L;=ՙREt (re&4(9;eo 1=_hF̳-LL ~l$"I4Rv+fQ1u7gz 85<r1Q!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_id5783 1]' THOL-Probability-exHOL-Probability-ex.Dining_CryptographersPIDE/messages7zXZִF! ]D?7 {?:fH\p3MnvlnF[D{͌BZo xj`pmg/e%rxBtJoo!NN? Zh!\Y ,k|p$ޑ 7Ҝ\v^C;/V*{fb{򥪤[*M 3Cr415kf=,VO,o?l9mp`>gc25Ko{קAAdNXgL'W?Ɏ/n'ٖؕOATxwٟYC xV[Qi rD_Xޯ٦؏. o)ꭟx'xT)mpHa @̰z[$rB9J݉vXmNwp0?5F3݋ e0نݸd.ؑ+ ?0U/lXo)yGx"sy)hGIqpz$WPͳ?=9dhS״<ˢe^)(x", LວuJܵ M>%VOh* ): Y :9*tQ,B*W`#Mn[)adžq'oIIǦ ?Wf뱯"Ka/eh[.l>O+yiOQߚomvUg=Lyݽц/y&33t]t~6 ;?\M&Ξw`.9!}xN֗'yQfD pxe̳ ["|)$AQ>c)͙`r NMZ|߇8v

    5#(cǎc Z@V437 uA! ]lWS*HDxN*jO{#F(4u̕ѠQF7A?^noNmz:yI7{_*4>;i S/D/N]Ie}8kp0(,XCAdܭv xQaf_@ԋXrpe^HjT;-jEUUCD1ݯ* Iu)El.H:T˅ EMo]{[9.$2nkJ+,s;4ݛ9ՊCui hWNU;Յ/?`P=!+o`5_Dcx[e6h:XڪK`^X/ṉu_|lS C5qvSJUӍCFQ5UM\qLY;BфZP9|+~&S2'׷'G{MNr(?XfTMn_є1x_K!L#6$F$['o,91}B<މ`DŽMg GeDU99f=VxϠ5ٞk[ X%V-V9"tY]pNkrD} ɢ x5XbwfDP{" ]èB-ilthݭR-ʥ7aܜ9y1uFj_ cM_aCwɈL,[ 5x>ߪ*]P*'@(k՛4quߞto'BPxp|s4Y ./0s,غsҙV91C_sЉ:9h`7Z#ӡd Cڲ{.ndL˺=A}25p +o&TílDGh"2f'L[%ԶuYUh=lQa%)Ev2GN6X>l*ꭅ-: Jl(R>p\L7Wubܘ0HjZe*UC*(GQ7ITH1~ΎX=B {BFnlaU]l|k% (q^@yDZzv;hh/c92㖺EOשvZN3] ~HX@HabYcpjl˒P{unm^瘜fvDOzI>9`5@ovfoc/ڥWZz;!Hĭ6v{lzka(j*ұso]R'ժ R0!LF?(4pd9FyU(Qw^OL;̾o[2JI1θP͌Kknʑ;hg)"ZnIF8=J`xW[J=X4X:([ݥ?{I4Dܑ!E몙48ù`CN#ucׄ&6 Ƭg 0`L 6ͿN_J (xow#o?EІuqcRȲ=}?h6:눤Ii\z?båtX.nWTvU:7o $ M$I l^GSdXPJIqnH) oZK;QmKt齩އc:?H f>Rq?#u,J/&^anh]V Y\f5gI=u/w+oPΞbEx&igyģv+8 ye⥏(|:2:o|SkZRAS \ M=kP,N^EկXM/#T] Hɪ 80A/[u+me4X8U ysϽ S{޷ta"@廻Z uly\$be|: kmQ%ΤC.(?ŮM9@>mRLvm/L|5p-G`Uy:j1s=9dV&H)R;mkLCHg4U0zZϯũ}*+mӿ'6^k,χ&&NGMJ͉yҼr+]J}e=@͑r/ۇ}:Mު%&aѨy,y7QD X7b^gEe/ R Eᑬ@*VB|b38Bj[T6˾r˥r742Lx7 5"kE]1yⶭu$>U\x3NM| j7^.ʇ_ݒ#&7%- J:hlw~#ASIcT)|S AIs\gCPy|}=K͸e]8*5 Ygbo82 4DKT³%j/NX-34؎ܑUagjn A)-w+ e4$v "^\a|pR*1kK3?-4p}sq8#NV1H4[OsB[76|qk)kDnl2@&x2d=hŢtc#D( 6c!K+w~iH'nC%*OBa6aO۬ᪧɝfe#aDVÚp'MX'yXT7L%tu"㇨uJ9Q@P.tG (>$&%YuLj9Dm8qoM+ N :"V,Zy.7#\lr; fCu^_/AxBx*)}cG}?J/ JeqΞ"d>Z*%"Kz4d}'[yT0舚gP:s<)E8%YJ֘^}84ĖۗE+EwZ$8(Kft8H((YC|̼.FBkqPHm|4DZnHxk!f,סÎL|{+kJ mIɏ$*ؖ4[%U\BoT7 K!ЮRkeg4A>8,6>͗V AY)),PV? EYlpM' yp ܑy^CKG%,QA~-44\ =ʜ]a&lMH-WW\?aU9Ӽt=iZ>q%t,ϋ>D㮹|>J7ؗ95^70"*lrdrjyJt122J7w!Oex dDU/^.:A&$7uT9y²]E CU˛t3>%LxtcdO71б$g5V&ްʂ y? g-0k&:xL .-kOlb/[*zqӊvVk/B]ң!#]<k[CR2G"20 h~pV]vLytm&Wx))IlF*E|EU,p.p%Kpog^68t(+cUϳYhU3wY>$F=,RQIsO.:/;)4=F5#9Լ')J7_#HP41t74f_r܁>'lq~6/"h lҶ\jߺحFҁs4e&®g/i7r,ڤd]0ܦ8T9t7YIS v[Qf,1DŽ≮5rpqnX,XY\ѿB, E[{?+FjlW/eL@_%,{e$ <|Iz^^J}N ZQͼLjДw򽬌J@WC2~D*".>_>k=TDo8{•[X^<_8]m(u΋tJP3#+C%_~g_ + &\)s, +H,هƈNk="9;WV CY%`Evw)*8=~(VJj#P&ôckv/3وxATsF:L.EpbS~C{x@?Oy2ˉWՊrUhuX]^Zr_?lC+]͵#IV!5X$ׁ$k% ggh*ܦ6 uԆy@"ߍ-XzOY L`NE?RV<z7?eyZ}%X8seqDF ':30]; f'&%Nz}b@@]rgWˆRW-4 <Ʀt4.%dƿ };:۴xACi m%9 0/z | ]]}vМ)MtvTK'X k $kZV=ju+Jj5(DU9#-rȀb_H@'ذt~dfkψ{F^h'+[+ZqV^w/h;HRt- $s2TyoȎJmk\lh`KVr6:{m o\+KNƊnsKuBbPLgPh9ƿuߕI[CTZ?U0| n-1uvqsฦ#R Q3)(=ExJ΋ݡO+պT||yŸlFXݿs٬:D̔t{$e-0uFTiS;3Tm97u,w>MgÖ6yx ~HGu5ވ ?@`\n§եei8?_zXc+zCe{xre_sxtl=yie`@Sn߁Ejn_ʠw.BWq^Wq$ ipwt#{-e媢_A9Z\{H4v(H᣺f,64c&S7eķc= a͸N|Hg 2%h+4QsIeh^jr :gqB,[<p=|:MC-D `X>xvKo fk=pTva59:fUl uڱG%S=ayRC~+1"}>WlkR."CK9٬ɓH\^i;Z/\xSbOLږO[fT1u<)%'^ x5hv1gYHOC?fN{91xtiZyñ_-a ,5'bv!>A`:434VYƂF"*3[U8V$ +n5ZN D)l[a8uF'.+[z%W$נnL; t ^osTiK$-b&JPQQ>Om5i{ x I8ɚ,^xPZ=!dwV(o!,s m1}⃨LP< >8;€5LEZ/;b 2 P.ԨQhovˀLI5J]mpcdV@~ծi"v%V+_#],SQ_n B؜ Eǂ='8}#x `bpEH$RRKUMJj0F|{䨈@d!TV4F2CR}Ԭnm! I-obƯgO mCy`ߛ/P;?EJ#Ahˆhr؅;5HbYPjвF\FbhV7"HP7-mkT{';AƺS5Oa 0bMǚ#5c̢ Q_LY~jq,9xVnX7sLH Te^n]RÛZFӀwf_si_9+n`!)8&BqXe| @0=8p\eݘ4<^61gYZ(=H{arq$Ubb{9kA?)f@ʌ&XC!3Q;P}gCsz)\:(5[M]fU^f ν2'VLJ9.i(|!æoX:b9z$ 0[9-gsW`#Jbd|sn`*~Ҥ005Ctp%SG'j0((;@L1})  ,gϭW&DORYZt EvFmf5RV+G=*p%&+>C@­ ckԒ|#1bp'p-13śBOCI'h4ȤА3^wP،k?CgͱZvcG RRTj]6K$] y9ċQC5*~ amb]I19+NvݪeYe"9=βYiXN'P(G0ǠCTIh)rpSPf]K t9:pvJܱV%H얤& Gow_T)DR&D#PDt5XMtjZB'`"a[qcT)$B#R'1#AV޸8nH:ݛc.樋ZA;W{rUfQv]cwkr3SC cQ7W,rj@DYͿ Ѩ؈c{LaP'8Z oq[/_Ҧ1M y\X Ғ+ܭ*#h󿇱7גk)8xXǖDK sULqGd3״O6Ii/R2py&\Wـ\ _bl~]Vmp|?AcC/薯cN_ }ފ:<4#Ǵ~xL(ۖ2`1Z9vT`Dqo``t>kyB|/ #]8u65]ژJ|C`H8%iހH">Hw=2ۅEˬF:Kˁѹl ?I! "Wuu-Q>/̱hH^p'wN[ɲV`{SV:eCTX{8ޑDbG3e?lw|0C7?xL)B%&3ؔ:r$\KdRfdRM_3\}ǭ#)O^HL:ZÜ:=y:gY!ӣ (7wn8_֯^QiWQfTZvYn :DT| E2gϐ61d䌏RHDI\qAΘ}Ǔ]F; dfI Aq;W*j.b \\`7bt0Nʼq q%o N13٩ol\w].4aLD7fy{~;Ĉ|yFۓƇdIr s̖y6*#`;:S7e,f r)-sm칏_fVEwUh?̌R5B؄|~s׼3yG[uTkOB*ǛE6N~Ƴ ϊ+}4_qC?}gkd\E-V6Gc\3@>gٛR(K5ucqh;% eu8o[ؑ~^XBxA n,dlС,$pE008VlH 2i x>YAi(fP~#1)|׶?n)l,S) %fF"=aP%<2Zl/GxR2!d+i6íp)<7~L7k|??4&@]u[Z~ʷ_ 瀂iYE,qȰg=Jf=STRO ko`E Eڴ`wz mbע0J/Xjۉ=@ӯwGNz>3FIb1R,sp,o@<=YҹHEs؆@ ׈spe}PރK$ 4.xUkRg[_6|7}e{˵N5YYFCe_KHj'3jݴ8һ{ dZu"f`'PC|7['cSa:)񀆁asDzҞ(}Gva+l5/ϴ$u;ylO#aW伶uXt z r%iD=0Ma8i1.Y5Bj,X,?m{oLCnCʛiH-;Qp; Ҋ>aF"yoB0x ]Zg*_d/{+ [.)]JpI]rMOC.-14G_|MRcӒڧIJm2Mը4H̝ g~ЁR$ܹ~:CWcgR[>OY'8vD¸k+$!䍻PYS? 8<Ÿv|q؎;L2MZwJ=ǮpjjqL(~ŠZug'̼7T=||x-4-;q/\hدi.^x.表|4ylHݟ|s #YFP_}"<--uҏ7 <F{ͦjA>mz>{Ŭ!G/{zʿL6]0')A!iܨT9K=/UЅ;@%YB iH[;iݫ8~u Qh^yph 6A63f Qz랹:RAi #Z= us Aǐka*!Tnw%%+)rc;>l•h!H\ˊ@Z_B})> ]kh:4.&VOŜVyE:X/2tĄ2>e ; r#OOE-c=9fm [QhԴ[Uݵ'wCA̙|\ϲ0`&\80$W/(m\4LJHu]q6k_{@U΀sɯԁȊ!gMb<đԝ/fRu|[owS|ލg^5;uDvF+*lHtS&zJ wf/`wjm?\Q` ߮iG;FA[$뢠 Y=ӹR$[-G(>dC3d5zcNdlv.Ň y&9du;<W2{jjPȀaO8fwֆy R2 KECXܐH׶/mJ;ӄK~p_ )LkgPhjd,@uLuf [CFxضI$4.M((P D`T.k va;,5D Ez< +w sڱ\ܾC&ȗlbS*j~ +`ϛ_}MG; 3oCWH3Q^J^RlYmVf[:F eIԞ`klh _1w^H% mzB&'(d9 mQNB)ɪRh27i|ߏ%OUPsi^r>t03_"xۇP[sxƌzJ{<ץC*+=z5T* j6rΥ]D-w%ae a #<jD9QÖd%+P $bVN '4E(M(>0LϙC QW$e H[Yt D `sHU<>A?K/}1ߑٹlǓK}]ajFXJ|:)8#Ҍn"ftjs[G ;_+Ov4S5c1}{y/؉ P3D<3RD?4ޢCDߎ?/;Uvˑ$ bTEg {qZ 7x_ڢg+v n\ $e.M*j޶yƀѭb@NAM<~18C~(DZ3H>3 }kpTmxo)˾{[ʲ:oi6ODa/2N[7gҚM'i:1a;Y1uqT2PA4jjNV 9wE8h˔iyq;kMd `#Kh4ojX%Tb0m'i<0)| iFuZhKBfPB{ƓVPt͝jo wSdWHV.OLԣ)@e& ۨw O+@dK:pL^e+,Oi8u/vKhRDP08scxXFGI/;VILPeO* |)9(hߦBZC풦Pmmߓ-7^(vi AÃ.u(1Ũqu5ZJ 7.|ү5ouLmN*'n j\T̝^~Qh+yj+zSbPNqE,lbr1AЯ̆E0_Ő r<ďnY=,e& :u%8U&VPŚ ͺߔ1R&@i뒽6(ΆTݬUZ!3U(d{HL͡|1˲xZ+t|䍪he;cUxtb\ v@(?my%3V6kTr},,rϪ-kBwI?̱3JMt-]¥e qnlGe?h~l$#9ctOOCYqϥָѐx 3XP7, /wC&.[བB SwO:ѷ3QrսV #{OBڝ} p2C&9GyHN9Zi@Xby.Jn4m6pUB+#َMud|4a( ժ1BմʱK.G9^; rFg-4GodcCfq<Ҋ~'EЅ0>4};|Fq\(kٲp|Tə5֒n"NE΂^™zz4v;"QoH 6Aƕ-kb3HHݧ`s!״ ʺ(S9ˊ#ꋺS&Z_!NT_HLT.Ja(! C&d >[ z쯯>SPbh# ݎ` 6ߌ|Eo5uogĪ2%;t9]xMRZg6kxǛj?U'#v5<4fa•W|:$>@\zS?%ϊ,TWU%SYk?taez>E5+:2rDاj+A,;pa_GzGDիa} c'U_um6Wp#=WP_MsۺRk\`~=!tȰ!WJf_GaNGRT;bN0K<&7Q8?{lE!kw, @~YlT {q B$IBKh}>*vusvlF 6z@nm]{NͺP,PE%5EExWc^A"ZJ]A6V#qb6!#Oe*CQ2/V y O75fȭT#=ޙ\ au9=|"SZ)`mWq2yo!v׆QB>"FB%ǒ%'̩/m~H7>' enh>R\C}[ґwQ?(k$B)%ڶe{% 'ꪻO4WGkUg_@T&~} nQ`BąZC7-})]sxYRswaẕ(xjl*nNbs*+u U.#O_l6HflD),?\|3RhV8G{y`i}m%3 %?mWtcfqJ|=DFfLEw*_ c~d$t>Y91lm rs|Uu kEHsyD<7)&'.gm/ C;&.L ߘ# H,rRߣ%>+CglvjM"Hv>8XP,b@ ZZ;I2kd{a]^|zXbOTEtSIT!7OKJD-CgZLrtй7i'j~a׫=y"wqa$c)4sן1D4:=;~w}(] }*R ac9WyKʃ]RS+E!Iűfu.g6%v>@Pי⇠9C~fITyQyUs̳L3"Ls#]E&فʺ(Ell@Mۼf¼yY J/^qZS$,n5,䩙$Xﱆ_IY@ |I}!]${qL6@p42r<, G#V"pd^ vd؞5u`YjF\[ uDIGo"FԲ9[Ȇ5"uZpC"y8i/wJqy~ 9ϱ6ӖpLS7)1k);j~[moP M,8TZ&N <[u,t0b8gf1txYC1 ^Zv(<$4{.HDVG+6Ndji{5dXo]᮵B

    1!R xgj"eH]:"9%ۂ{y,f ϋzt=րQU29(]?$\xeK+8:m6[+*' U%ح&`Ib*HZc(.7UNPP*R#O  6Tk^ΑޛxG=Gq뾁aOWfR~>A]myE> G~/Dھ"@&CU2 Aaև:jKkL0ô}ǠvÍiXFU]|J)2uՉґ͒^CG*H7{hy;f#j*L87=i!BLlM@+մ<15ƘW?0'ًQ%%w`鸣W3 m!{ܳ(}ߌB"oPV#wPic䡃)(`fr6>E͂SOxhW %=8VFw FAWIv\qدS|(ATS}KiJn(E(@YJ<ߨhEMo/#:{rNFVzåضY a D a PD.R:2̂T{f&0E"6Jgx' pgb{Lv |{]r_0`80 1I^ ܊ϾOy9IY8ePzHo {@k15 ku{]KlXY7^ BQĦw}<,P^ݛ @?^G}xw-ەt䝡'92È)S O9|ʯQ‛tQF3 ,;<Xk?dclV/¡?=Z>N Km"Ee}$>F.~g*}Fz& qkcdo@FJ9_>1DŽUs D5ˢM岡jN׸Z0dHXy,i d_qxЋTe<ڄ1i,QdWD8LMr`mC8'6Uܠ(]$Oc'CeT ݕhJ9E(aTbj i ^YcxB~J)0=AF7p9;1-GмmжipWu4`?]U˓nڈԘ "\oH]zBK5b{K>9/e d">Rpl7iR|v81Kztu<ѠKM!uSd~k)U\>;p"A$>oM/mI['hJ} ÍSv?/Xn}JNdo/xwӏ3wFbK&qo3JKZ^v3n$M<.Gc^a;AlS/[q8pkGtb< Tf{u8L83w6CV^ tDX7V`cR2-U}|G%)>B7 {4Je 4nE vofYcᇗO'wQdVf24­`V?b`0qQ͟Sk2ȌnKoUw%>9Oq_m㌏A:: B4Xɂz 1"Nτ8$~gFHn(+'&C,_;E P>A꫸Kht'X墈exDbUigCpi[E+x^Y ut^B?oWcf>[Fsrj;5_"疝!(7CG2M@V?VYiXy5 "U | |T1 wxO G #[ߋ!혼븛i>$dž Ľ0zn!T8<f+\&Z {*EH08t1I1 9_̑6 P(R yr>Y8J u=_/?L8`JHPKkpP'{g5?EsE7^|wע ۛ,=1C1,u?{"fRUM6l~[%tUy-=&բ"("'Sa7$t oR<?pPJ&ȖNnFvʐ{ o51;!"-+9D| &`HW↮v22fH⦻B>es+1 Ld|bn98[:p8^=wbjAO8!rDtSdbFy +\ #QVP0tǂn1Gq.g?gN7:R1%AA:02%Ⓛ @ۃ̮rs2-}pMLp1M|wl_ ¹%P7 j1Xa/G@ HX\fVDOzE͍Zjɗ-k*p) X=Rw!)9?XfVjJXNm%1ΧW?̢De%u;UO?_V "tOE'!A5]+6wq'+%c 4>dALԝHˀq_&u3[ߋG)U8B.o2޻:E}8쵟?]yz4:Zs2pDm4Z 7ԇVs]Fci26 A)B|: 4ŶYi.,WDVU(miGM5+'!\HpݜwR80}D Đ`ORﳣ:վ2qGg3GgtvކsMoGlFank׼ cm (0z+#dX+z.]$)mfVzp rI!<`g~Db sQ'So2Zɹ3^UqcmԜv%tA je7sx))bhl XqlElR<h%6ӌ) IFȄHfTiBLVY |ۀ$NR&CB7v|' `aDh.ur$_ka^R$UcJ1c׍ Gt-7A>1ŜoF#gqFcfSQ),ݡI`xT @S)" Ԛ?׾M#vz#r=gk rhg NK4'uLzRYna0i1kg6Ϛ1gP"((V]VTA'Sq60K Z둽T|Y:^9V5gVZ< qƍ&43v5 ~~Trv;ri'լj*< lf_&<ڌ|$8!nQ~ ,{#(uUӗB Z|DL[TK4yzKb9`HC)]yjvҠ./Kh[8x]X/h j !ۥV\԰QDgɒ`8%5 ILa[t­0d邻\ryrV^HdM~)\jt@R(hnp0!5VĞۭD.6yi2k^;Y,j+XAY볘m&F 7S{2Sh iʗNU7 K ?#UWQ_X閞6i IK2}(*-8+:a+SΣ{c|8%U•:[|w|)m!ߥRŢ#z&G;:fW9 rEE#-avMwY;T~Ov]^Tj*Ov“@ّQ $̏͘D+'PP;a;=R;n̸vI r6":/d;0E6tIH`zɊvC@b ( &u/;="ӶwlIjw, /S^ Xm;^ر"ϸpYaq#JA(2W Yf2OnQ;-E:w=H@38:d}/+-XƖkatWW א~E{f@bJ|&b Pbzs{Pu>bZ[`'F'b.8ZPV„px ]P?%bx|io)2\h>bL+lȊ 6bD,s x AQZDWYs4rWC~zGvOCUŊIOx_}/_3_e6Ǟn/ƘH>*KEdƲQB£Hi4anjHFϱHtzZmB]βoBlPj ճ|=694E9=ب࿵\C+Gsl 3 ycc,˴7^7\HO,[HӦ#*բ+:rFarOӀc nQRx~rKkAVXڠlv} J/1p_Fۓ`@ceG&K0LduUWlThxעBCi(=\7=Hc=v]] VeԻP6dhւ?TM{Jw.[7 XrFu<2xs"̌ Y.5U|[J斦oK='΅L/Iu#57IkqtvNK!3#J.½&1`jkpغZ^#Y|U6a!FS8$5f.| 0Zʇ2YLhJډ^ǁ8b P;V^jta!.9يz+bs&;wڃB1Х!8ڍ=Z^䁻u>YԠOΔw}aE,Pͫ<ÅA _i8>,fO:/L" c U  uOT^\!PHzK!4A#[`Raܫy-^$pk O}Mk6Jz7F#0%Ƒ`:*Aԥ1 َ|>L-gW(m &) OGdF*`l%z@ \MS^mHڷJ޸ kY;J(KiI,V&Se)ҭ!<,Mo60be bHw@=^4%0dMrTJn*^nrˢ1fYBz޿q8&LBG9~I_ 4o5Fp̖/65poytoA޸$4#h3\4NQe>ү< q/ Ss1(} ]>sT}>3φ?4;Ge"d=y}l"EaPV8qoxܔs;.EG: 507qkP+cN.`_Hh+)P;8Fw#Rqlnmaq.tP?Ff~Ȋu8y|Uk^Kjh@8k낏Ũ~煯)lP^2%:Qn ]ȖTLnUFBɷg:ޏ/1aczJ&TbH|5T_ؼdP~bU^q5935Hx6#&(#k X%t\KIc%5+[e- k:oAPX6J.0aYI4Q1k]j&>!0иE?uDai+SFOvi_"e;a^0n\3$p)z'(®>8,-{o2^(^ m'-|X$o*>թMW Cn>TǪASWŠ2exB T(7hZ'WwN_lMl5@b42^P&;FmoFWyZLvߡ$ZE1?iθ ,wUƗ}Wi!ӬU8쵮Hh[JZ[⧨_a:4& V]Q_շ =<,7+ah$ҝ13g,<)pb@Y50Lj%Wc+@>* :fqZ&>X #oI.k$X)M= [`_WՠϮ:r6uctYߓb V۷uj]vMW9(wڱ͒U>IfsT=P)N,j 9rncqfi@ʀqtiFBLJM=HWxPcAsۊ hub{S.Bjcy,luvydejts)#w(c~$)v[8M7 8$HӃw.6ÞE2x9z~S|i%51xemVHv/jo͎|ֲTP\̄,3+j%<*Zo <՛- rx*yAdvZUWT>!mm%)-d`K4"-rKk-9K0:mVJ?́kvph[`e;z"5 $wk@q63.nnZ#_o 8]dnGԵw3$B^w(DnH5Ou[{İ9Fo7'J]2mT7'vasd~^@K729KJW[" xHTg*uBY= ڤۅ"!v.=X*,d qzu:};Aژ"[D],'6M>3oo ?Y|z0?) PYtAVK1"|3"e0$#mND=|kAOg'i "-)ʻ1Fˮ7CX.&w]KַO[P^ZT"? U(\zt,sx^lAR^R:+c2iƿ7Lk( v1Y"4BGd.JҀkR7`,LBj~K=~ˎ`,uZaVgJ޵7.tW_o>S[G$i -H Z`Bt(_ xfё~J1i X݋T0:Jyi.x^gB,h@ykA4Frw3Gd0c5ŻuQueo9jMJ?u-z%Xs)*ьK@(-1[ݿUDi?%tk-WRrہf5wXKtdj`՜AXQ=gq?czf`a|޼kˢ<qx*!7PFD@,pJgb I.,mp.-NSxjUG?DCm7/W_763iRܸ.WͷqYsDoY2&MZFӬ162רM>qA{.+>B1T" p3v$c6ϣ`צEK2r5NpU?aUjZMiEzrtGw 8f(⩻43WI\zF=\LsM2=`NR}6i)eMmWƒZ?wz-$!jPAtKdV>SOe2od /? \ :I6rzAj]X]:?\'}ʀ]WT[kz(qw[(mFi 0i侇ugb30Ss*oa~r5Beb P̷6/G!#[uw PR|j!:[M@;nqˇF4n7Q6R@W FGL)=C: r>ڙKYF%,584:Ko<\=ՅF8[= Oyeq2ed%#ZU*]Gej,RE asHi$@,!q]ws`ʰx!X .sqRKq"WFbMG|k37tw{ 85Ys}oKU3[- ~nF{H5NZB'\߃Ds ENFh۽TZ) Ҩw wK6I^ Fԕį)i8_Wی1UeF&ALcpsI(ׁꅡj 嚃#Z]k4=nì@ ch՚x\k.pPꎥ,ti9C"0yGVޗymZ$ Mw0^g'E=CΊ$ܟ?^Fdl\#m $>Blݘ5$] *MKT~6WZJND6)wՔ?i3GΔu[&M88B"~^ 'sJ"P%^o$EFI.>R-S(ĪÐ䘓;iY^:nJx00M@0 C6Ѯ0Ng=tvi=" ~jDi[j#ߝM./d6"#{ULzˋM꜑ѕj˗נP+mZ^2VY% e9,(ӮI+M.Eq}a],4K%@%*ɪ9~PwtA^48{+3DoJLѥtJJ"A:/BCpsphe{`Kh wer{ CNT".2?g8 P^]#s`&Ǟ0x{lH7^SB{w<=m@ j{+_`*94W+:s*Aqnބj'.x^hS "D i%9 뢎>D(4eNuRw+ 1)%̟R\MPIv||.^Z/M JNjF#uH-Fx yK62 q=E8Пbh?G9| FʚWSyݘa&9 =(cP6P ]h4Y@987q9 E? r}25av8-$Q(z K̟xrږcM8WKLCc\u /}E=(,ެ>&ӭKzd̖L2K1g1|ɺ`$yÄ3bںHg>, gW' #JEgܦ敆'kGJeڼ$_u6/DgehU.RQr;p;+7Oޣfz횈c Bl{FWd'; ]seSGGeo#<]ןYDܵN$ҍR茸C Xc҅Q8.0c:M'!d r@̡u ۢTXo4B^C? -GQQO}d͔ 6R\Zk_4^")˗=dYN £ʑűQp`\Do8fcyUᷛ!Uh2$1!Ab}tИ T°^w6]A۹864Vk$#}zNT\X 9bu"vւH CsI\QZѴTFtά퉯t"Nd^]##:z/#қDM8b{qk'k19nCA=HM_{V-waL}guebj SAjOvV`DVѾ ZjA^سL8\nfV1rZ/&Ll(uvz%#\%:簻#d"#RB\ x~@t}"dJqgmjr^|:S}$/=dx6ޝ` k<7xv:pZ6ʸ(v(e9 3r6쁛.aȪ< }9_DqcMomL|:% jI;!ngL05g%vH}:3ģj{ pyz*b{0ljӈ*fS,G~kW{,X= ӕ̭c6j(칉1r"X;otBMK߀I=mtk 3K ]gximBɌ@נ(X:ҖJs@IGh\ɝY:7Ή8 p}5s+ TE@wI6#oR˪Nf>L'#A@-aDᰭuɸ5O*į(U 1:)^| Ty3YqQ#b<Ɨ_*ĴrkqP2ҼrQ4mH{T~1KAEY2s(Zbfh%0|'Tӫ/"ՠ s^gD҅x;-ӸOf=<`޺ҪDqQH"p % EpaVab-b^ 58_{0-M{"^ߡOuR~ TVxzD5X3?7/eAzwb |Di, Rh'Q$4z{#we<ē68非9X"EZ{y̤WĀ ]Lܬs`VP=&/Oc׀%` /LSYMgL|ԮHPB( P{>%I!~Q/[(Nx .7!i|qےB&d2э `˪ tɛ J í,YBَ(4bՑ{579F5W !qږޜhGo90MAeE2 o1d-G+p%4`&'OUĤʸ т4"sS(Ɂ3}[hRDps\U&@ #?U>#0=t?w.aqcE\̒ Dq[:fp1 2NIod˵omy)&ϣs{mDtS6QRxBxy#[2sьhE)jjA3񋮤o$nv^,̲+z2öƒaE ~>2鳗z;)L{5 w"kgxEg0(ҙ㮬Ch|)^57 ջ%HlFUɗ2©RݻkGVfYcn`\nctb&m@J7R`0~aBFDP"U%Z>]5P) # !Ae~?2z$ $ДQn۲E4t}o%*X(eA(zaL+AB,TX/>AچK]KHfUI5xEMNhta01Q-_GYe|z.,UEc\A"n/%X+ڃ)Ӑ|JiIx@#vỜ-L4'k( өh#^`thvCύCjr=4vIebj0,+hJ±RQp| B.*Dcr@_N:$yHg|O4لf"ޛ~|x%-0 dXPiBk ~7.2'$ITl_v(&tSr:{CyN ڬޜ( P0F62G^;uhjW6Ʌ\]`)^45f9/:4˪GJn?ڦ ޲۱V w,O`)q4V\"mHHh0J!gÁW)pP_@& (ͥeV-G_D{j}u١ GxGqf{G'w*B(Q'?sJDb}K&רe(3$%,ɓfwX_,-#y̙CnάAA8{'z͔Eڦ"07T.$8@#bG,&SQ[c7Q2_aDWhޮInЭz9gNBS< 7k0:)iJբ2J5-mDH2\Ir.tkv2'}nQdD1-){z 56@-5ok6}@MxyZz|gHS=uAY6RP,Tެ/}#'fOìcrҹH8]L')QI}U#t>ɳhY0g?c><\sZq-z)9J$ɕweA;"=Ҏ8H<[vP;"V/]M`"wF\;HӝJۺ8ŹfmOB"}K,'ڔ!<5'PQg \9KHjIhxex ƭ,r YckO),wEA6$(f0=3' TlDñ{ӣ~嶢~|b2GT`ZY7:pQš3Pd[8Quc'Pl2){TW6XI?Gq?K}!uyTjs ۟ZhxJHM ΨDH1eښnyP*;9pK7R%q%6 ђ\Б̵1լu͌zAkTgq"r#Sؘη| ,ΚeSC)O2ѼMLJ)-V21;}K7 /3}V`SW w ,-=SpeyHXK-=1LB%1\Dd)(rF.}$Gp9ĝrjmB#2sf?/ƃNf S{Uؘۤ!egM+.ia|&lǖ\;-edI[2FF:4#x8 }yWm& jɔQ$<}ZwuYD!wP^h}>;ߒ+Q\7*7qNC$'ٍ+S- l;_/g0cI̝E\N {@JbËU죋w>QMUzơDfgYZ