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 ))7=|l ] HOL-Quickcheck_Benchmark:threads=6elapsed=289.615cpu=1367.284gc=71.0767zXZִF!  /]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBjR|y쉇0mc1AQne,她UPs(ap>k! McPΡFEZ^4T RzX}^%~ "l~]'re'35.rsݼf r\u'P&7V\%Ԇ%{λE&#}=x \nxFJVώA|9. %L$9N|w¾xn=k}Dzվ9ҊҽsL}л$br2kviYnK 9@I*,L:j x p@**V߱gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0. c*C#6}X&0H+q ߬Ұsi@Fz93r'-w> ̙iHg$qZj:k¿gYZ7zXZִF! 悴h]ŗXi%L+  ic?p&k'H]6CR[V(5$9`K!u%\ gf؝!'CA̬xE;2ܖUx+OH,P2l7͂V. M(G^w咮`ax퐀ؕ2m)ŷQIVAc} Dݰ/^LG[VI mOIɟu8 YƝ$ #6 VϭU"G呔 !22f~;Z_g4MyOYq";яHh YUfySY7 +,mO6QSe\ axJJHҴU6 [:.Hc89N %ꍽ-q+zH3W3۳ɘ:g[VO(CEFL}j.5Qe鬹xG}鮒O0t .v\eJ)}8q6l$H`'R;\JC (]&YYPWxȷ?Yd ˘dH^br}p'ɑOjq9wf%uo8nLNTy| lӭy$'a]:SSi8W_ 7`$ƶNEoi,;A~X\ њ&2$bsLJgfwSꤥj.w0HWFʧF삁%mDK&΢H8Ǡ^j/ LpX\!* gƄ~uѰ1imDk ȻL&;v%ȚL15޴92 ZŠSeqFr@1ߍfq ]F5-q.>w+9:dVK"͎̼pHD"0UbPV+.mlՉ"op{&D#+9RD~u0Kc?+|{K$䇡iL")LQh<$ ֱF*?dc2h#~H"`0lbB5똱Etի(q8;J˛*}]t|J ލYGKJ} ? j"Sʷd24 -oE-Rjh@3.e0ma6/I}=amJg–Xzk"}kJ-4F*k~"#r*[{X-vyYXaHd A?6*vwU.ыAL"<{$!wq6 r;3g5rU7IӮ]j/Rx׏F#fଞou %ZF|1:/KAě52S BN-؍Ec\}t{̥+) 63ƻD"-@EʥЏ{v}FTv؅k}+7SWGg)+ho<рئpct x VANp҉J b;@QWQH ˒I?BF/9O)B* moz./euG`NH% w#n~:4Y0j.1>^X?ûUJWhaY)ݺh7E`6Al._FZw/r@AU[syҎ5MhZ׉), G߷y"x~?tTf{]:r[?܇ޔ .]8Έ>EĒoʅ֭??15ua"sB)~x;iӐF_t;A55=BM2ʛi=P (G$|*IRd秕7AZ?M55'a]FF3\woJ|7zvTT|4u)}Cμe%x>?A }gXl?ZKLjX|qa>r2t*0Ylԧ]VqP %-(Si{}ȫz"`xҐݪg(Jߕ;?#hFzx&Ts6&Smd[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 #-F9[A<|ـV#cmdc͸Zso7!ilAD4#"H]pa*ܣ >] }ܲV1zڟnlWP @ZHU좎,@yle4\DDZwUIC}20 䛔6Ql|Fs !mQ#_&b!^}AWs+B em`*͊"]`sOv#JL6#V<0\D? ݁;G A!~ʛ@m|bYy,>~xg_=ba^p+V_JGy29򔐊 *ToDy L~!rOouRg 1UfV P%8Hɓdw7%!K84abߐZA8k?.{u-? ±8(ֈlH]/f %Yg,_pcGMEnT%"]q(2ET*O\ã˱x陼lߒu0hـ@,S0"SxBݥ$U@JŎǜt*'5fi>%-_|Ql6m@"AEQ4jU U wpdG޹; ! ? Ś1~ccD.Um9lcLnb|~X CT 8:,P͓:NVˬ Wo8Č5}%ɽʜLAt<(g\Tg\;^K. |ٻ'W,n>t t׈ӘO)"_9rD ڣ':[?/׼N-Oߝ$lϰivv֍yYX{{ٱ0~^J q X0He4I~bZ6먮Qs>Pn R[&}cya$!Dfɴ2w( v<_w౿+BD~+Mk;8(%N/Պ\`rp Ё \_OY۟&g85 !/JBVD~kIQKJ0x-Qk[]#D5eM5#x= $c]+ po/kT=Uؤܝ>ڱ@ǐ^:7Х[9 sw5\yG XՓyTL:E))S:b/i+ӘS+(;R Rvy ZDw-TB02º|}szR=*mnɝ-z }Q&ZD W$#wk/Z nii+ӟrrb&M6^+J:~FVub+N'yְ_CSK=lJ0 84;p&^j dH,opjMBm: V].yGImކ]xZʛ\[0zR#;YUvtM.JR1 -؛@M171dSh*\':L)*iPq'CYgE+[0D۵2DS{ޕ9#JFJ WzSfi:l[' .vB:=X2szCa?NV'k)oќi%1ˉ3_|[_iωDhQD5o m"MM׳NYs'kgΨTc !%\2;[ß&ÉDJ+lo S>wN}"J%Iec3OY4cGҮ%A 1xO0yE0?;@!=]aoo䫆&}hG޶&E6nY{b60@n3ݶwWL+%jͮI5gqm׫0\%y}(Z<217z|Ýx2L* G+2B¦#i)ү3KN"1_U`Qa]B9DzHIHs#rmLv"bslt89Ξ$ZElc JռvJqQQ'MML>ѱA~rQm`eER=+zBHbDI&D742γ&O}*HT7.4$h=`ӻQ\SDKJ! $ܭ7vw!q?qdtW]1wG/ui>jPH-f]VEC$nÆ2u3"ىk$F:F駜 YPkB?Ϡn}cby؇ [ E? o!p w .H*.JתZ=ItS |Zit ez*jH")Gyo1Ro>lI-O>?b9n8)]W[&ep_<4"REH 1rJǶ\꒍٦NsV塵n^b#sSuEؕڴ6a6W9< ߮9I7XIѡH?oeadN妫5G7f(YwLlguigk7 ?0)/MiDqPP=?UF%ڗa Acw~$e2QҚ(`Ŕ{!q6+ [68X%H)/qS?Tߒ |b!ވEq Eetx9ѐh)w>hnc/:-ۢ L"_|'),Y9?1}J{8%>{ )kzlVwd[/kIS~)Hoy%"^cM{֏pHfl^d[UE͇VJܵCPTaqb).A,.89; Pk.DD${%wIaHWٴG|@eԚz![FvhHA7qUD2(u^ F g"`;cIk6u_*1kd>{λ  <Ѻ`}a;A68/Od_>N8,Ȇ۹Ñ6Z Oؚ W,uDH&Ri:iDi<OK GõBsH>TGlZ} DjhhVqFU$ \}Ȕ݁*Zw3wV\P5\X(gM>ʒ:RVReuBu<Ѳpl|GT]PF+b!AQz]?lZp8K qp= BmɓR|R+2:g`{J:qYGo7q*\'{}F{vʴV_7K"+ "IdwRCښ ir JBzf*<wclW7rmoSR )?=~=n(,cWuH/t2i[]@*ĖE`l8Ҡ>&)+˼ ZI1Ԫ.RݚK͓y)A)BPmh}Ś@tvՁ^|#z#c:b@Hd/#Lc9h$C Z&)B{B>[of/2JbS= bɫޱ+QZW FQg#Qa:Wr k0nQ3"eSC9&ܥ Y)j[x} ;v?+ Ta`G >KWP1,kk<\ D+N,dۚ[]QB{TPqX/p_&f$k{fbhhk;"S%Ԉ4&>$mVY50{J!@ěW܁6c j;C_Nw뀌8Ӿj[1x,F?ͻ>;Pf϶k c:M). u[QcHH_dоܡGq%B$$5BRUi1#'YK||BQ܁wg $'(&~y+[ZƗqndɌ/ŷc|po+ .0 V\X2D_xC5Iz~ētnw$Ĩnh2ʭ{` CFN:G,_`1Sh$?!DH+Jy>n-WKRtˁL`|xس3,) +cY[ Xed~={Os(T{b?wŠtRm\>v{zqiq.^#Ԋ p60@¹pwS;3ǫ"ZW&m\mXU{ܙM.NzK 젔2:yTVe,̉Qŷ h> ^2`*n}﫦7#wC4)ΆLt_|'zaC* Kܜ< b2QΩFM ]'6G)qgsæ=!Y*(*7:D}}eG^K2 gN-}W^D{j<&U{߉K< *̽@M*Gu"A_oT Ϫ(gx#Zit;{ǃ.` '5Bu<}0kV>Ḯ*VQSr4W @-y8_ c* ]/2] MJ6'.8 P0<6VZ~iɝE sf v>+'MD ;#ޝb1CDk2Z]ZnԴ^/G3|{ H9dWveVTmQF!$Jz7Q{&4nu瀚O jØGzu{E݌^s?Eݓ'^;y>)Me# ]&=%-_%,gbe0[RO&P#EXloP2NJJyicQ?O'O"#hFL.oѬ\ 5Y):QhFDOaヒ}[zEYPq3L@v8YEDEPЙ&r7Vn}b飃gG'J'^n= D2 iV(9on sqEi7#pȇtbH>( d `^G|^k\  "d;rM@t- ;d3CGK ?3 L;t/A^*_)ĝ5pWP>A+3]թ2T۝i S濅Rx <03ܕR":{{UHY=[rs,>3FbuH/S 4BߵR>V-zd+^MT޺ &KM^W\*0se"8J)#>oO1eDvy:l>ig(2iztMF0;[hkˈ@f~N d%saҡI')=PõFZêxX.SVgI 'f5rbiAҒt@E+STo#|r,<ǣ/8@tQ&:V"^젊AD1sUG0CV۹B-ie@GN޾LC0Ob. {뗡fcp(/02}e64~ޙ?)Pϥ<ӷdL Va/!j, Y.,jp{1هs) '5 렝|,mgW?L%_,c4D$pN +Zv:X:Rg7 b Em}J9N1A^H#zxj !Q,1_ QI|c; y+nՕ!yb iu~6+u]`i֌c}Yl- >*6NU4ݰeW2/5DW,G=y4d>a:-3yWг;F)8*]dZ*{Aru-uJX ;r࡛MeXl*S&,5*G#%1wѸCgCdcb%uzOy πR+S[GGp/}md0;*'K>Za\fVYVs²ўbq@((MVpO6[<]X)ec*jo,w)Cb7[ҍ2!ߦc/x=uТ~:YhpSI(fxIL5U{Bұ*w으iPlh ]2ֈ7nښoo*'L\} 0'#OL% 꼈M #"* PapWGX*^'|x3$2.GåmW}Jpi &‰B=r'0X~izQH*{s اS &͖ JN֙ M+.kȨc^/;"@mRħs%J\n>uX!Yx?P%6dk|{51Ikst0HT̀D&/k9tN #>юՂKyFl)ͺacQ`ȓWa'OMԁI Hfxk}j< @q3kх F"=p!d(c׹Gk_;ﳱo+ GRDO% .?ʱ'"k7v'~Ʉ킅| Z0&_CjF4GR.5(bS8[ՒD*Y¶ Uw-:fnKNo%:u;:B=ss +F"]*ծ$ZTYܧɼE{枬ۇ$uMԴΨr8T@FX,oM/2} 8äd:Yzc*^: AԣN` .onnvC l!YBz7 hƆ]/kC5$}&zőrf-74z0 FzlW{E0~ߎv2$W59{8bhPi7!>vGquB;E؞#q$ĘgE(iqJҔ"Z5?Ws귝P.X6g`#v7 @ڨ' :bD-/Y|+WKqGP$9*'s";eX=cFR-<8%yKǼ 7g0oibkcBJNﳐQwO_*,PpB9m kH} q>ܦWх4TOϵ< P ;Xҵ1>faKȠMkHq n7Y{-ˠXsӓ,Svu!|Ϗ0BVL->@`qU~g⸸ņ:(?0 砭lwivFF#py}Zmİ7 +cЧp]]?cGh sVQ|m;bJd @x(R+>@W[ O򵵝סԀ?1?LB-\;~GZ :|42s55sY&8gR]ƷnVEE}9}DĝFښxkÌΎuڷw l [[mG4%Ja^DYYG[i[Rz7E3o twNrx٩* _FW#,iHu1 !k]{՞r!{|u.j!g\2ul#lZN dt1Ѫe 0FXa/3vs~ (w$:ß^2ܱׅ|0i.8{01K{E؟5.YV;X*f mH 6)iѼBu˙dO|\IYʅ<#4益k+5gagאi瓻ƪ R54,-&P`E/kdW~bV{TXv"-F770ܑ,GUPx]fGvP[DjL8ԆθɃ?}U!d*"sx)VкmFI -m[Qum~UQ^_C{̦`Tf}\VY^bF{J=In=k *30O7e~3<zLU^i Q<_ɨ -_A'Y+jqSGMqy.jY;•俯5i~:>El߅[V 8San Rdxd]jٓ>5Khx񆊁kBc\Cg敳pڍUP6p!&xm _ 'dkQE@ ~_pB3XL4HW/rʚ@{&9bmMQ)^%{+LW^zNb/i/u#YY+yEC鬰˩՜'zi]OlK>,Rm)kqv֯øAV>xp4rn7%Szp F=)3M>,yNTlõ#OUv*P \l\[g \Kj^!ϚFj!6B}9L8r(9+3,xh*R$Od,RÃ֤+++VyfQguQ/ZI[ - jMrCzZFuR r  Q%W3SO  S,H餻a,:2N.LV_+,Hw e\v9F:1Sm52]T;ݸxwervsP(͛n@SbQk(YyG˕OnfO1D ctSTS/D]#nrp;ww~Tm&Dc~GQn>{/x8{y<Ҷ\ E6 VIE'p]6Z Y.R#m_Vj'`e)z52Ͽr(!vTk%5˕75xC4 *(0LwmLx4>גL`u10`4Gm~R-Hz˸FO|M-?Vۧh:G;yjcD ㌛}-Q @\Lͧ1\yVXVԿֺѸ ט518 FcknD3N\E)YPi g9 dIDC"7B~=N9&Ѯ.^vߎc "olnl3roQ} cY LˏrX(?x^̦xbϭ@z '߼ށQ9SMn0.SdHJ ALmNʪ$),{( ȬۆUȱm>8T g~*9Ϲyt2ysHOwVd@ű@vQ(Be61"Z%Yv$ڨm-nYl5P`y{m(I+ZO`w9~y1r;-}Og Fbt{ǵn;&Yen[(kKVy!_V[cMR@x^E|to^Qbl{p_b Ss5yry^ZQrē$Por!}Hq%kw@J }hk} wz^c?֟gM|xV'Z֫8 d]+ ZfCs?q"35 OLo(2JpD&ӽ6}w&K7 mzOb$*W*'as]U{TӨym31 u*ș@>[]uK38C^ShՆᵋ& BҏKW9@U󴆇͓V!m#pړ<픽gYi}\| d CHøt iQj?J|F16me)-&ί0`2~Y.}ж+GJ\C730M=[!@xx%!i8|4{jܑ·ڝ`x-/B'۟JzˆV+.j*]ۭ%pGκK2I-ܧ6[ut_i2 =);kmWyWhUϯYWK5C:л?Qw]¯]pČ XOEGkm_۽^h E.i@/OH|=d3@Ncm:j ?0qy;|2u@F:>pWTȖ︍jIf?zLE=9b? Tl  sg+hBWE(Y @O#r2_uYeqowAЄ%hsNPg%+lS;`&4 *2HFDJmż pnkQ32ך ugc/.y!==.$ ެ߯>ݽNB`D8INNCew;" -2)ܮB='ɩN2 zPSze?.s{̶7+^z7q v/ mƉh+jY/)u^UH᷺w*βu<ĽPx0\:覟{ zjg|qw'[0o|{[+-ƤoWtS} e/lT @)&쉕!OgYXS]^<98I`*1HH#'WG/M;CMV',A߬6ֈ~fʒצ&ԝmH:-,p4-t7yq{qb;;sgKi"א%ߑG׽23Ec+zɠu>hl(#BO W!to`H,$/iYqiިYQ3 R(3+6~rkDDo]%A viSF@QAo3׾T5vL Y/8E쓉CГι{%5=̩_+îZv0AKˍgA{̓*,.z6軀K T$aLCIOs嵇 ֍|L佣c+e+)3߳L iIk?uJk#e`>]!><>1 N6cvZ@v_ =q.[7 b]:xR7 ˆ)_!aP_4c']2M9 !RNGC5+Jb 9s+:rzY! Ԥ9*9b:ƕ+]1R"+;I=Xv|#Iߚ?p 9ѓK/Xe?fȎ+PR@ !9aEl!E g4NEJgH*R%6L,J9 #Frj)hpZ*\N|J-{a['J*ti1AJN{pOFhb^ΔFA*́xfwFLrY/$'PV[ي5hVεQPQ+q g?tU$eL]6Rٔ- B2;TRN(Ti\dHzНαhz,oUJ^3\m ?&Hc-3;1ĠGa}vLCfs.5WJ9c8iO@p)F &\rHR01%џ%ɱpÁjVymC?@C{+Mt魒)fڛBn~gqܮIJ|0*\[Wa,C02/=8*Tg7m脊Fwg9kGMtãYӣҙ<囼_ȃs7*gz%FKmF*JX@a,A[̓'p E 8`RG4tw.R_J2PCw&Et[훛tOw)r`Oϳ ӾN>2Oj(30:abGx* gc0h[Jjf'aW$SЎ?[取zG ԣmq_|SnQ٭}l*q^od!QsxKW3VڪRp-op1k f.$ g "HsjD]/A))aӌ`gs+nU-ϱ4d!f ; Č* jPĸ0< o1tuȣ*3qNK7/=* "P'eWC/s3h=GH98C} y4oB'.7f7CqÎ4DXV]\E} 7.up]d.3Hၙwg4?sqzcJ<_?ю #" r`طpV-J6 הey4ullZr3Ab%9Fݤ|Őͮ$q'VN*rb9DDxh@3iGu<\ g\Ǘvp, J+4aF4ur),pWT@#SwEʟ!0j͈Z>,sݢC,GхN㓐kA|RPHƶCi~Db|cxq9&Wۂ)>iL+nThGQ\ O q̩!Ͽę, j?쾵׆NVAfipi13Z79(H״;a"O`N׉bL;f,(_> d(e8ܦc-^{RAsظ<MY3:}ʂ!Ws g8v#GP@KQB: h;$y/ўܥ=Do!_ͥ՟f]BhLjPyC{KhGFu?y F'3Z+*6z}u̙m35K&I3?'arrYH^t9&;;y%PQ;׶2sB4}0 Knd}Ѹ,d.F;KR4/h3A*(C$3MŴnzo/ݨL%Bfgihu(P5. 0(n΁ Y6 T:_NMʴ*rh$t7hˏ %iHAJ{.hPkEC:=m%v-Y"lmP$t{ZzÌPI *8j~Bz7]|̀Y=jWh">E|I6h*peCyφB$bxqqw⍇\%2?;ߏJi8Z Uq`GGiV0;#G$D\0˫nTW 7a/~zQDHB4 N]CG`Dފyn @'@È9x DBvsr%[LpTL4a:("%$Lp?#;6@ I5P5ͪORރo_$KԠ wX\#5$ڜR }v0炱,_-]^NW$FUw+V=eoL4 3ʽ^&,gk#/Iя ! L[ݭG/q} A[B `$aLƴr'Dą\ q̳Y9b;D`#Lw3nl V9bIcըsR!:D>OFOF;eBo= ..fJ08`$}w]8 ht0Jq CjgVz<(´ R,׶Ǔ<0g-UvTn੃hbJ( K՝k5: UÜrXj?Ы]/MgҵЋ@]XڲF~ 7`QQxy/̯+J\M.?bzE(3w/ Ч.657?YY0;dY'= iņprXB5z>e wvϿ,!kT؉@xnf5eNwfv;aNVP +~AL9|#ͮ'K6_ʠ)DG<)S-CdcbXNlI 9(iF3ƶ& F?y[k6K!e`rM_,%9.)i~[օՖ2-! Ig6?\Sr ڷ,RM:Cܖ%=OAE[@|?iQlX_)5CO?z 8 8z{"*Ȗ-.T>2}"R̺s ]<;+Ƶbߛ C XwIsȏ)V9GWe`)FRgwz%![жT?18*SN8KyyfDouӁ(FPN-!QRbȓH5ebXGq^` zÁ zlK :=`Ɠjl[M@ϒKy&Yss'F8.P+ m2V%[(]!&VehErז_9ٝ݋.?sԨmnڨg]̔P?h Ugk 9cbܞD$$ξdX,)?m/B.6xnd|s}5-l,3& >a;n zrl Og?_NEaQCU ! `tI=ni@?*n#;ʉnjb7mGؙ T } @7Mw#4ۙS Y+zcnW:{̢B嶍 @/*9cWnjJ :Zw}oQ&GVgj=jyO"δƘܷJ϶Ow{dM %s:]:Q&%+d &;2+ b|O Ÿ9k:D=bQ؆^Ƀ^ 6 {u =vEѥ \mb(ƍl1")3,u"6;O[5NPa< 99r:VvBH;Xige&aJBi#j ;8V6HǁS/ӭ|$\ G///4FVT@pM]lVq<(k~RM q`TZXJ :3%zSN3eԤIa/`>*oQ~-FׄônQݕФR<I@9 W4 ڃ.1oTXi u)hǕ@մQ4y-rKb6u O[A-@('l[L *bNJMkZæUWޏnZC+tK̴SYI 3󧾽#9Z1dbkES9Q$moѓ%rBn \k(iCQU{òɿ"D4ț5䊿~Dн.2%a F)ry.7Fq|X6w$+NWd8VjuT#l)?Ѕ%WnUNG 8ވfO7t}B 5>l1k6A8`co;Y{ͷ9Sx>Օ8d M-ߏfa } VFJkKd eKCf{etEQyV~?^4|lӱRWm>@7 8{})H8Co]hĔߝPOI~)8Zz? h54Yqk%}It3y&CTLUq@9BPfO5`L4֨U.%]NYӈ} U0!<]GvX&_+&RY߁=@ߤ$Sg6Efb4N|L ڗ߷m7A.a6P;mpvt'Vg+p8mh{w{pCk'HVhm9e0:=_V}@ٸMW\j{uDi % Eq éfE^>^ДOؖm ^7"(V pr|'@,-,}~k,n G#u#t/b8kƢOpz*mj .^Rub{$JJ^iU{0`{_ڊIޡVTVG]:bWQ[8z{#@* JUcT)o${M,]TݯDРilJ!D!Kf 1 e6*8"50ǫZ͖ŧӅrTg%f̺—J?ӑCrJ ͬOxZAKA~)PD2Ե͉^S~!x 5zbwje|q?N]'ʊfk=WVQ w|z; M xDF(H-o,LӇm@N!xP%c}BuijKG7>1;hYl,w7r$EuX_q̽}( u9ȑgVrXXc;GvuB@~"zpF{y̘JI·ZLNE6l0~ϗͱv@{o/PENbwVo' gxDjo6