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 C/ D4| ]/ FeatherweightJava:threads=2elapsed=11.458cpu=21.072gc=0.752factor=1.847zXZִF! _]ŗXf1-/6vRZ9@{q$Szyj߫iII_ EVsPsxM5!S&Zj۾A ־˩Rkx [;=t 'm oh$BӞ,{-\!܃Ѡ؇n!obR# ?t0iP$+X8UtFQB(vK;F2$? t90E_yR>cL&KI#yQAJ2T.xJk ^: zd/lLio/ W`Z=m{fIdǩ,_}Q08WӖLOέnV;5kN.*NWk,@uO#Qkid?o3x85"Gڔ3u'P~v4^Ȧ5m\cx<M8uW7Dht}@0ܽROq?tWS0iyXX V5@!xzI/JTɔR<fxzR6uO  $ [cY,ЖC/pY5a܏gmXT3 }ed׹dŕxzڡLkc3AP*,E/1\83"P/ɰÿϻ^DPs4O۾_1OzW?$nUDr!U-Kj|szwi*hˎyD (yrwÑO!It5D)pȤsr3qM&`l%v60EuSZ F%,>{+P=zRmY99XH_8qK k:p#L~ڎH_p0fmw8\jxC(g,Pʘ֥+2.&Ԯ+Ϙ: DzfzPww| &lڒ/Meb6X;?Uhjb@ {zOjcޗ=ue1}ל|67vR6]Q.fW tIGQ'%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_]A-MՋhvG"uIBm5[y [#yW}yA}~Ԝچ:<}wo=7+;y9$x~ի;?JBuTs^&>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߳xNHPGP}䠎}q `(4@Oh[Xbb_ KwN=Xk@UWjR5 W+`pxN <[Q-8fwIrfQbʪ.|3e/.XH[ Ie~Ǖ7. (sVMm ۪ U VrHKQ\L %&BBGEsnxJ@9K[BS꺻`\'PvNu?膇yI Z3kXU=[/P&NO:D2/28 W6T՛#7I]MWjL*ez’Be#Rg D]e<%7\mi4;7,Щd J/!]׋H;N&huj 7 ͎7ny߸`s-x$?ⴞY#UD14ceH]07 ,bCMYǕq, uƀkDD7o73{cX3,YD(*?7PqG5o&Ol&T+J"Oש~~+]0J5Ƿp^^>QEZI.yYF*y|N?Pd a1 3BenbtE_MgZ7{J)N8=kZ}t`F4^eܲ xt_-q*b=NV8YkQ i'+N b;|w+AI}HU{cȲtFѐ8Dvqg.#Ņ|%ז^2 w cL7ם!w fA|H$ 7C"h\[N`   M</?%FeatherweightJavaFeatherweightJava.FJSounddocument.texG/U%FeatherweightJavaFeatherweightJava.Featherweight_Javadocument.tex</?%FeatherweightJavaFeatherweightJava.Executedocument.tex:/;%FeatherweightJavaFeatherweightJava.FJAuxdocument.tex:/=% FeatherweightJavaFeatherweightJava.FJDefsdocument.texBDU\JYp% 6Bk>]Vs@Qmtk9mVuP;Hyc- =$aL UY1=yĦ?:WE"aCFpgA),bX.9>Kk#P{SK&B.zGGtɅC}Bڸzԃ: $=M(=HW\ʈwgpn嬅fۦy%OF2t, -;Hb[]nܔct^GpBީ"Q2[2t˒R\Ib ?ӑ: b:2׳/1^bJxzFu,XڕvmyUdYƉįbAY(삠e B9)i3=)v&ɐ)'O](h[bp$HǨ]7q7Bҏ~[<jeaJ讂7QC*7 FT[ΠxE4Wv$5<opf0>}tkɠ'7Erh0Ri)dEkZГ |rzŶ-۟w4x댄EX eհc,JѹG9g 6^徢5%Kw+\@ ur1LfQYkDZy 0 >6zHڶurNS t|yO˸ &2b ivyͩ2;2KI_xؕ8m&,Ǫdp(*V,qQm!ą ܂2_pWkgN` Ue1N[a] `']'FbPX/6H(T$M_]ɓ{_p|*`ޤ!Υ1pfm s $=%GwK5|ڃ| ,M"?Nە1H;";U[_vU1}/(eDc=7%G@nY" D1Gz.@֬x:MS$7-} ]K jK/좡 XA];G=3ϩubD-#6NAo [AW9>w"~3m5},s,1BWC{ARdGI,yJ;gBK-ɣ  ,omz9l<1NCcͱ1^L3b Wsô/WkO=牤ܼ[mh Nz^vy+`y*oS{qe>vD}VDŽR:y8W#N +Gd& (=*`skhM#.ncpTm`q6y_r&tfǥgp6Iū):2`EQ029ϓέ׫x՚`Mba2K@5Q㾩INZ;0mKseX^:(bnQZ`TU^% +N]sBH)*^V#ZB-[TS)h$vQM { 9l^]Hc 7A94+Ǘ*K[ҨڈwE aFHƧfmi>7kbLGM-Zu B8ؾp&nFiJ@7oQWO*f6Օg~8֏]?_hR[-$,aN(/rPlakU{?J3L'ʄsWlӒOSD&lx< ]-9<:s}ZpɍoDS6&fwg߀Flu(u@ 94ljs ,YnbXQ9cRzH"2,W^LK݊>vۑ`_q(vmuc דg}>Ώ`hk2>9e)|a"# NA؆#34BL=h(6tʸ<<^C,0Rɤax;Mv@cVX͌ b ԧ*:b7Z%&r9lLCfЅ=K^W\֯BNNN򓰈[28?4~#sR2(b{,]~׬u qoϺ;9v.:59=𙧟 {,$fjTPa>%LdlKtzxv54nX`ywDT%#6Ƶ ))cw0}%h(aZ#AE5?$QkL|~lg: #YЎ}aXJhvШK iuYkBb/6qo޶')ڀ~Eq0e ljk,7hK.EUV*KV*db1Wϝq3ԑLyu//j|ÉnTP#)i/k_O{Yd9;Nvt'p%(8foג֜@> voRpS2p#'5ϥ;⨻p bAhDڈ:bձgYZOAݴ@',ʾP_|S@Mܥ9x<' ]7QbNju r}diec܁{X n6"Y÷]}'`/И7&<2زS*Zt:ЛuW'P+ <xůlsyA蟴}bS5Uk)pZo^ok 6SSE;~tg 1SdI,}c0럽}}|A&Nk.IST#:Cw̓˃Q.r@XSҶ_uLD$0v6VW--Ȅe[F)r2z$ňYC,I&scaPY>W04Lb\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̺ m<ၢw G_ôzmc᯦PiQZ[nkI %qmݷܐ4U.~8X_#\lb+zVPogz+NfM6pE`'Zw},ǡN ģi>.8;@pK!3~8Aڠ-[Tn\vIT=Ez#U%E7 qW{WM~G eu4Aou!ZFI~rICVWJdZBs2z.[&i1U} P7y=5 @-|epM(}DJ~8߅8 c&.ꩉHʌӍ<+R+GCW@5Lq3QBv3&ߟv:ԷE. i}CmyaRjp#ޝyoSh#!w$ 1pER^K|F~r*VNʚKY%9FnQqR p†G{5 Vؓ%0qFOrɛDdD`*GԪ"S`ra:2ʚ>|QjY +Xڟj%}lU3 (#:9[:dG^b<xܪyrC&Pw&-̓x =W}DeD=6ꄓK_8!fKZHsrN6ϗ]5uY9{a~]0T01:^AY ZE~d D/Ew5`.,z:4 ƃL0T!+4[;Գ$e!h<> $<"w\Pn&$`Ηnc|&?D#gʫlas>{ d};˭a5 R>5µ`Ùl42)\h[ml{rG p?J7H8A䦃WfV*oN/%Z(xT_gPuVTbyքņdϕ9C\okZIvhJa3j 9lr{3Wn|97:>GPdZ)hջ $jt"mAecLKSlJ$*z_rk dtdaKx Mail&L6śoH }o_k4?6[zأj4_ϸ 3@ß0hf{hDx\YuR 3UXYIZP]-C|{m@׍џxSӕ[:-)yoW]7Y-L2.n},`3V  >u6 ^$猟x"k4aM>~} w6+f*sH{CgdOf3(?KDX(ꨳ( (HJJ,# "|!?2%sF+!`3 CsvE@U~ÖB6Op]+jsVm:،dk>]ع#o]b2T?ŠqAڹfgYZ I9I/;% LFeatherweightJavaFeatherweightJava.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_]A-MՋhvG"uIBm5[y [#yW}yA}~Ԝچ:<}wo=7+;y9$x~ի;?JBuTs^&>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߳xNHPGP}䠎}q `(4@Oh[Xbb_ KwN=Xk@UWjR5 W+`pxN <[Q-8fwIrfQbʪ.|3e/.XH[ Ie~Ǖ7. (sVMm ۪ U VrHKQ\L %&BBGEsnxJ@9K[BS꺻`\'PvNu?膇yI Z3kXU=[/P&NO:D2/28 W6T՛#7I]MWjL*ez’Be#Rg D]e<%7\mi4;7,Щd J/!]׋H;N&huj 7 ͎7ny߸`s-x$?ⴞY#UD14ceH]07 ,bCMYǕq, uƀkDD7o73{cX3,YD(*?7PqG5o&Ol&T+J"Oש~~+]0J5Ƿp^^>QEZI.yYF*y|N?Pd a1 3BenbtE_MgZ7{J)N8=kZ}t`F4^eܲ xt_-q*b=NV8YkQ i'+N b;|w+AI}HU{cȲtFѐ8Dvqg.#Ņ|%ז^2 w cL7ם!w fA|H$ 7C"h\[N` iqP6 %%/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 )׷:h VyR1]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!s D>ē_@y\+<ΖCVW-|qԖiB"'eA)]tZ{ۋ:T0ŧ%oS >'X+B@i;,ȟEaҨ!G Uub{C`p&dް'SYXY^} [?mf1s4^zߥpR61/ېm*#U{hIJM>Eu<.AS CͰV,^F:qAٽ)F,sdȾx;o19`ŝW?8ӏ.^ӱ >ҪKLW%H軲Vp>jP-"#iӒÈ[;bΨk"&t&1 Z~`ԫqAH?Îl|)Y3'0h>Oqn=9 ^d+wg++?ڗ&3 kioj9Y(KATw)pE(XUгY4T$фTd{9mY*BbGfk+v0ծy@>e]A~ sdcbnb*2/}ViuRY +BtYhW,\9,y^I nnf[+'8TKs°iW*l@yul4C@`mDT//g 'LW K*ǰk@[%QjzY4^D6j{@5ӌK? <A_n?:5BaHuӃznEuvPD T&V`˜8CZ'yƭjOG' ӥ$ᜂ[hq*g\szE~pMVBf _ַ៊2q%23Ga}`L;E>6<+DXߧ? e-$А~qv<3(O AQi.CY[p1F+ېL ҆v3 9mp6-F $&5=fM)jFM$q`V=_xDq,7$ wR70\/w?bx_1t-P='w=./ǤO2{ҋ'!kXȫ*p$f˓-aEz؊ b 1rm!=r6<ǐ.V+ }ΗkqaYpڞO9/5ND?Am9Im7ʋWN؉D _wi 3TP`~iXdpF:Yab~X]o9bH OQ!q==gيNϰ,)8S!b\$b {rܫ菔OYea2En"s{?`j>F"qIѹTwR~s|wU+bZh|D7oF簼6_NxPoe$ #= 9~x>\ȱkGQ_zYfkeh< >ue'eܗ _Ͻ4F'tgG QC"6ՒrX_5xp|j쭌bR `*{Nw&JPb7)XFk _2ݓ*پ$+FP#ҭkI-zh|ִUq1x{ IBKTSczwE9f#hGh&ྪr3BFΎy< L}4ꄕ K&S1q^nsCh>ԋyW'(QMNt} M6A~Hi@*5 iɔ[ dC F.^+*~do_&`\FtfPXs޳6~XKŢe*~"w65L~Dzk~rLX^,&/>m' ܩ\X}}V1mw* }$>zQI؀7CHSVeKן.0=;V_'śrpw]Estb^s'ğ|BAޡ[K.T,-P`g?)Q4 j4 !wl*PNynd5!δpR~8fyB&ʰZc/-kfŷ_!kԥM NHH=Fۂjel,8kLL;q*OKcSw>vMɱO LYzń) JnO߭c3& |vXo)e̞ko:cv :ĞBƲ+cڤ ȶ}pewѧX;YfoP)'(+vi0 ;|n[DGz.eY:$ᩅ"]7ɡt9CeIO>YfpG<>3s9bR1}Cꁟʴ<񇹏|4oڇK): h8DgjG|^'Ɣ(C$KuV$3h57¿)U! YU?[ E(dԎ̙9»h b@3Ħ3 6-?+Ĉ|,un+bLk/!A#9n c/i5ivQ߅"hTș\3BL]1hǩg$jp!XD y=8LfRv&Qx3UUR;-GKt H2􏞮<miB{\2qٵ :"[?ҵ@+wf'$aEQ Y!B 0:-H(h]U>A1Q;r;&}0R2tP.|;x=S&~`qqcC,"0a'S#1w!^|ۏ ^1c,E# z$}KN<(@RCX~/Dsh?AțJ+W.}]wErP%ݙL n vLԻH^`:)ψOAsh\ڣ=~2YL~,0*2ѓ/ČrG$Sb)T鍼{-8"@E-mnU2>l4IN`f:kg EOhj e\t+7馞EXL'DeZ# }9`tXe9K.Ks(WX1dG1, W'gܽ.b Ds1XfqiM](E~M0h [FGzln<5^^o1A{(&+tz3\ g OO^t+]< NVY,2A` `>2L{{\8(uGôl\MK=F@jނh J&5UviΗ{M1BI$n~w3UwEY%Hą8[rﱨ-{@J bc/h`a 4C5%:c:P coW_ Iwl~b*8*oind1_^'$vw r\t>!ng"1 MW`:4у7QZ蝒-^ߎ TC{aԼHKe=Q*7*yjH0lF-H1xLKI 3g,G#@F&[Oǎy\\ ;@AB7yŤulA6Z D.&|ߵLVnz:AT؏ vsP21MEHQ8L--tZ\f.$udB-U4^D]bR {KwR,k I$2V/f4`~q=yq+K恵p.EL}vVE?1ni 7"/@GrY }_́((@~Cv̧ 9]??V(~kx2ಘHz?|ךJ!-NTRC7"{6D+IV%Ϝ玙P>s}a/QkyE3iS*:"汪 l?:fڝ{)!Ir[{U":ټcR6'3Uw@N #;|CeY`9gy3@kj9lNjgph]I Tq 2˩'/1po p ݹPzOkT/[M'2 -fY{F1[>RY lER {<[CTW*v*6qݔEK'\*{Y* 6L;uy:T>OP21(In`4'2bj''vxXoշvJlKS;\+j7g:Bп>vASn4T yG0-2Ľ#FvF1?ᑆ~OO3 e}^it&a/6o% )ͅBH[‚s }S R|&%YE: .D^YѦdsWEpS+*owDr"[G6֙8jOV\p!NU &,#{2ZixKW2\$[&7s qs*LzLv9xt8m,ssN7Hv/#!0S7xQNd~@pΕ0]_dW\~|`>nwPV!^g?Sq#ެ_rm20'z%b03(yS*W5CqE`'dWbL3*0g@"go# #cVKơySJ|If6?AkU-Sכ9KOwVty~xuwvgYZ ssz/?% FeatherweightJavaFeatherweightJava.FJSounddocument.tex7zXZִF! n;]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ɷvX4sM