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/ Ld ] POPLmark-deBruijn:threads=2elapsed=22.177cpu=40.960gc=2.416factor=1.857zXZִF! eD]ŗXf1-/6vR[1u 3ܸ&S$'W+$iq!t52pI.4E ynx`Ss4LXoL?3ȫPZfK|έڒr/eܼLψV @?%UO}x4˧Ӎv}#ZjH kg]v,ODc-ޥjaۡvp"mۉ| 9Iuw hI `Z[4Nz)}.͵J=ۿS n] E*F%=Ҏ%M2@ C|=%A/_ȵxŠa\`1` x DˊF! Wy@Sܦc [߸YC E;>ݗ[&ڹ! kuQtm$qۜ5[Dg]po'kHwtOнVPH1:ȥn,fac&"dg#Kћ hwg5Gn4.3Zi~rLȼ-pYxkk9d6vQɋP],9! f|s0 pҎq*{ONoTyʡ-bg`oxhwTez"`Sm̸-*ahV;DhR{3fk7g.,g|b~E閐`XA+"4u3/φ;8 d"3$,u9YI{HSdԂ#r;v[ct!|! Gs;eT_680SZs3]tGk(I>IN,*N=]?uS)=P?D z³oѐ~ [KFlwB{>^IޚXK 䭇IKlbӥԞ)R1]OjkcA<;Ͼi0}:1f~7|K "Yﵐv4?.xB,vWE垸>1jLk_-t[W?z*<dy}If |D P0 $r/v Gā&`n75~\Oo}3Ns+(+uI\o݅3aH'6;bʔm(VO4҅&و.q"Ynѯ突sʑxM5voh%/=MaAɊK /~&> =[$Dxϙ){ |tm\AkָD|EBgG='`M|'0ii,H2USC;] Y#=9X7j][L+Cj^mʑ^>Is\>b[QֶI| +Ɲlyb UkQf,E͝T0$KԃeF(ɼVf uF61"&Os9r3-v> S^̬uskAN#d^ʋƮ.Υ8Bj0(g5[[V*ņxY#,rCqݟb(2>ܭOLO#,-7l; 5qƋKSEe9.Yxk%r):~_Qbɪ/2Xާ>T@*b%--V$KɘC$;p"꧶+܋QGg.%,Due8hrTxs_ozo##9og3L~C„KP./D8"y=y=ˡKxW^Ga[`60Q1?ݿ#@Lu{iegYZda734df5b3d3f6a6a023edb04e31e69657ed7e230a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 / POPLmark-deBruijnk/A% dPOPLmark-deBruijnPOPLmark-deBruijn.POPLmarkdocument.tex7zXZִF! CrMi]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}RٯvN|}IY r dQ0K;Qc敫Q>X[y04;\ٵUihPV!v |    >{C/M%POPLmark-deBruijnPOPLmark-deBruijn.POPLmarkRecorddocument.tex:/;%POPLmark-deBruijnPOPLmark-deBruijn.Basisdocument.tex</?%POPLmark-deBruijnPOPLmark-deBruijn.Executedocument.texG/U%POPLmark-deBruijnPOPLmark-deBruijn.POPLmarkRecordCtxtdocument.tex</A% POPLmark-deBruijnPOPLmark-deBruijn.POPLmarkdocument.texq^{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,]2KHvDT}&0쟈g8ٳ9BJ£ʱ[ZD[ښ_Q^FNנq}' 'Gt[A^S 4&ONP90R74* @Nb38YNY9^:M.oj>_ng- "?aJǢ>Mӯ[=NYtc4(OL>e*8[2,:7;[Uhk24ZK5O}at իU :/ x0.oOt 06\Sf)b@xF,dXnVCk@ 66x'0adz؝+ +=iywKh4' 3Y6 +JZ'r`C饝4ruDtͤv<M?]1̨[:iy(4&:;e+gAL%83D>/ewYheXbXؙsx𻘔 }٭nN j\͘tWrbBol϶7Ɍ^<ɋQŏ4a) cTVw"lBQUl !^6僤|~ܑW|vv5X͏FkSv9țłzOSM~ٺR H^G7ker {cMyٿۄ+q9;h t{H: J ҪOJ%YSK&+[+p߉ O:Pl4 " ڰMD>GQde(X⚷Rz@k<"y;jmDn%E3 &T5Mce|˂GfEQvL9>aϛk㶪ʥ{;x+^*C.L!jkl[hZ ;ST|ʋg:wJX\MO麥0Kᲀ°5I;b*YOy;R$Lkx~pѱU7yDIj%XSZvG?C}a1ABMk  ߌ}Aߑ@(ԆZ(K-D:3gX[ z+Op?=TӃ18k}5T agcyq'C%`\o)J/ #8ժ`0렋c' ECLvUIYSLиv+cq$4fZEC8qYWk{P=*Q jΛP3x**k"9fEigl#Vr&\F$i_%ɶ[OGfLO9,u:.gyyETuJ|i5IK"Wc!ZlJ\=!ܳ1@Ŷ UnO7Gp4@P~L5rZr~JNv7NԱ̅H+oZۆKigb h^ pSn)#1נvQajg؅2c?+bwj6o%i K3'epg]w u-PhqBeV#_Ə3*tI<ײSm95|FhK[D*w1g06sKɏѤ2sY^sLOp /pƅՃ ׭:%L/&;w"W '[P k mQ"4!O61`]l4K8"AV褢zҤ>63a22)]U*^d^ϕP(jEtuOGf3Rpcc;-}W%῵&e9R]ڳ[͡Ҷyd-ТW ;>iMk&/gTe;9{:MW ̢HTKN}kg [:,|َ\$f$ФK6<4n3 7#K7  Xät7@__b]!LhYBѬ^br@X+O?|_ycaC(@J={asq&>~V׎6<<{ѯ H&@ZAQN3ݍb| _T4)r/GQA%nO#9oώ1'C~u]1274ԡu|Iob`wⲥ7[u8 [IQXpM68K3̬K)sق# ]8H+{IMӣ5((u7}ertʋeEo%o9vMͥ5.ƌbڴ7Ze.!phpsE~]Rp^2LJ(={ErBDo> *O̜2O^)1L‡LPIBfx{W~F "#/dTT~n yAc?G>ܓf=rQj5R)$jD '*cFрaS{9 !!: ;L $VR"h1{tEIK#fʃ<ؽ!ҵBϒuΉ*OzNjO]-|qNʢFU;P9;}H:=Ζ4+ˢҐkn#,TJq;~j[)5}IuĽ?276U=+,2,s^CO{ƍadqDI6G22u&G?ki!0\ԡ͡en=z2 /cW[6+!` PeG/ VXf!/vuS7}lif#}jw"D [0".?/fE:Tcx7dst68e߹YҢo:e{l3'6p*e:+>(/To*̏ΰp O{j3bA$ŏ\C\E 0^w q-` -Sr#p \B6jE.׭<V"E nب+Hr<@h~ Jrцb@od 'u|,-W& hQ&F$om+U gpFeDJ1W]p?֌4v,8eZ )d6FN4Xwf?-XӻKO0Φ,64Ebhcx SrӐ糡+K]34F W%Bs[ Ȁ)3^(ZVFc4{gYR:aǀP] xsi0 ;VH?Rc&hsiakJed,Υ@ɻ0 y.33l8$\GN*u)SozmIVe̓^Nbw#]W1\ ԴaQвGEO0ZN ԥ'e$ ֜ٿ}% ޶"j9<߲8 lud~MHpKG0^%ϫʞv(}w%}o kiVj] f3[!ͣ?*ťX6NNsx929s|4lNf̃Ì3 y\pCVd ,toXs~VNb/?;5^_+14M52t~XLSh(K;@Wa|Z6GIlonC.LDعVU')ŲqpQ/ϊM9\Q.UZ#řgƣ-׾//;@zuY$Of$Lz)Fn!<ڐ t.)HuQ񞎨:|9.*x΄.&r6:(+ښ"EA`D\;2X6\A903We#:{?^y!(AH ${9a^5Z2dukL.S ȶ؂C,0#rd`- /#ͦ<4brw5ީO[-} toͰxk1s 44zPhmwլ5ﴍ"cjJdO})݉@K'BISifE$Cmx" @8nź8yTLAj5&Q`4`AZNJ>) Z̠5팛w[ h r %<.Iiq"pp3OhqFV`--JT;} e A< orG~" 3RDTٻ3hL༳Y:Y6_X.Vf,zn^l{qe>c>9"hF.npA" %aZ6[E3HpV@AQ)?SbByZ.)&nzV"`j7^`:`wh=X?|Ibxǧ14(l34url[c/f1ic m/mx.65?-L6 pʻ%R&$ aq}rKhuBAU']c9ʖg!j%^HQbGdvU\s:gzABzPu{o݇ [J(2%%#qAQ.iZa DJ4 _n\r B,J |~jP]6Dqo9C 6ZOlq+{?P wZSՂWa˂b`Q!Kր[ynVL4^nqSO/vi36 mHs̊N']juZoEEu4 kp*&wX#9yKs*3d1R,(s4~q~OAcJbjI0g19@ b_wKyB6ٕ e{2{z}MH‹&h\Փ:3Jh *y1X噃!x%?K9tfzTi?& nMa_@.FHp:i=Uz h|J"O*@ (.cc\>PR(ȬdX 2R 0?Ȋ8\)#\s^l*Πdhe *LK' y47q=5zJLwT;zI WSy*:]FW'A?iRv미`f*@^[5؂PW~E؎ ! OY[59%Dq޼a OYRFbIaBSX 9JF[&:H ?tJ53_*)!ބ4isBB?Ȳ8#QEU,}B/*%MY=vϙq2|ƛz Cz$M7CGdkCߵ("gԳimft)e´ sqeYiFѣg` i=wj׮ 2^zZDdRk '5QlAb@fP|zo2hhsh,WRv#:o^MӶ;8졾,Rlr)dB):JrؾPbgBYnBna; @/PpBBlS<,IfD wz>z#h LG`$49!}$H.<WdwN)#Uz<'Jh7gPRn"gm sc(;ҰbsʸuH_7_Y)AםNuFIv$FP qr;&(U {+vDysCfv!=]IV k\k8pP(ͦ٤)#Vu9k;65Oc ʪtTdc2$rZ_>}s~ŧ+Qj9ޛ&fi҇ L-4`ԟ_SWϖdȮ0ݻ_]+mTn9ʤq$M#Tgzu4>UÆP2 X$v)>dbK4_W`ONep.0} B|ɪ6t'@Nn4T7p} ϕX;]:{ oe{+Scc୷ 샰$9chVn0KaaQaySh euԯO8/_Tt]V1;~0@/ s  J#vK s}\QLlM (ؔ"=#9jدSp>jdW%ˣW) ܯB%ߙH@.1; R`w%s%o @E^ɵ@]i"ZfTUO8]+z;߉&̮Nج Ӛߏ<΅ Bt"峢֬t-E4ZͦX")'GQ)b)T#P$2pߎ~Yd.`sr8eu=εT2d +JzZGvثP5'C?+sP8p9f6"fߛ1P“ mȟ`+tewL&7 62}+h0 U+ u>72#{?5OY)cH{\b%İ&xs;G _B5wHUzTyC>n卑 C4QTW9bIkjXx(޿wmpgVF?=PU|͏ky-{iWcz@Ko'zb,=N5("6aXpHڷK @gS43d!S &sȧvkli'~ KD苏ې %.헃f!l]xQ"s&n3 ծ>3Ӑ7)¬S5b_~r@4Da?L;IbwS %z[ٍ" -8IH-uZ7;4n(Lm%&(^ZKqib0Z;@zr G0JXG"+C_EQ&UAZU}Ni8*H@kC& 7djj4 ;?,2"IGM{ ꠄmO[Gc̥x 0uVV 6QBCkČjnZ֙/~ߦ1/Ly$F2H[_w*Ȫڐ~?}>osϢG#6nDQ6zu{ЃZdtMDyerP*ϝ>vsC+Ʈg6YFQ嵹 <{&gM4١!퓷Os9 tAΰgtx 0'$lWgv")G$z.1Lܳ'sf=W:܇avZQV[v=O47^jW(F9VkI [1߀%C"M3`$] "{!VH|b1c ii<8'4!CUzI+P@V62uPT*.JњGJ/C~*]/K$CX6~Ī)؛eRe~K=?>ҴP -sP_ë(8ݝ>]6ݡw͉@vcGP/L@4 @\k_Sи'IqV3r 8 d*#z'f~+|x^CXcl0r1Va 1*W\1Sb ٕWˮr4ǷgUܯJ|#ͮGuWh׋W "bZ! 6,2m<㽛@نcB,ӏfPD+yj|)<|$[Qґ8gN'OA9Wn[< :vV7|ƙu|`oL@Pa{~wXwIz(4%`c@2= f#[ xz*|~ n9@rw2;li˄!K>鵍/5ٍaI/Sㆠ՟܌ʙ !$^(ۀƩphQޡc'(RsxNSS£} `lqHbQ,z)M=JE9>eX2sKE1 f`Sf@S-1# u_{Ey.:q?BVh B*J @*=3a`ޙvJى(k )A+48 'j!AZ-Q>*JS`R_?<)f~Mmzv3"0U?l$!`bm49`Wj;y9agF\"|ySfQv{ Q (g\ ҳ!S:[ |uZ/'=t] (& yOJ݈>22d+qK0z5mI&1Nl]d$ހNZTuG;izj5+$ԌS}AěT6DaKC<;!}U +CBt;+`'gu07Q:"Mv&$USNi""@ arc6k'bQܶiG5V0llH3phd)-ō"ytCgDx **(xR] .Kk6-7mot oSw`;"ޘ3MKĔ y>a:2s[ q?FE[$A _d<~|  EpC2g&i YZ#$D0WϞ>Z) ӑS5e:|#'Om ZLQM )T'ֈhmb>cc#$5%'sQXY[35>)=@h$S f}'H]g` cS"SNg]I9ǎ E/hx+{vZyȈ=߄ԘODZ\yGF1a4rcc5U֊aeXXE2 սdx޿\?,!NX/f&މMPw3luk2U]5~ WX1M˷IeO-7^lqҩk7 $sp]k3:HVgOKwبE O^Cft|ң4@rxDS\6mwUz"PvN. }!:=3d{ & Ȥ-DquW/uw)vn[~ mW;4yKѼB|=NjLK҄f҇t> 6W ~ֿQJ ]*t]U~12HtG!+oWj%c}GsEcBUV{DŽըY؜,o ΃\d<>#}lR 21EQ+-h8zpO)~?c&a둴G6ޞe$ #׮l.5 R3^/,jDϢ޺x쳶պܳH%n;Sp!U#s?:fμ!'?_eן'VݑMa,۶+fjp7DI&4wG@0ʯS: E:1ZM|xClt5 ,Ȟ'iD_oQ@#ɯτQNIGGnp.ƤX|gu<(j܈vc4$GFYf7Y1–z8!\zՆ 1]?*o6է=_WMB>bzY]r&t}X:s$NTFT gKxJeh:/i&__֚CtAsmdžM0p"uxKqB’0x0ULOE U o] %~nÄ?&y @rFfr((bJ[D"ƈf̀÷LhԲ6gvRlN-ز/tެH(;MIgv{[I”Y3geL2/TnD_l_-K㞕!;(IISovNYD=+ް^ӔI=rj[j(s[V/_C1Po$/e!-Eew[6ӡˤ G;m<4 U mk>#AYXIz;, R>&U˗0"ϰr ^5-`P^,Ywj od#gYZ2qǀL%=idX@,+R[ @MβbDj ~b6].Xqvv閲}3Y@p֖ v!0E+Jų;M$w4smfwy``:0e;78d:L]Eu@vܧ'tـ/ }ak^Bxt=/ʺ@5U3f.X,e{8xw5ٕ?P̡6,w ӗ3 S.R ş!*Sʮ ?⑤w(I=" S}SrI$c%9k. 6ٵ-='80 pu:0τl\aHv`r:^զwѲ˓g@=t(< %"0nn^ w'wF(,khwwJQ"<5M/AK0/CКM?-OBvJT?[FY{R>mmlLW/9j;z!BKQ ,PRx 8UmR~ Y7f(B#2fU|":7hʚ5EH$,Jg~8~ѬpnĵcODOЙꀙc ?ǻdVmݟ;m/B 6碏->@RW_B^1JK\\5.vYAYo+ҍwO/GPēt\1XNEзtV+6>)\uYX%L?r0f`S[ ydq\o4$ڶM~=n{N 5ε_G(VŮI{pe ڌ[}Dk,@n?6'9nnx3:1(Ʊ܅$ o\^L?mgcwS=pt;1ϷT֢Hݗߐ,&;i#o6́Y9eMK#R{*m;? jL0$'vUV tPmtٍ%c:Qk˶$+II;C^6Y3K _G\Y QMৌ3E4zo a yRv!wƭlOj +GY:ͪh3C} wVM[B͋}hu{y]^jINɫDwg"<բψЄShvKJ }CU*[2@U ›q'rXyǚ!( ^ ƀotƯH[tWA\ĩ4RެQhBFk)YH7ue6@t3grn5=+4DXqA~06{. >$@y#v@՗Z7e*,4'džN_0s0Aq9p CXa~A{9wmU}iO,y ~I!KℑF5.229:أ!QZLww *-E -ĸ[{qbxơ.ޮs8('aXւWJW\Y:= h΁ <ʭ =,XuO@D"zd )1مY}4 h%vyίϖPO@0Ң1h+m/Ҽ?S ijx&F^(rώauP5fhTy<7jpU7֭ם߾n8+CL`+##vc:$u#{d&藬k'~ギR8_uZ_{5;!y4&G||d6֘#\F )b "_z.E Qa(#ubGC W>3o<c`[+m X$T&f%ij7/2#f|#8E4kgj=0f'KF,>' = ߢߐ`q&#yn~&Ze_cll$6:E7F9I}Au:UBߠ{aE^2(jR3N-bUFGsN`eAmAZazH'ƣĤry̝wbI`51DJcyYi"lhp&}8Y$b hp=s=V՝^Zt+PLGB)V}s vi d Xy͌ŪYNS? ,Џpu"W,TՒV%'@~شn 1I5Nmj9fz12 (ܲn_X'̢+[/P6z+gcLoe35F M_KS֧r)o9?)[y҂3``b*fخuqecYڙbŰlٜ\9N0qv CKKqWL=J8\8ʾnz$N;hIdR[ߕ ou K#+I]oN ?[YLy8AIq^˹Zn4r! QRJ{A~)&6Tvփf2[CYjo@9뒢7Up13|z@M.|x1Szw_] oyd.ہE5qaK&( e8QJӽSWà9Kp_9 ~nfv2{_zEz'/g^G 8 4S}r 9^kG+O]wv61տF/\tH)BVRغnA*lc!g+=S\WNg*9d|XSl&6ʪZkZۻaAa BK1Vm/UdβuO$ށH![sZR!p4w|Ჭsswm:d2>F~Au#J®ϭ@*z\ܬ^1ۖR8jRgBÖ+t>ܒtUxv wGo Jvn(iĉe`ʯ>2=r"\D"yG;Xɧ @*leA~]@O󫉸-6к]aVhW=? y&ǻnȼT=Wft3Ѡɟ#[0qgYZ k/A% dPOPLmark-deBruijnPOPLmark-deBruijn.POPLmarkdocument.tex7zXZִF! CrMi]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}RٯvN|}IY r dQ0K;Qc敫Q>X[y04;\ٵUihPV!v |y-x[/ AA4/U% dPOPLmark-deBruijnPOPLmark-deBruijn.POPLmarkRecordCtxtdocument.tex7zXZִF! +)]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-r2xk%rbq晇FcK'C˲m=-#5~ Q9>6j sC/3vϵLV+z81p8=M7 &b!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.1LH?ɉCZAiIF?*ũزk] B- aqA  _vICwP>|` ]q+] BGZ buiY5shؓ)8<0P '`|!8.;6^7*9 p6z^|Z,՗0d*ImdQԼ! ͹'¿әQyp"H]t+C߂9""姗cPhō\6O#0HB|ƕ6cR7o*"d<M)~SgYZ ~~/;% POPLmark-deBruijnPOPLmark-deBruijn.Basisdocument.tex7zXZִF! F ]A-MՋhvG"uIBm5A O|g=Bˆne*m[W2]fJR slov;3a>?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"!(|_>V(F΄vN'p\4J$_l&^ W5F<|\ZO۲v|gy:/CpYR+KY 7R@0/s_/cHJ\{go:'ѬdļE\Y!2҄VD&®ئԍ: 7[lg:Ȳo]bRF $\U$E- ƣOa2){=yh"aى>7UX]zXy~l{A`nitUX>Rl FqY'X{̷MWz*}F,i'N_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 \ ( [b6Xp̜ns`5)b҂# v^m{7ep85sWkCBx;91[κjƧ(LQ423::5lKeM@ч_xcHۺ ޒV)n4A-3^ aAFems_!8|WnAP-G7BpT*uդ=X`7 ywvڐF"BڃU@KYgk# Wrofvh]~nM"=T]8;v2?gc8#/j Nߎ vtz,eBk:0^p?̮*pOzr{ZZ E40 ~M3%F}m ;Iz} kQ Yi(pNX 5]TCk=\I~H6(v~6 !arrњn#h[cIV~FӐm8!4306'$Axp<[p+Q;ÂS/\w⼊psS:.l%ߞБt{UO] @[ch'}Ēd؆3ҁ\ NjھK9$WI WX[|SZxq3ֆ^_ɸ"HlH"4j=PlL2"Пa$XPoRQ`n5 /5"Î-?5Tt{s`xU BFf=̦u2ޝ/;qWs]H&cx2/OfU 4b7#>$D+(t!yV?2|U[Bf6`}2j`o*&NZ0<$+фP`{sI<ĢOkꒈJ|>#o3aOg&{^ o}cD87]Vr(ӭO{|콧ja;1ro'/gC`7oNN5{|;^!yfvvWVQm$溞呂=QF"uX@^;% ce&%`c+g= A|<^6K^Yلn{뒆2 UnS {.*&BjH j>+swC"f8j-JOp?=k4n86zQe< (wfm-1“9 fM%΀;TÙ4,l6%Q)e?ɜ' #cfz6ѯz~FUeN#ʴOLәM?QPL\SRUP8o~G"ִ$4RǃgZ+UWz1͐~YR=f 0vAbo?`{ Sf vt42&h|R~`;NV_!wїu?MCV5VoףmgD>7SBlEaz΅q+hn !*ͽr<(FbdP-E4Z!\}LZQE-b='(L$W|ukt9:jįhmminlĖb.zgRgnylveiMRn.+#=)`K0M $ "{9`@@CyAnz<DL+M?J_Q6/*d܉~2/^B t;4ar 5hEnjT\ ǸTcPoQR>bc;rGy:X+ }> <8݄LrzpdCjZܣ(6} :Obìa = *?l7o^X"d0ts-|1KD(2id,lmRN/CtOⲸc)“-l[$>,uCazsr Y]h+2uC*.0n.#jˠ \W=%Oqأ9Yz~(Tr6ٜ &U[Oxtz|)Yo 펄 N]Z^w.XJp_̐G* %۴j".#Vo!$W{!;b!"DoŶ ='1O*zؚHiwѾ~ZyY|'O 1|Hs&Zn_?wlSv0"N GJ3S̺su|wQS`oc*+уA= H!ۙxs֞^0v"s!&@<_aou)9丄 Mdq 9#uW|ug=R⋋ 0d0[VaHA0f2zUtxlM>6%sbK[wc jʝEXx֣'Q0k+/&%O̶ u&~07{ښ%ҜbPRq$`zoNh]LԼzo;t ύU>KwsՓґ.smBbz (q~-dQl8TN?9^X.}:l|u"0%uejI ; OLRlѰPkp~[sH /+f#/"Ek/3fE 恚0 * >&Z\5(H,GoV(O/&,d |y[6J=`$.t7 moZJhiZb[rFڼcQ;"mpWXyו H%LC@Pd3bVd݃ڀX[ 4Iejg4[N?_µyFFQ8 S(n-y`LȟxÖVn{eT_dҐII\uE s#ޤ}~~:W:3FGcɻMSs"/ C`T[nMf@E|Wؒb^H8/&vFʆ\ 4H*NyMp@d(sA{*ڧ,&zN-njZx' R1{\˟1Xz%VE#,$๻Xj1쌵p2-8 kh(=/"$K4!L F$pNT5&$,%[ك(|RT==|ǡ$c`)5ؼȣ۩nx"xP,U$(9MԻ&&onLt`BiU783_c"ykN$?Ɗ©:D):v/]QF&9ČG6|&k`qΎW%Jc՜:W$Z*3Mv!:dnI\[>u_L(xn`띱##f\aAs\O[]lhk /mm6}W3ѷ+XՎP ȶ4 t F~IFaRc<+)B'8LY4n(r%LD ;DyuǧϱcޥQQ{V9GR5y0SU#W`~wqku"mUpDF 3mTį$Ħ/|a/JH>ZtyX(;>[.sX%"8Tu$6vH0M8WVjj=bf6~8`:8t8;m|Kp]> [XaZW~[o>-+~#*0| V{^V+EoqH 3%Ҍ^g1yoz 9MƘ蓅) ۦ5E2W}@Eyξ&ױvV)ib7.PTSD|yU:9U]4WCCoYk}y v. - E^o}y;Ex| yyrV0VkǁF!0$bx-Y=If9RFHY9 ICy{0Q#Xbڏu<}FXEA,AxÜg.lUVB# Pe`DY+jjgz2b@m`^?[Ao?TFSGxޑsgtzж.9>Lg&Gi~ S OWr S8H!A1eIkhr+o+룟]N^||ST 0{,7r&IDʋmW(B=ˮ! w0ICsT8ٷA25а"06b?3]~MZyx`t=[Aqc\{ݐv:;>)cjs#Ί_7oA_U%(D)6$Er`2?s]A-STlp&ik-^BuUK_Ʉ^o6XWSh u-|?s ~3֘aY1kH&3̀ZRw|U1ye"[.毓I<^|œ34m{?cM{Þ6/1IIc%i+`w%T" Z~iKQ[o 48RW1rn^&;1TSkٽ={u4hS=(8HUwI]B=5_o,T;!6ȦbjǑg)IZb Gs$t>\$Aen*x<~Bj*x[; qFOz>^- =ئWI(hr-4{]5ݹ6WD1lu^v{+@T+$T gAЍ7Z"ctxɓ80ÂGigjQ.nc>pwЖEf Dg|sZ$d!TLS˄} %1(==I-&TKa5ywPyl w]SY?=tuDtߌ~hr]`&Z0%_2EneaƭU<Ж.rZV TUSܝƙDdDKI#bJ=QebOWDme2QN|M i~OYJ>]Q+wqk{=N~UB;m $f:YGNigkp,XOMnGDI}j%.3x"T,1PU٤etcKf d!!_h[ywcC_}Y02Ö ڃ`HNqFeoN|:YU"0h]r{TynbO?۔ zyL{?ԞPddj/K5bVZ/FbMG }.cB[)!# &.=AB$7wgU޹!&Kׁ'J^s<F{ .AaZ886Gzc/nMO ^q$JĔWAD)#oWW8i gN nx92#J*?}e $FD`,BL7"Klr韓?;gNĦF y=VtzRhc)kt[3ڭk@olTĿ&[;^/^nx&H,gCI1 \87?σ/ /X"-wMu.á\#AEXfVI=VܐVhpzf%}ẟVdwqkoO!]PaGoj/b,BQA9wI]|wJ`Mw k($1WVzجĊ~ZTٖd\l"$F ΠP^m-_?++pvOD߃wR-ZΏCm%vD 5"D+d¼V{$KY1U+~4ߘܡǵ\tskXU F̿&EmjO-͒~[ڞXo_رqp=1?k;LT2O_͗{)Ww[S"a)(N Dͳ]*SޒQ,?ڨQ2%SHXC)?[x1ṶVcVyxݠ7K-cMTτ2%DP\r3| Z[a6$s@lD{I #k.(reU vi% yVp8::d?~|DZȷkP#q 2A s}~M-: >ƅ}v/_oƇ띴oр):#ݛlز&r^G1 "E FpCk>!DҐO1U8CvIMT;;X˕aZ:1".ra<DpPJc,)X [9sNNTah'M61(o0ʉĘk푣(,6Tɭ\͈^DVyc^J8FGԔnpUoe+z&CY*slY'@121,CٴB|s@PCSrmHi#0Kjh]:}s/#{#7*g/DC;)C;hPqR0fPJQ'nO"PQ^2*JA,JO_c 7_;mՊBD|qVef;` /UAd',͊t!Q&J/NK(Ü&=6ƿ>΄/j"!qƢGVHo\*6xeQ X iG):QPtǧwga3vFAnUfK ݮ=00)+w[ C]p܆ ,'"JL| Iup֓klWZrodsʚy L\VLqj>+~29wRhD뺇e8gvxeFm]7o[)}mqB0ѣSXԱblRZnK!Zաjq1wq')sRU(+̲Ӯu*^  b?./4!m0gZI; ρŨ<ɭv2ͬO!v=]?SM eM߷]e {P1By3WL|[r#C|4@x3AJ 5a)ۈm[>ɆТ} ԱTİTxmX"O1.u S`}"'Q;$ [|I`~yQC#Zz%Pt$`s\ ?:6o|c=E3 7JNlgU{d˾x/H\:畇j$ rDv8q3_Sq҆v1< 6 e ͪk3#8wk< W/l>dWU 91$gab|fU"qLS^XXW&9}KN1ҕ[ywP۪M +v~(K9e9uLjy!UL Ǐ N;91|䓧S\BFA} G/ߨ|L}.{e/s *b(_XﮓA˷ڰvu*`i `$/NK% (;TspQ SkHTYNk [\) -gـy z=Fƈ MPH\*j { )#츥;Ic: #Zl9+3}uάQU.Rd m65^m}x]Mk딱M{2 TGz13Ŀϣ}4Л-E-z}%ʱMUFg5hM>Z`Ǔ dbdcGOiL#FbX StAڭ>PoGpFG5"S0؅&1EGpOŜz!xJO8yiϧ~K=ODU9x}e͒6շzjOF7+z:QY,uK-bX9vf#Y9idUI'J.ą6=~ ^nZI|lPBݥ>Y-V|**72}:LĨ|UTtm V@B3/y6Zͧu3+D1ecF! $̞ q xCOԔՔ 0\)/+(m0/C,#)0̀l~<C1) CHVdc}\fB6s66Uf.҄)fFE;G!^_4(Ϋ1y2uE#wC9e I7NDݡ_@&O< s˸4֛cr|bl[yx8ʾ̫H7׀UJ4%w+NI: q0Mo"sWzi+IX5FI x;JmI |kʋʱ0Zn/0H`2HEK ٫rF~HCg-`W)Ⱥfb?`iv 6}ЉA=O9JJ ypwk΋M[%xH.En]fZ8ޒg$@T{kq͓>#@91 JLÅ@_9fQ?c K&DLMXyW`QI_K\A@ٽ;.B:XtރvSv VE)3&4ȉ_z=9| .Ss|3fOv]{azJV.bTu8s㠗CigBUAP &'\'JaAu¹x  >c0O/l̎{UǬ 0{Z#7hs?X)hеLXrU=X~%p\ٶU` =R^uxZΈxl'MXJ0dMs5хɵ{Xj\:%24t)_` ]wZ1//45Jr<ćY yS {@yULW3zttDX3$Fd/4H\fIvPkVo5CyR?(9\O*,el=Jz_䖢Ff ;u9{vj J /ÈxV{ci^rShkyw cϢmMMEZWꝄΐu@:m(eMs-lw7'/@zn_Phi?>+]ֿ^h2ITa9u?.^;!Xl]djY6r ; q~v{K6e͖êΓNzs(f?JNdݳA w%X2N#\Tɭ/{}; r>+J hfV.w]bŴܦ-$`&EPlx:EfS'G@;9H=CsmDƤ- |݁~ͥ(à c(,<.U&^H/0 d"~3͝ xc%֡%IgKυBJkNc*TA|M+Qwmkq2ᯫA-aJec$ώjor'bxgF^* r/ɽR6sU^2ћ_z530նh'lB%Gv^n-d1@#xeuQ@$g3Źu򭧞X޶Ǝ\3AcџHE9;7)ˠx6OmO;i14))d#zYNJPa;\s,3 /|>Zio p T]LJdIIh]CLSo7Wi!@q %6YxH^hǣ@{wXIgΙ-h4fz%ђ1'b[)u"~w‚l}uEXd^gBk#0fgbl.I@KlN/2 ZF޵fwc_&= X{!D%䇓c:=JVJ+ǧ:%RviX;F^e9x4QM/qjT|pPG8< P&>v 渃&1Vs\s zsvAHYR:Q\E!yJ+Ynժp*4^U5"m@l-p7⧮)(Dք0U.+r?or7]̻xlidK:Γ6|RqTݕN r% K ]l h^+`5}lUY[AȾ }$ 23_fS1c ՊtmI7 @J|4,g1ڶn31~.~/'WTIߜ9NuN_ B`2Lwl8Ma m_ĄaLӡ,v:PC@cG͝՚ JuED,*yOQ1oUtvn)mҀPyf07gX5 nKc.wn.5@#ETX])Z \"Κ$m-~}40 7J sɌggeuqk Ft+9bIO9r=SBT8jm 鿳 ~}5*`i=ƣ&e;)WE^8#B 05Rl1˔"8_TGSiX,?jM h1 ¹0զ4Ni, 5U_&9q=>ޗӺtW(I`YKϝlF?&vcB(w;CKV)pbWXHV5-CGm p]_kl3e ]MV6#F8 L$_4{J1Cp/ytTwGgcW,r )k88ŏOrt\/a0;Ȍ(N?1`ϡN ?))L'ᑋ*T(v>MoF7Nq.)Ns\\D;~;g su9y.w8#!qm-G=<$kYxS Us: mKWyԃ)fD zy¬f/ŧa0=ra$N~ Mê' j+DAȎ TKT?JFʷbpRLI.69Fca\|7Y%1"E]ɍ  HEո]#\Q 1PB%o4i 69{Ċ>< K22lQoPaJWq,n_yP D }r>lSvիV&y]lW lSuhG+'C+?9S5FIx\B TNd$_ʼY-KB*1=|aq0y~_Bo@aׅ ܑqPPd؝ǯL5TAU 6piGg?(pTTyCKcH.r^sN=V6ʂK䐯*3%c&2vGX{s팰XJD^7OK"mߘ!Nޯ c %>.e2M=HĆ5fn;`-%_^;q:EWa<=L[)S=*Q8ٝݩ%@H|!}*ۋOmO!G$Rwad5I KW(:ޘ{>zR΋7E cb?Ld1eNRU̗FCmIz(0f6tt>7%6BHq&+*0A`q=~gC@8'̏ yHN39։ߕ(KO 0G)t6gyЊo\HġG]N+W70PdM/2~vPM\\24ʗ5_f !@~ZG13en dn3bjê>Z7sj_֧ (AX?A>%܍>%e(zP V1Fu(Ӎ}~۟!sT|et}ivN[F~ aO ?" up~Ro s z٭Ě|Y6ݦA<(oA {>7Ւ@t#ufS򰈘ڱp-[LH6,^dHnj=0yCiƬ]܁ƃyL<ZtuV.^ay$iWXE# cZ;ƚ Xl TApLsCr^ l1WBl*?/<]z[EW2&1l9gѷ\ {Fݳͳܾa_-r:C^"?IL#u}db^azbBD"E7N{lkҖayi 'noa-Sp_“61{򜢯BaL:=ro, '>eC酟!TzFSoEMGkNzIٷwHguP(>pB?wjR/dw!xd~#᪲qʹW搃a}=l9Yd'U*S+ZL^M6[Fbu5s-Aɠ.|2hq2et]#Z qlEJuw [9j.%.H|'^?(8|V J0'7݅CpV1CN%n^<&>jtx}=|)Oe6^PK ZM2UA8IMrοb +*k \HhdCPU٨X(SF(HaxQ xΗ:PBR!qpԴR&t}eFckc̣%p-~>@5\|&IC Zӹ)源$!Zv}59grpzQqJJpG1Js.TaսO^csh k")l=x4Y)j6Cm9Ȁ` QLDռ܌3GYߋ1+}8g<iShEY"u7$c)K>%xLjÓʋUv r B'9wVU,4a69xOYk IP%&m*iGKX5B`]FWHVW & UY-*/`Cc5a|e''|K#TmϨwΔ]bӦoEg 3oCa!0yj|p3PJ-qFJβ鸰uڌ*[>oH*=̙'Liտ(m@kT0Fˑ@RT܈2v؟Ű ݦd >c(`?&u>0=%xbW)fukS,baS1kMa75P>xs}GAx\`+n'qɂ6|5qT%g@9>j;. 8k LLNN k{t:a07X-Q{8!T]M)G:ao0H܂Wk!g/S&X4#6u:Fʶb.5pB8ϓM; 1ܴK5w2KOLCW}IGm\XJXSqk5$@6l֛>FsusPw MlSggG/ lEw;Dke6t(¨`/$=ڔӦ; b)Q_?d}t[ h'"Ȧw{]B]GqF=3àVO9- À#Ykg"]#a]g׭Bݎz4s_khg,C(o7??Q5\$&5$X3YDZo|;mZyX~]œ)HšMTVZ6>81(NJj$LE;rL.61Q3oTwp2aL亱\#LE h1(<$͢|$BwȤa",c LxùsKAH\lG0A  v[='"Uh9㜶͵;aa0a\YKDLh6fGl]VUW%Yᵙvpe D1)avX~VZx~ЧxD>c5Isu0a+Ȃc 79azpCqp)ez1'yN 3oPa!ɕ^9MU%቉+S&;fňt3i =:Y,c‰.32DmxTa` T,֐S2[[T׆Obt + (X%!dfI2FږQRp-SYJB#XM\dmyY…PwIeCH8%#>xM<4cOS;o[ͦ뾘Z⇷ uف𷯟~p5"qКPvdsS,Rd+8V/WYY؋AS q$"DͲ5syK ddU[r6h.܎]֊*8o!SϚR+o"E@ 3i@ى-.ڎ0/jq!msDW Ҧ]&Ѓ<(ǮT]up]'/E! ܪgYZ wwe/M% LPOPLmark-deBruijnPOPLmark-deBruijn.POPLmarkRecorddocument.tex7zXZִF! X|]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ڄ\y[K'BPw&qr=p2;eULb }g=<56WŢpXܔz\l:R;'-iC/lj|ſ v·