SQLite format 3@ H.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 ^^/vd< ]/ HOL-Proofs-Lambda:threads=6elapsed=98.992cpu=117.260gc=5.6127zXZִF! ]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߬ށ[:`Q:Pҋl1ku2񷔌J8nN儝xZ)TڪZ0W3ǿP-)YwBcZ Xo&,PZ!oDŸ*DݬarbZh2kD!֙L`wz53xu}D0m7f]EYWK0(",G4kjdz*tH&dy4Xw#;@>zA+}A?)}Ll{Hy^@gstX֚ ZT`Nݛr~`DgYZ7zXZִF! .]ŗXi%{4Lo^,ۨijsJ\9"U [~ю% nMjʽsHO1/YF'2B/ UܒDw2?DӻLkeo3 9hQ^7y RJ9J pnnaNC菃\`9}>B36y:.cr 1F_<29"z:R@0؝XjǨ8KlM}?1:=s0KB* ci% 5a nWliihcKٳ.mYWfGFN.URψo{%=Nw.sq=nS 14!X//[T$Sa(D#vz]پIZv[FS{hCr, ??4>kڎOb.2tVتuіp$e|8(nJY j)X 5ݝ~Jt[6NhKm)0pU\J;X >.jg杰4qغc3=`r$ǷdOu]4ȩNΩ 3DeԀ8 LR~eA>b}Nݶتȡt)g^dS--gb6ױvwei\*Z%>ZšDxq~JMs%Rs5bf˴ImZ|tJGۤ?|~+Aϼo9>Sd,^ $䷃ܛs|d^o(Aṯ#`l~r"{ULftrnȡט qoƜw4 W4j3ZGZZ`אل\>7QBf5,e}~ϮH0>:zqpf~ ~_+ω$,M&ID]gמ Bi$ gl3d yf'!_~xj-?doy/ǧ)e?K:jC29X)ިaI8q+t`bZ_33!:k+esS@ P࿂Y]t?آ̆@c tЩz{4*"Еm~V$*Py|y7.~-BKtFm&K2\_ `|/J 7Nu\FY-{;gHgOlr8+EOwmBPšVY׌s%~DfH / HOL-Proofs-LambdaDambdaHOL-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|[EAB;>69342100-,+%$!        = n6I } = y > i o + ZJ :O b# Z [L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3?/C'HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages2=/C#HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup1</C!HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files0B/C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id/</='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+=/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$C/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.texF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex T/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK/G= HOL-P<</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 ##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 , ,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+ra`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ޚvDEҤx{vx߰~Tdb?O!T'fȰawZC#YLkLGȊ"?D6kι`عD1"kHq v56{6g҉xlD}bԥ?@pxck(&V2/s_HvTuE1,o\D:2I".tǺ֦ׄe 4&12=o8ٷN8ּalxa7Dgy~evtƈ+_+;3Zb*:Em/=XS:JOBY6w4 rLq C<7 ۾ZAm!`r幮Ÿueē%"[>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 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מ)^ΦEUJ \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,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,t/E; \HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.tex7zXZִF! g]A-MՋhvG"uIBm5ȩwQAWtjJne .#z°ZvYosP{Jgmܜ#; Q͏1Sn\4"m F †<*^h!q)oW[ RTɢh0D+Je!m:dcV P;zQh-ǝUzX(F2?\+-8أlkkFJ Cl ܰTu@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ YKlQsێ0ӫW+)YMJVOz[X,}JCh|N`(1̚e{x*p5hhG5e7iU'n؋kmɸQS(Y;zN͟xZ-sTQjv>aB26@?5Jʋ\h3ϖa%vK3=eKZ¯ctĸ_"3Ju/˒t-nia4؅RqKqg6olTQr҆/][$(z. 쯁 7\^Є:iw5U/FRa{-.Gt̮U1lMKVeh|L/lv 44iC|lեpjo:tS"=_L;HN-f/q5bw$D(/DoϸX_9}4Q DMA?6[ߦ>lD~uçK>kvӺe +0obEqCynr9P}A]+78}.ӌ441 @h* c\4F٪etLn¡S#/&d(v_5"Sk>Dg5bX]ް2)w*WmR5/~nfrv Q^DBbU)K)QJstP\_6tX*̅.}^/WJ+шB~?͆%hA^ֱ7[pE'9XcE o~Ĩ~j+N.yW/6Pi~7$j^9N6'QָKn쑽_pk9Ǐų.ŗ]8\g Pe~zˉ<h~՟ m-DKP&`uslR^}j56FHbɮ2m?9N "?Т89;q_jZ$?7/Wr7AbaotAf=AXې`|` cWT60tfOfd ;A>_o[brz)v6)qU? M̰x $髃pۼĘAhlj>3NOyuaV{^_+T)$T}/}wj.}q爝 92W̧am:TWp&L@ Πuذu3PEhSv\ lm//YoH77,v^}L<hbktw'5͏ЎGt9q?aJd 2r-{ T.΢so${o2YöT)9) EhDLɮ~DlcvZ2 pT5@*>+cJ dUl g_iv GPfdotQ(@fC&ؕ2# k.'Bx<^02aiS鴭kٌ4M `"Tte՞4 ]wc ha|-~.@UW#7xYL}҈SEE{HDJ~3iz\JA kuT|2"-Kyh!PX2TS[uޔhʄG)@dn.Dz{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 ]] /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 SS* /OE 4HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex7zXZִF! t ]A-MՋhvG"uIBm5grwjOE"\8q89U3}/}e3Wң ˑS~ tr#|JxSD] - T9|LFs3gF5XuaD$N,?kR%p^U?ѻVɒcd>Rgz*+Jlz*Uh/- :L( SCi-- OkK&38&I;7]v"Ct#.c)I[Ö́=O 6AU,w=,`S#HQy?4@cv4=8&. k]:*֗ MbFjk+8ra(D ݰ-sJV&oi q6"aȍ1OO ( ɣڄxӖ ;"o~!XyyPAWth,ߵllC= R͜vhCԍ_c2Cs`|–NxʛZ\K3Jj{Is;]kqjD߫W*XxlP|3XLQЌp y};η\tP [(w֦@IH8l:@'R5'ڛT߻2tzőVq >=\<8 Dؽ~-͗A` ]ގF?.l:Bqn2@&iV "x%֓ra]evd@ 5^nqT&|+93:7VN/+ 7AnSVyK3 wT tؙ_I緻 vE I ]ʛ:D{ "EíUCֹףLS't﬛am)&7@`n|[#w2(IuY@1B/?["EgN\S;Do>w`b qQjU"l5$h7>-;@emzX u|.=@&2`CWի}SGN>)^r9BH?`A7şyĖc`$mw5{sy-7ya ][jGz?Vm߯ՇЏ<4]cSOiJp05[ra=e'!ԑ&69Q ki%Jz`"ߤsgL1~.-fj Lf v+em!i-Wy"yR:Mel\`&HĆƶJ-`ƌ դbj֝.OhҍR؂`eDk IDc{Ͷ:X %ioDkv5a]ODQhR%2$†?@}qI= Df:v4(Z3b Q9Ous};l/Km/Łwʻg>w7 なRfJ:FQx u'7Jbۭ }$,6DVп Lσ?!dqjdmI #Nsig۽G/TEIut .Sw@Lܸt~Q/[sb^( ap&P2+R)Q; ܉m |%̹ 9#9HR[T1J:Lkiؓ[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}{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 ==@ /=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ɖFgCd7ivzZ 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\HFǏž:vmz1Ѕ Ķ~4ηVNVy:R٩1v7WJhXzrkb(đϨF9J $XkHR ~| 2v7gP!m2 ΝOv8$ dQAFGpMcKn2 dP?'ݺ|ڨ8z -hM!W^_f2)my˽g)/=m+G Z:b>LycEʉ y1x5C l5,27VkҀ4_PsTvC_[9\EȣaS3߅f?bJqU2B{G0gGmЋ,yȽW%.E}8vB+A_*{˜yd-jE5zK'B=gxLwq9]a?,C mݎnB}v'HL&:&q|#Ū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\7c٦^S.|@c<1KZM3e+y $ݤ۫zj)u󳢈C9 {A ԭi}8$PCAlZ;$F 3*9e4dAp}]yVZdW""i L^(K}j&A1Yybje$e5 s? m#=ɬ.U}-ͺ"fTբ}ec9#9}['E \\u kyBz)/;]ϰݫ #J>ܫz.(6KA5^+ %xі"VxFJb٥dMW=#z"51X4;$"p" +ljh9O9J7 q˓"00VlG(?%٦ͨ>z#K_Ӝ>a^ߜ/,21#լ&dLl>eG)|*pJzM#<ܬd&^3mm\Zq_GN|̨kE\ 0)"m85; c"Sؔ#4N*d2<+ܑM # TY5o왠f3T) |$(9dz H"dK M#i9]ʫ7X|CkOyL/c#IL:ILB(=oIe5{ $Hw)@bxQbF `߀g?'35_@%&W=?k蕚YaSV0!3pKH:Z>ZM j.7f_=Q;pc/&=.nK+LkM ωt#N&wAnhx,5ݍR/6z Sb-`LyTǥ _LviX6SVUNg6^pu; ^'֠eZ ?WwQ̖G^@lidC]N8;m^66<c pHp{]a[LD!INRz)b ,ü$0JROCGtfo6wZ{aO`Č/K$OL%Z'^~bYmAcI? m/F,7ѦJz. (Lu Pi":ʍܐ**_;q,q.bYw0 2߁3s=Ћd#ؚȦB=NjׄIۘkWnN0pEOAȚ&|HA& k*X"AtRQ?@lݪKatѯeMKJL?/sY_oJ(ϥ§ݞ&}63\{|43i2??yAḡX$x; Ĝ-~Yc6+{.d@r bjNB'-!XS;,j:L=Ub[?B\lҾCP,cUq႟,1O닯$0CYY\^"ڥP]zYy5hog%w1ׄʚdqxҡ+Wmf [~L ξǿcVB~- Me7fWtɣZE;ۣ~wRf q8zb)L}''ҙ/1S*4UK{;cUEd]g+R:1<*;$aZBaw2j*/=)-> "? 8 b_<1oKol8-Zzr܂}{z;$y9acʢ< 0i <'7T4ӱ!޿R.(Y$ Geɨ!{鷩^c4Vx>@VW9scc4JE'r$JC,7~{8b (҅WVa[Kɘ;L.zƵfMFMrU^nyFZ:Hm$9d=8 Vks>JDH3Z eM+E+b&)]$ܻ+ [һ[9yLV3?' ]{~'L97`kWW9Y`GAD 5q$_𫯳 ʕ_hqD *2ඡ۶eDhh)XXT{?"a(L+,h-P\&pmJ~4ϕOjL0/VHY8#KE퉙eh8!|I}B#KF-90p/Tb}dX */9@6_KBjV=9:P+Z+hSn}ڲfe$#=)@Iսom5;":]%+ꡕiԞtr]9Ӭd7-<" 4Ii|dW D) 9W[]8 oZ&{&L gK\n_BSr4^*#)=88<խyT\A';k_B Sv w&* ]<Ŀby:n9񀤍D ޡրD-a5M0!fTm2xI߶K΂ >c&=XVZb(0:r|~ zK`o k t~Ά&}q +iPM vݣw" EKp*2䔰>Rs25cqN-<`8(3=`dpd"ft8יMIc׌u&W$d9) %= z\tKb*C8 gf! $B~jsٯpFfv7"~LfSWD}[wCUvܶ~܎e{K,oɄ35(PODWlAP2(*lܢapoZnzƃ} O)kz(]+~f `śpd 4D}2GEI r\*9IJ]J3L,[e`= Fskwmff.b*HDBB5Ƕvau[aU; >؆U ^zo* d 2!x=L~Q :!5|^|b?.m{ݬlWjw+>oԓXRtğf9X;Lt"2!d>v(Zi3.x>֚l5yNC9eMf2ϩ=$,K U[ >oc? IfHKiį( 8ѭ[%ê?ʝSbwt-&H[ǰػyiЙ(Ki/ NʟƠ%D~]'DOm0H+mt9u$\Z}XECI* *վ5:k$y%2[9C8Y0-[- DD4"CbDLoG/dߍiDIޛWD Fp3F/O#*R¥9zba0CRS4͓EMWD5,kfѪF gpWvcv؁tjP7fJb+缩7%"`OL~#r`۞@0@vC:C6m'48_/  Wx>!>BaMjO|cDF h+R3bGpN$Dg/YY[VBʘCESX G_&8Z۪p{Xj[ 2zǩq%-]"F),S7GK9g (g@RQ|ʱ<ƻ37Cu*߿" !ElS`(c>f|F)'A 0ʣd*0Wd\ a]zlg{0s|եr+[zM:s DݥPX*|(.#ۥ% G0IFf3{X@=qf_V6-ج FuuGI%Y%ɿ  !<ZN`vB"-fbAP 72zCx`vPj#p?wXѝR;i+4,I}L=Lx#*ufھO+%AvBolG_p5zϿ᾵o, w#j:g ( iY7)\?_D|6@To{S5,N u^ρ$9"L] P4?1P#s%&c,XWťPPEJJY_r43s';Y|dwg;׺D#$ EQjSvxN9p%V]t@ߵ#,q=#XUJjq%v< :oBz†>օ)btnOxOQp-XS.t`%^LByb|\?آmBT~ߗ[gi׋V'sI nVf&Q@ĭ{0L]e#A+-ddt–\Q 7A_1!yB MjM`7/~U>F؇4sY5l90/PR_?>~B^$ %=ʍEU;בQȕEpFivLzҽV韢7,+ryYo6yѸF#l̅=ȴ d/-(Wo%Q38t8Ɖ3 hBV/osgs1{C1 jqGTerQ'6Sю\{LH:rImqkN;02x^DL1Ű1XK edl_u{]^--`vUX;ଛG,m60\.I$\ډbmJ{It|v b6ҡ8f/]1bi!s~DΖhwE_~O)F{zuλXY1Y]MY6tkk8jZ"nc4@*hy 8ݮ͈n`%bc_(WrTω`nqO [(mv{Oz`$5/!XN"4sIV7X@sn4qZ6)$!w03Zlr0/UDMz 7i_+ZG}2r*gQ<] Ϭxp+YfgmgED7m\FhQw:. S֦KbfTwйSBO*ep\\Y]y/Ke3ء=$`__qGUVxt 303KKfO@t3ZH> vC qgYZfe -q6_H;Vz"-1^B˥|q'f ɩqmR c#ձM߬KY?F@ @)@pBz1`5]?*oԑuo%Uukp(ǎcpp;WmƧ& Ѧ|xjF}2j{0}I\xW`ݞ3Zf;"{NPS,/6` 29ރr'f!@ABFhZ2P=P=z9? %l{gA@Eϙr̅ci> $Gw\pTRFfOե\!+TGwR 7/ JY){qުxɾ#|L11kt ~= %Hدuƕ 0A3~u=~ez/[q7FXxCpHe XKQL' [s*tΉAYPxf3"E^ uplqp AGhlQq|"fxZ77޺$&I2]gNɉ}^|>ʗ6bw;0ܴ%N=Jn;e=IMZp*N+f.M 薅 #|@MrD\* ɚ@weza"xp0 w-3bUAzp1"BP笍l1[xċ6kBE .'}s[{Þfk5P0m9YV0 &[obvڪ#<|0mӉ*T}{nŬ\P?+4xZ5Iy槱x;{9!xgh$Y^9*K{Ws 4Q=`(Wl44,LC3+]tTe;Xʝ+牅#N#tUlf{saP-w&^х4oٲ9,AIJ0BީW͢C}$CqDUd/Ϋ$=QaTqNYHP?lj_ GئdDWC1=Nʗŝ!JZDjb>/5ߏ|s&Ib/tv nW6 asOeY7`~ h`Nr6A"č{GOR}8/\#[v'$e`+V,I884T+T8>`y\DEؿ@IhVͻN k@*]f]0;]Cq/^G>M߉<~8{q[ǚCw+;GhR;"DBڻ G3bPJ5zY.H ^cgs.z4:@5\m}wE9׎53Q1tKM)/B?Nzii|36庶+RiG)VdX<a}<vo7FۥcXxi^> |mN~6S'wY{< ͽ_\0곏ps炓IRqy񲱛4A9߷4*sjX4M 'B4{Ae |źpR&t^GYdG'ݕq7@@m:#>{pa9eGR(z^0fMew[=^_=o§||^EZRAw1X8\Dh;d\C nЂH/ ɓ! ZUeVgfl~w!;K1HX&.(tqSk)OdݫcG/ltZ rJIP>=y-  >'n|x)=2wMn 6͌t$?Ae6cیi`}C5+(x5Ov.*9 F.kӴկ|gXdXEKgJ$}/N&g&Y>/M_qvR &qCbE_MpbUz jc O {# 3+ !XMq+4 ?$߸#Ԋ[̜eѣgNs+"퉲Ke| ɪ(ѱ(&:vārnumx.:DdR{mU0o6?x%>ͧެ# 1o7N>4],kIkݯvi") d }87fwjvIGZ~t3e=*? ^B3emX9#~8^.iRLʲyAVHl(LjPϙ~u0@'b' z+VOa8۸\a,zuIcd jM> ɨ3VDH%mR2[L3E/eЖNIyFfԋuSw%9\ 3}1q~>qDVюzF8;5zʜǼ~kb7j%a̪Qw:bmn-YJ"IFZ޷8?od1?ξO+~d:d:r-6Ă0";MCh7<8ק:RR pVu]xI?!j UȞyf+ը:]BC3J#^~%pNZtawNǴk8$&str:L[ Wҋ"AzsPD>+>i{>ڱE!? gQ~7^۽XeA@5l7i`P?cc`,))[;߶s?oŖwzPM 2uAC%(ɤKN.؁o D IVS1c[Fma2'3ԺufNUj1>Mt㗺޽nu([5b~:(~\ufƋybG:/5 ){1]}#7q\gL"|)/[LŧOo\;7`3 Ʈ~곳a7b+ǜ:ӣ \e`C, )TW","r2Ntw[~ѻ=Vm@u %es2^/|)DaCBĎnKR o)-0ogYZ w6wo/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'z5Zw$l$779'7oe$HTp D"D\.h'Kż:qzT|ܮ0p#b§T_rET~6EYRe`Bh(%-JlI͗dɷ&vDjBlF]yĪ8O'.] h{j?u$gyIbEøL?P,W5Dr8S' C[tkVE^>w4oAⵡm cV=!OⵝL^76^*f@?k|,rz_>H2$@ʋo/H .LSp/G7I*ٰ3ܸxM߿GWM"ja+CDAD`CbO|l tvLHp@a h6Mj'>@o>^-`raͱ1NO pl3s3$ODz9k|,_5/UkQJ**Vi#6.-x1Yn1fqHJ)*# oHE%[k0lov|7إ h;K&p?寜ۈsrNșBl!X{- ,ɼ${1)\[_1 Vsl`,qnI} *߇@?>4ΧVf3p\x>O$ 1,ؔcE7ZO1 XU藫 DZyP?V1D :cưj#GFM_.1P@s:bųU[ny%|>\\)NJ"^7KmPΨ*hyr쇁-S3O'NcP1ׅ.scS:P׭ւ6~;x"I@3v"ߒiˇOm/S>jTg f^ /jd('WKq|D*Xܰ+*r[8n $e [ poyo{6E[51 ?&k<LWZ[N!ݝJ^PfPهېHfFXeyN*0Ls3 .'|R@qMWTч`Y"Ll,I3 r "YFioB[yNvChe'cXUG"a /CI1ߖbZAGu(ChQ(Y $8|jLKL<<+ȓ3B, Z&蟥"*}w7Kz+8&b53 N͞Ӝ ]O”V񻄗1Z /3IS1Ma W^~ث&?%j3gB=􆃵NW!;exMmpƬOP[q!>wʸej;Q-~,kS+яY7`L[o@pvmT2%քۍm"k8VE fv~ b,r'ۀ-lA"Q*dF}%C?q%,5@Pjyv-<LoQa/Gakogx[IϲcNd 2küU1ᰰ=c20oH ܜge_³Kj`se,d(J 4 [i 옐IGx,ASͫrMa<6vZNW;:< ߂R_C8xZCt }vƖ+z!+=AbLyҁc2`qTg RO[Bsag-W~|L NECǝ̯n0E,b ]EC\asތu{S)!~;rgv`d 0jquaUuTUUR&є"&G}$*ՄX0*QUa 7?qEr=(u3uF= " -ձrA'tTB-* ڶX'dzg@\ƀ3 \¿?&U{lV/kҼXBgfIl֔(UҪɟ }E6h8t_(ʋ#7' lvR {<O9T"=Rއ7%R#h鈶wyq՝>8Is "R[_-Rl'{¬?E'HC[ bAFA*Mc$glA8G>x:,&6CTR3hP0/<' ^ ,N_eAoι>xzGV-HGoi'‘n\]ɒu’wr _@e>E$J:M& D߀ʵKx{ )WZUk7 TuY =U7Әawey;Wn$XVH2mho:u`XC0q+IBoK!A!̅L?w;_ Q b * 4+Pqtc*ER(MB@P<~y|f]kڰw)U6;%8Q1 \!]ߢW?rNQna^Hl5ZBAnN9Jp+<:J@ՔBp^b>tJz\e={w uI]H\f^EglFQbDjL )7sa:kmΫ04uϞʀL`,xF!4*K-&_ZR"0?z2aRigbMTlXy­&1,t!,@^sr)Fk"=YwӚWzH?b7vH)N hw+@|> ^j yf#孪5_WiEvUmFZ1$.8Q_۩Ƚ*Wb?sax%]fNGm6Pua'2 ހӻ..rȗI]*,09j ~;EY_t%Q)t`3kyˎMVIWk$cRA OKĪ TE%sZ),oLx2Y8&g~gMv}䖶5fV&"D>M[Aq%}'.s>Hݬҭn\①GzQ^l8[v( mY8+s=T,G;IJU+ἄGur ZhնPO5dwov?E+U pwb1P!^Q§ !Nl][oFG ,4\Ј߻~JPth'>L'+ZpEu#J'5u?֤*Fwg+ܐykewYB Hev÷Grx`_@ɂYłSvuҬ#=κώv&y._KhB]=BIVP~\~__׀>'v$R8-\c2[.9Khqe]1B>q0 " Ē=Ԙ_HBlum_f-BZ2Dl)d>5Aeځ`Wmw*gC+_]ٝfW}ɪ?^ja.?jsia_F` |w"~,̈sOrfO~<@.[p`SxF:Gz$5UU|!o}FUхk:)ywt{LgqlY:Je"z"il/\U(3<Ɇ)hd ܰ[{4Ch@~#Og &" S-I@!ۑ>PCCmϨ.1[\@RCB#IL9_ }Hס;.9ЏP '3k~q2U9:sMi"-I~ޘ7n.in.]^wB<}{CX FmMD=RxTfe 8#~*6u$a">2-jz #d|͏O86 Q72D R[I25#҆uePɢ}IQNbM~~3PCΕ[H=ED̋˘蘽\!Vpmǒżהn6 34zʻާj%{(,ky:v{m7FFLvLSJ2VNz9͌ݦ}X7ohЏ5'K4k(Gsa&5c]~GP/ٳG-CB1&1cOd4c^l^o4JaDUVbKʩE/R(ŕ4#tI3h={ktVBBw@avHA]Q]i$I A2eg&":[_$b76qe?"^K4 SR-N\&@Pn<7X HRCV>Ʃ$@r1ޛ^"ΐ-lQiTE,ZL@\`XE^v+S}EъER,/+{ -hON;bʛke)'V~Oڟ<ϧ75KdRikzKMmL f| Iw;d^BYxtĚZ-i±;ܚQR4nK*/Tֺb!#l/R?9bꦰ58Z [l(M)@ߕE)(]'D$켌(WTMRB{ύD^~Ü<3Vm{ =D(Z N}QEQ hvuAn4{P ZNcڐ`9] U^KRPtX@.4#YVٷ*n`ky;Gi8B`ABW|$):#foilRrC һ&l4TfkZZA~WCB@nb`gk7eQY'e $;`ND_dv C0gDȝҠC*Zʖ uߟNk7NžZ ~ "bGy @ ]?4Ʉ 0=gYZ 6* /O# THOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! A#]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS0i`-=.-yqNݬDecoz(ІIZ)Z¯Om|+eYYˉ,׮AN|6yW,9.n=xe},AgqA@Ʈ[;}r# |p .u~"mߤvPt5{!zT4Զb1\^Jx{X."dfƚۜW(C-T2}CXc* #-S)|Z 9bPPZ[Z@ojͳ-W9P`e,XXr`^q7 pjmuK]#V-2*E [4rPoH##~mK-e03-r.DxY⥕[ެKAW˟|mٗa\sS }d/k,&8nDN7y)o/NF0n7 ]8e983vdI^,CFuY%r6M3PbNt>nI\CIc751_m2 W$Qmd Pޅ諔fBF@NfL+).lh4'y4oArߛfPd\"Xt دDΔZ50YI=PUي˛t*\b@9%)xEZN鼕SP e߷tbdU m˦i+mA靇O{ n]QHjca،R[Z AӖMԺI*%~e6Ym"OpāKjlOQ 2 q;_Q?Uhъ tc90@ݖjC鹰(EcV +ly(fgރ06ˮoj /- eRi$'`e`Wgoܭu]{rC %3T v 4Y.42;)/Erp{uz{=T=@s%2-^*Hv%}k H.f (ч&mZQP3whqfc䇤FHT7_Wk^ݻS9A\v;4L1Br3~*+'#>J.\M1"bq!,p2yfEC](5(,:Z m@1]\NeCk%m1V\U;au@qKK|^OJ`]Cou.bwC@P^Ot#xwM_Nsn^E++i4D.W$gf6)E.M;YV|I7~JȏvbmȞ9 {|ɤOI6-?8C̺OņtY M}PD9(i\'%NnD#_rRP]RdǮ:\Ǐ6'1ЋV@Z&9ۅ{xNZ!7đ9l *NP!$Nj;Y1Ps@շEo5DdF[N .PUg;s%4pZ*twl^9( ގȞJ*=`T8/^ |(`r1\7}t@l'z֯Sjl+Sfs\ s5uXqTZQXIv衔ozBs1O#=qܾ6hSl"G_j_H:jqLqi6VS~Rm#ܼMx&lan>P@N#Q 4x990s8fN׵A \6!0@?{ۍeLbh}y, oLCpI 7QvHu< pZUo:)`I:X`qM,áBIC!ZS#@O m '5_/oh ?ajI&nJAsd L9A 3N /vRgo+ZNs3Ykێ M 0]sֆb t[j#.ĖnNMItO9_FS% ND^=ΰu b/J1`,1(.[xITBOTK )11R;&`Z>hj)>?7u]D ׽ghޜŰš;3Ds NW[X&nԺ07Ks,WN=c >sF4ؤŕ0_M#MUeN'!N`N)u[fC5D !:h^yӯE6AS+m^UIw@8麩]]g'(2ٖD1DxCŠPbSA aF]dfeI>,֡(|~ȟy ^ D 1%alx%pwβ`ڪ>Yc+u3q6 <xۓ Ӵ *b6n(J fp q{0|JW=LDŽUNJDIK24u遻YAkrs:-(:^00nX\J2?TܔTaV O|K?9x2if dVn8{kB]4j9\J j%#Jjo= x(v>wDЊXn ~*wHК bǭMlŁ_q lpYAס̴ٓO ™*c)htt" ]KteҮ^Rre}ME顦 ґ,\UhK >uYT/[LG n`N"@L:qDv|tukڌ*J_XP ɦUZ} e l+/QhUhé/Nyq Wm՝wn*CYRpK6+pq ~|up&Ej^GLߢw锾'"Qg6s_#snqi`魠2̃X@=Mc9i&Z@uQ VNHq]V6Y sn"Vâ;-$JBDw7]4a*GBٶƔMKw+[t*k@؋@dxYuh ]F0MhnZfz XGg'_l_nk"#uq+aP3yifw56 k }|+jB.)?]&YYW+[{rMkzD)89&w/za[7'ߦQ9D|]$vroe%[a_MwӿH\âdxfAhou}.?~ˆoU^@BH_xt:=}tZ*v=o13؎_}Tr,q~В+P`= !$X\̶쀍X7]^Ժ*L (lz>qrmu)[9YRȆk 5^ݡ2R>kTɚMHwӓ^2\ǘp(DDX 墙 B@Q /oZFf؅+ #&dDZ6Z-Ơ!6?Ҏi %츯 ջFNq%,qN;1ez;TIPv _ӶON&s0 /7[Ft, ;,=ȮmDX~ Tަis-|+h.]; Ne|T B'4n*1v15hg$f+=\#o]%.ٮϦwQdo +LNJ; zxTLVXx:pӢirL&9u2 CќlN9f= r$D2(\a& M7?GH{t.#$;^6ZH-5X&f-l',7S1vO?FѧT$X N,DCu뿝aA DFBYa=؃u AP z.,.Mn"%~bD1S^z3'+W9jl<Gk2 vhn 15)hzMU>9&۽Pį!R:RW!&xrxH紋/My)l`³W;ouo S\ o3Qz.ҰpJS[e|< '"ŏ+_֎ ilVƫ+E,D1ae㌉0BO,/gZ" 83#t,L3^}$eY|_BIȷѿbR;\fVk _}u@gO ?CԾ y :IGZڏ6Q܆"zzrD f1((;s<I˥RŔCZJ_վӑcR[.33K61|Fͬ_`PWwgܾ;ԡ相~@CwPiJR(rQlR]-ɸ'cِx62m}8%U3mte=t. 넸XQ F ɁM'F`Í82J$vsP?Rґ;A2J-{]ẃ. PGVC!c->}%1X%7댈#匲7niP$;OOnQd@ѻǯG$+)0=DS08B=FZ4/ZPA~F>PY&^[M%epeɈ{sa `n㑅,rUʹ[/Ϲ9[ 3 Oǂ rtEgOWÌ'iV,ZjC ި.![Tl8}^}=aF.h ThR4buxR:YE[Zx 师o$J.+a(^VL-mmXWl[#q& lo&F_xUP=t|=F? 1W;8յ1~3x!eT/Ƌ5|S{]wsFޗÛ&>װ d\lψ&jJiZ:O;]i9h{> r CXom}L_Ta9x*DGKUhDBo'k4.d׍98u^ t(L<; `5wPQt?p_$Ui'}a ʣ {qd SjdS4f%ϦEBB:jfAMTP{t8b!}Ww8i~ILN Du8 (LcLE0E!{ J2ӽk3LGP@Mk]ﵰ#fΣg->i.L eΤ/*ˢX0Lfg60kv n0[1Y_634} ]ՌxZ& 1q F(Q5(}=- pws,&>WAɧ1ģd^IrmCwvǒP@c1>B[Ƹc{$1}0A"J 7LS>A"~Idv_Ķ k J.U~P4냡W.JnHZ 6,`IDo5c֨=Z\*d,=$]?+Xj% */Tf{IqhWNWH`5C׷nU+RM6t$j߁GESģ硞(/,#i$)=7^˾]ra i3^335zEUox.8).-@7i/.`v\~)Qż4r!TXgxO);>wͯX-y 3-alKe8wt&t5(rM;4d蕓ݔEO!w&)]?Hj!{}_+"Y)GvI2]~솪3aSw++F*qQĬԹ"..o7ZSѺ,6@gk0> _ kmpx7eR8:&jfR k& )dhk#];:g[OŮ .6eO4"J{>+263@DYRp$ubɡ#y uuW7'}SpU񁎀5@7:9z~dzיw3!0˛x 3c}̮Vт3Ўx=L'鞙g\;ȂqHXѤɣP(S5$vv 2~i\}[XxnNrdIAPO*XY =p59>J )Aj)IaL [1Q1QIȢB &KK.!>#XE迊ct.G|qz>GR9x/-3m$?ҏ$j82Mk/Q]c+\cܼ7|~"m[y;~a(:q?6?)@t S梈ﬖ+*? "{JrOլ&rХNrp Z5SR =8Z7ǸJZI6wq\˙$@=}LOԷa4[+Rt@'ôD<\_ctu%ٰ;~?2sdv$؀S~UCG_-$O9hdkI{xvMw b1TaW.4%;cp|^:w=8E4[}m6o9? -M6Mpq|S3rXZ7)]i@E G KWJ/j)Jk, a$$srܩ;v4y|ڀRKn[":|[g3F/i,Ni\׉߇vs Wv@~fIIڍY)·? !/c^oc,,o7B,a@BLjՓ+HP"n8sN2 |!Nmz3GNKeG#0VgsLu(/7px/rPJnhzJ6H:;F60f#YWIӁCo4p8Ik#h..ߡ %T"g|o rIE#VwJp97C.\w1s>fy2$Ntn˳%S,vgKM! zSnf$yLr 'KYM GͳZd9͹ JˆEh[=!aj|$x}W@96ulǥ@&_y̼fqòu+XudGVظܔs{w y-?t#] \^:r^NQɤ(]pKo7Yc# ߏL;ҩe޳G4olcRk!/բB[Kȧ HXk&Ga&;CT@?F-CRM72 3ӲNa`nt/}bb6ߙ#7מC>GJCkwB>{D]}НGndЩ ĀP$J>gL;dRG^.LwCQ6T$0ƂU=`NHG6{&pl6Dқ nlMySY6A,L׺#rk:B!l &PFH6cQ} OE1 l 0 0nn>s0')<]ӮSjn󉝴Zt5ꓢt) g7*beRnޯi'8xu2~h@,+ }&- F8n懇GXA ^JoR5CŒ' 8F)?gk -=ZȵV!az#R$ڂ: R¡ScɈ Hr=Z$9hVȕ08.{@Wnx~ pd輝F *% -T~uZFǏ^ F賬 !Yd~)Vb'*0?wۙ0} (V}-6o;̓ofl41<ϸȧ:Gr7B0|pBrDIS=^j+YbIxi,]LY}( n=a?Ϳ ,o<՗oTH"h6xfƈ|${[gF؜8w Mt6zf@P΀ZIo z%*d BpZƋ%JZm1D"RzjU;7dA+ݤ;}'JZyX5M>:ƾm գW7~%z T8K4rhQL"D7wdUf'-n{QfأudRyAp>ZQ#5J4W$7K=}_9lI}TE)ul Bauo+6si)nMڹo&kBj8X$K!A*|<2̝NE3u0:*9.Yۂ>gy7=.JzU"0pL WJ+++~ N78܊ħѬ"R  aZ㮁瀵r3dL-F(b_ctZ=P$'*|ׄ=J;,ZMټ`20_6&%ыZ )l>O6uQel81$+J+,._uNJ;ƫ`Ȑ +5rwmJX#?b/>i)0/.nrAtǢA m]?-u˦jx=˙eNo~8i)X?u_rUVHddȾdi8*I=VK ;C[ppzc,))MF](.;VrL%m10ai+7[' j/dܕ2TxkLf49a@nD}aǖ˔N^ɧt&u%9e_tK¥* PZRPc 9q8Pdq c_?W1pmǜ1LzA[Ӛ)8\Qj$~ i6@`M;3G,x饺U2XFgrI6KHX=PMGp V5Z}玌!2ɹ~ޏ FBvT(XS- wF9(f$nV-EkV{޼Cf+ѱ{YH{ 3/vȼ֋fMpSa<1#+ߟ:Ɯa)}w m',mlevi䀆|rC+sI^!3cLhqP0%w\+$KaW}ȥ鶦Dtc ͳ@i1@9SL_H70-+M+8:dlQrmRj OriLJt~멪&Q yuύ6ڽ42?N$k-gJtkI!R]vmMUdLsl/Cd"Ez6C3"Z7-])|d Am70)&%0SoZe@alX`KJęZKtcVpdZJS}V%_`zHy2ޮrۤ$̇k`;TA$9;&Ezjnm"IB/lY]&QfsSԲ%S(sYXƽ3u@|g]%4$Ay[>pGA_bI_Hd9TjAa3Zx-J`IsO92fİ_nӎ{ S֋'A4W@yjB_:(ZޱSy4YM@rLMvod?etJSŰ%܏8V)O Fl7pJfpjeL?@|hlSl>td*an$zIt+C,l">U)KǤZ'ͧ0'>Q+-_`A146e0)m/GaaZy:Fn0c8)]+.**@W?'0rCikz=Ԗ\ x͚#jMH1Mt^4S)yryo Ɗ3H=HOLg]q%(ūZe{ʞ.aye*I],eacZG>񎌔"!q F&-|U3qlh y[Q=1›K7ֈPPHIT'}B:TJ&|զfxczș{ ,Pl~EsL^m+G@R|S0F=BAC rUh ^ =+͇"DOe=*$h@H\xNK@D<ז^;Y$ޣMS:~ӹfD08f!&rjV;fcE)b=`M/Γ59fA]AG}2dQp%>!,֛L:4Mji>_~'rV 8 <=TnGEz,8яH:FT(izEúeG?9KR1ْ.sy2s&]֓8ޚ&ٓncQ*It¼(QAcM9 !I ?]^նz =+#(3T .b{GFiņV;']Ӳ˘7/4%ɕA=rƦnmJvs NَVfh$0 4T*U =)uwNo!XϊTliW>GdDzx9YKC{TʌyH2;|s#wcT0F"xgj?HĨ$Xi$wI%5ql* hm)]l!bML=#]ES%FUpE1[-t b(9(|7o37?kf]ExyLJ+"rV G}xg&J-]T jVtNˆ6ϲ ٹ|:WNj'/ջQyXH~ʡ QvV҅bfxGY[<جβpj: sjjpE2p/ e,ؓWX4 7̌7rz$ͫ`<7Ml=0mh:Dl7) s1h ·H7T`H: dJn9֊U9Qnfb\>~[Qh6< ֣ ţl@aqM1z„ I6M>A\,${%~xTu}sY}4Vdf!r82E{g粥Ք2f.}gdh8`5BH`*~B94pt>CqDG՚TYV , R} JHC^f~;X|MP\㦃w0>m(UP|<%ue&o< o=jPl|ҷ>Y?}Hf\R6n9~33-(#IK!xY *3T?IW:TZq^4bs3E>C6 s6W( 32q Q,?FvА]L 7 #7Ư@ X*|ҍaͰu !.7^/sQ/% 8J./1AP2Vm=W'gEL @޸aav/xX;QW1l㛔h 5/ĹSFНe'`0zz#oVL) ZcG{dCR{FHf\:TdGqyynUjz絘ء8BfzSSx'm,oUg,Bj>pݣ;FVpi|O8 \2%Ć\Y _.؟I jH 2_qـU`i@cL\qD(`G]nj{Fةu*ibG: *VK +Xq7C$?L&uGE8VMwk- čP/p,1ă?C E9 7$<&ʗ}1Iб]`O06oPAi!9񈍝-L欺Ql@qtF{uBRǤER#GA_$SA=f )g1#!.oqiV+Xy\w,\@Ĕ뒣cmV{Ǟh5Ql^.3 !@ HNӌ9ӴYAG8kRV-gH0uwq`.^;ѕ,SgKǃ<ٞx&;,%8 ^6>*FѱgYZ  j V! /A# 4HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! b]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E e<~m{tW jr#LNƩHp9ˎ|\Z7X[ 97G@)P6vy6Sh'FLOt?e˒/ST0RzoOh D%ե8 y›>ލWǔU|sBTs. (wa m aQN#v9$ZV8h,m8-U1)DKNmدSJyZԩBZp!H ,4扚 n߼^Pluxz4x;G$Xu԰zUi_}:* @-A i>{StC:<%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'mpt ~R& )aI}:",|ǭtӺ^C-MTEpG9'SG B{tmwГUB=s8:uh1T.cVey_*d*Y@eؓڏ%'[v?C-xJ'yOiP hY##ef|Wvv{3`H/JH'eV|Oں|HzN]=J 瑝x P !FRc]VTĮ?nTtmnQs]>ۥ2bbR__ReHÄR,N|Ʀ҈0J b/]K!YءCFlOUNPjV째sQЧ<2mY+- 9Ћ7Y)5F אb/ 8ks -Js[itEqU L+0bԬpW.E6r)B Rn]!\MRXKo\]/S<&֜;Pټ2\3řHSSVgSW(4Ц@#꟥}ّB7I58Z-+T!p'giˬv,&f7hmZDhTJVg>Om c7%7-ã'fZ[Sst5ӫۻ$"Fՙp셎t1iC D{E+rbO:τt3W/-U[K}^cgDd=з5D:h$mQ(_x 0fuJF1=t(E!ַ.$ȆTsx ] $@&;k֗ F#dPލ'ۊ/l F0Rr۫ݿQmELUbؙDgֻc*vEw̲)4]ɑ.:R*aq;]rȚa-;j(,bD @E/R#tT"r TٟEF8P-.aµ^?ցw Ϲ-t>ow*".^'v)XD5PmJ#.kL k$Gmgz?ID{pamrbPAu`VX+#Ƴhto8zն|ؖ@p溑N갠):F"ê2كd#)#毼3[܉;.[VR'ݲG){+Y/Xk ޓ>|`:B>y(!Oγe%h1wilDr+A<ڴ{L ιWbQPtdrdBn`N҅!~K81˧${缋=լmО\|D$X0x_$ Bu-)ֲzȳIs )ΙADDSCXW1t0"hD#eDOLj*5 '7eyt\z[:!sxT"E/Jwu}p@L.x$lz[oV~ӁxFgMf\fW.q1<'_v O2T;-sKWK,lOKH6kr2}vʀ&[xLZ 12 vU"/k431wSF5?O̚n_p8lG٣pe QoT(&xWà+_rj? Vdsn<Ӑ7PY@RݼQ*LP^[cdXȱćRTUläB]M('Q! hʆr/ew q&wb_m?v|m足l̜=tMG+<B\԰ HT3_&3([|MڣL#yoY~nĠQ/CKjh{3|H 4])K7b栖h̃ Ruhij5{fOmO,)s6Ǿ=p)FvqZR!AA= {aZ ܏c{]h3r07']Q]UQ jW`mWiXF.[3Y{ˡd,H`QCxFNӭ;砕2K6_I.HQS;Ӻ傗IRKC! &kHy9ᵜTP77*Nʏ!)qPӃ=dK6l⋟ ڄ&P@]Yx)-&Xʫ5<)wZkc7 z)䶩e1LQr_?ێFAf/ |(-h7 &~ qa ܑQSU !s}wM_HWDj͜l'2lǜQRyᥫ#g\~+u!}v}h"_/@\|_`w09}Xt L|"IoN|O\Ń%;L D1fDȂ_'7n+ ?m垭'k sW>3%6R_0K'U}}ǣ)*F4G/T>eow^_<4s4/l\3;uD$WLY~5 yz: Kϔ^R@OV̯8O+zI|p] bqϦ;򊜡9vӫ"&Z],/CW>,'PWk3$#į~_Փ/qn᳟w$,CL4 NGJiNCV/)UIJ~RPV!,W>AnDIfll/]'?CaD:3c|l6HV2=^ XSt#V6x|s Gm.ObPI)X6]~?bV/9&!8bpqM ,vϪ=b~ zn7#Qk=[ZztM0eK AQOW?Pp/y;LGmæH֕$Ul)+T 51NvŗJhIƔ"w+=V;RN/ ΂.3-e-f{Ѽ]R ʣ^!+ق=6K:x?a CNP53./.M}]z^Gg;< INβP 2.@陥L,g"|'(v) MhY_fR4]^ӚYѬ7\_0^8 =U`\%Z?2 %Ns[Ypcxn 5i*$rmZDцIIVL?nI|DTqO74qL5$qV :7*5jId7Q1f 0J[WHî^qnqt95HO ;Dmf-]a$VpWNߋ3@]EVg\+v]Z %)*# (]6Av9o"R%tj)sHPtϋ/`ƕ="2P 7{-<rJ]P$$J#1Ι-5]D^pi80e`zj |Èz^xJrRnqE3N Oa.be¾j<dxb R cfC݂{n ⠇M&-g NRخAr&Yfi6 t{ yWGl(@ Gԩ5צI}%^VeWm%K醌s%6u7jJ/r`Nr0i'1. <˷E#Z?޶L (rAh%by nأV6:/H}cviN}Atpw9121Gl+VѴ:TºӳI=.Zo!-ʐi Eˣ;p;S=z5s41-M!{'[3C lc{73zV*tѫ+K {[Ύ jk/Vm|dW 0Ku`D%߄ Lt) 8'4×!"ϹNd-76PIgF/oGSrV:݌~3\glMFP^ aUb{pc2vmPzTn9m ޭ(0+k[$U!? zgw?_nj"W%|z S<2=*)˯|([$}QqepsDGlnculԫ y#ےYX_Bҿ:lP ?k1G0UFp\H>) ?W~ű]#|> Sxn%(Rcm::e5瀁 Nr/Em7#%H1%j]P@K~ծ(>ЕϚ pf˞^T1!uhUr7WWXƇ/L| gXy/f7&C^oF .SME0zEy~.Hηn3hD OMsaIdJ [vHR$/0΢E?>D"KQk?;7oe' f{qòҡ3˞\ɉ ӇDr\R-Y"VYV~_ ƞ#w5YCHnG%:-TttK}iAɪXi;<mB߾'<Ͷ9'.#Cru GE\C$Ж tt}/&啛'`ARChw8y]ejNrN.3:{ە&BoFQ4S/!ОϜ.ƴ}mQ,_t}!O}YGQ|>pG'H?Gv{UFTerXag< @~D@q^E_󳏲 isKM3;ۺH^INBxn-ATnMJ_9yd0\T #N;HM{2 f<\e_̖RzW"?agk`fC} m$y-RkT}U[/B~`(Z",l+޲Wdw > C8&լ umj{JX̷ܣgJMRRhPǏl)GhBYGM~Q<2ddb,qJڇ|"u%X& og2ӉԍXx$^%JU4S .QAy_K2NS>Tg=wPpG\0+ + OVş |Je^'밊IW.-loCn0|&G98.|ҍ|Bh|!g1YpMD1x{/0 k)qs':^̴\"Ocb]Ǚ"1+=A` ?B@ט>'E{+*5/JƟ9:UVU v/ W jxҺ X jӅX]+AvRwK4-uHV-`a@M9/<4MR}lUZ0F6'ϞZyɀBͼ1eF/_}bHpn,$De M07.0kÜIgq2,&B)_֛ Pp"T4pǴḁ+O0p 1FLI$c~:ώ PC[o}A&ǔjZyyE| < 28le=NI[d*l(GO=_~$r#J׶dL֭O٤Z*-?B|LQ"v",lhxveўۚ:QCEyZn!?f> bRwB9i-1Kf:B[0"`M\hkn1C&M[FqI5sI5JT>^1D.1Ν|?M307C g]\Sɴܴ,@+SxN\s(?iiE J fXmi$6ɴO;ͽZ僎(V0ďAHbJKʟUƻb4`Ab8cJ@H'm2eg\9Z}!TRwlOoID;BNrzB<7O&47 %q,JY򉆯txTogi[#e{U@).@ej%>9PAo" ln A(VQ36R\3@4}i*7d肱  VL.J ,V2@CЙ7(ByEXP6(W9允h!9gTp}B wDqh1^I eʖpTx)r:)7@400:NpS/rO*Q|E*O ~,"GDĂg4GQJ̎(Nj6eb.Gp`f*A|cu-9o+ bi 9FG);D(=1 Rc^'x|Aʹ qWVޫgjt5;< a?{Fv \S.:/ 9x!֧t5 rSix%:i5'>c.'3XT~%$*UcۃeD pP@/ LfKuLhŠ C4'Y0ou(nmƫQ#t Z\SAev-ʥN#^ne,?۰4Kk\W$*Z G p dФ۔EuL+!# ;(~0+ rܧgp*(aZD펌NeaPWttk;q=NxƜʗz!IBeˉ9Z8b^i n<}uGbHhԇnXB5 =XP\ [[jGj&&QxP-B҄ }k"BSI2;a쁊J MRn!XxEŸD>V.8ه]Bzb28b+2iCSoAon )X :eCV{ޒn֫JKYy"TF@[0q*#R.m؆ Q3;%ź!Bur )h.,yVZq€PGmvӶ _s0ec]-L[.S' (,G? _id3U/ c!`G~6g0rǚCYY0ʎ%YHT|͈kno y.V`y'};ŊAvg<+aI`η Y-*Յ#7/!ÐaʯwuR[BڥJel tv{_URh/xtN ;uߺQS\FxQTm(_TERIXkg0 ?ϡ@Rɱ"~!f/VZ]:H}*1;}6"(!9f/Z,V5?8!r v3UU&y/tZcڶdM |Ez;][[/{Ƿ͹wPU{ct&cybLD]POO-۵O2pMr @nmZ_{/sјy\)5tŁ#t4EߩYDm%MA af pV]@91_~t*[KK9dPKRCñ<*Q 2m{dՏln*ɗsqSs!#xi( e88UF(['6IV'lAW+f|@߯&}]wu/i"?ya-XFӵ?>ޣOb-b+Pzȅ02jгA 1|YKBl0I'2TW~܇CFppyT:lCpd1*I7FG ,\ڛ #f SMy& 坃pɢ9-/o=,rtճcW}b+-塧'B59(OV%j>L%yc6k!.o.8-{Cv~$ArMv`1ri4+T/0P.l}֓ns8#֝t|}IQZw{r^U$>p0\+MCcZ4H` (᝗ֳdNaTPggQCt z-51=sHڊ9pbL8zo{JW{GzРإh'E>N [,I"HZ h]k\&J ؏.Xs.cKM%^EZ_U=a>uM&,WͰLy| +u jO>; 2mhhJYUoSX`]RBql4T4LJqBKICN̨T]\ #Zwu~.- Or+oCfdHKk5!޷xrwFs, jaXC_QP^ pUF,I3*O+m@2I?ѬpƓk}mN.k\&\A"gń0Qʁ 9ӗ-^Pb`b$lK۔B0=yKc0Cԟㄵ[Nʃ -e#*8YÑMKc iB~uK%ENi)(Vs}4̲EItuÁD0[dA ahS嘡u,|]:MLfE)^HtT[[#_ws!+ʉ(A(pHFt?]WP;bŁA iX'+]d1["ƻi{r]b?txY*⃱+MyE\˾{[KdWb C5  x} ,}<~ƅўμsonJ/VELIՕC؈7-KTt>j9?9'pxdIGCW {s,35?-~Fc"!+>-z3)E~~m%'@K8\I+E@E)o]'dcc.>F/.|^KnO %'#xYBO5)ݨf[']/PT c(VOfK.BsROwgz裩zr&R2BJF{';'%N&2OPPlOJiwW/)HFl*2iT hKswH4PG/D\鏻4hn?~xFB= +:Шwߚ@T#31o+"2G."Sm!?U+uy+Ѝ8c\F4MJlk=pSXZi"_G 7:_mc-ּYXކ{dDNwTÅ3OcdP:ro|WtZe$jB|$bAՖ:7?=Zglsv3癸m1\n4p\U\YW(n; @{z7QHbPpP}W5cdaqKZV Iv~HU8)P|f?2x`QX箶J%azNq=G0ײSʏUrQৃowcj?+U=N&j h8)U5;3U[b ΋L$,vgEwk(;fe{{&usXצ BNUޖ0~boԦ1 <@ܷYP8+ \5T 5Qoh]n 4qq '؏2t;w/,ybb'ǃJ?<PKx+`0HE7c9N30T9aFJj7ZMt| ؆g8;7m^־&&eàdbY'q>XDb䡞 D e!*& ֖]WM>!"KFD[ozom(ʞI"<].]ٓհو "5PY~k0oh t_6ŝo*2Kզb h}\Ͱt6 g6#a'bK˟e6N?냝C#!s9l› ](N Y!d$uaP>or 񣸥X|x{;& %@6r,(UCrDY6\ DO gRZn0M@S}&09 Ɂ(,g`ס@8L}%*D?BKQ`/niU ^ԋ8~>E5 q֥{|Ysϸxc:׫Ԗ_JfV!lT^@HVMo^LI ϝXps>3W̵POL̔} ^64Ȧ풴B>{o{a Ql[#}k u` C[o«P0e{IbJ>N7KvW ]a~s;MZ)1i ?<4*f7ґ>εz}rēuk$_$)y`diT-1k(Vg,N[ĥW5ޔc0LJIOLigG+ 2mrQ^d4 ez+cbN@7W&*m1@UzFׯk7up5]ɏ>@Ǽ8EkReK(fK2 <ÔsL+ 㴡<"[ )X)B RVV1x4,lJd[j?.POc&7:ې(KHKTo}*\* đR>`hsnE.<[+lSMlTWJsm{/Ҫ3[|Sr>0ޓ#"2dBC tNo(%jZ#fԬ =2E` @ 5*Ht\gL8} i5-nJRk%F= ?щu1w9pUxRƅs=5^ŋH9i"pHCI M/9~{Β!qo|%fp0Qt@]ѬXsY"oj[[z%& g*kެWjNytɬiɚ2O1\7ԷTXjeGIrgEP\FʪgLPpV~9ZpH`O. ,a)\uQNxoBzIY?4LC%.>t vԩ(ĆK'ry-X S}w"E4e|I@f03"[@#gd`6 #J\3 yB=WD>{?Z5x-S 总&%I'ZfmG~_vMt/Vu3;`~TxY]#! PLôyD@~@>恅?0@1jJdp> K x&ܹ,,jY)x x԰hK NĈDM ^F.PKC (uݿ: dD L=̚dkSX(/,I/{lȱ_[J Nr,> uVa1fɷ'H_>d4&GApΦ956Y=LJҵik-Epk3Oj%ye%n><̤hX=HҨC"ϱ0 CZGEIJI&zN>MdMX8Էu\rZ?e9(vPC]4t0mb#" SCe:&ىőF;Wevׁ%.A-Gf^Hc_=%J 5x*zXN803h-VyTSe2xB}Uµ.^hZ W4!]2u=bЧ8b%uye6 u,z`V >5W(9$!Bd9!󿍅AdUR`7csދKkA:]p&5 X{sCs.QbCoyf&9wx}1yVv]bqf]=u6)a\g5'g;:a|yYȢ/_Rn13Ɏ I.7l^ .rcm=Bz3 v0Z%Hv%w~@J1%VCʍ='0Q,u %.P.8o:)V>Mi8j 'O=}ew/SdJlOػ(R /3hYbÂ1"ڟ=hRi)^W̋w\ V 7{5ZOL<$OV@QNǫlFSVi(su-Thq,[sǍ)wy#Era;>#q"Yc/{w];͛FfQx}Wy96PhK)qϤ)Ek]u_/qشF[ú3N\l;:H@WCQyΛ |̚:]P.rK6]"(| jj `l$}$|ln#˾" *G4ƨ{UB}&5X܆ !b!ŁݢdssȻ(ݰ7}< Ë+;p[*i%HO1qeRǀ(a-ȭ1SG,ț/8Cz=5@Aѫ,c $^fOq0 y[҉]WvrhʖE U?бNKp1ipM%dLU܍H{yifȍ`ǬL/2BIG%kVaB /+m|`7z ;,InsJT;J2hzr+ 6&sv764_u杲[ݍQF^k379L7ubi%R&hyB.cKDn401dZ  %C,B}p(w;s/*e0W* o%pT>_mc9X(cfۑ_pkÜUXb\웄I~Mj%j؃<Msx&F;N{6蜒q9ˆž,eP4-;2K3wƯ u e gy#Lv\ŷ]Hh;2hA0XN?Sʕ}Z #'`5r\[/ 9R_׍Pmrjv9BWa)I0A 9=ktqӊSJT?`G34 {ۇ'Z)0TYk^0:IZBZ#85RaoF,QOᇿO!^,Mg7l 1(Ah("ɯbgn~ش;q4F>^T%~י@{GgI ސh_F= Vڿe%|.{pGXYڠ,=k NetUv̩݄. ~f^& 8\9rEEVŢ!(wP>(AT@oGcVZ>p''434!NFe͕h/ ݘҵ=}N _w)((U!g`\@%aZlո-=mf%B-fV+H)YF#fRQ 0`rtT1-1f*ÁPu~I6`RYb6"rU\NL,lD2 mƩTM=c eDt."ì> 9$o(7huaӝQ SQl oyvcHn/(S|깧YS.wŹ#>qJp/@vdچbKu;6_/EAB*zT`x8Iy)l!s?4X f7r r摋1ÃnKbfS9xZ10nperN1K|W5=j]]U>4Ү s'6DTre(`OIHV' =OlEZh#.a^^Ir([?1PJD9X}Ja8tutF41]K ~F񉜷P"2BgGk˙p7r~U68Ƌ`G+VMWK0rMM>{6)TfVjGWH`t41q ,Oo:Zv$T@i#`BfX҅yMz/C2gK$ݰĈ:G>>+E!PDHYON{\9H/Viݩ$vpjf=bT2DhN{mȼLPFL6ĪR,Z˧*0v^ ?kŧ}CPk,X_vD-7Z c4GqLZA5cH_#l: sMGxͨ``W mMvdv<}\^_WEJ#{76#u"1h[s-4!Ȳ3UE{"b*+I+PTJb?{2592&x,T y8kaJyzwm:Wb6t6#-5Nٙ"Nfj~b 3*;΍!_]ٵUh#^e; (V=}"j <֌TcB9R#|tl{q&9;493<\7 @21Kڟl 1Y m.rU;Bz!8f-~$cϱ12cmIH}…mF[V0׃T.4SM>Rp"s03 8:7 񼳻 w8x}w+b1bTRR-?+ (F3Z|u,yo-9",Z;}nYqyVf.w $,|Vް3.d}']X[~]3r@$O:)% EK67Թ.)cCZJƆ zwq}k k袕F,+kJ@] C:du?S︌P0㉋\V{5fg)<63ˮyAq2I4<Z :Yottk|TTǒĹ=ն}2G}A]Nt;  jRk8ImoB@dxۄBPJM/ӡXޞGoMA(/YJ}1D1xi}GEy  o/Dnfq ~Pa MlxqF|s=$/S Y{ S:ͩY~MK^Г5JW2H8~M^uW,4DU#hHzE<`mJw ә{+,WnT= jxy# 0+7ֲ-1Z?r"pk-W."J8a,ڭKgg>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*s+H_.ߎ"ieK `,RՍ=@Y.Zb-OUa"*5Gn#~M8O49>N1o2܌|1/ԮB|0j$<^Ƀ^Iy罧2| p[|n}Tgz 1ЫC5͍Kqߍ(SmN28Ƈ1H|nyj=qkZyq`F,{tF SEd$.a ey6y`jHG۔ c6WjR .ؙm.TLjGֆZ<JPz91e)9jl?(H%XT)W-sXy#Al[jtːNGvJh |ȩG ҋD/7bi X\E&!7UȚtS5 `ACT-" +!&S,g;|g]/ &ډc-QynښBĸ(8ů(Q֭f4Š^Rl #(d UHy~l<XaS QDk6-@ҋp' zs帹Y]:81ING5 W4*ɂ׀[4o ;uaЯ )íB%KREV7 5>~+X02r"TrD"+#0IW^^ ]NS!rwKÎ%O }zgB9T"}PsC2_QSKL~˞x$1m-VNBTf,C⩎l$ 4o_뽵FnT$iZG40i+jG 0cV<^WXBP69cʂq &KûI;CvCL22,xhXR NXW6?+:^i\ٯ:Gh/yS%~-Nl KO\ѕAõ^ qjK&=I_Zp)V >*mXٝ1y0j*!qv5tK-~=t!Y5XqrLQKR{GS{ZEfvnF.Jx(qI 1wo.TjH]opa^7Ά'lfPaҫ9]1Md?OQ oc$V{TPEY 6R^PF޿;| IjƙňAcb6Ե4\)k9;DǕgmrF1:h,$Uw B°xu"~ev%3Y 0Y ACٔSv+v4ݪo6vmE,|ғ.*su,U.{b\&r\ :N˟8/&&M5[VJ'nҰebpř>^c_K"؉~~1{[[&p-]J/Hnq"tv b=<eL.VM|_ŎAb)iVE?70aַ?[1ӌ1c ]>gKQ`tvK6 gkYd5׵Ptf(Z}pKv{ch~kZ{E>4~s^!z\~ ͔hN aX㙾kb{wtH "sHXfMY鲧HEga z@Lɤ_F.cf8V?_>0WR1S9)i=8L/I+},qIZeD -طKzrk=L@l3ln  +6z$.kG`BTfvA"Pb_lzK:6tZC2םهOky Y}i7\c O*:cy_/_է٣% 6QmG}T\o! z~)[X3Nx Z\&gYZ$z }8lߵ;wlYWh[)vRP"جyMa ڿ8r(cѺS%֍c"p_#T4p?Ui2_q@mKbeZKSh˯rIlH>n`Q*Xy)-qmk;cRn\\g_=igG" }c)ՠ5r풛2v-~[Omq|Uݝ}x?jI6)0ݗk"'kO l7A(OIxuhlolR Y "lE!ӛ 8zBROe<^v ''_bSCT[`B [ yGe[SSϛ^j7ѧ8Ԅ_߃h5n,{yCG~ rX[Wcn}ѥIP  tz,x+71DTi>vFtwTw~_B0,ҐfP F3.>O !R+Lctwr񍟴{xsSAla1ˡ2\K ־&<)c!k^:]"u _۔XH#hQG2{˽>lC a?$4V]bA/A~ \#t+Jb3#7N>jyQnEZ5>;BHdW!2&RyjC2[0(Kܺav'}r'LP;#;U_{BS2E2CzyH?>23)O/̢iNzs:(8O _ lj? nxzy%+g,ߙ5~vw{(N%BlَTT7J5󏓖SۧF{26q96Qw5f{@Z]Ą馄ҙ L2]I]xjLz1;̏Jk˴sD<Q~!sB3|WU\ 7X27$$z4VKuj&a^sj{t,Wճ|>?kǟ/1L~pzf"x`,xR_>Z?m0~)T(sjbEVyD3vZA>YF܇̜R퍰n:BїHC߰Ԇۗ3!% _a,s@!ۑAuɊ6;)yطV{oLv=X9j_’6 y_0mg}[kE\<+XW+4l(ﭮG" U(K4:qpn 1"W);QQ I" V43AKM`0G1(| v%Zl=PV7vA6kϡ^lvdngw _1o[8ï&L5%/Z•cb*}L_k}ë[aM2oa`IJQEQȣop.tp-0(QxNq_ghRZR{48O" 2)B~^Z[xOc7kPv hP09e[)4s,wYl6_SCP O㚮 k3t(wR*^_zQf @)SP*Y'@]yu"mqC!UWt~nw 'fG&zrR -\@@|$Uz4(Io  @&ʬF1{nd-#uT5-:<sq[߾cg|x=k~s#x&)mR(cP!A01swށ|.@(v9w6c؆+ځDmϣ$c2Xh2 -`n0 BM$E;ybT뱏4%#z2~NXed "56orNxLSST+z >6X XwoEf'!^fP:X}H*wъBe-ϋ:ሢ!pC^wІ_!E?uAUZL v$hͱX:8vdDRJ[kD@7$,夹X"|,8Tu$26N w6s 0ס(΂| q=%yU2[~"!!{N\@^P)9 ݣqG!tK#<*]7EHB'SS]|C7t$0Yw`K`beSŭ6Q.KY;%uw똀N1֊v<4GA{ 򤣿Ʉ>JY6u \ʜQOVYdqwwZWv81yqnJ8`Ay<$u* U0g]\ΚU?Ʈ`"*^n!,[(: IІ|7>DZr,)aj'P#K-}W$#yO $+:pV1yڵ9jcD. Bg)$[ P,?3VٛTI}'o;MAO-pn_+]?ew1snh+z ݲјe s&|gYZ   ?I],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208k*/C# dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u2k]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3"81 J^ . _o4]v J\zwt c呴fq\ޘ Uڟ3+N}f;'=xi@Wc.ʈiYtDZڎ7K^F6?w&~5O3bP^B Tz 3K@$$p01NX}Kv{knbnW)rppB62.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ЂOBUh^_ZLw2xI3wRUA7tWPX/t<]hَnVzAGxI4V,Y .CSfJcM``dj$ȷݎ&J_+Ɛ4YX2’j pwCZ$l$݃!lkh1-]0~L|mU$2@hsYUaVZh򗥋?u,]:.k9g6wIӸ;RBѢq7>OtDKXBy䍡 b0;W:MWS[TlOA>bGOQ A);1]wWB.ef괸a3镆CPi~fC\ab"nf } bjme,cJ3. =K1 bas[s,aAKc>nT&.}OKX$,IJJeȄsTad0־v ;J݇^! M%ؠ ԌNR~>A7Q/oI[QJoaaL,+c. ;-ӌ4 7$5¤LI'`*Zw/z3ռ,mi]5vI~B>A{blEx9 =h6V : ^Iaİ1IԳ[\שol|E9yQyWw)D,~5˝(?$ \rUAo"$o{\4'@gw4IIiۃ-p`}8vvP&e*i?[$ߩ>'88γX8})*^zm35Sq@4!)ěՠ8 b8G0eFǶkQ/e+"WK`ȕ  Xe&alr<`+ WԐiZET$2{/Z9(R.Wln :vK@Ӿ>ˉ\· sqFf6ItV!hr "!*<HyaoeϷoJ26&PCB؀f Z(I[%GLUfwSx")oz5$)^Upv(aç/9X5{ucL|3.aZrV3{ͅ(&V4˱)pu; Ҵ!=k܎jt o(4o92|h29v9t+8(Nڿ OuG楨M޷yp*Á20i@;?_9HpՍ<#mk"4g튉t |Z,㾤€l:?"0T/.Uٟ *#Mq/R1^,Wz`3jV#V oi:, ނ+'O2XqUInzq*? @-(lJn58Ka¡,ˆD=Ar3B,$qv^r!zVb][M^*;%Y ;pgx,psC_խ|z{b_j>s jXghX0O 1 aCCu K}Z7}A H3&6I[(3SNxg8{RrUts%_s[]|]2vT%Kd(Wݘ% )BX܃bM+JD2a%~.RMQE#J3l=u=/ wt#`:tdbjj2o88T6= |Ug,dZLԒSs,LIvy4]+3Kիdv=ѩk9h;,")#Z*1SPYSN.0Bmun",(о??'>΅ Wg<#WKlu0" gq^,Ӯ\d.(th;D#cSmִ=D#mmhT.ے1׏VbWRh5 6Ǝ/.iB@7PpH:=ˁS:FJo0W׵C2ϱ>Ө\.o1 tK+4$]O2;O'g7FàupVakXI;A̔fdô.'1ȻNIRwi8Lse*Ђ_9ᦰҊYe;i fN4fxfmX׺ 4B.|,]y]^եjhguRN:2T& g)>eX$mle+X~) AvgYZmڂਈ$E%ϙT(|!^op,ySy-~mHqGs^'ᤌ,m|¹ʛGO|(7JGZC UǙ6m̩"Ȝl:V!ߧ7W$JpěJMBx3>L=^>! b_SxR3[\,e_ ia2!4/>'xiBLlGcqva~>e܀ '64%N47HB޹]ӈ0pΧxa-bQPB',AMYT)`CM oCJ0FI6KJy^-8-P VglVe2 '̕_n(a23'0@[2OkZe=FS= AhJpA!j":C[WqB:$" [f=~#s J- ^ 5Ĥ1p ohRG.^x~JiթP(l]V\ܧ;>cI)jC-9ڏYL:XHT!oÙi{܀PgvÈU5XQŗcHDR¤QGA b̙<£D@$%CS"9J n~[HWHXAk7w6qY[{_eQFLFF+F%c`^%=PhE%XGj_z29 ޟF_׾g rl st9EB $Rp)ʬ)cω 1g"{v1 (ŭ4$kpg=}DzRҤ"DA4c'0Dس2ϸwQD-ArwHreJP6Li^h8f9r> ~ďMަZ8`Aݒi__f !GN!2Xv+)HBۄ'ii\\ YƸXD`O;Og5[;C"ǞQV{u an8y 6}Qzݾ3 x#8ص<.-fǤ &׋>iqb9 >;P ;g!M+ {@Ih;ϖҾ1}zˊ6B iDy-\bOmxdR:۝$vF:6߱ IȁuSlm8'0ig>ͳj΋;8z9!;'ālt7!|KN8N(r=B(w| =Xtc4pcΔ l5X[NtobLDI`(yKG.6WZ4ɺmmjX߇͏ks$sI$\i:5tʈ!E4Y7YO=xp dEOAmlXl@jGshZXK+!`/p ~YH<݊xM E/vyMSĥ S3ثc?4 h:wqt*)dS#0,+Փ^(-Nlo|5B;^eйikkBo@:֥Š Y3N 2ܲ`Fd4̓D%2qK6_RL3r;n[%hPs.e;7jkfG8|)[yZE OA^:(g⹒35Oښ%SJZ"K `4Yt# h,n0|*r ;ȴ~Wf{]aqG#<3%Z9v3avBhؙ.[AδkE~z“U_Gڤlz﫥v.48w> fٜcrZ"ajA8>:\;c~k[~L"_(U;!7ig%ѷ-BpXbx \6MAՄOF~Bb! BE~grׂUP73x "̑>䅾C6`ĆlU~@gB)Ąu1H]hPoӏ9qȦKa8/ qTF4`S넸oF4ⅼ(,}~@Ӯ_1u3<+B  : pxYE/y0tO4nxXyVIKi`SWEh^:D!!QT #Kx9/gAplmsaeX}7 ܡ"v㜐1?qn"Ahme:z>.VC78I:Rܰ H'?ux(n@GTO}1s4bVXn.נzyK6'Z5 vs$jyujl[* eɜS'6D%ȳ K Um%<C~ 5-'=cBA|$:נk TFQp}YL;t>@#Y={LLiaF HJY$]x^jt=|oơpm|mmGυE}aXr{e}pu* 9CGửD^WuSTS${G$)$שZ24}zz-벐u0lZ]|r)pQPACH'H\qbf{ٮjBSZPshR݅d z"}{Gg *=O玖BW{!#m9X:B"Ffq{B܇ 5Kⵃs91R$5?NA: WG)CTtGQ Y5'yS4pB<"0<IC6Rn+9rlπj%*$zN3ޒIm% 7U֕^,#[9BENL4?E5h2=3jOBU! " Fq0,C+(~)w۳刮hgARKVl4+fz@3&ښڲ ,8qP缣MEʠjv#c[: SܲiGXqA_Kt"X2c 1JcG;I,~MRb@˝;" H'V>/g9K[x]W|OZ&BkM񀮢qLH]w <+C5:!V+AOgYZ  T 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'^} n3G=+wc^O ݝ}f{~y}" m$ˍaGE "a:GZ7 i hתnLeB$n,b<2.ԻӴS =mWf.$ w |(qٳK?yq%;̜_{QjgO̴qKA7`()pɔJ{䑤V{ʶuq1e#]5ɻ/`W~WRK\}k=P#_/KNL},1~*dR;K ؝(\sO5ړI]Dl̓EGe5|},)Fgz[,xWg{C>w}Cl^0Y)+`ig_1S\̲7n~e-S -S{N|mԿCns`G^&^h5Q7I$Rk[q`RDǰA:5rm 6Z@3(JA !*og gYZd-/=# \HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! ee]ˠ)jk2p O6LP=͵gl5f&Di5b^8th.X .kN.; "%2ў3P),Sz!Z T K#MVbEsO.vdSA,b.ٹ G>^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$A$cig w!ѿ1]IlL{&3Gl+BmxW FukGY} P-M~B:`zidć ;za.7Zm {^PV/{{fl)2 ؐ`6$U[IJw6؝if2du*-,6 }dugJjKZ];lu9Y^*?]X6X ¡k9jmEu)qo2Cۖ0>on5q\fannHQ?( dztge "GDqy}J8.' Kr4^. qYN5 ^\^PKd[֚ L+%',m j cj^ ]5) 5J()LKI,WlЛ^bl@ F @:NtIGΌ@SlV;!$B[_dZM3{C |P\݌CM޿'p^/}`x-重xMm+TˤoQlzQ<*N/63yk1lbLg)$w DT^(7Lφl:|܍U̿~Dےޑɽt=A:vn詑N5dV<ϗ1|>gC/ bIy2:Ps}r/H[މkMN8k'0 [JRCI]$܉_3`IEOAshqcIi{zi2 e,yuP, `L1: tHB]ѹnU-ծ9ZO/aƎ_ÅvMpU6E zZ^)$ORY仄돆z\y(_mkjEzU^D\qV{G/`^ 3|m7$ UHZO!R2/-:rijAO$M ."Nm+:L32W_vTOGg] P"`8 8b| IYO`緂}6k`Eud74\QlE#_-;V=٣}lXAKb:Te$8efTRI~ʄ#9BTP]fKT` ;+Pz9,#7*$R @̱9 Q^;Ep !w~D3= ca5__7~׌em?}]KF9<ͽڢz qtDW&t߇uUtOD;3fXK[#5]{"Ji4]UK~3h4,mQpQvNϐzU|e홪TF &ޛZ(! :h dpnXisȪytzR>׾:|&/bmNy-ے]UX. j&?/Êmȓfd+ߕ)R|F, ƪs .`@g*W}'[+n\b^BNrG8KF$i,gC8TQlQP? k1y?t@-@ ATq{iPo!"N7#Eg|N )qhuEg|hQCO k֛܎` 7TWpg)۞sJQ+F(RM,wVGipQZяQJB ,j}೰(9ǬGE>ecm-$av W+8ɠ۳"BLTW!*W)SקH/,)Xi-A9mb_\Lp_A4Z íF: n0ݭ &P+@e?9&̯CgOWVƳ$;~,<^dO,ӿ =~PlFӲ S鳖,.Sż?N38##V+dL20Z7d|G,2PDrs ?YKxo7;yr譯5lL6];ܭ2>qd>ELƞaصi}TWݨx%'|Pjb.&,*<p+3ilQč '5&D0tr)1}??RIRz:HH!G!&s(nG8vH}ǖ2;Ou435#< LVN)hAD1Sj35 ᲇG[P!zұ) W6'F7GnaݍҒ/VKKpԾ$n\R [yz^oInj%1kۙ$od zLxdJp73]? rYp<3@`$8;MeX3A9;L2.y;%,]`3T(QlsݼaY&v?GWuo:o u`aA9\eoIz=H|Rd3HW@M9_}OF}R鍏m{16GUŧm&& d%ӊ`27nSf39X"n89sS&?r/+ܜ?NH=dͲ`!*Κe⥚AvO*WF T2+*~6\Atu S)Tm5h ȺB# E, UAmޅEWw=$ ]VY|:OfY'8ĩ2MB:ȏ0]Gh~w!GM IMD*Q2KyGNWrKV` n\Y$==lfdGya8odFqVSIW'9.#$W-~Y@)IpMhM MHj,w8 dUI V~㮦-9D2<x(d@I@TvJx2FwnÑ!8ͧ1 GyY8]CHq|^<KKsSpm2&?h pM~:dd?[ۧs5^tplYPKud_=n2O 7b7FiS94p}coQ&CHN4ul33GKTY#ly<]#hNpXQlfּb"O &sVRz? x6K7::)8d`Έ||nO$~gv=6g&RI8. v|)gYZ RR#1/C# THOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! "]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STd4ڋ}3cu[խK"癇MM[8!'5\KO/ȉJ}q3Ij*DwcϨ.{-5sH%ΨpXJsp|XQ)Y&.*3!C7 LJ2,qT~/B٬F4uvB)̇Y~ =vډq+qi`}܍7fTC J\,g(8_EqhMtoв['L(R; nຬtM*o4VS4ÖTK ѝV`Bq'OԀ'Aw30v4[$+w9HHNሻ];=E:{oWms9Ϯ[!ems֖=dJ<0d*c|uOZbu_z"0Yt̂j7"J@kml<'KѶbdw7YZ*E Z<" %Ϝc#,C@&OLeW;v};$;rw])]O/ې=É̾3kcxXi )9k̉z~$+rQ]ч/~.ƒUO yV>6#B?&'Z?e6.*E#Pz ʦy 3?AA$f1|y"CC0.Adځ N=:Ug*uSNJ6$bLqNxA U,t)<֎ɧ5;Iؙln{H#\ /`عKM)D }fwl6'Zp+S &wMǘ5XDpX(O6\R/.R*9=oI+7QT Ndum>cI; 0$T}"Jl_f7Hj%y|Qk `ԾM'P$Fą/I@/{{xWt2%yG,nL-hp l;-Z,1?VA6ܚx )xi-@mJg fE ZL:<]|g YfY}wC2R Ol?1a]Bߍ" R[J!).\h!Ձ\uTԭMGR@WZ(C,`jSNoN0OV#wX X>z= B-6>JT#-9_;vKdxB愝V|(^thr`kƋcv.尜O Ȟ@mj6\,d,ɠc ;?XyT7!71 De4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id21892/C' |HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF! 8]Άxʆ5.f-9 rq8H|cJה=/p,J eDޚUmpgxg6NqhI)X< I.KLӍ*ц3DBtAO?\Y^e d'@0zļC3 Z8 Ae(PTbg)Tظ„? $N3ScSFWKE92;~`]bY1TXھI U n?NIQ wD~q㐙Nžɽd+x-Il:J_%BC.;_AvqI0#}QGM~P]|R՘9']y72ƀ*6e5Oئ=.3K59=x۠?$+3UHo4tfr HL3/~*V$΍5Rv3iU;.IЍEb:sP} R[}Q0opf+""GRTiDJ/ G7+9`"{C jLE};Zfs`t :6JbB6̴x@j!uX[cH5כ`P+rN8/[m@t$$qq9^ zlWLk[m, \VxD&2Rpx]"7 :haQd`&^n+yd;-4%qۓ0|%g| TBNyT9%d$#ڥ1Gϼ+/^y4C( qT@/(GS! fsk|6j. ]ܒ1R'Sј0C%^j r>\XBBrMwFkGpUuXyG~5ⷣ)ow˜ p< 8`d0Spruط $2fDKO~K QڳVEyTcBPzaRVAyPq˽7b0>?NCzډz)Шs ixq@9Qu-'(eóMzC%i*\4fO[L74Y!5VmʬaRs,*]eQ@`^OXQj׫K 6_]\,Vpu܋1܎Hue'%E'[iYvDfǕ=b-1OC]0zo? fk ;sB[GKiQӑ4jS_᳠^6@Жx98jdϻ$kwrS^ /{0 'D6]kmɩfVt\5De2EymD3&ķ6GȝN!ч+T7)̽н8.@LYWrpڲJH2RO{a6=cL\X5O퇻321iXF6RsYO|ZJh7|KrTT1@p^=0KLyT1A[lrB|M):4>]KtZlbwP>]"ȘıPƝ>C_?JۼN#(# hTz,f_W~#=ۀ*&<޻3'e5Ɖ鲬{R>dX "Zrh&vRhGc\ܗͣ6M=͵an HЃߡl"^b">)WJն2‚!@˂0L\@H*WO 5j.͞| #B7߃tSa4gq?v5DA$3طL \Ϟ'^UL)|+x]/ӵ:5x09qu)pD+_TT7">ӽᒼ`[Ga?d:c'oP]ly6^|H,V:3xT7p \Mf%ͮ:'*̷1YP2 l@8wV`頵fyG@:kgR#}ȴT#mea)_^5 ɚJ{ÕdDu$MVjƆ@d u>%no~؅IRz2?#W2DK9V\׍T]bUmwW흰+hjEn'f1d7a._@CQ76=r݋$EӱgYZ53#Qf3QkkErakΠ셗iY9Zײ6ߛ"]߃ :b+ %٭0ż*ˀ.WC+ rpiD"5ȷ͍),MLpJ8tfk&/:mvJZb[*eR43EIc9˹K3mwYi$k7&f"5>c>[q=.#{H  7ߺ^3XtH_x"1 Gj5UލxnQ.%%N>v|AYxQS:}H#1z RFc{dbvy8PO_QQɥe 8r~K"niԣ̢ZCm.fSl7< ݳ Ia0w l$!B'\$P ZQ1{a5@'P cl݌?R__H+ oy :K 蠈| UFܟy}UxГI S3&/Wur=vPO6 ,ArLe=#&k21 4JRDoNz$kf qZ>h7i) ]rPtth[7U*c$#G#W[pmѻdUMe3jʲGv-d'}b]O ')t| C + ~4 Ӝ8<ؼBB ѷW &:+U?"IFmNXNJ_ŶlOחs7J5ˏ`m7Z5$z 3k=HEUy"q]Oq^3o7GB&]?m2lGbAc5 v:~ɼX愡- .[~:>j!Dh{ +nݲ9`{/$r28-yit6Y睑 >Zq|he9k| ,(.@dz7G,ƴ;GO6qI)Y@TZI>k=o7e] c'|q۩_]6AChގW?iE䌔IM >WyX߰^^$q;@6-|zS;VSE>2ՏkQ NOuN O?د͛~%ժ4Js= ֤0jM#>L6ı `aI\ i1DI bKxsT\$bvnLHJk2SWl?KBV@$]q)m]l_.VjMk*["Z+!V%l Iktm4 "Lo/_T.Rw,|Ѓ޾ |Fإ)+!-E a|zja-aЦ(Ψ$`l5]s }UOlܘW \:Πu7}ɯ{P63uh~mRpZu*z'&73׆bf[0M?VLȉ;z;O&O&;Hq`؉"KL,3N+eìsr.鶸yʔm\zß1rjJ4-֕?ע/%Q13OOzQВj2ٴZ R{HuSm irM|Aȡ]U:/hVFiI7&98s:pM (?gk ĊXz-#` =x?gDJ N{S3 .꼞g [΢>-E@%On¼*I|㿚p7״2+omGu)+\씬i 9P=yk`eGƌx;Mn:5bAuzboĔj_;,0dܕ4hYN1@T [@k"M%-[IckzH]>@@Z.w ]p[bwEK_tـ}k*o9'.آ#y:*Yp `ò;8*EHHt8 `a"C¡8I0c[wCl8%tdfp6uddeG +ɝ[lI6eab~IFs%5k/IA?1{i5}o/sNvk!!rWLXoܘ/a|_(*QE۩1>I\ EZ֥UAɚS$MXw ,0W;j,:AM|\'!`6h{]/ bkCq@fi֡uf*F# UHC~[1$ZN$ z\f`h.>طYύ(q .@b`녶h.Ӈec )XufaGw}/ȸ;oI] z$.l3ȩÀN> !H~(7xZX(K̄p(oVZ A2xY)@76eqfV7bS/V6.@ qնU|`W }p>d?2Rvr6E7XrOr~߻p S:=/n WŰDH!];vCLj:`8oU5\4׀TM , 4XEMg+9 MefȯiJXtEvyuue lq6NWsp32b? ǙC|Euk8ȑ֙ v!U T$ s;s&|3a-w]Z]wA(%ԗ=9x0p㡆V;ɛ)]j'ӥI:ѭP/uj%k8Qjmy_@cp= mC rz CL4 |o"o^ۇC)A6y׌).eC R+F>k9XAƖo Gŭt?Sެj)HE}JmB&8`e!T7i`YpDZ{vԞ:O=!}_j+v(Le:Tx5@jH@ghBcWW:Ut$3H]w+F H_S}o75歌`I໔uxût Ǡ:ŇS %#ā ^YGGa<\3`ģaV* EeȱSV(ͬtQ歝F0f9>f ~nmtH z@ 녢.ޘ}Ou)nc]KQkc +?=l\nzke7c?$Z Y}B\Q+ձ>'Oxh"rB5  \gխ|50VuDI D#%‰}²b8F k&'\ȭW,Rx}4ezw2a$$" Mt?.p&uf(Ѽ)R})Ve=10I-l4s8eʋim|4{QW{= iGGu7\Po`t'S}5=y-9kv>CΞM7W8/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 rq8H[:,{z!et C >1OTL2ƑdlHv^oу=9\  |0SM\;Ipag{F9PѳKή*#TU G[cB9 %hRKM$>1<%!NJ d1;L40 F4ae >ȬvG^ud>ia~5,.W{>GvF nwZ3CS9qBJKG٤P V j8Ѹl yIab O~8a;ⴺ/5t T[U<Í9 4 : \ٝ'?y+&([_sE+ c? tުt P~AAI#QEM=yӃ}&-kxas" 27,V{Z`9%##y5GN0 WEt=(@I!Qj]?c96ps|bͺ_m~X7̢ʼ0mmO> Wq9x*5u\ tܹ:r{Y 2;C`2s;rc@y3>Qօm}q3jTOVnMU}׹9H EҸyg'^>|vc? 7X3) ihU]T>j{QYΐNmdU%u1,=jl|rnk#yO.W1? S?bٙθ@SMʹ.w!G gYZ5 /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,']ˠ)jk2p O6LP=͵gl5f&Di5b^8th5ڄs tpOQyO1*{kugu e?)WTp?=J!,E̡4^7U_]]w =CܔwN.qЩYubJ8U.6ٸ|pM&$5cZa}v[RB>5d`@mU[_Ru_7U(C[ȩ,{ZBd"EPvSIr.q髪5Aǃ(\32ESQל Zb?2^sNC&%Pcm91h+QPdH뿕"> tue7X/zwD~U`#yt^Lf]5ך@{d&$(B#-L_R7^%}7]N{X^=VyAU}Fn\\ӰPB^YKV:{yeE;葩E7 0NS~8BjFKH >]cs\nX 7J# $ه%b= 2yHK%$[sod8%?DAL& ̞sГH~HC ѕk;}0s =L`SaoAz_!K锧@)cl*~-Mi#ok&O T% |bIoiASuR楽Tr?Yq`% +b ~h'Õ$b2n=4]T>>z{Ae"hj^;;ߐATz: l dr3(&)/9F5ȔB-G@Ӝ|k<^ ޫ_œ>WxEĆDn,[cUY,V&B!qj/X/փf^kwdWEg88 Ir3VUrteq 0rNN/g+:JZ# 颖%sO~)ـkNZͽ9zaV|3G v?c Wuju3MOp.7"xPuscXQ;q1%R&˝Ĩ$Shq:hHk*iܽ;x\׮kBoa'YP|n@! mM,) DAJ ^!rH+ )N:E $}n!X!u3/׭"Lp*+̄pѸ@ZYh<%%̽hS!Ф%Z^[=aP%ѐ%hGECdNt}e-Ctz#!?l2:@QI33B7vhګrk^zpF L~o_ *Pl; Y\ 1tnzC216u D7yfr\oB6&4c%/kPaX}%~5@ Pf0~\<},od$HX-fǞjj7Q^/*ݛ|WsMx9`?)V]PjA䏌y ie tspoСw69 We0J86U؜\ӝf*aAKNbeoMKS?ZRap^7DqIv<38A: t'x)YB+z9R EJ1Il1&ZG hs8JfGFcBaҷ;q*kՕ( \u%}}˶NSK(MLΎ6 WSkCU/[al:tCZz+"]ѝ߀@yWZF10N?u82J~48}my[QQCp&IPc{ \M#2>ʝ9"-.!X|o)EŔ{E04@5"^!q5V+/s0ŗRT;GK֡B刦N4HSKTs$@ЪWZ~:*K?Ӽ_[,bԔddn'ةE> *e߫->zZ\ x&j<_(b2 K_ 1VGV+b~m*-P. ;؂F uħY7JgM]2Hzus4+b|x9}|OffxO`c5?Sd .&8՟TNv.zKbŏMAf.*][#Y|uh$~Z <@g+q,X' PZEifMvȉf4tG)t^tR۳*U݀Vheğ@ 5{Wn:C^_r.@KzxlT,$ @*Mp;I5[UHܸ\MQ0T_q`E~Una!*"\4x95K@Җ?f1atp/I_6SX~uw6 (8s?;-4UJu %,T*nT)C ߧ6vV\cr?s+G5@X@MXd{ @bȋŜf]b3dA++T O'"4`ֿLJ?fD[gΐ%9ts{ upX V qv|pI((V"="2_2EH7HX$a9="΀W,﷮&1SW^q0-G '8NRAOVRc^w1om";?EIpu+k2+K؂Ȕt4kf! tRפ`Ȭkg2SLX;.&[~dhʳN&i>.[+<]2 q1h`+B\ 倂f C!,*-X>ӷ̠CP:_g`wmA'gpjD=Tx&T-muۥT^?GVQJ/roek"eXފZGiN`b?O5Hh5L&~ 0Mj~;׳]WTR'bϭ"̳]nR%6z~(~ӑ",<ATSWz Dq[}K05>J[uXg݀žQ2\?Hp[Ej԰1ck˳G l~jV?~:У&~CzD CS2wil !.>PMdu/VM}P.,`h/n[:cG9)‹[M;"?SubG#WuJ`1Yڈ,$crwj߁<<0-5QpSڱ鿗5lɔy+q̈!{Xl0i,S2Wjg }_<2Sğv>"z1f\lL}X%yDxx#Lȧ5kMׯj46З\?Ŋq<8+ftn:ԏSv÷r>EX!#3eLe.91%GGy]w2Qѝǐu&;WY%sø"s v"_UT'=}jŹɒp!MPGJA@owP-W~ZGMkF:šh5XBO1/OlFSX,j+Ѫ"09p_tktXq =|oe=eRauh8't5{¾i$t!,; lh6Fȼˑ@95-eZ)84Sl&="fFӜ O;X9a.BE'zA򷲋Bq;b{{ [2cBmdKӔ䀱ϐzt:Z %_;Y#L@;НADc5{MJ+Y?`[aB $2{+~j=mQme*kq1$YŮ{ҹO9bRbh y02F>=#cxOFT\FNSM,7jp11˜X8tt,`!VZ)@!-[+a%|[d:~MngR. g`v1KPкjޛhgrmGNJFI?0v3tkKtE8S'۲OߔfXڻL2L7 c6q'8k C5Nf$, +t~D?~cņԓzJ=QBpz:62(QJNlDS|@4+Me,t4xCE  'R洴q;1G")^nz=#_b[N m%d(ۓY`#D[ρeK ;jJuN|A0tQhKh*ʲXHM&Eaz* *Xv<эT|`BQ/ 1='o&$[ VQrHv&}}2:i`إ[֪}SSlj(rAlװ",W'TNl~3bb|/[4އ&߆gk.<9a7@_Db*0B N nԩܝEob};93'k 4#5ַ*$rd`hcmzwH԰8mꍺwfʵ}M6tܜ-"$VSpɽv `~'}Xk$\eN s D-yPM'|.fB>Gl)]鍱I@X4i7lN{j7s[kXig>z:3Ĺ zsVօΥ `mOeTr,[h"T.NU\%(M)xI`P㰔dAalL&Dx1A, J_)4^V7ac\wh2TzcIrf-"_g&E;.l '#ܾEGD5#`ԫe8>,F=qZVmw;FcS(W~jՒ EuҐ|ԥI fY{̘zVu81F<\, ~r PYɰ#OX7MOwk$|D=b{(/#Min_G:iZ< &/%g9 Ă Vf% YXBސj$m@o7i}O QX7Q6sS9pD,.bt Z剙lD>Y̠Cpo 9HQ'?Q^ZE&T}1Oh ΪR0{W UH1!4*:kC&'!hXe 1ҝFpM,H;lWO}Z)ځn&i7hʸ*b<6 I;x;s'{WgeٺmJw۸d 8l Co_x9m=rCv7gbCON8O3"P$I7dz6>U TjK\)bVVRZ`2s\oXZuqo5QJs|`¦a-*? DQiV ,=ȕ8g50:P_L)XLg=@v;׍X 4ƨj-Btp`_:R11D.+kοHqy@?GVkjB "&ěfR^䬕8V RYG{] :Q >Fw]͑ꖳssuGx3D:j_?,Yįǿu !s Wusk -uNDvG6w/,)^X$4F s+6$"4tF{X[wktpSd!AR_+~Hёm/]Z.n-d6djO@BO,&:]3sg'}嵮 {#p4/ev_}̽A:9TSB$RB qїXXp . w;ŸP|*]bСfMnp @~9|J$Bm֞oWc0Lr^}n]찙_| r5TEיLҞ&*E`\Sf3 ( Su]˱\b%M NOG.rtЇo_fpEZ\qV5?Uujtw[4}_t.1.]*nU4G V wQHqllJ^w~Cfe~U7h+ˍT]A}V1( pSb9m9M pЬWBᴛ5=ϔ ӑXrC{y]p :XufKrv}4LxekJl\gx'?VǰH4_1:A _- g1vȋ.8ǘqY;=tCLUȥ$~xSț 1(Jsu bFռI)jWN\ >D?.ŽLv_j„-2Yp1{AlM˒[/Um&@k"!KST>zKcZ  ӠuRR)}qEqW:*V%ҷ*a~nG@DOqQGi.ؤ$[/ i\ ƣak z\)%{vE&7!s=t+7,xHP_מiu/r-%ONrϿ3&@^ >&}w'7)Qj&>wN=(hg%2_PY "ZGdz>ߢLm`PmjDE!3p00Atѡi첈br^s)#T)J;ƺN.!m0ߨjzUޚcvJ}D!* ]4 r7wsOJv0db[OmTRq1$JWo`7)DhnCz{oSk1<=s[+{jbI|^ i附;:0yHU$5=jUµz|ʻ"Ysipc.iڋ,7M2$sȥI.C2wAa$HzAr5HN6L8֎Sv;9@Qx{QIM.]$e*-b &&+8@("odC8U z\jejT6[/l=뢰0|hQkv ЏKߤج|ۨ[!]B`d]p 4sicU_6TɁN9kg?EA$z54}?|@ o$ҭb CaWUpz+qOzN'nw>乽h{I17[Ti+N՘5NצFͫـGZj9RM>AW&s g޵A^RN7ó!ALt Z2]0mCI d 1Ud-1zTF?:Y4dǸg-8ڊ %OL`my,i #KzMT"Rnuђ8B6KO'k&{gTMp]Wj6Is@"N q7W%FSj9^H'NSbS)fjػR"h?d-zUǥg1PX"Q*uY,(SFw d{y~vx)J\F0 mI{Php?+'^2&lم (dmmraДn*IrŹbG{ݎc8vd:W0.nU ǺڄA0M>PM&vRN{G* E6,#uPk'=0=B[٩2O:" (]2sx}0}:F+u/1M~CcNMN_G-@k1EO%_d`oH=D+Q\S`Z^l+|LYERj+iʩ(fSвc[_¶#B#/ZF9ϐ,$25!L).y8Y\aiYx1~$4=/LwFTi\ / ia-**`=I޷aim<ys)A7ooky\7-=%{aoK:Ma5iNVڢ]zb0N=+hhl\ot3E9z|jBfSbH`G4cwz1?.NEb\~ǩحzĄ@! 4RZژ@ўtA!xQ2Q2xlkE+ȵ-(0=U(g7<9օM]-D'WMA*1&^}S1"j> G{}X'%:P4C#T^Iw7YҸ$[h%0Dk"Xue_b]76֬iʮl!Vs H_=uΑ9J*}UfPn.퍥4X9KT<TlRz(Ɯ_d x gӺO8˿/{(@LU0j3|i@1ҌwD^*o&/+n<^ᔤ?;n.Iʳ\t/t8mz1Ý!p |I9k3Rx>6tԊX*[!ҕB8M w4c:A\jYb̉P B( ^>㔮pH9*d] Z d.;!5j- ,;2" ,yStP/.] S}AI0$<"N$.:P;oyk :Fʝk?YW@~m6>48q{/{]&!%ż#S?whN\J6oq3+U+_P͜΁pnz"`D1~U{Eg:xڡZB/uE/o}z i (/AE..>)#&iu{[< g gibT+iy(`tAҥzUAj(k+Wdnx i؂mwG DٴFWG)@ ѱ:8F}{AwRQ7bv W^UgrdAVQפPb1,>fbm5, M(E$bB.]yl5D_*teӎBqmL-Aa={a! YG8ֆif h$J5ueB)|LT^-%oZ;e_jỊRJ +? wǛ/ok.ܴu?C_Z@% ޜ!c'<~lڨKJhwwZ/w1u4>1;“qtX}I u\W#0Eg>9G >W^ u- Hze_|Ej_3yjQfĦQes-6Q{rECJ.g+Tũw&? *H= 'ֱe=ACK{_fB|5+ rFYy9qn{xFbxhlqb%ɋJLiO2O;o3P_qCL =z <+W]oP@ikljSKL}kd/Ȩh֗.y:wZ67H G!Zü9 $"9_A"C~+$|gJENIbKYH(;i{6XGu Y[4c˽yUWWo z]Dច׾q_$w%ۏZ$67OVl6+k^N(^";ޯB GKtCvׅ c2L7`,ɜnQI.%g9Hf[r.i~{ _?$B#gF=:&*Mۚ8{tVY=2J<y@RߍC m~D"LPFc~5dxzgtnl?;}dx#[br8-iy-zh\DC|qhRA`A#k[ yS%Zg"p'Th *l^`rfQw N2]I-HWB Ybh|3mS݋{|us^CRgg=VcD%y׏v5i"du྅A -D6-.֍KɆ{jɭ+κi1pupwNQUhU#)_0nfB{jyc1smښT&vD\Vh-*Q5cI'⿭sᬛ0CŸ[}IwT) c4hacl #qRn!= z7e8Yaj~)w)EHk5q܎\LBnUɝYr_.b 9]62:XGqT eק7L y7V}E6"Xiq8Sl1.<Ģbp.zk˒91/zdA.]dXUpOjH.-J]΂6"I' ;*zpYژP ) , pbgGaaG0v~D>v cƁa!*ʘiD"9\;^m& RUKGŗ}}R1>m w#0|Qxt*BHq@В[*m Hȱn-ǣ*1"PXp^c*QUeBstcaD0SwCnי6 ~/|v *u3:PcD-3kC?ov z`Cqh`1`V̰k?~*5uPĨǑsڻ`} ,)dF%Z7[\`gynUDPoJ ٟ1P8`4)r$€?z"HR>tUF*NT;~Hz fYbBm+\^.#aP>Y h슃HBv8KH1PhΒtX"hدsgM|' ZEkLWdN;>IS&G)UAlZkw3x4y+y_qq*bJWmYm[ѢG+)Ǒ+Q{BD5͜B Z57sn"|ke2|r U|P-6(Aڇ5Q$աZf2땕P?$`Fbb%%&fcӮPGz\>LR__ ;2ivFT=]{Ƈ9IjS{,y%>xWO[$5+#k.kB۽c$( G4\ M7WO?6A<♓;!6HcY-M ( zQԤ7HX }'鯉Ch1:۔خ Ee"~Hb$0sUJOg {FL_R(e%#!&bտ3R/1HJ1 Ca ,,♷r-4mT݌zh= ]8hrZGL3:Ai .$Iɍ|M}3~tH)Pr* BuKeSk*vصP 6M Pu(ońOASp *5|ssVV-xxnPKqܴ}EuRQ0|"ַI7pk_Gpdgt+Rh&coG%(Yk Ƒ3'3rVjuG1Bo/:JgsR B2~Y%t= JW4g6(τ."Z\ wo+!&kz%5r]@Y-ŤR^7cv5 Upd32n"Q?.ߖXv/[fY*uR_!+ -E(-^wtLlms$e`lb=ɞǕUKT7 S) ld¸Od#,$!ىu~~䪛2{? I˼ӝ<-H'9ɪBI͞ SG쾛aH ḴKg#u]vlbj|*(e0h5dOXjގ 'twҮXDi3C$7u&mr=7jB #=>T8zO5nS~|Oc3o>z1=~ RU_f}MM|@v)3g+ךJnO?9 .҄M_Zf\1 K3 كbm@R *Y :ݵHkƤD@CB,!]ޏԶ |A2ti;FcR|෽ /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 99]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4exA<3/׮֧hbjA0$~¸x,\1}!Y8!wPY=شnnE-6L^N-;k<-kuߙܣ"wbB`r-x<|4z;G`.׼MEk2-5C#?( laX.bJ&lXPVP벜TluȢYJDҨl@;Wsa;Qc6Tw̄_S단أUB\xhĹT2?Qmkxcz uY$O?x̎2Mh\}ҤtJ{HxI"Yڮeg6ʍRFB2eMPʛNWv +OC'3 VEP!Ԩ|`$^N:,΢B&Je&D gneG-cVeג_[8_ɂ<; LFh1Swר7hS3pw@?3eRl=n#[;5Y\"gm% P}I@0j#eԕ "뗕Y|1uO1<#t.'$Y*Q]vBPd5 1*s@*:EeG!e@!KjG4q^?-rK#̯iv Vܗ wT2j"˦ܕRSܞVrg|AxMns` "F`#23_ b#1|E`lC, >m3z@1qx0QЅLORG'փܜPzFKgDʁJ:'[,T -0 $1,\i,gC XLenQΰl& h]b1qMBvcnF .YiGPA/+^|V@ؒ؍7u7fo&|\~2 0Xl-V[F?OW"{0+E}2(ut~bBӷz& X 妎rtg5ʂ˄rkO֪DqvEBHn!qD3"j5*COnW,H6N},]܁|rH{&IXθl3єƮO.>unɤ0{gKl=~FΥV,4SJ`3J)܀~vC#ŁM83tj N qyԕZ()Y9<=&*>((k/zP>paB ؑM6m&-&&!sVt]\<\|F6Q?_9@umQ:,|mOc4,/{g"Lw}Jg*-~ )NgJGf_H_֛nEjX~~qNw7Pk2F;^}`Cm%5B^Y/ru2Ԕy6ĉ8sKhOwJTOBrC o&M lOM)i)0oקHٍϪc8j3{G5̄=`B(rI,jFd1Q?u~T5eJsCaD=D;]0@y2f5 +R\Z A-a;W1kR Gx.]g>ɷvĝE M=!˟ F:P ï,XV6uLjtH4Qjy>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\H ~մqS&bҥ3ré}nT L p#;Z (3Y%/ij_>ガ%6K6q ol_s4gW6G:V(٣j}]6PؠϘt!R B5t\1RzaX"^O:\CrEP$]!OaQODѧ ـ#5yWDB AY"i W#M @f`A'C 0PNYie N-e|LY2Wϙ]OJON(Ti2,K9hL>?CfgZ64C(4zJ"=5뒆4dX֠)sW{W2zmZ$cR_Ɩ`X/.=;ƪ=~6q6U(9n`3s?=!#Ɏ@OǫqEU/BUc3֘}C 6hH.OtG憴Q%mco#_Qd+:_0v{FF߬*lvQ"ӡhDZ?wFo0X)OE\+g~d*"Ym5"}yQqXmÁ )Me3fPA08F/ _9N_X{Mk. "Vz@4dLiBlPªJJ=y"e4#g+j٣" +t#1.gYZ %b$ Jn6I } = y > b#i o + ZJb# 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 :a1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citations :'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 7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex 7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex I9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex T/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex K;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texK;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texUEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK/G= HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex "#z7s/ q & q 4 e ! ;'i # r 5kE/E1HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsH@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messagesG>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markupF=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/filesEC/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_idDC/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex </='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex =/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex >/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'?UOeJYYwg1@hykUJDXE"UtB[~$ΙH:&823ISrkTzlg {Mlu+}G^Sxu]cFܑ+4,B(%O-LOƍ4DIh.}*.{~}莴c eY P/e Qv3!f"8ʢN|שrФ/?_pdM2p`9_U qLH&E1Û4)X͊xST}QߺX 4`[ keCƽR\^5,]W *7)21'yF3423oʯO/S 07Ư5=/(iB|cgfB͐P(s^q*v+NW%ʮuAIj C^?~!%Mpץ @C!/K=D?c~plWQʽp# zЌm㷚ff k?Ԅ`b陟J)7}\d=FK Xd[!#$fA*ݸ5#J2sXBSW3 v[|LJYEOu8?`QD[Un= oۦT/Bw`wSwn^nj=);fx~|W"csVvx ڹ)OB-w=5U|VmoNQyh6=17;Ldz ѵ Ur 4%c?|Ċ L͛QJ)W-J2d*xhwo ڽ+ʥ]B/EV$ wZ=[ӗS_;d<|'}SjloB 1((`.2/` 0V" 4݀x_BI 7{Z*ևF `.dv)NO}(6ِbx;,ˁ %q փt⤠.o^$q|nbCK=Ae0S-E@NZ(G:{|ot4ĝCػ8굇2P U&;>䕬ڍ:$U#j6Ht ++`"u,/ϤМfI: @}G uL|JBZ6NςJa~E[e-KYF:0s1CmPQY 0zgRz\v bT3a~b=}hvhO,@<  ׎G> VR DnϽj1 ̴57t; b7J1br0ta3x~5{ S)i~eO;m(H0kʼ؉h!p,/Yb2$Ȥ=P-Ym/ewfXlW`CR맿ؠp^P#}XI`1plU6{i6ļń,p xf<:_ױxWwTeѵܾ^.wG.)p $8OSJےE]ZqEIrU2);3eCk;:ҧ!uhLuBS$ά~5+,:OEc UzA^AR`f6iVWDM( ]+s>F+Րrڰ'Y^b"?E㨱QbglbmXEkyXM70%鬫gqFВzAA,H؎:6;&opꝼμ̱pP#m? 0>oGB-+?mX[rS.;ݯ^QfpV㣭kcN'N PԆ% p|G 6KhCDHBX3) 5ݔq.8VY,(?PC 4y"4,՝@|qj/<dsK7wZتTRjW28[T_6[B& fbuV35]!QO;z<9I7' 53w/(iV4LiAFizpX734d.cF^=rSJQD*Z|H%ڿFӲ@7WHk">I^l6ۥ1Y rt 2ZXI0Tw:W~+Z`_⇕%&mpR;JRG}Pˆ1Dzy۔PKo lCW7Ȧ (]>Ff&dn e+T3VƧ6EiJѡ W\/\~gRG}SzZ1z1VyOW"cl'.GveYEϽ ʊ |PӇ #5ctK]ɯXcfH#njR,˛Bj]_bEz;8q RP5=04^SYX| ,OhJ^KqR%?줓G5?CNȤgml]H72꠆_/:\>X@67tebA0I-MQ*Вz6oL:q5F ݇uj^׽gk5ye+( V[ICQ G}ٸY6@(ca~^2Xu`e _ܽ@e, { ۼ00q !;sف=qeUJ-Q\h6ΖPjgt ʹLlɯ_`=gy{B:٣DcGqh#VcTIN԰1gt_(|kMc4ٜ'HtѾ8hP]BrBgf7l"GK|Q[puzy/=VjHL]yt{6[ TTcVl9ǨJ!3kB7/kb)=ܛ|S"S@OXyQ:p+4SIڲdµQvQ?cu@U(^waGTC:ޥ͛Q8[ k/j*ʼ9Atڐb?hفmbr-++~(CQh68{چԢcTnggӦZ/CzF2(JXͰqja/(u!@TiR'e{t;+1F>L R%g9TѰޫSUC~՞F!TeغXJBφaRC U ٠*Tu'Tmk΀'u&n?Z̩Ho^ | q_7x/[ Fp%PӀ `=KvaB+<>y`~S @LV +ŋi vX k y*2ב4`m*+&#84& 6/R,NKa-E D?HGlq|D'ݴ9֤W]ӟgVk,>a0pF HljFvqa}2!]$V -z6Ѣ0_Qp3IR C~HOVszD*!Bl,΋ +V`(y{݇ږ$<`oV ߡaTש5<&R4Hb'iidRԫ|uŔ[|R?[kV+ζ+u@tW.rYa"p; |Y_m}r(UXz`tU?q0JBJG^KN穤*| g2S"K~9cq u4̰ESZL } *VQ*ldަG*gFߓw{mV|erKܑY ^E8wʤR3]qН$Y>/|RdGL_2;]Sϳn ,ő"5yё5إ^Tw9eסG{^NFL0W #'x7Ndqܾ] ms@qZS :[MqlKnX'wD]=f}>(TC^G~Bj"f\Fn3hpV~"x7׾:SƘ9!`]@Qkwdž2hN  қFoЎI~P-BT`S00 d>ShUلh`̀J0n> NַK f%f#}bó"zJO$}.dGlOPM$hJ?_%Qցd+pE#1 z}7orWG$lÛ  w׉yx3G8zZMj"]åtU7Vǫ'ݣSF B^>z(`Z^/"@- /=z1^kMkӳeԪZI3E&2UZ3}ɥRXv<1|QҒP 7/b&±\x :k?I4\Q%doCP)Sqj%k`"("])ܵorIT4;5w@=7 2LDF<QYDv1#ܰPr  ce 3r~ g( +x6aњ >ŔɈ۟| +?\mV ˑ];<&AaWBnInp^,7=i8j/|e 6f 72)QƢHɔ{v!dS -qޜw.'{8OGzLV `*mriI$>>9_MT7ޓk5^{7A z;b&FxbFƤ*$ex.=30xP-+Ak׃Ϻy!ܴq#)v.ߣ([,@mȔ _u1{JhΤ}v{q_"Pg(w},Qn˙w.F/}:7а3}Y 3WmekO&߸XyLfָJA`pJDYTMDye,j#/ "`Բ°Q'|Ս͢RH1QӅ?p!6>3HHGIy3Pst,!/O` C}H<@Ex<;K9+7%P;xyrS&8b0d]XvW7ҡBlOOvWN^9RBF:h|]牗lZ!Zg۳ 6LQFU y@8_N~YOI pԓA+|r6xUd#1/M.lwJK*W ےs,wV}_{PTAIv5FB;>|Et_?d%9WK9_QWK{=:@`uxSYr:BJP[yg|f&!Sg[i9 q~EO`Hk`+ כPLS%XbWlX&tu x J7a=+QvUp+xydzljlp  -`͵#S^MKwpu1՜9ғ.a!Ӭ1wك~ml󯂪^OsѩU] ȫ՗+j CǪlltjN-^H X tvȎ"_$yum;gɳ1QOjkDINH/W *#^# zR-MӍ0+^ u;w0輭ah`GQF8lu# $jf5FM0cExπ.|c{RMZ!(s>,F1 zQ"s1&4@z[3b%k"c0'PL\ RHb_KBq|E=j] D &`G{ǡoA6iq+,@2m˳O/gM'v־tgmϲ cs-Ϛ$Bgh8gHdjB55FU5nծ 92Eޔ&?"ib"4;N~"nZ@@)laTUUq}i::tf͇Qy;^RP:0D l+xꑬܼfQqS_aZ<;ӻe6R=>}M}Z*R[Kߢ~VXSKU` IS瑲xs 4l⨮sO0ֻMATo;&㌹ LÁin%4cJ7A&Ex lIݪ> 1odp햀w--r_0w+DW6Vb ђ+Ц8{>a30j Y![ʲ"f}@tp4AN FZhwK ʬ|wv9ZuePFS-73[|'xVN^\ qUaWk:=?#Tꢪfa0y *@M rbX'kE"MN@Nk]]=+r"U ~gYZ  ; rB /G# lHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! f(]ˠ)jk2p O6LP=͵gl5f&Di5b^8th zb6E3kbOdlB/tL] G 3hf-&xӝB ,e`^\3-(m]\6h͙a5iY$Hp[{&l'ck;횴QgG#~\r ߍ~,TX>XR{L=u#I]F6+d7>X7yjkxWQcl(MaώuN9`zq*h4i,m3&@xqVƠhzep,g!fީy[9L5A YW  \)Ԟd0GQ=b2=-R5>-u_ ըSjPvoFc3lh6{'"J,;Yv"c3kj-ibCP{i1ZG;^GPN?u,PEUۧ{^(w_du8eu#D|DD9mq򽓿iOVp}vޟ@W_bԐwmhӛE,>|eAaӛhjh~qdssJOÍT!KY.l+O찶eXeΉ v^ 'E8p ݧV3+wu8odT;=U`GiASM1tT%&nSeoXơy|GQ^wyaWCXXT۲7;t qxqg__G.jO &6ۀ+`{B XAeH(S@)(t~PYx(6B&A 76^"mqt&h*wJWb|Y2df&k~&ʐ'"'4i_+zw{[fP2kpF ӟcޜo:IYYWr5ZCcqX殇.yyI,CwLu5;䎅 TgvSQS>b6rş"GLM{<<8bLJFǔTNOxЗ> LjϢ5sK $sy?s#evbO&m BŚR8 Y,G;@bk(Bq/eB!YD.hW& 0չ, T fܿ-0,| ,{~Rj& $FK†ǚdzuRky<8upnosdFrtB*+pz@*9PýWM^$Ҷ/l%UJgwGj'jk_1T|_(*b[[y]T5"^Ӧ%5J8x6OL{bLDT:Pg}82Mɸ8 NF )&c1c`f:hſo<2XE pH뿬F>zܾ#sXVgix\E E>.7jkt3"BuYQCVrb+a |?1"5k=f6 v H|;_4epVkvGmfWz.tV;uA+ߜGFo+p^-%S/ōG;ꁷj="i`m gY23Nw[XDYԮ3摙Rԑ?,a)./Bc6ٍ_]`D1fsʺ(Wgŏmm-Y~匉w9TM2L;"*Ey8H~R/ٯDPsHf:dBZ̸TYr/t rwQ}"_ToHƱ ;o+O Ϫφ;قBgA/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/files~~/src/HOL/Proofs/Lambda/Commutation.thyH@/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id200B?/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages7zXZִF! ?]·Iq n[:|&[z'yoDgUBJ0c|Ӹ?fA'E׏~byDg:JzQ 䯶K ݙ"]MO0(p,+!ע>c^ܘiUyUyGb`|Nm/iTW/ I{?E;I'<(G+HϯRF O~P8g&aνg puJCz kTԷM%,.ݗn(wm$'G2 ]Ou.DaWQukz0>IUE_m d>i @MEL V8Rm'k:]ͻ mx/5]G`'ߖ5}X6Ba-S؀GY\Ņx\DPlozo϶#E+ l5HfCAԺC'Qi$I([)yAd%7+ͤG[x*c!jw@toq $&WmH{%FR:Ӛ OHv͘4u]Csv)Վ^~r#Zd)*ֱ(Sʜ>=VңоV:ƥU0+Aɭ{M :,~gn^!-;ȹ\Hy^n7]5pըWu341N47Sy]BRԮ/-E{.(d!i5ӄ˛-ni/AZy4Yip?a聄 +[LSRgYZCa[Q3 F/K~cih,ݾk=޵b9v;0_Ӟ\% g\݉3PV)a;3 dR3=+9zyދEc,<r6ޖè__߿̯;bBKa26IniC_m1Dl{PDƧKQur"C_-OI7}? H"<e5ߤ! ! pV8:MH cQyad`S\}V=@QU,ޞo>IFm;n`l,hאg]vOp '*-D &$1-t$F$8ݹӱ 7 *~C? #[T?ENΓ&ljHi/_%J/?mE0ïXz 58}.Y8C[eп=+d㯏o S+|&,^f?/1vi˛࿏gǔe= gA8Ka9U DoZ[a!$J#B)75Uga\7k\u) J1F}"\&:hi#7A u/U*Զ86zbXz xfd cK7ȍsG]Ot6q׽9K4>t}I+Ɩ fKsjZ'?=y鏶`JPCS1\!x1$,E􊁙о(G贖yRΦl495h¶}AaFaD֨,Չ>%s{jөˉ]6; 8'`5QW#na z3% Cix4 D׻)5g-񃸟_]Ghq`Y!/rouʉ+-1A|!V y4_lWw&UaqռyV1qdع&pB1?`ɚfpli65u)993\aFݹj+`T`\&W#0<۞L=4</^qڢv٨l)^_EDUJk1"=bD+DƺahD7ím&\1ݺ'qCDU}qL!q0/4{uٙ\" eQ9kW kNgO,[|7&%gJLlwء[჆+U`OPDle~[5WD""89~`KPiO9B^M.|8E9;]q$Lj]9/~1*|cgsBqDFbcI+B]r(OU@m2t[ؓ~_,UA)j)GIܓ\="O]c jMEt]4 Q 2ݕdvS0 l;3,Mף3Tzl"QT I,OR^|S>ې|w >?'a=Q;ڔcH6p({>ul`rWٯ$Op y8y T thim< n/G9tmfZĻH?&}4(4\_{a<lQԿeCw 41Y!vLF QJ?QTgEðw.!,O\V_hcEx#a0^?k.t Ǯe_ƌȗGFo$^$nc6q}y]>cʬTY.֖fKdjZnx7[Ϫ`q聰PkJ\:d&.L)^ٺCFxB{u`v¼Vh9 (08_ +WV=k跛420t,}{Jm{́\`F?̨_VbOJedOSQn)գ&}up)&?ur؊.~qq ;aUvVXG ˛X=ޣf%\Mbv­:ɑcdJX\L_*m +L[dX4Rw"gڠ]w|[gȍ1 u @%oh@*SdWEo_2'~EѣѦ(vm8ʛ*YF_Ѱ |h&QW")TZ#:ؽ>ڋ6I^:b%yPzC֬=T,3%c վX;YY0{9Ӟ\u}DP=6[N8>n9җ3oWE+xuG GfFD: `As)95Sjel`;/7[NwMܐ]8fR# ;A,le0: Gx$ILb}! IW[q(2'ʯe :1]3UvGz2(5Ƶ.a{d !'SBJˢQ@{`5I^A2u}Z}=B9 %3ˢ';~SeŁҹm6SK5ƥ1& ]fٵ\PzБ5`#xz?| GnWBǟ6J`1Ɨ6; NW#ï$uW`VDm4tm|Q\.@tDɟhq_< :ʯ+DШJosI#BCZ65, ][B Ιׂ_:W!roOv,4k8 $qbAAw5] Qo(^W;C*RQ%Aly'+tW ڮG&cAy͖*'T,)2X#k>ПrTr݉8U P^i jL+mk0r-ռi#cspJ2rbgא$_X!^Dj34":(><}K|(MEK6Ng)={!!+'t# /nù)"<*ɐdjq|,9̏=L*= qXV)ZvHG@( nHÍ(Ս] Uj$xͼ(X>4*=k}VauWfBSL6/#CS5̩]'̪`67Zg}hYm8&#!ZI;k:һ\]:7^ǣ"M:XD>#0a ;oҭ47.D @H[pg69 5+M]+ib:V2뢳6-͔i&{y>%PobqA:<#@+V.݉qytghp⽼[A3nj|J4`OXnJS9%ydcGgF Im%[ [%%̐2W$amk:%IbbXLJ吰>Ysyߜ=:kA}ԶLxZKy҇nggdZlñ5=~L~:,[^ё,T_b%LrHP:-zMtIāG/Ȯ}|MZ![wan&BŠI*~§vvq_9; ~Q9x@P( ;8ݕ,^L3`^߀bk= TU 2K:SZ\ 8_[V\ :M|mr#V)Q8PᤕTv͖[?b#zg˚; 4gehLUxH+k値;>W@Hf|A03D%N o=.9m\_.;Kf=̭E3Q6kl~&D]p5BkTيW]0;k٥ >~_rB4l$a 0ֲɉI128||~­`Fm3-Njg2g.M$ :Ol0lR=̓a#D>:Ý$BZ`WE'rE"6\[Rȩ/J˕Cbbx'M')nE ÃXpn/ࡈӥἜ1عAT\ d*V%N=B{g _K~W&FugLYSk L,ߝiݧ,Fj7ޖzu;cRiVjWk7w.g+ƌ^qnW݁~}υc|݃9 @_6?2@.h#UHb:I:P[i)[C<)$+D{ߺXN*DaZFjڮd`NW31Cj+t ;s'$+Pg\j w{l93ҞU.d`kGw{+:xܔ:XSg^qo|ơσbi K>a4lٝҝWtWtz>:Q䉑,ח)yxfHAY#t ߝHX2a6*UOnO-Y/…gI-"<4%`LH('[W~aqNh$|:>`)#Liy@il\w|z $\Q@iOnpM5nV5X* onLisV!tϨO=oQ*ˑ"2}1D*˟1ÚB>(~c-HD]KU X،Ca`3=Sk4EnT%Qr n3t#-fHt!g]{J4Hq71l@ݮxI!USfuj?Ϣ.+df/:6k-R e'ih!%&mU~o$za/z>.Ю!,Ze`\n-RܘٛRF+M$A0O!"n4J'N]f.zg_< s{ @AJZWECVcxF7߲-I>c)BIJE^,ˋ˲j) &؇rf:dmNe(4 so)Ffu,HmF~yCjsc/:Nَ [>5lEtNfc038LJ9@YV4|<Eo}RB~$ UxeN3/R3B-pT,?L^5]s5m)-k(! K׉:C㾘kS FqE8v<,`w,6^8R auRDKwsc;GYpKp$=큞ޓUYQ}eG=H F[!+)ݮSkrQ$yVtz郿8Rup1$Np=! ŒXB,{M`sbqs:QԴ5)l#2%~& ZrIl7ݒxH ""gNPaXobX0I9 iY] UӢMﴇ[67-xϭbV$=`V, ӁqN0zH %\oi[}r|M 3ʊ$6V;޻wI"OaCFCBwG!bi7T jjB/{lgU 7ǗD.DGщR({x_=?R0{ -Ljl+FP:S(۲Culg5lu =~T#Bp'U(Dx@jwdi|Bv9^]c-퟾$ !UD-^S%:LcfMU/rc;[ u{(ceh:rpsrЃ2|rZ\|={G+PP#g7B.)̚\*mpDۜ5*YcšƦy{@q}gIp/MwBy\^aDvi_SdHҳܵhI`qę29`BLHuo//>v N{4 y Ɍ YvD!1)f\[ p΁bGQE J'5*`Zg%4!afR3wJLȫ8l17./RK_%/!1URmDDEV+LQV&>1qcCJM ?Wx8ZdP+F,32Wgr,C"i r6E?WԼ gtNòȳf` QMNi96U,fVl2HCvSE

)1a.-xW]愣c]j6Ep|Ts)vky=&j [/Hpq}a}wyݥ>kKaBBT;#Y)Hl@\Oa ׵&à EeE/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files~~/src/HOL/Proofs/Lambda/StrongNorm.thyGD/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id222_C/G' DHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages7zXZִF! w\]Άxʆ5.f-9 rq8HȻ3ԣ!a&7! ^.9 J]lq&-N#֝ڞLZHndB5xlnlHF xev݆ОS˳# b%W0C~*H{F9! .ۼW7qV(-е~MVQ=6`߶@*>*ƄMu;ӽe[K@$FB"=Y5$SɲUG-L,F.g7I6`F(PZU66`b5M[Y~gYZFIDu@,BjQ7Mۓ=bp&I^~g R"~q|ŘgpeI baf;牵TV勊8hۆNQ熌;|8¿K$*4PJɷnZ?qnUQ>DTfMpx`zGHvZgTu8iQ?SYrIGrU!{G]ag]K1p8nxu j͒(m5mQ~&: R=P% 7F(Ɇ0W`g)Tb (4 rԌ! ~B<_Ն.H+!e!=Qȑe4ed܉=,z^Oi3!$wa8@ 8X@%*J'\-]L=5 B]꧅DQ0!WhK@kUgp 8~ᜫS/n\+&[y x;I+.+ JPzs=']m\,|;<յ;=^Ga=Z+suKQ_5=^vsUnf[4e2(Ay&Se x0#7 W"_-6з *vyF*F`S$C3_r-:ZkpBQ]l `iGW5cyHg),`G,, .W kwla8:1HqŸw2{MD!% {&<X0@&bWUG'@ yΖcx̿a'kj%Ae1%pk\#k) s|5}^>Zǀ?B Ciip)3qh4Jz D pƞp ɾ 3^ٔmQggFAt[.Me|mަRoZbp蟫dUP.gfDq/KԶםf)J<##gwA,D$s?>u(gVd-{lہ zS|ȏXĮ2P>,cxvى˲kE&&a˹mq!?:M2S?CiePF-ћxV>[Bb󾿌S$((msN"m r&^?MJGO?@a:uH=BQB1$ j72v7 C6lbL;㄁6F-g&YCF*c@Hmg,& l$ !_i>#Enpy'pqؒb"n!G!򚰋Lqw| ޓM!FNu#@F62с) fxuj~%:Y'e"!f(L\ڶ|˃>,*WmziX1U) W:bRr9$aKј6jex@װG,taosoжI_4 Ǜ%t)6e?/$:5\I#lf(Pps|&C>@֎@A bfk6/k(t,[\j|W|̐FZ7ʄgɆWRiC-;u5cK;/E^R׀ α 9Z>ߕ0 U6p{.US/)̖<(7B2\BMC6; f-3 b[y|}@@ *)o=W<Kd!QmզM_&Wg@Ra݉Z4_,7xxh[m:λUhqOSx]w5*\~[u+TzĒo@\ZF&8DaWi2I,D759>?A5\ؒTT.Z4Exq5ZpvԷ׋4R$\B oi| 7H~OY_r)ΉT) r Y#,7<Ο i HOn֦&/SS@5e_1WV>W/އZ8\.xi}*p  G0N 1JK|%=J)My&e04)I8gUH i]ڗkdJ.K\,1%1 t6BLE/˕CԹT*bAȪ_`)4=;eF.B|=v0ռfʲ)Fp8[)Cnơ8&WK \5}SbCuĠ%\e p2E*GwܚYAWhI|==ST#P z 븈eW@A ͳjaR{dfsd>›k Ea{rXrOɅ(U "10{hz!}`_?%+:ʇu&:J7@ńwBjfQ,fZ[B,jUr|xd}ԗ3ssZkg@跙}H^3:fDʵ!c)g DV_d>͘ !ƼX䅮3c/b ig^7McQ(\C K,f$|8+ݎwT -3^j%VTpgmۈߜJ0 ۶Dmml_ B^br:;х&U鰽G28>@cܚn~`K~x`|JsR 7}0?q @ھک:o>\Q&FfG<|?ɕ<*B'ڤJ3 R:0 W̙1(zZ̷vR5Gnc2;BP/6]! _qN2&%(wBjlVHZkj\ Eɶ'Mh-V C~3?5TTp4Kuto %%7:WJG ݖV !:N@`eZ9ӃUWӡXbVvTbpX ϱ0:EzOpqfFFtM; ~cnlu3 =ifea`ER7R,[엎 r|Ԣȉ1S/FaLYSgH"U%^UJP L0R4GXTWۦ'lK F嵻xy_&l$"5Td$DiW?F6:׸&'O@H h\Hed_"/kτ18%q.3RFB󖁃fh|~"*؁CUS] 50?9AGmIsc<7b9^N82(lvhU3kWf f5ֳJd Byav rSgRBtpPQ[dwñ_3p7qP \&~3Jh`hԻ%AP IcFZ&K +]"w/·N`]vdP&%w+G(;ߙ2/wnR{uQVd4ܷh"nm!:͌Q2FU$j: "YL_\vTʍ;WE@ Uk2^3 wck 7Džjmz ZVt2:PXj1-zզV24 0Zuu?'PbyAa`.ڹ6?pU[&d9GiqSV*m0J vwW-A2*<၆V &0&-<x͗dP[X3k. Q5k=$^Nyz:;:i"Ck PETt{{̢ӾlT2?cqE$B̮eo/]?~ʹIH:prȁBrd0hGea\xe9M}xBM)ɲ X1C9SEXkrNg>t~5Ǧ*xYBigυR_oI^1+p8MXeq9j >%XL-[";V2#+:=Bq |;e}SQ "YsAɋ@uSelt[b3Tq7Vcrdsi |CGX|߉⣭p)#.a*-.#vAipYlTR }V58twʎ=-vQlN>m[k¹' w"õm!$GwGx%IP}V͞o}r8t8;DmmԦl(rܟetጠ˃t.21DqMBr)⤼Cn7ؚ.za?eދ@kv`]X2GWdfdwԴҽ4׾E?} #j!dWO5 9IsC8zed+qO_#J_ƇKɪZ'0ǻ VKf&w1.T{} RƝuE%4s?hE8[/{tu6N`P֞4:*rRDp\3F 𖇕i3NWf*+ض5x#כ.ޏ @BY#Gpϣ# *ƃM[.c ~x=Q6&ǖ 75uܱYSEk5bGX=(t3؂A Ԯ+ၒaN#7J[qj>* r-d>a,"Ys)6/H&&gjiLΈwA?,[JґZ Zm)]t7҉qb$Qp 5@V>)w*]~rEX 3 \r+,A7Om<;|S5jg&I4/zkWF+$Jd;b<-tGx+5:æ)[``װ1[`m͂j{/b H}S^=*&ƒKPM*S~KDߑN1QTぎ1ػ%t*YmJW4/ e;DwgmhIvkTص<{<UdGʐqv, B'bz- Lp"p,q*GV"qYt`cB)f[XFa/YxuK4STzZr , d)آ}g3Q VjT҆Vy &H ek3<*mvWAOcW`U`7hKdC&.-34x \'/ Y@G0+Npm{L\9h԰=r1%}Ru_du zJȵ _`^ཌྷ?/ӀcYw.%u2_2Z8 QhVO&>{HKemafjNM:.K3jD4 K%q&Y!U3`^,f$ 1౼RpB%6AYliQS[mvp,C&J·|<'Xrzlq^ @{VSDj)&EL`3U:ͦvZ-I"UvZ7pKOۗ*?zUIXbN`|kK/W,O 4{r=߰OGG[9ntCǁP8&ڱ*/YJe)ҖmgK πya@+wze_ 1Cf'MĚ k}CHca ZNL~7dvCb kG? آIO8g#j7]]v֠ K UXA' DbYԊoI/#`{kOJo Jڄyi48l..Ţv5¬D`,uӉV7\zXHՒsξ\$0DCqY9QxcHJ6 9.@;ncw*XVg`2(J%F;CG,շimi1HZnyUz{IW4>څdz-/Ӡ46`t,_osflժ b_ck0FQFh1aPvnӉlsn' Kћ:H gKdح><;CR7Oc#hi_)͉~[Y C=)tM;MFTN(ǹd[{-v]ȍMFẃ,%VcX_OE'7[I0wp됿S* XhUÞ+i-cMIT#rG`Yu|tQkK7܃[~/+S6":i+ΚrG{ e0zIDaY7,d*v(S'>wx >m~"C\,vlͯȪg[#5=^sAv̬''nxX0*F(& aG%cM"'V~BGhahcdB.zOs]u@<2h˒|5ĀVY+/fy5F>W"5=atNA岤L<EXDT+֓?h[v.dəDK"0m}ra uEiv3?ЦB^".^(E-:9SRI%Y`My!rЃh?AydHPgd ?°x=AQ; Zr<NLFrC|MlVvY[+{0yE683)sTsJӮ|A8FQ 5kQ:U>ޕќ ok{wD%J/L_jUn?phH"( *pEP; -GݓK~xO-ܼAzDF>JjZi@^K27~|[|ciF¬\?2RBGvV{k!h]uQk!-gq˩̳u<e{QЙY5]E ?q 4gUK@p14He[ u|{-$7rmx +@:LP=Cyd2XG%p*LR]q])#qnעR<&Zb9x3p~G1h{Dt+h%{(&jh3.t>߇/ rnpW,k_/Ӻ:+gyidsCiBX54R;yoHyMWkdZ a RtvqC`z9"U'!pOd; y'NR>2$yC{^J}87*Z`867yBRVY/&WlgC$QVu[pyq+sJ'hLdK pvNheƜ7{M}}4ԗo&&_R~fO]O73H 8Ū8&ܗfD~Sw0^d1N  ~:EiĹ뺊oI/f=|'zTBy\xn¸},&iS#-<ov(#8 p VMSLm9NG=R)LH/ tu&8i$vәخ=x^>]&)ݵ&6  I6&TD}0kyK Pg J}{x>-Uha44SOǮnCy _}Yp3h௕sXG{K`&9)xZ;\fuDMu +^y`3O%yl **uh0uX=/YWߜ Mrs2CO:MrbE(nͲ',o >|yn9L(~{:O兂Ag,j _?Q׶Gz($ac.,2^ _: MUmJ ;%ڙ}vC\IDsz'2h2ž4PBY`Z'jJ66jG%+z'y*'!KiEolG۔7f/EP:׵Sfy]PkCW{^H~SԐ31)HzfFL@Eی,J p]o=P#T wM[ܚ={?a %Ab&NJ0Oiì۠ SH jg!F([Gg =\=Z]\vY6+ A2R MVkKPXÔK6󗤟)نvILMl:A`{]XPŊ5o}iOjR<>*OٌŇ`$4bfUL@8AiO-:)R("M&k2@C ƺ-F +3ҮNG<&Nvn1P:61*ў,^шcҭ `LA<tN*FIV y<s|&y&Xm,mgYZEH7S!0rċ/}ʧ\g6SrB9ۮw*Iטn&8F܊&DmsX8d5zRԾL-Q2D u%~N2C6lo%#}j@وf,zVlk|~þ''QP9ܷD7?߅f_DSm84B寧niR*w'*mAyц̛w~[~p%,^ARKt)E4x:Zō&بuj#qWb{G+??KD3O֡8 (a&m|`,\"ge,:"k[D@Qǯ݉qb 1^(8~X\g?s/1|YBFxr5}'#/66.IljX $!=?vjS+>LX򯔷tXT?6)I˚"ރyC_z'S ozҁw 38Zs9臧Cy,^tNw5^0uDO"SQnv=g5 .˻@ ` gE9wRߤmN#A4@2o,II>`cBLɔ_!XAnIDa8;+eJ2 ް}j#NNf }LJ8?b GQk*>CVd7Bl`=9c,i]R ]LU 5+fI1 W{N򛪁4@8"?acFk3,& - Hvx*&JY+(];ʛu UO+pdEgZ\6Յ=fN y ǤG{jCe!X\:Ⱦ/Hڂ 4(4N|dZe])BZJC /Q{grg1VkBb @Oy9^I%^Syд@HLE}8kx>kTQi1\Y0cΖen״(j[f?Һ ebTŒC'T*1]Cg(EA^ ANű9'{9)&E|rO:f6Fn\gvt0ÈTP m@L!"D9S?2$BqǷL$ɗ 4 ';( n9,7gw/7!1|}Wd_1Z$ q' EFNoBLs4NVY "(Q^`tN :'!єrY97wg]T#W6ӆdٮ;Fy.N6Gy՗QJ[fYuzS#p8`xLbOZjgNѸ4r]IstS/wM$NITU *w%~]_^#::Ϩ.KXi*˟H&E~iè^S[AIlK˟UqRz{I2B߄'a>[ w:B()*6QW @ŜZͨ';60蹼!GaRzM6| kג qBNX>NQ}B\ɰ %P\j>f={cýLDT)WX)£rPV0xuQ崻հd@2"WC%fː,D/4>8Y<qWC"Mgo&6EH)Jumg6AƁOf=Z~؎7Igj"Jsf2Dc |b,9Ǻp*@P3QSD-ƐyS"k`2ftBaNW^-te\Ad\n ?l];fM3!;|o!sjZ-ui](dz@!dԥgނ0TfIu_f-jא9\#O@*6pj?ߑA|Vd>e5q3hH㎺`eG4NJeYO)-S 52wr1$1%? Hhk!yOvP>>'ASO>+ȅkQgYZ494a2c436aa8cf93067c8a5c9abb1922a7ce79cf48ef87dd09ab8fc29a0988e0025104c249fa2e36 7d3193d1253ca90c8fba5acfdb2d51686a5cec6c