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 BB3/v|L$ ]/ HOL-Proofs-Lambda:threads=6elapsed=99.090cpu=117.808gc=5.2727zXZִF! ]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߯Xy'inL4mpEn,}GEӪgڧ\b1`ҁsrܬ]:>,z{ 2X׾ybDWp`23<(M"P "S.KFW*:מfBOۇƐH/\(S+%a]35,P{tp~vy#`S4s wh+xh[p ^N"Ƃ_+/,!+T3k"OB % -rLɊcVxɱgYZ7zXZִF! h]]ŗXiɟ11bu)a2W5Kԫ -;`kj0'FYpy^ysƒ,WDϡjΞzzKiqHBtỎJws3M U2#B {ZQC~+;x䲎$A\~ /nM R31^ٽ}t""p9%1:'i&݈I{i]}LLaT:.Y )αg'n9=5S"4d]՘NSQϝ\Pfl.gYZ7zXZִF! /]ŗXi%mAX%la_E'J[CN6[l<)e@_Z 8QcUBH|Sl?[ ힲp`}kP,ɛFHThFcf)jq$oݖ\4I/:LטZi7SgnqDɚZ*N) IIiN֟f%r{RRZyUbBfmp w5Ln̞3.rt{KQ9<@Hy6{ȫILa3(R_9 dԢPg-ɒs3%.| 8`ͷ x<;x`{2j;ǐ8VSK &6_Wr7+7վT0uy-k tDžIU) V~d RQ>Ul mDؔXKI+)JOr)dؠmml2jT6yby70+u$aNr %I7ݝ-Ljm936"-~D0b*Bn_iAMJ$:Qt9<0z 0&Q?fݣ︶ N[s/Ypk wB&Z ?L"B۳^`wVxAĪݖʽ0dVM^x4['_imZY{x,l"}EzZ^Cidn-zh6 p鵱t/a3+%$ A.[z,^%zu|KxZ6bsCVDbqe5" z#+d?9H|in9,Oq܂t}t4.M]qi\/xjS8P'=OOE]92\[mvVϩp#WcGk H{Lf! C 4[3?2R\WchN|"8x^rw#-.qmTeg&;.< Etsg5꼑u.r~iXXz .ifcN`>"۲W6ٰTK0/Ηe'I-mFu> L.A$'T 9 A'3i gVC#I / HOL-Proofs-LambdaEl/E; LHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.tex7zXZִF! ]]A-MՋhvG"uIBm5*oDw#H)3ۮoPcP􃢂6v]!P[O蝒86/|X7Cb&+7Cto *(y^_p+s%2;y7~/@uU/4h͸`an-!\ ]i~dBg3$/eB,C}j8jj>`ET uh9B<_ߎ: 2RN*/4g% 6cej]rH S'6d[Bt2*rx=0ēt7٤^wq#/Dѥܼ5&cIzç7g+|rh_3['5]lAsI9\ͨOaդj~qkO[`y|JȎk~GOqOG8ʂ9ͤ>2R fwʖ s6oYb`/ -1t, dawn1K`Oyqvcvdi3}Bh"% eb^} 1-mP柝e9܉+SˣIw "#}^+&S 83j`檔%)Z-'Bciwc(HR$NREڅaIԕ+ԖE9-W!A7q.R ,.~dMIFWkvmrjQU xD]ǫkkh@NΣafŻZ)3ȟ(IC9fxզ:CTȨ^K1"w{vI/:3!H珣4iŠ\m'S=B4,dCԑJBZI{z%싂~,Pٯ%qW2>ٱ ,0zoBB<>79443110.,,%%!          > in6 : } = y >   o +~J wO Pb#Z [)L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3?/C'HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages2=/C#HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup1</C!HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files0B/C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id/</='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+=/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$C/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.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 B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.texI/E; HOL=</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&  m hq%pأZ]]]W61Hlҝg4ze+1S錄uXT%HZ*(/ ͯ mZ^?)x8簣UbAg+:ʋTI)ɲn El lDeщ#ջW-9|=,- ~Mm'7)zCWhe(Goڤj/fz $NƠf ?u@nei&4'|.1J1v/Еb-<>eAo;7I}0PLTJ Y)K/@[$7~ qIAmB76?v@i'hDnkB7Fd,Z˖>qơ/t'"Omv'ޅK@eSu,OzuV [+6 IP2a݈+cyH'd4``S %[?aiRk&vYh@oRj92FÞ 9C h@3u@#gB⒔)X2].NZw L!i6qf`D49HkvlLz?ؘ_܀~~0:! 4/*cBG Dʠ7Anga/RBYs@Ɔ;rJ Y gJ(eqRf̐5C/8~1'(:->[HnҾ9)z*9Q┦_!ڶRr<6~pIOO pĢr1`NDƲzzzиS;(!mw nI igj( Ta6y_Y\ՆndPo oVi܎'(lK;M:[R|[0ϭweb P;=kcqfO^ZdgQ?%k7m''IkZ6oKI ^g>Of4.`ƱZ}u댹OZr~blP;Zyf N.N*bmJ KĈ WّS#I^4amN }$ձݧ+WÊt}!5Cv[*Y qy(19eÀNbO@tx;|y' й ^p\ m./w- vm@] UU#jFhP[uZu7AYYaI(c$Ai /ݻЍm1WTۭ63i`Ss?_. 讼GpP̞6"J<36qdDYK͗'0ۍ,CxLN 5vqӺie[^EGbk 7E}`O_D7pe"g wy3?oQUz4 N$q|k3jB64gA_:xA%'?*??([(h ҷcYawõlQSz H!@P3M+Kz(K =]?$='G-˗F  RܺeL.& Zmߋs_*4)dr"H:O~H#+KixWtݻmZA.'×fR@̷][-`5hzNۆjI0 h]uRdW[B:gK,'+qE;%*y:F]ӳ ĸ/DαZ\É 3U^84!2&-3TajB}JD,ZDb`;vۍ Un/e&z) Aj0oM8G9e0;p7PͽP<2tEDSX2:b2U BG8/<1xP:=ZbBvdcȷ=d,6v;hF-.zO򢉇1Qțt?,|&3,Y _d}Mu#[[ -o 73#?ѧ4x 1tҔjA]H^؊?h ϟW s~-IxX3ڗL BPBjƇԯDD߄2)㼓5/v5] ,h{obw>2rf,:\D'q"!ZCl⾪ʼNSX]t)oTK@g A3 |T#2Q؂~a^s>$֗Y(-EjfLQ,6 Ef*pQ5~1TA`,C@Q"n%i`lÊ8 2Tan{J 4̕rM1xi9}bATj өgvh#Xc/[`݆5ZhyAB lG ILxȃݪdsZ "mɪp6=g!\flZ Qg_ݰ8 Y==֫UynSw&jYۆF>fGByS o)$mI-Rw;3m@,|zl&s_T1F%|TyQ);߲5E2Őtj[5Ts{W*T_C63pQ=F/(I!āt CfEw<أ1Nzw:K~h? upFnmN/D Ir7}*V_ogО ^Ý-YsKc;vuNO`IC.VXknk5'.ء&fDSDp_ "L,mN- :j[n+4IEH?9J9Yf*4!$ 63joGoڂhu'ƟS 0Qu3DB>}Ҩ5ʟHt W79߭VH 8Fr'B*_|E9-O)InkjsJoUWU> ²B?Wo# | N|dk4)  kTͬ҅Xc*ݢ}0}Yl.[F #r.ʷ'|#:}m\;ҺoAई/ՀeTDXB|t@B9˰QR(lgYZ  l/E; LHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.tex7zXZִF! ]]A-MՋhvG"uIBm5*oDw#H)3ۮoPcP􃢂6v]!P[O蝒86/|X7Cb&+7Cto *(y^_p+s%2;y7~/@uU/4h͸`an-!\ ]i~dBg3$/eB,C}j8jj>`ET uh9B<_ߎ: 2RN*/4g% 6cej]rH S'6d[Bt2*rx=0ēt7٤^wq#/Dѥܼ5&cIzç7g+|rh_3['5]lAsI9\ͨOaդj~qkO[`y|JȎk~GOqOG8ʂ9ͤ>2R fwʖ s6oYb`/ -1t, dawn1K`Oyqvcvdi3}Bh"% eb^} 1-mP柝e9܉+SˣIw "#}^+&S 83j`檔%)Z-'Bciwc(HR$NREڅaIԕ+ԖE9-W!A7q.R ,.~dMIFWkvmrjQU xD]ǫkkh@NΣafŻZ)3ȟ(IC9fxզ:CTȨ^K1"w{vI/:3!H珣4iŠ\m'S=B4,dCԑJBZI{z%싂~,Pٯ%qW2>ٱ ,0zoÿ8!Yc@6Μ}f5Fj}hK,%M96ydXoZ?.OL]uaw.J@iPy0SpޚvD ##Z/G= $HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex7zXZִF! ӨI]A-MՋhvG"uIBm5XB4\d)ij2S8l@}MJ4bX0`WGܾyyqh! ᰐǻ&LeJa Kmuf pQ e fK>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDct|[E:#Lz29ZbjZ +{c$W~rWi2m들 E"|UXe%n:sE39ugYZ ]] /E; 4HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex7zXZִF! ^]A-MՋhvG"uIBm5ĸJ>Y~bZ{dV[N;č=nrn%w꿮.7UԡPWpr'CFOѱE!mУV?u\Roj[L A~З>Qxe{(b*M4^#Koţ܋+uA%JIȷ''B0~UQK$ #=''zb`?lrKZ1{maCb,9#ٿ̠fn# XWL[ w96fȚq nR,yDž@e¨D5Ee6 ƙ6-J2ky;wv +H?< 4C |je[Kc^#elf;3i9{Ɩ"ɠvs?pqd^Iښ{N!VxJi~3L>v}nD?J\`LY`;ub<|8n_b.{zal'ur7"Qk3L3PB."ƛO0èt|>DH;* ǡqJq@>;\XJ45`#J"qZ:ѿEeHq/Ru%۳4IMG$7Y3p%Ln\6sGEO(o-ȆS[bK|?gR "|DŽs3[$ J3T$^Ra֩9cH/}7O-#&5BfrQveãXI(P~ BeԊPF3y p;UG" ң"!jȌ\]ȮʟV= gF 6N h ح Ͽ d*^`zE{=꺼ڞ賫d^#2Y, z#هЧMDli,<+>.Bdy1?ȋoc yç.XEqݪۛ Q[p"z~;._VzQW<*o=?X9ڟ-P%#Уؓi\ < Od]R,I <,y\]pVY!Sn^dQ*Dag/rNPrl^B~=%W:|x^ZAu][~~mWoޏ_W^oh89i)0Ć sOOxh'xfLh~d܇_iy.K=1S͏ՖNQ؈>Kyj F{-9#U[ ?Ԝ9I _x^^+D-H7WU q}V`mn@$̗1GK|҉T)$КuB;|HJ,p+t(E[?O$!cVC ?%B(vIN;( W$`R5 !8F'S;D M: ;$1Uwgzs Z@s?Jdw@< z,0{52=AgHf̍"s œWV!|~U6q `]A2;!}}Od= GQ&hق+-u!:ڙ"G`}:zkRs֒!) ⯑DVoa6H/eZ;9;B)+|ǽՋQxMh d\M7V}쭠L!)gn ?P3\,ٶlO GP֕!g莾%eAv UE+W.0KRM9u33v`hu !$Uf[O嫺?e Tγ&6!s|ONS/1-nΖt%9 xgNQ-}B %*bw:y5Sٳ5]Te|i[ZVpFJӬ!/-Y*36~כ56=3 m/VHu#k, ExjS# Ƚ)7N4^w˥e^xlT_Қ̟kVP7οZ$F}L붔sʹ6٤4kSK]TDrU Ƞ@<>x^e6Uɭ.'җ~X܏*W0Y^Ŋ$"@TGwKGRLUL nu w9r%L\ZU}azH2geb@HIoі :'gYh:i֍ݜWdļ:ly%$t)C6.\\fz",A_|%Z^-Ɏ@kaMPy?ؿ%D؍ۅes ߩB2I/ѹSbRX/Lv8H `ZTq0x'[1] KYl%ܺ*")P:E=&e @|h'[f]6}i Ou -5v:g=s =9۔}r!)#qW'ł ĠɁ|yѱ/~1L3Gb-QҦ|c)x@. vjjӠTwʈ봻?e4! v=#|e-S]y榾l` ۗksu s$%׷֯Le , dHeS$c}usI}M>> >@9m8H`鸦Bt܃P|W /6Qbx11PZыG&b^^n-3Wf 2}ON„fNȇU(ۥ&MoԃxYoK(zo4`$OdwT7t-ώлóaͶA`a6ԒWw̤Hd xZ_:)%0oL;Mo'{0L %Dt-"}6ZXI*aHΔ>F@o JE:7i3&vuO>_Զ2t{[ n`vhyUgz]gYZ\#$MA1]=栉LTa&[5SG[G5B>UJ \M0lUrq 7=,T@R%+poE]09*/{JB'xrVEU# yԬ[x^G#^~}ܦ^ԛi?-@5:J*`'㞳|]3GMxyZq~hS|.u h~fW4Pf`7PRmy4I˲( C@ӓfR_w{'$eAF:M.* `PbAޯ5 M#f᳑39tFJ(c|he{D;Ϝ`(-9wN->L>sj8PYjU4[Y9 ֐$i | 2d\iJ .Wh@0V ;qʂШ{,GT/'jlO#z:0@E5RsGRY>@JI+<fӇi3 ,߹U|d~(7b1qzIҧVf֜QPZzcCrAlrjp 2} ?A Wy-I&$ߏ5p@>kz"TvR%dī<)K& xgŒDsU8On/j*㯠ۈRAp47G{k!fXnrL2B I'@+_C> 'p&*'s̓Z=ϘDQ! _ӎ]E)-<CdUW0Xw6?[y'NֺݴIsU\1x%u@U1 r 'ge Vzč^R`gLU?w[fpQ+ _4 Ja;jCMw rCn͆S !W^p sFzv !Vؠյ/{6(:HѵxFe_,*Iԣ_21|I0ց抋{VTe'9Zwʃ=?t`Yb@ ì5nzqܙl,$x"}Q$IeC]_;U.sd/pSMWM% åYFd m 6 hf2Q^GT\$fM_v䀔WeP!Ц]+bAOXT`uI^b1ֲcqrR0ca=$YHϚ7͆A:q虅,`LT XZ]J!.Z57K__3L0FDJ/n )|2 D2*F'C6oLX/[wsVP c<-N(}^%4xcz]ORǟtLkĝi<i63&ٯY;q~ YwK[ʙܥW4F$8o}yE$z%}^i&ssNƚbE~/aQV,z/yӛ~tzfeޱr\M =k\gFjӡ$du]; >v$9༵&QLU{ ydFCC'?Ħs n ~[F2ݓxK '[Evɚ湘QP$[)ڎ9* 䧐{q0,:9 ; yOrVíQRޯXk/eG@"X'LCU 3uS:lVRʴ۝ad%M'|RKm[;!o;do{Yλ ]p*jю|b +r^9α)^HDϲ.J;]Eh+9^:S {d%fԗy N֦/ݩ{b',V*¨w5S CK0W̜^ R͙ޭ[ 268BLyy,1R$_1x2<*B&ų΀cJ0%yUEBB}ȕ=I z> .S֛|_O5^ՠ6o0M| cDG#y)c*Q^{!/b@/3:Ԥ$aV1leliCbCbXE <ꢰ j!Tc f%iAݔB-¿6^" Cb%v͆~dLFYiAAjOiq3SlS\_E 7UJ&A*Prnq;bpG6L6d/ \p^[Y($3r9~Y`BփyG)\b% O'9H%5K^T~e8*9o]U\O[d]iMp kʼnn'fgsp|sL<itZ{̿QAѡb=jw 6X@8|G:**kP&òoyq[B pMEi}1fFWWık|B0mj]W[g *oeZY0di4=?,Aᛏ>'ӝ\]9:㻦q4sehl _&)`dAs1oB,mo],7G]ЧSְ3p68}#ԁ)=& tvT a<z@!k15sLlZP(5@×̷eH\$Dwipy s6)݈Bݐce;(^!(ί5^5G "⹭wi_EwS Ao4펇U_D>vɼlV_ UIoj: :% )co tA]@$y-^~tG(6U?: +^뇤:cX?bih#ImXqw>3@ ])% ;Y8/J/a\KC9 sOC=nf,NuQyH.e&+byl^xu|A3gv7$JD[ݤ]Ǎ`v=tf:*%>;?ٷ0qyq.Db{V)T9rE-eCiEG~=fDĬ/.y4JTtK V$ɳ'V;x&ܰt*z8͔]9}D͙t JmygR3չ:^ٗOfQ @Rn[M{mgL!̝OIܰN!u޾NK0-BiA__#W,Rgz*+Jlz*Uh/- :L( SCi-- OkK&38&I;7]v"Ct#.c)I[Ö́=O 6AU,w=,`S#HQy?4@cv4=8&. k]:*֗ MbFjk+8ra(D ݰ-sJV&oi q6"aȍ1OO ( ɣڄxӖ ;"o~!XyyPAWth,ߵllC= R͜vhCԍ_c2Cs`|–NxʛZ\K3Jj{Is;]kqjD߫W*XxlP|3XLQЌp y};η\tP [(w֦@IH8l:@'R5'ڛT߻2tzőVq >=\<8 Dؽ~-͗A` ]ގF?.l:Bqn2@&iV "x%֓ra]evd@ 5^nqT&|+93:7VN/+ 7AnSVyK3 wT tؙ_I緻 vE I ]ʛ:D{ "EíUCֹףLS't﬛am)&7@`n|[#w2(IuY@1B/?["EgN\S;Do>w`b qQjU"l5$h7>-;@emzX u|.=@&2`CWի}SGN>)^r9BH?`A7şyĖc`$mw5{sy-7ya ][jGz?Vm߯ՇЏ<4]cSOiJp05[ra=e'!ԑ&69Q ki%Jz`"ߤsgL1~.-fj Lf v+em!i-Wy"yR:Mel\`&HĆƶJ-`ƌ դbj֝.OhҍR؂`eDk IDc{Ͷ:X %ioDkv5a]ODQhR%2$†?@}qI= Df:v4(Z3b Q9Ous};l/Km/Łwʻg>w7 なRfJ:FQx u'7Jbۭ }$,6DVп Lσ?!dqjdmI #Nsig۽G/TEIut .Sw@Lܸt~Q/[sb^( ap&P2+R)Q; ܉m |%̹ 9#9HR[T1J:Lu@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ D_tw=Oٵ= pq^B>/0~R"BV" n+J2 ֪K=9[S@&.dt"^8һPJ._Q "~*7}Wհ~0B8lPb򁳘:aKQ ۘtmeIZ=n9mx--m[bKH$R+*ovŅl/_iS8'Nm%p. 0:FQ=⦎kf$N0,  nQYYރ|f<Ck+䴹NMd Ҷ;uhOvqUaȪ^Gu+˥KL&^jȶ鈚ȡch|NKi1 !!D@x#>,և L&FUhn=?JocpRK!΢PopZ,@ra# !O=&b6q5TtbYg7I |$+҇ m{zXoVo:-'sEzQw P2i?cوi 7J'=pPR !8mJ"`kyIz;{7 VO׀[ApǡC:lO1HE۪ޑ`.~~\1鉗,γ*f)0[,ݾZ,iU,'`@(}V.2_4 BuߋպJ^+Nmxvst~u>׆?f ^fpW^9,1:V{j4dȡ7*dEAf$eo.La^S謎Dӌ{iIuCERrrae/@. s?7 6q.HHL A-c Gh`CБՠaw3{_*2x;u#qyAR gwBg':o9bv7kX-y+;DU@K$kW )+Z3|Q}6i0*zB2=~hC!eq㈅Dt ;q&09 :.+t5 6>zy˗= 5bLlWN z.ɺ=uwBHNzLlsX s65I_+a6πJ? $"Va@)19#_P[/xkճT[-U9H6QaDgOJ*CL:F0v¿ByIdxk=?aY| 4=jQU~1ZA2J ` Vl+MΉGq˽1dpLj- kQ+[ɍ.ɮw?e+.A9`"0O%68r|?:qt ]9OuS/xUh,U+&svU4= 'FORCg)brt%VJn vy,=uM|:ݰP23?wYDӲRW A%1x+wʫL|v7s- B~昪X. Ҥ^єT k{-`pcrƊՍ=qʦ!cM*0K_S[~wui{^:ʓVĀ7v ^փlGs\^vm|B `eXOY7(gx/ot\(oP-*BfeL 1jẄ́PQMg@9aqkݴ%OTߴT?"ʋ&?)n*ګn쿛4R0kA/_h፻Z+J\@DD|+&;H?Vk7J 0v&ʗ]027fP kɁږ K9pZ#,T0E>\_/M7YcLt1+Dep0iF5m"k_?b-_X|-q@d '."4Z:n#Mm\sH$MDuUL r&f,KѵEHApa5TK۰{W/Ex6udIi\:6!^ dޥ'=bT4yd-b9DzbHa Ɣ֢׸"ÖJ}֑`#ILlewcX9q;Sf.1ⷍn%̄&=icΔ8sY]|.ŷgYZ ##R/OE HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex7zXZִF! b:]A-MՋhvG"uIBm5ȩ<7You_&qƺ=n27+Zv>bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBfҶ!5pDr\ʆI DֽV\pr',X⃹ X`[4^? <%PUE1ȃf;_߿ $FøvD5 DtOeHSߑx;SMSJv4x}P"+wY RxF ! )ot8-N+IL*|آkkH@ҡڕ@CE(L$Nn"ff?2ck@Q+PI T ߸*uR)Xf*]7#puش0{O=[j9 jk&&]C+Tvт-qLqCoL/+"ARvv7q`Zmp7+JCz@)y \/Ev 8Gs{Wi2 b/mפbG7$OF0Hb>m`}l/S59aclr; $]4*?ثb:y93-4S} @%_@< 5̲̖Ɉl@($jN [r<r,<0GS*shMͩ竒yX83MzSǵaնY3uƕJsj{3kΛd#]M)\{?ʦLhSŀaϱn[W{fbd]@49ӊf0dɊ6oA\]57o>q['}pVi{a TxT#NGoxHfh0#mן71eݜq!赒%YtgS^2v]`m$&^?kc"k_˃$RY F?+%Q9g0MW8ѐNZ 5eNtNSwLG.H+rakiؓ[7]߱Z⧪b,r9%3Wɷ_p u(ks߱$lŵSq!&e!eɼ㪢hĦ5a~VxGCeu0wc9ͿWf>lS2xڃj a~WR[?uBjI_J4FLcE _yf.:&AW9 ba`Cp87'kp1,VqlRoKk~kp$\joXGU{[fzscV8 h52֍->>R.|-#Q+Z2E;3ճa4X} y$vٯj_o \$\w_UUě}1Y H`a@-c֎ sDp?3Nx8AӬ\,z: pMRӂ^t< -i;&v'켨䡔s0*В ڷև"6Դ;V,Zл2@cdf~C3~o*hl[:F8n23Y.`cq+:⳶1}I1xt녈i|/b]LZ; +;$ ;Wإ>qK<+{'NXT2^}b +4XSFWDM>B`*AE(iI'e)wQvA6*Ls~%Ʃ"x*r1_!8F Vt@|~6wj~|OY#y<SU AӔΨ;w8o.5瓠߾#$qm%^V޶}ƞO߶@QgD~5UNp9zsJAɑ (L]hsb^+%QSBF;!s :uD}HYP^=݇B"d0"C8((+ XXYZ-@_֌|qzŠ@꺰l&L+#8 PrKIeѺUI,%(xM^÷\9s2HȔDd=P!=bjemċ f۲' K^yy{(F-|0hQNeJ(&qd}a[ۗޕDmo;-Q{OFyrZBP霰-\󤝷F#`]u`~kh#M 7 z fNA9t4_R BpS ~YTcvMĞ'|vX?-m#kR9,VRk>F3B}<x-nuol`BNIuMTՙ;X1.ZOJ0%8v0TI(^ >vU..ٰ(:c_DdF ҙ@I{ =BeЛaw]C3:+jlD"[ 7`^Yh;X%(4)FN#%{)\6U)LC=SwNDp%A`8+xr0z}>`e8WZaӜJ"$ځh'W,!R_+_i-O5YS뻯nj;N`:ːJwqjl\푞Q9RXa*_ .ỂwW\l?:%cxOHt\HIvyqf;jZi@쒥y-#r L:ȼ~\x@Cza+gckXuTE w@[6Yap%0u@ 1Ajw {t @6t&$T!(iWuGO"#i-.kkljˮ?^J#% 'mw-o)\3lʃ*rc]hWfRetq 0<| z+Im dyߘ+zhxmSZvYdfF}FjY$/=ZۂȈhy1#$@׎NL'B=zVc3ylF"G։fWHמ)^ΦE{XH ,Gqq\uwQ?4ͽRmb;y9Fs;gaİY)Z@~pG7lRc2;,h\HYm=wr=vxz|2| @v' QYVybb'H_ 'X/7ڬmt, XîgU|hHr}a|v0ǫW2'lLɯ͈UdeTm.!mK%V.buA{O9*s U4OY"&ͤ4St 'u\?e"u\ &QB:h6aإpKwO׃Mtn@Q,11/!l锞.fO>b >TO .% \3) {ך1{=lGb!!VV4:+E2y1ӥҞiMAaR;ɮyPam~e""(8U'#.2!=1Q20մe˲(NI0Ҥ6uknn ECJCsT^$86/=0:+L'-V]VX,;S8;iyO'~zbǜ_>_o+=B\'yi-;شHvMDt.FL #9p9+;ÖL~ю. Lq5Qu\v$.r5׫!mUMO5.@),:~X"X6Ū_LA؜Wًz@mK~US\[R)I%-s@A*"L%YKm_; iZ@qSL:%jVNyu:F~|RB)igځw C4W#76ajx[F%T^rh Tz#͂M?{q;Dg $'R9B{w $otxRlv9MOJ2ZB&)JD1YRu]>_B`LVy>n9|̣Z@|VgN않V1Bnq.y%ɰܤc-bA4af#u[*9жt( ČRNÛ4-Y RB nLjfMn‡2zO&b 4,eLhrm4uìH`.YgYZ l /CE DHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex7zXZִF! { ]A-MՋhvG"uIBm5T6Y)AEŘmUVˉtѻ;"eֱf!l1ƎnCDz{iYQG -;hXȍ}BOym?ƥ\Z%ҮoA¾Ԟο+^ޝVzAmW>T[ (:mtDY [  ZێqwS/ 8@Ldc۳!GLpp_d^khi)S("DB6:;w|nZK? 4 =GhXHrD+1?;6lbm] jMEܟ 5T2/Hds\F1&W::TMZ]2Ӥ=° C5q6F'C;O&64тhFpT<-޿72)~FFMw.ruka;yL̨l0WTe KvF*LUV$'s.\mG~PŊi0#rcd^eӣ97Ӊdcv|qprS_O*BHGIMtaq0QGGlVVo?M`V;m 7FjR+dQF& "P,a`pL4;Vg92ZzfHSJ͝,MI9; dbu4UlD3JXdbT:Y=e|M`7l X+y,[La:/ď(rHV ~'+E&e@kY{1MW_`R>[8% +x+3<9 %ę|36v EBD D{tߞ5PZ;~Qc?INa{IsYO (񖁑SL6Ϧq4puEV (< iR^ A fIc`i_pW-XM'(mW8\,䧸GQ'H;;wubhK1|Y`dпkrܣi>EsFxH.qg v~"%ۂG(Uж J䝧k`S?i῔Lkx+v]XQ Ͱ_x9fa\Q pLƭE@D|s0R%C+ƀ,0A{ryH&Z}!mw}Jp2'pP)ڀ^;U;ϋRYmTA5#BU: ql˰h\7/)єj ц.WjneKv)E47x&4SV0mP-4rxj-t[E4P!-yRtᨉ\|MDCpqF>t/!Kp\0NZ1> k"R-]oWaXW<Eǁ8JK\4l{$WLnڴ1} gYZ ==@ /=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 4_4g/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 _?[$teCG/ 5tpTv*Tw [5̬LBeʉPquO)Pۯ Y+uC1/ݺP`_?`Q?G5\j}OrcM9M vl.R^kL*--\+; QUHC+~+(6_(F6D*閶 $Nm/J|WH {0ruV-Vdm~{B|,w2 MC$02ݟJ S53ױgYZ /=# HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !]ˠ)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̸4|#1mA|Ӿ'W)`/ g_Wwm< W21sAT*G]/=!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\7i&T1b=HqFZ7FC|fi 6SdW_1< y0ћ"WX-l8Z3gɡɾeigZ( '>(RYUCX?ۆqXA{emz,"snUViޛZfCz)J1h!.P83:2Z)öP,s$q-,*AAuGWUCL?|72adjsA ;v<-!*jKü(|9vd܎WZT0h4ʳZi,,5G.(\^YJ)>^Ϋ/Gd!?aX!~#0UԎ(:zn2@G}49u:΀QCJ|"󩚴\/yR7-6Q|+?xAf͘Veع /g%Sܥ8́q`U ldmEB @KS-ampJhh˵4kqeƏbU=y}"H^z5&Bqi`꠿&]q܉3?]WP(͜ &7O煾 0Arx U&ȟ>oluNjGRJC|M>{6z"ۏ,yY\@fcxbV`QDBT'!w/ y&y"XҁDA$/ڏ$EVc+740Nx'2 )'grte8ol! 6e}C , fY{pK%ĚwfI SoAgT ݟ% t~S结!! 3@A=޶۰N.4=.7ci祒$\j@ ̘ = CGY,Q'#W!D|:a,BqMEPTV-d 2l\c6qǒ3 #279st>3ym)iz-Se-tv `\6cvk|2J69H>LizPs-=Z`c,_j]O1zHmG5Ok'H*~QOGZ˿l)D+7g]Nhϐ0K#ʼn/)hrR$E[4%kt-, L٩5`nHܔ1o)%:|)H+:5w[Q .9vÙWVߧRLE<įOJV6fI2.iõ/-Y4?4~ӴS.3MI,FU55OSemfΞ4&\ܸ'P2'>~d|`or$kQ6]R?89%=O&%MYX= F^@6wʄ0c} !-_յXU_ɽx.1."3oUh Ѱp :l=ֶ} Ha.//ft\ݦ㠑+!_YXESt2J.oS?XK隸R0p+/!5[fKՋAK?$Ĉkg@5T5 K^ v5T(]փBH /=\U{@0 o@T Μ"~x`h]Aדi cFBވNgy6'e+Cr4\ޒ;p+E "=ZMc(G\6D&P 3tebHkSb{e#[-%0 J/h^ yZ ۊw25vե&zS{/:S4ߜ._D|~ *51dٶJc&|dSܕҦ>jQpm2*@ɷG:*v 8$uh8/:Ug% E&O!E)#=BvZ☆-Nxw0snޯg|+ٽwyeDcd$Nc$jċpOt4\sqXc尺CR;18XI_[)󺠞\Yf[KgQ9kLo1S7uD)b@g ]>9J b+fzv\줽ԌP K\"ʭxVwR j䇵 ēTE@Oظ5QU5)`iYw'w2;LkؙP3clx V~]ݏaɵucxehJ' w^^I͊_w *1H6YqUQXN4E Li3 b9R @*-br[vU׻P ԡc>֥Wh5)_= ڇ *FHBWP@36I4)D4S^PV$^BP!zٝ'ҲO$P/V21 ј 1k8+}xƠX`}2 *2,lAAtnUUcUcord0{3d<&UpJwRk  HŢ].Be^V+-"`MNC/"NGZ}!r> l]qGvֿU`\^`pKӚ!y6SFKSHPltuJoʻ}6yӊv%F2q|ʺU@"c̼12d?I:kF\~}g=';7…GSR!xg$/,JWJp)5H<-생йbop-|yVk*^ǣIgA;u%f`OM*mXv5`h!4p[mAk1YԢXI_;'IK0ji;*^C2or`,w+<Q˯mU r^_G~ӹ؁vFSZ{; }_L$VJOC0щ T0x>b%"Y6žd%4u`znu oY~ D0}#I Fqq/5Dqm]18ALDBqlO+Eg'٪ƣ(ZE?|:L^5Ohꖒ;[ӝ%~C11Z hs-ɿ /03YۑaiQ̏3`W>DiDžͼJ`_H_ns°/7Ƽ mGuS[k5+T k\s1S\|X2q\uSZSQWm!Aa>9T?R Hfĭ=g(F%0+*7ۂbsS2`'|B fNTQX+-dWmB|Zաw B,M◩ӻFيSʾT\r&k(,!եL ,0#J|?}t6W&Dl]1/I T^y\@.*2A'v6l4pQj7i~8yexiH=I^97 L H!6 3v_+2gM&{fT?q N 5.,Kf(!B̹l(^YU,"/P˭.X)`SF!ytKzblc1vdq?-94>4|;lwZvz4Ę&Ͽ?S=h{cujD {W Lh^y3/.6^j;VF4+%V2لyI@ʴpU\o`rtA`(( "b}y$<Di΋`.sQW%Q܋D T%bnׁ1nŹ.BV#<7*`IcU_7KX ג6uvq X*ĨQVIW<@/<@ve|;usS6TIϡ9K=:O6/Jca!כ$# WLM[uuF)9АZIU2!]A6}hm$ ƙ?V&LѰ*hF;((~b# )مC%$3T&XНMڔƨ$J0Ju>HW]KxJ'a|ST6cj,fL ٠rIGl._!jlDZ! zP2nQqOvZbQ[*]vuDhx㣳n)Z#Y]UfKzN0x^$,lj!ֽۂ;CڜLf8{^$0 kWнm-a MRX4<}Ky*ޟO$泝u- wvgØH.14fIh" ANJHQ}rb$_gmȼ?OxUSҖdb 9>la%4~(T'*ˍR UwrR;Q+Iܽӣxm~ 2$M̰$]b)`ͰZH>]!HtɯSTPQѐ19rXȣo~U>ӻՓXȹ)Yr1 {&:*:_upfy\Hg]gL4nS΁K8e;]4Ѯ5(_L>)U:EVsͰno û^0upї&JPZeh+>SR DgKc}#߽[wC-Ur'TN4dQrQ*͊ X]?hl ҙ07m\FK\XUC ifʚ^@TǕK@nKKA_@[wK+2{{i=q_ `~" fw(#HqYU(ǎ_kr8# 4Ǐ]୛,/k\AnwXdpixBdR!KH/:;^ʾڠAϚS ]SuK-G}PZ*C1Gj}̫^ in5@pL͏m\ypmSͬ˨aPr>!I?8|_Q=-ǝ@*2Dg.]o=x#?f=d61ki2>:h1Z.C~6aИNZMD^3 2`S$2';&_*Z Fػ8gsqbB%GxRM3XeSR;Ipqƹ&>fܽ萖NM8uR5]R_ ?68 ?uً7JL~x< S7+Ue,~ӻrlMjG{5$i*>nMF_[#Sܡ#{|J@#1 wyj,{x4w79QxFLfg/V_U{]VmJ+m\l΋trn28'=ROL}'-iׁx=c=)#bBVd2wgg T:{OOEdgiIԙ+hGUwLK& !ɨ a| £'v3=ݵ,7̋梀1qKM\1FwI7~gOxa;)xx3UO5IUk36Nm5g%t?ڢ(ZDrw KꗏDhr]A)-%slP2$ȭsMC=ٱgYZ狆a;g;NJFb\H $wEWolNو=cߋUN';dXDݎ*!H]^wreHfwGntv~ Ib,1T֬3NkU*M=؞-nVyY#"[d/?ES[d;.0v\7%xmRVӄ;L٫hIa\OIkXg\csg|y.f/< Uɞ%zdas@g:!@oeݦ\Yr(䨗 }'~+ef./tz<5֋<@ZЮq$<ہ“)z |6O7GH"*`3p?~KQ$2q 9Q:∃}"4DE^k݃( s[*1‡A4%҅Z~Qg"Mr @A.VjIA8ɀ";feb5;:s曥kqg]v-DA@I ~C[v炟k]@b&5%=XDlI<RX#j}jogg 0$p{Klg[taO]{EvC*/ի^4Ւ^ac(*i߅̍}Ϯz!PzGn(aDXs,kgBf Ժ;ڠ>W-K.3pl x%3I^wYM)@K ͂uJrҝxRJvϏΠn+,7LgyPR%.)N"%mt3L2p@޿RVAݳۍo&i>0i]س^Oht+Qb3К޸`ߐSw֬!65 eK3js'(niw9+HmFx ȑF"{S*=X S]&1$R[T- U)4nAZ6_M!3+ =z֡m߬ >Jz!*n% Jn~%Tfm:{z%m'uwi13p}`jf \C^z䡫piNK¥Ι -Js4"ybSʞ~[Fb S/lD.I*`9fTp>^ yQ ,E}$̮n+ٲfc~Xy -ݪ&=~\isjYp쵃,Z|jR=iXxi\tICU{8o؉,XجK.)kRK6Z,O,Zȳ6G-I|pćW :=ZOv@4)'4`}*)?B4YO1muP7 X_mdwZ҆EpKl/'^<\/BڝR(jTa(33Qaa .{sB̐k$,Dn,ki>^c Y{C30nb~a‰DzW( p2Js9h vR yeoNRnזS=sGO޳6`rmY+)H߇_@ ˝M@bAx<ZyexR5$tKw˰hF|2ay=ݠ18ٶ_0CJQF;I \uol=0hR=!A;Nkz^_bGE,XdWB&ڵTṕQϖ` 찔w@v"f*첤RWk 8Oa=P0cʷ~ SL=af)_qɧ6ݦnA4X=:d  FC,?sl}k>L~x;!{a5Q>̩2S|: 4eƇ{Yq_};25]}U؊Og#7ʃUsύmKh˪2*&55v3% ԯ`egxϒh6^Wv]: tNw87o!ɟ2FU *_Web%{أӘ)9$FNJ]m:;TҞKDDnxT jv*X%+!5Oͺר3A { }\c[T.&kUq j: G/]ai@?}.]&2^l U6/{aBY=b\43 ^V V$b,|XfXkΛy%mR%7k)aI׺"Qro XXz !uԩF(N*!8Bqӣ\VчD+oezm/BH1 Us4fCA1=c j2Qq`s|'( 0D8Xmaƈ2p/8U|p7N EX >C ߢ>;>,z&Q2^9P/wZVWꍁj1 )#<,2"R1WMz% r]A CV'檽T@X#CoE=WSlW'S/x(C6UUzŀA"m-c<1gYZ  Jo/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files~~/src/HOL/Proofs/Lambda/ListApplication.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id206?/G' HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7zXZִF! (s;]·Iq n[:|&[zܒN2J,pdB-\#AD2H26aLm Ri.A }҇SJ8ėC(TT9\{- mh81)̙wnv|o\&tJ~{'(+ [;A-XO x?3)Nf#D)Ş.IcWZjŲD-9=1XZovO4@H +7[U@;H97\t=*߂_et x跗B՞jMX iE[$tEZTS2+'fsrDO_+/d/$/Do$6T;V fG'_-7\@o Uv>ðfo FY_jMXc!HMrLGjfsI›Ikgܦ(i/9˧K75)'W#X"6%6giȐy0Dz.9I<4iW6|&0.0t2>*;˯0/L9BB'll繱qRX \9wagK dX 4v@_vYY_Gq >p $D`~Jz6Lݍ eE6X(s>E5볰g&-"'P}ÂEGQ/NJ%,xw#k|@QSޝ[xѥ:yn'HHEՏa z&ed ɛ[QcyL ,iˇOm/S>jTg f^ /jd('WKq|D*Xܰ+*r[8n $e [ poyo{6E[51 ?&k<LWZ[N!ݝJ^PfPهېH[9;T'҃ ϋ 4XyQU'u2%o6 Q~Z@PfmfJt by}L|@3 'K@( c*R.cDxAyg5&_|j%ĔV߶Yj-lJ&ڼ,&%)IЬ<wn3G T_EErɯSZMK2[=hXG fmwe }?y V׀]~Q-s<k UVË&Nakq==܄|D%#.vacͨY/Z6ARlR6W'g!Q@Μt<X?l<ڵ| o,;ٱ1h;M8}'+FO=#ɖ<4Vcu09Z9MeIC=-f6,^ D{ %6 n;ƨ7͘^4u=)1i`Y/?1gV 15.gg;2Kpg+3x?7A3n,rݚ,&P& t0%S1O 34Ҫ,tkW۰OH|f&%)s_E@%^LdoMGSIGB 荲4TTKlHT5ӄ)ZlJwo#= 3g̐  $[uӦldf O 8+τQX^Eݳ~Cc"jmc2oAA@+4{(}igҐGN!Bgg "EB͢ڴ`_S2*>p >\xQIʖ8{nb˒nDܢX*€dY;VY1@ao:4CGl&Bk-/)3ߒNBB됏PN.ZܭMn%~;TfR*/˰4N-)@1x؈x@Ec=+ߚxsߤGz׿,zIb @eѠF)Qxw8QNF7ekM4ܣ4[-Y9՜TJ9 G))QN%;Әn.wJۛ?XHI r:}FmxO(IkUn K41qV7syXݖuDQ6A#)nZBA7ƛ~; m6[58K,E.?AܾpMf[.>b<{OPBCK>=џՊaq &"I%sOj06K{ZL?^\B\MT#=i?+g/"G^SIQ9O{"KVh Y\yh(Jv-ғJ嵦 q߹βiż;8hԥ7c6; ~WF13RL!٫C9-bM9/|ZT CD' : <~,QGN/܆+9'hB!1hdN]*d$:츱 Wn'}3vBLK8ގ>O(J-_i8PwbΩ;>]d{KDK1c٣ Gi|u[\,7e:)pY$P͇VK|W{@Pe/ 4r٧=-z [[:8%؍<2wBb"Adǥ14-ifZ^? S5!A:u-W:}/*J O14sdL=4}DH[\kn]|2SkD|:x/lRzhiq1L$$P#SEgN*yInE fűtVdqU2@ 㙸УVF igLo9Ii[*K^g y$ݒr#b=f2"H`49ta Vq7=\G o0Ng}%/JԣyЖuq~$0FʽXֶˏmV9!^}s#U~2=c ^$>X  %b!W9}:ؖmXO8Si (x/ו$d2[JAz0GwXDsHN#/ AOƟ_g E4^4 VEF.q/+nqٯ&GNo|##hwZ+gv|*rxu^!6F*6<lRcA_J,KyH{ P͚05#WVT i=a%,VwZiP ͑YQIj]&qCeAeL^aZto"bExu۸yJ1H?Ď-/jflGH%Lz􌩕#OE>B|7a h;4L4z0KF*$Bwҝ PYV3!$9ybLg n1HP鐩X]q}a Pi6MRju vkh՝:4 _xbGj }ܿq+E:]e j9:C(g?͓hH' t#rxE+UE2 &{\3[rzQӜwHNHjWk2/qzt{ޕ5hA"M#RG{PZHg+4.~VBEF%6#fAh2i0=S@OLwJG*$y6"!Bq갵L @ծUP[}\S&&K|fܵRbR34@Kj9R9[+V!{U$xf")߮gq*D u;$BtYz@XsQ:#1 !:fh4y焒L&ӮJvXvĥv YG{\b`0u./sIr(EFrb]?vgWTF)*>vA;,RՋ|$0`$Ēt"l[ߐY$DkW}6~Ȳ倶kSx| Vs=Q:q$Ea-t\xEBڇ?駼 ]AGP^%#}>MK\xY 9XQ;m9xԭs'FuݟqX͑Ӵ R<@N@O`(nuX]q2}4,B2+Z}+k}ɓ97\} yN 2r_]/&I: ipt,ɸ`Ev͟K`>"A\Q XlX~P)| CJ˜5ۦaߨ {0C/S$m&a=̂߸:@МWfz/\Msi B`lz #o Q6sdF 12LS}LT&R9BZ^7uiƀX=Ӭ#I9zt'?*]Ȏ;uwU;.jز]F6p2E2lE_u$N /32:'E$.Bw,uD}MQ1ٰ n܆m'1<"b?BTm11gh7Ԃrba@xd9ٕp dhJ9kKc,XCwjм'qd7~gSRfc:*4mVc=Vѡ&_Yp:^ylVљrfE.=m.4Fd}%`)jxm.@3])v!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#IoLsJTuJv4O M8pe-T3Ku&0q6'dUhhboL sLskJD?&k1uF 9B0O%/4c"u .`dRwf`:"Ǥg0賯7-ڀoҞ՜8eSI":YR Q WMu  &;?JF/4 xy;c}"Fgo㻙y¡̜4s#mlrX ]G!#TvyX |{|z+4OG)* ni$;K i!%b%txL0Ex}Qܐ@I2 ~3H(znS͜Ҽ#,q{d]cl2] †e4h"+M\5en32Э"Qq=4 e_[K;p" __@̬S_~n9յ\vᇫ}"= eXyMO# keZ!BîVJX}RÈy6/)iEhYȖ vwx.hUvQK!iw6U xdCrM'ihP$ 8u gG5^D ee>AY:mIqMoz bUX4rfjQV*yFy3}ޣӰ2%>,(`.롆vEK|\H*Q0[JRlT%[T/DRtF{{ӱn>d"Ϲڴρ'pקDL#E@0Ĉy33hI(ÇOH*=Y H] .ni7vTb/Ƞ$h '5r12z7-Uv3cNSDh Prךk~oikX1!5pѿ\H-ML);4Jiv, s_w&`HA?7`Cdpv(XMK}(f١Ŏ 1bFI^Q'f(<7>~lypٺ(eӆ"EZE+mt} [Ձ6^L ;,A`&4aDƟpFq "X{ amlFek &(4gqKa&v\G:AMc$o*^6AؼjH6o%T΢n{zV65B.OGNAz9̨vDp;ν$Жn%xQ 9CnHdn|@8Zs֋qn ,!+;t)Zi,<| ,!-dDIpm?ȔU@-o@Y #{H&o)bj`{-LNi~)&c_=|ِL2^ӹ}mpU񦱗KwۇSiiˠ&<-8g2ӹ0RIdͦ<2r2?Ni:+vv+P$X\ Ϧ ! %F?e%~JnX $FNaJ9Swġ(w@ 8\7,knvK p]cc*2nށ o,͡F9&\hI%eRB= BɒIkmnVۇ@Ox M$)馛k )v+E6D ^[ t@dRwJKi"=@ Xm' $n s+AIi7C.g4#l*X_kTL9$YA}=]:' 56"225w$sm-Wve>xqf\߱@ 3Xr+D\5܉WX4~#abfkꜮzˀ.]2jA%ptT7 aWvp7Ϋle.\9DI>g}7e36ڎr\9V}'ţU' p|'6-R! 1^y$&KP[*AiT]terȨ 9P^kљ/vi[lGgXSi]-۪,!@|T4k'/1ҹ! @UfhE8Ki mL 6f@Te[r8Uτcr "*ۼ̈g{±;pb/GZ>~9tFRbL"ggr:6KWU$V_fJEA_?'g3ttMg{89*+jǨzuluٱ!*@Ys "oPfb<ŏ蓉,b"y2s,zڤ [5/7hCPSGztj=.?X-ݽ7xǻ"@[ lj ̍cLo_gOS:0̄rHt;1 J^7T1b]k=Ea?x6f`5_| >z<> 2*vEi9Krh%Cl@u+"=xu}/A}_;;lcM0@8V }3RY}:0ZrLXbiGۉzĪ&ܥ2l0-#J$߆P y>$')ɐo lik{;ެ$u]+HURG0WgMxLfbKǤxyI"ŧsAy҈xK&6$h/hR \i[B^CSy{N*`KCixjֽuyڒp&f`˅:]/7)̦$5#WwH* Pq5=G*п*º8?=^NUr8i{6!hByp*ݴ;G&z Fi+'Jf 7&Eh}07BpM 06VT$4̸z,tEJ4WnI2< JbR맳V~\PكL {BWCeEƒq&VvՖU"ZaYdRSa.Irq !Y3 I<bvu}d 1  xB Qsw~_NZn DPXl1E*ÄbN22S 8Q_^0B*F? Q# pW~F3i`kW 3g &,vA]6غ(w3/v_r3Mjsa JC薥V}tNWYaR?|gXaB NFjK)Y!Lf y!YhûKh Mkfx$q#TBv5n=^rH">Aq@2>A]1ŵwJ=u+ 3)[#B*Zۖ/nYQ7-7늿'ބ_؍maOf&04rS/'_GBMG*1b2A+*C풼+k}toKD5v1ݺG6qHlc|\䡴U{H,XȔx{mx}y~֪]1Cn.?2Dw">xD{~(F&t'|+P=xq{ 1ZN WndҲm &"ם|pC@AP!C=-hԊxhY {mЪ3SXC?(bQr}B:Jё'(^zTS|5T O‘ &v358wQq(5Ty0l,{0Vltx)T:ŷjA: yx{NsXWT/UYyWnņ+^Yn3꫅,)%ˡJLvwx?f]&`'p2n}?@8, aKc2ux[!ɼgYj_qa1{zU&@A׾\J꒴K#[C5R8>UkIOI9_UPXR^6æ2ۑxG?G49օ 6vQ&^"]9_,{s -kspyv#8z>ʨk"I ÷A#<Qss M+!'DFhXS!?[_d`Afdp8+byGB#ϋ5ִj@]E@3 `E"W[HoвB5t.G{gN캔Pij&P5Z]> 9sJ<yǿex, X nJBj&*TE;fD~󳨹~1 e8irhPȘ2 F7W0;Vh.^HC7vJ|f.y dwӚg 2Gܻb:Y HaFxѵ ]EK43, țjK ;þDdڃ"u܂@ha0$YƦ-Y("RS<#3>i:p)'c2_%I#C\(䞻u$};H`s {7 2 ٨u!F( FNиL=- Ť+/:WTl"nRRypU>it{wNQ{aqYiH?S,ƖFRi5{S_9MaW<#Aב3y{`}\\#X_)uRlvIZ|z#\q~\앩n{sN]#`gn-l/V"R}$3L+oAk{2}f!;vT` /!{aH_\a-~"BE[#HG G~`_N9Yj2b6q(YFG2]eZ0e 7 O[#z|Ĺ̑+ Gi3$˓V/#M ݮ fjhFVҞD2c=%J+&68FM7ڎ(u6vK+-jV%DF>D\XؘffIq?NZ5LLj,'HgRWxn_D|.ScGqS ֝DZK2mF)3cwQZ/Weqx3"<!$`>-T~H Xn+e7kkBKn4jX6#SWoNoSZd6B(牮Y6J5sHx lVӮv /0"~pz 8pAj[KM8pҍo"gAVQKXX/E5Bɷ]gڡ6\!GK$`X.q9*n11TnMq7YJTyw1kC[lW *X_'pmdq!܂8XxN6ʁS ŭWUw4Egu7+A^P8ͯ8ACdܶ,9S]60G(9;?*77Bj@~:TGAl'+/4#y=(қ|+`'J7@RG Zae ].H[*8EYo<.XGWigR~i凰{FtfHX3oˤm2/̀BϾhًfK%:67V|OX*jK' j2SHh"oN]pX^"Z>3f?n$oC?m#5;?)_.PK];V4H8cXm9`5XvΖgTsd<lЙU "!X*̬M׳!XV{P˺4 ]#2m! ךs;_VbH䐞 ٺ@|vm.l70BYVnk 'ke;݆L1cSg܏ڄt{p ml4f>lwXMі (Q֦fBQ;& ]^XOͮQ?{bux 3mk*f)Ŧh+8̼ qhN=Dl}Q6He4sv  WȜ;=+Ǡ\/B%PKCB}OOȜzxp4Ra _Av)c<#Fc5pF4 3VmǮm 4wb{/,@WbFkEhOx dg)ߊ=S<5Y<+) S"K2ݸL8f S<8b(9Ly)?",1as w,1pDwtfFp}IdM}7ۈ˕ܵ+ |Pnzr7Rcn t҂4Z)op?ij^|WA!WxzE=TS4op~JYeBIA&~oP^xfŶ8HJ`@y˜ yN[)f|@rj kq(|x~u㘷!H;@+b(~CMo3Ċ§EhShZrf$p+y$lSkͲUk':J뀓p?R2p,}( X7s4o ;.dwe);q)!^zB$x'r;L6!mu1xAY`8k5Ҿi d~ks}M= 4cS<3L`jWvW0hmܾqU%ڒ{_=]#R`Nwfrtqy_  Ma0f XK$T:4ppIZK`T|˕׉~! :٥ O5 M#<)A\f{ Py#C5(3 _1 J6 T.\n`FH̭=UEZ(DE)$ i3HfD Lq<XouGl4KU6Lr04uVoiDcjXғzƖBå!|jçl#qT@CAc}M4&u;iIŅ܋^kſIWA¼96?}ނ-xJ]%f 'a&8ȋ9'pAEʢRfn(7#xF{ %g ŁGxZؘ,~ת o0Vݓ[SΩq{+ I 'uJHRͻD> '5[qH#';P .&*T?K/Fzz\WQX#h.No.q;s&58?X`3c!^Ds@=SzqܰpUSR@[Ce_vֻffnYD!62)d.c' 2"HCW DFa9`{yBu /z:o2-jL X<@a ^s[,Mg`ʊ @ͳ бkj7cdSvkXgW2S z+"q ;spZ@㋩I\UksY&0uK/|X7RKt"M/u{':4`.F) h@&Y_};QLxls<rgxao]ߔ#b ~t/NR=~^ dR*iXnP+z"(?$6ixߑ5vq͕a*qFAUL%CQ! ?~ٞ@TM(7غ(VzOZ鳓2v`wl(Fbl˹ rѬK%|9z+w{V\b@Jњ }S!ɬPh8I95V#@94*#NkSzl|=m罒fYjm?*CI>nz'0 3n~4/vY7N3oum 8Ev0\3NL|qcx1^*Id4Ap yf"<4u7T֩jU4mm#7 A3lLQlθ$\scf(P\ee XMvy6ZYY bkN,eXcyțö"R,?C 9'Өybl߇>K|RiT >p] s=?ooE\?RR= oߛ}Hx(,;71=0[4TEQKV jc8Ӗ|BccBv7"tq:MLnTmy'C9x)S}.<Zrd D41H=|!nt^}]CMێ$%]{ f@2ﲲ3Pa ďZ.52Pz\Ձ~$c(u<ڠ|FB.Ä@}2vjNAV ?W݅,)vD</:@1$WU@hsiX)!2(F(f8 7) APg$ i.^jh8i)rO2|gumxqcm }H| Y~˭fvIqXv xxipj&Ȗœօy22;v aa:Yayl_EGGYC6YapnFz U1%ҁ'? [ b @9ڰ`ArkhФ0Hs-]o%ٹ7R?ڊEkÄ)2*5k&1DqޟðCAd&uZ/0RG6LEgI:7wȎ5ݥWxreE@RV+]| nrJNz.Jcp^qL$_P9y``*6"eV8rcKgSmCaM@F$ 8}-v2>)7i1/eI |x˿RsdI vt ɁP.-@)sA:1liضźࣾ2xgulUܸZNkWL+MJ "뤗F[Mh몔;/ @f:^f"A2;7rC͹*^e"o= arxb* fTV.*^w)lp6oewT6NW>7ߞ{:=\&wCma^uA$Hi~벣QRԚ }j\i%M]U sMRc. $ܳKEot,_OnDIR0-( ؓv4m7=~|~ߵc]?5Dz܂~U`brVIfΐ5!g. 1^4  ΑJ]w)"uZ3t N2뚽asR%Eo^[uen|&;L:]_VLg6;}erh 㬇TM+UԅkF[j^ l97)'{&*vfj?I;U2*)l¬$?R<"hCXoUYF>ˊL|AWV`:P.V 3 -[D`_ّMz#٫r["T|y @.$Fh8S&;b?̏TieȻlGdoHf,~Bѱ>fκq |l0]5^<= w5Y>2erDsIGCQߕ 45\ e{س488{Ngf{qyhP~d@ژRSld/TM5 } HF9ŊR')7#3;RNU.C'*c'0v`UL2eH܆?x2^l ޫUop^I +/9sm[\vT3jӀPǨ? ^MZl8>6:CЩģr%1Hty(~T18U) ),E6VeZ\ ;qkOWmmdTkJ,R:5JÅ0ґ;)8\J(>BYgHo`QނH[)DW;~s?ca[6nN[WiJetC 7 s> wR ΅}/H]mH=,K`گJ% v~|lspܷݫa Mh0WnH`v%; Z?D^e~ۙYo+FK<t !©ʋ}RZa 5؛鼠te8w!~j WtS&Ћ~!#uAPOiZ+j h]6uzrֳ~z5#RںBx=B8,d9YɫZ'QDBCM&8`B qP|-r<^Ǎ ў xVxn>Y6#nIY6 㰛# .^3jC6ݟơ GD<%Gvx=TkbxULm"|"<޿Z[?eB{\*wQe[[.[ em0ZVew@0ɉVsS 6pL9K<"UtܘMxJ7Z 'ـ$~,0qr@K!&r#ͫtJtgk,WWhwѡl >kc~6,)G8*LZ 1aĀb:6gYZ'hqgG%uķEDS΀%Iҽ lEYpsΏ"b*ڃq43xԿtrB#9ҺgWĊMy$5hKVS2.Qy\_WXݾע_=찭L2|uǿహNe')BTS >݁?R7}X4AA,cť)7O"#Y;,󛁀pa}!!D])F8Ym+:Nw!ouM!,s1#rܖ#I3 84ʦ`KM%/҈&qQO.X1/ ja0%T|Z9c ov0bu8׿ZZ]77_6ڜ:NB5a}DܙU_!_S+`fÅCb!Hh 4i_j$ e uSoKկsA=wo)bvm/K=\g~ᇒRi];^ݦ f}p 89I at㍮☭t[ZzZu/s7_U1o 4Gh:iu+O% y1qhڈ$C w*j˾/?̙mbe"R v,pAf,Wƹ6_`[㮨3Q.@@фOk5]%_-kLN6T; /6hPimKY4ٙOkS=ˌ˴ ?]}J|F-XkeɜT| yr)Ot(y/MQpF LO~go8nb p !c||頗A®B Šc8V8;ZzЮi~ET .3y8t @-wQxW[4ӴnWLD~% *p,Z45ZWO"9k[@5OF/ZNC CB$yO0׌D'DG>gV]7X[| Iе~['h9 -3Pt62&Mhq/dpxbF#)Fŧ}sf4Ղy'[0&-+#֎20DA]76) /n4௚eC(u" US[#mkȿ tP>cy:/Mksފ 3szD*L== 2Qe%u MSKU\ͭ$_T9's!-q3f`7^OapL`a$-ތނfVj~|:jyYKydKnykJ?[t'Nh"Χ@R&a4;eՇg޷UeخFP4a(5rPPx3g3UY+ v FmPTx&8Ir7Jz3fFXNivw>[ aDp"Գ9M)8Jl xqR_]hx- bdڢ7O%l_:fB374dFץQQ #Zfy8GU H2qI0Esd,lG:} U9Dn8@K}xW\69mZ_ ? wþ#1"bg?Q<TKCzFn )EZGj;)!.x̜BcͻrnFݏ١@R-J0 uꂘ]vq~KqRvn3s%Aز+0=Rylٯw38ƓJ^J#iԫ5@O̳@SW,:sQ0u]>߈/Tj@ #_sıجV u8ɍ:mj܍֪V}zN=fl\YMae{YvaDnW;bV3M TO;Jܗ DbGχIr8)O@,w'h֎; Mmak  ]ҴAɢVpUlW f,#&jc_$=/w#PӓJm: ˗HRJd)*`V+H仞)#n fWv4[82x>}.ھa]$ r?3bg4lV2!횷РBG}md{z%k絋w?PzihM]({V4l2RV{BJZ}5PInE"5oa:m _>Qmya@3wF^Iضa$b- Bc+0>3Ts*1Z6iA} &0{sΦ1gc0Yh DyI?DGt5-3/bV+=r59m!g3H=_Qʚ?8sp,Q}6J ,i!vTa`yOiтHT9R Qy(ZкD} ǣXˣ՛89W`MU14bl,0 MWt] =ɞ~c=-FGxq\rڶ5iFxj0<\cKaΠGNӾl >C=A/Nbqk(B@CURljBt=#*@/v2"1/IW*G\!>Ĩb)+Cpaie&A}(GhF^e@FPFie]E_ZЅ@?`e+ _PdĶ[( ȴ&V,y΢98~]oX i᭲{jfᯥ0y@!هc vLIUsvzqгl{x2,H< r<יf"A׵'%c|glB"sd yQ{ W88`直GA zD(?ȴacfGYx=XDSZAm8²lg"N.ɸpCuf:6%B 8\pMd߾rbU_+]`g6$~ڮ@SߞO Vt;؜Xqfykc>mվC!L D?֪_QE TL:&BVI7>CXR q̅uO!uR@Z$'[]MA%*??7gRH\T,ʺ_3HӉL"6f!ILY/? .ZFth0B(|ŷ5mu`j:3т{$dz ʼd}>Z[݆V<O- ʎV,G^A%2X`uc#!*&In]g1ȏ.bYhq`FK玽qO .r0ft'ʷER5}gSANEݫ'@,E$Dl| e%&>ZOyJ2bh hdvaczFmDIE~qqII56 uehTL%qm~keũ*=ٛwk. [֝R脖LՈ=,$/֔7ns-&1 K®]e)O^.i 葱T!]"S9lQ ᐃx?F~K>QwCWIvwAS&=H̓Tv?X#Aw;uKk\ym֒0" }"FወP0"rq*Ь9!(j?Ca v=u*iӸjxK_oNQWZB+DxtǭeClшX+,f P hz&dqc>F[tNUN׀\;#,.nHbHSJGoGzͶj1gtN# t B` ik]{(W/5/Yc3O-&+_2h l4W k^XwਧysYq:P/-wc[*$< Lp;yb\Ux 4tG ڹ':Y{Sӝ >$F !#jvfYة= ow%L f:33((P>a8:v:XqmAh[*v,ΪRWdGZ 댡BD+ɚ=ٹfDկ*'Z x?F6|2 2GBU 0b~xiLT@Yz9'Hɡ w͚k#2@B#jw,cx$Ý~_+ጋ+I܊L>DJիDk͵`S "x<:~dMء)t/q:&hP n{.& Ei5VLw^a9x8cd a0$72(t6w,X&5MCyy@v)6<3ezh'bLy70C})9തN84_ ?a$7aTLnNL2 y, f5Kg`J>:5`W*?vaV^K1a.~'Ei 2ܫ뺼66Im|ʶ),W[%;i^,L` >Kuh3ԹX6ˣ:՚bbr6mďI}GȒKFa=ݫH+(Uf|QY4p7&s:bzc+zo+T*4i%f70oq@F3XξK:bj'Uև MY%*ŎID\AHG=>yDexdU9Y8RUR2&9V耙=h"*|}v8>eX89S%p U˓#]/8cP;>PARYag>7znZ7o7;x:M0 8 4عD6`'ZF0qDvSeF_4q*?/Iڕ+dQw#F?J`L7dw~U;+ٞqRqsfΉVدH^K=;S7G2' gZu;n317~G\n hY6&3d+LU bG NS R\azK0ӗen@!Ғ|six)N]R~%nh:0+ţs텁e~Z "fiWG1YHל=dcvR]9&@IqUA}L6S:bIwհ7Vd_(%܆߃l^&zi)PchٟqC@k'_c/Q"Jn֝N@śR;e 1 [T AzM|. D?WDjZJkX  16#Cidh@?C ȝ=UyQ37.~U[UYD%tq@Yh˔_?;ZE!~wu93(SzQ\ %Y XTz5{$^^~e+i*6>r%W[8}IB:wHdUZdYO=/P, _h'kJpBUBZHK&׼7|/?qK>>!DA(FJ~A D)qTU?v_fN9T|^گhJO|B[͎7kzG/pL:)2vsOŒc.0:&YÞp3H}Kd$y'{=I?2࿗P Vw boU/Ւ)DjYxqu7{[I4JYp2.OGN%紁3RD %Bm6gx2sй>nq*Y3Q}Mqy!=C7-NòRBۆ7s0 HJ-l#muQ+g{9R0v-wwNQ5+|Qz\ٝ|>y0,>lRI"';w:LC`, t)oXS[ESIdwo{@{9"WM%؇9JZC&t.pD^/a!qYQiXy ^dyv =bQe(^ƥMЅkˢ =wI; vA,N:pwKD%"] Zvǭ7/ ך8#a=:_/2mXÓc?Xa!2pMqw<ځ,N7Q)dad;[:RCdrvxDCv5(zQLһ٧0Xc3*< Nog Aߌs5qGmʤ2GnI>X^Ɯ4ctX -d6ՖTS_[KH ZHlD$B$44|NGٽĪ>L2⾮"wAu! ؏{/kaK˰FT|z2.۪I[S>ŕI c', 5sPeEOiCj46UTр5oф_F$aΏF!x1xv-DR׮|0S2頺xOsJ*?]]"U{exN93tDwVIT9jT zJO+G0e);֢|<EKB-*g[1gosNY W$/;`3  H`L($9S: dmGŘqgpy\oF;}K ;G@zdMĐ6;' nK<}7>n)z"x M*n8K~%H 2zZ<.P hRs"Bkmy҈}&ܓG[L]K`Ygd눎I#8~ i  "vّ6%s}=b)km7Yn(%j3Vʑ{#rxtPC?{Jސގ *S>ӥ%G ?d2g7H`DZYQueM.`EQ!U7+9u]:Qv}Kl3)] +]^}/A@,k&X( qo<]d k =cd%HRv61?}ݴzCֱK et֧.j#F.b`!T.$JKDY8h(;F1wL($!Gvevph[)I?:b!Z5WhsRY\KY&5 Xn-w6HJPMx5U'PY:3, TO_C^f"C_ElHR2yR7"P^煨[ܐ65 ǔdTooi h֋%| mq+9jIG_rd84 |}:i;ini$ Yӌ`W#IVܷ:3xi¿#etS _]D}njE_k!9"5;`? $s 8jok+I^6 GXa(1v}'$yU-䮖c~BIs+#:Ҽ S͛@3*8olz[gKb+>:9F)SV:q UV5V iVSK QCprW9z\%g,QpҴXF)·XT ߋ%G*|GnÛٛ [OZ"jIxKk_JRx^DL4[A4%'fIUZC_Tb Mz=:r±y/ ODwRˣgKQ9ikPupM/80rU|ڬ^wZdGy$^ܙ=G&k>%zR8 eqfΤg^'C*Nk ¶dT( A2\o3i۶ҤcmS7%qV޻'TNt`1LYLP>Ģ}f;AlZU?΁,</1_l)JTPFy%~ԼB@k[(i A39ۚO3k[{r@ws] g ։D˃tQ;iKٱt/}oڌ~vU~:)]<9! 9[PM27yN^Vf\+0X齻Y{H&踆*Lt]vh3Jp:B;HYF5a`vZ}:uF FFڐqۈ"~Gw=zՠ^U4'O *uC,~`yU5#x$ mgPbGo*6Hp<S#L1b(Fɗ^~GrIb*Jz-خD.ŭתw. L5bAj&C ča>\V&䞸u[FY^\v>z mqg$dY-=}~ 4](O4o|6Jhzg5Y Dc+N"i {]~R\8D& 1z~WʇJTiiI;+]_xŶW sWN@GQEPW+9aa^{KKʍGb+Jm9BpNꂛuEWqX:^iH/= 5Y14:o2/GJyHˏ(fR&@gCúˎ"ds|%oҶ xqoFDTXf˾M@<H6Ai4X.uޅDV{3,Fa;qܬht)|${wg8R|Vح@)VDu eڼ-Ų6IE%竲QWùPxhIf:rPKSE<~30KW'E$U f6#C0QOLfXAߓ>stnZ<^P[~6^\ؔ,} d i`fB_fXrܭn_(4yQk`j5g]32nnO) %]^qOl+f!b:w%x62 ?"^p+BM  d=5APs "7NI38t;nVCa+&` Lu|Y k@e }a_^g=c"XD$<'"gW>S#Z@n}<ȴuYՓ՘o" 6;s &G&q3`drrYWTRD ME -ry"iSCI;;ED+bs&#2f[g/؅$;ouP qXOk瑀hoRx~U# ƢO<(NxO<9_Coγūgހ&8ݤj$pT#~4L3?bQ/yOhIVGlڴ)ύW,j8cdY3W KB(J}9Q{P zw k+\ @:gvYvTРdsw|!<T$I]t:٧ԇӪ:'\n*<'zP'q#8sy%AC+x_>fkbMsQ* [UJƺm!,f?S~p#3Bn,kwA" Vd`Tcd]x!w 's,t`H˕ KdL»ЍQ"!.`'yIL4`y /="Ž79$H=hO&2t4B2P~o.$Ne$#>ߟ i2am ve Lڝ{TnghJ;SR/뛣uE5)&1GvVrԫ #ޓ26&\a!=4)?@[,NZ>gA_2cHt$hm9.f  Ha  R;} wȴ(=Ζhr v)*2eU7VBzO2c>5$a]/  ?dBp Ci$0RX5 ˻T~'Ԥج3 dAOiT3N{KVtb'|ThmG5aR VfᶞW֮Pؓ`Yr߇#'DI/&Pʫ~ O795YƳE8;T6"gp ^5mpB_>um}&6O'3rS2{sغXwRXy5XꜹhbXmR>93q=!Ԡb6'q_u,p1RgS9kBCdJBJ.tye9 { Ϋ0Y*Jq̥mԻ gg b[mB`WB٠Myx:?% .Uh rK+S۪"׉f ُ ׭a%JCTL6i7{^hPKwc=`kp(9ٻ8ؼ qqٲKLuw* R90ՠϴhj.iG@2(AO%꯾OВY<@2;\́JT ǠEZ y[BA%X|YR~H;IH2kܻQ@d6XgF#`:oҖON@ FxEe^C6cŒ#' lj g^9$1DXҌ&iHvf32pb*{ۖS8 1ؕxw#s+p)N1_"dY8YIFZ+ L:5Gwn\v`f}w›@]9ܒguOE?zpVjKDx8cr0up @!DdEV`+(ؾ\7.ʃ.<0YT)jb@N\xOSuF $/Ir $=L$& eLn//%Fm8F+# VP7x-c`b0HX$~ZM@p~b YQc5mzfQ:EƒbW_N[\)+1+TZe)z[@m{^?S:=)4eS]v,]&n4[l$FH kݒℼRd_68gTu*+C3_ڪ6N6tofC,T˴$j ֋wtisE#iWDQ|.ASZAnjo?#]{ۛY@]`ԼzA wet!}vWمH/!|S_ՁFDgP:~!̳-F]@3e MMwY*yek o$qbqo!:1*y>6ꖼiHazeʾ{˕2חE`g|$'xh1v&OŚ&磻r> vl y8mhrm%8`>X6f_ |K]ivMz; _^Z7Ndcqi T9Dޞ᛺C\{`|xEߕ^ӪeSTyO^4Zt˜*faq&x<=|8.#te5'1kOuulu%=~M%6K@4_53dr݉ w~pfyP-Ȃ@|7Szvtf@D1d=Vt+)^-,@TD2KI> Oo:?:oNM͆C+tG҄wc|<֎{vOm bBcڄM:|66 !ȍI{FI_p]k-UBwepIk *'ƭ@ wrNHTkF}wa.Ր31Cޅ>$3k8!"r) ô#A oK), APNV -׹K '3lF$+{> 6,x1"%"a&H2=ְyiMN&13Մڽ PLi(fm~4QHO `6Uf6%XT|;+l-Ev]fe 8^| 2{{T%!.0âOVT/ۨ*$n͚W!bK88xv3p4,Z~tھPk[_VC۔O i;A'0ꈝ ?iKΙ~z?t"@Ӣ6#]BCMS;zĊUi舒Q7ٱuTuu^B)vjIw27ἡFZDcZ&9RD}rUm/TVV@y *|(h8\gGS0]E$ ub~$]qG] [< BlbTޖIƓT;#蘜w|0îY}X{hot+c'C/[DisZ[eKM)c0b)ՋrT }rurGە -ɛ5$/g -#pYE}K&dɀԭEZj5@RU:4Lp0"֧tK aʸbj$ÓW~֣qD: Fa-0LcTrL%7j s|#]vVx ׵/&bs}|OK'MI?IJU¥3yMNQ_w<01~$"@@4Ɖi[>w- 8n+EHi m a"1iy&Rbr5O*e/W󻴐Wdc_:HB|WR'I#زx9kȐ/`'"Mlh:\Cu"397 7$]ihO8E0!ҥ~@)-K'1pɜb)&KWk23BM^It.:Y/l/ 'on@ T5t2a ZZGus$VBl;|pbTy7w*)[9M9geaZ,u찎Kɯ羢fXQzjeW[q` `. WaTzr&V!eW`1["NKJk2dTO)W)}~BT11յTҹ+C "\Ƒ˺]"{=X8`+ԜhRL|JFv *l גA }GAz~vF}g?-AA.ޗ^!xdF. ޵R8@{0~A\g-`!=Ye%0)79^EAw Z)B)B_⾜Z .*PK$xpU^4ۜڒWlu`<,Psxd3P0nc8G*뾪7XwQ@NV_&nStQ A42i gn3(Dھ0mAI;E5/-.{olS ,06wlvKu37>"DSkr=n|1UCn9>@[FL!)U.l*X t@!Hso5R&PX?IL.-i!U#m1< `1V2;[\O#h45U)vR[\pw6EJ*li V΅@r};VTKXlYڼ9N DՆOwL\}},چTES t\Xb[2>oC,t9(W_H`1~N!ִ9C[Rizٯ<|/4N^^d+͟ M,b5gb0W#hFBud/< {\[9&E}Y_hMA|p 8~F I3=dB`RBZ.F(cL5yVU>` `F7!K67lue`Hʹ<շ8#p5NONMhakS#\})@^,Ӻ=S#14\&X:Ȯ_ydv='2$v͢d{0{J u,|X'N-LⳑT&qͤS~rn>}aVM F`Pf@7[.LWxsyZ= !.OpIC+lymO k.y Ë: D`Y_oQ 0}M]n|Xz5+ٝ_I(cW9tX%AW76dc Y¯'Y΋!2?m1銒].Z~R#!GHv 穭;!>8A: ""wԙ$6*LW'lQ,zsmy، qt%Nx".kKH ^/N3J@}zUgeO2RZS.T<E}<+Tq+Xe?Bmf *(&x")ҶszVrf۽h}FǸ19,bP*Wvy\um`>OI7 2=pF*Y?\>Z؃N1bSzV'm3e]ˀ a¢Z񘈎x"n*zy B$=[.@)_G<^ƇP*ܳ:ajG/ .5Zm%b#6 @Y6ee3kϛYuG_Pr߿nŎ 7.Ya o%>c|ejv~Jgޕ[qh`?o~E"N.nOIk\g]̙ 4]  B. r /7͆ߵ 0TV_TsXj!(׉]—dAMf@aBWC0FPp&f}pҌgpf/TC+5)o-XSDtǥ}S}FPoey:D2K{9?@X*uس}뾯WDq`β7VF(Z(RҤp*{?Uap0H?@|IcH  c!w*ϔ7 O ͥ`JG˼;lc*wl{FzSl"% 'H N+qWK# R*uFDVȺeJ^b%TW.ox}[5rbUc 쪚`xFYоL?m>9{|WWRT-W/.Z{%.(c1HՐ\jQ|D/z[HFV[Rhx!j׃JyD5Q`y 3 2̖=EN8iv[n-yVCa壘toݴJO/g>Pysa ԞܐVLI>7o ,*Q< Rҹ ]WcP*7KFSၡ㎺ҽ$L-u*SPIש$#@MOŇ> D^!qwB=EɆ{+6-Dg(47/\h3d}x"UjdӋ3YMq$ˍrvi$]m~oqI/M&W0 W)'4?ȉ'mcN"kDSV:=a^#GkC1>2H}ov Z_OϑO'h֢?a-x?CJDMgYY-"I!ŽșI}kM{4kgn#VyMqmty;x8֥KϼP}"DGQ^R_:Mokd5B4?G8 ;=wK!k ([2< W_95 (qb毩1*BW^83Oe7ک#iC?K\WNVU24Ѿ) )}=LT B){Bʌ桉G%bǀ:rwh*|)'A`0`4[}G{mnGmS-2$GyΕN♆a]rn2~ONruϵ@Pfɱ]YჯV1+q% n0 Xg,p3'CT'JU1se61 )Q~%==!_ UoTVxClTx ) (P 4),Y$69]BqEWk"ck[ pXЌ\Rbpob}-*:́LQc6( &;2MQQ˶RZF_i[$ Cɜbls({<_ 'rB̟짡Vaٖ 깹HɕCD90:$JϛMe)Z7@eaQǘPq]Zhx9o7pIH80mq`dhMDxkoJLvD,z۶ l%HI,CSU`v0O]fIA omOٜ>@AAl:rz6.Ƃ>Qsm66Z7JGeڭKWgYZ W]Wa%/A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files~~/src/HOL/Proofs/Lambda/ListBeta.thyE$/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id212Z#/A18HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citationsMatthes-Joachimski-AML "/A' LHOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$bMB%=$~ | tsh1t:{|rNfU\0'-qqNcCt i-j%WRh$9ǨB&K'eZKi-#͠І~vNp~lDO(BkI-|u*%cƜUXDT*or? V; cpF[W;թ6x1,fP^Ң>:qc ^Y#8]7l0QkC6&)|_pBn9#>!k . ذvo3Tȡ !i0g9-=iq5A6FҞK =Y⑸v&VTF[{tt6|*.~o3YbXDgZ"H  2RKURR#"*%FMýM5՝QmSu7ƭ6P/-Ʋ"i.WKhLt0 \ ͢O-|&-l0|" # ɲS\>ZAˇulx1 ,H?3]cI N#ӈlvFmV=KdR.,5d,Kg8*x/[K]/c:ϟ3f]?'/!%&WI~1 ,qx?]^gvਓO"-=iYD\"4~o0=ʗ7x .N^|aAܭhm6*Ӿ.'Tm?kOq cD51NGݖFƏL5!~!Kќ5juXUc|%[7U\_lNl=#i_&2_"R1y׼Y owHh5i^B6&Y*?.ϴc%IW!U.YѨ:/OR˳HAt=dszI-O0;?͔8 %dSt}_VOW'tJ r$гXtۥ5DO;jٯ*d>} GPoeM^B|+ {!p04Б/]Zh:UOHo̶ۖ4fD|Tzș <6*bCsZDgHv 8S SP,[@ `r,be @\#[%sο|]Qr@qa= CM.pw<5a֢Eί,hU##P)DsĎ/)|Ov =j>Q XoSz:+ZLD S{Tt[{H@#?05BәGR7t>ӤAkȉՂq؇Q UFQj_l fX`qZ/orT8Õ;~[]l 0E %k^uǙfLO3vb1:AW{pX|Rsp@lCT{nȧQdAKatv/z&6gsLf!8 .=1~I\Η{JiRC-mqzE&ԧ:, v_Ro.l ?΀qJY3:ݰ(*NڴŕE->2"O?RN3i`Dzy` o{n;1@-됢B|RDղŰHHhZS˪Cg9B!nEq81BNLMΞ7!ϗRDr'y[h2=1e; 1R.M- c ?FiSxX)ʥ+xHrAj !POKȥ6J2NS+Βɫȑ-ibfjxׂ_kHB490+B|:Z\Aہ &&hzPMC7U:ݖxKEvx*?7>~|eǺ]DTK7('(=`JBcRo;^{u p~)vN~FE/A˽s55AM˝=k1e5g(f}Pf[?/gYZ#L+}ѩ \=e؇HMGx0NAVxD*#H ln(%O:x(IlٞhĤ/b \D^I$RI|~ ?jΧÿWH|RzN>;0o!\h)z!LK{%3l?Q慹p;\P6avu3Kq>-XY 6sKBI} w꿖{4o9]]"e5H `Ӯfe115U0.ˢ]od URhh%xcKہwT$N@){0˗T3IMlVƄJ6}ݶcBp2\s⻵%[sNE`ۻXB1F&Ȃ6{f,]vPaiYb)ڋ0TF :MA&@7X&P3_6;3`.h]@-$]DG7BZzL8+!Ò,YF"mHuAʳbe*ȑuʌ 1]{O#Sbr4SkQ uhFk铎1.eq:Q717}SҸz~c}^|𳺄W2+o-kiΣ , S/x~#6$Cr 2v3_qvsP9w!f=mPzE;nqtHcMym@֣Z%iX8PqS&t!jkFaLlR^`Ob)RMGE|` 9iS54S%0G-Qň0Wr.L#-NҦ 6v%!R@zJ?:(̻M]I+idhKDPhikK *waNo픇h\lu,+ݵ)-?,#;N.]D $r}viwE]Trg|m{țڎ.oc1rcL3o(IaKW_:;v3P$[C%!ԻUj=}FU,<ΐ0VƑ/VclQc/ +Vj"eyi#p'1G14j*eoC@4sDY8d?춚ڝf˜+UiW viO`~RF[O2(-'TI;O{?P/Eg62m}5LȆAi48]bX`̬A_,Z֋paĶ!}p}yNdfȆ&> cMAH4_W9+"Ll 4Xmg .VHY ?? _DΕ*pFn&=ڦ;eVv&J|/8s"YfGqVs= 絶-Ͻ,m\䗑#sFim@.D fINAYX> FLd@͔- w)cHgG#ga(ET΂|7kA,N'U Ge'7ۧӌ;U8(s^V:j WJ\C '%;̓]B4_i"3gޓiz=F̾ AgȢ.w:9.NA^pO܎;t[<'O IM7 馃]I~? gΠ#Zf0o_P CSG,,5"6ٕ㩽0]BOc['sNU_}O[m8V3Ϗ:ʬSOpJ^ 'ݧOܱ[2ei{Ѷ1wh5[.Aoton"yi1hA D <&BLm8^6J kK24 3Q{xϼ$f5 zPDcly#8gͤzpLPa_1גo_P4eE?%z@%v.]Jcsl c^ldv>_Îr'#kl¬P:o߆Ft7L:c Kx.o #jVW(˂Ng-t'pÇ빝 2і9RVKf2۠?? w>A0٤ɻ%23zha!"8C*>`FY{U+S2.]SRIy+gZNۑ+ HwnOk\-&5CٻOZ@g5DakrgQX/ 1:e~FN=WHyE]G5D!)Љ9BӞs8cPit~vG3ȸޛ_ѿ+ru̙΀9{.'y&NLgYZ   GI],/=!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;q]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3"!D7>bopyzQ@a4\VHf|}V0 ѯOwdqvtvB(uG: tȈ҆GK> bE&p duv2v+6qU&fdjBZG5RX,Q*x89:H؝UqWU"5B!23t( 49&}*_n.w 8i}B%w?XT;^(YV{dp|NU앛1ї@M $?E״ܪA+Mf("yOȗuEjy@?:yRb`]V@YP4ΓI>ݽUXc&N/dEsM iJ'Sԩ1Ƽ.܅nj)s|1Eaa(6U^N+TW)t"h+!ɘQN?./FZH#.K_ta_9gYZV&/A# T!r& xFnEtIf=pF-Rɿg:W"^AY%(l}̨>QoUe쩤Եu9QDcx{rzeia~^֟S \PZ5MIy"Ux| >$,)7@NUA6~qffM-hY^uQ#fRWYPuX/S !8t[C+Y0#zet|04 bBȨt^LAk+Pz͓R k762SX!{Jl ֤~\Wɩ/ddj͞Hl4˶O'g3I{e̩_lQFPѥ [3*%|m*S>fmd&г9z$|~Aڬm¤kĂtDtk{?O|Ymc[˧)H.߇FWlN@+ӋSWgsXl]wIio1j"=H81_m >a˅é}<6= u05K*$3@ONbEnK;_VDv+z!bJoP5 Z|r#'㌦.OA6*ՑLYW#UxCc̡~8iH]y1NG'yJjC84O4 6?}L"eL7)`%=.1*L$aUuI*ۻ?u\ =Y@%Ǹ~fdmf"xUYJ~||fPhm|э喸.}P6r᳋h:z!fߛ-3yX8{7|\ׁ"݄F:l/-M\UI՜~`)[bzE0t} {Q!|:3Rۘ.hn;[oh-؊ SЕ|>|N&  ?e'K=pա8|jOx)qpSs&e7Fc!(KA'!}k3 f~#/@Ƨ炉4´iQ4y [ EVRi. #Пc p}]ݷR\:0nM .cD -S{o<(>R#1iyz3pr5i"s|P?HקUlĮFuAgZGAE ݒ']=#Nxk#"][JZҵ?d;2\Su↧;[&ќ$,BO@H2&l6o`V &ۅ5ǻt.TA-Y 箏,#Ogˎ';?D <[kɦ FEmG&7!t9BݑQ2hq|JLPl9q ś YxpTw ˸60_nUb c⿈h%;ܕIWMi0} =ED;;b9'O}@x]m39:H""-ۜ, ?UUQ N'Bd+Vq]Pm*!h)&6=j-gD[(7DH;e1t}TtE) M7Ưh핎yֻ ݇#0t^Dؑ6Oyֺ(P&.tVn v ]>EJs{wэT 2*Uv~ecdI]kLc,GdY8 )"7K{ɤפ΂ZEwk)'$ ײ}C OtJ̨%3cԧVZ -JDWibjҍ*xmES2^ i{LO_D^nԋv)s* R)OP6yGqocn`[w*'p:_3㴐FĆK3;t^ .ZRL)`8qһgՕVesc&+x29r*Ej!^^+|'4Ѐu?`GQDSG)~?#]7 tˣ7uS՘N85VN7f_n/ƈ%8~n.{QK1JMZW֏^ٱ|XY$.&~V"Zad|`AFY xXDz? 9?4˩*+ʼ;/d+x!7{ AxҰ/+qR_UK?TY =̂{a6& ?>đJxDBvd7k^Dӫqr&/i>K v$Ҟ$g,~xr<uwW]u%4R0( V^:Y[6Јhf`5L1Pza |,hETc^4nN`;(tصř# nz#]T2"pf(&` }~dD1ZzWZ4!FD'>jDy74#޸ / Ij&RU7ȏw&E5X0&m6nJjp>;)f@;xHA nLϸB=oq =\{rTlE\/AB &Lr ) gYZ#.v@2ϦqHj'ld]'>?fr#z|Cx֦)8ˉ!y՚9J.O͊yy$(WŒrN,ɑoOk ^{[ nE^%%Pd=y ľ4Sy@\u5YA!QY=)#KjVDTDVaIf2LH-|tH@&7vf ~ àxXVq(1MzçrObA"T[새Odvh,)w_˲(A❑5AzO%j);3܎SO;B|N-_^xmM 2$:UґK"[ܷ!5Td Bpf }`q b!X)jTsD,fBݟSidۓz$:ŏԳ у51n| l=ɮGvr@)A.%(WԔ%!?Vis {w[,)I~=Dkcb~vPKː6=-?~D(lsV? p0¼b]t!NM\z0ԁejKj7X epCDZiRc.{l)z(oZ1ȀN3k& }xD*¦MQde lW! eTѮl9KxO{&5z2/oq*8"B(r[q8gz4ծ% 1pOFʳ>K. i0&&[*MK |&Z?L絍1߬띉:Vn@SndhCxn֌@jB66Q?*_&&T|,V\50 I4x4K(UǷH8/rG"G-V-=O=.+(-OɁ>;OQW[~g {S[Va9`.CS8f<޹xA,II28un!sB Ua$|1!Y%5cv#ۢAEu\].ӊ!+;KG.2Y;ngi1qB=?֥οH˨Mww9C2Cʀ傶Ib ()0z)'qxd6ֱzzCNd}(#b"^×0a3@(f[)v]A,I+h-qRſ;0fjYq ?0 KʉӃ*U_/i՛x|5)l:- b,@|zGљD&5҉@|h`L0|&SazMTd&'ᚼ|QR277z+7fc0iȬE/Kꚦu!zDVg dBʴ *} ٍǨ( VU .a l4w Ir]OBC^oQDdqlt2_"mpa ;ty%0ߓu ?1hB1b4֑A] a 0yVam V{7bK[;66ɷ[#Gz&qU ЃIŭA]&\cr,"0:ڗ&^p+ɵݒB'3K8 ǚ78A_:Hl TZ$"7<"'N`bGlNi  هm M;l aXqNcWP {ڊ\y;t-3-ɗt.пpv푫՛?Å4!hʓ-ܐtIcmti@n.`RHbV)>[[yw: (= C 713Mwfl%RA`Q&OG]"'Ɏ+~rƬ| F2QCM CCNaMMN-wy$ ӆed P]Ƒ.fؔOqc$6 vXK!*)rl[Ä!9z/`y'sy@x9o.qy^{٪'k-"zkO?&EBK6uo:E >d~Ty-;@ȶm,R ?#Ҕ+$Gh*a~oǶF7}~KX=) ܖ%8FHNDp@ː*S$WH9"hy ( ?wk~$gRU ebU ?\ͣ+0g?S|̎ˌsp4&{#"T@ w|lC*Kמ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_id1982./=' tHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages7zXZִF! 3]·Iq n[:|&[zܒ ?%Rܤ9،]btAxu죃-SZdSP0P(x}˭ {د_AϤ(n}:nɍ6X8P+/$Cv<(B`8K@j.I^3 ]1JIv{nfԓzl񆑫xdF4d_$0j:aL,mLq`)H~BL1e9I> j& wnF{Ҙ$%wGЀ#YʴS:`쓺@դ+8@!Ẻ: + /MuEVioY1{~.6-fFFɴ?;IR^~߉ ԏgYZ`-/=# THOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! eb]ˠ)jk2p O6LP=͵gl5f&Di5b^8th.X .kN.; "%2ў3P),Sz!Z T K#MVbEsO.vdSA,b.ٹ G>^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~iN?Qr"GDJz6Gw@Hzr^#?oʙ޴Y|ahwJa}-|p.G M{>6hc\{Rg<=S?Fӧ)7hAJOw'6A(w'~^^U;VQj Qt#vX"[9*@p]w~ WI xzA.Y!Kb.suJ-ZXpJ^eڈWdk!8Y弭ƦDz=T~D@[L' vW5q1:+ƎJ-cu;%g۝賆{bײ%{n3}"w%9t+]J컻 P;`5`b`uRty%!0Ը}VASVڟ.-0d.@:'S(I`Iw%7]#[7pp Zi:T_ȫFag_ w[:J 0|i]Y[k5`[:`vzy0'@餠QV jH=Iԡh~.anxz--ޞy:RWecef͆ۼPa7F*5;ؘ0uy' ]ɉu<_~LC$V3t45?eMi()z 6intsk\za׻l`I|ı]vQˋtg&MTIk<Zoc^N5ޛĥrXB|nc+"./GK `NfNi]B ލM׫#SXb8 DsE߮DX$s2a&1?缗9Mn3OaG6;XLNH'-A>Qwފys{EZCT(z"Dag7|j@GTgCj -mHlUjs)(Bf5@b-{zshw2-@*pa^*=A⒤-SCG--ou<^(R#L[Ph#5t1>QEEpW?eڱF_^CE >DCK7g*s8CwFK&\`>ϩS u:=k3'7.͢ } y.΃2cTOXCL˽zyЪj_,?d(Qo}-= 詹O"x4ϾH#Yag꼽S Hypy`7`\pʽ8p6|?9xAYGkBn.7MUp/+OaQDʍ1Zn7>HnCwM(i$D"V=6 >ᕖhxv\U.0~c<|U,R5^zA=nZj[N/)V9Gj03}C=SHs{a-C=b]2n#?7Օ띝A|tFic ̎'yRr_ Eu=Vq{V gXJ2f )Z|m\Mr7$ߘWZo>|IaYT$\ VU™bGB1cWJQDυ#@3XDȦ*}.g0"'y_Xc8)Cnw{e@^LxR8`QqS?{3yZLg%:o< ZsEF!F}dX,\ tP ORNFBnNo .Uo`inBiKkNGޝ\oI83҂R ZlNrYا3*Yoסq<9Mp+NDDBӣyP 2bz2N[ed[9I&+Z4ۜEC4nQ4엖q5Mp}mm?p JC~~@١:B,8S;{'EB:ۻRa *ڧVM""m8( 19W cKJ)}A4 C["%ԦºxDhlX{܁4 0"}my? ^…^G3Ғ·9թP͔AH)[Sl(c񪟨esZ'IXuֽdӋ*`ݪSҍ#,>餑vQ 0.motOdI$ d&QdkX%lC8r =(0/$ݫfxbuxa}J".vү!\_؈*Ƶaemn >@#T!}e] Xf˄Ap*y5s=1k=x٦KkgqFuKe1|O)a2G6=}-q#Y˟Re~rQuj% t4$'r)_ͻ$)ʙ8,vxcl5@[ywߠHEAW@#v̧1:ǷtsϦ,| 6fG(DJ۬`Y05E|yIeO=Dϸ&=^i藳$aݫi>)T>LA2 6Ȁ_P#`Xuk*YE؛yh44Z/3FJN3&._:Or,@^c>֪K̊P|qLtS=es'+z",(CRInKTJAއ*kYFԆA (CNUXEAJN5ܔװvx=lUw UP !ng9%hpƢEQapv}8+*gF$|1M@VAja 9a%f*_aMM],sN񿮶8. U~gYZ 66?1/C# HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! =]ˠ)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ۙ"kJh1ya4}?C4/Hiup3yv ;[ snK) ^G]%:(׎g2bt"j,\_KfK*Sq#z9ShPV CA}R?x/:66+ֻJ2ps[|tv;?N.M1GcL&r(rm+.EݵI33+ʭUT݂DQ?Э]eР`ىULy& t)W;Ța\+M b&t:EFj-~]*Auɣދ|k%AW~w>S40F[;ǺR̥jd)^}1]!rpsE0.,h-a*Vc+a7\ EzlaCׂWx"6W v4cU/@=O gHj98c I9b:[y[zpzNSKc;.|6r` EġtÉԑ46QR{qFޒI_ϲ2.ݕY Љ&^sQ#x@{~-,`w'\!f9\56JH9,)P!UzB)||To~p'cz}t9h2 <e4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id218A2/C' HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF!  ?]Άxʆ5.f-9 rq8L01PzZ V\ǷRH .}"2<䉘ѝV<# I1&1o?:2_2*. _{",ı_m_)ˋGO5.$KĴm>yڟ $8"%FE [[;AkB$Y?!Q8 ʩ!(qhsҨǫ܃g4r++ 4@n#[*$.бF-K5{sIWY'+epO"۲sHR[w;!`ٱI49X Lԉb%4Lz\ӶtYE2"RF0Nf< L~f= ;*2EjKRqc`2W6 U)TIΌsy-N}gW>nVk܌ݒgt- "V*-{M)ʫtv࠴;~}XtoBCד!YUr"_xg 0VAAuD?۝ʔʼp"T3ByF_hSQ -Y% 6H޸$:Imr;&|;C(ts<XGcUTYb͏aHmT 2J ԫj= qaGold dk:0U?. AF ٵG$pc7IBa Nu@ yh6~B_]3/>MbbC@*tnzpn,K'hڻUu.:Sq]ʠLf1"T).Umn+NΦH^Y+"v?bke)^&mH6 e0gSXF.uFxPBW,:u[$| *ٗ|K#<'$ZNv H6Q`P܅W. gd[bf=i{&dwEWBITqՀD {70eJ,>m Ƒ~Q!Z>XY?6EbgihW/ΦHV}ҫ$@cܐ֪Ǭԕ`b vY{q: KW!3d|:KƳAg8>4I&OSfDeB-ٟEN=r2AݛEجh[GPVs2kY7/, "C9U9LRnV#!ݱn2QC̰ R.t+z(^I q|l=^r_%iX{F.vVYhgm|YU۩̬3% >>OJ8ya\AU,Ѹ\vQ;Y6qUy$-g"4aMQ\VU Aڝjbw3 ž7yV6pBe9Z U(R D25Dcy|*K+`mE[ 뭆PlZ9Ft1f/7F>ծl+/sx>czZ֊VMRSjtx:3.qP,[^1GUR2e"|"oH-h g@[oI,$czަP.!df.[I X/d<(LrH~L9j?=,BVpJi]w%,y Z?t QPr}e)|깖ӳ9 rMA;X͝ҹ|db'@? Fm2X.tmP%/䝫Z/o`;YC#],`g$+@' #'"s\es 0Ǩ7§ٵȽr !cKGcuq|-S}}qTP>c5;g~9Eg<~/M6xv _"d9m ۺ/$)kJp#7\SņF]W<}7 gYZ6*` ¨ ay-5{K,idqtaTÈ qgjNښF]RTY`3XQV4L4A;Ǥΐ"J}[u}꧑sݜ4J+(T4q>C9l?Ɗ>iXrpDVV׫&W76SP?rr<ؙ*N erE9c' |vAA * F.WIAI2[ᣓgBm DZ]3 ,^~2+aAElTac;,"]v!1]VX VޕS^ q>anC^4o}nqu9oq_ ~G)g2]x6!Xjo?t͛Xɝ ^DaڇlqzJwcm(akC`w/o=K&- R>m$qiE3b%(n6#>3k&0Rׅ3vɻad-Z33 h9E+4-~␆LmU33_~Eq$e!hoا> %S5 Py lu#ګI,#S(.lک*2 |-_k{6{ í %59jp/¬i_V͘2PK/P Nm<쪘hӽFBQ6HƋS ذFsf(A0S/3tl%{ lU7m L. vC<nilhiV]QXj8}7ZJ"1ql2B56B4k`31N=9\;P'O3ǿ{V^~'afy1PUoQ hE1e>ZReqxIBGʉ~uwe/N8֏7AA0Vj#&95(mKOR , ȗJ|bVmɺ@yF@J΋i@E(R0.r~(ٹ2W翍M @Mluz#b=M襆[V\\{Z-DK '$ yyJ RpׄKJBCO`.9y灢쎆uUu4i ߈䟯0lB_1-^EĞж^FFDdm"_hBϗUG ոr{nHX`.Fz_+RW!Y˃iir-yp֎} "ID]wXr5d s5#ڕ5>"cDrFvRBS]Y5}#UYbe>[tecK@[ OeSfܵ$qHL 4}w Y)iUN-:ܦLMMp a3Z6Լ`:)Ǐ1{.GA5׋qIz(_v)h*_ow%v{!ȈvC<pjZs Bѣ(jjv)#Yr(R{ 'NªaQ[.X '<3> Ky`OGb$"cm}A`s\W"]xع/DI~ uyns(BTU] M^ |]rA+n0 만]IH3#4L%TL\/$Ȍ- 23AЄfߺ+:8'@@p0LojT9؇,ab4-o 2lYw,4x%gJR kd HPtB(S%L&eڏ}~<2R^ E>*kK4um˫k$gߢ[0RvԪ>1+-r`L FCsgRbNsS~cT[NJض"©A}0| 5+\LMG-(@U> 7X_-Yfg@!7=e& bșDkc!LN7{\'Շ!x m*1miUlwOxcTa6e#3+#$?ZLESƖ tl`*0a1d~)80eE,#\ck(u(>UV+R> zˡQ8q;]>\ B%L9/㨁زua"5r7uOt]FJHmtS,BBxKnobxSXb|R\/(d h^Ft)>{{ R}c0J!{ HTTM5s~`)ph|M#2AoH+ Hgs%T_d <oܵ^sO &852Hp#7G]CѢܶDq+!ьW}LᖼX Bjïzk(ܞG{ӧ$J?q)[n@/nS++bm(ZxH34MGK"`ԧڀN>=p/l&Oؙ¦+`u>d-ɯvGMGuT mp~CyRq!*2j*jaTDTi+ k'cE8<# t_+"0awMl{7~HkWjש+zpwAB;SD 1H^tq 4dyR򶃝amjھ}NjxܶڼU{&)&P0r9r~V@HeڙwIL%G4=7mj zXO:s]ŦUxtjn=am101(wnᅚȰc '" ? g)O77wVv6! @Ӗw_S_؛`y78R.jw&sG@V ).DȗAbdAdJέ'>`'&~N)Ď;vN+׫1 6iH5׷'%_=&+Ԓ4z5KeYdyߍ bYB--z mS 6KIΐ\A*`CeẆ ۞UtE 7m0_ T7 r|&ݲBc~;W`na# :iM{s:eB95 1-NbbRQL  `vB,8 a*52!o:j)k'pCXD0{̭0_Cfp ۇ z#QJ{.oJ$c,<6 ցNFDW0:pwAfϣPԗUqEZ`S0R5\(gUTOzFXZ \ٳߜ@ȓF-<Ȕ_ԺOբ˹C_LݤҐOX<`  <5]vU M.;炗Vl^(u=5x},\Rz#wyLN nZg/dy֭tCJ(Pnth 8>} W4oj>:T[ZlH#ZH`&yHc% 'iʦ7هjްgCJo]q}H9A6jirODS ȽU* 5u;jic}SBn ԰y >. U:MH/88δpd mLuT"55n?~i&qkzSWG@Ik$=OWfFJ To`9 j2', Cx bq5lW+ѹs,]˾fo,]O E M'x;^1.4~@K>WЁOA\)I(Tu_ 0&ϚZVOiKr׿>Xsy:W,ChFdxY *F^\ǕRFl1Sv o٪m{_PlVpaaSx-v ]?̲ԙ4'<Ǩ[? .pa ys]C4JZ4PV'eM#>1ICbyida.R8T `C`'nKjW7e6}jm;헵+Pn|d&s&͢P]ɔXa$urB!eŠ4f>ɚ(:X^ 𷧕X/uDj/t]mh1Tîvjlt0DQhy)нb%и |Zeݱ,V`K+Ri >KWqYz.jEbxcӐĊ":Ls]Tm9rg5JCLFr,o.C{%Pa (h6PM̭4s'^!QEe"W6iʀӶFG74ˈ )?DV7h,L$tL \kԸcYLcY[G`\BT˖^d˲41QP}|(]\W1W3fQ\L,rN'A%sy.(w:emB3rE#-dкٲQvH yK( pݍu W4hh/H3f9[{~4to"*gALuj<ɷYhJhYٺsrl}K'Y`yc/ ek#kשvwXn>H䱯Q%-K\ױ-P!>;_me ? | })V f9]kl 6ˁ*c>Md>r/שr:ȝSBs單~&$Kn:)ܐxY| hIÄRzRJ qȃ" cQ%aQ\ K6bK'a˕C?JU"(%+O~AvH9\/3Ђ蘮;)M%tooڕߔ8;I ﴠٯyOI(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[5M?=1@+!Sl8W8/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%5喥\aL<,Z1 $TGrg( ;5qLhMG":֝lG(yxG,r<MlGkt-5vqԀ2baF >ݝlߩYA!uR4Ӌbv Ǘv0( <{U-Ă6[̸Қy޵ׁ1Rm/׀,Xb1it;3Tx["HItC)yY8̲v<Y"4EU@pG{±PhI;A( 1.PKeD iw ЂF3ηTKܝ?u>NǀØ8T*@O5B!4r.ƼKQi=bx>%@,)xהE0}9+:AQThP~- N[ / Jk) H:fd*(U [6mN9% uSp:4%+r!G gYZ5 /E# `@X/mPh7 NXi\Bb Ah\;?jo$ex)`"ɦ49˘u,VvQ[ +id Pliu⾑kr2-Zo 1:AT YȬ<9_?x&1sydFnj+;Ț/~TKᗤS!~oYfVKqH%Z5q^ެ]Y _WHºb̹bWs/1ⲋX*S8w-vQaaS6n*~i.EToq-|!?'hf&x-K7ON1ynNqxgַ@e>O~I:eZ})Pgx9(ͿA{:j"i pRfvxnJ|mb/ Zp̙-b_=̓a_Bђ %5ݶO!CodiZiCzPSWqmk,ʁߑ6JS5۱V"sjU0?=tv7$rY?ժrMGrwd@DݝPI u@Q!ZPrӛ l? ^:BƘf wpH߂{-cy(Hu mɊiI~9qu_J9V8QTE[T4TQV= |%MhatlmPM̒s>GŒwiAغA4Ja)1z. 3$䴉^eDy} F]{}c9EHhfIVE9nZ37zw0}23:ai@ˆ'=V_#T8D']N@ SkQ$vZf ,]~/p2搓Зi6?g8زx `^Xoo>jRA!Ev1ͦLE4]EU^鷎M+#O\>^9~Qvu"ޓ`b]lG1X4P^c=-ڳTVtl) 4vC+rdsݩxT`,=lp s{Luyf |D|Ͼ(t I}ȗ?߷c".m7RDQ'}t+1EetrCA!1Vޏ5)Eb/^(s KqvhS'v qqG|ˋܑ7׏7B5WKX:ҏV|. k_қĝ;A~墐8h@. -[="'=VLB!բVl-tE:bȨ^T< i\ ?>`Mx7 R@J;6q(?ᤢ_u4o0p}iÌ򈟻䉄4Xj=2O%EϽЮ܊@<%qͿő#l EW" $9V1T8}~pu{`^]|zᬟ3؂kǯMP#ϋ͇'ر rC6Z/{Fۄd7x_mF$6ZVK.`HՖ^Wڗ!m xu59]Xy {(h->\:ۇy vTFwO+P&Ffk.EYpܐQܛ} 6C-?d .Nv_0]_Q߶;mdǒ+3:J% :9WY8+ssPjH7nHKD )u(/Ԣ9EFmؿz;}Xd[@18S! 75MUx(gRkM+hB3$@͛7`6 Y$MsYZtr=էqv[T(Oֹ&hWjsTQ>=b(=VzA޾IA%О%SR?(:k^^]l:vgT)'NHlS !>ߍJyaZöy(2IP\|KxgScI(l*+%8|!qo9Q'`ځdC[G ͧM|m{ݡk \9zN$/CwSF5bx?O2+FhJVޜRxX3:/;Z#Z>%|fbfAKR_ϵSتcl4j@.S ~֟bN&^9IxH+謮$G9[.ս(A\-~,GʄY(ia^Gl/~%MJ|bZ闳sLX fvԫ 3I2a]4ga]sUeK!HżQOvv96T:]9(A_)Dpy?l)Ao e~o{|sD[1ha'ٱ;vULS*/PZ+7U[ I󸡋 .U [j {I.`)OYW/mlc#gumͯt(jגIf$=-&V$̬Ђ`6M!C|H>h[0(ã+y(jvdXϬbz:oo ut*зCMzAj%l~X烤lizR?QL6JZM~yZ'=UQfL䜵Q~dЕI) s0Ih4et /ڶf_yEKC-c󨲀=(,'8oCz5ce q+Zy$(у7/Lג1Pmk~JAOa ^V (q]C$@jXԑLZU  ]O[[MZRv!P! jJVN*iIQfԪkT@qӉ$b{ {E!X;7 44TRJo"/c*A%+*894Bi+\ ܒŀ?Q˜j ֺt"'Lt@UĞ+*iԯE0d4U &m?WǪ|rdȣMےލ^n8u_xtl}@Ev; (wrڥSxJN PSXiV}swo|bO[ &ϳyT}a(^MkvhWJǖth'mem"X?9rq_7Cl O4BZx|gYH;׃8<^H( w/?br6'B&*SyOB82xox#W˿u~`ztiP, Mm0.đecNqQ^"pؖ[] SKst-,lIzlmYzY}Ea8fpƙ+#Kw1~}w^̚y8g芉qCQbӴUWPhe03~pC v{9"Cۡjix[ 7+XL^hlAM1,^A֕J9 Unrq?93ۨ$(t8'L,1Z6+@`8L,Z ΪkE0\b:~&O/eڎE#e!hB4vJRs1 +SZAϕcw `Qc\*_@rϭGL8vkN/Xʼn8DkdA,f7"D!)wy?]; fպhn%+xk>=9F>_1(p<6Dls 4^r"?pH"MրQ>t| M5{M-Vt Ji OY~]n8- !;c"z?WiЫCV\_v/pG3 $؃}3g(? % AeAv˱\: # ]}wvX]Hٞ rT)QnKSu RggNlr.sIADٌU Hݭ|e/R9g G ٚ"g,mKenTvxf$&;P8Xb՛cxoYz}ʌThѭ~TX~1+U W%A!k%I(7\,@EΒnœ8G'9R!o%JGOhC0Y7DJlH,2#%vv}Svz_S_D%AZH-Ly߽B*/ .*B֓ .7G mTk._0׊0TA%ŻN؇I"&l]sb^-7[=M1QE'if|oh4jzon J.g4Jy!>{Z7AH}ޠ{gi1{u,8(;4ԇCjU-m|+")m-Wy8<3nsW$}gK5M@qBdBگ'5 LG|@b^0J)p3vN;pFVuiBfz:ۋN.P#)inO7-m 76UTe7Q0𶱠3z@JAIWD,B (BC-HTOu7pFS6f俉@o'9 K&Hѥa@C;>&Yq:OS C`^yn_&xz |jHPM_΄:%6=+N+c m|F)7{ÿoO kwD#c7TѺIߗ+2=9\we'p79P%PdC Ӕ d0?ȭnʿW,UYqJѩwCW6ǥ( ~k ŐL?A?ܷO'\&HYbhp2|bNZV(dlp<6CR7쩳ZsB!%8MP]/ 6\Aę%BSD☏oބAm1D!3ØygHN#@>N"r9="0 -`7!P4qh&0_Mx]mzkoG s"]۹БxZt"U\xԘ|hq0Թf V \n|#s-g[,ڏ Ҥ} ʱ`5"'LC:\mս_bєGEJ;T(;2.;R=x^>1[4Wqk<<.Jm:+'/Z8 ;'Gd046?5j <<)Ư5iKl@obBi"){-b t/DDE7.{mx}!!_rkfOTs_`Z3_x`v/XhDA*409t?)ZoWp(HS(*/*k3-#7W6\A+O~P9KTa^hLI)}ARN_W2yf<>^(~< =UW_Czs OZ'[z-n2UuSƔwtkEt m=rk;h#vPKTE1O dtmV __Q c;Rkʯ\\YBĬܣϐ7oƃ{}q6UĵU并fJac [2j3˛v/|PCUC&BK0Q1`WQ˾+ЗЈ{";&gY 걢sآ&9%pbh9AWϋ`$ Ij,YVH }Ǹmσٍ Ù@J^}xG,YLT( 1dB#@*Ylx, TAu{xڍ2[` +}NLM̞jVQ{se5PIULFvcvSh-AɊB7hyTuOlPvL @!""ta 2yAoPtD8oFh 4yf9mGg1tFaR m7pNE\۴ U`Mc7;,WM"R T^f&J9g0ԊK}t.i<mQ8Kv&$tr6Ւ*ġ>CQiEĭ/kSnJp K77ʳiZ)n73[at`3įEjg5|XXUul[BDiAC0Vڥw-5 p*n]1m1eFTu h,TYR@c"]k pR:ˡπwt[i>m9v #  ^\=!UU+>srU?Г8 mh:_]QG]ܝ "ըn\S:~)}ܑ [}1~`.ys Fwl_mc\LVl/@8$H5^\SP,M.o7w+djD^ H-_AYE4c/g$|4m\UTBSF\O-tTiM?&Vț%3dBpfУ%ݕ)&ސ`G"wэmT);q 8458-y-DsEe~{BU} q{[ _όh,Pmo uJȋ4zcigv 2/T9 uR&#ɛl@<6EUf)AQc(=C$JAE(u҆/'?NOy={L˭zS'rI j1ֳ+>@`2q۾صԌӌBvNc[j)RfaNāL-@ˑwzdu= ]>xP^p=U'r">gU 8 0ίԵRX:^-}**.J(X  o_/#J_p)KO[o6`/#bbd+DL2M'Hv֭RɃ?rgiEen4 ˎ^ .ŖieK3n|0%-e[ݗJ5=qa GlzӃN1_nXu[6Di$I5#H4V͑ J˨(*ۅ ȒXuee6HKVՃ39ˢ~>zGr1 ՇԹ\QYWI+aȜQΊ Aǒx/u6Afd{Nd:ܘ^2νueǂmSrXD+١7XC<άM z\h"S6@BtK<%m$W+V4lb4 Sی_Tg3pI~t9HIvg3l^sƞQh!Oꑙʤy~Nܼ`CTGm[kXqߧrzj8ǟCи.G |)kћ#cgZK5M31|%P<<1S|sAy@W9.2PF Q昜Qd>͆y϶p#Ü:C %h.8c;39a+Q7oY'oWNs _$:̰ܷ)! 4S{2Bڇ֮1f."g?*ݵD^vFf$bN$3"؟a@nelHTf_!G@+a}"~tG; 6KgXY$ )6L6d 6렱ڙ~ |w7͆1?|c|]ogYsB^,$މ=cB6tQkף?zgK |ob JI'>"8K6`̐;:eoJ&/ 2P30Hk_#sP]Z{ݚP Z!; ;5^džy2s\ȧ'"N ZSj+P Lll g2=LcW࿕sԞ EL k*#J:РyKL6ë3<3}O+U>(yRhJR[iU!4h2MzzF78nHf,>Z6E KovOKG7S¬&E5,^d\}1\D;=sU68R6si$V_S,Xo8HC(&ITF¬?k6d.T 1^^gOQǟ>(=Si'`/,&?$slFlj2OKB&h"j av].Mb.7Xb!X|V2JIS [evG4@U{>AluTGTs 3A+J;{DA(.l8U:mh4W-fJ6Z/)g_ ZR\Ӕ w0n֧c;(sGg`j@t7u)[MmaG*өEEidf8yzFRJQ`=maoOʏbv -}-qv$$qD[AOeuD6>Wp TqYZfK'G7v%]]XHQ)ePFHD :Z  Z{ CIH>Jan noI |6`@=!{u&7Iq0&pVUg9r"+N)irؘOCó Ưp5N-WAɎmk߿ÔW``F{,{z45>buP#@$&WE%gQE"W_UO-ތ)P+#jyӋ&%! L\f)b)(* ;r^f7d㝽GRێ5M?!3_E[g<Ӕg5;vwp^*Cvb11"/yN&+wϧ<[bN쾭X~k38}c۫Lr*k;MK;0{xA?(e-@K %1@ bruz5%ʖI ߏ),]0jBH͏!$:T= c.؁h4^2h'u ] kCL?tG)KN[ j%X*˘ePa#6f&aH/SW4W%hi fg¹öӞMJwZqր >az9߆g|D >Rp%@}"9=X.w`иke^S,os6_:-nj jlqʗ'eOjŎ:iBWMAQޖfq!MUlAVXWxK/OfEbyB0)^SNPBT@4GA4+֤ #Z1XX<\ V -&VNCڄ,cTfݺU4֯:h| x`(3uQ͆<(F{[I>e #K52c>gkWMoV'L+)BA߅=Gﯣ Wy#j7{z=Ua͟q0+lǗtXRU0x1l&oR) 0Ȉ{"NM(Ҫ30m³;8k*KN|#ًtqApڇt@qͰMNШf B1`A~mWq7Xz7|$*!:RJGcbz ܸQzqBb*2Cp3vMKqEBP}& ~ݛMs[Q4Ø yoQ"Q5ߠa7ڹQ>a

