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 [/vTD$ ]/ HOL-Proofs-Lambda:threads=6elapsed=99.191cpu=118.084gc=5.9847zXZִF! ]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߯s]plxΟ2_h ?n* vJ^T#SZǪ4wa} ˯j9*OXx-TbD7UU+A?\6-Ԥ(yNǂ&]rxP؈MC-e#!IAi,C졝]OgrAM\ u8Jf- =KgJ,"P(F$Jkd{l@g$Ajó!n5;۳~8LrUv䲛J}&|(NCGN% 'm*>KKwQg'~06|y4u4P'kՍ R:I;?e )ZV|_'+Z//A G)DZgYZ7zXZִF! h[]ŗXiɟ11bu)a2W5Kԫ;5ǏEH$G?O TSz>SA jA8kU\/.$A滖p΂`nD넽l*tCr_+v1}O{GFlJ8\d:N=k<Xm'DTMXx4$KAZG\ZTp6Q@FqӠs^W~<` DEp0x|Ɉ^oN)y"b*lv {s9 CGefgYZ7zXZִF! /  ]ŗXi%ytaR;[EjڋIͱv]4^Sel̝Uk: I߭ZMs-q%91*LR&AU˶ng&Ned`]tDw{!NW-||9:"ƆZz=F "qcX >EϏyx}3p`e@|箫Mju;JZ;n@ ]P3FV UϞߊ?[)]vБ!\EsiIC֜jtG-Ha,2"dfܦU>$kSi*Nh{bư~4s1wo~6r {%B4ɿRUsʝ±{OB$Ⱦ۪M7æJבPEB+>v$nySV;rNB)̵qr ? 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-,+%$!        = Jn6 : } = y >   o +tJ wO b#)Z [iL >/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 H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texK/G= HOL-P<</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&  \#$MA1]=栉LTa&[5SG[G5B>UJ \M0lUrq 7=,T@R%+poE]09*/{JB'xrVEU# yԬ[x^G#^~}ܦ^ԛi?-@5:J*`'㞳|]3GMxyZq~hS|.u h~fW4Pf`7PRmy4I˲( C@ӓfR_w{'$eAF:M.* `PbAޯ5 M#f᳑39tFJ(c|he{D;Ϝ`(-9wN->L>sj8PYjU4[Y9 ֐$i | 2d\iJ .Wh@0V ;qʂШ{,GT/'jlO#z:0@E5RsGRY>@JI+<fӇi3 ,߹U|d~(7b1qzIҧVf֜QPZzcCrAlrjp 2} ?A Wy-I&$ߏ5p@>kz"TvR%dī<)K& xgŒDsU8On/j*㯠ۈRAp47G{k!fXnrL2B I'@+_C> 'p&*'s̓Z=ϘDQ! _ӎ]E)-<CdUW0Xw6?[y'NֺݴIsU\1x%u@U1 r 'ge Vzč^R`gLU?w[fpQ+ _4 Ja;jCMw rCn͆S !W^p sFzv !Vؠյ/{6(:HѵxFe_,*Iԣ_21|I0ց抋{VTe'9Zwʃ=?t`Yb@ ì5nzqܙl,$x"}Q$IeC]_;U.sd/pSMWM% åYFd m 6 hf2Q^GT\$fM_v䀔WeP!Ц]+bAOXT`uI^b1ֲcqrR0ca=$YHϚ7͆A:q虅,`LT XZ]J!.Z57K__3L0FDJ/n )|2 D2*F'C6oLX/[wsVP c<-N(}^%4xcz]ORǟtLkĝi<i63&ٯY;q~ YwK[ʙܥW4F$8o}yE$z%}^i&ssNƚbE~/aQV,z/yӛ~tzfeޱr\M =k\gFjӡ$du]; >v$9༵&QLU{ ydFCC'?Ħs n ~[F2ݓxK '[Evɚ湘QP$[)ڎ9* 䧐{q0,:9 ; yOrVíQRޯXk/eG@"X'LCU 3uS:lVRʴ۝ad%M'|RKm[;!o;do{Yλ ]p*jю|b +r^9α)^HDϲ.J;]Eh+9^:S {d%fԗy N֦/ݩ{b',V*¨w5S CK0W̜^ R͙ޭ[ 268BLyy,1R$_1x2<*B&ų΀cJ0%yUEBB}ȕ=I z> .S֛|_O5^ՠ6o0M| cDG#y)c*Q^{!/b@/3:Ԥ$aV1leliCbCbXE <ꢰ j!Tc f%iAݔB-¿6^" Cb%v͆~dLFYiAAjOiq3SlS\_E 7UJ&A*Prnq;bpG6L6d/ \p^[Y($3r9~Y`BփyG)\b% O'9H%5K^T~e8*9o]U\O[d]iMp kʼnn'fgsp|sL<itZ{̿QAѡb=jw 6X@8|G:**kP&òoyq[B pMEi}1fFWWık|B0mj]W[g *oeZY0di4=?,Aᛏ>'ӝ\]9:㻦q4sehl _&)`dAs1oB,mo],7G]ЧSְ3p68}#ԁ)=& tvT a<z@!k15sLlZP(5@×̷eH\$Dwipy s6)݈Bݐce;(^!(ί5^5G "⹭wi_EwS Ao4펇U_D>vɼlV_ UIoj: :% )co tA]@$y-^~tG(6U?: +^뇤:cX?bih#ImXqw>3@ ])% ;Y8/J/a\KC9 sOC=nf,NuQyH.e&+byl^xu|A3gv7$JD[ݤ]Ǎ`v=tf:*%>;?ٷ0qyq.Db{V)T9rE-eCiEG~=fDĬ/.y4JTtK V$ɳ'V;x&ܰt*z8͔]9}D͙t JmygR3չ:^ٗOfQ @Rn[M{mgL!̝OIܰN!u޾NK0-BiA__#W,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+rau@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ D_tw=Oٵ= pq^B>/0~R"BV" n+J2 ֪K=9[S@&.dt"^8һPJ._Q "~*7}Wհ~0B8lPb򁳘:aKQ ۘtmeIZ=n9mx--m[bKH$R+*ovŅl/_iS8'Nm%p. 0:FQ=⦎kf$N0,  nQYYރ|f<Ck+䴹NMd Ҷ;uhOvqUaȪ^Gu+˥KL&^jȶ鈚ȡch|NKi1 !!D@x#>,և L&FUhn=?JocpRK!΢PopZ,@ra# !O=&b6q5TtbYg7I |$+҇ m{zXoVo:-'sEzQw P2i?cوi 7J'=pPR !8mJ"`kyIz;{7 VO׀[ApǡC:lO1HE۪ޑ`.~~\1鉗,γ*f)0[,ݾZ,iU,'`@(}V.2_4 BuߋպJ^+Nmxvst~u>׆?f ^fpW^9,1:V{j4dȡ7*dEAf$eo.La^S謎Dӌ{iIuCERrrae/@. s?7 6q.HHL A-c Gh`CБՠaw3{_*2x;u#qyAR gwBg':o9bv7kX-y+;DU@K$kW )+Z3|Q}6i0*zB2=~hC!eq㈅Dt ;q&09 :.+t5 6>zy˗= 5bLlWN z.ɺ=uwBHNzLlsX s65I_+a6πJ? $"Va@)19#_P[/xkճT[-U9H6QaDgOJ*CL:F0v¿ByIdxk=?aY| 4=jQU~1ZA2J ` Vl+MΉGq˽1dpLj- kQ+[ɍ.ɮw?e+.A9`"0O%68r|?:qt ]9OuS/xUh,U+&svU4= 'FORCg)brt%VJn vy,=uM|:ݰP23?wYDӲRW A%1x+wʫL|v7s- B~昪X. Ҥ^єT k{-`pcrƊՍ=qʦ!cM*0K_S[~wui{^:ʓVĀ7v ^փlGs\^vm|B `eXOY7(gx/ot\(oP-*BfeL 1jẄ́PQMg@9aqkݴ%OTߴT?"ʋ&?)n*ګn쿛4R0kA/_h፻Z+J\@DD|+&;H?Vk7J 0v&ʗ]027fP kɁږ K9pZ#,T0E>\_/M7YcLt1+Dep0iF5m"k_?b-_X|-q@d '."4Z:n#Mm\sH$MDuUL r&f,KѵEHApa5TK۰{W/Ex6udIi\:6!^ dޥ'=bT4yd-b9DzbHa Ɣ֢׸"ÖJ}֑`#ILlewcX9q;Sf.1ⷍn%̄&=icΔ8sY]|.ŷgYZm hq%pأZ]]]W61Hlҝg4ze+1S錄uXT%HZ*(/ ͯ mZ^?)x8簣UbAg+:ʋTI)ɲn El lDeщ#ջW-9|=,- ~Mm'7)zCWhe(Goڤj/fz $NƠf ?u@nei&4'|.1J1v/Еb-<>eAo;7I}0PLTJ Y)K/@[$7~ qIAmB76?v@i'hDnkB7Fd,Z˖>qơ/t'"Omv'ޅK@eSu,OzuV [+6 IP2a݈+cyH'd4``S %[?aiRk&vYh@oRj92FÞ 9C h@3u@#gB⒔)X2].NZw L!i6qf`D49HkvlLz?ؘ_܀~~0:! 4/*cBG Dʠ7Anga/RBYs@Ɔ;rJ Y gJ(eqRf̐5C/8~1'(:->[HnҾ9)z*9Q┦_!ڶRr<6~pIOO pĢr1`NDƲzzzиS;(!mw nI igj( Ta6y_Y\ՆndPo oVi܎'(lK;M:[R|[0ϭweb P;=kcqfO^ZdgQ?%k7m''IkZ6oKI ^g>Of4.`ƱZ}u댹OZr~blP;Zyf N.N*bmJ KĈ WّS#I^4amN }$ձݧ+WÊt}!5Cv[*Y qy(19eÀNbO@tx;|y' й ^p\ m./w- vm@] UU#jFhP[uZu7AYYaI(c$Ai /ݻЍm1WTۭ63i`Ss?_. 讼GpP̞6"J<36qdDYK͗'0ۍ,CxLN 5vqӺie[^EGbk 7E}`O_D7pe"g wy3?oQUz4 N$q|k3jB64gA_:xA%'?*??([(h ҷcYawõlQSz H!@P3M+Kz(K =]?$='G-˗F  RܺeL.& Zmߋs_*4)dr"H:O~H#+KixWtݻmZA.'×fR@̷][-`5hzNۆjI0 h]uRdW[B:gK,'+qE;%*y:F]ӳ ĸ/DαZ\É 3U^84!2&-3TajB}JD,ZDb`;vۍ Un/e&z) Aj0oM8G9e0;p7PͽP<2tEDSX2:b2U BG8/<1xP:=ZbBvdcȷ=d,6v;hF-.zO򢉇1Qțt?,|&3,Y _d}Mu#[[ -o 73#?ѧ4x 1tҔjA]H^؊?h ϟW s~-IxX3ڗL BPBjƇԯDD߄2)㼓5/v5] ,h{obw>2rf,:\D'q"!ZCl⾪ʼNSX]t)oTK@g A3 |T#2Q؂~a^s>$֗Y(-EjfLQ,6 Ef*pQ5~1TA`,C@Q"n%i`lÊ8 2Tan{J 4̕rM1xi9}bATj өgvh#Xc/[`݆5ZhyAB lG ILxȃݪdsZ "mɪp6=g!\flZ Qg_ݰ8 Y==֫UynSw&jYۆF>fGByS o)$mI-Rw;3m@,|zl&s_T1F%|TyQ);߲5E2Őtj[5Ts{W*T_C63pQ=F/(I!āt CfEw<أ1Nzw:K~h? upFnmN/D Ir7}*V_ogО ^Ý-YsKc;vuNO`IC.VXknk5'.ء&fDSDp_ "L,mN- :j[n+4IEH?9J9Yf*4!$ 63joGoڂhu'ƟS 0Qu3DB>}Ҩ5ʟHt W79߭VH 8Fr'B*_|E9-O)InkjsJoUWU> ²B?Wo# | N|dk4)  kTͬ҅Xc*ݢ}0}Yl.[F #r.ʷ'|#:}m\;ҺoAई/ՀeTDXB|t@B9˰QR(lgYZ \ \*/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:L`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 ]] /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 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מ)^ΦEkiؓ[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}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 ==@ /=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 . /C9 THOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex7zXZִF! U']A-MՋhvG"uIBm5grkܥ88ٹFqR?̘s7<ח-z0Msёf [cS #z-{ĥgpNhWw1OQP$WTx-![2s0'U$d6^Ol,Nv}<6t+[\n,o^i.0/f1Wls%k' sN ,N2:Cw~߀Ɣl&zYnd׻]|k"pLH1w~*sb ^=0ސu*.'¿_3uldUŢCU*KL`HCT:X:{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 ( /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 X_  Xg/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\HE\y:xQ1n~s2J E[폙9)-mV}Ʌ\&5hp,+RddPzF2ҽ%zbq;B(pAZݺ\P P>2*zl sBGTnR~`ԐLB߈}ViLFqpAsmN#Is%hpPvJ&<ײ4Dn7.$)]B*|ƽ6e](RC n)scA7}fnxEu-=dkcjPUV^we+I/7YȉgI,\27VkҀ4_PsTvC_[9\EȣaS3߅f?bJqU2B{G0gGmЋ,yȽW%.E}8vB+A_*{˜yd-jE5zK'B=gxLwq9n⚗F&IqR M5[D6E]/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files~~/src/HOL/Proofs/Lambda/Lambda.thyC/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id202M /A7 HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex7zXZִF! S(]A-MՋhvG"uIBm5r{5"#ej0pUxacH^lС L_|lL^!ÃuM@d cuLq)͡袟Nҵ?0NOWMB3*oIOA [䬖^ڦ5F^t k)chS_F("w5cj`DuT.Y\-_ul|ʲ…=_1Ьqo4]Om(6KS31HkJ|#Ūw@ttNSu38cg1_'vNxe?a{9s*>Z(Ix#,qs`TF8ݜ񫄇Z7-@~ e6vc} k?+MC|EԚh}r܊ӆAnGIۻ+uGZ@!?O=|f1r9m[M7=,T/:itj0v<< _Ag~g8>3<_kY $JmmΎ927\R99׶XE㯖Y6 3r|T;uOAai:mvAE[CɹDc !b!"nlKA&ir(`Ao Ywn` 3wN<8Y0X0aP6;xGG!15}i)LRP(ʐɡyYdԯ$X[O6/ gT,E8~M#ܟ9͐me8DJ/4>g $aEJ|}x w'nAS` 4j%3vBI@67q*LbpZI~ts}0嬀nj`+?Ԙy< *FY3o[_h9x1bc'=ݑ^2Ѥ.LhFmy邝 i8rmS6CG* ߇k̀<֠%ːs i^b8D 6.(KqhMdMyAl"Oa1{bXK|"["]T3 lk:ɮyv9ȏ6 icMa|wY(w1ei\p?[Kee/[n6J,tKCzuk)DEc\>agϳfM] 1XtI7|ʿbD:}d_xMx:(1l1]B97-IAS+w }2UkZ%{^Ktz9;gw$Z=6;݋o9z:H^i)* #5)6`^ȿ&+]S ]8|Nl uu)wjs:N>y> {U@(r/~ "V@&0U j> z;* W&:x\1W=fȜ*nX+ KzZ7u}[6 /2ERaƱ|Pw%ˮ] \;xpes!:+kxppޙE3|9 xx-E>njRtX+65`y4\gdVRN&_ e~eS]Æb |Y(!`Lg\7ۮa).MPcjͅᎰ>eL/Y5QIX}Ci ,J~ 1/ j􆦪jbop(m1Kƃ~|֫M-hWM Ú[mwvwN؍, _qw!2 WJNQްwb` &߷AїMo sR$ pЇEKWp9Pc0F*xCrPKC\*[*LHy.됺0&Y ҂vHše/^s`A}ky y+`R%Bh+&1ԚKcsvh0)s%σ]" ʀB'-yoyҴpK,O%yμdknYa4%#RLV;UwU'gipi'foFy`aMtD5*rggxի1 7I+e(jjdWLPR8سx[f*T+KUfØE^EWKaG܁\3%̷L協:Bs  4ܷ5v Y˹Df{fӈH Qz pM.ch.dp1z0R|TmfW ڂa0N>$< ~exú}Rp~\{]|l |;?:x`*8ߺlעM eц[::^=q*ׂ%˻Ya'StJ`{aTNːMB 0"Ms;p픥ȚߡjȚL:×;*$tYP#ETO5{HM &= @8ƍY}K0oIC{6DѼֱϝ rs4oIb^wY`c n"^#2ZI4|w_UR]!?1]ep˃R5SUj]= '`9GG2VGcZ7>,Zd\$l=/16 ;_ 0ud[m%ؚ8A{C8㷲"n-{ X#Cbs;~n99K(\DA&_EG0,Wimg_ =NJ8xA{yfjj@O 5iBk\Vr).9=eZ"y͎U1vJ>4q miuirK%)u&׎f0wb+LkMD#l0=ÿt;_XYpCXT;ۧ#SM/y t}?g!Gr1 llv$&qhP~nndAxD#^~ڤb 0URxw24I. lUz~OT`v|yURgczs¸Ըy(L񪘇Mӫ'VUc(~l˞ܝ̋PK8".djpge "}~4d}fjꆺ2WozFu]Hq EJ'.Y b[)a:k`Ҍi!/{}++6}_fbCI;1G&&?`l`PJ /@!=x1ٔZi#T,[ #9pB+KJ$e䂺LGm?s-m2zvY_xt"ףT-rmL~"\:FKHP?vp+S-,䕍H]K'Bleev);Ng~>`EHTgdYƏګ4@Z#Dt,5oֿ,S;d']k^& A-4LwV+r7fAr϶|B BHs;Ksw.j <=D2*ga)͗_* e]vyM(-ܴ8lE xڈ'9x /6g$U=pOy}L_>ӽ_7NA̞b}NR&13xX˜9]]]xF~3]'A,˦vۍ C㊕& +E͚ŋ+d5;c$AElwضu"c+̷Or|mU{q`to@f&wc#;(Qױ:딬Ӄa5Hc'*ryfRLR*ހ{kgBkKtMɣfS9=_^ 9?QI]vhx.@2 SA(R 2\ϗ?%20e"gL{exqT^@EJWL ]BX!'2|C(DdZ @6lY)-L QTdՃp64qY m,tiݱNΖ?붢.ƝC:Pf闦X&Cm3iYrSo =lQ+~5n1p` Ԁ|; :B2#8C< {BȰ8CDŽC(1)ְ}5K+WRPiVu( xjvczhGƹɣ0Ol++%<QjmKߢ6܉g/0ːN|D?ޛ^_+59ߒt$mٲRx4$x함D`A$͇I"嚞ʽXxrPkL{`^ID)}8w7Up}1\~&kQ15cu5z^Ȏc̛F9偝{qlA0eWUZ(c8N|EBHu[X;UΡ>554#ܮKӽ4wߑK)M3Ȓz{sKKb[ lJ{y"A2NIʨ7bd8nۭK| XUqp†%,ΐ`k3Q!T! ]$b'tĕʠB-rZT52 +f`ߥۢS(02z:k3ЀS< _\}W@P& S-bLSJ(ߛ~&|0X [U\z,KON9ޤiv?fF("rcJAa5F/WMa>F&ܪ5>Su oÔpLrNfx;Y)8‚KT;#./S#nbQyۚ.#x̓[E#-}6Ahj|:v9$y_wNq y?Aw}/*x$!ι9X7+6#rWW0},aJ^{܉ը}.*xl`*<3 XsΜ8+ Q(Սbm0r.[VQ!?noO& Jcp& {ڭ?#rUWwJzY}c(A_Q"b{_t۩k]Fe~cֈ7MmA!hyBE`Z'&SN˳8A>c(G0,>褧~v&|nu;@__kцLPmxeYv'-cy`C,ޘ52q2ko:y45NCD`"1@ tH+&h.ZDLoSBH'f=勡2C[RꞵU} ZIk0G{meھqg;%h'nE@_l6>jUob԰[ qYO9bk|7%ppTilֹ }]!Nn~"[&PF'3ݘ+`KnOóy9daK[ `(B`o+6PL>I,2yceuΩYjj](P!FG)=Z3 ohLm"ᄖR5C:v(kv%%giӸݥsR&`n~~SLn4\6 gڧ!Nf.W |ϲ/ɓdb=(ŌO1&+k(/~q_BQ]E4g[_D6 WЁK|A?zeԿ:諰j_Wc1ډSmc- RpG*]>q3*ǗWäz)tY,&=Ib5oadN#>U[/-ʕ,qwz1`G.p:N>i`0'Y qK:L2Ophʝ"j6rf,o(O7Hxkn`(i8tfvɶ5珐D+bH*$B\lRdT/i˴Eoûd\ tDQ2? VW)FWg$/6Rش;GE) Wl̪hFܷ$9_ь^1pō^镃-3kd~=!*ີɭE qCѱgYZ7n[sQ@j u:82c~83002 @.*~ D &wWCZKqpZN~&_y}O7*lZ'!b H6˸xK:z]"Wk@G=ǖ.\u^o[y$7|t`S. p@41 R ?;%y|$w,"yQ9EKCl9foiCΔWrdڬ&>Vרo#'_ 4EJBW_"^Uj=܀첢3nfV(k}XJ  EU#g b_l86 d j@1@l9ٕpB. wvLȏkCJڪ ֧g7WQ|#*\pW' j!*^'Ɵ5sS2R+(z$&tSZwou$:L 4\l & SZĖx~WyJc[~}Xr/g#I![UPĭG3&C)?g^"qG:Mf?{mM߇bl4Åzp? ?^Ta|*cnaqz5R}0pq z%>>"^9sڰ*@,kn0rI|w&Ts82_>*(M@XIOD!L*v?;#h:1K3!']_%4V9|ht<7 )5uzCѩWT)qf.Z `U&z>2| R:\Bk;vvh~ʿ8E}3tnpo2gXdy[RD`v3|ru~BA8F wsp&j8I)-R{v !N5>>[}ی(9ŧ$ "08<&H@TmLc jTwmliņWsA>|Piׄ@1uzGo^%,sgwIl'Ba`] K5~ 9`iI[Ǡnɏ62͏ï;ϼ+䌅9؟1;:A ŁEjV]+ҌnhO-F<ɔ UKx@u U$Uur4W˾N@Fh Q R76w^<7#/NQ-q @_WL?r*[.]J˼1:Qg3a5+u.(P:گ/y>|x)yrAeyj1[w7p?+C ;LxqYbw'N)rY`* ks|Rv#2oVl3%<6< 7O o4P ϵ C*aWJ**sҠqmiĻ5/Γ[ @ v zꄟd4"fQhBєq3W7Y'\OEM(T^4|[w)I\͟r=f7$4g!W#Xk|Uda9LJʖzjWm}6./^ Yh`~jgS#k`|X-z{0ƿĐjs8ZM|kbl͏:Zh'ӯ-BP 7ŷC|JX,N?fʙyW~8wQQEh :b2$Ӻ -|X=ĩeD"!.o[fZL>*(ҎG鄨7nZ@QI;Nh Ԇfm=-q_}0Lnj?%.'p[n*--o>HxD"ڊM0W W7ƭn$G<%> C'ωxzsq@wzl$,ʽuRQ3A^"J_q+ҥ* ݵ.46`]2޲ Chodݕ(.Nx/JJMJ%ozaݒX>z?Jz1Ԉk6-D/7-߄0CPncY&+VǻpWn!|:=$0ܙ1ɮg7P3Gh|::W,Xљk]}?Decp:( v?~%,NZi)F=<̦jHɠ@1$biG?d?ƀJC}L@ r%0O{B &>{4f)L c%&Bhl]l3j$v/FBQD'5I#SeʲX~p<1kBB8_# 3d ot:3#Bf%MRC?6wtiӇedyw[ ,ʁ G !=/o[5c@ȵyXB)]r 2P?qsGsֲ zȤOGSt=JزbUfɍkaz@rCH"޽SDžq0ҔXY#{]{qdM% |^x:'2>?g|k+NMs&pϊW*2͉)WI!w;Ϧ<0.ӡ.)V5|W9}|yd wl&|G)xn87dSy;wyڬ.O9o3$Thhz.v!+Tj-^{hjf{봏dȮ#\z#z[TzY e}U^a.XѴcR{b!FdxDt8*٥h,GNck/X+%G&f@azZ|.X{/Y8Tv_[g_@P[!rs ;!-Z3~X QR w?PwDg\˘GjU.<6Cw'!&XV&Vܬz\r^x_#F l&:qsY{u5]՝'j״]?rAef(cT][ rbЃ 3.%dU=xnR)[z\ͥ+gawk' m_bd?"1ԫs ^jϼU AJ$rP aᛎYN8lF#g2AQJ7e3/?ͱt'Q"Џop+X>'(`Xt P ja~*xȞʥUl npL$&&uYKs"ܚʰg˾mquh`L{CYV.Xt%&ՠn m'@b hbyOPdgYZ}/G# HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup7zXZִF! <|]ˠ)jk2p O6LP=͵gl5f&Di5b^8thvgA6ȺUZ6` фӹ,-}d5>iˇOm/S>jTg f^ /jd('WKq|D*Xܰ+*r[8n $e [ poyo{6E[51 ?&k<LWZ[N!ݝJ^PfPهېHfFXeyN*0Ls3 .'|R@qMWTч`Y"Ll,I3 r "YFioB[yNvChe'cXUG"a /CI1ߖbZAGu(ChQ(Y $8|j ~ppȮDX85[Hb3d0zqJ vuPXb% јvu=ɾA$TϷU:#:pcIy5 q|h)YޱT<5?+^HbK) yGhQ%&3 4Kqqt_9|J4jh8ĞG*4ag`R;]n_u{"> ox?>.Lio |BD п*3`u܂sz):AFV$s|+ڀ'TˢN"g1SuH2ż/UrT,и:ZYvZXҐ~(>s%5(ӽH?dke4-8j'pɋMQ.VjL[)43|^=:ϕ[O+[LmfՍ;"Z$ L#;Gnz >۸'Z"eZ'+%8dKo]\Ǿ0Nd0]Jm*z :olሟ}cDa]׿\4φa%>yGg:sO@C +ez[X8{F4m55l jg?` )?/%qa^ ױqfb4}Tf>xjBv\6,ƍ{D,EJu0~O;6ZH;n]snHZ{@d쥞S!1(7ZBك!eɕ "Tj\@o&jHF&QBQ:=> .ZNՃV`f]zzw2Wq"4GN)6Eyi3hmTkb>Muܑ\b Q˞747A&fYpj}n^9]m~<&Z>zba kp_B)T[?pAw/KpCB"@@@̫V;cKeɓ' >D$\wKfhٱmUqGA?cR!9X w~yr?L¿.ŋ;0_ & m#0]rը $/Wă_Es 0\Ok+]Mpv<͗L*H{)%&oZ\st.޺G8\8ʕi9.XXxf-]`~ɮg62Ll#bKDgB~akh9a'21;eX?i"ԇJ}wr|[ۧugpFEJ=L۱&@"m޼YfMJ^4EGrBp7avzIr'3W7v o>(l9, 3}$Cԡ#6HSBBv;b?5TJ}TwiVV/?FhS54-x@S0dCr_ul_,?0uN?l.!Rp)[^RKm0;$ś}e!ߝ{K8uDh ~"GQX*\BEwN6Eo]࿝ؑDT `֓m zP>CSGmvP8r dz@9' I٭$JUyx2R >h@ M󛴞ytSUޡ#'*ԅWk k]j 3 Sl6Alyk; Ul=SbSV~JPB wI1.o;{j//*?ٗMF\T'0DUA|l)LC~a\"2n;̽屡jNJ>9Z'ˇz'sQ 9l^ҏZ6oH֯t>-9n`;}G  2T&)4I/2ж k** t[s&&βClE 9%B_LѢsrLƟY1?^4QYYk 绠Xu[%]l2ɩ 8 Hت/Zw.D2%F_8-L?}٤e->>qt<\a6K@}z΋%8?1g޾^q/:i /LyO6KbfLnɱZq 'K,t+!\ ׵:({T~y"y]fm6mMǐ+n {`BQ:p6u^Wdftg9B wZ KPw)_24zS_m:(cZVV33XK;27=mQrW7R3hĜJ!`{6C/b,9IU0_Dzʎ춳zC$_'Qsw?;N;GbSwk;R8 @1W(";SZ`1X곋^d.)Nt F@^3Ԟy͆ xA^"rxXĴ7r ff7ÖpJu3pImէCbPHvST*GÔ``f+`Kpl]2 B=;\6C!zCNz[;%ʫ,{[ gQؘB&q2 e-2Yr{*?a7z'K;&,SGeRq`M{X H8Z$%7V*L^:h~gQI$N0hKкjG`E6I|TVMO)+}cܥP'e drXhW#iF( MV:#MgMWIUF]C ^Q0 "(tgHp*1?Ly6: E-%/ξ{`_&y9N֮8N#@_J4;-L$HݙZz)hh $t3cwȫ5o7ZiUz'c?Iw2vƗ>w!p}8%g,- +^mkAJJnȑjU7W1~Kg io.P`Wn ِ@x4Aۀn-MDjB2w.|ϫv /jWXQ0`]'P o-Ҁuѳy}p;pWćxW}[ME1~8#%@=J_=Wj8YՉ~@7}M€xHkqn .aϲ$'J5|'cl= Q4hƌ?u4Ʉ 0=gYZ 6^ /O# #-S)|Z 9bPPZ[Z@ojͳ-W9P`e,XXr`^q7 pjmuK]#V-2*E [դtZ'gH[J*Ցt9<Ḿ&/y^6_'lsR/4LU|j_i^61wV{O6zCi1˘*d*P*ڗ V?ӸꂷaQxG]@M1nFQMc@^H^K6օӐ({ Tw17LBJɆ$*@*S lrseIOz 5 )0}0Sdk M-PUmIX)%q\z˜Qh~^ K՝Ϳ)i`A$@r~%P{&c?:7٪cy\| %2&: JIRV%x W2Gust 亓 |񐣭̸xuG)PFZR!-h(y׷vDhz .e&@ B@(~}qc ̊6\ky?-CME\>+yɎt%yK|tx _I0쩟*i:@iˠJ @l3>O{FG<AF*ߨr!ÁrY3rD4AiKӻmQ(Kr|+bdۂl-afAҦ}{er#T;u6_d.TLh}(R7*gew *> '} jGX[Gy6D8,.dd!m5&_9OGDZÁZMNl7ŕ~ŷr*cX"I^$K_ Mq5GKOb&p;3#9LaX'VEl)JHv̓'0 3J\O!rrȵzMsoP.Nzg4)}3E(.ޤd,3fT"^C:Jm--kd F~D5G"[i( G֓(W.V7 {liرQ%9k6Wv{D, ic0Vi@@[HPuT .<ԝ d/xDJ$X5&8l9UQ*iAM> c' RݧlB !PÝSm#w?ؐaSLPﴽs) 0LBI8O^ck zsϏεZ\D)bG^3f=5YFZxYbX;Cl F0=$CX-z1'$S}љнJHMXH}hIn|(ZbHT栦-[hZ\tE{hU?e(*.w< `W{M%SbUb ,wsT~_ '?qޔq?=u%Tq2&ݰ ֭ !s._os02eB\Hk_d3F ~HA> ?_d[@k D::K %TySԘyQIq?Gxk!:#XآX~SnJpU_\Od YQѩjcenD`p"HSgҊRIpt\f&=/7\0x18;,f|0gJ]C/}b%0-pu+mD@'˧0cs'%2ɪf?E>.Sl-xs@٠ȽFC'+Dο+3֝57GOĤ(.L֛?˭—&y#Oy\<9Ϙh?;<;sRZ3ĵ8ũ 2KU_p)2K4dapԸ3E-c3 (:Hu[Qܷ`V3*]iLn[d!?[g.Iy Jpx?DlnT_6&VYn!RNvv&!bIpDZ>.g3.0Xv;!ۛx.H\}\,4*;q2J`Mϔn7ta.3!vS(iz|fQ(4N B+xa=fc`:c0رP*`Fa"tZrt i/=)vgM'nZعȥl}GNhݦ@ &p!sq>\oVz\[$1T4Tn.|NO,9g-F# ]ThJ'>oşH+etijA*ׯX~XJ\BwO9ڛ .Rnrb# 5KV{a(a͚FmcAx8E5+L@#Ǵh7l ß ˤv#~Fe4$(n$nZPk%+n \2ԍ:2q7ZvsJ8$Q @ L J2D:wX oޫE=x`9=Ejsµa0 DZn"\{P\)I}_@(6 pߠt1,{0i:'dCӹΖpQKw/WŒ%,}  yj'zRm H3).!27cZ[H< blg<_C efCgowny}NiuMim`rC*hh͂RfٸE5T"X诶*T2mG78D/$ ^W1Tyz0HCf4cFV y1lI!Ĕ,公ݻǖ{}@?W&%D0=0f-T^VhY@3NYOpH8"I4*RjvDN)$4i݋*67'tIɬVe/Z(QSoE|R>18d51 h}AB^5rT<J6i|A@ī6Ym1$%v1?Q[q' wπ: BѣTvnD^%-3RwJEp IKГMV|\`o2Ոi!\z1>x?1tIKG6I!AE%rБ"o蝀E|\zw:r[+5{qsfuZhL~]2&$}`^/~,KᚳSUP -n_/Jpw"Vb۠*]mGE٬|kGE1ƴw߳/3HاThGy_ۄ5*[ꗅTF.R`B,rq9hۇEQթڼ?j oc7gfFY}&SMp1xtp\+'cfڿ:f/xHMMJxmb,3͈]#psEQ>oM#wE'#??b[BԄB>k0W&SAxNX8D y EDN~Œ[Z7?>Q2^)¿X#+]lv-Rt aTi F(46 ԣS*nѡL0BTI5\x>11b"?sgvyH].{WZa>79nā! P`,1t('Lׇ*}< Q'Baf{x=gG>젨m}:N̵_2Z (* ;i&ijJnkz*_6Rtʲ^G?va@"1_ _H8G\,;;skj~ȟ@Jo cvש%2xS)6P8U[1]\^T")ºKeDaF݃c!j>zmiDu*D@ǽU܀Me[aD*M 3D׾b"dZ'd2-JiIYW-Cj)| JΐRxEsQ=ZG#X\kv2k-X¤EkA73M+M*S<XhӘmq0k bJr=bdI `@_2*3AčT |3QO385ǁ>^xpʀ1=fB(v8kK&f=USpF1\ 3ޖ|=qriy;7S `ig-m,AtCIFYykS6"t<4%l.UT}p0u,ق (n-P͇',],M u; 4ٰT>'68!< rܪkGN.hqNQn,ۑ.TKSoј/CfL<鴠pY E*]=ehܩj[w/Ҏ 5R-<)m"l Q4 Jx n ]Zg)xY' 隀N ن.:FIO/r^kqU"_Sb30"U[bK<,8<ꔀ.u98 ZR"Uȸ@s,B Hx_@(̇I7`ʆd 5( e`õ)&;Vq3<#3(XIWힼxw`gx/|/^@ ptA>rUN"D4#aiݬ; 򛂾wH y]pZraYeBLB"P]Pt %e"^NH?L&TZ1 ܺHܣ @pݛ -L H Wseլ2#)6\HtP«.AZ%?kx2+.E!awx=ݏPuы6pdfɻgN?Rar>lA!FjA Ԩ73X'ySm;joB>i %lê& <1*!Mդ/ȷI=}ȳ8> Da$D[#PbZntnb!6\EB+ D@ -ݲa,b%Ƿa8z2Ѓ6J|}7A-7U@ ( N˪"a XT32g> K-PwUk2L?5l~ƲD t ϥ8rj3YnzLajzi5O&r w;[ʡ]mObPA2T6y/Fa!e,J]L4,YLhP+WZh_5;h5eMZp0ut%m{ſEC?rEnji\3 ITiƸi{2+us5+!&cQ.pHp/bC5qgRHݴ%\;f=21 }KTlI}~#=\(Vݘ://o2,BK``7|=v-Enz޵_w?X:7E鹷`\OxaTKpe1;ыiкW:Ez-1S !!ەQ|VP^6){cU`ؑllɠT; Y"aàɇp!gώD0t}*a,VS1;?zZ7`nO~ugVEo.%0~A/Aj^%bў%d(ƗX%lJ$tqxIͱt>cay4BZ~xțCp@7sd,k:?Zp=WzI7F;n0s6qq'J?~u Qֳޚ$˿Mơg`e>n{! )&}3=(x50g'b) 6EoK A捅=Сͼ HdV VIMj)N *J_ VBMze3b&νFB"{+fS[M/kYYxiZ(h0o'4!htCk=]Û`Sh_LγbESKSK_ 'p&?kq 7,بeì(ъp*7lYp')l6=ݳ}) ^S9^=XFb^-]=;4?xǫ= <Ta܊yZZ V1֩؃UB")OSh^h " 93^IeŽuǼǭ(gQS_ln |ғSc "[mjB+ R^N2wABmkǾiCp!iQڈ3!uX/ft1oUN.QSD<^1[dײ05Hƚo5 tgHGd[Q ݳm LUM0.DmZ0 e(KbG:Jon:)Y@,dVeJNb[Ylr5)`FP B/.@(OFr@sVS^إwyD_S[TొL_jsՠom{]qޟ!g1)I#[$I{|`Q&NJwDP8c9PeuEkTȌ.8$MO\*'(il_57{Uw TDqŸ=wZu?8i9_6 D"L#ߍ>d] CJ`H0|P,-U#F0yZcuѡbЌnOGҩ{ȕlW(uUnEUbH^#ފsޜʔ\ĮKқ>BLH$s柫2R8θ^P@q}npɔF|<ۚt">{n:8 am77;^.$S-֋;Xd~0 N-8> I2A;?d95X@HD>+Fiu1s'PO)~DnL|C<ЩDDuk >V%:[1`]!=/CY-ﲶ>m+\I #CеD_֬[ 2HP@!# /ў_RK=xC`oBɫ_;d->:ԦP!A y6Z۲u4B{ rvC?hN-s 5П5Ϯtg%aY|J㈵p00`wG{$B+Czj3_хJ^IMѵ0By&1ƶ\*p!ίM݈Pq|!f2WD^߬$h)GM ߵ4]E86- z2L Cڟ.)Blqpe?HF:C[kqc"Fg}4wŷ\), ҕ [TjvgLKR8r@ ͩj>A5Cuʿ.|ޏ޾{,R2օ9ΦG/>H_hin#,KMno@o؊%d>0厔u5rP{k,ͭwy=W0oDL$T`^Fhi6ko 1[__%}P.Sk#0֜" oGMBO&ֳObșdJz{ Ik4P[~VY<1>Jy]р2I45FK),B}{%._ϷDJxkZ0G%36 R_Ϥdn"hyxJЩ'e Zr=lr)*^͞JR)izDGm լ骁cwcvm =ooFvYQsGϊ$E2||$YSI0ce٦I }n)y ~.NAF9vO396egpz@GKȆG*с[ _Dۀ'MocFֲNx~89U?"Up) tS>&ҍx[!Q B؛rڲ p wdhțR"t/^r~ `@[Ubzc^?熤8!zzZyӛUŖI,Lsb7O_xuVdwrW4bV[6ͲbrHpG&3.AEzG~ ]GЦd iKRX7.5**sL5HfN;$( ?o$} KIOƆED0cOMzFyʛ.Wƒmy G=N)ƽQ@ hS(*"bŘVoDDzfZE go#a(.3=i[81*` KR[G9ŚBEF\6J&sJPY_IʭE_+*\]y$z ԫFkOyNG`k]y`B'Z=@BɁ,x2Qlq]]׺}ڲGa4΍2RsgU=){u>WS=m-ݖ-~ӏYܺSgYPuNr`|2IdtB اuJK\%~4HPl"\S*e*]@vJg`E8 ?n® Yy_űP+ btϒ R+&Hc Ihqnh퀉"/TZn-7ۉW.pIӿs"12H,HRz53Ob=׵iKW&;]*i~ n6Yn(Qb8Xkϸl?aYaqS/*_^)3)Gh}̢΋Lj|RcHCEp=89V`/bvsz_D#g }Y@V:+ONInrnrוcȚU ȉ_5dA aMTJ7 o-I] [98ReNkEWJe+mI镝ѻS(XL¯d=l!9 uXeiVay&c?9g8T㟎oJUa$# W(z^#]f.Z] Q C2/u i ^Go3ngJvGmJE11&b҄+JxgXRbP.Ujs}䧕aMAv`Ax4 ,؛3V'+6W10̑w,9R^Y!\3To[ھ:ƕrhQ*ek#)E)w[V|@39VOV$tzɖvFg 'poбT<#[H!e/}<Ƿw:.dJrBw>Dω4=m95/􄞼)o'mNXK&8I{iN0f~Ws ƂWm%!gih`єo'kS g/;ݻ#B4gfe!ArfϤ6N2~&J8uw1gl ,_@Qc}xx Gy=(roNF9qmGr.i4H+rL\}:ȞƱ-4l}/Լ(/[maD_wG]CҀuҳUDR S{,2n%F"uLBpҎ`? _zub#WrIg['u ^ %E煇c>'uLe. }67mK6`۴Ɯg,Z mTĺ>9z^蜭duW7@#[&24& {vZ?5?}ޣ;O[!p&+JJTW/KfvS#y|LshFQ/) (ػ}_5q_ N;iH󑂀UNM0g+oW=Ś+M~(j_gz/%aS4>qXl1R}Kd:[.uz>FjU0{P}x/y8B4 /-ɵL,9<󗥞ATʓ!CDM69_!Bt͘Ϭzt!HG fCI9Lh0^ʴk}2@y[Kc5V2+T'# ЅI?֮ԾQqH$ ]?Ɉ|1K+qR>xwAN({}?]JbQtA3 BghAأ@[|qΪ{pbE4(`} ?]QȞD^e;6 eA]ݯW84M1 νcSqz υd%L接_9Υvn~j% t 5[Ly_M@Z"c>K2iAC8|c {Focq6px: u~j  ) ]e–dd6sKwOƗ|۱2~LB]pZemg<FQim\[|kJ1OCF-S,kG8!6fmÎ@x2q6ЇpN!2.كaó,(p1`nP,?e;NDzPYiqnN# 4K%(khG8TW@iG{oDV–nZK 4'[23C=ؒ :`p)pD8ڌ@pEaܾ_om3mH{fFS=0SУSL}L0$Dw=Ӗx z(tZ%nd8lBȈL)@^cOc!ۿXd\?ラʃя$Ӄ2)V?I̙.}ƕu:wQ*Y@2zTj)Zrđ ,b'qHͪSsmфջdڠ-dγ7)?;B4H&y-I KEܟnRdu:1/HUCuG vqa EAxԜRO C_P, /Y?dxLO;xs#Ew*KDk謹? ߚuR@-Ļ0RmDuE(l Q߲yabGG2B~=odW;E?o6^T w^JAO.L V\Ny)hGڅ!>1=3d A3a]N_e wj; _{Tul+=rKfQYS7^\P+"AMTβ4t!g:q YXeZj:=Ɛ>t K[6|/iSH\2OZ0aFK ˭ml&~u9JV 6ßbŽ(W~ږ]r%ɮnڀoc ޼ʟMp =ǑrJ&JgxY\毩SD}9FQYyxE@~}bhcUԱ}Ĝ+,D{hp6|/Q -ew %top-[[{Ioߏ>e}נ Ewju{*rcn͵g| TIJܕxGMc`aԯ(rɮ^k~B#MK ʭߚPլ`]9yi6b  ݠq.R̟Obϳnl.|$7p4B(ŘΥyc)VqRkjТz(J~hKGlfW|v_Q/p<A[ʋ A h";@vߒ )ʰzݎz݀A a㙕3l{ ѼFTP?јE%ZWjpGf!$,U#1yW伦3-|y'Q7'XvQ;WebcԞ^@8>"E}M43/2@M Q ̄B:'RK=Aw?˩)jv6]߮g5ȭԀP.'7bDvDVPu>v8%aPO` N_(lF  Ixv%$B7%t5G.GW"U EmgFkRkj??~xd+FMk`]vYԵnaB/ 5 T w]+"83+rғocDSXc-,R+48ʘõ@Blmv up}x'7O[^îjq:b΢hu R݌q[n;7hB߂3f0@S8)ώX3ԛ]9n=>#d@F0"t|u}!ʶjb!vD=Uɴ!r^~9YZfG{IoFOhmd( F$0#?z}w5^>"kX8ȸB=?9NoRɅ֝+bk}Pi=Ll#Y,_t#jUEϪTW׃QDΓ6bI:g5@@o/I SYm5wC<|:A>Vq eMg/#s~ `Ӊxl-mˆ%f[F.>;\4f;ܭ#I'p Qt|(Y#KBtY7֖=~Ggh"SJ6C;%dž6ٔ)P4 0S'RNcudk6#"GOP;>XpO4 j+ɮk@/ W!`Id=xuṭX bL M*zxbtpԀT 2T*5{: Ulbț3!bpu! ZSGMy<ӹu W" f{C[`FoN|b+^ *Z_/bgYZ  j V! /A# ,HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! b]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E e<~m{tW jr#LNƩHp9ˎ|\Z7X[ 97G@)P6vy6Sh'FLOt?e˒/ST0RzoOh D%ե8 y›>ލWǔU|sBTs. (wa m aQN#v7#/^ˇAfF_"mw2bb?2gA0^/uJ'.oIڂwNaH{a3[H?>筨*} [y0#u6KgQ5GVb|u}4 BN9lf5ki Ņ*b(Hnx.ф= ':%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'm}24iߔr0O1, sb=#}nOkjDw\sVd'F%:- MN6ȍ%ZOP G坼[R" SۢJ;5-eI޸Xonndjټ yO]\Gk8KEĞTS|T D.j›Nz#Uwm-tX>KkEkwsn1Ջa;c%SO"M9Б8E_•& D!mX?P\ȓq'68jw_#)?7rJoNenOWE68^Ipqo^]7do28'1ge{ Kh?X/7n;,1^iU@7~,b`qĮ)L]E (t9lD&\%8ND\d'w1̰z/rϕY"-]U-c IL_MY'}' {& aSzg<(,f I PОL < xfxXJmUm.kxW.C@_HJ0h K]l;g]Ti p0$*F?]R:cMvdGsc25D5)pUjIu.2 >?:,r[#qU,x@Y<*wJCRl5kkH䳁2 ReE&3MS}Ş)y>5DϜfTӕ7t+YW Ȼ4)krWI?zCfˎojytZX>gsu%vJRȈgGa}-&RB3늻 8/S[Q6raSY kU@"C+r0F ?qgvtX 1 q<ӵ?~LqbcS&/ T_!'0|siB;/}K\7/5|pz/?pֺI(q~Ѡf,غ'("]i8$~a-)_s^m'/Ԫ__vobJu7dWjJTi~BCOM6EJ]Gt+ִέNӽQ6wkU'J0hK@V;zHCxygU7=1ƿ=ƙ9X%qI`"  3,[ʾ l5ߡRV1QܽT/ TcjK@qPՁf}`V%&&qU-+zکp`7f &w@މӞgi (F]v:<??Ms lDf1jg +\ mbb*Fr~`i 9*8b8Y:D&0Xˆo,vB2UŢ\pRWe!f^A%B5! "Sh{R{6ocqPwٸ;Km)脵uZ 񯃂 MmTfUCK^)$Jjǧ@ΚNЃ߀b0PE^ uBYyEvwf<)Q!5TovQÝxt:Г#Qb?5`'+8]d44yT7gCQ̬H1XOV@ (?M!I.@]y~{ʆEcF X*(\a9Da q|WԛN#%aRDHq x4Xmgp6=g-wCr~W]ΧƧ8>-|$k[ 4m|7X(uof\C>QsgHdĄф0wqod,D0r*[`W0Vޢ9-}p^f[;5ŜpZM|ÕF|k1Ɋ;ro*uc_w{l)~Tp:Y <ZBprXȌ}n6޻XܙLYJObS[xA/0z1 O%TfU苗Z"Ə` =qoZf^tS+ .Gp>wG|Q^hK meٵ|!ihD)?a J]܄b c;*gw3V?z<{Y3Om\!|YdBl8M9r@vl< `Z{۔Pΰ|!먖n| 㣇~[[YIs+i#N+z~ߚ+YqoT aGOݗbѭ6 "erҵ[xao76 SgFcrH6 x+X$hp^&;=gȗt*E]D`t^T_!V_)bOE2IH2B˟}"4\+zDC?n~5:(Ya,'E9(bn"*w iߎ7\Fl&WG0j_UYnsᄜbFK=WyBIM_4rG1qlH*nkdB8F6}Z0^MB#u8S mp13dѶAގXpi]L eS~Ӑ%moa M ԧWwXĞ⩒g$D)>}xl*G؉.Wu{[,ΨUOG {]:DU*gS}wH}ȴxC&1܁cܼo8NG[8옹g3 IIX* ̖^(fnEz g󁎥[8* 2i84zL(?t8?q}HR/],F@1hj.Sq.Km7]VU8c$X+L㐘=0s_H5/1Ij|{CB4Ly}׳,k0Gk+ri A,09^ʼnD|s' ywG[C$/\v?_TQ~n`76"g+6 I)kꩅIh?L+SmB?e RzO 籮&r/K‡w3j_dMR >waɆ0Z HE|zP!_2fc{i9M[ >2š:~47Q7u%KjE P'9)Xc#gMo+V *?3VDoi> e9 GAŌEUp Ě]9 :SJw,ڝ{ bçȨ8ؗ6;ӊ6=~FQ_@t)n)wٽv6bQUt )[J]=AޅnjE~Y%$$z']Yڑ 6)fLic&qCu| !So0$eR*uV!bHƃ:4!k6а~)t %>FOT~F_-+kU}ʮ23ߞ70N*+Ng˼<%"{ZdT,3rp|Z>q6:%}VEOHD8bt9w ) _'bh=ʻ<2RE _t2# z7ar֞)1'o&I&쭴^I 7Ќ|eₔiP{%ट0}46^_2D1y%Nߘ;Pⴒ$3JK!|s .DO&00tYu;:{ܛaywq nIJ(c6{KkbSAa!$T4Xq ~'[O-DrɒbkDdIL:Jllxh\x<k@(oL*$E˃t|t.ա%f^|ê$srbjNTe1P-5!o~ȫZ1@j**}d3@Gh{3"TVj YZeQBB<;{;>-J:X1m8Bj1xǿ"eSIL,Lϙhe ܚ1 ZєmvUrf!Jyg5⭔A1ڴ2e"P$1*s t"cѓ^ DY}:@s|0a϶{KEu6Kp"e%apoSwR\i9>Y$Gj=wh{fi^ΖO2BS#Ty$LЎpO9Ś'Llue[Kj,HC[<9?&Xы<&/G$P 5Md!8~TeF,Z'aT!rVB>zL@[iwcnY5;s-kQ0w>opNtu5cZ*+3xuoPzttG NP.k[6>+?LE˅6H"g%g- U~ZzT=<eZyvD-_l)c^)8g^?dDm;xG՘54G09xb4 0M)FLk-ql(uS;݆vGRD:CNCL ֲvvh.BppsMP ͕޺%̬8ש--AOa{a^T]p$l`D4I)X[XQ%JY_WCWO#~&Q0$ fL@3퐒q2a^42]| %\rL`b7gX2 rQXH]ЊJw)ܕj2J6TD?]bfώ 4 R7$gyd!x s1RM7wG*7l&N- Ș _ RerqA4lq3؝ J5Gz4p%9ϒ,蹼[̠/ÊG -O)k>PXb|@hdxePȀw%=աa75w!9N AUa,,oiP fUh1Tq:qʕ/e7QPnj.rq[{+u2B"(\"nv}L,ZS;zyW]`"{k@z#&k߹GDV;~񥵇B!2v:B~HyWU **H lA鋹[{ n"RD*:ڮHGP,ʗ QdK.6o~Gu.([wƆPGCptŷh'4Hz`w6Yc"<%F,K }.P"8e8T)xbCfUc`3^ h 4&w`4-lC2Z4exb2Z 6]ܭ, Efݹ``}l4CeckCzg딃DG%"^}Ag"f;Kl҈p)-wnr TAT)tjOҵ:ŬC*Eq|^b>FJVD~u5 [Kkx(&MCl@U&|+O%:֨J(E͢;zlhTH*{,fQT3G8E'+ z#:P;jDy'o9\epΫa_/xOM?/%mwޛtEwd]ߛ#y,Gc?Zh x%h5W#rKkxC{j4G}{y$vٮ]V8]\0d]Țȁ~܅ b+:>`DLU5pS4YSAbX%A8knWDž]3~6EX=5s-!Q[BYu2JOab8~75V]0"|N`3y9>ҌWxݴ"0~ti|مHֹjK1~c]\Uw'9@IaR"+a2ձWQ p CVFhyPLoafj:m73,]iI, NӤV) k2XʀY`qyYzVm,T6eиMfw9l :S)NgE(#*~&&?U%6rP[*^5e>U4Cr /067mEq~B%G6N!0g׉QV1 i{u1Eꍎe)5K QOpnx/ r:1@ gMhg0*ɛoy^L)gPe k; q`[rՅɼjP.xЊdpѼ3ߥDXkb땅%8F(bW[~D!)iJhւ5^Ol42ݧ.=7僬6mkl>@{aODT$wqPCnT%t"9'(L-Zȇ @ l*޽ka=F 5&hM FCn=J#14h+e{aL)DvPD'Ӌ?/2et(QW/Q7EvHrm%Ō!?|ЗapǟZ6{\~`:IYrҩTzXnݎۜ3q{)83ҕ*byI|v܅XCQ+UCnexW޴:5vMu(M>P*2$ڮBrL<{`t#g()-<]2YI l@Ngް.ݶβ*aՐlT¬(FD=RVܔqINxL|ÕXnȴ^AJq Ah0 f #1$a'W6m.v: !jrfFrLӖ(ڽk{tg^U_gh;V̏tG8l:lTgBA#;elF+Kp٧9! Aeʖ-ܨ?7א+psckP6P3̚x˚wCjww.hVfud/'*`PYX5BYĬAKg9̤EkDk: <:6D]bs9y*i[Ď'YF':Qm2lэ>J߆<#Y+;#4Ip#cu3d7P+ol6n2 yg.YTcޟt"R>$H~Agځ`N*tImA5(қOdVc~M~G.w?KM`zAH,y-/4Q̼y;xgHp,Y# 4^\VAsX/-'!!x0W8J"}P"(KTծ4fFT޼+ …Ø֪5.*'FMc<ZkZ:h g %eZ  " å=AhQB_tU +2NH_o7򕉄EYlSBkZa-RqY V1C<&pAAZ)F[<%֮yH/SJd3Ou`{AmD-EvsF6Dj4:XKjFSLx ;qj-nE~ 0[H/@{= "BJbno ]wIi03_>l'MiMK<5Kpb$4N2EjxFePQ@8K!-_]~\+@?rN 4K>wt?@>LZϚJan.|4Fǔe`凝 +jo&-1D$c}JSB_IPe࿵ [%*Ddc t=ϴ`$XhEJ3},2>5,։WTÀ}J!Hw<9 h9`AF[:ʰ.e1 ?M dt^42d8"8UuDV0okv J/m`iǻ Mz"'kO^C5%`,Ԋ0X+eS$D(W Z,uC7Ԙro @;Yv ;J6,yۃ{SSS:7zY`%-`y5i=VЖV]>YLk]Ҍ}Ξt1)ZW-2jрӜk򙏅M> `^Dͷ1r`J9RD&/ p Ea~at/ "@" o̽cY_H]" ުҖvD?5H[C~lz =unZ'!)=O!&s 'ym럐g*T޳q?LB}LԜ bA'f/RCU m<MjF/6fdנD\t{ oIB?.U4MB4S8zh#<.Lj.`9p[^1=@~ aAs=A}v/$C^`h,0)L=i4s,A4=-<"o< F{)})%x o r_Ca U]`j6zx"T? 6 Z`l!\$LXٵ Ѽs\xO[nwݫ)z6#f[ 5j(p|7=}R1&[ye\AH؊24Ӧ| oȸ(^*va|ԎXO˲^eKooic~x4,T8 cqV'3']/bhgz]^ʍ_ Ek2 kC$8Q^@Qm8e͸ӗFOp@}2,\g> h$ ^>ޅ9*ަr*p ,pUVWV,x9 4/"i?-ckIxWT,(ϭLK\ 4;}SX ! ɉ]ᶽjI=7OѼQO-ŏ^IT=Ru-C<4wR`$85]0yWPĄ;p{<ա4LF/8n#SdN/taqHCfʞ:p%Dq4ߝ.\;3V20ג}}.ʷhF=<}kȺ~+:7pH5Dq)<32[m rFvg_O7".A]4}?(ދe&ԎGҢN0x&1;G'IȪsb n*١L)e[r؁BWԙM80@RTcQF*6ŨdkHJ(;J9_(b"z ơب.26 2f|awhJцZc>jˍ:0m[p>bĉ?ܥ4Kv,9NQϥ &D‘x&{FeWèh.&=;'[>/H&.'x-מM}&%b꩸6'UUohS~ _U<ƠGgxCTM7рZx(K$((]8&n^JK4>^d͒' jSdlxwNt,0SGO2RzGo@"ka;Sv晒)T)ԧ",:JocxDX>1Sޅ5?zwg>m痊~Q!1$nwa${G r7Ut9}V?JcB*+!jR=2yX@>,# K#bT_Id[-l`88vi 9R಻fxMHEd3ylP (A= O(&>.GD>7a=J|L؆weq^&f+La#PB [a-36 fХ2זܩ=[:a`8Tn#e}x) 1Jol!ZpZYXnū4.L &d'*!s8ms+d2`A(Av .{x*JT N rö<Ѕ)(q8uH@/0 >컆(fp@Hfi%Z \i31Aroy&g4`=^aj{d$SAhȈc 44ye^N- }XA#@Ve%$4۩"}\JV7\JVO8sd*:zrϢȉI8`}6RhT&|'u}~pw<"WX:lZe'(cO~*)IͅBV!y(R^_ArWPߦ zzL͹қMg_/hc_LN'4WA-)(\ؗjp,PTXWWIؙY"0S_3sQeeVJ wAy76뢣4sql5b$=]?oF]OsQY Tb?_sլ-9)Hfo0@Լ/?aQN٫ҳ~YG/,-S m{:Ç]X3ӥHT_Ww1;B&f蚞 c1,1">?ykwd@Tʜx7&Th_:1l4.Go.RNd{I9Z*bK[ D\fWfQsOɓu(bED(eش28ơ:vty՜Z~6rO*:ʬw@ոt *΄&hxTlvgnVq?DZ6ln' boHzlz@7V F˘&'2Lu@/蘴>4k$#\FN3Aa<>isVĿl~X"r\ sCc"q/$o0 QZ*ybu;aױZX}U{^.;q1z-a>@Ƭ)2C" FX~W'qtk7zu4fcgCw۶8Vl.)jiCj%GwI?h_:.kdC!X>|Ml.ddET.~H9 /zk.*ȏF׌pޘa&_-v2#&{290vc9#C\*i@p<2yJF,I?ծ̂+\1%^ t9K54\dڸF(lZI?6(駚]:^򊨯2v HA$ \Zo8 Nh} e؆JzW!QT&;!Tab/cHr'CpL`ݦʃgpvy5q۹H%>D<|Wөo:8{AV䜽3䵋.(2.ߌ VshT_Gw&#(& fEd E?V76[nPx:?r؈x| Q\0>Eo`hU5o)CEAƳE $zuRyL2{OE`XӊX۴ B˱T 0[q-IS\[%]) n{h&l>㗥yGYQPHBՀN-\!i05ZԝN$;,fQ)XQxŲ7*[tdOzP=ܻl#(r0?[ paL1D-./Bs7^##xʑ UJn4~GPbJ*3xTDBs4"!Joy摳!%6ensGgZ|O bat܋p%ܠ{;}.lֽɝSܠ_˻('HTu[js6o Quv\YPjL{ :y+d ?j<=y᧎ȇsr,29\X.]Ш{OcIVWaI { 3-7 PJ[tV]Džd$9]#]z4d1UZ.gOd~pfCrƮߥLb}lo>tpV`S*<>XorԔ#Jm1O :Ły[ iwo[QƱSP{3`P7f<AHQだQJSVb:=.Útgl;Y9ǟ%+EHxu2䱲>i:c3\&* qB kJʡ?L!r?պVA UX#++v&eWU79 O |eb%s/^' c9S ^Ma#LDhT }&:;Fpbn=Gyދ/E*$rJ&fLeSz{W2ٕuq~bQjpUq Cgjtކilkj.F5Jx& 68e0Iiv3 ~䢾ȣu|QY p-CO/ xaB!c_͵4 ={9S'䰚|sπyX!h+ j" 0,8jv}~8<[R6MK[켙~A`W`KWjӹ1 tyqn>TGa/t`*d2|asy񁬩4HGWŖr^Ev(XBIvWB]| tA~줪ޖIq"_\Bє6Ϸ*=߬:ȩe E} ⅗%=k5~uNؕ=R̞%=ɶds!@,𣋫$I{BeRdd~ʤ#=x.Kb U^؝_c"Eo",PcvCB-70 YJRwl?)}Y._ b(x,DuȜ% )I?9y'$TkWMqhU0.hbxFlo^{+iWHi LɃg|Jw [ BBPfv<|ռ`ϻIEMt*fV{)[.;i--CF@RyLثNUǭVOO+f/O#ڭe+ke}:N̤p-5H̙Bɩ+k7RA.jJ&2xZJ#Rv7`vmVb RiuAJBhRwc:p+ڡ9۶ύ!Tpd~ K&_~3Y(fL,IS^Hlޕ/d[M2% o{jPFH+$V-H;zA14OEA0<;8,t8ۻB4n:B㵴o>|f؂TNkT P9kTxo54> &T6 >AaN|.Sk•&HzP'y9:!311!suܽw5J8ZqP$*>2MWjAJVm D--Q`SHYSj4b^߈ЀҀgС̜L8C׬`s-$MzK~](N13\#7vk2A'o$a/?#˅RI蒿} Y%*]Dhv"㴒N0iAco>|JT\z|*5;G-%DsxUD -YT޲ǁf8AƷAbȀ9iI594Ft\r-亚fi?6@0wv 8ō%p=دV+J"yc~v߹ Hlτa^ia%f.ux, Ǐ𤒈H*QdcRLCd jXGHSYk #aFـ,E&ݨ^і+·%ՋBj#=1 3"'-@8Sdf5dt4ǺC An,rQ΍7eNJU#;g%@T.3΂÷9Os~aYx`t$}6JHXqc V?vl &TCȲa/4K ѣ;[V{`>Ҥ"'uїse5}f^|k$e{y+I[n7UjtnQ"Yͮ XV jfcSCxtrtwSøf( ZZ[-gB8Ȅ]}MA9ЙB9]Pw}a;Jڭ$u}(OFDU+Б{[ޚ`E3L%K: v^[_V_AXG#ovckz8 dlk~嫖0ñ'bʚCtalUEkHd<0[Jf};Ȇ(wuEco]zU^B94E=;M{EY7$D";~Coɬ#Wʃ_}A@Ծ }/]Ɣ|5$<>~4A+X]W9,uΘ4ɯ5VxWj}cWahsga7d~4w+ӦڋE8v\s9f2GZSث(j+q=B>/O;f+I 83؅} h<]&ť t7Uݾȑxw5@ήfSs4V@PvL3JQ FzZDu'A.ǼVxs` "PpxaYԹ56Ͽ HhvyY;l!UPŮ=Ϲbܺmn|rPԌ}>dCbn&Iu{jԃ8/[lEV+?<<1 m`-m!AtrZ>E3ZES%\dp;)VU֫h/VW[PR8EUbM(/b :m%.!ۣ_ #ýCg| }߱Œ GKmMhRl_p)GꚅZU4ONC~r0AgXDU |/ !TijINsl#a5JF-H/ S Qzp~^D!'ZkeLy$֍7ty61p\pv;I)\~hO3`R-VkKeBQ=Z !{9*Upa1nYJ?R^h|f# %y(їbf0[~19]48/SGp>q!sqӓ}PK3oб6Oj?ե+r2DP]4^ćH &M YOcMprH*: ? ̐׋R,=gzcQSR0LQ$S3'R2=/ovm< A w%xI[3LP/7`/9ʫ@<\=eط0oIn݄.@ŝ?GӞ0KCgGO);09#/@<`:GߛD @ǨuU;^\zwMYI* P(}b i8˦XW$p9hh&t&FNr(JIuw pb=\%BT+3Me)l01d]>p/$bώ}+&WH}`AP"ʚ@mڶT^!c$"'a;ba oPͨd3g+ Wg^7ўu"%2# CCNX%O)\7ziN#5a'<Ǿ[Ħ8 ]`pm7͕DPPD7i=f_/|[Ҋ Rw5A,J% BM0dN̡42WV0.R0W&lTΒT9K>=Cx9_4zdQ`+NrE+]b kHe@{l "G333;C.n'^tD4g= Nw9{WJ|/:(:*m5xN|c2>5~4P Nfuu<̀ ph,]~֑P0s3Y=禮_pAߛSiot&5;\VNx["ku d)pdS-YRB?chk-A$~;@䥞}p-'Pe2rv*>>0ؙ Jj)g缋05~8 4AϽ9upj7SGgdQ!>bE4d"R~LCG1N PɘOD2dRKlTV&I7{g)P !=,)lW|擞!ƽ m,btfw/2 MYv4@(Sь(/ ώzfbll*$Z3ilȠm;8f^P"Wnj* +؟IO5⏰]Gny::8uv]M/7)ڪO@6/-'OތvW()>] ٵFR{5l"'Mu٠q{~ehmeɱԋhW,VyG ޸ְ MI.`a 9n@A=vnzݥ;Q| #6[NyZMQj:v; vڼқ{Sh. lB} ww `S+֫zJ.BҋD`Ei2;U5i&%'+S%z|e[j<ЫdޅZL$T2 htTcٳ[dJ2`ArSzqWq!;ݸ<)ΤyV݄'W&pLٛ|L7r2OM^(*X5h>N6|W>NʪMSf^`$K?$W-]xWb#}O1l s7ީ\'h,K0hC\O@wN;\Ʌe:6ԥ>_Zz̳'l]T"eJͯy(%V-_#Od#`b0'd謏NӉ9,+,R{Ek%2е@mSlO/3jY1EE 9WzP6 mHv{ň@}4}}+O J:@ }RN]N߁}KJ͗[;NMfBAa WF۽|NaG6yAQ癧<~IAc2\!:m'";{OBFc+=]۱Z.j}%u)yɎk<(4kC?)p#o1hH\>jVSBKW7Z ܑIE|=߼xX3RgS [kNOCGnB {P!,b NǍ|AG9pЁf ёi3Z]2D{v37tw~Qg'ɍ#_t1AM3y3sHbP6B=Zҵ}25b@uISRj΂n7̟O@׸N?pd@PRJ8Q-Zh._aX&>_B=*ھj³]V7ZDȕ== -HaBck0u,? [[[ |0EH1PTpM@5V$ʷ[Y wliwnu kp(F+ỷNƖbCmЬR /PHGFwR0,ۑ^iRfvilR<~Ҳ#c%`/DEQGa8FHo>ֻ~7hȝ<&.LqoYB\ lmbuNH 69Fմ'2zYϊ=Y.Y4~!LEalkcec7e<u v BmAAEٮ{)F$$!7ugYZ|n ^yYdHÃwٶ.ňv<)skPR&!@s[`z8D6Q2AA)h:0ܲz(!!74=\L$Sl\0'3 n씵@j:kBn~#e1 oH_-mgZ@Rط+ \Ucv]قN LCXoNU: yׂJjS]_-S;D_q{pr#QK9ђkwxB z$!'@ ՞Ac)bp/+X]!NjYP23.4E t\%P AF|:Hˏ0g&˅a߳uʮ=F;wmOeHlNHY^| p~0ȱWK{`d>}i%: tXc!fUXBE+q 4tqE<{Bƪfp=r!|1gCtaI| XiC68'۲E@%69[xLi(63kv~Pk7Qñ%_ʤ?ta򷙩ܹ"@9t])naٰĶbnnn ;E*ٻ\rl4~H_[nZĩWroVϖ%#=#]9>X@:ٱtټGBD-j:PN4s=J Q?׈铧4 Oet|k"(xM N1m8}toU] l7JM~˼_C)pډӍ I2˽lWl=őNd8hCb)#l&xd \\}FRB u>t;0)bǫ6:]"τiunrTJb9zoqe!ۖ-8f9i SXK.;nl~:vb}΅+Je-PB+u{V-ٙ ;MqY]Fg&JbX:N׷I~?U/\!3،`ns &Қ,aH?G"f_R\[X,n 1:I_oE鐯p붓% eOE$%ɆȮaN="C$F4R$-&gFT#c4@.uyvB|7 $AllVηh⠅ 23g-=4o1$ِJ᜵ˈ8F$EpHLآ{:|lٰ/q'Rv\<ʷagN_/oaIKwэ!?[{úт}vw7+>0}OmRezQXP;5x(soA{wpUդT4v-6- mSN$ *“9 zUg#BuK/E4~f2`8Ԙm嗜0rw" fIh*w SJ 3sN8M }/dx][ 9B¥zH5'.,r1lj* Qp9=]fz ϐplGJ-24$Gn]V\+Yt x$&%^4qav *rZ.Y8&Ř}5TK5[I{-6% H/20ŰR7[mO(wD-LmSOUZ)+->F%roy-dUǔ8-Ǵm|pٯiG*xr*g!ㆄ m_1صW 38EvJs?`=}# YxGN͛,:#jc; .ZndC0 UbuwuS.oK LkSSg>'6#dKC0k*H.3K?u l4Ne^e*2:Uc c4X>eCKҾ$ߝ^m^.ZO_g^FID-,Mf\]g qj{e ;'Hݜ<tdpɛϰL:Qbv*Y^'zO#uCNsK=9MgShRVXOk|X߻3,c6%D?<;#K_Acb@:(a`>|CŻKOWkSY0FENɌ̟p>T;9P~oV6>ԐlB_Ku[] OSOɬeBi :ץҗߪ X~AR 0`@63peݬ@aܗhSৱ0^?ƭW{#~bqzQ7y4o{J[tR%ri>lH:B{#}M)^jh=)8N;pgc@폞hHzEQ?O.]mIPVѻ =QyKu,Fi<.S8Z2&xJ?ɌZf^I*2pLR5k Y1-VΈ/;i3B1p&#Ψ)*YlD.K69տt8qY" 86!PG\s^"}͒׽&`_Yum _'y֕ٞ<Mjr,WI'hqKv^?*hw'*./]#OiU~u̘& |t| 9tU˼\4Dq++_gIH$q*pa}xW<)'V^oNX$(?hShMqMNP.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ЂMW[OV~ʏ*# g4)\:lS[kW-osc8*Iaνp?*t%?kXnjQ,(%r_1whU=߁}-xMQ o|+$v|Iw=pdKX]Qtl$L3.UX 6FX\iLiBWGe"$!^풾CѽGdaTc5 8 *^U? dHA.r=vF; ]Y۩|3.EwqC56r~f_Ӈ`/ +;4 *I4ilةB;AMJU9k|sOhn(Pܭc[1gT߈R!ZP5ʧ"qa`q74"Q+p Cslf 3R@;3 VP+rA5 'ۗՋys k=vX2FB9.B$^4Μb8Yl{|3wF_/Uq>|gyǃ$l|*CA8i| ǯ?Up%xoZ ^%3:wCv wVjAQqPT"e;G" ]KMGlbڸ`c~(Mw:/ E+Q>E-HԜBc[pds *jSy-Ip{UdGXyzB6 BoI#I+#ᕥW$PkBSu"X506Dɵq+ؙ D@pt_"3ż{Yn ;$ch!G9` h]D2yqhUg$BK>@]VֺNj #! Z >4\T@e9f3ɫ 1S4܄Y eaShu;`}=KO-h:Et a1ILGS1ꪖk]HƼzHP n t*n'#,0xb#I\D6}s0Cۨ~|ڈ>hR{5.qS܉'hd^DjKu(kmf&yj*g @`ԧ}MDazI5>A 4yآ_ KJTl}!ewp_\ 4jsEU|ۏ&SH3me}|ְ`;v2+ í2\V(vI+]f4-2YtT>\\e}㢨fժP7,Ͳwdidт`Am܇!>)a:۳l$^TO(5,n7coe\než w3)̤i6Zwvq .OlIg)HQ?`T3z'+>M$SLZ g=؛a"@X'#h3季t`ĉ|بhŁ^ld56xR/˹†vy=b`w&T˳7v,-#威WaGtEE k{EXZ4pԷBz|}( i HKL2ʆp!u6M|{`j?DDգNtWhiM#Ý,pttm ;gk2+1iQ^#_M3O4ԒKי.D7zIRMѶm9Ȣ)զגg|UxHj߹&t}J!ApY#-Oa#vG[Nv5<B֝񎚨4u;Tkkw*itA,*{5u2ǁAOxKt GBAsF )ʇU'BoSph%b mGNѣ@(QdC;PRߗ-TeLZQUD?3r ؕ?u6t vY }Vf?2 Ij[Dm=GI̐> Iŀo >3QQT1Ҍ?qߩW"-l&32j1wR,xtn}-owd%= ,]ڦHv _)>=嫻mxm$M,]:,ucdPl.Ju]@%S @ D) r8b=\:i@O#O)SA`0# ʆ17jN M.2, i*Ny qyP [>F2AQhbF^(4Z lmYZރ>>D"͖~Ryj/u*wCDUjle o׌g?sz?7gQ4u^V4ӂ=/!hH:>RXG+?5.EಌVt~G)E`1t@?scP;]!2&5.xŴrT,yq&Q;1DXahƬ%ڡt5 EΏbVKT]ܦ `y Lhhpˊ./%Rn B-2EHnj6Y}) q±gYZPM:mph3-BJq 6alIBjχYSWd9:+vSXveY 0^{ޞq*vX.IQ o(j^6n?vbJoZ"QfUfl`if%@-+q!T;¡<`ֽRa0bӕ 9l*l [y~]5~[}ʶG|n綠x:8ݿnxdI zg|8_SxIm.gQ9!_'/R~#qg$P3mW}w&(|B!~6+/4s]= N\7wám N1\b0 =+ŵ rX>$h/DylqoJBCZqBٶ R?ǣ$n 4D*/3} ʹb&'#3*[e,P~a>yG!Q(>Ѓl,6PfL+S# <A\fEi'ڟȂ|!ꗩ`exi -Yaj׶=fO1AQ̀zQ?6<t}b-y?&2p7v۳n;̘1n-< KF`l42ʮ8*݄Oh7sx"45p+ct7Ќẇ|GoE'f!c=쓡bX I *}`{RFSv d[4Y !Zx13 880sjfYˢLxa9gm$dON ,;76Y;tQ[s655F}Bo2dbխ/f HԎߙchPUGm2w&O{Tʏͦf+]wZ'̠Zk>zA®6X _#nfz,YtP:#u9E#UX`H,S^JG]N0ZkO'@t˛?I~3Q5PopQm( u3B9/8RY$9OʤZd4FJ؉ LuqW h #QhMVUߢɎu^CPtЌ>Ct*q`ZG{Eژ6µ2;u6ݏW ~GѭUPTakFGwT0ew4,QIz:Fo{%dOUOS6ȧIqʽ&NxfcMHPXWLJƦv.V!lɦFG`Mܑ WN-Z~F[a|˸&]Q@O0nVۘ(]F7,*f=)?zz3R#nZk잕%n3,U_ l]ԍ-0X Х$βtk/M90crfMM=Q&-a&:ޤs?Bů>Ѱ!>O;n3; qRVfoh͘UĦԦD+ҩΑr͏$|YkG/LT,ri1:=~єHq/xHqi[|w|щ,61qzHNپK'Yr*f70iiCsqE(`'~i̕4@^ "Mb|T[7,a"q69: |bYCpwdS#(XS>꧛4bLie&d6\:E/e4Afdʧly:ѵ*@kR>@H𰧆PÏ yj\:5# /e\atXLO!f((fq߃%ۓQV+mo AdspqZӖ) ɋ<3pyPBc\/F<tO`oY.FU+: nF~֧Bp i_ o-FOj>qmb{T/lb>ƁGra,g7k1SSEb;rw=$${q-(^ZxXD[&-LHlivs'A C$-̕:\i+ܧ617L HǜivΙ*(!RGK sYI$NG:؅ rGiF 8d|)uPNUf}sS`lcbFפmTxj>F-FK.zohB\ҹǯ:J ۔x97M0TT!S*VoKZc(Y]Smuk:"ds1vG&eF@{;Ѥ@n5/>-Kem Fb8 I!j@<Ћ5t8Dl]J nxɸ~7m:cW19GNB}Q p>eYv҉hMs)2f2p$F:isl0 [KU'WOŏqTh"]Ӑ+F{LSc ΖoGs }%BR"PԦQƁ4$˱?ɓ]%*!gaqwH{QS E\ | S&68hD $#v攡v '̕: MĨ9/䘷k*LU۲O&f9EEeZS'Fȑךb(0I2\_3-QAQ -$' _5% ]"Z_bt'xV߮Ήkiw6J5ޘg"zUZrשS<2s8#k$3eQ͜EAg gtwCC6 D <ό-7 x3²cZbq:c[Fا )MoSq 0e[lk= m9NE k'EBT rJ&z"?wzǔc2Q\[qw.RYC-F w> CHH vO9 9`IMJ#XRMɫ^L'rq%e'XU>L^f%F$->F0G20&I'\xr3H\G{{J%Mu-!uu{ 5VppF',!l$NȌ`= vXrEnY*FSرgYZ  `c0/C!XHOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files~~/src/HOL/Library/Code_Target_Int.thyF//C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id1986./=' |HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages7zXZִF! 7]·Iq n[:|&[z'^|2PZ%APPʤan.O򌪦M  bMd&l81}aeo:,wk(/ct^lY,(muWwj)wLaɋc>O&њ9*#avťW O#б}'F}P[zpD r>Ia5iT~1(8jdeyG(d,uDO$`+R$dVs5:TTY(TbFr~9W}xNJQl^-sM_?c7`oXмX[PEPc/OЙ}wMu{~Â|4)>+`=?͞a/1Xo|z"M? nP:A*C?cc dgqeì ̊yZեqm7CG A9EWETc7kl?=qz,ST'ޞ, igYZ\-/=# LHOL-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$cig w!ѿ1]IlL{&3Gl+BmxW FukGY} P-M~B:`zidć ;za.7Zm {^PV/{{fl)2 ؐ`6$U[IJw6؝if2du*-,6 }dugJjKZ];lu9Y] Fk8#eO}oFwqT*]'IZК ۱JyJ%: N!]?9Ow+g̸kEQbv6>j69oGBFCUfk_{i_1K{ne. Gc_l( }y]5k968r?0;%bdm\#oŀgp>'?-e/%5BhmGx47X(SJV&a؏?9DOŲ&T[gbroQw sOQ]S!mmoc2AYb)ҵEOTv{ %ss%V?:z{:B0o̪5:SnWT`l(/?Ѣ`̀C&vqnJW1=a9LU3?Jqş&׋U W'y"hSm?b(ڜq40Q*LBps*ݡwl#TL~P䲾]l125?xuj3PD,+/0=}!0gf}F tn[CVref5 IԓY"^,TȥdsXnx9`CksT1^,?WFSbG{4RNא/ֽ`ҾM BsE?-UtJ`_@_vs"Y^y„/+1 U[((?4/:QnVۙuIUwJZ ۄ3T2c.۸GgCĹ;l(-=VQ.x Cs@'f m)]ѹdqdAdB 8ۼfkB7yÊ c0l) ` .[g%x<,D&$8}?w^lGŪV*um'MQXg.Oi2~QUYkXWïU_rܥ5M IiC`G*14w]4>)#lit4u7 B ( |_o C`aU=(0|+UoMW_Jtr,)! hjV`, z~ #fJAP:%aPui{t^)7-̓Yy2*|/dpB)+RsQe7KuqߖvGP%RTXrjG67g{/]}nEG_XJfw0E>pE&gp^-:EnvQT <[/H%\~ +wrSc*bt_2hZ4<_N`CpT6KgVBmv7~ϳۂF%j?fBiyԶ A"34tޟhh6%;,Xmyp_e.4uz( !\P>1AT~S%K9[Z?R5QQ.fl%\{Nq@gcwN}> BP)3+~y;Fus= J A sIu[tbHczH=Ϊ@8DU:-vl]Aؗ〞us&ѹ^ǜw{ݻmH&#љ2iB8TЌǭN[ݿ7) ]2UJY,wv4c<+CW(;m7GVO bM8m @ e'@'ЬgKl1ga4 ڙn?WbClΪDӇ!N< S,ڡD1z_Y85b:2 6|kG*;ټvvn_ |xfܬb)$oXLj}{ d$-EBD-yuQb꟔Ρ ߴ /ZtFRcNWIcIW?񠃳3`8{n. [(4CǃUpv+#/p;VTǢ?:0Z[Qi3?"4rFm.GQHD.A< ,[4$Lb+)h%ֽ Õ0* A|M/] 24mvi3 ]x8Md"9lI`9:<<ߖƈ`V&\1fz :+&PI Iᎅk 6i=cvVȷ.huzwԌ?V!]<0X:<.ӧqGq^6^S&:3~̞͟:_F9EeuzUn"g-3_r>WڛGф vCFaޑt=֨^?y2wd!]Vu/ Q0pX/k鰕x hˤJY|j 6Vy栗c "`!1ҕ>@>SȲ S$H%{[0n@ ^g^"Q\:[iB y:kt 2ퟬr>O[\KO⭇SyO-ԛX(CmsaKѡMҾjNQ<}Mʬޑn1CDXޝ=[Hlޖ3K7\#VT8"&nf;AΫ㷞({l2hٰs$5K5f~gaڤ`Ԟ}e)K Z,crC<1ohu1rEmMFrۄ٠#)^Q!nUi7RGE͍N,ʎWS?yyl^W&*fڶ6%X}lqMtjv%(h=(Жg@8LPgŠ@u$l|Vz47DxpK0< ) Uᙕ;&^mO Tdߡp=ǯ}hpx,, REPu0J[/1qJ6|I=]B\YfzvVa+D^u#6NroD4 PFFZek!Tb9 7yxʘڽY\S? 3F׫IKEjsp CYĝ)$oXceSYXg㨠] sf&r>,㣤ܧUh2d 8$2-=_I҄>5c<$*R{f:ֽ0. 1gYZ ::;1/C# HOL-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+qU,mk G^;Ĥ:-"%ƺܼcX8^ d<zF?َ<DT(͙IInúYX3w| t$~t3+2ϥ y㪦ņ}XPX%zAWk19$˻K$w8üah=Kp樝\` eiXDk+"S(A_AQ;)Z -$̷e*TlxؤGa*Ψd 9 ȖˏZ6LM,dE[uV=L/ c9 ć1YՐtdH%Ua`qSԟ}"!| Pa5 a/†J'w[.0(h94L0뺲A|9[R+ѶQ5^HYS` *x'Yr6dp1'lpKȳ_R VmRc";Ο>~ABޚqH^-HOθ.ⲋZ96'.ՉlItEK i6Y]cX! ura*YR&'5F+km)1Q'Á*0F}+ ]aU ,B58:!OjK[jltJ}^ _i*z_} 5u0Wm|xWEaB͈cyT,F'idN,%o"hV=D,@j{XNez\tmG(s=0n^tw13YZ42'(?|eq^gEߩ Aܒ[m5ڸW+VtDVɗ,@KuȐXƈ3'4 kl@NL0I{MM(.'.D:S1iiJ(^np,9",T ,YiԚA[H7nS: KAmݹ>n%XbZrW|nUL!^qU-P=51z^"ܴtw,e#7Da[%,iG6ш=]:SݨœZ1fkHr 'o HP{SDht"ʿFv1 He4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id21852/C' tHOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF! 3]Άxʆ5.f-9 rq8Hȿ)ШH)i}3 y`ߦ_g )v{> ÿpu/yz GOmq׸1yXoy9jޑGv4V௮Ci$sN4=ڪ-'YԋhtCTˆh(8lyox`&S%`*f#DVNH7#3R:,I_vzL4Ps OrG5=· rf>a0hʂ0pY 7r-CVOD*i2YYuO v8{:k RُM\K'~ö" ^ H< Y}FQ K+I7߁yCB8Rʖyk2/^9qMAYAQtH/ԜFlM?::r\Wq.a{>CnnmȻ|M>bdf#+p{fv7}G}G*4xnΈ-m8!6e|tp2kдDH2{j~dqU -m* +&0BnhM\'o0prgbp,\B6sWj-z V{FQgM`g Kυa^Ns}e)z ;CYN?E (U3Kځ%oQ!j`d[vMEQh{oFhͻbaUqĖ7Gi9U`nd@H|yx.FU| UT LJ 1oRH7#5HIҍzx5񲑜Qi25'cdcŇTJlgvTPl43x1_zLO QZi+;KwT9u 'WIY1dR&ao/ V٥!cKyn 2k4y8$[~Pzn1n0x舯቗' 6Yb[`A^3"OdZQy:}{\O5H!46=< ;N8khț~Ye{/"he oefAY#S;AsTqOl-$vaREV!hdnBVLh@WÆʥb DhhF).BLx/UYz؝ N+Cy-Z:hbr:BAM3 yNH6[ LTeuik5G foDnhL,ݲ =DUacv0 >Q#SmS95&?C: EO ;Ø$"h*법YlM@Z:t"XQXN[k|$↎3*͂]+5`=u1yi!^@u˜ ,+ BF#oxQ&ՙ`8te LRYOi e+ 6hlkaB hkwR k}˳wBNHK0OV 7z65JY/ㇱg.."= 噤nYr P!; H7wtJ0ޕu޶e2Ie ~} k%Pi 2a&δxbKx%L!]BZ9G؝H?jlLvUPUWلN`hYN<Sm(2e+:!bU?^1g[U,,1"HWD9=.[nkÓޗlKC[kUV-9/ vRfmH9جy2w=D{ 0˄t!enG@.LeZ ٘# l3҅i}\ͧ^x(N4 П8H~ øw,[^Zoʖ!4 /:~1N^L} y\/F*ÞB==-.mtfZ܃^s.6ynN1/V4d=_i1#}aӮ.u,^Z uHJ dIӎ?} `t\t< 5"s*jS&nbƖg49vUj݋|TgYZ5,fl8AYVm2#blCz?TaB⪇mVl3*T2tF/ZN~w,@ߨЏ)ʈKO(6-DL*_QHih = %}gɞ 8v<>- f2Qvc-Q׶Lͼ\!+f2y2:a%Я{`;#ɹ>~#y+ cvd̘$2#]Q`΅)2cD .>E6Y[b *q.:]Ľː!-l{Gld\ZPऊz8 IETH0pƏ+~`{pe~TW@zpr$mxQ >Vޱ45yddi? å5b]17))cr̻:8_L0Kth88O ֻwP?+>ߩg5biQ,"{P_e[ !UHT,  h`Jv`0P[:Yb= >J[UGlB:BF:kkN}ǁ#[>t`1g:!%Pmݟ 1WdOs(3X92[28gR;W5PfqzD'L Aբr<⻭(`A渵d$m812kv8q䋶'yw`-FR~: yv \Ή iLro?Vܛ.8\vLekc^ >)=OŴD/;h8nKB\8Fv`g!_Fxo(rt(!fXjh[`H% 6{xt>u ~(lТD={&XJBgGVyWI_oCݬ5^Rb,%mB*eP`==4YI~_}/vSBPkh^nYŮϼG4%_@vH_&tF›DLpY+TJ),!mD{3Su p sK&iƟ a QT /{t&m궎,8Z`1*Tsޅ N}Dy-Mb`qώN+CI~cRDX[,}\Ѻvwc)=%ޚ.iqm'!kJ0Q/xY; QWYD/ooJ %$g^-<Hs.2y8C OGA`RJ2K'CA'I ݛ^0UpĢ ?*X!z]s|q.(9P 6ŀdR$PNU3(5ԥiW-S|/Fiћ$ ȁힶFPcB@aWZn$`:j@; Yr0CZl;sڠOn"G[ p] #[0p(2,e_MA_6"TbQ;hPzjz0I&RlEx+ם7/-bsЗYIDHl9.qA% `f3,y`H9aGo` 8d'5Z Iq̶tRoXg`jCTʗAbBX%0X9V&$hᗛ@{2%X+AI~l"uBl=$o`ʗlc׹J̨lX,y(UY>cG{"Pvΰ94tLqNG?Mn?ϐ }3nZq5 ƿz 3P^,Γo.L#Q9B0+h&[+Gt:Eû7HI, !QJ>y~a%j >G ب&3|)1˶FEO3b(S =,^D jbDDHh[JlDu ļ{46}kSK&OoN7~aڵiN.["j%G@"2wJ#nrDp@6j.jX^_Y"18ze1/ET?!Lέc O&x5@6k풥Z;&rg1@fb.-MeZ.@EʸLEo*h5AGzO[}Q)IBѾKT(<'[,)"Qxoqol0O17e)"Il]peT;J.䄫Ow=̺O-_<ĉF m3\;mU\BY_SՕ;Oj蚖fᓨk~=Gy <ծ>% }[m3fkWҔBU*#Y335ZKf//jT2@7+ʷgl F\  hE *B=7A(oV@1 c5Cy vy> &/SbdDT׹?EB /sn4=Bd"}nY>(}82sgQK,*8J nֈfܡ0gf 44D$ƠC,1uLp}#0Ki+IY=é*27νLĥw5XeY\0)WTGEEd;ݟY6-[o$ ?ssC.I<ʵKOw-} 4KnBSz&!͂z:R/tj,͊bΟۜMbDo *'7< -$X;f-mlJ1TܧK5G>I-7P\[&ϻ* gja /Pu@ձZ ;-p"Z&S5-{|u\MtbMM|*}EkaV%}dRnЙr[R*6_m,$/;π[j:sV6Y;-tO޸pkb ;/D([ZC6ErQ8ֻRrR!e\/k:Fn"N }T/ë4++l `0^߯<۹ 騦ފ)gIa&U+TfbܽQ'7NpZ[rqû~!c@373*wpdwCzpuܾ4z>T]?%Ѯ:*g|&OO0vq5bXԳ˺ 'Cmx,]*.Y7vR86jMT*tX}C6|"AuLk PUk&9}K5g+ۣ朏pr(Ѻ )o6 L7PF`{9.񸾉ř^!ytb]JG5g]v+5z黤h?ۮ;$3,7#AW(vOr1OaOƄ$B-f$D~XUs~<[zGQ4^u3FƳqdGa}`0t>6/wF?lS:b)):NOv4 tpSW]O)?Y`43BSs`M `.&i_x_;yo95}Y #u1k⒆9 !X[ߝs![N!E7P݌3ӚsD0};͐9-PGVZ#oXөaʖÌaHz?؄s7ۺfOVqV8}3ԨBkЫjP`ügB tLY =Ɂ IZa"$rpP]C-(+|?0 ONJ,Q8uWAUfLYi#}` }#1EoA#eN؂碽a'z0|-5C'WJ,W\Z J'Tj7Th'FW >n޽h͆,TBDBk78 |4SXlL&~ؔ;h\09 -Di&_:;-z5%C%?:S)kͅZ-ie mڛə4?. 6:Qg~bAPLBn)‡rECcqғT|A`;fD͙rg/95):;vنo|a OLaf)jd&P`i[F?%q%@u5=)hi+sLKkT HKH.A<}cF|rqe6F"^@ &GnbF6<{N̠"Nz9)$%? [oBš|}Zt~U loS1|vRnJhtϋޭjҡGO/rDe9p;*FP60ܷSmc|hރED|̨;iJ[NJCX.~zf8((JtsaN{I$6GI$}RiE[zӷnl.dQ `DпG,>_/r_vzX4KrEɛۄM"ؔ+ sE9K\FvNEoٹЙ/;C 6AzW̶(j)d'!Q^^,tDc%GW{߿?73Ie\-,aÜirn+qbTRTKy#*im,*\?$3 ?zy^Xe^mO|gYZ 7V9 /7# DHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup7zXZִF! ꭹAZ]ˠ)jk2p O6LP=͵gl5f&Di5b^8thKg~ZX&\-nsg=OcH,ߵcN݀R+ڒjl:Y0k589, )E|^,1xa_Jt=p`yV8^TV9_.#GD P-ėnÒP%v~h.Yj~|mXdg7[LOsތң.QI[&J$S bFNLwxϪ#">Rx}4ezw2a$$" Mt?.p&uf(Ѽ)R})Ve=108\pR7<:v!To7W8/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! :]Άxʆ5.f-9 rq8H[S$&[sZco bwi![} .^ LH* թĦ xrhguG4ę(^|9prF 밨;Cnz,AĝD9="i bIXǿĵnXz[*}oV K_EI@b֊It<݂p4TXߢXShreЮZճ]=5I'T$yn8O,|v9x88H}vfp`/knlXS5ЛG.Lti~Lp6H)Jq|JtEB:T>ʌ޸ J!ei|y"|@*K:gЦ1JE_8]K3 oW/5u9ݒX'R?F_͔\IѢ\!; @ 03vwһRuѶa1(şU9lG \N:KO 6T!#3\^RlG0$?v:)`AW ' H*%I5a0œybzؤ;_yQӗk6VeӖo#(nL͋X igGx[?`lI*,8E9VNvTt䯭nJ6ZPoQ+*[*|;炒_e)ݣP>k-@qK㦤t]llI(:}-u a= vog g'uzT!C\PgYZy5 /E# |HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,'x]ˠ)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뿕"> tua.G0B'{:Hl9Pdg:2o" g~O *m+&4ɺ[d\8YvQ\0A KcBo\zMu:Iڍv\n_06Y,١O*p2ob$߆9u\)w(h>N][.J% Ew"digBI*ܤ2ح<L#4;uuNlbxM28cI솺tIThxIqs'zE֍_㔅]fP%k{ GVHme]>%FثTNQyUNm@a4D!RXF)]ty"ܽ|V@vfk̬ф -J&uM\0r sSyGS9{2]}q@I@K 6NX:4 c80n@_0'1H9WBLQv{H+C.Ɠ$}xykMm@:+|#KU`XG? v~/b&L Җ_2Kt[LD :Rw \]?tI-OsRNF#QnIF0Ni,^bқi) -U;+ae`y^hh൛739JВ#HQgSp#ᚒss| yF/!kG$_+j`{) \Eb@lN~V[TJ1W*Wn;vjT<5Ie̐YAB2}:7}t?Pݶ332E?eZ[z!OP4!Ԍ+/Ca>抳 ?rZР=v|z2ҴxvJJ,D20hЈ]q ;ކ@ǨYG#ش(:#ebHN]H c{6*1pS]g ?Ffυ] B%X7uA6/*]_U3}D^i07ը,~(#ژ2/ d-F;/vZ kjZ>{snQ3?.GMzhyg]I:HHEGU,RhV֔rĨ7g"tL"9fpCIۍbBJ2pa\&d4(P錎Q#Fw2<\42# L\+K0Ü]7A8 ׇ!1o96혯'5_@" } :֖4`s#* X;ɏA48FT] LT7>BHVp볧E[Q "}Yձm vpv?o {oȅ* %˹rg e!OqE8Q-wS aAu#:zpMp:j*.P2 fO2{&\/ߗ{irfHAY6.] -JEAWy~{'6r- o(>=Ԝ-\/~Ͽec᥁L9Hjy AHT!Xcrgn[;tx';?iT bneْEQdLJ9#2j|lF`@>&l[pXfn_^n&1Ǯ9P;̭4xl)8~o E.7I!I[aӆ p॒D!bC^ܼС&39l b >UG^ٴ] ιf%Uόf ̑"mx,oWd,{ W(8*,,ݝt2ܡa6f>WhКq u)Tk&J{$r\YdP%:؁7wR8&΃_9*UB^;j}Ĩo$IFt?yQNʡ".sfl3y/'2P^r|q04gb$vAVrbkk)LY7ԏ)D^ ~!bÚi|$p(A'|hErqUXJzg>_p,lюop8o#RGE;n TM784ZEt983$\Y9^4&I0ӓ'(N^ 1sGW=_$Zvs8ҭ8P+>Y%Ȯ_l a3+>aәtC2t =(W<#ҟ;֠ -a}71 \pDB xַMEbWD߁GڮnK_R|$S2ny``TgsGHѭ&C`F؀9qO;Ds]h9,Z=~Zb;گrywuĹEPSĢ(Z'ih tsw %U6i F_Ot͗&IDhbR/1`LfnXOJ}*Ֆ c1h8ME'4m!E h=Xol͌s{}yEyNdr=S1(ej ml(U jxv(Wpqy]/?07yqݒ-UF^|a:MermҼ!{l[!)$x]$4K5(AF%~_.0"30*]mNU.})lWXg}E҈:5_=xJK5/5yև LG5.+ ~r^ˋ:A,g'NeV4+SE[g/煞/HQJov+ԁ+أigcBf1N {~DOhpESΨ 9)xxPh^ #2CC-B5VFJTˆJ» ZjĄ9,4D揋g\%-9GALR(TShraӜ P' INY6s㹜HMxx!&CkxܧEo(M="IfhJ=Y0w_SDa\=e ubϕl5<*' ,_U fb#>#ׇ. GMF`@˩T@# )j=`Ro{Ye  p)r:I9aA3 uӵyhiՙ𵖞R֕6)oB xDXLG~7_PóL?\‚GսІf-k+4Dg5-Bx`薩3a!j~"O8Ho8?()iNjR(Cs5a W0.hmX|ؐUvgޱsi k77#)u-;QGGYYUD&/[݉В n9qJ$YɶmtkFXZ'?b2OII#l*h]XQ>XOi[ʎ9'H'FҹP&豀 w˭3W7IʃjHfc:mC'%:ʲyǂwܿM^g%]gf? ?HGl4%?V9`0j4X|.\\WC'[}dE{;~lwJ* AOvŕ95G Xa;N^֯=xYyƥ5~xE-Wfzqϰfj72L'o&ɝ]R%/o!~'Sf1غYa1i +ik6D\bjZ#2&*EVmB.PEjGg2ԡXۇsuo+ 5ILbuGCaj< 򔭚%XK? NF$OfÛQ/`OnJ^l|i33NtEDbZ%! 5b~}.uw&-z9s<-YnSYR_l n]5Hi kc>]?qק]6:7 Ƚ<[Fexq5p}t FefJ!Nh>3)WLC.5"וk`֛Ok*B@55/,=DCYáB{n8jũtn~o}O7P\aHSe|I؊y Yk泍|˽+mwv}om~@OmJey׌ĮScyb H?9V=)DUo8,=KH1Av2K*LD#6q/݃%hv͘2ZEO 򇄡ęA{f*_9`S2f"yq ͕ȜrOQ~kknoMq\r6!ouB^E} 2@:hunB1UPoZ(tm)d<.zi\LS5;,s BR߻܊0X)qXؒKC߶ʠjXe}lb\Bh};U\e- ңjMz$^gƥ7s5 zrLe"JOFRZ5;663C״pMLɩ DK}@?\z97_ 7T3pM0G2]}_dt+ek0} *YX? 6v{<ASêrwo:L]M 8ajɽl1 ]yZ,naYa qWՠ{-O ñl\)=V -{YeNҡ_7(7Ҧl9"+2Bs|Quqqt>iK^18c6@h)"o[P/?b٦: ^P U4l>SHp>,6 |57e;ӘDIyJ2OoSwwC:@řc$&btM@zqd14-zQ=‘Q2ɫqb9߽q!NKP;ɓ_ r%0H >k<ԅ^RzNF0힊Lu.kΘ9wJ-ׅ?y!,nOp/#mJ206bKi"7C2=4t8V$`|[;l/"VdK!Aq:;Z:&^cS(;}=Au da_jq![8caIr}P֗{귛%-nNP>F'^lܒubQ䕜n[d/Rq"›>b [?!`)j 6l^\0@mml ᛥ3TM VRٳ6{jSb)^qV/ W*mJ=B~<ήQE"TglKv_݉DVYjg7ci)VQo孺 p\HahE԰:Hyf\kf3w 1ý(" ~VZ>qd먵sgzѹ9:]B]%DG圿U*H"OJK̀?MkŘbx#~p* m\,K8(A>YnmZ?Et|`%h\=Mɕwܛň~cp]b2ؾ0ں*R柗A5/ߪjt>CI [2mYX @ly'0˜Fv2Zj|CX񙭿wd/ss3{ [6 Q_ټ#YsiH(dRG~fQ n#v&[w& =K)8,t;k/״b[ }pk 1it(<|쾄/ҕ9- Pkd@&0Y={c +|=I&3 WO#ޞlֻ&=Y "P;6&)$!/qיQ4Mhh7} {6GAjNO74 Eco5 cXsѭ>^=?IXtع dmB9/n nb #D9B$IḼD7 U92BP|WBo4nXۭ :@la-A<\-яԙ86HjzY^>(eR@i*5ǍuP.hW(:ȫRҪf>$͙ujeˊE4T47g@LPi%yǼȦɼ"j=^;(k6# MH@;rVib9\+8ٝFtjn( 58wTpka?d]>nCnct׌.9G\ZBJHLGa,"w =lYXAWds&g6Ӧ=b$2BGMR:"Ű*54Vtڒ3BJ$~/88[SeEn4ӧݍ XtuL{ˍ#ߚoucqqO]$nj^u0t: +8>9G;5Y *Lo +.ć^&ç/3IFXakQja 1!EBUpG.'g^x zU jtVbl>- G]}ܖ6,htW{fdxt] 1A klMD%㴑}6#f|H4\ K_mzj_.8*^q,r/?8(5T JwN06Z^0[l^M;+r W$)AuޛeX/4j߁cb鋼yR|HsF3?f3gTrd.\slvy6a-CQzOL.^׌;^sU$r Bi۰~ʓ4:Db"X=E $4)ji;֜B@,UW-tS{Cjbvd0R܅2v%2شU a #AFB3#)Բ?יks(1c-g\aftH9߽$84Բɛ%*$ 1o ݨNrieSf4=oR.鶄\+J~$,6\/c.Q <(.kny%˄ZzYy \/֝QJs2v wrV˂56_{l:=ŋt_CxzRjwꗏO+ ~:|23c\_բ`(d?}DgPA'I1hC8(`$F3$vb\k:uzѧZߜWZ <s&h=g|Y_ִqō  $ѹN  !;{GcȪ>\kXh0[&G{,m^槞yaz_\llIoK׹,IdCwײb>[?LG [s-ᱮ'(Jݠ9tFލ,cW9!%=,lI/i-Pfv4L/化ƕ#X|Y1G8D+Jk SkX+Xb^sө`W}:½οw𪞶nW[Z8ejUyFfqd`^=yYx^YR 'Mim3|I73i/Mʘ7WӜeMcz[KxH\o.bN~f괤·,ծ FX:op`Ik%co UIŸ4H8lIf_KV.јDH4T6s)X&s3FH*lኽ?\#o=\[V7;!F٨:^x;D~@.Z'1zVscXUݤKز+v$& $o_Guovx{ #r?T&EˍN1H$ Ϩ)˕*PdXsHAݗ7k$( )ĐcY.rYy@М2ռٌ*j6^ aƷ?X#$|LD^Ym]0Tv}t`$J1{knTEpaifWvv[~ڽ[iլ "Ak7JP 㗁랣4/n7*W^y:y PhlY65%rB}Qѣ~gt| '*R`)0ZrIq:{(7dFU |,*+yiILW):!p~A}ny[6vXvBۿjkW<% %=xBTCU@|_3EU[aqCPl* F?n%p]8_HEGrŐ{H%"ЩI[p]D,gX#S탺޹@Tl?~"v7?32ӝQ#*ҾnTSO(Md] Fܕq, OM1~en8n '}mpa,Q9\[y%?\04d"}?P}u}xCM_ł9tYdېE A\}r`#t(-1MᠪGGcW !/.5ɕI&be^+q4.ׂ_}TWa+5i/P9L%xNK%lG$zCK 3I7AT?ȅ$MX rI'4*8$Agh}fP'`Wԙ@HSWCLJY# ;qbs pbXGܕ1Yv|Wv!~3vzSZ_vNJn C4Áp+{ԸHA)HU:Qlzmi8Rd"/MC ]tŏd2|M]āD!@,wd[άЉTqic-vN7W\T}~>4u v;j v*DF&ڃu$\X$vVNJ o [k ӻYԟY7vJ*ɠt52^WԢG@7 !ڔƈvkIr1MAR2Tzlj)$Fbd zYS"ťXy՜4F@4%۫"rn=bg>YY+r"ڸGI&.* |MG{̷9fF r0{d.3pʆR復D$>l\u#>-E7z!3@-PmO=HZ3`2r>,fڲ"c X١^H3n>aHo/x诓$z|\6`GdxE˨1'YPJ41Z_}QqvDϨWtT .MvMCs@kZػ#TP8s Bou}`6)  |&:TC[ww6!JbA#bZ3[B?1 oX>O$s!fFZ04nuVӹo38~ {N MO<4"7p, ٬> >0'>ݷ|9!e-b?FÀNsC 8Z6_K6M3Wt־ĄػcZ^UpMV r 6A\ Z eRskrОƇ[P.=m:05lDnìjx6k~\9}N~lY8o0;TR(}*U'- q'mk׿m~Ry}]}o6園)iIx#Fy rSk2mE*Ӽ;AeߎE^gYLFBj@qP(߬" kèN>M, FrF<驵u88ɁFtǮ` ª2bHٜ$UsrЇ\YB$W';\B̪Za2=z}ͤDӶA2GS!#xco>ܿIQ X^C>f).'i%{,N>JD%F"4Wʁ74%E"\5qr'w6H$'z,*(j_aDF2&|yN΍N=_ֱޥ&#n8 2\NʊނeWaԪH,WOMA(-(}P[Cia8o@hI=߻BƘ*n+XtBPx q<\qUޤD.^TGiw%Z $=gN !]j 8c5O*]Kp.Va`K8}{@$c[R 8v݌Gf~`u(]@52K'") b'/f"\gYtGД!?;uaSa 4'9fEBsG9UM*%|;X czq\Zp)i>9yhR&M:̔TYMZOQ4懢zj5C[n q;r(2 &?#LoT=z@80p:~.M2A{|JvaVXՍJ驼|0FiuUgNGcI 12sdy򬡴 ąfA";S_!'$.ZbqeW/i:3*ܑv(fNU?1ξIsi{>yf`gu@ xS |̺ut]Si:0\ odM]3ͨn^J"h$ͥh\֖hZDf.B!QY)] x8:9E=r#^2- ~1wB3RoFA3A͠8qfep=˃SoZ"vhvH(ņXޘ"WMʛ#% ճ{no~:# ~V(H\7>\bR0î>`DeW.r;!fLNwN3t"#QBYG 4ă3¸ۦ}eH(ܪ `ZE_$)\k3wwh<+Dz6e3&i,6H}+B* Uam?ѾN!?aQuѿ7PzV<M$pp NƯ8~/G,]/ح,R:kozJso_yNA f:?N}@v-0.CjIZD/iҦ%l\8ۏ3LX`ynLI}j]Uܡ P4 `sC;_MP"k Os *.(?_F)򰭭C n_c!̭~l_?=*Fv? 0ieKzc"4ln0ʦb ݼ]H7dqAɸpXљ'bn/TKɔUhYNxg*=_9a%F\q+ sKv<J مl `C NG80t4:W ѴaXZq4a,: MRtjO1xFMFwY!'1;߹~_d =yl&S Nk%5}=ʪ~ pLb.9P+9C\Y*o `K-%.]q?ܞ`;s%8B7(İm.vsj UH'}v&&N-ٛCj)޷RݨD]U0f5vl`FOQLe$bI҆WPxX߰ 4oEU%L܅`0 ؁Pa>%F X^u`@;\~K dM(IE geGǛ׋-4 " 2~RQ(ќbH ҌBN+H@9T4{EKuK [Ď6} Blp+Oz:q>R_h}jp"fN bC(~3Ƃ>^ˉ5eh-#ٔJKf*?I,}N(|e)¤:lI 8 +SB^*2`MDޫt1Rx*d_BTX\Gl4'3b ;'ivVb{DqU9-2;vx6_>Mou򿌉Uk9e|?[Em2;i[ހ z_($6j~iWN>#ݼuOXszk #6cgY M`R2Ln {~FG~/ ;wϭkL<%vԕnQl}3V [U|QaWr8<քΑ{-z4"wɂDy A[$T^Ybo"Γ4-bUA*gYZ   q> /E# lHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9o]ˠ)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벜Tb o譨*ir&:(C+M;*ud7' 1{@RvD>*aDS $IʵN8)S_-@yV:%~#|qCzb{ѹ޼V=k_&f>RB ؆ K8y!XO/Ub֦n\-eUǣsR:ũ;v~hˤLqzђ0iRZbvbu:;Y'&)꿓;f#+7&b-x8R,)7(R;_r|Da oD4E"m-_G<'x9}gvĠCooDaUqDeGqov j/~6}Z6IRx'$rX򭃛̷JeR9/\; ߅^ɶN)V4g}Wt$3G)-%rʬ#M)Q(f5-փ|U\C [,͔"Atj'd(VӷɇyE& ߆ʮ\!;ZrEae&~J,Y*u֛؁{<  k<} x ҩB tr@''s_KFdN6xr'נ;XvjA|g#|fd^8+.(i :w}iw=hg=0M 71c ^|]@3/ $ tg|`^Aˈ4<(Y"N-7}ybKC]XTlY"˄ 2״2`?Curf*lj"0"Bx6%6VǍ/x'*VXvnksә&A>Y3"jvsWT;50%S}U$$@ `<@,׀B3#Kiֲ;S̫]6bd ňT?BE&YHa߮;[*@L7Gf-=ɍ:2$V !D3ʺ>oKJH"w>:uNR"}Kl-bGq?K>* RH~;R'cv:*ޭ>&rӔKS3eQ3Srmm{\KWOw*JkfqiدP bJ8X$f䨢DgIy\<e =2h{?Q M.Q k&<4;z>|Nn0XO #B֖ -0ֽނWKL ֍]u(zi%mIJI=S6@i6gxB3H[ۂZ]TW%ԙ g)HGQzlI1Du]%Z|$~ޏvR!~6"k@%V9 r %6h3iT`9&,,z;IۦU0H\ +L+KIh7QdmOQol+ÑO;F6ͥA>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! c]D?7 {?:fH\H Sw z++\e){[NZ6,(`c9MNOiȇ}4 ʭ:rߧ߅sY:fWN`,Pٵq?TfE)C0C;@68Eee<33>aHVp nO`{FuR?MIhc]ZJZs-oU>E8X^w 8hEec](S TG,*[ǒµ(Y>`hhǝwG%0D"-fο4a|҇!n}6B'`͍}\LhF(z0 >4}³IfdY]g 0{{ĭ¼Gn J} +j焯~@tAj&Tqģ?vQϣqR՛f*kg°:Rg'"4F52!ܫ3-?Y硓ě)>9 Z~V&PC zjC].brWjS8/C!C|u6b!3a~ShLbd)H+&13p%= yLmc) 0XB3-M2f+d•r(R"AFJJ+G2TYTgw"88k J{ B"NFԛ)b3&M K8.R\ /KTD\3ZGFiw22_jhdYKxc:#2CgYZ %b$ JJn6 : } = y >  b# o +tJb#)Z [iL >/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 )7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texK;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.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'?;;?N$pHS p`˂livNH*"[%m 84h(ȫH xXƾ91J[hDG\#*zTfK_ w ':,+3ik/ P|iJ EOA{vl E,Ӧ<=d[l#CwoK셅y:Q$[ż"\lCexRCFQw(p~ Әqt b*Dc`gmyLc?883YyKg%CuGx_YJrvF VIiLc>u]3m/^&z- UàuF. bj (ۚPAG*Cb`?{Sڇz,ӘEtFEmNv3Sv|L)HߛjIW@j`Lek9M:0<_WGFi m] XJevɨT+i4wZ_ p49,+_RqԸ@Zǡk*,+MxCUdn\ /_5DKAߝ?>wOq^ϩs]0Rd1b+Ψ !c˙쁜`TүzR[%ˡʄ&;,V>>&=LG,Mڼ.9>+`=u+ޫ٤ZO_W|ꧩCt# ",ѤQ3Mh9kaw:~зN[C{r0JddPsU^fj@A4t\lෲ? b[, 29q: Unxɼ)5^n(}N>6U>5<: Q'8̆u0e%OqsmQ *x΁= ڹO՘.c,~κO gN4h4  bVj9$Jc&Ñ+v4X1a-~%'k#l~Re[Xq y.taW{3gi<)tdâ;.h8ڴJa<Z&+{.D=;(q0K\>oGK^i}^Gj^G]eJEą\t nYTщ kyh^ctڒ4˺J]4y[叮iUҺG'* p(^P5gfGn*y,b?+k[|#ͻCP=i..+c*2dJ"Jh%%#o*3'X\bPwokGTRZKذCQ&Dy{ z}~$#hE/W0)}qsI}%M~62[X 5E` %}ti= |N"l4+;_8H'EQQz&Ff;`d0(&3 <_!"n$\RPl k61K ; 1i9H+7 񞪆%Mg@'(Х"IZto´vq#Ϧ>n/Q 5۩aSkR1c|4Ot9u~Ff@"'fAhv}RrG NJQQ=%T5㚰nDy! YhI.NزO 6sVC KS5eRS,'ngJ md.֘h\':llA@A(.e 04E4р8CCw|֬yLA0BajK^+ ,^&\5.͟I|j5 دu:%n{LmGS#"&밡0 ]mU1jeXs|Dg?5+x+腦cCBX^$O `R_ cucn{5";a$լ~eW2.KRp˷@@}4ԢB7zA_ 3Ɲ6"'mtw I%2ql<ؽBM*MROk.2vތz)܁!t4}؊'=\ꨀǶ uƷЧ+Y8 j07P*nL fSz0Du=gpj̇3Bw]Ft#N85Xts&X^a;A Btv&c#=q0ech2d:]v.rxg^Ӕ*]H Oʿj+ ӠCD-k20 T ?{iO.OSBaNr13M?ÀXc)#X%Z?{ԝ5V5":NąT2~)Q *'|}(^P&}׊ȜhVl1lN\ Q|\Z ѥ;"7ӟmnYqiǗTM|l.J{GH@hIq=E@n[]b#۵Zz>3CCM`)}| )s+@Ǭŵ&%"8 ^ௗOdPϒؾ&43&$n@!jPs*lž c{@h1}>)u- o)û2ICU>W2on7 Y6Fϲ[+'|U*Cw瀩].eȑG6{?O̘^{@/}qXbك쯹^d^H/^5+ymc kŠNDQl2t7xDuKP*Nh劙4aZ`Mxitxt {#rUN>$=Ҟ3mg"ߺ v90@b[~5S+rͱB_gk;l^}BğW hUjozd$d<ͦwc/=CkU?FM.xܩDɼH`< d1=/%gװ]P $YAqmEmys6!rŲc͈QulVA}B$g/ S#(hnⅫS#ozGd>Fto!=hEQhC4ˤu8WF__(4̚OuT-5mߍт .0>Ҡac9}oM+ ie 2kgdV'd:Hu$-wm"GG'@|mGֻ)z&jKpa lRP0f&*2όo`Te& AIJs4VNQԊk5m5 ;Q~jVܑ'曠նY _k~$,Ш' jrmTBٛRKt~è9I!ŪEXF<#w/~XF*ѐTRL't*((h^QΐEA#} ^wzgP*&)`K9 ~r6vj2/)X!j,"xζ]sx#"TeXE-dXE_#wRաeזIdC:Ř)yJovˁˋ-$b{? %o<:k$7YXt#Yk*ιmXLQ۸;ހJptsǜ.6ZBe 76y*Us v<qcZрZ~;60~)Ox$F.-{שfAb\@V70By̭Uհ A4ck9WUJY؊S.i]Jf걒@Ru%*7B/}![tRB("(0Y%@/-,7BcOM[,Vcv Vp + :Mbt.u` &O#3DD,KHHJstY%+QQxf=N2*=Ͻ9n$Imn6ܞs-fF&xZcBJ{SL ys10"udXb &YK1)|pFKw.u]H_ǻ k&h< fVϨ GԲ\* ً/[P}0}nS" V]پ:g=3)(CxY&- M?åsc˶'v܊QG.VaAR9 :jv78[sϏZug;}"1+{/_JB02ԟf|쨰ܞa@^YBspRkp{kHbְvrJlr HGB:Ѧ3HL9J#E}nCs&R3q%и i,?ZZ5/)AqJwꆋz4:Y&:x;ll*ڕܧTj: .CtK522sG]Ӕg_JZZ銽iEvәDSh~ŭsi9蟓٫"2;;iYolLbCXz?'qZ.| 5Yن6"k[[룋+c zB7F?NǨѸa015Lt6\*R5idտudG)+7fQƦ^|xRFAL _ب@ 0y@`άL("/ ǨrNOs RFS`{Z͘vS茁x_"uv`ƺMzV̚<ګ /ͧ!ả.;D68CtݔFK$ aat jQR>X0nv .TI~"2Ϻl/aP\Z?6缭i|&Y#ן707H`/gy%Q9&}Ԕ{g>zͬl-I36eDXT~PÐka2qkp?Wb!h3i-.Pp ʄoHޕf U evG,]#:k]efvzne%6 6=  q{zʼsa~,G@?+U-Magf/eHIlV`}}.Si?A5VAo}{ޘN8oU&P|R!\񊺞(`m*P=Ѯ\t~`3`1U;L8% t:dM`IZ_Ո:Y!N(QA:ƫO):c\>p|=/ "H}~U[3mw>tnTV<ߗ8;P-||ɟMuIEWObPBVtF1JqK{9*,#{:?5\L^-#{.&aӏR= mh~J?M23|:j=a @in+x?b4l@p Iǿ8DH7z7Wk v%m+a8ŝuD(Vk7 #~WOD苍ەc'~|Yrxl0G"Z aneٶfv@bNxeT kN+yE uSayy 'Xj!$2/q;s8J>"6]a$,;YTvq|iٹDyZJlih j7 `m( #Ym!Cr!M\D ,lUD7ƍ&aGx>*/hB^ ȵgNpp_Qoz5_"L%UM ׾c[V󉷒qt45KA ~$Ok0x6kԗFI\t7[dwg '}FJm_~c87pQy˭8صcgbWyXu;CR"$5}eBOQ'os0 6G~Y0ƖsLdcfh9N*'cJcQL&Z-6/8OZQy 1 *_G$db*TQh~|'(6pjپk.ʫBMV |ƚ6lT!l,{8`yNd/>>0Gp%#w-鲆$ +2?܌seJ^ f81t$Q-C;qP`v?a-g[mQjR`--7&>Rp^w+GKU3Iu%A 5ʯ8Ļ 1wU\6AnX(} VŘh)yє*CT *v>wAD5Iȟ/{{2jԏY̻1D?ѩnӛIaZF a5' \4}z[Đ(&1LA g\pWR,>!_h̐/Gvr4C墥i%>Ejj"ܧSC3B8 #w&ߩ⇽Vu)Y"/QצD] `EWUj׫x[0G gk*+2J_OX|M^lP$H֩Nj,~$o8astlvmi)k֬o-Ķ@ka0ڠQVgdx`?ģLxy^4Vu@ xA@p%]Ql[b 1 uZnؒSb,P`ˊ:gX\%1̣ٻ3i1g9= XC0.Cqz‰( Ԭh IuAO{b/R=p5! UmϦoL<$~.j51fp}lRoc!hkPd큉HþPދ4(9s!#ì{A|͙MP/G|*ГF*Nܴ~=Dav:lf4\Ѝ,98XwG[Jell֓Z'^TA8Iל26Dߤ#m4:rccjG58VnYhYv!ي 8~eƀ,ʋ^'u=8 ݓr۫DmibtX6獆x399pkp7MǘDl#o19akw Ҷ]l]E%6 5xק~tPsf}Cm[ PtDCm˪Pn^ӐӨ헃-eRΟ Q h=ގt7_vI|=w8vpkh/C9[x5UWwsSݭuFh][G^_RY3Y=D~[,!(qw.|O u;vj޴Fs@+m/jk10"/Ո0f_%fjjrS@D-#}Гt"NoDn*t7k: agKH?E[6rX~7O)HM d1a@6g'guiiG8(DTrO36{!ߞ[<ʁpdu*ߵ1ӉcGD]V!c|5Xi +BSiO\XԄoCvx۶!ڈ摁ߣq[f &Hݷ"jtTz^Y|9VoBjAHGy~ CN>3A~ #]ٛTW9]QC_S{]Q$b|`ˀީpϭGlY8,P`[ɇo 3} *5A!pT^y lBjc#7"xX$Lr~pΙp㷙}!OUSź.0שx灲@HƴS2S~4h^Ctn[R=UJ@y4W(JB̾5`0͉0(T#<(R5@%k E/2IKK'[En0!~3i2UPYj{oFex8{JIb7HY9IJ~.;*bX<*FYPI3m4Y_8w+ JYiؾ~E3&a #}"r[E@ ،S[g SiWf{RgD,2gsE4)\%sT:y6_={31  DZ˃5Ebz0t smT鶮m؎utͼ-㛞vBL?J~U}Q)Fux~]JHZ& d$Er”~c0o]K!jdXaL"iK-sRo[VoRf$UP'Id 5)uOcf)'m".f-0ȑ7+)*K9b _I.M[o\Y1 ?˭`D'kg 0g%l" @S#uK}_1=ތ{qLmzu8by. Xt)/b YkVON;G¡\ E~hbjH`8Hޞg6v N.Op0av<k[6 V-<ʙVN6k9ǟp߮WJ缬Qynu n&' ?{8O]%ӯ)%')'ԤK%? JG@ ޑy&R.WM00}#uI*rFڂ=2?E-V{"Gi̴{Q/ 12 쾜Z#9X$_vаߩGڞep6Ox5`m$& SJD[D䥌uezB,6]9^ahOQ -ew XR{L=u#I]F6+d7>X7yjkxWQcl(MaώuN9`zq*h4i,m3&@xqVƠh Ywΐk#מ@Βڌ$#w\*@"9w"֬Eƒg1qXk ~H^*$]Aq݂r,j'IpX4(YTY,A A̝4-ṇ|Hsn-*j>пv$>}s2z@mUVpW&&64K!H-N^(9Ep:gl &;a8fc&LA bK=.#%{GW=fˤb Z`_sI!z&On,eVNzn iT+.p+dġcNoNPlu#ت)KAMTPA3 Sv 7$ ih/s:9:1STytGT EwFF'QF͜jU3&e"FesS8i5kPL-Y1JҪR;t6 diC$,2pF(qE:5rxl s+gl-Ϳ-sƒ5*d"V?Z?Cx {!!D+wYt!ͬv1tnٚ>YWrtpf3>=PhY5QTjgbe* j^6* |#صE5m%a2 3Ԛ!5g\8vQ%î(V1ýVZ Bt, ͖G:`S'[%I1*&NĺWKņVDdF $sˌd/stުFpYpֹ/KLf\j聒À l-t5]"uF~jsNs`Ƥ{伖Tv& A9 0[0dQ,ݨ52L6zѝRMRUiR`׻0##qn3)դu$֛K?[r…U4OrFQcaƢ:<-KutA oX(LDE '~nDj8NQg#߻1CRqQlz h%+_)ĘK0 ڽǷ,p%{3Kd@PUp[(^L?Fƫ]_+%[<٣HXR!3r.mts-_@6VH՝Sp+t" @1սXpL{!ۨS>6Gㄼyc#UK Y:[gJYi[naԮyyLͺt|j|{$<%{Q&m6[w3[;#~f>&"|H;NG4 o0 Lf Jivᇔ|(xz%a$n͒!qAmFjf,jV&>icBJ+wkC;34f58m+2* " -,=y|?| y!m9O"p$U`VSٲSZٷ !ϟЂp 6]'IBgA/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/files~~/src/HOL/Proofs/Lambda/Commutation.thyH@/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id200J?/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages7zXZִF! E]·Iq n[:|&[z'y|Qu9Ġ]\f F@ {VˌĠ%Òr|g6K%=f Sm9DHȸ^_4ӀDq|\J@uy=eny~8[cG;LRGәLש wL~Ll.Yk"w3~N1V7.jħ]\Iꥅuxw "=܍ )NIk8xEM@_ۦ,]fa.*n-V]9+8+mWXL7:$b\E's05r8:EUOh2'&2|bozQKKcx<ˉ_#l<> :9t-z8Fi0?=7o^H𲭩$̣(DJ䛈L}~`i[MĽ K|&_8BPO)n=A .:?ߢ!с!To&p븬/r~30_CSOMSjClܻMxidYRAGaT7ڲ6_\8{T c#IM puh'}*k9Ad)mJaolr-W{`QCy\K;nGe$gk6gwB<2ᵵɕϞL;]ȭܚŚb/IrX"qD^]$qX20W[Z=B Xw7"򝙭Qߏ^% LR{s6NRg̕{cu v/ 4?Wr1b[s_;spL<`:pf#D؂&|S +0ƙuI(ͭ(4cz/)WKr"_ #Ď|Sc7D!+qjy_ ߌne/8<0dR&gnwH4%XDftwӧTb0'2 ̶dAg]uw9-Xڻ+~6.ensD|GkVɳK#lSK-\RYx?fXߨjT؍P=F-?B j`Q{Gn].Qne9,&7Uw|kH_*'UnNIffr;؄˩}i73pT8 }5V=4*x)iIoaaڒ0!7PN]ԎB1ʶk0d SrkIN4$_%ΑD2  'jZ1s"6NTFSrzog7 ^4ƝR'$ue+Nd5 @ R.0_ " 5o"|8ME?<^`E31f6<(P.잇Iis)cZVk۷)#{zOv?A"}'Fpegq}9{{%TBL`R֞2bـK0qvfU ޔ#Ʒq47]EsB"urL\lnF,+J0ז CҎ'Fwlݘ Od0Sqg(ULػ Ȯ\weCSb #xF:,AqG:>?l$C 6ZIކo}H' =@aCy pYԛnB"0GܧaK璧+Ccs!H~LJC,zJUNLK8g ApŷsDoh>( ҍY=Tex[31w 5ͯ c2:8'dlvA|Mt^Kam,e *K82(IW6Inrˣ:"9ek2>?VEGrqdVa)MiПq7sPERH|c6%|uKKQLM.>'YHrSGTg bpGxв|0Ɲjzܧ a"/p%!&RyТu-ҶtcrP"#\ MYz|ʲR039)p",S~xvoc&$:c)x"2 T@^XbKQxyEG7;.2 剋Ӷ<#ox `xlVSD}Q.Tk؇`wj"s`c#M~fw+b(9-AoGjT֗&ogE4ZY Vn;M=:s&e#B&Mr)wnE^1PP`q"5ˤ`Zws;[ަzޢs`8D"AΝ2z"m\"h ]NH\@c 05S5cnT 昫um%OUh~> pH1ͧ"fӋo܎ub_&t~QVd~MT鿥F]B h.%6bzaK"r8h _ F ϟGV81|]/ٲЎybc_qTH=(ʃ&:zL2Ez$ PjLm^.y 4$~0 !ZEGYȻ0zFq5"JD-ɣ;g̲X%%= {t6:8Ċ-&YBA7gtP èw=B{ $+NQ?Kήc%EDY )K>s ?'dHCg䷴ 5qXJŷ4L]n:o+h3H]9?$>1>:[yG:fV(-=!kR:=v`옠>>fƖQRkqS\Tܻj-XmM #OȈz4 6a<`` O`,$Xjy3U#JEAmo^N5/ (lR.C%}+[ Lm4D)1ƨRzP[y{٬6#-Rl.*Ǧr2f|#ۯ7Jjw.;[ !ߥKxB5v >Qdu̗cQ(rGt;?}WxSP;TnF.U7=O} }'rxHl8b/$(#񙀿/kNBwz-PPEMy!T.-O01#>|]Ѡ,MMc5*SySV{Ә^`gC?gX:jIzzJ@ET~:U̒?׆UOs(.ݪ{2gHuIvGLȔj vɪ`'6q'5\%+Mʍpi :Ku͢W xΔ^I8_̗f~ȁ"|[RബN`V j!n~ @VnJpܨJ{Z}vߡir}< \qL5;h('y9f_kV PɦJ `gz%)LRFXbxZu'%O2 DKQ mUAL \񵝀q(Mg5ci'~b:A/"ka6jCy,t7L/5zX[h$W`zn!ayu>rɞww'<$X;T6NPlOG]u7a mMv ٽI!;=)RVp3!8 >MdF`d+3L2|tdYTu~I|=&mKŷߣh (ԄC/i[޾w؇0GTlzڐb9!i2 %TlpU^ Dk}^ rn_ڠ&{mhpx# {#?&oȿÃTUd@x =wYTȖt!^X'51kTţ&`w\ߠdpTo7tᆳ$_Jh@`+D 2[Ë$jf;6m,ͯq^d'%Fg&5"\N;k,X>9*t>Q4CA|([Ե1Z{p{gꀜX o}"42[SBsjH㓆<`-],F5)LkGzv8~ Cre}TY`"7(U~Rw-ж&y v?[Zɖ"N(p:A<%=m4,h"Ķq"Sw 8N@-jljIUʘ|EEpK}n} wM V? z)-떆f{җպf*|?d’OMߞ >a9+uз;@ O) A'v>xquU>%(NU hc bh Gg4 FZlwH.9c1@Է{Z^.Y FJE(tyċ'iM\#Eb-7$ |۫Zh{Ĩ#}"\~ W 0OP_#+ _/ d'JCn {ԀEi/f)\m88R][ٻ.]g"`y<%,'pչ`\wQ8lP,n8X{(3?X y۞b0mG¬#l8y|7\d&Q[kً%gYd/H4?Ir8*vj"OH{N9<-:yLU,%9/xHY3-8gԄφp8pl43C<A8@Gm[Kna"ar|3Ovqˆ c{fT'/z"8׀޼:=T|RG:q\׀ysu 1`<]꒕H /)ڧ4мBFq }D$LW0X7i5s(I)9%?qrzDVI  |sR6Q-5 [\X_(3D7ydwQ>v2FPJsW)i">gm x jևaU17 FƸ9{ec`_a9L}͙-\ӄ{RTu5N*vl{u8JQ"Y]p`y.a`&;Q>ri?!PP>XG zE!&oaWU3/V [V2X{c,xPLAmC 魦Q.o= |lÖQi;HrwslPkL%4 A4|»èC`܁ @q:o 2 ̀C8Xo<x);;×~?_yʖWUcqp'G@A.$͠&5) 4F鮝n8L$X,D*^XB1B+v[Ǣ.曋q~\ޯ y)pj+8:@%hqmEչtnAbtt uETu`Zxsm.tgYZyF /E# |HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 6u]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS.^sd 噷oh$hsch\F紓vXѯ5IZd(qݓkٝ+EòJTa1!Dq rqWg0ᯈs<)42bhfWC_z–^\:|Lh%Jbbb,9}qд݆Db׹(s>]s5m)-k(! K׉:C㾘kS FqE8v<,`w,6^8R auRDKwsc;GYpKp$H[QQWb&sEM#Qi)pego6Ey-5,21@ߋN--$Ǯ ^#PP`6lh;UG.0N20jBܧ)Up e*CerPO!9.,ȓՁ4gļ2$44Wiޭi2kgi]t!r%pe{ [gGRsR"2[=CD:` ^0I̗8_~cSqF?ř]݇"͔Sd,(NM-!HJ]N-A˝ 2UWX}g~l; WH |oa@uʒ"/!{Y"&N-'i(3H F7 NondȂP<דjh$;2~6J7>(s^#=͙J;AjuɁWx#jrfX Tڐj!x@hߏMni_ BmV[ 'g}˗ctfټeُFǧy+x珫VcAF8IJdѷְ[وR%d߹ G#+\N~AvEeE/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ȹy3*6H!BZ!$moK-gy-֑K? W<ȞË{3sMCٞAJ/#c 6bo{9Bz'|wZeؿkh^bN6An&&_L 2f%ha/ࢴt#1ij LÄ 2>ƲnfSEA)_i_Ci^Z]JhWF.u@_(]qBA=D apx )jw' |ı1-hR^[QV|2h@8}lB栾Y,;4m_a4%e&^kKr3$03ڜ/e;| JK(=KuwD\>YjRnq>&&Π!#c"4F%N 8ϬR֕gC,^+&xss%dbץ`8c}l8I<窄"Md~0DhM)ggU,[Y~gYZF/zHcgv#*uaxzQmX+BiUx\њ;|ЉB0W+m0b'旐q*=E7_>PËuZ>qbTDpJU^s9z ߑ ȻxgrkM2 S qd-5,/c8v1I,)播eh4a ޲oP $ 8HZܼc$C+_OV6_*k)՜o$1x zaJma`b5W4 Chp;2] $(H'{ÊHBN4r{[ Z#0^j@kOoǮ@fHÖu\{*eh6dFPM0Rn!KIƫ4:!._,d'j:ֿJd9d0D4V?c U3GVMJN,'WLDL3CiA3ФJޤmuU(+> 9{XH,a+|WjH}Ib.{:rI|L0{S=3e-W!X,śtQȦ&5E3_k QR-(za0=2/XquK! T!m & nݓVH>ܼTo'Lf`M ̳|ql- -L=խ]@Wc20Sd"Yk7[ý;OkgS|t6uz ¬Ơ-طiH0~^mՁmi2M%\l*_CWvv퐒N8ob)^o 5{Cf$6޻z|6O?zWnU |E͘- A>66vy c2ԍ}w=!0r #/nuO85YerVz[HH,4w`~OP" M~B|Sa$UHH2>x?8'5++ͻۄ խ;AzCW?V\[dy_EMs>81 ,jIA݃E/-F SQc*G@7=VyI&k POlCBЄsAٺ *U432-;DZt4AQ2Ү}\m.d;+ Ũ`(#G%rXQ^/)wE"v|a+0i\%X]u a\.s"oulί iP!RQ <+TcOHWv}XRKٕTԭu>Nwݓ<&sy{Jdޣ80W G;GZ|"{diyȷׯuVcbA=\qs?I%E1]F YثfhaDEl^4KX f=|McY[˟̱>0i,SeH0A͹ I<)>Fȱ7 ZWQ5 ^-1ůgE ]T<dN8#_7qcbz`qV#} eDV*K+]JLi"|ΆK‰[?w c.:>m0>J?@)O⪼ vnFdRhc WygZ8s8 bdu\VOBZつ'~!7[ @Fu=w颎U UM{,en[R)Φ֬je3q yX0%ou[N_pW D z5䟵"_]3xR+IYzmt6hj?wa-񕺄~}SBdw|k= 9䋶R+TԘ4O@=.qTz? 5qwTV0T; 5Lfۨ V2~s c5z2 `ROգ;i,U^ ɑf_eŏ;/1Ҕ5rqNPt5. IYakKt(C4b}jUg7]E,gP #. HEM+KDZ9/wnijͩTܻrlUOh`EszN:d`-MS?˻SEH2BK0M[@6Btw+^q;w{Kî6ϠRa #{b@7 Ig 6TZ!2 @+wp$ cbi}fE<;A*;~Cls 5 B4`oq1G,<{ jp gV3 j[ 7q*?0^+i\3׏ed "3`ƕg2?,W\x3nn \an4ɋJ#Ÿh#Ҁ3øLd ]K b K9n/<-I˕XD_ c@} W2Wj֧j5?aӆ^YDDߘ"0aCƈ2WE#Zk yAGbP*fl 䁦hY4"FQɧ0QSu$pnUcma v+I{DBӪATb"x&r0bY:"Gc:tb4'M²?ֽis>R8,3' 9KVOVBeP^1hP2¾mJGl[pZV8_Z]V}%IHvnWCM'O'$@t7odũыߐ0-=Ov2WӒC}kǁKdQ>! ,K~ݕ«qFaC(G/2f:[#+CםL`B8o-9 >,c:1"LZDW\+ yS)\Wכ:5yDڊwdV#͜nu)v(2|{|g3궔,T6]"oj: |l7("A P?sm2DĆծx37NIBQ3BУ~Rƃ<y)H'B]D8mq hW~|40I@ھV Hoq[{;'eB4/at"h/MPصJ< 6g]fMTU@ "NOYڷ\JD(A7iޔEU<,}L-JD{2:>5COugfg1{W<,YObz'c+{P? ѐ+w2D# GD9a0#SOEi(Ѹ#~-Ai6 z~~^]7IX-`[ܭzy'+ 6ܗ#LZG-ȌiQa5Uk*T\SZLot\#Qaj-Ӷ2:.-us491ꕿ{sqNn}r՞Srmy `ElY&IRYw $琰WjO6H+DxD؆8.'QX+EATcƓGj+FY!D`ၳEdOtR. x҇ 4OӐ P.S 58dm/I].Cǂqs)4܍vHyET1ʌ2QYFKϟF70ǪJџCKϦ}WxOZ/a .@UeC2,N);+e( Y+1+!7ƏЯܩ_`lzZ߅̮ڧy`mZ;zLDaFT#hͨ9 ڋ軁WHBx&9*-^&vB{`U9SQ,G5UfBj>LaŨ)ޚ>EΏENc~o}uv#Æ%$Ko9Qf!P|϶R Lu9 U"e3ZŒE8`zgy.Ac"xr7%|s`W#wY}m,zU}ѯ?~U:Ȫ;%twJY(HF(~Uj_d^"l4jF¡lΝv㜒dRFx,>HA;?nb{y'#1w)$J PVX]Ƶ1 Rax)Bouu g CcξX^)V5e7V9Mw14I$:l.LZRkYLbbx GtGwl\ÍؤO=i P'a#4|PcU6PdRPQW~lt܌fcu_RmIKpϯ]:aCv$&!ud6PRԼ0d&V"g@_MMGVJ%Je/p+c$7P% }`;\Grʅtt?v~|J<̯*,1U[UB?"Ìji *9Utie3zC*Gia4BnH“(a ݲվV_15SGu}ױ;g"5[R#H̰f6&,iNMi7΁m_vZ(C UeRp,_yZO)])6CoSNJu:WY0}/ia&L#~ 9Op=|^^էB}fg\su߁K3{Ӝ+>hgٖq.txViBU)(& ^?R$29TI^YxY5\iznDϺu! 7fDQ٥gZz}x:/C҅lL~K ܇r-r8Ւ#X1#ɇM9`5)mLضy8;=̱M|ը{` ZiPm1|7?p(J۠Xq4XXSt֜جw?@0WvJjvrp?.}ʜeF t+* ˊJ u l7V OOZCd,y }~j/Qz־Iԉ'j&Z$3`)^ FjYf[lw߆;4k`cXQ9m6[bH8r ( <,NƗ$u[yr$4xY\v[lHmsa2u?B3?wy9 9ᄁ0Lo0-u@AK Ó`׃ڟ$_`_$ʔ%RmH^(Ez?ey-ܩoB^y7:t ~sDGEzkf-NwK>? Sg+M؉آR4%24}L_ 97w92M ϕh C+2LՃ&"Qk QHIhHb$=@udJ (9y2mBaLK],~}9)ooU ­WJUc5)ڟ| NvuxXGµrc[~ssgD q #+FJDZHUm4~I54~Z5}rfQR^Qg ᦨ WG+ut:x2[-A(hRA|W.Yv[KBa~t+xVO%He=Sσ0ۓP 6 U0v_? idnF83}ΗJ@0CZ[.[l LsL s^ 0{o-0USy">va2alAp\Yΰ!؇_0%nsqI@-A`d7!,_SMCK ^#!$N;|}JXܣy\[< Lbq"r}|\1sY5-ŽVop{ *Vjyl ֙؟Brk0 ,?R$ 6Or'z@*冨K9կ v+.vB2m IYj'nSd^+Lq>ľb pL|YR׃1?ЪZ"% g b.|/"I.  P__-4暍KPLŬTx=wzjξ~S,;Zh94V;ɸ̣#Hziα( XBC~"#OTes j )=E%2WȤƧMf5c .U~sa*[h)0b^i#sI UOz$x<49g|ߩمy4hjq([(T+6"}ЉL3Mvܦ; {Q J~W8Ț\!Q5vLiyc7Qz~B5YrbOя(vY ܖRY9mAuE*%37pw%ԄnQj/WWj(`54CEvza6;2߯LwȮ]% dW?k999@IHڹ輖1(Ms{Tyu &n= _v]exyip[ٿDn_}0ջ:YhўmT [kة5g5iTB}%JH0&@!+/=r(˲f8D.qh4S˖YǢJB7>5<b*&4s?ؓ{/,H>VPxXoLCVȅUy5kJ;x5C98dGK! Ac5鰕EjNƸ8._/؅uS&XN{k尚ѹ٪ϒ0IA̸{{+ljd[Ny0njZAarl\[rϠj wg30#[鉻995w|(UNĭ A/LDQF^hBorU^OuMT gsv\ -qW3pbG2D)rOxy$ |y)%(&%O=[l]s)ҜW)aR5B禔FnG`T-_RU -tO37-MXr4"HoO@6mYO :^qѕ5>u^jbi}]LU-nw%~s;+#v77 {SzG?kxwmϥaFֈOS6-fl*#e!j\5y/mW 쁧<%:.5z.,bF{ٻ~0[>23b@9|Ttz Ka.k#6pn94 lK+ gh`aIJ'2Sgֳh"m,9ױgYZ*~)\ŹsOXA 7'ƈc0-PeQIL%D]s q{'[36YKI bpFACejW Ϯ4[,R:SX 9M޵ ,EB41 qBGx |1F"]C& a5]LNQ#^qnD#9 FH3 8d3YnE]'l ߊ4&#!.ipvNrL|/@lB&ԤԏI7KtA@x$ׅ9]MKktXwVK,4vg,nei̽O{Rv~AтHN=G/dpϜe?"'ӓz}$؋/:x&bh#@iN8 !=*=bdE  ~lGnm NG+XS-DKg:vcZv*)FҐy$M{o{ug77)b7`V%q@4XLu G" -')%LnPE5oGeŦdO\4lZj.-N? L GCQH.S[:D^؛O39BBm W^)H$lsKatmo,m/0&:;9 R {*%6?}]PϕJ ׁ8b3% 8pݹF꾿SHǬC.rCjE~bD"zaLݑhB.g'|$5qܓL܉9=Oqd FX% [ocSMZ:Jzcj#B S R+suzB$#>O_tN*h&i%L r2tjn.5Cwv9lK-] ҟ$A0/"jΥauj47S2pSoIݢZrmͫ)t"J皩&B;6LGtZ;eZ)%be"9db}z Y| p77{.vE19=Z)?+uGIIaߟCu=#!,YAݝS槦]פp ,p;-0u`CjrYYXnvucYͧzæJ߈gkT& LL9wvqc+kZ,sd'OAh~W)^XJ$ŦUßI-+{OJ_caji>zt8V%$pevV?/qHi!|J{'% et{ڜ ~j7\V4=!㤥O_ 4͔/7jʫ@C hN6p|1j +gP0hEWs~`:^C*hT!忘78:iu]\ƝG q4x|ɿq{k[/So]N DWmMjLQn[ig')sZͣCSnVu[l\tUßvY 1@> ~o R! zBCR'Pj,/ *X$Z6~<0, *76EYԸyͻ9ʱ/ L٨"N6-Z7a;baX@mf/j3\9¡ {J6 :, ].6I1~ZboApjKMS"/3(N)B5PFb!] MHOzƹj[ΤQ(%LLaϣ]dּ:R6&PeLD]tt?ys ?SEu͖V@_ײȡ\-'ny$ +&MKzjpU=`b_*8_]pX&5 {;./dx^2`n<_x1/+N< ?fx8DZ,m7R\8qD{2!"^)e?j.ټa/|0S5ШO$CwI9"xS.@ )*4[!\P৔aQF䗢ϻH2xԐB x3RuPoG88k: M*6,`y=3$IL}l%'ќFT+@u-mE+^,et@: hy#P!y:9VMFh:7R܈wc@' 0C5Ap@q=bn;?g;| >eWMEVmiN.!(["Cm&H3555+e]݂CLl53w/ ݓ >+0Dq\@z(᠐?b(g7FmcRҳEy!1SA;xu5n>%.(goy@DCG`z7v;_г7)@ l玪LO3 7 , A\*-ntH( cbgMB~Q +HΓ2v-%-r~f/?C[`|$_"'ٍ(֚oIeb!<9Ԝ MLSoxJkT]6¬ #o5K_ XGrnvrlo'6JhH KhNW<վ]AiiA8SJ8j^6M4}"VXq-'[{|XSvQ>,ye^iٕ?vNsyU׷l0>9C^ҥjX Cwkbk_peshG`XǜmlBb|V?XLٙFD \vH'2y {[U螾KHs1(XeYծ8dWH;SMkK }X/ng*H~)8ǿw1DD"6-uW'p8+'7Uj\w+V 3BhDuh /zʴuǨTA9hV! ۱G٬ete*ntCRT@vΓ&k ?Eھ9/XH$bmzdHGyt׈/369QJe3oV!U"i,6AgYZdee85516c7c562155c517fa160357ba743dde986957af7128c56069f82033b5e968057a2b85ba273 24c9f98dc11b46c66f9ee536edf1a438f51f21ee