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  + t ] LightweightJava:threads=2elapsed=51.366cpu=77.848gc=3.184factor=1.527zXZִF! G]ŗXf1-/6vRZlpH8;_SuƖ`BE~IYIc 7ˍw^auZ)q"˷o7ъϯ2M)7PYuF \Ils^ RzjTu[}^q/p_~?y,)Qo* nD/+ˑ3Q w)cH =L{iUY'.^y=sBjAqUryrĚS h27 43)5uF/*i\{t }#ZapB*WFwl>)cqi ofttm ,á8P[`KR4{r, ɐυ! + LightweightJava*+c% DLightweightJavaLightweightJava.Lightweight_Java_Definitiondocument.tex7zXZִF! P!]A-MՋhvG"uIBm5#<@rǴ`i!zQ;}y\ a(;qt]Ap>jL^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 k+e% DLightweightJavaLightweightJava.Lightweight_Java_Equivalencedocument.tex7zXZִF! qG6Z]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.ҭߘ `\_wtJЀuL^7ߕpn| Sd%b\Z2`ϑ M^`۰z38vXsz ?/8  p%"WNA /WwR̭DrϦVP-V|^H!3_ ]#5m9yκH:ӸFXkЈ!E`Ϭ9~2.W^'e7uZ9C[HZ~nNMTѷ]Wɀ2>s56%^fxY?pyLKgf%/i̒^0`J]BxȈs (L;z,b]{JgE1*06nIШfTaR\Hn(N62wWR6Ch^u', I8 9bS(4?N7AQRl{0Sn1֠cE*s ˔3t2*Y h~ r4 Wb@Nn]U&.$Քɐil}w%m兘+˦Ud7:=J>9)eMtQ8\YC Rsds]ɣL4ɷ><ݧ$IkWnmZƼOw&Bƫ+4P<ٕ⭽-I`I(ʭN_I,>[\ #?=TBw0QDw -բYYp]?R|^^VncBq f1 Q{WpWfsmO({:,*Q@2yoUE{D 8xk fG+Y%LightweightJavaLightweightJava.Lightweight_Java_Proofdocument.texL+c%LightweightJavaLightweightJava.Lightweight_Java_Definitiondocument.texL+e% LightweightJavaLightweightJava.Lightweight_Java_Equivalencedocument.tex 7iEթ;ɱ7oLBA%/ʎ` ?⚼6a Gi}@>i$\D 4f"s1~NCVe N >3,Ûe~vo1& ,6`GOM>ޡA %K7~S2rnT\ԩq}xtM۾u+ʍHKܛб!MXv?E2ᄦudv]֡Ɋn#}-@ce5vIb.Pf~K֐i)vHWe,## [IȩSTatgiMM0Ts:yP0OۡmwX[1DH:(pNq(l$,SE#Pq@b4颚[\aXdayӳ~c";쨹= UsZ MLb{/܄vߩNN;#g;GQ; &W* Tv)7R?9pYȬn<H4R/b~hfpd}rc`,/(`J(?p >nBy%4FrPb\2 /Anv#DY™nH6SR 7Qg"|j8J;z=|9RRv6oݍ gl~IېTj8fL4(/UN-ۇyI\Lw~u.ҪE(a<8k\%2 ~ $X^{Q}>_=в#T7 D @X UG(D9i# !}~փZ薁ý`xQTnB.q~76yЋ1$ܒ-D=)>N9a2b7kMQ;xԎ3x@<GA#r|į,Hb5;Z>3Ixa;GEu< 缕# nuJvc i.gfN rY4)틄 6\C` uy+J<\fZ=j.a)Wgz xǼِS8߃#FXVv+~m=c1DkEÉ|%v_ YJ8Z$]hنT/PSY+jFKa4tTelosun aBTD?=(W+ѫWsϑ1 @opǗMiVE'~C&dv+q :(_Iw ݥLidB:0R<+uMqVvxT ԙp40cAR\sSxt/,y}/޴U74a?߱˘Aa';|Df\&1R8zxg$xȕƑȷlhs Ň4ji;ua!_8XՋFU)gcrlz~X<}A:+;t6Jуܭ;xlkO+"Ma[ii5Nb*N?nI[U& wmqP; 6 `ZNK n"&@b7D%0׿-M'=Yr%Y=KX+`P$J)ɠWt 'ph$dzߛe۠g1WY?M~EHD=0 )mq#'Cn+4dk6e _e> rݚRS55KS^Gcd۠>2.hƄSTxjbяjsjsLFd$ <_ //\?e/UdtD`Fwsx[ kJT@3p}|Z?G?J:uGP424wM P-GaZ ?W-m"A]w2Y\ `<ƺ,#slazD䋕 t?i^#y>%ʷuZ5<x0 9/X8a&tH8"Al@A.A,Gy=i9z}33^+N̡L5{1c#1`p3-o>|7C 7(9dQGkƟ΋鳥T> vImT29e[V3%T=_{M$ĩg QȽjE$8yxŗ"=t>{ Q?399#l#+eeS6@r@IlE׮r]R;iRu-ꎢ.Y"?YUT|%BlТ 7T:ro ոǹdxv1 TKBȣ"Q4A[@b2b $C8]rUx H v7xbĘɗ|H۳$9-^+h|jϘDS%΍w[duj-(7Ri2g;(Z'Ngߕ@IR`BHDzE9D O>ϤP0/?"P6%wPlt%CfY^(}H)͋h;ʋ?45%Ͳ QJc\kG [ӷ0^DoCÙ?C;|IDP/a\ZEO^sL & c7lF ^͵`2Ɇ滜[}iֿއZYC@v5W eZd(5LlN"~[H47hDU{XÊtF+i-"_HuVRaJp !㜦Hs/P@Nɋx7Z|GI½iɃE91:l3;va" 2S6\~RVS&iż_r!vl TTOcM̼^HDSlGbxBvFwmžmsx 'sq>on^Y> .Ӵ0WRQyt|cݴE. d22T`-S.,`-ҝ~sd*(Rl세)z37غ=B$1G ;X *ۛ$ׅ҆RBWXD6'S&y *3-dL^hRDJ2٬(~sIYeJOzme,6s44wVvNF.h UQn@;$ ˱ȫ C glDwҽ9KI>~:p< Snj=yOԁZԚxZY?׌F0b7+ V8I% >:;bxΗh62.ʊ =42T}xK-{w? cFs,, Œ&I&rfv"$~. n\LkZYcJ:lE.s! nRvFӼ8]<,$̓YXևrbؘ9GhTa;ųg1RMlt yDR~ψ8}_| )}!7&*WfQ\vIGQrc `@砓mф5 \Ò $ۄIGf\_έ /n?FTmynw6Ǜyܭ X80_Eg $jUP*ؗ0d&1!u)vs22f-9" ";rhy@٤,Tv2+,E5Vm@>R#D}-zuYm[gY*U8)E*&3ql$cस@C$r) AX#;tcLa!k1EpG)߳L:οE3h ]EO3Rc,R4c0͐Bxޏ(ZCO0RƟH;FG^4-¾ g^r֒rfl(jјQ;_ȲD][Zx5ؙN̞aQ_ZIS熝W}@*L7WK&= Z r3 }UE2&N|9HM̬PVI{!?Tč0ks{{閕Y=ڝi>}R}|X9L4 BIʌh7=ݔV+{smRM4/$˚Pg} XCe mH!eJy*G~Cq #x@܉A嚩hA}">φRLt%>.=9zp:Ւ犡>keIK9@Y+l1B ͉O\GaBiN`Ğ3!,^WgN|Iy4HI)xzڋ#>XR;$#(yG{iw4,giQv?"<{#vrF 5P0ԺI&?,# `Nfy$ .&?a.pIwL=Su " M=>+ \Jw|`I(AbM Gv@G5Rp3ת9M>`5p/v2l~X2E@,*-Pvxm0G@&§!08s%.@gUeƙM 6#2m#!N ]ЊLjF(T ?T\Sr2KJe1CGK 3T6*oG -4oM\л2hngWFPW^=HJ@]| CZ̔N1/DO ?ѷʴ<0YǨS` ׽\{!Z Cfw n=ӮwP2{X-'x < j=DH<yѦ {N7+2|Vhb&%3~|DĄ8R`,ve݂KTAQ\H8-:h4=7Yi!θEr͗Z]ζjOUl^Rs[]lMYaa{;GgfMS1)YCMպ, 8ۑc|O2I= -Z=j퓘x)EeLIrǥ[Q6l/ fa0iNvS q@YGi1iB;:_ςN\.ŤY޷mNȉ]㭊 |ޔ ޼F'{@Y~D${Uz "R{BXc. Ptqށ |{Uru> D#m'1 j=ˮtr՞rKn`agePp[>Dd+XHYM{J3,m E|צ}SHC >(cyiN)ʹ/,غYdĞ&WjWPCXXM:ը9S<tH%L&@Dmi43BiU*}$U:cԏHs>_c0,f"#Jr9Y/%KclMaU`mY\v ‚ EXf ?O=yK z`=zR"C2IUϋU^MVZSCkBPAgpӔKq;βS=>Bs*;a#?ĥ)N|hἽZq7H):n0bo8ks4ΉXKm*^P \2 󊓅??^kCgiLfY- q~6Cj=fbavd3?*,d6#"eU~"BYĂ2.˴r~ثA1^] 飐1}C rˉGhq1]MC5l`ԋe< ^Eo )cm]9-F㕣_rxqKC &ˬL.5j,GO"='ߵ/ :KX?NzcT.oz@ڨyP\ [a =֊Zx7ªv7U1q>2>eAbn"ITV[A$Ik63@=IV) ]$˥D}IETȸJN!xщ9N*r~\eW#>cځ O.UeúQH=ødS 0P2z;қh|c+"|PFaXjzH솵  gn ˣEIJapOS2JE=ePa<&yPSΪ7&"fNU1#WNc oQ7: |y^?%򻏫 |Gԏ\hsry[Ee2uUyxyC;rte'VEaM ƃ&)4{)60>]q634"hi0 [kx $I;+حJK@u{3(w^s3(=z="3%@$d /z= \m蛫(}u%y(^\;>ې2WWfNe\oWfS Kdx|<1l=s螀=P2,Ps9|wte!Ģ]wZM0Df2uIc*-̍ͅ4,Z/f" Rl{ d`<{/_!S%l Ȅ-l-&`\Ӗ%q K?m3} ""(hjay/LV}7L:ctLw bE hQV֞Cv+hg/rU4a9Wd_ !n8pjDa6QmA5_BW DOOqQX@,UZoQbYKbHW2-/ E8N?O^s`BՑEB =Qq^8?7(ǧTD&B*m<?.Apcn49O6$<_=XZvS@5ϱ vM ) jb;khfhpGxx+#*^|:9 r%KH ZWDo+V;E^֨ZT7[߮m"!ﳪݦe#ţ7ぞс̂Qଋ4p-dG|Q9 RL ^:(yO䁜;_XyhfiC_yJ yo7ӼJ%_v%RH1S/$]MRKg\}>Wg6}dKе/|A~:L8^_}vTJj;T5E_(2 z4j$cF.B+Ϝs(4x24䡧f@Qo@2YV&Ȭ ϥT ts ~-/6c-&IR-GFiBAV;biyBQ#IKNUK$< B: " 7T=j>UUsEVդw}=RTFq }Ib,ZiڗQGsCAU$c% p ێ{'^hIvya"hvHL<R,qM6qR0xo <@[\ FBHDX#6=CنK!OP l mgYZ kFy;/*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-}5x &OE("PbH]a[8 5:gczz֦rEqoT8]=Z| )Ib\w"-)XۣE64cs {9,R=<2j'̇mp¡#1UFm {u|u9MeܾMģ<ܒvS:{xTrf_ap&[jȯ*>Q?c fI. RL :ur1:~݈S(8>JCiqn;j7ߋJ;< uVG)2u0ЀY Tb$s +X#ώMh֙6`sBtoc z٪>GY N5>ľgB8CePPB>-D)^b. ~YdBX&[y?dA6E ",% "۟{IcgS;2,Ԍ+8wx+ݾn{,+rj*oH\Y1IWN3OA4ÐdXE[v;AŻ,MVYKBA2tve5P@X]1Gӻ$PtG_>Fd~FJ>8hϣ(@uSg v}Z(6A6$h%܎vׁ%1:z A_ZnhքYʠ{tOuB1+YY C"b%^}URb(-#Gv )XX ٝU^WU98 ?"̐5eJFuW\dTk5,H{]ޒC:D; lN,n>}3͋m#t ⟂( ѴmA4_4tƠ{˯U[G7#hOŵ Nm*٤t?JT}f)YҔl"԰:_MvMwV}6=z2f^C4V (;@xJʔDW`a%-,ANIvlwn< 0M0T}m 3D4UTfbݷt:f].#G3=:jR4yoz_ϖń-RJZ2Ȋb.j:BFA-)gƐfbk{v($^ܮ58Uw:)θl8׮4%+]r4P6No<4 WEYV׻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'.rkAACnTc)-.U؇EL axNWƨZz\0OG<,=$#lo-8{r˂ l=n!o޺"WaFzWqW![ ټ|wU&)^ZSF C*}tZ:HwH\H\dڲIMCB yE\\{zVT!hZ!0CBb߃F+&QJPU[ՀZmbe"`?d&0Dkw.-x1klQ HZJe:9 1($DԌ%?>ostpobW5ݣ"c@+z./.!k4cz=\!wᮭҭ!lZ^:Һ2IOo0i!p};,U^}) MV$eɁT ɬ PJd3zako}薺&p]Lx[o/H4 E \ -$}R.Y+Vͽlq2RajqU?`KazY"0,찂YJIHbUt)wVIxFGHRyY>~ 49)a)u>^*G.,I<7v4a:hӕI+D*_?r$;xRc-&tߺyeoXKz P*nb &mhlT+3.:-eQRo?-]Z_o {eEPg Oё$i%;xLp^];iTқD̘%[T8c0Ţ3 1xwSs]YQpTV(07Ԇ^LέE\#P@va/Qƍ MsvپڡjA֥7#8ңqzq@k}xa[xD5Rh3!ӊjLqtIsdlចU=A芽}e#y0:**!/͇+ypb3)ª4C˛+L=)"j29@rdEm8:e?"0CfSpkLc zңY#)VfAJ0g?'zD#Q$yz8\Fr-G0+jq S_+Fe'^#RZIu)辙tW4eao/4 ߬^{ x X%VMYֶz.;xQT<+ux;w&f2;wfQܹ4Mrˋ-J f"3xJ*Rf|W׷ǠȔeJ0]h/s$sҟ)JFvpvVt8 aÒl<ÆD{ . zEy&]o6ad<.U zC.ihGtj/?[@yV&D)x[;_;/8+LzaR)َ5oV(O)QѬiuH+ࡵ l3?Dž(rБ_*s'l^8:YDQJ#5p* QmgAEgX'ֻ fC ͈E;c{ڀS6ÆLLM-xu80 #ƍ$q+u-%0AJB2cH+(NY?u;ɧFo Q6NTjo_q1 WEf<;~-*PJl={ZJw6z8cOC_I`B#ȬRꯀʖt+,z, B/}\3]s.w]uPڨSG7P[jpŲcHI; ZNff/s@Yu$}cQ,Oz-YfHÅ9R6kUU;B c5stŔ3]Ofg59&; v6RNK9ތÔ*ORIhhIf$iNa<}L~ub_w{{L]4H >A'n{C :\c̑JCz婲3ZCS{ fɽ'sTu1Ѻ!qP/ҷ)ҡTќ Sr^']Ad|C[\#E./50 U4{rT,+A,B_78,z_J7>X28oȄ?X}u/%"A3JRk1ʆQ^#D~4nn^t1~k]o )(K+r#hz,L&:Jf&Tlvu2 /[@W<ǞT7%YwO{;1as5]NQCPw v)r/4hXS{2NVqyBYgZ59sxbmڐuڂ]oi<HXá{7%!W{ERG_T0:+xPk*!-\-2zb$#! Z+՟&?+%|J_3/uAwM9O ]jKSxWHԃMȃ5rW< ysPq՘خ@A(iQn0z`0W1I fd ]U;Iv,y mV!n7Mfc8 o(fPr6PN +/pÒ~`fOOxa00g PyJ@aR齽nKi!x'$(޾bj (!.N= ji֖ZOjBQNO Вӧ/ҟiOv };vZo{xP"KH6Tt8?Vre l٬Yvb+ZjXIݿ}lE }C?2r- F?a {Bg5$p~u~s/ywG#9Isp`_;} IxMX.Gcop7 YbJ0go.{jƭs3Vg.>KbD`PݩӆG*`BFM^WľYUC[DT:jQ#jty0l@ 3T]ZBbC-۵ R8G|ܬ}~ ؇]*ljq~=^8Gf$,F'H)apK @ m!_`vR0 /~h]ƩXUcS\*\n2Q=Q=B B+Oy~ tb> :,oWXVЁ<~udMٷW+jdhj A_ݜG7.%C?ZI#HI|>jұ^&K+oAݰK𗇔{9 Q+&z)oQ="9̀&vuwV}K޲|-߆`.9|y(2EIjװn2N,|bJsLc;s׬;[UcV.үmKWvP۴*m8ne0yn^QZ9 4Cx; zBGP϶G1&o{IOΡmMMFM!G|XD(f.i@w+8?~c ep:Ȥx!E]7LK>פbv3.q|%)Ґ8E般Q?OO>5FܕaG+"[Ym]j^oBd۷ |H^E?y7D9xrG_'@b`qP{ -,v6XT+"iXe}kS۷vڛ7. Zi>biA;pqCt(3[P)?:!QX%*X]U0|t һ~xXd_[e&0#7bZHA#{G]3>eN }%)C] Ʌh˦btJGFbU,n2i.8hl*3E[⯜.Z8$.ct VvhdJ\gYpQ3\I:LH?(&]WY~|h.TpC!@ Dɕ=AX ^Y;HlxE>tMTZ.j ~=Mv12$Кp]Rp9qx%ivOݑT}IQ]gK ~b8_Wbt.sh9 G%*P}O~3) x r;af<-&sNAU=;ё#WȐм;le#[Zk_X'ᗍx1w .RX[[&bbqխ8MJ (hgi$a +˚; \ hY>+Y;:k\:hfi0p/4<Ԏ< yTS1?7]VxXb Q#[CHl M$Y,Oki 1B * OL*kiEBTݠB"qhޒq?]@zd,un>Zź~%"NU:CnH%FztV&*xf3SJm o?S}j`- 0ӏ>h3IrVA?M1 ䷅=AiAM)qr]2GD[-HMl 06"tzӁu^ֹѨhړQo>vwUU)DRA*poXޑ ./'hHn/KDY$<e F[:,t?CYd 0b_ y@ Q,;sV ` 3HB:k xְؐLepL,:-~iaث,bQ/!㟾`d/d،U2Q;Kab((/X( oiDyy Dz0PM|q=7:#ayVkmϭˤ]I51Wuʻ+R0?vځ B K-w m3Sr:o&w@EuQ(1!Okр|DL@I-Blb%>h#xkOZBi 4( f: Rkfڴ:)\C.;It"zGq 'nnyF6c@\3CE rp2Kgh(}YΗjP%ů!Dqpոڦ4ja3FHއ ىErUBAQIRNFikIq ϚМ6sjZ6v-e<[:"a zz~_p'yތa&lE3PG|g˜XHtF七f,6%>% (={}An8"*XT5'Xd+=vŶcKF+NI_ a"ʉ 85FYS#kߦF5L@1<]uDmu7eR:XN+H?;eAz)8]l{̊'I;c˱5jj5\Ɵ[84 H\N{{ЛLuQc[MpyT_/gBH͜REVQu(r깳x1Z DsS8FԞ[qafIxAo^Vǒ8ܗ^Qn|`c(oa]L<A$,@ʒ`2Ϯ:Eѡ/pg]F59Y VQԒ "̽ۧ촫\Rn5;s {$q cQwo(VF[O1Ʌ8ږ;2j^a Mm;<"!R-ivIE-HλkҪ!<{AXiSA0bwQ"B9ߗCӓv-ĊF>S|q9̤PQ|.Md#"c qYu NR.Y KR0sӑZ&mSlC(1:}o1\{П- k>ϲu|\6 ˴/F:# BD&\Ǣ;~ ښ)+Hڭ1ğiR8C)7Y^;mK-y縃@CY(q;HR|AXVӳC6~Gk6xg"۴cm'ϫ_ _3Wui%D ;tyQf@МzB zyO^xf\B0Α`}WyS̩MPxTm;t "qIT HtK.L|a2/5)  Cg_k͉ BESzC2/y}.}B ĐʍWٿůL^[8l9 ٩umV+?Z%E(-^Lp=Ģv wܐgjLrWJkޫsT}՗"Y^o=[]2գ 9J5AZrGG (_ukۼTN 1 +LB>*hC"i>AnC;=d >6e߹ {KK sdޑeu(j g'{]9+0`CmMl,s;>*9ۅ6@XY2D:.I MJN2p83+4eꕸEfRZ8PClo׮Vu^m6H\Ndu*xa> 3 ;o{; q@ʽ(쏝rk6G\^K4CnE PfƝu c()dqf?l>C.UKKTj9qgdQ}Fޛta|H >dnJҫI!w$0LQ9=^Yz)Jg#Q:,/r2[ L |zuvecdK@U$mǶj..Cd/@6 di/;%:={n| T>h_eLUt»L4v ,9;j?mTpb 0[IxiHD1K¤v܅|P }Zr(ɶ>?Gטve2#O %vDݞbcֲ'=R#48ࠑK{)+L=w`^Э/I89)F.$.XZTadBK/ϧ4 ״>1MOv.Ҡq؏r"Ȯi+q_$\ي7$PuӪ/]ҷ@ĭv)gPOQ5kUS2΁S yt`EYvudWv1D_UN41gL!4Q' .1[|a),(8&cOҮEe_g&' "V_.acJ,5x+TסٮPd zJ@;g+%e[_ 8А܍^# ι>.ǡdHFgg,FH qn_$Ӯk1 NF5^M8 +K,SVw7"o#mW(^O1I[~' dŒ"& Б)OYZtMԾE_pQA58|w%(X0pj+7=zuLD#H,p[FE -o zR;C 8[ 0FK*z69Vox寻fHK 8 %::[|ҳu{_7BH5xZ\))6W#3Ov[ǟ(#0u4). a![?\(rq >qCEQYG0|lIJClFmo}lF*v~yL|D{V,CwY% -z3. )K(+UMd H;¼{t.ƑniDGO }[ Q9"]3;l}?H\Q)ӝW!BcSke0z`رh[2v%KºLJuQuT)ؼi6R)lw Sӡ%Jsd*׺|CSAo IW-FKq?ڀ,| ֿ ELAnTrb|I l(vHND#*s=F?6KGGW,vc^TB{ WJFTZL"(lTz+"oo˿ ^m+iENu{9ctOls_#Mh9d;EuO`# 1xlEщO6 Af5")᫟E1q ͌z%&IOZR-5sN{$*o7fXF='Y/KG$X D8^Y^ǩ~})ƷpQd+~֟]ZΥcXAF"zRjHƱ蓁/];"{:3]zf la]ax p\']p a# mNW1,a0$ p57{L3\byt0}Ťw"g.*+R+#h!-]#v,B2YC@s+.cv/U"` 1Mt5 ͫW[,VӍj9tc衺h>]/kŀ;[h&]~R#WKuNg4 |҈g:tcؐ.7$S rrya P~+p'j;0f2tkںwTƇѹ+0MHIfxg4q)\rC~җד^I#r&) %`VLΘ1-ā`ṓhfR$/ڕY:#ߏB/XWΟjb.+!H !0zJ |uBv?zJ.ru-.R}Еbph\?؜d"d<1iڱ{MS }:[#>Z@߃~҄!j*hY12C8xڜV;O^ sQ-jH{k[ o'$ 7f+ưL2; qRyJ\=+|xK{9c,`}iwjM?yƥab0U.Us0|֓NE&2(:-TdqZkfkeJ^v+~{vb&rb]Ma(QŽCF/h]k;z>oȳ$Ҷ `nmP=YB9'z*^LBUuiAgΖT/jQ =eX\ޑËPjV'ewR1*$kqniɬRIwg?8GT9:LBOq0Rm+UаԻ2TN6 Yړ+biPPTo@;uFʠ],A)2hGͲ;!+9QLWtz@̡^-ɨ) BʊQ3Lg05T &9f,X)_E ťTx86:1Ȳԯ^G '9)ȏfF2e:* .d`b16 OnorI-pEBJpѣjsف@<ˎ d3GMeRc.`d@9Ϧt-c[fCq?814jHyz⤹+0}(VaN1#{ډ-MӉ'F, Ò2BI:E떫x",!v ]SЫ"\IZc~#;։k}^_0#ďʎ;(P2䝷3/2lL\Ⱦ0|W* ޒ| kUXr?6rv;s֚ ]ŵ,3s9;75sCEúho;|Y1 NxNܙg2 X>LH5`}CUq['O7~3 Y]ј<.:c^b<4IԦo_C5zƝRw_Ρgwg$ob~RL))sI[ekD>D+FB qգT|wpbK.ĹfSm}ct$Βd f&veyRp${!T`f{ ʠ9d/# bg1J,=%gdMM眈MFq5XVh >iFjt%5{^xC8,K'NNHĿoszM bPT?xG఍|@_3N ={ʱ|W%"&_\A GRǂMlmI;p<?/HHJ|;z -2E,\PemAqMxAaQ镜V>JV^UMhC]Ġٽ1]t6oq=#_h!WMTg ٵb7_׫V%Gx&EP_}BKOò!px`]],z*nߞ y4qw*CA˜{7t_8TN(x3,+Vk{{7Ld r4PYN [:đ []'k|c^F 0PX]،-1Ln@'  4:2W²eZӖ`M!jBu9jg1z)0&N"/CS$R}wT|S}BTiqxac}Ԭ~ m uۮ{%cHE@ab~kQX3)^b,WxJΏvLt<+mJKBEf B{rOAcWf2OZ.#qjGJ&H I,@[=еHY?b3}AˢJDNЎnL4C{*5Y}EO13TF흆z"ogQ@`4e:>?^ (5;EA.N^wSxGSr;xC/ꄕu2UVn"<Ē*j3H̛;Ik.0v|ݍئ Y:[-'Ѹm_^Nz7_8yxWgpDX8$}uQ#7|J-@p6 lVBZ&( piV.1,@?Iva !|J ov}CMa:KMppBZU$&\R3% 0/tNEMx,(" IR);Hg.􌭸bHhi6FQQj+ҳ`qF 3/%x96;ۃWrgoo=2/8}`oϔe4o wt՚h { c*C#k%Ya~% m_bSY@EF߸ĜZʣ :-HH]!hرbtDv'b5HuK5NJ)(Y!]jg8[`lt1^FT![ <ݩ[y{+EU~}JiT#I q\~^b}'Q@kA$IGD>HdsTipw؂2%{턬{UdVV؛̗,F`u$c^cz5u[R/Qb5'8pӉ>xK}w܆(Et"VAL? d;:{@v}7eqWHRKcS ҅dpQެ.ɘyKnush0n%- lj!!Hv<eJ " ~" m79V+# Zaaplh Rf-=g?e堺<@oi >~׏|y(ҁ͢.AB!3۴C_L{h4Iղ+e|$7S}a4tla"pDt feᙩ(6HrcG_+۸Sgxm,%ac.UxΉLqvFEz|` k;1QDqKD>WV߇:!GE˝]d%}Kj =$ [rK)!\$׫o9uY]bOЋܝo :zT~H b۸[ޝ5d,"MVHD0Bg5$õ\(:Og<}jUP '[Jyq(nɣk.;+14(`j,R@Wu)u1t2M+^ qfm8.j]LBJ-{rncaZS7/|gOy5-+μȄl mA9=LmwvTfA+Xw%Sp^RNBOwSSY0:yPDŦgM=tGT#וMG$>==wܧ[{ C*Y%x%ljrK-]2jCsqDJ>@dL&qZ#!z}wj֏a2$a 0,z){[R7D58= B7I8Һ;=|2sWI_caN-r5YՇG2ynƲ.p5? P["{h%('WtwkfARڱFEACn1KCq&Dc *Bܒy"XbflB /W*;8--#Z}rI"x%ƒYjC6{\g8f{ym糣q i.Vȼ]M[vtD̞'՛1S{>Um!٠dZ5Hfp >?KKy}|+O6H >##^Q:7Q$ { 0x`vKEQyww؏v~Ҿ)!dn3ut - is¢Y5Ģaa=wf!Tl*|n+ ΀HTi+_ -/> 2O?uG]ٌd̑g+'`Z >IP4~h/P eAl1RX_mFؓHIdDFXqi_E@7j46ɇӇTkxd»6`R:f^3QmF1J/B(W%wW 嬓\ijC @=ܷ PX{Ur5!{h" ~gzh1)37VvGP#m S4>ם*X&ϫئ6y* 1[tvI iW盘F 6d!qǣGpk 3W*?r}9fQ]ЕaU@څUE2m3vZЎkXq@`H@-ʇo"롿%4GE4ߜ>hCh?q[U|T=@qvM4}0NBV(-eC\fXcwu9j"3AKia(_샾쯟OQ%k *Z")9[/)D~G[[NV@2'Yý9,NM "Ӈ,#f,ʏ?zrX\<]"j|n[;x OGsQxm'\yffZ^DnDmnKW>$6+!nh{F;9d&To'+b#{e1Y삲~D*P(E^f'K~.+8)SE0h)FMஈdo,:LoQ+/y$gh O+{nX9p=M[ P?[5,giD. `M>jy\Y𡶀[MI7T\1=58~ʷTqz2Z NAD<۝- +קּFSNbY$VQ6A횫:8K(ثQ?`Ov9Ća+ ~q8fBr*W~=*՘d- kAcOGoR{JxpbmD=tTͺ z Шr⅏zeۛU ]!P]|+\Aff|k#L_DP5 :9/h#]Hl$qI-h~iOkCi7,fǽae5x_v|gm"۹pLWۣʮ/FsG"=ch°I9>`a˂m|(=\7>}A&x$)P&G'tБ>(@Y WPVzfHR&vc)Hض`pSMF|0v8A]o9Ë/'PIKT;uIC/8oYS?"f y{C{ӑ^_g}|4ߦUc>Uq#!X-Y\(%.vҸ>I.s&N. ;^'O8$΃=IAu&wX `ly:7_s^?[I=_1ȡ^TZpnV+D;wOqE1g !kB%!*yp t..(n 5Fu%V774I*~)0\} mg +6m2;=󧻀&ڰi66v,''q%:WzAS?q;zԅ;W努Z5Xk:`7T$7re ERR\ k}}W?FHT2Yu7RH%1VkAeO`UOk A )*KjjIQgNR̎IXc!34H>G٩g@" + -jL^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 k+e% DLightweightJavaLightweightJava.Lightweight_Java_Equivalencedocument.tex7zXZִF! qG6Z]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.ҭߘ `\_wtJЀuL^7ߕpn| Sd%b\Z2`ϑ M^`۰z38vXsz ?/8  p%"WNA /WwR̭DrϦVP-V|^H!3_ ]#5m9yκH:ӸFXkЈ!E`Ϭ9~2.W^'e7uZ9C[HZ~nNMTѷ]Wɀ2>s56%^fxY?pyLKgf%/i̒^0`J]BxȈs (L;z,b]{JgE1*06nIШfTaR\Hn(N62wWR6Ch^u', I8 9bS(4?N7AQRl{0Sn1֠cE*s ˔3t2*Y h~ r4 Wb@Nn]U&.$Քɐil}w%m兘+˦Ud7:=J>9)eMtQ8\YC Rsds]ɣL4ɷ><ݧ$IkWnmZƼOw&Bƫ+4P<ٕ⭽-I`I(ʭN_I,>[\ #?=TBw0QDw -բYYp]?R|^^VncBq f1 Q{WpWfsmO({:,*Q@2yoUE{D 8xkh __+Y% |LightweightJavaLightweightJava.Lightweight_Java_Proofdocument.tex7zXZִF! l]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^ ժkKH&%7|{yf{{^FZ|omzL>4k"qGCK3tfNMmkk9hJ{h!{ >p VocAWvx!_7i8#!g sLfTn}RxaYؕJq^CAZu]юu]_Q#EKa$ztǹ?aQiI '5~YX#Jj2Oo{!nmPr 'v/Ɠ,?=oMc0iV6)Jׂ8Jl ]DZ86fn!_wR`x/ʹȅS>Ydi`'__gKdLUI "y뾌O^i;k&ExqΧ#[.툺o*  ]4p5 Lz'A g)j[Ni QwbD3KC ~GuG-.jm3jd-TwtSYy~`C.nOnڃ͙PCC#BTO{,Phcyu *"\jinwoO-*ψݮi׼篨. ݔ)ua(ǦmDd|V[I,P^V4̇Su594dej.gؘ\;.l1"`gCڬ7~e9Q>Lra$|IO^ۃ^eOb* h1PNcuoV?gYG 2Oj}nrgYZ7zXZִF! 4]ŗXi%;@ 6Au2wF-ƜMnX}n=զ|%ߐ }R*{nlaS+aJg}$\*sxMpydjQʷP0" ĂI"si}A+˷RwMO*UpHP]xRx6zKBxM+xGCOxKF[za[](|ec6 fԪ̹3=]z׳ۺmsW,E6ю熋I2Gl9PMjAO zL2l;GKTƌ/T:Ovx|j[LZ@ NC?D}}h >o@濙pw>~?vBMj&䨑) ̗#2sk5M,!vʎ2svr6!.-^^ԜeqgŻE1g=-*EA؝,T"6e8F p䣤8T#v{l.xS`< ZO[s讷je\|CwS/UᵚyoH+^;)GJbtd؍l8)H_J $6 % oWUXPFJo)UeT~+d d ͪ܉k8 $M}RO"X}NXr2p6K䦈{79yŴVH ZÙpU)RZHDCor='ԡcP?g598 ^CsV0]D!󙠑 e˕"n[Ce9t~a Ab;@0LW-{8$>:e_Zl >虃}E:j2불\XGnPlf262,/ifrc!@3oc~ZsK֢`B̒kmĈCGeҎ-~A!@7AQRFh#˛x&З+I]\UعleM:V+}0vSvĻ`IT[ &֪*vPqDP?pm%"70,r' d /rk۠ކ Q@zGU6NnZ 3!qh!1./ R8|͢qǧ\Ao P5@*ϴ|.e,M0Yx/I)bJbW'E:={,T'0#{MVlb&0 ᔣHY@iW6{bDGHq.+EJ]dbobo0פћR>5*3ՑZE8p#jr`ہ6gBDcWAk @y{3Qk RO` .>VINݹf`8U}ƖCВo+\\5Ru>Is[FKKuUaW >͈ZuӧUםijx0e},F[ 'f_qU9ܐ-B/?_Q irT=" VЅFNb$"fy#Yzc>O_h2Kdƙ2YQΌ̟d>w0 2cv cgB ,@ t*0%:YI鼮#5oqn$HQzQv-\Q /9jPYi=1X́j7}m-~oPYaWI#6z7V%:Ig>y: +z $xº'CH?A@Z^ Fpi4:B?d.k!`*f; y}gN dYfO 9!7n R86iE ?f?2Wi8زi