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 ::;/v\>ݽVꖨP%^i>׋`pF`{jWHfAa7? ss@tl1rpdg9tѿtSC,Ϋ; Lij{xndnT~k)㶟/,/a&;zBPw>956ko˼#TLIc~>4W \ܖ lhoŮ'ʕu$ήDD)/Kf(|qs<n))L8,gYZ7zXZִF! hX]ŗXiɟ11bu)a2W5Kԫ]\2)5e=fuWdA pY>eKj!tA)>ԙkm3ŭ8;Ŭxђ9)e RfxfSn.9Ј |z&&1/esQ.<LEtRB?@C?.QLD4E==Ҁ*`' S(}MbL(zHd&xґIZTM0\Fo_t:lܩwZ uCgYZ7zXZִF! 59]ŗXi%Ą4 ǀTjV?߳[4z|.iuXshowmŖc <7k[>|`掁W'z\3.MaW>R%۝/TE2m"qƆH5(mԅX#t5Sp#N{@AXKZkv৶ }݁+ H*3j[M 8ќQu]8>N,ehyxF =pxl|8E_Pgw "@-H4_Ut_#0{?oJE =lA!H!P[!|fS =! ;# ws7Bqe}8&FUV{oLTxn b2*'1tzn OM=XAo $y6 k]LTguÚs@%쇊f6)353B#E@"u +[z̾Cԛ/xzCi| ۫bnMjokWvz ݼlLLg2S Wu>A߬-D`^M3]rQIg`{M7 hE\9fYّ!"xosÒlМ {snxCM U|=qޭQnj5&]:L]zT@dn,'c^ sg̿vHUV"&G6"{JeQ~F<Fb"ר}=in6>j0z*w\}7>ϴܼ7DmOTXbNe2]u^9exЮ\a*}hq3ɼ{nvskDGqJQ;XS; -d-qDf`u䳶bX%1*1Z4S Nx "#RVߣM&RBj+3$^+lB(݈TE*7ހ}Ͱuvcv s_@JNDDə>hVw vZC@Y-K%)28cmuIRLdVG*P3SئJ6w5~ 2)D ;6dmT%GͅޛںINگ58w&/<;$G+PDU:)sҭa >!i쨑CZ0u_.Ig^b-W=0iP=ŽMdG&o,Bf~~޴/ڴ^yT)DhT66&_>SED{Rύ˗zh 1'9V08ʍ>vnQ_LOYxa9uCOLG0f]tKMUYX:>t7p92./^&q $GҋE$%H6?oh& _,U oe8W)w/ef5o75c8 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'pDDctBB<>79443110.,,%%!        > Tn6 : } =  y > ; o + J O wb#iZ [~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 H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texK/G= HOL-P=</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&   ##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]gYZm 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   t/E; \HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.tex7zXZִF! g]A-MՋhvG"uIBm5ȩwQAWtjJne .#z°ZvYosP{Jgmܜ#; Q͏1Sn\4"m F †<*^h!q)oW[ RTɢh0D+Je!m:dcV P;zQh-ǝUzX(F2?\+-8أlkkFJ Cl ܰTu@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ `ET uh9B<_ߎ: 2RN*/4g% 6cej]rH S'6d[Bt2*rx=0ēt7٤^wq#/Dѥܼ5&cIzç7g+|rh_3['5]lAsI9\ͨOaդj~qkO[`y|JȎk~GOqOG8ʂ9ͤ>2R fwʖ s6oYb`/ -1t, dawn1K`Oyqvcvdi3}Bh"% eb^} 1-mP柝e9܉+SˣIw "#}^+&S 83j`檔%)Z-'Bciwc(HR$NREڅaIԕ+ԖE9-W!A7q.R ,.~dMIFWkvmrjQU xD]ǫkkh@NΣafŻZ)3ȟ(IC9fxզ:CTȨ^K1"w{vI/:3!H珣4iŠ\m'S=B4,dCԑJBZI{z%싂~,Pٯ%qW2>ٱ ,0zoÿ8!Yc@6Μ}f5Fj}hK,%M96ydXoZ?.OL]uaw.J@iPy0SpޚvD \#$MA1]=栉LTa&[5SG[G5B>UJ \M0lUrq 7=,T@R%+poE]09*/{JB'xrVEU# yԬ[x^G#^~}ܦ^ԛi?-@5:J*`'㞳|]3GMxyZq~hS|.u h~fW4Pf`7PRmy4I˲( C@ӓfR_w{'$eAF:M.* `PbAޯ5 M#f᳑39tFJ(c|he{D;Ϝ`(-9wN->L>sj8PYjU4[Y9 ֐$i | 2d\iJ .Wh@0V ;qʂШ{,GT/'jlO#z:0@E5RsGRY>@JI+<fӇi3 ,߹U|d~(7b1qzIҧVf֜QPZzcCrAlrjp 2} ?A Wy-I&$ߏ5p@>kz"TvR%dī<)K& xgŒDsU8On/j*㯠ۈRAp47G{k!fXnrL2B I'@+_C> 'p&*'s̓Z=ϘDQ! _ӎ]E)-<CdUW0Xw6?[y'NֺݴIsU\1x%u@U1 r 'ge Vzč^R`gLU?w[fpQ+ _4 Ja;jCMw rCn͆S !W^p sFzv !Vؠյ/{6(:HѵxFe_,*Iԣ_21|I0ց抋{VTe'9Zwʃ=?t`Yb@ ì5nzqܙl,$x"}Q$IeC]_;U.sd/pSMWM% åYFd m 6 hf2Q^GT\$fM_v䀔WeP!Ц]+bAOXT`uI^b1ֲcqrR0ca=$YHϚ7͆A:q虅,`LT XZ]J!.Z57K__3L0FDJ/n )|2 D2*F'C6oLX/[wsVP c<-N(}^%4xcz]ORǟtLkĝi<i63&ٯY;q~ YwK[ʙܥW4F$8o}yE$z%}^i&ssNƚbE~/aQV,z/yӛ~tzfeޱr\M =k\gFjӡ$du]; >v$9༵&QLU{ ydFCC'?Ħs n ~[F2ݓxK '[Evɚ湘QP$[)ڎ9* 䧐{q0,:9 ; yOrVíQRޯXk/eG@"X'LCU 3uS:lVRʴ۝ad%M'|RKm[;!o;do{Yλ ]p*jю|b +r^9α)^HDϲ.J;]Eh+9^:S {d%fԗy N֦/ݩ{b',V*¨w5S CK0W̜^ R͙ޭ[ 268BLyy,1R$_1x2<*B&ų΀cJ0%yUEBB}ȕ=I z> .S֛|_O5^ՠ6o0M| cDG#y)c*Q^{!/b@/3:Ԥ$aV1leliCbCbXE <ꢰ j!Tc f%iAݔB-¿6^" Cb%v͆~dLFYiAAjOiq3SlS\_E 7UJ&A*Prnq;bpG6L6d/ \p^[Y($3r9~Y`BփyG)\b% O'9H%5K^T~e8*9o]U\O[d]iMp kʼnn'fgsp|sL<itZ{̿QAѡb=jw 6X@8|G:**kP&òoyq[B pMEi}1fFWWık|B0mj]W[g *oeZY0di4=?,Aᛏ>'ӝ\]9:㻦q4sehl _&)`dAs1oB,mo],7G]ЧSְ3p68}#ԁ)=& tvT a<z@!k15sLlZP(5@×̷eH\$Dwipy s6)݈Bݐce;(^!(ί5^5G "⹭wi_EwS Ao4펇U_D>vɼlV_ UIoj: :% )co tA]@$y-^~tG(6U?: +^뇤:cX?bih#ImXqw>3@ ])% ;Y8/J/a\KC9 sOC=nf,NuQyH.e&+byl^xu|A3gv7$JD[ݤ]Ǎ`v=tf:*%>;?ٷ0qyq.Db{V)T9rE-eCiEG~=fDĬ/.y4JTtK V$ɳ'V;x&ܰt*z8͔]9}D͙t JmygR3չ:^ٗOfQ @Rn[M{mgL!̝OIܰN!u޾NK0-BiA__#W,D_tw=Oٵ= pq^B>/0~R"BV" n+J2 ֪K=9[S@&.dt"^8һPJ._Q "~*7}Wհ~0B8lPb򁳘:aKQ ۘtmeIZ=n9mx--m[bKH$R+*ovŅl/_iS8'Nm%p. 0:FQ=⦎kf$N0,  nQYYރ|f<Ck+䴹NMd Ҷ;uhOvqUaȪ^Gu+˥KL&^jȶ鈚ȡch|NKi1 !!D@x#>,և L&FUhn=?JocpRK!΢PopZ,@ra# !O=&b6q5TtbYg7I |$+҇ m{zXoVo:-'sEzQw P2i?cوi 7J'=pPR !8mJ"`kyIz;{7 VO׀[ApǡC:lO1HE۪ޑ`.~~\1鉗,γ*f)0[,ݾZ,iU,'`@(}V.2_4 BuߋպJ^+Nmxvst~u>׆?f ^fpW^9,1:V{j4dȡ7*dEAf$eo.La^S謎Dӌ{iIuCERrrae/@. s?7 6q.HHL A-c Gh`CБՠaw3{_*2x;u#qyAR gwBg':o9bv7kX-y+;DU@K$kW )+Z3|Q}6i0*zB2=~hC!eq㈅Dt ;q&09 :.+t5 6>zy˗= 5bLlWN z.ɺ=uwBHNzLlsX s65I_+a6πJ? $"Va@)19#_P[/xkճT[-U9H6QaDgOJ*CL:F0v¿ByIdxk=?aY| 4=jQU~1ZA2J ` Vl+MΉGq˽1dpLj- kQ+[ɍ.ɮw?e+.A9`"0O%68r|?:qt ]9OuS/xUh,U+&svU4= 'FORCg)brt%VJn vy,=uM|:ݰP23?wYDӲRW A%1x+wʫL|v7s- B~昪X. Ҥ^єT k{-`pcrƊՍ=qʦ!cM*0K_S[~wui{^:ʓVĀ7v ^փlGs\^vm|B `eXOY7(gx/ot\(oP-*BfeL 1jẄ́PQMg@9aqkݴ%OTߴT?"ʋ&?)n*ګn쿛4R0kA/_h፻Z+J\@DD|+&;H?Vk7J 0v&ʗ]027fP kɁږ K9pZ#,T0E>\_/M7YcLt1+Dep0iF5m"k_?b-_X|-q@d '."4Z:n#Mm\sH$MDuUL r&f,KѵEHApa5TK۰{W/Ex6udIi\:6!^ dޥ'=bT4yd-b9DzbHa Ɣ֢׸"ÖJ}֑`#ILlewcX9q;Sf.1ⷍn%̄&=icΔ8sY]|.ŷgYZ ##R/OE HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex7zXZִF! b:]A-MՋhvG"uIBm5ȩ<7You_&qƺ=n27+Zv>bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBfҶ!5pDr\ʆI DֽV\pr',X⃹ X`[4^? <%PUE1ȃf;_߿ $FøvD5 DtOeHSߑx;SMSJv4x}P"+wY RxF ! )ot8-N+IL*|آkkH@ҡڕ@CE(L$Nn"ff?2ck@Q+PI T ߸*uR)Xf*]7#puش0{O=[j9 jk&&]C+Tvт-qLqCoL/+"ARvv7q`Zmp7+JCz@)y \/Ev 8Gs{Wi2 b/mפbG7$OF0Hb>m`}l/S59aclr; $]4*?ثb:y93-4S} @%_@< 5̲̖Ɉl@($jN [r<r,<0GS*shMͩ竒yX83MzSǵaնY3uƕJsj{3kΛd#]M)\{?ʦLhSŀaϱn[W{fbd]@49ӊf0dɊ6oA\]57o>q['}pVi{a TxT#NGoxHfh0#mן71eݜq!赒%YtgS^2v]`m$&^?kc"k_˃$RY F?+%Q9g0MW8ѐNZ 5eNtNSwLG.H+raHYP^=݇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מ)^ΦERgz*+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:L-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 l /CE DHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex7zXZִF! { ]A-MՋhvG"uIBm5T6Y)AEŘmUVˉtѻ;"eֱf!l1ƎnCDz{iYQG -;hXȍ}BOym?ƥ\Z%ҮoA¾Ԟο+^ޝVzAmW>T[ (:mtDY [  ZێqwS/ 8@Ldc۳!GLpp_d^khi)S("DB6:;w|nZK? 4 =GhXHrD+1?;6lbm] jMEܟ 5T2/Hds\F1&W::TMZ]2Ӥ=° C5q6F'C;O&64тhFpT<-޿72)~FFMw.ruka;yL̨l0WTe KvF*LUV$'s.\mG~PŊi0#rcd^eӣ97Ӊdcv|qprS_O*BHGIMtaq0QGGlVVo?M`V;m 7FjR+dQF& "P,a`pL4;Vg92ZzfHSJ͝,MI9; dbu4UlD3JXdbT:Y=e|M`7l X+y,[La:/ď(rHV ~'+E&e@kY{1MW_`R>[8% +x+3<9 %ę|36v EBD D{tߞ5PZ;~Qc?INa{IsYO (񖁑SL6Ϧq4puEV (< iR^ A fIc`i_pW-XM'(mW8\,䧸GQ'H;;wubhK1|Y`dпkrܣi>EsFxH.qg v~"%ۂG(Uж J䝧k`S?i῔Lkx+v]XQ Ͱ_x9fa\Q pLƭE@D|s0R%C+ƀ,0A{ryH&Z}!mw}Jp2'pP)ڀ^;U;ϋRYmTA5#BU: ql˰h\7/)єj ц.WjneKv)E47x&4SV0mP-4rxj-t[E4P!-yRtᨉ\|MDCpqF>t/!Kp\0NZ1> k"R-]oWaXW<Eǁ8JK\4l{$WLnڴ1} gYZ {{ /G= tHOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex7zXZִF! L;]A-MՋhvG"uIBm5ɭS+Glulbh""'^ YǵI#|;# Y%u*87 ~Dǘ5 J_7Pw::JaS p_E@O_t`P  e&R1 _.`X\EԜ2Gpv`;Z6*@ Ik#$,ymU K`NG UGhi2g#s h_G1=9ߞ_Q\HהpZe~F-8n8}v,M| #MX`$yS̥'zd )b=:ߨ0wKn\mr(n|B<S-On kiؓ[7]߱Z⧪b,r9%3Wɷ_p u(ks߱$lŵSq!&e!eɼ㪢hĦ5a~VxGCeu0wc9ͿWf>lS2xڃj a~WR[?uBjI_J4FLcE _yf.:&AW9 ba`Cp87'kp1,VqlRoKk~kp$\joXGU{[fzscV8 h52֍->>R.|-#Q+Z2E;3ճa4X} y$vٯj_o \$\w_UUě}1Y H`a@-c֎ sDp?3Nx8AӬ\,z: pMRӂ^t< -i;&v'켨䡔s0*В ڷև"6Դ;V,Zл2@cdf~C3~o*hl[:F8n23Y.`cq+:⳶1}I1xt녈i|/b]LZ; +;$ ;Wإ>qK<+{'NXT2^}b +4XSFWDM>B`*AE(iI'e)wQvA6*Ls~%Ʃ"x*r1_!8F Vt@|~6wj~|OY#y<SU AӔΨ;w8o.5瓠߾#$qm%^V޶}ƞO߶@QgD~5UNp9zsJAɑ (L]hsb^+%QSBF;!s :uD}Fd3O]>$p%oIP =be=`E.ynnkW )sC$)l <4S # 3Ev ,q1z'' lяX)K4`3/QParHПJ5O>2;|ASį\54Blx+n*F;1fXVץ=7 ,moV@R~[C(Dӏ228sLn9= +ۦ<e=Er%vD`0 mfar Mh0sp% TUf*C]IPqZLNEGsj[̶1c;ڕH 199I7}bY (MmJ}d8>GjGҮ9+qZurh*bkMc:p)~"'k ᛗ&cϵp_5{iuc[Ȟ>5Wݭ0=sbvv𴾆HW:%Y6@=눩/X#h>|,lɖnfև;aۤѢW![$o[g훗P>&1Z9zT}'r *$.[E,px{9 2OU De}\!'K)+r!stWv85Nw >˂5NP-vXkKAd?u_v7M9 X*3ʋJ',W;c!p.~eu xNdXSR-wBݧ;rʤLLAȽb0!Gʙad+-]}L7]#rbrqv )Cט F6>lA  ^(=e5!v_,^zD52H:˿s)7׹_|5P^hU:х8.BɖFgCd7{XH ,Gqq\uwQ?4ͽRmb;y9Fs;gaİY)Z@~pG7lRc2;,h\HYm=wr=vxz|2| @v' QYVybb'H_ 'X/7ڬmt, XîgU|hHr}a|v0ǫW2'lLɯ͈UdeTm.!mK%V.buA{O9*s U4OY"&ͤ4St 'u\?e"u\ &QB:h6aإpKwO׃Mtn@Q,11/!l锞.fO>b >TO .% \3) {ך1{=lGb!!VV4:+E2y1ӥҞiMAaR;ɮyPam~e""(8U'#.2!=1Q20մe˲(NI0Ҥ6uknn ECJCsT^$86/=0:+L'-V]VX,;S8;iyO'~zbǜ_>_o+=B\'yi-;شHvMDt.FL #9p9+;ÖL~ю. Lq5Qu\v$.r5׫!mUMO5.@),:~X"X6Ū_LA؜Wًz@mK~US\[R)I%-s@A*"L%YKm_; iZ@qSL:%jVNyu:F~|RB)igځw C4W#76ajx[F%T^rh Tz#͂M?{q;Dg $'R9B{w $otxRlv9MOJ2ZB&)JD1YRu]>_B`LVy>n9|̣Z@|VgN않V1Bnq.y%ɰܤc-bA4af#u[*9жt( ČRNÛ4-Y RB nLjfMn‡2zO&b 4,eLhrm4uìH`.YgYZ Â`xJ StŔh8ի0]1R/>YKlQsێ0ӫW+)YMJVOz[X,}JCh|N`(1̚e{x*p5hhG5e7iU'n؋kmɸQS(Y;zN͟xZ-sTQjv>aB26@?5Jʋ\h3ϖa%vK3=eKZ¯ctĸ_"3Ju/˒t-nia4؅RqKqg6olTQr҆/][$(z. 쯁 7\^Є:iw5U/FRa{-.Gt̮U1lMKVeh|L/lv 44iC|lեpjo:tS"=_L;HN-f/q5bw$D(/DoϸX_9}4Q DMA?6[ߦ>lD~uçK>kvӺe +0obEqCynr9P}A]+78}.ӌ441 @h* c\4F٪etLn¡S#/&d(v_5"Sk>Dg5bX]ް2)w*WmR5/~nfrv Q^DBbU)K)QJstP\_6tX*̅.}^/WJ+шB~?͆%hA^ֱ7[pE'9XcE o~Ĩ~j+N.yW/6Pi~7$j^9N6'QָKn쑽_pk9Ǐų.ŗ]8\g Pe~zˉ<h~՟ m-DKP&`uslR^}j56FHbɮ2m?9N "?Т89;q_jZ$?7/Wr7AbaotAf=AXې`|` cWT60tfOfd ;A>_o[brz)v6)qU? M̰x $髃pۼĘAhlj>3NOyuaV{^_+T)$T}/}wj.}q爝 92W̧am:TWp&L@ Πuذu3PEhSv\ lm//YoH77,v^}L<hbktw'5͏ЎGt9q?aJd 2r-{ T.΢so${o2YöT)9) EhDLɮ~DlcvZ2 pT5@*>+cJ dUl g_iv GPfdotQ(@fC&ؕ2# k.'Bx<^02aiS鴭kٌ4M `"Tte՞4 ]wc ha|-~.@UW#7xYL}҈SEE{HDJ~3iz\JA kuT|2"-Kyh!PX2TS[uޔhʄG)@dn.pLh.SN U H+4n6pt(}=w{$KU/u ҭ>bin&nQrHex +f30K{ʀ}|c6ƌJ/|6z)B9E%3t#dh(3zHbg΢ rwkˎ!TcqJK_Gi/2VOb̋"">Gx /Dw&L;;|Ϛ)WΌX_ nnQH\Qe)3: 5Ԟ^-{/[!:"P`g)̚xg0er[cI(=rc&uˑ ANmu|΢:SIX_ Yk7ֿ< "E_v!8"<$ROG$KpfsI.NhFm~ɦ3xbeMAstYm+E1;Y<]lr\3B|ό6Fu=c9;ʱ,"CG#daf=gȽj}| F\> 63FLs?90}yE fʾg p G ϻnIʯ9'Ny08ׄ#ĎтXA{E\ȟdȚ-zfJ$24ǵd6 3 EvVu>̝+Q;SJ8+c{-={r3}CƤJd C`+\mqSh_R gpwIaXhdvR/[-fD,ЮR*?_حIʿ 18OT8@V"z !')4Ta18wz%ʓQnkSyUۆWXJr"A:7YQOO{ۦH(/(zU-\ 7i\9XAY1Iȋ*z-l#u.Z_WVȜr/8fB2&?Usn&_GVCz"ыr}VQ;G|<@TF$"dF=פtX5d@`HnS\wK^BUq3HM$ߡ[,Ș6$tM RJ>o7\0xdQ c6+u=' bf #=G^(m S|1^ܹ }U$'`kB`nJ[Ưhx ҳv]M pe:4dd޷]&#˱>% pX>.$}l9 J0C6^ڮo}fq\zkx*e'xbjU__6ɽ+78bwlyү_KIؤ=e*;fɮ1W2-RބC.$d'Gru`WBLNߙOC3҈Vt{uDUhGQTIdK ecrֺѩ;X Lr̬tT6Am&Y@ ^;|?yWl2UMVVM,^FkHRp?E B̦~\9t%jy;4edy%5~0Z`&LQO0[ǠE3f=3Tk\RM,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 0_0g/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\L6zYM?_Nڳ(¶XcuK҆ɮӨ-!70<`_X;jJ e&8HN'JV3»4%Yfq&fuZY[x{vN >I;)1(L|f3]*v3wF=[ܘkh^zbBLiUcRPl4 /[ ~cZ6!5seERv)hG]2۠'2ia8CU9$('.lx Pސ3n˔Gy*}u%6z'Zh#^ՁX (}5ogYZ  /=# ,HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~?b-z%JRYAk&ޭ zs/.``Oi#=IܐBa?#̓Syjt":e]hTzX-ԣ."e^zCvEU䔢8cs\lCȐg smM{/e{+q@ދWV]ZnKCc;ym:uʯ_up:Bɤ&eq؂$޲ɮ/Pl_4.h4"A!]/=!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(@HNW(Ar#6f.0J&I{fŬWo{Urk4CԶ(ܰtL401t BAĵ霏 ^$ŗ -뮚E6EEdbVSs Os^v8Њa|d#' v;{4{/s$Wl=3V;C0ܑKEI_`gr,IbQ*:X:A&XcŔ$kc&U8r0" Tpkmb B?)S%);NJ)y_}g!R65ScuJr%4U:tfv%|u/cB:"HОN)ا EgC\p$Yu 0 H/VEҍ?Z\6C:yF#NGhhT'Ԥb[Ƨdn6[rm\_)= #ȃ N@x*?a^ҙ8Oˣ}#)cX(ԬN% -dȐ@ "$m`QQQ.a]q28x **EKyG۔{k'=ϋ\qko@43 ڑo'4WX܃#wNg@,F__hT5(.!bU<̄w ދjAlj[zQHUR=acc2?TI[~"6=bvO44b:\(";e]Cy! Egm]hk*~T@a2+Wv1L&elrVjL;㤭GJgCնZDɯO43!t"]*NBx>#^bs QOC뢤)?)C5\l3Xj=( twu`k2u™SDZǖ]gAeqmp16XO lG$u`Ywqy Rrw,4 r apl~>OG<:"1fcʴG]H5"`ٍXCz, ِ-;] ÿ O^"ǴsZ[:ԇ$tYa1b%H(,bbPֹeD݄nXYDOؗQnhܙ?Q$LQ ExhzFWfT6]M.{Yp}'ƀ>slUŋvt9Z?: "*<Wm3.𲷊_Md`W&;^9\MEIs$rctE*Q<,Z6pN Ct%d"HG$1*yCiɖ-i+ NX#~cUX ڟ9I4[uE*)[ӌyjB[HT̒%VYR4HR,rqj!"]Ԗ Ni}g~SHy:D&Q8ӣGf=G`Vؘ<:V04ܽMK^i#፵58/~6ŕKDGtUڇcUD iH2'i){ҁD|O;mnQ)ͫ\G" yj[i~u;6WBRC4@2;gnIjq*y2[N>;|5C] d{ા"Jvy̩o 9NW;o,⚌V^xӛ,.?ҾހZ?^12$uR (({ Mm`]F;oh'rmy5]u|0*,ۈO'\3:QWMY[/ÁV-.dikNGB_LNQm\lE"Aɨ޵U3?aCYf, gl3mOjKoda^]{Bu{8}DO`}Q,H& JaA `QjU('7]6r&|/ϕ4y/y0=S(7`-U̸Y' OKXRUGPgL\X߿ZJwM5-` kQ]"4?{+!X[_7[4A=%iW QVH)m|?z~ DIVS%W?U 臽6M/eh&lM]ou)g^`͈:Fë(<ޫJzaI*Φ/4dxL2\efI;Vs,IŏIťy5y!0THϵm¹4!c[9,^hwN^dF4-uB:Nb ;a瑂~iW{Vp!4y@Hܤms[;y˚n8 M 1KJIcQ 8NWׂ?_ }ZQ.pVclkT|.‹k\H9tX|GeXiN{]i]p_v^+[Qŧu134_[Q}۽OB}ВA Hy8lP]iPփ蓱ϑ-7/~wJR,,s7 !uux<XOPy0P 4?CIZv32<9 k௖·&kOE CH)?0A*IlDt&61 _M/TWZ^ %Ѩ0 m@=` F>2ӽRXt_r~C?k`w `)YH)to_~$2:迎/8wN87iW<(r| ER&r}{ ] Y{xи̙h!EO"v"u_ ߑoRYd+[ײ `wzb6}1y\h 2cjk&IQCX| dUź)mV17Wfż8 ] @%EzODG.x#e&ĥv+;pИyL~f-h&IKP9a@[+VXeĠW,K&uMB8PpX?}'~/}Y@ '6hTp=*6%1r\ oe74> 4Cesh|kZR,ȊuuOPdP:R +8G!C Wѯ|W|Ftd]w!W,-1>~Wձ,n ?dIDU3~l/t1 ~url+w3qޕqƄY ơVj9@:a֐VD\Tj\zJ%/S)|[ֺǒ֛A%Ee;#DmK]W}&HUM0`6=x <'A!O9\N6̵P-Ϯ$ֶE"V@/#^P#"L53#M,d8w&nc5ǚ~3tcÍbziu͘trlU.Tϯ|@L<@|&##"C">+f=Փ Xl$ GFR|QUd~RSg{pr,A(Gڞ$4><@[^MnHsȊ'{̪oVr >5i1 />Ljۇ84eo`'$"O\R;_ne5kc(K}˼&>nkVFO]c[cU'VU[ lnͤ*SQ  @|4% 4G"iӁ*]%^H,":ϏtN[0O,A;)>JpTS"($CŢ K֘JEFa%DFeʀ+/˰Y,Q퉈>XS)Qr1^ '^a^n%y2sH#*򋌂ōlvuGRTm%ϩNB~EًEv QYy1 ")hl @ӯ?'> mZ8-O92(G?B2M؅ ymQ;mCi oSIyJd9ev> :,*/gr\{pBD4 nM1ev-()W~ǹ˧7 ´h@,筱eʭ?Ӏn~X9]sWe*$.77I-/>U1cIQ6;R!ba uwHbQ(!lIe ^(^BJ鴇.ĔS\hkeFwNVRU٤4w k߽ORn96KF ݦDAӈ0Ynb+ABԵuc00~T8CϞcd0[|Id%wuKЦIN ZbZ%L`KL>wzcz dF0<Ekr 3e 2g,=刡90'uyJ: ޷Dhd:&C+sНе֛)D?>nWpK->jQOr?%U ''951x3jVtum yA{]Ύ빓aQIU4 O,rVICZۢ}/att! ? _J QچVs!6 ڥ` .ecX˂nd<x%YG-@*# l _GyS*nUʷCS,qDY}i_;ft7 z$,߾|T|` 5A78L^ᾤn_Ctx[xUqU"N.<~Ӭ[߃a 8X}5*] EG{.{olF`6̨xEHއjޅFKg^Q4*44.Ja'z]7}h'KA`ƻ^QH1[LNi35W woz>IR잂"Ǜ:=u GZaЭuv{8#RoXtk^_8 HMPxEQ{F&/Go"FJ|"$xA?9TG5uQQY2l&!TéoX ro?ŪsPRdy3,D{n cP~!sq"z yz] 諘n?Yü% QȈD" V̒:oOt5 N/t^p{ q\g}ۡO7먺&/bJ1ε?ެQ*"Xl>ҾG76+;^NfďI-E!7\1Db2>2>( v`Df0->` 8+Ed 'S[w[,}ۼCvSֵywu5.rْ6ǘbdeJ -"´.L4w9>~\Sn,}@4%1z+j &7IS?řlVxow{H&|s[&AB,[(@}ՎP఍xg&>FC|#OI32[3N^-Ҍ5لa;] i=ijiElP٭|$k ؑc$@rxo ! +Kw*ʉ -5J ~yҞvҸ# p[ݸUgu_T M'iX6LpQ 71d*1k]ja 3 f c/K&zW#X5|5 ʛ g5CxgYZ˜<ϴ_PQ\` pihH:ICE|cXy~W{I044X3h8(j05̓wKP#&MO:\zd=OP=B;_\M3Yfj*\l@.{*XPI2j&DTTT8B{F/Q/˿,Xk5)PN*X>n]~Et>_Oz(5fgkRoC}Ӛ5L6 ? 2\qC,%e7m<3 1 "=A+P1-(M85bJB13PC eG];C#!!#Y_i8o%vCA%Xc.ҰΊX] mgw`2&KX!xQV?9dDq6R6i O7:2SЬNRPܘ8T:t(@mYLF&" nqWR"UZ= 14:XRLSNG1q×.f^a}>tf HEmp(-M l;\F.$K?Dh&-wzda^o5bLiz s 3=6Hԥbp: e92 Wȣ=j3uҖg"Š]<[IWN3x~; |P *tƔ[0oHMqśr6  >?S}?79rsAkMPr\MY KvP/%F$VsWEgP̂T3$5ڵ ġZ\ٷ%8L:+D씀Yw,H5KbYY~l>Tm@ʓeуWw`̲_,6_8(%-Oj};fv!0T+ N`%eفdcn +2o%@kD[_xSlCm=XvPnut`s\a߽Μ?ߪ<^d>n8a::({66^'cXR=nR#=:az :`y` q[,_4H)m+wqT nOP_3˰SMAtn>R⓸?TBkb-b6K ^ 77+ٶ' KSLi'&sZ!>Ss)1(b`qU-'.izx؜9Lo]VTө8qd3A}sҞc"n1$zJ?$jbdQɷV1+zA ?k@P<ڣM'`?hx[ (;}vN$/b"Lwu&ItM+kݻ!コʤ:eKjAiukqGg͖ͨ;D'2640>WbмGsgyLɱ1ߩ*a Uб<7Ŷ=@tۃh`MLD܁ By.q1!ENsx$x(|JX-+) bFk2e: C,| Kthx;Ҽf/~R_ [!:r~>vݠ䌕.`]0bn(kE&?sE,~6vGOe ־a1v)H:Ys5Ȉ\DENGMtq6&f ə;!>@,8J(CRuhmDĬDžO]8= ڢ{x(ִS(«`v:iK6)w\'fdaxq͊*cFLMkh_[臌X?b@e.udO;]Wf:+ HV}nSVPZʦt+V}X% _ 7pzx/ʪM 3T0:>yNp=iUu݅nkԇ)2_2 4Cِ@TX!r }~rg7;JۿU#IbAs`w `.;mqV)3SIޣ LEC޻ƒvf?]_>Jf!o2EõaTDldЅ0*:Sr.+@О Lr.~ثW]2)$>^cR$y}Ʃre* .ɕS+S(._ =T hIP+eM:x&>EZxLB:WkD`\Ox:.$p pY ib2QM57pS8Ǎ0} {V>w5eIM/z#v_ ͓ ]lezpr |ޞŵEi\S:>7->p2gYZ {:{o/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! (s9]·Iq n[:|&[zܒj.˳ ͼ۲O Gs)NQ^ |x`O【L=ǣq2SC^l,_3?>h,Bu1.Bm!+ޑ4?v}=ᕋ*v%tVVȳ2۞ DK^vql yl(RH Wx,U-G'T/ +, wjoDYd>%Yn֢P ޓ o hB#?gس{͗7"DrlTu#_3tfsBgFUSSAq1LHYv:89ۇ/gb$́*}Ӄ%>|EM,z/+JJɟt0e[R}͹m Y%_y1(AJHE%}MxAEzpGWQD}Ed8~ZGeY^*m{p)'F˼8 @B40cI abU::VTxzryaW f ),kfa&3`3K3!i|OOZ(QZ4grZZCan=$|  vRxYO,EPcuVK_6#;̽0 b'Z0lv {xmxf̘,#E|c)ԙRߎ W}yn >,ٽr&"Zd9#LvUeM?i5%vtb5 D+.Кf{ iT;}g[tIةYIyVR{2 :0O(nHx&^E7%?^1,v~]_{Ffqdv 7(-Ӆd l!#RxhGJE},lV;dȉ528D/_WPnԱgYZy/G# |HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup7zXZִF! <u]ˠ)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هېHla76%)55ps=emLF\˔n#\' SB!_J=樲'k(] ;落(4bmcC.Lh7 bQǍIE00\h|^Ӓ#۱)nlLV%zV(3(;L00c1OzIP )}AقdNX5?'ojYEL8]}~)R[r"ѹv3c.gPGx^)%XY+.B21d O*TAv;]ЪϮ~:d ϟF\2BvZ$7EA۳>S*.ɪj2m P%A`d͸Fj{"d8ee`;xjaeޜlA@i\Crm/Shxq+:ߙ;_@Ɠxe:h $y5wJ9Cti)gFh( <_B9bꔝ4Imn@& AOʼJjL{ ·ޗg䯪s֕ [kMŭ6b͕$qO #ч399 f@XGg?yԽeTf:d U?~<hF;\[SQh\6n>%FLO"͘5&}[\6]ЏTpΕW &'L'ۆMܲvb8jh@O*>]mw25^76𺔸8w]S3Uu.㥱.>|a.R,<~ZW+[I"Š"VQ4.x^ӄh+/c`IC>ʥEkpW=P@pЎ/-KW无1u=6ab ӁuQW`S&\ 7S] A5K_1I^=AcZWߙc '@>Yæ3Hgù zG 1JU?͔ 1|F/JMd7n+olϦ_?ZOv Jk+5+ie1E@.˶^1pQpw?vWyuAz9ҋu+|ir>Cqc"I P0A'lfh<XE% *ڇO>oE0`}<]AF4m@/Y:*,ϼLzxƥ-V ϵߗ<3vW0w^y/f8j홈\聏–88GrWu Ar@GL4tuT\#Re LTCg)4G*8ވUB2Q%ƕǵ EzgꗷRṿgpiDl$:__L'K]-6ׯ&@o(Y#0[2]aR"%x?뾖f8bE}Ed{(7'$o7Yt[bx`  *0Y䕈tChnc*@-D'T46pbC6{V'uD3Flݙ!0IQࢪ k؝[ nUIbG3}$~;Mտ6@L:Oju'5o w?DZcYޠֲ4I^xAL(tBieCQbqbfVhJTꮲ?ķW%]9c}jWt_zs axmV NL}rT'j7'?T%U_tzzjzW{;Tx2@Js(}o_F[-01oSN گlEܾ>]\rRk =K-:\c t #P]}D9}C .ʋ~z'y?Fإy$o<ȯ{1j,{Z \oٜȚUF^ 87Geώio3(6݋^,p\.}@quUܤG>l0;`_Or%E"GMRkD;=8F&pxX:` *@!!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 3SGWS򏞼wտxCtX) m,Ԩ[@9j [wτJbRc]>%> Gge >IE9}#ۋrF' Ld8e r0B#Q\\tYͳ.MqHך!&0}vV҈)yG$#.YYM賵h Eb&$׿J:{:kAeZL - 8o\FPgsM-RAKrx iPoҫ7f Sηg@(܂Y׃'B6+^< 3ˠGD+ _!77q%>"-,,V٘>|P.>ESݦuFp| (WtTJ(0%Bk=A`\$ Qo48ۮ#A8Xs8q17TY_V맄[%VƹpA]zӿsfK5D[J;S=! qxIXN}JG,Kk7+Q pu/|ÆwJ=rmģQ{޲K/-tWկ:^Lt#އ~&x|Zc '`~Y.=ShO{FE~^!Ftq=lO΃@fAR@Ty$.ryv?8:;Sӡh:& F 3]."&VrCauYY$ J ׊]21X""X qX+.\ÿUN:$Xmjk^ o%Fu„ߏ]T@V8PJV:ܡ ݢSk͡<6_4GE;/]-6#wLJ{k*ZBj>%Ԗns@*LV6/㩠|ވŬE_X4bjjoOt#&Dɾґ\'0D:7$L{80fk/O9 /دv05 nٲ˜ޓ%H,F *w}B pdR`#Uκ چyLיӭTp"WsHj1W7MY-r&Wvqѧ Õ+2j7g&XAm C,\zdhaf*'*o1b!PHxvuQ>f4;}!N*(~'!-)o ZKeR; SzS`t2m'24ċRX*9|4CY;J˒|v4f T*\ʓ;Lgo(BD!Wܢ#I>rr5/wLp\i% Bil ~K{3n99_ED.jxh~To}xƭ"O)Jшٶ1AC:J v\1%uϘrvdd\ԈY^oסPhRW$r?#RRԳ 8jLeWNiǿkUE M Ze=2'*Ք|ÉV5W1* y U+_nxa<hMMz;epGnku?.Fj>vH)=dSgewՅ=̤aqL~g -*Cn*œ;4*yO밄wg<'G0}vB#$~kEy]lR*z?F"C55%+,_q"w /, 9;huMl) v;;_!DvZ"E^dQxZ9 ;'[Yhʻ }>i@8JR odJ' +].}Wd8~ϸ6/l;u Arxiz\5w)! 8s]^Y|-z< h KΙ>9b F$Z5,+~"AӿayFxzg2=JЎ+k@=2θ1qjH5Cʜrukwx]fTItwtQGRz-Bt 5*\P⢸NFA`wFА!߉䯞EWq\|[m|W3HPe\rO9:x=|2#aVp5-ZvObHXV ͑3F }ҝ+xc`}2LBvZr9`NO.!٤FdDDfژ~`698&<9 ن6c;Hfڎ-v}T$wf@k?&FU*ggeѳI 34Eve}z*hq!QXsƚ1x>| 5ahz#?@y T>c>rDUV-8g4DpA $#y/5= [!=_B? - W* /.΀T4"&V%~LOyOk~>OzVQla4n8}4wa<8CuTn8;Xy]Ƈ ?~X7&5-\Sc]+Kxri7!)i ;>,& nutg V B}fY,엏FGUu 9f`<.Z+L~)/'S!zMى >>\&EÕ255[>|B%@ϯflPiKjb SV*hw!k*q}&$~fFP8 y+F"^FDJ=$ > {FaYdL}>wM.<$ @Ѱ@ -eps6(**{uͶ*+T]f,\]O>'М O=S%<`N̈k&c0k.w$ᵺh2H#6!֣7 5Sd9yl}&j֫Yu+WKjel)FJ07,X xgrUKɥ?Q꽄U`u,$on_JȔ>TJ ewA|$Mzʚ/snzruOnZxmkcyGg~Кi=.^mݺzfxɒDߗ;yn1mTpA8Aj,e#pHkWIBuAΚ3rF@nk')VZ<9I.MڪC1Oa> +nݲ7`| Lq27#6m4|*MHd;}FQvH74I8yZ Yne%s=wF0s\M&sģ7 <^@ɯoh5ic_/]}zCI:+,[ MBZ2-5.s?bj4 7R>{]B7k!O6 TܩԯFv2뱰._w܈;4TP&)v2 jRQ-M9I<}''z-jct.e 4B!"ҟ#6/'ԗug'1̴L˕͌!yT33&TqJƂN%{VѲ˻fAHwr8ݞoT13)C};%[bkcY[az`"恜ެ@4ԹV6ŕ[nUyȃf ?0!-V׀xs)G1Ò0~$eȶ>9U2(gu, Z61TߌwA 9~wաY+`Zv|E0eRIVbH͜zopY|Ճ1e^h*<*\}rjNu=ʨs8SウudJڐOTY#p%0B h$ ʍLdo+Lg4"u^$4=MJ#0zT ~$c(NA8wP8}ppם 7s]2xA_#xr'绔?&HƴCMPŠ +.EIR=So5#sGltmK6RJ6^^AS\@>t0iםsg1UFr" _9ZݕB̼b; WE]F! ۷tF?3uҦ]g:,7۹Yn3l.#mlh. >9º!O$5;im4uB&CzB'A K: )\b8E#_jAb^|.lAmL#6Z.~i[H `i*#4 8@u<Puxc-=fĎE }*FCp,$tpwvY$پ.ڒ!tu. Nz8.5̝5sUKX X}?HsVSsBiT#_BOu+$ }Xι\B% $7'#Uce*~sk1 hJ!/Vq:t'enXcxRub+z^~H;2y/j~fq'TFl?/ ) | coo\ O$ppk1X[_L;`toݙ檰\I [gg\^ >-0UCd3_9t 6ht,]!` J$^>?x;g?0`3*?[Ml O-OX}Գ=ۛk^ ŏ-)SlƈƽbrTLd8-{I;]TT/ˆmM%DX%!fA=8>ډ \?9"t֘[;BeMۻγnH. w;ɄGO/ u1­wBްBOu!k݃aT}}\y?o1A6 t#ac"ͥyEdPnY^a/d%^IjFGH2fF5ypC3=FX`IѹEeSP~A5"UIfoᾲ4H,T.OYT65e:e"anc)+OA_D͋WqZk2cY: .*޹CNg ?l$|u2kv 0gӵIDq6=fq_;(=P3$S{'+n7ȧz%v^.$0TOu*/D2˄W& LƲ5PWфvV6aϊ`Vb|1$=Da<ŬC}"syGϲJt~?g1Ncҍ\ DeO؏#eG*HMLǀX#/js4bv%x0] hEȶ.ɉ3(ลF/{# H,TX+ZH&c- 6:J0\3[:=grvŨ7QPXd.m|Б1jaB`_FQ=9Р8Qx.rO>Д̪&8=*h7N]$l .Kjg}xWQE&q-VQ)S[*=*tz ;O"WZլHّ P{,^zeφeeP5 2cx &WhS)@:I1}c䎅'ΛW (yP=I!v|^>fyJ7&UFը*ǯ,?Olv˝R X4w'a$xQUk($DŽoṽ" .t[e7_LkwP蟏 I#W>ߕb%>pα Cέfݢ1mydJUl^8cCS^ #ku'dmyQ\j&+;'^Xy>:gXENl^4 uv{)7foe5md@-C9J+ weh|ݧ7F_ʼnz^̿30TIas&bw^(5"MqwTW"kgZV5&&vEbFظ.]e9˗җ3NoxqSIXe"}]%ٸ"S??>7<^-:_4W q-.9rH2C`t?UF|ٜT6JTL@ܼG[z$~T"VL6ݵv)1L4VE'%:%ԁG׾娘ꆧr5L`%ہ$cd\l P&GSc. õB4fpBՏ '{tr33 sLr ~gQXj]C.7iXgRv"!W¢l1')r\2ݞ?ɘ!:NbؽbJI5t2'cd ]"/0"_2VunG2S,Ydt>ݾH ^ْ1]TD&gῧz?6P*a5c88vGtN>:J=\G"/w\7:M/l͞mtAipD،+Ubo[X:QLkN aUInf 7v̰bWBUP9<}dwN*bQK L6iYlw(;[z-f˂5.+d?JrheTߡݾfawDW7P~jS l)qg`dL)} B8jS'eɛ-70 pbŒQOdptn~0 {Ϡrks_F8r·vZy 0k<3w i~E_nF+dq%897UڷT|J2&tC%> 1Tٱ|c'RWmE+f[n,V k1߲ Q,:IM~ن3D;ZAڏ'i)M3B6(G!": AwUFVM[ա 7gC},|(V>s*K;@p.>΅b2X_.Zl!M:nĭɯͩbrSFŻj&> I޴z.= ש*b%SM 7e ,G:N`lԛi#j\JۡhCfDA {{5{ꁺD?`.) ) B`;iN>7]6yQlT !JJYR)'džCQQF'_EkV`m63W>#*D}yore K:ݲ90Ց]! QtP=+&Wy%~R={.6BTY"w)P| W33>.2vck=xZد %*WU>jwjg,7f\vEV^)BG̶,omXA` 4wKw[㉐9s0aR Bd]or3HɏZπCT٨oZ iwGDOa<c{Dy8,xAI PA#v1U׹T/> 7ݩ>Խ>-Bvdo:@"@l&ˣN=Pijr G[3G ߛg s=QoVPxGa \MsaߏEq#Cv֊R }_reG_Kۉ $>κZ& %sώӓPmt)(!XsLӀۗ;g!օR馭ѹ$aUJxaf*`  Ҫd1ٵjh9y߾ [tvs"wx^q J'nsO䃀&ܝ@A׾ϚX€MW %nh [V4 snZVn \^8;T7rK /I?(xQzjM:PS@ I#v Jr@882UE&Y%yi!&YENmZ-Ȧ?tKegɴĭ' 6`ƭ ۢjeqfήbg-* %p D@7k iT\,Bk5DkiKM Ձ_ rѕ%wM{mƑAY!h嫁`z&nH*ȑaleec5;٭y9>OΡ߼{Wvl;g&=|j_zwj2_T+x#uM9#î N'dL!``GBhJ[h&7c?9"UdRǎeϦ/۞T 6"HRVqͥuv,z:;@GjszMUYɘ/-9_O<< |uPI鵮iLloSƳ)"4Bf9ih,d>s2֙N"$d#aQ; CPl_VQcB7補.ٝ1TD:|Lk2@oeʿ]؎t7-ux-0W?P"C^eCr&B=v>dŤ^rD7P$3D\m8 +fL]ZF# RyϫlcCb.5q%΅DIzX n*DFM"ԍ`IV(#=Ȼ `Yn6gR3bp `iDe֎Kƙ熵S(UjTZ 3uۈxy]Q1wiq2{Mpę%vpb럑i螾}U.t!vM{GF:cCB0[(t#ҕrYpCZ\pE%R%hT'i iwm|,挀=zMlg.Hξޙ:rol]3475]KWJ f`7;~em0w,[ӻ$ ^)@%6eCg0y-FⲚ .V:E*f'[&j%LXvaXcYv N9m0_ P{|nqJ[QlHN}{RCHԛ1So2Ws?Ef*(9?mq_<߱ݵ@jax=_&[CrH4n/5}kLenyu?c=1j;lp GSoocxo#vQхyTx3[#-?b [H a-`P{BE4ޟ9p0 . i{/'wy0C& tL IϘ-g=dG7{ QѪ)]MDpp(zp7fU*J uЗKT!GtߞӲr]=ߍr4,BhETLNjxS7t8Ib7^e#iE4<[$t(ӛŭ^Q5v/E+/ˢ|JB1xC"\3Oڠash m%D;wgט:tU7e- [(3N| )zcF74GnLzjJD&Ӂ $L=dsMinq?*H =zMz+Cm\-Se;,o 詥Q=d*ZG(RȨ.Pik[K>ƾ?@` Ϭ JP'PҢ`_ۑ6A݄W^qm>W?oЋŨ-t`NJgB]`#q'k8lS!}99ӅF{^PPpXXۿ]2zF\AU m]jn-[n#re<6q䞛 LIvP09GPpGgb:1q23X3 L!6jeЫ\@ݢ72MA\.F/H2f.m "!ٯ8C~= 繣sA坂/#:!&v)d)aNY%c@@/pp50hX!^JY !9EE||\%Fv AqLSZ^o~_)ҵ(P1rJ\~{RsC!h^ KL^@^/IɆ1LO?h0x&F Qz6"SU$Jy9S!L_[|% q-ٞ,"M%G1u5\/Sf0̦{K*Qlq<>ʒX&Gh#1Vz0־~%Ț-hoVqvk/cHIJrī!яOϽ-!ҕ%GK4Bʇ _KPN2j_O= Ĩ.%<7Z ?&~Hqہ ?^9Gc:@[GÞM*,g<9ǎ1!x-^UE|caA*g}y SQŏCmYpCRܗU?) 6z;8Q^9 ׃Y7hh?35E*g& V`26hxpLy=]EǩcT&n+\YTH&T rX.:݊|C'BG m1i[z n QN/վK@VrKCX*&ṝyH Miҷqk>Awt,/_t# $1hW x"Kg*{Av+_02 aHf^kILiGMd8<F 襗NG5L#Pk!Xg46K{&T/Ė~ysDUbGbJw ݽZq^18йNL+ RW2؉N.'ƃh5uڰOIzE,o9lfػ n׉=H\#ȟc*m[-Rh^: tC q&֝9fWV 11HSՇقi0;@v +- T"LgA~h~8fL!k*T&,tv.=p%]fT.(NI 2*$q\k3;L Ȩ>FVZO;CI`u3_`3ok!5׳6LѬ$Q Ә0eBk&;N4%QLwO91gqKQ=ɲy`_9xI1IMBEI!uo#-@Th*m]/eΫ%,D>y!I}ۻ.jH-){>MAx+RY>$*h bF@q_>Κ\{F;FªsnbpNf6Xt%Za@gYh3$M_+WU8.}:`\Eiz0`l6?biQB*! y?eXY]XfAČ|# m6U$H(sCKD* yt͸.!Cj<:될] 2F `~cΔ]z D K7T|I4ρ8`.R`"Uo*^+wFx/p`uge'-qȿ toPW;2=yM|X vqasr8$=,)>>zCxa2|&q 鬝+I5-5x=DB3xV֏ZQ( [] ]oWU=ZM,:iL(`U UpriS?6t\ 1 [Air?8: a(ѻ/Xԥ>%KL!"=q wr Ca"7n5D37NfblJدDIQgn UiLE:jf7':D`Ľ4crO0:&-wK)L딵>{nޤAW$rY l߸]0~#a0)&Ag>+t=?iք;?QޡgSc4TKl!M)%ۛ dE*:ԮK, q i =C.$qj&LۡZ^@9aߎk" St;C̤Z  c(G{6zZ(΂8vϑZ hQ4ۦ8XK?"_ϼJ {Q d|ewζ8KUM oo}.+UYu2#?}Bو~ ~Z;;g Y+z][ &@'Bv4Ԯ^㠄ƬGœ$]rZ / :rB.](v=]e{ݖѠeŠFk*3xֵ<ն'F2o}Cs4`+5GwX"ARV,3ʃ[#y鈋ĩckulRAR'C&LCz QGd8e!h^R*:TUX_VPZY}b? ۣh%h1"2WAoa$fYo TJ/Vb"'$+S݀8Jg!ArEΆpfwelD" >G; ;v󈪚w5:h:r$Pt9jr,9 Аt.~E4dVrY3iŝp)lm'H +ZhȍjRe_qjj9NoΜ|7m!\; 2F^#!(ҲPLy .[>D(.ݱm2RN C3/CI:V^t0yԜ7hpݞ4LfA KL#p?頓I]X'ڣ4"گx|[BDB _V"Bڨ`s)\xYfx|͈U1D^7xHW~rD/]xi$Ro2_} & |λLֲh8fuXʨcBUdF1KAh4L{dU=G"j*QMH́E`E৖P`;MLRJLuab< aaT .te̴͵B &|CiY9osJ73]0"4a_N\"mILɚ:H{@Gn:povvj EyT)3IG~+% ns#< fyH)q" `p!gRu[.e<#2!z*ĬbF7N#k/Aiq\шoK Ugî {>Sҍ%x:f25!>' Q=-ܥ7CK葎RHwpVJ;+Ȱkϋ~7%6(3='z?RΆgJzG;TT*r4bN(jQҼ0H~bw.HUc|x\LCDmٌw3b1.o$%QYCekVI4a Rd6/M nM8_WqGp7jaL]o14CxŃ.aRĭ1[Zλ + i{xCV&Vʹ#!:6վN˰#`v>ĝ5 !^NobtBe]x hbh`m=ŭcS4̍Vt[.GҴ[,ThKʛۖ"&·֭qv]1 ;OihCzᝠqCr+qFw_K6OLO0H M.#q#,ʔa<"?/ކtC?r/6 n͵=p|w(r,/ GۆGnEBeڦ@Atۏ:JD<%k5*=ao_ړol^[ܽ9XSޮ0<ؿ0,0R3(Z^gԌΤDrެīphlhAtma2l ,lDߩNL;<:j&Y/tPZyG:.&i41,JW%zkoxT7nΔ\F˂rHJSRtox06 JJһ ,,`8:c2T߾V(7>3 Az4='I&T}]l T9Ɖ>ˈlχQ̾ 3MwnJncNrv{"Jtg<+KCrf9^AU(0$8GTYʻ75*C,E˭> J_k^<I.@6t݄*gYZ  f RG! /A# HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! b]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E e<}Oa{.Csn,(fUҫ 6]R6'n^{II5v N59V +;=Y7iPA*u@&ϘeX2/G:BA4AJ-5 }8Lr5UNq:;XIz"i_ܔ;CK-QD qZP q 3|䟣{Bz4~1ܹC ">Bբ.JˌO\aM5Hl& $(xzur-zMoS>ҥc'(*Cq)Tf,IdpR~4NWm=O]VR_u1d~QTHI6vdx{g&79йQ z4o 5[dyhtH- SnŔ;,sm~ 9JUh\J ă ޛ>x9YExUlRܚ@ݧj4m uǜ,@R7D5,,hx\Y@Y,*Ļ@;G2 x4 ט;a4` F+Hk,(cD6`\$(L i@i{?I [tD[RNI[ Yɵ+toNHvNRׇdcTMoˌj:6P^pפQѾ"={jbIш.7enMxvf?A*6OgYZ'BG0tϿx\X[pW)dRGXrK: 1%"6|fA jt}tq# yGT2<{6nz6_&#Ĥgӣ0DSLmtʨl%CByK!+'p.|᜕+Gn(s*o\ }[<ĭhA@.e!'[By+5e>>$4(Zd/d2\Uh|1˩YeD 9p.{[,b#,eSŽ@1n9ܼ!65 շ=n8?̂ۘˠc4 [~.5PH;.gby ͩ%幐ɾ `&6< Ӣn..Ȫھ^KrŊ/%Ӊû_S !I 't~m'K/i⿼ jߺ>?ldzڽ51#$ BQCOME֟e.·8_h8ˈ^jޑtգĶ]e{͘7c37tޔרC n#;y[2QbC*L*`ѸD_12k)c@'%SRv'˙4Z۽,^Ze3Eobx]ƚu'0Or[Na,cbY?]C Eq/8#uja(gC#6+͒,!O ` xȲ_aԥ\Io,pL$4Bd6Y~H5l"H;o~ GfTi ż R}*L'1i) #CTY*RuӍ^sIKOuQ1Kv/2l@+] z.lJGīb`^?4nROʊ0:kC:L7#ܑoODvXQ*y&3[5`a[F=Gͫ t>iut98X^n3҅ߍi5RMow=)[uG/& Sk2>g&! KܺXtn)/Ϻ#:<>I8_I"Jۥ0:1wy;]Pz 7.$ i5i֙2JS0./[gґY|&%](+v!bOL qSxVśŨ8mBz|7jfsMaDHn}(b2 Y ч6XM$nSb/HG;(Z]-b*B|l}_'eϼ>8 >ʀ..0=ֹdt"4aH|ѝ0{V_ ͝^n0vh6|Ͽ:l-I>grAٵ&e">2]h=up wqXh, $ z]IȞdJ pZ6xgF~ta%![(bba&#1z,f! !z0jQ(-Wr+Kjf |g[RXu_I|>?-kW(s }׉a%f ڂt9y)ԯ݋Mei Z~1|S' g赟:%Eu^ٟ{f/iJ`a?>=ZJډm /xlccHѷq* .nRb0쒐z b֋GW,ik)q/ugGQyn} ܖf<+H5,pWJ Ez/Ŭܚ“ZA5Q`:.~Ȝ2Y |Z0u[w7kIf@3i[zPFl¦n!% ]7H+.Zr*Ρ`|Ҧd:Sp*rs} 3Ib%6e4=V&w0WA!=2E DJNik8R@$jJ'iCcĘM_*;'XcUMhW4K>To=j¯[Es9Ij_,-́()R3#3UO!JsW-Qf?lRrȅS[UGaMonW`#p=y7gA+pm>(>bH4\M1؜oMxbku@v_}z%dH*A*jAv挊_ۉywLI.ScxoZqݙEd >V:BвdVebVApb(xo7t?܅gkP48۶Tş;]N\EsQ ehc_[5ܳbƼ=27S]]1XٰCO#Ч],sYd3_}j:g hЃnB1 @0*׾!h[5=cds8#\6c%d@iD!:񇻿nw-qp2'\itǚ}l~954zޕ> ׽ſbrBC1 O>Tˡz/,/Wibà~͢ٷ`2H08 (d٬1 z-sNF"ov%HS &*Q,g驷#+l=h(Nk'*:(L xTEabdU P$๡gX7?&ޏY.$B;sPO>hXw~oAiSH+<3Mf*&Tj')jrh8oaŮ #צr3?3Ormʼ 2]A*aY=f Azv&/4 c}DɢŒ&=թLS <@g 04D?iP">-&rj{se3z^ϠOR//zj0`2 =3Z' YJ薄JBhgntΣ1n RW>b`s ,Y;G` ~rvkAGu9緇Jct|0T+_"|!םtR:у0>muphR ~ڝ2ڃo:4 Iq+ԝ7=]Jyפ`ܸp4-2NS̊hF ˃Ls>} DBsE.#ֵt_96 ]nsd9tGx| o[ƠtS؉\/B A?\E+. <ֺ騞B2RQNE%_ T0ZҺ6-8c |]y<+ƻ/< VY"םja.J0L4UR-P կ{JcbxKB{MkC̈́RZCea1)D_(J^ V %x?5}NGwC1N}±!;1m*LCs?? wDk޲`hY2h!m h*:N!Ej_/_ äCԓ>fްu?  ́Lg'm+ͥqr GW4pn:; &I<Ϳ~q3F=L?u|:4/kOYv` ߿O!P(rj:Lym] {f=0{ _-XKaM B1 TSu]GIdo=E@G[ cs;먌T-/p)pq2! žJj8H/5D1uj({+*sF~D~E$`j1Te.aBw3@}=1EkmجpGBs 2pSvZIXfү^?US,=w ?;!\&A |:#9q'Gd, 6 (gCW:{sgRerKArFeI[xIq5*4,#\1s>DaNvRVC1#dCQ&UCAUm/lIcasI7oV!9ZvU@ ki~Q-[]"n;눏6|LCL%9eQηT/Ioy2՚Kq {> ">d=!$X, TjD36WR#EgMiy5ZD/شsh9Å܉LaɄ 7R{n ?ϖ5.}QӯPD/GSB(yײh<%ܥ+QXvηl ,LZJ~kikCpXΔݥuN}&2 bT8ٺ(eV5\N[ zQ՜"X, E?V^Y""c_QZwGcbb<5LYHLGT%X%`H% Kňic =5ϯ)rNNpD=Z?ƛbEv0HQ2,e!Qla Qz1 ݣqZhF 4;q:5$Y9$#KoՍ}&1麒?5i/^mU#VkL;:ǩQeʯX0hsyބ"( MOIA]#i?$)^Ò.<`;r?aR_Ź*D$U)dGͧ!×Bo)Ug>i:*g (L(50 |qP3eՃ{y@!p.$jrpp:Hv *`=Aw,IX"~ͭχ+3̰|֧5'>qgP ]xB#RLa"iȱ!3$ j!H#^56=%Xc?BM+ˏxQ=($"##ArTڑ0jPFUƾߪJ6Mp9Dui-!jʞDzHěvՎU >hITu= ZUu{׬XUB05AZaBJ~o$ @*T&KXł/P`r^!J% &L# 1B6!8]pm'CTeL',PHi'Y0"H+)xU*I6]t| Sfj0-J<c%pT!Zy' ]`T6 Wsxi3 S%. m9ؖQ_ p?\?+i۾ _[9B?Z\,G.4vɺS;r\߄vo(IfTBI,k} F7`L$1zˢkmY%3j]Rb'e2 5\Xjuonk芤c e&;)(3xIռ]} c[bN>\Z"I/n%~+X5Kخ? z%~l^)c ^2`[M"]uY#g,F]#gLb>;#zm1X[\ k2U!B5)CPZzd# ]~-2EL Ů!d:Pvu7FM× :P#+F9ő%Ӎ<_Oy#[ymCAٝRꌞۏgDNyзʄCATrШCcLr"-K-3/&:?,M]ss>_t^_D[ Z@RÐ y>*?|2j**F t훶5DݬL]( u4F6f5SpX䡮2'RqC:}FYN'{[ԩp&cAe<|Bٷ!tc5|gp֭~h'Aȿ0r0PF>dxC GN\UTqeм I8%lqsGvIK/O,,0"Ud(^sjR"GXDĻ%qArCA%|(r"P*֪c(~/Nr\1C |RrIlDXT3i</j%%bk]рpͲ1N^C4 (ƕre_5F(q{ڽ(^7Uڃ8q=䵬SJ bU]\YaCh&l_1^$kW<]4p~;?j2 ,-wX~ lSDNw 4Js\MpD::(rOZoa4Mܬi0]n猡n) zPےJ5O~ʴ%NqqbNG>"ӖLiO]/T݅]Qz xjZ487?Qb-c*0of ΝRZzbә_kX^8w(YxR%2S:1l[tTf@p4|еͷ=l%<]ngfqcl[€`ַrwCpa8;w8X!fs _Qȴ 5mO\ >Uaؠ{&2)gW陬ޢz-F1K\QChST6+1FM vɤ4EbUgeN\+ɞzYtpn2\iOia*=#tAYsgrktқFIJ=FR?dy HRTo%٩NY,D𛚱N*:;7֋/[]E)Z :'sQQ!S.+{_3-y@LQW"DHNOJw<Ls歹\lyHE.C`_Z}7x3v@4Ig jLxYxuD !qoJB:ZH;W a9\VžgYG=%)z&hBǠgm?p#u X 8B()B 9s)9ҭ.j7Xl٢emYDV<N*H6 iß{[ȾuYB->H5FS*B: PX~|^[KkAIn*^ >T$B5^/!'$R/b7?JE5lߚDݙ0کa%&osPW<;2FOݣNp/*ThHc1>=2g8QO+ꁉ9>HƵ&cvڲBJ)oT#jZϵ%bBc Ho|/ax^5e %r_|i6qNZ^js03yGV{#_اR+>@rA{i88M2gm:Y%VC߲Q'HIyD?$!$G8&8-;[][SoG&,+-Me:*3|^ˋCEdM= cH`k{Nw8|~) /Э-԰.([yL,"W* sGa8Hg<@Wyڌw&|˘HϚ/`)< c\@_~g{Yns1v:[cYga13l;䴱^],$19nĒ))5m.㨃*kcѿh90ނ^8PI a@T~`U$+W{"j(Pe(>@G a ~Ta5BAVt[{BZ%IÏ'ӅwudQy TH{iV eXw9Nq)թ,,>@su_ HxQH5K!oti~zMnoJ mpI.9eDHr\.4sў_ pƤaZ΂>$AG@?SY&Wt=m҅w0iਬT(q>OH:NvޑDtS @t2$l,ic (y(=R&a3wxB4ja %&,M*i%8&% 0AGAELȀOwoRE^DTJIb<6e4bA/[R}-`?ߊsأ~0C8r<0ЩFʤcF6{\hWzu6z5rK1գW쨗 Jʠ3jEOS]s=*EICvUH Q|nf% vXx΂Q1d}hfNE7>YSbV5_~EoN- (J(I|!0 6\)o?!%7gJ `ehG N&Kod[`rXeɭqY=>:aÈR)?IX?7/}گ30&]2VXy廽X.RSp|Ǜ ]g{<' %pz(޳ak!3IM`\;ۄM)kA- Q)= ]#;[̈́ddl8kgy~EvYF\klFb<[^֩><lZYr.xhMMh3s&5H<""}R>F=ӽ;tIb|JCR qS_2ˌ!t"`'ȴ|-RGĶh:~)F+>!˘1U7n(lҶE.P y":_ol2IOe;Ϧ*E`6u*Q ;'I>SWDjeF77y O1-%R4l]K[zr;%K]M@C}3ʠ/1 ٢v_HP\2nD7 iz,h 됩< ; fb,'+9[W' hus2c1Y%c:UłbsО0ڑg:褦}f29tm:Ҭ SX* s ՘ke~+7 Ȱ*QXKl{i,rʵJx?ڊFͥ[KKgR¸pʋ=Y⏣~GFsg!B['is$6ڵ( ^0($X,iQT"OgLB*&<>:&NAm4 1ʵlRL%)%Uk"&{Jxfghcr3LW/ EDiq*PC_fӤ깦.<_<7)žԴ( /ž-rs8%pN^~A3_}(CU:?~tHe VA\~ܦ&4vfe bvNW0fUFl+Br4o$PzԷ-Qsr$'cs  XC,ja`Ϗۢb<π_H $诂ꯨ:0 aE#ҬA‹XY. '(@Y?o2xWoI'$6=N&]  ;2x}hъ a[,LcqV[w [>g+Hۉ%l0*_r>,VMͼ` t޶%[x B/uvdΆM-Od a#/${ g/]]%2!KcTjY%- ~%ic;=$];ɢ !*WZđ< m6 *2:xݗ%ģ"c 5V:HLxi`]@Liʢefo!=ku9!TSM=g MS,>D`z<'xH*8(I曝Loi}o,ԢL%T` :L<,T(oiEb-'0®oP2A-A?zks֠}T7Jo_[ԗڙѾQ ~ҳd>1")tU X5o KxARM|{vR}xK1X<lnӐ)*W)4XXdXeFd cʯrr(q(%!d~HB6ZLE+|M+x䚎Z1<Ju!Jpo~ +oX'87v @}N̰ _ɼG%XAZ /y5.}t$dJg,{ X*0rb}e6Fd"w]p7mUK\ΫR{UFtD`T7 h߇b X0֜Fm5jh`F] P }"}dyp{΍f5mleUY7T_뾗 KޠQQj20O#_R[JZނQPh '*".w<]9&.ȈEe&.0RRw51fW$r<{?SӖU sK{Y{ yVKjV z  Ik/[b-o"*%1I9@%5wM{O[!2-4)Fd  qg#+{qK!ޥD4Ib6c$ .Opcc$Ep@]qǦ+\*t Oj` 7X2PRS+J_n]='1pLeGhJ7NDPHH-b# @LԂXb-Trx>:{F39ٺdϏ{̿Ęn[^XPZ17kr쯃fˋJʇwS?NI_?tM/~ ͘4K9@OV}ǁQȊC_02,!v-6z+PN=V$Q t~* @FjTsQsAo1o1O+O%Á3c3W~=[`j,rګDq[MhDsP/€)! aE]5LW>P%>!@yٝ\C_Wk.XaZ!G_[x)IC}xOX-G%Q/v ӷ?ii*M{tSk2 O8puOvU 5:v:{ /1y 㫷f20[W2ʣ-oCqSQvuyW3 Hdtβj_!s@sQIޱo7rT5{d`obˆ,}'6hV pҋ쬌JuݰF[B&8O^\h*lt=厜L.M6kI`M,F$ls?q|68߀@e6u IDmLF]'{NZ,Ia:kII-Kȕ/#Zu0KDk0)   -}[<vtzĹ=uTerh]8?SXaJo`x6Zt)n޴?t>zN%;R78˶!~p{rX?ъ6Y$qu':ݫ:f a#B;{bͻG軡/28|PM i#sE9c*& ,&Ɋy ɡW@y Kc^rJh8萄Nd v)RGRĈ4?ƅbQ)I7V/\ $SY5iimq+RnH@Ő|7]h!3V&Ɇ/^gU[C˝'zxVHR؍|?lkG2i6@r?vVu8K{JEx*FusZq>vA=|+F_/fGH(ׁz.& ^ai>6ojb,i ͥ[v%+n+Ipl"(Ew6:~oo2;80]m*~T1 *m`%-`$|52 R^:5P FΈtT [23aӰ0؆*MW }yš9"u6SSb@]ި7^̃xqIŚf~HEy6́|H[%|~Ůs#AU!"d0<-a‚jw5ܚZxh{s &b`$rڴ b,;=KjB T 6-dWri$QoK:σJ{HlXţY]r=ڹj]ܖ?k[5ZOb+:1㱫 Xv75Ve/?iBWo]׿BZD_H'*5Ё84KJJ:"_>vuj +[itIhLHeOy^ν5WvN3.>x vv/|sBQ`i0 ܆)8Rle3У- :f\A_F?B'ѰɚDc\peD_TY2m1|0`[`)ZߛMI]t,XQP7\R uOrI(Dߒ@Ltrln˻=J10BDc\} ,kl"3/y100yqRr;BeTDz c?(rB[! ly}_O8T(C`RT#~B/S$"K_@ҁ(BL!tߠ4pæ7奦1R18S2R6 O99H-bjH|_m Sw?掖`)!$$,((˹r#6+Ɇ>qtt(t'or$m͒hPޗ| YHkb[Xb^Ma 1되Xti1ǵ4XTOp|-Gg B8סJ$y9x8iu{dQ\7<Ywv;ᔹRax 1kPuobVX*Ers[pͯujW'kn-XZDe c;O2>v\|k[NDpvM% :P|m&vn'gs>r<cpZeZ4q؞BTN."O}1=:q?JӹBɶuY]L9!0J@3se\γƋF+ $HjjvUGbоد_`.|20Smzzrd M?o[SyK/mzk)̏5-FJfgx;V:/kJF,̍ncp+ oߟraP=$BHr BsފJrϋ})kd銷$$-=Xs9ukY*>? >췉J7Ub(v!X+nBi=cnN:`s$.o!Ň GNf2o ,|nET1K?A>ߤõ D`KB'%I:;ʼnZj(~,s޶OJn^| A8e;oȍ3'\t!*Thuߙ ׾8|^ ̡MO6:11VqdNgSb=7{o_ >Ñđi]V:, Sm_c nuR==xoSF'NJ!HcjcAv~p s\Ϙ Sp`η_b YD%;7LA&3x, x4f kVeQ==OfOPI1GwGq*/ x^&q4pi15$W8G@WU{Z1 @ȦʎwDE6sxɨ;sCfpUc>8%sDV"ULW&:܅wU&ExJO̊]c)JOO@oCt*$0l(&_LpB%3k|/%5t<<۱N]4+g_<;=ծZDM7|辂^O@e}דd~ɫg_t fRNrS zWfah*Ty|;940938==Lrg&CZ3kn_6|/xo;(&\ZgRhJ?a룱|am%W_VtLTw,N!:^VЬN@t"aQ` dҦ<ѷD$v}mbX#WVWH3NfJ0-.%$4M8uNc摢7w S!)f x!$=lBN:V3:0k rʲeG eL@)\;o=>3}o^2)6-)E&t^SZU fh M!ǸM֋7As 46o ,CR=d8ho( >8ƍoXYH<޺;=n;zy_{L;)ZkzݳceY6M98 pAL%si>hȡm:/<SR#dv9K[,V5՝փ{1^TI3[wUUUK7 Fnh]8/kZW$G,*QѢGDןhT.-o5)]+.A E@O'ӱ$b1Q6jkr?n6&>-Ɵb` e aߌV?<4zG>}>-ʛ4$Yom kt v+mRUApDC=wà!qs |FğLaBO?f]]:XmjJ2"Ko1e*do\\N1 U =Et}}N l vծN\m zK|AoNЖjg,!"$F-&7qk@]1mҟ裺U`9fQ9ˇ:|Tz lNP2 wy$mrNhy8JpmB/neĕElfqX ]^GlYc&S@6#ڑ2FD 8Ȑ!P*^@vM!OJ|VMg|cֿNsq@%8&I7|0bPU.c\u[J3XR<τ#[] =D|uܸX bj ō&r%ab-0w6~7յC/̨eY0~Ce+`J7wYM5j%ȎMa҅*Hթ2q1w)KOޏUFN $3 /VunYbR'MSxb-a idiܴ:7)Wӗb0ARd)(r4x5_UV\=Z"oʹbbC y`IM#֦3H}?\xΛNHbIKSw@Ծ"@'<暊 ehRj,J=62u>-A1E+EN;Xڻ7U[4*} Dլ^ u ̚:o!"kݰZ" J,jbe@K c՟ *#}#J`0#끠<rS+K-?n Fjtk7 5(sQV+8hƭpUش]NRYCC1ݖz] .ףծ ^A^$qbGb}稢]imےۍg>$pv:ѺLYBw5OM;t%? IYh=fA([Y -]W ݞ_UFշGD`%l5=9[ 4 "#ld*ߓO/S~hIe[l x,kkf1Y]xip).l%CϏnc+g){0{Lfݺ<Q|E4yuy"jA^[h{ᬦ6v(7R2L4?Wޖ͉7d+Uczv oDO=?jF)or#\9qp xtZx6X>)/ Iq(=H?ڍ{W~Q,%[ff q4,"pD=%F~N`TF~&!ІH։ٗ[`> 18ku yT4K6oՖO1dz+F")rTS1hLGAC fMAM#ogݒt>{QX \@X^h,#_^*}v?@&,9tǧP~=?}7jBaˤ GHѽr4yǷ \s}Q3pˁƲ@7$Yh5M, 5M]K c.K1|/N:Wj@I;v9E"n%PJn3kЮ8 }fӿ$wI=DL([Vg~[b.U:h\a;}*&W2VAf a+@?޳GڃF"$"C4-Lr4R# (g׶?ɪ/enNs3va#WQ'g@Vr~ {fFOS`roB ǀb1#ajaO^mۄ)Ɋ]oBG Yt#Aڪζf n)eԍyfivCbS-. ; ,qgUy>S |}&ZbPiWQ]]vb[mN>t6*CL ,RIhXF1 A k |Wt;8` (T_CtAFfKUsɬVNOߪ稣_~Y-7ڭK){gYZ [a[a%/A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files~~/src/HOL/Proofs/Lambda/ListBeta.thyE$/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id212Z#/A18HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citationsMatthes-Joachimski-AML"/A' DHOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$bMCgχ:%>:<"uXͿϝ@GvSf,"9o[%eKǜ  W{=ĶB\tS!x肈weKPAc㒝^vuIgKZɧp#0Nh |;S0\#8iq햆#cZ3ј洓Z)N} 56Uap[AU%hn*k%ŀu?)`XՉ޽N 7E$n%+O)BBLRO\5g@\K7=셝F}qM&?6!xVJmD-w3d@%CE c+P[mB- .'x!5"l(_&a0o%=`n` s h_aa}$p6{xX" P$G !r,nY?nnW[0n0\BH w~77陡~68TJ.P8 l)4ZKJazNL.)_ڗPfQt­~wX-Y`wS}`@c$& 'U8)s{\*7(f' x " r,]Z l:rT@vl@ja~QkH ΀ 7‹Pa}S WK\c4ȀwT)>?oW T?\Z1% DO{*BaEsc&ôIqT1\5^wLYG~L?v#hg[+wV2U}wZfh6ubĴ\L%1$JT~dv#HRHy Km+#&r98Nz)q~>(z +]2C_9>틽d%κ-Pekm|sH}[;z'ovQg>߿2{4푥jAO]oOm݆}s%"%M)o".:|}߾.֝Gh7| qxA)HmfIp{=Oܛ]\q}<ƓE<߭]BlHo1g-﷚b_#4t k/tT+~j'8FnaڛAe5cj*qN;cNo$xOVu "k/Lqzc^Yʻ"[!q*\Rts_݋QQI7S)Lp(5H(WecR-/4NLg'F(+EGOWeMZQ2P7 t7ZgpO Х_ N?}lqm(8zcPǸ=|͍<Á$}NDb?a+R]vDsܖ2#i((Z@`t5[PeX݄$#N}6.gF ;,LV[w̫C"׭Y woэ;5쥡|;=+u GMH]Nf#2zLJӘ0_%9ih D5ޅv:cBLBs?56akKȸϳ/۷I#F俋E278z}mvh*;Z#XܮZ٥zXu"Ug `LϨ~;`Cw2meЅ(gAio) | +ޯ5ǜI'GNu[v[:Y? GTK1Kbp@ KS+J)pv-wRLm䖯Td/k LuyqWӮ |>vgYZ`)&5m hU&Ұ ULt{&,C7*;ڥ(#NjY. DOPe&|8]S '!T/Xu{թIErX_(/իfW@<# i 풹s9d*7Bv ˊ2<,r'JX"VpGʴD㝶l#vrt(EQT(/ R31z.7HN ~C?Kb 3t5`tnG@B 4G4'G:mϯ5:"O*⁊E.ZqܨS2rPq pHRxE hΑn(|zxsK,n}_F]9Edy=zoee/O a+_ƸLbSsLΗw}hNUxd'>op jpAi<YVj;i~!Qgڑ=qrh8=K;@ J,ғ~^@,ut* 3 =c( $tn)DI!gn7͕[ʰǨp/qi%?r?eOX 꺃2RV(0׈™- ~>q;jl}z- eV|?g]g+^ݡ Y wL@"rGp1ݔ(!˲sv>GCTq== i{ m}j7Y.NܚMδQ-qcb1Wm} 'Rfu2'u(AF%`娐΢F~ C^?{ZO1ZZ 04DW$n_Cj q*C!!eЦࡃϋG LJ8?*ypz6bU}ɥ :"_~Atv86"gV%4̙ff[ݏi2l9ĺ;_~ o6/hsB-|SL|nhY4[t/ǭJ`2M Hͼl1BJ ?Μ=C`"C&ڿQKT]k oѠ|2 `n<$Rg\:p|Ͻ-{<-Wzr G-ޯ(P̌r/{/xچ1ַS+euRmoat[Fo1tڽ0uq{D7Q(hgtljk7h}_^,ukѹR~X7qʵo-Xr%XHKO1 yN3ZSa|" A6{l޽;ŏH!.S11xhPRxfn :yEe(N: 8{%D= U *ָ!~:Vdfp.8_))wXV Ft%}`1ݤsJ&tKiޑ6ȎPZ_sSה5 ^Tv - 6 AywIZ8ŭPFwgv(|_dd M=ᬶXݚb'`^_;stٰ2yڰLMGɚ[( Kqͣ?>iKEUa{>(o*CNm F9V(s|؇@f{;{uKjlXfz[߱霩VOYB 8>^V¯J"cO|4G?cYρVE1 a( *hn}-x0K]P{<\N`=f LE? nsn6ה ^N(St(zud|/ vmzl5q⣈mVAHK/RάӉ$6L_g3u{}II3ڭה>bSܭpKg L<>k4(ãW۬1,3#PI 'B:LY<~ O2%?9QVK4ُϞhNDj%rlwSے,,J}%D^(Bgec;ʃJAb"Rs |6 jI#e x#RwLpEBO+Vl!chHdAw[2zأAO~% m~\Sp pMN/>_O;jqbY10uy}L=+@.fNe-)+ xDՎG7U)Z$6vaP$.Y i)W0ޥe@ (k1π٦c $5 FƃDu:EC O7%Ƨ)yG7fvG+>U(ɛ>[M}% }r}>)3t酪X%I@ `Ʋ{2N*]=bPR/ǭH%-0*m-Ohɸ"v}u,맒;f֯q1;'lkGx̌p695P{9qq^=)x% t;X0:*s{F:5=Ⱥ5Vy-cv 'bRb8x:}-uVf 78#1u԰{Zw/FMJOUFJ%GM{kO,7D󵟬:5rECޥ\<>A˧6CZg4?E!Zdhv_ cMdWFvK R%Q lM RHs#ngX N쁚NUG1su{DRղ\QC凕&\ -20?FP ab;ݩE>yF܋emZZь]KkY%jDhŢ?D9هMG%vEe6a"˚mWUXW]+cǿwz;4ae 8 _uĪ}vYZh̊ݐ>N 6 %9 [yXP۫ds}ұ_4o32cMVj_FzT ŕ2^ϩlk%=)c@CMչ`afjGwB?KcŒ#uR\;+j }CR[ρwKIOf#!y™F')mgYZ   ;M],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208c*/C# THOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u;d]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3cO4(g%`=&]֓iE{L>&6:XJȮ.@K\p۴hp_?]S5iIS&\G?+孯_?A:fIoUie-7D|{SY/t A{x,Įs+0Kz:QkXl^6 LyJn:Pp<Ň~}ܟG{I+(7߸zpG:Lop %Wبc9rЙ2o!1aP' saO4dasY6A_FK1?'-+osW fb*%J{/1%eW#_~\bퟷ5P7Irڲ٧|CERWPMT{Dݑ L5+qW-仝60`r5QRv o8w#~JL=]~fgU PXJHA*㒩~r?QD+`U6x`O4|&)r}}),k{ѱ$u*NG@z(x G_e:/&_=x~/QeEa/c)/C!XHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files~~/src/HOL/Proofs/Lambda/ListOrder.thyF(/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id204('/A' \HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages7zXZִF! ]Άxʆ5.f-9 rq8L4' [>9k^icgd9|@e*, za,cOF/dIe}<@Dtۘ8Zhޘ|m@]98wtGU1D~qUuDZjòvO#T+70tG+nu|Tu*k<\G/fOEqsFҙSG FccX++-{}`&FwŇ2 |ICQ-G Cd/q &cޘUAhI2c: 5(mhbY` ǹl38R]Jx^Ynk!Kpڰɮc &C8 x0ܶȭN3ю~$#)fݽE;8#=&GMb4`Ӿ|inRJVE)K`7FR\X6*1HPsdn:pRQF6jogs RcwC|:3t5Kf*uғj&i"Wq.izThyk^y]q6Y"&av!q1r kq>T H.[emLgk9X7lr1Fk܏$޻3`νT3Ͽza֑ xџxab[*(I*ыD,]6-GSʝWӉ2o [1j:UydvE\4> .`l&%{y9S?rc>Ì;V.{d2m|*1"n¨p1+ z;3iT'a87C'ocTͨu MQgLcS[f(uRK +g>^|l#c FJRn+u!2>)  )94 !&UJ"_C 7>}E,e& X JӉv6K8!KKfErK@U#Tr*^ZPCmLckjFFΧ HWZc*c]Qq۫lpH \b`^HpXQm n1ou1\MZ1ҽH%c3Gx6Cd%$j-r[Ha,/2 i Tԍ5ў7sK^jg!oe)n³tKʟ |h{ x/OMx;=ȸr8UcP.=cqs"$4r#|6&j[Xh}LqdDaad#ȘA,vrF-Qvg`1n;EndcCԶ"h+;6duz5떰VWwO.h^J_}3/YWCq2rz~v_sj [V˒d}Ewͷ9{oơu/=f_:(QI,eb 0lgjжYO2"!Z)ni? 7)(1ZT "c%q)\u=A$H <^ʱ}¨\s҃S-Ρ,|*ϳ9j7r3QH M>Ol5Ѵn APO8m_]tQZ>2U#c ,p#ꀝI<e|VcD\@WQ*MF@DX'!ko* ^:$ 9fK!cաdWuzRHDaEugDe-NKaxao|i^!ϷYwn%8a0H+ʆCTڵs)kFLcգv[G;E n:UW"`5̽}lkGFLO.3Y.;#}bXYRV̵LbM; Rmx|".4f(j]zpbRw%+RGOe\,C x_:RL6ECuzcLj(ct?\+km* LY.-ͼē M#j3 = KjdS ݓף,"wk67>1}g=jعþ'YCW4N]7A峊 trJ.#w6x#Qy5K^Ac GX0ua r5WCa>DcF.DY?}5pF:,$Y<-Q5wx%dMI~_^MZy% e%^zt":iO^et}+Q^Cz 𻔾 ` hE $)Z$J+ˡ@]ZHAB,GeEX볅 e;?zhxȥ(Î)dt](g*GyW@ C|n@%$ڦ-Dl\'rNڞUm琠oT+Wۂo15wZb]+U3-zX%J@5XLV+&m:`ʆkJ=%+L/{K땗w EX +t:#9ٌdbCK#͓f]| v_ l @5cсOh}YaH$Є-pY]Gǘa.tl!-5b]haL d{:R$ :Q*v9Q_8Ů T.akFQȦV!nl2=d.(e{\X˨`0ϼB4`}0>L &C!boFiIߢ)P 0 ϟSq@jˉ%*ENPoy0X5L㵢:o?wBBCzsc2sNE[;Ě)Fn+:2 e,忶XABǕؐkq=;َ29W;Tſ>WZIDd ctw^@x#TO6yxQĚM{4]Ik/*7L[ L /R>y t; s1&-REBZzB2Tìfc! !yo()w/:MĪHqHZSRczmH1 *2,lg^wwǐ'Kh擣3{VTҨ4wFX=V;H4DʄӪ鋲&=JAdDyΟO=̱ti򖍞5!# 8OmJ౬/^qHq ^>!]77.DER9>'-3&KQ y'Y7Y# UؘJ%}<T7}&K]tvd'T2M(Vz=ra4MB.Tg_5O(() m'3gYZ 7stl92'l\J  ]6*\A?/gmy+H` ނI[4Ycnb+qh| }|Qʤ} ]9^DFRdc#i'?4C2O]Olaʑޝaͯ5$-u*Yu8G7iXN"Fb xAMoϙ0_N ^ʜ3_bak7Asx[{] D4Õj#n]%9EWo- gװ 6\@CKdX2S[V!Ŋg KƊx[MʧXuI{Ɗ;sEubHq̟R,g!.hpȜ6I1ժ˷RE}cR퀼}GRɉ6P-ѐ6QYƓ O0UN)ZPe^{ b[ml|EA6Z65w24AZqғ%i[>/Rf8JֈX }kzy@򄆀3pK l[qcAH;wje~%;aɢ.S2m>lufUORr:5$=4IDob7SlK1Fg};5ĺl,\0DdءsQ̱P%qE?VTCa.s1s*zf074`{uuڎpJSԴA(;5z Ծ.J?X*GUDa  MpCVņO\ "͑}r\Y!i@#7ckMbg"up@CJa s C?WsjA&`À+] x٘rgDykeM|- V`?!Ї.I~)E 7 EK氿x]"WP9Zc4񂅙Eq¼"ezK5|=k^^{rR#~upx%C]p&4s)Ud>aVْ2Fup9a ͔x}fXM+MpX. p*޲~iJ>X|lGvض"ߧa(7ʛ{/b#_oB|1akݖ a$~B\|qmo[wIs'Θ^\*oiK1H#fO?omf (?MR՞nP#eB̅x/ZQsERU 75](Z1,ۢuXE>pYLxgxuϭuut'U!SQlW9hC%jm^)ɽGI (t@ nV, bbmcK0Ӿ348r2H5uDP'bӘ T (LG_HaPrƋpl&*i"W0IJ?QBJh|Q"0f?}uk]pK){'$cЖE&0"a!xUt&#1u,LYìwKI@VH %0͹2ɴ[L摺Dy\e :&+K7 Bvq ft7)-Jkk`䵴[K.|IW!bgP`svZ_<ɚdڒ%׍b-;1,H8H3*2Q{doX#9y(c:sC(Ɂj0IbARlr}4m,Ck@DhpO[Kru &sumz "u͂U0=;W}`6|!yVǛU3s3\牀"N#=C'm!hm*rSt+&10}?{!Xط Tl'19صWd,CNn[HV- 1Kͦc@oe{F0G;9?"̠sC!hOiF(Uu3eM)`$~14ov@죡i_1C snlD.XqM,޳Qs$PKk~!їip2U^nBj,S ,洘D Q+1gh "')% {Nr`L~=GvdtO8{LPMRp!jy;иF0{0 䇷{bWPR&cJoӷC}@?GKY" x d.%Fsy 07;Rg4Hapr#XXX|ܓ* RM3D`:puLԃwʓ"(eMnG%c`.y]k YZ!sf3R.g1ZFN~|)E/W_$)-]`f 4Ѱe\I&!jX'q32*ԡynH"LL"gH5+|v* 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! 7]·Iq n[:|&[zܒ2oCdAt b&'eS.p hDN Se g GaL!uwRDJj&G\6>u:?6Fv6NK屖NJ:KRvYas[Ω3gV_y dpu Xs^`W*{N먅WQ7NK.5.!W70ā̶FS: K؜}GҞRQme%VIVcgN8c#/O @@5~xT]xײ-[;otvWB/ QU ]hM7o>:dYQ/3 bY{_T+Տ/dGIyr9.* X WЫKǼd~-\rY5 igYZ`-/=# THOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! ea]ˠ)jk2p O6LP=͵gl5f&Di5b^8th.X .kN.; "%2ў3P),Sz!Z T K#MVbEsO.vdSA,b.ٹ G>^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$A @J kAJSs}&b4+QwPJ> l .T#<Բ 9шS|䘴Y^Cs>IP dA4 BUu׏13*q'SG󊏲mqXH>y|,^FR&%`eu~EjGm&[lu$\E}ULl8Da D&|w؊]aJS8t >!#5)TiyP`><ȤtrbVH}XW&bi[ee㻄^]% RGh+$2GB/ 瓢5|5Dn@-=44AH-jQr/2<fC)!I.'>O,JJ{zxۄ~]dFjL0<1! ըT̀gdHa%T܍%¡ lv*D.Qdц+1iL gDf͵)%iyqć/]O/ݱsMj[Ąf0oָ(J 읣.M[jP竩grn/`W1'a7_3|d`& -lS1!V_ +r W3=E?]y6ĴYlX_tϴ}9wJ*Ӣ#^H0wN vQ~qi=,2+iЁ}2'qzhH⾣=)>k]w<&5+;{fѾ.p)W /sb dMKW:9 ')CBJBf)d ̮G,Mj}ⷺ6L*twwn##XBgo7 Łludqw?9u*ܾٳɱp2 J#Vbl?;pfcBmQ^C vAc P. ++eeY޵,vNҸXx_X@KZj-`3Dcwrp-s0:f6@I:1lgxw,/דLRZ,WeV_Qj`na#I&s}9_#U1Z+|Ijf3ƓJjԲUJ! x^{Xg",zS4@aA*4&x4ra|/SG|ثL/9Y6^eqlj=}qkhf֩}AiSGЀz(N>UVLڕk1Y `d;/>դ{uOۻ1){ʈ̅HvFKtnJn>/'_omVa'eM /j[.Hg+T0=hzDÝ:ݳTV؟gaړDOgQK8dU6bi芶SBOQۨatO|Ce|`4).Os9!\Ӹ s S=j3H 8SwS"ե*w3e~i2ءBrɘ*-YT,2FھMlʉ5/ptmY';؄0'b19'fAǀ + 5^an&__^zPcS(qNB|4"KaXdB5{m'Ԧ}K| ?tOap6O݌4Cpn_ ^0D | /щ!f1,?z$WHdU o"(!n;iWPZ C<=EGLPqtٛ_,?|;nңmqe5#[*xBy2PZO7~z  8*_ǴOè{غxE+|ɐXvV zɚٰH:e[ޢ]F1-a?'./\!XQthK/D#]V{[v*}ʗ)f%ؙlO,¨vA`D5F [0,l¾^t)a"EY~f "F 6`=w̛],'|Ȁ.%>eAZ@hcNJtD⮑??4D~iWlNٮ1$|Bf?+ Gm4طA .o Bi PeZOv ֤i:!ͅYa2 Tq(/n$;OlIiy<؉3+q4;"K,Ng=Iv5`)rO@T ^9:D W9K7u_WAAzC\)J 0&,c[0BsF>:v`5vQt^K{w;+=F)ڂPeMǸS ǚ4RDC> xHuݢ{+YDs:z|-1`.bף1vAǝeQ"װO{v/HqҒstG- i uؙlcr S1t:83 I,ٹA%c ɒ*WRN跏#i8[.) ux"xg\$D|tLexw/qR׺aR5U28Ƥ:=g.[&@ W$ ]TGB;Md23*0 6DI?W }_V8}up;d^8B},sz+uDZ|ZJ= :P gv&uuBpy&g_jh1Bo3$IJ8&XvN\Uس\&/GDeD^XƷ-w_ `J1O>NͽB EsԸ<]MkQh!kXh+G)VA /S8>me+'aDP_,u(6wy> QTP{Yfng”HM -ꕣ:԰3bUO%90Y kNu@6B2u:oԜbdaR`f %Xk1YHJAt}NTbU{({xOlJ _1IRyiCAߖ7z >+PoGdWQ+` ;O{ VϿKK7$hT6d*d؀>;'8m"C Gƺ7%lMtݒmi̵zK؞iO'Ty&] ЪǟU7=HΘ-wZxPrO٭S݊Y);u,B`8 n vT^Yv*e5d*>߀\$=Z]6a dLӊ| :di`zؒ c7LIԫ(Mc(h\TTST~J׫c- gaJ˜ qb|4sR^4JraC"0_ҏUMO4/oE{CMz#N|gCDT~5P*Au8i(lnw-%GJc7;ŌW%N^O!(8d^ Oku1Y,UJ S+ke.2c 0uB7C3 ׈5+frd:qƸ_{1M+{l\+A3QNh< RVҳe4aSa e>4>Fs"6ސ6A(Lpi̕PqjJ< n)%phW[W'ɝ+2bMM5=cq{9l ( _?#`oG)J;!1N:@~ zW.i~-KaA?9`,:AUcEǰHcY'sʵ%{/g ?$s  DjyVES6^H|@`jdLY W ~ļ&_8:"G T: @Tn{ =@J]?$L1q'#lr5ɫ?%Ҹ "| y|̎tԫ#J1>*#2C_ͷ۝8ז+RW(_s\$L6r'q@ ctJ<)Jg8vD+@CHar;j٥_wwA$K(l`AsRndkɁwa OX SX}$R {DZXH YS,[^O4j֡XըN$tq:tIsv[b#3/dQo1jD۠xe'$*(P -zϹwڥIc4fo!J-Z|-J v+J-nhXyeQ)w "+ؾ| M{4tmn"JO JHyԳz!qVcKŽqNS:f#!8Q:;ڀ<}J\Rg}y*4 } ȱ4:!^ Bgagz D6VN<ݿ'tPUT>zPWxWCiE v#d=CYQ7'|F"~&s&Ç]ܸvg3 #MQ.sw;%"n]  1d>]i CWW^*dc'o_&:,u@Ϸ1pt]Ò*UmY>71/C# |HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! 7]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STdS0 NЪu-i*/0zEm Pud_s<)0_va{ӺU6Mj_dG0 ):dֳXyڧ[pBep5\G-Љ7y-EUI 7y)!0lD)ـ9At_0EI|ݱ-q5m)IǘM,e4EcrO&:ˆ/qDq]$o82o׹} Phf~Y۽+#q=ڄbE>']قqeL̴ RM;Q>-*պ^Xkj-\#1{Y "BbϕX(7GA'#@3E/w2ǀ%&!Һ[>R2?\G8W^JhV vݚK ^5՚굀-?{5CRN"2_?tn# N)e* tH U9^xWC0w/tQ%.ñpaR!mN~cXvCtYVXRj?wu00̮4[ɟwv諊;#fYm/螷~h+`ɭ@kfwb,19E`L;&I5]zZuQio%Rw3E]ayf (Hk *:TbWAt;&K)--Ԛ6m)f/8hlz{}Vk/C}?w`T_;WyϚ'VQfE jhJVt/C =pk_KY8 -a>kAfOY]c 3 K.!T{ pͫloKVy8(4Tc]-K b r1Ʌ0y4u.ƑVk9poaWJ{ʚu:v*b$?щ ʂ-:D/2}րp2}d#[(KJ,߈X=gFc6eZ(ԙC*i(C[(e!@S`n.Ug {v0Έ2~bvԀp_QC!Ř:&bˊASǏ% %Lu!)0ۇ %eoZ3k{x#8^鍅 , V"^ۣAS1h(/4"p J +_n0l׬vC"\};w:MvsNS$6{=%,XN[|g ^TmvHz=DSjsVl#!EKRMۄ-d( %- .25B "/ΐm3."H Qb}֐_ BF9ަ0J1TX4)uZ9f=Ppf)e K~"Y,!9 B1ݏ$ɲdWf\*j>co |Fu'Wb٘h")+Tb:rd+dѓ@8_ 1dSU1x%t9`+{؝Yn yk2 |,|e4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id218Q2/C' ,HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF!  P]Άxʆ5.f-9 rq8L1ͰaUO܃0K@ǟ.O szgQpt?E] O;6A^"P}4Z2˄Bw't' prTqh7h} 3d}a>Cމ  A_մL9-uu7} AZZUx:f츟fvw&dnsTBX#I) ,X;pc"vq\ &t$}%oE2sBv d=k6!tïjA.%,3 o"E%U$@g6+',j' ?&'vT^(4Mk'n{/l$T,6QxfU+F0' _Z!q @7FSfX;fcq'a hYD-0 r4,Ɵ# I OC1?Ԡ!"R]aKe͍j܋ӍfRZ*"ęLd}+I~';|`]HZ[Zخ/ǦGeYR U2f49EӄEPd TMϺf-r.}vOI5T jY45VlN: t8 ec&ٗ8bx EuC@c8.493.!(|Gu> +c}*ULE\8Y)l;"+n<~nS\f*ԏւPdƎdxJ-^u8ؕulxTe6bj@QdIGSP[-2….S,ָ@6؜a*SANfN%4x Ifwq6'sfʪ_nQ*g-ڹaly+^G8C-IxwFI(+QNj7s5e^dw6 bȩF&83E-HI= -DҨ\`;S %#۷!߹6s+m(8 6e;&co>%]Fawi`rĆ*́bo6Љ2-;sZ$݈CQE;K<)<ddm ۹9_p. ̫i:^Z,R L70ۻ@fҶ5*\¢'6IeMe תo4Wi!tgjiYFڵ-k:ťg]΂tHpOgA `, @ܮRVG񀴺q&clℌ}<| Zb/Vk+o*q1))`.܅Z還F\yk9ZEb3<&2I~wh_9 %wtZ)m33O$6.20qdqycD U #P06ȏJhu \m ` OY uԟ"yIWZ c>v@N0K)xeӈ6E%ƍϴ|mhdʮ!fᏦB=|G>D9"]gOPoL0,:{y/~TCZ rGukw $:B8d:V:U|­s&?ՄùVN)Lh#%2q8H hZy |-9 i!82@7uVGKfjUE殫<`r^@Q{,ɢ(IUY|++qD~!v6Kv6iRUzaH/d36Z[AS&*8 i" (YƤqF6+XK^~ݰ^A$Ƴ7C(ZgYZ6K!nWcj;x' `HR3>V}}kYgNh*})?т@֡k]G XZ6mu٬]!:) 2N ]EIB&Vۘہui+dN oE8NRtfQլ첲{&Ә+LfztI6)?#{؍-$2%圅e&wuc+F U~2W \sj Xu/C?UN}j!!0íA1m|h$$40ǿEy^v>= vk/hY]S$YvOYq(8+xl2=qOh҅ems"ZoiTXfe\ 6,TF)^| ݡ4Q 3 'zv'l5S[DWn҈l~z)aWL5JP>jn[g쁐&sM(˶7v%22Įj:2 M v-nqz_i>ʼ|7P!k߽m 4M^`K2ܬJLSkZ`ۻEy5:bC`L~ 1y.1hU0ou#aŁٝ>{ >݆cRRy 8HxNy4հ' ` 4ȞMTG6WjH';eU#6tgXh{ΖB*O3nư~' 6ίʎv[ E~';)bI B u42(Ϫ@'Hv`3cji֊*9[Yb& KS&N:P$?za&؟^ d\AwO `~rpnCwCn-zJ*r`WQl, k2E[),Ýw?ZS! {q rӃF|3 z6a9M9s]wޙ 8 ?]*BBT -uFG1+CC ڄX]DE;F-„=|L&{\r!8.+x 1nIm;F4x0W}Z@U%\nLI&ܵHhxr HJFcan@03RbDIV,2hab-"%Zɶ?qfxC΁:Ū[rg-F &d:"꒧,?BF[c҇OOn"|ݩVOctYnLk!' "$^H/ŁU*qͻ,uޮ~Au97>(8X1v2~f+6vih z#/0f(i?C0S ˃֘[qok`oioі.D)/TA¨юt&X!ܓ01S=65 |}2^~?'7ޗa.Ř5{:$'yh W+XXwwqTx.VvzI^^ ̊\Ko|v&YYcݨ*7ssB? |kŒM,=キw{*gs`v΂q}-蕏ou.^yh πƘC\k)ێ_N|B( gF*pRDRȯY^Fbf̓1iζ{\ǣ938QZܑ`Uj(S@R_))-6ڞ|ebPT7 垘=I.TDrtE(L1̛M%dd\r"a ;_؟>2WzaxjٽOO -+49"ge/#;"$Sˁi[ :x g&e֪+%R5׋fL̪\#>#γ2 {mJbz\0-z.uo 7W\r1l+ZZV&&/m杘gF,~4(耫sý%0O7"?Sjp6/ NąY[ȉjqŷ_󳅑1D}&?l_63>M7ŀK(K$GZ̚ +X L2 g?uI@0T7| h~ C h{Lh/H3tf28W?Ǘ)}5Ayy~fP^u|lIpr,oI5pFZ3`hً#_$c < =r9".L3/MIJƑ#`#%"1"#?Fvӹrm|P.$, 4΍B`4~9i^D#gs'̬in3RZ 9z';w="Y0)iml|[U6~ɶ_ nEU7fQ(QJt7:|Q}ǃ8Os PވnW:(M,n*3uUf7PNMEFT) 0~-orR#בv=*sP]lO¹SxnTc9q׍Nc^uTYk0CGLZ^ l9zʲ-qΣKRGu6%~swP9^{aLG8y(iihIIŴьuoDP8? "xC6əǢd:q[U^5XT|<^sQcޙ/GZ&H}["FHyG69C[LW6-C:`L&b%kS#NSiN.3!Lo5yM4͂WB4bqYLyU}cAVB%]V}rf)h}@w=*ɣ!xPmڤTb~Eeb = @ƾ3,1^Vƞ1U-GCnJsh$D̮"),I?I^Ŭmb;lS&LW$Sd^o YJm1/_K>R_ IaNDS __7@1~'[Dݚ]|o(qK1t2yBK"Fmdӫ\n.嗊\z\uxZka~f\܎]x6%t5|4 9r̴ =pwi_"vjVʋWVk窻*IGit 3EdNDwR?&tvy-PyYHyG}#=V>5M5t2RĜ&#l6gRf8J8У捷-%Ȃw29Wjg(r/)ZcOcz=&vډ/5\||PpOGh/ZD\Ucv;<\pcz.uEORG%9}EeGDrN&A +ZG|U:n03f6WH m*7X l1^J)_VgGkhf$J A O}c4Z;ZԜVRnrS~{(FeD3,񺹯xb#!mQY#@zuK OiCƤ|f'kQlO޶zY/Hbxu "xJ F=G5g6!&E Iπw l7u" 9틄鉧;W8N̜d .19U<e!YϿ*\Y89JX42@HktdތOʲ8!K-=El`!B2-%5 K}J 'C]Z%^LmhA:0-gM0= ]3\zձpmhUcWey 9 4jy̬o.sBmRVhxE]/3\ӗޗ{k+91O{;O7| %&q1q\{0/u7,ux Jݏa2M* h쌒ěr*"tbF}tl\\y%yBةR^s܍TJ{?RN8.lrnn9M&㣯h&SnOvU%(H8U#ENT\qs("ܟ]}$Fi%XkUyKC͓?r[S:…nOʁm!zrl!M9 [ ̖ ڽf:cMUd䠃;\[WzԟR 1LoeJQa:L9rvP^ߋwwWO5s <5Pxr6U~kgO$L=__8vp,?,?4I)iD}G95 4dܞ)cj=?NfNȬVޡR4/"q%M g) 8;;}WLt|i4j\oaPI.PB\GpjCÂ4dOT Oi2 rJ;ܗCg*;=a,v0]"CkJ rU~pUnd'q8F?eGf4~J9L,t6odճ+$1k@ Ns1dj)x .TK;mg'+Fy=2F&xv`.ro,ӷ%ף_N)Hd{ұ \dsy -;)UNa@XYvWQeVO 5B?W4ӛ^؊j%KW UN,+Da>+Pѥ<4XYytD;~ n(pK`2$۞v&#q`6$᜝BhM'&73_q8>1IOzn&kWT)_)᱕2IcYj X qu[WR?tt5{ ժut(9vP[A35.ixsnui<3(y鷓"a+k5fեiȂ: ɚ㣍>b aY[__ o^0e.rjndRg?Q.Hũ6 šO4~5mk`3QgB*jU;q#}(@"VFX#vO#jz=WbUк^Up( ֲfЃS@HfLI(ULZҞq꼒N"D8UE,1F>zRlzn(K@E|\>yx?1d\hwƑ) U}g{ԜeHO<|twɢ&eO 5}1\ssPEL.{ff0[? 2 u$A p~԰] ߏf+}3qN=QOM:@TS_kAwŪԡ8~U}t%>{O<[{o_NO;agYZ 7J9 /7# ,HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup7zXZִF! ꭹAM]ˠ)jk2p O6LP=͵gl5f&Di5b^8thKg~ZX&\-nsg=OcH,ߵcN݀R+ڒjl:Y0k589, )E|^,1xa_Jt=p`zLwGڔ"x⼅0Sn6%(x9jåAgSݳQﭻ: o*GxN<#GVgZ #/i.9-wnDQnUŬM?`N'm=E"P{lDx/?^X5#TiqMkD6/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages7zXZִF! <]Άxʆ5.f-9 rq8L5NwǬg\#bY2^ tP/ȼ@B_l>~\vM O]<YssN^]sԠ2**Ie*UTM˖y #InΈT5 $KYOBJ!7-;w?JnՌw4 `_\14!9*$pN<vtəy +^0 ΪAIdQ;ӝނiFiGA49lj6?A-K ,P/Πq{$rnSk?% Jh7f"#Ǭ"f쨹ѯvmc 3`t~}ɰOu-6J:WģX BS_\ @[2ZSY@S9cTq!VhѡEbv&MxDtziUylD{cp[46='+ъ:@ŤP߹;@69v` G)򾡳Ytwg>/\KwRTc8PJgt$sUs㉾M: 5]Z\Z]Ŋ+h 1ΞjsnW*d@+__-XB+ &]m͔3rn'?#%*-Xsف 9jifoqeB&ibϱF@h2g;+k +EX/%c33-OJFflB?kb]cdO_E0(P'1|U|T]ͱ߳"P VTW~(}ju28)P;u"UZ?"%묟J|VXX Ѐm"\0q[7D $d!uo$A'Y<8h5mVBW/)0 cj$nCCyŋεI߹ D>p'P*uIFajV5{3"#c Rh!Uܿwב1lr&? r^Y̺NMn0{K8y0όv }jӟd}Qs ﵧ^/j \N4#oq\dejų(#X"1ld80 :}n߶EţkB#e1 x %%Z!D:'UpWκZ+<E-O ҏqO:V"2ɲl11xn2Co=p Ak1Od\T=]&>0f [~DvIt%Er9'(XM㫗~`jCW9;sQB Wb*e pE=?pwQ!Ol|LM20=D<#}#{TxwvD^V,y_(!|ۛ"Ws[r\r]w rGu,F(Y53GV3Bhs&̘m*N-L,7^m'r H<1}nz(rg=0+D*Cj jS.zMOpgv `.6ƻ?4|?E8HD5o]0m(2re?Q[ 5Af>0"wyn辍 ]%7 oV>CHd]f[)u*~  W5ܰ*J)4ŤxdEL.:>#r~jyUs;\2~А>_p#H4x>Lbd=ֿoipzb@Pk(zq"=j!J9v-J4~_E}lufFV!Awc툡J4V/O(ԁb%>x[zjCo*E^-8Uw[ޘ}:&u_[)_cE0_lƉhVT xQm&udnidyDt{ (B8 '-Ӳ%'UZӏ+ІRx!CԐO" &֜)3_4nT愳%E|&%359EZ9rth Q-qt{ j}`[_t]wvS.)*έ!P~f@/>M{vn{cjf G&XFQ(Ӵ(؆jM8N]BMR3MNJl0i{_hϤP]vuBw5cIJJ@UQf= S[W1ܬ@U`4ݳ,Q;Bϰ;x$zfJu|p p+]E׆@J*$rRk-Hs1a -4C&z/>Y߅=Jz5ax0h34dJKMVjfP` y:'~T kUk1Cg9y8HgF r=^(fR@73Ώ[H.$~3Š$ØCuxX娄̖mҀI5~@}VP]0 ݹz&4AN1 P[Ȕ+o`_5F{46bS0yL,{NX47gEhve䂯)^Ask{KNKCM-wjhM !'`+pNḣB c чf]p9.l ` iQàjJ{-'P ,(=ҊOh]+U)nl㓤9J"UA 4@]y]{)ǵqy`-4.C]CF:/X$6 ɃD8phA̧$c81s@ЪHޮ?M=l >B bF3MDO /1 tDxAYM@M|ԂO@ԥq EQYdF:Y|}:.~6tX}HN2Opچ)г4`wymS4(LKkr+T jm3?ԼdlU7IUl6Rt,fϽ18Гm̏c6EZP5Bn:NJKCڋmBė[EA?,p+ȷ2'*S'fa{Z10O>q4܄ jZc~W_4l9qh\tDگx7?_!|9DFQhilDT Wv!_]Yp{wH<.`98 &X`3B{zD<C veG1ݼR +iaںu]Qx? .0BVK̍teWdr9&1&`~ b].Xz],xȚ=c|J&UHd7zׁJY`!چ<bUoJb4RK$y)#x˶k Pc EΦEWƹ2S0D0-WLag|,{@CVeSڥ,wq"[6R*+ dRD3-vWZqxp%3#NR"9hJόDoz9BctT= ɱOa"WUTу O11}U]zwst;C+q,[ ORw.ZS&d?tnu;&%^,7ChNfSy"V)M4Zc2Åx+|o\$WRۂ3YpCKwoy~YP|[8c]:;VCE5)ίX{m1AϤC/KCtPyV^_t#F] RV@w C"F5C ʹY{ޥȋ,v>~oCs<Z ɪZzh`hsԹʋ/7DJD)?#b>~StBY0ePK?Zζ[ Ud'/\J&1͏s*#bX2hԬ u(@r`/WGH^< ɹn\în`7pΙ9tXL5&|Jr_i| r ~v ZP׳2 _b#`d_l:uGj!s\477.CI]n4%ZD1U+L'i>)r8=zTz\_|xNȞ` 6=$L8⣣LKMuׂfToukƎzڲrޓm>Id~:틺QO71DYE(<"ү7l/QYfaY%6d]җNscYvjKJ HJ6wU&JSc礔ERjQowAøRi(=3{u'?/R.HN + 6EG|'j- !G±O+Pt+fbzA AZt=!HHaﰍyﯥĦXPaAn˛%,ۍCã*:$Oa5ZJ3:7 G{.:4ӝJrmߠ.yo);) 4H'R&̠_W($WT=Ů&2rO#+W%ѾmYX3{>+NFJ04cBŦ@?B(C^NXl\My<$,Zx[6|_ȇ?V2h!z0l׎؛G#Hh ɍD-2&nIO7,6؅O6& 56\]-גYo`<;c4fVGLK2Azvx$4#fȫm5-N sE+޵ݞFvU(msuCA.F󜌸iw_,QtydkV1 UcARndZA֞Mfg{P urb5jw0<]q,;FW}wHW}rƾqcg>;78\S`lGȴM;UxYT{3|L%Mq\`1>݅vIq\6_q;FF¹J!aji޶Y.6"3r` }UjdPƠpXjg`Rٹ>r')c/]͘b:lܤ]9E֕b sL$Yd=/9P8(S㢐M8є쫈_h i}%th;Q9sK,&lF>SNJ)p$i\x\XBAm{k+$YP)A S{vhwtc@X_]OʚSۤj9UV7iJ^vD 6_CDӟoqESgo =ERiD @q0yrm9`vDw=s}ӡ)I@ꉭM\YYc$MH-l8MVZN3iR l=^Y2JS7`Qu某*Y#z1nZaR_m>DBQ;9v]'Cտo .9F'2V:ȷj:ˈ.X9/^NIR' mc.s} ec/OB/PULO61Eq0hܦQ/j zX 0ai=ڵwi9O'mQ2DiYܒ o(ڎiL8K+?Ep^u3x>5@tٕf)hv|ur7 L#C :_".֊ }^c`7 pl>(Y >m-)7$+f KȍȎ> B5* hmMҢwckZA5}$K0*RiO) s=YqO1iVkW.ARyK 'N/rtZS(K@S,lnRh/@.'A.MW>$+6<ݩw0<%{@z:Xڊf>YPZ|ַ`05h]ӄ4:RʰD%DT;mn " #dЎw,um~"@4¸SPK%68fO~{mo F%EO4x UO_it[[ Y.Mg$!ND@j + VS'u`Ob`JG7 R!ߜbC5MZobP$%+l( }|'YUl>U5nud&a-|v,qsBC ؞Ar5z{Vǁ>VI3(BNYdU_`sO wNBPiU@5 ϬEB|:Ib'lէ1\-aܤݪ7I8_*⌗%f,%A>%|3koEr'46]kt'*@x`Z!r4rPPFr(|z5d83l!GKTUNiXI55# vUk#@JOxܜLyF6ݻ¼Wڄ!{8l?= k S`C=a;oFf @{|_*o&~| ܦg'E)x" XQ /KwKZ{G$68 $So5 O[Id{辜s0/;}EusٱBZL`e 1$+ .K݈* l̽<O;OZc&S\_4[qN,v(4~ <\DJ~_L&KG>dO>y6Oc3њ NWM?_ULD]iWa5칛8$ .Ռ7w[:q!г]Ћ[_p'w% iU=IUה)X~H7ÎO|bcO/1]\6m\)otdžؤ}ҕ&\ Hp, y2?n B qH21:ɼli1*u*-#^Nx7>xv12.T:%SSa&/NRP3L4x!JN鼅|O.i=?y6-,ILYt?`ĂK֞ KaD9(8~R8RX!(W"; ;N'#Xlv7cyT1}TUAThԷ#͠my ,EDnc|i蜊$yg_gBS$b축JVw.\-eˉ1Oh}So5p. ]&.@$9_(zD ^=O}BUru]kEaN$don3E2b)]Ȼ8dh0Q/3t-8b8QU&B,L -Ԭvvo-ZhS[þLEUi_m}j1cA$%ĶA.=M6'/& *<-(LZb;Pgi=)c%0 T}ǰP۶O\T( ctLjl/ky_L5ɍh͢QRa(ŨQ^N58:_ {~gct!vw{}4djZ"|sCEd4#RTgSڷ 9̬"iAy!LJf VG(^~hMՑ!؍ksE)YW859F oC È;_Wk9RԠ9?lohYŲ3[a|- # ?Ӣ~?>&djiTzV LB:Pt ȼLϩʧ 6H#}.Jd7ןjE~9Pq%pPDXG Pg4#%tn1^Ƴ!XS\ k7%˟ĭO<7ĝB:}YNRj@D^sͬ|al-x01X=zPgnUk1-|ԀL ?B50wxA]mH0 ~BMJ;br) } 6o[fF$,"~Uz[o-ꝿ#yR3+,OE2*{4B#Yzi%"KqgߧosJ71{1  ء ,R!<=pxxq0\ \oH9ШN0˹!6x#gKqߌ!7>ߠ<FDl=s%gN}C沢oIەh|*<瘩}I`1e|Ƕ Ahzۋ}wz3IUv+uF=O6Re>ۗs#2=,[NڪݎwU.6'(y( 7Ѻ4eZA-^`ͩ`9q_MB0WxZ 12Kw1A`Ր jyR4ȣ]>a"wPCo$̋U|T!CpX՞u{)_L ';I(DDNDk8Y~#A'd1=DY5>O&` GQj˥q)豙# E%4 lrnG%H$s∰Yh~l27e$'lrw`MmKUaʥ?8?xE·^4aOP(?ڟ;mܜ'y bz[I&6.)VXRBw#)0vRDRނ0yX㎑ns% KI6Hv|kb0qg6 8.]/n/d*{z f> Jko1lOGMR6)2xeY@Z)CyU¼o~Mq 0-]gxkD( PÝbP_D}P餫ImG.X1Ь 6^ǚեOlV W׃WvNm!G:O5XoY@X1'*׿d]d o^GDEҭ TY*@a̐ l3bKM.xPWl(im.=.ŋfsNGySy:Zꚇ 8[訧w _?R?3u)ͅ0*3r1K)h*D̓i! I <ovg/vO~ځ&TkP6HL}{a]{`%~SL ^!:u=sˑ8_~!8Sptp'( քT>BYL=yj 3ID߅-O$&wi/Q~\#i Ge m1_&ʏ|Wz& |34c(>ܖ>9*npə | dJ g izc`mEZ Hu\RׇYB4w Avb06\g@Uthhƶ]ñ/GРogMb$m&`XEJ~a1nA r9o|"/ 5Ia>PS1]W V0OԾtY0Ezjy T3L`Uqôi\-2ҡK* T[Ud-DBE:$xI/%[إϭwoy8Ýٙ3p\ TM/uXԭ΁_ " 32b%d+x 7e4R;w=!Nߟ·l2Z5$H?-3,S9]fIB[] 6[0 BcbP/SHx!.)z5# 'O)}#-* S@ckU q-F _ LjfCs[Au/WzHi.6)h|%_7N*/|=jcSz,҉'(.q%gh8  W)ճlEB-D"92CTNȚHq@ `yO| }w6`ZiokABj?foKl,(Dy#gnB{KK Xx4>#yA k y2JiTHuWהp>"~ ׿'[KkIK#/qN&ܫp  59a_$v.\H_=ʆ cL\y UTVx}xWD+(^Z穳Br]T V+.ouBL#/PJڬ  a*}gnbg.4iM1j<0I0> P}sdc0Pot6j9|N|Q1XibQ<Ӱ7/t d9O:oO>G2Ižؕ&\(l@ BCh(Xaޔ2͙Ü]ț_ a0ÏZFOucxF`LVƕhtvˣ.wNe7!?TJ*;><3s`ſ2:Ալ^]M7[JEo+0<[ -.NoYO9&-;y }ak0P\D9˩щI\R=DU8V-K -vhnibw\ |4o^Moڿ2w-pbi䂗\̙]uݝ_7fXo8l+ NOj=#,x~ff!twJXD&o@5,+t}s{WfHpT߿`)& fL @$\ CȷNb ޞg]VkfiLpkʥeSGvJʺV;Rib;+Jd16a=w .!iFEIljyRe1$jLᛓ2KZK+SXSC\U_zG0{*EDb8Rh%t#[d2(.[z([r"Y|W\BMѣ^\4nYI-yP"Ku0 fGY 31]ܚ.ϓh~a 4ZU*oGAu>B @~Jo> h&+~!A;#0Ƀ9bQElSd*ŗSY/jg>r$PYg=F+<^ Uq g,U1Vi=pt$n:gn򥠮vsuW] 8ӓiY'(guOu㘕1gڦDZjtzT .)ocl,|tP # }%}w3:yl8/Y"Y ɞe7Bƣ-2ym\8 e9ހ'>~+p hk!7Zl)',p\ lHwJ8k3m@XtxnҶy~/6W\+PVz n6&ϐz(#ݸ1^G/$].xKā6E_Ny\tOMtxmh7/$ pupPGUfcMS ;LaW~2 i?IDO6y!r4 p^>@ߺXܝ3 = :*p-z)~~Њ'S76ΣFy)y>V*_Eƌ8|y-x|ɩ8gYC֧0e7ݾR!R ! C1AӸAJ3mBDb0Wu6D[X~4>jyCyr{&^DTU.pf;ƏH7T&W'YO3F9؅7I2`7TцdM_4Gĕ>/9*& nԇSHKZSYlw+7'NK_ʇ`a;;")VZ͌<\ǘk֕7]OGRT(U0I%K ^c] ws4ۀb5[ͥJx-C*1mEԫ;xίlt.xDEg~5y#T1(7ǐ!LhaKķ;ǚH+27>M+?ɏˎK8)]s"l'i^xi@`D&Q6\#vNa6Rwff (?uBhOߚyvl*,50$uOM#!E+2.La636o=OaC꺏LL-zȓ@;~SJW-|{ 4ӗUgE IWC$nKEq=̋7F"XwYUM,¨oAyY5G3 *Dk]g788q l-(,IV?pv G򻬃'@.Jo(`3p<*yhSZTOtZi^$~$8$&V!2uvvb29U.{DWL,n5u<ĄE~Y=`'Vb*K>Qΰ#~k(CLȑ&Rinr%!ʿI|J73\dzz"AĶˇmȶЙ%pKR+m#)dW*\TdT^+JkKv+2up3쁱&uC.j-BYΜmt[A}^xe/T`h=B^`O5jjT $n Sn:H :x(LH+-e# \k!sm=a6n^ GڑzͳW SEVpN>_UnV'uu!/VC񨥄){ 5PF~N}/%Q]]M{ h(eS1Ak"͡U?;b.bk푘qJݶh8j(` cY}pڄ jF@q*P3{NkxLi m_fc Dg"~;G1xXJh| J[/{-bh`h)wN gq>y0"҂[QU26} юrc?ܭ9zMsN_%iC &b6MRZᤂZE\k *Ĵ:gYZ n  n> /E# DHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4ez8khlZپAG6P2)c_$bHM VUk㣶PEd1+Tv@ ObtsV8rwk蠌 P_MhKnehmdE Bc& uUB1BFP9 R%W`]bPi)[Q }k4Pؚ%ǕLQ (P2\JdpO,c0.U>Wd!+^u_n;Pr'ĠD 3FWK$`,'ISl @i>"dKJǡ#"kT+(%u#충l>ڏ"%"{VmLtUߚy 3GG=U'^Q[-n[@saO|^,@*O:6iWë́'džeyN*ȋƿ1$_m)Y?y~٘pvVaȴ63ֽ,BoL OZwa҅RD>/rCD(d,33.[͜E NkA63܈d=֜'aMYՠ_hԱLچ&D'ʣ%4;=(ܸ\Mn?_3 x]G~8Bg Y`B͈\)&ıc!c]"ZsGDG{{Əv)|TB(@U&3|p5"-zc ~FŽU6u&%Z &́he 0*y|)ε2Î ^Cw#G> Xg28M=Ix4~ ?VZ!̖Mh 8{W8ʰ&GiF :4yNwn)<_^2/DbrIqVQe߬ B#ٶ?E zˍOm{)jk8}'[dxfA·1I(VA+!3O|".H;$noɳ?T+r `!Hb.Ïæ&$3yץft斆ԚrE6@/nT&%7 ffs+]dKf;$(Y=>Bze%@wҞ^ԐM?e]=ͣzhcZD97$^Ӝ`=Ѿ]nA+n]y:a$nrYJڢGXLOZg^2*ƤÔV뷿䀝^?c‡u!ypO_$WXЊ\;6MwjIwebgBS,Cŭ|< *9E@qjƀLGw26"G"{.8=,&/77d{hr<}/Ls]3Cz'Jxql>`Ȭl9Q^rfXsGB'uTyyx6!G.޵X9U" ae=(6(zIT2ש9H3#]K=qqDb%>zNa: f 0pZ [2x G3sJ,;*Bk: j+\poeĝ?II|bIdo )47F[FM6*=P"K̓V`㶿WSIRÎl(VGӲ2l|㈷=PoUu_,Qq$OUyu`^ #IaMat91+{uXyܱtS.Y,&BHvNڨ6|¹9;?U%pxJL˨T L>t/[;?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\L8`9># 8b9J2robP|'&W p uZ ܯ&,"\£.3kgғ+ Τ?'NxKY:b֎Rp}/yY&-lb$IkH~iIwr]73Ĭ4=K`4j=8)' ~8ҍp s;-;F3Q8R,/j8 f4Z=s_$}8AqbضfODfB"96 NbN}uTrZKZ?; ,@Kd] o(Ck)'CuTX\)ҁL씂FdK8P̢2@Zw! MfTo'UŬZ.:Q(5]It?hMN)^NڃjZR\ؖR-UÎcTMvtO"3%`#)BQqD< ,$+CR \_T3+\%V~W7\íX2vEM0#cgYZ %b$ TJn6 : } =  y > ;b# o + Jb#iZ [~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 9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex G7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex ~C3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texiEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texK/G= HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex "#z7s/ q & q 4 e ! ;'i # r 5kE/E1HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsH@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messagesG>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markupF=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/filesEC/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_idDC/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/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'@@s~09~(WR.fϤeY5~;n^Л&s iFgX&2!u u%x̲9dK"1ZEmA \UU:T5ef- P-_L&j{I,كek|]='`@GFEWA5@9%K*4قx" U}4:֯*h#Z }Am~lsU8\Z Yu ,0w+Ӷ$.]-N<%zsΡB&els^TͼNq_kkvx@B~oBO,eQaP~\KOϫvۂF2' hՈ' oT?i'8)l ;:qL> o^ʭظ;0BI1Zkc @N<Z2SpPQyCd"H!+d}j_QMLN-+Qّo[5o@AB}F+۱T,}^3ə$<$kwx}bRי:ǘaMXN<`g.yxsK&* nZÇ YBM#w2L.bU8jf㭃T& 4NRƄ^Z]Mh|pC>P sϞʂqae)^r %G4oSΈf"xGP'أxGڰg19mS/\&`wjM,T J:DP@z.Քŀp'ъ. FkӶhFsG7I&D$64 Nتy7o FSsMU9fw`d/z5{4 rQo-7pSپLI1 QuX~vQ~ tM rٰ>KQ#[QKD.e34$ 4ۖۃAcd1XB Zw@SF+R>+2ّxȔLZJ:Dch7SoLǸZ*nwY~32:a:n7d,* w9[bCYH;*}J݋5L\1gAdE$. h>YL2 oI.n'pazx>,;Քs̅DAt[ԅ(\M z "}"Ěf<ŔSeQļG`wC(Έ7<:7l/b2ho]]R@RVRo`26P?8}̱ 4b۪ I7bK#}9(16%xN\!~R3;5H}[J3CDyKw ܫ jdjڬJke<%-PqhJI[;}I5e }ܹ4.8>s_՘s ?">15xfHҖܰۯ p6:}oҐ$jFqcˠ> yk@< XװpPFjtE-Ljo7mT$L EOJWF㫗8Z?xXFqh!/E_r *dV}6I*HlZrM6Szs|LƌcoԌ{K$OdK֬l N2T}m⟰\^6,Nb5 6bG_6 =԰(AKKy24-,'cEq4Syu=n<,Ǽ8%fL;&P7F]_#cvBg+#[gW[3br]Qj1X}PkB<^E)BIBE)}?XQ;lG4G5w՞| }2r- * U%_z/ϳ#Ҫ뿶Ζ 2 ޅ#af6N1tB5']>+U‚fv wNkpSIדr֝?޺vцSWDya'xدv/Ohmlv fXV/(iKS? zV]%xœ#r e(mZ .n[WG~YQe˔HFk3as|4=~SsܛԏT2=EJWg_xi\-Ka~Y>S;Un QEG+3fyTDNRG Mit{/; ~ @xf>NrCؿ aYT@ES@'l?ONl]i"`sSnM! GbAp@b=7~V2D%:o{8=&DUY?A:iNn~s#_e7' cVsCN#qz-Εil7ARBfmY1iq|*Payb ʹ>6!einX_ҡIj9)%a=0[Hov=oT\Ig__?] 5€@Y7 ꆄomM˃|usko#*#>|+Vu?YR-#[lgb1W-D+ 1tA=yH|GwڡRX4Q 8y7ҤSX"孰6huiy-m IG$5`;E26XU'&q@󨤘MOd`1ZAfW[|5IC5|Y6KT^-MZ..=4/#3dPXUcvDӆ)x4Z7Nlo LJU=zH3a_4:2buN.=3zwUڏ>t;lbSr{w0(D͇1Dhe^]ڊf]`,k/?bOS}ɦnӦm3+ݚ@~cbYܩ8Ŝ$Q5.]{R-'k3 4 #n|X|TkXK8Ig#G=uX snƍ>( zC| mѰs!5ȕ2(UH([2r%BSc[$z4wh+۩z(],<~iU3MRv!6;_T\FRRt/$~;sR B;C1TB>; S`^듗!k@,GO?ZV;xOB?W™3:kn& tJpeA`%O}>\Y5}poC> %\e51{] <1YC)9t&/n_oSzx fqomlF =oM3u9u1S*L'*ǡ&A - EKN"wc40"/=7W S[ G$U{u,7ڊ7Zk|# 7MU䜩VFI G!_C0L Q4F"0S6g,g6A®)`o 2 oc7T5ΕE͏W=ޭaܪ`cZ/뫸k⹶dyW{ muCw z8˕<#Ol`'80nt*n% =N\)mH4A`[%kV!&X2y|88%8dVBQ K\ ֘)z5WJ(>]UJ#ݠj;Κƴ1/̀åK oqԜR)G͜V4#3ccBV:ImxRzH$)T&s>ģꐒ*&Ċ4#bxQeM]8(D~~0}YDV&]LqeMFS:d/wzd@y($@+X?TJp=pAE1iwZ:lsf^W^Ηytqo@vbfIʗlR<ژX AޝNݵmS0s Eʺ+rd=fڅs+% A3'?ֹC{TORh=:FHt EJU7 zj՘#JVR~6TzU!=Mݾmxw 2p|WsznaCJn}∢7`jPOrUG5"e?T_Ζ XHW%X Wk۴컯ե3E5#琕ue0C;!2TeG08U/P4cRQSG6 %Hiܐ|m6QxIs S{i 2 DQo{+JC +^Ph{SA9wNVZ FC[E6"{zXG1 ϨƆRXysU38Q;H"-p9*ə@Q,od899aIF|,PFv1-C5~oð?V^/59z/+uq]gEf^ć@t{I*֏9hxofX3D$0Dn[eʂb, v#;VJ,xow ?,hj6Wad,cĴr!MZA(dB0'ɸ&2L7.+_iVrSZ'G-igpho˲V$|S^]Ar\1}B_ ,`54(B<$d-`Wޘb_EkbB9Zm>7pR%R~_+x̦a4^6_fvfklԒs|revpۭ{ԭ|{ND\nLvv#M O"oOY:OA`sSc`uSMEs~(#FVf\(*]"} rc'3rFsJP˝M'p<=5i*ʵ0 gJc]F oRxnÁ^sD3.o+JaѧyUg7fԠ*>WT@-2oSμ8tQclMdjhGV>Ѽ4(1 $6H`I`YIl7z  zH^#c`||1Ĕ\Xo$fz$ctc?0H*۞K5Gj{TjczU{%SS6N>{cl=Huj瑀 Lw`^!6I)_nlMcO!MVQ~67Cx %̻F<WUjvDd]=ګӫ!4 yƜ޳i٪-,SrBXutzEif'R0Lk㽢fw/.-#ꚣsǪn2=@ h:J-g0eHPJ1N³(ʞ7I-'>Lu{C"57M@ zk_R7~s _9eYopfEN,90ÇQb|+>b,26~=`M"-6 ]rG0,+t|NB#Eka}&6;O_2 աƸ= sƘy­poSO(m1Ip i>T;HrPqELVl'6,Zdq l. F[W&]d"'Q.@p,FslZ3eY{߽ ^^Ekg=J,cjzlNM+.f+#P5'BT{_+,iPI `+9S/3 m8OIȫMHk(Y8$ho7e=6YbkpBqMq`qaH8B EHR]leԻ@GZG,ddKc y|kfP-Җ{2f9qڣڡvZtEiuP Y̊}3e (5oHH#twQLo1([Pdf6(@LMY#q)X X4ejMkʜ4)&nfÃKl4i?,9 x.wuz]CT?,reTuwKGBfWܠi&W~"vJEBzxj"qkD%xAh Lb-9[ŝtز;9x%zo8'p;fƆ$AsL=&&F̬5Qj[s^m^<żJ>=Q\0Żf*=՛su.$[PM,79Z&\"/42SR"#Euq> ^TUĿ:V+H^ƏrF#oᜪa6t|xqmE\>{1-a t&2^\DoY{Epn>QIԛJ׭ŋ@,d}bqoYk5F5ڰs|q;-)aHl8ƛ<:&hePҟeT߯Q 8FKxNoO[ǿԣ8RLur}4/V+/Nݓ;'3 O*h2+'3ў0\_&2 ][6;wI"BS\1U.!]b/}f$S|(cEe4P /䔁8IY˽x@kR-F$wyև֝Be,;@TW0r vdE.6 B9frD\- Ed-E7|0w<4I:bڏq 1>irʩzA)oq q*}˟{g28)P rh>Vq*-5_yj,^X|l՘SWI`p ZG8.Ь;UħD$Z0^obc4xpKbSZ=\,;Q'jD:vz=GbD"8'daqi"~zcu8^ C` [cԏ)Y4 H9yZ *C՞hf '*ɇz~e Ie"߂8 s3 !V܁{VqR;k< b #.a{BwvgJni#`eǁ!FkB#_,ApNOZMtqթDc#sH8]Z-YNƱCMio$ѱJbUpֽVSgMU`,ij6ݰŌP߮w.B48Q2NX0qLd)^vb]j%S~KC119+ N0Cui"M_9*2I!m'l@@*XfbmA5!ޘoG@lSwZamuxm/e(Ґk$ɫ-ECdǾRs_oV錁P -h'p^zm)HTة;*3B$si=ɅƖ[T;13i ƒcۣp~Vjsk5J99'ز1$Z3v.IJnBM[~{*}Y{~,ˡAkiHw _遾AYUBdKq,8xwF.3ŠDqOS)J\:0A۰̳8m刣bӾc I.=%{a79 H_IKaaD( /!iǴ`P\s[\mHڿ[,M?( -(tݦ]Hߝ I!_M_<n5ƨ>N%B˦c}r8D TB6O+;$f 4j[4]Sk6'.z^{osy`%8hdb[Q& 'ln;7:MQvsYe/M7p= myЧ%iq;;2gHS `g]f4SU\#ë̩VEWGu|<< Icx .þ.=NS)[#~1Ku_I3F%(%dk>gIXU/UkX>Yq^!qeEr"rgYZ  7 zB /G# |HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! f(]ˠ)jk2p O6LP=͵gl5f&Di5b^8th zb6E3kbOdlB/tL] G 3hf-&xӝB||ZӱQldanlL).Y YթH¬5R-^`t;:7@;¸WGB 2붸 }FաT@ /st!JIμT+)'\EVf 'd㦈{$Zv[7}s$P:rND- `{ԙOh)XYs%@b"x;},y4MZn-1[ Cxqc[U9Uf[a<^["@M6En.=k`8']48&v`0}]a$,H4Vy.Jw!|`-~c @[ו^/xԙW)y`ͱK=$?j#ڍ_ip_ 5+KX.LTů7)9Y"%v!dDQ ZXR"w2~7> uu"~8k ,oY CddorԪUĎ2M{'g:?"IƠU[teR(pPp NY I0 (icɼM^ Cf >:~I^-6T?mf$h.}["hc 1{Omй gԹ2zYZ|q3w^z -'̛ v5p|X@x!ȾI/Jj.4]A`ToG-f84jT[iM1׋-hO]Ʊ d[j,- HWaXZn{hI8B=xA̗*Wl`=etj= =c%߇$DvJL̰ פ7nbCp ^72љxd ȀH5ѳ@ .bg&133N&CW}&MYr֞gHܩO%XN[nDWx9NjA}[e']v_V]õQm֫tOL֧[•*r(Dc^8#714D]ܵ*pWGRI$0s3b)(SPwRm?@G?M",^"#"xx9D[ G-z)êu]ܑ,"gqyD ׊۪K$0ahKA[^_Kr 6m5/ 쁵sn>- U|uK( c98s 5Ɓ#[4pߊdMfxr/3]Ֆo`3@0\F2coْg&WkyZ>{v*\bXw'{+FEM`u`R?L>-PƥSIܨBnb)q>N,9=g{C#p\cct;YJ}_Bf,NEtB2O$ 4! 43f$Q1)zrWhH5JJHenq^oUxJv|i~}%Zzexpwm0/ яԌ%?z~!+S'14?W< \/ TIbȀ0`/҉),,\x:\k0P*P-( UkF/y6'Y~ ^5 !XÊBdO{ *r5a5F豅@8=P)nKJҬ XU5҆aPp (4<砢6ճM/=1l*Tc 23!hy'ŮtR3#P#]򸘊D(g6%< vM.ZD5GSڧ#/108c﮷knx<ߝDpу::]/ asW}DS/up-:ַ+"jCgA/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/files~~/src/HOL/Proofs/Lambda/Commutation.thyH@/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id200F?/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages7zXZִF! C]·Iq n[:|&[zܭUOc;$2&W D-mCUw#-yu{ &]s~ǩsv]㎛$4"M_9|#+aVXέNd 3ڶ@7V'&+m)}ɒ= ܕ Nl~t"P\^zw-McBN1qO|Qt [ESVBv# z_q5#<\"Pa_Ω)I(#qY׭3fn騳<=iUÊd7뭝.֡7X9M`\sjV\_2 H8uܑ@'Ss'q2Ǘ=Qa `.hM I &^yA\ u(BAqi_HyɷvOdf sq Z? jC&;u]?ʸ"vGꁴ ݮ Kʡ8ۺS35cOj1ߴi] ݒQ-Ж8b=^q30]_1=p3$?$T\5=MOϧgI~iV `kv68Aj@al'ȿ%qJw==QkT+)bY$'DuDWWC62C#:X3Negb8e-#GKIqIzD5!PXy6!H͖VRaf,ӞPo`c@?o˭b-ZLɱgYZDs? %EV؅pb=c)wNl8RLg:lW[rCo ړZqcbꪛ5r+jʙG(V!bZbW @kP7a'6"\ zqtܗ,,H 1qR‰$_umWǗߴkTҌldN.sof14Lmo>*Cf A3طeyõ.[~@6 zsoHJv# /PقcXz#h=EP%W>ຂQ;dn{(L{f3܋ dRd@K7@p## cH;;(9]>(sjqő'` TY= Jc e̎M ~]V;# $527 8@2J3dC$}WZtԏօ9RNߥ,oZgg]/K|&>>]W{QVZ]Pi#dPbeiё(I;t/O) {^-o$)ŇNo4'Z~|#kݡ,:f^UH+<=))RcW5^JbԊ+m}ֺR2,Wfy&b['5 v XXz0GRUآ9 hC:9~r_>\^iPk\QWP υbmqO? oswJ+e= ]j35|Z꒲!w#-"GO$E* _-Wv}!7\ Wh) .L,!HFdA.f0I4=n5 $V*-]yfDdO ϳ9+sH5>4JeSod$Et奖=&3f ]^)0@)+e;Jeܑ Bz$|--FZNLfCGջI7P9xsKe Aw.=DS,̉D?_+7cʛuVH}Un3MB1c;zO`L* 7Ģ5c8;3ƑL">ewte+ ( eHH1aYP} >fەu]6$u%=BQF |HvI)hd}KUzvD/ֻ8,;<((1Zѥ0{;˹dN9-NZjq}D4;|f[ŝ PL|d_2vٲ*_V ZGs,m-%06Q HE'1 QfB p1#+^2g%RfVBk}L.Jx]#ϸq]}Z)Dm (0VTkbޮ^D6{\^_,vNjmhA/.=O t to9(Y>lJHc(Õ9 KV" ؾ0a|M6s}Z*;}y@iL)z\C"4eiup!TmDUg=Uؐh|F0z.Z *opqyX01E Vjp5W|r\y:ͽwP9;]=gj9kLe􊸲 F'*UjC&o V0A@ 3 $|zGtƳdpS?~nIsE- tB b%5% *#عok+0[Y1SaBPf~v\Vx*xuzaAĠBmhayfN{,ƫ j[ֻl ;V\`"^eM[%\a6 tF`f ?%4KKҺ9 xp L ~3ND?% צ~w/NbwEۘ-n_?Y ஐ3O5rju!$xR#-9ޯGYs K+V+CwT{q@o(~yYk)U)tcwf&w#\_%4"QU!^gMCǔ:t!n;qM?}rFm)2_  2eG3lP>l슐e^b"8s)2}P!Yh$8,uzng+x|XЮJspV,udi-<%Ť ^lQG^IfrRz/5V lYӧv=<'wN5]VH;] l-t)SA.؃ACX]ٰ9P| GA oH s4W|cĠ<9Jd,6ֹbHO{}{R[lVBD޾@]%ʛl$a\pP4#Y8ZuΣNx'ik%,EOMy7O ([A}un5!}M-#+)mT#vκI,̋o<~paV >H3JۓZL6Hw Ы.NRHs…1@v8ʱ &1!Ă_I#qVVQ*/GCCYZ%JNj]+|E+JmQ&ZzM`k:@}x }w<gXxjf'Q+)eKVOagٜ6Eۺ}۩}Z4UnHʒWgUf5_$c{`++s0wJ"(o.uS6~n<JMEN [chXZyNvҬ 1QǨWXɨRvc2{ϷFr"όK4jǑn5I"lmt躵p9$'RJamkO J~xr 05Q@Z\W؂T=& m#*&5˙/ !A2 Ld 3t9xexܭ0z֘65whҗԌIډkp9 K]- -v4RrBK۪fH~iBm7d^"trՌ,MU:~O*2VPǖDs9f8z4 ^_e>k ;qԅioI@3t7H\vԅ^\93ьM9W #Td*'j⢌vov)6ýZPhJFIbr.xhr/[287 >nj^Z`)R #SDKw ƞm"߱L9o,|8Kt CxEp<[h5AA(N![ΊC$,nK6딦eo?Ru &z+O [Psf /qč&n5n4/[]XK),B)xld >i2B4v[@ gvTߛ묋s0\qLnku*X`[[SOXp ͣZBZ\keV\?xDǘݩ@uJ[Xu/7ΧÚL?yϱ$ʿBe+F]G&ň\;\:#/<\EnUxH t o7;6!n.\fGEm-f bd1M&B6ԝfl${Nmoy78r8ۤ+-٭jPLzο_.&Q".I٭'Tt g-Q6k+kX4a+1nH$k0:YCoeXr>HӇu킰ξWN,L7(cPcXejGpOds'orYf^cIcPM# -VAMOqX6וT)g:8"a\ApɊc}9*AJ1 ?9,6uv5q}[lʗ| X,kOdf~JpkSuL-%>nz΅YldS,wd2OTn䪘'8Dygof@a}%y۶j*6]*V8\?=\KDx\r ѹn| nl[RY{Fx6n0u<֭oPKmV^Zxޘͧt5-<4YazY2c#@bL[m{) H{8_kE3PG w~9 oqN`4⍥p{7ldOz &>ٗ@\`MhXUіniPrr !kq"+,BRįQh,zd/o?Dί.wӰ  v>-/s%cnuۓ@)rѝĸ\sHn m5`ղ].&M6%T8Ml_IW&4"/)XDD:">5]t-~V6)nyuT/Q2kn'h'TKl ͪ3q)9 ˌcڔ ګI0*) 5FG}vn<)Rw>xU fN!CGڠ@]Z<qK=IPsCLilEFXu L\&Y!8)Ů2N^ mxxkv{pv}=xqo!hզHj+Lt^18b\|Y?tXJ[#f5ПZhImX&}fLA|kh@qX% Vֶ);cAJ^82,4hNs|S:N60 +gOun/0dg+ McJyqDXėT;,m?>来0މ +Ŷ?a?KFȏA%|Y$i(WCވ$`h-ǖۣitWI7 >E% 5+ "&EZo~Nd̽n;@ ) ,bFHqFw8;,B^\U;q$n+?>`\bO.7}=lZԿ6/ƍ;!Q-@W` Ē,.eZUX,0_Yyƈ9]"]s<@5dn\ GDTj0}{Zک;8I}Ů?;d) Sh>&N#`R4;rz_*6J/F6 mֽ݈/~:yR\؂:9W.i[~BHmvo5Vma^>L|%n OHdx:WL,yi!$ryKf<ooe^QmTBV=;4F mh)Tk"wQ+bҦ'w+JɪfĪjr$7]-#;i)ۮx"SLB'W, i*'sVBIt4UqRUQLEOBH5ȡhS yw a\۳A %0lXZ *䊰!-fIg \P=|~*Sҽhn؋Q0S ysG$@q;s3'Sl"'/ "/(2$d60/>+~]VpW"v .Ѕt+ld11R*s4A/SڳIQy{ZM|%'v0@e'ɑ>kX" auw(Ps3*jN(WWk]N++-~طQF#gEߞ~&H/&Io-ϋRkgYZ W  jW\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML"G/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$bW='1GO*?q)seѺ6qv!e o<[,FTiedO'd*7 SaB;e^P:D;6Z4teE?id:#+ )O((bGrr}&SY-[V4puPfU,4tSŠcGo YSFD6}E#@xrcw%|pOԕƪ O0Ka5i7+QYm+ṆumpM*FS:Wɳh4x+ØGEHg-3ߚQ߳@_C9y r&: XM~K?w=zP$uU:҄c_`Ḣt'ٺ0)ګfFgYZ}F /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS.^sd 噷oh$hsch\F紓vXѯ5IZd(qݓkٝ+EòJTa1!Dq rە3˫)af&یβy#5v{9ro~ankagm^OggU۸M4U.p,hA_j|49l!"Pհ Zn6gHJ^;Cp;%Iz|N-]Y#/^\U=k 7ħ_{=ӕ{s 4M1;7^D">qbk?iEISVֺR/E$ƾ`! cO zC?H6oRfËB @&Z6 8P JYfo(KEa˂ S{.™yo!^Ү7΁oN*reBzxϠ}2|6wQ)O,}LbcD@([ןtBWr4RyFXx?׆bWߤr2~-wNBA=ԉB枠 5=0;>X>72=yט~!7 ANiԼk}إvXxdV TY$Xazr)b$J?qu[uI 2=V p"YLGTw.lmh^Q Zy\;3dc ihV v\(Iç>N'a]0:F~5xL) [ Y2[ҁ^N3矄Ya+T}7P4dzP q*}X{;%c _1ofx9Tx[en.tgyG%j ufeTe{j,4R{ӹ {B ܫ⪭7\l 6Hg5ոh!uWi?CNMAnk Pgk\mY'ha޵6 -ܡcG襗*{@'y:vFeE/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 rq8L13ܪuDI` -eu ꩘wh~)'K')K?M; e]TJ#AF?o<)X\tTԸg1 leMEr"b,rەij[ώٯ] _[0w&/{LM8ǘZl^R$ .lD+IKo]~:<$+_QˆaBp 9p&HQ6ύ.$0Qe:t^hިoڄHCr߽I (Te69av1$<#u{kV8P=Sɬ욷P3פ"_QKzC5moivҡ׈v0 QMS T(U',CìlЅE(ЕNUBCz\6u[Ԁ-!pڽyzl´zkJo: ClnP L&Y) ZQ}H'NԝWK"G4LXtd'Qd~)2Jk 'v`8@UH;hQoݯ=3YĒSԃyH8F mE!L9q wc?Ԥ VO(C{AӀT?دJ[M,> ē!2<ڣPU:nvOʖ9^L'4OadMLٔsLtO$d!LVڝM/Nt\z{ 5#4y3cگᯍIҤ[lP ؒ9C[#(}v9X|sv@DX-bBtocF֢VӧRO!T+nNSﴘV/%vS<글/)REFOc8 ޖC%2vPwoŞJqGE(&"d,m> + HGAՈLUbp @Ϋ1G!L iذځh@*e V /Re (_d& oo^iLb`>m)҃U(3` 5Gv#0O&u~Q%lnƙzf*O=]껼FJwƵF~-sqW3ɇ$Y2 Hx.Y#V`RYP!}ck3PsJ5$Z qE_] GLh`>s0+( OJ)5}:i-#E0Q_"…?1\%p)uו=1;=nHs>hJ̑gN7(2O>7m8/!s0Ƈ n:o8LfCV#b5BB!)9{gnP ײү[g3)/$SAdQq;;8:z>RȈx~I̼!Qؽ-"%@ zWR>9N" Yn)g UQ faJysd1em`r%UcO~J.:fڵ0J k:h\L[y1UQo,aef2i 2?6a\rI6s7uBׯ˂?8{;٧!R~$OX@cݎ@H~:39ɡ,dju_ΥeQԣE l#_-n jKPUN/XoH/yF sN[-35^uOCOz]5 Z2Ft -|:"'(6́W9MPS߳&(^Pxs+y "UԱ@L:$o ZX&̳tv{Vx*∸ PThNm@&=7P3vƝ1w==pSnG«&f_'G֦q;yWek#x?$f0֝7!=g~D;jCCPāl9T5sj؁Hhn-Y p-ݟw#Q]i[ J'Sr@AțA:Bp:[eіrԓDEQF}0!rWdMvْh=Vm$e{obe,QpH"HVe!'_bZ5A3m L2 3RB21u-m1#'j|V\a\PPJލVy_ceE!dx"sYr',Dŷ3=i"f4m0[L_(՗Pq"cPqzRJ6eʅC6zC{ + Q'>8{{BH^չ92^$ǥ}+pʑtKd IpDxdz1Ŋ*" wƌL m7P3t%8`P ÿ[xkMr5ƽM`b:: 0b7X ' {JCè 8jR/W4U1s 38YjpF^]b؊E A'c@/(-jD 4ݬ2IpEd'K4dѱJV-AI+d<#[f.sݽK,5"(tD4 :1^g.3m)~K[ [+^잌gmԠ=QZӬP$zӁ.W>EK4bMsΌ'FfccuRV w:-nm_fADEh'y;!{j1@ƳA xۖI#N [K-F2[5~FFA#szx!:F*e6DF9G,TD x37>pE2|5CT<ܫMf{#! ByPP4m[Lt>c_`8"Z:1<ن0[>=? 7JEz@&vw]}>@~6 OwDGrL^TgPLg?i0,T @ -7 t:5hQvr3՟y@~[]V[).l{~iMzP)3oҏQû Z v,<0ix&&*J5P"uJ BQ"Iyi9̔KnE7ɡ0zF $DTIθNQuГ+\du[g Ōr3k]!|N鼈X)";8&jps+APTK@Zk@ b4]q] ^|XUвsQMgYkptHUikt|h(oZ"1~Ȩ`'zhXagE:cm32?ly nUL έ2&f)"7V̈4NվsB[p ldw픂uQxk"Z-4H_vs6.p䶬8d.~J婱ݻHI0 ؉#IS0I9i ('kIOV%l0-%|0Q#8z'x+r*y )r&Y|l*W-g,xa jrw=-5wsvY :yRmGadS8kݡS]ND%~$1h{2㿻l3Z}Wq{(hrivfgli1çuq#u_uCw16:zR(=pzxRRZ#+RPQѪ\|#R#hr ]{b{;D/_{UgU9,E(b#Z{N->x^qpIJg :?E U[ŜlR-pH}C^@8/XE|N2,=XγG.7c>?Ϳ*wMQnc[N^xy-qّŷ{ˀ?tucM"'sT{8|#XMGGXqSypL7\ppR;{hw4MTER+y3C MZ\X'41݅`D pkk qdŰY^=r*Z;h? EAgGs7`wɶ6 q9r1z AxXR)îm҈m"8_v 5Tx dfH*^J9X-z+#&9*d Xpx"WdOCN TʣJ, h{c=0|krۜÏ rJ៹t/Ø]omߴ&*r}ýל 5ziclMDN `] (uב]alCbY:rF5װ'5rS$ڷ¢g.Ȯuцxϙr;96M?zie*~ZjRA5G tʣ"XЌIٱuG&@JPW@MBAN;%lZzMa=l.79k'+ӇbH ÏW߃I# _q P6-?TV. Au*lXPKa&jp!̣+s]>m:w )?N-$#W2D}hTxA GM )ld ZM~c9JgizBM[شja hZcw4*(݊X(ŴjmZ.5S#Zc&-++{*)WpT# %@蓛,r{W5( \5~ɼu5P[AO!F\ )b`0;FO̔~v#!xwyXPԼqɩgP 'u_ululttaH&nVZll}J=Ǽ9 bL 4(>wQҎ=; Ngn.aBuq wR{_+Dħ"͒r X*۷$yD)(ZD͑=~iI$wAu׷K7^HVRH%zQI*d^^<+}H'.f35ƟVP^2`M@'L?}IX#ŬNPHX+u`9NtYRhSFKc?jn0ަp6ļ`@\?Zp\Z)ĺ)ǭĜ9p($ {y-%dBjJS8>b%H۲Ձ!딮(K[9 VKTb9"$._ F(| GgڧeѕϟJl\GÔЦ<{skhLm9VMYrm;خD#K<5)VP;u{ {E:\488+KF12I*eSug2v6dRLC=pUL4>&a]1PCq HyU9DÐZ B`n8c?qHtu|SFq` :Kd@n3IBMEZ5y_ը$ꇷnOő:h1żeȦFmm'h?0(I/T -YfD S Ncn,D'f_4ƘUCmG30xǑ `PvNKӦ=P??A RQɄtΟl|A#;р%v74=]N 7^Q8]>YֻsȖ`1(bBCn= 9ԲW煬HwsY3mr㕗 {= 簘tU|,;+ټK8c9"NϐY",=LҩCN]yA-Ѣz 9:N=sؾ\:/B=Z}S&";vψ>'SY\w$ɵ<7q~w^;({1Yqr5t] ~$;}!h\;G5yƏ&%EW+ttfTC[dOK~ڽ5a,.? p A:bѺfx֙ a9CmhqH;}c4_`^OpR1Fc \a ܋jNj72YE.;YQ ڡnܛP;NS{UYCriwLTgc˛4ь:u㽩Qo;?* 1A4"TOm/K 3VD8䶲 B9 MWzzܪP cz—t.Z;"(9r( ^I+5ba#OϲP0jL|mzn~˞)6-}le$ Y nX+1T\{ G>=D1F|gvw1g3L5Bq8'n+ LuBkvٜ;g;_O^@ $vF2'r&"]S"IC ;7 1e}qkPLU"|ndZFx\VKOa񣞻큫Y^aѷڑT#.!jT?+~(Uy~62W[g͕~{{>k9.58z% eaIu&m 쭧N:&\P)\ӗpUhŠjtzzJ(٠]Yݰi]k'wdm9'/S罰ZeC4ig&`ch 5-\_8sjU;ԃtL C88.iJ`J AG?rL )U}pV1 YSlY *M÷pV9<+sMuzck¼\M+Gĺ*_e.Ei `}h2x=1mspD JR!xPQ}4u_o%B:ZMN-=W_$M`>;c".Zt1q,j9hr)vl'4aqCܐ?[5SXA8cg XگG}'b즇Ř*ZT8ťIIasw(F;뉭Ytt)of/0l(VL^O+8pjla t ݙøNK7$V\uAݵ,ᱏ bfPβٕ_=^O*eMdjW+ÒC{lӠGɢKx?3zG2Rh]KHͬa f'<&-9^wƋ: S "]d h WFA0QcSOޅlxgqGV*Ms`ەN6|}M!tzSp03!U'ʪ1)>+::l6=_,^ry :QS~h%,29G((#˜qs%j(\|"Qgdh! \=}X` V")y R2"*PV:$ 94cuL+x֗-jmt5b,k Ty9yjD7ՠBy/°&ֶU,FFeӰ턐@w槡@l(q&~ՔJ,,$̤m&mN+nY;egC5cuԮ]i[{WYhS;6.MP0Ϣ;}nIyɔX7⑟(<$rڮ,o;48~U%<`]Bc$N;3dm#v.4K[!fמBS[fQsVPXkx8p/s q O+f)wS]E^.xa6JI)~ Zd,q1AfD0aH.?WgSd ~7Ӏ2ҏgP1"UI(3x"$lٹHEw| ځf-<8yQ!*iAӝ @vn}~ұ-Ǒh2| Qm 93/QŰAb W*+!iECѮm~ Y+IoD 4 5)]nTU57]"c.I3dT|*h@;BX\=|$=^tJ/~i>ޤ}?Vs52X7੓B{NLnzF\C2Otsœs"_0<@[eus4T9< `q/}gt%f ,F|e+(H+ӆe 呺۱bZ[og@8#9/]⁙FBD]myo{# 1>$`~6[S= PeRp|:BU%:'hM_v߰Wj@Rb,Vyohc A`0 TKp 'Pr _^K%i!8l}]B)uL!|!D 8#ʬ @瀇 /#;ћ#L ڞ|}5^)L9f=pOaIOgVh|$ %TE2>A۰ -]DUL12- XW f #ֹrF%ߵ~;΂ (or2pPvre6U!GWjrMV58Aa%@MQ=iR9x] IuwyjFf_q ڏ7x)«V"o2̼K4HtJ c85c> u ͇{3NOWQj?5T[_TW`AAhK)9mǽHocS1PYb\Bi@($[qtAq=63gSԁ u$m#Q/p0N5n,, gYZT-҉{Y$MI@/G_ 80q1#Iü}/X?6cJ◣o`ěd3S Ҹ~qatToOﰿYN[7K]0F0V2iɴ Vy64>`^dZnDI<ژ#X qهU|z)IJ qKPDra)r ͕,x V!]0Bw[#je2IWY;(]6p<+Jb ԺJLiwi[i5]ڟCjB~9Xc)39Bl 0xĜOep捅z48# +%bsj7Ϙ؇Up/7^q P"QŴYRCEjb-dpQZ|mcLauR/[A.x*GRk5XZYNr>Z&p2K8\GK /} ǢKNIZ6Gˤ⣴S3:1_3Tg_VףCK8-c3v'>"BQmݚ'w e?hTX,1LI]VIb ٓ)Fq17!c:t%A:1Iy~O%jgև~X7ZJ6*}UA3yiJObʻ&bを(ݡzfd$WL_s6rA,`BЙ=#2AY.]+ [М~l*m<>ŒM#3dVpL qÌ7N>mثˍ X9 ^M A)ĕUu/}E>Cv:g*@x̓=4;S)ɳsi>""YW匷aszˈb{A/^߾C[!;1!mGkdS@[q|t7#]>dk9qI`$?>6J ymByKҺo|_ >?cJ R=7HQH# ;G_,/\Yb.o?S`hb{2ASO~(U =nGi('hIX1(t7:284RQtɜC\ $[CQmkd0l,O"^F ٗ`C:i,Ԏ;T2Ƞ/l G !1כ+`@ֱ<{ JJ_qmn"A|g+E:a?PgA)q\Y oOk bpPJO;,X7_puтvff>{^BiiF+mHH'΂ņy,<bA0kKq}J5ܛ8l$ "- #lLdj@z2q] IeYD齯F)7y+L6;v+0Փ4uIս+YIAC=. Ůg<+E1^`4Ϟ֌βo=5|z`zDljO/%`D;LImP̰}AGZ{}~o ttB'>jGUon쳡iٖJ| zq&b;`F.Iij,d`lMB…7GHa=Ҟ,H:l+^(}qZlP8WތsYg$s&a^ n&[.<OH|V?.ˍ*;wޡ Ъ.w%͍^h.`ե2sXRNߩQ~Ny`K٩s;<H.icN'U&0}ߗMwR[Q(F猠ku1II>c=u-Yntq?3du2+`y۵؏=RF +3Zcl`i/t2ߑٝ̚ȑofaF v&ܻy+N N^2d j]ψugST7`S X(u29Nx: ~E/t D?T/iK P^i; cg? J!}Q=R(=MWÆ KVdnAzExt1G$otg䅧lDYzZ#;- fs5L2#C_ڥ@܁H\ *:s&pZTv' 3+*0%XʇСkgJL]<VX7b;FI9(5% }/$c8X>4!=g~NgBC g(2Aa=G< B0)I-9m«+SA}D~ЮտyjmŁ܉sX =qWΛ}="7P%_ 3n;ŤfYDAvLA뗨dZt=a, I.EY $^ yԇ$oƯ]aƣ<