SQLite format 3@ .C  B  R11Otableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "tags" TEXT, "sources" TEXT, "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=287.920cpu=1373.324gc=75.0407zXZִF! 8]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBjԷ{D%T|BM\J.GsơquPDrUi_4Q~(ظBEqP!cP耈G4W׊3‰p]I_VpJ+{Z^}![˂%!XL*I(]/઎nYDFT/R!oV(st&CP@5-o7 xݚ܋ճ\S FzZ@*^968/X*ю䢹hoּg`7jۤc[kZ."ٰk!QH}9ǼيQyܣJ(e@K{ta(MoiOV{Fr =olz&51rjT gYZ7zXZִF! zhb]ŗXi%LP3%zomw!xfY[ui~9# 8 Kw3yC+~#j7̰{XWf',k^VSuԒ+.@ _-Red=J}]Nm$ ~$hNm0*B2e[s 6IpQVy",#_Բ֙o(^^DHeJO =\7Ut*#-3sxr? 9&C.ӈBȝ J_EGB,oir%5JV#XGi Vri0vS\0!qgKXVii#H7%^52;ۨV|g[?z0ѕɥ J([/r1ء`W.4*[sV^J]\87v q~!v]r8.ݜZYFv MJM1c#Dvd#o/GP}kf>_:^Q4ɑ!w [@ɝ}G! bijNߖlW.&s2"[VwU/;5D!Xh}:Tא]FLQ3ո(9zO G7̿m0(Nztyʪ^Q|P-{V:iV: bXQcOWEqO#R°>bM-[!νk5X1vqpST򈢪;$>׈JM$ ̧Ӳ`x9~ }h-P/bԠ''&\9w43 xF gUV\,$<N i|_Oe;;S ¸bUISQFſ +/o k՞܍A(Պ>,309nq,Th#mSun@'&XS+qIÑo>CLKϪ cw|K%UdطrXp LĽͺu2U&rv-I0 ʫy9$pX_K)i"yYR‰P2V΂ I pr(Ůr\}^cQ V];qcwFʆ+nGj)o?%CˀYᚊ8%(连u.D X0˻+4gIxԆ.xbUl&fjӵ N$=r$Z!,|cCNY:!yXx;hOZ3NT1[vsHA3{V'#{T_^4)4QxUa:(rg"OJm(o|p5:И`X/:?2(oa = HOL-Quickcheck_Benchmark - = 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 +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 44I =} 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 //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פ(߽wEvԫүksB=)Fbgi-`1!!$呺D]DZ}ZW)_Q݌~(1Ǖ+p$;m~! RÑGzVa\nEi&FXa|YW4teXy:" *orv뷐[<=RakqhAiW훿bv~p":1xѩNbDIj0@+L-+6n 0nt޲!l!T~\dxjadR,]*59¡R[bP޺-8}rm&0},4d2Jn̤5ח9m&Fu(j&f8<(JsX>?:l|7 f| x2,VF(f(^ *ȝjl>/*3dE% QB3 Fwy¬*kX f!~X%O)EUԯoWb gi6o)eĢ++c㽃(MC-໻k'\/J'7;e/~'C(X5bX1#Y|u nO_S-h LAzr(aB=w$wFKuo2cT[ I4"7m\pQ_Jh]b4y ć~L t/5(<+Oȇ":D7ml"yiA$&K;nTXbOgȥϿYs?鯋E ],1-LuY!quppg t5J|CBci~n2yi8AZrUE~7מ%H#!Aס&=aCڈ@Mv"U̖騾V%* RHѕe8괣,߅ E,<fwF]qM=[?Oaym)<_攦[;sV 5's }y~kibα۩$Hk+̠~ὗ҇8 k?M#ZH7B,,(b8GEdmi;0'OG4R4^u3/8 !!Ɛ݊?.͌e38JyYqZz{K\ߟjTgo܌ !^Bǣyh֋YH(V4.Cig~ܫ"p8-B^c8# }16(=*[O2H2Gf'|L6W@>Ѽ3[H՜ͰE}/-?sv(czGj$Q-K_fu-qфQ߆1VʋbUn" )⵿im˃F8MkjLR53 vz=[QA2G }}v ̳Gr'`񾺊軸XP 6Ͽ~r;|{_=ͮBHsl͜r,2kz9CJ@?aNnL[G}] ]*6#Q$C"j@/J 1W׾qb>VdQC0 ePX4W^H\OV 4Yi:pZg9 UKA|8h%QRz&Π̠CQ^wİ @%;JBO̾Js/FEUuGn)3$@R󏆇mi1ǀb("U~H g|Y?r.~`iн ,hpA*X KUgSz"KHm7x/+52 k(/U6G&#.ڌB_$h7QX3Qb?lqîu?MScU80 Ie }W5G,QS;.,8efБH@&Sǜ]'SwI $b}܆*ɿQ~4l42OW4jx+Ymb!/ &of \f@QKJ?Gjp:u; k{CQaΉg3',z?W*r ًDyՔI"VP7Z}b❠!R" \- nmKuɭh7)_Lblexq0?42.DXډhP*lnpYBt*CփOe^\^qHvKG9ʋb 3']A^7J7=czG57?*x˃9CKtۮ3b$?[X+ʱ#cu5$?[&aZ (K ӕg=GYĀt0?!%|B &7rq[,bϜKniC"W1e9yM6(30+/XY$8ssS'%= ,{5 zV}nLU N==xB*aHT3~&$?;lWE]K cET7kn#LtO .TDВB^ЗVj!_67J4%SܺuwφE7|()c9q(b0,W .ʢ8BѲWǚE!E"nQ`V$dqdذ+Du$I*9PFxp{( m) ̃ ?8^B$= B8f5Ǩ%& ݯ|Eå6_gF;QZ-,M 7db.!M^/zV94fN}j xYznx: &h%A+<^O4nKrӬ&WLW=9[n5F鼱Lnثt5!5y{b]&vND3.{z2) NlY{ "E ̂,Yh%FRPM]ac!Rcccxˁfn/%˹Rp^Het+m!#a߆?$v]Bwo9b.l+mŲr 4@jW^@A¸Uԍ'.cf}!u#aa8uu!2YmU2EbϾ_  _"9D:qKn+/a x N178 ByrS K_zNXت%$>޸.U{4P f3nL@Q>Ճ2 !2k-H&ƭy' G,bMO 9Bw.OM/ZKO;0׎?QU;f3Iw$%HQ.s17>NI:UOn{@OkC(^1f2?붩 ޺@M 0-c`7gQi06yNwg3WCAXHe' Egkny>(d9nX-Imԉ|_lw ,³m>upo\YG^)&0bd/kWSO!b.n ݖ P&a?-+j9 #hLMFW$%8DrtAXwrGr_5^qSIMJU~'e2n缟Qlɍʯt ҝ7|px#1?Ӊ44kh<՛g(*D6#[H*$ pKaW#\Ɔ[6Ibe+Lj ס6;YnmWϭm%)]_(q.y )b #gifqrLkPmv[t!HM!?Z.ĒQ`0gNOXXR i+gvδ]`޸CGg] J\,u*_^_Ih[{*GR  [F=UqLS0tMC7Yi,JǴ _Y%4q}bCvpV]R-_KYqWA2fPɀo8 Jj^G?y^+&U9-] <ى*Ϸ "E=%$syzuC C<ɽJph#U 2IRnW{`G0QپvE^0q\ `\a!ǢvqmR;$#P5YwuMՏXݙ!1B7߳zpK#+m&[9MA( @lek3B3N- GiJPcPFtJ6 ;VY*vKzǂ'q|˦p?Pz1付]Kk^W>{k!#:6SGx;/Œ3'B|.1xF}:GQH]JXXUHG#{֥F#=+ݠc|vm,kþ$4bbX?gBݨ?%q^U';c3Vࢭ{&)\ޒ iC[{i_qmuue 2qo-$+DټJj *(&~ (rY0&"+L>=+K.Yd؟t~(SE1"kM mͣg`һe3w^W(Ğ0 B$be ){Jq"4HiJuPUb) )lN8ʳs5;"* m cދrsGCR@ I' ZrWP]?m9nlWESuw<7sOAԸV1 rp*KLm '&TJx\%}͌ߑQTr:_8r.–5c2h$vIFXc~ U`sfE >L@/KhHmp<f)i\-m)ŇTm%uOS/Ϫ*_@DE_>[c,^3cm4%fF ;Fd H$nXpw\U? Xj3Ws)|aSO9Ϋ]l#)SƤU:[ d &W/g lgL2~iB%yiV-;ia[ r*72Cca0Mɗ=(^C)+'*# V+gܳER^U\3U k1Kr_^͟<4p&JF ,?)~4OU0vy*-Η,^in`+T̛޶ o27iVoXpwFC_T{f}'e]r&a&ZSYg+\=Cngw];O۩!|0 ӴFk>dŠ"u-h)j="nuM}Cmé/O&߳r9tņrzA@. !r:A 7K+Z\鲐W}?Dj162<6WK Ykڧվk/*@yK+WZ"AȻm W3gms^־d(ni3W yE,CAF_%zœm4 NgR4v>4&bہơgItU MK!?ݪJ3klDr0\ɵ5GαO ^7~>\BĎbHn9[/.rP1 9JrPšCWr;1<ȶZu3r>}犃XnmMHL%dt~k~6}`?n&Mm*=Tb)hD;B _i}$ ~V/Q8[bXTLȞ q7O`ތB94~EYo`O4CDo G@;"̿P$ȁے8|) 9Hk;p>lC)+QUc)ZgJdJ=6f[adE?GaHr#ӈUQ@0QzjEeOrj->6ʤzYJ'|#dQ ߫N@C!i&a{ɓÚ^Vh6&THۯOZ`Ȏ:dR>!p*D3 ԆR@F9~jb* p} cuЊK8InSn$"6{KR~͊B|3Rcs[פ?v#*%l7L,urNVI$t9݆kI QoOX(25{H+8@sq).v0\4S ָ5ތ IP_DTA?Vt=0gU*J7FU֖(8Uxh%魥0AB@ o hh#ES^=fz+XCەt-/*YyC8G9o4jR嚘ֹ 4V{R~ȹ7hwo{#ddMV0cʞXN7DŽ eNYXu4;GPh lZ<q& 'I҄KseYt߇@lz9:i]IhtLfv?HBMe/zORH߁!zqC:;B5%P e$4`u}dT~uZN<CtN ܹNl&6ΐ JPvxKƼx0@'6'U|G}\n_QV>m Ave$:Xu\Ui5H4HحŔX'pTC˯P$֛ɌSonHGha5ϯBb [;mW d!Y"[Xs*I)2rQŜ fE_LO>{Vnq[KucQx1bϐϘ黾֚fUӤ'`sD (IЙ~cEȁ&:Az|>_BbUo:ld_2@[EIBʗN'Uz[RD5s#q 8;(zpWԨ0ӿʯ4, “g};+0!2.;(11v?DM[`$p$Ӟ_+or> Wh?^0OFƘD$րʍ?)C½ %ncI> I-|W͞E(M,`׀ީ:p4,^*3K4Nky:T$Nמ*ǫ7_ӮVbӉhoTb檲!^nzɆ0 H *CA{q".bvNI^vmo O +HKL^ݕRn&~htRXil5!8x#D"%::h"lCI+%+8%_9ts a$ߞ985 ᄍ,(gg/'!F]-- YRy3 L`v.aZu*h||^LdwGU٪sX|йuL%!=Հ wWr7чݵţ6̼Bi)6Q+*a?-T;+IYk3?2 3ƢU #~ԨZ+9(8Zk/9%Wo=@nBnjt\J/U4 @AL204C9kz?:ؾ`MxT]\[pmdU[" V|5c;*^Uj ݊'T磺U^T{[&$+ZCMhYՉ%I&!rP k$+6oq1m=msZXmFO&@"YhMp;qEpK:ê󒘴WWe;4Sdd݉ (OAY1[uTe:08|;8 \[֮Tf/R9SFxnYix<^N(Ú8yD'CI-h$V$L8MjFswO ƒIJ-:%RTowf k 08OC߿oa!We}kcLr0>f3\5\٦-)׺@^BS"I>&FZ 8!{wiPf:`6K-_%7Téwǩﭽ٢ [Ne(1\-_D S0Za^pVSNCC#rhm4Π #F!QcyYԅ[ M{rh}l`ռ|Xia>c?Ύ_>Z\OWg'wr7;!ӧB3Ө,ʓ%BXGB [W bLŻ5vl)3={8S*z*釞00vg{͏qQÜ9×:FӏJtNIhrY|ڃ_maAw:ڶ8ut;$i\d0N(= 5?=,kgϭ2Bes45K=_El%<2QWu_H8)6-Ppг˘$L  <xi<=I˜~swܹUceO#A"jQ:PZHO5ǶKYU08_Fg}1 u`OΔzCqg3AqG6m.wt΂#tMX Q{ mPk̺xϞ rz&x##·Ydi>lK5J?6ZE\1/RlG34ϭq/^@B+l7:=r o-$y'g榄>}Lk% JT_xY1"0UR9$P8yO$60F_j;`8)]D{ܛL2Iّ>Ps/"3뀥d>¯Kd[ 4MƨnU b1ABFxˆp2Ƿ6x_nhfֺCo*Sa˻+j;cw/=*C`2'V ·--%ɡҮJ3/gY۱"c <60#w!$ ̬)k4tSi7 !]s!nwq 1E:uNOd7\Tφ!TG{>8 )#v0:N3MQ?A"+"C_*qpQ24ׄs993*9=|<5!NZg,i&ݞ'C*03ȉ1Bh7Meqb "pw3Q.vT 40&I`zyU. GEhJH89NĉGiDd taYaqɫTX,1oyNwFJ X1Z9c dc"amˠh.sys#kjBۯȶ֖g>wwGH[i-f+ȚfgM,ʈM){-sӎ1/Z%W ;˗)!"[e(~miBRq=m\x,YC!s} uUhз~Wren?)?Vh3v1FmKQeeEך2*Xn~25>dZ'}"GC Zw=tq +AZp$1͔ pƵ' g&ZH@n bE緫5 z!\1)AǵlfHv$CKqAi7,[xs$9y-adk/I{GrR5iḛV{Q[v>(\ EbQiS[d(a܄>D?hOLv4>][}X݇ʧƋ40k#Us )dO|o2db[{f"m5tThn aqʽJ1x]3>hzn.PXO+كq٥) DƳqGVpvBjXO%}>jbzO%6i?+IV>`VZ{Y YF xIY;*X4Vaҟ* api&^|~^)W9嘞(CkMrUDf9-osO,>{#$,K7F ߥsULl װ{eFqwQ7d϶qw?.<*rwC:2ޝsxRFz 'Qc4ëm7^"*f[xst7 >IDVW:26=̈́>? ͡[:Jh %\ +IqJԠCTH:m@}))%S7"⵺+$W!ڡP:V[Ayp,3+\=sa^[<-ħSb(}0iKuM?Gf)Al7]W< |fR͉ym'}zG+H:FV7|=lF<]0uDaw<D8, eë 12ڼQ/> `' l2 )zpٹ58!%yI!"|n "&:uVH)5*(5(jJ^EK}٤rEc^1f2F7N=سoF\vO2%5V z ~knK7$pkx>M|!U:})wK] ܭh^^ήQ "~uB _}m'*ji|gdRݢWg+ݵd1AN~{zz"J IQ=ۥvEB/>YΧD?D]o ~:$ bUs>fҊ?Rv8#{:|/ _ѓ a7JY"Ff-}W髍רc6&){D;Lw?FI÷rli&[۹ut6Ǟ;PP971f$EӾ @32LV=V_/ţ\7,ڕTC}fش7za\XZMpW%>ۆ3ڏuCKrwLrP{ 6rjoN^/tjwЀʉ^Hbb'K|bT#rI+rJj0^g80YyWJp&>/LgțEe^+|RDPJ )+hq= ݒ?|lDu\F "BFA`4U\$E{/Ahn\{EIJzXVaFb*Gj3kA;hg I1?e9 zTd;D0PYJfzb}.t+wF5ܪ2_KXEHsw铡 =:t_u4 KbY!;h8Mv6WvFO:WL.mh'x4PI}gIv+./OѾnYdCXK-t]TAN'ӕR&TPan6!^5je): UReG205Ǻlr*&Dm"kc.%6ޣ(N곖Ejg<P k#}S hKeLpAQ{jyӳ#0>=VP[5#OEZw7GC6@`߷cGI$؄*F@ J "Ex7QFF,ff-X B"\#dc]"ޒ"z&Zl2-%-t;}:S.֎}GKSiT9DXRh(-:dY(zP~Iejє\g!`#-0%hzGXR茿P$FC*|Q6]Qe}o;ˍ5pW֕|&!Tc@7kG#d,FMFqMOAN+C)(D5@8N'UdْtwXnHQ%hM/3!|@\+rR[_@`h Q*"]׿G!"xRV|n8.PD4ܤg(w \PO.Plv f";y8yWPuһbŗЏB.ޢ#R1kVoOMۛbK`ZG! ӕ8d@k!qq/ 6g-K"lS>N6Klcu[T^y'hjJ`!wS!G?Ib%9 rݖy̞% !.J!\INGOT1C9[q' w/Zب# S GZһc)FoOREV䷱a'NQO>C7%sncTTd@\Ur>KQpzyӝ_feA=9׶Z%.U#HRi " Tҥ9gpAsg>$d'|TIOYk|DiI\BlY)b +ۻY_Q5s@ȤɤJ@*![3W7YLkhe$$)@N]~:ZW28$wCK3&НkPղ'?Wen|3^ \ | YQU l4_4stio5~86f 7:ʍt-;\–/Jvԃjmgqzm],^AKHIxPHyH.`ֻMѥ+"@[Um|GU7/a*RྠC׫慄t5RQ~cS Ɉ!N^mc:q 'lMαb QxIo5xY'5c5?zS:*kLl <fݧqb7BOA5V ]Sۇ֎cW?ׯ * Bx9O"z5a%OUq}Lppͺ&1R#nk&&A(I\#5ȟuu7R핿oY.uU4V@'5m!]Mv]ȥ7^f}c5NAFGG|.^!>~[0|ˬDY=!DUdϣSR, Y!*Z M< cJ`ǥ/x}2MNMV:2j~ٗ]kxP-RWs;resA b˹Nxݗz02c*iVW]Hd>ffEJ_{;oMWHLhX×S~V?Mr>FX_![G &G7qe{ qmY.Eb&K{Y VvP]IF6ҖHݚ{Jk&oḯ _IK[eHA7\86!>5|KwY2C9{+#>.7Sx&L&Ϭ"*18 *Q_@wqj?[cUBʳ/1mr>P,v/x fQC#FC$S\=}8@B 02>~p#Zx;D&|@8pW;xoq+;*mm2ap1\(Ti]K^#Owd?m޺9hB3l\Ld% \& >N=tC jQ(̓8 %y \n)&Рti[}5 {SՒ?,v aUIȗQρa oc{xl>⭬~ؗP|d O!֡_y\%7&,#0oNzuW2/$#YRj<$z:Zzܘז-ږ'o,ݰ y!$?oL\G4MdN][rV+&Vf!#zp7P-MǪbMd `u{\Y+6I2B$n 8paՃE&F>+'Z[ 6j]C@pAT/v 2ia-V:FUCcDd_,Ir>[NthZi3=GF4h"Éֹ=O 5*$Dkiϥt();2@Y0}71C[D5l؀dzHYc-W<*ĭF.}$-`!6捣ET3ϐ ƙ}i3 eRp p?xow' B@% ߁p몝$)ʥ! `QID$’\_TfH8[wX=ӶFNK(dyPjw^CAjnshOPX^i(Ҫ_ù0#y;g}z%: 煂Wc>S ٧vϩ!D'?]鼗Ce/ͨysA) 4U3>m7Hdg0-h[%h,?|M*C Ïʗn$eU7#~ ȏOM#xViqjOgQ_syQ yu"ipsF ӗCe۾8m4`\*52H,8Ko `DDK>&Qm/J%&$M|oerR6ccݯ`S;$DS #۲i{_W)3h|{_Ӱ{i43s'Ix5!ppR=J_B9ܼmG"Zr9 fm9cF4qC \nr$ na.狑oqjO@Z> 6d6iMsdԬ* !-  ^厮R }-ׄ=1 m<. v؞F(Xm0ZMhwnG͋{$V*ף98 Jb-yb5H0v+I뿷% S_S+:A =*'UFm\p.ᎍHOdQvhmY A--'Oe|#T}1xBi1 gܲdcyi/3gYurNsqt Fjc2lhSld;w_,Ps ̑&ƴFsH5qT =Q(n'0hvbGR9LKz." r*g{`ymqCW~M´q\y&qlE_(\s])2{r8ڒ7B(UTH>^$`˪6H^f1cRpқ5RHq&UVG7fIuc3s