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 8/x\DT ]/ HOL-Proofs-Lambda:threads=6elapsed=100.474cpu=117.511gc=3.7487zXZִF! C]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߬9 #Xr t@@}ƈ&9Z&gL]`V]?sRmr Ap[oHOgO_Y9-Wȡyop(JM>K~jTNikKa=p3_!K{"TQW{h:&؎}p1Ef6,,WW8Kp!-WgدHQ!^̩vQ+BnMKy73/e=Xj_ۘ2xSPh>>UY- aȧ}Q#n$p8hS{Gξ3*QgVͭQ BlS+|#Avhm :hZgw7B9l2F[iEEt.N9gYZ7zXZִF! h[]ŗXiɟ11bu)a2W5KԫhuhOs͹1=\_Pd,E-?ZF''C`3:BM4fcC6t%wu`s~:. ӕz{&\bN&jr[~:tvunIYHRn#kTo(I>O2"{`dm9CEϹ'wdR$s'{l>{za\;A@y#hVx{U\ . j!yno#kٌ>K/eլ~RCY.x.RFG4| 9$>/p:_6OM=DVwdpsN{AB6fäi<ZXx1vɸ{ l*/|=JpYؒ޷*PVxSt=SLD '7c 1inD srxL%0Aa h9mpyvڴND*2D*B뻅vg;Nc.oœ;+r:& sUw j<;VOe쎖>Qfx=նyAYX1WOIh*E?(yON`\|qh,B+Dc؎$fڨc1/c VL{&?9񵩔UI.6G+)Hpz_X^e-F? $yQz, 'r5  H%I2!gtI+hMpN6.ퟔr @~EkI_- F5D'qTANKFmK9!\0Kj"Ho/t}sZ] a fP\%x[K.*X mܬp+/ wf)xQ y~]~h["a2U3VR2XL{ie šMu$k%GGUΙ#թtʊH`cl#"nH>^A йr^-r762G ?d( ܳۃ:<Ȅ% J09'͍ri()rۡԸMʇ)oknNhd7&uuUG|ƴ4v@hYAPSMj c)EܯnI'u1b`SSC}4mPBv[ܩ4v`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.,,%%!         > in6 Z } = y > 1 o +tJ :O b# Z [L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3?/C'HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages2=/C#HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup1</C!HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files0B/C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id/</='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+=/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$C/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.texF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.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 $#$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{{): ۸ 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+raUJ \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,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:LHYP^=݇B"d0"C8((+ XXYZ-@_֌|qzŠ@꺰l&L+#8 PrKIeѺUI,%(xM^÷\9s2HȔDd=P!=bjemċ f۲' K^yy{(F-|0hQNeJ(&qd}a[ۗޕDmo;-Q{OFyrZBP霰-\󤝷F#`]u`~kh#M 7 z fNA9t4_R BpS ~YTcvMĞ'|vX?-m#kR9,VRk>F3B}<x-nuol`BNIuMTՙ;X1.ZOJ0%8v0TI(^ >vU..ٰ(:c_DdF ҙ@I{ =BeЛaw]C3:+jlD"[ 7`^Yh;X%(4)FN#%{)\6U)LC=SwNDp%A`8+xr0z}>`e8WZaӜJ"$ځh'W,!R_+_i-O5YS뻯nj;N`:ːJwqjl\푞Q9RXa*_ .ỂwW\l?:%cxOHt\HIvyqf;jZi@쒥y-#r L:ȼ~\x@Cza+gckXuTE w@[6Yap%0u@ 1Ajw {t @6t&$T!(iWuGO"#i-.kkljˮ?^J#% 'mw-o)\3lʃ*rc]hWfRetq 0<| z+Im dyߘ+zhxmSZvYdfF}FjY$/=ZۂȈhy1#$@׎NL'B=zVc3ylF"G։fWHמ)^ΦEDz{iYQG -;hXȍ}BOym?ƥ\Z%ҮoA¾Ԟο+^ޝVzAmW>T[ (:mtDY [  ZێqwS/ 8@Ldc۳!GLpp_d^khi)S("DB6:;w|nZK? 4 =GhXHrD+1?;6lbm] jMEܟ 5T2/Hds\F1&W::TMZ]2Ӥ=° C5q6F'C;O&64тhFpT<-޿72)~FFMw.ruka;yL̨l0WTe KvF*LUV$'s.\mG~PŊi0#rcd^eӣ97Ӊdcv|qprS_O*BHGIMtaq0QGGlVVo?M`V;m 7FjR+dQF& "P,a`pL4;Vg92ZzfHSJ͝,MI9; dbu4UlD3JXdbT:Y=e|M`7l X+y,[La:/ď(rHV ~'+E&e@kY{1MW_`R>[8% +x+3<9 %ę|36v EBD D{tߞ5PZ;~Qc?INa{IsYO (񖁑SL6Ϧq4puEV (< iR^ A fIc`i_pW-XM'(mW8\,䧸GQ'H;;wubhK1|Y`dпkrܣi>EsFxH.qg v~"%ۂG(Uж J䝧k`S?i῔Lkx+v]XQ Ͱ_x9fa\Q pLƭE@D|s0R%C+ƀ,0A{ryH&Z}!mw}Jp2'pP)ڀ^;U;ϋRYmTA5#BU: ql˰h\7/)єj ц.WjneKv)E47x&4SV0mP-4rxj-t[E4P!-yRtᨉ\|MDCpqF>t/!Kp\0NZ1> k"R-]oWaXW<Eǁ8JK\4l{$WLnڴ1} gYZ ]] /E; 4HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex7zXZִF! ^]A-MՋhvG"uIBm5ĸJ>Y~bZ{dV[N;č=nrn%w꿮.7UԡPWpr'CFOѱE!mУV?u\Roj[L A~З>Qxe{(b*M4^#Koţ܋+uA%JIȷ''B0~UQK$ #=''zb`?lrKZ1{maCb,9#ٿ̠fn# XWL[ w96fȚq nR,yDž@e¨D5Ee6 ƙ6-J2ky;wv +H?< 4C |je[Kc^#elf;3i9{Ɩ"ɠvs?pqd^Iښ{N!VxJi~3L>v}nD?J\`LY`;ub<|8n_b.{zal'ur7"Qk3L3PB."ƛO0èt|>DH;* ǡqJq@>;\XJ45`#J"qZ:ѿEeHq/Ru%۳4IMG$7Y3p%Ln\6sGEO(o-ȆS[bK|?gR "|DŽs3[$ J3T$^Ra֩9cH/}7O-#&5BfrQveãXI(P~ BeԊPF3y p;UG" ң"!jȌ\]ȮʟV= gF 6N h ح Ͽ d*^`zE{=꺼ڞ賫d^#2Y, z#هЧMDli,<+>.Bdy1?ȋoc yç.XEqݪۛ Q[p"z~;._VzQW<*o=?X9ڟ-P%#Уؓi\ < Od]R,I <,y\]pVY!Sn^dQ*Dag/rNPrl^B~=%W:|x^ZAu][~~mWoޏ_W^oh89i)0Ć sOOxh'xfLh~d܇_iy.K=1S͏ՖNQ؈>Kyj F{-9#U[ ?Ԝ9I _x^^+D-H7WU q}V`mn@$̗1GK|҉T)$КuB;|HJ,p+t(E[?O$!cVC ?%B(vIN;( W$`R5 !8F'S;D M: ;$1Uwgzs Z@s?Jdw@< z,0{52=AgHf̍"s œWV!|~U6q `]A2;!}}Od= GQ&hق+-u!:ڙ"G`}:zkRs֒!) ⯑DVoa6H/eZ;9;B)+|ǽՋQxMh d\M7V}쭠L!)gn ?P3\,ٶlO GP֕!g莾%eAv UE+W.0KRM9u33v`hu !$Uf[O嫺?e Tγ&6!s|ONS/1-nΖt%9 xgNQ-}B %*bw:y5Sٳ5]Te|i[ZVpFJӬ!/-Y*36~כ56=3 m/VHu#k, ExjS# Ƚ)7N4^w˥e^xlT_Қ̟kVP7οZ$F}L붔sʹ6٤4kSK]TDrU Ƞ@<>x^e6Uɭ.'җ~X܏*W0Y^Ŋ$"@TGwKGRLUL nu w9r%L\ZU}azH2geb@HIoі :'gYh:i֍ݜWdļ:ly%$t)C6.\\fz",A_|%Z^-Ɏ@kaMPy?ؿ%D؍ۅes ߩB2I/ѹSbRX/Lv8H `ZTq0x'[1] KYl%ܺ*")P:E=&e @|h'[f]6}i Ou -5v:g=s =9۔}r!)#qW'ł ĠɁ|yѱ/~1L3Gb-QҦ|c)x@. vjjӠTwʈ봻?e4! v=#|e-S]y榾l` ۗksu s$%׷֯Le , dHeS$c}usI}M>> >@9m8H`鸦Bt܃P|W /6Qbx11PZыG&b^^n-3Wf 2}ON„fNȇU(ۥ&MoԃxYoK(zo4`$OdwT7t-ώлóaͶA`a6ԒWw̤Hd xZ_:)%0oL;Mo'{0L %Dt-"}6ZXI*aHΔ>F@o JE:7i3&vuO>_Զ2t{[ n`vhyUgz]gYZ Â`xJ StŔh8ի0]1R/>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, {{ /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}{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 ( /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`MXp^P0w %fۨ], &g>$WTۇ y2ķ> g6ԣa |b|jcP;FwɬEH,. Q';DĐx8}Czm7|W>Mu+S5k~Ϸ)OoMmvVRk4/B*cgf:a9O; '!ôvۣ,{ {xᑳ<6tA@׷ՂQ QۤbҤi? c  Ɣ+v91>RLO7?z7[eǛJ :kW`c"{b7+[n_e嬽p֤|ʺ 4/l?QT*ϐs!71N?`|9ƭ/WBIPb =X#uv9S- ~̠6tpCuҍg09 njW0UI/Uuq&-d GRc5 <{Ȱ1Ƥ '(]T˒56ʱgYZ /=# DHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~AMkd^* pEK2sZ,}_kfRYsG"m'T3O.x֮hOc/ Qq!4ySĨC_?~pG(m|#Ū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\7OH XtBMؾt:"?-퇳I2dv<E :MJٱ)M\8oB{#噁ꑉ9}ɂ:fl (^ݬ-} ױ{LMTϜʸ oJR ѡrCH{>2HTgI5tlIPrpΝؚagWDݳiP-l'EИx Ϸ/ Q RBrۊxS*zJ8/Ha 0ޗ9'୑>*y"͠y YwFIU~m݀cȗsD? .2bLZ0[]W@!cF+tl$R+/J`V*4E+ئsen@JgJ p i'pL/]iPa^뇁DЬ^_{6LЖ4L~$ܽL"L M$Q]| \z[I],L4$"T{' Ut(Nqsˑ:Ʊ3&[H(#N^͈ hmx LfE?gӈE4erH eΊxDB5>$[&a\PDI)}LZtOMC [ -? 9ؚe*]6iRM$ 6ys hX.;=j`8Aճ%\PW# m8^8,9uj%^WKA/D r`>9 $RUԫY/SL%h] '.K%F+SP0Hd V 鑉!@piY 5rK~P鱙0mL=aHwz0 }"=˪6[_N{pNQ9˚|k+ZPQN[v!ב#3LI6Wյ[&"EޕgʎV@d/MQKp|BhWU# LeiSQ[/jKuԅTW8C\ T Vq47Ix`CA3sbVV,mxU6&9`v.S4ޟ+RR84̈lu6&iNùNYrPFßΘta LkM.+c";dyIW /%7{Qݢ[^G}Nn9V$09 $ƓGn%+؀WQk1mATn8pL^ 4U)p.DQRcVjAA~S(B憆P7 -:lk[+kQ O`ngNyeRqPO^O]Jr`8ԨKkjYG}k0?90e#?+}3gCtM1FO3vjLF˽#*KZsɗKfM>9jz;{+󽒶8׷D1}p[03a.ቆ1ʥX`!G e[܏HwbaN(+I.n4s$X?ɍmq8ɲ?4ʡs*9t ຠz1rm`ӦUe%@j""0IP.윢„qA4!g\FDj!H>) } H5}A2庶\{@%Mmx YQ6ƴX6P2^ ¤ (bT3s4(cvH\$SLqh {R1#4jBzv^=[+16qB|T H] ]J<{`$0p?ŞD:?!0\1efgjyYLٸZTܷn&J^u-7 9y1M(y=_|eP?ގĀ |m/vⶆuI3RI$鬀Zes>sf\2{ $&u[aѹH L֙ẻ^CFg`1mC WW#NM)1=HgmzFD6VQ}Go*'+9Dˤ>`ϼufM{5 \]F\;Mnc rWOaww90PLK(2)>j}Ta||E2"_+H_Y\1uԷѓ s*XȻ *#.x/:H#f7B0d(T0_/gUd1 ϬcQ5&O b-~Gݶy\(5UGsXd4L;ٳYu^;h2p] n%,S"#:..~^cGgҬ!\7{n"=LRkw=8ɖEF[ >NgB[Gq8\!i00{'n_XT{}Dьǵ3pLD?l>q|xLuBQ=q Bы-O3[3fS\~)vi +YQN3+Tv ~6fkai~כIZ >k`2 U[9BGhQ_jqkZ "Ioote4yfr)q{T@"0[^ocC;0Y;U`ɮ_=.jWX' LMUa?j6gxmz(g tLߔ> MQ95B/?@YUiDFV{_D,ѻH=b0B =4qNJ#O<2M{xlJә:N6~P iO5sZa B]ܩRxa" L. ^&D2 ˥azHK+ށD/:٣(+ so4v`S:1JczZ kzS/\רJbڛRA/"ZcO֖lXΜ$ԙde>kTb^Ⱥ{\źPO'\)'&8 4^V, EAcCaϸp*޽d8gδ<">련J}G|1*4~z+&7 8)KP= u I!Ii 5hTةؽe wH[#@Ʈ >t7-* /D_K\ eNb+K;FbW}U\ $,ґzY ы~F@bp;EE--ĽkU[_{#ٶ$L:'pNgEع@B4P*@)8&'jdHQx&g%Z;jo\N9f:stD/cYBIZC>4bkm7l8gx' cE,ۨ!dv?Wү>KIWj7:;r?إOa=::\#>XngeM_v]Y9-A*Gߕ6L_q=:ݟnH>c*;/^4s:B$,BMn|咴jZG>qJx =m6;6HK U% =UkcSŇ~҉o'z2+9l3%ۄd jP4r)&9 (Ke8bCb5af*!T:dNr rObc?d2_0W-pN7Q_E& Af.bpB*"mҥÄQHtJ9 |(kmg,@^N?$BPTEBY/QipbC!}ׯ݇҅=P^gEWyD0  EծEQm5ne>d>${w>0PQkɊjtMLl;m˩^9 1"JI/T#QAW yǹy-MErjpV<7)جQibȊa̪W׌rlH9#=|p78OOB}CW;gAE|Tnx$h%-˜;u ǘ9r+d }pP?r2,-BԾ%OTBM*غb+t!ʕtL-IšܭrNED=nܽY|WemP(cŸ5!/XJaG _"O99Q[筞{TV}kQFru7FcVakةbAbJmϺ\>.r7Q6Xw C8c&qXvqwL%DXK4oc@) s{;mcX,[Bllև?&zU;+F0"ZGfS '-(C"$]y+)IGh2Qsۋuع*D0 8Qz҂et7s׆UFMdŝ}T~DSIgzH&o y0%id`-QY'0DG#IrxjWhW(})^u! nحsSc#p9W&Ҿ,P-/">E鍻8Aa'Z @!!սV3;WGaii JIޖ#E"QaUƒ wH.Q2t=ʰv=U2==SH6%3O0Ӏp)Vb D 9+o?8@aCyQL-C G^uZ b(EV8B~$w c1C &jF(S1& !j&,7Foo^=˳S+Q7I48Tx~"G2 ~B ~Q Az~ D!hT)<"jdI "V@.}~D/νC`V((XYSnKO":6?R Ê_įs1nc m1Ja b= q9I >t bˆL:SAbګ_EJ0,o[$9GDQP86\-3'X=ٲ1zp#us^ ?_Kps }Uuz$_Pr4JQp{Waixi5sU s~'CЮgYZ/k] ~B)j .ꄢVhAKs,LOcz ``#h+ԧ--Vť#V)|D˞G wsx74)ϪYm ;wARsjp/LQR=OZ xFǫ3$Q9|ܲ^ ~^Ҧ9U7,| -1|@1`YXdHK zwq^}m98#F&՛q`k7Lmz!S#$% XPvU8!eKjٝSwZu#j7X~q>#v cQPȎAdQMyksMhl/LIgDzk{L!J 7"R?EG?P_!}stϖl2^s6}c'zc?+՘GL5ErG9V&⦒N:YgtM8d҇6PK臕7rF a(ږuYojG;s_xCwI|$9}&Z< ɴGDӏw"ڢ/Z쌠d{NYޤ58-1u,;e`G2j9EԮ_6iG Kqk_xd'ڑ>"{_*ſ!HEDip[5?5y:*n$ڢ$HYJFR!(#ŕA2WwtL.NۛW;&QR\ؐ4]-Wԏ {™@~Ӻ؇`'(ѕCKeA)`u_)U|TWș{r&$ GcL ;Epra{[J4pV H9o& YAR‚娭A[w|џ24 4hWmeFzzHp ײeU>ڡffo27OR=\խ^ULx{_9׬CYӉ5xMB`ol}usWda'7nfBX~z}2|7 lFʼXvyg?֕bEH詄 iESJ H+s l@nI<;M 偶inqA$@ 8e74k$.J X,/a~_9bc-dG9tk K,l;Uwk\>,򱲑Iӳ+}smbJ "gfsYs>aF/ΤٓeZ&msr/h D$'p1ĵ ╥J6D7_a.Ui<̴}9Ү-J)ɍ9'KqƊɺ3q1s5qMQ5$[ߠ[58&Zpww#"-H&w23 g;mT:6FlU5쵩9JD?q:3I%M@abìǓEvhj:cY~?4.9}da+[·Q;'sՇ](<-_P䧔Er=KsY$>_ `h?OjIYW_jXz`f`tp;_X9yY Ye@h|KpPaY707vl-恲CS|k0{-(C?^[5pd¦'P~ ~P*Ҥ5V9vG?FXҒt/b=PE_RKMǶ'_: ۮqXG|@KazXֿHӭ.aRu>}t(FTpJ2Z*[x$̀/]NJ>se"_U\r̚˗~5nmw˪܍3f}k%8)V9q=G̐c|ho]IFP ALXOV= D=8kf`Dq)[-*Fi%ٸكiQA~_!t2mG.m8`L7AHy!avy*¥籟0ɎtlA5 ˖VN 'Yd@|Wr ".ߵ),=‚QP$HlNIJ q ӣq w^H.qxLZmɦ סzgT۰TQ\Z黆KKRluA~;Ţotm$FhTR7꫱ԥ咬аdνˏ^m6pZ]lz.rF#nO+ ~0F ڥTx9AnE}E1T^)vUv:dc3mj{Z#GRu/Eۜ}6 $ӨcH/:Zv7Z]?R:_z7\o-N]d uKnD &jE[jڋO%W9/eV6r-H@#x.ۺ7Q&BFS gv6@(2[v%gdW ̇K9#bz:@Xxϓ e 713)Ä;D[ylbښ,#t :FZМ> }caѶǿ_Α$IHyWQjU =Y>nA Fg8̝Y^X{>My`EJnx.̋dvYΟSAYijIbK>p9Ѐ"Oyio\C#{Tr41}7uB6s!gbV ʁRdI"*M- Q8y[-=/̐)7 ,c4\i.3G4imȷF#@ v$Rrtֆe9y ]m'45Q[824w 6HqLA-Yk>mrR=K/%a:jue7JG  `dM?So1}oP pNMe6}w6|L3k\]vBK$ ]3+[k_cKt P!k(2(V +;FDzΥ$۟rr4oẕ__A!]9w;?C$zln'<] la46Bu|_( _ƅ ߥPߣhaِm({Ue\>6E/lҚ} +!6D\%7DJDd'~aSQex x%[(?VOSμ\c^J\P-(Ot>46sy?hm,m@/e\{xHon(aE兖$I50ΖxM#= aJbbq5 /b3#|jY eqNK'\}+1S]$pT!zУpQ!8s5O?$YxOjl}G3샟A.؉1 CѽfPugYZ /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هېHKp7:tcOD^DE[1 Pf|._窋`/o-$/O{bH)[$?dʧJ5#,(]DQ_?Ҋ"TR0'ͮC'f67(xa 83PE:*]'0dHe'g Zbz tx\] ˳U@GA;kd )rR"Fee^Ԡ̂A8CeuC^E2Zߘ1%{M8c4DM92l3h [GUv]\~)n@FjZfM߅6Dniya=^Tu9ꔵM$J`j}VXD28f٬~JcW]i{V.Z67`l0 vfxno{_S#{ %8iSoIivy%MRMDlpS()Pr𲺍X2.@]GOs/NHidSdCZE^S0叾lJ6QXIk-!'^dIRU~+1E:?[Q"cyίPD.S&:|n񋖾!GЊ lLMK 4(#8LJ-y3S}wCOa!a\$r#2f|ԃ!O˺rfl6}!C+: ŮF' mkx['#0[nߐ\LyPF:VSE<$RFr\C͢hLM \>U& [3mi/3Jn LwS9vW(X9k R3P1,bPn؀o>`S37Fy+Vl^'L父n+SL~Z g IUy&{1lZƤ3](kJߍ{?O,[ T&1/zc#-Sٜ-cixpujDJВh2O3pkG͖?ab"D;=VѼj.v!h2"VH(8x\%Npn}^Hj$G lNiK8r"D'kvH3wuFA.#jr֥h@3N~q&k{Mp'\hZ+.C@Ft8~:^$2^{vr!40ckHfۆyi w=Tˆi辶׆rQ_6!_Iמ"Bލ+~:] O ~\#}(@~%5`Fo 1T]t,l#i[zr-ԧ&f=:J$svZhr[#4Od)߲법 8WR3H9=gLkw}MPP]|83T\(ؽ)(ƿC)b=*@<"TGӫ?jMgbIJMG{ <:N zΗ=gctnځT'lWywscAtpM`g TnwORiDJ,m`IWVq _hן+.хuY!beH&!U€݀䅻EFSQp/J(@z%iYXȽeTۖg e%dR[~$0aku0_ 8wz\ͨd3Y4aJCc >EzVG;ۮH N]Ԯ0ëc;M8Ø}Nj]Gk\4X'?k7K^K#Bѳv|KU;Np]h=%9TD($ Cro* lec7YǼl Fb]c!cw9u`M'$!3j V[Nh8BEƌۢwl%“h q+.f"R38Qtfm*~=^]QfiKj6BӀ%HOB6-mѶ =x/3!b,)>=.s؃lŅ#pYjg@Y! % (tHyrf^/UDsQvh{N:^r UoeNK#37-7ox%i%=Ngim5\ߟ6?ZM oNg+$Pt0@(Mn{j89ݴ%bn^ y;@IX]P[=a|Ld6[| ~z$Z$;A`''zS+ʀ ч8N,c@5r'd4]RlnE͍Iȵ ~U9W М^bedFu)t bG޹jG1QGEO~h R,WgW!Hl—>05[ɴ2ү0w/g\zobY-.<=UP9Dͽu7 ɛ,>qX{-J :/ p3a|<" U$ Gci g<H " n%Q9¬Y-8@4HM\\:MeW{O)&ȕ;^ ·MXs֌] -$"(݋"_:MbFwՊ۸e:@x6BMvJ*^'9 vVfTwt$5{R 4 =nV8_{Q1X}7gj韊n"Ɵ7U wYݟO (! R"@qx8WLI<&gm{\g>Iq9ʓ\7@CϮ0^T뱄mٚˆ pe:&|%>Fqe 4EG^4 {:Ovk4 Z/N_pnhuF߽t :DLC#ݫo'oI*RL7# PM :xYu94@Ӂ;Țex‰h цitpcB]uΠa:e4hWxui k!1=*Yt=@%ښCH-eCr/n:uå=_}c,ŜwG亀0HF8$^ 7Hh㋷b'fuʼB"u[,+N7DY~!ƒc> ,ap~#Ԓ5jɮa/-k+Bӿ˙> NANIfmR{!;PVm EYfL3&+͡x?܇F *'g;ח1H1xߔƚIG#/bK1faZ?7;y\xNPLU ~n}&(ӱ<\_ Z M&k2;SoGӓ+`p m]}YxCB= wѮfkDJSُB20Jdl5_WRf˞ ϼ/)4Xے3G>lbP hV꭛X#~Ͽrar14|MN\"aNS <]Ev[^{5iK¾\ݸCp2PԷ76 00Ίzb$mVY|ս쓘 AZgVwT7M|CrXJ:pamc^>p,C iA:5anޥuvAꝋSǛ7p>M78>\]cKI9:kDMIմ 5_!o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220/O# 4HOL-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 6Sٮcfl6͢I6YdxIzD/3`""g`cϲ'O6R:Əylm&Ӂ'AڬԶW^v mUa l?רßGHc?=~+U?YR`&› UqmrK1 {آؘ RoUOF<.cTxD[SRsPBwC)Z=|{LT]Ң[%:Dc }yጉu ,CRXmm}ɽ8P5c_Mr%&\ł#N؀(;&|4"s^@6TBEX<.FJ)9ӧ-l+v3Ǻn7V9dhbDv?extiY4J89qZ񭼲dko4Ɍ]5ӳrI 4`qF~ڠӦ/]mzbҿF6~o_H2ѷkFTqt|׉M='B#w5IGb(ܷwol\2+6.9jyEw/iz F#I 0ѡ%QON12/%A-[ZޱS $ΥV-'Vu6= Ц7;nsN{~&U4!+I2+SF`%V֎.s7HEKv9#;ay`}l'N8^up@`A>A ޕUË'?ᱮ Ƅd xA!Ѭй[Р)/c$`n/hq{;H'+[o/2Rvb+R8O`aҎ|b(*0eJg6(D`>e HJSPDg–n:2֔X$S[nߗP,_匫LG f-0m9Ҳ*g?){ҍjm;{S(ytŲ "l_u˴d76~}HA x?apCXNƼztPv}v<I!.quWSᏀ5fpnLdNJUk`s$ r)]&a𰥜n}W]YQy8&8+ `?r& (hh/Z W,SX$˜>͗}5{E׏:h{ZL3Ҙ?9x {m J\=VطF`o8>s+yqFbMǫ*tW9V> N)C#}߃)'T\YǗcGkNR9" >uN~N&)kASK~Uތ=R uJ'!;/"fxu)Tw9rްʹS  AjP{{̀Q(JHxf=C9b<}Zhj} w1kGEnx:̠b06M]d"v5;7 RrVbayjݻT׈;K^{^Xܔ|ST&x1@]w3J=t?~ PG=$#W_=X(FR|`!UC7IL]:& 7?)"Cj9z@٨#`zmcYiq|lLA<`!#.D))2i2gPdb:\-K䬇Grh2)Ue&d=k[)s:\A>˜)~Q 9^:?ʼ .\_cC:i΃ogD6-9K20Gh?ora@~e,Uqm&kIRݼ|I]V@;:wK<Q urི.`cL~>-6E! #y}$[R'K(Rdᕖd:$Ut 7gyJMОZ$>-K:?!i( L bojSҬ;. 6ōyf5̷Fèq[ : 2gA5\ >P5>5it0b)*t7^_h ZTpR0J2Pz&cF$-}"쐊 m1dkN&mry9EڭmBޱ}iG п`+r037EiVKSQR6W&Vv/Qjf h?MKwd#=`BIvCɴۻ8|VHJtY>Z3Q-[hBQgk&\21[ hzm ?j܄U؁YS "psMVѾJpW뱕mIKp_x)/Yw~jգgya*5-}+);w9|ۆNXRE4$sm {TCJ|3-X^v.6uZS XVLG~)kC6B+t׼zxU:rYm`Md*gWX=ay$ͧb/JyH{x]8fP뫐q eQ9e H/%xA|)l,A + -큷.WA\)oQ4F] iTj:L!giXdn$FM6X":[iT!%mKT;SPfGfrrڮ+T/~Řc`n 6aiEhPa^5I%`0i[܂Ig~nv>{FBfۗ>S(].2JGAIeE(o&`FȠ UJ =UJ$.%m,*shv};y_Lާ`=]_]&nT֖Tl4:R~-DA*~Sl+1 (A{qm.f0xrgp2XyrS4kťUV pU$\z_)g-('40/S>tc/2pPnǮ3A"zCݻE}Eg%I+߱M77,`_[MuAfyU/FGJӒ S'U=t4sx8%t7w:gi 6Q NYYhbU#^S׷x$gK]H Sg~%d u3^nu ,k!+maʚ j?薬$tJ4 r;N#R::yY*hzHCh%ZMVXKGyE~#2=u-չZLnsy\:ֿ&idke :D#̓# S{jfaPu{c0^cC(xHSV)ޕXEG0ݩGfˏ၂{tM^Y%u3IZVOLnI;K%kb0k+ b?_^؝Jb˶Z8oT =KuL}.OíjeP d+ن Ȋ_?qc- A:g+Nk<("-=n/-l\<,'[CDV{YV!GM'gH4f^g'OZN-0$n~,c}:וkR ENl[eeNrHKvn|!зm,)~jSdꎡ,M+_zAmWSS ɆO>i/W*,GB"wZf|32قW.7S9X:Y5Z$\-O}psA&Qʿ"3]bPva>5MnRv=Sz.Эv۬BSxaNdЯyFi&5Ym1-0|_ >l\5Lư%D}kk!COXdIq?Bf<#qoyWyڌ)cn~*p^nܹSe(xc7n3}Nj3e.s7(ֲQME`mFO]&[e^񑪳[:`hm`q|pl~h@DԸnR쵟3~&ܻNRmL\i 5K)ЦAg!i"yC $IpN;.+xTU HI%O{=s~/R5O 3)R5:_-2m 8eq/$OPICg18cɥ 0Ԛx=636M~`JIN%oca. FN?ɩ?2B%(E)ivc9Lz\d Dz=GX *BM*7?>VC :K(myBH hb)xbw?O`}5püPR:@Ͱ#ꗛ׽a[Q^/AŪ[ܻx}Qۺ@e"A"j|l kƒкhe >Q ^(He["{a|͵ &.w˼ 0[{Ë$wD Hu7E89.R65E`.) x7-N X"/m\~xI18.w N}nK>dC7hcM`+T|z =_UmzG^;/Z ,%tm3B#3p J5)R8)o@b1ɍLu2HU"j3';ͭQ ?c+,l]lBu{'u\QvA/ o7  !A,cO]-u Fׅ7irzT)`Jpckh|pߧ%C*xCq#prh5;qk]I hm1v9KF*%] u1ԒBON:2e .p3va%?o_+EcV"{0@j[aP՜ v ygyxc\T*nZ!]9=GGfe u.Ъ]b@0PO 2<.c$YzQRB HAkZ*?WMhʅms# { XsMdN.$`"d3zN#Ř ;z6qi+^WI]y 50d}jwQ!qݔj5$WVg֙n]a6IhG`S[02=iCo# p2HYXqd ϲQфx8+}u?huNӯH2#昜W-emj1TR`=`:,W?B&>ϧRםQa 5W&CpCLzg:XK-iQEO[m4tbnhTzM}U"Y\U9W(Sݚ !K(TvYD_ xj)X-HuQ 2@ڕEEvqql ڬN^ʥ{gh]λYHcM͎Vݎu[F6SGzAxarB֔] ?vB= &rS3K!Yr1)d-7uKYiO`i2Mdꢱup+ _{HBՂG3fKx-$u6k`-f";<dZ->D%#p;lG |FIV~kcã:F*bt$)fPvkF_o8Y`*F'"ct4bR(fK9B+&<Ҡ:L"g6P%p;/4a}pC`VUw=EYzqu֞ugU3=ȔVDJՓ1F&T5J&uSGQm{=ENP0=J;%5^䟤-30ɻJtnv),nQhx` &/{G"{D9^nd]9 1z}c`V2!2>AMH]*-ވB\7et ~ )D v^ gTf@-w| {կz?Q^:=~WS| Z#͐H\L}\ڲn vJJ$C(XVls\$ZѢh!qZx =1? 0J8Ċ[!l}e,ŏܼ|7^dy?MJ|WFY7ן0W*+7|92AnV3ɶ7-!S46(n}H.V ZMȅzB*2H7NkZ/ٿ+Ijd˃p] zNBIB<~ܚQB 9a`%dUk.\i .)KDTi7,bW.TX)6CJDMج)@ eFj EӨkcਤO)円LD 0'-VN,^ NE=VUM~H+L4G9?|ke.{qƇu"?jZ"IfV!n{qe/$]!4Qʚrl.L;à˜z騃ȍԙp/nQB>x-rDUN^ꃄ*q' :,%(,Cƒ S4 yHD†F^vkZT,ugr捜`yʱk)í^ u+ؕ'nܠK3(Ud?v{}]:֯˚s-dŘ\d\BW!kf71WҴ.~vg-FC8])'w蚞;7y]$@%?8A@A?Ƃ^<ŝkcH(Pc]p]B=rh^:RʼnP9JH"aD*;LcIn#KufIp(Uj4SOU ZA@jr f 9^YIN8@\S[ f Gw-Qם 8\kڤߩ1fPd=NulE9* SQ'Iog,"El$$E&  $9a&nxx 6;@UX*??cX(S !{7DnaNźml?`h"mC[%]T@U%MũqEhGptD뺦4)#ԇ 6~/-8XN_TRUo)` o'axItK?}{ifTMx]$8GgמbzԮ搛=3;]#i뺒,d![Ql[b=rȤs0i^ubѺjvD!~~)V8&.HrMQpN&}|ط/}rue5'X:C$PZTq݅}HB3y叹?ca:. Մ@uҜ7&%G DY\9kL8U %q:6M݋\̻$В=ՋMK8 C}+Be\K\K)h'Xr2jiEҴ!4"L, #"@=|hsF㲺T w|ͷe]I#ϵ$1N%!_~CLj{xj-TIhMdaR[Z!{/`LRd㒒C &o3o_۷"s7?p1(ZedEeaQE~QB̹U@,8_50y35I~K,bp5 :o%"zMo<;<{_!)ɯ8͆Q{wWqF&9&pZ4fZ6?n폅PV%SV2oY!-jV=qi 0U߻fʼngd;#fVaUQ#8N(nUWGCU2DٹbV,CrnN|YU-W빼8-E,ȋacRtGshoǍ%yWϼ|_jLePnHWdC_gB]ñ}Ž"UCva LYj^NJ_$Mr;LVAЯ=P]F/{yE8LVAZ{ do"r28?,t@jѪ&bd 9ߐSDWXNcVf<\t.ÆQS 7E/~֚?W9,Se~| 2"4THڐo%[g;j(pAۄq@ zD$9VJ)b]n.NLP qq@g%KبAji:3%5]?ҨS.@.*+!ӇHy)4tID@ %j?\iJh_.B{N;|%iD"vQoSsy=lCXxp$gmfDE+S^SC^a[[L ls98Š9vH Ha)j1"L0.bʖºGɻ@Hh4 dw%zJqs^gJ!Q+B8v VıgP:7ўץrDž>x_PYTb\ǓjFu+;sAvzH#R`"ΤlhXC3n%@` Bhb r[*^A\S;%x)4v־'uxc8Rkf1ؑU∮y_9$2k\ZL?7/b;4[1rWjl6Y)e>aQ;<tsR1j ueb|MO7p3ػ+@F2 810ʊVFTE6/!T@?_!a58y98nS*Vqjj)Ҁ6 )f@_\Y13Q[BN ͪ}:D\)dڳlUb7N 'omQ13wԟ6k,\Ŋ-/nNjwiSoB?씏m5*9 DKyj\t8ؿ1> Y)0بFΩ-0vcJmW#IA wX1i*]F fֺ-S#Dni=:a>~YkNywwAR<e,.S B;g7ͬ܇e3⯘vŝfK`3/)kf,#5RE-0x<.lR{Rgֻ"*n:%flw*Xݔ&i_OId7j_F XUk&>P+P0Ƚ4 o ٚv9`-QS<ꕷoWLj+GᛱyIBǯr4~Rc+IʽlDJFQVL(-*\-zza uRXM`Z$j $hnOI*WW')T–R#JN cZ8I2D 5>0ž kr9:RX C,yGd‰<fEO 5'cA |ktVk@u")zgV[\ vD8(R qcזE ^3:]t(/LƯ?y hsZ!^#bp- '8p,B=w|>%`f?/ޡpx2eQ¢>~_%:Z;߀D模M64ygvK= r`SwLD P ]aL};*@cM9lLL5Ӣ0 Ho1#\ɲM1t h|OfvOrVT=Xԩ%>Ņp܎BN}_5#Sv]+1AM-Ơ4>`QfrʤmpKUnԺXKLܸbCša> JuTsI"b;E<[/2nPAcoPy#ć():>NEqpociG)Gn"qםi֎4gmDtd·dCyjq'P5"\MBI! =  ABY.Yk;\/NW'TFhemiׁW.IFP @'?gMl(ƆPYN%%cgKe< P{3ok"\5-~Avؚ_DJ6i=hFtYŽ6 8E9ğ֮_)ίо1&frDEnK1Nھ|3X5N't&$ӒPM[ hVMJ )Z^Æ0l@gjJqAƐYk 5Rgl^\XhwZ1h(ON%Uh{ŕc047k"KQ$5–[s`pK&._)0xF]/p&"N"Em]]{IBj _d$䳜~{0[4ќߢ/D}93@S 0E/de5g' Ց4:,E]2L&G')DxU7fAh~ߑlNWڦd0Z1.C*'Aju&yrMoBU2ZYazAQ`-,h]gh(#;T4 dN8h*¡UQ tlIl&54RbbVZP}.${> xڃ#ϒ4QE^t롘Yƶ-ѬJ.TCSI 3t=:{ v1e>W|Q"U]mBa&mMؚbL'f@_]!u[;rBoɘѺәꂁ N[\\>3ak :a^$v(F=66Ovu!YksD(]p^ﯿ9XJfC zr45T/{֯ތ/[r{sP0&Ocp#eb0 @?oGJ])_eH:PU 58yH>y uT8wKA釲wdҜB^P0Fia -fjE6ש%P$V#J&JKdj7(],aM?n>.o^>2h nۗ{ p%z+"nHUihm]=jۭ!bO*V;m ,8Nemg5Ml8Jmws{g œX|-ոIyBz Ƒ/oz$==dt3[/vf0^G.}+ʡa`l>+/%Ι!;E"`$FM 1PcdPsBNvh.JOy7շ8[X4E"ԙ>:@ACwN*^蚖AH؊t9#WEOc1Ցـ}es;}y}k ')g"t \Ly2uYrddqh|蜀q%sѭg48Sf.֑pCE84N`~A;ꙉƲ(: i]MAk HQ@Qѷ#\Bw.!fVP!f(ȝ߾O`avYPh́UTu2ZЎ`UiOK)EkRyn`sՙtL$%2eշo|jrU2t$`xq BAj^6 =xH29F{å&|}ZDPD2gV P%`$ H5, Fi1cDEJB##p_@Ϝ,|~G:eWѾvjlOG8_<}ihN>~Dh8#i;{Hq F۹FmaRr?Ȍr'S~0NW+Hw_bUώL/ Skiypǁk+|OLjpW{X3Df&r-:nקSF_ %Qy2c=ɤ<=5!9E9wSPeqX1%K=;(\m*X'L@W#co3vڞkr:.葭=tQD"wM[]fe7Yi¢QA7ttxLE7oLaӥb*]i-ܭ$@U`Hx6i  کgOQT ^[d5{n~MZro6&} "&8M 2[k3,jPnWG男>CVo W M&Ǎ }[ =;0{BYYE . G C)h^(]jHS%o:&~bfVڝ{:_ Wj_%f ㌽^y2Y cȦu=G&(K^Ԭ9iqt_JW6"]Jk0W-Ub+ެf)zXEğ֯g!i"ir]\M|\ C{X-f3?O5q 9{/2`W#kE Ӱ]T6KrS9-턲pNo, Qq[O`߼zSdg :DjL*~YgYZ  f R_! /A# LHOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! b]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E e<Nh J/ۀR>5}1[vao_w6~!F&Jcѭ9ܚ/m!/(w>nl1|I>_AWEOY-aWswք|38[ ӂ&_+%pb~*߿u6?M^Aqf|eڍLjK|;J Bz4mrā|/{hK…*]"e YCSYS(/7lL];31y"%)%1g4SRT\^ n:K1:LQ`c~G}ޯ ˆM+ T!rj77+MɨB 71EkAp[ Jζ]MDA\꧲RRcu*VTz~;'wP̨kkHBIkP"y?OvU3uQ˹$~|bWESF,t虡WXٶ2308,&i_:x ec5@i笋?jDիY= dOxJ{LMKtn_B6qsMcA&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' ,HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messages7zXZִF! ]·Iq n[:|&[zܒk3<|[C)5]ɺ*C|5iȍjI&@(?1CuϦBkQq`,8UT'͸AVV䙾7#6鎏 rEbǀXwvuxsj'Z^\e> |Q+U}Z9tKI/rY b8/,إdП*5yZڵU컾Ś0pl{/z%?«Bf+ }y&#ڃ&A`E7-VD@s"ǮpzZ" dW0JJG*Gm>h]% אگ5-:P5Nq/Xiqo:X@͘X6FVQd֫Vר\،oz'(iZy'dj:OqGB4Ja6^҅A&$ ,3P:bڔ2̟_#U h"֑dGhyOG~Pd秝]uVj?TxAQU\Oj>gć]SbYإ#Հ\]w$^2 yc.լ%_+af80cz{Ax0ƲR)\{K ܗOJlm{`[nGl;&۔B; o<émְn5%X{I=4 uNGtS٫U`蚰mM uĂf]#21FjYa5!C6H`gYZ')l7؃=|o&u\ӟ-_R{WfmlqԨhiwUZu}uJB׭rqnhzGBۛ\wbcZzJFS1SV 6{ f)W.8ɜSߛ2L7y7IbQ#\})Ina!wJSkO{囪eڸ}ivV?4߁h7WOϯ@{˜e _T]Dh$N.UQۚq:['n+ ӟHV-qtHvu}w^ x5@脏l|P?aThF`I\Զo'`HMy}o!z^ʐ&3|B*5o\ җN\_gIT+t9Oz:KY-x mV⽣Ye,tvi_R*i8b!*Hyg7 Zt,8yIcp$riHN"R`1p"3dj߂I-vnZSAvf}e#pWE';0nxpQc!+r8C~XۃЂtxGΔu;8›5ڎz:+pANxd~ݏ 6|f;h14?z{pQWꘝEjpEtSRדt g$@7'i$!ebvNELAN9>F0%iTUe/;wĔFfI d)!o/ '*Hs)X^F؎dVJ$m>)ٔ"̮\!kYtcwOƣxW}7#M[˘b`SgM:9rx_>SU3餘y~$jZ#O׻dnH(({6yt+2ͱqlw^EeHckW9I;aUbU@-3=HF*Ew.6dpΖۘd'U']JDGշ.^_/~lsЎ3 fbY׫¬ wc7'TwrwtX̓W};l.ibwI U/sikG XtaF邓>6ν>ҁpytʹJ9וqw#(U(!,*D j\).Rfѥӄq!}Z7 XVAdAM*WhGf4EF|A԰ ln8h+\p&=;?g7œºK׌;V8J'?]>h++ ^G]vRi:Eg73Hw&cմEB BnSrln|n?0jʛarZwr|dd)GGNRD|_c/1AeUw+@rNp`(b{Ē4ҭ" _ "C>A?!G{z9* > J7 gIq>Qw;, udz%6əEO۲$W}ȝG eo3+ɋ7kb#xmKA9=جo:o{ZSZ̘(ӋY5$s 7{`[v?ƈPa\Ug_c>e1gLVT=9SREԬv̚Ƶ #$ BN@~O/J;\PWX* 9-5z^Rl`9kzxCCj<7}E'ap!,~R*e4x(Fjc-~(tĖ.HL>ULs^Ek%>g_D=2i6q)WHZk)pDY/]a/9;( b)tqG.`4" T񹣩zW\ѥ݆s8/)W̞J,!{w8/. @.3A7e>rYԳq0t ۹3eT,(& Q"{Btѯ-oc/c%Y LfnuNl=MՇExAV.(o\uϋr tǙ\Ϟ3E*.[GBm|$%%mW(kI:h{BO?lhWj 8d:iӔ ޚU|g׿2hnau$|dt_ 2녫=.^68!Z,3= DNٿ;: F\=N̐xI#p/azm  *n{+䉇gBd (6@@ɛwi7%JTg}@>-kpmO4g\[.5 \=|nPU ir?Fs} >BZR6 !Y}{mO8nYsݜRW0ws'K#m+B Y'/ ݼf fe/9#^cTgq S,(&X/V-#GFG!UlJ,qEx%:7؂0eo6.Q!YoW:^{Aت["tʥ^ 6/*|mdSA)_*$sإh \g7Jnt'FZpQ6u ƩE)cf4jlRZV^TwkY<;U|%_E]0't+X ^r,go9vϫ+SՂJz)l`tQDYn,cCX a# # ;` tn%mL5bn}K`q,/C [鱭`nY1BB!h7m_h\`Pak.;LP Ssܾ-=\N34# ʜ5#eHחR9%1cqD,5ztEYGDS="5Kf{G*;kS sߔ5 æ<!p'8 R S&O'8X/$#AՐm1tZԬ$E7y %[q*v, N3]ث3U2Q%&+lH;Mm%IRgOK`o#-)9?E.//GniLi끓';THc1yBU:&B]PϪ\g]էΚw^D j"  ]|xNWvk("BW-+(:|3EFSÝV.ca=C-XA4izǒĒ6i^ 25ZP@aH\VehBֶ`}?l⟩1 * _hAP~)RZOnW Tr'5 o,AK%Ź (_P%?F7M`漽K*޻ݽb~(2qbxyݸ#ⶑrn7g׶4:W'lk+CcbɪpWB$/&PƮ'@d, ( @DXI=UHAeE}ҞbABW2`Q~^Dx43TD4Y"J[i +U Cj{Rqx .g <.(~J2]i}Fe&{1a>#TF?2"z#A}(Xn* n{NrbRR`3it{{[՞B"]xlm Kb8;!TY¶SEc!ȵ(<@d),=L pݯ穕@m>jF 'wZ)AFN;< t=d s[ d8Ll5oDXԈ)#=eAY|E*|)YrTvEPWA/X#[|.;đ % `eZ^˲ob}hc#V%'%jPEVXpF>RmjywfW;w຦G|F1H+9*Sg~}xۊq=SWbM3e[wK ZcL7ߝ`t;e*FNk~B (ǽV:Xlfpue -zp)+7⳥eSIJ:r8f1Ց XA͗d]OO¯z~}F+}%i rcbۃH5Ǚb؀;% OEl'LT)S9oZ`m8ЃR}.sOEß. Di 7׌Fp!Lgfhpkd&PgU 4fᦈF33)޳ Bޚ4|AS"|w\:nZ`[HiO{IoKT{I!)/|&h99::JxCX({DbXA dLȽ 0?N4*QEĪ&oM K^[$_B{|v{0cy1fd{G.. ܥ]|hj>5Ax+E o!P[׬3BG"Ab߲|зX紉a' :;+m]8tԡenIvdžNRAvmb{ٝ 8yKO(mKp8|$^Tb)s}jKJfu>icii/#G!m%cNz~·Ñ6: mܳߠ 쯷,0B ˜ӌƣ+U#zv94ɫn +~Ln4"Y r&:!X&&EڶT*b^t&],=lpc -7ȓPPBVT^ Xnmvӏ0uCA'F_V K(3=<)^!W d( ɇKn|+)!lf/@zO`[yߗ~3FaG?{3Цҥ6ԡW;֪ZLfA(Y/)n$4*HJM[a=qws lYc*ݩK![붯3H~ůU=qר6$J߲[dw o,F$԰Թ((\:]g=e*oiT%3YyHp+!l F_@7{4߂py_n^%^=)EwdY<=Pȷ곁e 8/5_/iEŪ%=K!6vo#i?躻ɺdž|,]zu=%C7a؂t5 f'r|_o vܛ46 t\ӈE DUYa, 25ϦKj.nj |1 7f7}QZ*Rfp`?I ~S*-}};OE\R~k&2!( Jf8j"zwGXͬK|#)LA@X yl͑ 4`TBj+Nzl Pk])= bRqL>kG:Fy,Z%)V]ۋ%h#UDIO,s} ~by=f*xcsyYeeJ3~0FILF6Z5/I ?R项 _,7X\%){U4$BR񲼅}|2o) ȝjEcGXƕ! i3=}"$vRV Fj9,`a5.`kyS~) 4 /u+3'a+ 3m&,MeQ_ZNVq֍ +gCtn='*9** QɥiM8* "F;Q8v"-a=ykZ[W/cX_ƣb0j5ǰ * +U_ JX Xs~j^}M-@0 Fk8*ŮzgDL(UGt`^LWNw"Apot1O239.,0DEs)#8taYfM/HBzֿGs 5͟o76E0IQ;假 +;qGN}ui_S@+ÃΠٲܾ,9!zz;„܋ksue}&OeþVwe %0AW)I*Ȉ-&K-i@}:l 8m(+ϒrшXcgs Eнq/ Z`t>2Ypq[3ݤsZf}IQpuv;˳:.EOUR)ZG1Pƿ %Z8xJ[u+f@=QN+'zE.8 B65 Tpa\ro4v1".ml8VO{:ҙBNH"dO EWNAg V7X1诪f@שԘ_ |Ybxpù"F*qf@o`wV`dXnaK|F=5^ʞ 7^ v_}Sf2~X۰](3OA "3efLY,gS퐼~U-e'|`=Pviˀ){B*{a"~21]mxX iOo|30eAP)G)6.`q_5c+)C xwub=8c_*@sZTBٷ:?}q 6n-EfE- Ý73K( q&$a] ^rڅ|^=mo>8"x&fp! ~ O%Y ujPJ)gloi .63@8e[rӸ3{HIJuS%w)>gM~\wwcwc_I%V̌]XZ|A%f.%-JϟGj™Kq.'sl[W2G`N&Ғ{CU@n@k\N}O9z9:ƃAN&3͔Q2ȟ )uGME#`PD;s>^q0u\렄F^D[r0)[c,"=hS?#Tqꪧ6ff߯O> {ʊyJ fC۴+D/?Bz.MϘʐP֑3!i=ߠ6p7̎JvQ"%bB$$p\yz&A)(-4Y.3؎7/'+qsS3Yph!f ֩g[|\pBzxmZs jj[惆䶔'`hYxA,)Ls$qi4x:/ⷲ\$Xj~Z13;xDn;!آ/t a`zMhh@r|G[\p{bl:3ߙz܂qRнL2\?44ꌚfA第 & ma[S {sYEݜDK^fɿx8an)E=a%QrnˌH<ɧӻ&fya@@5:vǕrM(ŷb#I'զ&@lvI: ">0L̲7>-- ?5*PC#iGoRk7iC5" {sF2E*&Z4߅\R`cEL_}c5>!8+" DX>ܓc~\M B`FxOY1`Iqf[]z:n{MAo!790D|^ |}hܵ!$Zy<9bL/LK)H)lv3q;'ˮ]|MF Gz͔qgdn&yp5'<~Yi =>:?#^(x.͂h33wD[O]fF}۷}̳:&ͨ*ΰ~xqK,+59^3x ^ZZq'1 KneԜߖ<ڢxڅe16 >3J<O%3FONa` wl78J)(bH+A1jun/t&3E)9੊k|W?+_Hekͱ `R\=qI< D d pԄwi18{:YEBR;5l}\ɍ J}Q3ZAx^O+E#“6*j] nWI%˥}ϥA{VJLn;6l?9V$\,D.E os)û3e[n#&b '۳ %BApZe"'6T(o tGH}ڬ 6IcM!FTwkLlvk?l K9V &eA#vG W!8u2:i+r{g1ηv4ͫC pGJ+p8"Pv 'U[p7}L05[\Cb/}DwD/Im4E@V@sgn2=8DtyMLd`o}_Nøx$pKұ)ƃk Lb ]R%)GR2W?m"^<+ )D"LOhP&Z}- N>+Y?|]0<7#p7 RT`S Ilk}}4c )sBF=n:,a ^MP3i@؋DGF@ա0"kpBvXujbM 7fh_JN'&|rfG @KC9Zc_gI|dVZ%tFC)WHݾ%ciy!: CE4ARy&: ?f֍^cH.W#$kޖiwk~\ 6Kێ0UN`ΊtdAfF0#̆(ZtBח5^A'^Tz7 FX@⎠P8$L-'L8f߭%s ;:)@ X$Bcuu,}r`=Vf^+ 6s Oq9YF(>N1ASRw1G{=0mLDty0Om{$$?>3O+BU&wu53guy؋n_ac,PN EӇ3g(r WV0+/`C;`8ssZUޞt=Mrf~78}oDGELdӛqm[aovBqN,5zm}+Rހz1b^D>Ze~* 2}Um(Lvť HdVS!y}@Oy,C.kTjaηJB{:pp#b0S>큍<!*Hbl*@e,$K|O#_Z>D=Xhv5&rDNq~@m bG,Ce$|# lHG j!=T;&dm35i6qҚBpYe2p۴KSY |!jlhd3kؔ#{ϰ a~N>ֹ{9s8!gehh&VMp:>jf#+0E> 5%x*F 4[~F`[֩E@#ஜu G&2+ǽ/E Fz쯾poc wW-H@SMNdqv3),h /)d@h7?:Mt#G в] sp@1W9!νԚB^Qdn70(l0pomGЂU\sʇoLe91'eYie 5]B X(oz/nzW,Up>;=%T16WTCf,Y)8dlpy7F L3=7zHCZ<j_$I/Z`l!&ݜ ~um C C6ږ/Ewr n4/D'x3+ ܞM0Sn.4݇?Tr~R@E=#7: jƛqBsҪ˝LcʄkV-MyzgZEOĆY&@W(+Aqe޴oҎJŦ3%nPV0'6Id[7۳'ċδ"^(/B=U2A0Y :٫u}"瘣>".w-Yi`(C^[;^/.6ߟ!֠ugx ENzer@ Pvc<^ݠI)]>P|d3>88',y 9A nKQ%Ӌ&ɏrI/2) 7 -9Jz71W,(@ZpT1'҈ۥ\!y۱-+@{BY=QQVU] GH6%s8 !7Ϟ ?ɂuh7GEF*H@u)+%3Xܨwķқ+TV.>q{+ U5(#JxЕc ->̞~ٗX}Ցx\0K!; ܸGVinаmă:u".iZTN8P}%$$xP+[i]c3y H}GJ6A5pt378HyH h"Mʍzr7|? }ɁUz櫼gctp]*4\y?e2<%QמkJƍdE mrcjh7)rM)򆔷\vE(1ykV%;fo >z{;gsgӏ\.Eߓ+s(%7Wl[$/ fpI:ܑɞ| C6 shB2[TdQ߿l%wfo^NZ')![S ncG [r nq}b{ ɸ4#ˇ{ sk~8:juqD~~KY5U(hynj]D}:BKt.].ר( .dOdxy\ݒ˩<[`[C!*`W2\K=~Cfs߭襩>$m%Բf km(hnY(_ROo*p@t 98"a-=.Xy;9#̗~Pp#z9Sg;~D7"w.щ1`~l{S` `4c[]z æ̼OGhԾ **X9[2a>(hc ?=$!c 7ϴbXƟ&3[FG<58{^AH(4\mR!3ɈA]6u}b|qj'J߾XV_{2wSa 8|\ %F=糝 A;=u~J䲐('WQ_5x(%pOߛ=Ɂl3jޭtj/diMyQ!}c:YOEO~&oKG2 V}z! ,8=7e+Aj>0YQ7d N@.K(3l%j0GW;m9f 8{3|u{PdwEJtXFM۠k")i1rޝGV \ׇud.يoF Xyӥ6.fAQYM0$7-F(SB_ O`R޹/ L1 X!2tl5}"jBv s;y< ̔WhMҼMheWV eC*?806e96 s| a t__޼ "hJLF6A厌7?ӹy0хe"IV2:*Ĝ fQt.&Tw )E|tNjn r6!6 S` rBXqi^Lis[qt資[ГZ SPRe}F&]2i8Ei/&[4T`3/pF>ڮ%ZR5]i^x4C8C^K߷En\րkJPjN 1F19f~@gf-e[^(oȯ\ޖJJwICRoW >XdY8˽1 [+lԢ̥PC>Ջ@=Vl/?o2?ʽNxml22&5%Oٶڍ-g+kUܞ,8)a7<=mߤQe#A`*gG[6j&!Ec g;7/vEn(-6|8hUKY H]*]ISpHnv/a⣽rJY8YP`%Gf#gTvwpbH$9W&ͺ aWVpfº;8: g3 |S4SJhyv7RhU8du""$ gǷޜ54Ѕ eǦ#,,TJx53Df 0٣`b[;>.䵨,cg|Ujϴv<5aVjXϫPG~7G>/rg"5ݥ/ڸ2ر9W~)ٶρ=|2bJT{ʖ u!-/U& EESǔWaRBqU4G@fug*NrMzlj,^yRȚ2vwRx$ xI87IoubI%!`Ҫ/g6?)UyLx0E~ S1t4cDŴu>>_Iߧ2lZt|Vwnlٓj|%Q\6ΔL},Zwz̬lo8Z dksSgHIW&~ӠkѭkuP1l,ܼ*͂G> of;sI0p;ZBOnd"GeFrOizX€#_HOf1k&x~@H"7c6+KZ4oAnvy:}*zPSLgn:34/k<ݧWѳht$ U;@s+NSho1g憑؊5aonR}w5,sq:>1cG!B;ޕÈ[ꥫbkq<^ӈbh\^^Z_;](1&pv̝V zizMlohlnuCidˌ#=K^=u涥kY>%Dh=_2O2_v@n מ|esY.?S@A'J9s2oe ]{$Ʊ~6+F p_@i R,fF30~RtS VxT"Bwىޕfޗ#v^4f4;_atꈒN׫!hZ6p6%NPE;קd,j(g<@ +N9hMT$Zr_9͸9 %R~&-s65ː ?vO^ūȯէvgtV6_4Ul|J&BFʢ !=]m4RCUHՙW`C$#vmWؕQj^`Ƕ<nϟ!%/{aY`ٴ;p "V)D }:U^z|P #Cg+x&)$VPEcV f>#4ݶyԢʗfe֑.G"aSTFl'<ή8p.<8LԈ;u):ĩ%%A/QFR޹AP戇7&Tԑ ~a¦fHgtb< ]e=O>)QIx{@p{RU H]R' 8=>xϤKTnY. Y w_P*-\vtvd~:|٠bRkМƀ11*zw0.A"}!k|PfKD!2Dآ1A,ӣWpb>s |#7g{ڦkf,_1D(?Wj^ t|S bL};~oġ"&rfv)]ffʷA:AM vjI[[\r:#X*VP;△g*7mH ץ1xEͳZl8tub#۟d$1.6!EBISt*֙I]Z*|rT!ׇAwT%^4퐣b/{H5mі) yrh?c픏EpU"NV-GT3Vs;@*54mI!Yv@tRP>5nkl5 .rA:/qܾr^eLRVm+N?Z!0ze._=AV(g`Ptn,9YӌD'ąqhe(bкvW[R8?/SPI}7~󾢴\Ry[(M9XJ^lK@7*A6|tPsyr"Q:2+?6G)19%8d=c :c+3A\* YL KA>287ݡTKTWF[3R=!fwpe&(U+C>FY;V *\Y J&GIXI6bjx&ЛObe46燝719rJϝYjg[ ^k'Oo %}u$L>Ջ=JPޯl'3^zTJɥA+qn&Oj%zp5(ߏ` A;ֈ&bÿ'C׹.]Fa,@4hWE߃d0%$w?bѬ5G 3^zy,2j-NlsךWa"vaL4 \@k`Y{9D̮Ւ̊-13,1 ~E*-fx1WHas.cO^ v=`yBhCClniQaXf*<)Tx7{m价 Ęt]HF±ZLaV1Oڪo\k:WsrdijŚ0iӁ0|$Ob` Jkr5t=Su7Rn!frvEN3*7g6 gp̺6鑯i ]PekGbyf&_)Ëo!ɞ @cNq h; lہ t6-,& kI#{ҺAHN[GXsC9)UE4`F3%vOcP*A ITb JtQ7|ʀ-Ӎ>2Z??} %R2?`]݋lf.uف=&JV4$ռzFE9{<-%B\t_剑qvw|B {qzKCOua%&h|&uz O-h 3qQx@u:`֎aZsbAI,˜N$CxUsf3p+jWܩ̸mT]4s£՝2Ⱥ,r-}@p%r@oTdH-xmcn0SѨi d,crnP=j<#Wic oe XR?"3rW2x`ďh3!3`GGxFz{LDpIWuzUp@'ʴ-7p!&iNZT{ {r'Mk=2 xuXsYhȳMS?f86s|-Om du\A,-U{+.qQ+gM+ޜ /Rv&Mԩ`DЧ5xyO IPZ 1X@^8,>z" QC..h82%N݀ uu.d ?|mcD{7l5HFs  a~xԮb-)wH@n3 tnm6-ZD3qpSe{O:3Vu$cMn5);}f^[{/ ;lAn69-(/s/~.>Y%Xu.6wJtEzNu"HO(Yz>Բ/v2 U͜9Fb?,3ﰐ86jāp1KV?w;Vr1 oD,~TþyBW^, &Me&反lsw)gk;zRƥ9IyfxJA痉#&$A8mS6YwJ5TR Kr q®!i1gdC(X+p}7 k"w*z֒lyNʘHTHߚ2Vd?iP{#УhzK~2 S ]Al3A;Qd1^B!R Jݐ>]齟FIkN9GH,c=׶9 G1K/p3{cll0LYh3&N+$y ]x#5LOrsL7t`n*Q # H2>g`, K .f4!iow3 B5uYP`Cq3>nd4;v&z/Jj%Bzd9LO!uzN`K5xfIy;X[ѨȺ1 "%[koi5FiwbJcs3iRэLwG>y dYl?~4X\ڴVMn@;sOٽ']-99תQX/e"vϔڥ|;J3Οny|Ye ֣bn vζ7*Ѱl셆f7ax/Z p|#Q)ߌ;J۫lz ]>>P4eA"2V!8E *ƙgn-k;Mstj)xse5,H'6)CEBLuO#H$9&z}([3aH'c=\@ XDZz`g>L8K"g(9!z,Tʪ: ?n9XmCnwmAHt'o#۹7oo=NKvuTlso*IDl2xPYYꂔ}F>[\2w"wQߧm%/o*Arbl%sc[u05loz185m`FG,Gx'̘lU$=15>RZl;$+_')ۍDEf< WOb&lC#ϊaB|j5z[3V{yڭK6gYZ _e _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' x|TX&gđ:Pw(yQɼp:H;ru2g?̤yG-JIT8OK%bB%2Qm\|i";n%D^QQK=j?{Zr BW"V W|Z'39/;X1AdS$EݩED A<*_ UfqòU/gti|'߯^y㹎!ºC{\G Fr޵5S+M v:n vs?CDz[z Fw/r朻_?kAm$29ţ@(ВpCp]&`m]K66.|ź#/'5 :6KI[ь.K7W5O#7xW|ҩk.|;ktT##&5>lv .}lIptq42q˙PsDկ~O<& U(Wm|24G@/}Aan(o_.zFGlD;G-0P4h)R͏0 @V{:Z 8\mI Yi hlggMkr)3Ft#P<#~e""d1n!,Oʅre*Z#I*-=h^VPvXno@1v35114{y ͵xŷw&IN*H.@j| +#qR?ۙ<旑УC(J  wPN gMW8KtFCk<Ț8{aR}x_` Ў~~o6͝^q:`vX$_/r}U cJzF)+wchKhЋ?DMrѮDT0@ƚY]ɨk{Y`ᮐ]!9EAZ_TrnhNJg"`@Ţ}ҡT+y+ ?FڙETI1O/5hvX?!*{dE}(AͿ5Lu&9bݧG*#aXSFjG`i#|/Ey/L3xQ,~WqHl[ٜByY}Da {OB\Y[Ddk PJab^C0NvW-esE!iof>,uA-'Wpc: 2,|I+OMToo'(.d& :kFwv#@nm? IQ`kkV{CAۼa5^Xr Rv/&dP=M1їeh> Y$T#m3jQՙܡr-|h.ma7kk)jN8)5Ίg r;7@^ay]*Ц#PJar|Ph"$ڟ#ꦃmSttp`amj16DVHOw;G,+e<牃q"蟊\v`6q&Ey/~\T@76Q=}tK=典A2@\+b wK2?T[gl.Nr̉IQ.!'~W0#dφSE€}nm_M2(qf< `(FiQ5?W9[6ʆh5&EsN^-9;+_ϫue=Va1@@] E8h"d{|h7s#(A3S>ʎ^[a/GIz:u z;svM1>{?0$\'C (vfJ/9L-\N0.x\ߒcJM/gƖ.3Hj+WmGCKX%NtrNS>oe$ع\n{[56}S,4$ B b/`a Sm9&*|ۡZ뎖X~[Qo esѺiUG `6 WW4l:\- r^\e&֭|8.*8.UQcLE2-0 'r ꩥ0O&`Ej2|`a˸&~ ВP/ bmP>b} m!2t-~)TcƁr9gȴ׾|KSIņL 8i܎3~8X郛KV3I!lAfCZ(K,~ghMohrpljW:5/Aǎk %Mh( '}llkS'ɎOkؾw,5z^˖YgiKDMTe͒"9Ay\ZaF<8  2? a1M[) ^/e{&v*E86>H ֡.Q])?\F LAf>go ZLU7'z0pcEamt/i^-!% V`cဦ7֗J4'l0nl*c[蕜7 Wg^.LjL)=[>SB;*:٧sj\@:o=K+gTnWNX{i,ČҩNTWzclXԤfTچ 0&air|^*1'䍊%,s̾|xM$oP길VJs=Ȁ#CT{bIpxor:xB#o-U.Jy%Zoץ`Y "hUZ'^Ds_OD/.h.ޓ:ni!3zF}u,RfB J!2aLҜ/nԘU6JIzR_̧d}>Kï^ƕAT:ˮo볖 (Ayg7Ӏ-Q5Df1*c/>QHIJSLXOƍT-|%Z ϩ n ŏ@ :+7!p^e_z~w{͢Xmch\͘T/2׎彞j7ew zbN2OԚQ09l,jZy wC/#K $ojj ^ kF Yerr\pp-#N՛6CR\eC$bCr!* b]QѮVꖏ+$7`b ϩ{^޿*M]D):"%u0mVȜx&Nv3uҠ$Q9]@-rzj 5ݫ7%o _GbL~CCyڪaxKںX.VWSZF1՝ XcdP\-Y1oΐQͽyLN1l:h =o$a&}SAD9]OZ3~d !%&xaLyX2 刵+f\ <4A<:i!z>ec˔}$ѲE œ%>kط`AnZK H=:~,Go[yE8 =B$si9VPO ;^ 2_C T:0+IS;DHCPUuEXaPd!$UOrŚi/aQc8EEܘwN]QQ.R$^<% qp,ꖯnEg/)|-H0á TD+ݬ+~j0רVGW8< u3 M<5FG%PB|zޥϵ>"]{\Ԫ_XR֛!u&2KDZ;6.]3qb5T_{M/kҽ`TVh6^q Z24R6#Jo| <- kϙsɃ0ۿȏRHvH K2FmHJh-1^BUbq9XмS` "?՛%[y8%ym3#5jQ=dUtD]5͍(%;=FǏ3R 嗴̓ڶm<2+?w 7uE듆ʼnvQ  ѓ.0ޟV5QAm+@lI#농#>oa+;uvtbm&Yh|Cfy;V@5`ҚQ*5S'/ #ek.ow*3*D^N<>TQeI|4VYS,B}dΥ93 3<p(bҝ$u_|}`nlWdH~vqbYqr)0Ы}㕆wP9ە M̴"K_*q;o}cd1ӱ϶C_XQTܡ65J"GXQKTgƠ1ڗ9e1 Jڲbk*D˖="؝ PٖSRʯsNݒQ"_' gYZ   7A],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208k*/C# dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u;k]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3{yOEp 2٠<>CmyE ؝W QQ+;+i϶7T0οǥ 6pʕ"2YY=|].U B$ 6\d큩xhp,Y$tC=n#a]s.Z3GC":pEc4L[ 4.s>'V1maΖδ 2EWkd5cp4@E5U:bm4{yqeJF/< Cx*&ʖ7LhsEa0Z^hJ&+劈B;|*1f0b UŅljR>ώj@Kwf J]LSO 󧽆TjBvfvHE_"X9w:WH׬uŖyeȹJ!* 7/{}1S2(!ldDsT@KyrwWtP uka-pC% 3 sfm.]"Zլ͂rNLkƖ*dZgZѶ *EIt-s B%UU#>z].P'Hz-wV=|+2T5 DhL4DX5e F&{Aq~'DmcCV ziFЄKh0M MMկ/q؝r~>PċL1lGdNӔCW:H r&ljkA`lDTzrxh#޾l ǐ ׹?hB3B?)꟤m4:C`$ljY1hx_DAudD/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'*n yi+$RoGQ)0f"$aαV^ֹWmMN;җl3r-,jDv3SiC@%1W]+H 4%.qM-h1(4r)b4-,z NCEFDk"*&pYqM~sJ[_LWv[5"TxINz2'^v;J-c`ŔTosҐίD !UhTBN+)^A5v]i GX񹦙!M}ʬ c3:j7C*lCDX(^n>HV)s:f(5pT6H֐ėbӃ#]0K+̪%i b; DQX\gYZf&/A# \HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! g]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrqpHyzI d&W$zߏfi+c䒜Sdn^1t,! ":VpКw;R ]mpC\ a7 }zWs-*QLR佖ꗪfl(ޭ W͊.(]LBa\lsd]yzSt< &uv;$\]G~:?#Xh7{`nhdNe&{$l:`(p,"*v)Jkӑ]aӥm8j.fy!3 v-DfBc!u9Q;GlgYdXT:$(v5*P3`^ɯg(cr/FU% sa]Վ%}ګ-$eA /;D*ȡ}֖)//"DԲZ8ud R.i[ZV ߴ=ii)ʹ =󧠴^#0/ =-1{8guXKj?# ;6Du/ V֕Q~(4S<U#CO%Uy#4Tݏ|E0ށ++tl(F<)u4hcYDHMr0{2]{IW=Gw+]AMRRV]+93FikÙߚu`wV.ghhP/9bYpT>C&d1ș&@]RJ?GhWF=pkK'%\ C(x{%P:tH<GD!؇jdذ'S!Q>!f'GV.P4Υq(HmUSo%G *D1C:ڻ[/54C<F'zwZVf="%Z0! {@"%|P!s Ekc9T5X鼣VAièpCӓ0#SeahW>pq87Wl9@~F{[XAMd `#n ^b;)b|wD,A8/&vK2ȊWCqd1" 9ELNJћ S2!h2P3f_ cœbs A?ؘ`%:IŸq=M]U2!#4湩g ﵗd6$_ j"zk^$:j;m0Ӡ/ mo>N .Pb}o[<ѤQ1t!G4qIOSt^zTy7QQ>$wM>m׳KYEyuLѽ|68 ߼L>0? nmD/;3KTԨ`,N0Л:'˶?M:m0JjI}ҨYhkγ@GS?;VJن(7Er`81v2F@s.[Kk)<5E0]j}k= J+7%ԯM%;zHg{]SAؿ=(FIwVy+|aEp3^vu ʫRHy "xn2=x\`!DkGg Y,5H:an"F0N nF8}Ao;Ĝ{Swd(P[H )rjr~69AXROcE18k*i}o Fc #u(pփ zǰ^U=R$d҂E.|L$1#o+'w#EKP,0~+p~BcdnZjw…pNQ]CaX[6X (vnp(_SSy}z>Ts3R5cpW6eUw>1m(vM!".l0}<V/;@S1E2-0yKWO(H43Q~jzReVלzKeb++a9'rI'd:ӌCȁӣdImB2EGL­Okz,XLJנO$'uRsyc'V626C9ѸwMO_'! &:7\hԯ~u%F:[EP@jH*`G`0x7[Bm(pȢ,[o=0wCS])RޚFVGgzH_P/_IT cK0X "(%`;aT+uߟYr^ԍ%q}uSAGMƴ`e8>Zj CNc ? ^CCBpm.}\T˵S9EX%ZGߥpUp_uMg@m&/+xpϺQwI0H:K9'cO:V6*E@@ݠ!=S_z- ׻KL#ypL~>ܹ(~m&e֗toIZ`a8Y&Wy)|HV[ c"iq?IS3L!maע!Ƶ{Y\QN7k AηqSaOX :+wȲX䘇cpk0țG>O|*\lVj|䥕;@srL%,M?-IE)M.H+vڗZZ܆CMt_ 1A{x:[NQ}JX߰J~+/?U2{yGx.ʣ`^ + &A㇅j\ځ]{nRKZ b ;CJ(zh /դFV 3'zhfMQutj'*O\wlNL1/}9"hiN}$PR=!AZyp |r;i?B/fo>6C$b2*jܓ}N#WXidYn8j-Qedž9g ii\u [3| kwoCFD]p*Uck%˧/DBB3mQ~ Sd}L(W6&;ٙvX٭ߦryJ _! G{Zޠ5M4"p.䙷!;cXvr&LF[z4kgW0ײToM}0zQS@[ū)eh?)-ł$$K\kWN+;3n'4Vn`{n3볹H ֝R!B䩄k{<  V l; hG -X=xt-&RD.<cOˁ#x+]00pVz"r-JՆ^w31v#X2?G`ۓ PPqHrB4^#ewM-[Fg㲢ln{ZMz8}Fk2._WQ6Z;EbELxMX:8Jd  x}>9a#1Xl-Af8=A|Qh/n;] Y+?i^ɀ[PXto5aSI4sQW䇷5=2f0塣^nkk'"̥&MƤ`Fgzo.:^=K%!Ӵhڀ 7rBJ̷Wá^F14Rb& p-so'}/x ¨M:o(/8$Htf`jhb43r!+ eF*u Fuo_@f5a# (S;n˶ Fh%aE9IQP-oIpKΈeP:If:B~ S) x`n6XA'?8ҳjm9>TM=plxgݱ")'.#I\J9ԣFuNM.rB\y Fv[}sDzOWm@J3| ۆu*S+m{.&q#/-Zވäz/` %hR9l,Ѥd,Vr~u 7D.<@Scx$.m OnMDcBc ^{Z.L][Kնv sw.J7Jp7oa /^1͒2/v&` DeuiCa9NWlYvX3 < ްv pz L'Pz{2Z*r~1,J1Ĥ(@+o0Q?0Ci Qq( ,pl!)y1I~OOՈU*\Sr}B'9+ yq*t2_@4q6WoÃ셛dŗj%MLfc@եMg?E%n;pvZhGMsm$+;FlyFSlb\jGoWZbhா L=Xgue}vh9Ϸ(D( ┣zL]P|uj*l_<O쵮 dQzBPYsC(B!ϳ<̴$?uQ$͛aYPE"irjvx;U@9ohM, x0L _Ylۭ[!aIV=ɬPŬ}n.ȾSLh&L$&Fo@&qw'-ܚwZ fS%VI@Lt6?y),?9a/P W\F Fm &>cPDq/'"܇aX͈_ܽMx|Zȋgm6JY"BZ|+r{HD=yC 0^Tliݙ|mBe`NQDpKD2bv@3|RAe~vd77m !x=o5hk7 > %dTD-Hyz Ð8T<Ϋ;$I@ ^ ghӄ!+[GړM<К^a-It"U-Vj xjɴ5hnvhȀ_%J+u}NfZyD{}dx%[ ~L^a6g6,QV4žTqÑdobWP0u++^ų3'DU!҇19eMCAԐBO7ju촺 ~|0˔&Ź\ۄk-6gt񂬫Y(IC.0kps$6ӽdLg{xĚ.^<3n'\*JpDjA<`^q#P R>Ը9aS ;ڔX#Oc$ CJ3u Yk', @bǟ=L6&d!)Uڴh<Ne"AFuTaݵNyK2kVDbB}ȓ_o\xgj«Û&\a5^u9}R>0/]$l׋ C ܠ^2Sɰo)LrA;lnsnnhK!ȭSȜ2 }9!dKMc~BNg|uK{7rV!kM$=ە I 1]!p`p2vU^ն 0~0@ ^%zdcm<0YZ4.;7J"ZŸ2EvV,NQ |+gXMg<S27?x?rf=-N`T"D]OR|:t|;/nM py|27ذBn=9̻?ln)cdzvi^< a3P'о(ߝ%ހ!G? Msdڵc%BH#k- XF)Q)8A7*#y^$:Ȝ$dtl@~&bl]B|[)Bik=󯈵q ":ugmuI5yM\T^KGe+6ޛ; _@zJEBCj͊V) ӦvGw 0x YUd'm1g'RF0>#5;5!4 $KjbsJUqҴ >)GkE~+ؔ82 lT}gYZX-/=# DHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! e\]ˠ)jk2p O6LP=͵gl5f&Di5b^8th.X .kN.; "%2ў3P),Sz!Z T K#MVbEsO.vdSA,b.ٹ G>^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$A)JWTi1]H&:†iW_v!Sɓ{J(|M.n @ԻH@u#`ZN6 +5Mк4;쵇?@kψMJ$H`} >k;m3&+!*C("Yh@BI K0wIaz/\0hDP,s)4+H:PltdA)+*Th&'mZq {#}Ty|n4?c/:H)PgNA#8.~1136c'; ͹FU z]} ޱ5kqx me1# d1]c&͸r/T(S= z$y\$0keM$8vw3~墨ݏ˙8/ڃv 9cJ~WNeH|$Jkw" ,'bPt]J:>0xz3MvE]+2\kcqE729 fAF*^g[Oخh#^i1sPdnƦbgqIFr{_5ɰ-9UCQ!C±Nu~ =J$֓5O RW툅h 9$,:i JNa2-ZsF'U͊V)˕+> BU K uFW1X|ĮD+}*=IVD-7Q Ja*[D_C<=*ɖ̭,>*QeRk|30QL+b5*lBYY-̵YklYI=#n7vsn8vv9E9PjWC-c璖<172gɶJK^/XuѾR?(>~'DL)$&AVWNCjT%J NZ@ƩC`0ehF=9E}5aU#tƌl7͵(n (m'vE{_`wUFki=%`+6a"I6@?@( ~e;d1 T}ڏ+DzIrs#`\e~b+<۰0 AJbwFH(lpCM6}:$sJ>f1Hc"Zg[q\)+ Mg@gHjnXxiPٴo6 fzA \@%gHH߳7A-zB r XAAPS&!1Wl7uS#_ԫQ E~"L&BGaeJU،b~I}WN#t[?A;֕Z |:8Gd,2*Q3q[F\%ڨ}ĎeGq1]m;atiˮl U&"&ا C!d/1~\Z>JLۣN%7<^0mX\|h_7@_a4oQOL`#6 >:(\VIlQ<:$O5t "w[<<]UazΆ[mܬQj̔f[sq Msn)"-[y(Q+ɦcnJC5_pILhL(V A픞;k^S3FaI2^ pRT&jX+jW % 5ĭ #Kי͞PRÍ}k$; fI/rjY>Ÿ֥wM'R7|Ow BMc5:ko|CP=ۦmf5K߮_ .b3' T DM¦B^3P} RF<b1zeSW+{D; ׫s}O8O!Ayw8_4ʌ(7wvid+Tsc}|ړ Qn4H':)%Dy@9֓OxWgV3zW*r'1+.JP&+7,^Nx"': 2n#yJ%gY[ 7MvW{?!psZ+Zey:Xx.M;\ȕxJ-CʪTt ڄoI`^r'g~_8j̻5e$Y<bt\ʖzB!] y^d5eiLJT MnJ~S@[ApT-J$?JWA55s, Hݟ,wm|i}?|׈ ) C-V,D _)$[p0˯@eoUu"laz(`,S @=iO)xAb̉6b`}:*rSh5&b4HĬ]4nCW \xiمd Ŝaq ` }?S#9>B'0Q4Jbq=[Pn!agd>RU}-LfMQ=Lk)L:BGf}= @K@̙!#qEp!@ 2eΜN$u˝yQ8°12j-IuB6I", xEGgíxE^|_&LFyD$ճۋcX7zʾ$ۺ#nm rvto8yx3]+8Bc;+ke1Em !zqKU>@9Y ʇbՄ8'Zvr@AJɭy8`9\NTBL%F~_UkFU-eA;|MXu9(1;-Yq )siXЩ" $>I("ټPX$|zjxtz\WP^ztA*_WZt'mKѣou٣{}$g`욺C f4V٨-ObR}wU#E;I[f6T+Loh3z}d,*[B.6q 8 @d3n=0 eI9i|z"#Py}~$t>GޭU߷%%Bk0w (i(mUO Zlֱx~+#i.:o1Db={%M#8\@NJ$z*ǹeNE%`gc b.9.X4 BB\'ڨzb@!):(@26_ѩ@*:oQjO)q4JOp0lc;9Y+pi"}|;Q(˒&\XF)D2;&@y}iiRzq`Uy+pnzmꫭ93k^DNtZy 6D6lrm2TofJdЦJ!oH"Z9RpeO&XJY^}2't i4064OƄF@#Ȃ6֮ORػnBz+@2M_6]˚,x `ܡ*A'8V@'=a?Eۧa"!<>t,y<8_gfW 8B>B"\&ujT&L82+ݤN4CyJcQޢk( ~eDC k aa\3H!Kck6XXc|_my !NI$˝Nir1b))y􈂍3,=sT]H>n`}ɣWanm:itBƐ\..Le"+eۼ.Tŀc~Uۺ 3${.2:r{ OBǹzzRj&vP,ru6t\_йn{Ď:=zD;ƱJ9tA.i4<)hZ/7}EB(vBF TI}V]"oVf⍸hcTNB: ?JpC`,C4P*JߡKŁ";ċ,@1!lw:ﮒ0tS_F/B0H'?0t4Ox*eeZc-sOϤs+u8Ti^^叠Lj,@>u ]֎h@6H̰O*@ͯKg|+~.YJ"}awK=Dgd"4&M3N2 f-?Ek:Я#]F1{}?~L-vs`kYP޳!eŌPQ43L\V[/h M'rWw :Ą\@jUB$XTmgiC`v̸$t43﻾H)Z(ݏ+JEHТTg-4ujg?_q۩?K/qH& 2Rbok?'N;a?Dڭw&wl=dH =h <8~M6`=y3 Hk[/ –pB–.iIeF})'|mL1/AH|"ek'=l|<9s}+CP҂XjYTj.*x?5muۉy>m#f;?eqfZ 쬔{{d}r`o15Ԭ; ;Р>4NJ,3]|_uk%5jU1Қoغ>&*n/I=ߠ%BUi[Uu}^xE.mRXkUqg4nVLTC6wnJG!2\~JY켢8dwM*O:~ښF\ !tUљN_1k<$8+tq[^Z'=yi%^^(#x%jI0Y`P-W>oYki$2 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 rq8L12S #yNzPB8GMPATAy h1\v&n7}- :X)uWo怰cb~:aB:5N=mKkSVy'οJ2RS!0rSTQ#8[rk N:3ɥ6@nu`ԵlOS9\̠MRat}&10&eC4JOهWY-Ik|x/*v%l# n6П}@B}Iz:,*ǫ|E Rs=jBX]GDM'4l蛅b?CfJ!kizT@m 8fcѯD$ق+>b15 +u@;m%ݖP #1l3vkZpOO%5֙9qZkT&`\3 ._OE..:)oK݀ȡPJyIWϟyvd[hֆ{2 ~liv  z^I*j~yY{/0k EQa_\=#6*aKGKO/Isbzғ܎ux\AMuuH1HA ,pc01Ǫt7_򯐸AcfYܯ/ϾP7{%V'*/)ViUB e{N3&Trӏ]Q} 댊  2(d/MS<U3_lI7w$Um"k+Km釜kuN(wx TQZs&h.U? ηID'Let7(mPNw\]Z^^pFN٥>OdZɅ3h wXagugYZ6;im*U/^!f' *9ljm,h'WPƱAƕ|w$[Oc!Hrki=V9|Bo brBCUf ' x/R~jXBm1Aqe6ATiK躠UA_S/W g`Ër+ O^b _Һ@KUM۴ZʞD*>1KIuOE/jdq\uioi#<!{hsz ٙ3)D]JT DVm*a\X@uߍ/Ǎ\!: TY ?"輺eJpC:s)cI_\WK5?_S^L}u: ڽ?;#؇Qiҍ=hDS726*x43#C&R'\C}8*6;&TҒB MKhu$?4U-0=aqL9 wiW㎼s_\w>qiƓ 3*9O>O}E]*5~/_@šRtQb7#Vf ,9 Oo aI 8ŒoFΈ:JeeZV3;~1Qv_dU7c5+Cbx@L.R<$,rDׇ~_qkeнA+*3-ܴt6}Kr#0;7&~#O-NW6YSSzpK"-R* [4T0`W3y4'_Rpbmŷ4\u݇h}s&GdB ̛ԌFKiJ-,9ptfu^/ @τQ[T{I\@+! U_zhW;m8u!7/zUf|{ҫ\ Wp`^~Ae>_1wYYǾ8Ca!-ߙqOsBڬ$? .9s:2>:k]ǠȑY+kg 4apfʰ/4>G #@fKZ>vV(8|Xegh#=oW?==pbymmԝ\ %Y<=Wj]]M_>8,0=)/ gw{ԉ>\ 3:8f!w\gY4w^ԝ 4`q9Fج`; MOXL!N}' ¦0߸eM]3dRR2;_{}4W+D9I4 C6Z6Jroo6ؠ;gT7ߛJ~gb?p94ҥʔ5` TWf%y.k[uŝglؘ4kZ|ͩy_^<\zU:c1(pERp$aG>llēz0NrX_a YɄb4"" MD)/hPEN`7ye\v 1 氠BUf r;?NREcFq2dP1?qߧgN̊X]؉',ŸuZ8#"W"/0 oo0{GmFQnO p-F+t1J%жcljͯ|jIj:QLߙ%9~dC5jқh/t[ʢa[AYNȑ,+)?'_ oYxѺgڒ~1k.%:cɆ@&ƞ/%,27ԑ|( ԱvL)v ~j{+rLO0n'CEywNŸB.+m!` ܋@㷁>Cǭc96ߡEǃ7JġL'<_DוA2+wšu`zaqv˛&m>l"gRJW*w]m9gJREb&v*y@ՠ@8kM}.E c." 5V(VaweG`ÈA;@SJj|@hpE1"%^XYX۸!!5GfTEmZk\>yKdO1UMF-$Qjth9*(Mh]F,nL 1 gD]}J RovkL]zÐ8EM=/"Y0ʰzMԏ6ӴljMvAӢem9&i g7;"Dr+pWikMh,+ۛAKa.? ]#Ѳ*_E_Hy),> &ds3(Ss O0j7onB5w@Bū,T(]{ܬF_kP4w]?-^wנ ']iy<π= ٗɾVLOK2?]Ⱥc q'+:~*E2OԠ )Pej-Tf^ԕ}misZ CAĿL- Ee-Dyр$"`[I7`'ͼ~C4E%ÎG  ZZl9~{Lqnys3L%dKQh,tVy,"&f7<aH*{6e Jo{ g ?!aDQ5#VVҕÇ%pܻІ4ZcR@yoer櫚%g5Vd^şP?L(f6[bC;Zaxr42uxui[]PBˏE%.Qzum3\<Z>Y#I2IհXb[!١@iq+ `" O4ir$оK ~w(j-JSP~F4۳9U\K5@ s`?4P 6"Pa!h=]}XNs Ih՚ #Nr0?[,ia.ٜ;励c,/79({X~ м>2wr\)l9Po]}mg\WUm|{[ t:/)4ʞX f-9a:1–5ä1<TcM6;d'jX[~ZbmV'cFk#3 :ͯm=]/&H5۸e_ B10__rKZ:3^ª V{nxy =W#opr׊`_̞Ze^yp#m{MwV@zxjKbp&jmRl&^ntS13&oU qĥç]Y$@; RAz6s7DlnYH@xVUaS!xH#Oa%$UsKqyy1ȉnfY jl󳏘cN ^?OLY/g8ڐ>i磅Z_L5IN,Vp=>ZC H'p ,9ĩ ?>جTӈJ1)p E9p_4so=)zYBVe25H`ZQ8T!&$fA`Yu!LՃ7IȐ_ETΓ*%V%`ɬtqv=-J,CzMِ/>' y"% ,ξ>Gڲ em9*7D\m4TΜQ#ȧY@6RRCtu#9uf\7fUL^F2c F͈3Quۡ}(2;z*Dr`;?[_o<.6=N4ջѴDG.^Bnqtues+3@/@ Hun4"c7ÿ5g9:߸./{qK=pर>+`# 0&ip] 2SZtgɭ)dCz㪈 l/>)1sTHqZ_!W2|khSʀx6$H/Y&(A)kx69"HO[ GNCVⓏmz/6vgչB1M[ 5 @IJ~Y^_#KyH?R=k‹6D0 YAK{7WZ2YJ d6!/N(̅sRTo[.9NpN \Ͻ ѯ6׷bN:>2h|žTcLoKN AgMYgSZ\ae p"Tc^13#]:.ta5AMN{w'Sމ6рxCZ6Y͌z'&k{ _0٤F77t,b JТy=~=ȍ#n06p਍|Ni}g$.+ч%Afsf )I8;pO%tDы1 QKMiC2>R+lZFAaL =>Qc5G~]Jr@La\1b?5ddB lZaߊArm*NU\9sDkFSo(L>}.{fuTL&<w&W:{k/{> ,~p`H`+T}CT\ A>%kqzy1|W x|phRA0(4-G&EmZzMwݿ[S%*].@*^G"~O:ѳh&I_<{ -G]`k0&+9H(SYF ؽbm湘:.`$%< 0 59އ=Іso5бaM4 ^%\˚*浖HTpM5GB J-%뱌iJٟ[c`Ṕ*Ŷ' OB[!}SX:NX3}fFoy>k\`A)ky9U-ЫF 0K̤?G j 9{u8r/4v!OLgYZ 3R9 /7# JY&8W8/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 rq8L5>k9'Hu;FyNj/=6؝5)/E EɳuYz( S}g+ﻞ~R=wа"x"?ԋܢf["@̹T}q cUA+e9n՝rA!Vr 4>z3pL\iy^*FB cFvԭ4?YM:"̡wuV oV_5VWB&+*ϖt!Qӊ`pBcW^h6[oHE !C7QTo禍gKA_jw{PwBa?L0 W!,<$y" D#2iKB1)\ Cᅪ7w[^I`w)H+*TQ ;c&/8ȏF&|1]ƪlC9³b5];Mz(;;Ds /ףWf04aiޝ,dik26/!G gYZy5 /E# |HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,'v]ˠ)jk2p O6LP=͵gl5f&Di5b^8th5ڄs tpOQyO1*{kugu e?)WTp?=J!,E̡4^7U_]]w =Cܔw_s D~b*lcRb_a$J2I~ DSUY^s؇5T5c(<{Ui KX?Ev*Y~:lcc٨2-J6qN|=(C!KfzVN5'mC?-m0ye "9\PÆg3c!~4Dy+,'ؔ4JWa2\0a}B 9hu %BTD3q#E!r(Lؑ9@ʬm#B=diO3K#r$ewMJ]c4fG1"_ei'S7˺jߘhzV$C?CٝlD?d0> E's-tqp#~jJ5DW .GsRa꺌 .u>rTw,4ݖW=:yA iI0N.K˻f2&s 3_`znzK6G˫gڟnAG8{[leJ QQ,W_JګZrnz*!v^7FLAczA]8y SGe&. {qkIčj MB 2 حW# t_ 7_JƍMμ[U }%HC+ѡ5_ݜ{i59#}\dVяGҦEqu|!'~EOߍ3?:W<!UJ {ˉ4/j =OnLL.޼M09i\kA:=p3"Z:g[Th:#Fb[dHibcdWy?Ys/VV=;VT79_V}Tf[@g&nW4˭`n?a.ç7ˇ$<4* Y?xO*l횗;9\ts}z PMƙϔ׿x>di>}f#\Q9 wFwMO݌,I%j蓇㔇'X9`!Noź6;>͑c8[YX\xݤ;V%P~F#|Y;off At W,OٽC9b!\dߎb/22.(i%yZc835! f$NS7EiYn1ɚޠ4%NKRqdmQ憯#u" .R^gve8MJ NزVQ+n+k!3BF&cZUԲ/!ĜlWĨ1[J̕v&PiۜH{u Z8|~!hhN ?dΉ3"ėr߲J}C4~ZMMhLqoSo.AOF oP>JunԨ x0xBf:dzO2*` =G?xpf4XT/t$anGJCk ZTL NS푲Cv@ZsjT.]So~F#eߌD:9!F"u A) @em+2ػ@ #9Cx{ֈ=k=!CNDje6N.#MƚE Z%|V9 :5Xɹ,h(Vҵp:;Nr [*Eg ~YdiMO)V~#DsR( 4%Ve<26GW+.4N]^B0m)5eMEi; ݦG" gڥaa3M 0Dm`Wdi> b6hCj1 SaGȾT-<wfVQoڇ^TMa'#q{ vIs*,hdSNۆ^>մ DzUp>m?H&/Z$ ćVg*n#˼8Ũ0gMCY4 /$l& f 9"4骰B+O]M&mOi$\mdš' 5*d._'vB;Bp*JVRCl{SpfKh@;P 4]ZX}B( 6[2:''{Tw<Hf%h)INq롏B 3Sfs.éۃfnɖt?NB[>&'z4+{#B^:_Qb r''8ce?HAd'L2.WbCG;T7z$gb唢B(pCL)dQhg]Y3yDv tɒJŲӓv  \hgH lNSvS7iAҒSWڬȑ=+d#1ΛȪ. ͪRUY>_FCc~C]GZBbwg gί+ LQBr/Xȍ ةM*u0b"=r[Yw+3,WT|r3(,V@rna9?,xzB(1eamFLp)R=(1 4|y^)6ŻJ`JdZdfcQJ=Ȝn$Ӛ{Ib2u[< Si8[Pf3L953Ǵ(=9a9! /y(9CGz,<;LA/xzؠl&ӣ#;غg%8A u8l0@[AUs.4'ԀԎ4P t7vLp;dGӑqg:Ͷ(b׃,հb]%[v#;OfOэИDuaZ4ʀ9h680iY*h48?U]1_g1 W^UpPYͣ T3j} Qyx,#B3ޗ/-܆Rx)Tc'YkXL z-d7[]HEm[qv]LLܚ-_x!:O& 8iP3\Nx{i(;A*uF-76ڧ5X1#qWp\ڰ(~[IdRӣݣF(}05[RoHM78|nK `ƇyHAlXN$Ӡ]s0zMi zE6uB`mu9?^g{4s reM;CmBYEKLvd_(Ӫŝ'5Si8?&x^ns5IɍP|戴JM0gOz(CdHAPHR3:@REuhM3+ 7G˾*J C6SnNك; (FϞYr NSE@WX1&L'O>)Pv6s~Q@:fCFȃ8+s Ȑ[z-O,==rPȖ Ӣ2[K:Pf܁x_sOI%19C|`W:( xԅfCą/hIa]bZw*](˩p*ygkM/˴ }cg.)ScHP[t-Сؼ+mZ,ţ:2 !`WG&<} _!ޕ6˓6XQՆoi͓s_q;$t6d̡ O+A&hB'gPx !v:n%քb|N 3TY] lh"޵|.U>BZ&˸- 2=*,ES SD9"\Գ޺,L> ?R5n4>CS#m\״($.6;R%?4CdH($,cߪ5 Q7 $݈uHQEV= Պu#A'w5)MتգɷS\vߺ,}rPCvG8YvbNdEe!sM\\V 6!o_773 ϑirWZJ!"JHaLJlu  cSTۇU+V@:)hKdw5B.lkX%$`74 fG!1Q-> +?O4SGAr710WT EB|T >&+,7 UE s h$ߦ}Njn2~'Z\'FiASS9`wVԢRT5U2b<({Fjq;M (*Ȁ<ލ[U2D( h9qi}?~-=6vӿףP,v}w'!:?@zڮt/"w>_!Qy2=u? Ϳ!5 S`PY~\M;уT7SJV*PMw~ O/OrVY5JV".CYuv[B젗@<4䙾׿)iVJPty ׯ2z_ \Cߍ\s9r4wj8R췭#<ԦnvXa,yTӬltVVᛨry觓M.Toف`nhe[UAsH=1" O$e%sT'UKg¹z< dA\D2%O(O)eQ~`I@Upj7@N ?8)a#8 .-^V6yQM~qY0IN)wD R>SSl{?^&oOb6.auFye/A9ݴ>Vl!y U:aBxWs򡘷En)r >e7U/{ ΊZN2:6Wu=3vm͇䋷"> y~;A l%"Ѿ^Uc-m ;jĖVﴡULO8NFASlMoZ[ !?E8"qS@=+ X/-:lPvʏ&v簪%Aztrk%m_T{ @'IyGt`XXE "p>~7@!!K8ϥk9 F7@"{ǤVƅ|ڮ^ hwGau`LHi?Q!J8Vzc5oAGFLdHˈ!% dzޘQIvrE`ҥ ur/w+ >xݮ0WW0GRuYA]seEu9G3r2f_[f]'W}f#99UI`s2]mCoi."\ђ{K֛ok(Zt=c1՗RuowXm&ktܳl `ӳۄti%a+NffAi[bI˧6?Vٴ GB*Z֥*D.wQ\ZLVpwV Zl][c:dX_86MY4h %S#Y{ڎz iWfA-3GjˀiS~:?W@&<2Ux v}.o>.' &B.!&9ζ8i'XA~f$-#JiJTOYNTͺ_k.B;x9te/6CC} j8wX<,!cD8" OLNV;׸-.mJBg;'qBJBMлe]4<w8=7oD=0n8V~FNXD#窸gӛƖȚZ3uD(M'*F C}8N%37 ) +nFAB[]_jA3 > rGN=v֍h&ӂq s-k.)\ 4_pnFV`Mh.?Asm4R^qd7{>!ShxF)Mk{ul7 /Ee4F+{$8 MZ)'"_%sh[ֽ0NOjdlϋzq1\m#13#ʾЃEZ+T#_sit\BA't̨\ ģҿz -k.RvB0~(syP%QUJ{13|Iv* s!mtA FdWL>~o. {Pjbխ[b~U8EőHI m`}Wǀvc$h<k`<¸zpeGO_FQSL] AtCC9)oČ}X0'F`GB8jYr-|'jOP2+Qpfg{u {<;tgM{ǺySY#T[Ab^&`zݗW9M!;[uH6)9ny~<4e!cQ!ikB˂FSړknYL^~ZzH?׾JyQ8ҵ5\99z!>4ɲ/%9XoI˘it ?<4^Fd7A=5`#.gsDz{Á 煪)sl$tSF#= W6(%NѢ}4cT%ҷ|C\zʞ9\șa3V3. NAqvz k"3 b;%K=l[Eؿ?ŃzXE5Kc{ZސG!| /lK7/)?mlߕ`qD^CƬJuf&ly||*[lO5{E.yB`|)hS v]֬IJݰQuʧBmHڈxxa6B@{F1`>|=?q:6p+f[  w{QH"U_\fjG};Hbc_Ҝ~:AF+Ob$IwA ay7?D*KMJ-!˄-罰D.qTATxT7s_q(|rB;/vSn!_ICh_\uGbWmW"$sxR=M–rc t1E@3Z=?u쫯AGf$<#&+_~txkln/0 Ͽ%uM %"'>L ~M3VD056,͕z(Ia! ]9/d9YY?tcЉ lc gК*r'b͕JG`l$(&_"Wí2gTσ[tB"#3 Dɵ@E8VKdﴐ%oZ, `Z9EvGV@̳U#$4FK竓wϱ#urr~PH2 {!_wo6^8G)y)-dw{Rwε4Qj$pFB4UR9itdSÊLNUlnp1pTh"ZZi+t%8?VO /e!=A+ m(I˓~ \L.l}}oi^,4￈\~V -_:A&WJ_^<5N(V0jMFK_dS C5LтZmqH>hU83WuAb*lq5/\!5 t,Q.h8ܬQqSw[&49r]SdZdwpO6ە:C.*HgHTr'IbGmﶍ_y/溿69MysJ#Pu]z_+ՑKO x 0(ZYgp ה9B i. /^!5_й%Ff;b sȱN"픢2|?.dM09L9:ȵzEJפ^ 845UWe6"@q*+ksiA #6PcYzzOW# b*ov:#8GŊ=0SfcHtTWLP5/RQ1ZecӡW-YS>^1x(naWt@ ԳBhhfPR(%cvkxO2EX71P\UE)?&L-ەN],˺̊-A\GZ/.Swm\OK%!oX\R~i]T `!=$Iͥ?Ydz(ӱ 3a?4>z4Cʏlۦ^1 cĎ! $N.Z?(VG'+MΚd[JܯuOk˭}%YuqCsL,΢`R)aFzeڽ.Z}n{CZ-~}O̙< 7iWyzus[KĖC" mx+U7y5ןGArs>h_ +dxk#r#r`53hN1>I2lߜy4UPzĦ;&z֍o^.~Rc/02/rd &?1quP3DFQyxMuzx߱x.Ac87ȒJ AUgX)cu9F-?cqPslaef^f6BN8=RDQ=aQ:tA-k; VO!,D]az|r8nOXݭuN[Q:YIv -¨a!KRfM-R fJfʕ!Ո3+ չ>+v8ޔ z+h?`7zf`)7e"wC?5 yu/{K%JNdzB`.NJ<=#)`lb`(WRbTs7:ja'K\ѥK$$6:rp5<lw4smR.vYlۗC)B{i:p}a`M>*e*;8x\0jM1 ,ɝ-~bf\~E|[K3~;`4 KZ(#JXA|9~H'6^4sP ,ⳐT>Y;y4!tɁ>҃˅׎S1! GcjD/QV62Vc4lBTPt,̙>tajmTtFJ?j*( hܙcN^Q]d!c g\sF3c3Q x ̏AyGKu찺U%K}Y<̡ϴ0W.b+pĤ݇9_׸^[=cW p {# m:5ԬBD^ <ʹysOc~ˇ%6z?,Nf\L?;(D=G ۮJ?{5f`)~=%7\} Ŭ*%#KVG5ʂr;YY'HR 5uErr0.&)߈mn#wl(m܊v{/J&?f)E 4T[@6i"΍`VWTO8!tC-pj!ibՆN8d8g6nد"!/齌D e)fQ̂+:UYnU%ט n͜ᩌjri1CL) è.1Gúm&=eu_NTūEfTLm >Xb%}l{ !T5=t{͑CTyhVm5-^3\a[S2A |wQjzq=Vɣ ts3bGBErV[vZvXD}\iQ Y(X7V+,W261۰- u܃@ Z eNôHn\5#F;t!=1F6O[.6a;Qav`Kɋ(q7_W#EnjKR!cW=jVh$[m ǵ49i/"0-7IM⑦"[wCcPy~UU'Mqu:)wl*Љk|ΚԪA6FUN%y& =頣*ȱ?-͔ɬM>߻jz(xBH[-PzwCpllI/hq'_&X䃷%Jui͞۰Ck1o>k9ױa~o9֫sz𚐏@4S':^1%eG"͞ˇu_?nAM@r8ԺM$3Z-:->=!T[U=).j884y+>M/ t˿;M؊x}s>\()zeZ#`f$鹳`?=,=)Me7`$84B(]۸lC1^\IoK{uJgCTW1n*RG!6K#,X4WS8)$ e J5(OW[gK0(/Z&n /?Ke>Nz-ܼ^9L,hu$4Ho !.n!$|I lrq|+dpW n9;(U[Q>E3s١P@v4_s'U") (Y3 J=gRp~tmqHyHeX*!e35k[̿k]hV{HT: 3ϏĉFώ:_z^y`qGapY;sjR4K(jܥUٛ쟉\n} 8_î[\ݞ[\7}fj"["\>6I$4Ah|PQ甂?~n8[wP^ _-',qj=!;|n+@[?0t`p8` h OȘ.uչ(:~w$;hj@Q\ T`muV{2Ƣ/{oZ{SD]V++c3*gxMB7WTw -99 uo YgEw g[ètE B=;]L(4HO|҄W `!q6Ct ڙ[^{ 3z1ꤙ<B25>8pok.7*v7KLxZ)`U CELBo07\!s!Dy@?,h8O2lUΈZs4UY )9kV օHo,q=.;stLPR jߢ)x?UMrJ5,{H7IJ2Nc+3`ˀ 7 H6iG}s#[! BߟvB%D._Û `bp'@h ݸ?a48fBUۜ˲[_A U^g+&+ZQir؊Hz~?4788\CӅsmvְ/PCohEma/UE'1Hlm1v(pNgBoUtW6 KW*Բf!VC <m1#TqOnv웗( ?/O͓Mq/Td kiA۞֣qg\aDBc #bPpvd3A3c0\1fs-pIG5sA>݄ut~nzuQr+9c9qa 3j>ތA`Knd8@D `iU6cw4e()kϣ,X> K 4z f_]dO?&~\h*QvGssFC> d@oI5ؖVLds꘾<>0=ߥ/nxOLTr<,<^pB4N=&#?,*~0n?+TRs2)ϴ/I{[h𝑆Bb s`wsL3Qֻ p`YۢiQ>.~ͿA/sT @; wq8ʫk=!ԡP].~ݳ1r%5kcK7mƑ3ecۿߎ|O)h)VyCSs 9d-2q,ŀ .2K s|7\% p(6,j'rY8u{ Fz3)_7^<[fXRfW|G5bWiPW^hEBUCvieUد,͠47 CtZJ!}Nno0g l]kԝ1 C }Bq s#Yނ˦7-S &ASy]Jg,غ0G)J\]dRd66Ԣ *rOgYZ R " "R=> /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9<]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4ezDSBDi])~!S,WâD45h|o ,Wĵ":h 9r࡬źύ[_/u*PL2^HJ.|n|!Σ|S?Y_pl_`A)AhFK}[#4e 8=U_d~}%)[˫TPcJQ )NIWSj۾`^m0f̋> }ɮx#M~@ %"p+[J֔k=|+%uj&eY:@yF=ݿ2}U[c޿^HyQ-NTgܡq2Nn^60WLO^W~8QEi?ϋ!F""c, eQpX a-AhՊ ]?TbLgC]SGT%zL7EQ%` "-fe=ߍC8OоĶP޿({,~YeP$A[r\lUBU@gkqc\p ŔOϳIuĻ9; xea% #ʔ2k+uKQNm~]>yuwCG`vK:MB ] k9:؞Mbm x#&k|;N=n"2sl+ ro%)lp)1l P]TTG+  ;wysQx&*"-Q!լ,1y7."&4(/j_uj|lם u7MJsh XUڡ qk_;iR%qV.7-a-B;zy!tKޏªv,Rh_GU$f$5su_$A+j٢;)$=+Sjhc片ÎA]zCG"ڬkm*|s~s@f#ϳz0YkP6`:C|'n4ڙl-ayh)Iv?AشҰ"ԮWA>jiUH\VL֦9kّ>=5{Q vby>X9z dKӁ7MT ^y; Pn-޽=q 95^HvApoH۟N䘈Wo%W驞 L݊Y#Sth} \]Y=BfWdϓ |Ǡd6yW8B}$)梡+i ,Ƿ.gچ?ޙGB#Čc[MlɔiuJ)q& ,?v%4;QnɛR.D8\?!DXjcS:_OCN EBm{G.3?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' LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7zXZִF! `]D?7 {?:fH\L8aݷVE+Ntr>MR h`nAg+j00e0-E8ssv"L%}@Oe'H&OyvZDKb( A1? } DP6 mSXJ 14 : 0ye#!x@GitQf,?W?%ۮ稌$ݝpZ 1b# o +tJb# Z [L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages?>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup>=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files=C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/filesAD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id@;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$ 1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations# ['HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id :a1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citations :'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id 7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex 7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex I9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex K;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.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'@f(>3)m61'Xߍщ5厷`5rmsy]{߶}ߦ?]REPkҟ M_3iMj![دByVF$+}K:؊GPgWҲCLX.3K~bAp `8'}tJ>-!0Iie2`- +̿ S\_BǏm #k6ia"5x|M|ytUG_ϤOT~c Hs 1HuW!k 9I__R5/b /a1z6\j?GU:: F0WFd~]MQ"cfL^sEpdIrN]跀'MXnW$^3h~Dl)SP(g5 8C2>9Vb 9־\Z3=L{bm&'*D]鵛筁B 88Bos) R#I^:o3Ψ!jIL 1zw57뚴YSeWs&Ko'e/)Ԙ)5 N=MpD^U4  +yt QHX{oI>HNE˴s9OJo=m4X:² YgwvW?nEqM?[=b=$0v$Bb $'$tqLQmű !ak&tN4^ [E*sč;)*ͨ ?6V4 I IqGn[34oiVI A*xhtY vXO'X*ۈi˿I+[(PҰ]4DrʲOn=u Kvlwj'ZDX㈳yQ7g`Lo}6"B8b{7r0X#uqLՏ ^>^H?q /:0V&|^~#vAHߪAe!GUBPv-mɨrwdzi^!ss-r)tWr?xh Ea\SzG؛(R@_EL uPvB4sk^wyƔ]SAhHX\:3]X#濈ؾpֆP6$?$!9G@YfAUuA*e|W'J=LHN'4nQU8zVD4m \tğ] vc?wg1-NjAʿ=wN9h/hE*9bdh2Ǽk(jOR r2azzvbX~2],#.bu%[$Mlo]&|& x Ve |RjuO(wQq3a kyZ?ѼKгsɘLu>tİ:}()qcވImD6 #x$Á";XH'|1 i)|W]uKR"tax^`d_TqLpkTp{hR dԀqԽdvWlfl)yDqW;~TyI}9tD. 1`JO6IuOC|SxSٮvD3hɊ{ @,nha5SŐ3 cSˤ|:/un*o<6oqt=rE ɯD ¥7:--RΚP'䓹ӻv^\(C38~y.yoV{z8b*/$j(ǀT0JڻauތOqei!k+V%$;:qLLzSߚ/oC3YU:uHYRdnn!(y 4"!w.?M,v`} wVB s#._h`%[6^$-1ւ&(a$Y/%s^k_JlΦBWձ1xׂoO0e.dYy)ח,d6iQ&t+g_T-g6* oĩp|8N/P-DEsʒ/{ DLeD 9(.}b9 S"O+}LQGe73ū8q/; ɐc=tU0n#vfٜ5|]"_"q-Kb σٻgoOTݧ^0n20hjQd1yK6sOӵ8Ndfc-8O kc'%LU@PZuP7JKFUlGi]yG@8,~n=" *⧞1fZg < M.ߠH}H5~ pTeh3;i#O Sj9L|.:B9cehKzb=@a/  UAw &xI܉WǕF<12I[R/ngf`cjL+0c9\v{X98U%cU,0MEeJEZ4va(TLH;oPaMӶ=͠'O)jby:tn KhrsKzRzJ^zcHsRfw|)O~?ZX9IMUrӹR)v2)os~ɘ KO{j_ҒPr͚u4>)btѤ3Rq;混j ~կ5uTR, ez>Ip1ҀKhDk,hI8׳]lMy! )r_sGto!Bo\w_X߀hCUԣ7 #nl+q 0xMULIt1<)emdX1-PPZ&(]3?ffLgWZ6fQPz\;dYA#-[Ťal:+r.Bf7X .4wI s  Wқw:l06sr7F "L8/VM^ 8tIݍزHIy_p/N^`8#*Q(>e=fkܙ]EAP'䜴)P>CU aFTGZm}ETSH>z@㩀:>2k7(a ߌ4(L糭FٜxtO KLVÊXG›=JEQRF\VtS@7]]YsE:VGgD]k4_ZG ":*jPcI<4~sDyri.1-ʔJp+<}}2-/b>X&˛"wFh[”۫Md#>}F?a3M)~h]e>μ&! &KJŚd[RHGp5)#Mp,\h1̜i|3TSӊGo͎^ps?sj@~ZuRA+HLyNlvțW0XC\F, 4++tձ{Ѐs CBl4r {'Z 8+2]ٝH0(9_4peb+yw;e/Ғ ܹ7;~}<n!&M VQ'.zpIy:Ǘ6UI Et3hl ٘ɣ^1q/Jy))),_~gq[@^)6l1 ^V1eFl^s 7B6 YynZՠc%渵qdy穻k_oo7fIXݸ]>FۅMe}fCk~h\xi ."@x4 ,r ohRէ 5uK[e19¯eӗ,}"L5|%<ҧM+:'gM%8F=);b|l.-IEfqr;, (Jv)jթ Wd׷DR9~dIZw{ֶ>_AS-DR*!i9{-,G fi|-Iڏ4~GqWhG^(Ik\΅Hv%6xGKyr4$ 5\Kx!;S%юϘoLJ$?GTNQ׋UH' kiz`@Ʋq(π.J . ҋ3 /cx0E59K#ݕ<,3fyvG*FO;OHϽb$4Wq]|u'y4*1.;o;]B@mPl-* DQSKN}¨S'/0qD֥3Ebȵp-t YP!UrcHTuD(R9>ً a@KgAk_ SwMde0Eү%OA$;+ώÓ% ! Rx*|~d/_NO!/”WI: aДlzKORdYmT1p BBN3k.T:W2ا 3%)4%&{,\ eTTCSpb{ v8!7^8k3!s?Kjcuy~˗زѱtoMwb-C{eUW+[v=mE0͵GTR=6j4`-gqK|+&h}Ff-> 6?fgnc~)ѶeFkM?8+͛5?YLyO\6jwlNS,:2Vt|/Acr):We+"Qr%:xp4Ҕ!lDoQwQ+ 0?%ґ?= k!aB)l/3w1X"Z ;njJCMU p/K O.k螓ot}TaڇR2镎&Yvfm4Pݧ| t?DsLiF P@$f'~D#b@e2#nƹ MUC&J.!FmEBX6m;&TW<'tfUV#q>ǀ. 6^_*CpFs(tVX!NQ_Z=r@g-*\+ҶÉ(2nt*Җcx07lp_aшGoڻ$JX",y+'r]npXh{c1%m1O:[_@}wMu7]w)45+&t{fBϕjS֌F[̀#K_+ dv*vM*$vk[z:aNʋsJ=&/jRqA`GIjNjXdD:d]ϴ=hZ;lHS ^}ʋ]6A3-<ەқd|ER)ȯ'QI K7;*}opܮjru5J4^Q̆zWiY7v)C%/FА` vd5OOyY|1R *CF>eL^/5f]f3Q (h5K,U{+Lxj~hQߣ}z] w{3pڏwvN)kḴþ-Ujuyuu_ ̎1V^o}[&IhAe6:?z107 m>J^'d`6678a!>"P_fa︓AT!2O Y XE5b=#;sFj@ĝPBDTּ;:Q^ѯC`K㑝@ Nxk @豴(, 0}wlY&=R;n.=A*4ݲI+R̾X>#CJ@=j៸]ԔW> |8Yje, B ǀ; ඄a}AuN5^yw/pW iWm:fh槧<~$`F@\-;˫;rY4d"9DT{+-[-sY阧5bJ×bNK?)2H^Il QACw0}|F?#}-8'=~zgV9h'7VIM [®U^8;Z{dx VKh>_'L*E+\4[b]7(( |,u")Pu,HZW1ݭMD%} &`;n9eMj<;/&ͬpOY 2iJb.]Rp߽֭dG,yAZ1ħׅ7i.6=+Υ)[/$aKZne5=/C(`d8Pݠ`ZK1GT\[+?+߮p&q/|LMl}0of޷Wv$gr|\oiuioGr~ab{!]Cв?0tiˋ2nHJ-ipJ7l- =:`^꛰+ U:'Z/lZgݥ3+{I^0&^\ϲf95j9lSG Anv+4Y%MtNF,׫&Я'{1@CM-$PYA*SꂷDA5^Dg;S(Ys6 2\["z{(JւW,۽9МYFvh#-vI}-?Wѩ*?^"TډQKwaF< }\2]dD("Ql<@|_> n(s]A~K^Nd#?c/٪;Z̪}7K~wnOrȗYb 4s <ĝ7x弝KC(gyS|K,hU**Ue_q{g뱇#^75b|cא\hB矡-T5 aL?h&5}`}Emހ^ߢ%˽ Qb`5 PF&O@*X {QH*0gUob/( n""p^{JMUm -x2[v!x*@ w~ؽ#yD6PCL5JzHle# d8K 9MADqbݜiy6K[7ȖMX|6=8jU{|fD[o\ b'&ӫ-q׈#xHX5?ΒA;;q[p3Wmaďj^ɛRKۈmNnlmlklbӳ)-JZ,aU=WHVme5WEV h:XJAd4%ܟl4\r$o|Kg&"!e e2|m-$ª]gW,@r$.gdo՟:2$Ҟ=O ->~s9}aP`2q ?3U_5'r"}\gYZ G ; G2B /G# lHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! f(]ˠ)jk2p O6LP=͵gl5f&Di5b^8th zb6E3kbOdlB/tL] G 3hf-&xӝB[%BڳMv cɓ0E63ssdbtjgۯG__;'Xl\C<~NLӷE\7%8CyunOB m1LELωөQɴ h&y2nG9W'f@zEE.v^$J$вVJ;"{Ee#HRi] ; lmS~0d۠HDHM7'!Gȁ'a6>  a\;Mdi<57# D0I5jY%?݈w%ZGΛw!0z+#O9DoR9>; ;@)jlyعʖ؆AôDRܡFWd辊y0M{6Q]mnSaI)| ]i^GhVt(ooSuFHơVy1Fmi>=ktOw+u(,t&XmTE =C1R<`&x]I{`JEHl\Xd=`(j}D/e88grXz2@~Pi Lh.+NL|#vnBWQa=qQkI `3nݼmZ)׷9\v|߶Q2.}uMB0D -'Wka!Yx[VfoBqf833w)|g,DP$(äȊV㬘wC QAdM;˪ 3b-J-.вդyе镋SC;/W>a?kUXpʺ&eb"Lv\c;͑^PX:.kKQX ?޳I f|*#Z*bȼlES^p=KFf/{Ɠ&j9xfkBݗuY&A*7<ϯOjDaTO?[HźQ]&jJ .H2mDkӴ dxsDLH-Ӭ(?֛ѪkB5@q"(cZr|{]eǦcɶzM5"Q8ռ]u(IMKf?m$~9c2 C4lumb̹ٶRD1_3D(6xOHiȢw{h>1B'1[d:!+^ s {2MycUq Är:Ђ|4Nj/Y8?VdN0'01?XvjO\ }z1'm)HXL3j}!ߤ 3Em% Mh`ATuj(}JV5IT]Eq"'"́nm xrd- Zڐ?\L;oc~Ll+lS:- dfkV#l;`TN42h#\-O01fQKXH(Z3l1J- ^cY]e3Gt^Ԣew[cL 3UԮ %ơϛF&tKeZ*mP*$1,Wpx ޫ156i61l Z}/w$ZC}LZS{"][O{K`L{P"6 p^v@)K`\Dl".'1TtG^OTY7#Fn1cBmXPV{]0 Q^ .F 9'#=Q%וY흓V|yyw "ǔ.u 3υp p3ܣ6 dbart܆%b)'HKrf\#Lw 7ed#U y=` jcI}KEz<SƸ8#'ڋBx@'"ACgA/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/files~~/src/HOL/Proofs/Lambda/Commutation.thyH@/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id200B?/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages7zXZִF! @]·Iq n[:|&[zܒN+ݼ]oޮ"s'2vbføχ".~-z3jW%~F5$Ta{%IHHg]D^&ޓw>Ooeo LTY_o*eoh L[m+ɀw rc:[G>s^p Š('b~ lf򐡹bHNnuJ5"%KWh.c%NyZ}eX**SGFA^-o3ww w 1lY;c;6mjhiJKELZI\ӎ p'BHuJZ{ !O{W8O5MHu, $"{kƂ+tj vpLx @l=5|FfqkUs\HA~`)'>Z8FiY%:;(cp h<=ta_ZH%@[$Yw&sD%P'Ǒb8Kw)# ecvAPIK A8sζ`e;m4cP%ʏ y-^wYn5\0VeF~=~.W R3a+e,9u*UֈVpKi xSh_w(mɩGyG xDtj~s1e6A LUcGGË8cOgYZDLiw }WS׍>^p^/)[Z Fz?Z8 H\_=_7YJ7}_Aq#jw;Q :FjC Fvx(Pn4f(f,(p0W<x|P*K͇:W2p5Rƴ6R \Ҫ2;AH9+b&HaI i`2ƒ9xGt凜͛)xpa$EW|BHɅ8;;R )zSKުI-Xa2&E =_bC")ƒP8Qnj_?a#Sv5MC0Z<ԏm%`yY4HfRN|eOLD}ƀ "j4\ :NбFЃ(v`),ŊdW;$bRHvcG]t"|=gAhM~|'Knނn\f ;`!w=kk/ugko0j Yk/q~DY;-FgߐJ/ y -J~uJvRPR5XD<(B@S+ [>RG V-vj pXؓ+E z V@3m)@ȑ~ s9@U;3w]b3D 8{i1Z%8>u;sI60Sv9ΝMp4U{Z=h`냋2ts709T{u8]xON% `@]/=ʶ#:)v}tBu~PyS ϙ7LUXPv&!,2`^fckO(tPL_dfщRYtVCk"i>eL;gUPJx(HSb- D& :F*G B|,i{d5/FOK,2trtsBg7Ыf\Jg%6"[mHQFXD|؉ [&8wD舼CD&2ꦪ_t3{ƑZR s^܅755 mē'j5ف(؆$tWk۽8xc_ej\Heg)Yvl sWYTA;E!SRTOf=ʖُj(u 3gr?$?حwxunfl4*c"+,d'` Aj"l=Y-%pj[u9J7 p n0%3!t iIm!}xOܺ[6U19>0b@:;mL:J"T\}/M tM%iOq VB(7)F".8ۤxC}@oWO͑WxhQ:cF\\h=(>R%"**cj5r+%d :5LC?ф>މ2J)]njxw@)ehU;UӦJ-3/hžKx|QNAZ%+ uq]6x9g)IA~p(#]1N6_w&܂K]6CsBQSG3e;A}G9;-GJү>j_8n&.1vyܐ AR3m@Rȁ\ّ䟤FБHufs*w97БJ(){B22"G{{leGrQhAsD7JpRo>"!h<+"UG2IZԖ(^cPPςg[oxJt? ^B ~.HȭGE%'$TMl+zn1-㘊884-%S+b/>6%~A˧B:q`㑏Ŋ|f¼OeJ k+*[e+d) D0JBlŇ\If4]K ˮ>C""kK X* }l8ΏN!_^ O&s9N&Iohն'c]((ۗu1ݰL]Z 7NpryU1Le6U(Q* [*o`{Gh&_#Q9 v‚ACEzx981wٵr!(]&f8UG(}L}'MZzF)t8 e4 (:@*pY;=£f R݉ڗCjPbd*Դ|0 *x ڔQj+Z7ʈ{ܔj-ƀT͒() wA_ZyL\{L-^V`8\FG6angeD >g-"ZtHh퉍 fn!1#jyfP9^hkZ#M?KDB8Ur=ώ)]l{:p폾$ŴOS>DG"$D5 C}πvTj4}ي﮹c=L Hi*x{kx+Xd0s%o;zp!fXQ$j3n,jJ7ϗE5b@q4i"*7.ǕxP5Ix]um^ֶ;͗0p{璷O5V\M:t0f^+Zg*@`/NvWo#Od,HdQ<@!ľtsQS'Ebi T+ָ$P_c*97k嵭n$9 zt/ K|ёrv"tfnц/忹ҁza.Eh чZݳx¦Oa"+ԟucѣm4.blݵȠfۅS(!6_>&@tI_ar{ɖqu1짵r+XU(Qҵ.' *Oݟc\U}kSϠf8 2=si1\j1RS=N:iV7ѫý089-G)x,>!au両r5ApmGɶ:P%OOkIl\WK.y>} [^T =]XyD^+koд/~իRZ`'< XQZȅ:fWX0.^jk?*6w-0YP$,OK=!?߹+ l _A%1 ϋ"ڝ?M8lVqπ2wk2  n3˯,xH$T~y1A<p}шO(LH"C/\[b=,) a)](?ٰr/_p>PΫOm ZW,uI)*9jB E_$} ]g|9afT2yBtJ]GWZ&A-wa̾7o.S/ӫȦ({) jl*u>(4e#i@Y}W 7rES]dec~#0#'_D,<Տ1$[OIlj#sهٻh?W0NxTeEi)qbH: `KP~^ߦMq/BTӳYgqѰ;A:sl6)@O iƂDFVg3$ Cd-N ^mgM}tBybUdK]IX,5\5ms%AԴ2~şHJ9`Jc< 2Y2'#`8moZ|dpPeȣoKd$4d./hi]iH˝i٬9w=`^(S1O](omI -*۾ŭY9U,=Y[Q!-"(Y#j2e9 cD.g[Ç:Vc3'_x<6rHj8!lLb|_cKtnzN'41Yu*ac%J`"wW^zC2z }$tI{FiE,&.π>.\ x7*Ƞɶĺ밊:[novBaZn%wV_q, 4aRq'Io3G*r];*iU3AL;-O^[Qc[JWo]}Z : zG@CYB3F)y8d˷%{j+OBgc񻂌tZԦ5J9Va\O`^N׾/^]!ƽq`:7V`ĄR2<"g~ALCYq魀ّ Sܝƀ| Rg'1yppud^6b(Sg d3p_{>$a-7D$qeDO*[<Zr(N'5{Ū=?\uSؗ^d,,p2ƺ䪗9 MPN{/ ~ị.#I0&pGP}Xq/qlvH2X=I5W%H&GoK~}H.ܯ ZFvΊ(J/,V鐖W6` eaèn5ljnKKkC3RXɾ[d*D?àE͡hrP-=*+< <T?\1۷B|\ѷe֨]FZ`Q>5 iL-Ȟð&^yaޙqN3ɘ&ZY#t:I!1eXi4\ݞi" Իs?{sScӜjzZcgbe)kYêd-&#,*nDQ2F*_,}prݣ@z !(o Z 4h`]=C(3߳ XߖAġX8 ȍE/>0`栱*[_7+rMȩ&mQm v<0tzS$""~J)NhN6ehͨK;[%J):i,1f[|a[Cǟ"KCa\5+T定k1gYZYF /E# D5d"r׳`elh~nKE] U] b>۷2}k+Iui_aa4UiY4 my>?B(CQmIOe83|NEUgyu^c`)ܓ!csmݼxQ6N]1~'QV[HR?_fĬ9&r]u&/+;@aղ^eq H'f} vi2i+V{s)%/{: ԫc C{`m{~NM;1nً>Gҋ IIQ^WEP\>;D(R<|㶜^ tg+uzܾįg@)+(/aѢۥ!%(eţF:A@=r:8-P+йDNw?Ըyh6< iX3WzN^d6iRH2p&(绽J7$Ț{XuR\6=P`NP0K)k\pB"˷v Yn =bI^}fbĮ}y/y,s׶~y9cu<0t@Lj$ ~8EF"ro@s_sEڠQ i^cOkB³A=ٴ >zZHbQ ^-J 1_:908dC$@'| d{dTUcڮP6@"E41[6U-7xH P2}2p1D켳V3X3kLSqHNL9KoHj-ZlJJw| EQj{Gtm /{wlf%&+.9F+HʽŜe@KVJ9pp( 5S _ٮwpS"z>\FMYC27][:vȳ(0nn]KwoPMu#&.$;8Ϩ{t!&v굱IF7"/n)39XmV?=b F9س$ k;:^:,3Y<[oӟFScKqed mFeE/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files~~/src/HOL/Proofs/Lambda/StrongNorm.thyGD/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id222cC/G' LHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages7zXZִF! w]]Άxʆ5.f-9 rq8L1:g w?K5)@u.*iٷ%qK׾1֚,M΋=fa<)q9e6L)B:Z^ ~_~ajV Ÿ-`a]G@([1>˕KjuKm~:%{]䎲z'mq Yȼf|0%]O׾bGؘhl(3*QJZ>jAa8OnhdAkoE˗\)gٓ2=f>z*QG.jFB $FRi06uP''t\]^*|_\Fb ?7xD*Cj4{OFg Y i޾˰Tބ?e4;ZeBxe bg5\$ K P\BW`ssRc^" =;wNA>3+\ь6 a+ IÐhԯ+8^FȊjؾI"zDhde(y~f{D[TW_)x:.c8wY:O7"d/聹];Ac 3$TF>i]roĎxg3J$O),:MlұWT%GJc~\IgOt[P%M-¬]Oq*Vr푘/*K?p⃊OrB?l1̰nڻf$TF~˧4{ZUJ| [<< *zĀ?6 G gkotpJ\A) k-Nu>,3Y/PfFp4b˓p_r!IwwM܎ ئ-9 $7ŋ5R˖yk1<7ġ7JSecȢ[2+R]W?ά?RqNVw\.n H*˚쩶D(S=B<Eƺr{0T_i^!gu}E;GɌf)II5EXe8H:qj y(RuYDrO'0Vz c8FPp'wвgulekm~^wa2Q>3g_ ;1se‹S)VN|JN b?|Ϟ]X3|] :,Y&~vs#}bߍQ'FfP73wʆ-B,n\t6T4R iaSL5]g m aM ]! II p!pu|s8V&'4DF6S>diXyB i=r!1ٜU wќ*`^d, 곓GPl#/=9zGo˴xֆlww]@,]j8}"Bnz)i 3 yKt+{@ќՅay1zbw!.M1qdTxE+gݡd|մ+%sFptuh*垒02;rȧ+*l( 7jZza+!!B,z|)K}%, ٝxdĚYto9!@Hf&e ixiݕ'uN'=9(EBoM n'L]q[U_gѫ ϴGC'x֓f3/.~}Wn}K|^=*)˹2 ̗T_}Fh$^Ef__9j v"=iJ4Alu_ҝn'5JN0d3iɌƟO7=V;ԅ%qtɯ}#,\a?"4o }W?>b*+J/4!KPZdEG" P8a"-Z$|6^Ҝ%C[.ROs3Υ[V I<)Ŋ{2@sWhŪ!>^cȘ&N7lx#'HݤQi#P`Eܔ;e}&<,q{!=2'I9< sfndx>w^AaY0C4҈5h4PҼ H%dRvF7.yɄS8a1aR {Z ӼG͞ީpO\}P^$ٚo˜Mu>z?\@1U"%>TnŸ)u+1RAh)٪yQ -o t\b EpS}jCѐjES/ WԨ~U3О)\ WAHy^V k& $Bcy^r bX#E 5DTmrq>/ǭDm>/OF -'$zxH;\WWJyyTIÇG;mo"hZ?"mUhҺd]2x3۴~.*f)E>LX¸Q<'X<C0eAYT^E(q;s/)2]*gvrW\zN-9vdH 4+nJRpկD;rDy&eZޤ]JDnT{ QͱIxèyA_f}3B BBa>a%ү?,wйkULeJZaWevF9۶ Ƀcg`KvZNBN/yeY?&4pw]Wg]WǛhj9&p(ю;J1p+Es 3 FXUmTId=YJ! ѫw,琚 J2yjqSTE_#cxD~HPHQŢ:F ɀ,O ym>SJj昫\XmwxvVG?ߖƛF4u!EޚTC@?sBӍu3#3eM_2T@teHkin)%g敮cUfHJ'~ꩊLIX=Rr< 5p"'؏t8Rf{z E_3C(]}|gUqĝqb21c+?Z-+x4Sftj/?r+殖\)"b!{ *y ܻ0ʯ nvd_ @ӗ- }o!Mv}RդES~ H-*r%tغP]\I2<%(%߶ ^_"K(_33 Pjafȡ~ޢn8eslrC6Fk=L2KG! c$nAX}HԂ[~e):LC|k6xC[Jb,5oHX񒷸 Srqz\'SRC7^k%nmحDc1ޜh1Zԩ]3Ѡ[g:곡f:(!ķ)z0'gX8 ^/eN:Y*\<!0Qn`9biݥ c&+ v.z{*F}FԱ( Ԙ!1 k3`sBU V$]., ug͋^6Ё:;=8LI\ y46WCN ETC~o ;Z*[xK~Os|[.X -a:9πAՑHn5xvUI'E2,5N#U)sUb&e&p_us\Ҫ}x "}r thy7?w %޶uyo ;E7N(Q"Mk rn*<n]y£sy)̏.pHp,!KbA7FY7ߣ@aDۼ{\]vylk~loȯ k9/8YLHxx`۱ lID`woC>!Ȗz\:t'0]W5\){K@Zb6{FҎ^C1{ S^+6XJ@~[0o}<'?e-!)t)`ŽgЪ@1y-~b8+Kea\߭J'sWᎹaܵCX(\~`HQz9_Xk؈p>Y ]> z Q ؜WC7$b_'F/-Ԥ\0^fC:qH5A[))`} BeSkEpȰB0/]w1$%Ky$ЄLOȬc:D${1(??B Z4:nfp5!`_hJԤ8dE"F:5<8*-h$ĨTY3r(Vͱ$߻!t:5_ 0d HpDX~,͂ͦ ¾>1bwAB BTK ԧ*ѿvT.H|5?k) `&+K_D'EsW' >ֆNJrUld? G`<8ͷq/TOr15gM|=_Zy"4W}dx)#[Dm'"r(CڧDFxMmX%IF$U8P/Ջ].,%vO{H'@MͣСJ9) .; cI]VUެn6`c\%W{SpR(Tӛ !"qH6:Yg6/p9&?[mŖhxfBm8c VNpdNοh*Bλ$ ts;uɝf,΢xs2Zf%`ͮiucwtLm [/ 0==x6,VxulQS [޷̊hb?k#ӣbE9b)Yl2GlP_G}Z|4C `P.% v$mM/ЎFuiR}"DZAT*m}>נ5?`xm|zr~ZY5V[y^ꇆH~(8tǎRRݳMvc$e5!",NBSN\qøQ^{~4d {\S]]ܛq>!55nuZ.@ʕCf*HS\ԛ4 dȖ9ݒ>yLC[ph?oĵ׫mbx/<l@Mj[O.5$N!DBǡ= Luc5iNo)G1:t P)wS=\BCSq}Gjq"_[^P\#ZRg'}6!@ݻq0=óa_͔+|uf0m ~$ծ* O\6rdHLD%uOu>P y| Wd8]HCrGGs[ajH(GϣLRhrFxm;_b贔I=½=Uhjfgz-*w1^0%v8+`!^W/h _IF˼ R;xzj:fz\(iBC:z[9nd3'hh ^:NF7ӛ".HgQ %Ynt7Bu5<̽Dw5(j:d#hbbq!5<vosHqb`5UAy4V-X+hrYLk ڦxW|҆]e ωi>ʝ8#vd3krPѮx)(!QH@cbhmZn#lq]I VnVE (vǩΘ ):;QJ'^x}cc{-+eMnͶ<4vL]{'+/ݨ;)+6̶gV"Z Y<Ib C49(ҰL|z:8GRRseۓNOAξsڊ7J!'vs`(9}L25Dޏ"5=jġZ1Q< ,Z^?6q԰,m p~?OHxynE#<%bd-mH{ !M-$[iʽڬSE2 -u?QK$瓵g蕄K[ ӑ (e<6-.NbO.@|)le߽ ڥֺUS)WYd% yZ GI]$EB(r${Fs#OTpJx B߲mmՏ@"| _f]xr ģ 4Ԟ[hIO_be;z8vvTg/^D뷴NJP%ikm%OIa?]+"CbKe6`9۹>Ӫ(诎{(K %B[GӂO^>=9jjtt LS'ρ@31[oQ0iJFGmriir#lZ$lI)#Il*)CI6R[]gy,h+]x:=:ޗSb:9e/ׇ&R $BQ=zb9!朌q܉ 8ʈu$UoV㒠 Fؤ+~=z縜 ITq>Pj/!6u|srZZ@g~͓Pt"FM(|m+9Be(^{4OybSA9Mn9zgs[,nz뵨 ;r{&oLjZ/2& y-e[Qnɴ)e.RPek>p2 fsIƣL4`}]n ? (䫜yCȯi)7ډRy:YD(ǃXQlze: ِz;M(ڈB[P>g*fcae;xr|i k>A+OO V[ !I M`$2b ^Qc7 /dS,(~KAZBpJ.j Y6D{'Ƞacc X1~}Ʈaf2K/;0{({'z") n&ӧiꓤN;y;2iS[Qһ-r g$A.>fv"wwX@Y{[rV($fST#=caBހ3߬=Ș&N%EF\ B 9t]P10ȶ,MGz %x*98| E_5:! CН>h5䛣"Ɖ$:p:3*UXvcG*Frh(hF^<<(1YSwzR=!'(+-#H'JA1A,或[2XHM:r`w }g:6dG+ߍl-WI&!z%,I( Ĕ'J_RpC=L1Dm,YYgYZ'Z6b42+z"& TTL<:=O`}7Ljb31ũPQ3AQq _;@8jY8>w$;18TU2XoJi*I1r&l7!%) *~F3he%so:=zg42u^mEIWC+؊CWBP5n>SXm+-ۀ!ɢ!7e㣙$a]?_6l2 V%]̒>ɲKɹbbE]a.EuX.7|E$i^YC˞T֨Q=Bt5|H;;Ul,XJSP+`wmUm+Eq;U_G?u@ҭ#Dh$ҪP&kT@fW.Z%0=hW['.7g`MKXOe\B=`q  .gVɾ%p[6CJ7׿npئa-G&ޫ΃-'+Elb6 b@ Ңǹ,aWT07̿}!^zlƁ-u)<5V1v \^)JHN8}͓9 ru'c>'SG..fjv#{ N>}6c:;8YG*(R&R%_Ÿ1o?@(8pusQi|[G80Uk+3cC @U I}ӔNFnbOSacFahDB.d}<X8]HkA m <\uiYD9#O`2J;ac6CĸgL)uMU/r}G2h' 8Mn:|m66@m訧74%U}s[F뷺sCLU;@_NJ 634 ޹[ٴKK(ry<Oxs*JIRպKwi'9S;[L,RNAK؞j.'ih䱌7Ĩr9 <dKf,.Տ[p,?T7-k. V?4%ܿxrE3 NLTbEY!ϰ:rP7bRyg=Cuhh웄HCSʠ[G S$#r [gY侧TbZ41̺%tFF.ܑ$VnLtB@s?Vir< x/ΛMi~>Xi҆/BOq$Aɓ5NaXNS ,d=t%wFb3֞a| -;e#2xJ X.qAmll‰#Qr ^ܛW0dNjt;w3O\3*FI K"l~NxȐybF) mJ3F r7k2ׄYHhE/|bd ] =1U1`#( c q]U{ 2!namm%#prF+bX_%o$>H%NL;mX^FK@@ff(qnɓJ|">.O,/HUbG#CqG&,Loz&"{kdV=O$!v$*!iAP56%NàIdw.Jj#9(~c`z(9ͥYjl z8st RT/dw'Bą$#F t A~Fyb.xmA?iA@ 9`7~4㤂c|@c=Y-|E0ѵmgYZd584a5623aa011ddaf4dc8eea27a1b1914daf2b4535558cd1d6aa4526f469e35299f792644e559b9 b6ad63182207340da2bba1442dd4f9165cd6c96c