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 yy|/xtDD ]/ HOL-Proofs-Lambda:threads=6elapsed=101.862cpu=118.969gc=3.7857zXZִF! G]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߬F5ATdrt2YN/.vk_b9_5y@ JǡllTb,ڽ'PXR|ǩ@>h[A&ʫ*{wEȡ`W亚J߻Av)fz_,0v6O}yEq s:F)AU儢#OB,$9? 6OHkWǓ _׷vVk,{(ӧ7A4ȵ62FpvPrh1k67*/0xlB$otІ#UO98/'lpR aiJHo$O#1}D_Q(+ 5T[ҿsE!93w/KKYΞͭ0ϑ+Ҝ4AS"zCF^eixmߍ?A {" nKۛiʹgYZ7zXZִF! hZ]ŗXiɟ11bu)a2W5Kԫc-; [ lZ:0 d Q]:0򤏶8 36Y:|jAWO#"Bv#PX锝f_{o"|x)KZ<~QZyE9L%)Tٚƿ\MA  5՛ӊ1i] @.)h`tg+;$Kn09t^GeΩ!30JmmwncG!NE?XS 阵xK&zo]<Pa7=u":߱gYZ7zXZִF! E@]ŗXi%8^}/F(MDh# #bNyPb"RX4.xYfkBwsxb͍.HRYō*/o-etԙHfนY)+$'\ ӲnCBŒ%FtW!d(SҙrY 5U_P5V_3*mA:k>f{HR\y]} Ò@|+~ F^%Upg%}bE!&Fo$&5i-yZ"%EѾ.+bAK#kkloBlL*q2k+*:èɐ:<_OQ;U! J"ߡ+6c4?b<=h!>ns=( ,tDyJB6h/r򕰈6KTN)ume&Exڍݽbi9g29 kqqCdВq/gaWֻ֛Ւ0CҴHX—#bGܲ vko /l*h8d%baM7\Ǣh *e%Vjby1&ˠ w}S85a HJ@`f 'k͈UhVr9\8T!6qfIdA$s$japBi#e0UfH_WIHAGSR*- ,C"[)֙0;ʦs !^.p1B}IpW@`|<ÕxYt[9gkC B {5&:o+f^^^ns˝ʩzPm\ ($g:rw)Lz<)0 MhB%屼o]W1ೡ#/*W9n!iE#T8|ݰgmSK>wr/'Ogh 6)Dɺ]1W断zC_ yK#&9&X4{«U*"#O*赃pTar_p iZtZ;g6}c@~?Kᛲ~Y1Jܐg٩Fh_*E:r|)vx AFI@8b3/ d3h|T(0Pڋ -5kgBĽN6<(M0NTEc*_Щ{{@\dFg-1#.s{4l* \%$ /fEz)Ry y!,}訆FZj1h&qYmr϶ݧo+~ggS(F劝(>yǃ( 5,j33D1M؅}~8 YgWj 4',?@S'*1=(dq +I!!- iNSxF /F:y@(m*QQ Y>F(1#w6fqs!MwK&)>㈛$ 7GĄ 2?%g,܊Ա,x=L:Lg[TYQ7Rf5o75c8 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,,*$#         = Pn67 q / L i _t~B : s 5 b# Z IC >/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+</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages*:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup)9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files(?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/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/filesA/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=/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/filesB/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.texF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.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 J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.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\#$MA1]=栉LTa&[5SG[G5B>UJ \M0lUrq 7=,T@R%+poE]09*/{JB'xrVEU# yԬ[x^G#^~}ܦ^ԛi?-@5:J*`'㞳|]3GMxyZq~hS|.u h~fW4Pf`7PRmy4I˲( C@ӓfR_w{'$eAF:M.* `PbAޯ5 M#f᳑39tFJ(c|he{D;Ϝ`(-9wN->L>sj8PYjU4[Y9 ֐$i | 2d\iJ .Wh@0V ;qʂШ{,GT/'jlO#z:0@E5RsGRY>@JI+<fӇi3 ,߹U|d~(7b1qzIҧVf֜QPZzcCrAlrjp 2} ?A Wy-I&$ߏ5p@>kz"TvR%dī<)K& xgŒDsU8On/j*㯠ۈRAp47G{k!fXnrL2B I'@+_C> 'p&*'s̓Z=ϘDQ! _ӎ]E)-<CdUW0Xw6?[y'NֺݴIsU\1x%u@U1 r 'ge Vzč^R`gLU?w[fpQ+ _4 Ja;jCMw rCn͆S !W^p sFzv !Vؠյ/{6(:HѵxFe_,*Iԣ_21|I0ց抋{VTe'9Zwʃ=?t`Yb@ ì5nzqܙl,$x"}Q$IeC]_;U.sd/pSMWM% åYFd m 6 hf2Q^GT\$fM_v䀔WeP!Ц]+bAOXT`uI^b1ֲcqrR0ca=$YHϚ7͆A:q虅,`LT XZ]J!.Z57K__3L0FDJ/n )|2 D2*F'C6oLX/[wsVP c<-N(}^%4xcz]ORǟtLkĝi<i63&ٯY;q~ YwK[ʙܥW4F$8o}yE$z%}^i&ssNƚbE~/aQV,z/yӛ~tzfeޱr\M =k\gFjӡ$du]; >v$9༵&QLU{ ydFCC'?Ħs n ~[F2ݓxK '[Evɚ湘QP$[)ڎ9* 䧐{q0,:9 ; yOrVíQRޯXk/eG@"X'LCU 3uS:lVRʴ۝ad%M'|RKm[;!o;do{Yλ ]p*jю|b +r^9α)^HDϲ.J;]Eh+9^:S {d%fԗy N֦/ݩ{b',V*¨w5S CK0W̜^ R͙ޭ[ 268BLyy,1R$_1x2<*B&ų΀cJ0%yUEBB}ȕ=I z> .S֛|_O5^ՠ6o0M| cDG#y)c*Q^{!/b@/3:Ԥ$aV1leliCbCbXE <ꢰ j!Tc f%iAݔB-¿6^" Cb%v͆~dLFYiAAjOiq3SlS\_E 7UJ&A*Prnq;bpG6L6d/ \p^[Y($3r9~Y`BփyG)\b% O'9H%5K^T~e8*9o]U\O[d]iMp kʼnn'fgsp|sL<itZ{̿QAѡb=jw 6X@8|G:**kP&òoyq[B pMEi}1fFWWık|B0mj]W[g *oeZY0di4=?,Aᛏ>'ӝ\]9:㻦q4sehl _&)`dAs1oB,mo],7G]ЧSְ3p68}#ԁ)=& tvT a<z@!k15sLlZP(5@×̷eH\$Dwipy s6)݈Bݐce;(^!(ί5^5G "⹭wi_EwS Ao4펇U_D>vɼlV_ UIoj: :% )co tA]@$y-^~tG(6U?: +^뇤:cX?bih#ImXqw>3@ ])% ;Y8/J/a\KC9 sOC=nf,NuQyH.e&+byl^xu|A3gv7$JD[ݤ]Ǎ`v=tf:*%>;?ٷ0qyq.Db{V)T9rE-eCiEG~=fDĬ/.y4JTtK V$ɳ'V;x&ܰt*z8͔]9}D͙t JmygR3չ:^ٗOfQ @Rn[M{mgL!̝OIܰN!u޾NK0-BiA__#W,Rgz*+Jlz*Uh/- :L( SCi-- OkK&38&I;7]v"Ct#.c)I[Ö́=O 6AU,w=,`S#HQy?4@cv4=8&. k]:*֗ MbFjk+8ra(D ݰ-sJV&oi q6"aȍ1OO ( ɣڄxӖ ;"o~!XyyPAWth,ߵllC= R͜vhCԍ_c2Cs`|–NxʛZ\K3Jj{Is;]kqjD߫W*XxlP|3XLQЌp y};η\tP [(w֦@IH8l:@'R5'ڛT߻2tzőVq >=\<8 Dؽ~-͗A` ]ގF?.l:Bqn2@&iV "x%֓ra]evd@ 5^nqT&|+93:7VN/+ 7AnSVyK3 wT tؙ_I緻 vE I ]ʛ:D{ "EíUCֹףLS't﬛am)&7@`n|[#w2(IuY@1B/?["EgN\S;Do>w`b qQjU"l5$h7>-;@emzX u|.=@&2`CWի}SGN>)^r9BH?`A7şyĖc`$mw5{sy-7ya ][jGz?Vm߯ՇЏ<4]cSOiJp05[ra=e'!ԑ&69Q ki%Jz`"ߤsgL1~.-fj Lf v+em!i-Wy"yR:Mel\`&HĆƶJ-`ƌ դbj֝.OhҍR؂`eDk IDc{Ͷ:X %ioDkv5a]ODQhR%2$†?@}qI= Df:v4(Z3b Q9Ous};l/Km/Łwʻg>w7 なRfJ:FQx u'7Jbۭ }$,6DVп Lσ?!dqjdmI #Nsig۽G/TEIut .Sw@Lܸt~Q/[sb^( ap&P2+R)Q; ܉m |%̹ 9#9HR[T1J:Lu@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ 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.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, {{/G= tHOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex7zXZִF! L;]A-MՋhvG"uIBm5ɭS+Glulbh""'^ YǵI#|;# Y%u*87 ~Dǘ5 J_7Pw::JaS p_E@O_t`P  e&R1 _.`X\EԜ2Gpv`;Z6*@ Ik#$,ymU K`NG UGhi2g#s h_G1=9ߞ_Q\HהpZe~F-8n8}v,M| #MX`$yS̥'zd )b=:ߨ0wKn\mr(n|B<S-On kiؓ[7]߱Z⧪b,r9%3Wɷ_p u(ks߱$lŵSq!&e!eɼ㪢hĦ5a~VxGCeu0wc9ͿWf>lS2xڃj a~WR[?uBjI_J4FLcE _yf.:&AW9 ba`Cp87'kp1,VqlRoKk~kp$\joXGU{[fzscV8 h52֍->>R.|-#Q+Z2E;3ճa4X} y$vٯj_o \$\w_UUě}1Y H`a@-c֎ sDp?3Nx8AӬ\,z: pMRӂ^t< -i;&v'켨䡔s0*В ڷև"6Դ;V,Zл2@cdf~C3~o*hl[:F8n23Y.`cq+:⳶1}I1xt녈i|/b]LZ; +;$ ;Wإ>qK<+{'NXT2^}b +4XSFWDM>B`*AE(iI'e)wQvA6*Ls~%Ʃ"x*r1_!8F Vt@|~6wj~|OY#y<SU AӔΨ;w8o.5瓠߾#$qm%^V޶}ƞO߶@QgD~5UNp9zsJAɑ (L]hsb^+%QSBF;!s :uD}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 l /CE DHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex7zXZִF! { ]A-MՋhvG"uIBm5T6Y)AEŘmUVˉtѻ;"eֱf!l1ƎnCDz{iYQG -;hXȍ}BOym?ƥ\Z%ҮoA¾Ԟο+^ޝVzAmW>T[ (:mtDY [  ZێqwS/ 8@Ldc۳!GLpp_d^khi)S("DB6:;w|nZK? 4 =GhXHrD+1?;6lbm] jMEܟ 5T2/Hds\F1&W::TMZ]2Ӥ=° C5q6F'C;O&64тhFpT<-޿72)~FFMw.ruka;yL̨l0WTe KvF*LUV$'s.\mG~PŊi0#rcd^eӣ97Ӊdcv|qprS_O*BHGIMtaq0QGGlVVo?M`V;m 7FjR+dQF& "P,a`pL4;Vg92ZzfHSJ͝,MI9; dbu4UlD3JXdbT:Y=e|M`7l X+y,[La:/ď(rHV ~'+E&e@kY{1MW_`R>[8% +x+3<9 %ę|36v EBD D{tߞ5PZ;~Qc?INa{IsYO (񖁑SL6Ϧq4puEV (< iR^ A fIc`i_pW-XM'(mW8\,䧸GQ'H;;wubhK1|Y`dпkrܣi>EsFxH.qg v~"%ۂG(Uж J䝧k`S?i῔Lkx+v]XQ Ͱ_x9fa\Q pLƭE@D|s0R%C+ƀ,0A{ryH&Z}!mw}Jp2'pP)ڀ^;U;ϋRYmTA5#BU: ql˰h\7/)єj ц.WjneKv)E47x&4SV0mP-4rxj-t[E4P!-yRtᨉ\|MDCpqF>t/!Kp\0NZ1> k"R-]oWaXW<Eǁ8JK\4l{$WLnڴ1} gYZ ==@ /=3 HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex7zXZִF! RC;]A-MՋhvG"uIBm5D"~^2{Gӟ!Չ:HH)3*fRB\[ ْ;~܈`ndA8fta5$G NGUz\(uV cK@LrXRtU -#bgZ8=0O5eR$ We:\|!E[{ ],zBZt>-R*{xUP0EK`b2Fzg/6L-+I"M+tEuB̺&m? ʛ63V{h(E=m)ݿK0 u;x>xu@]D\a`5*` ůzkabTq$?#4(:C햴' BzRRE!sO`.~KtOr׃5]iiJm]pbW@jQr}0t<]gv_3[Cl9jIEl:-[k^J2 ͅ&eB~1Z@.p{oJiSqp`;Dv"E)\q2SI\`w cKj?B5p6dFIFP}JԬvP'7Ǔ{g:.UQe\SU}?5 ƅd*yTTui(B o<oN!'MZ@QI+hx,vP=OPlduXc%1 x.x 9wb#G YPBC~ײ-fZ _Ō#vz~7V9#R $d[g8&*E@?(<`:[5@͍|L,]65Y~WiK[nϮ>hӵssP\xb\4 ?ȷ_:*m'&YG/5)K/W-"Oo^o`6WJX `AWB$'8Ĥd˒gYZ . /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 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מ)^ΦEFd3O]>$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 f\fg/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/files~~/src/HOL/Proofs/Lambda/InductTermi.thyH/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id216S/C# 4HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u;Q]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3{yOEp 2٠<>CmyE ؝W QQ+;+i϶7T0οǥ 6pʕ"2YY=|].U B$ 6\d큩xhp,Y$tC=n#a]s.Z3GC":pEc4L[ 4t½0V+xn"*@ר804pΖ0 ap:(z|#9\1en :30 0ѱ,ICFfWt^ c8o h:|qVR&e‹zЊ/iLͣ:t6R"[V PŹ\Ѕ,\I7%u$r~xK:;U<-[A$?؉GE9E OZg.8OͰ Y:92*WTZrm3&߰KgY&l똺l":nB'h!5G\Bksڒ!3ܨW{L.,ՐI]q_Ԥwj#|ɫަ1 ZձnwC BuECZ/+fkF߸"ΪyW3J گV`*>ttDUyt ;Ӓ듫 A_~^ b|%Y9f1|YZt{.PS$'jLۓ& JyH%[4eW'4̐K:eL3|#Ū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\76T-IRc!\=2 fnd:.sB&! UB%El3r㯟HjQ=878aDDb}[:?|-ީЊmŝt1WwLcE"kIkx@v=F $Ό!=\o'Lzpz˃Jq@k6 6g1@]k9,wa5uHrd!o6mI/sq_Ǚmϛ522X\@&۬5 LXSW<"5ky3jho>9F&a{ۛ4!"0m}ZP+_$&H맡!k|^ Dy}inGNK17zX􆫃}/˙n!9MZ{:B4K$'/IaZ#-ӹ>}^">qB5=~goD@yQ+vN5fzO5е+i9ru+|6zk({nNP8_/f-`*l`#4g?*e)`/YիI$Tn 6 zOj֙!ڴ>iDs.˘3/-ݏe|^~R#hUܙGSĮ);B7X\{>ST.dLOg=S n1BBHN°(=XHdT,tau9=:nin&E6fp<"naYAmueIa"7cU:TD""fS6{ZB0bN4GdDZu,}:llOl7:i@N,p|5` ZŹVc/ITU0XgW`9X2ͥs+O]9}jF$58,M챖G OOH.vmGyg!x4ϸ>W&r vX}b*+;VuNGgf|X;j{ivJs:~yj#  H#| udc  .mz9K|#RQr?wC1U8tϭnobs"- Zp?fn4/ͿKbxq04`d-9! [^uvjXOP3\ 4P;[+[q[wFXt*_f=&@}F;/{* tLm7t jpӝybD憬S0?F3(M6>aFif^Tlbx`| +Z{(=r'N>hQOASP*Ou KQZJƵ>h8$@ Æ!#/{0hxJ,Ls܂@hTʃT b:*̒?,م.jd[ufdO:$f7hO x8m3F~_ԡSV: ܋L\7D?^Up&wD̵u?^w8 ak Gan c=ki^r2ETpb3,5q҃U-隃0g 75e67 4C]k$ 3+Y1Jp:6ڊl2gj\N5hSa-kQ.`A~.c%@n˜GLh8 &NŐHjL 0OrjN`}]gtwզmt^"l@hPU%]|C~8/!41I=vQ'#z2R|+Z\/0T1R|E7U _A3|֐C^{TYqPY #c8dZvCXqcQ[Qs7LT=Y*9V.O7m70w>ٿ-NJd6ԫPGa;"!j9{Ȱҥ0PiY5"wEΔbCpurYt{*D̲5 J803mQ)zߵ'o"1j:LWUYժ%W Fͪ.|2ᮍءV@"Wl:cck!x ѩ]T1Yt)lk~)-JJCCV;nv-R@P2}cG1/hZ~nӆ>M&$ZH}CME:gʘ v5,mZ/E:h#1Zl 핟N,p:m:*ȭh9+N_aN(}Iu`H̩٣ ˔H PF%mQd` 1ZS%dI [ Gh+C;՚VOPEBjD_NwkY9wq#urh1 o'4=*{NRy#bA:9X,l gh/N,hMzJdBOMLq<:?:BRLZC=5[w Hq|C[lR0){X }Ɂʩ30>55۹M( Y-gYZ| #8N# >a譝3X*{5Imo?BO]<25#Z2A-lj<-TQokKQCuiKִ̊T2m|d#ǎB06$k< Tb]kCRYK{I.{O5Dq$Os7-I"`Eۗ.|jP|"'Uc"Ӄz}` Y J:<^~[|4=%sv-<4;IfIj`/S:W7e55oQpxZQsR;"|Zq䒉zOAyt&ong0cűp)[e-ޔ U|,`uHzg@n^䈳2a(,?6"cI _1qHt5ѬRqڶ #X1)B;v™*7>VNN*+ZHӞX~rrBEwJ:Swc'ߍ0b\s{C1T# ` ퟛyZ닕wnK{._% gIybFK{(>,d>쳨e???#BP̌Fpz >8~+epy"]W dͬ,,(Ep>GهYubjr-qnz7)4.e̵TuCO@ZhJ"MlZPHx!*:8票4"ksrM7bdMdKq<TA%ŏ| "Nc^JhY hfz`Lٌx++qq84ӓIF0wŕap.݃#kcJt!UH&ƀ*/ E%>;yָC~)fդU-!F$&lLEgFOVz<M9H7ӭHd")K;,ꙧQOL8cFwA/^ܭ]cޓDq,pIMIN_Y7۲l-2-dï 4GhuS$pȗY"TMINQN a4͘.sH&]=5tzq<ĘzB&Cp)Z} s{YcӚnsSN@p>V7EH՗܆zQKW/{>FCc}—}흯9̘;&;Р@ [U1(`_Ç {Kۥ2[F16)LՕA&Bơ '$JI~C8Jʞ('Ux0VQfLp]i2rF#HWD4˹xW!Ѓ־#SU~x3=ȌR`~=>c!sĞa0-e7`6H ^)^b_W@sbe#9R"8S+s7b<9./j`&@.{%q Jjp9?v8zqMO2YCMJUzav+3Ikreć}5sQzUϘm`,^(Orc|iA3eW2m+rju ݄#f1)d Ak!D.UDl ,'sDL .l:R`7 l&"HsJݽfaKzⵕp g+urQ}bD6f43L-DBƋ ^J#7 (=_yZ7qzOo.5n:<3?t9 ]`5\1/|6bkKd)&^P9(>=^ʶua* yZص(sƒ_ dwv"Q0ia:?ʀe;EBQ{~(Rے-hOy){,]5a>LambɣLv;p> g櫝M,V \a:GiKu2jm8⃆|XC7KP\cN]|ݘGL_q! GMB#:p@e A'~J/Hhb㩴8U=g S9_pqse#;ŎL;ZOY 1(Np@.v$…Ue#|6y{B&lXn]Ng'(Me|*# *vDfkB̓Gvu]# FĶ2L &KWoځ(vSR>ddl U؞J5u9ZJO:݇"C?@PZjpfPr1aff Awil!@YL=X,^fJvtao%h.]Q5 vN38~_ ana!"eM:PI=Pnv-c} JmJ7Pbj³ )l^C56VH n]\vݏݛol|NIQ[*fgR@>lzATضs,sU@L?)Cɔ1 <@:([AU}d|"Ѝ 'i:${jw'+UH}FNR8Yeg L]y׾yxqAe7rjt}NkxdFϻ`^'67^>ʡlR:2K\0tɦ;kͭI| 9,MLMf7pz- ,gYZ  Bo/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files~~/src/HOL/Proofs/Lambda/ListApplication.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id206C/G' HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7zXZִF! (s?]·Iq n[:|&[zܒjl}ں@vOA@\, Z8>Rl:}#=Brl:,D_ळItaJZy2.øQRMdb=]Qo=)ۂЭ'[nUI ; RH} P :N?533Yz(1f_$ABQ{βsxO=f^N%Zj2@$z:NQIm1D Pȑ" >̛oX4 4Z/.cAoɡޏHݻ0!Tm#..GD>`:kÑYWRe z J;!Xzgֲ%$@[P"f,$X^" R "F)6`3,}}ѷ}mW04}rdDGjH߾}`;B. -|D,a4d;o5A|GZ}ˊ}ւ /ۢ W˅úX]8ŋ  +^˦2 jl(ϹNPP$^@oFk+|]yQa6k weD傚z8S8ThkeLރasZؚ!L=pT⽆^_}3"F곥!&>6( ;$E1sh9j42)}j’1qeZ>vǪb LJLu#~2a tM0o!s%} n.,J[~&p9h'[e4MOb's#1ܶ?&?HO *'M? zCщ=QH-) ?GMmQÄIڀ|Ԧf"լc(nČٵNp,浽Q"3Z]%&i Pc)x|pq6s0SHAo -0-vsN8|c MDPdgYZm/G# dHOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup7zXZִF! <j]ˠ)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هېHKp7:tcOD^DE[1 Pf|._窋`/o-$/O{bH)[$?dʧJ5#,(]DQ_?Ҋ"TR0'ͮC'f67(xa 83PE:*]'0dHe'g Z s[5[(O LݭbϠ ƽ5 q#9-f!.peZ'>qEn聗 ^)ja57vRtdE,U1@I&FpefJK WJ,#3L^0^!9@`Su3ЋbW/(D7 Vco*\c*n}̏<}3 cAZl0±a~U}OC4Hk>nX j%ڭN'qXM,)&O/[g+ W^MDw%L*%.4 ã@t0mPPd>M\$:;<*Slha"vSK }K (1J^J}#lpr&w&]Z*0G qqfJJQ3j8.dbP%;: a[B{NG[m"'1l6AW,yrNJ<$"vbG5CSPO(C^_xw뎨 Q(4&_0~Lgb`'$0e,T) jFUSOYcq7 `tɇ|Jˤ "[1|}SbV=j6LGSg/uKOJu i<%Ѹ:,HAE4qM kM&`V@ݨ{AbxAOm_1-I9O;]1s(&iخ4Mc24S'~ hqI:(^G}kT630!aޔ/Ntt2'ڞi1&d 44Ɋkϴ6SOfNs04!چWK0yEd~ HP5`dck*&"?otW:,qTdu~;ogI;9Sĸ!]fYO`¦Ӱz5,[*8/o\A?\}\Iʽ#/KG#[UI#F(AS)@v0T0)1Ȝ}E[<3/) skg']ݹ˺73ʫb Sz+f%2C-;)6~zwId d6ԄŽ- *IHW_в~OCfV*SE(~aFGvA(L,ii 4\C;0cN-rPߡ2I}:g6Kc2wB3 .T_UFAoFeCᐲJa.̏%ĸ:&$1|<7s|N*y.8's |p, ;}My/aC3sv'1H%:JYnC=01 #{ qp\z8$D[9瀶ڌTllSŅIO).¼z / rr! 6o!lV{o5g2 Jlͧvj8q^~pt4ej@;&n.rLJ9{lڰ.]oV$FJ Yǒ2htj5涐?Ƞ{^*)~$۶|@Ѐ4hC*íg~?:F hޢTAb vxLkG/D8M\\`P~!KeBkeg}}I}1*U1ulL WNED.~K|&lΣ, ;"ba c9 58o5[[l=6[aLcӒUe7K8X>Eea6! +-ܿ6O(͠P۪PܮD{5dL +L勹BFҥp&{RZaSڄ8}%@RlkW& vY c ߨo:6{0hbP'4(RM@HMG"'HpL6A|nԓ !a`ѻ}OK~jpHm=Da$BmmgDa癩UN3yq%a^s8J#ǜ&?SߛTywc?Im0'⧵\L>h2A&N4Vwbu%A79n%0ҕ~$rrƏ+E!~Sc_ސr"f`7 Z -DO'D1noC7g"4&E=}1z uķ"0֖y߱ dK/S 5A+/aJ>0E Nzǰ 9l\Bq9Ӗ[-|n˕T i_FYA_l%%%Vl3X DhO%#Ú>j+"),7g)~ڨzcCl=joȨXNfY`!%7-z9i~9:b'!*3rBjY):t>ar̪y|}n΄z HRԞFJ%Yn(Tn.N/1Qx4.y4@<3KB-ٮSD5\z 5ٸߋehF5*csy 6| v>N/ITq? >ZB]qhM%ȑ#Q̸Q 3$ܫπ^ԧ|6ߚm/~yt3)n!1U2a>,}w[x&VY<|[yk*OWa"@U.iX}Y//w1 Q=MBK&p6P#OvP{o*HQ "L._EMJC0SBs¹\/֮@eA˶S#xDaB;qb8HUdgR`a;)wG_jS^s#)̪g)c<E;)1ճL$=Dtt6cO*߳MkFlk2eœ=^%:euXQ 0!B.ۂ3 zj9?6ŗ yQ?Ke_/΅M  8?ëdkg{_rm Ũ^t3-SgU fzL0i@% }7]yۋu} ]t/Y errDMAC ,B,Vv]EKI0SvgR hQF4;3.;AQ?gZ( ߱.<-vL&sq19K<,vp|qQx%p7W?r*D:NNDJsYV&a | RT^YCv"0Ȗ̶zq%}Sżb"*6{x4H 3DNEx( 3Jϣ}RN4T<ިUWh[7LJDKCM>LC} rzWj:i>I?moEg*NJaSZ&, Aq)cY6K_/A_r;[9Z'N&4Ʉ !gYZ ?t&?^ /O# Ͽrar14|MN\"aNS <]Ev[^{5iK¾\ݸCp2PԷ76 0'v %ȻݎőS>z=dPak2"9Ȱi8WCzkrP 1(<񴈨EmvWU%zf@UM[ h 1S=JCN?Ʌ]t6C͙NৗUlo/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220/O# HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markup7zXZִF! BH]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrq2rvZԊ-V/ {JH !o`7|oS߄쾬h:J"&JWeO3a]fp@HN٧K:0 6Sٮcfl6͢I6YdxIzD/3`""g`cϲ'O6R:Əylm&Ӂ'AڬԶW^v mUa l?רßGHc?=~+U?YR`&› UqmrK1 {آؘ RoUOF<.cTxD[SRs}Yv~Y8UNO^3H]u>Nﵙ/&}:ZCA]^N1'myO |՗Zg}FkAMpJ||B׋`)rp&$RM13CFI1hJH톍4| 8FI ĥhRq;,Oo5ДG_ոad -.IJG d?;89A-l)3ʿ2TΦ;Q|J{%k,podJ^ gs4d#5ǠF[͏+mC"vͺK8W$ fݚem+biܩЛa e$)!S EsZary,Cl]kS0ME쀑̹Oϗ4)-Xm}aeKu7 nkա[M!jM:@cGZ ~JZ5[ڶJOQcO(@\jBW!ҧśKMٔȯD(R=涊яV!YpAjH󂿕W"LԳ<`:'%ſ1SE6Nu+HHqмtC-Il'~ $"im180UNtȠ2Ϳ{}\Ɨ ض(q!@U7<Ly1FCj@ ٭D~FA0w A_"gy'" _4z\k>N0ܻܵxWS:e25ϑU5Qݢzr#G=QA_|KkěR өŲS=Q"v=}namOnFU{޸kL5#SaM@JY'/: -_f:mdߴcWp\XbKx`.SvI ?ToL!Lv8X}>] 1>^$*MVi'=tEs^uovorq,\ji>o`,v!m|]]o666WTI߂RvǙyɠ5i_n\' g@&LBEWx;?o%QGx0]]hk6R,PbҒ{m6>'ؠAΒuj%Œ1Gguz^R7+drS^n>'Wu,O0IwMMFL0 n(晹CPswig_\t[BC"upRXG=!$];b6߿[ë} l8۰ھ2Pjxjwf=pH8ѡ/p]K(9L/Z{w,)]L!d9r=$)uI!^iLZl8!|eU$~ɶ']3bul]f*)/N#*Tm/6{{Z[׬8,|}GNC;Nh\#wnW.ʞe'&Xkt2& ]SbL'}lt\*9tD"Yw55dNWC&HD9x;U?XkYw: -kM{YEGgo׌ S=mKC;3 ,7njoVdMy'T&P@t+C\PoE4vǢwb꘡zOqkknȢCRna[AL?y#c'F?~N\u-\Mu1W.SF u?'fܹ;U(Vl,_IO%,5]VQIּqx1m_hV1"RT༿.ĩB-L+?EEy"X;$ѫmdײ5d1;Hލ$ü]tuRٱ{;6[V PI i}|6\-)]NRCL!T2Z!C7>PLq_B^]|wNÅ< Q7|Kl:Bf?6l5ꨶd¿:k0cC1[ʕq30evG:q$Eb׋fUUvtS'&zf`(Fj ls|HCA2j65j?dٳq5GSVoQ+r\Lo-"1o&ou9@|oc+Ѧ0&岝M8| |ZQQʫS)`5X\bzt .''{¬y]ݯ1姑_]hn,'&W'oE7誽9eұU8'!\b`1$ν1QD2KZyj4 N,Uf(Fbwũ$ e2ޚ=r-v o@F߬AxidM,r} B4v:p>g f Q='U])`e01E䴋<Bi%ZWeʒmw}B#{-N/%ʎK+QnPe# @BwEq :׮3דvsorqc$w v0_su.7V-Ke y'Gɦj廡~9t\/!ekaJ0 yҰ# xvyGG.] ĆիAX!^;c|Mz5}C?DɼHA2酿 RЬ:Ť-j[|[Wg}ߺñ_#g;;(A2#G|Z+sUs0WKA"p e !tb-d* CTsk(ll O2T'*.Ohubx[^%ΐ$~0u=T[aUw%%M»2sx4PPsZν?oIT21]q>g$&'3m80w9Qўʞ?%KqVM@i*/튏E;H"IwY}7sϳp3_LL'-׆mI dK(˛̶Fq%⵪){z| ]L$xe/5GH=bFu1 yqk[@5fL'#UxʚU$`R1df l)t?ƉH 8 Hw& m½|LZ 9oX%5~0u .G#Jy +WwYtʛ!vLb~No٩ba{:DZF2BKWj{x^:q?nP=OWJg%"SO~,L`$u?b!Deabgesj7ՓjTҞ+Q!ފ2>R-JNl"Kl=Aay:w2TB. ~u9 v睸WLPSF͓4nNJ%V,Йy̸޿%h!2JG5 E>Hi y$.Yۜ3x cE偏fu sne } / +F ţK|>v`kR O䶓*X@wz3"r @\LyTwYSgR3JtkQL=V!4GI*` %:#(!;c*ּq뛳F6|"Cd` 491nDh]jUs+*(>9WC}غX%rx}Ãը:Sղs,=/4\Nۖdd,`B58ͦ 3M~ޛo?N(P Ҙٓy1&Db%U-E2ľ}-Yn }GY3;)>l Ý1:4t6A+iXSB}I}7o-h-C'+qB:P_sP-|ʩe4~~0s?f-Q9 h+:+d]8mha.^R}8̫ L>G')JN)3%_Ag3|4N_D받*pRwd?(2r(N^Ye1ԘP*tiN½5JG{7mm7v0#r׸@Eҵ=YR,A%x4wGdGYuTD~EjB:h3ICdC`~OMqt,֯[Z f%@ >T8I@J`*w Fߪp}~ש+Y1ynfoyc:h*lG ʾN0Y;Hr$hne~靭7:QI>UX4of*Jov`?Z[o6?X{vjZ@I >F&P, 5hZ'}/b`*B490t~@CNJWy9Ɖ,rkeg:qVt4~ 7]7m͵=INC}.,)Hk#Aۄ~VD 0tp䶬+%Fa 6`5%m g0:Lj1VtGH 8"T&MAte3]Ԙ`aJޝ5!\t! qp|6Τ!#ˡْwu@.̘OtR4Y>) {>pYWzLE IUPYD#^/EV 7g)wnSHbiJn٩¹э7ϴ)Bjn'qmiZmO:cL W[` q35d- 4>zvpS!znI$E҉E(UMM_kNѱ?ÎVfVN UY3? ^s;b^L^Jam+oe$`m)IG؃DP w: @]VK^ϑQb ~]HZ$MRco_DrcԋVsHfk։3( ܉=k -f- ;ͮ"V2/6^Aɶa<})kVL]{{ #mǪ'pIji ySZϯ3SyOn~mt,TǗ3pRj=阩'Ȋ~g, )Sn2UlllXM:` eLIoh'MeQ.Ⱦ#U.ʌ̈́]'K}K#}3+f sifŐזOj%&J &.LcMbՙ Y*8![o`jl<㧄VSD },Vfh" A.0iD=#!0J[6t6lNsgzwSH[TD .Tύ{T ,j1YeyA<`)I( blyȷ鐚1&sH$LbENn,a$A8#op+ųxpZa~吅/^>Oq_r3j:a! a[Xpp.ޛK~̒ Y, ̉IIػ~vOW>pWfN.BY!hVMt ̄WՂ_5F$A=Q(?9qVͳFJ72V JJ^Z`I7-tR&Ux+ye?;@L ?ɓ._wΖ{'s,{EIHIߛ -YV"0jpIUb/Ă)k}X%IeK>LQړu>h~ϑ/cHㅌb<J7?A6lٲ)ͼ+3*řhj\XsH{W0x_<#,G.hd@ĪTux89؏ S^1M`-SmV{G8moGf?2ie3ji{9}Hژ%LKd`jrf͢8At vT_T\a[{ &`sEYʟELȦ{x7}g;æq.aPCR3q+zD_:7:Ν>_o'39O8Sݹprm" , P;g,* G̵s\|0{.j h/ˏ"Y8 99leH#6uo &zqEL2?x_gEnT̉OPu6oKY(,:f뵧@IPN ´'um>M8unNc-DPa"JO+..LjIpt c$MPI/8qԍxD}tvBAY U]$9vxOKN{ ߌnIJXz?s!FוN[$6 q!xAO2'12p{MqV6k,[鹼fDu!9pd ZRs]"ͤ6] eVӁxDXt}{Nr?;G=*p }P1){$k|R?|`<-ә?3.u\yQCˊ͗mG{#}DL5@\Y'O6DN}?悽l'3ëΉ-=0^㺄@d? DDf}S}vU,ydi=Yf=jT',9 k!ťN $j4a>չ/Q\I=F"ȘrqJ :V-Wsov77i ĎqSfu? LCf1,&P't[ Sj^fq?`.eonmO_qIc6?70$J-r.8:HR8Jtﴢ:,x5VnQAܔtE'Ԡa\ ss<š#,+xq6F;_-_N.}|E.t 6F .*?Ew;տ ~N`AHu}rc o>dwB1?A_IVTr$`aS'\XN}ĽqվyJ0*_M{V?}W_3J-39f9=,!s}P؛4oNm3Vjy<ӿrv&w}٘w0l,1u6|)jd{#f$bG"޾M}rqd!9ٲ@l'ƍA4vWa`],t/E! Zݱ4W{49r5y\ڢEYQcLshSq-Y=VZ6[ A:sAhK:i#l1Fy^5>u煝u! Ǻ;wUg+в@}'o72rB\W74;] ؏^j?T}8,@U{DUW=.SΓ|Q~`$2kL3@@w~stjXZf0T31h^C=tlJ^ا&}9>+=PX4_H7a`2CלFV$yui8~ܨ%f/VYQ@' 9;5N-cl^K~fr^(vڽij{|\``e~8NPLD_W84s!@tx7n@-TMVhfC߱,Og5Gz!^PBXl+Ȉ RKEyWlaqC MZ7Q9DFH/.= kæH*,<-HZ2ՌQT! ߏװL},~~bfwPPz(BziaQ~ͪUK#zn (:j [-5lNjͲ֑ #` 5 Wx\y k۬C"j;Dœl+p fT.~!)D|zI w}u!M?= ٵ5 YSszҀW6*ZA'ۜfOKlL6@Y\Nm"̴'WzbG`1V \N̓0UXxJL|(]^#Ц_x/1CwFd> >,PhUeFH ?ʂ`TuHe(ajJݪdaa_By|0 ľ齼Y(B,_9E1;2,JՁs) Fż4Ի}>zрDբ&=˒aIYJbvPAQn4=)U?ĕw6u ˄(1jq~P*oCɸLcĩ"ցLonam?Ylv:LRaUÆu'2 Đb:H~nXl70ǶF̹S73^ {2xAY(NEڲ2nZ&u;1\_K),fҢmxGqD3.no6 c&R HQ##PH=$\LnPm5@;.LXTftD[X6 {-_ [W'K-0:pso_M#˒=SBz ` 2 ZP졫0`bճmA S[m4&KčC *7%tRmڮu٦MX: j9M}h Uʟ~;v [g KG){ $*b9l'>'!﷊!:/z C/.^ն0D6$<͎G6xoV+'*^LARߏ}:: Z5s(d3!Kh.ce#R ^l`<ȧWLUY !h'9=g_]3Ӭ[be>NG&@r Nl[\gZ;:$K`}E N\`bv)CXbfK/ҙժYUy܇j^?~8$xk4<}dTY67;m7'q&DQ!5m EXYid|5=G15IxPW#ǂ7?q!*ު#̧ۧF{x%]VBe""I'd&+8I7Dև5[!L6y)Gux"-ݪ!ʖa+`0XP}fOݨy}=}XW`?Ѿf(\3* QÆX P/<)D}i@//.(Ʈ idw]^#gYj\Uߩ $`mNqWtKeSJWZgKf6hpe1;Zt߬#l;xHRӥF|d͹#:.J_Iy65v…L_裹b-B֫i:/m)T)RP-GA.1!vQu$LIc]Rԁ?2-'Y\?U}@6"5OXF*TyTߴց:}Hi-F8sOf Ի ]$:Vcbk@P~ LLrwy@fzqEx.9y qK h:KzKj3E+^z hx3pbCUNB-_z]%gK u|~{2* a=G3G@hg{&y8 {7V`ZmqfA ;Y'\M1~QP])ǔ+[|o cg΀Ew$%n_WB0^4miB#0u['EYȄ[Vyd\ȧhe^q5 oBYzy&SfR:#`(3=yE V,Y\䓔OwvU1k8"2`O>}WŦH6LiMg MNUka[w\eDulL,^}ӱ՞R1 8*?6 O@ !-XDAwJ%m7 mrnÞn|JF|(MZ|XL+Gp~צZU7./!Ǟ4o> iʰƾ7C Uf^W 62ЏZkU6fX$v҂%M(ס׮d|zmJVP*]_ڢ QJxöa̓Wvj?N.!O@;@bj銶'wRns?{k@\C1i]r6ȕzR̲P)iHvT<.cOo"H[lDI<5wQDMch qA`f 6&ѦQF#.rn"\Jx,? *)E/޵026׌{{ca^t)Nt_3H$dHqc*ClG]p:vQ"!bGt)e0:@X䨆V ;{GDͅnjԵrM\zV^{ѳ}h&vwoD7 :v(AeZJ>NHW}8.4.cXïv溮BQw]4ز;]~fB(9JQ øQk~{eslN4vr0*.V=֓0`Ww /z8oXKWQNaV:9i "0l z$r$Btzm̨|| B[ N:pVU޺yBBP{/w'G >ހ~*^B)^?˽_ -v>0z2\rI]?\¸v+R0N)|`TQrVy@~ 3݄: H{S4%r-0R-2KZ]:ԅg{Kyzag1>[1Ϡar+?/Z E\8ʫխY){Wq&<샰`rRX՛ G^5*gYZ  f R+ /A# dHOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! b]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E e<Nh J/ۀR>5}1[vao_w6~!F&Jcѭ9ܚ/m!/(w>nl1|I>_AWEOY-aWswք|38[ ӂ&_+%pb~*߿u6?M^Aqf|eڍLjK|;J Bz4mrā|t;7;\ L fD*Ů*>hA/Ra+fefl1(a ֯tfgw0;<}./-Qb2(Vlz|`@d#y̪p5I_kq&/$dsB_cS!hR@c4Nc H.Dd\ZKz4h Qj'Kw|">J=. z|mSI4!`^9h"k$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ܒk'q6+_]78\ ~k%QcYIs"VWOOڭ |[*R@JuWG]Iq?.'0LپGGq.%\ris*^U6G̦bV`{QhO :*ڱ&n;]*fpS/2|-0x~(t X5n ]I1fU7|GDD^ޤfi%z.nkXBXd)̲[ٴŃw'Øz./- ?2ÐwūPBAO)lS/tL}EsAZ{VX2)3Qs=˩o*gdvPB&X\#[~[tݱӒ04DSEP7[ASQ*=l$f5lnXwe$6Zh~oߖ*e1H6^Gl0ql/,)|;DݝrNKZ')f؃HNc=~0>YX$b*;e05 !&, !_~\DiɸjaLnMhAm֓=g3nZo3믊60gYZ%*ǯ'amѴu6#vkp9)LDi@Hmh:o9P]/4.YOc?f]Y&qDyBUoYPA)Lʫ+Yb{Q3‰, r5ؤO"r]2kX.cTP,p1'J18E_ UKp͜.L<3E-61d)^Ak `LNϭCd)%zV-&JVtRtL[TQ|9f4k޼j~`@!-Z!(&c~a-01 \4YܠNÈŲReDSoG/=`'+Ll XA/!x7 "|ImgpMk<~3t5H;GϿ3)lM%L^ IvΩB, O[sN '5.w?ms+&-e1?I=@4-kj6Yc:i]VbR=G2R rQ`0P4Xi㜌iExCSU,UvMQb_VĎpզ Tg%K 6+r܏CUyu7gy~! LMW #b^xjʓ>(irP=lqYHSELv|>Z]QѸn")Vx HqHSsT+&tindUu߶DFz6#+1gjY mNHx>M*.tU{ ̺(B=Z1Nz'{pjNQ|\2ގԔ3DtĉLE½!0CǑ,jh- s[1@j%7Rڄ6>&R^XL9_paԕz6Ht烿W aɯn~\٫$pF|}Y\sn5`in4Dcu5w˂:pl_y}{$/726L32z`~+l^~2 )Y'8H;nd;PK;3$B^5}uP#{6™s"mmA e{&A>}|Jf!uV3+  muzY$,~͹Զq?z-1L3.dX8@V'"N1 pCG'=L*xRg3_RSy 1?W篥 k}נo|hɖ4LW蚭jsCft Z Xا͇ҢbDQ{D,& gA]yݦh3jm'q=v]-m{@){DYy7Ztižl̜}uH'Hv,wrkw!m>]P+ΨA DSI#oa0R 8\-v[ ȪSxa_('.T`ij1Kx+ݻ7y\ s]B-r]R#}qezgi$wZ+ܲ>i$eG91/@vGo+ 12B.HUD T֏[׮ =;s.)#,iw3AnjjWOG\?]NfI/7P[|Jɰ)N$Q E}]IF|S7٦pz(4'Wţ-ZTX o*1ܰw/ 1-;̻)+"R N X$IQކ]&AGw'9nTYiƭ!)jGt>uU@|x*))+F/fӖi(x ]^َ+Ȇ[$|GO 4O-ט5<u|hrA:#m+R6.:-@*K%p$邌.WQ$k‱/*haU>tsD8j|1uCODo3Juϟ+ !+ˀY)@6DlgT32 heMe͗,ժ_=0㑎ʃ7kyJw@:==a]>UV/iyyK|FsI*i|KbI*~a(д#g"QlQmr&Jb`*Vo&WZ^[`LE>֝y*N ɰEdink-'olQˉi5-Kq78Wyc\q޻{>[\J'r$|; |]ĭgRVyMgO}8Sq\Dl<4vB').uTW\Q] 8z4<_J2,Y=#[DJfz{b)г? iRhqr;b]>BOf]bIyK#P`ڣY /rCzgأȷ`Xg”fyra^\ G/ʵ6BBR{.5@Q?HzˏЏ=fnĹ{f@ѹD^m$be7l=8/֢bVʥUHaxw| }aR>Ax)~ Lݥs?j<兒!>Ȉךj[W7 %GE+"rF7Y3uerMf8dl5.Q6tqakDob3dfQ"GCwW!utA|?| zmELJ# 9Z\BDM,]\^\=7b*ict ,g:yL]I1807˻nנьF_F74VVl6oK\E ofOЈ޾di.H_L%WEIX^"x <$+VW(4HI2Y[䪈=EP}U)}\# ]=Z!/RmT.E+ud7-/#j%J2e&1M2>ޙoDɡAՠm\}=Jv6 "#I'\r-FΖc۶o5/n>juЪgRyhط>0 =nj7}bK @9s:zp\7\Odlj5lޡپ+%ڷA0F;Y)Pu+Iwo!aaЪJo*RrfOJZ \"Ԣ6X흚N{RpпUɥJ g>x7r6~Jtp4햤/(]Ke;5% =|&LRdl}LA=\`.!0|4 +a&2q†{0~7ױRXbDM| Q G8jv/)Ɗi+Y{h|::0O37l)PX"H*Tl6G~zړ X<igExԉ$'Y!NMUQoQՇUi~; ]#ʝ[mP[B>A)\ E0xk5Ň5,Y=yh-*A _5)dt( a"zۧ86Cy'nL KU=k3kfd[ØDJBtb>Rc(BV&A 1և"F?!Fy]+Jh-ɳa)w]}%]^hCcY?-l얺RSn7[ev꾈rjV?To @4$`Z_+J2{?B [zSo/:} U۳zn]GF[Q kmXq)X|WQ}0ft읏y6;bceҚ-2[q~.{4-nqoYW2J9-PrmT0Llvb2!˅jПm%sxa5!Nk f&@Q7wĵ5H*gs4i,d07^H1 EmZZ{sj-[_t3B,9':r!Xwcc=VܓG_'H~ɸyFY`Nna e٠@qDK8-Y M+x,#3_/33zʩKҵ &uNO0^4'/%B!}`$$R9@<&,{{CL2dJ,!R8+K%u13M*nܼ/<%/k^Gk hIX]bdnasi;Y"WznDb40L*w_&\uΌ6YeᅌW8jΧGEw Es0{m ?|( ܱbh*8q\G;O,asc picȬռߐuq\*O9(ː{L "E(t h^oD#!޹ww3sSrm)Ƅv]W>=ga28r3T5URȟ{Jb 3{#"-7NhZ+֠*EWJɋ섡,+f iJ _^h3r*G0$}2nkG1.߶nYͿN% D+1^2v8֪SΒeԐpF JD6:ԷM%\2t>بx r?sk`Hc2/p7Sa.֏5鷣=Y.CLń$D+w2>p^3·G  &8<,74A3eCB6$TbYoi@LmN "rfܔLʕ_hafqK6ӘpxlC5#sOwɀ_#i" :θw F؋ O_}}ỶؘoiR&~}1Gam/X #$kHMsª5/.T@Ȏ1O|1l6tH#dvjvfqM]NzRfj:f т}!PÙvū#q&1SE*I0zLJ@ EԩَۗeFܦ:EFZsd>v_ C'CB͘`M0qF&,?Ɋ::x-I=jZeW]gi*(*5Fo '>rȼi~n fF]O"SI F#m+ puX8d-4_LK XBRry*gqRh2co5V ~ps!viAut=F{!DgqWy~WYV֯gdL.(_F܌T;h yeU_!HLW 7jV…rϣ+Sf#;2#_UYLOԤgֽ<Nx! "J"O^МWzAv`@k8 #X9<  b'k,JphS#?N͎/ HEL>C6RkIX&@.K{ܴen,X-l7:ET6|cK3NbEj&@yPd=n% L^ SZAgME3aH@}W=xl%Ur1uG)5juAV.l=>kܿ%jK/(ot` d=>c k&q2vdjʺ?&qj_0M <4H8V)ps$!nq (WX(6'XJݓ?T?*6]ȫ T'qu,Zpx:Qq鶜-6H=W{LxٻrzAwJPwc*5\17CHxC-{,e.(NXK5BT7zųq7YESägzƗ A)n'efT,퐤F6um0;- _>R"תXcE=S̿1n'SUbNޕPj %~ynyvf05B3SKů&6Zm'+|C1Ŭ$! &̽9kyt18I-1n'Ya_QU0"~D -> p 1yŷ[x@'s'1^oNEUpW~vu<PrpE>Ш[uw)9'@h[ [x > $E`kȲͶ3\B#H-j?SX:cT &$6'05$_]$VJ\V\5q mva7*W")zٌ BǭE Q%ڝ*]{9 GaACxA^)@E-zBJ,>xP|ݽ>3e^8-U{R nY[41O?fzF9G#t)PrmD@cW9de=U~x,^fׄ(3̟4= yTX:2k*6\ 003=@V7?EKYaEbD$]S LCÝ⬞a c|'l+V@fehX d9J КD&do1bsQ6v̞p ЀH(E/(lU8aꕙ׬z&RLd*Huz ܉ &B3 Ly)4$u$i>*[ LI(?srzz6dn^q.T 3,]q~Vc6aH`u @?07vU>@yiQneD+pV;nRP-SaY(L+tXIQj@n14sVBlFpSI]ڢEZjxj;EcOv.Db=G]K=/=8H]~~+ReŖdOx\JaQF/ l}XAf;bYm>ڲw}n4,l-VTtW7WMH5*羀7x0:)xW.‡k@VX,S˪ ZS+'X1XkI :Ҏ $\ݤ5[$o5-)W*)S=m`ܺEDIBKkæok [)ΛgEV\?ZEinN2ߺyIJ ҚWbݺ_K _~4&A;!J\u8d'oEēCsY'BAkco4֣Uf;*+V!+mjY7x$VVm\G +j7m/ԅj_xl;ibuT{#GH֒h859>g#m$%3?G˚֖Ʌu@/E]3ОdIm/i)coEN7,tj!qFxB},~ΥI,WVбÁs&7ӁT"|MvGޔEf/,c0DF(ո- h©g!YOtS.]ifJoS"I ;0iEvxd+..trϔx Xxm28%mAir1({Բ-4Ks2jdbCI`^2B*RO=ovoYǶc2[.zxucr,;zX~Uè<ˮe k}[eP Cr5$߶9ZU=N2ub *7m("{(N7DI.TWIjBHC.0Qn+tk%[6'wak'5< "uTq.LmM"gdF%LX9K;غfhy{x({ZmǓ&*ѢRm)h#n n9"$(н|ziLju9DT 2 K' SIeM}8Ϩ,̣dc%;LYǮ6mŻ_~Jb cC_68dA[C2s+nN3vտ~}~]#}>*f.Q^pJ'Eo㋒V;c(G,%dSM х!@K!w0?҃\Aݟ.DWL!xMTj)˸UZdKU%d7qt>7uCU@LxX'R.3w:E7_"5I^~e NG6Jqo%vk#ƣtByOpaR1v@'%9`ӫ\bYJ D> dQxgvdпq%lahczr::T80lqt(|@ C, >큍"HitOn4҇I) ӛ+;CaL'yB ľa.(NQIEJbR/>n=HO\-cyE5ijgMSd\3&\$WZ0fϦ`b8Xq<ڎF!=yڭӭgDrĦg5U]l~E#ɶ]@E @} rvƒWhox`˷nX^ DAz8 Q- p׀U;44 T@KZY*0iZ\hNAڌ4-}JӬJnY'kT!?CI*޿ma8|󧜢$- >S!'_?KElՌN7!@bU gp1ҖemӠ}  ccZ2sp*Mo9$@I'BUk?PqY'/@iR=m61 Ǭ@i fR9 {*30~ BDm Yz7&;(u]ჰR#jCIA`!W*{]:43UW=TDE?l-g>W p `ЃZ*Z[=R'IW/b#|/.!l 8+ёv{1g0{)o;c1 l1ϬÕkDm2YWo8@%G՜PxI^jAjcbN@Hb㖊xu{M1!STEx)}Z,u{f,1/#]}ȤrW2'&\Ս6K/ <v9&D Kk^̓v )@$} V N);<"A5q%gW_nI˵BDSA'3-9p2PPPde s+iP8p>űA8 ^ D߅#4W@eZE_8$4 _fpKPs*}O"zm6xN@F7 ] c)mX@ RISem\{EDjIZZ4ᓰ{BݛܕZ VG;3Ow7 d'8t]קkA&N-QXL rGBMT  \g;d}s y$xvmMdPʢ@Vl3z'Ǩ 7ES=^i|i'_f&ҲoG&?};w朤)tи"%~O[] )ڍ4VC1GƫM Az%w{b {)ԑ9j7`v,4jq[I;Q(p~?X-2h; #N\֤,=΁@7/iyN}/|tKA]:CE޿rKSvaW84/@*\c nMYyikgS+:QͲ,1>sE(A,l#^&8/c߼QCOy4ҚcMW[*5&*Ip2RsIgަ(bgG0:#F^O`"M9Ee*ʸ2Ob0ԐNNM4Qt 1CBx%,3|Y*ugX{j^ -rU_LkX,H~* ŇgR5wc$G CZd=Q|"/SXa3 ķߴ c!x}h_& $G#-O.5v2AA3Ua@:=^;&qa1O.φ@eOP*z._E5f6Tv 'ֶFK ^/`^cX_e}ӒO#1C#N0VoԾE(DDߖ ,j) *6t+,;l{ 6 :QJT74<;7Jk [C`${e!xOx1f)& u(mFs9o'6KrshD5v^jˆrE1br-cso3V Bg EN1ǏHI AJp { 2$Z]>)Mp%#\MrU!:⊇3P60s <}5Τ6*y~h q8BIps\/0Rv]Ń{uieun Ga{)Hr5Ip^bGD5yc4pG`cbE|V&4&v}ʆus$[t%*e8s3{\~A$aqdCw0s8AI4'neR2)\a13[ywuف]xʀ-x&!E pT0T K,mγrp^4:ͼT}fI/nO 3}>I.=T-!S[;9 QY_e#0+#{'u:Sӷ@#qOuRz|ɴ%[ ހ5KvW5.6]wZp t{DI/N?J_2t+\A[">t3 AشVCsUijuTGCEMI+}EtHҵ2؈^AOMЄF0i 'oc\|Sc.BK?vTm( v>RѢ*fvmoz[1lA/e@?*@RZ@WNI] \+khY)Dt:?(&7BrN Fi$zWO~;Lg$vHU.gFp=V %q/);?6!_/\<Grks^ YGjL$q%Ȗ?S9U_qZg@8bpyҌD;q?@) 3=-ºW(|c8ջHbFLjn\#$A֌F^VoxkPD2kB'ec^bݑ)6 K\O r"?Au)6EtIqlψ.ilbG& ՓYts^0yQ[; ۇw4=M W2)!u>%Lki9^Abc6=LSHP, ,f,' mp9e:SÌ"*m'9 p$ +_,Q9 G]*n|l\JT̲^!ls52.C!,$(9ƾ6/񰁔irU z!1Ngmg6Á:'vR@Tt{ov c?yݍpK OeOC6F;@7UӜ;BCȈ+$N\U(MgVflrta/Z7G1{ )\͋Ԙn ;D̺W g\| !/fgT/rr3~В_/zi'gh}FrO"TR |1#cONmZ=QU݅kdEG=vPPi6NǩG2Sf$v3C7e2R~:l3-z1Dbekm+%' SCOIr罞?s I_W:jh^RmLhWw޿-B W|E4r!$f}8rzI5-8i$ eձ$my^貖l2\oz|<DU0G jU3Wp;l!m)*Q:"NE3' DBX=h+scWnVh{诟0=]=4zƖL(Nqeu+navK܈,ID(v`$~#+.@|Nz=^IaQmP9!Y^Q<`T%犃RhU.Bb6*Ϡ/=MTGa0[&oH"/ xȤ#G$M{*̙4X(; txO%vMhD p\e/`0wfnj'BoNv\SЪ/vDYt&XhGXFRnuqA"`&\Ӣ3`J) 9Y]lZlS"gҖGÅ57N(H(:?Kb~]?gf$ "ދNEy]/k#9OnLxޭzWzQ27z|"$OrgYՔCVl]aXx>bK1Sx\1~ v׳B/Ɏ 7= tN(%UC.T.4%Y#SM@~Ûg52 GRG8=i#ͣN>\CS i1zhҒRR{:^/fFCFfB ҊIk\< qP-b;w_ΐjQ ǖ_ R;3̅/̓ӈjZ`y_nU?KbjMDOGI)1wG@6Y ' yOg[0䟰/]2$u7T3ko9E%g<$Zɟ,xp &;l̚YIGJWf|@哸>IwmC'Or;IHUiY9.<-b@X~W&̘C Ev(>?Gû&Q AϙU? @oW~z\Ǥwq=&! l{[(v'py2,!1b4{l bjvW$JMx> n$9?g?-D +aQV7 V %ڡN[>^Mw/d[SQa#зQf~\&&wcs-bm<ߒ t U]/㟟ƪx ly"F[ZƚtE皣q<:YڼAQ7lqe]9&H4]9Zzp;t]܂w{%*Mhfz{MH{'fC[A&Wl#\FFfXzٛVX?e͇ҦU^5l]D].m}φ8qcV~6-'\OY,]ŬaPP%_e l%V· fПC WC?pl1/,.逎v4`(:ƣZŀ_}QD֝~B&ibyb AD-=)ˡ>2ovM1ceV{7T| gӞT̜w? (7X;<+mBfQAU!h9 pCx6bOUU# D= #1,7ءJ/|by7I  \jlᦄk 9wvztێ'oa.Y^!sz/W'c8[(4)E0]0e*+U*8p/>dK5ٖkܵQQR4s!dUo+RǧeiWnFy;U'ۂJ,:Jyrfr.LV9L6WX^acam)3o)X~+;]p2π/%6 gGیh%G V (Ƶ^T,^˹q#VM#f"+dMXw>IYj9={VcshEij)4#::d hϭ.ft"?c)c6r"5JQ"Icgf|D$`EI-*V%{p׾fDxl-Oq8<}H#oFZM] _Vl=5lN}Bu4{=6c*ٓɞ6{f#\//)3 k&X}}1TC 9Й0^#=zVB5o96yix Le1Z-(wn ! Z]ށj`מ6崀͑hyƐS=`a3؉軨B+s3O;jC|%I{$J̱|z}dw@ ?F*]Hfpw) "'3`|n#}.LIK" 8ZR;Zs2o.,%Š뀤N2Ujpo(qQ6IHdKc/E6 }rIZF^0ލ֟+xV5\i20hڄu[3[&UgiY(Gm"QEX+P[IJ=KԢ4l̍4/t^"K1ʌ=J6X$Xh&x}k s'oM 5p5ʳiY';kՍ9M[EY7:b2"p#۟ Ks]v< 4m݋I^[4"wgm͜lu-4!C(:mE|\'\!`g[ 4[hw.rOT"NX''nXF9?gĆ+8]Aϗ i)7X1jZ~"2WJK͝D|j)STtE~ÿ* 9˞i?9 u+t؍j`QQ<ITA\@`&تoC635@0Cm!E/foOմi@$!Uם1{`CR%~.)qE,"Qsc@ۢܚ=SU @],0DGi3H,BcIhc*&)#DRmh]cw/ H̹YP.#uR,ynJ~U: AqLAxH50Ճ!LA+8H$'^ ˡ >z%%ubq҇SPkDb$Tچ?B t;^IN ^%d[x^YT-6 O TUTBZC3$=/X)YcH?۰Z82ᒥKcN5vEѢ5iIK5?0.tY%ͪ5].L 6w5r rh2x#T]Q MTHldy=T4Jݗ wL!-\t **s dtN|u,Ձ I]1-/3ܸz,V6+TKgk~*FyI "#Ӽһ?@'% }Jbptr6)?lͦC?YHt`Rf@_XD@<% ٛ[fR. ` Y<&s_s wT'6@@p]"G5kR`2PŪoz">{RF5iU2LFsqsnG;; 'K/*x+8/Ťk}T$zoʜ yݵvNVo>s۷%m}׋=RSw8}τ}x1 qc~3H5Km*)g|U('Z؛c&E|LFi>-=4z!³kMH ϥ~l0%|P!؛TdLa~5#X__+VT?ri q50l MP &'fО;^ehkG_k`J+o 7[֢ Bԙ  M}H;%|CދwD D@4DOD8 ?C.r?Z8~K浍Hy{jq@N{ksCcVP ֆZd\ fd&˘'oo*ۮzPAI\1P]=56=ԧ #"fNH cF vRrӭMKBŎ_]tol D޳_vTgq?Ѯ-M#G7n"6k(xǚ1gs@ԉGVJY(_v5Ҫyݔ3kN8[$~K'4Sҏ 7b>u7XG`4!~z Ö} G70KxmaudW.1!Y  ðmKE^}Ӆոl@ 'lhTҟ* ~5El}jK株sUpE)~<*t!pKeU-SB* [ٝKջi.с ׻ H+ GQki/I ik02񔤜AV j5]WISKN JuKcrυHIWx䐼[Īwhj6}/0W Mqvn.uZm_Qzt8<]׾es#S&qn(>8c{IF+GEk1`[,tl |/nŤ/C8#⢒wWDswQ*zE/yYk Ysߤ1~3Uڊ'艏N<^*5]|tO/F8UZ$Oxǎ!Ɓ*2$ޓ@R&@iI,q.f`JM6p5,Lxx.uvݍ.)X_K\(?u@>RKX :0o5C,9 H=LY_p O@]7=ͽ43~9:] K(>8{ZrR} nR3%K :2Pt*DAE ;}zؐS)(,kbM#U H>JƲ:_+`{$BJI&Β7o5GcttUJ󽪟vCoOS5/b $߿f<"΋,K1xol.g>dFr:[rN詑N<ڭKNagYZ ci ca$/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' 4HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$bW= /p2aPlR_͔W/+'&[ a ,dh4 ]aXaA)Iඌ^‰$C08SkUm"ur)D1{v#S{JC@#63I|荛b߷%ӊAPF8U6 RQ½wDIY5 +f2yEqBUe- w0d"*ex.WLjRrnK_ajSTgJh3ĺ2!,/q@o;#C8L:`9&_3!JxZF/43Q IUn OsWNޔOf`8aqhVC-uJ,`Q;[}U[&Lh/N nXWj='\mކITQnb΄dwSU=/)&j.YcՆFY:2zwO4K/s9mQV#1ɐH<d.3[055/_Mi 4Pr~anV'cV?T"U|]if! zy"^t'TF#r1Ẍ́uV\bcK?ꎀ:NA'?IlTOv) [!^t)#$z16T)xQ8w#S2Ǽ$ 9aVq5UL0H߮3QkdE &4ԭyT iqwCot>T'D)ύ|$qZ0ch=mv_9:\Zf yrMUNS!&԰9CgGKYF쭚3<*}9

