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 ee1rL4 ]S HOL-Probability-ex:threads=6elapsed=6.299cpu=21.719gc=0.5557zXZִF! f]ŗXiɟ  Q wAQd&|䚆ja5N(Vx]p36ē>g s2EV3p>M\@Jl42SU$8Z1 i˱@q.{аNͥYMFt}F<ЪZƒZ_`5;DzI/iV$_]SW 䲼{B&gKO@M .[>znoIjI z&iuҍE7 'V.~I, o'xxM.:ޯb& I ;d5t/+ ]Ye%?zWQlqqm>47S6"Z,!T)íkdsE] `C G $OJ\E[iTaNT/li<0_OȱgYZ7zXZִF! ]ŗXiɟ11?E'TSa-5ܹbD[b0V-W)C9?vjpE.tb y+Z"~V]KwȝX/D'Z,Q+tw`ql{> mWav\.3uȱ+.ub*@VqgYZ7zXZִF! 'rT]ŗXi%DPB Eo%I"G^0L' 7W`qu `9yil;@=XS;ZQDŽܺBN2i>ފǑCh$ޭzF E?FJtw҂m%5v%cb2*e[>G2"E?(,"p2ClK @|G*p InN ~l߳Æwoy)Xy$Ou7r"f>> n//Z_^׏$:Ҝec)Y(K/~(56/[b1?\MŅrLNS$CO9r'{Tq9#ʰzZR[uET|>`E+͘F>NcAѼ| p3sXGTZxŅl"խ-< {c$!i-'{|y< ę /^R?F`kۑBH4]Y͉Dj$>֟vܟ5uH[}bx7pjV8ln+MT N1_N/m]ؕnFwO =Ғ )0$6QUJгY4j(h׏R;~~$L|kJKgx`ڄ9"LHFi'3=~/Џ][cڢ#2N`gYZ63cf5a3480657d562018110966e452431ea5dd7b7c5c7e34db96667b848e7c2a8b8524484040cab1 5066c9559403f5436cdd85e1104f600b2f18cd78 1c92969153f41680ca828b81613f4bd241ff4638 68904580aa5cda38a8fe1a954bbd62a6ba07ad09 1 HOL-Probability-ex.5 1]) THOL-Probability-exHOL-Probability-ex.Dining_Cryptographersdocument/latex7zXZִF! 銵y#]N}T':=Q߲mZwb3KzdHֻF:Zޡ;` 5euc 6E;lci/) T`WogΛpəVD..3y`SKgD^vc_ JHIS Qܓa< !@4U #SrPe$sT>!qkX9\ ' ;_-GU,bU D3UV9U1WT*"=Q͵{uM;!rY̬eRQ+ߦn K[MΉ5DU͎{|]ZFJM/۹%l.p@OٰᦉS0l4n8~-a.M&)$|)8ߚ!n4^ӑ몐a0?9z8Gxm*u>1C.` 3֘O%/|0{ÆA3??P+cS,t7Bw=,D5o90L=  ^OҰ~vw~ͱCK$ĩ\ > &s9wlNQcT6 NPeBLGMo%;y tұu[&d[Q݂V^?dJI?8Wtn`iSR{EIu0l1ݰxBjQ}i/;EMaEd!zPwC\XnNVL zd@Co J'_EZvǴ'/t:l^N)Sȭɷ-B^'P}W O5~| ^"0ίV^A;*ķkh] sg} e̍۷11 S#JegA$tir&.$&'>]JX{n\ ;-!B\~qxFhyjCPSH]᎚ e_fWVbVv1>vaꩪ6L8dzE6)F$'P UCg1efzMd]U(&Ho6!<% &lAUzBUS鏟;Em㔌FJpNQѭFPPr60Fq/x8ER S^HW~ ^M@3lcjoBA~AOf\bGt-ط]]0"FzogISEB{`6r8jms"xυ{> 9fz}p5.Y6ZFvYd*+lc]6%eH}yQT:bOR&H<݅ v;mHC🙀_L2@̓ٝv=ӢGI ?cU7xOf m^G^māBl}waqrG|t%~HGx; g'ow(Y sEOzlqX0,_._ZfؼyIbiO%drҎYs57ѫꄤOٍft{A[붼\y hm2XfͶn}n?I om3s`Ӊ0ߠ o?rLQ`H*}@It5BKŵ3@y)4X$!PZ쨰1뿐*Ʀт= b2 @\KefDX)e]#9't_c7i>,Z 򵱞æp +v MBmuI8d*@b{8e9OH$ҝE@ܪIs8O,"_v\ pA$VRf.AX9m4Xd*vκFz2|m[|ӍE,zZ%!Me>k꒏?ۻ47ea9' /RnR#n H x) %Ã˰EĮܡ0o* " !  hv*  0 [ ; hG1Q'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/files J1Q-HOL-Probability-exHOL-Probability-ex.Measure_Not_CCCPIDE/document_id U1m'HOL-Probability-exHOL-Probability-ex.Koepf_Duermuth_CountermeasurePIDE/messages S1m#HOL-Probability-exHOL-Probability-ex.Koepf_Duermuth_CountermeasurePIDE/markup R1m!HOL-Probability-exHOL-Probability-ex.Koepf_Duermuth_CountermeasurePIDE/files X1m-HOL-Probability-exHOL-Probability-ex.Koepf_Duermuth_CountermeasurePIDE/document_idM1]'HOL-Probability-exHOL-Probability-ex.Dining_CryptographersPIDE/messagesK1]#HOL-Probability-exHOL-Probability-ex.Dining_CryptographersPIDE/markupJ1]!HOL-Probability-exHOL-Probability-ex.Dining_CryptographersPIDE/filesP1]-HOL-Probability-exHOL-Probability-ex.Dining_CryptographersPIDE/document_idH1Q)HOL-Probability-exHOL-Probability-ex.Measure_Not_CCCdocument/latexV1m)HOL-Probability-exHOL-Probability-ex.Koepf_Duermuth_Countermeasuredocument/latexM1]) HOL-Probability-exHOL-Probability-ex.Dining_Cryptographersdocument/latex   Rws_IofCCC&(äySBPa>7:ZE'+hBB(<<9+&qOk}3U1٦E.޳ v6kA4jрim Ȗ"z5B?l"ù&a 5K!YP 5[ה.-Ϸ~ɍgs'-XhI9>0Qi[U[hjvr>dK=.vMd#yuJ;%(%J|&q*1El jMsaɉ͔hbhW8|CO;yܱ 4:nуƆM߸gO/Q{q¡RcѿM-O3hnM)ޯ[,s}sZK˗>׭$ѮZ"wDx) H+O2+;5wͭ :$+Qsu 7q؁H"[)jA9G}QИnKnXԿjʚmT&8'4PQQ8*UXyޫ3#8 ؇"ʊOhx d)HKTgm)XT.X ξav>`rՂ2tQ,e~R|PrzO(kt7  6QO9TKv3Jw6C)#@׵LE7pTK:(Iȫ}RQ-ڬYm,7+@l3FYa\ M}dCjw0 K1M4*2d_}R%x e KNAӐx䒑W=?@TJǕW>PXFgԎ[U=Sf#N wog|<>î|f0j-!wB0bX|@6r`kV#~RYW>? X8:Kr s-{3"o^vwfRoepr[_5PCsU,}Yu9&$˫;gY1oRzTK |VnxS aqr}hh?|rxLC-ۊPQ%QYGy,i| `;i$'k0hRx]'=D41\<迻I>*t2$$>"7W˖g1aΰ^0j6! ATiNVX 0;NiACRA"Wq1hpU{l]^T!<ȓˮ3] %ӝ8D`Mo;HI(1Z),i7M5#lU-`w/˵uСq}VGn [0|KN[FҚc=l#PIyP.rؕ0w|>EgS؞ct: i]ĺ2IQm^2_LG[| ]#[5c<9e!Ҳ(|J昉xsX8t =mgME<#1*#>i"l3h"F[!^S<5٩)V\Z_9V܃;If7q\h3Ee'm>=߹wiDs0S,$![G}3\(q_2O,|&B OBԸ4-g`! KQ'VG'OVZ7!Y\Ma M$uֹ+8P  9+qY1ZR"mua>3љP~>(5}4n4R*k1{0}Gn+`%V\d^U}戄]4O`R "aC>YwL|#mE!Mg[<9XaGc7 ʲ>b[g JwPG @xͬέ@QyykCY '5@:d~%$"z]ÀU[LFC\#$Lp&4ڎŖsɑ[>uto\j[2 ^d>dP2o6Jof4=qrI+(*⤯l1#IɕW;iEst?GîF30 ͙n`x ^>,i@9roeZ`Z]q]=g,q,2 ZgDÏS=KF$1%Tz~¢Y&x|c_& i"sa gIҐ< ʤھJ\ K|A5]ԝ>u1]ǃ.B񭡃Cn_$_sjj`RY/>#Op/C~23Wb=;NWd֓V)X:^N Q&h9IYݿ" Ցa2*tX 4+z?%Nշ>E T^|G4cC zh6M.\"9 4h0LI>|G(3U3K&~P^gxm;曉I8pb5C?7;n@h;\Ll Bf/|;O^h%8,}`ФW9ct >-nzEz* #Mqv5*Is-\^ uhyX~3EhsGqŴ[J2^̼h&~l0f{ZZFw"vjbܐ,Xx`{[O4CZlA]5]~HwY`r,DŽ[5E|sxE~B6tg.~cN˅L֬1{B/WGz,gxdrh8T^R=2g$vmQv2RN 'uoFy'{|?1#YE!+t.ۇ}SSaHDV9~~<=ΑiC x8̪ *T4*X݊"84VvO+ -:$81T[=2^.?)_@ b`urt2\́q)1+ɥ£pnY=4{jv~J: d'l?h=]LU~ _jv"9T\Ӄw~?r^̎{V!SF;/fK/Ջ쁕xD ՐZ'!Y kCQ؜N&E*_F|ݦi ?!e<=-ί1 14Ո>OH"4 PjuwM߆MOk~Qp(ŜÃӱ0eнF'W+{(ɳ*%Pn ޠ -*飵ʕlT%yдu?,N4]H`o Oqӧ )wD=5uJC8 xIKJR@,GtU\_3HZ՟chf'|(ze.Scb홤b?0ՔB!׺mU[C=[ȒwL|۩|$1-D&C)¸*ތW K n3no6gY=|ѝe9ΛZtLE.MI'}c).6xˈ3lmW~`D;@|*O4DaY:3SjC5Lds#K%cBu͢lkYЖׅ7wu0GLH!5@M'-U (ʆ?[3b6/@M׉}۩%,T=x2°ބT)0ƒXjT =l?!Pԫv;Ib^t&-R6ܤ\P- ߇ cSG6Qش {9Sh 0>d gr#x&MN3=mcbs'VzYBN";0g4$惲Xݪ WuLPm'L1۝Փ $S:okj!J}d 4Fآ,vU;ɷƉ˫"[;1W+Vgk0 ~bXQ٤8j7ûDw2ܽ=#\LF1+ f|WZ7UZUx3gIRe3De E⯚F*45T#RV _QiUo9k' Ը Jdj4[pO-qdS?|8"PE#G [|͔"+0k#sn/[Ldj9#7̭gJdi +ߋP:z@p;+!)޴BK(#vG+&2z&=𑸶穖D 1<.+`ȈWM(w9xT-K9k# dA^2Yjٯzw$A8> ].4Nֲoe w<:UꚡemZV׎ytg"m(5] 6Ou`9/%DVÃް\prffǕ<`ꟈϨQ0)XJ«ʯezJ*E)2|ˡSs&̹ԪS^BYAKݘ<~i Z cy)|*M 22Vzg%!L>Yr-ma`'HZώ. ]!N©F B b1PjDOFT[~QS]-&G#c]C-3+-nn>Ax+=;ŀ>>si0E^&9eqq0-,2(3wd>[`S]ǭE tTgWY-a  {~T]<-Gd4-, me:p -]т`*:XOF HtEXR9Ɉ7z3&1f |f(&Y+Ŕ-G6J>g E[IRJ]kL[f^Rģ"C?LCphDLÊA>o+J%.I\% 0,R*2"~ՠ?x1K_X7eQ(YR<͜6o!6B 4sH'y cpϯi>!as#-DS}fTxІ>|@gTOVQʏt4Bͫrx6HA $0D)JybK^ҞƟeC/SHa浂=#r*Jj%\,NbYHy &Y<)H;!S需L*3p<E4;S6TR-l#` j>j<(?c!@tvIƯg o4Y?e[d(%}f \D]!zt,#-]s׆x\)pVXfg#`z9 slʷ̂!>uŒ/"e,'RkFac=+^t6=RgC䟳Kv{ÙB #z>B+C,!08*SO׃~ⳎW*Le/U`-y͗ UG6r"c"XNܿ))-:.6XmFAdT<%S7f nNeP(7 b4qg~OLO{@VFo4Q-dn&ܙkA3?\  a3(t҉!WUT srlFG&!;aIp*Y݁+! MQ3qs' z қ/D}]~^T犛^-E>~rG1Y0l鵴(ұ9g/2d1$Cl@FIھ˄FYU%m^Ѵ/Ek^q:݇8,dW%gw[kcBw ef'%)lG0w+W)Bֲ#S> $Plĥ ։IThZeD^D3qU!䇖|7#܌MPőY{2!RK 2@ؠ(L"OTڨP0g't$S4u|iEMˀ05?ԖGY M-F8i1˷r46h)3'=㉚*0_'E T} Gl?)lPS3҄@Q3ꖌXUr1+u~þ0@ФQi>9u-1lϧ25I?'Wq!"'B$Vt錩t7\ ܦV:اңs]l)KA /aGfk=çd}U!,.=U_-m1%; Jdi 7B"_8{.4wfF$F=Kϊm@Sܜ:V@,KK ke-rk./MEQL/W#"[w˕}xӹdO|Րr?`8a3b;R[M7|IUBz$bthhE^ǭ`>Wĸ)IR/ L%#Sҿ`3v6!r,6(m}Jv@ Y' \67K`6 .[#\Q2*RTV M蚗I%_ L7&Hh4gp)یk-1y,*o\ҵW A;e..`ŷ&MQB |5qDʱus@eՑ$kz km+5s΅ʹnKSKϣ~ܤ@3"sfR)gR_:5nIkHq*oÀ-R<~{J@I AkXc`,Z<0u.aEq*3_0E䨢D y mSIXlwx.J\%/&ID8FbmG0^/󲍯üZVibbKbFkV$ 6β: [' FDZJ9(>- 1ހߐwH 5#|?IbU~M Mǫ c6{9FkM枬hW$RSV|\nDWJүĴPٍ_P$L/#rEYtCIaP(V ojqHDOغq'0Ii3%rpk~-X4̕0򆈉)3YBwsTӈW@Xxe1kՃ2FؖoíTxRڈ8y<6WAHMʮXֈI%K!!1i`kUlj؃xnMë(ZZ+^HdUbKRhg_qNֈm>#nˍm)O8wvl^wL֣[@ 6n /gI,G$0v>qy2iHrUA-ns"_"MB0'=x٠0jgkx~pS;7,FR9/8Α)r TOq/f[/øܡ~rl8`(țO뫺}lM #r(rS7 NSUn!h0Q\Rs)u jL{c]zJr1+zόiq3{F{cI~R0>Z~d=aM4OA']H$fQ gFD%~* h<z=_jj%$~lo÷ wlg ??=If Ծeq3j >p$:w>v"Xo;4nےw]}Q )-6 KTYumgCrQt<ŭ#r;Qi[aw V &,_D|Ux[g&3ərHu$ mTq~h<36$2I|tCщ!0$OM^d7㦳9O4ΨK$d+ƫENMTj}LeD AmG'cA5YS}ToSY596#o+8c * K^j*%9 ]#Ym,ǚTٽڔR"}Cd{omW$Fϵ=k۴zw=|6V xA N[8mb")edW#i mBRnc3~=Qg`iiR4_\pRa'EAݕkECG//RZƘʠ=%MZNIy: b J՗n6yCp^SkLr}'X9:e#YכƕXw.ޗJ7ܧ{EUC>c0Kj9S7n\҃Ȭ=G3()O$hnO?9t_.IW\A> E; 11Lƨ']!. \o>7R- x3|e BH~~YY `\X+֕~`'0ʬibA=?mV($(UֺKPDՋgt[a]i(&WzU(H,CC}$fb9{wKbعNYA@*E'4LrNUD <{pOhh&tö:AJEǗ|: *T֤կX,%5} TƖ l%JZ*YUB[{b ̥j#s'܄ y)GpSK@5EEgM^m94)dH\LJ UV/6,gB\/BKK^XNE2]x|~,'>$e%mg®glKJ:+l3DNbx+-ϝ\Td UE;WO1Ȍ~Pp-Cx"{Y~<98pگQ&Y 5ġ x$Ysi'iE:b-`OܹbKh3fNA)l`̖{$X!xW>:?"]VA4Ղ?If\j7b>AGUXOH\IXt^Jq)rvvCf[4Uf8#%?Lvʈ`'f/]e8NQ|Ցg؊2;NOIe{yYTs݌̀2~ C^j;"<C;4ƽmGQ֣wp={|J{|Rw 뫏Eg[~yj}.JM9.i洙nTTn$0i;@ۣwgO,$U%Z;ȼ2]ォqNaF x{N|H^~&}2aiAx!5p8 pNwe @7_б8L-N{Y =֫&d$9*w()'#fZ*XBr7FX_ !5m^z_*uy}c{bb #FtGGt@b\N(oiy.ʇAPM),X`6Bc#hm -X NM'x8W&8ب/Է +)䫪0ok&6VwB8mCGs2"`fmVʿIRLOԜq立{h $ V]J85Th0 K@ z*+y-'l =ͅUha7NtާZ&L ];<ge~{ڱ\ݩF4y%v X53]čF")C~o{(-(IQQJW"pL􄥺hiP P;soTÛH@ HytYh2@'ZAOQ}zտOe"ᴽI$%rC fK1&BR{A]7$>brEn7=R}txf$&rECt 2v 3ΒBǢz#&5٦hCgeZ[H U$%K٠W(h@k`dA FsOv ID /[FzlJ7x묔(Ĥ¸e$[К hy boU*{1C<8~K^9J̢_#]:ɴJV J] S]/7xhat eݍ]iY#Nb%(a@><, #&&CnxEO It ՙY71PiI~~[,Z(Q|d v]Mf~ܾfQtp8ÒThi}w_h!ZΑ31Y/ 6&J <"6J D/c[~cnn?s5Z9:G=4߀bPxPYhF$\_w(|щ$ѡ_vVr*ܥȿ;>ũ&r^DNDjJmslE9䪶F fk2&PjGߢT/£vM<,zJtQx!s'ppEg@ͱԹ[8o!z&0_h}$'둤f,:1jNVyUVj6R [[$zJ tw@cѣ9Z-ڥVkIi%߉h_%z\DUa>xTS /,`:~{ĠqXY{h c7,#<5sA+gℝRJVhl?NdէIKRA F7T]7~=< _ dߧ7|F0UMyyaqıG8tDO_R0|[.d$ZR\le)"+[6QKS/-Q{Q x!K0T6ȝ5%Ws ʮQ=KelN0r$m|KTUu}$UnrkU$źH+q̤FjGI@r9F7>;(c>Zz]sQM>3O 'ڐ{FH@14`)Ss9g)?;(,("/qȄs#dP}m:'u߃Bf`ngWll5.|J@yuC R!&(Z. lUEnB7KLt&. M#ܱ͞Cc+ѝJQ,Ft2]qcAKt-'!L C+rTdvlٹ36=;& }Vvg46|vX>  ;CZ!g">S}G;/#Fe8H`@Xmp {7̰GTpϽy'\@uRIIy$q|^mlG %_\̦%M=_:b}l8ǜsWuӜ`M#tC?< RsIڽ̭H|hg?)5䔀5貰EzcǤ$rP~ډ cԝF'%ZH^vQ"pm-> jA:&m>fƖG[+ d<|\fvOoˊߔ{S:)2:+օ$Ypρʴa7[.<v8u)Q])=؃x^Jiy)X..NL@*[g/pf/Nw-tSߪVuf+ g4._mw8In|j EO}yn6@0 B<CpmE%oݞUx>p2/᳟|^"6t%4g6WU!Z5!;K}'9(mf^" ĝt $i0u˱g&7^]?66ǝtAܭVSr"οĮR|Ӷ R^ Z~4kt3׮DW e[5|[qKE4l{{X7w#/|my(I`!Y1'7NѬȞzksT\L=[FfUwlkE2}нw6ks-fkc񃨌!co٢,`(Պg-r2)k2,A5 oH٦z::L௩!A0"쑯OG)[N8[N&Y:ȃOQ |9$r_ya# 3FR3h>bτl<*"t2^c,/DLBV| x u|=a63̽[FBF"QUuTjh6 %a7iv?0=LyV/4g $WݨU#stgO! ʐLq"}%)E`Emyl.l(ݲ ˔Ek!2F |:E?}WsB:K&)pr6tK䮉 㷄.VM8E+!μOz/vF`߬!@oN`\0j/؈ऐғ~j{Ŗ aRR7r+d~.MeIϬ)f)ʔӯ4c2L,m3SHR*x=#V |O0]BS?iud3w2J)K;0ྍd&`J1#qKWn%Y'aʢ+BuM{j >3Ҕ'&0z7p~UPh]GwƒٜcGX]V(ԑt]EFDa5~f3^Hl]ԍ`7nO7>zޡUnܾF/5OR}RT z䋧Rə>t*F7ÜX#nB^2y/ 0$ˇN ;uB̵+ r~OؒD59fV|U/k|!=̓@hLG10[Ϡ{~js^ˋ+ћ*@ 8SN:o;=bcG9f0v(|?*#ɥda]Fn=6?h!LMxHI|L $j.t,LBƄ6ˁv*2Z%>Bi?ϻFvr>iT,'|~_iP&2$h0 Hʧ|$ƛki|c0l%J:CtGy'MEdDV[K8|^DB$pKa%Vy"<qcG:f,+ \;XB@rb#:G"_!`97֔d +]YIgTn7\M dbvGۄ8:`{3۵a*-1BŚFPs LvV _&i&e(CWg0Uҹz՗NLpnrkeFsy-&u\I_ YkeNِ>S0SJq\8YAKZ6F,j|+]_紞eɈhn8PQ_H×-QHIDŽp:~h!0i 7u(R:QMS{!}p(+bENF$TlU2LlI&I'ky4ޮ{$#"AXH#d& ?IV N_6_f+ZWԝC`!wi_1冺"vPB W)*;&lN`xM6QapVW^J O8/<À!W-(o:2qPjq0<䜙."9@\dK)fڬR%sّzVϑoFE]6-R2ԾamJ䔀E G>: MjΎ++ g-Q#lhS(A`2GmB @xA[TI1%U^EPDd7 5h XWCěE3#M -Hsrqd%bOd\556M'kSs[Ȍ//t1%6l~[]p_`S:(y-rmklԗB e)daLk~X*q><)kk7 ,\sPX88qKΐ5B g%΀l7\òLmr>dˈ0 ܕ'Vܯ"Izơ VHv@^Gu0 Gi|v!4\棙<&ϻ^\;(%ު'ۘڢ-: ؚg!_ۆJ`Ule h5M_nu)tjFGRqQaN1|6n=giQ'׳S1 jd@[*͒[Z1D  dXIe&C.g*9@&T=H$6bǿ-cC;bsbWRexkY.d*eװ$(X(&^g{=ѥ) oR vVMr4r2% ViNK1~NJʢ9>P]9i@`V ; FI ?wh mzzf^fO\\ֿ(=QS#/p{\^nT (*O w{&@fshk lkcU(!AGo|Wt#m}^m6O3 >Qo˔. $:pkgpg'@mI/NcLtx>.H)9=v*“:r"#x-Z퍎ݖVIrFBjw6W\UaHܒfn==eKu"ewaQժ-}gy D?nEMG K }f[57 L %[+zW/,#B<;>I"9#L(3:Ei%ڝmO<)^$Mv&K:~ϦDd_r({J&pĊ}8"=w{0z l6)!-N Ҍ^1mDh٤$D#9<3 tְ#k9d`0qz\J>ET Fړ gqhEk<-JI>6\_s\g /.1 ~Q0傄dܬqĠJ9  '.xe/&mV. Jǜ)|i6wKTSO[Z3`>q߃Y` m%P:%!-*ѨŸU ğ[~CF:F Ģ\ەgpC̲"Xj/ܮ( tǭ2RBh][!alqg.(@bLaD/Yʢ[ֻ FОG7j(Æ&uܡL@+ V=4` 㧚CÊ-=B4/XG Q54;M}=Q+q_øL&ݽo2?pwʼnu`8fvDx 2 b5k 3<zʠ!n?&4­(K?D%c^[d>j:]BT';]6>%4$zѩ b[uϓs!X ;zwBpvS 9?T1XvPsHĶIW e?l1_31.oab6DFijA @h0UD19v~7IyrEXn{Jݾ3y^p;+NvF..P&JUq%5U +{>UUmS"@:л }/vˋݐ.qZw~ {֥(A$f cZQ`WOehL$%r} SVpK*SqLSl^ڙ0T:&L (m/ Cٞ@S\6>;y)p$%(NV B#DE@/}l.9FO$^D0|KK5tL`ᕅ>I(m VlqpK Jh4kAf# i6٩R&Qل}8߯uu&l{z.%x[!9 f&=ݓgz3ד!.?{\'QC:gBξOSW^ &n&aV8Q>eQ0,Ak9h^IOZ&z$*Ԡx$- ~ڨݢcw>@L 8vt P"! tc̲a2*'ez2VX7#5Ȩׂ]]vCZ5ׅ߮~ivHhg}<-ˀ6esfjwGت\Ke ]qO! ]B:tyiE]Fi>Hcgd~VX|@-u}RӼ!xI R1KB㔧$V y縵)OrO/fn=ޒC=Gb3C&]W<@S--W7b\$mY ĬtbiWlB %ݡ}lh\ MAe+8А><ꈎ*/Nj?Ue$ 9tZT%VXtlܺgv7=ĆDήjt(K$8&]Xe^$.%.>=L&o;7!{6r].6{Tk{\w !нnjǬ/}!g|n:nr^;r9vq. pYtryYC|]7$g3 uQw.&K Ig #0ՠ)E*9 5D8a kvǸ8s)y㶳[e7S o_Rvuk!aÔ)sjWtDuE`puP${"avۼL?-nؔ,jXZҫVči5x/SئBrb|Gf[O(cG%z->ӿʉ? N,8}ZamK':\>&^j6k6 p}|o!Gb0vM̸!$RqkXRfBO&Z+rIF̒kX3sU #bD- :$8 1v vpBdE<wlݢepzŽ\ėaX/<᧴Ұ zW G'Kjr{%fX[u3c d0PF-Q K*}G/ꅵЎJٟY.ܾ^(+w|2IqZt"S *@G؊:ZDA .']A i̿Ѵ<|{J'qkXjƃ&d#x0AE-J&HGFͰހZ` +YYy!w &_9YlA-Hޚ*QM\ f7Uc@-=d=RPޑ+2xZ[8ҪÅL Q5wFU: <<92n˸BW= ch/jehb-`߭ͳ~=Z1tbeܫooT.*m{O *ttpj|IM1|P(mo B}X()VuE֎ 716YvܖU3c-agS5V6dySpp=9 ՝jw_@Z8T(;#{BJU\s}.zJ'bޣCvC']/?FK b.Yl9r%59WG/sޭZؔ8JWw&F{t8/O?H"ҨgԾx*Ӡ)j(1`o@( ܽ &;rt_xRKڙ5$V"VG:ѭeB °>]4t^E, `̑FQ툭!A`ߌȊHj:0xA=+`Fu hݔXg>%LB6_qA'9GCt+1 ԣC~M;@Od'${,f8AC}5U"IYTõ\f8'oG6l^LA6|sb! `ۃBDCc{ -12?E &KV+ӆܞ| aIT(o\+h{*_b-2^H_4_m-zce]GP^>iIO<'fL`1NVk O\FD9` GkiPkL%Xk&$\k?B¡zo .)gsVW-'W& xaJu&wi&NF "!Xm9ׁȍrZ",z?4*Qv3f~EKtHFB r@gJkiԂHUYo!P|iKd?Q +!}O"^ |m/cB58͵ OEF.fx@t.5I6Y²|u\2OuƧ|n /d zPmI5PFѷX&ꊏF8H} unLrSo{*g5)I׹XFT&:Cpd4l,ujy&]GΕaGwN-(δ{0%7οӿ?hjdf ln.f_PF jĵ[Bixz9tŽZu[Ds)b;\3 vMpKHARݕ 0EEútnC%q nQ"@!zK gv?sQ%2ݧ7nAX9$T-b !AUZN2tF4(~S(go>`etX8oLoC0(6]Mo2%CkHƔDJ|{fAe{?C2k僨$Yb=+[j~h "7EQ1U^2g$,:?B_b)nT(@SaH+y߼q`yNQ'pЮ SKs`R LB)>sJ mZV꧴W$%DjIό]$9HBsn [dr:]^MٖaKvnR * ܞYYlVjJ)aaXޝM+】 D@9,m?^Q*(X|(sW\}: ޭFmy~>5c^Ki^N_Wځ\Yk^T1.LB֭WXViWT-nmeF^&a빋ORLB꺓p& cYj?NvBIN!S ڐ gknK3{ %^ ܽdi?ֲhWpo))Kne9Z"Θx!JuIK_-m4v(eMޛWb#.saì^*IΛ٣7܂D8|S]P{k{/΢:@svhԓ/Ltb?"-CynI鿐L j N9xμo *`kMԻGkeWpi> G͜;Ջ;  0ǽ .Z%g(3<6&~BhHTVT~x 0oyC &",2(Ԗ60K{v(s,0i1v? {qJSBq 0Mf/_H _]ᗱ[X뛲{݂}F$IcTQGo }ԐB?hsG5 žSLiy) LN+yd 2JOҧVm+1zA\ 8aC0ή$@rvbȇWNM$LJ4FI6x}{L z1NMI1tEooG=G#._6YR]r;Su]VAfjF6#Ū̡\Nk5l:_[ATV+EGSt g]$:5i3%:I Wʐ?6BJ0HC~oLD%POc:D] vz1 ;"K~L!vN3}/jȖ.k3Ӻ3D5Swtwz ښ\T+X;`xm<{q0dQ]i$g0MM z2OZpτ_nʤ"2j_5Q12CMX"IA0(~֙"Maai_Oa>U&滟Pt>`=@im;^ 'ޝhJ0?9Ǟ~ AO25N/Fb30]Y|5QhǸM_l/vM}3U#8U#F-pm yM7H-pn7a_Ti_E!N&n2rvé,PS:b9G7%!PD5L6fm}`KVB!BY!6 1q ɖ'\B^44%((vpFvS@aO9v9kD}eR)&!hiZI )\zLIHOI ]}-\^ r2j Xͯ}F_ZxNai֝p,@:Wp<#kyh|XCs-o&ofBR7U?ބCRP K$m"X<bN򹐜lUHOFu'Z}ݳ  -Wb(O0hu|+7ۛù˺Vj5}nRaS]d)6~N~vɌG0>/XoO)uI(Լ-v$QÅNJ;uȗRE~yp<ű/Mb#}r.R?;0.ț'\4R30ic펻?MGUp`cLn@2 (̑]Oû#ͽ9C_k26oLGc &c8OWJɵ!D6/#-`ơ1P3lJtSn8r(%v;(;xʀ>M֑=Q(][9HiK;q]nܖJswo73 x|ar@H͡o̓6RU;SWLh-r/=<=11zZA Iw$Jm̪(Eu ؐAV< ?P*Ue/Մ|ШAܜ% rWumx[ljM0HG U~IQ uk:S} M$w[z~eҿ< ׂfT:* h́Q}8rP*٦nxhӦ&'p[rbW9έ>26Xl[26wHOe;R"ch,*=M`ИE$ELbNaoyD6سFkOf,~n-e]6s<,#A?[8? !XCc"\QWn:$&!@$bYyy%vywvM`$ύGV͘ ims_.k]USB2d~%q R #{ t\|\59wAxte„Yk!%ye( Kyḫɺ3';qT䫏hߨ+SZin_wn$y6dhĖn E77¹ġkۺx{{sF$ɾ 6 m8{ӂ_\;eכR|>,u7yA&K\X9g~ K睰*+dLG `P7ATe< kFō[.`Ux5c jЩc$YfbʑufU{^ekH~*sZH{bWc,ܺs6{ZO~AoEH|^%;Etxe\L?b٣+~Q ~/@g ϸ b O,>mT\!b ʊUL mJ6k@*= qMq@U Ӧ"\p|U~L9e%#HU xD:luH|b7Bh` *s)n; |sjvxA-K༪siBz2:EN{/v4Ʈ"gfSRp.0͛$R3J/=|>Tqܭc} HIdLhIZ>gL,q5gf߄y0GBX$=וIM At{S&$\)~?ս͖QG!+,k$imO#1ɨ}l&STs08j&={(ylq(7,%P? g\Q6^z{׸A&i|v@ \fZ`W_E9J-E[}5ru4B BuG#BK *k ֤MM{ QԶ14xG=4^XcU ޒ2gfCs vo}Tb+vې]J^C$HH ʿai:G5MhkPo'. l峈3WI#|cq*Zif@X 6Tlז iLi V'O`El0g"}9-*Q=vFY;(LGD )E=4y6}[+E@5{r `T19 .~頚$!|_sE:W#cR\T?s<0EߺfdkM M&iݹQEbrٝ{dwՉ&xx&OdL'q倄knovh!’FXeNsge{L8%g-Ԝ ;x=# ƖܫZE?HENDuV7̓Ùfn=ajiJv)}=,mxحE5kg4v.<ܵ#ջu[9C?gɕhG'P. ݏ p`C7/~S3R%d!.t\/7az9]sB5Lǝ MI/C ;#q4Ͳ NϚ'1Vrh.Avl-c9ڂ4!Y cXg}(AGc(yt28xpsxo?NƔ#ZM蘵7XᇩUʬ* IB+2@w?v}qCRW6?i 暑" =m\|۽C\F5o+…6 e3jf('ۜGOґ7 uXae{=؊bOO8Mi]Y#)6:G%̻ԯ6GžDž 0 'bN6۽lRMed?ڹTףXgi`#u^].Z+֗ˎ~L˻Wxn)Тj!勹E!|t:VH`št/.;9(qm万\"A[mb|n?풨MhoOusp$LngjNKsn4&͟|@L/Rg3\eY33rW$ILڿۿ,%UmY9'eG|#O%-WM5ZܛNA~'6"|aO3OQa؟nUtN }V&m_ÅGQ# ]JRKK7•w(W ޫ^!2bP_. q/@ps^VoNG;R Ws#eb#{GW!Xp#}ɸj%_Ws8GoJT,Ϯ(s&kpg!g߸j-IJ"L W>̅(`*J0rBɢ43 *[?EPr$Erc/c\ (d,=4smm"N5ɤNqz,fB+zVb|ucg@}jR6;ÿg5I7][y}:Vo[ e쌫L\3i`&3-ekWz=\v7B08E 4I\C3sD-JEgژamV\24ΗqL.F#YN˚V¡%ͺ2e"d.UhBb ERroff2%y';1j,,OQgdTF ;O'0RuǿXQec˘¿7«Uϵ=B!>?YAq,d~ѓ$wGT&QPR~ vN,W3SƊP8F.Q WS j|xJPMcw" {rwOjI "C'62_TdHz% ;c3.(+f)nzOGZkI 忩J`/:\g4p/l|H!MFM,6 .1 Ь3=$kG":fIhA-VƑ`1 DE RYG[:Z,&zqm Єpgu M|:C&ʄ EӢT/Iƺ$uЯwc- HۡwHd\V#zaGIB]Z0qZG 6s?sKm83 ]iH.E_U$[ Nsn=ŔPסּ -<0ia$ k*r2_a"MKRJjnB, 1`dS@t<> nO{N egӌ5$~F:V44*L% Og6WfT;axG. K,ْ3o53Q?]I@qŗ<:jEp[O˂? #I'&O>$@.+TQ3?hnjo.; ( JthZȴ!5l7(O p&=Uy_2B|-~ul`m_oDH3 c]sjX\@? hG*lΏپzC=t8{\_OsX wߛ JkMh XNYUmR$|gc,U*iT>YW 2e5ao_NT!FьEntpcd]_I0sAy}3 g?^A8 ߑ1}A7N2.jCB|[ze;jo|GńLBOOhr<, 'ܺH#2)e-,mMV1/v%+e?>/ 6/ܜԵWӈoZK,qj~yrQ0G},!YnwTO$ 'f. s=8+؆X!xdzF+-!-!KZTp@l<̿/-#9t ޣ0Sd`yX5AaF˹8WhZ#φ>Yf/E$zG,)9Ԁgxpc%&*a$3n;jL?)7eTƗg=J #,`-Lv!lxJ "N0Iuwz.EN]PY8LDh^4`Z 3r(8cah+Pɪ@689/ÓHsG9^yy5 m)2Z~AP]yZ4uvFY/ t "-N4Ԟk4p!LVR'6;q#OĹrmSi0i@l 0JУ^mxM"HI*t@u t!>Υ;Lxxerj B4(IhFDnR (Wua A;}4գ#Gt ;di3D_pxjԠcjb߼(&Ij|̼`A>r&ЉE/TNS=# UMv1Tnd}rj|8' R4&-'RI.n&5{{8vf1Jy^ n=ZfM [?|-0Y\9mj=J&b@V=q7! OJ(h22MegE:j\ekk|i1W' +.0rE-XMt)-o> 8IĨ e0Ƀ:~V$;N&viDs-OV)8bX$lwGLn=#E-ا?queM=,@#džn<$ھK OF8 tT^|W98a⾎鞯vbm?\#CNy#  ״K>]  r/ ĻX!->5]??$s[FC.Ka,!"_lsm}'GAk-( / ݊0o2St>EuWoOYQdkwuiM d%xƋ; J-5ݷ|SVT&{jLn=qkF2̿?H/f A38ze7B:^h (W%ٚ:Ͷ5u-:[ 6`onFbnv+1J͘:}#I~؈zEz&, 29 mͺ_ޝ}Ų1ƹHJ~v,'i[:ahm@#9l\]PnWY*L K*;k>94Q1S2iv9j/>p IvafOF41x܃rM#jS_c,mhО%x [l´]~<մg{4nhzkbV"Oq;o7moֻm/Ub;\Ʒ/SA%eDk?U4[ ;fcvϩ?+3K>tt:4p d&)6LT#2o3{ hK@D<9,HYҿ]]gmWd=b3ch\of76LP_,Ucyg{0|Gdc=+ gi#~|tsY[ 0[B =UܥW e &.`'u7L:mx`]KpuQ Ӭftުgvnb}-꿄,wcW=cX@w+Ϫ}d 㬪H ~8=%sK(@h0̵Wr}hbq<"{-ܦ,gVMX{Vފ3-xU2.pć^TEfvǚ$d꿑*{kQWɺ Y«7 ;bB݇{&>4~m*eT5}h1G]OhkK?˜]6IWuEǦmv=# b2d@ҽ,]&X-WЬ|.h}7ҺG}o ;YZ/.E6{bsS\Uwưz ׃bmHS%WcbLG5ޞ|,z`2/;09km'wasRϨbO$C܅A8sj?DCfZo0' dZguCy^xnXEhA08p7ݔ1O礁 <̘dVOi!9~}]v?Fn-l\Yܰ϶^:-S7OMQ⊸/yjf<%%R.Gg(I.r=HUp7Ĩa#v'&^L, bP<.k2e EOڂn F]O!JFs޺~n3s$LΒyet'6B7?`X|\'jWʍryW'2:i#斶sRGzO@_ׄ*oYuy>hEaO'TG͵&%:Em>3O^Y ZA/;/_@٬@VbwS#hiއ'f~Wr9IVlXN+r9z= dsgtQv~#µE@W)L_b:?GVP/Se]l#\Fx̎Q{XC1vၶtqNϮ$;!rA,(ClN A5tnkن9?ԹVǃ<,|I$C\U_4un!inBZgZ=͊T{^0uF0d4 Ģ?$1W2܇q+HB`RN- h)U'Gl1oe5#d&Pi1:/>6=Y!1b3?tK0l'y]X7D_ײN'yqƒ<ϊrGrO8Χ%]4̱D9xmq #w*z_gDI?_Lg4ғRN0,%X9fM)4rtlTEH1:izrD_-Ժ*$cl[וÞeq6RAOЇ(ݖ+Af+@^8zUANM:ܦՂ)'Gh -L gUc*$h"i4 G!l"j.+\VAê?T|%,P @ݞK-Q K[7䇄 mZWQ Nk_㼺\n _Ke﨏]ˠN>QL~F/RG02ooYdcz8UM9z_[|)9.~pʑ ?$4uCۺT>5FՇ 3s*aGe kLޥ0$IQļڿ? _==(`o\*Pb.~1 I̽u{D_.%[J]Ӟ8ӧbYEE-oo_D>qҬXݏ};`rӰmt` "TDj:&ed 5K,[dx5Amqߢ=KovQDGzEHBk)MmN:=DEB\ GS,ChWO$X65/MwcXLyuM$ͶX[}"Mw!i*+0j*FR`BoF~Y#hLIԎ5(#)qLKKk,T0` izdZU* *pOX'b^L k?+"a%7*Q)6L蓲} N̾ؐ+1*"fEI,3 gc/հ\_Х?g!rsWΆf[oT*HsHL-ȸKCrg&0c$- qÉ.[Z۴os].4=`+ ѥ[fgt)1|_q]/4jf?,U׼)s y P+ MIVa2P01?+XѮfv '򇕦LQ[*D*;v*MR 3+Ȱj;+ J ذ@gSIo84VaXʥu ].&z2TԖ叅88m/!#e}] C'x]l7wU{ҸWagņ ƐBnvc9/ Eh4?ra4.\[-=Ɏ R'Q]֝ y,$FiJxOk8Vdh/=;ƁJjj4Π~AﰅIP\R GL&D);#_j7{Ëg2\iWooL.=#T6.ƓlAF>'QܗJ4CU#RCb3hvMiZ:wC4 [3xGhG?Hr31z6gOR#;,$?w'X>4k±#A3[Mݙ_g)aX跮Sm+ yŸG@,5$ gw~bGiS+DjAaMp?jH[xy"b :{ZVp36;P~{ZBkA.<ng#!1 4 ry…/قKB$lGiآҲM zֹya|۲BJӘ.$v 5 `Qԑ0P1si(hم楃LA4F*; +\VRDƕ6y@0IdˋӀt/4B]\)8"8{Eθ gnh15sG:8CB_-E`}ݮ-KPK𽔻+W\(yk-M焟h>r(P<-KTώ+}LB|L+ھoH˕|}]h-`SO_H'`j+=Or;rL+J@Q@0Rk7;Eź&e-49ǍA;(H~6#8ÒB2;V?̝#u!MwueJ7pROUv($\i-"'Z5 mIJ'kʫkZmqӤQ|-Tow]rM &K!"uFu-jbhD)+7a;V.=tvV:!N$rt:-'zvIxÍhFi>GٞYD ҼCh.qi ӒmHBtGW% e f.] G?*/9qb*Oy|h~MGc:HqA!l%E~ "Y}LK6u_tU,>o19$TU)97pX@C'M^KlbOú!2k$|I="+oswIڽoNm #XJCGe<6r 6ѕ19ߚluߝHzbT~vl,hVA%'f9{y6\*[լnɍ/ކp`ԚBO7O.H4+XZlq 5}s8g7Ib\O1n:E _fnb`tjSɷxg)6]h]$ #Wӹ%;:e߅i~N(w Ǒ@؉͘'g5Æd4ZGV"{eyʗA:Obd8,>:lNzO'x3%ήz{TcYiحxy= 'ۈ]L%4ȃTd;:w/ʹ6`d}'Q7d\~>3eOn4̕ZwDԻ(VQ.9 x;Żȃi[)5SW{^b I5Q$+7'R{i>RUwJ Rl ho"7iDجmT슨ZhzB/dLL%J@R 0yiA7P .8Sd."EdUE%h -nd)^p9b%Ŵp՗@ He[ث~tO`LeDeIqOHPٕ/3HW2ڙ9ƖY/QN<[YY;\mmF>}(5!mќU]?R~IHXzDWʜdY n8ʙ`Y;:2>P/-qHHp I>N|-Sॽr? !N!xN_o0;A5PxĿ$բ;ӈJ6<{s?AvfOSs]1?e ݧ˓-$H{u~Y~ *C]Pm\IL`nlkbIkq I:]_cN`J/Th~Mnx1>/i6ur}xh\| y5'"Uơѱ8H $3ӞkJd^fTS;D[@/w & ](Ǎv ƌ$$QHU0rUzdY̽+`9DC썌_ 5xǙN`8_ <n*V-Fzb/`hIlW"Wr`%[%N5GH*$;1WcwTQHQJ˷͗%%cT/FK 7/lByܗ7 lBAwx7AYH7kDM\?7 VpM Jh!Vh&Qe.>E#:Ƃ7*V1͡Vbh}u(ʱLKy2.>ʷ(Jha$d?{]>Ɉڌko8GBi?}IyLwv&.$osVõC7g3HU Z}T3#+m*8Bا̒(jQ-QXPR|? \qaqDg)UɠehX/] $j I%0x ty0rR£H?ĶLQY^p庿B2`y7mOZ/Goʃ\XvBPK}Ț$pAJGOm)DB?!P9WWrIdྦY+D孅_A= G#jB*p1#unxĨDž4@@΃؏}δC]q %Zȁfo๪i d▹ϕۮup*d_y^-7ڧǮ1Yblޕ!Fov؉Pȳ_ϧƗTdMHlt\w w6^y/KpydsJ.mFzi2+0jZ Q&Nnh>,1 Rُܔn>AJ&eWj>zbm#Yl)\:DJk-{D8Ө]qOZSsoJv.WJ`˃ŁOV$Y89HX1JV;.[8P 4z;~xZG&QA {p } gi}8,C/|J{SrMv:t;bPVZ<`̰6TB$x |lDp1^UɒSj!`F8xK\c1A۽UW5k>/&pV~,o3Bs1$"]YYa2Jui3N+qǒҵ0Lz{?&ڝYz͌>؟[pJJk1u|_R1vҳi7zc(4df'<0s'# ]R& gp^6x޻Q\ M1UkkeL{zO0bg45Mݐ.zLy޲K[3I1G3*R8(;EsO&(lptE{ `(OBVdZU1taJpw71}wcX @5gl de8j_Dlv8n 8;Da M7ַxlsz6|)=Of`Е1ڭ ٣W c޵r3ߓHeU7V)Y'R ğ~M>f6?*$$ʛpkJYimbƻu>pff7D0*~]"/H4ՓifVUxpũOrzT 23K/#PW0`g}I]sP~yq!ԧVXW\ {?wٰpEϔww)Ս]b^+ T/]O'Lk+W" 05m!u̺ShencOIV]!L1S X3Z@pdZDCTe_:/CRxΜ; {5̥J!͹^SZIAu0"!>i. _y0dW]i0T:A`BSN!=mMi@?k;G3FmՃ&m0KyZԺc27vBQڱt$!cP0rF}0u>f([} >R 40L#;;m* %r*OZ1piJcFUMP~ly֐D;_ K#hsO|PtW_!4 T sSfL‚5v%K :>T7FC,-S΅TV6#wo`]՜gle)OioV3ޮiA۝2[X|uPwK# ĉr0E^cCsI?-,cl*S$M 3(cM{CCoQ>tc]H7oY&.Z:8(`u-h 'L1O.̈́ΑiG֨\TCӊ@L "ݪo;{?NruQ={?تj/xիa%Y3J Bui*7{C")9=qK8Do$XZeYc#}-PoZ^ﭏ4Wό۪]*b>Õ*W78lt?_})K֓zS(R! «mh%"K`eTZ7H?ԦɡrU⭸:)ݑ.E8G=o`%Խ!~D;!NkEO.m[*E)gě՝Wbq: m%mqc ^r&\WT;M&B<qR %g̫?O{\mLn*\982#M75_Bc >)]-l'^Btxysn)_5zӝg%cnǀ)zhڕa\GP gwJͱ((-9)qGnN+8kC-yb4.OU:hȈg9Pw0(r!; fZ4Vi->vZ{9$ j'}]kU:ۼ;- y&v LQG8RJ_j9쳓ehc( !Lk*fGaj0%3!DQ_HqUVxo{*&t_2瓚ohLӁsWCAIk8v뢬iEb<92>.@,nZjh,]\bx"Dբ cXN,KkoLة 31+UÒtYܲ J7,jd֭48hsda˼1}dmh`6a$*ZУ ̮G[yM3{KiZWDH-ZHS'+0;ÈL#eyz#L -$-XI!tt j_O`V8WGvr2>/8n"gQ&T` v^J༛+^z٦y<#$f*v \7fyY=Trܕ:%TU]ΨБG@ԧϏaIVb(r;, )vV4$h<M'{# })K,ʹ94U[kV\۸IɡPpYcr S2 ܣbI֦ wAb~9Un)& xn'Hf}C[;DS02H0Tf!ڼ)12ԁ<} !4wl~(D,BcBRb A~ .H1.ژcֿ2ntcA!8՗aetb^׼\1f 'zPHueۼTDܷ!'YeJp%jV B}R-Ns0p`"p*v|>&J ϵSKơҭOt>Ɨm} (e#"Mhz0* Ij9Ⱡ.ߙP4XǂtՓ4Rk Ƣ@iT~퓔S>XoN$XY T4JaH "8w #Mu,œ6]q IҤ- `b4}LkcH2'R3Fù-K!J xxO{ja,ǿs׬VݘB2^w8h%33ڿwpSXQMZsLg|C:Zrk5Ś)6 M n,omd0s`+^$)u \MzO!ܽ!sdU%$^|~nh2hy/Y6j`8^y%ƒ, bI~* tzzg=F_F(L R J!/@or*v s}\Cib!"Q`c 96|{5tWV4ҵQ؀TǐY_$ul7\IT DbUi' mnL`l[㣼b%!:nDvUeR3,q7TˌD\7J:UߣPjI%`ňhj>J^|K S3O.C3Z40M^Kz_MAvfPX(葸M:i@acRrZ&8?hg\/&sKC9EhDW'-9LKh4r=Q7LE4Vh9/SbLSgo|p{S eRJ[LE+h|GW߲-K}WJafQI3 D^k6עs ϴsx2z1;SFFď xLzXrmvI@g[y$Mʈ7!cU; LܺQKچʪ΂<#J7뷡8˒"z zc7IJ {]q+&0N//abojЪKt'\ˠ1u,*bqQ;>T3Z)}y2v$[as`i~]kX$@;-3Q#)5bGj09 A ..½L\S TǚM7$f5zc3#_:6%!`j,R\"V3+ jd0-?s@ !J!"ptQhϦ(p%*NW挄q>Ș炜R橝fқ/eo$p2it'udj VZܝی7qv- Ỏ\itHe<\sVđ]L7pX6h kWRߍ%" 9­jɤ#6g ]ᨷkV %3QɚmT[<[ :ʉټ,eD6M$NH;y,kNi]e/#\)d-N^, d ^!{*pπ(!E_Cz: u!| iOT >I2KRWt&x6?؃yC;4RY<~c0Ncy'k2l|5)z Թm6JQK[6Ƒ(uջ1oKjH*.I#3)TC0'/{/7 Z܀a*["- YP6>n}z`xb_RRvNj擳A%QMPU,_P2}d)zG'ox c )Zv["$pwd{AZ;1x/:3\+!nWE:tO-}2IU,pC:]6'8Ѝ&ٻH\d3ISwuԤh?Q+I ,rJq^D)axma{'oEMpJӚCMKP9_tLfӃĀ gec)} `1a%38t4A:m(Tq:vϔY2@e_p:O;QjeS>~*~}q F,, ccLd .QE}y\ˢ;%r)%/ . +%2k<_K=ÝpO 6GN OKZx*@og+f%=E層54%wR;C|pJ@B!-~g{CLD\fJ(eGEtp{pBT='/~R}z暗IpQ58ZJe(^/)`5ڪs~ NA`SkY"&"C#kdFnW= RjnFbxz2@X>iBX+(7*9MC>10d.g&,VA1ZkF0VbfIRLrIr"1}4UWFgRF?4v)V,Q/m3wGިW$3b!\%4(|]ڲ yk)\YiEd^9ZzG>116^b@. o T#o+Lo3Ʒ$J+.mWmѲ;z>.L&Ύ|躝)f~dU"+ԾO[va lal Csd$k>3M`u` uMߧ35ASʮvw |^O2}(("~E/w+7UW q,AN뽊46-s˻L-Z" L!%C( hO47 %a*Ez 6g`h#a%ܻ0SɗTdB0-0F0hyă!AcLSYdW%!i_:d[ ӷ~3ЂVp0?=6Kiӓx!1(rE IgH<yU=X6ğ~2{7^U70*Dž.Sy8fh{hGL8K#Bq8ע1 =P2Tv}NpN[ .4:9݂:^ZFU{&j<՟=0 *?2QLnbju42. Wk?/~J^f0^Է֗aEEaU{\_ m/+ %S ;y2cT~55PVWjIF>bB(jCb4 &8e3i9Ej >#A{a -kFT[@,7)puVr+0T%m )kx i|DAVRi/W~0CKGk-OhsR939()=r-x %͠.賘MdU.}3+5FK乚_Xٛc"J/~YּRQ״dy)g{݆X`6W4%5P^̿8Ϛ8,)΢ZdGہG>7hs6VdI +|_ @`X)}u݄0='ׅ*&S'`o0NiW`sC+Z%a4`ĺuhud_x7ˏ Ftը*vx~ uT]>J..ou7(O,agfŖ-H;%Q~BzlcNX-q$T5*YiKFBNZbU3{ZoO/{j Pe6 !bW.X?1%F>0RM%tb׹Jp+ ǜLS%FpJȃDB$+=cn \,H}B+8j=9RȜT4w IǷհ,t,P4{UCZ nі` Ҳ)1|-yixjNA-R;MJr[d؋|0>KZY)`9s2IFV#d5ߨky?џ|H;*5Iٍ+jgYZ ''5 1]) THOL-Probability-exHOL-Probability-ex.Dining_Cryptographersdocument/latex7zXZִF! 銵y#]N}T':=Q߲mZwb3KzdHֻF:Zޡ;` 5euc 6E;lci/) T`WogΛpəVD..3y`SKgD^vc_ JHIS Qܓa< !@4U #SrPe$sT>!qkX9\ ' ;_-GU,bU D3UV9U1WT*"=Q͵{uM;!rY̬eRQ+ߦn K[MΉ5DU͎{|]ZFJM/۹%l.p@OٰᦉS0l4n8~-a.M&)$|)8ߚ!n4^ӑ몐a0?9z8Gxm*u>1C.` 3֘O%/|0{ÆA3??P+cS,t7Bw=,D5o90L=  ^OҰ~vw~ͱCK$ĩ\ > &s9wlNQcT6 NPeBLGMo%;y tұu[&d[Q݂V^?dJI?8Wtn`iSR{EIu0l1ݰxBjQ}i/;EMaEd!zPwC\XnNVL zd@Co J'_EZvǴ'/t:l^N)Sȭɷ-B^'P}W O5~| ^"0ίV^A;*ķkh] sg} e̍۷11 S#JegA$tir&.$&'>]JX{n\ ;-!B\~qxFhyjCPSH]᎚ e_fWVbVv1>vaꩪ6L8dzE6)F$'P UCg1efzMd]U(&Ho6!<% &lAUzBUS鏟;Em㔌FJpNQѭFPPr60Fq/x8ER S^HW~ ^M@3lcjoBA~AOf\bGt-ط]]0"FzogISEB{`6r8jms"xυ{> 9fz}p5.Y6ZFvYd*+lc]6%eH}yQT:bOR&H<݅ v;mHC🙀_L2@̓ٝv=ӢGI ?cU7xOf m^G^māBl}waqrG|t%~HGx; g'ow(Y sEOzlqX0,_._ZfؼyIbiO%drҎYs57ѫꄤOٍft{A[붼\y hm2XfͶn}n?I om3s`Ӊ0ߠ o?rLQ`H*}@It5BKŵ3@y)4X$!PZ쨰1뿐*Ʀт= b2 @\KefDX)e]#9't_c7i>,Z 򵱞æp +v MBmuI8d*@b{8e9OH$ҝE@ܪIs8O,"_v\ pA$VRf.AX9m4Xd*vκFz2|m[|ӍE,zZ%!Me>k꒏?ۻ47ea9' /RnR#n H x) %Ã˰EĮܡ0okd-U`LqϏlC Y 1m) HOL-Probability-exHOL-Probability-ex.Koepf_Duermuth_Countermeasuredocument/latex7zXZִF! ]N}T':=Q߲mZwb3Kzd*۝ F5{]nh}s`vee!w:GP.$([LC!ԕR#+ነQ68I> (ْkAk0!!ٱNSIc| xYH [Jf>8@"ŻZBto)|kTN=c`8'X?@cYz6L^O< ;;wsÂtnrvw]FFM̘wřvt&X_l?39&][m8g?$)EpX*A>[ N֕CUXq!'KTA0snb^Dw6i [zЗq5oۚ{;l'(j` [73B_̷EDQY|~0";߮yx QP/|# u*noc@ٟ߳#=kYs`Qby_4p]G[jlL=㜧XfN~" $D2FqviB/jH)#j%\9NY󦹬b:z,(^N(G1`@ZFt%)ȋh`b\p]r5XB. jk2P=NِjcX:ۮxnOuJ"6E{b:hf)q. U[pi3y4bu7k;. a(ώ9xmȫqtJQR)t14UV*&;F30aQjD{ [-1Og)!"2wle:Dȅz=**9\.e+grmeZkLJ[?̾9_!u t 8baCȊ/9EڡdW.'?1\T]}U==d~7ٽbJ@M `)]Sg٫?G'vvk\*¾k' w٢b% .1DKtB[KU^/8d/YZyIp raH9!B>_= {nᒋk}wѣLoR)%?dreB!+'\ ]Mq|F8*00tp1U|F b#rfTu-t*הoK񚕘"enn9sGPKO+,%;!̣v .Am!\uĥ^"2l&mk L:@@>+XHAO"Exe;ʔ`I9{9'3!yRډ`m"̤')'jɪ4 Ӝ՝3/=Ocj%Jл{ ,L]DzCnM= 9rYhAĈ&f͝eGs"r__ ٸV߇R- PwU3tb$k~UK -(Q65K>怲Fg!stշ1JPz0/1DP&le;keQ~qMȡAPvmtL>F -j9ê8CuJsp̆*jIe15$L % kkګ-wyswQq) m@ ~BCUG C$I W;U2-vJZ8$6^Ms|\>9YD*ZGӓb}llc. ~ Җ~[ʙ3hXhnlT)4~x/a+M܆LfRofۘ>wSD"y]N;e2RX9ֲ囡ҧlLuWCy\^}v񕲕A SWۥs9щZ,*1Mö'v-oERN1s6Q__ zn"ѵXkqQ?@l[އZ$-e?#5uBt u6 ӥk B7GMש 't@B˭Z=s<;K|adV#S vF4Up%3<1JuSgn&XtqjqR| S§%B t"6+֭Z{sw#ۉ_V!2s*i ?8 JzsKPOLiKĖa΁V=սsؘuu <$VW:ŵZ^x"-).>>0/nV[qrڶ4ϭ1"z61!tm?96e sTr~:tbv< JF~MQjxQC~7jv,X hdŢF7/pM.(5R' B>ꪴpc=Y!YXjFqNS E,U轉\+7F&C}qؚM:#v~#OuAL%?Z`4 IKe\fuXb6قԪYwRHEg3`j_ZBV.BU\M C:nڸ kp] KgO PIa_ 8y @Q1!06*>5Jff-[s82+J]6v7(ܐi?_: 8rہ;?P`%YFalw :V[^ v5$"P֡ Dב7K+-n0*+4pY;Nݶ2Qڄ#=ptj'2G5:'7~gBQ؍J38@-3_c8ˊ? M|@xBNϱmIbWadbyK2$9ͥ2Ƌ#ppm[oe4[1]mH)|e̪ؠXN7BsNwE߰u1&ʔ!pޝbHչ:"^UC^PVv-*QfD2XJҘ蒜Sq}#Oi%Eih@u`0+r_'(zyp\htrWH.Xw4HB  0Y^ ANAq (a|-h>^:anuuHGfF3K,>^<% Ro|KPxӊc3"mݠ cqCDYAI-Ľ"e' %EQ^x+:H4;~C9eCZ~[c$\ڬ MCc9 Q {WdL\rJ'Ux)Ĕe{ӏ!|4Ӆ%4YyD EVc|56T&H%,ƩNi hNJ=)",|i?4/^HU&Q%[iB\cȈpɨy^C_ӸQ[KW1hc"qCG 'B·1s`DJg11$3CSTj6M[p-4 ;QFHX*<8v7s>-tC3سT>┽]p`%kR2Y8fi{YʺTцX /݆[E=BY>Az%JRD`EBnwd @#Hln'6ꇠnH-,m܈' (CݟedK# BG)Ah蠖MMo . RvB&̒/_I"ZZ4 mO {4UFn@>kNսM\@s3Ža)l}`6NBrIЛ4*U!Xcl0) 4}Q+X.݊-{+U,)tgeCn=^h&P܆+& Yx"zoȿ#"tbs3I|HkB"Yi$RKdq*'{;3JOkX}nMK=o!LNҨ~:hM-_[.n ıD giCf,.jQw^<{MA.zU]̝.}߯_ _t&V YCgf)z}5oAwR /=slJPT<ηuQm k8UjS3s$8 7~xMջ\,* )H|xkЎ5$!ppwML@a\@`*JjIJgBp&t-v?$ǰCLWeYSodnW;JL{og[[8t脾IPY/v/H/d3Aƫ ,H(8$m5J(XT723ɇ3"O<jNE3ۊ:ة7G1bXΘڟlMe.zQ;wDh,n-kz8DO@zgMQxO芾T'2e kcn405]p$'O`ȫtg+Qnu*6b]}Ax#2'NiSZ ᭏bnqc Z=8sX7d{mQz$An!J E?k33'u\Cd~!羡>N]-Q@tEtth] PrZuxݔV=: 5K^hKWd 0Ѕ|mP?$tJCx^Dz%掷A=tif`)*\}b'2ƝFȱWB%;8)i S!6e|̆dWt9x"rh~ok^:5힗 2f۪*EӄLv7{Ll-~3 N]ջ-!ϳ n(<'+klIw{U,?H6WԽ6Iv~.дv\ӣi d'EYN "w@8Jx_¦+8uB w ~Hىi ,Y01R3q n8 b`I޺_ۥOCư"D448rFxKm#MFxڴ{S"qm24@\  bӎVTQ埝u ɽZ+?#5޴+l+SD&,U8Ro|kwE| [ ¹ȱgYZ 0~1]!rHOL-Probability-exHOL-Probability-ex.Dining_CryptographersPIDE/files~~/src/HOL/Probability/ex/Dining_Cryptographers.thyT1]-HOL-Probability-exHOL-Probability-ex.Dining_CryptographersPIDE/document_id578k 1Q) LHOL-Probability-exHOL-Probability-ex.Measure_Not_CCCdocument/latex7zXZִF! f-]N}T':=Q߲mZwb3KzdJHRsQv|k #tpHAQɤ?Aǃ>$!&0 °sC~者_EpP@aK6}̋^۽\hr~ 졧-&&7PBiE9R079spH@"3p> %Ċ^Rmx &~k H%.`Wm_ ؠѧɮ}(Z৩$I}֑ Vz.(k|9QК:ؑLKj=$MYoV$-++]m`sL [+[W+YVEqp<#OyY;gt c=+r! 7=>qA7zJmAO*qE[H]=CYpކNf#̰7VV5߅ݴ 1ls 3Ǔo87&nya? ʴtTj@v=HD(CMX]0"G!FK?fѝ=҃VZ a8eX2rOk5VXqHbrT3v̋,zmR:v2P-جrmnK%?&϶vEg!YnZS1N7ϋ`IuKa9&x,:Kv<?%ޘ@8%]]p3gpU7Jp&UN4],w6AH(ZBMn!kyr6J9ʹaV &ZUvC&i%L."!&۸bpXԼ6ݼM3C,IVvq*)>cY,U`mh21Ŀ3U\'=z$VPn=uX6@u|$BY5WL@lN-ƋosGTNhA3{(BZ]w_UĪ}̶IКd̽YϾ1bz> G'hIގ(yQxZјfweO8LlQ}]-¡Hu+hJqҎRzcUi-yT-I\8ah pcs"02qN ߄/M[HJ+2!yZ!mZP"& 9kwm5\.#óܵ:2w !]=&C?9vOIk+ 84&D4.HC |HEI*TF?QTi ܶ\ ;rϪK %D{e3Z>qKSص;PG5ktg+=V@"xN/7謦L`vϮx=P;? z(y0< _ӬAhH {|k%VK>bv6*"gś뢖UT֌ShD/mh6nrxG۹ qv;Ia80z v '7{>̲HbM'S>8:W (hVHqf})k?*S g +txSg0]X:|Umb:O4m>>}D ;t#QL9x1?i_l#eK; \3 shFP6/x˙*UFE&L!dK+sBl~$DJU{N{E6? (e v9s HFF%+&\NIZ"iԴ9S跚^6TJw˛/qQ>ip ƶ&T_DI(`ΕZ9t /^(ZI@Ol-vyDQ 0_*P{و@xA(p~ >7#p C|rT> S0ODeb46]G&ʧy=дyV0}OF0$ z7ߙ77[oi39Om7|a'~FhBi=2#&!Іm輳U*̓4WH5Y\zdV]mZqAf䣃`kpw꫖Gwȼbcui.Fm}ˮN-iႜDb-i ?eMFUm>m=fW_ks/~7p^u TD<| xْNP8Oh/mtFD mv' 5ۄP٤eum3{%]++RҟwWD{fH6[8]sid ?Hhk<?T@Ord2 v EO=Z0ia} n {;h8F*oAlb02,mVC{}lEFDdo#!+hLYumi ^w4YwKjO'# !P&9OJ?ùy7y@^3ƲV~h%4 䒲!vkIMhֽ^5*w.*M r9{>Qv :lYj:u:w.B^JZ}{ a>vM0_*TW3)ȓжZmЁh~=Mt1 5)6+rdt K[Y\̭n>XC HMs ,Ȥ~H{ݏ?vE&dE殌6$Sc1m]bs_jS ok RM:*r0$ӏ>hMh2C*w}:2*eZRv9bp6i08A[bq zE־yG ^ϝ*yrʘ#b)& ='`K;&Mz3$cgM>CbKJ |7߳)B\ bY5O(*-y@w^ZX("thuN2{d\?軍_E6ڍL~PЈl"̿W eM%I9 0 x'"w{!,G:*Y%n"TQO2QkKҜ,Y t0r&!}6dv9'Xև~LLn"-IGW 1G瀏Hx H"z^.Ukt)kGW!-}WDR[dfO\JɖG~&QL-~0r Wǯb F%"U.V6eQ ߊ*z}F[',O._2lhߖɣ_X/wV ,a؊^Wt"eal^>TQ+@'g(CُѶ &/GJq!Ÿ׷XuQ>;j8;;L1kNüCȥ4>3Em9 ( 3#JL9P;XĴm%m=?Aiqo9iXU>t;rŋ"PS)NOoyK@ukќ/ '[LǢ[-VhsrM%xNw* Gev}$q~Hw`oұu|+_kKJua8QxWF)T{,)HtO(dIDwQ{c#k6 pF׽%DN-1(_v :Ǵ|ϓq'1Ydѧ'@[P|>[YqA{S[qNprtQ_i"&E!` l)^y\OC:h[D.uG.j:ǘ{%Ć8e]nvZ2B(ܿ}o:nHѯeMQ џQäqG%]w;gYin[T"$hơP=2~*,.ު*`QxmED@dHQװbX.xTM)|,y{my&$&Fx frN0l.]c*XAu^ cpPߤWMr5-_YQU f~OL?Aft\]R`*> L\>&P>j㹘oHWïmny Vy <~ F'֮בnEhE!)%ݞq64=kJ" *oBF}fLffOdO{3v ;"HACn9 Idb\=yl\\)s |O&}a]*]}nYv{ AOâtG@*/Hܐof( 8xKAJUX᠞qP8oM`K3/&MzȉJS".g$EU 8\hRSUHXN~/Pۺ掵&h^G'+‚~[~dV"ɾ34YMɍj;^qQCvWO\Dy&hnGV{T{lC&1N$``;]bdlStH"fU>D,䌖F},M=[_g}n#H=\NmFE<0YIߧiP&},q؉ &6I}-* !h贐=r'ri##5&:(2F=C)4BU Ƨ cz_~m+G̱#60 Dpo*yW+O,T- z;s[P'U֏aҖ}tXj vEHKH^bɻNnKTsҽĥ$L7&֣Zڪd0u,b`!v1̰ 6~iRslhJjW7MWK~qQJƂU0d|2-2wB;$E\%PL b:09ҨʶS羌Ӭ!BJݥu(*28G0);UAuW ocl$aE>{)=r_  8 )=u 7'P r;?傏"(b*3%KYy:<>A1]!6.w)(E->Ea`қڦ*I|\Byީڲ"+n_=m'r륇[GLZSrЬq ƄɢBmSEF-ߐQ=ֳW%%qK OQd˂Eb>٧b,lʔ;K1M RnRduYUX5My*uc>us9b;W?+XV[op5L^*O3sAMhwΥ=!TR2Լ)[YeJlu`ypt 8E6!off&RŶ@Kc͕YrVO䔮b?mța:]=8r?jbSaumט9MMD5m_Ai ³W1f$Ӫ ag&b6vB( Аl*aWa'P$I;M)uKR`d<+f2~n3p䯲k Ϝ׾J1ˤF٪ͪ,94gkKDZqa `F){Amr tͬZS<^*]zj ~18HՆd"yK\a6٦̖ft dG< A%qxO#.Ê0NB&1,r@óʝ6 !<DչAfr{EaGӧ "F]r1ķ 6wFy׼? Hj)'p.׉i bQLﵧThBE{ieL#& }ľOx99 X)WJ+ۯmO&όM)}K_XO+6O.`SX[]I`3vVLF*~2ЇB[7=`Ý)Tay` 1>P:%Na8ԁ:2!-N1\TMcS;fÃ[:NOk]8=+Afj!Y`)Qdžׇ}#沴BL]dCm~xq;w=Md=80:5ͶsYޙT>sԷU GZ$ 0R۴P'uPSa*twZǍY/E}W8zyPA;B C%>*SǎFT 1-;Wjro%򓢵 LWs)˘/E{$e&E9qdc7iܔj4$cEG滝H7G˫7"ɯQ/:$,`ސ{$/_ n'aYD+tӥw(ﳪ5x~&/A>h;k* }B}2"3Q׼Xrv /,{-i\ܠIT|b}e)K"g`%żqh=eBC]&l1.BO'QL)[F$yie5-y|m4G6yD2"[r8(fl/ 4t<<3^1Q% e;D#i7Py cVȃ8H Yed0q`~|ۡF|C0d6u䡚ݬvS~O]Cg )َ1ݽjQhI6 cF7.ZDAfLѹC.d$[)ːm YES`ی b>9=|'V,TSgl(Fw&*fiv=gYzt%'Wsi zͤ[N$+mVO=i!5N5/א*5 jGLDLj.1rLCXϿޖ/tf wt Dq9tzy G/A)+%F%gCA;V2pQ0[.t<1d!2at&IgMӪ1|D>j􈣼D"ţ3z!8s) 4Ip!tJ@oO_R7hކbTo$eXVe.13lja;=M&5G.|wdO3?]  wf@ ϐLx5iဟo0%=/!4l{؂a`y(u #<+${<4L(!;\1!w \OH&|r`!$NAT ֧LWU:U;6z4KHT(kd]UHLEZVj\) ׭S/ec~3HXlfS2~Cb\uA|դ|f Vo/%@Ⱥ ,k7v0cBC#J2 ٖ_6ɫ_h0nZ.j7w""%ERdAqDǢM?C?l|uV<&ב7.:{0zȋ$QDB+E^:U!=|ͭ ~]ÚKrk,Zgcۏ-~5#f}|./'̫vQn6,FyvB/لrM(ԓj9l3K?y-vi\"[b.Cb0F=&I.oBtWsev~i#kpi6hCTd;Vr'-,0_W A{PINۺ17eƄ99Kr"Z*ld4Iinʜs5^3LͿn=XG#T<1TXj U2,qQ xJDX8^veŽ9_J 3qNFHc m~~obiIsu֕4=·5QNGAgd *l"R+@Փ~Ql "L;m;g]L.fV$vټXLl wQ4kct;50|c-$?)p kA^}IiLkP]຅$-_oV,x8=b=6z,k34;ӲRj0NH; B!,;k 5V(4:x?o]6rSA!<[zYبcEWc$7{`cܓtQ!#%DyG[Jy[3y%=%qH}}"fVHA1K]FmSSOE# O3,`Y!8ldT=199 aP>)a&#5.̗ :Ty.>BSjc'H6#}xobF&Z$`''iRUquүvNumY㌞veD*@]x ČGv6&JϨYaS&aB)\ˆ٦Ԯ4i%m} 6)+h0{0y>@?D.һWs2..BZŔ "o*Ma켸}+AzWV#V㧩*([(2,ln\V/Usߍh 'Ԟv'nyN ,UU*PU ҵ |؁,.* R^DIzT_E^.h>|jqի+pc0ah`cʩ1>!4-々̴kۨ5sŎXƨDt \UKqM m<;ej4@:`7Ov&>h&qyXyx8WV&-'fH U7V1 gj=@"$@Ɛ\H4}+?gYf䁊.vȋ;J@Y9n[mDqLύH Vj@\Cjkศђ :ؓv)ؑ?ud#wM PPd%Ec+6"'f|x+Xiڛ? j m$vєikeo{dw afGqcw>0BPᭀ ]o^+IܶvJSiN&򹟼V_і#UnSm)_<|-3AO/`Tc+vmB 2Y]&znQ5rJAmI,_&d W$W@PuNHgvgε%52G)S|AcFHֻl;u`gl?epxut֯-H!B܄Ց@̾( }& =d &HHC:#."r= /.j9*25i$_|6SH+>;3o<|z'CF?w#|l{I y|g pɏd;$BR%49==a`-\+VYC %_*#~4Ω0rt·WR.ַbjƐCxJh)-Ӂo8Ҏ4^+IWCj×]U8Rsx*kTHc`v%7HZhd@&rwU>b|xݒ@j-]oRI|{$fp_ 3u9yMؗ6-'YrEM%ӻ?o3._O 'B)yLڱ9>mk^Dhcj10{}0j_q5M_k.e*adyu!4>ܚG }BN WԼ)D[V* %~|kD'C5e^#pE=[~+"yo}DZf`*3=W"R Xi{[KXyV38Y vqq`s !pK#-: `^9/W6+P$c,M7<ܯ_bA& )5"$4J_ݒA<.+R]Na'E E6:' 6 ']m)3q &K*bSm8pN`^$BY 3micMU2%>P ' xY/fH"с,`PGyWgk2/ @XЄ ;T3j@QssB+ӨD=X6^WȖFB0pa~-w?ݾc}Xr7 5/bkyj1mznU+eڄo7(uT3[;@ui&۠MU,mYnbI: em_Jز&PWe.s' aPn"g X?I6a:FsYpGԿv)uEߪ JE;1dof`Yas{wW$ BCgO?w05-tr?S|0 KP;=h6i4;4h?MIeN 7 >GGJwWlqN`L g%C6UUsD֋yQ6N!$ܫjX!/V9,|duwd>H%X(0)W~b݁D$QI 1w :}d͙0?'$N?ѣm#-G[nĀ!½N@$b`<!էQH6zqfWB ΎD:{Ck'b:.ai /'~Ajx;sD(2z&X?;I/ϙݓ<ѽ14W0}ʎ쀓Wۭʊ.L#Tȹ f)Sf(1M]s;QE,Bd7S) :}&RG;wTu2gQdH!E~Xj"vT*`o ŇyRJ01prİFA 7Om˙=Ao3S*iū#DۖCP Je=8O)r5QDHmqT@q7OXd[Y ,TbSX#ש"1]Tށmh/Wާ-_KzB`)>$Td7|\HFeFž7a]& e k&d yo2'} V? Osd \>vbXBR~ziٰ㴮H}f`gpSVŷ(.Vכ|LB'_3h:0?r]#\Ȗl*Z^U= 6՚#oð: :.\[2szs1axjOC&vvᴟ šzi%"YS*Ѐ4[ -%G䕪~S ?I8Txpft1 F֯wP8j+#6r +oAi9boخeN#X/cPصl%*`CL+vtǼc ;oscWQYkz9y}xnʱj#teUl3 jyz/{6f0^02{ =-Uh ~F˚#6bwcNJ2)<8- "/`ɦpTw,&LkH'.yomK<ÛKB(U^}b",fb ":CGqKD6 2o!e"X3%I#J!._1qm]C3ƪ$E?8f)u:XJF;&vzҏ|}"Pf'uczhr5@r_\P_+xcԕG+yo~B$RPnb[o/9L +D uiΜUE{L H1/aK! x"1K{\QtɱR7TRTHQӊ-S txA3M*1`N<~2>[OAZ{m>,Hlw$/kD(MYiIpɪ8W8ι'hRo`e5NPpPX(&Hr<81M1(_oGC Of<ů|nnQp9hCX;d7Lqt1?@PKz>jKu !WBcZmjߧ-'F J]P(uN6ā݃s#J42OC;;lzP8–A$5Y+ܡ{}!vᬉQ(^uBrB|֘1g44k7LME}83q4h֎e !YǝUfnQrEdH91Kvo~"=wGɶ Pq9eMC}v?nm}%۳Ю.5 ʆIؠ<:ګłax0u x?yaLN|R ѳ0OʭJTj~vAWza"F8-2 ~&4\|rJ_[+`g u;ݮ'0SݺJ1꒺gM1X!=2B*-#ok|w~._h@/0O\K@he.ŻSN쎘a><{4BUv' kaLhDH!e{%P4D09?ze@*^FbR[ o/akrZ~mכcN6hw1WmzY(N TccGr@ p; iֵkOy19@mX>ݻ ~},O[Mb /` |ɘ,.\g6ՅPRG^29[ ŷ=ow ̗&㍗&"rnaJ])5[zC- gٺbT9aѓ@ d^'SYSHVV̰}|DKt5r`P$ %nv ^nd24kZO#̳}N4"m ķ*(w oW1B?:-^DL->9`{< ާj%o@jP$$7zdgA=&r8UMzhHaғf}ӛcͽPV7,8LupCvX;ﺽ6 6<'GԧTm۾1=Ef\OhvsPbʛb-d_PKZSke^a3Huj* ?_- ^q[A WJ&ٹ5Sو\㐎-ڬJVvv ֩y3^^kDп;Ąx7+UOv=,)u4icŮ[X|:ViVGжwID n켜GC5' uƲVdyldR[hR{P6$|-4O}(b߄L`JVi}PA:;֍>l.DB](:4붠\TgCj=N5fվH0((Ѳt;`2WR#!itN{:Ut[A@COMrMoעlKxUFཛ|X " E&(P 4(u:g6S%qaV5JpNsj"7="Cg/R07 EMƒ<+оT=@ޱg0Cr4c&"g5g~\ĢssN.ƃlJ.||Ϸw*QD t wm̞6QQ;侕-(ސ l;0Lh*xm(*5ܠwS_%̅#4i}5te$eD\Z 삧~\lfֽAkA%1y@.Z9"lveoX\0>e_of!\LqGo)y='$hvjF b=/S \Bp>[xϑm+ A&>G yi1}:׋s3gc0]p'#ko;(iZ?!U9=8}:;]#%\>tO[Vy92=4/CEGS]9~]!T&VQ{Ϻ Ol{oቮ=c-^(O,},i!!k p<{9']Ͻv]2OЏ:+pͷFx_P:K+N4H rb$ZM\ߡ&!5c=OPSCTp;g++l%wj|4q&ƭ6txx夝9ѺhIll.&YΚ+j)S`\2UXt>upG> {'X'e%;*/cv <b8TɊc[ZGavÔuP=b!0z+ykl)9gD =у'$i1MzR>!TjN/"rJ!̼e?[=K3\a+`c,W:mj07uO,y`nқTo*z"&ڥ^mjS18L$QFY0Vs~v-CmF/i_n1L"? kkڼh-Ĥ[tp~`;A} Ӗ bx́xǧenX]Jgb%-FyyG'OFW ѢKKF), V46$&iNValA7Y:8idrSᬋWm܇$t&jj.Ȯ2Zԛ\7 .4 Z]l&͙/ln\%7k3Vstw,B oؾW쒊S`gz=(fc9,bWRV+/dg9 1_Me hWH a/Ym:fa*#0!rtX mO5G_\N,ꛛ) \w>ei=DU^2A# 3F~7*t͕iUjnN83P))5 DZ:\q_> 1/'?4-q*n3L%fK-M$-V\Dp#:ej;C`t muO`5 T _s(4hwaRh1b>c*^evl]>@@ _`O8+@ ;#gPSʵ.Uv \u7~̥5Ƴf&"Q>ʹ $_R%aC)3M$Aח,{Ca 2{~'(ا`TT/č2 ?%t]Cabt.S(MebAq%PdWňst#r+C[ 0pB'9f]vkoJez}`zWۀ 7~fp;zk7)lIt* 7[Ĕ-@>v˦04F[8\]SzԾͩ3FH C3*Kad鲺T!;Z-lO.G@) [|:nc~쀘b+جX"1ulG !,˾)_@4O$4s,´y𢐘nOh`pi[wDD4~?X /`6757t3È U1FI@O /Q <ǏTDnĦ[T԰<,-$8l(̞R/Ïl-mXO  A9fݏ^TCX̤h2+ 2f:*xR\U J-QqrY4q*(ڣִꍕj x-; GY|-`o'w ,9Q4Y]]@|e OxЍ: L =>@zgX+^F:pMKƴ9!mN}'%'Bڈ̈́U3k9 l|I\h(rZo,;(B'bksugҷǠQloq,,ڧ%8^ǩ0 tI tY)`i`X\P57PʑdH224͔VhmZy݄I+Ќ~[[ Q<7kN6aB9^1;&x aq4ii\ G 57R[g:JfWHL\B^N;AnLsg0=vsUh(f/G Ȍ6m YLM$CfKo=W h9:f&Bj'zjN֓|Au.hqO tA-? ?}$}6xiY=zmy !X"xj˟-1Pϼ㵷Cs8Ƞ)@|Xᬈl'!$E_`&)5'JpZXvMr_LZ֔ܖ}oJ~Ξ#s}߰)rXP-#t>=_R~Q<:G:)l {1-,^*U1֯Lݫf!]2kH~am飍#KX?ăqр- ސa>lv1-fH@qC}gV`j<o qŁǧ"Ytw0Ǖ@bЋD*Dn$)/k[h$ \1( ZVEp־dʟzr럫{7pOHLnkF*ԭsԙuQ$a *_kCX.,S ܰkw\qc JEHStt+eNH])s@;;N #e+m7Ƈ8ĢeaVDzf FAK(M8fZ[ݯm^lV)xRy Z?+^Fg`%&ڈ$8➚`U-Mr-%J2P1H/57464(*m$Kŀrź8švS]vir-? :K#{(dx6Q z5&_V&%;e\oioPT td;m} Ukv\ B+buְxuSb k䷚B+g--5x'M+Y[ZݫꢭEe*!!ԍ=qX?wMM$ɖT"yӚ;-F! :DCU7Е gO7" %3Q0NF_“odVɗpxAG:IK84šQ n 9y'8[H܂e]¤B# 3$F̟ƚ[?x6͛Q?dg#V:F&yI6# 򋉯cĽ`ޥQN v|LLKW* )0MJk$nB&Ч_OIv?GfUdr/d$wԸ<̀L@-p$wv!| AfW1.YL5>lX$\bm$!d iȚ"3apI˭m^i[W0нs-E\6!A҄#psK41:߶/ȸ9Mj|*:%+-p8yÎ3J^{xK+Baj6 jmP{Uр-9KClf'f5-Cw;]CPEy$$/j<10/gBV *k8ZtI [ H3WJ!` %lSB!\s hC%G~ Nq$w?ah d+Jf8|$k ز[?-v&ƙԜdL 0y"6RpSG>>0m,Χg KTܴmf/COH8Kj["Ii}gfLx>k/a=;eno6˱;ʁHG8ѡYqi PX1wv9{lʞ*WFx$?SEɨˮ0 GTN}ES\py pnŶA]lO3Pfb &p06fWb/'/󽵨`X0X?qu)-X'2(fR&&h*ݿ/jjZ;RܾO%?vGo6>պϨN?=#f#6t C>;n軴>#0YX͂WoS@%iԶ{qH>I|WV.í!Y MWRch,0)Jp MU&F` LKƧ0Bduٯ0E˜{ Z{d`Elu4gt\}5!$DhVLkMٳ6vkB D4:@ p0FHqjD"ȜB|ְ̊'rP>A2h}PWs3 ĭ+9P6]\S{ g~fû9#0fUN# 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_id580$HA* V\YfTk5䵊 \+i E'7v!0`Im6G'XC<ؕ'6% mW^iR(W靊UuO0YɒQ߯٘ET\Y4mV LMWZj5agQ#.QkPl&!#GrSe'WŋRgumt p88.-7o_m7аT_;42mrzOJyr4tf%Oe,AA+R-y@Fm>D_}Խ`!ǶSѽI]T v&tPh^26us ]eU|Z;PA22%E[  hnW{FkÀez?9&1r"P2:ua ۞Ul0G!`m_Zs9Zm=3^HiYag$y@Ceg&~VwBw/^I5{ YN{lG{4ÿ)4"V+x,L}n4"M|sЯx^ZD+ 0mO9NY`chY!tif,t& D;mB:gzձ|eFT>_x ц [qb^~CcS8  ʝcyg$O,4JIMQxŐO3uDn*"FUїJwtgϮ6{cB?a훛йA[tDȬe9V8hJZ҆,t|?K MoaJaAh)ņqvúKZisG~.A2L4`x|fX-¡Li(~9L".ڗw>gwCx^Ykp @6A8qxh??c]{܎k"+_ۼx}L24S 1DצtmѼ7b?gh~%GC$ q+,X;OZah D"k?3Y+FF2&[8бٍ^F:"$< ?xDr%9 H(&(R E1nQK Fp8Z2LiMP $xWhA{1kĒqb1N:1M>e~ ɹ;r ض f1ވ*yX4*hq:^H U^8F(NsePi71 ;hHaw%]3 $Ŧj VC:QcԧgXxDA[pgBB:9Z1/d nMLڀ> ~4V/>Fo_Ybh%}u1ww̴U2CCk?Xií׋K=tjy>P|h# f\ܑ.#:+f? PYPY&\aB`q>Ю^j ;E Wӯ6oA˿{:pYfA;ti7͞ഌ[xegK<7ҥSJxfp\mȑ :3<*$[@[VycDN(H [ >'1dT'>ǿ8A:5z:\4  u/O6 [9tV,B-U6]g_[ ^>c  r=͎FK^Jf($E~mᬨxMxE66L@My|P73ުk%J[5T22<՘>j}jQ\ C |-Ad"s,๞׳@. PӊT`[*}='@r{48#f@n%K(Q̎2zfY=4f\&E @(B0q~}]@h0!f}%dh&r\K,׀ rPc!tⰁtF! 4UO2*F.S:I %Rmz+e 7jea ߩ~߿vbKy~>?PK1wVM[9K~+kb3ciw`V,/WCN ɸ;Q?B f+){eWTx))\Væ%VC)8{ԆĻR kJ FLV[h f"_#7Dum}-pnM>/ J=[_%Ha-{wbrn5TS*Q<^qUJ>fӌR+Q7kwޫj'̂^}\ýn'@YS8z"$t5qU$ϲU"(-\q%JG;Yr/O\,)A+tqa!PxsP\{T8>^gMmS|c/P:wkG њ-噎|`YbqgJ3~)XίBwxl]1;23EFʹ_wrKӃ%;"bLƗ HSsrU ق.`UqFk# FkuD|wz(abN'J΅ć[J:A c+X 54]^r+vŠO) CESjg ˇEx %< *b ˠ;+PG--Lt`?4%Zr2mmDtE~d+sa7ͯ%q6o F4+8>ZJq-g+eg58X'TTUճUB :#nS{7"?=xݚ6_j鈟^oYk'ʴ`^AM=־=v|*9 @rc3RhQ/y/u4BVeqSeC6z*]D}5hk\o)혓V>i0C?Rm_Tnf?{݁Bt&1ف4x1ayXЙ:STgU|VnO/"$ S#5C^s \p".~=o=Hfނ8O!K|PXFA~]L Y#4q,/ERh?vxa>fnn~z2zq2 jB1jy^G,L&SI S\kG[#1! 8ZS^+z/ L,Q' Uܒu~l-=׃(JP:YN>p|8ʙÒ[vzŖ'ʝTn!hS6;b4!>hE!X +IoFԂGrbn׽ '!3IJ],8 ׅqqpf`p9%&?X>uVY“DU-Xc^VKnaTXxqd1v0}.K |PK )ǒdHV4`Ǐzl,|Fј&¶'.xQ"{ڍPB1]_ĄD & /چJF} Zy f-luq%gF?ʽ@!Rn43V}JDspz!Sa PLY4Na &8 _1 S J՗vF`\T DsM"r *ˠL&܂dS ^ǟR~vGl/UY^p:e{SstH@XQN #YgsKoY!ՅI7$~ŒdꍩgěB5nuu?%3UCQ$q3 Ո"X5 7eɍ'h (*WdF>j j'xy({p.STXtKP $kE;i % _P^q⟺MpxWSPXD}ODa!eJ S ?kǐ\|O87z9ʘ{W͋"rRf36TǀۡШ}S!jKۙm.3a,`}%w#%F@oXX<@r!`,qIi[x݃6<ʸ5>2w6_(i4O 61c|(Jkn;!g/>6R~y-l3 ;&5pQsq #ǓHK :@9KEpD3G$,TVM~qMoE`PiQ. aVHV/[1._F1H%2Bx$H>ZDaZNl.~!,I~)I̿u$$F9"oD,qk\9z%"L3y,6٬dk#!3zxΤp,fr&9t *jU4ŞC8~*$9 ir!#">V[~!a@REEf:7c޴ m^Ad -c>w|t^F}& C X7e%ga6BlsFW{Ǎ*h ӳ;㇩a_(2TLdMBppBgKz+:w:/I+]X1Gw񭄿i*JP(vYO)-fFӴt*nBqb?&Jo:# G0>MrLM8H.6= m_ y)2~ .THp jYW]>J*xɑ8B!q=h{r._yh; O9ީ0Ky/;tJ[Bja{`q#bjNC5"wcɆeY- ;eeC(M=r]>'D"PvV)]Ι%CHxO>F{.iGjPdi׎?wcΡ|L/39o:QE⤥k8 6ϧڅa2B(Ϩ8%ynNܳE.92wK>iXIF69Jֲ^3Ny1RE mRԌN52D2P)m,3HI+sZU2elv tjcl&Qϫk],_0}ƬUL3r$kX$SD:lQt6_n&ꂯ4WPѯN} [%# , n?f /ʁ_Y''mS L2ͩYE&4N Mڈn(kwf1EO3;b^!V5u<^b ۮd-NHY41q$,e|]P}O|*Q [=z"#ZDR鑝s'ҽ]7p,WZb#P>`msFfQj];X?Y?z"-_p`(ןt&77_M> qN ~ 5(ڛMI&쭱()1!')afUV݁cБzqe ܀ra0]L4B(p1<)S cŅ&YBYYoVMєS<;O='sӰUP:Px8~5&4  [ @g'dpZU-d˱!#;ۗj#[nCI5@j=<O\tRq$ڧx9 Θ#a|hUq596+)fvЫzy_D&]}yBBKR2Dg#=Z]r_y5/OF@=כ}1UKpaXj̈~o[AysVA BO*HIwA"!vvv59il;m +zֶ`#3Oچ@"׿O &muW6g?1x _ֹŷn!RX Z O^v1UwyKi=]8KŰɧKBz&?PL$!ޞxػC Aۅef 6INđykIJR!yC,5yG[2b hDu? ܍[T9Q:<9 [wd"|mƭ8d%!iT@PIgh a^wc E~5NjlpR(6Rwe&f80kUV\TE G>*>^.U Ҳ ]xfǔ.GdSe .k!WgSGѭO9l 0M} C77&zKOw֔Tuh i "TM'ˊ;m{(c c$dWh &ff6 h9{@m.~/\ ^TX ҕN?ȸ@Xuܬ/Rn Mei{ Z1C*SzV3POSP>BuܖdLU$a'uwXO~N fqĉ uel(fbtĝ[K2ʒ&e,}\kZ*%HhApyf Hm]nփvޔhavB뛚 =p&_p[Bn:ao%A*<5 <ɛ myffIW@O}0H\A|v_^L2I^)JP$2ՎT?+5)J^) >5ߕ3m8WGJS uT7 q}{t)wJ0\ᗗ=nLjN rИ7N5vI6)tX G0iǥecp&(;ʶrRѬ 5tZΖőƲt Rձ'4#t Ҍ\&tSGΜC\ՉdqN J)AK9/ IH>N#yc*6ms3OGbXGw=b3rĂYFـI<-9~RKoi5<0 /=d6FD2iT}&|.jRܯn#>F%VA㧈Q o21' 0M`?$z닱 BJ/ hirb>$"ҏ>dYOq+ia;`I_ydXO["758!j52ڔ'R/NtFֽDxxO>BE!ĸ !U1UQ43>[VT| +ktaZlBKpg76=d)L +9kQ`ZH?EV7h!?%`43V759|RA]%UūjuO*dq?J[>0 b- iHgʳҁd!8dכ3@yr`Dx.+tFZ4%mKlPAj N}*=t"ɆLft*1qgao~YJHm%<f{OmɢllP/\LIM"v .i `YĪΤu{r&0TI8,֧6_q7~^P{ #f83ି!m«u^t4_;ݕ+jdv^Dpgif-֠hqVȴj~GHP:pE L+VwoE-F4Ҍ>w㐗Ԫ/5'JB#|WVw`m@o9}'#|͜׮U9׈'{ބ7# KnchI04:7+˸-v4)p &|1<K|X%3s֮p`%n(X'ʼ6(DܔYbvM(Fs$BiR'b;Ԭ.TΔsXy=P;uPeaЄvagO})|H0{?B+c4I#v^8uWC+t`}ndic0`a996nV-eAPQJ)ߙ1`23LǡY*J%#v @d~%%|co)@PJQ7 M`8&Qǐ=' Kw8RD\06ǾIWUIk0;#eKÕ3Ǒsl1gSl #;CR?9#צ zAQ7ؼB^3HlvsMїNanB8=i>'ǶĖGwU.$# uIt V ښPE&a6CZsAJm㛤 =W'gX4:|Ê!3@r(Ox ejk8š"VCr|u+(opȵ#h ԉ8$SwM3fh.}AyfEsjp%%ߡx/YXC$ [w:6yR↬nUPT8U *ԤW \"~}$gc]̈_ĸ0D2!$Be~AUyu`inJ>B[Y+Yd,߰ڏoȜIݢ*=G# KHHc9 gSs v-1nX=v#z7&8C~9`{M|<06hNUp+VTR(I6DW3$3]2@,\i iFLA@|ua-T"쨢UZ鴪iգaS5zR;eX}oE=ӏt,3I>i߷:,ĸQ4,V@)GRZ%2޼G/ʰ ' Mˣ/Tl^}\[m_  @^GkJT`lVQl%e2`'lyL#aٳ}P63*+őmR;FfhnSuN3=;ehwBMy4z'0$Z~`gC8 c'S.'5$N\sQAg{&Z&P'usA7m \a1J n5lt3#hٕ -&,bΥ=Wm' -Nb=]]p4C$) ':.!5=rG '"mւ)brYw-f+)%y9 z^--9 /0x jKzzw\*uOr!A#/]` gO"mOX"yKүi'IJ)ϐɐa-6~5dܪ nㄿ3P+ut9M|]vg<+D+(cЧCU,N*]xʺͣWJأQӖ'EZ>[͖67.[M'AUƨQOV q#J|q!Q֤# 2#+[%Nx(l^p}#Vy WY"_Csr*]$b,h gI;#Y8<? S8Uޔ&k(ԥI $FgGJg/֙PxWR=0&2x5o:' \x-B+rDl/m(X~Ԝ(.O%X_ jqi6Xt #4=7n|I} X Aͅ7-,/Cl&JOzK]&?׀Jo8mtu%0UEzۃ,X*>i@VN/{nơw/]%ɲ/Ի?Z8ko~^<N ~sXaDXlX=};BLkЮPOWv󖜼0_xN&bDؖ#pN-_L+ LEqӪdD"7n fyVe]A dž{UOÂe0χ>-" eg[ V sO+=,!W7ay"4gblӹ/#,M0_wEnPcCҒ,2Q+U}(BX;k'`q18o?KS؞Y6{UFe%:ʈ\K#̕w$Ib u^4V˸ ⪕zH^,\ T T<E>^EwaR.N 0^B F-NG >P(a/j m%Wѕ!zGd`lnC?gT)~ Kު?agH_[apYAD:u2Z3m?,)7}TCMz,>XB̮㬹:l 2uxFTwW+)=ǐ>$ ;3Ѿ+rI"R=vEb,J;tf6هϥ9fqymvD1LJBTCRg(M3N/⹽}g5'p;8vzn:k59_/2ZgRmLUJ6Pt|.&0˃tC[35 kHy1r 6C᫆@*[]qӀ"ؔNW#,`-p">@)EV9NO[nR{C0 }vT4BKWX4bZf;Ol&+Ta-o0#?kMd؀z*sC?a吭Qp {Ƣv!owY|r5]HliU Aef)wEMI*dyE)(_;ݾȻ)5$洱HM7Z _An^ z@1UY44C&0O츈Lc祥]O$y9O]ڋUDkEXGѧc *IB6-*3oa>`"QGn'L ?E >}pᦄ`%͊upIy$Tޖ(-e7: U2[?(m'@kĦB'8#;ę1x#r)rK%JgP"} /o-qenmwy{?yjh}mn+4!5gK9 ̲CU8ՐvexJ~{YBfrf&M]ӦD@"R",\}T[M_ ^Db*e?llZt72H0uy~yO M/,6!YĈ.>1qFBGS[Z[=+ ٸo3,D_r (S%ߕ>TV7B7nK>~OdnDϖZmBz+.\|1ޓ3~ˮ;iu uǫm:h Rܵ (ֲjVOszݘlMl \5x ehƄ`2q?lR߹}}JU҇O Ez|Ci" _LgKM  nΤ=,zaZf@*|? :L7cL'M/A&+̢bP3,N$tCeMW[4k)ϻwwͤaףG؏ A0Y'vVulS4.JwAՍ (HliI#=vZN#/1R7L-w{rU&K"ۍ:4OW8u6hri*=jo;{LP(MF̌Tn3 ˛n҂eb]߮ˋv$X$ %i>X _k $!-zqb^`FEXHQ|&&i$q3[l6Rw(ͳgaW53'LζL=#DRp zQS֊w-رB)_-l~4LiO[t``ҟe&RvOeŪ!0sff͝0(ԯMQ$B8IVFIN5\?%&`r ҹ`l8+25;1'$T P>8ƺy+ծ\g5vط+":# .-27Lh֭s [t5^n#K# %%yHW~-RK+<|V wK}:`Ql~|@K7Mx_bAyz׈0ɀtԔN`tY~0_ qp==DL|v ڜV?@S5zTTcZVV`8GvQyb&q?QXh.=`c55rs#+--Kn)hп vSΛ5EJ=jȫ=sW0_ҕ4M>6-}EfśoyJSAmku @,be9pIK:bb]IƁV: /wfiQ;Z@9\sNcgFi9 rFC9a IIל^ao),qԆf̞i=91 Zh,-$P3^]r3„[}zs mjѰ͎Y+3m\1d$:0|:Isʍ|O矓B/O(s6$`*}5=h{$^aBUܢ)QUR|S4H="vQˌP,`."6ut$wTf&M/UhQ{*0 y"&|l}J PSxWI.8Ov{aP8T%%K?nV[9:u2/qWjgᚽfO B"$@8m_qqnnlNMqz{!dߓDc6ƍm&dyy WnCT5 F n!bfcnfyyM@!,pVeV=d 9I4>a%vGEh)S/rd 9t#fj7 )-J]j;bgjZ[ \+% 4.˗. .l˜"1Ÿ44IϠ -h Vq<#UL(eسDDw%u+XΤD ZAL̸1IaԃEU6@ l#tuIgC~czR}Q]}X "ZZQlϹ 8*#ڬ.3b&mC19-0# f?IkFQp*~LP*Y&PkaG*ENGtU9YCI-w!n3(כ&AU M tTbDgJs?Db%|H!DK3P:%xA:fx;=‘c`4rJv>5`= Ϩa9Q+`(F@U- hא:0DžƱبl}Np@Cy#RdF?ZnBo *5owttD^8J7ӯ/n`gG]l-&HT0Eʞ3AzW,~kk!TpɤшJ}ehi|G37dPw?bjŇt/=w{rSuؓ4ћzKPݽjZtsD[U[m)b kepY (їleoj2zk'Cwҕ2m#q:e0A[ZPx".2C#6P-{H|URzbsu V4쬝39]ڗKfv,,KС>l;Rr*}0…tZð-Dh7\gU'}.Pb:Nj !CFS֖S$9=m"'$4 "U@$&qw)&O[J@׸LhX։<+jo _qon"g̑ YQ[4+LN]&Q 樑z*y%O>fn/Ư'^R"y'Ey4% IEBl7>%Gt4cd~[oxaBU޹jcg!{M9tdq+"Wk(A2(TBwH&<ʟ.: ID%qQd]K2 ؂:a͸_o[{[`븢UDφҊJptnDY) fH's!C!K&Yߵ#[s(Aq/QUh*atduY {DDTx?IQifx ܾ%x437[4@zVsiȨpqʳ3NeHS\U22% ƣ Ԁ]Q#W!yN> g䫚I+UH .QDQL+ð2K[2lčf[$͇p?)k9j6:,dŕpZp?""5P4=C:Ej.xKSFK{`V+NQ"sHT/X4x ߮.;)i02 HHdfY(M4SR#>D)[?T.ԺZ'.)0 v |.~K|z9(1l|}ӚX Ѵ#vNɦ'_k?:`C$o ytDF9?A,Y;0 OFQ+dxcZD7\bq2h }g{*cBx>k9iy1X=1c>t`=kSƣː v;Ky16/ǰ *~L) rJ256L5A3Z}Bcq%Tnn u1.,?6qQtN5wG8nK;܂[#T|}Ŗ@,we?{V3.<*cx/UQaxYy R_U^m|X%#\kȰې:@=!.lCfwsٻ{} a sm,N({/h ƪ6^&(h܁?5գ;3DAtuC@gM~4ΣWDnx#Ql UAΡN!KfV9  X<7h 4 kvXZ =7."9A|g],Una]{^ڡ2ܗfv98F3na:D Rnрt?tIw`zA~S{9ѣN[>٨Մ7$Qd!9°Z\]W[G.UjYԢ'Z},gܤ&O^7u4=$W#Y?%Eb ; ojwXHRݮ~e\",lplvɩ&D<Ƈ0^jYW҃QlG nLQ!Nq}Re4V#zKa{SgQǀ%Do$btGjCkH*^zFr9Uj :8]^EPwo! |h!R!H_\ 糣iU[  RD 2+l!}W^M#؂?貱kO'vZUҺC lrkkFJ :bV[t6-ڮL$*<}GV CK= c$wF ]+J"VV6 kMsHqA+ ^Dkjv RL:X״E2C| G䗰ipmT!244 n;j OZ& m0W֙g3BGw@N_-#҇Q$y [ 9H7Wh5,Yכܑ,:':kV*g,&*Y[ Ml*Xɫs-7%x"O^VpLm咩q.{.좬`k޶JHZ)}) !+cƔ3

^bov9x1Ì4`1B׉B ?Tfj&s Q?O/™P7Fu f;6]Ke&+`é|3~;X/79LGC5EB[ᏴtG,~#*N9lНpV3a7RϝhlՇvj_^i(Ds8ԧ}:9ܦW;ql2j -yFE9@a3<~@*:dTIjJ=8[{|e-8\)Qø2QOZ9]pw]NT@lփoB^f0-&% yZ`8Z{ Ey/739I|m(I5ZKm>ͺc kUp# 0/ysZZ6UF?me޽Gևtu,^ѪO SeHﯶ&s(LSi~A=N[9oЅOMn 5b/'n0bf13zr{|tQ:Kq>Ŷ.,>!PG ٞt)If`ѵ_Rgß^ky0iep}<Lw5e\~+{P9|ӌm?}H|G^7GJ ?{<se mI [aq٦V"coTH'EJ@K.|*y{ e"6w79L !ffvP-4 3Pw:EZ+W) Fsfu' &%:qzS:avP&6Xo/K@;}t4$o[%:&~I ts֐Hz]ϸG=}c λԎ}-(+ı QJ;Qq#zLN%qM.S)3%Vh 6 ;#CDn0s}^;cmV^ xUil?Rʃb o]ův\=E^%|9l4##/&ظ V[[IYŭZI# ={_}UTO4[^ Ś) eJ:,>-o99k.VX$FP-7!T)O閂o.xH3: ,iPPMs*R7ps `63J~D;ttM^ʺ%lG }[). έ̞U!QP/#}!8pď wxhb=$A@3D|"7x=_a fAemHM .f;QBw&^v",uk~!'l)Ll{NIn&ZHzƀ9FgX lRY`cS/ i3$n,O&]-+,Y}D  zCP>_Vj2 *2!Vn^Nq /B^tJcs FwEg51g ]3fM/G5GyElaAHMVŸZ@z+gxQAqP=3z1GMֲjΗ`#nJ|ʜ`{3J"H[U^mI|M CObak <?EAegŤ!{%8i~LJ(Wp'_YD~G ?#ن ᴼ:CQ![Y-?Pwߗ#au@ fcC)+GJ+4Se؞Pe{XWT437]18 E۞_ ǰfl"{Natw?n-ue GQKٕ)uypʂ Dq卪VP,kaOH`X=>?4f{:QU}EHX"E?hbEm|mT[g4Ez~qH(wIjtI+Geu=3 BZڬ"Q,@aY, ~ҥ/ص;b%ZLqd㼻uRg=Cɿ8cV+(p\ 7so%r}qs߳OA4x* U* 3 Jz49y?!aq5ocZPF.\O-H3bLzT=JG6(Փ+1Ό*Z{ |$){q0X04fkOvQ"ݮ6ǻR `3J1wxe)OLsDpO1P(g17rҕcBQi'Vs][]MC,1ȏHiLxhmD*#uK`ؓ)PS@8Q$.nv xi f i^á"~6;QHT ;UKקY_*ߌCGy#{2'r8u<(ٹCl]G^:v| Rٺ+ϕXѠB$31f6Km85.4^VNf;>$1pho;įL6I[`U&SÈOuyKh0q+QmFZMpjG o&j?r5Zk`\#=[kҺ,қ]rHjT^0o*Ԇzcm7s§>Zi"h@.:yH{[h<1eCuY0Ep"lK Q;lOWGGˍ])L%}]|* mTУSt^l@ZRtQh!KQFR06INJg]+#HP3E&*`EEw`ASa_?M'V ?Cn|x#xq:G"ʠ/'")OX9V8+C׹c dx`=pgdݪ4d1Cv{'DgR'Iw_o gcEZwNy _{$|joN)|Tt͠ɟodN%:ɣ/_7nU@.tVϓҦИJ^yKGڕ'ŭꡎuV1'5$Ho?kJQQ!4U5\MLB8МcagYZ JJr 1Q!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_id582o 1m' GPYqXڦZQ`977rsԅl+gɉ|i5_A '%b;uNƁ󨟫⋨o̢s7?=>jx2z?i^w] '##T#SXhv|@H ٺlM[Ekg+~S п XW;-82-B/[>v&rS :ipbΩ9:v Nfj8,Nb0+h2ަ1K4qM`@h4|h'5tGZb^5tRxfi_VuU׬+wQ~u~4Vcj)79"lehHj>Ӻ .46i=⑹:qazc$/n(҃po|Q_j ?Z#Ј˱Ncʉl/fJٖ087l!j*3=O}Ᾱ~ 5poX|pb:3JLTtNܵ>u~<A8pn2-x2c 8R GnB׺p֛!̹ nOj y ^ N=eS/pq8)|ohsO?_1 B<.n,->iw C&"rcĶe : :gO\^}3 xE`Ep#{A,^I2[/a}r҇DsS!/0k/zzܱ-qkKe+t!+"h>I]XUD.IP*]`>mex&,5òC7Um[W2_Z,l]gȣ :ޔ%`DX.|xD#6ɞNTŘ1<#pօ˝Qр+L0ݵT~TlHcBf;~ |Y9V@x\ 19#wmt$_ٕ):@e֏ڒnzOlcUÿ1*R1h!t IuD,&N˓>M";i:uQOB& C>~YzV;tC MheRa>i6رvѼ*QiSO3tz̨A{_;t_/_ TݪLj C ơR^YgYZ,x.vN̞@B;.,F 渦!mtsPy;V&v5|:B C:Pi ڝYm5) 3?2RX(t/`_%p:+*U )L%E)SP||d.q7SΠTLpUP({|k>edV$뺿%_|RsԖ5\WaRk RʼnP޼Z,l'Z&G=[`dhtG T1VpoZf?f &i& \)`?)"U@D|VχDQ].?@.w!S M>5]`vrJՉ]8p ;@]͠@݊|IHH{g)3ecYj'6pa969^ưv.&W |1V 1ُ_qa71T~WY|7HX9]QhQwt!K4cv[B`TekPgc;*s;2a[zyXuymIoDV6/saXXMOāB$٪5@2ҭdv=5^Jяxd6 V* ZlEZ [PzNELW~V3%vջmI[%i5z@E/^l} WHyv!dvJJwa4yKU!23͙Y2j<dPVq5$->$VGW {/X"mlIϳc252 JJs e0œmtY7/FN0jtU3G}HاOեd;Q(?hvJdXM=:pIsHwI #RW>J(P p6ԫ'^d 씰4}_~YκhJ]FNJ^?9 э1ݮr<8z;~ҾoA.w\2ۀ4B[)ȨbV pژF>(B]ݹ,#^2 T J !SD9RΈofUwcXR+UtQLzo5ZKuy:o$-K˥}P DLJ!ŞC [NFa6TMmRbT3F*CȉFєs< y ηm09G9@R3^w52ؼh,`w_wXorVmK0vsWb3q`A,\lc՜f-(_27#?ʍK !qPhy^خ[lC rC}ӧue[Aq**yý;˶P}R6Cl!F7d#ƕgÃ0sG~0 Eʔ:yq$ %|,r$74 瘲ԋ?6뮿ЁƬT"8Ń+z'x鸪O4 b7ߟ5N-r8]ݏ?rιFXD'Rfآvby[AmRTҧ vr ;cp6s 4ܵE6*<bP&D|5KÄsd;  lhQP=%Kj( d2)e15NJX|AzL32M䨇E/&\ PGV5;m Ty@ltŷN8 3Pdwj @^]7Rՠ{s#Aa l1+ +[ 6%Ii[q+]?#vXMrB|_-]QRCP*y(OT9yECITLqSVTuEG6kJ'%[i "Ncjw8Y8M7qqMYG-ڇxJ/N 6bD~>whyCiGueGnhͽe$3+$j8Y ,CPA÷#@ Ei8,`[;oAj| -6rS!pP'=7}eX HC7| +Z.TENv@J?E4pWU^ӧߚ ߀zC/S N{=d23w|2=;w), 5Ŗ2PduÄ54@NG D{ԍiVi1ӿ{W'$S4xz#:6S |NF2dhs*͇xdSs E+1*qùO}>7E"i cafW 7H:rR$:7[@Amk_3&ij< Ƈ5˕4LHk0;s4Bis O5:15Śg3G[ ֳN:I$ )pfДL D uZ7wOe^ώ[Im.zKZ{1S ʡ.0@裠Ѓ𳳸egzS: 24J 8rM`HZ=׳ǘݎ[,G;²:>]o _ЏwyslOEߴ(/yHC‰>-ӉVOs1߉*"dK1w^q_?4֣\Cݼ *ky= 2g4%8 'JYMVKñvWsBQq#z-Wh?lS c|ɎOjeW$zMCW-NJ+*1 |+,iXGa, Ef翃 381o}ߓX4Uڥ\T$MYȱX5d b > j]iɱǽrlf;ۘ@=u)XUj8r=%ŅIx`HkuG~.hq|@, [*rl1{_tȃns[pλbڛyhO731Yt-7jߒ6VlLaK"鈍fW!-` &w!SxG'ߵ \w|gBcᮀC IvCW?Rqto*L1GkoXbmݦ;֗an`E\ R 0SR9xQNL+%輆tkP&/"hX)QRBQ@VA<[t~| ຺u9nXXH&ؗ!AĕD|A.MEVI B7Jg-buSBMrKsr]^CH3e>ه`.gߎ*#$L"|bTG 3CaN8WqtCL{Klp#XO}`HM([2c% J.MeZK 4F t#q;Ukw۬Lj;%4)"p5DhM#+x!JyIJ\8(EH=^Në'\>,ВKtDM61 o@=9 V_5rxV݈2_ol3t4wCxB$%>6*~O2XܗZ%~asϐlѺ.`+u=0(Dp_K@M_NKSWXA5YVsdw01X0'm{WحMY^XҢQLxXdN|NIk(| $Kn"l\27J=$;k,PRT6M1LJ+$nQu%*i00|UB. uٿT۬ȶE~I c|ZA==^J&54xd`5P(/;U (j_s;Q 5b2dm+W|XR0wpv"gZli ՚Llv:'Aѩ ~'IMgO⒗q%@WC52&*@[I HtvPM]G)хҔ|F#^u#/n ݊2^|mQh|=WWHDTRG G+ F4$rPVG%/v_/KNmx) 3'JCcdNR8-bo񠪞>ri8n;A LJbk 'BÄ HMTSǯ\߿4!M,B-L]*c iHAlW5lYB/M ߨݱN h9PApNsEuxr#eⲡ+ `, |(Sb0Z I}&ksr_>%H~MbyJY[H_fD.''yt:5z-k"z T}cJ6a }Vd[킩b~ŀ)ɵ 8 aC [d[fu Ie2oT%\t87/ 3S*1>~Cg`McTdp<8־ddS"_әR R҈Q3ٛa62z9c->shB(} ـgP3jErBkZ}?ÈJKT;ȽpPḾiCz599Ia!. (Ut'EE>#S6@ɟVV\'vI^,`SlGNOVhX/al?πe[54i$Tx>sBὋ[j[KrgErUBsZSma'%0 -4}A 6'PYDQsz3יnGgTˀG:B/.y cyc͟#vL4r>SeΫQ+N{P_\aj5ے,7Lӫr{yfQ*kȪ$T)? Au'F$8؍nur&ƌxv%}fΡ u aV^`"a"=rB5 کe(pe°ԴptI޾WI-KG\eݛisIGL#8Ñw'n5-t}xNeCPj OmWn:ռm3'|r-a3.)ڰe9ʏ+_=0n`9?#-}MjmiԴĜ[h\# ˾k <$L℉vh Rk3PJйђr}sLO#4@DIʝl^`X:b0!7)gzJE,UQjsox^ pP#ʳ]V`6(Qvd^X#0Sʿ-HQ2:q;hH"_ʽeAiCVw{ɯmRxxڌ:/) )> .q!v#R ظvJVUDurl C MZbۗh1 V 7rp<_'#ls]=>Q{xUkyf1U'znn)ΓAK떠KeΣG_B(aѓtA%jj:b n cd %lIЙZ5;~`{ٓI'8Ǵ7EIaxuqs)x@C:=䆻>ΦhMޚS2E6k$KDӊ&&Pe5 f-4^Aҧ8j9r\ֺ5>L:广p+˼FPysr^QܑDc}~ⱘ}ޙ3 >Aɇ26,x/ Q+|;2J R;u(r{%p^G0u0UX2օTrϐ>->f%Y7񰆻8u D򖝵hj(dI :f,K"0:k:xRO ?I嬜/I?4ٻzi6Iܕk}ѭ %0br ! *Nt+( B̓ l_C;|{w N3IG;* "nj!G& [7OxWq|%a  }:Gj5IctWp" bC+":yߛS֍`/iw̠dV݆.JckB!)~7N< kg*5[c[rT1ezs_/gô-9z[lqGXZ P\8RDƬ=3X\.r: l\y.*vcA$(KqO:ۆ Gw6+=C(!,o<$-&9Q d6H ůsBu>3#!; ]^9g\Hi!jɰ¡m,P.c qlnB$T so~H|k8|x;#]Cr<31Pcp+tJZy)-QK,~pu:NIHV#LlPf[Чll9h>SXPW|nM)2^$F3xr)1z(-zQD"A==DKnqKέύq̐: cա rINTJZw-Jԫ"vw`nzlض4#mLZPAL8ߺdV &aLRh5}A 5V Ur!^0GϹu l1*($+[L^>u F- iN ST_Jxۻ_ʤi."5 CCGrx 71^>zg>SA5E^$!v ;nzEӨ.s&zj`FHw6\ےdo,.oZûh;l誛cED|QBZ?>V"VF~2vf@x"E>(Y:{s/S6U>@߆{I[0=;D)3?bí@L 7eŅ6ܨe/SK~\ a|/~3$9Kl6`Ň!&<,S7FV$45ݗbŁKX9/ 7 JůF&d# ŀ62*̜aB(2Z]Q_v_g+5DMxK=BtQ+jmoJzΘ]Ys&QM$cu}zQGI,[-~1-&ZU7g-ejT+[TN^mAXľBg: G64m`jD op7;8vW5hB\u! iG +WO#x+`ʍ()"l6m< .=2w O/y{_ԚA)| Rت˺wݪpMj6VeٽW7`MZq *,wjvi &Ey^L 'FZ}  S<[cM#l!cxyҢ6vS=1N\6:'`9ʱd>tC3dZz,]lA,@ B XcX찁|0{GM䱼 piiB O֛nbv Y4OKW(CAEݐ*;ިJ!X}FЮsx'" 2s@5hj a=hOrIba(ۀ))a/eUerme3!&V; J-\۞ϩ/!:fFYM0?Nu75Ze6eox1@td|V˵^B*9q`SI`)HFi*V ۻԒ'kL%z@M!Blmo1-@| :qi}cǀ|)sxS¨/[?Bϖ2~\~V)u+*@&YX 2D˳L!l_B ΌCM`:n@I*Dԓ .@EmLat3sج#˚TZa'Q߇Ie +Bh<;BzAmeSg3M-W%",IKfbL\`%GĘ΅lTfJx3$GtYEw?璿GjUYg.W7V`a `ƶ=鶘Ry @-U~Du{8uu\.dD7==2錬r`?My;6\ &Y)l;?L5.P[OiͰ'>"H-FԒ!e$U= '6Zn=\6ggQ)_ۘ>7ݶń_ ;ݱgYZ  | |1Q' HOL-Probability-exHOL-Probability-ex.Measure_Not_CCCPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b/iP"ɾi1JBe< */):!m^ɛEr{֧@؀I@9HSx_HD>>,{ ]9'猣B/h~zr>%[趕o:I `Ng;4ꕁqFWq EO+?@P 7PjB.b%^/4EpbӔ4+