SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 O/ L4 ]/ FeatherweightJava:threads=2elapsed=11.674cpu=21.548gc=0.780factor=1.857zXZִF! _]ŗXf1-/6vRZ9@{q$Szyj߫iII_ EVsPsxM5!Sh^Mr6}bs*s^pIlS-S%`ϭiһ~116B!6Utאݣr8d N$xջU&J4wFUe| Z =:E!\;]M%>Xtoeo$Rw.Y!#>G'up9..c_?^6BnpgYZ7zXZִF! ]ŗXiɟ6>*NWk,@uO#Qkz[vC7/-=_NO4L*}LN-#PpUҺd^!%2HdFh-WCKjONuoYPN%p6nGwn!gYZ7zXZִF! H]ŗXi%;n}6IgۑXT2ÚNznWx)%s^IJZe[b$l`:|^g)g=sh[Bf IкլX Z0헻*ǛAXC(PMX^Z.h2f1Vk\ <>NC5d7-EX)nCob#)yYTm紙I7dFt!kCɉ^½ Y%EcLx(=c}IC"r'DW>BQY?~OvP ]m7WqؔbbT1^`U}NgeN jSa֤btt,8ςم(0ꀓڻ<;y'Fi&b*r*.N@^ $tՌFcs> ߄I,rGm"Y@R)oֻ6<^^3=tKfd`Y*L|{hGs2TL.,ox[Zcc[Xnue[#+imҰ5L[X^χhhExDt>wMK.uё ԇGsՉj[;ڧft ;J"ќ h,DO)Ʌj-\9k_ a!ՅV>;w5=Amtea8UR|w6=-)) F*e}9 6.ZvoK [/D}AJk.|BI7h@J0u~4=EvNb(vpKWZN whgYZa77e9380c7f60307f9a5a5044a07d4382a26bd0b6b223331e017a1273774b77ffd0c2fd583138aba 79764dc49c42e04d2f2d7022e68e8df538e9cc73 / FeatherweightJava/;% DFeatherweightJavaFeatherweightJava.FJAuxdocument.tex7zXZִF! ᧡ ]A-MՋhvG"uIBm5[Ba#m$=gU_<:zSPlU8 zX0cod5>GQ'%H6%D!H/6I9R_pP J,//m&þg~ϒqAK)3:GT(RˑzBb;`TqkTM\ԛ>mZuu"E$u T B+aŏϛ\a'H6> ]O09-L8Z K^PN[3 %F¦4W. p84Uӻ"k/D:B_5 YϷëO5/\|{~JYemaqN!q \ȌBޕނtrzR߁<&O[VsV94aRÎ^3 :R>4rZsEsy(L`p`N`*0{a7 :Z-)ƀj% ȸid<{ዿNi%7aۖK MfL8+Ħ"̺  ~lȠq9/[$;ghz3D7o0:GIOŀI5/{ZTIY3<1 |6>>2cf'y: mjDl={sGq Ê, .H_,rlǥb;1rEpX?z3ڥ˜7c-ns F3;ΐ{ؖ1)=1Ex)?swM`4IחijV"T6"f88g'c+1fv)ŘUtZ,+O`aE 'ٖ߳&0/tIY&OpY  c&Qa{GbΡ?#ll01TXɪX rr{wp?;ޕj S-Y O FXY]}~s@w7dU{/ =5U{ҡ<ؚ{ֹF{Ifʫt58ShZH=隑2 jzQ軌?ŝ.OB.#qx)_|G2/ev  T%#ju3^ƍo%1Lg.ޗWՍPEM|?6y" "V70w Tz! N%=M.~bIuftY>"TkR$`6v4'!C&P~quHYD'%k dJR;)t_3^<'xLDQy(! ۔I*kW6`e{Թ?FoבpN:f.eƹqUgZ;юj7LP5Srł)9Lwv$o.?e8AM_bq #ne8ܭ*gD;ۇqG) hhW4_?]4{Ʃ.Sfjҟ6BD5hL=:OZE|#Kɤ$xS.UnFI$fɌ8Hd ,z5 F 9ɚKt9Jf,_blߎ#d;Ao넮;)M*;:ܢGé)zp{npfamWFLa}8E㞛@G)OWX[*` mKkTj tL0~qeDd `W~Uβh0N=t_JdP!뫱KckL;5# TIզw+q1v}Nl\H{$@Ϧl՚lb|)t XF$W.V5%J'~ylW8fw$\*ZzNJo.d]z0Cl--IJ9r9ý O{iLVW1X1,=(J \ĺY3MQcM~D%/m#&48Y׻ Cx`GK[(V99_47EdN@..Dز6#o}ɥgjq/tímLD8w3CqrJ(ۑ޽6:r=WGsN*;t~kJmkoEpxڂj*'ܪ,Mc,㫷t FᏎG)n`iWu=ɺĵZ(W瑽AM/Reg'玱 Hd@k(ZC)f=nlwav!^δ{Q1*^#c%ݴkqv-)DJӖ=$XLbv͌7c>8˜NWgrF 9tV裬4.j11D=0 :uk.kʬMȢ0QH6$,'@yM`Nߒw泫eϴJ#b~V]*y9ˎgEODZKѢ~&yDK%~s(P zb!$aW̜ cHM5i'1K<>p")TZg#@Y(^!?a0K/+trcWt\8Ox/ h/T צECt%tqiq( /2O-=΁2?Fj.L|TCNV4~c/L 5 ȇU;6=)ah#6D[F0&Xk .q\8C^\Kw0f/Ȩnt  `;mn㻾(+yzlu2 EbJds.«E. Ѭz#g65y#lAG(+p;#$H1IXh&kM51v8dA`zG"XN -ˏA|D'V]+Q6yYR"+̎(-|/vO.'zٖ]7՗E0   M</?%FeatherweightJavaFeatherweightJava.FJSounddocument.texG/U%FeatherweightJavaFeatherweightJava.Featherweight_Javadocument.tex</?%FeatherweightJavaFeatherweightJava.Executedocument.tex:/;%FeatherweightJavaFeatherweightJava.FJAuxdocument.tex:/=% FeatherweightJavaFeatherweightJava.FJDefsdocument.tex4a10tN$W09'O%"f=˖_j$%z`U*G7t,efG WIXGU 2O/LԨkOʴ :>a+K:4ҫ*zye (=_!uG*^c@'Z]~'m5'B㓛2@n5x@ץ:~MnI5g~XFHtŬOMKĘsԿ$U!\7U Y+ ^f~Ɣ$ZIԍnS̹9ilCߕJ$KT':xk5I_!nx>yN9d-odžH6勴Q~|qAB8 >TVBnO6͓1L~G? +L}E6+HPd8>/)Wj}4_+ ְߢ4dt4R88|Eaa.Ă wk]kZ1I#3RXfUm]rW M,͉2Ih\O*[pkոBcWv-ᴥVӵ62S̴IZ⮞w/[|vwCڀ/#< ;Upn}` א2+.U%d f$˸>(D"FA"/AYͭG -lQ6o&~(U$mq@,+ iC$5|GhS_&74H]#,݌xH1Xm(rjD'14th-p`Ap:vtw$T^sAt]"# >5&=P&"Eg..yU'U:zJ.:\!wx.pJY*s\$:#1E:*@8HL+ktw+$+VI|wӘO$Nv.G^/\:W"U d "V04TWd3>ya1aRr\'(qG#>Tp,ͥz`v_|P||X`ky;u[$GG7%}co8(5ןv" $]D7nLDä mn7zR i>oE`ba@UCɞD4,FH43  :v +D|XLWTFba%0UfG(YBf=}gm$of葉/L'zw JٿLބGc{i}}X EG*,1Ҁϰ@ۑVRYUv֌h3S:?YՎdb 1MUЫE֭ɨM V6PwSt[Ťp|rf(%yѝݷe#3hCxd|3Ynm$ _Gg 6H+q>aDOSNzJjhwhJ* ^LP!pw@e P%O~H]ٟ#v׻3*lXuMN+>jT?c8@oxxQA}ǖ,5pdKe%W◞ hq,r'1X&ԚDlYmîiZU@~:՗KP(>]wuΟ3 Mjc[i+MzI"lh2ʫeNȎnT&rZ<4ף9EZSR1Q)X s#rX i0ϐ -? _M0 45{e|_d辻 (>H\`+>(/^ֵ5,  \5pMk oLʍ+F4AW[߳_G{sG"(`o #֡ςM_B3!*V!C-&;l7> Q*)%6m5=Vn'ZP6-k+ڞ<|Έ4]B)Z do3xf9gF/JUC嬺Aң$ S.AtkN9c*Ǒ=ڪjdIlVٻ}0d\pg Xjj %+";H[LHnW04Lb\sq3ozy3a\#MrMĴrxMV2zcDͅ>ܒ u tsñ%DvGMd=i)2r߳)g x3c@azۈҼb[rIr#ڽiTcZ:[?5&o ACWu<ínp(ܓ&Z6,PXfs L},p9"jHD$r*(8! 边Eg.bNs(`1ÚkEM%R1uKŌ8];~)dFROD!>NG`,H! y}k0 \-?oФC?٦E|灆h%DZ5ŏHDt~/ [JkBPd1tg->VAy<^3| kkh d xפL3ņ "~JD9O3rS:< CF3L&'`[bvCDT"$`(X⒇Օ wRjfL0M1yzVWʿXFf;I5xCK G pw2€v\^g3nf :;ȏ( ACUNXOyW0>)'Lͱ#y7eW*C˨q +\x K\[$ڵ|@Sqf\p9# j׍L0<ѻѤLgM{i#pe𿙰{{pf:^\}(gB(((*^U”W+= M {ouqL(q4&c"{p_+9c>mF+*{*mx:t(l#bmeӀ^DV !+'K0%(V62'' v>SK>yѲKrsUAPr!K{񔃙e{O=9e!搯h(Ŋc~_em)G{-/%'!qUmQRUgѽfYLwI^wttɂDQFNQqX@*<W90ƔIMq!񼄭1↡ xѹ98E:kXC,N|w>kzƙ`@iL] PC, 1=DžW{r=t Xf=- z YL8yèh&D8|x32RXT',c1т&ih SX(_^zʅ6c=e(˖eE' Vkk÷γ[m$DN6E1yGy9sjz38W0AL4 ׫w˼ojOx`ҫ%Qb^],Th\*apʄjsl4{z Gd.A C8㎁`cgIc6TK "&8Cqrs1ŰN4<ѭ z-iP֚ى˻7 LY8X!_3w Y=RQ ů2 3 m6\h! mXrs^[nzTa(<]|R0K4HNćcK-” 8-=dԟ:пs-+Ev]lV<~@Ws(ayo5kߗŒqBiwj1+b#ꬍ 0E^YYsElPV/99ov%k؄,3CtԫHr?{@!NxYwNBᗍW"7es0h? Qc{s束]%%8_Ԗw?GbZO.\r]w ؁鳐:@&rHWbw #\YJ;|s11Lh@M_r O_F|Ϛ8,>o{Ē|Spriq0lz+p:x4_YQ2t`P!!Qs8Au?$ގDžC!!s۠U NY{t4j : `z6RR^莘G$ 5_*n R4|<W=WXPh'NH !1 f H7t;,PnbX`] OnWZRhE<-b?QU8ԓj0OhG[}(tƪ'NⰷDWZh\D}eGA6M*3i z"$W_2KmZ K^u78KӶAtFr.\Ŕ,:.(ܱ(Z娍xxp+aD[5PB"qK,%a0FӃM"T[ V#Am1:7+RI㊬E5!*ץ %}A>ոڧ0=]$y`kjү@j\E=a>oMK+C9 @&)B`ᴿCL4)D̻6=rV$j2}V*p*!G^0桼%zV2b@r/p :?q>Pѱfr?5XK9:99+%zcD冷c@߬ű6YfLB.YL6K8 e';$:-P(k2 ǪphUrx_p|hbn:6)@~kݦm.`OuQꖨk3;֘v8t>r1V 3P&jEi7R!᾵vN@bȩj#պpfQL&5SbrkQL6vʳǼ8%Eq1lA Y`3Pe@vAF̕5s_>vi'Trй益crQ͂a@t٪z#ͽ̎ZTjз8o+y@r8CoO ȗkz\N,,ɥ$>g!E&X -$hGo`PgM s%gmצzPvCc6^ J2 * p0)G['jE1Vk0֜]~A*`sѓL~aNݿg kR>[)ع-ҮsهD̺omlpC?Pa1^ŕU'fwovXaܹv3unc8g* Q_wX',obw#3u:&v)SþRbX> qL$Kc\JGvgdI%My~ԗĚ7V;a퟉_37F y:aq}a {3$T<ctׄDH7E/7BgAO *Hݡ,0r-nĊg|%{$c"J9& 9пT0>5md,ZIYvUp"I=B sqn+EDI,@yS,J94ijY+qFn n |x$L{W.a/ 6ݴ-]&;h oʴ:܂UۄފoL S8Tn|bd ̚== 6^E_gnQ2t0is?sl/Պ*CgCLn =EaʇGy#y'ƽV l7'ϢOnpSrF7#L+P@].=X\z<}O?1xpCV^4sKJ$d$OI`>?Xqu S5դ5tgmEYa)|@Do;e_Bu!f1{q`;L;Nq%U۠9-|})mX~ƟV<>˙1iUxrE|Wee{X[nzʄ"̉iL(CjUCc}t`F<#Q>{)aۑtu8}$Gj1X[YL!4o{׭ .}1nmD({"H(sLϒz][ n- j#mоO#&iҴWۣ4Vw>N YI͑䐝1RS &`uNF/>/_m0;Ĝv p ul޶ *r oZ#5i8.>ekZGjl ?h_S;nu:غکjR$Ξ0NfA Z~)noi%jz.jd[#ORho3uj_.0HE IhR^ٟ]c!ۂ_8cWt:N'IX{́aLچ-h˚Vf 0dpҋk>|s:iwߴQr5\)杏  ׄ\YKb*~IE՞+41g j/4lInjkᵮ,M}nb26j$vf5N= _IZ`އ[%ڢB KKQ8L>hoM8l2>WES6},J0*¶O7r`d#;Up Rư- [&`s.>@&V oZNu鞗ڭ[)m,yTtaQQ5/,w#ΚQR=asԹ~6ޓdH@2V*c|>bbh#/Uq()?S:3yW `B 5UDI!"zT2߬lu#A DZgYZ QAQ/;% DFeatherweightJavaFeatherweightJava.FJAuxdocument.tex7zXZִF! ᧡ ]A-MՋhvG"uIBm5[Ba#m$=gU_<:zSPlU8 zX0cod5>GQ'%H6%D!H/6I9R_pP J,//m&þg~ϒqAK)3:GT(RˑzBb;`TqkTM\ԛ>mZuu"E$u T B+aŏϛ\a'H6> ]O09-L8Z K^PN[3 %F¦4W. p84Uӻ"k/D:B_5 YϷëO5/\|{~JYemaqN!q \ȌBޕނtrzR߁<&O[VsV94aRÎ^3 :R>4rZsEsy(L`p`N`*0{a7 :Z-)ƀj% ȸid<{ዿNi%7aۖK MfL8+Ħ"̺  ~lȠq9/[$;ghz3D7o0:GIOŀI5/{ZTIY3<1 |6>>2cf'y: mjDl={sGq Ê, .H_,rlǥb;1rEpX?z3ڥ˜7c-ns F3;ΐ{ؖ1)=1Ex)?swM`4IחijV"T6"f88g'c+1fv)ŘUtZ,+O`aE 'ٖ߳&0/tIY&OpY  c&Qa{GbΡ?#ll01TXɪX rr{wp?;ޕj S-Y O FXY]}~s@w7dU{/ =5U{ҡ<ؚ{ֹF{Ifʫt58ShZH=隑2 jzQ軌?ŝ.OB.#qx)_|G2/ev  T%#ju3^ƍo%1Lg.ޗWՍPEM|?6y" "V70w Tz! N%=M.~bIuftY>"TkR$`6v4'!C&P~quHYD'%k dJR;)t_3^<'xLDQy(! ۔I*kW6`e{Թ?FoבpN:f.eƹqUgZ;юj7LP5Srł)9Lwv$o.?e8AM_bq #ne8ܭ*gD;ۇqG) hhW4_?]4{Ʃ.Sfjҟ6BD5hL=:OZE|#Kɤ$xS.UnFI$fɌ8Hd ,z5 F 9ɚKt9Jf,_blߎ#d;Ao넮;)M*;:ܢGé)zp{npfamWFLa}8E㞛@G)OWX[*` mKkTj tL0~qeDd `W~Uβh0N=t_JdP!뫱KckL;5# TIզw+q1v}Nl\H{$@Ϧl՚lb|)t XF$W.V5%J'~ylW8fw$\*ZzNJo.d]z0Cl--IJ9r9ý O{iLVW1X1,=(J \ĺY3MQcM~D%/m#&48Y׻ Cx`GK[(V99_47EdN@..Dز6#o}ɥgjq/tímLD8w3CqrJ(ۑ޽6:r=WGsN*;t~kJmkoEpxڂj*'ܪ,Mc,㫷t FᏎG)n`iWu=ɺĵZ(W瑽AM/Reg'玱 Hd@k(ZC)f=nlwav!^δ{Q1*^#c%ݴkqv-)DJӖ=$XLbv͌7c>8˜NWgrF 9tV裬4.j11D=0 :uk.kʬMȢ0QH6$,'@yM`Nߒw泫eϴJ#b~V]*y9ˎgEODZKѢ~&yDK%~s(P zb!$aW̜ cHM5i'1K<>p")TZg#@Y(^!?a0K/+trcWt\8Ox/ h/T צECt%tqiq( /2O-=΁2?Fj.L|TCNV4~c/L 5 ȇU;6=)ah#6D[F0&Xk .q\8C^\Kw0f/Ȩnt  `;mn㻾(+yzlu2 EbJds.«E. Ѭz#g65y#lAG(+p;#$H1IXh&kM51v8dA`zG"XN -ˏA|D'V]+Q6yYR"+̎(-|/vO.'zٖ]7՗E03ͭ` %%/U% $FeatherweightJavaFeatherweightJava.Featherweight_Javadocument.tex7zXZִF! K ]A-MՋhvG"uIBm5i" V:tdFmD~?v'cjFY-ȅ۔ 98ou8e'erwr?ׯB >qB &Vwh7RIj>-eH}Mni7<Е|üJ> cR1kƦS*39%7}k FDr`,Qq%j'2˱gYZA/?% FeatherweightJavaFeatherweightJava.Executedocument.tex7zXZִF! q ]A-MՋhvG"uIBm5k܋Pn\p(ZݪH5y D#"Bz+y5R 4eʋ/|80B p섷41>~y\K#1)8t'Hywt͵z;wZ7K?+*E:8 #1|HG|hA#Q2%5JWQH!ɞtnkQ[IIĕܜ{\޴9!GrDyy2?KAK'P^9ȗI8s^JsG Udg F]CǍ *%3^av8']ݴ/*̇Ki1۫A-B|aJ͢ydlM.&c:=Cu˽ p9 RJ 瓌npB.'aڧxнP * ޓ֬ׄC,aN:afm5Zx!p2Go@P8ZB x:QAJ+Σpk*ȝXL%\cP"nTG KW)!ESZވ/wIwz'7=qz S^荘 M=>^Zی_,I'`*yΛCURm̓һCGE/:xOCO)ahM܉X,~ǡ,,/\ EqIy*%M>iIuc1 S')~a(,ÊJ&g\; &7R_vLP1</mJ_ b2\Z*4¡]y9gOD111N 2q-NӸww J+T]& /ɳ 0t/.)ʷRhnlt~gbZ%1RwD{ ƍ:aYnye~L 8ᖕo-;NM?YkTIK> 7k!aLUE q:c ЂO+mɊīs0k- EIp~-+x,M7iE3r ~!fgld{%2qA tq6%PDbt ^M_OdVMxҌ0eOuוV*{ߚV566 ,&Dix7 ,#Q]4rDkxdG!]waϼTŁTyìM$ɠOh 7?jQ9Jui}Ӛ ú OؠUŹHT"͕>dftup ALg<+ f&CxSɎ>#OԘ/ޜ<.3ڴF&E`+t|hǵLDfdM943=N艒`K|)r(s[7IzxE?>ܮ#:rtiе;_E䅪ilTsؤBE@>mM4*ݾHH զ?FLB Y:8[ۿM|0!hU>՚FΓDqM1[W@pf ynˆ/ f |J~X?$ 䇡=4wvtx~}Qܫ,!ʝyP'PuNg Adc!uw"7}| YvRƌ4;SJeaӻxBlFt4E"WЇZZԱ;#) GFa598ԣMȿfV)Rt;QoH`+)jcgN®=F0ؙY?_?ߢpP qax{N2+,M$%L^Dkۇ1.h2:"v7Ǣ>Y2 j*SBˇNZ.0fy/dА=vB L脃kOaY2KUF<@İQeçゝ̯zk$'T@ܩ(22&#SB/*6i(-8t!T6dۚwﱐNBmZ;~_br(]&[#>ivٿZeI&sT.TxP/ժC{ȿ.*v 4OMT nDyaپ@`6 VWЧO [`>-yiCh?nXb [ayН6M%HcrgB0w:=8ڹ]iE$J B)lH el!że{."Uo=/U"}i ؖ^}a a0SRgarpwH eHsEŭ?n9in57fN3m}BUbg .o&p@}7ҾQ3rn*Y#lPT5 (7^ CڻXB+KGg1@U._ԬٓhHNK>/{NEڶ^3$oK~*w=MDYow7C(kM`V. ߢM]8Ƅ|so }UolmY^O&~3]f3w'clK_Bgg4i$1}i+>H4n:F@=Zvt0`+L4?uXZZlŽפ:E61qLqSÞ{մD`4ےkQRE; O!kng@{Zf:eQ8~L#' D&X>4_Kk뽕yƨ4`q< =ƍq4H+qn;Yl,MhJhd W&[C娫/q ;& ЭaLI+0V فBSQa.kvs$f+;-JTt 2Jx )׷:hVyR1]V#q.DY,#MhfL^ =hK**# +"߻2U+6Y6@;˯SX4$"Y슩ؒcuɞ.rڣȚ@AEb9 a[Gy7+nnrpexɀ?0Wb(ywIEbZB{Z'Eh)XD`lX:7g?c@(HAd=o> l:J]sRNX =QjUܲ]3Zi"3rQ/p{fQPa:c]xQ2?ɳc/l\@ph^G`M̥AAY4lBY YAxwnK.?Q 4X4ia&$,]&m]!N}_#w_#NfIX/AQl5 FL=!a}O&͊?n/`Z]zٞ\6!m"Z7QGDȏjogTD:/N \$ Jk"U1&20fdQę=,G0G $zW{qEh8s(&Xx}IS<"E:o>u)/ب^bXH I9+,[Ap(X]f e@D/.J1Ք[%|-+;|uHB7g{2YQkB|~h#J̉~չIm"n|]Oify{73FLQeD !u)6Gʦ5UyDnx̥KE~BjFSe6fL  a x}M-*Nijews`3&כ{gLd9^Qw郆 >J3ތck&NC@RFY9H"Ol@$MY4I۴ש=θ8JսDA;?*" ,75|ctK䂜#>= .x: ;]?6(|o'& #]wbqƴhU"4W^21~`+"ʜB4p$]-6o=`t4tlFSh5Zgm6 Q@z=lm 2 JHtp̦o@= mytt~pU,UE#py@jMڜSCZIu_+m\0<lgPNW;)NT U.JQ ŔD Q" Lj!BD[3yUvGQ[͕5I\Y\KӼlW$i" !ҒE+{ʩqk_ ^/&x!߆Kxf7%sy,ah'qH%%fF[I!B ١ ƮDbR ox,.^KDچBzb^C)r;\z- ȽMx>mkp'j'5a΅#mA@Jbr %Ix 9Z&]Y Q}J3Hi0]Uqh]ȼۇ"$na]4UҟǼ@d<Ű.]/f)Q۷@حw59W6YhN+O&M^ra!O$"!FS"G(.Z)mlI^3E~Ue7E gRr 2rC4X[ޚ) Ԩ# l(ow%Ր7vL#7Y2Q#֑&1dHv $h0M5IG#x()Ugi֦OFc[]ƨJЂ=CDa6s '^>W}`WS3h-",lR4ce⾭%!lat;ǿTzXQt#-"%s&L.֨*,RRK_<xQ7MsߕQe8N杪\Ջ>β~f6n,q0]. yTMx]6v {:ʲvU)KTqr4;H?L]0 l-z 3|%A\c *ƩRFkuL 194P|{VsnUDZdw~%Gk8>fG7VJ_/ &͚z[YDEsx|<[全慱ṉ˅'6lw:¤J@# Jħ7$psJ8AQ75zⱂ"Fv>]{?;|kZի7)#^I!` =X5 oj}yB3Tؾ9C8Co;gK ՋHuQɒvIAu`i^~.W&nM#+ KO9F c)tOS--2pDjѺ+Z:OK1ϷϹ_-z&HG2|;ٵC89S&&?{7`{:(,yx?O>4glZo#N*uu$>SJ:aN"W[r!Z,1vy8`jYĉ|d튍4L#ۧgvW#K*tR?iܫғ%Y,Yꙡ괨W590f`Ђd]S Նʆp"ABǼ}I,WQT*[PlAtVe]>@ ˻Z6w#9dzdKBkސƗ6k'P$LqP E_zkZBT̛6m;u3VI&$1]j vx 'g^#%WI4x;8 uH jQJ[ 9ort1, Xhy^Qa^ hrXiZE2y´ݐ a9UK~UPcz4[(/KaNcս2&m(8H_Ř5mJktH4ko:'mqW 򙻜{U.iO5(-=@}gg j΢ t  1U Wcv=yG?]f?+rxxji=A+!L-ڳ%JBZC#~I.pYCKb 8,]1nx{8 N =@.&G#,m]!ZrDμk$QddeA^00 #$lw骝7U uk3),17AK`M[ yke9S Y>?N4fRv^Q ]Xvӛg[K͋];TVR+:$FsO 4-(O2`ꝤϖDԐF|9E^+mk╭UpK#gp(bLգ_7"@ü@Q6#՘L{Y!sCXl~hO3yv:/S%AR:hR37_`R!Ј % }=xtvӜTU*D?Dƍ+lbÒ]}#yk:&E<pIM"f9$kMRNSEhJ8eWIwxAMxH`U(%1LJV$k<1p/!D ~YLɍ`:5]m#BN$kQ[1Ov|ey!47hQDJ/yuj溡n#< " Qt y/E0ԃd9Qd`̩KtJ@xV.^T)9755֓qYкmwo#!޷ ~8oNn dR^ pJ^, 5K7Jښ\##PfOh@BzQta?ϣ棻{imݓMS<J_d;> qɷD,oD;˞ eV1*_׶S#r٤eん{,^d]_Ugj{T bmnz0ܺn_ ֮*k4ۡvPVܥ }=/gWPAt\r!CJK.&/(jLFX.,I$/#Ye"V!P (1)Š~oҺ""s[Al.ɭ\刺2zBjy^c>'W-Ī/쪽_"epJ*; >!e>IifP0qtIHᩪ uU`9Z5^ 7ݩF{#1cS XREqYEk,= mϲf%+`"p"'yK|<Ȭ +-P^zfrEbx9VWNncd8FK8ot(oNqŅ`cewI\ݑ)`p=aA[yuرHTBD!>)-FnjajY뇬ҫ e:I'êS_$+ 猉N5q)Zqqj(,beqZjCZV0@ TR} *5Ux4N}c /E$= *Ihv 2 Lc&(ڎ,՝ w!.-U ez;>v:ҦvJ*K_5$3)s6Tvsf~gG_){inXS_ئ`iş"TZ[RSCFof]<+vt!bFi|l q;:ڊ[t`YO}.շIdᙫ$wN\fi;R|B׺akFFpT2 T XZ UHW< }!_iA<&8\FӜ%jJ y z& Z%aSlː1߃&BWuB%I1QIFu2¡H]YF{v,D[i,tBm)h}}&P#8B B P1V TO:u^BUDKJc52԰0))j)يfc`sHE{bo^ ~5QJXձѲ?*[*)I1o bfW-XCx$j0Z4 瘩ZH:@i7D:DR#vrKz+?B5I=6pI+eHi{Q|3na?̜ *v}\ ho¤ tWVN1l x,?Rˬ&h\v$QڭRșLka|, יzz;sEgxb+-|4ސ; &L,C} l~,R'CZ"-g@/dbrr~|qqwa>(.֗vYxS0ܭP_3"5P-0Gn YlGct2r=܄%\"ǬD&0τ{)/mED}w/BAc;9NQ{}q>w_)zxaޱgYZ j/?% dFeatherweightJavaFeatherweightJava.FJSounddocument.tex7zXZִF! .;]A-MՋhvG"uIBm5[|pjiHAp> =u'x(_%\#y74}9NvwMJL;uNP2 ѹWݢd tYJBML7$""D57xŠ[DX(m%-)]hI_*! 6-hX{e8syzՉP; ڭ;yl۟A ̺NzSo9KJqkX#Ho蛹RHo~C%&^O8| X_ϜR5J/Էd-8,=!s.#{'2G@]1sD}.)Dmr5fe]>FJX^^^ !'Gp׾q}-de[םhDDUHkoe[yfm>,½,-G3:^+E̊j"6'ծITAi'tTɵm'z4n7]_$mT[L$CLs7Ԡy(OsR3@ rd N7:ͦzkx\Zv2.)ԕtWHvɄCFucUu~:̗ ?SWJk@@T)'fPcZ[荳ԭ0ZTk>yaŏfY@-3U.u:Wl.N95;p 5Ɨts%69,2-Ex ~ kNg-xZC)?eNYry^ ~+~{b/Bajg~`cz3YP .C,*U-f)褦bt١4M 0KB K 6/ho}*9"x˹ x`a6n/% s"LeY7&f6+ꏕSsOTU܄ Rq9e1}"v5'S(&tH2/-_)T c6}ЩN=B#3j:u eaDM޴!%'}|Hol H3 r9Y]ZPf6xQ+mx29p2Ȼ.h |뫍o>gHJ&#U2rqIڞvwל6)[gcW21ʜF\i{fPybLI_6 c.-d6O hHxL|E =glji)_SAcW)6\XؕM.:d6+:RZh-b\BJd(Wb'Owpu&EdӸbC|39;Ul-NF|hpƢ֖Dиwn'Ȱ(cg{h(SiX ;cj`P^P̍\o`{)XBrnhz:@b.ލ]"a@+|t-h͎>!LBi@t=kS9]_%G5j ~ΑM UX8s kwQ}ec7~*/cm:dt%R:Cʘ]P+cX>fDR7XOľٝQ0 j/xa&?~F[nxqp7s|yG'#p6PU@am34 ;b AB1 %,狿*|?,/Q*ĦDR]omUA %OȨTkyho"$,y{[`w[B,(:*U!o`h;YaD#dC?l/tڳ)| /"EpAmvg {!RHP@ 0J=.Cǚ뼭qQN_lJƵjfiQS;C\fpQ"Bwbmf,ev9@`s"qc! տ}%F+8f(Xh,`>(;qVrʽA, =Ijrue/'ŻK`"~X2]l?TAU>z*TrPyc,Ǟ7MO_f;cH;PiyR of0WtC,QnΔѭz4@xO;G7AQiZ4,| Cۊ0"-)^ zA yWͰroD߇gAo'Y'F3KP'*zٝ'@C~laRо-Ai($vp? Hbh'`a"'׎8 YfR %Pi%@Zȩ< o].|V"jd}l=FnX#LzVL+\ q{o,Ѿwd!ŻKrOVa]_5H{ky#t$x<0 6M:qP/OTUrB^/. Ny"U +`ӱp(u1o1@GtuG6< f*A K 09hĞ:ѳ1Su;;h3ֽ' lM48d) "t wyI‰T_!buxHtɷvX4