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 {=|l$ ] HOL-Quickcheck_Benchmark:threads=6elapsed=284.129cpu=1368.280gc=75.8127zXZִF!  /]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBjc^y쉆oWge6-T;lJ0.\K#*M_܋NO=ҳI3(I_}d]ȺxӝAP.UQ?%bHp~6{ %qվCuAꙓ&\>0Ǩ `(=? ZKbB gZ#ԑL3Mcxb(Jy''X98=qPckfs8FfӾ(IҔ>qEo|VhaOP)wMאNjI\ߛ 6ɞvnA?y cS< `Ea .XO3VgP`zi:fCd22K:/VG1m4cDk3'HCq ֎͌*TugYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0.|{=YĂYgYZ7zXZִF! ch;]ŗXi%L+Ru}e9.+J߾@b~5㲏}gx3b[쟓qܙ!v#RAwL6̤XxT{Hc3u Yy̡;5uaN' tOs#`8jΕ>o`H؏mr:e7 7:%ÊEgIYt{P4V7 ?pNz붺g 6)zGNt򽣗F6G1zX:\D1q+S GKD?ڟ^2߃!CYs?QjDK_ְ)H;F6P%2FRұyA,JTqrkⓣel[bS>c^,-4>JMRQhedji*—hN0@4̙ۜzQH9^_"ӹscӝՍ7X($f:5uOۑRQCI!)I ]^7>$.:^Ȥ1ib;|R9 ħH噅*G1WK2Njf#,C4Ӿ(ڸ>)N8tM` 2q nzgS +ƢBL G.]`f< '8v0Z:=,'r擄cpnv-p_1nԴ*ƺÃ9 o,AĽoA"zAҹ^Urvdszz^)/T^3y!8$&Mȉmp&A+lqݓ+Ɠ}˪!i>Hژs.}`Y0:zuRD $5K;̺2kf+Ј I(բ5~ =RI')+]ӭByoLOon¶ڦs 0_f1)e!}% %aE1fNG5-d``%%T6R'>sȖs07^t] zr{܌ [&33Z^m%ǺlH8 ~L)\7.)8|%B@n#JINاjŏ?SEl\T՘T1Wz"O.DQY\5uH9өB˿nP1f^MB79jFu)G?#/J B;J|BQ.E?}E#ѦMnZCȔ='2ݫETԤ`vܭbHBTғ547f4V[39˨m/Q"6SD]?$=e$X;",4yAxjRCH -`c;h Xfg=PNt\Hu2<̲'+%y+ue~ N~# p=_^Fb=>#Xoaݩچ=^ap1]`x؄Hh5ĵb~GpZVj5U7r !rfN8cgz?BG)CNB#9 y C\Pbt%mW[Ѥ:gvf]5eBLfs5o!q{`%o 8B_l:XE ^|[ZvԚG`aZR_"3U@_.U!m = 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 Z.5L^U˛L#@2|Ll--9+t4mUC?QH.g?H9\G'@t}c r꾄[ Mp Ln\rwGQ(0B"XE4Dp* XT1 Ȁ8}/ 8\rGK?5VZ&!MV(O1ۍJ qp/7cg>iLr۔2dk 6h:>J @&} p",i'w/bƬ8$:5-vu8C )J`^wjzh%ѫc̪c?#ϪźJ0z֠( I#,sQaN %G!.73xK6##'R#3ÕcLZ2Kį~m/ R ~Fx?l%\ C/*? ȡ\߮ @%/:$ @7vao;'QSmh.ۋp;]h]t򥽉Iiʡ<%[ğ,93*t$O: LECW__ɉ;$e"@c`Q'QL/nLË9qL *UcHͬPSYNvu#A9CޢyKOzVD +3CЅxO͎td17+9HB:؂@ҁFi_,<;&5a-V:IGU{5\wB:~ީTr95qCysUixеJ:Gm - Sl0.8՜`ėXBmft>*,MI3]ϔM7mU!c3"(*m℘FԅptS2)<)>9M<8;BIݱWX,:h̩b^^8uR.߸<e|P [? CCe\PQJh 8eE鬐7 ?maߣߵ]=,=UPlA(G*"1 i R +ާ;x|-c~9AW#'1"2ebn&vrɗL_x7m !y5g¹t@5ZYVU1 T`_' nҘpeE9.|DTtTʶ# '+>~2YdzX6vp^&R\Ǎ,[l"{kѭ`ԣ.,wu{m/j\VFKT%ρ`bt{^ARK&ARFIB8*.JK1 UxvS&&R1*`E>Hk3x6x%0+4GTnN.ؕٵѯ;C sg^ hqzL[w+{~up$9zNT$_?x)8 .26OdžehaAcug'h6Jp݂\efS.vى[{ÞY ԰Z=ErPԤ1<P]I.Zk@h$Iئ 6W d:Gh\Ai]3`G3+< @C2t~}k.7ڍ\Sv*!>VjͯB"~ACE I4o%T| ׶Rc +#r34WOmj|zMp ZM.LI?K|{79"5c ?.x5C&9T?ޒ!@H^n}$?CAZ1{˚K-'_;0>׆Ǵ_W?6EFzt8#]cRmzO!^l,og\8 =iS{zyH%Mv޲DY_=  AHG/Tz}ë sgs8`2IL[}sVVBGqɂGZ"Yrn4m$ʹMlhn0Na{TFXSN>{17%o>KD;*ڲc4qu!8id62*,AU4S}k#5* d>`iB r S^[Y` ip7Whݲ.ƊYܻ卬x})h{Tѩ3C*ϙk}tS KBwE c8>7p-"$0u;ZK/6*Q h݋3sj=1RG=$H.Ϸ! }1 AҞ9]iFʉ(Z,%T>>Ghd;: Q-fUpN@.ȥ qbll()'*{4/zM&A ቇ>^3T!a8t̓; !!E "zye"/)D? iSBsS4HM$? ՕMv&yzυJO (^ycDGVd⯙T@`GEItP."7]nuSCIN8HrfxGK,-YZV{ċB@|H6  Hvu6:V\Z+[3eT(l)$Е|/բ7vJ & e@wv1r #;\-HN|\+vel"Hf-?e0|4AK>2ty7s`zrU}VghxMOymk8?w"<}5q%OgZ!l%>)Y=}՞p.ܻk&U2kfX^~gtG 1awB'"HZV?\{F6Je+ZoĉF?=ah7>,%Xy]RŢV0C"5.MUjgzw0аttωɒ1.mds/CeB:A"*NZ7Ҫ(GCd,A--àabbMP]HI nN2O„Ÿ#T+z W~B#*Qtir$/ʖbljpxպQ#^݁㯌=Vqk%Rh,i+^"/rT֔bT)]4 xm_!ۓZL - P%Ro??/q3t%~u޼z)7Gh+L 8|)_ S}'/nODk5gM?E'c챼KO?dqݍb5;ҩaj[sEjEq_ KYD~\s nR s=@BMQ8oVya?61IE[%zW S߾'W!Pfyz w ,\ߺcA)ܵT}ȉf n\p$%"6 Ŭ“L' _9g:(h{c=ڹ|FT@Ɩ$5ܡ)wŨF3^@-$ ?ujKN(,T+tHgÓΙBO6GmjaS/YsjRL,`U<^>x4i,YRlkLNl+`*er =8{w`2W$ O{nY![ {E(D>Ĺ>g=n<58V'-[<]w*pGXϏoƲ- \7p=k yk&I[X6\ŜVSPw 5R9jtb*rږ)t O<8q@Cc6ۏPuyNLdWؐ Nh:fzvY*6vpB~T3s%1x n둁nV(Feeqm|ޯ"D45~8gO/6 I^>MKr#Je:uI살(ZaRK2hƼSaչOɔ _uf4l}QQ )캅Ҧ4"p&Q4!Ӥsoe$:XR/,N;q{;ckZ LR2IXWA`q1u;hJtH7]8/7%檢4̙V ņĎa1Ri~bd?O>UOqŐsD4 ?{&J^[@Ԅ`E?]6sZn y^Τ0Ӏ 0+9=/w4gԆ㟌3raJ띜EpqkyFrEJ+7dzl$ht/NMxGAKw~Ɏ`g*M o)\Qp(l iw ^?Re._i8CnMij"+KOg,٭R У,oZ=$.Lʫ DΤ)hnҳ;˽ +nQWPC|ԊUVn$艾}>_Y94L}M]w=oDs8fru@B(T{fA#QF4ȾsJ .2fiM`+_`:{7-4H,iFN*ȐƔ;M)0 S5-)Ko1q*oY22PA*Їu=%֔.>Nk%o8KM1wv_1bL.d`iM`ysgu?,Rȳ[gB*PV\@a/c8z:@GB*کWq:^&>z-ba)=w <[)(8@!yg >(9GV88P^A]W]Ǥ_x p.^v.:h l w)27>nw<87ـ 7wMpyW٦ZR짞o`1zBF薕X{@*U'[5Ze)[Ӱ@kzM!'M>ܩQCqĴ"oVCz4}i0sVT00 "a\ ~ dn`G֌v%$`(GizbHO" Lk`/fƦ B`sM: 21Xב>wQJ_ w ;`URLuwAH ^+Lm*_w| cKٝWٵA\nFqwuF۪.ewBVYEbSj3iaqTTg( Po:3˄>Zr`q3.l%Naﰾߢ} :=2O]IS(ta5LZB:x >J ;IJXBEognؠ~p)>mLkARr}9phfiP5N)د9iU]V~Q%\RG`?s?QphpvսsSJ8ɤxF]1W|3X[8gs@^.! #!*QE=,="tK;A[DR&K  At6`N}Øpß$m4__`)\p)%qe5pxy~I ]>KQ юMU7F-3i`JB cBkss뒑*OU=6o/1%|a %k36b5)YS'E\ )~ ˲mlu.6)IMe0>徢".c [ԣoӿpmca)"V< u%]+M3X+8SlY\+_b]ޏ 'Lm&wrK/+[V+|lՄ)x΋0{yGi)cIiOWS<{Ň 0{+u/3vӰ &.Q)Z_7^^:*(.8ĖxZ.CR*`,H+k_D}hƚAѺX)Lz5P܏ `;r/ZP \8K!mg)oocڕv͢2BeS2pCYhn1}R)%~hSc?0!o̟`}`)/=^ ydv!#jv0 шһaBstC"x4'kX'ɎڹGgnLF.$~Df3 \Q652UGr{s9Pς7I p" 3mj7neB#^AWX$r:Y>ޢ23FU.5!R{,֑85ȏ=a̞ϫ7alC׶(tGoD˽5%RLh+69c4>zdž{u~)Ay ,*'\$7S@aPb Ԃ:[`UCR.UIZܣPˣ0V Y&(.&&yL4Q!Ă{˨e%[QzZrlVILLCǩI t(|j`C"!A) n:H-ܿp=z-e0dM Dyԕh*lM71V82}b.=a`*UR wĦJZt>e~UІa|!0X8{|O =XfA\U&aӝ x \pSjE>"Q>ۥ[NS<˞`p zb{z.#m3l6:\ Ti`(b|`bG\D:eZM s=Ibe{seg9ҩQNǂ}$Qor1ObNh1ҞK"n|wTy3*qծ]%)s 2W wSD7H^gv=@ƁV|hKO$fڄn6|@FX6y5L~Rv(,9jϳ6*&4Pk5Ʉ\E,icZ=d?h[sUZ-Ab$~&Ѥo'6M1hIJvPd( |JHq+n.S-K [A"{;!3?LƖ!5yfdK_RG7Jm%$T_kt,UiMi8,_ɋA_ەoH"9ޛTXؙ=Bk1yOܻ͂s^[dJI?c~7>0lǠ[QN? zRN}l]&2"LZo#bpO!e!HF QӐz~Se SAdj"?2N> 搜ij&Y -ར* 6* Œ0J_h%[R+ܰy9C3J Y!xxwH y(̒|\.OȪ|Ix=): Lo+.$n:%؛`xc(KEە[I"#Vʞ`}zx=6ݻD Nm=g\Q$@gEB%C5- aP{<)thiKSL'E_x܌ %O.M†]9u2盈݊;q_1Z\PYMATWNChԂ7Hb) 1pǡNw;u4@V_{ UGHu d}C-m% w/0ގQq(0m_% z}AyId=9mc;=CW#w_C3Jڤ;W6iN%n8E6ߥ KFKM XRvf]u*Cݨvls6[kS"3Mn&]XX4< tt\!wί3#>."@3pIYTYvFT Q5RјQꊀ-.x# QEHKLsmmgT6+{^ywp/6l̯EF*"e@ <.s#I=h3ztޘ^z7E{T}+Q~(4컥aW0H1P7{PнTU`lC[rT9lz은 2d>_zEo0g! j~E˽,&Uad.wr `>}jQzE! ~="%9iIК"1=ɔv A~GtuCΡ̋ޱ ]$ ͇n(q%qN]`HL+ߊaPDqo;F. *R@|Ep*@LH&7S`_Ç2jt& )6 g-N>s啸ѽĕXK`y .Ce/PN0B2EJ}{#.NORBov&-̚F`1槵y~> ^u0rẄ́(Z5 xH"a= Jb P#Խ+ֈR9=H%6gnxpYۅ@CL R֏)RӋj;;YEtX[<џHv*<9WM<3+Xdωwhf(g^ӪOtgC|NMoEYUKcy$Ee"T$JIઙlh8 s#3Jp-#'ˉFr]/r``xŽrB-<ӺLe•R,EI3"HOd #s ۨm&IJ%X?=Xw| l+>ɀ E$bt3ks U@%}2iHF-qq5 ҃YC }&R>g.Ef# ,k+٧C:d6v/ݞx\8Y'v= r9 W%+P.ޱGV<!k4ta~KynUl.(S4|ЄbX[hD%^./qi{ 2uayлZ6y5FRŇF%O 1*K PU$њ<Hf$m#RD)CF F'  ,ޤԃ =/B=Qn1_}Gg84 v´zL$*-j`mR_oӓ 2Uj Vؔڔy^7Q9YLw~,G5@Հ6Vq5E#pX`y{s]akyPA'\/wWSh"?@dnԼhoF.0/YrN =\I!;!K`_Ygv,TX.3m0NyoeM&O3~̅#mY7 Q{HQDKA4jJJTVGjxK8$@ hQ=!`F߭@\c}KQZr-'K_.p(!Ԑsg(} Ȃ;4-Pa+ OJ WZK]a )U44gY "{ AA% u_=ʝ\t>b>ö*_T0U[Šςl R*ӈtrfM)@>qM+*YdBm/;deGl㧑;N tFǙQ sς}6jFNz/qlˤFܼ^"w2tAޫg߈رucg$\_:;]gR{9饯 #,uфť.ck | !`i闓_>;,nJ٩vT@fAaC4=?G4 Qf|z(<\W N.'nR&U2_;(t+7\Fȳ ݢe ўKͶ60N\!Đɪ#{BEA )P~ SGz̷^ tܯY;!x&Z#|y,zzW.Cwq?q>Pr(KcAeB꤆jy x 16Ymܰʌ>n i=<:>cR ۵2!˫M*bb.t@Ë`aje 뢶EW72r!Q,Ep3G(i'(m@#ijbYyи| wKg>:bQCGD-ja~<O.{v־]Cgޝ$a֧IL.%*R^*bQ5P /aGRB !-A?Ǒ9lc fbfvSI^}tG?K8:,3ЮzW$Ct1߆%fSVImZ 6~cWzVDz@YxU5up#"xAM.6V㌗^v s~JKPJUrӔJ;Y鐁 Te,< յ\ݿ$U 瑪V /yZڋ%@Tu.Kc]~\3(P7KU Wq-E9gSj -7~W~ټv pDMQUM90D*t-iI>(R/w|blL *R\ӝi0)H0Zz]Eӱ?ob4wuV 䐆<+`0{ >7 BcvZ0{E]I!+RçF`H>^ NC&r>ʲe{b$'O?N' N'icSTQzR["աt+&/\:,RܢWRNNJsf^"Yv)k$fHT-9#| ٴA~vo\K"oyrři~ a{M"BҊz}o#6 _6ZSI%۫Xe~\!oС<zK 9Ohbװy8:xdb wf)'=*ӻ$ۣr1AoFw^BKH>i$m^-\igbȉ/.i<"8z$䋉&:Cz4U&p3K#!QuGX e$Dk jϟAnX2/CV//4oh`t-,j:lB̨ k G#o=,<42dzC9'$Fy,?rs<~Z Y^nszv[C`l"uFb. K؜{)U3ɚ_n03 >[w8lz!fWQ54N^/G-9L{TbjMon[-="]x}eѽu@kC7]JtV qO4zq8$Oʩfumtwfݶc>d= h$Ҏgfb_/B=:Q5:Maku6 Lg hڔ1|؁џs`dfXf?>W4ijtf1ƺZ>6[~}r: XKܞ8L㙀^:ZhR@yZ(VuMPK-c% cáGRA7"EOݥ8cn5B(v*.٧JĴvKh%^ҎGXoW>A-:黴=~IĐ*[PFMN#7X޺Q|ʕk T s1c̜`aVn;OT*=Ph..„JgWۡN h#+,WKfB 7UF$pj~-e#&Kgʿd8V%+kfp7Cpa!gS :n/߀WľSeՒMg!}`ӈofk Ez@j 'VqPw>foՅq^wBVU ]_9" ؼ#t3|RmD-d_9gn) =b^鮧!)jڊD +@m >3Zp> 7ZUUU?C E.iTÈyFZ-ʆ[36[Rh ҷT^r;!LH,Uh&u ~]J胹Jq~^344]ruuD X{a<(n0ޑ HkCs"WFk{kr"Y @^ x9!9OThMMvu螅2f1f-fŀtCaUK HכəpB-w;ȷ2{/ V$XU!M9pC p.;ODQ!؊*L5ajQJiAI$K'_m~.E+.s7@ =T8*fFhP+,kH07(s.1>'OݬOYO$Z񻓨6>*"OSN čM)mX Ne?oL⑈]P;4P))\m%G:[d(m`:S´F!oVͦNtPm961~5 t)/ҞX r0~W2)noN,xXH ay°JG)i$MOY {j4f4=[PAjb$\ʞ#4pv^슥`4i8ޖ:ݐ96K q촦9'Y'yNHNbX.xMIߴdNjcXN_v?YΉ띟Yq1NLЕ/MAK=pǑC 1”8K?ղV]*!N)D"~{ԯA%/nm`*k^&axKfX)|(,dکaJB}#3UWusި;yNa ڮ{Uw\fFCƖ4NI'T-.?Ѷ׀AfaQ}n1{q vE(8_p`^|k"qp2yk$!=P7I.)гhZjD/p^y<,:NSJ̦trRAh2sP,_U/#@ !5w󞽯dfmC+ؗͼ )hq}Ciun#th()hiHp@m܅hgV"OJ]5Gty_n+Kz4}I-A)%'c@fh^:d(<j1h[Y)6B-F,M(3K$)afg] #;эb?U4?/8'OKsz<~dLފ#WSel"I]^t.u~ح#ّ<4Z9ߊS4+7OAPQqa'eMJuu:q,o0_pxtYG킊K~b*!{N2vC.}!xr?'at 儅zn2WpNd? d2a蜡7,.OO@w-1oXe|j$vLna`rʽ^:&zI<K)M #u ?}t8fꭕ}*]`okpR 'Xx3:)*d1]kYtё[(EHnӉ M:O bU[_T*9͝Wc,5pKxR``c0鲏f-'3Z`Cah-z^~yxVVɔOӱbrAG\.\(%9wIa$aG_^ KGB@  9ӕg(^*UqRa;}*|ތTDxl =x;r?ލL_QFC|t+uR$ͽ{2y#ck[:Y&[Y#u/GlߪwE~F<-п̸ o^Cp b.C s_) u'bn"!JblBUYͶ|@ry?5d-@J3bs%+^*+uACri+KnX`QΥ>]Fod7n5[k~Prg|,bAMԳ7.`B]~@ok=:U5z&NTPy:;Q6ݍSюu῅!c&0!gD!=xl%z6.E ]q@(?A$x{6OEHx9wAV뛞yz^Tx %f*H21^G b!nV>e3ANW-aR$'(\ qT,r9r%D"'XX/rT@eTG?jʹ){@sKsCT၀>N7]Z`~ݸz_tEޖꀎNV/hDy3[Q!l]Cن۫%bHywv,O#N'&Wy/>H߻ǘ=A*>8^qq'mqr z9Vu9Kzcݾz\zzFo>w3; "¾-ztV&@ٳQs*  V,zhqryqE럘:1OsDLW "\&B6h6yJq4ƿJ(At_3.H]M&mHZKb31֟C]22lm,( NyaFaTAvau xSTS48^T䗄-T\@ejdߴI+jQ#W,ۥZtsu~y}iV=tgQԎizHՂ&tY+Fkw?Z݌\NasXG)Wd s'g=G/Ӫiؕ)f̓8좓t0}T/dUEY)Q aYe<ETSc>鐠|.4=3lOIy wUM53Vvf׈I :Uƌ1Jֆ'?^j7T=+8.⡻tܲ!ŽT0AH?1 c0RAdkbaU,pQ)o8#!$YtMߵв#DPmr6vk* 1;ņs|ޗYW!3!Z獲Mԙ[*#̏ IpҼ:^;+s=C->nʳ"9YN4Xp [4sv.*$"hXK]#6Բ"Ui(>r/Ry| YAg]Qz~]ZkK 1 }GHzawG1W})@0ǐHZR(ZM:~[Ab<[4>b8dz^3k{VhwcθV6BVᜆBʺNQ=L9.QC%IVQ^K ֑P裡!@(>yl3e+;KAQ{<;5*{WG߀sg=qt-0,֚HVBƝ|c&6$2YȇhXRJzrꬪo j SN$5_3 ϗͲم.0@;#5k鉻o߅8qoҏ7l('fy\K#5/{C!ṠОDh ]-h*0̈ʳݤ۹'DE=Pd#L ˄v#˳1|>mu>)ڋw#!l6YرB/$}Fs.\}=}$ǿͩ[ŋ9\ q"J4I=Cz|wc m'@܏%ѤS @MZ7RFxz9Pyy?]EᣦPnf셢UBN7QscIr"bq2$pOrI8~-5pg;YR@MP}ډr5oF2 9 D#obr$O}it$ɧqi>{f!Ydly\,%hy^)nKǷ:D"jY~W9NF[ɈYISլ|S@$_R%m&+)T*b iq^2ɋ5s֬5Lq&"\3^R__t/lS(ó'<;(^ ̶[!WCN>9VT2AwX4!_%X_+Ij߮A!1y*W*נD/ċ.f"ͺEbJ%SZ蒂ۏOR1IIInzO7[O;XSגv~lE%U`YZi 4j_G.i@S:'WҖ/UU[y?7?݄ M ŧp˙u~ /3*f0LKٵ{!z Rc '  mŒ*Ǧ!xAK 3PmGCQSےS:k~/cTV7y˸3(…!i@=fsЦdP"F>UjQ*iswnc3s"5d/!)bWݑOohmHy{i ! 0B5GZS Oō] QdGo l# Iܽ)"%1ꯇ=j/$qG:i:7]dmvUAh 9#ҷJWb} m+@vyzQ.f$}1)]|FFI̜ N.3eJ+."]rɥj L9sϯ&CқhCvnIP!JTٙ_LnxG_Bysr'Qs5ƷR sc1.K %:gl,NBv ʂxHGNR1\M12.SasiEfT+!DӶ/}Z_U,p$\ WO8)> MJ 'tYD}q~ YӺFOQOKVa }[LE#M]aKYR/F) 2va@L5C3?rz7hg(^3`+yP'L4Đ&ԥПyy 7yggc限rxXL u*.yb%߶@XuޝE!F+vվƜo7AMXQFnXװ0~'tvt ɔF:kn*oJic+?g.Ba