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 :+xL ]/ Decl_Sem_Fun_PL:threads=4elapsed=29.388cpu=101.828gc=10.8127zXZִF! -]ŗXiɟO}M:; Auܛ@{w6hxJ< ܳ):lkR7酦׉s G(v0J`z±ptsqOGk\@@ZSE^&W;8isږzEWt.u-hO"eJ De@bDfZ`j w}" V6!l591 |^huz4g@Hkh/\+Pg>>; 8x*1Q[>&3R{bL_@+˝`bl&_BDJxTъ<!|[2䑟qW=Z.N=Br:|aM2FLMX9)MzLD7I¤4Ƀ,゛ޢZzYGňc⸼4Qg%,'^-8=buK F]4S>!3IlSn }b%v!MSmv?7Su o?Zx^-<ސWm@160oyӳd+Hktw*^؋H#\TGGl40kL~knJ69Tt_FWO5y8&+lz]˸$ؗJ%\[j( =ͽ9q#X0tD d?&83~eT3'V5IopU~(>zZkYnu?@B*gç(25'l# U`>#gբCV@Q0p?4uSEu*| ~zNGH5pyNcA<[f_.`zs :b5qA3J  0jQ.C:"v+R#@>'9@AaF.mkYe"b^U5V4`׏;HBi5+3?1ȡоT xTX.NX; <:3y5Wဧ8+!j`¤1w7po\-j%ٲ[t2U}u^PP>_0hG<[а kŰak dث_-*^QGx"@ sB;8<9 .yqexݭ#v`oFE@_=-@8Y hEXFg{&ڬv\ҥ9Fuxh#y`akLa߂# &ڭ#凔q MuoX02CZ $[hPO55ZHZ>w|'M6ٷ:= zdvL֝=Ite>%P+zP\P7Fa5 Mlny]͢WE5kVO7P~0 AW` [Vh9biFcB V!yeW '9Z•&{Klup5PC D]4N'u>4G,l W1UPvI.~z]FtH8MN4({TlK xm&:,aC m'8r8v2R/Xoz٩J7}*)O䜺Җ( {뉯M[@?-~y+zj&omsBۜCz).Nmj'=!R&I u Nl/,栝D<$"?h;@t]Q,F ^R{SmЙgU{ަ]}1!q?e@x|_7xa >KBH}O&LL[&~e K:$(`2Nˡݵ.Sgt7G]dd(XwLV LKd(/:ө t"Ӹ?z ]5Ʋl Ǒ nN2k%qql.c =#&YLP%I؆SrB5_ i;~OoE^D- pk&3 M[x|^e/QJ<ұ9!+Hhɷ9FZ ]_1N@NT.Ubn市` eQ@txqʹ-G\ 2pv7͊ j,P씔CvJy{Sbt=`8g̖y%Nn5JR BDM&ȗKjMi:PH&N]f;'}jt l7ᒆ'Laen: A4G.&w?:K[m `(5T1`g̗>q["S%KFriG>7Vґ!8~!~bX3%&F)GAueYYX)E*ujK  *GxO!X9ɷGq<[/)*7K.Ks9f5F|*w>YT\`.6}K2xFTUAؖ&ju;5iBzcjeJள/m hj?پ $o!RՏC~>]ǻ2 cðA(@aj2M_Wёb Ls}djݒ1Ƭd#{<MML ky&nq!N\(]427>:,g;%ȷ"NPFoH#הoi7sssL6J LOF:?:MT~mvڋ ~-Rr&he -TqX,FmLʜ(:Ȕ z&|5y|=-vU1'VTPFW"Nbؒ=sA@9.22 Od#_u+c%Ia?N Z +A% DDecl_Sem_Fun_PLDecl_Sem_Fun_PL.BigStepLamdocument.tex7zXZִF! ]A-MՋhvG"uIBm5E%246Om3X`pk`ܿAXP `D)L6n~/_ mB's׎'Qګ9'_2|#_5m& APE%a/38'X|pGN,[Ca:)BLR.T~X.Zyg֗q3XgW'z 'AQVs 9ť`IRB--SkOy"tW[v zR}yqLT% ]HxI4DrMz 3 S.+iSO%cZP0lyr {d; O(yj +I% \Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotSoundFSetdocument.tex7zXZִF! f]A-MՋhvG"uIBm5֑ =c,HhiA I7ӭPMǵkW zTs2 Uۿxk#*;/Z>m}ט+sfB扜\>Զ2 $h+\jY3/_0ؙjoW9r:jR,0=J_CY3ה‹klzqK;tca~~Yo+rZ9yӽB>4ċwˁ}@L%wt$U3^֖TF&%$"!        - - .  n 2 l h m 9 1 z L   W:+?%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.ChangeEnvdocument.tex7+9%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.Lambdadocument.texI+]%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.EquivRelationalDenotFSetdocument.texC+Q%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DeclSemAsDenotFSetdocument.tex?+I%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DeclSemAsDenotdocument.texD+S%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotEqualitiesFSetdocument.tex@+K%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.ValuesFSetPropsdocument.texD+S%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotCongruenceFSetdocument.tex@+K%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.MutableRefPropsdocument.texB+O%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.RelationalSemFSetdocument.tex;+A%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.ValuesFSetdocument.tex7+9%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.Valuesdocument.tex:+?%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.Optimizerdocument.tex@+K%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.InterTypeSystemdocument.texF+W%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DeclSemAsNDInterpFSetdocument.tex=+E%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.SmallStepLamdocument.tex :+?%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotLam5document.tex ;+A%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.MutableRefdocument.tex ;+A%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.ValuePropsdocument.tex :+?%Decl_Sem_Fun_PLHOL-Library.Nat_Bijectiondocument.tex 6+7%Decl_Sem_Fun_PLHOL-Library.Countabledocument.tex9+=%Decl_Sem_Fun_PLHOL-Library.Old_Datatypedocument.texE+U%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.EquivDenotInterTypesdocument.texB+O%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotCompleteFSetdocument.tex1+-%Decl_Sem_Fun_PLHOL-Library.FSetdocument.tex8+;%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.SystemFdocument.tex;+A%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.BigStepLamdocument.tex>+I% Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotSoundFSetdocument.texZUE'hdMZmyNĨQ$}O 3fDjz,!-5 Q,el=[0T  ~`pۏX5U)f$-hƜ>//P4X}g^[D W M?XQihIGc˓N/b_jmTіa7#kS㬌uGhyxž`>nc{WbM-4 ʓQ)kұY [NaDo9g 7_&ėse(H&`똂4P7[rO=,g^MAgjLR+MyG45.9]!yDpDC{Ҟۧ%}A`a2f…=p=}cػY纵9փִѻr畾k(:bLCjS%NY7}Cq.2}1}`$g'"k6:!zn>Y)x'ZO7]ǺfP Ty^QBi#5dDr-\eUrir/"$̹NnWAz쑀rKlV"_[cZ[,feL6+ɒTg2"zٶD%'K X\Uz'#^b%:]~g1㷽rOTaPⴹ#m{(qw183c,2T'noMɄb Â6#vT2rw."TϊWF6?jh˂G97;R S^zvLfAFb\eZ>Y/R_@ٝ$eSpHH;ga@@"g {LDfjlIv d)w i;~(9oą2Z.U1={[7f1|os[3L%T:Y$)xDF\WlAZH[` Su3l5OIW9BOmUnQ2bY07uI#@f  M}gW٭xHǹPl6⯲il[1uf7 ^zyIhx)9/*8 uJ-hXye0E)6V/Тo.Z <wƨOWnG;yZgfl9ے%0uv $ǘ9n)x?saPi: 0;Z,ӻh?k2ܱ>\@@^+HJ%;B_D}"江(!eY1[6 Bc[zTs:Zo$RkG =Au3S!gT66%Ǔ;=^>k̨L%9fOH'Rhوj_[>@怒RbD#ب{?t"N[~7{CT5zێբ!*3z n8`fok|s`8Yn*T孪x|Y9UHT*_zd 5ҹh2 0uVΤay}}%i|,;&Z{FyƵF->4v|P޹kld{ M(muAޥG4=u 5[?b]x4 'AaD@ͱۮz"awS%#0sV[)Y2\[.2oՅpK<|B4&S9 L&'=L  j>PI_?C6@,g26N24i=~z0ю;N@a7keLшlw% J*rS|E/0[wtgϏA5SP}aq"S<)WȈM-S1 \jonQbQbX^ܻ+ڮw4a;*葐n1DIӌp?1seC<d*ë  q52Lpz5i`E94Mk.~"~%pRqi;-Q)w C!3C$t҉Gl T+Kw W7gљDFʏD_/g>jZ7$^/b4HVdo^@{On͐b8Id)hn%_2Na'(vP;37ڃQDgklۭ xg{D|r{q}19Oo*Ӗx#G7Tůp c+Bi} Sҟҽ$nвU܈uAeS6G#1|]1ަ'ibkF4ΒƟqĺ3 MڡKً\wfv4~j&ҖzrnTRG-nD֋-{^@қH-TϘzq1x+ Q2PnBupb&ة}Y'LkSG7hQM&m 6&еʬ82d04gSV.rEQG&#2ڨـаEg"k3?h͹NI'.3UaQ3N KNX1sQRYGߗVi[vKfq}kz&;~8?BC8!n&i,dT~ :bߵ#p(֠v{Ip  6,94'OӞD‡{bjpCڷglkѬ5;22ޞjAFvH8 S$v zf[O9!`+39 y$HXV.jnQvP_m|FT+O/KU~džQ෈&'&>C$jh7U0Y^F}Mi =O̪6xP7m8jd`R+ȡO7TqAùlƈi-߽laeQ/ciY&࢏ Ms9#|.㫅mhg v7_xˌifv1ho6DNhTa(;tw<XVtB:Kj $ͮm54^q?iQ>j.uj@6@1O$Ğ[W%Gw/vq뢫뻕['p'GjP; b/D~ " y_}%ﮭ|5dR:̛1Ͱ4ެIg|K҃;wx42w 3Q g! Dyk2|IԚư D@su/0ʙA\]=YDۄJȽ~) m2[;jcVOm)j,l'1B)}XB2c&`oF,{fcg&tZ~4E4{b!ȭ'9 AnQ<&aQ*۫7)$ +~_'X"88QhW@\9};B C)>D+&Ρ,ܒ^~Eo6ni%&f P;kM ]>p=y,VM~{!Bb*瑯ӟΧt\w0bv|- ڗKu=}X5*<գԈ%&0 6 ќޱ&\9B|0qU|)s2%h&Y̿+o^ThC[%_pK^1vY/- Edqϻ %+Q2 9qOHaM/tK8)ɊM+&)]f`{ -֫v J-^53P: Ng`79GqI{aN?Asϸi#󣲼޹GSZF3{ K®WTElxh.Ƙ1Ǧ5;Uxu&pkviET$c:wo ;ⱔ8+ y^f n¤?9.:Feg:,{;.h>6$-`̑bhH Pbf3L̯*QQqr?H"+Hb-HO5y=zbtn=jKa ]5\S,o\jϼgE:WU29L+\8-[Y/!C-*HOI&-!hrrE迬PU`F`PH喗4F'?rt\XxmRF99?(JN8V?bU.+sMOߗ#׊ :Fn|_%2 p43PR%'1XV]4ī&KGjC}\̓m_wD-`yLϪFB q5Q;y_e:젡=D>>S;+@mȨO"iU]vyI}2Eٱ\XJ'< ݦد#S)vPE&i#˨d 'CU%_l(%'-\UiIlj;_JHyjK4t_OɅsY<=-fd[~ss .i)9 1IA\KRRWa8raA,z}$fe?I;lEx#j ֱYN ,f'nNKn"H#a~hW;|&qTODŽ >q=?;NRQS8U" pgh`z껆ySJU4~B xMG{iyG0_\Ilj*M`/ˤF0.PS6 Dl{}j΀ )Fxe.%ϜSqMpVk-ǟUd1A,\G~RFWY%Jw(BV/Pm5bay0%u) h͋{Zڎ:«D@4ԑߠZR M>|g2% EUNC-$T-[g(6p 1Z N*3  FLA,3gYZ 3Zy S EVռ"i.=[H%|Bg!(F (uw$H>P(WXx<.'M+ @XۑT r_Պ钫%:`o;={Vꨔ9AG)(MO_YjF ҘZPbCYq(:۴_ /˵NS@yO-DXetQGx-E!$! JMB]Cl*Iot1@Dp5rٙW`x!pgG1ۼ&8ڝ NIc{ ,ߋs|wD$b6#&0y\yd,Z6[-d m_|0;UB 5PȊӀw,*3V9!틆J>P Y)WNLp`Λgr hWJKY;L#R6䀋r8b=Et0oli9S*/!o|b G)"o t[[mtKY]LU4_S`qQ| wTJjzAOk4McmWfHkyBضBpo]%6Oib Ѷb0TZߠBqüN7n'Jz/􈤊&-p! 4 R1kf¬d*EH bŐ[8.tw78AVWmIPq,^>V0DL Gw2S$9痴5mi'X<>&'+|LMѷ a"Ai*1ӺFtl;8Cs0.lI?P'WLA>z"r;{fo1n6d2WF揮4_A %pĶkTNJ 8?ЌՐ$c1A!LwkhH{vdjbΝ_9$91Z9X,gȻهvsP'W7h:ʊQflb0PuЪ[mY$,_N/ s*8na]3U^x\=Uܳ,rz6}SU@3$Ť=pޮZF Ck}ٸB f.PQl('^N2av[? #&rdymRU)B׮Ampu&Gi gx ҞK Ċg!{n U*Ujt'4(bNMOQ&2wՏq $8pzD@<:YDx MKOjI:*t;4bmsZ=ۢ=fXx䛤"\L`*D5#X5y8:/^Ll3sܸ}cM)=C%肗u.@+Z'#VxJGJ~@kLst:xx+}= /:-twT0b/l.FgsiMڽ&dh gNNwf:Ѵu9b|"g^f!{;XRDfN7QU]C ]Ȯߨ=)U;}2M+WވY -ysU\JhcGN?Q2˶VPѓYWMr\kZ/ܗ:Vv|C_0קu[+l~G'+3s,8/*zD7reRIǞ&p-4L߃&DR͜b@) N 3APϹ6MSK2[ dc ȣ⇑ g:T<휳:>]NUKds[aHFcfEt)>l'S?dZ aC/ɧ~VY痈@C~ԽjrG2!7&q7Q XYחKF #%%dZ+ؽY2?ƹęxsz0BJ:9[Ş :G~J )][b UG"ON=-pZ-W;EGS/jVNn7_*?p,AE1!:;6rAX>Ӣl+ D!mde_< rMW!TI\/Zf\Yu#9 `@.h0VLo`c*rv.V/cɯ-]y=aQ6-'%=jZf/:1TSumMzT&~6BtX1ʀR#I&͎Ks0 ԗڅ\1h@4oJ:h'ۄ nshRŗ^U)$IY+p4d\fG%ZFeqSR{}~~3;!{yJvB6kYEϛCHf6gA3Ցۃfjv ̒~qi/uEZ\OwY%9=?[wtt ?S~8L4[*z k<o8캞L'&*` C >9ҔJڋP%)yzTd&:m# >HEyIg$Iũ/FDQS oNF-L$y*0Se5+(B.Z`c j>8f+1w>xNPeMѶר|nivJр60s!h31k5*@xCo*VQaKw*NI,O-c:K_zbޭc~eǢiiF]GX*~i4pź/8nn-l(+}zO}o-/;B2{s -%!06`J{sR]!Co|E $Q7$#9HBsA op|<#w݅9gh\vRARZ/ʰj^^w`Wwc^Qkͻ^7S͍.U\< F[&ӢY7P #轢O\ |O3],,a)Gഹa~S}Y- F3:FI=`|t[m$2UO'Śm= vKvò"Fχ/[xMu9sWrCƧc V{/?e_kk+e Ĉ8}Eyz>Chf qf5d/hH_UYx>EoX/]#s" mjͼD*r$7eYOgAP;ݥ"/JL\njDQV&-/,F1|1;uRvSVu~%Pdy2HEE׫\ԱQGv:tP/"ŁlǶT=<]2U6 m[皷vU;P"-66gmTœ :L=ysh+eJ?j-22 _4Fɪ`kEU~JBk~gFARyG~؄{!tzE Z)x!rInxF۝$$[]d&˽LxJjV*,z/\l|1<~3Inb4m.bOHJ[Hşl JhDE `n'@Ԙa:-Mxan#"@{2Q>W9qYL>se&0ӫ_@jviy^aIp<ӐhcooUM؜:_l.C;`z^&[V Hx%S[ ,ZŴ=S+"Wd@7[>&il=E 3a|o "jCP0 + SFPoΖ6%7oxAßXm2,P:ʩZϸjn`x`<.\B"\~DU(e4DS@2Q7p f侬3P ktõ^F-lOdبƑuBAaz4F FWY΃ly<"+ ȌWT3l"6i cu]9b,PV]pbM|![uu |iNͮ4JX- JJF#ȓ߼|¢EbZ ]\SA(iDcM`OM`&ɑ/ln֑UȺI-"QGxk!a *̀5B,6Ir"LNs^GM35#r+2q=M}?_aup90TW9Q`pa2(wNەZR=b?O<Stj^A(?ѵ/mCdg)7D7K~KY Wil2UM0R^QyBN[еC^='WqaߣNb%- [y3[Љ?kbqS'vA%nW'qd#2fCo>*BL$Dܞ.svh١U ֤jd5N#:c7Hm. YRm$lz>QKMZDMޒL2)^T,[Xձ`լed4CI\Blk%֊XUvP% 50U~N9QʛiLYI[ R@2fPCk߿Q{IecYapOq~ePf=f'骠ݭe:z. WhJKX`c'Y0LDԚiIS#N㊝@EQQ@1cӈy4"2b 8V5UGda4C? jS?o*n>']k=y4{b#Q_ݣgGp5]ksЗ25aj !3Pzg*۴2CmJMcâ!!ԫGwg\ڝ Swwvhf/;x{9oU(i&*kƤv#FtQ=b_0 a:Nhx(k2 a6zc5 [uuž`i:oP0,_:>&i{Hǒ!nb[n#Vm 18xH*puM6 Wj}Nq̣|O.߃72䜩.V $=RT]|~h P% \S zj_dfâÓ%BZjw.ZEPQfXlK9?qZ] hfP"ՔN>`zT;MiҿLJBל|҂,x'qV~4 I%AV6Ê4;4).;^%ыiEu!ou>+0-d6iyV3bL)nr2ώUfYH橄oJELwwiuOC2ֈ!SZn`V3bweBH3 @tR1`4u̡ h"}EoM  Vd$r]|puG 7p#`!^TeFC.c, ~Sݢm3,<-w23Z*Aw¥؅lRZjvA5mI" t05Iy;nLyԤ(s.PGNf&A_QT5T3!+=s_ua&F Ҥ1$G]l8(K¸-./&6UFyUM}~5sdsoQEqR p/)q[8H\| )j.36r]jCV&#Z sE_Mr9x£M:'k7_9-g%:eid!;A4#%gYZ =R#>d2wIlfyb:f^HE,52'z/{x9L$Bcpdr*aÓ@ .GUg{tw xmN"3 ^Ai4TS}gld .st/e&1z{ ݆l#^:.~S7EtKHɐEZa==f@#Nct.By\ԆJmKlUI`w_ jPs& w74[oϞku# x{4n썆x8/y ~ a6N5a #Ѫ nHgM!9n,?\A_Iu3ԎcrvH51|I=؏m#R7!`ONw~#Koyw+Ι[u+tor ]LNބYc%WQN]@J.Znk?ܝ9n)+O U2u `Y5ty+ݧK&-+ 75'OW.R{Y@Q9lv2cN8A1Z:6$RB]qY38 7NatbQykFӲrJe2?~Nh \!Dp-fFEo| d ٜ%`f%`)#bOm2!iY歠wצօE5ݣE9M)ckiiLa}<6h9WUsB( Zл6G+pis[/csZ ozf}2ª R%"qH .)ޤaQ3+ b@п+4YdACa'NRN@\3y#yQ]ŤSzw/+ 5qTLS-jXiU(ցDu|(jv fR4ύ݅{(m0mCy.TnAGC&ө\y\Y"i/A1Sn%-pƕţI3S\%jB(,aMr5icy`KfR&K $egt_Ӹ ӏnm!ty/O_ S:2!-Ī?S#yn(IF]JhfcEj@ ۺOw4 C+JϦ׾DUIi8RC`SűWG!oMFPV0U1]У&,rªO,_ )n)+3Pr>{޻O!V|<"ۜXN蹋G !jٓ[#z]> AE//1!0mU4o:返;j<1 ޜ䠇" C%ILz,܈F73f!Э\{7on_`l1 $bZqpf:~iZy#a!F. /SҾCɖ3$Wt7w-|F Sv7z-RS~(J? 5(r?bH-Ҧy{]sh𒝑3e415<} *e[z$#ӽ47,o9uQ.}֙1KK '(|z͗WK%p[|+NBx#+Y:}HJk+{P$(g:NrI[Qﲐipemm4L lc1c 9pCu& V/Ruߵ6b quΣi2<Qt"7zӯn[R|Cvd"Ap߭|DPC^kLEve /E"΁Mlz]jjR Ùꈗ{u03;lͺ`ԉ[ Jc8SnpڶgEExK;  s7(>g>rtp.< "97Qs<î, ϲ7K]2_BVrhd1]\b~ WxgK:\D?g-k 1PZ]gS@zoXC=%F `[;R>1ӞU1+(uRhﲋRW[!n-f tG Qn:) w<1r4AdQ7ܔ?I 7|Jik"~5< au QjгE>d|Qr{'S} HOiY G[V Jpf/]RޙxKQ, Q~­LxRڼA\i  1f|)-kjc=Y Fɰ0⅝#04Td988];$b-KK{`O,Ύ~sWYd8`f@/E[%b \=LtDYSCԄFDy| 8F3$GS$}Υc97^\c4?ՙVw'vAO`2Ku!%ڽ:,;>X5cZQ|aJM~2c I7!OJOj4eѥU*$[g˧|z_MߚJB-vԗŐUЛ}$83q΅:M@o,xאfC`/)$H4 2`L-ˈuaា<hx̫>rM\&uw`IƛIzsRPBp1>o&d %N}y'&p_Gu^|&W꣥ba 2&s))[g|f gK +bCI挓 nr&(IZ {zuac򻹢6_GGp&RTe&a@ % cYcETobD'}w^Sçy>L0x$\N;ًFfzC?|甋$Wi7s/ ^ WkZpdЄ?zvD'o4ےpATO!:l)`~vz;nM$'e|كdMUicIU$83eT!Ϝ@w$oj}Sor%̛c͠#5i ,>Tf;⨉#B =?~r B;xrѺЈ֢z @)СgGGNR1q=N *^Ғ!~9߈ܛp'̉#1iu+!+h!1u‘6⍂~?pǥ@ݝ sJʥɲD9 } /h )XN 9Kd Ƞ:7\y=iR.uAek9 7cb^u7/^ ͬ;0z0o-~kp$^"YW6WQi:(i  <1A:p!g#o'>wVdY7 ,WFxA?"V̚!yn+NH]Xz <^dϮ0S RN?dskzni$ͶDf@X)aa4 h_-\+4ll׷r9FLJ$ؚcTX}2ZUamtK|16]$\$[W; vuHD.ѐvNq$uVe_'9Hm1#` ;y^ہqbPBbV?spPAćȘ{P}77}3ƙ*f:oZy^&ijbʗ4Z= mK|RRE\e`T)#oy1%yBp[^ 0^\4wlsή.Tn:L*]7vP4|l!AG{eWfQ(yA0x5Y2xnGklؕS]EO%A\F.Rػ+(-W$'A!\.)LclJ|lƙ7}<9gZnȲ:Rpm(%I.OD0@ѱ4~h#UG6V=!E>]I[zJetADGv vk_*VIfZ:b2O?rɢlOQĒ[IʡX/~c  h-mz-C0!21uS$-%pÒKč $cz7|9nO[˶gvYsm=?~dJG7_>dwGjtBV3_%7n,ilO,g.5. OG(e5{x,?$-zB2n8It}ct!#kdyr2պ2U=t2FYf1xT0R.{ϽW+pCZ7g]zNao;AW~DɣnzΪqĭUI lNz?h¬f~OS-ٖ|y ۽8<6Dȱb!-U~*?Cny-9)̣2*\UyW>,xUy~ry7oK,]^ȵL*\ %lۦ10 ߲TZ_]AD[;raW's;n/Kf6o-ACdXB+5} wa|<LKLt-6V+eE/%w̃Sѫ`&ujN1F%Zpt$vEn*)ĕQ:4 0j9J_IcZ?Fd !GE Na2'ޟiw} |u!5v^ KyjCʹZۄszZd&ZA8-Jgw[(CRbWJbQLV 0B,4/ )hǿ CFlDG Av-jg=^-<~.Efr§"wKq.&uHq:H<<q4XE2|sR4Wb .pRRz唔GhȑV. %Էl,oģ/pa𦩺1V_MJɝ_z/ 5J7@nB^G"fűg78 VVb|O~'O`jUT^*Y;uOP1:{2q'r_|X饧_z[ˑw[z8l[;*M)W(S/]閅lsu=2oN-19)lD26>(gn+2* ά׷ζ{QvHq~wwbKykHOAqɰ-l{ _9s{:$e-k`dD*ydZ P"a~b:83IN7mFwmK,ޏZP1Yv~D=jdeī(ըV #l[FŐI={cDoX?\vr幄Ԓ^ZLˍZ0c(ǑPKW`IƝd T*r2Ċ0ՆS"+h. _2CuXUF5 6< Mu{g<ԇmm%]c{䖯JJ\ќdLR\aAņѬj@ ,ĈA7rsWbP/0ny?F<ŠN}/.$<ڮ=y saW*, i b&),ԅTj(g+W `K# #Hm;7nF¤ ?pzn[nN)q8C*;rHswW7a)+ۅb-]H 6D46K^t*ͯpZHeŀ>]0uV3*ݏˢP/ 5=DZv5t)re[? txB'ZCŘepZ] t _ ܢ, a=ʛؿ fzv2SCЩs;ˮK- Ә^$ &?OϺ=w @89RZu YHDq(~A3O`Zwb SWaC p-,X*J^F!j+`F6T\kY̳a )UjRqIX!MZs5DzJHfű[uq:Tֹ\PwHd#)/eXk_4V|Dzqºč)_[yN/.-HQ#s, τb'$wǩj֐UUDy[ҿ%#ebca@ /w v,|po P~dX_ h=bZv8NZVĠx$2|[Ng?hWd/^y,.d1-H"܏CCC ~XjhFx$0=e.:VYz/*[]82 EWSB{ȓؑFN~aFQ9OSX>PVAyAfi=u˗5Ы0UZS\RgWWZ]PUf(#L)$s}чaD$kҝ@|iS(/r>0ˊ4h&8WŻpj峑S # aA؋ ^Fg LWǂz븿6zo?8yVg9;> eXnۢwI i$pQACe ߕ2D|_aY荢qA=S$|ǚJ y; cǤK+AS?wD La(UWW ̀-$<Ωk@|'xf~Z2~JzèX'Nb،Dk2@NĖ1T5s]D^A&W$XlPȾ*cMˏ&?Kƪvl(p^!-ӂ{06"vReq\~}y̔c`4g0'L%>!3n+̲5񰓄]1HU~Uq#@㠭@8b\rVU vD@r2+ D%jW+FB]9^Tm2F؃RtT~aH2]4џqbsɦ: v P49o7crndfZ#?C)vyS[pjX5Ш'v1z}F *7@J0HUETx]7%A:1lnLp l G:ʯMN Uf_X>='Q"}5 CmAC"0DɓIl'RoļZ~ #|-tR;|sȨ|e5H57P D:^ ncpo]d&CS縁װXJPqƿyvz1@- tP=n|LgCbHʢCpKGMڊղڏŽNp0{,S0d]F|jjP?qs{zD._|Z h Y}͕]I7 )&b0U[*-]Ai*UK)f 'ީ/]V!)T )'В6 'RBG5px D:-.nap cޔ9/ ,vn`1]e_9Rĩe]N[T~[ l'B¿)s^6hY\`]o! <+FEbB)/zӬͳ-( 9N%Pׅi&˴WM؜dh';ǘ^Oޖa f7)1Q&IgMN)u+'ifTOzHEū40/i2{gTzaeSCEY2ݐķ1}d</ Q-hv"StuD aCG>Lil;p$ņgx&ripKJ߄ISdK  .HYITbIh,5)(*W?:|XۄN1>e_ָ,&6,F`&vfFp!"/$"S` 烈=/+KsZgdcR#Ŏ:H 9=Ku&@K>ISc1)OXzيo$SdN硧koPEj*g"Di=osC285)p~tEcdߺVfFM<SѣZ.e<}pQ6{bI1,Go{{ jʲw!̫^ť$?Ɨ%UOPRݼCFL)k?Fc"3NEE }P A] Q#] ϶t`ǜÔ`]zCԗ?X_MP@ jBec^T&*~%\VISɺ,P(s}F;.~ti4^'|kpTs:؜8h?. @7L~&uW{vV6zVdPFW0)gSD`"JOGB(&䏵d@I:k~$EhܔnɠȘD^dVQ4cIJe˽DArKs$,w.w[5"g-q솝8Hka[Q;d=QpPqR,?">r>#:]Rȇd=>p1vοukK/94+]lhG$ΔsBMc#x\sg[1aꋅnGѕռhy/GY,|=ȫ2Ŏ~V@pw6Wi֖M?N‡ >zzpBmu@CbUgTݾ#! ;[<ɿ X| Fp b)f `7q|CV!lj&qݥ:c KcO[l Z90ItlyNe^ergIO̕x' "d]T?HX~kw'lͤEMhل@L\@% k*Gz]eANܳiogjɛ/DsuOTV9*C̖'Fw&M2A!))pJHݨͅT-b/d*V|"ԿIIk=05bz҅6 ?[_d+ʤϔkbA6[hAսHK~W1ƾmgcd-1BY.~p\vAH}Y>cDW,J_2iNApO SѼ ,b"߭ zJYZb=JLǢ|yDmp?xI{.++J5oɘe+`M>b d8 rSF`_oco](@w+@KNp0 pPwd07GBG1H4KDl&}N:riA1v1gez6n0V;q*.Hb8-Uh |A`Gr}iE[-#0 ulO;=ٳk;{$Qv<ԢQEŧ`|C_D'D:`* uCk,+rQpч(AчSޘ/r {)G4!nC8O`ƵY)iJ{q)il> _Nwm"&14xe$Y (gM}r%_a(@xUX?u'Hy`L@I8.#nrez{R>${+94~]f0n9|;3_Z`fn"ʥ[Jj8–D6Pó9&+ZL=(r%dS4NʀWֺ=,КPU8n;ݢjm,BG$frq~_zD#>$??3]ٯ.'l5mnonFY6{`zijGJzw8IwW79b080p v|Wd&DUզ KYqP8Է_͔$Kc CL_s!MZZwޜJ;h ys?R>9nt!|CnyRl@\'-3)f HW6x1f riEF>^U.gT6^SSs@ lFTtBlabrWlcmxi^…O4!13:/OR9d*d6IX 7U[GA`+A@c`= şk|?3cV}6؃ĴЌY&rAqi a qT?uh~s(݃XFQ948mߡX6gedcdn Єbse QC"+Zh'5s`VkE/H*1Su4@L0uhXiXż6>@=OD) aPFO}}QPk2*/g; \VkxJoe5)gٶQຖbt@Z`AZ}TϠ >G ehutI'tUtNAcb^aFj~a=J:dX}\@ohZ-=}]L^D"n`>ń$. klwbβ L=7 H.ȉ:p/'vCRݶ]s6iL5b8~P*tۑ8.ROΊ%OޘҊ׳nC2Ch)-uQtcv>tC( vl; 3"2 ZnE'bE4nSzrV 5Yq^s1l %x"P \S[t?W%"TqW|Rw|.%Q#ENJ/P\:5tҊݬQmd#UOz.PwsSLZT |aWMHJaVۈ ~$g^nA WuP 6ɂ2=ٔ/(J71 < 6C ݨ5/./yVPGG.HCfaiH} ]޹=ρhhRcp1 (cVw{1OGB"'0 CaG<'WFVU jAR6YVԔ^kSjai{Gm z >-'΁v3C J3V`-pt%FJbk b-0.5^5QMӤQ8JȋDpt h'(9:l($f$-]|:V`x; `YqAROJ 3ß>IzaA@xLF\g%.Uݣv8{/-z%Ӎd_T1 lAY>/G;N4{3MXҦ$g#/1Q*)j&2_9:fd@*/BW{N0$ vS0w=E8N؂w2dSO^[VS`אYr!}4`lA fAA)D>=:˅:О`C6O ҮO)X>qiz*,Ro\hlt 'Mz(PLDU`tpgt*_#rK4٧A4:l:ɳ-BDX, m垞s*7㷨 !ڸպDHsIRH!>7M /@U7u+xڃyR 2<㄂a8M:-w04aqCiMa $h~]NfTGXTNB npxpS[Dn}Z#s@4Qbk)Kxq}..Źlcqc:}Z~G`Oj@MOaUaIKizϷ|v\d(;po(nq^A׽D-u9AW\д-KUzRƃn»`b!SL]Ei YDvK_0 r#vlG;UևnQ!$ t%$]q!K3U A`qd# ;"=-K3eP{4V"TD)05%hXmf&ީYX4nY&bk zw1=fH!YvDNcWnƟM;."߅탨wJ&f&Y DFc34=S|IooLI9x y}U*s)ˉAX费+ _| -.cGC=]ERU™GF^Ž uL3J"]ڹۄgʕu 5 4 6GG#xb@o!2#WUDU+NmKZ@ uYל)@-wfd rpQpg|a_kQVv6t\|h|FZyɻBR-L3% oiwDjoI hr1"'Ox-88x\ӭ7W59 ,C&kP-Cܣdz5h.;4ăX.*6*+4|o}ퟐ%F<*LBڮu.&J ˻Wwv* w-\ I^^ H33˷+rZv//3̭f,KՋu( snsW5.wr/?Mpkf=cVj:w}ŢTX+r$w&jzs=@o |TN% P9HR֟68\PZcz`ɲo ey_@~)fz qtm4PYneٿKP΅,b}j;0Us.:YF0K#vܶ%g10AM޷A} c*75 3v\g*ߍ$Z9 ܽW%9X^n iՁ萱TC2FJ XN`~ׯ*5Vv 8~@\MF׺V+l?,_\oHeɡ3FE:&%_U*ݨ{9 5Wx7ɀҌj)ܔ| MldQ*]+m&^{@i,t#p6ginѾ6ᖥ%~2=SxB ȣ~a7 tVk 8>>`xpW>[bqJBx4aw:OLcqO@rൌ&.Qq # )M`h!2 4y*S@ EBc#E֢Bb_Y2FE w|SW! CZ6,i %`m!sO/cRv}UQ߯ڑ6ى Džxmp8mI\p]n 6FO¨ʋăQhc5979dqt90hf"NI ">pΥYwýY-쳸HCݤE& rvA*(EygCSMS6(mg_pC# =$Y^3e3!Afh]epi/jt7~'3GS-+_^̯Nk>Plג?"Ũ0hl?A 듙& jA7L BRC⵬~>B D[G÷C\;K5 ڎ- VKI)ҪCRB縀t4qhS GR]]^  L/h}VO9Ah} & #P+C^\٫z` oA[SnBDYID⚢M̜K m?y@ѽ)ؘNT, D9/8؟*(D5>Swչ,QEy?뢠S_?],pYx T~!~R·WDw.AF Q|Z`3Fө&*NIϬ<6'2Ͳh u>e<9SU^vAc&FLE~4ԍP5{jRTVhM>ޝt=y %<{u&1&ss֭4-eZzt 1n=nf$MtXQ h C&=@h2 M~St 8|'bZ|YO^5n:>N!\Ktt3GUuyteV] xȐT,YE1柰3)9֞uqP}yΡɃ퇚cz;pKLo*?Y)0}A2I'6kMuSP*oj *38d=-k;Hk+,z&ds^mC#uaCVcz#^ӶgSi+-/joUx.[ö:&.SqID+iB#=t('Aq9_HkEًKmX.ў?x8robL.Jf:aXE.qFBC9`X8]W3)xNVj/ʜʵ/ ,Uܑ! "7Ne _8oI>[r$2_F|u9BDKX% gBNtaT~W5go翿\@  ]~id^5RN0@\^!4aU ?[~&< wU=b| }F݀f8ǥmcCPw*:bG;IwV*, ^9$cTdRCɍ&צ4[ɑjnF^.dmIt΄*{ ^$La Rn 2)2s֢-!Ww#.fvTC \1K\ <<&چ+ͳ.<:IO{,/;1 ;Ky$ OЌ'a"HAVb'5HIv+D)Ш{zOl#f`qÛDqR1KavX=fizg\dF>){YlzKS :=;]o?[ՃE8S.4P?|5.a6 6(}eϷK90$:5yB[AjdqJuN8,JΏ*3r PlnOV9dc:#Y4N nڎl^n^>Uי05!4iUPuÂ|E7vWW{%^$$GHEXsAO+d}j^8,^C$ȃ+.Q5 fwZ9kp鿔xBA؉@5Pޜm747\;VcPmTqS`W=-9Uj=ۀTO8OLEXvJ#-1h&A?*.z-4fLm2v߲*,`5T79V XbFZİj~1?<5,@(iJsL /m/{L8LFi6 n//6uV@{"$[/ ،4?Vtxt[.y3l}9toBԃ 畫G{ٜaQى6W5"Ȁ=BvUO%ìӘі 2k裒#jŕ+ *; xD=8:dRR:ʆ_fF6tWàQ#UO_SoC!{(g"t-dw:GmFҧ덐>l| hDt`< :5kwX˾*33t= qZ1p߭|kj]JGҘYvLIV٠sJ]A W݌i۵7x>ư]f I}-}*q* %tz6۸$_m({5@6ل^hƺ{\5Ѳs]^* XUGv9luNӤp0kLmԗ﮺Ҳ³)\1-MG~׉VKSZg|>7ٜqlb+έ Zfq.eئ s7ٳ!c.](AElSǡ9 ڹwJ >Ls[YlM-%͓k)[gڡ^)#Bz1W8B &-7Z_Dt~7o -ĕӈk?dD@X$Q?kL> >զrs;J3Y넼S$Xh~t^ ɉ&8;>~414 ~Ɵ e_A:O,u|mZA'NpR`#p<3QFDɸYU52^G aBt,~%7}$à2.XP. P"4ybՌ:kcʻT 2~>2O Ulx; KV*h7B4ՠLg GuLEg"jɍ߫oZT.Ddw&;Y- Hׅƽ4 |5 ]ʀ{0}+MCw4_#Z%!ʵH^Pd EpTw;peQ;JP<5Ml S1ܜ\=v^,Ӧ# &J"wD%AYy`3gqD_A,`vP¹{Q0tNU,Gt~=wd_\T9egKEyyj%;3~V~_Y,dH@3ڻ #+"7v$i ݗFd(ԐQqsKry5LҔ]*=a H$lsž혽Ñ!Wm pѱ) $Mi!U(SM*dɺyX>+ ̣4Dh"xʥc.X1 wlMEq-x`=^IjSxǒ," p5|x8QF+:ߚ^6^m4\PJSrN%Kesrs q.E穅&N] #6L&9c^JQPvI.~z]FtH8MN4({TlK xm&:,aC m'8r8v2R/Xoz٩J7}*)O䜺Җ( {뉯M[@?-~y+zj&omsBۜCz).Nmj'=!R&I u Nl/,栝D<$"?h;@t]Q,F ^R{SmЙgU{ަ]}1!q?e@x|_7xa >KBH}O&LL[&~e K:$(`2Nˡݵ.Sgt7G]dd(XwLV LKd(/:ө t"Ӹ?z ]5Ʋl Ǒ nN2k%qql.c =#&YLP%I؆SrB5_ i;~OoE^D- pk&3 M[x|^e/QJ<ұ9!+Hhɷ9FZ ]_1N@NT.Ubn市` eQ@txqʹ-G\ 2pv7͊ j,P씔CvJy{Sbt=`8g̖y%Nn5JR BDM&ȗKjMi:PH&N]f;'}jt l7ᒆ'Laen: A4G.&w?:K[m `(5T1`g̗>q["S%KFriG>7Vґ!8~!~bX3%&F)GAueYYX)E*ujK  *GxO!X9ɷGq<[/)*7K.Ks9f5F|*w>YT\`.6}K2xFTUAؖ&ju;5iBzcjeJள/m hj?پ $o!RՏC~>]ǻ2 cðA(@aj2M_Wёb Ls}djݒ1Ƭd#{<MML ky&nq!N\(]427>:,g;%ȷ"NPFoH#הoi7sssL6J LOF:?:MT~mvڋ ~-Rr&he -TqX,FmLʜ(:Ȕ z&|5y|=-vU1'VTPFW"Nbؒ=sA@9.22 Od#_u+c%Ia?N Z +A% DDecl_Sem_Fun_PLDecl_Sem_Fun_PL.BigStepLamdocument.tex7zXZִF! ]A-MՋhvG"uIBm5E%246Om3X`pk`ܿAXP `D)L6n~/_ mB's׎'Qګ9'_2|#_5m& APE%a/38'X|pGN,[Ca:)BLR.T~X.Zyg֗q3XgW'z 'AQVs 9ť`IRB--SkOy"tW[v zR}yqLT% ]HxI4DrMz 3 S.+iSO%cZP0lyr {d; O(yj +I% \Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotSoundFSetdocument.tex7zXZִF! f]A-MՋhvG"uIBm5֑ =c,HhiA I7ӭPMǵkW zTs2 Uۿxk#*;/Z>m}ט+sfB扜\>Զ2 $h+\jY3/_0ؙjoW9r:jR,0=J_CY3ה‹klzqK;tca~~Yo+rZ9yӽB>4ċwˁ}@L%wt$U3^֖TF1*@e(3 A魎? r+:K#&4Vh* ˧P\# 880 +-% Decl_Sem_Fun_PLHOL-Library.FSetdocument.tex7zXZִF! kL;]A-MՋhvG"uIBm5`bd.PqI#SG)io+hW Xg4]Uf'Ϲp,e܍}mXU{7~b]@w9:ɚT-0ݪG;pGMD Yc5[hOR.H!HتܪR NiM{2Z,0[@"IQZ!y9/H{ppifnYbƳUk(H)c\%G ١wV'f89I0ϙ{$ {[)72'&/a8;cTt\.EauUhDKU,!$ [ǾQKͅš *w7vm5*$/RR|w]ɺ˯TV}iq7,tr]f^LDYDi7HzVe滒SN#xn;}aUd)$i춛' N;B;|R(\!h}#x BsyWj98J^?d'9n"\i 0 UlTu5hjNKZȷ"R,˔IEHGN[\dT(ANgZ?}n CTlvS`t@ar'W¨Rճ\ҬT`}}KFmn+>畧fƐ3yN}Q,m'!j@a`]AKaV#Vt|S+NnfW1{,.@(\Vwxe! L6 x%?!sl*tk92l89L74N8C6QdK>X{?ÅF  8uP K!Tmb^s/yȧ[$X {yͮ2Azx[:P=.B*"8 ᦾ]: ~b fӢ D %d 7N&m%>쓎hso75גWD/RS 7r,;8CWg}mzM!kS3Kon05V*  )TXb>- 9^1^+R8P!&Zc.I6O+cd;mUGGΦ1q'IxQ!3 MfA[^A@R8l;&@'@lJK$.r U9x; #C=ʃQ!>}hqEƏh,ֵ?O?37kT{mdn&ZԶŠ,xò3?\M#HzdY}B/JQA)IgLs ZJȜt w<}y%ε W=Z徱%XX!gHjV(< JzG%mb-{J4]Jh3\!ݥGbW{h;C׮K`?Ub9T3LjqW|ށ# )G/'2%ꐯI9YuH֋R.6`(QuI lCD5]fHBX#*ۨMDR,zanBHxz[b0ER?Lb=m"0CXlK5?䀽wW?u𑄀}Q,4kzS2h@)oΜX3O~OVoeQ%-g#J+Uc:͏4@ 6 N؛S:+kLK҂Y08:x?Y֧Lr 1"QOi6P`/B0f\ec.?e_`S2X͡ Pwly e10%0{'RkaZwo w{~.D)Id}U~dAY 'lݢȪJ˾XY4Lq2 Ia}$ډ?gl k75D`!S|B hƭR{'4֠ &XWl&_BջqwA+Fd{͵QVj(M={*ዶӌQo :1xpXS4\l0Ti%5idnۑhhٻc8:te(8z=X}X,R8ؕPlOY[> 0 |Wjo /n<0J!N)gZF|~69ɄǾW,-4(P9 Q-ƫzY?o"0͋±$wc E'VoZ(X46@=GW&7.CȎ:l]ItW͸g쉳Dy3!R:<:z؝719㡲40y)@tT;@aԬ(wunֿ,)M9VL?}s g(uL;.T,3K3;$O8!>pYu.傾++;!T dqG&e:kvԟa/PRy3huz`}jvgÈ.0j׶a" ,r}}5+=dޔ''S@fۢr`l{z?f&:̠!#GR>c)d Z\01¼dϚB}⮔̒gY)w@pAI#f9tѝ-7bI] :]S|K8*9Uƒ+ıf cB>J[lnhA`!QT&üs`VRYbap@ ̜(nk3qjSL2zI)Q(M,MJ4|6I՗DNyH6=NH,#K ~SKxhODIß$m/7q>v;xbnی:~#O&D ԝ5ffnO sm.q*>0dkNp |LUCbDXx 5"L[{(M* 5 VZIz7$d"CgX -c6c°2Y;c0ܨ6R%j4* NaͶЄT*3~oM @c0!K]4.YeQ}2Iu8Ɛ4T|?ơ%~O57؅UR\%"Y5t֡d 9 5e"X^f']7qelx9OȪBd[1'p+h#M9M24k˸Xe킊/(G7dɆTpZ MAdI\='$[o6FW cؗncHY9Zz}c|V;H2r̺8 y7,/WO<۔ɱՉAOiodɃ֠Xj̻ehak)_?*ӞoR>c]ѥ5d!>Ҵw|˩!Ju0$"U0σ;hioEs͊ۇv(v*C&zWVMyWAumA8PXŋ>^ݺm;6䪮xiVRAz>pᴞ}9]VpaVQ, bQ 2}@Ыw2SY~I 5X,!O)03@Cz yoNP+t9W,c8Xdt_(VM t0K*J)TwJѷڝ>?*5trF-<245k ]/fH(1[/*b Y>WNա\}sCSڥlƯ!8wpoݢvF֪!ZY'Vfd= ©0 m "~rȉ9\%t;ϳrJJFm1a:8=D5X!,Eb!XSL 5{Aʙ 0xslzngYFUn{LӮc~N6._GnK ŦKZ5?@rh6E|XA7<)A\MR+9J rjq{Eb8$Fv_gkV9(Gic-y4|Ilb )@ n6s[qk t#1> തz"5`Ldf6=gCfj=D8X3 nB,@Vp#sX\p1IqLyȨo?'z1ma.FtmpExҢJuWp_)Xm;x7seؤNfbTQ r4lה #1 `14Ȱ7&u,~KAw)}U*yz%[SZx]4p^nh@1{K/7)xg co%]+CkUЇHۄ1kroс+{PSe5r{lgL4d$"oS渌hTFfrwIl8@Õ [ܬ5Ֆ}uC DHwuԬ*ɸ3ծX\f9l27c}b| HZj~ ܙBv(8."@biկ3A<_0(Jƹ zZfm}x!OPߴPQ f~cA+ୣpN%ЀY $E59ʩx tȄc7ℳΜL45Gq4K q_iB\ŋFVLZ "z_l4,!dj< + XɓZ/`*nێwWDMDR"W`GP(&b̗|/{/XmâV}%}z; X}T:ej8o ]Х-h(#ݯN>]@6֣ '(bXl+20^νӽU>S`^<_S}Qzry&[OԐ`d)ɾq`ʖyte^-0ZSW*K!h |K%zvY *H*+Ԉ v="@ǨNS$8D1@Ab=Ti)N\kЪv޽!%H{lW\|~ $߸Im`PE)%hw`nN=Fg8f?ߪKҕڨTODIh"ps+6ΘApvp{q' D O1b:|5ݝ>QJU'61 𸖌e8,-{^o_sQ2ƜNvCJ;Χ Dy…;6)/P@p"T *cu@1Fj %7 #FBӉ0~0!i6M^_ayk:1P^(DL_M8~j.BIeaa)=/[J]!$gY^B xS{#긐Z7(d4g;3'l;1.}x($mmP>zfCO] @5(8v廚oo;LKEt3gՕS φ*\N7 wwa!\Pm O۽?Il'A7w=;I[Kȋ !HP0%UHĦ9 $n׼KHSM䬻IL ǍH Ĺ3ǃr7Ugio>,n:ҕK5Ex1x6{V!%nθh A/ lzA[YJ I϶r?I~$BΜ ΋eۃSR#5FWJDZ*4fDXC54ڮL]w2F|]WQ֭Rw.Z$ɜsX$F`u/rvX޻V+1YUC`Ks'Vm uU |/8?G#pkN{{5lg/%t4BG<ѻ>0a{-R?'CHjS9])ќFp&6RU;~0= H"y>]`ߥ"hB$ODEeC]8T^9|MJh; ů_-K.[he+:i~w9x!lH9Ҵ( ;B'{ȖRٞ4ONJymr!@̦4pm6f/в?+.hZUMٌ.Nc_]W^R-v'է/ٙO٥"Iڤͧ:D55p^jFO4>^Do.]5])bd i(RAǝ v g)6a6兂 fbe}?Hb,jnIλ]E$~ (m f}s9d4qie.@HLI,L'%Q zԉ^{ [1gF9z[,in>SP@ 7tظtwNS+1 +X- 9}PT\ļႾH$}eg\A3[GNt.*P\d09z5rD]Oyq v`}rbl>~jVu10 C5 Y1>ie!}tN&wە!.zͬFx tos>n˚,p1!0ntp+gvG%G!C8zr&q(g:EJ9<NJ#nG(3B!E7dnCF iuz}.|p-` Zp\lq@+[GN FN q}P;|]gٰ)h&b8F@SB4M4-"p c,R?JwH׏,(v,t QLc_idUޒF @}vI);n1+DrPJ*("z d^%m%{4 t *oފJ@#bnze*豙Ž>yU,t'.Cl >cM7'1UQǰT`ԇ7z&+G\sj ۰:\w>aG܈|R!zCP>_+W|M \=歌!롏zk>b@uZ?9K{G%*4YqoDCU,anWO/z)^v`-zT a@b&W ´#KoqGq-뇓n%9 2ufXBJ01m/Mx!8eKq]&9tniSC]06ל+ ޿BbX ӜӲWFwqp/fV9i40$-(,|kxGJkFq MMA,W+fQ9B4r]ԁq2KDbI93FX{A%螢pBx'Rsv.]5"~yrf(0<Jln6+)Gs51o).gp+ `JCꞥj1ֶ:el6H{yՒbL\Ooȫs,Q P_U,?J :R *֢5eW0H^t6U0'5 ݰS23mi= +ݞ7~x"gq"xJ3[DD>bܹPe OMr14Li6ޠ,6ه#E^'ҒnÇW`XNX؅\玫NuL "0J8.9(mS%}&>޳Os⵩YưƐ#$cI[>~iT!3[ s9@p|)gA fޯFJHp{L90KeV?_Ā;g$ܶ1Ň 1ܽ*+k+/]}( ob w_O-zSg&ovGV$=ċ7*S.J+mqLnx?4nP}Р}gAXt{5Q)`*gcQ{OMo9 F'7d &;il VnTRƤ_&[e9*H'5Fsk2m*V< a-ߵJymc@J\*ybeSn&Y$~5ѿ"!X]s{z5Wڜ:ayG@hp!x3ɻ6&ҍu nX] %5UZjp\ф 4De4ft.@ 5qPBeTxV(Daj!1LY+3=ѥ5szZdc 7d}nW %$`Ѯ/E/Q̩pۏQnh1} D"~QC9#f t~ ? N%Fӡv85dvm:Ne 2 O~lbHY1_/Qp,&-y: 3,P2FU+nn)K}\[Nx䤋 .Jc0}RvEzSq7Hz|uj 0Xd#DE$n/5NpC4*@~.*ʍa:4z1G(˸,IϯN/- E1RMrn'LY {2bHtigЯvbE[w&|9[r};YK=G@hvOM{_xwVqKYȉ)cYnNZTy!""OTw>g]gC8X%Fo"Fq^K*Ji?omS!_8WɀlH=4OHFLW+/_>i@l'a0KڭM,Y6Nʂ`]A(wq0ڕx1 @Гxk&2ټgO_)\▛JxmʏOP2K>^~nA>>]qv/a^%qukcԷ9js^( K+ &磿Y5xd| J /JJu'x򖃈X&Tٻ!տj^tA>#yp~| @>S5AnJ+Z'79wvJԍr*bMV;"fYqW{1-Sq[+ 6ܶ9̍qZPAdէjz ⯈;C<(O>^F%a_L4\{CǛ֪ZJ\F 3!\bᶍ=_UO&3]r⊑oAFvb=9W3(d1bOPL҈(扵.pOͧr9Uc@c8v67'gYZ FF/+U% \Decl_Sem_Fun_PLDecl_Sem_Fun_PL.EquivDenotInterTypesdocument.tex7zXZִF! ၆%]A-MՋhvG"uIBm5@o'lsHvF¶BSk~tE/#kK;*pTg,`ER=Ndӡ3_o>u 5,VBRffةa 2rCCXsGU۟^ @c͡mɓ؊ d箲l} et( Z|ı_/cB[w|5'$j"R㉿6 ēKi,I7o" '55J@& 1TFke[h;9&=>l9 0]A*Ba):U["'3+= foMQаNeL6&AW^VpasmF֍Y=?! Dd F/{~mUDZdQ?W~om LLʦmLM4\7>۶a(r?N+ngQ^#CҬoZꞵEI-k܊XFq 9 !_gBÝ@ɑèqA+[BIhzsң^#is?=qf# ӶΫWWx# v:2MY>W7&aCIՓ@jM<" xg'QT_\Oks9q\JZ, p{E&QDw)䨣FZВ([ 0&ˋulwT|I}7|qNkCfX7+b u@! ݱbySߧe֗nFlĦru')X5O1ZXc\1fħ"2jq5'(C-NdF_6U'*m`zpz5QtJ) D^~fv# 2/80 b.o*&X4 ՙ1."vv4h#p-uDe֝˅V/ۄ9'RuC+ PT!kG{?)E;@: DS*kRWѱ ЫX$A)>Z3$7ipB6AsiX#. =Ϧˬz]V;Խw)oLtKnf(a(!1b7rb-U2ŤC& 3͇bHV0`q#ώ%NnA(:ZOe( Q:#|p-,gS m2ML%'Y,`BK&x!g!9s_3V VKEw qrWwnYbܟ Th?H=cQӕc= ~8L^ړS_̚Կ%nIUwP6FK[l~ 2KNn95gB%r a; V$pk#HQyB$5P>i]날gpBh} RyA:6jw C _Cd8'g3V!Sw1l1t'A=S--H[YLKSbUӼ٥\-`؇nl eW1DToM`^y|ǰ}gt^x<}Zd\cĦK.2j]V]]hDv&/?kߊKcb5L,܀v{DuK(Hvi? q1=uyG~dl5f+`&} |>k|\=|QjІL SGY¢Ч}`U\YniI_+С y ER .Y{le"Ck:G ] k!hvC^S(y̓J*˿(ua/PW9pN ~{;EI6 .6Cr\߈bŠWZexcG%SM\nL%t-\hfCn{zj JĈڇA'Rx]HN(/!v{k; h[ JF* lv-@x1! m5SFۏր$l3-E}{H.odn_ݰ,]>BvA̖h't%1!O)JF4 +z`4{ ke>lȏo+,@^4&EXlBzN\iu|25\$5'؛b3rE!7vBrȍD]n=+6fG[:Hmj`$`@ 7x^R3jCQ 0 !(y[9OOB2% Cf8>_TBJB2}i@7w"k)E'1j$vvD*ʞ7?=cA[HOE@0"\ ty>(%~`aр1'S )" u+cRߏ黼^yV GD-{YDе᛿.VxO1:RّCk*ʙՠ@h;Ƴ (`'\Q)Q*(;dx_8t|+N]vBV?nnmUinߠ\_g b\|@!&ͧZ#fh<>JU<Y;Tv7>(LsGRw3S*\. OFcSLbzA{ %ݏ|%N6/iֵL%f14HBW)k}1Tlך? u\Do;V jiiUgĈĩflY~X0Rى&V_AY; <䱾%C07,sCXE8hnF*zKIš[Pafƫ.UW:ukt=dI΍َCD5kѸav|gekMZA@uLBK^&tM|QtV6/K 6^{rs ?KrӼoDL#(O;OXMHno@J ֭R_>'lפA;F@mɳZ%ì-ha9Ywa Z Wc1 ='8{荗?j9"~4i-۳PNh_ûZDt۳YM  (1XQ7Fb|`UY Vq/D@"/'2 j<ʑ(!9VI6j*RSrUf *EVJ6("O(̩jWȅDJa@Mwm*fH OV\o1+`r5$3vqlS:a S:zI:;/^k"?dBw,,:1xri~|_Å*@~ (IMNO[f;)_z=#@ =sQ7.8=46ч7nN\o$gr>N3;NzMj dv ͚|meG}!oĽ*0qpS1KEQ$P) .ma&2wkqspl$!+G w祻7Zf@G-a<Ζ4_Ė$:,>Pj$Z LL[yg ΰ S@UNEpX-Hj;ᠻw!poԾym;UC W?wz<3Am9nˬB]OoWc3Ʀ>3\ $bmoq4I Er\eBȓt^pMk"cbtೳmQnX{KxGCG 4+҇w!GȹPz0oInZtT7#j[:ZS̫`ZY h@uOz^hMÖ}13xT]ttN"QD=8/ܓԛs:6Tۍ!X;Ing.ݢ;T9Zl';ڥ"k20SUB ?O١~Z(hEv:>{VS 7@S?MIܽc\^5w7&kձgYZ C+=% Decl_Sem_Fun_PLHOL-Library.Old_Datatypedocument.tex7zXZִF! z]A-MՋhvG"uIBm5ŀ9"*'d>huG\sO3Ӎ⪸}H7Qt2@I5 QH/^ŪjzwT9Ǟ aV>pFF|>@v YPkuƸD>A"@;#"/ꖨw:8>҇iW)Cçuh È pzJ۠2 =-\7# [S`ieNWtkt#Ve{4 eWG\nr| &nCGrb(o-v[-ъ׈?bӖ'ߓ"j{514qm|!}]JE\/>Ws8qc ڭ,Jx"~;]!"ʻo=Et9<1\o7Q;z Q\^UJ_m=f-)6g IsJn .#Al,,p=plAeN1S_: Q_m@5[+~`X/0G13޽qkdg &q9?&v\)DE[6{A JCُH,۶--@>Uf6)k[3诈kё(l q'\f"n͋¼XT86 MUȠM`v%pP KoT{e|gs~Og$D3d?1;L 78Uʅ Pl)c埂V hJPPJ:1%%-@qb|s 4fq,_[)Tk+ Sjå}D䫖!V)47s,)^{hNJ'P GWl_? ̲߫~v4RO~\[Z8O5 Xo}n"i4V#b qU!̖)HxAd)rJ=sHhcA翭y VVas%ee *)b"L&oq\cB3ouK 62^h}{DWb+EN^YHw>cژ7| FF. e`9eY)]6i&/^75<0r'N7$$ny1-z1#}ʹ T('t5J.'7Ms{7wp`Nw&>ezJXm/:7^TU8f"sRpYq j)5t1Gq'bD7[LRM Lj} >>>sC*_ُ#>+R~εz4M+[䏢J2~}!D'Ũ"GHND`)#t+hR?' 34ߗ\_ϚLg_X3}02`½.xZ["<^}wn_m/Iħߌ?y 9DGƝe ]%>,Jq{L JEuªiHx>+jcq_Wz)JFe.nf#q1) )B6 m]qn;fcK&T YDxCY=sFPRR8*fq)63:P}5>N,̰;qWa*gގ&Sj`!waR)3 Cr lZxүћ LP3@IӆRShŢnP- N{Y1sxTak{A|z/.RXMKc[+v"+.`f|1'r2F% rHGQ]Jup;&<ŚYBcTmJ&ji3˯TjŬ3/2>+zv Hm5;K‰6z4c5,Mw\7-'^>x();HN|R:ɇZ0[X'3{P_6g~֗HTdU߶{rF'~˭Sm}mtH}#QЗQ6'3қx`ܼI;T yq3t׍SQhNЏ9sF{^| 7qrP5{@ڻ1;z$qښc[5EY~}6{1H #7p-)_䙣+NiBꝷƆA9"o8 'zK`;J)]Ǽq[:nLçX}-]X3|"ʱ?QnRR kF㸌xST!ܪX'h:Ҭe:MP$Kst3j޵0W\oxs#"F͂q#\"2IXy嗰n7YgQL'_dB<3igHJz h彔 j,m(T& c3tx"{{rG 5$(ŦSl.+[M͖ux_Z՛^Mh.gʲ=\,$:Xr/4zM`拱e+-2h"|w r]L3+>гA{t ?2vьT2s(n_V"_~LJ}e x\M&iw(˯  Z 0FrJ<3.3['o'N1ڐ̱R)n{AS {&oXhrS79iNʂpW1FJQHsLXUan]j.B9DK}й o>|ЈZ؈q@y2;Au_U/gc7D'aYycK0ۛҫ +XITF0%B쓺8ǪLJ^hp:~'9FtlUm ˍ 88b2\ΜT&:Fe7uFcZԶAXan?We^4\S:7zHGub!j[Z&U9W3.@Mi5o.|| _]s!:0fMg% tQdzRB&kH @H\>q)˥^-ΛDVdBp7[k+6^)=';]ܑ(jmy9)=Y$rFiI߽k&1Wޛ$]PT" rȳQLV<6o9p}r–6]q- Cz-))|HEXTGy'o cD15u` #xιKRa>5s[ vlUM_"6;ZD5˯Uf%Djl|.x$͸@mȳh`GM M{LK,p Oq[ibڪ7ǥ"o7Ga)~czwhuwb!tpum׵I5)dٔ۔qv8f#=ęƗ)?Rj:X[r6I(8VHY&%j_scpȠތkVQP(Q (G'@1ԑyRMߖ򳤼 r?ˣ=kM^ujCEnٟHV`x,) 7jVN䎼Dz`EXJs/U(hĻqbH;fW/,odw)Zj8\\/PŲp}h˯|%wH3-M};ȫ z.#j;Vm4Iџr&5F³BIt#4Hl=4=dΪRQ?K0j٨iHİѝNxU<¸0q|,_kx-'܎bkkn5lM_ӌxe|(eaO(K[(~"]؅>^u: V[ͽOI(m5ovex!rgCˌGUXD8BqX'tcDAw᥯pKD}TdYfm˪;4ңP#/`x8jfMoTS߬QZvP#Qm)m2[s'jPٔ0p#eMSdnğpZ(J9&!1v'i 1ܠcؑMMB gA,7ApTt_}9Ef9i8&Zɝfn6F /-w}h+W5uVP*mTҦ 1%{ hXD@S(긛uuo#7oj-1~0{M2:{ܙ wel}'*h@7G+bQ1exeL5)H#|&?GKIW;=(_թكxo#jIs;=sd0Fᇗq"};쭤+[oL :U9,iIgYZ ~ I~@ +?% Decl_Sem_Fun_PLHOL-Library.Nat_Bijectiondocument.tex7zXZִF! 6RA]A-MՋhvG"uIBm5ı^gi,f9WӰ )8I MU+hT lzk"fںN (~[tfS}ipS•Ҽh=!Jd;ǟ-ǢqEkZ }vl 8\:`;%`OP$mt+e} bw0B;X܈#hF/ YQoTYW,ۭnuɑ&1-9'[`9ԭPHksyFBGorǓ, 3#Tn4]WQ.2Wb.~/R ջew>G5^ FCRB$~1(,DkU )J{mud*zxF3"+.$~ `Ym*sKg0QBV{aytFp\~hب;.xZu](_aK<}!W6ЍBі$Hﺤ~% ?&tloZ<#&0@hb<!(_8/Md{ԵϞ$ t鞠< ,gXC'*zj&_X+c͚ޟ3A3TErAŤI+B~b]Y\iZkZϝxŷYkzZ7R٥g^Ĕg.W wT &fp AQ\z^ -F߫u8g.qm:Ҷ/ /8:w *{3|K^{j5׽AoG\sm-CJ(evc B~- O=S8.l?9tJu~_E^N?HUB?gfdbIw*5jS"sK$%2D c!"lJj/Lќvcyz E"{Q֍pAVq)2RϚ%aƷ@j{ ~yzJ2e'XC07.:{g$'OпjZMv3襠qEU&Ve9?P|BE 9Jq ڋo"Y]|Q&S._8LH?! "vY,?f[ 6J*G>׽}ii=O.(uk&N`"fo}80b lDF4U͞r86j+‘FbrЬT"Ow#eB>IDwuR~#T ~lp艎h<(ȆJdO|ِmWa6J y(~%_AUR43bMĶi;A=jaI_`0$*|cڤrj;Z81<ܛQ;M! .E*:qUyG\^kЮp -x~p 흮x]AA-}W &l?ڂ:<Op-u`ͩƼ3 Sї3,+7% tDecl_Sem_Fun_PLHOL-Library.Countabledocument.tex7zXZִF! 2]A-MՋhvG"uIBm5`''bN\7eg>|yl5q"huL 稀z P i3 gt!U1E{Ew㵨\hwzPڢ9m@Os@9û2V^̸(P-,;[ü2zIB [ddجį̧FD. PSN.5aE?`2[kO~}<(˻h%Uc`=XeQjy}cz{AZɽS)KDŒfky-.z#*|!F>Κ“WÌLl7/fAq$-L=~cGM;H?J _ZhpE:U..*W_y|g.;HdVY/h^"إ`d̍XWI`{ԗ8dNĭ=CUW>S|ʷM mN(į=0WӾxȷz7qؓ}Iˍ(Ƽm4\{[Z.a 'z6AZƙ$S5{NӋcLG :xAs6QqN7z /u4MUzȝt:N< rNA8e[*suLgFR=HDi|!Q>w+DXcoEiqѬrR%KRG 5zbEuGzx^fR Q8Awlw0߃ "$pXGFjva[ r Y$.\:'xj =@rl0.xk!LKUm3p޴!mK[ jeR% zv0h"SÛX+w-挕ֳ`:y5s QKlI\?:+@m'ņ+vM YR秖1U(@Hs% dd/7 h>[-lxd;v;Z ˚e~?Y痸9_hT#g(rbRuzm=.m3N$8<>[x%W9 0Ep];[ðsҏX,J:9)o=e+qk ro$>u$@^2k)Ų-{9鲔 4s&([Lƀ d(BJx$ idמAd Pv ߿SDz5)v, xx%gf'G(`iݸ@Fb!u9y5EPg2mS!iN=}~8Bށ%7Uf,Nz60 (PvտfELZd`7|77M^MhuA&|FPǧ_W"$PX+ur`O Xk?z"g XVa0/d^"eu*h&rR,ʋO[>0!|Qx|t|qr ƣOO BelGdq$c]1V*Fa2O ,;1"\ 1q葖)KCϣyk:sp>/W2H~>:} BGB;[聽kS)dP!|ute嗚ӜH,=Inμ6 ? 9{&A+:6^g;XE26AP+VVe6:jҦf[@b+@1J1Gf8 g58\|j+Wx ⹒1ꫭ=Ů#BO6ٷZlNG¸[jPʹOW%lZloyL FN~=ZEǯbo_rNTZb&u mz 2^Df f,HSq.bQ'D . ~41fyԀH\a{jm&\[1vO`*/q: At2\ˬJ6|܋QoOo5֫n:c# Fh=$0jIjx2k[RZpXK#߮e3Ɇ7iG'Nk&FvWBa,ī味ncN*K6p@%pVm_d]lyg0Y4 S7bqeAW^E9ujocfL/tmp:`pUZ-'CХ9.k0_35|{JFB/&&'DETMg^T̴ 8IuNUUkSޫ>OH,uŗ7QU߽ijnaˇB8<"5ZN[H3jPrjұe9w6-2l l(/J+ߑbAƯ]~qhxx[Oy*Ivx. i!c :<)_J<g( ~E' <> n)^Prc.Qz9`á_O6-]h,I},.x \P& a /qXWtxeKQXj5Zo +ebC})LOW.1z6[WkuMg†6ޠقxQв(\}'S ێ_0 ~آ~DDvV*4_h6g8EZR:#N"jbQo_ ʽcV^C{ZUj4 GMJ>:V)~)Dl7D-R&@"B k;[nHd寋K/l8eZNj-LΰT! z?b0-{5MͰ\&JV2~`2,A30}\ʿ|} u}^hȰթMxϋX^!ʭYzeZ_TiY}#rUpfSͽ5aBMiEHfW.雄`\s~/֯ˢw.x>Oid V$cdsŎ` ,"f(BC9Ϝ6$vge>~THaDH 6@z<&}̺sR&93;@?YJbN+2_k/Y^{>O(iCL:sxn*\[85; ֏Fib]'lB]=R4۰΀zU^F;ȹF)Mcۏ4+9Zq _Eq|XJ@3K&'9U@wZ7˰13"uL7Q J&{O߹(>AÑ)}M\:ɭ#4[8 nD)Y+ AU>08ٶ(d)0`Ji=m]+[i^>Uc/ 㠳dnFcʀCWɦK}O`ۧ@s?ƹݒpX3+$ZO0li6CGFqGWZߍbuPχX%]*ͭX)!_2=yiP/nv? pBRDMO- ;}^0A@sb dWQaeyC-#͛rVdѡR ;Rж%+mH$<%yt' 4ߝNbrkkkqG;ѼxM45E?/$[^t[SM`m+}.ySY&P UnAޯ?@.;w͗iokH8?ҋO^~`Ҙ-sD)u.ҾrS{N5r:CrbIa=\ 8qG(,&+$bQc]@`Eo%Mgԇ٬g]}.qgYZ#|1ʼ*|cŭ 6r]T|ظ/j3t@Sh+o )B`踰ê⑑[䛭j;qGd.y?|cc Y3 ~ӿeR.Lr՟SԪf֯yl;B%d* :y9QP}7^TvM(wܾujDm0Lz**_v=tԊz7$sBxO7(۳tJK[~^a-3C3C24V"F =e>1Y(obV>Ŵ'ݢEtP/iZ6ݎɺ+mBSc啜PJm)u}IϡyHZf;G!jJ6׶9v?'wܪ5 Ki 'Ъ8gi^CR^y^ Na)?6z-XY!J%2p4$%&KLBElbDJ8z.1uЛ&d"\2k/>xw؍jʦ͌b 1HN/u nw3/e ҁ,Bo3sN2@ܓܲʃoҍ䀐Wg"GWP-vnۍK QިljmJu.[YP]bJz'8#t^TW"'GH~"h^w56 eUWU~+{I؎6sGm " =Sd{Tg\rt.QoP`&(M,i-j+U$q}JڦU8-o)>jr#Z ANcoRl΃. q_:i[g'hf 6{`cgё닷'^CA|>!mߝ#_E!*%e6!}9HYtC嗢鱁Qt< lK\5;3xF<rYh$ pŵK|55j8؈lU]FH|]>ΈkdoF7=Vztt a`}=W>Jv?ЉY90H oVV'Fprɤ> ~*,xNvNV5Pp56$+Gc.OwO# 7Ddt 3:ћ'dpz>5<^Eo $[OxodAX:1O ='Fz130:,{[s$Vc$ckR_]mY1?Ec:9~:y,B5滒Ʒ?і FبjLyJ N I D) >37-*tst1B $"ȓ0DC&q fj|8l=C<1IB-$^ E0Zu8֥?#]z7pCת H}jBH7X?czN޴QxU!9SME**Q}drIf*:'Iv)5^[^)¥~#[PdUz* ?U{܏L eŠ$8P@NDaȟd_|6J&m,h فSrSvo6歓44 !7/ǎdP6dv/yemnWlHwNT__L9_A7GVeFSX'{!3kK]]QSӟDaHhPk&`*\q4%H+B?+{]9&j̬Ζ)bq-6elSTMLIQ :uFgc6" |\)#Z##+GQj&܄LIވais箠8ɲhMGF"Ҩ.e~YՍ\9b\meq`]%rJ^saJ3CoQ΀4U j-H-y7>GNCpB4? dfYj-wLq3+9iԈinV(E-b/Đ$ؒOkN?"ZjgYZ  +A% ,Decl_Sem_Fun_PLDecl_Sem_Fun_PL.ValuePropsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5*~|YkDۙ-̕T6W&6Qg1N(+MR%"b 5:L -{#Nw.^CԔK`jbhsBM h)u$$5% %]>MP-m"{Ν%v{TTeYͪ!o4'{> bXoQOtG| +) ] +A% LDecl_Sem_Fun_PLDecl_Sem_Fun_PL.MutableRefdocument.tex7zXZִF! ]A-MՋhvG"uIBm51C{@{4, 4 @fIy7Q+ItV( GM=]<+) {E 'ŬWUCrgZc%!ӈD!+4^F.Yzl3pmfµsl7zH G 򧜇grhḦ́ՈJL .w͝Bhx9G)l*vF?9<< [Yюqx,]qSp$S tZ$@c~81S/cט$Y{¦L&&j,\oԽJ C͔ +v5)݆D *@٧W?t,TV]ر4 >"%j󽆩{^=gI6fg[pwZṬDP5wVtl |C0YϹey]a:zVFD"`礐wNz}&abZF@FIA5NZAܲ4aV@B ޚ b:;8u,ˇ툪r--h&ołTX4+kp!ĠĹ&^* h@onh$ouu޺[t-V&/2O,nz5SJ35mhMX1J4ev $KiŐwrad'TPI=[#P#S>/TLms8c H$'!Hܗ'Go`s"L8+t΍k&.~RݹUu8NV| 9: ۻgyF'N"u$LݪC,n ,RCd{ao G U0]0^tY֜ Mb3x6෋WG0;ɾe=u"Ɏ lG*:S@룐ZظY,CP,:Q6(/nh,VZK8G+ R3M7븜֨R: &B{ Vgh6ZmQ :Bih{ۮcɤ+lM0ȻN,)}cߍOH<9+ӽ=*R=-fzլN"-Ğ_x[ 6 q5Q>t6KY*KVy#N1GʎMjDvasA<͌pr?-emɶZB; EnpYB]5Q=E'gC=˛51L@(=΃#;~r"c1ťn4)fsU?;_($Oa]]PՠR $Սu%|ͯLa$Zp!I;;2?\uo(8\]ЃW^B"wBUV2VЄBkif\6kպl3mJ$h.8Pr^skQ7cf9*띰Np[B@I@]Z Y kwP_><ڊ .ZOW TvW59us UPSXcw w%ll(7ֆY@! ]uz`ڨŌj?;jJzCWBR}+ѱIjM;<Tϥ+~g Bp$+[_V@CfOs{Ƿ5 o­>fj8o0`z ^[*&ekڻzB I+>V3 /.3T`E;aI역Z0ϯw1 #$P O.ǐfgׇǜa .-GmyӠ g7P?rg{(ߤj(0}]MM%MoWv i72.;߱wLҨun'pr"5QH%{ ^i}z;ߵ*S ڵ2]уȟ^hT)_姸œͩ^ƟV&s/ W6++{0Z\|EC}0}DˊF)vw8[MA@楙;%vJُsoIf9>1ƴl4-S(VG}VvV2Gefld~``5.αEdޜ4 PȜ|P6fk)(+K?]bx%GQy5j u29-G:O#MG)}aUW'Ui_mU/Һ߱_#ɪ~7!aڶqZ`?¨b_|MD0(oTX\(GҚDJ]D(C+dDGv[i]@BBÀ^dHC;OX1 piJO+-E7Eݾ<1wL>F%0[kBcYs&+F >]KI&[؜qs9mMH$ccMGXR{C*#$&e&+Keʀ#ܷye^Sɮ&e 6y8PDvzB-+rx^qGD@.f?Cizn׼)?BFW2`c|(sʵ*yG=I#bqU2kIàܧfDm촌V +H9@aOnz ITSPzTZg.([LZOuTlwȌLEp -D1/9Uewes3w?qzNid.:Ki)F|Idzɡæѣ*D@> *f֗&z 5L dDDHo~m7$ϧra҈BD?e:Շ&$R?{Y]<: Rl-0[:szb=ܽ8tжO*]0HYIm6ZӧFOK@ZT={Ν|̯@+q!᜽}/mbW,p،Ҹn@NcEֵG9\hiΉNVpK^4=.P Hc] b>ǣAƮn?c`ƖyK DqċPU"ڿ3}wu#|#C^Y ~m` aSk,Z%5ܭUΈ#ɫ?yzLXI@}n0!w熼L.Fn5(b< ΀d9"PKпH&Rd8I]n`s2,?ZD|/؏U;ꥑ07H3k\1|\COTDDo-Tt( =T? yTK:HFΨbq-Π-}&D/ YY[W.B21W"nKiNF׵Ϻۘf߯γϏܻ11xZ>c, 6|6φF ʏc.-$8O_*w{BHE{-\]aX tO$wGB:h)zMfLHTy8Ա.J%n(s-Cm}~-xNZ |1Ţs(AriM܁XO?$x0P g4<h}Z|(_i,C46KgOP5>{DEqz{/ Xڰb1p"GJ5hg I)ACιxV f^Ż W2GuInV%G=a R Ҝ%TD/4K+˴=M* "\>A- fLlV]>9J\{Vvei(! jiOiM2>0Vysaz_^pTu!!dw)@~I8ZWrP C$q[1ӊL/SjFN *k9ܚ7%c<未20yదyl}W`dwQy}C]XBkIf)+߰fQԙtLpL=tZ`GCf"L(fP{0ч)C:D2'*Q̧b^aZ̋M+.jsMBMx}QiB&!k8Ƴ, &3u+s P.:{yq݀N ab8Z5௬dA)^i(%'<>|aWmPJpgؓ>-} 'TVՖ wɐ,,]>'( =D3>"@ IU X,VBa:F0_0sLѦSiBI{@5>Ie.vit" ?clvTy3}*khA{Nёnt|.!2C#gz$/8CJ9>AQʏIͭ6Ro 2BaHYv%qK!C"K(J!Vr@_!2Gaaw24A.Fh_9P7 Swjn.>*aE7I/( "X&gYZ w +E% |Decl_Sem_Fun_PLDecl_Sem_Fun_PL.SmallStepLamdocument.tex7zXZִF! c ]A-MՋhvG"uIBm5ȦI%|x#* b$۾LcTf4}huT-l[(q֤eȍ}d_B&̧X,G5;`P;%Ņʓ`y%^ Jҝ ]!c* '+]+a>iȰrz?lENO'n>#L V/-" lѰKd]/@.S$\$aw*)_S>g.AݿS(=Gr4Xt=T416 |+`Ԟk_I>-=*mIØ#m)bcW!}^_p@ޮ>G9(8g")LeioSV`<~K%f~t(ުa,[Ot*<h[4Kn0( Z >_F09zȒr)݊G-Zl]h9Lᷳʏ g]~!тp:Ihp6?5sKeLJ9tl:6pX$H(]A4]SZ'TdLdѤ>;" @>FxLJ,ћA\}vD-0QԿ.kA"G.XUs!Vu7F@ ^t %Fz+uΣX{#Berh 5!G?t{eCi>RpͲ+o U%S+PV%wM ,{k[93?bw'28ngb DŽfO2 0 6!t psb 'F'ҶsyV djq+Fs`u   +E7:SXrU>FVhG겇Vm腩ne&R(s6QQ)gT7wWjCձ+ZќB;% lO{~>\Lph:MGVl5˒co &}vץ,dɺZ9]7%yHgQh?)l``K҇)\ RQin(Qɴ(Ў@#|3]`Y71 |.-2,l*A0l D>Q9X^B޼P?ndžO K4?GM̀(z;r+ke9)7c r̍?ObI%x=3=-w|O2 AyY7}0LEfN:jNHFfԪVFNVAQ}xۊO ?3 ZuSXiwq`P(7F/ͣ uznTbpMd" k}%P1⇣RyשRhJ70VspsyR2o_Qf?>99Ye,*AGձTNnM>^W)Q;W-eQl }o;d'PpwiIUmAqRȀtO1RM>HY De#D!5:*ݝ{E4 %K_|7Bދ\]u4NdA$iwKy8)Vysgᔜʋv诔yOĎzL(&҃DmOmY6 v=Tgq>4$V9; .goӛr#$d 'a~(VTCo֮/?<,6TDrD3<'άqW7A M}I;,/|oNl89L(j]DCSe< :'AkEM4H_PA--#?k[œ91 yP~U}AgEKJF1hw 翉p\ޯ*@xT^ܴ\Ծ]ӽ^>p7=WOlslxwH#H0PBGl M!B a%#k|CIKYN(?B=|iF3-' @';{k2)v:QHE>qgYZ \\>+K% Decl_Sem_Fun_PLDecl_Sem_Fun_PL.InterTypeSystemdocument.tex7zXZִF! 5n;]A-MՋhvG"uIBm5H+IàݓIiNnZ֘)`"[ sɗ2zTxm%{3SvcnŐtz[si݇Kd؝O8ҀqHk+SꌼXp\O" #&FZ/4+h卢4@5~v(8DC}oNbs| Ɏ*٥|sݍm!ڰ"~.rbxY(H(5_zlM%"GalDYpp;qqubH#sy[z%"zѯT|u@:H1J zJиi0 ɺ Mh2mz2P2/ H|Z>]oKI~(R{<: ڦq{q )ߧ~e3WX9(rș[ ޳8MrsK{CI QYJu+ܻGSK%֖er6yX?(+#<|~H$v3Ec(؂*mbak Pu;Oދ~fFQ׿c2d!mH4?.蛏'72lI]L0Oad&Mic-A(d<&rgXGEA>Pqb}o$%/C@ܵZޏ :'5s{y@,d5X( yJڢcvՅQ`@#iKr j|TQJ!x"iމ*"-4kwt;/ 4ToG-S>QHu*CYP#&2#9q1nlt΅iC.&VRP7m;w ;m;4nK*VggQߪ.{z&Zm`0uBfK˲(N[ԉ?6nx:j~tXyD !»2x<۫rB@D\%c~ ZrW6KM> Vz͚dZjXVnCqtf:Qssr7,|'<24Ich8|Y%9\w*0SOh ܹ 4>&t_]ޑ!uO(ZN8yE1nnAF",XFD^ YfX+ W+Rc0Ja<ӣ: j ±gYZ`+W% +g>܈HiS+'g29YwfoZ>FY:;YBv讑?*ިMn}G~ħ |=BkJk^Z5OtEOpk^>>֔ 9ֿeHԏq;`2\2|⭑@ 6о6<\_t}Z\  !oc-$JuMI&i`۱'%XNtng^]zF_Q" f[yM%  nKaVkў) 9{M>gѾ3%>BJ`˃@$a]0k58E6gn=5'FM\%$:+cLLѧ @Cp6YhGYTk)锄>s*t;aWj|m3[2iؖ/x6rWgo{XhܱgYZ A+9% Decl_Sem_Fun_PLDecl_Sem_Fun_PL.Valuesdocument.tex7zXZִF! a]A-MՋhvG"uIBm5*d \, TkU\ྑ% 1[M8F)pQΠ=\1q#rdk!|۫E!|=*2G<  ~]'O9fSZM:R>Cj H ~i=Nt:mՊ'̃ &[g]Sr"9^҅,7֦ DL ,_ Z0F+αz6.[1>[)ƫG'T]3`E9oti}Ky*jS IX歠e!|ś'x?rGwjc.Zl` rGc>WGen2Lׇ}"7h&8GMCyJt---ۘ-H{ +wr\3^$co~ rh;=^PǓZҰ(F\1C{ɘDN[ގbPpԭiသ`lj fI8y8h>vQgJ|=a %5QrA=$17oW^6a(T)nd?/} AŽ_X 3,Pg_2 }gA6_/CV&H #jul~ x~LordJ$IWZ+ШkS2C+KH39 T4<.!2/OFg UEYMsZbq\嘅 Yvz@h^ 9(*DU jq 9G%f͘TϖK#V*F3\Z8` -(Wh.͚&wB:|"" DӲQYuRr_\ߋo1 h _ToU^wd\yUմ3<3_GdNϻ l'åƷ#OyO8l^ VJN.r]ȌK;i Cϳ$ߝ1C< IlKޑFJ1zJQFII1٬R][u)!Fߜx; Bv0rЩ\tK1kUe4DZlB=NnetaDZ1\5"\+k6g⢍yV ffK$5"kI" ?!VuIpn ߅~Ci.O۞;+=X>}v ܣePoF!ϾgG,d ;xM տeHQ=I)pzEฺ2͞c=^J,]e:5ODi6 (mg %A8Y;-sG!o@>g%d T;(^$u "5 +`_-\(iw˟j 6Ŝeܻ"=/oȟ8AzAxK誜,K̈́(aLf<)Oy&i`n—ȣ2M!%b&F|'D(mڎO \uFty0=F~(](E2K5ٗ;4U"3嬐$x'G :3P 4L'2^BʇAc{R;^ R-ONhꬊoNtۻI4=4]6c:]8kBTІSrϵZI%a:b UToػ榹22Ոhd)'iYFgABL郭B0-lb s*/%JGSc&/KNsߨ)#ܛؒkcj)i,Jh2U( mWhܣ;-S?qtڭZ1/7S9 7fxbZS,@'ᱭ?k}>Olo={r"9:Fmzq^cל(3b<}k%;ljiۈ^ Π6N)-J{[o]{Vn}A0(M!Vy% ]R,ͽx6y OTE19:xԺXuMzGªYWb U:ی2I$=^JdeպI7ԧS%džZ)-3ÐSS-(\Ì \6:6nZ\^LY+I7G}a GDwawm#/5EHp!^dmy!(pϐQ|m&0p|oQ#v7ݮ:RWd-&/* X'z2 i?-$dgYZ 4 r+K% lDecl_Sem_Fun_PLDecl_Sem_Fun_PL.MutableRefPropsdocument.tex7zXZִF! m]A-MՋhvG"uIBm51Cx!`MY_/J]~ C,݇,:'jI*ƆcQ4Ӄoj!(F(IlyV*|0^c;Wc1}'qjdXAuRĵS7.A7/HK=||>q{Dt6;Z|bIT Di)1-:U>b愒YֺF9˔"s=A|Io~F@جZLVHDT? sM$=֬[ӸŒ:p"Ί CuHuWN)@l>H+2N7K@@O+.ںvOq5נ> XSQn$EhGS}&C:vMgҁH"]͘F{Ak,9 \y)&>v{N~!\xZӰN>!D.%Z+A)~*f"}"fiO/4FXr5;To@˼ufRİݕ5A`$uV9g!I[LƎ$X#ǪwI%P;fA"9GernjTL2x;dq5 X>bʪ\-_L.}h.3qV>.B"&w 0rs#5$^+Ȕ $MSH';tGF)=R}PҦ^d }2/!jcm_o&N"IܪߚRnl<ɮ]$Bt uJϫgtIT)l1 gYZ$+O% LDecl_Sem_Fun_PLDecl_Sem_Fun_PL.RelationalSemFSetdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ťg+_/ߨ] U*ZCFGzTh,cBeC5[D5X*r<#br=FݕIp_|d<ԃr+n7Q\ḃJ_ȿ^JN[eB0!kG^mkLŽZyj&} +G :´i@!a_0 [yĞV¼Z" Σ/VDfr*,JI-ZM+4gtM'E怟vږ),}!ⅯP<#г9HzX8zsqLOMuh; rf_~Eׂ^{Zm_AUCqkhˁ]C|jw܄~PFKq\?cފ#îDHS2aəl,YKwZ艼Sf=WNN( I+GH vğJ5-@9@p'[sZ΃]c0&$tj1u$kZ_i ͂0W (btp3\K7ASeL,y:^3󿃥8.zYXUab U:3RxPg^($b#i^8mj* [fEA2ގ*sks/C{j>{jюٗ%D I_{ƭ[Q(bH#- mV7^CTL0` fBgx*(k[%z}Ey)eJدiT|TdK~xW>p/h˞@Vʼn+F gYZI+A% $Decl_Sem_Fun_PLDecl_Sem_Fun_PL.ValuesFSetdocument.tex7zXZִF! ;I]A-MՋhvG"uIBm5*]:enxws |49 mu8$  L+dYCDiKe,E:+Ε}K'өiIފH#YqQDj}VC|,D9ɒ=/FsߩjﰍU#w U:pekaSA-fmiQ4ߚSFiԜudYbN6!DԱC 0h}$ !݋T,'è٪lP!5\|r!&1-hK 󝐣8MX` 0zOY8YM1DH#LgǺtK$S(@Y-,kC 0@at> ,Sjwm#h>40T0?6@mKK]k5}BWpl Q*Ћtdy~tzli5LyZ;R;q8 ?#eDвu,gVD% }8/NGMb$N"A>d\9JTķt]Z(Li`Q$F"@\ WaТh|UT6c+q`( Sxp yP]gR[EVVT3AwnO ҈[|UH2J!efA dDDHhѶa}#kQ9:xlۆ*|*aF,~{vb?jƷƣD!,m!勗!3&x Y/BD@o$> O(7N K l6,T5=P|CPě؊ߠsG]$X!7{Q:!J(TTǿ(!]ӡw 1z\ʻ+[?zjb E )M.iJƅ ы"yE1r. 'LU{LNP"R/_RC]Q56Kʿ&nwQMT $ " Ci^L;qUvyu?Wȱd"aِH2v 'j@e  ךsԷ~:eD44ZŲ"_il)d>`_Sxt8tl¨Ysz=jPrRa}aBhg\ iXJ@Ȍ`hlX; M)9`.bXs}?q~wsܜLyn!~ԫyތ? Њ,a5$2`~Fd:F]y8"7lHA{nB& (~Zup5:β)vYK[u~Wg7֪25ÝCW^b \xwuŁc7xX"$2kH;5M&P ^ OW$&F/~o$Mp:^{,b$S~Wa ՗ {ӆ!Mg#`c afѵ!)M yw/ SԼ)oDߕPj%q!0!Ѕ9á|H~89wE#[j_&m`Si-zRRD@!sKBBzzxRcWbI[̋=/].ZzB )x, 1Y"z2E. !yV!Q3MoW(F <e‡ﭳ?ym&8癦M̟X!؜1Y~%=}}ͱ{YUQֲWz0"q}dl{y(Mp`?~!`͍2 X].ӴK=4QY7N^ŝH;R&=4m' RtXm}Gn]h-< ,_F߫Ё^hOL!sPb&z8:wRֱjҧU#SEy ^M}sI^ $A-YjZE1#tI xI%] NW=>^•=G\'oKlB)n޲=fboz洦%hHff?"OodU=3]n`Or KvsCs+X*e Y" <'9IyFBbȺeHl77DZ1f,>8B%=n(Lekf,S'cnC^(XE5ngvs=j2'Fx<".3jdD;dL(dcOZO%/@!(7a_y%b>은)PMg뚖xƬ̐ϟ9A~ˣp3 1޺hҤ)W&̷ɳa@l;0.+29PB<=- MCC_7M'`*$ie4Sw5#hyJhA?&.Tz+ML) l-$1`Ff{冴H>Ht}<6391.JZ .,0ܦl3 R gSCq`.qֶ0i=L|x9{AҘRO"$C3K_ 4J'g+:;hs|m5CH+5H (~8aN'NO &\)NsY㎇\l8?gn}UN"yhPWzKZb/Oڳ7lPcI(rX(ҽbNjRƍM:d Z`'"\:/Mĺ.Cc&R=~QvSF2cy|z#МC$e២ -RmN6ذ,,\W iDVzv!rnLp (6蟀ږ󦮩|>I tK}}9^lQv'dqG~On3`OH4ٯtYvFȣL>nͣ0uUđ?XM\'0־NB"!k̊4rCcz/]gh8q6]z~\m^Zz`L8lM}ܑ^%4#o0-C+uJn%[aZ ]Mإ1}ˁ砆@/ŶV>nh#HgYZ ""*+S% TDecl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotEqualitiesFSetdocument.tex7zXZִF! F$]A-MՋhvG"uIBm5֑\βmS?`[@a_~ v,՞rc8ؖ |BEmҠ3}cnvyi@?GؕuzBcKI|4鮏tJ*b\7n%KRYC~T]UC .}9f7(kpmç!ڃd˷ >B!R}xRf~V{Owg;74A,I4;d;֏|T_&JT\'Aݱ4$ӠΧp-VIJR@x&K49-X #!v$Ʌ?eK|'E{_R8oKE;e03e$OABg,ݣ#K;pDp辇kXpp!+K% Decl_Sem_Fun_PLDecl_Sem_Fun_PL.ValuesFSetPropsdocument.tex7zXZִF! "]A-MՋhvG"uIBm5*]:HpyB{o)D T#!z37g%&R{*Q^ķcaܕm QrE@Q|"j3&єitp)dH™I>?[\n4~Q8|8֍t/{8; , _?oKY {:#\ (E' STL:Ե-<q|c߇JD'izCz,yb_d)+@lҤa{[o+KWoѹ zM$Z)]0w-n$G[(w݈N2{3n> |@0oVtWw/2@-7Y]ƚPvB֎ZbZppOPL{c.,/;RVDSc GتS.GIfgXzpQkN9"o>&9Ԯ2夅7]#tEa {'jXeaPٔxK_/~vƒzJ)gYU9Y=6I( (ɐ@n8Q-|̄ʱP=H:ס .BmpJ^M :&1'-UCvzm.6飗sm/# H/ *x͢?`wq7>:fNsKEZkC #  +]% 4Decl_Sem_Fun_PLDecl_Sem_Fun_PL.EquivRelationalDenotFSetdocument.tex7zXZִF!  ]A-MՋhvG"uIBm5f7DWcЂNzsbK {A]C_ !⟂e5r?m>ǜ&Ͻ<:iVOZnOaO4|76#{0hLK8{.^BeqM-,y띇V)!b,]!>UH-5ӏCÿRZ"Ax "P13;e0@ݕ* 7 0/ 'eG –"Δ֡ee1&rVTjaԩˢL`}+ȼgGi3?;'#Ed/t>!S &$,j9}A @xH@oZC.?q愜6X?+@8h ijr Kf6"շvmP+oURnQEa<[i^MD҆S?SϤ{jf8 }G_ض] x:;`דM.3 o7@W@Ys1͞?SU;ClL߅S Xj;=!\ Ri,=0kl.5̖VPn~ GxρXP0-U G.Zx dśCtq;qt~Є bTgcӋ!N0ДN-Hyܺ-XY(9Ob:WOFOOEm}Z) Ns=hKUdV@H/Œ8wpb35Ly#Qx5U4c!SS?6t;u"/†)*^ZkD`BT<@7+"'o gYZ%+Q% LDecl_Sem_Fun_PLDecl_Sem_Fun_PL.DeclSemAsDenotFSetdocument.tex7zXZִF! N]A-MՋhvG"uIBm5akjX~K2 wg ص"Dp]Gۛ<}ɶTCjû3[Pf҄r\ 4xJ%Ps̠ qJnR&1H@qF ǂ) Ŷ4[0'hspYCMUN2=nfW*ngEwm@˻DG t @ˣ:^Z7rf5)--^c^$ww0\ů8R!qpxnx Y87nϨfN&glsʁd o?bAVJxҜxDEjD+ ~؅alN$Jg~s'y2sߛXp5k4TDBq$²]8o0#z+3ׄo1N70!d'fڻJAZ&UdQ1٦ڗ:3Ľ. s"Ո2֊?6W^˻]ԊZHdꦴ)izCS,װÔ*imeDԵcʜxƋ 1i}G'=%Z|˾'<[1;7fެtA/tۣ& cɺ> ]sR iki6q KdAhW^zlX^0dЉjj u΁ʑJ Nm>aFM+9I#E`e]>4;$nu9 _Gg[2X"Xh-!*erK^ 6i_/k*-*{ֵhj'v7.`fYE˺z{|, Gi&5f>Eۃ>Z-*=[ g wv"IlL|Eo%k"tA}XoT.0re# oL'f%N3aJmXm,RrM&еRBv}Wrۺz!j+``I-1%%H#&4gYZ  +9% 4Decl_Sem_Fun_PLDecl_Sem_Fun_PL.Lambdadocument.tex7zXZִF! /]A-MՋhvG"uIBm5*oQ߱6qg B?%xvv KL}o{iCYeV ,a}7˴T翞uH_=(#/q9<𡉐QUh >m[t0 @ӌFhrcoϲ~AVjHnY} ##o2ŶfҚ$9NP щ,h \b@96V/5Uuikh]_P婻*Ag _\_xȓH`fiFZ}Z})x̎Nh'EP]rK䒻͖֔ӹӮd mH`?[U ]ImsE?r3+!w܎ 5*_I;Mˡoߎ'xr< sΒV.nJˇ^'fpLRG &Tqm,`N4(+" (~ ̞Ǧ{E)SO9Diw4&NJ>@T0k$!# N|>fg1p9ct/bhZ)1y>0)0Hy`,~rA6]6JQ( n3dEΐ|s7,_ ܗw) <s/SK9/.ZȀ{Kƙ҈呺pPX+,(N(Lmo%=!;I(m. 2 qи䜛c Z, }<6= "(6fc֗h 6XRlu3B}jT4Xڴ~t0aKޥ^*:<V~L1oLkmjyH:,GgYZ   p+?% tDecl_Sem_Fun_PLDecl_Sem_Fun_PL.ChangeEnvdocument.tex7zXZִF! s]A-MՋhvG"uIBm5(I?GNP]~<* bNX.Y+ҽɟM%}HߩWCA0LZIΑԹ.@ = WTJ2x1@8ik =5)bpWf4$.>:'Ίͩqfe?$jqˍ_iܜS':~d4f?4#E\tç7L͢Ǻ' Va4M_MY >8x`@ZM hQ^(^ozI,T ҭyq$Q_. u[K oa!?D)Qdo&DC̬|xwk!le-X[@˭8:yp< Ե道r"Ԡ)|ȚzFr{=qϷ4rwGTXd eѰ7*(7]3ɦ "y)A>Ԥk /;扄ߧJE3聢n-naaY<H 7z/؋ DL#VJ$_,`x"ĩ1r4k"P#lzᶫ]uFz,o.KqH:c[jpn_N?CURIPSߏ1|L d^ sP^]Θ`$B[}h."ydr-Sa.X1v$#9sJVTxPxf1({yg@JdYl + he%' K9)w'-K`R*c(YZ...ʡRX!3Б?T -zpk*zK_y>>S!辴lb8+8Xlo:Hs48 ۺĊ \JPiÉ?c׹u=;Ѐ Ƨr7>Jl 95]ӫ0zF99AR__ xD䪩@ =Г d{11\+WL8muB}8#!zX`yO]P=I~Cc<(k8ͫF^rkķ3Th+eow.VFo$q2-ؖS뼒rWĐ&; '8I~[GeݿG/OӴȟ)ȑ86McZC9>f:7WNMg/2kXA1f88q^ |Ơb֢ H]TrN4tɝK" 9X:OÞS5,3[n#bFA\ˡBǺ]) w+q/1moV̔HIBI:5TQ=CG'淚^t?Fγч [&֏ YE!`:Mri72QDfKRlit.]X[ȕhT'PzWl؃;I"Dsg\6^v|eFE6AJ,37ń.l 7,XzXɯ OTGŎ{bb/!nWmڈWZ+ Jɩ5T_xwu) 3z@{*a2v&9 W@+FF\UA\ rY:e &giC4ʕg<g+fŗ "U],=蓲5L! ~"?-cgkT>jzqƓ&m}i3 yݝ+lb5fvr|b}2\,У2a \}2-'$Y~; N$WQA*Whv(1MDv2xcΥG *a-6h8pWm2 Oܣr l, wL 364%D6S5n'}4y昕cnAoVO:ҎXzaVּ_4CTzj3_`7~zÔ&+n㏑iH=WxThJf_K#ˤBn-+"Wm8rQDHZzeZPR?DJoHQ qO,FEP#sh,ؤ1P,C \Onee2=$w΍fQ^ո@ !cP RK; >@60еuGd,J1/)5Qr6.meu 9]?!w%t zC67m&u\$P25(?!Jb _U^c:/ir/ sOz@ߑh35]^LeсX[zu$BW<!@p|a2>18?r--Sԛ {Tj^M]g?OJ'55U8s$)\yO55V L#큉=nK HgYZ\Wݲ p-)Qzlcw)噖k|%q'4x2+o~gdN8] HNF[ՀF> t+/)TjgYZ7zXZִF! ;]ŗXi%BzTDu^=HœjH!>߭=@tiY>Pzl+V&=jY#R,LBVHLwFT<|ߐAJy}S=0G>,0~59Q#Y#N%ezYrmǥp,762#0K t,Ck>>i/ؓ!=)Js 9Ւͫ!bDWgHNwOMIU i<{KPJ(Iᒩ"ԏellEw2gU`YhJ U|qj &\ 3`iC ݜI;fZdܒ\hh@d> ?E//:+_ !K%f'< עo8ܛw8{ 5[_q9[$X =(C*d8 o֔Jy@ KVR“7CmYL $DuVLwmLC=˒Ҿ{2Yncz|KಟեR7a!4ҙfv)(HMp!XUɐ7d\5Kh΋)gP(:$+bYA`؅Y 'Կ ѱ=btw|z?- r*FC5Y`eSjX5(Q_K/]ֈ{c0bx0c ~Jd 4۵l@wHv9^z~)5fMdn2=~{[iϹtgO/QᖖVc"IV?JSi%z@_.~鼬IJ?qB*=)Q&=T}NwO-3b2 GqN>MCbBٳ3 ƴpFb)n&ߑ{= 2j+R2n+sk2 $L>ohI`(ܦ>K [MQ\?hpe}M[;<e`gj9S9Dk7ݏ6EDguwj/.$K^9 j6]wյ}jW0}<1Jӫ\Ad>!s׿~= ^;ψ7MvkwΘꄑK+yW%@~}jƏ~h^E6wyIZ3.L5_ǨՎn >G* ɬR-^Z(n4qRLx~16X!aȐHzTǁq54>1eG+u^!35X]Ȼh *}ioUF߷;ƒO!Ou EY[+aNג}^1&6/: 1V f,G|zANoJIy!@ <f7ŴU+Dž^#St^)fp2Jǀ^ {n߭JeexG͒1,~(ڭ1I褿#]о!m8~Ls~+Z&pB-Na,ɶdטK1e M'qilIcPӓzYpG8ʈ^<'p!=đ\$[38MUiEgh%BW+踡 ]\J5'xT`n>t,=*rjf)["Y=g#-k("JՇ%3XоESUP+UyYke֣)Jx~;tM{Pћxij 89!ՎHgQ4~*MẠX4ɝr&j9)/4󪤕cƘuN/ߪG0F"OUU8֙!gG;5 L)cI;:Dj8} j [et$h00LK;.wrHe9""%/d ֕a)fL֘jH: ;.8VHXbbf$7dzk 􉴍(cAkS,?Wi.G1-.MA%|ܽ\=mɑxpO 4ޮK@~uly9Ҭ%lnU2a&W8 !h?@^b3c0^A`sԟirwY#|j kkB=aKULz 4mЭtxhFw:ʍkmYԺeۧME'nO IfZKDc@ MF sUn4\c6SB'Cb{fdIȿ]\U22YŜg n2Խ9Hoh*=޻v~f/r÷-d+ZUTkoW2׍]I,Ov͒Qh\A*ن(ڧ9uF~wHyob4PU$2-`A{ۊsXA?oR8$E Il<E1Z'2gS3stټ)1= ׫ཌྷ\ r;v:}L#YM3ĄnTڗ0)ARVpEqb$UËlˡTb6] P4d_λNyWu.~(:gYZdcfc48491bcbbafd6b6d7f4359ffc0dc1077e1f396398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49