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 [/vT,< ]/ HOL-Proofs-Lambda:threads=6elapsed=99.242cpu=117.424gc=5.4927zXZִF! ]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߯ @ AsZIؤVas xfwaMT6=bFr/+Kd["ZAߥMV#cZ D:HBTh7==H ,z6q1#'c D uOTJI,wYzD> l׮ }<-Z*mϴz(LM@Mo}*3~C'pE6\utd֎7 &!vէ[%kN?Su,VCZ=a!-5  Sy^W(nCsG!&țNe <qO}/N{ި`9_f|^ϭ`{l_V>N"Wz8`U\HrH1vzgYZ7zXZִF! hP]ŗXiɟ11bu)a2W5KԫLpQGRMJ4gNW!fG"n%cO7pk1S6RkYYuKj몝: Hiɷxr͜*.󓤼Pɠ{$jf:EUj@Q !9"ܽCeG.D Q~+C2܎)'$++m] \̖Y`en0A 6B`'UOP֩<#oA9~qWv(Nzݰ9IH eDJNZR$#КNw}gYZ7zXZִF! /]ŗXi%˒FޜE[]Vt6*xnaoKO̐ۨ 7tnK)л~%[_UqS1@*dI~+F fpB/QBM/t.6ua(w]q=V[Ի<Zw,TO8;{ jH|P/u' 5D7i.5vVU "CmlI.#,[D@a(:c̸A,qm.dRHdKF_HmTjɑ@6—f3rxFEो\7Q9h':Yt}DLJ2C\jhRBOo؆YxTץ`DnrӊlAq9qce(SݜOO ܂mu߾bŖ 3^KegT 榎 nI>l(K2ߎ5%8^0H p9'@(O? :A]3FV>Lu 63f=w!ذ^vuaN=ㄭ+0ɝv:TZ8F.CW:% 4$O ^J$WmR~@BXa D3BCe#~hn wf.ujF3ip B$ 8_iAj6oS 7mۮA|vU~-cDO!"Zy4kmE"=mUpc_c%D<5eႦ[j"gW#1vodRsyݹ`6r Rk\t,SW?AbOoEc*ʴCjL[D&Q?eƸ 8+ ]Yj4+cRD|SWbQ1 ^u3e\(p(uQAQ.x4K'y۸`r2ɫ(k:r `LZ+E.jPɁl*/a< 'Dg+M٥)4?@QN˝S9ϘFV1ߖr_ޏU>zY_3$|=V&ު山Ͱ܎YEu:{F7wš!K@ @A8qi oGRug*a-Dc0":R(uY%'<n!iiqvY8V-է>H^h,2q9|ZG]/G@]a`{ z {m6@$Ѐ:(o?-z/Q[Bإ*R[B&M`4dC< i"8cKe.>2pJ%'cf5o75c8 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.,,%%!         >%n6 Z } = y >  i o +tJ }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.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK/G= HOL-P=</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&  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 ##Z/G= $HOL-Proofs-LambdaHOL-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|[E:#Lz29ZbjZ +{c$W~rWi2m들 E"|UXe%n:sE39ugYZ   t/E; \HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.tex7zXZִF! g]A-MՋhvG"uIBm5ȩwQAWtjJne .#z°ZvYosP{Jgmܜ#; Q͏1Sn\4"m F †<*^h!q)oW[ RTɢh0D+Je!m:dcV P;zQh-ǝUzX(F2?\+-8أlkkFJ Cl ܰTu@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ `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\#$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,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+raRgz*+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:LDz{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 X/=3 4HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex7zXZִF! 8 ]A-MՋhvG"uIBm5*oQ߱6qg B?%xvv KL}o{}5Hq'^%Uk:V&5:x´HZ㱞t4zM^UJ]DnPFU)`s )S[hTF!u_@hM,mN*O}8IJtlu_GS(7bBjL`S"L;Z*T=:IU*.fZa 2OmTszhUkgBG H}X3& // Ǭ#0pQ: } [TOX~Oci3vU( _?Z8^JG|&2 1HYP^=݇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מ)^ΦEY~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]gYZ Â`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.pLh.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, {{ /G= tHOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex7zXZִF! L;]A-MՋhvG"uIBm5ɭS+Glulbh""'^ YǵI#|;# Y%u*87 ~Dǘ5 J_7Pw::JaS p_E@O_t`P  e&R1 _.`X\EԜ2Gpv`;Z6*@ Ik#$,ymU K`NG UGhi2g#s h_G1=9ߞ_Q\HהpZe~F-8n8}v,M| #MX`$yS̥'zd )b=:ߨ0wKn\mr(n|B<S-On kiؓ[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 ( /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ɖFgCd7-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˒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 ,_,g/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\HFOI^+UWzZ%gIF#,$`*e~rFK]C ia5RW(\ҒsZʺ)3xj;Ʊf?[*#JzE[)80C-5'^~Ԫ:-By]JUi߮F4pK^ =2m瓏է(hvSg}lcVjʈf-j4ErV,ґ2rk-tKк*{"2ZJ)&~YJ]:Zu"d{kBrNd}t6n#ِV' QN*r% opz#=t@,[XY}14ذgX7TD;{TݟB[E<SqS,`/S,.g~D7'];$;=ȋV"ӨTB/u3u>S}v "%[FN"ҟ&hFOΖ)B+ۻSBgtlmqI DׁvH*8ZHU |PrM2h;;s#y\8Ψ)*!)%Ã5LgYZ /=# 4HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~?`s#6Sfy'NMV&+Ef%/d<.R7LffguCM- "Z.T:ԭgP[k=DbcfSX)8-pmk<􆳶.'BL=Vd6'/.K lEsT@FXey3]aVhwtO Q@L\ľk DdPFs؄:;zuTnE%IqJo(2!]/=!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\7 W6Brlz'yc$?oDV: ',ܛrj퀘kZyf#U^>x>l(pZǧC~?/a F ;B[k sh9Fn2Pfy; J}7 oR+!.X34?%"+ejkfGE MS] YEY'K5xeI-MeEO'[-ArmwqLSְRE(VzYen: \/!3䘎' PE,ł5xqj$@I,|J4N[vUL ٕ+1й (fc(RSHT$L6-LrR$ujtJ8;s;VB(թ{ʧ#տe)a 3H+ ;?Z ک>Xˣ~K\_kEV{&CbM߉5~U ETZAՔG٥k4 hӭ"MJ71킷M֤=r>Gz5}t[$;iX>+ {ݢyxl)"xAZQQv6hpaPi5f9!<,fh`I 35uN^iGmkr̜2[0)vo޴su/ܗJ&(?gĒ B N$־0] qD|r #$ht1L>xi|Wy8qm2:5erbفg O`3F`;6&u26}]+m]rpy8(7 ,hALAӱP,V *`'EA{aTz&fxn8Ec S^@.ݳ-`]ۙM=c+3Ċ2oO0`ӱăcaaJӮJI2yÚ idQ 0Gr~-U#SЇ춣}cȨ㟿ϯksѳ37w9 Vkw;U%g̖K7At]'n5Q* =Ηu%o͢Ђ ASQO5Q#v(C w@m߲g{ۚ!?ˇ?s1=a$Ѭ,ϦsGF-3.DE"ZqC`xW b6R!zbm ZH7]nwfq"(7g1Xϱh;nth(^4|4M_& =6"n$ O ܈P9(Bor!ԽL) ]xb5W!rpiM֩~|Y%"mVc X7,uR!!dҊcARNYŌd+l g+ &@e@nt[F1 Җ+>i5hGB 1.PO5étvQ|yzT+f?^!uDS'ԝӗhO`pip{qp~{H>6iנҲ(uWB刕nXe| &8q1r-#2L aYh&^ 9N%W^sIH(,'FlX18kL_+Y@N1^Uⲇ Ӹhl4\dvt#tDfXcg}H۱J10̝Fߋt#Oy\Ub"r(óimTz{E9h%%+Nhr=nbfyMb`%È ̘@+ϑ:,KǪ8_/`+$g;0*}R-<7VʯE͎wlLCh5R9 o";^kq)EKYzѝ ScjM~81gEQR{M+;!#6;^~`~t̞1'gTpFHjo$Y9#N7)^3foZA>[Vy^#1qf{%N׀ , UW/nl _\GÛE7[WM-U]Gq%Pڹámk=Jp ZE:WFz8 !jj5Wc%Y'2CI?IhRmC؈&ڝ*t~w]vG>r^p GFA\h𸳖(>\eYPхNkm:ۉSQ[ ^iV^ҕ jPܷ  -R4YExvۿotäu\=Qƫ49aJӏ ow{|y|XCNwq+Hg;k#G؜2iڊ}zNj@oAcyC`RfX; NTy{KJ7p3ĕ&GQv\$6N"_Nߞ\X#ncC3$r: #ųaK3c (|x*υ5? n\/Q Ȧ+"03/7ᕊ}#A ײa1|{6ZD@"!;Z~8C H[Zd(ygf9_M^{{62Lo=K?9!@o6kNnǮrͷA^hջ"Lc$ACxОM1ҸwUdܝ ʫ>߈R?4.8 J/iA.'/Í~7Q^ھ/HfB UIAwz2WKX$ Fp{)DV$w*bլ)@<10G{d jv tZx63+klyr῀OKiv|kta {jX3[&u4. O'~BݚӉqfY$Uad':WEZ{ H\coXVQ'0=;KlY'`$R,vgR[ȢԳM?iVT\>&64Z|m FE-N(TO4rlqV7a![`X(3|LΆEƄ?MUbR$k o,żL -%j ?ww1 ǟ1-Vu'g7 WA*0^:1/_i >L2 -,^*SX5S6Jz1T3͗?ԩ^3TxtS]NBd'(/$AwwBai,A mc7G^l :>h<qe (h1,V'fn>am4nUvHu}wRٻ@^mvAsW [+IaC| iU^W5o=Ť ۃ&jO+Ngyse6 ZJ,Vw1p?0~ýRk|ޗCYJwsӕxD!@=4;20o$p^KSd#;&\'TY\*T t$vh#4Fsϖvޒ02*b$uV7'03..2.,FX3'*ẁy"^ 9Qe@t#V)oӟqB'MkD;տ{/9x !• M 첡㣫{poݠ!*(-YB #8帓0RM݄(O67ƄHW .E*Ǖ 5/=(#LEQI^@sY[fj=UڶgVی t1Ksd.xIDd˺p8eiy%s@vߑQizҠr-9BVjy~3X[X3$!Dn,/8G5@EbQBll'|;B TXO"rxVܐnS/MW;:Q=Czv9@Xذ|HOe\I+zqҥb Oo>FmD]_Ū\9]pP~Td|!zDOTU%qiΚYng Fmek^g E߫}<7eFD#=и6g1A-Xt%Akv&XJ;(3%sm},BdFi*«Qk*DġEtUЏ|SU౤ #Ro]s+BMPRZq1l]2NfH00?ԥa`I=Kx<G0hUqgWpD Zs:+ѳi[7q;|Gv_usܜʔ.@qW^g6ë ̶%B&gXV28??:cD s[CE9-G`x<1 Ņ9,hBZ3?^ 2=i&J,/VS!_rٍEp}P߶nȌ*ljOh#!;kN4R-Xr31Zu6efuʾAsp97̏\c2!isBh*ť] t/f2ɇƳ?r-":@Mت7}&tS=⟳byc/˙M*b_UW1vmMPOR]ƚ2c'qSWXDj@Hh<nt9B&c#HTKXG12[VvWijTpW}d=kb# ΒzOA=&cXpơUmJwVeA#eSe*TT3lzQ2p=He_σiL аZ,;YrkI ѡlNg@MОnu*5āNܭSj6w?r)f׵xGScrUwN ܶ@rԢ+Rf*e\ Ho>/iޱ"X1l }z眗%_%RSٟG[vGu*@Dΰ&A:/ՋۅRlLҼ|U ]߽F!wW;?Z,}(gt"_I)|/XGWS +S̃<]T)4E}7*$C#}^Aƅ{tF01TLJ8¢ےڝldUAS+ R4ra 20 Jn&@;@~Jq/6~Q4 0CCfgYZ]HxZrjƊLN /n$O[qmkaȮw_ EP[ H\NV$g|PKc/9mէ J/80 &W;o5z*2zF}#QRl GoAc|-We|>BgdF?éL 1KwM .e0wlPwaˋd t*fO k|/͇[uE puyD O?9G{}1ʕNi+0H6+OӎZĄ#cI -wu*zDn V"fx"jLU]Ef:Ɲ'{bxlmǔAқzѦxiku;| l=l3j&4"BE5iCL\{GfK^}`,7S lcF2tG5ۈAt4v3߳2!,`˧yS CStu?RΑ~^=sL,k{mo<)fk]ƞqu&Fz@4q ?\BD{֨l->ig}%y WLdJw"xpw"eeվjh$J'9a2Y |ãӝM5+%n^el *2[,x`/0ʬi&BØ7#@=IRyt9gbHb걡D!S"јz~͵Ч F  &ad0d;:C=")RZCO ې(.=ɘ<2&ʝyuT B{Y1U~N; E*g(u1vi?5pSfDkCL6!q[T5LdJx~k-R}¡uqXJɏ %w~C4%G+~@vP tx ! 85*4B>vqJ]Aa` :߈a@cw a =%y,8RVPw>) IDf~sK$IH hlў܃1ir՚51 |?kF04t,G]9&Ҟ1bp`g5k\iѢsuk嫸P.=uka|yuBR ڬ1h(F( UE{d ֝[~^'sp_*'>$|'ޒD~BE&iWJڱБeZ@MHd21HS;^)s 8c =z*#Gz_9N-ohXq{!t%wY: Kɀ5L|I_r:ǣG!9ЖqRPFZt4A!uNɛܙmZk˚e6:P񛊜V/CX"1*=E^6Ag{:?IŤ&8szmraۮe,:-mGןIpE[wZ"[4%(K9Zx2n gܖ #R cM`VEVR@E5 n-*0Tm1t^WR~-RN])JFlh;.nO-Ic5ZnmuTNA킇ĄFE ,NoD+esf-a z3_NK'7'sth,+" .)ޟ&H&g,N|K]n13%,Siq\eO[MI+Ane'Kؤ,B(H m5rC5+58j ,T 7Ku_K g.TVBj~1|1 $k7 _"ӥd #vHMn-w|.]rE a}: H/QSKB#s,k5R0dJOΚ>@9vAB1kGg?VzB?&v(L>aw=I #>!xEt'~\bO, vDύ o9!}a e&ս?>k (f`er=Hfn\#A7צ{Q<+9 w)_٠!tj'9):61GH&qvŮ/źfR#0w\'ߜKh$AZ"Svp]ǿ i)Wssv)>{%fa~XQxZ5'-@O>el;c$\Ӿ ; Ƨ(6C2! `[<\i@#ok$~DB`%=MА)Ԛ{ hj 5H>KWz{uϛGsUKSΥm~Y@é&$/V@͊z]VťYlqwKL+ .{nsE9򳼢h/nѮU,U BXG$Gḱv' [, ȵLY#]͂kUjiXyP"ce׆bKry|79ܫdmvT*[-ݱgYZ  >o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files~~/src/HOL/Proofs/Lambda/ListApplication.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id206C/G' HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7zXZִF! (s?]·Iq n[:|&[z'z5i).sV+^^bFFr9z\ ;q? tfKěSgjZ"ۼA)ĠmWi wijEj]ӕGǺ@bF5˚Jݺ@, _2Fnv::x(œdZUiӍ8dun:?Df#WYET9m7ha QjaЀ g/q<[ۗ`]4UzO_?[|/Vg.r_$GiF ɝ -Ǖ D>;IwO@Ȍ*of*bkG>qc7"}^JK 6%mLUdwVMYr.LJsgh" {Dݧ;d-Sj' zZ[hZiϤ`=G7_[*apRD4HXgF)F=*˪rRT'}lU~U#.uJHiˇOm/S>jTg f^ /jd('WKq|D*Xܰ+*r[8n $e [ poyo{6E[51 ?&k<LWZ[N!ݝJ^PfPهېH[9;T'҃ ϋ 4Xy6S6GjE:EX,85D_7,.Cë'۵0oL)=5jd1v8h}'M̬QUU~&NtN‹7d`$dB"WSμAk(7a(/Y4[a`S=!#!ƪl L8*y#Kt'T:1Ÿ4Bf $^6xqUQbUJjM<wrM}( +!E4ݤ#l,|$ Z5(𮀥׈5_kmH:U؉"^uSGm_Σ ,eZJ /%oʺNN|JlPAa_L~eq`iՑ%ʟs܁?Oe[ЭcͰ}YѠ$bo)$TKRvwD0vmR'y5= W$gn,ynd#}.8+dOUmobW! 7)`ur%Dyo\ JG $\fV)۫DS% sP7VJI5QpE)rglz}1|% gަx:/E+u,XěS#1 Nz= F[Rg+_P3/Jz=cdJ"4|v7hw]]\kG8S|ﻁa@SӑZ*vu% ܢa͛qY⼭׊wQgKx+1 c<||3c~uVSO{{%ͺWw΢M vd?o§5tJ %LcM8%(#Ře,5/7J3B%R /)u٣Ā"HNnO55fR׹cv:7ƭp VH$ほ*qVB(*ҒR۵[T#NxBZ/H= qp ݏ 5гC_}jCRG C @%l1/&I?L hSAn_/k7 m1ϺjB "4'\4׋mi/EvL^NJ$sQV*Fo|e^oU89JmjU1ciP2Հ(Kih0+"4,cBO!Uӿ(bt/j 3>P;Jj[k2eQ'n -FL<艗 Z ~hʴt++a1hcξEU6AeTwkL{içGh\7t†-l%\K&a`ُ;(&c듕td 9_agA5u[<eP8' !]6kb-++2gwIs#6}S81 پ/Z#O.}oӚV/ȄsԴ38`[]!嵮.53ŬYO7&犙rh`Nᥳ1Y,I{BJ50~ay]{Y|7O-'Vr%aɥb$,;8{[n{D)&M=s;tiU?.\$lrE7?kirȔ÷3񋒸Ά?vot^C$Rpsž= _DK0k|%X@<~:A T_"Q{J BOv!nK|7+p +c&EP(Sg!yCfW{xh\݆Ցx=z[n-: yFS/@p1 NK_ %*  +Sx>fg4^~= k#^;gV>صadCkqI\$qv %dVD X 9r4KBƇٱ%hc(_ْEVJ[HjH^]6I!_,ģoi-di8}9^tυPBj }R٘oA1Q%: 1:]=C)0An9(Y ,w_'ǫ3㛝MAzl΄Y{FX/VQ@iyGaNL#&&akF-E9 )52{2B#v m5:^Vu@i`!1~nvyzK _guQչ\%NΑF<E!:[;9ZSϏi;B\1= ?%w8|otXRpz1,nmyM"իæxcB2k}Z =abآ8–C8\;BXc0nѫ)Mw}Q5_!q7"_~.Wd ^rT}C-(w!=2% Dn:>O]ML))*yN]~>(ʜ5ٍ@Ӿ&kAcp"ΤvM|/!8ŭEMit_UѫaFytN_^W}-f/1L${h7hEqB!;,o1Fq3*ŷ(?Ggb0W[|m`߂dOP?c8vJ\,37W}7)K# j"1|>W2Kj?ڬe($&$ܮm<׫WJPX%[R.?8yx:%i;H8H`QmDݻw8b[.@>AF6x"6sf/Ƨ;*}?,6f/VIX劤;zACYHL}]@U_@T"'9+rft~oL%"AcJD;x)k;^pR\`]FژCI%\;9#xiQOŏfIq҃Oz {XI24'}tn?q,75 avZDwDVv{Ms]y"m,ĠͶYtS"R8Ç_; `V<4'7o6A1LitQgWۮ){|NJ+MRD [zeWrG-ߎ N6S 10^H<ysU e\~UM)NLđFּ[Kv@iUq9_bWj\qږzA-=HrcdCRRw6=, -p!N EQN;[I{m.lG74fs Jm WΑ4aY~YhAZ_9=\`.C>9162P3B$9@TGvѤaokEX0FMr~R@ uz~$LicFr_4Ʉ pWgYZ :J /O# HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! AC]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS0i`-=.-yqNݬDecoz(ІIZ)Z¯Om|+eYYˉ,׮AN|6yW,9.n=xe},AgvB,$963ü]0X !7 nSЅ( J<w\*Thi@elfrK[΁ؕncNb"/4; PR%0<&&Pi|!u\}i8cu.C372/|@ fG̯8aJC$B+ {A]+wD?!o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220m/O# \HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markup7zXZִF! BH]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrq2rvZԊ-V/ {JH !o`7|oS߄쾬h:J"&JWeO3a]fp@HN٧K:0 3P,}\NW)+.bvH^dO3 j`t`o%zzcK}@Vb(!1vuLGRGSoƸeYCG.3l[̋'樅XvxԪBڹcP˩领aеŷAZEfe5K8RL6#VJ7YZHyŗ|v"+ɕ1V-+iDjcӖm|&DŽ1XMsȂ?!*ŢLO?ASXp| ;]z J/DTGdALjBR;wKA u5/yJںvO;n8::wX(l-.MLWDyڧXoJ48F?i-Z0H!>E@VRغuоh2,&:r^\1 EAvhԼ% >LnV#{Blа!o." \'-wF|ws2祺 /%\l]w8׆(gMnڄ\n%FD-t[aaJL?~y:G̋I)Pcqޯ~JYC]gB qWvq<~H p2=JTQ+5(mTX"*8k7K~8W}$/} Yۀy?׿i%+DR/({#~).n%MҢ gEftVZ^Z KNnezt[S /5kYQ%3)fhd*\ ؁]>YEv$M.=alSVGwGJR;]|;CHh- ˇ@*]2KUnP˔z(6/gV '] X92|)NNnh}85ౕdۿʅv>'?_ 5󑡺tfYF@j'쉈u$%33lg1L+# 3nc=Ε5}ao|ڏewi1S7KId`0BV^"bBHj~.d 07ږ̢>tף6K긕',t1/CGg[,*M- ,'0(nDykzs)Y=ېHz /f7*`:ZB)1,]j?0n]B"Nyyi\CH!J 8h޶:VC%f69'{JX66'WU$UTNȯk]f/%L{̈Hj#mWjrשFVɥv1irD!W武ϴ H"%䳲v0ގ*m@Oz1#po506MjSVN[OK4l7cP*(0'9D= 9)7550k@<HZ\E&s3 lPi\۴]O|MyTJUwk :̢oehpǤ@"zvfy(>\\PZ-|8dIeΖ4ՅL2zkGw8D}\V8hQfV3pg?3[lI*n=>&Z](c|IH j~Em5' f5qK#Ҳ|̴Ve: |D`x[ lHH m.<]uO@qn3 :<[7JaWey90Yv;h%ᶟ}d~a`PEY $RYsrNրGf7m' ̟ג)y '&.7X-jwf 4505~j,k r EXxx3}rhIjI.*ڧ7ٿd /]u*2r#|i< Ebq{[{Nu[DѣKy.ah,dtͶA*~Q~>RC|QXɈR W?]to\_lt {<ϔa4Pj |*Qz&#&e km%r]DzXz{ʴ2z=VV&WֺG 32Go!%hTWFeeiKFq_@զOj)8v'њISRݺ },҆L!E},}(y L<+wCDQQyw8ҡ}jNơ @363ϓq`QHQxX&ZpJyJΑhTb?w@=Jp*07JCx_<u.F @<3x5Jb+ӸDͨA? *uu=M{zZJY*u{Cʽ8`*sΡ(ZeTME~9M{Tn'RQ,ypX V;t50?wƌ 'ǖ ~4uxnqnl4/,d6ALP'te  cxڨx1T`}E4rk~:^fw;׷r0]iVFQjnB<6[0V.8O]oXMWGUAaL.>(Qc55L#k9gpYM[Ѽ2Z!n0mo ؈Q#bEH F቎vuNV9ъ.T#j=R##1i$&=ey=\NZlF<RtCb~C\6uٰ~wn{F3IlጾriQj=dxW̺qQj81hֻŸ# VOSԏQJ׸4H*$-T;i Oa+P$&5IZVBΥPwa(Lr7.TܢhzuNgAJge΄Af}W ќ5>RRMfp6 V a:!C4Ɩ+͖ߎ)xP3au? $}:5KD) !T':yk; j ߨ1xNT坮UnfVo |)Jn$ڔTV \]_. NB~-e,k_O%_kư5wŤ(0yZ:oڻ۰g'oG_Z ZW;nU8OEz pnCm/t!ckWz//XD~G>ҬfΊr{Oy VF&H'~BCslyS euõ~ mn c8O~nnAP}ãݑ͇G\G+KT#!Co%m6^Pw;۱2! H8ۡx=*6b!g5twtxcUHL{ P!#*8UW(.T"N4L]ت+X&\-.$#|M;(*A7<@h0)~xa_BMTP-^ tN-*6 %l7lzdq[ǃkM M4啖͉jc|K>oCj!N\2aCEb8ߘi0't Եgd;5||_<&PU}oA$KV̜ToiE'"sxF.Mݣ,WyFjr}Xw0fHG/i#[(&)%K18.Pj|33Y(h' $+׎?ܼEP+#d[ܒ=~]ʫ֙12NUUFpݓN P4zj{ 3p[>Ys/c&II){BQ.9Yhq)ieyڵ&ѹ IάtA}nMvsǣ?lj8F}5b0 * 9㢈(OפhxCZX $"2U?58wwUˎ,Ռ\^Leǀ /t岦7?UI4dYHŷ/|pꀞcގ{jN}ý)Mgv= M]Uir3'WM2ScP?+z͂R'ۍWTihE]?>@Nd2t_۬ؔ7E(3±VlqK~R ;.)J .nR:7ӻһҞ Be񍽭G$VP( MŃ1 \VSQw|Gw=Ăb\]$/&qM1L݅BWh&ф? Z6ҽFP BV?tK|!3DWdk@I3i!pt0|[.ŭ[ (Z01eFaܛxo" EH|]2"G{>#7St4dfB__JXhO0!ߘQw)FkaQkv,]НtY!lP V)KUԔʏUwrah#:BTt6u-z :GḥB>Nj{{aӣϖ*#!>@-dPP$,5:46y#xrGrSV#x[mkN{Pi~%_O㱥rĝ/X^,4&:2[S'f;+@zZǑHd!,! e%(2 ]8z}kjƣp_)dB j%7R9+Fu+I'wOifLgD/qrJ\,"q 2uװZ|K$Oexu*TyF䑇gLo>F69rͅ,̴CQk ҵx\( }NOF?E\qPnVfړ&KrKTupmQ-Ie_nIIs)b$r$Y.nZRu^4싻fĝ]E_S+m[_^9kNU3EJ_<×^$U#%>ToOGo'/8vO>7;Mh}ӧ7‹j-ZьQ;Wwj,N`B{s<_$pzEG!uIv?  mG×l $yUUz 9H񽖏0hb#EUz$ݔBzF݆ D{ճֺrPv4$Kk@Meh!e ϓ_' J1N'zxP]Wq¡N-sar;5fxHU-czʟW(X R4P{DVߨl,+#GC5AA-6 +¿x[1ZOӀAkr,dzRշ Fܻ.Ϋ*ӡ<9?*e :|ZZt!?Imsge[{J[S!OK[+o"Z8 e%?UUU@Up QZYT)l cX2"c]Յ.6rU 9 m_pMX&O;Kh%v*$c4=eE6K;޵H@=xJQNb=^O1i{YNAV=;Nk}/~G.s_@.=))\llvxfa.W Q^z9ht/⹛hEy2GqQjr3h*-Jq2]ͣq(i6\QCMϧ<:OAUL@k>[:V0DxRƮX'r[E aRdU{Edgaʩd5 rtM";((+-$im -xK.6.1@g; N >󟄔mKu?u:dN3\wDjGx:ޭe=<-䡵p:G6@ h,,)>֬]`"yA}gyCyl"OBqG ;WؑzkJ\H%_̾@R羳m/)Nu!4s&Zu2u|0XY8sX8|=wlfpB5u_簺Bfx]tm7?Xy,0#mYO 0Ry#Z8c*܂܈:~5/̏t{cW +&pɘBEm>gssi #̈Cdm ]0yP)?xMq }|eO peH m ˚}LepI4r!b?ˎѫX|rR{q" 76Dd*M/+g"t#ppzk ]uϩ=n ?}!5E2խwIb7R&$ A o3VDPK1xIvh~mFm)V;F :0e\[9~ȌT$ѲS^m=rW?ÃM~Mw8cos2'7|\)xhCcC d:;{Nx7jT9Ə2c|UuV:Q24qnUԷvǪ\UOKm@ Җm[=y[($dsՆӬm~*01JP`t2CxpsÂ'NF*Zr0LfE$8P>]X#<ox$Q-UrʋgJdj]yr5 <*_~&(ɻ^܍M!mFgtNRy s|퉹DW.gk6:-> Ÿ۵H.zڀ}m>Ayk#Lν8cwѾ%e@,V,Rj%N $[Ef4,KҁK(HI0Ƈgmٿ=CJ.4)YUv1ކÞKuh^.~53G@h+//%k-׊_;YغF?5iODV'{.QWPފgN;9;JE TTpgOn6F0qe (i5Q-9iT_KfF xFԅ(wH@דm4?#8QÉL{z˛Yh!M+&]ԕn4$AiP@E'EѪ8y>sա-yh`ϸ¤Go1N nOt^5RǠ8p6>h(0!_R̈́@2~C!Vf%2[  Z؞U W c>0=e wkҿ%+4"&22.Xc:Urv*=CuUgn-0uc?5WtܭUk\&Xp *i^lP7˥v^{KPS3 .]T5vH1AOIIL,,p'NPojW "pi:q{ﰯ 1M>)_Lݷۇ΢/8b[ 7T^:~ fv4Ԁ{e9R逝5-LBp%z}4(dcOf02pˀmcKf-PSbTް%,K:ب?iTIn&nMF.V$7 7`T) = =YJ7+$~L)D0>U!BX@)7IP߾=++46\ _Pۊ9 ^.ݧ!\ʝ&hxw,J嚵 kkK_˛RCez`9Ȉ 5=kMw~O-+@ +(GA@Ɯs} O.VjV,]r5NF[dk(گt$t&R#۶O/v-1Low uSb:j rtӗ_rk vC?ptM7(N ܝUHm,ʛs^.\# 3I@[6. UM ƨ8xxbC'&Jg]_?6$ig,hac->ȍ ڄh8q4:&,G1 AlFǕ@wSU$}ymmwr`w0$bU QVI}bԩD0G5ZӧL.Ju ^Q:+~^w-yo04،0.Ys+0bPU ZbuEh.Re@i7TNI#XT'WpPQB>mrٺL5 ^BvKn_^1B"u]>6%߸w 7RF&컕N g|regȒYN3 74Xfq$&]e9C(B{;+DZ݃N] 2T5KT1.zmTi7&؟ʝeQS1\dln;)x 0~RɱC 1xV%d |eR{ B)~sR:Id(.0X_$\/u 4 :;UiX-ArV3P~۷F?f7Ʃ\)2ULUMVB୴a>pGq? &uj7 Jmתsqt؀Rd"o2ʡ| R\k͚u bX6`w`-) MbڅfPdo|T "U|F}(!GV7ë́hCв\uY]#9!, 8#\)u7}ußY5(FE>4^no"ğ}N f_8R8<`&5h \B8MM\8>@r=Ѝ(_i̷Ejob 6DQ2ڼPFӳlT,NUwk%Q؂Ulܗ:'+.ppi~:0&Ș=&3q`9weq%~m*kžSX4j͝=+X;㋔=j[ j?SIʡ+ IB<3hYCi#[ gƑ%.q3Љ59t]'gbTq$tuŗ$sZ`AUXu6}qSנ#XƶǽGvʸ!nێ|x$?2oɱ1[N~"&-xܕaC@AV8/'[3eFbWYCA@)(DټoK@#3˟ǹl s诨YGBjѥ7}TQE9do \+󸸻}2 ZЁ\8*Q Rvdz:%2$mvjCyr)ڣmAgpZ*6Cc+v ?w/Hӕ[sZ8o#0UGGTG4P6uF- ,fI Q$! hc/FC§lx;R(Y_ ) #50$`D(p!-'2=f(~4{ꄌK?y[T|T3{"׿έ'("K)kͅ#5tboXhD6Ckz\ +4=" Ÿ[9$8T [AU_QA1ЊH} DfEsy#&L$Ԏ d[,7ێ7VGTsRO'z/ꮏ7{!(]lOf&l7A3 E78tb,J[lmܴIj6-QKhι#Ǜ!Ã^o2ZZ[oڤ0!¹y9 ]C 8IyAmF殄cirsb:Om/:bnBsk# 6)4?YC~j)P)H-B?G` QɵeGĻJYrEq61,tjXzeD8],|2K %0I))x^'ª*̖Aכmf/RYf1e]6;,;GO{"$崯wQ :x>E+q; [RSA@s\BV,ƺ%b-~Pṡy:7N=ٖLbl?;Ap_ ɴzt  ٘Y&!g^u2sdHmk=[[*>/ q{m`8ʔ y:}2Br@.Z !nCSca*_ld}__M1n#Y.Z+ ~Idt›њvXy PBPY uu&M|~@K+]*o9 2(ʿv>,-@m'Ii7ߐkK8R`6HX hhE'C0j` ϷmNO^PQ^c~qǽ5i+h\)Okڲs P5ɜz5 xC>IQi`,.13L۽:ƀP.nkC!|}y 2ntty@PL9 ?]Ob|>j,?ڬ1^2AHjP4t4+>f0olݷZC"*?xECl/gD.TBd[1܄&"Fub EvtiԚTJU \_ʄ =JXkr [=0n ,}+g$7t.OOS}=!kBqang;Lgpȷ~Xre[m"woP@Ihc}ESN'Dd_U~R TҵыO316eS1ZB.ҨK'cY5v0EĪsgvh/մ=94 3a0)tzX16e4pjIZw CG1z#Pg㛕LnVf<딆I&No\Fnq#vWE(ߙ"0~I]Zh|x>&%=Qj9KcYF[PXn s),/yn_ +}1ʘ㙚O9SӄSww>Ǡ?p:T $L~(5 q*N|' Z:X ̷D.AƆ:<#nИxEPsc>ۅg[HR*-j E1obVjMopALէ}L@ k R>zpM?,R#(mҤ3a0P {Y摾]{cJd iAq|)KQ*Ko͘,N5MB^b)~4ԅj^7ʍ r,aۼ^s -E`}ǛN\:R|Ш6| ԿnSYƥ8|lx8㻭米vrx<^9|0@5oVΗn0rӽ3QՖ5rEV19ˍE@l+c_YG$#Z)y6`YfX\Ϲ+-aF[@mJl pr`sȏ@v6nG#3$oe,xUThGjĀSB=d[|Gm>?-jݳc˦j 9E\k|_y{Ys՝"8;noO}>5P̤9ȽI8/&0-HthOy,U<:̾Ϗ2+v}w~p!yS>a[B٪ozbd.jd>oɷ5؇+Tp9VWYbص I*7i\H@R1O 7:/beco⢯jƷyʜIDfٍ޿rVRC!.NY}*~8+&N%d|#uTב2>ܽxm NԛX?V⬸ӶR/FQ8P_^݃aƘ546YmP)Pefۯμcv'lCD bR}1H>T~Ӎ7C@Ң ?{cw@E_|i7MDpjE&7kلF)ԇ=<zAW\&N#5i^])9_4,B'!)$L<㄂4=Hאʊ", 6[JOZ->"x1&~D/%Rs ', ´k/OAyH`tΧz߂*IٱgYZ  j Vw! /A# |HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! a]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E e<}VOˬvV-@K&e}pJ =f) uω+bK /v'O)Sʥ ($!(yF`sa&^c ɱSI&sݻߎe/&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' I&ټ>h)۲1¶-pM$I .Kd j+ %^+]a'ʭI!Ԕ_pɕo[{}\R;Qcg+mvr8}pֿ. ;gl`=a/>$-9 jy;Tݲ'Oj*?$y9B8/yD/H72kpYIoHeo%9ro<$^cF%2xy7m#èG5yő `U.(4Un[^Vz :4\KJAH4M7PxaQ6X-Jf[%ilR=?-Ig}iJ-i=eC߾ EQ:Ō&H֏M6 gYZ'x1ͪjkz?jWK[OnK *wPkrv)t3!4̘`Z:>7>J~[ O+iu )6~Tn\,VS^F?I+.fҨZ SgL:H5 ȸUi="wǀ&L_YMKjڹX]|Ԣ TXRUƚ15wyǶ_p?JЭo^0ҿQ6ry+,k@gy&]ֈX4>@т9j j:%Vz&GՑߥ^˵[Id*~nwGh4[# [?~"5:k9$zL~CT=8NXXcc@U'ȉg0*Tq}If-`mb 0qeh 3 ɤr|3\N OTD`e34Ȫt$Rģv<>u1(>JSRroM2Ii*{a-%D9TcT:2JsjfrB3"=fL#O4p ?,j|Vj]h|L%X2N G8cq_^rSԒZ}WRt9Zp1C&j'{?@5_ϝZIޣ$hOCRr>< _w2h9{`s&Jfs*XOL1"Y 2ӤW9`ǞC#FWvps{UcΟePo} ҢkXƝ5v>+0 "b48w ;qȒq(KH-ߗıy=Fe) CSu߬Y DX*{.J45p ]lUQ+}8"7 ˛V޿S;h3*Jnh|(>*d NjJCq YrjxWmI],X"du>n!Ðoك !qR#f[oOú?9v ҭ:|$*kɒ^`Y9or,Cx ,r}Reъk75IXF#םP8fۓ/T#-dA0ZTL89#fՁwHB8g9 ANԖ,ʘ: 58#Ս͊[D FrtRخO2>cRċDYn%"-ҁ-+(#<u]َL*[?p+UKus@DՑ520G^店]64ۃ>":C'#-'n`YF:/-K7Q r7X/;|LL3flJ(#4tLYvܕ155Uãlۭ "#.&h/oM? K'RB2qۧ^Em7>!&x,ēj+t契h_ё$|/᫯0ɛͣ|} K ͊E<5vj_* *inŵ[Eb-Q"~w> p ..RөٰDnUg  slt qqAW Ot/5ihq*R..(ͤ_Z_&Pf!,E;pI6[J9"Mw9KVŌ!^)qK[aFQ^ O0b >ɐB_%o3gӢ@) 0P w9F fyN^v&qvr-~ZƖӝae&MbBrTj2|GN1S CD.Q6h9ִqL؆Tƚ{P/tP6HaSr3' 4N^ySMɤcQ4ޜriG)|0 ߪfמ94RpsyI߶rԉ|FOkش8/6:+",5#Ozrɜ7'4^e ք ڰOp|^9T5;`wNbŇ9 (cDqц# {M{ ݺ0P, I?+C-¡'E҅Q4nd Wk)by; w N]SbE*13ح"))4~@"8 xr_q:~VTw[O裪 ;bpݿւAśK i煁.#G*B_[_ ]Bs%)L_05۞~qͶ泽H_ LgEHx:#F_OK` w佌m׍6:>uuFJiQdJfՎvTg-@w8yGh8{-NC;b*DhPV_VY Ψc'PMR_=T?C CeOA :/&RJ\X}n27ob[|=clũ*ߩA39gFW,[x9h^uyS'SS̟p'NȨdVa;-l%٪r^@ Mh"M&khVʦle붾h>t+S#*JNO *2tY_}\9hkhe{,#*'#J8a:\ѱaeb4α+'Wy7&RN[NcT_hJ#XE_l?=Sg5aUrdw*]vTyXa EI[6^BZuel\z(Х[f|@3~2woh1ݒni+ i0No(y[e1ffI#u|*ꇢئ:9I$Oo AI /s*|>;YiS-|썟M[$?o꾓’䁑C 9PΙ02 +uBiql}(ktt\mQ)M .{a^[n:5XšX@${oOؙ%S+~kUВXf(!EXnv@t-.=.9|m /Ml'~AD}b2FI7u+E>Xt1;(|| 1A(:0<䫶"u]V0'@ĺi}GCg S`ΐBp/U8$9ocٖrO_5qoŔ\XF\󗅳bv_ MN+9$˺?=SR[2`Y%"z!*߰|R #p`[AtT(Vü]w 9U{ooftOp !qU`ٛ&!N~dm!%Qkw?]=e堘43VGb^^\딪/8}s=8hStt{D nh_%BKAL}[tgy@jeH!oi 1'*I(tvxhˤ ,x*& ^(F~"oXqEGq.I/n" 2JՅڞ-pjwoDQ/1% UV]ht;]=']i`#FZ:9*Y@=a# :dT)IMKCd'G']l.<UHJOHsڣ '%D;'hculLJo!X aGxW&t$W^({]KbO&wM)*3|$;mx#ʮOFUqL[Xxxdw-~M}믖ks=`E$@~64f܁`oTۮ~Y𗳏=AV?/֔T?+$y9`)SuK3-wx} #|0{p#Fs[Z--hoY1h?=7k(R$p'Mx`R.NH1*yU@ͥ"ثOJz;yN5(ٛOR˕pvGFOd!K-/S,Laclg 9=\[Jlo ;\`oÐaځZ yE -R_[7#iqXS$o4x MV52kIE[o؇KsE&TDrSR \m+Z}pzݷ7F\O611+ kIPW*Y>,±N&vZET!`[1<]tr7ʇ0F+zxVNzv~Gh2iI'aM" FD) =6,\¸FԪl>;8JyUm#~msXR{ 4s~scU0>4(tɃW_cr wm` 6/?UIߒ0I!gQ-IwH8@y.c68蘮fz8TeO@̖&7CܸtWؔgəe1QXrlliꠠCOXh SE MSNmgq{W4)>VSDub4j2A]G'Sv9ُ; ؓΊ,DcBot5yWPM'e,&7ZJTpKC'h#b(l8k3qfKoRYJx`:6:%PaSCPhGS+ؑ3쏍Yv.N6,|0f9j[5`O}r0 &z^א8U&~}JbeF#\VFO8.ʪbUkǻ36V)iRX!]kMEoFRFE&RIn@JinJ.WWD;@uȭN3 PVpoUaksK`btg)x6\gǷv J8%fMuA#"?M7Gu }H[='=} ji!0(%ŹzF9"CXӫKD 6nאTHҢM8I'[W]M(nqL|i?qgޕ RL *j[3yCj o%pO|poHcio {ޯAƥIM{. õbf1JLTmͻrfjQl`}؅kjî!d v%u=>iS$'Zbr6C$?yKZWRpcִ3Ipho[2Ջf2G+ZBH IsCG 0-l|Vh=-K=z]||šzLhj[`+MMWS e!f ^y b{Ч8A0MSdchwF n{Euņ`.u%pfjU\itrml+R 4*Y*|;ֶ[ 8nv>Z'2| 7vvmہeV)/pe;LَoL|Y$.u.hD<Ɗ4CwJ,tԉ5{{'&#9aԥf>R|А*8^͙6<4VIw+X n7^'KK7w~leï_^@O[(#Bԛ76oR"{5/\_wY-ߢf^T"]/fr}P^ML@qs5`.ԪJq&ǣ.JM;cLScx-t2qmU3j%sHs-qQnaJgv5J)=,gVOD92ҿOPͰй˗4'xgA0޵Ȳ4XÐ(ChZ'on%Zǐ*ۓWK|M[ SDx(ktoDf߮ڸÈS}_J-#p1Hމ" vuIv"[ѴV“6Dkos5i'#cg҄ [KOLg&D 򔒧٣ diŅ4npgȬS?Dc ?Q<>"8Ne5`STǞL`WbcLOVߟj~r@x}Vz͖egּMgƘSyHF!Uąŗl*I:uY\4S^آ~\k+WRڏ _+}/+Ȼ<9տeTASf=|Ӛ]MDQ㪁v4:?Wmi`d}C٧aK&j̺YS#o\N0T/I j|z } *?^vqa1pSK [B; 7K.Ev8BQTJ۠)2RŲ?Al&>z=urQI"m3-!+Q*HLe6?lul!L4OX3՗l&9Ox,WV:i=L&2>Z4z}˝ymvx ˏ jQ sjuj0q!g sYTyWIŽ6_ ݤ1Kr|vWӕ8bF]'8m ݹe d%' #p63D2R{aKI l^oQ@_x,Qj­n}%H' Rr"bVLL`vb.U, /#.^ M)bb/.>Jc1 `V^(p0Ĩa0w%CsRdtbu0zW?Rp݇©[=?~k8ϴFl|Fj(G $꥖=67xuffZB&gE\̉'Nۉ"ϴ;dU:Vtz^9k9~mMY{E~^L6CPY4FA0_\gy8tM;9˞nh=Jg2i@KE178a)Wl݈`0UxsYy-m&P߿Rfr|Eyd䇰ޓN6{]h#6NERV?TqTL(oV02cA^ p/1c% = =%\8~xõO Jͧ'qߙad9Al-tO ' |B~ej{I_Ls1|B< - I{ֱyN׋!\|duxӐƳgcn=YQULQtU. "x)!ӟPұx9+Ƃ*@Όm"Bo`'!%Ƙ=+.0|^uHV͑\Lp6A̅@lӪaKbs~n1tXطvv=JIVg ݴHCe:%12iJZ^G[eȞMеutg$PqsW Bʼnb,=o}g3r{ÄGIv$|y֑堓n63MB8*Th``dX<A0nLO? H:Fh4A2DhqCL5ΊjDҏo]V?cP3mԝ n=8T;W`' H&Q4- {D#?gev5x.4&gluMТ=@ j0q^+}2Kw0^$t[`~ UNw_ Ke12K;`s>Hz7d -([㢽`Y<-dks.d@K?Q~0m}e5yިD eGrJH*NiFzFNb~ {Ҭʗ EV%1cPy~\q;TXE6 gAMA8֣P-S87}//t_J˟Tź{)i&wEcPx$ *F솒R-Ga?ޭJڔg-u,k<{KJ9TuVި)r#}p*SlGEvU|[]GZ*do7&B}̏ [7R=YC o__seי!9 64(晴 *Ir3Sp?\/|,Ce|ʳWɘm#y !KMqvQ&4#ػ1VnLFcQ{wxVP/9p.<[ä>TϾ+|ԹX-5k_g\T]W,l)@-XV2F3-$)}HM*7Z%J|,vďoE1έjCn0@Y+ˋbߜV>WH:oͰ!-mVhu[I>-T C@9m] l?} JHqv3(UƝY `ԴWV%,Yxy:UMiG$i+wX̽U~c0/*й▘Gk3Gqwsaz}lm/_%Rُ?oh/bևXd}:l ӣ9<˦xX)O*Θ(NF&8[ >X=130@./kCs6E~I3"roy2eI% O[3zN̡s{0E9OY?yx_6PךMԋ#2Hʛx0 nA鶥?Ȱu[3_Tb)ɷc3;ȎqU\ri&9yQM/;q55 "N#|bl8pp7ٸ3ܿ'E\Am1D;3ϛ &KHYQ0 dɓ˫[ *LW\xM<2dtP>Q]:Wi!ٙ֯MZeh_wG]cW_4a2q4_zf>ӻE5] Un >jJ4АYbQ^㑁"Zb#+?OVEA5](wl-Lj< +๷%0řOs][ %2bb.P/b5y11ܼIQ@`$& m%tTU1@ ZKrrgN]ȇ!` ӆҡ+LO6/s˫ I:% ;$qɻ2 p!ʹҒ8 ^3$Ar]q}} 6 R&X_phn^ZB9>0qvPpv)+1.H{Fa/)bG C;j }>@} ΜZmIo"'9WexJY 'T2 YlFKv.P^R*% 꿊f Ui..p)s j"YARdyR)l<>-Ki]m[~1,+ qԠVcї$P2 |]cT.&PO@gg<3"JkӮ4%ۮm~^{=S/VM 7p6/Z&'75iΡy&-y9kg̛<8]e4 EV,؃ enl8ja@F2y;E* Wg2˻+GcċBAk浉2N>i;]9o*D=) V G٤ḫ'x b<ħ6/{ j829.q5QҚnw dz CP\/v,G?/wB= Y>8 eG͌ZqFG[ީo({؋vabx7`X~z qқ5 Rg1=u%˫wF*oޟ'Dc8*s಩Em2@=%YM~&E uB)1OyV]TdCjG#xYؘ\dL-uh-\+ [zy0*]<ηKoDq ` K*{:)*Rj2~RWw( К>۲;2w>Z .@RozYVO,o%&sK0f?;%}:Yuq"2`T'$aozS T>= ƦCsXZYN.Qn`*@Kuvk=o?eW>E5f 4XM$n3{_XnHޢi.Ӈ*bf9YCi$G]>J6YF> `}8P9.PX^/FO'Q$Y5DPXV8`rb8#QV]*l'5y Wsr;eQ, 0ghho^Oˀ,f݇~]z5R'?~#}X1d7_tN2" zBTϖ&Հvm^Kl9?ϑSD%+s}{G[WHzGm',e"Sн]ԑP rs 䕯 A(t5ao;(#f>νϳ>shk۱QFl ?Y;ysJJkɏ:μU_0OkC~?7J@!rW{" "yR7S8 R bHZL-3.Rv1YKk5D]vzh%(V +l1ݰ*Կ R _riҥ ?lE \dM%ySqv$[d=:x,\#/F[;EG!K xץAA Lbd]5L2B ?O?tU$< ι)Y5bJ" ʼnAwmϿc*E_4Bz V}pd=Q>c\>T>omᛰ@@r^ZC|qr<0 y-NZ j҅)X?i @Д$8&p^x2yL͆igaUU2PmG$0"بAk+:`nV7%:Jehm(cZ ͸TYqL]K5bst:x K Èn y 2WGFKf WItm3@bo0tK>J}Gp^XW+)6_RChY k:tY*u[qC&jWjJm±eK)YH 9[YhD/{n2VQGéڐ:I@Xq  -$Ro0C13Xrvr 2֔!AZa$- f`: 2/Mz#O" Շa!FZrRJh6f>޽P{Pcڸc>gw'$esK8Cxr;k!9%K +٨ƑgV4\+"_Q혈@BO&p<]$ISN㸥}cTiꂊѡd~^0 (>BFy%r&ݢb Op^,>_>2e * .QqYo f`m!MՁ%vdb80V @MCۤCĩ5ԡ1Tà0&ܾ/jtd/]>;r{BLw?|aCK%4=+d਍]u?U=Q.uOx 9A8?zT7! rJC, 鉊5߈&Dr͛cRf&n߁1՞`΀VN\LX՚vHisa3b6@#mGZG'!#"t-OXٻh" k19 S>uaAC4icT;%ha<J<x+)mes~oeQw]/ϤA qMu.[n`;Ln>FoR-]{mxI*HP44*]}ofbng6}qwH}¨WdbR$HˈwGBfX5mA )bzYm5mqXIM]; ^iy &|mE_6z͗j`hTh~EB\ 0ÉK_Q wLw?^FO%klkL;egH{0Ryg}'餈T >B7C 1x.8'=Ȉ*bɟ٘_$&lB`>pB.TNv t7o&FX kWwI&4LtٽR = Xu˴FHP. Wp`W|iNFJc3ȼYۺge>?jޤ8%'T=eoQ'Ǎ6$EvoQUur >TЌ)BS4I<' Ϭ^ $!>d^ܰV̳̕oIz,G*WqFQj?5y߆TgO|͒ON`B#\ɪoE+r[lsk@+dcX*0_d?z7լ-4Ym*[+ E&1,ʉq#YPCs}5hdߒ\+~kW|UU*]J}٢%j-/X޽.\fqd/W*-*/D<H&$|3ZUJ%!ayE=eij5B-WќW5ˆKg5uKMC1eۜu7oY}ǐgs$ vm,^e:1""^~/"m+2_FdHm۸lJ^GOb{vwkWhBJ0;SfZ+A~06Ք0E3aۣKmլ8ai\Ef^]%$虹 gN,$n\V3!^K5̚'V;jxFuGK/XxHWGu jZj"Md0 "֣ T0㪱`, ,9w~p6&ܝ</ҹV׮F4m뿕guI6Q 3(?X`y'^b㾣h=x?xv+3cF|ըE7 {Y1íi}-R$݊27;kPv%09A31FEh [#STx z|w^4J1uZx5:$MJ}Kd_es24k[̝֕u료E^Xhhξi ݇uf ӓ{Pku+ $TirjRԫ7q ۪(!|ڼ%\["6K +g]UJ5i^;2x ( R/{KSp9=~)ti׽ Ps˂/yݠ9Ϭ[ɋwE mgn3^?*1kUͣ/Ҏ?YS7: Lbby盰l֐$HW۩s& zvh~6⣢oU9DQZKOw&})G.F'HDQǎeҶF/qO_xnVb Rg3LRp=#nϡ"د@MzP|ޅy yt7J-?#%6xw-Qpc݇`C#'ySO2K M$cҥE:c`V 򏛃6ƒkp#=$fS-ҍ"8l8g <)b>V$4yxS̯ص?D5ikO-fJߊTsp+U^/j_d8"C#Zүʓab+ Zk>NU(m؋څTp`3T"pb5ݾr ʛ}fڭKC2gYZ _e _a%/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' RYB x$Z!R{r2vXĆrZdsVFu:'MTjh[eJ!lF%!"Id8 ZxܧgAR,ʰ~eS}*TޛeJcHвEDTsk5)May _pXI 45 LhXj Wu* 0TS5  ͜Lߥ:yUm"0k4<5-#PC$_@`Ծ=?X˂G[k:kri'*ЂNc |M߳}dPR(#x 6Q}S5F 2CŹ-oYJ!) cΖLJۆ&b:K1Ζ×@@8 ެb7*7UP{Fgy&% t$l>*l`PҡN=t|ٿ> cFex'qjg74z1|+: $:s/f;_r+̷ T#$\?rǹ5V-~P4t~쵃uK׍DGfyn č/𚨪I19M-Jg_Y6^엽HA:0Zr&BAjPdeC7gתfz ڔ*֋l@)J'yBO>`=M]@M} ag}^Ы<ƈCRfen26tezTheVfm*.M pTw*WJ-F(Ǿ2#2)_)&}EO5'DqeTb&xˣD0{|@Wxλ42 W.t ڈ>vԢp&۠KѾA (:iwڝL;,4cG,dbFqg"4*";5jP6YfC /3ʠ!s.ˡQ~n@Vz' L7tAɅb"q>آV 5SwC#iC5a)FiTK2,ZkQB SI >b-9i&TQX}Ɯ= I}SF*$W*ھիٕ65Lw-oܹT~ˀY}"E9~/EBRh2HV@W)H`j-n-1C+o3;7Fd  =z,Dɰ BHL"uC"6锭ɮ ]6}IIճW-F9(VHz۵V'W$Iѓ!i%I< x:d7"O*5\Шq;\9ў@E3ThP8?e]ө+MC6Nz(y7G|ıh˴iLpVvUJ?PTRRFS:_}#i?5ja֬[ZnR+h"(M&`Zjs?;PDE!9ImQc @.D.^tOϓǴ"u ,&jrLqXyͶݝ:Y-*,j!*x-Zs9sDMOEًORfi>흘tEcqty) s3$WJ| A@tqD'~t;aHUhsz3Y"cVfŠ3/psPt˜I=#3&](@ Mg_!1=;^m})[}+;QØ& \wQ&kH?B=>+7"ܲK==llo)ʽS)2% u roHZYʍ+3@m>?>a 迋 >4bX7Zpj1ӄZ!vòo '.7V Y+*r҉G]01.WV@lSJp#T z|]^۠Xd܍L(N<3iLLB/q{r3-@P a}sJ@sԚܽYzA CHwF-d ϟ[W+w,oT $áID!as~ (C܃VEBz{2М'f%M< 7ZwZ K <;y Qv #Ĩbr@B'S-:b$i(d7BЭ >cX;ֻ: ǘc6l*8mQDI"1ͺ 34lL3`^agYZu[ " 5rOr\9C)a8ْ1D1oR xw{3_zVѕdXbFr>/;wÓп׆|V Ѯ;#ggE\ &hn1$G1nHM hq*?{SFT0x1j?>6惉"w *$6B/B/U1L Meҿx !jaG>&EBToۧ52C>xj/99X&Z櫘5 Exn4bOCO7?ސj8y榋'DsHX(%|A8&ҝ/>W d.[f1 ` 4mV!󠍬7dy] =;;qEOP}eD%_^s.vC -$ڮ6&A:_Hb\@=1BrI.գBU;rk+lD*+J@L;üQ 3cXN9>r\`/s kDɞ"ks6woj&*#Q7n U3&ISm2_o-MsF-A OhleupO]"[UC`Ώ~d =625iAᠻʇȈm-ЎK% jËL 7ۓmਝ!f і3im'}iHZD=iug f/y>khkVsyOb})mJgdĽNtX)Fd|MJE#XPb!5`u2Zn- WDqX 5ެCK|VGtVB9P@ѧw0K8rjWXH$z?2Dz5͏q5,IkgBKG!xx%ȭ U m{C2*} p wpaY.s<$7Gaf8IsP׀ԓc^"n<"qfMP63.qXsx~.M*DbrFda^3ﱮo_?_Vy b榳j5#M51 (?PSp)j@z ,j(\z`-vj֞ X,U{,g&%Zԩ?c W£ŵ;`FOek<&j[ɔU L.M#M- !zsXf~*`˜=f }76e0k:ï+BКo\xd|=d؝-,;0$ 9I> h/G˵A֬d KMT9!|A7~̉xa7ae@ؕMg _ \DcC˻\s}`5gZp 5 sp`ꆞaR*7ND7ah Yo'4fR0YELZ-oa 4WleD ayێ ELCF2WDbUbS%fb):ޚ38aL-=1ۊqt~w+i є>VQ; y=^dmv{ 44EhC-*H]sSC̟5(4Cٸ F\;okdA<+͡0f;0 jzOջL_Tȉy'EG GGěfP=NƓqi*H("^Di3=R ]{b)r/]iٯU>$hl&J '- $ErMJ ST|di=Zt N@Z[춐}CR%-3Z4Ʉ8^"~ P(Y"w}-蔣_F@uٙxѮ-% ¦RRC&%uy4'jy1&uS"?V<VKD%ZVe+634Y$[,]]n gs5{`ܓ5=#K5IysjqDw4(<\YPtb8Y6NdB;ӛr* tY.q oe+OtQn3 FĂcd0?2nې-P '⪵ H6`nbm5EMW9_Iac~֫wfF^ zdf ;bUs<NXdp%Uxo߯ W W{Nm*XH}6iM+1A晨$WO*9d 2]r]i;'|3i{wjɃlL˒v/} 2Lm{Cd]3Fմ|<7ʱ+g .mr'|nշi?̧= ,¹O佒EK&gYZ  ' OY],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208k*/C# dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u;l]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3^#fm>ހOMC-Bt6VE€d4n^축, *l@6"kβpЕAs3]OVYu {9s5YLȜ6gO:4#{5NHkL/4z&`*i;k{\7Yb"Ia̾bLSt׿K;Ȱmq҂-*M[SV&Z:8.-d't@XSؔ8۠d `sT66u[F cQkT P`; T:/rz<4v+g{noh4G+QԂ4Jxs~-"c寽XM^ˮ iid4#>Iب9F$ȿEDV@ĂGnswͮE1)(vqeV!2uO;z`<ᯢ9U -%/4V4s gO] R9gYZN&/A# ,HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! N]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrqpHyzI d&W$zߏfi+cnDECl "iVsE#_̃LjWCEd!%r2܁ nlⵧy^x} yd3[Q%DCv찛-s@tU.}&ܷGӸ z`9qs; zqb|OM?L [gƑE(arφJroKՄg-CZx@iP%C#Ю So7 rMPZP>qM:$[zuruU`8Y) '<[WT%KҾ+ {gFLq &8b,+߫S8 <֮xX`g֏Wf&Ɛj[8"R2 KC(} ;@X&6/wٿojD%a[@P#]LƝ1^"eZ ^vE= {q6K {R-"m@L 9fL̼UҢ AEcTH$sVpa'ձY!v>jNR6Z軜ϜSz6tgHw^'k2Ũ1ʹ1쀿jG u`#4SߜŬئN+㬓ʿ1V\9³s`G S!"I {A6އe}m!~_ɘ/Mo VvuoܹCq|Ԥv݈Uvc 8Xjii#Ϙ_9b^[}+!ATp(~(8vM-_j{ai^N@:,[8/7B+1gcرzB'mk=`*M7 ,iG Q?ϗKAIǧBT^R5S%:8kOC%,d84^0Qy >A1>kx>k3юV2{d 8⏟d̅~0_ NNB{ (;)Ӭ>z):_ψXpm8V-I9hU+-bQ s8&:D^4/$ZŠYA&| ͒Mys!>*4{i'H3*"?. ݁|6C!j={AFbHJ.CQN.MO3BV<ÖkgW>e\ZuV +$@`1h+YR27jo [= < qΙ[FI@ nĦ{ k&}& 'oxV,'XxQGNPt|?$Wy 7gQd-8pQ0\B!G4 !̩sIõWO]㏲;k}{ *wPC kwV^\W٨ M',!ghZ;Uk|'$~m/wV.,#% ӿUU; 7y,Ơ]/o 3jz )hUGYz^*bB8s:PVӳvtu/:6N挛( kbBX d`1ym8AʑVU¸"$ /fkZP`_ǓDk^ȽWL7  SFeXR]t6Z8}nyx;vfo!J>AZ~x,GfMm3zKb2IL!b>#m1yV3"Y"FTۦvv'7W ޫr1ܜ8'JT!Y8ܘbwܔrDwM `M2'78{6#u!%%bb7Zhߙ+uDZ%99;SG:'"Y]~ Ӻ<{BD#Uq^~=.]TSBhۋ0juaxlm~O~T{F^xCc7n<]$/ePRۀM G1]-JU0 l3?$Ԕ$'a풄@0q^(Yg4O/S!ǫ'˒Du1.j` &;*҇n)ؽ i9w@oGl?NͅMDbR'DYZ\\ K.' AkWK#VBTKpS>7Rk}mTʴ?ƔĖPV&[f) t߱gYZ^w)RSWF@aK[. /fN`Oxd n.5A,9 C*yNoA;z̮;"4E j'H؀{ʊNfSO5 4!J/ZSW h)6(*Gc" bm|Jm}sҶSKiG+n_"%'AYɟfF6f]"z|-AL4RGIX9aP$ U\C'tKy5ZgU]SM8e!oG9EC;Gj\ߢՔUqqãw`3NkhmM˼j_S@Qx|Ī ZVەz\&IOdB4} Wl;A+8QXm\\9𧃤-ҽ=sDkw"JTmG(~^}3;I2l^"ffce=!8d5j.oO}1&UW^#T.Gceh[5nL3;R$'v,9@`w6V^53sMRH?$]jP66-u&#1:+˂9&r>i\bU9$Kf?4ʜ8[Xerc/MU&J;Ui=,OzJEHB{ͦu Z"`RP{hs̐Y [2NXd۴z$"7ZmGeݵ=-r,ә)'} ?LqvK {ځ#gXdxh Cb;0=m>A>B8_,ۈ1#RC}0 zBQT7ZR dI!Bc цWH6k?Cw2k"C£76j٣p!(䞧bsT9PaKOaq;5 Qao ̑ξ SLߏ. W2S6YgNnQ:OX:O c[o-xFصh6U Yrp7nB:VQ6p.sS/i5M Ɛ1VRjnډJ6~[=_? QgT]4𠒆kk:wN}P`>G]7 5==C3m5s C3q6; n4VS2Y&C `=GP__u̢[| 1 @$kGNO|B28&37&a V) mee~ȼqQVф?T/<Ǻ$յ 3N 7V8:><5en2!>krPM5~EƘ .Gq?y*H4 gں+伃Hv(~)U^avI.͹'ÑWJGq)= hUdA_~ˋkgAPԴbz.;>!\~6z^{fD`.Φli@U^FmWJ[a;jpF?tB 2SEhIkQ3'LPgaК t'Y6)s+6!23} J#ClˠYAV s3!11Kmɫm/t$ӭPY0WْTM =I*$ X1;)CPZW@k2''qfӉ@2gx6GrWS{a~Q5|4O2< ݶIwb*7" Z=o·b~]<1?wf Ѣ8#Ǧ6H{$/12ﱂX=Gʠj2$\"Ib408MvIDr3ŻH,&OUbA{S4m4=*`DuL'}/ыh0ۉ2J/Az9SD} }cJZd.'&NoPDz|'~* 'H#ulU j^BV*5H8 E }%R$n"3YVSvd_0GPP)<8N5bx Ό_AYHx1 +yL~̩(q 'u}, .zÄcQFlY7p:@ލfU}~:TXR?|zpY +_;$Պk>-fQ)_oC3d4> Yl>?mYݞɇ7#]Fm6w"F매yHPZS9-*}ڑdS{PѽR3@XM_>L6;ƙOYHyey"MW1%3A}Uџ˿wA.Eg[,\>2ΕYMHFAl#y?\Az<[`bsQ[r[. ȎXI~=3ab !B%Nfc8vd"*G7xY8DD/ZI&pKj)(!~wB 5x(պGVWD~}ƛ *GjR0~-j\]i)HGiS7@X!t(8T[-mU`!(9NMQfԯU;Jʋ!z/8UOx#U91/e㪜xQ|;S4˞ FQME7;\:-Cm]CJzk@qqE$H)@+fuk8>-@YFD Ԡƥr,#1#! |44#>VYy4<x &#WŖACtl~]pMw,*FSرgYZ  \c0/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_id198:./=' HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages7zXZִF! :]·Iq n[:|&[z'^} K;|a/xiJgQjp`ªJ"l,yHenKq)23y$X0ۢt"bW[6& oOܕκaRxڍ>ؔ4U=a4mi-Izn@M\\  xBC֟H"$^SBr>4Am[qptiVmH&Wƿ^=/^~IyC[|zAZCɩo$cR2gnY#~,8~Q$wRF͈e6d7]BN}=3轜tTdXpo:.Xa kU0Ғo@ݨ$hm{38~mB=d֞XzĤZ-ň6[~ R  ڏ gYZ\-/=# LHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! e_]ˠ)jk2p O6LP=͵gl5f&Di5b^8th.X .kN.; "%2ў3P),Sz!Z T K#MVbEsO.vdSA,b.ٹ G>^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$AJpmkyF!)\li (-ȥ=z'F$5m2ؒ 4w|FЀ0QV U,5(`.x)K; &֚:LoWvӱnm&ʩh!ˊGrγ֯4X; s$gvsTY Er'Lʞ#~|R_{-&cz~i;~Q1CFc)#r.>l1S@Vr EQEuۧMYh[?)snv?b#-9e/>9?6^T)/|48>O cg.$E_#/?|Yzh`-tJAt@x|wGwA%wiʂ纴S3-a[t#̜{Gq] EJ06iTiR[ɰvI\(̩ڤEJ9,}`yp۞zR #U ͒y Jq`]KX;l]!]bͼx?kZa Rvh%u[F)EcE?+6_R^>}`ƻ,- v*޿~/Cq|\G"Z||T_ 3U3~Yܵ('A5( UhYl[i)CEs52}wC>n,SYPW\X*GFHqa"Lx_PX7vTvR,r tp;:\w44sۂOP*e&;T9.ݠ & E2j/'I`#BgSe;#ɚmU/׺F35||FЦ>s+F>@'ObرjdTZ?LlP#G7Q{Y^Ƿ~J֪c.:́8ݱG6coL1:[ 6ƋqRxN){ǁe8k´L%x fWfgͤ920jPg4+ !iMVS6(ɮ$iA=wDV kU;?QC]ZZ)O:hsX,BYH3^% ;Х5lsݱӴۻ(֭xfJ$[7a3?[R3f'9}^ "KP+!'5ht1걖Eg؛eRf\n,.WPl \TY(%?t&4bjb-UeǟK ^g4):y50"YN/-hCo-^B*\M}}gRycggDJـkQ%wEi <}\mK}+ZE,Pcb2vԓ!,G\bo^Kut)26Zo͛(Pl Id۰aAG/w_֥>>nҶ#AIS˺kxz{3yab[+pV^U$W >*)]KqWH߉yDUw<^qόUauXxӨϋ|&R@\N9d4GC]'1P? b2^]&nr]03:]nLG62`@S:B9אn 1j(0?OM 1~R4t책7*k\X“f}`F=j> ΁I[0UP?v_*lg*E:tIL8d(}'rO]ȍNĦ[;z LXf/=-,ET#H#E8D25h͈S? /,!ckLY l m \2gMGfjJx ~G hT+=1h"Ixq]=ݲ< | [[i;? z]KW8wl6J?X*G'^!힉(-mzū Ûe@"$.ܖ{2M4w0VK^1:^MmAQsofN2(̮DIDYPf/?P#@ 1߀$c p6<_G6s(TF(CM$Z󨌔[ @N[R9`G6ΡYl/: yUa1rnS^8vw#6ٶNì*VײVQqFTi[ʬ`/XjL jҬBTS165&16Z]"_4):uhVROZ̡}fKVDs*(1[cw{[CX8cx b69xTn $xj^s (֫3't0F w.Kpc7+@`67=62ja*d_'ѥm󄶮9$y;C?}aZŞ֏XLͥ1VҔց 3 7`WԂpW&u!$>|a*T\C@k=gO'mVf1m!l$LjMMj&إ1s3auk4NVj㒍ع`M1aqO$R}IٴJ)=S:0ux^ʔW|6{UNqW>K?G>.6bMuxQA5c?콞z7LF- D JQ74 Lh0( .]ގIylpۋcXL<=q; -Y:/vLgf΂?ꐕV %/3||aj8\oY+Si#"xKS[Vrt\ıV(Xz#bR:6r{H⍲b)l? F6#[ԒWD -@qJ'y'!M3Kr[ jZ@)j+a,W(Xz8:J-K}iד[4(/qsXj25f vFEaDAk&{i#LAmCBD&&D*է56={z~ZX4trb*'kqH =HXP)yDE28ϬܩAyyy&lcX,ץ8 r7#=qiK昵@#f }s@SzR &3HF_֕!Py?p1/L ܍{PQ0 źhi dOl*LTb8M^+"lZ߉PjY!Wa$כ5ra^!Fh6% enUe i(avYDk;+֣MHGPbˏEYpuRJ9!ķZVK١Ǫ6i4M?x|lBr.'T};$'hx{pWy~߮ cS뵙J')8r,g5Yz'Q3b,W\C…˵Wǿ~NRu@i:9&JX%#55}5,rr<3 9O kܪ>5w]꼌jPGՋIa(Cn2ļ~ ߴOswIZt@"bYCQB ~~k}[ #iN7,hey2'ıƼk Jg UJAS 7R_/q"* u/oJhOsuP$eq(1o(%Zo }hHSED9\Ur$vc5NymɄP %G[Cd20niv7D O-Bha*r2bf÷e˼Ayr֘8B.Fh\M`9 +#%9?>-UOvxf/'<Gpp~ky - ^Akoxx1 koq-RT MdiOJ/fH}ȏaX.LJ^;਒L-^_y7A^h VGm qC !cZ#\n&dz 벸MX O0k3..7kqQr,c>6~dȆ*9Cm3*]C@3+wrQb4>=NǴ@ބ2p@&"bӫ' Y-@qV-<"gš1?QBZ];AIEHv}. ɱgYZ **K1/C# $HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! J]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STdS_wIA 3QfJ8&Y?Xy*Ku' -OnfYAk?03)g}Gl?_pN^}RϏ7 4 Hˆ;b#>yZ&Nzȴzm9/hRB [yv&ܤ mR˚ln>^9QMN߭tV7aqR. 1-|B )\R%'ˎWVmw +4šc ҈>`‚wˍir?q彷4?LLhH=c>J@e,?]P3 t% iZ> G8{&a 쮇+n`_4bSOE"]A5).PS=ceȆg l8$ԫ,n8;@F]{f0H @ 0"y՗ް 6]!u^ QteeҖ;ꭥڈ]]4ɋ17!IRU_HrKX )gBK:*r)E>R@(4Թ"dQyRCE_Yҗ/ xBԸ:# xe::f)(M [XȾ01:U37d d](nD̄cj=n천h͏1 џsw).3hIBU7]2Gq@䪆Hg jiNW8`Q`髨:U!;~io) K,'mtgqF}~ux?N?{P+.񞀨qJ81OM6!l"5uΰb@O )x3Mcl<ψ#d dꮳrx8Xn4Y.N;!J鯳ҟ(rTeacU!JXvGz 0!.)t֦'JQ@J3A8biO>D& ?hny tt4-ۏUAG ɭb}nͫ V%, Uވ/Awءۭg`+6--2α.q/lr,C]X+ѝ;%=|h`2Ԡw 1ݏ]d&vS gy׳y:-k#Th?DF*!;JX=u?Iq~*ǺA+m0ܵ5iTGvdd|Bc2 8e4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id218E2/C' HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF! A]Άxʆ5.f-9 rq8H|V5ʂN(fk?ȸB-{w m-W$QQ4X*rEvC@/ eT{ Co=N( @W%V~P )\fn%@&z )Li]\d Y:x4fў>d+&.MQnT,r_x8wft軉ŝԗt,\un3 "3PlirwMEp^&٬N#ܝCr5މ=QDmc,ޤ6Gdw;dw#k8X,Q%b f//nLCn!S*_`Nce(@-S`F=pݪУÔFe>U &ήuJ8!v2,s2 5V©; fcpeP%Hbs^S9INn.zOwv oqC _odP=PtVee*jK2$l{ ?^يT`7u t=pV"Qni,J,$bVp*x+pKdJRA=Q)sfہ\)"m5,Xaϕ|9~,$YqLa: pYKd3P/X%ۛR.`50ǯ04Vݚz d 01C{D'+ODj񠽵Qdž46BYh]NgFݴ4GI4Jl =tˌ_[A[mIq=m%xc=R̊`WMd'?W_&d/mec@\zGQ4ǟ)j2<:c`X3dn!˰CdZ2fna.wsڗzlC&UfK*yCtIEyJT.@Lk}A'˥ >,So2N? 2b^9/JǺTaF֐ Cںeʢ# A 'nLPDC^8KU[N+6髧I1]ߺYQ{;GQ_Pd}qDbdG<:(u .&*I|&v\Rv׭؝ׯ܉"pT)Ygt ez5Nx1;d֮Uw*N0[c@ixܒ`McHS%HxskZIᴕD+PFy{|e[#2OD3A Ov hZH8}O LRZX);s.y59_yq&ï% O#qth#83IG AmHRb"N@u!uq?&Jտ[QhZV1&?:?Jgש6kЬA:s7J!g£2bz qS1mК(T%ö8b8& q%*Nsbg*J;S6|Ih%kXowҏIw3>l܂S:$tYD({IY:h. x0bgr1p?8u0'Qm0 npIK[+3<ו< ;̛z5]׭ Aqf'q'n*9N%d+r@ؓ1ဟcP5StP][z{ #]"bA3&^cgᒒ/uB_Yz7C5qgWĈ!st7ea% 5X쑼c/,A?\cDJ{Õ_*U>N! A;2G"<2;-"[|Ub+D\8M3l(lLpkou20KT--, G6?9ކ0;fzBin|'Dy;e޿*׬%EP/& &zTQbho24h_,sCn]M%?C3fex3f~8PQҩWݓU2gztps/5ض{ =!;R#PwgIx[ w2[o&9 r j, ְ{|ض o_f]1v'mm摥cC5HsnPbfA-m.Vȁd=I{=ۦwEթ4r MW1xx_Bz^SY?O|V~kEˆWƌ&f֟|N84`3bAJZ}2y0zh*vXoGaҲ'Hi9W5@E r>PI#4{ &m0pYe=}?3U6}d{4's#smSJ_K`aOsn"=mz\M 7Hy=19r]<ִ)vʣ![-S\xL +c5>|OH~7.ݔ$p3yo+*ߩ18E9玳x1,(6"۹䮁`shZGq26 lVG?4 V.}wڙYdJ[."l-tYm3Xb,[a(s .ݍ3q+l88ɔ_8džL@ܑ1@ _ Cq L [0w > ❌zx \z4pM!rj,%ɞԲ9y*( q 5Yrs~nK~Zj .c3r V,TxK4es+vĸ TmWd77y{L=A;?/Mf͢2Rp5EiU嵜أ( =Gm r ێ/L]9 ikrAdШ&@@bS#P׸ reyo/C}qu6r|_h{ ʎlmY\ ld3M.}b*KX5z6_LP @҅,+~A۱P@47 Mz^P)"\[ וR-5>}y#  Ax⩫Zq黚_~wy.[C^"d"񆨩VZ$Y %! M :Mqhq`9VA V%9Q #{Y?I дiZC 1'=wvlYÇ$_E!;f I쵢E}Fgah'yuQ^^b@%Aqo;~wl-݆͡'17'  2'bztd7k6sTHGroaIlZ$fEԣ>]FD5Bqg=dX}Sb8Zƥ8& mvB%>A/v\G_7!EYJ '`>-eR8My}VY{Pu^-nB)-AQRY3 8镶Y.j`EC0J|[/1Zpeb1zxɲ+6$K0b~N1W @KT•hN uVcm8?u|d&v5M&!TKM?^3eBDy絛}& 6߱_~m=!gȌ?{!3s&7utboiY"gԶl6VTL)^ !.ng`rrrBT *vM낁f!ԭۓ۩ u:ekx>ΐQ=Tc8KJ8b 'x x&"Ӫ?sJT{P]z>+4+ts?sn-uے\tw 꽺B թ S>_6Eu.qtd-r֗)tٚ_=+ۓyYIk}%a6\d.9-0_&IWj7-Jh",MbRD/ /y ȣH;瞞vnU3/S&(ur&sV}`az^B|g8~QѮ3|t Ar,~ J#N:8QV6W0LIQ,+1Pl]䓪MgL@)Qet`c@dXjJFޝ |_]V6 ݐ ns.(B{/?qЗ{BImtUTYZ7"Z{%C4*T691 #$"CZU'C3ERl o}fWs3ٕwv FbcfH@Y-6֭ M؆\nZF._s([ߞYQơ9V͑`44>]ۓc9Ktr曽p tz2@^ l>_;jVF fz izQC=>k@ njf%ˀ }>j6yQ-L!]t:teyUB7MaT=2Υ*fmvŤ!Ñj@ijsEۙ}n KNs06^(WpF)]R5rA tdiA!zx?CZ8 k{i16sfc+4ݜ3LG?O<э31QPy;s%X+ke!t BkSEu }+4>JMݟAT`(PXNw|",U:ּȎo\A-kf=ULz!`J'jBȩ2ݭ!=b"4@"ZBnk%O]_WsQ605TeAI;v?g¹U?{o>+U첤vrӅn4/m$態cnBqO30_z0"KTz?Ta@W줢ifq= hN1 \8~6,bA '!Vڊ*Ѭ>B`Z9-p$ꖔ\}- iЊ6[an |&(iHE2MTl='qj!-%x$JQTsl/|*Id` zDY CN.)ZȲsHn[[Z_#2M7h_`9k * 3t B^S6;K;)Zg ]f@<BGt Nvx(d]50;(~"B wE/ߦ~d)b[ߚCf8 8P(_ M⸽/;%'Pr ^se=4 U](6;M5>pl&G]RJ"4ΛR(m,H1"`:?&mHb>;@K3(!NX'T%x+taSqrws+by~˰as3`epWs:.Lok7)9f(u 8(H6*b@5c&aPW9L8ᜱ`Rܫ5q$Op =7Dtp>&ctW|#g2Kp|ϳwnrpN `kQf#%GWiB:/ nb'=++J֗κĖ~?dk#jؗjl?k/M0g8V%< JӟmX0-91r\3k$A^\}1A-Xk؊^*6YZ ;!hק)rmNVUohr¥iy@84u@B*=)`QUi#hX6_l{7ײrhf~t9U"fa bPqI <(XgvAť %p!vE(K*Mn5PL<%%)FuB{8gLHƀ-9sq`5&+jcJ[up2/ûԽ!UEڟO#9]vCʾL`Q?L/I2Һ.6^7#䪂xӁKACtqC{߃|il&0fN.gA͚:?F}Mn nڷٰ @yҀF鎏vb4K`?pͦμ"ZmvDT5|X!"Jy]p:]U}vhDDi8(gqKw9Av$LL,g}Q䋔?+eLt5;ވi7> s_^OZ-]| ِ*Օrs:OLw+j^6v+![8k <8&ueH4[E&vPQQ&cVKk[VvN!rA%a [iҨUݒf$F|f#b[ +(;X\/}a-\x(mXq{cQU4^~|2'ki9;app.o\jȹdnY tk!;K iSŪr#W!1+MƀW8"/u/V=(R9zخ1 plkC8ii4a#\ۭd`ݿi9LW"W?"0m m ]s'hS:q~g!7h%:3Su^jPaԏeoh*^m $R? _3 ǽ 4^lyBtxu #pU)>K:,;E9)/Ͼbx]E 'vl1,|j"uXF#vaɞQ CY{ʧ'7q3ɔرr[$J [Q[D1~%7"Y8YD"VB"X6xk5s%[&}us c!wdLBm ?S nJ/&A W3?wb۲_`pVKlC`b\4! ]5Ɓo[-uVm-{t9Vg,3ROO~WgYZ C:9 /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`zL=>όAAɺNkZ)Mj7p&t'}:U_DGUOmPWͼfQb$U} 7\$^ݝ_kڿ(YƌYӭlt1[L^m#_lCNӋ.sݒfӾO8OoYyCC1ꈽDz90 $~El=הad׼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! :]Άxʆ5.f-9 rq8H[  E"K`O#.FPs?:"Z,#3vWY3.W)Y{X@m(!5+4М6!gVtKr`0Ow~^GÞ<ъ'yA2~aDEi\%h37\C.697|ꬅMS:KxȶKO27/ p]O:2Zt+g*0*J*h\,GBjk J-aqxʴ0kbpl"Rz'R{K uw$ v6P:=U= l 1|l'+znù ڊcFD&+ *{#L $& ]̴(]oě9ҧ0]uC Zi,Dw ޙt"G4덝2xBP} s z^~3kq][M&WWEi`=2qG4CG#:&3Vc=!J)ơ(J˄\4}Jϝn qiƍQ.—O򙔢(0_|bߑj[p5=!6ZAmy3򯖸fA10W2r>w.O&xQځIst-B 4j fBxr耿Ehf.[`@X/mPh7 NXi\Bb Ah\;?jo$ex)`"ɦ49˘u,VvQ[ +id Pliu⾑kq" FJ%¢h9dRP~+k.$/L~sd(}PRl]OrX @i:uNJG\.&155ot j]F/7H2kjOTgV~`l0j(s-Ӭ&$Ob9&39f\4}inbjlUa蔻cr)[\d&CLZv嫩9 !: ~ϡ-DR5a˙˛[l]+|&<.Jڝ2I%2rAƦreW6 B^ASd D%e4焒 tr w|˘5ݠQ}tNHf-mIS7AO &כsLK1 wfFQ` >jXUO{E]5RH*Ch#'sܒl!nlP%"TvoKEp"b2|Co4?'u;4LCԩ5Zt7fN.hD͘S/{WkLNqoA~ e 8Gr9?M)%85rD/ 1<_z`KS:_GޔƴSd@TLUSI\_n1lf$~6ǯl:?^\h57.-n bmy /ܤ6)]WGV%SN `>zw(ahWFndGeGWxGYt4O{Ë\,wiwZ/9to1u#Wqݞs }uNf]&tÔgjb-hvTZs"кSHbeYj)r'u_#>yY-Oa@uē֐HKqw7 J4׼"FoTo E Ï|(c|s:59v6#CةJzq4Wa nܮPXC{I~`gjytHP3hCE#ׇ۪4[hk){ Yi[]Gu-;D3Ƿ# y$]Z5Ɯ4Z/y$8y׵k}S!9n2uW 'nTy8$eI3/sь2{p6mHe֝9ZW .޸B~a27C])8'q)xiYst;pʯ7 B"" x=UW, yg6Q\OstiH7Lb@~otf=u quʭbNH ^}S[ː_#= ݈# NzD:zma=,>'jͲHI:C>1cI"F8cw̃hibQOt}bFVHQ6 =%0)gm:W.p\yqhoQnlɚ J:oqOUJ>E7=-.97~2Wwi4;5R8G]ߒ@Fk\3 Eɩ`r(=!C@ gMmR^}Cݮ HMO (cǒlkطDL?ua8A+0IҐ mɸ%*{t+E+џd˕pmF 6=`O:cZd9@MUxK|+tB , Psr97 hbFw ˟+mGO: /DFo?%I9>W-߅|iIV}HhxA-& 7/f5J>zm)CJUrh&9x+Kܷ0B͎Ƶi3yӈIS`p!j.`:M'eջFz64wNkBNc\:>G:Kԡ2 +a*Dd4l| U}`]n(ڭ"y:(AG:c-&qaa^F[JlDRׄKQ}? ҺRVNZ' H$BuK$N|Bv|K%>UP!X D̦A[yFsX~A,ѡtd$L>>V&h\ ڟl% tt4NoAu!yKgur 1sεA6k>AkŚM2_ FM*{S Ը+O%s eȝP9BBrD>s=tVEᇭ3L*z XcI%9+MWW5"QjW~11 m\k'8AGb pD Ud6K:%`Ci9ǁ8F'TjZG"D u I6B};?dnsH{.0J71T$蝑;:dkq8 LCG9Dl=قJJ1RW=T1о[yX4}{(N, H{ *yf墻A/Mi!(0ԨAX0:fE"=F_(ۿ}O6nhA^Ʋ>gsD\uKn IbF1ɳ[N%z.!F7B6hMs-J^DLud “`ZhڜgF3Xvyް~nkbYk2T&!1NmƂtj4<:J(2f i6q>@،SĻ]2"84Ԋ|JIvHzӦpb R؇S.N۰,;r,ÉYP΢k!)~N&|r\o*^Yy Z Ȍ`9 vn^o S^#Y m1S8F->AQOH)ɧёf[=*lЅ6Es]Io9"G0EZu KA׆Ytv8qՃj* HmfKx҆?àK|nS~FoUY$'xOD d;[lO=}^odҤ9csl`̭M /ßhf}pxjkz ?v64ғe;לd_[|htg>9KY~XލlfbLD^tZIrB`\ . Hk5֬'8'W0o9;Ḱ?}rvBF; VwމlJO|tzB(1AbA34:b1)f@=#0eKgMjxu<@VQeҌ$ߌ0_Z١CD]F ƭ kE3^u(E[%e`mIf”8x ͊OE ^|knRIb2d>QZε@nAF!+69#R0tS1RL2T$Q ])+<gëB%N@LTcfxPRBົ:` VSKMԖ?䂜҅bU %AM\~(U /Gv}UϹD-X8)wb>iO*+ ]V%"'w缤RdPҊ} |,+H/P #oWpmsssv⑜YϡWP VwGװB>'_FVY 5x "܌~>Ͼ?d h`^FˁL&:㐔+-x1gF=SH  z"< Ãz՘˙, -fi c'`Xʊㅬe3VoLuǹ+L, w)̔J8"*Vl av?_|K YO W5-K =>iXyY-?l33/scp5>'#`fX;OϬI2w/Ήպv)ᖴ}UIm㶣gKo36A?uz}OS٬F%sҧP4F&SۭR [nbCnZY;[EU6^WPIMm(XNI.!NMo%f8>#o{qT'46_kf|Kh S¶i u^},% PpQ4I ӓ2 cj|ƪ| mw݉P?-0Zјcify63<.ido8JE`ۈxoC*Pgۣ)XNnLTe>;hK|֦mi/F҂rh/*mu8M ]:& {K7c気踝nHf|}|҄V#!?]{{y7lކ9fD2-M" H%Q/Ȁ*~ڏD U=Ո\g. 4 wCrIwX(!Ad.s]TIMu%Njͷ2-."Mc.7v()&2geB G "za)9S.?cwOxuunye&YKa@7F2,hюx,~Ԕ^]tq2}Yѽ>6 M*Z ##j^b &irCzv_DZ; f_ (-UM^`\x/i]$&;;BHڮnYZ\ sh2ʂ^9cg.gc5F?-/ۙ+bS=$ɠne&2MJ0J?+ӶA8^rs|g8NdI}J;tk#WUN{G%&Q5O"4:_HJ'lj,jhg>rѳkUo\2 F=@L|(OS}'ō/Y`xu/h.4µv m h]~&I^wxc̺H?~o;GkcL>$Ԍl>Nm|v]F҇ -Ny_Njy4$tbu=sa[aZ.&-*$$jvJ6L'G(y+WFƌqɇ2t砵B(LJf nQSA/XA),;XњbZ/(&fh`,j'*C}wh9(p$(ǻV.F |6a/ 2Voho CzS{wR]EeKR>Vܯ.HoI/&zqZTzۿwʕoLSjI[x,n ZաNs)!Z@ЇVܖ-tu.t97![? Ap+h !iR8q[j:EZ-k;*ʲ/`qjBs@d#_Ea ԏ O5M렻mj!Pƌqٛ7hp\y ;F͘I 0i$f`2Z3A)':3ܐbY eSomMXkenQFti>}ȇH3Ol^( mFֵfz q,mpϩ-vsAqkxL [-QŨ+ToaIy ҭ)cHrC{ݻk{LVn?JKQ>PgNT.'5*f}>%&JޮVũóݾJWN{s W СT|X%(~ƸC`]7$g+&L |4I!C]5%/ڐsi*,J@Vi8eR)6f5)vH÷+Mq,#xYLƱo q{ I.l=QyHtIX6|;^q\'b͖z\`Ԝ(|tw!^ u`XgG_4NЕ~#5vw \i1=&F Uߪ=Z?Ӯ1R!wǀ,&6δoS a>6-)?w0⚙cլ Ӕf퀷&5Ym\;Q.wxjʤBl(>!pj]FSOFaLCة. r;2@ǻs:P|=R咰aՒE>8A͵2g:NyX|5{2E苾|jF/Hw&!Xe‹8Em]R q8#m xΣE_m9Ԍeg+0X_mPt5!q͂09U.Ղ')-ՕFnTorgO+3YW &?Wc+7M(Ң 'iebo(CA_hg-Ģ|~II+3z #|JA ݞ^zp;U,qB|$OndC6He[_cY[:vh\kJWqI:!J?:7՟-nbB}(^Lz;ycUV:?ZSӔ_'ik٠9xe]Hoh2lD2рwgED)sSذ~a,j:"]|pyOu1-'Y} GN ;&Q#./˴5񀡜f.Z+<104PY$kU TꂹqEk;;tcի\j|agՏrVrNja˞7cÛiD&uSc5wIx\NN/5◇Nt.77zLX$AYکED_e4cuOI43*%$)#pggҺIXw dY3ȏ6K:dvT'6YI_Voħ|o,D(y>nЄwڪ'5܎ V[ VEuj6^_ϿUnX;B3G||JޓB-2Yty5+'ڹu?5|huJKsg@ wUlXI>;ޯ qdIIA[.& aE17n7W\o%RUxN@h\IޤH>1dms. %%=sPe{ ކO2aj9Åa7!ԥ&fX +<ܹ8}'k/6. o ҄,6,u^n͜*E֯ qs 4E hiŠ(qGqů3[EP *8ZS (b .b+)zuŁ8g p!qm@c8PhDʷ"SCvkĄuܡ5rj4P2dtgr > UQ@?'^^,H˿MQ%ť.<)#TN]'c Gg@_2w6)b,>@41LaFlZMAryb-ۑSEL[Rf)x;T%OAģU)}fᓬ%@ Iq7Γ⻩^S w+(Dphхr'eKaGj&Y{N}YFUJi5}%e/mI{28sJddv|5 sAםqd-n:Z栾+CH5hEhހwl8+È֌ϾJAB}ud5;/hd!)Us#I3ƅMr)͛J]]kh8k=FmiiK&OJ({Hk.Vowu߉3' x<[]1x ,w|ZpA\"#*ռtc)e降c)cV].pIxQ=5W,^+>1[9i/+ ue~0sOnZ NSkak,ot#c!Eqw6)? fY/G{BQN`#xx #SjRuRu"lwu?,LfK7Gȣq@*y6K: T\(GͳE< ۽:&~|E!fSp#p̿ >Ŋ` g/*"Τ*Ɩ]@VÓOw{$C2.6qɈ*xŮͷin@7nsP>K/fama\3}Aq۲W1ᜑpY'5\O %BX?\ @ty =6#(UW_?y~b =-:+6\H,vpdH/Fw)BOEvQ1Ϭy ,K10*6MB;r<?>+\CqD2'CQ %T{jM'w9Ŷ ;8P~1bRUamԅLFJ/q$ [|Fˤ1!!O jJhf՟;sL$RTnB/yQHv?S"0^w]b0)o+MELk;@k8\[t0K:A%@r D5!~հ1Q= oo:m$Tq c;s1ebVA k_Y&C(\ӗvW n#j0-l DgV`MDPW61LPaK[֝ѠOv 4 OG+t[ND]I- "DhX0utC:N;A_F#$yE1q~jS7?c<'xl=-YDڜ{SVFp8H%F]੓H./%U= 'f}ku]~|v-f}<Po}[5jbz3#)y wa( 2 I[BmY5ͮP9p%3N<M+ [ 0{Sx԰}'#ձxE,e>E4hOvZGh=qJ~(ԿG:834݊NuG6P2p:gyyhkrv~5c npgKzU|+c1] i8~)m!*˱0Z7KvA#b;0 ^!lDI80=7dn)Pf _}| qL* 1z:/tcw {tL3SSɢ2Ca$a'lixMCg`G @ة]bře?J<]5Z"}F\R"#2rUUL6NkJN>:F\d<(Bŏr2r1GIŚ= ʼn\R?J`/eM }v=Ѕ~z]ܹ#b:\vW07%].WkzĒ^DU ?O}u"Yij@ V  v ?s}I?y(j5P]و\y+ 6~=^/^,x *9s$5!O@7-"x nhTG PHÈg+;'ɞfI q둠u oQY }P1a\X$Lԝo'4L4M%} d_$J;W&-^1ڐ$''C|(-&[ŹAZ'T+0Yqb^\2iMl'Q=Pў{-Q@ڜ̫5'6NK %ݸ 2F1_Fz9kN.Iam >t,w/Cc"?weB6+I')kt y+CyLJkHSVs@=ey3 ? '{N[! ܖK)f8DA1 CRnvKЂ?,s[Zw jU ƮH aǩL> {Tʦ&Q| 1 lV@Mnj7LnN8ܝ uQ̲ y[@yhsr׾yK(J[d|7 <յ^h^Br E,Wn1Batlz1[8be54x^WL+"!2 ^~Ɗ%} c ,_>t(rtr;:9ُۙ: NdLlaWo=ҐznϿ#vK_=6lL5̈́?9P-m[Yjf2"D2_87F7Ḝ(,)a7]âz@Gw䫾*mpO| [#54&6uʙJ-Ж*z ^?2%lJl:& Hg*V!{(Jz1o6  yyfXgw7س LqZ hiR;ς#YU{h|n #*T3]Z@p-DG!.4F[Ā i$?ۚXE}*64Q!\hn nU̳&QvS7ѵ<  rE PMg dgtJ{ʾ?k]i6ĢlJƛ| &.oƊ>Ahia_*|k}?T?YYEK&B*WT 6Ʒ/4`q-z_LOevGJ1}.1V 't5yD~; KF'X;"+Y>k'.-Xפ<+n /E# |HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 98]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4ez8c.0ɭho~麅RMA}8䑕 DNo,W$(,ǬɎ`[lp/DVI9ʔ 옔awaLb2-n Iw]+.g1FD+yJQ^4?ȻH4)XC 9$X9ާzwrȷwͯQEצdvnrrm< r\&WB έdJV<> ЎLw0 JR7jT5WFdR0&&]Az2G~=U 2rP Q̍Er=fH+Xh.#(2Q*R7`oM684zB]0Sa)oϋb~G-!sr)\n4qѝBXu4~S8J`O_Gi4W*r< !dbDC{OώUA \_- PI*HILVcbF2YX챑gX"s+*<̂#jkK۩at~F*nWێmFn$(IDH|`r7vw4I3yOju>롚S'(a0C#'"wf$q/ЉBȻ0#?^Z7{dB|0Bi?ݳߔ Puu4JP[\3ڟr Y(vdy=;@EBi*fjpϝ_0/ǰM 5^;ë1^X}5kB VHJ6&3k =Ѻ< hruY&[ۍ7XIAvo8.;Z^KU7ؼ'sJٽrGw(^Nݹ<& ܲ3o юFMCMsg+@D6 D95},OJp f+yyMJfZX8}$iJG,6e:?@[ҋ !u>&H,iRt_[2֤S"Ͽݰċ H`'nA<*^{t[ HkJ(wO#d3Qoˠ~4XR7+bѕFg6-o8I)ٙ1t̾‘#:cTiYhA{fq=q֨b/`FD;H|YX;aoh-F'xx>T>0gE*L1iqou@2=,Qu Ղ$ӟkףP-w=ȦIEӬG:!1*:J8KwI{iHJzj&h˚#=0ʬ|hhԼN{#@~BN @ o7$q := lӚd)+8eae57vH결I@@pZǺN-07Q^ IGꜜ? ҪD@EzJonb>ǃ刄-Uՠ:V=Pʩ]rB˹AEK]ͣYo)'e8#%vuq6klK$Hl辍=w-[g?:^=-ݗr/(_BNqh8`Ms٫VG˟nTpA4}}TVY ǭr(;(U k'9䰻M|8Io DV(8\J<CW_~C;Z⦰k$S>b NJ[-,E{ܥIhSTh6_+we?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' THOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7zXZִF! c]D?7 {?:fH\H !m\Fi1?%jT5ogQZy"8^ G^JpU 4mLeP`d] i4#PmCü@2t\V.fTɩC.Y6%u_Qd9ӫk5"^@ˁgM>ȌŜ.C:i7O._m)v|?4uLv㟿S&Ø(f9i`ecmIW?|~#ǴUQ ;zz%[irUc66@aiebP(DҖiS"E4C˟X1>h_XNвc"/IXtD3~_2]>LFau1/J򙏝4&~Rn2ma!Ef(GMI'I#'>Z֖\L˂=){HDeiU +8-%}4_9qe)]V 7 8&&idf<}^g!ۮkDŽkK?{UWŅ႟>e) Wvk8 1 +=JV:q]g|M(643̧`~ᖫ1<>J{桃D}Sv!B6{#JŢ3dnю?!@ͅo[Hm`ղv<~~(A$Ph`jKqѶBZbpM Fl:{~9'A-5*| w1{.MUK"9~1gdWw9P{;'a^ֻc~N`~B=y1'#2CgYZ %b$%Jn6 Z } = y >  b#i o +tJb# 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 3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex 7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex K;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.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'@AٺL ns9?i"t8@m6RUWfDQt Ҥ[/t%+L-rpfd{#YAI^Їns9.{V`z~ԧFV" VX cuN]6]C*BcU*6nѰ߼y(jl8#uZE0]GNocR.67ƻfA_'#`YHҩ]vGor-XcO6l%HqLLj(A' ME 5Q~6LEytKyD>vbȡJw1kF؟;+&% xOnTQ\j4!jsH=er`!emMΞ&%_ Wqw2Yx&?Y)eVN^?1 5qDI7>`k=F4l(3%,gXxW+D%AA-[VG [F#.4GFQtmT|\$hzd{1v$ YvYܮ8bcYNHMd_(eoK_5J6ҼG%`\)&T3^SBUڶI ]#%&:lİ=9>hQ߻;5GmS's~! 7c:J4ȣC/[fQ*j8;/84a;c0ΨQ2NJll626"Ԩ^B_O7zܳ"·nHJǮԟvq䥒_ " ok] Fff dQ(%tb'jDiH t1iP =D\m]#V`+pJgMm_Ap>5-}"E-RfM5ezqgB:u݋BY0;5e'j1A|ZllwO9 tMjXIAݠEogIt !l P_Z 吞F_7җLysBHH->t`B= "Jɺ2w~P  48j3Q*TʶʪY"?nm Ԏm b@%6c[oxW5|̮L:'v_;7FOg HZ!%zZ:)U;ӈ6v?gjzؤx^b-fFYBU~e ѹik'w؄e6J0U|Z|BhޗLkgb>"\%DT<#x+_il Fѝs kLiyn=BQrwv/!=fNű4mM`-#R~-ڢ_Z41L|+4c ;f D %QL EI0@!z2"?xfGEʒ5 X-eeefave-[C<:z٩ G4HŹ*\>NZ1*:v(e)sv!2_M^M03K*ј\(ip,hEÞ{=|>lS&w΃w.FD[bBǟtXY+&Dh HTuY;&j[ 4Íثt4bɞbt:{>UHyq{w!%q 1#EL T^sZpADXq(mplImzrŕ·{;e_^NC|ms4:deep*a5Yؽe^פK[Yr`J~KDݒLXewsUMln0!V0D~F+4%~@KiZ:\+ KT~}R>(rm*o*lؼT>^gäzʼFmP2^1v.~4?g.K{ʳ*aIm7{\edvMD{P9PByfI4bْwNO,NWխaN3֚Wq(Q㸺?J^8idi&7TcM+^uXkked^V_I)%WCFOO7WbfZNk>3q;(EVi=huZ]dsObUF_SDAO XVb~6nnk |" {6嘂ɟ=(E3I"}mZl I`ACrob|| iwiqk3D~5P8ʢ=-<_f7VG-$}/$ IP7fQXYg5A:ֆG62zFRF} GS@Aݑt2_ǝ>9V.e I],e~Zl% w2zv0 ژH+$fVwu[Z,^OEw8A~wY=TRUJLN@1e;S6g뀦/y=FKm*r&~M"Y=' h*kZ`oAagPr|f ,]BdĆsE"i6IJHBhjT=#iޥ~k\,t8JR[VfEWPu,jG qE+l0p]|厃޺S 7Ci+YPxñDi*r]?޲ y_ę7~M"K]_Hj@3~:yj8txH$*0ͨ\yrbc6e.r~f)#r/$.k`%(Qjwq_pTRSD3a]L,Y+uqأda 'FoH(U1Ahye1';.{ddy0v`x$'{™Mԇ$ksḶ" hcn%$9"v,niKbLe#Ǽe'^=`DpTou%|xa{ \c* ԏG8og v1)?f+~f 2B:$(TtyM\Lέ=7 XW󵊇NO^/k@S9sRc^r*$F'h)ESl`(ŘXPIw}.'v>?y,cCz%EE4j8+M\n̒WϤZ띂WYg t ;f$tR ItFNR[[-1GTO"ʪ|F,,67[P<^bdzF=ƙ.O}>yXҖV~*#0MZe Oqв"5\6ihw>>zkJ7V͒qd22ڙ FEK}~y2Mt*uJJ;8k/zl4}$?evZ-%9k7'h50F"]/< FvDZ}dj4b R!QlsF!4Ȓa6Hdv<: 0/TП0/\nng]Zcڧ9] xY~d)|w2Bc̬ylȫ@AXaݼ B>P^ۮƶ 6uɲXnXj*JcmH$4Q9z`t}6 bۡa?-VŘ,~# )Bc5|4H֭tEKɛ3?4Z#6;\仰>uƢC7 Jn-f.$C疭m7".O/s)+EcaTBzy{SU7X,d氶PLQLww([բW?ܣs/mKfV*ydgG8J0+Y}71=]NwJ951;knю~T7/=szܣ^B?WO'`nҲK|7O-zG='MJn00%aX(ڥ<)l9DK|CaS-&߶9BD`LG:wcH;8>Ĥ(F&d*{@=5{E?z@Gp;@SDAOai o 6-Q-Ve 3TE*\~(f뒸E'-iZqݴ0 Kàjkqquh0xhVYup_yߚ"а7j&tSKhyw*BN¥H^8Cc3 ro8k6oITl*e2KOm> %C8=U,?-lk!bd2W}ΜIB\Ru7^16Aó}oS I )er6afwP7ݣ`p ʣ&7H>ue/nm]=[Eo*ݻc/0@t.eրփ2,x蓧r e _&sǂ;滿u2gsXiLԥ_>][0Wlzϟ|++mPj5QD6͈q~3'y.T[ Kbe@r80ؔhj6=P5'X3=$y595*OB b!PeFWM'sM|SQ--I._Y[ ͣ~R;cv{*2/o ê`wcYZ`!6IkD$+I25]O/vrAu!̆$X繷ђ]sR*c]8OLI}e1KŐtL?uhA6y,B3#c0|,OYB6ၟd&0o#LgHƊ_ ꘂ# ^ɄZΰBHN3e\5PJzށN|]|l&Md< [N;lj藢QSE1uKLR[lL{0I3J/?k-7(F{_+ *^/Xtv- 0ae %* FE nc/ ⷄ/Yl=OK9ZaITn>VeQ 9}HsZ4+E1aMj[JlhF] ҝhZz-S]RMYI| TWqGIc#hindz^Fڮ 1LJ3T/:fɟa* IWÂ;N7VTPHo@%v,墙'[Ą, N I+l[{OyZU/ ء/4$l̞#K)hs[SGW(@7Z0 9SaI K 8j%ZAn9 Q.w+}g!'n+DZ1pܑ: H5v^KT"mV]`)nռGkBƎE= M' sbTݓ[Aj9H>2oݙgIN @B*|-}.^v]6$cC_>p5 OɆKn8MR.)W =Q_1@XCO1l\Wav{E1ZB9vޛr@(+?HnZȴirHF\<v3OHE}֎@" ī j&FHjݢs(YJjQ8Vdky S.ЕuENÜ<:;1 !0V'\]qcHh#Y#3dm2_ \{VeIǮseSx=]|f2,H]XM7л<,9Y@`Pu4T(J0Z{DNaJ_KaTJk%X/ޞO=5bt>?0.twxC4& *bn,Yj5w8VCIK}K"_69v@qLkϦvhF1J29EgJ0;qO b+89#0//Y DD_7 n(4;|-n*n˭fIGw#h|4y{ +,ƣ(fKA=I5G_nϤ@d|"2R|8YLl& 5oo3@2dthػ"5TOxl? E3. o`}ig ߰aGK^^N4AnTZ&c0DҴY͚&2ո`g#~/(oYmn !N/W<``OPvaaiB%%p-3`69[5ts̼zLصj BDHA/4*cPjnat c`JjLjgyWiV.mg NzꩡJq.?|OD(<ziGl'!HC 2g,,+D(:JZz*,)ۦnyd6G^NMU M$hycA_hGR㝄.Oَ-h1^Uq@Ӱ&:N-M{,-w'`f<];_0$Gx}CTq\*huSvRLI- XO-KLHDHְ;4ߌg\FF@huh3:>\p%嘳FnO8t@;5c1s՘/_4 kxF*s?sR:yzd_)"=^Q[@\?L?Vp;ʣV6\7*uLiYc`Bb,[?a 8H DWK]+?S W wޑjƹҜ ^)<lϝ@F1VL5{sf́R3!8k<ȓ}ar%ycX-[3h*qr 7 5e{ H{-<2!@@]Fܲ@И.AC'T%`Ua!o!؝NgW؅=͒I@d) ?w?zګ>*YY'~  ^)g3XiKGITwr'.(sR+nTg$#. ܋  v(8cx-4fK8 #ߠס}`Qn;& 6;;3tPEOzSho yWPI7Ǯ_V^&yW? ŚKNwJs,Lt!a߃FU{ތzը3fY(^\S_6$ܩJE~$..6wu6gb/ rm. FaQce<#u8Q7NQ*b00B\rlQc0yص͚SJE-7ph՗]g45 [>cq ^{*6ąKdŎ<ز}q(0O%.s~S] ]wM[3 _ƝM["̛PrÝg\ymݖcv `븩< Qd0.5*h> W̒f0&QjCq| 8pmKw0R [ii<>1o[U1;* ,Q!۲ KK4&[ dL7*lMA a8)6^ lE46e~bscdNS,&Ԛwlh L\o_<5l[psi4:kA=>TTx HYuwŸٜ kZ9)NʖcsR:+x uJE^]H܃eOuvK`+%$h*), Eb-L<(. ³)驟7h~ "ƥle;3s%w㲃mx\P7D Nϐ^; 8 P+&Thr><|=bEe&U{TŊdZ 7yˋ@;3M[0HOj*$8iKCxIIY$爓-țҎk-?d̆lAp,/2ú!*-GTLׇ5ߵbA2d;) y)!*bMmƻ' ?w LBMP`N7>]gaEqG\_ι`b!xR0}ާ, QwUUm,h#&[+v_'d\*&Sx g,ƅÛT^8z}v9.qQ+#zԛ< bijs]d4UrghR1"VP"_1]؛cHg/1a*֖\ pe[b_䑣a]qj̓>IŨs g&.2Gkh>Zv-J%Mf#ɡ#qwx⌐Q]m][Q1,O'm}q[kEnf2eH^CgA/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/files~~/src/HOL/Proofs/Lambda/Commutation.thyH@/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id200F?/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages7zXZִF! D]·Iq n[:|&[z'Rڧ ߅ʗ'XpY[W=WY^rD. m{,d50Cz-qa5J:8u]D<RR))p) OfsAi;] p*0a:d+,!4 UvOϽqtؙ>Z3>nyhRC6TUMr97Cld̜Ľh=+#8KoAK\^#*泔_C9) eaߦ ëJWdb|)}7YmԠ0cg) }MIf+oU a?u/PoɄ4f G@};caB;^9Ȕb qzM{ydߺa5HN>'kTU"a>"}a?@.b3 prfk="^#ph1twmohEvke%~P\)L (B6v&=,Fh/8_CX4149]VfݒF6t5|C׺i΁v' #͍s6= `F0lI96(={A˴ug:Sb֟kas# RCʺ,xs=IΦĀ@.D/C5t.ڀn#=i^ [z^`g[(Br\Y 1ՕZbHTA^0s_/,!t4"`smyt$rv6It7ozΝ nr.k[t^>:8Suam`5nRڗLRDbr WӍgRK[te|/88.DxܥOɬiiS6ca?Rр#{K$`&Eq]{+·QZ[!Ob56x1%Mi"tx(N?/6eaj__.?i -ш Wgh&1Dzt~Ml^79K&B4$ԠZ?o)O?ДOzR Hl Jbksu> 4LaLK=˄(lABݢHC:W آίBB }s۪0ƶ[JAM.<@4o:w =D[6kY*'ɺfDKOFPA j6+CbNL\(!J 6o qPx2؄B_ \9%O5=vx ni_PfE#x@31/wf43jIyRf;ضDO66~+t_e{ >*}\Z0GZ7ȏm"F̲?+ʊ^_T2 =i. $5ZW Wu?FGݎUu]fAzrַ.N/d3J=eRfmX?̓#98^hc|ͬ-Li_qiMFY&RtkRܺ("^ 6TӎZ`j6`b/5{6EJxIm"EBP>U?dh8 $+P-M1?N ȼQUԜ S Vv* Ud0+͉4BbS8,3J'K\2VD=6PsJfS 9n[Qnhơ{oC֊پE# _G ՛ "mJ'wU1T'<`N =;kgĥ&ا|Kxn~FZA:&J\a”(1]K*G.Rؘ?Vx h [kkPcK"q3yf.A9e); )J^:}0aDǚ!]QEM+qo&:FghLilyW9a`.gXSȱz \2Qg9ra {&U˷E81z2$KBӄP :Q'֣53)^]!xV\|.+@i})y74 dX D)w>Vȕv@ȋz@G} *N2D€:qhN12#zu7eAsPW)OCl>U/FpO;5ń+aV39)·!\|k4~#_' LV7\1=!͸xo/駋D^u:}K~:sn~SX}s$Sr1s:eH?5|jDn?k \dBQэ,gQX2`1lsd kb"tf)WH RFم«iШu~t;Mv\R6QuTˢE0M;HNA!W.:uD.Y )H!_#KlTR(QZKiƍ#]nQn);:_-Xv@W 98aSwޙZ&IWY`]S~zZ?L OPYo>j/ uU1ir4'uz=-ɾccs0c C!Se F][xD%ŋ s>\h;` ȈCLxS"OK>JȦn_7[r#T m/! ۷Rk>-Zׁ nr.sY5H _Ȟ:j|FZOYPaī$M(3nSZeMb}0E a=nK[! \k'j<<0s}='%AsT+#I$ڈz% ?zA EE ;1q~bV֗ w", ML?HDqKd؎kvg>=2Ԃ}:Ȓխd){>9偎-aNj# (6j97).]oy(,-GOxk~sPr%O!_mq rv4! #Sة?nT <%dߦ,vo{QQj0ۈ % FWyYqHo^{^ T 9+vLSYg``,oO`0==SDlwғge7sQwzںD)AY7>Uul 8.c-iW`a?h/?o H 5$CA!E:k&گ5/Z,E@65θ:L㑠1 KO\EegJ9⯳~Us󬑆jZƖiIn WD~Zj,sm(ci0EO|UuqD/!5ñIۍlɧYrEGW\^Ծ}c b>ǩWlNu)w^1L i peQ8ˀ|̪m y)XY?}_gti= o&:rjM,O,0%n!c=0{˂jhHz'&Pw"}yDܝڪZNS&[э u֞rȦ秓CCz~X*|yN¹cwl ^ Bc gCn>`ϼo0Eh9[FXZ: 3}PMeZd3E~߂S5T%l56EOӢw#OQm(XӝFh.5i26fE1"\Eސvf̶ky7fI [6=z \ˁ5֐(΅x޷Z* " aؖܢ%|A<OLT 1ST^W_. ֎hNDI4Q8;W&sӹ{<嶛'h1 x?5m1S 7c+Kh9Lܣ`/I:{E[,0*On+he!6.yEa=axg[UlǼS;p^z*om.N$ZGwPɿC0$AzUR!{Iyg f}N5Fłz<# N-mܟXݷ3ۖ2m0.A: m93:Q:•ayVI[HWbm+6A&=#Sm:^")y<];V!5wX|0[-<2ufE0к*9љwZNc;1!-¯Qey%fC(%pԛryVmऱ-" ZR0AA] IړRݵHڿfM]u8ECBW֋\"0j@5dw]x>3~*`Bv_nCRq 6>Jk4BT_X۲Me*u*4yFRwRd |6#|sZI1Ĺ%Sݏ/1Rx'a[ey!%lAnrM"^鑱"`'ODq~gw<[wLei*<4e o*:bʫ9:`k6 %yo_<dAptbs'=q߰+WB*{seV2"DQ6,=d_7sGi8~4).wb {w,m|Zpobog`͒n!,nD:fbAl }RWh_ DL7CLdVAD`woQyv`x/ RNCW14 VfIc"cnN֣vk$׹g/lX!}NR| C1sG? qp㗊o` 愊Aj9$3qK;H+ȤxƉy@ y]5 VA0S[ڮa,Hy*;yWU!$ɿp4 59PE(│)N\|Cp66XvsM,'B >f0ӳi~JU-23҄=D~^O%2[$g<<<]HZ4vt$Gxb(aeNrq5ٯ"eD'VQ\䨯8oX5P}p;t)53"E^d $0>ʡ mkkw=Rsd 4p@ >TCVyBy1ߗh(qζ3+v,V/wέm'J3x'C";zf5`,&GНʼϛ񢨝LfL׿t4vnXnXvtlz)@u͑qEc1Vfj*pK@kV,+jBs)]CK1]%f{wD@tbANvsb1 }F 6U(6#"3w;*8 zxQVG'xcǣ\2k"n9ŒP(儾h mV$..ك}!Q ,%!k H%79D(y=%T埨ܹؗbzqj뾾~6娌V{U6硩孅ٍ'†rJx̖. ±.oyED4=Yu`ۿ(*'#6LynD ' a5kUœJ# LCbe`-/eXh2O65}ܗ'yog& E7P X#KHH dݵtkYl{9Cbz[kk +?#)Z< y)8K'8ݿ8_Y!:9 yHkvM7yѲBJh~Ԑo.>⫙\Yo(RwP:ߨGӢM'4JWwŁp &hW^CU$bcZhZ+G=M9hiCi'Ilx"2)S!$l,Fx΀J2Q^$% :M׃HaTOfZ܇>Zv}0'_,}Lý0fe0.dO9.L +pIcm^YL撦կaə}g~/xc<~ԑ$t %lW. @U5q}{oJf'A>]~_.{dn`U+8(䤉iN{1E$F/h mE 2ouߨBQK>>Q*66 DFdӊ1H{3wP2J j_y:THw/'F XiO+\M&V36G_lYNB#7MS .׀ᇲ%)SܵXҥvsi)1VGqq'^_)F۴>FvdH:X~k 0slUKcVT{.`yIvsG3JXS"SM{ήYz}'" Tl r,sfQ[Qu &U/SRvfy(fX~A,>_zUմnT341 2S?T+Wsd-xMk3Ma4oZ]MFmJg=o~pobu;+RbLv/z((WrpCv,м2^T>pv(.u擠ɬFIg_{l9*$l|]-T*9dh)X(1{'ߡL45Bի\~mRƆĵu ؽP4مR!yjyѾo{4 26}; *9"Sq8r6OcVͰ\4󽷛) *|O0& 'Ѭt!'. )Ýa`:*1bF9Ydn @ȽV#s6H cdih9UQ@NW@4>zAR!T 3Ph#6ٙϏvJrj-{f3*z%Y܊HA=9:B痥S *:,9 rAIMA:0$YI)J m?TWCJ~1E1f :}d-=|؃ Wg**jblxb$I!~:|n/n ٥lJ%kͷA4`>kw)5}%ʳ~C_ *Pz3Bxp$f'|ݨ>)#+L5ay[k+L2ą4/mWW`tnLilTfXf(CWI!&Y\/<¯QgYZ   j\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML"G/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b1*sB%4F׋Uq֬c6tP*yV8 {&hJ[ OEjxMZTvý1$-[P3$.pzcf(bMBBe6[h|?85M~ O\ZPwG02sGx>_a4`HtJuEȽib!Ҙ ~/AVD.z)4V2}XC͟ fgA n|N˾i~f(ȟJ~;8d\,nc%v\&y9)qfqeHdž,Drs'IػҮ#D^(3HIgTY, |>%'`xOc IC9T%3T,[AYJ*'}ci+믧B .;O缡Z Gq",{MR}ąPELŒ'(TYAK\1_ k(BT(s9T'OP70XaS3Sxs?!Ew[+%>})cgFH 8 6^(`)[6./9+qZ p_GKLpU}b)Z7QNrg A7 Z)⋙j趥}|{rFox󆣂ÙwZ+*߀ž ns L9V!E<}EUq@dd1>d&x[ft|L`0^,/K ۻ[~Ru 1~$iػ7M[+`j|t?&)0荒xl蚽ڀ]fўGd"8>D j4j2cc$#|*-ɳ(&DߊN…Cijp2,uv_NkE,cj}^> !Zɿ ؊%))=}[]d,𑳵I[E22սjf@nQVﲔO&}J'we^R> @I} W=ġ¹ |"&| rE_ӊٜ[U vH 7jx!+b_vX4VIL.W zsޗާYXH+u%ƤIؽWXH8saA&gqܠ GWV5I<𺤈S!9aS 9q:"ܛ_L&ڠ>!!RV [0qRZ[` bCk,yk4[#9 ^+gYZGp!$v\mʒ0s~f#L'S K&pĨEʉ/O63xyf__;.l9 v+Lp)%SRz ٖ^-z)D|no8bΡ2*H)րX  7\Oes")+:p]lz6NjdrS< ħN98{g ^.(,#syXhp3 o0ğ]FOy@!ϸNrH¼ǻ#.zP0$q-"8]]b" P+"/CBb,vЇ3$Q pJE!|W~4Hd ۔-n\B;:<1J;-zSD>n,Aһ-K¥> j9?Ax#9U2_A3lsބ׿)SI:krˇ[*\7Qlo_ڞ* e ؉CMq^5Ma9\xgmUAuAIKyDz:V$YLz-Bwm7z6|Iھws&FUZe${8uYܮ[3hWЀt{$&m[NE^wnffS;v _:|% ݰov,>Jujo&ݧ"7 \޴ |&NgX/K =j)| Z͂קs&CMi$L2.ZټQP<9&C CpX= qdA]aR|(G=,_"١/RzU0  1<)ƣ귥?!+:Yj#g+?u/ nfC'#(Q;D f `͖nO(*j mDB?p##2z[}viF/z"}YeNJ%+Ұ}5e؏6!ĶW~ e+uM7Gi)166n_r$ڊ*i*l50myGZMssOD *hD";ljd0Q?CU6_7\UNmN/_'((%Q<&Vh՚ )ٽ-z{/1[H ;G9B͡7/Vyꍰ+\ޞZgE!e>e$CDn{o+p.ΝgP2*h?&^\<ͺI3w3GYeHHʀ BEny"!P&gۍɿg+:h0<^0 Ԕ"@!ٷ!D`񞻥Z1tKorٲ ܈<ܩ Y}¹/Dw㔒~nwY󉪵<A;ǬƠ,Hͤ!cg?%.zLJeǎ֌rb1*?>;.8i#1T̖3{ִnJɆo(1|0 i5V Ĵ +9H{Z ;,^^TO+(BXzfcPK"CkyPG"bf@taT_ރIf_] I<.ml%H- rG xWaM]}_b ^U7ѸQOo[ LBEg~AeZŵm-.ǧ}4yl_^J8MؿrqAyoU!s5!mEqP<A#G(EFp="=!A b ;hhO{B~\ 1TNY©۩F}Fh1}:BԉciEss C GxN*]i<+6qk$t3LJ9+24rP M!QY"VjQttXuƧos8W>R1 aKL_:G|&(< ')S&hIaSbU'\{g7m=ry/yQICA8_[_Ѡ@5uMù,\R 7q쉠^p~CDFǀٍ&t5E7sжTP1HmU,l:TG~`T{0AU3<+ѻvVqXuEzR >Ոi=FJ 4)巰PPD'X4֨GCM]tySq9~C=72 :%7zǾ eeX@ vkRNhtm#E/K$?Gz׺SvF,y0cC m`kc5=Y掎:5r\\p+h<}0`~U" ~ҚcgDIFVpk!zR/?LUc_W*s߀G:oI WP2}<7{x~"#hGNQ5MLӼ5ު8$ m.|BFS-B7%y@+smJ{S)][%oCVbX #Efw 4L$HISlcE:s 2ȶo 'kGT- FkPXjl0[zdY.ڰnWR֍K+OP팄`o/ԳIYs+,l.ɍj,@+ ?Qu2.GBْ.0+Zn?N9 0֫UN>GSVAB˖,BSt)D+dv>y (2 W@)f%GvKH ]M&H0שm6'ƑvxeJYe).g 3s 8 HQn P3Tun,| 4q{!#V4$)[ޅ7Emw;{pCкuMf,{3ͨx"/Xm0# %uLc_*Ά uavⲯ?8.LKaBgg"BWhC]^Y G|G/á2CO".~ݝ}"JB`SWt/-~ +f|4HU!Yh  Ty_ Xg%ꫠJ?a]+5t06N)R9-qqe8q}>6=q)%(. 9Yhl1k@Qdj#Ge>Yq@QXUTɹo{J¸A/ϖx:B;,LNDpLA2ϟ[LrJCMƛn3h1>>sJ01q-cˎ[Yvsx] |[IL7LG5Ӷ6h:5_ʐ]@=_{fkL`$\PߍB`QEϷ(ۢ_ քvنzA❲n u ) LX4f!m,ouM/jgs:H no,{=@R4Y1'exK?QFȞVoRIOr^4/N+MJ^,gPuk4x 5[,sS,TDOytY59_E^a˛z-UHa#YuLwPJ=O'3{x`{=zǥk#itٞ2o9}=?m]y ϔr#~%;<&wU4^bWl#PȏW?'Tr9!Ip&#fY_\ʗI-%~%tsS)7/쪍+x|t&4oSԭ)C~>I_.- 4.9I%O68NjƠJ<#u;H¼f?Ȫ+8\)-|$Q= jh!Z䐣7LRB#7;F(5 ?4<@v6+!# _vUhIГ?ͳ~J5^.SM0`[0˜S;$Î%6[(jH+ENr#NXĽD''\?)5̤zQw;`pf*pT7)3,rהrg.^;9Uyo.٧2[9zeFVMAUj)S|HϨrL-3.Jwck+cCsmekyKS[,[)@m*>"VKfIt)XձvN9eQ@d9H#G# 5hR{dO0&t!6Mxk^'Nao>"gc̯(v+qb6(Qu2P?lIuFgIα0hqYF5y9%O};=UIնMBqCfD/c~'Y|ЈGc]X-w0=: Zc@f:mT30"B櫿(,UbII-ʹQ 6Cxf\ >Ij:wlu>5I.`.>߬=1bwRd5sZ彣5P|wD)ؒK{iHsh͞*94N sy߹тYq% K® qBh@j\&Z@7[qb,T TĶ :NOR  <>Xr?c+L,A%g @x9V~c [b}dCNZ7ui{p*w߂Ѓ;.Z/B@NFBMn7ʳIݳX N^\%9O`>>gc<̭=oG?R O8Tð GPQExd#>="\y\4] p Q3sV1'O!-A}Фd` |o0C&1d5)kQ*%Dx_z%pi^5)+4_S^V+T5c L.-7H{/;0l\ O{~G.q(7'1luDߤ U;hNYV uOn%kQuYcv2^0MfK`YX-)wyyhݒIn[o5ϫ4VY o hBU<ΗYZ &!\@iHilE7V$,j=:?*;Q)ٖЬW̬fY|-\K۴-9~Jp^.!ܿmjxMAeNOZ'*zoϨp^O@m[Z%ŦB䭖[,F6!=42tUˉ܅Ucv%1n85PQL$(!J' kҾFwJҧv,£;!F<]qZ'iYY$^6?8wp~Q)\uC֤|0F(xR_׹Ĉt^Wxa.q_FQ%E"5`8zF\zfeuX)ƐQxw!)O+~׍456X!I89aٟ9%!\y&6ZbMpA]#jLdzQ(IAo/Els+BZ)ae}Gh kXBEi~;L mVǨ2P[G@8ʥd_~Pg;ֱiSq+q[(˂~PKYQ?N<8{lN /cHJUnݩmx;SSqE4<ӺJb-y:T/ ,0ӰZz7#8yX1д*) nޠ͂3 {ۣͤg3xz Yy`g}nddjH^21J:{O3?u$.ZP͒ pmqxDKq%ۙol*i豿BVӏ٘^ϧwNd?U&kԉ cA^Am>ZAFs3j )i"$[6([0"?ēYDnLil7LW;7a0*1Cԗ~ahg+WTnT2i([xnȣ[,BԻa1.7i- s`ƨ!t a7atL~oL+s>~DJC*UU&/YR-%nCh3?D_c㜫+,/l$s,S獟·t{75_xшN0(du#|SgQZ)MmyJlRq]s4 {1m{4 ٨@lnJ#+ n{.%Q.@v'UYji>[EiBΊ1,#a%:Mb $w"0 n=B}R̸|؎{PݡNShD l8e]66ӬuIuwPMimPEc"J"tSMvXi8$RU8<19d`еW];#%goL8?ظ?ǟ,4I_O\,_5p4ad6|m}g/!7ӝ]/~Y5=}`= $1(4ۖpfa6>tp*Oxߦ7c0a߱$*y/kFxGpI>cWeEB vHKlD1dyhg9-S ?0J ?-FB엗d+f򝺺~¬C(ٺ}'02 >} hp7qq 53{K8*1ΘOpj# k4{4+jFg蔼+^GSwGbNb-6,K2c} Mq4c*(a [(VF Y@bg\?#P8d2k+Z=MW=͑"W^Bb>E>jY 7mP=o6`,kt&swy8qȷ>~dTݐ`)m ˎjD#N7UVN囒2Ugk7_(Cak62ISߡ[̍?mBJ2ǞUYAnJ"ڜfM]P{KyB;`죆]\ cRx e\QO-%X[wEIi5 KP˻AK>D1|hAQ*Pr$j_?}1tTic~) FVXtr'"@(u(jy3sfE~ff -c$YLu F  )m:uG9IaD*(_jߗx.PTHIObS١43 v+Q +7\2 &C"l(^&5F8ыvM%q;x10߼ AQ ZK0]?)6QZN?!LJ!FwSpՉ)!_ŴܝӤF%}etIv[K[]36dڵ u;*/@DmAHweP_Cbv(+054 Gb/A>.SErx7U9Ӽ<٫Ѐnsz:oCᤵO5AIWɎ3o"[~c!>]䳚 4t|W _8@nIw õJVW.ث):bs<4Y(5.l}Q=3Xʼn3 8/'clpļm3sQ.&[ X._5/8Su;rBqGr%8E2Ly .a6a; x9ۦל`;i_bI)qY]MXɉMZ࡜2RQ(lN(Sj{]@NuN@^# 14w'q[(d-4etPx>nj+z9r)1,`غ@ ^N( Eϟ88_YqSm FfPN O;gHYiJrJa9 Ͱ7z5$G*[Oke#|XW"uͅt#J͡m O8thFmyXLmesHiZ*$ԡE?f% .M /Uӳ:8<:bq9V&igPY zO#uNe-8$*<DM_`\MvKμoѰB۬r>b }325YMjf>^-'68s?xԜ_)MnDzi k.:*e2N~KHx@E&Nz>OF8+wN-8_ÏhT23B(@;^mn4Y5vT'(9Y^:EjZ* Q۳r;UP~ ۖ?upBb]IM{1@\gM[۱=>>N[RVi} j[ 0Њ]i|ϜxNq6G0`~SKTXX$qoq&"C[8hXLLX>l)>gxZ~_j\[>@'E0iZb͹"Sr}!Pr'\KWkQHkfH_ޗdǭb;&3|U\ *ZO//ǐ& 3b$/]r\l0qVFDB&$'$?2ȁgEBPfJ8Hp%[ Fe)ёeٯV˦K/U=d̟t_>t)|5%g#䝗36^q@[_,|U` ݌l(R9R= z4w̋UIcgnnfm{t[:~Me*E@&%NxR,_\ojW_JUX/Q yŚ%* -n3~%tmWEw0l-IKarwyӶ!~pܯmxP'8Xhyެ9mzLJpz`k55ղkyY1]y]CTD }]*.H*.[EŌDhy{:PB] p:G>\qXفNC֛ g ꍲZn-JŔ 8PoW׼ ?lx2/Hb ۫!?1BM,1ODDaJ՜ɳX*nhM 4EwU.">-}w6aVF E_qNTz&Q6=yɩWaqؘX$TiϿZ2ȓb\UiIӕ?ꌍI t; Rf&؜ԠRa\nvIjKȕ%kvnn8nn_dȆPxʖo*Qq9jʇ%S4<4 5?WLMf{23@{ʋcOC?s"[ AxI˦;n2@p}Y_:`̙zJ  QYƚZ[onu8[< 5Z&NTddz'vt)L26qFM%VyIc%,v:[ ŀQƼ:dԙߢy,&L ѱ 7-|Ԗ!NQ\81n<>7 5_jYo -3J,FT(vN>#`5BUNxgx;}G"P9E)j]97< vN//,z$k<6KsVyQひ/s88Ώr|.N'8v^pCi n6 Z+kyK M[ +% yi ݜ9S=uSwco;ݡZ#c {u╭w.s)0@"1n BONA°<"\xFRvMOfeKQc[Q*jfu{(׿+F&4%!J-oVp*': _RbSE9{*0Mn"RAD#M:z&ح[_$1`~Dޠ\^`'P }/E hozE폙C ;PR|kZ"TGPeXͭ#0)[':Cܙ0ٙtw |]D>)gnaXP O>9*?Kߟ+jWBtms?`ƙ]/fg\g:Z|njQW#pd Vܤ+\gYZcaf72e158e92373fa55029997aa69c07bd63adf74ee49694f2bd4fec19a86491c156fe6e4a3ab3d3 c0960278b36ac9c41e5b7c6e5599dcf85fe4cc00