\vxh0_ 6.?ӖVB8jԂYv{b4|[d$܇)N[& QPSG9s70 ǎHh6M[JgXR[ƮP$(M3 j\7Rjb'n1xLLI:ɨn Ul"K2\DMkdnvx^*H$Wɫ !lOd d?;08lhV^gksS-G򹇍ӵ00hpCRK6P¬%bi|K`wbo-#Ӡg]i#/^t+E5J!i տ&ΤŸ'|"wŤfc4N8qpyA xkk6ey}7rU26kTKN|A)m|,ڊ4!j;JF?f*,lZzw,oC]G\>ߤE$mА_ySp%f#CR&޵AE)[F"uљ-I}ܭw#k^#6Y*=^*LN5(ԌE`@/קȷ2& L8%|}*&_S-A\A 6<6;n3|e:h,q-+ u/fRSTb^+v`~20Cb|n'6kiN62I]*z"6~ND8C?̛HCe)bc,~O5`jF eyxmn* RuQ17II_Yl屷@}8:a ;+$ҪrUA 뀠B :~M—h݌Cd%gBL&Ut,݇^)ʥh$"F1əlz+hHpw9Ί&˃RDcw jߔ}7O"X~_>]&Iq^kl1VNL#~\2e Gjz,$.jyrh'&нѸπۅ%!~<[0D䙐E([" =0'먼@L]PI&3E*IQftݘ]Lg(4Ƙ-m2:T* [{竴Gy:ԏ:4)76zӁn=p/v`?H"]b$%z2ŔUN/!+캀fMV+lD Knl݇r:8-{|8ӔŹ8. /@5։s_&~{;(60tq7]veBI MݏAO iLсw-bmR|f9E1.Iq{,6\k jQ\#6"M:'m& s3%P6zTTL GJ"^Xp̭Ü<N/`]k<* ٌ󼈢'eL"%Eө/hOH]R V FnN@v'is3f2(+$㍣V؀I FhnUt"u:~^RB>7KJ0؍;qaTC# G<邙Mv͟u}0iX~?jI H-OmIygz%_:6s$&ٚ/u]Qn':_K}vt d1W^1-LʷPg قH|M 1@uDVOLcDÃQ[zvm6B5I\< !vn,Zxn\XLhIp:a%E}m6P72Hs$@eæf[DC\Dn2lX2QTW6o:vToǺA07/[\! c4xc>Btzj>38ݲVm,؀#Xj58e ,5N㪱)bh#x[H-E$å{)< p=E*QB$YLӵ%Ƞ@7%  l]Z~^,o kj?]VB0vpbEˀw#!Txp؇9'8<Hg^K9/;l0 "ݹ8ˊJF`ZH[ߑ9e85^1W3uȔQ9UY6˜^5lDۂ@SFf3@݇lIZ U27XqOXut! &}@E@ؤb}xs<%Pסv +fH8#e5i+>FEeeg$XKn~F-0*P>Ҡ(P?k]ނ~A<2nIZfpB_]-Y6B1*ssYCTMve~]/ {T0Yw3?af!d ?%TП 3 W'<̲}L6Nz#R̪/?(4TA1 es[ u6"4!#^t`\O/[L+;#dwÏS7%;XJ*@HVbL9D?d%:Ah)欃1H`f O<>_bQEx9_Fr 74rZZ#ڛAKōdΥXD|[mmeQ*.X)% eVˀ0nM5_ކ*:$c"m`;'/1h5UylҤwa$ƾ$懶/xiSH.lhdSPU~*HBzBx%ţz UeƤt(-EԗB,|^hBHKOD@{@!6c;zŜAT%XP?u9U$N+o%YGpʎ $ˑtfJW|˜z;bmd#;OMrO'YlŃ ?qZw+{ݮŒ>9z^H`D`&E?=X \+{A tןqi_XoT2*ygYZ J " "JE> /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9A]ˠ)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^K1TSґ 2{*/' wx@._}ŻRA4#b;`Eԧu_\|`x4ƭW"i&xwT.pS} -[oI|\삥40f S9u Ȅ (!^ Y:Mw_2U~6kU~$v\I Vs-lX 8f$Ifc$~\wGs7_e.IX怌w^h PM@}pU+!&:3# ~# Ltt}hLD-xԐU(B-%Pi/{/s y6 {b>/»=42J9ϧ. X270 \/hQ:X3-:S;x o,̏.ݠR*ER/A7)`l[ͅ8qѼ8YlSM^$i k !l'"7><{@(55AaE :ti n y \eho t|ޝO? viϽ!Sd`=۸$Sw>8[𭈔[N܀XftBQH4ʢ{msfAz{i|Bي.'dQ눢J6*T:A㭵oYpru!ҍRI𕗧OX0TI nd;~ƭmwq}}[]{ W]pvɈ0h>pOR~@).Ր\]hw'zJM7\U3+%7:N85sχ#xM%n[Eo8:Ѵ$;{!+}I #=wm(S̛BR& Y={^S*=P5?` f!*DHzc_SseF` ^o+W7Mm&ƙǖwQ͑JQ@7s+N{ wXaPU\}:gRYQ!2ƿҊޓ=}ӥ#;2&8|yĞ(aZv\e _W0E 4} /χDwsUuAB"Y!tD7k0Dfywx!ο!k 3.TҧL**8""ŔE Cϊf謊el{9F@#u%%zL6 ?e=/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files~~/src/HOL/Proofs/Lambda/LambdaType.thyG</E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id210N;/71*HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citationsTakahashi-IandC[:/7' LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7zXZִF! _]D?7 {?:fH\L7l^T8(\(~=}eY6a(}~X˛<D0ޢl hÿr^8cQ]j{ucBjnj44XoP .gw t_TONQU!W7!lZ6f@҈/+<t.f$N{<{Ǡxmܺ&NHR)uAǎѬݤ%c6YMbPEPPݝĂDPVbLHuakY SRzb-)lhXO|,R3\Fm>z%s:tKU`(wvu0`)QC8uWr[K;rV&CNa7'a)6NRJB 2 xQ Jk!g,uh!iXكV{+A\cJ\u}Vu⹸,B ؙgfc&B  b# o +~Jb#Z [)L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages?>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup>=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files=C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/filesAD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id@;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$ 1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations# ['HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id wa1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citations w'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id wG7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex 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 B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texUEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texK;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.texI/E; HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.tex "#z7s/ q & q 4 e ! ;'i # r 5kE/E1HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsH@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messagesG>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markupF=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/filesEC/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_idDC/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex </='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex =/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex >/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'@Od-~6o9J7[Gtx &;bwq!* 8 2@IJQ2~C{iNQTX6rZݕwg(E ?u@zXp6oq:y=HT?"qռ!9YH6|O|8"z:C+#dbd{ŤL2y}?ezF Wq7PK(x!X3)g}-5"!uz6G\[ph]eΧ nQ}:nt4!#jU5'ړ:ԛ~)[,ZS[5[>j|%-P΍; a2Z1¦;଄IfmF5f#BSJr҇d=FK~ yǫH D =MY;'K[8𮣯ƫtQ G%PLl/x4k8UBz+IgOZ'/f$W=cdweD@j(dNa?z1|YQ2?Ϡșެ [)8}Ļy'O 5To{OӍPN'kwyVݵ6;L ![{DB7,UHE '?Iӛᚌ"k+3Հy΋8X{ȨTfVf'jZ4[29zP@ۛ=R%NV@No}åq,an}m*yeFU^]3^Gñ|9v#i Ȼ &< z)\ ?hD;햖$=lx' a@245PL;'W4lE0.0~'Es? }#uƆXOe] Paz_ZbеE`mP5]^N3;W`AR/4LP_6.vgj&HVhF`!P(`g瑬/TY,}dq7$=?U /JR) 3 _P  jTA뱧9t na8Gg26WpU^Jy ܇8d-n%9֦!U]idҽ}纮NcRe>/hlĈ:.<$^ŏ-+q>z.IҡA:`t;G]Vr|XSUt:,,uZJZr1̴BM,{ ^~>(Q,#LR~ۍz\gP%B:7=475::L1䘳"0sp4BtB mVK+K4Wr6m06u@#©=1ߪHAm UaEq G"EnڝF(+qA7QBg $o2B=\L;bɐɽ"߈ Ag>tk֪ qѴ 9\ a@7݉)~%ubM$N$[nnŒ iò]Z!ܹENo'mW!m5o}Ols9}> }):=V0Fu?O8ulENcBnHz0 Kt9;SlFjP)C oߌj?@fsEŬMw 7 #pzs,r vWNev#i]&tߍbtG0&vJhfJ˷If#Su'@5[+ArRun,.T? *!T'20l -Zp*{ AI۔m0!Rj <:ѶlCP{tۖH,`_U#ك0H,[;)^yjAH@*-[%xmVy Q)JWEy_1ږ\"=|d~M/tЏ 7-_ޗǦn^c͠.V%CށN(ɉPJѠ5|aT~PEdf޴ǵ -^1S^Pm ݦ ]IG˘v?\g1/a|:&$a*I`+1!]nۈwǍPZ#A\؄EhC~ܔ+ Xd9gNM<q>F!N@72|dH"@81›ך@RC)e- 9uL.?ޑ Hu@O.GJڸu:>Ɵ@b44НF+Ke{e]JR]J"nM%z|w*Gc៑ 0Ap؃hǎ0q,hd 5mHN5]6jNS]e1`tݟˊ3RL휕b {d [6@dhB " gFt0@Mɡqx@ z7 \~hE^fuDБ{QZv~iR ZH;|R!9ss~bzv?ҏŋX4 V:&wIjԎھȳVL7g Y n>`ߕ&VHsVvTEwZ垶 QVgC=u* =#U!( k.eipS_(!=3Ϝ6d`Y{z챁94Xm&YsܻDUw͚gP k5UC\4ij7ۺh?I @TAV&+7dュp ~ԂW"B1ALȿg{Sl/g=aI#[gm먴/-[n <ٻ 4x:;oQf,I%+.ׁL[p _9sKϻD 7YT{NIp .4 wysU2b~%/0l)cЁ8Dn!X>I0eX,`G"華}>|@j[:Qȑ:U A c+yO)#פYnB^$}=C!+H2 [tq)k,zT3oOG*1^sXeKMNb.PY?x濊z?h> 7!fV'Fx s#9BJ U>IHXᕚĝWV|f?z8=&qtDA̘V @[kOG78)y>i}uΐ٦(2fDϺdJڅq9$S٠  ɞiь!1?u-e#^©g2!Yn#JkMrW>0q3~fTP[uaJ Nm{oA VO3MrRhj#4 |γ !FjԾd}ܤ-cyHcFiTk9&=s؄ϧ^DkTL1%@.^RmL4Z w͟YT93{al1&Zkb/Q~ˤVM3!Cq驎\8:yGrwQD{%̐N-D]E;̐'sp}1{]pbsގ- =r z,ZWVp/ s]H!,J ׅL?,X{`.|%(P.v8Ł6pKPT g!d绱T7]┍MT׆sKa6vRLro3HUv ) T.ڄjqԧm+.TE&o?7ŃQpXwڏ2Ұx3 +][c1BeoX@ML+AmBP$Nt?lѤ.H …;+068?(pN‚{ xǽ@_B:D|TGTwSԛ X w] /p*ZT^NV B94]y-) yc޴{{ E2E)F)oy TF{AY/T nOcC砣@ZXY%pWEF4U91Z޾hshS߫zjX`'hX=?->qYGN@I~JG_'lCW966mԨR{0>hHkbW ~[7B[iL~+v 2kMDoiB` >ѝh p0HpT6.|ݖKw^DɊ y q%:W:Qt_U ]z\! w3x[Z^5zgiݞCbVQlhxn.s3-3BY'P]8ǻ$)j$l)QnϚh:qMH}76Jpsq[r}bFRIc"4rqHnDQ7nDoGc n?G+$Ys 4r;CAJ$XRazrԭz@ԒV245]jx_hf? gk擟u*yL"\U{ DF:9$l]:kLGz看o\KӤΧsǍkwM"n>)7S pz}j2-fZb%0|}9(tk"^;Ni Dy.kaL.Ta(}'=ӨA=$CݣV?2̅ 9$P?TF+s*(c*8iy=-b&6+LX-)F5ia_]S DnZ%busdXO cJ$%:Vn^#Bӂ2Ms~XKQlMo&Io=[*,f;!(P]j"L"f1f; 1ݨBv%K*Ωtϲt̟ . QQ[q>KoW\X>Bcӎ*2c2aS.f gquB\OCxZZm~`'TiJ8 ڒRYWy*uꎞ#sΊBu=@l$2OktHyL-e0":_O?iьkdC`V#~]e"r9iw˙|8cHzf™h'_ƶ9?SS%Zཎ+B_ֽkoH>Uo\FЎ0{ 'c :IvK_V:>.N~R*6'(ӄ0N§O>T#:1"I$4rkф#;yHs<+,]FnF-C 7.4u9՜A?PfV+LGB:κ _$an\/+ Q;|N6IŧH{tc{q;_37i/?Yؚ4=V΋FM=MvB>#Y`prb<ѱ Q>:5oSݔt&ʥo˯(Dh}ŊG72v`JL0Iz0[Xį K}:i -J42--MPX2p#2#mq3!![/uL ם΢F_8AR^2} Z71ڠk~W<42"RdkʠeH8Di W4V7WQw ր02FjO9p!Co" sErvĔߝ*S7@dzǩL2:Xn&1|Z;Uf4kH>&"?Y/0²Ab`Yt$<ӑe emMȁZ)y S`cDCGjmlp*{>tHS\+:VBӜc6:^q(A*j%q> -gX?JcQ @Oe;޵RP^DSiAo3E#s:@,RY}<>btL VFvů!)~ UX%G,VD{ÕoNS;l8GZ8}![lf9^3YHƣ@S ³[_sT{\M=qKUP0_e6YJ tV^'}Mӈ#E6XwSIfOx\Aa^'%':RүX]H8%|=2q&m5RC@Գ9|-|F9k0FOھh 4`Ƭx(ޤϴ'5hz}-qL5 8sfaw7S7)6xUgZA( &_GTh 9蟒NmrT?]*Y1,ƨ):)wU!svL&|"&YMl=.by20AC,xr]%+ Pɹ7ǁm2 L^4bt46lr7Y:DxM;sHgf I`+0hzZ:*}4~hDμVKMX64 V_T.?JHϧe Nm!_~-~yunO}[ 'GWuM sAFo˪#Kwmn o[bW 6ozo3g^q');ÆŸBÄx:ҽ0xl~ϥ{?Fꖑs0oj {{%F 4l9"%re0fX-|YU:𦃃7Q5gXݣJwZ9M\aM}rY%1WH9ɵ?@,x2(sƎ@ dpf># %K_[7Dn[v[b _ POt:rVQ!Ed3:Pvg$d jh>ȲI.QlBx#{S[sOw)!W|-^ۊ%/ Nxt&]r"]쑬gYZ + 3 +FB /G# HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! f(]ˠ)jk2p O6LP=͵gl5f&Di5b^8th zb6E3kbOdlB/tL] G 3hf-&xӝB|>tPEOzSho yWPI7Ǯ_V^&yW? ŚKNwJs,Lt!a߃FU{ތzը3fY(^\S_6$ܩJE~$..6wu6gb/ rm. FaQce<#u8Q7NQ*b00B\rzB RAS;مq ^BW6ʘofȥ_}2:=C?!M~%<p ? ADSxP:.k1p d١3ա>%LXz*ɔF12l:x9%NL3t4t~ȶ/ӶJ!ef%'9@3D(-Ds-:͌e;76UN$+7qj GFC-eȓV3=:yfԑCfք(г;iʾ }S0Gˉln% W9Ȟ,/-!}[q1 ! umƭ1u8UȢa<,X:"k1D\y\dd .= 7m cG"×xu|{XcVqō&H?rdZ[d/r%,QpJ6bm Fd vD+vl48P6H;b޴ ^#mB8LCZ_gTi~mB}) 5rk, c>z37V񲑏5%vaomɑ^~-nfpM8Cϼha0[Ҩ ǽ,>ptmj 6J⥆0{`K9K+AjpGJRVv^ V:E*N{j:|%č-9 {ky&BR>WZxWXz硘 7Wt)H,Y[s8z_53kS9L8`N/~S@\{*S9LQ:YɼqaBŒRb۞n]W̮ۅbS$a!2Hڨ7}țtG|)=Mӡ4;Z_-,LPW4n*sº3Gm.J-Ǿ|Q,MGam+/2+x}gQr{٤w=YVW6`ʕ?PpՋ0" lz-Șfe2<{{9h{fK~0#X[JX5%%NK 0czၪvs_kb"̽ه^Ϧ}[MC+z7̪*ijt+]fLW1!-һG 󞹊;J#j [ghez녰#q,) 9k+V{ZOhfJz r?8B1H: $1*%1~` 4A< Cz1#̸S(m_}T1",*~EȊd K3OaLEHUUd@| DXME2FciJ':PEp& ɦ0۱pe?fl5 [IBƾ=EpSZT L?x6݄Z[tpU@m:-fNu.ڟMw>FRQz-E,B7 6I"M_ۮ՜7+d Lл;k"Z@ߴ\lZ6><!qx5s(w0P( P⚰S^[u6sOfƒeJbڗj髚@_TΨn/r>EM{ֵW W^E}ٍ)dKDh%Swm(v1 Մ\;.MUDc(Qg8΂hcK Q.a`T"ΐu͑0ٸ7fܳFبiyoS mb!Hi㕳n!;OAtɾ:0h{u(a[>x/Az.҈D9R= k,@D>Z'<LAL9l-wbvRkPɕOMýi2#U}C `b-}v?]TYS{ I=q?mk# ˱AKG@an^Ћs$ovj GB)z(͈ߜ>2؊ Ge( ghm\R  ye=$. 7Vkezsx|;r6 P%FNDFxpk=ARB4Ԥ>O J9$92f.UQ&]H~2 <!^Dpnv]!(6Jol\.8$^H\m):]jƗM zG-w8Ŀ1~TH!(ʵ;vqApF>!$<:)ZM;1p]6#sγ(7{*PE0yM^P=M;%_eJ7&1 zw9a<-)qgYZDn ^W3Sq#o4-4zmHVR߾L֔k:Ti(Ͱ߬Ȁ3/?ܞx" cNrM 7Zd80nąŌn$sûʚJA ^QJƵ6E" -;sg AR5AUfNHjL *P4x'"gFU1_]Pn;64]ߪ26ZwC]REYSetIGhL$[:! nR)C ;010Jn=~+04VDHJu\)͐x2RbAQC09mGB?ss:kz.bPq*4I輟EWwF z~&[mڕbwf"g\n`QiIɀ>z!1) s T s= ]̴¾kR0<cVpW${m6S}f+լhsI^ (Z#ca\&!Ԏ;2dBG h0ʤQޫv'8# dGa;)^l 0yٕ) Ҭ=AI麜2&{WQ{䘾e3}{4"m<9zH.cAxVrs<.GKY"1uޑ8en,n)}5Rکe뒋D+l/xQdۅ(gkٳBGJ9ZRPv8hƪr뎟Bcpap[EX.iրs1HfK6K>t#bb1kdϋ$ǬN$^*~r;b]Tsm~Y[ Z 3P`F|cNRe>$>JhԆZQ[ /햞b ~8Ը5cYo'$&\LPszRy97)`8IăZ\]f@O-5Y3uQPo)`쵾yӛKµwV7^uq}x0`ꄋ%^OllϭL~;5Cn[PTDM$^e0G/:}Wt,m g0ڼUP:yO}0"~c⩋; (,1~b^f*d$õQpM|$ ?./!]K E փ=@]$A Mh37*<@׽3iw"]0!(~=>( ߤl ~Җ c1O\k"om2D#@LpuP*ZatVg*01˄#W_'d|N?r)X{)MTRP_u4} ԔӢp1GUjqҢ NɭA]p{KSL\O7g_ ; FCҕvj1~$!pH$-s*L>f0N$#ڳ isN=@T#[T}RK[CWنv&ZrH6.Bh+l\R?MLAG?W?׮eu[qsVEyM=AUz0hFfmṅ䩡gI$jn_`L?^R+U~N^*fʙmC,tPCL9CXdeFbaG4{օj!t7}h0A #_}_RM:lNw }\`uIϬ?(%xelϤJؤl$.՜eQmz>ѲNl,1=L͞^bXl h/ L5jsr"e4ĜZGzW@״f1eǭI{wg[#{ߪ"HUmNe#6ޑ6I#ֻ]1G=h_< ĸr:+_@Pg飦E_JUȯP ɖ5Xq|4Iy%ٷ?^8.)TDSj ZT(QsvQy8Sud#-QzИ<`?# {$N,HE>ʯCSKmvˌ Mmu^+*4Z\c:}kQXj;PjA ZJ,%~#b$x!.^R\"/UvSQ d24Rod1}{h:FtD)vS^tDFyU9\w<iig&ߎm3 jE-v$p6dX@XEicQ}7r?ÚO3O>kZfZQ'.E|!~ݶ2!(Н;fluRY#'5ەFo%=SK@̩쵌̂NdSw[ `itGC=u@Hh>NcI}Dž% Md?WC LM黦vrKː|`޼ueB?A'yx"̨$(qz@(7N2K9Ru™GFXm) b5 Z{^g֜N@ja4MO jJ",Kla,?%,g?a$"`_6EXx[t.aI,vfXA(yó0uS<`(4B9(tvYL'醪6#__n來Qj&xS$jV4"QR235N8|<6àj|ϋƜSjV/rK#6Nn(hPݵQq^[|5>byZ8PO؜F*['"OG7rP&4{ ,͠]f0`耬:K㳄 [ć%M ,TVetWX?mUb =%ꫦvObwQ=a+r$M] )NM1"GIU\al"-ߓlIKsqIWb`,\/60NSFji#+,t.z!aL\.VOcdst2ڒRi#Np=o*f#(VtEѢ&EڑDOɗ H&3Iӊ(?1X79 rR6vL:v2CF~9hlOPOlpÿg/犚C.D"~%V5c^TPHX"t:-5bhe?m}F)+?T__}TqC2dBӬQ#]'x"0Y[Jx&pf(-<eS* %GNmi^A~zDz)Sf$NTk~_%8 Mѡ,*Q>}Z }w#eB<mu(%նcw3FJbIM#H\ԟg2ưhfZ3s*^1ˊ{JornS@ADQj Xvף%KRtѷ{t"=j(r{ϡ,@@q!*H>C+EWn!<⡅fU@G`uLԪ"]e,f&'_6x*9iE}0L$,OzAxl.>W5#؞.Ð_ Ҡ 8rW a[lkF &'UȩHŮly;ڜbסQ6+#y :9u6Wi(ň9.ުuq˪o?Fˊb ,9GpA͌ގhT.H1*{已FIe8.\5ڀhk㽟'/{[pC̈b_tRQ1/I|8Ւ]o[lQOPBb EM ]xC|y-|&R=im?]Lm)|ٲO[;4t gqgY k`A`~ֺz2)^jX\p<{ܼiÈ)JQ rnDhs ~oDy<#nY/eɐd-IT5 Ґ=q6/*Sڜ"R7'%eb/N00ϧ.b1O3=? ߭hEYۯl %{&ԂZp;B`C?%$.M Bؕ񏌃"r}ʼfB81"GW4cvz>ʻRMԽiBަa ŷrI?؟Z&vV|m'a/2 Ga `&ҧH6}PFu%apߠnpF*dK 4FX䞌Z]gfZSp=S+{ydZ2̱xiAF^#;FdrƶNᾝΏ%'v-Ai<v9"Wv)K&Epg AOEnzeiv,-ڸG;g|ne7hA+OKJl+b,: 9&sMx_\,*G*f/ wr](bk*y<ڭ^׏~DWϲS:?Z!`s>lTڵP4ĽNkɘwxuDByG1eZbe5* va"fRx?50o'UzBcRLo׵ZlO,q߉@vJ'ltqXw, *iL)~ڳ߷:]8hLHKh;-QE4xnUHG9Jsr?SQHLA~&y<᡻=cJyQgYZ K  jK\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML"G/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$bMI9&rn *M^=NR':^:XsG-4YZ.a+_[gxU&2Xb>V`gCɾ^zM70%eᫌA_Ai3nL #U \39uô Z9fo_+ءwnJkdz㣌W>IЍtI73^Sc1jꀞPy\@hYZ-6aY N@;+7ٲꞚeƛâB chԵHPsAfa8]Ggŧe:icjAw7zb9%@rzB9_oh:~!0nE+V`jߊ #S ͹h($3;R Č|shA cwu2"?L&m*b伓#Ac0r1R_(`#=|SRH|`a*d:oNAFnԓnyFqά ?FJR]s BNVפ~,`f)9jp" GGUZH7 8ߞ2@1G\V]O4XV nݔThH\p]̵ o?)ʌo|l'P)?ÎzKHVNa3N@F[0D eF>)ʁBJk*=P>fχc/%;2auSBGͤELNoq:tB*~j| 2pK! f9oIp ;CM(#p\M@ S6P DgԼ'@,cإ/;6mANӼ!J*e>e+0BS vP*p8OU?zLN|aLĤqsK~go:g4 $8g 26w\oNѮhTQ ]ЖAB>y0%] xͻ~y--h+?ʭB='~T咽NKYnK? :([[]Jq#mo.a\~K7\`-?d`=QO? 9.$B\8S2}ӐZ ʋT [aݏB<( "]9ZfmFTBۅS+,;Tqyٿox;zφaȓ5SMjOǃEWBDphWhHð)hHLRIdXd5H81ehuFY_|'\EsuY'o9-b6eMg{zׇkz]Z+KtAY  bX2 tts|[Zԣ#9QL$|bM̦As٤H MaK+0|=u*""3KFeE/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 rq8L0KH%!ޅU:av&80DB?\H'}&ݐ#mFء G~Y&կ_FYRsDB Z%>37rVxvI*!xc \c'[ax@Ost\й]I\u/Ԡ@}gwʫ)/p&]+T[+pH!ѕ9S~\TщI FI_)JRÁ‘_ ki45u0b1<E~Z_o14ࠕy?o"˂/+'6PNBbtoTE$5$(%^Ş;~;gzmdexLyisW'&j^l#+GXs޵%;01!?GR\bMX:[23Qz㠨$dKS  \I&dZW:NyoM$L'xվ,.uԧFol; }BOPױgYZG} 9Ud ]ZljBI:CX"r^MI|FS`gÖ'Z] q%/'JmrvzY*R,T3>Nm"n<4iqҸc) Nvwkx2Y3[U) )@bj= K 5[q/   ._wI׽=_"♓7[{H4Lc܍ʄ]Vz@V2TW6XT] Qra;0 T<@*$Z/{ — Kwϴ;DOBRr];-?bG&B8=QCgZRy/֣#hS-7|oBoRz_B84Jg~[eޙG4غ>f+ |cg_J51Hke_A2/p*7g:"~)!yl(<Ճ+ζM(Ա*]K9$wL*`Ȍx\Bw@ĹQ`y-rɦ!vr^ay$:'2lp4U GL=pr]-(8{_2 M7n}?8#x r=DaS*DoDkC'a]{Vry=C#ibTD@l >J &B1:r7*GiE즂l)EX(T&|SAfl\u!F>+ {Lg;j#>G7Tq}GD d6hņ6)B/y&0 H?e']0+A|9Tj@,n/ƭhxa]vٟzxC>&1am 0VZ 䮃=N/6 Y2 $@ܕY^X7u^瘊okGe)m8yWͶ`ϗz4i絹O 79m"ACA."*r)(J5{J2e,O9/" cPpC ?=CW)O9AĜyM@+!dHy5ԱBH)im>Q"Gg$v]Zc ղ -j<௴jKYiۏɶ@$ iA3a+[;зl>eLmJv)ܰ!YS[jlhKOwNu+Y,'ў|%S8#񋵧y'NG4:kz7hdCSpbyY q |Vx6sɌkI[w1h=D9Jt?=M*1`r8Ѱ4#PU~E!3&_P(?GPZ$QK<7I7G7~%?v:,߿~Q+ͪ"gW}g#N/z[l>9'>dMsl }Nqr ,j>#mmN-EIeTwb&MxΎ5g -Dɺ{&ZIY Oπ2Rn [񈩤U"_H'߲a=IBJ'xN  3 0| %o @]?m&yizn jJlHɀ.S.P\? 6/Yke8xNtR_k̴ ?RǹI ԉ5'Ķ28ΙegӕdY:2i! @[-DuN>^Nix64LG_BEn=tiLyZJ%*sl:B:Z>h#pAj^ޅ OZ{G4 eӮt];FM*5Wp?tw̟#z/N%aQ0ߖtP$,+B=,4GL)/v x7AE9+&mR۩FiHLr>wy9dZv>XIv 3 ;kOODX2?(P+㵈8gY# gwryF1JT;켆-U I=BJ%5(:0㢾{vA[{Yp25CհyOkxZ}J6 (4H8g6ӕ~eg XdN7v6]4/7uC  _RLan1ɕw'tmQGw'v#4-ǵ0_/KU)=NvBR3F3HCtlDy"B@2}J :Y1k)&Bap̙ښPy2L^X4s=" :"[ +GZ0'\:z7ӸS\UI0Tlc32;$BcNcM8+LJhL 1?PWTaw'v6f!/a(+[bDЈ<21?IJ֜\ o5_'JZ 3%l\;@:TuZ[ul`/\WG:eha-)"e/ź?XlAaOPT )v(f#W"; H4?fiM&Aq!Y-ew lƥBݐ!Y!@l A0"ŝ.+Cdw!zz'YH{#ysi$xr;l0Z@Ve 78P7l-J9cޡ^^& <ы $sS^ޅLQ.:ɯ[g ( \jPz^+>@gT}NT <.T$j`6'.i%#l^Ye${p tϖh}`= Ɔl's_eMQ Bb|9J7TW6PQfFgOYHiKA̻9ʵuaAw]{"n@MJO{uz#!yu"OpeXX(DRYd/2ry\`!1{?Z݉fz 3a !k}IY֏' Uh1Y$#-i= +ǎjq oa GʜޮSAPEk=iP<$G+yH(d\B5fTԘxCz/X,|#!RbK$e7T.d6INc{eV,uX=Hxm!$Cdk7Au]y)i` y!ן 91+Yr Ʈ" J8-U #81t/_s̞)p9dF/8RS)#;a0iɟ?J hUe߂^*.!)7$G ;%Ƭ=" Ad*aqmmI jl,a@1,`_Yd`1bԩIMWLX%~wn'[r3k><@SR>n_68}Pkeu2 ,7ATuU` u4"F%BCP~CAPYWb{!=4`Lȴ,ܲwIĚ|v{۴ݚF}6_" B\ĐGw]%T0K((_QNa>bغ{ p^bE ɽ( _7T#󄝔Ƨ\gז\ Jhq_k[sRnMKP(`v;xFcDh0q6"˹(! T7aGiUCšNN"zl'[7{#` #%_C9aE@ebQ3=L>yEvU7Е:9!Ph]Ha/ _B`>"peFI.aibՋkWtI=F^PFxq[KTFPr d;j 03;f "gpݝ-H#{ѠX0?DQ@0<Үjw.?-9 щOF:2c/ܯ33(@,je"z^KJv =\ m##D?%~HsGJL4YP2 ph:oS*vl@̏Xm9?v"LzOZ݈ fKfs6ygy.o}XŁ0kJ]2$ǹ:`Ldvʞz~D)멿!e%f3Ane 9Q&i *YC7 o(bSOL6j\b:8SF׸WvG͂bͬvs fhyeɾ9ϠE㞗sK HcJ8wz,>FAaA JK5g"0-d8t0jgHz_@ ]x -Fm!ÇjyjP3!@К?]ҨdUJ e&TyC&F~J2h(rll$]&.(&t7A(nTg߳ r"]s t9`%{nu++5{+~{Mg9kSyj,e9UI4XdIB,q uZQ˃(47IWrpR7i+ɍ6 2|/T ZKu ewrJ!SZǡvc/rz~Cc N lznT~ Ki7*c cI$P +R˜3:7ZmjNbN?JŃS_E]^ǒ*$ E^A|Էχ惡kl+qS| ̃Y J-(+!%<$ yL,۠윌ܽ S:1CrG15dO>}8Ӯ$Kɼn$?8[iFՖE3ta/p<(n ~{H\IA젙f !TM$hn h=`RNtgٜݰPUD՞^p%U*ki=Eu-$A&nm+R`aGk7ךpo~ڏoTx?% AMT>M'[\6u~]k/$Vd!yF'nJB8RYℭ/DCH;s~(D#cw/PUlCT)_u P ,,c^2|=V5/Ņa}wXy5(xƬj&ҍ>4М=Q>p5\`-WQK}dʉbմJjc?tM7tn`2P63m+l_y>HE~_R1I?[  yZd x[~M]eK%-  0B>,W%7p JYG=Fp Q5Ò=SqI -Ib>m`j=sgi0xco /xk?h&f^nݍm{ig+^HA2ˆT!1!Y(nR+{ jq不]g];2/#sc_|a'x0B.zu^!ٶ)z}4w09^lǹ6|DgG!+̄N׽%Qd<;%dBH q2Gw<L(8'gԜ%i6_'tw Kg2>NM)LCC@=T,nOxvm7(,ٖBa&fJ|C{XfF#rŠI (jil~g4`-HO5O%n$rHz  2k.@o:\9{f3UiGz4zz őuX]˄RD(۾KC3:m"˜~#mn7 Ӿ664#VP@U Yfwҍg^_] cz%)_ԕ >FLj:ȹԺ z緁ۧ[;S С#bۀ@>l8qo0CMϮkm_hͷ\ZbQ6/lIq:OmE^3&4$XJ/6DOq=䚫Fwk^fvU(Z|\b㔾U˴XDxJƹԶERIORK+$@'I JDA͗-X?JHq8q|wXNYi~pv9#@:_Z}WW˫Yej{߬tw_1"qpyd˙[ Q/G֝נWU\P?ЧQs=Ăm9N!}⁈t bdrzna@,pJ1 |a=@GˢH5iĀjO'tPrtΙa1*G3-:*\!a3E_pF~Ҫmbz3{Djt k={2ND3!XHND|QꀞŋX1#XqE0G?qcӒ1.;X0;/\-kW ɨ@5dls ~h֨W5JK eiݮOFb./ݯ.N '%p<f; [ NXb; c&uͻޚ_2;B)_<j;gDFP7?@[ģR_cjT?r gXKj<`Qlҟ4}&naȘ)]LV"* |ה;bwL'.I8S97`hnVqr2Ƃ"A_-KUUh&d|#(;̫^/)H2!WwSG j#Hyن[َS|QE%O?*wg.Sq}L mRU\=G1T>^@8QhЌ5͉wpzsg q\Qg@*brȚtƅlzTgjzFNC,ծqY1Sf0Z{(N13YVaNjg͇-Yk~@x?1iƶ0b0 ̓E5 Bj\oorRs\q؊i"2.Et;%;//|jƄMs/(VNFحlD!a)yZR< 啿WW\l}.=0>Mttj[c[ * z6:T8mvGouծkf U@Ilfe` /-Ј8̔wɤF RI7,`=?HĒ, ĝzsY(ɢ߇`⃄ExI]œX] rAasS$DXm%+KY}S#aB+O_]%W==B;5g\>,GMâɣ,8gz ajt`σbOEDb+K;6V%)Y>'a2Mx|ZWlZĈu?Y ^չCdlp+=c3/ʛ;{*%bLop0bئ:hѺw^8J̯̇r9"Om#`F^!_؄p #i <@n*O1,>Tv}aͮXp5`HfH -cQ# /#Θ{[yf|nl* fD.%7`h&ws/.J;-pς1AH@烙qܤr{q͔o*{1Joyorb%' 5ZGf2Gpaۉ-"bچ7K@AZ;`W;jXy N'Hv]!Aie%T7DPxDI+pYƑd˞NFvz>Z꣛:R+ @h|ZWf1UEa9ӱOF~M]%]4!"Gy B0Dzurry,Dr'ӷUVh:{5Zd)u`B͎W~;*(fW繏bus-@TH>H3tŨVTmҖOj7 y2 =[SدjemȒ_{ 9aY|ge nɭ pMH|K I3eY'4rޙRgσ&1[Ȱ`9 N}-&2^>mr{՘du<;&}+@&TWhS\iTZJ|hnm&a\QE;}7H'$%^uB* Y>1^(բB2C!r_sI=PH,4hBM: zr* FVh:$u-W@ cxa&`YM?riRC7qONEk.6 On[RY(mdt3f/"G% oX H(@ht!SCz,&XB؆51E)A L GT̖ލέ#£ 5vCjisL6Qlh<@ Gti8߁q1ujibvoQ', > Hbѯ$1!ϓęya^/?*3(g㾫15;jjR:Х> >3*r-љ`n6c-[Wo|P%#̏hX_ƍ!!FhH[ӭNkE[[דh.*]sUmy;kFo,/C I"كn&cQO4qh/ѻ˜`z;WNb`YJSZV;Խ8ҷlc5F;{b2N ח z\3bsPTSf6}kX_eզaGRXtծ?$@>M߭ GhHLfè)I67F4#QfYoW w]GL( {l!_qPܹQn4 h6dLGbur+}gQGi %X "W9ۤ ^-|`B8՚KBry9^e؃&roٖגX L=>[TrA2r@8[V s@> 4RŦ9+l\(6$039]eY Zj|@ykW]⻬ƭaRA>f w{mU;*tu?IkΟ25u2vו$΅azc>kd#ʶ'=Kv&33RIF̴k ]OLN{(*f3Mꝉ>L;:j oIUΕѦqKox) jb#xȲZOb~ mḇ@9#q-Ƒ'sC#SNHju*Ǚ|4V7ܩHD xk{@6=M=O8e*N5-w~΅F׀++gYZ986b96e01a0c3bbb94c8eb6ac8dc34a7e65f605f25b0ff30768df4fab02e9aff76d0f45f128d63ca b55e82dbdf800592b89fe68bed818d4dfff5aff0