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 o/v\DD ]/ HOL-Proofs-Lambda:threads=6elapsed=98.935cpu=117.672gc=5.6767zXZִF! ]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߬9JZ̄^&oo _[z}28OjJ`Š|Vi9 bji'hu_q(YQ*6 GdrGGt1cGzXy$D{`-l'.Qsv^|Jڎd%bIloy0m_IЈ`}B7py|ds+> O(BMZDdpHnO)rZ,rZEPF>ÊV~ّT67b̰hFdσ\,7XVp-0U9}]XPaoVك_=(P4Z9)}|'^9HlaV8{:PNBg1~zKOxqw(" dt#mV`VUuw Ga& +sS!iiB5 ]qȭ%U-tfvd|;!5|.eǩu0lQggg Bi {s˟ 0*dMCRO'$"4OEm8qWa Dc=)- g9@ _̳|tҵPcFG. E}4n\1Y1o-J~_Ƴ T?h i'~1rk_*kPjjT4 eq>p},Te[ǥބ0qij;kNd%9'Nu);sR 4jvܝ+뉷?NvFFhKO1a[V:FQbP59MiEUGsOMTb8<,LĬ#oDW8+|:3]ٽ:}cOaB= I / HOL-Proofs-LambdaEbdaHOL-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'pDDctBB<>79443110.,,%%!         > n6 : } = y >  o + J wO Pb#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 F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex T/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.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,HYP^=݇B"d0"C8((+ XXYZ-@_֌|qzŠ@꺰l&L+#8 PrKIeѺUI,%(xM^÷\9s2HȔDd=P!=bjemċ f۲' K^yy{(F-|0hQNeJ(&qd}a[ۗޕDmo;-Q{OFyrZBP霰-\󤝷F#`]u`~kh#M 7 z fNA9t4_R BpS ~YTcvMĞ'|vX?-m#kR9,VRk>F3B}<x-nuol`BNIuMTՙ;X1.ZOJ0%8v0TI(^ >vU..ٰ(:c_DdF ҙ@I{ =BeЛaw]C3:+jlD"[ 7`^Yh;X%(4)FN#%{)\6U)LC=SwNDp%A`8+xr0z}>`e8WZaӜJ"$ځh'W,!R_+_i-O5YS뻯nj;N`:ːJwqjl\푞Q9RXa*_ .ỂwW\l?:%cxOHt\HIvyqf;jZi@쒥y-#r L:ȼ~\x@Cza+gckXuTE w@[6Yap%0u@ 1Ajw {t @6t&$T!(iWuGO"#i-.kkljˮ?^J#% 'mw-o)\3lʃ*rc]hWfRetq 0<| z+Im dyߘ+zhxmSZvYdfF}FjY$/=ZۂȈhy1#$@׎NL'B=zVc3ylF"G։fWHמ)^ΦED_tw=Oٵ= pq^B>/0~R"BV" n+J2 ֪K=9[S@&.dt"^8һPJ._Q "~*7}Wհ~0B8lPb򁳘:aKQ ۘtmeIZ=n9mx--m[bKH$R+*ovŅl/_iS8'Nm%p. 0:FQ=⦎kf$N0,  nQYYރ|f<Ck+䴹NMd Ҷ;uhOvqUaȪ^Gu+˥KL&^jȶ鈚ȡch|NKi1 !!D@x#>,և L&FUhn=?JocpRK!΢PopZ,@ra# !O=&b6q5TtbYg7I |$+҇ m{zXoVo:-'sEzQw P2i?cوi 7J'=pPR !8mJ"`kyIz;{7 VO׀[ApǡC:lO1HE۪ޑ`.~~\1鉗,γ*f)0[,ݾZ,iU,'`@(}V.2_4 BuߋպJ^+Nmxvst~u>׆?f ^fpW^9,1:V{j4dȡ7*dEAf$eo.La^S謎Dӌ{iIuCERrrae/@. s?7 6q.HHL A-c Gh`CБՠaw3{_*2x;u#qyAR gwBg':o9bv7kX-y+;DU@K$kW )+Z3|Q}6i0*zB2=~hC!eq㈅Dt ;q&09 :.+t5 6>zy˗= 5bLlWN z.ɺ=uwBHNzLlsX s65I_+a6πJ? $"Va@)19#_P[/xkճT[-U9H6QaDgOJ*CL:F0v¿ByIdxk=?aY| 4=jQU~1ZA2J ` Vl+MΉGq˽1dpLj- kQ+[ɍ.ɮw?e+.A9`"0O%68r|?:qt ]9OuS/xUh,U+&svU4= 'FORCg)brt%VJn vy,=uM|:ݰP23?wYDӲRW A%1x+wʫL|v7s- B~昪X. Ҥ^єT k{-`pcrƊՍ=qʦ!cM*0K_S[~wui{^:ʓVĀ7v ^փlGs\^vm|B `eXOY7(gx/ot\(oP-*BfeL 1jẄ́PQMg@9aqkݴ%OTߴT?"ʋ&?)n*ګn쿛4R0kA/_h፻Z+J\@DD|+&;H?Vk7J 0v&ʗ]027fP kɁږ K9pZ#,T0E>\_/M7YcLt1+Dep0iF5m"k_?b-_X|-q@d '."4Z:n#Mm\sH$MDuUL r&f,KѵEHApa5TK۰{W/Ex6udIi\:6!^ dޥ'=bT4yd-b9DzbHa Ɣ֢׸"ÖJ}֑`#ILlewcX9q;Sf.1ⷍn%̄&=icΔ8sY]|.ŷgYZ ##R/OE HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex7zXZִF! b:]A-MՋhvG"uIBm5ȩ<7You_&qƺ=n27+Zv>bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBfҶ!5pDr\ʆI DֽV\pr',X⃹ X`[4^? <%PUE1ȃf;_߿ $FøvD5 DtOeHSߑx;SMSJv4x}P"+wY RxF ! )ot8-N+IL*|آkkH@ҡڕ@CE(L$Nn"ff?2ck@Q+PI T ߸*uR)Xf*]7#puش0{O=[j9 jk&&]C+Tvт-qLqCoL/+"ARvv7q`Zmp7+JCz@)y \/Ev 8Gs{Wi2 b/mפbG7$OF0Hb>m`}l/S59aclr; $]4*?ثb:y93-4S} @%_@< 5̲̖Ɉl@($jN [r<r,<0GS*shMͩ竒yX83MzSǵaնY3uƕJsj{3kΛd#]M)\{?ʦLhSŀaϱn[W{fbd]@49ӊf0dɊ6oA\]57o>q['}pVi{a TxT#NGoxHfh0#mן71eݜq!赒%YtgS^2v]`m$&^?kc"k_˃$RY F?+%Q9g0MW8ѐNZ 5eNtNSwLG.H+rakiؓ[7]߱Z⧪b,r9%3Wɷ_p u(ks߱$lŵSq!&e!eɼ㪢hĦ5a~VxGCeu0wc9ͿWf>lS2xڃj a~WR[?uBjI_J4FLcE _yf.:&AW9 ba`Cp87'kp1,VqlRoKk~kp$\joXGU{[fzscV8 h52֍->>R.|-#Q+Z2E;3ճa4X} y$vٯj_o \$\w_UUě}1Y H`a@-c֎ sDp?3Nx8AӬ\,z: pMRӂ^t< -i;&v'켨䡔s0*В ڷև"6Դ;V,Zл2@cdf~C3~o*hl[:F8n23Y.`cq+:⳶1}I1xt녈i|/b]LZ; +;$ ;Wإ>qK<+{'NXT2^}b +4XSFWDM>B`*AE(iI'e)wQvA6*Ls~%Ʃ"x*r1_!8F Vt@|~6wj~|OY#y<SU AӔΨ;w8o.5瓠߾#$qm%^V޶}ƞO߶@QgD~5UNp9zsJAɑ (L]hsb^+%QSBF;!s :uD}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:L{XH ,Gqq\uwQ?4ͽRmb;y9Fs;gaİY)Z@~pG7lRc2;,h\HYm=wr=vxz|2| @v' QYVybb'H_ 'X/7ڬmt, XîgU|hHr}a|v0ǫW2'lLɯ͈UdeTm.!mK%V.buA{O9*s U4OY"&ͤ4St 'u\?e"u\ &QB:h6aإpKwO׃Mtn@Q,11/!l锞.fO>b >TO .% \3) {ך1{=lGb!!VV4:+E2y1ӥҞiMAaR;ɮyPam~e""(8U'#.2!=1Q20մe˲(NI0Ҥ6uknn ECJCsT^$86/=0:+L'-V]VX,;S8;iyO'~zbǜ_>_o+=B\'yi-;شHvMDt.FL #9p9+;ÖL~ю. Lq5Qu\v$.r5׫!mUMO5.@),:~X"X6Ū_LA؜Wًz@mK~US\[R)I%-s@A*"L%YKm_; iZ@qSL:%jVNyu:F~|RB)igځw C4W#76ajx[F%T^rh Tz#͂M?{q;Dg $'R9B{w $otxRlv9MOJ2ZB&)JD1YRu]>_B`LVy>n9|̣Z@|VgN않V1Bnq.y%ɰܤc-bA4af#u[*9жt( ČRNÛ4-Y RB nLjfMn‡2zO&b 4,eLhrm4uìH`.YgYZ l /CE DHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex7zXZִF! { ]A-MՋhvG"uIBm5T6Y)AEŘmUVˉtѻ;"eֱf!l1ƎnCDz{iYQG -;hXȍ}BOym?ƥ\Z%ҮoA¾Ԟο+^ޝVzAmW>T[ (:mtDY [  ZێqwS/ 8@Ldc۳!GLpp_d^khi)S("DB6:;w|nZK? 4 =GhXHrD+1?;6lbm] jMEܟ 5T2/Hds\F1&W::TMZ]2Ӥ=° C5q6F'C;O&64тhFpT<-޿72)~FFMw.ruka;yL̨l0WTe KvF*LUV$'s.\mG~PŊi0#rcd^eӣ97Ӊdcv|qprS_O*BHGIMtaq0QGGlVVo?M`V;m 7FjR+dQF& "P,a`pL4;Vg92ZzfHSJ͝,MI9; dbu4UlD3JXdbT:Y=e|M`7l X+y,[La:/ď(rHV ~'+E&e@kY{1MW_`R>[8% +x+3<9 %ę|36v EBD D{tߞ5PZ;~Qc?INa{IsYO (񖁑SL6Ϧq4puEV (< iR^ A fIc`i_pW-XM'(mW8\,䧸GQ'H;;wubhK1|Y`dпkrܣi>EsFxH.qg v~"%ۂG(Uж J䝧k`S?i῔Lkx+v]XQ Ͱ_x9fa\Q pLƭE@D|s0R%C+ƀ,0A{ryH&Z}!mw}Jp2'pP)ڀ^;U;ϋRYmTA5#BU: ql˰h\7/)єj ц.WjneKv)E47x&4SV0mP-4rxj-t[E4P!-yRtᨉ\|MDCpqF>t/!Kp\0NZ1> k"R-]oWaXW<Eǁ8JK\4l{$WLnڴ1} gYZ ==@ /=3 HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex7zXZִF! RC;]A-MՋhvG"uIBm5D"~^2{Gӟ!Չ:HH)3*fRB\[ ْ;~܈`ndA8fta5$G NGUz\(uV cK@LrXRtU -#bgZ8=0O5eR$ We:\|!E[{ ],zBZt>-R*{xUP0EK`b2Fzg/6L-+I"M+tEuB̺&m? ʛ63V{h(E=m)ݿK0 u;x>xu@]D\a`5*` ůzkabTq$?#4(:C햴' BzRRE!sO`.~KtOr׃5]iiJm]pbW@jQr}0t<]gv_3[Cl9jIEl:-[k^J2 ͅ&eB~1Z@.p{oJiSqp`;Dv"E)\q2SI\`w cKj?B5p6dFIFP}JԬvP'7Ǔ{g:.UQe\SU}?5 ƅd*yTTui(B o<oN!'MZ@QI+hx,vP=OPlduXc%1 x.x 9wb#G YPBC~ײ-fZ _Ō#vz~7V9#R $d[g8&*E@?(<`:[5@͍|L,]65Y~WiK[nϮ>hӵssP\xb\4 ?ȷ_:*m'&YG/5)K/W-"Oo^o`6WJX `AWB$'8Ĥd˒gYZ ( /A7 LHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex7zXZִF! D]A-MՋhvG"uIBm5grw1Y厝8l_ЩوB]O߇eyˋO˙G8 oCrV,w +t3}Pub<5K]Tp B5bBS{SSǝO!PG=9N"Vz10ayī,0okWXSn9e z&Ͼp馄0y{{CB@=|,>Fd3O]>$p%oIP =be=`E.ynnkW )sC$)l <4S # 3Ev ,q1z'' lяX)K4`3/QParHПJ5O>2;|ASį\54Blx+n*F;1fXVץ=7 ,moV@R~[C(Dӏ228sLn9= +ۦ<e=Er%vD`0 mfar Mh0sp% TUf*C]IPqZLNEGsj[̶1c;ڕH 199I7}bY (MmJ}d8>GjGҮ9+qZurh*bkMc:p)~"'k ᛗ&cϵp_5{iuc[Ȟ>5Wݭ0=sbvv𴾆HW:%Y6@=눩/X#h>|,lɖnfև;aۤѢW![$o[g훗P>&1Z9zT}'r *$.[E,px{9 2OU De}\!'K)+r!stWv85Nw >˂5NP-vXkKAd?u_v7M9 X*3ʋJ',W;c!p.~eu xNdXSR-wBݧ;rʤLLAȽb0!Gʙad+-]}L7]#rbrqv )Cט F6>lA  ^(=e5!v_,^zD52H:˿s)7׹_|5P^hU:х8.Bɖ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 H_Hg/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/files~~/src/HOL/Proofs/Lambda/InductTermi.thyH/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id216~/=' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages7zXZִF! ]D?7 {?:fH\L6 PrIRTv fq)R?at1Ie߫ԅ]liq PYV)m֚.ص7 m=rHB%UdAs1i" wŁ%o3)~ DAMy _?[$tedfIK0HS7'넏ٕxzA 9)_iak\yw;~c5P/T~󽮃>g7Cp2~׶5ogYZu /=# |HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !u]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~?`s#6Sfy'NMV&+Ef%/d<.R7LffguCM- "Z.T:ԭgP[k=DbcfSX)8-pmk<􆳶.'BL=Vd6'/.K lEsT@FXey3]aV̸y}%)BlQ>~ygɵtퟓlV]?|#Ūw@ttNSu38cg1_'vNxe?a{9s*>Z(Ix#,qs`TF8ݜ񫄇Z7-@~ e6vc} k?+MC|EԚh}r܊ӆAnGIۻ+uGZ@!?O=|f1r9m[M7=,T/:itj0v<< _Ag~g8>3<_kY $JmmΎ927\R99׶XE㯖Y6 3r|T;uOAai:mvAE[CɹDc !b!"nlKA&ir(`Ao Ywn` 3wN<8Y0X0aP6;xGG!15}i)LRP(ʐɡyYdԯ$X[O6/ gT,E8~M#ܟ9͐me8DJ/4>g $aEJ|}x w'nAS` 4j%3vBI@67q*LbpZI~ts}0嬀nj`+?Ԙy< *FY3o[_h9x1bc'=ݑ^2Ѥ.LhFmy邝 i8rmS6CG* ߇k̀<֠%ːs i^b8D 6.(KqhMdMyAl"Oa1{bXK|"["]T3 lk:ɮyv9ȏ6 icMa|wY(w1ei\p?[Kee/[n6J,tKCzuk)DEc\>agϳfM] 1XtI7|ʿbD:}d_xMx:(1l1]B97-IAS+w }2UkZ%{^Ktz9;gw$Z=6;݋o9z:H^i)* #5)6`^ȿ&+]S ]8|Nl uu)wjs:N>y> {U@(r/~ "V@&0U j> z;* W&:x\1W=fȜ*nX+ KzZ7u}[6 /2ERaƱ|Pw%ˮ] \;xpes!:+kxppޙE3|9 xx-E>njRtX+65`y4\gdVRN&_ e~eS]Æb |Y(!`Lg\7.07M6%>!=1 0j.@dhS)af[~B&(|Bm}W$iIį+&Qͅp( q4)`!~7"Q9S̫3ة3] 0l|}e=^? Nf|23ʂ\UaU4A*uoo5f0xN^050BlByvu(uο;Q>ږ/]7o+„m(0t$).\$R=d2E ן[p! _7gs\?Mwhtdk1;Ӯf Z6<19Z[o>3gRe= Ά)#H "qȪqxԆ)ÎQ\0 U hޟ%ц*ݏdnQ~)cLYW^S~tJm<VUƄ4z16C}dz<Vaa jis?r k$g<oڃ}( eC}0d ;+)Id08 6ΰ){?UŬض _r=U?ʎAH:u2o\,694[p[떀*,3:p0Y_Utg [퀉ƾa 7J&2:h_vPtTB&rO] 2kN CUyY:ώ%ր S.qoMЊۙx*ra[>9:sh68?~n'NrIDbk|8퀬u&n׹#s\',+?vkwT*t,23w؃ y{rh+%iJ=y܎zMiOB &.9 {q K ASŠC!FDzN^q+G>F.%MV"p={?kk۶-v'ֽ/^1`Hfoky?u& }T.jK )Q<<(USUKLHդ4x<Uj%l{:z29lus/j7LMW\(a.bUfкҦ艛[i( *Qӆ"ExOKL=s'NdNdd.&f".$I[Xesrn}^sN'ZY>imKH,?{R bM\4 jLd_=uI d*iHn_yԩj遣i.Cm[aȫu焾 ;T319`{3 @BbKMHfaN;kkK=\j0g)OSk;(le:20{o$HџHj P C\/wN__ Q3gW;p~ΛV!ƄMaX+:C?q>$ҹ1WAO"I6.)XcR 5\0tWϲEV$p= {Y  >Lf \UzrWb %P(uWμvN29NL~ UzZA|8t"BQM 뼪BQE|Qʺ>=$Υiw*{R[Gn1.@% Y  H%f+Se\ho^wq%JQԌȨ~W;Mh*eiTN G{l9-IP -34l)zEoYY__]63GEKЗ r:&jlTF Yw~Qfru;||'A}vmyH9YM4?[/+F>e GuH} ov>H4ju+. _#O) 5־ !lU5Dt7lK՗]%=SD5#r(E.5(i8nY8l}ot?jچX",bn~ `Ek([XEjO֔b$;CFqi*2e6hea.* xaVC4`t^:p8LL\)vXκ~]'hnfW\vX+"GKvKMFb{sqPeOoj2"\ ?ک'շ UvR|ֶݽըg; N+ФA%hF2#QpwKr3Uk滓82wjU):K'Rd`9)63 wΎ Wr.ֹ;]RrE-9TA-Z2pP+oQ¨ksh1 ?ɣй]*rB}|YmHRsFDXBR!p^IuBE)v0%GRDm nK7b8Àm F($4B Ph?A?F~=r* B(bDzRw`jP opɄ Sp(S>ogD7i/Z_ѪLP\Qg)nl%0B;32&1լM9hPFX6K93=(^Y[NzJ,Lf4k=-;uL$jn[ّ+pdz)tf;Q B}TARS|@27 eð勏Eӯ'Ijhf'ᨸ7T?&hY|(%#;CD\M+XKϡn:nݿ7ą)Ʊ|緰m~d/fi9p[wS3aL;'-6writkbuw:@Vd=ƣ>y!,AE\?8F @ָ;MP )f.1r?m l!`ATS3b2/EK2AC}6<bpCsMa Bv& 0\d7P! )"y;~Fm7K5k!Q8ȪHuscKQ'NP+%@ո_'rC>6A^Y 5bY BS8`.{`;!Z[q-WfzZU!1qL*N8,ɪ7 w[1 SB4ifeBY$5 !{Sc@9-HcZ 8;`h5IyG;׮d֡(|VهD^U+y"AAlzԭz98TBk ier8-y!PA|Va9;O\[76[ ֝# $r>I% Gp;Ph-BA9yZ.մ9Kd^z%M p1 ln:Yv*s+zg4ZAʱUNc*pjbK(]Y]PxǠH* Xr=ۥ# &nOdw;Dzu^?sJCo]f(ݛ^T ס_yUd15:35Bx5>w CBgd߃Cm 3UUhynP87fhW㶌Aab )!hQgaU=yh-BD0壆ؗ4>-6FgC}}Q!W q6F2@ljr?,GX%ZQ 0c$@{6-qסclP\'zlco}e6ID4Y\PN^vxA^9\cp }Z/0BrX|*Y)^?1췑P~B|(HMnl 0ϪE :@{uBD<)X֎5/Ai([p }aebi`QO5QF\?OQO1ޞRuZL B<'t fV?)ajs_!#ıIt$`%a':7锐W!Vé@8<]EыIEX+yDj7xnb|RD>϶6k(zH\F&m O-?{5PBn"je嘙lOS)N&ۥ~]GJeУ Bdg_1ºWG?gbDj3kJ4mҰ*LCAt*,)h-/F>ӝ 0!R'V*a(,>|rUSg3"2ƪ: ri T@303h;;7Q9:Y9V2zz h 3sJld)Pj:6}{7EhK@S*U$M5Y'vd $VG}1`.(w@qldcjHiޑ/Y[8 9Lq+%'ķI“GzӅV17-{Zp4Mh﹊4jaa ktz*naSD^"I Zx 9%Nҝ ˡ(dgZX!zs:J'ԭɡW]2V66#a3Dաxvߝ&&K b [nːsЩ9n"ʶ1*sqP=z$,:?20*"xq^-k[5'^3[M*v0ub! +5ndҳ3!h"&<_ܗhʃeMYhoHȥf-V7Uƻu#n3OyWTydavEo_ͺGsVhP^u>V*Е~# ~1*zb?Q; Q.G98ݧ)AH_~t*$̯M{bzT}վP\DHt7g&IC8 ʬ-YC^gYZP˽LD9fyTߴC7aB#*3K_=BP cw{* h]L={5IС7.ANrwr iR-0A @ rFzD&,0I|C/$p]+J4[Om={'u9i_)&ivg-HfLyh\04M@3V$`eu繏q:>Å:<#t .Q!(&ގ]6rh K2iYb8̀ٮnßGe[t|U`>aNuz!M0XܜtJJI!]vJcǗyj^wO&$RlM-4O+Hה_!d,0JL<VrUEt*AaOnhtiwBϒqJ2@]CXʬja@Y@u XF>shYbX={-Y 2+}FpNx3/obU by[`ofM@sh: 囪~s8XL5?,8U/Y_8Acx Hbsku۷T 9O8N尵N'P64dN sr654U#2ߛ(!Y#CbijirJꪁva]<ׄ"ԵS3}c%/YKVQFȌQED@5%v{?AM&ٵ_i yZN>&UrgP$h^7j ;Si"CUe{Mi !9|m5Z>XV l42Y~ ?E8|$7p7` pL'5L+]Y Y['-`!+pN,EyI |竁ql5&ʩ|-{@aI4Hih!?yHn`vI˨~ӜQ7 eO:Ͳ R)wcrsubR ahČJSx=)ܫqVmL2+Ԗ$݃ gnoj# 'DZ/  $։K:f'lԘQ%Jl.!(EJc&Eu?Vkx`S*"6F6m*IAi KjϞP!f o܄ݾ hO(AU٥E&^HgI'tR/QԉW擒 LJǍ?=QU[H>J-I]pɑg4Խٹ ^ weE aefIL3S83#tYH;y|Vt'\.;C's {ᅥ cj F^TԮuALkĵ#-0TyiYrZ~ӵ8BRΧL!}Oj])7bc 40;%3(;".  ɪ)=1),CGj~QvH%Z^XXhv=*wˆ% 90+(G >m@2Ӌ~خM>SbCrL: hG!AXA4 =^f F&m bXj7v':rta3[P.T.Z:wgN 8$$+9, \z_5D"}gֲx&gT@oASЋM-_Tp')C5{U68%h0{R+Gn?&fo QVyfEnuu\sCSA^M(/>U+Cm;݌MٔJ-c(X)պOv4OrN\VZ[ЖWx=#0>V]`ρ O* |_1-o)6J!`F%xY̌ J=V.O pNCI; evS'@:Tq/&O %ԤBP|<f0,k@+@4z\VvCԩ6emIr%g 9صIiI/Sә&G!C y\&F'KL(j-]>sǟׇͭkˬ,R1?DƬ|L"ΕRGSbQD_e$(6"QDTV3b` ,jm֠˃ÓlwH'cXO"Z9Aw@ ӌDdɒ(`7 lUS.CLYEQ=8@1C{踷ptJ0 89:%՟cջ]6}2TtOEm;ÐNp a,v;T$Rʽu,Mll"soerdt7?P j TǡsWZpƺ wSr6(<>ӓv N4Fi=`ag§ 6̜%U>hu 9DG_V0)`CF 4x"\WV`!|ZP o«I!K$4Ҟk&Abi )wX MBLtP-Nєq9!$آ& ]0d-'r.V< A&Ѽya^g@S+* Cū{L5 PG|Fj@oȈc@J+pi"OX!,q}棦(RԑCE->p2gYZ w6wo/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files~~/src/HOL/Proofs/Lambda/ListApplication.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id206C/G' HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7zXZִF! (s?]·Iq n[:|&[zܒN(tfR>z)ǨAd߼?Y}Hjb kpI>=7M AKG+.95:'(xc*390nܽ}Y)P!rK}i |9uL7'J.ӂމΠUpo4^ ~6:.j`hF/=c_`i.#9I=y">ϝJ{=] TbOS֢˹S^T36 U1\W@Eu?O%c;R yCZ38]݀/ІG~~?ڜaJ}> coZsNΥ=OCN>"1feB;Kӛ}ep @E; K5N#lƭ3ԛ2I׾[֟=nԈMFm}tqW"~}N$;i@>;Mi?[E<&m}+@ C}hoRN֌ŀ,3d:ލK/X &<0<:7SVqzy WVO/\E8>.wudbh }wsjIH^*cO>/ʐwщ/l ˴kRvSF'ql/B*-/֘aah\tQ&M>V;5ʞ|XZ<ǢwKaY9=h2 ^ng|e1beȇeB@ٮFbZt s.R9:ET/Gώ_ RV)|pFce F1,k]z+gf!=ٝPK_a'|-vV}+,fI+Gs&ώ=u#KV&Q!nF꽫1_2ܴOMv bpnUJ!0}vq@6.jd=WM|8Avx[Fsfjc5@X K7\*ؤTX~N޿"s8lۉpZ@>-jG[ǯPkg^PdgYZy/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هېH[9;T'҃ ϋ 4Xyc'&mG9$oݐ"Jq AQHk x#ͧNZn8O`&2ڑpڜO3i` 츐kw2QAflNδQ O3_9S{ g[t5Դ> vkUqrg7UKﺋPKh6S S Wޡ?[9Q5_i>u pWVJ%T7{.'ke?eDh $w_"%$:\mǵBB (B8R0Vk֧j&D u/ 8Tb;Q!ڹLzՉHIz#_XkZ#Rz''mH~5l2k2|k!XyGuU慄M-8]r ¨N U:pCLFkFy& VWLo4fM65鋆iqH9}>欒fOBa8ݼ7/v8*2•% O|an3@s Hԙ;)9ejƹ mG ?f=Ng;2 v4]1CVgy`ϯ,_iSL'D?ڇPWSt7b67N˛X" +=ˇW[s Bkq],sj!w|/ }CST[ ^ [}#Nf0vWhОDIOiVQ0j n|4TcU[1bErJ`_ь^CXHu; <}p ]d|xIW~"2YmO;]֣{0I/o^ *:(P-mkC !ɛʒܓs&V-v}70Z'KZ=+YRg{t+S*?lD6EAD/b,HE_hIU]h';MSTmq;6C)+˱F!hy{:&!_HSGΠ,b_aڑ k˴Gkpg9BiG$i/Ad9' 2 91$߃2|6G@.q\ z[yE]֌y)W)ڞF8rTvw2vA i~p@oLJF{^d3&6Hʘ}N1P(nc&X>&0FƽLds;qeGR ChHvVLpdieY^y0f͍ 3ΉqvR7[&Y*KǨC#7ޙPm1COx[;;>tܥj!W0^Y̲>F@!!ތG} 3G]{pELedFa#A\TxcB4r"׌]c -E5mp`Q=VaCv8IAC\ #>5jw\/N8DS[ÂcxKLJaQ*X.i'3IPO H~Gѡ+kIs`$1#4&[fe+k~ߦnR2X3A!< lc"K2+qsQWsE)34 7mvܔ"*^C:hXGF vQf3gF2B'XQkkx.$ H)^."#]K F4U6#.Bڳ5 xvtwLp}&~F V`!.c[[*hঢ)i(A6|]KU6O?ϋθ*?H)s8}LH\k\K7r6Da P17B8gx@ƶ{up6'ŠD}ZDohpgYZ ;p";^ /O# mr6"-YNh8̄A[=/:N?ڎ9&JW31@~2kz>8X=SbJoY8R׏,ȗj:*Y-s8 O9Ua!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 3P,}\NW)+.bvH^dO3 j`t`o%zzcK}@Vb(!1vuLGRGSoƸeYCG.3l[̋'樅XvxԪBڹcP˩领aеŷAZEfe5K8RL6#VJ7YZHywE6(B(>Ï[>1Y#IoLs>T8>,cCM eb3N.Z~8(c^_OoGyNI"]u5{d:1RyvC]X[V붝Xf;d֒iE3k?RLݰ0rS\p[C9$Ix&:"8 >d]׾0M$ڪa QdD 0L\5e2ArKX?V6k5>JӜ7q H;rs&qٝ@r{-w?>ncl ߢ]@Cwu&PuHkW5`lNZ3X 3HgȜ.3eZf ZȾ0/i ּ'dĆ)A ƨ.^ҤF13{砶ݍ;qcn𪎎7jvb3Krƍ>dnkh:)^ou)} l==_x~À33p_i:ij?9 LmBعEH@mG#qxV!S~7iq#1σN9o901cS@HbF`Ҧkbv(3ڮI?R7.5g(Ly[Aw\I䐒UKe9/JE1VySn 7PAsw(ǤWughGE4%zz ,V q·7\YR'(`/gA B%Bk_0Ak}zu.cau#+-mIsLvaH}q.51uyC7wV*dWYE!O#aO%M Yz`\ I7:ebkg& z1>gP/߈C2ӑUm&-m$U_|2ЛmZ"8L&6;FN:5܂[iEXOhn!Na.?kBa1ɊmXGԌUȆ^XZMIS[xkMZjLo;@,F*;o.RlߐNɔ, =5#M>^ۄEz|=~3 ұpL~3!J{*{s{_Q5-tRDtpqA+wBLgֱ2gV5[{>"( 8Q:'&!Qs]8By,U8pHS+ZCO@$_?N*4<֎)~89\/06.E(Tj|reإQ炕g,=мhi1UdbǑg'9dճ ?}0eX u66r_J%\vBz/āxk[7U4d C%n  GŌYhFޣaώ/kqs'lzEB9 5f 78tO{uJ_6?Y;N8])׷ۨr F5P_Dϱdjyb܎[̶)W<n"aǧV9Ѿ[HBRn]5ٌ𮅕3}c&#YV> x N;܅_4j=L"}kxcɫ9ͩfCv9{NA] )M0x-':.DB g*A!{av~_0P8y&|  JluR1Mn!`W6Ђ4#o 3T!Agmzv{9%ڬmNRnZƺ o//˫ KmKpՌD?gg:\o4baaUV$Җ|b0g=OA?p T$K|ڮD :ةwKXiqrޗ\h-^IHE%z={RvGCԷ!]U VAd1.KT|`괰ܜ2XGp0D0k[6P YxY27[^RrJb>-4#WyBlv`uaçJ^ó¤.Fx;z/?h*Pqݰ,Ӧ&fnS5c{ZQ_{y 72iD o~62MA!kdG-WI ^dF-mJ m,]|uImlH<9Դ'DG %V<n} 9?ad[ZsTy9$J FZDmMK;+N#f1iE eg8jj8$cjS^5!?+W0VGbi\C~#'% NX34tA 6io␶! ;Jٷhv ,wEf8KZ`{GtiX_Q(8JgH .ܯ&Yk$;'?ǁ\)Pm!@[Za#d(rcL]2֙ZuV\|RᘞlU&>8 fFikW|hZ@|-k&a/.Ubv&_m%x&]x0BLDL֟k"Q {]"B9_0 "g-4f Syb ɀloaU"SS"7p}{g T~\Yͱ'`}v|mU[(ho Aav$^LA*U 9.tq{LsNUJ{3 N>Re Q9:G(an03N3Qdԝ1x .Z(h|1@ PߺƎQBSW^_ hPp>;8q#uy0.V_4D[~쵍z5ձs1VsDQY U Edc6 ljb="f,V=j#\w#m ;)޻h|&v#%;Y{dtе$/~ڄxxc|A]dfgPKu-i(P7&G|7Px}_A*z\Uǹ᷻gCaǽ2[O{'MY-x(̓!67"~q^&dFK<a=YP!pØLOɤ.Fv$FUmȁ`:1[w I|, (SQ|;`rCgĚ*&jɵ#Nt녳@Q; ~{ sd3 ȐY=q5Ӵ$pjkXↂL|Sq((:&<u`nFK8+DP=%N+Q~-ŤϕF%S[GoA}KBYHUQ9}Q@2I;e8ִ0Hf3gO2VPmްUd4"ArcCw b9؟(v0՛ \b=膱 AD&>|&NqY//Nd0?LWIk.9[ܨ Pe$)-͵>w4@!-ΨF؆\̫lbݣggzɩnh! q;[#J\TTyyw豆nҜB;_D*y'36K㎇Q ? VB6u-ϠӸRsms5E!nb DɸZz{\ aOXK3Ple_jn1̠x5*#=)`{x+o3qR$í[9E)ffJSLý+"vrJqgWq&'Wu)챯d Kp\g9հzB\Asݹ E᪶2+±-` M4i%iuϠ0wvl gd5!ShTbÜFᵇwH+ha3L:iTOێ(x>X 梭B ɊP`kAެ j_Sjږm5ZTRC*pRs1%;mv-T1nN-&XE0^38>* mY*o~,@ v&ÕF=E%/"\O!UԜs\G&]~&}!wӲ2<As\,ufKTܼ+>`Jf#!QڐWS1d6<Ƿ (Unj3oi]aQ7vaZ~|)X^rbTq&4KE-{දVsW Uͽ\jR}lt[խs)Vmj~TSTgH̓G~*Ĭn`}M\,r8҃3S6[LyEwI螊I3$bӊfzC҆wnYUcll u A``.桇\ d:n;7]X،E1uU;Bt#Jݗ~`6S7~r+KI_h>3md@s&0ib6aZ1Wwm4GJUN<&.Ϥ!,=X: B=DsPbL-5xb',D_8A/+(ks̋&"2aɏЊlGΎ{>4}@p]M@(.TfXÚҿ|lw~BY/;d6p='RHY8gy~Z-6ډu1#ҵ3Ŷk!_Ų㒤&ACm<Ɉ7z# ,y \|<ھVw$/㼛Xdͅ a2\DruBlMXt"% R(;:}R/ KwGC Zs5i Tˏ㞑"PسŸVg 3wY~ȗ(wـ熅q}ړM yjlwOz$]  i7CXo#93=/*e  ]@ #󫫈g^Z Z?u&{D@fxOIH-r鱣ߔ{[Lvu$lRE )Wਅ,/!7)[%kH>1tJoQF塣p|ocČ̇>"pi ax@AíyzìvЭtpWE)}n&_ jUHi>Ln{,l %z`>4A2pairoS56AY` 5A/=+2YRI}"dQQ8t`uGpHtƫt@I 1ʮA0#hR`pcBv EIe8nTL{g<5I5LgQ?p !K}> <1Ɯ7.˲ t"^&F/lS T2?\Šjtveb}i+}/;v!>~lʰlwOag_K^+ u)6`h T]C.H: J(VBO7xjeWLCv=8\]NSdS:x\Ј ٕlDs пjMHJapS*<]@hgbL>bȅzRD~j,`/"pSqݘ׎ 3 /Jz ZϔU&x84tfPAԲ)Ǿ օ[p.fyTH(YZ!X;gOV/[;?}-c$$Jӕ"U\73S]'<籋 2Dq Pj7T1ەԜFA("c-!m/翩.k U? 9E4q 䔆Q ݸL  S?)nMɁ'37ة۔I15 $4)z^9>wy>MI ~Y!a ޝg?*אmXИ'ԕ]G~zQ>,*A܊i@R2LJmA")ceXC"k \W)bL!\IjpZ֦m='MNIacpCN(H>&xXAFٺ .7iqYQa֒ڄF !X/lUsS f%d8I66#WTZ,dD`AT/|.ۮ&:إus͍nMZߩ4`U._{i$j_m=P:yܲ @(v hxDPv}a:+ Nba%ߘ\җ jX"/&%JD/=ϲ*, |J y[3 s71WKܔ!n"kmL>~ɸ)]n>z[M`SLJ1R[p/3y5$W'Z+.p2wVB閗@ΈVH5`bԢIf*4Ebčk^2S0cr\cn(B_{_DOgX#_i%DwHhGy6-;X9l\72l@mtcudn 8]Ki4/FdJ ԚjAqZbec8LiF7m3g%Ess._τS~o<>DcSՎ9Ķ E1;>=CKƺb_12\G w ?po8;\u1&v6nccFhTδNM^`4T@$VmU味3R-O="% _v7}`2|p3N*v ^`p~|P*H֫W-,n yjV |xf>Ǵun41ڥgbNDA~+u63u9)GFck뙈%=K.@':A|(ʏf-$TMnVƧwZ"߃oТ2ձIwކ {a`F|[Kr~w t=;s;}AE}`B$$&%Y>@6*ڛ5wG(VԿ5c@ \?Oj/5=eHҫ^oyHF~aEwѦ. m*4sx[Z  dK}Zq 1eoz]L.SSﱵ'NG>bqz~3 Co +eoMIrʟvsBϹ-A`jdZAuw&~wiR8/n:$b) f'r] `ʋ`*jc\ v6Mr]aߕ7RR92ޙC}K~l<=0p^-1NEiNq= ˋ x=^LH [S$~u TN "|^ ﮛp=(cG4jtf>W䴥?+!Ȕ[ʓ͘5Μ2†PruxEMI^P?:")TYfVSRirv@kA mT6G9ZkChDBb8jWhBu}`h\PPaby;v'Ī+VBcG'=b!t@I,0(J 'G4J<\B^n>(9b%:̫*ϳ(V9Ș/xv[U׊ {qmYG)؁ñ~#_f 4+?=MNte@AlI C2Ţ1RW*r@ )]?~xF݄ #mIlՠiX-q K$rrrxƇEI2ЪCS VbMXR 좀rmDT*z.O`1]_[x9&VD#'=HxG"~|]jz&  ձʼNE[t 8=Up(۫+*Q$֘z2bIs[s$lzo9'DVTHRPA4, sIUQ‡r#Soʗ7̲‡= ]SCKY/@;351ۻ?ks.r= YUt΁qFpBcGnkL&\D}ͫd'|u\U"FFFghav}4:һ\#˜?5I1AedSEيE$U&f:f M8M洹%$$aKq y nƪyc{ {Gzܩ^<EIsZS.5Ym§B7}itR>Vg9RZ0 ! jN{ PKLK=^~4Yn KG2̝1ME8q%4_ 5E&㱼3 N|ߓ,&XpنbVa՟UjO7+{SWFT:N-/ {UN6jMڦ:CEhiJa PI DSon@Mv t@c;~[d@_}:*$2RʑW1UCcbBM@$‘ExRkW&2!idBq=_1J!qu (&l~*fl&H+'aWEFab~jHvjK`x ^l %2rd{4!ٜ">x+<`va?Mvgf j&I7ӹ06?TlKXQ`m\iX' B̮ A.\_>w{ JZ.أQ~t,B_v~qFv2]idflT}6h{X44.ނʯݴG{.'bNYx,@it9o>׽?(il&8ե;?{>;"w>abG*;_eKBbU B6|rC!iQd&6kn ] q J&u\nɋ|xp@R)SNX4)q22:4ZxIk^%,yU]rFj|j;FڙلiK9%il{DA4>a]ʇS܄Tw))}U-1Yn2EJUTodkjܨ$3>)m{"YqC\))[}]zMO/NfP5YÙZϬ6_tC^5^mV ?v^`ߎsP=p'#L譢+mlF5ER{I(}oWd۫NSO Z2`(96n2։B*S&px7ڔw~ 0V5jEzת33Y23/gc^&z<0aiYqkxR&`:~BwL9^ODnh`bAc}"uGy[0OwPW13O?h>JN^U6(k:j?5g4V=Ʒ¿ɩ'J57 : ^72 ~VzQ_H!C޵VNٽ-_aŸ.cJhhp뮉 \9>򁅳 F|Zi^BbxW%.h^/IKOz?涏{ŝb}|1%u.Ly8j3fP֏omaő _S̸ p7-)PgxC w֡7u& :$a@dPy;^y!g.&9w2h=׈39aA֬a {M 4ǚ,y ORbk*L'4Dr=rDoŢ?4c n!4j-.p5!:P>|M*AbʓAb̟l*.Qۡ E6/0KR2/ >zsRYYD? 1DEvU g wն>|Ϋ[f%t/46IPJ}Kν.RPŜ|B .wqƳՐX &6n𝶀5Ey ̖rl:_ni4g0FOΝvɨh!r3ߴF@jLHX @!= 鈌ޒ6D9r<{̂ץ̨[mOy;e%;UQ[̓AoX 80ɢD/ }Z{X0GWADZ@*LKǠC<݀\t" aq2*Հҝ:u2yUQ,IpSzMiansXifgFŶxYX {YvPo |qh;ǎЂqcoE,LtυDž%NХz|ݟ>FoMfSYmx.r^/<<-R "Ej|f3> ҖYQSv+nՂ+WvdìmE&dPj==U0*p͟:<^ C&Kd#1W,]MS7țEFB,̺ Z[$) `BFh1%{pkznZhNXU5}gBLE,R7S<L&HfY@5>'L#;1-O'G(= 7 L)1SeA-qa]Te=D;">PKDRew7`pn?D>=_o=&7\z>ȫuq񄁸Y,dfZ"D3TLjG(`\,]W@jUxH"Slb _]J-9<DŽgƕ:o}"nAQP(@ -zffAt,9L<ҁ;ۨRu g,MW*gYZ  b N #! /A# THOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! b]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E e<}VOˬvV-@K&e}pJ =f) uω+bK /v'O)Sʥ ($!(yF`sa&޲}x6`[qU_CxP <[`6PzDN^F+S*0u>AK1*CCcS ׺z#حO4[EÜVhu|[OQxK+,bT$'X3n',!A#WIԭ-K3@ijAĴ8@ ^ AxP(ձ FIn4vo+0I[hs]Pk&a /A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files~~/src/HOL/Proofs/Lambda/WeakNorm.thyE/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id224h/O1FHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsMatthes-ESSLLI2000 Loader1998/O' 4HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messages7zXZִF! ]·Iq n[:|&[zܒjm) %KR8 MgE\.6yH?yM FC %f5~XHJocvg]e!osx')LMa s}"}6{jGev1oH&pW5S+= K5\&Fj4(W^[gcU<%pʯL^B(D= R,~ηqp![V_?Nj?C<1S-oQCH<y_-dccG;b#@8gWUCc_c*ۇ҄`ĺE'*q1T}B:|b `PMȃl;ŏ&RK;wo_F,>ENW%y\jF`,7]ц;m=h˺v 좣H9¤*F\ɐza>XW:DrVWʠR%gvz y73A},if~;r9Vg /HExPG酤eY1<_Ot9JG,#-QI1Hiq =/x1=RmUpaV0jс*"44y4ʺf,KЍ#Mn] b.N&#Y[Ϯ:V@Fib%Ж*N(5pA7.D‡QŸ^UP#ɱT Iikg4z|Z7~Q`DGu_ ;XZ H}{p& uVmp6-gYZ' V dؔ):r& 786)߅N GWlC; 8c tQ;5jjA40r =p!>%EU}fCv euKxrB9y̯j^923w_"ꖦxr6G}t-TPZJnzЂVJ`ޞ6g&YR*,= ܗjL; piu>Bm|+. -w"Ro )udvw"h7W\YkbOC{"=?m[\fCLc/3ϥ[:jDzTx!ez_I`"T4f8,F%(^iy.mr ZmuȖZ0? Xa!0tc h5.3o50f1Tjh_?-:6 ےFoZxECVD8B*^h $wDqE_1;K/j&{Fa A\Sƭo W] C^ I yْϮ Dל%PG=ǝ3tuvdNHc~A^5cbͬ*]S(|ޘ?a@Xz݃6'XXbXi;ku.udPxqjq@JF~9#`74]VkV؁88yŹh.ξ?/3U4``H4E%մBtNzWGqPSRX?8D? %1tD! kF%<9քT]ex(jЋ*o!ϑ*%-Ex$Sl7-ڲ(mJU[@{_<A}eG=.7-OOU&ܔY|rrUOѰ~ӑgGIveµ}U/^CW_~}#Uҗ/ߵvQdwvmchd %it嫜M-7TrgQ!D稚xP01«9d>"[NwzVޒJZ[)YO9t6 o>X%eFQ*u񤬤:F)!u`WRc5aNZ}pD$nyiՍemk#l׈y ΆzH'Ab$35h<,5pISy>1J/ٓU k#-!hfKt_Sv 1&N^M˞8mCNN-9?De&5UU3%}#3rx2UE訇Ac"=Ԕ{8z *bSj=|]`?'?#JlzJl-ٴPB݉P=J2RZ-ՇE9)[nt@a;v($s府b"?2.k ."ƸZlR:۪t?rciNe'JB\,cT}[ϟE.;i#$F9Gn29,c|:L^bߨ'$-6V;rnQyo?ezDCmo>=ZSe"b2;N!J(_㳚QLjA))ⲥis*념_P_Kb?]Р$FdG5L+(d fhf 9!̋3c@ ۏl-N!v< c-ge=>L;N'|al.~]]_dc4==dؘ!Y3aʝp6o_a7{WelG^YĚ8Vl벡!6z"Qo ıv3@8~v5/ak&@I76b 9G2^Q~T^sӱׇш1MFK`FV+0!v3FB뒷?IByg裎v]T|P-/x7^V% fNSU+w Μw/~M3i"Ć3} M(^S鳖f_m*S4o,'e=Uˎ?Lዸ|+oA`q'8@]ɕ|#1ȇ- j-" 2XPklߜzC #(Rՙ!%MчVuE(WM-%?D"Akk`9CbhU{t?B$~M˖G9>)rUZFХtY5pѲ~K_UsjЦIuC&}sF"fثN53ٙAۚuj  O2{dE&N_-|cD*v'X}7R/'%W׾u\f~>Qd,?@r9x?cI?45|dE^ĞX%(t`=ԚK6rcl1MbuWs^(h}r!lwdjA R0`(ܿ_8dtُ3͡ڙ7];d],,3:M9jFOG%.V90KF-^ݿ Y0j7zzIljb-+e/DLfLJ,aͤ-җͥ@i 0]uI XyyAdR&(4hB֟tp;w~&b@S((k~5<S&D$ITz(hx:}GռJnQ*l43dD7dㅒ>hW\e)v%KY`jnCm T229CdN6C%\ [43 dfۢZ/ޑPy78S['r]1px4W魱%U?Q3i9R8E[1x$_4B۴y(DgdW!rܰKynKQ>N[ǐW+eM{'O1+ϝ[d ǁKϓa\ xt$yn\T8@au+ӵ7\!ǮbuMxb_]+V4-ԱdQsʆ)?7(qϘZe"/M=uꃍ<,ˮ$ޑjsҠ]R.P 3*0mW-q^ȄCiPT=HtX7~`Ic3`)N|1 A}G0 /|Q np>ɡXaEOaLƶ@cF`JzpVˈPuW 3Ԥ# XNАEB[t]1?wv43˻b |dqӊ#Dp%>U՗z0%Pӂl:|s#*/BZb5I Q@u%eC,Rڦ3XWGɷnǽ`YGI'ᢷ,ՙ6obkZ,bcAfq/٤6zCݒUN;Р_* t0йU&-HV&Oz AUC$r}^˗rK@gPQ נĪrvSQ#q2g0}jHߗNxzZ\ Z:Qi Cw dG,ޭ Z)6q|q>c|3u9A1TxyÓhPRyT~9_R|31}{ikUz#ʒE|d G^Cd{jLYtNkC_&\&sօʧY=FJѾ1CJ`AW[7MHb5 倭i NF+wkNVה5L^x`I5r.CB ^%!u+rBng7)a. HNRcjK_Srx;S~?_c4}= .v(AB" ? @&t8? B7,eJm0f&!.Z)<0{8o5ofs!+ Iֻ40u/UPo #7iKBF ٳ&Aq |7y*j47 sc7F^1_MЄ~б%rUX` ް T l@J g2X~cСC 7:IfV4J&•xYt^%,&Rh4}ݎ*scU6I<7Dr +T3^'`j)LYY_Hk;@ŧ?a\DQ}Wl!׵Ad/$CIIr$bďkf$z[P{)\,21Q_4 %ɠT,m}hG^db,1g=I.xa "}>9 8Q<+n]jH"E>V 'ԐĽMTNWb"E D[s7кmG ųeCL0B*iEtd!5oEe|Ų'#d2 c?51j-ās {55$&cT8vs!6is+WʴYpj#(+)]V> hV}aiB1:` xR8KW j[+O8 Mןjfڪ*]Xs2HZ^Qv ?FRjȥZGS@-òi3^j.r.|ӍE{v͍.5g pC-56;f1P,ӭ< m(eSCj-WhI [[#A29"rGݯmIK.Ϩ9 e0Fv馭GnJ}R Z‹[oҹtǹ)e˼ N ǩO;p"Sx$J"]c\O3-1SG6_"EIvFZ[#hڴ6/B?=]6+Qt[LXJխ7ڰY pb];O?I,wfQXST6LNFT ]7T%c`ۺLuzGCᵏd_'^;47'䜔]*:F\)im_2F|M%:{Tؒync'"&mi>=$Ut\0;*nާ[21p*K 76Ǫ\[X>NXu|MQ2f<רRnllYH#r+y%vvk$ﱦH\ҤW>hJ0V8'f{T'S'3xHWs,p%("umc19zp4Cb=,ͩ3O.6I#GM5<X'CMn C8dߌiwa./NܡSl _>Q*ɦ5>Q@ } f^ Q'Dz[aH@VX.س5A^-d pZ&`ޚY{H/u(G{$+W'!XD Ӌ9(}*1`"?16;zζ'q&)fbnw4ze[^ fn`wޫ@p ڙrE i?ކ:6FwQ4 FdpXCK +|BYV(W);!R*;H<+~ǹb! I};AhOxC˱WٕWo r( }|9<^ɒ%AU,bC%Kz`ꅭ$ĥp4=][}-JWH4\e_Fd:Ge%rHP7@ C.v * `N|Ȃ =l?($W)Z؀w ̵9gXNǪEX1`[kS@ahkbsc  'HɊBQΘrZ2u~MF)m)bpcdap7IAkŸy^ֶ7{qǖ)PߥKܮS(4 h`'ݽRRy? Uˆwza!d ^#,Qwq}\>U"yH4M<,X}A.'3 T v՚{:L>\+.faI)A$Jviƿ %t7E1BN5TAӭKD|~0/~X]!}lkoIŠD/z mi#d[zh)˹vYܢ\2HH Aa{/(znF+#sZ:ZY;Wݧǧ~cp{(+P(3K!"lYTxK1kPMU*rITPk_sʁҜښ2y[#(q|i}r;ą͔1gt|vaF(d5MRLcW+ؐ6Q)`Nf:Dk:$3ؑzy,o쟄 ml>9O4 _?-sWVpRDYU8"L٪[# LNsC/&QMM򹧝F* KmXUW@/G+6PJl+7+c~-ws%ƞ4Sӣ=+~N6#tLƒ ڀ8Zںᩬqcj׃z6Sz* 2ԕߥ} IP^5 j0n!y>N8>%:罊α6@(WZ[ٔU[)l8yqWѩk8P&c3>"Ȥ}I޶yWZ(ONoptLJrx]U?CxWS| )+Y9 ~ ? #UV&YDk 9d;!^> wD~G-Ew:wϗs"0z)|$~:$m˗Ft߯b3h=D,H͌ P7ԯD.r&:>ePn[sH'VJ@V3Q#;F8YD%K2݌MɈXn5R {+?/!R1vCiryrـ+jބV,2I7)@7PHh@SUpyaQ||WJO{A3?hA E N4 F4%VuNm!,.&7*pl~&lqc-}~)'Z yu(a6.E2̅!j\nQRb)e~+վ"ܰ,X9<g+N'HN}b+Y|(cVz@h*o ?&Db0w|Zj586)K**PS$<ڹgY?m ?czI0Tr//B+nDF?0KGval߀t?8ssB'2onZ 5`VWudFypiN!MhRk{A>W96d ؘ͖&sHQwĹ*^s[9vDCEkaJgSM8;1g|j)IG#I勵U_5!\9Utpv# ׁcRGT,8*(s?b%fXS,Fd;@EDDR=ZKパxQ>+s* % Q养zJv]FrBMr󯆠'ܠY-4[v׈|(gS27#Eix=WeM6*LE4,`vM|ymq➨ח:$\"Xw D}oeY\?ya36Ju1y^ /yI>$f\w ; 06St5N3 z0]q Ъ(k1΀j$o *<]FHb*t̡ҋy+TkEHhe}k Pf8T!)ܪ(󦷴ܝeղ"X$IH[ONXJ›Nk#FAW{5"͂msLo `o-en@(N_ Js]EP!q|,&ӉU'(cYЎY{?C.zvevN7nU(T@+l68[`8rH$٧EXJ!$>ӻg/IY8"_tÀCAtA-`O_|a6ȋN?#ҺfӒ]Fߨvm!1lCGai8gY6_aX٨*9PvV:j m{Yca$6 @·"mXO_7BF :)3;˫xg~t&{vg c66|/ZiƢՀ = ʩ05q[*PqSȨZ LN@(5eC(B%zжkɱ7e]CBP+Ԍ ̞:W^O(kyg]9=ٌ }?븱-ܢ{X?o_^ءoS`oD 6<@Nj~4>#Vmw N{Q`<&+OD<ph n<8H-Puj#@Df  漕vRWYMǓlpӮ[_ a ĭp[q= gڱ8Y2ICgwܯ Ȳ}R۔w\Af 쩠/ Hظ*+azH+WXB^\\c/r ,b sEơziM.042vF6Raťs~m D(®OD$כA˭œG2BAˬ$ؐ')VHù,%aD#k憀! ^4؍ƶUk1Yk68lU`|vՠ0?v<8M%Z {[B)֏DzX(:)rI(\EAs68a"4)2&n?.fް` UmK^*rZ m.XM8LxzyDݘB[c+op-dgP]Yo bi88ul.gN3X%Ag"dO)7j-kP aIXltj) j Hre ;04|dGiέ=!?HXu2 +tEՓ}+1`'\M]d|mօ" ,+fQ{,L!16Ҿcn|7IV"?ٷ <-6Q([1l^ʖ?iq]q@w`@ q22$}> z9; _r=S qy8Ιj/ h?, F z:B*73o"Џkx;S)$ٟ)BuCjZBF\&SLm,߇ėlA=Z^u Fȷfypa5~  [c mg@()l0K' >8~!^>)g*YQ2YC{3>$t?!.&e!k`MQPt*|+J&w}ڊxC`_C~n8kFdzLlsȾyo0OZ7jٟvEr3bwdg-m템fa_/*&IׇdL0VVƆuk[W,_ni>4 N4?ܪ0MHby,΄kou*/]E.E%%jA@ugʬsI9+܉f~wI3FppV[ih;B7֧+wILK|p!rQ CBZf0t/bX!5:h@6):X`Yj{u}5\hTv1; |Yz  };`2MCRQUFH2'0g0I0qn/GYhߎ s]ņ0@&۠X'R&&{ayAr4 Tށmv֌%EAF)GHqs( 4hnyio2_I_7X qΪo"( tY,`uC0WapKeE&l,)-\e<%zSbLxV%5WWۻf̈&D\[MFKQ+ISRmrF Cr.ȇ`wAVmNv(cd1?7;F@jykh ARv42"^EnKn9F*LH"G5='gDF&<iեYr}ZmM68Gn@em :s[˂{eM>bϣH{q䬢(W WSVש1l*& #2֐^7-.^ɵP$9|L9(@o疪I\F\",A,nF ;qVX-++a 8q:u1Y5m!x?.¹x{Tk➏h*v4EunXNop^p}ooQ!۝ c?ҞtOBwch.ʯN5 O!85lT.9He&X/x:"sjX0S \ D 34A]P񗕃p\mp}UD A~d+v/c%fUpxШ^x|_N)zr쫭%V00S!L;7*(Y =b&pC4DhbۧHr3AF}{Ӣi' }#Y9G#++"?G(e~e7;y kađ0!& C͟gP}?'!qh BhL${_VG\s 89:#6-a~a5&%mUf%aͻnh }gMFaNљyQ0_ 2^,pguD+3a;@ F+jENҔ@;@8Ѽ>,Oa Dw2?fdGg6;RcO'58Whb/me LchWox@Lmr& 'TsG<JK/E YD3UO w҆8!Nz9\!2tջe&+z7~"#T=~4s*}nC"x=Kz :>f{v>lяnwI:`:كC0>5@d Dŋ"$v<(!*ܦΛNJEZt.r3 `^ :oj2| P~>3nv)Wp<9 $";٪()? –"d=IIWzx %1?yc:-CeكH_wC{թ= w-z3X68BtX9Rbz*w&,{CԬK6][Xs.bq2M`XyqmIR111v]˱\9P+lnҾ~*jmw6r'˪b ͋DƖV*g5T=)IF@q`*.@~Ce8<{n"_Uxٙ!8Wh~\6ͻ[12%_PEm8^_s™,vddY)zMC/a*7q֘:(!H}#R$HQu;wYo Ll)ǻyh*Jdf p?!v /$l&(% -1Xk%;y=l9獞<2 xA>T֕\4xf W"E 5qkD]Im*Zh1pDglšs ArC%\9Y$/*Uȳ!N#u9AoEz2 rc{IJs iK;6b4,[`ܓ(UJH}إAv2U ԡ mGc:~+ !Atŏ{KM0h8'P|OFqZI\I'xm~(tn-ϖ"vK.ŃHmr{}A8^f8[5gdyp^Yzo ʮ fN_jPLk炘KU#&MxחR".q.~N`sԫYPdJ%6,|p(I$B>K~đAՈG4x2Q\ p+FtFIGuζG1sL?TCG:n[!r L_uvÎv9,TN`}E'Ҷڅfxx6dCPRHYqzc TLK`f2HA?o&` so,»ҵd*ch_0[pqG^5L!)if@Aƚfڞ^K)@o$l@!o( Gwy5l%RF05yn9(5D'EB@_YS{.bdxZ<^E4SƗTHRcƠ]A+_ JvhpE>&Ǘ& EJT>x!LG`>$ bcgA,5̪9܆f^$ >{ZO؂~11g _s&axyp0X(&KԐZ$/r`zZv5e>2$p8]ڍ('E׊ĎYvWdJyј(U P~NE^&*QJBm%ORb,LI~9Ggov;w;yުl?cmx: T? #͝>cy xkobKfׅ"5-N: lM?t&PzǬ|jĖr9xMq('Y'Pd* Q\#VwNŀQZ>;2~z!ղd}f ejNaaF2:z29MC!>.ђݚa;9t0Uʘ 4Ym~K0b[C-%z]4>rS3a2g%D`{}% ~}cmAWCIUv(xpxG `PsGpل! Lcbk8^1ܶqr\/$p>H+;xL kmk $eW4685alr1ad5/iutL-,jRXČZci|·8b[?+-s)t4kbvJ#-C>}aq$o@mP-exIIEkw-ٞs+g+c"HijA`|-˓2NpdRDz4^3PWG 8U=_|m&dK|#} G@ˋUv.u.H=.]}PM$:Ju҂"t#vVEnf K%عCA/L )&~-ųAZcs&yyeFUf>4%˖FCE6\lܹK,TiT+Xذk0_R yJq0Vkx vacy% ЎˮJM&^qHfM,X f[i{@ݭieMLbAJp y -c&Ng#=42' fguܰۋ/m5@K5A(G|hlf =htn]$) {;U`Wf SCmf$"7cךq hwѷAD)jr$<%,GM\_%е%(9-} Y&-?,>ՈQ*BEfoV3@( \[Ll²bWڑ!("GyE}9LQ{{t7j)gzgk7[׉1C? 9;0Ci:`5B/DOhA78.ϩ@^XLu0C^Mo#֝ o}`B:`G+l,Q:-.δbF\f- qFG䬺l}:|s<{De2o0FJeV{a~Gbd%XV`nJ)1V3`+UB.e? KSv)b iT|]hpCb\s(.lRtiY#:gNcݯd=mrmE]7z~mDNm u|C: N1qpEa;ľPcݓfe# k5)!l-׮j l,IKĪX}/~hM i[k[rSy1~#kea~ֿ~ǭI߫"RL H,49%6&>l@by`Ve~pks0i[o HDG>A2qQ MFĦ}k$'#<'SfF`K*Vl81QrtݗX`fe?(ۍ4©GOnk7B!P&yIȪ^ʔs~G>`t4慌 *•$0TuAnW[7fNf" y+4FeA,0H_3=N,ON 0YgN5gq`;-YN@C$E ocQŮP-t"$?0b]T9CϏ6V96Yrn.ЎЁFl5. inloFư5ϟAPS1vqھORF3_J} PGmR]= dknTmb(4cwg=G`m[W%![[=k1&m(T$}G/ʥ 0^jǁ͉*,xt)&WA/^BDD%FZ)w#8U١&2w}(>4BE{"[ -%g}/)kUdfx ̪|kdbMv@qN@@ HZdw#M~^1I/vOs`R'17[8.;m-cvߴfcta;UakkGu<6A q4so:뒎Y;cJTsdEP{8&!GP>\{cш(=Sf5FGR$bJ>b{|4AKSbu+,Y !'E|Ý|KЍR&k-NtҷD@~\tZsB܏M(pyxIp{_殖 @TNk bTh/ZK$q8 甈dS!g^r[^I8Y>[?3udk"S9te]aIłQO"K,Ї]L܀ ӱ(&4  :>CtXx?}PqF OɎ[?=+n[@bEÌ 'Ega"Ľ>Ȁs0;'7"Ih*zoUǙ`w_\ɪm\?À6bMJi~RGgG39lq]QCjf(P %y*ùQCJJ6NZ "͟u1o:aSv[Q6H'UVj|Ze<VM~k2MZ8><ƃ[nI1Ɇ[-tpCa#9Ɂ9Բ~?$=݄0034; Kg}Xtu6nJ?y-)fZog} Y9>7@(Bۢ׮cIuB/47<~ f2tvF-uL i\jR"$8!>{">yv]ll 8?as΀$m+ke%^ԍb#+}tz)\%Y>վ}LzC5$qZ4Ŷ0ld4@zm B{ÏhG[;e3AN54\ L(IUw?Zlv3I\ڭK M1gYZ [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@*$bM26_HaE~O:Yͱn@l? Fv5 JAپ7EWӔKw9UN)] WT 2Ť6aᚕ4e M+IoH yCYAǬOLvTB_ɍa`ײY `Vh_*<\= T4f!e*!(r!CV}j8v0kcb[>^q3z,yH0,cjN ×h8E'!J,U'7M<wmT5gYG<`UZ~GSw842̾H@?Vf~8&PG #DJ/&Բ9%!n)[`xZcӮa<| a#A6؆ WT-@s@?E G/Uj NQ>kݲ-"MR_HB,U"ۙK'RG1]Hj}{: J~ Kݟ#aૌNEF{L\Գ2KhvWDsV ֌t&lԙ^),0.=4,n:PU1jai':J,>gpS6=ж(twlb>n*K`-aă%-?qhTk#|f[1/7"e[M)Y$KA'`-8  /Y _?jR)nW\8S +;Qy_(Tc$y~g\N,wrˑ,Nz.g,qX}+I^7 (m$Q9:P`'{C&|ebn] -ۑ5ѷT5(!4TtA1OrbbLK -kZn?ϤDȌw T,l!PGddK$`·=nKܨ%9 ~#g#.s_ 5E#npxI*\BE\W2emߊz.N'>P-wJ(!CEo[+x݀hs}<0=j0v;𬒩q2va8򑰮,RtE'Rd*Y]ǶO݊sюC{әu"~əɝ́ҊT1 ϾqEj $"_YڲƖYr?l(m|I^&.}0}G~i}o3!G%lfx3䛠jWrZg^Aqr{bp3+H %¾ 8M UM:"PY 1$$nG[#MR+S-ͽAHXTɣ{j8 eE(JjBԐ6M p,Ф|}l8MsQL9i2 2ox.D Tt־ue!+ѱ <;R:s(wlh"0= mdh\"tSyJ>z%:d}Q,{?$b%RkZON:y(Q?IEnu&).u-L/-1]ҏEF]}tąEN1եS/SwIX㷱 trfm˸ҽ"|hqǩկ8̙Q1fMsB"]?{u3vdޱgYZf>᱁_` 4~٦/ԗf7XI-nQXT$f v*]>6aua뺓 +D\@xj֘/RI;m~]va'~ TH̻v v>/V;&jtk"+EWq6xwTrGbIBL~2%U=HHkfc*jW2eƏf2& dN<0>Zsl*K6ʓ WeEWyI#^qt7SK/F N()q'P?H鈽@+q,J,tfA:ܮ~#R u|^_7cFEFLGQ)LB;Ka+ҵТCM]%lA.56eD hbyfsN|ƚmBKͰh'^Xhiyp* k7\pt:a.`g٬ xoD+*Nh(̧QRK k .WեKލko!L`,-m,EJzDp*T3x1z ̈́}e>B㪃k?_%mP۳M :I4Ϧʶ * `WyցGaL4m?Jz^n(I gذC;iZAKڵuex6pC{XG-5@{r&,ZRqzi3`lfMՁ1™Oc<ΒUj@V˚XMRh(O'yM` _r j1b vM5Nt`CB7p S{ rU{'؋E4fxzpiЎ+] G5qsgD7pZk{L@I\q[j~7X=&A8zsb gRb=]"?έO_0b&7'p9K) yZ M)[엷LSf?Bo+Ԅ3F_}i8Ǭب<"i_vն2دG Iv1aJ6V(R9F@g%CVz|NHtj:cOc;>or\ww>imvm Qm'żH&6ˁ"Ut8],]G9p {(<«>3dϭ?Hh0oNFPa&u_)1b&0Lu佻(ʷtɥ\&TP4/bX P&«o&81M|l۝lš ocBU9"%#l˥."Uѱ8qTf_'<ߋSl# Zca .D~VP|:"3bL2QLW`myّǽF1*L*hS&|OEM*˙>KdGF :F? mHXI)KeC9[&`=pXSEhPi暓eeЊV_ o; WexJi3{۾r a򭣜"_Y$lnl`\SYw\ATp3q6QJv!o˒ʤq9=~dWZrj>]&=SWG5fW'٧om |ggdJpMc>XK,= 4}ߕY90e.wj}VA#Kz$S[kifΈx)eAW:۳!ڟ坔]W ~FوKcN"]H ?ڈwNKk!=y,馱cHё'ѾӎdK>*J"-G!*9O]Pz儐iJGTN{ Hsf E 0*~Nf1 6[_+m2o2m;Xǎs675 2 ʄySࡖ1 `RF{ t#\;-m#rIZ gf7.HҞˣ98 s Z7TZPYZ!gD%R' KRa.ɦ9 bJ>!\ V(_划&Wg M÷S˸{CK!ay~7~Z«gDmeӷ5VESthv63Sq|5PJJ^V;sLtGpii(_y 9o?;ki-#-P9 .1H/20f,8i> y 1= ܼ#fjHqBFmyZ_rL(aM%+VjbVt:4Rs'L5W5]Ik.7<6GxӝzO"iAަboV;l4! jcoq8~yo$fBYP牯E4I~]/m7uWlL| F3 2T:DMd ѳ59R1H覝mЂ^( e M޼|[@[tVЯŪ#-y^5Ilo?b9|h. 0'].>-d0SwGX|QLcA`ʐ=<[{8C_`{ȷJ8F]Qt qj+_!2۪$W#$/:р2haʲy $L#9zViъr>xD c5C}" $1!&폜 ̜Yϔ;KH'S˫mR:%sIZ"Aveϑ;'bk,>lH^q Ek}0G>4 ܵ(تj)Xړ9(3Ydv|68#ct&nq\gYZ  C  km(],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208s*/C# tHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u;t]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3"!D7>bopyzQ@a4\VHf|}V0 ѯOwdqv ͌~q*AU4iK^٠"!͌y0kgdc5I<''>T-vb1C$g}w8o#,׼n[W*B#ŀ*zdL|(з_ Qْhoʼn;Nm[@1塲A&W0)\1۱x;/t9eý;-@M@A R%ΠgCɆBm.V&0E}RlQ:x%gKB7!7Eؕu;wU,iߜ{sp(Wg,=.tfn| Ba'mBC];_; B;?lVCyX}v[؛=M Ukf_VKN#P(Qb BynZ27)st0B0HHքE#{>i{1jI/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!FU/!+ X- ~Tj%of_Pbwm%~Tcݍ+mO8a!޼ʚ?nWT\ {7k%cX{P؋B{O() (֢QbDdal?y&X''n["mvBgT~]n[ Uy𾌣A\9leٷX6+c~.Bj8&ynEo"  MQ5mn 9>i>άVΒ! WrR^F>/kq9C2 .] QJajήn|)KfcVK6:^.),Ɯ*pv a[f_xhc\3^8:6-hGh}i$I\OT*+:3{uCu 3ѠTB_z6c?cͯb^?қlTYl`GʻsHv$'f>AG.jqxtF=2 5~K5Ƨ/=o>fɯI[e<$zisG&3rcVooΰv͞@ x<0 BU+᳁V*J/46uQr/zdKD0)}1 ]|oMK8$L˟?9'Ɉ>|t?/ $}۽`ʊ)X9;,튪?cI xAyD0"L=g(JO _$^b09 ~iz<X7X*k%([ WuًQ>ō|V6Q5 fKtQ pvP% 8)d`TAR M8v|3pquOr +R ߏN~(;|wunY:\ ђKbժAZ}BMQHbiA_|%5<,BNzdI4o;pYfE=?muDjm V1I$ }E+QFJyGzBeȞ  z0WI^M9kq+I~02O_CMf,`deFMC΃Rz 1פVHh;y8K*3XS%z,/Oy /@\ J蘕Zލz/R[ Us=`qE\M+?u%%&t#!mY cϩˆ_"y hvuc Giȡ"YR.^^ZT~ѧ9J [P(mЙr&Z֋N GhYxCݸG&e3nN5obChbԧvN0\9ne+MܷDi@bОLjŒK(᳖ҝT` J!R`,5+L XTfCa; $/7TN;~գNy^J(/crn^Aw:uG\"T{f2fх8o0>z{Db?l赯mʻ\>~;(0 s>B6\6ЈczN,32]~iwM985H kxǤdCܫH(< gXRVVJJ3luUzx8"(QG$B|Nt,'Qq3󨰶 >.AՇx* roQKV/&k2;Ԥ7xi(+8սa"گus Npn?tVx`  X(fZobw_8meUE @ȌFoA`'+˪JK]9V[R(#αm {>Ƅ*L(2׿ܺ?ּ> pX(;X)]z=[.K #m =*G 9EӼo_N VQIFU"FX,7D"UNZSx2$OElR3g]t5F{ ^hTp(.@Z8%\ {N72M=b AR>1Ɵ_YmZJLkE8{zׇp|b;gMVIN1tĔϭ^z!s.xȀNCDTy]g{-<a%([p 9ZeT9Cf<@33oޫ?Qo/K/l #qśna>Q122|>XrW]"#gA4KV1~|Cf'6yq'v~V-U0[5:?'4^:8{L,-Jtc3x/eE^U"جưfðVsrȆM9@%#/,e/̽ 6,OxHNY|iE`c[mʆ%VΓ4{uP!,9vpxOe sn,}\(z_:׷'P.kw`Fdc)9Q._^D@ʀ-($rh8VBJ%k H0#RX!kDZSrɿt6wƀjssz&R-ir(.g'`)%xbj g6L7גUP6K)/'qQ`%lgY-s KW9e,,.-Ӱn7 w+M7`nĀaIT (1"AJgxnL\9+F멳Lw9\L&7Sy=yߴ7Rz.@k  f}Z Z> yT4s ,p)Šme$m&@~`)_ks\:Ӽ0l#dL;a,O!PV/\ث#ΥJ3 YuN1upm?%iY K}!Ɠ#MIZBb$9B_AhaŔ) 0gYZvu؟ׁ#z">AMWfHh쓇cbY/YLmWNb<41 -VWסg0sxFz"(;\i~ gw?I,yt jO{-908 am<>HeIh(`P[lhoנVjFV_ߕ\>PMWq1?4aYiLM:of{%jxțB(ksRU\ A*2<r-8s|v7?nۑĒ ڈL-hkG$G` 8KcMYbΐLz̡eIOT_64v/J೭Ǵc*؋S3f^P *zoS-į~orB"8uR Kغ _f14C`hL,+@ߙEȘûV̛KLԽ1#ZB1X^/9Aa~dtNdb^4W3Nw|mG"cQFe6JXȘr}X`1{eK?xZUW9U%`[czu>ꆙÕ{D0I >pTFaGQ^hzbDEf / `qOy&۱?6ݸD(#V^WM=ȉ]aTg<3Olh3ޟ}E6Fϐ眐UƧc.㯧0,`QrB/dhw?`75YA _gOS܀3h^C7 {hPMc6|t抋[ۅ?Ƈ4H+w#%`R쵌Jn@/\9gyB/?;2D"0 [p&fEF['V*bLtVˏjș.jx$E1C<1!t9o L1œ̋=y~):rri-`5?f"Khf q=1-A}QRsGNjeP:P~yB60$Ơbtyb PЙGr@ŕq-Nq.Pj[tkeF3:Μ*8t6+nb㢭O"JeK)wzmq~Q+Mm˓-Dxڙ3lsŽ@yK0SƃF nj:Z鳹ݻ@kx_}d`p-ddNblU ~ɢ4/{}N[a*K_G˰D?<"]vOI3I+j.BLoroEwչ|i>7reJUkkWWנG~T`JRGbNOPeaޛwKnKIYdΨt*35ԧڦNVp8$ 2)&slGVGm[u4lMsMςCz]~E6h~ed0DI) 1"ݰm(4r6%\Y ?R) hC&YK?X̸(n, &o0yLL]qOZ`E|^oN.Cux"wߎL+n*՛Z},֯9EPV{ԫwOg.=`g0?|L[|Ȱ议U64$J9TeW" O1 ! ޚ׫L( ՞ꂿ屧u[ 9S4JӛUƟ){|Ok%Н>sF3.OH9̧6c.2qcB8^-[1ζ _nOMڅ{ 7Kƀ'.&#Q1YD+p*&{fxElBaܔz˸Œ>o6[bOR(>NBa@{na>_iF#8}l#جN}갺<'5f@<5} W9U؇4$3Ր< OѶ(0 lL̳ DSp1K,o> M0G[F hWA(gҁ˦JI_Yb5 ʾߟt̰ ,rJ}{/YD-‰T-eDDugs./K녏 =OQT9#,ꤗrmsQcsW@wПEJGEEW/5V&@6rsKUX,g(a7`&bwgX#qN75[JPD: 9tch_<K>/kaI\1Qz2JmmmR@._ҌfRN;R3ۭUpD̫)9~^F6P^yZLI!G2:Fjf\a%C9-7Y R_YשԋP`!Ƣeq:+KBJIkż~ ,FYC,#N t6ǽ"l0Knz_D#x7FL a5>omo$ J KRTWݼ=x`u5c~B2SP0K[` >4f!ZCzs{쾒OE@IᶖelJcj %v+FB7 DZ~K[_kw"0.^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$AJpmkyF!)\li (-ȥ=z'F$5m2ؒ 4w|FЀ0QV U,5(`.x)K; &֚:LoWvӱnm&ʩh!ˊGrγ֯4X; s$gvsTY Er'Lʞ#~|R_{-&cz~iltNKF Q\s"&/ .aڀK`v=M\t+[z rؑ#1M% *?GSa^!Qo+v<7Rhisv[r l[J8!72m zޏam1oY]3΋1[pNߒAmpE3?W&O{镹D4L8'g.P;uLAʕTy\eVK[U,.Q+fsβU䐯dZ@B,O!wT}Zf6Ju]w0< ;}t4Iaeb%'YgH۠m(zJ.t쑞sqM Og_2 vȉάUqnǴzر}1orK4jh'uk/7-jR=;y'?F2vRCnl:DžXk_ J."tCn!S+RZ<ZAe84vE-J=ςj72So#{~8xP v u0>z-MDp uƹ#|9C4pg.?85?JPgxt"[ #ؤ SDFo1Kl0WfA2QP 4ox2OUXvP=3QCiA뗥egz. p&xM*b 7Sv|rofߑ ả6Oɜ%UFtcj;о<׊| NpETã==33=c@6MqFr9Mk)Ambi'9tw/0[贼|ô>fj@H-r47]F|P9Oncfxfz'lotcѽ)Or: Y2kD q|X)Pr|)4@# ͲIڏNMZ|MiSwNȟ/J= Eelb}?rIʴ&fۼAKi)LJcYJ+Bƻ8;^l-y nuWbV*Os\8O>^.8M\7GM%hzNBFW6P- 0Di%\&8t)B1lwҒ}[ }6ul1bʙܘ hDF:]Eʴ =ЁWhc]8i_=7=ohv ,ŔlԬ˻aw$LT,?7 bkp~t-S&E۠U<6ٗTlYK*f pFqHxbj6'E}o\j'Ԛ Ǜ:D á(x'Xb\G!j[n; %d-X5x%iZ]'TՂ[|x0-d5=P)JiR7B,U.Q8xC^)6wib}ʳ栒j bJbK]ΗQEubzxnFKIsu>gtoV65F/ۍ{9"Ih9w <4FyWw:µ;EOYNYoApq)8"2]~zW^v%5 9g`K^{8ˢpf7/KPyö5ʼ_5LJm56T:7U`+Iև)Jf+Ywk>͚mw|z]OI 1Xჽ {AbK 3gDװUZWMeÎ`[,gn1v 4H3e7jocU#O,y1yu#;S6x\#@bD - R&Gzj\k'O+T6{~0m^4`; .FW})S:c2®t-AZQZ Kg1_A{Җ6S BYmk4;¾b&7;T2)|N3EJٻieG/jR!\`zze$ק)kâ,4UOT᠟@UqF]fsL拘-tgXӨ-FbQH8n; $fM/QI{!H)|Uo|Ɂ4ɗ}OGK-_k{9AYMXcJ!@U@#$ LVMb(_~gkf*\u@wX߱-<+Xy|z}n\ C:vS|N4WYq2PUe'fvQ5W-EGM)m[4ũI9FT+8S(@2w2| ,9Vt^GN Ȫ9Ǻ:hL \7Gg]gac5u+~J_Wחh D-:Eq/3 `^2ju4'1_(,#&(؋;iqymߣ-czOj hǯPt+.@QRȥE蓯0JܪnN>dr:Ї=p-{pZa_ R&-wa rv5ZG}|`n]k Cآ2[ZAu'SD/;mnݿt@B/כ$WakڋqX]] 4OZƯQ5n)<n,wr6'e_U2_ZbEʥ«dOMIU$p !{Qk#vmϱ'"l$2Ò<뭨Gd܆Arr1'U\DQ@y̞"=7 (ʈ'?R8deZ[Dp@'Ď$7gHn>a)܊g>~u&s!hMVDG~׻JXh\܄te V 5F́RK%[z99l^gce @\xy*Ӥ۝_P3j@7[[K)*5VLd$IC%j]$0D*&I ldw~5d_fve>bn]Hߙڵk.`hi5 P558QBkg{ R8Yqh`MN#Fxe6y[g !05c< c\N \,gq(+%A5 +V fO9W:hSJpi{`E0ALϯK|ӨieXh2UBIFXeyG ph_8w*AКZY *Wc$U=S,>qp65ݾĹ DsޤQ)ieɨ`1bM4KG'bТ0+u3zs)a~blXm61Ws,ȼ7"0%ַPG5H$~ً5AcMy~`*?[">`P{u[&6;Ŵ'ˢYL9wXu9Nr Et>uX/A #&wOOdIjxI0}ti:={N KuZ该ԃN*% V#< hkM]itk) h_y[pqQm;%7{ḁ}iTE5+Hݧ?w`~΢P E X]CF<\. gYZ ::;1/C# HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! 9]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STdS_wIA 3QfJ8&Y?Xy*Ku' -OnfYAk?03)g}Gl?_pN^}RϏ7 4 Hˆ;b#>yZ&Nzȴzm9/hRB [yv&ܤ mR˚ln>^9QMN߭tV7aqR. 1-|$\r8!K)&~yv[z)LMۙ"kJh`n] Rhr)ltS QtNXXꌗPw &IGC''.!, :X*F/hoRF?y>PtMib7PFh])`Q׃z9&Rjŧ Osg\jG~Z7r%2mxXg 4h#mvsuCJ骂W%LQ98w7G3F'0(>v ;b|t^+KE~W8}a]x;hǼZ bumM]6}ʜIW/H% Kܯqm`ϟCnǰx /4-|+A0F!O g9 &{m-g8[LFXkjuƗJF=3[2a!1%MA<ŢVk➑]Q=ޅN l,+mx-I w_ISaf}R֫@MFC8[LwDA\58)&ZqWU@Eˁ!CG6u-I3ch<0+MA/6gܷ: %P|[/F'y({Íl7 jT:AGyڞYi$ԫ>+o/\6 Lσ~0*!4B (% я 짨1*BxaZ]<1pd&KB&'ƂqNd6 \['ΒhYP aqO [8})c!xcT˭tT5Q;*4WFj!]cq nE:;t~Q\re̝>،rGDU[Me+ʹىjԈU$oi"ʺ`T4]CeAPc2+4F`+.\-$!Ri!DD=1ViLAwnp6Oy >qUs,7XpgN]gڵV5an̢7cK>}>ޓ׶m.AA įڣtXgRS'$ORJy(8vEEzUn̻@HB ">q>;U.xQ`aN 2 @e4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id218=2/C' HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF!  <]Άxʆ5.f-9 rq8L00q8Y60TBHn~ZRIMȘ9_55+w*MyUa>w#<Ӌkk#|LG;!P  ̀pB|V%J(5k$4A7sWU# 8Z, WZ3mt9.u]HPGhM>cd$ka,׼˻Gh|9V:t{7sEXLyZa@#pQs2V-vǴo܊")U2 }YfDcsU? 8.ZzQN(Ijp&$k9$?Y8>$Ü{p!RIfżua<S l^!_V V)ҧvOPHLrVw^Bg_5Ď.59%'Q)}n ~҉c^P-&c'E.gjSnm+D56 E[FD ; /W{.kˑ"Lg*u̺`@s8𢓲Um´ rĶ83`?ٴf0xoU<-Z9 n$C6q<.K4^7U~aF͔b81y{SK6gIN:MƔ3#^T[L9Z 1B >1"EYՈz7oyiHRc B᪉9V͈ ͂gf˵՛m9x(Go8s˙E61h@e/xU[Ux bnEan#lB ^$e? d*)o/:78Xpċ{pKy!s԰iipMjpu&U@ߛ$r@ }p-IGemKs,? h[yhCۙ o E9)KlGzſe*#CRŨ5v" t ptE%xa$h \FbH9Ȅ)0:| wѠh!=quBIU$|z;>'tυ( X`\hs*`oձ:'M*焷H4 ~?N?]=:y6WLF@m'9[)ƕY2$!D]rU)'x:ݟlSS6_Cy$wƛBddfev-2  YDUxSGs|tyD^aYN3@8l|Wc?SU'r$rIɛgr_Ia@H2Y#ͤxՀ<ݾ@G?%~C96~ܠ"N ZD46h-|,}a GJ mh~F۪fG09/#lp/3=]99.,;mcDnPu$2kѰnZ6n D;5afzsƻYEYI-7w ۦH|ea/ZR. %Gfr"fIRD'o?Y۝Nðl\cQlT3WZ)@TVoёC|tUq@XRuYC[.ǧo0c,Dnq~Clgdb=kgh̖X\oigkX4z90C}Z ֖KpڈsȨڨ%é7WOЌyT uaeTuS+k r wRhoqC}H|ۨQt@Ub,Wcf-[J>ʿ7V}0IHbw y:{\zEY'ۇ;I=8LF{+yaHe[S퇴_&d8[ӓj`ߓ!/y.V^1/O +ivs|4'D3'س HA, K[Yª?~Jw+ˎ̱5~.[]ZCUqB&7@PcՀiҽ !4(N_d.^7HI")6%U!X;gY$}8*%-^޿hQ6'7q@> Tϥ#1VŏF3(Aȁ@GC aM݋A 9  \hը/k$N0 guc\8\bMOYgweN a }!6ygeIjiZVT@;{ gci"t\.^ 𼫨Zk!^ʣ8{%a){.%{eF /jn/y<9B_鹪wbz.ԅ>+d$B[_={?Nx'' fK.hCSr>G[TUe^G#z u@!9tHĤv_63_s J^sڧtH]<.'om`ϓ:QۋQUAe/ g2L~@e:/Y"OZrd:'58"no5-^1ְz~KZuMl6RQёNV#m;sbUMm-31tG`[Q_߂xnV97&>)wϫ4V{jp0/,IX>yG}> i\4tvΑ0b ڑ,,`Y@;gل2.BE#eF?o"1;BԽi'C'{pao%*. X=IY@Qx!Vlw^- K8{;P0,l;| /+T/c:z3}36XYy'ku2 &,-ZiCa,WC>:KNր אΛGYm7Rh\QJ0ndE=؅|5}lDW_CN1n݅ǯ"kL*H )O̗x,m$hPYs:r%ݕcl {tv[NZIDsTH%9؍Dx;ِ% ]8oC\bte]FnݎK3 7#uƈҀmKJxZ} Igvz^/ÿ`UGhOTۦB36X喇z%ߠb[ζfYDZKե)F֐pbTCYL!`'{v-b&zDX?-Y1 1HY-cC/VL7H2.Fb't'BL& 8eQ嵐>4EC"`\qOE=;E|''r4'k~i kc V.I֖ ܠn<_G{lEoCM%fn?R8)`47?u9Hd;ܫN ƶnų.sRޥaI1a4(|uZѷ'A'LQ 4"EOZĹKBI*H R +rVr Ljz`,:o."^HL:r ǟu0K0CЗ*MFD3!RU@gwbklj%USUqR:-:&97JSҴ*=BʱȒ;x|!\Ki ׈37},kgZ̏>h_[Ƙۿ;ziGސeByRƊJ,'O݊t^2CwM>iTtbMYujq~Dΐ"/, w=x6#эm=!u/hR+d[5I_+vE{GEȭG>KPs~Û_ ᾌT"nARf*=q0oBK,^G*WL4'"Y7GlKV) 273ǡ/VJnlm0M r$.RU l{+>#`  7!M"d1ԊI$D53j1TuL>N`Hس!T^< YQyV`r~H ɥyv ;?pxoz"$",zb_.}gk-LTSqzE~jF" kٯc|F7y6@e:LtD +OߣI=1}ퟐq /ӥE<~qZ,h8fp?e*@C#C =Ee'gjB~3 IU 0_H$-..TS*kf8GHCJAjk:*9RKUn<5(E59Fu r|{aρ0V4/d^U{ λ@ص|Ǹ2ZRS{oS3r;|v\,lU{< Y%R36uJ;d%pρOo9ю-9ciY绯f?ށ+D>*(GG]]5(*z}Γq@%aB/plWY=z0No5 (ky 5ᢥL8~R"}Á(sB_ k [{ OW(ͥ)҈_bPЂ,RWL{8GuzkDƥif(8>ƥc@r&ǚk?R^t3$ #.ggct@bH|b+ }h%nS"ܛq?G0gRt bqV WWw=u̫Cq,@,⾭(wE@I%t(2-M 944$5.ewj"Q 4RESRyzסR/tP#u<= =gQMz7DG(JFLM-XrL]U|Y7?gE{y0^+`녗ب [%UubElWYvI&A0%P[6#IdS!{.k* 僾lbNx!D|:߭G.`"TR6x^!OMFYYZ\w[h_x.ݓa뀞lKcD?ҥ5~Jx>h .k>j,qsɼc*k^z3|Õ~^R:0q:{6r oy^^"EC`}z1 'q<$mnzU&n~F _(n|Ó%? Ly<`1+>珂S%l$+ :obcԄ#KpiI&˘jimD[z`d[?%=GՌ c,0 j8h2"N;Lzwr !tH(h|yt%zu4Z6EU(,4ͻyQq  SRLRr:$g˳$y+%$a`ڄdۆCSq̯Y|7`Fƴ1Y֕s95Ŏ aٛs2PN7Ǧ_%<\yz8vUEn7&Pwp 4x*5$2"YQ\St캫b+ l W19gI63|uj/'݂L{+BM}}^+PA%ZY3{=FPˬY9"DËQ|>^U0ŒC#w;{yu,'lۉ.ٰ}n˹HrKȬkTjPkD 21b(?cr2:_I>̮qC:L \+DG-ORWH<OI(gYZ x:9 /7# HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup7zXZִF! ꭹA?]ˠ)jk2p O6LP=͵gl5f&Di5b^8thKg~ZX&\-nsg=OcH,ߵcN݀R+ڒjl:Y0k589, )E|^,1xa_Jt=p`zL=>όAAɺNkZ)Mj7p&t'}:U_DGUOmPWͼfQb$U} 7\$^ݝ_kڿ(YƌYӭlt1[L^m#_lCNӋ.sݒfӾO8OoYyCC1ꈽU[`i@ASC8Edyt38W8/7!LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files~~/src/HOL/Proofs/Lambda/Eta.thy@7/7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id214B6/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages7zXZִF! =]Άxʆ5.f-9 rq8L4%6%ps HgY(Gpw4uwޔI)n<)pLaߕsqaT/J75e6ӮtSN>?@_338v{f" 6d'6DyTUCIkr^J3`T%HUEY7i^uG."#n00QվjPzLJ@ Q ϞY3)T{2ija@at\8Xm$u7 7sF<uZ[C !1 n0+dqQЋDA R#+*1/2D8>zCY%-w9W g]Z /8Pam!³zT6ڡޭhMKǤze O:ə *3<, OyULFI, fߌ`w ͹k=靝<>VH}.lIͯ%yx(D2,d!\ɆW,"VI`}] 19LwӻN>QqF>)f(88ͻh(2xe!Hn .\_f* d`@X/mPh7 NXi\Bb Ah\;?jo$ex)`"ɦ49˘u,VvQ[ +id Pliu⾑krh-ҿv؝s^,#ToHj]KAA`_Vsكrؒ_߳  <2b7CD\nVzki*F >OGHd#51m̞ϒ 0@*, oF{{NiMB|Ԑ@AW53ؠ~12cIN9Q5i$Z胍SODm%)uC41 >wʉϰ>c:<Y {>סAS9T,5UyyllF0hٿI1rqL2K7$YRs bwpNҗ~/mcڕ>jX? `G@&W wV5x18yF0Dq6]7 4 liМ{DS6 *d#a0_ꈜ?4_F:?ߗd!쒞AWcNJU@ѰEބV# o43ZB\[x_ƒM,"c8mm)JsϚ,z 1CINpW6,sW?,'I79Y`DMDOV #q*;p"C# C4#6s&΋zG`[WFzdAG~G >|qR>ɥwOP.~ k9|B9"-A%16J'ǫ&foK;O^CJX-Y 'A?R @a5F v*L8G]i 0}Ph& -s$ۦo#a@.ZaÔMЍLrv^eN g.bt_ދ?VfԈQPB  AḣJJc&橕 ??o!Q9RU(NTp0JaI\LsBW9K),Yu\V$l:xjV6Ɔ$[Sm}E >d{=(S Ȩ}` NSpv}T>}z{ƌHcʁn8lòmW O.^oHqBpC1QǦaP&Β E^}h[>-GDE! K1H^/k#'#ftu9& RO/%z6#>$ cey*seY n;>!0߲ǚFjqAhO p5nӜpWwRn{jb)'JPQn/-u-QP5Z2AwEN.VdWSdld?|U1c}wn~t#2_-M{M'S3;lyF BOWPMsH5dĚG"K,ooWk-zs;ͩ{2"l"G Ka_I،`P$HKEk_;#&2!T[m`1N!Kk3. 9A-B8tijj[ FR̟ @-kpk޴f8^Փ*5ʆ(/%x_~e3Ե7Tp$-QeGf:X YP{.Ovir UΉhP4a>1Z[|GVSz2o$Ӡ{VfOKpZ vw(86J8pOXcY݁pО㫑#*8j;yTAlq/A{.̂*hؼc73t!W2&פwldX8x3B(ƢVgeq=)y u,}<--.<֌R`/>3!;P3r},RW|ks1u9,d= GaQG:yD+=nsU5q.- .Q'rC%pֿ滚4 lSK ASK*dÛ`܅ZY-9ALjy!o>)Tj5ؙY)J^/yS/G GZSi"(,@'71i"! Bkk|;@!pTgtn>zܻ!Ή9C1l5 P;teZylH=~kD3N-}yMVLޞ"9ch+Bw{Qj\}#[H+ŅOxfӤE{NLᗽfc V]@˗ H2-d,\Fî.*ybuNH$(`#®;2YiW*'z% ?}sWḨac ;"`@?E^0B9gd^ȿ}GCARW(UW?T,Y2h;Eˠ W = #$ypj6R y_AD@טISL#UXDlP^ij34ʿIvƬ, h14(StC|0FĿf yvl; V':?7w$m#$T*!*v).ͥy6Z !ЉcphܴUj<40 m'$T"rS^?&›',qu})iG\ݹW".uߴRyoP|$/T2뀅B)KﭐNu2**cVM_֣':>mK3H% ~ϨX.#n}ͭ"sI%)%h٭TYjh? h?|>7Yܬe{Gu%>Ycb;2+qw v6tD)5#(ڥ~$^+BžgFYNWr[~Vc0xS?Iv,vJ1\@<_T,EĪ!ՠIsG\=l:\SW, @V5D`>v@М3ɠTRhWjz+*1N9ݕ} D<cRv?eQ@Pjؠp,lm;R,]CpɟPڭ0y馡,6hD5UޒƗ'Q!I[9s?&MMptkw _8{\_ xt'hLf"N<TĥE-=cz? 4Rk#~Z;<ϊ j>3r;N..5Ip7cx=Ө%Wfz"!c/~L-&t(\WS@eB5gݸlu*"Ϻ!=Ztg ~q4!8Jpw00e Jɲ6YV.1р$P,ԞWgºФ+' _ʗAIA#Eֶ57V%(>P?pfwm웗W@NYVOqe];Ƌ#NL(d"kc1g $\Od:N.f$ + Lz -EZ0oٻ" 8K$?/^08)|7E%Y`]O">ځuӫZ"kcbbX64u2$ی1dYe񆂶Rژ&soAZ5H#Ż$np~AFoDt.ׂ_enxJeQbg½7"M38A-IgoeFηYU!uKn\ةݫwHm񽾑2hlˢ99i0nѠ |&hD̐bYtQ*) 7$؎ Y\gaWuT- g0$m_xSܫ,WNG7x9k[?F +1>jr tumFAȂNR9po"oǜz1 @ytHȢN=78S4~` wQx~y/=N_:kUD85N Ι3tF"{t"_ܒ&$҇? j 2CAݞLsK`:nWe =%Ʒ)Ƽ:O}>Iwݪ͍1D4IKayR`m&4LbwyFDjh%%9٪G־ EamG'Qs]{[]3H|?ygFԑ[r`CRO<ߔ%""R %8Y3~@νR7\W[*Rvy=-?)x G:L&lqDA8᎖f;QPks$t9H^դ 9#;D:}W)8;VSY.c}!ntdrd~s@$nBtAFCdAyi!l<7&3^G'w}jʊ{GU8zD߯qA.wh;yIsܾ^oS{:Ͼ?0;k]K?1"#FFInY8vXgTė',3P;MB.uT)~n%er=YԀ4{3u>*K9Eo)7H8#v#>_8F>q&:zu҄:s'KEybj:Ħ+#y836ul$}Di)HM!5nj$]Ly0)0Pځ Rko$b 4Fb+0/{Q9--e暨2h@tY{EmbؔE_Ї6ndzI9#(cڮCDAۗM<,5I( RZsXm5s_sf-F!εxUodIqO dE(ًEB`$[Ł&0~R q)|Ӿ؛cUf. R\D?Fޏ`U wu%ֽNndSCݨ],Y?}{v!x@oI_ 9X$;,/܂y};DC/1uvkS mE?quh~ W#0$哼G dUJQy@x{9L /.o>$RL?AU;'i~*hLH6P$5.nW'ucKmN5uS;M󰴎$:XS溕W\G9B'O2Phx@œ̽1Oq椪ItYEJ c9'r~S 5umH X Tf\IҤ2^& oUӍ)EjM -*fk|+F(,RP.|BjF{91reX)qְtgO }q^ 9ق.hEC;bh Y1R_Sx~$q2]4ӝ@!^3ZY8/}CKN%BC*y 7\C/#  K6rzb=`n”O7؊/ NNrifI1{f,rc[Ԣ^%h,6bs Ǿ%rmd vOr=Cjq!]id=Kv)kM֋[AW$ E|WYh`Ϗ~PlҘ(8@wQ87FCH =;>hիyGEʛN<uۀvK߱KJ ֧ے}(<R#-P%@#w-ol? Tn <@ NsV%qRp%͞Ԅ[tNil0ߚ̉T7Ug;F z2/*I{#}| c"S= ByDҳdv[_#$J[ \R?Hm]R`w_+YDr)%##+|Z.PTAK'r_tL${JEN.i"FYvFeqvPnB+] ^ƆKܨ>/NdlLèhMS0(}0x7ף9Sֶv$inKgLjEY ՗ YrȐ8:5`{Xl)%&P~p8N7eL%D.Zj*J0J^W@b{SJ5KNacF$MY(WL)n&tGa~fSAc8YJ~Tl{U/;mXǑla;ÛmXa u?P@rNfcF'w 7s,OQ^K\ߠn:6 et.v'Zxp H'ȊwW^H7I & .]JCd }ݣ% X sN|>}=Gn}}S'5#˖:_k7)-I9_~H%4IWqŚ3w+!mrqJ~)w!u]}*dQMذBbFylF;|plm͏1OW̼j9\oPԑ2k!*NSFid%Ƙf=$Q-29X= ozZZE.F=4ISz8v^/B$0đ߲⸡#bDVyѩ (cZ{5r40qO Du1 !P*htu]ԂmuB EB+ g #dBHػ=jylq#(GT l`G/,Cf}BI *42Aϋ)]Y#n`Up4<8wGp,h=3sI KL< 8 7iZɣ"2S; uP'ʞ;3몞;XT>S၏D膭$kL0Nf$7ϳ253kjtȝkncb j#wRȶ~mÄy}43cfGH=a-eɾr}Ҁs_$*^VU\[rKWsNӛVc1j]$P u: J7R KVB䔼I  #O 9ԝ* W'C 5ר6eD/2@Xų[*Kw$ Џr(G!I&m77yfˣiX[o lC`jv $| {I.Ct]XTER+fG?R1v{d^qnvFC@# zqOyڽLkjx L,B }o=+TwXaF,O;Wȹ}F2'"05.]D͡\ z/bեU@!96gZ`C(|ʱ%OFӛxՖ(%=2JYr BOoZbf#al(Ƞ1,g/|JbbBxb!> 7dA^y!kWHq: $.,͞_'\էT-Ч*"8' U[șw3<;r: a '6U.F`Laoʻݔʷ.3/j \P~6R aAK&qXe9ԋh21dZیY z-z#\±Q/:{U9& ҥ@C ʠql(gvklE*@a@N'D&KQ Nn, b؜QQ>S빱oS?xxx 2A>8-o18q[%6 LJN(98b}m q؉wH[YwG vJ0Lbe{|?TP̅r=J-1jeF8Bx [- J+ ݡd]~]p Z,UH(mH7v,RDL^UHD'tG^!ח#b2@.5;KgEH +%q_Qy䩪 pˑ-べGc< 4(RWW~<רu5I\D&|%]m&Ϣ(|ozw&DlͰ6}@nRqZ:ӰYv$|ot"GjqH``PUtC mX8KnlxVMHRQwǘ үa8u%QJyF2%eUVX], 4d&ib,-(9rN֬{2ٙ*݇,N鶾,gőEVIѪǰuo$'^ҹ子4ɛ^屼Z /~#,^~DJx.q:SvbhT8.pna _ (PhzR QA@gkO>W3P OIAj/n^9!c`%[³MDq֞++OӈCg*Sy??;aIn5CaXV\h3[Dvk66>].gc=-j!]}n[_0[j$5+! y}NsvM3, V22fSC4G̋p17D,-s[2Eiå'!I {g6%={t›Â<{L5 \eޣG^AG Εho:ӿe)/"l ӏ82NuoL =9;0>F0{T88pk٢y%\MNj #exu>0Nt Ц4v^0{Jna߰^|`-+Jdq2{iQĉR%#4 +$Ȧ:Q\7ˆj^Ip)ܓ)/"d*iP9Q9H9@\=r4-⍸|:v񁜬 1~KI̭'#Ŋۇ'StPf[z Ge$w8\3HL+r_ %dLA&QW$Bnh1]F)GfvzګW>uZTw W~ ŠM%Sa x=*mj(EӞaA Ie+'L/ݡ\-5}+WA_gV>{uGX99hП0xv)S"8;M#kjߟ|+oƥl?5$hoUhr37Ino_xϝ;cliBrlp>UAj<]/{t\_R>AD=a^|[W OypFΖ.)JjPy]R.8Vy e0OZ|-V+um(&' :*I_yM{H8%"m[SOa+!oSRt;3sȻXfZ)5c5>j1,KR{=c_̰E|%eq=XCrsW =ieUĩĒ=9=I[7 C˾œI@ˆ`fǏF9-BjpF/XEliSѧw) "zf?.c*ňdq wSF-LUVtTy0f o'3y{8iFς~ɠN]QlYwy:MpGt_Ǹ=(in~4,q0Nn&jQr}7Y}mǴX}j(Gd$zD={IݨXcͪT+6s3wVR,ʱ76_ G`*S e ½X Űj4q⡪Ç'5 U- 4 nV92p;=C>L/|&פ-@C&1\ vW >^g=Cs57rs{hRi~Up|/8sCJx1Erf>/ -֤ٔYd~ $<=49u *X.āͲUThCxNё[|B~==d'eTc5gipMM nK|9pHI–ZF,chUұFj;[L5 5"ʕZ՗[0zpGg*a$?/gk/U%@egH.@4ms=ҭ1ˎGJ!'vmZ#(,iAu5:zPr,w 6NYjo7X&C ;S,@k~^_ c=Gp&kOP69-oט.m,gB~Ͳ+5+ [,[ݜ 0e_/k{\2` ~}@}wEH&tGdG6?()YDzwu>ꥍ%4}O@?VC J7($ g%K>g^$T2~ދ/6ue l4Lf^\k |-(՚br2̻=4/<ETɁtkp #J,W ؒ;y-bh5SVsטv>m !HV#>T$\3: @-f@µ?%73}uR"OL°)q. #y3uɦ7{ßG4O.VeJΛ1S/`ق=ﳶ]5S@Jt>+ߡNyFV8^YpmQsNW_&>0AԌ|+30ᙓًҼ\3S4Q lp$\ O!υ%q.Z)<,TR@] G&)tdFRRׄz:,xsOf>nz`]Q\}: 7|?e1.]fۉdqʐF sq^ivgӖ,# AT,g^qhz`d!h\#"-,!yxIѬN9ͮÀsa<_vY38JSIۅyJU^ݾEㄤm ޥ08HƸ9jS)@, }!!&Gc?m@Z-ő%,9B8;Gװ7&O}/UY $ 'l}?\f&?Hs)P(H" 杍9vFtH@JReFL cgs ei Wہz mSh#&>IXg~`\To *Xš )blZ/h4Io)z:i&#O|iT,w H&<qΜ^P/jkL22c(G?x$o+ru] ׈7 ŚXo H{[&ߌGi=I_cOKBSs0Da/"pKQ O̐K9O OJBN}4'! yDD2tCDsd8>]bC: ,,wwE==IRW5Zc@yp0B mIzub}E)bɸ TAW~2qAj/V!Xp![? 6py4E.B^?gr`zwi#g.MsdNN<3N2_4tT> i h5nI/jW>1ite042~8U/-H,k r߉>a8yQ( /E# |HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9x]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4ez8c.0ɭho~麅RMA}8䑕 DNo,W$(,ǬɎ`[lp/DVI9ʔ 옔awaLb2-n Iw]+.g1FD+yJQ^4?ȻH4)XC 9$X9ާzwrȷwͯQEצdvnrt^_Hhu }Zek WƶV12]Fr7@W$2O$3>dK>p`eU4P_ٽ%zVoPXZ2!QsH>+%{qZ9BB3SlI:% Q4y-k:]x!K 1m+A 3߬cnW Zn\1{::PHB KJJɖk2/YZ&[Pa|7s$ݚ'~hl=ihAwNyxUu(:YG'cuRb=U2.89Ӵ"(dmJ%r{yn d|!lZ)/W^?ut˵D F1O\£[-]F|Ih/zI,"9:bZv<{iqEd 73~佾 XP!tz^?L{{a՘95Ú@rb@+^$ѝj2 C}UN*k_fWΏWK^%par譿3е9".HTZtŶo(_MR(tb=TW5_t?S6~vQ!pa͖jh-U[ ̑="Y6L<`y4@'pO,cݷ?xNCӖb '$ocU1ZN1;IL_`luŜ4(QVi;l/ &˾(EX>"ةE/av ^pcoFH¿-& Fo;2ffo &LHuU.Kp?w ob[.{p)<'D98[@VopH?ő|CZ^7WI2[ (FaÊqyi_#Tg\PKư9sE MyŘwtۣ iԓ~'x]{r[w-g.}0vԉ \%'W'uNl!ɊL?20PQjHYr'tQo|{K 1`ގ@1ec~4āPS>p{/N2ގ"ϥh!Aԫ.ISɫK,6X)D%<+M)p~X@RgAK>_:Cs `bQХ n{Bw߹&u VQЄ؉<5q1ۘAcPJB{ mv~I$OV9Y} xmXb|h څ箜a 34—RҖRFb&ؾY4OKRG$U<`JXm;\+= * w_p80RWvc إpPb&Uo- 9}8P t\Nj h5 tf&Z[nSјqD6;(oW|6[%*ȝ6Zz>>^-֠d,M5wA5 ]VAmR6M=9w P3y"!k~Er,WR~0lc}(֘;V`Uu}(8g fK'@C'⺮4.we!0]T-2(usx2C kS+KҞQ.]hz؉L#6SaAi Cl˼yT^I:h6wo oN{C"dra[?"zϬֱ3HŢTI `e9i8iŠ;r4wpn2h8DYruCq ڽ(<< m,LKUƪݣǰMKofXz-/^pY g wMG]2ϫLDy\A7ShX_D?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! a]D?7 {?:fH\L7j yoew+\wO.GB s'~MDxv-{ n!m2>Sw nFL'zTmX[V`=/p+ o2rP?cS$՚ltNby\Iy?0as wͻ6ֻ?8# =H,LYF-=K)בIu?n0}g,QzC߲h]B9WAnV׺ck@h`N$[aS%rp];UcC.,^(:ۊTjHBԑiHIBƫ`G؄qpzJ#9JgYZ %b$ Jn6 : } = 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 P7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex ;I9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex T/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texUEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texiK;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'@PXFе>Ᲊ",gMU<~auFΨ Fo6$N"{H>`FKZՊN^ѥyOY[yVRBٺs}M(ܵ=Xsz 1^>۬Eպ]ֲGd₶Zf&l{~LH0cE|}Di#L(Jn+}6U5k@gQ\'_|NN qU`wFKU>Z&)VNL`^PψG"YPIIJWf#dZ7bEM`_ 4[w_-fv+Ѯ/x*)yzkNp;kP`P#UkO.eHxl^/{wsJC=|?`r68s р0f6o= Pn:Y}}jӇwΗRݛR=!Ǣ 6>vpȡ/ƺI 6 DNU<.w4n!{S֟ =qCn5 ɀ-:< K&)p8Ymcz.$տɝ4"tyਣuL+áO^LU\[bUDJL,k:{V'JHFC7bXI@} ⏆}C#m6L@[y%ʹ4BV *uUmEoҩ 9N_{aF$ڟ;7DJ烙ee|"B>q.JmQRsV?ge;#@7cuA#`k;@@ -1(sOOiN,V_M7RBG&r1LڟԬXsx>Z\uˑM4V^WEzŸIN+*p8}x=4b#9yI3ur+%Z;?L)|J,'Mz/,H!^~D'\=LO &8&4YDfjܜ`e>WCPK-e5_6y7=9lnfC nXLi*~wĶ mYb #}&^ձ]S;q0Y6&AbuEԳF_K'Ҟb̴uZ|xl̹/-TY;g׾H˹|%tǜ*2!V%UEhŤT=$SPlُp뚠2dNL.ϋ#}&'QNH*SW%{>aQM_&C(VK}urW>NiekC;2Gb~`."+2d=FBY)"w!AG, PK ?5e]Xb0* :UJ3[jg2Mj#+>%1 l%iFG(N:ba(n|50+J5GTB=SRd0xԭ*>"CcI߉"a.*k0v(dwGĪE7BQN9ٚWثAB q8h" ޿." a5“$ĉ&%7%!XUL>[@řVM=ꌱ1/Ad&t0fX.C<۬5m: NPXz 9SD2!7 t6Icײ6 Ru;Lbm^;Wb%"o|xʧw>>%r)dBfBYҟã?q| nf.$*7\~w;n`lHJTBUIq;ᨧkX2IYm~ y6M4pGA~M>*ϯ;slw9{)LJd{aCHu5FyJ1@ sJ  7kQ Ӌg ~h=Fs! o Y)>cˊ[tw:Ee{y;ӏ#UYe&&3ec?L3IKnyvp 46svM_}-aav7_s6fuNd9i/ɵ/ 'R]0j; )^,@`q8V*ڿCLD/gn&֢0'bk;@Uf _Ԍ[ ״q f  p/s 7@4CҺ7^5{ pǻ֘SI,w cа{J4 ]-3ąIg*BEw,#هEݘג~ "a 8e7玺p }Jq=o\o0Y X~이y]/Z.{eƵq52)Xy/ݱRq212j_BFVs 'e_7z{~4=rcXwv᪗҃6 ịs*H>iR//8Lp}@񕱶YgշN88 PIO{s4]|{ EZr0ޯ fZ}PJw: L~i;[Rs@LPH]s j{ a**?pk)tmqaϽO(܉,wPCo|!NHX!Hvbd3vv\J}-DMƇe=h|R9az S=^ |~ F"oB7*6)Q/,~ f?N)B7n+/(gi)P"D6N$i髖p-#ߥwu0*s7\R){EA5p:OƲy%emÕY'1_buE9A#>qK("AY )yN+*vG ~6$!cȟ6 %_`8oDFo8g"w9Η:j飥K9F/z*~JC9hfEm߶ȮOtiS_/x~,pMA1V€ghG0,ӋW@LSeg Gs#Q`~n]GL+L /ʘٕT+0i>IKMxHS4f!`"w3Ñ>~ƅ"=P8Г/°KL%G?@uiw沌q2!~X'Lc.WHMNzsE){Ahi$Soy8?Կ%~1xkƸͯQ3wuXnċ%]#D+Pi*\%+<'bv5M5OD{22rm!k6P3˳2Ӫn,,Q5!ދOix\pQ9'K(ץ2uqR=2a27@(觍BJ '[v_ʟxARi'voA 6*3TP\vQ]ϼ*47͑b%'[=nֽ%0{a&ODo|H %GkdpCj}p}zH b*p<$KQrtMP~a)1v.2p)WGd`;D׌@`|y?k1kA1"ì Gi[[|ő&93ekw?&{T~,+:߲eì#køR+*VxF#^o5=fbN{#45}c6W%R/*zgNV{j׀nё8 ,HWZYKTyS`\뮎DFEF,iw~oVDDѾw[1$5;l,g],k\Cc.YaQ (WMcS G!` [W7-GJU8P"vv JjF7HT>[v4~J-Lmc$X p Iܐs䛳W04v]T,v)lΰgH'A҃ɴ%.Hy{\sbn.,O*ҼWG篱XrPK/əI7=rH0'leV%V`K@ 7v4Qrqp.@ͳJ]/k /3|}K=3 tDڷzV}i?5aLbZV&48 &3@^ƛ},Yêո\]}ryg3#4MB|Љsz*hjrY>?Մ1Оet 1Λ8Lm'$z^bK^KBiH@X <<6bDB qCt;=&ZS0a#E"d؅ז<ŠêO&m^φe\Щ^ڢEoH3xifU1i3/Q^몡@]-?]nj_N?E$c>d(Breݮ"ie"sl Nvdw7X^{^eX#hu0R۱׶udvOh#|MoDC2}MeNj6f*YD=Qjڜ2خiBY" ʂLR7J%{s q{?C(@{s5ާp$ep(i71s5 N*;W"&Ta&,>s 0, է!J^8rx+[~  _;.IFL罍b<_ wa9;жGdAԿE>dEo#տ\;HKDy̨+] i1:ќ/7ΰu)S](PDRujf;'속0>牨354"鸏BtUb>8nvN'Sm* //)3j%3K>J=aR%NВE mD|pyv 5_ʴx<֍\,U>3&Qd)!6iyRtf5>>4o FA#fWrgwsExv~ެ'3SՒũho{x(?'[`dͭove9lsܺ'Oasb6>g4Uhu}MRbFavRY oM:s[6h}+VեMq4vWeB: #Hv+ d"ŃX7O+O>qZYj-8SykHfjV~5Z#[_֝ReuBcB*0Ϡh=)JU6Λ>I/C!v([&ˊ/E*{BC]Q} 'mE$ac|0a`C<?1IQS阒 + -]w}Yv; |[ I1uC1x H%#Yל)!й:~3ƱAݕAЕ`w{n"ߕ?jGYYogohxI-\73 7hiKy\u~=(WMW򮣲]\h4'tbYo>ax!JaYB h'F5HdL.N@5K2[C>@uԹS5K]2:ѥi!lzH`.d&F˂BUvlm@M}O'D"Vq&" &cJk\G 5}|"0o,tmk~RCw0;V)> 0L[N[D␪^PR!։uI~OtgoK[I; = B0Ǫ˶]A2ȏ5 "l YhwOsxcZ\Kr>sJB( +WHD5'Jfn;}# [ySM-.ݑ2zn#hÏ$&N)S"@|t GU= *;HAWkg@d(=X+d\Дf-=d7P49=)4Hl|qbZ.CϝK"ݺmYxޚۑUÛzpQ7; =TV9ZNŶ?uW0zU֕x剳γH[Zfv(!<;S:(M`,d%[1Jƍ 9[ˍPev&WpVQЇz?fyFP;O,'ʝW\ۈǐ~y48/ܕЎVi$> 4AOJC$lX")e &^TҡO^s֞U`>^*LF"nP(QZP% I<ZաA lx/}.g%CnT{niE7fa -SKʐԍD|YL@{l7`>dk`y$RhSǤr\OӬ.\OK{Sg[lyG @k 'Ap .*=X(GĤp7e|ߊS Wz5<<rvuKCӯD Wt\'i#5P*햱hM[*4YςdC"py@m'*EHϘF^Vғ%֧Cjd(T/ ۔ҧpK:@ (Gkq!Hٓa.JQֿ%KS>rϘSv>jO%bhb^5MzAUk9 )DL'[0k'%s*g D8I?}95jtyEdI-i4sJL !T.`Vs}E7ZAD6cs[נ-8-oK1^蓮oVYe_ h(^FDǸJOڳlZq7ًqCŻE`?ٛ:{.'$} MG1dmZ|Ȁϔ)nr .&I'AE7 =r])K4UD00^(.Y0nnꄱfZ^^&#gNcsS^A!2!|lIJ9ioT2^Z&Fn|Wֵ@֒TчM |=J4;XѽHUaN[K/a,#L:LRY3FXvͱ̉6 f0b]4I_w"jX2Π1CYd cm37Q:`/bO,O8۹\V钠1,JsB4Qb SA]"UHhh4AsY;Q#LG6p;Y| np:Bo(6[C$k+ҜX2J0^#(1qw$"_V7?h^_X׀ة)oIGPe1nf莆K[nHAa1+8Zi34+< Z 6&Aa ϙyPfMb^R٬'l5ʯf~VFGvR1|=3H!4mq ЍY_eV-iI(Oג\PwTH3qɐO<,gj*W;t)n]0ڗw#B!'`9*PElt:~c^b!anxŹ7r#E?~'j|ݺ+jаMΜ62zO6Y?πO Yq⭯/%9PuB:>p)0.:{Ґ6M'K~gjYMn5S(T=3C%h 6s ~`QJ^vks8;*za;2t-<7f#ĈBjB&!ZЧ~v, (17!3Jm+%01RKRԇp~A=X4Wz`zC{az?,FO0u(Ax̫:גr\aD<؇xbn|s} .s RT`V9G$7+c)H_(hb޿kC6C>Թd- t*Q4aT7$Hܓs:^/V}vYY5t҂Awq,*#+rrEv H%>Ǽ_Yy$ z,b8 VɋB"ş1?bl:oӥe </-3a_ \ 5[aRN23Bp!JVBOe[ݰ.֢s [%OIK p>)H߫ B0^6Ͷ&<ȟ@HMBL&kTwZ(&O l%.rlPO_6aϠo0Hxc[$m0)xKԤ&!v}g"$?q魎]Ha8=؋ŘHt 1OSZQ/`}/bɺF:./o``)=1_ ՠ|jRk-\F|ST__. ZR&klAfTv"[;zim  Eã`P\uI|,}S,Sٗ6Dcg9t]2KVxEz#/aR{;Z ~|UI%b-`bfuKu^B8E'T﨏\P}>W'C\]B-f)s*_$'$چ(+rr `McRE#|;Ӡ$InRI[:&g1aҹp; 0 - cTr8|EY_"ik?EenT;*@7gJܣcoAQ5a& Z`Fcx惋| ݏWtPEOzSho yWPI7Ǯ_V^&yW? ŚKNwJs,Lt!a߃FU{ތzը3fY(^\S_6$ܩJE~$..6wu6gb/ rm. FaQce<#u8Q7NQ*b00B\rzB3lgEN4hs7MF|#7,`g,SdϏp/8y7_,b$BL*v)3FkP63aY3 `:sXx뿀;5+Y9U CSTlHS_"T6`:@(D'}&KвJb]ؾf $mqoeAY_kӛ~ r 8^38YsI[cfU/qN⼑{grBX+^?}=yClMPzJ&V%ZOϯxd3`71 hE}nZKu!V (YE/30jKߧ~Il k*ug sVǦ/~3+%2Llp-],h;rp2n2| 63(n͓h4[OqXoW7MZ "c ea0h `a=o߁s@|;bNG8J}P lDAPd~v4{G7֠#dG;fRӌ՟  ]3O ]jLlu鈄y,1&EAWXۯ2%b. ma \'Z‹P:~Jg4L 1M[B-69A0-TAf@oIlC=I+٧{d.ʼN5# uY qTf7׬F>{e%}qWR* >^@HyAnP $,\zl33MeG^n>bX=ƮjLƽ$ XQ9'5KE򛟃CRࢼ8oW'Fw&2np`7& l> \tXl+4нD{Fa(H5֪Ni<m~t#Hx ̫Ė4iXTn@}m#:!/S۬ҡ/Me |\3% IlgMc6A퓌%uw*DÆmz|k1DM=3L'UsJL mX\ޮyh |Gq|ssW̭x30] T-ŭy^Qvv99D"jr{JBbx{p(YRSLӘ` fy<`ʟi<,?^zh3Ց L0ZCCZhXYx20Q6l ڴK2GO>g Ͽ@`wb$zYt\KMZy?ڽ ]:W迯 <9ѫу70Z=Rۥ%m=#/gu>K)M ÏMaxؤST?Ƕجpz@qp"7?`+GapMpbgeJc񧪱vn&s歑+|Vl=JM&3ۤzےmYN&Vڎ !vc\R *!补I4YE5 {3$Z+= CgA/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ܒMހz?j;d+N".]o7JSG {Љ aYV2iQKEe|-Ks~ c٬W]-e$qr*ud$h8?B炬_x淪""]6ȱ:y {lx*7Q*z@?1k9 ;Bu1?Vdt;>t2j?ـr[C8ty'l'Pf!HO b!?'ktt1\hCU3&[X׀Ey-WKv:!ෆz%9xnTEz`@p{ڞ2#," FBFG̜>z ," l;\ٗcQJ" X@"tmBҊNUUs55S>mGR6WŸh+R(vo }ّ% qP+*:'3EjO{ ȢY4Ft(QAˊcܙЙ+y G/Scv[Tʊ ZU:<Ցq\xDp{jOF6M}>K'h]Dz}i9sl;K s#4Eؼ#`0X[[nP-=NSY&}* 5ZYgq":ZTU[\ij1K ψ쟼=0^X^J9 = ǶGvPx{^l`]Ck1MZ^Ɨ*[XdțFF$Bې0LSRgYZD+(^'ޜ6 k7"  9F5LN?ߧc-`ezN"q1E%?cÌ!s&fD%!b TjB[1C"x;F 9U,5^?ұ~:(qbpH OԎ_Si³z48Cer799 F{N 8ϛTyG_>qpIe 1I 3Yul3] ݏ)4%[RH"2e Ϡb36Qy&Y0(wL#EU!T6lG}җnF~嬞.ř\9 E`65H(ɯf%#/bR ޴CJo>=oR6ǥl1`ZI91(Zs¶.GPLØDU@ ~̒ ň0-﬿ѤBo3:(y./4剈}A7bzlF;CYe|9륇ڋ kqKĚJny7Xj!,a*BxXx@K>kq&BTɉO?2$q4d;嬛U'CxDMUsQRp[ynơ]'b!]j;4oJkxSpiޡz)(|@Bv,X6U_dvE/ ;ŋTL:$sL}6420>[8 cyq ./;){XS +hY u h-S*a( (Y<[7Tj،0==PVQD24D#`쵏]\ [ʎÂLbj(Qz'iIf4lռ`L} o҇?] zyC>ٯP0R&TQ&taH6f|wD-[ꂷɡ ؟v" [{,^T3ypQ'3}f ;W4WN"] sLU7][h;w2Ӝx8]87׍gႦ:H]@pp.sAx,RG%҄C^{e?5d[@C]*J^2ϠLXUmQ89<,/tcpv[odh _og{X.~xqfh4s|aumzljÖ1)&3LЯb@jlqV6gNZhWnQѫq-,Rd|FCYW",qمK>\]K )~| P%kfBA ңeg:=| k˦}gАeB{)嶃umz5F# s T*h$¹ w]w G$F鎛^EUO6wbʠ syAFZ#,Wqd6ag+Fŭ }Ҝ6 q.⽃Q m&B gy\HޡD@}M1P MI@otvP$pb+n ]ĕ Dj!Ba]aXqN<{5ȹu 5fjɭ̕ɯZ4C%sC!* Jd*YXZh [d1Z5i p.[~ZgU`Kxl)}#砩M<$FKYe P,{ jABg-77 bWupZ0^|jhYO4(i-՘[| XB hp1i"9wԡVz琉dPqK4{:@#p_;DX,ռ)$ zf;6 CVj+PasvTT=F1GI sjK^}iǁ^Gp&.qb%uɜv&ő얦%K^mU-eT`Pm bRK:(6-=!C_h7ah }KIFyf0[\5[VjBZK?ɉĆ^G ą^,W"f6/1j# sս^6m(b}}񾐫T?EN]s?O=~x?(\Lu.Sώ'[0Rȸc*ҝ >FC=#u|BY( + Qk^.SuϿN#s 0o7.Bs&z ?-6{1&"3+0 F8B`5JO;'gVuyMv} `ky1d߮3W\NQwti5R &*S@FRdBM]'U9xI`HQ=t \ϋGx-UWRD<ȈѡM58 P@RJh_s5!/6ݤb!=Mi T}o~r]l@e9-,d[o\Hŵuty3E&ejhNj6}䔣P8¬9 ʧUCg4\g'"6]d3zz`2(cYÏc ^_蔿:NJ3Ěi*PB7Gt-vB<7|PrP;{y8컿hmo0pdDV_TB6ʤ| w;>[dS}f8RX,\Nf.˼;>vN#9k!MgҶDsZvc:9=(3:PZZvVrwO*?gɡn$ISG0x[ 2 GзVybџ`A׵q5rNvq[|ԁbW%(6JHb"ay5l .ZK(f[9K#)G0*zM%ivVPspJqH6+#$5KNٛd_J@gљ|sz[Qe{<7(bUg 5 ;Ҝ؃L )5@a&. v'Vsg_A13~WmJ6`ϧῤا'Bw? Ώ7XqBy{3 \2nָݗe~ }gSQ"Zz )K;lF 6)` TLJc{EQp%bvQL FcC\=A|v-epQ~?3 5XN _2fzCG*[JD'GUUqނOU$u/4bYpΟ}]]tX++Aͫ~6j zi46yҗb)fL&v`6ԵfZYPp;^a!MU@cAH*R}eIx FJ%rK_T:9(q|f6[Zw05d6z*`ean$ KUyU&HC% &3Ѻ&4ӮL)}iB#*H=4wo~>|lkM;@t$C49QKDLq`D\+֒Əm'>힕;6eQe12:!\u͓$ wGYLhf/g;Gxw]= ?S\y Ҷ\SBa &1hL{KUQqz,ϒ:<[ ,Ƚ'Q³ݒg2(s o%i\'5 ύc9~IY.uQlGYSm!vӰ8s9Rn; A*A"Y%f`I!ru9s!F`T]}:sS![НȵŇ xTxl,n'4if݈ZVg `v5}J [#ߥTЦS n |Abף2o(Hz{voz@Ӌ;Pb%B&XAnKݳPBCnp] iٝ|yGJ&(Ը־'2g`qCpFl/K 6q'97fM!GUK~L>ZBA}͠w%w٫C zL=;*$3VӨ})&&uv;^U&Pd99ae#h&{^_[]DESE%C:"z'm9@o6R_4ٞ@wWul~B0N,ˠAwH?'=8ЅA^4+|nG* 4# a]|DHZgyx<|gf[^!݀{e*<EAE.̧T%@NZVYܴ`L4IcS TO?P'/*^+_cw "mnuua JSɉ5 Pwn# sӺġ2.N854M'-gH烵/7&Iުe+iX7#' eNX:bO[AySCvT"ynMzS䌘! W-+W`ܹ:Tc[%)EۛWT%׻{B0" 9gu@Ϳ$I`v~<9 {Mp@D1աEJ6}S3^/?NDPΘi,5?*uAd?C?LJ\l.WxQ`D{Qv!ۧ":86aLHƭy{h::8 [+%F>ZHҜ/d }d_auScg'!R":~ڵra v>@Lq#朅YTbva3$|ٶq2kBWw S߯/ҏ㧳Sts ;^B:bE'eȋ!=NmqqCJZqe|nLJ' z2b`-jpwǁ1y-op_6qK.G/D$2!/ediEH Ϗw,P|89~noo,s~tM%G昊5@ix|> Kk[ gdw) bYNP8K1vN[BFG+lr z؈$'#IH(euf~@ZdDEd~);D'#R2-"A{6M~z-l[T?߼A$\,/ ΑZ0S?3(9f:.l'̖3GЧMRjo3݆MU'iU<xK9'bU㟐AT~F䳬<$X \s 5.zI$?'m&y= ձRlK|ܙe/1=UFiTIxjXrQ21i' -ieROֹ7RK̿|&~7:,V5=ir -ކIZŠ\ uכ+ P5QӖ@gYZ ?  n?\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML&G/E' THOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$bMbY>.(O=pZz1N}y)74g񍛬\.-ΈyyOm-)>ۈ(덋StbV]WSG~s mAm !÷2y??.=tﮨp:^I9VBUOo'}0UHqID75!x7L~:YBNVT+ Q&:`8tf0. 2W/ZI  eH;>&6tv[ē.CGY ^=L8"oBh2,7;UQ"m0Rd)otB/uG1]jpj%;JZ'i:gYZF /E# 4HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 7]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS.^sd 噷oh$hsch\F紓vXѯ5IZd(qݓkٝ+EòJTa1!Dq r f;oݟv\gzOG,?:_YZJo{8Hu;N19v`'*#Rl9[U = Ó6+ zP Әk%WXU J2g!ls ,Q-+U9}2q WjId2$F|YL|?p0mhdKF,RE^nAً%Qd)|E$s+6*Yg>.H:}Lt5Khc$Iȃ,m;IRUu~< Ot~U?6FD+ ntn"ڹ6ވ@zRW 'I7= 0梢=G$_Cp!ņΡ ]RU-IE/^Cb4aFs3pkA3 0 ]heff<7gz Pa#/TSP~"FQ=X$Z͐6a]׍oH|>PPшswVOqxYgqGcӟ{ig߾z^_^Ȟ0D&.,:St)21 iw8S?Ly_F.^2~άl>*>iY0GC' pDrafͥwp.8 5<;piIaг!1'EJn({aC}|/䝓M˽Y d2,[wO Sp, =FWAG<潶FقBwMyDMh6E-r 8lLcU-#]e*/&:G۫W*u&'׍Ҷ}yoiz3 ؽB\Kŀ8sZR DD։(Td?,& 2,P>|9G\! o3ũ7/(xatO;1xa2""SV3P[.lƫܬ#y12DMI"pĺȯ`\_@4lyiQh$o?{Fϟ`_ukWHɋz#AeЏCdvFy=iV`/~jUQoҋ.ĻEgI+xL,Q/(߁e rA-+~?LΫv=b{~m;牱A\=AՕaкS*kEcVsĨ)w=̑!Z"8찿^a 7]8b"-]N3V_Pq~z٬諍އƓ@ kcDdfX)!p.Ol)i\!<'vV>C[βf |Bv=R*᛾?T"G{(E!aL&GuGR؎8'xaӸ sM0C OڈgU,_P \ImU>C_/wrDI#N uD2@bhuDSjtC:8;0| pR/Q]uAbM9' R d+釐k̶܍FeE/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files~~/src/HOL/Proofs/Lambda/StrongNorm.thyGD/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id222_C/G' DHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages7zXZִF! w\]Άxʆ5.f-9 rq8L0'rodڅB jАd"|ޭ)70 s UVČԇ9] }{_ZUm3ܝD8@mg*`Rz qJS zֹ3leY* ʔ8w#C 6JiA WmS:p|h·91RgE= q2{Ɛحo-΋=.2RNsrg$oRCPKҡREƭ',SYkQ4^!'G79 ,b` ) XEHO? ?cC%QKi0 ;g$8Ħw)h-SkG:U,E2hyY".uRJwűpBta]Bjx (+U)rP8sZ|:˵ε:a|ziIO3OSb /9e Ň?!(P K'#%O[Y~gYZGI.duMԬ-]K~upfs)~k!D8,> ]kHPwb:1)j.XpCb`/ x LLH~mȏ!B9Q HxgRnWIsQq{m}5( -@wW?a^:#+fY}nֵ[dtV A _vn*zJ8Y)]nJ>?bZې=nk4h$h6Of3 " IQDijDG~j(|L79E7!*GX_n:=txg8\aVbMq>8iv*Qw)"tҡ03GE#Ƥ삗E"5JG hN[U" q@etp ֮RkG&w x~ްcDaۊƚ8iN=}ԂN1tZokyUq: LP2UW`^Mx"js c_xAdN`ZAeϪ:ifX(Z'OJ˄s琜v1)6VB=z B \쟫Pͤv Z7|()E\.UeKbUّX5m"o"s^^YEsB`?PXM擦jj $FTyp!~ T(>cQ NK8IcIayk‚.RMzL(7X1" C*ۤUg=Qb:8p(KAZdxĚ 8խ_J?.c>W1#Iδŀ0Q0R*:Dk'xD連v6P?7q{/0fOr[nc3>9J.c6 bAVnS?ѹj` ٲ'pVXȤ:*lN`/q= !R&2ٷY9ÈeD,Oom-{j\+eF0^tbA*v~ģDbbbQ2~oZ>U},٧ǽg๗W)l-GĴ4'dhH/*qz5l&G#\sTwu{"g֐aH.oliEz\`&CjШw~x{FDqeI 4&˸Jgc֍7<y4=1HSIS'#p۩t>A#A q D+b뚮W1x * _Qutjhi{xj :^~IzC"TW&M55Pg‹hQюV3"Q#}BHJv8T>D2Ib*eElz% . I:+=\W&[9Vl͵BEH0+6ߑHy޴OqTW3uuƚ+Kԏgn1nX@"|JH] 40u}sJnZ2vt[fz`'#joUT.DnhZȡ0é*\C}EMF8lW]<уXV[Y0S>OYn@}RYW53sz fd|mwZ4U"KPrj"G 1c'VYR5Z >lRbFW C:o(Ȉ!= WT흣4 DRO[nӣ-_v=pb ,Gi-Ph'L0w.f$sfD%'<Т6i1ƹUj3:Ti~7 K jŠmSK`%E;![/j$6x!bP>!6xoQ |C\ܰ 衼ϐp}N\ QsxnДpҜv4Y/Edنy-bϲY'L;Z2_*Z}bO~jQ!pC*rD4iy`4n<bLSUF%>gv19u|A9cBNw{.Z,)̜86{ \7J5XzB۝#Z m:OK:9~[ #XmSUl 2xԦ,lHZՄu  -^{k)q;OϦ=+mr9sho*At0o' }k+@(aiY CBU"lcB`wx"-y=K]3#4L kiRF\0B/3Ȝʥ)(x_qlC7꡺֚E Mikc'%3:cOAᎾT}.q:úPHDdGa{QkM<.;(otEnv6G6CdE_ף]~Pm.QG /Cw%'ݤ}B9g}[zP-Moē;J $ k=!Hi 7Y~]`7WxEVi?wIm+{5e5 ̰Ĝ#>xݙOu@ L۷@ZpǨ4z-2 69~bsuWs@@)N=ϳT,Ha$>P^͉L8;W/%M;W"n|鱄C; -&&EtHrl#+C?B_ !.uL~˞2 ѽYGg}{Vt͋DZP姉P1|NA Ŭ )@*\KL^_:+ۓUZ6QN (:ݕn$8.|T?|rm ق)[D`Z/H'ION@pu3$fpŏN=N g7u}@'QO=yc֠5y%JoJNɛ p]KX$f$u:/hKPuL~BXK[L캦jZoIs0gco\_~%; 3܂UW t"> ;J. К}Acr߱-cbyIFH Xf|S@{>:U,`9"@dd"̥Ԑi$u"O7R_ga ;QYrG&Q\ SFjH|n5IޯZ񗗑|dc/gyݝS $?>[AA3l߯Q)hbFZ6 B`[A;bN-Uh Cπ Z+i 3{0qǖmYat6+5O$sg}+_wVwGh`n( ],T8.?rB*TD 棆1f h_kZ:bKPwM@`0J{>!8SVf4# v͉`*kI@s)8e킧l n7"QQ쒑!E-h(VHCVjȅX9wBϙXku: 5~*G׳4^]{Ձ"̖D e^O&R/vS7\#?̝O*l5_sCqf0S0 eX9wCҊXJ')}/%Kxց/[FXZ(}7w엏-Яs;ZDNV; ܤ8a60鐗Y(lXe2mhvJj];yfo!<mn^AjQĎg#ᒝIX)Js(1ƻ }A_Bl$G6jw7jeoj Ed =F\=¢%n% !'utε۞@^_]GBmϟJJ8t-?gTƪQ:Bj E_1Z|oX2K! 3 CdިaX=-fE - pC e)l5ӴPs*\“ET}kyͤs@R3;=]?.8.ԑ* ps =RAbàZ~{L]yD ?W((9VI(!F塸Q.. :X!q%9GeLQ[J뎧>79X_d"0QNKQZJҙ -8n]$YaȰg~*=ҥgRu\@^Հ uŇ-Gzo`Bѯ 0w GA d:/'_P$=/z#$T3VJn]ڜa^KĽ}oW&TX_00nA, zGXanVck@%6V;?T*[Ja7qq1jG 5jFIwWrD)ܰjءTw# ~w=KךakQ={h+ fFBPjXsbFBUka,˴Pf4 tr\܅eobͥ@lo,#Xïp h: ѤA*at4AdP-w8(rE*Egi. j$^S&Q ]jd"ƞRexY:W#k[&68p.r*(1t4qLH(Yk:_].36`Z'xUk]CLF/U3lf"kv i}~Ʉ - 8%TH DVV QX⠍QIQ3kH5%M[] [ID[&RŇV3;;.d̥+_k$,рG{i?[ 8 ucq{'m*0;veQ J.kIyLE0`~1۞ ~c@wSU^6N}q #XlCPOv+NnFGW3@h.m'al,,*oz MW20i- -WmqP|Chn?kc3 I?f1/o+Hz-#xO߼Us-Ua_ ' D0)+1{YWnr/Nn`^m8ZhG󺻮zɨ%09dFizHIA{r h(`f>1'<FB#:MW@ mȒ?UCm `4cw6CH} TRWT{U~_6ӒSNF!Wp){[a"_%+D4R"b0 {[H*M6# ՛;BU&B&t1' CMh2@I9Ty"²sf}=0>?rԘ3-GxXoK+0n;fXyL BDN[yh 3 Ӗ|-1I z%ύ栜y^"BE'|y3X PrTW<Ғ4L\PWo|$N0u:^KnTE#rDVS@ ZȌ 5D( yKIH=+SPܛX{Ա{D0'W]!%`tnn5~uSbr_,]1ZW/%F.X$N_VʫFǾCLe |,D3\|\X>b~jDű\ٔUԩ# Cx{Yߝ<\UKd06Vu, XNb^}*(YJrk23$1Bb )]lK^&) Gp_0]! ^ qPK"O842)y5 WN#ߏ سy:gNpM_@՟"GVF:L" ȇe->m<"}4 GpݮpjMNZjtHhbKMmK=kW%Vł彙ڐT=A&CJw$}>Ea%MVTݗ|k?n%`ߟH"Q ~~j6tsuߛ(zEu1]$=WoLzgx]3 V"I/d]l$+AeQ ͘jp7?D;,[8.5:Um,T,jf(ڱ}RSɁz5;2 ^lR=ؖ1Ø7;?:ZCNҁ,?dShnHʢp%# #ee6-e@0@#Nj0@?Vڽs:cXGUV-5rhɴsn|8|)dg mAIGEevS]*3:&>?!Ŏ}%lt*3aL ̻~;חI3*HM$"²|Hrz.f68 @qa/\~s@OӲ 3>.[:9lwHB7I*++OG8/ UֈSj0|=Zn,B]egYZp:+g̷4}w Ԓ< &޷m8 e@苐o Ho,wCmr墻8h9 P$PJ fh2/. "D(P^\խsv jR8xBRB QщK%6Lq;LkHg팄m%͐Z?g4,%|`$4;(a1#R"{(vmKEw"r96mV+)5+D/w٠o/NgH0RY30TFrk2e1 E>i@0GuZxHk&xZAǧ ha QC_}/6Q6T\gLP3}ysk 9p 39e`EmnMx|w-DAzM2FRZf IJ,}`)]A8qfTڍ гYp!h1"б@R{颵, [nPf\6{$͹_.Lo%_> y حЃz#R:?ҌyAj-3*qs8=x"\! Z&LLuu[95'zY|4?(`je [ћ?@o1͝v:Ҝ`%`C^nQxyJ{!M`PT;u HԤt2HHN)^iDpH V0J7 fR4mhc`?_໨~ڒvo7Jں!cPnɌARbpCC==qDqZ|~O3uEKՒu/~3_;6#,1r]]6D^K;7bVoN0#""P_10s\{& fI}3qv1eL t=5GɉEܛ(]u#߱8@%T4CyM7{?[ԕ'ԩfry@@-` KlL2CXg_fX`VII6ԙTGϨL[THxvϓmA귓O7U+;k0y}1Ihwu!OrY189 ` 癩eX@LKADfvp(x;3JJԺ)>m痢)yxR^4KH`FE?_}>.PΗ#!ǡԪ|ky6$> ?Ce$S3%Ic0q?L (Sbly|+ XS˩ [TWëS Z67mw p+2}>b%= CH J!pEeeVB[.cfR$0qJ#<8pdVf+S 2ٶVfzR'sߘ.BQ1q1aBa{&'uĠb8",HNFe>8rcr! jsf΅Xr;{c\n:jku[O{]OC8Z^}S2:]G|~/Ol-/` ɒN u^@oř P@5cɱӄ3!5N^ =Rp$]bkvU!n}tրVC.֩9}%'ÄuHO0w ӃcNFD'*6#fM6XO_Z>vrFnUE &ŇڈaɡKB 0&6s LQ:o&5bAˡ&VS3MkHS Td5p*Zm GZB3B%:** I6 亳[cqS;_I{(XBs˘PsӼ=Pgid1xp%>oT(M"& וg~G!כcFw*,GR,Dbq]h7S(ZG . G53DE`T6o(R pfs?0c{ClFC?BE zsĝ9}Gz/$**yN ^k+p P'Z LC)@ߣ" :3h 8sExHMd:1=6w\̓2m3Xd}˷ Q)hlLWG/l$F,ܨo3Sq|)dȅ[ y3H{p G3.P۫i1UJSL]B#d0:?f=E=d?YUR{_z $svm~nQka8}Mm2! PSRT{t9 Y Ȝ<[iEV<1 Rj.\8¶nT=$@R6k%^7ܤB߼^CAN Ωy>X?R{K8'n侸"Zl%Ժo -9y_YHD>>U?n, "#J z&pQg҃ܞܯ.BDthύfۤeVF'Mp^O9 I Y&ze1# ^OoMUyokW3| x냱%},PM|-rNp-vPoX&_B*Ҷy vCz=s$ 2f3  qa6C̒~ B,9|dkjHU2\4HoX7DɏκE)PP[-<$e2lIW VXWth͋#bCFTA=;&`\^r׽(ALA}u2NOUu '[K ,QX`S*۳S] ,{ɧ,D;}*,mXkCkWZt(*X=@OyDdͺ,kgYZ986b96e01a0c3bbb94c8eb6ac8dc34a7e65f605fd5c32f798d9322f44635e87a68b325071c15ce5e 0f29b30ce0560194858db621e8308dac2fe6fbc8