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   q+ D\4 ]/ Decl_Sem_Fun_PL:threads=2elapsed=40.782cpu=78.164gc=7.552factor=1.927zXZִF! &]ŗXf1-/6vRZLҨ2y1;B=Cr؆G4B c_]>FLa/$p`S&B^pP1Reielj Jly㵨1t\e5v !RIFi fNѐ"pf |qV&d BƄ[ƉT RyA0VJau|`ECBjl-@@r6)|[0w!bXR^wJ$!p!mI;5%ìiW+Hj:q%U`]Mұp#?H5Evl`X:z#LFBa bWtł-:Q5A ]O7 wd#ycӸ Ʀ{<ț=!ؠe@ ' 9x4*:x,Cxx_൵%0ڀ'd_JKcc?? ʦa=t˕T@_-($)sYP<K'r_2z~_%Ɋx5'9q=3kUplhPŪH_ ` Dg !9IAZ7S\-KC~P qĺ2Ҋ-l^UbFN=# iO&޲n&M/<֎4CLRL랾xg_f+hLCkI-8Xsom:I6't,GCUzh.A_v&Ⱥ' + Decl_Sem_Fun_PL&m+I% dDecl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotSoundFSetdocument.tex7zXZִF! k]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\# ]+A% LDecl_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(y:+;% Decl_Sem_Fun_PLDecl_Sem_Fun_PL.SystemFdocument.tex7zXZִF! 3&*?]A-MՋhvG"uIBm5ȬaWmAEiԽ ؚ.]#?eynGlByTW4Ҡ4H`폶&AdmE䧀c4cFI;bI,]匞i v{%l o4 2`SҾ&d5 q^$m?(e릏yDCyju(<`{S*&7u4_`'(X JJTY eUOQpR#EpPvI.~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%$#"       - 4 r - nLW - w 2 x u  = I+]%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.EquivRelationalDenotFSetdocument.tex7+9%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.Lambdadocument.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@+K%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.ValuesFSetPropsdocument.texB+O%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.RelationalSemFSetdocument.tex7+9%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.Valuesdocument.tex:+?%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.Optimizerdocument.tex;+A%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.ValuesFSetdocument.tex@+K%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.InterTypeSystemdocument.texD+S%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotCongruenceFSetdocument.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.ChangeEnvdocument.tex ;+A%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.MutableRefdocument.tex :+?%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotLam5document.tex ;+A%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.ValuePropsdocument.tex 6+7%Decl_Sem_Fun_PLHOL-Library.Countabledocument.tex :+?%Decl_Sem_Fun_PLHOL-Library.Nat_Bijectiondocument.texE+U%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.EquivDenotInterTypesdocument.tex9+=%Decl_Sem_Fun_PLHOL-Library.Old_Datatypedocument.texB+O%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotCompleteFSetdocument.tex1+-%Decl_Sem_Fun_PLHOL-Library.FSetdocument.tex?+I%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotSoundFSetdocument.tex;+A%Decl_Sem_Fun_PLDecl_Sem_Fun_PL.BigStepLamdocument.tex7+;% Decl_Sem_Fun_PLDecl_Sem_Fun_PL.SystemFdocument.texR#>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<<q46w3{ly6M#%9eBP"y$2TYߒ' ^? D.v0Cd~,_Hbh\D#xЌ=I[iO[)M0Y(,{cӇ͒G>42?`BM]jRk*UHgٹc Yi)8 +p$7883wyYMq! ?C'߲A^F3ΐR?߅zs|y*! G:Dwuo /̜(qO;)ՍX5^+iBQЙm_k2,S$@ CcIb9gjRv6HH6ה}8 {ν;tw{VkS;=6؆D]֑NSg*ՅDjzNjnSP1"C>܎CQ#!a G`8uTCG %tqʭEyFk_R{H^4>ϛ N[> f—4\QhoG؈ *f + U <&-xeŸq) U Soؖ\42@Eߙ6| [hZ7Qn*>OYHR7U_pK_x)-[Uédy& \HA7{htk̉NJаmxQ*HvA@U?"'եdp>EA$:cT:N8]Bܕ4G;IYhJ||s&U2ۖC/ j, ;x-+nȅ}Ur膬p wb!NMb.='?>0 ߠR*5[aH^5$|ܾ>8pD X"EU*;σwv2_iM.E>*x_*(+<l{I b ,70W2:C[5nORE<&e7Gա]O(#kVz:f#purLqdWh~Y@}@6mܜxSrǢԞE @9v'Jߓ=bGӅ|O˂3Ţ,b_v+䏝8 C,A߸LNWxۍj_L{FׄL]fzsUier(OGf8|wnۑW}7#%CU#4}lϸ+Ux*P@v:>;휗__p7+uXr = !p3\I&rfR:aӏ8%;!L3ұY7xf =N uh=r{q]JqPWoe 0/1]hyǧPčl}Dayp[S i"ֱ!_̼e1#46}P$SSrT4'2e*+Nxr ٿ!P1#.F ;6{޹>m X 4VޞV,QD4鲊*G,ygޮs\Vek1!Fܣr~7K3sP)v]) yIi?Ψ@?.j9䵕0aϑ"qVwPZi*hV\L&]H,ݦ`d3B :3 y)p!.DE #]c6?ך?ս!V!O-dA>01ys꯻4gxD!a*2D44?w^]2!BR)[X`܅IE:)F"_QP(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\Bl~Uwҧ: *0N5GBi<}n7\h+a .o⏍S$*]P&9#!s?ȔnZ9Ox52"mZ@/q6&@lH`$Nk7,Y42_ \GBPH;P[vn6'\{;"Y5ISzX_lc;Q} 9QFde kab(Okn&Mr8r#5Z >/z悲QXpW9TJ2$e[`Zlk8ȗL؛sL!zsx6 MC.hwLbNB3m3q[l;6}I9!%w}'"Y`@Wq e^IwQjyJ?i&xP~XKzbfOͳc9wV΂ъuJ李 1:嶓GCEf_qTWk~*YvG ♧x֤ fslP=ؕ]FՆ{],XZ,q&r \s4ZGĥ?K\m&QO#=Ɲ(JbbFd%3K3'Kf\ w@LnϪ-&*~xVQW/9 "sTآ-+d|9z÷rٽnM[Xh|wI}Bc'AJM?ˤɷgƕ/_ 'lq_ؐ#:,m=rBX/ީ݄%@cFONI EasjMtS>48cB|;.րW//ڱq c89f۲/ xs`Uqv=k6 x 9_ԩ 6w-Mł{xLWm#615ǾɎaM/smC,MTݾ3T1OrV h1K2#VPqL2HGߌQw :`cz8T:Dk 9j/=ec z!y`bZ& s,^M>Gq@%(%9sh"R靦ūz7V?o,>;U] :~: '#^ap2ZR\+]2Խcn9x5D1qWWw-r}lB1YCBH$ DY}ǟ0ĺ0FҪKi/x_=դ ~Vǣ6lP $V>b*QI-A뷜NgYZ ZUE'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.+`DGFH aVS(0s4:- @-PA1ρQ0)+IxPvnl?ff=[or?՘j\>`R0Vr*sjGl/YWJQ`֫:AeF=I㮩sgoR^&- {- h#X%=ֲ6 kZr(U_D6OZ9]r vމVM|?ӢR9 mߢ,/ c a<7x_lFKtR ,[TSX7w1CCZGup?Ֆ׷ 3岇lU*fHAͥ6}5Ƙ!{c,Դܚi0S+Ѯu'+I:=qN6%x}UH'Es$s.˶sjo¼t;L,u94`rD" * [Sz,2,7LЌ_(i`UȆn͓aV9)7){~s;0)(l^VH;;Sco &?Zs.x q:Oa:?LŇYbZFo׀0>36xKc/<F'VdM0^ݴӟ0=rܮhH桔aڮjIa*{DZ %CVuVoIn qzlҮe`N0:HL]@燍O]nE+IlT=CWͦe:創6<34:n` 8NG^U@0pv4vp &'[f-Y rƵˬY朾<6DE^yN%%e`;[(q x[Urr n BQg*]QSA9gYZ :͏4@ 6 N؛S:+kLK҂Y08:x?Y֧Lrm\y)A ft֩W0:it,Vo첸w]' X$ ٣h \=0e M>pzn[nN)q8C*;rHswW7a)+ۅb-]H 6D46K^t*ͯpZHeŀ>]0uV3*ݏˢP/ 5=DZv5t)reZ߲'5x`']FPq&%BQ 9 mŮ* )Ƌ-&%~lEVL0Z!{AroWޝg@tܫ#V] o4+ywX]ScmE^<\`w:>aOn­,[u荝-,49RP 9j f,͠mx$L|F_u~d3iN(Uz*|:MLJx7,nav49hٰv_C}Feh{秷Zuu.ʿ:8z--Ֆ*V?8bYvZ=y2R<[@+<(Se 4l-SM&v)ٵ\` ==" q(!)]9Ͱѽ">'. _$CeO!^_n?;/2_T:z9fZ\h: 5*øFQK5?*-ƄƟly3:TkDwÀ nn eZe-kTC݋.*F~Cal-Hn v$\heUu6@egzsҹ2R8eҔS*_V*ZX ZbGW/@ NVw2%]%a0ڈ/g :<ʢ&g(y5|m׋;\<\[G{D$?r9J)=F~Oj>ҳ:<c @e\j#$8?miE01~@ϓlHS_n Sr9±k .w̘O8}W30qKs|<=Tͮ&l?6cO @^Ƅ:!u;uc=~3'y$q[0#z)fB?ZsN/h:+U Jgxw8]8F}\I M js-3?D~!&3HpF(@/!o0Ad{7^݌B@A{8 9C=ܼPDcq䛬R). χL=kk71[szd̵c8r̷B9({c gۓ&cc.L@ ̋9?tX eNJ6SML0 >AWFoSxamBU)[`1t>gu*h9h={}⎯[-@Eynn}0f3.p*~䧔`aٗ|6#)PVxOLէ{n RV}d0,F.AJt "0C,妖j VIx:D K'/9˟R90͎XmR|1aAfюhqGSKwQƯXyi I}P<8@#PD`/R^: ۗJ lxG^m1KydUV1Q:WmnyOF1v+h<3p Tݐ\ШW?L'WV:]k#n? E'*X@u\ 0QQ+:U͸sO={@#2^N~:Oޠ06F"=iKmTxH ÞHTG0UMTJk&Ng<Zs'>pb5 7xbS_hק~wN1NF,Pi=b<^¯k_H_~ɑ@w{S+U9ig,޹.0WҦz:"s"qU8cż4\YK'Q[}42iN|Ǐ R ~R[~Vh[@Ve&z 9c S"% ":._V.XqQk{lUtP=W(o'/s\IK818=<z-ۍPr?J\c:]ӀV}g$YN-7,gXpKQBP! :W!2'/r8&ؓev2#8Pk, akx.iYшv7x!X/J⪾qNlΔ0q\7,!`U rQQC|r.5HjX*yiEON#*zhےђ2=K:> u;/pOo}\ehtQp5.?_Zg?[n߇ikڰb3cOiK = ^_#`7o葦x;.wmsrrVus6qB+ЈP01;VȞ7SvnjV !`UeqGnm!9@~{ V}j;٩dwwH2b`29sF1;]Mb?{^Cu$ChPVMQ'Z&!q\J0!@?1}!lї8߇ x_qi}JF)1c,1$?j#N8'$+IEDOmDB(T!U-̧.%ACT:b$Ut5NB8mM:9]b+[b}q fl6_X}tbTyS2*DWaS.4C)^@UIowєXLN[ʿd4(W{Wu ϯ9} b%/sw\S \m 5ݯ6R{?1: [KQe.w/G" pH'z$ Y~dԂ;m:$읆ם^$Ā&/HpƆ^O5iMJ7&B/]X 21gL|uH33/,J8x@kr`[zj0z 9"3޶mu `9ք>Sʼn@Z:l̆v@99:nqYYZY ߙ!44se(ڰr~l"!)Dv<.H . ڣyL-'u]t:aP%[_D&;@p+eSԒ1/X(% {\ {W y9r=T5$|}p@/1 rZ0Omk$ c\Ȱyk~[-wܞ+x[[ZwJZnƶb :Тw:dzx4O{{@Qz~S.A6LRn;~EфoqoOӭe-Z Tü0,' ;C*0k}u9jR,/PּK5]|m44#= Ҡ&$f IF((3T G20*vvBI&5/d F:} T-\!mfXI}6i"tXkG|e  nsk`v->2N 8ciUg0I_Hmʕs]^e]C1xXхPf~%•tB?Nߡ56Nae_ecJi_WliixPp]J ^w'[5^*b@e=e.) Gq!:0|maڽp%a%T.ILJxk,@~7z r~O%+i354UE2nBU_ E|~/NXO9zd1=٪-rGQ*.W1Vs$T@8?١/oF@i3?mŅ|gCHfLlɜ${?Gw$~/\cA+KъYvY!(T)z$ukO^]JdO$3 2{R$- =zIW㝷V 0B~pGA7!;e^QE^=j$biMюv`@K39ʔY8]#iL!\OrufeJfs2K#j~F9#ۣI5ijk~3BlP8Z>-.:{N{γNڕ+E:XlkCIaQ~KE9~st*SD g^j5_BZC+ECO+?Ym%Bi @,['[X\obiK+K;' C0<A>OQo-h%*٤ucH`;%m6b_3It<}%=<[ޟ7;qqhfQֽ{47J).v|/iD4!ڤF .bj+SJi8\<gK?1~\8q|2)ֈ7*hoK5_sCQı?O=f:A<]gx䠅k}&Af$.&DUc+EI+|eNorG>?d߇7ctz|̛[!Tõ|B{5X3Mޓby#`ەrXPjjKsC.X^1M.(N:'(>ɣ[1@a  s^0p]H@dT@ ^ -LmmA/PW bE\ ><ЇjzV@;M˘} %#^/i6Hnٙl.qpS$a[Z_%~_#l^^3/z-}n2\~ͪXUȼFLq- Kb&PLFswyT-*ѓecQ,Wȍ~?}bL+*SfĹ_?gđj+C~8^K+gʳr#-m(]K[G/3u+p'Z4-M#-MOTԐe[Exw$>LVCM*_)-{1ct9*wqCv ~*H*WUJ˃ܳH%8ԕRMfs2ds, PvJVM9ARH{!CvDgx>3e> e!ı!=ՙ^)b Y|ԎlrFF#?ƜPTم*-j ,h+/5߈4=xWU`-H'$~ (8kdGm^G-|+W)^99;a<{0!mW#㰁"8w ;bu\K0ncWS>?uO ,:zP-3 x2\4RxGtWy`svzj5%xJ_1-2gFޟl6"fՌ[@09=FJMJ'G^fMɛ*n7E wKGAaVJ ~|SK࣒jG[18 :m0th!OhS?9^R:Vvx3%V,P-| m/bpmsL8:]CZ*"V}[HO&̇oHU7%l,GMhHkɯaRċ7Ȋ'ʹsMgzK$(7Cq\[q!kx0 J.O[k-"8!Y}㶬:©nЍt0->On(Xd+@rOO;9ּ1AoMlE–lI3ź3t3^'j['YHZ>Pdf^R9"K`0t_D!4G-( w8_^[ұp8nr,X HB 'NgN?kt׮zߛI0_)6;Ʈ QK LNB^`rTzhDGDU6wW]=*gAT# I}JȦmL]VmNr}9=MڭQ?;=5sv?C,0H(ZxO?ԥ G`?GRJ09ilvDFޗű" E+WG-vk#)}<^%"z  1+OhyU/?9soU@{%V] `y.$` '47 sɃM:Pm)h V=g5]>\n-oN_{Z Sg37ԡ.STZ WJ*ȳD^*ǩ⓿gz?r"ʪu<*dpZt: lkV́djV߸Ʌ&DDz;P٤ʤpg!ԫ#J zSo^x$ >mrZo //B)`<ťio-SE,9hܓ Vk~Sp U0Ժ>R\t/vY:nm2P\EgͶnƱs񃴥eeLQ\,zխdU_7^tCstʝS69%|XCEo"tP³ȤS':AHҬ)C&+Q+ǦbzזA3V nU mES*R=A A` ,YiX=2-%Ad$/ئ J,O-&ɁzWpvP"D,O.3/1 F^ wsM{g3A̸نJ?L2"Ջg @?0I2[ W|Q ƚuP)oEOՁ:UIiSNB\s.zd< ,ՅrB;~M[PP/^o);36Y[m.bۤ)ylf5}j!=-"hJZ._XWxbT%XjX7 XHS$i3]i\-of'J[3#7Sk2/O8'X55#zw :Kl"O;ښTj&^UB6ԏfepK,yh!)[ʧ=S{Qv^Nsku﷏֌Nyۢ;0rd9[<7Q:иot:?O6SYCB`=2W6ѽ Ѭ B&+Daz<"ְ<=I/JjQ+: Pph2c5Oyo;SG(j/ 0d!ljT9P9<~®kH:}}Y_>Fyܠ2nr9-I3;;BP\(>9D[tt6|t]ʼn,FR.8=vV~Glu|2הV 9Y_V_ Eb  7"DבDQLm /豃i1O8L &hZ;[Ҽtm*3a\+e']k/Xڹ͆\h7/_ZG:$*oz7AB5 =XhWlo*GޯXJ:D„UM$/%Bw;9&]sZ_ݮOH btȡT =q5|D%Q^߮ŌB(UY}0>+?u |_/|&r\ 5`4yr8M/l:kE/MbjL֏T4jd? x;GPa y s&=Zߊ| u2eIXv c'GnYߙgOyltʞ1AR̋3'qR b F}a ,).nx57ҩ::5nc2Lc`vt`609(PJ]mɜx.Vq.f01@-Rqʀׁ!AaU6" X4.zz85Q ҸG*1s`i;7@#Nsb%m@c PAkWtK~u< E3 l(edM)'')X}}\u[&ہ؆e/|Qh3aÄ?۲ӠŪfxҸ]׀kY,l/Y7j'g4h'BkȭȞ#CbJz@~# :K0M]AKޣE:a19{t,fGpvr|Tэ3ppڂ֮DfEHY.UW a*]f-I{Nꯁ|bgp߁kX~x4͕`TWbk yx-CuY{f=xyp=ޔ\SkS3߅=ϡDuJX2bH<0kS78G]Q]ϟ4'yDZ'1J_=;5琱+f}]IL܊Կgΰ**^ZCF' Y^|)WjP/ʑ.@HNSO.;Eފ8$9Y5]SJHsĐO'ֈWSjrn2ʹD Ӥ'd<03ǀt?@;QߘWptW$ Æp0(4mu/&m0IFֆ()r^6.d@TYUyaHD݆>җi.sNUT}"y*`X' ~I_97 o'WpL~nb !'KqsTf/(ԅD}C wξK)y^؋t3*7N2E!SJKg{ySbRHwXsT^a,߼ǚh>!@?c-bk>(j;ͰEEQ:9>B@./f J#V^e>b&YKSrSʋj4f2XJvb!xdP~hvh[p0&Us`J4)x2n&S 6w2FoI+ip$(_ȗF1qSNK>BFm{V7`3^yHu_RGFRJMd:o'Mi^CVO7L8|!kޯ  V1f}yͺY~N=BJbQ4?ƒ쳰Bqc*- t '~;\w-<ɟT'.z㺐sߎ-&}F > 'j6á W{f]X'n~0Asf+_ iΐA~oSM8 U@YLy"]X(F":Sfȇ~Oyf#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\# ]+A% LDecl_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(y:+;% Decl_Sem_Fun_PLDecl_Sem_Fun_PL.SystemFdocument.tex7zXZִF! 3&*?]A-MՋhvG"uIBm5ȬaWmAEiԽ ؚ.]#?eynGlByTW4Ҡ4H`폶&AdmE䧀c4cFI;bI,]匞i v{%l o4 2`SҾ&d5 q^$m?(e릏yDCyju(<`{S*&7u4_`'(X JJTY eUOQpR#EpPvI.~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= g+-% tDecl_Sem_Fun_PLHOL-Library.FSetdocument.tex7zXZִF! lK]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 laGi/\(  t;t>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*>0dkN֦/~sQ_9n=lK!&. tyJfŰūD ˎQVOCPtȤL8_:5 &ztt6 @΢wiQgq1Rv\S  0a wX8{႞/<܁xG9";3rhkJ8 =|Oq)wW61u~?ә]ї^0w^E:3ߓD D_%E?mC)67j Rf7rl<\ڥ CF_E!aLTŢ+z [,Y"rNj MSEqZ,98V+ fO#0'L7?t= mnPE(^b]>*@h"r h~ E{¢CK C"GJ> ch>Ch(/h:99<N -HV,1ܾkAIT{݋P(vzßhv.ttIJ\uc41i8h>'s3IiݼH2%U*OioT^afB.\m[2( 9Yr xࠥ"("_߶N mEYE1 xymX)Sյ Ow=0nƜ<]_ ^aiitql N!qO732t(&+;.fi'E]dA{B@FCRcd5#M.gC2*_.9W/Btp۴ 8XXqz吸ey!j[Yƾ^8,o7^R֑8xd7ؓŲ3'rh eJ_z){\fU7aU*Qyb׺ bHd8 v༏lk?0i/ ql^G9p*Suiؙؙ ߒ]9ʽN, h 7Ja[gihq:"gYZ ::;+O% |Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotCompleteFSetdocument.tex7zXZִF! 5]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^KEw 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~7ˆUb"H  }.+}_,~C+2̑•ETZ]@z- =}>ﳜxQM[E)_6R]eY^t)KH7Lq[^,]SӕF]V@N2ژqvA[p!}}{Y؃eoM_ݫ#V^2/O@آY7-. +1RTg6m/0 eRh?ŲZyqUbRDPR y m>Kؗo8O>2!OxXȖ;4zPyyV$ƕDj?Lr|2Щҙn(MܛcX_qAG^D>J l+ 7ts\bk>?By7e`yiS] 6Tdj^JAc<#,5T&NřN8K"9{ut kAA v!!'pM#); &> Jւa2hJ<>_g@=5`/`@%V~׿]9\N:3i*=vi[  cn)\E J&G91ek7УY^7صtW-܏ Ȩl:Mє밊Dk`>6K|&J>N?})ŋDgn[wk=o ~1m'% S=E#hG#xIobj0(О l{y}7yWcX> bN }h{-1eȨb π8MEUg,@豕ݢ@* ]gt!'clrnz l0rö TˬmxjDH @tZ'Ƨt a=.'SvǾ2<כּȃRVx⫰aI(,\ n_4J6* 6K όE`՞/K}iL@=wޫv@RKBK[t,;Ul Xe|D?AHTXKRHnlj u KP;܏oU KxUar^Xlb/1@v6\jqyGz|څlQ[h (lL4Ƌvh B ]7QȼgYZ >+=% 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‰6z4c54>^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.\wb3ܫLkrɥfDd@KzhcD`kx޺%QL`ATY`W)ȍ p|UrF93lnc,Џ? ח1IԣlD x;|nb"{4c({ЌзnF2~Td`7y^24Ԟ1 E qN'YgjVY~CV6OO`GO{CNd= U8)3kzr67op$ Zh:EoxhoYɞWGD%o; ʇZ$1 B8ƭZ &]Q3@=꼻}_Jm$_GBD@yQ`vML68מw`9 'KP;G/rӾjf;;☰Jz1M ail@i UI8P_S;kqI/V7DЦG){BlJO] /nAY±&Xc1~3 %mv!Z -ZNY iDm(֬@!^sz2`k̍#HHkX: L'Qix-6,*]片CUU u~=/7/sVE[7FZxѼTfԻfk\5%݌J&uOLCCykOڎ>Bs#} )H}JE)>lgx]3TY{sEm .nG6%Dh&Y! tO|.O]ގG]!eZם&>i!dEyLƊ!2n94\ 9@t_l@4"Lk#DŽUC) jެr'(1%Xdd B3A-=E]!O%2x_L ɰ%e4쫸c匸cRchZQK y}ߌzLIKulC:U`2xn8, noeE8A:u_V{@= ^; It >$3 ~V?&55Zo\mwu4i*kyV;k֔:f-pvewC 5q)T Oiؠgµ> ]5`TJY E iEUphݻ~cz imJT"AE1<ĻfgjW%`۸Ƌ_={Pp@dɯ=]?H͐wې+>v9W@2;U;N1̀uT caksci2waQ3lܨeЧs;G&^ ʲ^ZDGbB&:hyyuM\_O 􋪎=0>[q*,tvY<&%[+TVĽ f:hҺMt CY >vO*i~܄4ϞS ne6tvYgYZ CC2+U% dDecl_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 V27|ZK=u6i)B6d6`XH2kϨ =%xxTw@:<`KPX('b cibX-SqtX"wY ;|~FNo0a[5-Gs%Qʧ*PĈAdQnqxnޡMA m6gؗ=6MoP\XiBb;j1"Yn8%nLL_8+f\ْ)a),ꃒ2aAMk=F3|gGqGI?x'dC%K5kVe3w^%vdPԯՕS,%_x}#SDn31yڍ^2Tq&{;wgzԌrnVWQ瑅@؏> ,hzYBwF-閲1ۼw[GS=m : CBؗ__;6VӃ8A/Ok7MG-^!sP.s<1)*T)҈ZqCҖJDgרO\WW_LxU}FpeAl(P‡]Xp-: k!t/'Y:{/Խc#lZ%` :}ޫ㙳M eWv 97a[-ʅP8-<0{u +"[D&+R"N6 0+[)_f(ty >H"<HBᵻ -9;b3ڙJVcTa؄7o>9#JzD ߌ6=-[}<5̲Ϯq2Oo I*Vm<:0 H9+~E"g͊K2?9ŴAږɊlQ:G 2+Sc.k[-DZ:&N}_ jGM6|ɋ>iT.ԁ8o]By$+iʁ!>@xLhUνu-bItlGΉ'֥Uc֗)qND~")@)hv1 8S|RG.@.s\D%[JUq9W {U'˻Fޫ.lf *Gap6HslKCwKC 4bq2.%;jBݸ-[LarsPףU 2ZI\0$#qM&l`"' kɉq=ČHM5&uŃvgVЖ}G'FFENѧ9J(io k8 VVh~ ,=>X'pbsvd'Nދыl55žt1 qI݃{=&`bTqϿC\9׋潉90/QYXNRF<fp>DZ ;k?R!sQЉՈX"w&t4z- -,2 (|݂sEaSm&mԞAg# X_>BMJ- PbZ+Z rTk"d\9*x3~cHƅ~oW&[wzzd1jpm:6O;^ yw}FTQl50@#}4PhX{G[ꆃ /! u`-:$pD`6@7g9u:0Iz>+f`ĕ`lqPЙ#9Q,%&o+7|gb8pc^#S0)kŃv35G.ىeޤ&pE+ z63.) 2ƩWj ͒8::m(c4ò¨~ku/ݳp)'C|r"Bd6=>h`w_t'P3.cHh9ZcH32'HHGP5i?TIeߴ𔙉{ ˔ Xx4;|X=F.6^eWΊwad;¸BrӸ7弢kX:j)6?)F0~0)n<x/1:?!GI@d%dg: ;ӥMP-m"{Ν%v{TTeYͪ!o4'{> bXoQOtG| +)o +7% |Decl_Sem_Fun_PLHOL-Library.Countabledocument.tex7zXZִF! ܤ]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!LKUm3tRQֱ{xK1h PvYQ:: +amƎz@.]n}'?nNcqך~ƧdtMFe~1Ua9t[ўNLhH8'r Ɍ `_KyۚJj~ I V8dGNtҙZgٿhlӄZWA6U&<]nl/$ .&-1kNՈtbE/5.'gAtuky 2!N +?% LDecl_Sem_Fun_PLHOL-Library.Nat_Bijectiondocument.tex7zXZִF! )]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ﺤ~% ?&tlo\fRLgu{Ho^<3EpT:mQf" W5W+h1a,{Ozw| nC5 WZr, !b+gZZy6pWY8ʣĵO(”G~.h1kEE0_ _l)әp#lFcx2ԢD@} Ɇ&:WZolP`d8 ]+l#VY^wuφq"03x>mn:)۶iVN\"Z]8etlc"{\!aQ53wG~Tl"}ϖbEB*ޡS !fc(Ͻ8cJyf0p}-Ø?nR  V&(xoM}s_Sctv4$"p= U#URB3#&k%WTs2pF-8!Gq{ŵ75bjLg+'V햶DHî`%"sO̸EBڟHi!ՀGs:sglPY.`_A#Wq#FÅo.L@Q \@F2:!*L>b1vD=&hʸ="}gemVa2ϱdМ[qtrIVBtC9qz(E#<p[4tL-zn;xdO+pF2wVR5 6iP7ysӛcpBUfS'Bō2|F?zR;ځG$LŸH|Nh PBFo#{ZJJB m#>^#KyJJ7c*7 )TD|\v&tj?%\>"ٳBd^Vy%.Wق)$k ͘{>qם*'}Po]y+r LIo6I<* &_3p_SeǤL>`Np/QU?,HRB!1%Q7S*شc&1ZTUY[Ab.q*R┅l*z3y:Y`$mfͅ|uh1G6X&4;) ҭꤽ#9`.[sԣHV%iԞ\]*r҄sF %=7hKk|C9vz af ydcWh׽ < J;ՁJKVE5t#14BA $t! Y u]$f /}6( `͇R$"Z!ЦsގqD *yx5 pd6 |K67/Rh'5b/g~/Sb J R N{-Bfqd8|Ig s;fwN[.>ia|ԇُe( ĽZHX+vϓS= ?x5bCխ' \yxŖ`J'C>q DK2ȃR<j3~a UY۔ =CwgQf׉XtM.5Gctؚ-cՊ}OcK:W4ZNP=2JF7}2C3˲ {=6 .RR3͵оH([:Z~a4ښ\8OE51fUKfZ!q[qBw2T8Vz/Rng0UjZ&y}ֺ AH^-EjO7i#;gTsfW%3UlS*MXHriz!8n_=*%m/g!6y;C)/%`3`2_s3z[@y>PފGJB E2D=?WD%wm96|mC{ ~Dt2Ϭ[ƹXkEpW=öޥ4:$:w::szhQ▾3Ӯv:n:*ٌJ8D!C  JǾ{.p[J,;oDXVpY6;6x{ܚ J:z YƟć cj.+b5J]+ u%[#Lj֤53 ` gZ^>\k|wi եJOC-XK]f%($j92EBF01Y(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# 7흀"ZZK!(oNwB0= % )?6(j7c\ I%hX,% 2N2ζ;~2,A?vk+Eh۝lȕή0 i-XCFGBl#WjN>LݗQG d%r-J̲ ʬ9l봛, O9߭'Ky%~sF7T-@Dx)$9깇N}wɑ-Rjdww `|>O.1YM@ WmS*+PH/Powr{I ʭ;Gh\So2eh8ME,Q1Q Ρ'Ug eƺ៞AÍҒ-2HzԮ _f'wv |-툄sAs{Yļa^(B:8zUv5sUwh@/.0SVF,,bZ_yXb$z*}fOor5ff9>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`dwYk.pu.%} 5 'Ĝ%` R#mڑepuW0g.ATpqm4I{MdٯJYvK~nt]D]By | ?/~ϩ.bxUBYOHS1h4qL?c͈=Q܈x5 ebaB*yggBŰuEgMr?7ۅ"iRl!+ءF6zm3"R& l8٩(_ LCcM*#8% rr&>b 0wo”/yi;kz*[?>r<!o_j 6K5ڛ{*ǵQi56`M#x$+OwKݟQ>[dY$B|FvO-dX+ho-EùZ7Be: +N KWĘY!c oGt0\ĊDt-[/'}ޡYY;2$j8xZ4*ϐB2gYZ ` +A% TDecl_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ُsoIʱ[9粅Jpv-E6>KHH9iK`p5;)(Love*Sx(ixˇ>ÀMJ|`70.\ mf 8&Ԕn]G2g0awΠ;js%rN{A^*XTO2hu>Kb<`H t\6> Dj^{_y2.㗘gYZ w +?% Decl_Sem_Fun_PLDecl_Sem_Fun_PL.ChangeEnvdocument.tex7zXZִF! z]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-+"Wm8rQDHZzeZPRYn+AIУo'b^}¸ Y'o#*$Xa5(mFV(@$G}H#:5o_ OȘ_A\ 펙{{$;"UJ|s%R~m+X'#Ƨ*Ǝ[rshNk/7źE- ZڅjM̒4צhDk ׵(zͰj .y)QU\AXXɌළivHPT4' r$dɨ'<ؽtj)_L?Ԥf {`+ëAU6bVq/rhQ*'!#J,[ =R2p_4Ģ{L??jTrEф/hLp{RP" Ӏp8[Rń,~w:q)ު}wf"d9$lԳg$Qݷ3&N4H&lsRG f6X(`9 3ZN7Iž^ꛯE8).܄ZScQmZ^yBIޑ. v,8 -(h*\?H|'*KA-, Y8X>RZgYZ ~+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ᔜʋw ?:hl]U&p*uC=GJ /$tu Od'508R\O8kvpz*} Tsaj[f!τNNfQuAhJ^ν0q(|[RO.^7^ɻ/ xl78'Y Q rQS[7+mhC[PlHN<W;S6bt+x?QGX 568DgYZ &&M+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 .!g+W% LDecl_Sem_Fun_PLDecl_Sem_Fun_PL.DeclSemAsNDInterpFSetdocument.tex7zXZִF! 4,_]A-MՋhvG"uIBm5akjX6Y7ܮH8Ƚѣ%SB:_31*="VDޏn>##|(oĢ[g4S,B9'6ky͙R2Lĉ{k4Ǻb/Zfԝ* c}UMϬܛBHvTٙ.=+H*F rbҧ &XPSk` +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`˃P"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 .}Vo$a1'!ēm^G,ؿ Nv0ˇOJg(a8[cۂ٣ 1M}): u4Y5 I~k!}xiq:ݤ.,Ew~qa؊DeZMz%0L2jVP~v#A.9k1nRO!捹/3@c*# {Jڔmsv)͠4ފ$yRp?-u ÙOKߕLN B FL_&N夼C1S6r/99R\sٰS;OM*Ad7Gx8e+-GNKS R4}6^̆֒>IDDJtT?h ڕ% {( OαóTc( [T4HE$tz e  QOB(e[KѱEG_Y5lwL= Nͫx:0:2-i5(ey.{?)VyHkx\J.hOnX5YC#MkY/!6&#tTOJ^xfup4EnTKGT?|8VxkȲ=SggYZ m <mL+A% ,Decl_Sem_Fun_PLDecl_Sem_Fun_PL.ValuesFSetdocument.tex7zXZִF! ;N]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)ɴyS{|)*.) B#1ɏu YT{+{0TyP:c؏CFqQs'M #?ܽS~iD[2цoTĈ?fzQ@PFlҡznbp+L\FF1Cؓj )WOI/z/|2 w*gYZA+K% Decl_Sem_Fun_PLDecl_Sem_Fun_PL.InterTypeSystemdocument.tex7zXZִF! 5u@]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͚dZjXV ~k(å $JG߀뙈 zghNӈ4=om:!j: \? !~ӒŌo2EEP~a/Q|W+lTOvt,|+iG^+u.ʘ^ґm$ mEơu> jgYZ D+9% $Decl_Sem_Fun_PLDecl_Sem_Fun_PL.Valuesdocument.tex7zXZִF! h]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 9GjPm:3[Ͻ+pgUT;M``wʖ} bk3/$zqȣ?ؼY W/RNt2T̫m@]c.8=Z9mZ9"d n6E»"T<NhR_ 4lGgYZ +?% ,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 OTE1͵:ob" Hgi9GOPS (F!,[\"#sBHWOu`=HOu[7nbű M(-+`l^pwU3; 45YPFjiCQÈ`6J1UG*eG\%GΛC!Y ΂ _sx)0a6rc=pe>k3|}9Sͯy"d^ԛ 9= $&ir.۠l$T[E<C6 iZT?sgYZ  u+K% tDecl_Sem_Fun_PLDecl_Sem_Fun_PL.MutableRefPropsdocument.tex7zXZִF! t]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"&wai }f*Ʋ>mC,U,?G҅$ݟ ,+檔_'cX8Ȇ ˆ6#: 8g[wYK^%M01N}9yx1CgaN+t ?Jwٞ@8iM?rO)7^²Ј61gYZE+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.,/;R{jюٗ%D I_{?,q#>OZlǟ%e#@G&G-,4ϫP7$#@h(;ч8Bh^1j 2ɔPzAAQK ?XMu--B߁P@l+tubgYZ  !(+I% \Decl_Sem_Fun_PLDecl_Sem_Fun_PL.DeclSemAsDenotdocument.tex7zXZִF! t]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*əb*95L 03 Uߩ\<_{H>~ !νga _DåebήxE./,b)Լy,Pֺ"A&: + l4\kj=oqF&tvgYZ1+S% dDecl_Sem_Fun_PLDecl_Sem_Fun_PL.DenotEqualitiesFSetdocument.tex7zXZִF! M)]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]eP4 ؂qIB >:ԙ!cg,B_/BlBK+j<ͻ3Ct@#;)-q0=L닥X||aN&nb_gYZ  &+]% DDecl_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Ӌ!NM _mpk];VKw5.xthG2 v>])Ȣx8;#<6\+g*~g%y?h;~tx֦T4?!`na-^Ŷjkbxvo ToSp--=3rM"DGgYZ+9% DDecl_Sem_Fun_PLDecl_Sem_Fun_PL.Lambdadocument.tex7zXZִF! 6]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ƙ҈呺pP=ͯ9W-;jMkRGRfHR9ZӉs H2|Cz7z]oX(")֊, SV6~/+XuϽY|c65c6C>غ7( ߴV3Z͹4 a +B,CgYZd aˬ>CH "_طoG! Zaf^W)[N}_t pkLfgyc@u*[ I(ڰ?L õ2B[z5Ї"gӤxt*z:)h\mmHL~@С< d%n? 7 :|s0;DLQCBZ2Hf= nRJ'[鞃:6\v2:2mr|a ńcJ˽gIB|' ̚ LgYZ7zXZִF! (]ŗXiɟ1˦r~KunύNN{=CDB9Ǣ%Og0A\uB{hdex !nXiP_wpz3'"v{`?yUv[ #60G.q6$]`Vȷ '=CF^pl7Iimim]-R$Jn܏~Cn'qqY_PSpP芉O*C7Yȇ_ZQ 0;H,a˓ r.y|:fk$HHTq*^D1ZdW=K w<o 嶼w^أkIFk=8K*5CfVW wqIeM!J:fOt352/&f,5]6vz=I9m`FgYZ7zXZִF! ]ŗXi%; `- {x)@ƾ߹z/g_YX}lܽGK9>A)f,R92f^9tcfcFuXDZQxe,)M+ADnB|!Y9Pr?"R7a.|DtZyq: 2;P:[0*2OMg].KF˱j6VbΔ5šQ^h0,Ղ l@) LO:ճJja) U| ˽6Dftt! lXd2wm -A&)U+6_ȌЎvH@PnN$ C󶪙jӸf/7daBnڝaЌ$(Jf3Tnq(jtι=j&bB$Gy\@f<tti@it+(NV]e"L2J8eP_Xyf bOi"GY2w%Ŗ֝m_DBQr9lI 26:%UJ΍J[)`cO1o)% 3E(?;oT9] d7HV;mpݻG"E`Bf (7ꭍY_Bŭu:odҞ9u:e(^2N$#ϴlX5sk=6-[ Q vNbkܐBoT0*~@'Dc@0*+Cq'r9Wa'S r[;}ݒYbc>.P`m3wzɈR\QU u~ ,'7\'&)-I%wr;s`{TTw; c4w'*t",O_r]+Aזl1b #M3ҪUm߯>k(ٳHEUK'XBdӓ;NTthD\leYB!']"AٺO