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 =|T$\ ] HOL-Quickcheck_Benchmark:threads=6elapsed=285.091cpu=1355.128gc=58.7207zXZִF!  !]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBdX$ $'﬐MF- l,@jA^71Oֽ sOLY<Ŗ\l0J?+>0FǎYGXU*V3hS⌉j8'x0v /4e{ۨ/}ݔODYc,OE"2VWVUUth_}iP]a*~5+G!^lK~7bJ: 9ԝƱ`/Za ]g0lC|Thzcj3'  +!ma[}Z KQuMot<)d`iޤW{v1fW08|I]1\!Z5l *xWU݇ T[C`V=>Ԋ18)CWRd)hS(TLbI?9qqEz7G:&GfE0%K"B[*\G$84 4mM2 x~sPO|h:Zay.o̧lQ1+GwyI^JxlC$ʢ0ϚLcߎLjsvkT[:k뮄E" Y VeE8v˦7 h}Wr:ͼ$IʖIq5L̻0=̗kC갠b&6.`S52m"qXv7-1>TWơI1Q|~kV1Zw ?0/>N$IxTQ&/c1}ݲ媐=nsP+|GE)odwPٖw Nf %C<b Ͽ. DZ Ť\ƅmAY;1{~-u 7>J )WU3+e"^:Q=C 0]؀ hoN :砐iI7tĻ&v@_AanP4_ϚQLg..H?ljs3iRۮ_vZ:pUac@&#+ U. hC \tPY9,k0zAV u 6RƳB$I5iFA mSwa1 ?sH?= A*Ž ڪՏ}vF7X#9X~ͳVMGr = HOL-Quickcheck_Benchmark"=s!HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_ExamplesPIDE/files~~/src/Benchmarks/Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy- = 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[$-9's<~?}7X rV@v)gZ<@y@F\0%P j*t0Q4 -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[$-9's<~?}7X rV@v)gZ<@y@F\0%P j*t0Q4 TT[6/%^j1pCs6wnD|QQyAiln"$ 9ye!R}b,eb8 [sbL?l$'6I0[fEw${gYZ =y HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_Exampledocument/Needham_Schroeder_Guided_Attacker_Example.tex7zXZִF! Z]A-MՋhvG"uIBm5ij `W')IfY* D۝Z2O?XpM3NKz'8A8|FH2:J|FX5RIVZϼ'nn <ύ%;\{9RUBؐ=q_ck@e(*\YGUn?{UkԮM|UN[gN2ƥf3/U ۺË[@'.D(e.]OK܊|%"~X{/ȼ7󑸀wUCvz$ʉB+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:FrDgYZ 4 } 4 =# 4HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_ExamplePIDE/markup7zXZִF! h]:F.(Ì\;%|Td[,dWn;} gFk(N^H/@`/QX2L+p8,6D,EmB5;!XxEy!3{\쑏bNz&#ExrZ؞ \˯sU08Jv c)36Qb%,7͗г'n>aC8 ݦD5`պUӦ;Ӆ'*#i2 00cžmx{?6 epڛp\/%^̼8^Ե VB`$Ӏ0>ݤڐ`[[;B}ɫu7-"Xagg"kW-i71ٍ-<גғPЛUjw!SҔЄU6qp(~QAH(!n_&Pn-(EAS%Zj]B<ҍUXx3.̽<{Y!Pjv^FZGef,` 5j B]!KT,WeV-4IG3^z8~]  i{X,bϻ4vhTyz0dQtH^y25NPY|mӫGg {\L kse*tLMUn츗8S E'vk /@F7m8~ dHIW|/uf(_$,D4<%\RXйb_⪦bCpDMθ~}~N:[F=xh |ta Yg>֋]:aNX&;Nfbc#1-> YSH?D; 7#lATKNrݙ-6xru>cF.`k}Pzoܩd -rB* \ Ġ!rx rnNuC3hwC#Dq_Š/s mU@4E(e=⭼g$GfRF_K &x"/5"N3~ph`B-:pN[ǎ]=C>B @@| )rvʏ3}un##M:HKf*CobwՅ7JLœJ;2Lh6(*.Rؿhzܿk@Hdno<fؖhfE@in9di4c Ey}/BJ&xB\c$I}]N5E Fk/'j+AY&.mfb^#Zs,t͡N3O*_܊˾-/@@WǢsټfg T!b'j{ YPO{}IKb`5[p"Pw쾮 * gYZA =!4HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_ExamplePIDE/files~~/src/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_Guided_Attacker_Example.thy=s' LHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_ExamplesPIDE/messages7zXZִF! ]·Iq n[:|&[z~J2L3i)l2M?BW'/^x 875J:4MGzZTPh楡|^ch}5]4@N$Y>g׏5Ss+Ob..Y[=1*Y"7unȊX򶅚ڔen0t\-}OZKGyߠg1LQ|cְ$ \Zzj2>ȳwTIYakKM'9Co  mHAL.{)~\N-kjm[Hː$d&@)T{%5ey ;|HQm 2iq9I#dxD"usu,KHԋܡVnImN{@joa1?V շ}7IHb&g-.G83:'@aFb>Иg9ܸO)lx-cOvIwq0mܼ:B8@Œ4. oЭ[%wJGRG2q><~)Zr ɋxVVs4ܧ^ 0F7F BF$ LgQPVǨDGQprϐ是 u+R^\ugM#d:TjE<- b@Q+m4-"UYnGY C.48 ]K/E j<2Ic[a~Rpxtj8&A!OCըnEy}뜔T~BGu#VXk&i_ur(r 1'֖SbC gl7 }E$g#5*I)8,=X5ɵ`=/쌝c脭Bhb>zc0/ ('T 9⁖gYZ 49 = !,HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_ExamplePIDE/files~~/src/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_No_Attacker_Example.thyT =' THOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_ExamplePIDE/messages7zXZִF! ~@]·Iq n[:|&[zӰI?BI$ٙ폑 7>t尸U aцpg΄_6H$€y9Ԓao#ʔw~̒k^h$MAS$|Zd0a wQ%Y1(z 7ZJP.~HS.HN18Ar; 9jvV`s1?4e,{P$xq3cI yR~-Jt+L  (D,0sd aYŊXrfq:>LY%׮B6KȮiⱞ~C0xOtN%VB Uo*T371ΤØh@\mTe٥ F1X4;q/Ub5tz^xlRtt́J۷mRk%"=AޕL}!qRY)4r&n">6mt )ňV$*rKk\ѓ\2wwNB:fT|V6>a?> *'&JKC-(d!޳!=&ěW;G@Pt[-[eA&DR9yKrgTy.O L!jdC8z_6J~M7‚{#$2v79'WhwɍdRmh"?(؞sؖ`7ٕk d66냃ܾ0]iz7ˀLlyR~Y6l+9Ld/LޠŠ5I>5:͊H6B0CFyA؝>)t\YċVZ?/,Ў g䜉y $ (m) >^btIA~!u Sƺ: N/[>ߙr2T"|2q.:TzKPc8 tYfJ(c<0zpG/6oߓ(tlFc0JQn85~4F$Q>Q]j">Lqmr4)I37cJ ^̃c `.=7aq"n}:z>Q\b7ډq͡9bWC\]jSVMLj2 I =} dHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_Exampledocument/Needham_Schroeder_Unguided_Attacker_Example.tex7zXZִF! X]A-MՋhvG"uIBm5ij `W')IfY* D۝Z2O?XpM=x=[:̸x`a,{|lj|я/:4U ]J CcK^~T`e 7ј@_mc]0U/C\ON7b[VtQ:غa}Z)v6oSUh!WWCR]Nf. n E d͇,1*p6h@q`TX~gih&*+#$|jz88ѬJ[KҾj*m:* i鸳شo"GZiNZnB̂J?eGW.SÃx㫵CL*/N̻[{m`'@"-`LЭ|O>(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.gYZꢡ9 6 Cѻ8}֜Y*s,9*dbg#pc,Ս7uv9/nf@SWj>}T;$Q K6tU*\f I|P <DxZYp;s|3$@[2u3fUv[yli?zFEH𓞈2#2&,tj5P>r Z;:q^f;J´ry@;{Jn》Q~,&d[ىnQNT FQ/ S+#%OrLvߟ_q{]xaw2svz_.>x8I/P5AsͤY%A]GrT,:N}3GP2MnRM+sjRѣJY|rVG)f.#&^kJ2f9SZio_gul"N8Mlu9'E2Uf!#J5TK$b궔nԫyB])ۦ &r KfQPϧB%P$~4rkS( v5 %Ȣ,u @Wㄖ N `#Ű敶6CKW"۪KAg:![?P>X(z|H1F~zuZ rWn0dlgu XeUB?v;...f`w+ ;ƓVA~/)v;UsQ]ZEA|Oa߲ʿI 3A(bchf#߽H4ɏ+>~^7=Lv !\@l }h΃&|8Z..H#ltB$G(!yݣk; EUDC,Mf W}[%A`Y ;^|X`YDۅiK!'<7/{`aFplT &Q B''e ((KIGBKg7` tmXC{c6tjdHT>;fD3ުvԑcvoѿNTB+S.*и4f?? BGgz~? .ܱdޏ1-=sߴ\/!K$o~xz;jH 1V~ Dю\-;%TE3U(!R(: 7rX sUDϭo4DD 6;0OG17ˣ6h)L{;bHfs}Wvqs$Й8PtcgsR 9>種7MmۉŪ QaGh~$W*nTS)(hOϽGx#@DX7URZ wKD7m18=)#QF㵕Rmz+̏R8' ]$0 ^yzz4K<1.?zAhjP Vd]6B+~\sh'xj̳Tvsy7Y<$. % fn٩, ]%j_}@ah g we쯨U1']WY_6Qr!V9/H21+yQ*y1"=2k#O]f>ܬ]GO$܆3e`dr-_Lx9;bG9vJ\bϒx 2ҨJg^0 ncfZT=@KAV 2jd>+@=EDȀ?+wZ5b$|(fMA&ɢq"B A)hw0NQB븱?` |cO3HBslLkl&p\՛`?M[7@ əm{4juGbR䓛嚒مT^h$>s3&,J.DxrJ?8{b5! Ux*),e+EetVi 'iqLs4rPmбm+N Ւ vX_DXb&"{2iԈ3c#StuE(Nu׋@ٴŨp+䲳0 0VQeBo=esgˏZь猻sa5o͵(`}?O/]]սJrM9?ʕVf3Uny= &B1,|#!ݽ^WScfHNӺ/W-;e~9rh'+:SזU6QfO>mせw!n&rPlQ|lt$d"Dߍl&CkW~p/$!NbGmͨMŮz5sZgLx6dӘ8r3=(^C3}zt@[<-if š# 1^8ɛ[xCFl vп$̼^*fD<ƺj)|y?/3nw&UV*2Rfo:&5P%э١af,1ֈ0=J4rJx9s2y-e z\d EsxBm 2̢H;lu|H.*T}:^j+OeLE `{,FYz zU .E {M^K>'?IĥcEK_,^2ўDH;h zΤ1w&D wz|bt6hBU7"p"ΈWu& pWx^;̱CƔZb^gtmSuk7O2):$B_07ayAߐv&SqZ۟+_I9kWr}iʼnd JÍ!.[lhʀ<~@HoLKy_8U JC0'_}+fg)E_/L6 od9"6N y=>ȗ]?$˭+ ffHi(=a)qǹ/VfG8bk12lt3XUhN;'nl._@PW?,m'M&T "|ѧ.l,ui.Oh0-8&l故ݿ:@bVj9Z3b4p]Cc,:~-WՍQג.}Z_oQ[T[+ap/T&rg< XC'(n.cʦ3M.]4| J@,ZRZbuváM !VMoW9ɀKZ<*ʄVͺ7o{;''HC8XU5jÛ xQWv*wjGZH"ɇ V(-O9a蛔S_c㝟E,el~-[ʻQ>Xd&W/CNcz]fl@}C p(JH SM~Ʌï}u U(v;O4S"7+Z3sAoKJ#m7[ sPw>\;Wiw\'T^AHx0G.DL˖1ܥ5 l= A=Sk%ḤU#k ^7*  2=ޯn&C[nk.I~_f[6 S7~]](<*?H׌\HXܥH)^yok-|@7}qCLr_E2)/H9_F{ c(lmr_hD[3{JP/'עO 5,eNpa.$ }Ȉm1z?ɍ B37qOa'((5T=I=2:iSc U"̇R"bgYZ //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פ(߽n?tU;9SUbF6+~+q&NPs n_NaVcz&_$TGLWr HA"u5B1XoԲ#x[\Rx )%̘N,9/vFTpK^j1CdĢYpj@: |&:Dvpl^i9>笑ŷJ0.ul?\0,(}% uUX,QճD`D&BJi}n < d J\ 5 =m:tJ_YDAV~OUNoz .YmpB5ki[ UM:``l7X N+cVn EfnTqG,h/l^ጆFOiOqb?Ks0uŅt-hz;PIN¶jإJuqBۧxF#3[P(a3 ŧ"B3ť/Nbpmi,$<:2*:7>LB[6ŸH%QyL\Ry޻Ӣ+.r 8 V,'7dp#%wP dq{|X<I3Y{0y*xf~C lq;wNL!nZh/A6MۚY*/&ϰmjV%nAk*}/tUY*&d@t,#5mV3,gp)81Tb?]-qaTRcp03ksAz!4WC 3'2* , /=vs]`}[h5R~bZs3=Z˃δ]N rsjRAP`#,@$\ӮR;sby;ttʂ^w99tXF)w9sޠ=Ka}DSr~(Ϫ"e>dpZFX9i:G8u7yv#ɿ; gٌ ]ZFhU)uN5 >kvmɨ:kb)Hd)t%&HYN4 K({pٓB7ɩbpCl|cN9(^0,g^2vLk~K̨ikW 2RD4}YٞդG )E|'>H 0KHS4~R[")yv޵吤^8*ʁ}1s'!lIdzo[pNeN @t"ׂ^8 YmI!e\ҵ*H_t~ü@Ը'' #DKIS)Ib`JY/91 /h{@ാy?iYRaTo@7LBV0?4Pn QVQ/} |,낧 G_Kmӊ]< 䢯]Ue&UɈbh wkv'#W]T=rq U_]kϲC$2c{ Ewgjgc}R o¾_~4AcqAz)@$Lu ]n peXlU;hn]\NOo#1J k~A ];#]9Y%Wl=Zw#i ṔJP'Q[YOb GL#wZcDaq5֬s:u79$⼶i׏(sl]:^Ze  Zt=m'v@6_ÐNHlݮ?3g*)f4cfX1kȭ"zᵾf­X-[hQa {)Bekc+n*bJ44 ʮ WJ7@/4vB[bI~̵sZlYqOu))8C^ 8Gʵ+ \X&) QV#͑اHM,xܺ]v3WN~ĒTkh$=0eSLjiS -R)zf gqDg muygBa١UV Gy/9/jJd߭C::/H*zoQ00 (^-}\y"N2/mV!quZ'v!(:m(D=U288!)[uT\iFi3j~Jѹ) L̀#)@Wi:5~f 67Vj=I G@c$(K"ރ7|vJ5;@PPJ?{MZ: r>U 0[rY 6}$diV[̩!!/.:TNfkM8ѕEpI&7=V&%+Ɏ^ D3"8Qؐ$~LM#\+׬%q:z|K~5흸w!2eIDpl"K%hQn[sc }r| Ǭ/2^2~ 1R}#(xgGH.er0Z˨]եx-Eo%11=)> #f_Vb'Nz$ {6E5 dƆm b {PXϮ aǿk%?Moo S.gG Sțc@w0l61dNxê|G:DKA=BȂ$,؟Oihql|gNSkK)YɏLJJyD{rkג|o^3V(RjU^Q4P#Tngl|G^rSʆSIϓ .9xFɟ,TѦCtbHH sb7_q)k* MOt+YS;P-D08םP9؛Я)h.F0(2+;63-rtzM3, 2ϕNTp.еVD|m'v.S4LE} #G׎`oVVo>ooL5#&B<7j\_57M=+㭿yS2y|S!d9"hӡOY`s#Vy@jr ]zH<XrRu”~!7WAG,S+&'qgz=*]W|lPѩD?,-?ZڳU,hdˍ 2HB=v pVRPoxYZrt.+JXgYZ  y =# ;ObRud\_{;4kGz X` g/3XUUIYEB!uI*\a[pT/Z3lۼR*%۠򱭁U-W B{2ccuYFX 45l!njJѬ&annCiQNDHГwASdttggJoUt9ϫVznYvx?3b nrep٤j;rTbahRΔw濄^bބg>o/=U\6b@M  Gg㔶R jhoL[ka _r@/ OiP1v)Yj]ZuQ2%wtR{v .އ)lظ^ġ,& [7. 8z x.S)$(DjT\X9T @%_|ANԒ21U %!DX],_IJu- =slLkׇr3I@ҷ~-r7Bp:jXT3RH=[RU!æK$GyL:uRk2&Sg&.y.{9Nzm༌^PX 5KKUXǼ\\┖>dtҜ9LCm,K蚠(ڬL+~sL56irchC-YٻDc-Lq7@ (h3} iRs2/~[8@4m# <^u y4T7k}+j;C'`ߩ_ *bۙee GK~EG'm|5W_])wlHGx\! "O9S>LėV9i %l(xdS2걢"4]yH;6C`pi$ r=zzB@D{-j5*rZl גyJ80gw*9Eѩuºa"ߊm "ذL&XmL *s 4 e"Ci%VQ@s܋(6z !B,IKOO qK!3sz>z&JH(DFrgb czU6 Or(}Km͚M7mCI }3Y#*E+n9E([|ɥbngQɩPNdD\3SuH(/4rBg =G3AoST* v"Fl͝~ƈӰtu}p2qgX 93^f!fAY{cAzc嬗r!|ʈ+ӴONxlz~mayz+&_GXm%}Wn]}Xa6yϫjBO;!:lre)֢b S(La7 5j$/V{Ϗ^|A'aI6ȟ3y|DA  Y#[OIc!  6羟m %&rq(Chѵ"! qaPz͈Ys[*%-ct`KA9ꨖ@Dܗ1ڇiIv -$ȯ&E7T7>D*yݺVDY@fe|tV"mE׆z*̻._ZjiPwGdtٺ1Ók_IIfx9dg %,uJؿ BJ)=HTXHbqQh_ޙTj!WEwEWcs^=RS12v:%Yew)LG}A,efrթj_bUњ,<7 \S~5a RO{ٸRp\T悷z`>[P~iK*p&=KP]8)ҲpyXZUHv4A 5K^Xضli],~10ccT[o'͉?j :Dy0NPe&ɲ"xh/ pU_B* Bٹ\Eao_muhh@n a 맦ӷY/װ>R,;907߄юs0)K{)i;[jo뎹",JL1x1F84xN{o0&MFA>Lmjml ~Gds$ at B(cDB.½ɥHh70TTk{t?IZy,t~ N֢pIJtvdB;{djx韸97)2l Oly,iRGr0 4TXUgr Sxht[RU:8=  =lċI9)(v@`)ϻ81ZTuy9^al],Aq7&!oj8v?|oԎ(d>JUpP;G0[Fj|zW憍u@};F$rCh -NmٞQeȣ4|5("W8sfoteEnȫ"Mm#Q2*.)ΙG2!*.LCW>0Ft":ߛ3, 9d!Vݾ( w,Py<'{GW4~{8D=խp1Y{?)?c#Rͳ:BZuն8Nx В}$)t r VHޚEZEPgc_E4 5ʼ# = bՄ'-C+E,uoRS;^o6 #̼$=A ohEjdh 5D١zAx0 Ldv?hjcĉhǎ"k|wȈI?/@S^۳> gfTώ]VdGըRӷX( \B6o0?O67`9*@;taB~.FO0\XےU<^ݩG|)Ũ vKS/zcĵEcI~ԗ0~dBy3ݫპYŻ~0~i=ߜY&Ӟ]%'7ų'=Lu31ǀ2v:ueWek"fqח9,$ﵸ2q jb?c_-KsAMMZš+xs_ ؓIAttDI МqQ%bꭃu;/iOΎ JE\ q׍8\qsX 0*p6|}\dCYgqn W>yGGon}Ea)cѱgYZ  6=k# DHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_BasePIDE/markup7zXZִF! ]:F.(Ì\;%|Td[,`dI>gSJtv=1,ƚF^}Lf| @qGAbKQUg|lO(YeL$"̓JɢOQ ͬs=K)%*1%qY.'!"S*]&uqg*<#Bpu;4qDP6M@R'ֹR Iݚss6 ɠ`V;/ka} ynʱu寗$#)ɁZGBHȰ:9;f#PHo@k) k F#k)`Ot (Lz af5Kv-]cOHq 4w宎g%F9Tl&P۹jCdqp$~[%FJV n'Ycyl.LJ('!`eYu]1DKj>\-V|#mϔ̑2Jԯ֬KB !}ą<$YoU$eio%.(E'>02o?0[OeOفO ;e`c+e^щ GRǘ`ޟurLK;аMk|365d2V @icmn7ՠղ+W[IŎbUVm@hpϫ7A>/Ý׀<[ƭPV3ό)N&:m*"+ܛkX7VL#LQsxf0Ex~4W$n22 3q>йe 7e9ŜFD k6o|v3U1}2`,e%hdžAK),8 $XHR-FfT^1ݮ:},탣=nZoNf77Zm\(>ƃ 6Ͷ>I~ JbK'Hl/H9=4@gAUwJ{(!/ھ5aXnӥ8?,iI8# H3{xXйKs4UbpD?}k_1?~ի+2> ٰܼvPˑ)J5)#1Z+WGNaAuF`![(^i2Z[^SjkBQM{7&[j%'s<(mS{b_%xLΞ 1ȑbZI*] % l(*Ԍa>a.$$ґq^K#eJ~e)R 1C@[ -Q,Z*Wؤ0:M,>7T`ᙐq8ڲ'# o{n)'>Z4|#Cm2d˿eOpF[, :ڑ8|*UM5Uk-@m_La\Wy>aq#kΙ%{=v7eD7Dk*ɅB!wwSaWcunSQc:`(w>ay(S pi93h||3l%w.~8+XfӅ$ސ{ |l/0} ~L\Щ&C GU= V9܂A$٨4jwsR p6`(4̗e7r=86kN/=؋(3 vd^ҳ:͓=ȓQ/_Gzfm/nl 'vuvQ#C]i]+/Y/΂ܼ` v&OECጟUjūTF-َj?(Uܪ=.T\S]kag*6g}o }Hg;@89O|+ >D93kHx%'c qa( Z L!SsɌHP::#kwH-^is*Eh%a)7^fFULCN)TY9ozClCWqhh!ZdFC\UJ́z](/~kY{0,Y+*;?{3<,8mZZXfb"+`{DIw':.@j "5ݯsG ͮ|>uR PB$hE蜣vC3n`b諜qdhjmC + ;G~VVxtk)04lW"o#|p%AC3VYd*ׂ/pn^e_gX3rH>V[Fj aHsS*QA8wEsi%z>4֠Yf%m/o7Vo\=Iem6:RQ2x)-~6΍PDznاh,> p  M M0=k' 4HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_BasePIDE/messages7zXZִF! ]·Iq n[:|&[zx#c0 ]K5AɁhy3`&Xz_9IkgZ}V:}^&G/ P?2}YcͬSuf=$2OoC9`dکe/n%$PK&_@n7{x9/hY{"3CP}`)*QNIЅ8~!7[rDAqkQegyis 25fԔZaZG 7ߋ\eQ[JA5I"`. exeK~o3L^%2/ 8%I-pQLƨ5RC4-|EjdP/|^t\⟹iZ;zDsCJ tJkY~|.b5I3 Պz:2@+5,ZG)vM{̪c>q$$).Bnt@_6gA3HbޙոT (a{Ztj3o>Qgs}/o)!׻mFWȉ8_EŠJ7s;dltq>j >fǀ5'= (J\PʪFJp<潠)E@Ubg2~QOz iK{[:3LoD/yrܽZ^34`oiD:BD $%Hu`Gt4秡?սͬ0I{* F{x1蠃/@Ȧ!yw@Еy<|2DV⤸3fH=%zYKD5vGU77.TsRySz<'f7sS[m'U Tc(<-'bH=h<0XB'o1-Lw(6(30.~xp*|:!TDLU ÄC%}ա2ӗ*ѹ$"nhvR#-lYdhu :?7hG 4b=HTJ`a $ o^Lq"%#b%HTmpYT:!-Y6K%=6\͓c\KKN]yi;w-"XUivDvGyqXC05D~r[,?ﯣ.%m3'Q%b^xsY-%2YѲ%7.F_G1bw 9r,|$rH: C it' 5cLO7Q]_&$H6k3ޔ1sӥ|\;WvcQj[l* AK0҃irpSDdS"23Xzϭ g-WCƅiAD qR~wTbd ( I7 CH9V ԧ;Qr(5{=p 3D&n5Ū\R>IYfA7|6l/S?,DeI+ ߞeL8{`9lGky4iL<ˎr=hiS :esy"sUytF%?2qc'rO-VrhԬmâvz*aeQx &LCˋ̤mkr\"[ ~#JWLʕ*5]p9y d,ۤ[gr!Ak;hPr# (?sk38ޒc[K$S_AR)WHd^ݨ*KR_xhԪ!Q?`ՉفIWb^:Jk 1[hn/1.'=DձS83#XՊ.= l+`p0p5#>+A|`2YbP)k}Ҧ?&Ttpc%XoB n2VH`~]A!QwT٪^[{kXa0#[ gs)cdVP6V3eOUVѫ {> vU-qRtև79v2ՀN% !}D` `mC*ҍ.,;NA+(+-vAy:,\"{'׳e~\NJ;X^PgyBbC@hghl BL^`!wlcg^WC`]B((QI^$pH8Gl1M/jؑb+Ӆ/ɟSzh Ίsk]Kevg6w!)ۼ&W.N䃃~homxu |xrn:!>ר,|,ì2m@TKni:*-I8mzwqi%C)G2*;Kv⊴"sk9X)u?T8O. J*⃗QqtcVE)rzp_ U:ѩ@TI\K9Y(4сDwS٠9AzEi΋]$1ހEq~AfGaZGw5qo-[(Eݵ `Կd&$9^ 'cWeMe`)%7X)"J8;E~YZWMEgL/u]1tVRygV2.Ζf#r' Z܄i&Nz o|tiWݛ#UWDDtNڦͥ p&d{ble.ދҌq#> e2q#Z*zHe^7doXߧ"cy*oiBJd _Eg^+д8 z7uŲ5U֡{ygQ=O$::D4T35 wA䑍:Lhapf|qLϘQt䉭ܳ=@m i|lr>)mxz6Ց dȳ4 ^(Vǻm.~Q>&H÷7 ,*^vg^FLjsYW߄䏰|hM4nv?H.+(1 »hw>%!׀EV$- +|8sG4 SQxGߣ9l[2\G>T]#u@_»ΤZDSa땟@u%Y @!Q| PILP! XѪA Om+ͣlmF@&Z[LpH),>҆tTuc!Pz*Vy1~4bֻ;"|oy4PSg$s<\!TeFB5!qs_7Oz/qR:a]Дg|(v}_P=D_P&]%*CWea Ry޲ctd@6[NQ(ؕHAlT9T0N/ rB ` vj$Kq=IܨWzPsЙ,d JLfS `;?({>Vl 0oXZXkҥL B89r)N~D1KE0|o{Xх1? ^i[@*. xol-Ű9b͠=*p`etYJ(_'$[ٌY0\bOc%EhrC9u&&yݰլVdI<.z)Z~Xż#X~5׀rG9pixv9$jb^sVϪ-㊓$?Ӧ:I;_TkLko{yhIrG/(p!&BFy8\KZޔ;m*4չIn(g{6 !*m;Hv˳%ʯ}2*RM۰ h5r{k QµzokfP"XKlBc<5>cC[ĢZ ~᥺[iy tO(P]Ej]Wֈ}l;xO]*Ka\"k3~']Д9dHCV4#iê8U^";w+>9_gzNdv+y U;y408QÂ85 #^tZ{8-im~z*˳$uk D冣nMuR;c`mw!o~s7ɟj QN֣TP\ש#!rVܩ?j)sd'F,O YHϨ#7}ڠ< FT;~jltY)Œƕnx;.Td'*YĒg)xB* p5cA'J#:3=%ǽ0!j'晴hUf~dz^]G_+ &%ͭh+gH|u\sBѺ+ţEX-sbFV#~IBer}UUr7 >]wY n:s{r-*Clg;* 2'z@a޲?FxXXt ?Ⱥ7I^}/fmWB6 KO7Qq1}-\BҨjZU7Gx9kѸ%J>8ǔ*dkmȲ*^[P[\`c)ܝ9c b;B՜FhaFk;c;|N5-^>Q[=0offmtD{!g26GUNoYVEĪ"f*8Nbb#w jv{yѽ&3"}}}{vu-=m~P¥u q8%1~3MdϪ$S_4.zݘx!+ F) #lNg¯1K*a;oUC?lkȖ,ue(փ؋r)׉tf$ϵP)302X[otticqpDxAll\ v&2Rl94Yo >\JBa!q$(34B6LAhLiQPU:QaË5"?*2+'ʁRYndž!su.3tYSus,4EB:^smVHz,Y$<uj=oTʼng;H!Gjm+{N%4%bD_3 E6ŒO?3p"pUn,5ij%7eڱ+3$+CܸpZ?'LikARORqJEI K4#@94C7 `ڞic)J$^|p@.)-.Šuen)<ÐM~J+}?V&e/REI q_4<:xX+U,}]'<x'x+>i r4{fJ54&bݨdvNJ*჻n8„+,E(K,:[ N;۸ߴ=I2"A:ؗ|&'gԅ H;qdN;ѻ{Ϟ-Ugq_ \p+FD&Tx K̔3&{őZY:`hثNk7Cc#S&\X=@֚{"TQbԀOaCaqR~O#1-#mb͎2}7̱6C+gο@S%!3^Tɉ:Kf飒3{G)% ThBf% vsEI'ʩkӜh. h};!1']nzYy5S&i+sD@%fU{P[VGq6rgd 㒄oY, cqmW3N}~*O^ 6;MOF[VrtŌ=ٖjF,YB ,@FAqu i oi2Wʦ Gr#ϗ{L!=\Y" 4J֑uNGj20?:2]CɄЬ7mba31 o jOTЮΔTE*^;B.Be d'aS`{!")e~Mȱ~.4Mb]o 6y]a[&LqAVKjw.nߝD,8t2,,s+Bvʷ$*e`Cs;:Zס?Vbܭ, #{BWyR0`zxiT#6g$G1?>S_ۦ8]³ v+A6cr쾡~q_S5z-x1h6>mWjZijuIlj+gBh=,bc[#'&Aq_̄cJД.YOE#h >;`@$AvB`NO/lOMM\xY)iA\Xc_YFpEћbx'pݸ0raIY2E&KB;-ƭ439hn>W Ui Xur7vQoXr>ƕ2dkXWGKkNwjhkellN/ܨd#SUFp'pJqX (YAxΔO4t 2݄E(??.{bcL%ƿ웑TMg_ѐt̷okgE&2x7Һ@&T`ԩ66O:v@ +NrC)~P>|!A48Xo7nD )46U0 \$7 Oq!騏 P# tKfϱFAөE&vXI"=8/]uAT~ ~**v{& &+-g"'-q>I oNh&E0C_2c zUf!KP8Es-C`)pG\ jXO ܉|DDFU3A I$}8qYâG^G2ң䈇qW8xy#ɪ{gn.̪6l?CL,M&y| ӋzJ}aɮ|nnFn-6j'=acЊ0֭n#>2W~> X4}! Yrkr{[9}}h[ɕ *C]栘kJAR)XtzJs!,"1 !!ґblyJayLӭ1CM^R 8Nn= F-,5Kň#PȔo+;ɛĝMU@eK"0#4B_{g(p̄0E@,zRCӮ=~w֚;yܴg{K-^]^LzujdC^fNiP) xs0?1odhlysw^%脐mͮ5II9  aW3ܹ(p"MGH`RH8 H9HԿHӶE5@B>.>I?M+BiCġjr#8lη^k28]eng[]…9%a҂oy7,bĞEccѠ16dYR$UY _ JʦP7Bl=$R&Lt)_sĊ;/D|=iP} ͱ4F$Vx4}ӛTK0֏p0+U*5=|xOT˞۞aKw8.xLS3HQlV#&/" H&ha2B= ir>::}-Mެ+n}ԋtC+1>fl YT2{mY 'hrjs *fomhr ^(6) [3p\㘈~2M_9q6gg]i1cCX  ٔV9}]% "r?ҡ<tz+MY7>zWaM]iw| ~(S-Rw/OXCV&X(@  ݎ.4[$ɇFDŷM]5E Ith]9_5G(( +~g~,.D8VL@dl1iHʉ/@xv,&du&2B;9%.X<J"𾡰ή۝(D6bJ{f>ú\AChqSyDAq~%FڗH^QeM? jgN.ض^.85c \<{VX=vLzcgA .iKJ!YeJvT/Z0^cVGzI/f㻳>;xb̼OdֺE/qF>0\U|Z- Ey ^^][N19}7SkI005h'1˴ ?;RQ]3˼kl cm (CW89/wN iK2ZO^fSp 7SE%KRшf"͏B<*0%H9IWC$G9;Yʂ)F"Rq*IG#_ })oqhdd-8P E֑|24,:EiV͠h7)m;9.lߢr5jdeHis쥧P(:7/v˕ڞڡA( ^ fNIv?߃_`!8Hwjɠ278@5>;0M_bT@IQp0mM<ئ_泎 Kdih;ӈp,<+s҄F鑑򎇧}͔irۡmpMh'r"{ ]f#o^P~BӮh#My#N1 NHD2zҞg@l[ijKnC|Qꝙ@H{/\jɂL ~Zyg^)Գ{غ+ i18$ (=jT*T@8PgH]RG}{ikWLVTLfet|rB쓤tQ "@7S.{]4BgPau3S_[y`S'?g.C_qL,#GFx3CF8јxJ#-䡞z_پL.'(y[E~5 qk!ゥLe~4G*>10=+8DP8p$~N&g V9C6 j2zƏMO"`Ԭ>S yfM8J ϚDuGS2 Sc%KͭDEDRF*@%'i]qF Eq$ b2kVaؗ "B}z2p ה 7(ן[CpTrFd N[|A&'m /(K\J(A hC&4ɧ "`;ض#4QB &mDO_-ξ@oNNx%[2í6@6[)ɰpj&Zv|s`HK^E&t!Q0aw%0vfkg8Mҷ|ϽvhiCJ7'\ (uo-?svOlv( (5nR2 9W?[sJӃ M{ZLJuSV2δt4\r8CKڅfrيՁ㐡( h0S-fe( S=KV#J'= 6Ġ ,1,d['pG7;vF-02SKt ,xyG{hǪ赭1VB<Cɦ=Ȃ_cd my:wa$r2_/5l60:g2_{8Wȍ  6C0_p:H MmmSB[(65\HIq[^aC/" /n,eYդfa)U_0wh}$i IM価ᝈg,-T8tS(y>3|}t2.B ]SC?B"HX}L Lo_sfYϻ˧ȔdO dwM3ۙ(L~4G۶5_v:|ۊ3^2Wcs*sRgmo( hg?W }4Mp5.(qۤQ3ߚ<]Z%@ ޼FYs)H: ~:iIs( |K+o-£Ӟp[X[h,5&oNR΋! !Sva3I ]bȃw(09x?ۼ0 El}:M\M6efL_kA{7w 0ElmHU[\䨘$H׀<\VCie|_ĕ; sHøHxξ.&f1An"⻬ M.ug^/`hJ;iNP0$;*H/^Pzf}ӊ1\%暗ywãH!t)@!A\~6{j.( R(81asg8Յ;sr8$V` @4G60d2bv[9Nz/ֲlQ9wM{ޫpb$d 8'8+z$gk5B@bgI8EHP6`J@lɕ;=fL,K=YF/|*$2ӯA{u`[?GΤ3ܓQ`vPe?˥%4wJ1虺Ud酴,1V P:QФ4Q'x2kIk]Tgd{cMD&Qt@yd3Fih8/JzzF ڙ ' !.QV@PSt3J\pr"ڳ3A`K C^1%{G%أa):SvGg~u;Ma ёT_;)wPbhvѕ1"H&lz-^8fCnAMRAum?5-W5uwQCFȇ{Q!G1A+uA l ~zA*GDm\@%'pTٳR㛶'^lP\K:@kx3ƒq3Byϭho}SWFXktt6]uLe!,ŷF!-QFaHN-fm;+/qc\_Rs@7V yVϕt-m=%~o@ wIYRU4hY,bgey\a߆oQ Ί0QGupaۿܫqm58]Тq<:V)h 9p n$TeDU9%1Dgb/yӋ{M/tq*[ߖM'Ay>yLThx)TDgLqe:]f7]**\Xè }hP ~.ޜse"zFr?Oߑ*h QˡJ9>'zGo-D[B4xC=^Dŏ޵$̳~sԞ1Z+fZY}BWIwt!&f1trĀ.D1y\i7n#!5C_(Wڳ8֎h/6v9L.FŘgZ((Z6t0!84 ԝVig:C$-,HId:ftL.p2#^xZ_x?as0#eV@vUfr௲ Hv˃f?Wŧ,IRU~81Xb@W%B6 n``Ɨl~Ϝ{oCGjR xnD%_EUA N\>-؊Idѩ=aݥObb>yXVq:(ߢyv!؉O/,@p 0/%|+mq(ЮwDCGC?εH}ˀF?#NQj{r )/}PRU$#,j7mCIE{5N_Ny`5!y*?;;޲A= RenNzvIUR$f5bOz%o KdTjzj n_y7 ޺ME!\;1%lؒ &۟Ņo5-Ͱv+(HQ^ X /H(`v [?'ΔRT< kYxՆI*'ohF P` \6,X+XĂ2iPk Ҥ6Y-6rKh\, P즂^9QPias24jeW:bkh6)()M>.' t+ܖvFS ]ô;ޜL]hF@T Rx}UcN_L&5xW x݃;15^1WexSw钢%Ƥ&UEJEIn||ZN` з4t/Ꞣ1EyDe$(7%nMK˕lr+`mZB;{\+4O--m]m bcOf cCBg~V [v}wx,U(#:Us 1,,atxή?-LPI~+5V6 )^%5*AJ_Kx6ZierW/]bC=Ϯ E8o=B$+s.\gt%BqfojS= o׮%;ƂCǖA0pЙۀ7A6ֶD͠(q YN=CRB#7aENOE#b !#$%Nb^4i%Lwl<Ϧq\x֦q澭ĸ6}w~pMEjݛ8͒|G[΅{".oE^G8=翥O4عgLb!#iFJf) }w_A}BUrrDP3,M_VnLZXI&+{ux.gŠ_dТ6j䰚NbR㊰Ц LZO3<EO/#qz|g,ĉ~ c0hys,OڒZ*xZK3ս Qq!ٻ1FAK9c<͒K0g/KSqm}~jATSt|S8'Y+r4rsS̙i#wnzu9r:?!G0+מV8kPDOӷbB}g ur!ɄEfaTRUEd/MLD(t S6"z~ q%= Z9RIVӨѹ9~@zIi.RI^T,fO;'%%(zۥk+'l LϾO\H MSB}O[2X}nSy]Ve׽n-Dhwk,D: >ٮD!NIC1߯6].6 4ycֈs +^O-Ta WpP3z*L{ e:<>}7u$(0Vlޣ.~ (v &mk]lLX)wB%C^`1?Ţ] olܨRB`5zFMz&\ Su.[T^8~#v$#>\AuE3`z"ݦ8ㆇ y}΂34NC<'*-+2K㪮ʯA}4y .=e l8h :A6">ES)9hh!4yыYPMZ"Fn1y)H7 o0 Fdeay X@rTm=)ڛN^bfG;dk$AS2zDhgu4`{b`\51ßjfp5]z))n6\6VH\4m,S#H5HLo~|AL% \>vp ;+=ub˪WV297~KDM&GX0 2y3yNi׷ٴJ*D ի$i*2J"+Iiqsn3Sf ϲ \O]Wid" I1Ql˦ t.\5BPH4Xh$_*A(ʓΛ8v~(C'y8 7b4sφ_,t֪D# U{Ҁ2vNϑ-Fͫ"EmZnY?Y%]9f}wd_;Z3%El]3XaJx3 Bɏa4Xݑ qzvG CE'}D竗\Y!Ru+JX\- A"ot 7W&y$u -Wtx NW*Y,cMeRϝy7wsj_dbrJV!}^b \SCy?@F]LkPF뽗}iDfv'u /&c"r0 -JhK%pX(,Yk^cQ(3/MXeOkXyL 7ʸn >VlzyPa ygt VE+#]SF@{++^F~b#_$얘UdC5dC!wI׷Hf=aȄZ7:/COŮi~<זQ{U]\GǓ@(^=!a&eݱRtB_E5z|:Xr~pz.}g{۩/}'Ь7׊nt Ĵ[2aCuFetI/?5Oذ=;E)`;n13;륁-\$,M&l#{J,0hybJHg o!L0]P4Ye78$VNtjs7;!Ƹ 9 uT;5GbmüRڹHi4`L;|W$1ܰiY99a=%} hr^lV8x+-gflDfl+Q"1.c6|^ j : թsի!/΅ȲU+C1R~XxPq:̗c)]X*|$x $8xa߳Ԟ5O+' W q Eic k<"K3E͚qnmk,(E 2: 1CՇ;<>KsH=XKfPW4 7[ 9h[qS sE5܂ Pmh$OEPO(ɯJH18[*Z|ݹES Z|+U.k K6_g,$B v1IrSVULh,Ǘ XT}1F|PD߁{+Im4!Z|xh } qYXzNugZ7Xv2N&߅efP4jP7P6|8L5 8`c,^w|BNPw ?I+I5KX rKl(ߺֺsp%A 2W)* "A@QX;/sjQ~ik*1uWmc-u-A|˃vR=%Tf^cfB+!Ly~34Zu?o!zyͧIh<̟' {I2Ɛc-^0K#kth܋0Zo;\*> je4%UFa1Y8|w_Z:R%o`E u䩶3&c){ѝaS qϻtYB91kJ®lqH0 &K" sÆ](u/6=55]]rkRxF{~>{iօќcNLJmKPz̄\שq_")LeCU5 NQ|.BU0.K3zꋷQSC>jYSH /Z%P՛37;/6?t[-UlڋN(UKx(e@NeױRK~m2qw$)˗F{K&kdx0SYW@i?s 0zUQJfj.:v3<8g^!@/8Q(PJ2m`~-!2tJ#Bq-j3 i$-ǤN[_P-u6SDMgr`πjfzbPI\۷;2ו`4\q8~6Bxe>Щr"ߌcrKG΃". }r7'*Opp*8Ӈyܟ>& ј5sFP9`v\hvk. @Pऄ9;5Xڂd-6)nʾS\ߋ.q8&n,We$Ɂ^ʇ?`:kmtFKSLfGؔUo'M>UsO y6ѫ.ϟ.,[' vVQjE+X@3͘Li i_"D+xGE/P·*}3sܮeaL}299f蘅;Ijy[U$h+4it\~CJЖIw!\v]<%bD'f,zm;![Kg-2f 6dRd_`\+'&@xgTfzŇ8jbIQmSYp]SXNj/|U=z솑Mw.3f具_Yvy, deNrϣGp~C=߷? %ǀjX ina]^ʞ2$w̪34>.I\z~L@0JaFǍs_L?nm}% H&Jw9ܤKaE @Lӛ=~Bԕ=Y!J`'En"$2^g9K4Rz9g E }C߂":kOԱqy&C@(d 2jcvUU5OW7V"**,̖@ȆF2p Woyb=m)dQUP;zlϔ`E&ٖPF[zgN `CzW!{<{7chv߶ ^%]/Q|^84Z]slcZ5H(wb`* A.3q)ҺFfpgYZ6c9f0f52ad7db451e2c7a2b1c3090dd8212fb1a6bd474c82a4990544c5eb51a7e72ac15f897bc889 aecfd4f0ba533a34c585ff4ce800833509ee5811 d4667c2a853d567f8def1cb1d9f587c7ff0b479b