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 BB3/vLD\ ]/ HOL-Proofs-Lambda:threads=6elapsed=99.488cpu=119.324gc=6.2647zXZִF! ]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߬9JZ̄^&oo _[z}28OjJ`Š|Vi9pN$Ć@ɉf˶/۸꬗ !HmOV:Mo-q0Mř*dWuT$V>TaJU `pzU ;VPNc(27hS-2I XirR&< \à*9>"x}^ݯV[zR VDD.Zs7 ^>fZ"35tʛ+JLDQ/&.¸rA jAt]ymm$j![kjžm%l\-E_A>yAԦêpښnU.AGgYZ7zXZִF! hZ]ŗXiɟ11bu)a2W5KԫDT?ؑe7M^sʶzcB_YD)o {׀񤶶 }5.T@ DC 9LfǭH bwaL0fJJ@9jW ecm,`۴w·FHBlLbLs(\tZ~^l*\Utq qAV:FKR{_ob yݦoXdCA>!r֟cg[F}}4#vs>Dަ&UNc|"WAƋ%<e@W@7,w #Idqa":߱gYZ7zXZִF! 2^]ŗXi%QTAP# ~<κ(^rj;:.Z(`?XK>By|GEㅪ~.IFLeR<' _b8Ұs!,M7$+(UֈvR7F@aQ'?pKi)` uy(E3%!.Qxl%dIq'dpb6GUj:Z#y k{52|g^h_|G!T t lj+.oU]~݀ٹM8t!{Cيk3/ dEz }x{<6g5!M~I2, H{ {fȉQ:(ÖN6 <9bQ_qjB\2N ;8E8`̒?J@MjTvag8pV)qlq3jC/)\7*{q9IAYqS5ff0EXkgT4A99iܰ/P}kKe6$<} a6=vSú4Lȉj/Km]Y 눯=SՂ/؛NBMoR(^ea({0 h3Vvld꒙qpк_Zȶ3\zmfI[9Fm{4A4}]$AR MD?6vDnۙ ,rU/XHH%3А!sG4"^Vk~ƼXt9_ìWɳ$|;͌/6ږQhn?z8j*29~N%X$Ÿۚ(ͬc fFun%=sGwC!|rr8YCtܱ,H֥(~1eJb a;_>u=,jEKaulˠxN?"L*YsS~Oc&8 wx(JNԙbIl9fsw85x%}!y<;srs]T$ zhƤTTE!b+DnD|lkᯎ'.T9#5q""<1%|(ىv%ŭ'$zN;%*`-8',A4Hݭ^J!0]6a4dwnL ÏcH,ŔN( ,4>4qqg|GԗA/RMewt%I / HOL-Proofs-LambdaEl/E; LHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.tex7zXZִF! ]]A-MՋhvG"uIBm5*oDw#H)3ۮoPcP􃢂6v]!P[O蝒86/|X7Cb&+7Cto *(y^_p+s%2;y7~/@uU/4h͸`an-!\ ]i~dBg3$/eB,C}j8jj>`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>ٱ ,0zoBB<>79443110.,,%%!          > in67 } = P y >   o +J :O b# Z [tL >/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.texF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.texI/E; HOL=</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  l/E; LHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.tex7zXZִF! ]]A-MՋhvG"uIBm5*oDw#H)3ۮoPcP􃢂6v]!P[O蝒86/|X7Cb&+7Cto *(y^_p+s%2;y7~/@uU/4h͸`an-!\ ]i~dBg3$/eB,C}j8jj>`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 ##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:sE39ugYZEҤx{vx߰~Tdb?O!T'fȰawZC#YLkLGȊ"?D6kι`عD1"kHq v56{6g҉xlD}bԥ?@pxck(&V2/s_HvTuE1,o\D:2I".tǺ֦ׄe 4&12=o8ٷN8ּalxa7Dgy~evtƈ+_+;3Zb*:Em/=XS:JOBY6w4 rLq C<7 ۾ZAm!`r幮Ÿueē%"[>D_tw=Oٵ= pq^B>/0~R"BV" n+J2 ֪K=9[S@&.dt"^8һPJ._Q "~*7}Wհ~0B8lPb򁳘:aKQ ۘtmeIZ=n9mx--m[bKH$R+*ovŅl/_iS8'Nm%p. 0:FQ=⦎kf$N0,  nQYYރ|f<Ck+䴹NMd Ҷ;uhOvqUaȪ^Gu+˥KL&^jȶ鈚ȡch|NKi1 !!D@x#>,և L&FUhn=?JocpRK!΢PopZ,@ra# !O=&b6q5TtbYg7I |$+҇ m{zXoVo:-'sEzQw P2i?cوi 7J'=pPR !8mJ"`kyIz;{7 VO׀[ApǡC:lO1HE۪ޑ`.~~\1鉗,γ*f)0[,ݾZ,iU,'`@(}V.2_4 BuߋպJ^+Nmxvst~u>׆?f ^fpW^9,1:V{j4dȡ7*dEAf$eo.La^S謎Dӌ{iIuCERrrae/@. s?7 6q.HHL A-c Gh`CБՠaw3{_*2x;u#qyAR gwBg':o9bv7kX-y+;DU@K$kW )+Z3|Q}6i0*zB2=~hC!eq㈅Dt ;q&09 :.+t5 6>zy˗= 5bLlWN z.ɺ=uwBHNzLlsX s65I_+a6πJ? $"Va@)19#_P[/xkճT[-U9H6QaDgOJ*CL:F0v¿ByIdxk=?aY| 4=jQU~1ZA2J ` Vl+MΉGq˽1dpLj- kQ+[ɍ.ɮw?e+.A9`"0O%68r|?:qt ]9OuS/xUh,U+&svU4= 'FORCg)brt%VJn vy,=uM|:ݰP23?wYDӲRW A%1x+wʫL|v7s- B~昪X. Ҥ^єT k{-`pcrƊՍ=qʦ!cM*0K_S[~wui{^:ʓVĀ7v ^փlGs\^vm|B `eXOY7(gx/ot\(oP-*BfeL 1jẄ́PQMg@9aqkݴ%OTߴT?"ʋ&?)n*ګn쿛4R0kA/_h፻Z+J\@DD|+&;H?Vk7J 0v&ʗ]027fP kɁږ K9pZ#,T0E>\_/M7YcLt1+Dep0iF5m"k_?b-_X|-q@d '."4Z:n#Mm\sH$MDuUL r&f,KѵEHApa5TK۰{W/Ex6udIi\:6!^ dޥ'=bT4yd-b9DzbHa Ɣ֢׸"ÖJ}֑`#ILlewcX9q;Sf.1ⷍn%̄&=icΔ8sY]|.ŷgYZ ##R/OE HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex7zXZִF! b:]A-MՋhvG"uIBm5ȩ<7You_&qƺ=n27+Zv>bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBfҶ!5pDr\ʆI DֽV\pr',X⃹ X`[4^? <%PUE1ȃf;_߿ $FøvD5 DtOeHSߑx;SMSJv4x}P"+wY RxF ! )ot8-N+IL*|آkkH@ҡڕ@CE(L$Nn"ff?2ck@Q+PI T ߸*uR)Xf*]7#puش0{O=[j9 jk&&]C+Tvт-qLqCoL/+"ARvv7q`Zmp7+JCz@)y \/Ev 8Gs{Wi2 b/mפbG7$OF0Hb>m`}l/S59aclr; $]4*?ثb:y93-4S} @%_@< 5̲̖Ɉl@($jN [r<r,<0GS*shMͩ竒yX83MzSǵaնY3uƕJsj{3kΛd#]M)\{?ʦLhSŀaϱn[W{fbd]@49ӊf0dɊ6oA\]57o>q['}pVi{a TxT#NGoxHfh0#mן71eݜq!赒%YtgS^2v]`m$&^?kc"k_˃$RY F?+%Q9g0MW8ѐNZ 5eNtNSwLG.H+rau@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ Rgz*+Jlz*Uh/- :L( SCi-- OkK&38&I;7]v"Ct#.c)I[Ö́=O 6AU,w=,`S#HQy?4@cv4=8&. k]:*֗ MbFjk+8ra(D ݰ-sJV&oi q6"aȍ1OO ( ɣڄxӖ ;"o~!XyyPAWth,ߵllC= R͜vhCԍ_c2Cs`|–NxʛZ\K3Jj{Is;]kqjD߫W*XxlP|3XLQЌp y};η\tP [(w֦@IH8l:@'R5'ڛT߻2tzőVq >=\<8 Dؽ~-͗A` ]ގF?.l:Bqn2@&iV "x%֓ra]evd@ 5^nqT&|+93:7VN/+ 7AnSVyK3 wT tؙ_I緻 vE I ]ʛ:D{ "EíUCֹףLS't﬛am)&7@`n|[#w2(IuY@1B/?["EgN\S;Do>w`b qQjU"l5$h7>-;@emzX u|.=@&2`CWի}SGN>)^r9BH?`A7şyĖc`$mw5{sy-7ya ][jGz?Vm߯ՇЏ<4]cSOiJp05[ra=e'!ԑ&69Q ki%Jz`"ߤsgL1~.-fj Lf v+em!i-Wy"yR:Mel\`&HĆƶJ-`ƌ դbj֝.OhҍR؂`eDk IDc{Ͷ:X %ioDkv5a]ODQhR%2$†?@}qI= Df:v4(Z3b Q9Ous};l/Km/Łwʻg>w7 なRfJ:FQx u'7Jbۭ }$,6DVп Lσ?!dqjdmI #Nsig۽G/TEIut .Sw@Lܸt~Q/[sb^( ap&P2+R)Q; ܉m |%̹ 9#9HR[T1J:LUJ \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,YKlQsێ0ӫW+)YMJVOz[X,}JCh|N`(1̚e{x*p5hhG5e7iU'n؋kmɸQS(Y;zN͟xZ-sTQjv>aB26@?5Jʋ\h3ϖa%vK3=eKZ¯ctĸ_"3Ju/˒t-nia4؅RqKqg6olTQr҆/][$(z. 쯁 7\^Є:iw5U/FRa{-.Gt̮U1lMKVeh|L/lv 44iC|lեpjo:tS"=_L;HN-f/q5bw$D(/DoϸX_9}4Q DMA?6[ߦ>lD~uçK>kvӺe +0obEqCynr9P}A]+78}.ӌ441 @h* c\4F٪etLn¡S#/&d(v_5"Sk>Dg5bX]ް2)w*WmR5/~nfrv Q^DBbU)K)QJstP\_6tX*̅.}^/WJ+шB~?͆%hA^ֱ7[pE'9XcE o~Ĩ~j+N.yW/6Pi~7$j^9N6'QָKn쑽_pk9Ǐų.ŗ]8\g Pe~zˉ<h~՟ m-DKP&`uslR^}j56FHbɮ2m?9N "?Т89;q_jZ$?7/Wr7AbaotAf=AXې`|` cWT60tfOfd ;A>_o[brz)v6)qU? M̰x $髃pۼĘAhlj>3NOyuaV{^_+T)$T}/}wj.}q爝 92W̧am:TWp&L@ Πuذu3PEhSv\ lm//YoH77,v^}L<hbktw'5͏ЎGt9q?aJd 2r-{ T.΢so${o2YöT)9) EhDLɮ~DlcvZ2 pT5@*>+cJ dUl g_iv GPfdotQ(@fC&ؕ2# k.'Bx<^02aiS鴭kٌ4M `"Tte՞4 ]wc ha|-~.@UW#7xYL}҈SEE{HDJ~3iz\JA kuT|2"-Kyh!PX2TS[uޔhʄG)@dn.pLh.SN U H+4n6pt(}=w{$KU/u ҭ>bin&nQrHex +f30K{ʀ}|c6ƌJ/|6z)B9E%3t#dh(3zHbg΢ rwkˎ!TcqJK_Gi/2VOb̋"">Gx /Dw&L;;|Ϛ)WΌX_ nnQH\Qe)3: 5Ԟ^-{/[!:"P`g)̚xg0er[cI(=rc&uˑ ANmu|΢:SIX_ Yk7ֿ< "E_v!8"<$ROG$KpfsI.NhFm~ɦ3xbeMAstYm+E1;Y<]lr\3B|ό6Fu=c9;ʱ,"CG#daf=gȽj}| F\> 63FLs?90}yE fʾg p G ϻnIʯ9'Ny08ׄ#ĎтXA{E\ȟdȚ-zfJ$24ǵd6 3 EvVu>̝+Q;SJ8+c{-={r3}CƤJd C`+\mqSh_R gpwIaXhdvR/[-fD,ЮR*?_حIʿ 18OT8@V"z !')4Ta18wz%ʓQnkSyUۆWXJr"A:7YQOO{ۦH(/(zU-\ 7i\9XAY1Iȋ*z-l#u.Z_WVȜr/8fB2&?Usn&_GVCz"ыr}VQ;G|<@TF$"dF=פtX5d@`HnS\wK^BUq3HM$ߡ[,Ș6$tM RJ>o7\0xdQ c6+u=' bf #=G^(m S|1^ܹ }U$'`kB`nJ[Ưhx ҳv]M pe:4dd޷]&#˱>% pX>.$}l9 J0C6^ڮo}fq\zkx*e'xbjU__6ɽ+78bwlyү_KIؤ=e*;fɮ1W2-RބC.$d'Gru`WBLNߙOC3҈Vt{uDUhGQTIdK ecrֺѩ;X Lr̬tT6Am&Y@ ^;|?yWl2UMVVM,^FkHRp?E B̦~\9t%jy;4edy%5~0Z`&LQO0[ǠE3f=3Tk\RM, ]] /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 l/CE DHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex7zXZִF! { ]A-MՋhvG"uIBm5T6Y)AEŘmUVˉtѻ;"eֱf!l1ƎnCDz{iYQG -;hXȍ}BOym?ƥ\Z%ҮoA¾Ԟο+^ޝVzAmW>T[ (:mtDY [  ZێqwS/ 8@Ldc۳!GLpp_d^khi)S("DB6:;w|nZK? 4 =GhXHrD+1?;6lbm] jMEܟ 5T2/Hds\F1&W::TMZ]2Ӥ=° C5q6F'C;O&64тhFpT<-޿72)~FFMw.ruka;yL̨l0WTe KvF*LUV$'s.\mG~PŊi0#rcd^eӣ97Ӊdcv|qprS_O*BHGIMtaq0QGGlVVo?M`V;m 7FjR+dQF& "P,a`pL4;Vg92ZzfHSJ͝,MI9; dbu4UlD3JXdbT:Y=e|M`7l X+y,[La:/ď(rHV ~'+E&e@kY{1MW_`R>[8% +x+3<9 %ę|36v EBD D{tߞ5PZ;~Qc?INa{IsYO (񖁑SL6Ϧq4puEV (< iR^ A fIc`i_pW-XM'(mW8\,䧸GQ'H;;wubhK1|Y`dпkrܣi>EsFxH.qg v~"%ۂG(Uж J䝧k`S?i῔Lkx+v]XQ Ͱ_x9fa\Q pLƭE@D|s0R%C+ƀ,0A{ryH&Z}!mw}Jp2'pP)ڀ^;U;ϋRYmTA5#BU: ql˰h\7/)єj ц.WjneKv)E47x&4SV0mP-4rxj-t[E4P!-yRtᨉ\|MDCpqF>t/!Kp\0NZ1> k"R-]oWaXW<Eǁ8JK\4l{$WLnڴ1} gYZ {{ /G= tHOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex7zXZִF! L;]A-MՋhvG"uIBm5ɭS+Glulbh""'^ YǵI#|;# Y%u*87 ~Dǘ5 J_7Pw::JaS p_E@O_t`P  e&R1 _.`X\EԜ2Gpv`;Z6*@ Ik#$,ymU K`NG UGhi2g#s h_G1=9ߞ_Q\HהpZe~F-8n8}v,M| #MX`$yS̥'zd )b=:ߨ0wKn\mr(n|B<S-On kiؓ[7]߱Z⧪b,r9%3Wɷ_p u(ks߱$lŵSq!&e!eɼ㪢hĦ5a~VxGCeu0wc9ͿWf>lS2xڃj a~WR[?uBjI_J4FLcE _yf.:&AW9 ba`Cp87'kp1,VqlRoKk~kp$\joXGU{[fzscV8 h52֍->>R.|-#Q+Z2E;3ճa4X} y$vٯj_o \$\w_UUě}1Y H`a@-c֎ sDp?3Nx8AӬ\,z: pMRӂ^t< -i;&v'켨䡔s0*В ڷև"6Դ;V,Zл2@cdf~C3~o*hl[:F8n23Y.`cq+:⳶1}I1xt녈i|/b]LZ; +;$ ;Wإ>qK<+{'NXT2^}b +4XSFWDM>B`*AE(iI'e)wQvA6*Ls~%Ʃ"x*r1_!8F Vt@|~6wj~|OY#y<SU AӔΨ;w8o.5瓠߾#$qm%^V޶}ƞO߶@QgD~5UNp9zsJAɑ (L]hsb^+%QSBF;!s :uD}HYP^=݇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מ)^ΦE-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 . /C9 THOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex7zXZִF! U']A-MՋhvG"uIBm5grkܥ88ٹFqR?̘s7<ח-z0Msёf [cS #z-{ĥgpNhWw1OQP$WTx-![2s0'U$d6^Ol,Nv}<6t+[\n,o^i.0/f1Wls%k' sN ,N2:Cw~߀Ɣl&zYnd׻]|k"pLH1w~*sb ^=0ސu*.'¿_3uldUŢCU*KL`HCT:X:{XH ,Gqq\uwQ?4ͽRmb;y9Fs;gaİY)Z@~pG7lRc2;,h\HYm=wr=vxz|2| @v' QYVybb'H_ 'X/7ڬmt, XîgU|hHr}a|v0ǫW2'lLɯ͈UdeTm.!mK%V.buA{O9*s U4OY"&ͤ4St 'u\?e"u\ &QB:h6aإpKwO׃Mtn@Q,11/!l锞.fO>b >TO .% \3) {ך1{=lGb!!VV4:+E2y1ӥҞiMAaR;ɮyPam~e""(8U'#.2!=1Q20մe˲(NI0Ҥ6uknn ECJCsT^$86/=0:+L'-V]VX,;S8;iyO'~zbǜ_>_o+=B\'yi-;شHvMDt.FL #9p9+;ÖL~ю. Lq5Qu\v$.r5׫!mUMO5.@),:~X"X6Ū_LA؜Wًz@mK~US\[R)I%-s@A*"L%YKm_; iZ@qSL:%jVNyu:F~|RB)igځw C4W#76ajx[F%T^rh Tz#͂M?{q;Dg $'R9B{w $otxRlv9MOJ2ZB&)JD1YRu]>_B`LVy>n9|̣Z@|VgN않V1Bnq.y%ɰܤc-bA4af#u[*9жt( ČRNÛ4-Y RB nLjfMn‡2zO&b 4,eLhrm4uìH`.YgYZ ( /A7 LHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex7zXZִF! D]A-MՋhvG"uIBm5grw1Y厝8l_ЩوB]O߇eyˋO˙G8 oCrV,w +t3}Pub<5K]Tp B5bBS{SSǝO!PG=9N"Vz10ayī,0okWXSn9e z&Ͼp馄0y{{CB@=|,>Fd3O]>$p%oIP =be=`E.ynnkW )sC$)l <4S # 3Ev ,q1z'' lяX)K4`3/QParHПJ5O>2;|ASį\54Blx+n*F;1fXVץ=7 ,moV@R~[C(Dӏ228sLn9= +ۦ<e=Er%vD`0 mfar Mh0sp% TUf*C]IPqZLNEGsj[̶1c;ڕH 199I7}bY (MmJ}d8>GjGҮ9+qZurh*bkMc:p)~"'k ᛗ&cϵp_5{iuc[Ȟ>5Wݭ0=sbvv𴾆HW:%Y6@=눩/X#h>|,lɖnfև;aۤѢW![$o[g훗P>&1Z9zT}'r *$.[E,px{9 2OU De}\!'K)+r!stWv85Nw >˂5NP-vXkKAd?u_v7M9 X*3ʋJ',W;c!p.~eu xNdXSR-wBݧ;rʤLLAȽb0!Gʙad+-]}L7]#rbrqv )Cט F6>lA  ^(=e5!v_,^zD52H:˿s)7׹_|5P^hU:х8.BɖFgCd7ivzZ j#Xé(X.VUO^Y?RPR 6p=MN]B {H4oY:P-?Z_ìI׿&\MSͅnۚU;&@v.Qaa/Dp-C*+ ]O_< "…`wuGLxU߾k"~25j=U]PqۛPa D] ?Q 1}JfڱwC{@ SQ)U`sbangS腮NLoз#D5Ys"!(ArsRZ!NB׶[Gf! +FE\*8T^&ôcjt{X\0y7N<)N|-~}i XSWPwNju [x1|K~} \I1w-[R)@݆+ro/53𭟌P%)jG̎6oPXNi0e1niQTᢖ tt;{O/츀l8f [wbwҕ۩Sbt64'Y`r;w<-t\R ܌89*]W4s1+)"j)<ȴp<鱨 UJtshĵ۝PtqP3@>TZǻMEk8i/`o1M,?9K_=|/?c!䚰YG|a9**S1 !I-gȚ87JRΎI΂v)ś}djHAxiR2~X7rIe]&J4gt$1ŜNT8ar,Mݍhgp}J,_iә\k>9)Qޣ]JZ,S Ev̐A wi% f+m!+NJRW,f,J!]R+΂K]/gd 2A%>z7)D6&%1diR%J$z[xt%F5x'~o (7] W)^Vy\#qP6o`>a?76aA]h*ډy}ҌuCU|&S5y_мld\9xHDhx/jd9=biCw#rE-6ALQ$˵e2kosGRL8[6ؑ<@,%(V{e{Z%E?$Cv8Ym|<'::)$5-#+κN|K>gPBC(PlR$Qr)Zg%K9H:\ "x2z),ybx \ϱUԾDO39V-ž1X2DaNkZ _~^|F~wV i=!w!y gPi~ k[$ׄvǹA'9jgњL*a {GGjw=_!hyޚcw]|#FC7E˭0>Ĩ5#OՆ;:$R4%Gˆ"f^.^e'#_J͓P{^qxAY] 8nɖ/dB ^9{ew[>eJJUSsR7xFkDOL\cuZ2V@PKWPz=>9TzIniN~winFQAXPLZZ>ĠH%uv1KϜtnNH|vUy"'WwRūn+2FL,QW Q,F`!7 x$D0uV߂K2!v}['S|.xǑ ~Vg%]Bδ CD'7cO넲؈tV`QiO,i]^j jvԢccy_EY;󿕨)f#qC3bR.,uHyeMxKMjL>2SQMGf-Wng̟L@;e7f NTOamܪGMDtwB G_AWv &;x7Ed'HaJiX]m0rEh౵9Ө /̈́U$s޹Rn%QCď9F6+ }MtoOn ștTD&Xm>%د&ʹźCYED F!~3MV>_?ՅR/+!6{V_ 8gƩ#UzyNmADe 137?36"FjG%# yYKڄh-<ϸ;! @HN.O65yA3]t3"wmL?%^ YZGhjt@[l>un߅`-z+iqK+KR3@ »? StspazDS_`'d ۷h,ԟ;ϕ}5"G^SmYC|l3FUPħzb#?V., yMMù"\}"(&y!lfys1%^XYAJq]wb񒮧`::g5԰0:ozeQu"f2(1AUMm׍xowO6qV t:؛\YO]w$t% kkMl/GZDkhp ]R {.Kڂ^<"usã\-& %hܱIk N>z[]VG(^/i9X綴"};D/FbM"9=RO[< -kM';n_VMB !}h. H`ӍDM)a /Xʊ,bÁ'F[[hӈ7LT'% ;sk6P4cU;`QOL;,ID԰ZQuxw""~RĖ/+۹XXg'Z라h<p!% UM]]dNd#wލ8KI9քx;6t̩k7@vK3˿J5:'S.ع(ksSwJ]g ,$JzBSUrYJo'88V\'f*C&)SÕm ;Yb1,oPcơBO{󾒩+Ia={%(S;$pŅa:퉢q1LYxDp8j_i{^4tnJ`1O?1hXRҷEPN8dt cX?O^YӏH>#tH aGN@ߞ%|<"ً*P9@+~=eg sd YzBӼI , b85+Vsiq%w_ }Ó~xXIHz A9Z 5uJN Ƶ!p]5Ky)%[B@N.h,!Ett=RN8O΢}ȶɄ0itRvw'R7=1im+:JSanm8&ѿ51)j4JVz#d@hU,̖3ø!:JWRXt2su/|yȉ뜋}2s^ W!xiΙWw,WP2"K ê;a+{mNh>OՏ(D-<ኒfc7 Ԋ'PB&t/KlX)E菳qPDd+&B\pJh YJ1;(|Z~)W6%ZBiqry#Z {=-Iw%.G`b^c7lIu$y/K!~4n#cK)jDXf8v#ڟHܜXu\g? E{7qKޏh֚*UK)7nT-X@CT2 :tw@r ]Ip9ɚJbӛ.xnI?%j:FX'[&٦p-!̬c,u|V T. KW;99?25߻Vh(YNtFo>P~7k0iC|Y[v jآA?l2yT{\ʗ[s3YUдǪ g {sH:M(z;:oVܒ"FNz>'3 &r$¹9.ELk)M:Ⱦʏ$FӭI>NL4Bl^0Uպ' "׫g;*.hk媓ykF,X$t닪.+jX[N_kS<ƈ+zS:O+(F\{-L0>{Om˸KwfƆ"¥0?}Ҏl1V<4t+kc}=~ήu j-W͉gevjL"%8E"3b@VˠKK?1BTQb85XXHm$eKRvojοf t K}5heC-0*%«*$[|gھ(Ϙ N4]N*m2hfn&2ИJNyވr'\zVd/ (sk y =ZtFXzp( 5[;Ķ~V+ZidL$ŚA;]^wfw6 b)ɉ:ep3XBBxu$-IVUje8ux8LW\vCYLv$uJGq8"c=Nh+r*_jA=֦0D/]c_鵁A oz<|gљY0[C$7-9}+gl5کLh. _\$ZW'|k%mj8.]vͿLϾ缓r2g /&6ͫ06Y6KPSI^Ɣ?e 7WԒ3Q)7BT?nwXbN>w{-"]a8,a<3 aT7R P3xE0z0]oAOHx=|ʛzQv8J~U$Q Ze68f:!uٟ=sm]`O3u.P-4ILkK>9n;<56{@H@-yd-i-~E]9l aڀH<(wEhN }\ B\W kԥY:x͛qRҽQ${pyw# 4ĒQIK/ϫ 5>\j ŝx겳x0M4LPA֦fLߚx2fuY3=O#<;U~҈ OipYn6 cm9]GFdޓMϨY9yT 8 IL}~ܲˤ46iI"GJ=1oul|՞k$Ȕk!-AOo1L?~A@8ImLF;(lX#teQ gYZ @_@g/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/files~~/src/HOL/Proofs/Lambda/InductTermi.thyH/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id216~/=' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages7zXZִF! ]D?7 {?:fH\L6 PrIRTv fq)R?at1Ie߫ԅ]liq PYV)m֚.ص7 m=rHB%UdAs1i" wŁ%o3)~ DAMy _?[$teY)Ԓg4(PxsYWqx{,]W̡֬ы;~/'y9 Eܼ/63OMJC&ag>Xʩ$SJDit mP_-N§*91)j^qxMT4FUW@v-QQX'MTHSS6 U:@nZBp>y:~ygɵtퟓlV]?|#Ū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.07M6%>!=1 0j.@dhS)af[~B&(|Bm}W$iIį+&Qͅp( q4)`!~7"QΜf.w:!;EUIX;~gY4pO,xmW hd´v)gHjrgd8DLmQYId2h3BOs")B _=!&d,tJpb8g,ba X趕ա`0`13 H}D V MbYo|uKՖ6=@ZNQ5㮒oR2b`k@tu;*HkQݹ eMYBK߱˓#P ХJ Xω;' bg횣cݪ=A/kic?boe5WfĀ<ᅝ8-Dll5}4읋tSd:nT/#01K|P=/Utm87 'E7)Zf]!kU{B^T2c}7U~˙E{eUKw{7{Csw+ϊ(GUxDM|].UgQ"FԷڍ∨zGV zPG~*??6#pP͉59b]=Ctov7.NR:90vlZt "7F[黔 I#C :ѯi|t X)7-#@>7#xZRF(\ FX Vf#i؂He:p͐zgF`&߇&g&=5ָ(wf(FBIsTRx7SkⷩZZ$ݲ$kK=B/)!D9퀊{X>A\QQ%)5I@DR h%: 12,cc܄ ڇ 0CNC i@*!<}/Xwjwc4W FZӄǕ8m{jz6c-0iI"e>qK8j/(vd҇$ ߪ0]zL 5lAe ɯ;ӫ|TmfSb; Y7 ;"1bbd+^*YkZ8Fkt X?QzoP}{-Ġ&{@1/;Fe&iX{K:h;;D^=FKdyS˖sMOOP<ɢTWs:k}M =ryꉈJ_Pe Dlkx'b^FH$->ErnT|vz)l95Iצ: <'R^^}ez[󜦞ntXU0zJ+p~ͦdUDY,CCH~p  Nh 9Cl3(@B-%TLX̄X#݄p d٫\J,Hئ:<,W S"jIEӗT- ]yZYap^v=E C*eYf}+$*0T{uY_$w!fJԂAs1].h6kJIV~[>  CP SBGﴸ ";K5i.II?gkQk^:LRwjp. 9([""X3PB vtwbF̨2ia@|rKhB7uYy,sPpRϥoĪ6M⭬~lS?u|ΛJ/"n>B='PYb. o˺zZJԋmsOFrY=+NvoE%Ixkb 񔅂5oѮ;:ϯW7UI8 ,ݽjǣYy8MV_&"̌p={M'C JfCD7)TiqXD8ځɻ:"1V?jeE`b,1[\q"wGWؓG.8x- g]ŵÇ`ˠ`H%7B\Q(B,&z) ‹!d|k-WoY k\-븾{H:zP{('A\)㱜7#kƈ] }>~]Qk$/XXo; 0b6H!"6yL^p]mX)qw++7^nfԳ@頝Ufjt'S+z] |] &iKgX;ȡsu4YJ $˒,g2 BZIUY`[4ɚ8\_cY"C e {#d@E.6Y˿ʐU,V4MZ.Jrߜm OEf-ky5cpƁUD8ŏ . (Zn_%+(@mqrJ)T#޿iQqb4UStyېKޱg7%Ir!^5]&oK_ucE N&wv[]}eP,<٨:2:LR4\DeDgCHg!f<- q;.>f#.,t[2m-uߡVff)o?"zМ 2Ce emYOБĔ|G(y뾿 h/Ep6(UNt?yC^zq*KYMy\PFEk鐣IaM3TAc}Lqu/Ѓm8u- 0S{Vr_:CuٺdTtNB|xn57"0%RGP@QY$~evշZ,ridP csFoNH#VG}Ts>rk]9imE5uJs_8-HBl̞ b 58(Bw@|i(9}YGdh ubbߞ0FHb(y#qҤH5^łX0^bD|6$U5$>'*SrHɿ^&MeE @ 9R"!)>}ɓ"rtI- )l^M Y{NTE!V}uN+_>IBjX`3d<8)g Ӕׁ9̆ΨxhA^vc(O= RdR- !:X( 7wco1(== 5o.!F]ԇݞ!JԘJv|FR"=Z Liq-2@Z3hj0JV 5^jBR إJ >VP&!U@@1mc2+5 #&t_R2#(PY~o5q֖DAžm.F) ɤxb"U΢77 :Jfr1)aҠ^Hn3- .Rb{7n?sJR6IQ-74oh$\MSiо$w'.ta"3#";U<0eL.RN -ټtu/ڿ9I5-<shmQQfhЁpNh^pV|Jy%7y:83qEr!ػV%|a@eא|u46$+.>Ar}U-/d<%OC?1-=y.[)DR+8$ b,:P5ɽ2x*sJKh* w 7@:w8oҸt1D'w.i8ϑC 9̊7 Ǘߦ I;DW_ݳOZ^gR#S$"JKw6{x9"ەq," h𤴖9| |*1zN[l&;<ΞOL&Xay{o0CDVvԯ'8Ua{W Sm⒴̄Pv<oձo~235} ݴ.`dPP 6vvބlpT:@Ɨ#ܴ: x.O",C8!1gYZ {!l|%coGeM&]UQzX_,1Eq T y+*Wk;@gJ*^#Ԏ΄-{K{ c]"Z-M~d9s?. ׯz20n(=ɱo 5bC D?<}`x8|_"An~@X2ϥTEnZ?e;4J܁3nYUxGtpi73/!+v'W 2|M#e,}yW4KkU Nv&϶%ɂrT*ЅN8'^uu'YxAZV@ȭt-N_qo-ٷ`tYR(^F28[P׷IB'lX^:u.f ]MWA2A\P25&7R; JDHm`d1S?67k>AfTvJInM(x\U%'{0M-d(EerU5OvC0A:U'G"i6 ̎@l<:E0s&6>lP-P"JYEDnC0핞vJyE?]=Pbx|{\;&cb>6)Xeq 3ܿy~FZ&ӵ NO}vw$z Rl`~a,LŤoȼOa($张ce}O.d-IO짫5(X;~}V/|\wQ]L3]Q+82 C5sbM_ f&vojsI˯wWCS1[+yq .aY*Tbgpt(Ї\g!@I{|'C5oC90iQĈ^ 2з29fE/yu3%QfD^^k>Ĩ6:/%-` !%_jimDKE3 JQ˶\§*^gs}Y uP_n*\[?4]TDan6jGQw:qi䟣X!(ADKxAr\Ŝ?#,zE޺9j䌺_q=3U@囇Fa+cT! ם-Q@&G2(#ӿhN(ɁI(BWr ndU'&KI''Ԛ*`tʓ^82t#itk2= Ò%ִhܠb_jρGV[x ]81`X?6Sc(:sU*;{m1传L''bzL&9=ܛhRnfLrbX@8tG E*ZsV |O_GIa%!L`#.ǜ} V'N^ )MGOM-E/<2p5J&M6ֶ'GӠҕكP D,=*R.-hd-@ON0h PKe| y]ssu=ˉjsi6NoClqr%2!cA%ڀdc`l2sz#9)ZcֱR`i|pƋ/h"TҤ,:8e)1ѻr<!f 'n(f?tNaKuCyj``l|ҊtF mf>=4{Rjr,qjG"O"q@_sk0?{is"BAi^'*ٔm^\,m¡e 70ޙ҅>0ЅYbJ8^_doXN& `@OdmV@&?lTP2OE^-J7OFj] eN Ff [X9UXտo&{B((Vj"1™}q<ɂ1 gIe9: T:/R{k7@C`LṱG^GXă8 k̃8/(8x㇏ʌVic{>.vL-Y9o{ $$K%Ҟ;okD!Bᵦ kf-Φp9)J&^D}>**SwJgcj:Qu]3eVaHjPӣ9},vѨƏwzoKd-&z;#сeK&&%dF1U_/HI^kKyebar]G0 'q88R} pŋ_ѓ7-׻~~<;pA<ʦ7&T ~J9*t![#@y]#e3$l q9ox5TE~jX}wq *[v7AUr-Iّ`y,ⴾ?+gjaj?܅ZYBu?.|=Ɏ-Bl8܏ZF l:JrMАΖJ( S^Q %9 bd/4B牾kc?tTsn\JCd.-ƒwvRoO/;%7E4 NWE2cezcE6|mK Ma%mH!FJYܢFdЕOI?=9,$yVydxƢl/VB\`^yVΖw E<𾭴:~}<K dk8Ee'[tn6FᤉNRy;L%{P݁صsr 5(z)kۖrSO{]rCT[a#\ڐpVI,zb='z<~@{].7"'Qd;!ᖚ:Ϲ&K |T"Yӈ5db}ƷŴxd-v pRYB' ^SK#B#L9_:278v2n9cQ $6D2g>5h+*Ldux6E)<;cl;"Ad1# L25Uq?r.ndX6C!C-|oX!)/dP/ m;i3f~;SrF6d9xѠK$`Z[-/RYj>i)SxCkTj$Al;ku'|R mu{͡Ai\-C{gYZ c"co/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files~~/src/HOL/Proofs/Lambda/ListApplication.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id206C/G' HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7zXZִF! (s>]·Iq n[:|&[zܒN("yg!S\l|df]B @tO.*F@wr. TvxQip:3SS5)p4: .ML4>ZE@z&x=&:IuCA!yWztYy8lC>+CV *s1/U蔫 T=[x\({ c#/& +fAU4 >CjO[@ XT6EuJ}@eUt]zʄs,wX{=A7!fy̥iXِf%Z:VeТ CO.{.<(2y<ʢvL䬮 $"Ln9"YLAO$}(u ntu1W `-1!']74*AYwSpfS{{oo> kD9hGѥqeu5'tRpP{oH"QEFeU]@m(1VE4#>l4-wPF= EA=~@'[ Eg9?:[b 8]@ I8i7=ZAnCj$r3Czvxx=NVfcA I(eTԡO5\׸Jε~2Td:>j/ "FP wCؔ\j6 @ Oy|КH. Dfb_ph^yQh__M^ˏ"{ RmC1 zxtc\읩]baJAug-/M鞇*a- P406UFӧV?tmP@PVst8yԅ=4&߆-vm1~v3fD+,:k{ ;- 9R:tX-7|n$ #NfGwFjiFpm\Muc-yT>O3S^:?^mFfg ;{[ub6rō3 T~Qrh*tg#˲nhhQH(Vɪ)6Ç \ mm'{7?)dvہz7ML}h."|¨9P8%gYZ /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[9;T'҃ ϋ 4Xy 烘ԟ{LH%[rxBvuLusNu LP*S3/3^ M0Ŀ]7v ?̱R w O@7l ` I=^RArW )$qvgBg[TDusF㈅&ZL6s 쾗YJjy=M9]'%*y4`0[sh>`?C(ԅLZ؂qZjfwBf@'穤ֹc<ћ|Aw; <Mzm]A^'C3#?GX]v[F'AB!S^ 3F:Q ?N=wOc"Eyӳgkxj)5^Ww {Fb1'YW6 pPm .FMnMlt{-EΏ4#~!Qg7W~T%mLNmH!t1y򌓬Bc$$8>fX+_P$Wkc0|_Iry 31G8HO:CxĖVبm W,dZ+g4f83' YَԷgVE2TWOR,80É :6/"Eed >,˨ۜ%/w͂ }#(I1NY6o0n1l[=\`Q׻.vŰ&iC6p}hRs3&#EώBХ$$x2KbGa"XݽmH>T>!j灢-e͜@{)̾9n/YmŞb߀9Agk[kTߝ?)n/g @oP4 qR$ %qiv9~N*wAfPfNuz9t3l> R #<62<9R[Q>4 /S_8W< ub4+.C=^ n}vʹȺ[QE\' :{3m=Hr7ȫQ`J}ڕI^X d=[!#z)nZT^plfqelZ.ff ϼ] *HM ψj3kX>7؀ko eN5_+]sdO'.ti8i֊{SBp tx@!jx'y'ZrѮ>*TG݁{lw nԾ99uR PBG;(li}`8!$a ]Yq3HPz d#Vd`Rn)Sk5'3y}%._&ǚ̧⼺G}]FC޶3 "mpGBw=sZ<2EB@0Iws7ARuP9 #)`!H*mFٕ&3Bc0J -{1& o,1#Y3B@hPw!״9=\ $%J +tX~I.GHdnZdCΰ5Y4tv,3s?.hMdi9jmASgx%XCqd0:Q׾!Y[~)j~ Jc%?0k̅9 7j$)BЦ4Yf_%9iu[jJ"u UA6SwN痽ʷ&f cp6|ŖU8 ĥ-!zKfc#B_ui]Edn3I|ݑx,T gY@L-;0?L$W Iךm51ѹ1"VlXÑT^a~MEQk/o|'n!DQi)2LAw|OV·b{؋pk %[,GfWGVhyKG R HW\I=bUkSx8RmN-QvGL|Iz}b}0*v T6LiԄa sb"w) M5N;JnmNCN#E{'L\*.2'S#Ҹ'\M 3,c&~n^ 30}Bt]fQl{]q;*4)Y;o` ^imbJJhNb0YX'C}AIIe \k=uB 4C[Ɔ3"xHĩz?Φd.88%?uTJP~>BfmBQŠK6$35=a75L,ZfʞW'KP@L0O#[)cd<.. s H(p=N"OO~NcSDM5;D,?y0f{CU6`T&tOgYz ROZ`fY[w$Ex/곦w/bl-d1H " _);Qd~,H%/xrM͠0vC>I‥pentXJu'8G\"CWY{ngz4Q&JBO'$AtToJxM!^+ttԭqJh׈ a2ɣ5RYB^a(v&0>,ʤtӪ(Sp б7y"9_~ne{g}'Z)]7~ȄzfK&*@85I=J.[a539WIj[vZ(ds̠6i. =Hx|y_N8T޿_ Yd˘2&/hDiUӵ`+6%z"_sY|é}BztKG*?3,`{B{`3%^8gAF/GЊjg cGuqɕ?"+$p#MUaˏD R(Je3bҡ"GހbMxA0.=SJ{FL&̸omD;UĤB@{_!Ӱ'<}4buq61&h:SMav1OO?Nb;؇ӵP[1%Oۧ>8myWH!'ƇpV"g%0q56GL@ۂ\u". ^dL-シ۱ֽome)^  8&j7)@=TOH6d(k%e q9,`j0<$8`ڔ~080u\փ ^#h~~"VqƗOipNRhtKKH !i1epfn\= ȁh?HJ ¡+NM.g}öQOD^ Zcb<cqE3ӛ:3SF*ڌw%oSMvif45'^}S E[XՂymw3b8FPsRfC)FxJdːܗz7^1$p&B<"bN3vcX0cmXug;[RUOawʊGv lB_:M GI u/5u2(M,mݩ"DH}(0xm33(U+483~NrP}^ 3,V>A2™G=0^>tVH_R&`Vs}m@Fx,dza=N5"`AnEK_r͙YHcU2g8ݱ-m]!+>)΃TRf-`+-o1[ci?<^nvbr"b'^0slDk:'!eWi :rf3 cxrc] |N"v q<=&ʸu6V ?[ѳm9 zvdS·B y$'wV7ʤ3k%h9mɣ~#\ZKXECײI^ɶMWPIJ &ЧizǝqhٙU01-3r)A͎/r#S%U[dJD|IP$O6"3_)A,"ЉCDD /RPECJo`¨rQYTφf6wM1bhRp\}EQ:i,tIPAG2eo3[QE(:#]0OaQAKD=ۦiDdZ/]9It 2_X\MYE^*Pܰ.{uF$GؿKBcjk-ig]&\y;;0L^Y2y *VcTtOvoJ<Ի;LqеPzl̺>q D^.Gg 4L K+Bd_wY4'1MrhO-Ο f.ݭ!JqC{̊H~U.5@ vy\@ YjQtim2J;œңm%Hʡ& G8{4Ʉ mgYZ |. /O# ,HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! B]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS0i`-=.-yqNݬDecoz(ІIZ)Z¯Om|+eYYˉ,׮AN|6yW,9.n=xe},AgvB,$963ü]0X !7 nSЅ( J<w\*Thi@elfrK[΁ؕncNb"/4; PR%0<&&Pi|!u\}i8cu.C372/|@?f]ۉmf; O#pGFb._2t^pB@yn_(st rsԶ!&GеK.DEzθ]Ue˜+&sCeH o ]Ͷm0:%%!7)]26:IȄk_9%d(%)GӼjqޛ S&kxས8IMxk?Z' HL!o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220y/O# tHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markup7zXZִF! BH]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrq2rvZԊ-V/ {JH !o`7|oS߄쾬h:J"&JWeO3a]fp@HN٧K:0 3P,}\NW)+.bvH^dO3 j`t`o%zzcK}@Vb(!1vuLGRGSoƸeYCG.3l[̋'樅XvxԪBڹcP˩领aеŷAZEfe5K8RL6#VJ7YZHywE6(B(>Ï[>1Y#IoLs>T8>,cCM eb3N.Z~8(c^_OoGyNI"]u5{d:1RyvC]X[V붝Xf;d֒iE3k?RLݰ0rS\p[C9$Ix&:"8 >d]׾0M$ڪa QdD 0L|Xt¹,ndPeSSIZR9꼽R6Qli6i%~}i:J8͠?Hc(8 '[uA^l}^ֺF"3',o܆c+pV_#| omlŗŊVQs'XA4ax}4Ezp z1l1Z?t;?锫p=9,̡응S 8uQ'jb{\Y;sNw9;|f?vaj|iqa9\qyTU<7Ӛ=bz,H@yE;'Jm={]*>ϯ?~DVk^a9;c:4!8OUs Vxeĭ_s$UOv8Lx,%<5b冩t'nBdCOMד}I,] $XIv} -ۨ=ϚױEP}{s89 |;;hhpڣ5̄SoiTvd-o8O8@{ycS|f?u=~VSwvnθ _U}%D1`yQ,q_\$ ?8%l5'nlщ1ʦ7EN_k4%TU@ ]YҷӋ.N u{.(ٿ܂up6/B3m4!jlG$@J3ki~ <$G=kp bz#Q4v"&J";oM9s6q$֍bגg6(`~r?Q%Z94%z];@ГfDq }:@ 9z;!\ŧ0 .Bѥa w(}+#}ؗk;XG㖥NJM#DV6t>%5^?J[̲'C6d("TD^y,߅}H@;ƙXGD)Hw FH g i\7݃sFK4zP܀N(sN~3\!!ou9,hOd|DmOހUB(@&^4[#k 8jfct;z袽+u8 ] ɥs9^BK?G<{z~]R`{ ;# PО YB7)A?_=0NoiGB}ٿO!Y:c'lྐྵ ՗2ɶȝaAtc&*IP8ft7 Z]6u[NnNp.^^QzDn,6>a^ geT+7 EHf4?Y҄/P~IsM 뵫Os-דC)^я.C T]6tn~>Rtk@LnzZ{6fX^g0>y_w2) PˬF9nz!^)V]HeiegLv v,Y]~8-xԭTnF@L'RVP2sb6mSeԓW%ԌX8D6ln Kҿo'Ы7f.kE33gޤƈ4Nl웫 n7IM OVǮ(6Pą"(!VTlh"0 yE+wx%r'Sl27?Ţ|Cr!,їLǯte84bFk )U?$)6yEql7b3͙m}~=g A ݵ;Z5o;Py1Xۼ˩I"6}zU8حCn} ȱ} ;8W*P;m'բ7*dkqYxm0bYŮ;s߬TIAI/8JP^ Eh %_ax D1ϙ6sb9,wB%soZ96FJѾUP0Ek;ɋ}$ϸ>E!-[ J+ɁXsw>/Z > svM{k}({<>n]is2G~r@'+0aQ9I Ҁ bxV45Ի}?}_\XTrR޴s㘖[Lu}D} I MhtVx8)칫DbX_ꘛI{b-OBMy'=hOyBio=XtgjgBB> &}% ,]LEe:'#?7|\nFv˔2Ԏ *J.X3$6,XV@m)J&4` or2ˌagI\Dpu@P5,d9\uP)H+vH*UݼLDBHB]~>/`|OΪ,<+xL&K1D pb`b64u5@~G>8^@6NE#3qqA~u?I7Ud 5#yIŇ֖eJ16ScGf"`UR`DrZDx4~S 'ak%m,_2 uiBSa0Wqg VXvʊ.ʥn,EȊ=[sBXiC u@ank*X,grtܝmd&?!F2s{1k+fpf@8ݭ=K;cT9P5;nӯhmItjVU s'˚`o,CbS=X[Cդ8h"eb٩hWA%jI@O CYTt_ϯ`V;XU dpdWk((@?>z h0HGY/m%K 桫J $B$UF&\~IsB BMM;eAJ"Fqy\˄m Y/D'!f`cd/V$Y ڥ^1({'$ 31ᦎW`񺹥S1O(m31,;(WY :=FŒeMNcE䔫u/<>XNb sP/cc(Wy0LC-P^z5c5}^Pa%lz`r綄@[Hw. \/L2O +SJLaߡP~Ui3<")!'x+\Z }:6+)oC^3#H=B4TH L;:#g\ yJA=]ytiЃE!n%>Lcr਎Vu eQ+2ՎkNWZ يjVKNX'1|1"i=WZk8&S񠵬cUE.|}6b'(Pe8v qd 4r v 擇j_ П%_CV>ӱNcG(&wEh $&CQM,gʥ8gKkL[;Bet8ya\BZ >RS.}cRm":-u5ߛ|('2#n>A|)FOMY}k%Y-HI q&p#q3GΔU[+Vr.T ۾'DA|s+%z}bQ2.N>*?i`2$ܩ`f00#{BI7R).>tO{ PNw#տS䯀3nDwIUquvJ+XXy  _=GhAmmA41w7M6K@$JVn& (aLvT;r~Iv#T/ؕZf[)Tjc hViv u#kP;ǐN@[1U t$n${*nQQ {2ඁN+-iz;M@L6Zw$p.: cdG膕Jw?48=}A.ɃҭtN7g}amVlY%[aB.]= sр\ܫP9˄E8=37L2c^VOЭ:0 YRm} F< ہpWκ0Uς9 %h7ǟ!F\ηFfV+C5& ըOOa5ڲ M?(x mp-x|bԃ7/s5Q٨zFΐ>ʼ ,al(P l?,*FVr@t&d?&/ AXYbO;+s+6ì|.-SSKh3]L/JU~(+47 quG 3z7-7")տqHW'MJ^~)r[HG/=e\S^U%e1nvI|Ih?&n$ωl۠B-k{sCZg?S\fϵuvӻC댜k8 ;-EJ-v>c7u/g;PG3n H63TNnsU5(|1$b)*EZS@URh~#YW 9JY"M2B7+2C Ƃ~pΫ_UO%)Jغ%ȍ7d1C!pIs1ⳮylOGg*x/;ˢZF#ɖ =QxRAϝ,@fStJ.bN! Tqh/EUFz"H``a=ָd}$TsҘ|#xv|$ɺ21eݓ+Ws*.Y'X]<5L76C0RD64sZIULbj+؁aBئ_u|ze9+@} #\Kj}%H;ORlah6 5))ߥrfx7B?鄛g-q깩UZMx}U4v]~#A7bUA'r>Y;oTB&r%ARY)+'75e,U4_ ҂Ƕg(NpgLhQ9[}ns.1ilIdjؗBG6u q"y椢)Dn N5Ki60,\寈N%lj\]{*jezh(a5v>r'S'` .%tC}lBݽ uzz{bcvuv"Cn !om^=u{ uކ%wW5N|Cƈ+A[V?:K6GAԆ&IK d|,-ڐ 363fQO᭚x]P >+ 7Xs+FC4 ! @t- %;d(帻uEUrbBz5e(BSَyU_B/l5Zޮi}?A}ْQCƆ.2u \ٍ/@Չ%Os1ۯ#0LLץ ֖+ƀX鴋ti@8axNy`9Aqeh:N 2ץע=Zyߘk+%ƢRTqWf۱i(_xAk{"0#X/ ('6"_Sϻ]/G)E[AfxڲF`4a6yB[oQLZSٯjQS);{ͳ*BMgn ‘Η0X.$YG*!BԜoS)3}rZ!᧿ŏ$ XԅQާS;)az8'`#ֆ`XP n+MW]5Me@_#OAppyXY.?BȊ0{BJGmnnk'?ّ:ƅVH,b6Uop;膕\3")Dɉ炁r.sJ "ix_݅1A,l2KxIJDwGL7buW$֭ gxheڞq[=GvmmbsmLEDA<`wx{{XԎXpaaCM[Z x~@Jl?o%\@R}fL@(O|&́Pe]5}L#Y>%Mf =p̻`$O(kU._p$u+IktH6-GL3n a<=dЃtL`+ ]@lʑō>Dc0ji21 Y`y,mwL{"XZ}'=BXcJM6Q[sI$6) Ł1LB(bψˀ$?I&&ō@$`/}ڂzĜ=dl|9.~fMo>2_S:\7R4G5\u%Ehjj|n{_E5αP e{2ʢUߢ*ҀbFM7ʖOu-V?yTΌI?J0Nyv/Vf8[{m.2,1tE'sA  %t)BMACoV9쇤ӚXM+½#"1'?!uVBX&:}*!dIǀ#[`|:>Y9VrL"(+`A8_ߡ3yܽm]b܋94zf{#X*w9;@ؤ >8AQ-Sa#.+Z{imGCYǥ2*~^Ф?:~Jvuzo4'Ӡ'//(zsE> 0s-Cܯj -;Kdu_`&WO5oI]fB0,CYzA684B|  Ư1&|¨ih[,';UFAbi{j7>eӒ9 ѣdfwB|cWHeLF0U]UՅ^D%l}&U 0 p#f nuC \r:6:a+%=Jܼuv<+]]NGywCڔn"a/۠Ɂѻ\JI;ɲae3p*q1[#7ْtA5l6?TA|Z1r鳛(zT}`K}4:@@&u-[.EQNFQ5b[#G(òU\C 'jΕk]Tr,"]}x*h-~0]OqBC{F=뉇["4m19Wq~4,%hſ>\@ܧx *dh߶L(~M*dykrN3pCNED"ι9;z0 yyiX06^Jrqf贑4{n31G'0p˄L,]n!E"r[H?0e/aXq#\ `x 8iQp=/8+W4#,nߓ6b&@QA,b FUҀjpF: Nƪ\)TrΝWkx`yf6maו_R QݔWF4:Hho UpK=~ZgS,-&jWAZZCL]*AB9:'>C>nBwjP kQ{ݑo?PPk$E!rF!v*ڍa3=k4O)!R$AAQ Df8G:&© ǘʙ^ZL3tihA<|:6! %vrɻM3$,& Hè+4:;ׇJ4}EHq70WBΡ<0^/kr :\uKlcRoh(0A->{`04"^%Dǟz¬[0 *t[3 sf?&dsukt;e'kۏԏ Ait|4Z$ w^C`X<>_D5,6hMlC;pt]>^{*z𺶱(l6?^5N@Й=HD/ʼx1Sr3>AANmg}Į#ֆ?Gn>Hg4͍zI`yݑQH lRW{#SC]5)*FFUd& - 6_IV6J51V̋2{fʰ L螮h(+ͦ~OkE72G\v_2.*mU Fv1i;4vTnSjk+`z0Jm]V4ϤI4aVSwVP2yXuJ :O^r`ǡ)1pN%M_X/ cvt:/`p0(\e)TJ#,u>arȦQUTK=BgOM92hao@.v"l+*W{2, @3 lD{/3>QQtwx<ʝ wB=FG."B~HI Y5[lˌqU~MMWa8+f vu!j-ѼTgZqe bIyc \$M/JQf(_InsR zЂfBU'k$܎; :~]\ ?yX, uħA\)[`Vm7s>f`5qAZ&T~vl;8?ݐJN$rgm89)Wz<t#d 2)!#C40ijH4g\r'B9](¨:s-KS̓LƸZ2`HlVdզ3+m\v!r%>]ќQ-exW@= Dr PfY&w{϶ȪE I]Buפm-A;Eȃ} @4AW1K)|8i 1M6} D SѬ3 đs@?Z7{R bCnK9b~L=c1h^s~i6Gъ>hlh.ar%uZ+jx_B* !VV&{iTgn CUjQtme]64XÑ=MD÷;jd1 YBU,u䁤[q%E2Dž=Ĉy4g ʽi 7p[+Bn5֕3ܸ-&s=##nQ4kUpa|r7m"6kW&W!A*_ 2Yn k'VTBp9ְ8@ g_- nf\O.C&Xa{1FQ1@3ʆsڧ(JÑ5yJzݭ4 `ʭU&2ӳncIc~q[̖O$IqQ +Wr(,thζT&jsp䯅 _6lw;9Tht@&h4>6 BaW(rVF"T9p'\/}rloUBXZ~`50!xh&rm!M 6ߞf6Z[а|D%"i6t.dJ]AI:™Hy&q[$tb47Q3|SS7[/:7IvI46⬭SuEߟQ;s9%taM;ɅYPe a/؛T3 >霛iÉ@mFNKFAؒ`4^dR7 bFʵ 8S30C)f K){*U/WWt8Y;~Q`,r9._MV.f{!Q(Sy?ZPI0(ZɅ  g)67V0I"KVb䌳W3BvщTϯ#YfB:.wdW 3XSSƾ9l4sF3G8.x2'輖L#^:.l\R2kZ1G]o=%$M'h.'2Tc o\X=uz()ö{O.hUP}\c<TJyT=Y1ΚW_A&>(u$sk*s0y:*{UZV Aq)Qx1G%U xg'": bD% 8)uk '5>xH7"k{n \%ؽ_K;H]Vv+ LkdB?܏Ra 9R_#|hֶ:kմ]C"?-SpT8@/Ƚ kogd h7B w ԺM gWK-w"/1fmPR@ॗhǖrF FcVG*;[Iq *XA6Oލzl=;;kmMZJ-bda@ON,eV$:FE M;Ze@eBDj;WLyfɣ uDxa Fk=@x4Wc֮G=:l7{lXi ݞYõna|yZыUk;{'=IDOe$_[,8||A woZ4D*=]֩f6Zswhz֠\#:ZIYOUc;/1vq\{{ +|mT7޶sTY;]̪/֟FKŕ=lvoYgN*ƱgYZ  b N'! /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<}VOˬvV-@K&e}pJ =f) uω+bK /v'O)Sʥ ($!(yF`sa&(תꏠ{JPQE>^]8B no1NQ*ь#?PIwX.V}5_>^4v&a /A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files~~/src/HOL/Proofs/Lambda/WeakNorm.thyE/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id224h/O1FHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsMatthes-ESSLLI2000 Loader1998/O' 4HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messages7zXZִF! ]·Iq n[:|&[zܒjW+R0f६mnqK8֞4ReLp nt3~7D=T`}%Wz _R|GU4` ],UK[CdJ'63 j@lj,!}Ո8"{xج"B%D0MG/S}l`|)p_ǴlN*b=/OBQ*E!pą& ItH%OmAZaw7bD&yzљMzI3+(ҞXJDx{TJj^ieFYkA2tLs:(u1y.R Pc|.4*ı7( MqY@(y:tU^eEW,# d&8ы#k<. UdNC,ƣ,7N/+b__n_vY؉(giʷJ6FgYZ'!$9By*ZOF{35?p[AsQ;=.ɅC#<5CL`2QC$<"\kF40#L*,֑W!͗ٷӽN\X"@jggL|v/ F4)WX !ڶW܀4K[475tsNkKG2$"^rŮvR]FRv&9q~p(Ai˵GB%2ŝumhh0 ˅ϡtS=p'2H:2>gprBM bIJVXݱ܌i휷mǡ@l9-njHc6) Y?lDEͩlٕ;PH+HQy_{ȟA1} `R"u`Z]z $mr 9jȿ9'ZmQc-FJعp4(}9ѣ.K6opeiEUJ(mA#aZ/E)WJ^ܔܥ5? ʂ;l? x!VҠٺ6?mOrqK؉wSÛj<:B×2$TGU C̑xL9M=̏c wi'$!7w^ d@O*Af"[ Mc ~@۶ҼQ~B(e)` oQ1a#\?]bDY ǡ~ ~?3vc64ǞCO;ݛY`Dw\,B|UM.;F܎실 ^a)b.;b-ϤFXOgs9n0-E@Sw'RaX$n\ao_}#fH_`AN,J=f2q]QnƧ0xi>?)suyvE4kň&n-R ΎTE'*!R3;~%/P:ZTPZkT'm$;PYF٨#Vo7O&/GndVzNġ`b\p>Z ~Pcy Fvcۓ?h)dgkraĝC.gS5Ԓn@ Z eVY6}oIZ5 $7ң$TtTGCޣS5:jv}jltr %'tmŜŇ=J3Q19>aڋ>c7cG\ѠJ߫ŃtgfU֌[Baq3a/RĈu9?-pAg=e88D8]'X!1NaP3YQ/ JIg9zIspGi pt qYS?7dIvyds 08Ɋ:tu M%K1y?Pa=q'Y ̥)~F)3$Љ(Au c/GDù 6Jgo;IܘkwS7W* QnF<I,-vbyNW$ZqIr0p8ż^8Exx3y4F,a3O@YC79aM%%@rgSY0˕֟ʬܙ [SY ˍ3_6f]t]02b |J[dvV qPM9в 3nOq껭@RMӧ~YL Ɣ0w}ξiҨw848 *J.$&8T6y4) LIKn^<(S:w:${=uW?2mR+eЮq]{U8(K;T|t*dQ \], ZeyY6tڴ Y)FtJP@LlFFS;IzG!X\lO5[ײ=^Innt׈%A]FlJ egUq#XiXޝltxgs;X"l+VFGya)m1;kz?˃z+۲kש(" }_)s^|XIRtWf_uYjOEj@=eh-nK}?&N1Q8`{Q$P[j"P=Oj? IU);a_.Qf]a@ ht?Kd/,^g.\`E~8G Fb1:-.wjՌR%c|dD߯Aɩe^)sQtFtPq~/ &le| .([s=,V_llu F5'!Ѓ Yj. H 濗 vV͒%# KK|M66H:8[|kwnHZEZf '6dLׂ 8|@;4Ϋ n.7\,Fr40N|k.ZU .m]Fv}^bx\g)]9`4magMGW e̳:(f"&8twټp"PY}Y`'O,qhC$Ȥ3gꥯ"?|ƛ*UJe_ܱLA7- y{"(s՚૜ "CGxg3TX%! [qd.D3xLTqRV'.;Q8' hg,.qN~?[8 EY} WVddCʠsbpТT9@^[Qoׂ8ar^wZ#h`7"/{!؂3 \L9+؉(g^}9VmtJ6ڪSUoeE]j7U[G ,Kـ/F{% n.0(.,!Cج~}6p=E C6LG匝:2GO#w<ƨa1j EFݟʹۢfIYoFokq28'qͧE U3iz՞o[l8 B5ʵ궟2/_* Q;{'^.m;E9@mJa&a-i* oȓczk |"3ä^DoԶ Aj DZ8 :Ao*/$\D_#CLE3b^ MJYYPTN bbW XA='` v&)`-tUs~M8Qkp8bv|ʠse9k735uy.~q?"Bum$xsՃ2"a %bk b_T ppwpu90œb:1g4b1BVn?sH@:.Z% s%TKL$ 6kkE-;tDD[T>?* X"F Tbd`Ռn{i/miG1p 9):^QNFIclB`D['+{li%AY'&V@ȚHHlfԬq6]^6֝a=CZyKˏCWsB\H`1$gv+aG(3Ԯ` :a Rmي]G3=o4]{' wIuObx֑M㖹8]+fwv(72܍ 214ۆO,q22=:>HFsp _{h-ϊyhŞyf oWNFn2s7lPAK2wqrd~W1#A>^5%>-BB^n&g;8"lG}J= E<: !5= g[peNe#=IjW[TBL'Ie%Z$|d{V>٧f0O~0J1)p~W?Ϫ~ ߵ7pe^ d=Fɐ j/Ӟc?_Jq{~>{%[<>Ht|T0ZArSrQ낛q[PӶxԾg4*9ˑ`jG&eNhwHΣZ-i%e LSCTPiŋ=8nhxm%H}6>On$E8F4CrC71 `-}G6ˎ,j)Y4Zt%?gg(D8Z/ظ$fBrH61zxfwh,9UC:T@L&4qĈq-UKzlv0VHK#&DWuyҷfzBȁr֚@+0E{CP )tS-1\Y&, U;n\FW-767z6@aCj-S]'r؞twzzL ::47_|ԁaA1ϝ7=iTS ~ \G]IR֛g˳OO9̯%s{O]˄@vUoB J㶦t-G'"C2{\aN/s|DMJ. _3D8G;FWCl}cj+`4{/NU%rLq,]/%̗J9ҪFZKI>ufu`I' ylӨRJu>;{Y|P k9ک)>ӑs>I#nO&DN|О4w0;u6\cFBct,`h5qy.ƾk~LiNJ ,wWs GGz{&9[|VeǶB}~0cQ%7RWޜ^Źzld8] );u:*wPcd/ԻBTEQ)l3gG^AUu1?7hK+dG_rɉD$u=C onQY-2A@Hp$hrk]ZTj8s;ɀim{Ӑl/ц|hLEŦb5o ǎ(\#D<=pہFS"4RPT<7u%ܬCz[ >ZIpUđ21B:Ū14$/>@oҽ>)@&eҜ+jFޔRzح9 R92,FQ~?ac附WF=!!`ݿHϩJp/_^K;ONhTQDžIN[喞r^xմ~~j,Sw6Y Ät4"[0-l5)4/ ИsH/2aa>;k^4CFOexRlJ SFi_Q2xü0_nU&@!|\G5"F[9=2id+ɿ1>mcf\rMU\.&p?0ibHSEu?s*<`|5W;*SO~>#ׄ,sMD94X?Y)Zp฻ @lZdQt f70|$oç%'p&2uѠt0"16E)˿/yh8@qWmƐ#rC`|dAwH6ӤMfgW}Bd$Xs6NKR M wiО )ܓý^ASj6X< φhI)ubh>Y@LɕXі;B(9apέC@bFgzoeٰD$[XoQ뛗-¡ݦű`FJaY˒e-:0YJ9i<e/Q'>qu;z( ZT)4@M5R~j]SB>F=)^%jVY/&b<[ 8[7ΚQ{"lfBq@KGHtkWRս?0 ]mWr1q6 (oR__^`Njt7*]HGW'lnwu$/udDMI$䡊RH9:%o,Ck \c*!}GcIiBaCX1t0-f8Mzԉ&H:%CCHA=-^@9](-qr/|cl 0ܽݠw. 4nC Qaf;npdf뷙c'kKm*!V龓UH "dh(?ucUcs-V.=fIGHCjΧSgH ":լ̏f [Z[>YU6f=Z̻܏|*5-9m56|F̫F$cȲt T+ò)!E{KΑoM^ `‹ɊX >mJZl AZPx3\5+nsRLHJ\ =ivܘG/2_e ?] [}8swda)Q5yG{l;riq gc)1_ df\]g$7T),rU)^Dsp+ʙvoD "2K7EHŒ!8)-4"a{[Hw R,A@a!QTGGߎҾQ ~ B ";9蜝?.s&bQ>r?{ՏP^lH /PJԚMṫ³:OF-L&ś= 3@ i&]|Ҷȳi#kipr8?N WŋiZvtŹ3O,䷚: }|HekcB͕T>ǪmTഖ &i–/K(alQr7(lIV՛ѲASk "H}Bi I&^yGSQ++S~'=gͮa6RUU@p ͜\әa{7KIוɐ b/k8uix]Wbj>@z2J9@ lKAYcpCo$&U$!M*Ňd:HU:>QdWQZa nEc@/VS=,Sos+l-g=:_9;饳Vl3CY9 .?B\{bAS@D^ʃXKeKpJti֡?Mt,Т[6څ{wkk!I251#S ydk ^.e&d-N{qEU35"VC]$/|5,rIy,vfdlqjRKoK!2kO'YpO$x)rQDfrd>oN 3;Kyj.#~jOe!DlN~\7Vs5%ۆheMmBYB`v )0#.;uhd9d5*fFW\b OI%~e2cI˕387}{r`{l˘%3* i+]:Q_B*mpX^/ǽZSxrY 뉮 Uu_ ::uP{Dk,zvs'y9nXgt}wYᏊ[l>Q3P-@ʫ%9{9L@M\gxa 8jAE Zpbb"tgy+Y&kER EWz_4gzQyHSl!=K<-Gh:)샻~#?958H>W^Bi*L`UP78xni$S5m++pn4E!TQG[Mi6vP borcGڗ} H%,5&TYqpڑQt\gkCS Z)Hl" 0B뚫pZZw)MF\vtBխսϥ7`uO~`ΊsoD8obQYN\Ǎ6*rAtejq]O9F݂Qg4l72OT° D`rcV5uܼ$ɼ0!u:m6VH\2y̞@͛:EH@aʷQ q.RE|E뇽3vGj-5% k9pJ';]sXC:srI6!q )/rfsl$l{=P"y^\Ch["! a@A]ZƤ~y+VB!my0pspm.`/ xo|kqĎ"#+5+{8>ܘEPwU_2sL˘7^$㷛>".E.flbό4ae{Se`V$ O~ RxLIO#w1][2'rW [Keݞ.L$ :7DTwn 짓e ƉGH7n RD WG"f$:Co$VJ D43yLdKIgL($[k}Oob(w`iؘ؁1&cd68X21vjkÆ S@]62ש}Y.2&0DM$f%<&[ 8: vEvE5ܽ:,̍矦L,mǣ-~;AČlc=ğ2Ĝ &>h,ţ BH?dl|0|g7"|8jA0Sy2Ox>6qb'}~Kmy/ {f׬&SCBʺVxx[C!ֵ7p&Ӂv$H`/ٗB#vhb/X\Oj ՟yotL-K^ *;`?_Ρ~N=}] ZW)HFro$ ʡ>TTz+gm[4%ѢU[Pj\^%\3kNS:n$!T^ {!2MВL4vTXW~cb%wTx b aa:h 2+1bUӎ+y|$rPe&'n+=D/g *鐙jZtxw7/[ P0ocKH76obO!9d^`$OT?VSUU#S\w@iy;Q^*kzXO; dw}޵q)jK@Ӄ>tt~)Pŋ ~e:P>L\VQ}oef'n0`('JW`wq$,4ORFdSΊؚn]zo+K.jesMsr^MlC`ߍBt6C)1 ˽I?aŽSYrAE Rf|˞?\d o'al*9IqVG1?xәfg_4b&3>̦wP߿9 O=. lB8oZ#dsdQFT@l?*r:G̥9C ūq0|W )Cʜ:{egOX4xs*~zy 'ű$%/6q}&Vj/2C[:]7/G0>=M1a:KǞ")L[0qvIZqcc Թ7Wr%lE5ɩqJ\>`89܇.dY^8 YĒF̱㢖ڴr)* y(K_ SD 5~Ï$"ժܥ=Σ0eTm[W7_ SIf5f\?":k3{ qCݗ4"174j.z22W>i@WI7[%JČ8Kqٻ_Lfu"J#2D7/En@:9@/^62֎Þ>EUbXX%չB e <>ʕB'Vh@\:'.P;q&qVc,!0#EVR2J >Vӆ`zqjsfeS{jqVn N7_`gE +@a #}US E=rFލtØŚ(u~19GWi)ut"Gj4d!(M )꓃ &{eqX{"!ϑM9 G!EmA=_ﶞ{w]:΍텕/?ZzưV~Rhit:^.a\1_ S'$ ^kB{<{Y8]ɛHHohM)z&O2)RF5j \_xbg3k&5{zIxq֯ &pʃoϽNy͑ #"N6$dеբM\ײ;0`̀*c7}đ뒂b6'sإ\Һ0ئXH{4zʗ:Ux|Y .7vʵxa6{^Y!"%ʀ=D'[Y7,%ė@ *bu,J2$EfmK[O0#g}oL-XoОL5Fz_s`N=2JÁ {8 iITOUsՕ$Y6,SहQpA/4rInFila >fḻ$Z5t;~Oh\[őUa~o;Mr9?of ؕt8u̢EyK\f G [)}(h*.IKMVNLai $%9XamPbD՘1Y ξOg=i>IoCP@ER{&TW;IP~vsa-N0fª\cPIޱpiS̅Jܮ*65Sv_[aMWOeu#;S~Qr=,4(.ɷo 5X}m8]Knia@@1( OAР\>\ʡI4BkI~HZ\ϸƴOH.˟?W0Y:ίBXܧ BBpYL ߹lmL0VCMhz>4~"l>i7m OIvZ6!o.j* `O?uAU*~}?/ s VMtE}nְ]QԆK KUM39|'it=4= ʝCW7'[Fl0EHmo%ƘQ $V0;&M5HU€G#Ɨ=% @O/AZ״f9Zu0!O4ttw5i !+&mtU!nC >HJ^uR~oTĎǫg H& Uc<^"9iGwԮ~2>N^UPMo+eP$Kn1c?WKd`7 x@G FrB}A,t lΣQS$UQӭ@0T5&d%~WU"\ǟT#~v@קB㬎rC"{H/-;EHKW?R&P٘B)PbY9RJ0Ώ'mܿyU{D[ƸErVVP>i4 ,!%[6NEi 94QނSނ#ۮ8{պe&7{߳p:how*"-bI 0:f2#Y7m!Aߌҳ ,*;$1p :lZL=zk!5w=CL&K '&˵c$*2.Hq_T*٬VdXw~JʩxNK .2qxw#ϓ 3?{A%Co~c TGUjl 4EoНtBHRš7SFLf>QjG}kw|/\ TӉ(:a\K{G]VT2 ù@ aSbD#mUd$o{$:vYMFyz- <=v"ƚ981AP$wc (T=^*I')&7ڃ|:35X`r=YUFL݌ N0&I-]ȩx`t(&2&<&j*Zƒ矧 X`N4T]\t^'li'(Y1z;&9^wΩ\JgnHO!wyV5ks뱌 ݩML0oM.鐠/ Qѻu3g#vK\W H{=q&G+,0M7~lJu>z$\#Hꏳ,gqdә/$_ݣ~Ӯ|f,rmt4p_° إwm ':6}[ -!B7ڻS}3Ν+ }i<8gI1~\U@$+&N}c}:،uC'kgH[zs f?Ͽ}*~{!8T'( ̽U!+ W)q?pQxn=-7>E2KǶq[^Դ~ ,M*%q|߿hZDAܖt3 >|lv-T NYrzOMYoˣK\lxH7pG@5z ;9y͹8q?>/iCŗkE."Z@ RQ) #>4fS9 u+#HQ|QL d%F]u -p4ZSZ`az7;ͥq𪓦ho3,-!)U pW;p"R3?;!Pܷ2:1?`?IYgy:9 ( ՕΠҜ!E^$})fؙ34T)?lK|uWUӟί˷mM3C!`@Zkx;ϖ ~m+hTv}~H]1BwM} -)ܻtMzyQVoݞd3͆c8{j3ڠ>1Џ&pR[MN"xrb]霢6QqLی9RitKJ$M7b aP6O`r3*TW$źJg-(֊;_B8' +߻DUagt/yzVoEaCk[mAK]K! 6 #}I4`%^PY7I.4|{,`oHkhb%mTo~f=SZ>#b,/vο]`pBhhLS\$&]5LAsb7Qକ.$ѐS~sQV<_5S#c%>ʭnTܮpZz&}ȟ$۴g<_iH㆚;UvƓT` amB[]tѷyTw xU 5P..Yl]ؓ DԂm|ZrUԝyrZzk$,4K l,}LLNpMM!|@aXy”܉\ ,}3)<ܶ]MV N/;Z3͓ol{oAOqR^ϺdYU yp 3 U^U?{a߳{eOĢ{ןzrXnB,I "Ǚ8-]X|Q 2kb}QN =R$(D0e$7"kc ꢻ ň/wN[1]i>Hyk#ُpr> ,``H&p-. X`yd5XK| L b9Ӏ?L'Pe\E,Iю^Y$h\{&Ţ7~CR_DdgisW~~ۚ #c NCv~ t(R<1w5tl?ڗ9Mʎ9c O,\L2D=QC9ggbd}Yo 2=_eG\MrSgSJ#[`Ql NhU!ej;T0}F.ߨM)bohi60bG]/H,QJ|"Xgʍh \ %ju|#{DzisD"]GAlW*i-m7p ՋE ^Ǝ@>F+)Hgkn="zШ peal ^:P"7Yi>Lؗ nd =@za|X+=Idm-CSfe14uV=US.>g2a<*u>Q %n;IPi-V($7 gDpYOO^N|f?@t, aQX ;sa Nm6%6"xMJ}@V'1B BD«=M*?B`#p ^R&(G-AEY e~&4^9RĊI*XE")Yu²x*T{֞lJVf) mUl|s % ?" {_OgbTX_%QEWx~:/D> |z<l )oO hzĈPK|<L?lQs4b!ћ#O8{REO&fvYD%"@=K}-/?Iܽ=9T1AH7%}?0Q c2ÎHpénA jv>*Gr&s"Qjx3O:m7?ElYtNӑ[$@QܽDН33RQ;Ǔ 9!Vup ȩش1a,2&{DY9Vv/(G^Ōg3b:|,%i295j TZx+hgpsNB ilRjcYAQr>WRjnS1CzڭKbܪgYZ [a[a%/A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files~~/src/HOL/Proofs/Lambda/ListBeta.thyE$/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id212Z#/A18HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citationsMatthes-Joachimski-AML"/A' DHOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$bM$減/ /Qw%؏d+xA[OuK-4E!~d(x_1xRGim\9%D& IQ"ou.U)Ζ^ /r酡 =G؞yR/lY7e˻Lx*mkvܯB J6Wp|%UɁb;r'f%fܾMѵc.j#}HTV>ε=VkMIfe|wGbr f"[#?l[sh6D/GɲFK45@$[N1a~rfrM /_ATuzL"J.\0鞊]^0Tg}SZ? $[I&$- HxIS@ ۀ~ZqU9~p54OZ)eNj*RB_pBHeZa,־ݼ=P#|:jLQHÞv\:Gq'}y 3Z: <)g/굟4I ɉgI+E) J։0nq{9uǏ_ΰ# N*ә)jݧHK@/dp7Qd^XNfH+p|Qcp|ڐ4Tm$h/GM|{Z?5Xn^C *T, I8U&_%C0}6(&d]|BYItM3( Ocx Uo@u;[yIzJ~ $m~N==VIzŃjBڣcmoP {3/F'/0X 5TM~aPAպsU@P-ƻ] <8Խ/kXV[JאJ#>z"ʑB}%8 ¼A n,$D] -o=a&;δG4D QFGm4 '`$wX[( v!BqjD-biF[ ׎1c59)~r~Q3X_&ܑ7zGrk{<~0ӏ3.M77۰rQ>b8OAAHyYrNxC4NA!G1(e4 9M&(@ᦥGl'%hARa=#)o l|u69; X,#۔0|vkiyhپ $ky9[G T\e1~Rnb~o/Ն FҔKu \BmϠpo[Ӓ&:(}嫲3p1|ubqJQ\85wWj/I!!MGMLW]Ԙ`ׯ:ޘ. PLJ1a`y3[)uQy~d5gNBY6\?h#4SWAye 8{)8b{6^[#3כ[)[x]*ϲ^K 8?T׵(XQTO-^<%1 WWTZN+[NSg`& 'g9Ez*Οf˪g]Cf(w^ >zѨRft}ħByi QfRp<Ȁap ڝXh_}77'@|f<µN0@g)$ SŠoT祾D՞7\ΩHS*S_D:Gel j- &~bP>. ߘ@?ŊzDk7r8P45!ƱsV.gifucƭ:(aov70;blÒK_#XxJRgg{4ُ4 q-GlMnwϷ Ύɱ|GJ4[Uސg&Oƕ ES9,:a)bu\hy?_Ý2c%'y< Lͫ$cKͣua*Ѣ8p&ݪ'y>a^X-tUtǕZeh3ꈚϋߦ&FL (JD"BZb9$Oz6-AINVA+>6"V )n8PjM)3dޱgYZc ~?HtT{[7wg6oD<,)ruKMQѤlMk@]foZv3\y1iTPrF<e=,<Fe(*$%TvٗDAx:xL ;:t6rިLON0. tě 5fכ*kzB9sgY\c̬Մ+np*]yf֮0"z&;t %\:>vݹ[ƦhdGvx285:`[<GNz L2w, hu}a@2l/r|a;ʹHor1_Gi&O7Ȧ<9o򧩐zږySA S%5!(FrI&ǂo4;qNHo Q#J׊i Ьkڻ.2 ܧu_R6Z\8$!ȽALNm= >o@wW\90J24~Y rGwFJf4K[\1g"9k LtǞ Kl}$jj_SX`yXb09@a $y+`œiCxm_~46V]̘ uwO5 ܃͒nn`QC3^X0Aφ#֢2ce>ȁ|I꾫L%8{o1W)falV ML(AeV1(9"4h#b~>޼a} \[KdbR/㠠RHb=ꃏ!DT㦥e+jFX5vw,\23G۸Ca1Y'6] `$ؿiWٚ]U|| "]9uR&1,!@Fi2A/ 'zZʹ3mf`s3Xu|͋76J .3)U3'D6x3 CrCNTWzB4Ѽt(bNsT\t臅fCf`~ 0ppF/Va*^]˖`>s%˻r037)J Ru> #akv`OhAdf$9MmMSVlQ:@ 5Rd,wY]g"h+ j/4kf OAI-ߗ*څrG⍖={;yc%nvY dO~K>ޙ v@ZJ&  TS !&-UaD6l'NH h<_ }g߬9%7 \zjr\I+*M`#(.um  RXvjp/uX9o`.VO ˔O3,l G( Ԁpұ]e$Vbvie=!/XJ&bbH9 M{el9R?to>"Leŷ*fq9#{[n\ JW'?Ccv^%'GL;ʥ9IY )^xHc˅W H 傾'd CqV AN|^3*JпMQC ^ X6G9.mw}p&(0D yAћ- "b4+} X:~mГ^AEBO0"k롹 Zϊ!*w,Hz8B;EHA="4Q4D浱wqlDxG.,$p‥E ~BԺv8due/y?nd'FX0Axs #7'TI) :! ۔ZoREv2ʐ2s<"ܯTA+8:!|T9q̏NL/g>`69SCo- g]}V. z=LW%( yKwJ!vo5>腞faRhi Rۃ}vI5jtYliū9siNk3T>V\P_sSkGPοI@Lٜ78Ǒ= ;Lm*.; ttQhЀގķzvN8k¨GԴi7J ^5݌1C('doCǍ31  x7Am"+P7VHfvCR~Go&eR2o޺De"o IC|>x7|3:ű\Ή*ť̓P@}FO{VB(6Q,jAR8=- <Ӷ;,!N#/< \{4~/vkE@Tz*`s~:kȧUa#҃&, x+5Psfpl $J.t$`w W<ef]= 6&.,v?HLkyWKrۄo0"F Tn͉~$,(4)RŁ.4лhD>Uf <>$[_}~;_saTTٻBݐA,؟PQ81 p`! *1 g1eR@ZC{sbt~v&CF:0] r‘7|Δ^3C `:pQG¡cT&V gYZ   CA],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208w*/C# |HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u;x]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3"!D7>bopyzQ@a4\VHf|}V0 ѯOwdqvtvB(uG: tȈ҆GK> bE&p duv2v+6qU&fdjBZG5RX,Q*x89:H؝UqWU"5B!23t( 4Eϗq?zDv:W Cy*" C_ =!h2cRsL8Ƅe>4QG)4H3&j!y*ڗke9^>!/i#YkV y&3d4"tTINTz<}+2s.تٱrKܨnYݘibxMG$z>4$c" aO9/c)/C!XHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files~~/src/HOL/Proofs/Lambda/ListOrder.thyF(/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id204('/A' \HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages7zXZִF! ]Άxʆ5.f-9 rq8L4 ꔌ(o.+rL!jٟ_U(}8)X4FuKU/%R;D: iJί3J}}=³kg4JƯlI>N+QE$yHޭTeo4gg6 ^ch VM4a!kvkj$c&u< L)_z`]dZsWyt,ȍ}myÍ*ng75J f <3 c Q\. X !e9gYZZ&/A# DHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! Y]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrqpHyzI d&W$zߏfi+coKgNDv_ ↻ކ>%5@Acc u;UdP;r^eփ(ez:rE OuBp(VD뿫%.VfxC~Zl{/S6h"Z~aQbbzh!&Pr0LȻ: C͛|(LA(*35:@sn tpB<:;˂=2GEl@$ Ƴ7]GO0˧z_P-a9Q^J' Q6tϒ'@2.Ҳ'Bb&އ<)2-a|~AyN}6p=;ɰ V[J%4$$4_VaT.Zv30UJJF~t,J0.{ŇIpX7F'L1F孨L5 }JuT>:\(> ~b͇oS0p! e@"|bGlfQAv <^gcTQLX,@njw[ԎB:s3QnH,&e |B$ !C$g;ՙ  1Yh=7 <5=qUE̔FP0;k?5V 1RPި"bVS)JjPS.{IR#2-[crJِ}y2w:\n<%=m !_!\,noCޱG !al du., ȨsvBVGnITk]a0v*Pb07ᆱ>ѢG:-?7V8$[.JdTXw%ݏ6ZA-FU(%"nFx6UvO*9YC|j|6OjpX?EQ6&񭙯BѬOnBAX +FĨ"t8,Sqn f?Ǐ L[`e/{^!fv;^   `g!U-AߠjNۙmh>1!ȪNF8r_zp.;qk f%'5.+`- 7%f{gF>YEFݷ!4!}\-7!YW.)9xxps1XK íswSyuA9HQ`%7^ˌj)*>]v@Y #ZSDdDiwM+u]`7 3ň u>>4.6rn&~縲a#USӕ9'_̀NY4&GLxhil)!z|7:Fy)˼#fOgOr,Gmjt{"Qʄxܕ*9iѥ^N* ?.z3&cX " Pvұ ُ{#~60,b@[j7I4ꞁzQ vdU݈iiG˄|ՕD &FyXD\)fo ^%n[Z/H f'?㡝̥&.PƦ䆲AEczv2 ×]T! 5!.uf+pY4LxN`&Bg.vS 񮛈kmPTs>(⨠h0WN\;W}ݶz<+d'16^TUszQ^?7Zגc4&VsϫsCڰGvՈl9I a2݆ʮn@ G,(`zhysW3 ʗtQڨHa(b*7MnbL-)+sP0S5l8hEU,Ǵ,!Mf4a_/^^_$)_za Xa\Ft!hV,I~njvyܘ¼PHMpR7ʦWbR͢O0di#DoTXKI| >:~AsIl[,j.H2? \2iO?,,#o26Dw=ٯo 5$;)mP_ʤ۴2φkDj]]hpjk WkSivdߦKI8y*6<ӑ*&A~)(GUԗVU$gHtJ{(, E3'?}ѱS0#5MR~`8^ j V\#DžW|zeEEM ?^6h\Hզ';VX;c!)#$ 0lbPI{ #yFq™  |%Z],!L`qnZF.⿸-{ Z4UXh34b@~uP޷ti3[D 0~ zVYPly8nn5 zai*5nuptq[7l$Yc{4AsҮ7p6shn{㞼p`$?=6ֆo4:VٶJ{UJ>_CȆi}c:cG;%|a*ˆpuoe3GRnxPkPuZUCY?!p\X"jf)7ƠPa@@k9KunOB!V+lY?cP3GUA,FQ]\_p6EӑuixFLd?so#-"@G@j)PƅcQ~7w|'bJF,1vF[B;f&3מQ3׾63mzMּNvxT#j̈́1hn@?qH%DOOoSyV7&RP-|5_j}/'?4R@[Zfw,)^4iFҌ|I 'v&d{%οLd.! yb,`G~%ڼ)5OM+[FD=7^H4Qg岭-K5$tP7}dmS'8l)=~j$jl[|˱Nj'xo7#ܐg ) `gYZ~6ZI(mWjX[:e;+>1Q{1CZO ̽5q0RC*?18{EbFZC)wrYR!R"FxboRn \_\J!rgm?k|l$-N}w|jhApCF|U^Μg2K,ox*ء)Qj 8-fgk ^L.V7 [8`a2" xb#YSȥb0]PX9=MP+@gWf^~V-hSINA$),ads&>so:`d&֟ۂ([s_MH[o^_F9> vrLXQ>_Sfjʪ0`hvN3Pkp ʳ߮}:tXdCj;\p$fZj0ښ wQdQ]?-Ң. xk pc-%.zs@d z—Pxv8|d >-kHw>O!ě.go8&h-| 59Cv%pJw4$ym, 853bIG gSTdF5:g(Z3xsMoEPS2 ! zؑuhnT]Z_llw6XȼIYjoEFXƗ J*DDl#ov=v*bG0g`+S\Y GLgn jαg E0w-ni_0-@Ƿ.\vu%3S䫂RJ˻KlK-m2؏( ]lHtQg,xܕIӪ5toIdsb6kp).<*e6#`Da3fٳ/LpsCR>c yLᇇ#l_ bwTq-⃅jl]Vw -UC"h\qn=?D\2gM|}<wՙ>X_q^ry`y5p8Ϗhӑ>.x1h-P ʳ_߆&r \2TTrU0\v1aax iS]:hUT>@*Km7W#FkX|ލo|q)~7:v4Nt؝]dIu8kB?8qZ]8EQ;PfYyLUz45>9:;gu8"K[" {ͦ[%KXy=ی/2Yru97CWMcIP9lcI}qPhXTR3zER ڥRJ#ar7nGxA'קBl͵Ao"]ihUm}kDf<%<ʧGb 8d$^Ε,`DeJǁG8v8r E$,O#~42)310riC x6agPwn}䇴NPܐaa ԞR6$G\ZlT w"YH*Yi+ߓ]4%[ЈSܗm(a_nXboY4ǒ{8  l8`bkNKwbw$PCFE-+CI$ Ѫ6܃?]he)*mIXQf<Ŧ..U?[RS#$+/WX4^ "u!ZĂO H{W@+@43CXR;~ 8 j74kdZXP d!gi#좐=xffܴk"y:Oy2Q3(J{o-@oD(X 4][7X0y26)DQ.`Аs b4~뢀eV-`gI7G>aa:Z+&ti߬yQsVk=s[5[7-9Qu` )iɩ_ 2ig;=oLޱ.ʹzň?K9`k4}F#jݰ ^:p**T' n UP"PdB|m u G^ \?د)Zi 2c G1V#Z&W 1qX{^ipпT~2OG(ʻݯR?tSdUj^ƒt1@3Bă=3\f elt ):'ЀH֋21R'3ǎlj/'O||x+bR:*txKs*Xs [ͬE9 ]G57XmVl7/grqv p`Ւēoa4l5> Һ5S"T H`oMc3*.?xfTH :-d c?Z[&^(M.Wg$} δ"7,37*%gYZ  -t,c0/C!XHOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files~~/src/HOL/Library/Code_Target_Int.thyF//C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id1986./=' |HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages7zXZִF! 6]·Iq n[:|&[zܒ )_yh{4+JvFܠ3qgȾ#&Hv  OI$.}DfIC;Ƅ{!!߽ {0tuݽHXF?3xx-U%f֯{ BCHUpoR\;A-.k_cgn0&=UsPaR۔U1-]; #0 UY :y mx+= Ӿҭ:D M^o'nTj;=Wl;h!!8ﺥn s,UH0[ 'Re>³Jfvc[ j16($~Yњ"EO~ڹ s9!ߒˊF`{7+PC[(*YzjJ{J=x&q7= '|'[q U,u=lac_ Ww|%YXCgT>4Oڵ], ͜0gYZH-/=# $HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! eI]ˠ)jk2p O6LP=͵gl5f&Di5b^8th.X .kN.; "%2ў3P),Sz!Z T K#MVbEsO.vdSA,b.ٹ G>^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$AJpmkyF!)\li (-ȥ=z'F$5m2ؒ 4w|FЀ0QV U,5(`.x)K; &֚:LoWvӱnm&ʩh!ˊGrγ֯4X; s$gvsTY Er'Lʞ#~|R_{-&cz~iltNKF Q\s"&/ .aڀK`v=M\t+[z rؑ#1M% *?GSa^!Qo+v<7Rhisv[r l[J8!72m zޏam1oY]3΋1[~i6J:/1J!E#2U9W>[k j£8{<2:l.n5gvkX!^;K"IJ?b eFA3&XC:ϔӽӊÝȅVr^6oc[cK}%)BG~^lN/ݽf @t`a\{>Y~ٜ`p>_fkCɬ|KU||.3I7/z*6,ypV5;AK%`!ҦlƴϭsT%wj[nBG2 7Y灼YTCۓWY2,.OL ߆un$2lBG qRѤUS,0%[+tsCuT"׫j$^R 鼢 9F91.U4?2ZXlz4>^&yoA*ХpK N_YDh1v'R9HU[ Ҩ/ŜVZtȺ4/A~dJWX!w.5Я&y_oXf!NcKmQ6yqGi㫮$c,}>9%4֋4F% W̻@ƴ!2l i:LݚJ!ڹ _(c8𰍦ALARqzA/qz`|_lB)D09=u׍Q׸uQ xoyC~(3Z- ?0'#W2%8f{MBRS`@ EŃ?E]-W2_Z2@`{;3P, ȭEۉp#SIA/MJ2B %A|IjƐJԭnA%CஞJ#1mZ!X@OrzI7w#!¿f9 f% gayUրkĄ$=ib{˄ UDhU!\}$l䎏UuhiT&%謽^ws5^³+hvuK.#&򥛴H$jo?ď$()ը-|WP(fN>˫,ouHf18^ts&E/'c P?'ܷ`U!q/QTWbf3F` r*b>-.b͠BG[I:8*]*CucUpYcS \F?/}g)QYꝓl1Q'qBM_J[ю)Gk_e$`X}"(6$%VDΧ'B#gTwwqw}S֓rÁUy%Tq t^9ȓ EO3L_s B[}8l&|iW:79[V9G%7(?I(O`8R\8 ;fՑ^$(?'q} ðc>L@ޱu}{;s (߆dHmJ/Y"QeSdduJ**p"d:?*D 󿏘3̆hB̷CPP #( R4\C6NRjUvkZG5qTa^<ͪl:aF0 ןO 9>i[}|`gD!ޒ_FRLFBhUUÝɨ3k8&j6$8 A1("B3t1\u_r3xc!M e.0plLeDS&'4h@=̞DMy3 |w$KuG|67vX6L p4MKLtO\ A mb7PLm|?uWi"A~OP/B["M*2l03@`'Ծ<ahq+JĦ%{Jem} R8'MfI1)mHAyL58nl/k> 0݇JU r:UY: #Tx~%+'bG~{\=U BwBwP [R4cpYI7uN?3H] ,A@M|0~;(MHIpҪ X|3 Y0P$lVSB+;٢ZNe[O%Y@qtX9sc'ࢶN23h.(VrQ1hr&oHF;ma>遖 }ϓ~e:%%)6VI #`R{~/s@r!Kmb3#K;Yqq?<͌3 13Z: RwJsXq}E+.-4lC0v@wTz.\*2Sk NT{r/sWa* ͽV|1GB?qdNJ_ ݌`2T&pp*\srm\d[Ͼr糁n탋0lY.'PjW3(YѱPHPg* )'G_"mnCvZ({0 rI }0f. "jgYZ JJ+1/C# dHOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! )]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STdS_wIA 3QfJ8&Y?Xy*Ku' -OnfYAk?03)g}Gl?_pN^}RϏ7 4 Hˆ;b#>yZ&Nzȴzm9/hRB [yv&ܤ mR˚ln>^9QMN߭tV7aqR. 1-|$\r8!K)&~yv[z)LMۙ"kJh1ya4}?C4/Hiup3yv ;[ snK) ^G]%:(׎g2bt"j,\_KfK*Sq#z9ShPV CA}R?x/:66+ֻJ2ps[|tv;?N.M1GcL&r(rm+.EݵI33+ʭUT݂DQ?Э]eР`ىULy& t)W;Ța\+M b&t:EFj-~]*Auɣދ|k%AW~w>S4AKG\jf*)'QN 9ed e `,0J ҢK*n " o!k 3i_{`VnebMZ?aʷ-T򘽤c1hnPQ]ITëXAٚ꧆Ve M/\;L Q+c5O\漛>W_v ^ >)2GRoipXI+@nYM{8u2 8e4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id218E2/C' HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF!  C]Άxʆ5.f-9 rq8L01R{U0`J R{ ry+^|׈"vc#?P?.ٺ%돺`K/F{| ?Y;RK+^==`E|`=ۂ2r,">*=dx\-U1I] :F*bns4ZpVk-@P^;; Cj&f?ZAR2sTǽzR}3R@ X}Ħ<]A&'}XqSI9\ޫ͗tg8U. aEr8\&KKp :b$h-E)<3_TJ0 F9*h; WZr:@xU QÐߚ;(adĹ:Щ h?IK<ΑNㄉ37:A ;Sβ  bt;Niwuk=rNy~8+~3ghkB?N`/6xnVhG+RWfI{ov",*b-BIM-M\ʍg k&tI/9 429W [˛ Dm?,[6Og#O8]{/ؼH(+95̔(|kJtz*$d mDoG +O`OC9xl@! 2ol ]2ts3~tK61531z@x{7H}q{ߛ|L90mU=Q"{]əcp.K!M>+!2E4>OrR6Y0yq(XV3i[:9oy-[W~&9Sqƻ`ì!qMYBD ^>W93v?# +cT zyɅU`jZV5UH0+w4Ł:@Ktȇ&h%(w?rA lT9 ⠃h $hsxRu@# V1W8B7s^3)_'g4w9o`\FFd4cF7pսfL]mX0;qH6!0W wg+wFA6&[2 rj{%@J1[zcaBs/pf+[%QQjd9i#$ C/$|25lb׭(B5FkV^/_l|kh$ϋ, 먵müM9C+MnNggړm62+y|9Yzd+>҄bY+i9Gu!_eqH/wzIeW3(}wUM-ERok=m1bXDFDK66/1 Re R& ug,sݺxWjpu&\wb?Nt\%nO|K JIx|yP1v+1H<M_Ep4P=r^` @QEW)Gn1_<ŷ#c"ݴi/4h)ebaDY C,p9kq[xB/R,gHNu~錻 C(G8[ A 0mW9Z%n56bwFA|Hbpgc*2bBAA"0 xPmɍYjf`/MJo>aЋh }!,Ə ѰnPQ mU{2,Y,؏͆:leIE^A#VP;3(vGzȺsr͏|Fu4B2:sˏƚ>rM(+.d5jHE>wfTA7dUP95-"{;#UԅH_5,OE+*`v&]qۆy~~^R,SKZ"o55Tk{85@lZo5E%4PhHGD5h\U[7#J%bnf'/8Wq[1 S>Y$p"qeQ5楟?bw=` )c\N #I,-~W[hb!y{y0MR8}FZO;B^ yМ^Srk ܋?? 366965:q+/F$ UnUpcV\2dȼipk\$?ko.lZD29Ev*SLc8nS:)Md҆|) J]⨟g=Rb8% FpoqOR,)d{#8 )!@Kph7/pRDSp3pGIVIj߹.x_htB7rwqh%La!\/#}o DDCt V|1 Q-nND&(W0VO>yJ[ãpmqyMiU7w%4&Wp|^az~,ugYZ6m1{R ݣ $Iܺ䆭qLJekjߢvUTZTB É4g 3CCZ-u@䥣{w8+q<&qBFa2~f%vƖr h1@>>bK:ɜ~bՊIN/xf~/:%m9Ң (D̴rqkv?}Ǐq r.!wE+u0@$:T~TDi7O‡F4[!8}9WX_A&NR4-.9AAgaTؑv+l>I `N]G2Y]+CIw +^QT/;wE4ZaW^ǘ [W rh#wS·;l)jbOIm&!!a=>D|~!nb:IGhuy'|nDZ uu<Әc0dnSUS8D22p|3+@Gԡ*UЪ@XI7T>h>mOFE^J-dX*w|)f垁XɇVrߝCIrtt:~=ǥooo$2tz jwp3%KBa] \wrYB!ag%_ M>=m&50xS%.hvF 'ϰϚ)ޫOt1^lfy +ԭWZJf1[hUqauΙF]aEM`&јW'9rRpPlOCRܜMF-R;u0k2LV VHh*ڦ}kFW H.Dz`xi6HTzk@>7Ti@pZ9#؛\Y JN(]d-:$W^+&z՟F;`]fYz~L~QQ\[-5I5;L}PV~Z%T?Ec9Ħ ;=48Gy"Yjmt&q\`ޒPRXh&.1.;Լ!^~hdBY"YjqI9vt"R`Ñ. k"3UQI -qИ];x P6. +3*¿F@xKr骻m68{ LQO4G;DJ"dzd|MP ەm103xO8dU ˓̝5ߣP>IF7Q'+&5N>jgq ĝ8\P ~ #)ܐIaw+(_)ae=昃&7~?ljw ZYFW)H笕;C:93Zv(iIs-6X:fx++o`9,YVv22vү 8pvZV2ˑ2m0uk r#'Ƕ-Q+T6zd@:Ys/,U;Wb sG( -iJwЙi0҈*]@aa`q-=Q~.g" ȵG#oOwK9m`| +1w#}urD6 CYɢl/݈ qC>bJvIApzBb.;\({KFp=!cK>a;.g2̂C`N4Ff^GV =Tx0[BpgØ~&H;^YQ788qPE52H]W\ĩ8WUZbsHSeg,:B0:FLjneĺ$kLut7ntb𑂏NW#CN{H-N eҷa8T3k8eR+Yf͈CLZ_ekw_Cǁa7cCN Z݃B[% Vzqd"*BK'iRV];Xd0GH}^1S./p6dkY3'HbYGyĘY mS,L,u \F&Ld[jxJϣ:ʲ5 $~3"|>Z@ƓUmZB2zvYc@k׸5'K,z.>hUE"> XVdO^I|/ְJ,.g]u#Zo{BjM Cŀ"&Vh8{p4TwVi`\m}$Nfv_Ap LpQEi SNnuJlב}xu&[Wl ԡ$d56Vge鞲SUnQd7S Fǽ^(g%-;e LP1(Ԉ`$$zK9MHKp^:>vK )r@ҕɖ4u4d4 v/^ ՚$x)<XV6 qI%z<}3.}E:B\M@QXE!Dp197w[Vv-4=4q$ʗ/ТAAfT0>99X[fWuҥ~;Ƚ. %g^*kD0|ZJYlh(3@[i[o|Gݲ0ݫ1\IˇZ|3|#ayw"7,Rzb0.&Pk~ハK3DX[ճݧ O0#:wtz@kEA`m:>&'7obiOۣIB*KE!1[ IP=n[ʌ{%0/yD=a<&+˾.w\.bT<-j}[e4t$U&W4C훐twD5Z[}7ɐh)iwiJ,DŽ0L&ziEb#T J |ŪtgӁzlre&ѭjv3lxdP0-ruC {ilž01|2f")^]G'TDM6=Ύ+-rIJd$= ρ͞\ZКmau)h DN4||ܔf9*JJ#|n[8wYYP?db*CY5jGogvI&\qN۵7NIwY1LhkAGr{. 7VC 8$Z*Hvme14\rowH aV>2B5ƿDJx/V:OPSWY[g'LM!f Oj_w๖^ʔ|J=p>J%D<%f};M|su?LJi= "l+m B<*ƥu'~ h886Z4!9%C4IT&kXE1J )jV!^izV(U̸&Ygf%b\%D&yEuxa0? N+dlf"7ihJ ]ԾPRW+&ݜD21.%C[WUM2\vt.?Dl GV 0s92>zHQVY#U>JޯD4v#BԼM])8UAO?$I+qo8ay@kM>R-=_t",΅Q9^VK8Yn7GB ؎%~~Im{ǍP7V]Tz9:|%.vx;N]lAeAGtpGIl\12h](0OȭaL6Q /BrAgy|ꩲWFu-?<ځ@i0qc e?:\˜3Gnzg; 3h_tS"P!t)QVW.4h188 0V2I3e۴O51ڠ\2m. oPB!IH9erfgrKF7 0aѷd! gNkyXG=yn3i-I{۲^wŃtV7&Z̑yv-xH|g^x, [UBy6#-% 9\T0%iHh^5Yk3hΐjCMezKl [uy+wBl*_گ1mxPD-CL4ȇol?M*dQX(AA@Q!J%?|Jx]J&W(cE}1woa Y>;E N})LZױ.#:/Gr8(XU,&{kv?[Ӑ%ny%"u #&"R47OxRϦ@4]i!ߒ)qPhG=kB:C Ubbͭ*5 q;/"k &,3#wB&řۧ>G]?*r-`h8PA7Eͩ6اFόAAɺNkZ)Mj7p&t'}:U_DGUOmPWͼfQb$U} 7\$^ݝ_kڿ(YƌYӭlt1[L^m#_lCNӋ.sݒfӾO8OoYyCC1ꈽU[~3mՅk_`ҳq8W8/7!LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files~~/src/HOL/Proofs/Lambda/Eta.thy@7/7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id214B6/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages7zXZִF! >]Άxʆ5.f-9 rq8L4%6::áL"X`ݥQj[E/g"4#WnNBX%ܪtO( AZ7ϰTG<ha2JTn|NjaQ"RRWQ P옆fa`")KGJF;)D9dQxV_7A㸌݆bW9CɈ>IbJR#T59%oDk"O11rLSV9֔KE$Ddps0)J%Hg~|>q{h]} 2!XIŞ1~JՁRR>93׳y#m:%F#-h%3\J;%e!Jᙈ}jl!hOo3GIS#wO!Y_k>#6.1$1ȷj Vg)Sl$z]?L*L2_(CO~7vQi;x;[_ڥBr/'OfaqHܭg/.87 ۀC׫'ymG"e*4A D nq+t2G$2=!rl퇖ӕͻH8_7]t!]n38?3\ѕ'zQL MDX><^M|YoaH6/X_EVrnrdв^{ǖBydH4h:]n|FW\g!郞'gYZQ5 /E# ,HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,']ˠ)jk2p O6LP=͵gl5f&Di5b^8th5ڄs tpOQyO1*{kugu e?)WTp?=J!,E̡4^7U_]]w =Cܔw^.ImY9IҸ-1BNR%y/\]-:O %Yi֘Msp~nj5SD@henv ]@ZޜkWhy >`@X/mPh7 NXi\Bb Ah\;?jo$ex)`"ɦ49˘u,VvQ[ +id Pliu⾑kr-32`Ą*ECdy_Sے+R}^ˆ"?;˕}7 cPu0?w%mf*/sF4"|֜WB*]FmMּ}xB/@74Yff9MZ`bY}!pD'o+/ ޓ**DZQ?f]W[o^h0M[ ;\4$8e$j16Mſ@ñ9UA.B\ڳo(`SzȄyTrnJjPVҋ{H[*ɹ 0XLn;< y일b{-L'> "'96Y&T+4y^;T]@1A~ܢD#(-Jc?B56K 8 n.qD!6 2A*9*U2P906">YAPK{rL/i OFaAfBiv쪃ZltğZxF~PCz19[K~k;}Ɨd!V,(E&v[)ÀڿW#UـDdH8RD3'yCjW,6l(G,v\C!;BFqO<D"}៍.3:*_L\!h|X2HN/?=67v|wvF=Y)}6USu= [!t,m>yTq^C;_0)p^I+Ǯ'Al Џ\:/x9R%;\zi G)VaͲKָQo2u!Уnh!_[5 EQSlik@GdҭhLd=L%-Ky_aq4O3@Inv$M {'*IwIY{f@+}P';߽̚Wk3Q=Ҋmԋk6[=jZ3cӳwGE,ue.c(YYZ3ZG hYX]=Led0 ^\{'<&tP=N0U\bK-s)wpVoU',CKW\ߑj>@ #LgJbOטoh+>#w{`x#|Gn灲L8%hIm2O4S䁠~0>`E:$CgEڷŊJE18CF,[O$h 'E8dw+QoRq}??1 4bv\t2r MIި#ɐlMb^ŁN_7Zu6r:j"Ey"G=tY:fYEI~O6 7w(`}=)j8]u-w eϏJ\yȢo"w\ռ|>ag&a!Z.UkC۞b44dN &TQsiٞA;59CTrw]$sa4Xu)@z *`7]$#@ZCa?SkiZFu3 񋧹OZ,yq CN9z,P v$_-ZF]ܧJRH"f Ҩẏډȡ*s62(yoD Sj2#w\;V/}.z4 db\X4} cJS> 4LHih")I@zp;n.,oE09jc )Rhz)n6e_Sc/B7p)MAJ\e!N|3u?WeK8MgUSDIE;Ix7:w_(4tU|/; <'tJd2<87iqW|bBgp0U<f(>nrek"c}nކGJ/c7N.ӍBu $OGGhW,b_8\.`YAl|Py!t~  'ѣIFqyNem/Wexr{)Wϊ l21T v凉!Z]AN"\zQ' d5\qؚ6Βy..p aTX! iY.AxW{X9aV7=}$&+]c:fķ%*~6y1ŷevsZmбtCԒ/]ZCC{Һu] ׺) =a18?:FM򙿋@M;>])r4`w 0êHv;~f=&Fb[pse[`2>U!YIa\\0I bE% -\(b01mZ(K 5]2߁ ¦<(ݪWB f7lew+NzCEعNVP6:Ӻ;R^YH@nmXU$|NkSy /+I1hW0^|=NboX4`|ӛx6Ff_Rw.uoO|]6)ɾ'z%[zS.z5J6AU+ų{Ff*Ta$cEyߑ-ekqK\?ڤ˥dP_@yewn%j F;➛o1432u ۖK4=SޡA6)ǞcíXp ;QFS>4h?|υˆCJKVEC# ˸Dߢc@JT 1_bP0Ɣk)yѪ3+l?l 4 ̹Iq^o'Nzseͭpפ{.C*Dt6¶ jŴg/@H{( lfM*M讬#[<5@`1mhv_mnKmxh%[y6)f!@ZnQYy@JꤴG>$qidӖ1X)c^Ov݂vxX00W!Ѕ*1[f^+E?Uc֥4u6e!ᾔpI"ک얌'Ԣ=-0F$$Zb{F?w}H=h uueiZ[/ @Nq .)ª%W&Z簒p$rEet`Ν2IZ;ħXyxtXC`qRC Ucx8ɉXrލ;5V+j&@G ;r$q32PRB'߹͵PbPo҈{Ky/Xebpr gFԻ~3xiY2ji\4 AspmcHꉼwDz7%fmCy{)^PQ!N^\ ٗp^@5 g.ܙZt|(J ~aF&A;`?=:6Uh]bb_;.!a<9v# p34xt.7pPwC\> P+iH;Vu^Nc-"FN﹙3o{e \n\V9;1caᕐbpU PV6{7ǯJ3%etc7[J5 6 8$$/4#*/j;WL) l|wQ6gWZS_`p{.j:6nvC õ \Be pގ\z%[mmiT^~3}@(~pɱƈ5=:lܝA?ցm׿NF˙/,eGAJc[dlo,Dge? zXX,؞v!9Tyq.HrUqGv#6 ]rUP'!س-$ REwYo6(GT%/zH(OêTvI 2j.", 0XjY:^ #d,9+1K~d{hu:)ΧLB:Sʼnn`l 4j@q 4r$r_oӹK:DYnVVDgf退~adû{oKS ˛qVokkXJʣ֕>wP5:2,aV{ z *+\(w`&]PLj1-VURMt?'FYf#3GyJ<4wqKET-N:ၢ +G|}YO)0)7n 3^$S]J;)A>8w۟-"<ءc:s> 32sm7t@q Լܶ; zqa$ڼg>m[.a<*zzM@d,?by*5pg2kbHF>M7G$SF#;I }>XhhIyo*f0(uFސjѐ|U0˫Iv]/ n܄/Wx@>Zˋ YeAZOiXd+n58HN'MOfld0r1agX^EjXg p% #4N-чv R9i VwgcED+k?g<7?=wh_?їyRO^!*B V%d˒?;a]NT]˚q|1glYaq8갔\Vu:2 >ag5 i7Ux’6;yX1̣8 5aDU@d!XdثIƣLtO>|u`'m=Xk599^EOuv̀ VhbZ8)% SKdbHOP'$ }F\\t6G; ;kH[gG$irccO2_7`],~UFEn.V23kn( UsL 'f U ?ZDɎ!4gά< uU[ϲ06̎&[M=OnOŚ^rw݁n kwe[ZЮ7o:DB<>Cjsp`R&$2Zr{P&PĺE:p`tn|9e76E]RTǶ(R280G9'@Z(GMHkrskZ-={? 4(cqYDq t_!wm{wBtUB=*z+ KiZY S-q %*L`ϝoX%]EcDBr7GTb7GbZe85TGcZ@-78;+B;kFȧsltB?ka*9XB H2T)`QPRqҙb 5F 0b@dr}>ܥR=8iၵNqysBS/im 䅽Әyll9ϸP}ET:iO`a bJs2q,uSb95OC5cZ+q;D#_6l eMks=V( #iϹ1e|J&_݁V C~d>U5PR7DZU#mYPs-Ԑ .",T)1F!E(ak=k)8 ـqamYe`hI1GФHsgʩ >Lͷ:eN j}˜[4Lm^#,K:޹*y@^4y՚!/S}4wvY0_G4Hv{ RqRxPnA"{%H"2QJrq4%GG х0秨,T#@ѯ)uKr^SB's}W W=fd8X k£|s( wA#Jҭ~78b)̒Y-NғOf"\VB$ j)RS>5ͨ,X!sdgh.h! %f.%޸ t7$AJjt)2|#T =q`|N~> F禬KK߿ o??̼ǫ2jRK ML-!nxU暧W!2PZ,͂ ݒ ƻΐZ E@`=\JYn)#?q&ZKkoyS:2iPfx1%Mݩձ4}Ph4j|6cif=)5=`bmmHc{& ]RQj},_][~2_Жzl:M,hI'my߯IegNₚr~MM\`Fp@h2-(Q*Jr\;6LVT"F$"5򈁡ߜ;8+#]S=I k nڽ2+0:yvub(y*2O)& o0oM<7PhO|[&(^V:v&I oacpu !F\Jf5Hc{sKk`u[X4UNצ[jzU69T> Dq$xj=ZV88hy(,n9!~n泀^ l'ζ 2TjJik;T qj!-P}sLHHMZxPaT((*}^YZVR>XL䌝];شaKSS-'tl1IЉv7& e&+LO>BQH_9aqqNKERv(^x|=kgJ.]')]0,| ޶?&)v],6K`ӧ]XW~ KxՈA :W{9hb.R@ wy)<bTyK*NoB W=x4-g}N8 #9YAPXVcYRp8DQ ߨt1ϹU`.,2C8Wsma,Iۍ'&Ϭ+h/"]卷fe`34F@ NS9ȟ BfdcEÒxƃ5)GQخ&[}3(lt7nY-'IJBR"y?Md_=ӝ-x:4$$m!ܟsM۩dPDzmM;⧊meh`.U V^<,hC]e¥>6AMg mg_W1}}0TauP z*4Mȕ"(Sg:Kh`sEJ(:-pFss sxq]0R[jb=8C3rˬC er_`_αsS̅.f@pס H au66OSwY$V^TwD̚Pj/ ZK&dW3EڥH8sśaq^:d{zҰ7໫PJhiG>HT }#+esI E '.uOqMv5=(8a^"\#j?7KH >|(xf)y;~D I.={6XG٣MKb~٪A`ϝm&>nKa> :!y{] j#^?"a]SF@di%9ʀ0@F*w.ҟUhS\,vUMԀ!Cf?a who{k][)BUF3.: _q ($ jUNӃ&8S0s,3WW\oᓪ>j!½q wA3:(4Ț1U/|:$,*`ٔ@)f@aI8L?3)~rGYH ;&"-ևpR(H!zZ@=MDAm`[a2ղ޼R{A[#&!=Nm{S2@?*=Y^̠x+1g;yٱ[U$pd֤ W5pi,۹W&,6@Z5b^m2_ W*dVta bJ*-`BM!1ǘ(/*ȌoIm? nqGk :jN!tK5& |Phɔ7~Xs&֯y#TˣHF :k@s0֚zicq-Ӓ_ NOxF_(xk.7np׈QVEn 8ގ+5heо 8>9L^H{Mf b֧tC-]J*5Xjv+/*[U %'-z}PӧoqȈރ9@XtiBD-ďm:|4^BGd8e*&ŁX֌AE{ ґZ7WR`^󾤏0a e.As Un(TCW=Dk F2>Zdq_<܊+Br6ڋԢ}+̝ZFI;\=czRS'|6kHH)2Vt=o q9\ 58~aʪ%x6b=^| fbbT9 ҆2i9k8")j 8Z,w1fNWsοTs˓B(G.^FL58j;$AڭnFGIgB@HrJC((2ϡwG@UBDv/*o%|J_t%J:jzagM…{C88 5,5M 0I'a][w/͟?z+ g~膱#72WӦi/U͹)w9r@l#hrPy0ĂIh;Қ I iEFy`vV/f8[燐J`ThW@h?&C`]A*;tdITQ#*z#{_ w1gfVBSi.uG68Ex_׊1x0Zc,:o/W^_2<KF EWr$h܆DsNӗp?<8矝m,v6 *kJ2̕|)XNG\X1^.$ ޲r éˋCs!㋓tX&,(MlSH.nW)[YUb[w~AhulQ=8,8:o׬m;3 eƆw,1?&~*vۈhFxMZw :͡uykv,RJMO?Ddx 7S)W9e.s`:\gހy4Fg TDA;UyXnU`52Un!nXDhK\v ۽D뻋24K6y8r !i ޑT>#SD͝1œMtMۡa65-Nlݝ@tٴQAM-7% r?'iNTߕR̽P,P 8X3~s3~ m5*ީ?RobU@*{(65}}^ C+P!S 큧mc.S6T۔}q \$<+hgK6G('(-cD#KWly}e 2:<@4_q&|#̰ݦ][cE e `' Og#{wY>޷5A@ޱ鲟gRz= &,ZCI:K!-VMSYy |֩#V5uFAS[,~!/E)D-\pTefO5^jo^1F!PԊ7>rOSO"<uiE*(Iqt*G r\3(b|4XM(98 Q2wR1Z[/GwpvQ hN;j66j\|bBk#?>GLf]Y_$dnO5I&ٿ/mq{J'dA4ԍBkN&RVoWu\=$uJ4ƠmLc/7ѭn TB )/Bve "jzz2% #uci2fX|3k O C&Vƚ& ;$Bup=@ߋ,qEUd'TLkH|S4q5 q蚨FBP2j[nȊdnrU.Ì9yƧ:.ʈMewd f\9`$J>l_fl fx-v1ӘlTlice)I#P@jgVO=#g&F(f۰6&YU/UaHyGqؠֻJ 3]OKmca"kdw^8k͸e)9k՞#t\Z}LbAk_|f^M4. `<ЁFW@Yw!fSƂm^;9&}❬0 W/fC2Oo'yȬy}#8S7Kf;CC6dy'yZ0{ܜ}?eR[jɵ{qx כ\ qHD^,CL6#'"Қz4ALj $ 6x`aZՆQa$*ڗLpXjcsjut?;#܆Wў7kn"ãci݋ 8@WIN+flBJf5 iNJV? p%2,@9tŀ ~\?"1zės Ub<#&AjN DF6W 26.O.6 #4b I>`PyKQKmv)HHyjTEئ{0o&IlhτG-^@`)9|OWM j/WB{bD$Kcp.i=H3d%2B`rxK[@A+?ݱOU-9hi>dt'"D%8M"e짶hki D_<W dg(wJe@DhcZە!U2OB$1 \WVc0T4 ͊ջ~om.5i Kxd MPw!!KNgbp;(Nfj`3$dġȹ2s1FV +1Rn^3yGʪ.fz/gn [|bYzt-9/ GL|3_"|$k6&A:\n2듈fp5.rw2X"A#ۊ `Ѽס˹r_~YLrEK,1F*]yt *ƚ8m'= ?'_d?ˈLNf˴ggűm =Olf *=z{Nm]e=.ݫ8clޤb=]{ۑD ՚a wс-kn|l[ٵ/W.RBT'T8Vx aOr׊Rl/`)[D !Ͱ^ bU\i;X^*]uVV!3 eC$; @ZJ&ufv.0 kkKЂN#15Z`?'`w@]G/RMh]nj-'+'167%LB^4'A 7 ">hnZt~٪@G gg#95I67a ƿЭQ41>wA VMY/VÌMyiQо5N dذX#*򓘑RObUpcaCA@$>U) NcyKr`Л+Q!3}᭗NƥgrŜ3>q,ױ.9Qј 0"O0-|⏿eT[Kn')#cq.˚pBҦvuLK?uaJkqvΆ^aތZ| fptEWs@PX EzIi+x\ .ga:dd2یz?.Bdzww@ѝLk$h 0o}!\b-s^vZ6ľ1:d=/H59h#إB-h~$r k~{e80L> 'i|׌uVGT*g ]a)k.rd#K۶h)m]!*bRd!3'U-͔Sx okI ( G%sTݢ?Ѝ!d @0*lyZM#2X`/g$ 㙃 vvyNM9l=QON}rڅ}=:$ + RAV+sOL.A@68UVlhA_l7R$£A^ Rp&M#>bLdV#,q:kw tAn,;m|4WW" /z%5CM/߯ R֎+BBtl[{qg5beJX"Ƃs5#!(jFnü@r%khὍzY@@3wZf(dBiVky;~zт*1gYZ .  .]> /E# DHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9Y]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4ez8c.0ɭho~麅RMA}8䑕 DNo,W$(,ǬɎ`[lp/DVI9ʔ 옔awaLb2-n Iw]+.g1FD+yJQ^4?ȻH4)XC 9$X9ާzwrȷwͯQEצdvnrt^#D5C3yFBQVl W 1EͭhH{Xr ֭qQ$ԭ. TjGEz\jpׅ+c%.uH`L%[ǝǢ1 s 7w_Q\߫f.&-i>,S3AE\ `Az{I)ɚl=)BPͭ' d<,ixH+w;d]օ+s7$Xx;7VǻH0}f)B~sjز5t9 X?,fvSzvkBlɳ2F|_NriGT&21%TASE>  wU>\R ~v z5u;tp6Yn)rpߊ^?ޟ(*A*AhjCE^ǃ]{6`aӮ-k]pPZfQך"i)|h w]W᡽z%U~ T' x<:69cZd{Y޽ <wIz- {!`ǂW(zs{]~ks:"@$=1Jv E:K޽mx!փeFڮrOeT6i&D*W ;Liy d SJʮ_ҍci]d%-ˤ̺(cpy߲:x2UIp& ;|nd⧊QFN2l' M~Œ9GFIAi_8F䢳:17h𴠅^Z{=JԌ۔ϾF[=UYCI3~F99hE𦂧;֪(Iء([2C @h̲!1T &ǻhg=R ӌB^ .Jd4NrՁl툶[¯2|cg=2&m8\GkhhPQo'N3c XK {lW]\;]fŌ)sM/*-o[-lؙ|,(h6]l\#(Xt?MGtKnFed݀+4w&#j8<)oͺIBM.1#Me{HR㲕I ss|5K#J㈼j#nD~i&7!6SYXotUNG_1Fgraz~^g޾s&rt쀊]lm0"!jR*Wo$?*֎[(J|` *E;P>j|?ܿ>co }Q)*gtn2wFFFҡ$\g|`6k?w냏.0m sǧylt_fJjy_AҾ˯?:B"XW_q˿im@|o+0a,i8.t@Jۈs8_+k9/o;)0"P?j1SIj |&1q{7‹h"pAJY {=:fҊM}+ÿ"-*KYP$Wcկs#V; x-S&#?K9BLؓ0v<'87|7>&ԡX .G kU7f%ZJ?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\L7jFfb2%Ȕ|;e >\OXw듑0 L khk%fa$CxP&93^9s9($ਧ^H_|W0ڎY|:p17w帵Lexx9N[rbsκnY+} #>E"Nyߜu(X2 G'=&=& elh6)Fs<2s}R!F} ,Sn= jn"*L/ZpHǗK  K$XW풬o*}?pOGr-=rW`\&;#},SpC[c#=UM:A {HUpY!$G]jb_Ks!ׇ*ik.o!>JIx6pB%%*80 #bŏ& 2Hd3~+)ICK^@;_ =>z Zx76tv½"Ϛ6DFBeiR_L4+Fs^9" R^J^z53z'73y׮c>A} ŗĊUfmPxmWG,u}gpEoΐEެK#QE\be]u5E#)Ry҇!a6RT8{ [F'C3UEC%lKjL|#2CgYZ %b$ Jin67 } = P y >  b# o +Jb# Z [tL >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages?>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup>=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files=C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/filesAD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id@;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$ 1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations# ['HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id :a1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citations :'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id 7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex 7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.textK;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texK;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texUEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.texI/E; HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.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'@!jBƃio(&fۗO|LH ȅFeǠy*RaQŋքhW{U1s`$LFWlzی>c-8mŞgIe9[+ڡfL;O-`4'LK8"ӓIB`RJ؃vopI#aᙕ=-S}x5oU[ՠ&x:x؏SRyv@(Q :'=-} O*D* D`ʛ OHl_%thvjJ}:N\ǗqxO,kǵ(3]B5 tue(:nG)f)5]́NJs|T)tis AMQ )Vz_ꠊ* u$@c_&l9M'C50u=c?^+O29;oxtIXfMT@ RT&gQE7]0G_qTén6B?ʡV\'Nj$!8_ػA"{[) *APsȃN͋w$9QkMP"Q E VgɘX1D p3MQ@d塡LwFpRΩA:(jiH⼘JMp~RZRCf|n#hCdj#\++q* 82aGS#G9uj{Ybh:8.)n->G߲`l{ (x `LTz| ڡʤ߇^R}&$ѡi82ڟ-I 0ڗE\WʋX"ɽ(.N P J;![ /#O`Dk._dveS><ԃOKMqp>:hPʙ{>R|4GhxH~O]QXVe qirg0yvhbv LPH_gsfw84:[eJ^9*0?iUb#s#Fc e7ח[ ;zfbUN[Ъ_P"D {ucKn' WY~lq<_|n^i^dfF}HyZ!8 878:88+h"jpB)ۖ&yiv4):Uiyn; ^^+D[YڠE9Mq.C}K$ 7:Mş"O7e'q?$r_Fl,&Ć|@gXs{LN GAb gw"_S6@2/M)Mg{k|0_ O=8*2ꄘgrUR`B`c }.4K?l^ODrp#tt8$p]'"E^udcAMX80Ezy8`)նDA)l$!2Żd~Q .[2{53t~@5)wY=lhj~('1ҹl@NJ$~}Sk,qq(W rm{JH PW~+m٦KȚ k5p:۫r'H8-mȸ\GKKLQSى)_Z\/+o(H Fa1n#_L&F40zF?ddC6{ږ N^n#lܱTeU쩖)GpބsS4)`~{k àuZ'9w S 8DmsӪ;lΖ#OYp#`6իx(Bw#*eT-TX;AګTE`HXTjPE Y>Na"-Suq㇩KW<pT̼g'B"ijCڜUΕ,[}Dv_xϴsܥd>,E%SJV;4%4dnV+zF$m6vOE<F|%]èjSÖRZ<HdI=laz k95*T9ɕvzx w Ҕ9 rrʀ;Zƥ$t|=/w[pr/:D ekҍ3~-|:6HqQsDbj5.%i7Mk0AĀDy捤_.dg&GN5 XتY踝" !dA=c?W*R}kY ý`I4i.V?[|\{yCNq a.%uWs_gCnYP@`B!؄^`W}]X}g4h-skKθ}D)0!cC1\29'*0SBaEӯS9)1̤㜬Yz)ferw&lS[By7Z}t,Y )vB({]s$8!8ɉ0T<`ګ6'y?M l<~v@Y Y^N L߿MPe$ϘE%Peۼ $&s*+&Vo}^ 0OqgҼ)DȄOdl(Wx#GC2&~k‰tt<55aRòCcGD 0]Y(4ni õn,wKCh))O}gFPw`ťJPFWz(B,kJ cW=<@9z8¾Aoxʎp>y"Fkض6va~wXք!I3;k2=*N-4Z Ղ!u"D˒8wh;:"Y1l<7:Y|}dE(=:}hsB 2c+3%2, kn~ LB q72ipu P㎿*A|Ξ!AdIG唼mlvK>B05O6;|~rJR˚`V=>p&lĮ{i֔2p0 .Z S%l0NzCP3-ixI:0u4p\D2{f!I՞kPU" eUS?k4:R zR-b*FY4^+)-)8z0N3cNZ/G`Ld;+-syPA7/(}T>qxD Ӯ7 ں%&4g§`>3ZW5Ky_7'] M¹Hj?def#KU_'׽d=Ȋ4^*q oa[*9o `){D x_zs2MkS>n`2 Z̞AL*7s}md 3#Zг5hPgNR er8pA"&jg  ݽYxtwP9L+*ƯTPTAA>D$RpB J?H"#.Gv/ g Sk˺/8IYBn23%6nv^1D2"XKV-|-sճl;lֶ¿,N^JeiצX|{;at%!hWl8U5J%HonxxNU|i*.e`́3N-#]b"\}*oJck@AQMglx0(YD`WdGE{76Y.bф+ 閧 >:btXk:)~ 8+oVld7DsPdnz;K*;ϫe?깇3χ~{ 4-y4 m\-I*@mK0*i~(oT^B>Y>x/Jۛ X]>:G&D2ws~| 3n u7F8l 0O||ѐ_b9-}'aq#)^3V.AsGi>7!5!+ Z4Mǃ{& Hc޲r{)ѝhxiiHJ/dKyt# G<ڵ i z,{ cUvn P=V db/tIĈƫ j&_ ܸ1ķXG{o]%<"Ih?fS ,ߖ*͘J݄|Ca4o5 &)3u<{7+hAxV 2(V7u A~rFCGH d@&f~G5)7:tr< k 1k;L#$4;T B*c~NG|v4}nЎͼg~0Te;"n&Bozyj5v8' wbu : -R+kpN0_o*|R;9뭪d`a1L auQRY$@S>_V4gWʹڅ@Il뚷B~lFM2݃(Cŧ3QEK T  Q$y|@%dKWB]_P`_=#ίF$4#k];Q1 v| *=œ 0ؽKRmqБlPI/}]mCrhJjI2hH) =@CR.IKdp@k ɵQb-Zr܅TCn$t⼏mU8e2 ȭˏ dyNB"ipXaHPkA\|Qw"6ua}:oӗ͏BUNv<©_ ]s* :3I{à.K$ :|6m!,n 蒏LO+:^M-eݶlj$co;4)}N,rdO_q2!5*s̯._>ѵDYĸmCL#)7odb68E~zfԤLVlPIr< î3_2rV8y;["WS]u`ӄU1v "MK+:" +NħRz'E>0PM o[tl܆鷲"z&4Ce8T&kYw5b*Ϙ^jMK Y?04dmxdkϑ>/{ufK!-{1<%j?4b3MuN W] $7K#luAISHuO;ڽ؆sB66HcAI 7VIU?y_}{͘S808-Y\a=l{*YkUK 8k)p*IkOFu QnYNlxyuyHqF(|&wWdSӪ,($#/Ą>^4nuZlyA0)~Kwꮛ]l;ꅪ '}Kb0"%i+i|3l݄E^9eV{AtіVP{͑RlC\ؓnBMm86vc|C#;uT&hu0X d|"* ca˂ic !f~&>D) l<]1(Htr-Ǧaʓ8)`u#*(=2I,G&:€+shei2:Fc:Qxep~*wf]DS%:]c4;֑fٻcpq nWDW( (3sUM?Byl0m @ S(:")$ U!R0d͐cL@r:qlHX PMTkb5 uLskd"MF/$|1WlpcV5-p̧Ν}^"x?خroNK1NAσn?"Q-m&S/<12h9B*ּnT5RJRhol3KV{~s[36=w2 k*եė_]o+Y~fS%@s ~y_XʵmGȒvDI4A_qѽz8(dD\[a=@/:-Ռǩ]|Pf̈X.@W|-Up?MB?X'W4=M 6^MOy$F9n_F%c[#F,{|>+ Xmh];\W`, "o: >1G0!Z0Mܱ'v=~lu8D[Ç:|9%0)"; /q9dc̸Z61lx [~vNvľ~8UNi"ӻC赑v39 re8 ୶?NA1ID^IݩM֌̵9jiՅ"iJn`?omvz҄ o;u"(~P2$XfڷC;$:c2D !AUHm|@|,{r#׌j__.E2oJ` ەRחief@WO2LOe ztѯrs:*5[ !Qo9?*˩ l^<kdci^ߡ\ޮmB毮❛? 'oϛ+eEd sal T0Gȩ"vZ71̰‚> mEIr5Gr0Y@KtTgnPYE[eBmZ0i"@FZQNk1z;WO i&(bƊ ]Һ@+rPfOL'mlǕ>lEV]-}ic}q]^B0=?&dT@ʿ | `  8WgbJ5*.Ja`Q G]>*|PdIq:<.Bp6 5``5QһR*#.fuI$P8`{d!%, J*X:r"knGgYZ  7 bB /G# LHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! f(]ˠ)jk2p O6LP=͵gl5f&Di5b^8th zb6E3kbOdlB/tL] G 3hf-&xӝB|>tPEOzSho yWPI7Ǯ_V^&yW? ŚKNwJs,Lt!a߃FU{ތzը3fY(^\S_6$ܩJE~$..6wu6gb/ rm. FaQce<#u8Q7NQ*b00B\rzB3lgEN4hs7MF|#7,`g,SdϏp/8y7_,b$BL*v)3FkP63aY3 `:sXx뿀;5+Y9U CSTlHS_"T6`:@(D'}&KвJb]ؾf $mqoeAY_kӛ~ r 8^38YsI[cfU/qN⼑{grBX+^?}=yClMPzJ&V%ZOϯxd3`71 hE}nZQ{kt[/>;H]l9T`H&`@ҫ,X}+Q ay=k 1vScV !e'o:Ollqb|kR0]0[Zrq#0 xB52:TٳGL^~KA:0@XV2xuAo,p&N#|,)BFuQ4^3Rt=*?ϡ.~ ׽&'}Q;1[9tyQRn5`aF]i`Id49-)k:vvzC.7يEUm31g;-b= V>rin3/F{>C:_wx*n+lTv$:Ș'nj6DB-iüE*s;^;hQ[ aDzgn/qc<^ sQc-2ɍ=|aEiy _- xy[D|lxy{j`{Y^_ 8CSQe):cw@!8aŢu&꧗g{x^IJ=DMbBEW͞(-oHZ^Q41sW߂k;x=(K .7XT[Qz F$|V Շ6>k9%2ƣ_"GXX֪9$Nu@Qs. " ER?{oA59X%tM3*fz\\բj=+\^\|lweVtb[B{r;ȒR99 k-ϧ#Vh&S& ?bu2ocxiB/U:Wssͧ:=]^+|أw %*j>HJT {^c^'j>6F%(n t>C=jt״5擱Z8is>][y;$^)xh !UIjq2e¾yfjZY\D;:2%z:Į/2/g˵J>~6bW̹ s9h4Rs4``$17K&5G#W6a:D]9Sɾ3sUſ,o]V^>V=^LI%()8u]G7[R׏wwWIn6KWtsTE^9tp;pqOP"/F"LrLZx V" #,d6V<^FָǼ- N2{ @ A}d"}h;Eai"W8k@n^,Q ij&$) K- g]ݼhĤ@fYq)&_V.o8aUjd]?O(bk =ZDŔ}k,)pJG)$m>_|N"27vU_4}B ħ`dd}CVqT%e*Jf} uQHetۙ m}ƥ~A]&{p-@D,ƼGտlDegnL*pK 6eb虻؋ږε d,Ui @bjwOKtn=LE{}s"ioap}֙dBU1FI=!xȢ_붟/(Rnkpǘk{fRg#ufoO R6n~Q~cH9Rɛf\.B,6Dk.f,;Yh_,jhLA=:/'zN\d]i}a¤Ѝ1>S ηqOǑ}*N\@| wt1xm007pE:dܔ? w=(8zr‚R < sp4 ƧS4/Q]ĆH]Ȟe>&oHTZ??hMuۀ\L>8ͮ'F<̯(rM#-9;D_9lb8 `X/ܒMsVL՚, Ē@  _\Zg-d`]kBG@'?}'H/ ;{YLqoPjS-I-"L3FpQ}Sdga?%j0<% @BNq|9%蓛"O?wTpBȜ;vA}~Ӄөg>5Y\2'⎞187a}?+p5qck-sjU$vFI_PPOI:e$^1qv%#hsՆNm"u(h$^F!Y>a/_]}m$hJ|ưr+uѨ4G=+c( PQh:>jއ JaZ~*_ eR"3Y HFT^٣e tJ$DBF.ijzx 響辗䤷mbvIB"mRt}Z4vcD:鈓̉FSi<๣`* AtTxk^Lފ5ژ~ߐcm DBؘO(C7:IvdgR!0)LM|f~n#v_ dկm\Ðh馻h&CA8K b1[M|ݥQpPT5pr9\gFGE8pYWT۫ C0Ug?>V#HSݕeEEe\5v3jb4|JБ'4h_ F4CF~%Iojw;YhƺE%E=ύD<ȳw u8Ă5Oz,ʙt>Z 1u|M-R޾ aK;+#3IN_κXW/h7.x/"y*<:UݷlUmɃ'' !Qa:ZH, X[OFds]9wTR1]q䈘>Eu ,/NE;^REc~Cc>dlT1Oo ͱts+Bc0-39㪋v.dmu9csϩ2rH3j ԓ^'8$P o0˙K9/wB(`Hvp\j-ej#<U@ ڏ':/4sH=8Z d( ӦR& H]h\]CᖊI lol=Ǘrϊ GDI&cu K$BΌ@4r<ge WYztif܅.Ryc$K6cк"HR$Y%MyVI1&RӲhR;  @[,˶62J6ă`l(Tin-=ۇm[c%mdP6:\בA9*`YE#e'`)=H[UPԀJ̃=WƒJDN Eqdwgx=T-Mvy,LCDR` a2i+l>x2<բ|\'l}u3 KKi$Su9\-.2D[0㔂(3?n4%5'> !G; `tK#gE:d D^4M'cfXڊ3}AuɬӀOn'xMo~1 ͖X5c=3ú;ȻU@xh.˜Ś;eYfrx=} `rCĈ}IOqnL7ov%_Th~])^(N<|Ρ,cVϲHQj&Y*(unCejiivݓ1aWM$0QiE+Yo0xvׄr鳏\,4ŝ~)-w11}EԴuW}YBw\8gSmU=9X `_,tߧr0Vd'Pac U2TlMm~"5K 0mc9I^38/{Q(RƞxHu%bnE1y3DL[gG$h`-`{J*@]ЩrjJ0s|9ڲ Wzd(h5/|<7Fմ`lGQATigYZ W  jW\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML"G/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$bM.D<뻶*ܜ1?So,7J/ρ/b~]P+*iz:0H\Mpa(0nSø*\-F=1_X0TE$_0m"fZ Ȣ!1&}ATYPEWZLݲ )kq\D> =$DC.sdwIRgYaJaY g%7;j>+@q \].GFg ^(!7s Wu# 9S} qe&ˀ6REZ=w*OZ0^M5+9OJЉR5X 8`~ӷcwlt*n[wz"LXګfFgYZ}F /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS.^sd 噷oh$hsch\F紓vXѯ5IZd(qݓkٝ+EòJTa1!Dq r f;oݟv\gzOG,?:_YZJo{8Hu;N19v`'*#Rl9[U = Ó6+ zP Әk%WXU J2g!ls ,Q-+U9}2q WjId2$F|YL|?p0mhdKF,RE^nEEocF'*չji~nwklO>D-h/L)bwy~w0.VBǛ3('i{mAs>/ě ac@LCնn̺C(Qg*uB7cVPUApzytO\ol-.q0civ! Cf2ƙv= -暙>qWu54 EhQ2D Xc@v4D_lh8fazW 7I;!8INetMj|!9=p :=4)2X*4l7*9q !\``m!2'%WX ޏVä4D+|c+֐yi]|J52+SPގ%,7 7W.[{ȨMJI~|ӆ ϵVdh8jc9?F; \[W1A+kD]o&=-RDpB*rԸN@q괎n"8ZK ɕ!KR9B̆x>7]w&g^Rnn;g忮 C.OKvCm.5}izZ]c%B#BIӫsO,sT''=󛳄I~;'.>TG꯺ՉfeA4Ԏ*i iL^pp\F\)O!QOLzjzC,yaGWW7ڕz,E'A TyϢ ̔0Wj = !=)4c n[2ewd]D_b V!'gk:>:@^,@["Ӡg:U[T-C% :' VÿmM/smYcQV;貖c)[ۼ5]mKO҄G =v"lx4)?@hybm(o1,K9,~9t-2:dyr3vʟ*}]imIb5J Lhj:e[!> xXw9] ʄx p+Xn-*n#t!]PD ACa諡bޭ3u {=1IMFUȃ/;c}±K7^PΤ@M`1l& Qd @T_=wӬvNkvw;HcPr x3Qlk;z" \qSvnk#X ,3`+"4$FɞOQX(& kW^i!1&@n\VG҃3XHDnu&@հ/, Q"QgYZG r8nXJjMX_^T/ҡ ڱrERsUe. Ws{O f_ГDIˠh۽F  ]I0&BP̨K$pqQh qI LQ6US񐕊My xO{K^EC<[ӡ3ho% h/m8APJ Ea.~_,FFI7H!\ʚ ss%'йRGQh/1Vs\]Q߼, A]4d-qeTdio.<2`.h3\TZ5i)UIp+ ."E相h'י[x{Ȍ}CB]Ct>@<_:h9hip 2<!1ii2'mJ2e.;=';Z5fs6Z: 觾~UTxx}AqC_rt˝W8ӈ]+"&L2ɋbTsThi>5_5ʼnH_DNѯ+5cű1~qYkA,X".ea 4nqvKMڦ-"tOEǀ'F怒U/y mJdl*E$Ea>A 4|m{0ۣZ?( @(WK>~y;$P`t:Dת"& 'ƀ8.m̦8>%S.+o3 ãSQSK%?q&Y,ɮV-G u&7@WAD)?Nogx=(,6MmVI:WFp_1%Zr >]K_TÓx^'c jS=?f] 8yԇϝ"\B K'xpVp)DY0,ti;UbaP4x֣}ӌGI#te"""]_=iЛ#opg&Z|ek7ɟB#zd|Vs[E'hʹ Hj JrVY%kG>5j~%L܈me3%hD/ 0h {ܝ({ 9wHtw+JU2tƣs]gIXqKj\ {Pˌp=C|-Ll;-owP{gtzG5 Yx|U9>(AN;SW a@a'8[ gޞvLNh5'`&Hx+˶70L!Ko˙ڗ Z0}DR:Np.vX.fs}YVOBJ|,[K}~ l/ +#v84LQ:9k)K𢌭,ZHZCt7A9 u}^ͽSw) I@ibcxNV3ߡvHJ=>y;| xΝx|jz][jlL}u'k%< :3H&ED8oӍ[DuywRi1?-7ih$dS\nu34P7vYCCo7;qΠg˲H]el g:u!b]nU yF2&%iCv jݚ:L=Xk`݂f1OW#ޥl w7!jge?}3)^J44< &5(`[ܭB_T2]oFWG^2|?e ~n[o&S"#6l^&&AEc.&N~`y)(gWM=u9(` h>yBT ri>@0ÎqL}H;#s}ejCek~}orj&(#DY}ajSC=`ѻkBKšnʔpX* -pNY)sLf=We&#n)X V;k@%gay l.3m)L;An{u+ӷO R縋iC DVNI78}19, z3ZOٞ;ͧyz,*v)DQd9 MKj߁Q%U` RՆ>$HUNf{2Klr+bܙcG[*f ݰdV8#<-ݑr!O $YzxX3X8Ա;QtZWi'$Rʝd{`5'Q#- gf{ ޯ?x YszCFk#f?Ÿʵ}}g˴v)Q]7UeY C)q ߸z :1imVMcaXj8!]'el"Û3wŜA^){>vw_[֢cT48Ӧ[܂ nM&L(5df.Ҹhj`s)eðAȌ,VXB\I@Xu'm#IҖ a@L͂ 1Āb0**eOe mLR #%9Q{I'Azt6Fl<drĺˋo[cHӡHg&Cb!k2tWh] %)s,U>VwFJ` G~x}ly.ɝR;ߎ5EϯC 01;2 b5rJt]R ɻ { ei 豪,%T_1ܮ)nG-ݧSc^?H!'_ܲ&ʁ(CKn6*cJMpi r@xL^%}>J DEC0Me_$djَbPg OoMBuφפ@Y~ɞYt?)Ji}=F^m (2MO8'NP$ dyXY5A'=Ts'uhy ζK pa*>`3:RxO,W1ׂu#g,@k:<KmroK1#.qmV?`륰^RƦCbkZQa^_W[_&)Ϭ-C]^sŌ03 ;<$BlN Ɯ5_B/ԔQ F(a&W2$aV6Ws,_~.~XwA*sCq3yS^J^ HpD+LƣukrR1ez7:xtǟoaJʯ ߣj I>x __?Fl6' y[-Wk_67iVSw4cab9õ%ce(;]AZbl#v1ag`ahQ]Z^cDJ3@jV鏒P2{5}fje4bc}E2.-'jdu;ST ںҕIX2lD[S&؀/>߅S@j7]1.lE*ԹLH1N!{<~XgfX?G kҮ73lfoF qRvbλ!j%jXL&j9ێ"n%qA葱ȵAMdޠX)k# cU2KMJ5;u2~6)F]~,UQfhIa*NaᩒtE{y= *Lνv gD4q@ޯk~Tb3P9ESnQ;]1ܸ9&fszpSؔj R{Ƞmꇤvvmsљz:N[{}+ZB䂪á (n =@"MuҔ?1e!!OOլU0YڑlSN Ŗ ^F@Ǘ%nPSi3:JN]h E.hJ}P*",1cT.yE zO3zۓ2MŦ3f fe"dTf̫MZ-7S =RU윒1mcpG@s \rӌ{`˺9F搶v;;SocBβ X|vXxP,[Lʰx(Bd%ֻ#S4ުKYڿMtFzXfa?Dd?tbYvjXEUOAlyabq&di"-5Q胨5c[$o1 Z¥ҝ,q`͡λ=%^NEk 暘y6jۋOhuZ/M uhA@p7B1)g/ΒWȳ\{XP"/9SSIR| Mv4qq:kB{KMPVhy(_&%oS\o^Yv~v [} J|*LԴP,xӺ5r~̯7zzj6?,ߎ!N6G|7*c!V|>KL-gtCAm+qLfeo-W+S;KxW )ʧu@0\7d_q`jnܒ'b1Q9S՜Z"&4u] '="CPc}Θk`i=? a|dV|ӈ[ZES fdw5Pf/Ԥ $ "dp(fZM%lO?=!I]czŨ}. S@ Yza@y*%6$egESr>z$U8A.0K'OO2@jqNC.(Yq.GCuFzl1x{>B`W^r1n\(GQut>b&LD(/.{oȸd[״I# T[oi\(!#Y^c6k٤fEG6l+T&DMyvm@V`-F.R`"Q],X6H(!?C[f`Z`)ІBii!Íw;:=$c hT*O魄ny+4.NX8%gbJę:` c9. ^{GY+Sͻ_>~nT3U"oрV ۢHgI}|L@4l JAsaݎ**niv]z`wD1~ q)m)P2/}1P"F=\~ŃVΠmq'ػ\՗ܮŧYV>b4E\׷ud(%pCe4>Z$C8ЉJūK + Q1fyDcyB?mʓ]L.[!^}6v5!'R-NI=" /iFVU5Vf 9Y} ŒbI`RNZEl*:W*kPZAu>ŗl |ŸjTa@Fj|j;Qw5g?e &)]zȸ8(Ӧ5w0 Z|K[Ĝ{Wbd{q^~u׻Nމ%Ӕ3F ,\R{; ,m1܆-@G3.:AHZgyR &Z5?$Ȑi8 1eA (춆ՠqvM(7Yo*lb=7X<'{$ؠ{B~ދ"Ø\V/UrI9tȰ13,W qaU_`Qr1?Y0r.AʓFXuuUAxb)"GB|eTN*nd( aA2zfyŹ~ 76'zu{D咋ki-?^.8 qkF) H^fy$͸OҋFe(sZk2GOXLA'B6kh9tq4[k0,#xs4 I5 jꚍPL Y[6hn׀N!3i~(JpˢqdM+ cT(ڸݔPBfa+ZLFe'i(nNP ! {̸ V*c=\aXF${fo?s/u\1kkD U!b9jNIﲽ$;5LJ C7C7'sm >; =]TZY&%i͌V:P34v'c'?^W% YğFh3Ay%tꝖ0E9[Z[`?͞qX)hbfNvQAӈOXz5{f52xCR!w܊fib7w=|m{(/$#9?Ckդ}ydvil Z@J9'H!Sչ #Yq ;Մʵ՘i(&A&]iԄcJ\[{#"j}4( Td )/ 5VTeG 2U; O󋵁CuwLΙQ)%N߈0XSgAgQg;4hzmݟQaT+sȽeUTQѲ }rgɵ& uJ ̇M~хϜR)i.l&T^A&t"Ҝ8w.4sUx[} #MI|Y݇1U=g2W6 ՁLPkY9K̞A䥴2o|Nz9̔ dSw5zԽ6+yc#ߙjhK3m>wi/}h9Ey5`6@6$RJi,øӼ%-tTː}׌Qs ٴ+#pX?8>Kv c8b+~a?@5v_, H*kSX%Yw6%k?xa}\_03KFg~.Ȅ5AG%Q+zU`a_3=J:Zz;s**OcB'X"X3,o~s .,MxʷYWZ)J7 Sl8 v"+St@vm";}2:ʈl/ەD`̚lL Co;H#{Wj -$vÊٽسM4,"FEOLmqjE,dɏڷ\OwO4q"Vv(%,$7k,W?jT =`Dk}S&yK7Lǖ{0B %o8i̦~n&LO<)a RFC*|T@i(0DȫVtQ<KNZ_MvIůVo~bO9?̝$-2^.P6D3qDII$)<vǿq#SWx9൩Ivw%|i}u"8m(?o/N0P`T~DO_Uw ,xZ`T!Vvsg%4V:f%)2~`ȗ^1DkX×U,p/B'd3ˢߔuDs3/럀wp^?FQWR..ZX\hCE7qʓB yUZ-$K\yJ poY  \Aâd~5޲P_G^C%&l ; 0vO8GfA7z|LVw*Kև $ ƎG}H;om^sxɄ6ZFU< nƘ!x+<zפFk <_U0}"_K=xһ>"}&,1az[QL7jD@R.XXԑxC&/I`Ԋ<)aXtj8Þ,ȜcϑMKkSUj +BCߦFH[E}㌲KaEtg sƻeu\ u9vڒhG)klY LI>F3q5~w/80̤JMhFk7LJ4\v3UC[p zF7Mp)>Q~EG}PnUXg4SMۺt@R#JLzKsoDȌ z1H$/G!n=Whj-}K9:j|fd~ܟɄ,}F5fVGF T1a(Z0 ЦQ[.9qoA F&+Hp(Hef "G?K<5s꭫gq}L51YyB9<4R{$~fmH{SqG"ɏ{]z@kLԥo´ܾFW4dO?+dlҸ6GS. 1Tx$,)zDa<4c\'P$yyx?&`h}햿ɟaZr\dT_ғB-ʠYxսڇIiYBbvx!rdN(>Ye{1/ʰI䖽C+NLuw,zvͧY 0GF OvBSa ] RFW~z6DJK+nw%Q/0~D&ɺyevh;.]t0P`ؙl^[KZ !`O=gDF 3MK*Gx?Z' 6$U|ݶ0fahCS7H!)bY :oJ:@cn~Ci-bk匴as>60E.- _Sb XZ:\n,' FgYZLzz&-BNNL7JUgK2,tSZ|.,Dhųw~SñGݝ7Ǧs5n>/0_ 4p\=[⽰˾ԛ( %^_424W;l_uM3PeL</w`!@oU]GxDOIYhZ4tv J_v.fV=(M,"97Ǣ2qKXr1'*sס'?%#NX4͠Jj5JxΎ GMXN_ŹxT-VࡰYG#K Ԡ-ahCٟ_*- AD(Nu#-+׼Ǻٙ?Sˈ\%JG[,'Bu;LDnHq_P֦—j1@*L*ɰ퇇NM*o@X7R[Q(?KnWrl? ڜ=[WZ,^|ʎ3tJP҄UeށBjH}HcL0 vUtj57̎̔*)%s')')_ˆ‘ Ks0ĜP ie]AC x70IrNR:&Y˜FkG:h/ҟn&?Esಭs0eD7K")}o~mqcߒd\pV+j\V P5VtkZs5S@BAjl$)V׷,f&׼Š䇨H3t4_vY!rѲykq3DxX~Q0G;cul يU ~`F^OW+I^5mTdqNߍԷן? 3#⤦W0Eu.,rSdLI\xBunό(,活K5?0B8Aڻ|L],ne=5|Y4vx.<M#ҝ;q^vf +@:k?]M5r.ޤ4h .K`Z}J(kNbuz4$&>p7d7)OT l1bRIY\h\*&y \^d(§߸) 6*LwE~zJahd/e-qX9d !$pN%ܤt{7~X1}cp?, 6 =5Z3g%4'9JxF.]ovENO&@O`|ǂ,t;vǚ-yaYG:diB\e}tؓ'g n]c_~D>b5WlD/ٷ&M/u=8$hDs@G334A \& Y1TL -0l| +Qez"<` :do6274B9C?]vVCW|%{%!  @9>?9Be+kɒ^Ér2Av,n:kS)=Reu3mhmk~v ug )9GD+^3(Glý=}U8OYVS :Q|A9o_XXf.'ݯ|U*wavx ۴H&q뷝x${?w<%8YNyjВ3+dOÂN8\ E8G2}f$9 ͱ7Αߐ Lě7z 5!; heǙYzjED]Wsw꫑څ q+kiҒ5 l5{tNF6FF,=E_OhXrJHa ;ǙާƄa6Q>aYk8LUvL>-w4ӑ?Z5Md[0CT2H Ƕ[8FI|6}˓] !͏o~Qa\FvB w ̞O c=AHsT +p)K]]@;@լq,Ӫ 4D\gx@H64$G+my*S6bQ +Q2^&PIA!x,y4Jԥa% ;H:[Tmed8T[bp>q}̐Vw`7ʹfڬZ=Ѫ"[@MrnEGӸ|wZA ^ M1eIKxb]3ą*biaGo!3}S7݁H+C@3{5&oj,-zvmC#4CsFfM(VM *VIO ~M*)Ip>nﰬ% U8FJ|Jށ%||l0 +PFS{[\iYL+| 쐈}(ʟAf4i;Snꟶ*{vHu@R*gT}eOҞw@܇S:.xgs38<4CPŽyO;].€K'A<g>(vw =;8ys' _A3 trRuaGs`,$ ۩PZP-`]Jpvn5uSf b2}L I(84 |;BuՌvh~\Mّҋh=:(` .xZã g482izÀ1 :*))ӡP>YxYtl4Ӫ$241@g4$0xZ%Jhf2VAL/>0h_{lOӶx`#Gm)!-IHKZ+N ԝ""iDJrĝ]-dC]@|Yd,%P_O%EMҍ`tBphF-9WBmq-!˺U5@h'=|M\/xH:лDž3BZl&KF\MصԧF% 4! 21f7}7uD;aFEN()E- U䜽-MD6P۰ɷ,M *Pm蟟`;.ȶL3B.SП~{<4m/tK ^pнh[缌B}s;땠z Ou_ JIMZE(Cji|c>nMF{CteB?eLf :G'{{ױ#{$dl,@ZgYZ986b96e01a0c3bbb94c8eb6ac8dc34a7e65f605febd4c166384c9b3764e108666d8a86269fed7180 cf40b677a20ceee4571f0e60489e73dbb42375f9