SQLite format 3@ I.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info c/vT4D ]/ HOL-Proofs-Lambda:threads=6elapsed=98.584cpu=116.308gc=4.9567zXZִF! ]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߯9@}w.ވ8˯\?ڒz#tAE󲡯<&4 K|P`ݽbkY\t{g Qn+9N>*/ Asg)b3%uLhp'9tVwH]H, /qŕD'ƦgYZ7zXZִF! hQ]ŗXiɟ11bu)a2W5Kԫh} gәFt6F":jr: k,6d_k߹LYT VN6a cʲoEagi(0~{2"{-}bQs+:3L)hhnkQ^H矪!y_!;$%]-rJ/{syߤ+MˍZ@f _ybIk nrS7Ӄ2}^lVfGX "0>)L<&]]fѤf?DJ"yXYkvEaUՐ )ox;XPo+gYZ7zXZִF! ,]ŗXi%C43"/$ir182*duaFQ /v 0{FJ(#r;iWti>'ht=J kb>ST[p{ﴥ M^:gM̏KKBunLA*YN># oT_Ģ҃ǦL$=UOXVrj){gY~\ 旪 0B({QAZ|(Ѳśrct%&WyQz׼gu+%g"/d"eZ+1aswpy=1c %[,;Qʍ$T#kAl\@۲rw3jf}> zqZI~cQb8^/˜BTg*i(Ц/j kHr沢5c_GzxŌ: Lb^HM=|2!=pi )=+,!-Ǖ*R\%D]bD!*e3ƻ6W!Q!*~oar ߔ2=SwRZ(̖;]GO=|o:);[HJfe1r1)}HKSyz2Ê{݄49MJڤ05Q?3n!&w[qnB8u|^<*%#{mq&pt~^{aS)K}bƀW[ +fCcZ5 e3E Q4o#O?s;k'3^_AިZb|blQX%"8:uIqgqlڞ4$ɂ (P^Ui!Hy\b2p~a1RXϠ #1b,E덎wlW)rV{h̯r+'|[4.KRĚ=֑%Ҭ">G}cMT`>CjHMnj%~FfYDQ(O~g# BgK!_- ׽ 7u YH l<aIm4~VdTt >Ǘt{Rdʝ.aD*yQ1NRWƥPܢ8pU^t+EJ +˹!9B '< 􉂢bS,ӠD`QfR~ň@\w/~Ra#$ݦoTn!ςy٨\I* yWtnE'姖i@  /G8P,?MtVr+(&A\&6v&akq[~➙E-A`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 Nb#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 L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.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 TSTt/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{{): ۸ 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:LUJ \M0lUrq 7=,T@R%+poE]09*/{JB'xrVEU# yԬ[x^G#^~}ܦ^ԛi?-@5:J*`'㞳|]3GMxyZq~hS|.u h~fW4Pf`7PRmy4I˲( C@ӓfR_w{'$eAF:M.* `PbAޯ5 M#f᳑39tFJ(c|he{D;Ϝ`(-9wN->L>sj8PYjU4[Y9 ֐$i | 2d\iJ .Wh@0V ;qʂШ{,GT/'jlO#z:0@E5RsGRY>@JI+<fӇi3 ,߹U|d~(7b1qzIҧVf֜QPZzcCrAlrjp 2} ?A Wy-I&$ߏ5p@>kz"TvR%dī<)K& xgŒDsU8On/j*㯠ۈRAp47G{k!fXnrL2B I'@+_C> 'p&*'s̓Z=ϘDQ! _ӎ]E)-<CdUW0Xw6?[y'NֺݴIsU\1x%u@U1 r 'ge Vzč^R`gLU?w[fpQ+ _4 Ja;jCMw rCn͆S !W^p sFzv !Vؠյ/{6(:HѵxFe_,*Iԣ_21|I0ց抋{VTe'9Zwʃ=?t`Yb@ ì5nzqܙl,$x"}Q$IeC]_;U.sd/pSMWM% åYFd m 6 hf2Q^GT\$fM_v䀔WeP!Ц]+bAOXT`uI^b1ֲcqrR0ca=$YHϚ7͆A:q虅,`LT XZ]J!.Z57K__3L0FDJ/n )|2 D2*F'C6oLX/[wsVP c<-N(}^%4xcz]ORǟtLkĝi<i63&ٯY;q~ YwK[ʙܥW4F$8o}yE$z%}^i&ssNƚbE~/aQV,z/yӛ~tzfeޱr\M =k\gFjӡ$du]; >v$9༵&QLU{ ydFCC'?Ħs n ~[F2ݓxK '[Evɚ湘QP$[)ڎ9* 䧐{q0,:9 ; yOrVíQRޯXk/eG@"X'LCU 3uS:lVRʴ۝ad%M'|RKm[;!o;do{Yλ ]p*jю|b +r^9α)^HDϲ.J;]Eh+9^:S {d%fԗy N֦/ݩ{b',V*¨w5S CK0W̜^ R͙ޭ[ 268BLyy,1R$_1x2<*B&ų΀cJ0%yUEBB}ȕ=I z> .S֛|_O5^ՠ6o0M| cDG#y)c*Q^{!/b@/3:Ԥ$aV1leliCbCbXE <ꢰ j!Tc f%iAݔB-¿6^" Cb%v͆~dLFYiAAjOiq3SlS\_E 7UJ&A*Prnq;bpG6L6d/ \p^[Y($3r9~Y`BփyG)\b% O'9H%5K^T~e8*9o]U\O[d]iMp kʼnn'fgsp|sL<itZ{̿QAѡb=jw 6X@8|G:**kP&òoyq[B pMEi}1fFWWık|B0mj]W[g *oeZY0di4=?,Aᛏ>'ӝ\]9:㻦q4sehl _&)`dAs1oB,mo],7G]ЧSְ3p68}#ԁ)=& tvT a<z@!k15sLlZP(5@×̷eH\$Dwipy s6)݈Bݐce;(^!(ί5^5G "⹭wi_EwS Ao4펇U_D>vɼlV_ UIoj: :% )co tA]@$y-^~tG(6U?: +^뇤:cX?bih#ImXqw>3@ ])% ;Y8/J/a\KC9 sOC=nf,NuQyH.e&+byl^xu|A3gv7$JD[ݤ]Ǎ`v=tf:*%>;?ٷ0qyq.Db{V)T9rE-eCiEG~=fDĬ/.y4JTtK V$ɳ'V;x&ܰt*z8͔]9}D͙t JmygR3չ:^ٗOfQ @Rn[M{mgL!̝OIܰN!u޾NK0-BiA__#W,D_tw=Oٵ= pq^B>/0~R"BV" n+J2 ֪K=9[S@&.dt"^8һPJ._Q "~*7}Wհ~0B8lPb򁳘:aKQ ۘtmeIZ=n9mx--m[bKH$R+*ovŅl/_iS8'Nm%p. 0:FQ=⦎kf$N0,  nQYYރ|f<Ck+䴹NMd Ҷ;uhOvqUaȪ^Gu+˥KL&^jȶ鈚ȡch|NKi1 !!D@x#>,և L&FUhn=?JocpRK!΢PopZ,@ra# !O=&b6q5TtbYg7I |$+҇ m{zXoVo:-'sEzQw P2i?cوi 7J'=pPR !8mJ"`kyIz;{7 VO׀[ApǡC:lO1HE۪ޑ`.~~\1鉗,γ*f)0[,ݾZ,iU,'`@(}V.2_4 BuߋպJ^+Nmxvst~u>׆?f ^fpW^9,1:V{j4dȡ7*dEAf$eo.La^S謎Dӌ{iIuCERrrae/@. s?7 6q.HHL A-c Gh`CБՠaw3{_*2x;u#qyAR gwBg':o9bv7kX-y+;DU@K$kW )+Z3|Q}6i0*zB2=~hC!eq㈅Dt ;q&09 :.+t5 6>zy˗= 5bLlWN z.ɺ=uwBHNzLlsX s65I_+a6πJ? $"Va@)19#_P[/xkճT[-U9H6QaDgOJ*CL:F0v¿ByIdxk=?aY| 4=jQU~1ZA2J ` Vl+MΉGq˽1dpLj- kQ+[ɍ.ɮw?e+.A9`"0O%68r|?:qt ]9OuS/xUh,U+&svU4= 'FORCg)brt%VJn vy,=uM|:ݰP23?wYDӲRW A%1x+wʫL|v7s- B~昪X. Ҥ^єT k{-`pcrƊՍ=qʦ!cM*0K_S[~wui{^:ʓVĀ7v ^փlGs\^vm|B `eXOY7(gx/ot\(oP-*BfeL 1jẄ́PQMg@9aqkݴ%OTߴT?"ʋ&?)n*ګn쿛4R0kA/_h፻Z+J\@DD|+&;H?Vk7J 0v&ʗ]027fP kɁږ K9pZ#,T0E>\_/M7YcLt1+Dep0iF5m"k_?b-_X|-q@d '."4Z:n#Mm\sH$MDuUL r&f,KѵEHApa5TK۰{W/Ex6udIi\:6!^ dޥ'=bT4yd-b9DzbHa Ɣ֢׸"ÖJ}֑`#ILlewcX9q;Sf.1ⷍn%̄&=icΔ8sY]|.ŷgYZ ##R/OE HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex7zXZִF! b:]A-MՋhvG"uIBm5ȩ<7You_&qƺ=n27+Zv>bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBfҶ!5pDr\ʆI DֽV\pr',X⃹ X`[4^? <%PUE1ȃf;_߿ $FøvD5 DtOeHSߑx;SMSJv4x}P"+wY RxF ! )ot8-N+IL*|آkkH@ҡڕ@CE(L$Nn"ff?2ck@Q+PI T ߸*uR)Xf*]7#puش0{O=[j9 jk&&]C+Tvт-qLqCoL/+"ARvv7q`Zmp7+JCz@)y \/Ev 8Gs{Wi2 b/mפbG7$OF0Hb>m`}l/S59aclr; $]4*?ثb:y93-4S} @%_@< 5̲̖Ɉl@($jN [r<r,<0GS*shMͩ竒yX83MzSǵaնY3uƕJsj{3kΛd#]M)\{?ʦLhSŀaϱn[W{fbd]@49ӊf0dɊ6oA\]57o>q['}pVi{a TxT#NGoxHfh0#mן71eݜq!赒%YtgS^2v]`m$&^?kc"k_˃$RY F?+%Q9g0MW8ѐNZ 5eNtNSwLG.H+raDz{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 X/=3 4HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex7zXZִF! 8 ]A-MՋhvG"uIBm5*oQ߱6qg B?%xvv KL}o{}5Hq'^%Uk:V&5:x´HZ㱞t4zM^UJ]DnPFU)`s )S[hTF!u_@hM,mN*O}8IJtlu_GS(7bBjL`S"L;Z*T=:IU*.fZa 2OmTszhUkgBG H}X3& // Ǭ#0pQ: } [TOX~Oci3vU( _?Z8^JG|&2 1HYP^=݇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 {{ /G= tHOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex7zXZִF! L;]A-MՋhvG"uIBm5ɭS+Glulbh""'^ YǵI#|;# Y%u*87 ~Dǘ5 J_7Pw::JaS p_E@O_t`P  e&R1 _.`X\EԜ2Gpv`;Z6*@ Ik#$,ymU K`NG UGhi2g#s h_G1=9ߞ_Q\HהpZe~F-8n8}v,M| #MX`$yS̥'zd )b=:ߨ0wKn\mr(n|B<S-On kiؓ[7]߱Z⧪b,r9%3Wɷ_p u(ks߱$lŵSq!&e!eɼ㪢hĦ5a~VxGCeu0wc9ͿWf>lS2xڃj a~WR[?uBjI_J4FLcE _yf.:&AW9 ba`Cp87'kp1,VqlRoKk~kp$\joXGU{[fzscV8 h52֍->>R.|-#Q+Z2E;3ճa4X} y$vٯj_o \$\w_UUě}1Y H`a@-c֎ sDp?3Nx8AӬ\,z: pMRӂ^t< -i;&v'켨䡔s0*В ڷև"6Դ;V,Zл2@cdf~C3~o*hl[:F8n23Y.`cq+:⳶1}I1xt녈i|/b]LZ; +;$ ;Wإ>qK<+{'NXT2^}b +4XSFWDM>B`*AE(iI'e)wQvA6*Ls~%Ʃ"x*r1_!8F Vt@|~6wj~|OY#y<SU AӔΨ;w8o.5瓠߾#$qm%^V޶}ƞO߶@QgD~5UNp9zsJAɑ (L]hsb^+%QSBF;!s :uD}-R*{xUP0EK`b2Fzg/6L-+I"M+tEuB̺&m? ʛ63V{h(E=m)ݿK0 u;x>xu@]D\a`5*` ůzkabTq$?#4(:C햴' BzRRE!sO`.~KtOr׃5]iiJm]pbW@jQr}0t<]gv_3[Cl9jIEl:-[k^J2 ͅ&eB~1Z@.p{oJiSqp`;Dv"E)\q2SI\`w cKj?B5p6dFIFP}JԬvP'7Ǔ{g:.UQe\SU}?5 ƅd*yTTui(B o<oN!'MZ@QI+hx,vP=OPlduXc%1 x.x 9wb#G YPBC~ײ-fZ _Ō#vz~7V9#R $d[g8&*E@?(<`:[5@͍|L,]65Y~WiK[nϮ>hӵssP\xb\4 ?ȷ_:*m'&YG/5)K/W-"Oo^o`6WJX `AWB$'8Ĥd˒gYZ ( /A7 LHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex7zXZִF! D]A-MՋhvG"uIBm5grw1Y厝8l_ЩوB]O߇eyˋO˙G8 oCrV,w +t3}Pub<5K]Tp B5bBS{SSǝO!PG=9N"Vz10ayī,0okWXSn9e z&Ͼp馄0y{{CB@=|,>Fd3O]>$p%oIP =be=`E.ynnkW )sC$)l <4S # 3Ev ,q1z'' lяX)K4`3/QParHПJ5O>2;|ASį\54Blx+n*F;1fXVץ=7 ,moV@R~[C(Dӏ228sLn9= +ۦ<e=Er%vD`0 mfar Mh0sp% TUf*C]IPqZLNEGsj[̶1c;ڕH 199I7}bY (MmJ}d8>GjGҮ9+qZurh*bkMc:p)~"'k ᛗ&cϵp_5{iuc[Ȟ>5Wݭ0=sbvv𴾆HW:%Y6@=눩/X#h>|,lɖnfև;aۤѢW![$o[g훗P>&1Z9zT}'r *$.[E,px{9 2OU De}\!'K)+r!stWv85Nw >˂5NP-vXkKAd?u_v7M9 X*3ʋJ',W;c!p.~eu xNdXSR-wBݧ;rʤLLAȽb0!Gʙad+-]}L7]#rbrqv )Cט F6>lA  ^(=e5!v_,^zD52H:˿s)7׹_|5P^hU:х8.BɖFgCd7YKlQsێ0ӫW+)YMJVOz[X,}JCh|N`(1̚e{x*p5hhG5e7iU'n؋kmɸQS(Y;zN͟xZ-sTQjv>aB26@?5Jʋ\h3ϖa%vK3=eKZ¯ctĸ_"3Ju/˒t-nia4؅RqKqg6olTQr҆/][$(z. 쯁 7\^Є:iw5U/FRa{-.Gt̮U1lMKVeh|L/lv 44iC|lեpjo:tS"=_L;HN-f/q5bw$D(/DoϸX_9}4Q DMA?6[ߦ>lD~uçK>kvӺe +0obEqCynr9P}A]+78}.ӌ441 @h* c\4F٪etLn¡S#/&d(v_5"Sk>Dg5bX]ް2)w*WmR5/~nfrv Q^DBbU)K)QJstP\_6tX*̅.}^/WJ+шB~?͆%hA^ֱ7[pE'9XcE o~Ĩ~j+N.yW/6Pi~7$j^9N6'QָKn쑽_pk9Ǐų.ŗ]8\g Pe~zˉ<h~՟ m-DKP&`uslR^}j56FHbɮ2m?9N "?Т89;q_jZ$?7/Wr7AbaotAf=AXې`|` cWT60tfOfd ;A>_o[brz)v6)qU? M̰x $髃pۼĘAhlj>3NOyuaV{^_+T)$T}/}wj.}q爝 92W̧am:TWp&L@ Πuذu3PEhSv\ lm//YoH77,v^}L<hbktw'5͏ЎGt9q?aJd 2r-{ T.΢so${o2YöT)9) EhDLɮ~DlcvZ2 pT5@*>+cJ dUl g_iv GPfdotQ(@fC&ؕ2# k.'Bx<^02aiS鴭kٌ4M `"Tte՞4 ]wc ha|-~.@UW#7xYL}҈SEE{HDJ~3iz\JA kuT|2"-Kyh!PX2TS[uޔhʄG)@dn.pLh.SN U H+4n6pt(}=w{$KU/u ҭ>bin&nQrHex +f30K{ʀ}|c6ƌJ/|6z)B9E%3t#dh(3zHbg΢ rwkˎ!TcqJK_Gi/2VOb̋"">Gx /Dw&L;;|Ϛ)WΌX_ nnQH\Qe)3: 5Ԟ^-{/[!:"P`g)̚xg0er[cI(=rc&uˑ ANmu|΢:SIX_ Yk7ֿ< "E_v!8"<$ROG$KpfsI.NhFm~ɦ3xbeMAstYm+E1;Y<]lr\3B|ό6Fu=c9;ʱ,"CG#daf=gȽj}| F\> 63FLs?90}yE fʾg p G ϻnIʯ9'Ny08ׄ#ĎтXA{E\ȟdȚ-zfJ$24ǵd6 3 EvVu>̝+Q;SJ8+c{-={r3}CƤJd C`+\mqSh_R gpwIaXhdvR/[-fD,ЮR*?_حIʿ 18OT8@V"z !')4Ta18wz%ʓQnkSyUۆWXJr"A:7YQOO{ۦH(/(zU-\ 7i\9XAY1Iȋ*z-l#u.Z_WVȜr/8fB2&?Usn&_GVCz"ыr}VQ;G|<@TF$"dF=פtX5d@`HnS\wK^BUq3HM$ߡ[,Ș6$tM RJ>o7\0xdQ c6+u=' bf #=G^(m S|1^ܹ }U$'`kB`nJ[Ưhx ҳv]M pe:4dd޷]&#˱>% pX>.$}l9 J0C6^ڮo}fq\zkx*e'xbjU__6ɽ+78bwlyү_KIؤ=e*;fɮ1W2-RބC.$d'Gru`WBLNߙOC3҈Vt{uDUhGQTIdK ecrֺѩ;X Lr̬tT6Am&Y@ ^;|?yWl2UMVVM,^FkHRp?E B̦~\9t%jy;4edy%5~0Z`&LQO0[ǠE3f=3Tk\RM,57*6Sf^{G f9ÎWjhÖ9-+/$'爘Mґ0F TVLM9리 <[!NdpVj6_ /B:Zx˓pwrٲ٠\b Okmǣ)a`Bfu/jyZGHdiSqiI^f*;z'3.vAbMQ@="QX? [;{0>Ы?{dTyAX הhjCUj8pO(P$`ހ[B61"rqSIn!(Fyy2B^ʸ}7/ CUZ1GM?q:YUl7 edeD\/+J I!LY,SBHລÑnd'"ٷie-JIgt%wMӘ?:pWKo;4"OL `, P+{THP|Z~t |l۫A̓#]E|C 0\ >ivzZ j#Xé(X.VUO^Y?RPR 6p=MN]B {H4oY:P-?Z_ìI׿&\MSͅnۚU;&@v.Qaa/Dp-C*+ ]O_< "…`wuGLxU߾k"~25j=U]PqۛPa D] ?Q 1}JfڱwC{@ SQ)U`sbangS腮NLoз#D5Ys"!(ArsRZ!NB׶[Gf! +FE\*8T^&ôcjt{X\0y7N<)N|-~}i XSWPwNju [x1|K~} \I1w-[R)@݆+ro/53𭟌P%)jG̎6oPXNi0e1niQTᢖ tt;{O/츀l8f [wbwҕ۩Sbt64'Y`r;w<-t\R ܌89*]W4s1+)"j)<ȴp<鱨 UJtshĵ۝PtqP3@>TZǻMEk8i/`o1M,?9K_=|/?c!䚰YG|a9**S1 !I-gȚ87JRΎI΂v)ś}djHAxiR2~X7rIe]&J4gt$1ŜNT8ar,Mݍhgp}J,_iә\k>9)Qޣ]JZ,S Ev̐A wi% f+m!+NJRW,f,J!]R+΂K]/gd 2A%>z7)D6&%1diR%J$z[xt%F5x'~o (7] W)^Vy\#qP6o`>a?76aA]h*ډy}ҌuCU|&S5y_мld\9xHDhx/jd9=biCw#rE-6ALQ$˵e2kosGRL8[6ؑ<@,%(V{e{Z%E?$Cv8Ym|<'::)$5-#+κN|K>gPBC(PlR$Qr)Zg%K9H:\ "x2z),ybx \ϱUԾDO39V-ž1X2DaNkZ _~^|F~wV i=!w!y gPi~ k[$ׄvǹA'9jgњL*a {GGjw=_!hyޚcw]|#FC7E˭0>Ĩ5#OՆ;:$R4%Gˆ"f^.^e'#_J͓P{^qxAY] 8nɖ/dB ^9{ew[>eJJUSsR7xFkDOL\cuZ2V@PKWPz=>9TzIniN~winFQAXPLZZ>ĠH%uv1KϜtnNH|vUy"'WwRūn+2FL,QW Q,F`!7 x$D0uV߂K2!v}['S|.xǑ ~Vg%]Bδ CD'7cO넲؈tV`QiO,i]^j jvԢccy_EY;󿕨)f#qC3bR.,uHyeMxKMjL>2SQMGf-Wng̟L@;e7f NTOamܪGMDtwB G_AWv &;x7Ed'HaJiX]m0rEh౵9Ө /̈́U$s޹Rn%QCď9F6+ }MtoOn ștTD&Xm>%د&ʹźCYED F!~3MV>_?ՅR/+!6{V_ 8gƩ#UzyNmADe 137?36"FjG%# yYKڄh-<ϸ;! @HN.O65yA3]t3"wmL?%^ YZGhjt@[l>un߅`-z+iqK+KR3@ »? StspazDS_`'d ۷h,ԟ;ϕ}5"G^SmYC|l3FUPħzb#?V., yMMù"\}"(&y!lfys1%^XYAJq]wb񒮧`::g5԰0:ozeQu"f2(1AUMm׍xowO6qV t:؛\YO]w$t% kkMl/GZDkhp ]R {.Kڂ^<"usã\-& %hܱIk N>z[]VG(^/i9X綴"};D/FbM"9=RO[< -kM';n_VMB !}h. H`ӍDM)a /Xʊ,bÁ'F[[hӈ7LT'% ;sk6P4cU;`QOL;,ID԰ZQuxw""~RĖ/+۹XXg'Z라h<p!% UM]]dNd#wލ8KI9քx;6t̩k7@vK3˿J5:'S.ع(ksSwJ]g ,$JzBSUrYJo'88V\'f*C&)SÕm ;Yb1,oPcơBO{󾒩+Ia={%(S;$pŅa:퉢q1LYxDp8j_i{^4tnJ`1O?1hXRҷEPN8dt cX?O^YӏH>#tH aGN@ߞ%|<"ً*P9@+~=eg sd YzBӼI , b85+Vsiq%w_ }Ó~xXIHz A9Z 5uJN Ƶ!p]5Ky)%[B@N.h,!Ett=RN8O΢}ȶɄ0itRvw'R7=1im+:JSanm8&ѿ51)j4JVz#d@hU,̖3ø!:JWRXt2su/|yȉ뜋}2s^ W!xiΙWw,WP2"K ê;a+{mNh>OՏ(D-<ኒfc7 Ԋ'PB&t/KlX)E菳qPDd+&B\pJh YJ1;(|Z~)W6%ZBiqry#Z {=-Iw%.G`b^c7lIu$y/K!~4n#cK)jDXf8v#ڟHܜXu\g? E{7qKޏh֚*UK)7nT-X@CT2 :tw@r ]Ip9ɚJbӛ.xnI?%j:FX'[&٦p-!̬c,u|V T. KW;99?25߻Vh(YNtFo>P~7k0iC|Y[v jآA?l2yT{\ʗ[s3YUдǪ g {sH:M(z;:oVܒ"FNz>'3 &r$¹9.ELk)M:Ⱦʏ$FӭI>NL4Bl^0Uպ' "׫g;*.hk媓ykF,X$t닪.+jX[N_kS<ƈ+zS:O+(F\{-L0>{Om˸KwfƆ"¥0?}Ҏl1V<4t+kc}=~ήu j-W͉gevjL"%8E"3b@VˠKK?1BTQb85XXHm$eKRvojοf t K}5heC-0*%«*$[|gھ(Ϙ N4]N*m2hfn&2ИJNyވr'\zVd/ (sk y =ZtFXzp( 5[;Ķ~V+ZidL$ŚA;]^wfw6 b)ɉ:ep3XBBxu$-IVUje8ux8LW\vCYLv$uJGq8"c=Nh+r*_jA=֦0D/]c_鵁A oz<|gљY0[C$7-9}+gl5کLh. _\$ZW'|k%mj8.]vͿLϾ缓r2g /&6ͫ06Y6KPSI^Ɣ?e 7WԒ3Q)7BT?nwXbN>w{-"]a8,a<3 aT7R P3xE0z0]oAOHx=|ʛzQv8J~U$Q Ze68f:!uٟ=sm]`O3u.P-4ILkK>9n;<56{@H@-yd-i-~E]9l aڀH<(wEhN }\ B\W kԥY:x͛qRҽQ${pyw# 4ĒQIK/ϫ 5>\j ŝx겳x0M4LPA֦fLߚx2fuY3=O#<;U~҈ OipYn6 cm9]GFdޓMϨY9yT 8 IL}~ܲˤ46iI"GJ=1oul|՞k$Ȕk!-AOo1L?~A@8ImLF;(lX#teQ gYZ L_Lg/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/files~~/src/HOL/Proofs/Lambda/InductTermi.thyH/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id216~/=' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages7zXZִF! ]D?7 {?:fH\Hey?nOo$޻Y_<4 r!Y ݫ'3jɌ"#B$ShՊ>37ؐX%VD wj :($"-8H&}CA=Z*khsLA\d #FE1cWiBFN1T|t=XE-haƿ5jG_oOdqZ rP\mV8噖JGo@TT{Q1&) W}lȾ|X.{(Ùν;i};Tϖ\-8NQGq]{1xݸoӛ$ȧ<ڕ\|4`ڣ65&;j}?2Wxh ZO˥NƘHy)+!KmQƉRzShu_NX.)R;$+qHZZ#JCɏp ~4ǟ#c ^י\T8ZK#!7(ԬD1,jc(f_u0iN ;xt_շ@0 g2Iy& G]:O!Nh:"SU5ogYZq /=# tHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !r]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~ >Ř$B;WLdHc{(-:JL$k" 3觓,V؁)|NbN|5l܇GQ= E[ :˃$,g@"DSIP{N;Pr r@-f-G>%~2i?nGn'/|K܂isY<2>  rp?_N !6h|1ޱKXA<]/=!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\7X֪[#>SssNX28ɧEĞ̑be;e@m(@$kD}L呯p+9B\_aʠ톎NlDZL  4QUCp'^ .d&&b79z~pgm@N)ƼfRC嚥ɔRGe#śV>HC._YvE O9$j$ΰBS G\F#3 \O{+նʁDv7Sп`ly$;Ήw#LLE˴$YIRGH{_ >9?`pQ !nBh)9{WY6OYт&_9q(!YoFgd]AYvn\9\xs J "5Ȃ GcQHA}iL4JNKovPI ]uy@E澗;s>LL#NgV t-C> nG37 +tQKeG^aQ)xVd&5y\">0/KUl"Ś H3HsZH.g KMV{>%'l5ф1pS|\c3@@[tE>/'#o1{C8d;L[XB¬v}"=0n4PN{h^/ͫ˜(׏y5,{[a|(*Jkx.3\+|~ݑ y@?F1V[pCfV ,6ގ[(7JϦZ4;ZԯP\-3q"oGމ\;t%%N.0Hv`!'AY$҄Ԑ)Řɦډ<3X2NZK"a'2c$2rv$h,:0$Sej&AȄ77}3>gKIp af%'l.A}<= ުVz.>'PxV}ПGɩd(\).O?"2Y\ 2VdS;㖃QR`fA0O#c5mm/˷Јz5be횹z#6uC |%ӦDf:ZM%3eR X]i6&wc&Lx.$%keГ7ʽ-$h<#$u:Et9Um?UI1mwqzʆb@6,p Hڊyp.S>%j_ ˆ׵˒;Щ%0 |PIRԠK@ð 7") MDEfPmޝWѨyK,'ѫC^Ȃ"6W@Lb24?.'Hh-gO YqٵE }>moJ6O(H/ѦQ&sE>Iwn~鞄 L(9a@oCIX"Infժ9<+!~&)z*a ҅H:AI&O֩fA#hd=٢ZI|7!G簸lmzuބuf \(x)zy= ?1+k 9徭 %'+7)IP^:=o' >p̹Ԥ+wgƍD`iYgu!ǩ~P}G6m'_8oLe~ jxH̯ Nujzf2 Tp %LLk@<$ dOjJŒ, gr[XlRV#]LO_i]aß) 4<ʫ$.&7r>% ċ}!n\sn#1v1Mr)0\ Tra(t*M37tj1K;Ȑ2_X0&c$(KaLyĝKXhšBsc)NuT:W#nөK4RGd2qG! ctH>aZq ú[FX𐾽AMXZE|$ 55ޓ6 u [ 6jJ .b\ezǼY0q9Nɶc/O0}^(q-$AG>'v .u/ѣjX{"K[|)K;3.e)rؚ~b]+`]RH̑S =G =뫂6Jl|z/c#˟+V4N7Uva`qLte"eMw` =n1yB>쬣L@/?PJĘc8x{e~)lUF&u٤vE{ 7 oڰX ]DqĥQЧMc}d"ٌO[3Od})9{ռQV;pêl0)CNJsm3L~{6ɼq|}3cz7ރH6Q:ӃR1G=|#CgRg>ԯU%IѬ2~eXG'cNwR0ٻ1|H<4'h:kIvr ɼ,?౳4I].$!CN0+e UX-BkSX|coh"?Ͱ ׺z<[-l+! lRsofiTܮS%Vc#Zm?'d $]0Mv]ٮoVI1)y^WID)24G`3dqqaT3TF֕B?'79_zL8zUcJ ;zߧP|<\ln%]٘Ba.Yr*qfBL\)*EA{$Hb""hOjkQRՓZ|oj> PbK!H0hcF9f ςC?R#{ Kf̣6{G&lM6S,_qK: W[y:3Cj:DW ҠIYӇX>:UeS' Z֏"4Z^FF`>)4Bxh".BYHDh}XfnaTƆNʺYgΒWOS-@gq\c2t*oѣcm&ηSr6)xdCB!\F ˓uvpI>sL^(4%֙yXOTHfB^zc͉2>Oyܗw&.ԎNç}!-r?h(' +`@G{[Sǥ{o2$K۲Ӫri _g9ѽXW= D̝ -FGP$T% % ?wߑ8C_\2\r(d0l5fu):D4UeEQsrogp۶)TsKQ$q~a(w&퇬 ?XAn`9\ܻ.{#  .(o_bz *M\_HΒI'CU\e&Jvt'@}{KeHU~x*U/S&u6>l{*PGg*#՟9ܹBW-*S/Ns|Y wtIr ˈVgjfU^qz}ZZwr5jKl2!dKv_*hwJ3v 0V;lEoNM?!L'Z ~sUTWw0޷TOVZ{Ak 9^ܥdC ԚQAkنx.䋨FLxjM^p83_UKJP|O=fcұJSQt)˴'ie.ߎhQŧ&qB!+ĸѨïtיøN}׍m_.^.;"<"~z'F[UOo꒢Nyvo.b}/?אx?6-؆U5۵*l[[LS6/hFuK^6Pl _nuxq[OpMEĕާr="G&ڊ/%ڧ{^s( V 'ݵ&< Jw4:̅ld'p;Suus'9,ټae2TX78|r"!*ДAVɦ"Z]9 PnΣpA 3Yј6`sǻAV^w4u C͖cd)h %G;M1 ɒh{\CQ0+l *Ni~׺P\P~fUzCP؝sĀGF1'ؾXQ+T88[1,MiR6`S4:9^x4䍿*240Haa {~ة)/qm>kq7T* Iycטtd!DrE.z`6Iv;  y8p؂A5I^#]ZX-/w_2@`S)qlnEh2T"JTH?`\$7AU?ŎRP?@@ք Z9"hed4yT8yN:HSF'?EE5cKp)9P4E`BK3jy&Y/۪‰d5Rmb;0x97mqVC۵ ϵmwCހoȁLK̞N'6]r[~b+NzQY)…l}Ҭ2Ļv4xX(UӉ鮠< I{D#wU? KܽA#6p0 ^yAq.)szUT+IJr.b_nKy_^/ ¯eT;gu@zWPpXq0p "h\PCpgYZd 5 wݢɯ_r7zAL6x9p2$SoNi`:%S7 -7i^|S MuuMn^evUdн` bTXFNgVgTbEx3`<:-YZtҏ*Ҝ4.8bz'"&ܯ9B<׸{,w,tv&3Mu Yw ofDqUccŝ`b >`N4'F{eTDp3ypWb4w`Bp*g>c:sK s~ bӕc{y '~@x*FYsw3[T{7_4O/MV%wJm{˺pRH .0v/h]­bR=6,Fq`2@6 mJ2C!2цoZ!B.yNh18Hl*Mh$_M_>vXoblLNt;HeK,w8c_+i]"G} 6Q779Mwxj:~)H2[j'aQwϾG ̜3*cl,6ؖdYGFy}~g0Bgɔ%FI#݅Ittֶ*G@ihr``[;]mj&9*0 8 0E%yЅ4HNKSFY"E2R.`I,- yhEQpe]vB713L r"S!Pb j=u4rt`97YoR>c8 8Qt f}Y[_/-ܝ:Ŏ|'udQ r%`71>6 Ǜ(r3QTv+ aSkN%L+,P jp*INfw.uuDT;.AiKH_p ՆhxEYhuquW&5Q-}P ̀cm\i9sd,?AYYWCUHzb딂 .$~%D_7\ct̎b=rLo2]m0F{ڜ"-\I 1ÉbuKy3%Rq ~;8X ԦS)@i* *U^BůL@,LZK1i7cERr+l-4!3=ZxE:6_OܾR¤GmFXڲA:La N1K#b )q܃î+.3R_:;u]azL/F$I=ԫ\u;N*Ś܌Ib fD*GԑH`&-sljJ??iؽɷL3*]A~zv1\Hڝ0tQ v{ܳ!f(Ӑma QrNJ5eij,ol2S5űn l88e@Ҭ:|}jƑ)[9()#"xV63z VR?u*! Q]pվ֏BOB'4JO%&݂!yZzI͟|`j OVЏEI}boٟRro78VbTtmhm$cOL]Sp#_s)_S&B6=XL(E9&B6yI90\:XS̾cK9 d.O3a&Z?v`=;Ad+!&lbRvvÏjS˶otJHf(ZckVKIulw|HO1Ta~+E'տf~qv%Sn/HaǸ*1jq7zqQfy>r^01"R> /ƸggW#EV+Mh榌0n0逜c-[)ńofK*P`('Na3ic1߶MXNGDcXA IDVV YW8\רQ|9U5juƘp-WL C;82SX@:Xzӹ*'=YD vӂt;v[$)r \m,Zr_PYO4̴)Zɝ= &xߩD薒!P+x%#h<8j|dq>AHh KحlS>!" a~{lh7עsa>] Wh:>7.PEaV0F]ˑP0DoX~b1*9pEu\OzIJU20X򍇝Lv0ni\V*r?ծZn1  е 繞tEQM ԾoY݌8{7ث[s1GT@Xʈ{3j%!a#K+py< SxjAr^glX6LcAoYZavܗKx/`A SߌZfČm1VR:1]Xo-AaB#.nщw&v+9G_ F/,8΁S$Qqʔ )f~_V!3> ^V]NƼ"E8y/CYz]$Md(2VjZ0@O~Rۀ$g9nRơUp=; NS|W\@^)T8< H؜2svaܚ+z ,. ]/zm7&é.[[~E+40ps23v*$;cNnK(˥?Z5sʨ/,7Z{ X+伒DJTuB']4`&πx]UdɸVo޻6ɡ;;+\vl -Ј,hoxf b;:Y%i K38˾1| l(K;Tk4SzAsD> PrLFMiˇOm/S>jTg f^ /jd('WKq|D*Xܰ+*r[8n $e [ poyo{6E[51 ?&k<LWZ[N!ݝJ^PfPهېH.1)rVMB6{kk8B!QIAp$gO҂ʢѡ'"oӫ!K#BO*&+oK1='Ք4S$`/!EJ7Ji'?2T"~sl@TBF/1ː0STR $f18pBbX$YO5j Objb2NDfB5ޥ)=J=' rȕp$,j/u$~354AȗyyYvb^c YN/ u!Z Ss;ptn% b~XL]VӬ3(:.KKÓDᐍy:uS9w NV 8q&_p-{UPR(D&&iA}h ҈1 IvMH_}*m+@m$7gۈQ6ɛ@عK5Qtoazǝ{'a/HR,̧apIj ͡gK۰.R~I ~|ӫ#>B@(x8b m#±w(<&iӉ&pIG ٘fZ"Z 89 ͩ&@#xME<D[cI<3lľ[LSÃ0PgGa}nO,T]̉UTŮU/ J7hՑR.т=-, deA8'6V'㢻d`]ocK"/9TF穰ރ!d uμnԑf+Yk5H]}ܻIG-a:>9 !OH 7gFϐR+~ jp жx["܏q:LAV!JjmjQyI2t-i*"D I\f:$jȊQ(9le&in1=EgLm֒YLqrCrTpoYZu,A)jT>Dgc&a=#GM$\8 |зJC䷲o>Z8coF'<."a$W &]U-Czlj@? 9)#q̴S6=͔Wl.lrEOrXy+F&FA4jVJD2>_OŌm>g>tN $ \Le!U"w-#b.rp~!kd cĔw0be(/JGl'\jlONU(8zK`F0 y+m*RJn/LAǪma&YU "_$v =Faa/{4@Iɬ8H]~o k׽cja2qY:9\փL$nrK &04Xnc1Nš \GcF/[Q.˳@K oCvWzj7q>O x01|UTQ(i"lЏu Q>*24=a t+/MkkhTCxk3GMM;M[63q bUZ"-hkAtG.a ;;#1m^%v6 [NyXQ_ǵCP9&B˞bW ÚHa2mYZDB0!S 1|G3gО&86@c3|Zhj4Z+  zg+57^gsWJ>!墳:1`g(%nA:B <=)eLwSoim:dw#G玵\r5&] 'oءN8f[!b8{;r6#˪Eؖ`e9 =`V[)ny XQG<.Vص0+d`4mp%=-5ƭqՐqxnׇ01 ]:6yQ6fJI Irěr߷w^ @uI\u @>Z܏<XS\sg C厂2S،^g7 ʆpB~ijPTMl^iqAFqi׻Z'dBA]WZvRHE~E>sv`#9tAsMYv] $'1euM9{wJn-tυ%Jvu?b3/ 9Ew>F!h/R$d@Cym6abfvIu[fMM'=KE61LxWp L_zF_#49gڣblHQMr,֖j=%KF~ Й$+䫳>xܵh}Ę] ,N'?ߙTxx(^xIբ0XJ?ʷq!,7\;e]f5܉gc cq`AYU `5^2"B͂w&`A+A9Y~4M%HHo\&L/EIJ\ş.(`}7>xܓx옻59֌n55sYa &̗X)j{p//UElOk~%d6E.HɴfS|q/#9'b+^X~oJkɌX `@<h1V=ZAe, cWvcßZި[; ԅʚva‡56XnLdglzfbϷ(4I2wbS1s+׭?^NWxmIĬp8O_ 53_0ǷJG $AiXge_EdX]P xs!V2IR]xG3.άS IJcx`]TeKe>k0#4>4ٛb;2'O$Нߥ`)[j+o1,9cD/u:pLOdpVզ;T~t,Y~B 7-'xt+;U_߉HQ7ō -$I spzGTD\x4'/!ưpJɒ\T֡8>iJs|ȭ[|;@0̙OVN?E\!Uw7 .yܩ^ IfXL#W'/dsU}cO/be2Q7w@)#)Xv@ rOE8gp 0 0sUf Ѳ]wZ3sotС`h,-t|.-W!\tr_&(nX,>?aLyۜHo+Y띈X1Q*[RqO{, $eԘ n0apyt 4LMaO%",ݡYw p DƁyᇗ9k u*r6/?A _g* }6UXh#&91wPf 9?=65A8Hk6oN0QDrml P넛Kje@f pX1 0^9.5ɂX>JE2y|aRkĤa{ӯLzb0[WN*D^BD "y6^֤~7 (d,F7,LA1>1cCu,wR*VbO 2s w{@@7JΨ蝀qVr r1SQN[d[Jkv3QjF RǗ!QnUM5O{{׿A.?CU*p+d6me]U:[{%n=̥ NIE$/QD$}]--*+}^w惖-Oˌ+ nj]wtǥ<]EJakhzfy Z G .;h*%Mz<ĝV*?Xwc"` Ԩ˵g )s$SYNF鉒$©/%ڴ v8ў)>SѲ8ϲ-鬒ǎ|y <{;%>qzJ M&V[~e*0$~\9*%-]\Z]mha.cdJvl4zNA. 9\~6QsOr*2~l]3Ʉ aGkgYZ ^~ /O# |HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! Ax]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS0i`-=.-yqNݬDecoz(ІIZ)Z¯Om|+eYYˉ,׮AN|6yW,9.n=xe},Agqqgfb)p`h U:.'e }23Fj=IcZ^n4n6t~jOMs.XAQ_s Tn&_\bT<!L<Zت0cvk~W1&YIJR#)"j6~Wtc 2“ۢNLeOk\9EXkahAVw(P؀fڇ#u.sQGns:6We˔!o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220I/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 3= tڈBbura=*[ZNXSIr!d!syjp{}nވ b\( ių": KX=yH|Go0^O3h&zU{)&?s$_z t-n1Gt KR,Q}{kNF6 Ksڹ EFN$]bmI ;h ㍠1:i!Ůz X74ܴ7 XY `aFuRԼOxXcLO/TlbV@MfRޘvXe~(ԛ` (p_VX}W)Ma{V!Λ䆙J,abD cǰɠM|aQ͓_7+(pA_R*l wsc{i1@ |z Fb-vMl=\;CKA}g 9 s/B@PGӟ7 q+W d흋i]lD~do4wg|s#.k#nSb.rQidw }r=v0[Kw=tXw9ÀkWg? oML.QqxJB8h4 Y%у{qGŲ/vZ[mOg6tZh˗$q?kUN 7&XV<&' *y0FcFTɹ~(9wGܘJOc \v2@,O) 7C^l&s9ݻyqƍSgɓPGgn6oNz45IGfm* [+&`zf8xf*n jh)<[BIC# 6M㏍H2Ͱ0K炫;c~xRKcWO'<5s_Aܜ+"}VHxu=+[wQ?B\m@;*('YKS[kzbV:4Th"Aلԃw'{GUVZ(tuf|! k:js^i~S\ץa‘M:xjk.z"nc }aR%* wv;t^߭(<^T"4XsI׿P택}yDLwwU*qv^T(~T1IaXAk`E$-Rn[ ?peG 1y,C=o+,2iJvn6FpM(fF_(k5}D[-Q[0PQwt 2eZH4Syj>PV(ms[!bq[FNB LT^侽eZ*tZ3N*$yeL7r"8 hbCA!FK Z)gC6a6X`@ Rc#U Dף:mXI63SixpZJLa',j0YM!;Kfjyj)V.# $SZ}~+k*.o5.cp܌>| A5[ 'ao%3mAb]>˶w} ( &ZN ։`|+f'Aa\HlJQ:ψG\iQo3nw{KJSUL#}t/&g? I*5 U@dȺ琘/v7qviڳwL#;kyZlLA{WI#椄&b;-0_8 iG+,-goSMw)&@ 60 Vʞ:vm /]s*S]S?,:p\NBCT'C&:豆51 X@VZQ%o`m5)a]: s1zL%a;?r-¼ry! iRGOZ0+F>QɹKf1dΊM5FH@|,C3@D9?1"Hj!7bҥKtl_i ǟk\۝/jg S³M1HO Be}Ix~d|;NA .Jn1=sȅb~rjd\.Qȱ?g܀GY,ӠgQ! cƛz9*13HkO~6s3,e..ow.gE{[9._|k\ɚMVڧ0RNw |5sjv S;;B `_:수n0zn'rl-g`,+rtڵ#%S aPԀZCPr]A'5aõ;vIE8"Y5`k:m_G&Ys+}uSKLUu B4~}r;[$e݁90ps>MzQ % ~#1,WT\p(\3n5n8 [YUF=›IA\ ؟aX0ۯƇY74;n*2I#&tl"}'ûGg5rqm-*iHZ#q 3[p``,ݪ* 9ʐz2-qH`u*9u$Zf|Km!; 4܅j4ClIrjZo39R~'bx3`\ElKwWw ކՅ 9'l7VVn9*A~]InGSkt+g,}\Z|=˼ M9ojPeIU'.UI2o iHH`l^)W_XF' :v8B[R5UzWTAoQ:tIȉ) =)4q3n@ uV%zbN)_9P6 +즟;[^hQÁ>S y]CL|Tm[>NQM!,#udT$Qj$u[0`{| }swD@NYmzJI l2E3MjCyte%S64\7a%~XVZ%ecne:xA[64<7NLv%MѝdEYOX$"RѼ#zZt,%^}qVM^Ŗ_v%ԐXq đQ*O+KZ͡AP@a't9{fcX@!M`I} w.*XtfN!fJIhu~LYjVD@&_C}P=CR+Gq&C3OF†K]cQ$vq Eg'im,QL.SÑfCEnh-Xe1QkN5?F3>c͑ؾ Orp0j͟ܫdi烤;*%ub}b/RHf6NkPYS>ρo+.54x7a,aYUF9O y,W9@KI*,{sm]rW`!YDT)}~iRb䉮iYP?̴"d6SbvuKb%g533O!u,a2B;1{Д'WztaHK|+Ou9:.Zӗ1bRrθ`tu~Y9:7M:qz8=oʓlΛUoi|G]r.nЏKG͚\l/'nHP%<  xUEʦ%-R*u';Ernb eG-ʦծW0;kW*r',w q%JVO*ښ6HmitrjUgKA|3'T^GTs &|q%eچc yDH';bV+i.&5Vܳ͘FjWIw3{g]mڻ>rI,ÓL*;Da~)$L 7]C.FUaR,ٰIMdiHƟbzɼ-[h^Ad:E:A]LěM<^N1Ak\1߅Hqo>IИ+u`c*婦OnT'GNevG?5=Hc)1|_rIn'88؛ ӖT P|i#]P^_u36"W}?넉$H-2, ,pTfIe{RrPC/I7?.9+HGbDxܩ/O1.GAh59}Lzeޢ_ΐ8SӖfםf/-LR~Ѓ[)ʂ#-]ESSP+WJI%bo+ך!NlE 5yBHKV#O Ț]F=m⬨cW?%H zL%X.KS&ĢW ƱGŜ BNHIJLxNwG,mp̶4F]UU>{G;X?T/X%v\_VnF 4RجVR3Q*?[hOrHq8 4\aϯX>/)xS!s?MeZzD7L u_F_O-(@fPBG`5X `7fMgĻܥ ۢ_{_w$${3 _e1Wfb[Gu/xLyYS\n?; בMҟ>V!_,j{1eV:I0vxH"\.*xm+;jz"cYG@6N 6gk*M34[\VTW#{>~K# >/RY%=.vCO4 ڼc04k;HZr$&:W,HY_Ͻn @0^s,B6S%C#Cφ[\t з_a8-ZcSp@υu7+cB_8gsEEcӈ}xbؼVas1 m_ѽ"r7cqfHұF q[8օ贠⏨"i{[_wSK{ jR]*m1>#ELT:0dh-[η#3S7 X}e&qWHmo^dYP bɼV@c[wޢ$CIL;DU=5E*Dxb8tWL~w.#`Su]r),Q#=]6^qG]rO[2^d 4]/d1l餛R6S5OֈzRҬ0k]=6_])$lG4X/Gf~7J' W9cmSt20rm^~{G@]2̤Px*'=HՠhUmRELte\Uт &چASzX7C(p`$mhs8"gP9\ehCX.M$5ESer#M )<15aij_[i͠Ϻ=Ӯ,7̄8T"=-l;rK zF8̳UH$DyMr/MzkJ]Ra͔Se8.B:8K] Ft΍V*%:v?< %=lY~xPN101 LQ^>tx2UiR~SLyg䡳[$P- ,{5tT_* åT{0j&gE5DVL|Dr([؞Ȱ\-Щ@I,pWaa26jLT7&5pd<' 1يhb!uyC7ŗ{Bw/ޅs1ݝ>CpI є>H@*l K` /N币_1U6HW\V1ZX9?`^ىVϞQi|UM P}OU'WNxIM4*GqGۿ=ZOqIi)LNY22%L]xC*sB92g\.tK/mA ( Ur똱%fxQ(w !^TigS~BDs7A8|{e,eNɍvi&};e1b8s ӵvƦR+ͦfuj'R $dnvl/kUy%@&+@=qlxRK5MDNCH5;w;4o ^S ϜS늱Ѳ_a`AKNzurۊ^9CB[3?>E勉^ a:ǜ{2.k\(^ߞo]cIwb q)?tNyKzAuSmÓ9A5 i  rګ]D]2D]S(QX.D>z.[ Hˊ'NYcGOR!金,~N&?cucb&1UuZ" >_2"ItLxyKӜqԏ.2"辥[@z8޶KOjKkKeP 6IN6] @P$= G}?duiR#>p? ˷zUkv7)gn +m)Wfqt/L9}[9Ce69nOapVĦI*CcS㽃F/bJ#lp<=Q/f\pO;8;_u x;L50+T&w2!e"j$?{*^%׋NRwkćhxY Q|2b. Xٖog*pgsfr~Z 0:Oe6o%v とrXZ9 ?zCvnJf1kmqJ36&']\A|63}t΀LŞ9؂S*Eg/w־Xg, )Ws aقpg2.P~fF cN'mՏ:$3 uy+b-^2M r~DihS_6^w(;t4E(C%]տ^@7,G$H[n\wU ,Ӄm))UDTi wYݥSmUo0bwSg 9 2)16ʹRTwO_i۾8VzW  K6W`"LzC^d}=eZ0q{Kye+׊ vdr `Ҵ>K2 +9]^uШ2St`^$ H#i͑(.lZCvqr+( !h5𜀸E i(ywo RF#9Bڽ^}ѬGWWl^ b)PDYP`a>I[<2ùsUjc钞͂o9KΒo-v>0G}uBdl CAmxE\ܵ2@b?Z&a֊PP)/X\nUjO  T6#'h@`A__4`V ENSR7@+<4C*LM4`UUC0BrʝTr<# c˫ 2kG]87CZ})t S~0ַ1`| AiR=/cev7qYouJ t 6=R& s[ @͎ _ݯ#]$nolr%?CjA8(]VF}3];HEjL\VΝ|Lô  lFTr%}St{kZV4H+^L2>h&iM3o ;: *r]w|Jaū>)7ʾZWNƣ"&a3  A ~AUJv:1]H}Uj}aBh]✳VC%\\8"3yˆ 6ass8j dž#9h$8'DƝai mJw' DX1PrML@3%((wbWN5#j \S2-PmA ]px߾}8 ]}'Oh9 rB^ub]26v,b4,3GYv3rTrU5Tz?omhCe<\:JN UGF|o'K@~_2eo1C%HXrkW(^|zkت5O^gDuv]NDss(Q0AՊBz6=%{~#ab!,&V6#֋ !P NMayP5, G-/5|VDYo;N鎮.1Hn]AP׉Wn3c)qE#KQ̽w;5WJ- 1OIazjwt>}O;U1<,H_hzKMၢT,gz)M_lf-D\B͋ێ(?Cw,wu|?s{tfJ[]'i@H`ӣ泗M[T*)uX72Ң[+TB09B2+{F 5ͨpרFҽ7A|($P% *\K Πn~17^CmjV҆ 3)oٻr{ J.LۖwoyyD(uHɖw9*jq6o|dV"Ycژ:* {7 A@D-{ԣ>Ɓ2ԕO7LFs(|l18i̸*z ˛^R[@P ś[Pu&vkr?q?>Z9+E\^Z* oM9lw]|eՆ\)f̷RR+ݷ\4 h2}љ_[V4'âQgp~,UTΩ R@x @4l?:(?_P6v~@)GSGA[YG״d!S%Fj{"@oJ#E`e|`ꕘn* [\쎀a˚EY΢]x w רMfةG&qyjܣh9O\AxOϚY36v^^i߿CkH`ߔ0r@>I !WM`m3JwPyl׍) ,c[It1*lMјi\kz(r! ci(qwUJL){ʴDe&03&|U;wn_$4y6p~ٝۻ2x)_ oQowl'7H0 d-qônbr TAA>6XvƧZ ^$bf-#!ΠPxq>1J)ZUys&Ȫ#,۳3masqh2+[YZ(.;Z0 ysK$ ~,;e_[ KF{,iBLYbG;Gh.hK"U~V6r-C=eqWMDܘCaE GX)Be2e cBJBH{clnʲOb[yKo+`8n(-^D&a /A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files~~/src/HOL/Proofs/Lambda/WeakNorm.thyE/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id224h/O1FHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsMatthes-ESSLLI2000 Loader1998/O' ,HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messages7zXZִF! ]·Iq n[:|&[z'y!\Of)>4O,dvI̻$1tFMm X@e۠IZ}'x CќE80"cq~;ר7#8?3e}zӓl8|鏇y#nbֶ"W,GlXXu.347t@6KU(׃\ 9vrayG;%E$8oǭgOS9>pDslP0B!=nQq6pɅq展aTDۖT nժXo`6 [*(DYU 8߲([GjA?]B &iyiR >H%S|7ى&),u^|J[.UyO ̲Yw r4!8:w1VUL TZ^D>N.Z74Kb ݣ_k>^=-aYۏ^m9-W'ab.{ȱv?8ޜ4ww 5 _cnCaE>\_ wl.Ṇ4B܊F߰ykR=n:W UK0L;5N?{>:Qڨ>tslv;eS\{N_ǎ6'yר}pmc CnY}uD%H =b.|'wS;&> u5ʄM5yUd:Rx PU5k"}-- [ePq|N YFO[k}]+^mn0' y+Xvi\,XS nh/G Ydfz~vAxQNV>^{)ki/48j2;SmE5p54kY򀷆WH6,C*jC:c5ecV6^^Fۥ;g.v[7c/X!##S3gY!WVA2a)o/ui=|u ب&3Yh=ƒ*J:@{jfJދ([?H?b rBBm#5|&Y)ItǯS'C:+J`sbg)h4J;N&0!f RȸMnp47BM;&;I2I=`Zodh#1gz oUɥ>;ي>8Jl5 }ryl%`oxcbǥI&p!ZTZ?,G&BwO\IߎZ$ cKAfC)xXyH3rL|ww, =c/ PY!ۀ?]@v aFb?WZiP&3 Ӵ^_|8=I.%hVÓ6'R-1GIݎS(p-TX1x cb;ڎzNS#y.\ƳR B;K,.X;vKBC&@$"=:`xd_10JmpdN ~?sޝǾCY!~.퍛Vp~ 0D|{t3^shFInsQqa,< y閨xP'[/c -gY rcjvD~#jG ϒ50R D?6^0 *-I`WlbDA م̲TޔN'D0:?+tGټZ7Z2`$]p#۹ިϲDՕRV(ZLTf$} [.j KK''5ӟu..Ig*uCvO8.URlW@ JMP ݚh/J rf8!%dڭҧ-L^3jcU;! Ł&.#kNVkWwsX-Q $얗Dp`%>R#򌼱bWOwh%I8CG+tϙm{&k-oNV!z4b5#ya;B2jS 6ŴS}Uq ܜl|dr!` [VSCoڈvJv^ܘ'X}*jmǦYUV1DyLo./c? ,®=cU6̾oo+֑n$$RQ8XhrQкݭ7уY praVSzsBgY^ |0u^"VvtjDLC?yb7 ,D ڃ jnw-/&"앵>K(}8-1B$w7/z-*`Cީ'$f  !׆~s''\B$Wwb !W rL:\r}JL5D)~+iͯf)ú35֥`YENC-w&xob6Qt}M_ھ1{!_y4OB/e!T |!#Gޓ"y?b4>0tm΃`%<4U$eq..Rsx.^>֒$O,8iMFF|>/7V°MfQ7De'tc\aIVI8dsgռ^MP EOD i}W /aFDKb}&X?\JDtY >z+!W=˾*(l6Kl&4ڱR!ʈj'4 >uճW| Fm(bЧgl/l ?6>e,e-'gbGKWZҴ2VdRo4 _`X 'xFВkF\5,`;;0Σqi$^5Y2SJNV.gcP$;Lԯ3 8ѴGpF0=4'(.}; #T&7[;מΠg Y>kÕυ$`Rh1^nl(_ŹA&Y_3(T_ހ!b;v+i= Իd/@'/@ B@KBH ǧ.Lw]geRN؟/Ilzl0d&b7{7U19;U?oS}q|N0'z?JBNט=7ttZksOribVZMFz3T4Ўϟ釫Vktӵ%ְVtD;l77}}_mz/$G\VAZd?XiZ|M] *SŨ'$\- 5n!>(!RTAQ39> YN|rH ƋV]$$8En7q:a4uwf<р1ddUAV*8jpA-u2syRZ\(Tk0xPn cYREeSfҗS5-/W'W^{7X`'~<7{7e:iC&dWy䮗݁$%A)}!vUY +[,̞L #Pk\b[ޞVG9?[m&i<m.L`{Wi7 cL%F~ڷa;zLMiM*n:yEk>rc 4VT1I=2t v^Ī[ň):m Vx_I%: 4c+zOEaxc7y_r&(*lPnl;ZAa {e$*ZMpT!lj3 _qF x~QͲעϗG㼵1+$;TEj^ >^#f#d|0`*/&a\3 D>QCk /I=10Ec&Gˑc3aaPQhK3ŕ߯Vaaq7D[~YiJT:`A 9bsE=:Rs'A)6D]pc+ 1ݚK+/M߈zZ$.<$K|4^4s8:<K# +Ve>g-2rAok (s pmYI19| WC+;4aQ2&[+Ŵ*/j6|5 @깄1ð#e1e$=Q]CS1U;P/mIse:T=mGSڪ/g㶷gd0$~TG R^~3z:e|.RB:OQ.le2mI@2{= 6EѠaҎ;e :I%͢ XJ"eb)'i@# tXCsٳrbרjj_Z("wo^eˋYD^hRh(2UlLwP<ۀ$#䎈 ϟ^P*+zWmGme"˰l7V.eP`UZ"9)bT$&8d2(rͦ[1 ¸B(+cWr?ZmG>ΑK$,'X3H/^Ѳ4iVY"n>!,UU/dd3`_>-TbFǎNuTe*|Lc35E-Ahל,kɖ\*]^gep~|vw BF".Uy֣MaK tNOW9vOw-.ͤYFф` .w aǜ7+qWIR(j"&C`>c6-Ӻ+89ʅ7;s&"؟Niȫ*DܟcPDm@&{8,zlG>mp8$%r&Twoc%Hj^kMvBXT\H>(*-I}G B98XEh%c%rBNiϘ+jvֵ!Uw##.5}_ICל`wDc$y2LJ$\4w~>^UM@ tc%,}늺G; ~=u\ńd>q_ސgj"'+hM-!Q7qnb8>4$WK5uBGj}Yf_[~7%<,wems3+_g,@~}uPw5j1>.]vvC87_;Rq5VX;c(p+b <5gH@QKS 49?j%NwjteS-BOqKz_)T}?P}Hjajfd @7ijdu/è%#+gpGAJ/ K2=TL=wW9 ,Ns7imlϠW&t&Z0 }b}RFk# DS*/=ȸ3BHn5˿}} R2փ@λR{&xF LαSZeٵ{:F(y E8sv ^Oȡ]@햾|f$[ xcņ^KL}+RcHHr@MJY(o|lB۴ۋȠPcsJؠHW2)x|=qpː`D3!bZKAƣ#{p/$ U=ޚByf7B\@`tj4{8-U2Lأҕ{-b0q!Aok>s5}9u%z1+ E*qMZkK<_e`&Zk' |w,}!ud>z9n\[>"rt->)>FС]t @L_ӨAQ#\8埊KŻ>\κ~(:GHTz DXo9[iBOV!$s%SZ%3D6KFϸʏƘM:"H[\* VvoR40͖!e'73ϵF (XsDÓC+е !:cd8+h"WN5uMWwu,t[=ϻp1mmLE1FuG`Fo8DPsme,`@+~~ (@V*z cT3yTIHݙ=`#NQt$]]qyo0op-Q]\;X/"~Sde \tAW u*Ƴ"dPnA T.b)4U?ڛb ~5TVU_=7w{mpC`w+1;o|(X(V~l6kjg?LʻߖbQ_$iJ  ^KLiɴk`d?eͳ66*?P[/L1/OI6H&A Wyt娟k+, JFD^=-3oC]5U\ful6ڞ4tNoZE@Ei҈X]% }buF3DV3Yiȭ̔̌R B /G7ɗ^_G`ٙj4tZP_oZ%; Sen9e`Xz5tBnjsmf*FݷpZZB"mtpl QSQX-tBZTotP$6בnQ хs ZSL0,])6$ xf+9J :˰vФ#"Ǥbg⪁+]6TQD4'}m,zAi NlU;d$bUn$PiFOa޼!f㻬΂ >RZ\J`,f ::Z3VW6E0{4$խK  ^IKe4{y.Ƭ!P.Ů77UxY{ %^D(BN:f| 9 GN#|= *vMl?+5&:oiӕ [L :갴m#mwwҾP0={ްv* 8&gZr_peخbZg1K%Y0!@ZY6vV>?ӿ7ltƄ~Bf^~"L%•ye!C0kЎ!t+v%- pɃ K2OE)#q5$1 pZ_o ,uqgmUWB~%'qrx(^c"z5tb14rw̒NyY+:N{LI\6\Z䥄.#jO 0e=L 8F+<о.Ӱ:CH\yϾa}\J+Y(yA"jG9}:$1E<h=*?x,́zw|5YR(酋ךM3{qz3n '.Ʌ)A΍1%TQB`cm"f*oIc#CeyO jd?nKu 3z/v`h4~Hؕ"0ǹwC5k[=띮=%ߕdbc'DHiy_ZpB  j-CY ?(CtdA kQI g9 $UM"C=tQqdfz!#,=ȑkY6.KP$h[;xi076iC:`m%94 ke_i샇Sk"Ga5uȒ-!J J%jb !G pbOAhWn}I}=`کǖ!9KŶ(l)("$@:$h 9&s ['4 pizzeb+ 8O+O`#u^P%7ka=lKNP y[tB}zsѠ5mRyLHyU,bz-0$53R/hB-vV eʧ+=æn^+i3B_(=5in=pK^Y \Ι*Q32"BGRH\L+o_fsK$l4!OV B ͌A&GԨ{.hDuAoP\⠨ۃ jmڿ'rctۣj-FِbEi?arCl=ҟns]&FY-N0\05C4 #Wg~.:t&=xsSiV4Cuùr3P}#dwDЈZ1ݠDpU`ݥTǶN1ٸZtUZ,b\M2CsOFف֊PMI6Rּ`gGr1S Klxq7H:S"'$\/gKF>yB,^.`+H@t6yMk94#xg:ߩM[ P%#JEُW]RfҔ@P74v*HFʕ <^qusX[7P*G ^D T֝[յ.frI"FC_2ޏs (ᕇxb:^m *Y;mL[X6ɽL?R V~j~elS߲pS~%΃py[SƸ< izoLefXqwS6I9g T NX`Di\zm2T EOxWy|0DqR8)("G$P\]"T*Qg$F mZ[q?\7W1Wf|߇4Poуaptbx5y@bhc$R^!/Kdc VտR\)LmHWȺQ*ïglD1tfI CD98KNNwq+4 EPfN]*e L`3muYu%ZD-/D AHk/Vs37Xz+_mIO+P{\|$CۨI(*p_+JL2e,V}RJvV vC &K򶤖+eLOEZfi1r/L=~T9F#peSˉCq](b8/`wlX#[b)։"zY2QTi#8 ʗgGT/HURv!>}74nS@z:^셧}$fr.zC[Wq (d .޷ZPbjSJ^G5;$c W>+L!S/MlY~4v kKVRKnc19R_ltG':\'"@[6ҵ'%ZԺzo@jt|L l+^Ք(  [q ªYq3HE#_Xnpz߾;R"q}e{H^Nb'iEhwr"`v VIـLI\:TId"2fI nL1r4P9Ogy6F:dWNUkӏ# fm\{%.] =@l*=TW둈E[_XA51!nC=.-:WTzl\g)+ㆍML{/4r-`k-vh,}? ێ S]jgo:kbnCQ7+mόAH7]N̦ ⸛,''-x@ wsv#]| x3|?I.S[>%X>Z&9-%tz9QYW[ ֝?[cET׃2+rD|8YGAMۜ8;f\*:2 O3%\~y$8K&3@ppng]xҗw8Ak1B3vDGqAE]tV"-1ĆsIFh27\~>R6܀jG lu(X9C4ݯ[qN&V((җkRbFK YIȔ4*>5I?1xd1v uhEvAb Q\I8yF(zZgK{| M1IXk$&3Si/_˭/5d~7i5ur/ʅ: BYc2i62O^Jf6rq!|d)%;prg^Og8 IƋV}(q3KrtG"f/ 4nkeW;ȶacɎsX̋Պto$'g b;ek S:lLtW?yY8Ś G|ĊVj@nHάG&Ftǩ7&ʪQrThf# 6%ie̪R!rYp]!F0>Ahb&M>%v=m)k|uHJ5-X=[߹4 ^l3bԆpηzH=bXbDSe/ PDJ}R9 E&42<$ݐTO4jMmԼ{EO|P94^EB(t8{Ru$kPg:DMK>/K}VAKhƂF/rO:\T$hjc.sŲe%]yGhQ$T0AP#B I\Q?ƚ7MB  g:/W׭& fg v +.y;|<<R3n;}'A U屪zF޼k )QZf]J bAQ|p%awrS/ ]/Ճ޼y>X_9Z.j@&m4F%0? ^'.]\%Ƕ&oAt9I/eg\;x PMdPj@[ACo=իk;"ZnU@dkz3U|S?~s׼ Zs` j3g USnHyb+v$V\_0d$j496FHTh\HTz6dU}k.Ҽ89|E8[ аMQZT8l|M cLZf+ّ,(쎁:y3-BF͢ ^@iMa&@xBwo"噦oSw:npџ>?"|ED{},Ћ,`'_E7Vi.e/ӘJ,Qbh?]pd9*.-.h~<}yCts+<YͿ*P}{TJ?jwZvP{&˖kQf/A^Ov)oTe9*n.WF#p!vqۙj< i$ý#]nܶaSR$ p!2rn0 i:HBe1̗(z|NI,5]Z{"HSFƌqNd@,-7 y裨mYv)Jc =X dMQ'pzxb~EJ\uPvsdWN Z툑 XZ5hsHӈ]2J2u邏=kN;˸^pKtS@'~|:y6bgʭpPځ )c1iccE-1@pY dƼvlg04wr=py}M1Bcm`;Ds 8"b8'>[τRތPdQ+PDp>ӳv%M 'lY$޿ +sY RVcs) 1_D~NWwaLtIZǕ;﫟YDE*b&Fys Ķ+ %K@Uwv*MLtSoKoe,wDj&ƃؑtc0c|FiMJ bjf݅,qٸ8GL{BGStWLC a5e0O#[x6K]j"[]?"|\Pl&nd{4wȾLŊd.==zv(tHc eo{dY;H CW l2H]dK#P& 6*j'r "g|[[< B02DJ`8R00J9 OL 4ӝ^'أ%ENǤؓvd>=8;zSsgCHάXs.N9[gKq} sU8?q:$4o:vwe-3jZPdSjQ;`@?2~`RaM)*Cõ{{ȽLM@9@Sz`Rͣ>:H ۉJߙ`3xS4$ ]H"F~㗞/ WB2V5PTgL,ҩAL,( jO8X%k~k-kZóǸ0* 5&0<'!= &i1]Me0ۦRB8e ~0t5Ξ qe꩕!?Ó9g-2Pc=]0PcplE(a K%ŏHth* ,m@]UR4r I7V>G>gv.JR/ȅqMu9T-܁G=r*ǵ.vOrb9Sm4&b4Z CZ9l\ugLDxt0v*{C,Ly{AI4P>(SLe3 :_NuS\{[_B6;@Sё#7K^$Tc`kgTSPTjK=Bn'"tYa*X43OZ?oB%p晻 Oof̙a?LSkq3@koQCQCW zE uOV@X ]0j+{#%q Q8euȀ]_a >BX+/1?/\n?!0;~(g, >ܞ¾#g` :oJ ؊#8H)Lk[  qq{R`EBvKuVdbc9WiZ:97[b:B1!v;#G 9szK8_Vհmı@ QF洌*}T0ق EЯk (C}b)B'SJ$ׂ-ܔt 3J o4Zިbā_:q[8NBt8z }a6{i6zt v! .ԗ餃\4w<ӍSMn^Ps%qJeȘ2ϟ,T&SHi@֔X-Bbe )Сpt n ʘjhir6u MTqLϳ5Sv*'./XTF1P)+6j [n3D=i,$H]RphmQɓ.[e}CFnPtS", (WL8d@ MSԣUbOT 4u`%Za%8hwILp[, E.OZʄ/"!%7LM|%Y$i{[I`Hct\g9n1ټA#Nŧצ!Ss SFK&1;i6 BY9cLAa⢴LrVȶxyi RMO?ᬢL""cyZx^3ݢ %3lDb,B xm0َ_-p@>qAڍ+~œ~ mц}[m*yi1H9iRʐOS⼦Uv=@T^)ó2h0ڭ)dj:8Ɵ9U \7 FU5ӿZv%[Z/"O( ݐ%(%R,75=Ӗ4@% /b W%2;jBbf2T@AǸĞhj|/QϔB(`4HBPN1zC9i"hL$]3t8SrIhete*2𨒼g21-TװBACIZmнR{تuũ;QY4V0S?ߕ}`9$JU_Ŕ!>'d>"WQAX9BGrnoׂ,jn>[,d}|%FI6.18>&^}̫ߢj`˿cSmI(ku(XiQE9t ѝu ?e6O0T)܋wOb25ѻ#[`$6iP GRgCJRJ8m`Z*H \ߒ+c?E?M.%EBk=9{ n`OalAza&ڻfUWѼS䃦@&n 85kcF;#5bad* t{_`-S<;4T2CnUІ` [c: lv$tY(a)W9 TQbC~TK.ET>A"݈UgܝL' 䗹(R)s]B>`&!M%ctj}lƓ)цE40Bum+$mPs꨽@ul;\ٻ'8^b?񪯆 8ԙHʫ$.n.3|vàhuw& ͟/0pه dkT"~"dvۋb{9G⣬<5 gyUv:YɁwNjD)u pMERv#ӱ-D:gse?.TJ'[ AK4p*}ɱ݌q53+Dp}F/GXSf{ġ7i5o5K|ޡ+X!FJo~DG8S* N')icժp4i۪H{'^TrBVcQ RXq&:zqUU_֌F/zkVH40  uZ}ޤNrB" X4͔?KªRd\ȤzHmWe:Fׂ1>iC(g`|NxcSdZiE2+ j+}1*ˈUTwâgp6X\ޚ+BcĂ|"і$BC4|áW&1KQ8uMNJ~ȧj~뱃K}h9uqq #<.eqxh;iM*6yF׌\6N-aV hse#̋Tٸ]w˓r|NY{3R ,ivBN2#P"K^;s0'Ц^&'ͻ"eɒ\6=%T0W2 w4i4r3ϐrs1ˊ~jKx}X]ܗ<7= O]#qiڭK<-o:gYZ kqka%/A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files~~/src/HOL/Proofs/Lambda/ListBeta.thyE$/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id212Z#/A18HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citationsMatthes-Joachimski-AML "/A' $HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$b1Т 8NAC Tbq Q-Gڗ !mW & \9N줅hsZ6[3I0vw\ʚHd/̍)Hc32 07 Ѳ<1BsN8DB>ŜZloE25"MĿD&_ $P0.Jbm9CZ6%Z)\a9O=lG0 \#}ܨڶZYxQ=+KP!4Ek31UJI:ƭ.?aHUF,rPFcg'摒wtd7'Q#1>Mct yW,a@QJXRnJJ !`7; / e;WNnRQ'gÔr'wNEhptn#$ `m FxP69@ҊŜyzrx'L^y;G>a8pn2< H 5‰|qO4y4C eS&+3~&)ʟ+6/g=9'4TyJSi ŽZkHxញXjDs{)80Rmm! ,()`Ϯ1N/\]tASa˔OT>U9E;b{;: :[sRr[bi$q2] F%{joXT6$-+:пlCɏ V a̛V>Mjk0z#8c vie+M9vjHqL&ruM2F#v+yKVF^#)hW7uj"yޘMh6^VT$cV.#Ppǐ˞0-C%HјzH,IO^&,RMzۙ}7^27/0h+rB~:x-^Z[v[`CdEJe lDI}74WR* >?cE1цEVcj=l7;co%t>?i/[Dso۰ ŴopYcC~eQ*F~? ⮥e0vNG6k8Gѱd⦳/G) {a'҈P 1qQ%!wYʆ=: EG0hN*M@Ō4*ج{T&zm\H' \)礸qrZO "mdJv0.<1='ySQAf>\:$)BfÚWXJ-U `JB9yΆc,v2WNdpA ! f `([ W!ܜvbT0i&5 9@Ub-ˤmR}!:'cw)'MK|}Zk yKzKAS&YJz"giAB]%EY{1hc߂sc4QﱆW%v<6u* a_P(+AaE^vi7 8K#L">im.~M#Kͅe)n&LF],ELJn9kwWM9 H08GPI];+Jr¥a,9$-Ď-V,~-Jxk;n-\,hz`[xFPg:x2qK .IN&MuY(aьamQjM}1~r5n3͕} ⶮ-3; `BdxT7/w/y]Gv~ ζ2cA85()C+72xTSʕ^EUG ہ?O\>8ff>BbAص&}rCQWV՛PMqxkK1D4$,U#q`[LKxeI 6#u>妡@Ӧ"X/A io /"\Ǡ0Qx9EG14 Msp=XްRe/ ϜEЛF@On+;݃!T^$);HO@B#&boU-@ ɸqVK =PCZ'h9jc-hQT؃v]|Wc2 F;r n2CM[69(,a3wiHޤlVZހS W GRTʗ&q[ZEYrN@dDRG|zݱgYZpC:ì -uk#|+USC9ĕ۩4- ucVGEzgh4VCE>bВw؍y6Yln #[țxB20 C/&a9&֨Zw`u_En]]CK>f.Gzkl|>gtlyP{5Q -%b C8tTJ%I VaX9Wc 6ցz7V1Gws;-+ġe6(|f,Z$KPT]C!^ AfhEwr x& a+K7xg"s8sVIM{LAGG]%gȄ5.wt"m"mr*>HZC۠v^")iF cMHk3l>o+)[d\sj~zgc3(!Np+۶}BL%.9sqrȔO@G&rUHf:=06l.Бȶ S CH V;~@>i+3.\-2+2qx_Dnn7pa |Hqi),)\(".+ gR KB"$TH4e\uR܂Whb*ZMYB&f5m|49(uel^ \OXOIlFB $߮[ $ag DcI/OXPW U굊2ڨ?"H;>5q_|ǫά#3dEfJiɖΓle:ʺ MMǃ `|JHߕ/Q&F 0D^ǻ x3"j3 ը)ɇ EE9-CA4!!\Ԩ<M;FA_9$ _&_./7FR2 0DFO@mP}kR vʉ᳽FBVd6[) Hn}'ӈ[~еf \ĖyQ?0iw+aSBL`}Q&,˂|U.팂˹nͫ/ҠgʥvzA{%ݟ8\aSN9I>XPp m{FczÄheT2&З6=J !Kq_W)ꝊS;Jm/n5NK7NÁK\>^y%ѩ8u"r~hG'8b_ m*,:Ħ!ti>kmX61 dX-ma@v{\p iQG$:<;`Q9-5?[ V7mpu1QQԸ/q649F=ݞa_W(-)8ڦ[6֨j#`Mu&Q.HBz<@yzD0,)\j 9m*J3#<դjJ>Ԩ'Oɒ 2wt26i.YZ:bܝ頒Gu@q0`6ѽoե$f:q`ejK6Ǹw}y%ao<Ѱ%#f 4^ he d@*'.-V:{ҋ6N) /ƚ2_Pw)-T| c1жk\Q}ъȤPXç.|߷ɪ Auh0F5ywSq;ϓE0w6-rBic59x>!dm$3Z@.5lm:&BZSd~1(LC}iy3\!=%$Do}4q3+!ΠGGO8y{RvS7bGJR.Ja("i(^$9"RO*?7n/r:8ۃVyUvvַVC~x 1e^2%_C҉~xC {/ '3Ҹl끂@6t'-!,id]/I-mm2S9j]\A ̳QQ|Rdzg+r,.*S檱Ίabr,gHֳ:sbE^N违hCTyviYM3ĭS^ʱK"u!|LKXhGU>8>~1^|}1;X K4 g~J\t3Bt>Z'2L0f쿒4L4o ~I[t4]Jnx=c Bq2_8Fd$![T<T]ɚ1f{MعWw)/:ܠ!I?VJZ$78 rBda#դ 9Jr0lw )HB13 !:nVTV$54䓦fwҌ~~w}d6t`O2t֬ =nYDZ\sjB3zU2j"}qkg6qwC]7;;IJbVqB` 榗+b%lf0MKާoTC<58%I٭wn?J"%d@R$كM 6~rq )w3nwV4uglq eV#NEK!KImIHJ. ߇0nDiS+/V=HEeʷAk<9pdF?粋cY/j}(K1|qE+{T\|mu/)> s Hb_t6/c 6Z!s9VPySB`nsUU÷% 6ů(ӖnO?p%L}~8|#NBn}zna&qbEPp5RaF.l_Zum޽6'm}ׅd='?uWtLot=MkO4[[&XR9:8%N,rR!+9'jpKs$J0R]GFii[Αy>:vV{E:bĖ~$̄B;gB=ϛ&kgO;"flp4eg~ .Ggž* CVL ,\ *(!ĢTgnkl<$C%Z꾢ýdE57o8ii!/Uݪ]Tn%/HSAI%n/Or*iKi%;^vJ5K+jFw?* 5x6@@\eP?K#q;9 AOFMWp&,Bru 1Z<. E/f IV12: sŋ/U \1@;aAMmsK/7n/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 rq8HϜpR"m.3l1<)dM&$Gv\8Ch$};eh{QgyJ z%j<D^^6W2jJ>-UW8֢>+;7kZרۥ33}7-R/90'r(:M)@C\t&9ԟXrq\&7%vѤsQ9Y=R5ԱN1P.0{"~64e 9}K*^uQ#F#MǶPdpur"I%'6L< 3QH).G,)PaSm n^%OQDGDc3w^{Q_A@& E[7nB*;Ȏ9gYZf&/A# \HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! g]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrqpHyzI d&W$zߏfi+c;Zqa=g7HB.Z* dhGצ h{ޯ %~>!m12$0U>/0j^p=UMG):atnasH\|O,:#Ps%`}f~3|I=wMi6,<% Ůgx<+d08Yy>a Z;b?H5!ϙX@+ik zͼȠ@ʺzn9iaZVJW} ,PyLe[Fآ0BQL wՓ„'K;MCS/©HlUZ<]Py^uW8G_\>"QuބC#9xP>YܝҊ@h{ {JCo0>7me$gxk]a߬'DS y fG}o[[{6}AMJ@HA 03lM}_BH.k=K(EgȎu6;\+& 컝 MRMw<<;Cϟ@J9[NCps;:pv+Yޠ%I@EJ0mZjz,s5hi'70CA s|Er2V'M2Sr-8%Tmا >BDJL_E]71 ]4~ӡbO1ozE8K|T7Tx7i< b};ȃ/ѼsXhKGj.~ _vY"3]Y͓D+lvq~)fZ͜:q/5!oJvY},`l0i]Xh\f]ȷD}n43D g<q@@!/fX :Vr9F_h6fK<\ZR]m>_{J?gECmy\eדVEB{I=  A7ĝ}*Wq'K*vV93-Fa*mR<Ѩ1=97䇜%㤉~5MqmY$=;?д,uɮt5R2Ǥ86?~3"6^$Wm&%ι ~%#y[~qT t5^nkw\Xv}FTe[!}{+sdΙAQzHM_ڥޘRS4:5PBgR9,fL2 ʭ>fYŸ:G%Uc0P\]=#ۏcwpSxధ|7ʝme73R)ugȚ9,`٘5&^0xH R{*/0h{c@ Iϗ3ɓצ#T]q~ ¼o7ϟDK /VH]W3ދ9K3D~8öqVU٘(:k# !";g-?Dpe0'@ΕHCo·B>30WR<B^quOlu# 8jBG 0ײT/^E+;$ߚ:M'1|yV$cVÀG4j,Jyd/ {P` !8?*sӐdL 4ɛk_L166}TK[%÷ЈJqM2cnaeI~@j_䗰2n]02iC.$6} kJ*R=gQxа'(Ԣ=$TAZ UhfVዏnזߛA{6.*HCU,f:L䌣 ?gl _!{4ڦrI$RF[ @o8*tl1{lK^5*biI.vŸ01x})C{r SfCdЄ*̗Q* Pb=@iyEdFqȷTIyY91) AlNK9")ۨ[I֜Ŀz(m ZgSO7ZcL>ywLCʈ"K՘0]l!mw6bmYەbZѴ&?-N׿:0`S~H3|dx@ (U:Ud66ͪ-q.1Nd+D۟HsYYpo,4BܹFx[-;uKוŎ\U t>j"Q{9tgͶ8롰Avb7?ʚq*M(/2YjLx7k_E%SrTRħ7VrGw!¨B]\-ÒiBetNlymHC(e*A@o p#HAYz֫f SKQodWm\r*aߪKC{N#ԵcNIXӞjbnC'9eUP0N "U7ϢzB2O:y.G'1m8ΡŻjns/8<ǀMlE7F⡸'D|I0V0 nph:* ,MjQJ5vI?bցb͓ =QWy Ԏ)oU)*v}_C+d2ػ*'GoCF)򏣠IݒIt,L ~_3;^!0fQO󎋏<<Si|=+6 CƶtQFx9HGbŪ`SU'њRܗT q\S7P_*8e/>`[b.VqŃe0@^E R2VzT?Px) qgYZRx3'VDn̾P&zG¹t`apSvK([c%9_*Nաryv;|c./ |\db,)Hn̈́ T CuQR*sQj@laqOIݭ_x@]xNK0I¥0X`=hD,)B,~*F#gH)Ƒ4iM Voأ!c甦nVxG>lu' f),Uo< kg2èBT$^;Xӝ!'TߦD语 ((m%gT)xbw?of`pe#C"\dhx)_%= :, g8,^f&.`)D:#6m41_l,jN¤Kumn,"o<-" 2al_fkMEA ;&A`뿁 .ǒYPn@y0CЯV>'`;OgnDɜQ(IKr⟶ŌlfgC1Z `hBPdۅ?2iHm.~LVgbPtÃiEz&CzuHWj! $# ѐ[1*Sqa؈ ls:Z-)iy\- MܭջxɅ?Sb$J T!z[X`.ڳ~O?Uy~ncpա í ˔$nFs‡Xꖅ1`Yɼ`T/ih1oww7Ūc}. k0KЩ<#X 蒧 { X#{ _`Bi&TU~j]g\PS (U:`Z^t(D`1 >iPħ RޙiYFb-սb^$Oy 6`R2<ņu5TkXag;"]L۷ ɛЊUo ki mцѾx7iYi(E;G[w Q8mT֥~EMskR}`G%x 9HnpaAyzi>j))UwjiZ $VDp?xVU{Ʈ@UrFn&Se^Pp1Uam/Y RXt0\Ʋ[~kIS"*>&]% LP_uIKGh[.4wdxVi&4(!'ZmR*juBPdNmGfv>9e(bݹ%x%F菘zn`[ 38"zv ,: GƩql` i*᯻gOC3݀l P 23~P[g1Zw@״fCMJ#v-ٙéyՇFO#-#!JfvoLarΠ{Atg %;Fi:۬J~ǃ65}"vCU%8b5+*ƺ\2'ji.;XͨO4Yq&x,t}Ǿ<~ׄPء$\]9g;/ؔ%6)Ǩ)W5dž"ڲlL?A쥏u)Th 7+=|Z_oTf,#/IyT ?)!Ho 3 ޘ/]$ !V_CzXcкܞ$I 8^6ZKA Y3F 8%|8FUr7!LwZ iYd&J`w% m+1XSl ihthكKKOwU_Ɵf5w4*y+GֵqP\`oR[HQ 6-VߐNW])_4(['pi}2ry݆`HǩYIuyJfXF;"Bb$SG1>RwԖ՚ef!xtwf}_Dx?cMK!r(58*չՆZ_K^#kp`-smB"2d6&2) Ieh\.s#JMo`s|Ku{͍tpsޏ EcgPVX,1N9oﲧ'z>'͸[ww p?Z0[?xx p1X. n<8wz:xS5KoD]2D1g\XsF ji.H7y˾4gвABON )JOe<tsp7S0E0ft]e !ҧT_,\lw?~% nDO+N?oDtŁHY!oO0$JfW]uiʇO]H!my5V;*;o @4 >Ay? tZ9xy"/suN faP]lӎ &^qvKrk~Z\"(JIx;4{br!ҋJˇiD@pXD #Q5Gbn' 2S 'uq!-jtmpLڌs ʏBwi$"ȴr+oLxsD*-BapX]1޽šh888' g\PKXtzZZ-# Epc7]pSpYC0Rd$QR" 1c|\K6%s4!}R@N=mds7^ֿHS\k>|Nhâ-HY vm brW S.[M p & * 00>t|hR~fhN*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_id198:./=' HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages7zXZִF! :]·Iq n[:|&[z'ABeWFq,-1Ɣ*7U\ sBMh7%}uhϾsȷU%@4nd|>//l`#ѿkuu49d<4@ )/rp_ɀn(lG nFBG(֖_:I\fNgNww?)j<5{Vpqjah|I*~t|҇4  z2Oȑ].:%M~W.Xo9 "QQ@-[ *hKb(K#Q&^uE8 A_xԌYI0.ad("vن~\Α@jZg,$8o_Ә^L N >Ưި:G. [ 2JAp2K0; c"{jܬ!э9\9/f9T/#a2ET0PDw6,I/G r}j<QRRB< ڏ gYZX-/=# DHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! e[]ˠ)jk2p O6LP=͵gl5f&Di5b^8th.X .kN.; "%2ў3P),Sz!Z T K#MVbEsO.vdSA,b.ٹ G>^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$A}FCt-6KMk/WPTًnrڀr^ѭ)1毜@z'RͽRy *w tˊ3X#[O:MEO#Z9A6 F,L~ݏ@C!m'+tus.s𮖼d[ RStT~*g;=` == "[º74 Tʎ= ۝pl&yFՉPu +G&Q_Xv[22!$O9U@ hO_ Uanj`ܴ*3[[M2"^-WGaCςѦ,Cr%"1eel%TֳPPJK7?A|jN; P_u|Xu8k{Y>V~dA%:ߴX>! _hݍ } 3ve>"IXoe# xP0_W.QuORo *7+L!`7k0B}X =1 '>__j@vl5lz QꞬ8+ Lu 9 ѳīܢ\P0.F2p p2mR]W D݋kƍfA0D 0rCr0d"/c`lFMc??EB|*d_*<[MS~yĖ]VAS ^x1,%E.A ?(俯w6FE\?YAA;KM(҈'wK_/Q3T3|+^HUX~RA5{IxyS3Ҡ(-i'SD2o0RgfŞ'8\oc0g|D-|8yv-x/9al^.(gj(.~|K /]4FplU :Jed۷thG&'G1Ir6\d Bx7)6L!nE!T7!DLT(,`ۨfhR(N$_4?179)n|1C@ c٬/:A_yJG~ڕY"Vnuu*cE $UwyxH u{ݙ4:;o,$Hl G'u:ni~4֮,ݴW s*,U6Qhm?&2# &ր~ʁ" aSu6%g4_\^$!iڇA,I)rcĚbxeSN>ʿHC[|j$ gm"x ||TQ'E=.(_*gfSJYXQ&߀1W1H1?NRBytNo҇Twjlqoܩ)+[u (N`R9^er4(i:҃M 26\`07D= ٩<4^v.OUX;^ Zzag?ui;6ʓ&vmgIIzjOrZhIQb_zvXhy` \rID7a#盭W-EX Z#?Fw} *rN37O,(ڭ Z/>pzfz~i+r8WWc OG|N@ynLq!PxtXg gq'GV[$yC^Icr-30 #({7:^V<]kIkiLj"FJTrjN@ 3"Gn%-i-/j :R]ИD%dKװ:j_2RzF6f6`݂hnV偸:.@R5si95g X+-GtQ*»K2"b)pք+}1Z"+~bą'4WQ0Pq{l8/r1ޛ5$ l_9ܐ%XQ÷P(\hwԙp#?$bt/gAc5/rNOit'Ӧ :c͒&k,S_ĺ-1<QUYRIn-FӉ!K |UEىvUێ=ʬJANmʛp?SeQX';{x de#"`)pQVT F_Hϱ?t]w]|}ԡ O rz9&jkqyHE|zZQR\!ouw[TvE\ࡍz @rs3xVt(%%q*_3.$ʣf&$6)xF^fcw?48$%(.x*O>P.HeF 6=@1k~yO$6+vbɋ7wʯ_܀84JLNgq }l473U6 KB=)jݢ\/ *XƄf&F+l1q lVV=i 96ys*̈SrS>iH&pGeZPܷFEZ{šhs5Nׯ_A̛HΙRƏ ge Sʂ'&D4Փ<aʹoisuvyQLtElf'x@oX#Ex Geq6hf錩-,RR6 34I(A>,&B3 *p(~Vd)`AηhW ?> 62וfSu/`P> lKJh0kϭ9ķts\J21p3$bnwx!ҋ·rXџы n 9YdA -4r44gOG. cᥡ=Zړ̌%MIƶ'5s)%&ԜQmQ%}†pLM7 uŲH+>>,| 4N/]I{-u+B#;()0JA4r,olvU ܜX0܍xO2*K4R7 oܽAՃRjei&Yk Ȁm_*G/RbPȑJN#9ӊ3fr8DՁ/5<[U7DyJ@Z1qȎu#Z~R vς\4GLmE`Oa.AԬz< _0o=]j_,Ǘjޘ37%MF7cؼey6O/ڠ&ⅆ{P LhΣ/ˮu -@i>Y{qp`04: '0'_E}&!ICVZoỐ'-!j0;[TO b A6ܞYLԈi.:ꘌ_];BZL#s"Hz_v+i<Hx;Yu>6f'cvpcZWV Ki}(G{/FHDcJw' gOq™>?}KaB)Xdl< )G&"B4Vn(&Ź]w%"\PAnnIxU}uÿYr\H#ct44Qp(bhJKH8?P|!B%a+JY:j<C]ҽ kb0bs."$MI6n H;y_icC8;͎9X "0ѽEe0-l!Qn+PK\nUaHLU?R(CpRw[! R;>qAe ܑ4?HԏV{'[r HFkA񣡆XfUn`9 ?&D&(FJ0زyo(0b=dݑ1K470MS&3 .I^BZ][cMB.{mxK18Wkz*3O񅻬JDbp*䧨$c?. w>sEh׵c:94# Fˢq6 {LkR9/3. דkgYZ _1/C# LHOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! `]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STdოY|b/m?x'8^{~r.,d%QUԐᲝ ~%}`E^eZY<B1x6l4K(݈EB(}+30ƅE`eEpp"?;'^ !c/Tʕ lxI*֯D~W5ޡX=PW^{۶:0f|ih`zC5bJN.;ilN+ n(s[M_%>%nKVq(6? Q CcjbӲR qՠ| nUf vF\@""U HhHm}b :E3b?w5 dpڔ{Xz?bѡ=<~s-:DvǤ7 "ђ''Vv*s8[Pq7y7sYC =􍓙;5N2lOt\0%j:GAfMѕv? c`(4CNؙq.ZEʷ׶ؐ(wr+@I5xp͸ʹl(;Aw-9ܹ9?.'m5~:5&a `cLhD9 J!Et.G5wh*v8 kWM.m4Žn$;,R떊Y֎1ZPӇkTb7h|4pbk5nư!{71f{bX!@~dWr/`.!7 - #ICIӤ7ڼp'$OF#OqDj6%x(̔)=,SH|/B渾nQJK#'Zo?Hi\ȀYT/ PmͩAcФq٬@氹 AܗOys43eMY$:{7vT/b]lb'"j°B|9dO0P:ݍѷ$a?@̜cVݘ;76~6?5 ye3M8&/}],AUN1o(M3Koj -jH.*JeF.t> 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 rq8H֪?2ǂFHyid+*݊ ||M=G̛% qOR1Ԭ,ܕҔ@S|UUF?́7z7+dhoOD jЕa>OH8F< 3{{~H*$*÷'?ݭ m+8 _̼&OwF.'dstY! fR2^вd'k..mN_U0ؗXרҽ$=6}*E{ߋ?xt@-rb]SA^<Ώ4xW91?Tvo'r$w9#_BQ?e);2w4zCw q USɄWAhUROe;牶kTpLνQB.oUx:ت0gT'A"p&[ 8WV:Xppg"@JӒF@3jng0~ Bu=`ovP|Dk;K ])V.[`ʌW`kvxM9 Nf"{f+Q11dh%TKN[Z;L%:gѳ6їI12ὅޑ$P%Oh <' 4YwJ!uZQHƅ%ʎq- /4}PO]QqUIYY}2`ْj~A6|[8δ'rURND78&Zo_pyǕOJWv uC=a< wFZ?-wԽ2a - ^Ka:F f;P<`58gʻd}v`Hn' u| @1 _uKv@Zx-)}RFM#|RcAnjcDN@;k7mEDP~Xur){51t'5V'ٵsv5']{Rn hYrj0~MfW?DT!1*h^D@cOF&OibNe{/3xlrb:'$s[/]pW27,(h( /(´coG/˗J\| f7G|-v'Rs]?_A~| :Mk0m8k-^S)wݐ9R`Cu8EU\Lx֦K>%,vE༯f<yyPr[B7-6@YF+nr!PA:lяX8"v!yG&wIW,7R >g+ig-waKi{MOI󦐏K5%usˏ@vgNQD8N'vw'6: ra)'GHOsTv!W_{7x;J0do_ZA@O^wߋKߝ⽸W"fJ$h}5N\FIsui.紇®VOk?ƖOpC!0Hڼ 1p? n8,&:n|ˡ9GZr0c.5: PИwM]H{gy35Oh`mÖZ`0S+SLC_QǴR:LMQpDz֥%N/"&ݔfhhOT88 Xf+6EO-m 5[(2{ upվA!0M@Ҝ]5O΀fBil n S=1 8˨&ɘ4Y{ya{/Ks ٚ.Tq @6͚n*+eE\讓wVODYD8Q.KpZ',BT_X g,Ig.Kp޳n3xR$0Ϗf~&ڡ5Hy$%KڍʏNJÆwW?7#s?X^b}bQFII5D1\3nVW:b)3@|EDS-19g:qqH39W35FaֶĠ_@Q)"}y$䈮Z+w [P}>ʷ)u]ŷs M,CV1^ ͘NT#/+]t(I\`Wװ iX`!0Bۀ@Tu/K Ax]9E^{XM _Qr̩?>*L充jPX` yB#&v{ZN .']>*Xu~H괞M _*X* ;d~JG;&4 IEBۋ_q#}ri܏T:^kl+%HƟ-tXEBF"HԫVp f]G3v\ #dJ a!fVjܡy3BW0l@܍]ͪb=YWvWAU[UH6׮IE0}lƍhY#eG:XM-w=cxaD݋_+gYZ6@.ܯg>A'Fn'a2M$KmؘF!?h44o8 Fq(S+Oq/!ڧLalѬDؑ,]b9_0,o&o?(lQ3\oݣb՚FaMe{5%#{yvURVߟH{sF\FmA+}sʈE!@UQaB t5vSWբ>[fͭ"V7c[ͶT2"9Pjºh(vO8,E7M+3pZ;=zɄ:'޴LOX)#%Tkݧb5\徭{o->&j54X_" gϢΆpD i6*?fsLGƉ*"37p;U'SÊ8tREsMPD6q\4ȃ v{H,~o$%Wל i%aҩw c3ӥv }L[n`zG8bQ(CYEZ xF!/ƶdHWݻn0.cXXTmsNQ=wzp3W7wś\2?TmՠMY!'5[5/$iDUi.oIճ 09sKkAf+ YYUvq&_uY6 c<8;a|ސ1%& ܈F_>Q(p,r$#:Bny]!9slb %Q ml _잒)j;h`ОB{AI@kPa0kėsAR!R"Ow.ADs5t]{E,ۿ-ݵ3xΕ4|‘$Dj|&ꇐQ02UvTñab:\(16hm0@HeQ&NzѨnz:xz<\%lJ."DuWs(؜|%؅[<]elRФ463>mbb՘u*^L]e)%a_` q^ ;@]*OyӻL8S5dl Z`;8 L8Lӽٴl a#F}u SiSJuA34sYJM #1e9rAM+2ΌFE뾚<֏y]TvKq08an\7^Λ^ ^ã"CI#PusU2)n_oUŸpwS:HWH^͈'ޑK4 P}tTn(Y:<ɞrx& ʼ/[Eɖx{ h{ht)LrJY8J%xj1]:,ZNM$_`aI!0)k~~T'܎Ej:|T*N{LvCr--T-}C I.X!'hdШmskI ` Į CEA*.?R)hٗ28HǑ.Υcצּ4JC& ĈS ֎^\QF`)h?H ]̐Ѐ.0ESOeF6|N-RT[4 i1FKrBm:ʦHylzE faEaqλvQsH3 Ũ}4>BO[5QJA/Oo6z+*W*#=Ut5U)sP=w'*ΙRxƓb M?x3st!D+G:D-"5v"{ē%Hf1 fdjX(kќ=[y^s8`w)Vm( <,/IExɆ⡦%ω:l⨙WoG,XT b+> )Et=5jb]Q> "u@kǠk)63T`m,&3qXuCPo&]mv*cju 9Bi*-&fލnQێ ^^}($7ac~afHkUcN om0.t44^X9A1BPdF/\yS.Xv7IiN r2+T;y ̢^Gx?V##SGe W!̽Har\^ QᦡzQ!0YlN tMY* Fn8K/ƀGKZj6dT)2ZLho.m< 3^Þ36|-v,"kY=?DqӖJn+^B|LvqP1]z _wUaF!=K3KgPl #%y4  .~64<5 0sֿaDW:=ҏʯo 5ҵ̄/)qEf !_E N#+ xƤO|2A:1 rG,;?-!ߚ͵?KJWٟČFMX #ZӸi=bNoBQ=WbS r3vu-逽cu7=/[AJEZ{ ח&eSwuҨd$d≍t5=YiGGpoi)Y899X5~w;^∗)%)b",'0uv@f̤(CtE!o`+sT-6Јd-ӎ0-v6n~1P@}TWMم oɝF}rbL2܏Nb I:>ʎڭkĸ H:zG]#UBAMi^,t)<=QN@_\Vz 9I+QJ_P%֝Z3̪^ld' ƜStM\$?y_lo˦dkj>_U ',akG{Z]\pdf64eAU}.Rwi&r>664, "gȮsPD{yPʄ(_~0 +OR(r <+fC˷r3KcXlbvO1;lurL}XƜ1aRVhyR,_4QJs6ͯ_LZl\}_LMVvvܻBV~X"cڣ/5<ֳ5=Nm6 dtMRl50b_'dj]iD|4"cQk3i.=jp>R}p0T)CRxMTu2IObr|EAF6Wjol51?z dYn>IjxX`ꒊlML0Y{W{F\W$6l,L_;%4ը?$I:5>?M2"@|Mb2~d<"J io4oEaLSK3"1 +yi <`&CFb#L] O:-=@QA.iZ@Iftm5r*&,׵ ^Rܣūrh uu“TSv‰E|>}V@5.!GhxPNK=O7ްYi{\̺ 93蔯|%O,L?glglO~PyݚKo`"US}7 )]nK/-@"(`wj kID5 JγÉ'S,9[I dMր)8)8U7]!:UI%Rݼq)C+ hIbsCW尥7ۋɪ%Z6ro\p9Y۶`O\cJBQz|\9W( IbEEm/+U i4=ljs`:k8#qK (Ӆ ڢy hϺXp~,2 T: ,`Zl0m`js.§Mgw'ͫ 53niݔ̓Xb\Zǩ02Ŵ0Q_@DV\^+/5s`96SP+Q~++p~ZvQcplkG.'Bق;L97Jpd|wa"4fʁmal"wNռiAԼ#n?-O+@F"1go 0>"<}a⊺s;KE/DxSĨA== w@ P4maQØvBMѰtwX#Hy{ kCؕSSAuJ~RZԪ=ߏ_pdǬg[ԕKt*) *q1viZ=_?(/Caoˮsv K+fhwwM.11n=>1ʰtև1/='S 3zXnjL]B#Cc<$䷕[]7vtnc^.4ĭ#m\Y 7a1xSmlOJ6J%4>6VOܚBc3cLj[}蘝־)o;*%*% HsgZ ;Rh]zX|͡?-Ĝ|5 $#I2 H%i9m2Q2ˆZX5g\¨ۨ׉oGO,S5?*LXב 9$@ĪyC|ezqAG*w2W|' Ok'zfs"jZya*،xXRۼ˲H '6]N/öK  yJ炛1P 6} (`_> ILP*k|8W)P'9O|,~#l@HmZb袳w(x1J/`M#j5<5 `Z[t:Mm]>og}1"QnzC _bkbeNah1rޟD3(EPC^^GdƳ(R{B#i&mh=V<_:x$C"`=xb*h B)SV$?) &߰|:pD =e=_uyx(wzNt%y-L|2hlG@{SEY<DQI賢(f1Uv.*&*,xݲ}]jZغ{H5ٽQ\ QkN=TsE|\ʚbVC0Hg&IǩFO;agYZ ;N9 /7# 4HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup7zXZִF! ꭹAQ]ˠ)jk2p O6LP=͵gl5f&Di5b^8thKg~ZX&\-nsg=OcH,ߵcN݀R+ڒjl:Y0k589, )E|^,1xa_Jt=p`yE=xw*}wt9& F-5){uZJQJJu\nm#PV/<=,W D{V `ʡ  &~wo@@DGX=:HSլ<vyB5k%o,h+hft̩OTxT4ohh̴PRWեE<o@#]8W8/7!LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files~~/src/HOL/Proofs/Lambda/Eta.thy@7/7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id214:6/E' |HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages7zXZִF! 8]Άxʆ5.f-9 rq8HϠskI^DԎ -AoWБ%"o͸Ȳk}f8ӒXņFgqh}w.d0HݣFȴHq|{7!%A5Q'[0{mבv8S^$/ۡQjNǶV Iљ€+ ^LPM+JC Tr|Enwb)^`JhI2/A!SkYMP@ٓj HjX yȹIPzl?$.( jO"J.Ahxj޼^ MwRf)ԇg;ԾQSҊH/mM!K M]>D I[rY;^K&h 6^!l̼ysYbYÖӣbiܣA&3Zntgʎ9,lM)^ k5P#pJ8Ɠ]5ҙ+2!v7+v;jV]_ YJ_ Uf!BǨ3coDvX,k\ol-Hsc͊pA͹կY6^1,%!gYZy5 /E# |HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,'w]ˠ)jk2p O6LP=͵gl5f&Di5b^8th5ڄs tpOQyO1*{kugu e?)WTp?=J!,E̡4^7U_]]w =CܔwMq{5?R4{ 2۽+mW?WzU_)C*_ !(ӹN{W2Uo'^9mVx]./ì}y S-^>ݱy>ݚkQcc@1P)oX$!+fF . . U'`KfQ5>ajdYF$[?7gA*!hPI)xY9puuj*i3 9ܱ2&}$ꚦL0_G0nN19?}E)"?ԗouCW\,Z¸ ӘECzɄ렍K4+S"w%.{O}ʰ US^\Rf?ki3*#M;I䝶z-d75+f!)!'%TGnOBca)4iݼS6ǕL6>_ 1_i1m.%AEׂp*1e$)]i6累˽{B] m*`E ,*"Ǝ[)) w C>(O yyx 0J}zBe?YPZ+(0?*' ޯi3Xy:qy<0s\bRLVD'gr($9vZq7cx+CQ'UAGSU'LG\!JOdUߞQ󓵀 >T/ htހ=hZ򎛩n*N%!X_uGPPi/ 6+gSk3ӚTy'ΌO.N&,ZG/SM'=)nػvkFnMDLH6s9c'y8snٗ=6YWJ`suN4K`Қ=yY!.%hzNn?6Gxou mK҆%aA@̋1B(.hdYN \{̅Υ 4lϵse*@Z4>h|h2N#Ҙ%}4; Y nI0H!f>*D ȻBlj/*\Ӈe/$ ߡE[}~2aR 0>9Z( hc,D0zO 3^7qk+jdL_}vD$`)mr^0\ " Гr%R^l-:D<0E)8#Lyo5[a /N]x]~T_Jyt_,޵N}'ט=fx&5H!yBxԳ:*eF0k>IN6ƖIہlLi{ç=%_Kp+<@`Ahb XU59Mw52!+ޛHN\ԇuf<%c7LLR%N*Yͬ=E+9s8hle,B&lKhFm00ʺLhD&\Gl=mohVl7/<$|fM1,j*M34ڽP'pec$]l(S͹KKy򷥺Jy=Whh/N)yh (T=]d Z9J?]K܍ z4ލb@E&f;>mcrYv5}{wf-390Ŝx˶h96 ]+YloO=.y:5 RBxJE>,tZ4HWփL$G4j+[Вw]GL{tٞ |lCyyѺB-2+~aX`_ lt!a@P;2k 8d=aRsT638K'6595m nQ=ؽ'R({3#ct)XЫ%GTb.6s+)gHxқ~ccDqUG=`mfaɴx^vs"nr)~w&K^~D )zb/ZyH ;+yN {WdX/)$hŹu &xrTMfˢ%wq 11+HvTN|Ab?}"sozc1qJLY>CUi:q#j{C)ל~giy-Nƍ)؍Zzpv7vs@v<#S>V 4d~=ѢI^z?78+¨ҙHp5h18T]HVYΝi$uQP 0aƓ"p}(1:=2&^F'y\Y* }:d[A:^ k eeVrW 6P P`ُ bOڈVuA4"eY!83Ƨ<7]p .:a\cWO])i¸AD _ Dd_`پZƝvy?JmaH(fV jzbT3t<&X\/~t[7o24T > )CtAPǁ pz8I\ >lx]hjK!Z=3p؇}Zy X鳠/nCpY/4v #jNHiK+Z&&!@v-d}*^Kw!0m~rŞF]?Y&QEYX|mP?~n*dxR]5"j4:|~<\z TXSnf`ptxqdR\og;vG-)MCEn>=F'jU?*1Ɵ S"N;O]cSp.!ȴ[gs@u b& >祈2Ve42T(!R56lk#S.e23q05iյ,WNӴWa^;^p]% k #gTܾY5c(21`(¿J!Ѵ??J!+^j*KyxmA'E/.έQX9K! kq3jCoWk/#-Ɵj8+ZGo\n2W[*%?qsp.o,S"@Mh1AU6Y@PܴCP,dUZޥ̓o!{4 l@zItd3 F񨏨ӉJo1R+Fv}!u]QO=˟TPo (Q4׉]yHLvB 7t+1WJЁ659$5)T&Q\{ȹUjȠ) #)Jx,ķ~ib9W'g"9MDNz '|a8 )5*ɱ +E+_Z.{1i@`he5 &+e.UM<3q6q<%y;T1nP[]'`@d, /m] +#xS5 g6gXVsW~]bZW~E#.;:\t<(9gE鼌Ek)gzQ.,XD|Tyj Ʋع^!xD⥾YRY`~ٕ?U?vNJf߰DA uÊ4;^s6uE5$xuW|Z0ҙ ޙu%4>}2[|B]NِV ^~3ary/!(u'1 H^Q@\YPw }Oǒ?S`IN0='Rt/Ԕc.YG4\]%}4cJu;IϴJ3,ѥ$T?$?Ks-u`JmxɇSa! qjf5̢t(jg'A^CYWAً:cչHIFcɷ| HGKo5TXǍ~J2ONc\(0hGx&zeV"B!?0щKz6CRp,;-nI/Dܦ U*'3ZpgUL- uꠉ7U'vؐ-C *-NZVuAnBGk 1{%T i K 2T\s4ZǹzDCxθ 67S~zl-?G~n[ Z(>5Pg>,=I+#_R+- ph܏&tZ:7=%EWk $~מ$|s({~ )'~Pv쐧USʵuD} VڄS3AjS96sާNc2QW)$Ν gi3"y;.#qYߨ48 \L'cܒ{ޅ,Pv?:$ Y̮ mWk[^pkFkW>LۙH(H)ƕ^3B %bzΎ]/gܼE'F02UW)BO_q}pMŨjA&"Uz {G^"~`d(@)RT7&8Sōae# v$aEfaU%!;.ԿXXҝ񷏴\vFi@nZb #5԰z>9l(WT Nȟ>%Bw\( [vfJ Xq ŗ_`վE0(bc\iF,Ԓ|2ػ˔a;D si(Ph0L>|v s> 4! `)^x\yc!Yp)eJ~]N*ɮlTυhc#028**dw{4déG+g&qBm`b11]'MY8]f^:Agu[}p`.xq&lS`Ɯ֢Ў]XahF;̄ HH\p7C6ޛ2M5ɾh]6¹F8iZNBQ+zDG5?[|| G⏏ Ȗj_K8Y_ϝm=2:!P-Mpne.CeRbf {|%5'As(WUT>T2()ꐋR(˚Uqɩ&Ff)`H,@I.fp < ⸊rX4xpKV CO_ڍ}wK{mا2PdktꝗC [̏2b Wɷv"ހniG:JSXk +=. %Zڵ. k*"ƴ;2i0{uϤiHWfj|wmaN)N3>QUi$h}CgXuv.1Pu[frִw&k[VRjc &饹tn4M}=Nq+Π A1&8\QqbNV%G95Kd8Rl+T-"`$C;{̈́ 9h-2wDt WvdhU["N Ƈ4Vƫΐp}LQU¼>R2 覱߇B'f*EI@sRGcXY30ȫd{iX x/+kg2hhq.Q3T\=WГ/qz[.6;i! X|: ܓ=_b@lU&/3 r Ӄ4&3.pMKyIYI[č;h#PtS:SJВX\.kXZj~WC@&X6Krcfq;E$oKhi71_[[#:3.ysc_- UrS7J]ⲤOg`ߔʨD&TCP|TIRV#ލP0҈rotuOgۨLLKK[c<@YӞ5Č "E޻w[JڇE 1D\Jj=ݰW]!Dp H(mL!w2g9 |ċC`Z?B47~7GlgƅogM=llj}Qq[}_ j΂!͟w(=b:ptΕ]V 7XOzxc!Sx\u#`R؏mr=7S+pjG-uAQ) Y1 Bn Lg :a=sXlKW!dZiN ;?Ȃ]SnD9O `1X>7FM>NBrr&j ##EuctA\fl%$" JF$xGps>8SG T;k** iŔIА&m `QPMM. i:#a7 .ܠ1ʊ~Xr3鉳xC:@<0 -8Bvn\0fq23u5xw?1Fί1/.B=I)K*5bj ;@%pѽA@'Eد<=fNP`?9ey;xdJ,l(n\gɣu" &Jp 08K)gTȀ#mHWWA0>{/[I-骸[rdo(5f9\>aݕ֡MJ^h hyxugFnXC2V"z\lzc:(qj AaѢ!>MD2$O]૎#-rD{U Ec=8;QMPdm+ڭ9_numQƙ\I6{-?]qO-[}?/٣_^N_kiu*Nhgg"Z *  sξ%+KYy]1+,ܗd8{߸kk2MAnxȊgyvȻvd lFegC/3`Q;MB,̟f/)A|2x29hsev舏p\)]} ԶA(L*/$◄]װ&f ٬jɹP譣jìUK0>ঙ- _-"Fo̥ɐ%փ"ۑxQ 9 .x6Gzt1inѹ2o>u~Ah9WP>] 8|CPk m2`!:sV{T ^贵 ]uДo4w6KNWm7jF,;t}mn#$]⼊ӂ|Ήڣ9c[%ߠ87 #+ i20TIՖJgߥYWhtdꮵ)-Xk׻bno'fƃpbZ`hٌP&\ a* x NC@'79d72L_@G it)!vF7g||%HF':z|Ζ{F im9씰_Hz94N_reH[ʒUV;> ,\ o" 멢_lH󘷷} EAP1 ߦQLf~5݄S9%NJ`e}:9ND5O3iS?(bܒH){6 (`(;[| bûlá>& FUKyGBv4iZlʝ 0Pg7ʂ`jۛi7-d72j Ix-ھt|;GGjmIK _vň"WSW&pn]l7:PEGR/A̪gV)F>x/@ZecKs*!?a{܀~F9j݀WNY}=}iq?ங1o!U00Zc`íWY69_Qfpvz2vGPƠ7I2tQu!η,?qv[ՍL|iJ=ap4\!m='\`@}:ձ<>1dnfDxsDs]yb/9Gz}2 o8p kP$Yj6, 1'cOCx6  O Vq[2/! æIžޠz׋(%k9%} F))ÞQe)4c;MA\~VT@`fsC^mo_a(ha ApCJ5l5iWo,-]~ }%O ik~}*d0NͰ;HaMLGV#-gdC~W)~~GYOqa&nuG(R0 LVSt[d<@NC+dOD;EBiK@N."NǓ@1sX h"٧rCJ^:J D|ԏ2nr%}:Dx~P:⼈rR #mh–i| &`f 1~/`3/\Ǟ ȉF+)Yb' ;\!JP{<LƊQSTv0hLpdTmB2%s PmB6dKj4AF(S?HZ*`\%@ FpHO[W@{ j><Wt+3w&}=5e3KB7&ygd˱ ߧ%$ka^E  d9i!X);[$A\16jϬ~]i/M}.$)yRbl*dn Mni;z[Nn<2ZpZZeof,oD)Ч לmVE1>倛HޡZXcΟ40nBfȳU6ƫ@[;ԫRN>fno38Pk+ڷ?+JkZLT$5i(#ļwfywFDHޫ)/"\z[o-af2 UF{^g|^-_ѫ{3-$] 2)Hq軚_δޙ[q&H@;#N>XJ {0 Ńũ V $D\ʀjp^3]cs"]4tP;jAߔn!j_n:I))/ԝMtDL0< Zը`~/LTm~.ʁ-kƐ()N2PhԆ}dr_ﻻ&hUx 'bCD2'm>֩2y ʹ_ Zp) gӆ el×߁@-?B7S 8[pNϮwȡ`[`H$Z#`H;zsl+"^Xq*ٛ{PU0W`X"Xq sfIhɍF!C&Ŭ, [>}hk\2UrLYP(wָ}_02(tё`Kn5$DPm~K$M +8y9a1eU_TX`fx( $u\xnĜ;ku'3w?3lyVpl5-SZk1hlRȣ2V6IL)"#.B/P8b8j,짅*x|n85ʴ& "[qF΂"O r(~|v˄ifh \*kz'}&KiN9yRJtڥAƁ_sHA]޿ԫ(1UMcQpdO 8񿐑"䟑Ո =Wen:qB.|JحL~4VdՔk/1/(\UIp<ܶ]'3;@PCs-"ɣ@K`C™EG^=bkKʎhL.E@݇513bX=f(T^f"ė͒*I;E93b&Ƞ@#0Lse!R:+?cE ;܏*nOD- E v$nG3N3}d3^T-,.!^f*ɧL<|\14ae犞i\\.=x|cj{ߣJ= 膷Pv+eE)).ڒ'Ygg tj٢nx~ t~Yf&F781Ikd W .G;@[T n~/OK̰0ip7 q GiߥKbo@SXIӛ맣 %D[Q\aKoظ4YE'F x:(Lq5ꜹʹ體M>:m>VL/pS@8@*N&qL3OfsԱz5@KH0kJ? j!Q6Ml )%MoNOJk,ke qL.QEՈL' ] ~:ą%x k*oΦͽt.',4; AꁑX)r$q{X\ 5Z%W:$0H⽑P #^\V R BxJEKL<9b0<Wݍ{11Hx~&c41|܂#jFd+^ݜ3x\1#yV9R%]O/vk /߸!Z&٨( pB**G( fa})%IЙ{L5Z: Ӂh\Qwr_~!tɕ͊xѽ5pPi% xV)/#>hdkTk< fODHPV;tQQPUWiX6* 2VvW`+uڰ ]C0B=җ$ALMbzM 5rv,}!*1 &N}䌏[&bkwD!Y9NbTѶi׍DpA2>&(aj o#y$y |2h5\" h;_l[M! bwT^M˦l PP`1yɶ M,ӜD9XGo u3DV04fb`T&V^kl$%C{E!֝jB0ι1uy&Y}wq+-wIe0I|i BBq;iV76g%,J'-hQ}[b2%<7[z+z:ƣP'z+m1WW?EkF|7[Io6e/qƒbuL8u9\;IX@YG^Q(]'̇fE[~X!sA'@/\NL|0F`® V-Ai?G0M0ngltt`MkIBcyj6)O[qˡW!e ̜T/2p̓[HIL`A+\{;ȮLxZ򖶰iq>[;\瞏E?pB[^8QRHg~P4r | M gQN )JFoGHcRe3KT}4*[KuX(]̌EnshtnR޿3PRoXGJh4鱖eSb'c7rerH?7j +:Hg7jEUUs\"qo>Րȶ [kܱ*ȼdƤ'ds54a:S4JeZWU{lc:n_>&\'g™+*!dꑻ< h`` Aw)pr`5l{J/j- =z5Qg['G{F1Mq_K~ A@P46HFrb1A#s?\hZ&^eM 1Iܽ>oV#K Oi!e XIi X΃F옠c2 $TmS\szU>9 1bd m58 /d$yJ)${QZYhcyoEY'tygǾ-ĕKh)mՈlK5k㠥HZxt~hsb^>ap2w}=JMB>*3޺2 drh:yvd<BVM!G= dQ H]-D:>A)^mke\ r"?=l`n[ԓ40 Ոt%GSW[%!iL\DJ t!ϡUKՔ0a 5 #^Q@X~-$uiH* SX(>c!}*F'V/I}0EhoB|"EƻsXS'Aw9Y5_W\22"?|]Rv $MYVjcF.zs1{ ϯXGs&/Wg.tC Y9p|{3u)c??? g "k0%"g}@'3hi>N^|=5;2L'p^T(1z nAH1@_SDVgG`4>.St#L/RmDX.'ҍRNT(@D)RLav9z[v[>Uen޳xi&޸I "xVFQ"k؈l+Y+ԻY VRtW8SHϬTDX8OcaZ$g;_JW0$`r1^OyjSĀ c}wHS]A;k043.m]岾Q4_ 4z=Ϯk<6[<[=Dwc*|\Tۖ6ySR>ALJ*Yc8M1̇llN]{ߑdB؜X RܾtYk>`*WB"C0iի$jWOּLO@ mt /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9G]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4exǽnpf{=ARZMCQ{}=;!=ٛI6tXբXEES厱;ے#AqX t۹zymc`MSoim8c2H/z:JpW˞н>ҊZiق+~ d2bYg7):g5d+NFE eMYV6%oIIf G|ANhqu-]/ִ^Vv%8aAXZcEgr=GD/xI7k\}·B}+a~Z\3նx0}D3/_.^.()3'Z>Ʀ}j [y`;aʡ~J@`4q3«ĬvG֓JDB nJ{t@tKZKi=q +*'U"loi==2Ue>'ڵ0q(ȭ1nh\'NyZ|&=&G:ܛJhMyMJ_ x0dH6Z.XKj *"S[Z؆`IZEQM~]hPĩ~ıvưkdD~ΫvG^\j~^_sq<3\9|yhte~e1 6;JG:ڎ7V%gMbŽ42 %Gˉ"&^q`t}wP.< }2P~RbK}}u7`ƫB+gruyM9}2Drwdd`ugk F+Gn16u+b=TWV w?19ιG$&W\} F?ۊBȪg7ϣZܱ#r4*+_$oa4V>gCKfO=5* ~^ 8ѭ#uJԩ rљ d ;]ᄳXo:~:X[^{7gI[E8iezU"9=4g-S>)ن;3ǁ پ:.e[UV$?o8>fm@@fn!>nFu ]U$&ZA]=Rɏ"܏qAbS_4.X}-W ׊meۦ{s<;SIO9Pk[##~{@ UV|-146G8͕{!\_2e^֐_۰*pU7إ*vjƺ[ZgJH:I93Ž. YQ(b/{'[ A-t\ig=mA`/`Meɽiw+% PA@ p:aIeTpqe,R&NAW>^y[@&V%z y04X'~<J5C= y1[hfF9)>{DdQU# c%ZҢ@a9jJģNq^+|Ѝ HO`JzԷtw-Uq!w$ي?HiiVo@->IdGHA@Ze+Z)\Gis}ƜVvhȡ3 ]a{[/R'Eүɕ2[X&yY3` va*F]ZyS^pl}FYY U[~ uT82wޟ{1:NO)nVE=y4v/N40'~G;-1UC a4_u3Fw[,=J'(KРϛP8{ FP} l߾+i \5^'t˃ǚ?0.w:{ ϱ.NS@-Y*;)˜%jf-[_zcG>0+m ZY;tx 5;E<+ GB{p LJN[ymgHw+:!ѬM  wy-]kbVTd"8vl?ۜvUJV:d(FB%0-ɍaڽ㯥:/a nNc[hjbW>!=TcFtΥpbs\p@.k@4?e=/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files~~/src/HOL/Proofs/Lambda/LambdaType.thyG</E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id210N;/71*HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citationsTakahashi-IandC_:/7' THOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7zXZִF! b]D?7 {?:fH\H, NOnKwD!/3έ:tB:qZ`\;g ?EP;OnRe5XEq;Oɩ _D3F ,Rngt)mJQ"w4p/&su4\Ur=atO d2bRu %dEtkK MIy$(Pf"iPZfee;V7t(h߀rDi; e`VG`4?7(x-q&T`umQ" 8o M^gsZ< O#j ty,s[rZy9d'qb >L\zz; Q ;ч 5='/\Q8az xG;YFQ ZV#8Mq4h@L9*rIy#YĜ0[&Ec7qJm!zI7aC,ʪ ~ˬ$|le4 Nf?1fVz}ml~Y))\4wW(mP8~WU6g\ |*WH,yE*:;fU[b)9fwHHrd'/! ш%% a3L1Yb~3X .ȶF#cgYZ %b$ Jin6 : } =  y >  b# o +Jb#Z [)~L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages?>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup>=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files=C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/filesAD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id@;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$ 1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations# ['HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id 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 N7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex )I9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.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'@w۫ݾt?ph2Wz;Ȣ`/bqF.I=7,\-/)kwj7F=CV4.JMt~Gb{ͪH[xLIJmO(+,Iz ܐ2P ^co))% wʕƧH N ^t"+!6Sakj0w/O T eY w͎g5 UL5{-\I3:*UMOZPDKg7ت7'~w(A-=uybD9t˯8Gc0q}oblY dU[JnסNojVM A\Bg7:( &!q۳MFe+ͪ}$BIYPz99Ev:֠A+ B!װjeI(qD\?Anjf6#z!0!y!_3upA6nI1#C h)*wXSxS=p)$c$i(#J0 dSCʶ<{z5ON3~/#2^x<m!DkP%#r 8iCԯ," wHO ˺s`SSo^K ۋ%gEĆTdz1#@]V1palboL N /@ũ.)q%;y4l_.O(eҲm(1Y("~$M{-8F׺y5K nurSYo%"Ve}*rdX%e@aig~Ɓ͏*]3,]y)cjᐐڌ>P$f".b9N9 /$m_cvhZ}PW q љw89'(r2f*hPظ{lr%DBjc?_ꉦ⏻ XsE wvWTJFrd*vR1>`0k1*š/a٭y X#R~?R/8k-9-}8sDz4$ o$ժcgmhF{M( UO잖в'.g [ȃٚcq|0hȢg~%WA)9~, 쌖ګ%,,ۛB7{i$ٽrdiF[=Ňt7"sJ2+lIc520K/xg2 sEEغ9 =|C/vG%r]aMo(ɞDCh?[-N k뭙F90+ z͐>[/K׊ȮK J+`/1 [.<0^KRp X7OPwPO=jvʟ\M/>N@E?oA ET",X2@g9KV X`W@ǽ_\}@4@z|?{Hz!o'EA)UȉX1L~(rO:ݑxnhcǪ h7E`mhqj\GO21%)$,ۘKy6FrǗQh0]. ùۮ &6G5L[Qr]|[8|n:w)\;t; B iH.gmm=zȒX~ od<,ɢG8px4Y'[߄oo(i}=vR_"UOر!ARQ̔wcY6 ߚrT_FsEl/Rkz}뤒v jA!Q.P[*( Zh ZgH?j0 QhI V>-c qX1kP.@%Wv! ->xVryI!}& 0Fo ;n7+-J3n`_2L `k KxcO..qJHJmtcp"'['ZhYq:4ۦZQ˪4o(!Ү$D:!ȥ?oҨT+Wtoޏ}([)Mn3IsoAWJۺ;hR_l:Y6bGf;ܴ!ARDwo.Lc"2=|Eb0Ш2ja.V1 kMJQ`ie7OE"d,&5zPholJԶke/q;_μ2NUI3 dBR4 r7x<02f1z\-I#f4!V*ˠA!7 R(~ntFm$EOo="gn(U`8V8'pW0i7-iM:N0<DFeo2Lx>H?t:`e:&Ҟоe]'2,f͟NBq5[ǺAi eL/Xrgf²-NՇWzU5L!Mgo~vq8mSz.r.2ٖ!] /lmd Bo1g3uC7]%[x/2^A }@!gJ2K?߯- . f1R q pjxmQ@􂢛Ahɡ{_ߔŇo%QDk`<]W`o:rл{F(e+U_>NqL?h/\ bԿ>P{[-Qq"ovw>T\;{wH$ 5ߌP,78r v^XȠE3 u՜W(^<2 uw[` ‰gkWQi\.K4fBk`yhȸs%7#,Z,ڶ`i1xx.JDH}CQ<Iô 3a%M?#H(O$ܮQu"ez2i8A-ohAF>OPg ,tg.ikG>Udܖf|E象 V&:E#gST+r2zQ-0E1t,1~/G .)hB! ٟVuOJW!c2\cg@^}1#ㅉu($h` ;[?/V lS82 H~ϙؒP&n9^%np/t3&)q~*y)-&x`y2J r'^&N*'ĎοzdA% P%F@^UhnV]!Ru/&OCG}R Ѹv=o1^UF> }T7lY`N`tPO!Ydߴ "}2v&l׶InS<J*;"<})* hƜ8_ʶ4"U[^XSUڸo301pR:1tft=g%ۧ% ??qNR:66)%ߗ>8E \}V}E7M}%[7#KM x&w鞺8YjY7@ ądj(?SwGF>[ޙЬWb"Aw]u^nf\!8X]L^qb').׺w9_cDr2o.Ē1ufvM> zac):K*:H βHHJh6JqII*?棨ԑ"d{ G$]$3 _կEʯ\.Bco-$8@4(LF"p?݂w# e3<|$8^(x)~ rJV~9h'`*B6`P }DiR]xp`DI>CEm-C/ 8+.+=@!T o^\]vxpKgЉPDNO Px ~;=db ];]t2KxCis[cHmYo֋kudNsw]`ky:;AKߊ4=~@)s3Z.?j@dV?pQ:}L=r_rncMa$$$@;&z&6]ub3luyr{\#5iq ,AI&dZc/;u x9@InUFX_ JdTLt_٩Hhw{Dd^4VvU";%SC95 q_@a.woN[|+=~-Pe兼 ]il9l߈XCH%$ȠU?aQS]aU8U븼$wILEftt,Q(5$dDj@+y`\dZ :y% aWmNamx?[+HMiIZTՎR&2Miɀ-6.~q_O^;Q$gyjOa?Y"8#K G9X д֍ `#il \ ߂=s5;zMͽ ~Ѕj empJmgZ]ĵ)gc48\ˇ1x-tPit 2.x7Fُ_h?/ތS\*& Jb-aOB,J#)8}6H̶4T!^?#7_DپNlu!}Ҵܤq [4]{g eqޑMXe.Yxkڞ҉pA 5K0mRŬvlHRA2J[Rb:Zab)FR?Jw+#zSh8iY+b<-SZhɀͫ: e5o%܃K {~|cAPf`Iߵ.A{i'o`~=NGFEfv‡=dyJeVT)a̦ D$AFA#;WWX ! H%y*%^,ǧtB̺j]αMȐ6h>h [,Y3 L{8ڞd?;ySH?12'ٳ GFgo`u/sLBCT`1*;fpsyq_Eoa+J9;tAS5ڷG|P%o08B O Y:i~Sq. g]#!gFlڂ1"@98 Ӥo2oxu8 }azO沝m L%/@t& ;f RwG{돇d}O"g=֑UuV+b<󇔋XORp7 rZ9^$Tvosb!XV݊ة Wa僃tg/DWi7[>hҸ(]*խBોnbsє*XExqaڸSR+f7Ob r:|S\d!Ѱi| du0#o ifj4[+%r0r*_U. \V\p-S&H>a1`t^k. 4K "Pj(%ZC׵lɱckϯM*A#EyȬ+ֽ6؋,"OL:mH ]M2rugJW 91K`~\^WltET(m #%D* ye[P~&,5_Zv`VC'Uro}6(e/kڳܤ.ȅtWӣo!]i3ukb86R_p,\;ׄBv)}I+G@@Ff hdtf9$;a%eR^3^o@YEPN,['hNRs.jJyR-ywa_/;ƴmޮu=P:/ᯐ"l0&x_.F7޹QQ<%n%L~(l~3W ?<# ,\Q)=^bgZBw .%L\+ԡI9j]Gz8"Jq5M^&( TZS,D(r_ID.=u!,z;8R~S5)Wഈ,}箞FdpE| c@LK~ךj@/ *siƽֱ5a"U t:9*DE ԢA(,wc d+bD37/åN(a7xS|./Q0whsH |POHz H;ߠc ÌZp `/$/玽 7'@Jqkaho/G#gJQ(nk@/=@6jHɟJv+I ,Gp_#v[e01#IA1 | zj9Oy 2z˘8|w]pm]PN/Szrn:G{5$AXeP via 2Y1Էn i+Lg] `yNͿ󑒭GU ΍N(VEG0t3z"v5|E_AOSB8KuB5-dRvE[蝣+; ։=hBHt9/R?`1CVgքdHol+ĕA0zvcP:IODlOjJ,}4 .wS- !--H`:ћ8'.W|>YW]Z90Ȗe*t n(TBX<~ Gc"I\w-f Tpǒp8pU:[K:o_w|JT]_׃)ԵA?VkK)Ix,*y{,"ՑgNPbw~Gj8+M ̛^J)== 2 `Ng|sto&o& PiN@P\)bdArQO,͘Ff-sS"k/&kl5%M` |e(xtAar޸.Mp}uK.O[cuNЗ\c bG#DoK!a])47T&N|e o}JB{77\Gc |iˠvi!B*+fCO+7K PC͔-qӱR)--K*@, JmR2K`,> fQ%b&9˘e>AgM&{1'QLfv/^Q|"^+n?=5j6j3vqӕum5*kS9j |7L{TyڸAٜ܆,ܭgZgB?ecЊ-8ΰ/U3tUڕ$m{ub_eI/1U8qI~3TWʟfAB_8­U!'g =azZTLjI6FSr:GZJ:6{9wD.yz-6uh8+GGUftT?bG)@&zps@6@4r"!l#2'>vgN%uYʅ3SQ`v"!BAU5GluDžX:ս|u.Ʈ%/zKP͗ԩ4M|/mY.65'Dzsp`s?ڇrq\U2p?e{eNE+!wX<)1\s4h)MG-!; m(Md ɖU)ⳓM(+UPBmwA;ݦy+첯 BiyDWX2_BX,ß)F'E0U.IƳ-Χ }d hUx,xKFI7zHU PW~ek67ʝcHOiot]fb3;?VUߎEϲ@^c|a܊ m8ཥ0?VC_9Cu^=[! x{/55dknsۖI+@YMiFn%UrU}K%itnH"LN`njT lsɦTܜU?ZoF4UwrZt4nuc+qf\3$J5l(B ʨC ,HQ(l d`Lqߡ] f̧~"ƷUm` Kxc{yAyq; %P_Zпli,#rrG" > FpRژiL jPhȄ2"/[3aFx0(weF kW:r,lV, *?tHM 'Nr ʒQLobx/Gh"hrm 7a>BHR$T3h/jUK fJ)erۧn!.ߘφ~XCb+/$26!c*28тISqRfad=`@[Ճ9$>YR֠ iy',?n_h}'(;^4J떧 VBYx.Q<*u8w`TŴBݏvF;j~' f!ojezN= Ɨ7uk@F&\S@:P?T t28I}FaY(cquDJiQd. S1i,G3+B9}%||!λNff])^DlX)>e(ъ19+S }ro[ BZGUWF ][6'a&{a*f=5؊^+i臼KPBýS?me RMedQ9Vr"֚ʱgYZ  7 VB /G# 4HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! f(]ˠ)jk2p O6LP=͵gl5f&Di5b^8th zb6E3kbOdlB/tL] G 3hf-&xӝB*Ib˅X$gD+%Ka=/wp1@;S9kT{&: )[d&OI"n[#_g<2ݧCرN1??Gʢ\lA | 8gb,UdOs"fm?Ȃ| 1[;gh,rT^hң($3P|m7ڛ<,5)R_R+czMt`{߰NEG Ո"̆GJYS)qE3L߰"EM`ѭsczUH2cCVp": f4 kJϾfCͲ ~k~G;Y\L^'gٝ2H~} $J {,rk"0f6[$.b*ò-kS+&E=' 8lFX@h`ou WWqT/_#/RM=tG]@9lCdA;WA6¬ BklӦsh|3 )#MQQ%C|.+*=lNPLkFRayv2]̛)\ݱ='#<@9d  xr\*!xXp/ƼUKC6*7b(egn7hPū/T/+@L 2 7T DSR<]a Q9/\yoD'hTFn.nlap:'M2zp@>lߍG.]zYհ42J?g+F8Me{aO+u)Xv6p0oY pzAzL]P﹗ E_M}NfLkqa+ʌGg=+v!4K7~ru,2pxetDJ`lj5Pڼv*2S ^ZgM1l[E/ jHAZ'K ئR< \C`!LL~> x^(4(̙-*hs, CGZX;A>.&+}rkV#!mS`-GeZc=פp.G˭oJ;7f4>L]L]ڮl-ߌ'>L`StAp#` bj=@>-AtBj5\ztwn5wݔ&0K5F(E&:,/Z`Ւ#y*W|YAX&ZorjᙩzsF!Gu(社 ImST8 oh^?PT\:˻04[$a+=vny,wQY!c S{jՙ\|;[(q!U%\~v~J{ukuKk!7Lfo5YLQ!ε9GįOc@G+fg(]m%{8NV 7N?}qbE_`e\O% c 3Dxȍ:%?n_;c` cirrA{.8\| 40]{#Ghjڀ[^RX8#[=xB7Zc%ǥ'蠳}UNnѕgՐ+LM.Q`v<1L &lLI0fZCgA/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/files~~/src/HOL/Proofs/Lambda/Commutation.thyH@/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id200F?/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages7zXZִF! A]·Iq n[:|&[z'jz1r]*q(8_`[o.f wHh\m2Fϡ.bC"zL:ݴh,.#BuGx l{e|DhV^r;:ڜC2gha  а.z~B_bwT蛟tikrAanq0U fIΞ3_fC|גw5Xjo@c| 5o<#WBB׹0Si(:t}Rկ'zlܣ0Kz"]'zDӌ,\ [: $܁柟' YDbj@lJ E]e|z?骻dDb_ UEǩY"]ٚ恰 ~¦[[ZNE|uw_mOx<K)e^MiJ8.j|P7)7/>Rujj~!8Xt]νkLBmx]eE';*q wg!Z)mq.ȼLixMZ//:KxP5BԧPh }(2O%}%i9*IOgfڈ1Ul fXA RDf#20D. t?V7φK0WBbZv؅%SYAQ9`4)2q@OL& =ZnmMظx'.]eQ׌#4soq70o P Tyy zrRSQgYZD/I>_`ɳz|dj#_N٘ (m6£_\4[ڱp%pKQ::)"My9g>FJSmNܓ`Y,-tbR+g?<]dE?=#oAUJ SB[6֯ Aapޅ;jŋ9!j@P#{^>5+_pnmIj1m*i {Uy1b/0u>}#zpi FM's#2ܵjkKUT>wTKa &Жmí [n@kv51ID尹W# bts^S4Ѷ;y=~o?*N:E@*"'Ba%' X?#^e6Xֳףww?U99MXj@<_ԃMi64Ϟ4$w ZU`wBOsl[R9 Y Zḙ>@/3eC(]vJ^>ムHtŵ®MtG،j+7T;X=z/20u΋;}Q 8Q0Z͂k,=`cWNiO4h(G=w1BX6b$O1~OчwkY/F82sd/?;_eش8 }FLr!÷uÙ\dz&$>=!M^ לG<ڀAo~$_ҷca~+BrkWJ퟽_'Y,= ڧb0ߺ8GҠe.٦˸"Cx_3?ژ1ЀIQO}^߄2j7DɴxBrW|`m`QI:f: $1^ݺ93+pM@>h+%}˘vx\kocwuj?JkŊ^?3R+?hߘDu4T*F&_:{#L7yvJ8M?^~; n W}.z4"*SGowVc3EPm%3ͮ"5,2:w_O<~L£h \m(L\rt˽EUR_"r7XX@~u +jO<*!bx XxA7 s Fp3 ?^0YD:MGhX*)T,R|o@0'ۼ?BZJU) N3Lď;C\{( Ȧsf1/PI!ǹ|(ƚQYu- ooOzwN 2MBgbá Tx+I *q߹<<س3tG͢<݄rcVvDzʯ4X?J>ư+;g1 ?xg6hpbGqNRc *NJU̇qb :,/GHgDq8acw" >`#ub ]_ig S=="Hgja&'*0Gr0\>ъwsҝ&kW!IUҕj;|nh\f,A(9S&|Pb~5>`} }+<zט 꼛ElKTX#]U@I˲nY](#ƃfN}@I1Ћܦ3Eߝ y={vP/ۈ%WFLJfL3~ -cG~*c6#菴2z3'7VWUx `~aMG33kv/t\ҫsZF=YYá2U)To ('W8b_XcxĖ7+^(xA+4+o9Q+^Ed p_mM,vLdpF-m끙ԥәy#w\LG,'/ǽZ0.NLn)XnR*d7×&K?-ǡ97͒W-I38/UM kK.C%l I3 vhGU X:6`h;Q 8~{KwY,f)w-m9&9J88pId[u?hN+mkj\r!iD5/uDe#%u Ã{7F,OA#b?JyLn't}qf|w/ɌлL_Ff d-pQM-Yqܲ!|vm5wcgվՉ;U9<15*T[ݾJa;2i[f4sy?Uhh#6RDxgL`U4~zW-b)aN'7kR&*2r. kzv)@6j-nةeV#3f+)tvCnR+ ~=uJ2(h[TW?ŷoZ\4VWJuhP5[~Tn`ߤI.jP9Bdf[6|);-̸8Sj=r0GY H9T~>*M*C!<'Li] q/q+[=45ߖdC|oi3Uh,Wlk4n@βn I*ab8r=+Iu݌ yĀL3x;BCB{*j{V!:3ĨRlF!:GRp Si` y`C 0"mAKO6@;e;KjLB! S!HPN;NdC+TR< b3mP*~lVČ|Gk%sQEa%zVA@IA V $&@#l0޳QrJL69Xu+)L/3S~` 0<,ydA+˾_Eؚ&3]ͧ=Zr ԉp_(۝rRvWP2%&D΅$n bн('I)8ܗڣ/qhe/^bAt/`>ɻɓwJ_xwq;FX p]E $!,3DD&Կ_׵]z p|9ˊ]PEKM=Eʲf?=U'pdr1#o]0\n3v=>~*,ԫ3Od _H*ەgv-atD o k`vP4Nh MMV5%%KtsȽrxKccԉ8aN&Gy%1e+RK@..ol6dEp, Rźi2#SXnUtncXњw"O]|іs3Ԯ8jbCnc5fFaIu8G 22S{d Fw3*qL'q^7`]n UheLp&eF$Ԭ=JdP1׬#?VDqWc5(t=B{j>2յ3&] &W vׇ+Kl;1Tՠ jAB$f4 oy'&!UćIm6"N],Q=HjSoFA7p%U6(v-H/3"@R65ƽ5afٍ6춙%m#7p8At /r,E. *`-'\V>D9ڊJXu4f4HKK&rZ[,0tܚ{C׷e %Ummv&cO1f_I8w ۥʜ&{Q5#&zj+#nC'1_)FCCUGʫoz*.+bC{a/H!_ql*>Ҍŋx.)?hs)Ld 4> 87 &M(/ϵ qW7h&N_Ye6D>{'QSdj_p:0"d!X5 ~A5_R4sdHd k0q ÖkӐ76*ks2`dJX,[:i5')&Xl GNc6Hؽ̸ȸ.xYdopTl}#H!0S$g MD@d^ -[HKϫ96>'.x˖[$:^S2].jFgҐx^zRODlu)Q3b6 TL~SN^?6c]:*:v )3d."/ژ2]u{O5F'fmns@ g7i5|wc\ @(G#%< 0^h$WwGRGDR"omYKIni-cy>o>UuO!s(LTq Q4&R,_n]xxgÌmFOj1c !eoлALltuDxA⼅?ޠn[ݳ_Xx5pn 雠26mtPMˢS rj. 3vK-i*:H59S!"c ?ܭ` NSd^bILw%Yh[(+}h$X07=pD1`p8Zy&ItD׏0 SVv4ko#‹fc#o%DCdg56X/']: '- hOpjU#:# ˌZX1DX=]><8 _D~RA s1z/ FIev]=+ZgNu ]FBNh(Z'TV; 7AfŮ MK}x ǝ5}1 ҒsI!7Okb'3m?\Ԓrl ]gLxmf)AuȮ\2m:4wYگ2ߗ;"7 fBzhv[~  9(Pp!A~Mb8]*Wf©->Й+B90*QgYZ   j*\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML"G/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b1Úk1{~8=uVoA*щz /HęRwlt4_ֺߛ) ܗP 8Tv@3y(L,Դ{wb ݎ g vǮ"]3"L[w!j 20OJ/fK'5oˋjsQm^6{ݝs*^++$8ž'fACjƔt*Cr\+9PmH;Z)Vkނ÷S`6-vYs& *Em^Z\IA- /K  cϐH#Je8Ƈ75ԳH"4wmǾSɖlx:gYZ-F /E# dHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS.^sd 噷oh$hsch\F紓vXѯ5IZd(qݓkٝ+EòJTa1!Dq r3:(83 c]3u"DF8y5&gBq#Ta% QY1PDC2ǨΓ> }рKʣ.oU!(ZD 0jRWs lgM)Mu/{mLbO Nyvؿ=`1keuU$fyjb 4nH$d)V8&cP|*2Pq,NmkYG2LjRmlˢ0Q3@ p z1e{ m_",+1Bd3:FH6vq\8ySD |wV3=D"^9~~(/2(!v'Lxp "E<}.r^O/u,Z8$ b mBHx+eSgC<ɞ|ejS B roC~CWdY ;< lK1?-XD\1XW ,5z`tUUPbʙ>0 [C%a^;?X,akCfqq[Bjytd+rM`i :VyvwbCw9qAV%,]qT=/`!\,9zL{ǽ#7L05W彮0 A;^܀$;ʴ2rw 31ړ1?_kօcڅDFY^gB;tLicpZ1F][OoTf4~fRloҭif#ych0r_MGbT^;IV$P|.{N0g ܧ;{Pl ̅^v`vEƟK%Cy'0X 7%=!ӋwsL9*+lIzH2ՒoK Q !c2p!p]r6 Az_x^Em¡k_*%ȋ &sB1|Y+ՋW81M\" eOqۨW,Ta0Gmʻ'\FeE/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 rq8H֨`v['}ZBZ%g% H-E̦™&ȵ;GAV&fM9}\@ NqׂJF9O`Z/ v a9hEx&NV=@f?}7r꒥R|HE3_8cC;+Կ+( 5V oWkǴvy( D~e㮎L@cxھPvw;u(_C!%Xգ@!)ݠt?sDH?\`vazзS)Hϡ\.ǭrv(3 0pB*팘+Ih4#էص..yJӚELb}(Ѵf"f id Vhޘ|!&Z4 ,;,+oz]MoDԨu]9"B31_lM)@GQ8V<0e&YCUzڼ*z#:KyTr1-@n:+lbtXIS#O1:˱E"ی,JTԛ]Ϥ_b!Dr--C[)~nz1C|w$3$I_e lfV@%K|b>"QgYZGB1nN >ۊ+#YU|1v#-;uF< bD+$.]1< $=P3t;4uZw'T !wrp>Dٿ@2Dm۩m;$J ?]57/N0oݪUǫGQ2~8L4 Ղr&kUI#.A0kų&67y6t }Tc |a yzϸ~kdV d"i#7lfVA*MpHau:Yx:/"bϰOvX92\($ \p"ƚJjbCaR_kh /YhlLQ+Cj@V-;t}C2߉-Oӯ9nSN[HG У(!%]n3EoJ9  ˨[2- 0 y|3"A۾r0eu'žwۃzU6%(kȤT2a:JD_=ԱǶ bUm3\rʁo?/x}57)% E-M($q4O@*_6\.NjMQO)/ s䁲 p{>c~Ԣ_/Øt/(p†P|hc[жռoJ<T%xk77οL'Yڿڤ-^»c/{Be&ٲ-p, ߥK1il듃T17?XnKP`vt๎Aݮ1(KB2%^|x#.Ļ> yPRu=*_8˸eX$w#ZW>xhG-6`_ySLPHdH}US8G!#`[1a4dG\acn" ycq;n;kUnfյiZ>e2Q+Qz7,N!M8"$ZDpZbCŤ-tde .IR=PNcλN >df4FQ  uͬ(7142: M % n1}p`#, zp+z3=j : ԗ4?af-򝙕!*#18@iDO;!&+E'Rlx^%صiSj"܈zoժ@ǝpxszw?  ǾhGZP.g$c !X 쏷bW) ol/{4|!'cX1 a; c!%`Ygh:]Xd2%aY6DZҎ"HdfS&iT{&W*_(JjL$ Ԋ!şt@X5p]\UPȵuq8 4~RCacDѮ.8{G",#|_PN eCYn(݂?Mi4ډ{@L]'/cX@Npˆjdie8ZuM'%z0-Tkv^@u] Ąw^'xpTѯ88!>I`S1_ur)nr|E< ʓeW3zALQe볛>tN[o*=@Dl323#('vCyFB ;3e}r!Q}HXz7_ñߎzAtT*Ʒ}5e9n UA S ms {jc+4GgUՍwPc6}79!FG:4H*% /,S!+aptaUkH  ݒ M:^n6m7(/N-Z0n9qgbpgM!' 4fCzav*9O;j&zLTAFKSٹ5rmp94,݋)'D/gA)J=?ٲ[ԵSOʪ!RuvI˧u^@!xeEK)2й4G6{y%'bfU^>ގX?_6UcV"x1n}zOx=qf.,+eoPYi7$[~D}S[+C`n4xtSOkhފU1I|i]_󎤄hҧs_cY꘳a4*bNʢ7㕮58٧ugxCQYN_*¿!ʊ8֐l sQ#VYx<;űjI`JmѻPӓsdyo^?l$ XoCo LrPn+:`|megNWFG7 #ȑ"_V7m'ɨ Itӑ2$?1ˑa`ϟ6aAc kn8%N LU{/tpO=p/\Pvnv`HOy$n E eb|"v- [vЬN%2HIJ(2܋ѐ/ȈjS nR^&B'`aNPP/_0~9qzL^~ʰ!qoI`ovQ8:xh<4Ya.J{һV1: Vk=dkcDp(hjZ Ys.FZ~jT`?5Gm=Yr| Pۚ/Ia:;X\u٠w;dT*֌zRnM~ W#aP-5o#æ c͆!=pLOLKuI>xS^I_l qI<2Ajfx W)#PgSGcv@ѫ`F׭Ի_}gZtPA#ש 3w)bq_*8.mvJg&pZ)̓t1;m+U``d6Y+ (#qD' ?kw [ջ\mӬ IS3C1;dp4?J4 s8]wߟ!d1K\z->6 W^̥YvIиwPt Bp` i(3r,υQ&-#?6D8E>(Үռf突f|!R[\(u%ap-3v.KYsghzMe0ˆ"7s t`04dz:c3#dZ}&aU?M2΍sc/Tj/0Z m#c˨T"ľ R/);3dQz5B*{#1A\t:b3Y&̺hiBs>,ߡ/W|o& :!6c(1o`+UwjЭ/vFZ~Q4"|۹ 2K%&;]2AvIT[sip v >.ʝv؋;t:V!Z~/MA.3J`ŭ rb ٙ ?O^ǨoegLͭaKqNhgkb5|E% RB(#z%뀓-."5h+I}ؖi$Bϐ1Btuk(2emDeUV-&9l@P/NȾuvƭZ#QvdsA"檤P^ ;`Z)Y*JMEz~ËniӚR++#C:NɭV8mYo?~ǚ"} i@cx/RQltr2zٳb]0IaHp` ! XB&P]VqDպq_x]nKw|yEF~m}/t!>8* EMk}< l "K dͨ}2[ؕ g Q1LPYqU:PmLEp͉ܿ@Q# ݎ14FQю I*6$tJZI^S? ^\oEW{dy֙Ӓ }I fڍٜRL7٤/<t Hrx|Gudk)[I?ˎ/DԴO!Z96{TԛUDeSKwx\nS|\!7ׁ{]!yi΄8">.l) We]iy=/lS3 AT;w6gXܓJJ8Is_ҕ}|"! Ϳ̚s%Sq|N1 "f,3NvWߏ H yºNq25WGjPs0`-Wpb QZ,ީL^6wJ$jdQ>9Zs\ԃ'$~!G?cN,^:z|\A권 "hx=-;yQ:*vpZC}b{.Fr- SY&oVJIn A%Owg@=,.gɁX_`8$R %( 2S*̿v&VfvUlRSݼLFCXEKC`NW8$j^c$ :jAњ0fFg۱  5GNfgм&? ̣UT%,N1 +Leut?p?ȉ` /e7╭BIw,3; 63~i  L.,Y M¹@,_w<)f[{]J`A^AHэLe-`y1RrDžwS̶iŃT9qRd:67&:R$5~AwAb]+q ;p q[`$,і1\3r'yfkNś5>J |5&l8 峏cr7n!Ͷa9FqB5(YQ5T"/H-]r.+Fmf$csM1Ejsȕl!ojwW0rƽ$Ãwʧ 3h=6'5[;]3qU2cǛ`y9? aW39: (bKCeN-MUj{*yf߉ P6Axf^y_J.A~o6zw/OQJ^සMhqĝ0Q'A@qNh|%D6wpj?wC/PFgȺ2~qu1g3(vw&G:$b\ҿy4{[\k?n{Y R)T-e蔬1=Tm/x\do.ML83ΟD&)F  PGOf?Nvӎ@eNZνn86װ\Yc/_S?x%#m9|yΈ2 zw87j|cZ܃Vil|?^989=rS0{7 ;uu1wo,5ZOxc-NѶ4|W-j{Nߵz`[ce{'Yt:z WѨBzD罷IiFXsVP7zosd2eYD]-ޫXgy)E2G#׉Vf7Ƌ#`<φ<8 G(ӈa1@OEt䴖V|eމ6˪^H__͍p#r?ȗ zmץ^ޖ* 7w P v R_wF9&Z2ZjU̢"c zmU㶞V|N7M>\HYjx >-ctZsb&"dA.lKW?؉[1CY QǫU4r,!BI F7U]+]%+=9BDpB[E Mu{)Bn~AGzL{'Tg.fd{n]~8ug(@8F6'ב/=;m5g$˵#/)⥣~g"\k)kKږA;PL<>!Нr&Tz B^Y\c,vբߴ}9cLq;AeCg4qoqMc xaz@gBQf[cs !1LŬ$&'v]e Umk=AM x"ekIԗٖ/c?)1jelgO;K(δu,*'#( {ǴU%p}@Tc%jJOB_kQ̓=t\QbIϐ'B8˰(>e 9MWc 8VM$PA<5 q y>#2L5kYI?@"8F\̍e_,EmokĴ,AKGdEc'Wg]4Q5E@JY3>?I44Ukfjͱ0xIVjkÇYG"Tԓ^9RT&'0/dEJ\ʾzݤQ_dZ?L1M25ӵElt%;1T&r^Yzǡt;/]t{7/m<_Ů拯}'{ʞC%J+HDt`gƔOH8=t(uaI^32+?BYE[]/#;&"rs =fUߨZM= P+Qec(]YtJ0xp2Zt30{[o0,.A鏙?6ıv!uS19G;,}3j4{:5akD0.URf{{]{4[ŗfz>ytˎd *\NN$T@x=r*jZۗ@-3XsZS ZEi1onVȯ>G֔u-RO e;9fVُZwgZ)3hrHlG`+%fTy/Nvzyİ6)ROP9 `m: IޘUeRZ&vo*ڤDv7,Uj S71\uzOh ``W{ 7d-XྰKGa kq1ԌIr,YGrg^NaU{u0kl4\ mg1t]`:Qun{1yrԯR NxMoeNC#gq#{qA4 T9|H }\Ǟz_)b;1utde?kEHЙG;ɣvD?,jDVoTgws& @|$ZG^ۧE _(f[ A=7XLm';H".E_a܉hkSgyLStSo"aq$$DajTj-SP7p?3݁rw%>l.ȹۚ>ǧ8ila/tFNXU!4ډW~~nBǜdYiuqxL~eD~ }qx@)8]qaڟDmcI }m*ͯYԣ킾}lT[pO#E-1[L5=-@44Ö-W hϜNm($twPcLXwGb!CgBKeӟpY.+ͿT٧]KsڼnB_ ZŨ f|ܶwftDR/Q(W=:DҍI -j b 9I*I/!c=嘇WwB>"PmWMQ)b|6ݖzd5rLo2fIJݿB=v9 }AIÏ ,Y&͔ZA8*PpB+kroc@0[5ԎRbXTD{ Cv%zI~.23sB!NBh ;dh@Sf0W`8Yz_I1Ow%Ի&)I()/ A]O#a =*UZZ2}kEAU= o.H!d.^Xܷq`:yHg̅ BrmT'd5u=vDH{=:ӘZX#Mrja5D놾 q3x5ܺz=K=Y!Aw W6Z,DyP% /fKhm,ƱgYZvKyq4sNAaZ-^ NԴNTtkd1 F%xnmY"30湂6`l;m_Sc8e\Oԑ.\q'kMa}. 7_ +/[ *Qp?ST\NCpKcMrWj.tW~m+eVCOI"`4 9qeIG6^_<'0WNGN_FnoAG?fX81eQ+NƠ.僽.N goFڞqH6HSDvG/ `dZTi:ʮ3diq$[ctUžpfBLvZ]XxI|MZ2&u@[[<"oD{T|t$"Ap_R%g_KK<\1hV7hq 9b伵qe)G}c-Laَ+ qZO>{"{a{.PY/Bo$Nb< `v) 9Uќz#6y5àZü&(9]]-TR#t{zHE5%t2.dAqkρ۳[́0_J )h2](yJE5gBCV7,o 5@ཤ$R2xgOߓi_8 C}|#1e#H8tK%fO<3}d̾Q]T4]o 5{* rNC'G6[4v6K85Si߅,5D2m Zfd/H^Җ2m*O4bLZ&Tx\B *SC]o(lv* wŽE$5g|'w0QB/ 1Map_G2~bNbfŜKv1 TY~L2?4-o_J#A+;&L)5ĒTH~ >@X$ ?gDGK5⠖SJA6>p:;|o Rq2x3kCs yFmT6-Y"m|HT H_bW3?K2;<؎]_ΥH5O.<J5%>cxA4,?! 7I9_giО fH+A OfʙwFLȧUl7v@TOn*mbNO$Le2ER:SHfڎ yg>@? .QF.n |\v 0p6LVB$c{!G",CUn UZW t+sli3GOtR$gx+` i&~oiM)&A8b+5sc-1!2/NjAZUxv>,w Tii):+n7p?#Ծ L!Zٵ𣛗qM +mUu-:@fk3 1HE̳QV5 NW01g]+t7/`eyT2csLuXrs,i=dYi[- v$Oki'? #x6~_x..ku=H:E+vnb%}PyEqWhM:T|XybLp%jJk({{wB  k#p٦gsz~*)Z(DÜ/EtEX.{R=U {L=~uQ1OtrpkQOR;yeDm ĕ ggH|ʍYs5SWzI) 'ϒxBNtv{33A`m~(:~PY1Vp!V/@[kG_=D˫6@~[?ӡhh%m4 ^fxcl]~!;*'A Vj?D#M 3*n ֭$fR^_Zғ`O0.uv74FKY7œ|+D+_] J@YB{vE֢UԀLxʽj6V?%'_ޢ18qUI=@Qx_К3Uli$< EAVxhhaBǍyΣHhY,0Fw$fwRiˡ ,{Q5 z˂e[0^s{ ֑~!W&.Hݚ$hKǐx,wnb < Ev9oAۃ}z8Qip)yc kF/}Ƀ~8:QEjKaiPic(LOBGJϮȊj/0|'~6,&Ő3S_ {/9Y*̟lPzfwb@ daP }Uttvíks5syVx7/SgF>V>E1ɋ j l1|! $B͇Q߄I/mA *~13dl:ν qLx@>Z^RGhKcVaT%Xx}ŞGM|'bV 5*3{:1 9z;\s: DY3놓JҸ˰)ܪ-U4-n}<>}S1aғw2.~h{zd!kq50qʔCFfF`}/c $>aC!L 5*p]%Й>+ج}'L* &"ZuCxjOYpE#"n-i@&(G3G@MhEw=pz CӉ6 ϶G?ޝ"_ׂE?̺Nl"JzlG( zG-uP^վAɜѺGzr?WM{ɃU).8ӂ^3j 27wU ;vb!C@!*!WDHj5ݩz=ol6_0/uAc@~j+WgYZb62404f783d5b8aa074aca2b99c2c4f6fda1aff9a6fbef6a2193c181a33d1e950aa3f0abd88b68a5 921980a52b3165d04999e1d6089204875625adde