SQLite format 3@ H.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 S/v\D ]/ HOL-Proofs-Lambda:threads=6elapsed=98.400cpu=116.340gc=5.1887zXZִF! ]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߯s]plxΟ2_h ?n* vJ^T#SZǪ4C1,g.. Kio#ܸ_@8\$! BoĿz1Rl٪aƃ.] |@q4>,xnSwzMwv;{ro8fq l|MY hx$rCWTHfK5h $) !- Uh#|TX+[ 0&Ne*q$9M EBќq/>Yp Ewq,Q\ߧ0ѳtmR0(^$eTnxUp n=I䨟W[e;ĀAҽ"4gYZ7zXZִF! hZ]ŗXiɟ11bu)a2W5KԫG"i{Jf_t V(Ġ㴞AN 9:xۻ1/aR.^U @a,GKS9+4y _* H+1Zb֣B Nd]< ]_'tO())ңc2q*hd"xlDFb5*mP{p%J9vCKx2Z_1aZcHb_w5F`L/>`y\|":߱gYZ7zXZִF! ,}]ŗXi%T7&%eW^syMyM,4 J(-Rj6Ѻ)KN.11MK;iT[i/KQIZ-u]zuc23&(lw-[z3gHd[rT@ZYkhTg.<Ũ6#., .%zrz=5|3~Cdu-=؇ݺ26% ĴUU!yyA$usg4%=`C|^jw1nL ;vTκ&[ǰ8 e]zLe<>p4':gUÓ6 gO~V7Ϥ*ڢ<ƧվS::_َ`#XDcSG\9VK2mq<$dxE01"FS5#u sfG;,Wӊ~ "|VDily پ u>WPjhmNm衟|@Tޖtb "ZGeZf\cp@$NSIiN;ml$1d?UFMߥC z4\pK-el he) {)Vνo(=9]m$Zuw+#;iǒDF? B;O4y(vt43M2XvdK gҖRyKyXwӘoP3VŴUMsB- 21_'dvZf룣,D9_滏 cΏo\ص&JLƑf!z͒0+".BFRggƭo8 x i!-QX]/;_TtX(\syث't`ws>u) SIm¹eݮ؃0|:SX$ߚ*kreW MVA0dq,QlN[+═1/7yȀ2*!3s*: "U덿vwq}}.:zVzr `*mw>~GےFaj!}F )L %0a Bgaʍ=OsK݆ԑFl@LY(.$9 E(?97el|'L7X hq *'*3gT̡FZaNǴk*> djNrWxeaS'-;`7j]Ve;р: ( Vɉ׊;p ߺ-Q?#0+HI4+[V,4F O]nz .HKo q `|~QN|En~\x/>JQ}OiBҁ3,3(CJw]s20Yl '󼆙bv Q:&I | w2 ƎeXJi?6H +rH / HOL-Proofs-LambdaDambdaHOL-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'pDDct|[EAB;>69342100-,+%$!        = n6w } = X y > I, o +J 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 F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex T/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.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,Rgz*+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:Lu@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מ)^ΦEDz{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} gYZEҤx{vx߰~Tdb?O!T'fȰawZC#YLkLGȊ"?D6kι`عD1"kHq v56{6g҉xlD}bԥ?@pxck(&V2/s_HvTuE1,o\D:2I".tǺ֦ׄe 4&12=o8ٷN8ּalxa7Dgy~evtƈ+_+;3Zb*:Em/=XS:JOBY6w4 rLq C<7 ۾ZAm!`r幮Ÿueē%"[>D_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}{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 ( /A7 LHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex7zXZִF! D]A-MՋhvG"uIBm5grw1Y厝8l_ЩوB]O߇eyˋO˙G8 oCrV,w +t3}Pub<5K]Tp B5bBS{SSǝO!PG=9N"Vz10ayī,0okWXSn9e z&Ͼp馄0y{{CB@=|,>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ɖFgCd7Y~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 H_Hg/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\He}jo"*P B3m`ѿMxv*Gblש@tumybYQi} bLt# o{wE@D}?$Bs(J#0,T LQjf{6GV[ ھߋ Uv̗!Q*>Kl4u2`1"'e g>C`:d7)DݱlaT^9my;3F83Cjn DvIA!~ĝ|kkĠ"r dxL3[NU@%48OF^A撧 NS5x yX&8 ,T,/LQq 2V(ɧhgu,bbނ7R̀2vƣ8}PSigs5"xof껒 x6^w+٦I(q 3=VIt}CLș|*ds8\QXS=ŊM4|N/;<:T^u,=8URvXo JZߪ Az>?X; 5ogYZu /=# |HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !w]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~RUF֋3`h̀ly9kMUԴ;&ґ.2|m[O@) j;8OP*AmGO9|HNc қ<1dq)*h.3zxn {\&_s-gM=h]zȶWnz:F7]bf:`F<\{p(%K2ˆvUj,ff𝛳t%eUVZ4%͞4!e]/=!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\7M~O|!TQM D0 V:bX靝}c9C#iCF[j }ẵVs&fע8bQ}ViP8&x7 մoꃥcXpWأ@A@&'hd#iZNK)nh$U1 u$~x> /ظӁVW"֢+[[ʃL 0r~G &x!srоFq:;SC7'[AE ќ.穕c&)Q((哵 s A; 1>kWv=~g)\hs)'9MXɿ&$N-Iy6Y/2߆ž-Rb`>" єҼuY_< pks1[{հy5EkN' U7[_ 71icRx=ÀG$cyQG5?~TsAwP!2ΝuN𾔞Z' P=L)7;<{]V9:+ N㖄&` U9SJ:Ⱥ.M2)=~ߐnhW Ai-)M(5scYYLemᚗDy[af '9֟$Ff.4}Jz \?Yx;<0TEKq+$:G<=|D c$oH6ևĶɈ=^zÖ ZV8ǚIڕ"P+fOfL&ပ59X';_J%jb0#gE{(&qЋN:NRCZȲ DZo^IB+r2_㼷*1}"k+?f#VV*9P, 3&MtBXpt8zKV39nF0<zu4hYA'9_\'ZN#X&t\I_7Rj_XZ 6x4 Suem*(F@uw[TAY[%CO0**a>\ 0K~j4o64eqpϰ̋0Sm?zVtT,OT\OK$NQ3=q3h;?v9A}aˍZcҹM8 =jK 7`%ԡhWa eCw>PԉcJ/ړyO0u]kyJ!ʪiirHLWԷb}% Y,7]nāԱT/u{sއ/@xJܤ#cFJleՏWQ3BUOҦQ$ݍQ5 7A9d@CҬ*v;PTe9  wd'9#aU6p6@SC] 1!ZAcC^u, ݷ /hR &c7s-َ_@%{Ӥ5T*+|&PG+v^XfɩIYSI#ǵ==Ɠx#-ոe&*Fh ' >F ]s^\%$$i,9AOD*:5嚛9B,g;a; \&L@arlyJ)e-=xUu+5]ku;3c/]e) iV<U{Jbi6'آv/pjV掼< c`;2bV٧9@($4s'G/bI%}=KE%ЩRD f"Rm-qhXPE9c96+|$,ۯ"%|+fy ͊NaqD)avrMУw(zr**쿌(@z Xq~خN۠vw7=FEc^~t-iy}lۅsA鳾ѡTi3 cC9O}rLYKujz5+)M&Wn Hs{BCK-nUodHC& f &l%jLq5Aw L=K2[77ݗޣ;)&^K= T s:ڽ423SK鉠 N@*f(hY2./_>yGlasF >+T Wt_ -T1U|p}?6bӮ.Casj<-G_!47k`߄yc* )+p_d]>%\%΃PL,6w6C%@}#])"JwNX "q/.;Xs䅕4:kds[R/,jwUș;ozs|}1r](GZ'0cc/_*H҆%0K!%ATֽ]lz 4[jcZRQLەL8m _$;TbɏxG܄&Z> zMCJ12VWF^(dL1QkV.m{@r3e b ^S_VUyQHqEb឵$Y[y{@+6+xN\SŜe^XɓR31dbϸ-Fk=;$Î#(:!xtV[Qv&aۓɉH#|1N%>0=$jbfоx: \va}"&#]+\gn#Ϫک9Y$-4sWutP[S8ds{Ven_ȼo,c28oF>aD -T[S;aP YYҏy 5\ww,D; o݄mGU@ wsO7g|  ?u _uXp8X" z>15~F}ϚF#g4g@< `$$iv:mwrA)D\z &~MWtr ;zR;4i*:no׸jY ݔ߷\3 kGw /FBidd2LeDdۓP7:ﱖovB,T{4ma$vt2wV+a"c:Y .lCQGGjrǮ| uQLm)tjitnle P{ڧTǤy2j}nhhtZ儙1OY0ҷ/j( CE1 + ÙlpHl&~;#iv'6sub.xn\>}Jsi/^rT8P#:59E̜!v<# j0G#CA[} hc.9C>in#RA]J/4Aoghs.r-A;G^P1(svE]OQ+EjBuAn-p'̞B+ʓ?h՟pHxIsTV7$Ƚ"2'yAbDˈ8@ :\.);0 <AbU{W(~:,k,2'y}c[_ 8M: ~J\ҺQFih6pRzfhvS^a:$ܑCdRU`#1(:\#HB(dQtjNMߙ i~'8Jw?,:ZZCc0ީ>K=)4n]n,{[د*mdrgψ}oآ犪/vl6( 9h1rM"qQ2: +RG̮~azy' @_vsHPF2,8(#JhHhL~1Ń)dDjj3:W5uQ|\AvxzY}717VD%=Qd\J\Ex0ĈaX<=ƿZlP W&k9H2ka}|xڇ'K1B䄁{~cuȶ3̘bvrڍGTxm\RVE'(K`"529s$bt=P'Jx ѝ74Vfsh9=q(ӗԋ;=SX"pR.\c\ ;+9RA#O|t2`}aߋQAK5ydgI5HawSyq$U8.DeF+8L"@_y(IcH.%AWޔ3˔<8!ƙ#kiŚ v|<;S@Oh<5OI&jubg **XM ]޶;9$SMVIXF:&lkXx1ROqS9:@t,2`pJh ﰸԘU 7eC0+JsWeZ-]+ q O9S\{f~gc!ӰgI#kͧ"K 9-kb=3_z7%qջ)} po<)čU9̷[E*w/ "L*L_ 1; fT.#fR#ځy ,%] ՂBss.t(1qdY ya$ZL2e{4* RHOY_+Qr=(`;0D)`"2xet]4j$~mY~Sl^2AiQYu"/K=N:߱4:?vi6:[Ś0r hHt `'u Me1>f^G.B.*na#}K HO:yrDSB5W=GcyA_nߤC{zO/ieۑ毓bP M3)]p8B1^~2eʽ 7̌6auAzHT~B~WWv6 L}%_S5 BW[5Aq"$E-b)h۟uLtq~<-`Pۿ[UƎ&F2QWΡ޸gHtAjWd'Οߣ\~PaIfTeDﴣ]Y1l Ŗ4E)v`:' ?R$)ca 'x,];J8k i횆Mb֦5hA ) S7rx]>I>яDSStB;6NLo^ aS~\rLMí 1οG_c⦳ ˙^!_<TR/6<;{xé-hZ${s|( r$Zŧ% Yb;-!ȿpMG$[K*./&gv-E\6 H}fBE92q&/8\v'?mcZF^Mr*>}A! )Z6anW欹n -,aG[sS00WBG"CI =ErEz5#ZLQd]K #`-,ı")hPJ-{v!"ѷ eE^)Y!d(3cU;]NYm0=nx}q6yo9\pU'گ=+b1ԩo9{ݪ/X֮D: ZVOІU|dݒ+q5+nd{}6Bt뼮/;}1kR) qM~^ט 0"v@)Cie849/CjX7z 8s An^LKvoA:8v~lڋ;2Kɩi & OmN`!%8m!~cPg+fd˧{|\("uvC@B,v>kV7%A4ޢ"JУIfբ*ۤAN,$9Ce%K+ȫS.kQ[o,IH}FF.ήxքǢ'p(wb4T߾ITk5+thߒ+͵-^\tάYeA02IuMw~z.[tzՓ51 n cVeEsjy-ϨBQlJ0H5SG)KՈP͆GRWm6AU?7͸`zC'yxF]ӜI#CB']3#Ƶ@y.ĠV'G//Z7(*Fݬpr:҂Is ,`WCYە{ZVT]=/Vj3Ze-9QD`$j߈c^gno=,񈞴t2۶\$ᘱIݑt&XoZzP9Dtۑ Vy coi{vBc7YMM !r$+NM8U!g 4Pփ SeɞDˆ7%navݥG"?n?C،r*pJ2P00 )r@&-Cfm=IcHrh7#=^`BE6dUƙq*t)Q;2ThM|-UPo*chVȵ|pbrW,o}x0C3xYSt{;qD,C8D)pޙe464^-`YT(/01FPIa,tݡ '(vMeRbJ:M9-Þ7~͚o.{N6'R[ \d&7$_Ȼ x>R@8ƊgFb~ ڡ{يVR}o7A/*ͫHtꮗk}w[x^u53i*4=9:i/hɻ aq"L?i'p}`U[?<o\1{#UĦ묅*cvYGՅl#r>!e9̙[Kt2xS83B!Q l/fK/بY?W+_l!#'s^EqVxa{$]*#ѓ-o(ޤ-l_RW6zܓL hΨI]yl1MF`h.ۢqj:(PBᰇ!<3N BcFw' +#=Rnpc#18F?uG03=qʭE ZCAӄ6 2T Hgkqp@ |@coTܤ1&#fՄcO#lbڏ چ%H3D8q2q&kѿaq!2n]#+7kivtXp:SQ}(o{]Gk#Γ+Ʈ {)&(F+τ/ '|9W8bu3~5RSKɫ˘?kXTyFJdE眑I*l yR/:zf 4S޾?) `Jj8E~ÿtمkS 6~,>d(Q#(rë)`e;C -НXtx؍ [K|()NkZ=Г.,)zoR%*'rw႒!<4 L '쇻6^=p[z)M~(kQƶk>-1 Ǚ0@3u_tӂe8Mn^߯gZvRx{Zs(wWE=meDZ!~a]S hE﵁ ;<̱g褶ӯ-|ᩱgYZ o.oo/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files~~/src/HOL/Proofs/Lambda/ListApplication.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id206G/G' HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7zXZִF! (sC]·Iq n[:|&[z'^<4e{(FˊR12> MH?aP,W8@{΢ Ao8aàGS-IOdo0/1{lX@j{EL W+8iˇOm/S>jTg f^ /jd('WKq|D*Xܰ+*r[8n $e [ poyo{6E[51 ?&k<LWZ[N!ݝJ^PfPهېIg@el2 [*G q(ҔFRӶ31Ff) S@JOt4o5E|88Ѿ@ 6:+2x)W0.yΔ@S|(^LѴMhÎuA^ "/>,,%Ɲ=L"CS"[׃ޛw3v¼"Twg.SA()O#Rl{{i랧8Lj-ȼT" ؇(1n֤JQ^!{[}7|c>C9q?{tH@4I)CCǾԦuit%i]u,WSCLLW9L"Z}[mlյF5M.Zj3Jf4OU}#/=9 堰/ۏpw.e8^ije|Dk7{Xt*nk)I s'6K5opGm@[s]˘w`hOC|joD}N&"OVaLLe*?3…B%OBln `n75Tx;̓m2{ȌOjޭ!epi|e+k蟥xt+|YAaŽ_Ps=2@[p!UX{4 j%)ҀZ0jRKu{.S,Au(V\kIXÕyί.Ic,Yʕ9ZKq$),u%uPZ^UAOM5>sG0:ې>svJX9d0/w|]h!N7+y6HJgcG̰R8yˇN3DN 6B7tOew>=i:zd5]0?wODV,ykk".1e8xB 9}3{D B_ⷢ<1} +-kW0=я@)e>\Ց#' @TCuoo }jxEbYt Σ8,"9eM8M=T[b}WF/@ϸi;C7 KPq{6d:ɼ W9vx塺3P.ab?powXE; & ~`=5bSV붂G͠ҧ#'LS.!,ie5GӘ MP/s EG{+50U"QOOVB+,n1-iouf%#C-!"6'jZ&O>U#l 9@cBTcf徬q"h b}')8 4_DA>,e,o>K w~D7wxdW]zJ@̕Nz(kb{Y=8x\U3#JT,(x}x)F:y΀I,:^ĮϞ2f*fSDV=Zv_] 2#E> 4̸^ݛA/'x/7Ydbb0y!v':e ԏn:  vm`--̮QJDMWꁇb:u EXGVOMj3;[^ŧ3dK[eLplmD, "Lﺵf zأ4_9A S2S*`{%uL(buʹ|Ky6*A9&#NـNHcӞNޡv, -/DYV}nEth6V"n7_xy|(FWp *f$Zb 8+>h߈]R7 l#l"P;Zק&;. ANy*0lvpV\"r%Uog9A9Sk2Q?1&N!wj09g<\|^N_&:2P'3*]>Ihe3 ; Ո97)J mMFL˺Ka(I|Yȑܳg-,7urD[Ƚ/GHTgsg$82j }Y<#P1W>2\Oyg%ϒW`&6ԾB$Z-pPUU>Nw}7]& (q~* z̫0\;,_63MKn*`6IK#0q'm-WAߴ cK_"QѫAXƠDcm$5IsNO]mF-[[egGK:q鬽,EY0x4pᷰ 6,Wϔ.MQn6Z@חaϒy\:ó#_oʃmO&1â\6f\ǡMf%d JQxh2R?YZ-<2$3V!=  $^@R!TX]0Pn@Dq *C:v/oT|B:U( )"N>2GWCWf}*Nq.щt9 k/.b|6MGfSp{]smL( FˤZR _6(Kb_r)Pf lL5Q;8RN&N A9DAO83V%oNQ\($^J n<=M*br2~w=LPky,)!h:T#n Iy if_d)FƜ-^\B׼oGKLa6Z5ҢfO͠H7Lw޿"3돐D%\C!ʶ%*E|crnTfť]$J[8EGҶVoX7XlK}!!~lU4Kn|GNvr-ȷ7Lޥg8 29.D﹠}+^Y xN.[ ui0oA0ٷOFBI7:W ˓j@p߱jmIF\8<d$AֶlGYЮC-}x1u# _7 K]{:e3*?-IcuBԽL؃@YR]ц/1B "Iô4. R$PyQ)4cKd"65] >& 5:dEs;#Wo5qΙӳgGLb)YOS76^.V'p9x%3Ʉ Y%gYZ J^ /O# *RQ_hE&ծ3%~dp9 tȲ"b-Օ@%Zj(=s0؆)9mkM 0K} {.E?C_t[wmE6:о-S ` FIx{ko;Qhu=8_XҜ4XA *oȒ5t o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220]/O# 8r )z;xkyY:$MіxFS~uj 0[n1|t51JV~W }}& gBl+_gΫXɴB $;B ARr]IhT8,9M'}͸v~L\]0Rs0Wg{kUT 5̦b8,iNvm'تywW+ m>+3[ІCҡ >P4 y@RеӏY+h"/ŲyPbX#j<nVwѩ/G$xY"+f"8m{*Fh7`;fQe_Iǣ=Ȼiؑ.= axlܫPp@ڋ(l,AJ܈ [?8k׀{?u%ЕuMNDDMW̷UkGqBR+gt2J,^v=!8мugIdSK 6+.;#KE8^h.<7ey.v˔<<FG(}\MxdLJW^@Ə=Qӊxɴ1rƐ42a[XGSNh[ʱkn\ࣴ^{wHMB&sRqrle-,p=~]GM@sEez$w4֤8 0|}$%#kQ"3ƭ/mbAV$xU f6'7BbMECKt BD> ձ)t =̿HS!z@l:Ńu!z$KIj_>,2\qz}W\O)Ƣ7K$p6rL֏iRUK,`h%'z؛XkՄ'T7_ɑlD'X-u+sٱ"@Mkw/Zb).4^eoݺ<Yae[]? Sa@,WP1>՗pZ*!}-F6$[עf EPCW0C_5FPnbB::.ӝmfATe8=^&AL,93E){n! .m;C/@erz5>/ߕ#T]}{U;rhkS缆%n6ԢC%fc#J}ħ*ȟGX'aQDS(_ { <+'e-Cv51^,4CU\C)7Gge#fBfeD.bٶn0Z2P$+'ηKZЫQί2k?߲F97$43(M^F*qXSI We&׈-wg]H@b37d[H=:7Tx.Ru!=dҿ߄K^~N_Q,u/]s1M e!2xzؕ1 \k0TD7~Ywԍ{YZ\> ;ch!F*H} Գ h4UZM=YR@ͨ -d)m\PKȅ1.gT9"~$hifMn00Z!}#Y lXO5p51P薮`Hʺ]*1ǘ"{@֐;gQ}a 7nKb9'VTԾ]}D>=Ϝ-7 ӵz՞t8^.r&~R*flc_B!=BK 2Gm DkBتLH)wTOU%FY Z2ޙ~D!Pg+[~E]NQ 7߭|kmGp)} H)74'W9Ywe 44P/ͦ9E!8;l1jaO{OԄφ^kW*ù|>x;.oNe .dPi-`~Z]~GJdn>8é8'q1 6}x 2aOf|5\pS? $d˄+.}z;H/i& (>pҢn&$ τg̉{ jL1WZV 2gAnFEv{,ni0@ zTɣ^̦l] pi@ZPEq0`$P?ʓKWi+X)"QLC{\)ږ}CW *BD7?. btreew͕^^thYv=!nJ8ZWNsۺNSR0uP>[n'5gs{6)ОwB_nc Ilo[IF7nz&HOg; 4/[<.sn:*귎߆4O2]0nuvcYn.Co?w(VA.:9)ysrw $ UkV.c|2d`ؔ/"ݪM9qC"WKalv*dh6TK cA˟,H$.J^@|AS-jWu5^*7o9 ݍ=Ƅ~|,am$[Isr"SgkRHq)3t<Ćm(΄ be#yV(dk2|^@O~}}1&z;MYwf9Oۣx٧S0&R\1 Ezd~^2i̙^ e݃@vb='pa&l*jD)ml ^IҐXZ+bAƝh6qQ@ÑyӁG,_7hZQHҸܭJ80j9ڿİ8)"rd{;B&P(H,wp їBڋ,PW)+^:[1ǡNf?: Y^hӢ3';ą9nAͺO6/jWp ߎ-7$)͈%CV,x]$IOx^UvxPeD{5y$r~BEN*̲޷ 7w&Wl\6ߤ5Y\ugЩDe '(!q:k* R.%rcB0OK !$͟rmmeZj绶-TN}K2b=75J  տϦ&7Zғx&;^+Q6ĸC1 lw,ixw/Wp#4OAφ]5e&iNz9Q{=ϭR \Qa|3q=r0+:(($L ' M<՞s#Zq {9kU%ww\zP~7sx)BL{{#PFE+~Hki'R9~\y"S|)]^x |͠>Ь@89ĥ" +P'[i}b%ۤug &"ꀓ@/M6e F뛴^k;a6wFA`3՛^qѽA.(=U"̽+LKX[{QٷnV>6- 7f(z=Qt>K*{brDU`+w2ܨ GY?l/=K[//ӆ\1f+_XP?5pc+}'`E96>,F@_‰͒Z,j)B>ߐUw+XWT:&t.=qDJi YCw23kza?Q <8o8UbE {;QA%M*\%; 4!! FzLHH3(l^B=W^:C;G9WYh-Β\s_j(Xe^U=W[+N3 ^q2w?-!ăO;2*4B&hOꨞHbT<ҴA!M{R.43N"G <8a^'-Zeu͠ O9,vv~R8o7pق>( uޯobNuN(%Xrez_@^H20b #'$)ʧHmii`_Ǔ%Ba#$ feJwx֧_-~Np'3#"9G:M+]dTjX$|g bf2AK *p'la6zR䉧 -fR5>HyR(bກ *7"c"&V 6"ˑ>1G&6aѸPR[SShw[ 9-5pq, ,!xT)&SROCltb=LxMOz%oK2ЬځE(9UGpy-4`3a!DR$ B:pmTn$@o:tqb>D /"4OzK6{U`RN9 #mB_.ͿPx,[l WH:XȁuaC?i| PU&<%-9f,NdzEW+&HqC:v%ήDWOsVPAw; 24G-6j/syTd FވɵMbo *|P۞yY{%xV2缱/' ϖiQi *75nD|Q*`Le-#Rf4X$^3-QbF@ tj 1F&2}q"JcϚu&O9Mr1YHjT)(Iyn WIݣrN .E]c' s/q zyqe Ѝ(.f=w_!|A4LQFv` ##iXW&s^NcqA͈+ߖCήp(:pK+(/9ѭ|(ktɕ#X^jAL;lIO5{PuBM󛣰r77ſ>ݚpIzg Aj=ٓ`u^z`LK3TУPLl1'TG$XDϫ5_gTwr&LVqt`}-hF%{dƬ{oϵEL^M+! _ cgo`2λ83`hҷb%)東O^f<9bTa݃͆4%hZU'Ɛ<*I=+.ےJ\H<$U(h1=h тtSCS&KMlS#[e3iCg ;>W".VG)@%# l5'u~fU+Hێފ$I`P][$i`hRAץ`8#54DTRϢ̸uUmiL:s%1 2[;%wAŁkFBt` {h4 g0]AQ83u#&,$Do\icQ 4џ}F(1w'e0ش 2ұ>JEgmd{msCmtnNy1' ~& ¼xzh j]|TG{y`"28@eRzu8hSN՝.>3CÓ 5ݽ [ul_3-Wg(K@2ŬvZxƌ6)@$IN 51 LT( vMKcb0-::FiURr v̪-&9|a8N]+LN! 岳.瞅)_;e~xg@gpc:1k^cn62Иԕud?n%W܇5$EƮ~^̤Afɗ>n5'iTm >umh?OGbgFp J S18`ڇvޯXגKmu¿yI8[Aˌa2]twSs(u?@ ðSnٷ@2퍣9'd&tIEX4-cD,I/:wudOmIՆ )V7NyFف8Y`+i.ֹ.'Ȥ7J;a5Ҏ=;^ l5 !*JY h%,&&ճbz}jGp`Mɵ=jp L^RSSaH׭V}供86o=Hy>Vıs֐eli{A]2T~r@%X"͆8My­$8+Hx%3>M<2T 5L h qZȄC2ʬyMЄxr[`y ;b%3?ws%W愙)p%@g7^j@;AIcؾL_d@1swYS/ǁ{xXgڱ)*bjL›{3h~\tzG/w fr;鳂jESJٯ#ʹ1EN2uRM Rt 4+Bk7(1gqߨIeFCN]ȏ$VR$7G'܅IJaQǿ`dC-U;ڜcs,߱\F1:>vb g.'0O.6UT똑5O"-nYt`2oGs'l)g6MHC}uW 9Ȗ,]_4Trsː#ZF9V@c=ܿPǙ97;gkvts Dz;RtuSJI6N~qU+hrj֯CzSX}gzM ݓ0<q5Jb1;q7A^ C~.O^,w&t9.KH֫4wc*L0=z3hנt{^U4T?.ȹxڷ˩\f@ο.=:܋%rWu;kh?lVUI~D 4d%HVNo@B7i_B?XVf߀ L mMB8LwmaCj/Z˂SRXCH3'"^;N)5m=Z QdA8 \ +HʙDFk藚{PJ @hXZe28nslhO:M1C'lsͤǤ<w鴒K}*8G~TfM(?|_T:fJRcq|!M1SjWV}K.\=Z銸tjlkxk\] @ŠX  {+g䑟ج' SY"=46w,H^h[I; >lfٹmd6&^1@?lM)/7o 0TϿPqy)T!{.hۓ&}/#:/>R]A(Q:#PEsmF*k%J8ldMslXXMdɣQDZp:6nLDz@Kd42@| q3ZgH_K{ m\>fUZ5;ңl\b>=]5ʡ!יt#36%5"q~SR+oA ӄuX>ǻxU1mvRjW*8BGaKUC?5,FH >l0흁<[bh01EX7#NԎK @"Řn\R,u!Xb T&ծ`fa~T^Uf'is1R 8-}O^,K d=8^9G 8jLGU[v)1\+FSS7SV9&U5ul! \g/Rhڅ=Q‚E$S_k5D X2BRܼajnioeOP3z}Mm擼Wa_YDP .ڞ]_f<9> c b4`8Nvpe${(p*KLU GMk\ QsXەyUlF1-ȔR"r"|#51Lz3uK)QӝE)D6H39Y0P]u;1MT^=ԍ4[WqC^ a xi!cơPis3.;f)+B:uO~De]AZX6hxVgݣSjRX^sb' '_*j4NJP,xUzh20O0wڕHM?=,uTmۊS\DsJjo6& ׼)U va{Z9ˢiU_7&1mA5O4`C{3=PJpjSS`H[W;I2Wx N%cw}fAҒ/dI砢":+ BV%/V(\ M)d7v3j":O7A(PWǩ@yȹ Q1G@՛{I?zq n7:Fv>/*J2ف+3*dB$E[H.d:WdvI|g-cNNڴ;Yds~1.N=|:mtR bdRY=+'Nh@־۲˞4} dԨ!.ֲ/D'@ NGK nJ>֣]E:D8@Gu"AQXdڗf7L]xz[F-rx|Cly3SY;vzB7rX(;wC;ݘgƉ+Mc.0/9_ՊB$ٝR~$Xi1ջөQYi2.lRڜy^99w aG,hPNc4 R ~ӢB{Ng)o$0_u{PNWműn_Br:4! ]$$ H2Ӟ!ܑ @0: [8#pj#.\Tb \@;4;*՜iU%T6g~%#>a#f"f$t4ArZ5V@C3~"sW $A5 8'cA aκv2iqH)oR ! 1# uq(SEQTd Pd%;on2/G;Rxzi(c* ӃsnKB$Z 60Bi‡Mawܙ1 nqN[c.%v @PIbmfOY߬N68kȌBM &S˨|AM&scg*M i"D.Q[U gА:Ux,C)&wD,D=`wԴM[N by#A7]wg.ȣxx}):{j{*z+v~ ju9p|c.FPsWlzA7O"Z yUjvzql˂zHL32BAAtHL:p_$'kp fTCZƟTeTݡCY=`8SN}#\I9~|# i6{_i= 3 yiCg'vF|iWZě" b?x 1,ŭ&zⳬGˢ%)^.h`Ԯ/VG &j%pO979ωs ey.ѦzxR2BGfz'8.  =„+H7[-GU~ɆzO" Q,ࠜ,Q NȨԜ?>lK0y+ ,sxSZ, 6c-pË_s-1o^BŅiwnE"v-+T#(ńXxнR+(hL[!՗ş_tq!!FUtkzhn8+NVNH<0Af71 <(b|ͩ5k d\@+$f7_eV2qdxooãF+bD"O-uf^.0E'#Z'$0{EgYj8׫4wk+|z?ۑK[uRa.Ùf^WyQZ{wLv|Ԟ͵@jJ^F6uTk? bG{LȩH3h #ҙDH*Fȼ ;וq⥦@uY?;L|՜AJDLB`Dt=o6ni9pF 循<"8;h;NoMj,|2;W mU8nP\u+24:k ~*R!4m"cCw(O |Fsfc,/C>*ǤJiDv'኷wד!hXe%c*pDž&ѻ(ػPU'^a$jD?}0LReg H!3E_eh.uӵagI;9)>m^/W)KYqWoxxmvϢTHy:YaĞC_hC$kIfWu\YK?  | x(I+iiR<ӿٓ3!C 8J>Hu^^Lb$0<ُM݊X{=O)9"קd1(yrucˌ>9@ks@Ǔ0R,+ aT?tOSL,2't x4vT"b2Z-*%ȭ7P\/ir18] y~urxe[\ dF.TQe> V'wloX Wjݮ+hytr4H)G5lj Nf:^aŗk@t?cTD1xYj߇B'/U?Mh` 8&=04%iV J/Dj^T}!?MT(Fƒ1j*Wo-پKpcGb WfW֌:3j$<14 4,h'yʚJ@mr;O;H։:@J̊A/ʽCIDj[KWy}οs֬fs9mp&xӏ. ԭ<ă-f\Qȫܚykq[z\*އtji8us<s"@BF$@x~ 5Dk'hQ2zDWnykGu@/Aкw~.t/ڨ3k'f>#Iq?mHgGYGv/c".*!t?\Y;gX{7.~5ub3=ǶɭTOg m4-҈btSj\̠>R`vBj(a4( mWS@qJnZG*sgYZ  j V! /A# HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! b]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E eC˘ ~Hlu#qt|8yl5Lp+iR^ I꟣^pTqnrGiD90E?+D|1tjD!Ӊ}1:LMB\ޑRӌsEj?_%La/zـ_ x#aV4 fNԄ2:zTK GM}kYleI Qx[h *L@6<"$M~(%ȑ䑢Z뢮9G* s l2M1tF##L \Gi* R k7x,.QW q[ *)G$g{*"xYE PP>%f9i%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'ye}㷷OBx!8_q s ׏>r/}zmz#μz~HrTڬG ՊK0r;綿LM"2Ζӛo)[e+8 pDOe)K/_nakP`]XRdmR;Rt@Л]!Ȉ+k=Ȧe=Z%b 4&ۭ>d\ޙbh)&+̱co ZؕP`(9jjC <.] jk&?1 Q.һ #@>u+tGnd2c_cXlLȈn04_t̜*dQ0l1ˊ|Gu*,/81~bD68T*8~!tIbL湥q AH&0v맺%TAD|#W*b oD %ϣܵ)eQYղ !SR &# 5Rxp?_U.,7\KEG{W!h|y,S(h^GdX{Xb<\b'[xp\dd_+qBf6 Q.[R樛[:/[5|s)J4>d'5 עGArj59U!V^R[/ FĆV!Hl$u wȭ$5{DYU=~;\@L+yTn0B_oo4;"4fĵ:7IrMmb6D f2C~akA('8% zo1. 6֕wtc2#_Q9vh #V'77e:Lada+ t(W9W++a2H$bM c;#gpUNAs(/Gx >a.tK`gF;qcסCyn~Y]<;6D: uwY ``4bp%z䷐R&#Joü wlG1Bsq1f}QZ&KzsHiGxˑvOsz鞣wڶ`fYLDaQ;Ml"p^~NT&[MjۑG*MZ]~ lI @-مei>Hz1컥ڑ[a@OvZ&`&\C1q/rCOy[!;+rQըfݹ j^l2-"*Ò`;JRtFh`ޖg=B#2ĝIbj}K<Σ rؠ;ɋјB=5vp7p_@Yzɘ^nMaGw_JW na?@i1F]Il/1x[9,b8:.q"a19-(#nY.߶-e@MP 8Ʌ9)vZA˻v1YfʱeG4]̘DS!YĊ77l>ё`2lw"7'zSsb*v&c*8zyfqĂhqG$a2d[|a2( z3]e_*ׯxjV~꿦o91W(wK𨀊\[i0cD!n[i ܵ?8C8 &m-?D0rMIv`bPεwhH99 Fhhick3ɦ/ *zoUGЛ,."bowa4oQ4L!-4q!0B1s,:u3y&s,F\#35 ̿$F91znh_ Mz+9V*`6ŷ񠅚:aH3]8X&ygeZ~5jʲ c'(6zOTfˆ!bvQqŭ901O^GY~ʽȓqduB8 s- 9tC% m2"k #^W;ǥ ᗶ)ŖͅîtL&ۖ$\lz- E%-5qU)iJx~p+ ja&Fp*e >W9;י䁋, G}UxvΎ"KFYiQ:Zd!|.R\n19CC}~ #3A>,zdy+1uh0SYH?!m )Hv}{X['iR uxĠ#C.hL#}T?"dLӣ;Ho)*F_U߫K0e;OQJ6DZ8%2$8ivP%/֕hX&r&{#RԬ DOD>?R̦5nT>tnMM.q/ʎpWՏ-EClT}FEiz|ֵI @ߗBk.k8yb5]?2=O\xH Q}Q<ځ|'Y'ٸ^4ZbAw8TEvf#U X(N-FM5$U\ymv82gAsBu˔EUfO UIuwWNKPB$S)l%ީ %v#\ʗpqIq"6z=%B@].G~0M7"2cPSN֡7!(x3%OdϤ2@eAG6XlKE./&o1frPHyJ92Tr1 act(lVx\1ۊ[1A{-ut$K.bqijmÎBamMAXJn~ q;J(AyS2 9&a|1]nTF~{]nX@::RxFZ\Ɔc!:׎+R2pt՘_{pg+"1gTIAĻUu(.,%De 6'XYrh:c}ݭ#l-r5ocyװ۸/[:nRO(E(x6sƈn>D֎:jy ?ibX/ L,͉iKWgx,5)= Q勞S/.PEw4ጹmER[^~B[碅>&i()5':~N ^358;tlxl7R3_0\w*B;nHDr5}–gQ%m"Ys{|zNקd J_NRPV4V|?Ypfqz4HjBVIQ'h mж]k>%ϣny$ :srr}X7gFA0LXu3%1P run@GZ> )b&8w'P f'CgFr;j_@z+^ڜߢ9Tq7U@fYٸ%5[Vwsx@^xHIKl5L d]Ʃ+6YnX(/UqS#\rg\v$Q)y..*С"3+Ŷꖄ^aנl}_c&2V6 kk~I0/t jc&vFZԬO@̈Z]cnjW/J`y[YfOƃH'07Mܲ[&ئ=Q^!Ծ8[ њWYHt(Pڪ29IbBq#/Soiі uO )Q~pU9}U'D)< [u1 z,58_~ߘބNN |\xo5͘Û+w`[|ǀ&B6 V 5f󡌛&\_xewP[Ve\!6"ȂQͨ4}\&RQO)O"L¦^54mF+.UU6'n9 htOj$Z7&rXj5 8l9-cJY<9Vf`ס=EFP<iR7QnDRh8b,{G,8ԮTZ~U6aUKK^: ݋s#ǥ4+' =~=@~Ȝin% ˈU#, Y~߬)OxO .VHک ^s&[fPM_u1qwKI uFepՈ J P/mV&b%lO dfrѱR>`9y!S: KAR:yNPJU1U`:d݀6uC%6;s_N*.+0Á>H3#[*/^^U5 {i &>D]̲]4EFPN H3A6 TzEetLs% 9_a[y2V7ɒ0HzCk-xֳʀPGXmaNa]vӸq v'} rcQa9Kپiq/R9V' =y9s1/j:czMp:TE nѱs,Û2i ){%ٔt;9~"NR㒍I@]o|5z(,}1-F h~ X dɚ%. o í:f9־.ҚkO3K[n%Uɳz*j!" >x&{GZ( #~ NVͨp8na)r}( #zh,_l˳4URi͛-^rotV7%Ovٸ$w{q0FD# f,;}[=6|ct=-{!RIY+Gs&cN>o[mZoޮ8Fp8rյAp=“Dힱ7HC'@&gQ¢ׅd9./=k^h;2)ckQOҖn"ء*wKtn9#*QdoxTUΞ:!\Fh0xMloO:fğtYػZr?48]H=R01c{Lp#䎵RZ5ԉVUܑ$J~?™on_+9^c閐J|M-W3+) _z+)jl܉|"0ڐE`Q|%WNCH =La5QЯĶb9fPQI=a%;9٘w۠DrδļYyPbBʥ! dH0zJUTr ĈgeT%Wu [#^t&c ă}nIoR Eܼ9Xzt4KU,X+Z˵Eķ\M,Yܼ)TwZyq%R|b$IMR%i[ 39vn[ DQy:`CVq2adu-ǖ{hB{dDUhRg%d}@a m%tk.^K{Se@ah~a)D=J8ȳ8HkeDQc(L@-/d?W A왋cotnHyWNM-'{qa9($24~K^_4pA$'+"˛m L!$݀Zy`nw.* S#`ͺLt1{Yvt^SL ՞,LM܄\NP$e1K.w٘+yZqxmofm AzcmՅeɷ8q{r B&w=g/vҡx}\FXh&X3 tMcȍ7%1VN)cYh \eFv/1VWZvݢ*gؗNulU)Uj Lig~lߙ*Y=Rx*'խJ"~ q?y;>7tu5 ̺Y4nyLw/TA=;iq5ZGjbo"=X Õ %}ܞ[ RM ITeOkF>a zNMY IJUssHՔLzXhzBPIM_*y w:>f&@ LSWz)1 Cxi}*>n*498x^hBvtŸ%3_AabYGZgIXͱ[A@3n=R׍Rض@k9{9 u\0>g9:z vTëU#d㮫Zj(cfO~;LuNdyu 4Zc8 bPcSvU0>B* ՈS'(٩_H+ʳxM#@KssC5alYaR/Afu2%# LFE٣sV^K"SԒɱYqeBEhl(dmր9*6`/]LBzZ+L|]fbdxˇ]gh[;aEX{?˗iSS EÊ<!ߓ -˱G&dOIn΢e~J`NJuBP84m Zq*OqU3iui'__FM Fhm6ErhА][(]fga&O/ٶ`&٩sݿdIq;mTFg޶%Ԁ(ʷ9hIg*8hb)JnB)PntXU&hM#0M] d(\B1,o4TQ =?n42IvyUpms$f irnHSXȓp_OeR1~0[ gsXnvA %U}1In_vP70 e]B/u"7!!ey Ftm)^{ %DX!YN ][RnڐΣzh7"nO3!ӣ#Շ#`TV1VÔ=7^M3nCN Pا/H*-' %M;(wbE>%-L!]8^_M׮qg 8 F}[&F3̢ZeM䠢P淶ZI|\OV,?0aA\6 MfǔSE'pL($EurO8Y&͜ $pX6wʵw,--+W/riQ皛g^Ztdl&$i-+P+MFoZ69>鍑JMPwi$'h.*T5ҷh:yz̓ɞW~#+^ʝ)6ghOOH^[B=Sѩpvhl{LYS c;6ٺ+3/{>v ҩzX!Qn5a஖kaQm 씔PĮ]?i 3gwT-C(H~szìΕ~dɀ/d|wN v4аIeT=Yhc6I;oL!in뺃-J3q"^WtFS6@tIBTWIzUrTWdB1wŏJ.2Z=D +KUyĔwmrU+hB*;2/x3HV<5:-lPC\ ?콹* P@׼aC* thMd"|/?Zϗ}銸nQ(j~(Q%Z2k]OB,qYKUγݽhtVXG{peYqwXj`,Tشw[Ӭvx >yԊ(ݽ H1(#P nE [ǷI w3U甫6#I? v1|vbs-^+0D'4 ܫc)6CKZ',Rz~,+.ׁ[|'4+w.MCgZ&ݸ Nm: G4c`5KB ۚ4,YtFw`1E`MW< b/J/Nh]%صɂ1egGB &ʁ/Zr9s9 LG%~iBh8iquLZ/#~+"Jup\.ֵzUpW{ Cc٤,Eݘ,+V>) oBL("C8+&q 8EH>_{p3@Y'XW>k=ԌZRJQߊ I_/#ڥ?udH[n͒AL"OfHNELi>~udq!w7j>QJ:(0PԾR"̝24/ ӈ'f/_b2N44%_Zt/Cy2rzKrbe3'`*:1 , !KH^W=DUL%Ud'3p-nto)=1bJJ)3Aͼޅ>|ge-0LW-I -9%T7 j42Lm@{dg/¦Ze9t ^hcz1\ !y&*nɭMWyVR9Inl<XcP'gQ(*+:aE-__J5bN~QN1FF9JI ?޷SIM<_FoVJ^H:^)Z]9 ^1i?r0(@M@= 9Q.Gѷ+oIqH~> mIWw7iNj lG>{˲%J;nf@",FSP0Ƀ=&ss_ tcP-lWtQc!Z[j9-aOgѠmx<(Xe:h&SsCyUM8aWyrܬTTxK=H\ 1 ǚqB*PB7𓮕LÏ;aٟ&`NЂkK(%t?3vXUMy즩_4#h+煕ts5R&z'Ŗ#Gv lG)w,H  a^.⤚l8āOKIAof.U:ÓXomցbf=bW_DFNݱJzl)qR:aYAj3lZAWtB=TUjσP#KlZҏ]-$4IϗgQ_ağF][xڝR f2hsǵcL#4;`F'yy^eش_!CQ96$`oRJ|IA;Sh3ׄ df'^+uZ4r$Ipz'S0s-\)n݈]NR58բ`*YmiN/H?ח4.,UoFˣZVB.9ry%cLxck=`AβQC: fxU zzIM>B;ҩ< IeBz!ۚPf"p$v@4]Fm.v\V^!%" f_U g eH, Ή!LunP6AA-w7:U0gI7䇙jV&oVKq^qXGDV3,^&G9* E&5dCd_GN-Y!3䢋sُ\K/Sy"ZԐV0M])YU0 o9\7q}`TU>.j57xu=ĺ, C5"BI܀: U⎝|e,HRA*!t|0Ń`A!yholEǎ`̻~#&t(yt~NQBі/N{4jtrt8,H` KF0BlpͲh:gN2Wu<' ugdr"m'h9Q&߆?B BR]Qэw,]'X42σv|hJ*(߯ͭg !6#T5#%՝T/(^k9I|*3xnLi\΃%T򻑔9u~$3 EsZQ\;%=H iꕬsת56J MI;yp-oBu2E\M t8JV0ogNPYDb2jA}%"PX~x*Ḩ]6ʂdy2ZE4FAlDŵW/qd&  DԢʢT7xϣ̮`,qhko"877,c~Y\ҠyzRƤkv-.js֥شۇU$.boz\Н()d(. ?{ d޽YEZ׾܆ϴ(f u#A)0$XnEhO-N"&K3:]\k[K׳ :J>nk|ME⌊O /#!՞'339/RX&,=Ե1wyA,=nr`^` q^<7[Z "5/ф펗]&o|;L@DL:iGqGAGk8ZUjv< %R4P;+*)xV*V1B0*@=qr:6lϒeCT <W5ivQ-+6Ѭ&QX9 \=u@\6OFpW{}ZP8_bOR)ղԁ(:0U\ R0~XwVyrS`!E1Iq:5&&},铷1-ݪ}ʅ׀ͳ (X7w>+uXp08b =ףB'`X@$,*7hKovCFW:/KiӠ5R哮75gHxwl Ph!q.զedیfm`D#GOG!%}հ߼ ©'G֑tW 2%Q^M4ҿ)WPaV)Ҵ@32CiIZ|WO{D[V@ O$}y1Oںlqz>TZ ֪d\8|&xJF̦$' Ѯf4!Q'q RMoa]4K@}!>Ԡ!eʁ 5XJJufNʐR~r"}.\1$F䅯qRg A\[%C}TE`k"OppXHl(*SԐ ~c(*îtJB́^$N?RGuXqd~ ڡRrG;JSS% qW?'j, +)ccPkeymlSչeQc~4S kpgJy>FfՒ1'6i5<~lj;n߅IjGi+ x6̿+]?(v.hyAgMخ, jO0gy*p7gQ]ӳS&ם{Fq-3BBd4 Uz{A:]^&Q&-"m$qvdS!L]Ra:dwCFJ3Xl6v40ǜAc/*&*K&b;*I\Qh隉haIV85)QQSFvpC1 /Fͯ,]wTVu7dY? Njm;=)]a]D$&1+dQIJ.kZ9A9(ȮQ1"/Dcq˰Ap ˿!6<(hFI!R1]f&2xhA`1c=TٚK̈́X~WM?S8Ga.{ 6B ,[DQ.zO!zwxz'xp!l[e3[i7(c`6AZ_x-`OK$^1nX>`zJ=ݫV֊gp[D#+7څKF #T4t k @:X\KxJw;,'B]O`ĥŽz27y5EE$e"#6 uOSĦ00' rnͲ2EߠiO)c4 hwVܸ6@Z!s AO 3i+\'' Np9OYXl;yoHk LR!7NzAao*Z.%L̼6*D=J;8M쵝/1,[踻/(^%ni]b)Bl sIH:RV@߆HNf=JO#01dӶxs^JFb;ݢⰊ[NF}X-SXdHk*"a1xSQn@XћKa;2^6sК[h&.i6{% N% !m8I;D~+-)w_sz#o*4T%W6W07]ֆf=*ls'vm⛈p'"f.9 yHsL[]RTXJjBfȞ-yWy; T|`7rƱ?Nl.nI^ E mY&毰~+[$+tb*HYx! u6"fP6BR.lpR+B^9,9ߜX5sQ( */zd}-6ӕBeoNX@\'}@b&"A\G7\z=SPK1V^9z1Ϣ`ټS5!J'0t-!W4v:h9lfABah@Uٳ`9:9nz0 :|ћ(CFoC&v^fbtm>ċ]0V吁^(W2vG,.R/;P3JK҅B_AhBU%[{eBu7/Ӿ'^dЬ&'eSM6o.sBd4_Nߟ|F( .h7g1YPIAաZt7NՐ3-(-tfܨL:!zQo.T$0+$9&#y&FU{>WPc?_g(#UD6LwiYŬ^q3)E1oV `> AjYVr^U˨},JDa*vˤMs$e28p%.9H~ݲRKaM]ssgtMҹ[ߢ^k2[c()OW2`\)CE|Z|\%itt^ns})2,$]95L{omcJC]yՐ(z v,&u' Ƚ3ki9<AggQ i/Z3.?jL-܄0T#҅U] Sc v+ 1  =dڇ(tW/n Vp b#{vJL!!V ZUPPSt&y^h3Q 5Ok})4mનcϊU#-m&A ʖ뵃2&#l(cֆ5(Eq:=ˣgŎYw-Խ@yg/0i}8_=&2ac #BZ\Enq*Bu4ըK0V,ˠ3DBSK՛+p=-LWΖ+T*)1Ks`Z5_QH`YXHo@BN+jʦ}ĎˮwU,nX~{VZ&̋շ~()e܍hHXmjy`yJRe8?S+mOÌgyi:_OZ6Nm}nKk=ߚU঍h)&d~o>hl=D,gZb=.ͽ޼Y!#\yƝ ʵ?İ[=&DG0;Ҵ!dkbF&hafrj,`ŝ$=*h?9ؠI59q FP՟RfGҮ!pBw%p0@QM&)Ń^@(B~,O9\.V M,.S~`R)8@YpQ 1H&7 -",e(Fa.ԳcdԘgPK|? Կ\SeIkMzReFdjZ㹥@w&~)W%ƙ h@K+ #n]R|,ƞR*>(b|ףl[1QYTL2vv<]G!X0GR5дU/:rl=&Bk!bjAV=z[)yJc޽X1@?ՠVf*t#l_/Uzꃺ%n6n^f0YzPPkQy=xWBf^%/ZUfuvZ?f+FyK3l_!̦Fl #LpѦ4oD(xSϷkPh_L؅:IM;.}jRϲo -q@r۲(#FJk\?D¡Fۜ=GgQm![0w)1O\N&? piI{1!М xjN+RWeP'|Xw-=K^$E?prU׽?N2uX ,:u!uqGdF.UʼyqBoY>^FJ>]ǠwU,s"ϒzY?s3R~VdV1v|jwfЕiq[`N11?/YD_4mS™>D&Z ŻbeLzB{xh҇%#cY>,ɬ#TnSyk\4gⱐFB ΁SB_ldGI-\t 혱lּhH8~Lū&U&j"^$ɥܙXbO3>%; 1`%iSj/K2wx<-}1)ުYX䎷oiZ'hKUTܯhU i'y%{f;ԗm+ nAfМAk9B쉖o UT-Nneh3'n|{rx <{ 6Ԥ1V_Z#uR wPrcF"D[mw*"`992/_U$L/$k>2_P9`49% +eF!`Z E$N<㜧7]&1C=4kQ~ F=հ5VUKnh3]yש?@"Bеx[q 'y"HʝS OQR94>aYq`Zple&C {La+Ewb]LKdh2OGҰ )Q?$8e$>.Lw]iWG6viC;aoa,ŮG?V.m޺M麕\(9BD1F[Qij/ףt%Efo;y.[tJD@YȊm+8nE\N$(j@S |N~R* 2oOd\iT ^8 P񀺼6b(k ( C>bvV;ޟe\߿jP-cTVQy^F nRB"0>bZArtˆ}CVG\hI_Q忥h?=vUH~%`^Go0 JDJPĩ<&3Ļ^Ǝ:7>.^KԖfT$u[MFt2O ]@)y:@ÖAdů #MTWY!&JSW3âjVsz3k0[w ,ԗJK2!y%gϩQ +Rbd<ɕo"%=&2Qp3X73%awYdpx;MM@KaH>Zn%Na>b)I'B+њ8Z0Y-@a%s!Ճwl|ےڡo2?XB) {|2kbp g7cڭKd=gYZ kqka%/A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files~~/src/HOL/Proofs/Lambda/ListBeta.thyE$/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id212Z#/A18HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citationsMatthes-Joachimski-AML "/A' $HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$b1EZĕyaHVpa*Q5i(4?v[C=^Uu/\8!l> T/BEOu5g~kQ4 iDqpES>@PQ%R8uijv|r6GX`2- :ӟ]㩴 2=BG3>ciH"IVAViK @)C^jz7HZZtц< m!ow$GA$ڻ5lb+ u}V¢N!c: ]yR Ll/tkMz䝇EW0 *uVdXz` $\$ݦ(!N; ֺs-"j/,O=<i\j4OB8RdhIU:fcTpo1|@C8&kuJ}Q,H'QY]+;6oߵw(BdgbMգf&oX[f03ZZ^W6) |pgLɳ!kyn+R 5l!hL:xBA@MFWFs[c[",$IF.Q HaJw!8:Snl_ | w]ߨojGVbE.#Q#&YO{4i462UH YeІdG/|_].%S{:Z uygF ~;ኁr<6܁@юa9EEPi*B!;,E'0(w+qpȃy,<%|xF+)#E_6 t VU%u0->H ,ш_-éJZݩ7;LTLZw%uKX!* Ye FD˪5`'EM&G δڛS:exk^9=O4Tb>_-:>J D;ՍLi;~h,5$qcwX˰Yo=<#U^` EPwm5$s348Ӿ4I4n%;H~mWԶ}D`c't˜,Lb?e?ϔ%uMN P٠ C##pHY@jYv+he`s~ NAmgT;h\Hg⎌Ȭ/ѳ~Cq/31d!)c2#()`(6 k"W-1)\?hs'B7; Ã>aNdͱ6@StTZU<[*xUK|Êj.c )zݱgYZGGMhaPϠjT(CwN[ń8$`OB3:5v9]B@"2|cʳj4l`q[" uya.Xm*u# T'X=eS[a\={.|z<0Έ[xuu[ti+# EAH6FW-O*XU<_г#E@w[,kFљK&ͲENP~zƷwz4eid,YmmV]n^^,G1 =%VpfLi\_ ;BF;-)odYU?Գ3;P2haTNX1j֏H;k56Sx1z}E6_2il^- )IȴH'2U9]˷̲#*E?LUUQrjMhf0~yIf.[$ZlC2kp#|VY|6bE#}@'_C*\kiwRv]lJ(W~Inek7VO:c-.`Ǒ!e*gqAPH W\~㼀w}Pn!n m{"gHYHD;:zsAMR"?;&B+ܧK%WP=o!.&2t~ ?uoI\M=sʛBZZańP=l!0y#FN<ꟵZ9zEͶ83 qBc^oﳝ;M+i؀B&eqŗvN5Y<{`^I8QpST+SêTYÛQ|p&2a@>Wa7mg=66]QVgf&nE2UQ\%{x4Xtq:^frЇ/U;rD(,VjT$ ol߿#& ?ou畢ݚyJ0EF^edD5\A9H1oa8Tsc ҋ7b`[˱G/`0 9m[Qyܼ&Ǡ˝k#[F/tZ=%<~Ȇd}bD̓t{E := M:fxśx,uO6m {{18Tjx_LaQw~Ha :&Ɣ`8&)-nlBv!?;+}j^IC۽|2 76-|u Ɏ7"m2Mp'2~FdeNl){w}^V1M)Qrn#!/H? UE PuMdD`yrݱN="a5[4Qa_,)JX6t4> FfcWz>{m !;78EEUril3;h W3\ K1Pc{.u^da 4NJd7~#* XS ݳߙH=ʾ҃Wy}V4@.D 8|5H?RN$ F:bdh_R5D%R9I]8M@}g|)9~ ~-z}Y"8" pJ{vq' ½lޛ+-=i \|ޣt̾xtIBp&;S؎&z*aDrqlb\٭pdfI[=.ÐSFdZEC(j%NjݰhknTG ^/hvfbzmKR>S4VIrSFu!3[A\_=ɥN+q4 cyWҕ *=Ffwq8;8.'BV@.a/ Ag&My>Q L1mN 67*e @l;\8WkGI7U-YC k¼aɃb*؝WǥHG#Ĕ )8ٍӓK8IO]G_O1P>k7aneaQF D] aE 6c*'gPц_a;_KʩL.> WJhy~Gc ǵ n;Ε?/ā `>*Ǻr+v&U!&b^4Bp> M i֪t?LAHF k/o |fDǫڎ *ۓ\HAgo Tpk~d"0.c)/C!XHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files~~/src/HOL/Proofs/Lambda/ListOrder.thyF(/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id204('/A' \HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages7zXZִF! ]Άxʆ5.f-9 rq8HϞ$KN{Fcn_DPi^{{lؘeL16rd˺phʮlyt5Bj\@cٻ5=mcnbbzI~mXf6I:0I\%?7nh3a1$$ltXpwxPgR BY.g{Eap;txoTPF#蝉acJ!U+2vS66 g#v3|3$@FSXgVyb\vKSj|tI=D_Rg6nyؾ,EhLzj'CUM4qxg +gzW^1ϳk9Gy&Ƕ>++LaN!U47-9`Bt&VqJ3n? b? m{"rlPïd##HVMb%_~H_vTe)(sشmgw,I>̮]Y>-aKl8m= ="91Z F!y[@4FTtX7|k@fNc"m0CX[m}I; Hr!º+ N#ss|4)':o1芇}tc{)aΦ6O1_;-xp|](ց;9+j5)^J]HtjH:fq !tnrʽR z}$ O^N:h)K#S_VSH*r"=sh'xQD>Y#|S:ԟGwͲ:u3ʯ1b;"AOPp$2-T(Mgف 3ZtdVCHB5yWHk4娫WSo79بW~pk ֖%\֓}wqDm \AhN]ESӳqskp{;-LD&Z Br8Qe8:JzuơM UZ+:0 .`qb,:A.yH@CXQut\r ݏvSU$`Ş$_t?=0}f𕘕ӬYԹͿ0"e aalϷ?$ BhF~u2ysxj} aeXM2hmG E֜f&58)uGУ ~VTe hP4' _ kئha#mtk&lз) VdFɬF(/<%ޥP"J̗r\~  qŞV} o~kJ<M\o4@v5ߐ,[ꝧ'Oy3u_F*3 %&}ҧ|ŬIwGB_x, S@%w'5)#ҫ=4)VwI=Eۦx=hb||Zv?ce^|.%a0$3b{u, -}U=gzvہq:dR~:.|z]L0{Voߨ㑘˻uHቸ-B7V[N8ֻ(Ta1>%A bFtㆌ~9Gp ܂^jow3b#Hf==!&rg%]#?A! Z1L r֒aHS/hʰ&Fn8:Ev(&˵:t&dR)`Ж \_X[gG{zuBc=`GmGvjtaR.VȠ2SVoW+al6'lh9B&޸6{f=IҜ-IU+> s\6 +Q(mց@~>B[!i+` þr1_}>Rܳe^Ğp0z(pHz bCuRJBKbPk1r))D3c>Nīk۰(Ujˌ%WMȽ%ϻ|ZrF0GʓmٟO`2߫-_%(mAX[ƣڳM*ϧl:m[5԰F3H\K+Ā?YQl qN;{ 3WCy jRdE$g\v菁@{S|!+`5vu#SYSCsN6@3Y.?RHcs'd( [[:jOP_$|B%rkH졻M1Q6Ѷ5%QȳȻ|sh +`#AL= M}N3UzDWi? ˑvE'Ļl)ϢNI u8:8sRvx8t× .]h1`);@@yq]t(ZO-٦ej:Ѿ|Xui/* *$֓ EFN%@@BON4SQt֛L(rgƔSm5&+nSF>.|QmغO\?d!+"1\5jp0&\0 22+[/^GQlmu[6G׍x_q#_M«P,}+IțIX!M#yz씥9R$3l$"ŝ,{wP_pSfVFR+j82&TH]抚U X=X*K^%I@a֟#>K}wUyXx[vigK38M`jOh#"^0^8?wE0͍z/8Et+̎8<'Xy}tdqMa*:c yjq@"4dB*%M$D]@}1){G#/W1IusI~"i˔[]c>V42=1B %Ȃr\VNj"M5Sj:cuX'B~=9h~SDɿĠq1a܏FIa)BOՌ3ό]BOE2]&7ΗL{'WlT[Ư!c,ʹBԉJWցb7M:vj͊VIOF^,9N^#4p+{oLlBQVyiW )xoqklEArN1 C`6H+fʆks8DX~X^u8<_^-sg-Qp\*dy T*,2}94'x6Ūk\Q>MSqDK.}6w:-WMRM_YsISEBow (,Ӟ:T_n?V~, .:I?W5%SY {g*h4faDƮQ'mh..u]Z dU:{ŕ&p%˰w#-B9cUL&zG(!NPʺK3F$81Rj{K awL2̈Y0%P/ὯbҚO/N1aT/n+qf7D%5n$q#CMaʉθO}0|^ c˔xy_~`]MAD@XwI-|m4h' |qfDߴ:)gӔU=ʭGH/M^7qU^R\hKy1rp', eΩ#(Aa$PȠ-O_lv)4GJD2θj“0C# ݯv6#E^&&ɍ[u,JTll@4Bv9lTc>{k?VXZ(jVqMI萂,2_PP1^i;cON|MkNyN#-XYaa:d֫=lC8w·i=.l YSgg$ DJ Pc^?i?M 3>1=6c8>n^[pA5GqV7":zi)FY.#}'0Koׅfk7z˴8KoχGA2]w|>YTLď]_V6TJ!g~~^`SJgn,(zցNv[#QYH/\wSSjd007LƃLOk{ͩYqWkl#9v\mc YAvnj2Q1l#R ,_z0˓n+XyۜoVupZK}10r.&m a0cR?@xhVG& b"JE%L%HC@z @E=hRgx>a)dӠp.^=;#CN2a$6 u .7M4ƥ~`tFYʅ<.mNaqQ/J(-'DE"E%d/oz$uhTv mCt S2A=I` dMR^y; )4F`=} ȞXʍ8Ƶm x|ۡR1SkzS=l?IbJh aH*>~~[mX-QQur#kFB@+J)X"6#* HbAW1Z eY&a@+;H! cx-;EBZТPc?pU%A$]L֧Dw#;(rJ#Gŀm/DcL NF~L8~|<q' k7w!J}*k@Buynʾf[1;z="o:&Q^3I36#<2el_BBveV Av4SDaJ^jph{ea 61)re}j2 CDYﬧ8˙:"=DtNMf^J}yPeӈ|U"ʣPSkO[\ȼx'fmYFim]k&8^ ̼'D7Ϯϡ~PRQýӎRkW%_Bm1)[w[Ь/EIJٙ˝# ϣ{:J\}Uw`jz]x`R)6 B<58[c>9$ ~l8 ʝS&|[ݥXq@vhZ0ϕAlӂ(KRN;QqavO3̲XI@FVD/aL]hќ5&];~Q`IX:V6Mj bNa4Dw$H!@',R/w[ߜhy] shZ=W j}P q8f=P 7 l(T,lxi˸Hȧn@LӴ,4CD:!JDqwGB6ˌC&},k!,J At=)a}=!VjEsFoh 6%kۣ244wG^kN*Rrtx}vS+{9 ^8t,ۤJoj}YF-}h8{XmFUv5|+4,Y`UOAU7nP1؏!ןH̜|3D# xHUR*6@^~neڎ c+>زN)Fdu? C8 k0{_ "evmTKkT'{U$&%#0 u.K8lXPEXφWݖjDyѝlfAem 9h%E-pn^ʑmX(f.';s|!ȣ-4UeOiOLItZ#Q״:ERtڸ`]wXN, ˏv2? )ɔ<5&V[ob!zR|_k1]iֵI^٪O$~áиZg=rlP`U'!^c,sԍbOq*z ^x%ne@T9,8Ѷ\EАOHq[[5xGk~%LLD<E$HGT(K{.cNji+N\S=N+g:vI(Ɛ0Ȩ`n;ЅQG%jXH0[N$I/oYPHxyo4l R[؛vqld'Ŀ=cV?>vZ"d'YH7WZ٣+-&yTO {d&@ުGDY3 `>0Zcpz?݇+59/PfE {fHin* 1Dw)5p9K5T F(Ƶ%ov' ?M/~= ppGD^e2@7F~StQlw7vh~;0EmWbdN .gYZt-/=# |HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! ew]ˠ)jk2p O6LP=͵gl5f&Di5b^8th.X .kN.; "%2ў3P),Sz!Z T K#MVbEsO.vdSA,b.ٹ G>^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$A !.BtOf:Vʛc@NQ}!yAi.T 3[تTA/n/\eiy]"a sy_Wk c+K+av+k8{>Yd♐`gn%3np% Άt gɫ0["Ooq]|, 1_ 2F8~8fF5{:Ln ģ ExD&pYQq.-5ܞ1gwnGCWz\2j2׾ yk\c`:NoB WWR7n]j6}ɐ5D>̙ȔE`< K:WcֿR6Ie oa音ߔB%g@ ґ`n\v5 &gζ]p#=?NsM/G@ˑ&q->qq#Xή]S(τc ۭpy bn %Ϛ\otQSb&̧*h?᫔r);пuwpj'l"FOǯl)/; U(&8hdlj6n6$vgPM} ) z/kWN42ӛa9X :uS05%2-R!ښRRFq{œ}*=8{[TDB(Bl) XnYtDw2ǣ,awDZpw- cCa;ڢdm=D`Q$l,)u)& D:}3/ 4 !ỳn,׀w*V$jR#͎_RQ4B6gfw&N 颌 " |'/k7:}bK hE%t v /wywtf*?ƈ 9WZF`Q/<쮷C!NݴbH4 ie 5_c?Hˁ^3 %fph$vtEWwC/e<8OikpĚ\~_DחmQ7 °{#ͼ4jFY]}sDk'%:@~]DpԹ^MbFGtR5BǻL!ߕe%k=&F2 |@"3OG# ]C}>"RzOҲlJoAҞ% V䠇bP #UrjJ _O7}`q`[Hw MOO%5KZ F>U++)@s,4KNHe&{(%cw9[_k%)H5qМUkUP <\ͱ@YeewO"b\7r[vpq:#,ՙp (ye6ga׺k3iSL|z> IOl\@B؍XS7UGU!@q 'ΚIgh22±A.^>оzx%c]jE;]@8+ VF4W@f7[դw,ҕؔ_"VGk[a_ 1RiOf;L%|cQK#_)3^W ?/POo&Bzhu@V4!S ϏV>~gG_Juv[h,|z[kux*"SJ;'KRisz4ל21ezt.u -W"Č Qt㲜AH)->l B d`y@ ^]a.$ŦD$*=&9.z#}$)qp1v^ *@}}A%us~*^,`--m{a``ޏ ZW؏oGrBiT3Frp~~%'^maG9ُ7ta?QB8z]`n1cl /!5 (wA #޴Gyk.A͸ݠ]/q^Y`S"tj#~hJ, 26a#T ;-Ə}]w Rl?5W :W A $p2bfOP|zUW0#M*Wĭ:/&eoDuMcBP%cx Kb6šCm{̛4M!G5s9fVǕs#h*eұj8N_ou{ce7MtPe"$?HY-D_wXD妄"/_NF.i W@ÑmYUe=qIZA y1)G8f~QRAE&8g {Y^y~ K(|hT."DɯR+@ E݉P`<0  $IA::AHrLÕx1`Xf/Yr~1ZʆzD~/TZ%S¡O9gr4O9p46t¿%eOYZq$jԊ,scߛ!n4'{gqv̈ꢿpyЫ, ULsh G |}}S97Ʌ~Y;f f('_i^2%_ZH 7c0QXN*C8r.xQb zgF D1rl-b",0SԸ)FN)ו̷A 0*XvC*b01z_ߖh 0k'+(eRWq;5(A:!R5 ZGh'`/g404n=.]~WБEyH%Q͒MS!l$bM{VB{僘 R?\&~c6ά#-Էw-N4$ )vW=D9o)ẚ+{P~\.>]ܽWɿM-LIxlEyQTru^C(ۉD|Wn&R/-FŘbH5d޿6@ eT)au#&++@y#vp\~!h"*ͮ'tதhqvFXf犇"٘3]Ƀt$]qbw98 EV#³L;=e0 E:˻n;Qv67I &rؼsTu'|hӮ-^[1)x]/4{V&ȇeMBqMќt wFC :14.Ŕ0@ZbI+h ʁA9ĮZ&ޚ}+2mݢS.AqBE2L ?6ڹg.f+Fr](8S&GB/v-mϺV@X $#؁$QڅrnNkI@>s{Ue(:ie(cTbgGGd Wp[S؊,:e_X ^!PJopSG]tYq~ 3/~ vc~'qhD<쌶4.i-Y3qYAYK"$EWn4C8y:<4,PGES ~>UgI qj"*µ*m&T~@TT 0NJ3l zd%uzH֞/WS]`aJeAi?bN(_ⱚ|c@ WI5sؚqr:ߟ͈u&x(16&X)(QT%Vri@e^G&rG55wyblZSB 6zz<Ztsg8];Z5޼RX΂n |p(vߟUø53 ~ ͇z4s Oِ$<쿩%l)q=#3"DxUj$j2 Ӎ56ۧq ?ԀN)YQ+;%6^2*ZF+)FjGjcKEhGy C(NLSHXq[i.+#dS"*8\&H}An$W=ϑUd0ՍUw^HvL"ݣ. 2@ugYZ &&O1/C# ,HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! O]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STzp~2|9}x_G)ݥeS= S|yIS>gnc瑚E8ۏ c/g#]rz&bDAHbIdPui!fгf~B"͈lfr7Ƌ* F.7wMYm'"8IGelsOȖi3o#ݛ˄$64sNXZ^D_E11#bUuhI)cTi_գR/%@N]Gk1|ELZX@sF$=Mf;RǴ`>CGakOݖn}"x1~ )KGIB:mW1}Q-BvITiJA1eK$ez\!:YT cم+le:fXxpTYf~hp57+& C"Ȥ9'[W;5*%2: Kƞ{iBz6j0&UeVfI [B'j윝q+ ^p_9Çf<)l=T:Wxj@2$vIaE3]{przZ %E1{IkݐcSed4,fɪ@ 8,U)hơ ߖ|- r}q`ߺu :n* d;kQ6+PStf(bO+۾9kN6GiGF+= {92qhY52j" #zSpiZ`~/r|9_Ǡc]}ݲl ~ CΐQĤ#SWYnH\W.7R( kƀ~e!HJt8/t._8O(T#k=P/WZfuh}GJCQ;vn&K ""{;Rf=S*f\'±*ia2Yk[~OoTǹdNA ye$fCyWЄ/Dy꾕}|=J.DL 2z܃LmU;pUv_K=[_]z?q0f[\J` 7J'Fu 2$Go Q"ST1qGcD((5UO1HaOfd '$,0P| )єZ8;-H+kL49re7teCA yp ׈#\c*YcMC{W1 0e4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id218M2/C' $HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF! I]Άxʆ5.f-9 rq8HnN&XH6{A7CU:/u=P>\c.te /pQy|2)c]ѕ[%њ ݪ~ps_jES^70a7cʬ[%L#6rEz=j&TԀ}$w}hPm mN97FjrZ$ 7@7UIm}6!ˋ)deD$~-t#')W~pnjMώ"xPM o <Q>v=H{]{lh̴!) Y$umxկ<DjzOy\gy f7BaYr@-ۈA 'HIi) RJBo,X o틸툋yCUP9 Ieja@ݪmt4-јP`FtlaNQ^v EDJ&8V>@nC%ߟm? ܟ" xXntqp\q& zh]觩tE(,,R b"勁g"D )JDt0u ~{Pr,ZІN1߄-/7XU)&]h l獑Srղ@jsvns#rj`p( xf[L}8stJfqW!3wN*Â^(݄wЪwT( (d;bsߓL9c ?+I1gG|U ތl%_~69ûG-{(,* TJCOqyّq<ߙ\F~o Ǐ&-xSeICդ,-BTgH薆.Ǝ3K5dm苸ߞ:=>HQ9&G;ܛhn++\x7|{a9GwUN)ŢP%ZDUxp:RFݲNnX<ҏ^;@#,& }L)y'o 6\tt|?'U3-ϠG`!h_ pY SMm^0ԞlCrA]X}ep-J~U}q4N4-Q*8QƤB.o=)(CX LrG49)cKO1%KI8ۿu89`@\S3)MVmN=t ŷI^Ӂ1vCFY.X!5ӗ7[D+QI+ *kWDWδ XXI@!Yuv[;n 7{VO*?[ʚ]a%d$vq[}$z-|4Tdʰ %䷧4Ls@.ɋʋoqAlUd20].],|;`MHݠ LX)qPy~ 7g7B尀N1}`0$h YgtWOiRNpU4&iMd]!R!myZ.Af@%?BKu;BB̈#2m27sL.O'.<{}T\_1)q&P3$cm E>2a$(oʁNq%* 1Xž2ðSg,AM:S= ٨<^Ĉ9j`z "r{"'33Z0⠨ٓ=4V[ F AO%V @䬐Q==rp Oۏf9Pळٱ.5IĻ4g+`szkaN hYD].@sLM)5z. k4M`+LDt2E|##P~ V׾~17n 73.dPyH3"-GU|z&=umQU83] M~ihL:eRR5 wOt׆Ⱥ܍[.m`?r^5 eeLGH31qЍ֦|S2Pw̝'Y[t̺ut_30bcݨIr~7{beWPu:Mjf,)M()z흤2ba&eY ۲iMqNO?8LoHI5 xGAFr2n:(=k#*OgRO,웙<D1vs鵆SrG&}{y%xj {6F= àrE; fjզ`3K2Sņ>|/ I£ҁ*D\0]1;Y"7d9p~e(nrwR BN}IGE,A%gCRG"*кKúq.7{YvN387pdj^WEs"s8#";qSh=MSo/AGs܎OҀ6zB.wbZŌf$$qNjжErui2{gV쿢mFTCx]RB)8}_dEy3!a [7*:G$C` LW֞Smїirv%n \6 tR9qa"aúQp KX!;&0(R=Xr;/וgٜ7_v;[ںpxAt4FB[!?U>5:Oep4A\.F?p =T=Kf7F̄jOA|f1EPƪo-ؐ\lH9'ؙ,6MbױΛD=1qs's0'm oks\X._Hh4A.?Ū޼ ˳搏2Btcp=4/;Dk?x'۝tMi쎸*!++nWrH{hap bU'QK|_*V,:ZaUr8t@~y?1Z:s*@_&{tUL[ 3ߕD&zܷg$|΂LLk=UeI 5'P%dIিafQ0*CJd$ɤp*ƴ9֗O\bE~f6 /|f*Mmj*4*fxT2 yN~wDj՝NJX-)L4`kf?SS?to=O*%^")tC5{像vDg BLLX' d-z/ U߃7-vWIVKGq8XKV:W1B1X& ;M̥,dmcABB()L!|FV"Xw6&`c\ȏbu@z(\Q H ud7\$"W'J@# SCav T r+4UZGسsj XYruںS&3~HeÏpa4ӊ/:d NHa0㡋{`'sۻoý`G6N30BbeeVAvsMhi5|Za7p ;MiL676+,Rb];"4\?Q([]g.;7NM)/q ;_J7(D{ьDr9 bZ\\߻6Ġ:)Ux΂eMfY*.l UNj^!]=/Ro:`wSʣ D}qb0{l)'믱nYKtx^jaΛV.ǞP=="L+?,>uȗC]@/Z֐g"PG *C3K%9շbYdRԋaWј?ZqgXE8-&'&":j.\d͙g=Xgm6Nql5qxj(>޲309 3iy4oMm6Xg{2=1gʘbA w6xU"ƷY*"Q?lMK1 l4jep=aڏpPԥ[0`v76հX"]A_3U_`کr19٘kFd-}2Y~͖GM@F;&G.Gzx&{:s?-li#N-ˡU*V *N#7Si-H¦LUA0U?@mqWA}Tx<~8R; wZj }s:au/00ޚ38ssAm]qc,1ߚU6?D` uD\N_Z'AO\I̜Yٌ6ОF AOOèCŭf9y0$-؏ҽD̮jBo8^GVI+{WneK`qh^%y A$+#40kRi`fEk}< 1UB_ SȌ_/IxltҖ_/F^ma9} i[ʝ8g:YX3Y|bmKd~i)^ +4Hi?:fhy/mTUݡ8Iy&,cnVn%A{G;^<٤f1RHo+_;tC( V@%FD-Mh(By 4BŜClXR6VDS!sw 4ܧT3b>>ZwxHo []r qқd|-FqS]j^_ރDs(&˶IƑҳD$d[`fEdO[{VԗvU;l;qƖҞJTX TU[ X$ܫ*0'V\({ه>tjF^5vĸ7.s%y>ZƏi3 ^}udCȡTQ F8Xw uZku} :L>HaDGIN]K_).}z}' DH, H޹%=P~yK p@J}d});}S!M=%SJ*=&+mUH'f9ݑrDij܉un"4] L|p(J*>pf^5Mɭ% }msJ~.ʥ&d^p\CAAut~$E+R' tW~ mg%^s6־]~ӠK%W:]FFil\luvZ m*'(aLb[ZE'D?AM:+Ы a1=ՆefS%oQ)95vi7TUӦ^Q&Oz)忈G]NK@@jt_gj|+i9yt}┘EsU9z/q1jtS *L&-ƒܲrк P ߝ PU<*ِP%PR-Dؼи4ҁLV;M@/RI)E!,~yXWvɓ{MZ; o2ˣf:? \H 鑈 b@cmuzJ fwطqVbQ, BżIJڣ׶Q+ݱU:FVF֏8,mvc)3nUz!tGOyxBdn]^;u.᯷"Q.|G!v|.>9_xf c19} -K7W8/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! 7]Άxʆ5.f-9 rq8HϡOT* C-/a/ܝRZ5Pu&聣ܗ" ^C\ȻƏ~kn!m|+5{g%hns ے/,1-R<ed}/[ѧL~hmW靫>^kgIh}?ݟi<>|0x~TaAFTC}wjld>!!yI,TsɈ A\ɗ>^Ii~қO*9e4A]-itR|/'ۢ"3vO_ 7L[p~DR86$ @ FQjװ(bd.fek|wےT'>:Ah2=NR6xiHn'؜¿ԡRT+Dq?}rp`ԋ?C.HKU ]*F}<ߖCTJX5:M27k !zOwl|:bi)$s{~);4BnT"F i~r@C(<C;fͤQ?U {<wm3~NEJ4TMFw^4#!mJ0ڳB >( ) n5A{NP`]ɭԉ/C8# 9Ch[gf*6GRP (x!!ґgYZi5 /E# \HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,'g]ˠ)jk2p O6LP=͵gl5f&Di5b^8th5ڄs tpOQyO1*{kugu e?)WTp?=J!,E̡4^7U_]]w =Cܔ2夐h+;+IRNKoU1/1<q$U]ʃ?Y+k}I3()wgǴx= rLwC=3L`tR=:S}B=-rYNLmd7bƷnW@%4^Ca#RWlzq½-GQ#i k_ Hg\SzMw>ş'7=N82dR2bX%wNBcs=G'qҬOl8u\-[I8w% Qxɗ7؃˂ o->> `&>oӐlЍ݁z9mzS+Ոk5.t&Zc(kjBXK T}=qx6-~Ϟ7[ۓ1w< 1^Ǫ~ 6@)$}b@}jTDrCԓTF f,s{S!$椿aBzCEȁE@Ow>ix'J/&(' dc`pGfiD5l%(? 4{l;T^k.U?  \ 9IT?}y<Ӳ۬gdˆ|ΛeU'\Fam+ߕDu=@F=ES@1 J $ڕ!j8ꓬ^]a] B/uˠ pɡC!"_ÛT.y"4Yߨ@l wc:ʷ{HOi]2AӲWqX3\V?4R9cBg pӆfbgV5=0yQl jY\uJM%PbF|jM6-SAn/zS$i Tg<@+գS~!JyYA?0Qe9iTiVg?\KV=_$r]+ kmx|7:bK""$irs/ | =4c]IL6{e\rǥbd+qKZi.9 MvfO} GSoBsesc2Su;h9Er_^fiu+iOh 587U<,d<%?(:SYgz) ĊK3a&I$]!?jܔr%:sKb'_ܓ1 6>VkW{) /1N| 6ڮ7  ƥOč8lltW-­@$eVSԨq5'b`d.q>QNFmwyu%X4ydUe&a3ΟqڵKYwJ5z jKPM4sBh;^N若[kP8|Hr1]Ss^M|   Ζ*T^QU&(?ATB'9J>?͖٠vfTCYjo\xS`꾉%1'E gTjMPJv/G+}yYF ̧֭6VԖP ,9C_Kfs:c?RJ(:kF?[E[fsUS7k{U@U':6Ө ^= _-V4݇sJوMHؾЧK%J%f,+r6Le6S)XŶ:h{F` ݚWh9|1[-sCgYV(gq ;YtgMi}Muw#ʾ FxҐy]x_jjs臋WRDN_ġ$ ^T ҿq`` 1y]iԷ72v? ǘ4f_7&*@`plwXõN)D g#s^d ȀM柪q_,0R՝+aרhp@<=j~8F[\`ۢytPq+N6vx꽠q4`z-o-KZ~ʼnt)l ƴyCno٫aS~ҽOשcDmF{05tֽ Z(L`.abw`hR(]2ȿJ=Uޓ;> %)%3t-d],E]kA/;%QV1iWe1ARQD~ d }3;-q wO,`M-I}MJvdT^5:[?d{e9HɱR]Wz_HХ:7;V4bW$S̩hcPtoGRiڦ_G| Ybi6Rњ=`̏O/Ϧ)Y9/A7hktu @*N'2kbә0c#zZ&Ev9ZP]ڄU찊iܙb{ݶG}bs4 !Dq=p@/~ߙF="q$ ̇Bzd҆SEoepDugg98IrM׶W3i~ J.tq?ѢBtDv5pVvC ͘vرFJ@sK ^B-?wc })nBXFat,$, ځ밆z:l7 sw~?:yKZUf_ `P#HIqAӺst)[ET&;m0.yw̄µϴ{$dLj(f`WZn H$gj4V R0D!aϨn h)5`ud|fߍUH]ZPt.y# R]7{eM xT"HClm-X%*;]_ij3lu v fdtNEwN I98A-74ۓrM36xF :Ω9"W/0 r#s 2`' E^ZdKws"L58\03N3+3Zl 5yNoDS3r^b>Vd~Ԭ?1Hf/=RCvW G2 O*|#bƒ$_B}%BS*H_U]H ?'%WTsnN#sjdd lHֆJDbT;½tsoa$ҬuEG#;h}, K-!0FU/gBЌ&^z20<]%l>gK4J+yo֛e " 2.I} SGލPLxvSYS a*y4mK'~ͱФDMp蓵PQ3'97ntQŃ+_'wՋS2a|jwvOA'<e|MeN^zGuqԏm|y6mXze0=F j}J?te F$ɼ|·{QkXytFZkfH]?'tIKid)!;ۨE>8z~Bczt׭W)3ФvU_)Ã$9Y zVwfb]87t29w{ , #QWUѣmg<|^ c^xW)2cz!&ŧC:d_)3_ Ȩ11w9PK\V!a8_ '^:GVLͮɥaƫ ˯[xV5+Ԫ4;^s$i ю0΂<7j_fL2ײw=ӿ+:Sx2='yfņ#! w^EIM5F kJ"NBU2ΊL-ݕ 1sJc>bq)ܷR,OEؚjn$֋#ZUSCi]t7:NHB$e]NOGY>Аhz?$n(~ =z5kHnPȎM.PG%?:P8hu: o#;qr}ו3JotFIy_pֈIϪ1_qnB)GLG~?7ba E (35\Xt|#+Gҷjg c`x 6]gH?lw/e8X4_xvul.Vb/SP;QrUU( < ?,ݖ)z}1si-5n ,~65(j^R d%GJ>-B:kFR`;U/#nbhiMǤ&&8'Y.1R+xI|3;4ܡ͈& IƠJCRjoː b7pއ?ͱvudc2'(*KURݠQjN0[P۴\~OT> g,Ρ47ǞHS 1I$dfگ?(ez+,݄*Lw|'2`M/ ab!Ys)Ei>bJ{OS &>ƙ(bD~PAtf=؛<hSuLR[~;v\4o&|5S@GAVs":j~V)1|)\rsr'dTĀmx//=V 6bsQCH|+HӾ!E{LC$YY 1Aqgքه%*H}POMw" ٙfHHX'w^2A= Nzͤ8ـS'$Ǫ |Xˀ>iUm闉86%]@o!'腤-N}e$[1c~t\"C#P%4)iN"|$t |}2ՆU [ C8LdSx%̼JTK4W_QboMA/zX S&1t<=W/sU"\u/@j"Ww%'K~ՔNKxeZuHtU՗գw: m6(7)?. }_L%IJ,rptdf.Y]p~Y(9wBIʿ6={Isj()2m!Ye&GzHk2sٷm@Y hz0o-bYZB}$#H 1 (I{4҃WD=|'*c揝&LVn7>m]뮨DK@k}d΄D:1/Չ#j<ꦭ ^H˷g7b QJ6%<5/#胛)cu, b 29:֝?!ؽX=磌 l2ic`86k4&=)a16v+rcў /IJEߛJ6pq,2y޼T`IZ=bD]I]R=hL_ìʬImFrpU?:ZgfOY9KtJ0trCôEMY`}H6y^9GM :K[%MN|uYzTO?틴08#ZzkCIp`bByH_= - TzH}|2N8~mNèX C* aEx,Gui.Y!,y}X( EhfҳPƯUv!41ъΑcϵGp}Mv(QD^JvJBi$ 8Iْ֓7}Y:TƒXl4<*v>[z2=,`Ο ߆~`c}#a?Wq2G@Xڨ&ZwnT[~x"eGѵpI1ÉHۺԪp֤L{?o4P_u: 3}tGpC?Ylges8WVIȽK$eͣyw-Vd~״kT5E;fڋWgs4m9^Nd vkHwqp|8oIi'bW'vzr^ tf<~:ou.v|иXyţo8$ݿ`u>Ĥ D=c? y S+BׁȹsT K h4*::ofpnw %noы\#,ְp.`AW^JƼNY/T?&Ų6G$y49s /zQ|d;vંRɗ|`I{X7VƛG吣[%4|8WA3ik:L|`QVz<$ Q>pᯬBR1+n4o)mM1 F>FJA^"ヌ9\Y&E 3O7Kډ\ڽT5) Bz4mlI y$75;l%nB3UT8FϾKԀq$'QEi%f5sPE_j<uymp{ͨ04Q.bcA)ㆧjbjǫ[Ŏy'(AGf@ O q}zSDx#*Ae)tOve&bT]` Va~<%HB#'IɪoTʳ^>ޯՓ?R֛QEʞ\?z{FD|.[*2U< E8μzh<@ `mi߰@<1+w'T;tn1w a%COʄx$O2?}ݻKVz9P*0E6;}Eh($7n=58p `m$R l(V^Qz&CklftC7(4ƞW]>j2ٸWKZ s)$ =@&&D3 Z#7\hvpXoqNC4((4 l#4|I!td΅wqhҭ5}k"6N',Ff龶L QFZw0_6娢/V\}VEI4e*p &W i@4P\{g`a{Y"z#9مɀE N.UXb+pmh) c Gkc!{Pccny2'C'3Fif|kT1z d b+5O Patlݍb:=JSdƑFR& ҁgVk>ZAN{!XyǭzpT_w8KKݾ(J_py K^bJb*5vJY^R}s5c?} ,W~EC4_)E_2)LjYYߊy^* &P1iB Tbכs.;( `r/\#S 5m;F.GǍ(Jsax`&g/8pܖv0#Ћ_ϻ L[!87qfW]J*ݧ:OIz6Ew9yutR09U^!3 6 Uts4EɄpBOō3U٪<-˓D ` 4WWΫ5pNz0Qφղg'CHC9L2ooxL9zWZMKD/6K6S`oQ~p+Z󐢜\zh"ۇ.|VBk90 gqFqfwcg:b6.׊ͭare",63XvښEc^PY6uU/7ۮ0C) r{ޠvs*]\=Ʒ\\ qzZ??جڪ}ԋM 䥎}1<"#m;"+{ tr$еPa VTi ^Ur-Կ/;An)b8>GxN| Uwg&.s@nrr U<98cBFS3y[4)m= "#b N4DKᒒy|ca-{=䌺dO*`hҾ.K{$FebI_\ rkNn&/7qOm\uՐ=BkJGXfnr>XTf,!Cy<9v&ɶUSɦ[^TNAcm&fwL6{l$ &~R,;^"?벃K҆c[*cdj0PȽPkk7^Wf"+'!҅. C!_2kPSf Z-WON3/I62f-`K!54`+ҀK4sݯpvG;z4rkX9p8n]|4GxBϘŠoDܳ.%sj--<8Ĭؖ"QR;*wcO8|N/&T6L*Y^Hn)^oSǟ$j^_r_@(_vvj/lVΑȻ6A$5IJfH?3y2.*E͍$2K) m#5+S  vRՀ OóY$MW~&Gڒ;pBnWAڕl}Ku|E V(~J,%&E+^:K Eu,t-jK< MǍa{ĩ𠌆BoO3?-Uh0{EI2VZ6O8"am(: n8G_uIt}"fb3B1)qﵸlL˳5[ۙCb,Ą>j_v􌙗uk[@q++*YWLX þkfCB' Dd$M# eDc|5W\и9vs }T/JU)`朐VG A$co~O>&d =h"lt<"3 H}j}!)JrFz-+uӀe|a졕Mxh*}\Of'heH,.Pvm&-DVAWHV֤yN!&>6~FP=%@Ld9{=e5pwQ {h2Ư&pͨZF4嫅&u!9Z wTS?8/ &5}*%gyvk9ղ&ye_=Rnl($E{ @#mb5vL`'P^g=X:oQ%LfEE'${|0qH w-xYPQNx{z:&*%G`0tR ]9liaHm`RJq- 7qq$>]9?gk:9bv-A kո$ &,A9m߽V,kKPa"__P9T3{N,CbCNtU2U_9+i+XD#K`Lt2lG>04m%z pfK4s<C0hR5/–ݯ<%?hJ+Ѳ}n" \AL#4*FH(+1:lZLګDҏbY͐("\%bW-,Q՛qðFZ];!Wzm> KP:ߌcPǘ#3ͷ7ǣ Ʀ䢝_yAOT'jМu 7!Wova^E*( }rk7D omjӾbNgU$ZצaXQSrTmqr9GjDD_]\!{V5k1P` cC_:p5OGVnW@9j񔛗_d'C rBj3kf>]H;N.0YVSA|[ #]vl)9LvT#^L{\쫤?П; O1.B[N[L1_4L̘{~1`1 F ~uwoI`xYT/ i.*TV zNk&qljeqkVe8LfYCH-(.?B68zk'Q0٘^bY&xIr@!0@ML(VzbQC< v%Lf6;v܏~~RtGvkvVY1ΎG%ߊIRm{'?#`@Osk!4Dy\ ]ALQS:oG-R'Q,Zl_q|\sɣ_jN%n mX3Mq0ܵƧ!_|`|CQ(-x )*Y乻N9׵kpd^ aPA$Ƿn< \̾7{x`{vH)_>|{MʻMTL Nmjy߮f-L/[![8$K'+Ky[15ķCX*1SG ηQ'pTmp`)\}%(84ƙ&;⏛ml3,#?R Rd5[$Ǥ~YwCb O ~㪌Ӏi]Hd0@So;RjBvwFhZ@aP+CxI GRԗ5!wav^hd {H9ugc_pD(m+kf\z1"\(؈]DzN 鵣P`"c`Nq5X ̴1yxdoE)mHY5D;B/Dloc/{@*AZTԙ7#"h٤i&L4yv!VCQ R?=őMETvr ѫi0)6z9 +gABj`w p.W6\YvpymY|B.%IW' N h{O|?Ն)*/OYT#ozZHaɖNKѤMe>ȃ^ĸr<^MT2 *[klB~KM[J&hE[78/ ͙.T*3ko~2ATѩ;y6Bq*$Ε}D)ȝ>=ӑ(G(zɕSNJIw٦ 8yR{e6zޗ4*ftL^Jqn~j,2mP/HY\N*/`h|g!F;G٤Oگ{ P}_;^+AHea%\ʜ,yb~n4I;1 <>=Qo:o(`ht_'d\=4 {&~zYsɇ5(O%=jBŒ,C|P4he pp6MnrRҫekN,71[.Eέk#þU/ ZN5>U]-~BxbzJs\w&PX'|-8P@8)Q7=ɫ$M[mf`u@4 1 ]_bF'$:uƢUExa{e*8Bƶ!* :{zެp+uYZ%6Ɗ/4ːl;>-=v%B7̸9\9Yv#׀}<.#Om3]!;H1jEAN¾VrJ%x{:j,~on42ȅ;;tv<@Vݵ Swh,ބ~zIa0ЬsSX/lTFmxٳ=Qk=6엵ꓽ;^I$sέ,J 9ŗ.e/FF }Ɣ!]_^6Am @?X2_K|;Rh F 4fjIB;|nBZv:9Q]Tml٫4#^Q$(LM%".0*jkR"YsRE|T9h(qٓJL! ^MӴSɩf;! /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4fF% =u"iJ͇ֈ%U 5m{tm:((t?rrH_EDO#c{rRLx6 9w~P; ,l`6s41.F JVB n h4ߒ5)RŇG.<"DcW+~+q(:`%bՖL$^~MrJ5I/u_uɜ 1pݝV79`=V l, LariԵyN2۝ԢHt+.,͛()D;O,%WhgoHPuk2"Ik^t5I=,2okQeDσ `^Em\#LYS@} :V zLJ\?*ˍ\5F؝&4N~['f>˱{_,εJnt;<(q#?5bd4QV\ ]o,9W<ٚA+~uX싽!L]@xI*'f2p{6QcD*r.b?5 =s7^'D@zuߛ:oCh\X#S߼ns0@T= dְ㰿Vde12O?x*eXVͼvz Љ5{vT{UȋrK- |;&VeqSUY[^ pDm,vIza9 k<4Wڎh~|E^p~\cz'T+2\ħ\M,ԡDoJDx^.ZtBFris] ܭc RTsY>`]k[B5ô u1(̷4 ÞiFn{ՃnTϘqBKۣB.bϒ1eFl ȟXfV;FbhF}aly5X>&k#4T5xnzhEg`5&-VQ^H#>*]{< _9ow|$Neh 4dc(E! %'6'QЀ,dԪ0 [ ڂhS0+]/Ѳu 6)^_0=O >(_%̿_O[}2yI,ԿcoPnK|Q[*PhY͏NGܑtۺgS(bqveœfm)֝{v)ßlTE!BYaÎwy!k-wI=%)muE,DiJ㚚5>ƲG_- r̢ȗ$ ]%}1$]LF*Ϣv έ_Lr@c`._pw]GUA3 >kzԌ7'h?ethce ppre&txuim\6.5NK,R~wׯWpkѺRiӇSTV_4#w$nK -]ԫMgE6 KkL}ɾݓjW ~p;UH7xV;LwK+z85lWOȇq`U.^@>Y6y3ȴ08cudBDHmSC h)rC*5h3T5{|):,%CڏcV#×{ޑBfXE8 x+i ׹{6jqoqR,eWTeVq^T~%;+7- gG!C8ch|+F## ǥʥ8;L`=F][Z[!9o1lhMXN8wof`>e=/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files~~/src/HOL/Proofs/Lambda/LambdaType.thyG</E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id210N;/71*HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citationsTakahashi-IandC[:/7' LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7zXZִF! `]D?7 {?:fH\H,Zki'(R,WI#ң&VK ߉Q)+'Ëb.ۿ6lH)ky"*ُ\gf,cZg"*{ +kR8נ.Q,7S4a&ՀQ!NՏnPRC')[K]|*Dl-Dܿ('O!`DcU͹@TXO]p7lt$YuHDlJ'}mCp 7#k\9 !|h{h85}  HH_DrmҐ2"LE/>TΌ0r"ͲG٩?f6&\W1׉M\{cVdzU% N/ Qi1]1]d>aFEѿAH ڒG/=gƶ<=͡90_\s?nM4 R3fK^^fe2T)BœISNB꽬lj`t߃Smom2%>8о7:mnz&gLpEO,%]x+UwptV2TX;hN#1.gYZ %b$ Jn6w } = X y > Ib#, o +Jb# :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 e7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex ;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex G7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex I9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex UEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.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'?k'Y/X%T 0#n(b!9eO' xʰn:Ok Cbt YdmMXļ~H9 yx't1DKQUB_Ov4sJ;]SuL!bvXB, b̧T;c]te4»E*׫Bg6yȓ6vPֿkb4Ai ݅[ GH&I;;UW2ĭeC fo VX^&v5DL-K_ɺ؎ܨ=94MW=Q22;F%d?Gն E^!r@(J]V=  (DǛWj0嵧%:D!_c.MC;̢_OiGs6W9_Bg&MHYMTMB:&`3&/Z7HR!$.𮜉H`[' C_ÃLr|ixwڏ"z WBŶs\_PS DLZ4>)0 h~ۄ2nf4RȷM!ΐ5],x2}]2WعFBAYx(?錿^{M{O$"ev:[E<{@^;U._lj,GL~@" R'uSc@T6.A4~kL×Gi.(.MB`o>ƝbhǎX*7@M peޓ{XU6BR\4/g58C\$#˩d jk#,/swKbeJ%oeFp+3^ =]oЮbmILOGwVD}ݎivu`_dóiZĚd,׼DK]EfؼVk6H"-jSX:paP.jƔg,-~ nT\'2*]q ,ػ}" Y5RxGNhYŐ޷![!:吱hli80+Źh%.A/$l-4|uӬF0-@?%>tCa䟹>/sjcViF'[*SAX 9 6Eis@x|{3[Saׁ}|9ெBң$0i[XJɖ-?:67gե f;4uV/GcSVepWt]γTzTDc"QJcpncQ@9W S1Uܰ)_W}౪+7hۉk,}\osQр/;8D=;-iTpabt{_IW ;֜F\qva' *`ԓ L >< DӪ@ǫ$MDiX,R "rvwؚAy`Ua$S#_"m(ѼEZ8jY,FBމ0|R `E#}jf&|;x+f_"gzx8HO ޚt' _Rxˈ _}\qғk!WEV]A^gCd3zCP ›nx{=N$U/,Rg],(i8lC}=0Noċ\R1nL.L2Q߄09WnUZp!Ȫc{ߍһѡZ $3N-YQ...\Ts|@[xD ^d?uS<:/[nZ[o[ݟ79@QPyD **~EBRnؖpK ѪMn=$mᔏv|.y&b !Z8m,hȭ(_-N'UGGHf8(bٺ墂wޗt5,n *Ma̅~XiN>l>Hf:c-^ ?! ]ib$D4΀ o ^aW@c(hiWy?s@`tIJ ={tROT|E RCE,ƹgyt$~{ | ٩pX chW|wGmDcG&Po`CBW'3jaF8㗐W#0~ ;9\Hg#8V2x!B /Q7Bu_]1 FvG wByӯlsF}hCU0AqmX+1 vϫ( IVasoMvʸto[ JϫE[ ~ltr2ky9 ~#|Aͽ|j MUǩz&S m[k&.>fCY%K7Vvzs^Ϭ5ѫIwĠÖ1նe3-ԗ*p{u;!I&uz֭hU{kBSwmR>N 9ȗGRI Vp/C+T64N'(Iw!$`*-r-!z&(<_֯`h j̰OOS 4 Q3A?y:ȱHo5GΨ5~J_q͊c̏wQrMw4*!e\єKHSF37^g0 xlڊDg V8JaFAo|{+6p DßcV#6WE(~w-PP̵Buw CMY67eB.ES #l\ϲ?KGqX "-<2^ݗ.ym3嫡4@VBrbB:+A÷ `KJ+A^=t0acRh#둔r-9P{Ȯ&qJu/4d zi-KN!!H( \wfu(c=ze=V @OxLFagk sBLaYG:όVVj_Cיi5/ Z qN} n d?Һ݊VM4dMf>"~=nov@=5;Bֆ'l{#*tI`9tY3'7׋α W_yh!"7fH͍|^\@pEru)PsW-Q'? qBs.ojNcCOvh`> ;z,ǬAv  5ɱDe1;S"2bA_ga^~8^;i|?:ā?r t-!&u 2I"pvgt;o'6RzĝV>h"$\bQ ?$tՠr^:䵗w2I lR+|֍(׻y֞Y(9KMi+d`EjC0*ZMj.1EDWV@Qn( Ce4R"ߍFI9W`ww>$3r+e:v $\5sJAiwSֆ.[|0yr #C)'U)KZ+N@ם, 8zuZhI$V1-gb%Q^rtA|ѧ_s (@Dqk;[!͎ M+ZzY:Ldb޹ɯ4ZDX0icTIXں-QD,9QfgwDn(wY8M`tx7$ 0\a#zWPwji6w j`O*Pg;-GJ]M{/o-23EDIBt3}}{:Dd&k7~eWt*fwbYLĪ/p5,0Y@vL-x ڈ7нyV3R)\kY%Eخ3$mj־| )e(|OItzm"b.GF5*Aaz%\PQ*韑Vf7eFyهU Ѿ%, gdӭw *N:Pk>'13ա5z̄xЩU CGGU€K*$bO.<>FXBD*iW؃A&I\ ,u'XyOӕCV2͓Qϛ8<" dC}5VhV 2c,7#J- Eԛ&Zu๊F"KU V\t&DX'!E`l 4G5a\ӋN!?x[-x(N{&"-X+[J}V8HV<:e{7\2lAklcc*ǡ;g:{Up P38-`q߮_)ii{,A6%Џi.Ƅ&KL&'>}MlYR K+s'Ո'OcB7#،A8_!ʛiR wQ yTWW̔`}H-k6m8otEѝV 8!Ȧ&T R 9&7iI|tʋ)Z]ufJzHru-ԙRgtWdޣdco'wbT ׽'pLk^Iqsvk]5y? x;"dҒܤ.\IDlQbJ[RvYl59\mAHYkLO?5ID?5$kqc``l'A^0 ޟ |%mwBtuwduTCD}_ Nһ/h:p{P@Pr<&ml<׹_] 5d[H5S `Tw¢d^+L\}r-b`KbOaTTdYEDYKkb&] l>Vd%:#+ʎW[O+=ЌO;>DGw_h/BH}cB`O>6^h m6ehR4~(~bBAAa/ q+0\e؞wJ vPos}xlRJ*4+Ic6cY&Gj<.fZ>.kf?6,Wܩd Y*L$}]u w.q32o x,kg宴ReT3m 76uhq91!e= ʘ:2vlnzBcT U 9 ,Ly!<#j hOp* ]TbT|l]=Lb( o.㼰V|E<8Va>tߢ%m&گlGMx횕o-ڟm:C3 [bNmhF?DϊR8qPӥ)]u9Sl=yHee%f k ]QjV@fewUK[HP,-| kO3dDpRM0^w"!,EsjE.,fWDb+fİ*`8#ia)*8f 9JsviB̝2P筸WZִeLfz4M,2W T>`Ih$D9I±[0+R5gx76pBI`d@g<*IK\ܿsҫAv Qͤ=:-aNJ1e?ykn[U"f َCۼ n)3e xW#\W7(/f>*e#$}Ʒʃ_"=fx\z@( Qaۧ&@ds`?$t7^@I28V# Ec|R> |Ck0[M75;L2G!k~J%2>4Ok"V!ծFˆJʗEP9H־W "xBL%|]_Z \|!<L}3]Ylë3LfEAR=jI5ud45g槒t> / EɭC3҉{zV 2B`hRPY gB9XhN9Vfith%=Xȵy{=u ]kH=[HSʽq}$M@vMCi[qG^\۹..bȯ/k 6{5BPCٷQ!}ZV{~t 2 H!+No` ׎ HW^@yAXtP+xrA χ$X'uX:!o 5%d0%)~kR2%cb-=rO܇\E'ME{M Y%cz@ Jy uc2н`J,9mE$#QJ3S'ɣm0 lcI*4?AAeeV(Cꦰ-mB[B_ΎbFAlOKC{3~T/tJ}WYaU^Q6ںk Hj_fg|gK^os__ycEgêpNXݧٴDKˎ+҈F<5 ޫ1GKs!_N9F(4о]R\㒙׏ dLgqd]6UfOʭ`Ɲ^p^Cbһ{L* 8?]Okyqa?JrU\3X X4WہK)wET$)|ܝs8t=5L:MBc+cf/0-U!7cԳܯJQP/ȵHa -9ryJE DOyF#cTv Zq4ZRP*B /"-28?8Ͻ BsSW%pM>]OBG4 o%Yq3;tmL!Tͮh4T ]ȟ7K[;#^}Cen3` w{*e1'Tbf O gZCr~R,U=]1mB`-lUF08PlX ʻ'wnyS H~TeZ;[SKy r3$.ik0Bl6bY^U2u—IE(gp1](k;/fnnP$#e?@5YqKDWQDMKB7~UxA?KQ%㸴C2ل{1uך̲ Mw VP!w0C)qe&n sHVgaA7!Ֆ>%w揀$mo] Vc+cr9mF-b/(v`돇" nv>_^-Ag"G WI1xEQܢy̕l@:HtUBŔ3sjw֢_(M"L< &6X·8mle'b}ѴO^P{nk .w r7L/c=b,d,j&D?w;iΔV@b`LjQIop s+v;Wz˟C⦯ gIHݦ1B=y%EVwjHa%_^Dw>0[q87iƀ Z8~6G\C'kDvbITa7_O?_p,`{is9;`AͮmVNRMh~8 d}G؎]U Hߑ~+و%xSWjpϠ>/ÆSrͤ$~[u`=S$@ sxIߚqJ+:?x贞|`f];ŻK5ЦTS.e'Q'Ӫ9_JsjyZRԐYkx.:N/3EMv C*yTS$R)̪DD8t)zbY k ~9f^=, 838J XΦ16o\ArHv54j@6_^|t.n׹ /*䖇p3Pkԛx7njZjwpN2Xojl SνgNʲ%NC{e&ቬG GjSG[zK+u hlhOZTH 9T8*w|ߜh\HXUb3k묃k(` lqj> 0r&Ʉ$_ܬL:[a+k \SߟJM tt=N C5bLk c*sއ?;k"P*^:":Qً_zoqV 0,'\; aN1?@k"Z{4Rm8_i Bwn ?yH3(Ͳ[ 蹐ʦӰR=uj7) N @ocr~h=QE4o:'kFlM("ĺsM|]H1Trk cYӢl6>=CcGFa0k` ;D}UxBVɣGwm&6=m'djS퍞TVN&gWưeȵFsHetVH.v*v[t0FGcRWŭ`~P }jPv&Mw9AwVQʹ|0|ǾhVcFл&&J,ypɋ%Cl )uEUryl` -S`_ܑDt.(ޛX(]2ʻJMw:Q^~_c5 qk+ >m/+C:&W̛lZf=s X;1'ćV;ɧX'VоVԻ6D)L'^?vF7qHfW>\PR?\|]7QJ8X=%FXplr3#{:\nFk 4\IY=^ęݰnF+Hw*o݅X_-75xMNCEIW Itrv v0>b.8)r wN Oqh^>X f]r͛3?!{ l9g{l+*&XhWV4f֖ʚj|e)OeɌK_ĺ:*(YEbczq(}s٠8@=;1 >?Y1!T MKquw. %I@w]uB75 72\ɩ&f1[PF{T`3nFv4_9)Y7d}:ԻצK$G/C_lj7VZ,R U߀Vθұ싂VfgM;rRYp[*4x7ss^I 0kaT=|e޴`$%eylh1M["W*HM؃xYAfVvsbQz#=w3r0[̿F JD,"v VO7śJE#} {9RHWG5Y5D8n(AfZY=&fF{aXgK!RO#Q80^/2ֵ2Stk|#æjc3(opB+uhY3y;'NExID)=:ou=JS Շx:.n-\Ek]4IbPF:H5<;F5 } X b zO ˜TW daC=2H01,{UE.uD<6le.>峬]OzC}h:^R6@(ιO uRܲ"UASqZ2sL>kziG`lc(~Iq p"ɘ_;T8'I/!T ,]_H+ip2o)0u`_g*mO+lBvTEGBgA/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/files~~/src/HOL/Proofs/Lambda/Commutation.thyH@/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id200B?/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages7zXZִF! @]·Iq n[:|&[z'^} FC{'328QIYdaþD~k֨T5MhWkoDk{Gw↼G8CȬqb0A>xIϰ3! UDO9DZoo!BPb+A1#xl<+Uv&nzѕ8d왱Uv͚u1D)фҠf& iLA'O&]rZ7<%%m h Vam|fmʿG"OcOgYZC? Kq#B9_a63tŮ$Dٲ/|/*]ґCoz)ۯ-&jA;*&r, JS~m |]ծe5Cϋq9S3Z![5SbS$;"QYKZgI ϊ+2Dy6ܲ|ݍ8ӂV`3D.;d,W]_O7 ށUֱ%i?$GLT؝[YIpn_/A6lPS\Kڱ-})1N"P]6%&tdG?kÈclYYjYX{sV^X}>>O̦5%_jܠ2=tdz$"]XR:xb1r^jJ=Zv,F'@;$/sSNnX~pq42svnin6܉r#7, ]1jbՂmIՓIPs kfX8kaD]k @ͅ\wL?Nng|a|HN4=:x˵wN[GQ'C u|W](#Yr,!G>%o-01Q0}Lbgl˧q6mj;) ZBwz{b^Qe%0)'ci( jTОl̂=1EI4[/X@`[~ԏh`x2ؽ[FE.vDR/]#"Qbq͌8 {9%w J~z@kxE3H޽䍾3Ja`WYa5?wDF4.ȢH#Tz[;6,so\@:+y5ڊz>X䞴Y7賀{~rP֗|s -QLwx\T}G<8Wec|j|vOL(9$]cl_n;ȅlGHP:kR/z2 < DZ 4`.AmC[Ihe[3qbZϿyx~z.(*^[5}'{!5^c^ȨOvX{ē1 B^장%^C'T'@۴ Lm!)dlxaIIO̰J`0O"+|K\L# hvعD 1,EPthRfKCjtVøD0')`mJtQXdW msܿ<" .ƪ>;bfz=z [S5-::<#_ol#WUd-2h"z(ONs$k2yYVMFؠ6^nyQ3\ \nֶ~{%IcqVOm!˾@Й@BA&]4cL' #2 09x:7nDus:9fMyùH?vM@xġF?GvcO`wd+qٱacIqU @ZFAuT{WzT3_~,5<+)䔤 D [ VZ="7{S'%Iմ*3~[44ݝ-bķX(B' E} `mt2lCIc_ Mn@sEؽVLZhAZ<~fggmX;ӧDth+#Wqڧ, Nj5K 6^jEF@/@4)O[z,TiIBk!)HPpͣl #485rAٜZk#%c/IË4 [FFrdlo[TGPʉ/ڌUJÉGKe)r_m`e6>VVCx8˾kԼn(B]o,| IC19;\l Ӫ Ñ)hxE.m@HCiPvvuj؊d="lic]YRDxUg]mqcoxuVBuqGW8`XOۇN1D's!'}9s5GE5s9Caw cC6d*Ώ&yŦފ8Q" +=TG넍4fr 1^HO֨MB: H,$Y`q1A9sNgSɩ9ґ>}4ap֯R;"4@=z>2/SuM0:rD$d-KjupЕ,\whhfH'%,_hБ =[*oUiI/edD!/wg~XLQtZk8l^*`w_<+ln欘jx0=վyc'4"5|x`j`'CY|J wX6.Iqo߶+UCG<=WxV% 4FYƒ b` (sAy$9SΫLhD9!?ΥR&G-:"@$xϮvdvN]-\lCFR)|+9[Ty(LdXٴ3:T.l7Q *yZ-hJ}l:6raiΏG;yBwU-N mI}5.8 < \%#xlznk#uG4"yxxxt0[r'.pz(C~]E ;5ՊWOݟ!*W[G%z"^Z-0tCl+ŋS~ ̡ "" Bd]oc>ADxby _L'dNY-u4ɹt2}wJ]jwO|9 BU-y6C+~C,9~_ Ec8ӛ^%6cfNuv64B:rʸ^+N zB"!af{-*T`o܃-i $XMfMRTG=T&~y1 s&rmGR(jjIl⊢EB]H؟ǁ}a "P=p*!Rtm1jF54!)Nů @)h%$' ɿShp42֮eL]B10/DAc-,uwMj r"w"\;Z)c"`$UϡlX1S r攃ͬu `= 8$;:L !mv''M'AoKэ89 $J7LYdtUxJW E[.AbI?{R6(I.8NWC7VOVJY,$eślUE?7k=匩`+YAh0кV1Gm/b 1\z. Y^[XyuŽWpzpR*IX=Zj!!Bue 3dK?p,",(E`^D6KCN4>i c5 JqoL:6ӊN5Gzi/(qX |d v?}-ɍs zjب2Nel0bƖC06?HML X!CkM-OQn`'MDYHFљ&Jv̦dxxkmy%K-"LxV~ugλ= \]ϥ T^lto2ItwPGn+ `d/E|:yA{2 k ' T ܀zI1 RpLK?ve,e3;d.w`fZԀh|~D_%ʴ0vzkFsrLOu\BBIKF7Q;Wtc¦o`jK 4NTz,oԒg=gt*zmly>݊Gx7kv O"]i`4;Jև1=v{.EjdQTsaH<\&'JؼVCz3; cʉ€HŸ:q݋K$` ˹V˓=\tˊh9ӟ-wB[!ϒh(9CS]bhc1&Ksm<,}f_b2rʊ*%m2(sz{[I~p'/ezrxʕ8u)ݵb+Ay◢\hGء>!l]dKZ~ṦÓ_rZL[QzgE~2(,2*bMPR+q";H{)r ͞0Bw7>Cq.*"4e(XI}KcС78a穔v3$,Ĥnƾcy1Nw* a#-\9#ly3ABy"$:?ı^Iva&` nDT H"[䞊jU >iJRt ڝM?eS!B0Am74v$Qv3|VBv<< Cm>rG׻,]h r ϫ "I֋FaE[qGiQ9]H qH޸߅VϒX@?4XmX}xa=HYy4Dod8,t8GACm8P si,BYϤh'\A C9YBݿz._[ѓ2FB1H isZ]|l3mX30Z6}UPITs|c! BB;}F&L0RU@G)D.~Ib]oӥr=q(u$ e?VjG}:* G&!sN^~%gAFc U?`|[ 20B}NF19K쑛-[eN h)`ﴖX~ (/H~js5 "' \>&CB/i+i0A@Z-b:YVbt WTe]A.Q{ LFUCH9ayar~| ݐK";k~Kjd헺D'ؘoհ- <G$$h"C4QR0gVq+0Çʒ{۟e%<\@Ywa[2_rWAEK 5R2j:pUDNA3 suK]זN~r5ֲn ]4>ӑGRY[e}XY,}ˋBT qzڏ-̆m^!fNJ Y4S_NWzrD@V o7_~ڔMXCߓ|HReSbgYZ   n \H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML"G/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b1øz7,@+ȳ?^e C#(l*"6CYB0wOJHEMEǒV53T~idЇkva? sk}x bĈ2ȵ #:/";N#XE1ح7얺m!;`LˆI+0z ^d$(Y kOj*:XLD٬d}`w|uU2Eyc'2/hQJM54g*xM'yU CqþY`fU0K_YǖrFNYqk!A$΋aJuѱ*,5gE.ch$gnj:m [TܭlV3#/!*Fɰ"Zi8l+3V"8Olҽ\3 UtFpҠ9 ٤om'^4[~`עefYU`PӠηdK(tRENVB蕄|Y۹7hfѵR 3tfLqsyRb aL5ƹ,6qN,?F\&@ P|#Tf1[ ?gTv jIK:%(z{:brm|JD6[YDln2|ao-O3/f 1Zn^l7kyz1181u(ؽ DkO9X>HT-H-6Hhi5CV]3EJ4,Զt>LнdFz"I=17L\bz~ŋʶؙO؄Gę.LG&A@ zwt˳u8awfo"P #)WBsD+ ͦ"yU~sɇ ۳@>$8+_XA7 n+uhA Lo ޑIqPIAz>Q_*t'҇`G+C=O,y@1HSI3LBn=a{|Y1,oW'Bk)cٓTtyWסv m&?3 eyFH*{̊"v >,ު2WQh=C/!k$s.D3i~]h+Da6mh>ņ],;<Ҕf\cX4E<ֿV+ {H퍦? ZNp, 匲пyg6#iF~>_iEop^-P.LP&K@gC Z+a $6KgB1$TsGFg[9ҎKp{я氂.3wa+-!-V"ވ&[=%k`X8lC|$6$bjH4Ȝڝu ѿZX&Jl5IkmjF3LnrEaX%0G4M!o5Dy>xx"Rh2B)v9d%*q;ռN,EeE/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files~~/src/HOL/Proofs/Lambda/StrongNorm.thyGD/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id222_C/G' DHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages7zXZִF! w\]Άxʆ5.f-9 rq8H֫x8dPG@`RzTԦSDo[Y~gYZF22=Vr` a103M#~lJ?|Axa*xsVJRs{7{}v{$8@+0ԈGmzt>,|zAMzg>>x3mlh*&\]P L OPbG;3Ntfo0$(ǜP"Ý`o+صk`JRUA#j#o,s1E w~m@yqy8+g_v:z㉨Y]z(ܛh=M:q7}ia dgJbT*_K/i// ,N1i\1u၁hϞw/J@c-~ro %H:׽}M4 7i0oAcj ъjXgGMG=j:&"GVhrO娻+OFq'*w;Y8@Lm93#6ʝR,3-ث*:lu'(Cqݱ5GN7˻M(p>ٟ^䬮2W![͝3g۬V5I1lz-k Aԑ%zow=JgSѾ~ Z(_ly /vdH6dS(c[3ġ"eM&\2{xE)Dw8}k&'yς 8\c{ YyPaJ-}fRP0<v~ vj(SorX"-Yg.MʗiB=EL~Lc o_! r6t7f8\EQeT&T7GAj {#/Qh]+3'$bѯmcJ&?fܵDwZ&\5jlz|6N :('Ϯq/78rodRMxa $H1;eJov;;d:xEVKPZ->o"op+AgdPN7ŹkLnj${{ziDmնZW]4 aB -YzGʶYH-?kc8뫕V?u\ ͯ +-jŧ΅EyŘ&ٛFHuO ]& L13ٷ u\2J5W֊(EFZëdKo @Y~Z9w}|9׷KcZšdL-v &v_ťQpW0/E cer-<-XQ6ǵ5 Lg 5zaeKC9g:EPY$Η i&\mT ɪBaa=AخՈIJf.DN[3M/TszH;ӟBHp)g+ Ou,. 4>Ee˓dA}3q#(wnU<87P*pl Nt!қ[2T U:H;DQyB6mȒ>>^ mD%ۑ3~gL8_eo}?4߽S{ҨB`"'yh#KM) ۰BLzGp \#ym9c81bl] <]M0,'E#K-oYe|#F殅ӹ`@*5PcOl]Yh .|m5}+% P Di´ >> 8,⢉dՀ1A;jZ7Zm0Pi1d&~8ϕ5UL.kM̘̔J ݐ+C#5@ sS`d%eG&B9x7~chp P8Z;d]Wy]{ O,/Gh7?lmp&, %ߨd%) ^8+Ai{oxQb*u_V>[d%?N)Bt ?:ʥ'PI am):SvW猗I7ƒz$M7f",Bz>E0&hw|@g to]}xg̢8/ݦB"K7"|ǐixBjk̺>I1o5?[,X@SnUF\t=)hD(Vx㶂!\ AOxlDt#؎ʼn(!lt&݀W0qҐ 1dn谱iBㆦx}[ω@{I}?UΒmf[3-9#J.YLsEV68%!ZǻoJO&6՟{;}R5 D!U\^Jo%_#q* Ul =|C[#UKg"Zm$TfPNM9c]A^4۱",asDIAJsnç: CSn,R]Vkk ^xcRcMƱR庵}yzߡTTuSȝ-X3Z{x\(PqV#ѧ}q$N}!uMj5{}#Qk%ʹȽ&Qh4 h (K[04̈́~L<ٗ2#pq9D/: _"}{54X LD.S.+ Rwl'`nGTW=`DxiGAc`~QX|fȮ/p,mϵ0'? ˯8XOzO]>`DGƄF4_f{ivH }'Quy[>QᙴKZ2u_-Q5&'A9ؤbze"#B)/N"빦iޞL(ɣ@ZQeeν`!ŝl")R 'W@/DӖLF[նv ©!o8d]Iq9kT.kE5SHam7]VNO5TRR+^ BIe8QF*1gz@.}f2곷@@)kߔHyEa +y/E 8Dd+VIHkZblytֆR̻c$!(7 8:|!= *ychM^;=3(|EKfĖ#FV~9&ҜD5cKz55C?–^9ћtwE)W-bl}-vğ~eLؚ̤=bȬ|}dDoB+R)_%8^C QF1XL>UYG)T.BTh97DEEV'oJk}' _jnPPa,+x@Dq;\"Վ7: ~ihzbT)?tOl"!XZk}D)LZ)OxBbO{{ܱNQiVVRr։<3I64A͌o7'_&WK/M[6R5@=GO*VeTW`oWpxk}q~)72n45| M}b%Dr`دXW岥v]"ZRjWR_80H{Q?DbhiR`K#JU(k4p?hU$)'"ꞕ\r;!5u?nm@}:FsC qjxs/b58'4KRt%?|̸ܰ9>z.۴b^BIk3/_T–n~V Oʍ@sܟ0t+Upo{1q^:st4:nNg Cs}p1;z +J#-/2Ї *l{I"Y@mS/m?aBE?`LGՈW1pH^0YT _UOGl`ȸIEue2פyE>YIbZvAF֛2q'=*g.U":04ϾK#7 Q~=nZ ˹Y?g`AoH~q0Nl[HI, ,ԨS "zR^Z0D>)hͳ0ԥ2 CB"מg#p{0O ŕftUVEG8T(烀"- b`sj*/7gN`=eDMfYF.ŊQ9u9Z1y)SR̈́C\nœ~ty/cu \OU8 _YO`حDNՄQ5c. A:bb[#1E4x $B% dZ|]a t_[TFt\d8? r4(Eй jY/=Ɓ.H25fٲH;ȏ^JƤSas>b/ tj{!X%T;U3MĬSamfw4 WwϺ [1SWʁxϩ.Qkw$ aH9m[hb(^hwvO+o쎝¥'$? 1) X@u?'sv%q_9nsCZ +%$@m/gr'uG!]8/4@G19;cCq/0 )(Xվ[H $5+1;3b㸟맺 4Eh M;H (jRjTt0f_0YHUBIB~5!)zE&/䋅R_5Z2x==*Iƒͤqd{KaaoN3/nsʪ0 t-#*} kuvdso(>BK~PT[H'<̘ZywWaHn)^Nj鶴 uH2UJ)CnF9Іb䝲q˭( C;20Y(E@?aHSSUL%u&tpW#ck/.!kn0Z#% BJ5ŏcBM6kqYa3&=jR6!m~z$Xͤwv0Ka' $#i?5x 5reZI'XL5Z=Ug?od[j ܖ j!@ -u+I/_MZ9a2x!_@'ˬej[ۂxH JFfEޮ{$ͣJKtk连\bƫp4oApRFD,>Фo_[G_s8Kp IA–)qx%0< 6TE꟞YB ٓ -hKߦKPa!z:0HL hR7Z}Izu W1T:>2Myo(zh́|n,Q"/7K9$Njr}! _QA LVvpzUўs\HN.ӈd0 -A4U^R=?G1)Z5߹i9m^!!;rz~c:ˇz $Od&嶵C4 otfޮiw6çs9'-^2cɿ8ɼy 8Z9/W$YdR/5{Z&}@h0xF8 R5 ¤0FxgꚛYd1YeXz\ұ9%OpzX);X+IJ_24$>ޫHRx iϕHpBp*Tw/` LU~/WCgv -vpAP<9+l1, gy"exP;u;M `ol (% G71keEHkK)݃VIՃڪf*f< vT@RքtQ V>kMzɌI/b}` ǹaLG r5ݘD?p-~}WEkX!)d9[w_Sı>*9_ǼS v+r_XYts%"WnJm_z1[gEFQn%zh`3-׈갑nkDɃ|&.8w5ҪC?Wd?#'>e `o=/WVAQwQB /@Qnř/".c;I'dnd+ϥeo+hr!i"_ʍbvzM{pS"BP1rٟzY%D({NJjK1Hjyov^P UJdj_>Po8FZ1+,YsLԨg ܮ&bsTk1K_ EYd!&r=K̎\B3ZZM*w $ aw)}cX$ݛBtTN.-]B\4>0Jǎ#?w,Q1z5}3*\t(Kr @S"XulޜJ?DQ-RX8Ȇ8bcvxT@$GI@DQl˞3wv1xSlSf9vsnX`C]VIC1K tȷ~ʵ, g*~7fS5)={ZZ Fo0a ˏMƚxLLVS;`_- Dt2կ46cQGG؜h|O#+ýq{$pfmuwvV38~Ō8fӞ9b ,L`xt?Rش%nCt:Le'QHbr(%np.=s"(bgxah.0>`S^HCzEpsv?r1j](Lj-sz~It|f&" UdPYT}t06͐N+Ij7vT) "' tP}tyMIzМ=n$ NVM(`P$L@(P pԟӎIďnK.H-K0G~Toߍ,Rgڎ *=D!sX7z_ ] ڳy# t+QS >;DV_0,_:HD1%5>nBK49Ύ =m9<:T#fxYEz+.j%B+Uqaa$<'F2 cw>ݽhs8usk^xCƚّ¾6fn<_Hg] RivUAЗ׳ZɝXV-D&mh( bvf[9m' M@j >1VNTk9 oT%{'A(i5ܺ,EYJj΁~$|1/0<:^`KQq^:~+ޔ4ލci6Pox9v'Cڳ$;]qET:c z4? j5&&䶒1&Y(y} -2{%%suSYKؘMLEǹCF8Mo*E޻R!ɏX36*k7]e'Kˏ਑]z+Q?Sj&|@9Oppr-^<B;n{ꑁZ[ȡ])ZYSPC3EW$"|-)7w5׳MK+\?5d m,M}gYZ2=m\y`>sd)ha8S3bL-<pOP+ 6@?[SV%M,I`6Ta瀗.r'ŶVjϳ.IY fVy<(ƣ8PdJh[ =J$5ui AG5hq4s| o9ɮ' $?|9%pK-<7! 6YM=u@N6%61r[ajA20/ꊇgaQX`AM)M ;h qd v|퍛m-"q2qA p jQ'.z{>-t3.KiKe/慬//9X=Q!G6 s>cȅ;c=&`80ejHS`BuX.8nn}>-,m-WvU51z&y^EdȿPnCPxF86<2 &N`Ë<[iKy i<.1H 33mLGzrvc] J{?}KKLW-;$ p WF!s^ڟ.R#^)qh10p. #il.#eIMGat ]D]jFL2 %ce8>kmCWC>xُl=[c! /wUg. Z7B䱝4g*[/ݖV$/+x͍B75IN.(t `@fy$wi> )|o6(k=P߂ewǛ=@06Ɖ;|ɋWY&,k> _)ʯa;(3WBT'2gB Q6J5L;ThɭqG hI6ι(woR* T-ƺL%qM'cj#ࡋ;skR5P!/9政}V: oI=ذ?1-&8j@e+ 'rEؘe }yG0P p1ԥ.pfHk ?- 2}dJ6Xeဢ#}>8186y˃-:A㎼Sٴ-SĐCyߟ FDptzKk  W#O}(TowxP)z{d:}bͣ1OMĤL)C8^T嫰9⤿|4wݓ’YWs-}& :k3On W"Ny !sT-V21y^+WAU9۽RJ-,azȲ+$aTEjB%b.&<PqϪLYB!}pB ύqԌi2.&%Y ncGuݘӜ]Χ.BZ~BV!C`=?ƍF},0S!./ìI`י*8],9{&?vomfjn-q# \#~x) m19Mqzʇ3F̘%1Ge-PTz[hViאs32) :_3lChn^R*讱A2s/f1?ݲ*.5;`-moݍM>'Ƥc15oy0+8m qԳ~pk,;x"L\!W-A6 o\ŞGxy`?/u u"N>f\?r-QN 4X-U8-:3&R<`E%FXr˲+pZqpڞkaRVWk16Ϥ\ <Z1tw/p5M3xdINLm.%ZX$V#tYߋ8}|71%1֣a(ET 3fKfF/ܯ=H`@:pf%zuL-,Bih{a R$p ˾囗0KLBg!ڸvۋa:?NK5)SQcȈ%j!J~'[ڴ~C0֍P.N71ϣ9G_yL1d[e(w$%j+/4>OUٕcAT] 3+;A:#N+@E}t ָ7],!i]|ɨ|F>RU{C"yϜ.")_2>$YuJ/ɦB㛻1\OrcؿIQ韘;_QS?e4ujrk=gb͈bO$tќ5-K\ؾýY/@b8ٙ_ Dcmr:N9j2VZ9~J3$Ӗ]@>.㖦tY4H޼U{Ӣ]yС/_&6*^nν p<+Ie ;WEj <2J&ܞyMa)N愐 KJ>3ժ#\NP/Z)1,#++zwdz/wTsP+g!E /I xɏ0>{]kF1 6'3*К #křxxvupNU^r-4,leH$ͬ$oo~$LzY>pj2XI<.cICpP S S5z2~_H)kʎFܵ<fA9wHOE-S&N $\m/YAx]?0[ߴ3IT#:x(~;'U2i/x5Z>?(,td[&b(K|Μ l'ŘreLxX߸Oi44^ }e5` qFiE9-}VSŭt er$wWl)zH>MejuCx.oY:{rȒAxI-nEmҫ(NDQw?Pʣ懪)%tʺE;^W᮫E^L@R)F\I\(i V7Vt( χgwnn\H