SQLite format 3@  .C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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=289.384cpu=1384.980gc=70.2327zXZִF! |-]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBy$Es2Emw~-f mn^p%L pd_4<hJ0ťni)((OAb;CRuVkK"*[nT)g3͉'b[gzR=|R(d*6s8s 'iv%"*\rzldK a_aXD9sZD=3ɣ t}.xFfA%6A1ļqi?DsHД,ۅ$㲈]AgEz[Q^[$\'.}JM 9 Rـ( T\wLo fS1Ӻ=fx]CζRwmUT" Q>_ RwW[pѲ:͈ 9[cWGSvcX`ͧt#jW.0cl'SC~jU~(C`BgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0aLR4_# cȸ +sG*DYJ;-7[ϕEhX9zChpO fc7Oaǫ0(0dQSD0ܯkE縱^BigYZ7zXZִF! 慘fB]ŗXi%P.k:G% ZIb1f3xiGO9[,G ${'d ;#\'m X"O8Erlz& FN/ eȍiu|ZL꟏<Ҽ&NVdž],]x|[ȂaI6x*ۇ`gh){y.;~ȑ^.M*aLm|ks+ ;fSͺ_˧>:{9 hTp5t61w>8 @(IM`D2.)=m2\Z鰸qD_ sƆ)kUɀ&ej%0fo~RAK!l^GxDr!Bc^U* (j5%NE 3O%Wuqw(ΐIzǡdIQeg_V>CnnZɼ &)oZ:uUDLar \pRL#4gTU`𺡍S,.Q$xR_Glz"qKN{pz1չ_ Պ_=T Z4ihEɽČutzf`)?O s_[:@1D[pM}ǒxWw`y >:XNgj$$" 3||^{v\KݱG=>RKݍ/PfʈK6&$%|ϳj`~ @l1[QUgeuFMHOy~E65,ƨh~lI^aitiLCtŵ i2,W-7֩:(n8eR蝇՟Iɂe9f@-JhA*9Ar>f* æJN{^GƣŲy> êP1:3Ҋ!D ̛xQg~T{^+!՚iԡ9)N)6he+^(OYĊ@Gq{VP^dJI iZAC[ܛoVاzZ >W{<0jYH@;+ML%02I>[߄Ε@}R-O(8ceIdN!,NBm77#dKceHE ꔏbO+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:FrDgYZv=s[ HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument/Find_Unused_Assms_Examples.tex7zXZִF! 3]A-MՋhvG"uIBm54%?э~~`ٟ vaWqwRZW^me}@wr 6x̿ThI~B=j':lxV LWH~ܜS)lʙXu}rMpPF#j%{'NȄվـ]suDᢢc(UIÛbщ'OobC;|XL_ger MB2E|k@;&ZG1dWUa_ard!N]]o;O6;Ĺ< XpV`xU>$-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:FrDgYZv=s[ HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument/Find_Unused_Assms_Examples.tex7zXZִF! 3]A-MՋhvG"uIBm54%?э~~`ٟ vaWqwRZW^me}@wr 6x̿ThI~B=j':lxV LWH~ܜS)lʙXu}rMpPF#j%{'NȄվـ]suDᢢc(UIÛbщ'OobC;|XL_ger MB2E|k@;&ZG1dWUa_ard!N]]o;O6;Ĺ< XpV`xU>$-9's<~?}7X rV@v)gZ<@y@F\0%P j*t0Q4 -\m Gzۍ=pqMy9dEꈩc* kvEIU]_FkT|YaݰF' s(\>7[W@8m|0x\pcW# Wh`ڳTٖ%hx?D&rWYNCi|uY'%z!lȤO\7?O%B.PooQ%׼13)xw[OIԡnZlvLm2fEg&;|ۻD IjL(<#׷kkSӋv%gǎ̔ܤtI9g0 bzUn 9S䎀;jTG ɷΣPWGR0 \8w$J̄uX1#nwSro*ٖ}P"wE~98u5"])FXCFB=Ĺ+xKA҈m,(".Ͱ_fxKǒ6N1`2E~PDDhLS a K':8Fl 7T{D{Zz,7 zkeP*J|8f_H8}!0y|r38ԕ+ʷ`/5:{7݆218GF,r=WÈZx_ܩLaQPP(& 3Jc:Hz ZRbjqÁEEyQZ5ߝ@ݵ|+UX'/޺L~ys腃PkC #;Ƴ+ #VU"!?C~9'gYZn=s# ,HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_ExamplesPIDE/markup7zXZִF! O]:F.3!+a܃? 4$lwhI8(-ڵ5KR8{c\GpH#mxuE'`(i42.f9cFpSFel͈aR6vErG69RKzHԺ%?Z$|#qHt n?>5Uıf0?u$Po܊fEm~$'V9Ǖi1\Dԡ,_i=y㝛mbat-*+V~eKN dц4 i+[B݈dzz#Gj߱gYZ- = 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[X2LJkq,w+M2 7Ft$ jk0{.XZt8T0:E**fĀJ3%Kfs=o'20T"e#6pB: EfU>ڿt7ˑNbZ>ρj`8ԋ4U/گMqաit6Aw6XF ;W;b{1O]o0X3mi)^$s h'9l16_$׵"Gx3Olb^,\h\\+P&Aw[ yQ׼l˯2&3N-kRBʎA?1M6Z %]vV:XӑyK)I!|r lSkL*JR~( $\Xb PaU@"M`& (*[b^Y s \fI(0;gKX ] ŚJwhd7^M&qVr7zLCD=z]LO#nYeBDV5(]Oɏ\y/ör:+ZcsR͖݊ތ܊h)KV,%T-'K`_et؃ ! զdaKq &B*֏;esW@DcXF@". [?o,:p7KM]V)]M2…M&ž̛؂ φbUPd 쿱XA1Ǎa?L K h.Ǜ4 3%b*bߦm^ZFGeƃD߁znYrCz0WbGf^v_[`2_)ᗇ5(ڊ}Jk)SZ3[fSŌC, vdҘn8c)=񝗘 Oȉ#qN]·Iq n[:|&[z X~D yYb3` 5[hRjyN5g >p'm|g+Ubkmyqa DBzl\6(=?Ɔ7*^u 3t<1 ZHC$r&7~} ]ݒֲHޑG\a̳γ;`i;M8.~Ej Ϡ0tns"hO,!`dO !fi+$yJR2<_#C^zM@\p)+Mpi6p`ܹh'XD?\o wJB˪F!H|n.UE!jP_rp_4S(z;Unr9_JU IyrFHV|:1^D7GgQ wI5񰸘SQ>.-kvz,/,6Cf_KR?˶@|l'o p\:J1Zel% # n|AA9o,,h@wh֤0K/cݚXYk'+k1q#ir&29DS=Dm5|?{#-ۣ"e:R$,;kS 4k6 oW4m rbZx38*añUwz -ʗD#ܰ1LiGʞ;VE;Op\Bfugr=׵3YH62W,h%{DEvH}&6(@PE9hr %qz> FbtJ`eҜu%  QレYa'|-0W?~ C6@ bKc 'h#}X[ CxJLVbÄwHHN@(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.gYZlUOadQ>U3KI?3-RS X=@{FHw&rP4"`D +K~ Ld%eĸ|y/vsqZjR \;kvXRA$zfaZ5p',]`*pc?a11"{9m-k2H\;80{^ц7S[!*N,pHZH2G/@E4>22&$k;3(.# my*h /!Ȋ< HQL%HDV$Z6WTg񿙻֠ޢuAzAR´[`#C/JeT_ %0*ϋ_S658@6nN/q)ٺ6g{IW<i;A}u< [To1=;}V6NXβ5{+rdDS7a((%a746LƟChQ.|$ /ޫI~ J|py#ᯱ?%0;%N0aDrH S⧳8Go;&uBl!4gQwn"=7ĵPây"Dfݳ&~!t!ۮKqeO8=Y7ߺO4e*Α00.xTyG| x~ߎr=nVpd BmCcVoDƶRMF!+&,X( /s۱c:bSq"c+DCj&;};T] FMFKvzszYV!#>Q2Eql_|38HIx֠OS/LZau2^ᐒ %y_۩ ^g<~NDAUz4pndJ=l.I7QsCd,+=H*mrAwd~LUdNkXA)ȗং.@ %Ƨ֊L ǹf®5Dm.:~> Kۋ0fFD<ʔAi>Umpc+RhakF18w$I!|/І#uӭblEsfj{`!ܘP5=02TLwۅs:MdtX'_AR8p `0&]vO61-!B-]B@oLzǧ[vktt%io9wkӕ1v?2$yiH>=`?jܜMWjAa"\f]6oYvRCkmɞw&GhU“ Y~4jroO>TNv N)Q{ϙve4i,2m0i1Yݖ< V\+Mzsx+4u'Kod%HRycDZ{Do "t(5h#]@MSxZCF d_&ևt\ PR/NV#K"\okē~vpT|/p6vᄅjqKK C 8~3m?ZP ?!h%GYfyOػ>ȳȗ5}WXT} / ,rȮ|h'^E \ RKC|@\_MUa4ux*\|2ac!!>Ğ 2~` jA^Dg/hh #hu~߁͉PV=`@,]dEAzvj >&̞i~3~ &~{gcX)D@G,G L$DLtU ѻR@4 t|n"8idʰI\OH/k%Ȕ~HZcB~1Zk}c{cm :_f6J =`H{?WǑ drbT V#Yg$IEp=~4ДsiDȪ"e̬2ɤ5#6:'Hŷ i‚}d2醴vP(GfWQFBM'pS_)65ݰw*2 >͘"Γwz'.WiJ5^"s+B)GP'nԋz*C[³[[#O}F:-m<j&q[Bj{*{߻Xb1X/j׋&`׃mLtEq1V-GY(PH<NL,y90ySya"{ ^*'㭵b8a 9Nyki UN V?|\K1^ovAsq`Ku.?'-Pa;LW_ٖ+2e ~XU< WJKBvqw >~reiq[K+nw_.hD+Y+CoBxy?bb-,CR2kNRG G0ɲ,%F 4yCȷկZ6XO̗b@a똉]%V:&uzˠ~>˳`,# \֙+3N/m:pz9o$;dzzvLZOq2 H@\8+XՍb7Hv1X~H :{-D̅4Sl^ $+c)/W6r4p L_VV(=Kׇ\0Zy Ew$(- Jm@޴ˮMo>`g@A(@?zo@W!Kp>0kU|`Tc;yk9sS Ƕ)8 GLGdҹ{;{ſ$dBq/|lTE/J2[7xy*CJ"ix8ƭctZ{"2 d^Jz 9Wf(uhrr*٘\5Ce ]~tj>1)Ogïݚ[ U)eVNKdIÐg$8nnˡ MZFRtsgF@ iyi͞Ds#tr^ʳ*@,- C%J{œ~XHN5Vrޙ~Iz-[MKѹ"j?iYPm>q/~匏:=9WҪTv3ᑗBraC5#}YUזT) gYZ  _D _b = # |HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_ExamplePIDE/markup7zXZִF! T5]:F.(Ì\;%|Td[,i9<<h,t_/W4\mUebU-\@|GBއ]:˞0g-{zF /C6İQBx`"x24e5MRYnIޖG0} 6 OkF3 RϰÛ=lbR}mucbl߮Sn6|BFy~V%8 k=$l>46Ղ}>[6# 54٪2gNr&Y1D![Y//tQ#5efL4HfĄ`4waG;%> wWCOc- ?Tށ̾ImQ ah2@m/fp"J}ܯa6GrrGץg4#Z>0TVƷ{ە\N!W 2#/gH ~XWUq@pknt;CO {p) "7qKRZˠ2t!)UA|*,ZTdѾ$f }b!^~@I>)]k^+wC_Ĺr9>Iߘ!Sf" @WSFbDpm;^9vq 3Z 3a%z>c4d&v2/<1ƟO{ 68w"gYZ9 = !,HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_ExamplePIDE/files~~/src/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_No_Attacker_Example.thy //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פ(߽op+Ц7$]Vzp,Ie4m5<уyJ騚uRK 8X8%&V⌆u7vܞؼdmqJ-}FZP]2Q oЀeczFukkΉNL\}pʠ3?+KXaT잿5f}I͛*DW26HiZ,>H*cݍ ؏%6i Be_d'd/MY3m n?ɎnBGQ3M %a׊6㗅BSbd(cubQKVu-l]ZW~=j*/nH63e$W; G[ \2f!FD)xMM'ەB !M< ǿ|]~l( XD֘4x\j?橤pܟC:7H ɿ<9vx :x&;5E?eXZ%ޅ+!iݟw^vadƩ}dGĐ՜_1X6鈠qr.:N>]X"5?:غŦf6 "^}ݤm d򭉇0NcI #PSG$jGHf8_XRklhxi [z%"߉`UyR 4:V-3g+T ү>n6IxD\  `}VJ|^R;6TiEosIAPCBﻠRFti!ydFc -44 Y'e]roeB'{FH(NL3-A"/ׇO 9K(Yݿo 쭊y2V;Jli\ȊV9 IvMcM%5 ܦ~6D:bKh7tÊT FЛ3CvjcJԟ "|/'fߛø7a{JzXZP(9Ì* /٤i$JM& &:9<{ƺ1iVjr2RKcyKS=#V0ͧûHYD\rMf<z1@1@FӸB*ˤ%C XS ;[_ىq4U{&2Dm#UV!N%,$PoaPЮIT`L`_&{3P1 ̹ *T_Bh!HȦSlQt?u+q/(yއfdHUnنTm. OXQXa|8߯tG;u{^7"%x{Q殙 )U{H}kRWMfi1S#> Xt[>|OwvϞ!d_'"Ll@ʲ|RT= Cc>!Ir``.FԴUX,~XڨbLQ{tz X`HO+_-ZlۯhfG,5ˢ%kg>#¦n<+n'+̀cRuq$-עL&2ool"bePUuD(64| +c'zlbTtfnG0@71p <[`'4V'Uos8q 똀d=;2R=x֮>1;򪏮OWLkcBF\F&$iK_Sĉ~LC&I0KxOrH#v[ I "йA"\՘]oa샱Ks1[#S'45]q (ͣ$b8}#< qվdm|bIl < Q{b,VSPvxR-Ur5 eeu]6?El5R{Ψ{TT](U BxW=v Oz@[Cj971lP ˁؒrM3) <}\he~;&*=M_,`S#]QUR}R/y\@'m63b] MOCN)4Z +-L{ՈSo W쳇P9xcڝtumZϒ3$eJHq;B"X3h'QXZځCMV #HWim߳,9Hܖ}ߩNVwJu fu#?1Ͳ3Nb勩t| sKQSm: {N%6JZjm(ZT`4iN6(unJ1 F׵oKcI,F@O3\rMr&G?~f("zƎ}׼x98lxϪA4į0褳 mGf{Չ!6'K_mҎ\S7[,eCV+ɽcpZ>znu~ˢҁQwRu]3!{pƶ',{yPųj&j?.W\*p -7ipqEmMqjf9e_S]lrv!uUm/`ڹWrdל>bi ¨+_+/#9UqQ"pwŠ_wZH?e H/2Yʨk.:zK+c\WDGG.=mw[,&:̿aU%mԔ9a tᤣ ;ZE.BqG6،-3ij|ө7]ɔ}˱P"D++} 9xE ZBwL]}*j4/%_#]E%3/~sKHn9x<ܪi;ObRud\_{;4kGz Xyg đe#))0w7X׈!3Tp[9xF7\oon8CuE^rHZO{6H:W'M>4DnRa>e#!H$+Jt Vr:֭]~Q-Aμ ,l"g^:DLvMsb)z4ijDj'[pR,yaJ{4٣(1d%xٗg6xx /zO,c` }0ۓz?v7D ,n%@m^jS CWLգUÞ"]7z7B.̗=[;L`Xś(r35&n*Kߨ`4`E2UTمH]%0B Os>L )_r<`V(%}^l,F/1b@^7f>*e%sD,0ߪ>NŽ7 l;܋Yat(rCh[Q fHi,v([og=cR/6=?-E܊y4/gSfrIo}r`q3{/o{dwo.3e\< W Omy x_\m*f\gg -NHJNz7 ^8A:z8I^k]&*YD4|jȃ==rx?ݖV;wEd`jX?&ׁ5o:y dz]ҚSj=aU+Y'NcrsK^`NؖɀlŅCB.fߥQ)mӅ"UL)cpAD~t͝w>E&j܄%`6MEdfSmz{E+T1!C{8t()`;B)v$rD!1J1O| (s y \-LZpD\a]EPyv7?0nxns-{w$VWC])C7C>/SXn6{0&rP:<"?d;Le1'=F(Ӄz'Ks'di,HtУGzF܆̈EoG !ڵ+Y3wy9 QA`jK^Ma5,gzvdS%N^py+w* Q*Qz0Rn@/M vI^ W(Xģ)@@#(;y%6p'oNx}Wj7D a"_H|Mj5I#4726dZE6pONXP5ƙ,: ≭a[Ye8ުy6qJ~UӴ.NjJYδ\~ ֆOؼL-NafdRJ c(A}68Dlypk*e-"^Vr&f & 5xl-BKLK|r未_%n6$7k1;_C(%G\~r|^TshԿ6/} B%# N5V+fag/z_ʛ"yku#б]iJ!t{?n.s0xwpN6bgU~ܧ ~ԢݳyAį T˥`u`ۺbLPiM=>Xp?Y{D X?h2-Rx1N9hf?I,],H-vH'M Jhr??tino龩>bT>Iju.rA W, T9$ &{H).o^55&Axg=PfoНLHՁ̻hy9* P|tz#G)hޗVRP:~8w73!2͑mDX/Y2\p1UVr0 pF d Uܕ =;&T[$} ;=}UG{+{xS-EOx?i,vO4V9B M)m ^6v.kfH%X>(p[eR'ۑh5x2F:*҂]k.^r2z*!ߌ?:V N2Ǵ.䝮J u(<+%5oHl~`@ܙI-Rda"2;LX4D-w T6lodiˀ!튑Pi_ŽDU]Uh4ǵoQH[>/O+B H <}qXNau%(L]B8_W'ҭXchh[UL #C"D<ԫh \cwo3̎j4`CIF56:<}8@[A{Z2t1B^D"B@m#`88eblIi%bxu''( ?l*WuLGΑj̬c0i3$tKVGn[ҠOchT 3{%$.#ƴl8)r)Ɵ#>4ñ~2X;gR/&6-y@rQB3=&ʀ81kX]#FL͡^] 鸱Di1PgSJtv=1,ƚF^}Lf| @qGAbKQUg|lO(YeL$"̓JɢOQ ͬs=K)%*1%qY:MB6n3ӲIF{uyve B/[Q'DpK &V]w)0vU"1 k2ZY%Pon?I\> ݶ l%xO{({׿Q9O^Cw c;4 @ܨ<=<>K06 /䑝,X-M4G C iV#\q{}CeG^4^bK 90b?ѷ"Ze3/I1,utOiIypP&35:UɇP(vmNJ_?Cᄁ\10?ӠP5(_H 9-Ȟ ޜŃdmMn|h2v:-`b7F^r>u')&{PLvyPS6q!Ա $v]w&3ׯ\/nJ o8>?׍K g: dW/ D^}P@l*ɨw(+X'4OseOo2cRpf*5vAKW^ٛ6BXR5y:ANPl56.Υ9dZS,h+'3O(B@?5;ahsȥxߐĄdCT-faUംH6;7荓)<,!zb|DQJ1đYPT֠{a&\K5-#go1ڕҟ@Zc`昁qx3CᩮouE(Κ"_(bUl[i =3"cR3Ŋ w]TND! CB=%e^75I JH lo(Mnl] m"Y@ /=lh fȋriH?E34Kg?6eij '&&v/cuq9?]#tZZQڳm0=&uJC K\{V'Gu(oDYl'_DV}/.{Ks~enhA3F X>V1CT:<|R-465n,5ndYt!V֬Ni:/dc-:bP3 8Vi.9P/SB1{tM pGG[pZO".+>m{t/WMqL5)-ǾVj~knp/ńxCלoM"j7K_t7l0lv1H3k"%J,ҤSO:>PY%cc Z"SgnMUbLիMo|.Pݯ ?.$bHR 6id7i$tc . Ɖ;`ゟm%kZR QRQzw<ߦeNwC+IXfj\6(Yn@Wb_iTM("#uD|?\T¥#To0uFv#X$ֻCcwc\7%Ě@L-Y:ď^ >we|orr~Vp/'arhz~3'J̆+!a[)8`?Ģ|l,0fSφ.A_dl-c<xJ$  Q Q,=k' ,HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_BasePIDE/messages7zXZִF! ]·Iq n[:|&[z1`ڎ d ( h?CaOVA\@d/sCpVmjJ?64~ͤ0s{zQ&;…hMoLusA2&6H:G`lma ed, EH#,vK4,ep{ ?aw $@C#6'L!J0e-SY_╼GM1o(72/j^P.5{8 D[ I .Q?^ hm vХGڲfλSlXP \&|wHRC9O(Ԝ-d7Gbj;YCo.,Fp$GO/# e"Oĵ`Qqf1Q a~CYbJύo+mו>R nbN(*1{X;5\ʆ8"lGX0 hggKRm+ps8fvPʦ\VFCc*ҹCX;oѪ㰩h ;n\\Dʢʣ/=JɳMEb½hT]b'妋qË\*3 X|zGz5 eeX[}h>)lp%YxnÆ@}K}$ t䳳}OP?r TM7i ;'XK@l0%gq=t܊>zBTc J*Ezʢ|Y0!ho8f^O̍y9:qN+j']a+r /N${MN0"-S]g]>sŤ}9 hrհT6Ӈ_-VrÝ 8|yF΁y_C&gKVBVbpEJCy93&.2HH"Tt/Z: KT/򩆌 ʏo홿S+J #`:$۴L))N42A6mnrb1mI0z@J~:K9mբP954V8!_*Ƣfq1H Ϙ8\C]gU^ƪ1T8< ч3 nI0uH,u0"p0,f΂/IdiðUQI!{HREw$LJ) ͭW!Ռ.G]#c>,Y XGҺk% n'reM"v~;&vs5H!{c݅:~꧳%IV0]:'UT Xt5ʂAS9*;*h-+g-hG0~\2JiOOBLsmV)U2b *deF%0e1~$QCAPKSn@9GΏv2Vxl,atK |kѺB6RN?sOvUW7eΊKNjo1KԠ879WlIսzRkt.z Qb$1!- _ȡ .!cƚ n@D=ғOW<5>eq"^ׂU5@77T~*iWVD#/i3pgĴр3}M~]*C:Zj IF^+1 -lyxS0{O{M{3U3'W3aJ+Ft4"s `%Bw3:oLa<7ȴagp#՟V趀s49#!K5t6GÑ]r!YEyyO&^VB=F[쁠8!3ȣ.UaAPqqV9UZAru@s0|+mi[\ljYv[MY"eMJWUog`-\'nK\Â3B 61Loz{*!bs Z+&\tkB\&R+Rò+`v$6) 6$x|NK/_'I2min%,yܸ\iEqG8d 嚑~E7eHWcFzم gBvK>R,=+C)5纖q"8SkTɣd@ynN4اo +nϘQXc׉^_MW2Xb_y dE`àD!1[=\B6 7@e謏s#'N>So_MQ#_(+ofq!#65xST]GPP1aZw7' B|zsw0!gh+HtHI8C?T-뇪^B\s; _-uB$sj"i}.0CU dGfUcp$Gr)2X:7~D_B2RWyeV حMGlߴ cp)=YA2m`'ϖ"my @Cڝg,$ [*[pC$*`#S'arN`龒 w؞~1v-XR&dwv&JĜniHk}&$:LTc6<-.ryh6؉.//7gI`L\Ony)C^2/~DFWxS_d!²ش)FKQa8iehe<)|dLm5H)*+8(iBhu`wǿV5: ;~/0d.cJ0࠘&9tt@Z3~QEIV2I1ȯQGv:j# `7pq]Gfa`OucN"u [3VK4j d$%,MrYDTb/yk6>(I@-n9D{[Ǻ]dOɃ<5< .`ه(O&Qr`D|< MZDSvr>1ծ[t읾fgqvM@4F^sv_˓ \˻o8A!ol•#: mC DՁ:ykrɜ={UCF%1uppI_'W]"RJmҠ]DfFoyrGBb/XLFy6*|2~CPlu"vJ?F{2&/KԘTR>4Q7x"GX0𢱂|n䩖R24~*y5BX ckN %J;czI$0=8rcOCl*wXJ?]M`B! ]l34woz\^^RC h?׷0ձDKܮ7GenFO1A:|vJQZ]M%6LeI$(XY~P$'dԀF{')nhY ʃ.m h4 {r/_5oI7 ,8GX eF_A2nc޵0ǀ&=$Xl8/~PBk̉-}H'8;^ENԆŪJ7zΟ󅡋YvK +7Q4 \oNJWʒΕ]/2ɸ{uWj"mD28dlnY7x5 ? 5ETS]J|+ ,,8%7Dΐ`KrbB0LM纍7hbǯ%MCeػ&NRk $y7G\h ~AF!_.܁3 ql%fR-Br[I0YZ' +F Md\_){E$FA`tY$7w&x̶?)t\ 5n"yCSݪ 2!/:`{c48T!r~>"qC˩6f&q-;SdЩ2sUӣ[m1T{qKiwESxPbDk{'W>oIL VpbGq7ҁSLy_CGBF&jH b /$p`{`Xu$Y YH{w9!JbEYoy̦c`Z$Zc/lO%HHo+{D2'*L!iP8;+u.dӼ=UmLfW? C;0&ԛBK>%ɬ.B8ON>O!H t#;eHw4F)3|24[PJKONg_$w} FX34>Ჷ##!8Lne YdP:鶶zrlN$ȜXI;dU˵$6mW{~t5aq"j&-7@z ɤRVذ%S_I\6Mc]p{F3Q.DEajnS>X*FBXթns.l3;IٸvG!r2\e:_nd| uc-i8%6~ޑɓ/q+kd ǎݐ 7Ŏ-¢"'8YBn$k6D+,}T~b_Msւ cgµRXtںn_+]Lv## |  x,6kΝ Aΰg8Ok2Ci3]_  j#*jɧE11P %,!)X$-O+YHRC$s1(pfGH4,к@ry'׋.(N.\6ܥGƌMr8V 6?z܇ s9qZ~~)PMݱh T=X;/\#i[ơ|RUet%z}O.tJUR.aE~8ԛ(JD#X&P;,A!cdي< ;[ ^uob:T{k2Q& `Eaޱ(l~ܹq{_b]``t]M5WBĴ_9Ls, 8 qACv]UY\ؓ/bgJ &_w:lp~_b>!34mAd:(]*/eZj&7?cg Ӡ +ؤ28dh5hr0czy3ĮzJ>x]Cq ChjBZO08gZ]P pΣK>r+FйL?zjβF4`ՋުBYDVa Z.YM0=v^J%b+P͞+ߺc\9P#Lp m{Hb#ZFO&jo5#VOA$z~8B@M0ʀ$كd6Փ" ,jch!Q$xqF 4Y!즩3 (2Bf+Dtο3gX 't;:EC?'K"rӯGL. ˸g ci }vl,N$.4Ȱ>"H[_5і*Կ㡕pJzw:Qjɚz'HT$HNe!.߱jzhWgmC}{3`b  N%SLL3ƕb=e|+VlQ0V#_uKer|>~YOgH"hBf0g89S6de۶MT'Ƹc Z|W[uiofu>iE&f%`~: SQ5 .PJ0lݯk+i@YQO-{ݒެUG"鞼^p`9 %ɴ1V2&Efv\sV܆L0^e|Yy&aFCr[J{ ľ$B3~lʄA >T%H z = IN+ RTKdU8O1f{ɜu $N ))oMI860rCn@Ƈ }.4P7M~3A-R,X-$Q$t3[2Y B;u6@9|Zgsl]nm t= SQ1 i)57ƲO#$tD@9T$5>%J}95uU $!ic/69:}FDTJS.\ X&+oűH0$Åk6`cx0)Jؙ{Fo-o Df&Gݍis% ҁho|Pv62 |BhغڌHO}O;)|TD YmS5˨ l3g)NdFVPvmz]Z.Q 2ku"Ai8x 3հOAe]փϕ\%}LBFR9#VJ2H>i֫6ݒz_'0:ZYXv#m@]ޜspO}^X7msӳoټ/| i/A69 T&)-Rθ۪P4PEZ}54[h;7dRrxAnQliH/ߠw+a|XëMIXq12lIb;u$Gװcɿ _65>;>ZLU<'grUU}Y .ۍu=eADsU;VAޕ7WMa<O Y"\[B;ȶ;n'ͶT+"9`yNjD)(lxJa7+ F"}[om[6CƤ Net>'ŽXTl~ũȾ.`R[mxKq\MIx;~G)?t(}Ցe𕸎K%:'e Ύ}I6D{&@AXJJ[7j*rxFucvCZxxQ#} =ad.$Tԗl?kCl1a{3`٪Ӗ*ɍ %{ Fvk^1--q[Bd<3"ӄ^9Rq dI1.((ri@cqB賄׮=rc)\Wgr&0P{K"G)Ba6I x$ԭJBX[nCuVp!e~ExFB4Z,}@Ku $獀rJu[PYuj+.εx7dP*W_7qE}}i)&B{])`sAӁ*$zI0` pc\_~7)KH͗kZ R#bA֤E9nP'R vi3<7B]M%m@>yDDeN%Y>Hd> i 7{SYq^n_A$xp׮;)㖳UϺue288X ;dcͿ >FQF OHk|fU"CJ1^+o1W0xzqY渰ѧqƏϞ[[EvEC0G5gbz G:}v f z\OXD$O~VȤB?cU$X&PSEW:9y{DDk1 ¨Z3<\ 2|X51SOSN71|;"n 1Q1^ULɛۼ7/9-=smȸ;[50,'B?r-Sut-maհK4o={d[5`U'OC}6p OST8EBn] 0wM`j031eFg9i7E93SZNDx GK;x.|:dMe5H1#;N"4tW ezs&@j ~@|2˛` !U{mWW2Fփ:LrS@|1(7ɂ,i;=v{H[?ָИz5Lk:i_!$y1[=8`DW]~ḙX `I"ӣG.X5@l63Ǝrm&,5҄l{rwT%'pdzK@pZh|gI ܠ= ӕsޓHfy2 \_HB^ 7~wK2HJ3:0ZZe۷'Vq\PYj)d S/s'Y7Zʰu8ocQWh(]8O縟5m)i~ K,k} طgÉfT]*/Ӵ-$ُ iӼπ"=djUo 0~dَ%R,͇#ٖ#,)#($H vvtC֯_ Q]>P0ʛTp&p*N""0oxKۇNo$Be+VZ:DSgs<Gel\2!\l2C[Edց&;WP( Znq$~tDԜٟOݐ滸݊G)X?k{dvKŃȎ\ ޻QZVW H!4í6x5d)t>@%eŁנZa0jRӲ^NW#,XH)~ a[:ՒRS[j0B;ߍ*Ж!ueq"ehjzLOY*r.;`Rf/bMT:$% yyQ[(\<(脩Hgu qMc3'alS<;mL /Au[ܪP0ss~8kJz.id#Aye م Х= -):xdʁY"C, ^ߞGߑׅ)ņz)^EBy<2R9E|lQ E{.I՞`ZyȌub"%Wmk-X]^KfVN_08%@S_:WdaM|\G^' >2*y:`Xiz^n׼9I aԚ<␅n|CR W\fAQd Üs %=z'KF߯h[uekBqٝS*nvR'hx>nWam2zOO?D/P6%3Mz>'Qd,M[J! [N߷PEkpr4'! 춒aKSnw5ވP W1 K/);QBPsQyV^/:"IT& TݐttBKHA2ё& QAۡ5aJ[/[7YdƦhMaoQ~W(p$<"qPl8(Bq4rW^.{:=q> 5Ίr6/:S#IɢjjP `!J ++ r / Zxznk%at(|s K=| (VoYF2% Xvʕ"999oAGtR,= *'fRdRdg]T4q9Rp6?^fbQ5wH P+ɮџ w盇\0ZtA.pL'?``4U5ˤIq!n;(;c$=cB<}9ql0$}nL8-~sH%K}ARP")4VAλwsoMU0S]h@(d/{[1 aa齷fsKGZL]Np1C4<śgT ni/4r7H]'37[d^N Qk\w ЮlPv VKQ?=wm)c )! @r' =c8-b|ht*ւvuf& -,5`rdYc&( zS泆E.hBӮ zP`F-ۥ OkUIo}JKk_ yɨt[`vWa.r \q#JE+p]m;L[Еa9š:fu-LV&c=4a\ܵe?$ ~k b &!˗2ʨIvi;a]&_F&R5אd K%pm6g$Ԉ! -;; GOIWIг俙զŜ pGP|"RlJ7RD5ѹۯHA F υo䚀7Eű߱+ aP]ВԞp[vu!"'Sz|8Q[˪{> Moxabr7wx:\I 77d8zP ;8{`]t{^݄Io20^]N{.Le(-r!{`6LbM1(=hA}=oj.λ7n¢1n3|C>5@}/ʤ DΚMk 'm)US@;UQS%eޓ!b*%[<$윔m?>wgc &4zS^R}YG@Y'+ PkxAWvY\;d~pW'X*В'#4HƑ!Y#=_gND}GR rR.WMtծܺVV.څIdn喫;5MBuL E5{¤{aA|,o 7G.i"H =b d\?Zصk)o0terķ>]d8`!&q8aS3sZԠ@D$-i8خ&ִ ͦؐ\ #}.^;2^=ܳ:CK '#>AIj.!Cm ~v;eG|7km!GY:w/Nu!B&oT9^*1G˚tȦ 0b+Z-QDH1h-'Եj.Ԥ4Ӯ]lsN3[Vr縗WL`k':9[#18c:H%5UV8z;ʼn1r1uTV \%;븺KEs~&dfaGQ*S.XcYB4JEkI\Mz^=/fƈzОeBQY}HO_:F/qaI8ڷ'ǑH)SPt|9uvJ:t\( <޹8ClEhqg߳/ɥh;wO0$`^fr#-rO&csYH܈ڻYVPjC:lmwU/S'I'[SDjh*:,3O7b,ӅTSV1 vCC\i$$E®52m¯pYǿMX2 /ښMQeZ*?d̰QR aAĄf{/"al[EE]I#Kc˨SnVɿ=iQY?T,kbu<@f"xi:H)s_Amqeln:v &H&tOrP _qhMsEWOb6qL"*66FrO +\˳;1&D;cIڄMQ^:-Ы^"LAs{m*h.ȑLjN[p# QfCyZ19"$&@ml k#iִȚݾzI}eqF]1'\4RS\Eʕy9p05ͷqg1oXhd& k}ϲZ *O^ٜ܁߇EL]`yU\gRPl Jku%l2Dio`= {n]NVinHt7J4gO!>U20aƞc |AV|38(]tEA(/`ȍՓٝSPI䬚i, 7w#̆D T{1N(zsN:btRi8~NXh=ٗB_vc(>}.qHy gEzm#r$r4]J Q|AҬee!K9jZF @qC#1%pnDV+8nMH2݂@0[rΑNOו=r'2*K Y%}#;LƓSccx,Xru1 "M  !ب5pEH}dKW/FG d_= 2lJLGk,U]}}[8%%crbbZh˼f///>#N8R[zH=<(&bSS=Mr[5?YS\Z Pq+'wթ[59{qo*t,:yP[S~2__0f?,C<M^M/ʭOg,|;ji@\C > SG h[^'NG*RgWlvy~cNaL)T!WLͪ?W/)7VUi7US5)%N #.­A-;Mr`YeQPONx0p8Fkpőjd)9㬵hfFKt Ū^MOG؝S&u'q15 5x5&QgLDnfc}hC4ĭŷ`1tEzcV8CY7ZyFoN6#|09J6⹤|ˇO*Cfyu+%uRePXY">e6]&_0h4PuH*zd#YNdb%s27s:ƖV!7v_v= GօEP!癹 }GcXA٥M 6_:f$H_l$ %ՒpS$rv AOBy&mz۟t~yDMcrh\H|r~gGՏes ;q_ӊ@0N0#yrJ>V +iR*)faIi?8gaQ{9[Pt}m  W.Ē1(ߨ^1X:z5 J|A,`gR$#ǡsؘc"ڟ9R4Bү 7TVr1YTBn]dV?IP]ME鯅jMqV }{6 )U UITXmM-RV AxԨct۞@)ge(cG 7mi0=B4lR14 _ z߭6`޵j zy/ݨُi{hKMx 1Ĉ %9S]ecj{λBwO5& ?ړN`G>Qᗧoh(Ǫۏ9K2Slp {1Iof8 gpEFaZ2] {{Yi=XIr&ҕ;HN`Q(!ުbJ~'6YL<]{b HaN(NG^~2ب,g9  <* /yP/R"CbgG؂vhhQ}ʮ7[sAٷ=Y (q؃UKZ2D& sJ' '+/L^W#Ўc+snC9x} ̍Kh颚Hv-mxCd66ڠwil٥ה*O#C\Rq.zypa$h{yWfvLzҗmve|Z34EI˳2-aγ5J 8H ' 7aH|h?n0ƧRK[#&]{rw殔C鍑d!`2;~i4'^fqJam:&tL21$!*EG>'$1->Iu>mי PTK49}! E ௗ(/OUc=ﰨN==K 3{+OК&6d"_ifrAhju.92(*(DhtQ\c@X/u *vxNRwrEI*śB}i(<=yQG K&] ;xg֛Oֽ>meמxǩiTI֊4ڰS#$}g>2񲸬ZzM2؊k2=h&.{˿Xi7`HR3C$w6ϵl EqP *!,}m,}i34Fq6 7aK9o>xOimE_)%ńO3hb=.^W(E,+ 6]-sC|\ 7ăc/RA)UBGQ7t]*-ήr1@>x̕پ6ypT/ *)e^S`Lk ]H}琀Y-PǍ 9B*KkY,4btba7ÊA+ ,!/f>{QEN"s[Q+1R2PD:Ke(/I !@8JX] k*Jx]qW};.ɪqdtT_[SCa"!@§"zZW[kg,5s$yQRb,ccck}zXĘ%pЊsTyьz~_XڒC,Q=G{' ]/utcbtSAhfKZb[">$`gԽAyuBϜSMp]oV`4SWn~fIz [5j C et,o).*׈~eUpBnK.J&yٟ.Ox?6vRj"Eernb x\L-qLI=3h0tNq68"/Q;͛6"`ُٕ'JUsqdGWhe*a;_hgFWGL'AXLH&d.¾b po Ē],hWXWzJsvN04kK^M~Y]y>8).6QQxlo]ф^e\MFmsp3t^a%78|[+ ZrZO G_6x 4 7;Κ/dc 'mi餱l9mm-RD <ə^XWMtCROE\F*#k6mX0LNmnӄ<[;V`BެK Q[:mzZ _?DG'`Pg팊?6k_Smܥe-F;N'sꃪH uɰ;9ySK9o VLFLnc&!gz;b RD' ׬yI_ H{}R2t{ݑg/+qQ!'0#W< ԽElCF/2# ;ڃM6{PaFp8!# ڸ~L٢5,FRtƙ_í d+ -j;K ]OWH03\=|]]4CFgtɢd=I? 8s51 av ℷuc._#mݿ^o+ĀQ IoPlBAVP610dbnIlm_l7*p)E!Æ8s2S2NOTa>?{ZoYH k .IDIlKߴ]~6UY>Py=z4 hbOWǫ'5jvDǁ]0)`vQatەg ^eΟG*l݋U#h}m:?r:q8EST4:A4Ѕ_:lurl3U:nS"# zMoPPsxԱdר,PtP'PY=_V8mKG&G@'׉1Hp>dd8vbե*o))|˟9XDwUEc?/>vЯL k l쒘=3ܡ^a Ʈ{dH;Y xF((K۪V-lҝ`8Gp . zRߤBD>?W1| JM8}YgxŨ!%&9ēX-C =)%Oh#