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 I+vt4]ŗXiɟHP %V3_NtUE"ž<']mIE&Iy+(ΒԟeG{p%8|iYޛ-<zJо* a"W.S-?zIβKv$(\q q_;789DÜmR9@k8(PvI.~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%$#"!       - j u  o 0  - w 5 ,L x 3 NI+]%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.EquivRelationalDenotFSetdocument.tex7+9%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.Lambdadocument.tex@+K%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.ValuesFSetPropsdocument.tex?+I%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DeclSemAsDenotdocument.texD+S%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotEqualitiesFSetdocument.texC+Q%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DeclSemAsDenotFSetdocument.tex@+K%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.MutableRefPropsdocument.tex:+?%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.Optimizerdocument.texB+O%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.RelationalSemFSetdocument.tex7+9%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.Valuesdocument.texF+W%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DeclSemAsNDInterpFSetdocument.tex;+A%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.MutableRefdocument.tex;+A%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.ValuesFSetdocument.texD+S%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotCongruenceFSetdocument.tex@+K%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.InterTypeSystemdocument.tex6+7%Decl_Sem_Fun_PLHOL-Library.Countabledocument.tex =+E%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.SmallStepLamdocument.tex :+?%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.ChangeEnvdocument.tex :+?%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotLam5document.tex ;+A%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.ValuePropsdocument.tex 1+-%Decl_Sem_Fun_PLHOL-Library.FSetdocument.tex:+?%Decl_Sem_Fun_PLHOL-Library.Nat_Bijectiondocument.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.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¤ ?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_(PvI.~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\# AA4+O% lDecl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotCompleteFSetdocument.tex7zXZִF! 0]A-MՋhvG"uIBm5֑Nj%jc4ngA~Qzޱٛpb(0DZ~TZ#]A⅂&[)Ӛ%jzcRIMKB V!9Op@R#X T<$Ugr䍒ٞv>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,M`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 55@+?% 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ї3t֩W0:it,Vo첸w]' X$ ٣h \=0e M>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(&p2?6vdWJ4``&]5\ l}`8?=ܶ5VIݔӺ\tD< <r vIȦS@f\UBBSa=յɞrn+£qfzStMw:Kz0&i,d: xneV ^g:ܴ\;Vl5E\'pAz4ZgܥC,OLEzA,>qH SLӛ~G~ 5~Ndb;p̃bpOgSȓR21|KlR]V#ht.6S0PnYÿfUd# x`ٹ LZlQH8<  G$+{cyC}(bٜ\5q3-"SL[M>-Ok vrUv 1iB>20 |3:$f礊U ɏwV|iTWO}:m'gya;bjW~*b, ȡa5c|'r۫*M|oY ^t `߽}ϰqXTx.鿎#E[#Xp]T^Ԕ4ݸix@b 9,nI~=s X9j0?R(C0㙜V{} s樄M-:fُ7iʷAG40[t?H'$#TIr\Tڅ6LgO ,{І݌Ќ?feVBڕK0E`>)C5@"` R4!Yyi LÍ6 ɵqj$i 1˾S&-Q8`c[.ru q#b1B7wҵ+LRPyIj}}v1Is>4,uː2UpGqcD >4:zW87#6c{51CZ|۴Z>?ג4i'_3T]G{.̾-OZRdBY l5{F[V 9>n陸 ,VTɐH61%:l]5Ԯ&>HGip8=a?]z_ut LY;#a؆2.2s;OLRj2o"'LɃpL:CTz(އ/:Qiέ[@3ApY`NJV֟\HU׆:$Rb NS%E:Kw< 0̕UG0\ 6wx=FU0" :jhUӠnx0#Z^)Dܦ~43+Be{U.]fF L,A\bkDsyzŜ\doC&]o%\ȘH0zӶT#Dl&{MiGV(!aGЧV2;|8x- FeG9_YiĘ޿ʛ #f! ,qMi u{qQ6F1]raB[Ͽ,k(ܽwMi@(z5@3=[K8;{Ҙ>yFG":iM&&v K{H>+s2f.TB "]` lgN2 f7?QfP"߿O39*FR:(^8r_@hnEk<& +%fT, N$YPbƋk ֠V}[ 0 96{1{悢zY eŅRՓ[s#YJLegშj,lHHZv7οdWmY+2f 6?)ҍ(4}4WqSÌ' 3[< i&l"?2Z++cR(8=Bi.&3bK짜" &>睠/q/L26JNE79 9\tLY/)9r#EUP\Yplɭ姬FpH G ΄'\g"Պ}b01iWχ| KNքLazY芕&(h5@YqzlxcQ/@.~/ut/աq ❆y gD9wKA2m"LYp8/e.d9kloZkoAvc?(V\JejV_J`Xr]C@h@M8bD#!* 3f~{>IݺS/u oIwfX-ʩ[4W4ؿPXյ=cE']HXO0XZi/M~ٝvAOk.g*қy*>a{.Hoh pQ->`zi>92}+jWjeHy̪E bx8kNr= BS{E#pMJVAm--̦#$|&%cE7^{k $[,B\΂ҳD% gM̴@ؒ7ڨB>SY`e:k*l* 8VmV:g@nyg<`1}M֤ aV<95[ _oiEWONOfΰR(QorXtQmiVnzb%E%s oj߅nQnN!v¸gElś b5#?CPF}alc >#C|駏{=pU?8S}(F7#t q"ivʯ|ḼkЙcPM9Q3ViKxR ˆ30 οoLJg,# mÆ΂!j0o{XCcrgPAB7go}!BIUQ]W5#xe7fZmtp^SH^D-3܉@3r~p+g?{aU T?Nr%аnW# p3L(;'e ͟A1&V{XLO=dBMUιzl_Y vҭgwji$[i>:[`VC2*X,_6=F- *I92A{AQ_G1!yW -ۍϷȇj#6fo/WB#nLI* !I׋bGzf'>=뒕ѐS>b!!'QQpXިl| s!po>e 6dma>b.L5KnM/ḞCJS02xM_x"ý/*"؅OgIyp Z٬7oD[a6f#U!ާ8V̰z)NbS EZ{Q@ߋw@^l5Ia>>@0 Ѷ\v_vNo}y*G"<3ؤrt5HKZ;JN…5@ [L".̳lփ-1:R~]|Z{J>o~si>U iб^UV(㜢B?m7^a Hc qLR|rnzcǹI9E[כ0>$յUtɔo%?NWQ^qG4뿝3Z S]6}ńվ&axy!׻VV'E^s/j_ޱ*E.B$N݂ojqhT2)4Qk΍- u߀z>k}㩤'4r<`  ~3uPm5a[NyKiѧ:yyCKm')Bb-F'3tZQssNWkYtց9U*;K?wͯlmN'jO,g1ǩ |{8N"N\N.%4hU4 KR-oΞdUPoz?X!W6bE;nNq`B62H%"kFcXatX`\Ҫx{Q1o<[: 4-(L4ǸG& E+>#Ոz BJrKC,/. b$E 98}h~"5jؤϫҳw\}ϛ lN3Cɧ4Q_g-Dn.GV"eaQ" @6)*G.o(Hb\i~QS& lʾvuesm ?u/6!abRpDa^/]G,,aCmػZk<߄f1 .'FsߨCͱVV[hfo5;>CǠ~"Z!p!x϶ў]/$O ]&=|j6%k֐CMp|׵3Rw?xyc^r(;P802Χ UM#Zʽ[q?ɯenmP R*yЌRnU.6zAcn6uzXVue;dɃ|靧,ddOT Љo] 6T8^)\g`ȘEny8%L~)F Au:q0])#hu,_C/ jɩgn~IT_(6ZWY("#t2)lzPI@3{%{nbɬ  6-?chYǬ c2o9{ޞ#abΜNl*"-ݦ]\sY+pncX.\1ZEc PY8G*=]*'V5&=#esc& &Uũ]'!&RP͗dTLms?Su jJi5,qxsiCᔐ S_i9 5}>EJƘ&6VAH3 E(9Ocg1ĖU !36UPy +yQ#{;M,c]JI\G |IAƃ&`o?KEHS.m'g8XZ_"wԗi{RnΕ}+3Fh'ҧ730x\X_"6):^UW#&U \Z%:':Z M, |u7T $ӻ ĚN(u^qAY8_E7^_]:Pp>iTƈf6$1'?u Z`{#\9 T|Tl9sAH" WgIa؏@д-'b *Oߍ$ރ'{r2Kk &RU뻺>}1,4Xpysd(<kjvl$T{#L7n:@[p[.[pq~#^!Ieg,:[yHT1Pg#GAg\iu%59{s`)tpv1XŬX;Wnr*Zְx .i2d%cLI|翵l?A^T&iZ$^V>/9G@Riứ 2ؿOYY h `9r ē{mHd\ DUeCy lS@S467 ^z\w  7&Y"6o\쟩0i| xa~gjY1 2of;^Ť TRo~]"5%2t'͗ZJ9EgxsQ+XSOT R;aً'Hw7^L/k6iTl&BiR^[J_rh ғojXjWGB -&+1J<[ r2 ]q WrN!(W(-l{QAS 5s5vq/&:H868tix jk6)kG=&>eQ.xkAP1 !4q_BJbW$ia{8Sb,1Y>t_&8Lݐ0ph*"}CѩxRWT BQ*8OI| }'76r hqkwc!Is8ͩK5'̦dX![| M:&Z4'Vk1(Ab|]PpM.țV5~u>i{i"1y_eH!nݽ RԻ'̙BWaB]%uz =Ŕn(Qf*p6V{{XAO.:˸(qHn 9fVKRT{j|5SK;v~'ZYk8Xc`+^’$M|my1WJ/ZY7ԢOB hvd\pmK7̖L V)AǢ `8GLy42-W :#7G(3N(cZ\No:œ -@v.{[Яd9,셙 l’|p !uc€j>JR$c&|" Y~*R$V.DKnC4%<5\w?5/X)#&AI"X]@y*W7z!>m%3_-qvao|` f2;La0ڴ9;Z#Pwc T],@ fRgk<ϩHzl/g|2BCNY*6;5+NX Gu&}IW/&5FVszt݅~}-]MjBÅޗjYdlI6*US/Mr;nâՅpj38{)Y $~R=dX^*BӃ^&5 Wmޖn̋IN-A' @i T"A`ŦGx\b`7gj>D?}BA/^ןP\ᷤ3.F WCvB`;#[ڶ*OcY]>c a?6Z)guDQo3=+H[@ " 5bv[0q9 ƥA{LM*.Ux~eBb@ihxKWDzug e)Q]҅^"M|a3ĮPWz?PHpm}k'FohDO,MdIhXND$H}0k*J59kȝ>@OG~YỹlM|8A.cKjT橩 %Ț9Fq+1tfPBDS_,, H/5Âai^!=)ycźkF5Rjj7g3o,ج<5#O%zuH@y 1w.vikwVRn`VFcWHvR9Զ ׵tɌ3\JLjM%-zD_$gZVߑ;Y_z ABK Q@"ɨ7]*!j*kLXm_!,̗YKA"Ј4&zTXM>.F)fv3**L - cnRFmfs%ș%}}Y=`Jlj.}I$aaf^mf, ˇe$&ybi1jPq|h:KW\C;5ꍲa(5MRz15L`H48YrK~# DĮA}'͹blE~eYwnkDW"q h̯ޑ$cDNzuJIJ_&n(d38s**"5]ЁO™U<, XhpueI9bPUgTĹ;~ 4.DU= S?aiqOOb+,oC'tHE"\ݍ]BJ_ar}nׁKn'lio@RrA\87e],x,{j1 ł` t҆"=]̇}CTjR۴G&FovMu@CtòbE.][aF@+v08"ZhΗFh)Zs|iQ <ŽQ-gLF5$M>j)@.('HTdH~T?ڰ|muozO<;wgaf04-:c&KXL:XB*N X%DҊABvO;o9s$#^|ީv~$@7)Is\oI e<##q}21Nfܺݨxr֣?#\XIݡ}S}epƲ}V{&G!9G1˽ @:[z=g6x`5K7|RxJ퓈; O{ X)o"s.Iˆk(ON^hp͈Fsp}ʂ/ILzjGi(l vIL9QoxAbۧWPY?˽SdmmMJ̝ZkRkhMUCҲa Oz lx'2lhZ926 9f_M~´ZÌ4\ꗬb8O'3lFD Bq%ls3w%.;[dp+鸝89۹cTTs@[j?m~?$ wsyNh}Ř/y>< D?S{F~% ո_+xd^Vs/ 4]2vIBT1270uc{6*4hb8zxJ<踦z6bJp,齗˫n#N1 v•2WG-K׷2`Utx!!8cZHrBVfYEjL;(R\ڽ*wW>[jf>( 8gYZ <,< +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| +)< +-% Decl_Sem_Fun_PLHOL-Library.FSetdocument.tex7zXZִF! kLH]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֧Lrm\y)A f#|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 4 +?% |Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotLam5document.tex7zXZִF! []A-MՋhvG"uIBm5֑ d< cvfIUwNj:xLv›Ȳ#uZ6+/(,`Y>f9>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   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 +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>qgYZw\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  IJ+S% Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotCongruenceFSetdocument.tex7zXZִF! ಑]A-MՋhvG"uIBm5֑HmŬ~l2Ꝍ^ڂ_L)i#$ݭ((=#.4,0?-B1Lp,=]4u\, na9aI\I}4Hp6>aPٔxK_/~vƒzJ)gYU9Y=6I( (ɐ@n8Q-|̄ʱP=H:ס .BmpJ^M :&1'-UCvzm.6飗sm/# H/ *x͢?`wq7>:fNsKEZkC >+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, +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(.nP"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 44I+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{LN"%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ُsoICj 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` -(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  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+?% Decl_Sem_Fun_PLDecl_Sem_Fun_PL.Optimizerdocument.tex7zXZִF! 4]A-MՋhvG"uIBm5łW !qkdn=-b ӻi>h.͚&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$+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 gYZ  +%+I% TDecl_Sem_Fun_PLDecl_Sem_Fun_PL.DeclSemAsDenotdocument.tex7zXZִF! m]A-MՋhvG"uIBm5akjX~K2d0A`ϕΊ5œ(1lx$V%)|7$ :o{Q~FSdŢ^s1>AZ&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*+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!ǜ&Ͻ<: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 +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>+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 {'jXejm(N P2>NɁ"2%ҞAIР+y0*(74tS$#o8s9USGY J=bs]#hL#j0R~2 h32PкR؍QV.~[-Lgy鄔HJ quf㣲)Q0*xg]I`/+j> ğO9_&G:R nQ?T˥lܒYX}E(5*;\b VoJR}0IR2lu׾րT0,B'1E} ګC5`:x|06 ۇ?O%ź]Yz [dwSq<^nPl?T]jK8'X\EʽLq@G VGg=a[DSX=0 Zl3$a!_3Ү@\y&UP̬VSB{TG{[^QEOA|5'ϋ ^|56BAO(d8sm& J5.GtI@ނ{?&GPs]>~IJsonڒPU8T8‹W˒ݩ60OI2۔XPbQǾd0EPTJKxU6DŽ$)9ᧂOy#ɻfc6>3[n匛;v;C v$e= }RV(gE+C~U ܀ Rɥ񉘣Ѝ]>"PӘD}~-,5&8_!PIHu>USaz/Hb0i-(ꑩ[ٲ]YR ւS˦"8Xd1[EJρ@}F>k`P'%bP)W-7}& O=OVXMKl$s6ѕ"ÉR sLPnweMwf|] cN 4s>NzuI^k't՛(P9!ӗ#1:IWrV$7|Lv`X>Z3쌻Ek$5}0z;!W6ij{PB`ZAG,@Q{J?(g"kX3 gDE5v<)^D>D~ 6sjiy-|9yw.( &**^$-WD+8gYZ7zXZִF! 6d/]ŗXi%D8WdQ=.O3?nbexpF U6>5$Kl//"+K Jr]icYtwDhg9NOW; &N|c^Vxa,UUvt 8HrnV|u"r!_ -p-X׷4S)vzȳrhHm/.Oy;2 v\K?d}Zp} GlSgOߧ0>RZOs$Tn[r"nw#F`j}31l\,6?$d~t l݇ܓq%-F!.>$Zq{#=&Ci 7L>Hp3I+@OW3Ή^"> u Y}C<jb,: q˝N(u>]+ ϳ1YU(qZұc7?NnF]d &4uxu5MD.2Bf<]>Lyvb$Ԣ> yR.mDxckj]=_%|:@%qs{7B|&` nsY]hඝߧEe-M=#HixFˉ{:TTZ^wK强'hfJo?GIT+؃XX$[q}J2Jw\6 y{Qy>!ۓTҷ]C7RϳyQ)h hM,S($J*(NC8S @A3Tn`b:G|GVQaۨt3^ͶGxі^K]<Ũ2< qߋJ=?d.kE֦;klfBUsjP1_bzgPbhŜ1 e ef"G,"śuz Gb:Aw"k>: 0Zv=Z g6c0;R<ƞ v=>Muzfgk;CV='[%H<ÈowwⅯa_5붉v4Vޥ Bf܎9,^; Κ}h '}VNT?]'\MM) rH^hx뉐]q.n&+>V6x|d汘!x5ͽhZE#b}cIMN?iK)Mf6pKTUC#T1}хԃAz1)͎4B[?)My6SnmIiqTNf􇔿pƥ[_*k:EQEh LAA|VSj14H?3+q ૂj]Hc [jo EE厸hv\WdCcHQ+o6MN\U ߛ NN!rL nrCˇ} jWDcsʘ$f8x7S*&x@;4<ǐY3.x7Wn.ihd(T@_[fQZ>TezS)n */Ukb 2XMQ+&̺ot[yiˀnuT(0O{>ʴ: c/@4խӨu+/7fޥq̏Myeԏ܍Dܠp_GYdIn=^{Ւe)rTZow Vg;c Gmv@r1Ү$f[ ( fiLG)I4Fxsشf֙ͰfI^lbPJ2 sϞuiSr0v+MF/:^{"ScZc;D@%Ja,Vqg`0Orh2CU \0/H7Enm1N =WD=۠ 羟 ú_ȱdݑ 8[|y[Q4G7~k&ֹwmXH&bDTXPIsurnl$]і;3ɨTߍ]h({#Uj#UМ Ify{ӎDV2JyWl!v{3K sFmZo2%nH`UdoW?Ax MF4f  >wb&5z֜#}v_t{E%{%M_p{]f޲%Sl{8asG}f.Ok 裕RRXׯa797~ %C^T{.5t +ήiC5#lQD:vc=eŵ|*USp;}2;S0_U1AUއXa\^gR+:`2Le?m#^L$@S_KLzx;7JpZxmeI}Q`Bx~|V]@\rjndϡ 3~O7A[A06bHC-m~[:xfVΨČcG蓢b&ca3V iiS.l G)3w;uTH6z^ }lɧii}NBrofJkBI2RЬ:Ҩ" olJag%>R:?fh0EK}Jլ' I!|~ x} `;''Fb:G#q>Ԁ^_$+}ϱ?4Ӽ!Tyr{De{je8%&q 4 Tk/lKmM zݼF2.݊eon-0SԜq>eCq )[=rs7.G@+齱haxej!~ک2PE =+dR%z= c)K(! Hb3;z}|=,1[}w6)8T39sx<ζ8ֽOoImҽ _5Y;g+,}!sM݋X ,'0?]0z߼x1KLGp`#c'y$&@e- P3̺߸*C7x{&O1yI;6ی&=k7E3Yԡ]d@`/șXu4t~mH`:qq2CrΗ'j,*Yo=|}0e1PKcK)Q QjX$<A:|?U.d`9Jv\nJ~Ӧ>CW%i: "-RǏǮf&(V4X>7vZHExLͼD4h+bSBͦ0._0[ ?n{``u(1ۤ~q7}$M&AqgPmq_K1wYzeg5Aeu_nO-%i89 CkuTΎ!pC)dz3]6޳휭Jϡaw@c0CQF(uBsNv6PB]{0긞? ڠ>I:aTw}%T7^.*Z:q$/+t ̈Jސ55qRv 1Y*P>gYZ389bf379aed5dbc08ea6d90ecdb06ece62bf3ab6c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a