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 4/xD$ ]/ HOL-Proofs-Lambda:threads=6elapsed=100.105cpu=119.084gc=5.8647zXZִF! ]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߯v7g|CZl;I 04ﴘ}eH~Vh_lM $+h2{O?^)W#gZĄ ZdYD-I(mbnte+ 0]'?Mt"]R[r!)6 0|bG|h)͚&G0N"Mij;U鑞eX9\Qfo "^-]|*[5s c8LGJy[W`]y;V$Xj~,yCR9|3lO;WGawY s }˰@ZO?t#a3ӂ$^>XgX 23 C&yHarƎ>94tj߆y7h,'%dyrːRfgYZ7zXZִF! 4L]ŗXi%uBOJ!Mnܠ0-HxLI*K˴%j? '>.}Iv+^1OjFe3/ 73\?_{;Xicn}*ovFfiPq,f%v'L/5]!b}zwXG ;<q]Pےc!F 翂@, }Jf~%.L]1Gs˘oyFZq.\ɔ;PDf` R\:^U^;!e#''u[c_q򸲭ړxWckNc:<tѹN:in2ΣCdf?P*⃤?P׶Y,RT#0cEPͻr\2<&ws/NugFdCdEzӺ&}TlؒQReM9qfB_eV+u7#j 4%-O\쥨zSƆCb>A+(w@b2 n&S`'la$tذBiLŊϟRz)bV@p_2< !@y', Mep \vwr#_)(LY8[}N3cSy~0ﵠ~5U{ &="#? 8pct#蘐*/`oɝyVAσEjPZ9KE9aa%qnp?Ņ\4'3.d dfZ(9fqv(V[{j8/n[ia5%ScenjJz KKOePL_3Xyc;iJu`?aX ]`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 : } = J y >   o +)J wO 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.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex N/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.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.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,bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBfҶ!5pDr\ʆI DֽV\pr',X⃹ X`[4^? <%PUE1ȃf;_߿ $FøvD5 DtOeHSߑx;SMSJv4x}P"+wY RxF ! )ot8-N+IL*|آkkH@ҡڕ@CE(L$Nn"ff?2ck@Q+PI T ߸*uR)Xf*]7#puش0{O=[j9 jk&&]C+Tvт-qLqCoL/+"ARvv7q`Zmp7+JCz@)y \/Ev 8Gs{Wi2 b/mפbG7$OF0Hb>m`}l/S59aclr; $]4*?ثb:y93-4S} @%_@< 5̲̖Ɉl@($jN [r<r,<0GS*shMͩ竒yX83MzSǵaնY3uƕJsj{3kΛd#]M)\{?ʦLhSŀaϱn[W{fbd]@49ӊf0dɊ6oA\]57o>q['}pVi{a TxT#NGoxHfh0#mן71eݜq!赒%YtgS^2v]`m$&^?kc"k_˃$RY F?+%Q9g0MW8ѐNZ 5eNtNSwLG.H+rau@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ 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 SS*/OE 4HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex7zXZִF! t ]A-MՋhvG"uIBm5grwjOE"\8q89U3}/}e3Wң ˑS~ tr#|JxSD] - T9|LFs3gF5XuaD$N,?kR%p^U?ѻVɒcd>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 {{ /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}-R*{xUP0EK`b2Fzg/6L-+I"M+tEuB̺&m? ʛ63V{h(E=m)ݿK0 u;x>xu@]D\a`5*` ůzkabTq$?#4(:C햴' BzRRE!sO`.~KtOr׃5]iiJm]pbW@jQr}0t<]gv_3[Cl9jIEl:-[k^J2 ͅ&eB~1Z@.p{oJiSqp`;Dv"E)\q2SI\`w cKj?B5p6dFIFP}JԬvP'7Ǔ{g:.UQe\SU}?5 ƅd*yTTui(B o<oN!'MZ@QI+hx,vP=OPlduXc%1 x.x 9wb#G YPBC~ײ-fZ _Ō#vz~7V9#R $d[g8&*E@?(<`:[5@͍|L,]65Y~WiK[nϮ>hӵssP\xb\4 ?ȷ_:*m'&YG/5)K/W-"Oo^o`6WJX `AWB$'8Ĥd˒gYZ . /C9 THOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex7zXZִF! U']A-MՋhvG"uIBm5grkܥ88ٹFqR?̘s7<ח-z0Msёf [cS #z-{ĥgpNhWw1OQP$WTx-![2s0'U$d6^Ol,Nv}<6t+[\n,o^i.0/f1Wls%k' sN ,N2:Cw~߀Ɣl&zYnd׻]|k"pLH1w~*sb ^=0ސu*.'¿_3uldUŢCU*KL`HCT:X:{XH ,Gqq\uwQ?4ͽRmb;y9Fs;gaİY)Z@~pG7lRc2;,h\HYm=wr=vxz|2| @v' QYVybb'H_ 'X/7ڬmt, XîgU|hHr}a|v0ǫW2'lLɯ͈UdeTm.!mK%V.buA{O9*s U4OY"&ͤ4St 'u\?e"u\ &QB:h6aإpKwO׃Mtn@Q,11/!l锞.fO>b >TO .% \3) {ך1{=lGb!!VV4:+E2y1ӥҞiMAaR;ɮyPam~e""(8U'#.2!=1Q20մe˲(NI0Ҥ6uknn ECJCsT^$86/=0:+L'-V]VX,;S8;iyO'~zbǜ_>_o+=B\'yi-;شHvMDt.FL #9p9+;ÖL~ю. Lq5Qu\v$.r5׫!mUMO5.@),:~X"X6Ū_LA؜Wًz@mK~US\[R)I%-s@A*"L%YKm_; iZ@qSL:%jVNyu:F~|RB)igځw C4W#76ajx[F%T^rh Tz#͂M?{q;Dg $'R9B{w $otxRlv9MOJ2ZB&)JD1YRu]>_B`LVy>n9|̣Z@|VgN않V1Bnq.y%ɰܤc-bA4af#u[*9жt( ČRNÛ4-Y RB nLjfMn‡2zO&b 4,eLhrm4uìH`.YgYZ ( /A7 LHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex7zXZִF! D]A-MՋhvG"uIBm5grw1Y厝8l_ЩوB]O߇eyˋO˙G8 oCrV,w +t3}Pub<5K]Tp B5bBS{SSǝO!PG=9N"Vz10ayī,0okWXSn9e z&Ͼp馄0y{{CB@=|,>Fd3O]>$p%oIP =be=`E.ynnkW )sC$)l <4S # 3Ev ,q1z'' lяX)K4`3/QParHПJ5O>2;|ASį\54Blx+n*F;1fXVץ=7 ,moV@R~[C(Dӏ228sLn9= +ۦ<e=Er%vD`0 mfar Mh0sp% TUf*C]IPqZLNEGsj[̶1c;ڕH 199I7}bY (MmJ}d8>GjGҮ9+qZurh*bkMc:p)~"'k ᛗ&cϵp_5{iuc[Ȟ>5Wݭ0=sbvv𴾆HW:%Y6@=눩/X#h>|,lɖnfև;aۤѢW![$o[g훗P>&1Z9zT}'r *$.[E,px{9 2OU De}\!'K)+r!stWv85Nw >˂5NP-vXkKAd?u_v7M9 X*3ʋJ',W;c!p.~eu xNdXSR-wBݧ;rʤLLAȽb0!Gʙad+-]}L7]#rbrqv )Cט F6>lA  ^(=e5!v_,^zD52H:˿s)7׹_|5P^hU:х8.Bɖ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,57*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 L_Lg/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\HF'_H '$njȀh+پ % :)# F/ׁor72`݅ֆ/ӡL0Sf,Oq]DjÿƛO3O\/,lAoVkd]VPO*r81xŬ@*R :pV(,\'<ٕ r 巚g>jFa-B̼eaS=_zߠ|kE\Oa'-@\/dNJ`-\="N'(wG,Ve} ZX$H)@(g[ܐa'q|]9!oBcWQgo-N`Po8K6kOvVMJcΈJ|M;G`WU_&fNjI@qᓻI9( [t]{WiUUTn@ysσyr-\تwP,}Elb5#Bh.xI773xuHQLú~b#uM J+r5,jgYZq /=# tHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !t]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~ tYSWha!mdW5Cw`\67* ѶKca]C(ò'CVi>PW.f&rA*UlNcWU˲}O7sŤSQ|{R0W #=Iu_iCkMI @)<7zLe9>.ۇjG1{f`rUӥ c?]/=!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\7DG DQ4$-|AEGکo-Bzgl 1fP DI~&ν V^31N15UO1J 4#+qj=zhg~,q=[X}o5(@͎ ^sgrn NHKcw.7PRІ>dȰ+劏&}f[H.YS {)=N;u 5m[/v v.e.h qJ̌_ӄk{M)I ]` c\)z]}G' QrݒXdYC(eJfzBuڗь}bp$<~`2̷ᴊv*ܫ=Ҭ>pQ1ա>wzMLb3b*^,WqgR%s?D{[юnh{Kmv͝}SZe=|ĂL.fWrWN reO =`upp`K,Q *}ndɷ;iӓPTWh 0ji$sZw|mT۳kٿe"56o8AR,܎+逃O9\FХwiN6AA.xἑfia6⾫l!TvQWkXads1At7l3¼݈|x/gD}\-zs Ǩc;-^TmȠP{Źjp.drOT=|\Զ7X'!8 dl/qSK׽~9@BznFʹ ^@xa^)q#~=WML1AV(.xQL=aھmߕ\WY6kn>z[(:$_8nENI}bӷFkg;gV 'k pRiIfW񏖽!rnYϪ]oecl*/u?3狞f*dH3h{4AQM gMo~ bSMLXXL)xps2͛x,[csIs'H\Pz=z>4n EtI?hF)YV#fb6Po۰ule;~pA,gb} }܎IJL1o>[kG/wJAڌXE9(uk]W3NƘf:=$H#֗ez,Zq>2![!y5{Di+)6,o6+ll 7!>epz]{QyFaA1}c(mWZ.1XXm>(=QRh%yu>E^cq~8Ze'ǿJ1f K|QxǙ<4RLOG S:**.<#㤊TT2ꬻ/ҋŕ9zNHA;ͣ0Ċ'xh)y61GԂL// ZI>eN&ONA;[sxB'wɔm1fʊ7AQW򷅐 VuRt`7J\!ãl>ę|폃\& 5|ltkW(!t7wPk# % ݵCv:p/]^ (eVe \Z~~~.0Koi)v.iT\7ED{h=ǽ,V2t笩*ݜyǰ13jQX (ZVT/͔\ɤ|=8OجqF_+  !+*k 5lAKxDE:'yߝ׊Qߢ` T2R^ɸ^&4+IhKX|e@qdVlc `R( Rcz_bw)}t?*(ww[^엺R;{?u.^bڐUQFv,j)l[͹+3Er3 bx.-ӹ"Y4\53~Dc_w:jCLt OfvxN>#۞KBoG`xf-&5ha2xgynlnku0Ğ~wGA:T3[W4 ERֆ`'qD+4~\O?qJcz4w&R#:RͷZZW[V4K _ U~[,ʺt0Fω._ ,۽ PexbDAsHp[!,6ES7sҧ#,XHi]jWK- zG]NUm299Eo64SHpဵX&e_yHG,s2'= ew&x)at=~^.@DoWatمfefi>٘$V1a1&6?6.Q`=c^1V5צ_m;XaԤ"^!TWnϑPj}Z2׬?Jkn5*:'97Qvc9h _9S/rA+޸0x3iS 5tȯψ4uI)wαA;))TdM,N`5haʿ5Oq=`I|?>FbY^'ҧ0rVmefʗN,$ F)qyu6>/@ }{\1 ym[NE37?m^ E" +=nq(:vǜxrE)?b].\d~A?횵'ٱr HW!@>r*r,%WwuLӼ+fs2aTQ D*3\ڼ$kב{rbuT2ѭ]lUyxAHYcYu.ehM$a;/YFWcsIwى̪Bm) FpJB,nX剘YhLUD<J /k,af65o 7'FD p/ilc1_9Ԣ?5qlm&8w,Lfz V7aR AɏI87#dhO%J"Nk / E]H,+XИgјn_Da88MwBԕiֽ 6ookN:%LQʈXlF>v=$) )|p0 {ߔ$*wzZ}ñ=G_@3u{ȼVa,Ѯkm3nHH0D)Ai;\cD/m6y0d"ZJ!cftCxW ;à_ȢL:$a)S$l$Fp=ud 7-u)n[][ũ AC:-WcF^fqV{dX Bl,f2cri6(T=XTvY͆S5l3u_sE6pYŞéAl對mb؃DJyX29څE-F19mRk~u*7@8B]U}kZ-kK&-:gZ[z7@E#}8C, 2ey.wK5C{Iv"K|٪(闁1i%0 wV^Xr=N_ZJ\t"#y蓍}kRnAe=-NtӪsoQO)}3o{FWёdfސ'\K}sUYz K/Klf= Wo? 'žSU~Mq2t%lNB qg:hڲ7>,DCjs+}_T?нK:J 7PH$6a5u?@F\i{IR‹ /dUwHh-߼l@vd#j_ )d,`!g!~Hg&] o: / xY;<-:.`zNlY5 ~YlT͐Z;oH'g"`bOJR[)a?he:)M-t4xs- ڒ]#WkM/x]|ͫ!0j|uvJ\U"5@La:h.".ⶫP=[Z g e9I~{Z3jvF#+s c?~6PBb*k8 N3lsK7aw+SE=ʰtR'+,&f/rCpt*$^"e13>|9eG XlW-xY#,R&Y+7N opY9;|MH7M4 w%"`:rd?wK|8ݓ2L`1#['17Ww*FJ*gNl X'f96=_On !M.;VM~n75;bs Y)42;e/Hlx |CYbZQLw[pxJbviB;s@k͜>$p}p^IN5\> %ֻ"-& N9/|7Ԓ+n^sa)H:?PH'XB gUFfVdwҐN05iT)X>)txV,~ (l9gLP-bnZSK$8H DnyZwߓ fn%O.7Ci c6zMmzfs!wcXГ?3Hy< WRK%o;4T`kLEGft?PqurSqޣkF .~R ;$Q48kCV^jiG骀AC;UtL~XwD܇DpgorSOMg!FM =fe50+KЈ/nM@Q|聝+XM8k *z%F-@!jȬIj!쥉뎎g!Z~v'~/ohg˫bz.UE hB$13TMjj0_]H/ƾ:If[kO*PRƨFiM?ۑ{YD8S͞!Cgf 6DM{A_ G+1vV@5ԉ΁ZJpT^xL?1̭ /}Y b]1^`QEKXTa"HAS߉OqegLݦ?Mo}@RcM數.[G'lAd|EKn;R^/ J `Ϊpӻs k})Z:tx]B~ix9[$,H+q߳0Y_Y)߃u1d!giҺ&!f] yXkR1P S ߧo; /UG[[C"c|{/xL" 8 BC RnŮc5? rm3!<ON-+qb!SlAiqaB!@N(nP2*&0M5|ӧTQ)d0nQPgntU9]y`:E. c9_ɮIo2 uU;'7{7jU˚̯In۩y(5IMv7YCJMUgx} ~&'E+iXmGMrʂّu -orn2`F4G}7@7cn:R.F bסiQbrܾFuoaoėnN4̂65kVC,B}4{sC=Fp݉ZyAb7Cm痚eX6cAΪ{(9é80u$r[kEL@kjj)M%ՐyO' 5hT-ag88 1|A f;No\BfXJuGNԮ, p7vCJP![ZgUM)^6Ԭ]}@ҪԶ {}a߅;ە7X zعWBwD`=ˍf">87XO(`#i:2i9c"Mq~{A~F#)rMb U!R }819O)q,tvqg'c7ԂB$ Ƅ)%a}gyira&=Bu F\x yہjٞɬ%c)"H~%~~GYhz4"xR"K˫@+mZ\D2!%]K':bo%FwҾ WoU@]?qDTGI@ZHV=e.[f%'dCx8|Yَ25`,0Im ۦH'^xu &@-gsPZԕ`_F YR/`_fM& e8Qw9S~bN]tv{4<ДrĠ/8$:}5*h쿖g &LVG@mE="^Py #$y,WFvf eLO_3DC&FgZK$ 1#qVek>$FISbZKT ~g=H):' \WOKSh,O{4n c~vg;=cT IRd/ FꊘD`T@uF6r҄$D}a8D+c.j?FkL-a[gYZ  Bo/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files~~/src/HOL/Proofs/Lambda/ListApplication.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id206?/G' HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7zXZִF! (s;]·Iq n[:|&[z'z#%N@,'~B #]4eYyg`]g\?I-ip^]_s?Z?CuuԵ\Re($Huϕ Pf3M"jKј<BFt ?{׽Sdb6>Ѻ @lt\XiIlOL)Sp7V<"1rVsw."^c%#/lRECe} ̲HQ43L32w#拑R^<YюtBlŲ;62~!C%@͹>jgZ@fu ! eKLđg4SBҥ"^\ɽ<$DSԉնkiĉ`lԋ,uP`h}`[/iƛ\bOWkqp۫^%PΞ!\HԲ%n\!yq'X+\-g QX"8=HbEډmL1| RX!Ggu ȍ ho0_*γ RcFY> Bbɮ*{`0%.v)~޴ɖ x+q%/GPgYZq/G# lHOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup7zXZִF! <n]ˠ)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هېHG ʧ8 Uz\te %+<'7~ c¢TV,xr2o^: ȫ3$U wXܤXo0˓ՌS$ _Q ; #rqcIu>K(`S|:^Ac* QB-x8i$l\/枟Pg@=judFQy08:ϫG{`]&T-ύ-J Mb+,{ ʆ% 6n[\PEY{ZaYzK!d8tпk2Afb̘xz&_TdȞ+ rf\F'g z~F)!/-/-zަ1|f}*=^㗂yQ\{NKCQ@S04U"KpA(2L%` Or58~g Z-.˗La/.t0ș5-Ր4F(97ѓ q f%CABfּXqTH;TX%Ÿ ܩcP70tP=w!}c`l c"Ƭe4+P+ nN-ly1:2Lzmog1ѽ~Bd,TS12CÁ[ 3)2mTš Oa)%hqYpx'DVi%^VQ8BIS0࿤3Xdh=w x*\]6;jiC+vX QPsNЂr @I& Qw .jk.X&*`"+W~ ݻ|MrEn}~qTVCm/D}qHbQ5x;!CsJ1WoPt`tAs@CWo~z\'ZhEDs6?[\{)YzoA`svY&O+8YJuBkl޼"r_bng x.ۨ烞 Tߒ\\6vZRzptA@ ›ıb2^胛y.50yYz 4{SLq ʶ{)]QY(sH!]9X.%?OiX.3=|N9x^ڢ7SskG9lEWjW巀гKj4A !ub&.LKzki{pս}rޤ< x2(5̧iIBrXɑ~&=L.>*6();"#3HjpcՋ]AEnڱ*^kx?*VPDt3z hՂ=W$7z)O,]4t I`klm$ xP~57,rVd_ ȄEl{c$|4 2/m랿* !ۀv /J2$}1}[aՓHGR3G!8!>#ДKrjOy]\üLtxLXpL6{q]]!6p9hZjDqn=dߡc5#?QEiN$Zq4W69;~fꃈ9,4Jw`? ;ͧ !hg=ϣW?_3yIBBy0&gi; ‘>4"B x{z>@k=G"1`\z!zi2na QО2 r؃Kę5'/zϦd~Ya<}(U3Hz^.+:6UTJӸR?Q#> ܧz&oM+~{5v-ܼ_aeo s;lLrN;tߩF.raj=m^'UBܼ|0T̏\ 7 ^(&d iݎw5Uܔnu˹ 3hqn2i,laV۵7χd>܎NK"f϶0!q}Y+鐾4O[)zmaH]C qoϧi> ̻R;RA2+J|z'{C(UZCnd⁻\|_?#Z_•uf(dg·(qLa)Ԃ ˗pN]}lÚ K R͙ʾYI> #IGvJ^3 /bUF So1]W(|2r 8r|JD & ;N`:U&G 5%5E Trx)ǣEe3ljXtj ]&% E PYDC"sq.t[ޙr 5XZy|(mxIbZ7c}U2s8O?o%&Wjyiǘ"[;E.kr$ExmZ/JHnF>XXxFЯIj_]pFhbJ]aJhҷ;ձBN+CZ2t"E=DĸQ'##BKfBuP=#Ӟ~e< ?{7)6>{XۈލclwA(ǐ?hA )0VX܊_E\2G:֬=T6[Rqmy`揅$Au'ͺ>/ё=Hb }tU>M\uvl[F)X 4 y.|,L8qc)Ֆ ;n| \~z(W7tԆ-s]CTqβ+#jt ~C]W5s:98f1i.u/mEJG&_R? |${rI, _<-3)J!РIla]HHXp8 K8MB]$uy;+5Za|jNl?dF\n3+%]Bs0յ}R\$^ׁ/\rPdi/h>_.H* F|Zg3 ob*n"v͏zhF!޹fkuBu5ޟ[djd?cY'A_`۝m vQW-uqDD!\;"y v'v~ .ak2)QA X`,8jciyѫCj.> }}4^ Wd#Zh"S^;X{n?Hzj3ZpULOe+.b FP#y-*̡<}&1 %1M $W踦EoO{qԕkDВCB x c  DNŇܟ 6QHh^ڼaxLȌlZ >zi}eJ`×Nlhd6ؐ@C`|SfM/ʰn ʅ6 eւP4zDO?=3ADv+%1!~ Ƀ>xZkN,=b2{ㄸ;auw \TgOkzqpF7 7s ^V]?৘TimqAړo1Mm_]XoSP2u$ؘȨxsMUmgjE]Ґx*#0-i0TqBނ\vYGW5iOсF-6aF_ԊL0\:/58WPͱ  CuPn7kcpX,O>>i*xD)D0-s6fus`oCo i !2?h[]+4'ʃ 80Ysœϐ %4kJtzɓit' B6֌4V[}M7nNUy>r|ll%gJӂ1}Ip M=Pܼ\ aXuJMYRj.~oX *ECz|yDʙ7;mGH-<}`ގ(YBs"}]@#Wqa.nמԑQs@GL-H@"%&>$k1_ue&&D˳m'W.;zvJ1]qVj~B˃mFCvMg*4>J]|;W`uCAchgǹϡV/|;pAg\oE;\ڀ Ο?+|8&z%<5+ԣ2mܻLcXL.%cΆid!-*bͩs=@H?2SJr/Mog74#)Nym첣Oq"gךʇ8ѾI Lֿx@3k,):E;?` ~>p l(qsRX?3TT1TR8,˜=4";%p+Wb7p1Rٜ4Ʉ 0=gYZ 6& /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},AgqDO̔ !꩙%_|ZunC?8`ޙ}f.h{6I!K҂m<nj=Ql5/OYOEgp2L2u)K׈l'P#JhUVD0.,XQf t PSg!* 2~ h/X񌦬%U|ݡiTt%On7Z$ UR!o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220q/O# dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markup7zXZִF! BH]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrq2rvZԊ-V/ {JH !o`7|oS߄쾬h:J"&JWeO3a]fp@HN٧K:0 3-7x`FWJu2ZYic oƖ஧)7j%/EHj뺆Dz `Ix)6 g*)~Mkx;e왰92yN.VŴSM*|a#wTdS7:>qc]ⰊVAklVF]PQ#![u^t'v<D]i\KqֳnO"αದ^+4 u'+@N|\2u= _{M i #h3gƬ2|GؖƏlLJh/3JC%Quj݌6ɷsOKzxzjá' 0$F 7a*ܯ·y9]!.m #M "8l^?1.mDSjö aa@@ا5X[1ֺb{E#aGӳC<]#Hyn9lùb#[􁷯Ѿ iLvQw6WVm#̀D׵˄±;9ސl%ONe\N#¿بW ~ϲњ64y%.yRPEWJ-3?)K_#$TsDΞN鯀|?Ρ;h&ץ×p GŞ!#&si<*9C9bj;֚ ߚ3y 0G®|w":$r떱z;V^Z>Kw,Xͼ8*FЧ>JǏW74WjV{~9CA[0ծ,쭫ȋ!g|M4}|%:(~9Tm 7)~ЅTﴸ_u2hTeN$GNr 3& 3 :B}p;a:\hdI). mI[SX Bښ֌.ߟ"=߇! I?*M9)~M@hkVɷ('ck HDlqIVQ1JIxbgDokvA' %Rsԟup{h6#t#b)%[G:6K tl=){ ڋ Ա\Ye #VjYz:VSczδiCkz L ^!ՃlMBߥen&( czݵWG)^b u^٘ ͙`].5yCmP5\1֩x_UJb0.J"_isNS<@)AxVR4nT,_a#1ښpUA^KYFp(9iLNn^3.詌xFQDz(,^&NV.V }GӃ LJo'd]Ҽ\u.dv{a+o<<ؘqZ5R^${Ⱦ'&O~5mVmTH":in*:uSƤU2eAD W)FVCCi9!xf0 P D^}*'-iqjd~ZnB^-H/y_%,CftMxbJj$bP6ϋCpj$K2V+F1fa>s]`_B{UO DF)qJ٤[WB8gFSmd`a9 6+{gb% sr۹6{mx.vq%"N!~e0N@weu)xߐFJva>j vm_ː` VTK'3LNtVA;tV O>|mN^H8Z# ₄YeӠ/yLjHCC\,Y pC\(蚋0/3{a;|H S,"27gO`Tՙf~1N+6I=݄e%+:ՊaZ:?)b2t7ыLw< b;CRN0#?͚Zr6vMK-q6δ:zKUKDId^;ke$ѢkD2Zn&ny]t>DB-wCz"t`I皎{K7 tK6ut/IM}a;dG0NmzA,tQ_+8NT~%5YCX2 #˻xq♗(@Qws{t}]xE6O1(2YC}~@ct ! "|&UE ,恴$C ǐ7q5lCC[8#53OUP4ϡ=Cݱesqx7Y谁͑j1e1Mũ f>^x_J9N8x%bh4dMb~MtDo+H:kx_hp\.YIaX?6~{$.`HiLii2G"iO Y/GG fUQɦaseÖ*=qzEh RkZ 0$~6rQْvm/UO6V?C+Vz?laʇOҙW*UUn.q lwP=)Qf,̪HsDlCpwI^d ruZnI3*v'> NHi/ohO{=ZwBp+0_ iVRQԌ:h=]쒝/]'6oa/7p#{zv65avYI(l"9aY~l6B1c\K-gI`;M!\i玱 ¶:ÒBtSVYIҸBN;cnZQwzxmZJ'xdm Up[e|N5^fRLPG$v9&ל 1oRQ[qQ*2q(Q5yZ{?v?exʯqiL:e/u+SG$ kSd* I*)gMW8]&v+a5J K6ioR`cu!bpl]Tt3z|?ǠV/k8͚oj-tsԅ530{>tb*?O}h°8:kw>uֿ-{qxȄJI */2$wBT32Q"'RMmR H3Tjb fG[q-"Nc V_4{kMYYxela{%FW?#. T~ 1,'?o ou081F={f-QGgY"l|JͭK[F/ۇ$'lg3މBWDTPzhGKiaՔ\x6NZzx<|_}T kvePP]ŐwjgŒ=eYqa+k%HJwʷ1ƺ0v6X?|}Vy@_(&:SzlE { tWu TVDaaSIC]QOxY9(J> ,pva{]XZ1|X3&lyj.cLiU3*%Ne- tm$ ԓ9ayk[:`+t$#EklzwNb/Rh ^B4:`$@EHCP<-v`tk71x[R>A]{RF3T؟ 5Z<0i霋a) ]z爋ʩQyg>>L?1l-Ʊ[8U$l/ /kR)Yj1O"fqpSr*ӄ#SWAQ7GJ4WbA:mhF}NU%I4x)^Uerֽ~H@Y?<Mt%A*4[\Ap9kES>g hD9\g8yIIKĎ `R  #2b>֏>SG ˋ6SPn@ W!£2YHӿwiH(^hm*HkʠАlWC? `nM(THg myn긫xp6=$c]!(@A/`,@@ (UMsf%vgZKvց 'WɏuڍQda>вcw,!RLSZ$}ڦUa-zm0cl&2P.0 ,nX{P:a WNR4Ҕ VgkAF8u=JA ;Ȯ{k71VEt-s3ev=dǤA-EQ&%btLx kaEUȏ%snYŝ]u{Tdm`b'$gwi%}. eL|E@C#aJҤ~ϣ:L.Ik<=U <}Hb_@=SBU$U8챱IYMYdeY9%j, gRcb1Vc^WHρ5!~/Q3$E?,7CF{pmd:T3 /Ϊ-#Dvh`3)TC͡m|b13Y|Rikȕ%@ҋF`\ Jp\ݧ[m]^ Q@Q!r©iu7EDvdyĥ#VRRiK-/f$ F} 1aث*#Yϴ7rf6>۝U^֌ttj&gsnv-H;/(zœ y5]\_U@{|qjsY3t1弲_ޚ̑5<'W4~MD=8^}x2-}I=(Xt_B EeHS z&%%u`ܮJ_QX΢ /p6.-yD& YksᄃQJ/xY [4^F ݑjlLaI7uD96E^7i@RNʫM矱Aƽ[#*gʟ?%n^P\X>R8&Qձ{j&EvQSkiAu9 G}a4g(osY: X!kj89?L򦞅*I!&#=^_]X2pɎ?(Bxsv(-|EȻ&kwyF `*!mB2\ 48'Vw2f @%}kEɥGz.Z]WPFxL:68=hyf g=/oY]=?JbF4<18M?](R'>F4SRal8:0"܃$S߽HG|k` gysn9/r z+HexJDJa/dHXqf&@珞I >qQBSfwUtYclCo <ڤL[%V`zrgxD&44p-(D$Z]q4ec4 YQpUB*\Q-];gL/D\[BG iǠ6Ҝ8Nŏ:r@>ZŸƐ禩>f f؞n3,&)051> +?G } j1ƎJ`ĉmu=Vv;kӱ?zJ#a ڑ32hnyۯjb |vjj{g̢,ʰ+o꾝?om =&P){ZnDfiZ RP_ K.de_X*AkHGv dPI3NJ 6>uV#T#蚛Ã9}7/xwatRVɹ-vȷ<-v28SVkڽeO}hu75ʏJM#k:3H8ԑi;w< hܩJw:Xo5Uq3cwm~M1Ue JMbqȬ]_%:0 9o3P(٠kOzйBǮm2 iQaZ # $ zPRa."#JQiLh3+2^H1 (5JѲ\(V[Z0H<1~m*"1Sx݂z>H4®J0 /Qp1ay{L4<Ye [H[BRY쁀ĒBP_^(CEˌAQ)!쎾6" 61\`|'f65Qp1b~h&+DP ";'u@Nѡ3 f^,zTfT Q@ԕ<|, JdSYt`kZ@O⛘鶘lM^38͌1ȧ[ Aڵ˄52E=;OMŝv>` )ހoՈϺXy8A`Adlr}HLToaY)?ec2Ӊ4s M6L>I*s''w~;RHPN,ze\{gǑ5?!!fYke7qՠ ȡoP l)Mf2ԓE$zj3sLfў )c( @H7,l-E#&>>J@>Ls"/Eͮ*lZ]z\^La:V@nMK~fWu9{?=4}'Ȭ"5\His#`[g3VkR;k"~Ʈ@vf>=s6'Qc~߾6E%}!yUfr: }Z KA[ KSwV2Q7sCs봜:7LbfBٵ^ɢ#r}y7>~ڔ-.B1JȮ9$Aja~y:g]ЅxپMvZ=R?LՕ maC} ɰ1kp.@(YeVuՏRhċڹiBm9pM˹1J`W@ `X׏MBGʹMabb)Rr\W'fr&Ϻ"NßDd SG\Ȍ].1BcZ٥;.N0ŝoHJǮo?}343dMl\^ }8L.%ˤTP"#v)F:+12zf@pf15v,,vލG2UĺRcs-c`&[ v3`;Y>4 3Īw(#M䵮 >xB-$zG0Y{ff85 Ƥ앙>e|nsff&<6V\7#J޷םiڲ;+mlϊ$sۻ@'$ԥs wQ&V@WAAW#0X~-q8F8[=+e;a֍jƱYo b"KIͷI<փnrd0o[)~;GWb+:U akl jξعzPLQ\ ]?A'YV-Bu2d#f^l{JЏ\ƯBp&c?BQ8GCf[3x$N@$r̉oʁdVOМc;+Kuo6o}nqL†ՀBo4IHp@}_ ZSQdgg&{K2)(FҒlZ iK=jimzΨRO|ynQ$ϹH̱Da`Ih0/W)ѠLJh(tM)EֿͰ9Ş@ F{2tPo-35ㅒw+_ Dz(3FDd>s(?c謇I|UOȢG7S!Mns!8-O=KW% A`^k*:˨F\B)@_Ʈ*U݃BI8늱R&<@ I{uKKdLf,vdddY:,X{4C#̭/Ә LvQT%6HǪ׋gvzU>~l4?Oj-ujHSF71.(ZlO80gQh$M֮"5^'`;z?z|1>e*M9/1oG>8ؐogxi ڑTiXO%}[%s*@K)N|IoE~^8vSLLnX3SηȌ2kt} /TÆ]I)$b0X E clK*Xl=ET5C᷅g7tm%2r I ׏*&Hy: 5Vֲ['ݽ&)-7jz99ggICY~)ĦħxWuhDK;^n2Afe]ioM`W)ϒ_\Cm ,Kd瘴aAj>U;)W;g@P]}+[$\s l]F]<6mj+4F孩M5S@^(UJ>B ?F#'vy'7ɔ{/BK75>( dgwz]aV+z)9 qW\R %4 Z I-dzx4IFcLC##_IE/<<3Ws"KWO3^ę8Qk7`~oݲk|wųLsC,@S18V_T/`ObJ-j#(ڼ DfK,zeȸ2$,* +j o#ْ>/F焺ꊂprn'HoF4LfAJ4sN*yDp 8id?:T u|l-W~+K`j(PO )t)W@q}#u+%nЏ[UhьQt 3YQ e 1$I9E?B=/Mֳص^&Mг>UDeZzR  ,0Rϻ`'X59 jK\''̋`Apa`]a7:T`.'5p8bx,|wK+4a&ݤ8.aei 3M"aɌr-7{^OO8&]cbV*~Gu"XOlMV6|@IKZPA}Ak&wrWB'kO\ݳ3_3iҺJ*啲JE|Ly&5>Vv_CXR%hO-x1idF*tН0Q~\R13 Wx֩6E&gwOv$Kj`y$SAthܛf5ۿ̭3AWE8%?=|Ϛ\L}G7\b9)mo/7wubK%;@-%ȑ7]bKHE_=a.eJ_F,eb" xm >I5ފ1DB0sh. Jvm4mDwo2$OYr0x{i3k+ӱZ9oNҘh;T-KKj;8B ЈQh#sG˝|GJ^`"XzSdp@.P)!ԥ+xXVGI}TOl&ܜ+Ll܍c 7vEM'(v YQn3Ksϡ3;TP+YAc[~=&e:4ENݺ=aսRߕ{u~9\[_iU›i3=+/Cۭ01RԌ6lm&ʭUt{!a{ߎ=YAs$g<D6V Iq0Vұ\`D@2mʊ:꫖Uxw FHitʯ5id=# aXᜈ0Hq߱f ʜ Y+-Hl/!9\ۤ0"' qZxD&*Hܘyp-Sd7?L)*=Cťe|k?*6_ye`]BO* y4?[=1ay{G}|5բӽ-?wkUbsc ]N!\B֍g"a S zz[<O{^xMkR`z, FVZKcVGGѺ+zmy|B=j{ 4Aܛ8-qAJw5E.H承+f pVk榉M^r2'(3'ýynHJEW;IVۓT,RmXThaGOn{>X D]H`yVvo)J 2|CWFl2OL!(o`(LjTgCi4GBu@Z 5-Pxu 21A>S~xT X.cæY=#O)Xy&J/N),TN4cQ0CbDhr綀\E˓D λj(){}Ę{'̠g}oE{ mYܕU1gK=Dw t-"&fr[Bck(ARJJ44FqұT+pNw0|.?A&wH涊"m|[(172r\ݝ<iPW7aP7̑*whfP6 9G0 )O%֫Uf=,^aK| f,JG͊hS8+Jo6&PI/H''Mztٿ4 -N$b2A1 ,$,a Z;w~RYLYEn?8Aע}Y=vz&о;z:z6M?RDEUawgWHEV:Zg FM}*~S*݁,!4uʷHfrtșB nr&Zg/lX2b-BpMi&7*"A$ Zň i^tKgP:nXYQ+O룝ދtp`r^!E !q'C-A'sYHŮk2縌'MV8N'=!AGWJfL!I R븇&0GOJG2E3 3ɀkmꏚҮŢ5,SZ[j $SR}]%23{Sw*9~BϺf}۶A_C:%+>`6b6ԼWm$d~aFNIy$\5W,oWG=^7:psա S gUt 6` X@IǮXIT0qMS*gɃw̻N^1~xԨP:?@TZEUf}H~+a !FMyˠiDxWcӅf }׋[, :#Air.G^}U4ۡv/Ӊ\v?F ?.T>B[؞/&}gw:ǠV~(O Fa&q|v&L|,Azwlyq]_>ޏdEz* =)݈{^m^.ϧ x*^\-h{^Ώ{ǝӘw0bzpi`3D<꬇5zx(mx\%##gvC5i][}[" [jb0ƿ['܏B!\Z1 / 'Å<폄MDUkߖVtL^^S7SiiHmh0#Kꛯ+i#Q7 zH(ӝv)q6B+{@bU;x`u.\U,MDdמmƾƑ:CɅQ%hRq0ƅ E E=sɯA{h%Civ:%^4(obJ\T~G{d,3|ͣKgapO9YC f]l89(_о4uQݮ_Y݂%-4Ub-chnpw&JPnL3ƩG`RyʦC#  *-ӐY=zz691ĄˮԻjN= B4X ,UP⸔ ~>rЎ:˩Ϝhcy#q>8߾nT)^7!f=oܠdn12:}ᰭ ]Rİ_+-^8N&ʹ>8לE2Jh ?f|'`mjKZ%_L r /+fo2|% u_Z(%aD(3zG]mщ1X mv@dXw1ָHuz88'Z){ף1sʪEZ.xysstyOT)C0&p"Fթt5jc&?XEq)z$ޘLT0S {-F[jv{vr@ Ktz3fmQ%$)ʨi.;M5Udrj{LT 0- {<%l?^dS#1y{B0^IDSzWjb {G;0RHDQTqܙa;F@ qu lQEnaX]ڦ-|#K :hȔ9p9etE2t9]SQFLDކF4e&OXZhDV"`d_**ڳAUIu&tV |e/w5 r]uTCD8\,`0fʇiJmMAr׿}zN)͏0I]]Pb]{$2}_$LmIXm J [VJPv4;bѺҷ$,;|/]<ENdd,aá)+G)3Y/Ҭmvځ;˩הSo7Zp*F4}WgYZ  j VO! /A# ,HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! a]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E e]EZj&l*UoeR'4P/˅xqCZ|eRNSPN[DɸpPJ_ԒFcSX{&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'mi+@TfFN+{f8DSgnS9no.ڋ~[3I:g$N ufaHGtguˡ$X¼Sa &Ȝ>AWظ3Z١Kr??zŪBQlAԝkyV 쬭'Na-,9E[ըLX.'Fw b\%?f5dz~cϹP Wj*ԗ;eڳץw5xGY_>uK LFb, y/uRuY_Bfs://j,<`O?5Ec֣ XEq@y.>5S idZHv,n4$2Iݟ7L(%Gkÿ9[sTg+`O2 @Ow/'1X ĵI.cɱdcp}GSPL|E;pC'{qD,4vV#yFԲ}]Q8O_h%j:4&AePp)E`̟@6!0ԟK-gqyOvSĆE<ʚ*p\.\,?أKbwZ"u,[at#z_9c4!?EU>}gYVVu V-t%H]/fȨJ-qʺJ=ʸN_Z!sLdua2w( !sIߕC7<=_[jH1E%>i# i9sqv _BdgseCWfg]wzBVbmQ>}sBi|sKZFXn:,x<>!ݎ C[ZQ9$H!0T.9]w;A p6vTR1?s.E,JY˩V@'o4+G&Z$$c OQL;lȧk 4Fh7CSmԢ:?C2L=4U\_?(f6m:u?[Þe-1VR0@/#:X'T߂)qU0E669fuvy+0͌l%ҹ37h=Ǚs̄fZA"E5ǃs$t|\K1FZ1lk+\yIFv8F-aOɪy4KvnMm_Rq!A;K`8w +z=!Z4zL__@Vt |!x-;UaxllXd ٖ2nGgٕ#/ԡh_0sj^Z cQbiXm`2kȱ_VYSm yPPScUvY ~DA3>;Vph+ook`8NުIJ$$w$ 4DZ Vo9B 7 W_-0[q-!+ ͇1.ǀ`aRcOR>NaT3#Dh| F?S3bl''oW> }L|KwLBRm\ ȧG(ɾ|$k-Zjjylg`+*_-]NbЫV fވT!R'4=a"r [[xЋ8F<:~ 4{NLQS2]%>ónv(?D0`7" Roh6<(2*|[ }GXc*f0ʩ:ND;v"ToGsI.RNA]z!qbb[;to丈ƅp/m)m)"].ݎmwձ/3˿ Ÿj=OM4LqgENEP+ou`-HV?B"k#i~5g& $>SC,uyZY |# ?g_ ۱g O&ejOًМHzq-8>He9ь g]銚k*ktb'&LZo~)*'$ z=‰ZN-3s˨%IjXFKS$g@R7C|`ZjyeT! T/ebׯH aV ͝>nLJUQ|/% 8YtR ?[VSfxoH4ja (=rN%"C菀,b Oe)cNV]q\ ycs&޸Пn[9hـkXEf2(R3 !qy!#p+7T$ux_@>Qn?l:H6d?* pP~IU* %_+(cS]`{paX qs-BD,"+1/hzt_ZDŽV^6$Dl5M{ L~* =oy4&|E<H?s/^)#~ LQ8]3Bh%$|NBcImoR5&Ƹ4(~>ԃ^!+ !Lx`CG:STĐQ3Lqd9X5EξyZXʓ{6Qpo^a>;OT#F!0TE V]~t ˆ niǓ;%#D!V6G+F]RvI zWrOtF׏fFH$: ؍=:Mٔ9aBVԱ:N""bG,Oܘpk]Uo%6"v"Hl_V٢)/0.t%6G'KspJ1ٶe~_K-Ž0nnF8kz`B`a>t5x]W{gePbN(}Ku1t!k `k)Ѵ&VO'q(1_^QwE\)vsH lC9c>XY`1Onآz:-V7$c QM*rs$Վ@P!\&j4 Nф&NN3ҭI2<[>@Pda0/c &U[ׅr<ŕ*yy$& dpTSEUBSÚ*?}UBzX_:dX6q5l ?EvxmOP-ֻ :(UpbXjI|tKps!mLFNK 7,ķJBC#<֮V4sg B%{FrFgӘ d&#4*W%`؍_D piBF' 􍄧pBkД*>by2R<}Fμ*bvj',Y$fgc٬!52tQ9P.vZ;Ɛ<3"k w*SA=;`j)DaԴ T9ήii3Ӌpe΃ [TcE| b̡6<[dui]cOE^,C7W ".p&9=~ KP.ݫPuəoB5#5`*ENh-lίa\-+8:"dPtu63gsU6zsy/@<"y5 >9e.dC{{z>,l'Y‰.Um4c jJS_?NQ9&O2K1ՓD6Ct@ň ᘰIvG mȂ5v;^5ߌ!e 7w.5 -UwF)$_PÿYS yѪq7VlI XN޿`׍ {@dnHhӭ|7촻#AAfn'Oi[_ jXIZG£{#ZGsfPl%5ufdFE4ƒ8S6FTՐ!/@QO!JJX87BHJ <9u q~F1#+/d6,DC{newb2xN!97[ܴ[JIRa7W__q9b/!bf;q&C${bͰјyΝ3V3+Y-T}sfŃO6J(Cm/yا]̈́" CVDx= 1}i]n%?p$G5^CvJ%9XN4lA m¦%n\SX74+DshVqNROum¤t.@B5wGYA|&,iӅ8nMb{;Y3#US彳AuB:h`KT3@qU͋trc8I,?.e{+g di2cdNjK ys٩2\ ݱQs:%+p`vEs iQhbjC,DnJ}Z=8n8;o{~2ߚpy|[{2*W wN[$knFM]C$ڽ\r*dkO'~ B#/]-e^ ޕ1A6I`O&ނӼ2ixޭ{F%Em/6*ʞ]cIs! ,z`PC L&Q{=¼kfbt.*KmzhVIK Z*>+BQDQA#=IE_70dHD~(I73=^oX([UYPWm /s gj+f ցgD9_Fd;A+H{zEaA ֑t\"ұ/? ˍګ´xC'KЕ'(dX̥=uڇLQI_El.hr-^LiˬrSyTB.ҲƷTU;&s!0`kMm{C@`V+FtgP,Eo}?WB5ݧϔ_f?OqDrWn>BoTJL ^7vPp<5L) ΋"$7 v&Ę]0N{c[Y {BjA׼Tyu9̺x Cdp;宇Xg."FoȬje^4 8>>xׁkO :Vsv_s!-̅m_NGd~c*tq;9-1lױtQ#Pև!d@a3$![qXRI3ye" ~i[\: 7)oxg;Yqh|݄V?s |g]Zkxs!^Ҧd1jrn,M7IuG/v1: vc׻H0q+gxrv*ۺ\VQN^.NW#qQٺ6lՊ ,vNɶMyMD(F.Yc '2?J{L(Qd8l l.gB! B8S \ԦG9Ww #:CP9 $.PIҸȇoʅIj\V;D+kh?F"7O=dߓ ?(Ep4XgJVG>+̢b0zvW9\$?DYqˎH{xq#\F$@qKU4876Y̠_~ܛ"ht`n4|LfTJ^y_F1 \1ωB$gi؏EFkuS&?{06 +md/ Iz !?Vf!JWJCJ0r!SR{Y$ 0,K~ָE01HOcܑ<@DĤu?G).ͣ ++#9W\c#_<$"J{.tNP]6Y!<xjkcxHXO^Or%GoؖT?pX krb{}n o`/,۔6e6d!)(Uě1!wHǎ"GA"GP)/p =FȺeSPTxY:"qUz/3G"03 2PՅD^[d=>Dˊ7DW Qnd'9T߈Ӝsv%xCܳn|56G?E,_zȗ*DJdNۏSo(cp=QԲ7fR̳XE@G ?Ӝ>ŠT r!7/81%s5jPiC3⒌ChXT(:UJ4YCړd|TT5Mqm^v$#eթ%ߘ#+@LJ?s`(n9"e-PJ׃pMeCqQw B[q] Ѐ12$zPfC,4}T r@>ٲ )I|_^iq74_(^m>W`$Wu51 Q%zO?,9Ӄ\[GSk5CW^H!A^W,g]j$7Fl!t16vgOrx4bEG<נ:(_ wtg⇷ 0.Sh#,/v*c*U@cC! +q*bF9[n:,|SU?'V#{)3XբG &ؿ h֓b%#TQ(rNxl,<&j.)LPfWe?DPeP \*H\582o^4 .SG36.fƵ;Ą̩zwKT=e5Jn%̬ kv¤8ծl{aϨ(͍"k7pr!j`Hs6Dmӛ8)B jjʯ8~K X 챈L [_Lǝ9jh WBq,']~`½4V7_K>z TgD'|Peab)0qYY6XĵA3(QC235|JAnPY֖ KچDMSvj׀Cs*nƩMa7Tm}ޥHjK^' :L_Pky8?:2E9~2O]o(OT"ʇRL2Mz'~a(iBI y^O\#[~|Y\{{@%J<)'qzI~[V$ ; r1dE]j~ȜӘGsY X̗OI)I,΢S8'株Vzn#DBz.<[1\ߞ pBX"R쓺N",sՠ=|,t0V(r Ys ~᎛}4?&_}REhX/yY] &[p}nyΝ)3Xj-#Oߺ~kY&}Ȼm?6;F9q=1WvfnSjj2>(R4eTMA ["1Lk$ތ"5 3vjG9;@J;Ո$fxmb 9lC{E !#RP$~ s  ܝ#1 v4vwV0х;2U'+5{B1-Nm5]6] 9)%Ze$V"7J}j?u| !S`R mkrAlR`ȭN!e{͢BXa~YKU6__ U~nNŐDz͸"JlQ`cGzy.¾u/lWd[6+ ~@ݏ;1 H [:Hߘ:|HRՍvaJ&|$B5~T\[@&0'[oOTHa. lYiYwH"ppGǞ2N0vRV#/pKX \HVՅ_PHrgԀ8/ :mޑyW>mθ0w}L F}ux$<0U_B&,a)qfF6alv,?3L#KOxG3A* i {~[cᑿk.aBeAf;Pfk=c~Wi%ˌ O(&,(&ճL*9ET:mO1f1(wfS,]#xٛ]?mHՔ&xY]{}@znφI`imd7[}e99|ty}N\za[hEf9IA:7:9KXQViwlb@2zG).H숆 >2G *^ŪF2-ShG&&}#'ʩunMZ[lj̭Mێj EFR"}pEDDp0?Y+7…Pa3ҙ!h,NA }[DG^spkniҡ dw:r<3ڵ(*1٪[G$!FRsPbΊQ(tq&)=Q?"H#KAE]#j^rh%wաMN_Zݾ2œh_[ﺘV~^nJ5ID5FfpZ s8wJ*Г$x!KՎD*s& ;f6k œQ1YUl3HHÿ"y-;qN¾3ȧ`X5j4gσ4>< |'1KTйx`rH`X CRHq" l-*Y6Lpj$LǑsS>f_"F*J xU[Raьn CK}@n< gXC!J\R.&|48b4{ܹtAȈHi3QJ@ÔSwr93T -AªRbyL{ zJs.A\;U .2uGT3]e{#Gu"5>SZ΄iRJ18 7a6*\c j etUCV_oB6 @W GJr&]Bk_.v݁N7nujv#*i/&¹= 2I )d^~NGBk]b1ĊE.|X#p 4ýmk "o6PZ$& і^i5s%ޙ\8n*51M/Dո[==z8j5k}1cTHukTB2`3Q6k 3 h =[jGJ,t=S+@-`BAk%=hw 4ZY}`vC(H%!|p|]LuWP; epSHMf{>2/ʼnސTq?7m~Ӌ8:R2H{kƻPR%r)d$o#*EWWU 2CkeG$W4B~]! ˘烍L@)!A{Z|p+Ǽz<"^k-9E4M` DAң>ROi܉O?&d\i8-j;ԄCݽ,}H~+>3h6tPSFP]֢0(sRÎ[GX9EK] y;](6O< 7AX&* 坷en?r^)Va=?Fkca./3ōoN]Z(6EC('|r\rP3o`&%nrBuv]e\VM4PRޘ6@۝$ss]\`1:OwDn><'Ւ(?aëP G̭7H$9 i=4!%NLBTHD{Gɟhw8HpF;wzGܧsԲw7Meҥ˷ES/S+V`c&2*rRh=X.ߦ]xbݡfƌqy);dP֤h;{$T׎#2Ctȯ̸a_(6Aӡ8\GhS.~3 iGHx*Gl)ɸƖKr>5+SG`ՎnrD\ahN=I5C-({ZQ%W1`3vN夶. ??3HDKT܍AcLбD)눃QP?.>[cĠ(Ɇ!焠kF ;e]aeˤ\)]orGg&$PR£k4L/ *QQaWY|kWgg!WN ``o2RW&$G,h!ޑOpL2j`BOlh@.^Hwә}rt^*dzt{!4 6]fo/RMi.>rf!etG 4nTgtÕ :mȋKBF,_|rQ\Ew $r+F) { }d 4g{q&j>&j %:eO*(7UFU7i%5Y pƴ`p/51 r-b&@ʕo^&QEKh\1_VZlZ<'tOP]~RUX,ʿ` ܽc :f!J\هi^5I\=rwFMBk\\ߔpݧfkǿѨٓXd0=~"`BI#veM u/_‡Djk'ĖddV D!)s,Kc+ rz>v`_y ghEǗ3_1C]˳s\%1Hg: b6)s7S-'Ƨ | mw;IzrHX@4 f_؊B,bֹЦ`h2a*8zoT?ձ>F/sHK j/ tE7K(i[[yHLBXas0HP&\5 M4ִH@Z{S"[{[fXӭv7ͽDu.NCM9ߛ|;3&\FV'9_U(BE9NK, &b-In&cssu/"#:,[=ho4hbTwwڙf* j?fE*fHde]"hD|K6Ѥ7K%BEXf|(5ƪeF2n=Z,B*/3F3 WJ\w4grBr8P[c+gZXEh9 ηc//\92gU 2z1a}q~kQ>mQrj[GXr$QX8w*`rǭO^} iٞ -j V{KAK{1 (DuXZ[v#*@ 68rPjrc\Mۯn>gE|,0>)8OR`an  eyMuܲFj)`bnEe!jjuNj8Y搂r.ӕհ3+{V;5QoH?5 Ч>20!"X 3{ۈyZD4zؿ8[_r1<6MPk}X0r=uvI7PL.sTh t((O jL;ii+COTS[A͈w溣P2S@ɓ.&7V_~P?kjΚE H])u4<Xҋ~= ljh]cvf~ VDETFNׯ 3u-B7,cAxMLѺ`%!cq z?~qb˵:ղ_D9\skUw'Ed52Vr\BTԌzFX{5oHU|2Ucd񒘥F1h%%UB#'=A[wPI!3燑UDLe4x È1DOBska-37!̟:Xq'RY1zƲ(!]Np ʶdWG!V\_GJu4/C)~!LkDFJ.m41Om ,T%hN/d&בitS {W7`VᏔƤzͲr?!X% ( 8$wiOўOEWaF21F\w LGy ߱ )}ϴ*U7qVz#L;Q1)|-1>W`%w\dp5Oxw.Vu@AkZV)-֦+" ։H1IJ]O@~".v>IrdA5ZԎ8 s-IO,d5C۾3~,~U-w]%Oϊw=Ƌi$*g&Dojmք1@ᣐ+8p#nʈJߠ3gWgIayߺ Y:1Esw3#ۯTsMu>n`6[*Z{XfY'٬i!2 _FDA^wu[#pX6~B QA:/l[Ƶ.GjOەilS6mUH;D9l%$~je$6@X_?嘐[/Qz̹5HyC\ phc@ioCMN/ B\oSB2pa`}jK. Tuv0ب>׮yTC 6&. ΍P> T0 8mR;s%Y@TeQAzsӅ!Q׺+'q*]ǴUx7-7v>;WA8_J&PrϖC:OX[D3( ө:)J>p#:GYBQ-1*D$"{C ʷr!ļ% +kBpy1/\N9zwM"SUi_ ]惁a"atH?Kr5&J뻙/ ]X+ь\ˆ?@4_$L;Xϯ|,e?(X|ȚQZX-%#p*c^sZEy>&FTlMuVfkJP?P&F O9:9ٿUS^ CT7 .4xrPK,׾; ?(Hb!AcM^dmJdIG@d8C`v6}wd ?'DMBx6 $new3.ژсխ?k4äӻ?kiLȃ 6̫;ƥ`dnIp1~/Bq0wo 8H1KrL SyT7뫟64v@|*' G>AKM+gKUZѿGuvmGrͨ/<;2Ԕ?(;넙$ē{ZDD^'K>`eTI}3 ar<8)ECA2GI3LhM՛#ZRV ƅ+Nu ι+w$$ٯP˜ 5!ٷU;Fڷ/$/h\^"A?d3XVR?ak8(]TKt`d?tJF=~)^ ?F9*Et}/4w]yhA.iD^nj {C5JS!jTb2o+#BY#WN}\QR8!*b)aٴ`q?}_i^<|͵iEy`*"?" -ӣ5/~kZ [Z(U 矂3xn]“fۥeB;ɭTex`v6`j|r,dd9դC kQgqz_{Yp7IQ@k\0̀X#~ΟKgM>n.5hl>;k 8E5 (j/tɃVWCzEA/nk49` *re* e!D/捹oH"ePD  8YjQ-)dE& p`D0tvQEcC op߿<TQ;Ur\(Qvz͉Hmp@PbtL/ t.wur(.PiE^pQG+ ߑY /'D*aqqo%D̾>e:y}jϟuv3N>־8kAJS!EwNh _H2LޛS^ram&C/3QCdMUM+J':!)x\I6bH\wYS.W0*XaoQSq﬿)]SO†\neBGIc .Y=Q}uv]D"k0ouӝ1UZq[;"qiHY.^*Ӑj[{?e:6,oև-#e|ȍ]:$6F1&"9KPmy ANW. D&Rxf 1ig'jwҏF,!rDu@yod\`sg䩠C*^w{e7B*k(H*O JKẐ[g<֊g@ɓ (U=(ۃ{,M"X5K.O &>g;ޫu$lؤЃ7&E`l9+4")1(!Te>h3a<߰_y-|Mb *h iqCʂChptqJى`p=ifº:̮R E^eVǍ3 Gs~ 9pT6gMZ7Pl63>5NŴ߫"56m6ox?d ڥsc O@-YcPTQa0;NW.Fb((ZZ6qa7m uQTAU8KCWq7G\bcc[|mVR!v\{:H9}!" 9>Yh[/EQ#ʓ:DdoGpr!J߮~yʒO`˜ hR:y&g'#` %2>H٤<D^"EˮĂk. zpD &1^OT!eY^$ *vBF1)5\(QF* ^{WeVŃ)s[[-똠Ep0 dhݶX1x Du? o#\; bZZ8;xA8خ]=4g`R:P[~`}10齹= mYFuBB@K_]:yW>k12 #.^ZY'M~gJ6k )tvެI#hB]Kc5/z ^"-A8z CfH"YrABA~aENqNhD@kOv%g :Dy`N55un~~4]ל<JޅEbYq [ux.~9iszBOc"Ј\q4AL!E2=u \KZI=]Oi RoyZS f+]Ȗ*H<4vc8xԲ [Y#?89uwzH!OJ͊rzay!e쪆jnoDaeGgjp#uڊR&Cmٖ0V}v9!tm ')rM֜k݁uH5 $ aX"[OlSGFkSv`|͐"@⌊#f"-iGR;?A-k/u5E"lt_TJFyTsٴw( f[ς_*9l7f9:S< 2B9OXl7[YոR6@؀ܾZlM9 2ޞFoso+G鈾yXy$?$}b$$ebJT3 <nXSi^d2g e089~;b jӅq6:l)-1{8xk,Mx/ nYo]r n}EՎ #~^ 3 5T~wGU٫5 5u{n{rAƒ\:cJYtoܡH$;H X4k MD4'[E.l)'uIn* 4gmyY4R;L)? Y\۪{28J.n LLOo3JSd R,rL( ErQFŞpv[w3N[dɏ{6`ց>1/U[fPP1k/Ӷ0x ,.37q%{qQQ0|kE(hAf1;~}jA 4"+@ eO~ܬ-Sﺣ=㹒|K3EAo"uoسQZ9Čd5 fD132-Xp(BoTskLxL)qE6?9]$6v1v>ntH=>;=TTC a_8^"Aanw \;k%?yno io(Gz=v~bNt֏SF_{fML]ڭKcαgYZ ouoa%/A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files~~/src/HOL/Proofs/Lambda/ListBeta.thyE$/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id212Z#/A18HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citationsMatthes-Joachimski-AML"/A' HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$b1#E/פ8g&?ą~ٚ|O*BbpDRD6,/ ?-my R-0Y% }7#ؖ)~HCQH =i.+rJO?ae ' Ƿ{6:wSq@j$HS1KA&cg[nFNckQ؂j9P6*7&ԝ%4/Ƚi`,gbJr]=2QST@KD&kѕƗh2TZx kc$,WR!י^-%"@0KzcyCVV @E>* /bbPA" #glwڜ1ǣg^8&踯N#Ǣ\a:l̊%Ey-H$vc-cTȖwH)J2!jUoRV?j>^s |z]l@[zrR9n(Pn?XNiMJtWty˕awlܴṐj6^T鎅1Ҙ8>Ȭvrxݔ`F˽!c\op!#Z fj^/eGt,!!| eZ2|;am 9pgYhGG`6l=.>u.ҩ803uǶ IOb{AE]BNDv} cӰVxNmx6UUKG ^jg5O38 awy^Kc_]spКg1~Q |y00UiXt1A 5<8jD-38&bIC3 8!QHmRa(o(WGNkC?  7OfQӪ4m/rfkb@O"OQ]NiTFi/CX\j!MH64! kkq^Ԡ̩~39<ʄ F7ٻB/vxXC]qu =ؗZ,cAqKo&h8׬}|$64͛Z2bG  ~U9XӁPIXtb*Q pE; ; cM{*A{U/1-%]D/Tx8`WC3uؤP^G V 6rYQ:ŧZr6tdeeUENokx\}YlLΓS(΄E2 +A+؃ nrh/[b0hpU-pӑtIKK;9C>̽$"K'"0bt4 0׵*ti}% `*LK>mC[86n~!2y3%hFgYZWIs(go0%C) OJnG^.[+tI-8: _*RN=HRaǂ XMMcm -Ox;+z뭺v,0rQ+em$T󋀾g4t[-kOaz(p1Z?Lկ[<-!! pPpՉtu1<ǬXZ0sβl :l*Ӄp8:=hUef ad]"p?eo  Nτw]հ:%BbWM7p)e cEPͷAFI$wQv^yN+Q uE~  TMFO)k A! uifcb~  <=IՒ>_r R̙I.ie8>zU:U9bi9&جpn^Eoe_ |kajB=7|HIh."y|t/bf_<r'_`Zbd MdAkCw2zkRR` `J#7B}=hKύ/]yߨb4zZwxY00t]nY!*uuD=?H/t@fXʜƠ^~"kSiItU]%ܤ%&GDK$zA=3JīOxQ0ڝ,L 6q$i)Lr!^-3~f#wq;#9(TRyrLaף5΅ÍxܷhȬ BbrM>YSt@R)J!H`n8'z&  C(*8H`8(ܘypWl`S=)NG1z$KHގפ́JyXpB[?vBLOBS)qMPd_tl02  -hD=tz-XxKaV(e͢3x3 W-V$fo^"Keܨvk[6}R<3\?%贽J3>35)Yy=W``E {ĀTkx\mQ9U,>%|kl|SgWe𪌴ܵ/NpG-Un"&*I{AKvQYy\{__}^.8ID\`MhhG*'ꛘb\Qfi`aɂaptTK@Ѣ'!-ЋW ;3 w]~T>-3=ZElc lU~Zpv(ɵhJt=%1+ ۪{i<ۂqf #< v琌^iō~Y) z@DF\Я./.r8O28sQ)XP"z[{3ԥ&71gYZ   ?M],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208g*/C# \HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u;g]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3(zP @rQADiY^p|r[2H~2x lU *AX 7Է -aUѢhhkP~܉10=?iUA#9fNTv.ϙZUڭHj) } 'iؙ`Rz}  &,],^݌H Y~qĪJҏ=f|1$ikmElr'z䷽.ސr8kuѝP$|X~"zw;H"ȴx0o^LW)֕Xu,!1T'|jQS܃T?}1p=_r$]3kI!(&DQ^YИ/[!+p+j굀}ŽJ=ٻ'fg9)nU,Y1V3(`1ȂCfKUCsfL+`q|mj``AZ*UAo]s 5|(ͱӸǙyP dF/ z]\ E@],캟뛁tD(ÜЖxӔ @M_kH/Ǔ,9e@n֍WrED苖*Mڡ)ye&¨s8 xy ]]PX̊1)q?a*|4H#H,p܂T:н刻ۘORȀ%l!f}!NBO),]mS]]0g0ZI!1q{UMi>4bk{e M2 fl1ul>Auٷ^8`v'j݌1M -1Mi7/aؘ> H`Y7Q&°H(ed=6aKf Я:F#xaӫ4c[WA  ij8 1um!zv'{.$(fD. F67 V XuM*36ӌtB}TXͭQ利ӱVS~XBW1,<ABG1F9.hH J!Iӟ S,X%%SfΐѰwr7Lt-xJe[ȥbUME=U}N:~5.jOLɫڋ:\\E;w*.YVtroQs+w+4*2 ȭ )(U*6ǒmn(sRv(S@keSٗ^59qߙ fYXH7Gf<D"USp`eKhI?.JYl8L-Ah0$0hPnwM]OFֆ:~Z2TxJ@zs5H{8lfKgTp/#ټ6-O7)jZjÀHh=^{HYt\_[k$ttaa4鄦 D{T>k c'JU'"3CPz&O uU[8)ke>߃#ŕT)hnC")$>"@.r NHͺ{i:'#7E\i!wlEN߬6៟=D!dm=:6c:,eX]WWUqy\je XS& tytfGK`Dk f w+ԋhC:D]I}5p%TDk$gf:#Rs9n就~_7%JHqI530,$+]tL`K۽kMHv-#kpR )ۆqg/BcuؽWtUp ՚$n{* [vJ6˷zzذ ~sv%g:Z~[*:o6)wѪ%{Ci#o5^ PZ砹ec kx_{~1lœ~9X\je]!u6 O#χ:랑pfkZVIk(bOY&9 ,Ce _w$R!>!q̊ae.t5#)CފfB}3V0W pRB{ EdV{{&w݈)Mi[jPBN+af2 C^5f=훊1~wjqX͹(z|ۺ]ץ *pgEidƻ礝!ܼvD[0Iw>7P)[3ȱٵ?4IU:jvj&cBhԝ}eMe~|`od[HG=UDc_s@F+=űG:0hp- lk'JgS8bVD ="Su|Afuq QzhUY_jeC%]i }oae/>SLdY?d#/ VH&i"4@?o&hl[;xqH237ֆ-٫ %Q2{l U> WeuCĉF@%acޏt}6&m.(y˰Ԏn턀p2P#4:dLb$'dj7fpPu,f`{rA!9cVm-Z6p}3*\"hMR3Cyہ^ ,KZ u%vN5)͏1{?*r b4^D/GBiw5|Tgٱg hkYk`G;aƚHPm]ȤplZ F­&IBٖuc,8Zi5_gbn|_\bzWkq hƈdM&Tm7 G+2Q^AiH#Gʄxʝ[窏*jvZϋhMFUKǁG}i8I]  `z!=Pc( W:ty%Qpn;8^ԡ+nV';Un)ٌ Ƨ?rM ~~X VxȻxxHMj+_x(|2%0pɴo}hW 5#T 2oUJ\bu3o0Q#Gr4QZ8>~! ww?Ec逰S糶kRQM?wȇ]w uaaA?Nb̳Wn5M}Aܑ?-;vɅZC;1"bsO7c߽6j*DX6M6UWĺOoڶf,sK& dX&џ.Uۚ3X\鑄B{A[oWsT=:$`璺7+0lT^z%n%u=SJ) ೵gYZsq,M( {,2/,(Xq Cʍ|Qa:gfb$\/yfD+p fT O4G41<KegҢ[mR8ah2M6iNzO82*5ĕfʝQ悥|QDC+߄5Lzv P9YCi;0q t{|TKe؜nӶbIGŷ=Ԯ'~#X4i4^bB%"P7a7wVI es.awpcu͝rXy)8GpocOKLLh*ks%κ-jêG07+֘4ydUś,=XwK&EMi ;1] 6}ee6{?0W-bD5xe\eu8٫_(BYuW* O:JJJW[xJDMxd(%ضWI&d}IWБK(Q7ZE>Jes]pt+9o5CrUOӄ%(,7H!0|7QM?mQ uOܭB-<d^3:Kn5*OHeSڎ/̊3(vq\QG0Ws~'*?_WWǿmժQ橣im9MBw"O$\ ,@`B_^=bnCKFT>)9 Tɺ8YS>pK&xR ɲF"Te0L]-%kwA&]2옸%FE-מ".¶= xi oJ8ʋ5+A ~_r:aG,'U4z yA -/DG+4Fe?H X(Ofz$n~:v_4Q\% NtwxWӜ*` WUFVC[9|!=l^L ']:"\ei$xŭhcQ&ʠcy q2 ./\ʢ7X(5 @dᓢWF ,U4˧ǂٛd+W~ᮧ[w'Lx 1]l;nxD,Y%dFmPbc%ƚ^B&rq>dbWtfK[Ui~OMZA~-{"8Y 8%V݁T Y q}${D?>`C(!Fz"ϖj J )+NRMHwW7qTx)B1j P@ЂCևR1wdK5c8ي RSUZdƿ{Uƀ٧qۏ y͌eˍLNTJ$  #:T@jrh5Tj9E$24G&ilѢX{Bo)Z(Sς3WPTqMIEvFjD2 #n-nӛF.e޿ha($x&v7U+g0Ƽ\d+𳄖*Gab,@С:ˑ2Q`:D샞B4lY^8Ra|B]HPIS%Ga|N*xMn|b\.u3ĢãVf&?$ۍEې@<$J>_xMu)/w(2t:H3R=5r sS99p?{@(w#~wCR[ԷfX6/)uYye" s, Jѷx:)wp,m7 ƍZ "mg% -Lt D=ƒ/&=YN/E-+Vn.CasHRvj%Pv\DAk9\A_`˅9ր'5d9m=/6nBb+/>U?:23j&G {F0f6"SYOD趖E#^.fD! *79l3^hL1, ss =lEjF#=X~WX2V 0G*H9sUˮ J{)C]0E2ha;QGEg2 nQ hoA!s;a 륓ѷsp%Ycyyo ngF*P'Pߨ\.dmrD?z $-o(C|d U-`vq,EE.g>`@qK` eC~s')p_̩,̧f4+P}w,)KgsLSt@u 9U'کU"4ax:'u,Hn_^񼹓`f'Eٜ|z0}Y%`ZL/f.uh<=ÊLOG2 % S)\ =Ұ-bēɮtuh$swbho ^օk4L9v&Ķӳ-mC|{ _DMgeI&lM4Mm j:Ę<r+F׻:f *ZS8M`*@/+_,VWMwj.i;h#=W[KHm 4'^0E:ֳkRC~,v'Eڠ*NG5 js7gop e|ri8Hklj"P( "(^hƎu>36\-``B>ʸZIJ^a2EVObO7K(X(`܅/#;4P&Pb 0wW}NŔ7Xtz̔0 6΢K{R_%rl8XwKFT珩gBRvQxZJӏb,:IC@E(4Lzlu<󨔔%5<B3[qt1j[E*0:\쾚qJef4=fk طAPZkݜg+`gYZ  @c0/C!XHOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files~~/src/HOL/Library/Code_Target_Int.thyF//C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id1986./=' |HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages7zXZִF! 5]·Iq n[:|&[z'^}$Y4̭iS ^/ :UUݷI#,n[_y.N»CLy`pG8II>'$So3 if2f@|;(8Vݍ5ay0:ӔA9!$qj+/4Zr;yO%䓀x*(kQap+T7HjPh<-K^ƉR<7i^V3ڪ|G1Y-utu /x7WKc<~(kA9DzI?J@_ƬݠhE~{&K*U $ПZ'kceP9rݚ$]]H %gC^]nQnOqSZ+enAMb"zt5kzvLNu|X:64 ͚{22__Oh_\+FLDV|:i ]3J7B/#x5֣x$%f>^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$A.d8؁nJnI!TY2\vK%fw[B>JeAA!D"EN2W> TiY,4_؁Cԋ%E+J)jTuPZ Qls$uBQjFTKrd`hɨ(~U/t7̭sgHXM z#r uܙԊR׵ | F.Bg_␳\)Obl0=qq2^l ^fL 1%JdQNfu+{J%Z2|'Yj IZ-KttkS$^ t(xj`0xn%E09`6Op忪R.2QT5&"%j DK[`RZjZ"G&"9dfmJ^/7tX&`~z+t6>ӄT{jtx7st+HP5n0q XTt4\X)h{*CypR3 70;( ` <~}+f/#׮/&$1*D =^0e$4ɐir)yE*7yhLFѴdI2d aMZ4^a{gCNէ| =& yDžL -)!wZ?w2ed@k1lI>M~%z̘2xO-}l;]}v;  S윅5D$=I3%ưW$ƆY^G [_^l$+8 H#ErqS+Zr{OI'DbkI]SV5δ*_HA:H73Ith1boyt0Gz' Oî Զyml2Ɔx)LHqeI,'<i'CoC%*O8ѕMѩ+o^!͹?9Gݍ鼝;kn+t@5X.c!2Ja^Xk|PbMzgtf>zMЂ*{}By1w2fl?{6Tf9^t;X~c2?[612n;qR0E>KcTij r 'a0-UwqKP06.Z!No@,90o|Y n>'&wm$j BhhT1^u1jYAYs4DJd2IePa.ro5ev?:" | 9KDIP+UWC-~.8ц~rge߈ܦsR@#(yQQJۃ$ty HBe#6MSʈWC$0-]ڶ+8VRH!e^MhT0kmG )_rq]Kn j?%2݂gCdaҴW|1H$Ɲ{sv`ii7ctQr){ lͽ Iy-#ۼ!$/ jI|$/HK\R'ȶmZLKIF ?/͟75ņ#*>T[ۙ٫K\5zu󔟵x{#U O9z6 8 OLz E#DB)]]ݼB@Uv 1(1Jgk-TKH UϕلFBRƩK_Q|Y kCj5)|Qq9sODr6ÑGYU23[I5S0)`:EvZGE_U3N=7`Li84e/R26QlT|J dAoG(0(%lE7 F0KB$5m[Ij?PLGmfZ4c^Ӆc҆_RkJ$)L] ?R00}FDIs9&zͦV7pVu]ahvZDδמgŕئn%Pk|'Fp+bZbŧ6lmHf;40,CeW`y~"8]a_&*"~ZLJ|mYTM9y8쐃]px kI5Ӛ*kubؾ=|~:E/]cjM3v|#E畀L@\jˣaրٳWv3J`X7b[#{CU8PUd-~tgl`][w*`k wk]vɟhm;9]G.g" R.~Q5"3~_Yc3 CZতif.Xz܋u 3BE#5Y#ɟep7)[+M)ifNO^SX$Ωګ{sba2 Vq\/A O M~ROrb bApaDzndWo׮Jq(..5B@h蜗&(7fGlv_~٧ӵX~z46DSR*f>>i Y`{&ؖW<lj/|@PckĐyk\OiOv0^ s\f%M-]5(Ҽ5O)qPض\?nHi:!w-zXOnFΖ|w9`IQ~:))o-ejys&Q(A-e<łQN/ilw4W\ΑGtgV6pζ$&#X%aHt^rm7WWǽUe:OD_}nENL@#(zLb+C-]\l8s.e8&b]5E IB1F# g{.BղOB[~?z}.t4;2h?tX-D838u<ӑq" Pe'=ˇR&,1İ\gn{C/S ;pΠV`Q40RQ5a~Q&#dzBIaM0mdLd#-ME>qMT2K=0]#͎G0^hЈ-9%Үt=xN1g@ nh1ceWoF|l8}ۭp; ~gv.}#Kpȁ_ V;)a0&HwFKW=s t.zi (M"#$*Α)MrQ hidF9N`\1;‘F~Qo}(F##)i8s5? u:͈,UFȐg;f-MK4 ]C~>s IXłGI~. ORgYZ ..G1/C# HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! F]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STd:G9QV|-t/lΉ)Nȝ;|<}k Đ2c!Z<ݬ-?n6p)iF\ =8C[-w ,kyX(A'?;)KD,:"wn>u Ƀ>!Ld? L3Di4 nbӒyq0q^jabdueY )C4\A dd .m7<`.|UzyفVg(CoNv:V[.c3bnY;_ÿ$Ŋ.M{߯a2-cNƩ͜_}@_~z L;ýGc!,7LjӤDhw(] [&m6ݧ0nݝGB Ffpi:]<Ц;~{kX&DcU,.W'ruMRF7Vѷ|dd+^BrI;A{ujؐO"=s q$qsr̷Z,uN03zs<-vl.oZ(E|a{6廇 yUBYւQh ˑ0Hx0΄& s!jF8Sx.ls|^ن5 n]<{ q|bm=.;N^&+"C*E:"\f]"_'ĨVO$X `q.q-9qaxWA2_A<=ZZ5wZMdncƲQJ~ ,z[ { 'L k~SÌ(7.`Zf.oT'ӅƸZI^w3hN7ܤ62>ÅkzrKdxFD/cJoZmQQsAeݙeF(0]dped@I۹rP+ ΁7mu7c "o([Wl60za"zud#Bᕵ:O(4V|Hfx,&[0!K^]ܢ_2e&U)$cd`ty;' [gom?)BxU=PḅHwNJ+~ [pQaJc?W6<킈F!NtZ(!h\s/sQ1LGt 0?By"pO:fR״*MmĽV.$!tG34_c{2߲_)w *x&DI<}4!zZ>Յ 8axa?@0y4B3=--KZ)P?8.^#syh@2 <e4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id218A2/C' HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF! =]Άxʆ5.f-9 rq8HIuh7YZA(TPtz-mfܨI{axpM8L`v$#Z!eL9/Veg8,(>9-IGϢk|.иޅ?_v0*82| ikJс锎/8&eϝ@d*gW" h@R*M#Kncu\Tʃ8D34R(7ۃ1mb2J n-eᳫT/2jNrR^W*;]ˋ oƼ[7RM'ca4>k ˳=fʣ# Xmxy-l>_iC]j6. ]RzWxwg[۪bl//g `TlG.Hcy㣍b K}WA~m0EH:mC:"Z}ӨG6wl4FSJh L8DNzr'ˤG4A7%W=ߕZϔײ8Pܼߢ|פq!Qr'_ƛB4Ő kS G ɅT 5IExm<֣j}+)zfǺմYmm܇"0KAG#]EΠ4x@{A8*jҔv!bWmXn#y;91f! ]˓k٣b{6/ػ)]`iT͔~aӦ qc̈́sJ$4_x:. Z/tRhL&"Kh(J*k)ڮ:@m䦹U&(8K–rxIxL2k7@_8?&SqpW Z@5KY#ޒMk5 =^FGEJ{HVhj ii]$vă&NOp{y:{p5R^J}fZ SRtCg()=B"Z!{PHGqPyâlu`t1Y1m5?i[e_2X׏D{ni"[NSs@=n07컊CR-xD9&p7||*F!|*uVnМʹjz %z6m1O-&RФedDgd9k>48{Az tAKU8d7TV%$0[qȊϋ]MO՚f#Jn Q'?+լ;=bVg;;»6(9Uv^.3-,e,n$_iUڊʊ [3r׿Tl v^*dNϋ.FѠ,bKUƤq%;$8E2l]hLDxwXݸYe벡;oHNPGPF`{ts,I90҉hr*GyQ jaAHj U\OEwF6F~&+~Ah 4&Օ28 \!)Yepvtp߳CL%7 %Zb^r=~3{65WYUFw_>>"IdaGEJ`,G& :%m#J MQ/GYn!{:J"щj` c SR ,opCU3{e 2qXAiV.!= G.,T˕h;YQ 5 Mzѱe.4{=j*TC~9{1/! YgBb T0QHH@̇ ٯm;B2y 26eڋ& K+?dn*AI"eky!.>kHRdJ^c\ 1njY#*R{c y޻)u7gGӋ+_o䬷[6Ux/" Yo-qW}ÎIthAP&%s,:B BW} +D8 F{(OҜ犂V=LQq/ MyDW )R`[JO.^#|P$,%+ .%a?Z V~/Hb]Y1Le iҡ3 Fm({Z`ebͤj$">juc􃪞̀FC]?!E]-0\a {b8cu:ayK ݋ogYZ6s;/44t]D=T4?Dr^SZR|hy /wR>̘Us[!07IbÌ ]E9`Om"m"gWjuX?3{&4\bjʼ;r-MBG9_uKC:-u+1 A%lw< ">ީ[WМ*iC6P ED-E P=!Pls(/0iKl=7aW[Z,Wr k"Q-qu0Ѕaej"'.PW'1I"=Ih5pXFߓ yæC ލD|N:ڰRUYQ>MP.0u /ɻهfRaQ*'ֹusH1,n w &m۵"~35M}ಫЬ:=2YB$> /փ4j#ip!8M$yljns rgsx՘=߉0\PKk?M\TYQ4Bz4713KPO-F?ed$ʻ?O2~NacWvL@ryyѠ]yMh77M0^-C &RP9, ah}4 Y[򄛌h@\ʉST/7ٮhU!RZ]2_kJvlrӓE;rW/E땠Mor Ui2Ta}nJ\.Aڏ|af+2ʹ3wcd> %(0EPdbHpՂ$za0Ve7\X.yeX̠̓eՈٶ-(Hz&Ɩ챌 Wpv? ,Vt<8(lr6+s894J.zmz(P4~;r6yYm 1kJ$"ڵԨiWYzg7`t"j^K 43Dq CQYs(ʱ(SUTw= ^L@V h#愗@|$pq+%8DNHI;^D f3䃢Xorw#ϟX؃F܃@Ao4}xxNw3rND48uJg ^dXOX37 ᤟%(n{ցmr&ύꢩ݃I  a#10}ƅ/y o.Z|GQ3AhA`TeMUVT<(= J?!SWdE*$Ci㛦 ]/|v. U6 YL0C$xv1< 3(ʖ?=œ*Y;Pxo~.]o Mt?"YI]́”=?Bv2$y=wlpC/`m2 -&:H͇hRӻ?]}1sH TQ}L-DaOuc9紱evbB]Q-cq(]mp) |PU\#)\4h S Ε^rPݓ>Gn;[@@~D@jYLapp pjuOEno =g4؉ baj)3X 0LXPqݑoCclTYC}s_?I t0E/mqGlW^jA"#qÎ3#݂AW+lTG; }ymaS0$V"No.$0c۶+w%j⊏7+mEzjo\w:KqtR_ޢy5l1V`ntɈ(~E}ec;ACWeܱz2\N26 i2Ov_@-LqI|KA\R؆⭗#ZJv,03Dn:П"z6?Bu=ˊ{άωd tKFMK3Uzn*@b꛵T ~9Si2B&yh!8uov.],iRn{yzmřRbU'[Nͼ \u*қ9)[آ7?̑Ρ(Xq7G Sd'G * }cWų/j]˓T?/ +yB~v "y1Οm|:gEB1 7]?_yuD{/_I5TId ѳCytUZ@.^.ї 8фw =keH3rRMAyEΘ͜/MSa9Da[OndG"6ꕑ;gḀS@*[ԷP ̉ՌͬT 0֟'0=?`vNcEr[`P`:m憬ZR>lQy;F%&iVz 'h)ӈfP˺~2.nR(5]8!> >+M$[0j)/tMWxaT0}Ԩ# f.lELTc淦KtIzOJ|B,=L_mpp640CȜ)$B=eP f:҄b[mKJi:O3╒RP¼if2& $&`īVuZmIvzq{:[59D؀ٸ[Ğ QG)he.`&5.+F3cB\;w?'Qu:PsPWRkT@R#%Y/iJFpGǘ5 gOtU86 ӃpJ7.{<;җt3p$nM g'>6 =9'~nI:n>& !g2p]#$*"o8KG{+S$ XF ]CT(>g`` 3mPui8YA#}n*mR*An`ВJvDWS$֨Sl,m%>(}br1vնh~hyh_\L6뼔j M ys\}6E s y*xZ{ݬA R7Og֕(zR 8 X$$YvI{YB8T/EiJ`c(1FҩT?G!pGO~Z=:fX8Ux8Q]1TEH=&:b[Dr`o&cAd^6Bǟ^*'"C@K3D^Y#ylMlm[vʞxSZ4q~W#23nQ7 QgtIJ{ v=N.}[W R\@VNXgy>W ?Fswiˉೞ ξScfȀDRo?ԷD==Q"+(_b[ ԉ2v W.*;F< WhCr/DŽ 543rK'Rg QLlqNroWa`R Pmh'"* 6pYrجb'Go~h8(\5?OܿͦLH/KtLpjctd[L ᯾B1(P0/7 Zc;mO ӔU>ǰDɈd@W?Nqx2LS8>@ǕN_bCI)3WBYXwӆ"3Jl|+sEԇBmL Z c y/Dp8{<0)>y4jYVrKE57~;|D nl7b [&KUHFWᵙ+`~ἷ”%y+\T`f(!B)^?6aSnLCǩ mhpyzbzY*nh]~,v[h 䍗en_gu~a/V0ZcɷŁB۩K4GeaݾGJDAAOGYws"jB(O!\c$ /V8x52\|W S? un-D$?JjPn+?= 2h߱8W'bm&$@I1@5ӏ? p?-^P¾I]1qԂ[w2 OtatRQ˒حt2Df)4DV]g'OX` cHM'^7K^@Hz5mJD!~3N n%jGc'0*%km"UT.dfm .z'\ N.o>h2)oO.(cĢq+I`ydgyGrEOiPaJhp玥7kH@~4xiH+$^E,n>ggHw{ia9M` cbʥӜ]?73q?;0RҙH3Ln59`xSA5`]yh)kgKr~M {X Uhg)ov2j.'_4{LppspS_IBوNV3`E3#+J h~6+ON# Hљr(G6^@%/$SrFXrp ~'-`HjC-mi%2~yXܿp U$2F K,{DS cҞ;+H5W =.w_G zEgH!9§\+#8oB0Yy 2D i:,B؛\=`hEm&ɕ=0q>#D;=P\&ņV%Sع oM X8А*Î騺}]O [1ZVNwØFePN'xwTh/K8J-xF)vUVv Y{ڇvw_6tóMQ*TIj \6CFTJ ٯyNAQiKsf*@̯)|'I$tDhO Zq@Q($ʁ}_ݤs0eh4uu8G>չM󧅙Y(7f &ӷ "04*#R B 2L> UFqL(Iq4ģ $5xz'er _s<# ҁ{Qp< v_ˆxOAR_?v nCiʳݥ݌fh3:{6G ۶rqzBcdS?$_5}!:X3ڱi,2UPav^}y_w|C|:8ʈt/57xnWlQECΚ)wxl#3kÛo] #( w7R -z0ҮJT>( |:4! u%_-B}aU]"nr |d  t'q҃KkuTOli`b8Kh'?wG۷V65FPm5x-yj:GW= gWvk o/.hBHH)q4+6MUB~rR ޿ 4}:&yk{Qr<䈯 QΤu9Y,5 Zg#68W8/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! 9]Άxʆ5.f-9 rq8H[W)2E=zrdpF8Ε)G." ]MW]6x.?5 00'm7ɛ35{R7Ï10$|C3s= n0c;ϑq,b! pF͉t#ښᒶDLv)*칣G8,3=W zݧ/)DƵbg39;5A*#o]5\^ot$ Nߵ~B 5ڔ4 D6_1s(Pi9.k1;Isf7^MfV&gՕi@]FWG왝ie0s%;2ȇE;GlrvJ*+MTddfFYˌ>VԺRc.}>pAS87ry˶Hc@TlЫ!ɋeucdxFdmIf G:gY.}f'*#hpP3̲/7ټKBt$ceNRåUaקY1M+D|O)} H&/tagsU 3tyEvTs(Gz6_F WKO]0/jMmr'Evnl!Cx|(fXzZJxuGϮ$esӰq ɡ;AO'h[B7S==+1ZE&d\#>1O͚&""[/ ʼn.Wh v_VQKDVs*!<1ֱgYZ]5 /E# DHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,'Z]ˠ)jk2p O6LP=͵gl5f&Di5b^8th5ڄs tpOQyO1*{kugu e?)WTp?=J!,E̡4^7U_]]w =CܔwNlYQ0c{5>"oځa4e#)U@~d/_9A>;/E|aQ?f |B_ڀHMC7NSRF(+N{|'02 WwXϸ܇5 TSK+Qp#D+eXgΓ<#k$lJK<>1t9*m͒,EJzKIoG <}+];Z#:(1o3>}x6[`0s'/B06{Л աa',o^u5eǣ%Sɣo ws>CH)8m"$7=\2L?R|pR(&0m|].9PdCgPnK-)H± C;n]+u\T˃DxA<JqmO)j„I-2 Y 'ߑCpxT"L)K;[_T:8)1gGQD]sl+!jS܁=`7ظ:[Lc8-46E8ʠ+9%nU#?SMbd N%ǣߦ/i`=U kmn-JHX1' S ; V24c9bOfhueP{Yr`,iQ)?qcCHk2:zE6^56͏wV썯D<!"/t޽(3׍]2#guNFddvج4[78.ێiap))] }ļn):NVgђAZ–ܯl+,oG`>=ۖLYM"`Gg󈭿Tɱz-m [IPWS9Q}03{](‰rdA&@O}ah Nf8(x7l[MN;`Tv,@pvۦ{pHб=w,ݎ:JL,u I1a"!Ey&`X<55qtSjŴL~;<cjFWSWTy),H`yLOmcTQ(qR>qD[l3C .uE< -̧dQkqdѹ8xus2_v'hAW޶ !>g;1j6onpBdyeAWÜ3="BcG ?Q%۩څW/8HuѾm)`pRvb`jŰ*CbPV&rpn0A't9uwIRmcZ׏.&6 ա5v`K[$yo*UN\KG Z௞3' =`fr=p CБ—9)m#3`ʭVV 5O*NR53Fߥn Cyk26vO=@c+F) 2t;PxMn3=/2!M/=fiSz/?1Y[[p+œ7X,"qAe<3 7F{ R2:s#6U<-ܽʊWKAmGT2qNq9+;tLwPQ4XRH\&Pq"`lzJ]9LZU]an{%.l6(ǭs_eA|٠pcuyxj#=`:[@h^昒ӑ+=1嗋C(/xYN>rO&²ϋǵTș+sRA1#|"9a? gt"+v3Cըm75LIT7]>N,EĄ߳}ؑJ dJ-i%Pv{*$:SqNMY5| `d߭2GsFPs{RA<zJqB`&jQhe`u2o 7u(S}{gA5  4"I S Fu ڈE[nFiN؛&2ʟqa<>0ŬLqTA|=&F-\sQ+p{Eh RaA'._(h[΄^wq K'uw"~VbĮ-KIz*M otnrHD*^79ԍ'۪A {çWFפNHrkyj䎁݊Hݣ97rsr5QCAGMXGJԶq@8mR/@P|nsp$H3|a02},MNuxAw*.l }܈gtnrM{nĝu'E_ 2b"Zp5K !JAɠG f}+du%M6_Q"$hېBϊNClᘨV0@,ME݉.'miAc혁<lWwzK%H%t_ ^'ٸF ;>z_ϕޤ;XVY⌺[_& Ӣ?FtŒf*'xW~Tmdu]גj_9]rIG -h˒#iUdsќ%lļ6зH~-ƭ荑~vU:ҕ/"~9)N1-B{[Q^X{/4}Z޲n5/{w\:澲70Y9]vCv`N&A=H m`OLd?[xht$뾛j|uB2 dD5oMMðޗwNhAߩ2tY鲹R CR|93E'A L)xNv t4 bP|&ɩ1dbb9:FՖZE)߲뮜2C҅.'p?H/jxeL| P]2Hg_p [1 :&z?fcgKNyQtR| i3Ӯ{/ jr-ϱزB;BY ;fv'S|K7˿ AOt"'2?LԺV"9uamR"W'Έ6Ԁw{8Bo)T3Uw'}((`%}#eG2ѣ9P6pBr8W,kCqΤS{^tyȽ<6/~ձKI2Ni64iHR§Dʨi=mim=!aӟnFOdM[.Q67xв,8^Ʉ\8 v2v)~.]60Xh9᜹a 7B`vԯSkY9IiHm)刪[)Sj!;H6ΛkrEwzA4ѯ8G/m!9+WgOj3~ ")g)gɏ_e+^ Q~ik''"3-MYUFU{@\~:ੴMd^3OW6'O)0,)N !i3t\Oa9Qa>Pٹ鿯KC:;b$DEQLl7 8Gyʉ) hŀ8nrqU@'ek #Q^;AiX ?! t^e=yVV'fzfEpj6}ZyYe!RdÓ͈F("Бzu/I5X Jy?CUُw\"If^6e_lW 5UsLx܊V0xߺn'~ȵeg?pkԤ+i=r hn=]N)pG挎RWwFsTU,΢|cߌ&H90wDOʑT Nт)}(sO[Z4vbm/XVf'H%?Zl<ܐem[pbf@l|ˁk2'94Y+q u]7l/YSS3Xb$KՅx1cxF<)[ J sƺ"H^={yMX$m-E*GOi|VK0$ ? LvuECGr\$^^:pʜ~Dn7:{35R ZjWťW_+qk"oܽ/IELm1;bbmFaXUPz,w܀܁@ &9& rc "hGHy}<ƾl]ٓ u d#M{=Ӈ~j3Xgp\WtZYwKa!z?1 ErA4/P;7 >|f;Qs#ۦ5tlzF *&=Rmi?qrJgt>Gi13$ĈSbKì= NwH{Lo V']bo cr b'"4۫L4?+e@` *j MJS^ϏYz#]t43p.1~PZ7c#k2@4綿Z}k窺iտO 5bĀvpU$`)GE413ZC_)7 }K7S4toq î~t nhr?d& X{ӲGɂnJׄZuY o"M# 2G%3uP=Æw(HR [^HӎPn7F:&vx4&E(b!\w' s֘N7l*liy0K?/8,qa\C 9hN-&s_V +@xo&d-k`(rRG֦ MY#ZEtynif6=Ԧ'K H̀ QЄ<kѵ,߹zc/ohqnjEX1?^;ZRtV鐗,gQ{7Fn:;xNZ%k=\Z^[mI}Lid2.۶?ˀ45W6'xVcE9 ~ B'5m(g͡A V̽~cQJq|g+azqTebr0"ly@G;[USEyc3Y3MpoxF;U(?CRk<+_0>:0ENRX4Ћo,mlF$U!ϑemJ>CRgsDn6J>=:hm00]2]:mofr>ܭ$8< f:Ė{OW;Av.^5X^v OvZLڿl83=Cr%G ~jl@ 0Q'Z¶Is䚟舲=y@(tUyCU":%{[(3joW|QNJJ|2?IH3o{2.i?ww\Ji#?e7C@7`NtƯdȡ@Vz|Vz2y"Ρlvy#M/nRÛr,xpGDӜem' )f =R-܆ha"S,`b$2&XzrnCA m7QQQ0;עӶD·1pEM9G#A@h_7K)5dBv\TȥGd!JP0 J䙾ɭ;˗,${ڄ9h,37cIko^/HCS4<̓r|IvIΈCMM}zSU;57Uw }@S +8k}Y "du8D a^Hȉަ d/(~5UEkI )CަoA$ub#zy( 9B %Ҹv̚N&W"5/9ez)+nh|%qX5O=x4dEzޔ+ m+uXKkM/_3Gy=UA+#D./zŴaQc*TɶӔYhv0Ll1VG~'͐$3 r5G% >~•w,4k^3LZm)oиqʘ=SoF ( CbP!0miR&¼<}Om*re?kB$U]"EP|xMDޙmvPyD|gbo2;4$Kw=iw_`.FwVUuxNcA1=Xq1NFiԨ܎E&)_kCt7X5 Pf }/~ |Ie+8{)e;4r~ʅDKq4FiPf"3#6FC~Ǔ <{ S 7RI.@ V[7e4JR/b\'K EL6t PMyz@\G\I;UɎlƬ"A, Pt̳ e93c#Qe{q-3Q`q; hm(,4Ӆ1}B '΢"CcQi0KY.2DAޖ[s"56`9 os=T)%b9ہ^*P-k{:]Dweb_h\-yqfI @r } =%3~ ,xU>_s<1Fl[tfO~a L G-lRDXӼ{ &qT~22m;ߋB4Q@'kI%̿)%VNL{c̺ o]ԻQJ.KN>qh|a)ZV%{.j"U3mvaGfgcPA.}׶ӽҒ+V>YnE}}GQi Ns+gXikF}.Ԑ-NW Faʸ$#Mg'݀vKQn,+_3(7(=jV 뵫AהBu}0 o\[.Cm-/!niRNlzՍIj:3 &Kv2~XT-e;ϩ؍ ²iܚ=ioQGbscPf^ՃAL.` ՝xG 1?Gg=B)Bc֊cfEy\.zhHA<;OIc7~w%ƪ!]qNG6>yo{ë}%N9p:ݜe3P`L!%f%JK\#ԩpIvKԚ9bFZXe#ha\p#tv\.j4?)'yw;Ĉ`0Az[ܜ3je'F`" EirCW}uӯC|Q&]fā"u9ic{ ➤K2TtUrm>`pQۿa bXtQAلښ(Wtf MծPB'E+yҰ "(wb}G[ ؈Ⱦ:KamsA81y |Y$b ?ʫ7x'b5bAd8Bj<:! 7N!.{/˯vu`/bi+T{9Lf UT1]h%i!L8Uhwz=LNB?Mӂ!]89gbZ;7GWH{+IKMx4vu!eYcVh(lC=lX:#/0uo_D) 'Eq`DxUJ~@EQ="WJ,VlL_; zӅ oΈ> dkd8+k_Ov/p}R574RczLhu:>%>68ߐuazXAhy#v*~}e,`z64 jPrⱺB&,lj惱`l< hz" jnm<6dG³.M]_ 3w+\.G ќ_R2 ^k.FDPs&2-‘@$x \`]@O'Z8W?e)ƈe]C0C kݏS[fvo;щ BR呬w<71D>udPܔo:/h< <=3=l"tf"3^!{#nlfዅZo=׭MH!qpA(:#`3 AIwdE$OP˧6fwXE\J}\+B~nJ5#jd\ѯU+e+l ,\wjK-&[W}_$j h>LC^uTw ޠN ^M}m"4`&I 'G(|#qj26[g4*+4 G߀/Nl#m'8S"K7/1PiWU4w #O_xhޡ ]I[woibQ@7;S]H wBr m+sIk1tGgϫP!/Y7 ^l|m2ݡmHiٻ˒ŮHYw* )Mp\2AQܒg)O[ Nv5x wv ϕF)_^9գ;tړ(q?So,(N3CR62Bц'PTJ[I0=W?Ưg+Ym)hI7 ZD;-FȚ9 Z7 ~`2|.ݱ{4_kڣ=[OO!p4f- \3{^q{WI~Us5 b{^ P"ipPdz=8H_|<50r8*p@;T1X@TByL{*| +%pq@܀xx2Űun^  N*?@7xIuE?ptCg}&o'c?֨D@OX=~!=pU{?_+c#FˤJwьٙ7 +y- rڢO8ojB'6}(X²oh0ZL*3Yٺ.vgXR.T[,z SZ8p G̎#& [\hE\K,w;r;jlE?"ʄ:F+Xki D+kE H;%vtc~ ^)zZ>vTG:|v{E|5ܜUOa;d7MC$7MlPܩ=̈́(p WGF`l,05ĕ~BN]ӼOAtyޓ(\佴Jr dvc?{C #ե *'M;}MHƶ- wLj8~ m΅:tbӌqI +M4 6-E_v ߍUvOK߽d(H@PK[Oؗ[ G=&7o>0>+1_J/ީȔ@"0zIj{3s+dhfYF٨p$%mH$]gǡkl|"`՞"c!j==!ܫݶ!*z@J gĻ&)q뀱O״NܵX[R\ݣlx#rWuG7;MH^yJRj,Zf PaI +fn7 `G5nV) ~kk(Wr uh}4i#[LG $ ^2M`N qe?M[*#UJU`ڣk1Tw9\5] o:T$5~7BwdžΪy{u <1YhPY*:m{X$W!1&~oN :ףgr bsmI0o=NyV<\1[ϚxAbå/l{=C2wɊF  |K~]+LMjVۓ>vk|xGnq?#x{@b,IɵLR5.<c}d.'S(1]^3 *h|3K/6tTghFls/>:02`ͬA32w5aA[}UekcjZjicQH f;rbFDýGZ@vj B)yMæQJY.]{B.}lvbTACQ'$dnPH(<ܴzhUo&T$Rݏl3TIDuFRowvob-Q5|_K1 …R!@T5%opt^eJ̀ỶgjgN"Bkk.gcƧb2JyM_LLo #veۼfDF9;*'{ywk-ą)>z{()׌֝2J2 $;/BJ< NT½݃VnTz7YxrSq[G/ìʂ00um9BDL9v1[ev$İN`I-Mcq`%Zm^:[%D˽]?(MpSu1| `JcS$"ErWٖ&wo&?9Zj0ݙϹ 1EAiưo%C mAL}Kֆ]mEN~k rN;LQ\C50D{n- yc%`pZ(!&@A$~Lzr0R7Y팸WTݴ< Sy.S'P'AG.(1<T΄h?]Vq m4AnF^|*P-6c)^=dxK)a!c[rؘD_9\es^GcڿA{Ӂ3g% 3a7S,T$-z!,ĕJ\|ϕ,w\7;ojJ P #Df\Xq>x9VFU(wV Mxj:`H>6Nظb* mMs{r3<-bf|xeKR8JVyj4 (9ϴ'Xf=Ub`Q};}郌fWt흵ĥo ]x x_7݉YAKY}ܲE=[9Iۚ~sKC=!]ye]ڡpb-H>zyHiy)/c8nƒĭ4:o`6 ӌ]/s0Od4ӬCY?DEȕ=RNh@ Y[3eU0,{^"LR$vT1 DgULa||*_|e/C1x.z Bh=pcpgfGnRݓ`W%“ xJ 74~4 ag+䙨#.$d҆hYBM0iM$cmS _ic@ *`uR@ӓӇ_I=4PvG&UFs] W2' py w]nd]ރt2")/G&]1~ɰ+#X MmCZU3:J:nixd[nцt `4NvGTKxr2;Ҿ9MW^MuMrM ?o<ԑ'ge%HUS2dmDQ|v:' D&}Dpe.+=*[ћ4k8cKhs/wx\褁J'FWv\"Tڒ,d?GB"%[y+殽5Uz'*b6zm,صApH89fx$_ ˃*I9>gYZ R  R9> /E# |HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 95]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4ex@hIx㭙~~B7"YGf*!:2"z!o /u 9Y,V~hZ^fn\R8^oL$]Vtk3"Wt4߽R< dֽYNn!+9MNI1("MЂ_$ c8/՚E߳{(*a >5~ncBn@_7c&9RmIvyy}2AqƜ[K~l{z+ƈx'X(3Wwv8K.{"vhLL `QaZX4uRXܭ"o$h-n"򃯩u$:4fQha ɬg%jC̟uqnduz}aBd'ٸn/ . |>އ{|=u"6䟗%wDHu.!H!mw&9!h-o]q4'MDHD ~JUVDa6.V W1Sj+k|عs" VBX "(ϑ:h39m=aia+ɹ{X٬s%\ ?qsS0 D.fwl c}8UziW<ܦfHo.Lr1Jƿvi䋡@R= jz᪌i)7!Dk-4 #/<<0Gfyy!|HB&w-ayp!bk @z&l wxHv\xǒM9"o Թk,tjp])e|r֜$[66lI\( ѩ[ OO4*Sl9kML\Ra sc;zH^; ynfO0i!LMH ?@b/<+!TEOo7t+ٶ? /ڒyob$s`3ϙWxqٖﶵWoFJm6~Q wuXҗ/q(,KiR} .p89CպK5(R=* u)Qpnw$`(2< h҂=.Z+y4DII_,GSB)V}P{ऺϻ#W 𼩲T̮(D*f79J*t3^Z[#,f/[y]Q]ROsp?E/dbȕ5KYyE;?W?q(i.dʃ WQn{Z*i)>C-h"po`.gg43 /n"Dy_Ό-QQDED¥Ґ(3qwΐ@1{kK/G:9pAܡj777e7ya8^ė͞0`vrW<DA5(KRa+5>tOVbFPE~_L3l|KF-96 2r>Wt(,o:CeF" yw[fZ6xz<'Lfc}MQ`P29a:}c 1_Am)\I?i~ ӣe(x̷CIW&4XZߔ%(,M-="ڈ'MU.S1}{h918=ii B˱>j ;*SX>jl#5=^[ih (BSc|(}0_, ۛ$h} UqqHzF!>:[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' THOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7zXZִF! b]D?7 {?:fH\H CTx) ,5V>Q+n5gꝳ}LcR͌ Cp\Bk:(+Z5D^*͝wnbn˸K\#ޓ Fk\bbOX.oxMIB\͈:7n}R9bI|:Mۅ[<ʰ VD'-oFf3 <-.wz1@¡x-:TAx9sJfJ]>`ž@_z w?)Sn!7*ɸũ[voOd{uH2Bzj.Đe$2#]% 'u`P\ܕ5:8jb{Bb2!) bU_C8=jk 7E ۑtܢݟ lF3-&T@`\<, aKsrz?}ozD>$^eȥdszv:-o@dAtXHlҦ{$Zp,ݏk@+|麔#$kpD_&leeƂO]b9&>M98n1ؘ&C*E\䇎~2xIEswn4=3 s|S?d4ե|>=S YdΊQIx]C],O{!#Y3uڴ@h?b M<+ vIc @qi b MC%LtPlg>BA֐'Fȫ:Ϛ>ڗy5JH#*x5j<=^b:auZbIC.a^Q#cgYZ %b$ Jin6 : } = J 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 wa1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citations w'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 wG7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex ~7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex N/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.texEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;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'@fլm팘Jݜ9rT8S(?4NA}pP~:T22 FS*"!2X\ zr5U#Y,^5oˉN2J;^=\%_= Fer+%CXszgx~9NZ'~xZ+Ib۽XfX'S5fcǒѹA[]ikn!9Vh=8Q0v81l1#Hljd^6bP+3#/Tq,Є )&o&2U*_vbW˲7nZE aeC.)qCƘU(wVoYg4IkYXM^o #6@ &LwH_}4 6$f=H Ng4)5DT隊_7o.GOz ,3an°t~!Pl _rs%\M*-?{vSA4;6䜌XNٰ!s<^.^-)BHY[m5CwƱG pͱCQ˹N)8E(R o*Sե>%,!m7 x8ج*X~o̲$SU{m8R{ίH7-n8R[5䚖$J\r.P(m8[[w P5߾ (LBؖK/=y'PN̖ =W>n'4 ų* A-[:P.)H+Z,QUPy]4͝@PM:bwv% ]L:KbַֻUmĊ[0Ĵ6Dfak5"E i~U'B^|ze1?+[̻Q 7,EnVGwHb"0b=|;bb4S)1BcLy5Ad^nqMI &|#U򴩐t[;$OwUҏ!aԊcM_jK b[v^J%H;!#EME|z(T9Fͷ<<H#]cvL;\qӇc*2LqH̀Wm(abl`rPR{. ]R=lj$I<btr5A~CS}xո:mB8;R]' M͞*?ª_)6@_fŔC"MC; )D8vv1A"rJz[@@Q'd/Ғ3Ov\+( @b'9`֒XNRMX\,/lgr #} 7`)@Quā$-p(bУoCEx^͒GMt,n젳ؾARQgew{o:z\IQ_3 s HՁO!y@Gyn$-|a=C\ڝ֗KRtIXGf\:a<6iþ.ÏL@̣sYE#qr3&[TG @{TiׄnM-!mF`¡YC,9A)==],9eYIo<9zce-\nfOrd" 5.= d G"D2FX܏b9t5&Cᡝ[||_U,TSb/E) m1@)rG@jn<B.v["ԀFJ ,i֣P$GRNIclUHҭ8ڏZ@ &#-I  pA=PD/oL7S')>HT,;gUa s:][U =UsNBɼdc'ktlBE5Tſpd>3I ;9p4@@CV|9IշFe C6L/L+RGⱀcM9뫥mܫzi*`iiPcqR6O`<^=_`Q{+L`d",զDJ;e'#\AABF-BLgBTUSDv\*M] !#bF.8{.2zM/g\fRWZ@x&|h'Ib1ջSrv0D,"FaZ k éC#m^$DV!SQ{Д=۱e%Z$O#6D|,Nc:M^-cEQˆ}Ib`Y/C< _vVuOv_Clqq?ɋ(+)ܻ]lMLj]&P*A]e5:f94/&Do|:2$W28]jF})F?H1`1íR_`ɭq GeN͇DZ,ҷQէ8L^|r/(rI0D}PTw _u{;4}qx08ަu</*NR~Pé{[CZҿ8X@E`v^pQF!䧔LTd*Z(.\δf9GKBKm#_Ef*-hkj 4V|sx9h/,W.c$_'\U6K?;&:5QwtJMDX8 ՝%moZ,А\ӆK>GMTnf{]`8 %7vqpY΅( N#xi8ظSnP]RNU%YZ{A.Oۚypl}ѧ3ߛcYnĉcDHP:[|]2q)ݲ_[Pw 2;ВA b;b7Od*J%ʌ#fn6 Gsq28-?^&6m 7,m}QJoˇyc:®?(2~Q!ن7  _8hS5_x i, < }~e:<^#C"k= +z_Q/=2ѾvvYۧvWѫJ!h {Hy8(i*>%(y5M% (ᯜ~0f'跞ߧd߰|id5 ×3N.سϹQ h{.{K0 C1<'_ %Y+*w[)1k棚œqb +7AւAb EIIV*ߌk#;'0ͺ ب-#bE7wgMw6mZ(ޗ>#&#A먰wXz[e=9ZJ69twy/͆#Dǁ.X}ve0VWD6Rq96 joXw!$1NnӬ./Ai tK^A`SlF頴w[>ٚ6x]5J!֟4JbeסVh@H4!r +YgC4o\k}scم';r$/S7e1/\Bf¢"0L}Ȗy&0+NlS#T~{Grߛy=R޶B޹?cq^}%WUD*9Tqסw-0uΐX؃g5)I1!9!u>zݴ4gE<ĝW3p=TВu Uǩy6% G)UdowRa)Fm%8[WdsӞx\X9ƕ\@Lq<SKR.(5搙Y ̃kh5F{|Mxi!IE_G[4QJ܍.gh=jA wIN,C.?zjPS yޯ&B4vw2$/tr.Ϊ֭ { Ng\"Q:ޥn@қm$ctkktgJ1([X?vwJSNje}EJA[@OB,w|$Ģ1Ű]|葀9[@<^6pMةF\cG|5Ĭ^{o 1xZbVXlmm\~J{ ,Թ5"k<Q|t^.| `ވm;?AO[ijϙEta)L$dQA/m\5#%;;؃.g ᳦Si-HCSpUU>WGlWtJYʕ.<8I9~ 5+p0, rM^eJn>pq);`ܯVb-lDcvy'y֠|"r+0_6ϰZU_@H_8x#^ŋ3{|xfP,^ale!zسJy*]|q[3h1+ᰉEGՃ>]URkA冖G\ Ʊ3q}i :WdEmRc!hBQ8||7@ڪO)xӲ<_Ni?X Fx 5-Er>f'u.!*WU{jPu\X $tJsaYO!6d;#hʎY -o)'>GQnat/5l}DsTè-1^-WxZ||tT'H/ Ԩ"J隱7=ce3i,)Aռ^=YC~'VfgY ~ DU_pniOje\تcoDz_%(> Xb~w/*׆_N2l[3Iۚ$ m"Ҙ4mY,?RH?㰺`|SXǎ/ d5)lIJ!UvDFcVӐ?=P]?5n<X8f2?Oahw-{=_Y1%)`ȣs-}1Uy^iBޏ2SrPYi}6֎LùdqArTma+|f  # j,}E`3`oႏBwB@gʃ^LSMtx:^t ٳU=cR=j5 p<#niVCHO_[C7LgT[_Kw2cSɡ#Ix[<%`y/Z\<7J?Tt#y2WXgDQO aVw ,r:Ƚc ?SJoX5M !m9 $<.>nWOCi& Q8qS]p=,6w7Y~]}y7^'pq]"*Fl xm(vQUU3!vsiB ]z죹g {yRނT5cَmW%{#]=d/ 9 &+TXqϿkÖyejs.'v&Ox1b7֚ljة_% ^ݕ3xW|m%R9>r`Uo7.Gz|B{ޮw=y}_7R/(HZX ,mrza^]2c5wŒOeCDݓ *盓E׳k?J[>,G-E@_w@.ͮ +cj1U2YKYM8K++AlѶؔ_s13V5G;y/b1pu {)x|lC7zGϋYTmWi IL:Q/|SmHgBT{N5HjG]qA^L}F5QpqmpS3mJK`Ip7p6 m,nJ Izsi!Y [^ڃxH*!\!,8賠LhB$nM`;ӓF 4 E]ƒlw&H^00H~A*S5P,/ϚrsK yN݌(ˣ {2Eל162ո11ӽL_z:HrBV4FnO었(MٷufdaDئ8nw %*#^x/D=.K]AN?YA2յcc}3> ?=f?̗c[~ӡm*?~ UEoҩUD8sT+LmcŪG>O2}L?Q \|Sօ:8>BZVЀE(|k>y:BE >aK4OMv~F,&+`O }V|XS+!~FCB$;MrbQ'1kiX&ie}F-VPyբD)jfe6iNt}׎HHj/Cg;ӓR=߮^. KPh*6D-JmyL` =g0+y4k!\>k7JgWITWL*ż];{]bZūXdVը~w e:˕+^^ 02`wU&0#pȔCYm+ Ȼ-WO*:.:.>E%(p@}׷a}JӹeJCBM#37{QeLv|VZ^L&& ;wIH _jc׹ ax1c M2d jyo3Ca4¼' pm@SK4_ҡtnXg @G OL'DSp953Mm|N´^A2UGb^fcq-)@΃3kScӝ]P]I'_eM.wMo؃L(IbDhhJ.Z j2$M; ɖSVn*;]d`m 1b[Tc4$Cғ)}e3#)r]'J51jS91}0x|zeT k}30Ƞ-{w|UO܃} ?[{RSB:`rGջ{Ml4KYl6 wH7_'uڝc߳ܩD={Y)&qD& 2- 0N9~AcWmS C%) g* @[KDx\/*7}KFoImϕ&{2JbWa).ߗpjU-74TIlDCtƵIcqEWL#9@FU]E$HWȈ/a^@ Ren%"ɂSWѕ3|2bm0ɂ$`K:O 򳭤{ M %#xpBr ^ `&tLh[?\R%5UꞍL8r &X _Bڎ< PyT^E#EI\HF]޾!K?a rx|橕 (oג`1" ]&x ے$("sT[Akfx=^ k4#jH f."T' _PxE9J0SQMǣIޏ] w+Fwd6QB^ }T6OtJEw V:؜4:&~1a.G35 -ʢ}bVU1٤_$ywܛǥ$t >ה۹TR/R"-B> E! SH{#=jڨJR IAxJKkD1ݓx<%l\A'bgz S2SOluGR"9(7_K8 4nD;RHw=ownK\%LYҽƃه^`f"걂+G\7>1:M2(h1>X/vQQ,4`{6oVQ Zd⒋tB3muxm#ɽ6w ]r Y(br]aa@)xvN]R28wb_M 5uƶ*\v`v#'-dO7 Xnu-hLq^_^P)E'nƅ&WZG͡?νux2鬐g?]ԸrC=&IOsuw(@D9Cn:2+2(:hy1`}nZtx:cF_,ȧafz2|׈{^PA袌D7u!D*Lv?Ѓ.>Fc%{8 [#)wP)|QrrZx$r S[3߭m_k> |z誡}ntM|wD>iAy,vv(Zfs>ುH$5Z (4cE]k'B]+k[*༻;2ǢN![fxG6-Ю1cQe?VƢ98?,+#Lͮjdj>,",OxZo%S߀jw0\Փ>OLz3AKG'ƫ{b%٦;'SqGYqAr"CKcgYZ  ; jB /G# \HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! f(]ˠ)jk2p O6LP=͵gl5f&Di5b^8th zb6E3kbOdlB/tL] G 3hf-&xӝBdT6*dF@GZ󖧿Z v`瞿xWe}'u_G檌e&Z ύ ͒>ZsNyʄ/).-;I/9M2H>m-tH?5w1 7y:B_`>\kaKsE 5W4\RQfmՆTWϭiASAJPcH_5pXϩ۪u_VZih^Ina >['a־Yk;4FgXkDl0I(X˚}>du\V ++Jx2c=R^"%xb V 洮k]TI:|:w,[gla~ >?]1eyA0[|bOXz-=Vq?0]9)ǫJW,EYRso=tE? 6@$t+& oV_MNG+[P#l풛(D;-6cѾ;i71'ߠQHoZK&Sё:zn^µooi5 .\,MGQo[d2 _'qQ#va47#\%K6\u7E ≈C",^14?:YАL*:p3e ^*A^9`7H4oX72sE4~`곕^&jر $i4-A+ޫ5(' ћ;K?`D븂t 4ퟡH>Ҧl"1*{LWtB 3R?m`= iGMdRv 3.Ձbcag-gLۇ~{܃R]cjzHS)/{qIrmÎ1`gC:+\({+ugm8̪8jL5d>M"K^Ud6Mn[Z$z"Mn D?WeqTПc3b!h ]-o+j$D/KCZ0Ry yKM.KN5dDkQ)T rۃ9+űh~ak' 4'pOX Ux1age GݡE,?"D!&rSl^C&d4 P,1pttr+s@cUDؕ/<@ Hvr CD6wSk`/úe]=Qׇ Hb[L<ˠ >m6c)7m윂!U}:KJK3b5MqˉM9CgA/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'yO1L,yBt_Aۂy9R&5"u=e9M3:w7Lu0"U\-zmL45d;IbIY ; ޖLaי?v1zha&?}zPUp Z)`c:vio 0 lcPRo rܙ i9 d|H?'_}]RDQUGX˾MԧuK9M f"zCy1b?!-gKҵ?w+U\AcNJ EZ@[=$ąZR8HL%x*t'،Vbz,{WْTW^!4Q@C<ޟAugf٧>>ַ* An`*(-U( |,e(#Σ1, ox_qQp)G/s?Éwd,3M rkw (o;d[…s IJvac$란ߗK} “ ߸ҬYijhSgL p'BgÅ kx?!8WeVb Ӗ 6!7-|̏ecnb W?Nz~P擊f,NMG<$I:%[*ěGJDc>p ݨ4)Zjee7(͸@ڿWS^ກ}>P%$O>wMJߏ0d;r~>99XȢ F$pkuDs`p@l[g^ +N*ӧ`_HE@{|:wh$Z$`We1|(T]=ҿ6g5`+뢾(ҀTY ^<,V^5#/: INT>0kO@6$ҫ6& ]a fZ̠U |sW2/Ɵb7=,sBKA[5ig+ D\nV&F/O8o22Obw$Cle<{&b%V DJ:Er4\S F$'u&@&}r4? m1lCNl y#3<*r-P|j  Q ^ ZcqUb(b9^M@w|JwbXk1f@sWڟ 4?C<3.@zrY7#_nUGvG+)fasKT':٫gV5@Jb,piO"~3`_)lc$^emIaG $ SO<|a}_{ 蛆,V~lcє[(r8;}8A`|"4D=pb+F]1jMxE|/!f\N V,덗4Ύ+%nB h&8ΰpXY3? 1.|2wl(c{ #J]Ys!H *Lrh(DQ%f@+2oGch#~C8xk펙کiȫ `˺O^%n Ȟ]5u; ݊0_jٌx*=Ppe=*F&Ys%tF292V F,;sv[i2ltW0|Ф1 {K< m(lhzs:X)M(1Z/up{XU&Wq ,z8&?gZ\^) ڝ_;f LCRQyq>H1F3 x6HqTIU -̫X9~I?U;"Cy6RGzfc,J{\p!g/P%C1pK߅DBDT&޽WZ&l .N%DMd?T[9gwǵ@R]O\+țFlԴyW~7!]n(T$IB9l^=3_&zaLw:~ڛ# M tΈ>+P~Lt>`F_dEnh|: e" ̒^KϴuOR j4Y(^;5ҿs6Ƣ=Qj^x :u{³C.Zv~r%:!{L6TI8bM(322/t80zn2 %ZoN=RI'I=Ifo99nVK&JR9btTϠV [x )1ćsa3NR>/s`LĄb~<0U=Kg.]ƀZ$ cpð@uD_dq㩕B0Kӏι<c )o &?G2Xrgl+2()Jixz FLm1ȋ|m98g)'9Inz-UYbN4 !G!{֗ ^.z饰 P<6 uAos6T힅aVqV;e&]폟ͦ%H0EF:ٽI$6th = (b/o~u7h E:E XQ^gQ`#h)1ͅцj;*v$:־W^u-G1ejZ^cF/tE~hQ5\[3י#ҔɟI&vK QY<ҩMe rob:^C5&sh[ĉJ-;bWNhw`r.Fy;`Zu]~OmP>{vˈEk"ܳ`@_<"ۗ7v-@@KDQdn_[eT>0#a3n%\oqVU+DssY/w|"?0cLE}OKܾ=i`pWG9+qD$Z h'yH}y)9j~VپԪ~+ &;_o}ޙU4"< QƐGJ(!r!´wf'П5 P-l+I Ev LCI>{:&_-H?N*U3-`p5b(yiwʼi!=>fAEQfu 6F{z_ Qל~COBV G?n.zhpEWc@Wpp5-j\IG.:i f.?(M]Flh;(8ִ gY#*5^)'Պ!9B_=@T_8k1,vxLAKXԐ0?\CI` 8$%uK j]T!Lʋ'Ŷ ˎs`UReہA@ fIH<mRۡW }9@u_惴WE|/VPN?`-g',,τqhE" ȁQVPpb3N$KCKe(hO2gyi;dɟ9PhϢ`_p3!o h!envr#M;O h~zɁT:fr- ~B繫et#P-Y`y6*6b)'ɑjE4ꟍ#"(iy͖뽸A}tZObc#z(K[ Lr>uAe1Vӆ6:f*Ӛi'0lݡ;٬7ru;WGha\D8Krd o@_&H;_hϻ UleaJ9m^N . 1hG`+<zE x6[*us8m33AިA +;#nӆd ǩ|H*x_%+pxfIZ&=#T:yۙJ=s1Cw"(2wdBe'$dUYNwŀ33J_ێ98DZtouA/DMـkj Q+3e0%tEQ (['d>&m1 ߰Ϧ$:Q^=7Ԙ2r6:"QI\:=J;Bٟ0,٠TWiKt& K๕l=@fl\f_*3,$hG;\t}e2V!LSn-\F[6Pn=zjaVUKQ*lB M-k"S-hDE;ss;r= ũF^9 $>PS,oKi()9Wa{΄[#s9r֢9KQq~G .S% }Kzr1Ȟ|ǎP~T䴥AГÃ+,vu `\$֌}s4S K?teC>'wY/V#.Bjb`ߚC)O,MQ<Ruʶϋyտ^uY$v_0$|;!еHRaۚ7(+oܷHW$Eڵo{tm=yp?Uid$kwuԥhu~_JƎv%S)@z  H̷w^mލ %IU>*nh3#\u\ǿ-mVC9W~%g!6I7۴?~' W]E=֬i^ _5dNJ->;:o\5LOI72h=gڹc*u[H G9[|_7nZ'Wi9|D5qsyrʰʅ6&$BD'TfǗSf6< |`-gkZߡ7sCia4?s`B:}2 l{c< gqԤxZٱۼiW͐)t$߅ژoAcI!hJL[RZ^w_Y 3]2i"q`9 ǯAu)GE#|YʕWC</ 0&S{@J7&AɃ@w#}0jM'vvxg;uS+[X+D;b_hGhĺ>/kb.2]|XWXzv@c_T8s8+@#XxdMS0&|f%-U>G闦yd I޲cd[% /Z.j 7B:O.cԳac&8d9c- Ɋe/1Fw#['T<;8c7r7\`:/;a6g/%RfC4cJ>ДYτyO˭i|y1z]1O̿zw7:J D({p;W)XhEÈB9wY>C$C)ڝaSIxO!Nߤ&5#3Zq4q >7<Ǡ\K\u>dX($ȵ#0_* -,,ZJR-, ʫ|)Ô >8^qԱڅ`ÒQ8m\rs}vܝ!BYflig0jW<&m >W#kT?LUs}\Y˖%ɍ/q 8xJ3)cN_U`[M Mg.M)*6h2Ƚ0a-e4|eP8uΓ.[mPg+6lݠZXR\d:u)FWI[}Aʶc`6j®oFX(o$n 4%]s|Rτ&t!p@@1GQ& g h=;wpvQħJ6u}eB*? Ri#O&ƞkxUntREҶT~KpBsLkJkJ{wg#/{ / #Ł{e$:_%VǾ& Jl(k T֚7ֆVtTk1۲5-U bP nu4U7zߔDžX^$~qUt vZX7Em5@b[dOd@sKx;4%JvlweE_[fy&:(R׻E8'a%@;K F uSw#{k:ɳ~DR/: Nt2 4\ט YN Xh V9^l9av6[ hB'yS57LL<aͨ7Wלox肜h@V ϟ~ 31 @ڵ'"ʂVb8䱸MXX32j','@ϒ5Je5^o^>{_N 9rLZðPtVx\Ղ ǫ,vR@(S̜V,:4{sJ<>m(EۧZ;hphϩ]- XMO5>^`,,`rNtHG0?TsCn9+{UwN'`<¤RմpOTˇA ԥCmЂFݔF4[./Ӈ,N30(.^9Ng0K5𜪊+p9eQ}Um? l5۲€ni.9o7*ço!|XhPP`1MtuhY|)a\ p+/AN*0n?2q+dcP`gr##V<'O 7 P[.(oLDH3*$d,>||P>9I38rN9㵝&Vx& ^\R^WvV \j$v-=%^Q㗅иv!;P/E B`gf9s a \74L8Vq;-.ΩP~K:B!M(:BBkve> JfHˀ&+ԽLBse{VKh<+ts1 ]$$4 M|!03 ?$}fvIs,cytLS[v۫;$WewP@Ą-V7#y(:kMF/%op3 %Ngb`CQFqY#L;Tծ߉X fQ%O !_Ȗ~eD@[ԳqjX"rRXo i|}Y}¯-y>JZ=)ȭW;ʆF7 q9ll K[ܙf>z_j܊ǵj3 Usp!4,BKUKJWsI:7^ lrߢ6G`a"j g)w: >|w[ JpmQGS\ ; Nm_kjx89ts#E\s䞛7 t#?14\6Σ^xLF\]G^)'{Ÿip/s2YpӾ[rZ)2'  9].j$y|Q՚jHͳ\vqU]:pJTn/.-~ټC {[B{Q J%۹ܺБ";COQC3@^'^"}$Vh:<b/1<Œ/Jfأ!|sxO$?hȾUJ>+hu4GY l'}_xc&+f ^>PrmEt49Q?Qp+7P-Kxzb -O.&,nog-na]Viq͂{eYK?Zċ.@iW r qbqv<-^>cXkCM E2r8ut܁Vbw.]#~ʨ bE.V/3+TN{Q|=ުN<;8<%)'Jf E9sX ߑ`E"Լ4&T(ef2wY 60E8%trtW8Һ5Os0a$_`ϧ{V{[êJR3\rCŌHE^a^@=5Wr8.LE, 9\#oԂHbГ\8>b+"IS#Py\^/POmfnOS݃+ž_ ILw*:Xh8f2aoM=S2H;Ez32 `F[;b!EW&VgT8=YIϩ>rfB!  }ٿ ,?!U]3*i'pFlmtr!(WGpNNmB{`O1[bŹѰ>If`>gMiW:,&8daR6:Fx:~vJzyBc_=ƛ-OTݓf?ʢָVӽJ ͮ-z+%/b~467-@قR?`%:.[Tva_yJI(y=z) 5yqwsm5Q{rY^NᝑzQԒDT {?wRoD{6U #.;ˆpmk.a]Js)XU$ՠgEhBWA>#X[,')`!~+e>м~:_cO9=b.HSY5 ZpDTG+ -tCJw> )zh!o0! h6>AG,["CH"_uڱQ !$馒_E2y0 zg PTچ 3Av3،|3Ko !QXvTxJnnb+t]xJ~U@H5d RV"^(%cߞlL7$ԱfHp%aCԻQC%'@T3 yc[ґ񢯍\ ɡ+@gB3UT!8j0u& |E<?4CGR3W70Vn!rZBH )7rqS9mK{ߦR(k- R{c@'HHd('\oL@_wZjy,Jd$Ge6+9"]҈E*m{W'K!J0cEQcG/`F1fT=.:-P: {cmdr;"k,غlQ2RCS0|T4yv졦E8=/K Ì@W +"ΙSԆNɴ}$ԟE(ۊM5Ah&7{2 Hy0`Xr#˴5r346t> tXvqzafzT$:{sMsGSoO8 " :gY F.gwk_J<10c 1bɶsnOw?-x%?r#glϯ7¢*؈7P}q*w؞ ?$gū3-,ig(~-jI!V1^J *v/`?b*딁ע#4GBXAĆHrXF:7TR/Z-C7ZaQõ!sx?dU'<HU"puOG!ygDu'|lgG2 .n 3ct UV8\{ Tix&".-[Kx&o(aB$fqS3"mr+DH+͗<)BYd=KkIW1L&ua@ LǑ #7X,ծxQjE~u!V=ON'o?=׻-HZ؋w2~(0BHj0sY!4hꦰu[͆f/Ms}U R0u]wM"ͱIЫ3漨`XޞPk`ύ0)'ͧ(3Eu69`z>-fnD8TAvB,[Sy[:cv]ҫ=I[YZLVG2 cGU ]lLjz h:p,mn*>DAr$gg}?PH_{`UD*f6J-Qަ[d;)<ONp$k}]5:F2e,?ao1ql0K^ GȊ&1Bth4B|x/;ɥf|c9fLMȍ>~]ev:+'ȩ|n(TEx 6/v_eݥ'.D/-oR` r|7f`lM?Fsr@ .h#HaT3 (l$ m -e1N,"On'up*[137',Czl=%3`-EECe*њ (oHGA[C<&+N>yeI~׮jPZ01~Ƶ#gdubl~C/%:z # gk&tऍ/yJXִ-`5bmp;Rdg΂zSgҟ|WsMHnwb\AF3 6SŒU/w\#"+VŒ CZ] |K LMj UmoXo9}wW}bC |U&+:씊n#M^jC+>A"NX*i]NiESC"O jC]0V<:MPINwgm=D+؉(*Ed̑xY J*΍ܪi/45Riz}]B%ꖝQIʟ:"q6Pd9$P½ڛ 7r*2?L'Eȶ} MN#j8 YdR2R }<փem8&\lfVyrZJXO]V[uSkTC=kOA=ADت. F;+toڲ ;%`ۊa!^-TcRN-Rߡ@}1Uw0orMݱS/ )璜$a&%M mNUjF.XF25(v߹l&bV: πhW*PyhB"ҷzqfqĻ׆2Yk/Aq"B*W9;ȋR ,=kU)k9\]eq?#l PПód74(CN0i'׿f=T+@E;+,x#ۖ6/8|7+"ɰ_W`ݣwAF| \@vC$OJrYO٨T3fYBJPNVb%4ٮ$5鮉#]eFv'- _VjP2Y cXWF,ܝ?$ȟV7݊drJ.Rq"x˴x<JO^זY/`BĥQ`Wu4'Gv.Lǂ薮ƕ3qJs7 ͘ٸOFVG}Խ:-RJq%_+]K\[WHsvP4P._,Y =(PS`l>vc΢/(exU-+xsE־4J.5 ¯$5^\GkĖ1ͤJ&_nYPb Қ<)6 ky)6jZY}r@W/!MF'`OZoq>+8S\=_Sݔ@8-_hW[XԟR4ޅ2wKNQSx ((%֙iULJ߬E"@Ds8{"!1go2ۉ+Eޘ$?^vIT74ZlR/9Â~51E?И"T?12גFz9KAߺb_kN_PrGSR_CS[fg,jB G(>=$^xf`p^]>} 6MBnO@tX̌ʍ?HJy+tVPPEݕ*/!Ưs.r$ڃ.'Nb7Tq(sA0NS~,OY'XGznM]1E>ZiWm{^l lB9y޵gȃ91z> +Ev`CE=s@x+?YHw1sr1qM*ըqkT^t4 G02t!8]e>SvfUk@y%0%iWק>)͠@՞-|]dP"I[&@ #Fy>]1T=܂8]!~05lu3y`y)侾&BjJDWwY"vˑ%\ v)*ީۊhX( D xGztD?m4_f7e=1tnnqJWC-0#>U6mK%  o+?q?b|vו^d<.}?XtY9 $RPEggEbpKv)1^MBY/4C=ʜ:k%W>J|;cAI\&&e'r|dK76| DŽqPXj˫7}%l&>}3s};&5[lng[T# 9٣ `y@ݧC%?եĘ՘(GaL k_ݟKozֈ%Wp=R/_P/Yi3]F&*To\.̺FOb%ꆫK;^"1ܖbdC].ϣ r4Ma=<]g40E/GAS٢r~j z"bd=X#׎Cz呎c> ͛*}-V4luim5,G a ٶsh\L|ޛA9P~`v8"t6,Nk@[.M'iN$x~m]"ǯ=pC*5;q tgp_{REe@Pps$(w)Lr`?TObˬ z 7|+")U{W-u7뤾o $1Itm\m?[&akāQDL%-ж;? r8B`{&x_`Xo̳  g8{;fŪxO/ۦ˓*e5:$ѡ&b/1ʾ{):3>-=H%.f^dqAL:$z{ !0Yt&^B/ݛ h8~)n1`Xt8.&dɔ\H⛑(GBS:ᤡugfH*K9 ϯFl̨LK *@d4UhV<" _?xH^eu[`!0`lūJ b;8p>wÇYX >+ sszvXc@/+\}t_5ggNh.7‚Ho_2R9ʤKkH&m;~t94}__mI-dVŨ om9~J壤;7(BZB,K @J sNBXcwA_bW6Y4Bv -"oWdx&KjkC5lV~_ #IyGl>Jz͛ԧ2 fbw\ ʜ<ֱ -\,LۤWLe^1Oڥ0[WМ &O|2`zEx@Ƴ ~$l!ALT HYNkdѝRp6='Nki}]_h=0^}oB7`tυC{U73022SY`gA[/SW| O/97TB ?1쾫{F(.:7@Il}oJn\S^ -ٴ3 M,s*|1~&1s4${T-cHJޤK^{n̲ r%:4:#UmX @ww ~{QJX'D+@pv, XuZRcR~\="-D_;+⓳E[lS^eYܤoT76V#1EDaZ` *#wLPmD}G2"x|g os8}Z6$#Ŝ bw(rȣIJ >ɫ9ս3J-3IC]AZPJlHba?XnPѧbS_2onl $dh ^I@3r걫(jZ`E9%A}0fvXF0-6@iz&Em c ¸W舉[q;8m,˸gYZUęS/n">@ G8~C@^|iCwǕ\>J3,}/7|p5SAoejhDRu슚Иh-Q!}5 ǁRSZue+6ΌY,1^3-RL Qhg\RGΧt[n-USvSTpf_qKzxΜZ1^Jj~6c1/*]M![]yQ5 1w4ުbZ,iFVq[,0-vUhooL&1m^5h-^"́" Xg];v8vf6h6Jғ 'ʺ.CM[P N>P J%w(r:m6 J)qk)g*pM&'nǁ Rp-W|= lBMf_ŘvW Bf\{|>M i~, jٜXgHA3Sx$jpB=Z9~a.d6e+ Og۰&T> ]=3ǧ[qﰼ <Ox&S8hq9d3Eg\1 @#̋ϡ8&"؎ɳaT9-.mK rVF,yCSk]1eYڶD,Ll~gRiTd0QD_y/T&?T@ DMqFa2FE ?tcgyS_axī,<]"G*Ű#wQ cg.ƗL> 6m<<M"ؓ5F6uEKrnW0s8#s>J3:sMZ9io dJCy0Zvǭ(qQ|/ybA'h^7@)3L%+C=QV,,[SRВԡgJxhe aQcbJBa[l}τgɿFy!Ε:y)>=1bWE/=%4%hnJ:G˥,tK4YE7Gf6\>gޙC&KG4*TYpga#:Z;8$K45 sbN+ >LN"R""pAѴ헻ֿb|ܑv4O9Mwk넵Iy3+:hC0s@05fxQVp%!453Α2i_&2_VZwX5KN:Jdx+"8-P7ּUo^5+r$lij԰j: rG$""rDR76-&}(e)ɱeLĹSa<2 s^z²c2 - >QF/S3/ƷO2WtW!Oo,[ѡ@A bj|R>@G,c&IUjٲɳ5> RzK+&LDbbٸmJG(]hL`;y Nk8~[eD C7{R) FJ bMy+/һRϸtQξY<t8=_1 ZϒA3T2Èϙ $;Q9F\-פsX T9{0>ehqA+Vz:Be,aLrR< ?W.lQe)](gfH):ȹmX.d]alm$،[|uvk ^.\Ϯ׎֠d|0Y|ސ!=/ԥB9I*6օUvO0:"ȝ 13#da[_ix:a9"&w> ]ZeW,R\8#59)7Q(:SkmU?X`-3FOb=TS^e:.8){{l4A+4D^S6fRǯ\MBmt:y>+s')?'"~o2 fȽeB8'Y$nȽ:3z U@cLH:8:6ތ]ؖF/G7&|KL24sJOrҫT RSylnMpV6<.fI0P@C"[#L +X*\WbQ \u.x@.yFEd s1DY#0iѭ8Ԗ:~#fwxϼQ%j>fU=^8RPg*N_Z^Cv)Ͳ4j UoV k-Jו]^8ܼFm:fE7i+ 翇hLgǶN(τNM SYm&8r11*03b`[Z(z;?=MqqC'Ǥ=">Vb\->ZX;Њ5~ߋ;bᔂoy&ҵ%+I•rn Y~.YЊ qҕp3K>b:2)@gQjbž0kJYr]f1R9A-_8ɀ7qъdFA d c#ThĽNO >KU2~kD4WwYڼRe>X:DN;gdC'ýNG;=+(S&C]+1ųH.Pv*M!lP[Lяf5??0Tam[$@X ,e$ןJr%DTFN@"׌֝An *ą`,k,_uZXqJh&[eyaH#cov̂oZ;ߥ,LJR@gYZaab8f449631b0ee1fe444f95b1226f2b483d538a345ae181c538e4194d592676e06efaf9bde7d260 eccf93d67d55e043c41e06d33adc8d9d92068500