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 p/x\DD ]/ HOL-Proofs-Lambda:threads=6elapsed=100.283cpu=118.536gc=5.3127zXZִF! ]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߬ށ[:`Q:Pҋl1ku2BU|sʛC8zErOVH&5d*)=gNwbeyF +iZ!ok'WEx\ayu]uЎC(-`t|\ܑ)@?)۔L^dF֛ f4QFyz1Q+uJ{ Kj':d@%S66U~,ڌ kDnJ_Ewhe;[m+Bd5OYefl 0ծh0;9TlI?1gYZ7zXZִF! h\]ŗXiɟ11bu)a2W5KԫqϘ 763| ~M9jpקrE|xE1 )%0(oOC gOZx @6Jdf]L?1( O5*E[J)&Ɍ(j&-mM,tGU'EToa G7!.)m/4t.F]<7Y( /"}RRXA,Qq,iAuWJ!_~Bk4R.*OxhGxU!4cǸ|csIHQT`|qo1̍^m_gu fSq=.0U)90sr'TL)d/^$sD!yP9m Y}Pl;3$ʍE|- O:+A[U2캫{eWj*"%QMY .dm*b(G"NC2b :z *C̚5nI|Ws~:4"nDgrc~FB2Sځx Rl./"fisnWpe V{,#&鉏TS.`+L~Qt] \Eq0TJ~_/s79 lsHֳg]NSu45S#'*[W 5/6jgD,FKqACCu\pA >@D"I5܅#5vKqt-cU e4_'ol 1nmMEk.Ǖ8BG|742a@Bstxy&0;9 :i`x œ{^g=Lo7:6/)}߇.9UL% _wVmH:h鬊N89!QNi \UhX> J@xi5zbڍeҶx[~8=E[PŢ(mRxdc[`miW=|0O&:ؕiy>¸WK4m>Kzr:)•xfFK`WuT+Z;oHT>-&PA;PtK;r#R2`L%q7,$Ӭwya(lOnv+ [%P 99I:O>8y:zhج8/mf5o75c8 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.,,%%!         >zn6 } = y > 7i o + J O }b# ZZ :[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 J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.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+raDz{iYQG -;hXȍ}BOym?ƥ\Z%ҮoA¾Ԟο+^ޝVzAmW>T[ (:mtDY [  ZێqwS/ 8@Ldc۳!GLpp_d^khi)S("DB6:;w|nZK? 4 =GhXHrD+1?;6lbm] jMEܟ 5T2/Hds\F1&W::TMZ]2Ӥ=° C5q6F'C;O&64тhFpT<-޿72)~FFMw.ruka;yL̨l0WTe KvF*LUV$'s.\mG~PŊi0#rcd^eӣ97Ӊdcv|qprS_O*BHGIMtaq0QGGlVVo?M`V;m 7FjR+dQF& "P,a`pL4;Vg92ZzfHSJ͝,MI9; dbu4UlD3JXdbT:Y=e|M`7l X+y,[La:/ď(rHV ~'+E&e@kY{1MW_`R>[8% +x+3<9 %ę|36v EBD D{tߞ5PZ;~Qc?INa{IsYO (񖁑SL6Ϧq4puEV (< iR^ A fIc`i_pW-XM'(mW8\,䧸GQ'H;;wubhK1|Y`dпkrܣi>EsFxH.qg v~"%ۂG(Uж J䝧k`S?i῔Lkx+v]XQ Ͱ_x9fa\Q pLƭE@D|s0R%C+ƀ,0A{ryH&Z}!mw}Jp2'pP)ڀ^;U;ϋRYmTA5#BU: ql˰h\7/)єj ц.WjneKv)E47x&4SV0mP-4rxj-t[E4P!-yRtᨉ\|MDCpqF>t/!Kp\0NZ1> k"R-]oWaXW<Eǁ8JK\4l{$WLnڴ1} gYZ X/=3 4HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex7zXZִF! 8 ]A-MՋhvG"uIBm5*oQ߱6qg B?%xvv KL}o{}5Hq'^%Uk:V&5:x´HZ㱞t4zM^UJ]DnPFU)`s )S[hTF!u_@hM,mN*O}8IJtlu_GS(7bBjL`S"L;Z*T=:IU*.fZa 2OmTszhUkgBG H}X3& // Ǭ#0pQ: } [TOX~Oci3vU( _?Z8^JG|&2 1HYP^=݇B"d0"C8((+ XXYZ-@_֌|qzŠ@꺰l&L+#8 PrKIeѺUI,%(xM^÷\9s2HȔDd=P!=bjemċ f۲' K^yy{(F-|0hQNeJ(&qd}a[ۗޕDmo;-Q{OFyrZBP霰-\󤝷F#`]u`~kh#M 7 z fNA9t4_R BpS ~YTcvMĞ'|vX?-m#kR9,VRk>F3B}<x-nuol`BNIuMTՙ;X1.ZOJ0%8v0TI(^ >vU..ٰ(:c_DdF ҙ@I{ =BeЛaw]C3:+jlD"[ 7`^Yh;X%(4)FN#%{)\6U)LC=SwNDp%A`8+xr0z}>`e8WZaӜJ"$ځh'W,!R_+_i-O5YS뻯nj;N`:ːJwqjl\푞Q9RXa*_ .ỂwW\l?:%cxOHt\HIvyqf;jZi@쒥y-#r L:ȼ~\x@Cza+gckXuTE w@[6Yap%0u@ 1Ajw {t @6t&$T!(iWuGO"#i-.kkljˮ?^J#% 'mw-o)\3lʃ*rc]hWfRetq 0<| z+Im dyߘ+zhxmSZvYdfF}FjY$/=ZۂȈhy1#$@׎NL'B=zVc3ylF"G։fWHמ)^ΦERgz*+Jlz*Uh/- :L( SCi-- OkK&38&I;7]v"Ct#.c)I[Ö́=O 6AU,w=,`S#HQy?4@cv4=8&. k]:*֗ MbFjk+8ra(D ݰ-sJV&oi q6"aȍ1OO ( ɣڄxӖ ;"o~!XyyPAWth,ߵllC= R͜vhCԍ_c2Cs`|–NxʛZ\K3Jj{Is;]kqjD߫W*XxlP|3XLQЌp y};η\tP [(w֦@IH8l:@'R5'ڛT߻2tzőVq >=\<8 Dؽ~-͗A` ]ގF?.l:Bqn2@&iV "x%֓ra]evd@ 5^nqT&|+93:7VN/+ 7AnSVyK3 wT tؙ_I緻 vE I ]ʛ:D{ "EíUCֹףLS't﬛am)&7@`n|[#w2(IuY@1B/?["EgN\S;Do>w`b qQjU"l5$h7>-;@emzX u|.=@&2`CWի}SGN>)^r9BH?`A7şyĖc`$mw5{sy-7ya ][jGz?Vm߯ՇЏ<4]cSOiJp05[ra=e'!ԑ&69Q ki%Jz`"ߤsgL1~.-fj Lf v+em!i-Wy"yR:Mel\`&HĆƶJ-`ƌ դbj֝.OhҍR؂`eDk IDc{Ͷ:X %ioDkv5a]ODQhR%2$†?@}qI= Df:v4(Z3b Q9Ous};l/Km/Łwʻg>w7 なRfJ:FQx u'7Jbۭ }$,6DVп Lσ?!dqjdmI #Nsig۽G/TEIut .Sw@Lܸt~Q/[sb^( ap&P2+R)Q; ܉m |%̹ 9#9HR[T1J: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; 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}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 P_Pg/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/files~~/src/HOL/Proofs/Lambda/InductTermi.thyH/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id216~/=' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages7zXZִF! ~]D?7 {?:fH\Hdp/:QW4h VX,١Yp$y\89bGbTKC*8(ҋ]+펁U^Fӿ:_xYXQq,~66iiaP MLi#oL| ֆiN kCB\Wwƹ8\Sκvs,0|lftCgyXY,:JI~sYF+ i5'9Õ3}+}=hrFy uňu\(Je?Qh&,e::5,Vᝫ!CeS]|ꎈW%CWՒp ~6uש%1|;gv=22xICpU@[&:1wHewpe99LtqIG9n:{=@mq|?41)]'DF Z7:ߩ5q7xW2x~<1fܷ8^\[7U1<U3l;YkR)Ml2t,Z/ >9eH!f 1# f;+U@bmvKb56ʱgYZm /=# lHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !m]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~ >Ř$B;WLdHc{(-:JL$k" 3觓,V؁)|NbN|5l܇GQ= E[ :˃$,g@"DSIP{N;Pr r@-f-G>%~2i?nGn'/|K܂isY4,{jFt&unȣ<߰\~8$9l)#2-4]/=!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ቨ9Erᗑ}GbBUK#5F#.~\< &;fw,\}`y}l?Kjׄ%mW(.>&T댇<,A7xfpG^%:#a-@\T̪K9́V*\TdvְOנ I;eߊdu3Z㵈Y=BpvUJR5kJ.fFIu NUR>2T &܈JӺR__=XM>,~x?<'/c`y/I2!.6)ͦtn-MO?'1S3Muj._Pi2t\J+z|h{DQ[(cIU=pܩsmP#mMkgNpZ*f&e Ims5 mBeKdWP 6ۢ*Lb d5liMdJϖt E * T 螒Zc_K}q8z_-[N%arb( UE~v۰̾)Lh?{5 n͔;ʽqDJ^]eףG=τ@t%}d[MdfMטUdC"(c6_{TlݦN2l{  o@|e^bg7%ۀ7CrB3~Y qcDҺt.FJ""A$Ύ(L11<;9@Kj= /6Vi^dI؉G0'Oݰ)ҏA{~a} Z5 ׉,cmN5DU S)(Z)<5\r?dN`=B̚ Fl6Ize:gQX1Nr2~;qYZ(X!܋Rao+h| Vvrk O+ @#_pz֡(=w1{tUI;x  czDvw\VT|U[\ܸǚ2NSa >l\HV:=_,/WTaQZa^5 Xig'g͏Rߟ dd~S5c^'8C$Y @ W@N؎|EpisȺ2WWa#B9xPfd@ӹ]^ڮ!j!7ăͨPD:,5dt7_dư :~j}n&` x%Y>x Q_)Z,ҮMk^iD_]t*oD@]Jq90Uϟؗ ]9faeV +gcB=NEv?]/yX/Vĥ;UW;Xb5>_7el j֏ٙTD̔@,S%.汝zo۩\.{IsTF5,iw|TlU<6`M\ 7#FrBf(ANԛU6 Lm&U{THؗCSX4Cd5yR1X\wwyǯFCR@?TꔁWHiHD}Bz~?/ 7>,ͮstIk8w.u:i@ ·)Ge n=>[ޱ9B+g񑹊ܯ6|J>" ;]+R+L&AlUSMs&h 2LoGO8φ>z!2M;0)H-k+ֽ[ p`)1$!.5s^r1> muce˧L8LX"a^z`u O_6?2-')|+#*/~oBduEL? /|9#9LS [q2 oYI|r'nxݖ-Z][.Q|6/4"@cS0YgȹC)RcmnԪ?ps ~B(pV(| zp׋'[&셍$YihF*mfǻY9C1Cܴz@1m><&슺`!d [_#Y~RWr6 &ur4@R #Hm{aC+cja9`湒,TZV*1K ,8 ЃHȍmku:0[m@# ?\z'jUGsdѽS[1]q*RFIC9&2\70;;p-3#"1>-GTA1l%߱O>9J]{ub2,`WBԯZRi."KTZ[QcZ1]j\6c,NWX@$L\0ZXs*6.߷`1a76]4fWWL/=A:g0+ Cż:KՊ]Gsg2J[2U#׫]g5_ 9YS~ⲅ)fSu5Dp2vT{=lmΪsN#p)*=UsE"8cɯL[lQ42[öfc:y1" DY ےe{ƈ9\vm3s|ɵ'\G PJ隳 l!fhVOt9u/ޭ´xߠ;j^ݜ>)ܢQ*̿_EdapVYbzzv/tZ ~ |Di| 'b ע ɒ-L55 z/ʋT 瓂"JDlЧ{;RIz_uga(U̔?ܦ`bV鼺$&׎oF9K ?7Y׽iq^?4ߒf*.6OiL 5 ˷tOڑ,SWQ',l-l1nb0 4om-I3p`UϛGbЙjKwO_Gu흝?E\=={S<\m4g 28e?˟}rQ 8O^@d1,m~0o`?ĠbC ϐwxee9E~_GRK0OOj-:oa_έU W0Is'eQ>9M. sp ,iY3",^>DMI|KzDZIH*>X"f%T;]?d CUfncW7P`< ܋k< wQCR2#JX#z6=R *MCe%-^z},db<(i!DHVH$jľ68C8rM^RY_, H7?q$adq┏~Zs^[ *|Y+u_jӻ4'R hc)X=8u5Q]o3׭v GH>PU:M|8'Ci 3H(SŽp_~f\pAk:0KJű#~cG9].;,jw ޏrK]>_„FL勼hUds";5ۢZ[8LnS2JNF&^^Ol)mĕ/Qai!BD4lrc|N$YnzETC!Jy+cݕRlntsb${p Ib)/sg 0X7Vaw5χr` ^ }`hw2"wPd,󄊝.@H =ٮC@)0'L5"Ѩ->H5"iRٝ^+RDGguƼȏӺ!?wD'3UL{I{=UK #% |W{XP0S&0RzFokx L*7"#nOIs5Z,*ր1.3Fv7"c8|zW ub^be&&'X3I"[ $@R 5n7*:bR\ڢ%Ph8T47HVl# ڇQK;][h  x8Mch_}ύn/!60|L3Yfy€aߧ8f[uqNlAoK WԀ!rH.2CHiqEN|2 @eP~34XUye]NchX.(8Bܨ.PWu_ƄmlSM~r=6S[cE$eyrBHjӤq!] T)ʮ-N3W9'¬˴SO/o0@ޣ, 1fn/>/#iM2+vuWLE I4#DT_}؈& SFu^ܸnKF\B4ZKd(7y.ZpRkn_]w͘^fQQzId27]}Ky}͹G:$LD[6Z?Iu&!wvISirRmý~ezfR Qwe>ޖPC^6ģ]u]M<7 (=҈k"ξ.{ԛl䩃T-TŢ&Htkj Y,b'3:X=t<ʎTkO()q[*(8w,&%V|O9+EK (*#CS / !%pxnB ~hNɋ×eTMy#נ XgiY= - P p療Ht*S Js om0s A\+ř?}O,NSeBdƟ†P:nv HZx)Yn.M)Y7'%@}٘rfDt|`>YVV3bV ZIш5/7Oum D]XkvGMn!3>x=4(鉅3*yn-$z?*?<9 2&1ݷ 7qR@|ʔ4Ȃ D}O(;h 3Rsa4Kd`skBye2% CfUE/.yz sDۛF'fTOvB(AR& ͸9mG _:EWFZ!~LmKG:(N֕D(=z?q068654ˌmw)x?eiIhG Lw^Sc-G= YHELF߰>)oo A}Q_u2M\c,R9ΈߜRK 'ijV}\\;׭|t,[rJ(* >ռdLέ}Ň"|r0{W-7b C N<Ĺf:!*G'wj֭X|i0sFg۞H*Z.3ct8[b26ߐ˂lkᴄp ;ĘXCnt4?ڐ)TTwLxǻMwq +WK[HXoTȳe0}>ƐDD jxIlvf wAh(}.7/½8G(2uq#"Ps{ W˓H$CO=q\j[[S=^sfhI@d荪iJrkNJ C=*J+=}%bx6i9<0_+L -QG:p?[Eܹ}piJ]#޲+9Ax׼q1<}Pp&6vS@vFpލ2oAYu.U{Srkh7a'Q G1bβRT]qmO{80pEM?3cg9)_YIsckR:L*Q`SΪť XQcl2pq$ /nsy]fgaS%݇H5Lhmꬅ yLQaoH;x R3\zwNyFՖ ٝW5&9\!!@;|*$h06mLq'ڜ'ΛumGc2X#=Ԁ?ϙǽ[J"ӆn&M$'e7X1-=HWR^y#Ѯ4_ZЯ9t-WkX͂WA Py[6G $q "61G^EZ@ǃڒ-e Vc~k!"P:ug*}nʶP4^]4Zs͍ Hj &hKt01~@ڠ|xvWBNrٽO1y`)s*).jg#-\lA*.2t\˷]orh}r6nI7!RWwƿ/ !|h.Kh]jC{Q_0!CPN-A-'-D Qnoĵ}BvFՔ*[3w3N|Vꔽm}bZ}Z*S6fjd7jU (ւJ銟N_ {ҟ~;O 9z /?PM*gD_smKv9Mieނ 3( =)sOA "Э/ҩF8LTeYn5sj@~*%D &c pF9Rl1AD&vL./3 4-VHbɭ8'a}UGr# #,&pSwA"h> 5PLU7s}e 9̂_C5G4&Fa.CmR} 6KSA :4 XS˄=IaܗLhRDY&5zWqx.un|*%UŖhO%NT GzTGQ4J=̹DݵjΝ>!%YrCNf[x2̌V$Z`85ԯ[ŽN#,ǽl<|cI֗hE%@BWKC>Ƭ gd{?M*5*NЂI:#־z^=M=H ]%38s>FʤqT^6,vt9"vvKk ߚҟw~9wxntgf`.cw{G;foaYb`73ʠKsϐ$XdΜ7A!GO@sV\Lr jBJU4l3`?y@6'FIel,L~0R"Ε[s4TjJEqH:L8݁KNbep{ʢǟ$I{=ՉG?ԧm:M12]#) {j)؋R: SQ3+^cȑ(DL̯ fej6ѢzZ &,D}tn}ls=;{tۢtޙa ] VArۗ+̇wz$q[^ݹ@nomd!OC!rDTãqF-' ٩l vhgNm˳J䨾I=9㙱ڜRIlsJ[SF-Z: d:+DM<%:qp{u,CzyGuh{Q/u]&-RPs/\fdwxEl5x{bs ,נ!8ȷ` mC\ť62okKmK<%EA[œ ;ſyX|VEDх}z_AT5$[b#?'S^s9.pWw#V|~1qlzJӛUpK"(?ߑaܶMv cc`8|`峮B y7Udq%5)F}\'cʱzo !ȓQ܊C4KY8N~ٶҒcTp:?n 7!4"Йծ!6|YHTcp w' н0BQJřC"eFsH7؞q6PnP+j Rțݜb] o߱`'o"J7vVÝ9t)S! ӵ㒮ef{r z(es?:!Fk<훬3SjgV3]5 ~OM9*r~y?FalkOda Ӏp*Pی:ڟjVҍl%82qiΧEs)3kv96✖7 I#V]n 6=a MWGl ˺O4|<4/AqӉC7Wh:Z%bkDNJ.PF>@)옮 yUiiОӊr!v4'S #š; F%[^Zn `XT;-s`$A>:CqP&kWs4#pQ*nB-,(ҭI"Mqa^G.LMS}6i/-0OƵ &X:fg4 ٸ0c,{PJ6^"X3?Ԏ},}Xx8FMǵR(._ b!nᙤ zI O&Lvt(^j݆oI`)wF"|DՌ[bqgd3aY!:q|?N2` - L-m{vJ^9ڢ-nGA3(T;M;XC#8@!)|`jiq`<ahfS#yNDST48uòG=:4=nqQJ+Ͽ/=B gBEB8fb aag;>@4ӏ=ۦHtB_%Wy].=Dv_//ǡήd2Ɩ~H_ţ85$~č&k~C6QZ'Is~Co B1" tk%Tn-|!@N; Tc-)gYZ w6wo/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files~~/src/HOL/Proofs/Lambda/ListApplication.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id206?/G' HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7zXZִF! (s<]·Iq n[:|&[z'^HkgUtue_ ֓fYo}Tb~R~/@m?!Z䥒<{~s螹2וnb L&썕9)MҾ#g E|}y+_ȴCH9ZQDa!=Q6 MfvڡU]I0R]U };nYg@GR*Ӳj9:p錾:~$ '> ^U/{nžyX5JbuMB<.ѧф13)ژI#R;03W[ )|^2 Gr HQ6"|;P|V!uf pSdE7H%j擳Qk^PY=)G$t#c&tMBjY*<18-/J 75{Fst`Jw]%DVY[1s९yr\3}8-SN1V}PhgYZ}/G# HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup7zXZִF! <{]ˠ)jk2p O6LP=͵gl5f&Di5b^8thvgA6ȺUZ6` фӹ,-}d5>iˇOm/S>jTg f^ /jd('WKq|D*Xܰ+*r[8n $e [ poyo{6E[51 ?&k<LWZ[N!ݝJ^PfPهېH.1 I [ln43q@'i!l.x4*us:S uOtj:LW*vD7䢒IVgPP;4h|>Fu| q.ؘkvԧ-cgBAUhKo`ގt.B}ŧR TIcC>Q"8'5dN2~| Ůⴔ{0d.$ eQ[ qX:Hh~n$S|j֜ɚá=~QkSQOK; 1 wv"4SAÉjR ܼXn>jȁ3f8d9&9b1E'LQj@T'-8)P} (W,㔨Al4nKhJԚ gzy ه4QU2Iyvo\4Z\d"O~4}5)-77mMxU pA!ҵ ${En XTjUqx\E M6ٸxIh> HN8O: x}b/9Y ==ł895RpM/hbծgvfOH!{F\&%oh:w٣j y!_S=zY|3ɉ#Lf+\ ^#~1A$#Fu}H~Upȋ H$# tx%%0wt(20S;ܛQv kT`X=ߕI@ޜm21Z8r x賡/>Sk%6.y. p\ɷe>R J)a[Dӄ`' ҃Fs%?Sٱ=ٍx2)@P M=4|7JhgRԜ]>Knˀ_PDYl':m *_M4MG9:!\=3wgrP1T3QQڿ'vL 3~fʃv1PCjOB 52U)VcF)>Wzk 5߯YZeDY~WDN> ab(e?]QwW{X/oliVL!+\FWߵN0[Rٰal);ݡگt1xd@BQxHqrRsl@'%ŔCWe:\f~qwO95hА?6؇j\5ΥG,PS :9,sX3(6(z,#wA1h̦Jg(Yɵ ?gDyaŖQ 4̋NY|Mq•6ks_>u>s-n>!A8Fܭݴ![!sR }/'oe<_JwX ZGӻM@Ojm Eʩ(/ oYpjႭ6 ӈ?nXA4U`W )nE4+gX)N k>jsK Pej1ery" 7 C[B6ʋ=t# 9#Zna4(/…'걖 j?=e]"pn?U:! %:D]]Wx!V]Xzp`"jkHƵ)Oy&{,Иkxt[fRo g S#J¼oH''ɨm˞,aAlO.\FkJ.pr=j0EA2㈸6orbl[c8_%~)-TG-g$dyx'%9FNѕɐ(<j.zpB=|(ء9!UVzy6Of߯SMsS<-ze:ٗ[Z2*!8 *99ۑ4#Ka}j޺uRϒS"%BEEOSsk2Rޮі[$T,r㡖8םסWkƥi`9=.u{Fn]NusGkBx-76豁O t@9>Y ~m:#B>T ;7T WPX&bSN9+hag 26.4n1U;*N^\t}U ESlh>ڊNZ=gIX:@\!=%lH|2>Cwu>5Xje jsN_|KJ&_xh[׸-W*1x-q l9':BK(t' r_h蔾gf9 jiP)5'UJI " wL[A>19}\$i YkJ"JYYD 5r5ɝ+qm'MOg}#TrWD,Ol I$' C v3 q>$L7 V*F[*mY#WLAnόOKxttɟ.1ltt*zcyEnc`6} R>4bo̍{\1bVl_s!2wLRH&;]v?W% iY{ &xwVo=Ʋq L|WJ{ ĄV^8aj8$BHMc Z=+w7/́lߊ]P !<ϧAX;d]T5}'O?GH 1,A$C`tgri:.l%β +ELӇ̓q5U[Z>%0:qN$ue `~I,Ͳ_^Jfr3Q*{m6k 'y82-)*evA-w2Ap)}S@iGd(vX jmJ&3f{9xP;ZG_*"mR Y2< rFKPc4T9( *¿# hv?{_/60#tc.4՗,إ -VosX &( bI?eUr'KKF rU^%KQ4Ʉ gYZ h~ /O# |HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! Au]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS0i`-=.-yqNݬDecoz(ІIZ)Z¯Om|+eYYˉ,׮AN|6yW,9.n=xe},Agqqgfb)p`h U:.'e }23Fj=IcZ^n4n6t~jOMs.XAQ_s Tn&_\bT<!L<Zت0cvk~W1&YIJR#)"h6WhFĶs1 4>Ɩ03y),("AO 7\~^!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! BH]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrq2rvZԊ-V/ {JH !o`7|oS߄쾬h:J"&JWeO3a]fp@HN٧K:0 3= tڈBbura=*[ZNX>٬$gBrG=JiClω)o~B5[dƚ;^io5gAd^Ň/g|07ۛvuTF!J;3 N,3+,5gsB9u}L$4AU*{=s0\>G[7 š i[xW"p@m # t"6nwZjWB2aGrW/// %Ӹ^*+ [JHXa ;U.p_Tǘ"rqaژ㫤~Fq܈4jX 䒬|*Tlh)𨓹[$ .dkꡂB ?Rg8$tR^?jtAlki&Яw ,͑{O%3{p؟'$#8M =?Q+FR e&m PCyp$hYRw&jF u|lՉOE1Ocsk\a\Sr.yԄCöSp?ؑh,Box(ԯG^)ɶ_ۥId\,= " XPЫ^0aq籊ɚ\PG҅6K+!xY;,]X0z9;P*!+khWݢfe ewh\G#yn&YkqBﻕ?4"Z4Lmi|:~* f~E x>Q"h]t,Xxtlvwv>:tyתmt>rXjk]u*y$_OU۞,VǍ̴j{.o/%_0`+HB=޿{VW!@@07@{ 7WH)PgA9'O6i׳Zכ?` ,Zl|Ο&~˘]\35/[J-yzdAԑ!Te]_ejv=J c-6]v:IPu1O/ut59-@pM~ШܪD:dj]IgJ:80[ǴIdQҚ,"fx&M]msA +Ҹ|&kO 4ɝ^6ZLRol4NIQl'}q-g FH.S ]z+Cr8v~lQ';Ĕ,7Ļ )n㷼Yz*%"{ M4yXoI4>qjĬZD_-v&})p)~$r>1yx_6',Fm(&\&@Q$ ד:c"nFz=PBQCP'զ6i< $e꫈vC";Nx?6C.>wFS@{ϵ8lYe` t鄲 S GbٺH; a\׾sW5醟' 9.aE2¨/ t?&Ef[|}g& ս:D*2Iψ`!-\ltLt)"6tl}1k;On[WV֪zC۲Z>Qq/LUEhҫN3 [^lJ\Jӡ=QE&{f5gS5bB#l|~0㵚if+G[ * RmAq|ɭ a~b.?\n&TĈ'#?†'j˨ʩ^|%:+ȕLUEo^![+WYC\9Zw~jD+V  E4a&crXɼ]4ݚ@*y1 >,("D1Q%HpjՎ@f|SL&O!kTnvԃV" nuEZ'rS"WєF*X~?$-nuo?њpfg +m=kżcROs 󕵆3U!Rw\Qƒ),!~CX:LЇQ'?vO/>O#pv}Xky"dm%^9:އ[\u+D Ҋ;7S*}Y#םˎL#])^FuF*"th> KQ=3صCLz͂>\0`2(5Ṽyfv_/\ <>p :9}V]/ ar};s+N˫bV#-x1`}CvoŮʌò": (H&)POU~6T[ubQZ%&<$(:lj]:JF}I!; ƥS+(c[pRLkH @R!tf<U ^r[t^af0O5z|s`T9J'bm&44M ̇;0z򏢉I"<``m+˧7_~ ڈI|[MI+gaYHMcvD&Xf6a^^6a^|U{0Dd0"D`וJwz7 J`GLN+>'޽CK.;v H2ɹ wBxA̽lcqN05 rk3.^ L[~a!rڠ3Jmxr^h2<*{=> LfzbHVSF; Ag~錼.#a/8ӸK&"nwm]/ꭻyPř>MMZ]$RD->)i% F~C1y]b)6TQgI~oWx;B*6Ϣ, .=a5z8 6K;Eǜ(hK2֯lNnuc]hO&\iT2bdJƵh9swQ VԌ} XV SNxXKѦpK-:"l^m%]u儿 t~q,_t6U6_"Q^=4%")'r7IVI- jTCZ~}9(@>f #kLd7^3 A`4~`@':JyO>ל/-@7'b1IS` T8I"OwG5)tT8 E67 7DBMH٨!o[A1>cB7%5X:Ro^piKgu }%a|~m믛H ,Fd/$3'N1#@ 8 w;N,R;oIZ M{fɖ@y fRɤP{ %}V~^K0m!wbN_pL'{NHvDS%I>18ONݡy3E:-oEKlՔ)8$R_ONuK:$;HG]JmV/ұaUDz2!q(@Kn܁Bey@`Xx cIk\B'[EAO2C킪KP#nkﶨotJl(ډw`i8v뢆}8ߧesxX, #=z!R:rPpL4]X3qg^6GOU.&G.J7o`y;^pNe&( % C!\^w\щxVBF~R5n(I5`p=E-,x܏)υg?¿8~ͤq?XN7 fX}uHÝd{n+] Ni~.0._T~m<~4~dDvr$l\kS.{3$A8JIezDY՛Cxjh:^E Ky =J+}0ROC )o+cx5u !7˟@1!Eڽ@۷97R)ϐmLೈ##"=jXvLjyY HH8$YDDž 7xHg*M5֢+[|R zV޼s8{M#~`Kj$GQ%t1z2ӈLODL` 6DM,ςaǬCp;R81-~ '>`|j:< CӴkB]LE{a@mi4fh߫[1{(PTpnlEZ ,J- `lE$1cf*N X@ݐشs);hXA≗?-> 1Dbu}~U?YD.mО)U @]j4p8x`>jffJ M@՞}`  )^=v^$xH?][GP5iXjG,.v,D\4vBcKKpȵ_> N;5 2'"C HA6h}")F`UpX \!g_GGd6 X4|$(( '-nӗ3myݺAuA ;9Yz@BEí9ݬԹ1 -l|-94 ucAgkye|oE'C%gÞy;4AjͰ" d³8pO 9 2v2GD3ĮJ^_Z=y1}2xD 3C+gY [jfH+$ؿVD4b877iYe;Uhrᶋ{86(O?f7>W"z5 mUI&$/I˵}T욶># (*ɼa>dPar`{} @( ae4fl)JEl/ᒽU7WF/jFD5w(Awgs H1ķ-v*V"y|5R}_}v49AFM0fH.1@S|(uAs3/O~H ލ:D F~5y&<1͸v?(%+x֥ÓqXB@XΠ$)5/.iK?SU qb"HBע[4A>KF?1xCފ19>-ҿE$`~p5^" );i2dEccdIjvXnGxwO0GZ[mrS+E6as:f߇lTgKBHB?UG֚y4%,~2vHgB@VAyʜY>v(@w[`ޙΗ&o:3x1* %]9@F8_隸5!7Z[©A蕠sM<0=Bl$*D|4Q@Hksã#4g%FP$&xqt[j+,@84Buت/Npr1*7$`3N&Z7VyY1Qt Q62#ȟb iq;zV8$<>4~PԦߊ#`)d ksKjCK/aV4I wQH(veX'O 5ʹ`wVsn|cQܑrRƂ*F\k(pbnexϙ!bL+WS}JOpq;lQNo0vOcޕJ"Qm&AzrdvGxJvF.]t/qa HfMVĤڷov85 1 EPm1 ß`D@k`KV̺Jr/tfs"/F*d;ںnjNS{䤝oinp&JL5}j.΄}c~0M\_(X( ДM7`xߒ.'JV@ &)x%eWH rA:#sC*#}AUN82sP2gBer7#wE`rX*$-ņ-vvf]2Á'\in0wq7!o_t>3ȵ.eDohMՖNF=yb\;,il#f)+A ?#fQ9 VDUr$ zn@%g9^'] {#*'e4l]O~:YKv% gHſ=H1KB?U"meDoIԬSgk==ѢJR<Erz_3T)z=DC63ӎ| T!f\ggFAJ^V̯ e4 /3 Pr+h$ 3RD%Į] ڏ$8fݒq`KU2 \ V+JbIH|ETXۡ~g4#%۬}h{rF}cZRT]SMA8*ћ7Ov 1bG@/oRNYKԕ%z^LӰIRBx+dq_) ^ {=קVh'Ja%ժh=؄zVbh7i0OIZNt*_K?k:Uf{ זe*b 33\ WڨB3p,O  b- +Kz{e_{L-bKL>SrYEDQ&D HՊLS^ߠ35;Cp n f6}s>řRh*"t<ۿ,-w&Q|Umz z](|Cx\',Ԣ }Y{Q t곖VZ-CൂnDIy>8=b j2 ؝}1|1;jUc*TTv:DeT2ru=Jk4GUOQf&`r`-1ƼhPԾe=v7ؔGk &fwutz,#|.j9 =PisaEW^'خV\=%l:$N=ʏB+·%AWĂ9oiGN3h)eJW^k v7OLt{t)F?qI6y論}e:!}wJl`&m1MY% A%5 YtB0$SLj .L o7!ix~ FTs١2D\4\s䂻3׏bI?Cۖj$1t%w0TPqpٸjOAD ř7f†'4~$(BVK^ ɘMN?MWIM (` Sr&UӋ.goh@e7=lhaq^Є]  ޡu43?:H(&s0PY@FO=s-SgntdRcƌ <^z8 |WtGC] ]W6H*咿I뤝AXSne?&:p -AwTp:QvKkFC lZ=hIN5=qWp1JV*^NQmz{fƓ~,0!8œ,S:y-jwS=ljb$=6}[2`޴ u;z_.na:p_/9VVP=z.Bu Ƒlqs!?йOQ%8#Y4ysFEoɣ)nJ|&1N/"&1y.zLǑ~yc8u/rYY]l#*x#}ߒV3aXcޑ>v*mw:\wM>~vϩ;.A@[ʵ ȧdzr{(F6]JȋÆ&$IsIS00 !r%.Y*ٛ:܂v_7._)Bz*_ѣ)W&vˣ is5HOQtdv dx[hH-pՐ9?=9ʜj lC`B m:3YrvXE8T?jn͒ƶn{.jsHu97[?ÛNAQڴtBv[b48vqٲ:oTⵏOd>3m/Y hdؖ@#[\LnvT99TIaBAikc+ȯ_ڛxg ?ce$.kzcLHi?{=GMdͻcyHqw[ɹ$ߒ ̵YXpu/>IP.5ݑK8g&f9$Q62N+N `{*. r͙|)ߖC5Pޘ[M"c?RʙrHlxʮcREڡl.MJr~ЮvUUfO$%X)O>r.䇒 S_2j ~LH?g/ (N댟7NFpU]%E65oCIA۬18ll'QNe%\KB9Ⱥ =-UKG* "F#A/t>C]naJY\`K _Bj+P˞kb$Dv7uӟtny"qo}!'Q4Vp])(Env5u^_-Ų:v5aUAk2y4W(ld>|ISK QBu VM[f!!wQ|L҄O܃vApr;8DuF\:?=8༺F9(̵D'*y\dX>o2aa] k֬ `hMY6ed !7Okr[Fw15ڿ@Du2[< d'l(Nh(@7 'iAeWԜ{KXLLTl6gZ5x $D)s`qqz?;ZeodIpX?߸u(3TIQjDh8]ڊ`ԋ 9mV|P8+ee(!܇b` pE@&-|(Xpgt?Z>+?`Su@&m6MsCcΚh^)YJWzFKUhF`r )+t۪D{=^bTm4Ja 7rE6r_ȶw?A|VakOVAgv3r2qҍ[wԐm ,U #RXUuqD4dBR?0:?i@{EP:d +Ȇ=B2/ ؝X5f9+N}AuidLpk~q쓣KCr^"7%+s9c|F+6 j+w bᏵ$rM; @gǀ!;|JN.IATکX/_@ BEhP22a%XoPs'l"!uW+LQąn{&rjg?rd3C?OgP ЩUYw3Ti\O[RA4לEpPa;/%EvvJY}M B0y=z٬P)0 ӨS\:Z&2% y%j"$SB?JZr|gtyO0U T,I S6K}wSdnN)r_UcrVdbf6ޥ>[cIb0Ń`,˄7|ሿJ,{5KWY?ٗp{3$'K R~LڽMqc1 YsII:[EL-㵲YV&;5I:ZQ ;Iڔ:"S& Vo"H/6C`%?$+ZdT9}^Ozo;Hqsͻd?`4Y />t@WG:i`=Ikk6*˒k"_-Y0΁95^60bef)*P|E>/q(Ӄ}*iөIE\`qHgM4l1Fum*}ި1yR$z@m#&P%$\".Cm^y5\p\T+._x5.YƀiXO;tC5 [^_m4ücO2ϝM\BrĶ"RR%B+t-+'$P56޵bǨ~?OƮzfC4MvUWx ؿ~}yFtp"ů>ؠ)Q:oPa 8wX]tk"Cki|{Z G6pkO aF 3tyX{'[@z‰0HZ%O4Yyh5O ݫl!C?*Fz2e!y3~,0kSê91it}Bl )Ća@vFL8v/p ][)<=ݽWRG"|;j/Pۣ/nH<-$l(r['"OVZJ]539VAOJ(ߍA^f}'Fo_QbGQ'c72M.FxziRzIj-R>\Yu64آ, af!űg8}P*b8fzPZ ދz* TVR!{+r*\qu4yuEXD$fFJ&gkStʐ:p%7@'[\\oZ?Q-x IY ".`/8J3@-n<&IEPo b\}vT-MDh~Kb\t0 ?ǂc{ IdyxꊧE1 mMND$[tֺƧNe7|`Q)@ N<\M=}W']v#p&Df($e>8zK *ʋ^U:6m/߫(zrp+=1XSM'rv?Qf9€g='I2|?ac O("xCn(8t?ى/ B/TGcMC'4 GM{9j1j.oTUWdz!9BؤЅ4#V^l(8 ]eU8Ӷl1n ^i_j6~YhDIA+iqq,Q6dSGy|-RakjJį8@֠bNE3΋|M#u'(z+e7*=CN׳طR QZIle5,ɼS7Ȉ-Һ&Q(!nQzOMK M' כ:qxx/ҩ!wΒFKKZ{]n7Sܒn#O p! =<{h1qОC*V7ZYh0#lps0s_zR/RUz%hAv/ȭ86^bI-f%6ڎݺbf1N]e`*$we"+ߙCnP఼Z~zg"9W4cȓU d-ɞd?+iyg?c;%vT40){9*4S <>dSYA3{~^5!j!HܰArs~8].otrjgÛŻhBaȽOIlBt4;h+!a"^1b5}Iy9|ƈ~=_uGrՂMhm}U-6< WQolPB7~3erY(D MH ?fPQҬs:JmaT$ljD7g"Z բ-hR@uڱlk'+~`:^U,6=h-Fr.պ +X5} N8!ؽK} eP=}M\0 ,c#oe+3'{ pt|I=02?P(h}rG72gBEaH#p(Ћ|Km.bG qws;pF}3xHGeZ[p?5~]sJ(~ J&6qABzVPG0=(HZxbj֝(jjqJ'HljroBJm,:TnVyfIe]h(ᔹ}in-O K`[T4#¥WU L9 6/Q\;lYoVV XaD݈? ~Y0?yZ@M;Օ/aD@r҃lVW'}X N˞>؝m 9el-}܁E>@(oEѝG]AdBjgXJt>q Ψ1ӮVQ+gif_S?p-x%UPT47 }lqvRYTQ4;}'QܝxA``kFy S$AUfK>Gn7O|0UaF,"&"Ug8%C`}ilJc0;@a;z^ܜj1ȉzbD,t%"FL=!xC8LM]+\URa?:#|s=W1)[䢐g9a6A w8@\yeuQ]DW2jVEb.*$V˸pIfS>nwVdT7>O1qx!A n ʈ A:(cͳmRo!@RWO\v$ݯ#Rn9t'@ s7(ޟhF5`z2J݋ I͡&qS7I`NqA7>|Kݻ)9nlf )SWk,'^HaW˯̓ ~-4e5R)ڬX_JrshF@Z(RU$4f 5YQO/ҍЫ,xSy%>+URiȗڗ^zYE9tHy'q2Ч pAQv'$&+GZz>!.a /Y2⬿$QEf$#jT4`*?"6LҴƵXRH;4 P&Ststg} i)G]Om rB>K(B3Ix&3.#$ >>dsXq| 9 洭>oCv̏ރ F'CJ*l7}5!3=ڄ{ADnkD2{K:~*)%(aRõj j * /ѱgYZ ? r  ^?! /A# HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! b}]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E e<yP)QbzGy)%CE9+8Dnv&=1z  N U53eCsߎ]%yqh2 so{ A<0I\j"RRG8Z]{2A1Q:o oCrm% _ҫ#G^IM3U^0/<ͪN形YE Տ`󑻍tt=?W++lw=EAtƙJ21<+B]wa@c ;ϫ )`4<}HHҾu"<%LIHΚRmf^(8-d#σ89E"-hY@>F`F#]79 S\Z -gH%{0# qZ?Òb<~:QxdTLcK `5ѵ[Ҳ [0/F *$N~fy8G|-;D|\:٧֪ȠhTML$DJb_ХN9U9x=j|8n%HWF<CYcI@R㯬'/ jgYX,$2v?Rq_Ui)L{1I :.=h:g>)ȪL4OU(gYg1ަc bLW҄_QYtw~˱jIwx|iT%"W[xBOY_ ^i£\-Gu.wZ87aMڶZ,DAZ|L"Ru]SEd iM,3`y4ӭ*;EÈࠥQ Q&9r77F|KOw+w_]eW\n$e{2ZynK}ׂbDwW5df54'昒0Bj1XKx*3+C^I(XNN/kk3_?p6=gYZ'ЭŒ~=eNxF~dUwrgD$&C}߾[9 7Zo(߿=3ɋG-OU遺qTM'^c m2mlQ3F}_͘ ǡ)6G<#N:φxw` &Mm1ٵfW)/#ֈkHFӤ\>`ya{ JR G(pRϪ@xhI@CVg{{:[u@F2l YJ 4}3?^BWvs^/q ̙pJ[FZr=ArUy/bA@4ZwĜl4O]IO>&8->B-A7i_ݘ# ,ibc"B5hjAkPQNN<9o?EsU^:jQerǗO1:@îl O7cܚ /.">R!>Ċ}Xn"y'-b :Ph[֦HDL&Af4DT *0[t eV^#k E ފtWeD]Xw֟$ x?@=\c F-hrj8؝" `ˌOuאުp_G5LjhkQ{t=y E\)tvǞ,[Zl^=!b`z{*egp>ǽmatД1TH6߇J, jGrE9^]2EW '2\Fay[(f5"|73;YR ^@W9ls4Ny?YPKamWdws첥&,.\a湨WQ*ؘ#FQrSBAE72}bn9C/_B$:>W-?C lGE,+}]^;K7A`+_;5:nǁ_n@J+Pxc<[QBt^ZZUhV-JCKW^4%r'3'BKБLYA}5htv|^wn˩FSZ2!#[ R^2\JldgpKK"aRkZLw^/KgکPƩA? `37`Zg-Ozȼ悐n"\ʉO r>+^e繞#v%~#q}Cfx~O}ݺg޲zxRIV>e`v"4\!˄GFsWHeKAwS=Q.sQ1BTyp|EӨ܉Fڬgpk0z|W~1+1{ ,& ĝzlM:a0_ܩGB:{ SߢR5Ք^zn0zr}[Š K0Y=Y%dy^cZ2[8pށYs |&x>UIG\K^j&:^:Ĉ:ȣ3Iyfw/̟ș))Jq|LꊴύO_k¯ \b!YRY)]9Q8I{64BJNN񲌵99Kb8p]2[zxoޅ!RFq}q9C{CcAa̎թZ,Ii}xJz'iy[Vw͆.Gda2XJӥzȜTOkkPr>h THtXMV.+],Qg%r ES4Ů1v8qE߇O,kOXda=q#z:,(ؖ3{e(xO%> akA~Rι+`3‡! yK/x0jbg 5o~}b)g%QJIӚみ&R&Klgp8R b=Z6-sV~6ʌ}Նcǵ|R&۵A vZpy3LfF*nf]dM6y}掰b"ƢZҗؔ_t%?qAIV> ĭۄ/g@[c[Zqg߅z[GOGaDDν7qk(b ÌfJrj-8a?[5<5ڬJf8h~ [[sh(Ǧ}zWU"w$Ob Ap˥whv7լY EzhH[x'yyIMz (^f\ c|l1˭  o>{Y`&gy=4*-{N:ap zwEx+VnNhsskD>ہwY;Ii'D=ge|:\1yJ V О[׌a?*އqJC8%¯"bzdb5 C5a%f@@K _dx w;ʸh]++W]^w.x=n4-q7]҇_ LMڿ?@~dR֭K\]'CɅm$Hk&/Sf]={useeզarM]/Xm,^"ukު ``"g \q=W!g;sR3*+& Joƒ%(PS✃n>p]`vSX :?6g>@$vbBn(a&~ŲܧV«o3BvvN^hh?gs#222\6䇓'z@Q>? F&D'ZϞ[G uUB<8㖣y*3Cf 1c,7⌝udr[SqpgTsR$@ Eq+Έ~'?)Xd,߻mGU#&ڣ8Ckg,w~r\[mWj$qP߹盆 Ŀbˤ1eN5oԶn;Ja$jm/RB+GsdjP9r)?R<4 ҔP5icp:p!՛&ToEUB{`Ykc$\^iΎԚ,ɩ0mb3-ܚ5 .lReHm¾ ʞ-ZNT_%VM=A0ߤr6*=y*XOo6q[DtNP9(AUɞZP4ue%vjA5T3A e̵~'=; `;^X%M#B,}ؔ8Un,bcN6E2{Lv,oCp JuKW#-*<\8zBjG@"3pQNm qNt1>@ԫ6~t=e_tv1LLJxPDnmTɎVdUꐩ=ۺGq,C]@~7[":׏luR a+P\VԡCOt&:-O{ST_RIhעʼPc_@;Q"bS4dVD(A2xlY1|zu@/B0u^pw.%!od>q!NǼW3Ysh }5JX'ٷP*[o5m={2Njꃬ)eŋL׋k#^{ %O^% /F"P$GQRau/ &O硤ݮ܊kP lF,(+ϦIH`` 8٤&CqF{hwOic˶1S%kZA e1цcUѐ!GR-|fcDsg[DxW6#u"_݆cZ~NE}N'-껩i(R!Ԃ_fiK vKvNсe׸nvWY-W!HIVIp3I ڍ)"d5,>? .qgjˣbK}jbF8~3o&}Z㾱O|g(6Cڪ0  Gt2%w d+Eϒ = zUѝݙ:2NR]ia`Ne~Д4.󛖓P T ]TcX"c!M8֝];MD>0!ƘJ!(ܲ.Ԭ9G#qD=5T!z~cpC8>sv!+V((:^AL*+i7XBK"j= z =(Of^䴟_?uUg~;(yƜ3f+65 w uV8 =,xnڎzGv޿yuiBoB3֩vF?O5k3yGnAԄ`vtZ֥zS4>w,9&e]n{:5 5khIqn? Ȉ^E@ڵɪG!ix$Tj(s1` C;żTz;T'Bx(PlHIlU&{56'RIAΎʐx9t~ K#t XK ؊Dgg/c!\.wfӤŀȖ3ekfn>{9Τؘot@sQvg2'K1: Ǥ;R$Ss!^L KJ餷N>n7'qj Ph"!600>gL ofyx#>:A8jxc2(ޏ|)2L\;>GeM]jŃm=PCcTOPJE"9/A;EU -#6_?sZXtDu<*ǟmкai-}zѷ5G.˛\J@KKA|0I(J%0ี dxΏm1d@s*ѻg Yl0^"mPˆs' }A|SfDFWRe8(Xw.Kn&Mrԛ8""Rګ#pXOQ=PWt9:K-댔Pˈh6a|ޗ`ВtOv0{ :KdWva8ӂΐRlTҬ3xn@r7@wlc;QhQeFN;zYMUHhc:yͭ 5g+s<2C"Sd]gлj#Z_bpEsT sG@(nH=9~ N[QT&~μRZ 6nk،|BBz2Mϱ#^M=@(ԣ^@Nh-2,Tdin8Roƿo̴Q[*=[=FD;%fRr32R܌!^_ >IQ3/Ig{]ht*a`|;̗Hg~G\f%AZTb݇.E9_zk|6zOD;f1{C <{ܹ(b+FbU<.n)cMC}Z9~cJ%VbASM"̵#%|kXUFhrq[Us@@FցGFp} xu/-LĻRPw9X)z* A_Uظ4MU^V.t0uX~Ʉ|lD|D%W N~؀pv%)Yn_1/B sMqmG}bě:v{h(*-)ɷ ۴ Ixyׅfc377evntqLj*{T&ABs> @ĝ:p [$ÜCA$C.?/W &qS3x (>໊e\NhDJI]OQp SV^`wRjY D(m!ѡ^c@Y5؅UQ(|Pgf 5 bzAy^ \M#qh\d?̡q 3>[cͿf8*pw `]vrN}oyX4uHwwGIlPt㿔^b bޫ߈$}鏩7Ij|;BcN@N|4ou8!L6LIB6a 0'~JD5%Q~v lR|D*1b=ɧw-Dx̳ĝih0 WOqO^II `z`Y#6e= uHس"gwCK=_2o p562LE{nk7dR4"LN2cZW7I LWX ܞKOz5!$H"?e;<?wB"oSǜBR†1 ߰4g28Sv4>[icPKs9$ m ߁Y嗎ܶDbKpdyr{^rs”*M~r#@4HZ/7q`ݔ;pOq8NZwx YTjA;ՉTтmƒP$?QKgmǤ\De \Ixj) W>mAWIدUMwց`9Hx}J\MR LMC"3pp6aޓS?9PI4߃#=#Z,Ƞ{E{$$r!vDLApŨt2.`mB3:<,h.3$ l5>Zʇs9OlsVd+[¹:@7cI*BAkqIio2UV7],/ij[)6o)IVع'X:nÖPܢՅLvqjPVVݖjSgwU4 d@ aC'QfӺn0}7B&H= Z)G_L١5@uͩ+GDTp旲|NX8AdƅVsԟ5 [HLX`|ĉc>l шG`?{ą7=P`'ϼ*?%rE#ҷL2Id̰꘦FO!GJ$479$?X`{ָ6AvDu8ߔGǰ2(D"_`58(xR5^4f51i OHg`8Sd"fxɩQ٢M$3KM=/VX$&ԶZgX|]YڑضcGgxt"k`R vOsw*F30/d<6EOYK- 몮 Gg{?yf/ ~sYKf: 7D@mӚ5"v Z )꩟)|4YkXЋsC-4H'z$n'H7ЂXT- $\.:8eAޯ\U iN- ȲFR3'2x,b{Vh_83Nx@ R+ܝٯ%6S1v]yPÏ1MOq_D[p>+rѯEc7J!ϲ{-wa(|YYKjّE\*#\˻#;i U(;GI.f̳{_3yY֤nқ7nNd!p9~7z2Ba KNTwc_5&Uk(JY #¦E ^hc޺ 1Yb!,l2qg d?oAJ8_tO|Zs)KBϰ&nө -$0N^SzR0ԾD30'8-U\;u^-L Ye[ F#D~MM!C)YƖ~kr"yژ~bdUؔC%`@2;G^kh7)BZ!YO 7w5F:p]嚕IWd$N7IF 5yWk`W?F <3 {V-%I^x8qnܒm#ށLM_Yj/}ZZMĻH勅f\b=?كDTw ׁ0*>(pIIU!xwTwzS-GS+A IeT SJc(Zq0ujM&\n]kQ[ *wVl ʁ3 T高|a.yX_ȉnQ<-T"E/q *wh(6,&JaN4w9F{tB!÷fT؃(0GsM w<  u#"iHbKvbd)5<"bebqPȰU(iT63Wא̱,ڦH=\] =F~>8=.g9y [^@ĥlĺP Ą#$-Y[ճo1Wng* 9Q1ǜOH9?a-C_XwƑ35lsRV&b:<cNi;VGN'%jnˮ)EaWRՇ_j) ״Fzeu5雬 PlM} w6nGviO_Є>izU^ ^6ǀ1'5vˠ3s72%Z"퇆zN.px&pW╧p+ɍչC-6Z`Ldq .2 ʚ:ljʜ)`AlgIeZ*R~hw""8 UAAya̖7!*×z!K8%7Jf^ S\81f%%5}h6~d?ηonEPP{&QHbw P5]aQ,OIhL<Ɠ+vCSA4;-oPC1<[';M@ 1w(#lTq4GHZqD"-9 Rtb0^%l6yq0إӨ;!zg;ٝARhs6K1LR[#[-BM#(<pLUٜ OLCFne7\RubYܙs˚˶.%1isL2-4A6{^rPT7; @b`D [d?3JjW0e,4:X7~IK$ HC58oKJdƏ!SʺzIW>ly5`A^MT*=?ylnJ'`8F{ 2ʺ4+OwL{8]_7D~;E?/Ś N=tr/,GR9) phyc;ՄQP :H)d,Q`M2_ [1?0%`*}hl܎B+(cuc0nRi{(WqNh PscX-?TɽTf'n䆋Ȇ/B77(pS6͔2m=8=JC%ə9qJY,b}gdYzj_N_rBGlCt =Bn;͝}\6Z$Wb) <&)h̾ )Hiq +7]RP9 (`G_X)/{}@[8sWuB\cUSi9VFơvFl+ޏPČhЁq*@9 멗΋pY]G9+XmλBqŚT?h",~ x4ud.qCxUˑck{sx`n>ie2}2H1&?EAHu B3߲K1PcȯwUFC*z@ἿpPC II\N=AYm#lGrejɠ,ԅ.͆ģ19'ۤz{c}񾣿79[|mVp7e`_@Q}ovtzb̶w?lF,qcmaMmdBbt>~$Ԑp͆ h峡]2?bI90EEcr'ܲM`'E)ȩ}H ]".P-}i(Rq4>1!W7PE-KP7铖*|+u7@@9ʮcቮ DA;ɰF-G2u牒nĭ62&B]`Se#eC 暛SmᢗՅfBb?;lð׏]pDYc%/țumJ3f@Hnf4n`[w. 3DAO9 u%?=zӂm#Si&6KcCiW=|M);KP<1yO`ZGx0Pgt2 %4Ml--s)nC4Oϋ#q#uIlP$ ٴѣ5GIwK( r0h:腎d5q(&%á0;мyխ1[^ |+8I%{n: tax~!9*Qc-}!|e"C7uPp7/ 5BĕI!d<0-u࢟;,!-70ºVIe\qrڨq:*//M3|)s&R]zZɰTX\Hlj, r-]w:\I39i9ogq'~/ b:K48)sN&q2W'*[P׹~M{ GE`{l&[A==![kA5`y[Ivy6.\3Q6)ɂ`6?#\X?R0M.YÑ"+\&m5WқF);\epwCOKߠ5];A}0gXNeߑ$q'?VFGEW9,DY5 ^684χg 0pde ~]h_Luq_^ +3ӆzoa؄Z˨9- BLՅ<TMs;y:'+v* 6!%>y7l_,uɕ?Dfh[ L7|"M-R',x Sc<[ ,+ аk2L6@oCVwؑ('9œRՍهYOPRϚ£R~^1vG$ʽ R V8>((X!SacoH|Vr6ɃA?UY;:H+rp^KZ[<0K}zj=rH.*ʇ8Swľ^CQ<&8ȌrzVl/E;Ot< g&Ry. c 9GځS=.#гĬf@"44vCфvj--16~RDwK!o;CDŽMtRXIfed@- 8)yg@0]C^gNc#KРOcw D@ħ:ՅB1UJ]TbE#_g;x- &uθvZBG1Cpt> PHQ}l~T;B}>Čbωح0kVn+PyD 6zO;S@[ ~`$.k22e`_FK=Vl0lHyl 䬺 \3;joײATpkRt?fL&:W%P"1Ω,a\l(0d00Rg,pCWi@2COp@{BO{Lzz6cȼ|:5mG=؄|` "9l#eϟ?< ghÕ:Yj&"v*֯[1/$(͂pݬeXr18蓫t/7̦cDyj)ME;w:Xy3=u0|.fF vo3NW/8f 1t \n DGI=M8L>\r79-8  ƗbƵ%MȞ[&{om&Osl)ͅ\z#0&I'I_JTM_Ӟ ]x'Cǧ5`9e[d`ׁ77\D`'.rIՙs<)[F3ƼiA䚭= "֘mY}(\܀XlYc\2l}vIajZ- h H;CLMov"&9f2wsQZ~1 ҭ$H{Z;;L$BDF˼ԇ8`jNkfB9Y(,!T#xv-PjSy/Ua9/puҐql0iܣîrD!w`wfoCJ > A׊8'a_=[,95$+ ֏;cI TұK"i~*L1A3̞t_*"~@`n+,etB aZr)899ƚƃ ,n!i FвE>?s,vdcmlo?ILX|r`c,Ls\+}f np\MP۶g/B< LvG^mjj mMU,o^YJKaīĮZ5KM->+ZA%Xٲ8#^S,(Sq/JBqf19GH/*{;M۳}厤]./LUcFJ=me68Vsr)4\^Nt;sjʿf@cЫ&=pH7? %/ Vx?`,h}eV#:\ujb-=F:߰dgS 6!d(-!1WOZ5 c Rw4Oۆy Vfhnղȵ( Unn @FA`+DgU dޞ325tuL-MSZ5aVJ ]֌--7$F{ֺkƖAA=e4jDH_om,CwN;|=F#`8f ƎCDvASBpG%4"S5)F6Bvpܫp!"|`XŌSu;N6jG=cD,>bz兽4C~͏SPh5Q[v:hy:To^kö/XG,Yw#p<[kȝ誷:QTlǨv@e8)T.dOJM [ל4B׀yz/dFK55%-hfBOwyKwP ύXպ^X1iD{]z 0~#.ƝGO)evtԚ=uxM7VM\oWzF~xvi&7{)ov|.d\x኏HSnL JGz0qal3f/Q44~vF ;XK5=4σ |[{;p t-Sn[^B4P_Rl x(6spsߐ2ƖJiN;ɧ/Yja/D >EGEïP2p N+.3_F1$5,^? JVt"<r` ]S$`CrR."Q'.nQRvfC6~駔yCA"oP}~A |LA~W(9:Zr襕i_O#]餲 NXG*"p)bP"rh?zF$g5h!7%Rw츮N4 @fM2d暓߄3M?>BQNKSnax2b&OoV{|mޥyt%p3}1CxiAp + Ygm.:x*D+ II ٜH\h(kᓣGW RZ l2/Jɚ3pnQ+ m!/O^}P-)M,Ӌw+>k~Jc #W8k`sQ VJĠ\D\d+fs{KMJ ~ԄI.Fe.~aB&S*ϓaOq'ռIٛ m^Q+&8>}LJxRÏ%^Odwo[TiQx;l ѵR Ħ7UrOR"F5Y-| n\DsvSB_[LƭjM-'ڳ"P\4f2˳^wn>Q'1SG<%Z;q"\dJXZuUMvhBoUhR1]OpN'AV;qj<Q&G)>y:KQR 7uE(MOXZB}>xF\^l6YVJ2޺naR h;h ()V)36"Kg:444B۷Zl5 ~s(3K795`(Dτe>ixթ(Q͸fA,SRg mLhL|P|ML^ɰ0B& WY:HUy2Ӏ.ڵgpΑxW5q~n<[ԕSpo~R=;^2Z N L-)͚۠|un)kΌ&hޡ!& 5'4Z/^$!щd\%hĖ${ Qu}4OӅ(n(;IҨMфnDۃwluE e?6#UJ-`6UhZDw3_## m[r:ibH$lPBdz-8=q\LR}Z.{s*RS9]z>,a!EϙH⥤ͺ6C[^ cԚ:/0 t!|'}Zi9Em,WȦ0̼қK Yl4v@(@0bz-0xP3[=5+L٬H Z砵|b9;2eMUY`:e ! _#Ұzn(&p4%"jI$s5|s:knIa[L,%+c(#6ck_ HC:= FiqIwH`T*`= ;7Յx=1NѪsfXdP%9 ]#\DJ1q ㈍w6iH! Uz">silvvTL^^o27x2jE'IR'MD'S*ވYqK)NPgdVg`Z#[ܐ&DNтԌII]LĻ'feI!th՜B1 tJh }vO;`MWeu:kZ$.+|SLԓOj\s?_bB3 D޶ݩ ʬ qElq}$ÛW4(:I&uJ2YcfuGrxg338j F7'7`)CJUY_$[H;|Ri6f> H/ԞxIPl,KpƀEjnp&%=|r#k؀Ar!aSl/ة^dpKl#2-VV[Qce(z_$as.d `!تEr?uQMt4K؜¦P!JA?dמ;wni6VYHqWjѻġ~Vs$kD?bB<=y5~u[$*Eu Htcw-0Za:ws7vb*!L[`u65)]Loۅ5ulXp\>-ƶ~#VPkFKɎj?MV=IX4xeT5A^ /[VwH Ńu}J9q }$҆) ,q=l {*lj^yK, ufEŸU5S(Oxr%Xt)oH}ʬ~Tq;_kq) &BÅ gX< ݘJD(oR3FzY2vКXS;:\rFBsPrO>gş chlACzx`$=t$Y,89' R"ZkwHaZY6l> [댱 h9,ʋ܌?@mI"'YISAD]hbmxC:e '7/_. 42VRMzO!}[xC/ѻ > aro@>6S_IP(u2:zչ>x{,P0mmPݜ@;s͗Gq4ɏW4"?C2?S*vBߊjT@"%~VepHɠ3Lwٻ}c "-=@;iGn悈ppbCqhCqlRڭKygYZ kqka%/A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files~~/src/HOL/Proofs/Lambda/ListBeta.thyE$/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id212Z#/A18HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citationsMatthes-Joachimski-AML "/A' $HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$b1]##0LN(sУٓ&i GsC-"4 nt/lx Im4R"[} ZȤY CDJ;<{Bf;r4$Fޱ!aJ<^!IiŵNQQ8۵ 2PɣVz@3ZuY%',xb8q9>v:;4d໋6;7*!PD鯱!UD.xyXv5 ϠE_Q(Be8":,e'ǹ^tx͍:Rɤ}b!.ݷte!P;i.e[hgY_D،|%e"QV|G!h([?3!3X!o1_v|sט,,8c&e$svyBƿ$$mFX֍Om3n=Jԥ A7\Qϗ2ډ<hniTw,)}7p&0]pٞo$LسejLOp<6QCB=>njd~e0uDӬ 5rb}C Ѳ" !ӊ_E]H^3r1,kU)+QnM, 9:jdMnG'{{N7"E wY)rS]a7}XsmSVDh+ܣ;{NtТͅBVGVFD>)Ǡ zAqr psf*v* NUo.JGCRg/jИ1)E AkG70!}lsݠ2IMk;RVWk6#G wlwwᴐ"dZ|(9D+ k$ZPB.hj˖F2 ;Y[D/Y&= dnP|He-#n*Ϟw{à^Ris;ȏ7\]L4%aV0~rj0m@+'}fP0,M§--n ˆ6o ΋|'8 7Y{mW '7dvcR h9dW<垱G טnfIb)6ET)^ PE$vUBg d_wBW]  r `R!Bv)}iEI]py,qk]|A;#&!F ]n+ո=37%г:E/ac} #iY7T,WrÓO0y7N|ר-rk!5 =c$-pY4 O sC~~ϡ.;_daK(z@j#j" XKL3W) cNYbDZD4?e4,{s.r.xd$-CI2׈H\!CUU{vc9L^N:Nfu''Rݣ5dn3;j phZn"W`Ljڙj' 6`ݴĝҰ LC8Z?鲩Sn]ЉE-)!`u<Z\&gYZÕDKY[@0)Vv^uY#cp3=tNj#~?p_P{?u[t*@559W NQʄ'M0RƑ!o>$Ta C<+(+%J LM)Clϳ 0jT;;qc tTv 'b Oge<0̐tyiiI bT {Q?^GS¹h;yKZ>,*I2ϝ8p`av(XPf3ihz,uzFHV!n}qIՌ]O KJib>/ɥ7~LjǮ c' sqK?Ot#XSuz2\"#N&+N] s ӟ!-Y|](GmVۊV 2F1wqyr|?VZEo_,@J*" ]حT4E -ኬÖF}!^NXYZM3 ;YpmI!o5;9)ijcQ}Kv>Xivr_Zk1W;*~"@oGYcH52V9Z g"KY'*QypmO_ƛ빪iQDظzw-HȽ+S> #ΩyƸ4 B.[*!rV L)ij-Q\yaolR@oAR„p_Y$rnu*R."E4 w Gd/g30RJyVϕUb3|hXKdU]WS- v0C5\j/va(?=t3%8C"TkPe c8i %X"Ӧ[M t 2%a Ƃa&>rPSt8\Si&%%b= xiI[`Í 59 2da5]H51FPr4$j,Y\'Dr-z>KG?^ҭb !Rĝ.#HgTA0P}:Wn,@aD4 ?l5xF!/@u) (x^kx*yZ, kg]PrҗByy G0BIMZ*+P0)Vu39tϹbQsO YP` WWK\`;[ˇdOZtW31= :T`q4HKXR○/K).%7E~-޷^#K[~8xbB>h+mf3 >"{Ps!c1$^~\}TuAD;pF;׃%WAU$X48Хf#Xqⲅ#t+*2:6wΏ2cs΄*O #fsƷPzW#b%h E.p*`t{2jT)IYce,rH^\ӆx1Xh< vgꨂ(?Lx&T ؂ oφatymۭM8ƴFbd1oC `Fڭو67р&Ή*B?Wф\ht2fr=,[/2]K3,&x-\gy+ൿR\Xٜ|CKciQ;+KD7?Fj&%j1SڜA5YՈIbdii侬dXMt(ib ]9~~C;HY%L8ee>_9>}K+c ;is6%όsgtASk鎽!7{=WEOcUzň>rhrQȶxrT>f$ʄ74]!P$O>sac6Ÿ~ | \y">%K{~ہ7y7m*!~~L$33(nVodl(TSg(>qC_q1cL ?9] Fuc'[7ں.J0z CgO/w orx:8@-\L㻲͛_XT5&p}zJٺ] в^hTъ7'wdD{W+ ;ߜي` )sh&ZԴt/%b17f`)pmVT5Ü0D'cctE2pͺ rV훉|BuN;W8&{zG0nzoKR4%*7' co춙 dz,pHh IumL Hǐ-sWGda{sY6E]Qf(L$<~t`Ȥv#@֮9@HP&úpsaX U%(N·!#Z˄:ң*[+?sܕp'XNz-)О]Jk[Jt.]Vۅ^ XӴMZq/R`ߨmd=HC1RZq{%~y " -(ŧ zS$q4,;ȌŲJe!6w k{S)3 2ha̘-Kjs9Ŕ 'm=퍸Sxp7R%X~a-#vrgȷ)W]w\e#V_Bjni5EU:\L@|~Ł ;i@j5|-V0r9D&+^Q\**F|hޞq|FH, x? 6=:$]e,O^}|@))c^nSW`?0SHf82T=Ȁ|%D;w%gsxĕ%P? }g{wEI" .lwf%Ą^{npAGM*`1V~݄}OxR tM( ~u.RN;롛9?}tK`i7=;8l<&ʀGŤUoF =fP+CQv'C/)m kT!WEJy ϟ/Yr9pI5ꅪ*)KOzp_訊]  vFD9tX8`sScYđ4jnXc0wA| }O~6T8: :w]̡kM*oPOT׍16_&x ?qL2#wyS$ !h$lI`;N FGqI㍒`1۠va^s-XO+iEDg$S Hgc2.ÊL"oyl0F%;Zqa=g7HB.Z* dhGצ h{ޯ %~>!m12$0U>/0j^p=UMG):atnasH\|O,:#Ps%`}f~3|I=wMi6, .곩g A[e:[A1yPCyxk|_f,bԉ;]ņ_\\m\]+l9;uc$NQ 9o GO^Q}Wlk/[Mp{T5Ņ XCK2̮Z^#w 6 wȠ*|X+;T-тoQ` -OۂUMA`J1sA< kh\q|VND^ z$ٜPgNC='CqCHLgݻ^CZJlg>i!5jZZamSE/~::{mHYΧ<ܣ#!Wyx7%AGOSk.8wʚ!>D$MDd¡m䍈Eo5khKc%6ܖJt tAyv򖻞1ɤ뢇6l-UR[EUX (aL dPEr-c !ͻd B؀4* Dp ,cTNvvbBW x(W^βʘ6|֧CN`%kG.$ KQZ" U1HNݤ8Ao^q|I%^'U [xig5os%&nԿ_6ڲ+:ɩ'jZ9.K2|5Z'\.̱JʸN{8o&%T/Ɗqm/b\HKxIv9g5`z Cwvc[MPץH ד_*kE}ևw}/j:-Op> 3Ƥ;`l8p īΪѲ @~P_ QzvcR3^򥤘>m,.-R0M͓E8ΑYlo ;moGW!Սڄ Li#X? YEB\>׾NNk!a-rƸ YaO%95 !f;1I3SR ٻ^YFɛfΎmjuXNQOnJyOHkVH_s^5I3~J>Ȩ6(->Fh)X_\܎RH]kПjuB SXx͍8L4wK֊W*x k.Iwf$Ӂoap;.EH_uv,r-ؿU:[nd4&SJny9:r[;b{hE A !ͦňz23a>z6ojͪ)4Zb\*a&&}:lP\z·/6xT8iǧy FoGrcx;V%I@bݲpއKyQ+BtxAP @ׇ.}q5׻̏51݇EK8LJ۷!kU+:Y$Y2 e#va`tXEnKq)>+.0ڏ,(YE.Uw~JëSN}W(n؍ E. 9Q0AU5B92v ƌ>| 3Ŷqg졜 F.3RH+"&?cz,umNS&+6>wmˆPL]Co<=(53:I{)N)mPsZa@ok*BC↦%tD9l6^g+Mnycx(m2b*ط"?<2T7>'#UbZ0T!KeI(Nt7$uhe7&Mh$F _D8[e]S7? 1Om M& i5jL@+e0}k<9q"fAlZz-ofm{@YǡK5+tQX().ărYmUlrv p=~W'R;zLxSҵ'>Fl dBȐwežЫ?usҩbiD\TKa!$!C0x>.IC^^Sળ3'"aiVgs1@s Y+7wxQ$ȊDOVV*gRuHճE)o2!|Kի*-=d K#(H[5r &`r[3c ՔI7++C>Y61(tD5YJ>:73;k3pA\Zo G[G/,$Irל3QxC\g@\3ܮkcP}9G04hE/~CXHo.=ePgDK_tе㍁Mb^PF阡4k:NԕP@>IClర~٪X^rQ脋PQe A~I{ l2U;txX.NF2zmt c?oUYxiؖs1`1؅Ug Ώ7M|:^Gp j>1\Vv'ulߚG,grou=+ M$`~?Iv9~[4 H؊ tiKϪNtL[XM!BuUt3V+_pgxrhYB:NpoY|8KȺ}ܩ `N6e:PxUJ7cVɾ}{=AKErMBZ d2kv(pRH,~;B6?p[1(PF11<lj8MՀ //NSĎ8R}MvI5bNWsnȗ|bj*kxIvwE ;޵E0hZ%|WB@^|;T`9|"#I-Uxn(NG}Ts%NeNגޘlTGީT s %&*IHV眊LU LڹA`,gvɩh_EZ,薏֫wm6+FMv(x+g4S[ɭ$TxB'ֽ _i gYQ/>h+϶H1k`(YU94°/h+]kW(IlW[,7Lv͓&Qsh.%y).rfn[@u 0MmSf O$5m~Ky?ka\4؃eU*CT,ҭ>:$M}JTbvXR' П8~]R.PM ![gH|,I6BK~E%& ikIiEuK/,FJ _A*k\olT=X9p2sČ_- )2`Va_@ pm˿6#|}`7Mʏy,J(}PF6~>,pKP1V'LZflylŹEC T  ;hbp %iFg/b;X?8'G |MS(jp8jHyDnS٧kpl) & !gYZOc˫w)VlQL*K o'`_C}'3_-/*a02nJKK,Gg=/"XJr*IB꼳PI\2P:N #J>͋|)n}LPŴƆN0Ԛ>Eb&vbV72rq)Y7trah , DyPUt=D#G$!Ch*^T `t߃4C<8~B♞ ?[8 }->; >k6P GOu{˟p5V>_h}:i/HN|O j{ckXnraT (9o4+ hwc_POj~Ϳ7٬q%>%Za|9~fK4&9s@eOULԫT5[LL3ٹ gVW|U4wxfXm8ߐh sM&U?h|>%޶H1x#t`P`?XW8+B9Ep{G͠V}C RMˁrYB}pL84a+<|ȗ΂/+elUS]%PWɈs CJq7 028I\: ,iMvtBP:Ie+?)i{)yBI);ˠry Mpȳ4/gFja bN:tUjk[=^Ht NJ$78Cf+]!Qhk?7|  0=35JRԃBmڰjFxrxҀP2 NǓ>7m&Mc'@{qJjAY|EWTAt?ŰiO*{a)N)Li|@1ݾ.12n`. aa[?RQ[(t3Aw  H ؕǷ @cPq[l<)1B%@"0|!Ji4L5uM/$ ݬ){gf:^)? :4Oغl] `>!d2PQ9q !Fo@2C==`xj8`Im7O{}Ocσ"(\+04# >[X*8HQ6P!ࠕKÐn(]LJ{@Buߧxd50| ʠ0qC8!5c<-a)š#;ȒxJPLb90\ι,/V N1E Y1ȗTNsVR›yr%jZiW4?-|gс(o[npgkk%9ZBaӯa@*tYҍ/K(굹*H&ז}M wqϲ4=)n}@mLDdk]E\ΟX{aئA[,19ȃswUi@]Gq+wΘ˛3 !:G@YVJDC_yj~͆γ# w#5K9ո&"aB| @L,."J"ԕH h|Oo[=5""rVbo09&-K'Wʚ/0Wֻ>#&CI*M}3`aRqOKО;h^u9|[IQSjA;9sB8|lXSćLd"k9$VI4/̙[MԎjFDt2_[qKΥBLq#g/dk8H3Yȏ~XHbƻ2E꣠#@n[q|4bp8Dzg#'77 Qt}4:(j:`;.qwbb8LF 鲐 h놑gۿ`EtLw}SKLCVea^ɘ`jD.=v3 ?92m/0|h>`o#yF2ޮ9%CǼdωbe(V.d- N"lK'W2@U6~Cِ)Ȇ\DAsVt.#nApI*6 M)D_b$%RunI=2©+qQ.'>"J djzɍmTs+TRY (-dmM3M_AMmlsÜ Mr̿/Q%V$5/ 5ʳ. Ntw+gYZ  Dc0/C!XHOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files~~/src/HOL/Library/Code_Target_Int.thyF//C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id198:./=' HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages7zXZִF! 9]·Iq n[:|&[z'A) |c7m1T7,Ȼ2wDVBn,ΰ^4`ZytZܼ ~znCِSaMWz&n `9f Ltes4O4+ded} t-gYZt-/=# |HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! ew]ˠ)jk2p O6LP=͵gl5f&Di5b^8th.X .kN.; "%2ў3P),Sz!Z T K#MVbEsO.vdSA,b.ٹ G>^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$A}FCt-6KMk/WPTًnrڀr^ѭ)1毜@z'RͽRy *w tˊ3X#[O:MEO#Z9A6 F,L~ݏ@C!m'+tus.s𮖼d[ RStT~*g;=` == "[º74 T)\=dŐd6&4\ZhVg'mD6xoZqMiX@E}W Ȃ]I IM"&QEV1Ɣ2([M zЫ̓\p٥D|tCokpYQ:׷jnOYYU;𖛍 vrDOѠdT*FȚ1}"oܩfJJ`FY#RL/jGԻ `zG=F (*b,zK?t;N@k5mt l˜}W֊ئum#J]g?"{ @bE*U-~-znͶf,KQ)>ACgܗ뜻ַjIX.JwmS;5@5APC4_ ōѼ.-Ak(F} SxoFP覍Y?CXR#* ۶@-iw4xt|Q[ O(]U>b<>.,9n[aq'U\J7d<{`({|{ z: Zc@8"N$6}\'QVr,˻&ԖE7av>+3v4δwC| }rb9V=R$"# xY}wtخNXTz+OU&? -*;k\w; 0}6Y p,%@p=uAYawWHӞ}Kz\BiRӸ X<(X-w u(:<#΄@L $;"=]ɽ72OV> @C{ϻhƩ) }hlN tV+zq#!3먱(qېBs(J w)4%ԿЖ@۽i?K^ϯ|Frq|xO]jX\8ߊz"JrhwzUxڸT1)yS(GETϟ[rW,2p+  (b`(FN5,],14 F]DDopFXCp`Q3[!:NH̓};25fMHl gy_e(9NQecH_Z"wXdyfF4jN+ UrZ|"8 ?h[\ZWY3cZC.-,vܓk:Ŭ*MϒIfa5m2 Ѹ~l >/?cX31|Q6,VT>Ν:5B,VBp^SD|qO^ȬP֊c?v-ps9SW ՚Sj\U MHayh s<*s`*vJ~QVJ.^R6thy g'b2$/y?S ̉\i˝@.ڝ/걅G˧Af(ˊsݖYƻ珦< )=QzD$(qߛh3T0<] d^8d[izoOYIx bvkc_};K`!8ƈNdl(g{D\3kXwd{/)=ZtLjPQϻg Y+B 8F87 W %1-sߐnv.:2x,F#A:eL96;.Nԑ 4_#-WpEJ|?aFF++cu M+F2Ng~L}dI^ܠ%:v u U8$#'371^BX$Vx #N&@6I-.;y%|{t^8Ⱥ6Oz71mdL'0DYpc+̅z/`7qKFXK@nDav9Mm7Tj-@xoDDEQ#:@ x}ʛ^Zx)sݽCfǹ~+\@I #S\AGx;I 3,.HRR]{4xZ%ÿwGgW xq\1%rD6d7lL[RC'%Ti? qU;&x˧ 3SS ]`*ƽr)1n~c%>ZTl٩@/+l"S^/wzugH}Yz.;*CJsE]DF.G'Ү*,\QЧQo 9ύh"wR+M0E. EhgYZ &&O1/C# ,HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STdოY|b/m?x'8^{~r.,d%QUԐᲝ ~%}`E^eZY<B1x6l4K(݈EB(}+30ƅE`eEpp%?xIG`3D+G$  إ.XL(@-dߒ^xǨY2j050{wc>x^+̻)YeD(vCyȟE q[Y#v8{A/,L8ͧX)$Xڗ\Hhcة=M] !g]}gCspO?O"r|U"܂[e%mZ\@7H8K{C;8K: 8ӎ /A(T"IA]'d9nLģ8~K&ń?7 ~9~hDZNl(,MZ'&5{`07͠ 0oW}XRp Xc(T+EnʠrN i꫃J0ȯ R|߸ݫNG G,LG9ćnugjR:Weqe#2e.+< N7> ڿPF) V%K6+5qB(S,@ 秵 U34*f;FI@77eX ?g,2XȁeMj'-Y"?۩'7ݖ=!V$v*7qz.Jݨ>g4_M4e. *Z8ں:'"Td*R~ h|P sle*"1gY K'Ѻ~Rh\Dv199^ʉ˪2XX "TMFa*Z$vӰ͛os4fĭ# o?$f;.L*]Mޭ/{u_̓pNq(^Y Lc=K S[tOujki#'A]3wNuPA>Gg.[lz)F*]LLo`b2 |,|e4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id218Q2/C' ,HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF! O]Άxʆ5.f-9 rq8H֨Y~uB&Z>|fQƽBb|?`3=>pḦZ?l! F}+3NJLN=;JgR2~ |F3ښ16++%=lȍ$S%Z2_}uԛ)=F17h0)zQK2ww䌑*.|1sY"kv0IUEPϣ m{+ ;Vy>ݕa2&(]}VBkq9R_֊vѽ} sy,rNОϻ,Yָ:gX4 xŪT0uR{|mW{2-X#<e:k`8W}Gą1U ~` 1'd*Txo1NH܆ |c+`ם']ޡtȵS}ⶱi-KAVHZjoWؒg}rBQ6* _++r ڭĖθԐ#cy)3=so`?IWc'Y6訅Px8Q|8,k6ceӧ$TtjҟXQD!~{|ڰwF7ΓczP\]¬q.y,.ۦ=MѠNeCT%"ͫ1W2jpi\ Zk/cuօL;aYJ1>M0ZϠ_#Ce2g''|R?)EYĵjE>]K,A-ׂA%?;U/`v^̹/[ G5%g 3U+ " :}Å}IFk*{^ 妐b,Iq}*yz :YmȩRI('vݮdQ^Mslrؤ^g*axg{tR(9,7ÇoA_sb<^SVk;^T'Yb&DQqS$Vw=R.9!x3WpBɤb+"s>BoFd@>2 A(G{l/݋\^i&gYZ6S(J⯠Rd} g;;K:U0N"%;QcS$YFHp\9Y GK(*C`(z^`D:/ * 4xpJP,=ģWIB,QJOf&z-v:~\(jm,Oj恅qwףgѪґqDI1p6QԞvwo8"$;UHr(F%qWb-;pzu6Mzz lXS//vFJZ]awaMP-2x>&$Θ٨,~׃ɚ:#?^ %z5!帝e^R*$ҘScEfRY涽ClP._8>2´F*c]4:?AN.fkFX?3PZ Θ΁iP%1jX ]8U ][r9.\+3XHSc#F. \Rb3EY;|8;R0N-`Хn9 f$Ӟ66]7>VY9m'Q3nCͿD K"[wS 4%PlbwM@z? [nEO\I͈ك졠 'W2uGS f[ÂG7<ݚRp (1Aէ~D\[y&a/ ޙ2)JH۷`nʼn͂9^J蒁b^*]>.#-`%Iͭ͞d}EJ=_@? [iPj$ŝVBЅ !8uN\^yw2lLl#MWĘ})P8>9L@MՎĉoX NGԦ\yv1vl-ILuI0&,7inj1ӭ߳r4Qa>.v``kk?Md =ʶ\D@,Qp{wR}lFG.E$ӮJ!Dr=]Y!MsbcJ`kT{P (_71iT 35'oN̖j,?ox.ng4Зx|XvRxU0{ C=!iGr))U$lP|뵓[\2My,/ʘ2'7V Ij_*[lFIAj ,fy)(-(PkNS;θCuU}n,Ǻ7BOfudKdXͮ:ǤGƸn\_ųWy7<.qآWo%A+(YoIҊ\[#mǽv$d׳s@ˣ*e@j1;˥`{6H iIF>'j+ayiZ]5_aZК>xQƄ __-)99je'(iFgI{mbN x>~ꥂ" GUKzƔR4/ptف;fY13\ ?|l|x.)D =~yW1 ZLph.hؽ=ĤDf:o ؠ)72cDp." An >έ@=9`LSͪ(]z#չh6eZ-q^$g.Δm:|܊2qN24g/EV8N`|٫qhd򝢶Tt }s`&^M3cB!=mb>9m$IܭCmokOt߇. Mףíz&0  z*R pMf5cKhxRr@XLX%H X1`M̗$K˹nc(CyԥF$v\aD' Vz[:v7FEsy.:#5* ^s4tq!A9H xuwQU|k r]7n;UUڕAwZ}@jL'a7Y:mBLS#춣&Eljw(Zon !GG0L@]}sQ`꺌pE שGT91]Q8 qllFs(+R_x5mj<-u;M(qDʃxO55nr]C5P7.f9zv7y%}cuhP-ŃTUbǂ6NxG3…[(Ϋ2"rX#0.w:l[Jf(Ҁ;uK`SV-LM5TbGbasoRQaCN-x+v6~sGJRnnH{MLs `+eKO{XCo.6SM;Ncvd}2ڙCiKM(C^ϡe9a cʱ!r"Aiп2]UF\{=c[`JֵOj ؠK?fΐ1XAEbkRa KmixZOrTL_^AhU]^PBj:MvVM6>ṋwH0`-ͩI:zݘCA'w5;Wra"Y䥸$&,TR3uQ]"4qG:}B:w!| $B3EUcwNiIIgYZ Wr9 /7# |HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup7zXZִF! ꭹAv]ˠ)jk2p O6LP=͵gl5f&Di5b^8thKg~ZX&\-nsg=OcH,ߵcN݀R+ڒjl:Y0k589, )E|^,1xa_Jt=p`yE=xw*}wt9& F-5){uZJQJJu\nm#PV/<=,W D{V `ʡ  &~wo@@DGX=:HSլ<vyB5k%o,h+hft̩OTxT4oh kjEJ3 G#yڃ<7LY6g5[N8W8/7!LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files~~/src/HOL/Proofs/Lambda/Eta.thy@7/7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id214>6/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages7zXZִF! ;]Άxʆ5.f-9 rq8HϠs5=LxTLNz'ጻ&sq ևk|-.*ūgƼ4VAʩ[?y=WdȦg;SVO\O\% w~VLN8ܥvq7EG`bH*3]qcRӈ{X`"1[0 ?IIk XazKvH sv!WugU|xgE|/B4z#m3`wֵW|zz ʳ<,Y*unD=PFG lT՜/8 ۰G`vJ(/3JzP1B}6OW련sm棪У٤59]8z: qfzu,,憡lJ {gD8O^yg%G2Q|RqNE%n4+,Ypu:HkgOìW4lm"s_q +M|M?<@WPS> lQcb\`h9W)P+x!7gYZY5 /E# ݱy>ݚkQcc@1P)oX$!+fF . . U'`KfQ5>ajdYF$[?7gA*!hPI)xY9puuɾ| L*|4NsqWJ43ckRZ ?L_[+ ?fɉtL$=N%DeV#ZO5GY-6TFZĠ ȔcN'1Vn8J7E;:p}o!\Zȭۧǟy0Kh oG)RI:yhZ [h31X-$ʣ6xO*BqA5ZG#OrJ8c(( (N;۴{bv՛[>r!,%8|Fߘ@i7O{U0SvH>eXå8$4JD(A4h)e{B @h O0'^q0j3Ia/<-VE#*YI~}m)xRfʳw"!7ӴhB tgHn{i~`MkhH5q=Z?{j-Ax{4p(3?HY3jdpC#۵ѻ:f!ܜ3u6+to5Q;;y6\B _^·~X]O` R2hѕ'$fC*vIC|ջNaѠS~9eoi- ؐL\k?W<ˌRc;='BAۚNf]j3#ͤIG^~#) 1MnV)a4Jo8MY:?[i|M8VY/=VBs^)U̯+l+o ;xmG9e'ag94&Š*;^VfwG[0V JSsf;bpAֱ: ƞ8^jŗJk#r(6ԻXC Jk'8Y*t@6J ΧOO10Xe"Ѫϲn|eC&hQ-!~\>I%5_Я|&BDn/)'Jw6=0*ouP}F%*ͪ/vW!Aaו=2 P/I263RLit2#OzָS&֠J]g`AGQ%2mK3,A_ {ieIh?/JOy]^띣*k:Z=6&MOIs#?`Jx,畵dEwĮo7m+Q'l45͉ҳ.QHU'޲OhTP%i]w5a cw#w;Z x[~7z7owg۵tw8ؘKU£P$B58s݈P]8hKO)ک2xFZ}tNٺ#Ҷc(ťvwd30"o4I#U~6AŢ 5rCنsz&L49pQwVNq]ç:urbry0Z]csIMp~NVTgx60{SͪCJ$= b:T3Ba_ͪ2WkTXLp,O4F&"ϯe?t+YH[7QI}n&*Ilj> zS{Kj((f'HTӲ=(<[Fߢ5pvS¯1_< 8) Ix倐7 m_2ѿ+*N~Db:UCe Ua M-)l7{$ǂoR<lPYRʓ^A,7kB^&ߑ-V>Lii]Tw揰۝'Lba>dg&qwԁL?ytAN*ܼ#ڐTK5u5*D!;+U8HpۚNg @nUkg| (ln8 P ^5J5ӐiTh}Bw`-XOŃҧJ/I{֥~u:Y&˟o6Pk1xb;G9=NaZpԐ:<[ROcxD/M{yX82yBg[qS_:WZ.bۀW~"ߙ!2=x|eLzˈ7c4c*MΚvV4|-I 4ʴ?'7Inɰ"9[6ܸvB'#y\({@#c4) ]Ðxn幠,q~7kHﰋ Ⱏ먚Weq-aAt2SN+>n6G윳Lr[b[zF!Qgو2S|:Y%J?A5XG&jI >ift`]S.ci Ѳ0$l\=i նR6LJ:s^ㅴdmwm_lL1@!"V}<΢DpMˏtW82qz&h|8+k؎0a]8o.-__́ioU? YHcY3%jyE_|2!L ۚ7X')E I=UlU ٟ:@~hgʽ-_0ܕj:nU\̈'O3 47,pI勜_A9ۻ䞥C뻌쎮(cD+tZA'`Ar@NͪV:@\:@-V׶rϾ9<ޱf18*;n\xw'SVߋu1՛*51Mg;'\\ }ɋ?vkj8=6+qoȃ_LURKa5M ȯ={t(Yͧ)®)YW*}.m8OOZ]eՂqu]pkZ*3\&iInU@'p i~qzUG8%-*AC$dO '~H*I?XpHi y5`E&-Sl+A)#3^l)V6u3rpi@%e=d9ӑ&F_]X !$Ɉ NREzS{4gK$Z(lA"ѥf,}>[­lrau&DJ?bguEB=A YGh=ЊuCez,a ,iu 쬲~R*4Әj0170iRz5nڞ N Ǣ>y 冄ضf6zu@XNqAT a5P= r}8Eft Q-Ɯ94fT\D-<jL{`˗:/,ڴWBI':,⥐Y;M~=h%܊7~1=h_:8wB4L9`pb"FZ\KOmsW1ώ.D%zFCOFv܉iJD>vzňw]SgJd%AQ { f=R. ܣǤ4J!/٪q]p|6c1Ό7_pxgjpz{lY8yatp[SiLhir_vʭs{kU,gZrU:!_-d5;,l["H=rPi{(CJv1Jy -6$4:P:֬)3ABÞ4S71;f8ƟI֤៝{ 3;3B(1Z ?C;-x9zI_Y(4F?4;i0l¯ N 3 I9{듹ʎSb5j)(!F8Fp'vFW'<SdPOd@wcZviH5t 7;gMwsOx9e<ޏK cMo. ^'yeѫu3"\ڈeyn)?h80I9 E ab<( /Y)ìύ/;U~4]WAkYopt"$^0 WA grST{9|_KW݊6elGގ Y2tm6Wp7|M$峿_(qOkE"]6h%3,yX}8&Hd8˜a'lO18apJ~Z<0ۘz쏈1x(-oΛGϢ~.5VY]5K[ `0}z !kO0S8p{jZCZóo4sSK=D>=NZɴ[uf9[$ He[)?_|cR7oË+vj sr"OϹ$MݩN%1=^ru<GEu ?WQu2Qʸ_8V#[-hLNb$޴*J=A2n}摲{~4<|*+ӢZKe nԋesĿ?Tڑzi슦(z];ILZQğa^mnuk*28M6T4\_Fo9cI'CY >!sZR?Yz dUH344!pwEV2RԎql1f^vLh QjVuBuRLd8w]%=8=JaGҔ}==j)tXz[ aggDa<_}@M;`^<d`-/ݴ3o*0Gjaz'n!;5;s!Fqk-d{{PcCMlNy#^!֪4JuLfi:'brhֺ6Bl uM3PgkM28<Ņ3+ W1*16 qBU*)lT¨3,=FJY(n]cp/&) 4#Hܲإhc[@eip5E.o:,pݥp)& *7noc/4ٮ3) +` %2ǘD2ڲƚE:1͜ӊap˦ϜnХ(6Rd_PWSL6ڵr[B Ue6{ 35gʰfep=ݛؐOV;˭0ꦻч ;:E2b7P wNv^ I sȉ8&`$4 0>Z@28(^2c |ЫBÛ95~3c MVQ(6m*;d)!ɕռ{ @{Jh%oJLN,E,hXѪ>Q+XdC0ިYژ]dKE"X_7u9USWh zxzh4iA}i Sl4l^=ȱ 0|plW؎td&\oKTj&Lt;)$~{1+9HLˉ!lRT)nnW(/ qE#M`k-Qa`AETtv|W1-=Һ.K3櫷t3 k$9)ĔEB+m9H?Z 5p+cũ!O zm#cO^ɀNr7 ]NOmz7N_;fűen_F#<a?{J!g D*-.Zd`]A #b1 B k0i"օ9/b d',)mfm 4Z凱:L^ZpTIrDӝ-|kF% #xD6(2\ ; iGY~sJJ)tV+Jrrۣg=ܪR4sefU~ H9_¹&p3xkO!7<ݢHZW]zħIXM\K0Wcm/KXoH}pi2o'lD{!)6џY&ȣ\A;m P^ mK,0 nF ˮz.MT͠[r0?J1QVu|/Fm%3͗̍&ܠR.q]cQNyG8*ȍCY.S[F]2@_={eqi.@82;ކ_%$ծSsǓ = ^ g/ {mFdxщr[@Շu d_qa<^x!,:M$ RERzn6zs XԀ(G$ >ƛ2;:^ qC"wI_ZGW } D*WL͟$ XI0x^P Jm ۟OJYwYh)2 ٸCZ?9"l}.b*N׃P?7zD.q: ځ&Na#й '&ԒI+*x)2uzv6/91/9VmZ0/}>WfGcuxS @tr (S۳' XoQ0tK06[$S}!m8<_id9|{]z1EKp|]){ǒNŞTagu&E׬p 9嚬wķiơ&~;2w.\',P0.^D>j$Vd0L@6bt"U'ZjrP|5n fl,w*`KTf$X N8DS\GZ)?gв;f 9lq^ ?kz׍;8K}.7gR ̱H[0{= GuKA3:@+g8`9\&Ȩ* j/PA||1lfHM'TN-z7mi#ϳ[a@vŖعaH1E6`?d0%*{L,HI9DUd <)K}O(^vVNJ)6eb"Ĥ7g `;z#.6}*Z.6ʵxOs2^(0+G*Hūu^%}% "T'=PR| )^$Zp&8x'sk`:V _xs]2ؕrk~?APa<HjMN ˂&`J5x 9 BN&`ռ,6*3wsJt މGS(Oh +ʙvb  L"f:d_/I!DCo <ͺ;JW(UӥE kEPy84Ir-~3XG.Gنf>ja*YwvhpO H!O|w<M{gDf&uq~wr`=T[G vŠx~\#WHӍɶđ4 g@*ԘJ ۽@.' (=&DAlB兄G'kcq.$?X܅5x^a[+:kA̓У"qU *^DSXmQn<9 w36pVf*3ZIWѿj [& `XMQwUr]bDOYpEkz-;Â>ӫo-T&;muۂ׎b!+>VASW*5v^mP@Ū)f qTO=R۸6W~3'u86LẶs)i;<􆯻"D%<&uپq\L@yp3Խf@$V^v%8uw%L[:2 a釸ѵ"S-ڑb˪J -X7r/ ۧ%^F&U XpOAD50.WIyGь^>ƐZEW]5ɿ6t _PZB(#YgISj $w@X3 R:8F,mY_ ^Ci^f`(5t7Q&ײxϷͰD.E$l+ 櫔 } _U>`Qb}BJ2g/-ɬ7&0̔._]\֙tDnK˔ݠ<">4.L/-f՟ Zߢ [Ud:J3j| Z~?pD,U&i1{Xىq3<Ȯp(Zˆuuhfn8 {D~isgEt=DJ2)$ρؔDh87B]Ԋp'_2Y1bJQ[| z1MZgE V+fjf|z Pu'XCIlŽˮq{wDaߊSAl" ?vAg)vOEVT` :IrzHd2BUV6r7gTl.)i"~]b`P(􁾧a0k(Dt p~1je"x0J.,L|8w(U-Ip5UH=ҥ;M8Yl TSyqvoDrK8 AH5`@-p"6<{:{*Q+$Rg^o#ܑK# ١0HzRvߔre3,ag#x܉: ¬ XyPƀSK_iJL/g5xErk=lŞ &BUB3hMYHq{,-\Ĵ;N\Q?iI g*"$xc>_JƁ^&a"S)7u@LbC.7Ƿϋ .E)OϣDPK)T$ ձG5ec+F@8f'UQd s[OUP:ZQ#N>f$*)0鋎8}/?yKݿ{va. yL7:<5jB92: 4X&mѨT6z H娷ϧ8aV gWnw6bڇiy]L c&Z:8އ-('UUp~Jo{wz _GxݩeᨌFaw]Uy%9" ';P=~T*AQZ \s(g.1Z~nȢ0uЊ"'@SGHCv ȵ>$۶aӤ52P t|%1d[Szzst4?`+aniKѺjB˕R;M _HN9[ܫafM|sz]"JO?A@C҅!pWl:W_00C5p"c aT^PkOza\@T]7 Eh7dƃfENLf&D&n2DK~p+/:"!,/5O|$ Ҥ#UpXΙpdV&GV;7lTmsx߻_OQ? _"eg)-m @ja .\[Rڧ]dxP^TҘE{.4χمN.!l1u|^ A,Krω㜞=d+w%m!RW>""֏-L6‘3A#slJGQ鍗4LK] T9!g@,ǀ2E>n2gAÃs(ڑcc807DUoBboӣ68ݹ6c_m7 DJԤ bjkgaK}Aǹߍ") ; x'~p١& #D1A˘%Phv4&geC,:꧲j耀bz:G` Z*4N3o%s áDy? tL-DxMF70mJ8:~<%U~TRuoJz@@{%z> -l@l=SALǚO*z Hp@s & QݫKOnAH˸)qM}ϡ1 yL7=|vܳv$V6i%mcdyYX8~_OSBYny?sҠZ4[SAdۧ$ADQg?  cokDxA?[>VX.(f2[v/a1 \#6~~wp'CCUzmUT}P k`<V ^HWzK]S)M{f"xV vIzz<[N%b*c' _6 7+ٌ<FIO=Je 3*T,B+6:w}8fI6vB!|~\`ˬ-k,s9ugcc J:?v"$XT/wQŧ0n_Ey|+H5?m @;-40 qH.Cg.(ƩD4/gĬ@gVvMG)|R`TTztflٙ&ӫ Cxc8M?]k^ؠ%m%HBtsi~,`G7:G@;+0":QlAxWϥ;5z yke/$/F*(2韋Ct6ܕ+%P^09Ţ!&zdP9+ɒ3)[er1h qrvȷtU }Y`5ގn=EDLҿl1_ةHo7 @#2%JI?m@Yg?Ƞ. ?D @m*=䨲Mog - -m}nl;;Di8NU,G;}X\|6 9sL\>/ ÿBBLwկܵ8<( wrX=q1}PbN\*{FWF+ $Jm ɗ̤:(VuaR3;,O#6Z4nR0aOc3yCo} 4Qξρd{hy&C*a<#2h,ʅ^'EοT% URmjɇl6+V ;eJhxbRiJ~ۭnKgQfu~\dZcRX=8gF?̊` 1lI#{ ,t)Nh1jVe/`Rٹ^r,Cs4ԅuP^ XI *v`gYZ ^  ^-> /E# dHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9)]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4exǽnpf{=ARZMCQ{}=;!=ٛI6tXբXEES厱;ے#AqX t۹zymc`MSoim8c2H/z:JpW˞н>ҊZiق+~ d2bYg7):g5d+NFE eMYV6%oIIf G|AK..Z,&0] D{EyO<$}ɖ(B$.]䊾PՏ33;Fq^ATt.L ,f$A"Y\ۺ{[B'/[mۦ1 \`mxh=v ߦ-BM6-X֙`J GޭF|nTmVA1|Ł{(vsxzCzgSj5(DzUǓUc IU+P}JG̏N$yIN%gpI\ Kw4Y\N}O=K۫'nI}XmZ9eiT+S,ڕ_ϚŢ$)f_PA1}ST+Y3A\Ihԏ|p2Zb1oׂ4iuˊh:}BOwy~4\HZ{lX~W{:fUx$*exam'c1va'es"!YݷݯT]= 9% SKVkSҹٗSNTJ> t 8O׌O zRӡ. @;Xib^&+[nLxQw?!G7™)HHv$NFDtǨ@V5ϖhJM[? |l֟֐ټQR!1kE˶SSTpHWZؕNڶ7̶vrQgêb SǵdįY?=p<{|lu۶ck! LކouHMeJL+ 糨3uz<v7<'M^}ۉ.W|zR!]WkpQO?H:7iT!4~)pJ,2s䜍pu mе 5آ>˲ri"mId~M*n~{K\7ˡDGyk:4M3MMOV?Pl󿯤劙U݂(&2_ 0FlI:k $ԀX<PƄ ?@<;VH@@]fޮtH~1/$>nK86sÙ͈z$U2=LзBx֙O>4aL(O}%rʆ9> C} k4 T zVQ٬ső!~&}! )Rnh32 ôg%a@=7vZZ8,F'w21Q[ 6uo{⦢Aug䏡ʰJѪ3MYM&ii_?H}eYK^::!"9+"q B)HV&귨óS67e8dx#ãS[ ")qք׆;,_xVY.6{9YU%pΓK}?e=/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files~~/src/HOL/Proofs/Lambda/LambdaType.thyG</E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id210N;/71*HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citationsTakahashi-IandC_:/7' THOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7zXZִF! d]D?7 {?:fH\H+Z:5:aPi+@mb7d,3Oޔhɐ^xwgCQ׭J8wvn-P8nD6SI@7TO#JGV}U* W0w[(.2XL':,ƑCii|u@~!¡4iS! !|t[ T `=tQL ky1xur긱k etD}ppJAgmdP.dl eiL=,!?[:5IYC<֮gm6kBVĎҀQ6sAbpTf5(;{&ZO#6y*@7N-FqQNNA'[@K2mV "is-}(xLZ#ڴK$2yĮfyP򁲖I[\-mFaQh bԱ]Z{g?~֮2&)0]a8P-DI3\S,"l4^N ]į 1Vg@ߵX2 b1ΌP.?IGX!Z!f1Kz.0.<҆QMHXNn'.#jp}V|k)+w5c2؄Ouf)Ge O)bZ4dXOӑv+;]VfE va*:身@RBpUiN@8(놃 %\|cq kAȒ5@5 i;4d^#ՖogYZ %b$zJn6 } = y > 7b#i o + Jb# ZZ :[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 Z7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex Z3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex Z9HOL-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 K;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.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'@JLhnS$j_w}B G f@Tٺ4>@Y1)DBqȏDGt_jNz+)f|㿒P=ь`7Z͈?\m!Qe'L_ A--'M V ھ ez"Hb y+IOfKU Dg6O‰r2MiOojd-4㉡ 9`[UkXXt"th7AWzl{6:~TL9m0Mqi6!gqT5?~=:!4 gN,@V&1gjha3q*AViMJ+5PcnD=C-ҩJUv(#Eu<*ubѐ)ĎG[17I=5[HW 'FԺ(H7 ŝt(.͊w\[*0o[PW6^_rcw'(u~py%<;Y@k9+ն8$L DqfN`qͅ/wݱ{`3/G̡FX慠,ۉnT $w{igg>?GX/=S+]?nOd[8?.%aq44Jq0314)4x:,f/ui趴L2qZ QD)Ly]wNhb\8r2Cv z6ӍA/( R۴g6GEa0[W ^HXO: x`dq,4ߤv"3p:I eoFrN_S]H}ͪ-Wqkȉ3xYEq=i2(ݽ,vʹT f ) ݎ?_ tDAdpaDn;-ͯ{u#+QϤ,Pt aЧ2-/}P$~'s$PX!HS~l+;x&X1^@JyR6 >IT {grQ%D;Ť xRd33;ʇ;@tlmFT. }{g%'5ֵGE,~ά(n:*ڵPf&R 7h(v#*/9xfkgqt嬣P+t>~O!9a)_Lk,4W U6@闟kH!"Oj=v7e^J9o/d;Q^rOq3U&O'8)ݢ,ub|  f7c&рXwYoycŒC*9,/u>#tUzO{m4zvmt99{(qQYWl3Q+0Hm4cM7%FQXir~#+q}uawScl~ V-GP1ΒOs\Y:qo@7֌s/sfbvm xTao~z]LRǾj/k48Z*.3g iB³ϧW\A/$eUT?4;.EA4w>>)zJz?w oX2ҺnXP30ݵ: 聃/8ӥ,跁[4|ŒrY:.0`yWJ7O˜bM<M. +2LSڽ#$ؓ5!G4Ke1n` =11Zܭ L떐[bq#fWfž`}8Po7WY(8pp7U> 2A֒wj:SYfQ}@z&Mv&˶ߧɕ=,pD%ڰƺ;b}uoySy;G CeQZT'^UsdNٛٱ&=Wk ` # sVAz?@| ; 1vsnv[֎![5n'be4VńʅǕ:TTuNkB&:,Z'({YŰ?fCRgBsˀS,}ȷϵHp:_ElRYKqրp߂%6y M e#(\DŽS͓ \? ^x`f˗3.ҮMWc~Rd꨾xmd[+"V{O9tht~4I 3$GItk5IlVe/wV2<&sKewu9r }Kׇ1^Iq }>"&_F7?^uzOǔ!e$fڀ;7@m0V+Z,uSgZPkw#1m{eLagV}@eK 44Zdf|+]}a0Nȳwۮ[(bN?Dt`|R۠yG>CxoyQ|KƿCKjYA"4w ]bG:, lMvX@"{yX8g?CeoveseJʐ1cd(('=kQ\ #X&&  6"VUe:l歟M'dnr"L2ҖrDmm~mYZ/;\)FT\,A5^jvog[y[?&܉)^>|y>@!CN4XVxMc uSWpzV4`A^jfhS ]Yp X=cXj[DwiPJ?pu<،FFy٪d ucpT|A"ZǺ(3'duna20 %['9}Ig B;m,P#gN(=Fmxn"A([-pV#UГ/B.ڬq5EB)ms @.>[5i4a 7̝g^#*ћw56c)%۴殤oW|bY}UmI"F/G<Ѭ.Vg'r :GW!{T~*BֵtWj5#},EwY>!,|qZa;M{B<}AՔUab K[ֳO{'h҃Yަv,k)/&株R1(&+樂"x~Y=kɍ2-\%5*4WFO$g'ʸ@I$̠ګ<_CkÅY+XCL$peM~@)bgS&l̵.M.푑2t -"E4 AZ@g`b]"sdV?=AN"R@Y;iz_:1fc@L^/LB2v[LzAYB]"C =!XvZx Gqtn,zKJ7@#P*%ۥ,-^Zhλ)LPjC6~JґzP;XG!ށc 3ٌǕ*otU r~l`u/̘h=*m&R W^]:ٷ[y#l0a04hO6w4 ýwa>Ɛ4s?D&D L>8&ԠU1]Db\nWP!#XӇ8?Kc XrƗ v` y<p@"MϹ.QvP~C+ HDaBrYu2,Ȧ7T}%SJv<<ぁ|M ʾY RwϕWqSeT,3mU$7 Wgv7􁩏` cJ&_|p~YjѢp!e%q`"zA>]-Ne6`NO{"TӪ~; kI=M8)T1K#òZfy:N=hLϲFκTN9WL%*\n8j3I=m\N<M^wpO``o‰ M:WHLAiIF InqĹ ^t-7y5ƻX/zCP[Ө9pT9x40ۡM}|,! J%^bٕ2%kxF[x1 ZP3U9)% /Cы֬wũ 'ʏU2;]3h^TI*c.QvĿx(vѱ|m?BȍRyϞ~D v;QqR)MR5:.He4"ZW Q\^)KРks;^] XDŜBU)8 "aak@@Z}5QyUDD(|"CXݞD ֽ]+ތ;~%PenY1ء$)ȼLOC8!OG:˘E5њ27ϟGAf=kܣpH"qF=Y' q)pGOˋ:U|pp0Dl EmȓNg(tT+ۇeP0emn2*Гi\VҴrxufJ1,p*A(UHX8rПdkH-߬lfwtO_a>PJ;e|Iҧμ%Δ4cqbhI2[u抁~7Ǡ/*֭!/CYue_O;@*jeW 1+~%9.g Ei&Ҹ!;l F`0$wJl0A&4eJƤW/!   s*&kPd%Ϭ;[{9 `n#xCzh\L5(rD{Gr.tBzro UBO7{%EЯY=!ui]$6>])@vyx87žC֛=8_I歫YYIYp CSU.Anž""bbLU2y+WtBpKtp867p*o,6ٕ }tbcg<ܣhu j5|"4o؁T^X)6?M:lt$'=do9' z4-DHZ2@I !.3@\ƴ_O+>?X Nq$T#+^vH"G?yJ}\e |PhZ_ko3K'BvDo/hWdƛSw5%d܄V8}lBdWR@hM~4nd6Fi 䓹 $b[t;t/iJf'sr7wڍ*Sā)1vԷ \8Z# ? {/nѽ< ??ˡ  T }VG^w^>%y|t2o6 t4=~$gcP2ie.%A+;藡-̞>4^)Xr`/~%„~Uk3n|R\V{ MS@)RR.fі, (׶WJI 1ˀ#BwM=źfVp+Ie0x 5 X3hG눠EzsIo#u7OG+ 0{ cT3d9=h ŀ:J5jhncjU󢝅mPdk IسӄhL<QZo{?Õ3gGwR/+h#R*@+nzߞXy`GU穃 j:F:MswvrGVoeb+e:bNc[ Q9J Wu( hcfeyvh"1c5]n+#9䐲YXs{1~+ױOUh+KA_x,XtoyG QB&"YW Hca-P;٤1'δTT_縘mc.'L|%/'G9D;NZ=3yi{z`g/T3LJ>@Q:f'hL!8ZF㢨eS(/Oa$MךڥMx_( wXwZ>DgƝ+n+8\2Ν 2}sߢKV3B#sEyqk06F3)X/\%hŶ=NM»>ʂ&]}ٽ"{Ik9bZN., hn#sՍn&܄W@CASkwGE#[ș6N ct|S 0>?+Đj^C۽4"{VO0hfh~Ѝ#县v&v5>3(eu'PƧkM1yd.'ہlunRϧ  [啕oa o\BԒŒX*. UHTnģ-,¥luN9ҲzCLvZdfUxZ/k:mA!۩|aB* zQeKe"׸k2k uS!˧0k>7+m`#lN\,ݙ0[{%3=Bsl^pARʛ4d茻q-Yr:v'݄rơHl{T XVM ’%TwJ95qJgFvA㿣ˤH^oa+4ܦƾVb#w]7]lkQʌm'1č.p7W[>m-~b}2Ko&`@'UN΀d7 _w+mAF ٓ=nP )Yp\!W P[~lJu7x>.T5#a_[|,i kEP)6\& |;#1e;NDQYoLevOs u-QHnNS~R 4<1 Y .)o!= ! 1K7A2X7g(Kt} Lp  ΄CM~RԴ6 L F b6¥׃fL=u+%pjGNd8bAָGa[)@ߐ ؇@K6~$nWbvɉ$y߂GD$K(t2X|k7)jt&,l <0椵ظOs\o秋O@`z3Aickg3ήu9)|܁M-k2@:TA.' a#V]̏-kjӀS=EtU?(~` S Hz`hNM ZcxNEO3ݼ0enoM[#>V>&I$p~+]FA v4N"{8Gr_S^_Z(3"$ K2ӏd"'I}7qtI‘,xdQ42GdAA4-}D=-^$){ tn oq y=i!@f"$8ElP';Io;Ut]q%RÕv;OmRՅ $e \bEg 5nwWOw>106K3"bMwI L(P!>4aK&JlxqMG㢾 6lTnp:J0Jԑ5#YИCKJإ5D));4Vtx#iLpi[KJzq\5?S+uU *,VAl`q:^CBѓpH& %@YG<ؙ$?h@oա(XO^Mpb[(i6*ebN `] k[yKSE~T QÇ*YU!Sа zIܳ!/a7P\@w8:XmrP58>YlK:i{ڵmỊؙ=/j nЩW:,c,+v_B^E4$9+TRLaqu BFSԍ+KbAmNaB2Tp'9D^ޖn~x<&NʬarsDPl` }-s< 8ZsG[he+d/(JCń=}KOKs{DŨűOBxDD<]Y}EQXi=<BwKGO|sS2JٚsTtBӋp/A@M8Y en#WFKd"j8_xyxPU 0Tc38TXfWYE tQ+!o3}!C)r@*C G t*t/DWNZIefj|ٿ7:q? 8 ¼`ĪsUMѮZ29%nBEL7vK9q B_0g| AEvqW2ɍ&b5e2[_7=wkZ;%}Q^jJ̺]NCҡCg&d!:)|4PR#'U[gu2z (r 8KF He1\w z.QBވz=. (RTD6l){S5K@̓yKFBDir"|wgYZ  7 B /G# $HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! f) ]ˠ)jk2p O6LP=͵gl5f&Di5b^8th zb6E3kbOdlB/tL] G 3hf-&xӝB*Ib˅X$gD+%Ka=/wp1@;S9kT{&: )[d&OI"n[#_g<2ݧCرN1??Gʢ\lA | 8gb,UdOs"fm?Ȃ| 1[;gh,rT^hң($3\IeĦ`ɛτeM>TzM% Ñ5=jQ_=_ؘ]{ok(61zPUn6 xDžIWWa];4Al٧u /=Ly1lyVJ+Ȟ/f:}h&FA5s|8KyyY͵ڒS6 V._0܄ʲ_YHl%TKx7$|6:T֔{g.y*mA` ${LGh#7&o)x.Թt ߯Ti 72cf@rm̀YIMyױnSC"[c>sSvN'Wi:{e{hU.n}$/SsTu41@0|Ofl#}l-_N5)8n\O*^*!Hnϓ$L"J"m[h{7 _Nײ`\@m p4HZUvȾBQ}/NeI,6c@ygY\ xЙP[#Zmvoy,;M']3ۗeo5odvV3MH|NJF`Cf촍(S !'G,fTE*3F;uSltk "Htfzi twɐv^O lPV7FTF ׈ӯ;H}uzfGnͧ*x0ך@2M!v:-~.HKAn@8`*Lw7)E&re{Ywi25,\[p?P1)_m2/Ԋ}?_MNХAcmȆrЫ~@jP<6kHbq@W eAS}bV6tVM PI5]U+)^ct9ˆz^υG ?e~/KjSy^|E,7鳟jc%1WwgqպP'_~9܇|Q\Jrzy>MM d[3ovqg6 _|TH%'Z]'Z&q \ѬQT$BQX_I%R4@S3s*SXb \_NUBWK#ӼպG@;ם0C . EE.6jzrҦXM \O#fٶ 7o{[K3vˈ;mU/4r 3ͰThĽnw}v4 =~9X|M UP1֤&"zh( n}gi:C{ \錶ѶO[ ԏn9!v3\V|2`!?;2tB&,=/Bf &c4%Ć\t?X? d’ze[>Q1]9 e<3 پ!?Aذfݩ x#f!CgA/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/files~~/src/HOL/Proofs/Lambda/Commutation.thyH@/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id200F?/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages7zXZִF! D]·Iq n[:|&[z'^c/\ucur$Q!硲}/L>n!%3AnWm*%,UlQi9W Tn5Vao0'Y m+\~S*Yٞt}bv8$+LU'ɯIMezY\$%}˔8>Sw og2M=W8)]@Y ȦeBbX ^UX3_*$H aicgrNѱ.OwqLIQNكLЪ |7'RK !`WckOcO ]iXנud&_lZ 7F^2Hs6&B6PMoH <8cwo T}zJ8Dt5 !K[g'CoB9:z7팳M}c:-/S%&V]$ުΔ65=铐Aic0-{B4=vɉ+nIQ Od^8@.Dc0`\E4>=Wp,SxDHN)Đ%;plbNZ:un갑HIUtnæe֎hba&$qTTGxEa8vE&+UiQP@];Nġղ@1T.7T K *ϰG˧S;wL1*]wwqv]'BTp+z{h! 3Mfu ?8ٕ jKK7"׉wJ&΂xo[jV}H"a/!nT#Q7i]@Y(Ӑ_=6ؘ>#4]\k'#ZſSp|tyI."H Bo @nꬹHHp_$ zH^U Y(h#}1OߥQ0ܛN"1*[/iG8iy<m o%#۫I [|"gC2: Љx yUC,n$)raXyŀ]gdX/p˔ @+oV̖ZXw/Z YEBb7^WWMub#&zbQޞxqaԭEȱzj"X* F/j!lKx5e x<=T"J+9=s~}%-MOpΦ nfB8H,nizlk!Mъ7$pyzCMW/0m=o7R@V+ŵN=Q ˕V+V( NH{0# j!k<@ Aivμpc'Z$+ZBLDbMX]zPu ӾAXxtrsTa.U 廍~QŒA ~/}(='bn]贂\9ƫoXve;0{);нȷCaD5+\a]ڱg$T]Ǘ?``k2O]5Z}WMi}X/hh=X{A4mUn9i͸+B /&O=K\B&;͏t5S\J7`K$2xˢtgB?1GbwS)Ujڼn#ylRȢ/sbɵ_10/^َ55;DZsS5e dgw;X1I=n'j$.j)D7+&*R=J#hz,y'`***7[UžMIݖE6Rц4V" R,^ 16p=,8V @GXN>#95 n AT B'֙`*x"(%1yB:At6f j֮~w{Q%ɐhttJDu7,.૛TO2n/:CrUV#/?( $5AtBM7RxS\t.fd2u0mR؆ꡨLXX4Hʫ58}p&REO_eD ƒ[oRe`ʲp">s &E!JM'AP0h}#de""{@uL5֏8-ixN]\B},z%F 9#ċIFB$谵b&:l PuIF{A4E-BO\#0^#V-xX-5sf!atȥCQ1Cc/jV;lDxD.$Ji`$1V$sf9faaN _ٜi?7O=5s×;Į|1;PR6VxƐy ILtHnL ~E99R 7UxL驒+a8l0$1'#8r&5[ڰ^@Jn2JUHFT^E7);(u)qg=ϦGI4 NM1riwZ^p~ZF).*Q M}/^| elW fW3?N^]Wvd3!ާ} 膵$sSSrSKɹu]+5#$_7]TKQr7zQIz\z=ij ҠegL+evշlR/~ W*+,;'cN0q`%;%za@4MzG~m8Ap^u]Fp7Y%SAxH d(u}I1kiHyU4M?=/GCpDg9`9 7V-Fr[9Bodq v006%ՍmW~z$LfOq+Y=pUW${S _OcO@aZO``zĔDȥx" ":hs9ˏ+ՠb=8f\hrPz94a(Ux\660 㵌~ 殒QТ)dk#>Y21Ul{n#fI`HgĀ7oC팍>c_(!`17?q%]urq~~=(bs]gIGr4VEeM ؓTJrԫ} KIa%U4<"HQZ' JWOvj:bTI@Xi*06%h7t[u0=7j[l]3A+!/s?Gw=E:4=-*sM r3b@#7b>3UȪDoyU#0Rњ[FU:F^ApP0mC*J9IE;j'FzɈS>?<*TM|UM &\O*oHo7MWb`U;rPղudCYL:Ɉ@K #򭂴VԱ=OnK mTwrgf^қ ]k^ו/EJ_ #y)Y&C(Btq^p#?57F$2L_8&SeЍ8҆֎q#1OȪV!WicUSr:+=Ɛ rP;Uf4! p@k[1%tJ@ pstݔY`_&ER<;Λ0EZvJQ= )ET_{coq+!7ǥ9%4TǷPl9~Mnzчң W2RA9y'ݱW7`)*VS!!}_ozX;B 5oa2L#s$ ][,G]? hTj sCFTSUeC=~U@ H((`b'ϥ}@A3ÙiZ\O öG2ш[,,o:;`³}.0es#$|z&M Zn7X KO)E/S†$&^`Gvt]96wrFIY4#Kf;u#I@M,]KkU)ɾY,V1ҭ~"ihx]w8+Q,Y p@/-vd~F(ţc)"iYV Z!}M5H-`^ͺūBEPaWmPZ'fQf$l07eK-g8%C?Q]w:Z߿ _~6-ʎ1h #LնMŶH]Q9r9 >:Գx.>^Rbt(P];oA' y*FF1 w-+$ɹε>ֿOLSbnz8AߝtrqhyagOx'J~):K$RrbJvn'KQ$Ҝ*:U6ʇKQիzs̔QnHZu l Gܸ9"%BOxlB H1"Sy ߊZK+R$U*AuA+JDEj =w%"ڍҹ_]]&omdoԑ֜1e)J/c!Lz|EX9hX'a?y={d6/jZFb> r>%8E͉vp m q|m6zc(wfi7<ھ#0ɿ/NYwAnT s=$q4?pgX0lG{+8y᫒f o$7]V Ō)Z?zфh s_XGڒ́@Ip6?5nS;( ]*un{Fy,zc߉-5AI uWyd_>ʎY_<TK<͸9(DxoKGm$6^ |'oOb֚mx[C2V+A{vLtsf%KыmЕU \c%y^㨈OmK9\4RGMڱgYZ   n>\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML"G/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b1%YHU-!qE/P/.ɿFlYxpjq$`?w^F}ffzR2駑N_Z(IC廒=78uc'kx$L%tڹ<|_ְef_WnKrOFL"GyNkv 㑲'GX/wvIqݩ7Uk7tqtkl_3>804خhGY\=op;`)~IݡEo?IhX<^u`%k>^M쇲UWNJ{V ȯګfFgYZF /E# DHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS.^sd 噷oh$hsch\F紓vXѯ5IZd(qݓkٝ+EòJTa1!Dq r3:(83 c]3u"DF8y5&gBq#Ta% QY1PDC2ǨΓ> }рKʣ.oU!(ZD 0jRWs lgM)Mu/{mLbO Nyvؿ=`1keuU$fyjb 4nH$d)V8&cP|*2Pq,Nmk uM=˾.-릾s_}I5`ޮ:CGPC!&0FWp aޏamU>,®I`XM$%]lb*?z`?wַ0ъP+Zy!EA5ˍۯxCP*v.BbFMq*;6wP;"\|z%BXI( X!Rt[%r@JhwT?N/q!uN/qM)u~fC_bj"m{NqtN%jA?dl{o{l<%jlt@("D*Tb)wLC}5:R'PK 3LV`T8. m5Gk,͖jIqp5%O$f/b]G\n@B&BQwCJнXZ^"nA؉-ow$Ba^>y1Oft O|p(uj$cA#%zXn=Yw &2~w\p h4`aߠw%PVȶcyiA!'Kz;жt?hAJӄ 損V2^Jy(|%N "&+H-grvreYsg(PZS\5exGl+ZD9Y3̩&.$MLxuCjk?'C1]TC[[j@6} {aѣۍC܁NՏ/0iǑ󣨟2r7@_85/m_|cXF*Y @[Nٴ>.Fz(]NH2i_h!5 ׋P%3 H#?a$ƐL:,ـZ:=6<:皴a 7*Rw뼕IY;?aLd.#T:#z! Gs:מ8u7az|*( r 3Hpx(O'JOJRɥ)p"RrD7uԖZ!n#A)$0N`5+OT w*L-R—]עA4UWA #`۲ db R`?N21QTGxs{sLsNG]gDR:< &h6^˼d ,Vjyᤢ(2[^HӲk%wJ_bI8(kgYZGeǧ#Ȍhj& IB2:6-5t:Ƃ>/Q8"~@pp9 4RR2TA&gюn];C[4(bZ\B ~A܆9}Ќźo bT5:2fmXçʷ@>hRIEmgvl"ְej8wd2ٷ;ei5EpdJ%4$'/t4I2UY~usݯgEa-fg9L]"X}.68*k%FqĆuj ^7@`a UXRP@:i:ăL/̤dntTqK&P4EMMdB8Y7? PhL!$jG~_op؈l%U z3U/<ȠP36LR+ ebH>Ae"bƱ%"yg%/OPC$= q HX>Rh2% \VGˮ\<&\ %dSұ[\hPm]10Iw^Hh 1 n*_е-$c齗Ѹ {̭fR"y#*~:X,͝)KfpH{[o+`&iXN& PSeS6/C SqA3w7s[K5m@XQD|ڳL9nQ8Lt8}Eh=Xk ,:<˰nmeFnvn1y Ţa'„6Biz3OӠx3D*D,y]H_')+JfYô9]RN"{m}`"X /c@Xr]_qgt,Ok%rԙ!P^zt,52u n ddDwP|3C/!`a?T:2шAiSa*TviY*fb]'hiRj { $h;.XR;L|+b>[*>U,{vnt>B$l} 3tG b*QiB[2LюԬ66J4Ц簜U6G-E4~ s'y9;W%@|T_EՎ'r{܉KM57AT+ ;🽶lT?|xE4K4 i[MHPQwO׳ol{}1ju/Ԣ!lbo8XT.ƿ3Qf\@#v[_) YGg:+QCvd->3N <4#M[OrwE?c魐ڱ莛ԕ6FƹUeU+B^Q`kټzr1Iln_"r=>lkZfǹL@MnowG(ohSz0x#$YVNc0޽Ij_nGMһjL"A Vk[gv=\L.`5N6-J(sGRwuͼ7"dpϧȬWmnA|f/WrScaGB^i*Bnn@ł2oE~:p؛{1c^2iv2]]޲\d}Zs&iZq9պF[çkA'66xAQG#&w;|ػ+;5@ om ݽ%oX Qdޟt<7Z?}6 nHKt;!k`a$ $f3ܡ ݡmU#$f]ܮv ڂT}ьtbeHXi[쌿R3Ոu`T[xw!Fu^FjFr>(7?~ílIu?a(C._E$g (ziܒN|c^ =U(6?iD)Dؒ;|Գc&Hf[6o} D ]A'͗ s$&uh&sрv""AK6Z_rHQ2?u!bY~F /dJ )Qqsq&ص* L"PԴOƠ8e&>_Kiv\wXxR()mvBvh8 {&9n^:3H+ڲ꘨b* hB)_soK ъdhQKgIi3깖daSt[Nt>^&᜔bxntQrd۽oʠv3K;$g2q e?uJ0ڳս%G ]iZގY (j ]@>/G҈+m%l1~aie"t2@Ɇz-Ѭm[X>j/ ͡'fcWtܭx!\LSYoFoxG. &J} v.("4n-žucF?[l~j,jҰE*'Ͱnb tЋTP>#_*20|04֖?`1TS;>q̢ 1aR߀)Fowmn1Bc\y頎7"hH ,Xc"uo9"GuGyCH)@y8.A=d`n(˛ԋ1~ yǙt1xH<BB f %0[\TŘ+mY3#lMPgeblA1zHi :RDo(HHOB}qZ /[Z^B,^-s'(J77g:rMK v#c: ##r6nYk8kڦ PNg`8[ ٜъi74[XNqڀ\Q}2qtqKfuZ%J4GxrӔm嶃,ɑY%'>}- ]$͘ug`&UDuU"M2Ei_Wػ˯UlZ~#]жm1C/% YoUR"x\1l\3Z7)iaOnz7~1N˶8ul+!yb~n ]"h">n*PSlʆiN?!j'79V0>i>(="8iu \ 65L(k)\0w %^ŜL;sNCam y/j_^6k"i%474MUV HQ8K?3 IrpP+^e\}3 ;Æ]foF]3 [ -Le6 5jh"x])94WwO2Ī54.kx|җQC|JVsݪ8n X2ͫ&&1n6C%i_H ʜq>hż5Ѽ Uҏ6E7zJKKpQěXGʳ7B8M,a"k!{q7Wa>>5Q㨫J ILn![q W3=$u[Q6J-yeg^u:`%:S(z+# ,r8>jSkY5H~=Wxݙ |e%RN %(NuDIvFtNn8M3 bu W<9 #vtP,#w' G]y]z۞3Y):Zhc\7PmCx#,W$]GJVnߊs"p7Nuj`[X0&P9J~,X Ow B㣿2ch->-sATyؒFH#[Dg 5'[ C{1( Xi/}[szY6q+Uʁ[Had1YABBɅ2!U@Lbo+⼓-bHyqo.:R]0 nWc%;pf%<׭ӚF;n9*΃cR oU%*3(o\{lj2~?[4>i(TZkwSR6RoL4oXW lpTk@eT(˂Q%7 *76YJ(Prރ[I‚%uwY 1#ǤV!O! toHwP&K$ Ӑh!|)WOrճ'0aL,K4?-MA}`]5Έk8;6SҢ4tc.b| } l!@4?2ϑ(AӸ h]E&j_PYN@s4+"!kqUQD#iSmX7@*}@ct!Z΀E[(}o~ZVכּk9fnU>I#/EkV^{jr1:c +$Y' Q,#@S@{IMIz-dj1KTڬ߻iiۏ!0|EAZLBXQ/̦ڬ%Ѭk'ywHع ^&]ʓklGVYdw-Ep-K u\Zta7i8"J]d(0++vTg^^ԓÁDY[S_mhZ=jD)&*)0fxDˈ2[,MLӖ6'[vT^Ͱ֝|-†Dxw~~ 9rs~Y/g0/]~ 0Ztl|{_^`3>9þ#ͮI{dKBH:y*Odl1->]̣Lp_Ĩpr[D(H+e2G/\ͫF~,yc?ǐ%~ [ 79Ngӝ Tp) x2 CscwUe)f<zRUw ;cGԡ LdIK64u**ӑ rs닔ac@G|}(|viw4kolz w 7*Č>FDء*+րDG!Q4T4j<>c-G C#Pu5g\.++fxX{rg~O%Q%p_nƛb+quz ǢDK YEνw$ę_[.́($ŬtxrKWUMZu8uҙw ZSȚϻqWvY /8WzI,Kߎn/8ƪק e }>XVgb &o+m+5)য)ƏàZtMNLK>i\/T \a4\_\x΄%r!0D$aC_]JB>N 4qZP])+З)Z/:Gt[B#P&/xp#n[CdY$è j&VX;kŜrHVTl"rth8d؈d}7k/LPPkzUK̪ES^O|H;}qglP%ޑU?(VAN&nILiGj IA9N2{?,`P 2{a2)l&Kn>Di.bCox&Ix b_]t:݋k(tיYSͺ7B Ý4$z^~Uj s *eGlmNmk5?€n '/g{Sf dSnAܔCIS6^‡q͌Ei{ ۽؉ILX$^hw)2<ovnv^=wLN|xpq#XHz7+=~ V$ MrE"̶c-㕈ptSàvA OG0͜ ahXr>%VU14kJ>V ^#>5&U(M`g#ϾoOK1ͨ?4IT=2S FhN ÍpdDS u!I ` ߕt|Θ4Ț, ^Sb|ۘ-1IO5=peJ9Hvnq;K,zF`f8* ?F6Kf #_E[ba砨[s IQuЯRC3PQ-JwzJn]sr0]s0P-&>?Tf~i1bNw%)k":\.06D,oπÙAg3i+D7ƞHCp!C>j%HԻv&پ7[mt90*S.~U"= F:2-}1XkAc^qtSaʛ\Sp3IFh%w\!"yߵż涇qw~1ug5x0M))ߝ-_C}ܖrAHUm"*n*]`x<S2A|\L? 4=G fՉ[NPi*w}wjw \[>dl{>ix~>lonb&vgoA3koO W=6nf]Հk!Ozکʥ+$+b6\>GX_`=;66a3]7RE kA\i2a?[]`L@&PdJ dZ(d{` ,5;oRta075B ˕ƸqWF?Ys3t$yzgi\Uvy~\^$ݤ"B}?wH g*LȩhDA. :&-zI#)D,`9Jm?,;jbVi%_|_z)xT2# BKG7פw5:ݹIm#(FP׭0B ]ZsX]t}[d#cMcvGG}mu˖uCKXT<~c#ѱ|E0fA(-ˡ&cN-h,SȖgllnW i|BO۲og%YB? ϰ ]hr縈Z!8A.m {ooX QE0#ʻq-0 D|X-0f}"#8Ab]HFz"v݌sTH6ZSW{5 ezVc}^'m<}2nkG>5dϬ?7 OBT}qJ˭t9ԕ{[Y^a t,yGA7}`TҬXlGTGj aJ%CnEx ǂ2ߧ;YS|i5%9+ڼUgSCQ{ʀJ(-'>88Mʫ_TcVAB>,ؔ)qcIꗽ[8Đ!jdsL=d?SS"%_VKc*Gs(inyXfCНc= )a$^xfAݾH@׏~%?u?21lY5i9cR{j$lf=a_]:6'8qJ E*Q#ah!gFcဧ#8YkBVɌ&C--œ~Ez!( Fdɫ+&Lߴ57 _DoW6s<4 |4ρYUy շd. S,cbg-tZgb0:*{5P_9i>M g4ZbZ Gb-:qS>.-r;[ 7&pC)$6.%Kx_gz> U;]$5c ?0=N PJO= 5ǽ&6?z9\AOEhm @i>IZ %!s;/Md0tF8+J ջV֥WlRN.ңxWaϝ UĒEI~B )(&&4 :MۖU \fXAݙ $_ٖLqwVWΎ2OI z%39_%wZX{A7`r@|{֏K,&>l&1%pr''^@;~S9%9;a3܋)m+;j$wf􄃙 c0&曆wQn,;i".yu܁(!cBO9ƜBטW.5nZ+'B%/vev` fbsMv M4/?3S]6Eň7?Z"PV#} JfͅRac 1i*e`ε%yEw9ne('~&Gyi 4S]ğŐb8 ?}H7 L*hjz#}oAnn8RdЀ,g8,]X-s4v:Td˂>رWڕ:8_=^/.+i|!{pf 'ƥvֲWhi{GTP4̙m,dͱgYZvgpȑWbsͺTB&RtEiGܻ& |%ߏAc_B&/dS f*oka^5ױH%RnٖzF6m(Qz`1XӃtyB/Hۅ~l8DVabԩ:'q(hjQJDy&{Ut Ż*~jAG8^ $so̫Kk*T-󺐦ŌKA40B&URQg'*9ʪ٪>pR#0d܋5.osE>#pK)] Y]iW%IA޵dME?הXA2HݛX(6 SY= 6iWMG)[':z4Fś '3sDN2VbIi l ^!8sE^0-" 9_&%5oQkЍlof|a u c5-vBVghPV >nƬAu!4߼=b:"#k]cNRJhZ{׷k+_t֬"OpOӒyM˻ðf-M*BYzwer 1XfSUwJ2k bwt?qФ40jJ̟'2ќ0=Xz%C ˍ9/BNQ&M`$ivl"uWKΖc]S=My)qR%1 ?v[~6㩽\n_acXHڬqaI;RL7f ?>wq05=`k"r)hv3C _?̮}/S,➨MfJj{]R;4M} 7񔺰<kCpj$+d€*Ɓ^2sE Qish |#O 6!'@Y\g,` &ә䋂rУa%HjF5*^r׬Dk[όJ˾'Š7n3c.ayXPt &!Z{ T;g gA]v]k{[~o+߹bNxd eQ:h-y4T'Eʬ nN 4cs÷p5JGl= ]]L9V1UM7r? ƨkgHuۦ*2(*X4^cSubk <~H)Ko qP] F4?e (P;\>*bYi7մՁ=2 wjM.b.k!gꕡ]uOyMO8On`Xυ(%-iUnb2?mumcF A^F:PmJƈl'LL`)n r|gȦ_ˁNx3⬊PtJ SJ4Snɮ}Ѷki{@]7{uP_X#"s0NuuP 8l| T6/E˫EFzli N*!ۭXGB5 JCAr=% "8%0psYD8?Q~mԈbEN+ɍ X*1^%e~Vr 6KCR?_Gz~iJM q |Ѵ%Jxz)b7aY$[VUxV-5)aab_xR4[YL8z)hue<1緄(M|pB!gYl@Qzq@s^'u!޲"s5wlsAp0EBQ`^`ނT8XB*WRobT’`LOUȊ{:JBCiW;aY 2?o),7Pڃ#wj-Nٵ5fGl0KG~W p)N¼LE1ĹZ$.PnH// :a#Zj^Z[vFsvZBa&$i!ySOD ~mIJ2G4#qx޴ AݤKqζyB9`!hN肕ؼ!]5 E.OLwg)M@[#"pGj[ߋ_:)*glR['󫆃1SRq0. XB$(ÊE+_CΜGUwu|vJrNu_cDXP.5F40tPƾ]m7) O+|(䕳z@㊬GY6HVu䦜wPhrsZ&g*[:zZsEi'm1S`(E ,K]rв( 尼Ӎaj6l0o . G7l[}B7hGvLYcLAE \dqB<#Kn/kNe|1&6!3PkKm|RO& ƾ0z$tp~Uvtb SO8S95,[tyrdV19̸a) wg9)fs c <]$gLA T7mp,zꪋUAL0qSIwj]Koo܅HN i}(HAWZI.>#I8Kb %+/᜴A=yE|$1i3La4~pk N9^!FͼrZ7f{e`l5{͉ ~'UtS" C?S6Oe;823럥fUC}NaARz hѫuPp"3b'$aX?toq'H]+(&}uN} 1!P2'?;b-N2z)b i蒏Ky@ԃ1A])у3A LHfJ5΍c$mti!θF_AoL54 fڦm F'>g6ds%zi5LJϸR27(ѾPY