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 c/vlD ]/ HOL-Proofs-Lambda:threads=6elapsed=98.045cpu=117.552gc=6.0327zXZִF! @]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߬9z^{<yo,^fO폆΍(O<k:pnn+B ԜO#L>Ʃywݿ>!Z>BVv}]"r/K{t^H'tsp=wKoY' 5rzzn@J{K3#`7sD*i4CMzmW[tY,{6V|0Wl8IV9T1XwFr Fw"!I)i $`EyF7]!s")^Þ hjQ$L.rlrz2ԉN& Lk`y*9ıJgW7Mknm3,tev zNzI(c|ػ4WQlO\7=KY&$~FC ;ΦEhlqaG%7`d-C7Y?좍H:)xUw3{炥 2-u!4SX7F-k9#n%ϾS2$d;e@>I=?27k?x^ث,_0Er9424"8Pt`a¨q,bxiLѐUl|K3Zq_:L'.zFcxi+3DCId=xk"I%"}864P/e ÊRfg_f{pC[yLUԻʸX=^ג PZOÿ<|X+]iI( 3M2dJ_ 6 w4^] ޜ`s=;;@{1>  hF=e<7IjijnTģGc෴# '"O8CdvN~[`j*~/YC"[ .n\zsyV{p&/Ѡd/ۓJJj=9:d %DA Y8I0mdiO -pL'3%y4JĊxoL~f߅&Nx侹N1 єnNFO=pWkB"RyA\D?{Fz4{=@7*x޹E 5cuևד_.'Xu%`Z Q]Be ;(*LO~I2Hڿ,=/} A@\ǘeKQi>lR.V_cT3VhngCJr$Ovo519LE#r:pO&}7P2;ڈu6A5T`C5ikũ|r@UdۣO9M7q<"s[U|{UdG^Mqn67_x="_-T>(+gGjZlXԙl:}`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 } } = y >   o +~J O Pb#Z :[)L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3?/C'HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages2=/C#HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup1</C!HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files0B/C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id/</='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+=/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$C/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.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:sE39ugYZ ]] /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\#$MA1]=栉LTa&[5SG[G5B>UJ \M0lUrq 7=,T@R%+poE]09*/{JB'xrVEU# yԬ[x^G#^~}ܦ^ԛi?-@5:J*`'㞳|]3GMxyZq~hS|.u h~fW4Pf`7PRmy4I˲( C@ӓfR_w{'$eAF:M.* `PbAޯ5 M#f᳑39tFJ(c|he{D;Ϝ`(-9wN->L>sj8PYjU4[Y9 ֐$i | 2d\iJ .Wh@0V ;qʂШ{,GT/'jlO#z:0@E5RsGRY>@JI+<fӇi3 ,߹U|d~(7b1qzIҧVf֜QPZzcCrAlrjp 2} ?A Wy-I&$ߏ5p@>kz"TvR%dī<)K& xgŒDsU8On/j*㯠ۈRAp47G{k!fXnrL2B I'@+_C> 'p&*'s̓Z=ϘDQ! _ӎ]E)-<CdUW0Xw6?[y'NֺݴIsU\1x%u@U1 r 'ge Vzč^R`gLU?w[fpQ+ _4 Ja;jCMw rCn͆S !W^p sFzv !Vؠյ/{6(:HѵxFe_,*Iԣ_21|I0ց抋{VTe'9Zwʃ=?t`Yb@ ì5nzqܙl,$x"}Q$IeC]_;U.sd/pSMWM% åYFd m 6 hf2Q^GT\$fM_v䀔WeP!Ц]+bAOXT`uI^b1ֲcqrR0ca=$YHϚ7͆A:q虅,`LT XZ]J!.Z57K__3L0FDJ/n )|2 D2*F'C6oLX/[wsVP c<-N(}^%4xcz]ORǟtLkĝi<i63&ٯY;q~ YwK[ʙܥW4F$8o}yE$z%}^i&ssNƚbE~/aQV,z/yӛ~tzfeޱr\M =k\gFjӡ$du]; >v$9༵&QLU{ ydFCC'?Ħs n ~[F2ݓxK '[Evɚ湘QP$[)ڎ9* 䧐{q0,:9 ; yOrVíQRޯXk/eG@"X'LCU 3uS:lVRʴ۝ad%M'|RKm[;!o;do{Yλ ]p*jю|b +r^9α)^HDϲ.J;]Eh+9^:S {d%fԗy N֦/ݩ{b',V*¨w5S CK0W̜^ R͙ޭ[ 268BLyy,1R$_1x2<*B&ų΀cJ0%yUEBB}ȕ=I z> .S֛|_O5^ՠ6o0M| cDG#y)c*Q^{!/b@/3:Ԥ$aV1leliCbCbXE <ꢰ j!Tc f%iAݔB-¿6^" Cb%v͆~dLFYiAAjOiq3SlS\_E 7UJ&A*Prnq;bpG6L6d/ \p^[Y($3r9~Y`BփyG)\b% O'9H%5K^T~e8*9o]U\O[d]iMp kʼnn'fgsp|sL<itZ{̿QAѡb=jw 6X@8|G:**kP&òoyq[B pMEi}1fFWWık|B0mj]W[g *oeZY0di4=?,Aᛏ>'ӝ\]9:㻦q4sehl _&)`dAs1oB,mo],7G]ЧSְ3p68}#ԁ)=& tvT a<z@!k15sLlZP(5@×̷eH\$Dwipy s6)݈Bݐce;(^!(ί5^5G "⹭wi_EwS Ao4펇U_D>vɼlV_ UIoj: :% )co tA]@$y-^~tG(6U?: +^뇤:cX?bih#ImXqw>3@ ])% ;Y8/J/a\KC9 sOC=nf,NuQyH.e&+byl^xu|A3gv7$JD[ݤ]Ǎ`v=tf:*%>;?ٷ0qyq.Db{V)T9rE-eCiEG~=fDĬ/.y4JTtK V$ɳ'V;x&ܰt*z8͔]9}D͙t JmygR3չ:^ٗOfQ @Rn[M{mgL!̝OIܰN!u޾NK0-BiA__#W,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:Lu@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ 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+rakiؓ[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{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 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 ( /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ɖFgCd7YKlQsێ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, ==@ /=3 HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex7zXZִF! RC;]A-MՋhvG"uIBm5D"~^2{Gӟ!Չ:HH)3*fRB\[ ْ;~܈`ndA8fta5$G NGUz\(uV cK@LrXRtU -#bgZ8=0O5eR$ We:\|!E[{ ],zBZt>-R*{xUP0EK`b2Fzg/6L-+I"M+tEuB̺&m? ʛ63V{h(E=m)ݿK0 u;x>xu@]D\a`5*` ůzkabTq$?#4(:C햴' BzRRE!sO`.~KtOr׃5]iiJm]pbW@jQr}0t<]gv_3[Cl9jIEl:-[k^J2 ͅ&eB~1Z@.p{oJiSqp`;Dv"E)\q2SI\`w cKj?B5p6dFIFP}JԬvP'7Ǔ{g:.UQe\SU}?5 ƅd*yTTui(B o<oN!'MZ@QI+hx,vP=OPlduXc%1 x.x 9wb#G YPBC~ײ-fZ _Ō#vz~7V9#R $d[g8&*E@?(<`:[5@͍|L,]65Y~WiK[nϮ>hӵssP\xb\4 ?ȷ_:*m'&YG/5)K/W-"Oo^o`6WJX `AWB$'8Ĥd˒gYZ57*6Sf^{G f9ÎWjhÖ9-+/$'爘Mґ0F TVLM9리 <[!NdpVj6_ /B:Zx˓pwrٲ٠\b Okmǣ)a`Bfu/jyZGHdiSqiI^f*;z'3.vAbMQ@="QX? [;{0>Ы?{dTyAX הhjCUj8pO(P$`ހ[B61"rqSIn!(Fyy2B^ʸ}7/ CUZ1GM?q:YUl7 edeD\/+J I!LY,SBHລÑnd'"ٷie-JIgt%wMӘ?:pWKo;4"OL `, P+{THP|Z~t |l۫A̓#]E|C 0\ >ivzZ j#Xé(X.VUO^Y?RPR 6p=MN]B {H4oY:P-?Z_ìI׿&\MSͅnۚU;&@v.Qaa/Dp-C*+ ]O_< "…`wuGLxU߾k"~25j=U]PqۛPa D] ?Q 1}JfڱwC{@ SQ)U`sbangS腮NLoз#D5Ys"!(ArsRZ!NB׶[Gf! +FE\*8T^&ôcjt{X\0y7N<)N|-~}i XSWPwNju [x1|K~} \I1w-[R)@݆+ro/53𭟌P%)jG̎6oPXNi0e1niQTᢖ tt;{O/츀l8f [wbwҕ۩Sbt64'Y`r;w<-t\R ܌89*]W4s1+)"j)<ȴp<鱨 UJtshĵ۝PtqP3@>TZǻMEk8i/`o1M,?9K_=|/?c!䚰YG|a9**S1 !I-gȚ87JRΎI΂v)ś}djHAxiR2~X7rIe]&J4gt$1ŜNT8ar,Mݍhgp}J,_iә\k>9)Qޣ]JZ,S Ev̐A wi% f+m!+NJRW,f,J!]R+΂K]/gd 2A%>z7)D6&%1diR%J$z[xt%F5x'~o (7] W)^Vy\#qP6o`>a?76aA]h*ډy}ҌuCU|&S5y_мld\9xHDhx/jd9=biCw#rE-6ALQ$˵e2kosGRL8[6ؑ<@,%(V{e{Z%E?$Cv8Ym|<'::)$5-#+κN|K>gPBC(PlR$Qr)Zg%K9H:\ "x2z),ybx \ϱUԾDO39V-ž1X2DaNkZ _~^|F~wV i=!w!y gPi~ k[$ׄvǹA'9jgњL*a {GGjw=_!hyޚcw]|#FC7E˭0>Ĩ5#OՆ;:$R4%Gˆ"f^.^e'#_J͓P{^qxAY] 8nɖ/dB ^9{ew[>eJJUSsR7xFkDOL\cuZ2V@PKWPz=>9TzIniN~winFQAXPLZZ>ĠH%uv1KϜtnNH|vUy"'WwRūn+2FL,QW Q,F`!7 x$D0uV߂K2!v}['S|.xǑ ~Vg%]Bδ CD'7cO넲؈tV`QiO,i]^j jvԢccy_EY;󿕨)f#qC3bR.,uHyeMxKMjL>2SQMGf-Wng̟L@;e7f NTOamܪGMDtwB G_AWv &;x7Ed'HaJiX]m0rEh౵9Ө /̈́U$s޹Rn%QCď9F6+ }MtoOn ștTD&Xm>%د&ʹźCYED F!~3MV>_?ՅR/+!6{V_ 8gƩ#UzyNmADe 137?36"FjG%# yYKڄh-<ϸ;! @HN.O65yA3]t3"wmL?%^ YZGhjt@[l>un߅`-z+iqK+KR3@ »? StspazDS_`'d ۷h,ԟ;ϕ}5"G^SmYC|l3FUPħzb#?V., yMMù"\}"(&y!lfys1%^XYAJq]wb񒮧`::g5԰0:ozeQu"f2(1AUMm׍xowO6qV t:؛\YO]w$t% kkMl/GZDkhp ]R {.Kڂ^<"usã\-& %hܱIk N>z[]VG(^/i9X綴"};D/FbM"9=RO[< -kM';n_VMB !}h. H`ӍDM)a /Xʊ,bÁ'F[[hӈ7LT'% ;sk6P4cU;`QOL;,ID԰ZQuxw""~RĖ/+۹XXg'Z라h<p!% UM]]dNd#wލ8KI9քx;6t̩k7@vK3˿J5:'S.ع(ksSwJ]g ,$JzBSUrYJo'88V\'f*C&)SÕm ;Yb1,oPcơBO{󾒩+Ia={%(S;$pŅa:퉢q1LYxDp8j_i{^4tnJ`1O?1hXRҷEPN8dt cX?O^YӏH>#tH aGN@ߞ%|<"ً*P9@+~=eg sd YzBӼI , b85+Vsiq%w_ }Ó~xXIHz A9Z 5uJN Ƶ!p]5Ky)%[B@N.h,!Ett=RN8O΢}ȶɄ0itRvw'R7=1im+:JSanm8&ѿ51)j4JVz#d@hU,̖3ø!:JWRXt2su/|yȉ뜋}2s^ W!xiΙWw,WP2"K ê;a+{mNh>OՏ(D-<ኒfc7 Ԋ'PB&t/KlX)E菳qPDd+&B\pJh YJ1;(|Z~)W6%ZBiqry#Z {=-Iw%.G`b^c7lIu$y/K!~4n#cK)jDXf8v#ڟHܜXu\g? E{7qKޏh֚*UK)7nT-X@CT2 :tw@r ]Ip9ɚJbӛ.xnI?%j:FX'[&٦p-!̬c,u|V T. KW;99?25߻Vh(YNtFo>P~7k0iC|Y[v jآA?l2yT{\ʗ[s3YUдǪ g {sH:M(z;:oVܒ"FNz>'3 &r$¹9.ELk)M:Ⱦʏ$FӭI>NL4Bl^0Uպ' "׫g;*.hk媓ykF,X$t닪.+jX[N_kS<ƈ+zS:O+(F\{-L0>{Om˸KwfƆ"¥0?}Ҏl1V<4t+kc}=~ήu j-W͉gevjL"%8E"3b@VˠKK?1BTQb85XXHm$eKRvojοf t K}5heC-0*%«*$[|gھ(Ϙ N4]N*m2hfn&2ИJNyވr'\zVd/ (sk y =ZtFXzp( 5[;Ķ~V+ZidL$ŚA;]^wfw6 b)ɉ:ep3XBBxu$-IVUje8ux8LW\vCYLv$uJGq8"c=Nh+r*_jA=֦0D/]c_鵁A oz<|gљY0[C$7-9}+gl5کLh. _\$ZW'|k%mj8.]vͿLϾ缓r2g /&6ͫ06Y6KPSI^Ɣ?e 7WԒ3Q)7BT?nwXbN>w{-"]a8,a<3 aT7R P3xE0z0]oAOHx=|ʛzQv8J~U$Q Ze68f:!uٟ=sm]`O3u.P-4ILkK>9n;<56{@H@-yd-i-~E]9l aڀH<(wEhN }\ B\W kԥY:x͛qRҽQ${pyw# 4ĒQIK/ϫ 5>\j ŝx겳x0M4LPA֦fLߚx2fuY3=O#<;U~҈ OipYn6 cm9]GFdޓMϨY9yT 8 IL}~ܲˤ46iI"GJ=1oul|՞k$Ȕk!-AOo1L?~A@8ImLF;(lX#teQ gYZ (_(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\L6JL:W!OR^wS0>x "ΟSziGk^[b!7dSzEdSU1А( h0TyCn=)3Ik{ I qo<0s&%1t WR$j"6|6 H7cA:x#jUe ubAS&()VY6sswB_8(eGr+5QQ_Ihҿ[Wp|)aFJ a _r'sȯ0ĴC:wT>`ߣȨeӭ\VRY~ԅz#`,.J\d s1ݾ3.z0Z ݜg,Źm2vwiLOoї&='-]/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files~~/src/HOL/Proofs/Lambda/Lambda.thyC/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id202M /A7 HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex7zXZִF! S(]A-MՋhvG"uIBm5r{5"#ej0pUxacH^lС L_|lL^!ÃuM@d cuLq)͡袟Nҵ?0NOWMB3*oIOA [䬖^ڦ5F^t k)chS_F("w5cj`DuT.Y\-_ul|ʲ…=_1Ьqo4]Om(6KS31HkJ|#Ūw@ttNSu38cg1_'vNxe?a{9s*>Z(Ix#,qs`TF8ݜ񫄇Z7-@~ e6vc} k?+MC|EԚh}r܊ӆAnGIۻ+uGZ@!?O=|f1r9m[M7=,T/:itj0v<< _Ag~g8>3<_kY $JmmΎ927\R99׶XE㯖Y6 3r|T;uOAai:mvAE[CɹDc !b!"nlKA&ir(`Ao Ywn` 3wN<8Y0X0aP6;xGG!15}i)LRP(ʐɡyYdԯ$X[O6/ gT,E8~M#ܟ9͐me8DJ/4>g $aEJ|}x w'nAS` 4j%3vBI@67q*LbpZI~ts}0嬀nj`+?Ԙy< *FY3o[_h9x1bc'=ݑ^2Ѥ.LhFmy邝 i8rmS6CG* ߇k̀<֠%ːs i^b8D 6.(KqhMdMyAl"Oa1{bXK|"["]T3 lk:ɮyv9ȏ6 icMa|wY(w1ei\p?[Kee/[n6J,tKCzuk)DEc\>agϳfM] 1XtI7|ʿbD:}d_xMx:(1l1]B97-IAS+w }2UkZ%{^Ktz9;gw$Z=6;݋o9z:H^i)* #5)6`^ȿ&+]S ]8|Nl uu)wjs:N>y> {U@(r/~ "V@&0U j> z;* W&:x\1W=fȜ*nX+ KzZ7u}[6 /2ERaƱ|Pw%ˮ] \;xpes!:+kxppޙE3|9 xx-E>njRtX+65`y4\gdVRN&_ e~eS]Æb |Y(!`Lg\7{ڍ1V@}tq$m][ 7C<, kؚ)c)t3Z&_aY QV|3}pH=/b[Z2*B7$/qY/a'K[[?] Mٌ"͛=J༸Ru2М:LHjIE:ezg&FD '\ ?|lv2EWK=T†zHW)ubO8Rfܭy)Ӻ@  4R1E7N`r &Gc9] ϯWQJ6Ǎp@`,[S,ti$)ގ݇1'dp?PW.~|00r"xGU;deb̵ع.CS$g*|t@^R 9wApM#Zd,(TaiʸH!X)[34)wbśYMN'v9B94B}<.OE#|1yaWYHKc_,>/;/Qd^4B> x^vKԢ]ͬ`Wp9i(}/F[[3u75!m5|;6W7ۈoxlëI#\S̠$ XY-3u1_r^rLdȵcVm-䈎a6Dc tvPpUڦl$lP]'H"uFJȷ_D7I2kbV1V^̭&.t|ޱ{Ͻ̜>_Hbf" r'yh6H+֏; Tf&YF:-9w.b/$5O~` r즕-e|/A_I&!B@׀EO*vX}+0)zw)iuX1E|<6Px+Pa߁Uhϓ6!d1O_G&s/au9 VجLIst@A]^ÆYah$Zk`+Oi|oy2x㶚@?wwhz|Uiv2pv¿5?( UWvHNl ;.,ܽe xwj4JbndgD^7iP9 ɟ"/n;{Jh=y>p6j4zp9Jva&TL!WlI*,>hqJF\A7&Ƕ]NO>VͲvwϸ34iznY J816V%]$ڬIsڎ[+|- Cw:#Ka¤O釯ȕźfxuV{vX)?.M2!{m}oݵ5b%-gKrSd[F)q+TX%~I.+tk?CQNUh?)H2Xi@E!,}A'UprMϾl$pc!`|)q$bk؀v&ڞhNHeS&B1kV8g P,ϼrPrW>BtXn1Z$ջB7[`A Q?-p<vl{E!N:'VFa҆Oxץ055T)F(Ti`&E'; .77e08'n@J,眆pcf3uҊiΰ,:&^3W$RJ]vd+/T 0'qp[zs1؀r] _,Cy:oyU8֓[zu^b2kbJ=s\Úg 5}iA%ON5I$y "MէN(DdV ^m%֨&8 SAlPE)ॸ܋MM>;'=d$~PEx)к~grscd!"L51ζ{]k{7N̩5wRi%oOHC 3wU.!ޅZF4߉㬱%׫{zNժ.ȫYtps(4㋺ ~܊Xj@gbC0^q0r{ :س.t Fjm1wLR9dI; *8,aCFLf-V_,WX$[]nTc@kDA*y@#v <Df޽lcU]ģk]ma~mp餒oRb $L`o۹^zޮCp4Tm -m'.+1EA1:ZɹarVK [~dG3gLO%_[/1,߻w OG)bܜw<]ȬFQd5rBܮijb:=̃W*ri9nh{dU1̍WD]m4H$i # iBԷe533w?%J3K0Gnzmc;g 1Fmhɭ rIbB,ߖ٧ev *9]ۜn%ǩ:3x(:*UJ]$F`X 9+w{{~xEY['/0n%gx(w2 (Kʌa}FMN(T5g'@3Z+Ԉp'5A 2e\3\" f%[BHIVh} ~Ej ;t C>߳e͛v1cC)>O' w\ƞ Qu1 rlPp%.%mY!M.fN}ӼONٮ8B,7MU#0s'Y:d+w#$?zY4:[MQ4%Rȯ3߷6׺ۄmsU\D@$@ɀS%e/b]I9BUEJbhU`Z+;bdΰ{֘3)΅iE}ӱ^ųײ=6wM-^k?,;^j[^;f Lʬz  L!3/ܧ3L )rϼ8G7tLd5BM`/!~|]zj`H]g |#tzΒxY1[ v( D?RLkGmtxXr/2,ScZF?:`P؃_*c7YHzdh.ʆ)rn3jqGxB1)!qNAG2(#m(LAurcp;. wy?'lTːeҙ v nMJo6`,5PœHl"OYxDSZ`AI*C8v SBR09v9q͙?jh0c *#櫋R|hC9+=RO:`fDFu Fj[ƭ6P( ѫ {·j|R\w+7xjJѿEB0+o#47\L[z=Ǐ:fO{AX 갪6($N Y:oVe ɨ:2p\wO{ڿ :G>װ<#~ېy U(粴|S/b-Ui?W#G'g*|NN9&z/Ծ Kܪ;Uȸ{es.5a9%69Mp*N.)5 q-t._fG|, \t3 3|VYVUkȏଟ;/*ZRl! UM,>T->WLB5dR>a6dLBЦ=i2>n+(͂BSw՞P2&h?~vihOFP2?+t6uO:3x@@]q(>ndl,Q]b<+)a:%†ܦkvoXY Y2>9r! ^)n玸pwFK Rc_B~؇۝jBڅwI)E1"/q/٬y* ;+9}? \z4T{Ml$sp ],ۋ;{_G}1V>~pUq|򧷷@ -OzyMC~ uP `ays߻?}\xj;o rC}4$> WC#$ *x=_Ƞ.ڋ5N C`0 e\w9%j9--*YhiJWX έq:i3j)%?C2mkܹ@8:R oD~L:cw!T r!3Ja\] $?wwS'{ȊՇ+ RM )+2@n7N4y<%,b5 ̘\}cVyCc9%y.l% 3p^c%F= m+|7 ɜ7ΞM~+-,pi AhkU @RA͋xe9?šU`K(A}S~I1- d\'5..׾NįWNxs*^=+JT+p`Jf T;g;J4fZUS:2pCjL5iLpR8mu x^WWf"5f= ̅]r +5HO௛2*Pj\͐ cdd^}vdS= `X4q̀N;FW|}]鐩?0%jy&o>,饘^+mB֘ufGOlC^e6x!ޔ܋|g0@&`X4lTslcIxN*%yRSAv v⧶D(_ִ>Dz(RaI)~K6NJU J;9dFZ^bg`qpq0nt!F)'[<,bj^rCS-ZhbO ##iۓNK+'֊a<2-T]Ɔ?Y-j0*1ר#w`>o{@H?D~`=X*KbAyc9;$|f0zԃ"12K'V#Gr{OlPp@'*YM olāSNy9'CJ.&>}Q&~׸LߣrGAsFiWJ3R''՘Z_ $( lønt[4JFNk"^,V*5:jAZ1؆&|0\:8({W*͖iCc?ڱgYZg텦9v㾸/$aYW[/_44:qX,FQ3eK/-95Ml!z9i Z6I0 e&# 9/hsZ^\v$""]S|smmP?qjw4|etbm]y\\ LfZC&h |]VѓUB}*h%N N/Ed'Ô[ Ge C }o,u`'$R>i R3]ÿ Nm(!kv(wvZ/@1QV_"ݵzc$CrC*{G K0OV] E 3(x쨞L)/-l ߈Wvz,}/7m8'jjr71ؒzч1?ѯ'a*9z36v\L@r_Û$YFTɱdsdPUm캋ޠ6jEa E ZlӸ<y4Ͱ)#.{^V!KcMQ/Ǯ͹%{ӞH$ 5=Di^BAQ\|K6,$U_md^8i]BUCu t֣}Iz.,nJ,9 eϏye?ʛUvtH,9]W3._$u#X8fnv"} (Vx[v8(BV_CxW} [Y9a|XZa/N+N\ǔP9V: 05<׵+"Ǩ)|1-s"tTɵPSxi^4kތ4 ( v$=TP%/1jEsxArE9  mNUR?/m͋',nT-dywlr#j7`$hffHyIת#pSXn;r C2' eU:?>܇ 1@+&<8k] Ϡ᥈q9Z>#}e"Lpm\phK <9Z339 99j,;.Gˣ56efK}XJ,u2~UM (=A]Ҫyse£#dQ^7\B~mP]Y3t` Ê4J-˅r)_nD `lQ#wPD6KܺB8ƕS8nV8qbrQ>rN>UQjmx?_6eMM5 X)WMygGC2`}Wqc)}ȸr4V$v/@=p=9Qz8;9;9@_߿cV Pw yxk+/M^6 ܂VPQ#&3Gw%fGͭFrV]?sMUdඟ$OܚDb1(U/+ELf00biºjJ/[U1T_YЉt˲ eK D{3Oƪ}{Xuq"X͙wN^+!8:M!KV5?hZ8F?%2Y"+.ߙhѯOo'n46_w vv{/e-;rqo0d..Z&6(m]w׷RYc}4c]8S۫  ¦PUØv-I_'\YSk+>r?[ .Ӗ"֚ }egm9ӓ9/ Y?p*mGz% Hf?Nw%KJ;`?gct>*>\jf]t/>V a(eE׸5r%  bJ8>"_ͫNR3hK+=Ҿ7hlĜW_p/ej="(W$*OWajrid#2?YfF+q/X~vjj+Uڸta!k1!"˼ (Y5>@CuJwޙ]zr,3U p˱Xc}E4-lM?9YsWF0 C`4c0,kx)S3Ҙjz(̙0e/^I; ؍-gq}.@n7 SK 482Gbs9in{#C*zFKg_01rH44o1;Yc)R\J0gK^\|>lklXmHfğzmTTus~+!0f=_%99ٿntnI<϶&c ҙ:o-_4|Ճsܼ33v`m ((DGYuC@f̯2D㾞i+3x+x7'|#y%&Rr*z?ڜz]2 !|}+2Q<\"q[%x4Gz9<>p\ -<XJj?+FEN׊ 4POᎢCpx"K׵9c~/ =~5K`Av>JR}qv-Z:NQiȥgdVql$CHeQ(]{ q?HVRV/1Bٻ3cr ۳IJӇrp0f+$3H#]<} t %M`S# m)i:;?`^H6Rpgb2v1|MmUT{r݋bk!1Jbm](vUh|l\FBh6a.Rg ܍'4g?z3ߜ-] 86ɌR9YPYif`sBУAW+Cli#0 q:VH1֯G[+&~1t~hk!pCwH 6iWV?0RY$0n51Eo&m ^5U&8 v.|];3YØLqCcI=ȥ"/"9 0-KbgYZ w6wo/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ܒj ^ڲik/oUM!f(4'!~鸘bC D_`]C!-Juk_GtVj'V:1Z|  P'īJ3˭|mEؚGXCuE)kH2|>jru'x_Go+gG:5il9[V:n?i~2UPagYZy/G# |HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup7zXZִF! <x]ˠ)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۰bJEcvER}GL5 .ڂ%40*ȸf(vFI};^ gR*n_J} G2֨`Th[z2':ُR+Y;5 jL)=̌2VЫ+A؎bRt Ts"V3y J=LU6'#pqFl:,Dr2hp)w*LQޥM.)S/QO1D*ۓ_?["z$B$f;REƦR?`XҼ%9:eAI\CtgzZBp7X/=4_;kӾh/ܥk,@@*e+x2' \6d2S3}Dn uH%$sGΎ!%o:.8p O5+nՐ9wsnt(6 vVbjFűh}k%~Dzo9 mOZrnȳGƪw+\CҦw7 i hE'U]:_=jyxCT"'Cͨxj|j]A4 :CbwhUȀ?Z@Օʷ2G-,}Go%"캟u^;4qL(멅a fe[S}C5pK`HdF5R+cmhgR@/KfmmDSBڹzȞnBzpk&cbeת ̔NWsI;{U,7z`}ыmSOQK)KEm ~Z+l0 x͌ 4mV|ue̸w6&.qi39f#E@AӁ̗um.ܜns=N5g*(@'*SM@b1hm%ˊ2oHm3`LH?q9xR~N?Ju@R,Tq^qMq w@l "+/{'Oefԝ1o؍PVLEe=x0 w>m5H'D,8E؍w6ϪXxlП`nIF$t@QC~M\Am!\Q Pi}N=$PY:Ã"wǴT?M61%.q/cO4;}^ta$/i`D؋E1zqku3Rv*yc9Zhf|\m\=]Rm?;"@W[;%`;@^.n 6]<Ҥg@fWvl6p>K1Lj~R9nAsAؽ $ ?9_‰0<jiDMcW`lvD!uo@Mw]\bq*@ } cxK)ئp,0S=;)[͗*nEo ܾqΤs1mP]D45.{!9bo!Ԫ_K&2rpB|CނP/7jD Qɩw{.~N#!: r17ѯ>0?~Ӎuհ6Ǭ8 §~C?D\~#VEhRDЫZ5 )fUbeK*0!k.{| 8nGhT?-~wSKUvu_H"{8uPz9nwMp<+-9ӠV5_gu]̊Ë軺:_AdK0M3IK|&+uzs{@@XdԈ ?|sXNSx9btw'Tx5~xU#yՁ|YDH![E>C}c D6<( o!CMjeX(bA±N7/3BF6keNDR^$m<)ԵgQ npN)l 3E[DQ끊)4 9ţ_DLպh׀Τ@ *Qn{ F$2@̷h;ݸo? + sÔ ATf_k}NBH,[Kx ߠ իeod$#ԗtb wlٙ 7! 8Szu횺NpA? fDnökh!Bw~/FZ与( ,a"o ـڇtFH~vkb =MZՠd$x3`#pWn3MwČ|jCj4+ea'#&r%\җ&adwhȘiv œ9r<Rrӽ}pauTوYkF< *|S鋢Jbb ~. bO员yBf`wD+Qwp~ R)s_F =u|otՙ<Kp*}I;O=tvW=֑) %]Ƀk#H7x(=dZ>Cr;LRg 5WG" þ86'Xkطo)"&#r֊:B3$07aD8ޝirV8e>lϳߡL.%B cr-Vk{8+LY0#oW5_Wqwi|m*`Upc @s0OJe̹]2;7oÏ>Z9,<Ģ9T^6]q[,#بt._"b'g.;`2A)}J H^!.{ q(_UCM CgWN}MYW ,I9NPZ9J @4!L1Tl-V`!hUc69q3ϺKQ."pp L5!^m(}%2e{>ˤKU~6Hs*}g4 #)P_UOc ˘P~eEfzU>HXٳhxkor*I)>" @DyrNEUbo)w+W-o8OsLL]QPpʬ M:EӅ0d{# @޼>~ bP Hnu^u,"%POYUz#*k¿h (b"`6 9'`Rl T4?uKQt8"関 gXɒ6C2&Ϥ ]j%n 01Xr*jcK,q5u 8\AD>K-J殮H&q*bׄ'Uz ;d9 ݕrHH b[vCEٸ_ΐ9hapvtCiW)jbQ|$ꘂ:Ynoxg-J/aD8u9OjT MQI&I{z֋p"umcH4Ʉ P:˱gYZ 'd'f /O# LHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! A]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS0i`-=.-yqNݬDecoz(ІIZ)Z¯Om|+eYYˉ,׮AN|6yW,9.n=xe},AgvZG.u]1)Яqtɯ΁cɞPݐ9 A7|6+`FJ3at RQp?yeI +}0n9qI%~zh׈eZ3Ar7u' PXk8w;WKG:̳Oa~ҹ4mw%?zq4kcsQj$&av)i$B0.^%U>OD^ mv.Y`Hχce9iM_^yjCrgK zQ L")ASXzV2f@.&ί6"mMu]?!o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220/O# $HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markup7zXZִF! BH ]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrq2rvZԊ-V/ {JH !o`7|oS߄쾬h:J"&JWeO3a]fp@HN٧K:0 3Gq/ro+/f׆-ß4p+IY7 ae7fI{T;gmPܘ4<+5oC-1$<GX!%=E3q> 5-Wڔ&xGĄҗۣ-;`] !w 9nX"v0֌YBi0 0~ шu6?e:f7U1_W03n@'Z1K֌dVuGg57&9R]un  *6;T΋#G!- }"L4 (C^-%Mq4'kS`9<{HT`lo ff9=D XFd^a%;Oɪ8zr/Sd Bc/g Zp61.uBE_ך{KsT_$԰32(LR@ԳLmMi}v qhCxA- w蟏4J/` X3*v:+1:Б~ j]phIO5?JWh!H"tvVD3vG1|Zə[&襔ha5:Iu~"_#&|~P# ٦5'6௜ڏmNQ(?HcpkB|AӮ"'\s!Uڽǥ[]F:~S!oؾ\PTu>QsGbmZPHK#٘2ܓ*5;ڷkщrMejX"Ő d8w$lzqUxBǩD>ÏNxtfÖ9og.X01dc><66H\l54x#H|fL t~֣+22eSxmnimi>QU X$)g\N 0$"GbeB@oӿebj!e(~@{x:g E -(B˄^Ih~F2`pr4Yjw}GP;(*vʝ'_[߶fGK.Uz/@;<mz0܅ MP;Z;yHG4Z5vV+,/`ᾤ߲ri1,VoPpGU)7m-l) n]!k(Nb8m(ڻj',yeN{b&sQ8Z7xOxn _ @~f9# df~ay;ǰwm%VoEfKIpa*PR<S6и#8qKO8)GF-B4|^k#;$<4fټ"L<%IHVrvu%_=6s 0yoV _fv0_5VwvЩq %blrW SlGzQ`. WK Ȑ%((vE .$JWįN?6şzz.eEc#<:!Z>St`DY}#uAmwVDxq!VI q$hb5 MI 2®eXpL:bKR$ uF> \jE~Mjއp9ML!ӛmXK&uPnԟB@ltYRpz8[g{_QVNӦٜB@@ۈe;W!T*3_TO\ ^CnYՋ r!ݮ` ^t--bzSI%W༸F;$c 9|[ṣxzBqk" C1EwCpYnhz"3oB\*(ۭ!A[~EpKO Q)02IMW7*4R &ʢ >NŏQ`u /h.q?>T⽱pnv;T fT ۠|OmN9F*,4CIz\ ~;Q QzTv34(jZ|Lo SlEEU O$49nMc83WX,=qABv[7f?hwP3 n_jHګbGkwZzJȯ/yy`W,y7YPW}Ȅ1#+ZC۞ Zug0;緝Dz4 $F#9+8(2k:8$H4f,ֺJwa09 9)ԖfW SXm kJ5` 7l4el ͭSQ ߶eo1ҭy) >]ųmt<W@,epa?,cWƍ7Gy(`p)\SiQ "*nJtŌ ,R6sЌ*+laRpk rNC-V/Q{V= pgGElXqi"gQO*p_^\QTOR&y- MZ>GQ6}pfJI01IBM^[H} (Tu%i⛷)k' D<2uC9QI毿QdrLWKK٧ xe#_RգJJ T nv"vaꒂ^ئw87,;n}@/NyReGZ3)\w8w昧f3<1{+#/ÛD@c@U%ʤ^٭WkWR~qEX"ͪIaf 9OV#6þ8y\ (s_ TYY ]6^3$[pl-x˄[I]^laZ6F{epv' &p^*HZe8h@MU7q# qu3&gC 7Z9SPau6ļayAi#?\6)n#z !ɨhu0…2.iۭpLKna XfB~T{.eh\sF C]>>U@cfv(y.s*vZpE|QB<6Efk:%CF6"x{3g&0TV;twvj+jy&dṖF~^fj> ANWaiF[S'&b wH(kD!7EwGμ#U=.52NPƋ[ㇰwd@魝wPr=ZX:|3{ y\&) JcI(<3Bmؑs,qKe"8#p&olf֜hX?+R{X<;gpVes00*y&lwJg{iǓBE6i͹zwO"U-vK8E+myL\}}ww4&mt*\Bquť]`[~v˞8` E#<T^\er2/s%nM $Faw{\?Y,k+?HC^RG%TdlKu<lYm96ȸ8Ѯ`$/ \Fp>!|:s.iY!?R<.ܶa>Z:?"+'Մ0$;{W`*(=3<ʙXC-1x/S /q'=D:Ր"Z>L >;C4%#PA+ M\D_&z[Pa>d"VOY.pIFU<ŕ\q>qSl,Q+J~y@ݸe\3֬w&lxB&ZtK hgFRrPUC.*Rı 85!SONx:3V`ekX:?=-U?t ՚Hd%Ǥ)fyHӢ`/E e` Oyˠ\AFQ$ gZ eazp䎴 N-[;{ 7Qj8}W[ٯ= Ÿ6P&I,tі}pYŹ ;=OdTr+ á۠~ϝIkryLzMGwm!x4Ö̦)+WD./HOElrR0~?KAM >-iBsh}bADu۽b %RASC6^LW>Cq$f5TLS4c#+Ίx\wYX LO毹էg0A&AuH%ٹU`#x\ՈCد>U#IO(!*7f螰4Yb O!"Dp{m (sbxO}OAؽX6uCkk?( `NRCz0=A܁8^OCET}-ff8Jy%I :̻Q #~fi>m꿙}JKeS H`']9]B#k>4]Tb8j&K*R0*^hIr8^,ץ\P't|?WT{.x\xh~/ ňfeFlCS5;XeMġgXcQu_FGGa ׼"'~9 ?Ꜽyl]}*"u,^N׾8S_L3 wBocڽUH'_éV LB$VA^y!]OI}ƥۀ}]ЮIA@ 5V&z2o>;=lY5Tͥ qtG߾6Osݨ 22)00G'PS@Ps$ ٶO FuSؿ0&4]:,PRݛ%7vI87{}9 s9.2~(GX+سFF_hZ@U`LҰjyc qdn w3zM\Y?a=KCԋ|'Vr0>>ox։li`wtw>!WB 4>߁G%s)[aP*j?Z.5?k\SF=#vh/s8. [!yNk$GOxh^UAG5JrШ> *1jA.g6QIO%+ؖ74A8S{g64BBg _;Žuqo4uqP&2n=YQl6jo +sAƌ']S>m/ȧE~d`bS0Z#11F>4TPtueTJ |υק^Ū}/-dd[7OQMoDítt|Qid-]&'2{F =>fB!^&_;%DQlWol'J?e Ao( cmFCCZ}=|Ҩ/zyPuZ2DqIFH Gk횅eߴuF@q$UۿkIG)?Șۋ{cę P tcy)s`$:IyB;ɧg~BvE 'NvR# 3ad/vD1O};U2f~pM)GK䉠N)6p O2$<рb``O3Gk{`B<5ʎb6/v5tp4Ϯe"\zՃQ7lfO[M4쁞Q3Bv-8V-5ۊcCwݿR D/:bХ2FJNkPmzdY*KP{udTb8^HBn 2:*yep+]4~Lp#68ޘ2%T!DJgAKڑ\t: ^!#kp؀o"Wh+Xz1eAQ(2ewo+o:X4`@9kD HY:$9O{[3r1n -+[nN:B-8=ߏly4OG6i^`K!֏N6 7/oHԻԝzٚQm ,PFPgij)nw' 0wmcEX^Ǵ4X?ă g~qr!*MZMGO`#3# %10y C҄himt}JHs9w _t`C5cb·eb| d~q[,q~1{:,&!\"&nt"ӟg.V93kr(ɚn s#_m]kDe|C yqYaTdxiI^۶^~ZΠnr껌mKA[Kǩ:°&6k!1:. ch4,,Ch֩ =Q]&ɇjdCwyє#$[\T~ßT-yr5ߴ9$7[?q8иp&[g'{tؐ))7MSPwݙV<<jCp2 -ኰd\ Ng{_/Yտ~I}DD˺G2lD[.L핷E?(_1vϪv泻i@&ǎV$Zkoiw8JΈqn~tV4ݷ*_Zў @z4stMmD̗,";`cyƸ:/@JsӰu-a;@%A= Cg|4ƉoO$c"k'jd50&tnfE'p2|:Te/WL_Rl  b?1a-LSYH#f,,X6ZKL|LH*/I1>u^P!.Ynѧ@J"d'ݩOӣz#1倭,upp+|gOwA'%t]K8%hP6;(r ۺ#h MLRFpGNP\OAw-XFTK= 5#ٜؽb:#ԭls]{X[<F{0 4M .=6E_D 1=/BZ;J5Ptv6xtCʬ+dE<_3IeP$9'5Sia\䅸 M;"qi 9%KX%+] }фLFdp TC8rI9ϥRQڃ@du7*u=ӝc! |?V}iSfBL$:3:p;4.YG@q7$%$q @CQ@F+(k"cM&4)VuĒE 8e?:1%XdecWIvV?}ë*߱9aW@'p^2Xv.e)rIgݻ4C+I`sosˍ5y0D%RX[u" f߭ҡkҝF~%3qx 6'6!͒ם48 f%e[W9Kc&yj@M_ӮPK P)esͣ*)5c͟+mJ6%$Ϗ6%EaIrͫ}xa@x{-!ed_$x!w14ෛS+iR~V ! ?sYCM'eZ n~u-zyysVV8Z-TQU?{ a-kq; x UyZl0q*o&d-+ʪrpo)/tnj$ e~i PᏵF)='Y! ~cN9CaY_s<xmi$m|<O A Vz .Mi} !U%OnbܥYtl?ËPLS6Mi-ĤuE@0I2(, -s5!URoG{B*VP^)=4⯅0Q]>#Ӧ!<kpq؋vpcNS629w\]RYRR8n \2Pe5\艜 W[}(orm I}@Û wHVXuij`7Pv.'p7-t8"_ǃpx@ KBzqOO+>/Cλ5/`u6E?6;bF)Qhe"|j˴$@TwU7Y&rQu쀌 DaI:|nI7eN'gާ DF"IEN7Ԓ\7aPc^_A ו9M9]ZҤW&{ojBMuռپXV\8%@dFd`M3?{ؙ-BQLQėuS4KcM,D ]A}';Yh|NL -s*QsVDQ [Cu )|ƂT%;V EpBj,>l$!ZHo=󝥳0#;wzP` -t]G붴x^m`܈@Sa x_ygnչ }@ZуJ!CSN7 ſ鿠< v 7Kjr1œoNxفN )e7u݁KQӽFbwh%̜LeSE~%+4(u7K`Ox*u3sȏSF%8$*~-8eͥ{Y*b4 u0.nYNDAyqa:e7%mgA hM}[g۰m^f~ז\XƳU; գ}{=sF%?в4׎Htm ACrDꄩ/6{Fp+~8]24N!%4+%i[0|ҝQr% KhPt^c5]!y6gvj#N S>,O>-$pRcPVW-PȹJO el9&e5m*ȕ]HeܯA@3bFM#:aFD s6Z־'2`L̏p`v5@+SSU((KRR~gz߮ HW<^Ҭ2S^NP⏚c" f/%xU >_zpV<8I,>z,ހ곿Νbjn06yNP.Iw%Vg mw]HWD(o~fg2'kbnsJm.\ZPJ2 6o v[QU>2$ C19>nBLik.!C^ddBS\ڭ?p eȴ5w| = 8M*a/! eK֢=- -Q~4"G;w";],Y],F캬nЧyMXp >xpb7ڸ +;ԯIз5#A>fuŀ;ɭޥX3EX #㿂 < ҮR%$]8N}>ѲxMdSO{oV芮MŲEN1rي'(%nҪdmUC?}wvo`<_j'вD_ FIf!%8MUt NQ qL3F' rrARX47?گ|oLs9I-.8'pLk/ _~L縯0Ae}XWN`\2qTgREinfHuJ@S |M'Yi/d ؇nOzNuԗں`ʅ1]V/)x~n"@W$2+_Oݹk#uĪ?,"V6̹7nm*s-vOj6rtPbCBM+sF*ݚm^j&=`ZL9 LJᶤ+di2H{y8D+viD7.wbK2aE0>WZg',fNlZ00x*rnP/ - r7 Q]|UEP3&vd1 9rVn,Sx.O:AKU -5!\3)ۺX~ܧb㩽.VF.)@D4%R߶{a*DGS.fHxv!;O24q4)Ϩ WMD"B 5.?8rl R5.R/Im,ͷȯX'^{VS+ꎫ\99q a&L˝i]2@X(iͼ+}%N{$h=@D{*~pN幽6>%%]}2v,z-QAO]0=_%o1d|: 2;i;ZT(F^Ac`Ȍ- vZ;G_X;,Ϝ}ki,F7#30#9T,M#ۿ ŌW2{ @ċ7_|3BP+L0.hx~Z Is!2@FJTROtt}-%&RN7)XJ?+6ܲ{| #gÖkPk¸r)jLc )PT)wNt,+Ju/2g9[:-|r?"t &pA@W^m;7C- =7x4xCuO[dX.t%1 La}Aק62v sXedk?jHB%[ט%M 襞NurдL.tc3oe2I]SY.(7Nf3 D Û Q^5s#F4}KDnW!| l$ExgkbYpuY@fc/$K3~!-!recP@?fN ay;?Jg llg7TkƧd4(1 Vk)yk)˧b6GгFh.vckՂWe4 cғg_(@-*IrIUCκl xӨ3!Ըye,9El+ptpKl;XF5>P_v]<)2@ Е1Aω^ΨX_ ."@q=A4VgsEmBr HT_|V9 _v#(UFCHEv8 x.2fBX-u3;-hT*­aDs`dJ-jn@%.O@-IK繃սq,%䈻Ft&防=D XB>X_}s1c;:p}h&mw$iB<$׻128% e?re/]9BږqS3! oOP7R=a6D\k9)6\GiW] ǝnˆ_yWb;2}-%.ҽ#+l Ɛj>X q7PZfX"_ЎX Ʀs4*6,y1:!OA}:)kg]$R:4qaiDҽKc,svR^\[ #ހ v82  zJR8/IRH{gA|fЋ;짴ٞ$~Zwɂjz 9ҷ/$FR):sPK* \-XR\ S~DyܰEgYXtlmAc'**~jŸjFYX#&=L)uǟ>5/8\h}сѢ'HG Y;aEƉj l*KhQ$`J7qyEUǠ{$p`DŽң% N%~NS%i">kB.f+qJ 4aK[gWdh\}T}ysy͛EjdC!r緉dl^`3WDg$=Y[ X P|t?Ǽcl<,Zr i:.?ı* ga9;Ӿ)͝:_P&:2M2B2fgpk#rB~ f߰Q/.*΀b!Gn T3+EwκQD@[Gu)Gu p)q/Yma%mM%,wCZw<\yK.e}.ڤ:gq ohDn֊J:J@[ǔ--?kiXԼEQ8b`s8ISnUWs87!R63Bwtcx Ru6aWq #?.7+ፑ]&9qFK""Gp&zƷޑ`fC @7IFZ?j=ˮxؐYE/JE&ę:LcY'i  PK.E`P7{ſIG Iݽ|zD'֍D'ѯ}FB6a]~| \3[m[Ye D.MtI y7Z]oD]z]=;gO>#ȿY fc/f^mt|Sqj@3ӱVs?RPo/.9NQH5Qk8_*252"Ok GUK!ѽtт0kv_2*wx)D\eh2@!xeJ(Ֆu7I L6yךhe Q-T+RɖC ܘUM yݻg<epV0|&'б,O,rq6-gYZ'!Ϙ7Lv鼈0df 1\E✔Rְw$ 9\7XaLǮ/ҏdz9xv.@FcGxFF1:_s`axd%X^(M#7t q3vO)JP } >'OmR#~`W; //W+aHREYh~-H} OY&,*rrUv 38ms4|q- !!?R=&:NP1Մhvf}s:P]/o<_ R[>\<ȵy5f=nwŶo/J(n9q BG <ׂf|1HWF]/҄z-U6K^PN8 *УsܲBnMR V7#|r *i/`er+˵ta.dۈAu{݌ht%,N!Y^A!=؅ O}" vI5܁ِ2`uUh^C.G ;oQUCM/R&8#/(l |5V8 RQa%Gd]y!!'ATDq&<9# |6~8k7لAOlgDt0t]vLBS**y1Ȝ0l{n@6_gԝp($?o$lCzS؏ݿ`aFdPtp@4*wmTVǨoJms]_:jigu>4$m=˪ᓿD=Q=Kؽ8:z;?M´s.`3nu] ghGt5|H N٧ϣXnQ/A%xp3[x\ ڄ 9J4i 4}ԗ/S@N 1%É˯. QTWsǖv xּ` '-Bbw)*:EK;*ȕ^gDxS.L'DQf]d[gq几S.=Rbgec!-JI| J)Ne8h "Zn4U?eE=d7R&u/s0us%gNrT*qyfvUҢV(x0 @v=<0hW㕝ȷ3^9SNhK-AB%e͸TYXxP֗cd$^:uxwݨԦ.db xUYc~"5@ギu3b5_~N0}f>qUެo4~ ;ѻj ZZ4=3+8b)oY2"B(N #ZWX4BG* rߪy|@C;l|<_X50z'"/n?r=~Q_͌z~rv n쭯=?g,cAᄙk2KC4 ?[:P.[2wcp/-1Y,b m=i<')ܛ^Pw=Q;UȭO`V0,-^*oRְHEjr-hUg;k1f|ؒLG^[Mvw}l<(ߪNɐEc&1\a.Ί K>6M( X&BxMM(’ k[kߊ;WP\6(A~E]nXeήT/wj ?zՈsM 8ЎP撴vLIj=NhAQݨ,meiQ;xU47٫ ѝ ܝ%~mbx1h4H^T/Z,Ey +pM~->:.h]GXu`4i6ȶL(\J|}b2/RV>\s ,t"ҭz&sOxR|i,ř:-ߣuEe'L"ۯjx l+8U-##{АM1B+W,iz9-7V@pDS؜AHrXwfJ_]bWpwð_M.,|J@'toh .~|Rv#bR(̉HwS=)28-qqAqpOx 6 xD<3Oc@ՑҎ4\.\+5c]NXg?DK6%w@qdJ7ĸcR=)ېH 1hIy*g P*qXg+ʅ'(9)bk{*h *jli=-qK3 5dd >uZAvE:} E,CѢۼUMR<h_jCds_# _JP@5* $ݦ1'EL\ڞ:T@xb}7xD&H)lt+u Zx(}F+X\ N#Ɠ :A#xyE` !(= fLF2e`R:ړлۯ+[DO5QOl,82!3/-gJw>i:EgPȚ4f9~0Ø quEXS_h'ZKA5<a1tf z]@y "y﬏ 94$ ^!9*UnSX Sl!=RJܔC& Ѵ5]KӰZM-WV~^ft%n?9,7-!LDMFEP}Qa$c~A\ 9W)*JZpuZJVN.7ElVoeTrkTgf/G znp. ִ[TlQ?']uCmAcΣ,4$ DpڤxfvU8  qW GA S"$KWv3J# ;! sn^,2N+͏n&T71b]t-멱iiήM~'SZMI`uj XCWo 5 72[p.WwS-x%6SH8g.LT\ʽ;3\gHQtp4'2T\$GL**$7m+enqh÷}.L aߒB1"Ȇ?3hf9,]ӌ>VYdZ+`(rI7ɑ,,1-U@wpQ2?Nk)Dv̚dRWK[װ?Gq%PILok5[qdW5Wb;5+,GoG`6ЎFrT΄߳,)ȁT kA<z [aT_Z U\ yvCJAޮF!Jt#pĮ]2d74 H n@R6JVT)Y e nyqgGrtr9s4Ot󞥗%3)^)8+]al I@욘s$m|5&.# (J#we[2GF-[Btܮf4ݰL(vKU\?[v΋o @:@Yb5#4Ig[pH'`j:}гE?Q!K 4e|)! 9 ~1a9 |<ƭMc@PQ+0lDG !rzf f|dFz&~ ;vjL#Z>Y!Ɩ,Af ^0TGS׭|+_\}KD 't<^ "I~zVp\Q'|J⳸1W}z0^WRRwN,1 @H+ 9k|b$[^d25}Jݗ5Q@CW,xr H;2Hws0pDrC!51i:4:&j[Էqj2|?a̕Tp8[7kFj-f STw N}8H|ӵI(Sx EZy8̗HZ07YHY’{]TGԷV0ٚt`Q5Cu '+h4p 7ފ{˂o{ Geq[Q(k6RbҳeFIf>,Ud,Zd=U][?u(>-.~Vth:ϻb PwMbKMq5kn=ǏP R=>xBuٕ-)Ďbar%)EL7.D^^ͣ]K 1>ql )Q<* x:iHywi.N i)5ו;BBZ- V2)cwwT- MkQ[wo5pwŔ%?Ӑc=ފr}+(r j)7|MZ*5j<=4r]:@#A+㞉=WHt]'Ev0DTN> .o;4x|iC sf= 8Mt^"m"V;=rs>[G]v8s@Y]孆fzQGqJ:haM[,E;@6Uo9:&?9 dF,]zlw 1 = |!e,~2E}Hi(RE;_ J}" |%hP]<7 m&M Y 8',ss$.0a䟄Hy wAs+03ȼ#b|*.OSib C/yd(+2#͢{'t*("bFD{ɻv0n%-zKE(;%k[y[IȿąE  DVo؏ L<V-@Tap9qq->M\GxI] 0xNH Ef .oc N/N,JncNS.5W۩CC|?Pq'Cc, %ؚz;"ӌ}9z1iaI[~?Zf b .y5jMuim4'c _&1HZ [sz:lkDw$hiɪس1--[fŮW;R&A{1eF^^2$^n.H2 @eGwDQ_u~;[2Ǟ[&m+Z8÷n闎z-8/tTiG@^J^/ofSs-N)Gk!PO؆DN@C!6KaVR貾? kDof1do> s_8 G2hhR6u=A> 6(cؠ&bK{X-գٺ@?}BΎ_?1@Ly6n)W ]i߱ʁC!Dsm z>Ѣ'2ܮKoܑaC1ܙ ` : |#{K'1s}c DgzBBm.XQRs#WXZ0%Pgru<|W NdDם5 b̎A 4{(UHx9 sP"=K$FpU>sw 3[hڿKDgU:*XUӷ_.kR0M,uw{#kVжGN ֝xGOcb2"L{Z' "$:;48=)a~IQ{T' ǥذrRI 8 #-UBV XvPQ\e7/h.F ]Rej&թx4ȍ ]th]/̤κ+pY)u $;I\/"&Yq0!^?2փʙOlZ!m4eOa~3.?2?tB3uKTt[IF#pl52) Z,>v%r7<8Xrl1neH~e%x02zOVij4?c}u+ Gu1TSݍc{TuݎW#̼KAmu# 5#e#G[ֳ،yXJYCf_u @TA̩LjӢ?$h!\XI@Z0 OrNv wf @x5tH 顼?9 _([].B"5&.(=4 [U kO>FgpOs݃嵷kIP'f24c$Hf2o' Zb5tD۱Κܨr1H*k7&!#w@r98HLЉ]?5Ӛ*})c1勓(H HS"v|׎+…r4V wbFl!ùxXB2Fi5{ v82 δkrCZO2H"uʀw5fK34#gEh1Kc8S<:JK ^De nJcPmz:W'yuOdf*^@VVB9;0,51HV؇6^00MM&7 :/Dž]t'mT)ѥj8קw<1s}=i2!S/3T }]( l|BŇN\@x-m9q-][Z o6^Hjk nOiJSd!W_-x]97%2]]| ;a")5XP,w&phDƘW76!SB`DQA[r')%mJD*hZwk8yKvqM 3Pah#kk=lv[s _huŤjavv|@K\Ut݊!uP/p۾eo|D6`4 evEUݎ_bUTmec9 #?.7OÜO).zD-oT KEl0Uv]Rܻֈ }t]u[괎 ىMɳ'Ïf.SVH4;_nٔP =ޢxqO̖^*m)li"لۍPX$37u%4dpq|br>۷ED &ԔT#|8e )V 7fM t. tsVSN|#k}1#z籲!xB@)2]_GHZB^6bt4wNjAѼ?Z̞]; ;8+x=jRaYu[+V!.m^vq.=hzXD&B!K "f,,U JUJmzHjt9=o:R ȏwl5 uT; zàྛ8OHo0 oJ/].ED$ NaZgzmq.p^r!-DDb.^ok)q}='ѳtglF?M&e $xͧ5SNa;A+>SGd@N@er(Y эPTi/iA 6?dfcBTgXո\']Dpg4&t"V7*TQ-pEZٻH(bHnm<2nF'S|[_Imo|#[[0`si.hXsLT@|ܮ $N0 1c@1%5R [v?/jS푫,iAkACnmO~ {v +2NUHćHN)xRu5BRtxK˹1i{T{' ?&R ߐ\oDDlY٬ $W@09nrBssZS`N=* tt$,R#\;7 Z=J-U,?M*uC. vG?PӵF'i(u˃V%6hű1l I )CH)٬aqm169<]r1IHgڄx'D&_ o&XyO_(Uc5KjXr((6wvUڱ~+u;r)~?SYw\76"19/,-}ʯ_AW.$@ufɋLӂ7x7lƓlc"?=&QxypBiz-eE GjT^{ rDT ;1x!{)@ /B6m |Y7;5Vd^U"G7 rBOaӿpaIQH{q1Saa*,0)XvVaJ6x"/NKA#f^Fyx'($sV7I7e|ubw?~UJLӝˢΈ絸9QlT=xJI`gYh -Ћi^5bHD}w"'%*kʧc);;Z}:?^r XOW|DlnϴR.''R\* u}>65-uQx!3G|0c$#*E:?x.o|ĸdKHv`8az(6j8Ű]/q xdB =UVbśJrcc񦉞d}`XA(y/(ɑ$Fv9qhr$ּ̩GQyy_*g:VW]H$)8=K^I9Ɍ-%/Փr2K̍Y(ַyUjuYUWYPHxBhGf4]P1M_[N\J +t6+KmyFW(U1b{ Vy,Kϋ"Jsمlb-wf<{P4H#n C B.H( c|HItPH+l2k{;v[hq9¤VPI8;v-lA L$DndJ4J&_*!350+ߞEw>+ /.墇H7D iGC#/qf@Q pHTv>L5vey^  &$ЉO/"!)B#0M4T F@=e{;hqa%E`{*ܵQEk,|!!K.G]"}R"+nxސm {ǿŽ.aTӭ 9) $.glOL{6 ;NÍ>_`BB>)W8Q3`XkV24j>.'>%(!*;wc@hG]lacoe^ T{y. ӸM=ԟqӅ[JWwJ*h";gVm}lj'3|I52"i.MɕG)"@rIvv8<8A2/m z<#J|v~9&) v[6 ZRtJ7cvu#G#hbYx7)g Y/lh Q)!E$mJِtEpR#zկgKCL=<xp; C x gR#%qS Céu=ȻP&Ep3&xM%(!`,UZ!`! ^)n?jQo&ooWQVJ29 |Gɦ3^ICWbc#{7LrV|EHt nai7t1Z2NXQ$3ͧY8N`hx]_>O7Ky坂Q9ҫ%Yat($,QUڷ1n'vd}=rPޗ* X]Vs{=7:k̄k ~zExR+W@~Mo=va?!hbϧź*4ş~'(*aiXLwugd>":rks $ԭ=CYC|.^Т[Jc&iP7Gƙh: <R2f/N(bl*"]pדUxk> or%Ɍ"*h$Ã2ka) Qf#jt:щe 7?Y!$;㣥 ӧN˞J,@7_Q0+T]ȇ̹5C n 9n}Б+'ʗ=6\OLu(,Ѱj (ɟ/55ϙf@XYewH<_7QvrJ#z}ZAm!euЀQ+M}P@ ʊoTH=|:[Uc?PWhdgt{1?G7EY\\x7G:R̉mP!gXrM<*LM8OYQ`ү!/p4<Rb ye<23#0ybQȥ#WrLC;FłoAL UonsvRG‘VGM72o a]ϑZN%$l:(Xɇp^C,-{ 9TP\69Pqʋt]mu ȫD})ʪ3F \8Ӧ% ^(נ$ >ݑ>BXsQ?g&d"H x{DTb*C kf&@6i.#6:T&ºYQz d3*=uG@r)W><8?48qW\XmZTPxB(g?:zV2+Xܿh`=Jz!x-^FWfż/(qPH,A3|PfY${w/Koa3tO)nCjY=ixGPdmM+#ΧW=H{+>ɸ >ڍ/"!x~2 a6~Nd$6rl=K>)"!6MɫH3zW~ig犂 )!嬇ۛh]V!3.#=C1>_q'rPr` *xr*"3XMVlB8~ J2Vcl#h #Rz/L(Ә4;8-ܙ+-){62Ȇ]Jh2?P̏~7权o]p+@cLs0i p崵e+g^*qxjL`D*@}+9C49'Ez̦`2N7K )"j~v>/- %,)u $0Κ,D*D8dEAIY|\9EkDa ,wY/\>?aC[x|OٶFtR:Pv['pNDWa">,hS&t(G"~ PEYF7^%r ~~"|(Z FPZ4Li Z;8thgKy4P[ yJm;|yub|+vRLgh3FCށBAQ\~ !? ]/:Lk$iIL6p1%6Q*o?fUN~24tƩE幒V5yfOC]곟hM We/vya.XqgjV:1x;C1&C?"0ʻBl Rt9f`|"ZXVVk$5#~nmEI@*\vWC8 'A_/".)a$B(E eȤ=>1ߟi#VHeyz:l.}zux$1N\-X$b Th@iԲT"+Ɣn>/eВd6% 4682Wrhq.^GGȖw%4m0F 5N 6"]?$2D@t7tQn=\H4a3NooZ; ˵Iv%y+wRU"3Һ1k2I<6\e.ꏗ`j.:Pb9K)l4uLۂs5xQ3|keh[OuDH׶P}+WCH)@8PR6,v}ΫU!Էmg &{[^aDN7:!HĜSoOj|KvXSr!+~ }0aҗEqAYNӕSѹN}YoM2;M#mv0ަPM]fL{)4d [~~Dj˚X$+=%6ģ+@þ %suAȆ)+~j$Y| 7A] K;x Lw%Ț-<1cdž5r'wDa_:=mLX@}us4yB}LCQxKN%H*"U܏Zi3{hĉ =JdPGw?tg_ɱ^8!C┱U+_PIs;j0,:*`޽ȜqSQsF("jV|gl4!uas7C& wzޅR*cB_ݶm67/8#` ˁ&DQe}C=ɶׯJlZұ鑆Ɨ'ߐ$|-'y#ɡ 5+`N&'7e8n}9ŃOل֧GVF.t<ѵs5[c9hmpd;_]҆@A,zϜ0F`3Tx ׌[IU}G/]Hyzf̣&z{UԄ T3}>)!& $sbf8c骵sM7֫Aޥ>Ÿן-CK۪J=|ٿ8=Λ$X? ӕ2V5eu mLl/ؐ۬JNBOgC`t2i Z~Y:?iR!5{V-s87KN ~,/GSkF/B;6E5X#SRsoIOHȂOh1y-O{*.`M0Y@nt*jcr# (hffyV/NfܯrXHX0̆,^‰7cCBz:@璐D|#IŏÎ%/+ķhakgv?Ֆ׊~cnòWbp7`6`{@xLtp+܏r":?bCMeIODr0 s7zI:?ʜ+hj^% V: PPPlxkvިt!poz%ߜO?%b0QڞDȮT#p VJf AQt )>$Rt΀u|&}=T,<(=<ҼT+^=n},ɾ?.MZ 7XGߚ!G7>~xjbC(=SEvן‡(aƒGz?pvH%L:'t#6 $ 8Zs,Pݳ&Wh&߅9^3U24[dhx !(F.h:|CuZg#M 6G]ch΁T e(:6-u]v0XxbY5L1ZCtǨVle,ܞA w_jbO]qM;Lg.0%D.)Ԇw^K@zV~.0Mx=s=<ߗxZ #VeQNy}IؿW )~n#xE@ư-}{ߌ.UPG"-:A FCY(mYm*8#~MÑ{~ )6n9^ly0^ HG.ο6z_[hzEr=CU&EF@vc,S$Ǡo6tUfa|^( *Gô70SwB7KI,p;y-U!~aoi| KRW6.{?DR|Ɯ-G&Y5MA||&#kg ͯnUZi.A Dx1ŷnww& H2c`ý 7c}8{mGկbUq3p|XNENIɏwڮt|ғW(Dd#[c&c|i"1X  lౣb(}4%WgHXiZeL_,٩L{:*1r7>ɉ%Թ_X$gҦ1m #:Y.I(M?j1P'Mu"! O>|y: %eUsc uUJlW!hl6R QA8?ED}X.J+8! C/)G d?ܿ8]d+iH-qg7Ζ9 jA=Zp'>?PU>fg;Mt?[>vޘ|xaVǞw #nlo۶RuعPn Aֵf?Y7mf!< qe~19b\ Exq3w p 'Vt^G!&qN^t-C7(jX\оt>^V֠LW|UF@xf URf~|)F~:Nrj  E5Ģ/hF ;q>;}u %N4Ka4B_BrОY6ˍ̽17bDh=W+6@iDRcE~.fQR=ٜzOe1b/]wG"5:1F#M47E%9],Y^iӓSI~Ӈk3~upeOz.pm1 {?Wktkv{$1caT30E<)tO㕬6-e- Tw5[DgfBɖyᜫchA3)szlqGؖ#`v0@`ڎW4EUgUX 3d#$aV}MJ% ?t(4iE^$g<悱}O̴']bde;%'5b|5s\H0mnc~(ПW&eȯE5PaIIC~`!PQ*L$:LMԿrVws$[UBy-a*Y^$ f? t܄A?&*.c-jmN~ jg1yz-#bNHZPפ= ё)bhaKi8Z+&:1 w@K̔푏+;R9h:0 /LZ'n09Wt0bRif-WAm׃69D͍Yafu3A*-^;V Ϯ ۣ&5hp1cQF8Q$ 46!S%IWd Ff'FL(Cg6Fb0՛*vsFHkSp<./}%9k`n9w\/{]XLopjm4}zfDlqth4:-KIm .\q\,GQ` \%hg>cjQ ĭh HhCs\S Z_YxllYWgGMk{dq۹}'ƺD}ƞwFX:1 )uJ]+` ^ ř辽قp_?-9Vǒm.57 A⩖# d/ (ORchB9$W_Oq&Ar wSsp~c|-Cb/uL X@j0`^wB!IS!E?B)f8[ޚ#n`etJ7ӾVo֞op8zWsOh N=r@7b{mN@_"`A1#T>5_qV ts.p 4sB.Ep)pi:~L]n1*0ЇC'O,{\>+-YoZ3縵W9W+HP ACO`%~hpA&%mc=֕:2P5_!A#A:jD"$%HQN4Kg ?!6C>,v)vzB1yٴ{9zH`fZy䘬8pj hs|’`u;%@b^I1϶E }_)ejNF-?'?!ORؽ}rM zJHeqN@y3kf0RQa F5[e螆,x+p.9c lIB {f@Yܖ(=0XcUjXQ-7ך}|-Cl;C4f.|Dc$&Uf>$;L00/G5exhqE">Љdu<))y%*dMxepь} kFH]OLc9;"J6 xbdաܳ مkj܎[T=g.=kaٔ=^jՁn5ҩiF[ajweן  5WFu0Pn/* xuf4bYYM)D V5;%!`Rg /xd1سa nC_jcMgꁢ$[o8 꾠"J"v]0~Joϣߜo2y,hg|*9?OQ Cou͊dy2?#MM^QS50AU1r$VMJ]ɪ6CW(\ܹ{8K&(Jz!^ JD(Ml9FZ532[Uls Sd#_ao]5 O~V2}A-XW~M+Ll21896|?-Xɞo 5v4Rg[LukanO>yM\$3G3kڈMRɭr K*48/^tx,3)2nHv5s#$x_P4|s]a`AlA WkO)`ɉepNkJ^±M-Ȇ ,]}lzmģU\.Hm]6kO3Q~ χ(K$tL-Xf/D; [ +oJFY;M%ll/$d ,S(ҥRmB+̺o=x(Y7L hSL/T=x=lZ@P2moϘ[N2e)ciGgT`h^>#W&? g \KjxR|TF-v!'@,JAd:t3[ |3!f~%_5tPF`jk[͵(#?Pj|^P [+bm> tqJ}ɲX c%LLD{YeL˟vl,JT74赹-/7HE)ebTڗOH嗜/y$}m;"]JmAzݏj˃שҾ p7?͠XuvkjpBo8Qgh~v~9a:EM@+YzVzWDלK(b2 `! '{ڭKaıgYZ W]Wa%/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' LHOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$bMt oAmm1iL'"&<=]Rp`Exo\M3eU*jo1T ?k0u%\uC3 I KhZ4 _VZKh^/o-*W# 4@5⥛:WD%DmYh;X{, VXqs]}CjnD[qǴp?VAjc%2 '!)y08wȥQ-^ȚDC~EtBJٸ.e;5>= bě͸`0U`z;POD26$x"by ^*~{ZpSKo걓%HMSA?5S.81b;\Aqr{!J""Fzl?nH=M>Ti ɡɘ᪒tze[7'o<0'-i7"[xJ?wG?Zm`Kv0O#S 2A'Pw[X||qzZī6Q6ʩ2V-/7e^RLpYK PQH\ݲ N)ok(e忑{kGbQIFUZs.^ht? y )s|w.o[llxbEor5 a}V~ba3/Ǥqoh)'S Mݐ)Z*vVt+))J7AgMl#dw0VYxe`/?o7tlk>ds8;X?%#:J tGx.֋'\ /]w:Nw*=="ѪGg%lߒ[d/]>yq|ܠN]MA6 <`06O%yiw6p kqpU,A*>1BhPѝb$eaqRw8 z3{1zWU ZPm"'S˯mD=Mq_ekDAմźF# HR[1m8uЙFNn| T65ԽV^sJz5G[\<+6\`uW;dQl%eN U$mwGm&~Pn$`۴Uo+1'Bؽ SQcˣ薏->ar ;HaJ0,le^%(3qgoohzNmƖ`]:8.ĺ* AY&<ExO6U܅:y}zv!_1;E+RTbg"d@7xLɳ't v}p'f] #t~R(8#n^b>R Ef0r5Qկn:-D/[xNi!&COk\x\B>+%xk)QҮxRKrY,(Y^54Pꠢ3at4}МП_:=S8م oʃ$ZiilU\pYg-W4X~J"ZulSjc8ܴ,4  t{# TfԜVżJd;[Ea?*%l˙Ԩ7R,99wd(k֠uO}82ۜ485Cm_e+c`'[v^h\J 22bgYZU5`:ښU?Nz@bbTReWH:Y-'p\ZiG -8Qʂp}7X!SGLL( D/ il wLWj*Nؐi3:d)Fs}ӀV!ᖣ M Jx G!UjF4QgzגRn+mtH-K\b#k-s>`EP[`R`\_{o0-Ĺ#냾4$'/g4 }1mInBǮ]#R6Vru<)'FDn18t]K! E`!KH<~_iuZLҴY!>qS֠Q!vd5g5u2 +:X[P_SS+aF!~7`FȃMTε?(G` ;#' uYN8 O٬%M!l5r8LAKe胘vv_Oh{%Y6d:k%epO&Dy::KK.FZhu5Bll+{k>n=t k.BP, {h-/= |ZO^}UDG%ꂖq @tk8~ lv48ت!˶ 1~e^( 5{?,+yPl.k]B?.}b  ΍vLMOn~v Q חkYOc4O1B^\@RprDB+8A>"\VNMy2x5f {cl+Th[7dvǼ6U$s[XGв熣6Ă{*d:5"h6lIh'Z]"aj|;V_4J8$}M3KWD˝K(Na=.vgȊ}~Fv{:;#Np)Q\<_BblK<@HE,,oCdǷ|Rk2m :&$@Ab;,eƇ' FK1)vcG[{&Ѣ`aot3'Jb7iCbKaZ4n# ݊jHfh!b +tkFC"am'ަFP8"> iV(2|,'jg},Ex L\kNhS}aԙv/I{3SYX?o1y$<&wW:BÕ#cZ; âAUL2A[@F5V5:\q1_R,^BL%!|4p:q(B`'<{3TNq3=AhZNزsj*SרYJl}=J Y>Ľϧ-a_" iN-ng4kadAջ{ĖLL E#rR:=7+6Y(I;";$1嘆HA|)czI=KVn!"7\ WX)-㝅Q~J T}K+xZhmw Io h ׍ȴ 9c>un_ l}KV -KXPYh#$_aۨAN?D5* Y2;_ :*3Yim xnĎ B*}l6"R(9=yc0Ulgy<PU TSS+yiӦ Q3#QUrssbfC:I^zzP]ܓjtaq?юD@ [\1G2PI-<Ɨ-\nC_C/$Zކc]\A(zz]VAN9ˏ,ơ$YA, |A3hrИ&Bɟ%`&-SZP"+?漯9ڴdH3;TE5Mb EEEB@ίAjc6u*eHpnum}BU ?/<\j7嬕FvbhV_KɣkVR_=q2 }LWɦIJq^i F8J2@1ܣ;r23%6yׂEMc˪Mv*:1hxd'DágYZ  39],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208o*/C# lHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u;m]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3g_10f҈zh̑I/c>)6*xW{u~gH3#l(cufajcB}p Ax&Q&.&3ꙥ0Q' ^xZ[RL* j;kL=g|C9? &-ٞ 1`p @} g*sZh2=ctKY>YY##L[ ;n); VK}!xϊ3Qj,gj#iaTa kPne9=}|2@R:})QZ42egQPR.5³tZs4S\@NrloE_N cH(La2h ͸{`GLaHZIWGcj+rv2O*$?,vss$Wp@bgQ%>s6 lJnﲠiPla^ >V#㤋@b@GaFoj(uWe-^)|H_~1c˺|M+yIQD'OȖTh$jkJ =T4# n (Ò\23.ślBhONq覗V0"G^c_}?RoLe ?b_F2_FvOs-GgҊ-⦷RеME2Х2aNu=J+Åӕ#H@! b)4/+ڇDl@T؟8;peV"hw>$g ]ڜШ 1eʇNV`Վ.f|AeLR |2 8^f=ơ /`.iKIXrsj|G96-FV1=M>ʞt"m0LVS)4jOt,4E1p- ZU tb!UqڰS'XucAx;cNjdZI+)&R{g>;>& ҷoA*M J;vQcϝdz(~8*m0sK=+yYOuJlDL0Ou ۚt0HM} %`7~Ü=YZ5/ (Y6$ bm ai~v~\Q]ݍC#iQ Ԃh.B8J:L} VL㨓S4vϸGj~FsIJ+y+\ټ4:Y}v Aq$;wv, ȭ}sE'J&Ym.Vӊδkj%U7Φ"ʣjeT]kې5%i4}yR y[)DnQj%'7V=| bQQ}*Jn|W&eGfюR'S@v=vӚM¯X}M]HL`FOY>3jr_rӯNбf0A0)D?š[T03U(vBĐeR.}^vx?U4&/ )]*|aN$bħ >x1⢸Q~QY ]Ci#~ f4!bҘd?W<]<=) gዧeQQ$ΑDlgaEƺN@Ù ho* ӊޞl: GJ>rfr3w +hn6-0 3>@Gta<5Hس[ xR8Mqy4-~mE䗻?Ec+,h&şt 2 KSag&'֨[[V0CnXܑ7u14C!PXtWʕ[R_#/Ov󦓃wO5#3^D `54M~›,Os?R;^\q'}̧țÕxpm-E+7mpzԝi{ݴv#qVCҨ7%}YoSZrQB1=\2wrRYN^CPau BdR38m:.PAI_P Q/ə@}!~O+uĉ'uya Z[A(17~͏h%H7?wݿ=yT2^0P*Rr>h`On|v9 Ѓ<+KYָ1FUq3ֿw|٬ LO<^v5#řdOFt"K+ky0?!~/͢E1r`ͨ6@a["Wr&&<4|#8!+}DE;Bm6z.{1vsW'q e+ "04E2|vxlQa:!!~JR6Ƌ28}T*Jo`e_'YoӗƯߕ=누`M%H(RC(3nQ존X @Tiu^--cqykm0(q灩53)-<]y> +Ł0\`ykȝn+6D+w.4Bv9o/k`6J!^]!DOr'h-e娲옅ҏf@ I#bmI*m],Xzs#YBN?x>a`c饢ޠ&Ц4)gYri~|_Efi6n40M FRUaTL"]gJQ7w<݌Qóp' -c"g>2/ԠQ &5u?fj (Z#{#yLo;{qjʰ6HDHj RSu_VUm@"Q:. dג}ڊld{2M*#jyҢ?wMM *٦ȝ|A {_y| 9. ^u?n>sLNKO5⹙/iin :֭m[gQڊS ڊ]D04|۳V}# )`$@RFPS P嗇/t0[B,ţKfTb7cbeS72v|)]VcR KP b]̒!o=҂-KM!szfƃHVnp+ ڵQ:˓FQgSSԧr E<gwO f77_" 1DJ-h-PL{\%+AbpC"J #@WYÝ@:vU^1EP+&\[`fʶ 0n5Y7%/t2S^q +@uZ}Kjڃ NҀv⾁@F56񡺭|6? D@)h :NF[$5RC6"fh+ơ^hY}Po0:&`t1#=E^x02\&'H4:RT[QaL0Nz=~wq>Z|B:8 З\mˌD A1r{\R>Ʃ'&͓"URypJ̝8V8Ql <S*'A|-*cߎƖ24| t#C' T͡ص.AP} t`p Ψztu7}[̛O!7ke/âq 3].j6!sfawFgkJ6SDv>TQ.A?)TT3=\dl4TZ k{$r_4 ZEi9$# w]E_hB] c--# ik {](6E 440C1|$Hǒ\ljf|GH F=w 1o)).)2L{է C K"+ەʼ`#6Fjr"9`tƱnԇϵsf@ⓚ>j\=z ,6rڨGEq>ʀA +Q  آSk[k|ka;(3.ƪt7z7!.VT!SletsQ7ajEMVbФkI~FWulK 1>HJuzB; 3GԍɁJN8HF}$q:/EYmGd 3 5Q\D݁3ZJDC٭P%ɶ8P.BfDm޴{bN\OC4&K<Ҡ6IXwUx]BvaR]m؍t^QMZuys5cR0r8mq3sa\zQ/ l1MWW`7+5JfhъÒ_HD$Gn{|+mhv<[.\E ܱ_(c5үˑ35L-biW_@t^X,h} 8n)oV()S] ?>-ClORXSELj}6a2-#0L j&dF 4[~E8o׻XZIref3D衲"-`]J3ŜZ꡶,E;~(6]4)]^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$A㢏G1cf炬ˆ:_Sfs@m.Yc B`oGgVڰMQ#Xe}׵`GGSc2At8Sʁ,FmC9IƹY_i}H.uy`Y_$Qż8̼٦HA ĔNϋ0̀T3A2s 6+^e7]O ! j\ ZّElŏt)Qʽ^-/dqXNuU p"Mael-ޮMŏ'I0,;|*zax`(79ju9Ŧ1nP&uLF76rWRk< 4:N__^yyIqbȈKwƅ*8 J {zGC#m7_m" 6X2^m ʼnqЈ9_a8kGx^`g-Ţ4lFwˎ[H}n+-j>oo@@Ćd2[^W&~|NeVB6TgǞe2,b@T^6߅UsM @u{4գ8eOGR-ViT#S "̸P-k@VPE8 gbQu.]܅.ehVOrP||%B?TnH @9Ca+mE rvt={&ޒ<<gqލe ct+t'j2S<.-yC iU4bɀ?(k-‰ |d#oX"՗[zvELvi&Ex $6KܙZfH Tp8M[}Ѡږ+Po3ߟa!>SGW]E[xN.3 cYq D)랕"& H_cJњ]AfRqN%x`IR.7i'Bhf?(p &#.4މ2>ęsIs+ ~H{,F xF³}xd}NF e . ~f%*C(Z&|lo+̓k?X}g(\i93VuN zwZQj?z)2Zy)?UDI͡wD+39ŵbnVnpu8GLSfUuw`_Qp)¿roY<;Y-j;K<%I?3?GBM3f c9"ƛ8?]3 ʖ~9_b1LFѥ+lsncXұ-fh8\JAKkYϢ`%!>%0p&59)\eeҟhl nŚ~ϻѵW]_ԶGJ~*`WDUflxjlB6( 9V"T(OZsjVT @4p!h_hw/`W 7|b1Aia!9Aw;ݜXx?_kyJO=,h!6^.gX#ڧy@tӌ *̚Dnj9R s=BeEpP"DyܴNr ja}6\^!Dx2r0_:N&1_4bSB!JNے8 49ڍ]qAXxyi*O(1)Y1Ad/Ab`P4w7+;q.W&"12l80Ns9/<$ l2u ߇?J]/G,yUMBF?g &u'IWdDt4[PP*\\g|QKK ˥P֤)ϲdeS:':V>DzrwjmH 1Ml6RcjEVppdkJ=mmvr*BPƌ)#>v w}[*Y^B!q71|L_4mjt 6صB'kP!W& zÑІq%؏ʨF$kǕft˲5N 2 :;0sp07hp!`A}<rH?^a {gQu2+R&/ƾFw(~3, &7b܃FYAp4'.uSsj1OH;&L=N ׹cŨRcOBf$L_/a7k ̭ %uN^#¤h% DkHV/虐*Ӗ XŊbvƺV"HL;f-rhASnO*xY&q.g4(#fcb#LC)ȓ2"qFTBc_|<-{N|4|l~5!` })TvM˩r {4W-=""e6]¹&b* gȨEL(/'cR4=0*歁BkB$_ ހϥY+yS USyvѿT3U/m[+OfX54GxU!Iځ# :JW`3>c$H;VvQdxƲmpnj6ĉD+K΅϶Imm8_CݭaDyǖDo@\S$4ac.L~-b&YWQ}q~UwN"),_B/8,T>KP77>Vv:gi>LP ft t`Xwo*hȴ,6p]&_ʜ&y'z`@}~g_ͧn9w%Yš9%:ew1ϯ7ei&#镶7]`"/e؊.ڔ.Y2Rksf5~4bR. y gYZ ""S1/C# 4HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! Q]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STd+?>V<0';χAA'hnkx4bx̦95Aj+Wu?塡[1^]=7UU͑;]ep^=*-CBbtiL RJ2{ت]-*{ȿ B +FUS<_f&lM,^Sb2A@yƋdˡX9Q"8+?L1v)@pXwAٰ!iŽ` S:1%3gg8%;9[U&>K`*NzX#%6⑳!ŮNtbG*{`@316cXfǝ/?1n,&U՗FD3?ƿ%>[Ū/6YC:ԏ,w&ZWw~g@~e$ϱ|Jd '5w+/Yj nt_ld_ޭQ=WN|<6|mw"ز~ՐAnРxt/l(p] bc_U+d+,N*n-Xc FҵW!@D52)LMwya4F$W$@kXHӜ kas-Wچ7DQ3D>Jϻ Z" j1g GJ6}t&Tc:%1,! ``)7,fܙd=Ob;1eDϟt[Jh4{0ֺa>|TMCcϹbAoA2Xl+ޫNʉ~esOdՖKlT%r`Fh]\8N?xoоɴ;#1L0<)OvE/( .*/SU+w߮xU]i)/},׏S<L-^9rݜsk ClyT ɫɩ?e/ȟSU L%ӢgrJGhaUM tDǗmR<ܔ{Y-Y{ /I>`[S0tK ⷯ[њAE Br/Ae_Nk~RVg/]Ъ^ u, #sNR*I'v`"VʈdJљ]cJ芝эoP^S}|ȶrFbQ{`Uߞ gl~TDcKnf|oz :BLn.@;;"ZR*WЍ>;_^7GY=944)u<&Vp?I΂5ƪP!ԉi (I93o|C]1J2pPb) PF4POh]#)dYme_$>Ir.O: n0}t0R ?Gd]3:p@ ,MJU{6d^ ,^HbΣ(32 Y.NJ#80ӸpnJ8~ ;p*|ۭL1MϥsFzjbxK XkS_jxv!P0ܿ õW9HZ- 0Ih( k[,xz ݋.!&CA1Q{6\3OC2 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!  B]Άxʆ5.f-9 rq8L1F_qbc |<ޅ3IՖ8/Ê"G|wd~F\qηI.ܦsvx bTd=AyOBIfE$LA Y&2UMҟ>b SBž? MS #׽O^9Gk;#P8r:Db_S%D;(mzo]T ]nyqdTPS .o#P&,@GsQD]{1%ǙacI3+E܈ں˥@,Tm0mynn%︑Ktg;gGVMrUChnya˽D!P>4!;@ț\kuR%Ŏ{*/wrtaz;x\`cfӇсh2o}vOyۙ%弪QXQ9%—/R_HWrTM<":e˳zM_K}d\6"an[&P>$E{C:)Vo_}+8χt/PpyU;Tb:^[1ZWD~HC9+*‰FeRj&csCۼ w E_+:)kKw0|\ :,ee3w}_tu$¶чYNVֳsHrvǒA: jfڇ?\ ^VݠzFx.zwĬi6뤏"vϡahnY 'p9ks]uV@,Z}GBeU;Skex,E}ьJi s5\؍͕Hdg7.YxvEdCKj5XQ#0퍸^shJ1aҍ޶D#&\w'j֜)-P؟,wwr߹c"Juhbꗔ 9ErMRySm:xl_%* kjV+CGP}0 ;ZתֺrujGsX JH|uwi,{BP(< A&#|؏tFB9V,cV%bK7RWkGx\"90Amc[={ƂkJ"B 7e q.0GQÛMzN1ďT_-"9`Yȅ: b9v+;}  ǣ9 2ިr$W.p?es\eԸzo*7[2]q6S)$O_-;rޢ<ܢݤk$k!}ݙK%8.+@[}z]ol]d̚ze{3JiM8BD4vqbTZ #M9.#8\ZZ1 .VC\gYZ6"!7sԭDpXEr}i]ay z=EVO)%E?ty ON/gfH(f՞0G4&ieXE0Nr]ڂ_ Zhi)=:vM0#ԁ60"En6σDjyC嘄q?cᓺhThn?'fU8h0`Ի+!P}HC;'{ncy&o%X(4~!Z7 i$8ey҂2kU=aY kT3SC5z+OrcJKuUk 7K2f{ď"C-P|D]M@twB/QAbv8ݯ%E&>)?_$ xGЯwR([J}qÜNj5bQcd̚vÔ<2%Sm23'2(zpS&6?rO6p\ͭ!..DroJ^ItAGK=m _,9XTy-b5Y)R-ԄeObBp8/}j< A6RO7'tx4AS#({i2!/E.\Tz?hn6">sɳlʊ2 .$Gw2́xtߦߎ0+(< 2'JڔR tdc֩Lrwx숀}/"1I Is?I*2 L˓‹LYY#<0ҽAA>ڦylpV/ssєOq3wڭQ9o\ѐd֎| ۤ|Ąm/&uTQ nEXU:8̞{7Ա7BO0iBX$w*OW>4@L_fFp0*W`jQ0.Ĉ&V(A=ƘsFjp +T@*1!BptѪ<3:v]&c`HLWL[KY#~U?&Y8KSFHt& q gOCTQ5 zmNc%5ؕY,!-qwhYsBa=9RKeFJg1'޶j:ϋJVZ1{T c]I+:$f { Z5=1Gz;H6pmeoq QNOU.`X0T Nm-|3<ϳ/YN&Ȧ4<7߾jL-`2⑯߱[z6M@QWio,3.k6 ĵ"(e huKrE &IfӍUəlihI]HAoqFGˌz  yr3mhhc`ƶ_V|HWWmօ379@!ӡߟ-Qr[<&m0{I[YWSy S)柺V3O( )\tuf;I8KYX7&[zG~ <0Y:tU w6|4' ܝczYքym| l0Q&n8m'Cm {2I/BVwңEh/In]2OlCP QwF[\Zj$YpKM?aTBo7iw*nH:T;oheKLsLT& J¿zFЖ7^$ԉf Dg䨬j {9b+sj)`w%^;=c2',Dk=掋3IyS$#}EڽX#,ެ,\ o{.(M1+uНMҞ$"ykWi8sX{A'SGxg.nwxaNdb< iƇν! r?FX!+C<vIf]pAs՘7rq.‰u;C#].Ͱ=NFSӇbǨ}v41ҴueLMjHLY`K,r7D"Zo5Qkz\/Po ~B\x-LhT,dbWoMy;#I=6s[>I!hj{:qhI#[P (M~o0]2 U֗F/!hm<H4(hIt*zln˅)d|R1,TpDiά ^j`"ՐȄLGA՞2hIn.\^VgX^u2p+h" U\3Pw$;z!1nR".y4Ɯ Az"< Py3jj|NสM +lD]|tגXN UZsiWr@MLԶd{ET#6rb} ` ,_cNI9s`Q| _ņ)^?u˟_5K1{E n@_JGfpy?\%=A.Y/}ᄏf>ba_*u9nQ7S. ㅗ)ޱ-B\KO9'ۚ+RP=կ^ l硊,R}.,vSGH݁\rWk"at'rZǧd N)'lRtN! ]U&nڕU+~{uJ1{ƥ~o;R+ +M+0x;lCޮ JG' Iު|2ќ819O])  H]o\zi }:_|I24s(2U%EMwG/Sft̶I^N7LpgQPBףIeʉݮa*N7K'Bbjxwo ¼,PT+z9zck9M'+EQvb/ZAO-RI:8T$@W$ ,2-Je,/%?"~ՙT$'$5FlI[漧A&50oDh$!DF|/vEŤ -0or4+n>5&Ju7Йk ,[@{cQl@X ^OPz3Sq&dSFq"5JR xV}XU'2!K ' "i U͙[93YTL5/3,k&Fp$!q=we.v~2^7d^>Tl6!fww6b߬jTHErorzCX3p = :r#thu j_E)p sHK$vq*'*I=*ۄe ?{9BA4)$JqJ;+{6c#_x|.G!PbeQ@04D.4 ORG}Jh%@ 6|ԯ-u5NrqzG/kd;̯SΕ!|4 {YsI#:tqu`, =M&vՕhІxϑ1]uJnXJm¢yדkۆ?[/6 Yt**;j\:`=i囒SSiM%mdYSV+Ӿj$J2,&<mQ97Ef<.F$Zfpp b<9Tt}"w-ISQ{J爈Ka;GtX{N,5={陥f<s'>>O^8@h{"1e[ YhLY+7 Ǫq=aV-Sz?}\=XMu˥X_J #)(ZPO(V7{O`@Ƽjy)Yo`D]nF(dO|lt:We־]ZU3 $35΃:dRӜfIZyg75! Aa j GrKC6V~:~d :Kiqmw)J#ٔ#'9tAм)Dt ۔@K~0| :%ب^huK3y eei&ԈH(= rt;wV֠gdt<%E}[ی_k=ʊi/ݵOu\?p(Ԋa.ueD< UgP5neQB} U6Yc \b3 gs:^tQF||.748P/"2BnuRa,1YZ~!fC38pߞSqo6wbi&Df`ǥ"jO"kƧu. C#Ș캵E cg ?ڡ6Ҡ5I$(h ݭDN}.2>k{!Z&b!Hˆ׍=-L9涟[nѿآe|=al&CmT=8PּA:cLJbtCĵ #ߗ<;͈p b%1wI!?EBެH?3L/ie~0&g{Nm7^q9;\=X`"L -&bWKC3q%. x ~P2c* S: 9d9;uߔ8B/B!Ls䉺}pL.AnNXSM3&ÿ]Ck.F>(ԗU?VJVJΡEp\}B&ʪv~?|Ua+j6iɵ[?նLC"+ &Piq߶s=`]⃒>#%PJfmJAm򨍝lDYJw-m&?Pqrs+=%J O =[Qu%1z+/x 'I򠩙.<GSPv $fLA~,;o9*$}.#OegYZ '"9 /7# \HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup7zXZִF! ꭹA&]ˠ)jk2p O6LP=͵gl5f&Di5b^8thKg~ZX&\-nsg=OcH,ߵcN݀R+ڒjl:Y0k589, )E|^,1xa_Jt=p`zTXܕJV6KDp^|A$vTv!6dJ#o3C*w4M))t(J } eJ7>Q;R"vؖۨ.7Jb. RY`G-߄'hߍ,Ff4TML@4hM/q懧#/8W8/7!LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files~~/src/HOL/Proofs/Lambda/Eta.thy@7/7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id214>6/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages7zXZִF! ;]Άxʆ5.f-9 rq8L5ŠB@lь/vRq4Ŕ4n9/jŲ޸ray1~%kq\\6&&71Nj]6c2iJ,2&Y>W IUE 3KƨHUJrj?u"lL17*7"30.="˘ϊyoDUn\fܕѤ>M3PR nKXOdjzƓ`Y:b}C@hJ7c*{!6"aaz2!T彎ݑw %PGL2Є1t] ,eqh`6LDӮ"=Ӥᗸ!ҒZe+g_ 4m@ B&g*vtZzGL#{w'&u,0O*cp="k\FSw6ITģlgo3 !(PKW˞Fa%܃Ն DznQpZꮺjlod%Sz!M2G2ϨKJvvҩ ;Ru 9~ˍsj(㛡 EV'M0_ W4mgŰ4K(T{'XAH~>?!7gYZ 5 /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,']ˠ)jk2p O6LP=͵gl5f&Di5b^8th5ڄs tpOQyO1*{kugu e?)WTp?=J!,E̡4^7U_]]w =Cܔw_R X+"f>,m!6*L G$pWKv1H9h;RJxHϕ⮖OlVM^ ԛɥkC^铳<%6TYFT_,J@pv ۅ2m='kŮ =6 .=׃=`υzJT#`_v#*Zib@7+3\\(wŁKet= ֫CDܣj\ms Tth0PČ@4M,oYsn9P_Ouļ0 ˢ_>ΠvZTd?DA;YRC2`((πPШ2!Ll8cizhCoh=BW1y*5JkdM7|׮U!ԬjP:zI4}Pd8‰ isR"dv3y|4<(Яz!Cć.0𦻻M.(;|Yin{ʼns iF | w1\0 s E?e{bu#JuBJ>ES D}b:L&DP JPp)grI#%:V)N<@1պxn3a kb2Kz"o ̟43 VɉdYghfr*) 0, |̚#L ZL}.ヱ֋yQ"Pk%6yflhYXVGF>|prbrc݇[6gdoqmh3wVl"wm$`@JW3D^Gg [1'ȼIĹQ%Q hkmCGY?bnNW }1 BL l4.Ne[AgnZ!r;۩J7@lʵ%UwFKBh(.0*ɘ L?& !Fa>ڡͅ"ihv}f5!ZFS~ފ K7ђm?:5%pyG_үv"DĨ8@!ڃ\ZgwwhCF~jac.~_ g?{|ZE>|_zQHu\|D ySA638?6 9#TJYј1nvLf8mH[9P2>,yJTٽ,4G#\bx7 ?X>a ǧ,Ѷu^ԠgX c1Zt2:]KiFDM3-BCo}!]m(Svj +YYlMPb_;Nr*ؓy+W/JrT@@zZD>61 M?CJsȚk~!in)9BȠAbٗ'Y?Vjj{`*M(G9{()G5M8?gQ' TПs'*ބ7tvHFsq-0r`40g)VšvxW4᤼/ %,]΀et g{mj~ c&εG&ePVSW5W3xSn-[Zddl&h-&a\ ]K8zw%H%s_@a0=rle3G)O;tV5L(Ucy<(@[iJī[yIM* wbFHnVq[1fRh 38rwl#}-[NǩR!G'o1.g@H$vu?l)Fp^iP%Hf{upJQLAcgͽ kuOMfe ݢJ?DFr/5Fq=WOX[nf?/S]BuL`:MOW;sȘxL_Wژ׊ S:􋄺گ/A 8YUt?L3hcbWM4|O}7(TgYgf+%עzdLh_JZ ` @])T퓋sg<585 OgM2vk(R-O~$b1`*g ZS3_RнSN $ m# 5@>*|*ub/_z_C8 CUYTa{P#o:~ݬH)CE}7@.yX_!{. ksXzis/Z][NZT6肷 ~">kT's; +L3@= UgBJ0ߒwHuZȅDWTf7)Z ]uSua2NU}ʙ!}'J{Il)Q*hQ:&BM9 *0(iGiwY|? N*@{}UHi(*IgxIacu{H)31&gQA Ҳg t//ի#G/bAU1ƻBB ٥baN<_OLz˪;!15-| ԍ4:va^AjѓNfgaj]&18v$ŵ">~[kf9+_VbiǏ5-EYHBY3Vp.p Q#Vu[8ғWlū\ hvոBqc^B1[_ٛ I1ц֛tHwIݡN`ؒA2-dv @ |RrK&m$ >NWHOQ_C!Hvm\×MxC0z|5!Ha~r/WҰՅ*tCF3yOMҋع1|Tv*F g[̑0:B^zI X4>FVU@Pa9H/z&Tb;7obkj30/#ыjG7ܩ+}Đp?@F!7E+'e{ y,Kjڸr.^%TpSsy4gt7Uc?9Ɉ`\7]=a 8؄vXRG}f֖QfԅMMM2Ⱦ2)&5Zc>p~#u9S8@V᭒ >Ȇ7w&Vm¡'ͫ R;OF*qrڂ.J_a54O۴bP&ү솕CEU[9)qAȴ Quo [:lZ2Bڵ#BI~  JL? jn4PP ʋ3LȡvRvm|߆[F!-Wr T ԑwؕF-3ѼG(ĹvEkCֈ/KB +qfL-F=a]@I3,C2ǫ\!`8X<?[#+1t A\^kJ?ӳ:5>ݿg#дm=Tع L7xA%*N)%6[7`HD~rvm(.4ߟSE" h nw8OQ545=gʗ! 9kOU2,kw]n>R=9k-9ڨI/ [g_Kw5bI=-L<]V 낫T! wa_! ճjb #Y]0O k'&jfy|\FkF^+֩|d];-0R~}y`^8GH?nYx&c 2^«6ϛH)p 9{I+f9F%v}D4A-w;iPDڞd/(*b|]`)~V'[,ClC{.P3i|s @sP4-YĢP.¨0kUX,ixCP a?2?i^Ohji5#L-{Bj&ka/â!G~Xs 4\H;d[^وP4?.r^.ʀJ"SBMνyQoiLWFRݵZ[J$ _NB9CLm:tF|^dVI _Cz3&qzcq$F ܌N}eh>bmL,I(&g Ж8eK9v3ыsUՑt6g7"o$iV.h`%-Ifzm-Tuw.9)^䙊4IxP;>tǓ}_)b&Í^A6:̇An.X h̃Z&_-{DS?FI"x:~sOoU G׬1|[:|ţC@3|@}4,py=ȉi]q^E'¬f0xMJ ۽H"Jm;E%y`K)$Vn,6x[ґ!gJ: 鲆LO H16F/LrAE?kD}1Q^919+&cW0Mn`MAr XPZ> j5@F :(QqY1l$ @oҝg2#h[n8K3c* 9k5AߣwR0FֻTk:xN:XKq j S[IM%DJ-_"NbThPG?N\~#i/2\J  @'ݸ&"τoy:?9hA'e5Cr1#6VٴWQoƌ9h܀#Mb8$}ϛ/#qjeY|۴ 4mt]6 +h?vY{؀+H>xK2& 2:;p2,p0#n;qpgJ2\?-SMdEjM JYu5DO-@~r-"^6<,OED=z&=BG$4 u>ǼA+漝Lc=TNWo6A)u63o  Qrzi] H噺ٽU (G|SNӂ4[/emG]"'67oౄjScБ^dɪ(\SԆWYYktoF}H.`>y%"oSd>l #ŜѠy"əvեmx#r`~1 K1`u4U:VG v2ؗ%e8 >]Xc\߉C0|OWȰײw,YVYNȉH͛v:o - ]S <|1T@튣H]gGm_h5`c26^ =q4ͪK-&+6 7n l}Oih=%",ԮK0 xt*1v+fE\ w.Un;h|Y 岘K^l6'` cᑯ!P鳠Jj75{6  Lc6 A,EF\:!PBMťak$)oLz(nsqI>Y2#'Fue~_B 0iC_%o*܅]R؂ЏH(!sEt?dly"\M8"yLJ}SD'יlf6U۲3E k>&en6zf@X`Cg\݈ 2MM^-L {N;@KxwƳ1d(deׄ}lbcyAn~#3xo~y&CX T r}gZqE,ܱ.1WFD6'XTiw%5;ɐݑ=?z%yg LtxgzeU]D;DXԮ}D @ojS^5>~z悻+hT!>]ϡڍ,%w0iÐK6?6i[gc2p~X|48v;={e(5 WP2jiÚ?W*a T5 ;[}ϲX Qɹ+&%f)TqUuB 3r*ۈCZvt.H/76|L#+X=UA:X տWG;J#ӀD3^ݯDK jUV,_3˙aއ8] :ȗ8S~tLnVЛ;Ǝhp)X/<~_1:@~4b_,aj?'ywg{d? xc\=?iu- 1UpHt2`zulVʤݗ<_y< O5 :d?iT.#W4S'$Â!Gq?JOg]kvOc6>S(h]KJdw6|Y0|KǼqRj|VM^49MsKV,a7 R}X@_zk7_;YVA"pV>|N^K{Y-eoŭ枑["W.@Z'^h-#w_+O~aD/@o˼`^DqN`)YR]TCgx|K^Rqs{O8bmj&{wq.~ܜ7ֹvC^ycCgWX} 6B!GMTʭHO9FF.|jUGamFQ 1rp)I 5X&U*)qT R/ɸ$qwEͅ0H 5 nMMb{˒=58j؜Oj~fx_lThٲld\e# _Lh9i9E&r E;6BMg'`lMQma.4==K(5ԉUu&=[ u1*<@NMsʮŰkspJBϡVoU_~46g!Ʒq2|?[ Cg(g&*Ċ,,e-+stlXvm…:}Q易 *8~+~/$e'0}(;T1(U@P~Xv'(-#U =[A Ͳj}`A5ēC6ƎYfL gK'u=dER {(F͕K [F迗ԑinQ˷qLB3lsR=XKOCDY/kw$4,wSvK+ qd'5c +yZ•{!rɞ'mcWFk7NUT 4"a: .Cvc;+#UB)سXM󢷛%Z8 ,l5YE/} R)E3p>Nc@P1ŋtom&N9W8.9@,¤9l%r6TQh!` \ܔ ?/:ʄ|QaaʑnBRzc-s]TAe9Ty4Q /vel"8{_K$7oo@ԤBc,z.-q>*7#2T&սefseR~<Z'J~aeD$K O vse Yt%nŦ X ;F_s )F}fPuH߄@r\9w~aOUصu}o0 cAg |MmwQ(6_s_˓@ݺ_b-mbVrx|~ wb՘."cb9 ~C@up1[GMy\z-#D*k/-Ũ7XxH . cnQv7FX$ML r?أݥqSsf}?ooEnQ`*RQVl752mQƢliRWR`M.,YښMYB&SZ#BDg!4I?ې*^bȼX])ۢ350se4?+3\;"yd9Cv"O>Z:d:3+7((<|q䘛w-Fzy6.l(񞣘(ps3X#Qdy 8WќSyIOVD]1̼__A#ӝT=lu/%J QIyξRxꇙ{͌i׼]r^1Yy+&O4{wTYy \Mxvpu*~`D2,[qp܀ԗoovJ |%zIp&P1gD Lv=x+gC &Mlp vǞRӥ_0} `Cv$-.{[C$I|$vQ9.1wzꒇEFM 9R*VVqqb7 ,1 e)In2tgE΂[esCr"Tȩv( Ϩ.36&g0a=(O6G홇GΡKj9I?X"@LGLܩRuj|QK}0}i5ǼT7;kf6zS훌*z\4>V洘<NJ|g}@ֲ-F8)׋;$C {A$k:G)Ix q0^skm2bySh}Da(q٤o,R 0Bh$1 횇l }}ZcA!ZՂePV,{\UE(>*<DwEG0hC>)iYXe:Y>q3ʽVcK@ D5.\\`jg}jtzi?p.j; m}AW|ڳcA7zqsϒ=9?Qi|"ʕVgĽ[&k_=i'xp)Ľ z} Nޢi$cCмz!*YgJ LGC^|t_ /iǸ9BA5Jاĺ CW`<` qz5#9h3~x*Hg;8Um}97-]0Jr5;3Ҋ\7Eqs9oD'2(F݀U5'=d`pz#bZģ&p`vKX7÷K rZot);,W|YHv.q`)"F5Cp냒{btAňX{PkY"])2>wdB/&;?l?M{虁"ALe\hՓ~AʄȢf;C膵V @} 0] |lrչyzJ-GeSXo:D?X0౹xU3d&()hCh?W27>=.%%M귧g].|}()+^|QCIr1Qv/t|L 폒ɎY^a #inŒ[.:7JtK=)e#a/4"JdpҜ7l9G֬@--2 "Sݰscwq"Xm֒#Wʎӣ}aJ-;$ qwJ-*uoʚH ;omo UjN"FEDx9RM"TAW܄or4[q/OI3DB-tg8˥XDͼOsEޟNW/{Qc{1Z`zg) tiT!5m*;lZ8m{wv0q [=>A퀕ge CtÔ#{IӨ@%O)_N=DъNց>$hSE^pt獩YE d]sW~_r6__X1Sn9Htӽʲp§ւ$+tbu^SVʦ\"O_q Rfsrw`[ #zA [ݎV:T:/jtPkm/\Qkv!ѰJ46 ?#9@RU?!Kɀ$uJdS(Az:T"}Bàs~'aR_sL#JʥfS7gY6|kZl>Ӿ%PZ⡐8O9xP3Jyt5z"v"ICS8 _]~@aşoۄ&ch]+oDǼ|^C+,,,tBkAP2uAx JUmDI dZ_*^E7twՁ:{xa4uӇC,#rA/lHbHXMr}c7VL$dYX3ܼx#}ȑW3>}*_l{_#_ȂocWLJp {j5dJqD;tvOA=?\Zp\c[A%#QpjB*,ڢ6gr^v8wtJvbVCT_ /N@ۣ5iZe$Alݕx9J0{Hӳh/ȰMuRX*=U\\q6uZ[$^i`V|wVYti '\ R#֫IK]4ZEZ|w$jf`q3ZNmwpw7Fw7=1NSs`['+檷&LIzRП \E[{x `%:_GE.z4!,ZIWio1e X؎+ѬP:G:cJY,WGN/541C%ٔ\XaKeƭVCcza668<tɁ~e})1Ih7@X,JiL\=run).&=E39ּBWl/vxٵ?s hPR,Cep0GۄBQ9:] wV4./&4|6$YtD4)W[論lu}t%C֚2U /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9:]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4ez=De*k˝?uk`#X)/MDjL3#ANTD|| g{lԒ&;SKz U0L7Ȍ3Ќ3X_E#W\gE,KAX<~T;EZ0LL̀nThjoU,ˬ$[.P%ywVGTcgi}cL615R{d& xZ)檔ľ zzgYQ@v%^Ax; .'sf(FN33ᅤ.*6_sekB{,Jqb,yןSg_g_k(07oarB7-@A;U5-_nגxhR,Yӛ 3Yد ,kfъ8"2G\oncPa,{-t+guYgbo'\&-7ۋ"l3?X}fFsroi4`K؁p x/s6u`95$^?|w!JsRJB[** ~j0@N%#C'.$P>_繒9F L_Dڛ('nOE)VڝLk@bALM kObPqCGҏgEt!w5`^蹟 ّ֒ؔzJ3p:S&@l)qJxUD W;ܸa 5J d!WqX]өWgM.W| XdĴ>PL[&ҴUxQxD~?{m; ]f@Ҁ=v@K7iGX@/1c:%@o}<1f6,*kpiB^Dge@xN}1%|"%eAi29qtu/`'ȒNꄑ VZ P5 ]< $0@w=eeI˫FW {5c9) 2\h JYQn!lv3lftW4ήF6 v~:VNb\cnTyW820r'HyvSEUͽi2U2NMoqb:Zsh],-paGG$UnU'o tlpjQ,8Lbu bi/<齙Ќ\*(-IωnIR{56ѽ<11x6qwJ]7$\U1@'RQ,]QGyd?Nbu"[ClJXwcfbS * 0KK=ʃGѶtt9tk&QǓamQo(iƁGO`>hy(K-]߷p"(iv|~()DP+ q4"5+sFp!S)SoʥLi>A3@E(q'3@aVwCX0)3_DžNd54;˺wy(I?bόVzr6~lM`ױK&s{] _AZ]M?o=CE֐ث溕fkz&21Rwd XTNu)9`P8]r;IzKTg`.͊HSdo S雊 > Q:lׇ)868Dk-`妶ř}\"p=@hއE@" !|1TT -Y5+Z b;%n<#kc]dxqVKjfBB.p"=ͷX ))h.HEC٤' Tou?\E3)ސj»Zb;_)MbJ)΅McH39Gs\#[ufQԔvmő@Lˆlg5呏 y$14bBK=8CA27,>[Qљ'dH#,5qq{5i՞ ;Sh' \'y*j5$'wx3~u6`I_%1 !ZY^ =I7e ;%2Oaҭ&uĻٓj-5YCòu{A-":'"D$XkCFVXhexY ҒP;z_ej=P9`NH N9㰸c#cgYZ %b$ Jin6 } } = y >  b# o +~Jb#Z :[)L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages?>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup>=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files=C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/filesAD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id@;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$ 1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations# ['HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id :a1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citations :'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id 7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex C3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex PG7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex )I9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texUEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texK;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.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'@,~)x>)wJ43Gp[EC*e1qo7;3 h<:E֜5v[p9 cutrdlT4'ƆcЪc<PSrQēqŲ[bͥr08TSaWM`7.`AhFќZ7m&󃟾^S/deB-6; {CJH,",/[qn\Ykmy"jGn3kY)jɑ' 3pߠqזr|2,4aR?@ts #_[&i/"cw]B3~:W(oEyj,kv&`l0܇8;dhITojͿaUNcl*ͻu. ! r (!&H).)5M\*E4,ӀЫ Ԟ:| N%yXlMZ]P!Q $宪a7i.NN,uQ?2bA>l$㫚M٪ǭ%qFg7FZ`Q7L11MAl")l  d#T' ZZ_?Fhg fQ|O=11ҝS5Ϳ,]=~/İMx&K O Yex3ЗUʇ%H4<~Bh VQodW#A (y_c=蕃okNH~xt)&rr>@og,uT㜮9M&&OIe&`#P!P ɴtp0b!e0#.W-Y*^G/6svۄft+CAA4] &?Av鈐W#c+\GŔ䤛bP/)A:q3F }W.'ԐQ+ [uT@+Ux!pw(}n R ={>]{vz)V/A-(?TF^_.em<9OBaܿ<jjq.?{x<@7+c^Iϸ'nyI'-IJ)IIRRo س(II^>ġRąuG'KMޠ^E8 ey7&j] r&`ޜ;R<5r?__t7VM`PtDȓƀ!1dU[m#[矊c-,O(qCZ A*,ٕ@o1r7y=meC@%}"/TpnJ9q=+XXÊ1T I]ખ]{8l"Ce)؄/|M7OLwlsR~Y_H;i3 Kx(~d;9ºoʁ|O]8~fpf>Cy&.$f9jjzZy(Tl*eq^q{冲2EkV]KQ"K)_b3 ANMKcV(Lnv,`F%5M'R9%vWɤe UǸ@Je )*m7lH?K]ZЗ*4@=BBEGdҖ^&pT׻';\xyBxKNRh<ܢ㉳_7(?]iφ.( ,]%<6`QuBq%wXg08?'GCEqn}k|&jK\sH8EKƳT&KӦ!\16`k:Kq_ 4cMYW9U8Tf~ԁuW=[  **%|"!<.wOدVQNHYFy4zmsxiK<<sj@D a$ ŚJ!  ㈈vQ82zٖ%ՙt2[ɄxݓhwJJ\ CI[h fGW]2 }%Fv^"͙g4PacR!}YR3C` 2W:)L{nD]?Fn_]U7^Y#ތTgyڤ=Ї1(yo+%zsoT#-HdrUʇ Wp*uq)N]kr0|5uk"F+%:nj4O5%p\Iȭi֟X (\3H-I\GQb &*lr?ΖУS7QWsf.;L/0s TR27iB81!Y)7GfI+$&qϛ.M&Ί"q^Es [-G\6TbhʑKYHҩ^%yNGE\ރJLʵ~+<9k5 jRV+`z:WO2lCjͧóMOE]|BRz$^_z y9{LyaJƵ+=m-$9[FeߵuT'l5:u~Lֿ"cM^{Rr!q٨a#Ë́rS IQ/.`{ ECc?¦큆f@4^K^^{ 5ڮi94F c{ο߄pY_S7FRO⠬ gY chIaֳڃ!=yTNjpHRfHന]y_9H7ͬѢ>v>{ZR8(khB%OUb[N.1L fq~6G炏3~_ %MVӗ緦UCbϻfxU|v׶(4uew1QAT{;Mc?8H.fM@\ʭ;/Pж<1^jylVVvF`q,LIvWa<9D:DՑQ]/8/b w AjV62U֜&ha5EQ_Vcηd9Anzf6‹op2}.=v38G!r^ًrm17P<#ÄU> ¾p;&YsAcP_(:JWj*È} pK͋ajyl6vQS^d#e}'>|3p> %E҇FZ:j?buWRK#z*8鎅.q?zp}& O&b p5njؗAlbmAzme81Wt/ aDcfA0^x…LGqN5@(D-L4H˷ -Jhf]M+䲛bM9S?jx# ,UO_zU,xߌ. FϨqՏjS4#osXNk>_ | QL}Đ|f3@L,,)ozWҒthڀw7+Q½?-5*a2ar/zk$z^Krip."ɗMKz}\mbH'L /]4,t{~{m<_ŵwdXɔCT(SDLCAx1"z'M( JOOgꁳ_zfy˛OK"{=2RqQuń\l-vo#U,D> G)HPJ6yYLBʽ!{!ഀ҃{I^BwUw KyR ,ҐsGaɧFgfǥӰh@?LbF敊6/faƶ||B/LiГޒssG R\D3OMS8x#iW{?̈́LȉSoYZ\U w 銈?[bcW 3-3Έ˔t_@.h~ 靭d"[Y42f F|#9^2.?{[LBHĉ?(]j]se"̒rZhFI0axt$Gg8XK},9g/NgY{{(" gh}j!9?rRK=DX_'6ܚkGRXw$Uz/$?VH\6 %aIqx84L<`]ȄKQ C=r&$PDh5\h,$-X~'~(*(/&F 1ƃxkS\\H*~ |E |IC2BؼV wA-v9+Ҡx!$GNp`HАO(eP3$7G_np K襭&PeÃI]}Nv: Ȯ;CFc݆Dqp1ɵ7a^z4gGv#1 KV(p %*)g<-lGT7ku(Bnq2=瞪cjʒZ~T䣎1:-j߯>|[ Kr@ 3 =a>QSF2^{* NͷQ0vNJ T=L(IRjbb8:ڶtL:MʰS[kIx7?>m>n)Ae|HsP[>sp줿N%b[c| (YHFQC0Q?.=ka6 ov8e{-.w3~V"k5Se ϼ{hsS>'ܮ-|+vC}VrPzÃI Nn8u m!V^]ƟתOٲ7Elӵ!|hBXy}'y~wAʄ L0zzʎ&]"z3c Wt3̧eG˴/u\OO6j t! Z[Zx^4;g j[)pb\ 61yٶ @JYgk |D# 'M/wnXoE(s$O&<Qݑ ML!0HE̎"R>[=LI9f-Ka^DYX/bKHEk"69Q8ѠvjgK;٧?`M\#PB5sK'%N`)՜f>mP,٨,?^S JStٲ<ˍwJ[PS"p쪤(cMQA M(QHGX1 dIbR XpK sᷗk'g7d{a&N<2NqpCnc'3nPiБ'uv Xy>rC{DYRdvv~0ݣ3'{`sKS ]Vگ4p*~9%ԇdQ]7PUЎI-=DWN_yg [ ނiTo:(ĕ]FBMYE;w,;Չ#}>d|IxTo3tG, Ɇ|Jt/)ZE[WKH˗m}u.EB>KϮ1pUʃLcIm9()tXl4$lu _߿=ǽ|b n^$DLk* 29㞖(Q5 |yۿMGi:jr_x{HJxXrMYwGy7;=7} /cSAIR$cf"ԅЃ\-O)IxPNkR =iQQѢ;h|tscǪaf80"Uda~*n ~|8XH"W#[yg䐖I#F >;#WWHdᷓpt )􃈢4 C(ʈĤl4#%V*zԯFUbw?uBu^'laud۬o5GuԎ#:0 wl~e9b_N΢y\wIn]zFQex@$GBcJt*ҨgD?eLd{(55IQ7-Lr7T[_fW8@8Q+a )&CH1jȢ҄1Up`Da갳c`g1-&Yio_Գn9Cc{*+_LmjRc^$6CG{F)RpVIV+d6Og1*&lB6Gf6`."ز.ZF뜆5:I}C^[;BDs{O!Mϣg6f8X#p-\$dPμ)nmAvX3Oǎi] g"?-9eŋ94P!6Z2J]J{GkGźWz>9}`P1uhN8aWv6t|U׀|O4fn{b44|B-bSbMڒɷnk쇼H6:~>=;dٖ˙8{"WF i ߸ @P@=ig֙1䃖&ObC"Tk<exHMXZ}@^Du]^L?wV~Jz끈]F[& }{_H=Qe MPPB$xoqrUHC9{_)%5(.?VA#?a A"J nQ8_X6u<1 & ine*~t6x1x3aਓz5Pr7PB,l{7Ma-ǷjQn4BL2Ld{4<]~-\~}E'ǷvM; _|F.Z<6}RE-X/JUڽ2eB9iT^r]Ɲ?.?3yn' ¡3U37bæ %YySm@#:Szf](Kv0ai N,5bp- ;=𫼹YRd%tE"+OATya,zO mk6";PRŷJ'Lsr~OgTF,//o8фs^VNQ2;"2Z I[II7NCfn9H̶roI##E'?t@~v=N:XYveOppG 71$D~-.muxt7q1ᨉtX{, zvo ;RN^9C甾smabrNwIGm†FmVPi1OGݙsGH34.e3ߤN+zVj!ȉcD".ꤕՓ.WEFξ?Ȧg_rF_4f^"Y;^Jdٵſn{ۏ\]4}g Ϫ4]Cw(6Xqwl!Ok SR}+/ȵͯ C;BD}'k*j#Ulue;:eZYHWÒ:礒ɥ/ t˶1;&[)|GUC'_Wri ]bx^Ve;4>,]v42)*-wMiYاh4sU!r&z8Vn*og) JpW*eS Yp$wM)]H)fkሴ|4HLnHgYP#$ǘ G7a7`{8%}~y@ ņ><.磩 R@d`!PLVv =Tԗ^9g4 @<*Jis[(X`Zwrr9r!$a-6䄎Ƿ2|LLlSje *3~'ݲCvhy0'O z(x'Ix]GK]1Sk spUDi}Bl]Ț\uЩf<آ$tb3#u5I1 }{0H0#ʜ e2mcfj2$DvV1/y/!iYB˙zI(ޤdmp*˨q=;vľA*Np:[jո,Ǯ82VЫAu 6p"M`Wdྲ8)DY{6$Q:[$ f`Q/?_h~'IWCTh.  Oh? 2465#%<#}U܆yT}nݫ(pL+We]m֔ <-7B૬2_5I2yؾ^J (A^C#Fomv\\fyQ}KT!XPؙ*W~VX}~4&Qm^ z5Nhf'd$jR5EeIxT3{y T0Mb \ڴABXC7.Ġ;Is0 3b$BՃ{~ʠ$9 bZ'޳Ml|AG6:3'mυLF7tiitt* ]WRT$_*B3'9 ~#tŀ6En!_}Sgu9N23p1[<W*JM7GiFza{uaNԼdRBy p ܓ={ FVLnZlmoup05;s:H2[edR6>Sv#BMNInA_)9˜R?4֐M͇Z<xhTocOgYZD?+zрuΩ4 xۼGHҭ#VpI{PWYY(ZSv:/(0TQ7_ի~y8ӛ t(4^d\Ѡ+l  yȅĕ1rL} gx 2Mv[о]+}s.0|+ˡo =iphgm޻(SeX-3KZ;z L 뛗85Fa h5|Htl5dJS \0+>5Q#Y|rU: ĉuN 5m%a@]s߸ouDӁcG$pW'pJ* lŤNP?M[kDg<\ˌ~vss$U9/yd,ڞlngTf}o]b l Yk\J yaVQAl,i?J"u)3;aj@$5Cc7:@e,PQW{+j])P5jVwV.Y|I}D){,rFTn#rwC'<(dzy`S@,10؎r"ulF?k?$aԆ .KK\cmj̲GXc$R'T^a9f‚q80?%=k۞(|,͜v/_p JJriq,12neH_deٸC w^@s<ϓ sƘ zy9ĩ -V ʯ&M>~NNtF!TKy:̀ `"ԗsL$>kih6a̛ )as ohmK@9gP/ ^smA}NBT_Q05nX#:e #QW8}У@NjB]|˼"%o<: vq6lPF /6]l ue 8-xw6+HԞ̜0#4KJ ֥b轱 Φ_CD79Oe՞n&iKbh ]>(ZJT\7& l\RM DAf^N в'54T#lzE|*n~X]]|D_!/$˥S=ؠ"N;ldF]&_Դ۽1џrvi SzNK>VY3ΰ65'ʗ"'^ȷڃYAbyYMEyY:h`W[WR)uZ*9?:'#D]eahKġ0$Q*=bAپGzaeAB'w6hGRȶ"aUTZH MU}%M ¦񗵗7x_qQ}DB^N;Kި'oS-OFaXKf( g:~s MGM'mH?qeфZ}eʞ]Äby;st!id_^yj*VvʷL|iG^<c6D1<&}zʁxAZwGB{Ӡ9_Wb)WH2/L%UFfol0ު>Fk>+_g Pؚy)%9bG7R`2،h7O?rFg&Цװ/2ܸ(CG%ˠ2vlSIO_Tl$e(.ި(]4D\$ \c z#@*Pcasu_VíN]tME\07G C/ŠPXufx`Bkߕ"w±l:㗓9-#7ҏj ·D-?hN@EtM`s@ Lg`̉W]HE_[=:7;r,# jN^vu%S NQY't#RuO Q2.sB/7,ڃ 8 \Go (xA]@ޟ0¶}iշdHԐ.@yUpn48ʥy"2,7Af0^a5n9{*2Q!0!̭1e9י50x˩`rԘ'y,2Ubt͍ILşJ˅P3at $Wǵ2X6HM1,q‘Ϭ$CaQeqm@] 5쀈7}dkLVdO/>5=maAWK ﲾ'U2AJ#N@ߌ h&_Z3 I(ةkD+QvUư8 ̳hx(8\b=$"]ĘUba$W!à NqaӐef><5:P(z Iس\(vi[Ȃ:3oi!t ѳPG~d9l)\3t 42-+̰j=qln#uUw{3n8v%]BxC肑  R|!\izs99θ)"b?%+(sZIW2!٦A(yIc|:$/1V[r?j rJU{ jGisyBl<{b_o =lskG (ĝƔ[[2`CFL1^fۑ+4N#Jr(\i/՘~D'+ Q ST:^ u5G`MT]_n r,&\k\ful^efRkӟݥ J8'Ebu D䱌RhN= byqPq{YB<{&&/v۵ ˍ_[I#Homf_ /-$2-ulU$YY$J{S柍AvN"B(XSWʼ`+ KbZKX¾[1aG>@b8?za|L }$2RN v#43J2pرȤ a0ұΩ>rb23bn{IyK@<*1l7s'PHߋoz;U[>OJC=F]Â+ QQy T;y(`@̾\yvzPL,welsŠ%v[,m7ŽxIhSjF1j.l'&*'j^WdIu#ǺיD,:Wfbu{|k^ 5\mpT:F3& {'4_";!K&M> ;QZ㆏`Tfߣ}^_Gj( ̖?5lGLd"VRlYVߏOM?AmnVcTݎƤy;(No#dGi9^w.1bڂ{xNe .-%U.7a y]\N+C kEHxc3 lr\^+YUmvKϰxD Y/Ü,㢋_@uTG}d\E|Gg^Jz9F]oq7.1&{.nvLҗK S4VRyY"nfP0VdR&9o0* &Ù~uvYjx-&W1,ߑGK*jN*LY3ۆxee䱉[E!=&2RA^ ]ns "7'O_93K2 4 9^[W -rqd,4h!L i{Jj:'+4ڌ㣇4<2zZe2 {^;f6΢j=x˱Ys,'GBIR(J@=$/(WcFܒ2*<8CV Ou,`K*-3KϲtNG.k4K/ۜo S/%hԵ.9y~ Ħƽ'߀n:R߸(9ᳵ-v-r:h*z1'I#L|4_h[Lh.yŴ^6#?KMCӐz{.G+ڸ]IOfs䴯v\paԼ]ԋ's`<lP9p e),(>DD4ÖB }җ: 8Eb}ǾJ8)i%JOth__259g&y5-K0S1"\*7AW<%k -( v$lZ#E<_[8xd;y/t [c ܶR.G)s܏%!6x Z,Tah~gvz 𑊾G[kT@΋]˯ E,X،E/vʣ RR M(Y4τ@BZD$BQl]>Ϯzh,}{,C/AT~D@Vhwy1NG&JTb*.7;̙5% wПJRfiL57ϷMqe"U*51RIAVJ .5 (#TjʱRswsT/$ġ_sT&|o\ρWs+D^w}\mgC?ȎfUsBXm[ƈJ-+nR$oaVH,ЍN0ԲTrnImE}k_XNթ=fq 1ӻI%+׸TS0٧9알Q*4A?2]F,?}Q3l6ܝ&NÜ)E$celIUQS_f~B;΀\]ܙT/Fڟ;}r:BE>V XK ZUxi8!F?s-dH@H'Qp4Z;)aP#^24.}j^~[ u6M@/FFX=i si1OlO2Vo$Z>SJ.xcB\Hh̽ʛMf9rn1 OuK{+iZױq Oit /yYL|}!;5If+81šy֛!vh ˨raQT$8]NAi[7@~>zBd&PE {0iRle|}nR+]8L8+!Xtϭ;UcU2~묰T//m'ey]hBxNpdXʳubaf%m.E,ngq2]~gNJ zluT|q&[jbVhhDHܮND:)Ok6MS/SͲ6A˽T¨ YoQpnp  j(`< ?+k{t|Ği7m:r1 F:մ B!;˶Xnt;QSѬnR Q ^%"~@@`$M`g|_̺ҩU%bhu d J+Gt E:1ac\]m" Apo_|X#'*BTF*i3>8_uZMBX8` SmUWABxZ@9 `iQoaӿp)r#B:Bپs=tИaI0Pg=fM7 =|}+B8κAe2ÞNG#W^ h3e6)̚gQ(,I643ь6AJ[L糯d:Xʸ^0g-&wB"eۃ۝NEIŰ}.ф!*0Lz,Ǧ ìDuKQ-07q[Qk}FpXѝ%UhDJ򉧩 cJ8H(&jR6z9xh+w:bq H!N FYQgYZ s  js\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML"G/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$bW='23c1ϻWnh,:Ȃ"(s;LՃF%F6 %9$0 trU]')b@UE:$H0 3l|eArpu,`kd ޝȕ|}Ȭ0 콝-,0鏧\#t[në蟟#!7XWUBrND9 6C,m gBY'|[M*CPp8u)'{\FMIkO(,;F]ČE/A±4AAT?j˲W]ʈtyЯv|X vUnL+B5lA}/`#nwR:Q$`Ht?ګfFgYZaF /E# LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS.^sd 噷oh$hsch\F紓vXѯ5IZd(qݓkٝ+EòJTa1!Dq rWD"y2O:`Ud3aI&0 tM 2&EZnAzhqe _={ѓW1UU\&26\=_iCD϶hn ta4wv@a4c+ D%+FJ\Fִe*BȵxacዳK|u w7ƒ 6%.[6[O5k#h5j̬mz&+T>G:iO N]Ҵ?0,F2tgeJP\3򈁴I/\+CǼ9 wp 'b}Q1X JzSyotY9ւA!ӣQ y[GbxnS2 )sCJ_Ҥi3"mZ d|w'aie7h'v d\a1n`W`.?uCكzɬhC֌R8?ofچW!m2o: 3oգY9fSK ʢ [~.B|g. Qg\GbvmCY{TŒi5 5Ӥ!$@#xŘ9-ͲUOM;l:C=|_WQQ T37AKW.;@G;f$G!]JdR@9>C! }ۓkJWYR^@ 5;u+kMԌ.R0IL"uz")k/{{,0/)<1ekufl"PxPSdAzW<ĢL~`}&v9՝L+,Xv!By޿ފ8=g: hς l[kc+<J T%i`wzxY>C%T"9/DC/\=1qUר_Ю!)Hs8=x$qjp[ ga\VdN<MaC`mr+~r (qPuvJ`sk Ν!V%XCOHO `\bvamS8@,?m[Tk Sh:!?L.TFfqܞ0PJµj6 3VbnZ0nP?fEU<傉C,ȖmҥMc|tM UwTN"hy !ޥjSh\5z՚r 宅(18sA44rTt'3IȆo|rD>,~!L}pqDMs1#HY]4N #IK/h)Z#"dj~R*Rg.B\BIo[YSVSv/wLS{fLr$+f\Q6v)+17tlfFeE/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:qǗ-A$+16t6w`0aƍ0;:˪ 笆 =h"R"vN9/7y.p0݆/e㤤,.[9v=}{׭Eg EČ,vmboH2;dj[4 /5pؾ}zJ ?:κ|3N R%OY-֛1(H4yĒe|R_/E"cËOixt kf]BzǡߛKG"-T*xeDnakcb0SXJ88p-+t:Mp^ '&^ȵ .rV7tbhEZ;H0E;P+|L\1[?YmwZ=E8yL sÑ6^".`]tbz@H6zwdR;^8 gVGJRmx,?Q%CVY9S4=f|di̎ͪEI_Rdh9o#g7 I]L~GfkBSkȦ Wߗ)q{D:IwyI? Pe1TZs3Kw xt 9]f} У+?&+uc)Zn ~2t[C4/=Ɏ 8J!(mlkO@!3µߝe)}Ơo$ylѷ4q%Ɋ(?4bfM/>I='<'Y”ZZg_(З?lPRA SWXDKB6P^I.h\IgJ`{J wy)C(אd,Ц=/T|Cs_xB-Hc}:+  `tռ+kCֵ|;RS{ѡr Թi=_V]L4B֥I'8Ð4ւJ5;EF 7@_fD &N} [ yYl2J'ynFV<4V_}twʎ=}&{˗Jb\dۄ`#RS~/#N!Ѕ^پ9jJ i{I&lAhnILkOP!e`=h?8^\ ie 4o)D^+bI %.u[YȲُ ׂj2 {UڀWjؙc+"K7 H J$ q։ʉYF`0p]_ۭ'*RwS=*[Jڱ@Y_ڵ ȇ װQY\HA?9GfV8rno^X?[=nP%sV(L8`DOvw%Z 7~lH$@I_İI7&s'Ĩ2lhL]z*Ͽc>{^?ϻN·lUV538EMdD 2Jb0 z5KMX$L_bTn 6[M{)K/0ta>7CR˾7LMZٔ/J6_;GuE'qi{֚ JP̡5b35-婔>f>\VnYdd_'zYLӜ^`sڤMNNOU=d2+ZV@5=گf1/[([0Y噯WkMZټfHA8cJ}qr>z1 }¨G_'- }Pj 6 %^L9 r7=E1Z,X'Hu?ͣu^8Ny\>H WKI18p@sR'dVjFsK j!$ L=,ݟK2D>QFt P9uޖ_4&+7KlzsϦ$86{ l7Q7t?я[e#7v=JD= vwgTMtο۔݌l,ҏ4Nd9rqҬ.>U9!Yv%9(X0Tk "Х hqeǍ O]oڰ--C$MNCI:o;zT_ d ^ H5kU _2a IYS{6%m}2: ٶJ+Qot.th1WtX+~x[zi03CRXq]0rH7(RTWnTy*WX,”oUY%-[ 5ּ_zN5zM L1D(IMYٌVsGBԕ[G365J&}sqo̬|5 /+)1єB'^ՕYD׊-3+eʚ$K"&Id{$݆zVS? Ш7Mnsuri&"f[:Se[TѾ6NQseB #hj^YlWxݯ^{C#^:"{xNjvczV{9c'МPJ,Mizޡg녔WGS;@&2BQ8~ny'84QCizm)W|7QP v/6 [a \c%ADυ`듐DFKzMɬIRVӕC*3m]ߔ؁,d$Dܯ0#} InlMah<_w\Zδq Wŋ4=$ߎiُ+qIgsmb ] t5WT#L1EXUmCUŘ}y `!noĚ'YyԸJcjdoQA"?)+?Zƹo!,+En0dw̜}b.mzs[m}3X~{E^"GHTR{k%nePMTwc+:'d6Z$=*EVˎ>m_HoP[+ƤAMQ1o ?, ERae| p*\V%bZ , $G9hbx*:qWb%e" 70:% 20omjy Hdz1DzVm5Ek*w LM8/s?35'P)rS$HGzgK#tO5DG+ϒ-zDQhK%d`"3gay?sZjͧ㢷7;a%adg8j x$+T]~ș?l,7O#'S I! rG1\srU̓~/'Fzs?@< Ẃ|f[k@5>B(#4Fb#%]%uhJJ*%-.*+?W[58}wZu8rXJ% E}UcX\ǠsGq݄1T.LK_#˨3YWn9>zm~&Cp!^ ^- #FFeb,rۧDT<! 5:p*]YΤA4-X"@{!z :n|8eWe5HL4/ ^E=Әa.7OM:E^6/=2dsH!Ȯе%pFdЀvw@vThVHs)7y4Amy87;:aLO r"A* ;O2`rk\5M:< bюLt 2=Һ]DMѱńu=+i]3_Ioani hOs:4@RI;5T?m2FٮwFPiYi^߻>̽$^6co_C*K ҃gAcX Crm@o"iG}hUj8oj"wW%f`hѷZufp,-X<5M.sTr$jx-6gO1(fIӓJ3,1U*C]eQj ˹ӈ%fc>ʫ[Ǖ٫xG-SxZO#馷cCL(Qt) ߋ0pDͼq=p4Rum=Wo>`_I"=8$S6c1X?̎ԑ.mcrWo6y'ForlXá\+}KQq\2z}סֆsȣЩW 1j}^Y-c:98'XW7#5$^K ѼӪu-&Uf qd1`RqFLoσ}|$<7da3ֶ4{n!?~4,*A:螵wz{fYw70aeJ C4Ǟƅ)k;أ]GBmU9X&I8k'+].@qG 3(q]#m",uE4b0l4[ؙy v =F8YĎ X<-ءW_A^XڡgO+w#Z>W8OyT?Y &B°;__ȰOE]cm_BrVe"qSfŝ;,;isa)oN3@\tQxGW: > ٻmYv.`4!f6y1۩ J /fLa"2?7f{c`Om/ Zf]]X!qH8g%_v-jxS!|HQ;[FX'W3ѭ.ޝbF:?T^ؔZK$zXm yO UYN{4i}tݑ3 p.%쇹,M{:1-mޗ;~a'WI7L消]=ӬCd,/ ']Z S)\3Jt {55OI\ks[ѿ$.6Ȱ쮴"Zxot'Et;猙pvN7A)qdJnC)2O=e$3Q E4j[vykp[v}-  ꫉Nd}>lZ9>}(qw1h2?,,9}xo${6mgCyCl>lt) 'o7Q1L᎘ԙAł"2m!RK~Lͻt!s#,$/DW#Ck $ f||UG'dȿSXw$riVW`N&F|嫤Ct풴L*9SSr])9M yy-$cEv;zD|IPt}+,z$>DPR~i=Bɷ\d/M3y;ޠ|f\Pm&-Aq>R!d>^I0x<3%X[5螱!/cY~_M}ƀ:UXcE/Dh{܊< HTOs5;ԠED 7} srLJΤ[ˢcLOw\7K/a/e]@F֦/H霏*O^) H<֓/͗!,Y8q؏Z#6aE[7_+6+KϤR]vÞ7|gHƙ b)ȕPZ\ћlaIO$muE&5"$ڶ]\wtl Qg|,gtBboE(v !O2JLHf@d!VW@^nD|w*[AqsdETuW>Cv\ߌF D7A:t?6^wi?oAkܡv&pCЖ {@(<*P4 kwͻhB/ 0R5 .!4㷣_O2KK IF;Oޙrz,vUVݧcTyoK> 5 k d0Ϝn&ƶdOl ?&JU'*_(:Z1pP2H55,IKszf'LŊH{[ F^X"EG[/ `F |6U#$ _9I+3i"ԛ';W`x U`Ҷ@b~:EUB6;%d2blś%vzDO6c'\&},GSâͣV8 ņ;o Kq{AVPP?[b2>d|R2nan 2KAz!vѕة~cu7~vvP4'RdT-A{{p U,:1&}zI Re`/Ŀ\h2"ZZ e?wݒ3֡ϱ9GˡO_H!.PBiaBkɇ_`8Š;y 8y4qpVܦ8\6ȴ)|'N!(j'}M;"BOH_S|o瑪EbNI$B<]3M0Q\Џ nNfI )jSwA`U6)Eԅ%pa>7%bztXTa9i@sϦYU+U]m11vfFRgnwS̋RD&C0ti{k&+. Ÿ~) f\SLjsSJLM|ͻ'G( "goNZʹjXOR>l2Ko.iw!.cn$1"î@`3\oסm (BAatʪd+hG= q.XHbQSӱSqWsAe=5;$a&ex(0Em/ضJ}!F~8p{*6`]P>})F8&Q\" Y>J&I$;N&:FX4 M-U~ɀCe}NHzcc% ,K7ai99lZW,qIАG)V5 q7H)^F jvJ~t(+ƌWx;Ζ*%G%2J6G5x'-?tXݒ$NJxkhv=јx2yA.}Lq^֬;LOxRV:fZia)c7O>MFخfjOU>;\<]R'bvv] V:WE21pK<3qPUXܱ9Asag5*S@?)-ef4u*oE\8_,]s%?YΝ%>YGݙE1)靸mV{LgeZ3RơzHS=iʃܫfy98|#aat o|X'dL[K'tP@}Wl4i{J~>;"ISReuFL_Ǧ&T4wu ÀRB럶K|y'=LP;qpt*ذʈ H٣P21 ufS*ϒ0qCptaH& īa$iJ{g* !St.\GlTfD >Lxx#`D_3=R|*Js%D.vP (r/L!0a("!Cȸk[{dbs|e 0J֨(ҀOޕ+k-@A~}ͫ8-):e' d,)_ jdwo h5{kl N5<&Y*m=W|l],z;w=tw=SaCp!ccĖڈ.8MJa(ּíWFXj 7bZ㮡_MLnaj31EuW `)]_laԋyژA- UX-O;0D ^?;n9e0ۍ@`rlAW<,uY}]}H6%^Q_ut~c,'d9WZ0ƜwaM4O)SF:5ӴgKTXw2}s&2PlphW â3=4C#>/ C̭Is%{NUFKAOZl<7?lz('Nl ;5 ̡>9q*+%S8u7Lu[`P$0f}w$_}"Ӓ~jj{E:L7ϾL]^gWݥV)x7xd"!ՌؕeYm|pJT.PԪޏn1Wά`7QՈ %®OC'*a@2siAjsԊ]Ob9qPJS/ypgq2r%(12wӃeq@.W %TZ8 L#fZ{7h:e_$zI8BUn)k %`~+W@r= Rݳ>A7<p)cQci\SaJt*[5\dB$ ݏBE2vTUwvB%ufNTû˰g:Q2ܭ4! K"(.!"& `APhw}b㗹~a͔:le^s )CX| *@9o" W@Sߺa{vԝF=l>(ઔfE6G?l<9W4 qg$ f9!hI@ɖʉ4r!^ _ٌ{`m)c^Qu+E i{'T箤:1Z#;M$ k-_lov;'$q*K!3!yvsuώ}`P>'uʝ8*W(/b!8&fHon@_| _Q2/T.4(=O!܈eIn} %]9vL(@S?[̈́Sh!Qa0{/ hN". fGݩ"Ue[傊k+%TFFuչ9璥I_EiMͺWLd|0f$JS9F7 dҒg~ Woć|Rt<̹8:SOl}ƈlj;YjkrBS|'HHsj䔱9lIpLWUsM׈YPCCHHr f"^/݌WP172f{\OAl} ߛ;ê7Q ;#!,j^b"{(Α1uB0Rִ/[xPT)W~Q"ݻ rsʕ8^ʼhr]X"jdB&\Џ8o5mR 'Hխ*u3QU0^+5p<>#IV} nd:Qh8,tkU2{ Uk<K|$߰~)Z^ѣe G0o Z@#HYM3tŎYmqOCPv{Va[hI=(B*aw&K|Ye|~@Ac^˘`W3骣5s'zS}%j!M]^s6OTa24 'i$.b,8OC,`d\,FrrY"BPFE=$w3*j'hr<>01U{i؛ 4}R ^\J `Q*[WoٕN|/0-ˊD`tu){- lmj9ogKrN/,dSGy'e21n$ÅLA֢5 Yu3&'/ޮ,a" و? 8EC$͆xC$zء73[u婌)7[Fu9(яgY1@ p2/z$ B6[WZSp"Wg|ɑ=X|$lUXlv$*V"'Xht}vG,'V^NXPt~;I{1|(#G]sc$ |tQȳȧJPmCka$n+b1m/$Fc:!ٿF|0<#?`K=VFeq""[qrwl*Z?"ݡ dozK?Xɹ >llJ6ϠhmK^?q'rڙ`JBQ.[ hyji 2oj.BeExGQX"v k%C,ۚHy[I"0b77dTQb A||Y M@9?UW%Y8/I^0-<黛2w &lڽ6}gWy{Ik)+¾7ҟ8}o:i1h${@/e ľơf=u2]WzsgȈ+HC>0F- :љũ2Q;kMИ'\x&|@@% 0iWUd0itٜgЩ4Q.Q8:X2qyxAmY:ا=tMv])x,RAxk Cqie{[u ,ND:K_^o.Ɏz}.BS2\D*}_/A[#)K%1z LHka:ܶ*N܋ ͎P wu]Y0'G3*f t@J(Q8kI Γˬs qT*Sw5(ԽQg=)GvJW`uń3khsc| 0g7N )A%'!|AH#wW v!Ob_j.U?k^p-gȋm +eǢ`6L Eo;SRׂ ?XrAXhƥ? %׵m!-Gjpqvftpdnt|D- ح^/\pW/g@`ą ΠLWwm~/I WhF8ۚ\PgtRǢ1c󝁉mu^Z!vPn jӹ*s^v}s "7avg>%~ɥ>c 6`kˬճㅝHc@D`pa{ET&岕qSƹhP'}ΘFNys3RQUrlG_RqPP⍍|;倜5WҎ0ow9P<]t59=ͻ85ok؉_}r"0di^]y/p8vbN3eRnvDy0LK>"YXBa# $ɩy g=~gk<;-mG ɷiucY abUQuo5i~lt 0@vcP@(;3HCvΗ~9 ]VQxF! e5m`л}ܢQ Wmbl&PAJqEA:E1S`D*<&u ݀*4xى:O;:,V΄ Z/m'57疈``k@o){ Ru+:R촠%?Dm}a@8 9ZQC/JN|