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 EE0/xdD< ]/ HOL-Proofs-Lambda:threads=6elapsed=103.401cpu=120.858gc=3.8767zXZִF! G]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߬9' ՛%zo|Eh>|#W|ͻ=$%VLoN:_ ָ ~G~ ZR)"`pvw+jǾaē@:5ƁWKCG,1-N-`Ce=@<9MѧxxA=}|`"T5XhMۧdNX8/(ҖU4"Re뙑=7ieV*C&b)ES6J$WվԚpu(o^?^V)MJ"eU ~r@^^´dPKH`/엮AW/ 1Ձiq_]N}u*Luӫ;+Tw93/Y@Vԍmv41 egaٛ >8gYZ7zXZִF! h[]ŗXiɟ11bu)a2W5Kԫq2wZ:gZϤ-Fi "|}DUhyi GI8_IX婺.`46|بtL:AZ?(<`t>:y$Mz[Cxm7G'^ǔZ,ӸCmd*=wX{+3I-C-$T(W [JhP P`LX zwwfeXR?+R臌4?q8I lzӒ(SRCY}>1栳NBUDgvЇVfgYZ7zXZִF! M]ŗXi%$FJZ=eKj?OSx@5}5.$gvw^@$aM^:).⏑xGizocr$ MAq" `C?{$I.2E/z niYDW }j1cU2mEvWzj M*{XuY ۴%kI8UdjJls#|R!00*yS֨w6b"=0%)p \,qz7/.NoxDNa9և9U6D;ALҶJx DMR#$W 3&ـ`:I=|`]L{}zd1˖Ac\x}Zd`YgPzrߓ<TQϳM]"'-UrjDpH_c4c#l;U5.O>kY9sÞ/t}85ŵ61ɘE 9ƻj]"`)^~,|Jٛ58:EPw:CPv\T̋NET'#z@(#Z2/aϚ=7E*C1jȳ4W4QwНBg%:OVO/{=?kCMЩ,ܰ3$E/M xG1pV$dU>+vSeN+6ukט;˛ޓik('^DŽ2sO?*0jxz+|Sv[ĞR y\)&kBO䠺x ]zUvu =0vqW|v^1z?/@,mh[]S9XT|_ލ%>ҷ%7K3|N aP)/78ӛ:lc0*TvKd LQW:qMV%6 `N\C@! (cc;zDJeP 6ۍ%e^q;JtUzc@ckW1>D0&]ʬ&6VEO O dpTyY@Df'/ѤW3,p< @I H#z[G:Jpg MջMD* H"RYA\tNAǻO.rS]ź9#Ș LW`뻟5KVmUjxN4jwc=8 J,7 W!ɔ茟(Ɩ𑲿5( /#>rp@a>Jrˆko9fW%vg@.pY x+p:VLֈz?g.υ(8)'^8ȓ3Omj6Rx9 !>)#39Wio-mۚk ˶53eGdq g(QmDh)iHĀ4Xj5CAni9p?>[!nʣHd81PJcaMGkee3~Iٟfe١9%dZ>gOr?ۅ \7"3m#hwHFօ!$jOG@dv6EFTʿeH?gCO0w'=kR\?0x/JS9 Gk⁀uSaK}mRC=h~@W+,:l(qfLb>KT%/L 6>2Cȶ\$+.=d;*ݷm?TR>*gB`[bhaLк'Z9͞<-LzM6L$՝$g8k_ܙY|VL*>1R1/ʸiPC' I / HOL-Proofs-LambdaHbdaHOL-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'pDDctBE<>794410/,-)+$$         >%RZ" q / : i _t~B  s 5 N ZN IC >/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_id3A/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages2?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup1>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/files0D/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/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-Library.Code_Target_IntPIDE/messages*=/C#HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup)</C!HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files(B/C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/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/filesA/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=/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/filesB/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex B/=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 J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK/G= HOL-P=</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup%  m hq%pأZ]]]W61Hlҝg4ze+1S錄uXT%HZ*(/ ͯ mZ^?)x8簣UbAg+:ʋTI)ɲn El lDeщ#ջW-9|=,- ~Mm'7)zCWhe(Goڤj/fz $NƠf ?u@nei&4'|.1J1v/Еb-<>eAo;7I}0PLTJ Y)K/@[$7~ qIAmB76?v@i'hDnkB7Fd,Z˖>qơ/t'"Omv'ޅK@eSu,OzuV [+6 IP2a݈+cyH'd4``S %[?aiRk&vYh@oRj92FÞ 9C h@3u@#gB⒔)X2].NZw L!i6qf`D49HkvlLz?ؘ_܀~~0:! 4/*cBG Dʠ7Anga/RBYs@Ɔ;rJ Y gJ(eqRf̐5C/8~1'(:->[HnҾ9)z*9Q┦_!ڶRr<6~pIOO pĢr1`NDƲzzzиS;(!mw nI igj( Ta6y_Y\ՆndPo oVi܎'(lK;M:[R|[0ϭweb P;=kcqfO^ZdgQ?%k7m''IkZ6oKI ^g>Of4.`ƱZ}u댹OZr~blP;Zyf N.N*bmJ KĈ WّS#I^4amN }$ձݧ+WÊt}!5Cv[*Y qy(19eÀNbO@tx;|y' й ^p\ m./w- vm@] UU#jFhP[uZu7AYYaI(c$Ai /ݻЍm1WTۭ63i`Ss?_. 讼GpP̞6"J<36qdDYK͗'0ۍ,CxLN 5vqӺie[^EGbk 7E}`O_D7pe"g wy3?oQUz4 N$q|k3jB64gA_:xA%'?*??([(h ҷcYawõlQSz H!@P3M+Kz(K =]?$='G-˗F  RܺeL.& Zmߋs_*4)dr"H:O~H#+KixWtݻmZA.'×fR@̷][-`5hzNۆjI0 h]uRdW[B:gK,'+qE;%*y:F]ӳ ĸ/DαZ\É 3U^84!2&-3TajB}JD,ZDb`;vۍ Un/e&z) Aj0oM8G9e0;p7PͽP<2tEDSX2:b2U BG8/<1xP:=ZbBvdcȷ=d,6v;hF-.zO򢉇1Qțt?,|&3,Y _d}Mu#[[ -o 73#?ѧ4x 1tҔjA]H^؊?h ϟW s~-IxX3ڗL BPBjƇԯDD߄2)㼓5/v5] ,h{obw>2rf,:\D'q"!ZCl⾪ʼNSX]t)oTK@g A3 |T#2Q؂~a^s>$֗Y(-EjfLQ,6 Ef*pQ5~1TA`,C@Q"n%i`lÊ8 2Tan{J 4̕rM1xi9}bATj өgvh#Xc/[`݆5ZhyAB lG ILxȃݪdsZ "mɪp6=g!\flZ Qg_ݰ8 Y==֫UynSw&jYۆF>fGByS o)$mI-Rw;3m@,|zl&s_T1F%|TyQ);߲5E2Őtj[5Ts{W*T_C63pQ=F/(I!āt CfEw<أ1Nzw:K~h? upFnmN/D Ir7}*V_ogО ^Ý-YsKc;vuNO`IC.VXknk5'.ء&fDSDp_ "L,mN- :j[n+4IEH?9J9Yf*4!$ 63joGoڂhu'ƟS 0Qu3DB>}Ҩ5ʟHt W79߭VH 8Fr'B*_|E9-O)InkjsJoUWU> ²B?Wo# | N|dk4)  kTͬ҅Xc*ݢ}0}Yl.[F #r.ʷ'|#:}m\;ҺoAई/ՀeTDXB|t@B9˰QR(lgYZ ##Z/G= $HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex7zXZִF! ӨI]A-MՋhvG"uIBm5XB4\d)ij2S8l@}MJ4bX0`WGܾyyqh! ᰐǻ&LeJa Kmuf pQ e fK>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDct|[E:#Lz29ZbjZ +{c$W~rWi2m들 E"|UXe%n:sE39ugYZ   t/E; \HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.tex7zXZִF! g]A-MՋhvG"uIBm5ȩwQAWtjJne .#z°ZvYosP{Jgmܜ#; Q͏1Sn\4"m F †<*^h!q)oW[ RTɢh0D+Je!m:dcV P;zQh-ǝUzX(F2?\+-8أlkkFJ Cl ܰTu@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ `ET uh9B<_ߎ: 2RN*/4g% 6cej]rH S'6d[Bt2*rx=0ēt7٤^wq#/Dѥܼ5&cIzç7g+|rh_3['5]lAsI9\ͨOaդj~qkO[`y|JȎk~GOqOG8ʂ9ͤ>2R fwʖ s6oYb`/ -1t, dawn1K`Oyqvcvdi3}Bh"% eb^} 1-mP柝e9܉+SˣIw "#}^+&S 83j`檔%)Z-'Bciwc(HR$NREڅaIԕ+ԖE9-W!A7q.R ,.~dMIFWkvmrjQU xD]ǫkkh@NΣafŻZ)3ȟ(IC9fxզ:CTȨ^K1"w{vI/:3!H珣4iŠ\m'S=B4,dCԑJBZI{z%싂~,Pٯ%qW2>ٱ ,0zoÿ8!Yc@6Μ}f5Fj}hK,%M96ydXoZ?.OL]uaw.J@iPy0SpޚvD\#$MA1]=栉LTa&[5SG[G5B>UJ \M0lUrq 7=,T@R%+poE]09*/{JB'xrVEU# yԬ[x^G#^~}ܦ^ԛi?-@5:J*`'㞳|]3GMxyZq~hS|.u h~fW4Pf`7PRmy4I˲( C@ӓfR_w{'$eAF:M.* `PbAޯ5 M#f᳑39tFJ(c|he{D;Ϝ`(-9wN->L>sj8PYjU4[Y9 ֐$i | 2d\iJ .Wh@0V ;qʂШ{,GT/'jlO#z:0@E5RsGRY>@JI+<fӇi3 ,߹U|d~(7b1qzIҧVf֜QPZzcCrAlrjp 2} ?A Wy-I&$ߏ5p@>kz"TvR%dī<)K& xgŒDsU8On/j*㯠ۈRAp47G{k!fXnrL2B I'@+_C> 'p&*'s̓Z=ϘDQ! _ӎ]E)-<CdUW0Xw6?[y'NֺݴIsU\1x%u@U1 r 'ge Vzč^R`gLU?w[fpQ+ _4 Ja;jCMw rCn͆S !W^p sFzv !Vؠյ/{6(:HѵxFe_,*Iԣ_21|I0ց抋{VTe'9Zwʃ=?t`Yb@ ì5nzqܙl,$x"}Q$IeC]_;U.sd/pSMWM% åYFd m 6 hf2Q^GT\$fM_v䀔WeP!Ц]+bAOXT`uI^b1ֲcqrR0ca=$YHϚ7͆A:q虅,`LT XZ]J!.Z57K__3L0FDJ/n )|2 D2*F'C6oLX/[wsVP c<-N(}^%4xcz]ORǟtLkĝi<i63&ٯY;q~ YwK[ʙܥW4F$8o}yE$z%}^i&ssNƚbE~/aQV,z/yӛ~tzfeޱr\M =k\gFjӡ$du]; >v$9༵&QLU{ ydFCC'?Ħs n ~[F2ݓxK '[Evɚ湘QP$[)ڎ9* 䧐{q0,:9 ; yOrVíQRޯXk/eG@"X'LCU 3uS:lVRʴ۝ad%M'|RKm[;!o;do{Yλ ]p*jю|b +r^9α)^HDϲ.J;]Eh+9^:S {d%fԗy N֦/ݩ{b',V*¨w5S CK0W̜^ R͙ޭ[ 268BLyy,1R$_1x2<*B&ų΀cJ0%yUEBB}ȕ=I z> .S֛|_O5^ՠ6o0M| cDG#y)c*Q^{!/b@/3:Ԥ$aV1leliCbCbXE <ꢰ j!Tc f%iAݔB-¿6^" Cb%v͆~dLFYiAAjOiq3SlS\_E 7UJ&A*Prnq;bpG6L6d/ \p^[Y($3r9~Y`BփyG)\b% O'9H%5K^T~e8*9o]U\O[d]iMp kʼnn'fgsp|sL<itZ{̿QAѡb=jw 6X@8|G:**kP&òoyq[B pMEi}1fFWWık|B0mj]W[g *oeZY0di4=?,Aᛏ>'ӝ\]9:㻦q4sehl _&)`dAs1oB,mo],7G]ЧSְ3p68}#ԁ)=& tvT a<z@!k15sLlZP(5@×̷eH\$Dwipy s6)݈Bݐce;(^!(ί5^5G "⹭wi_EwS Ao4펇U_D>vɼlV_ UIoj: :% )co tA]@$y-^~tG(6U?: +^뇤:cX?bih#ImXqw>3@ ])% ;Y8/J/a\KC9 sOC=nf,NuQyH.e&+byl^xu|A3gv7$JD[ݤ]Ǎ`v=tf:*%>;?ٷ0qyq.Db{V)T9rE-eCiEG~=fDĬ/.y4JTtK V$ɳ'V;x&ܰt*z8͔]9}D͙t JmygR3չ:^ٗOfQ @Rn[M{mgL!̝OIܰN!u޾NK0-BiA__#W,D_tw=Oٵ= pq^B>/0~R"BV" n+J2 ֪K=9[S@&.dt"^8һPJ._Q "~*7}Wհ~0B8lPb򁳘:aKQ ۘtmeIZ=n9mx--m[bKH$R+*ovŅl/_iS8'Nm%p. 0:FQ=⦎kf$N0,  nQYYރ|f<Ck+䴹NMd Ҷ;uhOvqUaȪ^Gu+˥KL&^jȶ鈚ȡch|NKi1 !!D@x#>,և L&FUhn=?JocpRK!΢PopZ,@ra# !O=&b6q5TtbYg7I |$+҇ m{zXoVo:-'sEzQw P2i?cوi 7J'=pPR !8mJ"`kyIz;{7 VO׀[ApǡC:lO1HE۪ޑ`.~~\1鉗,γ*f)0[,ݾZ,iU,'`@(}V.2_4 BuߋպJ^+Nmxvst~u>׆?f ^fpW^9,1:V{j4dȡ7*dEAf$eo.La^S謎Dӌ{iIuCERrrae/@. s?7 6q.HHL A-c Gh`CБՠaw3{_*2x;u#qyAR gwBg':o9bv7kX-y+;DU@K$kW )+Z3|Q}6i0*zB2=~hC!eq㈅Dt ;q&09 :.+t5 6>zy˗= 5bLlWN z.ɺ=uwBHNzLlsX s65I_+a6πJ? $"Va@)19#_P[/xkճT[-U9H6QaDgOJ*CL:F0v¿ByIdxk=?aY| 4=jQU~1ZA2J ` Vl+MΉGq˽1dpLj- kQ+[ɍ.ɮw?e+.A9`"0O%68r|?:qt ]9OuS/xUh,U+&svU4= 'FORCg)brt%VJn vy,=uM|:ݰP23?wYDӲRW A%1x+wʫL|v7s- B~昪X. Ҥ^єT k{-`pcrƊՍ=qʦ!cM*0K_S[~wui{^:ʓVĀ7v ^փlGs\^vm|B `eXOY7(gx/ot\(oP-*BfeL 1jẄ́PQMg@9aqkݴ%OTߴT?"ʋ&?)n*ګn쿛4R0kA/_h፻Z+J\@DD|+&;H?Vk7J 0v&ʗ]027fP kɁږ K9pZ#,T0E>\_/M7YcLt1+Dep0iF5m"k_?b-_X|-q@d '."4Z:n#Mm\sH$MDuUL r&f,KѵEHApa5TK۰{W/Ex6udIi\:6!^ dޥ'=bT4yd-b9DzbHa Ɣ֢׸"ÖJ}֑`#ILlewcX9q;Sf.1ⷍn%̄&=icΔ8sY]|.ŷgYZ ##R/OE HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex7zXZִF! b:]A-MՋhvG"uIBm5ȩ<7You_&qƺ=n27+Zv>bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBfҶ!5pDr\ʆI DֽV\pr',X⃹ X`[4^? <%PUE1ȃf;_߿ $FøvD5 DtOeHSߑx;SMSJv4x}P"+wY RxF ! )ot8-N+IL*|آkkH@ҡڕ@CE(L$Nn"ff?2ck@Q+PI T ߸*uR)Xf*]7#puش0{O=[j9 jk&&]C+Tvт-qLqCoL/+"ARvv7q`Zmp7+JCz@)y \/Ev 8Gs{Wi2 b/mפbG7$OF0Hb>m`}l/S59aclr; $]4*?ثb:y93-4S} @%_@< 5̲̖Ɉl@($jN [r<r,<0GS*shMͩ竒yX83MzSǵaնY3uƕJsj{3kΛd#]M)\{?ʦLhSŀaϱn[W{fbd]@49ӊf0dɊ6oA\]57o>q['}pVi{a TxT#NGoxHfh0#mן71eݜq!赒%YtgS^2v]`m$&^?kc"k_˃$RY F?+%Q9g0MW8ѐNZ 5eNtNSwLG.H+raRgz*+Jlz*Uh/- :L( SCi-- OkK&38&I;7]v"Ct#.c)I[Ö́=O 6AU,w=,`S#HQy?4@cv4=8&. k]:*֗ MbFjk+8ra(D ݰ-sJV&oi q6"aȍ1OO ( ɣڄxӖ ;"o~!XyyPAWth,ߵllC= R͜vhCԍ_c2Cs`|–NxʛZ\K3Jj{Is;]kqjD߫W*XxlP|3XLQЌp y};η\tP [(w֦@IH8l:@'R5'ڛT߻2tzőVq >=\<8 Dؽ~-͗A` ]ގF?.l:Bqn2@&iV "x%֓ra]evd@ 5^nqT&|+93:7VN/+ 7AnSVyK3 wT tؙ_I緻 vE I ]ʛ:D{ "EíUCֹףLS't﬛am)&7@`n|[#w2(IuY@1B/?["EgN\S;Do>w`b qQjU"l5$h7>-;@emzX u|.=@&2`CWի}SGN>)^r9BH?`A7şyĖc`$mw5{sy-7ya ][jGz?Vm߯ՇЏ<4]cSOiJp05[ra=e'!ԑ&69Q ki%Jz`"ߤsgL1~.-fj Lf v+em!i-Wy"yR:Mel\`&HĆƶJ-`ƌ դbj֝.OhҍR؂`eDk IDc{Ͷ:X %ioDkv5a]ODQhR%2$†?@}qI= Df:v4(Z3b Q9Ous};l/Km/Łwʻg>w7 なRfJ:FQx u'7Jbۭ }$,6DVп Lσ?!dqjdmI #Nsig۽G/TEIut .Sw@Lܸt~Q/[sb^( ap&P2+R)Q; ܉m |%̹ 9#9HR[T1J:LDz{iYQG -;hXȍ}BOym?ƥ\Z%ҮoA¾Ԟο+^ޝVzAmW>T[ (:mtDY [  ZێqwS/ 8@Ldc۳!GLpp_d^khi)S("DB6:;w|nZK? 4 =GhXHrD+1?;6lbm] jMEܟ 5T2/Hds\F1&W::TMZ]2Ӥ=° C5q6F'C;O&64тhFpT<-޿72)~FFMw.ruka;yL̨l0WTe KvF*LUV$'s.\mG~PŊi0#rcd^eӣ97Ӊdcv|qprS_O*BHGIMtaq0QGGlVVo?M`V;m 7FjR+dQF& "P,a`pL4;Vg92ZzfHSJ͝,MI9; dbu4UlD3JXdbT:Y=e|M`7l X+y,[La:/ď(rHV ~'+E&e@kY{1MW_`R>[8% +x+3<9 %ę|36v EBD D{tߞ5PZ;~Qc?INa{IsYO (񖁑SL6Ϧq4puEV (< iR^ A fIc`i_pW-XM'(mW8\,䧸GQ'H;;wubhK1|Y`dпkrܣi>EsFxH.qg v~"%ۂG(Uж J䝧k`S?i῔Lkx+v]XQ Ͱ_x9fa\Q pLƭE@D|s0R%C+ƀ,0A{ryH&Z}!mw}Jp2'pP)ڀ^;U;ϋRYmTA5#BU: ql˰h\7/)єj ц.WjneKv)E47x&4SV0mP-4rxj-t[E4P!-yRtᨉ\|MDCpqF>t/!Kp\0NZ1> k"R-]oWaXW<Eǁ8JK\4l{$WLnڴ1} gYZ X/=3 4HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex7zXZִF! 8 ]A-MՋhvG"uIBm5*oQ߱6qg B?%xvv KL}o{}5Hq'^%Uk:V&5:x´HZ㱞t4zM^UJ]DnPFU)`s )S[hTF!u_@hM,mN*O}8IJtlu_GS(7bBjL`S"L;Z*T=:IU*.fZa 2OmTszhUkgBG H}X3& // Ǭ#0pQ: } [TOX~Oci3vU( _?Z8^JG|&2 1HYP^=݇B"d0"C8((+ XXYZ-@_֌|qzŠ@꺰l&L+#8 PrKIeѺUI,%(xM^÷\9s2HȔDd=P!=bjemċ f۲' K^yy{(F-|0hQNeJ(&qd}a[ۗޕDmo;-Q{OFyrZBP霰-\󤝷F#`]u`~kh#M 7 z fNA9t4_R BpS ~YTcvMĞ'|vX?-m#kR9,VRk>F3B}<x-nuol`BNIuMTՙ;X1.ZOJ0%8v0TI(^ >vU..ٰ(:c_DdF ҙ@I{ =BeЛaw]C3:+jlD"[ 7`^Yh;X%(4)FN#%{)\6U)LC=SwNDp%A`8+xr0z}>`e8WZaӜJ"$ځh'W,!R_+_i-O5YS뻯nj;N`:ːJwqjl\푞Q9RXa*_ .ỂwW\l?:%cxOHt\HIvyqf;jZi@쒥y-#r L:ȼ~\x@Cza+gckXuTE w@[6Yap%0u@ 1Ajw {t @6t&$T!(iWuGO"#i-.kkljˮ?^J#% 'mw-o)\3lʃ*rc]hWfRetq 0<| z+Im dyߘ+zhxmSZvYdfF}FjY$/=ZۂȈhy1#$@׎NL'B=zVc3ylF"G։fWHמ)^ΦEYKlQsێ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 ( /A7 LHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex7zXZִF! D]A-MՋhvG"uIBm5grw1Y厝8l_ЩوB]O߇eyˋO˙G8 oCrV,w +t3}Pub<5K]Tp B5bBS{SSǝO!PG=9N"Vz10ayī,0okWXSn9e z&Ͼp馄0y{{CB@=|,>Fd3O]>$p%oIP =be=`E.ynnkW )sC$)l <4S # 3Ev ,q1z'' lяX)K4`3/QParHПJ5O>2;|ASį\54Blx+n*F;1fXVץ=7 ,moV@R~[C(Dӏ228sLn9= +ۦ<e=Er%vD`0 mfar Mh0sp% TUf*C]IPqZLNEGsj[̶1c;ڕH 199I7}bY (MmJ}d8>GjGҮ9+qZurh*bkMc:p)~"'k ᛗ&cϵp_5{iuc[Ȟ>5Wݭ0=sbvv𴾆HW:%Y6@=눩/X#h>|,lɖnfև;aۤѢW![$o[g훗P>&1Z9zT}'r *$.[E,px{9 2OU De}\!'K)+r!stWv85Nw >˂5NP-vXkKAd?u_v7M9 X*3ʋJ',W;c!p.~eu xNdXSR-wBݧ;rʤLLAȽb0!Gʙad+-]}L7]#rbrqv )Cט F6>lA  ^(=e5!v_,^zD52H:˿s)7׹_|5P^hU:х8.BɖFgCd7{XH ,Gqq\uwQ?4ͽRmb;y9Fs;gaİY)Z@~pG7lRc2;,h\HYm=wr=vxz|2| @v' QYVybb'H_ 'X/7ڬmt, XîgU|hHr}a|v0ǫW2'lLɯ͈UdeTm.!mK%V.buA{O9*s U4OY"&ͤ4St 'u\?e"u\ &QB:h6aإpKwO׃Mtn@Q,11/!l锞.fO>b >TO .% \3) {ך1{=lGb!!VV4:+E2y1ӥҞiMAaR;ɮyPam~e""(8U'#.2!=1Q20մe˲(NI0Ҥ6uknn ECJCsT^$86/=0:+L'-V]VX,;S8;iyO'~zbǜ_>_o+=B\'yi-;شHvMDt.FL #9p9+;ÖL~ю. Lq5Qu\v$.r5׫!mUMO5.@),:~X"X6Ū_LA؜Wًz@mK~US\[R)I%-s@A*"L%YKm_; iZ@qSL:%jVNyu:F~|RB)igځw C4W#76ajx[F%T^rh Tz#͂M?{q;Dg $'R9B{w $otxRlv9MOJ2ZB&)JD1YRu]>_B`LVy>n9|̣Z@|VgN않V1Bnq.y%ɰܤc-bA4af#u[*9жt( ČRNÛ4-Y RB nLjfMn‡2zO&b 4,eLhrm4uìH`.YgYZ ==@ /=3 HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex7zXZִF! RC;]A-MՋhvG"uIBm5D"~^2{Gӟ!Չ:HH)3*fRB\[ ْ;~܈`ndA8fta5$G NGUz\(uV cK@LrXRtU -#bgZ8=0O5eR$ We:\|!E[{ ],zBZt>-R*{xUP0EK`b2Fzg/6L-+I"M+tEuB̺&m? ʛ63V{h(E=m)ݿK0 u;x>xu@]D\a`5*` ůzkabTq$?#4(:C햴' BzRRE!sO`.~KtOr׃5]iiJm]pbW@jQr}0t<]gv_3[Cl9jIEl:-[k^J2 ͅ&eB~1Z@.p{oJiSqp`;Dv"E)\q2SI\`w cKj?B5p6dFIFP}JԬvP'7Ǔ{g:.UQe\SU}?5 ƅd*yTTui(B o<oN!'MZ@QI+hx,vP=OPlduXc%1 x.x 9wb#G YPBC~ײ-fZ _Ō#vz~7V9#R $d[g8&*E@?(<`:[5@͍|L,]65Y~WiK[nϮ>hӵssP\xb\4 ?ȷ_:*m'&YG/5)K/W-"Oo^o`6WJX `AWB$'8Ĥd˒gYZ {{ /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}ivzZ j#Xé(X.VUO^Y?RPR 6p=MN]B {H4oY:P-?Z_ìI׿&\MSͅnۚU;&@v.Qaa/Dp-C*+ ]O_< "…`wuGLxU߾k"~25j=U]PqۛPa D] ?Q 1}JfڱwC{@ SQ)U`sbangS腮NLoз#D5Ys"!(ArsRZ!NB׶[Gf! +FE\*8T^&ôcjt{X\0y7N<)N|-~}i XSWPwNju [x1|K~} \I1w-[R)@݆+ro/53𭟌P%)jG̎6oPXNi0e1niQTᢖ tt;{O/츀l8f [wbwҕ۩Sbt64'Y`r;w<-t\R ܌89*]W4s1+)"j)<ȴp<鱨 UJtshĵ۝PtqP3@>TZǻMEk8i/`o1M,?9K_=|/?c!䚰YG|a9**S1 !I-gȚ87JRΎI΂v)ś}djHAxiR2~X7rIe]&J4gt$1ŜNT8ar,Mݍhgp}J,_iә\k>9)Qޣ]JZ,S Ev̐A wi% f+m!+NJRW,f,J!]R+΂K]/gd 2A%>z7)D6&%1diR%J$z[xt%F5x'~o (7] W)^Vy\#qP6o`>a?76aA]h*ډy}ҌuCU|&S5y_мld\9xHDhx/jd9=biCw#rE-6ALQ$˵e2kosGRL8[6ؑ<@,%(V{e{Z%E?$Cv8Ym|<'::)$5-#+κN|K>gPBC(PlR$Qr)Zg%K9H:\ "x2z),ybx \ϱUԾDO39V-ž1X2DaNkZ _~^|F~wV i=!w!y gPi~ k[$ׄvǹA'9jgњL*a {GGjw=_!hyޚcw]|#FC7E˭0>Ĩ5#OՆ;:$R4%Gˆ"f^.^e'#_J͓P{^qxAY] 8nɖ/dB ^9{ew[>eJJUSsR7xFkDOL\cuZ2V@PKWPz=>9TzIniN~winFQAXPLZZ>ĠH%uv1KϜtnNH|vUy"'WwRūn+2FL,QW Q,F`!7 x$D0uV߂K2!v}['S|.xǑ ~Vg%]Bδ CD'7cO넲؈tV`QiO,i]^j jvԢccy_EY;󿕨)f#qC3bR.,uHyeMxKMjL>2SQMGf-Wng̟L@;e7f NTOamܪGMDtwB G_AWv &;x7Ed'HaJiX]m0rEh౵9Ө /̈́U$s޹Rn%QCď9F6+ }MtoOn ștTD&Xm>%د&ʹźCYED F!~3MV>_?ՅR/+!6{V_ 8gƩ#UzyNmADe 137?36"FjG%# yYKڄh-<ϸ;! @HN.O65yA3]t3"wmL?%^ YZGhjt@[l>un߅`-z+iqK+KR3@ »? StspazDS_`'d ۷h,ԟ;ϕ}5"G^SmYC|l3FUPħzb#?V., yMMù"\}"(&y!lfys1%^XYAJq]wb񒮧`::g5԰0:ozeQu"f2(1AUMm׍xowO6qV t:؛\YO]w$t% kkMl/GZDkhp ]R {.Kڂ^<"usã\-& %hܱIk N>z[]VG(^/i9X綴"};D/FbM"9=RO[< -kM';n_VMB !}h. H`ӍDM)a /Xʊ,bÁ'F[[hӈ7LT'% ;sk6P4cU;`QOL;,ID԰ZQuxw""~RĖ/+۹XXg'Z라h<p!% UM]]dNd#wލ8KI9քx;6t̩k7@vK3˿J5:'S.ع(ksSwJ]g ,$JzBSUrYJo'88V\'f*C&)SÕm ;Yb1,oPcơBO{󾒩+Ia={%(S;$pŅa:퉢q1LYxDp8j_i{^4tnJ`1O?1hXRҷEPN8dt cX?O^YӏH>#tH aGN@ߞ%|<"ً*P9@+~=eg sd YzBӼI , b85+Vsiq%w_ }Ó~xXIHz A9Z 5uJN Ƶ!p]5Ky)%[B@N.h,!Ett=RN8O΢}ȶɄ0itRvw'R7=1im+:JSanm8&ѿ51)j4JVz#d@hU,̖3ø!:JWRXt2su/|yȉ뜋}2s^ W!xiΙWw,WP2"K ê;a+{mNh>OՏ(D-<ኒfc7 Ԋ'PB&t/KlX)E菳qPDd+&B\pJh YJ1;(|Z~)W6%ZBiqry#Z {=-Iw%.G`b^c7lIu$y/K!~4n#cK)jDXf8v#ڟHܜXu\g? E{7qKޏh֚*UK)7nT-X@CT2 :tw@r ]Ip9ɚJbӛ.xnI?%j:FX'[&٦p-!̬c,u|V T. KW;99?25߻Vh(YNtFo>P~7k0iC|Y[v jآA?l2yT{\ʗ[s3YUдǪ g {sH:M(z;:oVܒ"FNz>'3 &r$¹9.ELk)M:Ⱦʏ$FӭI>NL4Bl^0Uպ' "׫g;*.hk媓ykF,X$t닪.+jX[N_kS<ƈ+zS:O+(F\{-L0>{Om˸KwfƆ"¥0?}Ҏl1V<4t+kc}=~ήu j-W͉gevjL"%8E"3b@VˠKK?1BTQb85XXHm$eKRvojοf t K}5heC-0*%«*$[|gھ(Ϙ N4]N*m2hfn&2ИJNyވr'\zVd/ (sk y =ZtFXzp( 5[;Ķ~V+ZidL$ŚA;]^wfw6 b)ɉ:ep3XBBxu$-IVUje8ux8LW\vCYLv$uJGq8"c=Nh+r*_jA=֦0D/]c_鵁A oz<|gљY0[C$7-9}+gl5کLh. _\$ZW'|k%mj8.]vͿLϾ缓r2g /&6ͫ06Y6KPSI^Ɣ?e 7WԒ3Q)7BT?nwXbN>w{-"]a8,a<3 aT7R P3xE0z0]oAOHx=|ʛzQv8J~U$Q Ze68f:!uٟ=sm]`O3u.P-4ILkK>9n;<56{@H@-yd-i-~E]9l aڀH<(wEhN }\ B\W kԥY:x͛qRҽQ${pyw# 4ĒQIK/ϫ 5>\j ŝx겳x0M4LPA֦fLߚx2fuY3=O#<;U~҈ OipYn6 cm9]GFdޓMϨY9yT 8 IL}~ܲˤ46iI"GJ=1oul|՞k$Ȕk!-AOo1L?~A@8ImLF;(lX#teQ gYZ ^\^g/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/files~~/src/HOL/Proofs/Lambda/InductTermi.thyH/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id216[/C# DHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u;Z]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3wı*/θW,V _6׸~m8(K B)ol?]-W\V>2F$<@l(7|dl\Ygl+%@\Eoj7mtyȚu:L \/`N9-F-׫"[b:ۚނ๏ 5L?ByyTt'&)tUyMI9)5N.Big'}PjwNjbR"2YGqgeE8W;|U.V)' ]Ou0ƬJ/ol?Rw1T~;1B1ćlY2m&t$FH ЁdQ ICs]$h[wۚݡԋwV1ӳ8Ȳp0g29FE?bV,wXs]D9$㉹t Yosj~gҲG#gLMW$~'@ΣBѕ#c!|#Ū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\7C\+m1l\ U-)UcHhC]xU>"PnHV%4]GS7N[Y U3f]/㍪i,2b_ 6NP"~IhBDf$K"3po^@Ci{35hH =Hr%%EJ +Y ׍c?3gsI(t;TϷ]FX* \5K(~V5tvJ 0oqТR . 7lJEjy.c8Ȱ"6ҭwv@<0)٢u LoІ*} Oxr@ " G=8"P)G]qV($ӷwZ~v'ODU^q4Ag,^kDž1M;lQv8ъbL )ޒp˅`6tW ,rzTLPq5F̗,P< Ql=7,OG~ptR焥52Hn{ $~SΥaKiCBf;j#djjeGRg/MTLԪ~ "1Z?nCG2"@Ȥr)1@nm>rQ}x7q=k#Gu`ʄT}x񇗕\] uTa>,+zb#-ф`K? ) BF9_5{c$̨ 6ߏ" t\eLw>SdG ~fb-<0x^9x{2]iUɯ72A}Kz [ ~v+оf,cGTCPͧcF8xvz;6&c=̣ML VfzZ`fN۾Iu/> .ݖ5-~eD:"F=(nl͒6vAK#5>|Je_8VGt9%#3]K`= MLz`!&0̈{:"dPcے} {5+ Xf{6ywj´HW=2Û^tM47l~F~'Χ6ké/e*O zR5&]kbkvSxdPa8׿q!@B@O ;mA5!@m?9綶(RW+7{*HA07W ENI@lQK. j{,M0ī6^KeYfo;Ϯ * T)5krj{Grp[Vnjn屦 n _-.8{˓gt Frhd7Lޝ" ]^x )y>%e Z b=y@|?j P)mcCed9^HnDޝ+є#'qo+ՌS0n瘿t^YfףH"È{JnPv(N_@\϶ d:PuE9~UA#* pEߊ& +$2_)*|G.h\p ahtDr}B_a K7y|-ڶC fR.3;U㣙F <\w'r.].nNIHEUJ>[~sBkLT/{@o,,5v7~OS-|Oլ2\hT_rI֨|'IXX~2xܦL?Bvt녳L+zuYQ¿Ͷ /Ql5rG,'T%)4,aMaZ_vS5&?3oNQTpݒ6%0mh+P~ u&lw-O#rDH22sUU53AD sV mw}7u۴&t /7e ( U`:B,=ls_J*uΒJ~F-i4;M PbG$:T򆆣cowe^3&W)vZ0()EVUv@"X0WT9pjla4^x^f+Dx9/ ? ]t̋ tQ,3%t@Y9א(HC#Nv7|=.k، WD:)H\~ZD-brBEq!+Y8y*u_Hno^]o~RMKWk_y70S4Ob4\(RuaيǮƌ7ynW2p;JIˁbzJ8'CI!R nѬr_lO3x`7(wP6 ܹ /.Q;iq<,R- ,F޺?+n?ÕjeBOKmv^uSi@[lT#/g >eVZ'P4ܾ*xߩSQp2]>vnz]85ワg=S? Vpm 2 Hs'{6dyʟڰ^,?8*7'2{Y>Fn )F @i}n5bb~&eᄘb^isf|ȬWl꾰p0s\<vJvQy{WRr=8ֺ |V $IIO`b%5+`F1Եww9Tw̑ig.0 *9æm I00 _Z RZ0D >wXx D379qT jj =)]mqd6F=D2}V\f]hȘn7#M!E׶|Ovܦߎ,p>ч(Z!QEBm6` lG%BG“^1RH43\2vD)>oG'yjt-,CkߍRA@%"GRRL(T7Ջ[sJ]bnKy| )a-uEH%f5f@ٲh ܹWB0y9,M[KDw} O8}jHmz<~S){i[ *]-z>Մ{W(">?tJ8 o_Isk 2GKZaw3"s2tW|qD>1(+U M}8r(vh7(rt/M UR`zBI^ 4͍0ybA)B;k;5Mq$j5sU#x>w9W H b 4Y~$1 };a;S#ܫ烠(j@1%Կ.j(:{SkXtV4 tb g"0?vdV`i ":E#RjO#eB5P؎SIB+yF :g!櫨!Ԛ8nþT=$[`&7(#eC_p[D F)z!(±! ⯱RK($ >RA#/མB6$;F^L: Nd.mLc}mt+r KᬟYnSJF%CF -J \L>zO%)( U<ӱgYZG8qmmŎшd5ǯfԵY?mXi X ZTՖk+{ClAuD uWINeWbtx>iercÄKn5گ~zI&S1cj"9E,z4<8(D )kVHKR=xLи4 XSpU~R`P=lLi,zFwݣt9TG1}>Y5'=WSk FhH pmƳ+ԇ}U E{ʵy<t#l1;%u~5pR{ (n?@b1AlJTG21HpBIZn7{*vzjjqw*Fvl@bXAZnς Ҥg|P|eCn陽tMwU U$s ]:f]Z'm币$@ph9޿tđB0")ω HJ^C~U(!:mq;1x"ksh=*q_#Oyk8} -n%jӉEABl|Ihj'%R;oݾ#w+wI5[C,3$E4V"?"G߬G"]Mx\c,++j޳Yͬxm'$x[* $k#u&;{=& TSi;T.RxEϯR(8L&hDd.VgCObdxD:e$_:v5*΀jӟQ_ ..o쇳=Ȇ!At 6T' 2l+[8;xuwC>/@T 񅀮=aܭ7lf<*}Z춢t;N[tZK=jbƳK:sVb.aM~3 jub?i1 oS9IV{6Cv(wЉBYzg=c9%:f\M6Z͔2?|Piu3N9Z[{ڣ[^ i1މ.Dvu9[/Y]%x vi"Ɯ QN&b{ьɗ"B޾¼|% @U6w}7PFF 5y0uF@5B2R[)ע?L[)>m13,z( B=Zr5;wZ[fdc`iRzc  }/>o(*{)ۂ҉ C4xq:BaDAOP6- (10Asb]V $~$DY6K*]yO^m cU9'ںPx)7]&VŬ[ Lz#UYi>c kYt8j[J>qyeT}F<{LM%jG4tp$*Y $cÚ1 lt_蓘.3Q.Rá-EŠONLeݨ~40oHGn&mB_ya!V2|Rs2.8HBza"nv]"G|۝Cc;_Hv>c|Ua "mj q.8o>}EZ씭 Sa}n[(8l-Ϛ`6F0mGY` yKAxrwx =0|oHx#/}b&pARkkA@ Wώ';vkw?A qT&NtM$.d )ڣK 䃗5k=]c3i?qA4+>,)\Ce|(FOtR?Y{ .~>q2;b5<30-X Z4FP9Y|.5ћ-R1`= Fɠ']:{"Cbט4`#B-& rHSںX# wD9B͢ =啈mY3qWuĬMɋK?q|Rf#u:jd*{5-:NxΛh;9(M-\y:32~g7-r,xWg=ڎCn"d|=sci8Q$ ~unj= P^xTtWpwp -[`(Շu~s,`$,FDiMuw't(U"3& .2Y.Ogjz{jOa ף=Sged+'t+##޹ }5Vp䞦1N-3+t, hkAZ 5و 7`:w<2b  c,9`?T4=K` e|KS6|i(Ѧ o/10xȸS-lV+!R'E{$V|Ą7Ä;L~Q^9MbyN' 'ԵsG[; * @cϏ$r&v-4|3/cU('. )ی`$t-A;TBC|'bu8&E%2tƹ3#`)Wu%X[ST+b1 #lţKjЭMJp+W5p)T:B!,*9^%_LTVRa#Ė(gJEes[աGDrD#Lޛ[ه2edj#<0gn\*~FInq-gAS(Gzڹf\=G@C,VBcO %E),njpoʈXaRLàNssC"l*6ĕ#vR$VLM3o-l\W,- f_C24m/t,ӂ) Bx,7 =i;|gyWuI|mX/zSXbs% %V_׾{7 QרJп6@>5o \+O[zQKp[ɬ?sx9j am]+o'ϩgtDVgpyF6fz]4D1^{>J[3Y\wn2 /;u4,6F\tx`L@8&j^ҀQdʥDzOYHn&؈k]㑠Qղ>nN@4ԞzC^&Ղ^D4DC~\$蘮+mgdbBO'4tl;v*;-Ւ32BP'k;AwH~ ?7,lQX'iΓ%֠p -8PnԱgYZ}/G# HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup7zXZִF! <z]ˠ)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۸NSLSA<6U v{exHcq]^OI. IlS:9FP}xTӶR R՚F4ey5]#9\ 5\:9GRK䖦u%Rab Ӧ \G}%jHvZG|snRF'yn; /73T[8% 6wޡGKOJ.8[;:#)n5uUwtBo%{r%W0Fof)~VQ15k F€4 mɞ'NWŷƕΡWڸN:UkC )ǬW^QA&"ͩ)@`ci1q1>vzǀdR%K|20^k`ǓXƬKhT {%RS>K택v`SLx失v5fOfBZ-U8UzM;gNe^1 IcyXw$ GЙ:q|Q" #] tYlqTIm;(]G,D08:+zQy0&"}:b_M+`  P B3:}SVKJ UPi7'C<'}PpC\GlF_%aXͬ4/& v'' '3V'N+%\ ɝ4X=wXf*>xAjuFZr[|Zʒ}F-/뎩"jTTv"mW&^ƛ{#D$A1v.3¶l a0e*՘= my]]>~bv[`x?4;ؚ'CZCr*ӾQ9rrB k~L(=5;$e-@# z \ (0os.3d'@*ؓ:b%OOimOW{]k';y^ d>®9-CAI3Uuyj-̟mg1Ys+("@<_PFJțZ ~p>P /L=?iydXiœ{q!%JMrz^B#{uwaQơ9@C!lFP6M?sn}p*s=*ؽurȍ? #+R?b>Ytɚ2CFDAXᇫ(N+ ؒȈb9Q!f%Qv$J~+TM\m1m])xK$WG[:y#PJ۳N+.>V< nt"[|Ls~oe= F+bQ; Cf+BBǦ>}Y] |zt̘:][߯n7Kg v\&LI bw&>Db0@j~emmX}(~ ZuXٮ1F51&6!dFLu>(8;w,z!rcXh!?c4дy Gƈ{B沜Q> 8@L#Py^Kg`~Ro H9.Af}`λ-T_lĴΟg} ~!>r qA.BsH_ \V]ҀU_Yd1GSMeR̫EP?Q% _b:^ӻ6_|}8h$Hvk$#\',sAsV549GPfmp4Zm!YxBP ~q23կ]v-f ޱEf$Fb3N-QX *B ˷P@+XӶ@': ja/jGj>wx*羦yh(oJ@~X 4doϱ]tNio;G!eG%u-p1J8"LC`hCPz魴#ܔvh{42S PXɔBO"%`\KF'CiUmtYe6^>o=b+'Bn4=ҍ3ޤNJpyC- RO4>= 6݁D_T&HLOfX|] +nCVNez1QwU2uZ@tiA5`iPk4{B|~w~>4 ( ^Dw1=ǯa0ڱ[iH-w׉#ʽztaTaNU\/S~E0xk%[[~1n-V=#?ԐXZcpIZS vQ{֯z(PIǦ$92ޟw:kCČ)DN(0#[xjDWZ?W1Tc9 1bc.2.aLHDk+AJ. V ɏw}8$4Zԑ /'uBND[*t\5ՃPY (ú#?A$^S ӢmpF!ĽCY׷!ۖKH~,=XzM 'l#ݬ3)k90ּja>(`!OlJH-ǎ)'t;5w⯻&^xE~,ĕBR(7U@gxx>iZ쮕NWp~PEҮʳpqDF,llGT9O$CLzM:Q? ]q@x>>[g΂ xbO ]'glk-kUe} M9`k#0+ԌvOWt<2ZUyW㯂5h} R3Ɗu'з8ί7glHOA)J)('|[\~VO46;TC" c3I"USVe|]1K/n8!Cv/1'hWg^Tap.QY .PmN7BI\ʚ:A[Cݙ%ڭ7G@_^A憴i䦊XYzU#n4r [?=b3Bĵm,E*ZwJTѧkGk dz*(vp 7MwCfn=Bw/3Cr52ánן }_/2*2x\u!=-0"#^ޓKɩфoj &KqD +*5Ej>CpW`F~~sQ∾[4TݩG&<t^ÁZid\^x~;rT8@]oŁ nySR(I-*l؂tc0橤C\#i$hb^&*61 ^@>G;tucb'}ޙ_}i42-Ҡ EUVUHNc؊3L }KloGq?v LlkV!$d& Et2n 7U2o HĎNn`b.Zkn7uO[%n| 3Yi +mf5o3LtX h&W\|g1v#I s\,,2){sEsFvKr݄Q$ӧn>#yVv&@w-TYKCȞ:W2Z*әK i?h 4νPS3IXjW4aW27JL󑾏+z˯,g-I\\s>FpG6e৔O˲HYyHXc'םN{-lN8Y4!WA!{TUυҳ֘wFv9&.7ݧ޷ 1-r6^wO4Ʉ rQgYZ G2Gb /O# DHOL-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"$F[~&30S9x%ʛ`-(a:=8ȔQ[sgO/ID)i4La|":#/Y%h*|FE &2~m#GADZ]xva3#*Qrotj>5UWj01hi o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220u/O# lHOL-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 3us]aS8ͶbemwKOu%ᷛp&Tq-(19!0q{-E\Ƨ%Yh\ny1s2DXPe)~-h.;l@W {% (M_|il#C2rfhOLOHW-Ws!VcMiiG"^HPWET\oF ZmfĪ65`{/`LBVxՙ1_#Ƴ`IF;yj}7Ĉ\" Ê[Azs] z9,Mȹbܟ!udmZMBNsyLo xT&02tٰcBD23L -+~b7  q،E rYcu:H?6rTI72* nMUCi :@bESBcTSOV=K&r.+&$-郙O&w!kٌ4o[]ݙÙ`*od dv:! aO{pJ4s6ye3 wbl 2 k^(`H?7c lu(GlPjZ l }_Ig)~S`;G^=J@ }j/Y})o/(/,3|6Y' *s: y!kl?R,W|q./b(C9mRdU|Gzc%]q$1ˀ /Yholg\&9̉DQUԪ7oVːw:wk:KKʔMJq/p' ?"(r$YFpp F䑢brث$3!pL;̓ǰնᆲP@UpcRe2+erHCٰ!iusuIJvrY'#۠OVB_#~s%Q+wBCD.T_ъz"B*:"<"@~٬B9Dm0({1llL$A^Ugwj顂{_z4$yKl}isS2\pļ(hL7A*/QY̅{yNG91dXK") A>"9M!l Rv=!ĚҮFkr_pj/Ô|ܛT2Ôgj)1`kH1yjQW4[ Iw0$6=e7XoBphsjkrKmfx&Ff'`?]!ɛ+_Cc7/_[@kE2F}lYc蘐fYCtSuto9(숻F-f?j_N _ba#PJ*f02$)} >Q 1:`9҆n9ܡpBjbD=\I%,h㓍ϹMRpbv)Y%sÞl$/xRsO$y$6L HG@C`¾hcS8t|ك%BXyZE//6)Υ*T[D~%B'1aG"ĩD߿B4YUj̦Eo$Z-o["= 4<гwo I-9[򰍺<4Zd *C향ӹTM+YƛE yYw7= 4UdQ!"Ԑ@KsEZ`93,]Rrŀ5'M//: MwyMwf`Jqyډ| y`O;}^tVߦJPm,!NAYƘj%+aʢN笾vDy"o+ r",$%HTOuirF;-,BJмBKk^ӵZϸ#u17 caޥ}V 8ج$-(KΤ 5`cM7-Sٴ̑~$Tgst"9B:g+~OdsRky#Phs %DTb lB[fz)Ҹ!뒺BmA#;&! pvUNfsa= ygDo $"0w^NRkQM5N˳+̓6&fNꝎUfO"*gkSCjFazCsIpB=jA5-?fꝑ(\.h/8%! v\Bk̫P/]FİᐃN *h!584ˬfO^<%,R/Yomǩl:ChX@q"+˞xma[#.dF@VɆgU@p,EAh'q$+iqeJnc\uk70 ǯ(p~f56NYgudR$#|)(r-rdzMŷT69W]/6O#MKMY Lxr..液cώ ťJDxTZd+vAP SKULiƍc弔ڭYL&̂Ta1ʕ*4|hoc>)>3[ISOr,& 3/t|=beYME7|,PxWi45d_jQ{Rw;* Ccà! (\ɂ+Sgj&H2OXnxhQh>dUFLV%,{\i|Cr:!,az!F/J3HH 4>O_vqM`]a fg1W+/Oa ;vDOްKw "(,7VKʢ x CFFBb"$!.0tDW4{'O7'2{y!k *NW 1Mw\ ]Tm}tp-i:"=@m?ȍCM|Xb|]h\3pkb)4Pno \Lf`l5{mBN-FBH)گ؝o Ybn1 鏛JUf* 062hq ]J(+l"(e=ޣz*9j4›w VΊ_&.kM̓ZЖj||ˡԭHm˴HFe-IgJ&}].4V; [_;4m" n-w6&Zp{QvC1!MwBqNޱ/xŰNx}%xy:8(-n냙=(ȓ5笻-L@Uj(->4;Bĸ,#SoUU!%A-8n\|*-59rPqVX7Q &W*cJzRVnYe|d?h< &^j_9,P-nn}qO#Uחn%ǭHL761{%4=b^ t7Ͼfp8jbOTR#~ wI'cuj}~P%8c58Nv2J(sE/2j(M: EC%AgabPe'\O:㐣:kQ7="ݻ,-x}/MMsac:!}>mM{cwwl 7Zt!Idϛ䛴vRC `~|P -U |JiqWVԧڡR:$\'UpKհ^P;3ܞmu螎JDq(fث۸dY3D"X.γ‰v\Mu-̟$P4y]ymdu*a)sa'?!-Q?G~sGG|)H2l$iyEұt,̈́l9gJ&6d'cV_;s0 X 8̜ ԫ q\5YC-o<Mw 3m7;'|wBhݒAAÊv頋dʒdЀT qز/QS6(nNqbOʜE`vZln0YaU5ZX,~=\>ȟk:&JFϚ- ']!{jHhXpRHa5hN[ E fW $[oτ7i'O]ފGoa' 5ez֧b95F[CCJeudcz lؒ2v)fgqu؞=,[rz.kT.ysN/;ŁU2~I(- S?;Ng3YIY"'6騥0cBNY9<ɤ(L(&EӖ!^nsd[* '>mi=moKm4*/;T:ﰶ}njQ(Kz2"GF[6 irɥvȘL4m r/q3ߒwFR@}w<,w~|;S^Ϟ%Dl)`q>4ʭ8G*g]z|y($@;˱ђxO*KSS>ibՌx?.  l!,Ȯ{D8&d7֨!QCα=&Ƕp4<ܱ~*, c "KG4#T6B '\z"*T CH"N:hFl=J4}e}:dplnF iZlhC;]lIS]=t+VڞKQ>{2(r5De΍n%!GMp`$>Եjs{*#mV,@1]CpI.I=1TZWԐ8D NnɂETdѡ$y zJf(%K7"lω$4U,3mAoQ kyӢ.dky#"T?܂$w|{uf__lR,'q|RO S] X) S>` -(Lr fG(%qz0NI[bsq"%MHGemw:#NU7sƺZ:Ip3msJ:҃je},KGu$&~xIb^Bp|NJQ#~Yju (p,ʌ2ǼM ]q{O:;Kb)/*]+(/"]LW߼b ڛ]؊_p쁘ujN.|m]g˒VHW7`Ia%l6v>WCdwf|J8R\i̛V*,vĴήS300Uz z 5 vP]ËԖտ'hЯ56l࿇}=/)ci=*Ah|"ўW+ 1a7i&~jPAo=JubF :roy56^=43eSZ_q&=}H,=֤NC8%h#b4>k V7>]$`{!}imf}u48Wx.sQšT[Hk 7ҵ4hD},/eſ|ۃFG9Գ 'H,ZwBnXV9*ekR&Oc3WTIa~K.RpK˰Ϙ] _֯+3u_4''mZ1U<(bd#8_/"WyKG-ΝΰYqa,dø)(@f;f׽2ˣ q7sϘritY (+}pQ}o߶Wh ɑVǁ5R*PaC[7|M`4-jճ/zرQ>=@K@}].apfh#[`ŒBaiٜZC^?w5 lY)l(o;^?sQky괝qDhQ9}vzpX"X,BzX趶GV9ki i#%Ts_>۽)&;3I`&[3 9ґ&j}t/VS^e*#E;{0V.|_&iC/|a /EPx z0Ъ s^;i%ܪp5?&JIWn3*f)%1cdrbY$ r'\~Y-vHuaS"ǜmv?qheiD3/m: 2f&HuOmmN>3}_Sb\i}QHg8ΫA3;RNxꎰpi{Mvp nBg_E}[If a% A"7xlHvR9gҢhsM|.#2RTCaL-䵽`U8P:r~vyJ[ur4m5{ê9U~[b |IRf EDb@=< 9 J45TUkzfO^Sfrrx?vq.}g.JF0Y цAHԸ >8J'z?_u.D]Ν)tM#YjUcI;$Y4US`j(:7}&aCIOi{}%Тr3ho|c[h6w'2Abf@;=|^5 #edu8sF1d1G?:{JD[ Pff@ûvy⥢p6N) B.x7$ˏ`հف^,7.(KM, .ʘcb/l2ǀxf6؞M6x3IE ,ZG~~B= qM|V[cϯ&T! Dq8Ϝ!n"aҜ#@7styR50qF, E]\EXcjƳ'8a 5 OtF{3 u SIN̝s(}ؤwi#)}zdz)D/LQ+.5jcۆ9'75sp g&lp?dXqg^t8L¯Es: mMSq¡!J Ԥߵr}j([Bi5ۅ@ZHl~Z~Ez'@$@5UR,87;fBSZWB'zX65jAýpkw'HF|̀,HoNc#93Ul 5g WUD5 {SC:Da!P4/޸ǜ9J3F<@5!AMol:\/;oA:V! E7 (vރ,6I7HVmL؂ow}\ݕ2""΃iJy#6#pa#24l礖C(̬_/lo1YiBuM,)(41O ?rYG't; ߽e; zQڳ^qG3|؋aQ5E)xk`QvU".ȴFA|3+ ߱Ƹ!)PB'ǫGF6\Q+XC\V :5eȊ-rc71W3G'2WK;IM VJpWա=%*lS ƾ8㕿$&)Jhpzp»O=pI)' ,RI\ʐw~LJ5[M8IA7$'p~ӊسŬ !k\ Tjw.'R\o =;6o3oeZa20q5z)iO#,s&"Tdf +1HMiѐm= WZ=`& PbyLK :-9(|W2)}^N5G# wٗo`K^XMIS4Wμxbէ'~*5Tѹ/BWQ+!E+膌aw '4!}]ᱹMdDҁM}\1BٵcbƀA֬k }\ĞDV!1JIpf΂X!l8GXG>3E|' ş<HMmbm8t{#^r#W^Gi uݑ3WTPq}QI"JP6f<3uSwđt*] VߎyS6CfۑsJwb<kO.l`t8oev-K4+dG;yS`f(W+0ХN;3=jBq87$igVoW̚lW;޳ҧ^  z+c{ x"k?IZXPΫC#W6NgUuXV:O-f*62#l w%u VC?͏TF̴o ]v$ ,}JDܭScэ-`7hd_pa;?tJt3y+RVON#} X܉p>/N^\U1b*[@;W_~'Deظq|Ԩ.͢MmR&1ػfT6zn}a螤b(ڕ-|+nڷ;^}c…@,H|&Yg)/f/۱Hu ;j`9:_!İ ȿ5+{t+1PR@ Sny &X _(ϖP% U$V _#H!i]ҫ96ٿLN'N.ꄆ2Y^ s0dq͜#%p-oK9TT Nϫ Jÿ\! mp~:zY\ cd͵}[IJX.y}=UrHXe: |Ƿ$ЪW>'E9 %H ax$+.!c5/+Fڷ6?OE: v 0']cuP勥O,_Ye MW8%/ㅷI8b ~WB|ہ0b 3,$(lk5 \}hWւ[#>d L:{(!h^;SDzi 2>| [4. Vq"Q0) g8Ųͮ9@4 g~^0g#V0~Q [&[j ~JsM8V!R:tҶ;!#߷M=pvӆMB;.T6ZKДP\1l+(G)䞗ɉ)T'ɂRhc_ (F Km*8w nƯ$J=e&= 4峺=6Q׻v)U^lѽ~ }9.a9Q͠)oaYj3#({S nO1)){ XnTEŃ-NyUWq+ƘJ~䃜yG펲MvX[ ~! /dSڡp#H?,f-A4&w]y׬;]\c KHF7D EaAS9@7jn'<.~ кu4ju :A iͰSGQxOdXIj59 ב|diWF \ny[ cl\T=~jW8%5;U ] 6_}6 @$ogr^2qpqrr= -+T|*4>Gu]Dq!:"Dk1ALa;|h@ȗBO1,\ƝڋA-fQ㷾9smfA>d4Pʐ^(xL;_"W×{z'~Iz\u7}~gn,n;%IU)RPc\+8SQ{,pr_f`HJMSS)6T3'bkWxם%z!h7JiKw${P.F 9֣yɩI'o3f(԰45KA*w+jTY :jWyb`X~Q׃9 -D:(ZH *=TsG>mkNB||AECRA&Z‡oCC6U楛6\tM7hǠ_n2fMʲX+˯VŖO615 exfr~+V} ò kl S<q5]^-A*1wG@ukDP3FӁŐ?3S赼FFYsg/.X;`K3b׉d&{1J80_$fk& 4'(BXW 0,@8{Id U3JǮܘfM'WoUGl)^U.`#L)ÿ (b{Œe)OYyc|}뤄I6l}@|5p%$qR._ FA54o݃U[/;y|, R۽G뱠Mߵ#%GC,/S09\mj`܍3.NzJ*'ř:t~2Ir|;!(I>`nDg tݶR ץ4o~O %;I <_Ҥc4._,"RvQ#S \3l>nj#^'R1h n)2{ʔIz**yw ;7 PJDY闢{Ik>…5mubl:*/~î;RϘ~Co@c^i{#p}S}(P~z=\]TJeyǢ \p\~F.O B *گ}}7<{;XKtuŭquKuŃB1= ͕ǮKўtan3o{^ډbLsb mуa 1HeOEe]I< cZ^i_ I5UIg]Uy56&\ /x.ᯌUx=Ɣ}ýS!/Ҵ{\vU:blP_kv߲9(, ۝.gf$Pf0(?t" Mq858*:G(DHV%Lh&j^Cpy?ނ;e,;X5bOq_!n bwpz23(^t# 7OGʀQ8))4q, kF= s6]qEs:PrTfGrcǂ96|kjg Ci[}V<DH #Qgˇ~#5FJ3^x "Mh?ir Qz?V -uTCi=r:wҭ*@5oQZwJ(4QPAؠ!`\='ȔC%lFl ܦZH&;Z,6 ܊YR{}%\l B\`o&N"e!j"ʁ-ܕ3aQ!7z{ݞ 54:򴴼Ny@(5 :IKݪod%Fc~(WY}|ޑ ݜ0f֗ p ٓJ#VUuqf+kt U8~.rK!@ɨ8ĉ#!mt#Q>03DBin# *jSBkFHnóW馜S rZhd+6l-+2iΉꟶj`ˆ69m39_u'`Z8  Ad5PP/d$vGƄ\rbeAYT9C@Q:&+2ɾݐA !tٟfFyzUS̶o{D FUga.x&4ߒǨb4pm-i%E!?G?P:!sD~l"?p LsE}%ߝ>&vǠZ)~^ߴv}"ͫ/hpbll~ǰ~Ѐ߮l«!db"r/zY܎J2-L>g9 0 񵀴y Gg^ngЁ۞#Bf'|(0W$oư[b}@Tc":{{:FMdp, /xĴ1`y̼N!\zm]Ѫ fjA} 2*6Ы| sh=`@,}8jJM$RLJR1tM>B98 Gt.I۰V)2ͳvoMlAi+oHZD| ^Ld49xyMuTXFҫ(Gֿ2 Y2\pbA<~(7:W}XeBL4'm 3fupmu'+Hyflʫ!9!\KxRqf3Ù?İxR&?%(_˥c+ލ'] nZtV|{ydL@`;j!wI˸C'p̘ | R[Q絾=emk_Q TEvxg78<YZU"rK 3&c %N磡G D_aj.2~ &0\H:zjϴ". /${ 9Xyˡ[ŸT(F&go vG\6H`gYZ&hN 'JJ(81((J&dbd>H~b"U^!M0RSxYK)~8flqF/")RPFǧxn9(ۖȟzSFhanu3E&@t!Us-E#X q8 J~}Ɗ1~ՈP.!H?9}Fd=!6X{/2C 9}+ ^*3y-00`+ooqM$Z4_?=R l))BZ@ٚQ9ڍʤd)=u ])ˆJ1=τ 6HO/#o>z}cɑ? pWB^Jt/6M89#*CGOQcJitM"Ҕ;қ[_d}.xɰ)=ϙ[7ev5<ƈ|T]c ]!\IhmJj>WPm;%s1ucAlYA`?r[EEhkUo5<%[ UZ uc[d68 K(S7J3! ڠqX&$^N2ڡ$v4 A˟W<v;7fO?dD# b.#~}@Z?Y y2*F-e$Q{nH튆Oxb]K0#& 1ӕF9T$y}F(*6F%۸mq)mI!w84 F!ɐR^C&|@2Ֆ}T\6C&RIlYKeU#'a!JR+)ÂP6^{6lY]nӥBUXu뚋Z)S~V{Zx e3M^5ގe+LPmo$?r5pq9YD缇!96ZA RSbX{&veɣcE\(]FOi8 6 m r7 \;&xe:0Qu [,DGGF+7 X_gPnE8, Y5\)d2E[ [BfJ382n RAugF: U?Wy!osWgY)FQ2ELP;S0ghe kD߰(V⇽MZj+*H^W돶u08Cxω&xaXFZ#$LԜTW+n;h;㒚 q9ݏW)8)Of31!*7r:Ix7Tw3wb^YOU&ILaT5a;^/:x_7kKJJFڑKO@^ACb\#:Q#([[#y6\!CsШ;ѝxMu30QƔ GŨr i1VSE')=1=RYp i&3):H%|R:@֣4B>yJeT j 焆R~ۖRWo9NlYAud~fS|ul AӤ#(3z :4ua ԣSnv܆MsIߍs.OQBD2m`%yHq>փ϶z:^AJ}y1@|yTonTVʅmo,)͠)Wڛ#G^N|tk86u/$^W{GO` dJ:%R/{__.|p J3-|>Sb'_ \ABΆ!樑J'bVuҟ1,.T:u:xXb@Ч2ف*յK" T= X_]\\2B0/|ϞGɼH=JB%^ӟ:Q QW,/g!C6nuDF)]::|ϛvÃ(ØFy8Q͡m@9]PW9̋8!;xS !1fJ̨y͟LWipإA@_Pc;' \? ^Va1^[e>i(k(T%ohrXVpAMˌ^ F+T+x4yA D9~<9*f$/2_%$uKkAGA& L:nrd Dʈ\`,Atfi^S_sXno}@UZ8𭓎"FʹKd[OVNb%Cֵ+HpPTcqf00ks=u`Qձd52Rȶb-/vE9Z|Eѯm%NT7&KH(^¯)|T5ZX+w s-x v&kVB{՛ iEum5,Y#˷YT83k ME"P/!6'|3dVRՒh({rnxrp17K(_)t% &x!"5Lށu9L6:<ªOϝp oYs訦6eT$*O+s' y -.T];Fgd(4Os;)[n2tœw6=z{X9ISu]Bl8'AZJԥQIHdTbJ ecN4ZMuE5@l`E-l˷Z4r .lTsj4L!do?^+,67=Euz+0ƚ 4:t2@a:Z&̜w4z6 }C`g'̦3yԕ_u`Į;xag:vdϩSfn#Z% j Iuiߩ,*6f$QxvMBJõ^Ig K$=ƽiyG_PӢUЪhh"SիShnEٟ"G^(so{mi6DŅ6so$F$zP>(Jq{60$u\wb?Jn#K")0 jόĈg>} -N(4GKe?^! ׋sORcŹ=e?K`M h3A=m#0G7 ɽY Refo 11p!7*,-$srJ;&]4H[%Iot6%O#.0D܆sPLm=kDon= biܞ/Cs8$Z V1\BG@n. ՜uǖ=/Tn ;Hoպ\5m̙=/ Vi/_] +%Zv4%Fwe`&}T:cs:8{.45*\e^cݮ@CBkadJ)K$*U9Fz-?)ZF/t^jU(h. Gbܾ(f(-;\v`53Ī/OE@^OQ:љـm2LK\楱_OP <bl/;ULV]eDB >Ř}4#O_1[C/]F>2nX-T{~eNÉWi$KKD^:=Rg $)tNMcПv]~ޣ%|*IWi] γB$g^ |&}4n58q~=͡)}v=b:BmNKn=9}s}@ P/Q3RPyjy9P<8cW' ZMM`.FhtR Cq/ъOoߧ.@+2=8k(s 迓cc]-EMU`u&Հ/dᒧ8,{_=yol"Q !Iu$XE]L#Yi׻@@% 07)p!e Tm0Eh0fRU!{v>bisj>ⳬyޅjJ{/}Vۘ&2KϠ^ߏh6<%6`*l \wŀZgwMFA[!tw/IYKI.*0,<,eX'$nYZ#*OpFWe/2~wjVj,"sYɅwIllA!ܻ2P?@хW[xԩhw8=3KE҉?2A2IUZs-Op"xErCq0O_JstyS sz{X )vYye.'Okhz;K' Θ TU6~q9gLGpׁq5#,یN$WFJ0&TWFI]3Z=mV+<<%!\@*ӢqD!Ĵ|;7CB)1M!äL~ˉdwE4-$amѻ}AAsY8=˒91K'-<4w5wk|W &T#ؼvrN0_.:$GC0N81?FQ0&aP"FdsĢ>&gnE*1`Fo#k9s\f&GKn>9Y[9ASdقރS1=2-Kj'(Yxo I4{kuᚴ_8 vwwc?:^ s| u2c CHoz| @CR6\42; '!@!l8q(jEķ=Ȗ_+Q(q@mePgcBzXݸErI>r͏O$/3i9PecI#bEyZdZr*`ChpOUߢF8%62(1FAi0tn5^Rw|A&B:r)!˔&~ko[-ީcd_?Aa(*j6Q̝ Snv~X C,m2He$+>J4=͙cA"b߈ZZ,B!2($cJ\(KcaMA̛tr"׽^X)Quݶ/܀۳TP|j< ͲHn SMlM߸xoRBD)N'CsirĔc֙E  oZ.w,U D:RaSn(V oRPk.,_y%E YhcJen7V8ܛLYt lτfd-bok-uGCu<"]z3sM%-̤woNKz?OyeŮ톳(گ`6ʚxDJaK?~($3ƈ\i V3 !R1Yٵ%rg~y?Wҳ) 44f2JtЪHDxisƩ>żnɆ38nf8]a$ c@]Mgz[x24[[͘U`6 qmfb&.u )@7a:toH#zi>%S3)ڃg~|Z~ͅ3ޛvm ~_vτ^)>k ek;kJOTDHKg_hxRe z>XE;:wyKJ!5u1-⑅W 0<71iu8 TsB=b6ĂI$ DZz-V0LQĐҴdy9U# o&> Xko Ht`6Q< [_`"sU-bM3yt?tQq Dy|f[h13tCu< Ϩ Uj'<9s^-Rk"B%8Un\>QZ288(J}fEW UE-؟0Zj\N|,cY(\։"\x/7ݦZz}&\3mbaB4OEǙ;OTr?WۼojEK zڜ pQgґԽB\j;vpO@,#}ƫ޸r"uڌսeCFeY0eLu$8E ̇:tgb?Xy xRwؖEӬfAeV R?2|ZF<}X:A*釕|ca\  Ȟ Bc>IʘLX-L _'rTI00QF (9NۚIxC.! D B7k)O0CŠfd'u1F)M]RuoKAgeu/}6!$! ;k|)q3û;QeAܯ͸-O: J4jxgyvBZ{M9yگHZ?\'bz R/ͽPJׄoaɘW{ HM _K@-#t&"Kjf:cpڳ¼,paëx%HNT>tfϽIZ8@+[BԄN肗==Cu a%^yAu2ͫ䛒.OȖFV-ە׋~礫8~~8wf=pJRi}ƏȳA\2~PuŶQ-B}nQ2(Xl߬C1b g) !x>fsdgxigzyxm;3T9YDmX@2/RQ(? oSWC[bi|6c`jmG 1e w4^gFS1<խBǯk\IQؙkpƑ֩!I]̜\Yێ-ף0m?fdU%ҬeEϣ}ʹA讠eMp3s]"U&,}M# @gˊSԿUVεwo{/8/ߑ'zlKCs%w媾= o:T2 ']VeV#{DîvTãs:s߳ M*t',z'U6u Zm0eїmTk ]-=2.?G V0gBݞrqJdIiM/}p2I|[u'Ց'f}҃nְ6g%B2&|!"-мHhJ%j4cJ }C4w0sg@;o v`6*$&#A3՟Ib6C>C!r07G⽜, 3P22,3 &x.+jHV,WݐIM lu:xG=sL<4ۅHY+Ƽ7V^3@"A9/s=A YG">ѡzQ7=6fDLc(?4;b售 dʅ= z18Tt&|5d'NܬHr\YEyΥXs,qRyP-eyS ~lCR57pF(UGEˮ _g&}@dNΐ>f>BK^ewnAaa/ʢԗ11HGƘ6S!H[@ AhʙMW{.]wJ3eƯb,zr2R&K1m*BFMfI!8_g叚),a(1 {h;W˥ם*йUþ |x'Ph+y@<u&qBVL.QbT|)_JYI%ŰvrA0JwAgtݯzS{7/2 fT|H@b~9Ztl6ͬ$WdBڡ )fr+$%\!{ztt{!,W7 RIǞmsZ5ҩ!e"`)W؍ђ-Q4 XGEWɌ{/@|PZ&(WfG7Y gL }܄o"b|Q]-Z[h^oktI[sgW]U\d<={ 3|߰ATE>>eQg6s&_߃T%}k4Tr10SI.K9ܺմ>#pQAix $ җ+dGfh=مV\a8HYFͿ`őp%sd62C03k IQ9 ^IQAgfLuा(jPۿlƭ~6 _%g+l܌tIjʘ/reָn 8_A)8$^]Je; ~diC`ݬn?^iB&Ш>̏s pmC;ƲX ix!jAqk mT)"aVI *S kCwbj lT&KRZV$]y؞JDpٜ&r}sׁfvțFk4)7}ۦ^\ /;_UCEʴ˶2rlw6 *).{a*zaf"sjs՘=.Bt+i@ ZwOg ;`$Yy ,0t(oؾ2yz@,/'vj?GOEs[ *\bcI?R)4X&RU_drmxa*\&0Bg^%M t$,6\וK-]"c nTo8!)y~W|Ԛ+:] #AHSqi1qIaw|1q3S3Fϲȋr:N<䛑4bٳžф^re.]$&/Mxڱ-nc,T,\Yc7 o!M&yۣ1 ݩy͐U%Q,[GtA*]!)kN EӜp;{hIkÖc+gaGϝ,dɪ&He-n?ӽ +4&/ etºc΍qBs<.s|S7 }}@Iլ-at|XV.blpA*6So$:ܭ$x_J7-̍ҞhV˟zb}NP t\H!\S~pMִ+8.ǒu%9_ѰbMTBRVMdO.GDݘxo H-c8!CBW/-e耆<`~EfE-IXdLᛃaɟ|OEn"v(o a*hHEL \zJ Rmf 9O9v<1ݼ ê۽0k.ՊzVN#ߤAZ(˔,X'+cj fӁK%JݧOM(CSs\ކfH4V6"#8,k]w6[{e( :\);"K@=;R^x_^g'm^ 9/O륢|;|6\dZ҈e/g)GkAtRmKx}]jVԗyPvnPq`D ܄`3kb#imK;_@lqrq bB4b O\g1:}%;_:A248G-L>!];vh*Z\F'$v|=kP%r|-l%٧3mx^h/J}/Sbi!3fRse_Zi,qg]!C4?Oi.;9}c Vr?]SbcW18Yx,\q~ Mh9R2"eb8 ͡k1@oDwpx. qK׽sצ?5]ɠ|֎kd*5$wj=:=A`*e[Ey^sw0odӛoYف[54#Nf~2WSZtt~2br-tHv]Z$VDk|4 #j^4a%Qs\V?H}ҪpIobު>,N䩜f $muΚju҂_eցee![7ͧ Ik_Q*ٗBqhL5It3>Ӫ㉆㠋kmU> cyqr>sYwK˫DMT5QjENtJFRqX!+.vwTAzn͔v!lUBN%,ZUq,*F'X>p$7>uL/ˑ<6y4 3}E{j3D4K$;7jˀ_FP'ھ F{m`K|pV$gd\VBА?w&Z3 2]wP۰A"nH6|@ywMD36I{""T* Q1h WW-p㫿ϵi\sV8d'Rn~>1dJ"Hu9Qdb|y3 3gMOiǀǐԜ.݈3 nي}jQ(4 Xh<-B02B#$ |x©)?\J;.7ӷ`z<#O&츥^fYqG>e;]s 4L2 N&neq4ɋ1a&i(ગcQ&m5.Xo톙)҈!:XA xg]Ow=gO]՞1e1޺9e^|gNM=PM=cFSڹs3D(:C%{- AI*6U :D>tEµ3Y+eՎ!Mib za^B a8 E(}4 {gƲDއU)Ceh$jiƖ[V% ?إ֭VE(6<|@+{.VRJG9NK(|ufF]IФOw;Jyj1%bz:GV=_Abx`;k=b֔;^!% \r#vo)3a:xGMD BM%p:?n2r֔>uiS>zk'GJ0L܂HE (Ż~0kP;8kd]Ĭhtע3 7ڨ-Q/wyJDLF^THK\% dթjw%RuDFU#\7Y. mZE& o&'Hb_Ɏ"N ~ 1Z=Kf)Hf8:574;?R8q_6l< RR *x>0BHO5 :VaItTI z]qaii3(e!1.*O'(c 4)]]e3%šR'?bF%U%JZmnktM y` Z&M3Z.){'ycJA'%t#]3y&97K uo1w䉣Z:a'B8]bu1/hmQqc鿠X𽾃pMgVb@kvnG}awonbyҔ yZxcJH5͘25\umbSl1;.%/җ$ 1d-j0P4DwsqK/Tļ?Ή rVQOzTkw.|M-M u EMt@y&wʓmnozRMp;'5*_^\4Fs߂ +U!zϺmY?2GNJir(BͬvN—z UtZ!ۯqu x@Sna ˉ{ќQ:&kׁ:Hk4Ok, N(Wg*c}p>ѼپɆ|0gܿ=7?)ZV/k rS N*Ԙ QO5Fƣf=?j=*Sl0 Ix׉@1Wh·Z2pGVNRVSP A3bS[/oZՄk,3)Hcpӷ)_h+\Pí1o>ҙ@mƙ$eMI \Ӈ'EY7:tU<1tI?/yY\AǻtmvBS-T])Lan]҈}@"ÏAmPvgTDOGB~l#>vߏ㣩1E:bC?,G揖xҽzQ7ˮD^t(ZI=+cTWgCx2}Ȝ^o+s%2 ur@Pѣ+hYHMI+Q$:Lo1y:*xtP?)BPXfOk&zFoDaaxutȼH :3\5ĉ)|}CCDS-!D7b('Ծi4w] -3'ʅ+ef[}BNݛŒ{ :3|I@8U4v@4冔*\Q GA_e!c֌ĽI4ju©NRr[_1x-ՅLv7ҘᓁUҽN|ER\y;LwdSM=n H) BNow)tj!mƲ f4 `B Ϧvʤ{c/xo$,zZ^_xyj5D6mհYb[EyxB cLHZTEZFkE{~C8cP>rxc)Od qMr4ތ1w}kW7&gYq*zC2X(ϩ;WvX5[y/ώ_Z4oViu{:·gfӹ_ɨ(a/*= hVW j1@,nZP"R ݮ\ ܨkH;~qծrROcuid LBtjUEu?5t(Eto⟭[?ʵ^0R0:H oK%\3#q,i7{Op4MP(كX35^nm/;q!FgK6e 3bBrJ k ۣc8曜%ӹ& ޓ<`fm#-=XQDzä,M\>G|cf99*`2II? T^9FۭK ^憛w'd%Ϊ}qy?0 |~ snjm2Ivnbr|9LgM(BR8bF0F鍅rNplNaZˬjpbr_pۄ+-ҲX2*H-7"B͏ûzhJ % E] ]GM#O}p٦.BU  " ejZֵS,4-Χ ׃s OK3]\x.KFU^LJk`꣍=qL 8Un6 n-(ȩ>3eGF_-T[mi"fYtO7#yl91ND/nhThjJޞdw%FY&]F洐1OD Q.yf5eYBt|mΨ8YOT[U Zp~YY5.ׂV0l.8QH.^-K3z X&@6CুSVS8<27sշC0m F&"qG4n?,# l藠'IAD.44l+=DJx:LջC?3hw9 @ڴ?N_[%(w)*AAz7S6&]bG^hlۙiNEn7* E͐;4OG'[֡eu7i -G.xM*ʚ 9yrh:vQFDէO$Xh__'P."{Kpd+GW_M'۸}_}X-$ԉZ'5"#v Z7ƣŜ \*ؤaRSP ,`]fX~}2}y}AP";ZJ8-J;ӹy.-=q]+5$I|?=aίyH n:N.?"nz+Jyq{yI9 OE%Ӏ$_ίR! SෑׁDkpm8.XInSѡJRG$,')kGU!i+qC}<|?\Avj 1u:T5Ow.?`Rbq95A-`Vk?)uw…U)+./*F,iM_Q<{ Æ K j@j1nU'0fOg~I~BDZ!&ɭcAS_1‘-=Dc/`fa12+fe< V.kcL &Gd} mَ`C5E= &R&xE̛F/DL1:[Qg>H&}V<ޘ4[vy 1md%M,$,| ]v83d)\*g竕0e`ri, wg?;VL^##E6@!nMDj #zzםQďٲF/5~ՏnƶQ qѰWP!` 8J6AHy $<~-~0L-Q%GNt(#$!{V.SFjyxPAQXɁ"ӾҊIyϻrvc9!7T%%Oꮎs4lE IR{Qu-`k`\Г_x=PuuC'`=*op{n#1~Al$혩(f!q0g'nk;Wsv8%$?լĝS?'DwPYEqH ނ"@ ^ v5)1oYnhQ1 1/e;Kq VyסPH+QPx,,QeMʛ^2pp[GL:p,?n肆-A\>rԥTy5dL=up~>A{7yJJqC,9τaW?Qw]Vys|'J>K(V㈏4} <Ĵ!&hՠe퀗1-¢g[?m9'KVCL^K";<𠅮{ D5n¿kapB2m qeEaqĨHtuڭKtigYZ 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@*$bM!*өz Ǧojm6Rfoh>'ػv9o/#kkWqi#I!j9o8We (I dsQ[޴Gl{td,sB*#q=V(=G627-U,i]*JQi.iY"Q%@zj) %JM15*暝=jL K3Rc W1Ogq;ñ&(XX#|zRHa;tE+N֓bh&{iS*Zum7`"fE\H|7bi7GqH6w`R扣Q 僦~(+pfK 15_2@U#{G9sV.fE-& @fa=dy6:nv}YG/ 9(#\ ,8nm' ͽT֟g诓˄{䬦F(A͗utSrkMn HpS+ER}-)o,=O籬,@_:`Ѽ_2h4i !d0C19'v @5qe 1_lMo%Z.]DX:i0c=t4wR b Wb:slUM[oѡ@1nvGü_fDmVv ‰ꈋ4-Qɚt5.z} kkKz\2Xn\Vb>j -sDF$ oz^Rԍ|mX>{Kp|w: vIb%lm,uluW 8-; 0бیoŐDPOtuE0$A "͐OS6UK`wmfπFVZ0Ij&r\eT%IAhiO߅{d-dN3`b;.9ޙ Od󩔤!-DBdmdg#o-Ut+}zމi`K P鹎]_k'N; }[P$b du*|%OP܄Ư{9=ԕcšo#t裴l7]!.JIt8ZGp5 *MGgP:AMmAäTkB٢p C5l31 M,\_ƣ_Oqh+M뼃v~ {^pzen:UH^L&~y N\k($2;Qܱ 2qzKTUn*^J Xeg?ɧ]:5"zќX 7C+V*4KF'q2>1ߵUW'ۦvؑZ6{@G,uW:& qk _apq2ʀZ_mWPnc~s:63s+Bx]vcwZ>rV82+P\qfx(Ї=kCe>즄M-&p Jy;wzqMcwp2r}u}+ &~B=CBRѸI>һQ |5 3Ұ>LE:'D^o=~E@C.%UZZ/P`:bjjc eݢr &oByPNMe3m/U=p:ahT%r\%Ǵf sB%sÖpע:d;8EOKUn7/ӋTEHzY\,na B4hXzwJ6hen5K>n7O?)11*#` "F:!C n?:oeNCʛVAX9jE"21ۅO>Zz(gM([J܍ůN-/, -.a αSb`izI?9Q+xQ0!stWv5,e%N4^͠%㪝$q1Ţ :ʭ0 K=ɗho3[a 7>@ %ftT?5ӧD(ty?ŎĀZ)oWAڲRVE*6@5EmJi8ll|p+$*>^-#rC2cWc \ݑDc2A)h!ܐKāIr} Wk>no{}Ҽ~jf$\GV2N |UG\,ߏ Y Fȉ a8);D9|R,PHy9$g^7+krSR ŽkH)X!agYZאn( \hr!|*(YnLֹL'ԛpثc:Kc>POpښm u/еPEj9i}1c4DxB)lɾ[joF_qeA\zyg1e\+YtӹתCg`"ttz=/H7gp]٤@$Zoብ03?1>sd74ZIqoA7+[bӝx<';fI%[ C#NlPCYR=GܢHt\,?`Te؋a ):=urYomv1#vK# |d`f <L` aXBϊƢ-.(t(=Jt~:G;W8^׃ΐBZm6Sy2Ki 熙`:k~鰃րMy4!oW6SD*X fͨFQVcpcPiOO9',`Q+mo=*(3V|ٞ*7: lU^8y+dzNj,vkfk։oeK\Umu!a=(59CF|omʘ޸Z]ײ#fx*q_VItWHB?Hƭ&R71MdR(g:X:G+(o B$~?nD';Pd%FC>a^Hd5  _7b QunzOn Ж6g3Cry=}]K,D0jt뛇r,1[tiPa*uM7hȻ&n,Кc#(Sh/]ӇuSoRB]H' & |cfZ[E]b{@?4 is{4flU T^ ˻@;IB쾋kl( t] ~??_J]K$nUbbKwJp<(~]0?| -amSF4̎ScLbv kl>M;0q妰Hdx=>cK?L1!VE; ͲR>/IVWF$p`%h!ORXZw$rA)8:j8k7GT` b䠂pGrRF <[מS%ҳ#]4y=^YP^#.lNy(uL؁D-yi뢀$ CyR AljeM,:s#Et!hoWa@Y Cj#'4n%/~~gPqDd4*Gv`akJQɳn4w Ėةh\k LKHxl *&%o[e.1Vîy)&ڛC`(Pɧqy!1"#|0ekˁYMuk>3vaf[bDi1ʫo]`:uW\-Bc ,Z'64jȸ}˔ c~x1S!HPդV;n/\!= l,B6x/ضsVMVψ2Pmf+Sb5}Lt8{JN1q.o-'SB3 'w,=t9]0ɰadIؗO_'VXBy>q]QfؙAtnknN-OE.x|WJ)RL,4q(:e02ah }+ƣ$sqv0PTcihGlM,Y` 1-|h5Wh<>:ج_va-Mp)9&jZ3lL33<\%"Al|V}vRz:֫{ p"SUŅHqL`ZFE:: )N[ T/Ȧ_Q̆ԀHےPNYsD"PцΣ(4Y\n dM&g,YS?q[P ؎_Q~bWJ>F78m4=s#_p*:lhx1A:KJfYBK<1|ˉ6Ĉ\L[eUcK͍$4F]-fk\bn+CXR8]G -Q}j|%Y-9ˢB'|XE@QCob+Ij)1*7fFExgTW7HRy&{"ftf'ҥIqDI62BxZK*yo!R8 z$v5BGq2:JXDWJ9fn,J']O f%H uG*lgDΡ Sб`huV. (k>Сno&>1,ݏFe (7Uy~8Iiە^W=Ʈ S%!A5U?EMa !%]^5d +F`,ǀ#LPfnH^meYTgͽJ۞[-EE$V`ʶFŊv{RV9E̱pODT#OӖ~1Uܪ졿4mZڨiD8VL{q^8<zhUh5'x͌)!95ʠ8|Z3#Pqf=A_tgns)H_osӨz:ͿEEcY VA:lrlͣY ?Wr7U}:z?W!˲ЇRyC ÈvCiܒi:(0p6X.N-O lhds0pH{@ <1I;0A F&smdְ?Onjhҙ>V>[]f@ nׯc [;5:2TN呆gՓ{!E`I`$r l8'*+z!8?^/*!?" yĆo=z>EKwO2ه_xcO6ݟWA e!UbxT9,}ƁC-ǿ r#xHxkA<䥺k7e*wj!/~u B WܵKiv0SÿR_GQXQ㓱5>3Lh8š\z[+=OOFvIZ}Ջ!CmSh+ɦE51? shɷ(.Np#_`MNFlڮO X;u:8{)Fh&m;/B+t 8eƁ TOi<:Xhk#j!`1Z`p % 0WڕE성½Qܒ*uF'h G  ξ^V^YۍCY hjwD砃DdfUr;Ʌ’*Nl(JR`|3ʩEDJCW`^L% !]ěNz72>"-hڽ[,Xz[`ꉈe< Y:*?6QքI϶ΣE48,1 YVN^n D% ʡ#,pN$g8$g?[VHȘ`TAѰs5Kvu{4:o[.& gYZ q ' OqS)/C# 4HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! S]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STdP&|b/mWh;E, [^@!w񷔿JO$_1CIcSGR 28j0j } L qp<]WR6k®C4 K؛YVt.R+{abuG\YS i ?QHD1Yj;rY*͕xAAEuBr'FePc;rUOPo)- $ p1>j'?h~bظ8=vĐlMܳ w-Dh9۾gKL 2Z5@N5KkCf5}U -b1Rb3ڹ-4y}!_/P3,bVr_Vr%JJ) Jaw&ౌ'sPk7NL/gs S *!k` EOKdւf7ipY}PӯIxV똂^[W{&V'wפdYlJrk]#fd7A1q'qdEPRg%_bce E:y0=i9] ڨ 'fUG*+xu C aù˱JW9!P@zRbQX $mF֚H}9*Ną1 ol4FFH|1G9>]0%U$;ă lGRC<2f\0MyFa1qpyNР"f'&S# !'ZiZc44~wl9ႿnL$iKL ;z[,Zo{MtWLA抪{ =c/rwՒ?93-t2k|g8%T?"N5@/#b1 MZ%Jpɞ(.ril_a^)M> p< _f@}9)@k mUńcZVLpD*fqe_x9wr$,XکRXES[O5E,O<ܟ`ĘʦGsgb2WZ_R?{û6=py&Ҷ,. )Y a߯j|ɖE9uV~җwjeىM< Ro>5u*MT$x(^ ?XwʜuBc#^I;?ۜ#ܜۄ#쁲 ^jaMy?$5vAO<iIGDWڝ=hkB?WF62DC € [WX6Cyyz+x'$o8B3"MYt/I uiϻ'N,Lkܙ_Alm+3R;*mνw]YPQ,TlʾbpppT5H*:2Nw%Q/e*? K}}.c(/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_id204(&/A' \HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages7zXZִF! ]Άxʆ5.f-9 rq8L4':-Tj6:^WyR(weltnI4U)[ms}O0HGMLNqQR~S{-)S*zp7V{弔3Z8a' 54qRQ0sJj;\;p6^ڏ`덌x@mG[ Rr hHu0 ^vUDz?4[PMBEc:xEUT^*!Jvш AkjHtHpݝw.cֱ,;f.(4:>3eh_P:HVY!{BlŲlŘupʙ~j8H4)Lmj\S'6]fA3ăcg‹&*`0-wVcP^w}(C"j>@CTWR#EOZ_T8P{(4+>bLd^7Zt}<x% AQ>ZT[A/Rc_ Sp˫h~B#!t,K?;JуE'(8ƌW#QQX7.;_&c'VӬe]i!5a3T#ȏ;8~hw5[Źy'YS$;4̦>uٹ;Qdada-E]:qc8t0yAuz+՞ !əy` ǖ*/ɭ+쀋SEz~TI,ekY?P tn CE X-=iGuGto&/>fB_Tu2}IW`@[>YqXk]%iPFu f<ƕXJm{y~LnƠ@Q?Q*iq~P%g SZ3(%fGFZdn3eíՏgB/Y;`^fP-7S{p7z!Z~"q(#!"z5iɗ{{cd]\YL45FGwʪ"ކ܉<{MIw+Wmh-0p`7y_wX:?G0pCVܯX^묏vg` ̓H_:{M @Ě~w*Yfe2Z| fxKď*%pkp~ql/"|dzMmw&E#b@mhTrKC!5noAa?'=&Dս p>AR3a>Ugg+lzub %[E ^u 3ʜ:6? ]:ZP2AӉ:5jo݋; M TG 'LR߰N,M=qdxēŰn>x}*1&/fQvXuG4r Fh8=s 0Իu[='ZMu F2,}]9S\>̱l s[m2@ )DE xLxs(E.|zVr B@N3feJ 0ձ̍[x#UnMVR/v[vYM š&KFjs};C,ߵ30_,G|Ws6N?aQLǨ0D.;Kz0F_2^(x ^/)@ʊ+Ս!+UKF{mA.TTeEWêplP]y]~ `.Gu6.Nv}!wQU/dY?IUd_?}pA懥DŽ%zTa\ %C$]2H= p8*Ү$08ʹpMNS /*i1d^Ug%JfENuR-uW3)e#+[m xLX$ՈrO;mN"F^ OĽ>Il^RJܵ! G=K?P< ϏYyƙ >_ !:{ ]JO,1kb$3!a+[h#go?ӄR"j7 z=#f|d4`seX$&0WDƆ`%}İ#Fȯ۝e}AKczv %>kU7mmaˋhwX?8 *z,qܨMRnf ʁNn'P(6ɘ_5`9{ + z i7sH6-'U< c;ˑm^>V(wց}32\OŁspAgqzZ(A*g.wm1oM.|"[CM+oU<S K{޴_vA&%j(<&:![y=zZhOǎ5N Lɮauՙ OC )ؾ^R< kbU}Uӡu LTt8^G [9W(|٪]nw_]x%?:S@6'1Nݓ5G )܍|7*]q0q6ڛXdh)%qUk'i~vz MQvB7! ~fTK䔹"ͨl,Xq(oi ,cHUѓe( i7WeX=ӕI>Om`$*{݀o`v:fJkt\eI Q{MgGs$'82(k߷fr\|CoqI=v֪zoۦ(Bf5Q˳Lp})Y,u$l'Pf'2 K?Z1˜gXđʓ D,tmH @b4Qu5 W@ҏ߬eqX++E dCQcAd6l2qMd|=5 lL%͐]ObӰam~zASC!  wOh1^v9ϴuwOip)%2b礊QO@Y6}'t9:bN.\}I CKt?<)u9yӧA0sqHA˞ALXmke(ԕOЁNI ͜6$ȈOEF/&2jv)cQ:8Ab3.ű_KuƲ!BmrDi=ZV~7Wɀ {@R;'.Kpc;bTlvů:h,RK'ZĊEƐf{L1,.m8Q' 2f穞%bp6&o rB^/AR:^԰^uH^u  6_r.al,PUs yN[usoA>(CO!2O{cNjیג4fo3}BZ)1ó΍fSg wϩKN|VK*6}Ղfl GΜZ?nwu<;XHv#V=2z,vL=I>)O(D)`շE핫Ϩ&6E%,MB# Lb)߫WD Kf eN~p^&:R,qsN˲6uds<9tVd@y=J9W4 g~%xdvM/NwIvJm'MK[P0 %ZZΉ<ً0 `LGtx¬'f\xewҟ($H&Uj^=:]"<29Q`^ӱaA ( za[G7JCK7{boȗŦ>h8;X&,lm)Z[i9JF& y^P rUUR`12)ζo++zC1NMEFE_tqZpҜq~#(/ԷI]rGu4٫q}B2 I 6aD.uXM>5 vBjyīvV4hg뛘h7˂,EY~w\ ׾,&C؝[Š-$@:G}5 [#-9B`0 RۆTNFW'_h_,]o(rpTz 9`PS4Cjtf9|k96@|URvLj:UI׏ΏZT@]7q9Oaf%b8.dACh!"F+4JRS!%XC\ QDJS*&npig.n,4!z2fLo $5W e>"|iQh^ gaÚq0[6HYb1;7qYBj0 " /YKlC*LA+_y#$|i|;~oŐB]bS($Z>aHT [iu̅wh=.}]|Q$\F^IygHi?9aD A+/S7[NKVB}];^6>NFssHUy쇣#GE 8GQ7MXϕY[_8j"ޅssl$F7 /8aÄ/69^3%=Nk׏h# rpϥjq6/IY3ߚqo*ni!i$/xIc_ya$svKdmqfJr2ֈ s2REgtoa#I'\۾$($A~hi@hYQk*ttvዷuZl4dM*~%t}K˵nǟJݪ.K ժZdU_(whjN5>fSԕUИխ@E̻O10jY@"9OԽGQcA$X-sˏf#vgsl Hnv 7z*1fő/TF'Q%/J+GMу%5AtĐlPmݱxd'?wS(.gquR/D7}|%蟜+@n?2]6Fë}Mx|ȑ>4;dUŁ̆ǖil1!+KxT~µ?^u2|{X mPz ~󕿘$ TMH_BC I_StQxR; 2p=ҹ9ڤxYıaD@-mv/ƃGg^pH#}K:_A (8]-5,Y*Klj-h9z[ `/=X,u{WZT .Mb/ uլ ȫ(ہT "8\vwb\(Sg6TK{{L( $dbW2-A+!s'AצTONo8;e#ـWw:$&YI)ղ Ww ~kJVJ'Cr|(ێi6ouʽ*DbxrH6G/nsoJ (i=Sjj%OZyH&9?6Go1xU({?cmqGܔ{9āϫ? Pa4A& &G9d2"K S>[xڍ:_ebw<*]B`gYZ^6(5`/}iubG;Y# W< H)POa,}Q͹; a?YzC5#] /HH˕NJ(0^1%1Y[1!胣.Z|(i{\?c`~f;Ԙc?]Ve{*u= /73K#xه |)m̥A:hֽuZ*excبEB?>k9Ub͙5}Ƞb~{8  :zi2+P~)HA\$ `'4͂^NcˉZ;~%b7*=J~+$WA6!-{ QXx1|pe~\}Sz`޵ Q)]nm[Isb%2f7P9,cKRa`UO<ڛH2!J< Zsf3R|lgdS YD{}dX? ѫ*0xxȎU֑eYj$PpW$k )!`i$7P_ }wl\ք3zR5 {~W \i^҃S;vC@bu£Ƃ&IV( 3T۪?xמ6⤵1TRQӘ_a9;$ųtc})**[t˺s3a1YS3K2Ld 8S.l*+U "oي )a0Y<kŴ dޡE}4#7df(?@dZ?6ɢ}czA~]孱wWhYƹz h0w 6ДL)hwKԘ;l~h0.h Ļ8g/[tFt5m˅f{l|||w1` ?+qZ]jZ{,'IS2͝qҬ?] `^&D]qF |ux)vG7DP?lgz#a&N3g)̵`*C@K XU) y4ZLS/dp kdv{W_%X{ЖI6&&*z o=Ї9@}6CQRgBG(" y O~SCtk(_$&{zR1/l1t{s< =kX<%̪"o޶A-b#0̢[JdK4*'`9̒1i7ržXGp!*ZPm/sYgl=iKW2OX:;4 M+錗CLwЋ*(Rrty@8Wl 57Hi _,2$&PWC| qX$PDw8ͨ;: ES^S=~&{gڔ,DȪZAfx?'iM}1& VU; "PU`< K2L!\O$s,ivKc ]5\VtGE*OLUKclXN&m Bcv [Z;]  14>Mt#\@̐%|{7 .#Ŧ}EsK!k(\-3Dj&oqn,s6&լ{; r9ܴ`s`Ñ(+2Dr!XHR/YJ^^3Dw?6M?GUAe5Azz!p`<fӜ>Dip2a-9ZO1%)<8Hײkk 1'7姟O|dwz֫.7 !h5 s o#4٬CK7h\*$"kwYf-dSL`ńD<&Fo4:y2Wnˁ1kҞp7? L5=i IV-)ztG@$|2n8-y. G?fa#'Pj VoNjeF3r345 5^m9n^T=\ex)7( 2->|Xނ6ꨵxZjyex OgyJv@ww@.F!['x,at&-KgZD­DZ& Vi|dE{d ` "}jp^-n^gWl(2Jhe|@SϔDRIouEhk]:0u 皣KxOp= %LrO`Y 5so;̊ GǗ(563ڀ65TH?D`InKy <_zQQ;h&p:lkڎʾrYd8:JCqP2vh}P;=CWz_/]Ҳv{0U>?RYT~OYà7Nɪ!QCPjC];k(_+zESԨ"[<9g*@vd5v`,13ф|n3'T'R$ow!:VrX٩YMI2ɁNWBϋJ†,E i+bz=1 ? phooC &]){Dw H\{@"lbf>֕P 1s5Kv&rQ2GΥDLIS2O۩bͶ7l=i; S!E6J,yݞc7x%$ us7uW d"܌9İH"^5]u/DZ 剾5܄O& [*sR Bfnv/7h>XPVMn&#B7Ke3K"K8GnEɼMMO1ȣS Ƨֻ܃@rQ'{"U,F/Ð .^A!q%'J&عV |;x =.JüG@׊e8*`2x7q U{%%x4(3u3{|g^IEΊ(|sn <oFk;UrDZ QO$=^{ =o;l r7@V 9t*i%t<(_]GjÌrQT}K3v71-%o1xA> , ZKh"Zw)u5OQԡUj.Q0AXQ`x+GE&WĒ/mݰZklt]fDN->.[-VyG9 bgYZx-/=# HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! ey]ˠ)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{C͈) u}%pz^gb0ӫJi4U qa?vɔ*9Q0nV51Rus˲ŕc*nk-Cub$6yک#@'@47x=v=msC} Ip*G|m>{WK ?GKET|Rhe~UO/߽aW};j')hq?ReU1\P ͼi[q["]{r} }}J?QZ ,!nZYx}"^:ս:F&מoR}MG: a'?n!­XI+x*.){8*V@nTK} ;5wnJe8Ye@ur8D򝊇ψˢx-=֮9ƍn/l^ Ec;/Գ(1ڳ2ŶO vƋC80>Ѱ@:!wQG=b}`[[,pY4XH'd I;~Ar2`7q w <V.wyE{~UK0tuQ4 4n vUoL IP!;W:.OvQkF zWQ\/9Rxy,bK\)/KE} p[nSv>|{;A myo'1)&r5/iľN7}o0)4|bUGz9ʇ7LϩFo#{ wЋI7Р 9掵Bi(+FxC̟T3w?~N 6x5'^ JK(U7I*OÅ)Ts0$_ kt5kwH}%Hi{3aCE@K(:PVm]K|.֡0l/. Y GBfŠ25c=iLݹ YPbdWbbkfat_JX6ڊZXpԽ"ɱ7Ҥ G5 ˔E+<=wb8ס{Pu iivT芝,d^Q O2 A3+I(o;M8졵ӫ2H7~ٻ!PjPYNioyWӘ[S?`13Ax|5 dI_Vz;8 ^e+2hb 8 )W3%\WB86qW/亄?/ !/Z&L\Nclŝ6Frs~΋Hh=)L{pa^BںY(Sa@Ʋ'Sъ1 wTRĀ/e)ē.Fo'`f=AOt Hū9s?)y,G``&ݔb6=F]g YiJdً@Vtm1% s&giKR{n=A59k0 =k25-6ADg.;- 3fFUj rXs$:sJ:yMwա\ )ӂ ?y}d> 6W/笕v}֍lm) wN}כN>+#ʝ7?)5U ]~L{DS*ͭ4mQ;}h_2g_$5#h|?\`W}AX!Mɉk/3{HPT]շBfͱD|Tfst ϻ_hion8 }[]gݗ3!ߎ$J+NoH'<9avJ:dR*5#I8[Lgtd"tS }QC͢!r tsun]OYU7Gq5aX#"{7Շ$04:c+TA;R-s+Vq5AUQ̆}G[6x!Zײi:荴Q"+[ Ž:z dj~B^vsD 6E0@;fPηrSmcDړ")jhE)< ߐ%9^vej_$_BL6;b !Bzwg$R?Dg㮁fpͦA\HY}Hc8pH C .IbYa8@Y鷇 ϭfC9EP?+Ih{MA#K( -!Vr xt+,Of(OOc!sޥJ7BS|̍J" -"0 ٜ32P5դ[p - p5OTO sB0w >"s'dMwN>T !xU7osG2WTpViRA&d8j#gӂ9{E)ĄƶwמĶa/i9pow8Ҫ ~WZzN⠩T5BAg[+2[e' !0"hҧ_'7)w9@gA 4Ŧ}Aeu!hl5dP"*!K*g٤vW_)t*u:Q #bLh +Qx?ƁSR?F>7=-Z aؾX^i阧U-Ngu߹Of R Tt'oel\~oG0! [Pe2` u1uBݜ$cG>q?kʬ/!rf$'w `*%\,3[zq|%H^v !y2 '۲g6+m٭=|-9>EI;匚+=gE ˫dSgS}M& /۫lthc <,Tbdm9;o맴KWˮS>B)wt*)t.ˍ -l_\@F$ySNc'խ"xa6Y4Ȧꅲ@=B׾Yg8iy?ZnE {i)Se;a6+Kl?T;G`;/W4ߵ){'e9. 9JT%z6';Fjh1d9uיB&7Tz,!_,F-KvL7xzS..;M% < Fُj&o)Eo$]?[Pa!qz}y ^z(Q3ӶwHYyO~`gn`nZN|AXT}cy% ц$ %y+o#?)AdWnCI\EϵzU~ް*MXBQs(H"˧B&_!xn!X#dnCw]\̝={$$]F;2 I r#@ kM9A>roЬX&%Rx\TI/-pTTa8HHWU^&<|v΃hkUyqq&?;!NLDAov/ 2 {sb8%Esd;uoSgCN}SOܭ"! )[~%`odHк>,[ ( 3$s5i^R IZyć5vI R7ͻ`b6fZkM:`W(iwj6PT2aGKr#3WB*qrw'I_a@(2p,F(rFIVqS|C5K* *u]H*:M?Vu U; ~RWan!*J j~3i㗧N˦:o!2.Bs1CјIX@{{BEs#, )yc\;gZZީאTbdC{Aʸ$$#%?v PDʑ[g$yB.Mscdԩ/6  -SMx+ͮ 7kUN~jIּ|O-uSE@4L=0:&Iܙ([c+L-MxrÉgNhL-IӮ2qDe;?{Hb7\ݯP-f6# ]Jptku57Tkȏ&Vn?*C)0?,e/ g,&z]K$;d&2]nUxd`czcv981Sh>CoZFq 3ֱ]A^P {z-܀@CE:$mX%yɒ[!9dpi(*Kk^?W_l. 6PUF17llKp^ >YⱌAS S2WW#|#Ei|Z- Wp27SG-m,́)}&`8-x=0b+R-1esPjU j'Dsxy \ bKu!RjljucAw ~\IZU%7(̀Җ0e 4Ť)ZbW"=%B,'mz-^ Cuj"oi3VWr|x!q[SWrk\~2E]1ĵ u5_$HTJ#"t5ܸYp,@;UnLo``'B'ք_(ҬY>GԀ z P?cpabq^y=TڜRP_R~^2&ZEmכ\V_DzS0Qm-?r̥Id"DyoqY wq^qԶ9Գ2=p[q>{r򎙼., a&*Bct-U(rJJCF=*ʪR=@A`tvhy|Ў+A5J^pu/iB02L=/rXwkfKc 5XkxU[7*NP\ nC SB iM Zp׉2Bȅ=t>P]LiSTw%>+`ȰQY'`EYs~ &}j-&_r3,`̾AGAf{뿌E uC׈I k@?Gw8UHXU, MA:=-~A7XQ%^} @XRM_d42}eCAϺ5KO5V+X@hlSd~ ڹެ,&0ɝ=TWVpeXʭPQ= -?/\ O7\2I2WBgkէš0F} cI]ձ.[ trY5 (5-E%=U|ɏX~-4%jJ"5W'x%Vj&gQG~8{eqCw_,L') un'rӍNinK0Lc^Tf[;slg2X#:Rv䡆 N`rK\lgu]@=^oLPprD\%ַ[Y~gYZN1 /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"One~3*qͻC }C}%Ā^}$~v"Kw~Q*_ q)y1$x%Z։_p>]v$_|ntlpȭHV5 ɠKZ]1;hZKH7A~fo6\}.$+< ͻDuRe֥Oiߏ$ݲT$"3 _˷ WytdL/j .Sk6f$kt] VHnkEg@w+6n}G/^1hBOw`be@S b-*}7T´W`=*E <Ӈ!kSK i=^3b=^qSml11a1,f 6spșppnvpr'J'Aj kC{f4'|qy;qڸ,XFIL'6FyYJcH/"XbE/֖iR0ȃ`1^K,aBIQJnS)!?e>컪kYw}MqZg>aCrz@i˵|"{59Mg% ;'7C(/;.K} 㔹cr_$Q-Usɮ9q\5%k0TZB: \ Un/hEָ7s;ip?x'#}B;&fُGn'ԟtxzEQM+8Kx{`dSt]026&ɜduߜP.^TTN7.ޅ3Ә-]w˳G7s6a{34Zȕ$? Anm&AGK=7["vZJ0d0yk[݂Wl><%j3'P,l/_[Sd>6(&1mX+z)!XQ2Y~DiN:=Nt|8ʹKMA[ SOkK\|E DQi!D"O壏un.{D+4od(r۸!3zͳ[5E}&`u!' kC/mQjqFԉ㛦[b`0<Q:le-)>ssM:[{a<Xl}Ig Zfk Q(쇂e|%xv0"L#sù{Lo#v4oF}s  kBc.n#k^XP(= :rrԖ3K֎{"&TaQzj1";H}ZӘ[aXmHp5o|۽eex(U[Y@ TL$jnd?,l1Gkk1#M]9HnBp{p:uP/"|yi=y/-Jˋ6-;,w̥3~3RYH!_K?/U#MM}~5i*gu, hl_wF="O6S ИIAz{wX_`öbO,؉5ga˕UU!;&Eq%9xu M{M" ްՆǾoƉ?-'òLN aM3H(d78HSF[!&Yn N63uLGI9O`/}KM/ xj>:V{A"m{*/FvUk?/Xk4;rh=m4s[ U Fr6ƊʰrSz)Ȁ~Z_m>ޫ.gC̻hE˄2х0X7PrD]loul'mӂEهƘ5a=2j>P28{ufaOj\9(}F~ rSNLOGeGT̎lzX0u$`Zd7D^Wvi =:5eSiqUFqaCW&ȵ܆5i, !HGdHz$oUsCyO^xs\Xa]cHc>36eZy+Ϝ77zN▴qj QDxqQ$g)y)8! (m]|DWa xSqVnDE8Ĝ)V'[Nh?`_1"(ɍ6`g$b/kД po~?q,Lw^A=Sbcd,/^sD7UН˺.LЗW_*ZRĄcuj92aȹ6U$opnvl5-1x[k33KX'Z?;/C @:]$vaL}Y8|J~;t޶J&+Zm@jXFٜ΄J8o~1UyZ1 Й1zCNxgQF\(69nX>%,gFF:vXJM|_o) SOj[&lZoW ͵օ~LhZGLpFgE +G:ݴ+H#W>NQvj'!=I7&VmPIZZO!X?LkUma|gF8Z~D9j쐍/+B3KMt,:/ UpW~!^S]_%!ZÐx.ngb_9GtEI` BA9DB_eTЅu hz,>EӬ#J#,w{AH9<͖UMqj G}dADu*5ࡐ+eg8 7h$;5Tg3Gd 0ïK)aDg#ش/PXaV"qv4ʭjY4SJR RCYһ5BcAs 灇~:_kvQ!r^nHB4Hd p6~{Gor3J,LÒ]zid~{!UG$V|}q_"P.`[M?7<`gA?GEi֖qz O9즠cbWɕGٯX+4(l⁀E  a;Ĵ6з!|ny8sҊySvYäM茔z QR.]hE "}^͊Ǭ $d\=2\V@FkK2Q'ayG}b`9X7=;k L's'4(P{SL]]|zBsRs:lH'KkhL"-Q]RG:1%") QBB)K~j_FWa;W=|)橱w.Sџ๞,J^ }kKeh@_sCS|҈0o1O瓿810+ڇyЧ-aB :7{$q4J?NM$ \/fXޠQf9D]`o0_RizZַNbP$1p&#fp|?,&8%Y.zC,0ˊIqUT .SV՗@LKφ(c͵wf? ٠CB'\acX Pu>@X2=.ccl;B9)i[rK0˸Xө]Y8a&P[/_,H_˔(NZV[6u5_R9PB>z9jb`2JdO ͌' wR8;-%eL2%%=`oJ~g*0VVr3,{VV_L?=A$2|ԅ^0 ia FhCBTv \A'8c"UCYGhݣQwqB!{ .x? 7i\PBp_[;,m1ɆCz{6b10gtk4+J7Z,^Wku!8G^aO3Q7+syvj%b%P: Jd_ c 㤧=FDFP,@]XeĂ6 ] y.s<͟65VZOw$R\8wo{R*!$=&~"p+)CkQL GñLǴDbڕO=Y+x"s)='5-,+TE5ϲ`FW&nGq-NE ` SV{%;**XUS(U\/#u9@0l/T0qYI"eLo o ^=oCyU>(ۧD@a(vLFOn`Qw *}葤J2b{goNGQ)t,?~`s/~vve̸ oMk>©&_|P'u QXSVs|!$Z6Msg j6Uޯh'Ws&RoX@և@0C #4 hgwIEK%㛷7 K$"9]ȝ uAE){O7Cgx4 V. Pg,KAk1I9p΢nedڅ3D$dk?_5!o=E-+0W2Wì킗S5eD 1UGX24=Q$TܯZZw38cv3/Ni-O ZgQS>-qP7LE0pO"iq !1~igX) N 0q[ڟeO1'gqD&32s]#i:xRO1\M3j] ;aK(V[W/A^QłU= ifS?6=V=- ?0,:3x'K piiȶ~u{Rtܤ:$Z~|sbPtѽ-DZ =mvyS:0GF MtHK lUA,$_'Mvpk&T$ǰs$Ì2O+x K˶Qi z*>hk[eM)a'r{o,uI5Gs,x;B?t@ 4!fiɽEuCWa P .P;G\ &Fܯ眘fql~jH)k=T~=yS{[j@K ۠Z&[zmC m[)y1Kb?nvS:PSanf7[T}}ic5cc:D,HTz\7'N熔+DjDe,Ewi'iЧLRҡO+JcOWOHZF4m3@|viOTR#hM-`C~tSߠJJeq :5JU%rnWl!+y& /g(l\֫}:'j']}@u(6ȴmPԣ$; ǰq;lǒʮFHzș(4n-L;b82`2*F 2aU7퇯z7"b-#2W@uSFFu7v?Х9 |Tk;1q$h+Y&H;">uAMI'i5H.ZL/bW 7i` p^ 5^1{퍅驶0!$(ecoGQ70!(b|)%¹jC׫6m!!bUAYm '.#b/*SSE9u.KG|Yт 0hH0y5UZJCuۯVhÊsK/(4Y;>BİpZoY!v';H-` עnCRp94H42ى ԊM[}W>{B#md&+A(: +۷{;:}FKaAǖ1Lj dl75 -ˢUQgnFZ=m`*A-(/gR:G,a}-+-P3׬[ [Pu52MҨHV>,^n]\ۛ mdjΎT9ډw&b*eaO 6gYZ x&9 /7# dHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup7zXZִF! ꭹA+]ˠ)jk2p O6LP=͵gl5f&Di5b^8thKg~ZX&\-nsg=OcH,ߵcN݀R+ڒjl:Y0k589, )E|^,1xa_Jt=p`zT;@g'BocϳDKo0PH$7'p!4u C&$|#9Me<ÞvdFѹIB p0k|T$eah VpzW:",}qT-ިa=i ί̏fJl n;ls< `@.R8W8/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 rq8L5M,< :`,_K')&6~it쐵QXc|%j-r\m?_l64R ,n~,Н|Yìk"%^ jI;*r$m9 -'gmsK"QQz19k vAPlجyD$w?7H=s ke,k==~TKBNw9ƌ@1%BuyR]`9"+zbTTqgbSYlo_~S6i~Z.f4 I's?NS\jRYTz-4QR-XgfPjL6ZV ƌ7J\ q])Gjshk-d9!0CӔ5V!QP_JDC@干>wqӜo |?ҎAs^u7?B,Qs4U*sT?4UFkZ-9'N, ~ixgHЫ(CQ,Kdq1oAҲۤ72LģbS< d4L[!}>mqCs,K͗o`ho&3he )ۗzvA튖W ] vLşIJ& }1dqѐmeK$g|+.J!"VjgYZ5 /E# DHOL-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_^q6Z oUaYa^@}'?= 18?1S*]FSlGݗtbGB-MbB W+$_ =Gs&BY=JV,YS'v o*1˓\w΀-9,Ꝣ+\xdoQp$rdʅ"6Rꢨ5^*X(d]/~qMjA zMKם IoK! zkaPODL_2\]8N5\.bB˩{NpIV,8&2SxqQ6Oݿhn$kfQ(dm|4.%(xHc\Gjos%jkj}4]eo@ p:yuK33 ( ]s}ˆ^ /3GLpygxGBP2;xQ˙Ve"%lhk]|!/x:Ӹ.v A/mR۲8v2'qBD!P0r6b\d@)xBWo?98A2$J䱕j ]!uvSCrej_Q]wjjiFGބt;I*E H9WwGf u]!2;ԮnEHvق+1>^GL}$6Q '7 f͆H]Ҳۃ*g[6)?8j9 /XND VS[ bk>Tp|TxH5[BmH񕻰TO2w}ry9MW:FŎDU0yH-e;j-DC!@6r8G=>z]*f< jwzIJ뎇9?y$f|^e &y$nez9tQ@!\G2iQot C뜡![3G]䶀(11\ЧU ?.. ' 4/L}gz6Ηb䢦Dl~HJygywHF +:Ő5QCӸ" w8RFVH&jI:LaqVa}+n瓭̕^8dſtYi -p $+L8g{lJ tvST͊P@>{t6KvǰYI/0>Z/rveA2L'm[8ATׄ*^*)k~!؏U(Nf5PD0h^G;\ji-F١DLi)_Pqצrx“(8dm5(t=3nK3r6r_TSB-fLzdyNxAѫsp=9/[dѼ͹S8=w>Ԙj@cVB3Lž=,yM"avq{ v- UMځ&ˬPrU>#,@d)5ݡĄm!d{H5fG Jj(,*v59n u4!34qԬl Up` !lr1YWB`b}>p]͋yqh(Z3vn- +&e? Ȫ(JwTT 8> 8)R|-?:˳@*1Y'4q v9rt++52K&_zP:$FMWBTjy>q0!W_p,e!'ݴF1] An(LU}=}LaH(c{q¼qϏ0͵oK 2?UZ8ii6۩DX"dΑمl,ْג360Uq6&#Ꚏ (L~ unKc0ZXĝ0@ne)"|XUidRk"X0b0폑B v!'dlbN Հ園%^—zqh9e"TړB06&Jb`r/;AZvwe`J+/ѥ]CXb푾< "B44w . zsÁؓ .k벐Nnw]:pD+n*,s*Z`2adynbTMpne5qOT (t[?ۈD7ρ'r߼qk`{'E ]W&39wQkl*Ԙ~mں mbzi4(Eh]ˀ:x^@H'-x8kFqn̸7+n;n&j&ȏEe&1Ql}!=-FB^&vt,Hpt-Q@^W0QLcTt~,~rg2:ȘI{3T>Gm\p*9iaao?X3&S+jFQRFg:MsI'"3n#M,0waBlѲ2bgYQp/{ºԺl33~4mSsƐ%2u}O:WExCߧCvd̊`-Bq@Is/ҏg9ɦ#4\YFrpY8Io { t/V46^Ld$WegZTG,r.iş3n"pa(6ԑCPL@q~S!ǸB#,lz^tYimtjKbkJjm $ " EXJd*zVZzdlL/K·D8 m͡TCoЃ|}N;1v+[K7J>;5[ NRTgf(<[e^ky!Θ'#Œse<>"JՊ qPw/Ri J 9[5~%դYSsdm8nrJ񮰁\\s}60H,'@\J|eҁ\C~dSNaJA`^}F͜6O|E套[.<ƞHs7 o{kG?[SF0Ro B%A}0}i-ѷh=uL6DXYŤTo-0@P-3+ߚJaMxzˬ8z'M3YWgx\k$0)M/R1B^-f\O "uլpFkk`I9QkWn(). +>/lF~}R qTƊ6z AuoO棭}Du CzwtR*?wOA?ƞZn)΍p6AU|N^<؞QH݅} V&F1u?0 %X~VSFJCUxX\AeG} $gMڛ FLJa0#=zwmsI(Ws "|@PJ|a#XL[R4h6OObcw$XM% Bnڎ :.!}w!Z0LVhZ%š8\R{ tl!hEj5E*ff%#"-XM`Zc}v(AmޮAFyAַl_1li}՛~tmؚ=1?PPqyCF,aK]ۛ^S 2"U>Ѫ + &0g\j O Sۈ)g,Wi6kAH&Q n2SMLy>q<ѱ-sx֧ڜ6R5-{NJyKִjv^IN$k9Ie =ox9s9ڮ2gSA(c` >18D\Dob|Ն GUn!/'wtX 75r 7r;2!I!ЭޓM| ψ(x!ԳۺCeENn5M+2v|?8W$ 5?/2sHHpQؠ(dэ]mwv&q0O{xjEOwf{YuDAH wW8 Z޲ fͻ{,sRڴJ@=xR5o0s>p7D!*'ݚlM(-P96ILHS~:o.zbno Զ5@e21ҀY@=1uVFg݋$;njZf;r qNDpMp^)}@!%#dV8Zu(oTSQ뱣/DZL v QٌSP&mz1fABf)"yNճ4'9Bu߷np5YX%(Xфd)Mືc՛;r_db]a.UmݮZݣri칯7ZIB*g+e<'?-x.* #x!3ᵪj7 0sw5kp'Y<0y)"kmC Dv SEw0B}%=5 8c=*DO&acw;YY#$#=BRp":D(c|:蜕}gu3UBdkwBm&SEnZ :Ldb%Mٌ̊:o`qA335_<{wxvfu $w935bٷhD7*b4 7;o (|%E1^(r9 QQ..}-][;sakjT1Q/Q[ry(Ibrٹ-)ON&R!UuDof5MGNqnzY,*h.@pNX`Y.-ël۩\Q˟J ptS2(?3 WG޶^+lb: Q+ևm@)ͮYhv$;#{=o,'!b1MAF z@4'ٍ Ùty\,V!Җ Ҋs9~/KK̍9wz(mCg޿O4A0"vjK-0TE$=^W[y(r}vV}^UKszvk)kkft&чŔzvz/i(KⷮW~ 4T1P7:]5؇: B9[p\ּOݩH<\FA}HEC>>Or8<A)XQ D'R 6 CFzL+?P3xOdjH/js\'w-DԶ{O LF5Hf]f<! tT049]L`lj!qsRk˙GMs۳>^Ssf̟!Ͳ>?er֪ tJo~6kLj6y/cm9_.qVAQe`$#sL ^?ROd˭vOaO2%w5qt:gFѧ^M4RaRv$ZhwTCŠb7fI,,Ŀy{הm, qa9_GMjʶlf:,2EpsC$X[C"EGX0DqF)Vv/4G-=ƻmu(FQ!%R΃l4a:pFT \.Bu3$Trdӟ o7?}+z|*]Ң8`N7* ?`iwCLo㫓T*+ 2Ykx,sgǼ<2ڐXrH]T 8Y:? 6=Չ5s1bʖkՄ97UͫvE1fOr;4{U3VN@9-Jm*i93ra)Y^l9GӸb0K.${VRVy@S\X)*–N'jR9oO 8FLJx;G7sͤۦ[U>C :ʜRCx TGm5h(2**TD ^ҘlSy'( x\(r< D]/~~!+%8 *%'.fndzߗqX5=o RQ_qxn/$,p Sm6{`U ݳ@/A6U~0ڔ8)㽻eF(zd /0:Gmj&AOjLv1)%/l@e4O Jx+Sl8Ɯå{gP*א8 eU1WPQe@eP;*4pbmK{wVlXr"C^ zt #r V<}Qe/}WqvA{Gsh5Eө+1(]U} 0~qk`ANCM Ft `9ENoI)^KZmTϵP4Yp^=Aw{Wš\G˶ߙד# ;O|۞;?\2hB89q+(ͪ0%;lULܸʃ&T:s%ved13?_Tm}8گP EC?-$*׬VI︐6qT1 ouxdU/Jstr-CS)➀O\9b=3\Y'9%e&OD/PaQҶ+" T+KȴC _&P?G[)iC-6SqrNDǧ彜79c yݯJz0C]MϥVCf, GyZ9V !kG`.dG ;*f%rH`: |ɘ uBOfE"hӈ;?2勆/'1k'0/xBc{iBU^cGG)PI365GwQLd/ 3#Jy I,MXԵ#VAfX{X8FU(V,&.1f >"89-:WupyH<Jk1!se?QԎn@ 먢B-Yhʱ1܃˳}Ö7-(c[:br@#@H\hѐmgZ*CG0ymS̠W',KML$G JbʰظY!I8S2QԋuM9yꯩ9"ܓt܈WQY{/{u='y},sd=z_}]CIѮz |0h:AC}:s Ӗ08)A675CGZ-Ϯ LŋA_g h_!Dǃ‹K ݌B<]mF#wd~ROcvDI3{B7o/+]7'UgP*\sV[`C9YUMF>ĔV s =zFD$܈Jl Gbbu=<)t"/Mcةk2jh_>Ļma~;3~$%|:tB]w;\=JqKٚ&=U~?8܌m}tl{mB{~RZߜ$I$rH3j>e"A2f5rY1Mwpw b-a_qR4CGqYR"vn z [!` D5Ls۔"3OQ_:~6䓈j9b_esu˹\NQ'ܑw#Հ0@{Kh [B+;'D`|FvOAx DQ Zd<$e8℔1+E79< ;GReoe}+h&ru-36 wvGd_ FY#g%;TЋT˝먠!Ě>KɉmD˒:d,ח>:(M|CB(/Γ洲CgԴc.Ÿ$ `彦,]Pwǔns&㖵|ɔӽBuu c'%0`.?Ef~%~o7+~Ʉx~U 5KfܙjP-䙂~.{i9-j]pX*:ߑ2 a'+@y2E_1.9u¨}3pZF[27TE4[?S(f%twفkhF+c Տ}qdgaFS\7@jӉL2SM=ReD?̗A斢- r;pO*[4Sus J-UgqTtxO*Ҫ~{L,(gxt~3o-cJ٢A$yRmKSI:_sd3T_5Nu2C`w`CQ_ 'ʴl!uko)#Q#~S3pT;Wjd 45_UKW\t,F}oI\F|$<'S``\,M*>oBw(Ļw1.2/moz0ƈTO*s(xz,!/(Ş`fd\O7 G%ESU`O) uʷrC\V2Vp'yٜ r# }1@)3-ybXR[0"ի[i86*.AjBxmU"hx 2bm'&&(jȁeޒ+gZŰpK %2` "q[dGW0s$d 13}N`Zkx|eͯt$aO}t.7{1X'Úڅ~i#GTN/`h cUBY8hMQ p!k Ps˅yإS re+hH/9˅|otnjD}<#>:(ffI$ss7]g ,r3q__Tc-ދ0'g)ٖbV]O֍bIJC-C7|y@TyPSpxC 5-S_ePMI8DL 0E9cu/iPMw8ELlT&Q&#Ec:OoMiT2d8 pP[+.;tB Gp٠4Vc&e_ܿ^9Lz_Y6Eخg`::rzڽ*mYf~2P'rߏelw&nHΌhXѪ L*zex }"jP("ZfPa}x48ҥ<iLtJW1a .@Գ3eWn>&EAӔt`.L:F|ke&v>cI=5(aHA9I6ך|Ĝ*A{xhO W]䃯ҊfhWazjjai 6)ݺxvXTRc TYIRY홢Fyq{*ǸN!͜ބ@RMj|Z3Udˍ^m7j-tҙC:*Ӹ@^qGS/Q_+m|ΖkP~ +ʏN87RllFz{|{ˣÙpy:kÖ=}wBu3C)f=~n}e[P<b\#ELs^}t.X]x ?]d"|GLȹ = +?Im 4>%&_(ЁaWI_wU( rfl g(=eNLh-,?SŽ氞uSQ|q^]JWm:0<]Swaqܭ$XJbyws}N]desrs`BҦcpЌ-ธrx@"‚'Vi'5{qÔ#PFcP=r1FS17D1c0G;3_FZcs4C)f+x|'|sГ nQִg/* 2g& sQbDL58|^ 2`Y朠>R ċf1W͏ӭT߭SY̓wdy 'U=2~޶ݗMeKE͇V*W#CuBb6T#yV~l[@pzPńsH^>e;`j*o\K̦YqT]~v"{@KUOh$=:o/@as%F鎴_{rEpQi P]vMlUټĉg-xG ^՘ZQ[0]sf2 B>LN0cSjo3Kwj-6obDuEQ@WJ=rdSkfYw@{CTXj&+'/nc遃@R8ZlAHqM9G{(XQ 0._[ANdZKv̠m1TE C{B~x0 *oٕ uD&)V؅sh_ȿoI^ @3L6dyzHF\/!*̏Y 2Qt67!pE!#2;~mRń_aqRI6BdBifhE{]]ğ `-I^R|EmDB-S}S DXJPZ(|W!I; CuPQJ#C.h2QY:zskc*[#ѢPl{\=I'TJ; msi"j9Q=a T؉Yo`ꂺeU\@؁Z)Y+%dw5kI-Eb:b՞lUGwQ(,S-Ր+瘞O8Uw iمڍlhzNjUJ{;\I 0j9HdN(Ԑk::u-[a%*TG9Czզ&O7A+VLo.q< j{XⓓVQYn7 6s~BN dP(e%KX!~RRؓ)xRx/ĺm_WS;ʍGGQw F*g$`@UDX됋~?±L`T oCP7B,m?wǜjȳJ\/-=Tq^t~u!@9IID4 2%jz8 ttyi[vҖ0lhJ :rFj!*tsy<D(; KGMWh3 u^]~ńjK٢IXOOw4k_\eM1- XKUQB{'(F!|HkT49wFDE~5`pU4ؗK;h DbiZ4XD -2t,AEK+Da SDKd*w*`_:jR!L v~KS9N&S\/D}'qFT裲1i`>VRr"A#RtSeudgd-aU0lx6 ~Yr<D*AD 랠J *Ð.i#Pw(vUץ6Z%Brk*=w_@Tt+"dyVBm7ѝ(n3 +HFxތ _Oǂ*МͱgYZ >  >M> /E# $HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9K]ˠ)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,7M?f ,e%#`gm|3WѡVsAhoPv L 6k+3(ZgRV4C-4$E'dA@14MDI..0[SU+))OL'bЌrX:?.0܅ɦтF"o :2ٚUOCV=Y#O&"e֮5$|RL4#h2gV'Zėnj3azZ/w4s@|ˮ á1D:3@e }"[JWC,MvÊgF@=`E\)8ЦvĔp`̡߉Kǜ)/><0Hݼ?$3%MΠP.S sGQeo=jϥ[Lڵ6ȐȲ}ff.']iBѶwAY70b34$?X[PauvPZg49\_G5W$2Ru0| _G˯, UqM)~BuCEsӇAƴٟ+dU)$F^$T^O H$60p޴IcدTAlǑL$w̐"&QKfq5 wOkrZ8ש(̊y0] Fޞ|`1}uLx~/@Hҡx{ʑ -!iSɌ#4-|d &Y@@9pN.OHh pe&fV }mf'vqILI8ؼϐ4ì i?y(oY)ң3={̤iYO8"1U)lBym&&P^'GyDFa9j, )sR }ѱ#RNiŏK*FjT#ޕQ$c#>;3;$7rrTHO ǟxARm.;Vpy /çxl* 0P>'aYzLCUpKe9HTBoFwFkIIbxL,-X7Ex"!w0?e=/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files~~/src/HOL/Proofs/Lambda/LambdaType.thyG</E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id210N;/71*HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citationsTakahashi-IandC_:/7' THOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7zXZִF! c]D?7 {?:fH\L8aۨ> ?}*tV҃L`B^q&|8GM h|܄rI\ؙ8Xo<,(]:nkEM\|B  Ty凪KU:2x}U7r^Pz<3gdwro3",׵Da2_dVat<Vvf "XVh<!RJXsr+QC~F0ꇶ!6;Bz3#ێH&ռUSFvE0ޅqFi+p3/,:'7ˆap`͢Y('{ ›%羆 Jw(bUuyk'Q$%?1> K8Mu#.ׯ6-ށJHzޔcjJ^0^)Gn m #Yoд88$ k[kuFD+h=H>f $A^ h |}o{yf?ĸtl.f0\#2CgYZ %F%RZ" q / :N Ni _t~BN ZN IC >/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/files0D/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id/</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messagesC:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markupB9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/filesA?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id@?/C'HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages*=/C#HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup)</C!HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files(B/C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id'|'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# 51HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations" 5['HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages!</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup ;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/filesA/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id 5a1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citations 5'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.ListOrderPIDE/markup</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/filesB/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.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 J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK/G= HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex "#z7s/ q & q 4 e ! ;'i # r 5kE/E1HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsH@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messagesG>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markupF=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/filesEC/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_idDC/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations"F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages!</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup ;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/filesA/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/filesB/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex >/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages&@jd~hn5Rcyv翛X69XpC>bFϝ#vLF' J1!fcL׍-l{ Ζ=8$42*t5B" tP|c+^p [S Aᠡ7Vf[L(U7@3%?|=1֎)UKjSi\yJby7 o;d@Xbʏ?._7cm =̷e: kLW,c: Fҏ%eRĚ3PiA4^?}!VZ pZbxPͥ  5 \Vƨ%Iن{!4X M'n;%N7^z C v:[C q=, ^ႄ%ɑ {^N=GNU J=sH;8H֣E| XpsH^FF~*Ny-wH%~Iݶ -x6R;|~Uuek|K9QtK.fz.pmsG#~2$ Ff ʡ̓ ʭQb-YzҔĸ0,`uDȃ;u T+:r^z< Jkec=~\t[F$jح3C\r[《M p"XxHe_c/oT/qWr;v&*q w-KFB1uqh}Mۖ>ՂtJ.Ɠ$yXMrgx;g4#3O$}pYf=gYlD)57n͎2 Kie[*Ɲ׿1-&DWq v7YMd?ְe_' 0_5̀l$Ώ}].~xܰU"/-Hpؠ-h-lɲ+ȲGIZ<%`QYqTj8 ]ҶSPotNJ o{e"y}!Ćh!(=e&8 i*> #ZkdLSJ= q D FDk{$!*^>}_,A!Mw?3'2;zB*H*TdYy \71^ۍ0QCd}q+\Mojeh9Nv.Z cFۛx7ӸyZ1[9 5Yo-Pctk9v b{w)7`UcR)뻔 ?@ʨ D1-m&*![,PEgjWӳ4'gN 3.ͤT5;3>O3tm0j`C1ǭ~CNuǴJ$FB/DUre{iUUgZXm/7wȂZxE Ib{Y9GGp 1%!|Q}!{|;p؊# Q7w9t dìl FUݥ{c}LϭvJ^L*O&$dj~{:OM@BfG$\ S6uk<7rP:} Ϻy'}ZdJʱrXStJqݐb, Ճbdt24R<"Z2M뀴ɱ{Dxa(7jimBW3#gx um .'6,`w﯑0;nb&xe] !'բMKE?Uvfkoccp%3P*, ]zibST.|\YܘL;Z<2Ν# Rxp2S. kd4v6MCNO{Yr{)[T<"cp eLF`% B>0Gz(d,(x]9\_~1NЍ @U mT/7OyRԟgѠ)lS3ݚL [jMEvypR@13*݃ z_xqVE^8ޯV(T5"e\\ո@dˮU(["+7h]{bʍ mA#K"^7Z[!5/ 66D5gj̓ ˽BNа}8xaT,t\\bٛ}z0Ys} sljTR\y6]?:8 3wiiAv+^pM/!Y^# `hZc9 N6jJ:1Z9ZzL>e=rZO@=cHpd=[ )+kV0[cLSk)U58n^0^$Ii 8]ڂ~Gx"5. vKCh"Փ`*u~.#l"83ʲ+#kIY64&o/1-xV o@(X;##V!}jUh8dZPrT#KbxV'sZj{m!eAjj lnWK"H3!hfZ,kE@OާI~}{B¢O,f Qݲ}C'|GY?ϼ8;7#/X7 =MB&c&]G=~`z/=ݻ] n㏩z!0Z^ݲB-n/zT%y+:8 (EY/P! m?PYr(-13jFT=WbbBN# j"&n*({0s \BbJ*дtU5Y4* UĤ($7 q R{ /^(p0tĒ&NDyZغb@O;\gG̚<Ѱ[/wz Q҂ ho^|ʮ_O=s2SWPYe T =! É_p%s XoASp`"Sh 7%xEb'YwB.OQPSV;)ڄwSRL*ake W0M>b ։u+f16-夻H0X&y.u5q+Qya[qz3G딅$޴mf׫t؍ SLj:Ldm{Ly]{SF^B9ts*Q޳[ OD}>Eda\?eQhdqS-O5#"59uQ!ɞp!pƈ("`OU#˂G*b?OLAjn8Z+|L۪;l3xz"^9 d -cH'`x$,C|93 R4%Cuq5lUebF5#Zh뢔V,…vLucSx~.=Tj1ӛ_jPq͹;邵_'oj+ӱr=wD:N1@2r*}s^");-M$S 㨓9?^KE\gWtv.VzuM_XAD(jEP(0-whZ{y=؄㵳IiL0U~#jע:9m(FkfJsZT(nF8p<7#? 9 +Q!*nׄD:k>O`K r_V +lNC&F|+m볕pz]#Ȩxy|cTVނunߦMrdس Ҫи[i^/S3[U7jST/ɡG|!rG^EpfE .>~?JJĠo%ogz_R~!5!"ke"oΟbֿ:3Yg :DV۽ky >&) -/􄦂C|o,}Egl k;⒖>&{0D]U_幁ai$4PȬDkφߺ|K1|jR*/ [ [hj-aXoT-X]wC.p6&Naط>tSh+a!w ?a onbʇ7A p9$JO 5TJN4jga)#J󹃎c]eryky=!RQa1&Ep<\|9bcO!:״DK]jHX@-3ԫ*ƈ'>U[G#:1 ! 'Sn"KsvcaxIʨwbi_[vc.(mep nR,͒Ib 9=:qnLr,=-vw>14v ïD+6R& WDM֓X P  7nsgO&n{ ;S D6^E.1BFv>xZ J6y4h{ݱB=PfGCf~~]t;fbjCyxi 8wHPQ61[KFP6GE$Ϥ|as7v..PR09aq`s ӶG5 !-#J$;9aP{#,10-c>/٪rkKWGPKۗHPk W$ra1X?`gg${ܡwh%W<{_KWOǔ[X`.b0#3lB/qqZտpf3⇳QQcn)ϳX|4WI]r{>FĢ2>V_N(6 p;Kּg%teXOO9|yEklDPϽᑤ[,;qμĸ#@.|\wNEŷҿUt$FF̌i`r ^BI?Y\ iHb(-\ԢO7q:Dc]Krn@0إP4+Y!nLSR*(+D:h eFd,.`H-훎cCNS5]uzBp_ᢔT(a{к\gc]4.Jpi$5y۷ Sy%+Mno:pye3I{ε_۠\s2:XKڀhkq;|e5ݙy |:EVcfV Ǩޠouc/`_Q-8P~ߺ<O*wQ/WciSP7Aqp*rd^A[ \uQssl?LX=`:bTCrd*%/PS#df+x.{Q<Â+ZEe%xϝg l~Wڝ'X`tmnh_E4!H3}\c0eس <ႩTRHȴ2\f5YI$}zjIR٥oğN|#<"Lsd(%<xf??7JMiL껋C3v2, n0:7ќǯw"H.z'=(5M>r%G,t0)f.u3^*7BQSe|jVo@jO wynl+;uGT^Jx R X =87gsˆ-ؘ3`|rY#|m /[.KS/ -H.F@ؿp:Ҭ#|YcBGw(/;V湕+VpDYTԮT bYua;a7CFXM^-¯5vfY,O¼fh@RRr(-^Aq'-nunƋ<.o%Pc Av7\6m{ȸ<[(gh3"ƞ]OӔpQ賱eQ4|lZì3Sj%^aRn\h3lOe 0jzUGRؕ.D lEJ$@Y`oGtI'xnW"JM$EQ?6/o ~HD4)hԶz?-"Ժ4ؚn  zRhJ^UL(v"嗨}j$k8cY+h-۹$ R<14۽!j U7.fKNGPFK~ȁ'ߡ+f,#c>n$l(wC?0ƶk0#V/F+v578X% P0o']࿹@KbW)g EE⣂DOMb[ȑ+7UPe﫞@OZ 4^Kh7O:X?3O]%;S:8̣m4v]-I8|NȬ e jce2B}ȭ^51E! OYAO6#imB\eLE?1Od %(꺴t {=梣SoxfnO*ӖEGf ^S Ffn#L["ewݝF𨻠sG,ⲋ|H9K}@&iYb`O jv{]6VB5\>T;@ݭ*hY \oyfG޲$Z$fGj\ n63JqQ%ds YPTUȨ{|kwEv"PKqO[r{Yi+Qkj׮ImZ1$Dr^bC_ :C+O hܯ,ېbf lPkۋ(saꊈd >Aί(s}eE0<ҲJ."B-& )RD(VK~%lexB\!rȿlXǿHeie4i hezzcu Tٯ㢆! IS L0kzc#;FRL 9Vq}NӎK?BbVT4UnQUj\/dM2}SuvP"qB[J~KA2 &A 9 Q[zdV%-%@_hڄK Bl=Ͱ@bŋ눚7.h(fo4*fӄ&CktxyF8.;#0W溋~49Dm `qA6-AI?5%/[]ڔea!իnnhnwu }&Eh7AOټ?J]Ro=!Tֲ0ܾUz+LM w J!F'*Se{XҢWDž!Ġ!ܰQ@BSغהV1!4yB~R(%)HoXO*dΌgtԜJ}%R"`J!f_| +nAr"p gYZ  3 sr)eE/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files~~/src/HOL/Proofs/Lambda/StrongNorm.thyGD/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id222~C/=' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages7zXZִF! ~]D?7 {?:fH\L6I|LnmwDSCv ,ecn〣0J@ON @ܠqn \(!nu}Yg;,s-Ƈ\Jz q`;MERVJ:BiՎ`5l1*m߳s"f gPV z Z뭄V%vX" x>lI~پ#YUUCJ hH;کzc:8w(CkMz=Qmdъߗ_yE q!fKe5 Yw8ODqC2~rާX(HQ“:i$ 8,2cxQ)< xL˰~c@s*^iq(hE%}oh7gf/}CC,ς(C`-_ ןy.Y]0}kׁÈyJ9L<#ջ,2ޏ(!%Y8Euj,/kiۆ!*&]^O"MY)聅AѓTGֆfkLV /.g |4"0gU؆ј4ayz;,ᄻz6=3~?cؑ>JkC"\mf2͂wH:j;d*pX">.]RcDC]A/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files~~/src/HOL/Proofs/Lambda/Lambda.thyC@/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id200J?/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages7zXZִF! F]·Iq n[:|&[zܒNFЌ`"`}4oe>So6[uRrQABaX?9]pgkALƾ'BG)|lW߻(zHMo"m8d@.".W `!;ll :VHP/3њt4J6THG-wf_H-h*RxjKDryb2[HA78> "CZFwLUJ""H| ])[Rv(AvCI`4e !03`JjrXUj;."k$ݧĤaL+G_;}55 kE.~KE\ڟ$9cwx^{v$2-i갠 zc_TCI%(5*6G-@FiR7TIr{(MDp>l |_.ϲoY(ͩO8=c']^IE` iZ}W4/;!aGǛ5s-m 92tG1|$syVVadK+Sבq7BhvXz\BTIRH yaDq+1F;tĎ?)ڳ p4}cy'U 2"Z4R7cd\ .iĮM ]{/jPF'd&oI(V &q8HB媁SvP(m]TN-Y q[x+daսWC\<X Bo lbȼUd9Ju8?0nDW)qgYZD59vq)^ %X*Lml2Q-ظ?Ls4_̰&ԧr}42"rTEݑkdi%0]p@rhgLqgmZSC*ur/y!1_\/A`4$>MLDUICӈ+]}C."x~-eW3%k <, [pTM*]Jo-}r#1k?@fib57BÍ{x ~6 *ԪV0; fN$Nl炟%4e:9VP~Z̀9} 1 1 #cAɡNeZ],һ9љy |^}[;+/jHX/']iJyn䧾v3]3J 8 c;t#_ax`JmcRYPvxyߘwֹzhv~({ N~,RZNb״E^gx~*=mDE/:m}@N ,gHv}uzv៹S땔 kܡdngU'nVV_\|/X0*_6Pz\>zu mK33acV^o"0,Ϻ/O*P{(J&h}fzW RFsgH;H1)GDw]o7%+tI[]'WXDT\ʵSc e{h"Rǘe{qPh 2y/إCq^F(n%xcqU-] +qY9ILUH e$^k"5ѭ? FMgOfřo+JM5kOKv$Ym!h{|o%߸͑ N#dy=)b8Ce__y9=+u]tc)d8R)D UT*:e)@ghMBJ#Y(v>6h9rvh9EHgUZẄ` L7$r\C±^#Tnxlo"U_-٭N`,'Sx28Bֳ\JFuv4̕ HlXሐX6þ>ÆG!q:=ʟQT ow8B@:r0f=*1:N֝V9QQ52:9Kׅ6l(Pn҇O61R]#/?qGgƛw}oTLPpkdL@hVה<~[Ԃ# $=ͼ]tciT,t_ʻVVlӜ\ aBؖ;~|#Ԕ>Hifs49M|8Zz2s~;Z1ը +*``^y=]G?a+wNzGXk-KUYps*m1*YuVf b?$u 1~ǺQب VoEƘGvTYB`EaoZ.fL0ꚵd)b%oQiq^mQ+đǼA*Gk&W_IuM#So.)b~MvM;mh`B=*ύ+e}f9qļm*]cB7?/'ΰ̭ B}ciƑ`k<}\!Xc9.\^@~ybD$\/B_ŀl{T#EQp( \"_k"i% 2zlaG R}t\ԀUӀsQl څ9Nf{UJHFFycSBGloRѰny)\T.ae'b m[k%l.UQr- р(_۝&7gb]|R7{xF DžCc]hZb.%PQU؞mqG%zcǰGd,<2I}­@[K7ZXK`Ae(+Ci QA1]*+߄m UW&ˁvx2W2}hǝz#CtQk3z(L8 <2b,g~ۤ*3ciYldAkϔ4雷$3U};k Gl*kaorf ^Z}8 Lw|7H@UZ8KCgTqWm.ϣ {ⷰ@t%YZ h[PuK$'PJS4A%,f`m-!V?ERdF~ FG8iɹnKR*jNəmAVJx,NpM ;n+I W-xQ5+4ÿE}2hUg,`0Cv\=y9!Jaޓ{Iͻ )#0!szh1ѹBEzp d qPN4K>'gTISTr.M+\AU;(Yyn5xEr4Hܩرf(k)N*Xz:")v'Y(+P!dҎ #/H aJ(Zʅ(o9 ^ \wy{触60B5+T'H2G 8 y(akJ,S[Å+9/1⮴p^vWcNLc-̳c^u{@E2kqC6^]l*9g%hlgeVY42o`NAg[Kҹѕ8ٕTv܁+~qrD{xYX+Dh: D) [Et<#>,n@pےנJ`l3l IpKHz֏2FѿW=F?(uЈzܣz1l 5PK3DdjΒ,ewX#}M嘜XցDd+St ʑ^ P4-O༂r|H2<UYQkܛ3]Jm(`'FdAc(&ZA;s ?jɁD]2Yuh0MEQQ-]F-u>۲ַ,)ʗ2U 8SC @6*K`gywS#zΣCg)5|j.w8 J/1ᕉ)  w.8Rgh4]R\a?:1p~yDSL.Rw+VS j:cH[J{tDĤPnFO Oi߱W3Ȥ!*ە@pڥ\K>ky턒$^x,Oی}3;7Y@ Vd~.J`2>8,dVRbb)LOSVs +ml5ˡ(,^Y'K)flT^s ;S\;ҹ|@o7c}/*͵wHѾS豪 tߔ"(%_|g{ih7ټɌ޶$<) Ϗ*ըsbdTɰ&a~5ƒ}$4.9|8K9#Ua6wg/!v=z繝(Qk=,-Ï{p!v/:DGR[ ҾJ )Md׈\Pm>k״u2";t?jE} ԓ }uQ _]vU=cH=j +E- HZh7@&s(̑3ۗG9:pȟZ}=u~T/>Ȝ#ʡ۔ tU]nў6mSm;Ʈ?}5,V 5).X\X׺3+[~5*Bڽ/B1/!%z5Ier]}Sg͐PEBx bMjO^ N1n*؀T0VF3MF[|Yn65LgCU+bw72gB#!wܖ23Dzkv(L-+pg!!ݗ/P`kx OŊGSee?,Bp ۃ3]L# Gz@p.=~ةp 3%0 U$Sf~oo+"SvO{0n60+5e :*=̨l_{ [@ ӎ7Уi9j,XM2iVrMߢEDO1-ʳc,G .}{ Xb]wayF!U1;f!I᫠1l108!05l'YjoPctm:}EoDo3t+E]Ș -;|"h [3gXd:m)pv&ʁSn܅v+ થ7F%['ӛtSSaMaz8w_D4ރGb1B4bsڳ`)#ߠC=0QNguq"H\j5z~%` v Hڜ~r6d\Cqo˓1!y*pL/aw7l/`F\kTE`~ք8'U$}{T˗%^ZqYPm cjST|:PMũC{3td {ҩdU/}ԁV (SW&Fqi[ 3{2_SViqnrrLzd&?PI/\}^ ֢jx~p-Mt)^t!-aY&@'yG+f3Mgl'gVUԢF&tj=UU &%* ҕ=p:䉖&{>!:(-'SUoT@D|O]D\ݑqtd{[u\չ{Aa^3 RT`*ו[I P#Qqʙ H#'+ jjX-,`v8qUUoZ<ڊ{L=*_=goκ ٯ3CuvP^iO^"}$=&ae -yo8kDv8VW3֊tp*-œ'9C~낓fb{k. 6i19Hm}:u|/dUNM|77*N0z*hC S0O.O̎lhE/o_X@@C\3q;#f^IfzxN]5|>=P V3``ZMJ.eS0Mcd D`]KRu|՜9DL{CxgYZF '3zfTV{ǟ=u@-څ v2gI#9 t5ޚբ㬒Ur1]z[)SFa *l< G=S<&jS@PߪIjSf7_u?("hB'2Y6GMRyqljvDDՃu|(=GCI y((oQe 8wpyGvڹ)D">huuOhyxtlva?oz֔QFv75<_'1*1o wEk)^0m['KͻJdjZZ);w]z BdJa u{4$r>$yq uHw a|U6c1#e]sJ4L> 1ţeO͓DQ 4#eHF79b3*ibc};Nd{bYmwi"2 t \ԉ K--d  FWsּpUU: 9&3aO]'ӈ iv[YO(>]V'uz.*jʍ1)-_{PlB"A;/dz* {A,B[T.d<%ӎB^ [g0nJE O /EnKotIo?Ĩ{?G;hKIUčFóq_DG7V_D,=R#պIm|<H;^w(ʴRԱ.ӵ|yW2Lb0Í|bQ:Hs.c z4Х+K9Gt%^;8:7Omw' h"SL-7]B*ktI}t8\u9'Qy4B^eJC߾YI,wgVMM:!x''a64\v51 {)!*SHK;GʒÍ4HZQjuиᡕQ+f*t0Icr:vv7Xh-Z .ta)2@t3O6xU.>ٯnŊfJMNPp/Btl8o,6Y:#dՠ5x1/;Q 2ZY[*?|TkY~>ݍ!ivM#Do+G,z>LNӐk9Tb/LyrWPna [薞Gu¦cUo6(gw&#&wڱ;B5 7·svk!!Ęj*iH2SEL~Vb xIKp(`-`W-r+ʗ=6T>QfrE4 nV=]cF2`uˇ zYv=7r}[ `ɵ%`HI"۴q/t0ĺ0PMo6&JbfƬ9'mg;cI|; |i@A>_R)N{p{ıϔ4-vDπ\ڼԪFy[}]?gbrYHݗZxق!)oQ?bmGa1D'>ź, * ًm?45܊]R>ѡ@,x+C"';@/Ԋ^6Uc 5w0unwxaxj0PUsR"4i侸ϼa.NzPK@( Ab<+GQW-ԣiC~NLy#vpǬ5uś]ʢp$èY,3ٙSv?{c b ?fcJ=w10:}%Z9[9 gIA; I8 VY~2ˊ[=l\Єm2r&JUGc5yTG ,"82@Rr L#ls|2 :×9Z=aS{s^ IMwA^0e,|T 2 f('Qdod2FTgB̈BKEа^Ϗ'^sԱ/ؘzab(}OWa)R.xS%.IU[,(E!mͨGDE }ςR3ؼv1۶s#p2>TLkw-Sss3/iO8| 8T1J(!3Q;q0YZ|'ecjR$* ^N6gױgQ ə$[O )r3_5ACnv"p Na߉Ẋ 褛MVG;˼ 3a0;ԅ1ښNTJ|'JVqXE;A y04uх=;!9o;sz,nO l%_25nQu-XVGD{ӣg3)6V30NT _yTu"9q&,&|XaqQ&TcGH8ɟ ՙT=9TUڬ-8z,GB"wNlSm2 վ@} &oL 1Chjs+0iO?"u7X/UJu JiJVsun.ʍ.7wlrX>cַdl~nYK88K zJ pR`rR |' 4cS1;#"͌ LlneiL 7lv5jLXX.W!MM53 W@&fF.~Kj3v>Z$>MYo5PڏQ$ƚ+ vW!':YM,ݰ2F I-/b.p-O ewΑ, 3=kkvf)nܡ~ZN܊.^[Y<^xիM3pb B>kt0:Ͼe#$H',H# GE)?>JQ`[(T!$,}E^1JuP]o BD+Lu # e+{&xyJ ~Ȫ U9>g5v0V@q 朕kzyo*I궰eWbd*)wNjmA(? 2(BY**-'skr/JpðjOkHUiĪBI'B)r_u|2Y9-Nqp .Ūp\iZLZѫV9y~AC/R^Eqaetz_C,rX6mf qpd # ceϋ:}?fB Sls/*-ٔ*e v 2F_y<ʹ 1l)7YNDhv+ף][Loԕ)*)#g[[#* :7n-w[R#tjA i!' >`:F}Nп2kW#M(|pj8t刭u#c_ w sve!h|q 2^ju h۩[Ԙ{nau#.UǸGɻJSXPpwSt =k[~U|;g-X#><3cԤꉟO1y^!<\f#Tu:qmC  !*g$>D3l'>:K~e߃u<ڂQtWUIMLߠf8Dֺ0~A:'<" VvEoe߉2F$a>oޞniɽw;?Tc@<%&6i`;ʖ@2k%FԏwGW @z2I"#ـT}nS.bZ;M{xdžvSzӵCEro(iI7i>lg5v/2MM!v;WBSTiD"˜`Ut1]YnjMN ؘq3 :945Msl/xO rKk=0f-xt@ĩ,WV<]I R4Ŷ&o>^魫.BXBkZX U %xt^Ӎ!cdQe & 2t wDO,S j61_Lgƕ[ S B{5'y"PA ňu<ġ \0-CDP|ntO:bUDyOVu9"|)flGch J)ver (KHWz`FM&-ml "w&Is!!iiq8B=pZ]V'''$SsZEP4Jj!~G.辩0eާDE@ecCҧɀF!%A{~GƻTcO2xf&yG+>cb M2)>흎58Dvxݘs]wF ^=@n}nUf]oK ^bFŦC =3 9Q >*w}g쳧HrmgKS?fTiE$T,2˫YAa-XP)gEϔB\bB)}-`[d| ']`-^D$?m:x^raC3~-{}>Okۤx-"Fخ$iwg,f\PKAD. suz]Vՙkvң=o4T޿95]-]t(BՊQpqPPK]IT^394,L&72ғC}0@ŻP_B^_9 o Lq`$&9JHc[.5"Nd= =ߤYpC ?E .ŷ(_.H}ti~;3H IAPl/D CLJ8r'"e?#\}pvCn1-F<#K`buvg\?o6dCKI\ݿM!77w6ח(e_a+8YCI'*|Pt!y>I 0)6z<0WPmJnnZm#à(ctFiaq Pj<0ɂ,#T ?e_*;#Wd1mUj(MBK)Jbyϯ\N8-Jzki'll}#w)ᅷ}>cb59ɑ8@d9yS!?4 rqlaxOuWP Vop4[ꕈd]e:h`Y3pX'zZP*t=zu I&;Yd 439;Zo+z#Z|~s0kY 9BB ʆ1 Re" G0bХe_)jCT9?XrGF %}l͢q>X_-"R|:mEWT3/?ՕMf)r܄h2nlTIzV[^e( ;UAj$X|ơYg$n2SaޝLsף%ʍ0 `R@xCNW^,[:GOi>7 &?) ̑#Q[?T(K=k_[3܂lܽ_Rgӥj4s~ϚHbKFKQ"hءvqxB2AOt(G6Y6*]-t#g^nv9Axx+ّu$X`ƀYNh-v,ˇ5uQt^neC#C!S:zmWwz LIJS+VHek<HX YB(4i=uHRӿ6(G x1g5*2&E'7A$os5G&݋iL` 6aTw ֈgr> ;Tɸe8NF"ȑIpx;<ˀ,@_s̱{ۛ%lOʄW>­@1Rm9g^9W h4Gqש MGj'6"#8} ܂ /X **el$8,^G4XGl825f(MTvC].VLP/9cqP}p饡Z >sݹɥ8G~S*xjy^,Sfm1{*X']u[s*Mv뾵rU`jBlX|x$;B%GQgQ\rI+Y65ktkaNJZramJn/(& &xaGa<թMS{d?x4U"{Ym+T)<$.$k Zݻӎ%U&&I׊j%"0{*QoLCfʎҦ!`B9Ore%k)_Ae;Ƨ9*ژb+Z1<?d$v ),#4_[і0<[OXk^EA%p!`Z{z05Wb΄2"݆]C`.n敨:p5;Qܬt=6$Z-pzRgMc&GüL}K,ٍskg!]bl<~>b)6GWJrS\xa``.caR\\Aز MX(#yi|Hͣ`9^f'a̱9EEh 1"6W i2:Hpɧ.y]eK%3^`6Ew;.iRSf3/)T{ۄ)lRG(SS {ZhwY@O*zU갮K/B(I%㑅vHbf~wS0p&Nhf;bAr43eoeH{yӖgkfd'K;R1I&nGhh|lx;P+jA('qÑDkޒeykykJ~ɐtVS./T02VB~gx6Mo'8j(s{/F,(h Cӳv <:)u)~Y8 rkGE V}i&w0*7pώSI]JeT&Bi*9Qo;BPYCB/@n*$(e8kP7exl7hq^׾ޑvx^ȍ5(YƊ3E<5Pj]q_9khܡѹJD]B4Kj >UR'd/r/^ {{-kE$&4BqX7՗=VYpӒ9Nܧײ&]Ӕ{*1Ef^mG@q+f@|;J|]u3qDLհ+|3kMoB^^/P[e\@;Ij"|W)dDZ{{K[?AWwm9{20!)#<$h[Vu妡|fxlMzmc}MCLpO:*{HjZ,H|ÊĕPW9i{p)>խ&o"&Ur>]bjC }xHD)ﲧCel uK`ttL=v"J%TM$+o2ҺKM[t/ Oi%N#riP \3# XA:l͈=gH:m)be+4}|y4?C%EaaTnQ1ltqϵ5K*XoMAj3;"D:V$05gie%,Y^OW+,2V":}r Cyg>tI^XxjHxjMͷeUv"Nl|$Uzx[: m<7F,]+$N?I~ qt/F^{[gW;c݉*)8Z$Τ|?kyXafRxb@@8AzZ0:梥iQC,ҙM3ޭ#9ޒ]؛,п@BPI5;PHcpb!jfg#"ٶ姂%iuu–_< Hg`^kc[DF5ѣ'={ lL7#p?Q[noeAEfr1SIt*7[:JwS "-<޵+.#\n%N C ȼ`(f-9*4ujV|9䃿T%knޛ30 5f棚N1Q64^4a.\|"yt-"EkYxRoQ|BDD^IIrs|a]#"J:HcDc'5z;7j!=a]`N;}5w%H Yn,OgYZ _\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML"G/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$bW=-b)rS=VJA1$wJ$OFqx+U.{f݌|&~}{ZCR KHIX#{"+Rzjx:gYZiF /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:<lKT8  iMvI឵a⟋R,G>zor)vFq:(Uk'@hw j3F֖0uL:'@S()B\cxapp. 9V9}މK.7D%]qafAQzTì5/c ܒ0CS%Ā tnHosg[E qq#sUZnU#_8 j-Ue0 ,˕SѶ4(q [, R;6YT;w*%~[v;4WZ8F8u~!} Xmahǣ4i-̛]- Km .X>̙Jw mQ~/UEh$ -Z ҵϯRoK;,+UMG?QN"H#Qi.N5TƻAڗ\Nphکbxp" g, t9\CMVta}dPͬ:MDPAR7@`f8y >=2Wָm6}'eW uܹ-qw_|vh{-`]HZ0 s"qo1+.+6ɩ=́xa({:EvujS78aQQIh(/\Tܡ.b?Xa)bȬRSssF髛y@>J_vϽLPkVbE%h 1M"esL p=SeJ)4oaAIϨFqöUSs^݈?9 b\NfopC?c]FH4J+վH* Cg40ӹ# ]- 9jT[4&8RA) W\eE/RfO.E ґ>v%>,1Hf pq+mG.$5OR4s2? M\O8ʘ #B}ҙ}P 2:f[\\ҞY ʝNj0KpzdWb*!{$zy@zqĢ8:OM4/E#h} (`H4POQ*[_)R\N~́3"[;pnY^;>=}X:wQ>D#؛DQ hv p {GJi209os(9J35}US҇%SU]Q:9PK,|⼅ڍ8kz*adm:h G^.%,kWtz cp-ZXMOHFn$[TLғq B[x-!qepVfEXt ܐV\Su8?%(& kn/+@A]'n/Tr*6zAӦlSjhJ~,.Ȉ%,y3W0sg]}ͭ,3 R&^y.g9ҥ>j#78*0^C [ p= uFn|e+tg U @B$%IU U k8A~6o{87\_wZ@|yG!h.7L6_0| 6Ts:؍I{^16OHt2Q|-lq)w-bQ+1{|1ZjS~uMPDX`Keܱ`MET-^켢,8C.*gRK?`T{_Y:KI%*+ :` &]ܷk&<CHoйlZlH۵vt,5ܰ|';H{t!k4_2g,FB2DFvkKi+{QsӔlduD x@cW ̆e-VٴވD? B?([Mw^my?$aͱHB2?D\1G,r1˖=[ЎEݽy.|$8GD MfBW9Lˇ~\F6[G=B,#Px(JFpX8yoFڡ2A+ Osb-&gTG\30qndV]#4b;E.l>kd7}Ɣ|nuw}a萂)X%u8о Dؚ8f@1`EpCe˃ᎳW͐9P)}pFFFD h t ^p&&=Q{;W @Wwq2>apU?vcݵ9T22Dͥ-&ҝ)iO9  ކPe q:+3}7-;j{p {~tX'#S|FDo͉Foo+#L7 ԫFW~߄Uz43 BxϬyNQ:/pżyFQ)d`v}'Dn$ؽ)r=o1CnJjxUcb\7,i PzwX/B!_@(F1 `gYZ09085ca554af1bffe430b58e431cfaf4508efe4806ed097adbadb944f7e10d615753dd119d75a962 9df268e6df04b2f836f9c2c43792fb6c7142fb18