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 G=|\4 ] HOL-Quickcheck_Benchmark:threads=6elapsed=288.305cpu=1386.700gc=60.7287zXZִF! %]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲB::ʖ5 qٜܦ_o*{~s@򄵌6 _D1X|&3{d+8(*Hv4aBͿGV)OK*PYbL>LjQCsX0j B T>oП7лL9$_! E~?A+.!D#?CC $dؾ{R/FgZuPG#;EP謃^!&SrH>4WIq }B-ƌf߸O`7#`>μyALHv; >56꼘|Dئe>'Ytz|uP4 Wk;x FZv@ׁPe*M .ZǏ1;G/( x >êF8hny?DRߪGc׃U3(of7gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0.vD>աk@`@`\V*2Zbc pc*bSO>vTLjtzF4//[[Χb0ϙ, n$Agdh>3xrtgYZ7zXZִF! yh]ŗXi%D:+|fGCjOI."n6Yrc,E$nיT' M:^×լ86l@H(Ͷ:9d6`K%Rt&%D;` ;´uo](p U.+6!sCR-fPB#!֚!I  ,K)R5yS\Ld"[>WNNy PNߵ;Pm2k^8N@+E'6׆g :ҷ\kEzX{xd#bEA)D2-ؖ6䢬#~vjA@v_勉 鞏3 f|  hM}7 -s+MSgD?A'kI8H1pdG/Vi}#f@Nݘw&Brt/Q&^9%kbxJƕ Xq2Z>ƢJ-0"c S-KN8_J:!И徘 5fx͐^%A[m2+4QuCz>>DǗ,i}0fn%L|Y"DsلqFn@-=[-=dD&ijܸRg:9)RaRoIHJ%0* 7>mKR)t~nGjۣ=''uIpwfQ ּ Vt)d|4X!@Z6$e*>13;!jo (cLcg*nBM~GzZd^ 6TQ;-TQ@Ys:۹B5옻6sQ(;4&K# 4DnjQw~̯]h [^aO'+,*wYZe4)a-/ :̪+/Nͣ|P"pܮ0`h}~|vHX/tup,nxekMypq_ = HOL-Quickcheck_Benchmark/ =% HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_Exampledocument.tex7zXZִF! L~]A-MՋhvG"uIBm5ij `W')IfY* q z|H-xK_5r fqjelMSEeey_x<6spJir*W~62/E(Tv*Q^ǰϛy؏ι.NoSt|NhBZb 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/@ұgYZK=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/@ұgYZK=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}UYu2rKOOf՜鵹+-;[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ŗwgYZk = % 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,K8TBgYZ 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 rm1X+ܛi?jð|^؜rŦ(wc DaeBmON@Ns[ַ-fInDME)nFQk^N T7Q͢3?Q)xT"= ̿*`L@|u"[_ѧ Ig]`-aH #^)# p&uK~ʄy ]3E!vҒJߗ)#_0GG@4=ۍ2-{bS[{[ xQSԻ׈KF{Cf(2`M ~b#C({aA{ǨsGEYSKVPKӖÕR)!w>@(\2 k]{gw `MOQx. PߔKR#3>jˌ= ۦL9eߝuToРDTRB@UxNLh$H'QŒ3Bi0i="C4eJԩVg= @F`]uKaK"P Qq&"oBq+j‡{ ~Yvs/\OR5LtHPY]ŒSubRW:z:da.YΈ{z17YjuWw*y:J \@pU:.x#;+-{*Pm,=<&Fd@u\D(!iX KM+]IZ.Aw9tbNjPW~jM/ӆWbQw:kiD< TK_STɿ2F' @{F9JzL:,8_ u߂ؘXB~NfE2#w\Ô-sWAdT2 '4giQI "C+iSAᴎc؟5|(29 s~-R{B2O7+o]Qٳ7=g7b8&9KOIwבVZW1DdcF߆yٲ5O1kMhڡ((/i-dj^ ȸ&^T :#k0MگG }ޑ׮`l[t=S(#ǤE|V:qȞZk WV,ɴOf*r1of |gu 0mRm_?`v eS;CQ]N`53c,5Syj/ojqmy2oG*n./l<$}/kʁM>tҷkdSB>/̻Oq'ݵ|&GSA q5 CLY?<_AѸ!io1,yW |7(-`XI>IP麗E4 +>+y2\ibFRaՠNfADǼQՍ<6Xɝ+e xϻ$g#mck̇8fy{` DmYtd?U[q |- {s=$?Lxl (6Tn 7}Ȁ2DoLx= ! roC9IZl8L{i`d04$ "ILNP -ÇJ /CT鞉2SA]lZT+Q QayTmL+Sqvy !% 2)cЩrtUh[#;7Y(,k|3&sII rn,\M>Eg%Q 1MYz"\N:d< b8.$UJ(?sp, P ղ挡b·38lxcLv܇ NP'd3X;r4 x> ٨'Jg#oID Z_m^%'1?)%w*3UTZ:p5N?9o΃u+"A J ޾݄D˜ͳ=$oh({ r$cKLcG"@L֭UBw[ Rx$J[[.6@|KK,H]K#Ob,L$#Ѕ{oVZV`h~],qř}U;+wma%A*X5X.7l^E xZ%끢t*O?RVt0q)=-9 'p2a jˋ }ƔYm~4b՞I`1:%-&d\WPC}[L,`xeIUoUp2$}ĠXFn5 ,4ӗ| >'% ֙:qNv.5>S00Зl4뤌.QVrz'Zu F/>&S#Ah|i_Q+СWq,cO1QzzT!ڎ#+' [iQ-<*¤.AۅȔv/G)qK Sw̼ql9^J:1XGcU,S/dѡ ڲ0.YueLKv70@I'BFD+wW*֞jjfƗG5!x_@_4;Y"I- Z˗W(-Q[ Sc}p^ԪV"ySL}YmaՄ\ t=k؆߼0?  ~qR?‘yxj/5]-/Wyl|EU; У4IZ6<臆+`ˌOGlS' m \c=_9{jb zê2PZ3Ϯ.ӫ]LAɱ.BUOh4~_> twݎRզL:G)1`Ӌ׋oٓ!jTbc[zeC}Btc%ᙗT)'*x "RϯDOy쏭w G98$3f+%Q3g9"QyQ ?ywpVTs-X5?ܶ3dvZ$N6f.ne"~ 9VJ}uґ5(8]=clX^8tP tU ]vXXM}L~iItr=~K7: Fürlja >l4+jI7 0==%zm0{B 鞺; /l%|JW`;]uNq零2nfrn%>z 75jILH#Ŝ{ajǑ4dڃ2jNC(P/>WRˢU9pޗ1Ga0q8ת/jd)+ܭ_kbc4qdp,e$Pc& Е"m$˖'pZ])lLV3.-Va{ Boa =ҹOwG;X.)> N5|"| {*xeVBuf'iqZB@7LM.P}yK(xȧwBw-3 pt?g1?Jkli<[ ]pbD#(bhH戹Z'L80S Ҕ47BFUyԮx#SJMӜ6'%f lԧ\B4ruJ}./Ӵ*/ v/Ōy;|z!wlR)XO,uC,e*IiM!95-?Z̼4c}^P߫Uey&%EAc% k̵RL VA{AeQTo_. ^QC/ m1y>3uvzVP㤟x.*o> '2 k=bEH0 gŻll粦ݞpGh? JQa] @+iFghS5#ᢀη̣o8:KIL%xEȝD{S=@TL% 0h%M&s޴odm- #2~0Y1H(Bf$?-y_ԢoyD/bGꝉwOVFhPKa;}6l k4ur+Ѱ5^*e;+f/1U=wK7IpheM&ϋYVHvO2tlJh|6VuTưD~ ]i1d;/r;#Og)BW5tNCICٕ~[[ڞyl@`ۆ .H/ bX@>qȏr w^\ [kz \cĘ*$CD^i?S^E,E7^ҭH˛ FEO!.$w32tmIrEJWVX]`1 ƻVX pP]/R:9Ga(2c\@ʁ<으Ԙ"(SnINZ " XlKõgFJ5L&G 8m]r r9v~'؇!˷ .2lKn -TaP6v9;?%r; ,ouҎ$'(uĺM]2mU"wpn(yLM]RLa,DQe⺣+A=L>!=lGFIhkTT{rAjWn;ZrFTPjOH ^rHMbr9tQ9-xsΗ;Ǻ ۄ,Ra154T(P9uI&گ}?'k<KՓ=T5ImOݪDSj؂rШj#XhRJzms>f{z | W8hnH1;Pɧ; ]\|0!Zz!72M64:9։ףrE128=`^[mVM~}_=nWa@R|AC Euב`5a1vt#%>tJgɇMs4 Hn)̌Vu՝ۍ`j-j LUq 8ZLǬjL o/<`B[ࠡuY wd9Y8%j 7]laO`epG>\xʍ/1`k>{[ I=ǂkHtbala &kV|e:d ͉@g9ӏ7#+qsR>{>A6xé]1m!lrTni_WKvYHof¡+ظ`,<:[dU ӗs'Eq`#ſHʯq5(BҎҹWφTX-b5wM@},;)xe l6y{U">kq~,drc’3ys`@c$\v{9L;:9kWGe3fvCF +~LMs"pX.#"Yw^,^o3XE}E32yQ3ay`v8n™MlFE;&w~har*{? (mHs jJI쿒Q9fd6]#x ǵ>.yvc<7;2/rX&~-pTK)PR.;k[_ ŀbvA-o+zl cB}0oO 9`=dǦo0o [VW񡘕c9S3_U 5G kmyqubaS~ *v%? Ӆ$*"bAhG.kأq3Ij9ʝwu9X[cMs-0*t-fzGL&cH%XgC1tAӂ_ Xw[mE;mEXLT xNF4.OJYp\_=K(h\j!갅9'dV¥ Ƌ+\]h 4*BuyR;Uf%7(n6k$N`EM (SwBLxI|A;IDhI4x~MF5K *1U^'S)qŦ|KK9ūWgiD׮ȇa~P/,A!] qsz}[gHS*(nvQ?b@-:ꔮea;hig X*1D):,>|Nw_h!XDǮeyJ:tzbKEMX@߽(, +V|xõS͗0W.SэOOl{jr A2 o-A\56o|qs6raT 4Fߎ:n%=ovX6 T k&G-^9X1mY<yBU=yl?õ;("E))z .I~J=frh'YIMA9L4# "NFyi3+A?ޗ3rԡ'v`leX$qmؿL;Ik Wƪp?z8%a {rJтٽKϫћt/~b&U67 A |V@; ҳp\2GJ`xL0xg9(Lh槿$u֦^$IUxmV,٤kx9I pMjn#'z;*74Xü#- |i2j u3vT_(|(oz*c%'`*{xl#mDk$=Wa&jGJEt2V>:gMj'ipj6QmKYyYbud*vØ)Rv&_ a|@apeet,dNEs)gwo*eǁۭ%ݵ{4!V|z:4 dgJDpl]9k kOvLzMXL,?>v £[9`f. /r/ͶE甯'1PsڪsPa~ VO!xX:9|wpQ5u TK9fي#:ta:V5iNׅnAN&JJ^j.B{\f1(*@c|W0& ^8E'5v~ch$%pF@;N%<%#jng ?6 v+;:s9;#Fƈkb弆=r{V1 ͌;5- %NHT06C 5Z&]3V'?2~vsZ#ZX|.M^C:R-)@JĞ8[ѣJñ s)I׆_@B !$笓torT% s -+6(eNiU8n'[iǗਗA jB2=y1J[#puu|Fn>AS`%Lc0"*`D[g|"&k A}–4-s顙 {m)nT6Lŝ?N3}T^DSo؊w-s~/GLlE Uv3S$X1` to23Zb~?z0 GXL@>?0c26 $e tPHMK |I M+'zT/;?#̤]Ҙs_0;**#]ڿ o,ib8'y}O/˜2S6DoJ4"5~3^Omч Kz0lFCdP!@ q #޷f.sIB[5Oljeby4@w ׇkz+꣖hnc9,0 kb*<2;ӓ2+:GڙFcRsRTp! aDKȞ~X];qJP# )էK?, Mڗ H Ǭ@Q[%T SEg90{eI"iB>񐤎 ٙ>Y/.nCֲwCqrğB+B/ZN3bNȀh_wb"ZSN#6cýX "u|PځG!d,kvIFLDQDVyĒ& 2d'Z}:Jד>Ω'BW#Y3WLĕeӹjqr,EQnf\=͉Z5rF jyuGi4l>2 YnOkH"QC$ @g]LI]~]UӚɀHi>0Iwc['hZRT3 -Zz',LJHO#mpLTX8=jy$btޚ p=4b8)QikBnuw#|maXo3Hz1 nLr=:+d"W{ρ\\$]L~R{)gCN 9 0 l' hպ>}  d|؁dJj[Nx15+_n0@^S6x*7?}P25}g<]H"AD`Yۉ A2j*&6ڔ<*.DL[K iƽk @IbAyeIquLݹ~;^ֱRFOEp;.d<eNj<7CVTE>WJz.EɽxlF1Yz4Qcp3E@9٫- E>R0)O<8üGz0Zr} xy)AOFg`*T(ʰݮZVMS%Dsm)U{֏p=ݛ}hC$}TAwu.B37ot4X KVPN$0bcn""OS iJތx$5+W~^<Ӕ`JU!qӗ|Wa=Ef Dt`w*O_/Өj+Zg&PPRO%06uⷂf @^9;q?ߺn"ܛxy_0))\|C€ xytea"; 8訳$Z+#ތ+ ӻQg ԰8<:pIYmxA;MO!&E`c ?j4 $NZ3߀(zƧUFp/B5__}Qk:9V{ 7Bez/55 [U@|3gZh\.^{_ 7([\А|!jE9L qqG7 O3N' pz@d3MZsA xc'y ,4/OZǎT -q2A}IFth~Zp d܉A""A+I/.(+Ʃ#k.Xʫ)wLZLL5I)E^BO (F :IwbGC` ]fXb 8wZVqxު ~ ȉC<޹h|nV5i+2t4b<{WDP^ݝ%SN46.pF94%4H^E+M7WlO(#e͖Y <2>ʔꍠP*? n7GkZ4Dk!řnSUK($5+f`Byi.9nFwrBLqeޣ 6{=;%vʹ2Zb,E¥[O)ݷD$RbT)5&5eF𺴥]?jo1++ h^} sjv>x _T_Ȓ용5EhŐoPmHYqPjxF ;MD+f EiKȾo+ŀE^b Rp,'Á;^Q1@вLvdlu/嘆QڵjL^o㖔#Sdy/&_=)w]$9z(Э*zg`tV6vj {7-(4ah}`c̀C+j5]sbf aX(#2H>2QC٥m۬9xJ^Gsqz?ϤghnY1"1"jB>EV=Qĉ' W}GcKH#fw9Yadΰ-/Ɏ /A^ZFQLqUM<?JgrHG$eM@`;A\/tR w75-nk$WI򺇬 WYOl _y:<e\ۨвBZyXםN} ee#NMuqp6>b}nυ9E},ʵ 厺 v5+k׊-*P5Notp"a;T!(71ܜC:}Y$NXwq;EfFҒ:#/KajcRU$$ X4vS4@ãos~!|XJmg{q15l  ;uSrjzB h!4/阋LcղaÏ=/X.b$7SгvX1_m42GSk J'G9h|n_ b=!Z_ ;>9h㈳X@J$r051+ }|16jf#ridXqI洤uJ**g1*4LփpVϸ*ζPjV:e0[koI$=E]>ٕ\b䌻M@}#[}rOY|Xг'B`V?bC \j?[+ iC- =oC  Ŭ#䕥**p㳋3~C;i#7wZ'$Œep(۱CWHͅ_ x}GdEv=ue'} E=5BaC/xY Hkř.\_*/0Zm-+yjvO*zJ/6Aq4vj>^]2>θɊ&q5 δ:ˣ&L 4 ܟf`!܉&]!Q;=GCɋʧaA82چ{R:4^ih<14iqƯwmb`GktW&=I2lmOy|Ə<3t&ַ_z~^78O "z!iʚ>xQ*]'0^㐮l?&5VY55%bdA/O=$tg<$GdQG\}6Ҍ o:tY;?.DY{N|wj|Q[>d?X.Bm(sd2 Z~w* ٜXc'!$ꡖ?2uK`$5f]xB^8#Ƌ-Y%o[@\F ;'wR>&&Qb5>ۇ=y΢CC8AVxyA3GTˊBi~e3{&B >)˗@E eW@3F$DGS9?X9>X3N[8[$[ۇegY}0aPڡb_L&e5ŘȪU_#Y6-W@\.A\(aYI\IZ/:\A,ZOEQl)x%v8N%+j8x(Y3j Xܜ?e+R҅7rB[ ϸk7?L?ܜ9(>ՀEq ş 5ܩ|5{_;ɠК†`~PJu*{ioR _+F9+0%%+Y(y#h/a\lNb_ZɄ<ʋ5i{"Y<"Z8?zV5wCnzĆ"cY44 4>I0Qᨬ}FLZ/?ďKBwmz8Ў'U*@dL?Nѿ{o{鹕pp>bI0Mi:QSmtT9%dkG+ @ NU-Ml?T *qIQ@0%Ǩl$KşyUwioY0!^h,_Ī4\a #.*)QX  _fᥨ]9,X *[^i_ϊ'WBv!@5eGEOJlV.X鬂WS|MZA- )܇.79F!BӖ Ae>%Pf$bqY)~|c+t@Pp&1'~0f 3骖7on5P btl@dVlg|ܿRXXhHb=n"ef ypÝmwGn`<pxE7KP= c^-.k~;2tM :6}M&v[O1;ίro8PE=VHGl-ʹ9\{O̍FKˬ>` o(e/M);fvm  Ӑ*B(}yȚu1߰EFIRV> &0H>c2 ʳ?H+FzXn~]E]_溹-`.9ᨋMEF.G(:I^r? o旅M)m Vc jB>7DU ̌#qXC[0٣=)a5B0`[z{k]c|@ bnT,D@]o6/HӄPK$&@bL ^/x_ɌaU 䀿q)=tY1(Gzm_@r`|]_b#)ЕȬ>:fX(+`4]Ez" Xw~ tᏫ9`GG p,1oLշ0[Tq;pD5bh\a 4fݣ>YsaJs_k #*jS3X $=/ױ`fJK#q:t;a~RI 7{V]*GTLԹ{psԤC?~3_>iO<`-] R1}~(S7(HCt%hpاp&鍕 ,=}h*xwIing PGxj]фez5 ThSށ );H/,CB<ب5bYDg^ C I1kK{AXuuґcӖRx'`ਓ#RԨJ P#6lqQAogZdL?^ a *P%ik:S#.~=xre\7PgxL?lꛨ犯p +\~ pªx A׹10$>M0ۛTCpt\@spSCj GE{ nqM`.lC8D@Y.Ff:m=+#j-'خ0_ q<\ }zi ,\4Sd`Ivm+峓 zv}kۈ㪶-0SPC6K8-[.u@6sSެKO-tp:Y7ѧNYվkeAN9L_yrֱ*rjԝҼK:'7/jx77vgӞ q7Z]|XvN fN˓v8(gZ~e]nIJJfK\0hW9F;qö&V7ů]gS(!|5D˞3)Mi %6NLXX V;Naآ9[$tx]M$*uxQKƜq:CEt?(Ý~x^w|J&wqԎ(_kΤҩw rO<;/ulX 7g00n[Kӌp }s-ĝS.3;!coXF?aCz?٩ou=.$ӿ4KO{AB/$ǵ*a'0(Ht  )#)l8/E<#/Ow6K«g,$}5Ǩdpcqiu>A ̙.!0I+Gƾ&%wÔeִ$!?\4n{E6ި _YC97-lZg&Ѻ]It*l\׉ly3'DIȫ 7,^z*Qv& $<*k}B[g9<+ L)n_O'R[hӱu!䎖$wq ZVHWkj` GG7]H!_2D=mRbeo6 TNR {bHiqC1+7_Z6$E~|9>PBF$;Y_)-AH-85cWfHg,vJ8Yu֌թb?l$s6s93!B_2(06HhS*wZ3s{RIf"p{6Ǖt*RA $ZK֙qOYcpGxiJgo.S_2p.m*UV+F Wxm='X--(?գMu-enLh Z2)G~9>qQr sw}U ".|-mK+C ⭝3} 񚢞/6doXv;'='Ҍզ0g"ʬ_AȊclmeK`Os%u#TtXmqr2 ]*߳ 8!ܰ1p$>}N2nMHFg䀂h4Ԍop)3/+^o7 tJU<z*܇è_X*u]9MvKni\n ?G'bxx۔sIցm8I]p^tk0 _A21ߜ_nuk9$_+3bhKdOM8eÐA!J]ܐ l3ω|%^iQ< )9Cdcza; qik1SUlԦp6]l;LCZ-2(_;Vц C YrF0\ b6]u9Ͽ95&8 p]ݧAbw"ސXU㙞 n- dq`,}bvXSdk7(!{Z?:<w<4tAXH=y(!|2M=CG`Z#.Hm6VW[lz.5^JVyt6~C CB}l\P9o=t4|nX؝E|#t˫tv$_Y@:Y`8g >,v6b#ůGsÕz~zEݐژɒ"GlnJ-e?igo23>/ڡJ&@s\b CM/3&J/5[zRvmi#JTKR-޿ȫS>I?r_^K)s]DFkk(e/s~J oC#1@:w~ n=[m&GfڅVfa\џC:6 5uD (hd9`-I:l^A@ H]h cZ4r-䃭g1^ f %.=41mR6w kU*~Kz\EZ RV;SXl8oM)#鉒w%Jh)(\L9O-t@,?&"WRTÜi )í.ϥ VZ&zLNɗ `K+ѩ K|?]!vx1n$qIȰqTA"<5 iѥKJ)zG?:I2Ht/H7NŔ +&,T:)otBh0,!b@*)DѷaDƩj s~+[k3/L;x>W̅5˦z|( ]ʽc&T7[Zv/*!<I쁫&/9"ܯ)YG*AJ rU~h-purӸȖWL56exȘ@6(ͺsMwؕ52shl=M2>;AO^~fk +Y,!k)ntE}Β~|z ֊qyyAO) *@*ADx5Aܔj%cMbBh~)&6v o} U2(7Y2&w:g0P̕?!TISBdγ92 9fD P]ŒgF~6p0g1[,fF}I7kϮ~ZQ1|\xEp·] ?oﻪer=U+ұzWP$v>u7fʻ9;Xx,`WV|*M3X3A+9ve@=L7u6)!}gI04%(ၞl<C:ovAuOY?@`gYZcac4ad113c0871d1e593b695b8be1d05880656ccd68c97a199327570bbbc88bf3960f7f8ddebeaef 6559143f0d47d16e6a6701e66f7790a037da1ed0 58b1d73f55934cc15c4b14db928ecdbce9963615