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 99</xl U9\ٜFK瓶InJ'܈5~(bڽ?u32X\i'ɅgYZ7zXZִF! hV]ŗXiɟ11bu)a2W5KԫDd{VzAiM+c9͔{!|J Mfjh:7A2ؕSW/ [đ_OJH0E FN?๡T31Q6=ύFh-PzSz<,1!63ZHhIqrc\F2w~+p^ׄF~'/j>1x~z/(ĶAXEm6VxV`8h.!luFzz&l/`jvѳ11`DgYZ7zXZִF! B]ŗXi%ǔf}%9*V#ORΆ.'Q%cXo``!|r 3F {i^҅h*oU f0PģK8o+/ vɃ>Cߋra5&!3SU h㕍>p03I'9x@2iPܴGrφC#(,l(۲\ 3/&_vYy~oin_Bge(;o6`|̇>C9cZ(;dTu L3"F2@]F[]ҟzb817i3;n{ztaw$xf˨G_hM @TSY 5gI/ g] %Y}6)C}mrڧ/bzBXGtUpK!f22f&Oఉ7N:Z"rK8èYܓ_8-| |&l}6[s>{ ~cP6&l1n<"'H i(g~C.BpW;Zl#pq%9=I#Y[yp'U4NjJVa56΋)ږ>xK2Wlm@f=KCuhUמo#Y7|M-g*,I!_D"%+-4\Ap L j4$LRX %҄wA#B9&32m繪==2P7[$ԵRhP[e" pI d7 `Bb>=lW zaDJBA^lӟs˖2۩&>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDctBB<>79443110.,,%%!          > Zn6A } = y >  i o +~J O }b#Z :[ L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3?/C'HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages2=/C#HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup1</C!HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files0B/C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id/</='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+=/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$C/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.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,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 SS*/OE 4HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex7zXZִF! t ]A-MՋhvG"uIBm5grwjOE"\8q89U3}/}e3Wң ˑS~ tr#|JxSD] - T9|LFs3gF5XuaD$N,?kR%p^U?ѻVɒcd>Rgz*+Jlz*Uh/- :L( SCi-- OkK&38&I;7]v"Ct#.c)I[Ö́=O 6AU,w=,`S#HQy?4@cv4=8&. k]:*֗ MbFjk+8ra(D ݰ-sJV&oi q6"aȍ1OO ( ɣڄxӖ ;"o~!XyyPAWth,ߵllC= R͜vhCԍ_c2Cs`|–NxʛZ\K3Jj{Is;]kqjD߫W*XxlP|3XLQЌp y};η\tP [(w֦@IH8l:@'R5'ڛT߻2tzőVq >=\<8 Dؽ~-͗A` ]ގF?.l:Bqn2@&iV "x%֓ra]evd@ 5^nqT&|+93:7VN/+ 7AnSVyK3 wT tؙ_I緻 vE I ]ʛ:D{ "EíUCֹףLS't﬛am)&7@`n|[#w2(IuY@1B/?["EgN\S;Do>w`b qQjU"l5$h7>-;@emzX u|.=@&2`CWի}SGN>)^r9BH?`A7şyĖc`$mw5{sy-7ya ][jGz?Vm߯ՇЏ<4]cSOiJp05[ra=e'!ԑ&69Q ki%Jz`"ߤsgL1~.-fj Lf v+em!i-Wy"yR:Mel\`&HĆƶJ-`ƌ դbj֝.OhҍR؂`eDk IDc{Ͷ:X %ioDkv5a]ODQhR%2$†?@}qI= Df:v4(Z3b Q9Ous};l/Km/Łwʻg>w7 なRfJ:FQx u'7Jbۭ }$,6DVп Lσ?!dqjdmI #Nsig۽G/TEIut .Sw@Lܸt~Q/[sb^( ap&P2+R)Q; ܉m |%̹ 9#9HR[T1J:LYKlQsێ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,EҤx{vx߰~Tdb?O!T'fȰawZC#YLkLGȊ"?D6kι`عD1"kHq v56{6g҉xlD}bԥ?@pxck(&V2/s_HvTuE1,o\D:2I".tǺ֦ׄe 4&12=o8ٷN8ּalxa7Dgy~evtƈ+_+;3Zb*:Em/=XS:JOBY6w4 rLq C<7 ۾ZAm!`r幮Ÿueē%"[>D_tw=Oٵ= pq^B>/0~R"BV" n+J2 ֪K=9[S@&.dt"^8һPJ._Q "~*7}Wհ~0B8lPb򁳘:aKQ ۘtmeIZ=n9mx--m[bKH$R+*ovŅl/_iS8'Nm%p. 0:FQ=⦎kf$N0,  nQYYރ|f<Ck+䴹NMd Ҷ;uhOvqUaȪ^Gu+˥KL&^jȶ鈚ȡch|NKi1 !!D@x#>,և L&FUhn=?JocpRK!΢PopZ,@ra# !O=&b6q5TtbYg7I |$+҇ m{zXoVo:-'sEzQw P2i?cوi 7J'=pPR !8mJ"`kyIz;{7 VO׀[ApǡC:lO1HE۪ޑ`.~~\1鉗,γ*f)0[,ݾZ,iU,'`@(}V.2_4 BuߋպJ^+Nmxvst~u>׆?f ^fpW^9,1:V{j4dȡ7*dEAf$eo.La^S謎Dӌ{iIuCERrrae/@. s?7 6q.HHL A-c Gh`CБՠaw3{_*2x;u#qyAR gwBg':o9bv7kX-y+;DU@K$kW )+Z3|Q}6i0*zB2=~hC!eq㈅Dt ;q&09 :.+t5 6>zy˗= 5bLlWN z.ɺ=uwBHNzLlsX s65I_+a6πJ? $"Va@)19#_P[/xkճT[-U9H6QaDgOJ*CL:F0v¿ByIdxk=?aY| 4=jQU~1ZA2J ` Vl+MΉGq˽1dpLj- kQ+[ɍ.ɮw?e+.A9`"0O%68r|?:qt ]9OuS/xUh,U+&svU4= 'FORCg)brt%VJn vy,=uM|:ݰP23?wYDӲRW A%1x+wʫL|v7s- B~昪X. Ҥ^єT k{-`pcrƊՍ=qʦ!cM*0K_S[~wui{^:ʓVĀ7v ^փlGs\^vm|B `eXOY7(gx/ot\(oP-*BfeL 1jẄ́PQMg@9aqkݴ%OTߴT?"ʋ&?)n*ګn쿛4R0kA/_h፻Z+J\@DD|+&;H?Vk7J 0v&ʗ]027fP kɁږ K9pZ#,T0E>\_/M7YcLt1+Dep0iF5m"k_?b-_X|-q@d '."4Z:n#Mm\sH$MDuUL r&f,KѵEHApa5TK۰{W/Ex6udIi\:6!^ dޥ'=bT4yd-b9DzbHa Ɣ֢׸"ÖJ}֑`#ILlewcX9q;Sf.1ⷍn%̄&=icΔ8sY]|.ŷgYZ ##R/OE HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex7zXZִF! b:]A-MՋhvG"uIBm5ȩ<7You_&qƺ=n27+Zv>bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBfҶ!5pDr\ʆI DֽV\pr',X⃹ X`[4^? <%PUE1ȃf;_߿ $FøvD5 DtOeHSߑx;SMSJv4x}P"+wY RxF ! )ot8-N+IL*|آkkH@ҡڕ@CE(L$Nn"ff?2ck@Q+PI T ߸*uR)Xf*]7#puش0{O=[j9 jk&&]C+Tvт-qLqCoL/+"ARvv7q`Zmp7+JCz@)y \/Ev 8Gs{Wi2 b/mפbG7$OF0Hb>m`}l/S59aclr; $]4*?ثb:y93-4S} @%_@< 5̲̖Ɉl@($jN [r<r,<0GS*shMͩ竒yX83MzSǵaնY3uƕJsj{3kΛd#]M)\{?ʦLhSŀaϱn[W{fbd]@49ӊf0dɊ6oA\]57o>q['}pVi{a TxT#NGoxHfh0#mן71eݜq!赒%YtgS^2v]`m$&^?kc"k_˃$RY F?+%Q9g0MW8ѐNZ 5eNtNSwLG.H+raHYP^=݇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 {{ /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}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{XH ,Gqq\uwQ?4ͽRmb;y9Fs;gaİY)Z@~pG7lRc2;,h\HYm=wr=vxz|2| @v' QYVybb'H_ 'X/7ڬmt, XîgU|hHr}a|v0ǫW2'lLɯ͈UdeTm.!mK%V.buA{O9*s U4OY"&ͤ4St 'u\?e"u\ &QB:h6aإpKwO׃Mtn@Q,11/!l锞.fO>b >TO .% \3) {ך1{=lGb!!VV4:+E2y1ӥҞiMAaR;ɮyPam~e""(8U'#.2!=1Q20մe˲(NI0Ҥ6uknn ECJCsT^$86/=0:+L'-V]VX,;S8;iyO'~zbǜ_>_o+=B\'yi-;شHvMDt.FL #9p9+;ÖL~ю. Lq5Qu\v$.r5׫!mUMO5.@),:~X"X6Ū_LA؜Wًz@mK~US\[R)I%-s@A*"L%YKm_; iZ@qSL:%jVNyu:F~|RB)igځw C4W#76ajx[F%T^rh Tz#͂M?{q;Dg $'R9B{w $otxRlv9MOJ2ZB&)JD1YRu]>_B`LVy>n9|̣Z@|VgN않V1Bnq.y%ɰܤc-bA4af#u[*9жt( ČRNÛ4-Y RB nLjfMn‡2zO&b 4,eLhrm4uìH`.YgYZ ==@ /=3 HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex7zXZִF! RC;]A-MՋhvG"uIBm5D"~^2{Gӟ!Չ:HH)3*fRB\[ ْ;~܈`ndA8fta5$G NGUz\(uV cK@LrXRtU -#bgZ8=0O5eR$ We:\|!E[{ ],zBZt>-R*{xUP0EK`b2Fzg/6L-+I"M+tEuB̺&m? ʛ63V{h(E=m)ݿK0 u;x>xu@]D\a`5*` ůzkabTq$?#4(:C햴' BzRRE!sO`.~KtOr׃5]iiJm]pbW@jQr}0t<]gv_3[Cl9jIEl:-[k^J2 ͅ&eB~1Z@.p{oJiSqp`;Dv"E)\q2SI\`w cKj?B5p6dFIFP}JԬvP'7Ǔ{g:.UQe\SU}?5 ƅd*yTTui(B o<oN!'MZ@QI+hx,vP=OPlduXc%1 x.x 9wb#G YPBC~ײ-fZ _Ō#vz~7V9#R $d[g8&*E@?(<`:[5@͍|L,]65Y~WiK[nϮ>hӵssP\xb\4 ?ȷ_:*m'&YG/5)K/W-"Oo^o`6WJX `AWB$'8Ĥd˒gYZ57*6Sf^{G f9ÎWjhÖ9-+/$'爘Mґ0F TVLM9리 <[!NdpVj6_ /B:Zx˓pwrٲ٠\b Okmǣ)a`Bfu/jyZGHdiSqiI^f*;z'3.vAbMQ@="QX? [;{0>Ы?{dTyAX הhjCUj8pO(P$`ހ[B61"rqSIn!(Fyy2B^ʸ}7/ CUZ1GM?q:YUl7 edeD\/+J I!LY,SBHລÑnd'"ٷie-JIgt%wMӘ?:pWKo;4"OL `, P+{THP|Z~t |l۫A̓#]E|C 0\ >ivzZ j#Xé(X.VUO^Y?RPR 6p=MN]B {H4oY:P-?Z_ìI׿&\MSͅnۚU;&@v.Qaa/Dp-C*+ ]O_< "…`wuGLxU߾k"~25j=U]PqۛPa D] ?Q 1}JfڱwC{@ SQ)U`sbangS腮NLoз#D5Ys"!(ArsRZ!NB׶[Gf! +FE\*8T^&ôcjt{X\0y7N<)N|-~}i XSWPwNju [x1|K~} \I1w-[R)@݆+ro/53𭟌P%)jG̎6oPXNi0e1niQTᢖ tt;{O/츀l8f [wbwҕ۩Sbt64'Y`r;w<-t\R ܌89*]W4s1+)"j)<ȴp<鱨 UJtshĵ۝PtqP3@>TZǻMEk8i/`o1M,?9K_=|/?c!䚰YG|a9**S1 !I-gȚ87JRΎI΂v)ś}djHAxiR2~X7rIe]&J4gt$1ŜNT8ar,Mݍhgp}J,_iә\k>9)Qޣ]JZ,S Ev̐A wi% f+m!+NJRW,f,J!]R+΂K]/gd 2A%>z7)D6&%1diR%J$z[xt%F5x'~o (7] W)^Vy\#qP6o`>a?76aA]h*ډy}ҌuCU|&S5y_мld\9xHDhx/jd9=biCw#rE-6ALQ$˵e2kosGRL8[6ؑ<@,%(V{e{Z%E?$Cv8Ym|<'::)$5-#+κN|K>gPBC(PlR$Qr)Zg%K9H:\ "x2z),ybx \ϱUԾDO39V-ž1X2DaNkZ _~^|F~wV i=!w!y gPi~ k[$ׄvǹA'9jgњL*a {GGjw=_!hyޚcw]|#FC7E˭0>Ĩ5#OՆ;:$R4%Gˆ"f^.^e'#_J͓P{^qxAY] 8nɖ/dB ^9{ew[>eJJUSsR7xFkDOL\cuZ2V@PKWPz=>9TzIniN~winFQAXPLZZ>ĠH%uv1KϜtnNH|vUy"'WwRūn+2FL,QW Q,F`!7 x$D0uV߂K2!v}['S|.xǑ ~Vg%]Bδ CD'7cO넲؈tV`QiO,i]^j jvԢccy_EY;󿕨)f#qC3bR.,uHyeMxKMjL>2SQMGf-Wng̟L@;e7f NTOamܪGMDtwB G_AWv &;x7Ed'HaJiX]m0rEh౵9Ө /̈́U$s޹Rn%QCď9F6+ }MtoOn ștTD&Xm>%د&ʹźCYED F!~3MV>_?ՅR/+!6{V_ 8gƩ#UzyNmADe 137?36"FjG%# yYKڄh-<ϸ;! @HN.O65yA3]t3"wmL?%^ YZGhjt@[l>un߅`-z+iqK+KR3@ »? StspazDS_`'d ۷h,ԟ;ϕ}5"G^SmYC|l3FUPħzb#?V., yMMù"\}"(&y!lfys1%^XYAJq]wb񒮧`::g5԰0:ozeQu"f2(1AUMm׍xowO6qV t:؛\YO]w$t% kkMl/GZDkhp ]R {.Kڂ^<"usã\-& %hܱIk N>z[]VG(^/i9X綴"};D/FbM"9=RO[< -kM';n_VMB !}h. H`ӍDM)a /Xʊ,bÁ'F[[hӈ7LT'% ;sk6P4cU;`QOL;,ID԰ZQuxw""~RĖ/+۹XXg'Z라h<p!% UM]]dNd#wލ8KI9քx;6t̩k7@vK3˿J5:'S.ع(ksSwJ]g ,$JzBSUrYJo'88V\'f*C&)SÕm ;Yb1,oPcơBO{󾒩+Ia={%(S;$pŅa:퉢q1LYxDp8j_i{^4tnJ`1O?1hXRҷEPN8dt cX?O^YӏH>#tH aGN@ߞ%|<"ً*P9@+~=eg sd YzBӼI , b85+Vsiq%w_ }Ó~xXIHz A9Z 5uJN Ƶ!p]5Ky)%[B@N.h,!Ett=RN8O΢}ȶɄ0itRvw'R7=1im+:JSanm8&ѿ51)j4JVz#d@hU,̖3ø!:JWRXt2su/|yȉ뜋}2s^ W!xiΙWw,WP2"K ê;a+{mNh>OՏ(D-<ኒfc7 Ԋ'PB&t/KlX)E菳qPDd+&B\pJh YJ1;(|Z~)W6%ZBiqry#Z {=-Iw%.G`b^c7lIu$y/K!~4n#cK)jDXf8v#ڟHܜXu\g? E{7qKޏh֚*UK)7nT-X@CT2 :tw@r ]Ip9ɚJbӛ.xnI?%j:FX'[&٦p-!̬c,u|V T. KW;99?25߻Vh(YNtFo>P~7k0iC|Y[v jآA?l2yT{\ʗ[s3YUдǪ g {sH:M(z;:oVܒ"FNz>'3 &r$¹9.ELk)M:Ⱦʏ$FӭI>NL4Bl^0Uպ' "׫g;*.hk媓ykF,X$t닪.+jX[N_kS<ƈ+zS:O+(F\{-L0>{Om˸KwfƆ"¥0?}Ҏl1V<4t+kc}=~ήu j-W͉gevjL"%8E"3b@VˠKK?1BTQb85XXHm$eKRvojοf t K}5heC-0*%«*$[|gھ(Ϙ N4]N*m2hfn&2ИJNyވr'\zVd/ (sk y =ZtFXzp( 5[;Ķ~V+ZidL$ŚA;]^wfw6 b)ɉ:ep3XBBxu$-IVUje8ux8LW\vCYLv$uJGq8"c=Nh+r*_jA=֦0D/]c_鵁A oz<|gљY0[C$7-9}+gl5کLh. _\$ZW'|k%mj8.]vͿLϾ缓r2g /&6ͫ06Y6KPSI^Ɣ?e 7WԒ3Q)7BT?nwXbN>w{-"]a8,a<3 aT7R P3xE0z0]oAOHx=|ʛzQv8J~U$Q Ze68f:!uٟ=sm]`O3u.P-4ILkK>9n;<56{@H@-yd-i-~E]9l aڀH<(wEhN }\ B\W kԥY:x͛qRҽQ${pyw# 4ĒQIK/ϫ 5>\j ŝx겳x0M4LPA֦fLߚx2fuY3=O#<;U~҈ OipYn6 cm9]GFdޓMϨY9yT 8 IL}~ܲˤ46iI"GJ=1oul|՞k$Ȕk!-AOo1L?~A@8ImLF;(lX#teQ gYZ H_Hg/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/files~~/src/HOL/Proofs/Lambda/InductTermi.thyH/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id216~/=' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages7zXZִF! ~]D?7 {?:fH\L6I|LnmwDSCv ,ecn〣0J@ON @ܠqn 2Ecɬ~1"&Uɒ"߹u>tϩnF,fz[Hmak!ш @놧#~At ELilpQ4Ҫ ]!LȋM붓3wIgR:bVGB?c$DS־g{DQΤE8&a|'rzb56ʱgYZu /=# |HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !v]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~@Z9~+/yJ9L<#ջ,2ޏ(!%Y8Euj,/kiۆ!*&]^O"MY)聅AѓTGֆfkLV /.g |4"0gU؆ј4ayz;,ᄻz6=3~?cؑ>JkC"\mf2͂wH:j;d*]/=!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.]RcD59vq)^ %X*Lml2Q-ظ?Ls4_̰&ԧr}42"rTEݑkdi%0]p@rhgLqgnM.0_OhS2-׈3Uq{r7݁%\nrC8g{{Ya6끵2m}I *yץi!9j=ce<O[nVܽ&;=8fnЬ;mȦ0TfuQWzOUf~sX4?ˋ:`383<Z L.|?ΪG#ug6J_±Fð/;FtbT Z?O< /iqm:LzRvE4/uĊr 3Gћw{P& q ? AD:vxscs ( ^;€WNK,J/FVc_FD-aW8.f;_]`^0@M(?XQVΟ![-2Užn|c~j]/! 6C ,91>c ND{~oaاs3ՠޣTetJ;6(;xm7Qo;D~V>w )DUuuM:Y=#wˢAUceдiԻ !5SrY𵦸:CČ=Fww&}\ya^vBU&RO@KV2:j+ AQъգzm<^@ 8̐29 Fav;C~eɽf)a{Hzt=/>TF\˃'?B eOW& I4͢zUQ x⨣x՝O֓,dTUGf{vMY/&CL-Orm,?뻷~4/@g`bjB+8P{;KmuW]ڒt4n*%7 w c50g1.H=LWf8I.KPt Oq0rdװ=0@6,!6G$Zmvp")(_J l6S, ZPRڃ_zaS|aؿ{z6!59LaX`^kډFZt5NLX[Aޞ-!zW; 0,>GRϢ# ?ȳ=qb1$ ԮiWgF?L]JB2i'Fn^+ TAY;2EG6A uXqH콻(6w0xe\P¢ gt/IY@$`]Rv@QިweW7iCZL=L,xt>|Ŋj[x~+`|n%ȝhXVg^M<Ө~v}7էT{n03ul}$1bYpމӫ7tN ?wd ]K;okKUmc]v (g/ yc h+'+e/z 0 4n&OSf@eQșbXYPȚlHm"F^jGueqFC@0V4laj t Swk)1k蒩͏{cYUx_Oq;1;wڎk5,ZeZ(wd-1s@>+=];;qpBD9RX'۽|" y_Wf,"6J1P]1jP-;m]ag/$pظ߭ƬU(iUEd= B`g1{tVhɽrʩ)LByΨ F؟ux~BMӭEuuk.@6D8(K ƃ3;}4RÝ'UܠH"S46Q?V?-Ӆ!=9gc HِVo-HdۣGvgTZIC,RxX3H< 03b(K)TiE ] A6;DYpx3Kko%ZisD xz^IozQ]aDZ0&Z3Hnm/x+R"$xFaZTg-Z줼 O}|f?6[%o%P <5 P[ң謯:9dIdif6NrgO@SDl߄!Hmb>:YRT;h1fl8%[Az>,d:;xTdGN0RCK%T"x2S BtY\Nҡ 5paӏZN)4̈́\c>$~ԉע]d.lu밉/Wpg?O.y?N "zVJ9{`2C1 1%~IG2~> |zz*_)]I'l)A+bt͎) zBD"K|%PZp(|գBZSg  R_I_H(t 5…$VކX](5O%K+.R2+z0![r)Whn+ ,V1|]#:@v,#aX-Arz/m){s/x4Razn B՚+vm<&Ũ966bbD""]t8LJԵs_j*%P,uf|3 rI?Sy ᄌ)-Eě:M뼈X~g(D5b$Qa+.d լ'q#q^b)D2>kK֘D%ljm@;041-HmEpeV:t}un/~D9 } lWB }bemo:5)gIbn Q؅h[mxhO]rh@F$Da 3 ޞYE,eW2w#ųp:sה&3>ne~|S~qxYm,)*f;xPͪlLyܡxm@oFŶ~,9%>h*7]|#KOʈp;g3XtU`9X*4i~|cL$HZGΈ?n,$]vm7}aKr"K-fI'Ab#=^ m&nćv?Tk i>L\ChCAHAΎbVl)zU] ?TL ?_} jP|s151  ;ܽxwBN"褏^͡ >\{nt3mPmF??o/,>sOL2f/7 \'\7UgKKS]3swdXQ2٣ _ }}=/=vlZB^zu(q[Y%*Y\J(zï"<#0pK*^5k|_LSKj=1W# QDB=AI,68;뺈C_>0<ϠG9H4WvT A/Z >$fqcy?zuȊyai*eՇkWKĜ _ZO.i{9.1jkoW!kOl)Ii0zٯԫ27uk,˯Ķl,T@LPo꩘ veyqN0l{.cerԳdŞDxzǙәӼ+f::ӥKrЌ!*m2"+FH0Ecb}^ֺrXd Ħ)e.!֝9pvƤ|3floFY\} bAj/BY%5`6>5xUp ϼeD +7iXH M~I0!0G5an_^`iM2QeDI<&O{]Ev#gD>7.=qe4& P皞:[5_&o̬[& 3[@Tx66Bb'#Yǧ뼋sK@@}=eg>^*gArH&,PY:JC_b>53@c\5j xw1M=Մ)=Hȯ( xs1N2}q V 7PNE!"*F&_1wiFe{1#B2RFFrMsn-==˩6A/ Pi*C0'E㴢 L 1z /t a꾛c>m(2^Nǵ5kK QɞؾV; aj_6t=^~sYP揢ls\Y(gkb?C6}Lj9S>#Ju(SmU"}3Gnކ?)% s8̣7oN7_54yL?zo 8q8 (vhJv|!p}l>JD "s&J rM$(X)n?}L[*Lp/.~*:H%EtS V*ş;ѷAo}^7'ks%FT`LvQbq[r5Uf4JPZeǿDF}%d1lA `(A!@&| }t8ո5OvRUzĢlk*:jk;J'>0ȕl`@X I q -'V?\ât @Z߅hM>)yTqVP}~ߗ(R۳bbcw EԜ2^5~.=bg9PC c3kr@u(3L4nˤ'rУhhUm @'$4jZ|k!v,DtPyiۏjieӹȖq.o75\TBcgجR.2yvauy3oa<Jx2}(zww;{)%K-Xb@fj-fTKYwb0.\Nbqg 1&ͬ Yz՗ΦxHv EbKJFЉYmmQPX@cGh2c_hKƋvѵ%ي?JL`(rbhkU@F\zae5UW):P 9hY0Zd&x=,~Vb;{h/bŅBF؟xs``rg :L"ڭ?=C};؊I s6RQ19zuYBu8.bm;pPTQ,)6x]ry3JL8g+' lvxqCNKJoƽHs]m)<) )n/n%mukH J?5ߨ)xKs"P2L<[?{-1Ԣe{]g+ep^`(v gݷ-lVӑ*Aovtiqڙb}o&W c AM6!4LmTԿt(f3ހ%`@5lb8KUBüէp=~/hIY+j>EN5B/MVjV-\&WPf_)Boj@(t84r׽tRem-_S"WQʃPC BkIlx7LĺԞJl?C&2֌ԺKv^<'ti+sVqPp 1xp"$Hl䏧,o}9b3ћ˵jN}HqUco/bC=@Z48뢇G֣ ,Ci<^J#>/*$HsTsRvs~)zٵD)~dL$"6ow0Ex%j K/焬nLcNKe.m0ɓIKQ&pһR˗Ezhټ&S$4a*W{.䏎0}yqE}"k"$Cix)Uh6slYOR4XƋyb&M|M҅527\ $O-?(t^56*e&!܃SOf9J $)TH-rF |TAWcuu lC]x^bi4NeLJ8D/b9aozGBX6qw!|8,u!\ zPȴ_pOLPGU_D v^܉.cGvR)TVmQmp]  -!(fiOsȔEPJw?C#V̚.SV S;)J5 (Pհ=BE`\fVqS}EiTQ6Z^z>7t9a[ f]/N0G򁥤Rr,_giX-7G M6*HsŴ>בNh/N j]Er͡4Τ EXvHR2ϕyk4Hc/4M K0RXFh$ӧ>MӨ>!}{(w̝{`}HwISc`&&&t /V"f\!Cq]NS7J2cx5N[ULci z^xffSw zL~q!.,d%mjA;OUA,u~bS\ðQfx*F(TB-@0Z,PC.gYZ(Mʱahh cWTǟFcJa=DK ڮlhBq%l>1t92}FZR;CP} kHLST^0V% deBJ׉'%+:!Vs* 3̽W/FzߪjcX5/Uf-TaXcNew;-QkB?5.SoQ2&'(RYߗ8V6e6`@4|b>M5E.VL=l8ve)ɇ"! ǫPr=2UHQ> 9MJLJ~dZ;hIsw|6'升M̫@sV.0w;IYk]">*V]0W*ߏކwcO4ֱ?zʞr)4\M&|(0O߱ >d''T8kbm Jo }Wϖa۫2rϤӋ~CZh[n] 7^^M+Ԇj_>TU% ZρN14>QbOCAәzd اq̚r6IjEB~S&','}^~ǡ{KX(ڵu;Wts@3;KEXBUG]56־ȓX^T'xT ,߸NF0γYjQ/T\Xu|VĘTN$ӺvmQڪojdSaK4C%Y z5Oxț6Kn˃ӛLAt| a.GU,f`2 Y]1wwa/zdHMQ]@pu\A/*}מqq@n4/$:LR qW}sf_AdpuQ7tt4DחVe.@Q"sJN!׸"HXC?C_,ye(M۠=u$Ow>\x+=BD˘}l(XJ'^Z~v Q6͚=NA2׼ogM&QJCw7_ćÕ:5mY~`WX'돽%S~"ZmyMkIbE{A>0ut Lh%,uTi82n2;睔CW0jI=d6;Q^Y$fqZjLtC)QdA\24~>Ht@&46X;-D֕w*q)$JҝTw^13Nfd~H!{#+ AxH G'uѾyZ\ )Z;6zXadtצhBSi ORĆeKnp٣_g5 o;gyj't?zT)>+zޕ"/UgF~nI&fkM[Ē &^PYH~O׋}P/M)(5 `S ¸\1|&̹_#hd;ClN23 EռMfNͦ*?.!,VN/YVjۗ69jvNqd3IEFB5,X*qmF5d"/tD*z,Q *rbzm%6IqjlsUy(\YwwuWD!- *?8Up>Ğ9b}VeKplUc7p9 4C Gf=6՜:_vPN+u"+jrDHe%r!.ОVZ&[DS-zwѰ+j0ɗW  p;t}I^ND>Q:ߕop1<#aDˌ%x+[k꠯X)SyU~@d-`X[?\yzU 3^7cÃJ&pT]xJ=nߓ r7wͤ #zF[G/Wu;KD֬ETyKU#k"# \wa׊[2k-1э uǛEQw 8g-DgAz/0e _0n"a YMRf(,3K 19`. ^^|EtPWDhP1tѷҙ5?(dKDN9ܔhn(rSs3`a,ʴ\MYXD|_sCyCnG.kMnߗc|=ҸE]cq1x]l!.iYvTd @7eU/SM4eiFbhS-j'+G"~ N2"׆v!YD@K(*4@Fm м< > x$KN9gC+T ~xn$ymo7?س(TaQQZ䊘bz8{ qӔ\8";wwᴫ}wu McaK|[K|/sE#zll̳”}jr3O#\xH]o҃?X--ǔHcɀ $t@0;;mx<'tczGM]i1$S>I*O6+7wB(D?/DR5cQ=@i(Dt#>cOD0t◿~NG0=-&-gYZ o.oo/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files~~/src/HOL/Proofs/Lambda/ListApplication.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id206C/G' HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7zXZִF! (s>]·Iq n[:|&[zܒjR'-PVatvtLV HRrԠkIfI@ud~yX6KkO[]HI-B]*Űp7=}{lK~k:PM?*q'*n5̆ZQ ߃15)^f'"%FX,~EaS+~šK.lw庆}1WG[ G֢USZƒHhj@K6;X͂V j'ogJʿLPĊDtiˇOm/S>jTg f^ /jd('WKq|D*Xܰ+*r[8n $e [ poyo{6E[51 ?&k<LWZ[N!ݝJ^PfPهېH۸NSLSA<6U v{exHcq]^OI. IlS:9FP}xTӶR R՚F4ey5]#9\ 5\:9GRK䖦u%Rab Ӧ \[g{ om>V C迶6mqtP{*0DfiP_pS̆W=umܒۚ3b:L$+,l7)ð*N}[T`*ЏX7nrE?R]d-3{WpO8Ȭ#ɢ O$.QSXriYHYG˟vM K|Xu3̇Mz?sOuRnꥦLFhdwehU M'|sqoD. o_ qzRN'[.#7Xdk/gQRNw*U*BuK@%2\_q0OC>ʢ4dQ.C<@[mibSC0OT^yQh d?e'-sT@wȤMsy"ʵa]ΈWPڱ6UVT}2#K+ o㌕OlhEm {pKѓ^N0j'6~1g1wO_%-v_`C޴!S ϼp*i/tm HB~ؕQ].:KfGu{;h?;zfFG^UkXȌ%Zca3o6ԅ_O:_kvcՌ|BncޣsH >ikr?t# 8!o_4;c"6Vg}P\=!7fĵ Aɽ'PFo(3XJ՗@f6ՊMeC11 }sQG%i0C.Ɔ_^U} ) L?p3c8+LV ٍiӪoXDS, Ä#5oi<;yJ2"TЌC>{[Cg8 ߪ>N:{DgwR q] "ڼivOsj}'}l G ta'G@KY$oT 4=]IO۪275fϷ%y÷jd?|h5@[sdmoJ*֩ߢH4 M⯨_orO,ݵˁ/Kk̞fvJbfFye}MVbƕհ{^;_`e*@: ؊"{[|f.p Se5^=zrZ>?`Z &R#"-kmE  O"Ņ15>pd?4!C SO5b kV`&H 6-Д{e7E f8(dQCZoF ,ŹzАs՞yMt( }Cqdp s[6rCͦ>Y=<7^I@#b ApY74sÉ^-~D^ 2yqK޷a.5 >'5\44 iH4mį3\_l^VycU8TeK&N|}i(|x,&Fb70E=Ї*(P_qsՋ`ypey}Un)B,Fz9$S<?77ju ^ 0ykBf)ƩI0H4 !C<jF~X6νsNdMجUb)LBq.į٭?=CX T{L$TӮ c ߇S P6k@ffΔ=T̞}f1h'V}Gɩ3D~;KS7 2JQ8zYv$#{8!Q"bwmh唆qޡeBykgt'Eq-~>m$ڌ[d ch@j$>%23~{ v5JG- ^w"&:%{`OȢ7mvl_ FP'3OyStC;9{翋{aMTz |N0-V8. ȍ9Ÿe[o0,l~:JGZX+:vo: 1nėZʺC̷h,[fuT*>aR~(D2R0]xB,;Z#z<6= yʁn6gҴlql_}mi^ } ف0OE#%]-).K4(? ڝ4M  #?B\tǓf ^+zή66(u;wleu?vjQC|}qpy<sDrF3^g8ee|.Y+`ʾ0VA^EIe ĿS DW`zʅzwV "4"tC/<0-p#]'1 N`Y)σ"/3KLւnh&&V"㉡9W}*Mop};IEQt ܽ bw7nBMFK)8'Gq{_T#YeuF&r--K5)w$Jg_K+n9ƕOaqJ Q$($|8M97ו $uh%A1,L_ub= Vz c$Q`_QLN`V{\`t)럾jT k&Ij%nS,/6ީVvH+*jc R؋ %ٜIV[PC|.V G8+ .܉Z /RAdujiP;+0)'^6Wыu30< PR VUTl;BuEO WWq9߅P&X?DR;h<zR0Wp{\@fT ;k  @jwD+=#VсwUc2Oƞ+ 6n6!6# Aj\b)sa@aAkO/C4dk|!MA ?HːF)Z=X" -ľl=BgJIq[#nOk&NON ue TmFuaG(ӮgV!Z.zR|@{krpUHJ&gƃw{h7z jy2C iIZ"cxQ/"5+-/L,KƆ-yqDhF^ o;&K 8h\4i8| \xA'{".F !ӎRnHB*: E魱D0dxR7v~ mjv[sH_09&|odX_zë]4Ʉ ?ֱgYZ KlKJ /O# HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! A]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS0i`-=.-yqNݬDecoz(ІIZ)Z¯Om|+eYYˉ,׮AN|6yW,9.n=xe},AgvZcfbv8IUl6t g rgC;^X층]@7B) eTQaXhRkRLfƚzN>b_%>ȒrvDHlhvt6¬0:Пa:+b*7u0S1FZCt (zS!%N RmL̨8.JI$ㅗҍ WYx2i$pq2OD>JwIujhc&'#&~YMio~G"-#SգKP&Gf}!bv_eX:/n'W+PtNqT/_>cb!nG j;"QXJ>>uyRAi7}΁qK B*!Ԫ2SQrkǵejpɮN* [9PpKL1[#6.Tzw]z‡8? r1 [5> (>Js|MJ\&,!ŠN&AYwdAMރ usKB;grż ?/ R@YZj/:ugyEIx EFEωokkS9} Vid Ftj0b꞊|:xi=&;,KVVOFHk8?ԍ?w̃E΀!^ rC)\W) ;~ ZUi[&ϛ>l:K>k\!@9rKP28ZV0o |& P(Mmd :~!c3~]>"SPm&XU7%[ǝG&*Izeįb9" Bk('.U֘3s009&pw!گ>ɕ A,Asz.a[,#紸W)žw?u-pBm^38n1ew/6Uq#ZR6=d)FJK!g1D}s {:7$EPdxE*yZm\o,T.:JR$]Gc"-'Mv~EFvxJꢋ'"؄TA+'2B٩t n#ٷ6´:"t[گXh:@uCgn[gI4MchSxxBVKè/ګ>G~^#ڜ,pqk 4^*b$`yO82+BxgexZMɼ25".tE^[ɥЁR$- qN1$j1Y!E3Ye8K6Y|Bp:P@9E(IYc=GoNq8fhg zuGm+Ph4mE3<z<\e#t:b$r;.\هޞmaCIaR~]6ف$/ֲb!h?0,r\m8{\GZa 5 VOxW- &Pfe_]ГE WΈkxFees?p0p v *]=]mOdc':`OoؚhmՎ[Vj<#wW3̜uKI )%nvei=I6bOd ـfx@=+"4VKE)y\ e .m K"ĔwW-iDʠV=:McHN^7 auPz_Yޣ,V VҖm8U}ut+XcJ 3h۹>LۺxoXŇO_0,Cpζ@j3߯ђçFM(aXjFv2d͸ٸ_>\t |鿉!'{f\zB Q's ᜨ:/J9|Vhao)Hj(-F8jVHiqU[h;%Wͮbq@ ( mxm 9SDYCо%,VZNp"[G,|J ,I'a7`ԗ0MGUt|= ӷ\]0[-f@7CJZqmU b8:`L*Q8!(wP44GLΏbE#ř>Wbmڹ)GۋXFKznFɄw8 |`!4HO}40{PgToajKnri3[/`Ir:z,ѱ = 4w|N Pvη'7*ެ9H" (\E-Cخ>mNO⳷i܅חȧږ]Sp+Yă)^sga6ܟMzٷ9`wbHQOv32^lQȘ9,WT @ɦr^FLޚ]srz:U`GW>wyL1o:9D"BFca{put-gAp32Ugp HOSG%V8Bc.z_:+P= w/Dݬcv`cr xɆi>'Jfy ^qo ly4:l+=|Ќ(D5=8ۇc$}y5B8Y}sH|7; nhSfA-&6rT{eEc$@Y{.!pY=G#:H+2zb@YP ,- OxN=/IQ8NMo[R Ѻ5vJ*EDkNÆ؞k{I=OGx*E]|VbȫdjsOn/@S]Y&?t0i':@,v6.'L-zxӼ i֋S8QBZdS{2NdM[6jD\Ar#FEMAA—vxӟD1Vft['_eS}֯ueX (Qb]F؏Uڕ+F7O?2 )hdM' SRJp?'Z8 4Ld; .^; ?ILQ/i`Gw;(c⧿yL<LfNa\|o%(,-|N #e)zP*5蓾H2giCڮtϢ~?8] ?ص\Y4*rrH^r,dzI"^taw!(0StW 2㍅GN8s/{~7k*$.6fM^a P!g-]mWdfaÇQ0PhIZHEw_h GlU&HJ5] gZ0gᨙ4h!wnQ{\29ѓͿksfXCsH.:5bxk/DCSB6WHȀRi<7q8Z頲+Óp8Rc6|g|j\0~y"5*eX~F::J&u#(RWD]!S#q7>&~#Z(~^#*GT :As o^ Ըᮏb_~(_;h𓞃m(8L%aBgi۹%ǍjhW7)! Og(K rk\Z6w:ࢋ"_(DֽТmd|? RJo2~'baJ*@HU'qC~ ȴA,1D+L{>[;;!sʮu,kd_|5 |3'4y *i|SW=P[$s '1D̃&1Qi7JZ|Q{^3WvUt-"OG/is+W7&&f:/@#!ZPr:Dg0+lu6:lɃY-g8y\9e?<LoX TV@}ikg)c!`:gePmr΃}\9 \# Όwzg0ˮr)̒ #ui=~*O2-҂oD4NʆdBD$gg`e17Dkz zpP{p-!UWuO]Z4b]fNۙTCYj[ ڀX4u@{BO>c59"|V }v& ++Q˰`x_rX,&'k94B'FUcnE'*d8̥)P= i/ k'c7}`SVA~^0^{[X}hG`T /*g/]~}$7zcah3s)ywYd]{` |[J60i|Dzu BT (W+w)lbrL]&v 0* VdoR"r-lΕQ@aJ (aI/k* Cby?s'H;;\H"IY_!f[kU?NJg,ێKonDCEAS)QU5BH7[9S:=j5k,1Ւُl5b)NֿT۟',.DiqP(q\HK ĀCO]5*L%ښBˢ7+w'{&iܝ@,%.KPff(_!Ֆٳ(yeH+O3rkN皓=Gis:vuFޓFw&Xp]2GxmX nQ# et̕wTҐ7%rLfb.xViT$5T^FWCߚwqE?/5c2u}% MNMjWzc.:"iN٧0L5fxϓ_m3!ޣ$F r X֚i xU{C/l?^:ig#y5܌&J G ^C;mu'qZC]'tn4QluLlguǃC*S#ȩM3L#tz3* lyH4Tsᬻ)# 0ty[O4_K @= ^*{k!qB43LW,qtymPEF uY.DT݇VV[cb8Sqt)(q 0YN ɟ5 (::J99F!+9.6ɓTԓQ+H&ˑuAEzؚɆ\7sA Eޒ h( 3NZ^ > (AtAJ / &.=)e8*.e`E>(o:vBLYO*kJD2/ma+URv}cUNWZۦE))O D70TK_|Olv ;C 5)pGPנK ^>#0u_O1Ft/'ǃn?@u~1LDtUM]{Z@7bT"aTY ${lt'4 !/zߏs*t9iS9rWE~1,S˴iI-3Dz0n3=jHj,3 >O2a{|t8@gb?*w7\P9. M@3 30O"@p1%c(rn/"fV?>Nǚ$}=?> RN{ fKd|20KDJ\ q L C 0u6cVV'e~ )U2W GSV@_T)TW^>??;`SjoXܨ4N 84CK~foUE It_R_]טb-]x$w]1*L-'6$ QN[lN?s~x-2sWfnOQtgUXTg o&ip!vb/a2ޭNtxU_fSڱ0+0ˈv66)x->xԣVfSXnAvOIK ,2Ⴈ5ߴtwLdΰ[H#U `wc=Ĉ`D^GU3KK`}Ā(0a RjLh%߼˚ã Q RE_f2ـ^!ͯYr-ҟ/2&Y?9E6`% ;R}j0P( Ws^[CYWm bNؗ2Z6I&V 3tUD{HChti_X(p)RFГ]=(uo ' 'jV!jjB4/^վ$X= wmfb0Qy1Ĝۧ5S pSՈUq0wOXfS#q&w+̉DH[k8!Du% ]fQ<`.os. ͓]:^rML qA)7Pۀ2yI`(@^U\*:\*?>"A.ۃYn7zmMsp\(U)Lp:P /RdpBTJ輫ɼ)3)  Ŏ+Y 77*XZeuȬ_VG6< Ä73h#'Gv 0~vqJC $ao~o2 F;U55q.'6c ju \h?ȣqH kos͘D8YF"*%b>ĉ9YDE8jYfM bm  ^7'<BD1*=p۽Ci Lvw&RC }KJ]qF)!)cgϥX&?C W:9Br6~ݘp m yed 뛺Ы=k .wc ,:=v{Χz-'1l>U=_ъc*6SJzW 1}øC#I>=bS>+g7]Kbe r1ILf%,}F)vNs6㍳;Dl-HTsOhGŭK?*[+]>x?RD?tB>SYLޅ }q3߃GafI㜌aysQ/2$Ō|)G6S pK4jظh/SaxjBkDYi(+ٴ@c-]oe FOR*JC]0W0.v՞$T_x+n9N)_Hwge$["C۶KZ bd]=ޤs5ޠDvYuS_g]̂tm < N '3B 9ĦާcQ&y%jGp׋)&\b>Kz/u8eXH:9AV=QV K$qjkLAWr 1Q[k29)qKue졐Cu\=:jF"3ó,`c{sP\yۑK '>ä@-̬ȐDtXĚr  I<օncpHi XXKV7>sapK=%IpY.p67rV,F_'`*>kn4s5,[|wV2z1|Aw2;q/ʫ8}FIښ ]Piri 0ID r`a0~ [;K^|'<LΙ",S%TK뙅Mk:O6H DyX?ū+'d@|De!5)y xmP˾V tKG_ 8I/VγNmHg fl_澳v]m9jƾ][DKӭP(uh WpjX ~Yͫ$<ͥWѣXTcy.oрuD{nOW74g"ЎK{jIiɰPX~rk &0FS8Ѧy o/;uEG0UcgOQ%/ɖE:'^`G^蝒Ƽ/{+@hWu>ę#dfFYjש}ieod"008j-q<:trv-jͷ&1-veS w R` \Fkm%SDAe:Juvv >Z-zX<+!֮Z͗[Q͘3ĶLꢜ0+H|6ށi*zp|iƈ}>6q}ՍNV]5fI_^ߐ[:-5G⺠[|IYe."*h GвӮh]}QнdURvԭG&)*΋(&S;tD;#E@,oN.|̹9,G tnL>jF" ʑ*GMl lJ撁7tŃD M2`ybnP[G2Q6ظNs [ؽϻz,$6 ,,5[j޽.j=H5~Irq.M.?Uq^nO~2{3|`Hsnq_rd"1}){UE):ޘD6/,uTj_}C@D 4;Ho?vwHXLfw&,Ɉe;4Ltqee!KH1DfWժEV2ؐ)0 Ew*e4o݂b2#5l^6kV vm yo*rhlJKI'jB-L׮VT34{u*{yubV#8*X9۽ }1Vq>hչh?54nZtt0,V͠r*ŝxwJ.YSXp${3%L-6 {4k 3r[fae!mh")sG#?y5hV>i9(%\sKm+sʈ4 jS0%,$E_n#B;l-f_Xϸ+IVfD_V/E`@SL[$La[WhT Uq ' 0Ͷrhڻ,DN8 `Ҟw ݧ"UKتGf]DA;-I)#y0_`CZhw<%Q^6&h!(Zl[I 魘!A: hljvf̗oq~ 2禖ěSX` U#zo(YU`|¸nAm0-S?HϽ=3kNyy<8z@=SvshbZ y@vͯi{V Pמm@[Qc5\Ujc^Bv#ou'F4y2`ck֦!'MPk7Qnbt{8@rWר! 9N`mGF,ETҕHn0Li7¥̧_+Zp@KgÕ$[*v$CSJw9w%ڳv (l&t7 ˯ɨrfl5:Էo|pF k2칮ɬ"S?NNL64C'9#cRl~3TzBU"&3 >J*,Q<Wr>'2A+@x3[ϾNO4ѺGñv0bfĽEUD\(O'_É6$gH5?zq%߄z}|{RXK)8h,ߣ\ -|WQZ7a~iɳ{CѺӉZb]IےfA+.YdQ`ךa]H -\}jL; :5+u NvOl G, w`Ur9݅DFlaܰ-ZgSffݨ1Pڼѯ^b4]BFF$ɇB %*ֆMӝrn" X$[_yrM5M6nsCQnCOY 2v<Ď*"1WN󒵞d˝PԖ 'ynY$\>"5oޱ4.q[pѨ4c)Fh5lUΙ;mŧ臺xkNr/ 6m=vw\E);@:~"n4NMP/RHC.c yFjW> `j8YҔKNF~!F K`C1"Tfxqotijkb^(¿C5ljWRƂz r|hp1KG/@be?W ,rgn6;113yzXaK>Vw'W4V"J1]a?6hʎfeDPb}4¦$Qkڽks"_1o8p, ҝS gs-Lp0`%Uk8/ lNj{re> rGL(z.<"w9fUU˵h~< oE%˙e2<].LEvΌI*1ww:9I˻OI(D~;ͤn‚q ֮Yԃ6zƔhV~#)t1,5|8mN-1nZbwg'wwÏn%=voωAmqAaAm<?5.nV&Y޶Q܁)ۂa&]yDA <}{PJB,#Tńfu:0{r U7kD/ɚX^ b°}d+QXO#9TFR#X@;`eWƧ?6g#L8e  `QmPf4 d:$p)^R2@㜹GkIײ6K'W(Kg̓*Gkx6BoG,y߀7[M(y.nYCTŀK~iAFd`,"`j&Rj3@nhø H_\'ViL*<^Lf`9s0Pǒ_.}?F |>~'(̕$%Z|DQUn981 4Dk.ʀxJz.PmҼ,;bY:˯dmIW1Ĥ!zSDHzav%@+ɥʖRկo@ W~`vZfGt-/^eBN \C{-b"X.zTi`Q@|8%vWW5,yxt)ߔ}6A@홄9HE?aNBk 4E)I':EفǷfj_ߖ$jc%W ii( GMú[94.ی,ϊ0!4a:DP("^fbG ze(oaA66Ja:bTk*+AؼtT~`e[ ?X$` !Қ_]sExmג_zї>lQ]®PQvK,PzN):*H;(sU/b|PLUDrSѬ@ \"N-{0PӶ(7(}ۓև5^#̒M[[׷LEpi`Ù6uVQ䷷TZMB+_\P4 Pz6<XF1f+:SV*`fQJU$Dع5u-!Vh#hŅQHi!pK\[7jģnO˲H|42,tid,`>FE_b+cS @t{%ߣ*a ~z,H/,2.xhʽ%)w杩fL-%)<Մ Y#\^1c$F+Cc؅.E3 % /f^'E8nc4V|ߒEQC{6blGxv?%Vg 3 T֒q&|mIr( ZT!sv%QJK3䈃s@rdiIAUeyqnOU^p!2=?L:W(!`Q UZ/,LɏبΩD` #0VBJ:L qj65ypf? o:| Q ylip +Mf 6QG8Δ Β k`Z{&rO AdI*WxDET*(' ; ()тT)3uDZVӫqDVRGr?dIwso&4w'5Rq,KV>M^nzlc ׽B &onY=Am/x$WI|RE<4'i(&̖r8VX:5#ir{ C 1fञ=DaGS,3Fqap[ฒCt' B֧7 fU"3 +z.ȃ+x -^1Ũ&L,/*zQgYZ  ^ Jk! /A# dHOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! b]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E eJ2-L>g9 0 񵀴y Gg^ngЁ۞#Bf'|(0W$oư[b}@Tc":{{:FMdpO-uS3HɋJȻW`^.O1x?e." +ޢrl^[pr'=!3LN#ݔOY7攳xD]oAɛ\lJ]DXXp-hZpV4lCUzx3VwD}D+raR8*?&ﳼ %i SfC5k+GQ&3Q-^(3p/K H e?IbAwA(dIjɵV "˰`Hw0 !mq0azyJLt)-82AY˩ψ. 0^oXhn=[ AF4bKDt-oi%FfC>6!?Z&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' bػ8~J1 H+LpzQW>E,qQk#FҬ8 Yu} gu1Ңoꘐ /'Us&jr0dKٝExhD` x1$| tІrD1{k{Q|yl# F??稪GKS[M$}e҉-ƕm= eѡ̴r`K28C;u wk_ ˅&dhZU\cEĒګ.4ɲ)X?`mҢEcjw:S EQd+]y-nN% kL $eOggIZ~1AΨ܆N^( vC!$ΰ>QR{nW\7|c /b?=q-2eB& /1+Vq H-Hi}ǷAmD%1nCG>y$0#-]Hy=hD"+E wi7Ϻaci6Zp$G|+6\k~mT-k8-+恠svhQ9Qm&yDa zZMPM' &Op5Cm~)Wf;B(f"y}=W :\5> 2%<5Wλ)ĤG oRFQq_ؼhD@avruo#9,{2QF LY .vbU'}`)d=:o\X54`xzッ6jA]D:~iA pԯl(O".8k<'SKNO+Ĉ#Rt ykˢ Ql6jArI'K*=XdfyC'ɞzYe[jr, 14Q w=gV/(P}vUGHj73Hl6{#b$tfeSzաq(}[Ԭ AJDCkz(QN(I]qҔͬH%(MpОϜ3bJ U'$ta=-sץq;Z,*\Dr(c7d1i6[ؾx\lhcj(F7s= G.tf-=/b5q%=GQ "9jh r MydimLsEuPM<a.b((,XkMD<6l h%!\9ڄW CN,A!1xq3ks$%S14&CӚc*}6e" GނYw24n-ߊ4L\˸%0r.4Ԡү7"U(u&I RWbEk#}I;*JjUC$ώJ`7겑1D7,2j4/QEzqܭ4N9Duj(EȰ0gx|p+WzG;.τx}}Flv?ձypbsy9w E0(ᢕ`>nų_5:j|x?*@JFVn)=W5C9ދk~8Rۋ"9 >nb1ؗx{^ F_WL&&jݎV/X@$LU5fKZl} n"hi3 UiRܯ:I ᰫsY^R'b;:$]=bq%يc+72(ܜ-`S( ~mYSb fpe0|k8Bm_,2 3~.vaW8Y^}ڣ`+"3"=-w/Q"jt'ls6}U T?g,v JE޻VC)C,es;~=13|%1= 2 o$SDRPpZSzic<[ghc HFGbmD㫺-f3%WOwZZ3Y&n&=f}\˚F K0fEˣ~1kd'%@ ¼`QpU'IyaĩUl',X:Or8| 38l`tKVLtkkUaNGo9i<L1{9\+c3N1w! .NY֊E ,|=HuTMHIuPj}'O\DqV%-jWh|xy{(NRb :?ao?FbL'V^RcdxlpK{6PqgBzq!cɧMF{X*l}0X @}Ecx\/~='/,qQ&W_W5PHf,sUuPQe|<fڀ-Ӟe.Qw X0BDaD䭿|o WňߓP͕X)3`꯵}֌6sOP%@DFd\W@hfIsТ$Ls{f˵j|~QܞݲuBI Wũ$3k'sM;NAȩ'ޔ߫0Ym|PD3#{|iW[X-@5O {ZV \B k49+ "eo_@0khWݫ/hNs nlxY-l׋d5Xzv  F+MENtdSn\'f;$+y ܅D@T%f~/yQ;am;{*jtls{4ȥmEFU_dA =7.7g ;8<%JRcNiVT덛͸Kl ;ە7eOMy4tNG:۫c>1/8B&|s5xbMH nԯy=ǠiAG>)[݄FnnyOJUƼ@=R Wc/ !FUuCDg2%(=& ;Qh|SnOh e# /N A3of7qpʁZq N UZv,n)f֮*k#96?:ȌBy4e)32NF񙛹%P,VLqS6Ȟ+%D.To|sӂa:t, ݞQpd9um_u ?U7~ $S?2ȱr' yttCU4G=ϟIbIv- f]7F \9ǵtq kѫȖ wf_hODJc@3R0{pBr_J])KȚ(i$Ot(w?J\8_AH3xwo-z`vf!d.F:]]R?/c`(WVO~ z&" }}]]h?= L9l?nOȀYE\AN ,%!X~B2/%e/tsRC>Q]Iaq)raG3]j'o \sv7; G lO *U'!Gs1QE\d,Û|IEC/ʈ?uNႽI4m+8| K4xV=G]!"-Qؖ9rBQ_-PYO@DK:o@/]5$_GZY+i閬QDUF.eTP$Jܱ)"Gciu<1)> FE3+X˨b7ޮ,jV1G1&iUooV T4>yvWMWP  qY&vpL4db(M-=rxa <3 Z{\<;屓zmmI4+JZyPُD Sӣj4Q[# lt]FdKZ\;Yp T,V9{afqW~\kmC;pkh`//C-)ld(\Wx-6n6! xDǰ3z^'1UOnS8CnwcphrpQP:F?]!Tv6hա5oeNƤL7ruQrSƞ;N5q ٞm?X=a A ?23}9 l&6Z2Fu(IW 1ن"Z`3]z ЛNA72.,~sbZ(IMRjzqқʵzeP 6׌:/<&Nߦϐ5EJj(+o% S>B=j&j){FVzvEeMjSu$&ۺlzA1JTp|Jj[E%PBAJ݇' 6 /$LӹV5Y6e}\hv `rs Q{Ŋ5Oywϙ8*D> DvҡP5Q!̌Xp D>4^-%MQoF8X9]jZ>Kf6!z 3x FS2 F߬i'g6Zۧf̀VCTk{*c#B`Pp.6WfKtj~SOAT#pO^%YȬK$ze~bY ɉxg44|nuS%PT]Gq| DoWL_]upxyIS%+FH y%Щ54oˇ=rsw6!4lBEpclzUCS,+.krj*cAYw H BzmI1@ӊ2ݏptZ~uD9$p0jk7~cNyɡ`{dY?Cj(ܜ^\S[&C1&KH]cy0_ZwK0N T)&[dvqµvc2ο?e`>S= r6_2""Kx L{vH hDGUCm2GG=iWouVihƛӭmir tR%x ?'F2=uyh_`w0SA9ήU7NLO,9We|oLH=M=Rf7tvW B/IDjˍw݀N$Ώ cGgѐ" X`gCX: 069FMW@᎟6ϩa\P#KX߻=, fO 2) S"Y=!KO/7M?sRho{%˒DrRt5M]&HGQ3u.d!V =2 :KR9Lz=bAY'Xs&yAWy5,v$H֯` (fo!{f;FKį"qçI"+J?۲21vFLsvDmt#&-4̻?m~N>9bpU a3Q3eVqDej dp;l3S\sx8&l{_ 3|~yY*6nxe視EOvwZx qRv9ySs>|YPtruI뀔m7S>巫} FV #:$zt&ƁWO;=ōf2kiB.qT<O=ҿ?% !N`k a;W)Gw@NE Azh dد:mu.oqlA=-MlGYp\oXWp0Ȣu "bXgziQ?\|uƤsrHti{ٞ%e6:(4s}Rr"`^+ 8{ :[XIKXFTwMs٥<m[ϫzى$C`HlIWY]vooٝ}s䆢?GIWi!$K+yhɧľ-=}, wPJu>RȽBLVd" 7g=+a 3].0G@EDzd pYR1y˃,N! ƪrFn4&PeoJ c~;ӚD˺xȗD!1Jj3F.=G45;H1)L2n\ eVڮV\,_ ) 23G "LM k6մb+NFlvЭESB9ai oOİ.xH2=}G:Y+5;FIXT]s ΎΑTfV vjSG 3 atb߃d,qSU.E z&? /`#nH:( WQQroN7;R_zj.:r9QM8SjH#m_XvKE[4<ܮ[֫UzCp2`zq]NYKP}$dL!'!x#T!FSelubr%[b4vZEQ^JkT-&9sTEu1̢)J"aKcICF@!X3mڤNe_>MIދon5`'XFVEa 5>*NϯXsy;.S*07`3 )D@UMZMk+}Q([+ ز dk&3ǛB?% ӌ+|e\cId/` ѯ[l׷Ҥr8$$CoӜ-sũmKhQP%i'*8*d½LCǰ]iJ1-7H/p߹gJYL;ys&u"Qa{ΎTe}(^KO4˒ ߮`Hys2Â}3z,]PB(Z$i,ӁP+E)p|LI=cc^ʻIZ OCc]B^#5bPTx *@ 77 |Cg<<"zކ dG0@Ǣ_s1X0ݥsl3&yx\pl`ԅ[B:b jK5}:%lj_S$]ŵ*Qa|&$:Gqnu}JzF?U T$VB%Y䞮5( [Ju(m) ǃ% /VnI]߸ _fE4 j-~הLBSI(3OF}Jp'6I8K˅쒀`LK0"vjڼ:'o?-ܑrF*33:@|7]vT_kg爧sIE>LMRPyznM,q,DJ0O n=ƑSq]Fl!Jh-?;){8PlWǧ=VۢK,s}Qɽk Z]5sh .ѕ-1ZŶˉmɺQ!WYځ``QnV(3u=#Fa'97ӣQO}0E^^4sBM\дm mw A Kє~,V-eYܝQa6c2iho ݃LQI~2J<\8],8{:]^:Ty7+}' ~n4i+.<`,6җ~sp c2ɛP`[3ߗ tB-nbTew#章&Joٶ() x}fsӮ\uB HGsx {Ԝa 5z+lqY62 y}#H1H*P4 - >_ag~X^Dg;$'/ 5i"mG_AH8PZ CFnQ'\| GdI`AKghKq4֤PEukӋ|>K"iV#ޞl01]o.EpҌ0M<8/=]qwCM/ !]-"or1|  ݳ0QZ%DC8D)#Q?{!p,t:6,;u!1g%ҒӬRe5Vwzɒd si@/GM8g(OK@Yt |ᚕwll$S4D}x^Jw_)<9PwYDXtY;mE|bKr6Uē x"I-ĥPkfa@cg=6sIF52J:fJ}&$<_`liƆ#3xg#+vhUp:KGz4SO8y jц1*rPԷ;,EӖO # s֞al5)o djh겼{*Wqn5P8U0q+5\1e])ltE59]4(1OkVjwd+L˳5fT-1[~r}Z0\k2Rʓ'Q>sb0|aToDhqGCVkX7T7*1>ک*V (m φTBOs~ =eD[erE\4k9"75܈uwb=T)61@‘ht#( c8xQ ؓQy ӄ{h3愀v*v/ `.5W Ӭubdv+57Y5>3arpdlrp9@ҹ%4|w,p4NRfTu-6Hr1si.Ȩ`񫀛N aOb41u7+l#3[ y^^(EYc+M!_IwVhp~r (1zκxg.! O[0YNң5Xh\ 3N؇]j~o{LkfN n dY7&QGf P/W]H10 j-ޥ*t$y(8s}j)x>|>M\%q'TcoBB$BEp/ĹռNgGH-#紧dFB$yD6xOY;TMa-@|w] F1]CLGFR_->bs.t|WQedHIԺZ ‹c 衉W "VN ̂Ls1G"^$;5'x+垝O #8ۙ٨6#0ʹ_*#/bG>9x ZBn|"%M~%Iހ"2sCڒt9)X Ph_ ,K_v0px^FĜHW)&""UmNWV0@KXGM{YQo:aZ3~<̭;㩩yw7|9ĤwdNU-̰,/(V˴NuCBfTG.$="upV^RHCo[,^Z^'^9B56|DPg@POV,d#NbX$Ehdf JA5W%^Iq8A .iW>B '̂DF1LNŨre3vSM4jZg̷8D-7ܹ> ūF':V֤o#`5$ td9 A/έ@"p=~"aLr覄I4Qq4F)^ VYzWylO6'.` Ye yv""͐Vt$Ow-{ާ4L\DP_8~zvQx2.|+͑^@ˎ^Pxhy"ai1.iI[PItI/s`؎8Dkn\!52s {A 8Z1|`ۑ\ Qi/ ]fmm!j <W= \*m#Œ '}KEF5oKMEm" M .6^aElCyN.[W{LcOm1bx~*F?o?R A?Mg YF\$V] `LЕB&F9Rcg%82[$Tvl9' .C>TIki<\<},1xm%; 4N{8 ұ\UR&;gǖ)I}`Lw<VU xN> O⥸PlamVi&T_?rAa[.H-E Y8J2FZxˢB>]1KyGg?TeGꐮ3L,?o{HӔ\Y/#@"+$\GXx F,:rd{;;dqo=IXvB7eX7- jA4W0_onpI͝Hzt 3!r@; mw,P)yr[З?v'.&cÒ lf) ÷ tLB e)d`lHX_a_?{ӱvb Q?XwsV"(x6)&aٸ9~6vF"n([V.hXxqQZ'﬊mGUgQ"3%VmQ3 Z" 6Bi牔ׂ5|ҫ*Ώ~G&"KSPyI P{6Jd\z.{@3",&r1_x[URU$ėi22^{h*hr7М`{b%8kdA#\swۄrɞO39R<&[9 {?$gvç4Ttb's:HyA}i8{¿N"$;=y0-G^un,ah`%g a39,Lp1WA=b>@`sMjsEaQ&~(DѦ}0Y>90>, hqj`N_lO\ g%xy]WtUy_?.9zD ~kB^ڬa:j/YyX4vokC -H佾ַ|;A=wt*f*!(ܽ-Z rG$2dwIXF_"Y؅K3a9qK+f;u04da1 0+&4DV䞧$!Z.#q"?X);QAĎI8Z31LDDU㥹D eb׫GMomԍha9j< ^A^'b?KjVIhԾ3ǰK;Z^" J sEmꭻlr)v%w pR3Q,3vS3dn]f@ T"$hΖbP $w%t/&qGOq(6xd2)P Oh!ԚVx ǯƠ:,OwSڗlN33| }O"sGgVvP[eQD'׼f4EV ?wN3?*7*JyŽ!tg3^hժzpLyu9OW*T}w6 IJw[}Ev+Z9ceS'Wݹ+v6Р2 \4=Qrr؅2l6ڲԭ#S0x.[VuoB婀beT8?)!~)ܽoHR387E+Qp 5*L>ᵎD0m01V7Caqc:xzG)FfJQm R0z }DPa j ptHh<BѨJdׯ,mY%BDNVId6[ F#mG+R D8="2/S5]>&WҜյJKUDKAaLLlV5C%P|s]T .Yۋ6f3twgȐƠ#e$75߲r).bu4-F]Ioc ò:F{w]YRWɪLOJ)#4c,S+>{ \x6 k/ʰ,'o~pO).{j92Hra#AcPbMVm!m~85RF{|צzvYbu~ nAo`fI?d&{Z\\Z2JtlgfʭlGdᑰ o'֓qBM.`+P}VS2r&Ȼ+&"m8yDZ tUdYbFBSAs-?^`_S@ K#!c: _%2ͺݺ B}1V5q&<7Cp}Cm$W):ݹD6t9.K>6={tOu !f&cw&oi6z? pH)qj!_'N̔cvsb=n2WvlĒɨqk5w0$l^{Ug4\ 09/A5G*M$ 8݊x^6ZNUD 3Cdz>F$mMM*B Bb!,! c ٻZQQFP|w ||_,ewQ_9߃P'` lj8@a d[*B޿f$ŊȤz+).]Edi(!II`iަ4l}@ ȣ=|pj84gSv,eo$D~f󙖋h_:q+CG6QΎ,S#bT.\n% TS'`H:n^kkԶ{Hn}gS <$E}-%Gyט@K_ⴴZM=)f4AWٯYƩ8#WFFEK[ bk59_UNtŘla4 Mĥ P_|JY}UY ,aCl7M$@k/`Ƅoa7f{U{QGz-{nH耑ϟ&p!i 6!$UP4,%-!hrbI67zɤnrvnH:9ThDXļ偛($ɯB:QVJ)H'zMrrj?͕-,#U'r$*Oc@m>bF?芫 "[o*G/~ 3[즜ɕށQ6|pN+#rcWnxKf Qj?(ei 1N~Τq6(0F]@f L-WjoR0 yA @tb0wF6'}ɡ1jvQTRh\kUdw[:`ԝZCijPL5 "FQ}b!,gV Zxɣ%'oNJq8GZyup9؂C.Z!r$"={Ky::V\"Si!ӐRj}_sgs[Gtҹv z8WsyY@[&e|L웿l 9s$'[M\%&>m7ڭK\쯱gYZ gmga%/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@*$bW= E  ҧ|1K3mf߻*XhWպOj)F{ͷyB0ɍPZO|Bo`G}O#'f7{М)D$'bf.Y%2i)2Ee dZrh0*"q(3Y VqhgR )WhC_o2(v2?4 uy7#3{YJB%:{݄%MGzO{O4j-mY5S.1* ;-J١7MNB_(8{]/(m 5:+E\NBŞKcJU޽J*pF)qpdY J unJut7 ]nrPуe'S2Ƽ"۬^(8w]XfdaW.J]Qhbjy7Δ=)L2"!ZW*eM*X0FDwQ u!*X%͹S~E[7NݰGA-&ߡ 翳Cѝ?d& ZTo?.}a,%nyϪ].gK1:n`/SE/_H> 4<`vN0k)j$%d{~Գp [%55]UBMb½idZ$ m8hM<i?[AWH>qpCQt5&^4Ê;Ah))ئh((')v?r##{gRM^:[)b3꼌A}@H4$fkqVOa?|&}ug;׌-BT׵ ehF9lڠ7fxsڞ! eޫmf `w]Sb@_6햛alS~9xu}C[-eTMH6$# m+ʨaL1<_eLkeُ.=xmOkb#lJu<֐H5f  0A6 4:tYF TM1 Ωo{.~]ֵE.mi%օDA׈RQ wi=JJѳRrc(#ɠ`P@GޠNWf/]q$zuXj]8'>ZTQ2G>ͦ@7VVv@cԹ6G1>z!]?lu>*N>``-_A[ӊ\a7-TKeŧ%OcS>8r$k uDrVL?,<Ŷ^8K(_6IE[tnN>e kʘ|gYZc O H/h9]UlSBooSjL̃O[Y Fu 9-*d`2, ]_j5eK^ކI2*BҭyaTuu$%i.N NY0:iY|^ID ѪPt ]5SzOY }&x Z u+QxZ1)Ҽӡ۬n$2f>ҭR1qՙj%]$z'DfX0 _D#',di9yzIn/OtE; J>C%3H:ku{*}sLk"L)oQٵMW{UJ7X)o!3QӦ[O 5x >h =B&"|Lh3ʾR$ɤU rg..ߔ<<;5)_Kq*|ePI"zOB|ljuhwr]Aɝʎ;ۯTq8yDp @rAPAcKfR}-mVw͓-hYg{4֭l)'F b`۰Ü~2IݘS(nrgw䒽u<<峍)763CxtX`;+㤇Pw*K7}y%< k̀B v2:kLKn#70;E^KK!6rVQMZ;<ʫd# ()~/&ߏ٣"Yz@32ެj !  R/\B>VtSrxz2nKD,7_*av~`18r6g`BW Y7Q,u[Yd.>fR_.03*Ic;D00Mu_E Z ɓ@jPCUzl?]CF{IkplLC$+L[Xmi;u5vrƩbNvJi}[ԹmV_"~z/h< uWF*4# iręr7K/WKJNћ{M [qxu Yqwƍ0&-mSECNVчf6J0*ڲ*s+kwTђ+-⡊8䌻[dD&֣WF}CKgxL93<7e5+<}E.  [/:?]z,^}hu\$q;TŜw󒺌r?,1&ɍS<&g:{2FW+=ݠ+1sR״aACYAiV5 Qȋ.\vXa3)Wu%XP.MsA,&ܧ8[ݔAA| o4`X_urw{azR͆|d4! pJ5<) vL3/i\"6H%*rpɆ?^a*Gt6^C:D:xo{[ X]؋y6Sb>X2m _(Vw/_rdRϪ٥yf7ų<χ+ mJ%\ÿZy"/qԇiv$znak€͢؟RsCӚ1&NX T_0p]}LbW -EV:hζ "W8&n vo|!^f# !úܹL%Cߙ͛B3* ٸ%Y,)E6.2SJJqߵcs1 x_D# C} d'ߏ,LJ7ݖDn%aG"7?H%B-{(4ޭ0'ݢǤCbDU8skP>upBC2tkqZ2ѶڪF |"'UϾVf\Ѿ"KFa y0 moÍ)]$$&)t>J(`-yH:f|))Kl/^W")4cٜsbd^W|c|bo~8zxJ3د8*GwȋKyJ zIR=M[w\5W*C2f <3:f]GcHn."S-u=5f?(N)5xiJU鑕s/:~@UNhm \S%u)(!  Վ)p)7PZ޴2r [M(>vtD Yn3j_,ޚU]Z 0N34{&X[gYZ  # KY],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208g*/C# \HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u;f]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3(ф5@\&Ńh`)fFpqC EP0>X|sUX I?w8pp!ea(:aƚ7#`@H'ji"8 JJA#.R֕bg!@.{ -s]+]lvX7d9r P77&ՉΗF C /ǩd9'am=ApM(_bLk"?ﰦ(ƴpEZt)YCSNz;@u!L>~atM 1WN`M:9gYZR&/A# 4HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! T]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrqpHyzI d&W$zߏfi+c^w}(C"j>@CTWR#EOZ_T8P{(4+>bLd^+s㱣Aͳ1:^(ʡ^qY%]ss0](e^tBg W#Q3.r=Skg7i7KAN6I$e@[$[-Ul~/"ڨJF:-úĞ*)ug "B=o@&S!}Dν2D| kMX&e [޻_&FM $F D+bZ&(V {Oũ) SE S_Ώu zpFFM-+|Qn>w-Bobqlz:~^Fe_[ݪ'㯂Y i'V=A0t;ĭ[>Mdj` [yu`z.^]GKTEHt֩WwI*yaqXZadZ\v j,].;_L@/ U1sPrvs-&4Qvv;){vĜd[Z+]kZL]nxv1xO,V(@(=d2i(Q :J3m )aU "oM,WZzG_߶un]pv%}[[X [jX+|qRR:k U7ư7sR˸yrTvp_j\A4ϋ>?H2:B7YNye/Thop:}Ev>d}7oQ 0vRL#$v)xIɔNɾrI)<ż@%c9Mƨ0⿞n rFnc;1ıgݟY F(|sAèsU€ׯWϾE=MJSQ<{Ab_ڱ7}ovȺY)Ў71)tIȎCdS'>e{S㷢K'VC"(>h  #~,ͅx؂3eY^>& fqL-ۅ`|1@ϲ)IWT)z@xm<Ƀ'byEM=J0֯4C)C]ޅ7 Y»\NJ<1}q)j NfT^_?i挥nbHju._XĮj(aA6m!^EZRX]nl|",tـ̄KKgNAj,?Vdz*שǕ|s9O`v/og[?geRS{45#UYm,Zj q/3j%j ߛfRp&>׬Oxa1zA,ZH9z#w5yTA=#)dP7 tbC6XcB_ҙ=HXŸʕ+㐧'a6%FՏL}* Zokv[ z &e\? f*f5_:Wc(bAZ~bÀL><> 6'aj˚ӵڢoɋvyA;Kr^+A2:K`%kKj"|: m4}6@XaWAu8{5cSNEu(`3 Sf$SYċDYFk/cꯢOWYQ@d"=ߕy'Y/h_lJ,H|jƾ?m` u_~`qvHzײ Q?Ssf'59 kvV! }`wZU&Y6}אfS ^>'㯣ih|ɚΡ\O˧6J_*27Euޗ-if,jI;N}h} S3E_ߵJ$OH<Fh=^K1_;9oq!R cVSdE1!Sh+χk_e$] }3Y<3aH[juE;deJ 3,qܑ14կ~dNVFZ f% "B>2,Lj_pDϥ.zǽݫ-nd{mb YJY\EY>fB_^vxediJ02@ڽF7@hOj5$R#6b_[f* X WbQG$F8xJG;uZM *rvxsV{7E:@no'82 Jh=ԫ\8C}9.Pܲݼ]vr3L:)t?=nxU,zW4̌xx_NpvGFn м-gA YX/a䢺B0 ⇭x0PGCD >X1Š~02u'l9TS#]pSD oG2$:POx*ʝ6E L;X_dIq8S,kn-~q wo*YöD6:K Ouk%#.0IT [ ͭ# D1o-,-h !7:EA(' rDY ?4(I61/҅x .Kz4٭aAkyɭ4 .jAҹ t6΁2d@eceXup$AI uI8 Og68eZcE^EE>s`&QmfFOQx7֮7UG+mJCPIP42lwuqЯU"k!^bO-cN,Ur$=ڕqY82i[0LWW,ՊoZzqyk*+"#U=bCK"BY@܌d?rbZ-%X}Lx`"6fo써~ANz 2""ҵyJt0,rc7"Bo+A-hӑ9SbEU&7v1j_cw{C!\( o\Ʊ"{dAvOAE`<2h? VH"1,&)3+GEVu'gQ*Jdh=#3ZDE/ k2sĿwvq~ K 0/H1@ӡZl5i2;Qk8-^NNb#o?DigQUrCoٌWEG68fM@4\>1$3t?F )Tp) f3~gYZBRbwkg(_*%A KȧSo J ӟ}j{BRKr/ڜO~1zLgīm&;{UNJ^SOKO$tjk>DY?g[mhTGi%n,^Ԝ 9锒)ݭD{X^;y1 xc|08v!%x̉*Ԅg2T&+QO>=a_.x6Dk9O7[̥&%>M2>Y4Ӄsmx>lU)$L$tOg"p8Nj9~VЯ  S0^=WW[>f.hgu452@mKi.ڥ*;DS" H1>LXe|giwi]MW$WvB 7@G=HpNhD^UBluW*EYOobuVⲵTo(RS(m[9*k3`쬄It"aj!~ Xn^~޿ά u5OPktH!G'soy3ۨEYa[yic8 [{`K*M=:eIfrR\csQeͨP A}G:b~[){y 2XEz5VP'W5ϡyˠ6<#z41sbwɶfs% yw]hB%Tu7q$`dMF4MVRo{>"*TeoaL+CV ~6Z6%QLyswB㜩xF0G~_F ^g #\XOsGffF >1Sö_q,K2V$v(iVhqo+"/`Rъ |D@Ҁ|ur$spljժw9+Mu MED`M v0lW_QGt間J3d HjToF %Ų;z:u:tGHL \+5OGGC H ՑK1vEҼS0С?92 [zls m_ -4S_/s6*6b370|I;2eN EmW  yĠ޻\W; 3}^V8];N^g]R g3\N ;֙Zh"S5N .ÞN8\ gHUA=)ۨ?Zl˰ ._sM3 vb ycS/ei2v]0?&GArz˝^_V]a DA~dP:ܺ+weMbΊ>$x^jC~ۭfyE[7=10MB^*H=B\DG[e䴣̈/[eČMO1\3I>i'Z!UqbX{ mnRQB>J zPLc{ lz|j/мD5/tZ,D;7!F / |YPW=*.Oн>+D#P Z{''FPْ!S|56čSzePy%UhoT!z(ZjB*wfNE)CY({4ЉffyZ,dwXMS[W1ey:(fYh+#.~-;8ޖA}TPۦhY\qtF",]Uz!,? ךCp{-YDkT.n j]hx$rʚp2HPB#"ffFR'Wcdg):e鏎ˋ$&1"XO)_R {gd-p?aw6bw`[Qez #0FgU?\_br[+ vR'ǖ/\PcyiL̇YT j1jQK2Rt[d-ċSAI2T)gߒ+>'i \$dm%nj;?[{;q]w҇稾bfT ?IpG*n"`z>zP_ۚK2oAXUN\X"ۼ>I`V6$RnRk!,QFjC69J|m,p?Dg@\'n_F(]Ӿ׵^;b92HB2Ӆe,+QF'L_!ݨD8+(\x3dʖO$=E~e*]y\[NX=ȲTv ]̀j b5@%2)soaJ%M<4|СTGFǬO( q /;¹]^=t%Z=(o\6>5ѯ,P\]?&Hkqi5"2@ %[]VLIHי<g>|2ނ2CD\WB8):\'[6J5E8l"9XTv"ܮX14J̎5E4^(3Mrr~[, 1溣K}Nʗ}`™݁ ?#@ Q=NS9ޱG\ܣg C)(9:e{ݼ& 8y '#%cQNZJ6yIw3E]M,ʍ/V@%21վA*|%ob# cz[thkѴސf _J8ܾ3Hpkuۑb2 -d݃}YKPm/G}n,^E_9-1;*0E!G%eIe+gH ˪G2k ېq "xҠYq)9 igYZ\-/=# 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/)@$A8g–WAD56ܩyAOL\i0)0tPճBgtrR,'0qL4/US{l'k0ġוInWl$ap rNI1-RI ;OӻMpI@໴G*B€kW!洋<y=g"#}B/"*8!sIwɖT.ijI}9?JW)y4;[Kۂc݆.Df&6ڡ۫Q@cCN&I8_N@Wc%̝ ƿߋDoTxA@xCɮsIGTpu~/njHKUhBtAXCIv9:T`>ṬkbuU%~ґg7$F)`{k2gB-[2ɼJo={yy/sEE5/)rE #~M~Bh=y/sZvsd2V/iek?ucV!<}iAk ?ֲUS 6=w2T#7ˎ~/C艕 qY mefMqs8o!Z}%3gSRSw]BMg L>K}nC=CWs doEZQ t@ l>r+cHs:#a\,n4hDFҼF : (@PUiHJ [$%'ښM$'ko=K!"-|U;\ uB?V49jEvt~wcgh){:'[B"nK&¤>-r~]O iK3PB.\~3w_84i3}jkv5ФY:/ ‚6qI)\b·,<<d5tF[ת m.+ 焭,׈AS^u%w?W|>Bz LXȠ)5@xTedzƹCy4;;`)E@ O:׾X284m[! j-ZjYA*`-b.=cNɐ_'u1dqmNYI0}8=tZ4&!ZO]!LSْJ]O6y2MF|lJ,3Qwn@np!rWS=*4"U9Flπ9KSOd- Px@89fNc ،ZaCZώ-ι頨rתw4 )b;ϯn)l2.Y{ W[UX%r3韯VR㣛? e>vxFZ۸Wx6!y0Hݖ`ʿ(~\K #Mpf.^qmXim*ejcNY@>vŔ5N]Kցc~zy%;Tg {U%'QCWkĪ4j|ɂזjzr/f 7D\,&|dhpJH1-I`xZ!2!k ÉND,ia9 Q?WkRJ \Uy =V( -g{ yܨ+xxC{3z(=Y3W?Ycb7iEsӸ}G -CL~^F%PҺȥVQ>YB g8ҧQDD!_rwO+v 6q)* v/~-;_EM ps`FCGv..'S[VSz2}nߢ)Ei"툡Z!X7И͕Et?l#Z\= fB4,LQh܄KdݖqGIPY-7]B2p rMK] f#`[ΊX/Kf[]&!ѩ\6{K\j}x!u9_ D[` HRy>UiTW-ը_AiѭJshZhAHbUZک !b2Y A~.7pJ\ד&T%fxM:x+I"%4eLG*fI7h-=UU38\(ȎP3Tv,mEPydN$ER Y' &k*hm ¥FJ X \OPIR:[8Y> eެ`d[Ku?Q8[wZvEjgt5q qPW1i! @"JsܯlkPM1OH[. ޓÿ_4 *d^2rFjoMVw(pE 1 d7E.I+:0~w!wuCv_-焄;*BtQYߨ5 `tI'8`xަb>dI| S$tN#_ Q6:y= w7Vc̸XCm՗*c5S92(_{Y*$dBP0bm'?)0jPuKSYq_#X)[RCU/F2ڴ ~!2}k>JW5i2i)[g3^]ٶ&q,ΪbmkEF ѥ&]P9/ؾ]WJ`"0[k`K[u|AsCb%MNd9|)q_*BA?E"Q)95P @/0!Eg_RT'=%t0^uU6*S{&QTߐ_4v rAVM$H WyW֦sQ=!ҐP17^dr.D /wdh|,S?_17]c%$ya$=j\0:S5s!Ϊ4c)w|n' Kx2 LMsY*mnT)9,mZj[`l\# Ϸ(T]n]<:3.~2CHI̕wdIxWS ~ݾ O8k~?h6:;TIf eXV€{Q~L-a1IX*H34N»vԐ䜵>|y8rC!8\bP*jE`OjE=מ t&kg,{pzA!.Suz=g's{ɛwO#E.xڝplv=ޢAɴtvxQW{Y>Y)&#XL> 9T<;̸:N/d,ԅ3 }86 8yQXTЕA.Jx4 O_مN-xm l"CݥJ8pg0mJχVndX'Drw3'=V5x'7 WѮg\ɖ^/eO$u9q ip94:T=u-e'Vʱ q6V+/D[pU0^Jo!3&ȆE"p[KQʅeŠ.Hcױ%4C[{cCN ýaf_,Bw|cmN]NQ bg6 b84#6qt,l##>MHB\Gk&X|w-QUO5kDVNwP#vs+'a'@'R'qצEwv(7"rJVH_ 1xA|3!M.3tBX̷$'.D+a.18v`jqL=Z#dսvOtS4Y]41מe19o-VN5w:I^333O-F8n]6.> xmRzd-զy4Ԉ{DY(S ۑ~`scgA!SZ-r*'S<[<6AES.e- m[s = ;8jg9P?P&*%Mj2*tەu,_[ 2kBH44M28f ANK]N$.2S7wmZO?Tr1m1W,SubPEuB?Ce g)$+_[!d`%?'zK|׍ƬfSwWhP.h@RǫLl (?B0O؁v";4јdD6fp`= xJ5z.]kX}OP՞2Фa8XƩL]{8T^ a -DbO|k.OzmL@*h.΄f#eko);&h3(5Ī ZB3ek][<2MP%>l28p\R%wd:1 Ә$R۾HEH`ـ#JpȯhMk-Tʲ%=QpIǢ?mjsEYR*sJ{ZUʐ1 %]ԭnf-Y?u+/L"XɋQe>y kM3hje]o}UL BNQXɨ4'oZ$_bIFtҹ_ %|ѸdDyX.(OnIƪJM<:EHvQœ V<1 ;mDI2KHd u!h@&nz&ɝr_Ď`h"f])lWn+9'ĄևxXi 槱'r'!G|SD BFā kWOusYYϲb 6_[ @m &tô(|>2P _q9lvkrO^f {B"K^4q,d"8n9Ui5G`̋ua82Fg 1ՕKL߯DiCYîƩyno m7mE6RO‚2W賉-F6;SKdmŵ@Ij3ƚXq׫7g~k{={<.E{!в :P@CFMҋ÷%(A;(t@4X6LIybzx{ĞTS) k !%x]-ΘaZU!-\n@CꮎnVAe8a[ZheY3|KW [$*ʩJ3&@Jf 5}B2d=3e5$Q7O@A[*&Sg.')J<{xLoYa!!+6'4 ; ,N[Ubk+GaXt В[Sl^E_eΫLK_){ ˉ$f8.p"vo*Gc!K+FƄtFvҞH`]m0됾_OTb"Ow&z4AmYZ8bFcħcߘ,z2l*ؼW2"Ʒڍ$T?j~nw6iwck@ ;/Cv,  H.%S.lT؀{S<?>źDb%ՖC Jn!^*K|'%E I]P*DĜZM7eϘ*4[(7A!)F'TKc*x̼#0H`v䭅B'c9>K@ S2 <e4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id218A2/C' HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF!  ?]Άxʆ5.f-9 rq8L1槢ĀS :s]c ٗȬ7蔱tl'TMvKJYߎD7FqXM*p/ ‘8ij2&Q_+T?Njl$Bj&i,%M_: @RZM;XܦC=yDN5ObH eD%މxdI(!s<,|׮T]@BX5mrEg:s]fJ6mp/8!o$ɺ]IjԵh3|"X\KǪhdYbT;IqaWJKiD"Dm-`B=dj,L„/LȂ6VH;Z,|@h͗iKVx..+IA|p~Qabj{:HZnm iAŰSbk%'#z{)`=e!Fۥ[`n XHᾯW'X%RTp0pUm3`~tx\ +82@|*ڝ Ǘ0cF kM/73/Yſ>{/SPCILRȃ_ m'(@ﴤ;\Fm B_yD]KV3F\dx(hVLST*Yr5Ipy03Y_6~P:)+U!xi9 e1~*UD mr[]ŝJ2OS wMJ@_Wp^QdHc :mF:r=d ]xD=Uv"_CUlA`|':,)ɜc7I2{`Sf%VXc4"&&WLl;g|or_ߓf4'Дq7T,dۡ-n'-q5V/[yΦfN5$H@,d["G&oBX(fJblҰ|Ytp)a0e!xGѹUIDOaE,%g6kI~)e U7`Ԃڪ##ʢnFKu^\πHtjMdհV5#̴4)% KTF1xˌ{Paќ+3fȧ8)US~eW[6sS!l4W>3rJԱ~  t˃5|fQ%FfWK:o7BPA$1\ 4F;؆ž!D_²^GD+\ Co}G8Brx[*u=bnI&HKY5.cǴ=>^,g&y`J^!E6=F%̽ &ƍ2HX M`_Y8/C]ިj ^lչY]+Ww-)LZhUwh$cw.M& q`9k7hqe!ۖ+p.Н90خ_/R؛W JJȈqզup %Pa:f}*Jj % Z +\t$, ]U-T{;,c{E&t?KͥoBf1]/I ^D"@:C$LfLmURQKw9@N߅8dr-tZ,xnJ݀fZP4*GZ0XI #kWjF[)+wM'70qrۖ0J!)!@R6f썂b7gwMYޙalBi6r&]%sSA7M'zm"eKs MdԤgIM^} ME9v:#@TXzQg4 TC%J&<Prx^)6M91YVu#}'daEp!Ͱm_gv$gw}Z,\a5~Qu104ryԧ7Gz $4txHmMZ~#"rD4V9= qL@NB$AW=V 9卪Tę&F}7c/l]kcP=! P}5gg,ΘnNDͷz[57N:⧡_[KJu7Z(z*A4-y!k+ VCRp6.\OZee6i>eS ŭj kHJ;=PD:9(#S*řn~˲*|#A 6'm!?EICuS^ꆫZ4W@ 1l3stVS6B^d͜2&ZҸF[Cy:a,c6_I=9 F;Ǻ_ݠ<*@/r:Y{#zO ׇ# U o#flى 뼣PZGmaRT͡@zOA0`ư JP7bn/~$J$-񊒯 ȼ5_O5vb _V, a$3͸7 gYZ6'R'lƁNA\BQfx/Ì$xeuᒊߴ0tb$;.`П8 (JiF4dCè3# J+-R0 |= F ej_5.2g?: Ņ-&c9;__&)_tG*I ;4CߊcNji+S tIDLW䅰'AG~Dz6Np7i_0 W吱x ghVMgNNJ6s7ȼ+SZl%7u6|M0fu"G i = EmR9F(y?nr6:āRˉ gjM_zp>Ò!HƩ(DSj$;8k%,&~J堍o&![(KeUrÔU$EcV:ݖCˠlbd0~L2΍'pGT 25*Bp =&nsh6yĥP\)5jӇNrFȻXHzk[yԩǦv~9Ikc![ɊجItctm^)=fgMG'R!5b;Ju׏net*.L7q7³U^v+v3d:$̈́!Ӓ 㪖\c\; 1,rA1͡Ԕ` ]:6f6 M^X$cHM:6)e(\Q; ˧xC@=]F ~bߒy*LngJ4\ͼs~F&SȀ 0т "$%Ujp"!1ǓBK D1ͨN f+m}}`yi=ߧz}9EihLr8| & Iv.6M9e>h+ ~v,vWbB@ކqaІ_߾VSZ#[LJGˉEh*Z\cJV>qI~'f.m~5@#xie:n[F ȍo`qd۶EIfPLdLsq8+Kc o=sV33!,Z ujOޣaG7`o= +M@x:?ͰdqW%W՚f:=^n9tQa7_~ .8.QqF C=y][n/zV+z˾ά>Ϗ$hi8@* aa}WsVơ5m@ Y&w8M$.uŒV־vơDqc3YǶreĤ-4֗AQgE@ zGf3 4E^U^z>}qę;,\\ d֝nĻԦUH4mh@~Y ̩Fu.L,أvDLqz3YhvE*S4n~ME9qާ5ґS{@@}Dm$4m꯵ e{kE"lx\V@oCк;MV(lUt@&`%9էA1uXS$[zNVOØR >(8-$7#ODJ(FpPӝ?<2oqB@ TQNiIS ZQQdR=NCa@y%tWFBVf>.j\L> OsRԶAF1'B~ BT€80]YV}/ji5}l@%(IO-w܏q6e/Zm8vL <,$IC6&ڄuXN.(q;Z^siuѹ$jE2מԂ8%U"C.Hݩn3 XX57ڞn#3 >N]Kz̼w{~#NV(~ﺫu\I*2z_E ҋvQ&Nbu` \靣Օ:6 ͓`|71bN&n P|c> z89"*/mqR,RkȅhW;S3YuC<&ZaQ*rHc1~6@Sb$cmw=.Sb/6(Y,KD ɫjrQ0}^7zY * ̐`e 1>i<v0m/osDh+z&]眽|HnYb;\ HZϱ!gEQB#E`ވVd%p!d-:mR5Bt c '=~\0kxSM)JܻV|C[݊BJ~K$ )#sy5Trg>SMj2$ݒp5j| D}Kd3-//3Y0³8B%6zVQN4k{1󧩾:!XbK_@Qs7m55,MZH#q#H(ʔJ7c,MqHL]ӆiljK%!mBR=FۋEتť,h{䞥q`3E瓫 nDŶo 25Wۃ!PT8 vaq650waLT3Fƙ b^9֕ 3.pK!9.};pXvJ_F1PaޞBR{kԓHCo*Wź6 L&bsu( z+HJK9)Ds-v =*oUyT-5~rTVqb@CοbirK% ` y{p4ZTS|[ g6rt3S֙ՇԍϽ*@Rպ=HΪE]N=1m;[Ayjp̻T$p2$oT;V`oMM$w3'Hx =;όXuZ(qKF{k3WW~wd%NsH:j n?|DŵH)#L{|SyǦG)u)`'L9lkueX-O= OU>Xw(T e;L#ek+v gʭ*#G*Ner]$~z.Rz0R[B(h2g&bEXɵ|ӹijeJy~HZ*+ Y@2XɕGn9;Z-2a^)HT ᷔk?"Opw6P,NX9_/NƖ ҏ8I*zr eu~t6*  >i(8D# 3 Yyj.3aPȓnp0gDy˄$XS'eMMx$c"O[E$Gȶx(2CSJaKyKw׎NcոG&Ɇąa͐^̤hBnOձn锄,*a2{^,gVW-s^֝:lM 3hMf;qR VghƜ( a dǞaV j 6tuhWɑOAK"KoM Q$v_-;C;+nr^_ҪJ>)\ɸ=P UֵxBJ>6 W[cZPI@sbpBpBmx|kBQa>ߒgݱ{d ỉ|dܢM-0Q0ۯXy\k|ڌ1Kk*w>F tČ"hHtp&>tS<d($NpQl=6i#MVtVГ0A:'4Y%bܔOL2@!bHuR9H8 }H ژAK)Mոh:vys04jz%hO8. r|{RƔFkfX9 +^rxnf,ww_ߠ-6: 6єDvTh.9D8UD.H;^}lj] ??95/5][1.@f>W,(ۦlG q`Pc)V _,"g:~ijwqD!ߗUOYg&(;&$xH+7&O/ت=f+)cdxf&:9m5!(0^"O3DZ%(ٯ'ryn9[5[zMt YTepmq(2MdQL=L<rqgQRXxP`ej0ulPai[FaDݩq{TLYz) t9[?[Rt;@uIH2:v\H 6W+`JB Yzc .yM46l1݈5 ?.DƃkGS,v#  89*/uJG>"s^i 1u+#]3Fbe0X&)<H:a𑷄 7< Ɏyyaz$'sAn4a u5-k:^^N Ջk](3C)ipP\ZD~ח? h@!xrcP>i殾MRԦ^Pz\|wU &L 0X2M5t׾LSÁYcN i]f|hXֹV{S&}޹I:qVz(JS؎@xXO`?es?fXtA԰F{*' d9"5w ,;3oM۶GҝP7ܲmiӦzk1VjK6JPD, gD%yz9n%?;5 i,! (Ud `8uems)Z>C~@\KE^]ױMe yAih+/R~QQ Fe& ڹ Cg02J~f~.E[_(mkXd$\@,&@ZHCĄmFX\SFW& )x7 uZx3u?bd"{G鮪78ãBcarKXp&W ~O[qSLn'*[?gTE11*f1w'aCYyC{ӝLܜHu.~P)o0ӕf*uWHc@Ye#ZZ;[_1^קlVXhuθWjj/ɽO%tND)9j!RɋlSyPA0A ?J,ʧ*eӯb{hD+W#7xF:SA{L[&Ox-ۿ08jl kԭ?HoHelPo >uײ^/̂Oj#ܾ:F-?LRV.?Jnzz܀-s#W[2nWو^ .M\,$\zM,,f vK|>|mL4g&f3$+JGFs ]Άxʆ5.f-9 rq8L51J2Y:6PB*/X L ^.ܻBs+ّc?T'{ N.>JAˡKR3"NDE(:mA c0Sq߁74t_<ƅ8~) ^E-V'32 ~!dX!v4랐?$Ͼ0¹c,C<֙""8⾝|% Zt00ɻdBY7ƨ.%tCXymQE( b(P?K雲>5d歔28YlAcjjHBƧPluFPLWřqz$./mm?* {ITj6hQ(I}F.*ZX$R fy]zm/W2U}O3@,W $HTV1#1<^SLpuHHM^hɘϐ1"lh M)2BNFog)дZVm~T*0^`P"' y[}YBDN9lhN*؅ꋒlD'^n@_a\3 gxq n㹸"W9e~Xv37"S?*VɟD*]盎񎇫#PH?7 ,8Eҁ^ aZ;IDQ1/v 6ƩЗ5~Men2F؁Enض!SZw{'k*F6ԣE GBb]m0-W ij-R!郞'gYZ 5 /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,']ˠ)jk2p O6LP=͵gl5f&Di5b^8th5ڄs tpOQyO1*{kugu e?)WTp?=J!,E̡4^7U_]]w =Cܔw_By>-$st =ѻ#ce%Q4T A|$ ? A9drbq"5ж)S55_^q6ZXyv^Qw3@fL h᜾x~iτӔ|@x`שC:ZvuY-Q9 _業FFǔ$W[ r9y$> DQ4jڅ@"7M?R{>2"uHjYFX~2Ue%J\kvnd#EZ2/o1CE]cPm.mDaEjӊky {%0'[iIE.qp$ !4kFoxs7+9()]?E%r!Smrʃa+4i(ii]z[A!ӭQ_=o)h0@6y\1Q]f.73ޏ,'@պ']o%Wp.G=(kzٕ:OVw"T1 &;tLM6;9 4'm;tT?>_'r"cG%_v⍶`cyHbҸGQ59{. :-dsoj|1XpkN'3GBO=#sPLƖ!|S:!s`(\C߰$/5+|zi<͑~[ " i;wE[%z`%֕5aWSSOZm$7 ٝcL8}CMXun4TO!?4U0m6+S tյByoAeҘsNt' iWMG]1=mwjt LaE B6>~S y.LȚ*6sP.'aG2c Iۡfa g"|Gi3EHލQqB.?g&59#qlŹJjG^#z7{E#Qͩ5,g&Èޯ=Igv[U`Q[ lY4D #Ht\_94n5|8cfak/8R±LR]τŦ[i2цG-(Mq;ؖ<~Kt!~hG*GYΑm=j~Y#5yLNziHˠ;HX1Gio o~w q-)ymRhA=`bń"c8۱[ Ax ,Bc1*)A/"7٨C=4Edn?`}Sx;A]2GUv/ڒ3 g ZLK/pJZ^5{:9ǜ_+@(]vW،7xvS)r~Yx?&^ʿUaD~^|fJ)eͧ]jC[Ӊ5yŞD#:ԠT3o`.![QO/NPTPQxDg2 $ӡOn=偗b Ze}V˛{|NZY«_Qڨ힣RE?ӛrb(&e $RHEԝ&;2_Z`FwQRݾ5-,b^쾾/F҈s 7Ɇ P1KNcFT%]gQN48 cx pϡ1d,3=zg~~A[Ip5_xsIb 8}fuw,$WM삯U`8%[ZT`qAiuOb>A[;@֎LN@Ģs>qBY+<4>3P3 旾Vi2~D`|X _8g;$Yiti + fX!x8 ͺGmdQ͇Iv&ZqMىC) J<~'5U53,⺊*'?άyմ1ݨ'."7ϐ*FCF5ejbOt50`8 r!+NmhwݩJ+]͏9-ɪ-f #C;A޾\汦W:ԼhL.Z'*T*ޘLQD6"žf}Gr"k6/SE-|2(]@DTu8+ BRX*?OjŐ~ckhtAIqܽZKH'%nkl 1Kҗr]mBlb{\@1Dlp(z]KTp&00]_ =seE$_Th@dl۳c ϻdɲ}oyHkE;X[w,Ҽzn{tf56k@=P Ptk6t>ghbPrԵ=Mٙ㘻2vF&Xfj;M&@Zs\*$Fe2q.yNW:JiSTJHT_:<ߥ/K`nj᪈́3" LP[qʓj,=4jNu2·U- ','CW`z6rVs&WWq&~/=+tVVF2/kX7L,:ѭL ߅5^GYKa#1M-sLܙ `.1Ex'}; h+5'7db1B+.zD 8D: F!,peutk -XO{ ᆃʢwU}u!dnB #'aFX5+ȧ"$kpY;ؙ%TWOseI[~*<Ӎzh&=<'S|ƍ ńP]+'($Hydz=on1X6SӇUJ5/–(\s3OFQflk~֥@L۟v22 q/Cò<((i%gփ"N |0F`MDf=Ua#r4 >-索uu3tפimOi61SFRhk^3[TK_7KTX D_eaա0YnOĀnsbfU2Z56tX7341Dt :zgܗV\'}C4_GƯ0F-i_w)=|II^(r8YuYNU~;l>;XBP$K|//׺xv(AtAGۚyͺJ 2=gF/®G5yat 5B!i?ɘ/d޷hvA:1v"lީ$vd XÈ333'̲Qb֙Wl*s}a%)>z6 ~u2IJ.8k0-gnJ}8I j)}O\#G`%pO% =h:ﴧOC\O=FFg ÉڢK{& HKAs*B[e?eZU@ , 8u 9|,uj yr$UBI܂kޖsY*b4`-By(`]|o$}nT2_\f/VZJO`gek4E&{Qz` 3^+8@T ʈDF@2Mjnۄ8eQbJSH~辂Z-^&\!`*;\;9-` ]%v2 "gOaƶDžCJ~ʍJSpwS*{ Mb46>q Թ;܌y UF93ŢukMc^M-/ri&[WI-r 5M$҃c? %I>?j@k]e)NJ8ㆿkJ (ۚҁ0gZ$:]?: /1\ٗa}(%\ f-FZ%B5A\ܜOwSWǛmCKpZ+$ 38=n3 oB.!b)@Ř_?x%|>@;8> jZjFoyR [YH8ĺqO}` B_%]tj } %_,)ԛ[Qfߛfyyy6׾1BC^u&G?ml2Se|&XA~V*W[}hlb4v'/?2}2V50<?YEwI6 =k6e"jJfw:&8AjO TD&̽ X&/RcJi|(J+|7ZmgvB ~ô*ı)$htj QD %o9X-\B| 5xC!hXc48;Є84[ގWn:  !D1jl LTَ *1N<jNlՁI ^뜯C aNM[tEeSRJ%|:o^h=N?MtJ6nFk(VhjZ?UԙpX->ѫ{|ɊT?:G:Pm|suMZ!wm(uZ90o{x0 'thuGl - ^ju6Hd[(4bzH dl)8wndvJӲ5\җx_C1:gO2??n{"MFbBE$& aߢUf!U̕TrRnd΢Fi'C,ZZ,7Ӝ˯lLC71&i(;׻DA|d%` ;'N]*D{'yx淽}*8|?u8q=dKGObCߛHNIs >H$ԆrK3V=#:QXF Zsyb(? 0k G\%3S >DQ 7Bz ۤ]oj>ͬ5qغxD7gcvOWX{xBm[$u:dḨ!RSTo L絢o@o\VGD (m͘s[ z8gqNk,AцA>$~9cV-I*Zj2Slz}wE;"w 'M`+)敇RyK|*(VV!|V7mRþK0?wwbiE,;6Fep? DKrn$t#@8VP~zOD8?&- ,Rl"`X2.#JfKFijg$*JRvi"_y4d nIlؒF'q*?~h%n˾R# #ŊIxbWPlW`厵f:(@$!ǝU`R@j*!KŇ`*>>VQ-9sF(u=^34bы2 8ta+~Ai`Poq"5]E3= `[Rϋlhˎ cu&K;8)E,ϒ 5pn:oIU6KF)'EOE|Z0`P/3qaumo0VjW;ˮ~7wUN}4w/5R`6(*,I{G4j{b{ОsAR+h2l:|rwr;Rlxnؐ)FjM0am~=xzޥzIA=J6}~DT%@g,5h%@y1[GP |LsSjВݰy/u~4 ڀG@g^;e mg>^l!P:z3aOp])|XC9GK(K̅koX%@g/7ъ±g5 `dF(잯WOF)|qNzD]M8@{̩P꿨=ubH/{Ou˨sEqť.,}4Fi&M䫷H2q'qThU}| w<^~,_`4N~io<шяZV؍g_"uH )+ft**[~t b?LoH1֦ 0<& ܩ+QqV9)g,Z9[]oP|וQo~l ,dK$cKE]\A>P~SB g" 5:[U;6sd* Kt6}eUOM5$I*'gdRԌΜ;:`+r$ ۾*.#a)s U.p0!4ɧEtz5 ,[@s=[?KZ9#9#W[6K.U7A|̱,RpN0<莱#GNQ!5~ U.OIˮIʤ,Cg &,7J'343ZF`!ȬzgCBe|DDƸx1D@.bD")$$> ywΖ #)XMI!c @&(ѶjB[0dQlĚADAU%Jf1L2 8,Xĸ9bN#IJ Z-Pt$'t_؏VvkU,+Hmnz~ЃJ.p[6ߩ "@f餪)mۉ漢dfB~i ^w*+M`LNf7r.Dg'-Vyo@q Dfe^P>Ovc{D1l8S7w{g^cne^$OAzzP72_Rߥe lҚ]33#Huguv"lqbS,Ŋʛ`TLeDsl2δ6Os&톟ܤfQU4xSH T>|WAk4Q4s6X67fxNL2~5dxvJˏ]CJMr2a1wyR WzaQʶt:ڟ3^ Cf%0SIE{7̥1_BVC<<Đ^>- }W/Ziw]Z.{z2?_˙'0/K2]BU#`5ڲ_cOJ߳p+g 7[sSgk Zݧ1fbW%Te^}jiRTҭb밌*f<fug3`/#9r}Y{4bhqڙdW [I#b'kA  r߄w.Z:dEo9Q6@-NǽY^ppd{(/y;\ӵ`֠JsJWr:9-K N-R QCSdM=غzv)|؜14I| l[CoLL/pEl&}NⱮCp BXO>W=CW<ٲLf-jgM8@PTFX1\6mqrX/ku\Ԥ)6|p@]f%dgSFH{V=`JObQ7-` tBDÆA8Td!:%eB錩uTirFΑ/G 3|j%zixZJ#U( -e-`iռu;҈ zUhUǔb!:Yu<_PƓF[IJLLxyF2oIq#RGG&UfM>mb143M9H94N i!RAՅ&IPf#p7V/ NLҳ.(QNX+hY+JiWm0.gƚu C8/0]J/AZ^#]ڳ`y@ˊݴAn>I~` .X2uWjk8û(@zIys1";㣉튦SoeI'c2ۣ=f dK\Rle y>f31FU 8Ι#7/}P*(vҸ:xzB9zB4'V1}2a֙vlme1]lhаwۯo#D#b4)v4A"Ϫ ѬU(;mϑH+yr AP'V4+vQhZ\%+z{ȍ5"w+21Pv _U4MG㘣*栱r+(lY$DM0_“*?Av-Ug{AZؔ(Z;U㶙p(hJqV;BA+(` s(I.@)nϸ38D[ٻG3Y()j~/%+5aT0d3{f4ۧQI@+'y7)۫cv<i#;cԌĒ|jСb GbQB=%*D;Q;[-} : ҝLA) x>o?$A{NIi?|XY_Ig}6CA3Y~@y0U[ ֊^]lD3T]ʹбB sn2a;R_U"o|n^ C)|D UM˼ zKG7t%YB.ԍU'lλ-. !%~  =rTϾPP E~ +3uP6v_L$fWot2+Oc|nZ~8n-B&Oct#ȸ?YmKشpyVg)\|~N*, hhqs-MD)S@GypgrË\d84ĢbJexߍm{πxDH~*D,w)5R~EduWD_Yw;X'2қ)d6Bؽ0 5DB iՈ v:ع%QDg}E@bkɦm(w@g[ k?4U͹f^v/V!W IYGY2&C\tUL=(ʻlA[ :JP9glyYC{ WtDԸMʀ\m2%$yx'&x!K%z5r> ou(~1soyC <2(߅ο-:<=fQ~hj8mnBW1#M˃\wi霛_HS#*><>w+hedfU'1o:rϧ~X2zpaC9Z"0JNW&4NnkjABz=md)nЙZ6 {n*P!*se5Q+Y{tSH3TY(S !<1#W<\c]u,\>erPTm2prJ$RdcSΜSiZv+C'+[`_MrR #8(#[9)3]qrkh":$܀^n _KN .w*X͗wr0sFRf*7|%};Já 22L<$`A[{h Gs[ _wް>~*EmSNkV4-AnD2үf`/EB팋w u56c׀1od1#.b\M]}EĢ%{/PCm2:Wp?C&a)Ǽ5ҷ߭euNwgAڣҊH4]9S"a70kx"R| 7l{:1 .[0+#%f,гAqˎ_mDq#p8߲u)t;^Tjp2X Z0mlz 50NXN}oyS7Q  3QehqqF˜4}M#ZsVs*l6ʶ_|H)Հ#զ8'cO?fM?bb16Z"GdIJ/uMY/#5tA#o>, v?o|z)5pG ^ \ &L]$Qi_s*Ⱦ)aXlҹƫlQ{!+-K\v&o'2qv *VPcgp?,Kkz5lw&h˝VM @lIg?7Xu{WeR|Pde,\/̩ؔC鱸Н}{UJp!lԷZuw:Zdp IZ$r'R/:k^~B;t"z2o>s.u:&|T5*+on Xa-"9xy.M\TVZĶF ι\pV ^he-C[G%dN *5W&:,L1p6.(XgizZ9M++!p "hit.xK:k-Bl^ѕ}Cҫ#ׄd\Y(M F-cAǨTF5a-S\H9yOrc4` %k7Fx}fMo9,SFM]ؒ[_)AY!`?](q3[;uhlBBv[3j`ĠGsFւ}{K}JtBBl%<j dD ]h $ X+M `!֘mbCWX$;ix_e\G힏%$ёKץ{T{&o,>(l&{!xRKwy/?s*O C - 9.116pNS>#GzXK9RlX6t\A Fᾣziy֋ 0Ͷ>UnPlXduqNJ qJPmSP@+Fjs>hW$og%s4黍?兹k"(S)֢qq[#|Y:KA0Zvl};.(n_4Z/W;F,~U[%.gY3؉?oeHe}6%V~Fm* Fp㗘e`vQ~9͗^z/1=x4\dx-Cgth'mE4STp+(/gFo\d"oBZ{I+~!I;Tn dWF<%@gqIdT40=%e;/vNP]: ̈ /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4ez=I>WzA;Dn3$K|P9XdCh&itGL":%*0!bVi r=l0ą\ɜ'!<(˾Q ^?TB+ Usĝ!#׌mLK讷9%p%/ KI_/*dqA5`B1ůcDhY3,7L⏄ ol86,"84h;<(tŞpͧr Ȁ$a{KPY7M(ܻ39nG R(Ӿ#vG5$wDu P^`j,46HZ7 ~,$efwQ_Lu.0 1gD\ }jj@ώ,GoUSbguTׅ[]WbѠ5VJuLw<DɌwXkP'WCc;`GX RT /^QF~zTd 4PфZ_. bE-؃+yoS iٞUD*L-!Xc>Z~ֵڭL`*Q>?Y Wl B.Y_ :j챀i%/U)#:?A$G-/hafpnReτ >G~}Ο`gNBþX2,>s9NpfvL[Q;ܖG3gGoC(CtaOyKKXu^,;%nEnf󯠶w,J0 v/*1s1X<) 9}Rj1awnHbt0skuN@f4&&`A QygZR/S9l9֍=݅ܗ-h{C"qR^Z#aD&q}A5t#XH',DQPd96ˀs&zRhpĩ9Zg0;;mH.V[%1VEa'X/>@j''G0e׌-]} GkR;tFQ)yd}2*b(x!G;j~ejWݐ`o( ir9<&yb[mUcM ݐ B1b%SX?9`[4;`xLSwY (~0Q)y*4J :,_MBw料zՒИvDиjl"=b9hWAV&v2ݔ"*] BЩ?SU<v97N=`Tu}]hЂA"C͍ozpޥ@0D&eۦ쮔Ǫ2=LU^LJ%"h⳰. ix؃,Ů]DAa[$##T)ruThi% J 6,6My;;@yʭ AL[btމa=H?X+Q@@DkPߗ%Ne?*:AH Dtދfnz@\r8w{8#Nޓuə/^ t"Љcß Hb&*q$7p,OoTw-L1&_Riz3KsMG3lis6A888g087`:&jw$y,/TH3n^DA5 \#e]Ԯ8zcu>iQNougҴ?Ad&)'t 44o 1 x8@/_灏AxBme*=௶iePCU&n։?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-IandCW:/7' DHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7zXZִF! \]D?7 {?:fH\MeХ܋ϱaRĠִ|TY(6aLk9k{q?uLq`mN͍;;Ah4mۿ 27v CE߄s Wܨ787׋}K5+5jV9zItCH BRNp#g͆Yډy:ls|޺b&"^]?CjFc|twUb0w*?@*#TwGbtOR+6"O`D;Q IF WTeH}f>%֊v/ՓZuZ2g%[u1O=7ͨ}*}m=9_3I]#f re6$XR ={8}"='i=A?:0K|f7"CU+1jN*ryHod%:oP?3HmޝM`@̆mRWbVNR^ҝ_η#Eݔ+!c+|Nك%CquO㼛O1ilΑ v ):ZKQtyjQQ A42V))r[j‚i15ТK/MoƦl^S9bؼ|͘60Vqs&ǟ̹b*#ү. ["FrwBy}-$uz 7i`[.ߚWыME^HwD!C*80vЬ Wu~l-$gs+A /3#sgYZ %b$ ZJn6A } = y >  b#i o +~Jb#Z :[ L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages?>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup>=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files=C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/filesAD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id@;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$ 1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations# ['HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id :a1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citations :'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id 7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex 3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex 9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex G7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texUEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.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'@`j(2&ZJM%VIAy@y-`Ɖ .Y%P(gb{1(lqRYoˀz c{h,?[ۛRb\ۖ_1LUjߜUykVn&Egf@OZtlXlﴩٔ>xc$", e2N]DGQS-quvM-50ĞdS;4)TrIa5Zr:+7SefM -pO?7V1:DGF8G ׀+~}F c!JSI# V:6qr#PloxW?fkx.^$ֈ  CḯYNOPi}9Q 5L<2Jb)J] ε7Q^F'~UԗWb0/,?@z)(-ay>D7_,6zu5b6-fcmNxXV6G﮲I|mWAr9b&b3Nפ/Rr2[z ﻸ֌e@@/WقEx Z$FG+j Ɓ;;܍@W9f1aV$5l,s)@LKB!DD k󾭮SO3[yYT2D (FtBYߙDF1LT,T f8L<}c_ڰD1ܤ W&~m}K]Oϕ0Z`FJ}S]`̂ћ=,܉a\vنWnyTs%A& U0xt/7WH-nfik l*#lT6fN7,XƳD#h"5@Ԡww[I!#uMX&TI^K⎫~;G v͂U! ?38lr   ]fyl~^XF,Xt xq,Zk9@uOVPd D{lԿaEҘ 4r k&O?CjtWeOxt0G wFoi`[)Ӡ^XYM\}"Abs6Аj&_Ųk <`=w$`pp϶;4ʐ;T3{sS@lV\4`B(YԎ$ǶT_SҽIK2ȏ#Lw#_O68_:Ãyv 8uP;:KL9ꛇFk7fP|͙bLVŢPVq9)D wV&mau+퉭(9m^6˜glTvkT} SYwLk9856Эn㱎SrXp8bfH("Ǯx@&*)X F(r[P%'N;P80l&@ 9^'br:& R?`r1?tJ{s46K/Sdtw4FͶU'@Ҩ~g]#hs|zq&):$2^-vnGirF'1]M[:h +Z}áۂ>eVZkGR0 2ZaiFAbܲsqB#($!Ug9 )4XT7ud*L 4Yu:XQ\sf%J^SfJGrGe$RjukZK4h̥L뜌trtբwR`M%4f]Qa\k.mC *L#Yҗ,pbvCQv{ɖ3G=NO/NǝĚr4}M/g }EzY&CmSV9wVxxI\=`X1C /qp켞b醨ֵѢ(Ŧ<ݥcUF/;~JaTa VǦNmO0Ψae/vZk&<̋:2CY zLvo?6&gL&.3~{˫ 6@i.wܬ_K#l-f! ŇwE|n\LBpeoGL_!V+Λc.mv *>os߽[wUS%ϩv̟ T;T%dDP$qBTmbMkx"nYJ }:wp@d a.0Ss'hF {F¥>xfuF:D304tK {/yT^dӲI+!&Zk4}G2w,ġ#aWQ"#*> sFF_oU?zK~c~[tiҸuAXdX32Lc¹CON¥| iD: S;6bbB ïEJ sPRu/ҟ_Ajh JGfQҾd&;*k?dל[l$2.Ue7Nc|$7mhSyS#eػTXy{x꿾wEto'F:;0=xn1,JE8'{SlgF=~*YxbzNal,.s@e(G9N{Vr XURׁJJo5> -ޒUÎGA/ `vP.]<,7 HZC b=@}>Pn1ʶOiqtBq3=1E2%`9Ͼ`{c]ѵ^ )V:l+CF4Z/-3 R-׏8Kë\4'm^ ZȾ }Qs%=OS~KɗzB㝿fT@YOMNltƲGDg%X|:ty^ N cC5?Ǚbܙ^ѡ$Hڲ[.#@|w&L 4Tݰ('q קvAFO,&m"`M(>M,!k47*ropV Y7+;(Wg(Ca]NUNyd5|܂8&G iD>n3 ݙ#g|R͗O>\繢QIj~nUBT]~sNPsA Vڳ1J/l~ɓT2 *B&DB eL 4f,laVD[ Nd~0Wg8RU9u6!4+.~4K3AS `O?l &©&&sC_`ȣO.<<ՇmW2i8UZڃoos{[?ܣe{z־=ٜK+ N@:`NK͓V*ОcVAzlGQT6q ? D* dxvj1[^K THP)8(e$3R"湞xyBɸ:8v "FA3e%q5, =C,?\Nky)UqLeR}UX*O3k~Ud+ ^&G$Jd&m!(:4ݶ+ WBµ,|lQLzȩo1?FJ5+jAAyGY{ugGyRm8AGÏ7G(a3D<BV]% |D\Q]wj@C4 R~+H<\N},&N0r)-#S2;ٴ66 ]>f%+g`Bz6 Va7$@ո8yb`R6/:j^ɺćZ TP/Rp[Z,]v} Grtz9 H|3[,w?y^#1Vg܅,PG뒛ՄD?My6ut1({qW_2u afhqqTl>f\FcWװzh"l.fŴ\zXtyDgvB/=5E-LVN7J%kJDN=%,X pqK udK@֠Ee^YC%ПdF,>7sJDuG3 ["r;S"N!Տ%iWZFc. ܅J{cz~FP ͯ[1d"9 U4w=*ҵMUujnˣX83#E^xB8%p_d/:Wu@q2gd w(vF-]*25 3e{1?*zyc-zkv%F/̝"X"\ܙf^(%=b mA VXY45NPHCI<˙n):YVM}tiNDt[h2c6ydF;fCc3 F%yw}:C3h#3u}j>/s)d*}rwn ײ%+KM\dxY 62ojx6M<oArӺd4{xi!1,Ā C^Wl1_^\ٻ=; |gJҎ4pիDS ;Ok/x%ZMJ/f5RE/faSMoF Fs^Y^|$;p>ͣnud ejP@0Wo$ˢIDKONP8|Я 3Hwj'mcjlߞ=D\;^6c5_s ;fG$r5y<l^sS2ϓ2YG\=7^K nm<چiPV' [˸uŜNJ"MߐY0PAaalUISr@84L}2j>ڤʊ+V[[Iִ1Gl2̓S,>qo3rz8<&KSj:T aaXFѧ7VB "%yREC‚Bڙǵ)ߪ`וl k͎m16)o\s3tM4f.Fkaaq1* H ; I]X hγ82%َ\D]3Rs.:,hAtP:]!{"h TԮB;/ )WΠVPva7DO˅; c=eۆ]~e֋e  jA\Dr @}׮ s‡uux*6WuҚC2yMG#y:5XLi:7Ym5ٖCM tt QiX?w1,l6LR^J!#nd. qi doa覫5 BdSǯ?}n~w?}@u*pUXnP>O%C0GK͕?B19nMYl!1ձvLƭdfIf:lGP~PWrtk2sFPPEEH=J-fYn7#tQ?tg:D-DU9ZK{dz3Ѱ>u9(粋)Jwwd33.n$Z[]VBGXa^O5ؚutPrOވ>5A&*d<< חɣ"fe?Em1"W= ,AbanԢq#R^pN Jm']=ހ(!g]5Y %jl)LdшA޸KjԨ\p F._Hr(xVc/<0W/|Zw SOo6aeb16JMmm~ ^|T VX6aE1uc 0~qA;{gPUFLR$E?;ʉbrϱoC9aw0P¾y@9B-d hpąX.5Fp$"2jþ8{_8 *a"+3V _/΀FӚ\TL;$y\?,*#FbTHk2=qvm_k1Gkx7u{fEu2[#0P?Pi˴c!79{JhJ T:{,ݺs k); @Cߚ(e;8/}G?S番(VKȥÑC™{(z0D 6aԞ'rCmBj@Cz]r}u(hteX:@#S907*M zGgzwރg{O{fb~Á[cuk4Ab @ŷ(J"<=1na8o :_F N/ R=9"7GIow,Nʹ ^A,S:Y;*9UQmeӧ|Xc^"H!SurSr%*n"MGA vP1u Db (e$x wqp++F~6M_ 59bw)3D2=)Zie[╿ypM!q~zS{&]p)+ I)_uӨ&v215|Z@gG%g)UZHQg,!H78ΧfM)zhWS xGY/qK6L#,Y:q%/:F511^;uT;MD~~ ʺ*(&c@;Ȩ%`<4 oG#аh/5oJ^p;c j5An%POt^38՟1ns/^’X#Lb7pRl>ڵ,V oQ,F)Km=CPƻꝚI؂9~ [P(͉;Pl]7)YJ K@^]{cQB²$dT46Ot6BedlPv1.þvjPg0TH'Pv[=,Aln/NCWP}lK. X6=F.lຊ\L5G?OvcӸYo .DJSa`djw #-h ⹑T n"ب'y."e1 ɷ Br,bSU5 )z-X, )Ow}^jQប*K9cn.$L O8@tg.`#ͪ*dʬ/ןIo (Bл;x/ ÁmZG0áP*{b*6y`՟_hCO1a Y [?)o'7[g2Tc'=Hw.P 9/48qR?UȕpTaiBxZie#m|a[(*vK5 ƏC [`2t3Z#+^&I Xr|uºY O{R8ւtHj:< Z>s<뉎'yR( d+ B A'ºAȃ@q^HkdT>C':W(D693.GnfjV{?=hpT-FrXbjSqZ*k@k}z0<*[LRւx>]xop,A_Mh˜6E6>TBFR!F!ܥUMoXo\%p O"?z!B,X>=r9HK 2CGzh$6m{F/Yl!.ЪO1k)f2(/wRx:é >$ Ce/aTZrtBϯ/(31֜ʽv'"hR҃'s=asMc ETvno3^K鵑Η$Dt,!qֽ'uHiؽ=6o}!yrw@wEc}H: -~tԮ aOb k䵸\ ]yvO >qwa4,RxؽQ(`):u1Gh*xIw{n"yaħaIiˀ:K[2L*@GЄDpz꽷il<4( w~aΧ='_e%k J,ߠQe 3; ě);ơޅKG0)L<kgGqÍd$.*HKWE=]W (јt=F :%?03Vy qGFI_AkDf jAYƫc>P )#ȝޤꝪ Q 4(\]o+P2*+ o=߂Nu CV ${_op %{KXSVV?dG љ5(,6_#Cp9?&;67ig+B-<hE.+.gv^22$X #7gXnُP ViALb\%5gE:heevz W׆ 5v>fwYD4"A&IR@u.tzÇ@KcOAޒ4??w,ݘ]{d~5-` w&i<M`AJ6s@pB](k,݉|f 9Wj/S\0w6FzdUcXe5swXRx柆ѕ1wZFkM؏ hh4Zmb/ ;5,lkD<@#pR&,L9mt¬G8|Fj'22'C{s"/=gYZ  3 jB /G# \HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! f(]ˠ)jk2p O6LP=͵gl5f&Di5b^8th zb6E3kbOdlB/tL] G 3hf-&xӝB~`e5%Kȫ= 1'o Rp~Xnv_ +R"(9o8ŤTʱr#$Sv_ & ׻5?:˞Hú;a;9>H)._vP_pc'öHCB "F%X" R!.WZj5[?a"k,1|Lȼ"zNb:1nğZ*"ϚUB@ÒK^tB@ax&=N8f6{Ѝhm}qUCZ7=h"1#0 [ܓO QQ5'/B6"VF?/iG(?!8 #y7)吗n I)+KfA+0__(wdQnˊw{T=>)T&Q) MmaDZNsr^R e8ITd} XMđZGc6&yu[V%I2DSA;\zmRo1ԁW3g8e7VS^fuy̡%#Yu6>k^~`sW{9uͿd6=bLCzhxiβrUW\' Զou,@gM*_fhg<}|3i@剏f9--e\F@+vj&c9bH&ˤB|;u*hӌ]c|kƞ4F0g~$\! diwc3+J|2>K-Mb Rb*:(JǙuOgMAJ֭Y,:bhS]$'`0~Y)ѓ_Tĥ/9T?&vÁMQ?D<(Zaֹ@)$ӔD4Le~c'sY2 }UN&m>qFԝ ASmKH l6߃r6Vwwb & "A< P>@@Qnݷw RdF=x']y`bOچ;n|ᅰffIbA|7^=~2?*(>LLӮ}f,,zag]&cGʜx_&pdmUf?eCoHIZ8ԉǺ]xoz[yXXH!uX/>ڛD䡄eT45ƕfΧb`tWM W)}A Х8&23mr"Zv6OZt-ChW+GCgA/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/files~~/src/HOL/Proofs/Lambda/Commutation.thyH@/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id200J?/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages7zXZִF! F]·Iq n[:|&[zܒN|}R`95Bf!O55ë-qu:& @0Ihc~zB gEwGch2O"}:ţ޷by,QoaNLؠeDWHձpk#uߟro/ FI߾ie9L/#.Ȥx( #zcm[.В8Sa=Gj1*9Ao2Dߒ; 4MxOw-=la?jʩ=edQFo,#/)Z%|ܽK=(q-sg/ȕ|Gr86G#l )[I}@je$}S~ι*h͵}Ib`㔂q+;LI[gT)jZ=;}&z.m'WH@V7($:lU^XxưqcָS"rK=`FF"xD%$ZzTTg Zf + ރ ӈ\颳JeZgjRx J3qD+BE( P})qgYZDVՂlAvw$<ņm>96-v QkJo02 7BDj]D| IC2%c]js ޫM(A|%$x=ldjD*IUBxO>m@J,-&Zheph v$?Zε兞vDqzzt|5#-DJ#@.dxyqv́x]( ir4-* T|RȔr[^hcXlsbI3X]81ct1@ZUe =hMNOx% 9eMn*d}"4Ӈ,jR F;~A9F .5Z=/LuXf[oC3zPGzYh攩v)Lod}=dHJp#գiI2&Hf2'ŬѮnnmWGXESXz:7x'Z(R4We \~XZmkL"_]1u w(聘5&/%5+XMSdwC (\ fB0hIs|/}}6 YWEu$ztX0moU@;Yڛ CU&t\+q%tXj{Lmk}j]l!UQQ!5CV7NkYݒ ?Uk QC kʳEդ"%?m͌aӜ{C< vb(bnLƔNJwb(wzHeO.Q[9>]6![5/S/-$˸Dy>'C] V'*ApQ&vaWc'm8_+G;/KWOv;S*pZ!yl:{r磖˨1+u?q-OlvDi=1{=iLi-It͔_A %Ք>rb\$ i)+ (Xv\qW7) ᑗs9NTyvTάazͳ}PJ5|Vn U~~Ah%85k:5Uќ9\#s.'չñLo 5u^Wt>…]|2'vHl~]To}w:`L;eky8\1^i~LC)6g"_}ʟP^s.ܾG$zcۅd1bCd`gqryDѠZe`uU`oY z Yserâ)+%@976limrFly ,Y]5s{4 !hSVk'IQzaYL A^ Bbx8O-c ^tPPC2צGk;nEaS(}\y|dAB(ø^d zȊ+ږSwI!׉&ጷXKS,ϱSVn PXA)1޹}R)Lլ-_˦lOڞn) qBӦP@:Y}qG8uEˣ=P)ùfBx8 2@Jy؅mGpxUx]qa LVǬkʽEXY & *ڀ>ֱt8jiȽer mCWuS\$.v) U,H?I;~)  =)Yv1| .(`w>+c.sa'v`$5Š =X--Fd:oCL@qjQ]qpWy >`,W=A4QV<6."E„//y@j|Oc -(4ǝXZg#;`w o@2oC hQ 1x⚐t@W3L3& XT$1/gxVnZ(Iy%h؆xr^]~UjR?`VGgR5n p?vΒ_B=R[)fg2S0a\'b2qӟނԨjd=K%y&9G7zO^R-$pDubr;îoY)cN?gԠ'}`\z2h1Tqnl}uQpH x)9gi[u!0r ?E]>RBޜW,7ndU ةY* @wMm>m-bUpzT.}2 r7FgU ϗY? ޟW@GJBlLM{cVK@ql R$%?xV>BaE__='Q(܂2fGq'953̿6a2U3T {B`(Tin2\'$7+MNZʱԝN`5l"6z9V3x~_ Y86#!^[ya6in4!~,!A}AYHbv¾zo< T*SX=GWN)I !CGVkgF.OIƅ"޷*u# g( Hȋ3@@Dt-R7+#T.~0^W;E_jb L}N}˟NeR  h bAM=ɒٌ1HamVS!u܅ !o'-_u]j2:cc %a$j}d+,!* ~.$-/*OsTCR( ܲR"*| 4Xp/p΁zRcz[.S=adng #K3'Iwа02heLoKQ R6 o>wv}.])uT /4d3 9c8@F׭ gaO R#D)Z\>qpDxf+o CJʫfrvD#m6S*/*aq>d',ZZ I ѥSxD& +Lq!l_xh\Z8WSA5ۡݢt}Q / fװ+HuٞB?^H9Ԟ)d)ZǙ@[_lw[ WVZ^#oTGٖai>Ĝto?yPXUWpA`W~pICtjT~9ijCQ92XlNT0a֬%{aWOBdMYnc|Bc"nSVdR2( wh߇)j߶t bo℧,PU>UV줵D )2Pf@Bu y@Ll#g&g;D?:Y qi+^6 " z}rHJP'@ڃƿ*q2} &P˼T-MUm;x>UO| @x2" u͵-c+Om4yIlnq%4~^mKe;6H*Kxݾ5sʈpe=5+t] 5VG%]pkT }Ba럥$)\X&S ɇM]ra 7gw>U%qi9SJT>][JҤ$BqCl һÔ])7n.8 hαQB}3wb<`kbcz~H3y(x)]::'e,lqQ+P@eTYʴ['c:Y.r) |,]/EYsTPfIH Uwr)Xad7oD5-ٖ j|& >[QsMI1 ,ƥ, aKVˀEC-níL|*TE=W,5Ƶ(YݙC0Ydz6}ؗ "i7,zfw+[o~yC=UBH_,kv%-{t]-uf9 {+S<M:Jb:""ȑjҜ@o)28LxZK2Nw/"Ng޴:עzltYx*(;>P;4t)Aˉ!PݐSdz'\7'pPy5w>\8onRH ` ü\K6 *~RFQ!QY[~M>uQA`ztt\{IP4SNq0mO}~&K8DvZkg}k^eO]z~q,.)tSRԉJzx8 &dOOPh͛C+hP}A6)pyR P{ EuSܩN2-R/ pю>t0݅OF 59\ES)t&/mh&b<teL):eCМjfԲh F n0s<[×Ml MjDv!jQ[y eSY$XgOosŸ~.EF&T@mds=1zلyPqo%<o -zJ܂7ܤ>xc$<`Ǯں132ցXӛL*4| hIN,b@zX|Q>u&dFI:0"~(G.zkiL\G_&(Džd8l1Vuz(n:mQ$6eQnʶU&Gh@Jg69{Rc9ECa3= {.9%Hrc lKJɣp%_qV0NaqJuBt5,d0t!<`SN&K98m 196+C *Ckޕ" xKҳv[ƥZ͎[v{IJAf+gLy(%YP\bH l3uf]*bB-7\xp*\I\p`uH)#Krv^߬\O'I v륮 ML}j)(J{K6PB0yفn׮gH: h'!Bj8)@UDzj(~<:0m>j߷l=Q#n+V-nA ,Z"34x@4t[b eω7شKC0נI|F%RR];/N&Q&N@))Y|DahKU@ڝaxSUww<4d]? W8]o,@޹@l{f%x\($e52oyjB^hwhr"5p쮉jّyS(nPёj-hN;['KMx?CS0ClKF:փ =imYIzRUh)F}%HK1T[,]/1n3B͒yN"Oql߻;)% ) raK\Y,ͺ dA۞fn Ӹ )SdpbI<( 6Gt\ ~+ߝUjr*,ʣpn!H;c%`e@!ۡ`mg}#OD'IߔecVܛ"Sҥmn- q.KuܾZh#?Drh?4DգI-lKkÝl5AHOS(8g@e$QFlbS`HG3Ώ1D/e㦬aLhJ8SF|;m[o3`_PRNhi;Yȡ !Q)=spD.궳ף .уR2-*цB=X=w@Ked*R"[N~vE Hy0(9 ik% rdBZWRx~m/].b &+ll_^y3; ǪʼnP d;U_y@u_"%z«9kq''^/W`V&=M$MR{Qcyh^'Xg`*nJ]$X~@/Wcsar(ʜ?Pd>IHς mzM!U3SM04nUsl!*Hc>-ܚlu E8h̬or4w re(u.dtޚw׮ gYZ}F /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS.^sd 噷oh$hsch\F紓vXѯ5IZd(qݓkٝ+EòJTa1!Dq r0y#@p'*"I?#iSI%*0qF$$&<\3%^YZ:,&hr"nd{ж?#ZθY*_%XQnwOGRYOYVauL@yËm?D~-x扳S (+Az 4$"b8 RTQW%lЧE:<;Ϊz|&wTA'=C4KN_U>-FhJڍ7c&;Yi<^t\"0f q;kȘP9-8 e,{\'ΐAq_sDGEGYBx@;YW +TfV8٬颦@z,-aTܺ9WJ *6c݈#Y)擼M q/OtB [x&4}뽖Fgb#lXr\Ys/KrFbu+H$uO 1.x'uݿァKԃļ|8zte;Thmu%0ɠחtE+M,n@߯l+{2kVĺ-RR\#<-+taiށݿѦ~Iic%B\/wt_Y}<a󿇅Ҵ r>j`_,Em8JFKs lXwywk>-ڿ~W&y7l3cCp-6!"ZI[?X*Ra=j_w8 aC1CX/>ﮢB,%פCԸ'4 }'k eeT췶G sA gμiS>'-3.gc!00l]lb0GEOU}LZ1cu?P&g[.d+&$wY걌rN$"}*bܺ(ӏnd(2V-'i(Q[KJ>Ev.luBmA}]&ҫ^K/P!Mj|% \|\ .=P.W;FeE/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files~~/src/HOL/Proofs/Lambda/StrongNorm.thyGD/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id222_C/G' DHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages7zXZִF! wZ]Άxʆ5.f-9 rq8L1ϙӏMX]A? T|<+%<')a5>7g$0ER>LOCٍ<Pˬ?p7('_},YzM~П~v\=6(W̜(̐-(yز U&:5  GE|: Ym*Ũ9mc2c@D`<G> ߊWxo@f dD`~  jzE,"`ɫ%ܲQ8I/2Gn6%c!yʽD0玝C/qH?+aM~Āc.R!u$[A= >ħ$7Yzv<@BKw4i3˝j˅ ! /|xX#J E [,u#)LX msފ:o+:t^~~/8&q?1e Knh;ɮ 'rv% j)l 8USsZvPd,x+Z)' 'ط> c;)/ӮGN.4Ř֞?9QXY^IƚRdTQ%ktRQ^h/\MV,@Ƞij/'BX {[:^R`^QrEkSU46=*3mNIIKЬ˓FeC,Eξ\[^i+=gYf=hqn Lu??CvH ߃#g Qv>P6%GE*dKdG۱n}rUc@gpVEV)hY*&"vK+cE-r[<葒V,1R GݛY?I:GSxGLd,=R3/װiWY8Ou>>KdZi GAF\7Į,rW:@xG@ W3ou8p)FK{O%g@S@hR^g_ ;B6Uaoࡇ`ћch<5VsA}BXtz壙uӪu!BV7VA!a.Hj\)b&'^{O )"6Z`e'VcGXp)1s~)V; kL80I(.P% [?*[^}< AzU\[}O筄i{8 U矒IhT@4ؘ5m|rkb/o"3 olx@7e<zZYZrz tKe )MĆ>qh""~ZeS+ϭ lNA},1+Uk8:xspazv_lCΟШ"?[`;[Z\k/Ve#kz໵O8V)}ЙxQ`qjkH7?G%~P?ZSs~e8$IEۅQѶCLu77Ti{MAP\oM]煊2k /ɊCOul&^9izvD(߰۽U{De.h$`ɚo+w/8*njFj, *~HqL"E@ ֡$=xMKBmZ7ATB;\ٕvBuHiAM(G b*; ٝ3uѽXW*t7ZMa*\/] !ZN-uuXszY^ERNr2c: ?Jh*w\bpV2RN5kdyuTi頕^@v$~4L[0w2B 0$Q7=j\J7Z3~,^ izg3A-#e7ځ_4i݊QBS$y@,U8ẽo4d~%$Ge}OBĆ:2 W%CS ̺}ҎKEc9w?ҝ~I0dFϲwt?j@{`NO.Zmjd= GBQx-jV1Z~bg[?58i=6D2'YZ_]bQ*8Pm x#x/tqG"P+0 ?Ǹ"hipW˵x D  is2nş2+#ϼLK"~|~{>|x&\D̀ Oڇ3UU k{A)!=@` _ɧ˯WNUi^{ÕϒIgkeu@zM*@5ʿJ`;W'.)~HfzA/&S~>%jY;'D "Cfبflqu 7y"0ߜA36Ej(S8(~XG>}輪Pa%BXqB7.vAsaT4$P8)Mnצ쳦}Ƃ,<>_mrGVTXS1eqiG'{Oq$#cRO 'G$d;H< ,j-kش@>Qr&"1)'?u2g PZX: +6GYb{HZb:jKL\\%S8:)9Ot3 IޯPP a*Ҷ$ ѽ_KOs e[UlA-G0#=˄oSPmᬿ}p@(6]In̗U`DࠁAK3$XTɪT(O֏Pk7'́ggzS1NLOMєwsح⁅u}}ht\tZW鲄&(p%MOȲWʴu|B9UCE!Hq.mCa}e}'* 2kiyX"́3FN\QN^ⅸ #'?hS%쀎Yn 7qZaB?ڗ[jt[߮,Ov1+sFf;![^ H85 /d%y#TdgjZ$+ÀM*e=(.?fkz3`vpb +ixEu3d#t ;!B*p"c.ʑYp^5JIsgpT Ol{IcքeB6N㜏vv?Jv-<ɗ!7qpvSau1S ^Y'+-cGn'ŵ  X7Zɨ+;Ov6e5OԊH-2/}w`6FLiy8imZ}EьwasEgW|+B7sutT-3+⚯ϓ;0$cZ)a}eg`]R:&x֋(Yŕ |~th|եS5ITv)Dif9;=u =@_({㕯N c^%9YHM5XynKwP2O΢udIGf %(\8ͧ} \g'rkA`B7;8 &,y{ίܔjV#oI\1>5GVf t-u@;{uqkyxwieΝuxhP]ԏ9 +sNW88)\vz8OjO XUX orԐ ?Uf2{u/[~Mڇ<{.b6Q݆4ds4V46㟢"`΃jlc~gYr* dgh8L:TMbl_њ{hC`K=FvyZQ' ȕѺƒgxv;L̅CQd#Enɟ+dcp gQ#NL9MX-SlL1O峡apUmst~VdڌnVb<hJ;sۨ)~}qzNk)o1E>- ]L|ia#q#^nA?NuAΠ3ՠʘՑXFRNe1+@QY*%D9FH}"`@o; qU›M~IRx|9 Un#i!|.6Vr|+=O3jnK\Z!1w&3Dv(>Q)8~w.mJvGHڮoR yje+['f`GA՘|`h}idA<ɂo:]''Y=a'Bvm+dskETIi:5}hԍPq@m<'9;pdyL:0{`L.}b&l^%m6׎it{dOn{g~vS0 Qnu46򷂄kMl:bÞ|v ˥]WM$*@\ׁ_ֺi`9%Qm֢,Fme-uA"?/!kLT(A6LވCD=a={Ll,(jLu7ufp 1鑥)=Sa5>M/lߑh lz A_ C yDRr,t꒙+0Sql~4&%"< v=cN(%v x{?.TkO a+8kU@ 3o\^e'I<ڿ\ :E#社~UҚ΢Gm0 Xlx׿ >VAB )v6`Rh%f@d3̥h=Z\H~EM}CJO<_'r, ;9kڧ^jѮd`8\Oy?Z[>)OtF-G@8 7=׮ P1UTj ?`=[YMy^? UO?զ?ཻ'c!''Z%SAD*td}IV FQs!kcr[]xt{<8gtS6?v~h_8#dpD*U^ʦ0(HFO0Qk>[/z#^#1C :d^~1LȽ%iv:v6̡+o]{cw IB3gX6jɠmdۯ@iZ9YQKӫc>e[?yw2f9`'gAdN3yk/n耳'8)/=ŢI|YFMq# hڎ|cQp(o!qBRӔyQ =Ah¼p(}[H*lBd/dHU(MDžl)X9vWW:& [s8USVM$밷(iyGj1}jK{© 1)j3 辔gY@zkՒT ]ڻ_h|Gr-ɫe͜բiJDG9jE/NKt;X-ZzLQب@>Tޏ~c:ayyll1t[t?K!yem-.\%Wcإy~"OKnzpr~cFmhr#&`(QJZ<&>`}ԑ`KOC{d؜D/O ~$V\lw?)~ڡ4}-dbCE9xeey(0%Z&>W He)@De/`ipFW79Z $n] hs PrȊ1ث ta %'_!0N.8bQ9=p(K:Xq޼3~T}BuOf6 ,E3|[,ΨJk"&g7 ^_rVb8g'(;~ڷO*5Qw@;Upx "*$$'{Bqe ׉ }ܰw*L+z<,[X=Re4r*_]ީc$40sf|љk8yŕD>Jbv-ɦKi3~LJ/\t ؚ`b0y6gS(2tNgˊƬYoA3KUYt!]r}s<ܧMo^w Fo‡SI2'8C|0i9 ޿ASdqkk(]F/13mTK?q㮾ڊꗹG^6d=~rCQ=B}& ww:& )bF}ʭDo7O;fǟ, I-;;?'5bt/|}0MspUɣV9ەNoR<萂 ޔDj)siYx b 1+ &E AL x{3(/8\U~xAg;"fv_g\4- crcw6Z$/l m/Gq+,K~)X N‡A1LnMe ؍)5OGV.YTF>)<4ru:]51ٔ_[eGOinLi̝(~CJ R|NZT^@0lM _ G&M4wh({8k>Ly.M&ЦH2Bg9q{; )&#[z'F|D_+ʡ|eg+|R4 j'kȡGg^`yH nIYP|dWx`+h 7+ȟ?5 Y:ө> U^:`E  HjA esdOs5"ɓ%M=e tJ Ԭ8oY[~4Y^O(m!( l*vڇ) }G~wW(YiI(Э> /@hp u!*˄hҧX10nR<EXoh ‡f!&7 EGV)gg{\`wqb Z!x9sZLdyJm|7p@6Bf5 }Mll֎,)pCG1NMB f|ػK"yaBm@'p:v* ߈ܥZ{SA>a R=X*L'Sic,ի9*liRfDާmwR!j0oݲ r okbm^4C ;,ȸЃPA_;Ԙ!\Tf4sexy y+ n]e"ش!vR]t ;GJ&6VԠ8 -.7DݪݐL"91VUƇ\!ķS)dnHU]&4tqUriV[ 8EҩvIJx73`ɐpl'8 f + _@E^B!Ĩ(R !s?X EZSN BɆ/O/"fL5b $=b7fn/paJ|ʎJ Xxͦυq"veߥ*Y;Fn{m"afG h!; iF"mPxL,<>S+o#z]Sdq|E²į@5Ui?\=DLd#@'wXA)Bc|);dU\IBC$rXO3 ;Q)|=bf<>Pá{WN X-ZOkŭ$ťg@ڎXb6z*EΟs^7Yن8GIV4My7mDJ{B^'jՓѣ6:Hu &1[[eS zԠ<b*qqx 8VѥF(_[19J@׌P74/^]Yv/:qy-#:nΤEKoua ŐpSKMfK7@8XFp ׸19z|~|U<?XlkԒ&{XFTn^$61\ 3SͅGG{"M?d0S!Aw[Kz? Bhck@czvӹ\f#C& fYzsn,' FgYZD1hNrNMsY);;`fRߐ DܶM*aFO s7sQ U7C*X+EާCKJoʝq8~~2!S77d3(/@ZHdm @z H %d;0stoT.\QŸu&*I >&UiOzǦ9TQBƇxIܦA8O`[@ aQg(P[Tfe$4IAxV PN #9}d%wH`/ucئAa?:T9ϕ4RW+˫Q |,OG|:=iquԽ^=K.EeL7TCeLÊ&%Dq/t~ @f/l^|]gd#R8| ṛcϿRwXYye~aPϭ_%czj J%@jh!g!kGϷFO? 0F?4: (u=$̻V QPoh"̽W'g"O4j*-ʼ圑 1FI/6YnZ`4_/h k #eZrSבbfNp.oJ,93HD@ *_ %#lם%ѵ5c#Ps~9 { (,ibq`a@ѥ݋GKѹsfE.T[מ|;t,qf3Bb ;!O2-)|#8>2W$e֧ėNpPt_غDrc֮ Oi7;h܋ژ|d(4a6K(Z 2!*NwtZdm(29?]ύ VI!Q" Qm;4HDshxU~+0rܟSM)j>Χɤ(J<p r !0ϒ&aJIG}1݌)q,9P9." c.Ei:|i^Vio_ojZs)3{?+TD'Mb!]e2la2UOa "eiV%im{@,x ZpWPnlO'RMGa5(k'?{y|Y~< } !斌?=G1؇͟]/E4ESDO,QQr4gǾfBS]!;!SoЉ5R.UJ, |{GXf=>}vj+v$x ̶K5N:p:)9*}*7Z\!gPv&]XO-6,O{ةݦr}Hp}eJGY@*@zsi49T *MS}?لfw"9Xy|!9,Inq  V|\7+浡CpHQ'&Po֘U[@09Gw]! NCH\A9'$MX73S3:Ir,LdHzZ+~|0X<Uo{APO$ A4\qik}&}`ɕyw8I^L*?l=Ҍ؜ZA!ICf7~u]9^N֊ =tiu\)v |襕rv^@Qؔ`< _/.fw&cO#/b0Gkݹ/&, BXGv*GV^>_ qu5 ŋǎy'tm VmFa8G_FwM|­Ȃ!5iNbdXl@0Ϯ,B"Y~J\>0{q&>K =VI~apȻluuej!rݠ¯7"5ˇb4V >5gљן>vRIfʏX%Vb`^dU| 4n9f.Ҏ ;kf(ISFFd;b4Ґ[Y}"bبumkIAy@"MI2ܳoU/)Kt[?H=Ab\KnЎяL<ȔCh@͉t/kIF9]쵮B^ -\j (y.3%cLͧ1wSsG!UL@@[Mmá!CSMy!ۈA*ӋNdQOИ>h뿾