SQLite format 3@ .C  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 99'=|D$ ] HOL-Quickcheck_Benchmark:threads=6elapsed=286.687cpu=1366.176gc=75.7127zXZִF! ]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲB\ Է{D$#}0i/y,(=nt{L%_њ װ`J*wB G4~,Ph; T FA+1_uy `g 2{S$gYZ7zXZִF! qh]ŗXi%HnbHZLNVDbϽ/UA o"9='67LFX$vc= ]mv6M~^82 5DO'68)9`H}=9[wklRFIj9,75I2V& %ګ`) dd[ o..VjJݿYXWAZp{Z`5 FoSըД;*A2@bjc7xZʖ|aKǫeփ|u8A&h{ӻϻ(0YɎl&weKB8|LZ>+.q]}TTV[PH4Pg/i~ DQۙ^ D:"$N`3'Das$5=3R?ʽnU_-dyxh=|"CB `FFy9k|!s?O&m6=ezA5 ىcjgېIq2Vvcdi $sс0~#%e k)עb9 gC0:%1|Œ"E@(;.{lP=<ϕ'k\w=)i]% T7݆%iS`e/%_޶A -{)J)}0P#NƸ*yƝV(ğ&?kz5 }ԏ\jK`GZΰK ȯ Z6\qZO3{Z1j9ܨEX}F%N]L׷to|J嵪F|ej2nĘb1!F;O!4TڦSi?x/Q )fg3Yd*>b օwϮ9kc c?B7`7YFU_fDs8MJA`}(ۆ-iNb5njQDeժކ5zav1]֪mZlIh: iÉ)O$'Ez #el"as To-7)}Ql^"y,G$2#*K n?E2c+kD5I4*wO[!;r ]Rb0TMw}LP[0ԏ[$YZy3/,3u6$ԏ01U%lArVQfU6p"w > Tŵ#+2lN~LؕX9 ]ٱWF6fHo 5,tbBН[]w ,Fvq*/@+'k4'zځ6Uv昪E[uoe^6‚rRHO[! (^C{XҞ[8z9Nʷ?},r:C5Gzͨ*lxԧ&W# s^mJTF{#AL,i;X^.(%%;CSPJ+n%QC?I\ߛ*$$6T\e'3uG=B_ δzaf++\=yF@~-w:ѨSJ(h1b򯜝/.@v"c?Оן 9ENzM`"S$S$'#.qubC> wKNma+`7M-o?X ᮰ 8PIVY\;<)swFiq/  WLC͊s:;JJ$"RI}eV!d1k dz˵NZZBm0 %KǪANw~ԋo٪og6Z.p.YZv<=^  0hL>k H䧥`I*T Z#PmoQ=`{>-{4#p:r$7K؅%+QCAj#n6zd^ziȣ0?Ͱ_N-9ge3$&>[K 1t"(™6 R:d}.;(e >r`D dMr6os ،A NA K7A z&+ {o Ϻkz`|WK׹hUd{xzȭ ~trF;#}7+}LT~hj*:~ͬ&w(Z:JlQOl'x8VWĞԀ$vQ[E*@EV k@?VuNp Cө|CV#wM.!E,Pէّ/kIP?? / ,d5CR@ǧ#Hx]iODv\\Q@}@uG'ըf~^ [UI = HOL-Quickcheck_Benchmark - = q DHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_Exampledocument/Needham_Schroeder_No_Attacker_Example.tex7zXZִF! $]A-MՋhvG"uIBm5ij `W')IfY* D۝Z2O?XpM6{;*a fZ.Ŋj_VƓ>-kۭ6uOElk yT|׆c^1'}Ng ]ĵ\[\qɲPWFP+AtˈW6A^x"TH/jyQ7:AZAұR ^è<_'! ˱PFL]>l>&qFDr;$`/#U\`V䫮yHˣxR,] vYipB6phc ^koc,b6S YmQ o4kjgJ4Z LÉ|4D6ɀߟxІJ? #.0g~f]w48LEy٢"ݤ| 7\&njo\4jz{qUNֺZ omcbӨ7ҹ,0I8:y{~{ɪLv'V5ьf569.@/ m<ͶsU%22X9 .W(Ϩ: F吭ˠ1ZpF>dO( ='vA=Kx.uP/*>P5%0TOrwY(yڭl.u@%%JyIA-vь3ي*)V5b DfE̦UhǍ4n;VGTHvPk̭ѽؽE0ȴ^I0֌ϜxIy,mYv>6k=Iq;|dX"n`7:ڊS*/A%UXqoUWx`]C CMƩUƜ;'kh2$wlcQj)\4 $3%ݳblZ=wDtq"@$.?/4\I(J_˅t/JBW~6xT[$-9's<~?}7X rV@v)gZ<@y@F\0%P j*t0Q4 -kۭ6uOElk yT|׆c^1'}Ng ]ĵ\[\qɲPWFP+AtˈW6A^x"TH/jyQ7:AZAұR ^è<_'! ˱PFL]>l>&qFDr;$`/#U\`V䫮yHˣxR,] vYipB6phc ^koc,b6S YmQ o4kjgJ4Z LÉ|4D6ɀߟxІJ? #.0g~f]w48LEy٢"ݤ| 7\&njo\4jz{qUNֺZ omcbӨ7ҹ,0I8:y{~{ɪLv'V5ьf569.@/ m<ͶsU%22X9 .W(Ϩ: F吭ˠ1ZpF>dO( ='vA=Kx.uP/*>P5%0TOrwY(yڭl.u@%%JyIA-vь3ي*)V5b DfE̦UhǍ4n;VGTHvPk̭ѽؽE0ȴ^I0֌ϜxIy,mYv>6k=Iq;|dX"n`7:ڊS*/A%UXqoUWx`]C CMƩUƜ;'kh2$wlcQj)\4 $3%ݳblZ=wDtq"@$.?/4\I(J_˅t/JBW~6xT[$-9's<~?}7X rV@v)gZ<@y@F\0%P j*t0Q4 +Fz,+ HK2-GF \K\/HuX$roL̮_ nHм<40GwZsG 96s"af]J~$~fɆJF:j-qJ^SLIu7}_7Bk7B$>$ET%E 2ω>=(HcC1w܋jzǟ`hR;/Z]N7 ]*N1Nme:t H ^R\K3}x"khwOhϬ4- ?o`.I[(Ug3w6̭msEv@InOZ'muqOlUݢ\|(,m k} UF'rǟ8j&LAtN$rq )G#˄pM7d !|_LʅT@ >zּm1I]-17CiM2U=S:Brd_cn)h1 zCXG|@A.ARۏo 7e/ˌ~vLdp)'LG'+i-Ym?*!Hʱ́>κlg߃f1d!BW(NJ:+n6h@mE4\rR%Q_{|K jwt7UmhAdO x9K"vzrwQCJD:4L$hp&S'4|ݬ|ĆV21_cZ?,VF%MUhob> DAhaf=m`玅qM?s-BpQwOǤ`#)'P~>'LF'÷iR]-ّsNg_D׷IT'"<B=(Gn1,s}OT6Dh8\&[}M3 ]۔JsֲGx䀉V2~[uFGHWPBi {=n'5qx"F9Q͑3;sC_7?QT5[oԦ9[D'9(XBHmz&[NMhP'%`4wOpINz."B_AV4t:F)F^ģo hvPf]1)m0TO LgChANXuyD]@VoQy7ޜ˵8<: pdϣ8WLQ8)FS9y"]^t&[l8~-'6e[b`*DIy=[/܅p+4p)GB $ zprwS?zبy31#,O 0Gx4yfRCI$D_; ̯w]@ #2ĐDKmX8ۡPaC|*{W>@[V̔N!>;T:FrDgYZ 44I =} dHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_Exampledocument/Needham_Schroeder_Unguided_Attacker_Example.tex7zXZִF! X]A-MՋhvG"uIBm5ij `W')IfY* D۝Z2O?XpM=x=[:̸x`a,{|lj|я/:4U ]J CcK^~T`e 7ј@_mc]0U/C\ON7b[VtQ:غa}Z)v6oSUh!WWCR]Nf. n E d͇,1*p6h@q`TX~gih&*+#$|jz88ѬJ[KҾj*m:* i鸳شo"GZiNZnB̂J?eGW.SÃx㫵CL*/N̻[{m`'@"-`LЭ|O>(eHv-22NҹaՆaԲfۃx~ˇ;iߤK}9 KQD0A. I\ށΙl\ϋ$#cߠa?~x][Lv*^\9餆+T;TjG<8^ID5U&oubДQ_$~Kq% #_6Oyղlȅ0ؓ{|nF"n$})ӄQ9JH_.(h/F5 <_C* t i\TeyePٙwOl #Hzph\9Vk)I8bg׎vEHeP\Yrygmͬ¶bwSyLSQi ueϖJT@Rp I82aޯ/34{Z}ob;A&0 n6k/xĬfaʾL5*ݺRs-i(*!;+{fE&đ&G)>NCjܦ^WЖRb[hzkrvZT [r}k|cg)RߣPuIEȃPEhH, D dP3>:f!W-lsecN]A]G5H2of̶F{FWxO??eF~ocۡtfZ_m1 %ʼne) :?|0iqDj)y/u/WHX74J^AR+Dz!ޖRŽ[݀[zfHڸgFGMR]F>UkKc-˶p4y)a͈i0зL{ۈzBٌl}Qw ԚsZcb>݀#-\Yo7)6RWξx2Us^ޠUUUt}5i17#)*tq$HP пGzFJOVnnգq>Nf9xVT"gыBxYѸr49Kn{8xy-&+轀q9]MZxX"B=ewī-qjwn}7v? 1w8>G8.gYZ //N=kS DHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Basedocument/Needham_Schroeder_Base.tex7zXZִF! ]A-MՋhvG"uIBm5ij `W')IfY* D۝Z2O?XpMM#D 8L<2\䑧*@B-]o!qܖ'yUGhϸD1ڵ^)*$~Ao N3=_^}rwpScAl819J*U0UThQ[9c' x9K(cI4D0Ty[܅ MlS;=_𶥈e_´k/g%>.!A%נl>#~Hڃ]Y]=!Ӌ>75c7Lp?z@W=e, ׳me>K1Ǘp)ؘk]ݍMs(t!?jm2 P{h#T&2/Ixf^e"Ry02׌KTwQS}f|n H),*qðGlȆć-\̜uwWc1j{P4bp@_O+* 'Vr0?7;H<놿!nBo ICW0UcnpA|'eU/,+[ҏjFVqI L6_V٠Ai[>,  t'NkޙӚW/DS7Z9@LL$f_y1(u$>aF? ?QȄ#=x 13GҜi@$(yje;hN'vلRǹJʓ?%ѐȵg ܽe*Z#׃WX`y\ǩ%f=I6ԌE >;k$T!X?MD {̀A-k΢:#r`3qj94|?KF6d 4R2c920.Tu4jdM ,[{^2jjҤ^VFj~~Vs#aHh{)e.uvnGpU> `^"d͓>L9.qh QTlVs??xr;pe^(y8ׂ8 ͻm }/hXKA @Ě؂ڏtC%Sx'ܿ{^c7$n*Ь GOOԕ=I 3{' xlPGEZi4u Ii xEy8 &i_PCa|ta[eτ$j vkF]:e3v9ЉuRԣվ+v~†8r^Bx%T8\HLTv,i(W8MhDńo=j7YtzD`>heڴ 9q VN}QBv]b]5dM]aM($ɞn9oQ0C.HbLg!2q|0ac:sx>Bc/~jkx'աCnx8xYk*;y bY}%m+R$epA P,SI\p/CA!GIy3cup@An @f{Z#S/pwN^"]@`N#HsP3,D喩{e&/[F?L& KEhhoБSD<(q,}y+_od,~Vؠ7ic|c3=40Wm7F8f) ~h6יL[OؼNW5)ZV|H*Dt @$4 4c7k-<䃬ء x|^MkSJæ X 9ȢDًX2 FWMi/tKxd,R EMp)W".0+WQ*g%h1yrں(PueQ٩Q'e[i~K<~ !v:BRrKW-|fe,i4CZq|\ŕKr![ Eo3+90|Wxa9l^6(c1|{%\=6k }׭qlOlm-$ " U#zC璖6p_+s*ŠޣKMKt1{ `!dcLWр%$d@z.)Hoȉʌ S(&;||?ţBAe-+$m$W ^{Dl+MvUzQ[*b r-9v,+1eθg!y .\g Sިݾ {p_R1_zk ʙ:ke;VBF)%}<#Sa$ض+2-K ӓ/Kdw8w,BN _ ҂Yc;SM?POS@#z8UΧ _b(QRY?~Y_(OE&Ovs~6=_ G'FE|AjzA4uED=e .0nݚ04ΚG)}\=OȆaP#vWPD[؟K=.,F㐹bҺ t阼G*s0㈢/UcF Y:%&F{\3,6zּKC!j;Z"=b*3zi7RVվJ9a sMwX\Ш.X:̔ReNQ;lZ{#  +c0 Ҽg^xr$Jɱh54c0fIZgs2Jp5%O `ƒ!(Z8h+Z .h6P,>~N6~3-Na-MHNoԺ鐌vW pkۿ ɹIHa'*Zy]%ш8 ݣ:LHKZ,RV3vPC.Y~iu;g :I{Wy˯"P*%wD2 (GF9/pv4z٩ȕ yo{Oy~FBf"vפ(߽¢0Օ?%b@io/U˥!C!g񥮟ʞ`ŧMfC0VuH>Q, d 2XRCzeuA TZÌ ֥ܶǎ:s 3'ȾZKks^#pM/Q*!M_HݻuK!f 2U#}9 U`@Wr2O'k6 ,r:x O|ZI}žL=D#JbURO&ZB,6'>3h츛4kS#u7YٜxWn$ds\8!e#o {r5{ Jщ)Έre010EK"9wS7.<Gt>r,_wKm] k?H_Y@ot% |}v8/ ץ'6v ZBxD@1>bͣQdvl7Oگ$*)Uv9bjb&.|eSj;{yM@a#x`}˹+\#?2I:|Vf~Qf_⮨x~˭ɣ3uSC_GdFz ٦fPMT+ =wWZtPh.{bZ׋n^%Y乪r>|2HS|Eۼ-Ca^"¾ݫl![<!k6予) SÃr;6 #e~4-kmh{rYzP~h?Q9: @z-&4ɦZ>YiFS#ŶBAu+qV<"SGtF %E)v`~KYUMon5޹5z+V,am0b'=D8((j;%n@DV)8BYUŒeKl.e+~Oxfes^n_ !~9H7(vn,4H(0IDOj@ ~ =m\u3g)}C1I ̾G2u@؃4>U oNY=ERoyy`4 FLk?UqNSQro_*#Sݽ&xJ4VB?jax.j"n!t#U^Ϗ \UcZp7W89o.3}z r-ktb۫XɯewՇō #Y>o!3‹ζ;.54 k$\S'f@[O3֒r* Fp5ż\IG3h!d RvE"om\,cTCNKuu(C89 ]eM:bIBe48 b.[U&ɇwADJLG<ķ/4}|<K1dK0l nAwPvi߷a_eK[FP=3~<5I]Z 0BYUH^cid}$<,!+ ڕ1W~Y@Ҹͧ%:J#wd'm&z+ [F6}J=[==k6gDxB4v[*Fs6! k8i`RjX8CRƥ)6姜%m[ZR4n%0zeszG!k:mRxUUb85|T&M0D0(ϛQO"ϟgԃ EM`}t* yp ܑjôcԂ%BHfm+\o39=hi^P޸>-?IΩ [)쟮,~ag:PzMjE t# >P|'He2s{x#>ܠsosT`D2tn 9‘܋.ue;0a#Q}fn-m=h8k2V/3V׶$VhgǴ6a}+{ ae]"<y,S'8| p"#or*WbzC}ƍ\hsk fe-V_ɋsN4 lAf`Җם{b'ei#p Q`7 YB)wlM1a\/:Of5@h}\Q&yR3vЗjY vC!|h gAz=k %PyKe=y[q8tNÖg 7،xb{.E6f+"--Ja9D}`,x ּ/!!\Vv*a%^ SEĕGx΅a| $aua]2%_&p_.!}L/oU5Cs`} $xS[Ϥ7Sߕ༞cC7zݍN^jl)P3? a(;/S\+%׈4>a:Z; RJ/XxM/p!_bt0Y̳EQJQL\PA}}jH#Au > TQ`=E󷿮s$M]C܋z2=C$(Bm^q {:#~F9*JiEYʶuQQM/ִk͡p5^0$DÑ!ȋclZlI`p F QlȤ}Q a9?n d;A)7HQ5A:WUs>var(K܄k+֨U` QhbfiET*Qjӂ13c /Ls UfsIF ?yӥNJw:B(6Cz3b ˭H'h|>G?)-n&!TyͫQ)qۀ|K$E(Mk-mfi|㎚gnUArDCMdXn3|ymt:yUScr@uw-^_O6?)b y0zMߴ5GמR'@FaŜ۲?&a.*{yK ҧCf=r5 8dH l-ց[x ]:7$rK ";=KM  %i,}ɜߊO+6?+v?6lW$B`B;KYBBW8q#:xc}YZBoq<μHl#qP*6%"%}֗_hF딹]ߢQJ*/,eb#-A,FAMXI8)֬H`[hüYO,Ͷ I}ùc Sé'Լ{ccTIRt/nWSDG\詖P^8M'T)9Bډik>KB59ih}pa%.KϹ!Oq;%=JItAh/ G p˻sTNɗ[f@!Bb/eZbZFB 5)I[u]neLnEuEGBdB(D\ECP'Gq ">M} q_imT[6InL7Ϡ6[J۾q"eW_YY.m4_FF':N"p)' Li莌anrՔ3;E]QkZH> &sg%rRA1d\Y}k@(\~ 2}؇ ̸t7d㈒1@?ՋA+3'%A[/ A2k=>įQ~wV]HAX?x<2WFCZVꆨ ?yB2{ 9nz:V$Q=oCfkd3 )@X Y<▆##ܫ|.xEϯ2V"hkQo ;G޼nEh =ڬ?%^OαO[hIqH\0R's<#Q /Xn b<`e<XE߂4Z4|̗xp<0U%qRsj1.e$lV!,ܔܗ9wͮ "ˬ$a\1;Hj QS4m 8"MɌ5ZGcg/a5o:"Z/H__Eob*i\9j2A!렀nJ-fp"(KLy{D26NJykǓ>8ioUWxn.t I-B4e" 4Qx-HBe(T5#n!^~ϩy>:SMxp{g>f.TYj3Հe]I?p|آ(@ 56M_m?ǭi&`ʬ)I^PHj[?@m B 7*$˹$'#^pAþQu}M 0Ӵf%IP߅Xg]T~Gq$W^jݥlt3.qX. W '6гv"*ǠxU~1,@q$TҒz.H/|:_32?r-qż~㲵n1qT#7Qfce ٢m͍TxJ^" sv@[LH׻\Uړu5^O JyJ/}sKUt:`iR5q^~}QM&50גcB"Hf ,RY&8-yby;Ml63_mcW8#\]\fҍhu^MXwP n#0Hw\T:0ZfeM} r 8۶{VbO`k6A$ qYXy!F p[n\۟u8cx{?'AX nEWyb8ƛw%c]L܁>P* cn.E| uT9D3Э0-U\x  h8z=" +hJz+l?ܒHPeeq|jY0q%ߕFG侐/^, ޚʒFo@5{yuYlwo`5铈Vsi^x]LAO9A"JV`Z:eYi/_Pʯ v:6HN6/9RGg8+O_xd4ggWo˰>Ќ!sTmV1K Eb>j36>^iafjD@h{BOf¿gތlR$XT6\=Mp7V5Kj Q5oMOh\0XwI@TYSZzզo(wK:s<poUl:+X0&7Vd$m2;H*uC{J?3o=܁=pkw)qk‹QŸN%SdSR9hf.6ASʬ, 1).`5syXXDC)~߿$a?;'!eSsuuS^ 3Mgoo2!m٤ CZ' 2yĪ0bʔf?+9Viflr8s Ok a2k-~g3d1) YoZNו26~HXGp$"x= &&RuP ~jJDg,Y=DN0YR5:TKbG$6}EСܥelE#tzm^kۻG;AĘR?Y԰-K .Ed@BC2J4Q U|PIu^K)܇K EJ4;bvSKT ԼX%^kOh2Yl? )~Ev^tbܝ={vmߢVj<΢ sux2jF}wYPst?36__YucJm +}ؘ %Rsg&ӑA/`D-ٕy!,P07҅ NRD`{ T&9|w)u2 V|[ƍ3wl^k@9Bd`hLX.]b!? }?y˸- 3al'=c42b;tcabFx+@h|-T1|Ԕ,ԃO\[e_6V44ܕ)DH۽38Kb^a⤌=wFvXĜʏ !ŋ'}uК%v`-9-2v 2^It2I{`MWǘ<µf;8J+{mgm5:9|' ~&$/Pr*\mdzq % gw&R]D95$ֿA-2 BwG@}+ex[H[u?SIr Q:MTZ0d QJZ Ѧ(.I`Vgb?Fq4Ic?تbst1o%HӖ^Ed4%dTo.:iH,b2o-/1u ܎n%J`q޺':Yꊮ(8U N %H'YtE12v-$_~QjN1cw.PL"*:F-r 'd CU675f({D>;}A}%2NefMKyߙ<}6cV;sn3";=kfI?(єZ#OդM,5%5OKRw{woLLd1rI$|D9,zXa{(*ߕIʽ ?ɇwDOAz8ϷbsO1~oJbxGc g#8%%$@y~;TFѓgymyUÓ&Ԋygy rvm/FLc/txȍixFKzFhv%DtpbWH> ~v܁;H~xsՆͿԽHltW}D!,7ڈf m2:nM7S=qыxQN>2OS  xf0'"E49}{ϕgVauS4LWʣ8'0k?X/9$P`K4x1Ok_ǒ u 5<tfs }\Kƹ[ _ĖCzhج_8wgdy Fv]\Ф{cf15yKI,{as3V>c܂ _rwBNuKx/djw,7؄Jv2r ^ tgmQ[3S l<&n&Kw,f^k:h^ IgQ 2px1f|!go z@jjL;Z; - Zr"Gj/ЦwU5y߷1K]Uu4/] S!o f%SgZeurYhΘP} wqb~OGI&S?қu98ytb5O׈+vܯЏ>_:i>Me]cPb j+ta _9Pᐜ:Xy 0=ICԌjf[aF@Z#U[-<\350A7dFPʸJK=؍ T%͚^ ;&}du5N@ Lt8Z?N>Jg3rњ Xjk{xƢJk:F{-"K4d;^ibTZ)>Z5T vX":_:} 3UP@#GM6ضO|W.HR?fEmK.RR- {$-Xq q0CM1[P*q L,hښ0O”CI{4OeYC)`%wV 8UcZ ھeC8#R+d/#:9ǚo+#%rT͢s%SDqDfo~)oFTM7G =pp+r9WZ{A_뚃MFe"xuv s)VG&cQ_niyA9&V@A]rItm֛5jbrlĩ%D̼lK77|rrYm]w^ԁF2~ Kk= W H1s+ㇺF#!b@R&sV&kLi5@huw>hv3@ЃcFal5W-٦>y)h0O=t2 PPkaf~ɉ~*s`mb4 D ì(LT}kcU&f0u7x5*N|?P "*|Cglmf:u ^sbmO:ßjf*BgE߫װ4Dz (d!ǤD &Q奒 &phEbHn.2ݽ4MGՖ_.땙 &`2¬Gj]^pT/ 'IKٮSA,hx^1i؋Raߟ%S?y oˉAjU`.˳!4 {pY/yD+ɧ cnY*A_W HƗUxtB&з_\0gјdKǟ}AIT-.zw(g=2'_z|ɠ*nlHm\" vZì»5-. &iE{ۙgAhty'#ae05(2FÀ[U%k9pzϖj=- XJ%ps+P,*H4͑߭e>.#۩kGT:Dd-yܷNH*:d4VGL&44fTnSS'a M⟱;'7* NfNsE}qx׃0+< h.p,@~J~ t܁ūU,zcPf&2+шs`AܚD ,0рt'TÖ Z\p˹ CF4" @]om3p/mO' `lo8njR /xA0/nAw}PkR{c M?gO=tÎ+!U 26Ph8B\PUȱ^=32߳!JQV* ?Y+Snu;<j- J7)|@MZ;GQ 2jp1VT1 8\oG. xiHW|8z UZREݠL_O8= |t%" 2?yfhw'Xrڿ< n:6ʾcd GWTg#̘I6jz*dKWTx$BB,>Fp+zv%ĉqUgXz:YOo*TP 7FMsT~@%=bnPR2}WOdjtM)f\IwA X-ZL#hfy޿*6=ƎMEΠռV1>H`REG8QWm)uM9Y)G8Fشw9F'/pcC9c,m%f#0eAJ^Ŕ[ʶ&HW?d$\"߱o(r]чUl+<.&SY ~r\&0ktA͉Ax2w:,mT{ nX>H%-mK:aй$ܘ#SwL}k\;|7^ bI]˰E$ʬx'Iki|I)5j8 ^R.:x -TD(=0բ+fkO xcq(?v?? *>`q1 ,>isu7Z2pta'U4?7[)u Hk#:bҤƤDV{7& {&ZֲF @ޕչ3yq×` `0}][Ÿ'7FDx3nDC%iSk/b ;>0MgU ]4=!I"Rax\Ig+ǜ apFRitl 4> x0Pcă @>@g2TjarY =$|}yo+PU*U֕(#xj6EYaT|XOuf@Z幖bcFkr9{Z Yg8;d!Kr3ytbe:2_NMz i'mEzIPMqޕa@ij"-a6/m͔9$휄egiFh _pH=h_e9jo/p6NVuQ_vrTF2UkGoI$Tt%aweZd 6i4F8 jtuk Š-|@Bps~v;ݔCP_]IATa6`s*+h fA3-}(ǂ6 MNbMڐ_:4.u0g}s[>HH) QNESxZC g|:A5P-@u:S)y.≯Xd:tufz^:0-}+LKrum, O*+r+Sb# ~XY=٥b} }_z~9SBNcu"S)?N0Dّ.8C$KHCŹJ@+׳`I0q40m8ՑlO2'VyG2R%Q0Ӽ\06G![ЗЊUj8HiY Sؔtt_o1J>{[žF muQ3FXWv$`ZxѣCj=ۋ#< Ɗ2U`Y-)0Z!mK&Pj"Ǿ \k>3mW=βWUkc!)WLːY62*+8y^?1$h#+d~sh̟N Rw}w2{a쎉A9%pUlřÄU1(?qH`i ב )"6,څCl}A?>հg5֎Q!b_1Rܗ1$ooB,)Ջ.+ +k+u6rk?Dx/aqR; o.Ti32Y4S!(M?[M{%4`JzJA!䳪c7H&F:ȇwL~./X!)l'!P.32yJؽENII7ByޗLm2kXVR.1hp*W]eIC&r0ΐYɚ z<}4iTknt.޵"s?&â`TvEc\r)jw5 ox>MMr !}nlV)gu֠#%my-$L5=c5/T~r"itH>=46S%u~5y9ɦAP>C4A1DK,Ay(> FXJ[N( WM9;?:eBgs&GÇ͘G*1,)*/H<ƿ.WTrf!t-=XdN?}4C-l2+?'b {g𡳯c*ke@K'k\T.p"C1?8{/q7 \;ٖM?b1L7^\_0dV_v0,썆_rNL 34υ*\N"1rx0lOA95oʝ;,?6b_97 a#鳻6ES+5)\]VW?:|Í>Nv75B0\FfWFq,ĔVifƓ]}tC w_-oj#,O?l6sw'e8vÎ7ϮӶPlAޞ7Sn!z& fղʴk[r}{@45On_9݀B xGX5;he4j1S CPJ`@ōeɠ~j+ua<2AoUw s.+\.VVfI@]֞!b,.A.GiU!.5~:b ĩ\unE47b2Tvnm<^-@V7pK\3ɂ{ǂoIt}?bGb6Oyr1`Z^]Xr_tD>X-[u+/F%-if0 \<׷SbcAER=7/(q#2E.W}@vU3Mw=mSNF l_rYQYFHE ^GWlOm 8u6N!/Fz;eٯtm0㋤Jz~6J'd-؄ 2+>t)q_tMRSn{ iȑד WٚTMݹ%$;ezHbJsmn %CM>2^w5r*9Hte\af_Vg1_w-;(JMw~7>G7S8=+:CY0֣GwI(BXYokK vf<o.MX_ f|B\d>4K2%g,Tm"t/fdDvP#Ǩm8P #Q"c [^J(zMQKIM;[_>2[,٨[Hp^tyZ7vz̈́- YL7ET6 zt|3q3v>du0ʟZ=CS5vB ~9=*>}/i+Of Qor`RFU@!%o-4sMG,:zɵ ^'Ck\Wcoҹ5N)jl\R l%-{ 7E7JW _bl=/91+ 0,ʉI<rcP!GvMj?6X/=!{1sc֯wtM/bb7eV"J;J![wQY47Ij%V|˩[K͔)Kj},8=z7he*u"Ws 1Su2l#Rzk5_y[uA>x(Z?^YXͺއ́Nq6c'L1DזB!!T+6̜Y"}_vGR RtVP>4P"Q΁~ssaz-Js?{4<>z~4%uv7r?REH jO=0`069nZk͊٬ ~AL3'wJk<ۓ1Վ5{7}b ۝)?  K4f &FKD{P3"+Gr"r݌lU, !LW^(^ɦxOP(!8LӁf`$@~r/b>%H9埫m3<*T IڧNj{Pӳx8*8Td3O]uݳZ8O=zXϲK?2wa>CL1F_hC#k°҃_W^$VϾ3#ք:)gCN=ove=iSٕ#Q<4t^8h7Bu]EBx#p VcϖB"Io"[Ȕ/3An7W <#::F2,2;CZ35鯿iR.SQz̆ K= L Bܳep^xXus1D JyV=<~3qtsqʨhu#f,힨ʌ({I$ 7XeK͒ZB_{L`Z{z&Hi̲$ùSrP&%Ut#.blU ̧gr"M7=ugONsIא@}EH!9nyS(v5ys*Q _. ze@xbp*Y&$-7l%Y/Vl0q˿ew?YiށZ`L`gګu& Oa.;\2ux]l@K>ؔܖTK@cf05hm.k|&Jڸ"豥̽$CL @jPdCA)s1Bkj~qO6htIL D́Ԯ-J Z̠+$JD$ @UOcXn,' ._{ک&‚] 2J4zٲ?-cG(*6U9uQ[ddOM (?|Fx 5~OD ).ݤVxqlqD"6YS!lmPO{A꾣.ɋIvzmr:a02]&hg?aw(fq!F eWq%F^/L8rh,ӑұ0ܹ Ȋ95G%O`w@opOOʗ|2-9jhĶ1&_SJ,&]SMvMH7<7*ͮf\RiyL,>BWZ`D*:cOI#rDΧ%_jٴ `3֐rEs|xHyUDT.-ٯc+_ ^+5`@J 9 kPy>潃if̢ ZEYS#4;^uh-# &rNçnAiij1 jqKeRHosMڵ$,kbڞ1oc*a2EJWh+f'usu` i z<ł<l2M}T? QhaR|w !a#Q'ĪW~4t\CLz"bZ>{lQ=C.Zr?KX9 XRM %9( և u5']@|U'ڣ@.إ6!~yGRD\]۟6 fe$ a!\ԴVǦ o`uJ\w}唦P8vM!㡧~D;}=>v9.BLaCY{!%+%.h( [&YjagF}1{AΖTv;Bs YH7Frhy(agHJy]J&@=-d_JS#N6$G2=~Nݐ]n|JM\Q\[3gYZ06238ac7b60bfa150e9f4bde6adf271f60bfdedacc1977b678af842d5b1dae3237d4803cee7dcd2e 874bad08945295a3f50a8a972ad8755a8229eb2c 0d722101d89e6cf3af7830dd9e50fec2c3599029