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 g/t4L ] POPLmark-deBruijn:threads=4elapsed=13.894cpu=46.436gc=2.3887zXZִF! <T]ŗXiɟ7KIxjbk- xԐ0Ҳ5wǹXB6Ƒ}ϱ빑7u }95BoŇQ%aDw?Gf+?bL9&GmPtybm+d>9-` (m'Pl .6l ]148j2T=CU>aخ%\UmZ*njzJt<3; .$]X_aH_6:pdRkȀ\vJ<lxȊ+Ҍu1Q"v: Ry$9 2IŞ)##Wߡú? zrIsb(|i08s[%|BU]tq8achNMlCA})jn 5DQ\1jmʹ ?EBbֳ,(Ebx>D!(]B@TqYEj3QgYZ7zXZִF! g;]ŗXi%BzTMg Xj" 3M^h5w4ȴJE4Áx*JHt18aEQꯓ{]r#^`,QVa(a(g搏e>Kycj?mM!!ApKASQZFH,*Df U) q; $v(h`{DPL }L%vp@r#$]$[ CohJoj[ Шdr %Q4x[;U$Y3+ۤpKcT)Mu 9!yVb+" DH| r knCJAwdbi FL=ap+]+N̂H8݄P2QBFe;V\ (79x=8*.Y~1>@ gf\‘r]o@r^d4d`c6\F_r[HWЎF!\umG?N8&oA.*YP -**+rHIѾP^s:GֆJK>*FNgR*v0Cifa0`CGj9)rtD2TGqp$z>ZiuxA؁i=o3%|ur?א9]8RiTa<+պyMpA5Ɩ/,IK Z5-6 "B[+E }$ YnZWvNB_"o3TȿTZ<l䉅',|sޠT@F{f9M5d3t7ț$ć :R{b\ U_"D;NfAzrLXsMO,iRݩ-2(EDctx5 n}PNV1 7,Y[q&i.}kH012GKSEr!Zd؀h!Um /PpZF‘໹'ܹ Hp0+K\"Xåw*!tjX(̔vڥ6пZ7Qr6p#…wMHgpbjfeCߕWp;9Y&FbɌM=ϗrE]\1#^}/$B|WZ;kxu/'/(ʞUuu|cњxf=7aw o0kntCj:{ rXܱ^/>L ѓ6+賾ׯS7zb;Mh&Txir\nD^ʦ7EW]C#t,ib(?V|&>tԺ?KmQRsm]e>j`:P"NWICTw*kFE u"R+'cFՙ0~f(R!_+K]&z= OQPv_gYZa3e82e01c81b68b9d04890367da7ef87a9685afe96398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 fbf84b3a7065bc63dafd29bc1f88aef2ad5c8b93 / POPLmark-deBruijnf/?% \POPLmark-deBruijnPOPLmark-deBruijn.Executedocument.tex7zXZִF! ?L ]A-MՋhvG"uIBm5k܋Pn\p(ZݪH5y D#"Bz+y5R 4eʋ/|80B pV1y-:^fƅ&`f=a{Dޘn U;VMJ\q\$!u3 +KvtM F7a9݅)T.?GA%?.Ȯ5~| "p.pW'K.]AQ6L[pg n}DaUg3<`,+:P/?A$QK 3C#2pZAT;?;sIT>i`` rPex9hxH Z% &FY˕F׫,zaGQ E|R}R_=oU^p-SN2m`t l#Z%}-9(IMg/(ߺ=hM_[A+d,M)9xS t_ )dM$ 3$zn5B8IB^ڙh#5XBbq䯪=I՞5{f*3+lb<̍,anhcYœE hR-p@J6u9*rū*/}-w~ No4/>bJJJ '|EIkΓџc/ňuY%b7I*L 3'4pd|e lcy:KҽR ka?`rZѡI'Mksi }'yJJd:YjJ!ӥ)&BX ,az"+/ٯ_Ku&9D"߬ʎ#O8Thݢ羗&4 Fd9<_E  ?c( #\g2bOzѽHeMHr#yV|s 1Bw˪ Vk[`ifujlªt@JTRg\ܞ"bsjrӪ7E+gQ9;QS{ϫ 9/5mOSgyF268|`1t`$ Cm$ėڻAҪz5aT\MfIOxby PajB/PYC$u]y5`-p^2ۜN*6ic`3irwpes?+T,.t˿C=|+"l̻ׅ&R_!йKFdt6] O8=AVz6)f'EyP6zZo N@1\n!>rs4lJUtYؠ(]QNw.x&2:#0b>6=`JĖW7}C"f^K2}&lpJ Z!>!grRf\'OhYC9WGDC8Ua  ~\+;i'`&e:i|Vx} "-):McE7Z09wlY &ܤ:X?} #Kp Hb4#O$ݟNKpoRnOrI!4%U'7<]}QO5|s(޺w[|H+WJIƗc4:/>,{_+xp+:n @Ӯ8?= u7 ֕=眗"}Z,Zf)Uܛ&s˛)iN\_u=I2D\rgpOIcb3& fސi,ְ9mOP2{ lVLen%Zo :#uƾBmr V{ "txqό (Fdd5nsCY4>m-HK˂f.0`r0^N*ţBfđuj?Q8EeM"ݮ ikFsGKR W5R[yW 4Ӄduk0\Jۂt%V|"S׊) pjd3A[l]j9S;641}QcD0D4Sm*˔(D|VѤ[TPb!u3 +KvtM F7a9݅)T.?GA%?.Ȯ5~| "p.pW'K.]AQ6L[pg n}DaUg3<`,+:P/?A$QK 3C#2pZAT;?;sIT>i`` rPex9hxH Z% &FY˕F׫,zaGQ E|R}R_=oU^p-SN2m`t l#Z%}-9(IMg/(ߺ=hM_[A+d,M)9xS t_ )dM$ 3$zn5B8IB^ڙh#5XBbq䯪=I՞5{f*3+lb<̍,anhcYœE hR-p@J6u9*rū*/}-w~ No4/>bJJJ '|EIkΓџc/ňuY%b7I*L 3'4pd|e lcy:KҽR ka?`rZѡI'Mksi }'yJJd:YjJ!ӥ)&BX ,az"+/ٯ_Ku&9D"߬ʎ#O8Thݢ羗&4 Fd9<_E  ?c( #\g2bOzѽHeMHr#yV|s 1Bw˪ Vk[`ifujlªt@JTRg\ܞ"bsjrӪ7E+gQ9;QS{ϫ 9/5mOSgyF268|`1t`$ Cm$ėڻAҪz5aT\MfIOxby PajB/PYC$u]y5`-p^2ۜN*6ic`3irwpes?+T,.t˿C=|+"l̻ׅ&R_!йKFdt6] O8=AVz6)f'EyP6zZo N@1\n!>rs4lJUtYؠ(]QNw.x&2:#0b>6=`JĖW7}C"f^K2}&lpJ Z!>!grRf\'OhYC9WGDC8Ua  ~\+;i'`&e:i|Vx} "-):McE7Z09wlY &ܤ:X?} #Kp Hb4#O$ݟNKpoRnOrI!4%U'7<]}QO5|s(޺w[|H+WJIƗc4:/>,{_+xp+:n @Ӯ8?= u7 ֕=眗"}Z,Zf)Uܛ&s˛)iN\_u=I2D\rgpOIcb3& fސi,ְ9mOP2{ lVLen%Zo :#uƾBmr V{ "txqό (Fdd5nsCY4>m-HK˂f.0`r0^N*ţBfđuj?Q8EeM"ݮ ikFsGKR W5R[yW 4Ӄduk0\Jۂt%V|"S׊) pjd3A[l]j9S;641}QcD0D4Sm*˔(D|VѤ[TPb?2OrFbiןy]'Gg Ek&C 6#":*ߊb+@fNc]95޾蒔gC-0vx N?4 Xn .ܽd~hnptt73+,CzʘD5b~n e@}cp%Ǩ"2QEFN9GIX %aH 3K%=m)bg*Np|W:{k!e19ص  $bJcⷊ^IKSL903cI3D5&JxE;bG:t4rJ&2 sϮGTO5 I_c(>v{4e-5QP솴BK# f 8Zxj6cSQ"ʆ+rs$bL"'PRʮO"{&G>?jD$[7ϥJ^ᬉRPnd0V82qeR]ZcBd"uFl6e%PP-2 +(Xr+c$e m8"siw -E:.".:*fd{ʖ [jKSGNYFa -%&:&9Srcz8i$>q+4[@4{,6X'6#yB1Q7tE=VRv}x!הzB<Rdɴlk*@G%dѬP.G CTZd>:B^gZM:YI&L=?^\iPH'iQqI#w$bɮY29݅,G4 _..Zzl$| E:yGA'rṠ2yR},v+X Y-> V3moaN_Ʒ CѭN?]G}0vC zgQb@SYAh%[k+sԐ<ҽ0 j̓)f&25\'Lv3I8kbN R5[h5#6-ҺQdă>>7kn)qRX޺$Hy`1O-<'ejA5_%M^JLMfpTTIXӶ3=;|Ԉ[{p}>û*ؒI//c2"(_-{ذw+Fԛl;PőFTcliU',b+Z44qnaK$'>z[sMK55l:!(zvxM27vzGΫ5fgLEd{5 !Haɑ Us*!+ !])IHd% mc FSIj=A]F'3B#h3"}W{Q$}VDŽl&{7VSbO߮Jiho`#*Í,q9M p'aଗa%|WUAJ"d kCK(IbP;Nåd>-fDdp̀}jbl\6 S?uI:&!7]%ή2ϭl߀)O桋XIrhĉJ.Ia]11ꪴ+/(cy*Wup R!u5#Tbnא#gaQbFI.{jTdcM0uJY;9YPgWiTI'+pه#\ 7 IXSd؃MkɔX1S ,g^94-]1IߎyDJJGYHUAN& ʚPeߚr\>AGrlH=x>]ID=g&Zd[_E"4lH1۩ОH}foDN}uoNƀ6fsg,d5RT>pɭ D&M?NKfMP5rm}H8n$qZDyc.'1vú7ʙD5!{uЛʹσJ@mN7bU5mET[-4WXu̐<^ܢ1<:Hu-~. aLu1#¥@߹pwBLpX>9`+o _b@K7&]Qs0BS˖xr%'H?:sKcn_󲊒sOߋ;7\ /~ryVƂN"Ԙ3Xx+ R;8}RhA(Q+WҷxV%F7B$ "^[R9oMmePIl#.\%C<#JAvdv+aT,nVM=+BE8ެrd+O)#ɺE)GYOc0ZhIb!,JDo$=o {X= sJrMvii/ .AގZiDžix2=;ӯX=3B7%JNɭbk!(Jfiqhg-2䯰cM臁 $HiPqLi]ekb`X*{g=Ы UgF~\QFo,[CSdf,P-S%"9cRfɯ6bP1}j ǫ%7{fpi˧jכa1Iٲ<+08xPncO? ҝ{4P ό GPףo1L;۽3OZ ٷUU0K0se} ̎.YO@j=9R JߝzZvS4SX^۾9-3#pmw+¤o'dny\kMBAv̗j":*/׬f1^Osʞsu 5y fQT|@p9±+[(>U 0іYn/jqeT8ْ`"ʳ+6gi0+^.Q`h54dfSU"wGӁǭuVh+ұIVC,}q@<)Q p&p]a3J`I _?l] /T5~]#ɟs2-ϛ3en}||ܔQT-dm;w-!{XC^!i2[Cܠ,WGdPcҼu)pT<RBWYTwt-Ɨ/xM6;m"Ϥ*.ǕaF |L9YǴz٫w<7pKK{iu]\&65SY TeMo><<0-)ß{} xtg3ܹCWcHd>2K tH>л=ҷ/@f6)]ඨZ#Kϭ#|r`jҗ9;\זR-(, #)=zPk R &oEvs2&[ڒMx!=@߃KXb-ȵکv:D>`쒥2|gsg,mVa9~@*OZM׶{fl(w5%&B~R#Nւ)%Si`]vL Hx۽}}#~Qoj!c g{}.P\;haC4) 7DA}\RfA8Ʋ˃ Fy;v++x0YgYZ HH-/U% TPOPLmark-deBruijnPOPLmark-deBruijn.POPLmarkRecordCtxtdocument.tex7zXZִF! *Q#]A-MՋhvG"uIBm5;mF "a|#&ZGZ`9N'~=Ͳ3#-P a,4Fh9B3Fw3M7Q|#L=@i2O}1[[.kFPCAT'GBɰ,ƹFWT޼E"(in ߭:R ,R_% Wa*'U!ŔTcKW0t|k<d])o%xOI>|-~=:z c8[w€!\?l1葮hyF-("H 1kkXWa ü.%#9dzUxh#p@Fl' 2YˑҬsG63>'tZ!$qU&SFh? B?Uk?{45<EļKFg DiH4$vQ[ЯRiS-b.H*ьw=:G3Yexco-$|޻p_VN_pMx~%hԠs\j vGRP 3b=8>4!u LS,0G UI}V[)jhͰ76!:>ɠ;fYrmˊy<# D:bQk&F4֖5%xQ~hla#+ӎE׹:A@*|pӍamLE7O%FW7N=~H "\Zn@-f']^ GK>g?**yj-!zН72}ceQ<~%E HdL-0 A~J▞Y҂k5`-j|gG\뺳_bUSW+pH"ZvٻA;V}~^О$n<! +BsI= $䆒zYQXLr|f)Fk`9o\F/^/tDi>a9ָ ˍ,d-{gA2MIKIɖM]>qHh}+|u_NzF85VT=*2,~фSnp)1&-pwN'qA{ץ熿 #qhËR\;#_@ݍ2?*RImhvRVM1i8IuM~JC|e[3(#ude+㬅uݙPdml^ C l3ԩFLE;]j-;LԆ{]ZH`𔁿WD`s#05}}n΄1fl2 wWE5rgR]M@D~;d;kۃ,EؗHyR` p #.Bi4֪mJh6#tD^ }RٯvN|}IY r dQ0K;Qc敫Q>X[y04;\ٵUihPV!v |y-x[/q^{lx&D'ёWm, |HcN}͟UjG4sv\5!avg$ZsqVܭ_c_a[#G&xE51G}hkPG{ww69PPJg"_64$>>Zg[/Oǝ$9:prj1"ВxE c3Ȧ,/ѝ\!G'BS'C9 <[Zڵ;%mQvֶ!-bS?9M4)c#ySBCH)ߝr I5Ɵ!Y5sV3`rChrS`'dR'姿]p!K hI]Z(ywncl6YFS7"2)6l 㭶&݈#R'{?hv: dGE-$QҞ؆ęikF^̗e :,<"ȫDZ"A_xdte}nM5^.@v$EA5 [ѫ"s^cZQǀFqY&}?Hro7}Xq UXpB KjJ]ڣqqf a3R|ʵu"ې 0w\ I #!oRN+KObIJ)Y!Zm9'[CG8v >em4|l6mXOX/%vREF,m@c銄-_;F-3s*Ķ`_Jbj&W3ף*ؼgpyx0lX{-lU6kZǔVZfce&,YAPh}FFoYSYU4.|־m{t_ԝy߹\;KS5@!V` `PyGk>'s3SF lPB9mcZ/(ꋐ N~hi@t5iY)΍x*l`Tw~>!)~Q.à9u잦B z3>Eu?IkGdq8fԐ-Fx&j,PF BAkOf,]2KHvDTU]U܎BuԗoyIvWϨ0AȤJl9o[jq кwhэ6E`2YERHQY*$=fzKeh?8pelC$& _Pև|jB]AH HЯ+np Zvm(yoKlUi+HHF,鉘t" mƻk:}Hܨy,-?k}[|v+qK[^X2+# 5[q>@Pje/KysJs)pp2L¦cEF6vXytSug30Jqoa!N#|kUj$QO~A>&XޞY2Y}#g`;M -֙"Je3Fo@@ʱ {n@ QN> 1YBPoH$i\LDO,N\ie"l[=D4 s&,O2M>pz[_ KLߍY֔>;ZۢVl>>ɴ! R=#얻L viܣ/O~'̺T$S,3YHR*J s[A/qXI\N-)tbrش,,xm,rlC^GXrrQ0Ƴ)="d c4un L dЍAYJUs%&1DMP"_>O?_ _`o}.#O>qr}11z`%bJ>|J 1ɢ{.XG Q`SaG[AIBvq VF;2AHPvw1A3\;snY2g7|~ +ROf([ ΓBc$f|umEē:4l^]8T)ON ިz=A eGr41 d$ќ|RbЦ9yP_=i$|M'%2!(+AsOl]Խ+ Y)-(g ~6sH91M:UxK^FFT5V/J0L\o𼜕$հQ0;[a ؅mXPvz/ppxyg491q[yl| # ز3$84LR=44fɅ̊N䠥F[lW߀QuGQuj6 "V,{8F&}&EF CX.q#p&⬂tïgTk%*Ah:ÛH/$L"`z?gGP/Џ[u]k?;w%.%ZS#Ǥyj~)G8}UK Ubh/[}slnq}j&Q9fr:E b]Aɳ ~{\2ܧi2wazFB!J`j%lvgNq$fw؆0t7~WR1 .pŷ`Sy$8A;3x"f<5 ZǒI)q=52Y oa;l`E"2)l #f1T Wm !/q'Aܼ2.I%C11@ ^Zn: ˗i jsCbN%X=)ld'<; +/:Tj't lMc0^o~{qg ekO:s)_%"DZuO937 g}z!<()J6_x SJ3k ):1Nx@ RDyՆqE簲Ӟ ;pٔ@'|"M+%FZgЛ*I# S2.ιVW ed>VZIߩj˻ 5 ax,)N^Z9D"Ϋ-}0N;(vgSF[̞V 0cLT~ܧqa2%zUN ''mf)~b+)|;}a"B,>u,:2@6bUX>*&!a(ϥ<X˹/u&xZW.y_<#$Qg6rR4Le;uɱ^A+yt9$c2cǡ+OÛGehDd3J߼c,L!tkQ4P$ T@zf&|I/B*vugWeQa{7vDznn̈,JH[`졙m=e* {SG yS$0QY dҕRJ/-`wU_~&dZj*fg춒7 ^R^P%!R?3=Ѕ{Hr:kDҞf[d3p=Ҩn /`+Qs/t}9Y`|NLc/Ⱦ }-bD[NL9geM> ն>s澨ږq0ii}ÜE2 4~4Rq.7,a-{!#~ey{we[wa@e$@NN`OjA}OY@c5o!^ aXك<)y@!\i1 mƓٻg9F{*Un ![ԸI ߼a@Ǐg[ZH1ޏ5ۖ-="ݲ/DkͬYx#Qv$hmռ Ǔ:7Jo\7iGGcA'b#c= M`]q՜Yŕ ׎yF7},V]$?#r_fz4?lUwGͱZ]o`3B:c!JRe}OK%Cc9ӴCG6\\).Dw(%Yl!RsuQWߠ|rI$NMmړ1fTrxa%~ !\/&<l`WbE4Wǀ={*71WnNct)^OuLFpYUHE!c9O+^ I+mɾEՀūp7MuqCI/{B8Yykڅ ZR+1lR?Rqy^Q9Q@y aP+f+B.` 8•سdX-a<B:k r4Q5!bQ2m'ՖwvppR+ÓJF{R/'*%F"8@O=f ,g J9|kY4D-tȞXh>R~y'1> 5qcʚh*` PD Ez"جK"g풝ӉyVl?+XU~=yGᾩl2UnQW:9KE5'4--a>U0ab3?ưpE|1ߋ.? 60el[Q_rXyoo#bELl~345٦&zI ?u)BC P]p{{-;,4l:Hd$ pKġ!&Bpo诂v|ކXTrYj[E7>-#I VQ4Wysne}"0(`ͷVޫOs&e_ܔ&pʠڙ8gm&;`ϯK\).ꂨg,X1*U}/oZ'%v65 QDo?vC*y{͋DLZuϒꠂ3-}Ăg]؇sfp]!'~֓Iw7Q9C?ٝzWta,_=Xc`0ۍ?_qͿ Oai?8lcFܰ PWc _ٹ·"h92`fOd*.aimYe ==慛k,KbUHKfrh HߧLkH(&;']E@9Q6)ΈMV{f;{Z,0٪@;K+) fIG$Ӧۻ\0$e_4TI_v׶w-B1 UE?UXuQRYbK&-0Hwe^l,mLL6 HΓG Zj9@aE*S`- C & IYX훣}-a7d4v|=Eo6vjS6NBpbjS}&j捛rh W)@)8_dZ۶2Ÿ|"@k>ŘSx"ljP$ZDàUn/nw.t wX!Dw.͈u Γ X ^ʶfcŅe4J_=="mQ80&'s{" pK]mjmUQʅ# ~O)lF xxw526%0x9yPbHD @&~xSikĕқAlDVq:*# "bS"Ka} 9JZdC:ɔ2#f"]Uʋ/^#.xC%5H0u0[diTJ "X$1LZLhlRa`h^>d7 +'We.JnWې[0%D zH  v[$YDO:kCkȓ*D}.e s_L9N\mvt02n q5XDX`',_[ UGV# p΋tZL$}<v'0V!I, cb叄%zYㄎ_dJW\?CWL1dMvq:Dl(.} f!J(}`&.e ˯=p(NM i{u( ;S랺CxBf`TvƬs͚S8ސ!QP:Y ]}-ͬhSuVUVB^4F:?N `"FRi} Nc8dU~n+.9TULQ8ev,T|lE#y _F#&0D&E Ԏ:)W ;qFGNwD҅'e-.[ƄPx,&ìo5lgNCA@Gl6`uma-erp%e8 k2;h/w(jr&E h;TzF gCa&5S?!{;rO!IU"PkQ~W. $\ޚ͋0ctҞ8Ćc#߱׊z]yu4rmڤ?:S1Y[A7^&<#uΊo'%ϵ5}N1ZO_^IXB+]!d94}9^}FZ"@5N A:[j Վ´ m jNpFo[2_wgY;UMA;zD(V>i uM.ELRXrW/iCw%*&ؤc.vZm%4=l˗:,_XLFQY)JW"o'ݹo݈Gŧs]籽.k'{w-i3'yK'9[Pha jb"-5z#Ѯё,JTfXUA:ޓ$9[!6hpBqvI뭥V2N1x'O{5, P>I/#9$ .DY)X:p?ZUX9wE!IsTͯV9kK4Z-F?ՄW;J}?'MϴH)jEziC2hSӞƴ<^sDxRżrNgiѯV Q(4!:·27 ]%)vDĥgX3b ,/EoSWz5<5|Q?+w jR!n˟GiEV0{5lн)_3X賖̹PfS#DGk%ajo`1S?c!a^X<\ӻi&J7&t{=MRz!4& QO,IBϟqƢ^2;eq8 nMĊ|5t3"2U{lɂ&7qoe-:XEH+6]^ +s#:*nS>3G&;MeE;wIM߃㓂 )!Ƣ~$*6 燤{zݶ$J]BD⬪{}'(jd$]0ޓ?Lh1{RΉ $%˙(7y܂? "]G3ʱ' #J2 )7Wliff4= ?%|uO&)j L{UeUɓC=h]J'q=؅w|@$#/ռif)?6w,8[; *~Ohm͞-9rg98aB}m6pgQU(ʊcVՁ0:%:`xJĀ+ bt_Mar$Q.=w o,+d4!.& Hn0.N2or!>i wlCQ6I ZDz2\вGYcUΈ2,tZCQ'%DtfYPj!( Bkц_.3_ &2N߰<;Cm& &MW!]1y)Gn,Tu` ZBgrnFMJ2q X/KN b7PB=kL C@Z7s Ewv"QYwYT[%F˓WpɿT:=EH!8Sn-EHZ=IA̻ lQjJHs]]%M)XCz'*yd H lBBϴ .I:[/u 8WVF-.O^hih?DG9 -iP3MNYZohS3kC4vs3z99bpFGzO$k'/yJ|2+ac$S,̞JZa3C"sfһ׊MkHI.I,ufլ榲RDD: 5줦YEzb`>wM9MTƤ6 PNe~o)c߳OK fO"֒ܲޗDVZrᗶx!Q!iV !5b=CBZ kW= c͂Bb$J^ۢhaLn{Q@ BVYwU}@zB E`REc<4,n EWy{]nybp][c",jTN^|<m-t[;w$ցJZ6)ע3p>ϼpruC1e|Vmg1- b_?7Ҟv5ᛞ[62TЉhs,e_Y6^&dU۪{|1:Ĺ::PJVpxb9k\ޞ+ EI:?< þHhBCwuZW(St^~w;)'p1V13kxSjv0:& RAzjr #&JGS+mZ.Íq"63fNdm<}2C.7^(n,`u8Fuii.@Ͻ0Ijx\A6~pD3(us ?ЖePQI1eZAacH4QgNpfi8p>Pe>q0"hf2ҒD#>-K*p_]FՋ_S w>aM+,0@!?Bܼl;չ(COpqpEL'$asJ汎><,rAx+@̈]G [W cS!*aNyenXћ2)(14)|2߭rK~X&tr!%ț7]hҁUyI1IT$z-(DKhEtnIbtbT5|O zZ1앱uy,&n!'mnPG 4E$zF1'`+\I@бsrj{R|of@l A굑MW7?k=>v-K3i %0bIe6'@Ѯ wĕ)1 A62k滿e' Nt4‡f{Gyi^v4#e"?6c&.(crvY|V pXO{C9(2P;bS WN8%KeqsԠjƑ  R=q:N*FёR"Jy`6nDsx/ ~݇Qt柉Mk(/H^Xݱ([a[L Nd?){j(>p6(IS~j``sf'GzD-l$[6TAӑ=6˰_g%o BZ#3VA-B"7.Oǽʻb@q(c6n}&;J839-[J[&Pa ժYT;G 9wOA䫥<@`;g zû#${=.&BCקyhx#!" L^%^cU"^,(o R eT*|F !F:ؿNy_0 h^'h(ܓ?k]2@?8`7&_kةgr n}+[m<07N2jhyp,HH':u?;}?\o-+D‹rf3lϊ`8dO;vMRz9zmS4hӕ̚׵T=" LV,}.(jo2ҽJ+ǎipg=w)Z5|-~!U- yi=Shs5 js%=J;0'`'xJ uGHKiMv-dóک鈆Pp*݇ӣ%<"({N-rvZK S`;hW,ǜ#TmYx)zu L-PrD&jcM^dG 1!O/ zi<1b;*. 't!lPSƣ笲>EjƋFb%jד{PIQI,v|vƗ} CHF2Tr #GM)-Se| /)#e1wwt*5+a ;;o.6S0j<W?@y!uPPw*U X_O\ o6TP<^~b&}7ON91%?l5<'oq*k%rC},x"8Hxu{yyC)ԿB9kzVhxƟR*peU ig}PҢoϺEL )6 OrA̛)-#emЈ~$hMldm6{l"y0b J5xM|! =i3ag0(EIGsپ}n2x!lb1<Phs~F({.7+X_ضO2+]'Z4w Xޒ53x,TqD?l 5W<*W1!N,ֹ|ѵ)?Aosrmhp:Z(p$czϝz2`O U\4s8W*" D;Y=\\" t-]H A=RJXB?q^=EJڼ0z=<۵Qy5P_Ed(rNr0s=Wg1>LJٳg|jgO.d$lUÖ:B9Ϳks=ڋxTr̰*%jAq=lj riU+RT:@Qw7^?H3N^Kʦo4%\,鄻J]4'-Um\PP ϋ"[teh3pΕH閁jsU|m\X]ω7 wf/&.H)\?wrmG) r5l6pXqufejwm0tX wIa94e%dfN,Z09*=Iӿ\]p¢Up]\oч65Ʋn\:_!up&|F,BZDm=YRHO)+&^ $]y=@4|vx^#ʙfzzDI0^[^/vqИfV"5_R @j]P, NT!q %.$Nu^&&'v..q &͜|w[ޝGIj ;WDȑmqhycA+ #p:lQ3!vqEh1soWqe0`8 vikaҞJx'ǨBμo&\~n"Z:OEH)u%-gYZ ll| /A% POPLmark-deBruijnPOPLmark-deBruijn.POPLmarkdocument.tex7zXZִF! 4OL]A-MՋhvG"uIBm5;mFmW_:JItVir Yig%D.uw[XLtȇI"9[lė^bBzj g+:J Ĉz_;C!4񥽑nwlӡɯ~Isè~:n+Hž1kVW;X̾)`k~^&էEZ~78@DJ@7%ȨoKEiN/õh@ E=?i'oجj^y[-#riU.:)M 9Yf`QLN: q5M^ EQ[So%߼uxTkZؔ<6բ_XMP?϶ÔfLd2q\1{ n=``r@ hR=ŅvŘqHQU.3Je)쌺|lC^!% iSs6*CHY8d<5 c|$OQB׮᜛jqms9DKps|=ʃT:SrIanj~2Ẓ$KDppô[XΔ"Q`q.e!%r.y +&؞6\,xӵWP(|,xM}]Zl@/L ]e/66Ga]d5TEnӄJ32F4#u27S*d_C3 s7_fo\Ü%y}Ʃ'4#@U{ë$EUn_Tn8V`.IHzDv]Cli x7Zg8; X,7wb 2ε{&=Kpt4X|ey7McJ_a.05רF㊼I~qy<#^͒/њ՘m Ҋ >-wmټNE2I}=hK"EJ^ENsH)t lMj#<~mvGEDc9l۲2RڍH7d3.vፘWlR%\H&HkB"4b3)$!~R@T糌VZ[9~!fX;FztR5 z^(䑉GS,.nOz6wa0?];)؇%P~+⠏R7 bDpmT\bgQ@HN(|l53Eϻ~;w ք!("kN_SX+! LbHsn @XV%04Լl>ΜJWS%0dclҥ;iACҨ97oቁ\&(_[Vcw޾CSQ6G1`\<9TDu *^pH-B0V+Iw?jqzj%Όsj܀&f\v BK;bp8;BBe"z}V4󕔞:]'{,N7b`fMQs9aGyR'.c=C 0y]2v0}R#dW3'zyjqsK?X]ٌdy}{?|MCq캹ըx*=¿z ,d)aq9nfË5TQ7`F5;ň=z̈́SHS~2Tq7y]ѢfrqqI4G(}Ed) ߞnVoiy xNWˤ_ EnEdWiKx9{Z3;yȰmS~ @a wNAϙ[Wo2:N:qk@:xnFI}, -Z:v3dN&a˜IB"*%R\ӜHwO%*$5^Ze 5o8I_%Zw-pE,}sjE,;u~r^ $[?-1kQ J6/V@bY{?v3ڄ\y[K'BPw&qr=p2;eULb }g=<56WŢpXܔz\l:R;'-iC/lj|ſ v·dl- пpMq%ASO=4Ur@ :fW_6&oqjxAjc*^VNBx LK]Aeg!BBIq-ۆw5G}2;MsȹܾŘcax'ww #x[GW!8dž|wS>a,OņfT9н45м#9E+#(g Za#w x:|ɢ *y"*o*923xP9PeLh,h7Xأ.$V @`LPxX2s':[y/UwG,b6AHՁNGE\#(~D ͈r5a"AJIjr*%A^f=+z_Ȇ$P"gT]sudd#Ke^Se|P[F8y>:dx'ܳ+gM_3w)m6>7Svq٣'vVV<9$}"P%/`i FaB#\Hvە3LmeƜK1p&VA9 #~NaFY>DodR)hh%iL5s`2 C<$DS$=:06 2U@wSN"=HEIr/ַ(@c6:[h5;/b3|9W¤4ڹ5k*݈F}Q\\N^x85ƝT 񳔦 = -ws@˭,Nۯc(v52D!bD1 ĠdO\[<%Pr ٣ONGoM&hI7!FC&.6L ڮއt,x ,`rP]1rjz [}_:J0UA>S q+P mzǪxvKħ|3b7'QԦ%!4Wi=n&W\e$[ `wzRMF7v0=4f`-P_i!Y5IK>wS,\mzKڋ rsº'͚i[lפD,8ѤQŀ~ mT\ 9zff8ϯ|C&$l XG}I;Yct.&:~őeG7&ߞ50? ]ؼJL$;Ŋ~CMa6QڠGӠдY=f=C3s7.0u˃IƉ1= ?b RjJgE/Êy^i~4zN iR.6aQ0N<@l::> >4q벃oHrؾ㇧"ђ&z^C՚ώa:,qC{7n ~L~} ɞRk;z0kS?1Z.^K!ض[-Έ -һ1RZ .j-9p{nAV ~he:wm}Ed}7WO٬QC(5[C}ttV|]O1;u,*z M mK4Ͽpz&oC^KÆ4cK'1- P1п-=po[|~`$pOk5DX4'I1-z%%T7qঢ^ ZCW (3.Ђ(Q97Z$ʾ@ v~'DX9P^c-FnBB(:"]~?SeU{$=06O|Уͫ#MWK533'QQSL9_;lB G(mҖAc;Wd03?ʔ)!{inpnnZ s0bins{tEzXd:K9Qe8Z\Ո MMa\wUJb+눮gg+C ߳= anTH"Q^"!jMsQ|9mfV 96M34DR5;ka"+sU(tջ㓵'+]tkYZUGJT">ẅ́pT!3Qڶtz͘F@-N7Js 5c$!G*{j$3㐅 UcȽ+ Un+Ս_$ecKJUC^dho2P':x,͐\xV;#Қ JH3GXv?k15N[jC,@PI菶Gt_+cjNRav|fewyOȄ֐E3ҙ޿킱X^F݁ԗP+dt6@( %ͩ'&gZ^2zvjmizu=Cbk~VG$S[HJ]9ǁ*~ZG!+)rec#>5Olߎ[)]ʁD TWaNY,V)N:R~ x0slB@)B>4PudRG Bxk V6oëۡ[}݃Ctr-_8T*vz +r5yoPat'abcZ,ƏRJ͂ٙwŏߵg+V- Tg~"q\rtA.HH,]:I}#%m ɨC1ژHK{W&ˡW=X Jl!M/m4`$2-vL#:rmXĴ~WrfVgA=6(F3m 2xy82|df;[]W$`=Q7E:$'쎶\R;e++.]H5Jh}J<#k8H|wХ-m]5f<nQ^aF#-zAo^']?|4Ԩff5%-7JÍ!Dw#8T]J*Q#$q *dEP BSt~Duhbʂӫq_;(')].Ճ~S, 2 dI+O{7YE=k/Y6ux\@H.ogv|L>\sϾ >ܪ+|Au6 WG p4a̅=&!#hZ}kwGFO>"R6B?vHoeʬkҩ͕8b֍whܴ%Z6/w>! As|QteMC9DW z/ScA›z9!;+[+>j=6w Тγym@8@sx#}Ȯ%4ğ{V(Y){#+*{\#3Z<|:<>1g͍LҌŐvF>,4 \ ( [b6XpHn&kmClg8VW1WM 3ֺJo8#oOfy|u^Yw5ޢi鹤{;Ǘ-;Tc!~FE_+ {d9y*DM<&YaHYEɇ!vEXp`TGԢ XX G"z=-7Xw| doV@v/5fw,gbhtGs҆X.1ʤ:!cbZBZ2,92?"2&]~iΤ棈Я{Xfq0"Ih)M ~gt赲=vӥ8N^BghZc{a\@_=,$-z^@vfK+@弰iZ+F{/oe`n#xU]CbIM-:T'1Nnt9aNu%VA_Ev~µR1* Jy.Z? rR'G (\o1ied'-lyp+qz =IHtPM[lX2|@bpZ3Lx?cR|m2W.|Hx D^EdN^] ^)-*rYFkʓ=ilze@n&W]n;(g]pn*/M?[FyĘp#fJ/>N=(msh05K^a%a['D1hP] Dz]slƳ+n|vr<{)r9N%&o戮`@Qo4VA'"V{}MQmӷ8)FTTٹN>"HP{T- 'bvdFjh%S* 9Γ$FaWmfd15i$.vU2//cv?- m"Gisg%x\1Jk3P?D0xw. - Ó y8M”K'p˫6@BQCn8ÚO34 ebhq,f_KO ,psʗ @.4isb\ Uq*]\ 1Ӂ=hmȆn`&kTg(k%#yh:GST$-M;x8.7]ȅhr[BR9@80enM)YFior0ɵz=j،p`əכ8S-y2]c C)>dCodʭ"x3X .SPugKP.X}۔ CFmTH8rAN0?ˉgPA!59(~Uv?* y_ l% +Z*f8F{@[WH4Ab UE =6XQ yKGB ]g \UU z_ ލ%hGAU9]Yh.xIؤڊ= ˜ 2lΏ5=ޛ(~Euus&T1F8"Sm/F8hiDVWKhѥꉞ*r(+&YPFw/A q)L=;!)|rOM6W7ݱ&CZm/ޑN6fo 6ITT @b4Ѣ}T=!\S6CH awyN2ܟZX -uPZTԳ)%cJ}גla>1e2f,g .a쬅\!v QWmo8]bRRRx=o7T7)~UmX!4滓-!Z׶f;%Pӏ$Q7[ (xgZro#/:hE0ZL;Sme'h!JQj>%0fϲ"ڼ': 6@c,w4~?OyU;/d= jOH.B@ݺ^WѬU> ;pP)U.jh\sA-p5QRm6'KHu]*s7sgoUX4b˃]42D43B;6S* -4I`}gR?OL-IV m]Oa Ĕ-TD&#dsQ0HYo|yj&y$)D p22jLE50 dFOzs+lq `HO 0d1m7|m6Qo9TXr3`ߎM<gRY|VLX4ަ٨i ̭m8 thpTGy>4V 9oVZ|䆈ň1C t+ ;ԿP +\e$ky8!9dDQ>X}\3 ʰBrDdj8j*1䕺/&ȁF%8I\!;UϗGp&qϱ>fO ;)Gq@T@uD)*[#2.%P˞xüm$$~tjձoqW5(Fjf}>H[m tPd[n_=Q OQn=K[}HCh`'KW.޻,OPPMl.K^攱T=i<Ub (yaI3.Z;1%th@;fxtV8 }?.kʢ]5>4l.Dki4'z@339Ry,L_ PԷ<\műʝYf-Bl{v vUNtrN*ӡ>θ1uq8qrr%ȗ]<>zV 95c;$lNByrA ·PԀ]bw1o ϱdS7,h\{H@nc8U5ntsmǢkQ-L8B }oPn ol|"S+tx BoF$AWaӦ#;a-VvԪPBw~XX +npd6ߊH}$r@X͕O0}3U=nWPtX3Vm֎ܬDv#ԢFUDָoC xCH{Yoq3_h{DI8p"MSW‰@`'o1~6M,gc8Aksq]7 3S0LЌ7bώIl]aف&>˛:n)2Ǫ#9&C.'C6zSVJ넬AB[,EJ*+N͒Xe,z+j+y=Tqr(ME IaG>^ˑ@J#@{R |P"-~< n:l˓S'~0ރcEIe(kmZ - |?->LP 9Tm i,L4 > [tNI p 7yѝeLiG&$Bm{bsk~% rPKTHǕFrۂ# =n"\2jqb/;( 2".b [ +h0u 9PYzHjdhS9e&!/JW6F#p.㗟 ]=@qI u}$a| *!澫*x!RZO/?!c #VX<9nO4ntN8RpF ^Zx8.J|4oS]}._XsZiDx:L࢙ۭ͔iH괾EO|3L:X~3,[hH@c*/9=w5T~݌= .U$b5.37F&ȱ>"麖RA_\gK@*2~FtC[v3O$-I4xDu(]O?"$N1:'5$ymJeئUuS)k+0&mǧ+ZUVrRiOh"+lN /b G]&Y80җ7aߜ_yqMKׂe8NBaڝN4MJ˵֯~uOd%?Ps>sN79ɕ#):Cٓ-u/1bHܧxU8ׂ p`5B߉ 5妚@$m6k]' 2 ^<\ w)'1%)W.ݘe~WV%I} y{]+xng=h];/)~;˺󞵩B&gϙ4L iwZY$[D_EG깘#^"1)ru>z N*05=7b@#ݐs\N*[>}w~C* +jW5jfWXT n :k_IKeqgraf|('H)TAFbdJJ!i2IH6!_U9hH )iv?bF-q}\9 ?mͣ93XyŐE"+^|a(OΑ 0A;JLLM|4Sy{]7Pۋ`aǽȁCG/>%)oM_޹\hXW/k7[Tp6I'jفI/ya&Pk(u|>"L]-lRJs:GpLkV¼ޙSi{:$SʴW 0l.wTQ;[jr>-a1\3rqU)#w` !TBle1d/-hbD\guHZžmeu,Vc/ c|9LmHzM; \ 7Gċn^$pN384}2$ %dg3ao:|kZ& > 4X'l>,Zpk-1-qv! Yu%Ϗ^Nz։ 6H?a/'p'x*1;34~Q9ʖǡCCto4g\y L7 zN ~/猙y1wM -"Iq l4;ô).)rX̹KNL@#cC:} O"cqG+1ҌZzG*ںC4)Cb.A7Eʷ]NVP*o\?&pפWaZ4qK8'qu/ u&)ɀ۹sܗ$V:r.B5\s1-sZ5SW{ % V!6&4_})ǧ_hZm m0w:of`'gi|Wݭɪ u+ eRZY]\yWTw`-^*0BYBP(xPѤWE ep94'9 A)(6m;\*P Q@U|50'2D<]Ywݙdԏn<m}?*?n~!U[ilG6)$ϓ3|lu@ϖ7RhWΐ`4d&rn:/$"6a ӽ7h庵Bxg>9 QEmʳ9BI(n2E)W ̔|Vu> HS=L<9iK\9ZMNNkݽ応`[OCo }gHƎ{m\rypGV*!FY}5c-Gj|uYуϯO׭3K]uv6TkjUoU(DVD$wj^ﬞ7̀pj? wc37 *䵂И8az4?rĨpOu^z AϠHjd0EdX^uvvisçXFd50==4F6RMtҺjkizu#5B?%lB^|Vnڑ&O/p`"R0>!"n/XZ&e,ȯ@a =璒q.Sl@pŔcÖJp*Gx:xԒA"G9oӀJtrH`<کn@U H7:HSsu@ A1C<Y ]ܜ\ c܍˷r"0gS1W ,L~z#:Ţ61dʹH6*'/cŎܓɆ]ݧiPitrRfjC@aϋ>FRI.~$"UyK]О$PG7w9w#uu J ry K , mhGk^狮"GI-?uȘ'E%l0 kK8p֣6G53tf5!?SOK8oTKr@x؝i< ˉ:$[-kM_7C뗳+N.~ftRT#\) }'-ّ~wTޜ !ӄ%` \GYa ca}74鸟aON%`{)ICsQ)H1V 5wM\jXJ5ZL$żV_fCv"RGtҡLUm)3S2>9(Y~?4N2V&*'j?Y;`P) ӡ9ߋ'SP%)s/ez%,<ۍDdH*YDSq v|rqu aFQ-\^\ScIFӳr,R Z[t$4zVXfww[t* z?MޫEמ)hkMѣg@t2ĬKbIvAZ!(+cfIu*sYѸ=.Z|3ՀrB}kB'H1ًt6m/)*xƣYca!{]VXI6x&YSބ7Q4યx(Bn2%oY?=EwO$_h2.- Fǚ@Mh̏!rbr<hbFn5JP- d:IrvsNgWd|lD1r/u=^6 Lpy8x[ؠ"HLM"ծMeFw/*~;UEL mŘ/֭d:xOiNW0s! 5&'I xqL\րBjEo7\]e'5(&SQ8|{U V{MFꌶa?a?Lx2On/0PW0ƌ޽_,#_c 2kfr1Y'1A:*P9!}3@K:-=du*{w(~G6ݪh3^y9088 Pls*R,iPح h ,sP#}9lit:-^٩ғ {1;X=x&7XpVN {l8Y3}i<[e_ζ D̼9 dt O1co?aPl~=XX!IUbAG FlJ~vEՓ*@[;:Qcviz:/}z"ތ|ڋrKyJ6w0 ആgdPN ֽk_v۬ 1 & n;_V`CkϿ+B)z7ޭeP˾La 29Oޠ_kh3Ol RiWqoŏbF=m`i=NwrB6Q(N U5a%G6>lsõ-uV%@I?]P7l1d< #yCN!Iw+4'[~ hsԉR"|ZC遵e!crB˕DCY*6ķpq4x J뜩OxhgIL|jOvxzAP5O`}P0Lŭ$POY CK}7̿"glYZ}M}VHth0QVF K3T +mzɥq1mw sQF/+*piajCyT|; ?@5Ju/M*Uwj,/CP>*.gO9GagW_-d?}[<1LFF\{v՘g_ ѷ4%J-UsΠo.nVA 玸{x` 6F&$<[ݵS;Jel%ߘi wç\,t1uN_3k;T!@<,iSv2slf9׍".c^rӨwa,7uNv2%z[9ov&j33zC8p\PA+6x1LuhԑbNW% VTr_`F\WuGBPnDԪ4ԧu;?Uͱޡv _G@!b.^SѺDNLbY.3&U꯳TFɶ/}gG(6N.s)Ojo(:c94o/(h'gכW5{  HD)oV(y}9`'L;:2!_3TLBNn9zru8+KY]OD@7F ӰQ恧=@|Kj03{ #޻Qb}h]Ҳh$8ZbmOpjN51{$;3W]j2n ]- \ X <0v- 2%Uz)a[s3#a:J o9 ?2\U]֨*5{U.s{٣6p'l1KJ3 ( 7qҳ/@ TE\f66,N.לΒ&a(V?)7cSDON(j8o }[\t9ΨvC4H_GJ?b}j(/H;<]i3)S5. R9HсiPxhmPL]WUw]SQUF (LSdr$, $k5m>wB6 &T lO 2HмE#CS3hzK9 JB8(/0I ]?23 '#0>w;}؞#Ba0G28WFBUH Pt:Ug+WT! 3{HUZحP()Lw%!7JAC×>2@Ynmv`:RSG(ayOfz9vcڌ5I|)Kbr z V Wz{5id \O=t+t3fуcDm`ۤZFw-iюsm vޏJj0Qg90공F(m9$XGQŔ']7|ECY& z1f j>Рv&T/19|(%bjc@]_ 6L#|\. &mkgA8oq|: V\@v7b'pPcsVہY(;٩L).5zUCam2D<{E}\w+᳆3>q)+WբQX3PwѼ fH27v],Q\q:zat ^&Q22ztB`:q'7<>w{k̄9v'TPt.(e,,B/Aq;U;3 RjHvp[r?qd?_-kԸz0e|dѯ:ٳU:۶ "cR]UR@w}7G %^KijsTs˄cb X3Yv06 &-O(/5~ࢅltxo+O_,y~@93f]T!㡏fe=ΖhGa=r&\?p E'4,I,3U/ >-Cw/FVJߕWv` aen:@`b\ EK/-w4G~[[Ĝ?O57$ÆsX3rnWV*Z?n,ysP]^I`YVr2EsHyLk# 00m|` @[9..+KI;އc㒯pn"1]ϑ/!:2@Roia D & iP@XEAfqus}>֒]sE9TTǐ8/ទG0W1[f-PdX~VB귛;307pg 7g }@[`Db% ym_e cMqrq29d&E7*8 \ck k%R|Y!Ouȥ|L[dH=ulۦ3_P󑶉-@ϚZk:hI@Y #,58;rLv?wQZ% I2Y|U@K90uU+f̥& 𴴒;<c?f 3.ex->e\<]& ZWt I )٘@|aYHqE19oC[4=ߑ[BHizh Qػ[: W\@OzqPq/4n83Mݯ`)x M fi%+|U8YѸ}eeuǃAaq-eer#yG6XgOIv ^>4sw/8 S\<ͅ đ@9ìñc;mΝV #_x9G~ :nApU%4mITYԠ 2<a] XV6bEa7IUK>v3rH x_~ypJA)J3U^\XLp9sFJ &$*(.a;еA#_|ں 4.i@lstF@5nɍCdivpn1j T/E& iANi0`A Ֆ`V%@8}wcuwެyTj9 ~*P'%UR9v[_qAۺC9y-Qp78qT]c5}[?uÜUogt;ڃ\1|PInv,hgA2_`YVXO6s Y86K}3;[69rb-F?k hb?jT}EԖ,t*WB,W\4sP9 a`J&>-Tb!suZtO2TU]!bɍv,GҸ 3o(Y:]f&+5QAOi v ajaml -vi56gXT.#Cs7\$^pNf^ =qxeh`?K';uʲ/Z^dGYN,|ZflS@e7@{6`$5hG!:0Iw{DPN j ÿ~5hWXf DXvΆ4cczWc52z8rb_,*@0w2 Di ) [6O8mD;^R,WAo;~kRY7!]?rg@AA@v #\ꬤɁ.˲@v4\G@:ɋ{Qu/LҁoSw9 I8TI6wnY|b`9s/?$NAD~C20hpÄ<@1i/QCg35P2vPF|}W R[eDԼQK-RP\BڞNn!Blaat@5&njDc`w Əy@·+%ՀSm2p#Y>s_نV1G{H W34-b+p&W,G/:]1,:$+3e^i|9e ~ֶ5\[+O6}k¢U_;E ݭUr "sZ2*b8OpPXgh*ӃXBȑ\r^hpG7nlڹ~b"j8>$kt⬼(.X1E4&; -GK)no&D!O?&!_'ih='o5:@h\PĜ0D2z]´K(ؠxi')Jv ٞJW 9SG2-bI(=4KfsE2C50fb9#Qfo ?26\,Q\>V(:zqS_ig^^zf!)p96^(^{_YFUY&_$c"Cչ ,qRPdVXZ4PXnc'㱹/8A KŜ(Q =֋~6ߧA1A 2a9.p%IHXm J9lMkp=t).Q RG#|}YMnjCiX-l1oNUob{.TTa [VR: Un1/)gzkϢ|Vr1f0]mpHhsaa}5*O/ c3+86@x)uv`[?ƐnUqNb%q&jI@i|(Xr?豈HS<w']cf(qvOƳ}tPn.F {lW 79(B;ԋ[p1>U\'Ky;!~hM(Z7o`qC!3ͧhҐ{ZȬۤy"WYn&ΦƖ 0P*wcKէ2n6Xް}S:66 nk#Mk ,>vKH9:|ЩBYq33kIBja;*VH%=~'`>*.]elpP;S2fQ ЃI7!P/dr:nqfWkØqRy m 7Orr4|MWÂ#sTg݉wKPAܱ:"3SͰB  )#3Z*ƥ \#AƔ-2jq\L`.$*Y r*F2גh7];uEzDq@xzVh-Z`CSe{D.To*Pȯ$Ok^.>Yߟ@neXy04ό2 ܒ1c: 7^jxo%Caf JZ>&)쿋k# 0D;!1>PU@*Yn~kLpf.7Y=?Wy>9W77%$iЪ"IG;3?ϦXkJ&x_ um!}ƽ&Hz:P(2,BN5Wi&[lm[9^ӸHm35]Q GP:?31Ery(j"zRư]F"qo0ISPTB\V(9ݠM:0-j/ %W xg4 fX/P.bE5a i[JL@O :nGpR8NvJ6>ISC5T!ݕTZp|VD/Ha_؋!{a-ςj0KCT%3L>͢܋ؔh'$YQ?G ζ`Tuڐ-̰ض#">gCI-6bA+>z) |R7EHUOꖢm۾\ڔ кglK*O 4I6Jh$CQ6U}9 N$uwtHNƵ}XklՙASY:LNM 1 m,#Q+|1xt?b~ :D@'@m6b 5$#Mf+F/G8zʓՉI~yN\MkĨwp8 tu3ݽQ 8?m;捾k<_clie*#n{gTe~% dۛ2e<04p;=D 0Tb.ײطt.,ȱ :V*xWCIagydUF#!5gYZ Z /M% 4POPLmark-deBruijnPOPLmark-deBruijn.POPLmarkRecorddocument.tex7zXZִF! A|R]A-MՋhvG"uIBm5;mF1(,jrF@#a 9ZT kٓy.ocs&ore㶃PXh"Goj5. fo ՛HNyRZ)ZrWd\"O#D7xP$ōQTNkjh, tkW6-xp:$M2ˇj9 4C"deiF56؏4MiD8 6yⷖؐTI,ݘ,&3Wv]2j,?qyao2:lF ul3x\EҷrZX LgQw0BfS854Qc,#_+s h m4R0o*|[Zü0GAsgbHr|^Tr7$mi*..1wB홎`ɿ TIeT2ۋŸ,'*bLԨ 83'[cLsεߺimr}D 3:+‘rJϾӀquJ(靠앚]6x,,GS9h/ˋ?&V|6%ѭ,ic\ډ$ wKܪT`9a٢P.#Snar> Iv?߸zgkDtnZs;[Bd1C"_ @ vYl/_}4 4}]@)=H,$ɯڳ] +퓉OkL$@ w,- $#B:Șsڄ'c4~L6,)8Puy=7Ӷ6>0Q 0ia3Ϩv> \̶31x1єB} uon$c==3G[yq^27wZ׷n.Trza‡K( K߫!)uxZ l3螼^VǶ9  O]6+SFƟ[ۋjq8H, .2dY?(E9Vr|߅!X5z++Kt`x{[IWzDf‹- QTTnRLmh;t@xlwvEt.7q:|LI g9)J^nˡr K F uHx= b30y?愊./9 媾|ÀVF Ulp7L`~|*I!9VЉSvWv$b2f_ofqyλ7gۺi,:5S%#i?er [r0j2{\X4)'9F'&0)cҚ{D 'BZuCb/)4&JE4_I.FE/\k"+޹ϩif#F@?|JM߭"K{0s6Zޝ[0fe,So62N;([h[+*nfeA*z~Mwkϵk61XRZC# ȏC$ٲ]cpM+;zS_wޤ#uu:$jQL>-q464?Q=N~{GQù')=4XAoK%*mt<3?F5lٴދJFıp<