SQLite format 3@ .;  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 W=|<t ] HOL-Quickcheck_Benchmark:threads=6elapsed=286.695cpu=1375.388gc=69.4487zXZִF! ]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲB[~?c{!յ9Y;# P:PWցWBs%Z%"7.YnZ݅IMT2u*9^YrEt]W{5r'L.!(֒0y‹fxq:ruϐ;8!oHlP?Lk{AƂ߫𤠔p8!-e?M$FV32Doq&uĆAY,Mblɲ8P#Jk& Dbo{f/=mpӼ)q`o@ 4'zgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0.ͯdכ5ovȠ" &!awO`_%ftfM#lM(a, \^\"ޓKշk~t/3@zƒ6Ԓ+'? -$LE,W1pBigYZ7zXZִF! q h]ŗXi%B>kP=&2d+RTN?QHgu|е#P{}_z&%Mh<1[2j7U]O+l\/>=B13f!-J lֹ ~E@O\: 3Qe;԰hT\;Hຆ\>/p0rcz>fx.Qy^QPB+Re[x|vv|ǷdJ ^%QFU\Jh?0F,V#x Ocǩ)A4dDoW)Ѥebě=p 4rh;[Vb#Fzѷ_+ +o{d3_AX|E+E_K-:Ocvbv7 ўAy(d[,ud# q1ȂNaݬ-yb.j\![xbۄ8U\9uk;CqU$p2|xBw͜,6qpZEkZ\vmQԁ+|z9/Iسkk!so{T}2D B'd\E,6S)$[`( i ?'ҝtT3B#tK8Q0o:ΪP{O8BǧQlB*0iݣ:ûY[#U9|CxL9"cs)(l -us\j*((jadļ\qG4 2i-Ӈ~@&og{̟+D]On|dlq052'&r=yelW1aMT)E1 7U0s5R雔d(m%oycm2+xzh݇Ҷqio3jzU< TtUX E`^y5q = HOL-Quickcheck_Benchmark k = % HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_Exampledocument.tex7zXZִF! `]A-MՋhvG"uIBm5ij `W')IfY* q z|H-/$Qn2f{y"Сis& /m)c}XRr"ɹL_A5H8bC+ސ ۍdWZh$d ַNyB1kKS[{X)s5mU)ͤKJ1|RkY\F'T rڬwؔct>[7ЭPj6m@W 'áiP{Py }5|ˎӦG0 kuAWl I MDq| !6Sd3wJVd^(®~;`o*y!`O4$Teg;5.;Y(ɕlCCp,K҆MlT.P9@QS(/d8TO$HD=/9peVxLG+oVS*‡:؞X;{ 1ksV}3f(QcV)gn=36݂UTTJ0?( Yنorn8' TK τHjp7[X[n׈Tώnx٦4ent<}o!^Empe e؏A\ucZj-]^\:e]\1oj9,pP@m@/|*m2PWcYt#*Ii=*&v[.F]N%ո땔B3=yr fz0EftADLFüBnRnPsuG9Q#M}:s/CMܫt?Dh˸P^̅EDw p{8`N,K8TBgYZK=s% dHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument.tex7zXZִF! ]A-MՋhvG"uIBm54%?э~~`ٟ v`kM^OD3J>IxބaeA{cRԈdTK&Iy-lq/2L/Q}F7^˾ޅrd"7hZ ksC >sTL}UYu2rKO[7ЭPj6m@W 'áiP{Py }5|ˎӦG0 kuAWl I MDq| !6Sd3wJVd^(®~;`o*y!`O4$Teg;5.;Y(ɕlCCp,K҆MlT.P9@QS(/d8TO$HD=/9peVxLG+oVS*‡:؞X;{ 1ksV}3f(QcV)gn=36݂UTTJ0?( Yنorn8' TK τHjp7[X[n׈Tώnx٦4ent<}o!^Empe e؏A\ucZj-]^\:e]\1oj9,pP@m@/|*m2PWcYt#*Ii=*&v[.F]N%ո땔B3=yr fz0EftADLFüBnRnPsuG9Q#M}:s/CMܫt?Dh˸P^̅EDw p{8`N,K8TBgYZK=s% dHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument.tex7zXZִF! ]A-MՋhvG"uIBm54%?э~~`ٟ v`kM^OD3J>IxބaeA{cRԈdTK&Iy-lq/2L/Q}F7^˾ޅrd"7hZ ksC >sTL}UYu2rKOZb A@ &T@zbgb]C;C,b\3;~YszFa}}"ttZTP34j^o վ,2GeUJ !&6!s[s 26*;b!z!T*~Y"8Lu+! _ eF,nzx1F-|:e|ocShU  CL-=mG4"eH~F᫸8sUn`:6T~:M?;ItoX\oLjԿU_=Cm4(\oܣ;| dSβN Zؽ}>B>q%IIVl_u V2p^kuT>oԭvsܯ/`}cCBtb3ZW犥v|9nC?}L,!(."W<ieȲaO,o8!>?yEVmb2~|vk].ۂ ~n7̨mU)R ?疛`N kC%A'>e#ȝ[lwp3܎۰"~ͼ 0(4<7BGQ9mJvk/.=!m|x@ >-׉$ɧ:O۬OH5~If%Rp[_l[ CC!hpt}! obl}A;Jsm]7;ȏ ty+hBT,HO.itɩ % ܃0'Z`bjVzS^Hk(D- ? OvxlxO5%^uQ'&A '_CA ;cv@lʖoOːdk_a3qYEF bs$k<iiom`W|4M,f^V Z͵LvJY"BK)GH4Ƌe 7& -眆e!Tk3m/0s2`' !Zt7=HvG+uЋg}O ʁʡ]Jm?h/@ұgYZ e =% tHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_Exampledocument.tex7zXZִF! K]A-MՋhvG"uIBm5ij `W')IfY* q z|H-(]Ry\!80sD5b"M҈\wƋpL,ZSR.b(_߈9`\ wp&ɲ!nj1Օ‰0,L HaUhjdGIp(Of՜鵹+-;[u s>@. 3(jFt.%0uWmaQVT%V^OׅP~$bc0qHu-jb&RȌI~/Fa~8wVoDV*B#v ;O# п%4}1̯Mڽ{wKRwMjy84G(%'$hv](P'0D/npd/jzb݌BV/-)$rmxQq/7VQSTz)ܴ{/@`mڈηlm)W(㔫Eۅd:nacYNGo IإiUc\-2EcIo[:j޲CseW ́$4iZ!eز7J#r`xg\B&Hbdhj2U&R]sݢeboĮxyF/ FjܶYQC}/(}7x[KÆ<]WxUȆ>ӾΞ=Ͱ=T-KH@G꘠v772$6~mw.$`|%!/YHO_o>cT5<–$l;Q>Kmsq bDz^" UMg)ȱ+КASi#DTn؏Ƹԛ\G]nSN`RC(w F"{')MuKW~O HXxܟٓ8oxXk]+bh$RQ cE-֜4.*ɍS&zK41ǰ>8*2,N#aCv$GޢU yd֔b"W̞noH i!kͮNlU RE`^1}Y [~L-isŗwgYZ C=k% \HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Basedocument.tex7zXZִF! *]A-MՋhvG"uIBm5ij `W')IfY* q z|H-n>-$iΰLݥ0fpx=E &wl<_{B秔F/\ #]c0(.@̻~k Rn ߒvPbk^8!Y tQgVs9 /C ORYFr}F2`zk'LAE3dVi"=5y#T>a/ r'9{A/eljo<X+/xy]7DaHKY$19=W/-e?fq6jM>v>ɊZXa{ h9 0aN0 5-U[ie rO/c8|qj@=GX(V&I)_2cb T>T}DxmvY FPJ|`>H46)P3L@nk'-b9Z'w$E3T Hߙ~$}\# ޼ j1_,7h!(^'ۥ;y;=Sh,i'~ &߃l@K3'գud<,{z[o)Ō0>Զl *+gV8_O= #sK8jf<#&qu `߾gdi:,Do_h*?B=CPvdT &^6Dv>Cдi(/2B~ >~lTC T޻ˡ_`ǻM蒮>&tG w68/[0p> n8~ `⩇$Ey .X{\[419F%Btq8^ 2nE,o &|Ī=) VS5*н"N'Y/ 3P ^s_t ~]ɰ"_OEj2 kLqЬoq=3N __𔀇nu}=QX?>y!Xw!5oԄrkYMU d^~KW!\B;KU3ۍE?# 4\:gJEU&9bOmNrbP'zY髧EzYY:@PgY+;%w{'Su_Uwu`/˄=7t x Jmjanݐ2ؤ/`wv{E~S<擔6,A,lj$n D8鱕7-uvI_ VtJz]õC Np覯t yC;v ,nw&'>m՚6Ar*Jti+<|r; mpTݝM2,@ D}{b(PJXu5< @>#ܙt,RDJ~_OiiKxRs`+*~n \j NVw KgD?"6P%Ϫ`k룈\LO.#>yd Aث1 ، h!'L]rĮt#^+I%9J * (#-pW失}ٝ/v ,G&W@ۚ~kZɹ?DQ=4|v"\P=nȸe7}CD 2\Ux j#;t:23!A%Џ5q5O.60,?<IP7 }C etG]p6s!\ߵ1ϹP$Js@_O[p V8b/,k/0Nߦ#GaGuoDQX);݃,*gYZ 1T/R;liԺ|Oh%$n!0KoV욛RGu$FJ/( $}GwAClMњ(Akor4ȡT]x#,A"b 7Nx&a+I&+Xa]D=Nd6Nk;-M->eMr+沔YD}A5KTTz鹆,Q=򧥝 ~'8=!4;Og9)qP;SHE_.2e7b=Cpz!o xȂU; qeD6r(Ej`Z <ʀȳ0?P~Iy ao>XNkMQӧdL:o>ײ߮p H}K'h^ 9&"^my . |G#)ʭA?wK&nXc7p .-`ZB瀖~1^#>e;Y>tzB5F}o*5-tl'i 9W W>UN" fC5h;YXi#w}6ÇWEB #iC(G-կ -ƝJ"ʫ)A{P:|E3qzǎ˿]QLe!3a{j?:‘=?1 N ZAJIIRl ʉQ)@4V7њ2%-)N pDF""zfiX<&jmAdx`[J@;eb_ly kxMykzp3:[?ƿ Ò n#wG{tKAF4>r+n!jJ`*PU)6WZGր'k9< J 8*-b:EPVA%+nCtdDą #ڏjyy7O$Y==xn<5u`O][ߠ|(7),.ޖvIS+ٞ"@ty+w| ^>[Tk1OJ%UW=mE1f;$IU;E,! PxFcꝸ@30om`# .EG !:DXq7{Uqb0ft\ rRJ#i}63 Vz !V4ZH bg9#'i3^B=p*SLlTelNtz.C{;:MՍBXh^IU஺-/#-)}]z*ָR1o8yC@UrK{%qI^3VIu!հk}z挰HO⿚J=Zzxb.<1q81럻N1[]vlT8:39S:] =z4vN< ,]jdX$dY^h7SG֑sDĪH?:lS1州u&Sd[tQU`g}X 쉆{W:">pF^skzTF' 譪f0Gqg>t&,'zHz-|͓Zfn[̮ *N&6s9GcTtMսrB5fIVH1FzR(앀#GU=eiV2߃M1n *~mNeQB wB La[($3v^y ]ы q|]&{xtei]h>:ؙ?驆/m)VMR>ŃRiQ^|姓5ב?!|72˯Wj0|Q&vcԏ> \!jstDRXƧÐĕheO;|=}00}fEj%H-e Ħ*DIiE_ 6Z=C# [rY}˥BW\qZ јLK=+g`O:f`| y^ͪ>JFwHXc1aL+_Hz8SMa_hN}<٨eTצ .ksklϊ,2]kOtK˒6Av6̥/SdZXC mW1\℠+sf8O7t,90َ~% $rqa¬.B!Nk?hI׷pӠo<vⲃTy ̆wNw4 1Q5 U>;U4#"R`iUSDvy<}Hxf"FDS>U+ _mRW̶9W}{YRS>!{(Ok|u֔i(oے$~ $%'8N]gJb^ 5uDXRV{|ٲ,NVgr=J&F79`pg.Y"<-ҡ>0C98Wu@7'df Hw E}Jc&#bQЋڭ#1SSrnp,VcB+䪀t ƃ4%KN C>A'6L43CI7 Jjd_C:7 ؽG>_#@;-:E&'UׇRN2` ąRGcuko 7믔TR!qj!TDEȑp 6:͢ᅌ%.DbZ- XiV„r:xc$܁j3bE%fx$ۡ>M}ELe,WGNJEKWMm݉]7PHg-Y[RBclp_ H_ZZlȀzZىB>djktf1S) mwi\=G]2ByOB29.$I{ū4A&'*>8nuu2\`Rq8e\z2m(6}^ |6}xgYx x/jMA=bkiYE(!BSm?vܡ`sc|CjE&o s^btaӹAI ,Mfǹr=itmEo^o!d]l1d(߄I85P+kdͮœƧXDYxU)qy`kMK?n#$G^o(xEPhUwz<9%NDȫVta2yr2Q}\\.W4Âwy-!d@ Εd(єy)M ݮOE ECD˚1='NM9 Uhs}5#rN?YԋfI;P;<ü07ϻ@\eKC7#6xB:GϙP0I u|Eٰ(o9|FPzg&oȦMO97G7F2-Ka'f5y0>蒐&RG4E}a q0<*M:o>Y l$kc&CdvPmgY }_ihz0(!{6}}ߓ f%u&#&'^LxEM*zؑt܃X豟g->KDbʾD,Na]vfi,󗌀#-}ClDa豔 02HxU^QF ~ x.HC~+a.~Uw_#vKʀe)f7gh,In]_(̄ap"hMbr|]Mހ"Ë22 )eWTvjsKiUlȴqʎPQjۓh\N xָfRFq oMTԷ5xj%ȒSÑg=$?,SW6{:SC-&"BASFJxA}\ꂏsHx*HrYvO&.Jch2dTZ6i4cGcu%y)1tinTf;…\ ȯXƳ@1b8 1/(t%b/#z;ť/!:|xqrU+_RNkzICA1+?Cfl|g35 Ŧ4g}&}d/vDr CM,} -G7q1h@{xC^R"tKE1:Y#] B i)2#M=)ʂdKpR=}B fv6'֍)r[!26_)PEJÏW_hyrO,xl=>h*/O E0=2Q\f:3/ JVZD* Uo),R L Ū ĉKwt7J|]~7ƴEom e+f> >̑ರ@|ʘhiNPvqfج>')Аl8=aJt~ڠin5g=7YˡGYh/~ 8k:25lIxX'5ǂ',# (͑^D}/qyLjZ-Ж:FX{=j6oJ!0.Ay1$fesYC*0A#J5:*%| EDRtkEc-v:rՇWDy!(CKSCxBt-׬ו&;QlU"Qs\F4L`+jG@pjj4;%%b [ *}{7"708.$^률3֡pw_B(u80굽ƕ O1ܘ(!%NV#h y?|%s'\q"V׾mb`/m>^*dWؕW@DMIJX.99U}{Z!ڂLi5qj"JN=DX3sߍ6Q}9)1haE3YSV3S鈞h U r$(4%'ۯk!&zl uy\Mڤ= Tۜr"U#&81O {2LBLu- Oi"nn?0C|<n?GPԛvwM[4p`@`\5IEifжmTL?VZ!J}YFe\u7=YAmvf.@mlW-j]p)~浪7>> >Hhu"x_ ׃1d}}ee(HIY:/fn=9zA:>{XF9:;^/Aw{g WBiAuDָf[j.X< g};pO)#k I|n[=/DEu\?w^!G|EGe!۾аy pؑn:uW<\iGgHX"zIz?qՆ.A@JP)?ӵ>Um#9XORŬ P%7Bg T&uNH$1'q f6Z ql4U/ARPP-;q[WF,h*6rPn]{w*(/."%w i>4{G]EyT2c[-?qu\1C4h ƃf\޴=ݫ[ K=2hFv?gJU=lH lڬS@ԴO eUCF")q'Oo}gJsz[&J}Z0Df8ߐ<(?Cdĵ g0;p~(:"T7җ`N{SũPI Ik}sk+=I-c0N<֫Emrxڭ Cr8l]y$@^ SNЬKfTV5[]}/1kEL:``E U5soOՎʰ-oBd }86atݖ'b;yzTFE )>C>2,KX7-y!`د[Sc+?@ĝ<;Bޙl/Y՞ >mBx}VU͊5ى|M;#S$.<~gw8_?b(">'y0i|,s?eK@d]@b ]#?)W,3'k0U;Cc3+A&6t=8Mwl[+ +7RA,b KK"ānL\*GzGqQʨ @E8jzY|^&jfO9ݤRL܏` ݘFct{1y"W۽aD3ъNv<@8gO@ s ZȵƑi4_o-k^vC$Z0uF}ߦ xK$a!;GQ bFIObJx9)M"c:%I g.^ρ-U]DY\+{EZ#bS3O( T5aac'KΈ `yS-t Rx}|`O&2d``CJ(Ǻ&B ep"Ƞa]u`nn;dRhmu 笟u2HO`#ew[|„lͣH5n\5%/ r\V}8uмH zt'b޳R  c=&@ϊ)piC[~H[Vkdz~,h.@L/qW^y8aY؟^:JtDC/xkj 6 3aޞg bT"/@nyS({$i~Mιе!BeDG&Oٝc=Jvni Mʌey5SJ~|bj!{R݊{IYr .IW-$gSx\ 39NTX[v^c馑'#uyJ}\\5%a+CߪJKU0JT̏ nK(3-b|asK<s§vʰZ##䘛<`F%yPni@gCR{#%`^{JQa|b|O@ [.j`TpWRilb _E 8r7WJ8 TټZ'':V|פֿJ^Q5}ϓD>vgwBB%hb%(8)L<:JhۮXPii~+oaJ >1Y4*7Y:OcŚq8M (=x =^!h1֡"TewZ)fKoԃfqP- 4ߟE$2O%( R#&+IOXeϊϰ6RY r 8OkH\Uu{l7ӾUD3 dV[AxVw3 .u $oizGm˯&DWǢ=tC|&R-]X H-PX:o%^u(wE5W _`ѵw9̱nSD7VEk _?p =\<ҀQZaa|k->5 A! xيPC s)u.fvI=ؽ5>= V<Ծϩ[10:{ ?v6)n'[Y!-F x>xlx3"L 1݈LO'Wc2KҌ#9I v a-GCG Å >5+omG ؊s.\x8po-F+Y]ǁ,ޒ`y&un-:YƎγ3ZJhC9fSTnQöR$X&u]|*0яDPܖ\:q7bْYJ?]Z\EN$1-nῒD'!j1U} 'kIAAih">'x]@NTb kх^]'I5,&!]0(K/}dm n1ڟHVl_0"ZP 1sP‡̹qtJtB0փA.vlW| n(G{ՙ7C*2D'3?-86Q(lIjKӓi9MfOT+BgT?븽󓄙;%14AJBŶ]=ag+|R0-GtĩFlF{NڇhUE݂MItKtsIy@sSU9,҇d9)mZ"?)X1O`?ڝv:vbP .gHѸ]!c*0Z:Dh .02Q5C8A_ 91 ɘ%32aKL>/S$-7u ;@,vlƚ3~! KTfV q} QQ RC65O*:=n]2̑"k/ܣvG*5 F-TytBn8P:>ht޴("tI<A5 kW¤7< 8V-C'\P*WۭFg/~a>/N,(湕(A}BH؝iSNҿJ@'; 5zT""Ⱦm07J8晵@+`5o)g2X7"%[p.Pm̝nU| :Xv31ݾt@YE+j{(tx-?*l #ۮNuvA'r0!!!-Oǚ Qf٘sLZL/޺YA׉G@@ dg %(7-:|@'֢|A\W7zAH"}EE kjKiv?7F_[2%p~O)Gp7D`"R:Ϭ6p>ʞbfR)xǝ {n^$59 hv*5{Wbl3I `& "ý5=ݗÇ_t Ӝg/eaćfZJg8iMu ((;pޗi|$jV#|*Iyq"E,؞Њq:ޚc%0jWgSC9\ < vKN׺^iںK ,9 ԬSz2wZp.˅ad9ĺ3.I*DykA=xO~6k݆R\Dqo/4?tܮ aJ)Ptai~fFꩌ`u.`JI1y]B{ҾBK _u4 tD))<:'U9yx8BВ S2c ϵv]wN:5ѽLo>E`&!WyE4ƌ6YC}\i&|ūgE27@@ɇ-M1#U}Ȣќ4#%uc^LkFB 3 c+(ho0[!v)k!{!V0MwpJtIWJRi>l USݕB'߯-@7/KTG4sCπQifDB7#&|x~IA(@ TnݖEPXc'^ubQ=ҵSz~g6=x'uک)T ;Ի5- [ѤTc͕SN50nIgpg=zXjH0~o3- LtI&Ⴕ%QgUW{kIK'if:m'̪Z2 8"B?p{#]\[8?و a)r:[+ MS7HW\Ql#ak(\/ۮkv[9-98uw<&Ķ(8d|rh5E,Ӏ\C؎b!0@V .`&)̓,|xJ ڞ|V@[^n)v$@g`s=W0f m'K L}+6u_hc5@1,ӌDz4t8sgxhҰwP9ᱶ™iYn)NWeͧn5`ȅ$[][cKgAzc Ff9z/Q˒6i2.P8ow})Neھuc@>l&60z/xDt_ =\ܚ3dô6'r'I?ݤߔF^TT]kAU o=_ԛ j<K'ynIV^JAҸ*]7,r(s3}<+<PO= W%_b'-B@~lJN@N Ps 5Y$<֒I QUt}Z<>_3:4IC17nLs:\(Ξ~MBac8B&["_RrAs?}Jz[E#%!OtgU a|o(;3- !V.ںN@7<,nHy؂(7z{2 'XME10VQUO,qM29<,\SxyO]=I/HǙKZ%bq:je灴3Rz Y-D3"V6~y}l5~2ѳeywlS o4:>̊qރ7Sl~.qd\n`HfCb8f2d~AQIʉinا3F=U$."`mG|ԃ-AE1%5xYBQQ+6^0dVҢs1+q2mhh/V:Anvhh"H sضWG \9HS]F6̊ /A=Hp`j7.R&+yOrjmttnd xqiOSDG]"YQ-*<м)qA,c8SS{& dWE2QT7/&v&\RX(#09Qv{jY 6u_vBǸqf=項~рJ=?~:9kF;n=~ѶTPs#@BWa/S\U"ŵօk,V83Y;q-Z-Dqg0g%G[Ds7{_Ub8RBtiSe5xۑXv;R ?E,qD>&wth4ill=#-v @ϛw8ђHs >y$8V6XܮiU7w !nhB3%xpT\T$˶eR~*t2l˂QvSc?F{0R\~7Ȳ%wnxhuHs)#M; x=;[#F7P#B-'`_DY&|J}0XRn[EpETZr21\{dBLuƦ3YC-y)]|* ܄1牝wURizѱ(]= -0Kp&O[>s׵g/c# |1A[D#=.)ܭ>Mš=}2ߣnܬvmDSJU7OgKiD3A6)ۏv}M [hӅ6Qf%1ւrLc\q8ːv+v`1fe X:23|Qɨg̊;W:*f.'[}%a}/ׇYH]x'@4"(AY.\f58̸ {#U}bqi~8H,|R:aaPA GУZ0ki<۹`*4-WL}217ON= r.LLz1.!:S {E+gLBkq{ۍGLd "i4`d nD %63.{GlsJ) :^ # Zz5DѫÕxJL7]ȯHxRLF , We}׹o~}uBמ< d(#VO&I%ckow1!>J+y=)*PP`LIdCv-iaVrYlFe_^O "Ķ]6gux7OrLׄ;htնМhJF65mfiN^-h$> LǬr9:f7ޢZŚ6z;W+1`k-g2_6v@?9s,enNw\O׋!TAa/+)"=mrtКP1Sf8iWͼϼQ(LPZS -m{ ]!diዙ<;hbqܺ- BvpE)m⭵j 5E4 9KΜ+ Qyx)fuHӁR/pƬt4:miJMxq}/S4S:`N0쓯{:3{x35v\3٘w fԾ$xD&Ŵ6Oӏy .â-<[j Pz_uуԓexRPB[ t_x{B+1 SfQ|˯I#.5nQׂ|$w]" 4:| K[ۨᜲyd[[:`f?M8_J%(Rv\F1;/;Rb=ؘb90QL{;!$YC;ޥϝghxsx5*g+n b 7!^ ۦ\"CN,^4_C˚fLX5z ܼJXtߘ' 1[A;?(B[z y+mօSͦOH.1AWi~ȌerQ!{tS!j<$d" /:ԜN~KlgF>9Da>!]07}Q39w=-! b.V~5ƨe>F.mԮk&|9*s69UcLj kj7 j1 $nʦ(Ƚ2TSOW`HqNF*-fDd *Ho)7!cՄ\k2osWH-MG HZø(#{S+>b8<:K(~ZV+8νS&^6TXt!,(P)A>gֹoh-Ӣ4^}lngDRȲE}44p4[WPHPjdPX8I+0 kIlxcToXTᑒ;t;c'-H؝XeD}|`i>YתaNb xVv+iº|y$u`>cp(m ,eD0ޮZXTh|/Ȣ1V ̳n*z clp$xMJu^)d;XZ<4/~BpvJ;NL׍$tv+>'zbϮH@ok79Fp\qZԩa4XPfku }t{.x 6*)‚RAd$.SKBpng5bT(ygŗQ$wz9;D;$9-L( iR#w&fqƙ^;69z29r~ 偢4*T;3?Oru 늗.Jf@ Csw`-) %, )gހU^l*&Tf5CH?v~.$})Csǯ>^z/=%d t7\86gJ|ob6fۚm$i/1ݵ0"g!sC.U{eb- $YHJ <+GZ!RqІwCݒdUbgh"GpAy$1҅)/ȘID{9xQQ7ړJV $W'Mɛjwp +f@#`x,Afh%&l{W!rjj?5˝[-,-DSyc;0qQRQS#">@0P'XH'ZЈ$IIt:L$\1xt:&+wuDo+O&Lz YMt+ѰE@6IHtj(uNLݲ@* "AO4Ք XJ9ρ?;\xٲ˒*m9*۱r?w~zK~7}pVZO[`BF =>5̦:6ox 7 je HQd"MGhPjx%ثw!\-za|NXb .E!c 7_ R Ao%Tvp1ؗR"5`ǐ54ll 3}xyW r%QZ ty '!&6eG|l # nFT 1Y/Ո~!ϸ;*W-iA"}M˲c<~ђ޹P\E 4l8z`J hIӌvI=FI|[>ȠaPЉa 3@LRXԯ3s;9nϹ8}kn WQe覑Tb*;x1Ż ~ֶQΫFys/̴ S)ojTZŐ+]sAY)*hA' <{̙v">}a¨SI$Gszdkuľ$7 ^ĦNRv{fZ9iՊl,LC:@xnh̟t޹`f2ǦNp!ڪH$.d8(ex2ňyCOGIQQVLWJϋ)1VC!?P_0B܇p兖z"Uoė)N$fVՊ5*if-h}/S` A>Cڏo~ʳ I:kH ?!Il<M.ʞ|@Ag)0U j<\ D3bʗ,r Fj Gx^$ia)B^'GsU  ,C-3E}V1s9hiQC~ @&nҺԱ]G{%fq88t>+î".~|+1YsA2"Y!F^d۝OV< j%],˨'zӔw;y%I\baPhHa+< Uҡ"1Ӣ`yo2@a tClx|\AݷQ3d:nr`h\^_y\-)v SoX#`8|i}}d-TCI4Al,J kn+5}[1']g`^.0MY1݊DzjVHGeZI_c@O8jzOI=QօGbz< 71m;h.q 75jlWL",t%5ܸ6%ze㩟X%}HvNH csjF }uCc e۔O|Hj8AN;T(e$ J$-!۝VX.ڞoΞHGa&YVs9jK_M`(OB2yOV';5.LEy':&p5Vj>_Ghaϐβuׇ'>mH^ե̍iO*Oga 吰m`R@501ޗb B0gF#d$ : 'N2J@b1p_b6:HUJqJV$ztO2>z$aXB-mh`'?T8P0]b4änBB9ҦҾXg%҅8#|dGw#zڧ7U_4es$h„n?D+ӂbs s6&%)sba=~H;h/C)P@"l?68_9k 2_ftvIt<˜ȉK&'|g֫PyNϏL )`)'@%jGƝ"NؖIpwF'v! yTtPHxkTovG'}0rST"<1wo4NpkF%"FJK'. 75aF48+u|!| e)+P6!yĈQ#ϟJKgf6h/&8oTI ~$V7d`Wa6X{(-b1b4.e^ ܵ",_rrO\j&[<էM^(Mg.ϢgfpVHK=` {~5dP*ca Q'7ODќ;2َtld׼A|N<;TAӵħ`2a2T0yp sϿM`F(n-JU5l4gYZe4dfcc136b18868fa1efe9af2cea4168815a01d9904467ccdfc347b5bee6ef036ef0dfed0d85bd29 b0460f12284c10e5929b92b4ac141578669c1ff6 9f975acad972b699f03fe810ec4b42636972fe41