`SxͿdC@Frd e;0x d"GqC=㙃 ݗ$k.>5vc`6B~F }lj\2sWF*i[\#u6HҖh(]6#uQ\*m/Z&F㉆[0g#/Y5\J'Z# DQ L[cu)<%f !3hN|QC!FP iMۥ7ȹlU{ΠrCs|6%:}shG9.ޙbتF6p4h5%N%;I%~m6j2ȉ'ޤ/sc~nJX<|I 8jgށ|~Sցz8+>|Fn$Y)D8>4Ze-oW)#`rpj."AN-BaGu|h=:%J tM|`m@a%tpP\:NI ߇4-W?x`#[Xm˵d/"%tB $?1QQ^\M 7Z̩W,?C+SM =,y׻hl"8B.n/ X6Htz>Fc5L!@:^|7ugYZnt%s!Zʘ~U(SApʎi#| a ;jІa ۚYa .$w [Ab- Ŭ,Va[9CaAwR^tݏعKP$E]V|rH歱7.Mnm[Nĥ[uK)S<ȃeXG@.zyeB55EJ$r20 GrW %)'DFƛl_CzL#p尝GOd V ӢJZGǾ /3z5,k<ȜeanŒ܀ Yǒnr#N+=%HTh&@Ot[ œʡgġ&oa| U:ֳu| &ekȿG?zd4{z"3U%CFi6ٝIw, 4??0 u`8-Tʒ 2tf$eI:L}v/vMvǀKN#'ցyNE\;? %1kASC(_狷`M7PQ ?[o+~Pty&w!5wM?귢HD9ӓWnS䎽HCsۘ\@Cy$TpbgMR0A$$ -L tL;1ˁJzQʴ|esSsw¥Iǐg޺ xwJ`}dnV*Fj>Xzh(;@&}S ˂).vM~$j;l7EŞ L&^=g a+_5윞ċ"y0eo\7Ƚ}K+^GtCoX2ۍă.# :J?^-{^Ob4d^ny} Q4|ŎKPA??x#=zNZ/uZ"񕒮1x}23@MZbsXc{ɽ]C < R]{2 B s};V\cV Q<#c[T=ǮpkB"0K,d~VgՈ ϱ%PqoНRx]Cd=k1:k *^pBDf !|rXZs_:̮k@+qovMYRN#:AúlJUϞ;oxp|[.E#p&Mg5^)R敎<DVoBSZ(;JMv@Җ n$8 d51 d9n\5 \2qm*뙇 CÛe.{q&aS_t(ݗ wr8-΂#J+N3獌0GU)+?%Zn5b 6З3/E EJueFJ?C (6U(-lTYvZL*Q_U jNLU0o :7rn {LEi"]j4Bsw"k||m s5&S #boՀJA?X4Bۦ ;L!Re2/dրUmwoiCXD5ޫK<2[`G0-3զ8j@ aMu~H?4Rﮕfpr[/+{+MڒucLp84:>Lg{( y~ЉlB4qqj]I\IΈ/;YBq9za֭K!FI ~،W:PHF!Л7F\'Ois-GW<,d>VCZ{(,VNOa_0W-Ɉxf=e 5#v"]x;bf2w-ZI.H!0XpHyZ"S"kb/ջXO9k7b~ (eߚuPPU@ y>x &xV)Fpkzl?|PPxtWJgAYlI0<+V>e+L[*?NLh93@W0&^K%g}\ϧ6~P. @I*?bjŸY?om:P\on\ 8hA6;Ěw8^sJ:ba{VKG&sF81ȵSps_^O) 3}5ؕ_\!]8TZ%,M=aku0X"nb ֿj_¿X< q`0w=K'^m"a4uDˌƲKRt)ĞC]1-Z| I2%~7*0+M&T1k Wxyu<?[rkIht0~ h˫~ag ݋?#y'4k?4b ceG*GKcGB-dgef O".+]dZ3 Q(_.8Ѯ"M\/G5to<.<)y^ ԥ[\{#x?S<»R,: zFh|!,&`xH(}|>^@]c+tF0,Az<+|~d!oCmeX?ZQݢd 6ȕϡЪ83nx CT 8n ZSGK}'?ZpQ;-a@!|&mޱgYZ  /  `DC],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208~*/=' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages7zXZִF! }]D?7 {?:fH\L62Q]{ yDu@]7vr3}SxQ x"Q~,l*=: ugŕ`_ }QPFK^P?ΈbmZchNѷ)$ ]=i:lLNv@+?tVU!C 6U:ꙓ@yA)lWUTI,>Մ?rY``iD&ֺB"zI mRm}&eN[4 \W PLl1y"Ea!poE5wUEDSSMynҷ z[qor0Gz#5`E_Ν=5LgYZ ) /=# ,HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~AMkd^* pEK2sZ,}_kfRYsG"m'T3O.x֮hOc/ Qq!4ySĨC_?~pG(m; 1F9nbCrNgE1}QΦOS3sV{ ' 0yx#d`U&-](/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files~~/src/HOL/Proofs/Lambda/Lambda.thyC'/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id204(&/A' \HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages7zXZִF! ]Άxʆ5.f-9 rq8L4'f˰}{{-# aE8iyw'58 .>y hfdF̨&\ !L@5'HبEr'۞XϽ#hr56p:&?ssVѓ&BC 7ߏ)kkaqU!J ؙxWSTzU!$NSm'v!?/eN?#KSzqGM_*.<5 1aA?O-]7p0i3 M8=5ʮFէdbfQay3"CT{|X~@pOZ&GY5#:5eW;)Ksjn5&z[QƝӗ6Y CiŨ6?M>=\}Kc恚^1-Ģe6QX\gYZF%/A# HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! G]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrqpHyzI d&W$zߏfi+c䒜Sdn^1t,! ":VpКw;R ]mpC\ a7 }zWs-*QLR佖ꗪfl(ޭ W͊.(]LBa\lsd]yzSt<nrw 3KxXՈ[B2gr_sVKg."mMy}A~N|3!^1C5#ʪ>,>@yDtV8ˇ|yFhn5֘y?D*A= dȐ~}qs3LUmzri+3ƮJj3÷sl쿵* qlGAo@v% )^Tv@&B?Z숕$Tۇ6l#S{nױ,t'okE3*=w 9m09vR+7ٍ!<14( KW{==Y2Z2ZHN?cc8|Z3:oF0 6QȎul %t) dh: ( ɠQfShH\6L:B2TM"aɁY? BKcO tGr/{"[kw+.ÝyW&{|kg-溶e&@k`&.e,3TyJJN6C[` |A?Ҙtbe3c",^1+.ld(y[<.0lAF깤%%}~l( ZH #LnG!h@#{=MIJn $qU7A D-A{ohoNjg#$kRKQ''xC!vlN1)0KkOh4CEg?*s]&aum[$k, fOdI֎m,ФM*A2ʟ๓l\tݮe)No*<oМXPx4iŢec4$r@\Ld#/02)N amFipV L_-6:m3e֓,|9ŽDء-0]3KZ_j$b!,m%aus~a@@C@s*ESkb~X[B0t("J쉸lu"?r&l;9V,PҖEt 4O/ԡ5B G&k_\ͳVƪ'>0%c!@q0ǃֈ8~#9;p(V3^ʹmGD֜sa&MW ӁBk((/Z淤*nL4"}԰WH9 _?+݋o]&=pAg{BL"eMJ;| Ybi 8]GR%+*#YU| eEP$ PD|}ˤEy:0$/=Z`0GZΤ })g'mIzk5)~!Fi2 eܰڟDƁ53oN2FkU<>S<{"xU.'*)f+Xk!Z`0f(`$c&K)8g X ۧ VO%]Ћ,fp{'tXbell;x)("~HYkɟU'<>:@Ғ̃/! &B| Rk}=kz2NG>n"239sx;01>V7tu&4׷0WrY;EcNPhmqZ=_JxɃ.5tMs *ytfZ-H9h^2 LU=& < ^ !Sy Sd!7W͙Zd8k8CGUf%u0E+it'Mo uvmr' )*1t.I7#HI1'={.ITţ'bxO @g 6 N Y~4N۵'9rqiN}zVж1 owcB"6A5dQ+k= 0n6_>n?W~遀U!~nhS`jGWt_& -sٹ"j5 nz"ϥj5z̡z#৸*cN_O!wwqfZٰz;pWcN'r"}/,K$~UsAƉ.8vkk\JQ1 7/?J_PSu^7J0 3+E 0LIawwcehؤ +g9h{gPjAP)/A#;x]Qs[; YwnZx^Thmfjg,3%*MqSF&JH*x:vV Teb7BwB8}7н;;܌ h|\h+m]5c>qOtQ呒 /̩)8y){mJCxzż N@*"/2[%`?j|܋pSEԧآ2 Ρ'S$M8 4I<[2T\0,'@h.a(5 2ޡ:Wy׉yQ4{qһs)Jߦ]Zѩq۽#i22X_2QE1Z7^ ^Z;` Zwb?=R"t"׹W.ZzUeuk5Lk`El[n`9@U>!xK2ח04wM\:8J9#]> #ퟗwK2fɟ`<١ǎ;p=ٍ@P$En6NTtj]"wOt 1k%Z$Iq sVkord C46w翻<.[YUDWMAF_ς/w~|>W^Ú7mɌ Kż(jX; ;X<{A6X6RdiaWZS,]$1#Ms%7lG|w,{W e085 ^1H 6Xj$K+i FLhX pr?Nq%'cʞ.W4QBZUy]g%!j7wEp~#"Pú:w+8+ɪI6Va]k2gO͓YITT P[6{o:#8Ik%}x6$$@Vr<ibU*HJqyF KEk$c~u4Zź[%QTJۈMW|,90qB sª?ilu^חEٴld _tCbaG(j ޻I-N y5)W(% EݛG>ԗK (JYAC ?dJ*iC M&< 1dD|:, . %e`#|HoU;a1spa' Pd2t1? =;d'_M@Јx\J۞S0EFQ/f1o+Bn 4Z۱">We !Be(\u0swͦ P`k{3B/Vf oAiÊd Hd}{s]xC,cɾ5^2t '8v?py\9EPɘϾ7vbXb_{^ٛ߱;D ˁ?N[@7v{0pj#1a6$Q` CĞdr~^Nz!M s`@>5_7#j-DVE,%` 9{ *S2IF?irS%; nT["_OEo0>%>kUB_@}yXyEԻ,uq7Cczmu g\BfٍvѭN?w.+vƂdHy` g򋭽ni6*2`U{^F.MO@ʤr;:58ݎ>lt90ղ以7F29'Ħܗ8@w Cs9;q,e4P@Bd"|&N"B$s!Vg~|vL%quilFOc8 ...> lTiKlMwo- W)ڼѭMd8\xUʬu}DZ`ȤT)Q.bt+k0鬡/ c6*SuW1R`^/S-ՈJxfhXjq~çm- ܃7ba+,Lg~(-3 rPwDH~L#+< FR5,IY=uNzʅyX{Ub1ȯRyQZJ8> K aM GJԺr@t&iw-{&H5>dZ~J@aOnLz2q2>La62WIo bɧ|ܟ"hJV#/h= =$T<`啟C-tq,ޯ?=r]rzRJ)|yg.p蚈^qZ^ZJ%:(NYdhSZ<ƴn*YmFyQ{]1/b1qYjWae)PB z#_2=[#{ck=@|Qj?$f(- k=xDޟƔ`yQ^9ΑY+AFJ-"dU(|";$a:7G#5K,[}v%-HsI)/n'23Mhw rFFA=yLnYUœ@κ3pp}о!a}"vE@ѕ0$H<-[FkW%9dvOL&rI502e4zGw]zBl otWDd1p8Gh27ͽo0E* sIQ/|E^Y]73ˉNa{ h}l!+C[5gYZj=yv8.iWA-tV[C\oKWN:.}3W8CX@VZb MkƧoKN(N2B@l*+9V`-U0c'aa;wd^aoK-#?ˤKQ;*#F?&<ϡ޽.1xCcg1x??/n/d~B~faږnnhߕCۀ? iEN1ķ{}u]xR}"䄔"L):I9P}OI@x0ɜo'+5+eE$v!p҅c ? Kqpy 8\N"VSE7#8_el{t5s}02,,A4-m@I:@OI8atl'ȗ)[P睁6Z_p-ᚅ2 ̦$]sCyK*-h; Qgn@8yƚ9J玼$v?b|9se-iYs:,*:^S+nRvH{˶ePf''ϧGd%se*F,UݳCqY/!C;ޟ+,Q8|׽ %wB"hz+U ݸs`Mzҿ/0~f\r!q g^sůA=D5Y~GwI1Q(?ğ՟y %`hvLG^LV6f(z~HLT^JNȟ yi;֘ODKrc?P~U}2<N̟9M|cz 3[1M"ΰ.;^DP{$˵>9  s2ʛtcW1G2lQA5P<-XOTF~КdƋ{1yVP |n[b@b"_4ft OP2w}泥j7{۰,+gW.=#QBfݓj 5C- P`ޭˆni0"ӐN"1YtU;UYcZ ̔qg`"->zr#Ī@/fa>vO7˥Oo6ΈXٱQbJqA'#A kA|7Ǡ)O$T>URRBZ4 && $ύe%wH+\O/:xۨXt2;$QK rw{`?Ɩר}s~^Hg>7AB(˭@-I 6RWv{R+KuUbM'd4uɻ|-:GT}T'ᾡp bJ,Wz4ֶSDwx6Ƹc@7qy@􂏴!ZͤTUOdzTO+P] q<1Vڝ_ *nDzc/3 g3+?FO'%.`\"[ȕ[#QRIJ$; R:RAAb;{ Zh~Nb7#͗"ˈx?hK`ʆΆ;`ƙM;6`hk_? ogTXHRWtnE)=y+hXh9ѵ}zrq6!Σ8?*c!7-@+]f}-/V:1@{6W?L5A痻,`h0&#er&^rBAŗg̭Vd [Hڌ U[#A> )N˪>q+z+t@ l@]g^PDmJ16ojNfjfE哲O)UKvk4>57#xNU]ꁑ^Ms&l#1}RLàQG( cbBP05e8{Z@pR/Ŏr{#%^vfꏄCƲ@@~e?~(H 'j7yLfI$N\Žc>!v 4'7];SPZrA3o-!OeD$4lg 0U[m>œbT,P'GV)LPbaUGUN_p70 L*7*;6]t8[8n[vRlHmDYm 'a,k;-.DcǗh:*}p]XMo-$6[̽As 1^6!M]]"6W'~Ty.'Pr踥.1{&E~wOmxWFlƴFpKΩoݥ4z'a6ݬi&& /bgjA cUJѨe+[{;ŕYeHj9P7<ҿ؍tQkMVF4AKU7w㟘պ`R"TQ'*HӰRyk<*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! 5]·Iq n[:|&[zܒ2 {sPWg}M,y>`d='s@/@Ǿ_mãt:}4n[9e=l.Ř^?FPX)"xٽ+~V6?rE\4h%V62x+rIH\N2$|ki|5 y-^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$A)JWTi1]H&:†iW_v!Sɓ{J(|M.n @ԻH@u#`ZN6 +5Mк4;쵇?@kψMJ$H`} >k;m3&+!*C("Yh@BI K0wIaz/\0hDԇm20@\YuG9}uae!̥tƹfR ق4h}v1Cvگk^VY)6R}[RҮ_a8 ;KaC6y@fIh I[= 1Xt8Waʰi_2As+z/R{߽&Wzsh*:86wEZroN^&늈L5H%_ @AWx$W!iـU  B˗j2؆v jF qo9 d;zߛQ:޽FX3L—J,$t ktGRWFc_tq yS ]䳨9=\EgP uzg,&PH;4{j Kn'|d}X`O.rr(3~_ I>9]in#c%zz\E`?tEY0:&$@u%fdFbeC6fe@$Z }sDSmJlRcÊy Z ,V_ ]d M=R\ZYWV|a8,?qGs*?.}z4 cf;0ekAH_& 0TǞ_sg *t/:?RW$dO݂K7$D-^Od bv%L>)GAgqx(!'8oE߸}nUXSM2E8X~a@^8[*cP3sY_ea$IM-wl:!sj{) \&auk>w3LѹTZ2=T|qz|NvV3ݟ 6r.A霙 "$e:eVǦ媕L;n 7\\q43j÷o.E+cP(ǦIt0uSn,c־1f=f˺$ !6zK;v%v xNjM4g'Hh RO5<2BD28Uh3LPƥ+qz$QDVpyy1_E\ +u'$tIMd7P-%&eIӬW_ +k]AQ,fO-, /}fBo ό:(Y|ō|*uE>W@i%)bwIר ^)3Oˮ@nQ IP!R4*#)]On"/ƊܫAa~z,}]脚Fx,g."#<1ARQ4f+W3V)C}RK)nl^;6;U:Wyrx+h nK߶G@V?irƽT>V#7.z}L_ҹC*ҖU2 f(ʖ|+;x[$vHbW-Vl%@s1^*Nc%!fjk7тPк3 =^*+K>Ae5*CWˮvIVArp~H|N"?R7_qTL*Š8:wipMbZ*֠+G_ҏx{iT!ޅ:,Uﮃ~VR$D=a*sEn`Q C+Bo6QʪdyXK2n{$zLUanCZS&SS\޷k.eK Ecp<“K~Wr.>JGjsaHٌ۪NS&(~va݌fc/؝<KPV棐p GI\{[k@Ȯ1F(rKmWN0 n07Sp*^smO(\CS BXaj·Uk> Y3׃!*lY]qyjF(鸲"6GJ!m]؞\3YfG&8! f ~~M^&$vo._L{Sq8<W!ğœn\2}o(_R=iiRFz%pb^`L(2VםRM2NTȵ7GFR]$\C2D#I`w KDG%MzQ#K\1\3PP YX̽;p25pZ4bX.` ԾÌϡ\<@ݽ}?IZfZT+h|}FC\Jc3>4l=0Řjt̺zڵwh5cU,bd7\'8C{-vPl?i>6Ћy:01\FTHJsUL$Uy˅'ZDd X ݋ o87W%S竞2xg00m~=‹!q=y;1Q%diݧ3\}{h3* Xy7ڴn׷E.{#8(j%xZ](}i<0]"S\ZnbnyY\jzKpnG_ȳRHEU&] DZY󍺾"ZF^snF KU>.P>L)΀b rQQeC%JJ^}#.r ޸:fo{b8m#{o2Q|Wʊn+3nvjRcMDٺĉqhrתgsêŞ[yܶiDXRߟ8[+Uձ)f*u4_bX*iA<~ L_xHCZn0<^-d Ԥ|N( $TH5 w:_jT9 Zm\5J0sxden%ӭ3 "5*XRLeŠE ޅNqZ)O.Y/Q2'၊P ~ u"ך*kv$$qE+j5 k݂Ȕ޼"{A~G%]3i`Ր@'=kxug05EUEzu'^|Ex` W:z*_Gj !QQ$+̭$k?-J܅UgIә9u7]ph`ڕW+e"$Ԣ<,6~{׍/ \7Vxz[\K*)Nqfƻ8IƁ-f㑱r"—- F-I6r9dwy,n1)LbsPTsi0}Ɛd&Dm[kBu^S\VzZO/ذC4]qx*?| -h} ɄP)/M&>12Vv5y> {Ƒ3ǕyWwͺk0j\p!fA5C_ʵ 5W. <ݲgYZ ""S1/C# 4HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! T]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STd~w'i~QXFU?2SNjkLv¬r_]"k{/EG'xS>_6]˚,x `ܡ*A'8V@'=a?Eۧa"!<>t,y<8_4^]kv8U}?,`:ϙLK,20VMmDwRSZ4l6U爰MMscϽE1U^$S0έְq a ؄ 3Q>;Hyf~ ކ LVO.>x< B CiؕeE}߂SE*+;Uc69Ypfg9Ҧ͖Vͅ>ERxe5["κ#zD3oU[0%Yk4fejk/jfUؐY2?!߱`*忊!GP6>3hCr7?-*/oOy_?ڭo;#tNOcƪH=ȲИ:l՟AǼI8 y$SK"۳mè_>텊MADHNᅠh1t]/-4IH'*hƉr~ .` B GƼ5}Kˤګ $nMb@;w]jFex^3}9q(/ L{,Թ?= JK#9lI0}~7SρJYRҙSԪz9\ KB R-_WN;L`x5FXu} .d?%a#Hd+P>eV~!"ط$8mබ!7Ѹg]' `3[RH0<ʵ֏sՌp ̀w:Q'nQ"yʄ43Lʕ(7q>**QsmukX60g`nx3nAT8QuU,[:U~ܧ*M+x!(~kkl0{OЅ^˜rwc9wM\_}̒twr j!Yyq21$p*`V-Go&@:ȫ@+wQNEQsb 1 8e4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id218E2/C' HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF!  B]Άxʆ5.f-9 rq8L1fO@ȽIL:OC[W?N"nԕ,L*cV@b.u Iz[? ^]  ڈ%dG*A5BrPZFN,,jCu7&ۗ|(yОZV9r,| \o׿z#J?@)(8]αhb;$1"Hխ+=ŚuBLuAn+}cjovsaHԦ| zT) ?[(fh8ڻXlHq ְ b:!\.>n;ʶ\EE#2B ^22,#z1SP?ػ0n}g\:4P+g<ɷB@vbOыrdl#6wn'\w_TNSk(˝Ҫu%2gԣ[ySqX4zbWj Nw1xua؆Q,tzf 8[>w 8ޫ%jE! xǁU%\1;Ul{_Mgs@)6Bw=bX 8>ΡYy@Dz31 31plTE IS5%kCKlfWfs oWu4J4| -W#5iؤ>F belkԠqPt52k dw)`/Ք )>)P3{ Y=0uA#|jpँvNaE9UڽM4xNp>2KQ݅5˥^ [n %4\&;5-gY^"_ߠ֧պ "!E&o 6d`Z z?>'WH-d=ͅDFy˻s! qxj捆:(upo5Р(wmⵜJCMy-#-U8/4V:vųF̻ٮ3%n>v  Q4^Mm |nu>k=A0Vc.XPVE2?L^YiPo>܂]jnEܗ-6ގC`!ZsAui_2m7+eQܿ"JʆeȇPŽ(BH2~иsU5BŠxv]O~Wn8 |3e`{AGHcoVoWJ:'1Z*1@]Hv]=,Ԩ4©W<Ͻ=Psy _D;;ݙ9V:kgUoۧywѰ+M0ںLN[!Gl@.".T]rm"h̅y쫡KGKumzNq>ZRUy"*t(_ bӦ lUq3PD}U. Z݊+\9w0M \Nk B~rE͸sNd72FLߩڞjE} ˉIO& !{z=AM=]X0Y<Y'>R:! P]]0BH;?-_ ˁrvQL<׀s:(%^)Y$*P;Qm3ZN?ƁFbOU2pƜsdſm=YHk:AQiָ`E!)mڔh{HGbΐ( o Zn NZu)+ JC+i#l8E 6VУu\npܢE3ɿf;y"O}hqEbu93]4)vO6{fZwV|-V`:b鑐ehd4~ȏCmyQ,g"Ja;9ӭ4Qǔl* QͭD*A 1[cH{LYs1\{Sm#$}Uc8lLQAHv)sBRMk'ws&qg zInRӹt|U0RgC s[:,$pz(m m;ۇTcf!tDjat2nB'NEB,eتKŸZBy6R:C,&zT<PqONAc7uJW̨\tGT2ix)iqL,Mj;Uح#),¿S+;J-8~,t`WqEB6% ;26T\": {'~bJv t"QOw vsyUh _S?75,cX۴|,E_d}APAo^Gx&K,@I<0J? Ҟu΢ _|?ݳ\~aq8 x@AC ʝˬmgF"c06 ;?X =l%?hkce WsO6\4$Tק8.kٺr'if'u t7bu' ӄ$ܿNo:;\S4,C3YM跁 D er]U\-_-JZ#DdR<鴭XFA$jN6kuU>݆ DJ!iVk{0ֹF> ys7 51.$GjYՊM ڍd_j*RtP-:pnmDzD QշPdK&h[/; >~LlM$dAE]X.Dz6 a]bt|A-v`/i]5LAJŚ<9$K('[НꌻIC8jgx. ` SN7& j(8} ͡v % MVFWH(rZn$lQ)jnX' w/?kx2gVﲀ~#3[B%s6ʧBl]n8S& ?iu)6"9)aURL\ȸn-?}y @+":f7'3@a oSK[<5"J`%y5qwo̝3SB * WB,.U{ik5i@)۽QobבQi/["%G "q"ςaTRm%4}Gւ[lLߌ2> >56} tINUr MK1X)|E)L8-m䇊D."7iR9`S/v)-\T)QȕGfDhbwhtU[L "7gʒDKd;lP¡>/KO^CzжM !Ujf!CoQ w <"m ?4KIa?C7S;x3ʨ -0 :j5툆|d[u#I^^>;B<.v bJ#@I_z SL `BBxhN0g)$Sq 5ӖL sˍUm V6J@jJu8 TVn?Ѿ1eܜTjfE s5JKѻrJښD^{Z҂):+X$k:o fÔ^tJ8!/9oz^Q'J]$NGc $ PxZ`-o`{`mۢ4=ʣ'F_SJ/=Ruik8Cq[W)(EOJ<Ϝ$X] ޟz7m snت_JӮ9~kb;֤A銳C*r1K!5p~N͓Q4[=)L[RyKSMp:d"oosRo3s?.$wȃ.a&i=Qfjk(4K8O$(Nm`4~ab xmE 8[N5dJȷ^Ͼ6 ֛= *kfԥ_տK0dUAݚbCeG($mߛ7 p ltrj~j!sxe !nw4"bVafZ1|zՖ7~W(ZXU > @ Ob_([5qI/ٓ4yMb<Ś.[RXzh 2QGA\R'@!q'6l*^Zb}`v9qp(}W?U}XޮfJ}йwMqϯ6C5<Ir 1cC$rl_cb1~JeY{~ܒs2EwE/GXj'b'_LTQyX|Mq:(?7 evWMCy7Q*ܫqjU*/HΗp]Ți&1cnaeڝ_7[d䧝e.}a?,}3P!&_쓮:M݇|do2tדx{Q) 3v`@,I'_J$dtG-(kiSC6#8O`|T^LH% :|\7N?rY>v"J:wܶOPC"c"37- 5_bO7Y}C%/)lWHMIiB C §LZ89KhӾltFO!pB e%}:P: sA#η~TN1t)&t_HbP>__kɸQw3Tϴt(!$7;V9ʪ+9yYЦehYb&zySl>Pd_y@.#rnf'u16ŝյ9*Ɓ4G=:JYyAJ,>5c{=OgYI|]IFZʼnprj>,^_V G尓-*~E/lKQZ_^>+þ@±,`Bz@/{ܪ_8̻9>KLD'muS`.u!r[Ve2{ET?{xɞ{򆐁4U,ώ;&Zeh?2!t]`6AuQzvFf4\1WĈZíDw1n!-SCU^+k-&kzTʳxZ 9mrt_fQX&jdRl0|SN= TcgLpd8.ۏrNyeT4=C'%(WM)ʭe$Q!#-gl鲜0}(VGg*%yfPi<a&rqEP}xI6X˩knoJTc+(XbwP2n/j=O+XOtܹ≌ …!5-Y &} q`}z#p ˮ/@iUag%{W+u._1ihvz>6z!%u>%I|M}zJ69r `X4s0! wB9,q" Q%%2$!F؞M'>,A# gn@i[Q;w"k #YR 0'0p +xU2^Ōߋֱ5xuoa=' !bTkvP'WfG#&ƿk-c(7PҒ㔄UjXo^fEjB=qn}ޯU~ϑ#֍̈́h!?(_|hמC}v㶍 ')"%L]$?rEu\w%Ȕy`0 [@1ivSKb|%R$.͹Yl9_o?{67 /a~!\ dj"w>Eo4G6*,,|H'FViY-z% /CѴ]mICŦȬslTKeBM"h9f* 6HP}3\y0uA4k## yը%}qZExݾVb)3-*'? wA0N +K ;Z}a<ت2(=#X59gPX*9!$^X׽di5wV?Q7>cYnͣ u[ٟd??e+/-|SOޱv a##!-Fm][6/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages7zXZִF! :]Άxʆ5.f-9 rq8L5 *8ڙofNsϵAIE/ֳ!D;+ˈIr/duhA?jCW$ )׺=RHtM S5uTKbOw4|\r+g-m߾Ւ=<Y2gGh2ڼRy1]RrY; ݮMs# H Jyn|Hbh%"Z;h0S"Jb 16` (۞Yp蔃%Z.抳_-#`21ς;oX6&TY [ i9vH0Tnĩ1s܆ڄD~]g yL jN;,C83]lfazi"x^)L 4/ez) QvU"9#jHǶ1bz戮w=no ם仚gǮ2jjGjpm5I*A\e0WJ/ ۮNU"6edJw#%Ϝ7pD24}40e9di5mA5}ݾ~ c7N*EC=/xsO!KًEg'#+;N^M2c9RX.5{TD뙤P[޼~E3!NHlDϿt\y?m l)[XYF 9wæ6Ŏc-w•(>-t,K^74!C\PgYZ5 /E# DHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,']ˠ)jk2p O6LP=͵gl5f&Di5b^8th5ڄs tpOQyO1*{kugu e?)WTp?=J!,E̡4^7U_]]w =Cܔw_s D~b*lcRb_a$J2I~ DSUY^s؇5T5c(<{Ui KX?Ev*Y~:lcc٨2-J6qN|=(C!KfzVN5'mC?-m0yX HcJzX{ve7,8TYSOGg 98X/~:q`F%mVh]ҿ(iQ~/,.*vؐ4OţѢd:,aS`>lyY+p{OVK!I ΋J9LyX ^B =uMI9'Zˋ5eNKMI ʪ(B~Lj}4 * vb>l.AhP-HDנּ?nB xEٵ7<)cRKta*o={D2"dk1*IϛDkzE,0OI B 3b@ 4$&8yD'et)6e), Xg)}L.Fc>lit;(*;fLWFkj(ơT n wZDދ }$ [Y@(Fe@M02MLyʏnB>,"J䢷7N2|>e&,Ug@.i,a+r 7eI"Vza+ IFȇŎ-p>E?mzcpn2ͬf3o)h"0z}~lƦF3mD94PaXo J.Rօ> V=?%`풰Z"H-F 6e#dQŸE6qA0X'C-F\U `v:?DB]ل=ڗF͇߼&}\FɣGlq3MUWq3].fUmqk_r2^o+VplSaf.G| t!.BV ib[((0Ӥf9lXX3pӀV2O)heH/eAlɜg± x֢3j9[Rf~l ?8D2LФ{ os#gz%%{v./q4cnva!J-6'@v`-V=%)FLYg<@Z2\s_TI8E=0qab \ 4%VB֒Z&$}+̛/sE3gU76CTUU쑌d17grg"@m RQ`$rqbaÕĊ:G.V.jTG+5mgyNP]w0~3 ٥ ;QGZ`8\t(B٘@7xMR|-Ɉ;b]Yony숭Z&:AR亊WHr]s+ZY6* r(l_"~( F -!i~ 9ʏD1ݬC7_exk#480QO=3SoݼqRѩ_ !\э"v,=(_csnH̙%$EkgrQ#ei'Gub%Ԋ^~Cǜ5jsDijpqbHI˅:?XoME qT&8-v}y-ѣX%lI?'RڿGdmm6;XK{~!ɒä:)%YJa6hE}M)K1yzVNO[NծQyv7ЗmVmKz&u(NËfy*q8a_gc.8$qx[ 5 .5i_Q4q:HXԜypO鏽TAv[b|6 o9 @2lvbm2ܡZ9; A)@.6Rb] N41zֿQrH+ؗ9ƥbߩ(/u׹`IPx/6h8ЅF: , 3%ȸ,:Qu+[U. U%& qWoz:©ݕTA9tun9np1Z'hRQf1:ξ^fHB)a~ȝu`(-,-<˝K bu6'I}? dFC>p>)esrLekVA7rVB觺?O0/'𒧠IR~Ze v';y\9VU)c+W:Nȋ{4:mH=v `tlUpxͷK&'~ Э!QjuF4qdR'࡙;d`@wQWv# NW2XZB=4cĿl{ || V>i Kf30 T^,Ţ f6O3o1gXnv<丒ȡ54C>{gbi%X`%4E5z1i[:Y (0͹uaj +/c;**E ` `yUς2]k2vagj$G SojCg6 C:mR='J-NX=YA^L12. e:%{@(MEv7?6ݹ?pK8K[2Gd;fl F|Z7ߧKF9'yp+F,W._}FK}32G)y*㇧neM7VWfa^(<]pRQܦ  @kRǿB'\&u4[$7IA J%j2Шl'e$eO*=7iuc(tqc7Հƌ,,]!˼7۝{#:Q}s=S{=SU+e`qysڮ)kf0$W}5r?},U\_l.AOV_^=åyf̋Š\/4\ }zTbn՘֨j7.W&Ӆp2q?m y,+8 Fj3{EdcSx;#CW 5*UMb(`ًwwtbm!۞`CM%,rE5=ؽA_Kl@Ohgbpx`#3ēe^_w.2Dyhǥ' Vt5 Js1l&j^$BO< dˬyEa"kTĎ1rP"iSZ]%⶷zI-,:P+lIG<Q?Uq@eH2/LAޯ;7Ӓ]EwmL݊%ZEa=}\{?U%aHf.I=9=@Ȋm%fR,qsbOoQ6KJȒd:B1ifuś}ݸ\ߡ׬0:v|B2NcsF /W9gk9uS7| n'aDB;C]>OeӭX4>_osJ:o aChn,E]ƣ}cgB>Aʰ|$ﲌ_Ĉm7j$87D"&\잳v+ڼ cSo*nĐ@G1wEQ?3#=xt[k aAN\>ʫwS6  x1.|EQHŲ Z\o3Bx 9a17ɇg1 įjҭu<|x7`֮>ine\ F7f8!}𠞅8ngP)e `"'ug$GջX6vuv*E:j T|.$YhQ0w4r"o3Vي:?OW5BX0XQh/zl)~zVk WۦNb#ē_+Ǡl 3D͈d1&'1WL|rԠ[U4-&VZ2Jwr{>1e&$H zOze%;0d(I5P}1ę~NzZ[KfQLu9GgA{~*7įq&ނRiAn?L}+TTGFsrOd3x%h7Yp̤A#٢! R`e_P)@iQdo}Q%%l[~>[$KxՔOU݄,*${+K\~a{#-,:j@"=^Sy}tQЈdjl:ΰІ~$K6,FmXv.뒁BK2A{äl44!(wzj ֊N^T=b/cSZPF_= ┲&Yȓeǿw*ɭɧ[h%ZD]ʗN^ 9NaH؂e̔%S4e(aS|ԤB2@֪Sk]@geG^*G*eW^Oc_`-ڋ>Iwɨg bVnM=m`_$O*!!{P71CjMK ߂'}Z ;qn[]QZIb Z5N]lSU7b1!-` \#Y5=xl#fF!C䔥(6`t+nsJcci"QTeH_K̫1m$۾{Ț:¥ kFAbHE=1FUHRa@Í=ޠ;7Ls1RW&s$gHZϘ%fBB|{*ͼ=Lnrvj2RFq1 7EV+/18}SsM]G4kTRC~<7/X@o5z~s0*ܒ(g1n5T9ҙ􀶞(pLCajM7{fjuq4oku[b≯zK+JgZZ\V4؏j DWx:3ݽMgQߜ& ļE 61֓ԎT.%s%HDfpYۼy# b2 NMȿysY 2/JF>OQvzE/E9@2'Y,gY\t!ĺef>b2<ҦzLnL g(6o6P >VTƷlhŠ3U[M9P%2wڈh ϲIĜ~bln9 H# A0a*]oü.Nd)TBjx*= t_g3#E'NУ%x/ֈDCj![g΃ j!Td?gƔWz'iR*<SOt]yף̗Bo!V˱}㨕 0M_8ޅ>9ӜĿ'ed`CBQ΀8=oh5)ۏtEz]yRZ~o7tV d .C|LZ?{$g|Vc$ ŕ~0IB2;Dch[ vm8C:ONC*`wrd ֥ jrpzJjI 92kۭ~0{[۔կы[߯sh3p y.{Ǭd֝m1A!6Н{ZLJhSߠuOr27OSRꍿ?CqE ή_4xyڷݚ&r][d/M!*>0LW?Mރ% rVPr:;@hXXP]B G.WfGYUEvк*_n7lGäSsqҩx=슕R{#~XGm;VׁZLT^Ou¨@ 2W_OfLv:F1hnɛ#٠ܾ/Y"-G4Pf<-yzOMQ@-'듓i-VL{$W-&^ xu7Y4f ]`xG͖Nۙ5<ϽE=`O'y59!L=]U8f| | I2U0C UK7|P6 a ӨK1D״YުCDXm箦{/dc4n_hh]Ŏj_U|Io7 gT-0y(6°l'wOy:'$ l^F|Xɋ|}-rB13ioQkǞlbꎹ#ߞ1cv.Ńr@걨=(N׃Eί?f֨ [b$2A)}d$G~sE=ӭjߐ#:jxT_ JYⓑkl* [46LG?l"FD:E_"a,) pt~0߻=sb>T)@:7f(l{xf28U~jՉ2 O" w wP)4^2fLSi?e/yh߈Hkhld{,_nG(ϻ+{ &4tol B7j &%ehQo}MG͟m}?[AzKyPeliا̞{g`_lJCv+l/lNmU*\yfGB4*y80DER &CH):a<ѐwD/[Rߖ`@drp+c%K]Ϲ+w저X[sDš65gخYg0DvlE)#)"ȓqÿjweWDhϊg"+(grl:vhHq$k]ڔKB8՜xUL][uQЖͩ31 *ʳ)5!uAMfqV*o-m^sP%l)m.Y1)/2f-\Lͣ4:x;)^l)apQabKEx=iOG %TTLY ܑY%=DߦfLJ{/e0e q𼀔%.EKPP ]bCJvK.%d m(o#vP YdJdOn-0RgN;Lwt~E*#JPu߸y3 d 6RZfHJ܄3p91E8E_)PN'4oq:u+Kza,ы5HX̵RV'χ1Q>Y-%(̝cfY/K2w߄GQ/W5qX%W2AX YЩ8찰]Y׈p8D},]Q/;-YA_AZY>wlwNvª%Α quʱN͙=K,&䈊wVEl&pa&6ފiv̢[d/Иk$ڈ.tk5_p"ΐFYb>E0>ٴd^amVBÇS?oBbeOHl ,[Ā `?+r`=?'?=g'GO}x'Ds a `Hj:#WINY'm31>ђӉX Cv%G\=|.!gp2>ς5ޏ4ηw`D:r㻤'9 *Rf`՗xGQ@]FGRy4# cRUHgɖaq u@0+(l fMռDG~l7L- %C|kI*c]svK CS[;sMvqPq+y1`Kic:q58k^I"VN,JPK0gm{-%!|Z^P؏&RFR:1ׯf/DYw<5y#dmn9ԟN2x&UL_V♣PzNx-$ Z0>Ca=a& /tE5 -8: 8ɜк$suOIГ_ mK;~RwQNVN+aC\GEzmVu"Nl<X+EĂ=rkl/Y3ǀ^lTeOB2|Q?c6/DSyXnhJ-l/J mF B1oPyximUe^@;r$[DWߠX5,@]k[a"k8{ {Jq^]J*F"tʿ_(Ijх 9$]$ }!pׂ@/xtT"h٫~#,+ޞ0+ߩVj\X/n9OSRor4CԜ*{Ss Yz~)\L}lq:J3omZ5P2A-ZvG7e W_#}mLZ'WB~l^SxpzυꁸMo`syA$v*ݦkEHd'wbGPÊ%cAA#Qi@ATtU9; C(腯J<5."l* ?iΗ*H꥙%dOxπd;N,hdӓ&Yp1. uOPkh}` ZRk4Ҩ!̯XIyPwxu]:1ƽjE:=1ʷT Eop滛)_K59VKZ YޙUk1)Չ .*e BTa` " oO]n. 'Ck%+ ^}v-&4шoִ]ڢm~\ѳ3$;YI%1W]rёE 2۟7Hh,+毕8)Y> XE>)Rs h]q23L2lK\xV̤a=2D ,Bh=}htVjjfQ>\do;HC!M r46'Ar:wYEPĿ0ロ#П FFj +?jbÏ|LWF+m *<0D6Z5K>'o\sʃnkuj펼"_9ċp ϝ/_+\iRJK,I;Aqgٜe) :>e3b+gJu+h%b<`F^Ňx<4yejV2V6|4?)˗U`ch1v:+,}'L_"Bصwh`“$)QKX/%>CxDڱa|F;\tc8Kɰl {W͡J+jWvFEV}Eͩx8j$IyMc>K=MA^!7K``~|B4h}S"XS V! nev&#[k40oҍ`I*TXqX|9r޺tBz!1s4 -mNË xMtv9 6hr s' ifg_itqHDpg҅_vv͋7_ZMrk@]yB3 ",s^ov4IU>k 2iNH{Nu 8r]Ȑ\h>eigyh^_=ܴ̔sħÖqr][  t YgpO,P^ 3eKO|+.ݷla|ئ"O|S&]D_KkKAk[ gy񞄫5A5P}%TψB$_Igv'ᥩ%}$ w_@gs$IX'NT{pc)_ yR렁q@GOBWF<2b cz;]ٺˇIM%5DxӁ4\'?G5Wb3ozױFW??8}sMEUP6H#h$Eo?tm7j_nn!:]H-T<̢ 1~V8*iPGi>4 k\r;ahc"H]V@< 9'W8Ϊܛt v9Xu7^$މ:vD5hNl~]m5Tkj*OKrJRZ$,/ˀ?,i / s6QQδ3sDa|l |S>S`*Ŝ }fd PXP\NOM>P# sJd:@#cix{XfioBfhˢ"PJL ڃ2U|FxnN=~g{]eUXМ୩.$ =5G#J)ת/& 8u5~HG_MyX`#LD)݇qn)YC+ `֞7}Oؼ_Ÿ;v3,0I`L<24ߍؾ jorDn{9~m_!{)E%h/p9|3M3B'fج-@ -vRmK{f]w뀿%ȸg!m, /gJ{>zUޚʹYzL6NޏW|z<^R?X+%VNy>:&בfflrm<4V3eX`zQ/U1Y?)]p7L i!p6[nI0Kl%zA2dK64+BD6sJqdԂWzLr?ElyiҽiJrꂅ:^Y?/;0WFy BZ/:YW.$ʼ[NH1% h ģN-%ʞםJW qI5Xp^;,m;TJ.=ٸ):3sVg2&CUF[.WB 5itJd"ퟦg/\vTvּ(k1BUy㍧r& )>ݧJHoG- s>@%%~\Fb`džԂ'NNR9)S ٛϮr35sNƬe:H mmXxsl} ڣMΔU'eڲ?0`J@3 Vr@q+ t"nLg!K=a\-,qn 'm\) zVv*[aY.@Oi۔N-' ,`YR=m=ݗg7ey>%K#eaUphxx\7ڲK9A`ip(oeK쌂U\Mi^OO$Ad ܌}$ !Z9lޝU+0E62*<<_ԫdb HMd*hj97']Li88䎛7Yg0Msw?Hid/F|$DWŎ_RNbcLwpJA,!4O>QidbҬt?l-8Et~IͱLhuP!!^Ft rts}lL]e *=MqE♹ C2;]A!vx6H@tZ%Fz!HRxFKv$9sN_if# BUMFb}RrZ"b3qDf XR*!XW-\í-g,q 2Agec^1ȧΝitݮ %RJH@nÈ&<:l+uϽ1Y(2/~NqyN( `sjZxh^E|{,ւ{=&J=x8{h$S|s>Gm'|$f%[5O[߶ۖ8l"U+%ܖbxU8 {)k3~c-d?mgdASC"Om^pC K2әa3WWPJ@MV>0^ nܛDX׹5B>;S.۩LDOH Ě QkSZnKGbw%$_[8yC$EcDr0R%p#zPCF܅ٟLr ;\C֍Q'{KI$D'hG쓘*;v.9K6܂e\: _j`^t`J"\ +M!\ 5G \\h=V^_ ;A/Kyt|*w&**P TĜ h9 d)T 4vޢj81hl9INq<ᕄ{ɽ#X@&TPfn X\KKp_sXƑ٫ftEePxnJOҗ?X!ھܦW~5kjLJwUOZ?hWR -BcsGi6Dx fN;J3UDu9qƬ[YN@QW<6WX)+"Q}CjDqJpae-X„-W+)h\T@`뻷NO]މ4&} doǗ WqSiӕDP~Յm_M~V]yEL$ 'S8' E:}#D l?J94ݠ^c#=Qs$q]8Vz5|S-&N֢qHzʮ9;#_A 5Lc>!'/rHA ;V%P&LHzҘ0Q V*Ν^gYZ r " "r> /E# DHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4ezDSBDi])~!S,WâD45h|o ,Wĵ":h 9r࡬źύ[_/u*PL2^Ӫ3F1kSCupA~Sj1lm){/τ\<`yrn8PۇGݩ_#-ԯH{^{^irL| dapo I.GNbK%?si 6;RJKnҵƌ\)ŕj޼{咭_ {S'j|_+{[ɞ.&skpOثp=:jjt_Bؽ) a~cYnX#70o@Nuī6_8+S1:a&v`tBف?4YiVxRH|zЂ$sg) *Ahhaͧy7%* (ddN#vtCr#$NdHSFUaLKZn38B2½x_qB% ˠ RGd ±%=-L;7Ul'`.XΜ59q Z"pO{̀saMwD@A baԫ@! cPb13X2wæ !ZT`nn?rX@,Lmp]MVo1"4=Ckj>I\H#4PrfS|*tT<ӷe?qrcJٓc<;>I7 O6z/[|A:zɸ+Ֆ7(12WGOwjT^CxobMeHTOՎ,࠾rpn]bQhќCbYM$'*esmp)^,2"J!>s]Bw^C OHZpvp[/b˒aT[}ʖ8HzMm/ˁo.I^Ej?sm*Zo@JɄs1QVk4t(|H (L@ykDwiky@q h9aC>ZV6wr0}I13.;;UgQ FǜI}DN.3cžIW/>/vRbB9͜u}}H5S5γľ9Ì >U S FhLałHHa &oЎF/s$zӵ9qjttԏp·oN0ѨA}hs˱}saA!zX$ifF_5QEîlj,00S['b)Z%5Ȣ磞ƣf]+1 2 HLJ[(yޤ C1; 'qG2\Z 7P+ňOCr";8ݕLğ,҃M=x7j83ytv="}`i 7Y!;am 7%aC2,ɒr~}Fl^qBIe-֡G<ղ!j-^ Tfe/Fj$ޏ>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\Me"Ƕu2rC83Z+~.p;gR(J2f*'-A4j!סmK>[ E@< : A_w] ihw:8GYkFC;~MhO)%m>;gi Ml 1o:4 @sql~SZ;3{yfޕ_Z}(Ju#j`ha0FRT>rhB%i@! Syrw…"(:$j2),:WI)vÄ-z-Wh\t0I'6yf9zc,@p>9=gxt ")`ՄKC&()I8P"\EW9uՃG^S{t3(6}ԡ7CR4?D|y2Ûi⾋ttbTʲnE`V\)$6>3x3OޝwMuF!sDɳ]?o?$dUh/|qѝh $ÝQk֭ ̝g4%gg&cs&̸r < 'Co5 E9`!jXVE87,sw;i/d"0fQđr˜1aGH.ny#泎9 5CqnGpr DCD49N!Hjl!W-dWOa# Mí0gV0Wu:IL;Jy\?nW#A{"_&9S~RaWAe$dR#OgYZ %b$ PPn67 q / L b#i _t~Bb# Z IC >/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@</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages*:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup)9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files(?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id':'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messagesC;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files$A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id# 51HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations" 5['HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages!</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup ;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/filesA/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id 5a1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citations 5'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 L#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/filesB/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex G7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex 9HOL-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 K;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.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/filesA/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/filesB/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex >/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages&? Ȥ s]RUAxHKwanvԬ<`};o)p _ 6viq c|HHa/أ%뱁!I'!xD)57P81:[Hh޹ X`r'j _^+ko﬏̓];SHU:H`'̻֣.ź+^ŶX=%Gu9 mb: n)"3*#39nMγʻ~+PKo ,|3%g韨~_FÁ|좣!7hvXPoۀ䜳Pr./Cd4i?d&/DĥfShYPIfZ~Ia;"Rꬃ^ p= Ѽ{J]ٌ<U=S=^nfדvT!wrӋ`[C6"p|GtysR93 `!|_iD'WP@)OMafQ0g29Oq1g #W~A'*WIO-qO%gOru0J`3@6Xҕ@>qyR\Pykaf?eٺ!pnG]֎:9Vvʸ e"Б >99 h+z"a'7nEQiaRjhVTcȘ"RK3bHUvxMk׼G9|̓vB*캙ӝ-[:m9bi;C;y1ek ՙ%iZeDJ[1(W%DF4mtQDk뒞e_0o,>O6-O~ "C ,D,VdLU Y|=VT?t-|D/3cc Ѕ!8yYSb5{hz|כf+ eí炟$8|x~d t@ `LZ_6H%s[ kۙw[0yoǃsn G1KL./,\f\*y|?eMx$P_(/'"2qojvFw7v"{8U..fVYf|HQxv;`MQ0W[\"UsAc`"q?g64V?(O6ȞxڳĶ8)EH>IdD`5m`3 'ѣ[2q}yrc }SD[Jģ B 2ZsV C蘽 砬FuՌގiahȃb O|)-'Xtшfܭj%Wy5uDԺTZDU1qA&:M.˜ԿaAy*$߬G1e9JVFKzNk#r8-{o`\T>~T8? 7y:#^ޛƠ?U/'wU#045G]+߇=Dwc!l,"'{Ot$s!Em-9?qcuO^>ͤ%{]ëX,(NTF,*$]\)}PD/^ ѯXZ'\X[=&%8L@h+-1"L=ynPz'ME&{C@UȢ}( Wa%2^7g<(meǃ,],Gjpd K"nz;h8.4 |Xa a?2/3UUP\Jowu n4eIQ)'ʭ͉fzԴߒXP NFd>Zf#4H'ȒONMksi\&( \;ӭ 3LPs^zi;^14EO'/Q0C0ig]Ln9YL L{Fi4f7Q{PhmB=&SWqcކA@=)jH{ ,e:XIg}* SAG,Yւ5Yo]W+Y_*h4RBh;PE`#T5(E5w^p`X%RɚeHUӥ}&Xx)o;_@DHi3稗7K$kt$jjlf֫DKsL[Bj+N߻Hfj (kSh8!} X8[#uM.vtAEC왉 kqBMR] 1N7A*!|MXwAQ:=EMT2-LtF(jUQDkg֜ i`ҚPg^OjFi)weX6&_3n ͓3xOfapbP6Up0A.*mtgTYJ)?!ƙ0PW*mbZ#`#f0E?CGS >BU@ ux\(jQgwL- V&ϩjB]Oec˛č>L7o6%҃J*U?Gm G Ve^Mz%EcLՉjR!,p, uɕdiCFm0 ʎSXuDT%R m>7(aX]AJ j#z?D|=2x yќn 1vTIsV`aU(lٚֆIXED;9~WJ2mPGW moru1O)V$1?BP?kcGZ[" љ3y9t5jRExnzDuA`O&Xu!#e΄r;F#{ 8~q:1=[ bLpy禐,Jwŏ7+|ۭ2:Xq,sa ['5g q: 2!=c炙58芗TID sZZ_8:6$hyS) ǚT Ve|*% ɴ5q@m5\ EǪF}ƚGkЯ_R&/=@M9(F~^ N}Vg1X2N,Ão"?Yr͊]1tO9uVw q.Ic!U"x7It+_;L{ ̓A/+uI0ϋ>Ofq'yFht$ FReb jL;f8+zQI ^™&݆0إV^sfJ]zjqGf_jxWQFKJMUD>͠aԞGA h k?fO:/䁫t"u8ZPdWE6`Uv\ń"Բ{Jcx iv9NN 'cuYgb*+b#Z5!g=d)>f 8=I_?c`>B܀XOEX=X}FCpc"3t,3I;jzs'G2ޙ_323<6&sQ raiZABc: z I9P>pQuOҢrҰs(]8);E]<% ekfaHiS6>tfɑ|}@qsַdRӞ'5L/횊Xe4^6 `)\^>g  p;R-GH"jhQRGm*),;!0$ON9OE2c ѕuD,7U}C%gK npYBe>|N_\i.'ozI#0_l 3.fɛjDot~cz I (5`$ab"rҥS6a=sO6nO9҃YO?v c_VvbS@HdOxʵ)*$-C%B)3"5#5{v-i:h͚ф̆@,[e)} }OȵKHjTqP7yc2xhOk1/̜;0=ֽCn _wPNʅ% = Ro0DW ŷvv5ƒ}Ȯ)r~ͅ>qr;] c2i5*Q9~)@:vmŭMc /b9;5˥[PmD -J3`2H'*G^ϏY3#[Q&DaIf7BEk]uPUF佈Zy [}+΃pTO8T&7)&.0?憿XixJᒄX5}UI~< UƔ7`}fue&iH_*R[nd_ Ve'f(,^Ÿ^p6gВ;nõh!;#t>ʔέZPj-/@8e`x]H S+;-=v{Tx F0CvF%>Lc &?UYyVB׃O]|;î6bFƎ҅(/Up;h4w"RhiUXFTQ|,E…&@u݄D*esvF;pz~=(-Xw`Nr{Ay*U5sϘz\V1۵MSU߻rTV܇4x?Њ|T0ٚ&"[[j^215m)%vyiC.!h|H[Xj?F?޳&>d26e򄵾=NaudjkLeþ,gEi>u4%|o!qSOiRWAe*RgJa4#h#p-&G)?eGDzUL: 5jﷸ'4N98rOyZW^˧oh/RlN!0ec1B"[GQw+2i)&#u&vY5Vb;-‚H_ҩآ$ЌۜDCY*ɋ aeiiTH3iX~I_ܥ%܌6{5}o`#Yxf6mbT y'3y"y-vb *;w8.E S" BY߀ɼҝPѬX! uY)I,2e1]5'ፇlRp|,n^.?[M1# mmg6LߋcڃGho+[:ԹS!2ՏUd^Y~Yg;3<& yXryB/ %r40ܫ@'瀻;+<|i}4S2ɘǵ?\P48砂kY}-/][Ic&9.}(?Gmt ϟC M)v;fyS+|5#Y;y/iGYUdS4ދm TlI-DlWpya1 %4#kJ;}PWULO $9RYm11N_1D\A}ȾtyԊMem"J 1^!f]kK 0w1 O+ۥXCˡ=wI@W{a(K!;\w$Ŷ?)ҊaTS[5bͿ AƧuUĴm=<> -僶;۔:[ƽT :o{ ߕ4ói<Oo'q>5d෥y/L GWPfs,C| :dEOĈUo_=taOX%R/E~Pr~almŵ}6Gj}RܫYN![AX֊\=0KڇS`*MPEʂL9FymT Cx[S_7/d*+N_x!Ak7*hd[ ɭCί0aI֪5|ikK@bsɈfku1cH|~j1vRMMUb]qaܭqgyV"u/\ DW܏YwAy{u%0/o(wzSS|4j5nCȲP+#}҄O*H)DS:C1{pnO >}ǃl\k\ՙS;2&6= zO!A+!Yh%y@IW%!'b5h^S=Rs U|8(UDw^8Wݐ;{$j1e`J əRb+兏TZj0ђ}x]ADzLO;Ȗ imFoŽɘ)iw9U>[Nh}=0yµI3Y^%Oip. 1F@'aHCΗ^P. TG͟$aJ43ۮKEl'\iwЍ`D_V9 9 nvrhhc/„oa'>ֺfeS>Ƃ߻9C N]ujo4v–V0s= 8"u!Zu B{&eq V'=P#f1;trM`OkEq?+s^l4dF By6~e[$9cg-PtcRq^I77)cz;uh *kK|o9p:ϘF $(Vk[ͲIKiy_hbӅV1Vx,o^,eMkW!5e)vl4}@Wa$^>)P3`Hu3|8c+ 3bހ@8f1s=e4w.>bn2_["k"zxkD}}q!9;uM79 fAo3)g!fЄ2Kl.8%n*v)nTMQ1ue"3R*CTRl,"DTyT%ٵG$PҐ_A¢ CDNE?&^]#2^4,+Vɚ1~tղ-:2=\6{i^ZP ";ن#-ccM%Vӛ5X4q lJo)hU`A6ARPgU#߈;ɰkePo>EPޔ6m+`R|V3=_ 8ik] 8F,!8!M ,!l=GZ]=s{`pwM]coXi9# *c .,2ܗDL#&ԑĒ+dvmͧZEl-Q`;Yl4K(YkqS8vp^|E踙9w +iwΰsA0%Q_)/k ѻc^m{NAt-Buxog,6+#I&\*8a1SSh"_ʏӱ :do:| Ͽ3H/-2>+FүFk}'(!O/}ؤP)iQTd0U׶ 8yF*V` c?fX(fn8f?tkc E(6~;_0/nf$ݷfA@ _b2hP 3c6cյe . ք  4'UK$F|aoؚKN>Kt5%;Wr sİ+=m 'QAJ%GNo9x3Ŀv* 5&E9dH6 ec"y8xrTvϱԋ=ӶG.SkL)%b{=Q34m upF MJA*cG~o+zIҘsnHf NU>ek(dq)3f}Ӻf3K!'2n/[A-B؞!}2 cNyaMV.(;? CY=gg f?l3B5JO+!f#Gѳ }7SK&?_ Lxn{ݑ=6FfaSws⇆ţ.WUHIl"cB! U-iAPO_rlkh6ΌG+k$QfѣB\A7 /h=pnпyw\8³ʏXx _Jj@#VBO,Rθ{ѥ1u[\䛖Ǻ5f`Nv"ɘGD)Si)n3WQ<8{GA+~ݡ&KXcxFBApbxL^g̍±Qǽ gCT1l*!a%2V@-'Wc3BORdt gRGFޜ`hծ i.P>I>Uֻ{sw^m(fi5r"ja6HgYZ  7 ZB /G# u maXQΗ ȍ^$_Kﮏ2B}^ Pir bzclXҎ katTW}B% hqܲr CH|g"H#b(g)W6'ݭޮ\9fUJld@iBX7~(ߗYE\@xŔ:GiR o1!NpR公0W$i_X u6JfK@o1&AݯMcZZM b=%pqFc&1gLL~C.2 )NZA"ey-Y%K}9.=Dr!r8R΄Udf'`o/R`Dp/]nXuvsy:5\ jʼn2ḧJŽ⢠Ec x9&Z%js6cǣyN*@ t&%8\'C!pd[Nx{_fY=Kq3ikۀKʒh#Z,2Pz~&1 aZvaX/ 7ީ}`(6AF擴+CZB6:a+:YaĻma/.CI]0_gbds;f$x,Ý Xy0tWEEO5{'%),mT 糗-=0/OglnB3Z~wYhBGTvg$/ăCFv%Ku @% Zc<*_U :!Rk `X{ջϯse!gh[P/㶎EE&E9⤹EU/_ ky0N]ىSIIu=*]v4*k4ξq 6k<vsi~*o 8"x9o,jv%Dw-7 |Vqm  2 n|.rɇ| %?Zɬ+G|: ` xzw<]W LEE=%1rq T :"qUgfF7 W)vQ\K Q.a`TVPR `MhE S ² *Ar\U?(;Zsrl7) k?Pֹ J3 (8`BK+Vg~OT.ȥu7lj0(M`/T%(L2^ HI"`$bC=I"5#3mzӵdMH(\:n'ha[I:r)Ρ:fN˞%!{Ւr6\yi8d0Uh`J0f7a5 |#vv\d]tKv2 ]'_E>^Yj}GI/?eO8nkw1ItYWZ, P]TvOeN1ʐPv'_)hH#.\п!`kTY@1[2g$/Gɲ>NmTF.9 e`R&[27Z3T~3[d@PWW9цi_]ȃ!w.* &!'t-=s?}lu;[*, N 髂m9d^:~=D{(nv0l/1+qj)=q} wkp,G/#4ofso3wK,&bmKz~3SS&̹h nFGډ3-}hJ~;E.%EXH<U-4Bׇ> 2X@`[ܾUT|E2+d°&x)4~FF:B;-0Kl)V7?zǫIi ;޻dv=Et 3G(6-\J:md'BM3@Jr Q*V-zv 1@up}:2v0j cևoQW\ v.x,qNwHvfߗ$.Z̶c42@y7-KF0F T/L> jԪ01OqMݑIʓ4g}ѸAǨNM3ettHqg$^Q*o;xA;::yX>! [nI_(zGVSJ0c\۳DaBcćJqjGKn3cJR):ܐnҹsMl[ ߨbN87F͗/|􀮓 8GiIu:`G~M,8dt2DhYU8.¡*rWPiƷBC#Y |E<Ϫ>h9/EUShE:uoq+ 1XH㱌w9ނ/$WZ@(IZrd3Qv\R cc9yPh&im4niSRhz`-3" rBv^i"ILܤcO?K\놢 ȴuЂ;+5/Y8]`8'oL87ðSm!hK͑%&*gfa[i6%`BsW(y|2+eU|0] qKm64s4u"CЋW(v!!\NT!ΪY pufrR]qNI/l _oN*n7\k70 ``thowڅ[%q)cS[h2DOfR3 KRSr n@Y-PᩡoF,ޞpFQ0Ui7…wfIӡcxRc |HY1<3F.biu- eAJC^w=;dY~mwsC8zDnj}l[ve  o=MCh$o}Do#UEy.{5+~jQ5&o$bb`@3ģe\S|+fvͷdieso8Lx_|G>LIG& 6TQx8$(}ޛ*2i4t"@k^|:eQvA1N*4bwL5`> _bV\;)7l / NAAN/+5Y~c4V"ηNʸMX<"w7\얯Õfր,'[Q?l:Ivk1' i3jAp^ߠ2@LYB֨1)AqL*/@RwzA' {pè],+2K_˫;XIe]#nf{56RɂΆ cM?(^܌lI'P~qAn$] 9 Rny9lRSU:OD0ml>G%B} 1tDjq שcMLJxa9 ]6g+B@coE0,;.Oc/]mEMX\cuvCFsUH^x3'O-y KuDNbnB!x7ͅVԆ l*Rm*PTSsНY3.€TMSF3!C  R GnW1>Ci|2X/km¸b4 1 o):d_kێࠛkk]qQ^{\v˷,(. ^E!j bho +NGӺ['e,O/<;EQ$$ˌ>pTyAPM[Dv4w7cƻ'm!Y& TYP؅nDs\%i] p1 I}J.c1NYn ɠlYcvǚFs[l${y3 ൊ!>J`D7)y5 Ԥ G*'V! XJ;…t{s%0B@R!F 8pqOq0xSQ/ν >xo ?{ _0#Ōj!F s~4!_0Zʹ~u$TR &'i\DLOB@O+` _,b?^Q ouzbr=N0ɓشm CWYs(3!{w -GiȶbWIJ;S=~u;|Z y2:)u- ܜSp"17;xS, Wp@xРpE6uiS 3BZ>͒1b OƊzh3U1(WSXh-"s/oѢ_q_L) Wk҇J_ـOI{YJ"?dj$LfSB dpc&!aRhMv,ք E=Yn'"J({Phru0Rv >ND_~,lXUHb?޺(4g:CckM4(C"^ u=5>zmk, 1_JjDHXGT{L~2% [%#;.!1ڟ76 nsbمW1g 7Yb?NN''?-zT>:Ŭ8Lp3]Y $mÜS B76Nۜ@0 #; x"#Z!#`<ѥ MW dwQɾRT0K?~;_StAm>% #ص9!6dCŲnu壖ʰgߛz^E"l>'ݜY L/RLK4b08qT'QU]?AQG̓w"{#5ukB0? !?p"vwe24(:nf#mv K$Ȳ}mH2GPɰsTOV NgDD'is>NssJS0#cp7*6ldv_Gżm-ȟQcM$*rEdAN~i:} '29i? ʥ0,i#5Q޴<.-] };McpY߯Dd b|t *W"fR490<m'[fh/V3e%j˒LCLo|FUohGʒX7RװJ edBXʙSk{, 2l|r a&X,Fy6/&'Iʀ3яGJS0 |xc\Hxk- Bڇ1eIcR2A0%U7׫nEL[+}3/Rܡ}<;KPe:=\q#'"[zޙhǢ~ڸV_Ұ6zϑp(oG2*7E'Oy}RP1 єVaԽ@mJH;Kf6˜>mm5RRM` gYZ9F /E# |HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS.^sd 噷oh$hsch\F紓vXѯ5IZd(qݓkٝ+EòJTa1!Dq r2 f77Ҩhz_)LX'O ;M؉7sT+q ݐ|v>D5d"r׳`elh~nKE] U] b>۷2}k+Iui_aa4UiY4 my>?B(CQmI..—CD;\"sHX1#EX3w}gln` Ǥ8`b;"xs Sz>'bU,E V*Z#?Ӱ~{ -v sdpk{:j,x B´L@SVҲG 2]uFJ{a?GS}s߲zh[ay M' V@sb[$ LAq>}psgm#yL-\p,*yIz(,*MF.sHBP{J;٢Ou*l?dUF L yc8+щ"͝21'DJ.UFYtײP8{ဆgN*a3Odl?h%Հ%Vgh2Ŭe<Ƌӊ|q! >C٧SЉ/'}9;pFi̓u#HT+@*0 F*EZs`.`\KGSfNk1 LB[U@h|rZ'Yd}Ar;yghĿ-.tҗ !Tc_HAټ=VI@] &gRAZcMgo,7e7/~kaPniOfwux@9/f8'\SǪƪ6ϚEv(hʐ>U@= U/n~y0Q)Y;'EeE/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files~~/src/HOL/Proofs/Lambda/StrongNorm.thyGD/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id222cC/G' LHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages7zXZִF! w]]Άxʆ5.f-9 rq8L1ӀҎ& M!DC=d;DRǾ/49\A Nf~g)p6㷆˗JϫN&sqx(:=ܐuŤʻ3wѫmlۍlixPAZ~B RGQ 6)Y<)<r7(S;;Jot*8|^Sw+C)ť ͱ=,6 >*GȬON<$E.2e xJa"/.hv3ˉFKEKz仝&. d<~吓mjY{5iњ0G{l;M ZE) X'^QbeC` c=$2=|P_PF\_Bi} ^F-`(dΎ(!Z?a Pv$Fb Ss?p=֖\謆k0M-MY)G'.x.q^'#dP(LT;HPHΣ%]/c~n;_pZfL5+PUhjm>si0Om~sĚQa"QgYZF3v`hӾ w*! ۰b.څW m&maRN^j  vT[嚞<쁶fV*Fg< 9lQc,ƾhl 'oC+yヨ?O[XNFZ9w_wDDgIEԫjAJ$\1_[I(E١|+YH H^4YrØ<* V/XczUPYٻ-T4Yl'8\fر1o~k hAh^|0[o_>k.O3YȊN8lp9Vs#bTXW H wzCb5oU+ٴr& Inǃ~TIDbr\Kec4ȜD\e쯢e-odH,"8%MQgv(mEt:5>na=nQVHeOq)~p}Ht d/0"W# _#Lhw!ӥhTcgƙ;zw;vn1kxn2De:A TFcSwF^0stQl\ AhY4^p?y܆E$k ުV=1w)!cq 6!;t"b^H`4i0?D]C.Gp}n;ݫTt[V5cO>.k_:yAuR_J?)LK4zوxmS=Ԯ 2d:_|#x^;$^bh*A̿Ć mx0* hTz-E%8lh"Jw j%F.zJJ6"4괁zAU,]Bsv3I ZeްpukvrKԘc#&Э#/K+!̙x?Ǔt\*U]$΁1/;=>Uy aԇp1K MHwu"kFNA8rW`a~#5x=y~֤'6.μ U^q⃅*w@y^>k[6QXf5#5Oب\/r Zwzt}֦|'цk6ɭK03' ;pT|r}4ȡw%=pc$~OYQ_QZhhHl|nS'.% {D ~JR,hBy֭6M׮y$Q-I&"?k5="|%ٯ4+d;JTބ%{ 5:_Dhb@֙&/t57z]d;(r)&;87Ě9xӴx51@__@lI/`&H?Yr&h +>PѢeĖ>~0k~9*Os@v%;,Rz {pǵSJNCf̯ܗ{낻!N)w 7n JhYwKtCFBb .+\T)W5]MZTIk,gqJJs,9U\%pΪW4eb@m Zzq)bskQEb R*;@rU`y9O_R.9 *כ$? 'Zk.tqPEŘxZځ(VNJibO$~ma#nE,r75#3lt=/|Cx, ZP'#mYF*8W8t=Fk7uG)4d&>TE%284ncflxvWߺ官e8qT(:쁵~d+D}h\%iy(.Vw(ݙ˗$e@z3ľ%f K/^A*;yO)W@u#LKV,TuMj]iv~O]K,9ė\,A $0dJZd#@^uUo ʑzм!Q6!}Q4D5Yx APkK$QP5&2jj[@J _:ͭAUhe >{!"bǮ^5mDBuRB./A7bz?# qhlX^AGbdޭNĩ7)5Vg%X,SA?[pҒd?;Pi)O8?nrMxrYʢ(mlƹK@{Z#P^l]W/VXOL0BɰM}*F?B\6=Ch5qFtDսvRhIpo`z^2Dly 縱/IW`<͆`>xi23ܓS).F0*KlPXY}- d圕ӵ48Aq0'@*(AĨ*WԖLD[ 4FӃ6IvoJKϚ]ίȹa-2(-T^92s]?4N.ABI۲.(+p6rFxWcyTwaj܃4KD 枯B]20* />l1k[|㡴O2*ƃR,̂`6#nX [ԟRQ[t;, D0n{'$RŸPŰKu"q߰,io:A:0`5!|9 HOԔ-V)a7ԩdB[IE1:8Ѝ@c/<_+@ UI\7r[4fSEs PuZ8O2 ǺPݘ' 8~.`cU":,2_V2aeZthYR (;DA#Tr!' 0abr,JE82H3AZȩz^c7vfKyF?# +/*AgR>Ic[ttWT$ WL$>4B!фel+?xgDNYr3MG*qaH-ɥ4(0< y ~̛[dh{C|I|4S`{fp5B@\<\b3狼jiP#BGumr#hDOHא98690&LMܕr)Vf_zcJ 8;@HדP0gcYN~*y(l#rӤ?Fڄo SRv◖z6Ԫ"f&S^բ>k9!'`~46<0q;8}'2ǁ9;@yN f>ɃYu(&oZm? ,AٛM`16bydu_3.e^X1K[N']D|1j؂#ef{k eˆy  7|X r^y^hqjIpWnpjGd56v̎3_1ֶ( , Bgc2R!{L4 #^-'|QzJ}!CRUar$Ye!>%ab;w͜Q_ 7HË5BЃ3O[__(p5H2GQXz-fQZ=R2\+B*o_~pEkc)F!iCS7 {Й;1@9%0I?JJ oΉ#99XK!gU.T a]C<3JѬ<48oSm?;QZ@qT-.JI[fv-$ pžHxƖԉ ~4CGEAis2  X-K]GEtTxm,<_lJxJ9}o$& #NH~E;&0MȜ@ږk4>ìҞ$ĤZ[Zu1/^4[ `T>{~ݮ)~=6_l#6A1SyVφOqr'-wIW){'V+1"Xjspr d.;˽'[93K/~$ӊCnequ9l8L]$7 1aüE_&yp.MyXS*]biQaas0tæbZI@=BI o"ya8>2&;8 ^O NJ$X[S Hփ&R[D "7"X0x_eV:Ȳ%G248G?Bxm },PbBTQ`Dd]r6ׯG&eqQG>X.@VVj2GN(ݡ94$ ~v/0˪NITk!]$ _ំcVr=+cxw[[.\x.1.CɏBfd .qS'ꑽ{ #lqOFm w6[4(/bxM8Wy{ ]"H~6jBI@6UցԬf%_3B{'!9 v՟WfQqgCCܿF_Wd q_n[֯ςf~Xh3V,OyHs}wS`Zc(}g(,XM ":Kl'_3C޴ͰE1QUQB%|I ^L嵫%cJGqq]JXcy Ѫ[1@T0 XPCGSWA=jE|_$po.`DJwi0Uq5^!RP406)zYbu&qY{E ےe¹YRA)XK|>xWRK2% r@_AWDf;'( Pœ* u2$OV'RrC.[4 *[--CPS:x{1XgmڹUGI&a]/ {8??C ɤy\b2,XxK:~J@]t&Ut_Tsg~K OR64iJ08'k?S`;I[8.0<,w0kH>fTJ:Ux-6[wIc~X}3 p#P8fM*@ (ȗFe< @7rstE4|ZmY(pҜ*xg1\ S% 5HS^o-e箭EAG/bDD`˒`=+֟=LCJ:[A!@XŴSz co{9Z<6/2o ~nF{V57ַί;c3qmP/D^1[z=71m}v<s'Pt.&>9&PNKE>f+@/KDeL {f8Պޚ8S\]%1 mGpzϲ9PV Lm%LL9.eBŮ j}v[nΘ~}VsfJP8lpl{MI'>uT2=asWk$2XiA:]YΏ: '}oC7 AJ\n"tsm]#_"ԙ,ĬyffB4YܙjlX6tZOA7zZ;NBLB bzZ<7Ȫb}Wtk(1x䊬ȫ''+|C>JUǬPc\l8(4Pzê7h %8ӆiLTS͏hK_ Ywj*`FcU:( "j}(ZF̱ 4 IXsL=J5-lsuPUSzR^K! r K%UjIB%P{~H=W9V+\#]I"s@jEf">ڏ 15MzN ;AԨ𢆈/?чP#&LڕRZkKJEցylaT |0[Q.XVBB2A^G⅕@a@Vy݀$4EMb${b{i 5dh 1/*q2i/=)#9Qڼ?ҟgJX8NOL 1 9ڀMUiLj9h$c+#ג}XK7SSş8)/L qҎ?{P(j)H2EpVxjֳ7?jO) KEx$o~7êT185= ,#SØ=|wȝ p% ZX9{Y5N.=/˺k齞7R.:8ǿe:!0eÑ hVSupۨӦwpa3{-Z?N1 7cRHM8lHAgb'mlѪͭ|J kUYu!J"0D\ puʡe;evNhUL!>P1m%FrdV MT,TC/PzOdT<0˖H"jMⱐS$N3łB0'2++Erc0Nf,Ԍb 7"R)|.  Lu Z8.({s;|dMG_aV? eI9+ܥYA%r d[ʐ#t.~Ehkv\1=L8vhDZ );x`~x{o)ˊ*M{Svx}g}JMEhL0}0=kšB&_}fj5IFΫ[~Xl!\Hk0/D^HF7[zwĄSH Js3asO T.)!xd g)pבHolCHPӧMOqD0|;?)G2_q<_F ?$gCXȷVFea/X)Lb|zGPC4Le TVk>\Ƚr=YH ؟fA#]G1bP[:= npK{|`Xs% eNa nxNnS Pn. x/ջ16qL度nojd@ Թ!U+Ch+iȗV GK#l/G@`u/ѡZ4Y?|܄<5,⑇\R$͆<`(>#)]gbΔm)i PG7r3-: Ǟ!L[wć{<Ǧn9|V =/L9!a~6lsf]zv<;1-Eѝ40OGJӺ 0A%2!^v/`2=S/T|#OJ31k4Yپn-˪Y=1B/nz)Q?قO~X%8\~kCq} y]IH0$RyN@~inMB˹q| AQDU潠( m. 2Y|f]Ɣ{4uL5Vx)+8_n$'Z뗑F UC6# h2K~O :r(_ gOEIcVO-[ZЋ]o>=IJ1#[HUZ8RZpMm|ZWl. J[}{?+uE̒+0z }6Zd7bGf`OKVhZBc}Iۉ3 Ho'M'2\.~ƧӹAGAt]/ 7i|Dt-:)e uyRQ7ۺYaםalcYv,ˊM'T 6dPڠtV8H/Im,(^gYZؑQ#EN <UV0/^+ɌAݙp;e&W.<;Ϸ{,q:0y+#EphUTi.0l5y~Rp"LI5`!`NG.K%r4O.x]|4cZWwrg4\+)/.,^ɾ.naQ1>nne_Q"/uԀL @sՇՈ9;?[MnW v@|ҔɾL+‹m*\n]b+Gp!{Gvj/9Hձ}^ an_2-:blc_O >y.BbB.#H+g_.sBw~Hnf1޲&0;LL1cM'M֋zbbc9Qu#iJ[95YM\=؃n1Iå`js'~}8o$Ϳ/'㽊q8que34g?W  ﶺ`%'0ȮT$Y Rf~jИc>EOUHހ=R `oӣY>?1aV'HŜ :aC.T.炷zҐ~ V@zXwAR|on[`}5aQ+"Zkj0 e䭸7J?2;Sr(i8\?ne5Aܰ)K~H T\ %r3,dIa2[ +~Kf+uAt s-<1~F%OQ}tE: ØAn5Izc|1?CR!ϲ#Co)I{߷w\mTonDY4tr{}[mq^QP<RjD"ҍHC9 GCoDM@3^'DeLvL/#˩jqٕsVK" W1mJlS%:;ڟ^CW O >WW}&`,uta6o`~'TfEzY"` ;aimrNCaAO'kVYⅹӈ1Ikj{bao\ߡ/yj78iBT 8PKEdh3.L<ioni)A)KO O adC>_x,0{QlS_~*6I z5&::0 >]%&`[y,re˭jy9\&KDr4@H%-!6wDS - cF7[2qhfA=uyLqΨapYJT_@D(nvHQ)m6:ToNS-e0pWj]Az’STŪbE ܹc(DMMc0kh%[2Y`N+#qDZqb1>N/DÀG\<'dwm̆H{ {W--'L}:J3/@1,i53|jjjs;nEɯJ^|~>L'-~j;MdY*'xӭNtfrt equΏX" {W6KW?#s.\snaZY/RuU-@w7 X8kncrtos-%-uXyJ;P1y>eZ R$$Ϝ7_ 䍟K%l ó#Lـ詺؝ɠ fR@R(gG|&:M݂NP[6:(.8ٶ >ڽUERjG?y'lVM+8AyE@.PNXmmT[JIQ2Ilw0HqrNMk7TD c{r߻7P|&[sv }&LM|L}54t=!|ܑo M[Lڞ^`,d Ms508!)@y\8,cTPI1ctBZEw&07܉TI~7 ezJL(ZCFEN$4)#iAi$#c!x\nr0X7"v \<]5{l1 xZgYZbf5af59225178cf539ce1580d19ca446d8fa7c012323e0bcf9a949c0980c1f22cb8227d64a922d7b f4098df8ee4e9284384f2c8c8e14b46bda2ba969