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 v+v$l ] LightweightJava:threads=4elapsed=51.025cpu=106.248gc=2.7767zXZִF! Z1]ŗXiɟ7KIxjbk- rqa3 Ԑ0Ҳȭ*5qT;4Ӽ ݱ`[J9no7B#45[S։G"P&Huka)׽_KzΕBIz9~^ڤ۽hZ\9`xeF򭋣akPN/tbG ;#q!-CQV"b:)?q2Drx9v30#U4YmR)G@n&j@_Jr=_ķN̂z#eѶ6G1a0ڶ5':f߻p;>c6gnµJHzpSo*54*S/l)ta-n |!)Y%a9?:!t/dΎ"k B*%q4EJwΛ aey*⥣PMbn Kț@|MȭUMUU iAZj["h\/!ssNsO0kp* ke"e|v[Mw61& ./T2g~ZiޮNT2ʏlqG_,ɿŹFWe =6%S[]pM)j1Gh?G ֩AhE%+[?nB{XrA*يD*?rs ƕZT~MvcU_ ݂jadrkឆj:ob[YRU;0' W4pa橄Ȱ"(%#LRx'BY6:{Q)(<$Ƀ<((3x/а%JK~ 4Qf, K=Eѱmr|He ُ[NJML{X1@W0qSU|ͨY߉LWR_a0Zp.SR^Y@Y(`H %Ph:[4饝o_ <"9_&YxsȘ u1a?A|bgi Z~y9VpZs__dV]֢mb.3ie"8glΪ>%~\ =HU麟x1,|R"Yf jPv>QFI#jER +h#mQȃ;@"HUD sMgYZ7zXZִF! ]ŗXiɟ QyJbmyY,9>ڬ7~e9-8xa%8qZBPpso "d.\جxsܧ'T7-HK av,1`CQE\McVOS!gYZ7zXZִF! 0]ŗXi%D3M#ٸ+j:ױ: [an; `).'N]Z׳]cJ{ZO1/ ?RbG誅PR_a@Mz=]I%[c5w* uҙ9Vc[U7nDut`E"vsKY ΗP $S&wyi~KkYЀ&˼Hw7ouh\3D̥sA~,-|\6\K8>7z(JdG4ҭ6(.U`A܈MU>D') *L>Dٔ7?py_{G@j^((r$lnfg` BΒ 0ߗa(u m:ۥ[Ⱦ7( 0VTr4l &ԺT,ymw\Dr_w+|6aLb穓SI=w\R~ͰxST,J\۽MfrKb8c`-)2KyӽlpCUCd@|qwJ=KA{ ltUW$ϥ?ߺ`%NS:yB5"wU-Nn웾lficyJR-(C!BqOw:DֶEdWmbyRz(b Z|.2-ȇ~mPK&65jKRpHdK†uCs;5@8f&.-J_((uĐYNԠ@s=_'vԗ* sg*3ed~vp?-n2Nj + LightweightJava8 +e% \LightweightJavaLightweightJava.Lightweight_Java_Equivalencedocument.tex7zXZִF! q6]A-MՋhvG"uIBm5#<@rǴ`i!zQ;}y\:'OșiZ<݉sK4҆Q<_Ann^(o9'c2ŎCZ9duδ/)pc)%Apd0m؍*! C^+ԟC{ZGœk$,XWh` ;ݷ 7j\V&կ.m}`Fvy6}l~rqqV#$a9m7UXs%8|j: .PdQ\/! ҏxuB3Juj<ᏺS:\qCw.ҭߘ `\,M4VIqegMn z %cU0 Se8/k?!C&s˚± պ*2[=G 31Ɏ$P zn3,ѵ= > in,".c9qs]n@ #1+RA߷Q Fsg˜),C5ᾷP&jCBJVƲp2ȐV 8PVk]D;7{5' 99L#gV7Y?b?;M>Q E*xd uck *ˆjAIqw-}qM-o31Ƈeߖ*FAm~~08ƴ /W#yr*׺ݩvU1UEwOnq17 į̵1=1M$Ų ?fh BT(iMeZgO~I6 w{2^M`ϋ2!`w OFw<>OsOi;V9L0H(OXW ٶ噂uK333zzB'0bjL^n14 wOi끸."@c&tyZTPa[`dNt}opZphؤ>bj,UDg0y׬Dc!ι/ i=}%_{TOFR)Nr8m[]U0 59+0aœ}_i7"d(G d&ɐê5xQYs%SCS/2S.Wjo 8ʋJ*loHvyu~J **wbH:@1^ -9[1I>|^k(ȖO8L fG+Y%LightweightJavaLightweightJava.Lightweight_Java_Proofdocument.texM+e%LightweightJavaLightweightJava.Lightweight_Java_Equivalencedocument.texK+c% LightweightJavaLightweightJava.Lightweight_Java_Definitiondocument.texkFy;/*E701 ճH43_Ij-_^++\8^Cm2VX{v:Ev9U7tKi S[xYI-so`oz7rهKMLX 8A>↢g튮s>@POr_]#S>0s)Z%姈!:9%uZ" 6mPf, `qGwTEi6Z0}73{y\E~s&‘\GytV^?b/kz܅>$ZQ+>b8oR_/~{pʡd:Ü^o2ĺT@\Lq =ə`HHeG#I;bttY+!~gF`%Yɾӡ߳O-M4cLBwdoȁ qSޱZ:%趇Ĉ.GϸP"(-99ZME[B>=E{S(s.:]WE a-лF~T[GLn PX^cy L*j0_"|сyxxa_Ǹ=#Y<27 {_{[W'*#/# ?"6Rȉ\!̈́/j $IJ}oN XAА+W+N֭-fѢR ]X@1j1?9Ebgr3 L wB*e7€>b6y;ȓYiiiuozEbBGkJ{edٕ*L&B&1-λ)1/;4 OZ\]yV{2cAnIvbs9Cm)$A* OEZ&ޔCь[߈TlwfK"\`ϙr0.sD=Ö+Og{|2OUPOIJ6/v@nbvf>=UgȲ 7[*T4OrN0ڇrtVn\5`vQT&wrGQJ1 Pl+kUOHZj[yXx)q𚗂k4IVjO^ 3}\Z 4 c ~-MlUA\8irqMu i̔y9,hE/9;5l~nŠ.+Gʼn8(HB:E'!&ڽTh_No1818F|@qؙ=v0z7dl^V`6wPbp{Wb< 曋xɩ ?6S?vhfi ?A|rbiة*g"g0MASJsA4.-A͉ l~_+MiuB:1Jhb[I>*eK,C"65+=}CGYDlu6IDx^.{#1&XvQk A wkp(Lɍ\ի.ھN1Hzl% kC 4a1ts?cVV5.f#*2upx-hQ DگȰ6OCW\E{;pE=2OAټ4ӍQҹ3wi6g{O`P >h-kG_ɘ'(&ZOܡ%rBXWʀm6DӥI@3|HIoUڤq/*b/DUPx)#*l_fD UN|a>iE#֫id2 }pdaA 78# J87 o"R4$ Y>6"* sy5AD,=I3Ş?FM]OR"6'"N>aY}翉{-6n?fn5oX O'ӣ˘^>d-nABeNK{yȐ1j!*c.kڨg(ϜL| Sh/|Y.;8:ruﮄN5ݡ:MkK)k1kC1g]meM8FMݹW2mjRy(N'rT'V 5x$6//bX /hg ́QIUe5 :?g @cΕQQB.تbp3XI&'7h@|kSmr%T0^b?u,|_> '-q9JwV@"@M#\!O)XH\쬤 ;%rS,w257`{ذAoBojU9Mvo]5e~6q)ֹB*Suyq!B++{hEFI~9TA^yE^E\65aZSr.u+2WufyiYx6_1Bi-~<+ - wޜqd5# \Sqeۢ[H(d^E 쩜6Ta l,y!^L:{GR0;f[ 82a)P V_0 W4{+J+f""a#`([Dot>E aGc2PoF{v7]|;烨e/YDxfʕؿ͏X}J =3$Ua^NIfĴkaa~\V ğX%}u9lϲG~mFHu-N V>JQvY<1L}E:q(4 O5pJҗ0su߸{s{%_ V-<.bԚJ$ >\EafyO->0I 0azt}<Ŗ/ע?#qcDDC( YvoQB%[Oj}>;ꓞ>2ֵ'ҨˑʆuB8 UP<4n7u \>f97IM~O5 6i~FtQ(Dzn~`£fmzwKo$7QpĞ3y{|Pth9Mczz.i`3iU&FNJoRSg'3ISxe:$/)ivۿ~?%m[XEHMmlvK40P^s)Q֚T/?RS '-fH9˅+E ;Eዢa1z ӏ Q2 ,,Ck&י8R%?$lh6.^H-Bcm5cD/+q7x`OˊPhOP`ݥY-Y( x6lEcpRa>BV@K@0̝'է4nH`/]5h56:SPm&γ6׀BJ4ZN]_|] ۼLW(BïӸFIIPf%;at<`f|>d%4eW'u *o=Uu+3ebƴU)@W(lBܠa8%v8>Z> C%󯲉?ݣO*mNpl%ْ s碆PAf YB^3:u?,9#dN:xz2MEɫg܆c*b-MXֻ  @쇘zppz'-[f2;/A:SdCMh9 8p~yoH TJ'[WU)tPkE\AGڀe.%Q#yZrG`gNgK}P*`_L Ƃl'*w nIliΗb 9Ұyª9SRbT9tuJسo%6)Fl?+~uy1<"j 0hq誺D2c&]rʿAErxd6UX 2Ӻީ-ҺfҔH<| cɼw-'ܙu6L!2OͮdXNF4djvRv?@"{yvk:quU$ވ -ck)I j]XσУ0`f<\(@>:Wƈ&l4f*9e[+nJDF0j_d_'1nKH]ǯHlzrWB"*Tq*,)og? \W1hDf9oV`x @Q _{?`kE9rzGHC!?Z]'DqKb&!ִ<( l ΊBt!e"v0Ŵ-cl@yP95KXaN[?SzI[EIzQ8}{f+e P[3Ӣ2ݵw !KSsu,3WAz+5.3UoP;#ad mӧ4 )޼T2 Z6-q> zd4$F_1eP8 o\tԸ:v96l[(wpP"Y5R؎C@wUM[7SL2 @/Hn-Se T\Àd^H:*pzk,l t"fy.hw\(W ^ 2TgM%~5Xhz qar{\PrҲ4zUuե~fYgFV ,EtrPa`HJ8IJn{n!6C!@Ӓ@`Ela g6B^ xkr+2dT\‘<ھqԋtuFįaܷeߊw>x2+870CG0<)ǚQ!_ݗ)F? ?׶Y9S XXEԟ~x#ZA_ 5O 1!!W- p$(x*QLxL8E,BL8U?L& N$9 ٰ|||86-dIC:>ܜ+\f~ah),4Og鹳ω{.Ip:uYVR~_Μ"1d]x4I@܌e 1^B;wqbz_k"8WUKkX|ީC"IyƱمe 0+N``5՟[i3AgxU.gyՓ6dRUcpPk~U^0{HYe|_[H[p1]kPZli䗲QUR fTHe¢GvgSfM:/xtN>I,;olڝєZN =;QS-$ٟ5xO7ErQ E9cv.w+wӦ͜`]+_TQE|wh G ָ[K';0V5cڜ΄)DH-gYOx+rBa"xC{0_d2 ,$roȅm{6SKN,t$/_uOhV٨T4e%(.-u-v֕EI?@8?ٝ# Z)hwiΦ >z:E_ Kmlb挮 1/'8. { 5Y&pp ܬҞq*L#?x6KA}?nhiPsu[(eeҗID_</YHEuH㧟zNzu6|͸{6SmӺ2& jj+{9e.bm/A;>Ю^g2TMԞ툫l6;ճo(TqӎT`e|dDbeԌE-A:vmߣ "+v)o}陗3j>fw~l:/8&Y)W=nOOb4q\[{,oB|D}$!`4R n ƶQCaCqI7FhvF ?~_`ځ Œ4-sc 8/e~8[?J<`:jCl 4 Bʴ d(gYZ O2ͤk_lP `BkOS< (k9O u 78+mJSRIT_]71Jb:,eʞPzzc !kt,+QŐʝ)@D?QZf#mDK431SpcE_4\PrOy*"f >v%=.g.D@3,߿2~(0|b)arh"K}#UdQjF!C &+ih kCM$C`e Ze'`)m##vөd9"IčA^Ǯ<ֱ"cvas6ьe{|edTbd^NMc 5,Jw#"Ƕx.J? L iz*}0rr VpwxlD5s?N`yGEI~*ǝXKAGq {5Iڣdhl,\U}ѹnKQ]@"l 6PC& ͏I r5ũb})7 т+غ<nxu Ysjάx $=U[0jSG@ZbuB:thY@J:NV'M"kDHU,TY^a 1r/$1 qP?=6J ;BNrlcYl  [8FD9JVCQ#UtN)wIEcz_߿b<~% <ջv۶%Dmwb+V կzqG/IŴ&Q@g*8|&S5Aԅ a i*+2 K Y{>'e=/6q='fZϋQH=X5` pYcyWګCiD\tC<Sf3z]t0ʍ <ۥI޻ʂeG6RBP2Lm;Btv-+h\fV+K1U׷qc!< GƗlpKdX+\Y|P!c-#īky+,,;O9wP:_$  LsC6, _AVV1!Y86{R#Rv+eMձ˴6Kr>8TƊ$6N9I?kڄki:֔0/Np;aeb*U2|.J .1DqX>Cuqf,D (Ї+WD `}մy0\k0iHSbS9l#j ih_8GFX[^?!d],%=[1✭wnw#&hfBwdg 7 >Oނ{m[EH]WQ`H:ѝ&7eQ")v`~D.6jq,Zn7L,e=nFfL2@QfGwwZ}C\[ Ol3CaW%" Ϸ|9< b]t+,CH[қf>~ZFR7G/[S75(Ԗ/ՠ?vqF?x/G-UdAY|0 "_mՏ(AI/Z 8lϥe~\)E;!&AM ug'q\$p.qlmUqQl +وwp(:9>}> XAsא]n/`6o))`L-}G&fkmG|X][{C|Bbkr3*U\I"^,PRt$?᬴?()`&0Q+] K-)KqO i[m -J<#lou/.c09@v$`&%1837r=h 5*hfQI#XN>)Jy?h8wUnfkZGxYMIsw_͈:h=cD7=+MDU.XO6>i̓D:eT1\aQ,lTR繆jӋ߿[YXTfxٰwW5|kGdiA,<թ'NXo(4lN4]"?C3|R{ym#1X);+Gs+E;这GGj2`S4҃Mf(Ɖ&6c: iߊIw77@ٰip"t1?C.Yq) 1[v],e&۪!u);fbJwN$ ^quKr.|G()+ 2?w=}'/cI˽h3쨱a "e H8B~{!ul8.j~o5pZ-d6f?D]WU' yoѐ!@5u 098 peDKx|4Ѳ]/kгnb܊T2(Z$92_igut /)m3d60"uQ'z^Z~+?&B@LNG;ɥ*({'WgsvdY81=N"zJU",*;Lq.7GUڂq.R |f-_ -ܦ .up#zR!1Գiѣd5Kwo=DQz y'3Url2cFbDPu ڼJLFbSԹ8f-4 voZ󖧾(\9PBAȎ.'"YuV^䆷|$\cڧ~7_ȝ%1%AT'&oZ?u9T#_F4Xz ρr-2AʰٳFXWSfBe}d [tˮz5nU3L’o#Cʶ&5Lm3)3~2I<Ç_8$"@(OwvQM CFSF_eCqETgXpx"_d){}*Z *%t+ȼcg1ZM8Z6m@Ln0z_O!9D6ܤW~ $'1ZmR@/J: HR1 lmpSQP*eS Q }x$8iQUu*ǵ;WFA~*>_*Mze*H89aJCGu{025َQwR! >u񝂤}L+uj|^h\p+ȚGJ^ieI? V F #Xz&  z]9HZAAd݅E^Aizým^{÷ۤEʴɦ}@gDZ vx 4H0E?Z-;:Dfl#><CLdń2 zBXX.>%q5U i<(>n|(p}t۸]M2fXxU^ WW "'G̒zF~*ʽYsv.=@X>.}qv]1iVhl6R0xZ >pJ9aBtjJP9M ʍCW2\N,[t.ǎfGݎS-0L[,PgA`R6>APטx;2{ 1BY\l[3wf0iLU b{ʓnFFo@S-J&t7R#(dN?u$J[GV ^0u޹QdJnR݉oLͧ1/;/y֏Xy.,%m(k\hK.ҖY9U| 3aĿl|5-]w({ugibn0&%$zEaUL|}O ̪ȥJv?YRkiIM#얙ŤPqI}tՋN1̀Ip)3+gJa-6,.5vڪOC9%Ӕ6 +搐B=snI\C- )Jto3LVF[c ~WO[س鐎Q @4_$81H$Aua+2t9A¹[HYfv dM5qzTjENȾm zcwP)K.-VEs" 9o[Xiʯi]6$ŗܭ2{'@Ǡ\<5[S_o_O\,NAy&RY9؄'SBYpK-˶1Da W+Zt_UFh!- PboTx9`#Cѯmo(S-"l(/yPh[O K)./rN~3VM3i)u -.蒧'"! V )Xl.auW1[_u.94,a`cu'>~+i9Ohr{xN, `֧MBDt"dMO {b>MYd0*[:$x[e7upxJ#F'|FLЩ|6x!KQR_^\;K$'6jI%8Čy1fn4B͑/0O,Ι22 MB[:Ipǃ|% vI>,-csd@dX' |wCڥP׫s*Wu P{4@@%)8)z{X9[nQTVkYE[nJ!M-:8V\hf&3VeYZۤ$4ΣAV,6! fm= ІQ A @vnc-!_i_QJDdj@ qW&Ҏ^g8F"p4tQDF)VN|ٕ,88@% u@ͶO夹1 Vtr\XRtjIƯZd|̮̀P^C=U5Ӹ"+ ck8 A&Zķ"#% 9~^4>_G.>tH@`9Y&yJ~eSg+rSZ/h yV09S fTDE\1-x1! )YQL6GJ=r9FvX 9iy;okX^-unOԱY4v fu^'RR]s[&䰇ugD] +3#{#fy1;*4ʗ4=hQ="]ԓ}zQ$|@>Z\?k6#e=u4~ 6xz`WeA䘽Ti6GXumSJA[>W!Tj5#K+]A&Ά$KНԎQ;aNeqeN=GFmW!q7F~HPdUOX˅^L~հ@l"]YH#h_A{7$IZdLA[Cpa&ft"l SVmva{Ҧ |=z_(P!vߺ_K rNN2\F9|!,W>/9a 8cXMGRަ0^Y'f_T+8FρUژ_IxR&]Ldd 0ԌI*` Y^p>.?#hgd~:ZlL*oN?_2!K؄\:N^#lyt/K+ _.=ob%-be] 5KVzµa=;W`&xVk6m^) '[6vl_R'*rPcOWuqxl_zmgu9b!eCB83HtHG&0aCph;f"p -v EKnI͜wm,U):IxlTri؋~4֩α`{vB0P5>sp)ZQ)鸆297R6&MԒ:JzX|j?1eTM]s;$׭D :bLFJv_ v 3k)89'!jհn74H~$vf+c[sOj!¢!n s=ш$s*ËL|{!GZǺ=}2GYw(NAvi*k (&}5U6h2KSMAU, 421+1iz1E6MLX g-6;lF^)aq$#|`AOm%~?ePݔuLSʈ8H,IC1^4֓MSn1&8Q'$J80\@LP^iUYokkk0I\<^X%Dz1,.NBߛ;maT9߬R[wb +}Vw&i,CzBM\bePOv+Jee!av?425.Ɨx.xF3,.S$1p=1ch!Ss!鱤fLܨ:oM MPΚi3[nz˝hs fyb 8inqqHW2׎*Ry mEI@fS6:q?ϮOg9kVIM' ܖma':vyϩͻ@q=7'a% XJxaZhZj$0+Q}BAJ*SR,EmU]U18afipS*˩̩/}TO3q8hxmO k0ԡы#m $u'dxGI  _ f9Ȣ^+SDK `(cWԼI g'Wc):S$巑7&3Fy|f_ϰt 8{F}N_XG_ S;x91[=3_4{L^(;n%~ZCM`SV$ߐ*ileb'<"6c#H=2To:V  AOq孱 tMs^-2 .D~U  'kA)f)~!<@Zf؈T󇘼t}~x -e(02ֶf |˞"*=,cG [~FE sqM1wz+zff9@N֕6rhu/]2@c0;ʨAw=rŅyOq}*!ܟYMdLZ%()'aKI?֟6JPWÆ5ilYij&A&a?c͎UtpfeԧB*Ly+"`w @xq&&o=%yNK$y,zP^~Qm&PP-́ߨ_i"Ƞ;;Ge/EN9E) "7ݺ Ns5\TZZwt~ehx0-dp^k[m$6J,M5r' },$T§G)qpVHO,&bttG)JD5Np^](1a+U>2jjaZ<=v ({9L@XcpYAE]A}SD.kVyKBJ+{VXXkc ~R/0c0.>m,@h|T<- yml7 EXwxNlHG"8M=`9g S$ܝ&h K>ϸvdQskr in:]0Y'$2b GV~KhzqRlizj6*_1 -1 0xpVC<{-|G70d? y|iqN2sYg,Y_ }|mv/\V窆<9|FU7:SB]~4x@v,wztn3]0j6X!kxb\<2ﺘVbImړHo2d3w} \/';–3hEB"nKh0 k@-{YӆTPҀN= խ,m IgYZ V׻f35 ~<14Qpfey,޳5w[ )VzI>m%OK]\{ΠٟH/|<:6C= :݌U0z80Rno7눦swI% f"u*X]J.~Aϋ4ȵ|YbHnXxa9/+X*z*cA4CsQef wXQ*.+AQ(z+##Osฮj!J2[Hm׌z~lIM0L75Wz!\`x K6LasADÁ$&@&ŤKY7`E{WNGUƳS+pL5E¬*ԉ UgG0s9H=qExX8)~ 'htNCdBkzW, HB?J5#$w|RS8 rԇœfj}02|]/sޠo-2M0sZE-[|X=%A ~L͒x[oP~Tʹ;ܘ <|YѦl~b=ۃ|ħƒ~[PjØus2\ {6F {V ybO|J!N㊃-!B":UK#ȞB[;k&&juF\6k.վC&qt'.rkA=?6Sw`Wy+Sa92[Nߖkυ]mSYq|bnb BڊK$S#5lCTk})мv{F9zI;C?m:xQ`wZpEa~j8|AJ"*7Sr4{z_pe*;TUSH(r,V@9jcl ܒ ֚Yqr):U7Ç0'@ՀIev; h6!8JZ]w ,\ 8LI$38m Q9X/)L\d<6U(we+b'aOQvQ&SlPQ՞Оn'd 7]\վ*y2xWP7T(4m-䵡pZ ">P`ƐoGVyn\?6Ap }prV)0sw(~T|!9؂+&Y&3eG^+gP3CgPX)~k[n<LoQjb -YY\NY RAN7Y_hpA64a% 6xi/rJ\ʓ[x 9|C}k|<(ȿr8!ݩt\a_,5Oϡ.Ad|ﳇ@zj*#XoE@~kfzԤۮ= :uOvQiU2wQkSz}:Xޡ$G1!UkR w6irt9JԐ{GiDQj%&ʗ? B :u{rpW!翟VR Kn߾Qo kw\(M-mქ1Z ݦ 9h#:߯ `ዮ8lכrM_w;TXf]8VKq(߬,庻\SepBPjԆQaHd6S'މQv5n^͊<,!2>~rg3a`V:tmw˝))QtaGtɩ*@aߍNJ!9ŀ[v{{#teߢ1 2YOE!_rqc[#Bu]͂1D ؐ?<"e)" ^r!4ww% (mcRۙH;4H掆=8 GD>QV fo)CKL6{8-fCR'o+2`>!`LNAVG]j5@KMIٶCPD7;zB/]}Tgsj yاp#E܂eɦ` SU^bYkV+LE:Yv-H@{,mn|)}=?lZ*S+U&/cTQ_W]ފA_BowJx}w4D7֪Ah0XC什Ox vuVdTvYmIN Cf2 ,#OFk>35]"p`J c>$tiUfA$BD߿{6ܻ-PDW27a r:z*G`LbD dӀi;}V&toDZ`6C,~- 8tCD삅u@5.x1Ozc|Ἅ}[؏~r,؆ާT|OHǃLidҵY*$gKHN\CIZàiFA0QK$AD*`/VZAԳ `ᒍx9޲1b<)*ڪh4(Y\/V o}6U|>юa`)ۡ]m˜6bn2{_'m,t*W*!p3c`R#vJ*9_%8O.Ac0xjN݀*vly{q'ap 'C:}(")&%cVE&4w_ib-~t/pbL'2enR+&ywrL3r\u)KG^׼(E~Ql;őny$Õn%?|<$u!eWDilD?L΀{+&IojKTgt^ U.mHA$H ]/b[G[(){4F? 2Kt5@ɂIk+^FfAU7Ʀ;Lf2Ɗ~۞ʄX0E(^|ۇXxx kXB=x,j%ZYVћ(Wufsa7S_oC^?' )lk4ƍt>-[q<_;\ 9O,GC18ys"3n:aXocl|H%@x3L: X'b+Kf+T"%kIe8?iY<=[S1\ZNjAG;9҄mz Ĵ,@qb ~Y7Xh H!P/Yw{UO^VQ( c=i;2R [w4J6%K͆*hU"N3l)֩!}1 z{BPTvi-H:;3*=1{du07JBzW+S;j.t @KXC fNW!#Y@5dD 6M^| ʚ8\?QDFֺǾk߉ 8Gcwugy\cD\n]F`}Jr WJ- a塮SU(Z H/WRTȀ+Ia) Gv,,D#.qD[ WA{tеd$Vǿ4BndHI~eZaLd NE+;kڹEU%9OG:εlD p?=A^J=bhnG<즖+ J D nXX;i zִЩ\PLw\F{@YjX5 3waƭGYۅKM܄OA~LcvqlGhw0ޯxI@:9r +LW@+ֱUA XAIW&#M'. SVʄTυ$g;(\Q`Oꮚ(;QEN!AG-9Cp}sŭsqlL0=Hn͟ ]|Ȑ9h;v+)xԛ]]x-@[vcJkGB;.ᇔOk>g~K5?< @nC~ieP2X DkLi6z|)2 lhaCT`|ҭ۝)O͛*(j"F0cP> `VeDZ IۅQy sZ:AZ9)& N{7t/sg,鉱8]D7 +J( BҔ5‘crS%["|x4*h^TrS#{M.3 gBxlDfRuz!U e$W3 Sg]c֫6U ZSz{xzFB}w &xֶ~EEAesGwI3Ϙфvvtx@&ڢ5Xo>Xd3xHc(;sMPQ,;'yx~[0nBlTG9l%[tY\=WvaiC(0*5!}85p4(ab޾14>+p %o[,Iy?Ί i%~ȭ;y:c'Zy]%%Дf e,q M/X8Tn۹, (=uu#`io*wp:߼ I`a&DDtOi Ъ~=}5D\Ke FbDk HAo 'E@'Yj|TmqqwEͤ1"# OwK5ԝⲏ8#Ԝ/!@ -.O (|BQ4TH%*OlXz0Yzm1Fe$N_C{;,7uY*ԯ(^7@"̩ IΫ wgN]tjd+}{ӯk ljɍ/)_zu5qy㺏AY6p?/M:T-XV"貆\(n7_$C*ۼޱ)|>d4C|Wed+2jt?w]Ӭ^95S2uҡYsQ*;ݫhwmnLHu?j"뒓id2J .@ivkZ!VIE1S44|&3#Bn"A7Q7 RswUU"/릐fgp &BFL e %S )_n 63`w&{/Ѷ 4W-{ς7jԓ٨GXYl ҇Lmj+؍%r[MmfV)8FxJ n^C zv(0\C4zMy{U*y,r W~q'lt#(z; ͣ qcl<|"1޾Z LIV '/QPPښMKQ >/^ @CE V>ix`ltT!-у^WhѪ84NȌ(lharPy?'LJ-%@[u:>k;LYL߀9-LSF&8X2pI*W3>ƜW}ee@{Y/9Hr 15t@r1K 7(P 5|BFiw:Sbp'&C[[ ibI9f>Y~/ unVyhI1 ųxLw!3nv< @mN%/,Z\ Bn:/. ^ɽd#[ewhas{[9:|!m:/$-e\1uEF`sf{1X8__U qЇZBr Sm&Qr"%yfQ1,9n~27]L -,ա(KE͟$VQ)J 43F?b8~p2 dX 4 R}("J+C&[2m+vĦY/X̍UAo4xXp 0.[7<9<+|j6nS kY u`uc˯B6< "H, ^9ĭk1RΦ2Gp~V?VA !į B~G>Xh5(yl&^BHoO=K3K#bX+wL=/M_ @s~`|bͱ [)o``kCV]J,Pp`qipjgl.ul'63V}򌡛Ҵ(_ ʻ-m>G'A٠u2܅ƲPLYɔJoM_DYv^d һR@ Vo"hz:DJ$T9BΛ;*bbڦafMY#4?*&K=+yH=%Hd6F{=W*mL3ݎPs8d b]AOߡ+1 J_NljK|ʣE݊Sw||b ;$nMM5~xZg{<ͳ0GI/L!8wMH7n={Ms Ʋ 3U>;/p`t j^Gиƭ ]OIkj>LKƢ|}vKwKq.sIb 9'C5 dc tF"1%sf ]-Ě,9A_IBdMLao.w6 >'ƭᙨ\B:v[ $|;'L"1rO, kjZhHߤr&hdIJ\Jvi炸ޡ%_%|*4%:34FTsI۳޿ө @ i_5P+ZX+؆g<5- kn..@9 k?I~֠ ҹZ@PAE dŖ 9t>k (c O kd k]-,mʩ׎U%\o|Us+(l׺VY_(~WE*XvzW>9Ն]ւaJDh/^)% zpiWP_Bhޓ" `qT( Q 2 LaFGi*uL!X:/~SDoIIWzi0MZz`ߜd(zw̻:c^<]KL۽[J~Q3yW $ xf8WXN:ǔ3c.귩Ёv\Vv-ۨCD(7 %yJNj}bQ ~$DAG"S \WadXE<YexE F^^#+իKN RIɽȝnföԬ u.uu:{^ts-0':o_xWqxח C YLϯ1/E^].~8 #(Ǖt-NXtR$'/WfHFٜTr 0i3=7 ^K<ĉ:c+N{TU*@;oکVMvσoN }G6 ?zsVy2Kh"۴3:)WWMs>J0(KUGKt[Χ0nA2i62B:E]Pč[P˜hb~d$" ^K'ӟTV>ff,4&Jݡ'%PHbGZ=!hKK(SřmK."cm_K aanjvy|y{ME\6Q|g猖Id!IREcTIi9<$Ӛt(a-p cIl4:owX=C #^]M\P5)C)G"A$qA2G3œp5ig:>>B9!Y20T AVjkN6Cy}!E$PKID}ygE1vuyF%Y? 8h7#bͻ"- OMZR|@P }n`o Cl ʦH4]I?0Csp+i 9ո|Qw97PMLMXAiQq퇡a}M<E܀=S. Y`)i|gq?>jhȐ,_ &]b|\,Ej'\>cbA]=w=m Lwm2}~RպʴQaU,i&*&؟SfѴ%uzM̟"/QT%{[ 6ٚT I~/{5.B(fNE L0dlX[nffRNnb<^.%Ss! ׇ;toi>qX#EO$`Q5p-E>{ Fv* 9EIX.qg`(~{]e(1V2Lwtg-Zߚl/C;bf0ݕDv&'m׽CS.clߘ+V MOh7tnG*dQ'MqP͠cLZOpb :=fO) u̕G)ckКԉ4Pb ^W(oMmeK&hfF2q‰DM- KK9> 4X<=+g¸ 5_DNd F`RfOi`찄 %|rG.B=j:%z.-krkb@Lkt=N`V]V٣dNDճ)󨻿Jfylj<` t Ď!rDfawy!sL {ɼNмz#0qv(["sIɖ)?Wf2u!@e w$iF h5I^/.}Kip-d!>\kb3BF0HT{h"Rk ok4 aMYE tCɑQ_meb5װN'us'N_gobv\}jH*¹#{#H"Lgƒ _'D$ηo\BcnӷJ#ZյѺt&Uüڸw~qїH+VN4\4恄?T2Sy21Y?a*'f7 6w1`MY? ٶζH哰_`.2t<|wLQѾ;xjQ,;axge /;?gB4k{O>2"H`rѻ֭SAO6Iay!44$:)/nm LDzZwM֝9~Xq mp7@^] ԥjԕ9γa{!nTnUAroa: djz)46V[G?jI>=(xq\jF%5𝸜Iآq,gЭ4qwX3l7@Ύ`g <؊d5 f7i{ZF`J`!25FөE֗,8r,jk-q\?'wV 6ֻyDV\;þ@g L"JAD JX ygs_Jݶ8E$zidHd7G*w2N|-*6UReGW@/LX)HM_Ip9SႤljb_j䃧A~ CE֓Ӕ)Li2øBEWػ Ds?v9$E'q`t}n5dUɥخ̡؊c^ZD+ߩl\yT욞zQ"G AG6ViGb/;D0kmv,&l/ /bv\;,P7▙~yǰ>#OOy[6 {O+G8xd[D|$pD l>5[Ži^VT" .Y[#y.Ы_0c[+ qs#̘t 5V7 /8~uBHV0vlAN[zPNhE WZRkh-=8{+aȠs\ p`= ia6q>h'550=e7S7!(~#%$Ӝ ple6#O:0ޑaP -a"yߗQm~sl+jT#/:MIXDA؜op܇AH%YfmO+N;7>>7"l G˜8K:V2"v Eok  ' Ťv4QaɇŪhDTb +2]C#B5J)!+'޴Q]^q&H }A# Y>0 O+mKy!m̄0q8(6Hc8B[l$b TG`1TCg]ƑJq!r!z6aaNعpL;Jo1tu,r@O^1{e '|EKTtf16R <@½+injT{Lnٕ-zP -B؂jvA'է/e'oǜ홛94n 4Z}"jci1mJXcxEx`VNTB:+z!&,A:c?W 7`1F'_ޣJÑj=AZ;W4-^S~k˃ܐa2,0e|w-՜U%qU9mq/s؞19jMto l3\ǔ3n2%84ge]h`6;ao0Mbl`orRr$8٭4aOǢmp㤎{mh:iAHSlgi[e;y`& <@ ЂfcC@!%9zIDv6d9(-/7{4#(::2KyryEL̰ Xnv+oBd KL!piosw90 3W]zeHx?1Bc&>d\zέES*YHG2+& ä&qn\vZnz&xF mt1rht<۠9ԡ!KdUv88;}PVM&SMzps48lqSXor}єsdh+шicR KBKU29}&MϾ-  Su.tHg(@0+D'^V~i" <#E+0Sn06:_ц%Oq{Ld~f, 99>>c^FHT4d>F'Ŷ2Sb.&v`,G ?/LHP릂'_ HFҧ+=/ (yiM6&^qʭSktX66'M,DM\}<%!1F;8N<9 6˵BOaD}fdnNTCW&ǩ`@?;/{Xh.1QD<92 q,Wl5 V1-9h]vEqmv!ЯA~`GiSXOh\SlblTRyJE@xȔ[*ЂR$T z`\ <†vixH%Knj0Dr*bnylZhҰWZ`G4ΟNAК7{(hr1qq ` QZ ̪hÌbx\pv!.Zm{|z$yܸp 9ۑNT2Ta3*;\5m+T$nCPCsOIւިjMCcB/;I/ b|СМd5D˾83rP@;a @LS`>+˃5sn Q*NČYvF"9"~Ֆ#ieNlw[NkמcGuRDUE'ʨBoV{,˲kg|E1SK6'K0Gkzy?B@v^B,T5em-ԟkJ V%%w3o }`תS˖W'jզٻ$VuҋN$ :PǟK3M|'vy-aPhN`pjgo8p`gS H&j?j"2BlBxzG+O,U<@ZgDO yem;\9ڜ69bFuwsv>umJGƄ.=IWWO#,T^Tff;Ζd xQS^='=ۅi yhQPsY!k7ΉҼ+⸥ѝNꔹ;q ՉTu)ZB_#I"vX+Վi0ۄy*ΑE=Z D6\ z"`bguNV^s8,o,A#e!!АQ\K,c:7L-YW 3 a;Wb-(Ё)wlDk5N3n*dlrC%>><\{& bCrDƷuZNLx 'ڹ#ɕ88'FoXߌ{lCJYlc,@h+ Ғn2WEv[sE:} .tk E[Ԥ7-JM fYҋX LF+] 7(bOaTO(;> OZ*94jo,I&]?0d*a >SU~hK۲Ǧ]7Ic($3>-ZL{C { +VsW;<WI]dwdەh12+i8N:Vhqr|F9UϢE7cerERs@s0бQ:td"tZyPf9wydQW|Oii pLAά Z ,Gί3Ä9k \I}ݭ }qiֹ|0>VcOtbo2F_zCAj<&QUqKTfD2f] HWB #7T1E',Y]Le/֯w鼊ZVa.$[ ۾ +`~rQAE/XE2W#'/jZ"R%k#-X0x/U]xl*Ö,Zft|L 7 T;tVE'oXIM)cBkLV9'BNn:\fuGF [c `%1n= Eo8vW˸BS;wpl@3sT{]sd)Cה^*<"e(T䆟wPs!½%wmKk)lޢE4Jpuf _pHV9Z-^gOz&Uocęk/{RcGTz|j*nV#77TE>=u#T4UlÒOuOȋ)R>ֶObV\ܥI]I%x"p3 -Q%*NEe~Tpo`ŌPF O5_LZ`Y*|3uDt(br"WxZf`k;O6Zb]]Wk%avvtr>}fl}]Qznlx!G`%Ro;KJIv1jzYa~y"Q_R9E}x{g좖-YG]Z pYݦfM*02~ǴSS ? aJ}V `'W X:95)/sw/iH,3p"@׊X'vݮ-v|SFw.NGRt!hnv[^C=K@4&&`bO S.X)~H*p}nEo)b܌E bd /CQz+{JSr|jeF-ZE:*-4 RvxHtQ1)6`-JF]Y>KFbs P/h=m!C^nδDNd|q,F[+QI1 ,-@ow.unM%rYaoޥ?EQb 1TeQ ~kz$WSFIf"~_ 4u*iݘ@"eUl})]P\۵ 듯ضQ8y SQg< wn*+sp8bDbӏkc:7S7S{=gݜI/m?F)k6TF fnt&$O-ez{祸]k󶮖~kZ;-biGZyl?Zm=G;fnq2@R?4v/cٷϽ(Yz˳d@qRNa<7Z 9@*q|&Ǿf(Z} /0-RxaN-{vuƙNQؽTb\~{{bǁX5 *M0l|L|Jk=%k8"@ߙRឃMez@ℶRi̻ƚ #(7ALbV^륃z Z= ѱHWO2F.G|` 0"5I;g#+8hg] dZZv3-.WeuT>f]%ėVkN'h*u&Z{\lsg$mXlVsx:43SqA䲤S:.Cpz٘25J=Z*ha JߕSt\1Đ\qv.ZҴQRK[;f&hc}tLY &72N%91R`kx+[gj(Λ&Ny aQs?ccg2eWXpYQ9^8Ҍ*}ۖ$I@vUkr[4 ӭ!cy{UlZ1?Y>B/ |OywZˢ2WZ[)@."h7ZBԏWi!!WegHȣ7%+n^zH:0%,JGKCջ7'" A 5 |ZH{3Ü<~,9mgw`ծRt+B-yJ4/͜@Y61\MoICD>53;O,#]Q5PP7\/ƈUs1J oT,uҝ(SDshȅI!7M:v#1*/ldrI-eQ rW{uM<ד!Ȃ{ۣ{ym<R>%n.YeDl!2񁍒Ae? O<_Z_b.|V\Xy>f\A(ЅTtcV.(P Q@h2j+Eo~zF;}t}TW[| ,#Q;  /CU~{_M,xWnˇwfuWϟXīBC tٔ|}1X\cYpZZb(iv.b c_QW*pՀc{msjvaOӳ{[W!7W0KCUgfF@ `L ~+.{la\*:1/;R3ME)9(\*GJ{e &v`7@6P{ 0#]i"ʍyB̲cONKZ(MDc١ A4q"2Ja t!ruePC*ooqx9ܔ~nd[Tf+5'Ue{rAkvʁSV&t\xB|U4#܂ժ{V~s.4ikDW!]`W= v R~QjB TX1jyQWXp lv殏sW/̓GruJB3x[YBbOgm.fUYt˅qw%Yˮ]=Ȭ%0bwoZm}u+tEfn*;<"^m*clZjV 4VڜWoJ,oT'%B9PT+=$˻[6Ws+QxE\m|f'L#M#8Je"ߪ|Y@uhtdFJ T2lO^ngb3}%h#(MZܧ(pxNYi1 L5U&@n^^QHdBmRWI}B% 9TѠc/si݆qZ2Fb MmCl& Hr;~wAK{F6!KJkfgT^~fwSzƁAibaw&nAŜn茍=[R V~Fz0TVI åŇEVKn%=SaJ*EXMXQ@89Qy9h^\]]gpNP|\(c?: 0/2*N QUxㄝB`ջ:$Cksl̓4~ S[}T-?ߍuyL g}-EضٕHQALs*o]h9F{C꾐Zrě}N'1I@#Ѷy_o#5$il@֛[ \$?t He՞T-<:HʧPX w8 \Pm/'s6+cԎ3 -7*cpi$Gki)Pue&| W #S;MZ; 6VeLϔ,d1UN2+SQלɬLUЊ9|ybmB1[~ӹ/^wҩ/a.=}'F{qi)YڔtƠLŧVMzL\'XH/e-)g۶kD؏q*DBmf\[NlԦ-6[>R)[V@Q ~Z m&) iUUێ_zk4 OefX[i?Ln׽KR/^]dIP-a%ݓ/+z2U,Ig6nx+t624@wTҬvQxr67]%ʰ6nyhcS5%}#߳faǮeWTz$j95[~p0ťpdݩm 3dT7D7'_"h$-_hJJCf tpU-p?R uwZc=-a=K{hIY0SjFD>5!Jݰ$shޮ| 0ߕ]W?(e>/՚8b)dkM:xu&>3gX76=:0?w8bi32D\9*% T'| 'K0"tqg ECV4=`#%+RgYZ 8 +e% \LightweightJavaLightweightJava.Lightweight_Java_Equivalencedocument.tex7zXZִF! q6]A-MՋhvG"uIBm5#<@rǴ`i!zQ;}y\:'OșiZ<݉sK4҆Q<_Ann^(o9'c2ŎCZ9duδ/)pc)%Apd0m؍*! C^+ԟC{ZGœk$,XWh` ;ݷ 7j\V&կ.m}`Fvy6}l~rqqV#$a9m7UXs%8|j: .PdQ\/! ҏxuB3Juj<ᏺS:\qCw.ҭߘ `\,M4VIqegMn z %cU0 Se8/k?!C&s˚± պ*2[=G 31Ɏ$P zn3,ѵ= > in,".c9qs]n@ #1+RA߷Q Fsg˜),C5ᾷP&jCBJVƲp2ȐV 8PVk]D;7{5' 99L#gV7Y?b?;M>Q E*xd uck *ˆjAIqw-}qM-o31Ƈeߖ*FAm~~08ƴ /W#yr*׺ݩvU1UEwOnq17 į̵1=1M$Ų ?fh BT(iMeZgO~I6 w{2^M`ϋ2!`w OFw<>OsOi;V9L0H(OXW ٶ噂uK333zzB'0bjL^n14 wOi끸."@c&tyZTPa[`dNt}opZphؤ>bj,UDg0y׬Dc!ι/ i=}%_{TOFR)Nr8m[]U0 59+0aœ}_i7"d(G d&ɐê5xQYs%SCS/2S.Wjo 8ʋJ*loHvyu~J **wbH:@1^ -9[1I>|^k(ȖO8LA n +Y% TLightweightJavaLightweightJava.Lightweight_Java_Proofdocument.tex7zXZִF! mb]A-MՋhvG"uIBm5#<@rǴ`i!zQ;}y\ y蠌^fS[Vq >Ep$;;q*$*$O?rHS[K=||q-Ӥ9ޞ`ċea2Hg][PѣiٔUȶ6gXLg nWŰ3[Oj{ 7yN%_ę8zϋJ&S14+Ta7wMTy}B _S6&LJpwUʼ5 $}uhcg%.lyHV^$FFRddqwU<:wD&U쫦TCLgӐNt跴~X9ElQKh͞K]$/r V#J_چqa{8fm:WBUz.r!giRO{VDgUP*I6(T4W1UMS9jL2Zi(̤פäCKY0(cx$=$S&_Ǐj/荄Ho\x} 3\#t,jqDZC\7b%%_l-E'7%lZ䞡OZ!32)Y1v+b-=Qs0ء fĿ81~.o#H)⺘cbP 2 'a0;ɧS*]ldn7-#'L"JMߨw٨`߬2BVMb[_m]Rj MkBRZ/K)S6v)?Lty$ RV2p 7le(IE/>3:D;1Ҷh:dAlNb730 iAs.vHwH{u{t_6eп ],wڀ9fӉ.iwMlsY/<v]&C&3!.]oP̕6皓TbS boħnlv0NiI .Ajn,gSuVW;cBNsb0B8@-'wg.1T3}Ɍl+;sp2N}n5Dzֲ Kj#Bpt>("vRzVLwDWO߼ʡ 2*d =0"h='`''!\;rJڨ_DZcow _蝱^m*Ȃ Kۼu8#˾AL0Cҟd񫻉F Ÿxr0@ TKw =J۬ΐM0.3j恵dN,߹oH,0B4tE[T[N~/kMBU % `шXL PeLhi[?789 qbVg:)79V l-:ꃿҵ54M]Ŕ#9{ac6@ιp=_gat1cFT.l< j9kKG͗T(rY,U?٧B ׺!9Ga-':{lNiӡ*|!lZÎ{?sB`^qUˉؙzBz֊+; M~R3]Xd9TB50 Uh w&:řߐkL>6UXnuvR_(&UGX>ҮH0GgyZ$xg+2-+B M/>0Sު6d23Jsz`{݂p6/ jA8HOe(U#_ ڔW1= 4qX.2ר28e7L[ teb,y)y?d9"ghl(ϦN-ڱbBEq|[`'u;h{qSWٮЎ;[,T:>R~ H0s/k^ em,/PhӻWz/*Vŏ*Yh)٥Lq U7Yze4cMs+iAdhN;c w=hC]!Hs=~~u9> ҫh7S1TyI%.S^ٓM>E*LC9qt#˾4rN2\#b4IXv&K4u.d CCW-9CF>o *NbL>Hf A'â^I ?S Gз&2_l WvE{*g%Qߚa lu̿Ab5;!p]q~y@?^QV\I`@hes7G(.EPt$ŚM#sip}ZGM 呗D@ .:*M=d1oH-e+"ʱq5'Aº 0'-Va(:R֡khhxFoF3頛B|CI).h3jayԾcT0YN݉BB59K+)P*lf(M (h\ CSC-Ig{+\ﰽ鉭r ="#4Э]c /bCҨX|.Dَg\d9}>vN+t}K{v7%ئ[^avYS^vc)ĠӲ1kZچI/F  A]Zhk:e#6e=7TZ &a[D>9 h ܕ$atl바 ː֫iIeͰpouԘ'FujFs;rkJ\'5^Vv/гuZ}5{s4E=]/sE2܈zuR{Kmx^3 V2k`{P¦`~ǔ#Ŧ! :ד>^ܮ58Uw:)θl8׮4%+]r4P6No<4 WEY Ob H #r<=)+([ 2luZDgQ1" iiNQ'UR%6M [Gn"v/N5?\<С34(58#[ѓE{ y!GfԈ +lvdHȱ>A.nor::/{G ^SA֤ vx Fo5L7 Z z._ (iup #ZW^w6.w:'(xWgm>|5'YN@.=m}RԗPP3nåyp }cuDe0YhU Xw*9w>H`b< ݠ- [kOU{XlVgpG: JF9+bܳs60)6h[[ f;OqUO&G̟/jxcs2INrƟ &Qe{m1bzIz0G)4PO8a$d4rK9VGc s~N%~2a{lB^rfW*Jͻlq944sm=5,l'@PmtNzc1 i6N읔qEl[. xc_>N?k*V녏- d]utvSw$̛z 4 ֫AeۨA@*̝) HՎ&OB*SzLFQ)Q"]x^sujW]!f2\bAB ʎ?{G#$1n9楂MxPB@Il3ZPHm%kYz7)Tt1Ffm1ohP>M)kM #„L^DJndɵ1 FxP-q8 ;wm[;zqz`?|?*:( |rsZfE(˛>@4:^ƥ=4u xBqåzGDkv*w!)&Z6(* (Ep4!J\|a-pLc??,4g~K4t%?7x-DIۉPJZ2EUFiaShLzf||hE`*HdǮTdPčy0cO8Z)]JjO (YwcE+[+|`!<J0% +J$Tv*-eSe\bnj? OmC=%n}ک^h 2 E\O{ EOV dIeMAqWHiSmepUeկw%OxΣ<-&SWh֌۳"ņvae]N!6Tzܒd|C)J"I'g꠭wTx[|u6jLt.7㏠$$gڮWzx:ڸ35Zj-Cns3/%J`q +GǺO_zw⁾8U:Z>QL[2;߲7WB$ n9fRshz>gCEɺctǷcRU%Sլ#Y2|kj990&l y,5~0h ~|ٮO$R2r x/3':[C>Zo6yȝс'㊣rX@I