SQLite format 3@ I.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 zz{/v4D ]/ HOL-Proofs-Lambda:threads=6elapsed=99.931cpu=117.592gc=4.7007zXZִF! ]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߯s]plxΟ2_h ?n* vJ^T#SZǪ4h_[J,8KDmkex 3j;v8H@VKArE_z5b$ 4]@f<pTnF.˃$!@6 h[g(]rG;A}odNo&}[ݮZ}nM~M]M[^1 {y |S15n.GW"ߍ)s,Uׯ#5}:=# '[2(82 9YN8sծX0Љ5"b CK*-9N'NYX ~hP|N",^2jB\$6SA{9p2Q߉Nݱx$h%gYZ7zXZִF! hS]ŗXiɟ11bu)a2W5KԫzK!C`E bYrcAȻ?Qn]!M4aads{W",N.#VR2?s˶iV}O@f_:2s :6KT~}m &9kPQxW#'MIt¢ZVul(JBw(};`,6Kw6u1P`kjBB8{LﶁS/- oJa ESCqgYZ7zXZִF! 4]ŗXi%[neCtσan4 Xz*!<5nYi6**h!:X4 G1pY&"6:Q$rlQ C|5{XZP:0D,Џ/'cPv8+ViqKA瘣*=nHux9V$gK1fg*Q!嵡.b - gU=## ?;~absHtkؕ]"3Mb{T## ]M\ 49ӯs'!>8|=9LpG  [Sּ@(S1f!) GC_g$@9_76񵐨^pԔкe' c"upMkfJ^a/ԿY If`ëN;6|2E݈ 2ȹ\P]xj#xl?1WMx9j`?0}*d e<_jo7 ΫcS!~&jGPiFތry覬Ic}Ld5jDŗ2'PӼA< %D7O`1}zs@Cd8U8pG0aeY>0unxKPd@ w8.={DHܖccnyb#tV_mQ ݳfS,G^ΦݥaE;#W3#Gf nJ/܍<.ێϓB -;o7S-QQH)O9E, F00M *mn;ה7wKz8Zp+^sXL/Lhq6;`WpulAr!QzɛT01xe/g.{\1aD효khϽ¯j uDb=i[ w(034aZf> }nJd,k銚snj躅J)uyںJY>"^#mIR+[Ջ^IS6dR%y!vi>IbBlUA ] 7x;(<.4l{X~M(3S&p֌]5 ϡ5Z*81oaH<xuI{BCOE..<6 d HL:  Wt/NX$ƚ iw* L^R(Q:άm¦׭'JKiRȌ+2;XG=yhqMJ{;[<'t@jy2F~K ' >oKw2tO)B[ .kyh 戝8j6͒S9/%E]-2h4 "HTh!Sg[wkNAƖmxk\-^SUFZeL[l[,XP'QAnI / HOL-Proofs-LambdaEbdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex7zXZִF! ӨI]A-MՋhvG"uIBm5XB4\d)ij2S8l@}MJ4bX0`WGܾyyqh! ᰐǻ&LeJa Kmuf pQ e fK>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDctBB<>79443110.,,%%!         > n6w } = y > , o +IJ `O b# :Z [ L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3?/C'HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages2=/C#HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup1</C!HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files0B/C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id/</='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+=/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$C/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texK/G= HOL-P=</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&   Â`xJ StŔh8ի0]1R/>YKlQsێ0ӫW+)YMJVOz[X,}JCh|N`(1̚e{x*p5hhG5e7iU'n؋kmɸQS(Y;zN͟xZ-sTQjv>aB26@?5Jʋ\h3ϖa%vK3=eKZ¯ctĸ_"3Ju/˒t-nia4؅RqKqg6olTQr҆/][$(z. 쯁 7\^Є:iw5U/FRa{-.Gt̮U1lMKVeh|L/lv 44iC|lեpjo:tS"=_L;HN-f/q5bw$D(/DoϸX_9}4Q DMA?6[ߦ>lD~uçK>kvӺe +0obEqCynr9P}A]+78}.ӌ441 @h* c\4F٪etLn¡S#/&d(v_5"Sk>Dg5bX]ް2)w*WmR5/~nfrv Q^DBbU)K)QJstP\_6tX*̅.}^/WJ+шB~?͆%hA^ֱ7[pE'9XcE o~Ĩ~j+N.yW/6Pi~7$j^9N6'QָKn쑽_pk9Ǐų.ŗ]8\g Pe~zˉ<h~՟ m-DKP&`uslR^}j56FHbɮ2m?9N "?Т89;q_jZ$?7/Wr7AbaotAf=AXې`|` cWT60tfOfd ;A>_o[brz)v6)qU? M̰x $髃pۼĘAhlj>3NOyuaV{^_+T)$T}/}wj.}q爝 92W̧am:TWp&L@ Πuذu3PEhSv\ lm//YoH77,v^}L<hbktw'5͏ЎGt9q?aJd 2r-{ T.΢so${o2YöT)9) EhDLɮ~DlcvZ2 pT5@*>+cJ dUl g_iv GPfdotQ(@fC&ؕ2# k.'Bx<^02aiS鴭kٌ4M `"Tte՞4 ]wc ha|-~.@UW#7xYL}҈SEE{HDJ~3iz\JA kuT|2"-Kyh!PX2TS[uޔhʄG)@dn.f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDct|[E:#Lz29ZbjZ +{c$W~rWi2m들 E"|UXe%n:sE39ugYZ l/E; LHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.tex7zXZִF! ]]A-MՋhvG"uIBm5*oDw#H)3ۮoPcP􃢂6v]!P[O蝒86/|X7Cb&+7Cto *(y^_p+s%2;y7~/@uU/4h͸`an-!\ ]i~dBg3$/eB,C}j8jj>`ET uh9B<_ߎ: 2RN*/4g% 6cej]rH S'6d[Bt2*rx=0ēt7٤^wq#/Dѥܼ5&cIzç7g+|rh_3['5]lAsI9\ͨOaդj~qkO[`y|JȎk~GOqOG8ʂ9ͤ>2R fwʖ s6oYb`/ -1t, dawn1K`Oyqvcvdi3}Bh"% eb^} 1-mP柝e9܉+SˣIw "#}^+&S 83j`檔%)Z-'Bciwc(HR$NREڅaIԕ+ԖE9-W!A7q.R ,.~dMIFWkvmrjQU xD]ǫkkh@NΣafŻZ)3ȟ(IC9fxզ:CTȨ^K1"w{vI/:3!H珣4iŠ\m'S=B4,dCԑJBZI{z%싂~,Pٯ%qW2>ٱ ,0zoÿ8!Yc@6Μ}f5Fj}hK,%M96ydXoZ?.OL]uaw.J@iPy0SpޚvD j/7- dHOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex7zXZִF! p]A-MՋhvG"uIBm5~CO Z(3**ej&oR܋E8݃j4;k#Qx8F uw+}s"ja.ՎoDn^B4_\m2L\2PpLh.SN U H+4n6pt(}=w{$KU/u ҭ>bin&nQrHex +f30K{ʀ}|c6ƌJ/|6z)B9E%3t#dh(3zHbg΢ rwkˎ!TcqJK_Gi/2VOb̋"">Gx /Dw&L;;|Ϛ)WΌX_ nnQH\Qe)3: 5Ԟ^-{/[!:"P`g)̚xg0er[cI(=rc&uˑ ANmu|΢:SIX_ Yk7ֿ< "E_v!8"<$ROG$KpfsI.NhFm~ɦ3xbeMAstYm+E1;Y<]lr\3B|ό6Fu=c9;ʱ,"CG#daf=gȽj}| F\> 63FLs?90}yE fʾg p G ϻnIʯ9'Ny08ׄ#ĎтXA{E\ȟdȚ-zfJ$24ǵd6 3 EvVu>̝+Q;SJ8+c{-={r3}CƤJd C`+\mqSh_R gpwIaXhdvR/[-fD,ЮR*?_حIʿ 18OT8@V"z !')4Ta18wz%ʓQnkSyUۆWXJr"A:7YQOO{ۦH(/(zU-\ 7i\9XAY1Iȋ*z-l#u.Z_WVȜr/8fB2&?Usn&_GVCz"ыr}VQ;G|<@TF$"dF=פtX5d@`HnS\wK^BUq3HM$ߡ[,Ș6$tM RJ>o7\0xdQ c6+u=' bf #=G^(m S|1^ܹ }U$'`kB`nJ[Ưhx ҳv]M pe:4dd޷]&#˱>% pX>.$}l9 J0C6^ڮo}fq\zkx*e'xbjU__6ɽ+78bwlyү_KIؤ=e*;fɮ1W2-RބC.$d'Gru`WBLNߙOC3҈Vt{uDUhGQTIdK ecrֺѩ;X Lr̬tT6Am&Y@ ^;|?yWl2UMVVM,^FkHRp?E B̦~\9t%jy;4edy%5~0Z`&LQO0[ǠE3f=3Tk\RM,m hq%pأZ]]]W61Hlҝg4ze+1S錄uXT%HZ*(/ ͯ mZ^?)x8簣UbAg+:ʋTI)ɲn El lDeщ#ջW-9|=,- ~Mm'7)zCWhe(Goڤj/fz $NƠf ?u@nei&4'|.1J1v/Еb-<>eAo;7I}0PLTJ Y)K/@[$7~ qIAmB76?v@i'hDnkB7Fd,Z˖>qơ/t'"Omv'ޅK@eSu,OzuV [+6 IP2a݈+cyH'd4``S %[?aiRk&vYh@oRj92FÞ 9C h@3u@#gB⒔)X2].NZw L!i6qf`D49HkvlLz?ؘ_܀~~0:! 4/*cBG Dʠ7Anga/RBYs@Ɔ;rJ Y gJ(eqRf̐5C/8~1'(:->[HnҾ9)z*9Q┦_!ڶRr<6~pIOO pĢr1`NDƲzzzиS;(!mw nI igj( Ta6y_Y\ՆndPo oVi܎'(lK;M:[R|[0ϭweb P;=kcqfO^ZdgQ?%k7m''IkZ6oKI ^g>Of4.`ƱZ}u댹OZr~blP;Zyf N.N*bmJ KĈ WّS#I^4amN }$ձݧ+WÊt}!5Cv[*Y qy(19eÀNbO@tx;|y' й ^p\ m./w- vm@] UU#jFhP[uZu7AYYaI(c$Ai /ݻЍm1WTۭ63i`Ss?_. 讼GpP̞6"J<36qdDYK͗'0ۍ,CxLN 5vqӺie[^EGbk 7E}`O_D7pe"g wy3?oQUz4 N$q|k3jB64gA_:xA%'?*??([(h ҷcYawõlQSz H!@P3M+Kz(K =]?$='G-˗F  RܺeL.& Zmߋs_*4)dr"H:O~H#+KixWtݻmZA.'×fR@̷][-`5hzNۆjI0 h]uRdW[B:gK,'+qE;%*y:F]ӳ ĸ/DαZ\É 3U^84!2&-3TajB}JD,ZDb`;vۍ Un/e&z) Aj0oM8G9e0;p7PͽP<2tEDSX2:b2U BG8/<1xP:=ZbBvdcȷ=d,6v;hF-.zO򢉇1Qțt?,|&3,Y _d}Mu#[[ -o 73#?ѧ4x 1tҔjA]H^؊?h ϟW s~-IxX3ڗL BPBjƇԯDD߄2)㼓5/v5] ,h{obw>2rf,:\D'q"!ZCl⾪ʼNSX]t)oTK@g A3 |T#2Q؂~a^s>$֗Y(-EjfLQ,6 Ef*pQ5~1TA`,C@Q"n%i`lÊ8 2Tan{J 4̕rM1xi9}bATj өgvh#Xc/[`݆5ZhyAB lG ILxȃݪdsZ "mɪp6=g!\flZ Qg_ݰ8 Y==֫UynSw&jYۆF>fGByS o)$mI-Rw;3m@,|zl&s_T1F%|TyQ);߲5E2Őtj[5Ts{W*T_C63pQ=F/(I!āt CfEw<أ1Nzw:K~h? upFnmN/D Ir7}*V_ogО ^Ý-YsKc;vuNO`IC.VXknk5'.ء&fDSDp_ "L,mN- :j[n+4IEH?9J9Yf*4!$ 63joGoڂhu'ƟS 0Qu3DB>}Ҩ5ʟHt W79߭VH 8Fr'B*_|E9-O)InkjsJoUWU> ²B?Wo# | N|dk4)  kTͬ҅Xc*ݢ}0}Yl.[F #r.ʷ'|#:}m\;ҺoAई/ՀeTDXB|t@B9˰QR(lgYZ\#$MA1]=栉LTa&[5SG[G5B>UJ \M0lUrq 7=,T@R%+poE]09*/{JB'xrVEU# yԬ[x^G#^~}ܦ^ԛi?-@5:J*`'㞳|]3GMxyZq~hS|.u h~fW4Pf`7PRmy4I˲( C@ӓfR_w{'$eAF:M.* `PbAޯ5 M#f᳑39tFJ(c|he{D;Ϝ`(-9wN->L>sj8PYjU4[Y9 ֐$i | 2d\iJ .Wh@0V ;qʂШ{,GT/'jlO#z:0@E5RsGRY>@JI+<fӇi3 ,߹U|d~(7b1qzIҧVf֜QPZzcCrAlrjp 2} ?A Wy-I&$ߏ5p@>kz"TvR%dī<)K& xgŒDsU8On/j*㯠ۈRAp47G{k!fXnrL2B I'@+_C> 'p&*'s̓Z=ϘDQ! _ӎ]E)-<CdUW0Xw6?[y'NֺݴIsU\1x%u@U1 r 'ge Vzč^R`gLU?w[fpQ+ _4 Ja;jCMw rCn͆S !W^p sFzv !Vؠյ/{6(:HѵxFe_,*Iԣ_21|I0ց抋{VTe'9Zwʃ=?t`Yb@ ì5nzqܙl,$x"}Q$IeC]_;U.sd/pSMWM% åYFd m 6 hf2Q^GT\$fM_v䀔WeP!Ц]+bAOXT`uI^b1ֲcqrR0ca=$YHϚ7͆A:q虅,`LT XZ]J!.Z57K__3L0FDJ/n )|2 D2*F'C6oLX/[wsVP c<-N(}^%4xcz]ORǟtLkĝi<i63&ٯY;q~ YwK[ʙܥW4F$8o}yE$z%}^i&ssNƚbE~/aQV,z/yӛ~tzfeޱr\M =k\gFjӡ$du]; >v$9༵&QLU{ ydFCC'?Ħs n ~[F2ݓxK '[Evɚ湘QP$[)ڎ9* 䧐{q0,:9 ; yOrVíQRޯXk/eG@"X'LCU 3uS:lVRʴ۝ad%M'|RKm[;!o;do{Yλ ]p*jю|b +r^9α)^HDϲ.J;]Eh+9^:S {d%fԗy N֦/ݩ{b',V*¨w5S CK0W̜^ R͙ޭ[ 268BLyy,1R$_1x2<*B&ų΀cJ0%yUEBB}ȕ=I z> .S֛|_O5^ՠ6o0M| cDG#y)c*Q^{!/b@/3:Ԥ$aV1leliCbCbXE <ꢰ j!Tc f%iAݔB-¿6^" Cb%v͆~dLFYiAAjOiq3SlS\_E 7UJ&A*Prnq;bpG6L6d/ \p^[Y($3r9~Y`BփyG)\b% O'9H%5K^T~e8*9o]U\O[d]iMp kʼnn'fgsp|sL<itZ{̿QAѡb=jw 6X@8|G:**kP&òoyq[B pMEi}1fFWWık|B0mj]W[g *oeZY0di4=?,Aᛏ>'ӝ\]9:㻦q4sehl _&)`dAs1oB,mo],7G]ЧSְ3p68}#ԁ)=& tvT a<z@!k15sLlZP(5@×̷eH\$Dwipy s6)݈Bݐce;(^!(ί5^5G "⹭wi_EwS Ao4펇U_D>vɼlV_ UIoj: :% )co tA]@$y-^~tG(6U?: +^뇤:cX?bih#ImXqw>3@ ])% ;Y8/J/a\KC9 sOC=nf,NuQyH.e&+byl^xu|A3gv7$JD[ݤ]Ǎ`v=tf:*%>;?ٷ0qyq.Db{V)T9rE-eCiEG~=fDĬ/.y4JTtK V$ɳ'V;x&ܰt*z8͔]9}D͙t JmygR3չ:^ٗOfQ @Rn[M{mgL!̝OIܰN!u޾NK0-BiA__#W,u@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ HYP^=݇B"d0"C8((+ XXYZ-@_֌|qzŠ@꺰l&L+#8 PrKIeѺUI,%(xM^÷\9s2HȔDd=P!=bjemċ f۲' K^yy{(F-|0hQNeJ(&qd}a[ۗޕDmo;-Q{OFyrZBP霰-\󤝷F#`]u`~kh#M 7 z fNA9t4_R BpS ~YTcvMĞ'|vX?-m#kR9,VRk>F3B}<x-nuol`BNIuMTՙ;X1.ZOJ0%8v0TI(^ >vU..ٰ(:c_DdF ҙ@I{ =BeЛaw]C3:+jlD"[ 7`^Yh;X%(4)FN#%{)\6U)LC=SwNDp%A`8+xr0z}>`e8WZaӜJ"$ځh'W,!R_+_i-O5YS뻯nj;N`:ːJwqjl\푞Q9RXa*_ .ỂwW\l?:%cxOHt\HIvyqf;jZi@쒥y-#r L:ȼ~\x@Cza+gckXuTE w@[6Yap%0u@ 1Ajw {t @6t&$T!(iWuGO"#i-.kkljˮ?^J#% 'mw-o)\3lʃ*rc]hWfRetq 0<| z+Im dyߘ+zhxmSZvYdfF}FjY$/=ZۂȈhy1#$@׎NL'B=zVc3ylF"G։fWHמ)^ΦERgz*+Jlz*Uh/- :L( SCi-- OkK&38&I;7]v"Ct#.c)I[Ö́=O 6AU,w=,`S#HQy?4@cv4=8&. k]:*֗ MbFjk+8ra(D ݰ-sJV&oi q6"aȍ1OO ( ɣڄxӖ ;"o~!XyyPAWth,ߵllC= R͜vhCԍ_c2Cs`|–NxʛZ\K3Jj{Is;]kqjD߫W*XxlP|3XLQЌp y};η\tP [(w֦@IH8l:@'R5'ڛT߻2tzőVq >=\<8 Dؽ~-͗A` ]ގF?.l:Bqn2@&iV "x%֓ra]evd@ 5^nqT&|+93:7VN/+ 7AnSVyK3 wT tؙ_I緻 vE I ]ʛ:D{ "EíUCֹףLS't﬛am)&7@`n|[#w2(IuY@1B/?["EgN\S;Do>w`b qQjU"l5$h7>-;@emzX u|.=@&2`CWի}SGN>)^r9BH?`A7şyĖc`$mw5{sy-7ya ][jGz?Vm߯ՇЏ<4]cSOiJp05[ra=e'!ԑ&69Q ki%Jz`"ߤsgL1~.-fj Lf v+em!i-Wy"yR:Mel\`&HĆƶJ-`ƌ դbj֝.OhҍR؂`eDk IDc{Ͷ:X %ioDkv5a]ODQhR%2$†?@}qI= Df:v4(Z3b Q9Ous};l/Km/Łwʻg>w7 なRfJ:FQx u'7Jbۭ }$,6DVп Lσ?!dqjdmI #Nsig۽G/TEIut .Sw@Lܸt~Q/[sb^( ap&P2+R)Q; ܉m |%̹ 9#9HR[T1J:LD_tw=Oٵ= pq^B>/0~R"BV" n+J2 ֪K=9[S@&.dt"^8һPJ._Q "~*7}Wհ~0B8lPb򁳘:aKQ ۘtmeIZ=n9mx--m[bKH$R+*ovŅl/_iS8'Nm%p. 0:FQ=⦎kf$N0,  nQYYރ|f<Ck+䴹NMd Ҷ;uhOvqUaȪ^Gu+˥KL&^jȶ鈚ȡch|NKi1 !!D@x#>,և L&FUhn=?JocpRK!΢PopZ,@ra# !O=&b6q5TtbYg7I |$+҇ m{zXoVo:-'sEzQw P2i?cوi 7J'=pPR !8mJ"`kyIz;{7 VO׀[ApǡC:lO1HE۪ޑ`.~~\1鉗,γ*f)0[,ݾZ,iU,'`@(}V.2_4 BuߋպJ^+Nmxvst~u>׆?f ^fpW^9,1:V{j4dȡ7*dEAf$eo.La^S謎Dӌ{iIuCERrrae/@. s?7 6q.HHL A-c Gh`CБՠaw3{_*2x;u#qyAR gwBg':o9bv7kX-y+;DU@K$kW )+Z3|Q}6i0*zB2=~hC!eq㈅Dt ;q&09 :.+t5 6>zy˗= 5bLlWN z.ɺ=uwBHNzLlsX s65I_+a6πJ? $"Va@)19#_P[/xkճT[-U9H6QaDgOJ*CL:F0v¿ByIdxk=?aY| 4=jQU~1ZA2J ` Vl+MΉGq˽1dpLj- kQ+[ɍ.ɮw?e+.A9`"0O%68r|?:qt ]9OuS/xUh,U+&svU4= 'FORCg)brt%VJn vy,=uM|:ݰP23?wYDӲRW A%1x+wʫL|v7s- B~昪X. Ҥ^єT k{-`pcrƊՍ=qʦ!cM*0K_S[~wui{^:ʓVĀ7v ^փlGs\^vm|B `eXOY7(gx/ot\(oP-*BfeL 1jẄ́PQMg@9aqkݴ%OTߴT?"ʋ&?)n*ګn쿛4R0kA/_h፻Z+J\@DD|+&;H?Vk7J 0v&ʗ]027fP kɁږ K9pZ#,T0E>\_/M7YcLt1+Dep0iF5m"k_?b-_X|-q@d '."4Z:n#Mm\sH$MDuUL r&f,KѵEHApa5TK۰{W/Ex6udIi\:6!^ dޥ'=bT4yd-b9DzbHa Ɣ֢׸"ÖJ}֑`#ILlewcX9q;Sf.1ⷍn%̄&=icΔ8sY]|.ŷgYZ ##R/OE HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex7zXZִF! b:]A-MՋhvG"uIBm5ȩ<7You_&qƺ=n27+Zv>bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBfҶ!5pDr\ʆI DֽV\pr',X⃹ X`[4^? <%PUE1ȃf;_߿ $FøvD5 DtOeHSߑx;SMSJv4x}P"+wY RxF ! )ot8-N+IL*|آkkH@ҡڕ@CE(L$Nn"ff?2ck@Q+PI T ߸*uR)Xf*]7#puش0{O=[j9 jk&&]C+Tvт-qLqCoL/+"ARvv7q`Zmp7+JCz@)y \/Ev 8Gs{Wi2 b/mפbG7$OF0Hb>m`}l/S59aclr; $]4*?ثb:y93-4S} @%_@< 5̲̖Ɉl@($jN [r<r,<0GS*shMͩ竒yX83MzSǵaնY3uƕJsj{3kΛd#]M)\{?ʦLhSŀaϱn[W{fbd]@49ӊf0dɊ6oA\]57o>q['}pVi{a TxT#NGoxHfh0#mן71eݜq!赒%YtgS^2v]`m$&^?kc"k_˃$RY F?+%Q9g0MW8ѐNZ 5eNtNSwLG.H+rakiؓ[7]߱Z⧪b,r9%3Wɷ_p u(ks߱$lŵSq!&e!eɼ㪢hĦ5a~VxGCeu0wc9ͿWf>lS2xڃj a~WR[?uBjI_J4FLcE _yf.:&AW9 ba`Cp87'kp1,VqlRoKk~kp$\joXGU{[fzscV8 h52֍->>R.|-#Q+Z2E;3ճa4X} y$vٯj_o \$\w_UUě}1Y H`a@-c֎ sDp?3Nx8AӬ\,z: pMRӂ^t< -i;&v'켨䡔s0*В ڷև"6Դ;V,Zл2@cdf~C3~o*hl[:F8n23Y.`cq+:⳶1}I1xt녈i|/b]LZ; +;$ ;Wإ>qK<+{'NXT2^}b +4XSFWDM>B`*AE(iI'e)wQvA6*Ls~%Ʃ"x*r1_!8F Vt@|~6wj~|OY#y<SU AӔΨ;w8o.5瓠߾#$qm%^V޶}ƞO߶@QgD~5UNp9zsJAɑ (L]hsb^+%QSBF;!s :uD}Fd3O]>$p%oIP =be=`E.ynnkW )sC$)l <4S # 3Ev ,q1z'' lяX)K4`3/QParHПJ5O>2;|ASį\54Blx+n*F;1fXVץ=7 ,moV@R~[C(Dӏ228sLn9= +ۦ<e=Er%vD`0 mfar Mh0sp% TUf*C]IPqZLNEGsj[̶1c;ڕH 199I7}bY (MmJ}d8>GjGҮ9+qZurh*bkMc:p)~"'k ᛗ&cϵp_5{iuc[Ȟ>5Wݭ0=sbvv𴾆HW:%Y6@=눩/X#h>|,lɖnfև;aۤѢW![$o[g훗P>&1Z9zT}'r *$.[E,px{9 2OU De}\!'K)+r!stWv85Nw >˂5NP-vXkKAd?u_v7M9 X*3ʋJ',W;c!p.~eu xNdXSR-wBݧ;rʤLLAȽb0!Gʙad+-]}L7]#rbrqv )Cט F6>lA  ^(=e5!v_,^zD52H:˿s)7׹_|5P^hU:х8.BɖFgCd7Dz{iYQG -;hXȍ}BOym?ƥ\Z%ҮoA¾Ԟο+^ޝVzAmW>T[ (:mtDY [  ZێqwS/ 8@Ldc۳!GLpp_d^khi)S("DB6:;w|nZK? 4 =GhXHrD+1?;6lbm] jMEܟ 5T2/Hds\F1&W::TMZ]2Ӥ=° C5q6F'C;O&64тhFpT<-޿72)~FFMw.ruka;yL̨l0WTe KvF*LUV$'s.\mG~PŊi0#rcd^eӣ97Ӊdcv|qprS_O*BHGIMtaq0QGGlVVo?M`V;m 7FjR+dQF& "P,a`pL4;Vg92ZzfHSJ͝,MI9; dbu4UlD3JXdbT:Y=e|M`7l X+y,[La:/ď(rHV ~'+E&e@kY{1MW_`R>[8% +x+3<9 %ę|36v EBD D{tߞ5PZ;~Qc?INa{IsYO (񖁑SL6Ϧq4puEV (< iR^ A fIc`i_pW-XM'(mW8\,䧸GQ'H;;wubhK1|Y`dпkrܣi>EsFxH.qg v~"%ۂG(Uж J䝧k`S?i῔Lkx+v]XQ Ͱ_x9fa\Q pLƭE@D|s0R%C+ƀ,0A{ryH&Z}!mw}Jp2'pP)ڀ^;U;ϋRYmTA5#BU: ql˰h\7/)єj ц.WjneKv)E47x&4SV0mP-4rxj-t[E4P!-yRtᨉ\|MDCpqF>t/!Kp\0NZ1> k"R-]oWaXW<Eǁ8JK\4l{$WLnڴ1} gYZ . /C9 THOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex7zXZִF! U']A-MՋhvG"uIBm5grkܥ88ٹFqR?̘s7<ח-z0Msёf [cS #z-{ĥgpNhWw1OQP$WTx-![2s0'U$d6^Ol,Nv}<6t+[\n,o^i.0/f1Wls%k' sN ,N2:Cw~߀Ɣl&zYnd׻]|k"pLH1w~*sb ^=0ސu*.'¿_3uldUŢCU*KL`HCT:X:{XH ,Gqq\uwQ?4ͽRmb;y9Fs;gaİY)Z@~pG7lRc2;,h\HYm=wr=vxz|2| @v' QYVybb'H_ 'X/7ڬmt, XîgU|hHr}a|v0ǫW2'lLɯ͈UdeTm.!mK%V.buA{O9*s U4OY"&ͤ4St 'u\?e"u\ &QB:h6aإpKwO׃Mtn@Q,11/!l锞.fO>b >TO .% \3) {ך1{=lGb!!VV4:+E2y1ӥҞiMAaR;ɮyPam~e""(8U'#.2!=1Q20մe˲(NI0Ҥ6uknn ECJCsT^$86/=0:+L'-V]VX,;S8;iyO'~zbǜ_>_o+=B\'yi-;شHvMDt.FL #9p9+;ÖL~ю. Lq5Qu\v$.r5׫!mUMO5.@),:~X"X6Ū_LA؜Wًz@mK~US\[R)I%-s@A*"L%YKm_; iZ@qSL:%jVNyu:F~|RB)igځw C4W#76ajx[F%T^rh Tz#͂M?{q;Dg $'R9B{w $otxRlv9MOJ2ZB&)JD1YRu]>_B`LVy>n9|̣Z@|VgN않V1Bnq.y%ɰܤc-bA4af#u[*9жt( ČRNÛ4-Y RB nLjfMn‡2zO&b 4,eLhrm4uìH`.YgYZ ==@ /=3 HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex7zXZִF! RC;]A-MՋhvG"uIBm5D"~^2{Gӟ!Չ:HH)3*fRB\[ ْ;~܈`ndA8fta5$G NGUz\(uV cK@LrXRtU -#bgZ8=0O5eR$ We:\|!E[{ ],zBZt>-R*{xUP0EK`b2Fzg/6L-+I"M+tEuB̺&m? ʛ63V{h(E=m)ݿK0 u;x>xu@]D\a`5*` ůzkabTq$?#4(:C햴' BzRRE!sO`.~KtOr׃5]iiJm]pbW@jQr}0t<]gv_3[Cl9jIEl:-[k^J2 ͅ&eB~1Z@.p{oJiSqp`;Dv"E)\q2SI\`w cKj?B5p6dFIFP}JԬvP'7Ǔ{g:.UQe\SU}?5 ƅd*yTTui(B o<oN!'MZ@QI+hx,vP=OPlduXc%1 x.x 9wb#G YPBC~ײ-fZ _Ō#vz~7V9#R $d[g8&*E@?(<`:[5@͍|L,]65Y~WiK[nϮ>hӵssP\xb\4 ?ȷ_:*m'&YG/5)K/W-"Oo^o`6WJX `AWB$'8Ĥd˒gYZ ]] /E; 4HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex7zXZִF! ^]A-MՋhvG"uIBm5ĸJ>Y~bZ{dV[N;č=nrn%w꿮.7UԡPWpr'CFOѱE!mУV?u\Roj[L A~З>Qxe{(b*M4^#Koţ܋+uA%JIȷ''B0~UQK$ #=''zb`?lrKZ1{maCb,9#ٿ̠fn# XWL[ w96fȚq nR,yDž@e¨D5Ee6 ƙ6-J2ky;wv +H?< 4C |je[Kc^#elf;3i9{Ɩ"ɠvs?pqd^Iښ{N!VxJi~3L>v}nD?J\`LY`;ub<|8n_b.{zal'ur7"Qk3L3PB."ƛO0èt|>DH;* ǡqJq@>;\XJ45`#J"qZ:ѿEeHq/Ru%۳4IMG$7Y3p%Ln\6sGEO(o-ȆS[bK|?gR "|DŽs3[$ J3T$^Ra֩9cH/}7O-#&5BfrQveãXI(P~ BeԊPF3y p;UG" ң"!jȌ\]ȮʟV= gF 6N h ح Ͽ d*^`zE{=꺼ڞ賫d^#2Y, z#هЧMDli,<+>.Bdy1?ȋoc yç.XEqݪۛ Q[p"z~;._VzQW<*o=?X9ڟ-P%#Уؓi\ < Od]R,I <,y\]pVY!Sn^dQ*Dag/rNPrl^B~=%W:|x^ZAu][~~mWoޏ_W^oh89i)0Ć sOOxh'xfLh~d܇_iy.K=1S͏ՖNQ؈>Kyj F{-9#U[ ?Ԝ9I _x^^+D-H7WU q}V`mn@$̗1GK|҉T)$КuB;|HJ,p+t(E[?O$!cVC ?%B(vIN;( W$`R5 !8F'S;D M: ;$1Uwgzs Z@s?Jdw@< z,0{52=AgHf̍"s œWV!|~U6q `]A2;!}}Od= GQ&hق+-u!:ڙ"G`}:zkRs֒!) ⯑DVoa6H/eZ;9;B)+|ǽՋQxMh d\M7V}쭠L!)gn ?P3\,ٶlO GP֕!g莾%eAv UE+W.0KRM9u33v`hu !$Uf[O嫺?e Tγ&6!s|ONS/1-nΖt%9 xgNQ-}B %*bw:y5Sٳ5]Te|i[ZVpFJӬ!/-Y*36~כ56=3 m/VHu#k, ExjS# Ƚ)7N4^w˥e^xlT_Қ̟kVP7οZ$F}L붔sʹ6٤4kSK]TDrU Ƞ@<>x^e6Uɭ.'җ~X܏*W0Y^Ŋ$"@TGwKGRLUL nu w9r%L\ZU}azH2geb@HIoі :'gYh:i֍ݜWdļ:ly%$t)C6.\\fz",A_|%Z^-Ɏ@kaMPy?ؿ%D؍ۅes ߩB2I/ѹSbRX/Lv8H `ZTq0x'[1] KYl%ܺ*")P:E=&e @|h'[f]6}i Ou -5v:g=s =9۔}r!)#qW'ł ĠɁ|yѱ/~1L3Gb-QҦ|c)x@. vjjӠTwʈ봻?e4! v=#|e-S]y榾l` ۗksu s$%׷֯Le , dHeS$c}usI}M>> >@9m8H`鸦Bt܃P|W /6Qbx11PZыG&b^^n-3Wf 2}ON„fNȇU(ۥ&MoԃxYoK(zo4`$OdwT7t-ώлóaͶA`a6ԒWw̤Hd xZ_:)%0oL;Mo'{0L %Dt-"}6ZXI*aHΔ>F@o JE:7i3&vuO>_Զ2t{[ n`vhyUgz]gYZ57*6Sf^{G f9ÎWjhÖ9-+/$'爘Mґ0F TVLM9리 <[!NdpVj6_ /B:Zx˓pwrٲ٠\b Okmǣ)a`Bfu/jyZGHdiSqiI^f*;z'3.vAbMQ@="QX? [;{0>Ы?{dTyAX הhjCUj8pO(P$`ހ[B61"rqSIn!(Fyy2B^ʸ}7/ CUZ1GM?q:YUl7 edeD\/+J I!LY,SBHລÑnd'"ٷie-JIgt%wMӘ?:pWKo;4"OL `, P+{THP|Z~t |l۫A̓#]E|C 0\ >ivzZ j#Xé(X.VUO^Y?RPR 6p=MN]B {H4oY:P-?Z_ìI׿&\MSͅnۚU;&@v.Qaa/Dp-C*+ ]O_< "…`wuGLxU߾k"~25j=U]PqۛPa D] ?Q 1}JfڱwC{@ SQ)U`sbangS腮NLoз#D5Ys"!(ArsRZ!NB׶[Gf! +FE\*8T^&ôcjt{X\0y7N<)N|-~}i XSWPwNju [x1|K~} \I1w-[R)@݆+ro/53𭟌P%)jG̎6oPXNi0e1niQTᢖ tt;{O/츀l8f [wbwҕ۩Sbt64'Y`r;w<-t\R ܌89*]W4s1+)"j)<ȴp<鱨 UJtshĵ۝PtqP3@>TZǻMEk8i/`o1M,?9K_=|/?c!䚰YG|a9**S1 !I-gȚ87JRΎI΂v)ś}djHAxiR2~X7rIe]&J4gt$1ŜNT8ar,Mݍhgp}J,_iә\k>9)Qޣ]JZ,S Ev̐A wi% f+m!+NJRW,f,J!]R+΂K]/gd 2A%>z7)D6&%1diR%J$z[xt%F5x'~o (7] W)^Vy\#qP6o`>a?76aA]h*ډy}ҌuCU|&S5y_мld\9xHDhx/jd9=biCw#rE-6ALQ$˵e2kosGRL8[6ؑ<@,%(V{e{Z%E?$Cv8Ym|<'::)$5-#+κN|K>gPBC(PlR$Qr)Zg%K9H:\ "x2z),ybx \ϱUԾDO39V-ž1X2DaNkZ _~^|F~wV i=!w!y gPi~ k[$ׄvǹA'9jgњL*a {GGjw=_!hyޚcw]|#FC7E˭0>Ĩ5#OՆ;:$R4%Gˆ"f^.^e'#_J͓P{^qxAY] 8nɖ/dB ^9{ew[>eJJUSsR7xFkDOL\cuZ2V@PKWPz=>9TzIniN~winFQAXPLZZ>ĠH%uv1KϜtnNH|vUy"'WwRūn+2FL,QW Q,F`!7 x$D0uV߂K2!v}['S|.xǑ ~Vg%]Bδ CD'7cO넲؈tV`QiO,i]^j jvԢccy_EY;󿕨)f#qC3bR.,uHyeMxKMjL>2SQMGf-Wng̟L@;e7f NTOamܪGMDtwB G_AWv &;x7Ed'HaJiX]m0rEh౵9Ө /̈́U$s޹Rn%QCď9F6+ }MtoOn ștTD&Xm>%د&ʹźCYED F!~3MV>_?ՅR/+!6{V_ 8gƩ#UzyNmADe 137?36"FjG%# yYKڄh-<ϸ;! @HN.O65yA3]t3"wmL?%^ YZGhjt@[l>un߅`-z+iqK+KR3@ »? StspazDS_`'d ۷h,ԟ;ϕ}5"G^SmYC|l3FUPħzb#?V., yMMù"\}"(&y!lfys1%^XYAJq]wb񒮧`::g5԰0:ozeQu"f2(1AUMm׍xowO6qV t:؛\YO]w$t% kkMl/GZDkhp ]R {.Kڂ^<"usã\-& %hܱIk N>z[]VG(^/i9X綴"};D/FbM"9=RO[< -kM';n_VMB !}h. H`ӍDM)a /Xʊ,bÁ'F[[hӈ7LT'% ;sk6P4cU;`QOL;,ID԰ZQuxw""~RĖ/+۹XXg'Z라h<p!% UM]]dNd#wލ8KI9քx;6t̩k7@vK3˿J5:'S.ع(ksSwJ]g ,$JzBSUrYJo'88V\'f*C&)SÕm ;Yb1,oPcơBO{󾒩+Ia={%(S;$pŅa:퉢q1LYxDp8j_i{^4tnJ`1O?1hXRҷEPN8dt cX?O^YӏH>#tH aGN@ߞ%|<"ً*P9@+~=eg sd YzBӼI , b85+Vsiq%w_ }Ó~xXIHz A9Z 5uJN Ƶ!p]5Ky)%[B@N.h,!Ett=RN8O΢}ȶɄ0itRvw'R7=1im+:JSanm8&ѿ51)j4JVz#d@hU,̖3ø!:JWRXt2su/|yȉ뜋}2s^ W!xiΙWw,WP2"K ê;a+{mNh>OՏ(D-<ኒfc7 Ԋ'PB&t/KlX)E菳qPDd+&B\pJh YJ1;(|Z~)W6%ZBiqry#Z {=-Iw%.G`b^c7lIu$y/K!~4n#cK)jDXf8v#ڟHܜXu\g? E{7qKޏh֚*UK)7nT-X@CT2 :tw@r ]Ip9ɚJbӛ.xnI?%j:FX'[&٦p-!̬c,u|V T. KW;99?25߻Vh(YNtFo>P~7k0iC|Y[v jآA?l2yT{\ʗ[s3YUдǪ g {sH:M(z;:oVܒ"FNz>'3 &r$¹9.ELk)M:Ⱦʏ$FӭI>NL4Bl^0Uպ' "׫g;*.hk媓ykF,X$t닪.+jX[N_kS<ƈ+zS:O+(F\{-L0>{Om˸KwfƆ"¥0?}Ҏl1V<4t+kc}=~ήu j-W͉gevjL"%8E"3b@VˠKK?1BTQb85XXHm$eKRvojοf t K}5heC-0*%«*$[|gھ(Ϙ N4]N*m2hfn&2ИJNyވr'\zVd/ (sk y =ZtFXzp( 5[;Ķ~V+ZidL$ŚA;]^wfw6 b)ɉ:ep3XBBxu$-IVUje8ux8LW\vCYLv$uJGq8"c=Nh+r*_jA=֦0D/]c_鵁A oz<|gљY0[C$7-9}+gl5کLh. _\$ZW'|k%mj8.]vͿLϾ缓r2g /&6ͫ06Y6KPSI^Ɣ?e 7WԒ3Q)7BT?nwXbN>w{-"]a8,a<3 aT7R P3xE0z0]oAOHx=|ʛzQv8J~U$Q Ze68f:!uٟ=sm]`O3u.P-4ILkK>9n;<56{@H@-yd-i-~E]9l aڀH<(wEhN }\ B\W kԥY:x͛qRҽQ${pyw# 4ĒQIK/ϫ 5>\j ŝx겳x0M4LPA֦fLߚx2fuY3=O#<;U~҈ OipYn6 cm9]GFdޓMϨY9yT 8 IL}~ܲˤ46iI"GJ=1oul|՞k$Ȕk!-AOo1L?~A@8ImLF;(lX#teQ gYZ P_Pg/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/files~~/src/HOL/Proofs/Lambda/InductTermi.thyH/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id216~/=' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages7zXZִF! ]D?7 {?:fH\Hey?nOo$޻Y_<4 r!Y ݫ'3jɌ"#B$ShՊ>37ؐX%VD wj :($"-8H&}CA=Z*khsLA\d #FE1cWiBFN1T|t=XE-haƿ5jG^ɼԌ-aJ "=@{e `6"QSlr͹zծMӌ3`Q8e *My³I/rE ^gvWh| N`,T 4npVhC#a2rGN`hvn  $}Ht,d/궱7V ٦:6`R,jt`i=k a-.P"O, V< -xg)I/PX<GHs5Jy@J_/i, E-n0\ߠYWXх6_*渎>t!wG(-Ul1'01[A9yw1][@fw@؏-P+Dy7 u[iVŘ$B;WLdHc{(-:JL$k" 3觓,V؁)|NbN|5l܇GQ= E[ :˃$,g@"DSIP{N;Pr r@-f-G>%~2i?nGn'/|K܂isY<2>  rp?_N !6h|1ޱKX]/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files~~/src/HOL/Proofs/Lambda/Lambda.thyC/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id202M /A7 HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex7zXZִF! S(]A-MՋhvG"uIBm5r{5"#ej0pUxacH^lС L_|lL^!ÃuM@d cuLq)͡袟Nҵ?0NOWMB3*oIOA [䬖^ڦ5F^t k)chS_F("w5cj`DuT.Y\-_ul|ʲ…=_1Ьqo4]Om(6KS31HkJ|#Ūw@ttNSu38cg1_'vNxe?a{9s*>Z(Ix#,qs`TF8ݜ񫄇Z7-@~ e6vc} k?+MC|EԚh}r܊ӆAnGIۻ+uGZ@!?O=|f1r9m[M7=,T/:itj0v<< _Ag~g8>3<_kY $JmmΎ927\R99׶XE㯖Y6 3r|T;uOAai:mvAE[CɹDc !b!"nlKA&ir(`Ao Ywn` 3wN<8Y0X0aP6;xGG!15}i)LRP(ʐɡyYdԯ$X[O6/ gT,E8~M#ܟ9͐me8DJ/4>g $aEJ|}x w'nAS` 4j%3vBI@67q*LbpZI~ts}0嬀nj`+?Ԙy< *FY3o[_h9x1bc'=ݑ^2Ѥ.LhFmy邝 i8rmS6CG* ߇k̀<֠%ːs i^b8D 6.(KqhMdMyAl"Oa1{bXK|"["]T3 lk:ɮyv9ȏ6 icMa|wY(w1ei\p?[Kee/[n6J,tKCzuk)DEc\>agϳfM] 1XtI7|ʿbD:}d_xMx:(1l1]B97-IAS+w }2UkZ%{^Ktz9;gw$Z=6;݋o9z:H^i)* #5)6`^ȿ&+]S ]8|Nl uu)wjs:N>y> {U@(r/~ "V@&0U j> z;* W&:x\1W=fȜ*nX+ KzZ7u}[6 /2ERaƱ|Pw%ˮ] \;xpes!:+kxppޙE3|9 xx-E>njRtX+65`y4\gdVRN&_ e~eS]Æb |Y(!`Lg\7X֪[#>SssNX28ɧEĞ̑be;e@m(@$kD}L呯p+9B\_aʠ톎NlDZL  4QUCp'^ .d&&b79aOEc{4#՛R].]BΕZxiU-Jl]91 * I`B΁R6$~1KTmuע}vɮR5?Kfڒ%$ȩ'0&Zr87X%;"HP+UAؖ}2h;wdP˦$Fjp: {P--dv?W@|z^\YM? !oƣ9ңlM۬xtַ+NоEKn%낃/2:ulS$E^_2l[!RVZI-TLK$̐]2g)Ji}Iy WUfaQ`(kN$ dnbGP4} k5| 83RCN_`X.%ϟAZk yZJtmz ?ߜ;n\PHjf?yɶ|xj[J㣀pغl3pW,~p bM `uR2ڃh/?o׆z(6z6u$¾d"7oY4﫞h7sʸ{Vټ'6u*CGmÖ0_MF'G-ֶNyOhFNtӓaX;j@՟T.`4wJd*"E 1kVCD"}:n~TdEeP@&.%kJVӸHE2K^xH!4!JoWƴ+R%ت[{ X,f _Ht\DqɂT8;!6 >dt.yH"QlS(aӄmOH&k`qGpy7xtH58)C U>WML2Rnu<";m? (!\;Q#{'y˚&SAbq(  Fzn`O8S7G.BoE)g6ٲJ)w;ےYBohU#&eo)}>MeC"YUɣbdI ~/dcgJ&7ŃƐ!PI"ws|QЦ01 EB3br7B٨_d$J+Β#Oa-־`TV|s,z5hMnP€ ek /=l]Njg%f=ēNKe\)P DR `]<RJ O>)':"~_H& ͒4dF$(զ|~l%Z"u׎[d,'xxQ<|3 ªDCօ\vɶRmFZ)N;Y7~Js]m4\Kzvxgzw(jA߶vx)|n3x|^;kc^@^!LqUi/D̀ah,"®~6{ {L-PQr(.œR]}sqR؟^M\]#S׍,aEӝ*c/;uG|)Aɼ^AsOe$!B[ݗn;kGӳF2|Ǚ$дa1%NDHWV>XNAxeV<|\>7rgw5 j) ^>1"0u!D݈ S7^sk_$f#̨ó*‡ys+6̗ 3L;si jJW CxBNaH -!tNOe˻x(u݂WUqVFoqf <AW׊TU;;@E>ܤא Rqɕ\j5n) 1eSfYXӭkF׎д~~NKJbDS 1L3>h07Եa RoClBVZZYQ\]).2ڤdF!P=Gԭkcykcwl 5QSZo\kJoȆlxP SM竍7ũX!STh00i7)<qR܈W{OF |$m|5)|pԘ˨K7 ;Nǖt1Ԧ Zgn2OI$NJwZ.6L3\Hඵ|#2 lb6.HT穭.3xf,':NtеHilxs\%f96±0)j P: ßĮO~Um//qñ\pLkXγN*X ^ h !$1xtہ iXG˳?[|Cumcj/|5zئ&%!Ki6EW*T=^q0~?UB2QY EճߜȞ_WLܼ#C&zZll(TX=rhX6}DUr"o;5Gq_?#&z4xړOJ1Iݭ_ >HNʕolv.QrY3|O?fG35kxffC[@ 鸬 zk]=y_WVUwG7KPϰjԙh25ꭂV-.A3@q5P蛤!eT8-AfF {|3c XKH(cZHn)UD*Mq,ئL.C+I cFE=5?Pw5O 0M.UayO+}1iTM =R/މ> 9@-=ry?e KX}ۥV A~D?Vx8fN9t%Kn;Lƻgej(L|ދQ;$?՝(`ItCj9͸n(kW'1~"N[R<֟~ɭZ5?U I 3Dw}؛DNjC]_}Pp@(T Bg\fP7$XWCjky}Z $ ;Ff((aU aE%4 oG+ '7`Iщ9<Z',lX<` T/9pIxO97o@<ŞPf)yո7tx^G $R-*񦒄7Njvi)ǎcYP!ܙ$ ̈T+ZAP_g޲tVDM`"´݄éݙ{7AfE̓KjJ_4DzZU܋S[l =bCo LIk26砥O.o8`E0Kv('߂Y9|F nL1@ O…,H:DQT'W~/}I]&ju9r_xi` j^D!zUtsyߕsLW.)$_;|DfNC2^+G@6$~no|A ef s#Է,Y{!9̧w8 niϋxQiɁLLc^62k cPN! }/pI^+#'/m5s]x`MvZZ_ِ[-{^9gJxW<@{cg_O:6S9Un{`hx8LdۍnG&#k6kT=3OH2ZMȶ^8_BU@z}4WToza̗W,~P\+S<|N yKQN/AΜ0NTK$rW&S%Hkt}vkœgg>_&]Dzh Lj#I!7!k@r>T<+7f|"Oyl#Ɓ1 uL: -stZ-,d2>%0z=tݎo)?t).ϑ(K*1 W˯:tԨnࢉ×Xt+@z$jvϧU4]ft9oL U04N~0ewk #H'*ܠOЪS:09xJ>ZRUZyNhm.l~p\(77׈a"N^<ӱZlLH+XWÂt"M(DN,J?U2] sI 5UD<- TD8 ߟ9_5mCMDS{O&c7i80)dU)ěqVosh,#n`tޠ)W<{7J-hWGm5F3T$ٶx-hoP 7܋,uoӟn] ɖ:_a_bKg|lb&K OZRo#+. tXSaŲ-!\>:e`B'8e Unݖ?Wgԭfe!7e5n>vpdX)Jl {JbRcZ$ˇ Q)p(xЉю'.fXƙ={8m+L8#} *p!?nJ\gz#)8]G-սt@8ݮeeçAcM&9 ơm¡d-2R(,Q(bzj#O[㮗>^}%C-ӠI ιU~udZɎH֕#Kp1Yg hqeau#G2?ۖxMsJ9 X'xr4,rgRd95Mj0ZI<ǕȊTǸ/ _ .T&t2x|/?kb,CIrtF!Ý za*~tZ`,=.ׂa? Htnx7灙o렧 a:54VV7?_72-5'nh { ɟ_VX@xb؋^<@Q!ǔA 5]nC EPYS& tL04g}?ih_G;bp2/ʪ krhh yVm.&klTFh2] zLVӅ:(}R7g O]4oRHjWl.JȤTĉퟍ {| r}Ķ ?s5q:8絞" q7e^/m!KU'[ܼU/Re=+K%P^lD6YfIl\zOae xzt駶F+z|DbEϝvA/8Ө˚5b`ȼ{ǔ=v7kzf'lUQ 4ja81Ǹ }2Y̪b {Db#Z7Oz%Nf|:5.s!y$͢+?cu2_ﻱbD Lգ7xe< *eg2ڿ>5\Gst/[h'@,h[RY[F"Yt`kK&saڈI2" 2|y,iKEֹٌCV5*ڳ.: 4#()eTnCgYZ(wM @r\bnfԹ O'Z)g41¥Seѯ`CUutHD̢ᥛ+#{ c..d$sg8lRL,گr,OC n߀ >1r!9-0Y;*&i&oX4ALcu4[dP|F7PWK=hfZR+|E6oݳj8Hw$.z:K#K19kOQc\Ye>i T;%_03HgJ ۋZ1C[ævCW/{.LmZE<եR/'\W3tC2r@R>~dW %`0l)ΡæQ wT `ܛ 7/q"+7ٛ+@ / İkј Z _umC;صnEdhB )'4άW;<;GSJݸs&ޖ" A}E1x=JH =NJ(j2 Z><}>Y"!Vvba;|Bh+4ǍnhG["rjqDyz])\)lhR)l׺]5@c{ ADpʺ!B\ex@8{2d1QZ;0n8yU_C6G1TȂca2 nG$vA0)BRBUrg-1?8:\I_YP,Fy,6)<=&T=ٻH#je{.+yM/؋$*lunr)̒[?~OjеWUJ%q]_-MP|s)f:ɢ['Oǝkͧ6;`թdZ]oa:딺ߩq[^rcd`SCPט^XUy…r\(Y۪Ęϸ(Xi 1M9l*ϩUB퟼RRsiE8=9"䯝 %[a(h89#O[jmgor r Is~7KcEꍌHvI m?+X&??$gt=i{S qIܳAWնX=Pe[nx" hAF.uL'FC38}d㞄6l~{LCTM æCv(90E֤:E_#ʿ툼]~~:ifOzz<'Y* {4gfFl1V1AkݙyY=z('B[ ׃V2p 73DRIJnh$M@E/UTʫ2/+?Ma#0]g[F Cu0? t0-M~xq[3Ht'󒨕p*YTJ*F/2DBknD.gw_>(?"LghKsHYx<#M gpdbUqFtjgBA3uve9 Jp ۤn_5VwV&x'x 7,}0SAr# &if97v0}k*1p$5昼ߌd.[҅ef.Х^l$eP[H@RoY%Z#U% [PLEIR®g)R[΋ &{gTlH,\WF(7̍[ <dtvD."ZaCHu̫_*!YW~P| #hxDj;$!q"\P$g Ks]VW*@":;D*݈M;dV p)`"[ %/ }7hX>|y+RC{xoOaF ,Ρv&|*?>By6пa7`Cm= T !l?|_jVPP-IVVv'/a T0m6p 0fzj'?"kGP>%twM"i^%դ8Z=CXED LfE_酝  ̺!A5_g0)IXQw<R_,ik]'-rli{~VTv}Al># Ky @qyhd=".\Ȅ%rҬg/Pj_C}J1ct\[?~oE<?1ZFjO070dP˹G$Yw߶XVKu7Fd+at2Oj Ϥ14" H6ģ҂>jPF=oDa[E"8q˙Rκ"_U BPOOOoIuXaez9ft|E|U:MVE0Iġ'TrfL̀Ƚ{ћLW;]|3+{.TSVc8T}8^4#Q[ %5z 6ct|A>]KLYkp2gYZ {:{o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files~~/src/HOL/Proofs/Lambda/ListApplication.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id206?/G' HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7zXZִF! (s;]·Iq n[:|&[z'^U+ˉ u^;ZjW]1Z"AM9cltAGi rJ(snllI]m`w΅Em[wj_*c80s}7wip5Uf~a8?ȹ:eoZTQ츊=m.9u%i='Pe7-v.h,H&ʈ3 Yȍ":’Y 4(GJC_`oˀh!mP:Jן;~^& ".f[rOAѤH6$jY i-鿰]2pyjG׬{KŤbn P!xT)iQ~_ƘRZUⵁƻ-ҳ}4ل?9 iPJ 4$P19KPN[DX| 2+;Q/wQnθ jTT[F.\%R9 pQjtU@G7ZRG5z9p1ΰ(߀ZD=~.ӓAr[_h EWN2<{\`pi84 Bw5ڣ8svT}$nkuC/kGyO͛! mWfh("&zꨒ?kY5Ød:%wkczTRX߂b'S'fZ:%I Dz6 H:#'}k:wˌ3Ykޥ|@ X9Uw98}_4 kzy3Vj D(e3NSo$X|SYWR?oJҕW#5?^:}Q_^z6I*,w vB#<;ء|MJ._Pg[ҦD|LTĆ`'Lnfr=)5ip f0'J @ 6D"PŶ\6z"Hp*U$Yqg)j2PgYZy/G# |HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup7zXZִF! <u]ˠ)jk2p O6LP=͵gl5f&Di5b^8thvgA6ȺUZ6` фӹ,-}d5>iˇOm/S>jTg f^ /jd('WKq|D*Xܰ+*r[8n $e [ poyo{6E[51 ?&k<LWZ[N!ݝJ^PfPهېH.1q(4$*%!md\udS-c6{g?|o, 5h|EZ&gÈ0k \,lX@V=6JUtQ: z|tql}(9KQX hE(i&ȼ*Ch):FthjJ48f]@Hz~t +zf/24߁UX3j2!@PNY=Γw)*k)'x}>LSw 9cN.lFf>'wi:چz-mB!j9w"M Q2lBb)*s|&87I =*c=]GṮQCm?.=TߒKV^5%ъp. Y-F@xSazBȶ'kH~&zyƞ\"'qFt} 10 :%f- 1k=bVFȥb^i@/JxaSwM/EtluR”= z58.@)$ǫS_ߕƤ?4)tvj\+~2v:<@W4 eA"ymXY􋆚'r|gɽq vRD2avzTŠ [>Qw$;qpp{,Rtf,~$:k.L(-`GAE>%L 0J&1t.ažqN(#KR rKry$9!ַH6ߵn%$kqBo{C3EU>ic,tA|i p9,_Ġ!kr;xu. etaS@9'Lu&@i?C $H+^< YO~rݒ~6?I'v}Y9TIW{qY˘p;IsҐ@ --$e{.zWOkms_m*aHo2ja&??1OQ_qDж5wn*"b|O{X6^X0^଱}犈pRr_/jbPQV|yRLeFF 2oO>P QPlS*R87o"= |Y& Kyg6[ǣ]Q5b#-p}+ P :`^>z%tW4;$7n.X TXҩ~.7me㼥T F[Gm8fGE*2G;ٰ-BA\4[!ic%_hfMqOv>^Hmi9N̑<- DJ*(q^y2ږzf om}!WE-Չ[nj: DxOI8TkB'9mE00n3Ze*Dp ΆYQG!Õ^.:'eh a}|7 ^ۤwtUkNyR8Ri4i^}oouwIM:7)>W֓4T@iC4hKbH I?Y1Q`bj@Fr-BA] d@Or9d7v՗TqU0ۃWԹ":E",ŭʇk"h͛>iTZBU:LNy |L CS9Mr/&$+VKRԹJMbոL4'5|'^5l4c ץwC> Ϗ͑^m a7mnjÄf%{.56Κ,45dJY~8!|eV脥QG d R<^P:Be (sYEA芷NkY<6VB::Dа6u,ƆbD?ʱWK^Kmky+AkѶ[SXb3Gd`Ho^Xwh2L3*s=KR$$w-}[,ڷv+>_+g T\t]"Yfo bZ'_f.7'!r=!jב{qz: ysڡng۲ˈfJO8<"MyFy;jU{BaKWE .X(10NxvFwUaKXRkDǖ"A0I]M+*FJYc,&sIzlF(URUcx]Dozh}L'!vp`{aʢ}RD8 X75e<ˎ⩇A󽅩.Y._/ /8X-Nj뙣 a\?!mPL‹Q0E=s$Y/8u=@ jՏS{,pʟ|7LKd0?,\[%uvEԘ8oư -#FzCa.{b<:y!TS‹fUJS(=@rb1VG ~y- NE5xrɣY򄳠38Z5,|{^f~[aEez\birCe텸gק0O.ԉP{Ϊ hZ1H$D Nb5/fUplZdd#4t#0}$As݀>=aYPb]W1"좦Kk :T\ںk&JQG^sU#=fLxixK[{^f"g6kٜ徇bbubRn6f@ knKdk&>ﺼ3(sN'<Ux:8*!G@8#UnT?k{C$_]ݍ+mh뻀&iH#'ri.ylxպgILRdc^E9L^-0k6@sZgJA3eJ ÃchfCffkXG7`,W, h;ybzh᳿P8^)8&BH wfee,w0GW[Iu}BVuAn7JE?_:Ƌb$SSƎi?J"q6I]\LVׅ64e{jC]PQʇHp8@7t%(U#<)['jW)HTx(x@S:Le-\g*S9@. TV0*_^zI(*aLH'8]Y,-ZmVT t,+Ā]*3-ol} DznsoL  WI|ȫUۥV۠ŘS +5";Nn\3Ʉ \8gYZ F^ /O# 7]4ԥ6auȷdPfhJ״hM.MT,c5z=oVo ^|tfa^pFs`[;9~s Qjj Nen 'I)Z H-RyLVFlܠ.'[#s{w+6i\MagyX ' };_[c=Bcb'},9\&΅P Y!6J2P' ОCoORBI04?g4\䞄5ODOVЊ4e!9|W'U䤍0&P ']0k 9% Dqe [ۮgH. R7boG`g՝OL>̖i!= D}:nsiJ]eS"SJ`@2'H{-/\X@H{ W$̾8Bn "ۃ/Ԫ[lq͍+@=1Խj%k1b T0 41Gې|$ΔsiGڪϐ3@EUg@|/#-+Ґs?RAgt)^XG)bUd1ŐtLJ_[2ah}b2׵o {(A,ifgQ1_3"7 wG'ȨtSݎTpO-2}0HrYRī\T*q6hȈEe7?cU4Ejİ$}pBMQ/OiHnd&]Ƣj9~c,Լ6l$&kPuطX]ލT~3Òi#JSD禫x-{2ĎIQ^̏Ē{??ZZl¡ 9AyL/kV&Q6N)tlV͎2@YlgH dI\vC*wgx{[|HESw čr%h7#K:uUVLhfj ֧hh xXIvj6؉0#Ph|=T7=@xz̢3],]NEK8V"ck'9XHKWɝ5Fw"1wN%4Ql iUG.}7Gm m0.w@a=&ӭ!{ؿ`:h4EHH87"LI׶^{r&_r)>"nkL*(n4~O6lbF |긖ߋkOK/B!eIM?AN$bLb uA|L#7!nk@V&ɴ(bqm R6C4Ԛ| }.:L*/", BAVdťAz~Rv>$6n@Y㻩l`p3I?ٞK6fֵB+D8rOL*$HShj(ugզ@ HôB! NCđ/1V93`0C f.}̂-2d'qgb'1_Og,Y>/n:"wq5Uo ] {1' j[mhW},Aж)#)Gn Pc11itysY~|>PS .*Z,ka7!+|GM6ʜ/; SX*Cˢ}SYw?sdv>5?78K#!l 7n%^d]f>F3Que00a񕤺D|$1c9_+<$l^&sĴI,9KoU,,v EnK6 ?¥=/ؐ9񈶲0\#wm\Wn^ p,뵦x=,]N*sq18ĒOro=1 (D+*-Ց'&{vF7~3^H7JRdc, \.%IkTVz{pTB̦r}8V#/\YB a(B:y{KfNxկ<+,^CL"9.Y=4?t&?Y/qGV&x)݂|jwޥ \5J@aXJ\wٽh4t x ~k2H<TLZ U.ooV yy3gg(خ@XANG2-7Q)=[-_v fWԠq냭>``E]zA|4c%lSEPi.ENfERݷ.%.@@_-'Вl L} E^Kjʩ p%=08Z:saW D*&*OQC8S,g]IW.Ζב#1f1 XeЯESr}mtԿ1hF.x)>,VQg-PmPHU%(#p/l0ķER-Tifp+V^3UksaԿCx|ۣE)d_}X%3=,$Ý;"z-7 ]Iӕ~H35 aoiih!˝̬FHr;Ha&\6*nw|s@&1$'8mvBV;@qga)̭v$s̻Xo>UlSL NhuEdߢ>ɒRsMZ8X<{Tu/318`OΦ9D?曯-2ė49uR{^{S)TCjJm#Pcr]#56[ |c,nOәj*`d}^ݏO ;S.ֿ\𑟘.)y>[ԙQ2Rs5dz:9PrdD&ɕrjxF[Ȑ/;j3F腭TϫdO[-Ê Օ3DU[W[>p}n GØz9y`x}g"R(Cet6lTH}F CD'cB0Q5J/R[\V-Fb2_@>̎2^Vnq9joL5sT)mL:Ry%?r >~d¤ 0 2+Y*^ bpx%13]~)Bȼ}zM<^Jh Į%c蘂 21T|:q,d;嗔(Y*p,'}*3[)%q8_9]EC)=pQԍ笚X~J{u˜EbkO#;mٴqH6CY&3&|P/{z=wIW@%AҖh ȑ2k5$rtX"%V?CfC~bs9tzO JԸ֖"R%Fޕ>- 4wy& >㳯CjHINM#'\O3cc]]2U^ƨptTG1Bws:sh%am/!yth6|_T_WT3:,BF(w! 7> ->v\9L=e PU5pv'Ām= ؓ \Dyb<3El,ƺ~ ?낀O;qGet Fq6El}q5ۤ0Za#0ȊHռR?cAVaJቤܹYEU؊8x]C|ZH ~x{y B[IϘAE "An|#DYEV\3՝4ةUW^TP1V[yg|%eO47Rj?*j?\oG#^A3IJ*2z/ шN-b( [dui jkTEf~|.lFqR_F) ZʊGTyWI·@uMF?*\RQ.]rU$S*hR?璲ȏ󿺺 )8;uu997Z:{{ۗGO#g]}60@u}PP L zت J,M"lPܜ kʹX}n'-~{mw\ffQT-G 3E&,,x$?j6l5dd44(+%Y1'VEtHBSpCӂiJK"%Ln&o(g#M %d=w%`L- ?, DF]BN0ͥ}jk|p?LUiGh i7$"2q5 X*񁔅\)rv7}հjn8$_ᐐ+-䚘5ɿS!)UYazf eせ$O}a+'gcĿ؀Tz:m_K=pq:wzBZelgS@tK;K_tW>k&\0R cD J r^f*L"胧+éh%vp5߁| b>Ե% pijz5d)x>~#"V-ޮ,RoC7"Ik.V"W޴!W|dgri[1*P-Ao*mvtY nQBf؞sfI""r>Tk0qv_6r/=JT7)娝4zؿ?JDMVlTVжa!З93X}0p b^L~|IT0,BЪ­5|0pphn*3jHbpp C8C3#a¼7_0^ CYjմ _TrP=G6XiN"T\9>em/V q'A~ˍ3VtIQ_,׉U*-th+B>4\BX2w׶4$\4.7rz+xyni#L\+ `f iGRTGzpm#l~@]ݍm~X{uU:p1׫ƾ]kMOB!Apu\ ZzmC wzpla+*屦<'y]-=c$dS՚ɩ ;0MEPc˃mx )A/ ?LM,r+q˩6v6a{_kԃ< Dǂ#*Pǣ+,HbN&1h +؛Vp PDaVZurVTqm@"'t3^"ҥ (ĥjt Ilx̎/㉺̭ >!NFSlɳ\Z/}y{tASUP [Co[IA\uBcwGf3@]@a?\D%Y3uizX1LR>hzÂ<Kg2L&sM2Ggyʯ-b )a un-V88>d Wv!WO 6w(gGFg(zd+&Fvފ?^?Z] P?Uj*͑vz,~UNU2*v9fED4C6ƻ'=Ŝ37!:_{|\9òIJ\l*!ã3,>sflucq%zi~8vLQwSX .4bm/`֮΀ߥ7ܣT-i 2v[5hT[SI=mX'}ԼQ-P`4w Q,1HRl&]:jRHZGhPQV(A'VgȰ=:f;351sY.>;so`C6n8k( T 0$*BbPa00"R~ӭBWb `X5x#itKד1;Cpz-f<;g&'`ڄr6wT?s >']\!G ‰f ߸(|(p'Y%7g1Нgeֿʴ̀!yhv)idϬ֩l9i{.gBH蔦ڊa.gp g>1eWqZ۶_z*`A$.m I'V?T3e_$Ǖdp-PJPppU+joU'@ \dH6>bTЄBc fN׎lENf\%=+V!vE&t`m##^IBVT!J ɲjQbT}t^(6ao_O|6L뚰(|o 6۷4|w-!T#gT %G.J2 'M5(K)d~щKUo͜wY5Oa0 )$ҙkBS&|1`pP3tMLI`=SŰj*O#]>u @sA]|+9-RN8v֟}RȺ@􂲴@VqxB1506yHt"4gJEE T8y;3Pw d$[]gT5>@І󈇒\[Bn#pp@*Ѣڿ^9_ҺB)0.0k-eDnj(yG&/U '/qL/D4 w{!K`Wa@ƀ0={u@oER3i^閁U"C14es5Gc|O"ɛgc( T-E/wh&Ar3-7Iw #>6 +_&l ۽zaI1)XT#^'($@]e@vفԾFmeFH$']!*!GM yƀp-^ڬBNv2D(4L]{.g{IԐ4bȂ!Hl%|޾}#,|jL/5|uiQ?]Q܆3Ȑ@(]U@4f>݀/?XQ4s6 eV>qT5ņJ(|Er.g:}߰A 5#IFq?4ա)>$1~~IG*^Aˀ|/ O}7ux&1GmǸn]\OB~uW(I`H椉#eC ؇ӭ=L%10S_κ V$U{m.i@:oAB~ySS d{0ުQ.K'T 4Xapc<o 2KADULi.] c<]4I5' sO77کƮTD@q˵cZ Ob^T\0]q.?}M2P :#=w.vi.&.HrY*ee*%'ydQ|@u=$~9R$.҂ug=n'nV5ԥm2.rfnF|k@}S/Z=ѧdaO4{ ?R1C(G9M?O|ҝRpE^,mTZ4;(ֱ⌿FJPVxk9DU[st>+!8-K'/.Sr FiۆߣZJbQ-0OEdws8WBLkM1al`gk_sͨ H>-Ⱦ$X ס}q` E3"_ IˊQ,O3ߐOLiZRv ',H;ݣ|k k)}(q(~WgIT>2 Uf B|ΫZ~H'/ 0Rt] S\yk(Gۉ\4~5rዾg;h z[0 G؎@{; +;Hp[ 5p]slfE 7ci@}e"Ō>ǿGX…Siδ f2:ZmpEQ='5:+k |bq&>_yƓtDu%$Rm/gq]pnGn_^SXO/~xTЈ͡a2>Q՞:mW;D&ᆭ]M -QUz)wpZI[(k 0qLkc,8w:IPqD:Ytv%qaY*A ?5upO0ݍK'$ʧ(p0Բ +׻۾)H6]F{+C U3j[o\~S ,Ɛx=WL?V<ȍ>e0ƭ)ƣ xt` ˴ggo˜' 9%Pyg1,Ulyf ~q²hFfzUZCnXA ުj&oQK'=We@I{Qkz֌!Y+IQ)sra%ezRK2 In? (MN%S}tٞv|9abg h}(kgN> 0{%lrM^Y1%YK/ 2C q9UFo'zn!xBǮsN3h  y%wz2JRM+݅k)x&Y1>(Ow?QT"! Yb !4BҷotϞI*yDkQ2o}n*R[L6dDSгWؿH6.W=+ t]XDv"׈2޶yX{3eŹufJ5T"-+ZuT L]BIwn ţe'. ԛp}9H*)qDP!BqThRB|SH+E.@%YUdȒ05,~%]NƟ%JN])d9.3Oj~va35Y9ɢ@K5CTNqY.:kׂjNG<,r!uSC"BP$㉁m^tHWq1˺BP<ٽl*0^KznGnZz 6pޮ`Z6i0oRPm_D0HKӯT'69QvrmrlR8N )Ц[<. ֹ́$76F1QPrm(C $Hu_*+yٰLk6U*Xl6 ߮#1zSeX4 R?_)VQӐdr6"{+cߜRe%ҒoF(ǚ QZ7K.EqVq{TGEͻ6 =X"7v,ӭ³A)}(p!@'fO띇saDrصk ?5Ax6ILó,O3^^ݙj rȯ]{bEoa-ҤtS\~ru=3YeşGPvYzN$lO zznxK| <bӀc&k@K$-B&AOD-i[@@o^f,i Cx&#HG~rϊĀ켑[]QKr!K5OFD ˕vQ JۑF+uq=7-.g UE Fb}ZǬ{8;m<\Zpx#,AM[F%8:zrt +TRwܵȝa?JgDQI+ m#|t^T)9όO'"9S Z]07"x*,ya#1nQ`EPyz,ڃmë#ey,__vQ֥UPWsoh "9G^g2i0mJ1B wE&Dipc۶ pH1,)Ө@>nD>)$פN-J,K-M20|HМȠa"ppuK),~z}'޲U\8ǫUwVWe@ _$U] PhR *R6 78=m S9!~X>Z^K孠y=}F!,y:1""M-S0?.RDZF@R Ƌc+eL#5V*4 TyDdoSjs>LM͑o$ys}ɶ~;A ?,۶ 뱔۶H5(3Bngxc3< FnuRCZ".56E,C,=blZIl₋Su ӫاzhzv3 `<WꝑwUs;t0P_-w :rZ0ӤahTeZk4v0qkW#&?eJ, h8P LɒLIR'i8[;ޜPwe9%^! 7kwz}`FQ+/>c=kp-lNKI,zQPh֙SuVȴ],-Us-YEd\a]vͳ ҁnMy٬o<[s1c${#A!b"傊KAy݀Atܚ̀C(C)hT:|LiD\pKq%,qTX!=څ]GBͺLk` C0Om0u;d! ee)PPjXLuZEq—>E akH-1nrPe,$8.=}?#@.:xrKZa*3Y=^;>eoxMpD ':b8p{gѰP00 bWi59 Qէ&CCW=vI&|OAz!4W)jibio~x1r,9SCbzb ]BG 拦+ $SW 2AU; V'szΑ.$̄ xѤ0BZB /7,ktuVyI-Z}1&fnVfҎQ1MYkP]~݇#֦_( վuNA UN͈Gk=e4Aȿ[}NnnV@WfB:<4ݶ`J*=t|偽]QoF Ỹk̍AC/*Qe@h]Z1.pm0+I.\ipp?9RWϲ7ʋtxZ]s_wM5DҚ:ֵ*̬ I?KәT#7}!$GNJeBuu<kqb޽ٙ fa)}Jw=ՌAk9őm@x4>zߧzEVx'O)y8򔕵5y (Q 31(ϥԨ%eăqD4(ڥ,vJ< xJ0^}ӖdygfzXpثv0MQ@B2& @z"fbj9!a ^gJPcضo{?$Z[D犥sKuHR vkWϭUgCx ' 1ր'@NI|@7X)胇 @ꓘ _Z(@IfpQĦq El%*U+ f%_]8,cee|PD&cN$BBB1UVHr8:Gb}.kC9_5ZM-f6j~V߸ BvN TG`uP,*+ +iq{h/loB3q7ڇJI6DaJZc7P!~lD4g33 N*z7ID(I#-PB?v[AI_n%}Fܢ(mpqutD)v՚r]#Cp0F1D:=:0UNVk%@Hz/$ˉ Ҩ[#V '}{KKgidSá,2vaxȣ{:?2Sij\af ~_\h䯸1Ǐ.z.x,Q?O)'Os7w(ԌOZ " Pe(nF%+{'8ҟcHww+ ݀,؝$ ϧr߬MXi"l^̜?@# cߙӓLt-U Opncђqq@.BqV.~N&|,Ju(]Cۗ?}:*jr^h0 @71[*H'p4OmCzke1ؘ@" B⑉{»&:mWQ7">۵lA/u2PJE:ĞΪ}Z !¥ٹْRKT>` U(3ܖfҧ&>b, >>]YEwZD|ifucwAZ '={&\7P1L*g"/Jv][Y󮇌al:mi|Xo.2J5c/e7mq'FTF ?O"ك^ Vݭj`ff:R:\/FE!0• Јv)2_*­\anօF93+)RVY.`oˋA2m,ƞH jQЅZ"O`ТϝKXZ KIE:B?4_܇"j=!~02YnϞdRv s7 &Z E,T'TI*Bs VdBj $ϧ *_D; #/p:$M 2}L Č<4Y>fxkܹDo_>w}vaU+wNBom*sgYZ  n  Z! /A# DHOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! b]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E e<yP)QbzGy)%CE9+8Dnv&=1z  N U53eCsߎ]%yqh2 so{ A<0I\j"RRG8Z]{2A1Q:o oCrm% _ҫ#G^IM3U^0/<ͪN彽d<> 6ӖЄ }HꚐh-/PK'lG255[ʷ w}''9 6qd7e'88ܡ;H H=l"a S}dWwjg6|+Qy3p!\E+7߱Ցkn70HΌ~'GT;ՍXHi,l@N|n|&a /A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files~~/src/HOL/Proofs/Lambda/WeakNorm.thyE/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id224h/O1FHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsMatthes-ESSLLI2000 Loader1998/O' HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messages7zXZִF! ]·Iq n[:|&[z'yx"HQPDlMm6jګ %;bod&DD[pC7P{w(I!^x4k1QH A irQ`6f =vtmOcujrS!`+hR=m)|c"T}c]*Mg.&[^G?ӛoWbكx8?}B/IEo%5,o쁒i9ᨵypb/<5B=#uѢ^_gto5<ā*CLsaM|!ݺϐa@T5|w ^"1ycע m~˃HbǞqGS@u#F]7Z# JlTG) ^8 yœ/,NiBƇj,9$?G1[uBh !+KW_/޴|PRcaT^&yzCy(.XE_&=Oiy~lr p,ockY",ZjKlEC''Kyne7̫N4 oFFP#ԜuT0($6'NIر"T+kQ2U?GnIwLYY ˠUsX&6EgYZ'n k`0 G0l ^si&ijRv?` Xgj=3ܶ*2٧pܷ(<דrs-sx |( HǮ2O+:KCrȁ5bר&7M4A zn{#n+*u.҃Д( h;kWYԳ"1&2Xu:VC]yqf7ՙU\gSAӈSKHJ9dxsdUJ=\.#H,hQ R\ϹveSWSpx7Ql;6O> =lh (5GvL}v ?j'R(..?L31a7Po$n鏇V&0ֶ~l`s~rsJko9b y i?J#*?3|G͋oe/G]N^өbQ&Z} ŏ7i ExkMju=pj", ;q](|оteuFaiFќӐڈf 7:Cr_Ꙇ13VrpInP0Uh {1P|5b70Ƹ5"O3v&m͘\ho%\MYUx,l~I[KPjR21:{ADE:R JFѭhFA-q! ) mD+8ݣ}F{mY9|^".̯5fIUPN5{p<))9_M#^ﲱRz4'g<Nh8+J=՞bJrJH>dӽޗɜtYX)\ϾYx_d8G&eFw`SFBqvgÉDIمޮJïguMTin'j!=lѲ"ʓ3 71#5ơj˳IT`2 N2횗y\#{@dbH0Y i[ԻBޥDSKm@+0ܤX&/3p;p[Nn*]FsZ@^ץJx%/ŽG˧>HU.^E hy}v![,s͈עw&6'oDVS|q۩gF' Ҏ+#`4l2}yb|₱ϕRh_,r7J f_<=e AopGXQlҠ]Oxl îxj=$r541Je63ԃ4 (p`y.P_ J\0J?Xp f|^&|YMOWA85(B.Aa}H&ul5EWUFcJW^'sk7q>OGD7(Nkqrz[XofWqMQwZxZ.zFg0wTƔۡY1bJů(G53fd9Z.2AZb!b9x9;"Rgmjv Fn9& . ʈ_Lnt줼U }w9 8) GA\t.}$<`|Br43jlqB%s*YIA`Ҕp!ոg\Jů4e 64uAī5( Lm5pk|M/*2Lh宀$L (8a\  u/݃seBoIfMT@׍k;h=z6D];ٵJzZmߎL)^ ^iX'b<Ȩ Ap7-HBP02k;!^YJdg# *T*8D}$fUlA즀U yEQ͔h6n/ht#A.jKϱ4k1}pz+'VpyDWjl ξwx>򛆑γ[oҗ{9H]M槱'Aʊevĥ$ܼtfY$X%y1o(gMA~Id54SpYtic Dh,!?1L&C:5h& X.uO2O }/ݎQC1U3~,q#g^wթ<[ ɑShB_:G#w4h*qߴaՍ͋,q\gq G&dhdJN{#Y ɵ[:hIf1kdtP)HB;۲]Rx%G-"Put&;QLǡ(C\WUm+d}s2 [&Z7Uo<},xV j[̌_mhxjdj38D W t{fNie_Zb&9u<&[Q[E)s៍(|s݄R#͖iU؂v&hXP^o 7_[UcuƨQLm|;˴Ҷ幙,]#d' $>Uy({ f#:lYb]qf`HŽGv2?P7Ǚ͠bI(&{6~N>䶩 էk\[ufXۊWo=K l^ysޑc\Rtdv+q&xV*XH J3~A`zZF CpFC8 KdRIدuZٿcbx,yGUnuN᬴v9kmN,Y}Bm~j̬{ A.⢋B77D8չXvc2 )?:b0qnZd\vCm 8ev1K\EĎt¥npLY :Has4o:^:IjNT%RpW^K=\^$~Nh XKERHQ 9=@; jFEܒ<-_N(w_m~]cQTkH +d$F*٠l1z2cU_LaTH܈^B_O "q}Ղi<3_63u#;I\ OC7S\!Sc{!Ŵbi5n$sҚ^>ui;Uajr, ፠C uеaD}3?D1.%9x @<NCs=Ma4֚3K/L );,gq :Z JXJ>_6"#S{аgBULC[WBLh~F~:pC6"`ĎʟlSGc]aüoh4V%`HA?OOmIo <Ƃy`SB 'y9@ȯNi3B؟!vϼ?xo?s"o~vT2L 4]~1̆w;x`QZ3>-箚 n"k[Gf09N9T:V~Md\ ڇ^xh:`0ȪMLR `ޗTo` uX8"pMR Q4cQ)_.8YfkZ Bi6{5(VTb>u^/ɡ!ۻ%&aGdoeeY/وDE}n 'bReٌr.m7!`IqIyn0q.'t J+V2no=7tn|$~rUZi_4W}Q. 7 @Ōd0ߢ"&HoV4`~(U4s[%rK&zeBxԠ9Gͮ"-}drO q*r +ԪfH m*=̲h(d*5e_?U6iWE&я76+^aE'5K+/"dփFvXN1w !uzm-G$5{kpصdà_ftP̳vx-r\Rd:~EHt\ٺúZm2LFRC*c29eGoHFGG`fSe gΫC_1H>8Jr E՞Я?t#f4GM:Ԋ>!RPJj-,D^-d;!`xeD9f'ce~lk! 5ثlˏ>>c Aݟ; }ԝӒx%_fEL@/AȧЖXT65Cgr/2k+"l߲ʂ&c]. +:ƧTﯩc}tR"^vm eE#ޥ\!92~,Pl*5(hEyc@<6綏N]Hz!ִGKVBG4.PcwrQh[o":*4Ѝi"޲3$L;O%}y#X9Vs\jhȉ .9pf.U4z伏.+ׯZQ?Ngߡl^N;6xrl}do3gw ;/Ҫx0lX 'Xfڳ\Q=UNKɊ>c7iC*{;GW,TKs1@&bZ9kpG}CVX:/8 y`^ABQgaj 9f 4`o]naܬ+k˭` ;\3AeNR~QsA#/avI@@'%[fkn=;3|El@o3'jzv_ ܇QvDĔ.Ppc6?'( 3KtQr ]մ\//G+qF>.*5G=w4]B1A- -}X tl$G"巺kWIuRٟVy:8Aambu9xgɰNHMfMymc)%?Q;P;mQ\9{=&+AjYNmL-uړD̃snWC߈m4ntA"Rŷ4Xr+OW Zt)i~yMӦϾ )?Hg6?;UK;Q,R_)zAl?Q//ܭ- -)4S=EWPG=F$ ώ1nðB}eJx@MarWoP  "[+UF nN3싸~QBM. !Kv6rZbpΨ(jvI귾ڒ02qtURrj̬ۇ%h*O ɘϏOKRd<&%&,)m֌Ee;zWl)4[rTT";69PhܐXQm^ Zf2Q_ Mg]A{5;`rSʴ|88XMj$$kA ܄C6M* 6 JY ^p ^<0z8o{f ?cc=aJv /u3%_=a @/:*z!Ɨiwnz2_QD96cFr[p^gEl@K+!(ug9K;g|ORj4g#6ٟ@Ui٣tk!Ɓ Jژå&nsȜ[ԪKtAv3 =|xoĿ3,xS>j-`L$qThxu ֡^WspFh$ Mzn8kl8|GpQ26i>0r|4r4~iDԇ*z뻾߸n"d-/ SЯv9hz({NZQ]?BX*t.V`0VdO^pXO/fb$%xy 9h10f0++zTZ%Nygi)^хm K, HV ;n5KKw'!0/}%^@7WxP[SNLb7Sө0.yPkґts^@%D= QN̆ܡG}6/iSddl4:{AjI[& DR,xy.zmy!4~(J}*MIWf05f'ĺF܀Rl<Ί}}ް"'XuSaQaՠp͙ 1p"*vxˁa8wg^/2+liyG0e9PJr7aRO;Ka (oPlGLh\.(хcVmHc%ice|fLhG^D&,CMF.s/P3| Duek^qFaL3KEpD@o]t8Z@>!qDqcQLҧ%Q0Hޞ8I'rSab.Ǩ"9\ND=`2vw%[Mּɤj0 S"zzIc /jjTJ`Ъeum<*` X+{1mcᲸA8n8K=RC:@s> <%TR&˖E}NLP*@ʜbJdE3 o  hTsbfu/Q@]aT&͖7H0S*8?>8k@&6*](`1=6dlz&SLɦ/mKBCVJ|ڱƾBN$+Q?)6XҒg_g\yIJC&B_zq㓆R!H+ K]PlM5ET!, ňs^$00pe&#0kW]bwW+!usb4M~-,"ŏUn$:yWr1U ܺJ59MO̎df-WK8{ 1N`UZ9'T8WrYRN2iGGS^ZP#:.P)Mݬ@; E5^iXI^#MKü6@Cذ=߉޻7KA%*ogb;ZVs~pE##M#\Ïy4A1&==S*m*1kN&S+z)eVˊԩ\6 K3=Zy#b-NMnPk܊d AX>so4Ǥ2;l:H0yU$vX~9sa!V9w5܇.F\_{_:JLgg%wTR%xhN9TW)-4D)gjɫC< BqQ6vkf'P%K-jy9& yI5q%8yd镄a; l/T<)pw[m #)+k\^iNALZ!1kb{3[>C!I anxSn{XQd務2!*F?1*އV:d|l"`h1R]ZO1K-鍑[ 倩?&WD#Be'{8JrYa*#rc{&ΘO[雡</YY]Q%IpZf9n|3u Pِy2BP+A&#戂&J[aS^k& *d̡C4}̗ iǺN&K?St@߿DE95IҘo%XwU@(.V}m`Jf~i([(J -%޸3}F\z\b22m=kP/y3O ļYptUs=5^paށL1SSvb}"-dypq 7PQr[Rk,QޞL'Y=y$=v?V s5:/nɒsoph"~I.~y?"c}FѪn!||h<@%TU0@@xzBm>Ҩl̑Q)cycc?aDzK]h]\C囹>n}S4JβמA$RB3'dDIwKnrM}p{N-}=mDu$~8h~ U(FEiuI䑊T{jVKA/ul Wݕ}:vC\HdA=F8Vv Vq ̰XQ>'!E6SS۠ ^'hBK^v}ڃj"㙢Szyb 8UE`S98`S&FkA|#8"@ܵ7{7k(22ǽ@m|SCާH͛_YR-O q3WW"@טW=Ĺ!MZ۽_3Z4^ԍpQUEO: ;W^2'Zd*L!ӝ2ECwW1 ckZ/Ma=zR?z$.|GC"ɂY?o-fThjtwj$%}ڵT@Ìgո~l$}~ ꎣ**HU b;@e8f+zK\ƤEaLS 2W{n GM Gqlu\ [F!33ʹO_z_BW>CDĺ\c-|-Py#@Sku!e` uYݙ'ے 9z!b8 P׆iyv*i|sUmtp [U;w[`]buK8xDq% i"xКN2EECsF%@i9#=`g*ur@SEՅ)|YWW9Ķ`N7sep=K\q7ˬ[{7lZ~ifگUvf+)0Y:B C=Dd`xƨ/&l/4**6^))0>^ԋoiqe Q̂3W`o+ kW)`+v|h@S" 9,Pp}ZGChF$Tވ+i}De c ȏVbk<]RY} N„LLHf -f|>2 t<-¯O8W.h Lfp+Jދ/$9<8a)JMDھ}ݙCS=*bv1$@lO'qtq)ĦV*SKUF8y2r鶱@}c@vTghihΒ~L^a;*SVX̥by>  ?fC-򮹺Q`.@g꫙s,#bU3]~S^,{A몚K;hzH``NECLZֺfW6ҭc$e@26Sko7OpW /r(+4e:["bf TdqT}+f|/^\D U`d!UcKzw,]nmNnËcMr&}YHF9 WW>v`qy-,9Zo\-q1Q=( bBzP1E0Sp̞:!X'bj6 %Ϝ2nBy=[qf?MIۭNrn >*%9ܛZ:O\FAOm>@3k7~'5.΀yf9.E?MҤޗ4+ i=s[ܘ&F /rH4x )usoxNU@&ʕ۾2NswoJ&:ZMQJW K` F|OM߯^^j}_G+V N)6,Y2pUy5Q"̵~T(Iy)ikZ;':/6ջ{𗇬aYpEg-_R4CXp+]VD;W_GSU9p}WRTCkAkiZwp Tڀ(Jv*+n^HZt߃:ypðSWH?a֫!4 s4T̸}dU-pY]$+cI! $6!7v~oĆxLE@eLTdyY/ zm<ʕȷTpgW+B@̬(a|xtzT\3>Y !v&ʧ0dXܺYԫw)ƘwbBl[oyUHcN=+E5"q8 R^J-MGj=ȊYЅ]5rPk+*p|3k)4X+mR$T% JXhNReMМ ɫkfQƎOꆩ:}ESb~e /F70$&"2h7^".,I &OkhF J B1MgpaDŽh ,~ nئ1޿ݎnAzT^q+;]$I/Q#frHٕ{J-¸aQ)G,Qo,Y^T zPsI1 V܈Zd>$RrMo(12r&cUQ;$+\rz#^*{ym9PD3\ٕ9G80l t55W |8Za?TՆ.)޼qؘ/P}F8 V#^,\jD_9d)n!Vs^lQFU௢醿kŽ?ﺬbLoUwu5L|o6/*B_yMDc_- W36#d2eMpQ,fS/B@H7HDq#=ױλz 7]:6vuěMf2ov}#u+`s m컦v#%V/e6y,&IT*\ߐ}U!;a~G t=߰A'N,'^dhY !qW ؠ2 q#VjEGj^4TbŜ1X8'@;',KsXQLBX{'݁KCRL mNSoVf07v,L[B&NKG 뙰g3l_\+}(™)Mq  !f;ߎ]oۥ9zD_n·I|GRxKPTRR \z " W^2t#;%aa5p^r[ IaQg!7TmŖ$iu5*G yn%P7s2'ϜW"R|XQX ,Δ4=$Xn b)M!P?N>Wc0pVo;VhbSEVcTL}vlGa^OA(Th7z~ pȓQCPj19^(ToKhH0Bk1pUZE<~%5Mb3'ZIEl2no59H V䕦r=μꩫAQ&?8Wn bݤ+-5p{8YTr/.dc5zN7͝ǻrc~6kD^%p@2`zܓAs-(v4i$ "Cu*$Ayja:>soe$Ϟ7O00 PGY(i̕b-ubiHZ 7)QS,4e2U;$lAgNjOB.YN!VCȰ`%2 +]G>v,>&|ƐxZvCXnh=28T)˘݂֔SCݹu!>LjKҔ?<_fU,a0.@J|C!rl;ߌk2"i&h+qn~@t=5B Y]܆Ѫs"lb%B)+N3MUG}e6G pS{0 cM GM glal@N^ 0$j/ qCCGXiWsA^{%4=W.wV9zSk;! Qș5¸o~n,T$ӋPKUR{6'`%,\}LC^,d%IKmA>]2y嵽XI^+IM_ ']q.ܒB^[BN\ʇEeVV%0Hv ʫU:bX$0~hO^KAR'9Vf72߉lEȢBX<2o6-TB?>OIdOm؋1/ .HCw'nYjmbp]}yتCERtQC:0C-Y0*qu%pa-2yS $0"o}ScB!6w|%KB|&s#kUC,ӑܦ!d?eűLy}/V8R'u'℠WlE$QqCy^zwJ{@t-g|Ȟj|' fM5sg ƅ-xz0keM~o/uai\ǻT!M|0:Q[d5oJhCB1x3@vOMQ.Lp=0ڭJ5kר) U<3լQkźCEM=cj˕([<pkakJ /P 8\P(BdɯOR?9BzE>Orҫ4J!˿#`wd=nq:R#!F`X&$],F!8[={nT*>`3RXOv Ϟuu-xG#ޥ<<ɼbU9`}hdq6+ -"\3Quճ[$ !_'Dg+M㐇kL=26ͯB:ꚩӚ LmI}/.}dVG'*5 ALa׳eVPM(ɃQ'/%wr;j&k)8jtC–_>X_=4Dd1?PBQb*o,Ȗ"tsG`3N6ѓYP Gd{ > bCO9&yU"jqf9 !éΜ";PaԐf營b$&`ݳ/ ~8!.E ) 8b˕Hq F3fg.uZGdžKMEbW]kuG߱$~0T f\= Drحt]W|ܑnHɻgE[RR`)=. +z2N?W[YHLlh0ȺEF->9Uz^EQW |k$; ]0Z룠;U ] M ۳_B2fXHDPB?w;l|4MxN2*Fk73'r7;URqcnJ_W͛ϠX'Ư LRKYRxD#[F?@rOf0v"ݻ \%G8%E(72?̬+2)*wT="VyN%ǭYW#fQJURNmY2َm+b"US^f?|0?:ăٚB#j)M+ܺhax4 ?+KXr2ܡY̭:!ٵ(RVe* UBV$ ?5nDWB.t>~d.V\q@e® ѾRAeG|m *~n)/3ɥ*ا~#e'5}Eg s|FWAvYy9fW J3W2SK HQ2ʀU'i ۮC(VSƲ`>p|< oKJ˨&JFB@ i# 4>0enʲ3J"Zze. r$u2CFm wFP WYfkl^EfV 1dV'FmH^}ʽ]*}uVb`v_S'{0->L8 `&=Φq+_OgAS;xt>ر=i_P!dTqYj N[$ 2ɚ,g5qytω P B *o~OD{N4չgB5>T9UHI lVB53jy62vKG6;ݙm?q颽=Ch'z*0!^I'=btOa焃{2L׾BT"FGu`%D .O1[5җBDb.O4?٤ ;)AN2BVhJNeBiP~*#Qjk/ uC"D;:w؆vr]h9Ov} lRJe3@TPi P 閩?seYqI|tD- i^N1m,XT!BMU)R}#$N"ZHSCR$b3$\sqI㭡QB(#g,)Xj^_]J3Qo)7S[5R7/]*%m9;s&GV8m(T  T7j[{oLU@BP Ҿ`SSk]Rk`0;) 7ΠF ^Ԭ_nu;3}ypDțAPϾrE9)bq\) ec/l'͑FK$%oʍq^;HC*ɔ!ZGvJ^n g594ݹe4Jݮ@@ 8$D}-48 L;\$NUS;`/h,ht8Sf4ezomGoƌ\.a3D;?RtMqHuy)Pm1 Y@K;P3%UK&]޲qݮc?[X:)]80z(n_M=0?%|qqׄea| J{IJ'IH5~v%8:w!LQlcXjqnڸ#: O<`t0|cb␚XN-2+4+@gӿȗQ}ѥRLKlʔӌg2g鼿&3F͗PͶu-vYFuWz̟3Fp*;,S0ŤWQ uCٽx%+A5}Z8vw֑8ItuQΆ;zIۗߚ[bLsy8cCȊl,1թ=u"ɵ#>JV`&Zv82pk?zwݜ8x#b dd—F+@xݝI)jf*wA-UkCO^Td{96$Ȓ6%ڴqT~UۍBR|UA2 l,ʁ:~,ܘCˆi>X ۪/GԹ )4.OZFgRR xgCg ~>v('şt XnP]%vV"LR+gfI}Yf9ۻO>J12f jGvsO50$ iRkU TDz@O',߱: gmj'ZٗnQ#m=!d M܊.*AQ6)G(('Q Jv#U}jkH[y'ی>5D\7Vņ#{U5-w2<o"E=b}/n8$ccI~>HWs%t,SČq[נZ0ւT9?>c-p p^pH[U(ߨڏP-@ͮ|G͙;Ŷ½D}ar"7zkl΢!kˠ5W;3$Y Z>u<@"fK0}}VhV/w]--Dzà .fJ.aV6'" *<&w@D{ DV4"IWr<^:iNMQzS1qȽ$ |UY_[`E4OCzAoN,Pj\ 6BuVB]Ǵ qebAiHέ[gU8;X5`[H`VFah#0+g*N$#5Tܴ~9.i:NoMn;ҴYG_ ut\V1t?6A(hUIr,`ek'²Z#M{x[Z:zɺ kk_<ǘ'xZܠ}lуЮ{V)x& b'0ڤ_w1;3i4i={LYcil&B,ƠIZv 4٢X#/[Z6q 85TdoѻA!g҂)m6ku Ny5VJos)3,E Lŭi?6g/S a*: G>ңl\e{ivp*Hfur9-jJ1P ŅC<^{݆g)2 -^ zǶ7-Okԧ9c>1 wv  2vo$r٢ Y(>)l UG/PX#tQWPAqKрM7]*2(;J8LBȿW* ͙ijCfJgi[0R\iőQC8Y^/ z@K=;-"Eߚf?΂CX;=&[т t NaKǷd $Qy&#/D8p_i')a08B،Lc콘MWݺۄG&_6郂=M֮jbSTӱ9 '{+,<ӞDr7XWg-VڊM+eT萅UZChN' o6=>Jc9gǸFZ: c"q@JKHG !-()z.Гrd& pu)N+)ЭnìƖk2P: Ϟt"kJ4ӶmnjW->X[uit?+#Nfy:z G񥨋sux^7RIA5_D 6ʎYY/i;vl9~ J&(HGP_%caV(Cg71lkjuWMA1W#ټ/] m)]c̓h{p8 ?~)10S/UQ3{FUphS da:ʤiMJyrVrxY*^&R6괜FEAvpckd}`l=.rzGp.&]R դvqFfUvHP* mˮCiLA`6u( Ao)3 ]NH&5ƶP#toB(1e_wH*]]:e*eeZ kН0PqL^hcsmA2,;O!>=悗%ku& k~ЩL0TE""[t6o]BB?(m?9JY'C#F68|omZɍ\ Sϸw^0#u"I]`GmgVYu5Quל\!;#,6?貚wѨt'%!Y >q+Lm[ܐ7g'i4_`NWu)z)[蠘=^\.aY'SKW.s/@SYJl[&TLu Gg/n{ܡPP: CӔ(mk š(ybT4rj{U5p NįH{,9ל1f3m,m)>Jn|uA!Q@uZP:-SRm29WM"[:h2'w(9yx* ]z`@cž:'M&}Hb}Bm>)]RZ]̧ډeP=7 wd%]2$D[ߎX=Z6Tgg{=%(O'Z خYM5v(2n &__ݽQ>u=ƉWNFMY$bL#/UK ݖcUfJӁ,aH¶ȏ2KJB-Pɡ{joSFnp1.)LgvrawnZǾxb$-JGc:] URWBx5\pW5z"&W9UWw6|5\2?=A߽ER,O* )XaZ? 8X&/ςz . V%)kņf=KgLBkOlGV?&Ea.wNCv nÍtLu$=qAj4{e83MO5,|F}5ZB ٙ~+fp$uX|7M o}IS'+xݠy`u?H'AfhQ-Wweva#ןڭ@5@[!ڲ%b3%' 6gIi3 Mi:9PjzrQq+jD+̲9lgQOy=GpjtE۲ֹ}1|X¤:eB9R('%VX5lO$DGb@Vvlb+өn%9au;!iq +I.dJARJ!6G50&$Ҩ=j*\4Ѱf5Ec[( A#`1g HHC6n"iKQ?4POs\ X*ٗ@Ik`;SYm3op `d_\i4O8;S^-τKRnB@e.QNK9 5WeX2ӾYc[Kf_SD]N=;C%^(;.Ttͬ5ِj EV{p dOPڵmD"9p+wv#%56j#*79ݎ\>xq!\ ]kbCSdj{VfTf~ uRu"Wcǵr? H594e{&dd%~0wrtm?Ä@˃orEe..DX$6:he+l.PT @|ndUN!Tij~uqҎIuTOoF-YȏLA ~Bf ߵMpt`_Q7gRcT%cU5Ok9r/\V[6pǶ =9WpNRPAaj$Q[gYZ=, (idG.|s[mV/3MsSq.(s<Q"@AqY' 9:/V,M{1,bMSX?(:<,$PTa#0%e6Hzװ9]n^i8܊H^@$ }g/bevkD1bABbw>bǶPbPXJ;a$0iBKZ5iM5' L] yz L%>l!2> >rOjA`8 ျ`n#փ`IڪjqQG #{ݑN ] ]Ws[\&!Lkڲ5; '~.B5LmFS36b`PϹo$d8Et@E'WŪ+B|T. vQ(rPR㸔W}]rʈ̻Zr))2HY >63ci^bK&ܕ:7-:NOhhI2b{5⫕aɡ%DwM??ҌG337\i P;SM}v9Hq!!FQ!nxvxBꀄV3+ڞVftϺ9A[#%!\ܖ?~/-,^kN 'h 8')ʤ\ O \rpBXDa/ Xt)1 7QI/-=DWࡁݗaC#QZع:r ()l<%b_'5zBv֢/.OM3&Oj ?Ok*7GZLm͖E&4?f \0eR逹:% d!F> zA\snvl(xP&Sϼ€ ٵ5iTcsbx{#Ϊ=7]bIkh$LgG6)&xۮ, (`}}jh3 DD'270 n' E+/g_ՖY&oB>/ӓф/;f̯GJ\5傖n@Te\| S< ^)}(AnMktD7s7fS}j,x@j~٥rs4Q"N!\]fQ@ cd2Vq0 ]6LY?sf7}C\HoO3,k9%鵫E洴(n2lp"8kwqJÜ%ԙvs6lgϿ_(r%/5WyR Gr|_<{c@\;IVK=q-PBvyƎ\n-  ˋxt% h%QVTq@ro,so+:+ֈ8LY70*M i]g^cI\=#ӓST`M̄쎂Ԃm!8洡VYA`x•Z0B{NpGk~qLȪ<2]>O#)Nq/4&зr`T AC('na]|^ 2{}7,#g|Cn2E&/<4'/5*KF%k5 4+ ͬ ԲVҁ*Ѷ91ND)th gQdS'\\FE(>GH=6z敄S29[m̂_+•.8S:PH_ZflX QFwJɩ r+HJIBYɭ?|\uZKٷ((*kX?ugg'6(ţpq!m@DW;Fl6 @2>a.~TUyU>)5+-ֳ*}0T zuh/e ]M *ޞN5O8W+BoަԐ5s޾G%e2?  U*lha⎸"K!:k6MdMVBשU2BeId6;S&w .Y {굘YA`u`Y-}fcU]"OAd %z.yR $08x]z\4Ѹ{$բE|ቅ[Tpo5Tuۛjs Cbr娚XPpgcfGENN"FГ̶'Rӊx9Rk,0u6pdqAAPP50x4)ǢY<kqb$@Jgbj\~~)X ֙ n-Wuڻ"u`0&RTڢU*'Ks{fc$)7FNSRļ83'xퟻ4M.2lj-UT#rkض!9Qmȡ Wog_8_7­lԱ\DVߢ~*} gG#1(}"ļ(a`LEBEg{PqGJUD/j_j뗭6=|}`Bp2ÌV_3",7+#}t*t}K'+Ik'77sW!J$\-c/eQo7JPT1̺2De IoTiJUp50(I~3V%z_[z:4\3%7գ_H"t{9yR*-oI0Rt+{p\ElqhwKW_4x/,#v;4}Y#=!˲ڷ*6[Rp;%[5X KC ss1Гº>iFi;o4c e{MArnjE5~܀RSe8 E9@CL~; ~M9$^8WǮL׭j97+Gy+o)…a/h,~ f(Oml$)~Sc?.ؑL!Ѳm"썕H.\ 2~FMPf*;ސCNR(qC>ʰW4]pZX-5 ̽Git9GD>4TMPK=e k53l]w7l|] 3C^ߖY?c臠B.%\yDQkA\w-;TmUM9c5*4E|l+Jkza_PVZM ŷ0(HQ ŅB_nqr!GHmoL`1^9gYZj&/A# dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! k]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrqpHyzI d&W$zߏfi+c;Zqa=g7HB.Z* dhGצ h{ޯ %~>!m12$0U>/0j^p=UMG):atnasH\|O,:#Ps%`}f~3|I=wMi6,>paձPa./%[33*ZQqڭg2J?;[V $%˥ErnTZ2a`FT&hIS]s H@7; RIut2I)}鍅r'{5J%HF&~$WLVWwu#namrsWJ]~A*1x,Dd) |7hVu.`-OS) T arpd0 XQ=%d|PK4zO5|W0 lD(qG Kؠ]< pJ‘g0;mK䐯B+&#eY "qc]|ٍ|;H4 0 eON3fDyH߄ ؾ+)r̐'ln0y\N,:-}$ kG(dkSs2n2b9UTбj_tKu) вVw}W$w<COE82-eT-_pa`6I(~2;B\cJT"uIo2Wccc\X~f X/Fd )uQz VT&A._ ;]{"9!'Q ȪA Ć)ϫρXgǺ r81 9L藚,QsEjβxڜ=<[4.@uh4bZRk%0L*lqx;i8F8"ηDYR%RTXߦըmVlAZ((WmF+A!ytHo*FŦZ z+dy$/Q6Y97\0vc`;ynnP2b\:#g+a݄o[DA^2pb%yÝЯy_S6 d",?O-|?d.@CԘ{@D{}"IPRd0W.t~)3M͘ yS [ƑI> c*r N^=Ju}vD%V$ NS}֫h XWTGAjS2]c$:+f c吩a-!0+82z&s&?7j?2w#'YXMOVH{`1_b'p*#C2[$*ԮUF'.>('Ёfy89c b뗌 K8Skcm|xȨ+#9Z}Nΰm5U [\"ej:DஷjUY[!?p΃í5HX<%C"ytv^•O*kThM@FH$`*p{o1Ǩ mj$up&wW|h9%t`T *戦3@,R1~쯰j4G9"}B&/ƒn]D9'V5 R0c#I W>8 ]"BḊPq%:+0am =YCo*7 Ig8Nb7߽DJy[ @(mc,o4}hO=kYMlD"I)B@ q p9JuiZ_ 0v +R_ĭ,cΓ]=`" #y!em~ sF|DH?e Cʨa8zp #*ϳNޔe,ߟR;<,rm>X,,];SaJ~;)cT᷾C; &!vw|=xCl"l.kP:2US@xƏDc ?E&7ZeLlkDS;VrId#f0beQ6u@D~'הˆAFs;5isʼn= ~Ұp1y[ԙ||2*bAIbXX }x}Â첏uC"+ LeEAƮvR*A9ߪzzUmkH$cVBkF.l39j~Ni6=/|=x}i1guH We+) %+ӈ(,tI/r jO=iCۢ(vIS w+[rcmW]EgXGXx~=x*QyBrp0s\#8{s|`oƴIn7ZjqKڏxsllپZTcO_ŌϻØ}hJj7@ SUO(/Kjü  yUѡu&l{8, 0M/Yg$D*5 )R¯y&}XT_SBȏ[u_AX$ğh8z'x-U;UmѮWߝg2GMCb9%f`ςbsU.,5,[(}$7q !dC,7Kx}x[l_9) =ќZ1%_yvh kv3E.J9X8B{a?4GR0"ѤFK`G[tKf kυHRU#M8JytLmEC0aثfvW3vJ+r):O^v&zv~xٌػ e#--s^V$W! 3zd=2J {s [p2|TbA.1s|,cmU_?lfxM3H\ ͼ ʭFcxLV}O a$d{| 0ROe$I$+^,lۙ(E'-\+\Tirn=x/@y5?Mf=I~fQ`6 Nn9E3_pH4;W @6Yd:G%pt[M We`CӰ'p_6}}[qz!/y=@08"c{=G&m>f; 2$i7Ugwp^z|!Q_w'y8Gש) 1xx[8.N=[!d!^vJĐ·Ӫ!Gm֗pѴ1Op =i ۷[zJH?ήyv0O57k~Vq }j{abk?w/|2aY!zƾu.v ٫Om s,i5@h%W<݌&]Ȅ.aA_H2wۿ㗨Ovčsod3mOlQϥJEp-#į>~/MlNNY{{oýϏK>/F|آ_LkӮT|8Ew@ZfF︮"ݯvFT)7 eߛIJ <^%{Ӈ1r3]#K$I} E}m^ `ըɷK泠"`*3xLȂDf͹ȵ6@ԸVb(!lÁvvvoiSNX3_W珝ɯcxqny-*9d##ԇBI)eHG֙} AIv|@,a^nw`ǁm"NLA_CT ] l 71o}M@3ّjai#$|co>kQ":@td|uKQb޸Q(:|쮱IcsJ?)DJB ,cnˇ%Q;։0ZL!@<Oy HWib(wxkW@3#hoJwQjiB{b?ٵx0BzFi>I-3SR|!NEqnu]H4t9F@{ը>Qs֩[vяN;|Č`}c)9'2y[M|RGN˥R|%8`p+dBG ޾ >xu>$>DaKcZ5I"K[ ~cg8וT/窺EK,?xz G{ݧ Fԫ;$jRDI8{J7;d4?g.Ѽ0JW 3څ[Pܽfh=%!џ?o+b9k ^ lb㾥D_f  >Az$s|Qx$wvCD1<ۢXDJJ kM~MQqz:o8[ 8/6< l4QB .bN/^NE;6M4ܣ]Q ^B~X# g< _ȏk459UR~,گ[d =C"im6ĺuZE_a^"Gi0̉K$gC/ P> 6rQKAo%9ܫX(ˣ7MG>Jg)poGsL!w p} F4*q =|0e{3T">TjM/zF㯤C 1=1vt b6Ǒ l˭73]E̪Z=ظrgZb;4yc-*h'ը뤸a3I6^p;챫#fa7->ݵB{Io0|_>.8p%hؽ@[+igYZ  Dc0/C!XHOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files~~/src/HOL/Library/Code_Target_Int.thyF//C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id1986./=' |HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages7zXZִF! 6]·Iq n[:|&[z'ABeWFq,-1Ɣ*7U\ sBMh7%}uhϾsȷU%@4nd|>//l`#ѿkuu49d<4@ )/rG"O~=4djj?*"ܤ ,* jтw@J> 9/t_cm+T-0f#[=t~bSo<?r^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$A}FCt-6KMk/WPTًnrڀr^ѭ)1毜@z'RͽRy *w tˊ3X#[O:MEO#Z9A6 F,L~ݏ@C!m'+tus.s𮖼d[ RStT~*g;=` == "[º74 TʏT.G£wWY)=Z/ iT;af)6ijj5下yŠI(ijo; B.;&LX(Ӏ@QIn#'w sj5W'A~sq9X^D]XK /NuP|}E`;3_Pm2!_!() P0TѼ%%vi74ȅfΑDH5W pb:7DC^8gZ̰4_z8$l%֌#V̝ABŭ ^L|<:^1~4lE?ZR>isL&c)qcH&xN(YoWV6geQi/]bJ,Wt{*ؿm 9H3' BI)0@q*Ud2 V?%~(Eev5!RÓWz!:WMV='=-[Y#խ_csirl!GMm!_S:O zak THk>Xrcͺo$!﹤R}ܙ )o9R!@/"~!Qm,Eۭ?%+B4+f"0wŒqLco 7d=+78zfFf`Aһ+aonŪk}8!JR+YR4 [Qڑn&[߯"ԧ_O\5#o +÷-8vm(R Wvꓝ qFѴ&3j_؉t_Kvd.+xD)I~lMẹLwZs[CU\wU0R šAD!c6\2faBuɘ.ȿyGl0'Hӛ(r*yڈ E4RGxţ9,ɁB*=ǺT#4 V4}21{9$KxHm\3+HX +-}b]ztց:JXt=I-r_ƥ=<ŃMM~bve C~@UܒBdY]A+ $QYZx+U@8@6!柲b,*SG\}-";cXzySU.ܞBzV .% $mS&l* ݃h YK'nj\7͏͡Q#:Cj&|+ &P ihq:}r-THfLFc^RQΪH6VJW˪di?@}}BL@qR^[JLrInsJdRF[*pZ=U6DZJX<^Vzx0(/AUlK蒚0źr&0VdK]=Տ55g|~k*{;pPV>0+%Xt/Kxv. O<,MiZ>eduk~1\Bũp Jf~Cٱ|"PGJ@@GZM~i+^цwKO w&*iq&!AQ!2!*ÃCJ.}s?M mi0)&jC#w iJW8xupWwIhH'mSscW*ciql󋼘FMu}`9šeB^\QzMHR}wΏ ? SSeΙ:R} gH 'TBP1`~Bj)ѝR٤/I: FLP ډ3 z߀!-7-StOE6#&fMS;:*>*՘789!pY=v*?Ij)&kcEy|'zi (\=7AS!/i.oaXiNmDV.qk&~f lr5GtzPhV%-'s(UrR8̖"'4L}T=%Кz,(ugV-u_anI7R㽱t܌o EOTeqFwFV!u\:+r@vôs!Eh`ƸY{DJ)`8ME+iviP.Z ߌ43.Tn^_;k:ְT}d 2;8 ɫ>XAO'sn^Ӽ +ſԌQ/ peX\#,̛:qKW}h`L:b`|g߱pk=AQ/x<[j]й=[kZGm O+`iJ8?+jߐvBnZjAu)Xd׀G>Le;̛;1@d:6[N1Yq]|@J-\ܲV9΀RNDEtfP4V !ϓT0/r0ۢLma-We zV#Ŏ,MvR*=;W4an[5$d}#c:%q2ȗ#rYC%9#Fm0dD_6 T{x@ bvQ0+ItLgm'`A !cp_CA\JêC/sIK+=Sct FV2ld|%M$"C0Ryr+_)sC/(J 7Ů/9k>>V&B7WAo0 HqF̘+xetR,֝(@G熈=٫1C "soG䛬`-. ,x p(hPj%aCŔsFy<+U+YRM{M7U=ҦӻF,F$.eSV#yUҝDڒʧ맳οXA xǯONyMLsdkE. rZPާ3NŴߣo yhm,Id119}BȦar]{6Fx Jh`;+-KqM1ZZGT5,Oiq@ԃ5_o+)#i iuco7?zHsYEf H)F|HEb4AU7>匦wy=.FEՁI.hE HSTYd%-h*yO|+L7 NH!@}UQ6!P; ࢿ Dt:c\j-" S=H !dKS\ޕ_3\XB~ޛQyMb5E΋ƕQG@HgF`^:; n`A R܇e֧Od17amm)uGud$ Zd(M`&aN%ƈ %!Seh'ȬfxbRXU̒՚Má# |HtG4%X*?1a撖оOKkAw,+ϫziӦF_[-q8s+́h~40. EhgYZ &&O1/C# ,HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STdოY|b/m?x'8^{~r.,d%QUԐᲝ ~%}`E^eZY<B1x6l4K(݈EB(}+30ƅE`eEppG֩;b+5;ˋ} 0 WY:keB>VO\7.(vUѺ1{kj %<@v}rKwH|SZ???fq;V˝7k0ا_U>M*1SwwӸ*~p0O~b[cK57B5gr#< wQB /R+0$#F ?|'}*JX^!>CqGB&"7HX1*,}׏Ќ@.omnӑIӽ%7Q/4XiQp x]U͝MJA* !9C>fv/΍=%b\!c"gj?KJs;^+S#`P8\-\AH@ #ȶߍG7?DrK<:L0tH '4tP"4DPYN** ,yM<)$^7;ܮZ1Ɯ++$ea-0S))֫e\l4.ЄU2ԢZ+6bK̼%KZ)LV>j[j{p[nH箦̻w>sgԤ&{6C$3Qss jmH)7z:\}>Oځx (~&Tdb .A(Ol5 {4odq) :.*m $(SN/bi;!|Y74 vWa /Zf8q>vé=Q*<:]`3 Ll.ڇcB7^a"w0X xLəhib:b J]U\8_C/t!c_3L_%]^wl ݡ &dey]=d{r wbYLN jE!p:ԧc"-.%7iXnT]pkUџAYؗ5e+uQ %-!-1e>m2 He4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id21852/C' tHOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF! 2]Άxʆ5.f-9 rq8H}P~[GΒr>`4@[z$tk=W,a4gr[sC˸?]vGx7سdUt`. _Jꗁ2|~-܆&ӓ%G(h>dM6&~eȵG X/OAmSCaBikQO3y0# jG61tY,L>JN&DY[3¿4N;m̏Y1%aWjO!T#gz5ʥ d`PvkQ=ꔐ~&/KA㳡QB~ Mк3إqU|;"Zi~vC-e'h ph/%4V􌖚,_7q#fKLį}dK7; E? "j"5 k )Xc<&3 ePXy6 5p\Ԛ`oGuewO 0a)ܾ`xsq uwz#aۚ²S:^~Ա4t9hV.zqH[,DaF H6ˁ sI:(Nu>k)b)6Z7_&v7:0fE|AI-`eؕha*Yz%sY&Y[LnV&>?x4FŌ$_Wd_ʌtpqHګjD6rvx\VH3DZ =n/*oTX SŬt`!ͩKOЖ*;8 `ݎ{!YCR.N|hѷ5D!">.ǛeCM08S]26l%b"fNOȊ\W:}Oinި R1|W0h7(h-t/\1E.O ~H=aWDP]J{kmdG0^ëŒd-+SH UqP:9FXߕ(1Gfq2+ ߣ_C΋˥v7C;(38ɰu;'ԒD)0 ht#k@ U޻:%I }0þȡJc~(jG8f\In0L?$Ea )yixńNX:`hx*sH2E! 4k8NkwʤK<%z!{{zHk2#ep__86W K͋ hcL胚Yy?޳AeEFZ{A̾R*؋搇,( Zڰ!-e^Gwz `5-&~E%mGD>gJ|@ ]|>+a فlBC<اS$ӫw|13ke0z qXĎ͵U1#I %qV_?!O2` Sc#‚~֗luqv+(Oΰ5~2D)U1uz|<-hǀm#ĮΈt[RĂ,ygEpG\lhqg o]JJi8)VMѳ_aWoP:d׵]M nUUbDvXnɶ$r~Jb*H!aa/ R 0G Nv4wArk&:q0N5~ 'vI]dn4X6 _K?/LG*$wCZE"S#ǶUqD?4A<ٔtWֲڪ7frPF`U?hyǓqĸ PjEY1-Q$o^ic. WJ_`䕣҆&8@W+JvyQ4qNW/fF 7x{?a_,Sk]e8g'|U jaP'J֚D@T. A]e0<䧿0w`>H; YO{1x ˤ]@B넹E6өhJh }c⯌A,,8毎E#]Eϥ zUgebCX?-(4̠lΨE0Yk'w]byaSA݋qgYZ6"ASE 凵l_| c d:,̓Ҹ0>"dPxVzvT>bPAllM>y<$.!Y_ ]6:C!%f ?үiCf`hV){W0 k{=*~DVx!R%\*7_Z(m%7-Vhs'ws[ۚȿeti&I,WNge5꾞iofhQN6a*К|RUlSAW8F)h0ˑ[֒,w}+5$x)d\7\m$|dl;t/&][udML0;Ng9- vZ"Ml0H@ez S_^t3  mԡK:Дm"ɇ2$[hcWmĴcfοG0<]3!ϧ U XywBd #\Lp0ď `ȷ00nv!JdJ`Ѻf']1ɛ/NkX%Xv Ck2~_7PmtWeSs%M;D\KtvpQqOM&, kx:ܰ*%-M}Xwy z=}_n3o: ڦcD;oxr)lՈm-,@In>2mt.KW,vq\A:I?w?O(:C֩, vWvkbSGb$)kh\ w$ "{[yͮsL Ze>n"z|jSjxa'֔`/(063Z`%eiSzۛ啍1\;oρt(SSJFQ Hҷ yja*\qT˶⋉cng7mZin?*4I H8kmU!vOCҒl$iwGxa%]8UC\7TS71Ԡ$\p4E+'8i`]mOwNPLˡWXi`ުXEKhz ޙAďهbEdÉK0`}_6KgZl/,bt*Sp"̂R>e“8~P}D{+^,:ݟܚ v[mZ[g />]a\ojն*m݌C$:$#)@7mu vBӭМT\l2\:DGbKx ݭ;ѮH%*wiűu׺ݯSƈ6T"2+qphfG0Lf"[1,36>Aׁijf#q ԲuU VD$^BЀSZ:|JD*$ !S3!u?g7?P}=&VZr/J7%Ni[h 6 Kre|>ǁUhjj堮{OT|AKDBx6y&O ezO/6"Ԃ23]>'bVS]-CS7MֲLqB2/%MJ}7 cbX].Hh ]_j/.ګZK>kπIK-n)\Fɫ'dχ/.)'Mc9}JkP3ʹ֔`;%o7^[[2pkg^yYD,6<!L2≋^=DOA*OuRPdM-x ;b^vI.$ӕ}ۆT,28Wrå 5gǶze4q|8"FӊhoHpnK4_sp&$J{#V*R?)a|2RЩ >LM >Ak 3pZ砛n#LrOFsh^Oo|Z{1&",!{X oס(A׷a>,@4[™eg]_,ef8p<޶+ԽihOK#t0ѕ\sjRq0%+\z>ϢHF6-x鳅₰6߮ƴEgt Cc?#HS=#_puy^vFfc[uˑ9 )$C*n#T|{ސDdkW0ܜ e@Y m3*@Դxג GB6˼xXeZB-@J2 %sdz{0K~Q<$?KI řjØ guU#u%.;,D'%/VcK]1j +zrzc'[4uhfq^ avm:TO\4`G'І&5BNjEaN5Cт[ RYnmٖv^őr`8PN8ouaR r}4f8fJ^Z-1^էl uT q:PGjJ$ɡ@vks 6z&JnY‘ᮺu uxErAix^[^u8LiFg *>- afQaM`}dVO8ƦP#gI237f)(R"ǜ:qC uk:'BJ~ƥLOD@Z]EZXCI}zC4iN LĤٸ0~5923pIPz9CAyŒaq\ѼGF bL͊`>p0ĢsW z#|%,REVu $13ǏɹFKb]6sé%eTpN@+3UoZcӳ;s߳*F5:Q!yyyu҇y,e{UN'ށf*w egFG*R{o[ڽYǓ&b_7YŶHe&${*$ Ī%&&G#8z?+t2mή?}rhƖg,=u pvuW:)DziI>`EgVNLJ1&Vg|`w'rPчMgMbO:mdq~u-5K=Л;s`mW\f#?/5j4谘HK|^G?pCs%`O.7H :bP4N+h3̬q:+dpWxC< 2NcH&0,`8H9IVZ*bTH⫐_!}WADtEj;\TR:fk\A-ҝ_/b@[ݔ 3;{ē{#TsAW}'7z_붷qdR⇓߽p)n7Qnk}uP X~T+v>PT$wMt_G!?-ŰE*Ӂ ZX8W tpUg_}C o BZ2EKȊb/T"~/:_ ڬ^S6S?]z6f#~P%&]zW𒪣zSUjk c,nk:X493ia⡹|ú%Ӌ#il&~ÀQ@|4ѺqBG1d,_!~/Kfэ%(}a(?x+zלD5ǃ}bh RY<ܰ<\m4OjBR66 ཎw(zsW严q5ðDV˰6`j{ y, g >.({^XA,A9l!,F[vI 5GJ\ei]պ:heyd{r#~q#%AY>*qB1#eh*811ն$[hnߕx"(ڏW<~AE&LʑZ%68_CqMgC6x:CuEӅbp^Bzx\XX@ M`4 H(P"l IH_1/gz͞n*'qxl`_Q ]iis 9f~N^׀h~f>6j&Pr2 Kj;uAAAR#B:su1kLBK`׬Z`$_I׷J-<|Ck+dWIԲyo'U{!Ne-Q,}¨e>n}_>~ݖԟpߩ9tWGX@Pr'peI${HYBx`v$L]q:(a=&P^Xo=$9wVaE[gpSw2jfrO>)8C\O]gYZ ?69 /7# HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup7zXZִF! ꭹA:]ˠ)jk2p O6LP=͵gl5f&Di5b^8thKg~ZX&\-nsg=OcH,ߵcN݀R+ڒjl:Y0k589, )E|^,1xa_Jt=p`yE=xw*}wt9& F-5){uZJQJJu\nm#PV/<=,W D{V `ʡ  &~wo@@DGX=:HSլ<vyB5k%o,h+hft̩OTxT4ohICmtT?XzB}f\8W8/7!LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files~~/src/HOL/Proofs/Lambda/Eta.thy@7/7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id214:6/E' |HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages7zXZִF! 8]Άxʆ5.f-9 rq8HϡLWſy!H,뻏7wcj$B8L哻5H F1B3/eg{vi5]B.hw{xl(ҳV ;$o!*Ɓrϼ[DU[CtS{}@m忝}<]<7n; uR>Hi*Yq_vV*gїHưO7?ѳ>cN̯F^f f,iYXVmso]Q.f^T4J=MҩU֚Λ_;wp%Q`C{F3i/\sQwpVGlJC";wbI/yxY:Ewm0}%?Ec in(vM$!3ERL!&$JS`-EeB 6)/M-su0tYOwv O/쇻:naǗЈzGxI׺b\R^;xTtL`TNVczՠ|;ݨm~2d#tdE^nZa5ٓ,3W8XT:LQz' L)OHЙHIDD]/'ԋ'2æfV01*"vHpNxɻ#[w;PGּÃ.A եgl &u5y9LdeKp!gYZu5 /E# tHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,'s]ˠ)jk2p O6LP=͵gl5f&Di5b^8th5ڄs tpOQyO1*{kugu e?)WTp?=J!,E̡4^7U_]]w =CܔwMq{5?R4{ 2۽+mW?WzU_)C*_ !(ӹN{W2Uo'^9mVx]./ì}y S-^>ݱy>ݚkQcc@1P)oX$!+fF . . U'`KfQ5>ajdYF$[?7gA*!hPI)xY9pRPCȫhxƊBy(o2ay|ojԃ[,´m>W-+ep0ۉߞ,Pt;x|2tJ8hn>㑱 `KvfLr9AfbrhBx0?u^1R ݛ_ 2rvyf= r xm{>.4 }o[)(m֫NL< 4*7DsAY ,!YԌWW6B4M R}-z'5wX#l ^/@ֱ&Yql]Ŵ?m0pwHNV^b:ߔELVcV&`f-6De7,wE)^eoU"UiWɺ}OPU6@f -r$@tԧkj"sӷ`M'R3"w`hx^AҺF! Oép")(}‰gM\ ѹT_ةPG(|$Gji䚆8`5 &TBFB'!FswwuNQ?x,!Tҥsz\ILmdzkv ٫Fbg}k w!&'bR@i6g |@co)mjȉ0ٕpيg[h|6;;?|bXBcN&n jEUmB\ f*Gbʍziv>ZGf`M9: (nc&ʑĈ=+.d*J|63[ Un`W*EqQ%ep͈!}*U%r2D}EĂ9`-]Voy'0=89:#פnNezMÖc Bh^F1bPƌ45ʆQ˔W(*>UMe!ro&*؆AAISC7=S&oX\G^8J'1P#YSKB+awA|XkbC1U3 Û~oO>MU^\R.~ɿ?4r<5fؒ i/G,;R 4;g.xcx,_6%v/?&1 oX}ijR U;_NWS9Wh_|„}]aP/Ɠ?6L|ؼs:PӭxfvLRSL [!*A-bYnJD]sٶ=!'zPD F}XN<|=t } };T})+A-E@%^1iKipAw2 . K\ 3mގQ2`w,@g[,'G-?q_ωeb=[4swP3{DtϤJ c6p6}ЊkQ!Mj#[7[z}׏JH<`uE_|ao+ٓ[ M/#DEe@`>%7'\a/AYZLXL8W>EdoICz65BY9E`o ɝiG]7G4@/ܢGy/'6/AǥasÖoΝqUH 9!gACo7 )߱؋_=D"Hh]xuB:mݲt\?(>6DʺCY9n^e<"es(_*/-s&bc/ m/c}t:1L=N2Be< ڈl A0d=7 RLnLL6BNmșTw]:,P.E3~\ΌSo?S0E& `)bLM"Lo}qX%'};\﹯?_/A;Mh#ز26u hҭA}ƹ;I?,~#Q <,tZ-YPͪ u؀9G> )"`e*>{@!ŬaO痪+$79/:d!mVj,S~Q nn -]6dvVaIzO]Dֻ͢PUbH*aoPɔC {]3h|\u+NKv/Լ:[6/c,%ԫnGrh *M:YwcbtnHy.y +VL-^Y{2eb71cxP֎?#ek°uQ1VI?3ҸG%dSTYT& Ẉ3b׿47Ҿ[n!ǁ6_[Tod^kn`I9tF1ǶIFDb EEMX7Qydh῞uDV3oMo[!3TV5J\+?_WЛS8Ȣ}_ԋ‡{TΰncJϟRy4zʨ'#g-HK83 nYwa2^J_<ܮ;:g ՞y[V*a:(OB <_3}47Y.K%\ig܃8gՈ1ӟ1f?-@Nc3=`Q&Sި**?5|'^iOK{EOg^tEeVy0E2G8^{6E ^w>9-DFV*ϡcJ8%{򛫟P,D|`쩥V`7 {H5'{Gɡf. #3ۙCN#agVmZLX/-UR{iPiMƘzp!ƯMs{3[}?,p&\;F&sQۉ[Ib{z]#Zc9 $`68޿ssbҋ︯w)7tH r/w6g]HҢs=.{8&Ԩ@R57]-,Uv[;TOG%Hr>vr-y,M=Ux*d(ńlz72伭h *Oǰ6>V\Xx\z g&f! 禳0@*ѿX_Spު"_kDq+Ni#bozM匌! !M'T7|eMICQԏ0S5"n}?F]ajS\:sdTjGg|3s4>'< ޱ WPc7 bƽr6oH_c{1X,LUA\jLy8زp/}iT)m:&umP:zdN5H, rsю;Ǣ5!89a]H5>=5XeiDzӢcAp ~KR;Kӗ<=?g@.meK 'ȤnPVH]y-ys4A\2m_r28?y>֠?m0,8CjUo=mXuMͲ7a`nRld%]) "3xKY?׈P| !@eRp"5~8Q\x .s[l$g&,l9:a?4+HT'K64!X-z9`oLv3߬N$9q!Sԥ5=,Ng_HZ'4V:}"'Ao ~|uOhJ< }vM0ڱ(biZ[^/zE|V.dEiP:2Gt> 5Fp.6Z}s @.k-zr[^-5 <oQ/}%-͞x>3ؼyqȊjX•4 8 |(Α+j\s i+‰zsNf6@{s-sOR7}Ʌ>H2q̷V·ek WȺ+:ɡs&gIeqI<^Y6ΧIB7> |pSϹEj, s `> *(W*SMm_ ޟݖ  I<Ƈp/IJ9hX>\)Q-H}z/$`afqVtAaBtY 樏bQO&^& %G,.~յ֚`Ie(V- Πf%S]UKU G&wѪj1蠝[)\=**6d&dIMMsۍ0;*lӏu*1IĶm~.WS3AiZɁ]QɽeVff§h_ުa3gί^ HpC ͟\'JY|a; Y 0KO@3yح{X>Jݚ\"M;/) kv,?Pa -cA~-*0;x,v|k஡E^WSO81Ub7氈2AfZ~ 檹ɇecE[Tޚ-nB pF)v`^_UCÑGZ@pzwo D<T[pUPbx%JGg+]TȺ2و7=*G$kTba8[ϱs5fjJbjŭxYUsnavnURVePEmMW ؁IQZ;a /`'P;QC0ɍM E= :E悠L 6Xwvdk~tN]rktO`-\|>(HHP{5`șpY5z %ۗɧD < D?Z"x2>U=%Ŀw = ^%ͮFW·y,Mq'N0KA XI|ZvvCpFPf.}S晗'i_$mop`d]o?tנI!*$X(,E)2f};=J˂vrꉤ1iƪ͞[@b8{_@)Gb\r#18+nK Xr u\)uU .*+:權 1c<c6\QMF{` %~ ^^K*f8`Y3ێ7bݎ)fW&zpR(7w0[ɠVJXƒ+[GMIDu="%M߫]&5g,v"`**eՑO%ӄ[YT)3h37h@`-bCEXI4v+wc^ⅸ`֦<4:@rٷάS:wb./V>YQQq! tedFLL@l[Wo}6Sc8 ]L_|m32m:1wo@ctT}zN(Nd[iB.F̼A"9fDVAnds9!^/cjW#l r3&bn}Qqc nҒ]XNCrFD빧qTHL$e`XT' d4N0s?.byr:XK=6#X-K]%'Ɵ恦qB&E"3pČ*gtb6 =Dub %CqM+n7бqI{M&\"\%Ybv|U!2QKrT+oXeObmpl-Vz7)oWCN)q$h[LAXF/Znr5لm]Q_Vh(-7cBG쮲-{ݷA{,0?>ч&ŔSAnFhWl ZŤ. .OUP-^ *Gc.a;U礍hd` N<7,`Ƶ 23۴aWܝ%KvPW6'flU*ʘg0=aɁ" D%&7#' NzˌFm#+LbP SȀŬRiEo(/#y8lHA-ᢁa=z(\Lt#DY"ܗFsƓ*L{>EV+0rFV⛍>?*ɍ2vS0mr.GnTZ?4#˺&q R$=d Y*[h40)2qN}RHH>}=ur' |NjavE"W/(QM)~j]B=.>(Дo>DDjܗl0%tQZS߅;M&%k=ԩ)M;RrWtc?n{ /927RT6E.Jҷ_ q,^o4w&NŶ}M+Dxu=ݟ-Wy44 fjɃ '>^J+WLC>39Z0GġLq82Z@D='xr'vF^\aZPawRU" ̃\y[?AMe(i0ɟ0EZz]7zʛ8H<$}w'A5]Y֝_WAݴg=GZ.t1czȉo,B7~;CUdi%>s5ZpP8v٪ҵ E4hw lʛ^S篲w.޳j[ӞKRLK6e^j(v 7Ҩ1ɺw;FD#yY^(T1*D{,pV e||F/3+҆>OWBtր~<)co6XR,z9܉)xhPQN}r|ྜo!#J>0 }MS,,$|lX8ה/7Vo9iAjѻ u|zWbo5;JT϶bT o. vʑIdKJ v >j?`2.:`'1σ+oCyX"%&ԂD~TwЙu嗂ȃY_[ERb~+)gJkK^@eؒr|Aw߸zrR{/ƨ }scl؜^qf­FU$NXۙ=ZF؎ہ`sXK+)4M0Ql+Y֞>{#K;]Md:9c8*Ua.mɁ @\<̘h>RͩvkRf$])[/^+lMS^Hw6V>4aKA icCذJ8&ADx%zJzi?Od ^t)9=lIC|nœ?|8-c$y7;؀q76s'Am쟧 b6et[>Aގds4{60Z=zRtS}גZzOW3틤a BRlwhc`a:Ljhඎ x.Mʉ\5<8'pI [pŵ*? υM1O<نWY MoPvuGVUz,iT?4e궇Cu{yGuxyK\XZAޕD ^;%qg5.Rwj`$vdKG>z7 >RS3J|߄vqxHp9)RSrF&Q.Ḙ5u0-|DJ,1ow"xw͢ S0C]cÁ2]44&W27лTN5)WhGAxrZd >2bwjr!ŕd*\&zDcdKTs-qöI<*g2qKE7 *ժlr 0o;Q`m*PLLPQ.]v `o4It ^9yPr{T+>+^d߇P^W'7jˬd,îͳ(WZM*+osihShKХh ;|? VWIHWG|-u# )ҝvWqG̩JB3:9qIXZxgs!jPF6?k"H=G,si0|[2ϩt6gR\hYRâ2U'=Pj q$n1 0NrOMD~H 6q|·yQS^X!H-/L;%h,uM 3_Iq֋>cVuK fG'hb1 ]ÎYaA|TjuG$8 i8.8ͅ&6?ءgzi8&Ba-'jҕ[V(Ł$ɾ'Og+f3!j'?lo0Mwmx"GW= +HeBI6ԡ1Aߔ_X[VmjH^.m5kDyxL :)M(Q}ǡhJwr FN˺g$kdbF %"F~k HXJڝqH4=ô"iw]!ةxjcn7]wW= V`eDэPת +/+wrQd&´R;/]ƎTӊoq ro2<ۿrVri p[}G_a]m PbpAsqMC($D 61wd'B|Թ:.@;kcn67xYܪe 9ۗW漢|ުy!Tc\s`ĶפDvɥ]ffW+ZStIm!#t!ajbhKU ?ɵ2W/P_![de}brLRyi6H^!H1iX؂&41d]~?jV縰wZ/ԇ֠.:z&U:cv33?IVїHʕٵH @"H5:Hplo)k t7=lGc+RT Rd(}KT ){A&αR$.V *2V_ˎ?;}-~?ojAvIA|5Fwe*|=%WL=jʕcth;Ȣ3 0 BK1dN^?'*>ly_+_ԲW2N#pï7;L[_<2a*T8շ#bEUn.Ny[ 7rSÚ9F[b %+J8减KaÁʚJuWbs;,Mhs.S9yEhL)S3x83Gh匄H@wj+vv1>8?wX[WWTb(R)µ LSk`jՋGo!ϼsF5pԂQ5EH-o9 jөJɳ.nɷMEe N)9ӳdVbˤDy7T\c@f_oNVFQM ^_Sv$B˦'u+]mY?`0ٹ}] Yݰ*qѹb3`SڸXV4a_PBӢY53LaDmWm 3CL' 绍DMApYgx "4i^x~ۨ~ zx \6RWyTaqk).\"'n~$Uض:*D>!iǻ0muAZQ]7܇havAů!epG,TIӊ==G/XO3xD BR3/7:eXB@ES9Nz_wjFIUwA##rt6)U6= -}0)'$wHw h;qo֓)QEq=)O?,Sr UCElMK|^WQ z,EԁAlaFUBeFS~|, tE~|@lV7 wpc#?D{bHQj] GNmq 8## بlFNҙJgexٚZoH-U+F۳كZ6P ar9VޔՓdrvO<~a9!@WoYE)pL Ky*PcB,,{b!я8E|F\!52HQ^4GhSZga/' S/gq+9yo"L x܉u D1k |,D8mfM U ;  bĠX3dž9u0+:\'8T2L͉Bs/sg @{bւ*gYZ ^ " "^1> /E# lHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 90]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4exǽnpf{=ARZMCQ{}=;!=ٛI6tXբXEES厱;ے#AqX t۹zymc`MSoim8c2H/z:JpW˞н>ҊZiق+~ d2bYg7):g5d+NFE eMYV6%oIIf G|ANh1 0u|\L\i _&3?-(/%MujJ.5F+?ybREkX9(ϏE?rŞK=oF7&l~T[hwz&>cK SpQjC5'tp;1?Ԧͤ2(8vφ78-ivfT~DZT%d800<αj˱#No ůAɗ0^NйD+ ORzIIBMOyh edkQ󙃁K eG1~f_WBT$؋¤u ؈BI>/UtyBwj~y8br߯,Q7LxG7ZOWKzPB'Z,W =%!~d~ El/Gj>1>Sm\ObTd-/2C8mDfQ(7%"#^>e'RxV4_!4.zf+t zb͜^\жIm; #WM*g$G*?x 1h"`PUPǔGg?{І) }.;J~I_c?(ێ?rRMړ*3]>e <ecA'̶ZH\綖_Sf1ЌDϩ`f͠Qf~-eKoaX0H~TR:2{ z 46*2p<7߰ b[ؑ00ej>o 9]WmfHYpcڟ?Yg$]HUa2W}|Uѽļ`,mX$Ճ쀿R8婀WŬNRLȸ5jAF,LQP`(Rfq$W v<_ec6= <Opi8:k'p,4%j#(ʃ}-aA iƻ{ G IA![bjG1Ph!R G{{uH SlHxuz}Q(zQ2-cG e,)Y!Y"NY !qiq=#܎jQ~uNo[ ,iٻ?_Iy\k+Dff\<|1|FSjZy*p&$%vؚEheΆFNϾX1_BfUK88?3|ԫfUr%7n@y$0\#+H^c(7> Ws7 h;=w3J*zJ:sݘV}M8T:M^ٞQ" ËކO9WMϲiTiCRNd%Ku:3/Ł46ycP*jQmG$d`3 q]״-*1mϮ? ~$خ)nBsq|2dhSm1?3?7ep@s8[(?r监?qDHȾ.ڀ-6G:6pOȝ$(oUf4,#-OyGd>Sce+*7ӯ!J3C3/q BtmcqĘד(X#M<յ*=7#0/KFJur;sՉc%B$~:U;5L9%Ja/!MFk12ң*K'5z2pիؕB[UHHÍr90kj֕g1.RiP:аa^ker5P!^gyAwa)$z6 z)b``hwg/¦ '7D>sίgi9()sI.TQQKf{.:/;c?O@ZH~1PI JֱFƇ6'+v:56G$+0;{z:z)4ΑLMUTCA*ac3^%#"25xo]Tx4'|'THXru:iP;X8s '.{w٠q&'d*:aBM9y:`s9Eh. dGB&*fX"G%Ѫ#yK FN[ 4tMF)<ϕb.^UTqW2J9yc}㭌.z5}!#GC lڍtHlGks(\fm|ͦ,@v I6"#<%받UGcjmMO 6FAkկ1F eH|ٕ4(#1.gYZ %b$ Jn6w } = y > b#, o +IJb# :Z [ L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages?>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup>=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files=C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/filesAD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id@;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$ 1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations# ['HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id :a1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citations :'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id `7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex `;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex `I9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex G7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texUEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texK;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texK/G= HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex "#z7s/ q & q 4 e ! ;'i # r 5kE/E1HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsH@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messagesG>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markupF=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/filesEC/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_idDC/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex </='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex @/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex =/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex >/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'@CC/t#_*@))sʚvB~6 PT5i1h5VrNYeaWϕҤI_c3b%Wߋ0H 4C5 Ixm$+G~MLt6iX?;* $(be[`6RP\Mلk܄:mFB@wk }g9iPp: }fM. ]Ϭr)÷DK {YOђ}X & i)ʰ1sHB1NȾ)u>Mщ5=$fne`\I(oz`zg]XT\1t-sa`ċ~QmA9aPQs"*Xlj}k Ӗ^% v$UR=b} }e8#s%lC3& ה@4mf!4dqO0D|H6#>/kw 4m ps{Z1":|{쾐U] )$Wpr7˪I=S}7+dY'T'=oٜ]? pAfE]5i,2wj ^FLwNzyƌ^iw-JPO#+A)wY3påsSRI!<vjt $9] x۱\FndY-~VJwhaM Z TFά;BBJz X]wgrYrH}Ks}D:/@B ÎT,ae=Պw'm o&/-L@G,;r`^c&0 M}=3:;r}~tQ>#Vf  \kpMTDR!U|3==䵚G_ߠpQu{"H!05Seײ~{p+.*8\]m$<~/n'S,]c$zT[G}[nO ?PwqWAw+ p1UMb75]D5?Oe/#?p>Y[3}N{elhs`TeIurђ-ьtRPuq*sxUْ,'Oxdl5R֟ ֕b5^R z5so@ҝ6'z~<Փb(dI:mbRupAgv7<f=0.V)] T%w*mqǏI!19hܝ6YșBT6%7Ȃ/kdf{1Ϗ3(޻ezBjM }UfsJ-t l 0Ĩ^wsNXDC 9S:Ejtp'dawr#."TyAe 9Jݥpp"|JϖOD̉M@tqC1gj^ T2(/02A^}j ,4V+h胼ƧSWDht^vhXMe]Y{[xñg͓Njq(IP@+2N#x#}vgHd E[6]I KBQ NGS22(z$1G`\TTZnX\mn !rRc".Rby]t<-@R/jB¹Y u V(T-?02)7H!o2SoΔlU{DYũ ߖϮsD_\V'-ֆ0b(-}C7Il=ޠڥ ;o,H.v_CH6 FA`RL'PQP.)l%Ӏ :2< YhNL"eޫh>S_L +xzF2 $"ݐHIW[%QZʀzMI{U]9@bXulF{U?iV 0R`_-2)+EQ.Z%NZ865.!c ޜVmLv8T(0^Z(Y"П(d өތ1p0,)o7qLoIڤԊn@5 mtmЀfz5rޥp(q2j^13AawjWRJe]p'F0rH嫽wJ0?X=r0>R40vP쁎4/^_iQLK%TA4"n+g?:[w T`ru|Yqժ^FZ%2 ,COK)8x"3Mwjaב:6nYz/`R_iqaVK Z>dh}eGR=X]boH Hqfz ^ϧ9 `{e(74QYƑd)cBB)xy%Nl!&|xnn@*/*S>an@'WZ|x1?FR4cM→ [IOը)Q@Ї/*nqדe4Կ\ɇE {YEez*:ɼ6'xYVǚ7e[6ibrvѐ=}0k|_hldj?/I޺]At+GgF^넨X h7EɡlpP%7/zP&qS >o{cb&qjuFFU!l: -C|Ƨt"AuƹN(g5دk~ZAXg Bd p<# vXu *.E ˀpyu$aU/o%wP萘Mڑޮ%:-Ō̙@;I${-FM~8V hܙ8*;g;蜽.F XyVGVdcva%\xԏJWgLlIނ**kiz$b/@-7 ,~6TaeRVְݺ&J9*%\Z#Uy39mdQ6Ư, A3EKfC*6BvjѶa8 YN>OH כ>|9߯*s3Ю;7W+)=*Pd}zc}GL yHF5 sVbNM"b䍽B}/Y0`  ~z_ݭ(NJ]O5mڙ4UT [:dZ0 .drJqQx#p˘P AQfdwyo VaQ4Y^<2<,mxZG}uJ t1:,%4Miu5fMJx})ǸQv0P%f;IR`ΗAӠߟuƼ70WX4o-F5(09j5/&!u S&Cz1. |=Jdr2up1ԙ.ډ1rrI,3~ 3rੰ`ZVL3Wlezb:n)>zRb6Cgtt`=`_yofd+D40ǂB8_3`ӘF~]BJL*rb>]×B}x/]΂:XY@(%0-qDLSh"ؽuahaNU{̤SVvЈ$XGd8/ق=ȐZ.>xZJkf79xי1F"{Տ<R=;T訸Yc:dPp%b •!!ȹ`+s b_Җ) O*!NgH Zg]޺;U0pX#¯ ,`+BLD]5فG{.%D6?G&b;o`iʬR dfm[Q=E 3uTϒm". V[7ٚٝ_n N3z"fH4}s\lk(Xd6e8itj~ :O#y6<.JWnBo #U?J"$7aڴuMI#Q]_۩=h:1BpM.G*՗JxWyPD8:}H;A eLbgATmÖ15Dy.*Skb44n^#c2l,ur"qe/ G7,']uWŬۻ~u aNaGGB]iF-O'r_G!\&\m^(z iqɟ6@zXZ DVb-¾WN^_̵brPOg i:hJZm!x_W+HPOVW6wiop ~c{"I1/!YǣX0ֶcw~sLBqJy6, 팂'=R.]/c2h5$.o$EꝈbY̚k'g&SouJJז)vDJX%1qGU /rbDzw6"IKyU!. v+a' vg hWfvyb G)l&\FBIJ" vw#Tvjܺ7M8zkՋLMU#{~Y2#0톃U,O[^w4G\ + zc1eNMi35$\b*kf7 WH?wΊq#g\ N%pO<"~m:bJ)G?s4I'#=}ua~[p(0djY!-lAW}7_H湘rٛo`E-Ѷ*e` cu(Hfd{n0g88 8B?]`-?hnz; 3I\9ORt f*[/6Y%!C%\yU@ӻ85̜|Ţƒ@t\3#p&KiǢ.}Tꆐo͋[4TљH\6E-uV"\/oC ^l, P |Rn?ٿ/3K1?8acjإ0btٜS'oc-<smq28FWm֞N7MT(Q1x҈dA+t'VY[A^QnbkS[5!JE8^怍@,A.NN6_y/hgOJFD$; ,ٷb@ٔ|I/қQ8:P(ڂK;*tQ^TƝm&sߙȦ7ԚwPzऽ wmqQXw$JIC[%RΝ:tv/'DyP7Kc|ek1h @%s0Ph>0=|םz v;r= v2'#d,ETD/%iͥb- ac) ImP6s.tg ![0q` }96k=խega:9 ƥNJ75ZN\3w|@1^D{-DvZ'MD ʍKƠ{z&x>>ż \eek&7xQVDw7I@!\F>lh`X[5VQWmϢG7 'Ӽ_Uc4n2 H zr[•6Y5;|EhiQ$ |"XYbf8"6En$7HDV a¬(lO(rwɘǯ8F?ƃ ?]$Vvez)?qPw.<H"@۹Кw.{jU>_eKeŎZrt%A>rfՁCm yݫ$Jf,?;5a=y7{x ]2 w{E !&8J353@"&Ā[oM~v,bˤ#]~S9rW:]<@XZ \5̣őCrGzTAP<^I 6V^o!9(*/#V S;<(K6oqOE}1پ(L a2G"8?N{Ryl)hH )]dMmɲqQ'Єqg@gM vUWjiu ~Fځl/RI\;xP;ICK0o^:~RZ]CAuM࿹Ӫ*/3m;nکaRD&HP(poЊ ĩүbEULh >FnGUP0[(:pJݟ"oS,<Μ jn/H Z͝eZQ:sjr@a`5XĨc˽g ڵCWCzege~% Py)%~KzhOv&'r` H NgU'7PBSs!~ $~,VX׼j{$o>2\JD:B~(!5 WUZHi#s6ufWV?j3zĚTݧ?/xă]_!VRa~-\=a#g:v?@xV =9-g$Ĭ&EgSRJm$gaPfd 7A;}y{X bQ3[&QQXx KH\hvZHd<#Iw!i~aA.iA@@N/I!Ig~R`4j/ӈ2>[/Y'hp\4ߏ9iim쟇<d'{2x|;* ߑt~:SF>-h[Sf/ҏ!3[#&.s~q)_p/UPQ'7 g-H! -I>2XL+ӈ6$Mkb!bmPze=[eQDTk++Nvz֘ɛ7hZQ#vM1-G@-P}ڝe#W\Je0^.B뤈[ښ!b-p5cAl <:jM-,n .|`v>u8k^)pE1;M5/ 's1=i/xZvkj q֟wLRzW6ҭpdR,Ki=;'JCZmi3=ߋ=Nr7,ӂּ}Xxg**WV_x9+a[[JODk&5vF=L81'qd%]z~كX_+7?KZЎY[aE]%.3dX="7^#m>:0*>"v.nE~ ,KA=z ԧѪOp5)l]^V+|eRc(CtXgbAęWۣ01i!\tp J"ĥ^d/X)kL'Yb }8!L.Ect(b0]2y5DtPթBtpjmtnr:l-`Rj'jO4$ (ۘNΫaRTP!rarHO[s]l=uIaN {NI EC5hRr[.mULG*~ \kjoy8 +GDEK:] )#+gt~ vW㴷PP]3.@AﰓmP:KESWpoCl=ba>(o\ 7dŗ &:~\fKLBZ-HmoneqRgޠr"5-xפqOJ)`A_gBy+Mf"@D*^Ke"w B "N }7`y4_xO!:r\#J/(Ct{W64PsTs٢na}Tx  (  :[pz\ bx৘bSRHHe;KŇ !A< X)VvH?ց|ABht̏=lq]s\M̆R[k,R.V6ks!hטjpM-\}M P>9{SW\ w۩15NrۃacjsfRWR;΄K%NZZYX]&LQ}i5[ MEme0/K*(38jk;wS[\S}2+dB %hW3&}ksEDaX`W~ EC:NS%@9Bt#긎BzJ&;S${} lObpI,$_?BXIX1IyE.-g 1H\CRX_QM#:U. /ݻ`~RdV"2k2:_ 9u|NPk W ֙d 4+ᵷR85ؓFV&{$g.TVSgiח^M9Qk^!OJQkmw0Pm)XVbB{\R2v%H97%&zl;3M|[ ;X@ka6[3dٷ>7UϿ4Ն 9SBA:}:ZH$".O]x>+%>/`М\/fXM~hՋAuZ}TXϪu"n];VJ/,x#c&oJAڽGg|;J6a=3~'ɫ}^ (.tnO(FZ8 ;9[{StP?Oscaxgn穇pN,ڄr6zz{CA0- ZA=зM~dkv'߹Yɽ1&l|I0+AQAP»P>u|&'xwΠqfG$"N'GS=e9վ$C%h"hջ^ yݭj8:6y,̇[/}d[ 5jɖ 'l)ݖ4jxnϸ+hUxRGN.~v&AU#R~ # Qd, %U@h6G@=g0g{[%l&xN&=br|M|8zM[m| #"]]IBƗNG!9TL0L1g*%9;1$XpLz+|*׎2e団脠6tߢr5子H]3:lLQ,7Yrk OR!TȵAD2+<0%\I;0_ʁTg.fߕl;u$q>ګO~2T¾J8ޝ`YW*8|ք5)[v)hvE9?\`%+4lj@gʖhѱeu9Oi OU E)b,,ԫ%' U(A{Hn{%/5ԀFG/,Cs7/1f3G#UJ&溹l߻Z~xidFnMT3'[.#4, iaM&CXɋ=jW&&c \h(*7Y Jy=>wB]{^xM;: e b$M4{$ؙI]ףx +G|e1Y8N򇙫[]/hZ.MȪ_+3d8hc$9L?$ux'eXaVt_< !T eᇝM:NF1Wk+q߫7RpvT܌3KKF5X9 ^((N':@mgֽibiIԧ,j\! RQ3JG ޚ;0 M6Snw-qdB2WKFsru-δs5q8Ux!9= zbnSHG[toi~}󈴸yŸMcW6XBy,H:E%m[UXӁxP{y;EXT,҇RZgD5Oz[=ݑ/^&`1oe, 13,(u按"!ʳh15T6lz]& 15QQqvWBIiqbyt8jkR 8- 9FJOٔM6J,KaNm̆UiQ1Gz1dxrŽ5} hco_;xuAF|m͡q;v. Q^Eb58){(<Ս3)0ݝf==` Xq7|"7Dh_d +q8%{uOOnn WqNe |BG&ҎFLD> Q)j΅QqR}s=dj0ާ$4bWmnyO$,AݯͫiEc0Xw&K9!Okɧ/8bN K6J] #2X#j8M.vДG@I4amIY}srMv]3CĚZYElި<#!}`hXBWj>vraw2S&)!dL*ieV,KS^Z#(i[܏+g2vW{#@x?#%T>\P1n*f8j /q .搻),ُ EglxXQV %e:ԇm >~{%haE+(!fN:4oZ/4 gIqD%$]ÁpQ"=8^ lF֮IiVIޞF;6駓(i)^04%#$J~$۷rH E%q@Euyzͥ 6N˧h%NNrHw߼5IO*Paw LH9񺠆*a+Lۓ R>K}p꟒ -djf8k˯Nغ b{NxsyMT"4XT*v+rݳeNjQ S:4m7ft䛥"M[?>Ԏ:Rq.F*zL,u$lҵ,jciNgoW xlIZ.#>r~ [‡ *|7>B3>TV} !*?idΏTyp*k3RݳAfjg)8: Fpu @A#!bAqYZ!8E e(i}! P6@QA|ht LYBꃘt&vTg"c.EH$b=]IԊ\BۜRmiRCbmx/4CZ+2hb03Atsg!4ʇMVqR?/ dT`b7JiLuZ+Q܍-xDOl >uUI*Ib:37EeWJ,n2}6P3mJ#-\䌠W"4š"Io>O<8(SfȾ ‡[)݆ơOCGgw6#RR3bmbճ2i*JQ)\x^ׁM*4nMX~}gv-wLnfm߻Tbc`JҞ8z@AkjڴRG&r67& YN͉#BM~HJ/}kS+CXž<ܣsc lv2BXPafJ>E]ѢCKUlY⟡: m핱X*YwW`iTdzvk2㱑f.޼^l.31"ɞ-'l&NM,H#VPyQeˬ LyAH5OT9OqkT޼ժuww)g pHԡI6˩sHAT8nv<]h߭w7yv%L~0xH9B~"h1}uƇL3/^.W})}r歼w!Vov0"=mLlVG;Ƶj%kecun;`}FVc{*kۙ(-/t@*az+:iåhVۆLÛ plb,F3=y!bnq#>M&’GYxiʰmN|2#+H֜聽UDT (cmT72Cw)9U = 易۶5}"* iUN};:D[uoѦSQLGXJ!DRn I}*'IZRl,5i(OÏh,t)k{cŹd:?=6/s)%hJƴNچ5SG,eh>a2i,7h(Neak{"YsL?XaK:DFqz5BpdQ 3^싚`3ysfgw!GzC,1 җ!*c#yZc~ zc¡4y20gΣ:\-I u~ks,BIm|c4wbW[ ޱ|18tThޡ80]ArGF ~;ZPaDI-⿘GߡGi64D{x ohOIsЋ:M?a<,u[Z\Z0(Z{%Ф-}AX|^sed5fd77GH>=bW1OРb57w͍SBaͯd|c0Wq1ݺNKϐ̞#֋F'\= g'Z-(.dP)dq=sRC^qq5I` NE3M]TFc(awN":>X e&$=05V鄀gfll5 :6Tz}?`z1"մ9ՎXJMӵ78ϵ8m (oP6xt]דSw?8ddNIvwh{WX9LlR # *L-JIvc/Ju]ϼ *Z^5yv([Zkyј pQsY*)ₒ۵!gЎveTp8`6/r{L3# W!XLmPxk ڊc =0`j-Q"Eqb^KaxziG^/KəSY:O ?w>ֹE]auPKMR `N it/E>{Y1X5lɳ"*]Oߌfa|VK c|Þ)ً~SHP0V`p<:)Ing w"8rPx:\=IvF$i--nϦVlR3+ ܁A.f!eww'$xCWpZ tΌ8%+O[nOaM8mʕ9űB)sM0+QmFa9]レ"{GWG|һ#S頏T3r $6QeQQ/8.\x&p >nbNHl 0QEFV&Z/D`3KxnK/+`"5p -c7RvrFq2} hOÜvC6\B!K>ȶXD>俌F-fLk\(瓞vJZ/S^M"cV $^0QJs.Q{d='1Zι%h,i&hQ'M=b,yk%} OC32eTj4T!Jr%̉~uw^pˮ„{k*F$Bh] |=Պ,,fr$|_RomU'ĞLEwd$,5!ծuzYd6b;iwb4B,=0*p1u`R$wtU%H,bcnY9GfAfm3A%aդG aXi8!eZ9rm;.U؜Jdbk6.;[OڀNZDʥSDM:УA,9H\P-n4؆XVZmjԅulL# v^r_ߌ|CuecQ&-gYZ   n\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AMLG/E' DHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b1:IpZLi/ =At|p6o)]@}Xzہ4DxLBԛsP_8TC#ם5)&`MWC}1 ѱpCAra܂! EqE>v 9J@@ڊt>/ Y+vd;5NCeE.3%R7MUi-] @GpBACfAH{'>JH\[btՄY4hY2JQӜc!t_ua7:xLJ@ iއI |paatI(cPlMrζQڮpM{P',*t`tgYZIF /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS.^sd 噷oh$hsch\F紓vXѯ5IZd(qݓkٝ+EòJTa1!Dq r3:(83 c]3u"DF8y5&gBq#Ta% QY1PDC2ǨΓ> }рKʣ.oU!(ZD 0jRWs lgM)Mu/{mLbO Nyvؿ=`1keuU$fyjb 4nH$d)V8&cP|*2Pq,Nmkx2A8yod,Nږ*3SCΖ?"rP+>~8 1(>YYC0Sp N8cV9N#Jl 5-8(ShҶܠME}"ڋay=DFeP՚Y2m9F#T+)zth}|;?@PIb17n))Gf;kz8g#bX]UI~G /Ĭ%f՝<~fubWDubE»oW{s2:=H{ #tl{eY1^h\gm/#{8PAVcsRE/NCqa R!;%yd?y~mvuE;]Rz4'M?zssNL {žia;;C ..L˸YٿVa8BtKJ۠xT {Sb ~8\(_ɂ$ @狘>x+c_X9cܗ` vDLtXhugNNd:V=.R8ݡ)|`7, Q80}gpy(Yt0~ITOp/YHˠ4'uMvˋKrsB\{YN;(RW,ԏk(*Rt5{.mpns@(c)StQ!dMm7n q6ԘՅzҞ*% mY" Ğ-z[H9A쪺3!SBxTSq`B Ć\+.{?u~sN,7e˦C|tE|6u,q2&/7@~O *ۈO AGlQm/;1g(nnv1xj(mQ {Lo2VyϺ,'è!渡kCE|6/0ȺlHU%]4J׫;^Kvp{>2P8k'#̇E/k\dV`9Hs:N͊SYQlDD#v)}?qP!WQ9'1GrqLᨩ Jj Fe]cFΥv?e }*f}En!K!TYB hF7n}ngM CK7ecT3=JMW> hauaNh#md?ntom%Պ&fGb2a3 (Wؚe;IiȒE@~O߻7sJskN8TSq[uC=ƍ( x(Ob؁$8֨ON3%K(7h16RHoG'C[Ͽc*ɡtzmF>1Z9-,Ò?M~%XaQ#t 52i*v1{%:V&  i@La% WsmuZ>%lM4*u37b Wd,"&Qs>6K͊TE I74Hb(kgYZGL%:y<['}7SGIsU/Sq.y$><`NNm$W}^b /ˠ UzWWDOh,Oz*OHvݧHH/i_ e9z& dYH?~+. 6lvOrtbk{ɧF͑4^]!%Hn$9Ӿ _]ApybЧz =/F,R? Dd)0TIn;f17IF#$|P0~Xs ,ֵ86{L[AO}|i='Cb rr\4:r~ ޞ;D GҰ?&5;1-x-I:UQP& !.3`6wrB=2Q1-î IQ2-q&IȆ oG$\: ^Uqitm7sU~:IdmX;]6y-gPG]*zmz"㪬-Zp_/]9=V!RWNA DXKյ7HφE+%K@[YV՗qux:Rtp1H5 %1=~k*zJNe \\{b$b:aGڰOfMFZ;mzĕ %攢[ t KRU[{mAJ S h _fCM̵ %z/xwBifŚ̒W d{{f[@3_۴[isSAb IU8GUmF_A܇a^%Y5ZIQ`1N2oƃ2.ZBGwŏ:'F]J YDE+Ug]*.={q͋Z=O-?o 6Փ&Bcl0+8q9报ʀFEKʘ4.aFϿG|`U Zx[ml\z$TѶt6"Sw b@,`K[<=R4qs$Wn |Y|bOD @i4>*S8O {"*$in s+ fp0` (IccCјߥL S)k8YB30Vծh'yQɃ}UêñNБ %{K=W_KбMcBop[ Xt+t ݢk^fGch,w 5~yȴ{$/ޭ:AS?B@؝oV "Sُ 0^hofNk)`hvR)| 2Y=WTc6㽈KJ)@s*RjabU-+ir|4:Y2G!7 甿up"5_3Άw]]2ri[18dxiW}Ш_ YO%JSYMKԾx}km;NzֹS,{&| ̱U⇷G"C؍\SnC>= T]Cń(qJCQSۜluC_F!"e ^XhoŴ"8!}8L굖bdhi`[,PPo>H׿("=rJ?oњF Ws)hy5q1_X@=o5Q9TkEKLoL@DT)L.V,'faT+|3+tHvnj{]%)<]5$&ngM}oJU- ٯxwqx곕%04 OLH<> .H-Ck$„{|)p2 bVׂ[ZYjghZ luƹgC,$JzQr٤W zڼÁga(KuZ󦽶3']a4g8` j'݆=n_Y"ؑA1ȼߠYfq-bBTgI W[)""j^Uax GT0 6[$4b'G1聻8>旌,r Yz1@J"jLɔ-C<$ # _rduK̋b{ k$ɹ+NgxP-z[Cy2d2(~(Қډ$ݵwp7D a)u Ӌ$ 0i;5WE 5O4K`l$ak $'>#b +voɆ_4% $@5mgGF}K"pT_+䗪$:1s ,ُ]Ņ:#[FIm !"[=,yzn-##yxEhqrmeZd[6U!X 7}-`CwQUNmeƸ(Cqr #%@0+ 5 gMF$KG2ȭ΁87<>UmR-2}Oj:a^dnaASsk# )iL`&ΫY'{%N.L-̦6D>aa'#2:"Kp u64n%1Yq ?}ZZ՚_SKCȽ;ޣ zYBLubd,Y K\;y[̭\Nh^xaiTJ ٳNR:6%k>q,:-x?fFؾj1)*y2۱,\{seV.~RіwFκs9 B!0%1UuU!̠UFY 6>Ox OM٫=[1KLUxg$ZƅgX7"4D Pj}\fkt &=!б/2IP ~O˜sCҲ7Ϳ>BuUR7x _p-jWjSIة[wu's]n%!1!j){҃[KQ{:9ǻ{pȋ<9LtU_-})ؤb]{H$51=?wsZҎQ:]a!j{溢3VSXػ[D$DuY!‰Œ^xtl-[wsxLFx HJkS!gH!v5C$d׏t;Ħ S4'( ř &q9v,Ze/Nfs4`G)JD˓aZB jIՋ;bο3F3[%\!ݐՇ"v\Ĉ%;G%E ͣv0i^dӗ R,ЯQI%J|0wFn2}e:6eNfv]G'PC=dU (ΩH(け[KR(`7H Z }_'cREɮJe1xl2AOD4|Z`~b9(\uBp} ?Sx)J.ٚH_N}PC1G. pB=R!'vmb7 vr3jf\C!O5`t})[-xw.'i0}"~ab ?u~}1y;5hN"PDÆW6]{hi*ba9HxD'@@P󫨶F=@LnNHIj~վE6,R|v0a:Q3j`qaʾl`,6 SK7 F^*H-yn1E0_E4'[Oqda!(_6{g쀏)V~'WuN-u::Hjo}2)3э ?րP 4Sm [H-6 Aޙ n5nzLm Y^.,Kcq2!|Q=2Sm3g :Zb EW,Xl'ٳ EwוĤW[ۇShPAefzIgjƁ>}G g¼U} x(@&8Vϣ7Ah'1u_c^~]m68Tx'!>YL?.+C{7&BN9uN e6.9Js %/ 5U ovؒR{(2긱bn^WB҆s;[8D;Fb Nkj6Fuq2swU @ )4e.퀌(xU_h^Ì'OGQ81s-ӛ*Vs f zFP [`izИ]]YH;N]_#́x~})켸(XxnvRYHZ$L`Ő8 m]кfhn6eRԯH&jFOv)1[p|+q^?`>MkmC2k@.@6E Kj- Oo6l *7߾tp5z4+}ơ47"w`(r bփ96XFacA= 펒&e"+w#dTK`kܯN}xĝF[6TL[ ~"eM뚖bU5_`€&Vu@W%) 2N_zN2#Iw.gUD H! sAX| Ey3hQG {pζ |ȷ)b_k  e$d$%2qv'kY8zBVJ|q>շq;'\3) =s{U3ty~S'@4ϴ=K'҇FOoTꐌ^!3+"Tm\mUT˝a aWd-Gh`!Q9M҇&TUg?k!yJӬv:<3نtu&?Ti*?%g5-ѤExj`@P^X5G}qY['jd4Bnl¹L8K]7 d Qq-},vZH&wt]擤iDͬPUVAl`ugp9ld!)::PRBՂ`g`3 5g?Xò"՜&-%dO2/{Z\eʏ- lp oKD= A먇hw!aOoqЀWWCZ->&wRoA6԰}Nm 殲 _f޿–2[~Җ$#l"V=1ciC"ThYy]hkgKR'G-7eyC"ꩫJ^؛B"/TQ Ƹ-%v=41&/':1-TW(RmHER Q5q{zqM Yoi~[J'eUVqSRFV7Ϭ>(zH+3>`ƥm:tNkJ Szc9z eՁ=Ȝ{t4w}`[k)''xb*2fƲ}F_E QIS3}1/nH?x/D̅|2)d˲?{$"WX|:+r={*mvs$P G,B[SB ]) G4 :2- rr2 CW&#.)iZef a,<8Z^S]E&ǎA ͝/Bhޘn8{c=MTG H4Q Fsw$;ݕwp.#f,ʴRAh4E pno;!NIʩ ob*lI9m!P*DvXQm}VXu8R!6%O zvkBf  7Yِ%}07#2"GZ1rhhRSe!h ԶEV!~x>7Q#5 h 1?y ? LC ֿ$g>/ #3}6uFՠV{M>[Hlr\/lE<1j_ӽ “G\z :m@+φ6X(AxWnUU)4y^dv}' df+\0GMrbW]`8W[A8:I8gyƈyG9)bΜ]>LqQwhWE~7HW0ltWB iGGho*EPy8dqh<2UtT 5H;VR2TKNfRXBۿZƓ2L;C7o ;plǖFsJt܎;rh#X#.2r_Jp?IwL7.Z!rX󗐿Q@-8̜X F^5Y-`2!+Y 1sg=_ ATJFA8\?ul]bmX YBLB`uSPRz/+K1(M401b{LQ4=^Pv6l;s]pBn̹ǨlM5 WDfحr7wr6VJ~` :? [RzA1E[D9 E= EuDɺv~!b"e,$(> =Ps,DG,ZM`\^͘}K5AydykMi7 )?C_^"c cE'-IOÞ|eY*ڐ쮠mz|- cnqz;#ݎ- _:o;ʯ30 yb"w^ֻZ6 u0mB3awI^V_QIUX^q1G~ cb}֨w}&Qf֡O6 XY*8dQ Ye^;JcO\gb)&͑?X Ѽy`Fkh vI@οG߸k0s&@94/dEdxϵ0mZKFY @CT.n(mk1b Y'X-%s=A\/ׂ|ɋa5PDKbogh5ʫVhClVl3xQm 7hsUt<MBH7:j.K?Ԑ`W =^]Wwhe}iJyQ%8g1Ӊ q)}Lڋ@fCeAKU_$GYgVf#uQ>/Rrlj"xmTk+FS BW!-!m({- |{Ӵ{YPbLim =biX{Ӈ_6h/;Bt1;4Qɤ5,3_ʇy1y؁yX-DJ< Larl\ b6-Q;^؆uHr)yzYaɪ>LCk љ T{{!AT?'`~Wg%}n]#AAgk^L6u<-|2n r"L]OVV)ē]Xs<2u .^(H온r 5gҿ b?\nm,֌gYZB>1S\9Ldx)V+@+G \ئm"o!ew) Q(QM7+O 91%BPUX`-K6=*ܤv6Zta:e{;-9?W#(lkS{KHÈ%;:=`7b\e:`r$Ԫtߵ*b6 uzd>[u9Ttl<〡ڙ8 _JXB!`zqdh#l~|1Y֙;M_qg 簿!l.2)@TyB6oD=*cJNAQ+3@2<// 9:}{%~3 %(B cf!j]M=H8Bp쩨rE U~Dߦj&uÌ^uZ 2zrtϔrg4P&&d0gwrd;,ap]^I[z=3埱bwD=Z`[l\X#S쫆9W|$gP+aL .f2q= f[VoR ߝ†'+:Arj;(.% =8ʋ1,iܒ~}':z鬄;з*嘉xcOz &˃SCq N<)T;Hj=Z%;Ƶdu1BCRSaF͞XMxY6^f7GB ۳LǣD$w2Dy%QryvƵd_zˆ "\m0DzΣtǼEQ[>ZuOV80aT4OspF$K68*̍f buUh `s(=_UT;Y/Ȱoul@z^^1Å 2hwH۴qVbзdۀz C#JlIa".23S#) @ P"MJO3sTPYz1+V)Rc)FldD2^ӌ?% e–A` ĻZuޗv(ZJA:Hsytv@}~$3" Sބ#3`gQsSV{"v)>yLPpC&&m9󘜒.xẟٰQO߲$b:TV&dvyآk Խ2eX"A Ч<)V ^Ϻhu8o]@3H ?41IUTtg/"s(1.$Y!+:Ȇ:'aT @"â!cؠkw:jfC-rn%Z ;"vW[IМש}:{ǟWhG2)Kg R}6gbnxx%2ПTMT=Ka3QތtAw% %!b0!־Hﱥ•$M#1Rcea7.A@gVK%UecZGgY ѳ$DG=n>[kmo]CV[B KKy0N\UOy UON. hKC34o^ޯj$3+yiu]&"Q헥+K9ՠƽ](?["j^5e] X@}[cqjyN!`?+8(r#;./J.u4 V֜Rqn=QDcm^sU9FB!(3O%lОWmHs"0a%pePОҕ:!]Zp&1j^|,sY}€Ezn  z4u9\.9pAwӤ0X̼ K9qOeh1횼i9a1S/w2O7„96-ljM']1II)+;۝P/eaE~vI qn*o4 GϷh*cgDḳ{y<(n&liAL,B7.dܤY^d\HgA\PVrQZ/uۄQm.sU"Ay6OB-n7ZG ;VZjeCϖMI2Mȱu`@$فx>;d23er6"_yයJ)$ߟ++d_*ح9O=V'@" 4@jFl @sߑkZ-?SD5>g$V홢 + qCT5uwu42^5Lx>Κ6uP/] !ʔK -i#h9邫KhB6@A˭24T:eM>zl":!0upQ~3#YY`@fTCv/z y΢{VbG$TBIHtPmDKD2jʋ!_Xa/謾|^AIz&S#xbEQIlݶn=JF .KXv)M=7n74jS8.UӞs! rp~y~C|J٤oH s,H5B&w/{ϱgYZe0980313278032b020db02641fff9f5359ba204bd7ef5b7f6ca06e336d162c6e47f9e9ad001580ce 065f3cddc2f2eec96331de153296bc58ee21f2a9