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 V+ Dl ] LightweightJava:threads=2elapsed=49.554cpu=76.188gc=3.416factor=1.547zXZִF! C[]ŗXf1-/6vRZlpH8;_SuƖ`BE~IYIc 7ˍw^auZ)q"˷o{uB3ܢ e+&:S%-pԺrߠ+)a3eV5AA0vӽ^ω'0cahe@%C˔8g2bOHU[P7yc!vXh [G~5pΔd X&M_tq(Er7Kz ЏNV_}iL2}H\ę F<'tuEm0@My!t#ҹeI + LightweightJavao+e% LLightweightJavaLightweightJava.Lightweight_Java_Equivalencedocument.tex7zXZִF! qW6`]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'0bmJSRIT_]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=1ەz5bE&鱄t :1zh#B@M,&7\ yjO lNAT{P@†@nb;clvFDGJm7jrҪp8%4=9/_ozDCTR[vۢBn`1OW/I@5T[f{8r/Ƞ/1NUHjqZp/XSic_ #uej:2ѧt{N&E$@{X[E,n F9'>)lr>wVbxȀ=Q<0[=1(& .@JchJ(+Nڼ#z gq |CMG6a͹zE4I DDS`h@Y1TBJȾ(o^ѕ $-|`-HIg,2zyDk_t ,k z.  u5%? 1t\4+UG ,*JL[{.s.rm{dNm FK5;3[+áMufg N)oIm$HiQ㴤 ͜! ao[`L#|ߦE_Yh'`Y@j0#hB7xԇZU?pejsVuHYh*`4rN] t#?{f%-Lr0x䢹9]55 ד/sjQδ-!BQo)si֯/2}t2^Gsr yY' D,)ܘ{@:p8X>+KތŅ"Yy_*,7!G-0S^~>/H?F3ck۾K %BД{E%;Sh/+fy;$n$/j`n_Ǔ]mѝxwgLzbűYy-{esX*/nF=q_AbM&}18bRQ SP g|A+ &˃fhn3,2gYk;/BW,Q1:) #,xtaN ¡ ni SBZ68v.rl"W*v$HE`䘸Qo2PY3Eg+[ @ Ɨ5$ߎ]KC/vXʥk9sH@[h"TDrri!n0#!Sb+u6?\ufi3vobitHE@xtOؼ6ghxc(Z+* ʭ_vOgEޔ$[a NUK2^ؑ]y 3wI'k?g\SmH F a(x8Ase!~xя#,@OA N=ARi QouiwMOb:Ht)kY O$w 2R GL~Q {;g4Mc{2X?Yƍ+N>֚? |72Jا^P' ZR6O#y9^s{%Z5RNEhۅS,t j,^OJz<uB$%m([7 ViBܰRsHFH3DRcU@hÌE{Gsy e~z$rϳXp}KܔYCc&? u\ %TV 06/ ڞ!]&sɖJ\bg3阵XS#\ , Z@sMnִ|/2M*$6SYXͼG׵l \MrU&@D ֘֙W3I*.#n.fvV)8xjr]&Q@H{r+/'pVpv'^`V JIaijs#PxrqR;hBL63A~{r@{Sڤ/vJ}(\Ja̚{8& ޓBǿ<Ԃ$%U-e~klL~?@ZOz 5 ZqjK64FSciRQ(d|Toʳ?]dUx!&n,#J$ Qn-/Waq8-4("}DM5+؛\fO_R |=X]缠!cx]3 r$,ZPWqWQY$hB8 z%Q7t@4#AVTtmmU(`Q7lZ{,3IX ON" hɦeaԑغßqȂQB.tK\t60GSL08)[D$T n BĶB׺8ES[Ѫ"t.)cFmo]d:TcI*FH_PO4-ù!$,ΜuIgzNfq$s@U6ha}#,Enj6s&fhz'0UHt%>&VUAUCqTNr>Yqa;v y.ږ.2ZK}h)tض,P`~%{G u(&cS݃U-Mn!w&_ғJ i+y-ٛ>֎'64S>'Gfqd3T+hcqL ٴ4[o+j 2 $pLyuC/CP&(P9^Ǫ•+,c!}lVi esrHr^B]1uW&y[Sڹ萯Xn^ Pƙ*Ķ:`{# 1i+ߖĽ'mnݍ9TyIi,OImY+#[zٍ Ui͹ct ~聖ꄯٓlm;;Iz);٭83_o)_URGRH_*70V]뜼o\ 'U /lw,Wvwe0~H_px*ee[RЂ"φsJ$ȀtB_z&nDu_ laف03fCܣB%qLH[~tMKA)"&̫e4J_!q}bW$}KEU9ɪ Y&U{.u𓢼-(5$^ysHyyXWQ9qf??/;O hM AʕE?gP+!У4l2^G$ `dPbXPkЖOu UDzit2S<75ȅ*8Ϊ1H3^Ѿc7 [-E џ3cN0{SGb#I\WhC~PZ;J;}loc(Hm(vhlj؋eS$or=xΈDȨ5 BhxѮ.MI6#_nWcb C< ='.fs(r57b=i_hzUۊj=\_\ :搑ISjjgYcε0'G%!|2W~Gt2mfl?u1}E޿uӇC>>X=r2:D^$&cC^m% !ik0}>H0oJ!R^no/lj*(a tX8^BwV*YO;cn`EVpM񷻈AH䜢n)<S2;1/،> m?}ר#L2 vKl=8ƻKi߯=ɖT5C\M>i u"Fu[➀GVRA g+\_z$(ЮSAĘXy{2j;Ӄ\cJ ό'菑g{ΚE)x#97[5ͩ煂Syܳʐ4e ;"oÿ\Q84J!9W< +l*sK^yVzˆ= z߬=~ @/I\%5{,Px!wRp/:1<?Ull,8Fz_Rvٱdqi ; xdYIo"[j'HFBH7rv.056U{2v*2T!XH.=H9!32A up?ʶ_KͶ`jU:(ز'|3kE'_e~~&_F{3ӽ3yP%0QV[LRl&Xץ;ŀKKپA +%4C߸ kuvɹ,/qaZ@;? JO˴4{tq*B ɑ?J`_–T3<~ +ZehsWyͽ"MeZVJBj3< 7#A|bZ;MJyx>?>Zn̸[2POT&?"7$k{O3&q@J>/[cK{@9 R !<}Y>NZ^ڇ6׆}BO=yw t'S _kL$[S $ؼF[PqiO}u+\A@j3#Ͻ{ \b0p.>XuwS tk/-): 8T F;vy'v<&8(-(e|FL\A K0H= 8sG;ufm̶Y=A,l |gYZ  V2k`{P¦`~ǔ#Ŧ! :ד>^ܮ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;KW~[_:y|S <۲;X)\2q3R0X cDViI;/y3ݻf;e\'9W!P(Kzm?}()R #yquc<Š2tO/s1`mxFkP۱'"']x4%+Qґ?=lϱ 4wb!,Ҭ,kvH}㊞!bo 0*2PPrxl5MU㡾5P&{fٹdt+UC 0PdQ}kTSCۅ3AIj4'YGKsx9d[Up3]%]9n Gbk!.҄0=qMC^k1r "b͂ #x¤*FH=\mk\nވEy2ꐠi2f-|scՏű8v63 (k>;.(WCy`5ZyaCC놯t%ں5p|]4hDsY'9T0i'%|~#KߐuvC缃tnߌ"BIV!Vo;xsXY@<,#m%wDrh1.`#jzWP&e0< Pku¿mrnQnYТa\<"?A] 9c68q^B|`$ڔx|mFOxO ÝsQ{"kd+ 1ь"ժ݁T ~fVYxb֌t[lfTB9Ux>QJDŽg\̈́*\^VT[5xbqoԈ#HV' #>oЬ-Y=lHX*"t$?iYcYQa{UR!R"ϥ"7*Xy͟HWmu|\h@Q䅅YW;$U{#J- d4KV_⮡>k3X~Za {UC'~>r??3Mlh^ R6Q0 ??'="6`x Շޯ_, W~ 8m?=@]ؖn6z 6Aylbacj5 }CWs<?q,d(G`S ꒰ VqMN*(Y&̟U!{YƊU#hh#;}MC n#p!vkc1W7+]YMtn7.o0w>?썩bk(?wI另m*j7@Ɂ\O/@H"9҆U&~2_qƒiW_|#5?=wvm+}5Ls<ΎiȘ+EeyoG]lD)a<|!=EkmCq ct3Ž#sBQ !y?\ +;Ͽ1"OR!Cϓ!MnFVb WL)yBgyҽYy RYէ$.fb;}t ~}ebX^61"}ZS)?tcNb*ZWL}u;Ngg_=7Õw0!X^j}nnRt$߰!Ijo'-lW$DBQ\&#lt_;ɆQZQ4N}ioQc[NIF\zЌ ؇mcg#^5JZn&_KqNtYs,#ޗ3!E(̄dK?İ^WkYK7F/ݶ;n\U}L%4#l>s#I*7, =ű߮Vxg#2_fX w"wjK`#gҍY:V`gΧT!.qj9Qw_w> 7&y+y} /j(6jX.iӶ\3dv* <^6+4hT{t;Y#!_F\6Ux햕?K_gpҳ mppP=:vG`5&ehpQڮ㽆))@&)2;[gw,GD733dWg;XîZ(撇Q}|zWQ<(Q9<[aI&3õ  ,Y޾JL䯄2WWIeWZKyxhʪZ7wHF5$rtæV7er|ZQ\E'_UߔTC;L1"!Q &3ԗSruޟ.-zy<;$F,kyR mf{sn;9MTad*"f0OuLȨH_B>Y3U(57V>{q\G]QC6tiU 2|^EQgJ0K6$Nk˖mW|{\j)[zxo۰d~ުB܄OfKPGAR l,`ޱe/R"h龊zK9%10+Yl 3aG;\]yo$ F/PSx>.6!6 ☐bvY|;}|vBܚú=6h`aoc(Զ(=sC:(ꔦzK&ɐl;0P*^m7KA>B!E-_ w:ݡs{׭l o4ldf"ɷ=+,-lPPsY=xnMHBTlȅwx~A r`t!$ZT#`|.ꆢXERWh(Sc1q@H@GǬqs JaʈʶV ~N2rԇTu_du4>#q 2 4{T5&~v::{' Y(~EXw9ZбBC1E2ww\dKB2Pl~j;(9H.#Nuڙ_z3eL$K\BV~R~,CUz~~cwXe\W҇N4U% ՑuׄpiX IkI+ṕD +9 m8|tQZlؠ NOچJus`0>m|c%2;t"e,hsώ(7<JhYR%\boeiT؆e2Y nb;I B pKXz )brC3#7* ·k?L,=M̘ty']t}ÝgCh r_^8$b^ *^ nR>(ZI:\糡jͣ/TUW$jEVs8?!cC45&Ew[=7MlG*A2_ҷg 5zkW[7"8Tg*Tw\FOcpgR`w_+BTl["o}l=N_nhgss{WE&俓g޶!l:Ld`Ehʈ(Rv|wXYeNc/%PĨDɯf+BY\6>M&檋rvrwjG:s: {-e̱ѪW lvKWė,|*ƟE)@xWmeSQ4 _il1U<`%t+Urb"~!U)D/p|G s-Qn%z k܉å\:丅؀o^md14˯Ccl 5)ZDwD1Lb鵛e{` 5'_] (dde \oӁg3 U0P`0+v{}mCg]yWʄF A3!ڏqvi!ÐA\B+f"X??4""'ڕiBF0ijeKةw1 ZcJdS$Gߘo&T.BCu" ;aHS{< *ǫ`3*\jĩ%*4;.v(F)jm?88snм*6/RJ~XK Y#~hgn3@@[yGIYy/3*#n ŁM v:~Tq (y-<Η,Ab_vakf;gAS FlV J(䰗˝Q,wMh^[}8nhVgȧGّyy[ќ/xhld`VM"c)s%tWqKIŭ"^pYZ"yB̙E%C007 }.4Ϡ'`bCn)n:WB԰|5x<2 xX~F4bBL̅~͵{2W8;2v"[ ZzQ `yhLB] Qlz/Cv7 .TE҃׼ PcbezTd<wGR;4s9٠6~́Ar).]m=с (6YSNI/HHa<C4-v$*!.Jsmp@8qhA`U&5w|Z6~ܯ2S? x΄$3 ε:1Ls'+>K~ɷF*ӹW\pS`~ãQ*yYYO c]In>DU![lb7&+5FꙹE, mSn`.Mxi?\AAnsOM JUY RU#0QSᯇ0Ϳ,ӶѮd"PDm;\b3av'eBm(^nj@@q&_nLDF>V*m$d8KDlrn圷 |͔!TpP-JXHb%46Deh b3"LvZVˁb'DŽqPJoWϥ~*2?Tf`rh )I )cbߔVLD:Gy?GY L*8Iiu~|(o9e۰4<brb+_Vƍv(tJ .8UR[k.ϗ|Хy㰹s ]x)31+Y+C:9Y.*HF}VD* CP!@9K-lfNkfiV̂?gY(߈-L `ld类v\-6Ὤ!ìm[̂Z\%5GJ6.(,lJ>[R<ǿꀐB5K;2 u 1;U Ɵ{/V=C t+\B;񯿡LC[N]M2t+ 515БT8A.+& 0W_)؝]NPYgG^v\IK9U 䈇9wنy‘5]yRʕRy'ٯR.߳$ʶՒ**6ڻRt(mPbƘ Ӡtc`yt}&Ȍ:4h+@+ A8‰(5;jz r>s@4 P7 ޘlGvyRI9|O j-s5?ﻌ3ܡ % wԝ<`fO ⏣fz_ d/The 􄴠\_Ih)VB&$S!P8IRZ._ k1](ɂ(O2'dvf(u6WVG9~q p$!J۵ sߖ%GT$QB313{>µDŽ2<ލLc˅H U+pU;m K,D6{whI pET\\a:#t_4T\PBri|Ro {i?nH9fav --H;' BKk}Wa9b}|Ɇ=w^A"'P__{b pz@j+ZӎɾzJ#le(FCyȅX>׽@ڦZ̉ ܝ.)߽ qsiVq*v*Jqŝ;*hc!5>gf;ZY(pr*0Iz dgG0(;&n CjM{lD ق8vb1}j 4.Iӝu Py-xn4sq$݌) pXmp"5\ip /w@MX[47txm]+.Z]e($ic~T7ez}vQocP MHw|ƫ uMc0ZmjLG{(6rؙ|fgOW#ZL]΢z/NЕxcLEcAE\3# Y}{AKhlš0x&sFY3>W}oE W5sept>i= # h] gBVr 7jhF\E; kS a>%& [vߕb&~lE8 l.Gy+Ւ=1M,ML>Ĉ#٤JNQQ-D_ ֪ Rxe3&9]&nVY,]d8PleĊӥ03LɥXlCT~7(m8HSЬݲ!0Χr9qɅwphl%<9; HvXo< "Ȇj [ޝ\ua|sViOrd!ƚ켙l]@OV8Ah8`r:B]jz)3J(*0d=3F,$ DɔRɷd%7٘ƫn fCY=h!S(TZGN$IOȧ&N^]P`RiDYH#34\Ҏ;yDexχU}mFPBqes7='Yˌ oJu Sc;!& h5+GQ%h:'7 (a2tԈbv V/Շh$ӔṔ zZ >>uS-ߟVl}&/Ά nQ[y>m?cR:xߨ O Fji[tv0]Ȝ2D1-ȝ`*jWa:))vzSSpvIu>}Lz64͞Wu\߭2Qef^4Mcy&W?;1(+AUNj=\O4pP3ySBlF"NɏildEv]pvY1J)f""7aFPWgZ r/|ufaDS?^ ~٪Kp퓕/ Gݗ{&'-oqy2)8%:W_;"ɩfd3M3}jx)@ 5{G &j}bNda0#5?TPq{f^%]6 MH>y[l2PJw?lem?ko[\>=ҫL^aKlzF!P b|* yڋp]7a^ό5`lI$#+Xm?v,1E$6ڥd DƚB#G|Uֳ͒)y!o2P<5Sui cn_|0'i^> XV%|{&)E#_WZ,0L9b;L@&MbI M7YlٸڄG?eU:Oܵ/Q1xh1%/lSc n8.3`WO2@P-BiG1 SjS ]\|c R]%{FƱDC rG"ppZpFH|Nzv}v΁m Pp%Ϩ[WHu]A:?e9SE4an"!f.]C9kca0l % Ül,.L6Ċ6{j=χI٩ŋ܃Fl\fi>iLhz>p:E|$R[ca- ?@rxL ;ƋT3ib-hva|`̈́]`(qRJ^MA'\K;gPzXˠ _ x;`eZzR7; :I{}M3[YW )./'x?SOO»?+ K|TUN=eF7A:F\ 9\ |a* s)sӞ`^MȔ^;{)։t 2nM] cyՄBB9۱+Fe0d\ Sfl_Q& e `n~ GB0DCw4dWC aW2.H>&t_*z2꥟yZryZ ^9k!DZ.Q' 'QgnRm̿ʸ,p՛_ojH/-!^5ŖTL]oI_3g|U0KNNawEÌ:O&ɩR`b٠7z0j_.̱/Aw?"Jz/8,)=XM:e%6l@|~% KwR\tzyqȢ<-&Z-X24aER{M@&2"uv#u"d={| lJ@V6锦%0+B> %vTsf k $ o_:\_8Gc M ?6*0>f~'ڂ5͢k[xN\9kDSLgC-Ř%V/=86lD~؏ۉHəo p]1,s]9gfr b0rco~z/\e̤]NNJ^-mwBtvI2R- ]>p)&>^%|Xw).M| S]3bXnϩ jc{;RhUeygfÝfQy V{G&cQC)}!gGcV2iY?3{j)dŨ:"腤1fB1̼ML$Nr#O0gYZ o+e% LLightweightJavaLightweightJava.Lightweight_Java_Equivalencedocument.tex7zXZִF! qW6`]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+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^3 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($hhj +d#v;YyƦ,oϦ>/k:7!;m"nCPۏ0i[ 4Ru*<>o=+t*y7ߛD?jџ<-Vȟ)CQAs a)da*6rɶʽo@vnu;l҄4?@:aݧq<[iX9e: QYY~U%S"p&3*9J+S7"4kJuBSeQ%Pk @vjw/btC-:91]bHOVU m"9)DwAX?:oaw[9.B2mSD&gYZ7zXZִF! ]ŗXiɟ QyJbmyY,9>ڬ7~e95>|6x|G.[ ك3zB~H~Ee<%kpZn 2 rI9l"gYZ7zXZִF!  -]ŗXi%; "oEN_e7"ߺC>w`81=Un# fm[ηS] F'w{J;DwT QwY.տ@"TD~7I)E6׃yAOwvmѺҀ.y_0U*!ü^x5Ym=_XHW4V,~nMKw"eRHW8D!뿊eUsoRa8-ggoц:%jk`tȞ N+&E@]ZbMm'NCÆASF#Nc/Cn-f%CHM*:gG!ѩyhBPa`S~'5C-8W`M,5I^qBPmtTƵRɧkz&y褐S$.lῡM /u5[DQڦH锁Qh6ؐ 1l]x F U8.SiHӞچ6=m8jg(P+m8`'/Q>/m³Yꀞ( {8^ɕxvS^GGVJBbd MF0GWiF1|" IJQQʹskJ?NR(6 t""ZyUwvwYܒ ž7!dxQlЏu;MؔE|ީ7_։3kfaNƎ, Lg|?"z#%2cbrFwJ2wlf"&[%O8#z GLMDam1Tn45H :O!~K3PS3>ci,[~wQiHSFȃ|碮9xOٍh8F5.#}liN%nu]K@jl_:Y/J&MʴM*7h}7=:k<:B>/0~؊Tvef/@=<y $3i۲~V.F0|}(sg9n7ioSLڂ|Xli4<\Gw:/xHZs,L ӓG,Bp|Zc6Wi88&$zbBO~F܎ja8&3'нO*m"f$`HOLkI#'l,^2+JP\e,K+}zJ^HsrO .|w8s۱D)r|˫`*at4tܝJ`w2xU,A!64eI. PK}-=s1!T @fZ8GmقH kGB8AqZi#SNѾ6;G$w9wDlf5*?+] ǵ o1 ׾}g-j _W5ax`Ӕ8ZNb|W}X$ڥB"Qkif8)uTXV1:j8JWPЮ }$ 6;q=^G}t^54F{|QF6yH|{_N9;ASMpestw`{i &jk;s 76^ &ciGXg>š]F)lrD~$㍉aHv+L3aJ%븀1NĨD^#?5x D'U73W*sy9b;7#\Dl/X8,I%"3\#Q%K!}_gU(Z 70쾼Ͷd~Lhȓ7H*YgYZfdec812a857333206f3aa0d0f42b8b7cf8a7d3560a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176