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\ , ]S HOL-Probability-ex:threads=6elapsed=7.472cpu=23.460gc=1.0247zXZִF! ]ŗXiɟH)0!h]F,=4f|zaB|`\>F"$v^&oӥxJȽ5q C).ۚPtpǼ=1,-I0zۏT$ 〚h4b&vPeRZMFlf9GnG6b7U"t38]5*LsX̒o|$J*ߛ_Eo_a{8 āO\'QFyT͔ rC !}3bi} C ',#TGY@ (@=1)jck&tH[=SOTCeoyOլx]=|k2 8bf/g=5Et<"^h( G9zb|&vDcPkHBL I}5Icћk7Aӎ>!`/oG?7AgYZ7zXZִF! j]ŗXiɟ11?E'TSa-5ܹbD[b0V-W)C9Ӊ4Tw4FeV]DA.<5} +a>e4_LH >)]R'ѧO*Ћ"lRӽf>YcKH,0z8+[I0"6gYZ7zXZִF! ,]ŗXi%{B2Y,zzszM J2r}$>/fqrd[L~W'$eyVAXGa';C}'Yb3SME8Y#׮ ndA5iTҫ h ~vcdNLxUBBp9(Eub=T~o> )I5:!z;m3͕DB3"CL3g[~k( F#FěOg*E+.Ċ  gڈm҅jN~94:܄1@-N06 ]I0&Ii'jUF{3-!+R`1i֣{A82-а[Mum_Vݪw&%>h`@4EUΔ˚+.;&ddګ*!p߽r^#F Y”܌x2([DqrlԚ>} Wk;ķP8[-oBBV6}x VwBu%#@Nd Tfm6)+_!l.hn`6]5)R"#Xpc>;( B]ح9~8ҭzTO1qѴ mE K瓥|VEb\InsI08`]B,(/P TxR{? Kfb͠QWuȝcWVٔ/F[4i{;o9h|`]ݔq)o$2yͩK t{u;Sp96$yaBbݠbEW՞i3taB}rDd0$rD+tU;-U YKıgYZ79eba1f9b148ea0a2f572c95c2148cb1c6d21e2774e744b09b63a313ef3c6c28f69fb3e17cd7369f 2cb7c328d0966d0aa485dd673e34df1d139d2bb8 a2b973998a710b7d8772d0b324cbe0318c1dac37 20ff6dd6171836132f0aaeb401c38dec2238eca4 1 HOL-Probability-ex#01QE 4jtK8}6L Dיe/BB`].N;' /&w,K~`/X1+ L/EPJ"Dc "]SNUz 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 (XU1m'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.texr1maHOL-Probability-exHOL-Probability-ex.Koepf_Duermuth_Countermeasuredocument/Koepf_Duermuth_Countermeasure.texV1QEHOL-Probability-exHOL-Probability-ex.Measure_Not_CCCdocument/Measure_Not_CCC.texP1EG HOL-Probability-exHOL-Library.List_Permutationdocument/List_Permutation.tex  ],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 @gYZ ^#@¤[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 &&01QE 4jtK8}6L Dיe/BB`].N;' /&w,K~`/X1+ L/EPJ"Dc "]SNUz 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 Zf1E!ZHOL-Probability-exHOL-Library.List_PermutationPIDE/files~~/src/HOL/Library/List_Permutation.thyH1E-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/Ђ<qM;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 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%XܠrS [y$G_/(C<1+3>&`f` /w+-;u )N|Ps($2 9)k.oV LyN~)I y9 a JӴԦZ MH>0b8\^ҙ 3B'1acT-DaeFdpM=HQXYMuDU]D٪?IBIdlGkhS9fnp0y5n Fɐ &unv;7.GDg?ٶ6;\Vz<wIDα ᫎ8kP0_  N]ðL;BIm G”"Gj0xƹI*ç~s$BMCEDd~]M2Fu ם Cqq 7L:^h4GgSb0eKWTћ ^m,Q=*)>0heGvjmPZ­:Y>!ΝY(:, V[ٺ3 hW 5/¥)dcGKN+FA>Z݊z:/1󋃇;"bs)73&_0&F$^e;o^;f0O yܥc^;Jvd`\ly.o4!P 5ITd"!A|3щ"PtEG##Z ph5'/A,d>8QesKtG# 혧oMNvZ n0s&JoQ/|'bzLOCp2/K ( hf,gYSʱ%c(s& K6ҔӶ!姤 JHPTd1˜&n@rg~m{ou惕@5sTK~bٍXtLL2jID2ͧ1֠.弬t zکh ?5 0э9 HE3Zu3Aco~,Ai0~DyF9Jv˘nLͯ4G zɰf;3{i vVvS3;"Xf*&X ?G Zolz?̈́xZF'hlo~#(FV0u11T)ǖ&EZ3y{) [ Nowx2c{GT/QA2^uP C5S8&4qSf|x]vA?|m؇?1?>KM?=G-k%]5.hyGj+-Z,TZ⦧$=Omd P PϤ3N-BDMqb,k5[!5ŜBdIbൻJ OygP_u~Dkd{'l,E1U+!oC? „F\$m2/ek W s׫:O뀒Nfbr)<5+plW<H2*5iz뿮 _V\MHe(2RsӭMYcS&`g'qPvjjL@9܇PRRDHaϴ 6JKE!aշA۪M(Zה LE$dwZ^ƋWao4yA s7M]ZqU;lb›Ekƽ>0V]$H _gJCZġ700ݶ 9)_ jNJWпVdKщvo\US@\CH8G_hF*|q脾lU7(؀I0i_9M'Ja *5%p% x@@m^-:Tc48DmGY9[8v^*3q:o_Q2m^Z .@"y7DLLOU.1Xt4c ΛyjuHЂa*wG%$O*/d"&%.oZleH?%G`?Tohc/,z$Z˟C-4Κ H=Ghkڈ<]8#de!c>Vǽ!7-:0S<58 +*fQQ U-7nêPk6Sf5R՝E '/[FuM7.K*;ka@솓0h-B{jib9cKf 0M:3ټ;f91BM2E=Y6iZ!wnwMvdgqY5a-mȓ% ([F&'UnD\ a9zmo4&DRECQ6Iy^Vw|n(FJd4Rp=X`ҹk1oh[MnH8pY" ;s`їy}Sh{pQ-6?sCG f)u mQr즿{ !#r;4QMUUX>E0vNo}E[ؤ0cns[3ykeb)9eĦ~ʤ5G.3Zƚ!=d)J-Jzڜ?nQԒ,DD1._^G}~pOl3=Ly5R'c:5}-''AU rjC_S矅5"- x|ӎQ`+ܡTvMԂ -C?0 3BU:"p3Zkb%@qMep;}iUJ`9nUhrIFf̞U@\7n]쳝^n9!<7<[[Aj(L:C^b!k7\W NrU!S#tEKg1T$96;ݼс+Y?G,%d+E %qQ"ct(k19QSBET/eff5 >'=ftp5U"vme" $6o.-"ۍrn T*S?c idQ뛥m(̴4IFǯ amnWx·5g&vȺ f %+_!kc̦{_ zQ*rR䥽Anʪ ZH.!"I^]4NlN4Q VF c$DM3kxC_vvbv,dR"P&=\wro ͆0YI<BKj"~ =K'g١Tn.b,6ZAB$7ͬ8\T)Mtc݋+MgcߊRqy TMIJ6Y϶)\[@)uQ':N(V5`[ʃM{%̰oC zAO.hϦ0ʻ7`Mc7& *:SeFl!#{8#bk[oOJt˸5ALKYbf,ix!QTbֈ{ݽ,mGfxN5MF3$ E._%Ի{') >Gq9R#ɢn@I-lHm;oiHgYZ 91E# |HOL-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!D5CVE}v-Mo _xL<#ԻL 65wIHp6q^ZP3l-`ȑfAÌP]« :=-3#C7uz)gZr7ޠ|䥙O%c%*KQu`YЌ9٪5 S+SfF{VE6D`G>Tnމ(L uT u ȳRj*br :N&e}ów˜^X4쭥ɠuFr eu ,x[ʐrXy *. sc9їs(#nuhYt H]ۅk¸AQ\fF6DMw%t_$և\]4oO_;T Uť9)6Oa%2 M#} XW /ZVDZ%BJ*Mx<gcۡhO"XPl +qkeE_'#m[vl;A||2$>FfOw+MV7D`)ƹ,v6cni펈Dc5+gvT\J<0*?qڞV8*|dq;:( uAEe8>?ѝhvq# 4edD~QGTe2±aS .d`uQ{Ўk V Ɂ؛ !7svcU=320Gۻh=s!0݃ɝњu8˽ĎDvA' a,u/Czc.G}D\:㚦i27 G%gL}(z[䬄1ZmxI{"W0S'WH#@ (F=fv lpU9=;e{%C*ppUb4usdD9|i 8m a^8ܨ % ˼'7Ńyu$NG>[Y~(rA3Ѭ.276#%V26-ZWʚR*$S\c6١ Z4K;83of}nFMËd@ λ!4dq]HhSQv+6,H.Н[~)xTb -.#w]n ͎1i% _)7c KOXU3cfJC43栌ߺtBkA+o(ѫa& *$þgu_' -:Ъ@̅uP(\<}O7[U E3t8ČB\ʲ+l!OF ˑW!چ\^qaSP&(aӳTms5L'ѷ\`]3:uux-Tm?qR[3!2wo $z~ͻ@ =!ʭ\vxh.^m*o [FN#2Rg(7*w6EF@bE$dYx$=d=Iੋ+C MCiWK<~:.T=bs3NpPO^H_.Sj!(`iiAv;Ԩ 虺HqyPiºi8sj\R!OVѻf*t"yy1VɹƾIz?!2nSF{9 *ri_NJeH\$ J'ADbJ 郮^ p? FKe:Pn=ԉ嶨Uw ʅ2 lxeDη^L+[Ty;b`HW>_|@D#ŝG9s:e/GV  <& 1]# 0:~.k>͆}y%+$nq skpx;`r4kyGl< ^Ejnߥ<-;] q(~(F wȼtXOuT*\쐰IT_ AR)8%AAvL;h J1yC~E/|L_ YX`Kbh) A~'F:Wx\t7+ԤoIOE *4P/@> )z@\򄡹J.jo5Ce 8!)sN4H w1#&j.rwCge fE,EI5˛5x> q~+A_3-1"#4s̲5,ZI)-{ԿLs38tEc%SY},(d_Q $E7ćF'KF 1a"R)&~R^bI.\^T#Mc򕁑ǀA  f)@91/hɷK7m A6q6w_nC|mG'9a=ImG]Hf3kUn*y-v>-%;D3GP |f1g0ݰF"_.IkA b#oSGËgHOP&"e⅞4U)/_:Y/thmP 4}ki1ޟ Pr}dzLJC *pSaC2.٬E)*ƈFrљ^򇩦: }>w@"BƉU)4&FDI;VE/2#pAPX~ٴ6tD>t1 xk-t{,N 2MJYHנb܅R3į|dwy[` 0bҟp, %{s/@o#>y^ ;P$Q5l_G8Ϩ ͌1LAĠʘ)c"+ٮ7q (w!sb]`6;pI{7)[ޡ*H׿ԤY_<ə%ŵkn\=bV#=xB Ԫ؂֞-{CQJ֜^`szYQհ> He4IggT # 2iX'~]jIc|(IzK4QdO&\,wߎ%.|[Ibn )b'Ꙃ L]%H&\h0Xd頹'HJyF+Nj8 ij9}ւMcM عm9LT|C<xuZn̕D:O/-Wׂx! . פTIFdg_⃣1aꪙB:H/E89Ǥ1{pT;\5)&L[sZ`hq3^Kd]U%Q='GF_s2Qm,c ߼6G* }u~&dG(Coũ4^1xN'YU|Le3Nc@R> dM}P_`_Mς2|iŔ\"V'"h(} s .AJ e#^z?ސb!жBƟS ý2d3R3SK2mٿU\kj/a 5ֵKP!~ ׳OQŤ3/ocI.g?+A '2GE$БkC:+Aݍ\ +SKWDI;{r EEԦq:yCaG86N}(zLJXF/>}{5^B+Ab|*11 JY&ifL#Zi#<]j=WBZЉ]dG \4̴VNMOS+nppҊHVsl Jf<x6L^h'VQ/H*xٽR"f=1=fs,;sňp8Mi)Aa\]蕌'D K^D[FN"TP9S& Dp]? Gج5`֍(mp |hzS]DQCyDc0s;1*vˢύP[tcI#O&hr@n!e뚧җLLO||(lJC!u?"1|U"F6=,IzDQ-Gq-}y gAO*I|*֧3 +yzdkiOuJHNzQј+~ydesʲ U]K팻j4c:+{L+`]&_T:~V%+MDvȋ軐1Ze$7.sr 4}0 Si]F,_ȃ!Ƀă0Kj ȚsM}/RQiXLpCm+%|()0}31ÎXZ[Y5qg*n ?>?;(!?$7u_¿ wO?BKg::Jf95"Γ|>i6!"kDw#p!,5 e2p5Lڠ-&b=m^BqA&r%8 Ҵ~e}aZEm~ϒP=w%@z0l]uc qN滼\SCݮ:zxt,J&3E2V o;*Da]s\osKAD쬙ti#U*R XpP@񥤞_vIrIБr*]K -?َD! ~)B{]z1 7'{cM|0Y9D۔9NM&_[x,}P^nT$yܖGT\? I KSa%晨YHz> |&.k ,W_-YP5sc9ؙp4hL Fs3QtݪzMۙgSCpggPZØi'1y!phߕPw`Oͥ =9AY!13OӼ0 DV"3 GN|D 8#;`»qjn :E?- X`ngY{3鿄eTԣh. ѣ"4-& F8.S!;z?ݬ(aRb1,u+W)c&!ނݺU$=y q 9!1m~\6`8J7+:dR'Y @vlG2[µ˛#yr/¿4-n}<Wg +]TcE n>UE IZ;86G1Lt6b XC+.m$^~9lKUS<ā/ X5ǘ:OT>rdX vG1PR|cy'Y>]O_Abg8 % IL (F} lX-C0'H|eNGsU8V70*\0]AQXxr>k*L$߻j4\F+iZL論ba>*ӞP3)&WE$c*E߂rqJCw}[u+M]19 WҜ:PwEtu1βU>3c(&]`TvGWہU8}=lt|<\=0nb?!! 5h.hfQ3~Xd|T翹Ip?h)ǚqUy(Ҷ<]TmkYK:4% RP`|u5-> &1h硧&Yɑ@&O Zʂ|fa1k;8w24E6 V`0bq_q,=;s8ÏŧG5jN5}t%ZpD ǨoxEɼύb"_myo[xs~((֣Bo0!^`h.2k؟D^=~Sˀ\!p6eDt:#RA=V!#?1~*ޚqg@@(J-SFܘ.hdZ .&x{6&J;+\!{;B:)L[ؙJ s餠k hl㩇j1Lc"`YE[>-_ oh*k!cȃv* |j<ӹt+ [}D`(52hU<Q>cjS20t1bӨTcEDީhLKr\YsF5نgr x]>98t7}~2E!"U8紜@cmHbp+MQK3_.̼gײA=?~i/6_7'4x%ބ_?pۘg6k |uy+;MxB*)k !2yD4K@Q"Ű`4P,8+n`Š1^ӂCl^#*uahԂ&8UC٤.;NS)YHSMn,&L^"eu1sNäeܞ-[hCzu/yD5Zhɽ2!=QRwIVD6N Xܠ#VƕD+>|T̥1t_G fX#Qp!Iʙ$B!)Tg uf[EV%!9@9 k8x]kD漗eΌ9o##P\Cb1i'ٙD-vmPxQP8elAxvJt'\ :qTE%ӂ!azt3%mg{5mFMz>*;7᳽0qZ0 FS/ۉ n)CuP '!+ɹwz+|602VyTɋ*j_qg9($S\lȘ)yI7N^d fecϷZ喪;(Kʤu#mP= |Uk=ocdbW"QTFgZk\V ßVr7l|EXԯ=ǁP,JART#2FFO} J,Ż%L"lL6fpXA" X)r+ Mm&LEy+Z*7"W>Pm`q*(Qj}p_7 '3YtCVc\@'y(-%GŽCv\o34iG,r bhw\PCΙs{#frLS0R'QqQ+[/@O"^&!rHl|a`t Ҏ.vg&ʒbeV:fJǧz]!`+8Tdo!P&^Sc3j{3(E6̉V:@^b ˨2XKYxbOk*ԬHZU;p'W9F{$: ) +[YH;Wp)@4BQ| KKDVh Ha5j;L{נx0oL3}nY',Nx{:T'㐹&e]V0p Vt06D%j^imV8FI)Vள3bk|JH1~vzU3TkEc`fzbPŵӆQTgڴ<^yX&!zhwr%߅1YO0ƒZÝHƶbJ,ғm.>`w$B'`m$|KNlCx|zl/m>F:oD{/:YE X^`V#I 4@5khS59ުb,_c$>g)2HuQ %Hu ]#*xT`@-}2Nk&]+=|D9.NiN-;ǣf>?Bf[B/xu]EbrMJ|)cPe2= ׉Msz1T["6eDؾuUz?zSƫB3:< Y9@wC sQWbRؽ!ᴂp Y*EP6+ mVέbSl_Jm34mov*}۲ :ׇ 7~2^M^~BoPcyv1̀y/9Dw[F"Pa< { O^4Pd(@\A d1uOKvɯ 1-KpsA"/RÃ)V ǦBB[] >|R%XČǍx z긌v >X4C=6GqG Ll?6*su:5JmYUJkK *{+G=^^9hQ y|4FPO,Ⱥtҿx{VrggJP5NZzk )?~geMv'y޴?Zj$_pV"|v]:ko }ۺV]qO}h^>OҺԷ#85آRTզ2Ѳ+Kvy.WfI篈J/=W vB0sw>˫t #=!){DYޓI}MaVlOƹoH@Ux'N;|5K7 Hpsq10X5523ʁk% yc!G,)\Cߙ^n1\4EyxPգ B2_3Lk*9PnYJ/hƇy E'RXVu)KPgr]箥p;KOL #A}R'nJa)"]?b)-N tNlն-KK/%rZBs;}|B& F?hVc`jzܿ)IQ 4? =Z+fg֍Fn_? [5 !7%_VM*^3CVZ:f43[U3T*-i+e{;:v&a& *fS?3<97tWϚUײDo:d׸MYMh؉-k_߉yUj9Z 3,yoDp{-AP}jZwxnqL?>?E3Cp! FI:(PrF8;BS"+sY =?oRaegX<7UM|s4J H"xũFe m9.yʃbk5e95ze쩰 PrQ!)(7ʔ &44l%Yș |~CO+`  0i@4]&|5`- UQiYGF 0z>zf"ڜ/9 !>C)Sr>Efkh^νڐ;sp͋] |QWcTHq07F]ǗwtCa}uȿˊLjH#qy1`.}`ݏ2]6 _ yӿD<5b >sFW5<3<^5@u>kLuv7?1b\s2QW_} fE1}j?:7=i)m_pnEfRihuq л 8="S֧ҍ|8$e8˺]D;(EIq$DZ0E{!%L[@jK~ykW>U瀐B-e }v %~I\=NXN N49EaQE (.>/h"9).um/0LPܫ  pUOuT`,} bՋ CҎrYle#]C}{{&8#2ųB> P]R!+>Tl #x@2N&@n_\JwQAGE)!v%6Iurf=iv)xj2凍P3[Q{n$I)|H3ߎ`ɶ#hN-<žY$ g8ir4 3Dh"w:߳sڷ*T:` R9GUX aZ+<=-.*?4'[Fa=N^RB]M:?AMu|zUE 4+:UCv~kv?dTt΂koלw(P\{BZkT[ub5gUuW?*O/77BG{R4}-w̪f齎' 2K"?7 ԟ b `$FtcXAJ,V: KݺW揾w>l˽&Tߔq]YKNqyJcFo؛3-zPc .i8+o_/ y+d6@7x7g*?ELuΑ/Dc1b\@)L/I- k6rf8n ߟ-=LU@i~ ӦL%}K:R Md(uD-~xf%NKt=UiZOFuVu:["7[*37Vk yGVhF𴡨8CE^Z*?f{_@-ڑɘ[H$,(iYd셍Z9dVQc-n;ii5y:+c٥qᎣ0(xK+TL X fC$_f{"Ұju56jEjMJ8Zs '\L! O oR.n?YFCU|_G/4k:l59WT$\"Ɇ{ A?S/'{#8Ȫ,5J |̤1u|M\ry Y|&MƒS`:('m) zx"ye.{߷8͎GM=pGpd-ee0SVġkO<@w,Ϊoɔʏ\akaOLѪ\@<!Z1vD'{b ".:( 7Rnb}<#`npjfN(dʨO~U@ j/2-b~ ]6N \E$уw6&QfFt8f7iI7N3QR̮٢Z"QH=Q߷|tu5Pn5GIDlͿtqLu*Me\ɌkhTt\tn.;Ԙ@)7B%vK.TkͬW@#ߌXP޿f߱|kA dk-HηcF )DGPhϸTxzMbDŽܫDpuzُޚ-b:toI#>L&z u|]ѵK5oED;ߩsg  jMԣȏ R(.S`qxx)&VUb<^GϤu5u Iǵi93f(Rwk2yIMID0Fi"@~BrH^6fϦ+%TI޹KϊA)]I1?D|>Kޢj;sj!$=+Px .c .b,2+@릲E"&20}aUHCy]5W1 H3 }Ao.&czYȬ5աx"\ȁwW* 8Y~n]J@bғWdM |Ȗ23ԢH'VR0걇=p ?q`U*~ASYߏ8W!R,.*rc|BCZB Mw+ÞCs}/vǮ(J^XkV4\{knHCZ:/9W-"DuզenF~X#eQf;)G8r#r>a"E"bFd3OK=ꤊs uB|QC[2=&@ډ,>r^m EAQh?0SbNOd~]7-7krܾxiGA.]cH.BǨ6=zU!X0*B N\ |v6D)WzNOډ.v\UuM>2fwWTLS'ŌiGGi2"R%dރ|r.$ T-=sʑ=T`=ةT)T5$|&G Sl}p|GX g6 x$γJ`ְ حu:4jNBk6D; ޲#3 1"mѦT@Z=p(aD`S*)0J ֯ }Lzq%0pطQ N/0\yj-A-#Cgi=K^YGBJ}Nb2"MXG}d MXJRR(w%pz+).ĸ9TMFK›EGHxz~(Kxsҙwv)/R1"u>1ns޶Z`o۷.rU_5{z'+ᒇlj_6yOy0[%UB U~@H!r>T%4'.I%OJr%[-Ÿ1EۄʰAG#38~BY@/:/e$j9n(cb !D(l ۝aULDU,b1+/Fϩо"M[&{WNkٞ`NMf Ҍ9RkhBvvD7{˯s2Vd$bm'[ ܆3uO@k^qXKxQwQy6 h2svXNtk| NYG xÜ~Cƚ H o Ts6sNn4\*p=$ SZ{hQQ=G^Ǜ"4Y*ƿT5;Y']Hd_ϢS@vz7Y=]шI>K@x.0|ˊ@l7+- UhH!`u!@ludqϱד  RꬰgЉvEtt~ Gڜ&u_/ۼ -c cܻAbM?|7zsŒ鏩X.{sU,(ebގ` 𘩄_@ȴQh'Xsb:>6T35 ?l hcTY,7|$tG4[6YOaT0*G局K&p)`XLpgYZ  ~ 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_id578/ 1]' LHOL-Probability-exHOL-Probability-ex.Dining_CryptographersPIDE/messages7zXZִF! ]D?7 {?:fH\Sc;\GIݽr0t^,MM‰Z($ h1Rfhw5] $xkʺ-%c3=hro*]>^^?,Н#gA?I׆i2G PEF=GV%'!j =}MplDhu`y.+5f*#-rnO-)M UN)%妁#2suɤm3i?kdcל]w1BW)`}q&V %Ea.[r+ 'Sk_T~ἐ'6M_("oox7ɪ@OyT 6,lcFi?w(e2J-omw5Gl5g]1t!284zlz`IAֶom NY$4ZU7=Y )*}=l]\؄1*{KAe>6;Q` Wື 0_TMEj~>_AQ.kW07IھCƒm77Ͱ!>&:!!n`gYZ]y~h|<.4ht3Vg> VtH!@)&u@ܸ/5W ,;Q({n*TVfN- CN 0Ky6#M(2lyLgC)b㹏xC06Alh QeT)Tx[C:Wv*'i†hhİ/78 GxOXB:vXhXYHV,D~'+>#u8wPx%h|ggg_%JW^K0{/xʟhK8`Ǒ6>הP1WtHh?)fC+WAɑЧ.dBs̤`,X\1]VK;Dx\W˧H0Wg:N*_!cZ-4()P*P ծx3/ ^OXh[RԠд+zoe'yV yE꛸yNCu>.(17h5z!E]X<`pg$ xZMTu?h;+U PqPzD[G;_*|ؐhӢ '/Mш9X$G!AhfmEI/kYRVPy@|;VLI?l;H <׈vx`ea4L \`seNV´+T6 l/@jUV.Y(";8\-, axz!DlO0SJ(J`#u|*{Qrj $_|Ct7jF‚HH5 ^YZZDOC^{^aEs.rNh7.E%}At:qБr0RfGy8Zf qn(MS Pq?iWA@8uv4nth<$1,[7Prَ5;y?oLvIWZ(*rP̉;c#b>@VP ~Lt}PΞi4o]yMl$Aƹ 8{Kd4SnWd}U2Sxt]fr_4 -R˽Gv?+/,>lMeauȡsfaLpQ< 7oێEd6'e c\b d:,fmdMJCP(,W[YV I{ K"8 L^}p@L(Jl8#"t!:d.MK%ESnI֖ QȭSJw[7(y+`s _n/q63sZq>jq,޻d RGCPIFɿÚAh~8Ԥ#[i%)V3:g + CĈ 1bHi!%!Ζ6'\tgS@2`@j"dEYm|}(ꠜ.&F5}lD,9J§X6y\]ɇ)E3.'nwxDX@.K̆'ɋz=c ΍ oW)Qk`iAjڮŶKYjz|n: ,z_MT:VZY'(nn+M5Όfn|+EssYRTNQÂJd{!A g.ܛ_1@½v lQgMPM7RPpKW "xLU:ky+koPľ7N MS?ȗu^ 3 |˄9l)R)AF2\PֱKBZ on(o7K-3ޒߌfjXQeL?"f0 `fFSk: =1)Y%:pixqO-~$PCHOB[sF=߆Eg3PR{MV:o>ߐza w^< _5<7/@Eŵ {y4YwUZЯ&e%Cq9/ d/ 雇ĒxBL Tʍ4qOo1yKr|g&]~(n! NJ)#kp碎NAlkf`hDRc2\ɍZ?4B$paV3sM ZC\?)#Mǘ&q<'p]RR6 ^#ؤ-O$Ttl6 Bf"DEώ]|-"(Ή)uy͖/aa<2M=!h>U1&gA]̙LAel&"*n6^epZv 0,5t[~;ZR 2D(f _=I탋c" q/G|MkrZK]6gO{\z:-3iԥzS4 b$ gt>:ѹ QJC&=V+lДk4j:ا}i-ε(ڑ1{iᖱ̴>Į:0JMg 0s "T[z] \>vCEhE&Dsc\tTM>"8T{#;TG,ug _=S[V&1([ʏI ٳir) JTqWՏz=?o\ZCfI-|YL#eVŖBEB^ֳEO_9|Ny- lިbRPרlst#&-n{Y~c È_;);^N!25q6z_wG !ɦČK!8Ao} F!¸WpqiuSB|]@^nbo&9@ B6?:rwÖ꯶}@Yx^RIgtEiq6Ȫ>P`l]2-m}KbHa {~J;#kV>nrO<̲=2"w,xi3&qRFZ6ސ?PgAXJ1| tSW VX%k՞DP5hf]ߴ~չo|\g]W𸶟Lo}4E1|^0zz8IB|L:Ֆ{-+_*?pU$Vjvw j+oM+(2owUPʱ5CZ2I:\N!aJ%UJqUHRX_wKփw650~Df[?Ev9oAJ[vLJҫ>Y˝Y/Փ#,/Gb9&* dݷki:N5ы͗fnx)U+15#J%__*3:Р&x#V3| g wC5zkDǒ7!A><9'uf21{3B1!$Cjpb\5M oxN[QI8[$V/kU]cEs7H\ N@ڥkfQ"T:#덉r$m˅qso (1Z%@O p|B,P}FJN" fvj>85$g}gzE)@ ?7++aZP S<-R&ʍ:Q3L be_9Ё4 4iWՠvsRPv^ދlxNXژ%<1pqTCLE`fiV(̜}SlG|Cwh6UrO>&F ^%+I1q C$.y#'ΚtC@$֎yOBJ cZp)QT& (JMM|*V֤j\GUGIбLL pЧc~$<2$ ʤW[^~~QΤ)b N YR$} ťݙQYDU{mۻķKpͩf8Eyy1=:B 1; D(;mD/V1>8K#5"<4W^يѕөCl+@dIrd6J!. AN'yNIrV!jx#CY9Z*x"9شg69@= +#UfDFAXvJ@b'^V׌t='jc>@EǧLe|nkDxaG7/թB;%#L_]^?K)qfMz3( Jq"?q!q[›^ ^4FgYZ %%L 1Q# HOL-Probability-exHOL-Probability-ex.Measure_Not_CCCPIDE/markup7zXZִF! v/D]ˠ)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$"t ?JzU`MV8~QMwCM\2fEmmB9 hxAp5}rKۻq_U+؂υM^DҬ* MaGa [<-jOUuu s2K(,ߚ=BJvyG\a XT`2jב]zZN_G)Os1'*<t]DL4tw%jH~LH*Ƣ`$ "N{4Q"bJCZqeDEef'0yU a7dK+/b{4l/1XITfo^v?aϦT?DSWy߳D҃w biһK#<1 Z͌wآx# 堈f`6xuEF䇜|'Ey,d#5ZqViIWM+:-DzK )ުRퟙJ1X$./,0mI[ Cȫt9)[ţCgA^]f BY |5RAx>1 '+s>vJ}ĝ߼9J7vjJz,ՂKkϯ&c e@V٪ tgS6!gN9$88Iq*[Q^%kPb۸8Q-!eMAnaDFh!+FYFb6_ ޓ2Nر8SCZჼ-9=B2zk`11,݆t, sZU#qKR?ڣMZA-AMz!{(tfg0g/R^a_9qwwz[t=hlZ+ |.hotϱ I0P-49=pQyoiY@̧M6pB%a<87)<$N'[R"8E9yܼ=# U2=ʽu{.> q=qgɊ>5[=>lڟV~uכ穟,G*@s!.4 ιv]ȃl1ϟT lHs8}rUVKiw 8pMd[,V6ϖ)5LX|m7y; gte.LkpYzpkscbLri f).U~-քP W Y-thZ*;{+GkBZ}"@,|EQ\qP#x$2z,q`<چ ouz"8]X`,~ G9%Wl61WE\͙|ouEvyt=8m9,_Э?e}'2y1:Iac:(`]Gv%2Z^w[s!\.|V0z~pXTV3Sޔnw8R5N6N짓<7GDJ|NPMR$L<ǂ:'E'jsZFkxV,{zyr=G{z NWV]K:!:>,Ƒt)WJȍ`r@Tq_%ِ+]@NNPGf۫fi3jh"FF{E<8=^Rb9Ϧ3coKz- uF o,+zȵ҅Fm~/.Uܫci4l'0/$,!~sV#B7ހБى,; W/_4Q-Q꼇 `mzjEؔ=΄P"<گ;3"H+Motcύ=CE/}e, H-c4Z0iaDti/Z:g}ΫNԲJiT񈥀RYF?o"y8ĢJ=_rO̙|[J~; ;U)MX5qОPNƽuw .K0?&T֍! 6Qbaˠu&yBMcO?8}k?c"YS6QSDլǧmg8mt퀔=Ñ;ĕZqYϘdUs4 Ƌn4 ا;̾~7k0 0i2G7X_O|A KGB7$zƗ{vӻƉ: Y[~fRdI9qN<4eZ)02*kh98y Tc>ީ <S' dW9PқVb_~ 5ip'av'6 r9YN@Ach:+,@{,"rѤc{Iw#bGC^mn-,a8uc4p|܅Ug]|WtGs VǽZa9 䏼Pw*iֈ=*?c?_myNߊ"8 p Ws)ØIML>N_kQ{uWTýgUuY7 b:aȋMG|ePpDZHE؞&[Y%{vɸNѐw5@GXd?@i_?PQ9lX[]e%G&񢎃gm{OU0Z2 I%{Rmwm0-#Wfg7rԥ-yu%㏻m1ɋ#`E?ګKtMv7DdϖD\LZڍܢt&8ɂf%׷;ulTSL_8asv#R1]ƒJq}Qډ@ȗC2,$֥1_.6I胅rE\ہxvh?H&kY0 8Ī%wz1aSDb ٵD[~r$ZaWu#5&Ӥt]c5k5^EOx@PB$c ~a4M s =dlы#}b5`b£$JJ'q)jpK/@w H/to)վ5"skXښl=DKF|w)}q=[&0B-"h84 ,k1>/<̏OIP>½ rl |rf 1m# ,HOL-Probability-exHOL-Probability-ex.Koepf_Duermuth_CountermeasurePIDE/markup7zXZִF! yP]ˠ)jk2p O6LP=͵괣\qew2 hҦڂu(xCVLWC97ރ jpвzk졬Gf E!JS +f㲢){=oλzKC]Ht*ԬCVK8_,wn4X<̀Q)C8q]͐ʀ y|B -#;[i&Y_M$Jz\|$s_VPY;uT  ^{? )ɛ@Y825@F>}"dJqgmjr^|:S}$/=dx5$gfXEQF>uj6b Psa ϣ^p^#>g^01><ئ}SPtAdY89Tdv]:bdWggsq,58qglX(d!6P^%byՐȪnpgǗbP<-JS&_Ffﳌ{(Θ+mb$ ?ݠߥzD1{y@UVR~_~!4!a4|b2X Ƹ)> e b+ZYfD;G44SWe),z,\_gQ200-v$~ɔ(6 -?Ը([MZ#1@\)vv6l1̻2Y2y1z5RЃG$Z+R/9$p1B9,p)x>noo`o:[oK.j0eo[u^Pm.p2ʨS7P8K]G AFE=qP|rՊiZAH?75,ƚ8ݐ7e~ND)yԔHgPkEqJDׂE.2:seW%B#&Țh olۂ1T'ʜ.4Y mJaf\ Ձi]tM a PraجӘ-/|x¦&:fȚY0p;, 0[q/H#%Q 0˶)6gJWw֫΃Tai AetUhlB@}i΍ciL3재@T#}/S.R^q/B:UGc}zJ"rL} Z"֘eVDs%~jʼnG;xkQu],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שpP|'"ܥlgI^g:iʟIk:SSLKIcCZepD`L}UK6SzXLzLu-("Yv)36Ck4(VaB(GC9 qFJ i_=̈́/Hf[(?'*.?hP_orYa]x]j힝m@\_Ek7Ɇb F7HMIJzh`v`|~B&w(?.iعO[.W3݊YX@lH :!jT:NQpSSvFFdmh;qۧsqAviIKQPNx῟IØ6R5ҏ(xtgD8cC0[Ewz3L[ScLU>568=(4Pe[cX>S)ddͭD-xeZ[h|xw?P`4F9jث yF410]It| /gQ`7b;`i)RIuZ[H0 ,߆8葶m]?DQz'WJ]fYSMOlo< $ n~,j5qO3 #0KKɝx!.Eh w9axm)9Yv[< #~v"h c~U}h]wo| ق[Y%rXa8/vxS "?&*s*d[\=f11 6ZWX:VXfB.sЊ"# CЖŗ>>auz0Q-]th ~J"o ^~X7lR7l1p{9Lz  :rGkD2d{2]Jie6i6h[yPn>ܸ۶Wiaq6gILe.+8_˷#)[lSG<_],&;=rWq!Z6r2DwZ]PjCT8hyOj`®rocIgޏJC}= 5߈S۴;X|CA53We]{6]9PMT~ʋy^pr LʲۮNeU;T4gN HRy&ӆV*J !qc򫟫i|dXOaoߡC Cѐ jWkV0"$ʇduMCM-҉n< hx߃iory=5ycjxv&h5!>6_ժS*6C hS&ñ[*>W#V6e; 1-(j,>,=TDbD`Ź2s+[y^oauyd1A~+RVCUD$' 4;F">*+4E0Ʉլ S#Ӄh |vbM&W[ʍH*@>Z}kwϣ+Q$j)֘l3wGQP;|mBsH)?\M;LYCzꀳdXroY%nӟ`M\7/:)x5ܧFm. Z"=$Bd@mt C:u5X-=H2 6[s&.$bh:KцuǓnKДAHP?Ʒ 0 ]bbi-Duus **x9b$>2MǢמS%KzD|-(ER𺇑=66S(4{IC۹aha7+ C|?ުL3"މ$^՘1Y{uX6L=9g G+xӨ:0 b{ܺȍw .'(T6Rw:?.Awiu6Io8#N(M7& {{%g(H+URP([Sݒ6HCq ͌K|Wu ­@% l*=(\9jǜY3cǛn02?3"@teMvϲA%Y `EI[U?fmY~ON z,8CpSco˜d)=@7_ͦ1clSVJP$K^y^PTUShۦ T'f} Oa{ɲGc-Ǧ(/.Xe}Knfd&W=Sug-{۶SMsyDQY_[rIBbS/AQ)XYcA7bY#'rѹ)t7CtH^D aToSm1gLao"k?‚M w,Ĕh.: IQbn X#L3v~,Qb..C UMb^>Giޕg&+-!%H3/\ v7zUmB8e[Z!,@نCY, ǬI &EgV* @P7ң (_]1Zt b $Gt^kyPDHŰ/c;?;z±uo|>-ϓ(ɑW8dMǰL/ko#s?|9qˈX;f\ċzv/0rս yo#a*t+Z$K'`_dbߠ[ ڎ-ZW] wkoK1رP,ﲒۓlr@hۈ"Rv\!,~7 c s?& a$jkݥaFglS;`̃SUbl5\',X]ר2kR3䉒PC`m ů[9:d"&B|vgA+R;N툊Y!j  LIHX^c }'? j.X`T菄 6{Tupq!~ †K$51wV".Z`L%}72b׋m20[nW+r:P4RH<&KZJfM/6#퐌 k }Z8[D?-C+gN'DPF?aiO/OmO^WQi= Eu3|F22Ճe^j傪#[A||0ȕ;05љ-| Ul@r8䗿"3b= )@ӄԌW 3p8#ks"k -{s,$HOpJI .K *>XLj*ѧ= s8:gtl}ߒrFQ!iPIC+f5Y[i@ F?}4IH`G##!UE\f/)7+/,w)Du,ϰ^}g-.iIV|Q?B=\XM`nCzo!lRڦ l}k|W^j̐ڑ6:)XXm>< wCJNaLLˤDsTn;9 F1Fx{cQZnBMQ 골y'5Ɍt` K~b3FZϒS(+? B2>7 |IqN^#ķ՝cOmh(JBV+LsQ"&v<U44"8"kG!CbE//sh[OCT2w[D>l1p|s= ȡ~.hTxz ߼^OmzS +vˌ% a!hP)&i6LL4֜fWE.f^kT~I$|Z?:eSG]t:ݱss+m  XF:9vJ$h;h:U iijMOdӎY># O')鶬gvgK0&3O:Hף b˯BXX7)úc\FwǠ<0ePX-!_SrU`c$=r1essҵc]3'8;J.ҟ4q%xeK!"ԾҎ8@[v:TlܘK%zWnF1r׃ΥTiɆB}0!>hU:gn+g9k+5!PST5wlySnZ&tŔ Q[|M`qW m'#;Yow ȻHpu?esZm VMcA[ TT3R/紉uCPjQ<*61Vs.4x )oW$eVnC.eἆd1Jugg.NP#yuQyyC<@\&y="D*ʎ#,Od|jDI9 qY@~([A~)6ZJԣRĖ+\7n7, vM84vJ(5>KI2fHGYX>}7 >B$&d){( PAXCW bKR ښY6R˛Ev2J5a$L*\@kJBVR:{b/:I8 ' 4}3L<Xѐ]/&=od]:BjvO .&|\/`1GR%8/nf>8=a y"SpM4瑢j d\)6e鞳"ݙBol]0ctLs A <32^S %&sŋf`rkږrئt7KSDHJb?K: 6(IϾuDN4 dV[(LdٔBhfdbC_I@U{6Eĭ ȸprK{zCpxJ=I׌f6dཇ&Zr6_Bch_RXS/'N|{-Z~d2_\C&QP,]CͳOR24QD1(~3$ӅgWjxTki_oACֆg"[!j$9HCe۹",/ރ%W8h x. c:6nƤ՛NoطOE*sm^![(~"=n*TbZ#[#,Y+DWU9$_ZBp )1}tfquAE-# y^mqF6 OzFа~Vq˜8le]铯- n UECv3()-k,8Ua̶GfVLS]EAVBmkv۷(Z/RiC>* `Pa`4j,Wn4Vj)~*x#('fdeԣx lp@ӵ*$;Xo<3'3di{~]o=qA)a]ˋ_X@"֤)dƙ:-ѫM8)ob*{*iqBB>sܮq`15>V;}S܆<EK- IKY|[QaW߰GcUlp z?M#!G|ȓ֐W+Qg5 \vϣ;Q_ܨٵ(o -UVqfYךt Gu LmN<2 b(FmoA/#ñTium>͑hQ&ġՅ ͔brVԎž+S 7ف\- N75`a1fÅ"$PX&CM9,!H)"XfeXڛ;/~oQ$~e=,I2ZF -gQF2n,vH˵hQOcܒcP0P*{|kBQ(h 55Hl.dq@Ɩ]s~"?ZτS 0hL*WOp$U0몺@brsNJj?*<{.y"ڂVj ŏ}NMȍڴ:O ¶K#=;eޅQGo 6E(YoE|~Bv[ą eUV4$P )!ӗl?M:2@BL#tyCAˋHaxcGW:?Z&ӾA3e]p"171ʐdU mWM6 X2o}68Ft\McyYO9?}%zBV+  m1`PšLp̹)Sб(Nk}h˸PǛqz*TowjM wL$2e4S4  2YYG!YހwzxH9w5>46\*p<2 mÊIfi v/JpDUPB[d/*çVA*ȏ&DFϩ[g.~mGt<~2G3>ցǦi@X%TT1R;#WJ,^ "ff;7 v:րE2Tk*j%:Z fFY𖺎L{ V4JElRCSnffo*{ s& "Ro 2v5;}ub+g[zd4odЖǥgKTL[R&xJlHA}7nE (XGS.)YѠ@5!ލ6m%c]|K?~EcοѣØ!cVKG'<SS;z]li ʏY t$&Ս;6ۑG TW:}HCW!W4ۆ젋|i)d"UX#i)D+qy9-9晴ߧ"硚?H͒a" 8 0A.+̘Lnj|rr?uQ>%M{A(GoO%P ,VSۄ}1ʭZe:SΈhqqyaBS5.\ą+J'g~N\7t#]0WX90W&`qDhi91"XCAP,;dN}HL3ȖEhC*"Rڋx,' ɒ/,7֗є1)Z *%_T=4mWr}wW$d!dx$ea?V޽Kj` $ vm,],s.gU(߭%!W"PZ9yɩcN=7RCC/[]F͘q\(8^. NeSkTˇpOSU1eu\#IRp7bl3m "l'T P"4/>|qz4t"@Jp>YJӛjzA,؁)]>Dc&X MEiH _Ȉ;)Xl( w-]j1xHMVxXэmkӹH|J%[Kϛ̿hV@5KCm^W\}G0̹ C<; x]iIVxm0 Dmse< Q5B%~z >F]CC>rV3(N^fǶt|JI-z?ٴ{IV.Κ"ɨ}3VA$ͳ}p98cPLE\jPX Z`5R?zTXHi/zj ()LoQ U4 qSpmՆ3*yOSP0/nQԛpuHZ(\<>;~FњMSh"$I ~f64klAxlb:=A062]O/>¥iWa9p?'3La=Qa/iƁ8(l3)r% XԵf{>B}*w!d)C {G[*bCu;egoSKL^f3xJc-*V^j3nF}\8~JfpUatqt[ax|*L¢NdŖ`N̓^E0u.q]Yo[B tݫ:U]y#m:h.zdMjJsᴳT*}L"P^^P,Tgrxm~ݨ[Uf ؟uYhìw9DoiD> ۃXsVK*xd_)(̓jC`fzu5/*kѪZXl]PǛ @IiN"LJF xt7 KpL/WE׏8$ $+bi\Iv}mm.b!u|a+z7oͲ]5}8nY<᭜6\|@zD$G9g~/rѕqAv̔/^Y3ɓ’+I#?cj'4ʄӂgb0OC8W|]Թ,L3@<%<`тÉTZng?'ϙ@MjK3 X E{ ?d(ӫPc"Jd%~h$vpҡx%Y?||T'ڤBO)¦.^VK$/(=٥Ignjp'ڐ&VAEOHyV VѫEU4k$A,~`ǘ+E  ºo=2Fю[V\-VjIG<4b&՜#^R+]At.IGeb6TY+CЧН`ovl6W ֻvw;BCZhޡ613gvܰ B,Td`l:S} kC7 nCJeE7-7 0}p4]*_!mёen0;.+('c }x\r\3O$q v;t-J̌+SE4}(,U̯}sRip0 "k;o5kuae+g2):Ĭ.+vD*r21R3E2Q3W*H)gizSZ2_O#uZqw;{c_WKX\asg~ٜ {{sM(i2VMTxmr?6dC~fxHLTҮCnؑAB[8SˀJI?Uy|(2@չ?ǡ hh)aʢ3BNuEN@Vmr^j|C*אle0.7?#L+<|%j5a/c wMũÙbΓ_z 'Z0]Y6gty#Pߛȯ]&J\ALlhvqAyǙշ~g䄇Bzj0H)CZV7+j@TU(2$H px48&vV("߅L}t{ }c"Z +Spٴk2K!@.1%Ki=󥪈X2D [_OeYAGrXSd ?JXCd&ܧU8K49,g?|Y::<wKwmBOd!̣ Aũ h7cW56 rfw :ۇM|m_&h~[z?&8ky8lC 5Mo`tR P>}5s3+ p 䳦 |" &=g3JK!w+uw@|E3 YzTrVm{$b쎄b.W?aFvbQ<]TBx s*Und?X;A&t^tS*S[18H>߼9a$2fґ!]y_₾7/Qn-Wg" ӷUf[hW>Tֻuu78`JqXR6[q'Q'dy*V$6PX:"C(8g+eliRRjW)!t\;m(@!Zv&قn:E.?Qڇ|~6l,:E6mC5vSX< >/G$kt#}kEcwc5GCLιNR}2;9Ք3^n-,`ׯ|xG۰6Dk1;e_23H~h[DjgN4_'fg~0Hƞ?Ay/t})Ng˛ I?qne&og̴ )O uľ̏1U@~W0 P]R@bHe=b<7CLmG[&c]znW0gڇ t?:pNP9lHyuͻ~ {WyHUDDItޥ ]TBfP6"=*+@",&f};2@¡ˏs[ӐI{38oX\H^x]0si-G8i:1nLG9ùR~(*1-חRf?GfٗyG2s+q3 \~eG|N \0!\gzFѳT+22Ud'UB fW!,|lM#SJ x[K֞cX)d\gte4v\3ojp^X'Fa trL/eiuQoxsL؎pZv'EԭJk9 8eaYKKx ќ.lg\'B +-8$ /Z п׉ _ 'k3n7 ?f@nMȵ=Yྚ;x x]sU\՗[2e8tի 9Rj[̬dž|UyvvYł6J׊eo]Y΁4@,m3+sy9/ 2 ($ݬUSCnlEt1ޤ{UӉ@&[[ЃMXY}uGyh8Q'׷bHwA8*5q$IFQAd㻿@IXNΓixH='?~0gE7W4(t Y]%癨w%)8Lncq~_-" h&+~:nt.EO[R9l)o p@x~SX#!TlXr \}W"O(rJk۱63_ur͘k -z2R$J0@؞?]͌4-T )K_F>R;us/xN_֏epGcs9*,F}+V9D"S_܋i'X?va~CKnxO;l1;Z'~ٹ87aú~StΠ֟A(d^{rX(W'3 g5WԎdrQjSj R(INJ#4~S;RUV`YkH5[ J'QX+KlS,g۸6lƍUQe $IyRn߁f#:m7zQ?<3+IǭVH[X?A:a}Y|IHdk)[cD1҉v#-')'@n。pXÙޠm+T! (R~dF fԶ7IPeed<ňn!95d.5_~> 8q HiByg+"C/a<>dC\6,6F#3Jtˉ^f'e̾4 ,˲L8 ߈&˚_.\jK!sm1Ä?Nh){5j؈hm*!Q6;+g=4 s8-x='ٓGx)7BY5}\Q-sٴ_6$CC{Tۿ>rq=,Zb>Il5 T 6bd'^ %o/nQ)|~y6f"t^y,ۍxءÞO<Aquz@SoBZ0L+IiJAsE.d*`$ ;DpQm֖n 6sJC{2 `% J5ŞK$?m|I0dsI4F'jg Hԙ|5 '|Zd) !J DZwok 4v1VQ*[f^Ҭ) F r9ݤByzu?_ u$΍[Js8;o"fT+n{f NaRX- kIҗ)]U l'e9Q?:^M\@<u(Q?E!Z0DvJÆɴ G0lztD@j#iԜ#GrĢlkgIJ;{?\PZih#N=C ; ԉ*< M@7Piظs}Z MAq0C}yN =O=%C{IAW=W`MNEcUJUτVs_x4?lX&a8*0hAķZUӳDTҹ#h Ib%3)ӗS'npFǺAؼ|'_Q rOn+9偂m[.yIpB[UHcM$ _WωQ{8Fo>Ma`<d8 d._R!S/woU,#VqefƪRs,lҧ-MoPDF2rk@rx,4b;*>KDkC*3'FWȦwx(kB-i(Q'^c 鎼;~PP g'4TG%I!+H8:)pJ2'RRe`_I;#ع42^9=q.d9FaIoIܫpIG[TMԨa{sЄn RXʩ/mu 9;m 4 ۏԸY=Ig<;9w|W*@EEuDtТ"R¤#dlӃ"%O?s՛gVIU%Z ~՞g/SIxy_uKCtAȺ!oBou}3p/'AC-$I XQɖw)y]zF0hy7GqvT_eDbx*U룳g3ɇs2Mlw+w|N<(~Db[X`cI'|G.` ݊tzn 2 :~q]qW_jiO *z%a z._͡ؿ<-Ah)K`s۪ELz,@Wu?|1 qڱkuX(!E~@N*;br{7Fv+쬁4|_œqJݟv4 |_ '¹F0-QWi)(j{?˯ҥB[JeS[E pcֹ/Ie3 Q[Z薕s_ 4Ck*g &p!tUu7y?;mWpF3+ǩ@3ڳqŀO0xRh3&#t-|W05Wn/" %K)xjk K9$x"ھK K&!T:?+J''x>@S*2W'SYaBõ7,fl!w |eN!|ׅj%Ԩ7.&^ZFyt9C4FUonI1otkC'Ycx%сH`| o݉B5_.ovQj,y(O?3 Q4Y/K$=Y7HF8S5@B:yF a]V(eHN+:eK?X1͛\ t|mX7sC֬{6su`@pD5L4sv|G߸7 q[7Cm(Q3*%_ZMaNQ&xޝQhUf < (@coR>C2eS6F;=$]g bU v-tѤt=o\VIkS;hFf/ )X;vRnA-9eDՄ 0 t0sURBȮ>qE Vf|쁯(0HfEYZ؀N7kN7*8Ѕ/LG*-Yr/(XzHIL=K%4%!9zz0Cq(odp;`Kąfځ8Ȁ$㒍ٸ{ucToTeyCk%3{P75Q d*c?,ϧCbuCEöJM=k*JѢ˫Y|֒:j'hz35>C(oT#lh%u۰ +ms!¬*gRs7b zhX27%QV^Iwf/d= -ZB񢜬%,{[ԡDnq71<6w&c2y+Q0 hhI<ޚJXKFk^%&G[=" M22 :F$$ I6W&7{tDW4{wkgS{ 5ޝy8AT~* GZfdfo\G){"R7||MB[icUD vr7j%$WwZ?j7 VIP%B8)@3+R--Kz{(m~:LJc aY{!jOMȽ"#,DVngCpyٗ_" 2"*s;DloҲ2p3ϱA"`"u 4EpNH//xSOGҌJFX>ygoD?,p'evqxɟ;t "^Id6ύe Vq*Ds=tu'%X\!', Aq'7 / _ٰjޅ^ XQBn+/릨_Yhmo#Q՗ۙK[[z ۇQr FʋEI览ZG<@OZB1$96ӊާyu L\ĈfzE$|b"WN#w?>نa`DVR ch/^xߌAm-vdPTkv Ώ:rY3j?A.:1`0< mZ)ofԿZIrL` r.'JQiPp +B[!"tLwĴ$x+sOfg]Y\b*:}fKlE8_|oH_`{n}E= wמ2YIODɳ,n{72 0|+gƸC?TERНG&<;@dWy{D1z~Q/jb;k4YM[s= . k6D tƲ5gD:I9ɓbc4P0^*'~G,xju{Gclcc*;mdT_ZCaz*2.资h _2})w Ahq%ǐW 劥c'a3S$V0lL ᛙ؜twv5;!^B\!OsA. OgYW2Eݫg,&/aJiHRq 1IGeK ʈ$=~Yv_: 2Ł~(-U@K=iE[LU7#oa:\Hցyh{NL2a%Iijݯ-~2ΉEy[Ƥ#"4ͮDLYǾM0w(G<~Yҭ!+M-@'T (1λc\'2n'S@+K=jEZD2}1@Pe)k }}GE6E )_ w{!ėŞ611^u} CqtO(KyYǮ$`fw.G ݠb:~ @xJaN8s֯ÖjSOT@6Bdtg?HS݉!ImkC hA_\kȦ4!ؒk[A ZDuf+> k&l(Eb6eJE㌃O];ƣzy+\-3 Kc8G,]e4r~3ˎ*H D#FvF-K\DbmEcjWgəJP] au[ <: KBG@0-9tӲJ<=C#ݮf[8anpG.x| 5S;,G˙WLz&dn;GP5OӭA]SfJf\+-b=u#ktfLPuӔ> 0)9aP@t߾bi _}NSɊݙybtgJaJyCVMOW9?uK <}<~q8/My3g\FedP]4K ~цY{2jgNS|T<'!V {~1z+fuȀ']Pɀ׋LoGjC^$nN%eJݺ vDL6(.rXC#Oz즪`W>m5zB5Lq|,e}=:&]YyIR#|$B^g2B`b@wݺ6T'NtzaHm;/ p! i*ƛ7 4 +)K^^흦Hn&4i4$Z ĥ)e?^Rq.Z/ Zb{r-B0s7=/ᓀJLeMsgaaz`{rVɏAV$j@꾝݃t0LO}!|MW_UCט=1.V7`-%qwX-iT޾'SYRuev?ם#1dSEÐfnwf6P*ɓAꌛd3F.ڕ*<Ƒ܌$ؙ|@q5rD\[t|lr9Ȝ) zJ8b`οk?73J\; ѕג>U9tf?&Ldt$B-z&m8zC%0ҝ2.-ok@[ ys;o:1@W[9SϐkY@BzLGp "h=~9AiPqhXO>~&oL4{^ozݥUr:rp}A-<0I{:9n5%jϬWuHXK(s)MN.?@MX߲?35j?rd,^TxV4Ƌ?uFD14&6ݿ7 Jp45sWF7z(2֏kҌx"<;@.')ؼ

ԃwz̙=8x/h` .Xl:xrmV;iafi㦹 )&2y dɮgvl֦m\4`D@d\™h>YYmBlK} |jAOo:8kxJ`|5^[CXjsL I58Y8 `NV($ P>y'O#;q@@5oܔI%J'%~͘;v}TXvJKv~ٓfW:sDɗf3jTu6R-| $o7f@mep&CJnxQ![AE81=U{>7'!5Z :>9J&[#|(%GD (in#:a{"6Z V$+\!q<+ﹶL6;{S5ag{& ;1~ae1brSDiÒUno][s7FsTs&Ndl1E.9l1fH"LFs02aǽK!A&PHLq< qħEED"l=@LKb8;{EҙQL;3PyXTgRZ>P,qO=>l6t[U-W2? u\ޚֹ{{A[<9#qĊi=e T{ZqyN{G*dPæU scnq!.ϖL1wU. S0NkNi9f)2V =M6S$Oc9>0eŮ>(g.PAM(-/eR%LڧȌH1wgaogco"g-s ?Ўm7D`n lԛF9C֣Qc=3]HXe (fP֋ޞz1 M^4H8ь n^.Yalw#l)hq$%?>Z4C9_8lH##ߎ*c{yA"+a7k"AMl v9@r蓒*j"F;M(Jm-+dΑVzxyūdx0a Y&VՐ{$ʒGv-X)?qKvQ缘+ցr{ ܋AJ'R.c|pVIKRG2ځvȪob/^BAp^Z4x; fDMCqF8HR?۱ݰ%9dz%.6h`]rz!ḣg h' N&7/9v[>Ņï_/ZoA6ImDO~uI΅l|"ɢ'e# %a`7>MTqҔ63iR^q/&N|$S# KWY殥 n\T  P[z'x M6<Lm4vW3ui j-eG3p:FAg}," F7C}A6mކ,ۍtyJ Ka竳6u^6J'rͦor~x!':&Jlhmk_=SAqfSk`g<-zM,i*}9sx6T|֟[[L^} Tݜ{-G^41;ߨ8 Zdܞwmb;廧$?b/2\qj{|f{t 9GLM<7v)ŀe1Kvb)2[Ej)o Ƚ;h^)~$ A"V0m<; ߏ);M%{|כĐsq.W5t84%2I`w鬮 op=Jkn=(/y@4дK=e&ikÕO\Z:k/޺=q# j㦸_I#"ûu0K2qrQ._= j6PA2r]H ^a@yuH Su^֜TуRh.gɖoim]#mF8,S-CM ={T!,Tp?O`@fg"issxo~D)7׮eGƣ Cxf8ߺmЙX:s*µ E`?i.;.ơO+gYZ