SQLite format 3@ E.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 _/vt4 ]/ HOL-Proofs-Lambda:threads=6elapsed=98.228cpu=116.552gc=5.3847zXZִF! ]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߬ށ[:`Q:Pҋl1ku2xNڤ z4]FeP'6&aX%?Q݆w:/;gIyzTup7F ` ;­qz/N`,緂}K_ϛB/F{:䥇jrQ% ~nft8/ld\"$;V6^(.8B7;ɚΈz&0=(uK'7parP)NFEcR,)D=.Q&ߑ'ލado^o>.VKHfC=CZ-w]Z_:EF[[qv~|]([-Ap}pDZDUm;%Pvx:`12W_GgYZ7zXZִF! hS]ŗXiɟ11bu)a2W5KԫmMH:ٱk)+" F4I?5̘994?~o{5^}#nO_D.՚H!P)YR;ǘNP(?|B 69^{-ܭ;| ;\?# E;}#H\Cfa夃DO,Y| N%?ݱJ "Ĵ$7E}Qe89h]TpWAOLURvKʐ4-݁ȖU[2H0]zhN8يu?.,'xqgYZ7zXZִF! )]ŗXi%Rs\Gt̉exue(< &8X$ju "+^ֺ^a\d/9ר.m<*| NxOX9Abp$-ܞP1&^+0I.ЀaF#̶ɟe-? Ч'*6 y{ɞ`q[k|ߘ'auS֡rT*ˉ/KJu7Q <䞣]8A XNqW -ylLϲJ+B'7'~a;wƣ)ιwwyBajƸyN#@gU:& v&6GAj-yvtm+K^Mh씲z 2OT4͍ -}qmlIN 8b~3~ ET)`uo-I? P-Y$ٻe&g8m8d0dԳqTVEg]2ি.^9 9nr;$|T}k1Wee_j҂tJDV!\Nu6RXE7m q+-[oK1ߡi71&`w%Uf_hG yT TZB)gXYa猦8|ق5Cyu𵈘 wsKcECT 5dGlyi=°}'`'jIlHH2וNT,CkSc,K()MO=3R@g}jb$/l|wȼeUpWq[(G+XƯj'^XL|x*q^_YQZ&VVbFt_ 2N }\B(h"_qQEȓOp[YB44h^>\ޓ<+{{"ّZ9Y@h@Z l7M}x G&kt% C.-=<(TKgLÞ~9^wC}՟Ur\1x0>8d3D1GqO$tʃ;^CoAvVEgHnunow8 5n٪^z%N目h1)WY :1iiمG+Ќ=Wn|duYܡmgj/ U֘%D?F!͔f{3@GU?hY0^O6FV?Ϙk0Xl[0[fHD޿n$ 1JY:%K.9QGr;NMbZ}| E / HOL-Proofs-LambdaAbdaHOL-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'pDDct9A592511-0+&%!$         ; n6 } = J y > 1i 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 </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.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.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:LHYP^=݇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} gYZ ]] /E; 4HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex7zXZִF! ^]A-MՋhvG"uIBm5ĸJ>Y~bZ{dV[N;č=nrn%w꿮.7UԡPWpr'CFOѱE!mУV?u\Roj[L A~З>Qxe{(b*M4^#Koţ܋+uA%JIȷ''B0~UQK$ #=''zb`?lrKZ1{maCb,9#ٿ̠fn# XWL[ w96fȚq nR,yDž@e¨D5Ee6 ƙ6-J2ky;wv +H?< 4C |je[Kc^#elf;3i9{Ɩ"ɠvs?pqd^Iښ{N!VxJi~3L>v}nD?J\`LY`;ub<|8n_b.{zal'ur7"Qk3L3PB."ƛO0èt|>DH;* ǡqJq@>;\XJ45`#J"qZ:ѿEeHq/Ru%۳4IMG$7Y3p%Ln\6sGEO(o-ȆS[bK|?gR "|DŽs3[$ J3T$^Ra֩9cH/}7O-#&5BfrQveãXI(P~ BeԊPF3y p;UG" ң"!jȌ\]ȮʟV= gF 6N h ح Ͽ d*^`zE{=꺼ڞ賫d^#2Y, z#هЧMDli,<+>.Bdy1?ȋoc yç.XEqݪۛ Q[p"z~;._VzQW<*o=?X9ڟ-P%#Уؓi\ < Od]R,I <,y\]pVY!Sn^dQ*Dag/rNPrl^B~=%W:|x^ZAu][~~mWoޏ_W^oh89i)0Ć sOOxh'xfLh~d܇_iy.K=1S͏ՖNQ؈>Kyj F{-9#U[ ?Ԝ9I _x^^+D-H7WU q}V`mn@$̗1GK|҉T)$КuB;|HJ,p+t(E[?O$!cVC ?%B(vIN;( W$`R5 !8F'S;D M: ;$1Uwgzs Z@s?Jdw@< z,0{52=AgHf̍"s œWV!|~U6q `]A2;!}}Od= GQ&hق+-u!:ڙ"G`}:zkRs֒!) ⯑DVoa6H/eZ;9;B)+|ǽՋQxMh d\M7V}쭠L!)gn ?P3\,ٶlO GP֕!g莾%eAv UE+W.0KRM9u33v`hu !$Uf[O嫺?e Tγ&6!s|ONS/1-nΖt%9 xgNQ-}B %*bw:y5Sٳ5]Te|i[ZVpFJӬ!/-Y*36~כ56=3 m/VHu#k, ExjS# Ƚ)7N4^w˥e^xlT_Қ̟kVP7οZ$F}L붔sʹ6٤4kSK]TDrU Ƞ@<>x^e6Uɭ.'җ~X܏*W0Y^Ŋ$"@TGwKGRLUL nu w9r%L\ZU}azH2geb@HIoі :'gYh:i֍ݜWdļ:ly%$t)C6.\\fz",A_|%Z^-Ɏ@kaMPy?ؿ%D؍ۅes ߩB2I/ѹSbRX/Lv8H `ZTq0x'[1] KYl%ܺ*")P:E=&e @|h'[f]6}i Ou -5v:g=s =9۔}r!)#qW'ł ĠɁ|yѱ/~1L3Gb-QҦ|c)x@. vjjӠTwʈ봻?e4! v=#|e-S]y榾l` ۗksu s$%׷֯Le , dHeS$c}usI}M>> >@9m8H`鸦Bt܃P|W /6Qbx11PZыG&b^^n-3Wf 2}ON„fNȇU(ۥ&MoԃxYoK(zo4`$OdwT7t-ώлóaͶA`a6ԒWw̤Hd xZ_:)%0oL;Mo'{0L %Dt-"}6ZXI*aHΔ>F@o JE:7i3&vuO>_Զ2t{[ n`vhyUgz]gYZ {{ /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}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, . /C9 THOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex7zXZִF! U']A-MՋhvG"uIBm5grkܥ88ٹFqR?̘s7<ח-z0Msёf [cS #z-{ĥgpNhWw1OQP$WTx-![2s0'U$d6^Ol,Nv}<6t+[\n,o^i.0/f1Wls%k' sN ,N2:Cw~߀Ɣl&zYnd׻]|k"pLH1w~*sb ^=0ސu*.'¿_3uldUŢCU*KL`HCT:X:{XH ,Gqq\uwQ?4ͽRmb;y9Fs;gaİY)Z@~pG7lRc2;,h\HYm=wr=vxz|2| @v' QYVybb'H_ 'X/7ڬmt, XîgU|hHr}a|v0ǫW2'lLɯ͈UdeTm.!mK%V.buA{O9*s U4OY"&ͤ4St 'u\?e"u\ &QB:h6aإpKwO׃Mtn@Q,11/!l锞.fO>b >TO .% \3) {ך1{=lGb!!VV4:+E2y1ӥҞiMAaR;ɮyPam~e""(8U'#.2!=1Q20մe˲(NI0Ҥ6uknn ECJCsT^$86/=0:+L'-V]VX,;S8;iyO'~zbǜ_>_o+=B\'yi-;شHvMDt.FL #9p9+;ÖL~ю. Lq5Qu\v$.r5׫!mUMO5.@),:~X"X6Ū_LA؜Wًz@mK~US\[R)I%-s@A*"L%YKm_; iZ@qSL:%jVNyu:F~|RB)igځw C4W#76ajx[F%T^rh Tz#͂M?{q;Dg $'R9B{w $otxRlv9MOJ2ZB&)JD1YRu]>_B`LVy>n9|̣Z@|VgN않V1Bnq.y%ɰܤc-bA4af#u[*9жt( ČRNÛ4-Y RB nLjfMn‡2zO&b 4,eLhrm4uìH`.YgYZ ( /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 _]/=!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\7m2M9J9Vua9yu^yTy0cހ>oͦغ~,D^KY2=Sw!j)g3Z M 7Ic + J3"w>,'y:S!̲s2uemY=J{V-D]%*:䰔c1)FZq޴$}H@dc$KNGhM{- 7ȶ U:tITis8@5ѭgckӇwz5 NEXOBF<1hEF2I ޔO lcf83̖>缨+$"$kX^~pQs0Cl暓5FWEztM.  -AuA ?6I׷θ*]8lqԴB6)Yjy]Z2Z&i< ̔O&,5F!fz>zi @ vkT}ˢ}8>"z/A˔D]֎8ͭ)ztװ[Nk ًm\Ebyr/>\-3%GNC֑fW>$izq$ps:ZWѱN\AnJlhr薣cFuo_߅1(wV76~s"JIL̃Ƿ@wͱGh qDa"{ YyͺW?C Nl$0ȸ'0{J9N;AD׃WLk}J( g^_ rS7&20#^Rɞ":m=BybUDJd(NP^zN$Iհ\ ѭqr fUVA"eI`HvpŠsz}(+b! e7 7d%9棪E))s&~/2 y? ?mRb;n8n,5he].w\e>J9Ѭ+:_!j]K^F/uxnn{qq42D4\g*D|F\Š-^ !v [֬ ;4ݎ0=.A &9 (|-%kyUw膚Ŧu#06>=]u[NrŀLIQ`.kG>SZ9W~jV % +5FQku&eAoK+v8l=џKvn,.bHwQľ+)v qu0} q$g{$`IgJ5 f)=E,/w8ǎ"Uj g%H{\Hlg}:X5R<LSd|]^qг3[Y#GAwetK~IB2\ITAorCT$T'Mw s[+B,x͇ZNO"aZ/ ^,ѕQU2owDy Ppo|z|Gw k~_`%#}t@ ]U_c@):YOy`?K;$Ou(rYwү葖G^f~,3J$:GNYolZbBܻ,(GNqm=?oE|]}i5z}ik RDAt1ӿߢm %y){vT*ShsdJ#l~H6Rz2 ,nC\+B F^4Q9LC;} I1m͌lU[2:mc-zҥGV!Zu'oIdf%jo>ЖLtRGz*LzƋVC. at]|QU5鹱q .*kʂfBUL'}^7be*IW?(;5e@.$OGng[/jZx&B)yCe{UMv)G "98@S/m>.)A1l.G=F\;t58o4鋍?s.I,VdZʼ^S zu/{+5MS~ؗp;4 _</)'}Eӷ,AiP3~M=?ByumKM>[ r}}i lhMVMe}9B>?1KO_[)Jg(݄ ,W^j|D4-m׶tvl5cV7v>IA U}$p]2RgǖA{z"^x}V9ǒ] ]!:RW^< B5܅mmӆBbmw#/Nj麟vklQE!U$PlE8rS傉@%g)/L.Pױ Hu<6 *u!@Z0 >]P7QDR7\E1L z`r %Jp}OJ|u5@;Ѩ9<Ŧ1Xp5Ng(~MqnJ-e;B_ VCԙemR\2C++ m 9;< u"n 4Omj:@'=xʢO1R/;5恸@WD>+ވcCI?" +P#RJI%_9ƿK+RI/] *^if@4vpIs9e:b4) =ТPc~IAB L,*HWaf57jFni}Ma?JUi³ `{³{c670Ƚ Ͻ4- ٳ;. G\3ѣ/¶wihj\|ʽLe=GfBA rNۉ#UX*%_a"wwNe}Ju /r6]` ,t=xi nlmМ_=M]Uc铘nRzka[+qcF$mD7>}zQXNekJvv9wnko1މ~sKd볽iq* \1ü󍖏st#٢(8[r =,q%F5x0Pk4MemiZumpɞ3m4%@Q MF^b ݨp.m,7* ͬA-yl0!իqﻠaz{lq7Ō 6Sj pQI3Ö~I(Lsr`g! S gu rp|x ϘWN~.SBt^]d)=2w[K(Boʖ;{btfyq6niݝ I8ChKoW+6'w-t%"F8+JPwD\nJ_t$y6h$;C!\kޥdS. )Ħ6^-דW#0J5gYZ x/=# HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! RHy] !M젗OFK?Ie6,@A ]Ozen 05}fQI^M8{"u}ʶqqY-czD2,5ڦ Û:u*l^sm }3i_)J3Ri.>⿹:KNǾئXM/=ƖS| #˒}FU%7㒷^^=jig}ypn_hh*k-Whw߅?fg:W6Q0Y1k^)(2uwsƱU](vG t!jJ8 mHqnSX Ϙq:V :: eM#ܿ, [ɺ:Y_4nsd|qgZVlp;~$nVjYosa`~|ZcڪE+\g8'0ӻgͿS`#uB? Ɩ\|4-1YHM n&p筱xE+rH[o "f-nó^[p1qx\BS)=±:dgh|փ\7gi3 9e2$1uźM^wALjo84aj8J33=97߭UB>(/@Gـ3gsTSgIQ<VLk̖闸ofZ7ڢ8m9"G:rMi a~ϩjTG sfܯmuk|WR&W6FQ;q%[;7QG6DpԑcM^o3t<`t,Yn)1șVZՅS[U:DS[->$<&=@3{1z02py@q'26r\VF,G&uwҽ?_֍L Tb4zFh^ 5mtSy> u`n5GwWPU&X*KRm P/YwTss>0SSqB8IƶAPBlo fŇ:KMl]WymzTg"KX MKIF=f@3ѧQPEW(ƶ/I\Ư#NjcB{ zxA%O sn[dz-genv0&c:|dq> !.62H֯~벽EAcYbA޳9~j=hcf޳xJE%0n6,yrbikAVdV. O@Uՠy+~-N !1&g uuR6@/GF=w8NpyyfDIQJRb⥏uRמӶg&GCF@v_4}1"d\fEmi%dW/Qg ̴29+Ŷ$L/ ذĆ]FPjߕ0Y| $h'z_.rvw|\d.0Kc?)* INtp'+AM^ I#/N5(%KA|{p6"bC/jJn''G'764/.9B/@C&qHK5@$q+>Ix>ŚśxՠzcnDti%+sw+/#WRcl"ꠣ&We@f(h<XnG7H>[Pf$>kR}wNeaPilaiе1 Z d2ST&$z*.{T9l"ֵoƂ 8z̘f3U"(~!8 1zY NLjWZH=5uʺ>iSMA@]G gײ#1 O0S5 M~GC }LMپ}S=A(E O͌!-e ӻ{Vk3/i|]ر%U ^2G1Jz3U7k98L'B8- ZM 9B‘~ w*"5p#mq(.(_ܶ^*=.W)81+0y6ZN#xv;,1@VdEйH<ጬ;2?9ʾ̈́*=Ok @g+W6G_?)i Vspk ,f54½q)3]awqZc_0_Y[ɢX7CUQje؇V7Õ`vi$=SBٌ1W>9OƖgĘLϪw N6X"qm[|d;J aUw)[|$TepD`'h5 n. VdM<}8VcIճWM2v%eR92ryOVw\rnh֢*]c;=5okz0b[QT,'ٿ_c:oJTm7N UjgkG@4 iRibchJ40&zR/_(!1L]%A T,ne3l$F6N aݮ 2k/*T>ͽ5HJIxy5C gɆgΔ9CxL`Ya| ^j#"Z}yH66L=6OAxxvȟ̈#GRؔUt>p jN'H@_K)ӆ RBjvw78'L}U g l") $ bK,kd(A[-Ȇ)ϸ-o'x[А\K!} ? L?o/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! (sB]·Iq n[:|&[z'AI3 tqa7R`r4 4Ƕ$>3$0tjV*(v9@2GAW$P!}]߹6Bc <u^V 8j0=K/;/8Bn :դm7% u%6˄ǽVf:I;VRnT"mi6u FLtvF*M?Ks\DGp4= " LWMBȋ$eNj-J} /<>%ӥ:42x{&'aU"7ׯXpdCHΫo.N0xVHgػť*FZz g}!ػtqe W?9Jm qU<舖RgPg sqHO%ɦ5HX*G[+a6vn`W{mx% j"z_Όĕ{-7 X]L| u9J#/ ǩ.~p̳BU|@qu7?(S^cTrr߹F,A0B323FZ;Ytf=L;K\„ fj/0Je$.HJQUP ͤd6dE.2STbK`<併-~6ekJ>]i?z] h!g0+gZrH/.apWfr7~9M:Z^E,_grcrHKa%6$Y7PMgYZy/G# |HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup7zXZִF! ] !M젗OFK?Ie6,@A_(V|M  II|bkȻXr`~@-Y !P]ZA6z9t W]wq p{muB9DNnK쭭Ln\v.p9xhH)\m{1ͩ5z:InS ̭_쑨~U:ZSf: j(*l~]jNt^8?ê8 ژ=[f \qfOE"x1&p'bmu6>ciZ>*MC+TeSl}[[W 9d p|LO$yPaPWc90j^Zz]!*HZgr&nB[M p)DvUd5@d4*'r@.h}ݛP~k5t(ۤ&3)oHYFQ) o>m_Z\mKOM?6T}7y^t_ḽ)`Us\8(U AoMLgH:&ziW~3Jqq|.c @NɎͶÂHN+//l_=jUי+G3v9Y= 4ehw 2=f~I Iߺ6eo~‚f;˽gn^2iſs: (Q]Xjs8~ K[|>vs؟RSo{Nm X$2h,zPsa9qugrTYDvexmAEO|Ѳkya ۞udn?3Kon/39LC1Hc!x(9,u/vU Od3[0ɨ~jOh88/Vq *l"&ŠjꪡՀθoR+I#a^ITg/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\H}EF _oEj`CG?KaLbR+:Zy쪟߳NC퀆 ^G[ c6{-%Vљis˵cC$82~8素WʼLY) g 1 Z]+HdhLPoۍ2GAJ["y2>ė1zAw\\LJB+:A6({~vf)`T t982X{$bKy\!OfS Yn<t]kXry^wXvrzS*ܴu;uta3\m\UliQQ{H`ܶZ]5E҄Q$M  3[!xAby|6Gʡ\:x;Ԏh t+ kz%u7.)t*ԥaxP=qЖZUM-ұ" Tj \QRR2qi?(TDB46 " n%%TۏHR05,jgYZ?-^Ź‡=PNƨÆ! WQ|5_nXdהQV&[#MeƏـjk|yΠZ~Hxj X;d=bYhxi.TL⎣n[iS=l EC"RAS'm[L~8'rG5@-U[QU_EhE׭%;P|X2gct &yN]j^e.:YWY}p*PصRxƖX2 Xɼ2xq?/Vwc{y!1]ުӐr\Dt]ik}I&3]WSaИ ׈b[JWEI'H?j%3IH,ƺK 1y~[h:kE7Kyxs$yɖӿqGr,^gKS!EU8"Ig . ,DA@5x}+J,z_ǯ V-b7󷌍V C=}! jUWWv$t6geljFwSUnpEҗ,q7#&hIFWlg>+j#{R([V@بqS~ n^;dѶG.BNcqhߑźw4u;)5hnIBhG|. U5;Ar}IaYaUjGƼ?X xVIL|1͗ZpJq *x}ԬR^6Λ q%"&z{ g֟3Gw؜ r|MC!Mo^j2 c"$6Xfgfg5=7/{z uRkM--EbZҊPkS,EVI Y/!-H2XU:W1_܏O^Yל  UJ+FQ%Yt&GK[KOBmqé_.wc1VT:١UFL3;k1jR,7~Z38'P/wV =&B}?]Q_W& 7 /iKǸe:.ߓebFQ$b`9>b"`LJYPϏQйlX߆f2/󊽦469N5t9F*Ol͆"$u g~ o.;lsJYu Ӵf#DEM $ ϥG h@FK)RЬc &N H UEАz`:#'/\.AD/e+3qay?%f"jSyedS"3IoQ \ VZe-9Y7Eko(BŖegAk="et҅]#}ْcgjɟ @KcY2us}~iKX4Nժ[mYdg/[ӆkLhּq|. 2řvhԀ_QhHv?8PEDm[}@FGji<(_jڣ\0$wWZ?gqap%=%l1 27Ê.Q* fUJ5 +eY^'wSqloVH7ZQ2\[Dzn>w٣MۛQ :v+>:vrxq2f@u 9h!Fs0, 3yBقFU`fNVLlJ_Y+G5B{j  ^:ybm 'GXMFi-Rj0;}qEJҟԕbMfZpIJjx핂l|Gzm3oT<OX )XiD}<ιEݱV_u{+ϖ-p@o4Ow4n:AW@o;FE7 fffVHܛ3iMiKp0Kd u!iĴI4L!_ڣRD[ c{eZ`G&8!2%䭄⒗onL wXjK hyT=PILQW,S1|d~h9*6[s#dӂ[f< ؔuUGl8d^o2'P3n9goW:B,UK孏&!Tc⇮QQQQ+VB ZNVA'h 8멏^7DJBDWڂE! Kdlܚ` MU=) da%S=س܊wV[_ˍv(c gY5f4</s̎5S85v/e \O2Z-b;j7Үhb37%'o&־uȹ_ĭzkf7rK:B*M!;P[gT j'n6};QizmďLG= [O!RiRC|qpf1jz>蹃ԥNbXr.o,6@̑Ļܪj:У1 `0]B?i4}MOпp~2 )*fd_3NskY#0՗m,לff1#jYxWo*=8=^ :lgWX<vA&O|`T2ArXeC4,7q_ kYեʆK({Ʒ9;|m²^8եT5!ѷH1dHR,CFpT7ufUrG}M"$u? Wx9]ekn8]坂Z.dKTr(߿gYZd0mUdF9k.Ng;9S 279YlcեlpI[v^iLa5"h:\>h;xI!ҺQ>W7kt 2ZۏaۆKB(rprZIK0cVNo&a^$/z+T%yZR:y/q!_HJSrp4Ey.]tf홉ɣ#?NZ +^ 5VGE0\>;z^*&/<7.:m'[w_O}DsOHDrr͸iąW> i72?引0V!;}raW#GN 66#} ǸR Dȁzj)O ^-Qٍm fE?,HVjlV*{Wb 5l`曈aXt{5+aC,r ca#$;jcP%v֋3xpJ[h@Wos=,N 6O1#QC ){ 3Q%IOD1h^[HC0+6#Z:zϜl2} ]jU!!߆F%UXイ.Twx~7|DJ]Y5́ %ŬyTm-@(rcxᒍ9nG'Jdb`Ggg -[]m n=Wm]KREe:9ڎJ D2yd ͓r(>tJ=t-mzVTΈ E3IUuZB3o='`up*lF8.i@0 Ld,h UQy͟ѰY"pX ݉#8‹]u]\DJrPd^M8Hv^ťn[▂mvξu#]wX¦58݈*<$9cM~cyb%|B5ր!0&z> a20ʕ?zȎ}~m0WDfNk *qa1I7|Zlъ?PsϋPAMƊ_WTM^o֫ Lm+vZ |Gs/b=Z<G{,%g\ P*Q3 ȗiMU@v8*jpHX#Q2K!MNݞ< C5Zk6VVDȕ/KvA֐o+Rs\߷HL|MűYBMb瞮rKiK2̔:T!,\I*ExN LC± ^.6YF̞mrHF䀓BB4]S޵̑~Kh/lYUrQ2.ʾKdaͯVG%=dRQUP /CZKh-X"SB֢qQ,n54,󫡋R'NmK$!Sc;wOpKf JXufjY 8HNR[pڽ䤿J_jH*?@ VkMx*iO]>UrGOx Ujw'c>'*\cQwmw%$kZºN1/u<q1ԙI;"}[sy%m/*Pw"~ܡ@~v.YxX=˲0g &e2ߔ!^7Sg~3uٳ> ɳْs6<թdXpsXSs*KWAk7좁#.%!q_`<0ZΣ73 xGR 4w^]Z fReRںlrl؏RLG{xCЍ '$`^_״،^mvXFD#lK"K2ߥ͖615O4P42!Wp7&̕ ?]*ovS}~FASn]e rX-3Mj0rt`t! P䓧28rgdGsӑm"qEMb#UHXD|.$FQ2q~>ROP]zP陨i"k)T\QZV>Lu?JI_)ddVtq8eG5qx: !E#kY >O#` |jOurs ɕ=2Th/cݨF7hz'ݐ"REMD>Wb%V Q@wu{Ys-4n{4JU2gwτI*zx750% h2T*+ ]! ǖHԹ":Hx1&7 Lg- ]s1S_Eg܆w2H5`.mFKmbm])2ryEp '2\f-?$䤬!yky}v;(k&k{IbLVR8(Ƿܗ,f kvNP<%Y䓩/ǻ|0Ϯ 0#8z^Y"LTN)a,$>DCZ [KPVC8`[4npnoMZ5ɚ\aDSES$9E 50iS~DSHG|OtMOP]I(1$tku pefr*:/0=E[\1e#?7"!~_%"_)FINaThG+ R U̾O@ew}dXqӵU4d)а"+:dFjHٱ:7J\"n&6H#'S4˵CmĨvn{)$xt/NX9{<^c$avvcoSEtUvVtJ}݂s}$ `k9 y^\€QW؋`5yp_ )UiʛMGN-PHղ|@KՓ'0\OHk̳8 AͧekAL`=+q JG;=' KzV?B h)HGݯ/ b-UwOk\30׳nZ3ݿcGپ!=uI ZtKV7^R1H7*q0&.9~eS/4Ly{A6"|_gְwW0)+ VB/ d~gYZ --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# HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markup7zXZִF! ] !M젗OFK?Ie6,@AH?e ̫2-?а)3ԔNT v,M|mń4 [Aq4k&~()))tgҙۇU~Ğ+rIM Dql` nz>ME )uMjreg!شd?]la;) Tg! 51.UAF2eBB_}# pL)5f+2Ե{P4rwSMWa6e9V[bHsCVc?_ܣ *߻PDA2U,[+4h(PBaM0 3u [sCCX\WͶ%yRN-< wZj.+"nb3n&.U.ڗbuF)Nc&&0 ,uG@u`zɿyҹ@t؋P5R+8pP}̚<_l1<`jr ޘS ZD{6^ƻ^*Pש|uHn@t/᨟L~Vcif]&ܣdHn٪禾if9s3y8:a4y:t(XTUĖ@ |X>ɡLGW>WR&#Ɲ4hvYnB Sxz?=3?wIt^GI imSFi}JLr-VѼCLam@3p2,lgug ~64IۺZ8,18a/&! $X&9ob2XU-WAPL1(]b3]DT&K1lD+F߹}Sk[hm^ 7p-Gda v?Z>x:,vм d8you'iN7Ⱦ*W:V7ƕq0o$nj'h|v΀Ƴ.zjDnEFoW̜D?qu6Wh*۞E ;ߥLp1_uy8ԫ Kt _\dǢwu.:_EP`Z_ 5Ll(0)QgZpv@VZ*gZxTӳS.k ~4l;4熊-y N$n{w'M_l2̊b-hd_MÀoI9JQo8")g ?*D)\5۾l(d.8~(Q˛Z~ xVѪ"%+GPL[fJwNM_R" bҒ:9zbF9ٟΌj'ۛ?b^ޘv@b72|,P~:f\|ɡǧv9ոÈ9V}wf'x*GqI9ݨǟmg  `ᩯT6eVS_o:6:-M%ORzN:6>?gjɞV~6T+DRILG)uSD5~7E堰\,' jRL$= )ԷtP]F 8Qy&+P~ f <ܥ(ǐzGmҿzx`[ʓH" <1 Lz5w1P@L18qj$`nTxJ%d{!䒇K,=E-M޽OL|1o&5ecc48{y,k$ uetӎ@u}HK@l>,.ѐ6t="̵BEQG/ѭ~hOApi0Y50~鬣_ׄ&WnZo1Y=M4o/)֊:`~H>B> apVZ:f<<:A7iHj?i\qa}; eUYy^Mo*|Xm/4.!n9^)h&khNkkW1΁ƃ|$[Z`sSfzd{/&NXc% VG7Lh,m5ӻK fA.U}ϯ`!U~!Drѩl6H\Q]͐u2d\G4KQ()QK:-?83D_=T(!u)X@e8퐭;8o6/FtEa sxw0?u_ݰFYQETJko9.|^|KZ:2"t`8T+-ђv0Ga;+ &񮶫$c_uң~z qY˭iOfBWo>X|l.hH5Ȥ~+qNͦ%2'u$`r."G.K:C˲0ݕ}üñ(un^S0ŧ 2]IfP0;zbA?&[fde1Lw:N?ޠi^^IeLqvU@R O%Ҍ \Eo=!g#=$qwK^9@>hk%M47cJg.,Wo~iYF}uscUObꚢ^?2(_,!W|4 T“#g晒2|X*s*) UUR{JWb(I ,ڛU7^rf|_Q3f@^qW "aAuk]4~ݽ{YLak)g]KQ?phhEZ%Jguw" +KUNWc?C2kay#fXuN:S dvbTc꠸4Y7l1TC޳omݍa-5 P;qjm"鑣48"F곴`"uݒ@@[ht^1-`,P66?A-E#h_̗.ۏ&}A'~YcARs֍WR ؛QFqъ}4Ď *^/{M\R=, ] MqXD+-*[Ywit²Y~DgD (@v譄uՠ׸Tcd 5wx QҲ} zSh' W< eDz3b$An4 wϥ̱xkiƀTn8 =M Z(.:ȫ-Hu7̤g!FKy*Xw+"}PvbcF\&, W8NJרWn/O& Z4B!ʽlznҼ)=AJf&(쑣"?w,bdwpj)ζ5[.zFW$,on4_7J '"#QPr/>k䞤L5}ߛLaP@$'Sv4z?J@{Yc7őHPhqUwM"5Bڡr>ܙVٮkw{+w#Fa Hޝlpp;W/'꫗NF$KJ J:]ބG͡x/,l{ܖ,E?8\J~"rY {<߼QuX`0dAӸ}?)ΡߎwKv1,GC-e 6?g:_)Rt`]2$dC:s~qDyExUILȾ!.nlց  wJwi /}ȺsZVC^PWؒ÷&%K'J )fҏⲾV]kJi2:sC#E r`?9a.o];_"֮5BGBXocl"mijTh Ql3ClPV *=ke۰)v|eil(k1#C!zO#?2 ](!,"hw7.2fi!2G n;ރQ^%sH*HIle:>Hb +{Ur[v iN#owڤ$Q|{.[Ig[D\RGDft8Z< zQVŷڠgIDZU{p ׹7 [k}/L٤B%ϋe4IvlVpXmJ'Psw ㅔ&zZ&O>gZT*nfACiK(oGI%3q9+ ~wζf\\Klѽdv=vcɹUASj"{nRך 3;V]N{e }A#6:lT9.铑o@eWCG|Vһ\FK=q/tRiӣ~k ) L/'X}rĈq m [&x[k^jk1zvJ9Th%sCٿ xȁjZ JKFi/gs'Evdۼn@~UJ"Ij9EEWZZXj-AGX,D;/[*["B㲦/\;uT} g6];.o`IZנlf)`zo#1sIQ~&u^agW6RGY`y. #)Gv jR3F*L] (A_u?ݏ6cTvw(~P~̰.,1k2MX&SM+Vq"QdbvFjRںKMasKK$?=B`9ZwU&,QuADB=1[Λܸȋ%|J,D>1q@J|hlJK-8Y׏_x%'=Bs%OI?WW4lijJx}))-pldxnNӎMx%9`լiUbeûVz]fz-VpE+OM~^󴻥*0#{?EL5;E6x% k"';Ε!f!l^ʍ~FZzBzg}`c'c!Lz-=pEݩt>@J8][b2nlpDX ~~@V7Xlm(îo}J*b*B*mCH ,oG-1"#w̓xg@6UfL .] R iwD\"/툂g'sjCs=C*#zؾV<?hZ&1ME\f*}s'f(q"PfYc῾v6C#wŒAa%˻|b/*agzƛoCRA~J ԀW^>tǸҨS PW~y(֍!+]0a_U n6@8#DJEʙ.y>?Uu,0 ᙙU)>w+.A&"8i*waD[w2| '#n? .?-Yk?]( e"-zt5in))Űb`S㋯CƔo-\ri-mO`e?BMmP,}^ErdQB""?+ |>jRLoD:CJu);i M|nX]'{Q+=v.6h󗳬iy"`C=G_gJ!N! +Ӟy+i̬1ᾢszfI(hEt *#)4½V9?o4ƹӋ>볩=7Τ12/k,Rҵrd+؟SC;c/ zY%sO|2-_F҈Z Lο2Y8,de'd; +-z}%?B0 NreQLOdcDr5љ%U~ސEG<͐DnmJpBPOJ6 6#+A"he@eؾHHxV,ݫ2|B9ѹ%`'n9Y:Xvg wB\kñsYAZN_:n5})1ʢxd-upc G]f`n.B$*vjo a/n5l%1b*~Qg"- 0%F/ikh쌖kEj6I)-M)$z/ԓ}"MdXRIVbr핝\ݓ{r=;Pҭwfy˒ NX1581Sn{Yo$d Shb%O9YnXZl$B}/}~~ej=x LkuE%NmȊòit>-Kx@脛U^Ajeզ{iBEcw׮oRi ɞq=)q2`&IV}{vWUr&4_פ7rQb{U)iFs>x̽t49LbNA~Q[LoJܵ=sYM,At؁3͸UrA1Y啩ܤ6Λ=lQX?~% +B]:;\6$(k㴟$PdV͐ZD_@ "Iֆ^w/crw,Y>P`IJu8XU֞ XϝBAK28|^FLvN2z|i ˨RȚvZt"=!rhvqiz #=X77{G)7 jg~Q:ĕOͬgƺ3ZYU /!`cDW8W:(^Jni:\JwlN#!v|&SI(c޼Q`eus"ީG[pN_8adX oW"r6{]8{A5h] kJ?:j P!r2jY.f6Et3WGB\y9kJN Í]׉C*96MHە?GNcE/ lg;45)aʐX?6a%h-)]VL9WN)(1Z>"Ufy@ =Qҡ8XwW߮](%U7Y Y5Uڤ?BmOӕ p實P;zjE yl7P-*wP͸vU<X/I:(}g^.;Ef̂l`Z_Σ'ż5 ;RQ,OӺ'eVi  6|=D{UA ޮ 1XM/p4}DmP=A_@fFj6EV>懬h-Ô"nkpR?[ rJy?mO+[x8R Gd a{|b5 qdhXYԼRsg3 tKd: U4JQm@Qɒv;K~#c8$B~ ώ 3pί(n= ,, EEH qg67Dv o–Yegɞ/b?:3;"!ʻ/U u֎9nM&HҤzм8DCzܚ"mnHxί&gI |Ԗه3 W0rE6׺A˙8an6qwt>av AL`0V-AꘇV;1/F&TbE":)9@hG"~mBu( xYJn>ư>r?! ]mg MUJr]E1kl@.5*~A%6(rX{Ev'mUtR0xh5z(틮(t,q1e$hmJ|/k-XǼxag*crrLеZd `utUM8N,\; ho3$mPLYQ$pU6KI*3fIo5"ZÌ)`Bg'D˜vDiX tbmSN[V9Ϡy'ph 3ĖRYFuR`]JhO(!&InlJb…GY=A`Wd(AB9ԣHy4K}F!L&`!G@5TS|]2L-RӌGbUE[1[L暱y0 }[Gfڟ8V{u!߲z3~-Ѹfu}kp_z]v3@lYU@#59a&[x 02X߳SoQeIeG@qfb,RWNtn_=4։{?ƥi{F!nAi9U (|Kk˫2גMZƽ5O Rx /u'/I,2DVn{+9Pz )T24|Ns8 ee2(?;L PwX-|M{H4,\+wKAY gxB|L$)rzITS̃0qFbuni^Lvœr̙BDrNwul^EwQufAܼ5 ध"; )͟>o4֡Ły$M7]i~H}HG6؀/Cɑp " .A4NmHzsΨU@k[*"!Ǣ"󆢝uFkG\K,kf1{b. ;A$~؉M_>YT@X+ ܽͰwGmKHL^!X՚N؂l$?+x$œoۇgW|"?[kDR!j*ឬ̧kbBJ1bܑx!U1'6~Jp!d l [6e gYZ /O# $HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! ;] !M젗OFK?Ie6,@AkS(9Fno$Ҏ3f,/>#彦фm3-:Us7'A])4?c޼HY{<5Moσn@J}Z.u #*M0cx ̐D' n,O5S:[`kkU B~T)ZhZ`*4aYK/SjX,MS7]6 \/h-\+JCeGrF4&θ Z6F1|<Qd Ht㣸{<`m%{n.qOF"5OB~<*?44ڇ8Lק񐛷+lx"lpi>lAK]A ?"N [\6?-[)KBPkn|BBeI8^o$l NtZb5?pytR!C;SL 2jazRFy^VNNI x4ׂ=ik;1{k5$rVio a 9}cC2`-40Yt:2[2 G4I7-<2R{Ot0:-+\nQӷQ7z2|xM48uc#2e['wiF[*h/1"f0Wb]^Cwv DX.C>>|2D^2FgH(#Vw{,~X*ىo[ǁ;vuOb[xy}r$Ry1y'hlqz@DN\,mS%X"(bzFb qO/yv1(2:Mh$G誜^%F^Zӛ, v6ʇE߈MJa;ԇ[1+,VuGDXwk5zIZ}[4rvh0 C2*n `THI$e$vU). AuUk-7I >_ywݲCʿe6!cRO dT6Fo\wsFºs~udM}EF]_7#!:K`y[όxwfϱyw' בocc "? zy[iޚ!Q:/ص`#O"O >*YSb{ԣ7q{jH8V ߵ5_)"|Ymt^gA>qSq/!xހwak޻#ʋWrM/)o׉kZq ,!02ՓmR F+M\٭a`c[i;*ibzi{|m혧jeހ;DA&W}xy6/D23d:EC"/&Rܵ93M` pCWOVēt,P|B6oQ0 *c=A:@ۢ JH^~4*‡d qp۸vYL6v;dą|0G{'kh1)_y i| `'IH+t>|7ZHcQb_#^Mb]Q7QJ 6PbtDLr Ym'Ӽ#ΠWĝn \ͧ^7{jyLLDT2&2Q}5Cǐ~}&'ki!K;Q ߀mOOW!淫ho! O{! /A# HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! vZ{] !M젗OFK?Ie6,@AƳ>޷-W͗`ۉi op:meGj$R!~) П֚QO-D|܈eC'#'emذ}zv+ C3+X3vH@B"5"pSίۭ/%7Ω(dH"sd *CTKAINi)T A&~\KM1 t M44espSQ;ě vSrQZud2*H$/bJxY7tlT"z=ogWYsGdT9T Ybg2\L}mM{U3]XɍYX7rnlھ VPA }Pj9 [An L /1&os5IW}pTYCjNղ`ϸT<;9u1%TVuq'r zX.eŲ{|۠mk `i 4}\ڋl-ZAXӬ»e[ad"WHAtۓ˻gd\rMT܃ v` @dgBOCtͨ#0&1{N 1 qKNjCd=R&DBBNv̄߀Nj%V>r>pq8sDQ[auxRWc;b!'mĿCG)uy /ѯPRާxdD{xHHzx$Scb֞|) /a N4aMW5+ʪCsk|za@Dv\w[RG0xN.eonψIXMBNPH=k;]S! `Br c&e)DVeI˧}6?2o4r,mCD8Nm|b~0o&8'L:e[+`G-V<`wCR:4,b[os]n[T:-q3-t РBqw粲yl  l}#IRmA\R@SE a'a0ml,SXZ;x7CZn.o\ ƄȤZgj sV[3ב/+{ @btl dl JkܨgC;=Xr +a!ܗ.Kf5>β$@Ԓ1ʰؖFC;2,G@*I/cF<[\u3WjaQuq yf8\W츥[iMSܟ&`_X%NcCGsjGyg[Wwִ -fd?^|{ƴ s+F ݭIЄOR^V_@px Sv%tLsw@,9bt7=Oȧ-wUYK. `9b4}J(j,ESU_$WrA-R"C=o7u[0XkJie@cd"Qtw`-s-.T҈TUs1ю$e+H`r9- ֶ}YyL͌."IRr/BGZއH< QU] Ig>uɋ0T51DMRA^fK W+UM@4,:e)\S~Xhrr! 2v`Iq&-@hC,+pͼ uU]=3rHe$; a6N{IO9L!-RE zqE^rJd/!R1Uh]k0@$e1&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'e3A`_c>m$2ND/)b_m0ro]91ؿc^ z9ob_ x䞹·gL[gv8}HW֋hô*YyS&k$Z-gfXJBP4Ymj. %fHKHV7V@Mk`d}:sSVe赲_vrѱ/Qfh'`?Etȿ9Z6(PH1W߯sB-Nj&я?/?*.Y[m$;tn\Xڥ8 & ݣ|ņx(^/7s= ʹ?kn0Qlg\$>HRU^OLPsh6 ъɍy=G롵 ei}ru! 4˨y\ Q8+;OVFhn R8vn>]~& ž)~A2E@G?9$Gv2klSօvݓᚄ]"5$j0 ^X֊ۜ炕h o5YDJ/"ii5%LJ{]lH1zmM"QCd̄8s&V<30*yZnPx߆ihSTۑhd'D7Mzs XXXLqnǺfkfo~uaFذ~8lU犯(Ku6<`.;1}C8Dqқ d_h `Yܑ1=: w@hD9n.e%v&jw f߿Whx17S1dܭ'AwyL@YEq!>-jvO1G'vǐfCI gIŁl}B*nHY\_sQrvÝFHi`B71gaÇH OB:abH>LK2ؿ3.QJ,L<Q=oU9ќR[ߖ8:U1ZErpߺt6kFH3Jw9Vb]4v?cNgleN/.`޽з4M"_.G;\0P*RoY|Ds2GPVu8w֔v&1d6++z,L2F R;{ ^AN'lDEf ^ēGuzD=r:|-T""jq`t4#Uvq;{%%圡lyBd'_ַVʂ NIx8Z]!k<ԑ3WRh~vI%6bfk Y %ޭWN=cg'Ā=#-.`TcjYE%5_j s̭@Vx Qn"T˱<+~D#F2ym~}d?0bf d.ctj񋅭vB5G.i,84UyϾ_ ~rGh;3kA:4Qkrfm3~1{=-OYEk]эxitX[Tc@ȶRYWLd ~LAUGbD-!hҁ,qO)ՆCnK(OzζuaRSIT+x@*}(TEA'?8@^ď4Xz, Aݝeb!z{p[,}P8mrq{khɊ?Ż cbK.BڈKv2ނPK6kw:73<}" `0հd(8rTv`6 z'Zd==/_Ueى (X,LP\d/!{mČ׍ }jg ΂YV岵syT($ _2k=h  E24fHwBœ;Km{,|O?I쾚K)2^݄jofGN^pz*?~UeL=A^4Tb p =d D/Ҽf7g?VFICXbBqA]i{ 67e^,-soIͯlRNċRj?* Ss4fxh#|ܢQ91˂"o-һnה^QFxs85Q~|yqgV-Y TlW.kɦ߫ȐQg09d ' %:IGxk'8h5ƟK>,`MbW<"n]*^se Ѓ8hXW_WBN,ɟCjٖ'9L)T=mLn\uԩp;"ъmJU%zwFG3؄le/翜u9͛զaRRL$MȋCRE:tO30A  .{ПU,J&pY^5O?hUhޱp9/S)Zvf4^+u#_}M-v+&-Py5J}6JB80 > ?!jgJ:b}G7R$$h̼~Xs,?Z7>>zk/# V Ȳʳ@}GϹcж˓|aܿiWl@%3wt|2^9<7=й(rC\exdďݫB58kMzq!>ӶN+_iUgr ͖+M(T}=2GCzKgL ZF9VDx[lFpFrf)^AsdvxσRTOO"jĝOi6.fbӏ'*o=2$Ӫ Sbt,},1 L|ӣS%4?kO3dl꓅Yї䕞O/סr m5okq<i+M8[H9/^GQġ ko"2R+ߝ9m.d, Ĺ~];̝ JƾTrH{v"S n"sqOÙem [mntw3纽!,q y؞pW nj]K{%t TmJo" 0$T',:Y8HuR:xBJĩ#9ѢE̢j锍nQ4y39 B$~734!$@ܒ8Gw:jrL4X^}~$ {R_,ʓx`rrJdO%A(IH seKe;ajY:(_#qL=H͝័$9iF2$l4 2q"h 0v<Ķ`%ȥm %5uI%sFlxxqL ^|SoYLq)4*žfsBʢRqS8T mbtWø-|yac$JՊK@-Lwdž09c #rv//2bPI^pTROXtV.q,jUUt֝Xt!48\ƶJk}@|k|`M1dB)L_:<.p 5tm{ X/* `/IZ* dſk0jS'USԽ?'\M}CijxC`B솜 ]S1n/wVB!OkV@M\:cf:!:&S9 Y.F 㠴inߍF2Ru#e3QVhQC?9Rk+~*Kɐ :1$u ErvC\p#=ofQiHmP]F:xEa`oayO*nAݗ9=$Ι8H9N骕7QkOzҤ#TrtgoEk{vf gEޜ'W!YLc Wb<8$c|ND|(|0ms3<9!|l ௑+]sqs†_ƹA:PH!CHd2b6a<1S tϙkX~?p=t:;/Z}*c*Z .ǒIƨ0ʻ 5F]*!k&#-TM/+ 2>Pa)9R蹿a]D#=~Q iI_*8ZQL8NQ<RWHE{L . | d-Ûտ7D9h^pG$FТF#|)~ۣBf?=#wnE,s7X9`W#ih @sEW9ր(PS:ӈ)+Q'7OW>1ca@2ū-Ϩder%i:ɨ9[Lօ3필wGr׃ `w rGذhwsF譎}uF;ܔ2QK=tҺnP1?:Bɥfozޓ2 u.v:ۤP"u(׈Z2VEeupZ#grZۻHSt .ۃfn %bsAHڹZcJMXWeLM[dc`ۍb_\W #fЃ'Ej<&9/ٟGsW2JW:SLXo H ku֤zTО=CH;%G)@ &i w6{>z12LEs\06SЉ&<8De5ʶ>԰u>1#&Cd"ץF:@Yu+bl;0ӭ+ R&z̃7g5Q0?#R4n-Ak6 uX#ˬGڭlfM2%8 Csrf \ RTpO܇ѩhh+`iOZiW,GΪE@v) G(Ű5u  ADљ ތˁ>}F ?\9 nHM+?A~ Xdgi 4ּb'v Yu}y?̰v̸*({| XR S o, š<.eΧ >f7hQ]'滹ۖuH#u'w Qpo.ĄW6z{?َCdR3Ҭ_ {s':abf"FIgR+!d^L &ٵ-˭- <gZix^,3&:JK1/{M&>=#AN=]ukФ?K)G勄&Z9R4 aCHU9Z@0J.>|%x(!lෑKܢ/d ;YQv q|@,}bMH7˟BZs*8T/~c/mX wR VV * /~7`ge?RW7f.CT<_{r~D{Ÿk.قc88BH2m}@%GrPoK%nA#5_9|O% Np .GÇ {Dja%R^ 5g<# %$-Ob;%F3q2 z5syd| ՛D{]jU h5b4`F+lB+f|j Hny5*(CV:(?q ^F֬0yDo~P6l_ @/09jR] ׫UkFrp%>3p, k T35G)Y0i6Jf5Fx`p FK[<4D˴:,JeeTtdĈ1j~FGӖM@-?x"[@蒓] mAϷC_ s yY*jx^Q9݀T}c%j;˨XiGޱ^,ha[b\_el\Ss | L Qc+nWqDNrv .ΎT=]W5q kXo| .'q Ui+(ČEC ,W+Dlܶ[X鶯)E[-W [Vjpj@ڥY+Ɨ&viFuOa7=/9^֜lb92e:^l&Z7ђ R-Wlf#.uEDy&IdK d+d~E'n55) х`W i@ʟ,u6d6Aw: e ʥgn} ?'g~ ӣ7WӬ>9VʯJw$|n:5C[#dVbBORw:zK5O\`AfƓ]B yYBǍ~}ˏPũ[~8t ۛ;UlInrhQؼ_apn,qӡS(/\AxH uDLJcUA}PIr5B 80"'vڏHQH1|;UU>5aqqF ؼ@H$lOF *:JB7x\u d Hν9iBTI?86cp R(lߢ>n'`xC[R`3 WdrՍhk9RI[v(m<_ `yJ[eXgQ-nǨ)Qi<}`ۍ C,CV+{䭜#1nh,hH9̴01ͼ7,"#U%4R@+[lNt]vYB$EBʱ[ ^n1G eNC\HlaW_٫K=J)gD)W{ rGƂHgnM:կkBHqDX ze,A/` -ߠȯ;q# `YoVLb Adc )}=6iiS!B=-ȡ C,y)~!\/,G#N@c6FZlc#?, x8vH-oUzԒ\.;4u{@mb Ee,9< Q[vB@U-2'RMxy]*_p>C^{z3"S 02-h8V"HkXdc.Moo*. DUm  G@0ڰDV \M̮,q gzUcKlki꾬se,>'*< Β+FɇB}R0ḅ74ڧN qzYŷǥ®3+aȊzNwF-@m"NSh켚hkл4!rz 7ɷdDٗ'zU'baNt[Qn+`^}CuV/yn<%f: !?x%\@ $0?ZboD]lr#7\V2Ze@)j eةP֞Q3E"0BY2f]}Y ԔuY3C yF}IV}WH#? ?vI&qpnf}O0b;z_u{hg8uI_N!ZN?pA.nZ4wAq(nv(Ze(˴;"P~4+`U .؞{(+؆wK:jZ Z5~j.A_-UߚKGȶ.(Y27g^%Ō_lr1`uMt.&bWd`t9f>(#͓q[3!Af; F.ÿa8,M1hZt qGr=5Q$l76gVe17PRGh uNߐ ,LFDeGmKn@!W |T *( J[7W; Nvp3a)WK5:#Ce`mˑ+xiim:.:XW&ٽv"˔gUd:d#gF\~Ѳ+q*Jffy@48.I,t^ݍZZ̄]Gd#b'ŠQ]gdf4K,2UwX5` o#ch-5nRi~N5+ 7-ԤIAa+N I=0*n}IfrO?=(/M6p%I|p7$;7ωXUj&QvMYu /I"w\@)~I cy>΀ؼۜ6L 'B Ol;s#" {ↅQF^0Y=exk4mu6:<5G"QWƺ딁B[l8e$0ϲz`Va=941np޿2(oU"EVLO8^ՖMw* ;XY ʲb=hZMx9%VF^Ec?|= FUk@䚌_1},^1z0I?V:fzUH08=(ln=`?fK\Lφf.ϫ6k(7x5 z!ӄ)AԄ+6 ڧ1"fYn?}S33%b0?&iAMHQBu3 ^}f3Z$(:x2-U,n*Bh8oMec$#y}V_zLp  sKwa=2AօbԈ__Ex]"tF[x~5X;>?]uK2Q3Ǎi>/ړ6ljSCzl;S];ۗ?B)DV03*-+,C#&Zu} 8[P,Y8 zFs\AfJ٢SA -E_qJ>X%gQc*/~ExD>ۖ R^{tp(ĆKU#9"1!ĜgFKSMNSn':>6G_+W]nd(XFҝp>v(h$.0FC….nC#LHXc㳙iQ7\Ʒ.%DhX+'_!Ē+W~ p=LjG +Hs&0zK!̛ 3K1εֲ?&;7> yY~u9;1B< i<2O bMC1sSv6!m22uGK oYSpw0Y2E!ujGAq*Ӕ~tm1Z$=u8_Rfkr.(RTF%4A!u̬JoԘW+v'-l0m9^p+ C4y;X޾*3+E^mtvzP_ D_Hՠh7 !NK*'/nK=VPZ(rt\eSU/^_fm A94C"oOΔ)[1 n42M8a͎^jC:33X)䖃ۃcٔQH,,\6w8s^-kxF@1aj:s`Jdc\Q₞Joe}`ObAO3leS޸%Ag_t~ Zvrhw(F ָEvM:6fhI6uibPBV>_KDuft,lm?"T.]U&xKxW&̸^7~4X6B dwKW:5H-3&p@?7&Ӆe g\8zWu {9!Y]bXuWY,,C_O@Oy^0ƛ V!*+ynGi\۝G m9"#}2y~6_/Z˞2pK $tPKbVg,1T'/^0fb `Zm{sɉ_oE a|O;ͩ?T&,IuGصBe3 ̸HVh9:"9-:|Ǹ7a, W@.k^I^ZfKϼE#&_i@6Ȧ/Yp{c&YU2KHB"Qmv/#PDO>3WRX-!E0{5=ZZ΍e'VY0oZ\Fu;5/Sx{oqH6&ޟLv%)Zh޸HW v=eݑL$cl 6%n5~&M4Q'0JZx`{o4$sVS7zHx9k:BޠYՠ&G<;2ҏ6hʸ< b-L̮%_[φòGc4G; ד3,?SWҞj‘v!}[WIikVojb0N&@Un "Xq-=hvRXa[8-~m1u\H rEF02r{@U0׏ʞd|7t[Ѷ= &k~>Auﭢw k(Y ^pjH0< #Zp6 n"m^.H%U 3uԜFh/ a>EHnLa磺zme )D!Iܸ&rZ AgH@=}# bo3@36 y*XTEo)mjF#6}P~-E1B=TP0J=E(r'ނ]Aѩ}sŀW΀=l/ zs}/+fnkYu[|SEF[~ro,KTp&3np % CR"3drv~d3A`㝾d嫋L$,ĺ=9h /S)ȪA{iJlu=hc'(>I2v,U|J5у3yH{~|d$ YP?vEYrWZ9j2Մ)u 2?QX1=8QQv5(sP߬4>E ^1YJP^ $@71(6oH٬kG_ ąXfxXQRYd:u-JgMiP<{ߺOS?e);~(_\$0eކ _<6UV^F?U6EP˸-0>pnX&"yHv7͝Ӵ5LAU"?EW}\`v.zNue:eE6`%8+]4F\˴ŗ{]Yir5Ȏ D3{ٜJdǵ t *]f1TpGsLEnzsϛjQ.)#l)B, :Gy/uەJaכ!#!A qnfjn88i+ZmQbGa|o%ܭӰͫ؞ArHn13%j?7=r0{MÎ IZó w>RI&}$Qnv[H(JelG+qLO']zxK=#g8SjᗙBA@Qjmߤ%ojNΕ7?y&AKm;B1|ԅaF/"~ 8Z[ڞ9J OF)௲FJ:%7^kK ŷ.:O³jv񡵷&4A? kk҈p'=ZI~fqDž {י S?ᯂ6\TْQ7,ѯF 3Zëm,X~zL~ewsF4jo?T}ϢL*8޵Yƴ7X\Jmƨ{nghX{Y4-}tgO݅(ȩSa;1'kN6i(Jt3^:'=^U~N{r|m'bd3uʺt#L| ;}`è+eCu|µy?^粢ii hb7\ yPEʚj+4BLͩ IZ!i!:sӕ #))xC ^W{!Nr _ :syKEE*A]3\")%gQ]P w".%y.\*Lq kf !q.&wEt@߬2HbzrMޠa[Fb .bTtEʧOc%Η( CV)F@8,keI)`LQ$YDłN䆢 ԧ%P]r7~5;4z&p$!%m4"ݙO :u\^#hA̸Ԭc۩ u <j3UJk(s毀8m.sfK鹙3 ֬rw_qTi525 6՟)Nk|dSXk&m_X;a__ML=Qp IgX:7-6;b,Ȫ|r{b}ILR.%Q!VCN<3||7'hd@l'"=GIኜ0IF*p8.cTUxhKxyU`jO4fmt\P4!K+6R`ċ1KUețxq(2.ȳNf)K2Q:s~]#[3XYRF~CV_C S uCLYIuZT~2K\K;:zCH) lf6p^,t$NGF~4 PEb g nc1:-F408;iV%hDƺJӶV/z;XTUJԑd& jpoj1j,cͧ'́:Mg9Y  *MN;4$4p}`h/Cޘ(&v9ˣS/v694-AOuvҿ`Rg:nI\|Z{?S<)un@accঽ$^Mǿ5cM*-bsV㶸1 0x(I,S`) VmU_#> -k9nr_nEZ','ˆա+G*Ssze}%&ZNtZqa9B)r^x,HZѕ S炏 {6EUCZhtrb~@7qfCS֯}&z7F)p͟$iRcWG{^u`0`Ze#>J#J7T{6i6EK >gYZ {qk{F&/A# HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! ] !M젗OFK?Ie6,@AJ~.e7*SF*'ӛww+_[lJ.u۝df!g0cN.x6YiJhcff  f4V S&"^c7/1fI\z:oS%g?M#!N'0NVSw/p N`›T$hߔyC8?:#  {2w>ȧKI'p*U{~$'$sMSo)0INf20FU!vl7Y^R4U6N{ڂ nf&ؖ\DbfCS'!ADX.[y/}A|,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' $HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$b1<~iw`+Rjyb@-C\mt MO(O%GZX!V` }YLe;іgԏJݍSulATHL`k??=KBa ޺&ZvgcV736}OsG{ +މ!MD"+Xx;4ƼMt2Gb? 5l*4)(MQh"lfTLn~zJ KR&(p|]wև#?<4PN"~`OKTwmas/5:S˂#|`b JeuD$ Zܡ3{h&:% iq{ W:_ P?z{#"(d:3fmL:UgS[*dڤ ;P>IJdhQp0?1qiqN}`OsSOP/VDL{iטEy9Q]?\ ӺXY\OzfJEίUPߎ;dнm B|T; `4"-~MVvz:<&RS0jDnMx:œ^.~HW*e $ A}Pfaת[Zl7m=%_a_"ۧnϏh7(p(Ƈ%5c!o9 yC.bN÷--/IU\iKv^O\WbT^gI5Lj1%Dj{0/o€Oeh/[lDjvtcm΄,cb թ7ΕILYܣ_X:GC!w\xMxNCN wK=߽$7XWOrw@(\΂֓PTV2R.|wKa^$ p ɱ!HIKWжCYIJ;DKv 0`5C%/Х-7Gqj36݃FF7E=W 4^ǑJ6'` gс CvEn-z<2r|Z=LPdqPy8hW{jT)a]@|sÿMg/ NJp5Foˑ1=HYxv[e,Fq.eAݪmƹiƲ:ĚHL vz΍(j/Hup5ek'pپN$9ç{֯j:1m0dˏ1d5ݬH algq VĘ 5fAWI*a(yE(w\W6_ +fȄߛ7 bi =n70' Ak}019})b|ߤ&}ضgA~̷vĝ3 0"h<"!/'Ɗ0{4}p/pjɗ|ơs%(.zj^TTMex9rϝIZ@>FSo+ulrZ*D祘-MaaGzMiWYp˩79 `!,gcR?|V(;K^л`j?|~7_X8M^tuZ.OeNISbS2hu憿PE&gJ>+$1|_WO)Gk/!Zќ9YqfU7%Ys l-QIVK8N-?k~@PPZ`0ʠY 633qo"z!L#->n{aZ}GK%A =90(׀%/jJ5UF:q{N0efQȓkڥn`mtX"g)@C3At%Ϻ<NV; P;f }c|z\;ORX]0U!ԁQ~jR00tHQ0Af@B a M6%Zt-1ݳK>_,S/]``E2Rf$XMwd8"b$ x:L!őj_jO 5Ͽ YAXBFƵ,zh#_+JD+IvȋrhPa[|l\O†R'~$Ff?(?[5rO6؉mh vDRy aA=|C؞>(HaZ *f)MDaQhv&9$a%?)%t|y}#ZŅIoL"y%-\ݲ ZF&Rj円L,bGq,Ň+o82KMd}kGDMPt%Dn`窱b67娡svB\RcYgژd|2 ` 9APm?t1kz؈HcUw_~aӶyQfX9rM!IN2|7DTy=6"Iـ|Mf[qgIqHA &pgYZmq(09ׁlgGAx c.qtI~GF6kzEˀ6kN <%]aٓx3_|x&z[B}] :gv D#lucTۋ985Kcd/T\P:b"_D&T@ nPA}+ݭps}|\C![JvN.Zb&4ILS:~`kڹuKtHc0SΨ񅐉dŕ`VmdrXK?=T1;)},qrS$Ls&].2a S8EUpey6 [j(OkM2NJf[%"#0%2+HW4vގ CwaB9=m HRɹWa{*K/@W52 S0 NC g>t&>N.Bѥ᢯eNŐG".4X{m9 :}ҟ$Ow6 S}2:y@*gjJ{a,_/1yngT<|c\7B tR mYz+Jj9X^C0klSs6ߢؐ pz_0b_dw6aAs.W`hbM0y;A8r;Qz<E'Jp [),Ğ]W}B^vh 0Z6f9/Gq5~B^8wvጎD'4WR>Vj稧t[ܖuGf⧚2P&B[Y ȵ3AZ!&@kkV*/*0Zu$+|FNJ͸GG; 09 [R/+9<[^9YwI &<$ߜrJaF(zy+6'J~ d8DBtE}fx@sUPV%rtݰ.§  F.r/,,+x17ۍG=IK4xC:%JU`=Ԭ >2 ٙ·t$m[_QŐqs]_p@IԪH)Pt} ϿF/.͐"Vk2U K.85)$!YIBH6U<.W6~ÚTFlktW_hKQGvlLt#O.J,x񪶒tF} 񟢿mHZ2yU E%60m#I9>t VS8RĕFf.mi(S.ǽ5F:G8[/]U_jQ 95@"s,f'Ϡ1~ET\3.Sfi d0e_Qr?X՟Gd2Hݻ*d^(׶gr]d+t M6>GŁ[)2>{pR:ZpOp⏄w•6ŅuXr3k G+~{*T:sK/m x-3".Φdv<1F]V[5ˢ9"p̶wO7"t>BLZ}9%B(+{?+.l3u$1?;Pzd{AX/QϨAD]-Ss6fw.JS ̬"g |-XJ1[`#K*qv%+isyYa [Ntf'L {S>OQ lm)#q#[8RU)p-x=\EsiD\|;@xW#(@C] t / C3ƕ$Gɺs(M4 !. xu" cH{\ PKЈw85y7~Ԑw>MWK>NrlEGPpj/8- VfM3G ?e._Ӆ1D< % ==.ߵ'aCݏ9aәskN%Y.C)&%ΩJm tu웯c<:T79YXpfZ{~0 E#@BaS~"M4na+oMK+ t1OYO(͕/zLW}vYSA@nMQǷ+wu69-ռsI":;єwR>gZnϒa3AUXO!y63BKhgrEӋH8k~*s7`d"Q$z`wrZknH;ʀ[NQ6N@:|PK:?ȨFr G]JФ6& mA4Λ~!h^,Q1H?S"!`j5wVy.z#l7x/32#oqDaP^J`T)bA>JA#s \}#\via/zڪ׷V+-'~#1YnAc= Y (pST Gx RyζyhOck{8YucK ]9֊r=g>hݟ0GR|Y%L;u*eYLTٴ$ Bj`(l>7T.c7o&V,l92~P5Ş?]uүZdwVoN4if(Dv}6B+]"pړ|:Tcjs (m'*/jGs_6V܃hn}9N1jwYYlPL'Ar1~X z6}n0U$"*~1/< W^Uk.YJhnEe*黕2ťؠh:j`-/PxT@y?"Δ{"J-V†q2U[`G5"`BZ73įAiki  1gLtc"?M:y`o=PpȐxks~+aPV17b[腯 &d'֪xZz/@ݠ~@ؽd^,pFPԚʛ)N%ZPdjQ*l%gOxv[GtcT+78 4f|1:L MӅκ]xnLi(=0! gYZ  ( z 5 [Vc0/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'%"llP(G?c-lqٮ T[zRJ/!1+ECe^)9\|A$FELliIY|`S죱Rd\ FbHW\Bɲ> !zo/E^.ϖYaA=//f_\?7]~ɠLuEޓˮd2)s->G)P,7#C20`3?o1LSq/qؤ C[KдHIfXgYk<2ti|=L 89avW~HW ]BM%F%uB9|դ~y& >9e bO믮V+i"(& 2gz /gvFٝ *݉Gx͹ԘT`Wظ[\"~-{o{`l >)t?x jK7ks &$74:ԏ5q(*s;K$GgCxu`  \Q`gYZp-/=# tHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! ] !M젗OFK?Ie6,@A󮈉`u72X{dI,=l kcI#j/"ƨHFӋl~j D29QWTfQ?ϭ%-jΉV$˨]H¡ʗg`˃f.`CѤ79D[]bF$[&U 5R˯>s0a1}+LI VTAd0|WF$\ldjbMd@y!%]VRuiyBly|#p} ksOu N;oo]|LL׊ \Dsn۵~흧cOD8SJ.[;(QcٿU;q/,!2n =wg1*1 W) /ڨeJ.zǮ'ls TysAcv<7QeمЫXRu;z|xGIjhrGS- MWMάpr؆3A2+ũuƏ6LgX UHO0Lp' 1[P2Q%.vp8 !&"!.9\5 '˲wr] Oÿ2@D[ϧ7qw%/],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208#*/C# THOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! "] !M젗OFK?Ie6,@A`)%Zfai_1[9S0khIx駷mJyyn\=WʉXf}~KW/OsN08򡲇BD-[Y /%= e!7Q_V\}TNJ.A=42Ş .4$:k1Ui&+PYr\] _Ә/:6L*?K(LƱGXڤzڏ3:߀tv >:a,!JxЎ'fDѲAKb jW g*wL1md׵3Ԝ76l\{&7wKI2&x` ݑ<Ȁs=ˮk/mk}={[faS4 |8]7ZԊg `ݔ;i]WVv+}UƱ?(._s+[hbp<7zpcO(/lu0ݑăE3:?n? W-̟HyWw ́/5FR"Tấы+.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έ9ܬrc%":R0 7krw )iAu!PdkrS/\;Jsg7:`J~W%2*#B\ڏsҵъ@ gNeH#s!F ϏYE{hJBSF8j˚6(?_%Y8Co:s~isUV:=ϳ_g٪[";fB<?!]{ȬHx# LXP+,Ȇ`ppy)N O1ȉ@ϽxVN>k3q%'φ^r 4ËL?imˀ+>Ev=K0Ԡ!|#wjW弚q!tVК?h#E5ΔRܦj,V %3T0qJe"YKZ'| !  EJ$|}n/ n&(3%nw %fBM:V.q>vO2;Ɇ m۔({ Wx%n.|۔Pȭ"Oז i:+ ڋXM csfe]]ɇ,m<B]&r~sWM-goҘև|.JSٍtQn`%Trֺa$H&€VpUTf}nd )PRA J,Ԩm؉mRETlxx* 8NJ;#6sU=4޻LB<ԤX'1ȼ Lf=QR_Mɏ[~SA%< xSW%̶I*a&?Gy9:,'ٌF1L1ǩnVvP]V&FDp|{#FF 0]-ރS@D$UQ2dOn{h*RC^5q |[si /5E}So/r]#"?2rNbpw#mU5yr\>|2]Cھb=DwPmg#+ÚWNrTO@g~)3r{JDtgˤ+G䚚wi2ԥ"uIh X4I T(hUқSҋ<׆˚V\:`Nx iGdʏyXNdwL2R{Q B̮ 30Tk'ҩPRmUq ~D"FvZj@xaŪ&i|)VB&~V` zj/wsMK~$y(I@'CFmeV9Q™l]Pt5CP}^e-E"P@\ge`)70Ee/<3Xcy`|[By\sP*F*S[M}ohk.Y#㱀7nwkyC "^>Ճ,ڜcϨH@: fz۝-`z(HD2Yt8ΧI$]rIh.$c#Gzݲw$z(j8S!xAI_];*@0׎ieN ihl<)V=-A3Wn}6-7˨eIn47$WS.v^dICŊJ"vفw8n- 4HAN ,h-+< XZH=i:n|/[PM3U6 ss9WviwGF-$ϖudߙc<%~)xr3HVA684]9Qȸ}SmJM-/+}4\U2=5&_:M j^k3ն2FJ>CmFCa\)/̺x%6=DB"s0AmbCp+Ş$qͳ_}<lځ*d/Kv5=TUħ\NB%\L'"O4\Ic)xtmԞqb}]IK}EaDs%;ݔ3BSH::sTf۵NW- g~;γ>Jn~GJ<@ $fvWXMGt;QM.V"A»&L76h?!紓ϥCu{Czv 'EkSe{QR|IT}>G%8}NJEt3BkH9blgBnH?$)v7by C_4N6NusBã Mf.(-T<+f׼mϠ\ڗ'$ˤ֭4KB[Is# C$Jz0v[mSbxo?V Z1X~̐Gy 'OH6RcTAڣLs{X*;%Hd܌:tQ.`ʩ͜]X3uLr6WR =lWy0ԄAfӋ,?.KdBD7%"17e[pt[#S?PK2ceٖ m1>M; OlDvޡFO^)v'z yu0Gԅ;A&Aei3d1%0c *?}X9@/#~A"5QJ `w |$x4YklsK%? YaܤagWAE_@dxwpyӍlU0]yo/&U'kqA 3$@VmNU4̡u⟓y*e *Ekd}0"i p)b@Cxx /Z~ 7m$KxagYZt"V%9ݭAk[P [XCт{TY-\ d};㛘WMAc8+?*@#sI;6п$|PH2ݘ~$N`6`B*D]8֔+hJMk{HLlDlY)+62惜n cRɢ(a)]tU%yx  P:_.*}`7<(カƘ+J}"(3G|n`Uk*HŻ& pgwU.L g8?}0f+4 lX-8A@66"v {c >]J{'V r4/W91S2"AB^?ג8HRs7!td;x gا.,?E'9}%hEtaDa!蓇%T,BS֏_o:0w(*m'IlB3S}1+(Vh(+նM4 %Z$8Rԕ:a' ZL۾^ F?=?`_|-b腂U"ӛ[3*ǡ7w|ק@ xÔ(a]Dsu[q7zR%3lx(Sq8xˁF'FvJl|y"F >8J%W|-< W?~,{$a+& VY0[%g qRr44&EJa+҆z3 Rňcc*F{Jq6;FB9!plb`7ӁSc >օwf˧DhTy'.KdwfQ?5͕5N\STf.|#y1'y5W;t7QGT]RzxtZNG[fY%Sq`L1'|;Q7"UJ1.=U@A2B&5]By5ۺx|+q38G2Պ1r^;qeU{rRh9m&f4 8h_nJ]ZB0d/UEo?ù5ܶ[x;̧T|S!yIF~ ĀGx[v=&u*z5/_yÈ&-0-X{.x'{[܈*=+ӫuPf5 hՙ mïZgx4@!nu2.XZ@n;a֝]?䢄.,q#s^v@4z鉽~Pv:{IЬ!UZ1Wz<{\K:gE}7< >`nknb%u؞g[ 3 2>ݳDX:/#5 CGy[ no5NTQgs$Hy[ULX6ɻ8g\buJAL-J&WH"M]=!"u)8wsku"q=rw+Z'9aBo]*cãiGI/֧ț_ǏY샚BCj (-FIuͯ+3YJ>i8(h" YSˊ"x݂Y.Hق!x+J_M/{φ1M%sbxy\ʓGZ!f~xޛ= kG(Ƣ+ utk:RqSV]o{"'o̬n.bAX w\ &vE/[΂#I)a6H`]#1n_c^egyQ)->.t|QV#2UF5%C ܵ++lESvvrGcBO/']nU:'ZgSwixL-۾k tU@;.FW3f&[f*{]9>KAD%VtG| !nк&5g"J詡[oNgfr{.y4¢*bW+".Z0}c fsJev G>صJpVJHcυ]Cp!Rkσ^azxdBPXKPmItG:~h]lR.%Ʋ#9nqbMLlr%B HH]C/@[چ{ulrW),Hc!qd#N,h=$WeSc'V]Ww-y n]|a9B"FajƂ>EE |פa!>`ۦզTsηnJ$ e;_Ff@$ʙn:T9\<\Q+@BU#=͢mR+GMk 7tlc DWk3/ڄT w$ʸ8|7UZS/8$RSwJ.j$xf~ÄHh]ԍxx)PMhӢ5hC(ҰD>?m7@?i߽帺4$A${+>23^lyLJ[+ZWb]@*ě!Appma,$wxO{Vn~O2:Vj& ̝-"ytr_T&YevgYZ^E{eAȄxC/t0[w ^W+ٮQmdTQU1yO/, WI^x 0 /8c:f(*p Mpu߶DyyȐy4?Du=M,.SMuTȳz$ojUvT2xv!*gn}y-My괩Vcr؂UEk'o vi 7h'[,!} _nUymqΤ"6qKRܲ3}~tkv8A66`̝$*os78_7?f9܎UC ]R,tO˵Duh^F?V`mkTM.%{'JKV[0eQOK6ȟ ~q}r GD ~4! q]o]9jM2|^#oWFMcM@Ftz0{"&y9Lw[V UBr3QyeBiy݊+c sK$ ÉH:scD_FKSxb:q?mhLVS'lvS{tS#{仸(`i1%NԣqBgD, sEx@-Xeym̄[_aXb <^ՖP+}9Uoi;RC4MXƲ-մAS/#~/3'B)Hʺ m*[ /)0AT3n 1ɣA11O} _:PC)[(&H6J7O@d 6Aoԓ̓ע7gP1|`.C=ԫ6E_CՍq~17sn0ݣ6K=Ck=4Q}P-\ S6?#.9i;g 3--_;<*Ͱ,-1=t_0wiEvkHO]sz 9Qk8K:]=~gu>r dT+IJAmh19y`GJE{%+.3crM匫f})^%8(.a 6h*[TFDmUTZ"E-`Q]؋sT4=L,Vbi!'F|ej#|{V3M1èĵ~UE.Vs')gyIēzj>r coW-/Tq*)eLs}-}sͽFŏ~PtI0Cӿ.''"alme\Z3QSCnC*1*Eդnn} ldKd~I z4̆ uõ,M$&KUlg BVy혷ݤm@mB8IQI׸!hpo}J07<3 e j(hA~p(,ӤYzRpMVoi!K_~jƾ 9eQ*t|cOn;ZO%1<4YC"UMNQVh}j!E5u?tz]} pXm:Hܼrݒα(sB>P'55&6SF.{g z:FMXL&QYW?;jaKdF1+i] 哮EvLk;J~NV<6H.?|(iOwkQDga5N1ZSHMj[%> j] 1m7d## p︄@F#nл_)S3[:Blg%6MTίݿ38Wi{_4hx%>ҋB4PI򂖆3}Tj EYl92g\F#t q4 ; geP" 2[ 5T4,+Y㬓ݦ@WܤN4GgbJ & u1H-׃ GY=;I\rM'*Q-PqT0>H`v. 7 CT~;HDKOML@R|nsydXb\ݢp{F޶$4 ;w#?}E Y\M]NIF2b_){FD]skBb1l#+X4,d~ /wO+^ gۋxJYv>[" h?1%Gx.̡i O.Ca]hpM"!!")BC#IG+Ss! Tr"%)|9ʤTA؂qxreԬu 8WG &cj?Љ[.}hNs̀(&bU*{ER+L|O@iCӏt ,1eYt Nʼ?4454m'-/iEA=`/q7@2L<9Yb~x|huDЕ)VOa}Md̄,̂]!>;!@}F.(a !#:X(Z݄j< 仫W' Ps#N⼀Ж,l*5 ӌ?Ύx4*VaB~5GCX W k/7ul=O |*ev[64\M tC#tYA# ԙ]@`&I8H(ljHi 6@qnjg*YcꑶC_X0}:%=QiB{Gp|BHܕ'Z.YZ+#3uxG,Ĵ~i6A#R[E 0Ћy !JIA)oP ]:ک{?ñLB)j @*?G$(XD!*n˳-3  <# ^PΖ\R@qpfOiw50,fevM 2Ztt50]p#I |N:VXf1B`̩vV9_,TiP=M) 'gYZ  C1/C# HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! Uf] !M젗OFK?;uL2a `BEJ@1׉ i \Ѻn}TmRg.ތnx("6'aQ5P8AA=z%[Hbϙ=fV+ҟ:UJ+.^]QH'98#B ' Xt* ,e^$#_OC>l"KH9 :.#32Q ߕ+h٭`39D݌SҮrr6u5+5Eat'!xYpPtsdmmȻw3"Lj18HUz+ңE6X8f'tL".$Iۀhuz5ލЈ dKzC鈎D݆  IJIpf"Sh:Q wibG6 Ճ9I:{LcFv$RE.HkYW(ZHMNy#ZDKjsCe3(ii$JWHn<WhݶlF^~o9}T,yvks."<vje ҭ3'1Pp<NY]#>zi nNSYF?~:Z򠠜nyU|Fu/@{-C0H|rʻZAo#Q=)r9ba%OFھImÄ~qۉGܔx۠ @ 8$aӁr_?lS52ӅHڽHj,h$1p<"9zFmPO%z_NG#"a7>n){onRB~ i4á?;:7xJi:#J`yζZ p<$ȍo n>a[*=<!eP+}J r؆0 tP1p/Fj[&k%R}2G8 [T|hרI6š%G (c*fZi7j˲f03֝#Fe]3,\3_P:w1pDNa~bKQ=o5-ĸS̶% ;O|P'6,x /aZ_[>"@h_IӐ%l˽US,_o;=tRq(aYy~? No~.:S=65aW+mݵ vprlڅ<8A6]5 w67 ftJ~857עtDg Y{kRj2$` +Ioasl.ctO?b*b zkuLPּV^{Weo^|XpqT D6.s؊n ǰM/t5@TqwX1wdKse+y-ˎ oi5Y7cx. tkOoY9 wAGz@.cĠN:Ӛ_7AGE$?>Z ke) Ϻ3e4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id21892/C' |HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF! 5]Άxʆ5.f-9 rq8H;#ݟ / p.5<'3YWQ0s:=/Y޳4[&qY<DƏ7s O2:()b֥v_P*?T+sEyQ^^'q0"}5܅;rs{a^q?R Dbh9 8S$\j̡D"}{6dgL$b8UM_PlƲ|uN0H^7ɜˌ%zFTnHr'ӥ__5t0gfH]7kFCou% ԐN?(6X"G!j{u,L qe H7+8 EYыzla[/o6a/XփH)x `F=sd(EsD m-V.dxQlJޢX D+]1.BdV2GvPŠ1 hdajW&-Ģ@b>Vh^u W*2"\&>c wLf`llu?vjj Fj]xJ颿q(J "H Tچa#ݑ%.I~;?p)r -͓N\ r!@zMsLA3o$8!loX~doF>Yj=F4kOL0cMqcBE J$v 2/嚭q\Yr=lBK$$Q4JX(LnҮ=m6GK(_%_E79;Ixc5MvvovGdBuoiCbSUǸ g7ѣgoF $)Vt,j@ o{g7hfK.!`Ӌz!Z @jba;wvh?"LdZn2 ӞoHdN2SIJfU%!IT+\ðRl*exZl@/1 7$c\4.#/gX5b!4x=ݰab?tيez j1^|mί+2FVwFJAى](. ]"58LwPN?쭲 ^ Z 3u!>K(LߢQj<ֹ{ mK dל3Dd6Rp@%QwO}k)4Ox=S 0cQt,]-#3ԕҭ_2'qdLP&A5-# ^G: kΠ{rρ/ &hE.EciPwS~gVSĥP46D-ؖY坕 b,.HG8d:a}JX:/b1}or#Aܙae!gʙ . +J6&P*2Zw}IP:~>XY˯Bk{dtk{c20⚆Y'9\ 1=W'2`A9$*cm TUk9>dkC89am3 Qr 3[#6c3q}'/OGS6kblOrی =DVA?, h+7L~Yg&9oWmUf%Uvl %Я48Nʇ缌_1(t$a ԩ*(㝉 h6 |g`DOw9̒@.n뻴ݶifQ5j`6$(imS \b3 U?',é{ַK (ϧbB3HbcwEǖdm3JݧȂKg(6+CLMw}LqEܴL 83>i 1G,H"1vO% S SZ-noy#fpX/(~\;߷f 24";H)d.P?ȕ+W<(;4~kH+/d N͝v퍂Ee1[Q0eX$HO$g&-rҕ2BDmb;rxM";٪4(D2EK[}5)+jHdw1ڀOc5w*_2!.yȥA)pxȅ-&}W]_ay3b t!tP.]S\8̦Lىē& GIK*`dY R>kSћ-gd{+$Bu.# 1CEUi yi(rԍgU`zKh!EXύ⴪9*'I,y` ۽R=Ce/L݋zgYZ4O\g̸J%Ĝcr;\#ZRQwC2"Psb/zrc!KUVgGg$+Z9\GiHpIJ3fWyhwZ Is,c{BXnofno_ p*|ya΋vl1NaʒvoCqT|+YmeҶÑI|8o9L6QEzdT|]\rf;׾- µ#MbR/&M.%fxٛ1$hNRlTs4:x `Zx=#Z=f!>1weh *S>xo-cgN<1ꃩ+A~ zԞ}`dS5ubTddY- yVU#F3 R.PrC8F}MP r+S Ȧ_9""zh:riEj[r[mӪe^f}86V>; ]dO8 XA[kޞ%>|^fp [']qT:8 0nUVS<3O)ksGq^"(nцmq*$[yj^F> za}2ɧiAhmѡd+S=k0vV2Խ< IZrJR!oyXS<Dz= άJB0zpF t%HdRbZg(~2ַq3W E[)@_~<RtЏ'#No`z3!ЁW_wh:9>[K7QBE@i!i/]bG\^^W୊~Ztbs9Iz%ur;3esBi7@R(:K$>2!!i=ѣz"W;-|!3ߕңHBBƮm˚i[Ȁ H+Q~$oQ 6Ol6no]NNj;f>G-ֹk"}"{`;vUaֵYuvx=(m|/>9'a D>\>H~X FsA8GS(8&O}WEbJ\(Tv,D_lplM#س j)DFэL"F6vqƦEIIh ]m;$fODȊ޿}3o Ćd)l%1"||j{;3杹/&Pl`]HLjjMϣXu*Ϣj.bWhcЀѕ|hڳ-x_1ô*ww B4o#$zmk%o&d=j+ӈ%)6[.$v#Ѻ<.3BʤEb\`.v X!mg-ϠfE(롕z<'*X,.ސFRofQD%,y"k6zbQn-{ ;8x#Zl׍:iBf59ڌ/FhpDraCz ]$0w;RFߢ8! It ULviXI ,k Ι8Ε]|&-y6K62!'@z7R_ ko)(YbĶ$O$Zω<I22n묏f#ʞWP{"B7 _Oi/}"ABǤq ΅7'}@<ĦL~+>I^}$ %݉hINi-1ل Vx0RIŃUs.7cL X8qhF(z%2nC1x .22 螶zzP>+\BJ&_(qx['o%YŊk05?|\X)_xN<`yX 2A/teëAh?co^Qy-"`hքAMYպ]"ؾ}8`~K>YN'i5 B?%O>2vԄNSR 7#r#/d_H:(P\{؀- "3hJyG tWiY}QB ]kxV/jJuWq62[}" +t[y~]o HQȰ,3<&Gh5naXXѣ |8n^FR; Lp HKCmW sjXz.:Jehr>yA9AIe?0@d0 ,>z/~ Ѷ{Abfb/ ~b-hGBE6r^֕& 25_4>G KKG5vI?-a,w67#9*9r"pkQ9Ԑ=}Abe/.ܥ9i&𿝇C_/@O"ʱMQA2C! IIZ 97mA X"zJw~+J֗kN^XtZK孊W٘yh:a!ea@о\R\"+TEmHOBͦRL҄iZcL9v똑SwT Bd-CB8OvBʮ+  @B=ju.YkɼP k? ^F06Q2GƘ7lyEC5ݎeKF-0Lo܆D:a Ȭ ?"5^6NIEku ٗ *aĎiwׇ+ :F7Dߡ|Bq:4Ņd6rGvW&/!qhp)dܼHD(MZY wpŒ@R );8fd k؟5e3ᙌyd~-BHm"٤60ԇ ԗ[.4ˌC\̛YxKUJMUKlk7`C6o?_+g gS/NixNx0B4YCӊE|Y.ZR Sy>'#xSf=m "yat=\(.z =ؖR6R4p=8L":dFLLYl/if̓'#BiV;3dcv?;-+Gs^5,"Wqù-`OšuV cG ;DaF3WU7d!BgGmH1FƩ+@cಖY#j+R |yЈؠ'&qa?|^gSIt@=+dʫiu&zhV[c;sTcA:6>Gxb\[,<k^:/PS獄5Y([vن0@T)w120ô:zԬY#3Ţ7 [ !n7BH Αo";j?MBa, C,ٱIbVOΜJ[Ҵe" p#{ Ƣ=PE;qPC3HޫӻE$r. 1N*ȟ$bD' sTd]0mQ7rfy~vt%JJX|\֐O3e?E -g >N.\cDR<-YSYzmf:8sPV)r.!1h|^GwARmc]ڗ_K\ƝCXg=W`/31PoGslKn8LҪ:;gvT;e𾷓0݃x |.,6Cwl,+7"&HJAmϫ4NJ*+чߴ _j>%>[Ы"/-oq|ep.T7:H6@zku>(WJE8Ry2aa07pM+׌I?f ̲̓ew~JylC2(ȉ=R45Q{qG_Fqfj=IoUĤ KgGdœWYr fl.|y7MMЇm?MjV>Ǩ@WU)dk,,@ a7ox.`<x/dzc!-sd3M7dC0l4'KZp$*':0LDO.Mw\?P^G 81p,r7~2;bWo%8 ~A;a&]32(K1gI'Y'B%vGt@T2&J*qEcmT(a jE|Tl7Cm1dKl;΢SrH d2: f.lpE=Ey,0Y94%n}aÿFY!{z-.?RR Opy`:?䉆LJ=XQX$mJ,DrT ˇQӪūb$t vl(fMEx];њ u%צ|: ]HTL|H.Nuk7Ft0|z"Ț3-  K*?ؒiWLɽeҹ˼ KHL˔Tj鞳Y=#}"B*G% μj +5#Fd@җ=Ó%bѭ8"nV-fPŜ,<B2Aa`/+tW6:*Q:ZSA.M#iHKmI?v~}ya̼Ybsg@5sޕ@BPEܲ&%ḕޫY{6U aٛ}lA;[A-FC4Kql\.'!:խ=D0֯`{b$No>jO0WX$F]&^46 ˞qnTU;C5% fy2M&.0P| ΕzuTR&tK6ZÅm9o0R;ھ WH/BRa-9rS?no[V]0jqM9#O&H-]:a%NR:yPÛGtA/PrWy0{6-aʫ~ ~HcAXzt68 z. ]©Oó& 2z[u9{`1qՖּ bwaOP;|8AzB0,K d_CF7W ֫5t y(QBUiCbqU_7dni Q;BH/v$-o>XX="k񺋭;w8XFyD_-]2 )(gVn#jG @81Zc:d`//ߵ!4Fqr~2~GbO[+ ǂK ^l b:]*/w s " a(b&bHܠ} tM1RE~0iSQE`N Ep@z-hJg"pAÐRRAvEqKc&p_T@{%jOA$} "+'WoSZ[N>D]|7,BȒcBَbURg]V${V tR=Gqܐ͆G$Q zih%;2aU(^ʹtAR /r+ܬŎ&եҪ[0oD_p~2#Ehw7{FW;2K:nEgܱgYZ  ? >9 /7# HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup7zXZִF! :C] !M젗OFK?Ie6,@Aۜ&>wY2/9~*ԋR ڽd9t2WJ?bPF~ "]ϥv0zqظXLr+xFȸ FWI$ r"ןɪqFE~֗"}$S-c؇zPw?)"S"`2zTDְdF]ǿl"gpzk*uy9-TQ͑ܮ-3{K5 MhTo(WBښ ie?KIP~uFB2@>> qhY6 G6G@M :6ZKn܄Z FݮdrY#GRU+Gm:Ykkm}e*,6 6y5S![ KoD`!^7ڪ j5FRE1ǵ}>dHjGc8n(&=|c&^PLyBU\ )7ay.#bC mTSᲛS6ϣ.:Ge\ 6ͮeJ e⤶1`#~/L܁쭀!9Eag熹J FBuX>}ҋlÜ2%3Qvf2 eVpN`_')1uqՌ`;֩?kp39> |UJ92cyux\5”I,x., /hƺ&PHwת**@k+!wy#0tl[87аwC~uPpYk*/~95#]FHMBoiQ ##=4SGՋ$=vc ٕﲔډ`"*5Fi&8㮶 ]=&0-SLfO/ǂjĜ@ Tuljԉ2sn @/Ŋl(bhJY]rIxzO?0X,!9h[_aT1 zn3oi*#=RaKƣTYĪT:%9ri sǞ—Tz8ΰ>LM2d&t)|g4#w~۔נE>jje6o*l&1$P֭MQT|eN\+ޡZmUCdilaM2WiImIJH-X_,t"sd51\÷Oc;WT2x}Uj3~!BD@4™_/3^r+κ>+ ݆^C~}r< .BކdTxq5 OuWó$AoJ'̯}krFŒ_B Wp9[E! ;_ r6g!;a7֢mY?" `t:~>ܖg McY-|,kT FͻrR/C^ Uڱ{ GUnqٿcpU(ʎeJY ȨR/a]N[ת'//!?݋HOo1XpDs >~ti<"8>7|I2Z_ n;}o L\ z>JuG]2mg1$Mt1q7Sz%ȍӢzگ{y[E1}W! >|YSKmD  sm\:991l; evl Է`: {BӐ@4MwɦrAhl OX,zȩwp poO8^?z /V_ >OC (B:̛־K}< xU.yIMxhGr2Ep hNxXbj}1gQȓvY}iCZaƣQ}dBXa;h oQ{U|.AeE?đvV"|8-]{}?vW9oj=ӋQRoC&{^R=bs_[3R"pa#ůH 1?eTvk!LIM6/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages7zXZִF! :]Άxʆ5.f-9 rq8HϚ G(öZHTA栓"9A@]k=K %M_S/|uJZg'NF"|`Z >%G]nЀC.rb5 q4쐘&s5qM̄R~P2w$I=R-2x2ڳHi/ ;тdo5%Of Id:iD45AS5u l~MMA!|7َ4Dbx)1'GZTJp^SIDWƅ_2 ua.sc/c*1 Q] ]p>'ܟ G/I[PLely,g 1BiΤh,ȢJuIL,3N61 ,IUoC!t_N[{=L]=AeHM6o? H+1& %Wq 52_H^ l%V vA|* ,bք`MmXl*]co9i=FElӾ܇ah9nzة2V|)a}6h,~ Z+\ ft,FaGjϑ`&`ڛ [^U[hI/z5/,ݦK2 :,BzW nJ{\\=!C\PgYZ7NDQ2 )o p #2ydrfG " 5^ EGnE}Tlt|>dCj!|94=1Ûd@,0ɻ,%&HZ%/rm:9jI4Ex'}u!Zg%pL(^TP\:Ƃ'Ny_pV#8u*|FY*[ >g3p&U muZJ(vx!C*`(C99>:ǯK+ ñJ` Lɥ1,d8=KwAIy NcSAs #@d23c~#m˪|=D=Mtn 0?gRl5AMX= vnk+Ɇ*:|Ǹ7BJ]!?4^ܴσpPT#AwO2E=2d3w$~52/1 W!N489,(2{Hr|«0,6ܴ$<C%1>ͭ4+ף)j>qMT403&E!2ɚ VlbgfqB7{>{+!*:MIoAXU;9M& /*H Ŕ-熉SG𹦎bA8jl ƅ#Hrx%#bHJ l)aF(9bA$a?3_1mx'@||Pj<+|UKPGw+0"v FWvRԭ3HrqGϥ-EM!r:8Fh=[ЗiCf|;$qY)5w噮]Hc5zq  ,QNG4EXby+)n5քM\z F){P#EU>K#&ku~ 'p9ΔMndPloE:;J$;" "ij-\a]⡾G0{)u1M߆i̾atHf$SrNRoH)#[ c).D;+Hⵆ|geH`.-}0U-'~U]^w i, *CBkbo8heՒFD9MFmC&0jt4 2{meSk~6Al(.IbzZz߸<ʣC/dZv_B8o]Y1(3ᢃv&KpN0`˦ךT:1k bI<6Ni$q}WJ^Zh J5d%pµVKuz:qcj3!7Aד°gzU/GqwW'MŁYD $d`dfzHf^bg\BEx;;K;5liN 7:Nď~ RCerb[5\1*_aa;mL>/vKxQ1Lu0E*2:zΙPwzP֣ΞꂘUJG qI;L0VɇJQ݇,ŀcXމkYqoA$'A*qQ/@ - VϬp$΄C</yE9ut8oRV`eg#4ˆPl'33_zhMjzU~,>Vs+:Jt Š ~SEo̰-W[IJ\t|`_8\釪iCKsd̄nj)0XG ?shtd8d"D+2S#z6}-ܠi9?/jFǽk zFiڃݩ[fE2qZhV݆8RfQgqydep5WppiΈ?C(6$pe62W!K$!<vFI !*/:P4Ǔ dȺ_}752ZlvOM_KyȮdaޡb-)t0> enpeDRmXYuX*=NZx|ЦKDkxݡ8ϸ>GM,I,y-ؓ'?e&A_kZuJu}{Vujg0dZ `UP#(uw*f[Si^}𚜮Wb0EL$ϛOYA\^ٖ#U}^ɘ9a9`Ld-YU"G~S4iZSbۘe^z<&I}kBCd(G]PLayg@`ų]%x!xc#S 'DF}[ϡ3|}dzRBԗ]jf/t{3QvW OA\Ob:bG^C&܇]E dZsWΗr o 6|:Os`$/W|*PaM&H}R.20aG=Rk΂#wkSu ٮHLKSӏ hFXL'2ԯ*{CSlX y01%Zm|oʼ^t"1L nC-v[~ځKIE>L`5x&FȑCyZ]JAp聡?ֱ֋K^y䀑ZÊqj-{8.ʹC):+uO2-v$ kKȼ a3T/}9VcQ?%ᒹyT_ñt-‚Gn1jOgvk|$X]k~Qۈ>C@lѿI.99v+nqc ]1bz_TUi%p@7EAD-/з.uL׽HK8.&NսޏQαC&&N~>stv˼gmw} b-_o4ohNV)8Vl &`#'b.y U4h(O&"*Ŏfo 5%q g"|u\x\cR_WTDĿNq}["` d3skڊM$2.MAx W$/|Pt°8R@o(>j.”a\{ Z' $wKc J"M uBE9*rQVY5/I#MP3,8XlYt=~l4V >uq_$!NYLEk_(5LzpȻI9rE{7LXۃH9ْ]βU9}'6B*b1uWwXECNci~zFѾY =u*s'\<O@7Mf_P|m| C\y׹i =;.nBt0E9jSR mѹyp';O܏ԋbg W##,ހYԄג[ @s1oJm-:OIrnBHX.8~/yl>s:o T7!eNXC[}Mk ?b/V E)bZKSӰm:ЄT}LeIhq\}Ծv6v :ȠRrۥc;(ihmyVlMSBXҨ WS({Izz E|tc]k89~:^!W(du |'B9 U~sAqygYk7wO?ϨT$pVX. `/%CAT˖NvήM09FC"1|^0io-jh #1 BY{jT v[K'/19?g)Ap$:|3@=\,OyɎp I-Tv3fFB=#`6Tn$ݞaƠm6 H\z+5 rAioH}oҐuTpN] Ұ^Q+ '˝ɐ ܹy[S sWLcC _j(Kun㬖J1n(YT7 tR%G;תSu6nu&[_*m1~Q9w\y( !cIx50dhv*kTT*,f#_NM >.h#]@?^^agʖ%»zKwYo92f|!X*ïiÉ+LVSa܄KduT1 8zۺwr^0@!8WYl=+ޭFT|̏K\zxӉvW]h );?KOYwiߚ'C6?f1*VU kLJ6r AL+{$ế+kH޵+>z/e> qiM<34x.#ma$1_r\5~4A*޴A/1|4 \&aWQVU4IuQ-%L@@p-!6-mc`>UjaӔ;}iɅ4r& -7 R1AIdG )|tF%](yM@iNsE17J },/\@L1xR~G(Ք#WFEHCd:T&Kb]ќEyPolJNޭ t:n '$kZלF\GwYE7!w( n&d0@͒ } bsZ)LInN[q;ŤwI&mWGPH*-3PtVK8vGYN SMmΈmY(47.vQ,-FYDUGD|L nR_44k^ѦIn-! ɳpOz\I]Am*RX -w¶FH^yiuV0I}s̜KLP>s%&*;8cH5F>nKm)wlLx H\c%wOH?mEɅՇEkUV-=I Ii`m]jB0} z==LYRBtZ}P : ԥ˸Ȟ׾g[- \ ll,_w Aw\V;eLoޛӡ 1 }Gt]7,{]B/$b]FO.CU_صHyFa 6ЌmfbW3{: N}6;Bj4tm9I;t.6l:~V8 C푋 Y [HBfs5vڅ#y_'`NEߌ >(%GYIڕ9 G8n5 /1t`MGlR:;IT@%\\w9@,C7QdCڼ\3+yF %UF/ x<%I>?vUݧ]$^ 2U:茥\/fA|6؁{Md5pF`2]_}K@0;J~rX."N'(J)P%%qkq)F/;^V+]J_RAU jCE[cX1n) - \OboXѸh{F)oCfY+a^gWkxa!VԩE‡6iK=\- ?qJQLp_9z $>ObPmШWwFܚ)¥PaøqG"{{$X'Fg:RTH h<)]+v-yO :M Gű?:&N)c8GS:Z$7'Wmq? !똭ׇe2){:w)FFYZ N_4фu,'ӰJdC6zAKbׯLtB H*с9 ǫ51\TO]eD$2t߿!8(a|b;]Wa\v!Rd&Y}Š9#af`CH ؕ|@;i=w3Z30E Ý>]cԋ=(`#>tskzUV:64+e~KuRKos`yԈgg("ʄu=y ^TK*a ꃤL"pI?O%-6oFuQ?7// ׈4WȃNe±r]onZ1-F|'?<}]:d]32lF5eJ&Kۘ'3Ʌ?SuFB"{JV&Jէf[vj Fdto9 #c^M( *VeWCT+r_J{cBumwbFjhgZ.mdSN#?SG>G Ty] MUpѢ6=r:T&w(E.0WH*J&e>xԇt\uk1@I4羄[k9|6j34 }M<8Ho(wnW[z#@ H\|ԝ m'4R G 4@]VǢsDz[9t2y -z]%+WArЅ-lYr2AyHfפBU;+2ęץ.JQGcX]D6)&O1ރqFQgW3pIltTትw1udXX|Ds[[b(Ts^B" v6H`v07>.$Yk9}'uh{L>mJdPhLG Dc,@ۥ\4$6?m#Mo.+9s(ҥ~Q2Gg:-5J!D_ O(hypB_hfEy!ii \g]~cJ9|X#>Q$4cIoA޳ phwhu[y~pF!"9Q]wk('GC!L"eJSC4h;LA.‹8D]N*K P _,!#Le, =Yc af7/լ|kڇ8ln}qM)uǕS:LɍX.bt嚪%@+x>'kxQE}` hGN\m2&]_Fޞ'bt9bIf̓_C&'LN>vt2#kWˊF }GՑ<͖cͅ]>MR@3>%0XPySܘoʅ&,%]jeOq%<#Q|7Wpz Y㏴nƅH x}DZzĊ Jz9C :on Ģgh)Lu_/KD7O^x"G%`϶&TuE'PVk8hn aX&Hrʵ|Z[Uڸb},qrm, 9=深A%X B欪 d&.&w[%)>yFP8 `3>0kC{'#M |.&pnG;h;W)OD%[ux?սp=]p%]5\]~,x@Y QLZ#,!r\FY= =,zk9@ qP z@&\0|W%Fe!53}B1xbݱi(Y=<] 5Yxk[C`ךh%m6"h['t<Kut^}b??-?ϻY|}<:_lr_4Ѕ> /#2W ' יִg*8k(E5w_yNn5hyVU#Z4&Bs#-fEaVޤC"MMB~SOյҾ/uܑ|~r5P>Q,б63Wذ D@j9_X?!C!ָR6Euês ¾׀VEwwsXYiL2XD U,gYM#4xa/yh.?ck}L{/hHW>r':r61'}H}3$z˕_PPsZ>{|PB8>1D(0AG^A]4 9++9E$퓁 BY  2okƪJQ#.besHA8` `p>#Ht^!eƥ8MĕE5'sܑr|'e)6gq Iՙ; ~HWY̾k'zG4$s,/ܜaT/tx^R |c>&0Ѧ,ućz L'|JeCH% [W@sF"H,9" 3ܙ*9.vӢr@Kiq.Xvk8Gd .2@e٬qW_Y"$nYhjK~9u ϴ-3ٿ)Uw|sرКX"h|D̷+ w o2٨Ԗuv?bf{X$hsG3w9wǔZBydr k) X+5<pebQwx#|Z]{_uoXN=Ő9DzMWuL WĪ_NJ"ǀ эJp9quÒPFn%gv[Ow=_ ײַ"$A6l)i<[4asJjh#0ƞi3(-72$8Y_!bo3O=S{՗XF@ d?i5024: ?6ŜaVo0GRz.J$=u|tQHqa,QNcpmYu]vD:WZt$tݱgYZ >  >gA/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! B]·Iq n[:|&[z'A9١_mFnstf0?:⥻ Z *3~ lID!kv.9nEZ2G`v!8p4`i)`k $z`{&4!&~K|<:V̗IkyfnU0HI>ϲȣԮ ?_OB?"bI?N/s۩pÒ& @&ZeI.UXCnq(&hoaw4bqtgYZQ> /E# ,HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 3] !M젗OFK?Ie6,@AQ@R׊>%U~ۅuC\AԨ,/0HWnCvHnBQ~LKyJUfSIzX6 KA gOT`0"E=~gG"i'zzCmE˪/b:.`.71Z_.=W穹guyWKtSI!']R=53 8~:| C[6 A,}EҬ(d,sE?I TPղwx`g!96VS%FDhl/6/3d G:9ݡ{ʇ&5ꔆ{a}Coxwv1>Tg*y@UK ̝5+_ΡX[ڵt[%>7 c%ʊ17fs6<5*q+Lh>_ixKLDR HjBҡ \w+TB>"%I{ɭ,a_[Fh؜m_{q Bf Rm]!A6#m(LBPWpehԛ?R sUBrG9[= d6zߔ 2"@^/zc#ѳDSEIzSʳ\;SSk!b P^fhRckJ7捚QfP%|tvn$7'J{s&W_a*eJXRdi9Sp)DSyJ!lG>[ ,:bHZJ R+(Յ޾&*.bJt}V '5ēz-B%+'su)T̓Fp-;_א,PBaғrCz% uJs0hȟQD;2Ud sEY5Y}qšX^y~ԮeRF T )9r!f 3-,p|VҞ}!g$] { 5jmԃrB_TXMgh2nԅgw@re99'G2LY3Q+"N룄W}DȾ\aU&[N]dG$zgB,)y mv"aN#;qщt/ a:쇄rEdYꥹ,\Wf`8v{k|X`/ J" #+d~J'K!hPLL#$s&T(qZ0|Zr _[PRi\V[ NP-K?}D/5-) :{{D񻟶br;Nf^{5ō|J^ UVGGn2)m'do7EXwJ)O:m5!reOo6Y{#"BMl1'qǡpm *C6]w#2CgYZ %b$ Jn6 } = J y > 1b#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 </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex K;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.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.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'=1~QWYqLqoD}2c&Iה:Rۋ>wu!;2ydKG]硕<$ʰ]ތ\ P0L}C0\cqE,:O>P{^1CdXHr,@F Bk'۠n ꨠ\ksbBa?ΨNs~X|@o=Q.q[',=WjYX^kSJWu[^ C?K&FP݂d˶eib՗c$p+.7j7< Q?SNͳԮ>[8(M54%kв(}(RD13ĝ㥤b$3.Q,A tݟv~1@ SBI5L{;z,fi̙ Uk(K槎mỹ: H~ v!a{f4|iO5K73Sq5xIw[dUH!B*B~4KNÝj7 ee]Cc\rCi^7hf4HU~)+.?8Hfk/GČ^ję.2 \j؜ Uc1+v"8OYQ:*4C-8D~8e$$Rdd7MBlw%9_!b|-*! tQ$1ӭ7{gA5 a!BLX'`,\| &1v:SνI>f;۫~zsW :2F](%Ⓔ%Z[AaTlT嶓\\EIxܙg;e50luӷV Cb4d3Wym{,^>8Nϲ1ڼN,mu ^BK2wTQ.v3oWSEpK܎m mb0NGDQfiΙSB e?^Biv޼UUO!4 qD4{AHyY(.zjxR:)/= q,0Y>j!hq r_FBw@&2OezL&77Ob9e;*?P  PFpɖX(DhٵtUL]dd|f$+(Zvg]Y$%-cڰuÎ'z" ~ZR|t6/b"Pģp)?ڏpR?E9u nIh~!x+*2vU̞\vXͬD_MKHv}ӾCD68wWOXdb}| e^pimQy~Cэш\Sf|0{7)2v{j/̓ZJ?yƖM) Se!/Q|M+`. -E:a+vLD5rӄCH1.GOb/ĬQ,}n&r׈ڤ:\լ\nT@тo{Hq?%bwvz?mb{ [y^j9Ec`ʔ?&KLJ; */R|5Ze9͡62~k $5xxzԠvBA@N)Q6%)1y]dZ4ro،S{ϗ ̀+ pьܸ"˛"뱂QrIX<2NVMm49*gc #6u[pIh\J73@`}Urڵ'Z.LZL/]G3uWі.8'Y!~n(46e[jAt @ >)RAe:fP1Xx6C8Y ndDEBc~o?.u^݉.?f~rәG?\}xC3L :-YyjP~N[aѰiqMX9;W%ݥT"].nY Qx>rj(!l ^6E>RCSC^^n}K9.?nrvr_`#Wch>bB ⊩DYƗ̳F UU1=M [ءΑiY,ܰ붌cjGRHhe1ٟMfnKC-Nx(>qaavSTrHWZCmgSWz?ʢFbj]Nڊ1Q;bke-4cmUpRºҢ|@HWoF<˙A.K4,G'kR+ǯ8fO/m"s.NnoOߐ?"6Er]v`Ԩbp  # gTM(m,/ذMlǡ*@n^x?E7Z |rW3$7!GJGp6gL;A ſEmE~cWpvG0ie_ѹ=rMCdzU:1,9Q/i.=:yJgMkv" %GUTk5?W U$3Y fEb(2Œ@#hf/Kuس}Hj遺PKpyu=+"A+[-SZ3\kRAʛ'BJ"g.E=as2..ԑeBy+pl^K]pðCE>5q7vh9dۚ%rlR_/\SUddC_Ыu+zUC-T|,tJުO7̃^?Iz˨3PwV? ptf dwB~sXyKߒVLJݦxGő+cw:j©\H2uTeUgdVVd7H bֺZm2ѫLGvIĉeMLwvW (JFsB?-n[tFؕp<;. jGLC{gK'7RMrsB48k7tLch\`UT]#sO{O-aaYyTLLqvR)Zo[vy(OFL |)hq8߶'îΚR## ܴ )xgR0wOu6JCdfv0d9]]J*yN@|ˆjK8U\X ;F%H&^E9 :Ǚw!5ZkL'"fU(0?it!{!ֺ.@c]F! 0&|YnHG8/ z%U5q ru N".3y#74iRӓ@qҼ"5+S=D/074H|}VSd"׻!FXG.jnPaFʶBz㒦.FCM3y bc\G' +})\m>s3 CXgQGͬ.uiz,Yq`>E{jr ,hҿ-[ۭrr7hi,:m(*SwP)rA~;}]fLC >ju;\J[?ox1.qQj_*&.f2|} jlr 8(f $ AߵwY{&;K|`ΡWHcfwŅ8{QF,ϒUCx)0[Stwjⳋ*,u=>]~2&)d*C 6sfK\7W!t0gӯLcYiA& IjD;3)Iasfϡ" ^ Xb2Imഭ~E`WA~l;v^Ct7}*9[&E@Jk9aSdC*`*7GTto.1d_x8Ṙ^O` u ۶{qȺNA{ F.P { |*zBsZ QwqH#nE*qIqy]+>x^'47(ޖV<}^C쾞G0zHul2M#/VRLw+sMcMQfژYwoa 3^(x'p7C˹]#=d hV < z (pqzTkVޑԱ R5K(4,{ebRyM{{l za1[XJ u`r=iH1 f٩Ϡ I+8*=†kMMaWqLlm~,T$ Q5 n˳~e.hMV倝2KPIKYp05wx1RN\5)`֓Kv !{W:IZ`qʨKRQ21zY!vD'k#-vıQE_jQl6 V  Ǩ I^@BybeFs1Sҥgs^olU^p @#90 QVnPN{tTCl}5h0->I pTq6Od$&㗖N !#{׬e`hޣ閛=jnZ-M`XDJ77SH#(wʑI䛡׮d<.Ѣw/ 36. oxG(#cE @p6G̐b<.&X,L1$ d͛6P3rHYS_+&T.SEGxuڼ2T9ǚ&DS#[yTtӰZԌΓ N ]H)᪊YhBJ'SͳnF )+ X8unBȅ{2'߬zA)ZBzu[|#n=_|CH&|Y:K_]VuD4$[S$gwB\ MZ-:B}BAv,9Xӿ6ATQ"ԔV@rvQjL] nHfDk8 fyżY皉{c,Ĥ|<*okXv~ p[mCQ{|Kd~wg&V`ؒ:M|'+6Zxo)k`!& dgb?<'G[8 A@{k"`aϹG,-Ojցsqv5pe. ot=#oxR{E$δNI/-25ptPUAҕ2?tҗVR1ėQ/\)\pMC")HiS/9ؗQ ddXuɴ#*R^+)/߽2S3z I0=7p>M@U `7p`4({1ES0F#H:킫|;v %$cV8Mnnp:^V cbs5,zȁcEr-_^A3HA9Y$@ErK8 rgTŠvQ9;n2JO5Fn7f?!::_T䱻R65(jOE`:H) |F x9$IVR@$wGf%mpE"WCg${@Sz}ft}>wzx2 ,vٵyM;y@ f& l}ͣ |VwTPG0(!zYH%k!Gkv1 ,~ ]P |䠣2]}@$&GCm?ًZ) Lt6lut"q\п<[/0l:"sJ c/joͱS&۳/#?LmEjq%0Է5`p\&izvӹy|{k41+<'ĨF=3'U!x IJQng5w:Tx$s㕼mdX;!d|0]OI룂s!HB|v)ŖE8E WaxWo#JC>fX{`(f,P^TWlପE#Ϣ]~FrJ:[,|X@1)A6"FCU1L٭V+w+E&mV$k])Vqr:FĮ|XҳbF5l˘I]DP =f@k1͹\#6m )_]O_) |1ZB)FM=J,krnB ?wl~tNSƜ[ΖVnaMfq/6d nIMGtyIii`fYn:3+άC<=BbD>geX :d;+Ql HP"3E8*h8˟-. 7JmNrYlF;Svo 2q; h}}IPn`.lK7$~b?_/7؎87jes'll:\qaWNjؠ!M'Ue ۪6ԫjm78 TH.)yR^aė4w!3KY!$C✪"Hy9alp2T)/S\Bc%l , &#6RBDiYvD_C|"[ſMHfo"խt Ⓠk׵9iS 39GUYGd.Ş<+wo&{ ^ %~ȏZXld#mBV.Α y3txo <Ͼ緯a)d*0O.Ģl"\ߠ/ hljx83!Fi&[ޓQSD S.d)7Ppg@Ǿ?q/z˘bF%ktj;_g εOBAH>x޽غ'$#t'iQ/>`B Pg"jmXہ<űQ1n?PQ=yF^֙\$,W6{* B.Pe}A"VM=V3qKU-h uCٯ6P2y ō AK\fTӦ 2_"'oȊ+Uٻ!tҐMFo|Ӻ7K*Q7k-H$}^7Vѭ"!2 ^ŠGVP%.*LKx-0Z:3/Wٻ-)Iɾ ZNI0@ppNs; %ZxRs5Is ?ǣݟxb1M.[P3TIQ2+ 3pwKoRKxBy},bQ+kjk;mU3آ-1LwhW5PU zқ>[?wi\5t( OЧCA?86B;V02|z=H?#'J6Y.1؋n؂Wb([M$ ~d/3=bk o¡zi}Ow gݏdR0@Ckrd"jN][͏^el eKq+iH[gV_>MΜG&Pj˱S㋤mJ^ۚԴ 7VE&o{=SA(Ի7iH'AQV"IU3EXoxнewHW"үcp8D[xӪS^XmS,/[) a;|D U)dm93Y]ES!MXRP(/>~cЩ5~Z|dםɋo@ ỌA a#{ oc%|6}cFYIu"I ™p@m_o|CY+X8zMjg#]@ɇV/7 g1TeYcaySq'O9,߹R"!+@ 쾁3{nud,eq0]߇B.eboJ>hT'&tIboeŮwӴ&}6((M 2|;6g ˩Ѡ>3} +Jzb;̥a=vF[pۏmv`Ѕ>IHlЬ-ـ%gؾx[_"u|D"qGPsXò3-":qvB760!O'(k іßdB9Y۱E){Ok>Sa{[+~FιOVfCw̥ ^yB->BqD 9յ׸{r^Rh8}{y$%㊉ ^䅩|b6G 1v+~Mp2$K˚}ӏ\uHR dS +Hh &aʗfm<Tw >2e+:zq \~ݴ% 2՛@hee1&%Daar۵8: ^_e;n*mnܹ>v`Ս) ۄ}O1n *`XuÅǻ4NSx^Is8*]!dtr+_+5.@(^jI5c̉KZI=׊1>Cjq <@uR ٌB'h:װK@k'MHvG V9 ѻ4˞ϰ6 X*H^ 2WI6V5NLF?_؟$n\,љX@` LU1sRbD;z'%D=vI!FvodE磒G>W /m?v -(fP񮛕3i|fA.,1#d%JTgOnaQ7k VQR Z amKjU% dVO a3jseupރQ"2! E}OhHYb~RDZ=씆z"$ ڏt$lc:"%6UD3[V /tF1U̒fw)`z2 fy.Y(4㦰F\Di'BI\z\NZ/yuRj fub7ecݡcs7(O c7 y [ΩR^rEs8&3KL *Mk3لFVoߖ?pIauHWSDlNX%;Źlx ժoRB!=?S<_z.wχ˜=$3[EB|q-?>; x\8BV`hiǻ LWW,e ?2IpȬrs#q%z(Qһ~4bJVUqNwB8BZ$xr;: b2iw9V[k8dUc LB >\~xD]j>}Aaqԝ'벰RsӳȲGs`\/Es`TbXɳ؅s߆P=>; ֶ'P4m%"U:2evK1޳媗I/>^ v[̼ UtBxG3EݕMw n;_>E{^}+>ڨ3Ѧ.-b[ M$~2( 2=%EMkC!H>܏ʟ2X҄:/*"}SKƚAI_4/9) %X a%bZ@(M|E2 ]-^FF*fZR(i^ng=Jb;(G|6^nUhϮr+LfI>D2{тRYg^%@Ȭp7*/SZ1?awv ձsPoġ@TtQ\XnEe<0^/j5񝰛#w0=`\6;O#>wc+Eg.0,&O7_yxlR!|fbP^v6wƂ' k符)[T{zA/^ʇ>DGS9I텰!Ү> f0[7#&Ġz,t(Ghɔj.I U!v"{__;. 8A.!LPamu^t11A&2^aqhh;؎tC7Ց<&}Pܩ->,wх)*ِG܀'r^͖b}_OS׍O3_ (7"U+দ^ ."S:3n}V;1:6UA,uتiX>hQ6/O˛~YQkH$9h3 1V-/!^k>*%upm;2J߉Uɉo#D0y\|baweT2tGdQn 6,,qX:P87K*8ɚ|'ޕTp7?DAjWwN2%Q!]PKt͔yhfvwlVλ_^* 6Btye5È9q>KO#Nͅ AG?yХeGX#1+KZ$uuuMy̙"ˇbp[(B yX7^ÆOVOAXҵi8H-=13l AZ v?VQ b=N9L߇a16^E i %1aH ԬH2g^"N[ػ3a2JHAY#N֧9v5r}Wvz\@e!'pOޑ!AċπaNs5܈ }oYxXVAI󇷞95- '|hplAN2١B p hSfz!.sUwDNt!{>A,U gTN @/4nne A)< z[edi]z(ˋKXy[gfU+_ ۅ*hw"Ng9NQ|,8;2v@w%Wl`S4Q1I}}_j*.Ɩ ,5iP~00ӧᢨҐ2@}N/py[GT0F;1@& _қ # 0 /F%-9ƊA q7/Lйo.|,wIg-dCYZ6l{X+u2i―.JZkP0B}s9)pײ95t^la%%)M1yCE6edAyq8yeAmg%׻3!7 W`PrITŽpb{Sqqe5R %#E׿ %LKtlhVMh|+#H24ҹFِ#큛J{*A6EI~Q@۠7A)!|PxNm)D:R;M Ǿ%FjB]o.eA m*DY0%`/$g] LKV!UcvvhrTS~FooLQ!)KY Sj8u-;+baK 3O<{(fDgUyW85Ue{C;xQd\̀ʊ_XW˧l44Ѭh7^8 ZĿG?u\7x1 S׷)Jb*KJٯwaUn'zoBfyg]Gwck@ hUS4HɲМ 9dD>J];?Kj$ YwE "#v׶ʃ '=~BP_ƬU3Fc?_ Q2E,cd0PR=ώbJ.ĂMbzz$cAN.\&cNXc;yxD}EaxA 8O3Dvij%!؉'7 ]5z0|d5, hXVnE_va7őnwD IFEr#x\U=T}mH]MZaZpY*4Op65l368h$絈1* Avl?M/+I?Mϳ鐎{wta~A띔üCnDX} KWlpx) v XW~5Μi.g v O:=9%:KPuڰ[қ@XP@sM0fvԚxTiQ[jnbL@{ԩpvTϵuϗcF6$9)EO%}-W>j:%LME ~udzYc.GHs L޳^ r3XgX ':4^ٴ廸#G L>ޯblc2ӫ&SG.CN&{}43BL4 xe5 kЍ0#5r5Ng\/"#Z}INGT&@YPcuʆ}DpSQ1U91"Ve@F5ǚ/G ,WdwAVгM|JUDHRsR{ER"KEb5 FC׾Bo=Nh *;!3DS玬[u_1Yk1M+ޤ%2b[u{jǮ*<c%s{N] G"&ƚN>>q*7Q-M?vpx1]<%T͸T[R2A[7{T2ܕ<Q h5g͛BiPuRdQQ\:{f t4™*bZ(RT}}v vUS ŃUCTZSsb5O̦h[$$ jBT\|s)P4jRIJ*7aP4y&90V.v .ݓc!o1|OQ&s4jy,+Nx-D07pJ{a!ȝc=M C^!/(̟=S4dR'EB~6傹~_8_r ..ғPqUf )Z- q>x׊J:mpafwk+H)aBڔ? !AL٨B};#/ܳhkRѽ7}:Y4]mYv??'GeuYEO!)_etekVC6֤3# lyW10 +Z8#'y#])X.uo.0:;_{x$ QYvUg"=̖ K*̌`*ؕ18 <`?2QOiO[xg-2C77"VnˋOKorrh7rxW_]6P0pD7_A;G}+`#qI@C:^^wLD!*9>s{$W}oZtb<( [lah]@.8"]R2|aUoMTܬ`r99hoi*Z~lG7A֗3Njsib|6-OR@ESuFn&tT_InRl'LBcY8n]<[7*@ޙU=’_ћ,ا JրQ`|>iSڝhetB*n6a #y5:0Kr Wlr~FiĤ 7ݒiɸrKĚ; ^wڰ)j-7;{gǜZ#$6ccyTAfK@5PV5Iiq}p;K`tf@JkT!! -$U_-!10$x[Fc'llz W-!tҾRXgm*$Ivo%4d L~ Dx޴TL&$dMQs%[\n|Ee74nMDӄwN\VnHB M2*&"፦c.7Ic닅#J2hl(L`1UDPezJB*Բp(s:*]~'Q̨k_S< ȵ;nk9 K'vpjw@J^So>OgVJJʕ4&nPlk;[zkzHnimNbQg+dɘ@=QAz0Fآ;W=4<>O?Yh@Fyu%oˁLOY5@mp0U;957= -̏}Fm"[a)ׇwPgB 6tJ!؟RV]uA¸O6|_Gn+4W:%f{*M& j?#.|Oz!PL|q*g'nDsN<[4:P--7r`Þk bmJiO)0xE–EFuj̆ӗF w½=^ d\^ɬY` p綔3ԈyV S{Qz5?ϓt֙A:H8Xd6~-S\ ֱɳتOBgh3+72Bn ?"M=tgYZ1F /E# lHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 1.] !M젗OFK?Ie6,@AkmmqY[fGX <})d-9%ҭIj/w~5: BHn:ώ--T_YDVH4CYYLK،1RZ Hm>@HH$hwu.Ωs-ꓪv]PL:JwK#Ly<4RJ9(+*']5/mEV}&REL~KSA,X-?>`%M^"*r HNBeE/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files~~/src/HOL/Proofs/Lambda/StrongNorm.thyGD/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id222cC/G' LHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages7zXZִF! w]]Άxʆ5.f-9 rq8H햶$~>Weo$::\ݹS9%&PZAL-축q{-J @g)|k//>z'OyH"aNJF22=0R)ogwgؓ ̟~?^] # 쩚F=$kF@/L{0fK%- E/n[5{]P&mu:RŹ4Ƅm}KզWBYD88!6 =M= ~Ȗ9(I!XkT`KCf5bzXȢ@3"F.jruv\ȦJ $)NTeΨY"o|%ʮç8o77BJ!a N5u Rb'6%БQXmT5^$~/@ oόea ܚqJLW\ze䲯 t_ox鸴O+֠+f/Bkg>),Y&5\!+EÈupeE腆F#%+\dsMYoFQ@ DN"QgYZB /G# DHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! $] !M젗OFK?Ie6,@A"luYG(!wr!VBƷA|oJjL5DP2VG& y#DSxUoWqM荪W4l0 7 .|YPER]s{PRj g&`92l m:g?w5+qEScnmMe?-e!B ^9_ѯ%te*˧ėܥ%IQLV}\QE-IrHSS+ހYQ Di To'8_%>ɥuo_@)\0f|EBdBur8{­1Ia6I~Q N[F?f5>]^W$RZdQJ_=y',HY(a&w-+×#nv V~LԸ .7۬t+_ŭ.ogm)K.1 \Y UnqV93|"m"Q^|-M%Jfvyཛྷ Ukܰv7.ۣJ v.,Ӂt63{/6.YҏX9 +|yX0Cԋ@:%Eaa{7B~|MZ_=a͌Nl$ŗ%sycŪoVvGѭ1s§:K8r'LW]͞ɎF*oQX[I\ 2uhTBE:]ZRUZ>^ڙA5*zp]u$+0XrY$5kfk緖z S|mnusL&*9K@#ܕIaW5fkÁIX Y2sνg umM;8+!I[1.MWoz{3KNpLgY=|9l'$&ٹ _}~=l#  7ҠEIղn f"d >)J͖E[R7g2#1`s}ęF9-)IEq1z)Ufņ6۱Gm4/x$e. M> 2,;pR:I¿E%{3g; LƮN ^d|?C#XJ:ɩ QR`89^:RL: /kr"r߼b._NsьRFsXi3h8_GokŻŽʔl`RpW"~aʆ]أqOJFJ̄\s!Plvla砐FGG\^2w TXAT-!H/tÙl^q>a4sd|98?<|t\B s%m7O7g^ZpoZEK?4.&#΁MH˨c  4*I*5шH7|[e"! #CLƨ_i#g{gmH~{@azj\\3ாIL"`ꕖhUG/5H^4bSN|V7лh潾 ]͙<-U4?LHm)N06t%rB\F-Uͣg˔j5WK8j}pm/^漂S:=ܘ퇿2:J\r@=Go&|Y _:Z\@( AߒLGW)7մ̌\Ȅ %5](羑ҺLzO&-v+3lnK1v ¾^9b!%\HTkh+h7r0.5x 9 o/a|YZ:|X`:,'B@v>~ a@6h?z_L%IZi|_|X1[ew t;uНwwx7^if|8؁حFVpkImwL?An8rgԏh]cUaX# -W!Y,TY,fA$U!0ps4ӣ@{Wnn;*0+plKH\~H$i: l0@VG͝IЕZbOVBq۟~9,=@vX"Bky}4sg+׆qͽoh0+,lɿ.|kcw()V̋EpgKd?9*U,l==%g,EUoBS ppY-YF-)/1ޘC-pc[X@S9k̗D<ü-0g!êt)V򫽕]SNѴ2PFo=PMrlKqy juwIzG`](&]vI%tz:ӓ U4Kl`eҋ^rb%~0-? pG|_cd`HiN-b=~ 74a.H Z`zĺCT eώ$Gyh+زPS -0T(uΡO-;+ q)._O,l4kfkuibEَG|68ʸh֢?˅hPLP<&=|_%uo{^Us)tL%#W ˖A1F O-8ւk}k7l5\%AכA38=gA}fL#_./!X%ޛ?Bz=v85 1ʦ =Ԁ0Δ"͕`"gy[ͮ: WEHapMx]ZՕ3BGA_W9}[37Q2ܖ/]FjsaHFK*֝V{"NsE^*zEڛ}V\B>yWrVAQX)Pr4 -5BO8=6|GAخAe]N^]߻QV:zױOZtatai57EC?؇F@I;NЈP$aN8V.rlDe6Y _Yù?f@_yמ9PɢjfN3( jAᇾNSXLNTl0)}&dX4p gP|An35 QL΍dhzR,DŽ9G Kljy15(+8@%kv(,uIš`i!LD.B{ޒ@uM>H ,$9h=:#-/P;VM(3bSY\ǠSʢhMw Eno324fm N@!:hd@z̳Du&l1n}DŽW 2f(pq(&w@tNȓ'}wU7!#,S>2itœRduQ`Zp|]6FE;'ύL uR,կ5׼FɖfY%^cX"zm>`ob~0#[\IlxtIbmݮ樫]I ,K-sp%} h٤Z唣\q\֞]:ld\J2ڦ|wUO>yo2Tޕ՗$ ?}&bUqS_C;c 2F#ph>a{3:s9{R.@#0'*U8Wd*.h߹|ڡys/ z=)1^HAd5곡)up/OK(r!C/a?xL+z#Q%tsd h,TDn 6\N0犲DԒ%ȃx$B]y>''_l= X6g<~"hO]e= Xs kl.ä1x{=^+,]e'3㋐, {ER%otBZ2_/5 }fhykG=49mx0*ƹg]ay[Dm12d[ )|q@ffyܵ; KtXvr;7HL^W14ZHdB-?yniC~OQ m(?Fv8BR+E%FRYfyDnԊl"U }ô>C?¼qAs1/[5tO`E@#;줋K;4`פt>`߅a4)q9ܬGJDGAHCQ/ ~c 9;f! w1c(7GOQW.lIV69cDI.joQ p^CԤ^Z6y^:~I-یvo>~gcX{э_Go<`V}8uOlQQ2 2xHSOh%$^6tx 7,[R~ԅZTU*ze^XIQ,Ѕ<ќF#ݴid^ ֙݋! rd'NH.D^V1wY蚘* \Fh.%Q!0}ӛf(O)q\ǭf9 |)bҁH2@RX4>a"/Z~T"')z %L|z !mXpmѦ(>D@bº} 2i=;IvՎa R!j$iCd֖MĶ(g ^gT#Y.hX9TDyUH.v}V8|}?SF%Tpo 7R 1 Dn[jdϪ&n3Xgf4(_r8QϘZ>^(I{4 %#UַN$PПI;mK9p#I"Mg]=ۖmAy`\CCK,Ҝm 010%$s|ߞi)%pFvg sO#uKE?A\ (њR$]AWY^1}7v3>"LK^!n\6)е{Z(։Zя gKE٥'5iJׅ`o ۤ~)Scp>UOmqv'™9o),X=}ՉuWT}X"mqЌ[CU]S{ 6(s[/s{k =G~ޜ7X!6$Y(+Z]܁L}[g:M\U.7\8 qf{ ĀGe܆ 4n̽FTM\= u4Z?UKc+`vnG^}N20g=Q}FKk}_D|귕2V`6/ $pk!ǿ[KJȂXR.w/z2vn>;^hWabY\\WamȗP^fL=@kڷ#B<[胏ֽЕգ7 bؒy+E_%j ݤ&-JmBOOt?u܊KVERb]3pYKj9 W4ɀY#veb\ :LTv>e)*e A/#TYYY߻Zko0z)Di_  t{>D8y^XDI0k/\1t_Iꖫ9kLpOҍJe)08_ӓ׶(7'fUStvrǶ.{nסg FII-uýb][T3Y>s-tz,W9bm>\wN킇Rci.Uo&k۲oHӺwT.G]3Q,kO!< !L V$)~,lj4:\wh'#l`p QC%q߮C8R"[%Jfhkxh0"l_&F1?϶sBFb@Q G̱'JB蝁 A崍 >fɼ$]w, WY=tmx]* ܇ekaefZhDM"}M!#tL|E>&ZVgWT, xH{-JmXQ,]ouw ;!jj$y]s0u4K/UU8Hi8VRȳQ'.|# b&݄/ iժb #OJb .&Ƨ^c˵Z'.W-lnoP*cPp`}F8Zߥ+(P J%sE^@&F6qpW_V鰄%riY6=`@uw.i%,s8řR8/B`jzu;vuԽ{J)wbi$?׍K"R3)/ *9ִ1@l"E[>C+Ƀxp( "OLa5dum߆^M qGqr8M3pO=I=To$m5h2ˬϖ%E䤹vzP;xt-?NnYU" -zNVS ~=\-y[FU|e;H Ydޞ~.rKͧ>+4:e;dDSId XA^qV(=ٵ!&x1^k`2U`]յ:~A[[ X78FE6+yqrٯD*ѹc%_&vn`s R3zy|_+?Y]OB`_ xs҉W%k&sc3=tNb?[FčjTkY/~̦#vY` m Ru7ޮSk+4 嵈顝U󷆶!I rOhHlx%+'^2zwMlMvI #cL 8d0ra &o"=|āx-lb +4P7:tUg5beDH;4Lb˲#qgfz?;KŔ2&S6@+?tkOEBۯՅ8lpa@(># o7tLO&/\22QNpCRI1oRuM6/E8Uf@XX6euW <[9AemY @4Ֆja}e $&|f'\P7a7Yzȝ2Pe01'S2N_"JnW, ;Nsɀ+1o#`)XU'Qtp>ߗ)|ʓrY㦏TsLZtfhy]x#$_kچBD?=hC5L,ցCᰖ]NvcX7~6~rB? >RO||͗Vs|w;IJ;~uiz\u[?{b~,0F] #&wfwvh\$R˜LZHuD!+{2Ik؈XK#i"+3|¢Ku.psυ[PJY\8bٚ#20!8AY\Qo3u#E:y5OMZUd&'>BKWٍ@~{_M -s.$r4wﮛ>c1v̱Lj dQmΊͰz()6'] :p+>#y_>ݜ{IHp5%;` [Zm)^XJ<`yw1n8Fv Ǭծ?rn˔#w"4Fe1| 6pރ]{"qvhr9#-\H1(+ |qN}0,ke]˓ صǵPqIRuW2mv33B[P J6%ΆU(C)Nb,ފa˽gbØgfX%f!j_NBq| 9 q]:NҜ{Da@Ӆ])Z<{!ߒA^ +"4\|P_^>ڜLk)`d=ME:]쯰*1=F2` AnVsbQ<}Cзw g($e &_L\䱹`b"8^$"@3xμwx5`Ə4~#!E9,{I\-H/Lrʢ4FǨo=>r:?݃1z}ZG9'\ȑ[ V5o2ʇ~I?TYIjD@g}D(-{"M 侲!{WQ,7+ahT8"ŀ(jΏрMIL*56{x@ޓEf|r̢G{ !7Fԇ6 hXAQ1U BQ W,x 4KCOTpWmӎӿߘ-/r3|Ũʠ4[>|wm,pgF=I 7ޜ2! gxv^mJn911Ӏi'IԬќfy;JX0}M@6*_Qa`3hFbxD@i]';gڕ5{$vFm~Z:uDhM*3$|LaRۈ`/1}S.Kd~aoّ ҧC`91Т^~F1/G^E6[v?e1Y"m7ʇ>&`2TZH.!KCRЂ$;/p>(1L}c \!T` z CzAsx%Yͥ*9lCLPA ӲnZfˢ (pvo^$#CDp25qp7]ywQH|_wZdQ2盁s.:n)m?aPo%hy*ƅ2Ԛ4  폀ro٪tITQsGtǓ&fb v7J/n<;'}kؼb@ݸ~pemmZLkt ( _]& (J<ePFxaS =]규]W4UI2:) HK^l1W.` #m& R0287S!-@= DWq5wpez1UGe?MşMxO׊p;sF:5*6,z{QFOC smFOo߶ΊZ&=>GO MpSU[-ۧ=<í8񥭐r1ߘvdf(q/ gع5<=6GGPhU^qb,b T_5Ջb{t;.^CieE9!`]qd>`ꅘ( Ֆ 57h.-Ki2XT# ȭ2njMK`8ZM 9w< ?bYIn{<_eb<ϧ)mVSʧ9;zpR8s$ŽPoFHUQѰ c5:TR<@ZuL3vraΧ妤-z:x,a h\H0Qْy =xvpn`Y)j8/?Cr]`m,|˚lANj^J.[y|㒽#_{W2]<`.laTCH.\QƠ)OtbI,G}p~BF6/4IygÝ&x9M5,j'rZEH|Sv?s`NnelnJG,}^`]ĒxũkL&eSޞֻ[7K1/%FUrNUz)QDf,Jh/"I >`K1Q9U*?g-yS67Elc Ŕc.UW7 HU͒U۹h eXPf3,,^pz}{h}P%-y&:;eKY勲!$ 0݆{9?j\7.tVx2Aj[r+VvcaV"& acY. tַ|$P>W|-8j9DG6:!aS$^c_ccR/D u6= )7NerH(z]گ&4?s 4W]P\雄&*>g̏'(hʥ[ ㊚C|i!M* m!B8@P#R 9E0m%2tl+HvTwNy*y4V_cH(±]ÜY}U&r42Ϙg?a1EDž04H!uP$bCM,L 4A=.)lg>!]BW8F(Fs9F V#dWjOvB QogT* nǞg(m:Eh_oao:dXƐxy}g@yPiFR ELG-dh&S.AؑJo-G@Y4-O   ΥsrDwBR_پ^UiY i C,02KFk$vFlЙ 6fY6nŲRsғOBzez8/p5l4PWBAr|J,dec&U}$@{m`iܖrBv-X.4~ jr]֜PEMj.jOq1A2uR3 /6&yO`Gv 下_7&mR ՞-Md9p_BP>_3HL8 .O_\$D.:ˍ\KNAژip ߗKr2/ò\^1g_ kZg?7bFȤ G$5W>^ DK%W6Vl &[+07#nTp`)Xr&>WIBK RU ^ aݳ1)3Z[^'2<^X.?TΓt~|s{, ԏ].j[,4g1s2tT$LL-0 =?('}Wa` +齍Ed [QU{NNOU=?ҋ Ê}0 *gJ"Z5kdžQu9nGK]ڌm}=\| 2o݁CQ›ͿwCN/꟞ z?AAMB@bDh٠"O9Ԑ]vho!c5ОP4-kUJC?e ˓ 1]1=dg+ mw6TNB¶^\V $YP|#m$;pu1lI;1)w˔_h -}.uC>SdD/D{@QtIyMB-kJ`S<'皲M5a<<7Nعx7l³t Q6cg>tQPLޠصlѕlYwӤd&mx oˆ?Mv2l/@P PK/1]88 JK qifgQ jZ-~pCVtA ;6x`Cf|}*="n~rEX C}&҅} 蹦8ieE>u^z)X>!{p/+Z׉9ƒ1|xa-7]0O132h>_V&v SƲ[^+%@/\:7Fu=;? wN\QWVۑQ5Tk N6-=  zB.o{ۛ:}X&6\fzjKoz#TR okhgL&vCM4y&;1.|#GpKT톍/ ݀ÂjTg [iKlt)Y(g6DkVs?"vJ:aѿj*0֙U]:zC75"WsLSl=!]mBx)$H!^FQiH"L޴b_Gykʼ/6M/ <Q-eV/7ȶwՆA6aDoDh)ΏV0NueqK:v-(Gm߰iۆf ^LAk)'"׆mfe 8߉<}GqgڔGel*C }{ex6 'a؜9G֛sS7WPU^<1U[t:xgn #O4O!MJxRoSNA> ݜWZe3C$1CcŅrǥGBYU59߷>ZY_Zr* sˡaU=؊ ~$ܸ$eL\TE.dbNHT,G->1=738꺅?3 VE&1vU[e9 k^lqiFӆ -W&'vq)u5ߑXT^"RĔBW ^)qkb:H{0+φrI4^%]f"T5)ݾ2D 8ss[n J aτ^ U&O 7%"w&-)Z#[rJ4 ҈C>9)cHX(h5n*[;T+z~ Y" D%xIV^}cì]:+u`t@ ȵ5\)BVAvz1Fa,l\د{%1рb UT6-h"{5Зq] kEQiUt>-Eïz߹ ZN1j+@o]+ha["WUUkH%ّ/s:SZ3ɓⲖ`\ErS%*_P'N"Vxn<#߾e{|UbRWh{JvK&{iZ3٪VԆUt4J%Iኽ˖n 'dG$\hܡ_(b\oC7oe4F59 _y!\KW%ûA4p(H#-T9O$>ըOt^G-c ^? ٠N~)0VY] {C:n@`s%+ٝ>ױgYZfd3b64443e6e541c964ddd622fddd0c5346afdf4e6d6fb0bf43d2a1b0c6a5a3670d17677a7f6c45a 9a651f509ec030e52086969addb993d79488cf70