SQLite format 3@ I.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ""S/v4d ]/ HOL-Proofs-Lambda:threads=6elapsed=98.741cpu=116.868gc=5.2607zXZִF! ]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߬ށ[:`Q:Pҋl1ku2BU|s!knK녬c/ڇ^sML}{;yTn4PFx9zMQv ۥU|DB§ҰC#rɊO>C=a-b}~pakc gYZ7zXZִF! /]ŗXi%T_(x$SO&,y8@hU_u,(B0.lc074sV:(G?d7FFQ8:*礂I1j]evV3o[ز5twyC\݉4<7EW"Lb-.eG᤽o)>JّOֿ ~ ꏩ*}񣁩p<·v;p_}qZD5e 컁Zu˷y|bѰ{ŲM/GYm;R!crL7"s;-T ʄ"u5&_ ;k\o(# P/xCjРͣsoKmC1." mKpXD]4}mq:OS gkmc08r H;5vⲺXKm7U?Iaha[Y_P,2]D[wPi5o\L 9K*].&qF$FQ@8{o.b#IPUJbd}p~2dHDwؤ4m3Cכ>>RtVrTR_j$SOx#4\OCD) .aZb|=ua+{oYba2yx>jU LvB%!Bi} pXOz&LF.RhvpؾIU- Ky8vw=okM|<N9-?@ToBDqb #o ַ),U7Vx1a~+j6GY^UG\ۂ89t܉KV5 4jj㣆Ӡy%yQAmigX< `mΣHj%P|(~'UW($4a:nyQ,H>t_4h >Gy ^D> vt4`G* X{F'Z]h``Zam'Eas]Qz7IخhY/[Vi: Tªly4s5mX&Kw熘  )8:P _]z(1s c|81EG_CJux"UhUa)BFxo-\xޡ}R;M(xB ;|ꌣ^A3T a7%?3,u2^ ?Ӎ}Ɏ똾v68ucRfj'ZWP,Hտ`C"K~-X^2,lVcb⿿]D1ƇTӋA$m ya PbS`o4ZO9Ŷbin\_ݟpu}J@O#h 34׈g]iϱkLC.sI 6#P 1?1x>vHwɃS3wbu(:'48;EЎNYI / HOL-Proofs-LambdaEbdaHOL-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'pDDctBB<>79443110.,,%%!         > n6 : } = y >  o + PJ wO b#iZ [;L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3?/C'HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages2=/C#HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup1</C!HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files0B/C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id/</='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+=/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$C/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex T/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texK/G= HOL-P=</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&   ##Z/G= $HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex7zXZִF! ӨI]A-MՋhvG"uIBm5XB4\d)ij2S8l@}MJ4bX0`WGܾyyqh! ᰐǻ&LeJa Kmuf pQ e fK>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDct|[E:#Lz29ZbjZ +{c$W~rWi2m들 E"|UXe%n:sE39ugYZ ]] /E; 4HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex7zXZִF! ^]A-MՋhvG"uIBm5ĸJ>Y~bZ{dV[N;č=nrn%w꿮.7UԡPWpr'CFOѱE!mУV?u\Roj[L A~З>Qxe{(b*M4^#Koţ܋+uA%JIȷ''B0~UQK$ #=''zb`?lrKZ1{maCb,9#ٿ̠fn# XWL[ w96fȚq nR,yDž@e¨D5Ee6 ƙ6-J2ky;wv +H?< 4C |je[Kc^#elf;3i9{Ɩ"ɠvs?pqd^Iښ{N!VxJi~3L>v}nD?J\`LY`;ub<|8n_b.{zal'ur7"Qk3L3PB."ƛO0èt|>DH;* ǡqJq@>;\XJ45`#J"qZ:ѿEeHq/Ru%۳4IMG$7Y3p%Ln\6sGEO(o-ȆS[bK|?gR "|DŽs3[$ J3T$^Ra֩9cH/}7O-#&5BfrQveãXI(P~ BeԊPF3y p;UG" ң"!jȌ\]ȮʟV= gF 6N h ح Ͽ d*^`zE{=꺼ڞ賫d^#2Y, z#هЧMDli,<+>.Bdy1?ȋoc yç.XEqݪۛ Q[p"z~;._VzQW<*o=?X9ڟ-P%#Уؓi\ < Od]R,I <,y\]pVY!Sn^dQ*Dag/rNPrl^B~=%W:|x^ZAu][~~mWoޏ_W^oh89i)0Ć sOOxh'xfLh~d܇_iy.K=1S͏ՖNQ؈>Kyj F{-9#U[ ?Ԝ9I _x^^+D-H7WU q}V`mn@$̗1GK|҉T)$КuB;|HJ,p+t(E[?O$!cVC ?%B(vIN;( W$`R5 !8F'S;D M: ;$1Uwgzs Z@s?Jdw@< z,0{52=AgHf̍"s œWV!|~U6q `]A2;!}}Od= GQ&hق+-u!:ڙ"G`}:zkRs֒!) ⯑DVoa6H/eZ;9;B)+|ǽՋQxMh d\M7V}쭠L!)gn ?P3\,ٶlO GP֕!g莾%eAv UE+W.0KRM9u33v`hu !$Uf[O嫺?e Tγ&6!s|ONS/1-nΖt%9 xgNQ-}B %*bw:y5Sٳ5]Te|i[ZVpFJӬ!/-Y*36~כ56=3 m/VHu#k, ExjS# Ƚ)7N4^w˥e^xlT_Қ̟kVP7οZ$F}L붔sʹ6٤4kSK]TDrU Ƞ@<>x^e6Uɭ.'җ~X܏*W0Y^Ŋ$"@TGwKGRLUL nu w9r%L\ZU}azH2geb@HIoі :'gYh:i֍ݜWdļ:ly%$t)C6.\\fz",A_|%Z^-Ɏ@kaMPy?ؿ%D؍ۅes ߩB2I/ѹSbRX/Lv8H `ZTq0x'[1] KYl%ܺ*")P:E=&e @|h'[f]6}i Ou -5v:g=s =9۔}r!)#qW'ł ĠɁ|yѱ/~1L3Gb-QҦ|c)x@. vjjӠTwʈ봻?e4! v=#|e-S]y榾l` ۗksu s$%׷֯Le , dHeS$c}usI}M>> >@9m8H`鸦Bt܃P|W /6Qbx11PZыG&b^^n-3Wf 2}ON„fNȇU(ۥ&MoԃxYoK(zo4`$OdwT7t-ώлóaͶA`a6ԒWw̤Hd xZ_:)%0oL;Mo'{0L %Dt-"}6ZXI*aHΔ>F@o JE:7i3&vuO>_Զ2t{[ n`vhyUgz]gYZ\#$MA1]=栉LTa&[5SG[G5B>UJ \M0lUrq 7=,T@R%+poE]09*/{JB'xrVEU# yԬ[x^G#^~}ܦ^ԛi?-@5:J*`'㞳|]3GMxyZq~hS|.u h~fW4Pf`7PRmy4I˲( C@ӓfR_w{'$eAF:M.* `PbAޯ5 M#f᳑39tFJ(c|he{D;Ϝ`(-9wN->L>sj8PYjU4[Y9 ֐$i | 2d\iJ .Wh@0V ;qʂШ{,GT/'jlO#z:0@E5RsGRY>@JI+<fӇi3 ,߹U|d~(7b1qzIҧVf֜QPZzcCrAlrjp 2} ?A Wy-I&$ߏ5p@>kz"TvR%dī<)K& xgŒDsU8On/j*㯠ۈRAp47G{k!fXnrL2B I'@+_C> 'p&*'s̓Z=ϘDQ! _ӎ]E)-<CdUW0Xw6?[y'NֺݴIsU\1x%u@U1 r 'ge Vzč^R`gLU?w[fpQ+ _4 Ja;jCMw rCn͆S !W^p sFzv !Vؠյ/{6(:HѵxFe_,*Iԣ_21|I0ց抋{VTe'9Zwʃ=?t`Yb@ ì5nzqܙl,$x"}Q$IeC]_;U.sd/pSMWM% åYFd m 6 hf2Q^GT\$fM_v䀔WeP!Ц]+bAOXT`uI^b1ֲcqrR0ca=$YHϚ7͆A:q虅,`LT XZ]J!.Z57K__3L0FDJ/n )|2 D2*F'C6oLX/[wsVP c<-N(}^%4xcz]ORǟtLkĝi<i63&ٯY;q~ YwK[ʙܥW4F$8o}yE$z%}^i&ssNƚbE~/aQV,z/yӛ~tzfeޱr\M =k\gFjӡ$du]; >v$9༵&QLU{ ydFCC'?Ħs n ~[F2ݓxK '[Evɚ湘QP$[)ڎ9* 䧐{q0,:9 ; yOrVíQRޯXk/eG@"X'LCU 3uS:lVRʴ۝ad%M'|RKm[;!o;do{Yλ ]p*jю|b +r^9α)^HDϲ.J;]Eh+9^:S {d%fԗy N֦/ݩ{b',V*¨w5S CK0W̜^ R͙ޭ[ 268BLyy,1R$_1x2<*B&ų΀cJ0%yUEBB}ȕ=I z> .S֛|_O5^ՠ6o0M| cDG#y)c*Q^{!/b@/3:Ԥ$aV1leliCbCbXE <ꢰ j!Tc f%iAݔB-¿6^" Cb%v͆~dLFYiAAjOiq3SlS\_E 7UJ&A*Prnq;bpG6L6d/ \p^[Y($3r9~Y`BփyG)\b% O'9H%5K^T~e8*9o]U\O[d]iMp kʼnn'fgsp|sL<itZ{̿QAѡb=jw 6X@8|G:**kP&òoyq[B pMEi}1fFWWık|B0mj]W[g *oeZY0di4=?,Aᛏ>'ӝ\]9:㻦q4sehl _&)`dAs1oB,mo],7G]ЧSְ3p68}#ԁ)=& tvT a<z@!k15sLlZP(5@×̷eH\$Dwipy s6)݈Bݐce;(^!(ί5^5G "⹭wi_EwS Ao4펇U_D>vɼlV_ UIoj: :% )co tA]@$y-^~tG(6U?: +^뇤:cX?bih#ImXqw>3@ ])% ;Y8/J/a\KC9 sOC=nf,NuQyH.e&+byl^xu|A3gv7$JD[ݤ]Ǎ`v=tf:*%>;?ٷ0qyq.Db{V)T9rE-eCiEG~=fDĬ/.y4JTtK V$ɳ'V;x&ܰt*z8͔]9}D͙t JmygR3չ:^ٗOfQ @Rn[M{mgL!̝OIܰN!u޾NK0-BiA__#W,`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 t/E; \HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.tex7zXZִF! g]A-MՋhvG"uIBm5ȩwQAWtjJne .#z°ZvYosP{Jgmܜ#; Q͏1Sn\4"m F †<*^h!q)oW[ RTɢh0D+Je!m:dcV P;zQh-ǝUzX(F2?\+-8أlkkFJ Cl ܰTu@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ 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 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מ)^ΦED_tw=Oٵ= pq^B>/0~R"BV" n+J2 ֪K=9[S@&.dt"^8һPJ._Q "~*7}Wհ~0B8lPb򁳘:aKQ ۘtmeIZ=n9mx--m[bKH$R+*ovŅl/_iS8'Nm%p. 0:FQ=⦎kf$N0,  nQYYރ|f<Ck+䴹NMd Ҷ;uhOvqUaȪ^Gu+˥KL&^jȶ鈚ȡch|NKi1 !!D@x#>,և L&FUhn=?JocpRK!΢PopZ,@ra# !O=&b6q5TtbYg7I |$+҇ m{zXoVo:-'sEzQw P2i?cوi 7J'=pPR !8mJ"`kyIz;{7 VO׀[ApǡC:lO1HE۪ޑ`.~~\1鉗,γ*f)0[,ݾZ,iU,'`@(}V.2_4 BuߋպJ^+Nmxvst~u>׆?f ^fpW^9,1:V{j4dȡ7*dEAf$eo.La^S謎Dӌ{iIuCERrrae/@. s?7 6q.HHL A-c Gh`CБՠaw3{_*2x;u#qyAR gwBg':o9bv7kX-y+;DU@K$kW )+Z3|Q}6i0*zB2=~hC!eq㈅Dt ;q&09 :.+t5 6>zy˗= 5bLlWN z.ɺ=uwBHNzLlsX s65I_+a6πJ? $"Va@)19#_P[/xkճT[-U9H6QaDgOJ*CL:F0v¿ByIdxk=?aY| 4=jQU~1ZA2J ` Vl+MΉGq˽1dpLj- kQ+[ɍ.ɮw?e+.A9`"0O%68r|?:qt ]9OuS/xUh,U+&svU4= 'FORCg)brt%VJn vy,=uM|:ݰP23?wYDӲRW A%1x+wʫL|v7s- B~昪X. Ҥ^єT k{-`pcrƊՍ=qʦ!cM*0K_S[~wui{^:ʓVĀ7v ^փlGs\^vm|B `eXOY7(gx/ot\(oP-*BfeL 1jẄ́PQMg@9aqkݴ%OTߴT?"ʋ&?)n*ګn쿛4R0kA/_h፻Z+J\@DD|+&;H?Vk7J 0v&ʗ]027fP kɁږ K9pZ#,T0E>\_/M7YcLt1+Dep0iF5m"k_?b-_X|-q@d '."4Z:n#Mm\sH$MDuUL r&f,KѵEHApa5TK۰{W/Ex6udIi\:6!^ dޥ'=bT4yd-b9DzbHa Ɣ֢׸"ÖJ}֑`#ILlewcX9q;Sf.1ⷍn%̄&=icΔ8sY]|.ŷgYZ ##R/OE HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex7zXZִF! b:]A-MՋhvG"uIBm5ȩ<7You_&qƺ=n27+Zv>bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBfҶ!5pDr\ʆI DֽV\pr',X⃹ X`[4^? <%PUE1ȃf;_߿ $FøvD5 DtOeHSߑx;SMSJv4x}P"+wY RxF ! )ot8-N+IL*|آkkH@ҡڕ@CE(L$Nn"ff?2ck@Q+PI T ߸*uR)Xf*]7#puش0{O=[j9 jk&&]C+Tvт-qLqCoL/+"ARvv7q`Zmp7+JCz@)y \/Ev 8Gs{Wi2 b/mפbG7$OF0Hb>m`}l/S59aclr; $]4*?ثb:y93-4S} @%_@< 5̲̖Ɉl@($jN [r<r,<0GS*shMͩ竒yX83MzSǵaնY3uƕJsj{3kΛd#]M)\{?ʦLhSŀaϱn[W{fbd]@49ӊf0dɊ6oA\]57o>q['}pVi{a TxT#NGoxHfh0#mן71eݜq!赒%YtgS^2v]`m$&^?kc"k_˃$RY F?+%Q9g0MW8ѐNZ 5eNtNSwLG.H+rakiؓ[7]߱Z⧪b,r9%3Wɷ_p u(ks߱$lŵSq!&e!eɼ㪢hĦ5a~VxGCeu0wc9ͿWf>lS2xڃj a~WR[?uBjI_J4FLcE _yf.:&AW9 ba`Cp87'kp1,VqlRoKk~kp$\joXGU{[fzscV8 h52֍->>R.|-#Q+Z2E;3ճa4X} y$vٯj_o \$\w_UUě}1Y H`a@-c֎ sDp?3Nx8AӬ\,z: pMRӂ^t< -i;&v'켨䡔s0*В ڷև"6Դ;V,Zл2@cdf~C3~o*hl[:F8n23Y.`cq+:⳶1}I1xt녈i|/b]LZ; +;$ ;Wإ>qK<+{'NXT2^}b +4XSFWDM>B`*AE(iI'e)wQvA6*Ls~%Ʃ"x*r1_!8F Vt@|~6wj~|OY#y<SU AӔΨ;w8o.5瓠߾#$qm%^V޶}ƞO߶@QgD~5UNp9zsJAɑ (L]hsb^+%QSBF;!s :uD}{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 SS* /OE 4HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex7zXZִF! t ]A-MՋhvG"uIBm5grwjOE"\8q89U3}/}e3Wң ˑS~ tr#|JxSD] - T9|LFs3gF5XuaD$N,?kR%p^U?ѻVɒcd>Rgz*+Jlz*Uh/- :L( SCi-- OkK&38&I;7]v"Ct#.c)I[Ö́=O 6AU,w=,`S#HQy?4@cv4=8&. k]:*֗ MbFjk+8ra(D ݰ-sJV&oi q6"aȍ1OO ( ɣڄxӖ ;"o~!XyyPAWth,ߵllC= R͜vhCԍ_c2Cs`|–NxʛZ\K3Jj{Is;]kqjD߫W*XxlP|3XLQЌp y};η\tP [(w֦@IH8l:@'R5'ڛT߻2tzőVq >=\<8 Dؽ~-͗A` ]ގF?.l:Bqn2@&iV "x%֓ra]evd@ 5^nqT&|+93:7VN/+ 7AnSVyK3 wT tؙ_I緻 vE I ]ʛ:D{ "EíUCֹףLS't﬛am)&7@`n|[#w2(IuY@1B/?["EgN\S;Do>w`b qQjU"l5$h7>-;@emzX u|.=@&2`CWի}SGN>)^r9BH?`A7şyĖc`$mw5{sy-7ya ][jGz?Vm߯ՇЏ<4]cSOiJp05[ra=e'!ԑ&69Q ki%Jz`"ߤsgL1~.-fj Lf v+em!i-Wy"yR:Mel\`&HĆƶJ-`ƌ դbj֝.OhҍR؂`eDk IDc{Ͷ:X %ioDkv5a]ODQhR%2$†?@}qI= Df:v4(Z3b Q9Ous};l/Km/Łwʻg>w7 なRfJ:FQx u'7Jbۭ }$,6DVп Lσ?!dqjdmI #Nsig۽G/TEIut .Sw@Lܸt~Q/[sb^( ap&P2+R)Q; ܉m |%̹ 9#9HR[T1J:L-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 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 ( /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 (_(g/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\Ha˺u#B-aDI8 wA@AԊ_Co3*ş7j0σ1U9i]i'428W"g?NdqdM4l0;4*NoↂjXF%4RhrXS-zvt-@|Vi=p1=nέ[spXA2-=a2pp@/yvǞwVPU|ۢ(A%Nu?P\]Ȁ(mcD#kaE4g^HT=`4 +ܘԜÛ:،^0fD$Zjm Wr3L ?/Hu[$ds;lnC׫BB%(#|[}Z55\4^*bX`rgJElLVu>k0 RXG,&/|h_a\ zd+A~#7Yf,-UcoX}R*)>($Q~PAwTbaX [&+KE؀!H(Ű8^SFf[\*|D-%&.0f_y$4mAFܠuu4^Z-7΃ u$5LgYZ /=# [ӹ5땣VhB՝\3::kc"iE Jjh5n`,UBg_bj$! \]Vk>gHw,rPPLK\rZVR>n@ݻ2lf Fse1Bh|]/=!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\7ari>,فC1Z % >ByIw?j$Bl}Q( eĢ`gV V4K8n,JgXܟ,5P6+?P߁' gأ}1;葦"6DИ'[Sԕ-c3Rۼ+ϖ)`Pu u.;Ye*xp|l\^*lYqL=zZvwHC=y \+Z ާ%czɤ4Lߚ7L-\+.{p?]++ĂP?>)춍)%[KT# A\HIf8&ް%)7lɡPUPxTij`gstz.h%n'U %0(& +]hT7&d `wN*':LF3t \T;D bx>L&3[6Cw !h/;4hBV'U/ZvKqd-{'X6x?J?~kf)xѺt3g0PbMwv[N3#CtOʩ&^C Ʌ/@46F}[ܘk2d ?'4}HO8Wxȝ)%S&i\]#.qƈ}f6PniR&'@BJesYb:r>m$E6#vo"G)7 Q3QKwEY)fI; X落1(rx'o(,HՌ4 [;31:54L:̎ݮ ^3`8B<&T"%[6D0kÏaC~qpA OuW$h mWY=Z_C:AO -|:p3!d߂膳OIGGZ:y2nv+E.gƱ)}9cIp^ =CQ}J`s'm<@i:Snu1h j(mށRFli# n$P,OqQ ڸ^$r)Yag~q.r Y_4ɂBtNî ^1!<,0a&qqp6?@g;E6̍<*XAUz~8)tBrzǣxXXϻʧ4͸ajАOδxWҸ(o 9K .$D>ҋ Ysظ7hաSUC"[?G }k++ȝ/Tz|8ekH$4iUƱqPή]D N(5s[ln̈́PD/؇3-yhllO-JriMHKe\3B^!z\7)"夡"[}y% : .vVKObl#yDL +Jq8sTI~I5, q;O. T'j+!1:)nY/ja[v.vó+c>B%Rr8gX; ?kX)ǕUSE(lS7vIn75 ]^NG"~(&]NrL 9MIԢxX9j}pzx'R`St+4MLچL\?nrҺ#5^W2稔~.fi]_[jHCD: sTBk&z M{]լY;ƪ51ix & ]G;,Ħ ,Dj;2/mAnڎUUvgtdjŞ eW@p{zX :(*~W!oJr`d-MuJ`b,f%֪sÃ}2 e;KuзucsV% ;r0yTVGBd5B oNU`2(oK.,63]ce)أ=Vǔ;qJP9"em `içRՠUݤyfjaGGVEYd%5MMh/ j)%eՕfB$E 46G+䳣G}麽&>Z$^Lj5VNGdD(6:]tZeZ'SDᮈzF<\ųOg!)Zئf@q47Q%4?V'^[<0mO|cHJ %ɗR6~=$5daB/V#ws|_t0Uϖ$y'rXO7U5OA>-|S%nࢷ?_VAUQF5*.dV/iSNY0M6nF?k8Hܣx{c<_=\iSEAǸnW!Ź/PuKqUꁾJ*İ FxN/z藠NF;E I_.?k2Ə)٣G g:=ViD\],OUxvw4D-P#Qjه*}HH8bAU$dd=,o?; 'Xq޷ʱךj$DV.&%(%KnK0%M lmP4/'U] l< %+LY:,#_ qr@s ,B utOt))D{Bݎ! R+u;e&;7NB\>ZߎyXPk [="oCz'J:^zk[nMcp>dO_ƈ{gGe@oخIo o+ɦwgͦVkVCO4a|ʝJ ӶX36ї_iiyOq`[Hg['=7|,X>{Ci"k@sL`ɿP!Kg?~//T0秕OCBAex~'%?>ԶY͈O6ГD GFFrsߗJwLF׹K|8u !rpsπPE.PBSZ fg0_C`{RU˼HQ r 7U/W@=c/uqI Jxêgi/y%͏s_ 7M1|, L a%\ї2Yt̹o`yx s Fl4FE7 2=ł%ML _00c; o^)XniqS[~0ٳrHCxư?u۶oYiTԻ1JF2 D啙`MQ4I`@ D2:]͆j.ﯲ럞)˾.|Z3=PHaxXxAnlQ]ʞ0Ra')f*CkȱgYZyLLt*΀ptupJ&hzL+<ۀoʍks"::e3cS1!}Ti자 (<_+GX7~$\U2U~u$5gkOZCt/KKgثђŢ<,13ב(A~o^:, d i)EFQ>+IM mDIjD&=܈tf迁g(/r}\Y譢nYVEbt0az|Ip3Lp>e_;ӛ3s "CZz:t~t,CWuע`?Q'KogW쌸Nle @#9HJ`#>#R̈́YĆ%hDԶYr7f{`Ta,sQCv`j!_4>G W#,LVBFB9m+䃄;e:@#spq~U75]VM$ٵ9`h2!Jx;IF\eQ-.+3.P%nxg^ې/}]H/>v«KܤUҟsF*bE`fz'4ELeˍӂ!hb*Hm}~&/79xcv &>|{SBUā+VՖG%ĆH 4;wcPhklӕj$53aE*avh)4|393#s2|y!t'Eh P Zk=&er0hжov`^pKD>HPy.W;+!I D:Il#[ox.죢 (}+58Dt+81 mAk:ApLث5# t-yմa׮ߩ?.Ca/ZQ(qhD0 iGYg9VqdXc&}7kQqIVyH˭R1C1+yBJ{]ǼOyjzgT!Wn 4QHVgɕ8^;2w~rgw5ȯ+bsUO5|-lj=!O x[hѻCeCki1zKvxƔp-3JʟH/@kj舣9d9 8\a秇/W}wDQ}ݭhFD˼Ҋ~A 澥XYE*XX%rwy7\F9.K|lQbb,'im(5*6]_k~ˤP{v(GVMͲ/ZCL+ϥϏl8܍AHp PJ0ʝUӘ8҈a\耋>W*t f}GV~k]oVx+VA AZ|8zuA6 ̪IP~Wu~, bgJ|CB;g.q|$rN!o9ed5zl )}/ŻQis?> (6k$ : xIiDSԓnF<2f (m)s`H<:Z1D.Fm4ϋuvN\?(:+x0XG>amOOT0oU7NxzF8 `AYrh QF / R7!W4 -`2nLsexMC5/lQGC"Ə{-$s1| AɳXPL.A??1Rĉ6 'Of^DQ^{f3v;[֤vޱ6x %t?>d؄$րc픺ʳ%Qz/!ЧC/@}%DCkqvőW"swip$o b(,uYlWÎDɬVi q딟ѦKSbR߄ȒT=*y &9 =RJµ4&%#QY,\].[D($_@݉U*il'x l&zT{K%d(,b8 I)whRWI(37 W^v^iU)w T)1Rd21!3 %Yu?N#㹌 w( ?:`{`}~ <+\H{H}רzr؝141pr @*A1, V0-3!Q>E^P'^ ym#Cja<)s$*m~ުyFCD˹2xmsE3!z˛#Fj==TZ}txSz<}֦JX̖fTphI!Ml@TnZ99^ظbW<]"4MJVN8JSIO=v_6VL?م鱫Z?R_Jv -"vܕ'ԶT*+h,7`ⷵlcU|di0YFPst̝pp_nUڛǟ+ @n*/1k RU:r*VɔCd5Ҽ<7~]Q?x(r9po|f7b ?g. 7dJvb&q=vh֘ʽ2EܪgFa)QXMi!"V?`8Os0.)98Kz)*T;pb\b&p{ Ox75~{{|4L|geeGHx$jAmeŦl z#>rF,CKD5!{ ݦ,<Efб|#ȕ;_< Ωp9 va4SljmsUv5֓+$+܂EAOW40&_;|Q~L8/C2Xߪ2Xc<^V8&WEmMCm]ӈ+"JwI@rr3zR"y0;1|8 +와{ZbH;Koh{7kIUyqO XaoD ؿk!I@~SHA %4@(@'dEGŴ#j>_5Te{9C2NܟCV\R'i6"m;D.4; UMSDٕWW p-#j#¼DzT%-eƸ(NFoK(1܏() y\[Itk:R|0xsȟ0FH2h=Q0 VąV=S⎾7J̕7N3voFlTzwRǩ>*&0kK"mV9D\J(ihP-!8"*Ux(l1]aCh5#[ޚҕwNEg;3jmx5ԏ"FJo|kiDZ?O9ZFlslEh4N%G\mَe+\g΃ b_K~ (PHdC^?Qn˨M[DHDW)ln.sZ`7A6J3,kf'0|y#KxS|*s{b@p C)|VV vkϡů%=mzGJE-_zgYZ k*ko/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'jUҶ)J̈́E~޽r֯GZz OK,@X*zɞY8JiSb ?i,FB"ϻL;uxf.x"r`h2(s+ܷFgС䨥5`.,7@KW!]h)92*{XYϺD3S6~f^*f{HuG(R.pNdRp^ƎsuƬsnBiQ֩ؿjRgug !+.Qal9[*S.땈8%$So4͜V/+g-E$p `_[/\t.ν\ݥ#ਙ(0Sln91AwU(wg1ʕ^N1IFϯ=V] ǘ&oUiRYl؎s5PdRQ'%2 SEw><]+*gм@%Pzg ~9ߏ䍑فrAL\ fF8I{/jUf#w;RoB8}HraFe4 .m{e쪷PagYZ/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هېH%\E[c~e B3W?ӽQ0&m4첡Rc Y&P&T4U炽pr2@2 0 OvkahY{'ns%+hJזrpk1R5y5d&_-ė4W 3;8¡ҽWԱp}~J9p {1[v(13%Y֚0 .`T#`gz v -\X'9CSh"u2" Բr".4 'xGKz u&|ZrQ~dަ@b2̀`I7yK=TawmtX96~"n)]btdCpջ乒ֵ[I+Vu3R7^㦍35,G6,m[̼ͤ_pu_wc_@\QR[j 2a$S}yP/c9Flm>aG%Ng@3#;Fڝs<}6,mBr蛳W)Q!y!@uhYBgrn'',_g,ų@N\7h&`O0JNֿĆSiDS.2\Q.9f{~V zkAh5GIf N'`2w'}p}=u-?9r?qnŋ3mыqe7~O7^ilpNᮂ$t?UHR7b^I2htʖ2t?mT6%X歷M;JW#Mq8tʤ\#Nc1K3D좿Jd}}Gު7>c ,+xOs҃LĊzӷuVQ 5&Aƽ]N쑯7 >3Y9Tx@8@ݦF?1@cS;mYqe5NRI&]Sk0@Fn_+fV"Qlǰ.! :gy\.cƙ2qM7%qsJsM`Gt㛀TTH L*0wq^2!'㗶 !f dd*rjZj*JTYKȎ8Aks2?.'˗nѩ 9[zqچXDɾ-c=s6R's$l 7n(aZB<ɪD!k텮WIڊ_ '46)=(ؖ.oa U5*Y54㥎uzB"X|\uT.@i! 9EƁ[@:u$><Κ\XȞD9ȁ`Nz^2u@K41#O4_V˴f!8{۔8vȔ9<15SSǨlC~ϝ%16a[8Z|XB…sZSd$7\,qz3-NJhd_ؠ B1FCL#(F8ꍗ\ ŊbۑBAEXp@";y 2Eae-@kc \6ՠ}?>2u HHJۋ[ ^NEb.8%/s3Q `ՀHPS& 7JP,m W6A~T.iRϫX`a_nd.x-rH"qӜ-VJzSŠZ_[d0@pR장y`W ~)XIȽ`]l'Ad.˩SK%#D:֖Z7VEF9@WB7Z:J<] ~/@8A5Oi+m~S}>p|x &eK@Q/(c%Al}Ecު~;lio=gJP#zutx!A`] V}jϊs'QZz`*q/H1j j:p~!"PPF\K- e-aMX[^1`xPzg8n[$53)^1&t&-I`N9Z{q3 Dkyp7#ILU$ سxӑPTONsO>mw]2Vb d~V{G>//j *2HޛM}q4{~Cite pMIO h bŔ#GGە_zsV\6nj-&aWsV!fYp1zW%XҶs .@gV5ɉB'$.L;췲_8Hd\W53-SHT'u[ء^ŅNW=G2R7`pR˷%"1T/O~["y׽_:qwYReE$[ ۷M,5GpoS@S$ݔ^ct=#}0;bOQVr 6bF@f](oI`v`D];# $?FB,:z>."f!4 F2Y0)w+~t S(5c,Pe1.dBrl %5YeIC†)x<Ɗ* ?# kFs4YOd ?1L拼A{z/@Ck:nUX]tVYPfxXԥ+.WJ#N;^Be_}΍ jG1 :_9gulIXqJf@wwҀĎ4)6L ȩ;bM_-\@=ݧd(kĵdV [\o,XƚEs@Ag5)*UzL{M;y2T$rjo1Iwpz#$z8Xp !"ڭH/³d*ՇIj)ENjt #L}[)&H%F%..b; !w4$tbHYjQo/nbQ "[Ch|l]6L.CI 6EIw$} a2d-{@!|h]\GyP}qԘ*eP[NIL"|%++6B_B%7M ^I6D9 [pr# .$-xIe%|Qdoj5Y*HI@T!N 0Codj2%Z娑dK[g3X#Ӭ}xpzI(+SXRW߼JSƑ`ooY/rP3^rɊJja$,[֝a SFfK B\;W{UP!UT'zBg=yƠYeu9_\tSp)v nsfTb,Q7"npvb'SzЛaˠVin)JMVD|\r@ko n6CPkKe>}vR .$Mb:ʟ -}g#Zǻ5⒣9ZrIVq!jozĆi.w%tr!%w{.Ë\Ui>f(U 'œWJ%6El &=11٩AHD1oU:VC]3P{<}byn?dF]QF$ScNXyQ*62L vˤ6ChH;z"y C~vөO?/WuϺoqEKK\CAd:z`>y`Xf]&ni*,2[ٚ81)l$0[8vŸeJMt"V+!MI56Vmb7bġ0nU18G$)%bl}di ˌL%E*BУ&^D0zR9߹L,L[lFY\{- ޠL0_-‚OVWxx(~nEݢ tU3Ʉ SugYZ Fb /O# DHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! A[]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS0i`-=.-yqNݬDecoz(ІIZ)Z¯Om|+eYYˉ,׮AN|6yW,9.n=xe},AgqmAVj~=*oLCfT ~fz{Z'$}x=J(}iT5t6X~~űtYEZ,14L*v0յ>AszQw8nfWf A{t*\ञPyi8RSŧԸZ71Or5'\XrΔ\>(;]btS!_gcVf<͒* % Xw*!o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220a/O# DHOL-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 3kJ\AQTo#w#T<ܦû-M/rH`!{W!fAyuy,?7mMNEad'H;FunnEO*at^+kDŽ*TUN^;;i&~EY:#|^會:ӟ#K4y3ms1r$ؓcmcGŋq rQ9b] dcfB??}OOE/Ǯuc7yxm#T)|m[}#o1G0p귏 :sãS'06@$HDe5 'ӧU+!P*jGaH)'5߿*&@Sv'2!=%d]2qU`3u3s7BQ# NRdD=w``q}|n9ҤOpArf7tߎ=~SyLiШs,-u?8׏߆WJ{1%n*R!zMڿந˫2wF홙& T-D&^261Gg#F2Ծ~ӯ삹_ @nՐ x!$ xDxOiJVo"afEx2clz1IET^Q*l&éh'y7bMK+rjJpxLQb؈c>GƈR.b".˜›;XCs]URb D ذhxӲF>цs?&)L GE$lQ?h0rw̍5odSGFOw+j1A_LYH)LIHS+`~"V߶V.KOUtvE};ͫOjh,S<,<&u{m%G L9DH.nŒ 8%$.*oIwn-.Pr~޾nSD݃UQ9#j53Ҁ<2U0n@Bs;Ix Z.OvI]0)63522ELFSks!.Jhk#Nw8z?")MLv{1g\Uƨ4epN7d;F%~"j"Hs+x;q.i/d󙿟 A_?rNtNaZi;ǂq iv'̓zz"m Vۏ16B` “Z7x'A34xfY(1l,kY >cu< ?,fL xh .UwO1\F|i阩2`F~HanD$Цzif+8>LDtSQ0 w;]ZuV- 0_ @i64p&ϐ] D{G3aM(h{Zj[9it4Y`"Ʒjk.>`~֖{>sSLeA I`S(8Q)4[v !|Wnn{׾-?CM`0 CΪd$Ρ,j"Y4SZpٗ~);qX/JwbTdQy1V%\#:X(_:[xqJC?&UږD t-%<)'nyehٲա#Oݶ^^3L+-c4mJZvM Fp ~f}p;L51o v=p!E c Y2F4~6q9trG&X*{9x⹪@!,i3]#JyQKfx+fAЩS2s-"EGS*@@GE=po\G@(/f94Νc k45PzPd0ut)v)#=]F92Sݑ-t5fU1ڠ8)j,}51ee; WVg[O~tc w Qg!H%!ck.LNA$1M5:pgr n?k`s #ռ-&2Rv5s&W.+ o?>}}~FiS80[{CG )&$ :l"LY Q:M@N| 0LxZ"פAi<^OMdC/_ .́/`8yԳW&V|bZi"d;karѐ!n*=Lsă}B4ji3Qie7|œ7<҈}>0Xs!) }ȎܘE4ά+I,~ :Ö 95n_xktat=sT&C[X ȅ.a9+Tl瑼όyy8A/@ʀY.bUW̅ipulC'T-Rݦ!f*PPx-*c)g(=, D]V1Z㼢x!&M54Dz.|:Eun&+""pA[{r_i0|AX!T1t9ĽX0ӸEKB\x܀&PlcC]eD0o@_aJ n?,v 44;w%e!lH5o Cb &}W2FN dPX> -Sa8ڹx7s)\O,V 7WJǥ Ԣ!e 9 {RO[kɳyu68Y#ů;jDzHS x \q?h`)^B;:x }OT nVDdy̔]Z=g#R)ct'Lqδľ@^iH~a B&{Z G9i8ALRi7`DָnCtBɞ{ܝ[Bn02E>%ޖz^Y Q f,]~`IyUZL< Nͯ2ɩhtt4%+6/sEmb+E_`!˳1 ȵ~{;^tp$;T%%gr.>T&}so%G n=~^)EL,Frz^C "nO|/WI`+H" g29;eúkܮ:kE`],=l>/Ep@0+\P E_'HݛBd0m-&Nkt׎7>-#R0yUAP~dGw,memkw(A쩾okv--z^ߡ/.^yHѺfx ΂K1Wվ ">cS|%׆xU!B]^)~7]OSS7]Eˆ\qN=ǾQ6m1NO =ԛLF̪2:m@9*8h R1PG g[MzضBZMG@>1Ggyzag|ɖ*fW摇;:˙V?v=A1{!7De&oXBatQ}Kmv>ysj=cɏyzv-9}ɏhHlģحgk;wޝI&6bQ*[PC{̠U+ڜ*6*ʂ Y:@L86^Rnã'$H9(Jt˙a20 *W&=qrʺ1.o^`. ; 6#Cyp ]بS 4oHcJZY%uz\vH&`zH4]TH:*Fdi횃Β)IJV.;G?g SāHC)p8tbvW[P8}n.SCؕP/׸#S[90>3;jR/kq ROXcLzg 3xO,z̹Pa sskR翡L9Ս.~MC(¥ ` ߡŐ,y gum}LdӎE"C:%e#jIzGBX/!@- LN}?{r8 Y3W (xcUq+= TG.d!C:e&b=:n=y'_-Jh9jӓa]14ꃶד);âN(Mkey.3F#.npT @4BdY]'q_zN\GUѾ X.glYd\<խ`A>,P ` \U"QV&&,hbT 56~ItD-HP^4 W.0@Ñ?mS/-񥔜tbM!`,3k9-ѵмTʨ=|S+f4=AKp2;dU0ߌb^+ki(js6^G9OkYW:sZo@ #ORɫ^"5 Z; SУ @Nm 'V ~UįL\$>Og›e\IHVrJoRT Ϸzo-,:fp >Ͼx҇..d|㟕Zcb70[^QQn&zJ;\GF_vT츲W*vU*Σ.ځ$ >,HQB6l7)qDD'6nT3^2ŖC"弿҆xD'`yobQǑ^е\ 6Pt/K" hʰioP嘗¯-Q%2+ve?Q4 Yn!T\qyq0$Bi+{!L3=kXs7NYԝhAS+)G_),>=tekxUEEg sڕ W瞵['f!tM ZXNYiz踡tJ r4a\~:sQ @ͯSj(h{&UG7k]Gȋ7X/{1YM6p/1Ňvѐ&J%NA±|)I)W\@#*Q C.AG~]Pxzn&i? p"XM&֌9:Jv_Y rtr]ˮ}71mHtGt+{*wSKqһKu|WsE[3;fU˦A#B>FZY{gT&(YOPPVE8]`tRӂGFJ\ս)D26$bRuVU!kn>|+_YJ$آd0V0TYKRʼn@l jr} lԧX>3!._!)j0΄f+=BrbWnu"tZKLw<јc#AקMNH "dL>9=:.r">ČyGc|(XɿYI?v DHUP3~lZiq79~Q3暿KF G-#~F9fo70[{"jг`OE\+Sn{FK6$J 34%V<+:x6bU߿ivfPp Fj6Kcи\LӀpG-B~9@,T"oqz=S@[DI l($6(APHi##1\Y}K̲#.d'U~*@B;#7VW&gvy]mvo [11^$#^EE wVWوlBipYta Adw v9,dgcZ!6-Py}`ޅl$v{|峨5TxKf S%(ML~G$~\&Tx@F.>rwIUp*"lCGo4Y W'߆%p84_= ,jZ_7Stt=)1kGx,:cw<fԝpaӗ*Bh/N ܸ6e -(^}x$eKD:J/DWɊ. F gZ=W":_#Ȇ YoJ7<&'HŢC`"-Cˮ>*b0o@{a/60, o"6\@V8ĴLa!y bg 4ߓ^[ 9]ƱL4>T5ѝUšleI@ ?$ܬgS ,҆z6g.QYeWRj>9tgGaҷV1{Tu+KžbyR?Ǯm~MGc*1Ai gkWS,& ҳB O5_C݀NXK)7) zTibnC %ZN s5I^.O؈9֦*Bdf,^M_8ݖЍdI.\-A12KNF !6l,Ws[`0v8r+J2UXBv4_!GD`{}ے 3& +#~@r~L)Y7 %,ٮTW~˕h+cZbh5>6两Y`rO6gZ0f|xmsQ B3xEkj MkB,^DUXDilowMR?0m"{~Zt6ZBglggcOPAX$qHdnzY5w:sng$)I[2sI~l~ki|\[TQ0'JEW ɗ3Ӯ5jf,os qU3y}p\N+vkZJȾM TRl\!5lEOƽvSi/jݰ7.!T7^|h8Vug1)[ZyrNY]@u T|CN6R ɪP!PLR}6>مo- _CZQ (]" 0N e_Tb~Lu/$B=Ie5S;1?A$egZՃ SPK#c nyK*kLkL: t2)-)u;hjMu&SkJ8wDmb ĘD0ȱ1R_,,$^ NԠu*+gI"n"(T|⚋3n.ٜ\<-Xe2uw0*ݞ8BN<ʦBƵb|!6Z둱P̩#`*!-B&jgIb7@!dͯ8Ye!OT :F~qf~_e܂棳QQ>@WzDvTQb٬}^XЏT( \B34vg5%T%H-.ӹ&MMj~Q C{F_!yexb0rI݁~4Z.ҁ%aB,cusn"T\]QIP锊k{#zǃH$gD>]pbz$1Z9zύS]-Ce<żI'TaXV0+77I4ǭ&YGFLj[Ɏ}sey}3h S% Jɐh1g:":ӂV& |frNǃHy<4ONlP/8r@UTQ?Yb* Q%*V8H'gt=ɄPLG=!YNtT?ΛI`xbmQlԉȎek7}%]m zU }x NʶL_=hݽ1|Q< -ghƔx*4θ>띢s`e9&Yр?sOPyD!EcP!\V98pS~C+  Y[7U[Rv h+I?)쯾}1pigJڌ=(2립뢊<rՠo #:VyY:5 pW ț/;zRݬ)}'3ݡs]4pKr|&Kbк`$gгYMOX~mƠ2jW/3~g~eeOjzrQO z,n%tz n{@yVzg ,:幀~GzLQH۞h%Zh!4%50@jUp&tt[̹$ ErBNtf]R3@~AHbK/YT:7"+//J$L,( sת'o`2.PIU Uek:5Yim[b\m<gy7-%@Ϥd? p8#2QoQۈ^UUA~UP t%-Ԟ<ȆbTѡWVK A60uxD'd]t,8f7q0䕹 3O8i)> ]U&!/,JtTyw e"~Df^>Sqi/O* nSoI|c1awY M1cgj&&NU٩g$dk`s.Q\:A&,?o 'iKO\&KFH__)'y_;? <~׳`r9zXbHwGQ}]+:IԀ~w;*O܁!1Ws0͛.mӞfnyS}wEPh34j2j %\PE3dk.* .ff#7{g<`ChAJ|@~q]##gΠ"n%Q7˨: >A)\sI"ah!ѸBIopPևұy+dp-*PR6a*5$E0wܷt:-дfGa.HbZAӤi')é۱&*:xώI& |\]aW|#]{Fh:beNBQU*s';M'srJ8 |^pyW@r3l‡Z9d&9%qUٜϪWٲ7])zߺ`~̓2H PAeGJN >/R M5q)yLY8w9pRN’+)p $W|,*9rqab5c~AHNb<*Q5joI|d@I iALgjoD zOpy; %hć-pˑAh>4/+8N i. d!N[+Yf&677u<قp!9TԿM2d^Za4IIWޔS_!Żjchً+=cKua]?7Xu7ir6b/5ڵAEu;{N#E(pNw`3#2,>MgT˯Kd 353ͦRf egefF0EWEm"W$!qlݹZne8"Wl3HǧOnHm.io/ev9䆂kܑ l Hy bo&T#ǝ;Ŭ5z'[g3Aѹ,)D9G0\ k$^ϭkCAYLU[>poŔGT{=3D)yGoz53`ڬg4^zd-pFt@a-mG$sa|B%w}TXx|&BПPGFxrhD/p 8> ؁/9Q{cSoIؼAo<g?n1%3+/WGÞjq94dnt4͟B#~'cb^G':5wEF28ւiX9Iȩ˯mh _f:B/:'j!re}{[+ v"u?LZt}_>PMvy E/ݝ ތR{`enF ' #KU@%jB `UegXwDa(v;UG m#|l8]il c>?]Wk`P+H$mk'N\Xo{\ĉl2\ZI"bTW|qbh^X5JXS2vFxjǀ ~D6 "%S f"_k-+3ʎpUQ1f([O\eBɫ%/z!ub5(8|1h;ٗ;@A oYJK1؈YHВXteYB4=t&lս Sw`y] W&A!xˋTz_RVh)zxF0ZqHE}廪#:3*$kްu; 8`{^PQlWLCI /7`N76tcA B%CCᅶ# HT)jޙ<TmΗ ,m3bl\?_@ޝcgcdGJ\ys]:pn}JNSS[Se"bJ~ 3()_Q/5(ѷya\=pp}b23 {;E#4AE[ć7 D3{@fBcr^A[]2F51H/\͇"MNl틛\պ @,z!Z&-&7R\(N]K'TԡTA)<t)[(JðF&ֵ]F =P %l`ΌI8B|P +)r"iv-] dik騧BZ_!1Tr\,|?.фhn2mg/? آ4I,5&Xw y o\uQB>:c[f"CcqW[Jؐm,kmH =Z/3'4w/|])R1KLRG=ӢJ.ڨQ駒]Gt>b:oXc%.{HnK<,фR~Ag)~̅}s KSB0p9)_VҼ:KBU>CAX@ FaA4v8C6ene_[ yk kZS.pSrĎSDyf׮B--َ͝b{`:T{xBxl=h 1Uqpb?Eo,J7$ 6ܰ%s s̊UX3Vbairqv?2q>EEKoʚEZVA[@JTͩWr|h*WQ YU2ۀC*](-X-E-.N授^1_xyEB&ƞ~2LXB*VQl*D_1· kvVrHaRl\*C%l{7 y/ vLW7礂2̫8>Ua˞Az T|hEQG%<2SE"~[*j:VD눖7vPx$(2Lw>E4%tijA=lӤӦg'q+կ#L'@Qx6T~pC1uJR̹g*)elgHFlXcLnetlRY!7n;)NWEHg^ewՆyuY2VeǂiZmhz&0~y)]~(xdu2މ?.La,4ALy7;5&{3EUbћ,'03[9++<w{IH^+ C2azڴأtW*Y j)Wyp-0J VR򿔑P~(b=G~\c4$w-4A7VsKt֧MCPsv+P0+_ic:^!b׷E;Æa"T3[JJZ)ES{#D(J9B88瑁Ed]-q u?f2xe{fR<'M5R&02þP].T0PW+x0dCs C0d"B":_hnw>{s?D5}(^xpn&=fN""!t4BK'8p̈J,v\]Rpmǂ(ɖgqHId7NEьcΤ{ h>,k췃̘yɅ  ;GCS,5&]Q}*K,RŘ&| j2H5qm~dOvmܙJ4}j &ÇJ1ޑz:u{\v!$٪eqP)@I򹱜:B+hH7e+9cgj'JlR"Cx bY1p&z1Ev9KM8^D•x€Ud#HI&82ܔ-VjJVؽKYS]QE}dL3BKP57Tzgo@ax˘ Al{[A 48k!vaCY^<"Ϗooҟ9 xE{wbn.2nB֡]pzEZN@MIZ(,4+Tmg(Y -_yVa}?Eڊ2/FQ@y@\%#3`w;wK[ sW]/n(Yza@OtVin:.qXBa$)y Gr% +B[<Ӷ-H8; KcaAmZ> 0 GQ)fٌ~p``&^e.Ku^fO =g0o\H%`Wl4k*njGoF[vʣʏ^ @vXOyP?{NeaZB c $Զ¤i۟ӭ$W;]\2RGDl#\SN87 Ӆϡ&G kP~Q]92@Sm*g_~2ƺqW]`8B. Xϗ=L @u-0…Y1ӪͮVḎM9k;%3BnO%H 5Bpp nc6 )^J]0JzDlɕ5bb{`.$ŽŨJ,A(6H`gYZ'+x_=(M~wWS=G. st1"(˔]yyZSb[SIN<ijW 5w'ȳ*ӵ7{nI_t;bQ@/yƞE\}۝U"֒^vyu a>ڮS:|UJ6,uY=!z`+]pu<=r䗺_)R41:,* Oh-[ԉr*WVJf.zpԒ@Q)7_;GḷX(Ϊ}*E28b08⥯itBM-m ZdU(?K":]k b(]P{b&K=t"~ztB;]ZG}Ш#\z%ig+ _D9)Y(s6XYYP`9FjA_-U tƴUY%ɑ]&%󞒪wBDeuU4Ȃ-JG1YP _S ї/ۏvBqId In*C^rg לvM/yghJ4f aK)c=,MGsWωl^雸OHHfN$eNRy T(Oש2Bq0Ga"`0!<&6LD\A~Q} oXoᰖK19rK @.ؒE [iV)#߽*Xbb1ir661,}޽ɕE[E1,CXF_{ 4h y(E2[p{ "'w埭;|N㠋ͫt:LVףrA2Qh"PؘS1&VDSh-ťk6Fo4A=;Zk7%$˯G\HcJf,G)+bzuDZdsLL~mȃ"@r d [.Ēӽ95=m4 g={d5'QҰvP)b"}6[cDY,YK?ެIWFQ6EBITjo$QhلMM[U Ef'5F^5 HU(oF P;1zf!Wj769NTT{lf~Dpbm-uVt0ZSrP`$=z֑ ͮ@zD쀦KhafD28pɭ: 4!>𕷢HOH#l}T~kA@,$EBt2d)B6Z;#Kcp9wF? !RyИ$'?_:`\2 -<%ҮMo* r!Xd)ui顁?5g.Ї?ܒ#{d9-gk$?3:c5~i]{r l#% !f..$.5@O.739X;\wWȆ̄/n񹩜hC fgnsV޹9PwV=2RĔgN Z0%Fj;mC*8 ʌM՘TnܘG %b[ͤݬ Pk/rynY1f5@tRT؀|&dFNDjT)gKUDV!Yhvg2פN ﳔ?铤0 ޏǪǣ]z*G֝HGFeIJoT~ b=Nj!E]v37䆈+CE5cKպG'ṽ4:z F q¯ Y.Y^UFMpv?^|=m\f{Ę0+X(U8_S㢘ug!8~K+L_J'0cFghlz ʅqrxJgcn-DӜ}P<_&H$B"N6(y_#xţ&4j<}S~ǗXrO6K=Mh,~FU\>AW dfU6%\@׳.#63e oHQן;i]eط-oMGo 'gñ[mMm׊(־ߵz`?,P61$=iPR~\NsV >g /N4d Cȕx|NY;PVdvm˷u9$Jn6%ͤ^yjxB v.\t~b1W e;lƘ*|ʓFk.6J}ݶC̗܂)%p ;M#NZ18L9SFk٩-U&bIp>'[{d忶gǮ>;OKسHSYò)HXхꏖUF!Q8N?k@5߽O{b2W}>)wT/xf$dVf8f7̗)B\H` pyA@̲RgxYUWzEBp.Eڀp䠥e+|`NLia%g^d?4lb30ȓf3ۯڐN]']s`w?gx5CuMt|29|" %CU/m!@Pjړɜvf -OlnX(G)} [fB;!R&dU7#$[ f^=$qybƊ.Īq9f^L߅2yՠt5\ qB +o|?h,ҬDfE+첱#2@GuYDD_&äm0MBeƪ j&[D|r>>\`4dZ&_Ber~ Hq0'W@>X!R+Að^(cLӉM%SԎeϯ)]#\ s+I q~*I/uK{ق!=A0w[5 E%ۆ Ω]7( yV2T/Koows7P7&x,͢M gD4 Q ~I[{ P+su^pNYq9_1*c_Z0rj~*ސGQBKw{sNm0hᑈl:iA "&Wly|`^iF #t"D,#GwM ; Z+I*^д |,QJD:` GeD5`1ȧ55Uƀ .P2 R4לjgv3NNv_4.կ gLQKQ70(| D, 5b=_Z?T6bLFaP@ FkêR@E?[mț:Ռ[(K&(;;g8#3Bm\ۀI&MNj+u{7A S֚ f>gjxiɷ#,Mo1?dŗޅ[/4 ]B8qZ|j9S;ll< 72d )#m {t=پ[l!] C!φYvW<r ̸ ܥ貔,..` f\o!;̙ " ~ G0tJj̛"NdZڟG5%?i!eN%gW,[`$࢙'S-s{_>N FXكcEnXIcl- r9LRՊ)glU9hʜNmP*@Ye?$,f]闏28Vm}VdCU\,cl7@[qR&!&>1n墮UGFvQ=)\d")aXVUu`W2}pE1MY5sƢ[posvI>20*NOqӻIM[]AyvX1Z6R(,;rm$I{ߏ#CM?>5PݤgCY%8k%7dɬEo*8>I|\1ŸTG|HADZ)_bLrt&"& 㓅2TnZxe6/ȅ[[=ntj'Y-mChJ6Gp^ڢ*Nr”>UMC /v"'E_l? n|HˆcUmMjZ?6ز%#`~#f TǠU.;'*dCs"xC O :Āځ߉gxxa0Ȝu! [&L^c$;03&cS2k ]}ÃuX9_Mu4Ysx-ڎ1PG|AmT0X S,teD;+.`cSULJ GdPH;ڛ/"ϡ 8z(1k 5seB%c쉵)s^%OY[. -c} *`_ 6z<ck6i>oޮ G{T ZQ3ssNT4ǻ̩UT(A|MozHT 2ȓ>Trs%%!06!=L (?b"ѡ[0_YRXR_a0 Gu^B+ht3Z_C0MhT"'XlaN0&.qm7,Jq"hPO!5933lf|?4)P یlדVK"7)"@a!/U@7ͤIgW[ZÖi薢0xI`GRt5)'FrVc/lO1\`,׵%ɞ;|)|]>,'-:? 7ȧc _J ~`yH_D+N#kr6m-HM5Yj]j/PR?P&t$HAπ (#iB*$FEcѳ3޲,JleźF6֦h0 : _8[/jTx0 gƆgdž:A%?.qFx(/Jqmهm8V (`, 0.%>9. hƾrP{{^1)5&!Ee@{ C `(fB;8 M$NQl =jPV|%P޳BT}Kae L{Ĕ19tK*6NBK4aKӔG2o/ά`gn0`'P>hUض~̌%Ncfa7"]|tZP) ""0ʌm]Ez]|ٹiƴ3' U #ZU<-Ayp<-"' Fp+y :;Rq &bSx2ǝKR~*jE{p8~uXY0]byPmލ;q ԋ c7Ǔl|y&>$K@. +]Uy} N@ZRS+m Z%Mݿ.! o /Bh;:GzϭrS$#ިoSTfgwWϦXub-=ڝU." ! gd_S/LpЇ\I8`_+]YO>~9[NՕ#EtL0|USal,0.48TRg`.ѪΦ,)p6_&r0-\bqb9B:S޶3uF TmO:|K;b[Æ_=ȝ<^A%'K1˧U@D )ȼž7kLC򭞘'r<mpropy0yڋ&Jr^2szmMZ@V$]to?ɓ-؅co"BK W*9OgFg"~k i>`(4kre4 K` ˰ dLkDsqLYU,6a3}~aUco(; uqw(佐Mo'M-@(,}L3_f&1+U9bg ~H^ǐ:^kMQwC_m/֌:Lъw9NLnt3ѻ_ g^~E? 4sXq`ZJD@DbާF0` dV8K_1^ճϊH8s7(zDIOz UZ9hAaV0kPDӸ]<rfcÓ6iyiн$B9{NS%Y&trigz͆^Nofx82B*Io{'5ݏ)௝`VSTm qXΝjXbΥ[0"dj}hHjAQnsn>ILhO$b漵j;᪫Pﯵ(EЋ*q\YXf9z MLK-U@t߻K^OZ%zv#cY )kSmhF, c<ɦ.7/"B+5kOHBFu/u(h9y%z0"1RMN?1e5dؐ«{ "Ď0$"R5eK&5cC0iVK@XY KXhGK`\^<Qzn|XKߡG&a=;+0oE7'K4F3% ij"l~?O)X妛s%| i&s-^İp-D}?{@dQTGMwA?z9aV"'I%(|U˵:coaJ<`"W^]ߺ0ܢ݌ 2dy]A;ʚo)&&cuÉCfoJi\k{?8{ @hD/PP6 6.'^N#Xě2k/?5v:=$0I^#!1@,rME˵s䧵ḴGd \G-%T% MN@>o#JhҝW`Hx)Q M nnt{Xj—ezkE1rS!;+9LCXYlf̞r JHs:c1K |c|DRwö(`Wk{Ps. *S+ KbRe 4CډG_w#*7`{)1`Uv$ ;ULa6ѶM:<9g1#JALAЪW(Ty0FfY/^:Ϭ4j;QכkTc`ŠD;SӊvRl,% ݁tIS~eEfNQG;շNy{/5RWz'QrWHܤuBQ)=EE2U^%'3c&$yӄILs]L#~/?-_3BIߢ= %(d7.11U+)p|4\)`-zrjw SQ ːL[0\" <9WN~M=&ZeV\}W( > ^$qCV&d|  e0r1e_'\ʚRH&ԐBJ50XƏ{!'靲o {s&e,$#i'x2,sKX_ZɈ[_Xth`CgֿQ=/} B+ݴ m!yG/Esk~?=HPwQTwgH"1uԾD3ե*]ǵ NNK[c=G_̗hJ>_eV^,=| dF5NRzC0 zf`2d>;gpO4 #" >q RzhMhAl5q> ,DZ5)Mds\23$^x3}D:>@r\}R>bЮѱmxgsUUHlxl$I3s{e RdfP k? ~XBrYp#1 vb~%:ggRӝze-o;g%pn5rnUlM;in! 90ou鳌`f-fyqDf, ]r5t׼Ch4هcv~wGBf05|07R[( }2]" G[8ho|_![=sG4^,P p,.{Iɯ ](\UQمa4N[8BAN&we l,2Fxg"/)TPz"8d< )̋:ؚB}Ty}4铍㼈GޗqfWO>V/V=,,(U>/V5bEB[ Qp32[!u#Vs];#إ#&¶1#{#ez~rg՛v>WtNz+v0V35mwƲ4߭d%X?"Ik[a4Sx[sfN nМȤ)H_d.Ӓ4lEߡmKdw&P@~ nS$?;aƾ~1`FHtUىY4=7m"8Q,Ϋ.g>eGw8jSS NȘZ45~z.}Qnu/$֨zE慴?9B%/5~%y.[w"jA+J{MX&Ғ߄pc=٣+哦9)f.蹂F)êT6KO6f'ܠPwOi \f 4edƮ({5\/rNHk e =GbDp:%72͕S|&blw9 "cV2^cBBoPVjtL_7bG*3 g+73ʢ!\}O*`NSo%-8^xà8`}p__tąu4߽.3UDϲN#EJ:@LZgk*J P'˴eom,7+J1vGcDo:QG~$;:2LI0Je ZhvQ=oKխ b)Zfk\̅Ʒu֤<t\wT_Z,eFI4ɚΞ{*KC֨,jf9*`i(;n_w/Za_X|jzWE#ZcCZU:d7=x6҃ 򆮔VѰ*hT<-o@.]b YRp6wZO귺K㍩C t, 3\\ueTo0gѵSdu/s)n|^LL&:F!'cIBYO9tzmp(h~o¥_HES!3( ިsEQMSGaG=z Oy'Eq>* Zi55Op)N?9\MIH-N9|`Jf,G&\UM8VORC_@r/2- AbBΡ}Cآ+ Pz^I?P1l@7wY ޅTqr6H ញZ&Q!3 ybCÖX|iOs8 oBAVp&nq1#, Ha%Z PnJwW?2<,߳Z%6HNC塜76,7{ ObBnzD9Shjixש^~;YNh{I @77,u<~YQ]N[*@ȇ_= ̞mjjSD9I)(=A>ϸOb8nꤼ"^T/Lj6ܱy6 4T3osy`8rqHWVn&c7MoGy<ޜŝX'AlP%zv~{gYfő#UPxy$AZ zkIό$iL bHfQ 2 bWT{yTk4ߢss%UWyL%!}/!-JD|JW[^It˼4gE0%6ǵv:8DznG=rjmL(ozsqPy{7'6/R.9ohtGT,Vl{8)RmuH/@H~. .d?YMW~NNg;B/Q*:GdViwjE6j:jӀ#l'}tt&=qr+]v$'Kb MPI0r!ȽoO{oR\,+$"W.~dZnƼsn'y:裹98RN04_0@тV pk%!+4fG{,؉ 5__rkوw/]6'#C dˀ9F(40{:D|͎gT6eak0GqAs3{)  IYIU3PC6?.Gnicn^!JLA4h܌[J+$5@d;h QAv+Xd%<-0[ TWkJf^B"<8 'Bxg[B#O. uB%C)=_Zq2M[`[#eJiϫx脐b0?\=*blR}-i[Fc@WLۛI]3;B.=@sS`+s֝gN% IR9j6+ܑ5b.&P-LqPYR\ƫ(RNwK {MEG[/V&`cFUtş^Ѕa2F2EvE5(?p30ZVyQ8Att@F>2c-!*BfQkW)]ܭZ}t 9":}W ~FWHW# Y:0!7 σpn4e4G_ h0 SHŝd_ %ԫ:\8Uk9Z,_/ǹ6 OȄ.atp1 ɓ<@/5*}5^">޽iZi}ܬl5mXeMZ(@YnYz~KP8)H%Sz%>^E(H+3AO0.Vjqo,;r0M/70'z$"p77D'\-8h4]0ey5RCLnV32ܺ~j"[Hrb@%3}KbgZD 1APHY/0Fbdig>=|z*!g/"qLHQĜglNKXoVl ,ݯ6&0-PTjfQ?t,yUfdtdiMM-Ou6A%Q2(.$`7"'ĴM601t4@;˧L@~DB ^7"$* X>7}9hEOL[LdwcگJ/J˿Xҳ 2/2Ūv{<[? _J4Ye'u"[t2/N3ֶf+=fa=.zB,=_ڌ{ocG %תXmeI,3WI=4ks;vz쉶7ϯ9QYޕrp{Ls ׯDwL!qdxM] =~@ *c.al}(+Lv붵~5ryKl}M00Cڿ-&})^((0gZ(Dp rrubiZ} aX=5h> 呙wP&OܻP\vm&2"^O7%V9#!Pֲ`K¯wEE"rU'Kیъ+2}:eB6cJp[7ɜ+dx•L$pi /]/[bK]߂-Oh] ?UlI @ͧmTz*Fĝ-BEKE|%4ʦ k_F.aT7Uђ#ߜ]1p;$smkْ4?'`}ZjS4;|BNN Q'z 鶌cfreWHtB\>LS6Gi8tAm)w̿ :5;!~o+C,"]ͿQ.+dVimTD0US×.hy#c}YT1"x(tBϜp>P~ÞF9Z rE+#|Oۭ@Ej ]/b-ꗱFDI5^P6g#ᇸko6c@=hbDpY9p\uU g!wR}^:5QhZM6+[X¡(lnL35uω! a[*o3 XcM=0+D=[SOESRh4ߖ؝2L=1\X78o!9w,HJv,oq}t݈ ._w}8hO+lE   zv2 ҿfI,Nt|q%Ip`}5q@9 rE7>Gm&F2j鶃پ4R]ERwgז[V]N 4"qD?n= 4$.8$g \34>yTjc8\r,rզ8 3M1@tt􏇧րgB'UwyWK{'l;C"֋&-n@Ş:V܋%-*/?`ٳ@G5s;1df{:Bg~^9O] żqȊr"64275#EA=m+a&*j -͒@oG&e_l+7UJfas7JOki/=7r`y,g{RSׂc!-[z'ECEi\G݃MV~E ;Aq;IHҳM+1wqMjLXy TOcՈMv}\Z>Ij'cJa膴·9\J!T>isc0׬t꞊繓#h](ieD(Rʙ&T* <;=kF,z "5IS&}Y&$Ot}-Ieᇣ%:YRd$9}gqvw)yڄB3(捡*-#Tb-E:wqj@vcuAn|[[NIlR*%>2IOyyje3T5ncb @赁}c1H>uD6XS$c̡ho ,<\ZvL!]Z/H\=@HZbihzT1wsqԀ]r-G <ӈLbf -ct]7O\_% [/?[cr}(;M;9:U읒=v>܍QǍCE΀,9RV;t9<g+r k9CoZƉT3?Tnl'v9ģc_etc6/n"E?8VKCuC$`X_/^;aD ]ٯ3XRr_)t9;zFI jTᄉQ { 4,XԬyO*O7zj06{w7qy7F d祿Be8+2Kڮ\tQr 5KX M Ph_b1d !"\E{Wy{qdF*͙:EXQ]Ր]D8g:N ls7oJJ| BB—iSB7da僻ڟ|}j8# >+~q-H ǎM|D:?^JCg J$Ԯٝc?sy_%*؊V4?] lI۲\" F6豼*t{}HOs$ _ 0 T+jc<gv ךU~)Pu9+Ӡ$J^_:'e\gՍ\нR_T&+f}]?,ºyET]7)Bu&V*blxw /b`@ D,<,ʏݬ݅a<9vxxUi/;hS"R,yTlA:n1wP}ݦp{İzQc}9N y;^?Tۏ_^3YgY3 B?O#jtI&piF..DWH #Uh*Z-NOI"ީBo$gى+ѶsQד/Eðt< iTiE@\*&,%Dآ:F@/Ly\ s!GɎ9c)fk)2]{Fns>wS-+mAh&{C85'-(By Lu-m!EDi36s[G*mrkJmAtKL$3Jsjn~6{Q6eRw!G0O`l=W(*RBNvH`Cz1N0^*R{ 1z0dDrʻ-O=C4\LcG۸& Ɯu10z7]gRL`.ƎH!Cށ;l]U6vgȧ$UGQuLCvSwyL鴨kư=Ls=4sn ei#AO5qldT+5 &HوN gG]EθNa"?ſ@ ap4GTJ'~^j!T?󍞶XSMOrkbGj`HŀnIS--hQd7_FUA@A]#tUf>9(AW!0F7ot0m%!|Ptw{۽\``'I))ckk4qpp ޚlwoH"^Ӄs3]|tiYP: DP$ DgO`q2VA=b(hC4d Hns:YRslS @p9 xn}]S$< qNy }zo`F]iQoh">RޔE_-slLd ":|d?9wn8R33]?$-f54ONTXi֢6U3&/uqK+M'pE!8~0t>t?cYŗQ%$)4ev2xb7JPc`~$-`aΨ;Eo(9ayejSxªR~zl m]G̵h-b@s%XJtO}ecI\IoC˻xϗ%i.oZA'ZDWr61gIM8KpŒ4vU3L4'Eȡ7w|ڄfoDx^nwt±Tbŀ+2 ΦUc 0&_o8obs2ݭ]%8\_H'җ\UH. BlvKAQܖ+@FkM=EOn'4k{E5InoX UWA~J8?yXd VNc:@89Zp. lj'|aDY[B>Ѫkibq_ic| .XpISxP6.'LHXtyZ陭 oknA f -XL889B7z߾+SQJܡeZ#iY0B?,uFTj/NR{-l}7Vx84CRi[،(V#7@v"ki;U¹9]o؊;έbRUY'1K]nYوAs$T Re*57CM[?%[W2Mtf+7zKSQC ya.si-+ $` NtfpB-nn`_V͒p{SA"wp" _"HS-6fs^0JK * @A֭1 )g(DO 6rv x.._?-l{E3RUKqUZ{hм ?)5XU @NV 9%'2y C:TTm,1w`:Z3' |ָ{@/  9m63_ɽj|TCiE QmTu t~=& T+dCmƄKq~rıVŜP7yL`8ȊS_][A&e@J DnIlUC#yDVLrЃύŞ:̶}mT&(S&XF캨.j:)a9j2K2_*$k,^M\2{-jXԉn@*Na!4쾸Ӻ) _E#h.paafLQ\8ݹݎW!N ҵT 9p^#T  a@ֻdF`嗀ԉ,yEqFƒF~b %v߰.Zq+<1;?^,q>xɌU+$q}3ڭK<gYZ kqka%/A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files~~/src/HOL/Proofs/Lambda/ListBeta.thyE$/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id212Z#/A18HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citationsMatthes-Joachimski-AML "/A' $HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$b1f%A(0=\f^t6ߋ-gD=Tz\h„h]4= 8F:~h\h-l w &uB4u,fHKleũ׃bԚ-4P|pV?8M.}o#>W[A5X=xxBD34Ȼ0j@<2< (]ylqigX uW`.PriUkX~` =fR9VYms`MGq<,{ zw- dԼSg$+%k4 2yc{(mې~,QLaEƼ-[*1jo,LgiRxz(Y7qc)%OiCѨm@i6kӋEz’WQ(]7GA  G}{10ARb)QCU<3 ֘AAm=X-!@_GEA4"k4k !qDJrq˛a S۸ʣ6C]hEQO]coH2TϞE*^2ZƦȨ*w1BEIFCîgE.NzFe:!v "*+J~Tqg@s Tǹ5 ' h CP(4Iqq+XL" 3`QW ӏÜ? L?NZIF1ЇbH~^\Toa5RNAYے#l(ǽ,|s3psL PiB}}-χ5;\1<&!˶åS>h 6ŒnYmĜQ(=ӍT&:E#;CJ7mr2!#YʜU.Kض:(lJ-,ЕL؋e qJ?AJJ ڭXylap'ڗT.jpEW&EaB̞6ri< ʕ̇BW)ذ6>Ldi4q`x5%k}F!7՟tOb{k$ۂF<rݥf4:5D1Yc5puGV.ޔz,^OnjhO*4Ս|l42a3  ; ?0R uj`qP -6t܁'jܩV{(GnAZSeWq 퐂)PeV3uy!G*g'ցtk"?x:8G/K.{jokX5s*6kAobӳa&lNǗn$zF96Vܑv8kdnJeLхn1Dqeop["]SĢٯ^D$JWE= I96$;>aV&Gx{Ƞ2e BGCP5ֻ/rs4`ЃBC,Œh{ѽ5&’ @pѯ!%)("iD_w.y #\!_A煝v'uaǀiNI[:~OR-KF:qR)[pgYZ7˨D3`2Nvw\( TT?…~ܚVQ ֍d"ڪp`Vc F,JD:GHq-jN31j3a}Wu!'jIFA ߶O^q-eY QJ!^zґXu`(s>JM'K۪M7e>@RS=]7U8KPѫr/nKP5ͨ=4("8ᚄ:&5R赼kCرk r>V+.bY@oBlQe;,= hX _ Q َC#׊ܸv*&߀^R6CNl^r.d/M6ݡL$m #\GOtp4.M-?]ȏ#@=CM=ͅNW孻7^"Y iZG2l3Pim=a^y&5d{JBM5iZ22m qҋ'I{2/:\zR0߸`#=ˮ oOg!ב+v' ojrҔgG_f=~K3h;@l7+}Vxu)[|'Vwik^Y`} xkkh/gJow,F"et-5lT ʔMcdj@sDj>4ޢhᒆ#KD> VRz)05)uy9N_0e K_d(aҶ XBˆ#Rl`-JTs9Wt[֎*YPM(%j#cMRn3a~lTJds2x;xS|2E p}߾9X ?2Ӥ1 It[* ";9|r~1mydP'd.vͥ{[Gɥ)j~ =<r+#,P-cn/7vO^/\o_)S'f0`<`p6{*ޥ3yjծ H H |"`թ:,<bK i *k U(LNz=f[ ΄,$Qxճ?Q*}'XOHtpQ*H p"&wr@,dRzʔS3~ ci1~c5:#s6fb֚ej/كWd}caSqc0^,q(< yF / oq_ŰGlԏϝdO#WPVbHuj(KCY {\)#""ǀV,]tHc1b<sbt&ݤ+튼/Ý2yAdL`H2e_:=XCqf [sC8gb ;w %;mBX~R+}`^R*SYb$Bim˜ԴUHdxݗJV"f`:3+nh8tP%GZ~6W"s]SQV@Np+u${<(,uxp 4CP0: i^p%vIX~]: LAu*L,UuVzGfe-о P߱:=^CpO2KHK ,Δpnbk 3uDbF|,^nЭ$ܧגͧ=! )+Py; R #kr@FL9EmxeٳI++K?`zp֛)Pmu[T~Mb=윥JP6w$.G\><c-#87qP*:CmJ[ I'Y%l"FU3]G>^B )UtۓZSCY]$I!F鮤齾h-|BJbO*ty3d/\~xDp1؋VΤsţ0qW^lu[z}t^%R?65ϒ 4ӫ5EZɸĜͼ"+GG؍S_,\*3Ƴ譡brM~W!ŕ /.N)ee7Nksphg)f?kǟ$|.zt^Yta/uXoMPdjUS zԵvjE:k-.r7@5_~#8Z,Fru0P]ʍ&z1L2rfE(59|~d;/^rOFI1 5@ݿ1h3K(訓p@܈ΝwȌskhn?ϐO_vS #^`NFfrEa2pm#-Vt8_35J)zW%դC95%%~c~?o&J[٤D!!A%=M[m%(Q{baVtL[(; ]Rd3Q'-]M9f /PŊ6^萍AdjVl8 tMޤ3ZD:ѵ|1 ̴^Ҕ-Ë5̫aQ/ֹqiAytZMQ<,=7¾I+/?'"FS r]A,6v'/ᝊ"_uy*o#Tl3g6|iRE&6_J[P8~-h.jeI֝Nc.f{$Yv~L#OGӌݐ=Vʂv7e)a eӸ9BB=O/Xmh&3x@Yi}y Le'pwX-86xծty=qP =:BM#tw'լ]DV"rHZQd[F7)5H`QK%di>XqĻJdmzw`8VRc}ɿJww_tR +MԮ I_MҤ/- AyO(ȳ^rB]-'xFkv|qɳNz?b7W*,!6j ŻFTd 5/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ΰlGUL9ʟWO˵msZsl|hƛ,9is*ۃMbBiNWGkyK)GTBf6^W b8.7uE.LHa%aB\רjC/{&GI&f@|Q!B8إBC3|D.)W8 xqW} l6j&79ˁwF,!z+~FHS/"YxF?}#QX-|G̡)Pz.;lfE*ʇhޘx1|$o_4ܤ"XC|6'2G`FdC*aHƃ͎],Zu[?NU?Y_E3PI07gU(y)]JԭhQu+U1oNg2W[J҂)]I4#el*{$ l#\I`)99rC(h:~jټmS `եdΦ3IJn.f`)hSg{^M^V7?GLn@D19o $i2J8;lNj4uO}*Zo~ j﮹^]8L9Ay [#򶑪T0.(u?P\'}TpoANf<PҰu^5ܭk{/$Hc3uY3.:F:1AYGi묕E<ͫK$irDqg1δ6e-,-5ADž-Kϗm%dP~QiJƴ6$ISr>vQ&.Qo>muT'vNn%4jQpT_B)DruE^t;e𡃸1pc#$$Pl)wа|K&%)d.vmYW!qB 6u|OZNͺPUS*YD#bA.@vgx-|-"] Y+!WRUЊ~œHAT R{@^H[OJ$ԏWRfhˋ<F0ӂrt( /,1[t{v*j4[#3F+b+C(Bk8h6-/kaxDV`nRyq<ʡ{8J;~sT/sU_lѓ`%|s.Zd~0mNĜ6Uɔwh>dsziz4m)Us y-AߢFXJWљ!5@,!=s!_#PdHHu:\!*$&1/l)R)AV8'3<[B=|RB5 +JܿpUyV( N2ٵCo6 H^bYKjQI]lck)5f!͏%( t٦~%q1R֞Iǜ'jIsrwW)'db%jMjrp{ӇStO8exp^2X)n4@G>?'3`WC9=`T#9|[}Sr ]IO~k o3Kzi6mTZ !?dj#_hѲ(L9hJCѪ\wr;eI4֡Fl&9 jP*D> oYtM$*#@-JGڽF -x>".Đ"a}Immۼ|\~(yvQȠ<~1p>x{ :0yyuo&֪AgAz~Yp`K⺩#^]>x?pWoq WJ0,y$?k =onRB* ѫ˫wXڮjD*KH ȕs0(C~K!J۰ LdC*~FiqGMN]A-9/7M !x>滠  *-/)X1s dSpJ&{MvJ\j'xԱ_e{eWuEVWgDsɜjhIJ\6eȄ.?B/ ȂfXm$j}bHh4w;fMH!^ b88)xi&*bL^" -7iV^q[/P W8g) '/DADSa mҸ~S)GҸ]sB U97+1ٹaMj2px=x (#=Q8nw.;㧌mp]GprQk1o!ʔXxh6%Fpc~lz@rSbDkNmv zԔg 2,G0TDj9n?3SٽR :VfA]z 6^䃑xA Q ӭZ"msᓳ3بHe'|ʉ1qk@@ͯO$Be" PH}aܠ?^e^x+|:i"Tfut3 k-3۫}DÅ4 cAar$Ѿ|!~sQ% 2.9Cְ!|=uz0$[cYImI[:?S} &qHxM$O Y1s畗s _qwmYvQ$:B&X)7+r V62~XiBA|sq%~XǨ .䁥 m&]a`+K?N6NSGN3DKE$Ҩk>}nޓQRF[hY/@O3QS<ԯTs2crG*Tc+3H=Hy)Aq{})ɶU8ֵoW 5,y ATȇ7YSQQl.҅n1nC&ܴ|ۚcDoK7Yr ost0wymE{vuNڂ)DK#`]y߾Z*ME!LV%&{ 3-Ga곒mSӶa p8H \uDZՆ)˞(Ex#eYO,W 6i#‹K; TGy:/u:6l)_ahC MMS\ly<5 QYluhw4wuDUQu9Q0O7oY1vm8bkh7ʭkh80n VPdV'!RV:D~Fsnύ) T1u`MsOF|+6r1aX< BNa?㵲 0u$o"{+SMJΡr4(ȑ^L k0b(bҶ vy@LCBd@Ds,Wvne'W;~O/56dTt x>._S2ʴDš z vj58\DEA ?nGoRXV&(8J![(g9h(~կ a+<&FLxLjVs{j'ˠ }dž05i0OMƢ5\}:4+]s`hkxeys>P2իpߴo'ē}1/&9^gv<4/v\Z01?Ӛĉ-`X!Z)ͪxL8 <*Z Iu^!%8ֿy4,8ؿev/-.g8# oyJ'/;ƧQe+`;lp-Ŵ_0B8P˔i+:"="ZG԰e&|q# QR ^oC\:عiG]YspX/rmhx?]QUJEe&9 }q0vɂOP (ـq] 2?nhw^u%6jN|0Jjy`?frn9< @|(ѣ`-z762 $]D6$_~QM+A/đPӞ \UEhd\Ru[\2mh% [.Lv*sUyZmzɞR5CW{qDXr_&;cI(=|'sDHԳ[wux`%qmpw91Bk8ț,{`,VnFk,w# ,qfARM= hV-N|]@ yZ:qu ?Ƒ^E69xOyJXˀʣb>^1^unC@m;it2F5pvwp ]%)$G.t=-he=nf(â8SuRGNgWTɎfmT,z!mn|ȣm%'f}:Bì0=Lm4,HTu٠3h (LXr _ GGvf8բL!Zơ sKyTev+"f9Be!Fm~۞~5T`󻚵MkD?VzV}R9˓诂MEgƶm扤3P L:Zi3l#hTHCDq -sx+شjjK`F]ݖ @gqC 6lr>攨n:SwCxYI2yM,0lNiG"2e7t6l?Jb^J?kzJZSxM#ƨm0&),4?dXNJ>'-|ļR4k,J~0p HDillkK9v[o1d4[]'DO "y\{ddE#vl&f)&s~ʧJT7?v;[+1IGA/WtP9P'4HmOoޱZn7Se^f&`} FƟѮf䂏|0r qSÃ]72 h@)w )q#RT>jy#eyrLGqM-ptE[?lf[$tt>GH-Rf\:hĝOEBڒ]&u].j l>9)4@cn|F*)ACr\;1?BgI 1Y?p$n>lazc֠bTj9Dg6SUe黴Qaw Um2[ivr4V]@FvZR"XU10 #fX{c|ͼ m 6').%"eBfbl|0MQhui TR8)y [{W>bSh, h6*{p!D黸EaK,OVהO%ԓM̝߆MDZjT<pΞ4V H83|F| Ys%!zZ4@e"4@HyZFÜB OlHOgi]b96 FT덌l̆{yׂa`y:Q8$F֫\BZG\m%iv2me+M>o ʓxZ1wblY!pF"^~5Ǎĸ3IL}UHickn2!NՂ4xB N?ʓճ/>P~íSGT88r6k.|Emga */W#ӌM&/#Mu% w΍xĢrk l?z Eϫ=` Y,~ˇRZQs(zk%"h a/Ԧ㺂ßy>9g:yTZD!3ѹ꾺n0;3o,Z`@+5UkF4 [.'`\CC,ވvY*rH0hR+mF~~y90;r,5b3BИx^X[vX$6V(}00&_sG$*vOɻ-Ws9Xqa%G|I.N<d%`}DQUΚ#@(-)3+tCB+r ]Ly>ڼ^})#Gn:\` IMܢ-+59ykWB>xm)dWQ?ҥڞYJ)+v rb№=ms쾞U w}l5Rl7EVG[XD-)wq";KR[faN2[W<ɿT&s<3姰e:Ic^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$Ahm6)GJmDdHkl`rHi6`OW}ԷĬolPiA T8'988 ʧ>*tt{ _4&=ͥfS]I@P!1%#:ޯl 41x!! rxʨu8,5 ]?u%5;wՏc.٩Nyfw'\PO'&!`LIچ8rP틉';0}%{qB`3`:fSf(i|\EMIʼnUIƍ!ǸcNC.Vø'UT33} _0O<=$JDoI?|28j/+1f]vY UOWNt߸^%`}p~G᷎1w6TsD:tgƗYahtnrۀRw,Mub']mi8$Hi-Ep`GU5$aҸ74$&\''$9NGFnrt4[z]֐ȓFɺrgMʝm_㱴$- Ϩ*G6SpQ< hlN)KvvUEf᝱ {ӷȱ tͶ]< F*|VdPvC' /Qei>K@)iC"s70r؆^2(/>/ǔ_^az: Xh C9 coGY2.4^5(aEhRJ#>"׻b!r8QqGlژnC+lgJa.}6 d飷@f iWH+k ([6%"tbԂ3'3VH&t A9;]iWH]ؘL߆w8 ⬌!j۟BH}dAjoU~|bYY $y [%,#g{[1Mȃ-EpJW3`o6u7VI'8&v.?<&>m">p{EF9ϡexV|A$r\82iOOa\~d"?<1'Jf Nb_oL0^r k>9~WQ> n_}ݗfܘ((^Bbj9\.Pq !O?'1j}( : HRns`6mpI8_} Z+D" xr`q'I.z *IW53õD'a;xdYMl( PjDB˺b1홉fuE렏+ƣ%L5gNhz*x'ZQ={V-= %ާ6*i9E=qYeP^|*9i řL9|vB7W;؉̃G ֐ˬC? ?$%^N4 jç6Gs-J'ɨ"NdG=U]UHir㼫?AiHFӲ8a"${-D~U_\;7-:EU{/f|l&JHzY^ѹ:xin/-W'9ڀ*h;݇@p_fC ʵl/Z+)m%EfN6|{8r Xvу=mNT-0I:$se^0jB{fjV=ǝhoΖd/8} q WrV+:7L{q_~sOquJ$ikěLC\B.P!"LOce|rÕ]5vF k[nn+2'+|Ls]nU P?dzʬ,* NS!"Sy9a(\EQRWêKB&k \|K?H&ƱװOJɴsF؋'9c{Aïk&sv/Z{`ؚgt屡T/ ]m4L4ӳk|ZS,Nhա|EիaY+l.[e6KSrb/na5D&MƒbGix#0?lXsGuR7z'cr] >xLu'3@rcx9|P}9̿x]qc[̄fN$Ɇ& [w sCoT~~Sa;&7gUVRm i|OUD\IL4M!1X%`lQ_Iԣ%V:a Ie(OH?y$^%[W3,Ofm$'G@,6?/L2G!=6 CU@c_16>gVBluTy^ oP"'lRѧd8hlo"@GxQo8wsU'VZ9害p(/}YHSCGCwaeQƵu:\CtX[?(2ݱ _dճAJlNiZ\F].$90-@wݰ&)vLR-! i"6jO?k lJWk  =m5yhQ0]q4L,L)̖*fk6n?;]3'_v6I6`<|`Fn j=qͦuސqr]]EdԆT\HL@h`tB$9L8͍+d1;vé%;b_'€Hw]1WrZgmD 7IDk˧2ILy@c Z_b3 4$(c[ՏHA/3ٟy{⩝~Vi3w>%SR?rM-"]uO:q}r9kn7Q+݀dUH|QEY$ ?(EcDsvQ)Pٕ:ʥQKNCvk &I{NkINƌ X8\#$9 >jSY75йa•ί`yB:q_c=O~bc;י֩!Ii韲R }YGWGZLD8zS?Sv'> I0 m 򋅽bfק"׌ HiPJ\ZU 76};cnh)j g*{ID譏NaD߄4wyL :pJSDSLm ԡ@2:v9()'`A|k!⢘S̾5Qh:uCf|3ⴺAs]&aeﱲ(U(?M}*׈/pD˄H?euW%`ϔHoqYA}HP<_2tA%{\(pUzeSDxmg=X"(cBRjxtl0D"$N,K+^Xő0*ς ƅG9BMR!5cfro> 'ni1?bӆ+uQLh]<( GDӬgɍ!8PgLg5c˸:F*b"* CMB-*%:. I%gYZ **K1/C# $HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! K]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STd|_wIA 3H*s6c^ϴ._}0"æ}n~!UH`U)K#dTJQN^xA]+d.9LlQR2i3FdaTD]^Iq$Tx2}Сtٜ$:製ӴtSc֧3@}-ɻb%Yil .{)TSܘ\R `[W#E6LN*NPpgTi9$lDu mszȄJDK) o8*Yаr B0X]0Dy'?Pۓ]| >'7X@PcPsj>13I=!^n>3}`׊0d$;lPtCCP5i?ng֛0eB֏Ke}ăQg"J0!w@t73hTⷵl1SZ~sTtϮxi/~x}0Q`H?dCn-?T%oNZbY/0b/9-I{zDnmX}2IW&azqM|E/hᑯ`9oi\'(nʾs*Xb!LHմ3~l7Q UKxH( FM[R v]SmgoPCw>R)#<J}nvD~x^7'FBJ,eɹ\v`%KCf: ZЬܬE90Rl+pݤJ,C6m 0?.ˣc~ΞSЀTDd8U[,5XA>5 1 :U(x@;QOB(Y 8nە@gխk[0OXZ]@îE6fPG z)R4NBg ڞKp>GP!WA=㽀l9_/ͩrPGjRJpE]fm?1x7t G_لC_jI_L@NHz]Rh;Lj-䘐WӋI@i{խXf`!?4b} 2Բ<^HR6Et3A`E\L >QTHd`d6 ]q \Vq83 rMqLG")O\D|ڲ𼺝u~D ,BSmc6 `ﲼ֙ OfiȚ~f:+hYzV%g[4K_P3k6>t^j[(Z J9nI݄D ]:Urf:{ȴBc虪*:{Ҟ6-ds Svg~I7ΘEf)SJ+/k6i!/ݽ JUf8FZj{5g'"LgCet]G*-r;9 GͮL0L?O ƕS!xtUE~Z}-L!n͗7r/pKH.=R`fυh6A&Foq_EorczǬ B1{l =)O4{}-(P/*V L.X^g-NwK" \הݍ~O4Qкmf %_?Eq2 r'u_YlJ<ކRKZ73LYgKYUv k>ʰ{/G5.ɔ:p/Н4< bS+JI:jb7,?¢^+jp6Xj-Dk\E2\Tv>|η\Jk %s) K7SACkds㏦23Ύp G4;]F^;XH_zJ 5E剻)p`5E(<ՀYklN3Zf"GL-_{SUNo+tPJ P !.j 5^Un3=K\`JaCVZtLw ZQ0tZOj2un֡ϑ,1O ww!p[a;;;q\y &BiBWӆH+'Ԑsk^##5_}[D< `SМ?U'7j#&[ёaX5J8+O [Ef a)@1m@ 2L [[vN:ȓc*,p4%uXziB ms+Wu~ż8蒋^WhŸ8^|H(ƛ7W캜uZWO{G0 Yҳ7twwY+Lܩ,.n :YcXY:F~pb#cᥗ@C#m18d@s!)R!*_#Z"YVFqkL,!]l3s!ju[Uv3nuElt&נM2BM>[t:>;?ǥTThm^ga:0y9/Þ|#Dܥv&<>[ɹגtuFTX@VUNy6N?ϡEdX'|oB-SyV%|%c!F Ì9 -SjցG[fh=z"Rr:)$E"|~{?`)D3m u1|2:0*j)W侭7K.8Kd 7iRju&)^-K; ZpQ@I7[8[}J˵i’/ āR=Y\<-DQ9VJxɄZS F*h'jҩ0ɧ?pMGȄTʆ 1EjA!vk24B,1n >6DPﷱgqOKgJT6p vbI [4G{ʫxwاJvo1_ !ޗRt:0A,2B'%*֨L<_YiQ8|;dHr7ťZoenfaX5$e+a൫M@uL*>,wFflOa駑"E@¸ 56*Sr˳R"ژ`6|#w݋Y"gYZ6КSʳnnx #{)'QQA>!>ƨ7#E;$E"*d&v~@ި^V!ރ6Dwr١@I;)z5^*IaU=a@cyS"XN)X`4'C,?52\ j}+K$!M˰/t3tPK;>@YnX(YHDDL6"@6A˳kly!Y.F}'Ȅ(P e2GĊ\[ YMNNv-H<3KtfҜPp%VclU]0<,e9Is9ơCw~UX(u-&hy1_,L~x2}'?nDqEg(ԃaWrW .q>\s-1ns")ɾp"|s)Ok,f9wxj !X-fly?QЌ(؃jpi ={{7ל*i&>o 𔺝" 9iDoL_xFœj/1mp#Fe S4bNLp(ua]<76u޼1b9; gE4?),3kda`zsuտSrSa%*:|otx3ɛ‘2zL#v x7_!C)!A8B  5E2Eh4TQMsXDw\yɲ9 b)~ӯf0y|wB>.-CLwת„=hEuƬ!@sKMia ǴZq+&7݀,8˞@TO^ٞ|&y_A B'N$=jUX9ʿB,``h>a"Szؗw^1bi~|j̆ &r&T5E3kad^wbM {SXԳqSHtLIեˎ/VF|]WϘR SЩW]s+ vR\t`sZ sgg|f@C(Hq<.c<"lu GSr$5Gj_Xr%Ԇ;׸Tais7{srd U98?6vׄVYg:*̙7w%ݫ(ݻL5'P혂*þgok1P|Bck%S٬s^PcN` Jks>iK{w|E!ւ#GvVS+K2ЬcsFNy/78@(P6Pj5:ȫp a/j,y Py5NxHƲ3> H dQL%K;D1@> >iH%uSAp) 1C>_M`hLj džof3Xx[=< :ݣgͿvBeik1{5W(*M)͟V-kLݭYCC\6M]SJHqˉtPms8뇒k䒣 {8;0ŘV.@g#YG{EȋmT부֤K)1M+9r xT4߮c8V-Z>/R=HKD/6?{mi:fm$=!!z`/ c[fW,r]!ooVRq`/$,]mC:?|pQh|޼dn/\l&X'UyF ?1hRNېS ]ov %>;>rUH]ZwPv@ sOp,`qu0?tĶ:c&LQLP,uMXሶ(m+ P,YN4 j𤗥ಅtv9)Iz.lg-$j ה$ߢyB8]8:xI7Bh4Z=煚d^#}'ҟyx}R (bW$ F\Ŋk#We7=*uauG8pT"ă3U^朧]M Wse3W>|y,k} g:e>@UiI{"B(2@=41h4yՕ!<9Xv!!N}|WسTVI9{ax2O3+]Z@Y Fl {TR*_ G+ioG]gMSDh#!s' H..S $;tkbQ?$cQ[`H,ګ望0ћ*Į?@9{2[vF!,ۛVa@M Y̓ 1t@Y'.܆ 燴'-U/H6{Ee/BԿ-"D:QeZL\2򙭝f- 7qsx.dC?I5D2AЋ!gfQw*?&"L~Y5Ӏ&* atWǝ$v;klTQJEa%0 "lkh /ـ{B/i#nf0eoS4ƂRﲡ+zM(/:6#Gw28<]edKh&0g cuK?#;u4" 7p*w>@o̲j>ut;حŃ@a$K4a7BS3ga1,Üly7}—:zHw(ߜy k`;3ȮudNқ_BG%;J?[{(>A "=r2<΃(}%mw\TͿ3*+V|ԠVzYm44gLf4Vs q<Dv;ta)k>捚_J|`DiZۢygOc$7+̖8 ^M=y!sJ aXKhZupSPE-?C] m\V4〟1Y6; !v#_. aH7)u܎r\{:wV10 $Mk:_Q - }dɂ=a_^tJE'<*6t·e:"*q٣M9M6AH,{8CФ~ G  M6,Z}A;߃_n C\Hm5<߶U rv2ʖ~4{pYTb7p 5&[@ņj=[6FRVMwE$I1wj "$EPMTxܵQyG-O稦\(@."6RKi7J^t:S9,j 4"m` AElKVp%-da@Dwsh{NoXP>#O!Bts5q.e]E9^cgqnu:Q~}3%ʤk׿ ue}zA[ 3Hc\a ?LtXa)3 Zfo' e>`_BYW="vϜ+f vbKJL;G*ҧb>"HzE ci2N1-ׂ̹sBas<9&DD=LD>~1}ُoH2 V3zOնBÍ-)a/k)j? '$[hڤp (/eqN?yItlx{z6˒WkQ"DXD9B+.R갭R % vۉ$@6^NB5v?~LPu؉ɶF&—LY{oM qL }&j&Sm%S[ۆ,$eI km+Z؝Zo= B֙ŀ7V|f jw>oL_a *4yU2B)q2RjoYo ̻kƫŮcѺ,v'ȏόvWlr=䜬@cnί`M. 6 f[ ОwQWJ?i p0͂Kz.+;C07Oyn,,$>#j:;_?6>W Iݨhݍx4J^h3AQ+D'GɬZl3q0(7-M`0ɩQD눇\sS>I3B͡fw/3~__.@iV xqW0}=> (Y5rPO-!en_MoT@yo;( <hIsZ2GwWYY7҇pE I Y{}¸_3$ gBzbVKd/-!A*Z|ffTUK-M? \"ڮ8{QiLR'V4 P|HE7btt+[̳嶘c;kK\FԿՕcZIF磵6c!eeВc0&Q%%i†͓#(9'架)?4 [ԩt5(]8W8/7!LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files~~/src/HOL/Proofs/Lambda/Eta.thy@7/7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id214>6/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages7zXZִF! ;]Άxʆ5.f-9 rq8Hϝ=@YZ]ȥЀlhM}ZvzЫ䤑hoߴ$ E~ h]f/:^FcBhEtС0w91+ x#=,S3pYWQ?Kgmq|,T)d$WQ 2) i[cc&G'f)*|tkZ+ETf~ŎXnFPm<N׍5 >Φ8xVr]5Ev.jYϰ @w6McCzGQU_vD>BH5-r% [O#:E4KvFo9*_}ee.DV4]jpisY(Žs RނglGVs[;M&+BM?c@)A+)SO:bΈw*XVTLWw)"m\i.5߱Q;V[>COA #>lK}Q֚tjQUqi8MpSGӉ#j:m5О]Gz*q,D/)QԬK] Pe&::;Nۃ>|,D*aDScRZjBƗG~Dr;Harzԑ=ܰe.@vqmӺfc$ +> (JACnMrxc ٛRF{KOp,uF |ARufO-O﬎IUx=8'&"fDZd9XrzLH]x2Oj3DdL]2zS;0y\qg+b}ڬ]ך'l׮C ]rps aHxIၸЇXi}.K[L>dkH:Âsq;yߙK3HGLZ]XC,ooJw*tg;$;$ɶ ѳh{}_&XovS#L@L-%)t"%Rzmm$Bbn.V2Y0E%-m}o Pũ?|;"HS&$E!_zFRHd:? *O7EK񤣞|,Vee [~}[$'8zVn5xLаJ=R%ڔepжZH#!I3*Ѧ4Z gv&,`Zq`\lXR"~(lfG-SUڞ: =>|\p/7/fqq,͌VdUgyD3giW޹=`pcNQ-/#ύw43D{sv@4n5_ jhL8E>kq~Vh?\7D59ddL*'-i}iXm4);KPsŮ4;h({0d/vҾEVرkx7a/J1͞'ɂ$2֝zgigGJVb.2>_h3Kk%D}mNpLFƛ8)S?kz#\~G~l, nd;>';kg4M-5 '$٠x !'O 82HY/8U FTA2Fa~p 8'Gu$BC}*C*)(wT;ElSz%:mdu<1C2j׏%wCQ-j0eJ+6zV3u*{!LWiZ?)WJ`TloBq 8̴J#Gڢ=\H䮖T\Nr,m12!jC&g :e5ұ"xi-59h"$ML1 -ns~ӫ2󏦘:0˯lxUnH:pE(Ʊz#+zT/ż:+8XQY^OtPjՊVQ޲D_I$Id᝕Do&bp*;B_U+9!f%[e'⚤>HWۡ r.m? E3GX/0F0_;t_SQ`yx+yi8t)FqF5^x1U873b9݇H 㕕;4/ ǖ2 ->ħ-[cWك[iYwg'vƏ!lrXvD݈U:_4Q3z5Pou)tG̒,BU^E7z`FIB{ڋhvfQ!p<n47[`-qF->+R΍@@369Bs!mPIA%28Џ*Xmst֨bB.΃$BZNO/2DNZeBa>眡pݪ8ai;5E3yϽPg.N0Ioq2e?77-ńcԳ˺M!^ȾA394"1?(UJ9|rѢc >4*:bSDXIơ+}uvIXzJ~NE@ tU6E 'Ouۖ2-zm9Gϝy IWR0M,y,]t1G؏<'i\}h_zzq5ޒّ|=-2W*MM=`yrh: A7.+Y jKiv}CM0`_kEgR_LنizDBFvd701?78_nw t )gnZ!{{SORlQk3UPHZ sux>WykGGN4zF>1B< GZ˕c RF:md',O NBV̩Bxmo^ V1 oԭs"ظb7bnafi䟧/ 6Sn2|tdP9$n1XKy`g}q]=ߎӿ 8sXrEh+Il?)r!f^ƑZw}؝*Eqd8TxvoBn5'FN=\]tuVΠpZz PVlfeB9唒ݘYD\IӚ\ W%SЬ${ m)2[LHj{iP!0CbcFK.ox0`WFxR_+ E+}Rt4 F/b6E; hAFjaW]=CH%dH:u>j@:) >h`*O@=:Kou1\lt?w;;:`MDz$ .oiJݍc˘9]yjҬ.Hk4h7ؓVƫo6Y)|B|A9^TuU7GWMăﻼ9m@3?nöf +HCPEmTXiXDiԆd*98Ra+ic#ь iQ`__yIBQv`욊}mp6!jayj8#n=VpAqqʺEqn9uD2 gw;$^ٻƱz3N#07ɇZ/%?H9R;J[?l~VPx`Ξ䏈JלWrum$B d z%SgT_̬O`(ۀPhe<-8qUCNwሠ!;N;TQ$4+=@F^hO7]?k.u.0Y[pƲZr٢E+9y"ү+hc%*&$5ׅ@)']^t91W-o΁F,;SC`p[%Phv8~M8@aVo)֠)gzе\KfS#27!lzÛ[a{Jz Kt'9r\v_H[c2{&Pӥ!/atnM%H!1߀vV w L(HZ ّnm0'z2fwbG SAKm*xBvj3ƀɪ!L̢'(re|:a4[#&DCpL(^tM=Tw&-|_bjRJ 眦\SM!+ zcd)G_5hq]kpCy+*,ŒbGX6rK7+!]IW bAUu'=z}'}G=~sߝo?q0mA ÷2ؓ>Y$}}T7n~ԢwjWh=Z1?GSqAOw]?)Q* \gƓB)o`Xi##(\mxb%7hf%^;}xj|rQ`E'ø 4:4I.=,MQcc ]IWvfvdJSf"{}a5>U)ӨY=TZ3'ظUT*h'jmPoBLx㏡L¥"v؆ןvɌ.+.;0Q$ h?DTク/@q$#!. u.@d Hx ݭj96whL$]xʂyCf8 q_qȀ.,e'[f dOQOp 3b GI[JpGJ{nXߑ>r25:fK7 Tf8yPGL5/CJԈ;mM˂X ߮$38 qT! }+P7A"w{U̙rd6H/H#c*p|BK0yZ0l㳢AV' ^8W[ԁ8nՏS isd<^ 5P+h9d n?Y!Xe1nƧ%BG"  nx_>xb]B@p% $I՝sXHʜso-D +ӼBKw"RYO7>5F#wvA34pQXHH/Ixıo_8ĪU* r2b$H* VP_ffYkx:C8gjqB<TDGǠyxOƏV^J3O%lm"̹ifP:>asZ.z4/-ôq1 rAazaH.dM|H +SktA8Uf4 6*V>]f3 OT. )'L̅ۋG1Z'>cmcb]4pTUĬp$ûO&"ΪɶKvZ*vˈ3|N΀si;"qQUJ2>k zsu) dյ\P5k/H5l`8j$Ck*a:HWMUh6JFW!84.r>B6̥#<:_a|9e9F:V}𿒸87=98}tK>TV"da!(Y񆘕A pHPih7F1 ml"]>8#u /&ch\?F>96}6%' oZ -(Z0b;$ /Z~~Qɟ$Y1Ro#v HA04Iͼ~1s _ o'V%rgOa"T+"l#t %? ]?~>|囧isܱ𲮶,HC~**::Os|2Jýqne8fIVZ޼}A7K_!0u}n?D>~(!{z\,禋\9$'%_)humsjͱv/a4v9ޓ"BWX4 Cxc8#5%tE, Eձrn 25鸒R[|;VCҙ+A- 1HH*SV ,X T.2WYarJQ˪W7B㒂싽rcgd;i"2*ASyi)S>{w[ >&,*VoZ8 Qs)cdjaXw*e3|{ld9Vɞul>.R 92JElJm/N_>y JAMLulEa:m!ڽYCFqOX&[[) n%Kw gC䭒j*誜KMi4}UU["?~~ryW)16_)5[+R?,Ȣ=,JdY\ruWcX.;ZB~^)(EHyq+FyằK$f; Z* 5xڤ>$8ϟW]Liܯ5\%q7[E&%I\#%/nl?I Wi6oz`dNZ ^h~p-2_Wss*Kts{1ep@Mck0(aQ_2IK\DK P sm5?Boc~\ZBy"uI FPƁŸ?1K`9+`PohH ċ:>UE:j_y ^ߜWκ=\fz*$ 3ʨh{ql,I G"~ڟ.$s٫`O%g`-~C]k 7s⛸sd.Jɱp5f!} roSGR)FF8D(,xR%{tS=II[6b*/*>az+ƃo7vf / +n7Rؚ_:s~s'i YR%QAF3WʺTZیl9)ooDNce~4dB K*uA_xOgRq^x̹ :&8 c ڡ\za+(Zqp&$2bU>Յ+߉>0+%h UΤp}6бG^'p,ւbXBŸ5 yUJ_৽d7$g9sm-8W*YY"^YNfof=zǙ-BU t~ˌ"=~ٔi-!Ÿc0aJEfGCp%DžϽF)80EQ!=K4#o`J\[ vfX,kY[rqF6-Z7l/<%c@S\K ;)a&)闻h<^ը$ VO"f( \8N3 #s}eL\-iTMDJT@IS 5+a`CsU\ˁ/{84QIP_zzvB@22A͒-]9tT _%p[( S'//cj@BfTWQ9&4 2_K?`M㡙5rl)@U+]-&.҇0ZH͞"!+jArrINZLr;Z+0hQ#2] /3{gVM6ܣ3/K IC8ЌA*FP6OǍ*vbV:7SËsK P4Ks|G .y~l A[mRfҲL9V_8⤻ YvX;R|U5cDjC֍r=6"({1ğn?fIL)r]E;t@0ٕ]0Ē%.k#"UHFZQ(6MoM vOZG>.j[ޒA k*Ȓj5pj\mλs ⧇ m22 fADAIA*=z4w2L`mkr)9݆IA׊xm/&\3"ZK_`vȰ c-sǵo8"F`L^1RCV V4y<(x+rQ|Jx kp.SrdL9Ҩ.-g:HL 塖@j" %hN[QBl3.&yTzb͈: NH8 /燐e? -ʹ}v:^=FBТhzu% /4=;-Td"YQ]gB6C'Mɤ6LGg&*T,PͱegA4')-'-cfj8T)o}VZf r掝lsg Jitd_ Iz6 |.\uw-"!c<=[5љx,= ǻ2B(z*uJS:1sbpR>L,* lW(aUDŽ~Z١gɟ|ڿբ'% <;+$h[PnqGOk r*ZM#^TXIt8+KrD!0:V&m}{xɶXxr*JAHˏ1qqoʎ}W+`Zb?NݤB?p^BM}؃Z[Y'PS 3SQ!2ZdL3):HwzJ6dpBy-pi*Jd30, "c4!&͓ WMz!4URȵ+F=MS-_:; 6R  .d-pʅjx$(+ ` vN\^Y͜-((Ѫh_4izJtX*y^8:-l-.x*0!!p4A;TBܢ_Je֑j`:khz ed૴uãBp`?zPʓȲM_Pa2;=` }k=64kJ7z+E0bقT)T sG!̫oH3MeRsj~]qC?*t,ZWq&8u>ټ?δEʸ5M{GM1Is-[xq#j!E@JbUyp{ه`tCa&m5/JzC17~ZNVvAyBV_#McD (CδIøX"1Xt*-r }@DBaͻ2J`_Yl$lTH|/Q{cHދD`GFw}fnD}t^'j.Ӯ%H&/S|0Z_oHs?љOؤ~K-o-7-"?BD?#m6[>ȋ,Bwl=@X TMx Sd›VH"ɊW̔3VS7BmZu{"`A%U0 MC]ZAe2汽z/-6 Qt=B }DfZJ&iMN&ˮڨ=+aC2''ֺ+ֆU:cF*ڑB]'ڿ[Jθ_l Y\aO/RZXɔT: % a%mEQ]V2'M :AYf؈rp@t33Ĺ)kH޽QVA-|RZLICd9V;7}dx!r]Vr"椳H8"4hPhq#D JN'Ys_ֵ 9)U=󁵈CI$x5 0ݦcoilf-0\@$Gda Rrcdq=;bu͍}sYV;z(nFD5 |23R5 A@RMן7lEhlC,. qwLdrx;&2]5xT߰j{d]t_k/ 5zsH(@m=EFY΅c\ʹA,Q v9K=h9O9M8%u: ruW-z5A/B WVn}h[da^$]gKuH-ȔnoѨ+^9:lW[lt+QI _B31-vAs *q( c:| |p݂sB#ƦLR%raimlm: E҉ ɧ:4ǴWXхO%i1n#lZ?r MBt2$Po&6xgxm0H~E6~N>'Jߨ#A JhDxJzs4CG_d%Q|T}л@Ld={h`468$h bᅩRofvȲGDy/5\?L=9w[)}okI* f.JF5Q5o+Ef *( eC]8+MֆO)@L- ח3C߆y6Zg! :G(x)9jŘQlqp CJ7`RM_6@ZBK ^.>g?WrXr .%DB{˓>2JvcxFjPy^xjWQ{S.f>+Eb76ꈳĨ&?m*^3J>JAFFG1$RBx8~:oM! +x˲^cwc03wnIgLE D&.b'HC t #{sCǬMp2j d9CJjVx5 W=3n׭eY9Tؽ7iv#Cayt+d<\XEg"Ŭڍ$z@i|v͛6UMQw^-1ֺ|?ߏO̍rs<]1KK JZm:JZygƵ*KM|Y2'S9HlԂVBߌقFU $2t[ XG3|rp!yL8L'QukN^[wiR12Eٺn9pp-w` qnc*uiJFAdjX^=[G`wܰ8vl_tLc<}#8P21^|d'@qB艪hu#1'񖁧q J9$57Ww nrܿ.e{{9YƏ}r8:S&Nr̜7'Rv"Lׅ&)F[oU*8^TK BV^XdoAU9B =^ 2yx?BӉĦ:R I|8>qvZn;CS?JU#cAKkWq{"#e{oa' o`e;چ]mlRFݝ͏S1$حaH`N:mv2d*h]w m}o2rWVBe.t.+bY4EV؄@@7NéR %Gr/:A:$`Bq.CȪigo -#m]7B?ӤpbNLJ2#.QW|ڤm>b!Cn59Xe2vUt]8͕mƑHx,ykg㇎e$JV7}QcaєBlSE^ 5s!оZΒbx٭55,c+tүІvWFx'٠JOB0ɭÙzɘY7e0NՌլ v6] ?rF_c ^hi3p9Z1(9J E0TcNd.8/ڳ/LI I*cgYZ " " ""m> /E# dHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9l]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4extj.0 X4 fvΕ5dyD">O#UiVzi$PG(ͬy!'X߿laP@hol,Shz?7dgzt4eu~f6K^;bqM_\"z8HQ?HK3μ/k(@".Y!d]uR\fB.Ӓ1u4gT:WrTpW2"4e&kfUMw&684͇ }* IU1Vݙ%ިqS?wN|6*k/2)| `j2iγ-{ L%3.DhuzTy+OE#n4 sa)ħ6w`sUQzɹ륭6<*)kb؄ůg-2e2 <*ik[ Km(,Nq2;mb֓jAxoRg,_MkC.">)\qa"eQ`UNt gؠ;4;NSa;&\tFe3oݪZC%6TLUǏ*Aw;ͧe+tՎuA_;pd3M‚Т.Od l$̂/;A&c6Tac>Bv U֋%kZcby.(}WKL6*~o" PoM_-T8fHӣ;LK~AGy8nIJVg)Ƅ678j[%sڇ>FpJn T8-nƩIօn2t}}QlW,sХlBL;8Bxoq!=6qw''\7 LjpM$6d~cyh?[wG%tQvK5 `Ir]CR:#y>ׄ xX 64mlgpENUba> e*70۟c1ڡ 5,fMTR;,Q8( J`R5Xv}lP<񍷋yjd%.[/N̦^ y<Ű֘]UyrǑҁF $f{e23Ę,%9vN:rR_ZJcMo=n|&+%u騽xʂ y05.@ %RvuGH_MUbPͺH]_|30м*(/5S7̌ Jl@UO݅ӵUɈEXLMkTp+ x u+ըώCLh![l)<=8E|T'B:,XHuLF{_C"Zo;u{gG 6΄bZSXOu w^vSZN"x 5'j?42]?]r㿻M 2=mQP6nP `kYHI"GF|]!mG.~ڝ23X{q֤֍rt+ЗW:?S?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\HFG>#aP{@Nhq;n0TG6m`:S$veU?Pj8Sftn0<ʣr"].ukD5NbV46Qg!8$29iN8d7*YW 0xb5"jȯ';M n(r`>-} V` ʳ7YLXZIB !--_rV>ŖO2(rNԇNi=Ժ C^< ȀHCś!ҽnl~gb{Uh us&;dDRDuSN3!ߴ#8gkcC##f|Xqn^ f3J| ~fedZ8zZS-- */]|l~bNq5U*cZ2Q8@.*<&&bblLslD _4iv8l1',Q^u/kR]oIL);9h& 5(‡06d Q4И xOÌ9@؈YvPЙTS`O9bǾONl/;FHy6-g"J"?+/;D-}?っ/ ~)\_lr?#$3gYZ %b$ Jn6 : } = y > b# o + PJb#iZ [;L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages?>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup>=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files=C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/filesAD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id@;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$ 1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations# ['HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id wa1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citations w'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id wG7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex G7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex C3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex T/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex ;I9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texUEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.tex;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texK;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.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'@YڳVcA%d~<I-2퀎W~ =*)|#O3`HR2oۋt-yA]7 (aJbYugb|7p2{aX)0{χvQՔ#7UI6ʺP {(|XFF‘lu 82#t9 MajعB:C*N>6@KDlc)A x0Pls |>䰈$!\;'2uo$ zI{ }}C!թH*6E|gbPܵeq^P%iWL퉤Ԣ .> F%8gdOSX6aq3B /Ч>( )rģ/{u}.TJj/0i0*]b?ؽe>hZ}Xhj6BsS|B>Ng.4At>e?b@ Y,$~Rp4ɴD0mwQڭ1 F.ZiW4д;E%1ypj Rz8Ulnl ~mz}+W5hG> :baORJ)HgCP!mKW<2G:jkl@'#-ZZA0hEtp~w<ɬ%Ta9=y`nY&ވOdV]?䓦ެO͔U~H=&+fGsv˙.A!P""\tCMmR#V>Va* j:SꧼUl+8y_+JՀv9/>Z ~'3IN0BʳJ|1T=1ec&@гP_PLc g4FZh_!X$˜z|=iy ؝>q|J14O|61yѠ+8!`uUdApȷ9I}y0*Sv;O>?8sB~-li. vzB&<=jv2YuNI +5 dxŵ9PPRކOExQq ܙ_v08S_GW NͲ!+"]xy5%\ #x'j U3Q35VFJ0Tߍygp#M:7UAEly>C1m-Q>Н_CA[o ?b,-ZxԢCEE=}:%MJHoP~ASp<^J3Qh Gĭ3d͉ty0n(s4Oʶ隚Y; 0>)TqGƇ/LGFGӒT5杧@k oYn%oP LwY2+[S8_u%BsShzM͍LRY& zƯM89ʘzOJO~Df0_A6z=7ĿF+衩5tv+Lrӭu_`Zxj d+~zMDl  s 4p8[5*%}MŕtAQ a)`ܠ\ņ;+9oY- s)uwT$KRRw2,PD³Cb 7m3#hDvV 9 l5)u)8uO!\-fQ=Y[1z`b]NU.@c}zG!yfk5Z]z;9[.TkOGwH+@|2|0O"L9;쬜Dq+x/|w/ 0̴/g#XM' o%$A%@oPCLAjd#b?3PڻY \\^fF[#AN<[3OS"Vuk! ЀrO+וlJ6Wa8=ŒUO=Tu"6ޜ[8NW}#ϫ!=/`w2!ngRu7ioم̍I,M@HfcjmgiYlhLE > >]ˎVhDU*HMn |7Yv+&Nfzk%-ZB5V.ѿ!Թ-bf*p9*5jl0(𖭽Nnq{3'pq1=u^Ooy$ f5h܀99k+@yki₄$\l+e.wxY38߬"$Z5ʞ;{lΙYA_rPٔF9@Ee-kvѝϺ~&.DpZ=j8)띶0YN/<ݣoC*-P4rdUQd!7M\~$XzW-y-[>9?h3שmJ`G@(cn[W/Tg%;huDx;knP.6#v190 V|ysԝbg?hξ;4i/HVd UcAQ2[d$B>yߔe8_h7t-g(P= ?wx_m)Tߛ7iFNuO8ՒCb%*reD?^|%O Ρ Ƒ2B u2qnͯ&-z鄄@ F>&^VX.z2cpodנ_RŅr+mMcSmp񇷤KzFz{r 2csJ: bIֻ$=Npցx}~u9 NyO>,D{s9mh"T˘iCֱa]K,{ٱCZW@7bno}|:CyG-wb-qWO}-d|@Đr/8G(&I^WߎZ8`b9*L*-{Ge1ʁ H*$+xeyKYK~m-IT-c G)m'*{ tV68TЊLZ~hͽ_7Y}iձʧ-EujcVXRc,leyɱQ\XXhw=qE"ȽTӁ/X9T50{t``hjz- ]7.Ei~QbL3MmC17E뀑-d7H_2 K |MXwgwZGFq\-04HRtI"<:7Ę3<)90DdP+橀<2 Ewt%&v1D =9Qemv==w<A;BQ ~q+m8Y!*-퀃&x}؍2+%fC_7VamMWaomI" :t,8 5'@9Y%Pf*/8>/_<()1Tnp𢳸 @k:|\R?0QbЬ71zTTc38M BF~F#3fWVxχ U'Wj,r-((ʊ֖'dSL*UxW_ԽRxv " _j-Z&!оnPWt>]^n?aunj/N͕@c= ]xbXV/DpźJVhY3"(j`XCw2^Q7}7gAmh8&xk/E֞XbS=1<=*륝COHs+xuvұK .G 3hZBguN͊Wyqȗ|OY`*'=c\$RɓY?XdTM:[V:I&]2vͭoTMھXdKn"kFWcS\S:B#?1kj&iR PRLhXhIwd8? ^$3,!:@>'[Va(W܇QZh>딱QRMfuoǟvJ'YGgA+AE..'Ƽ%pCbM$ OM%ۆM &;w@XĊEug"Dd1kXH,m<ؼ¦6aG]N͕w=Ej"Ioo\=BWidu2޲;2{6vhr\chlA,N mVaKH#;Ĵ oMJEgiec Zܲm<ܘBuOGhkNbG+c}k>xlgJQI>Fx2i3} P֐Bi[ż*{f<˝"O58j0|ɝ$fUMĒٛ)}Cem()w̕NR=rpNݹA1%Q7) {XK%U/^[`0#`1*Z;T]w|8Z+'deQ ȧ7@HM9|Ni%_ *l,vLj LRk5O̤Yotk?:e`&:-:iEZĚQ*"GٌFv*y+Dب-M*ga4:VF|L>XD8/ъc ;X*ǫMR.!@tG̜b!.nftŽUb3-Y3ŲQ ύ wu׬1oPJh(!1MYa~\ߧP=2> TsF 9(jњ2ݛWz‰BٲLΜiӢld !qX)2Zܓqm`QhR9,߲aº_W)v}Q$QsLd2(N#F1Ox ށxxk-ae5p\};ēp. oQwHr'B̑ڕR]9$:DEKC!mϟ~zS{_IRT3k C 4>8Sla a^Y*@Eǰ3]ճ&ҡ^UExgPJ1>3`WDrȣcTȡtc)c4#ftW/.ny:4H!fJmJg]KM[$> 釼_b K} RSuvP5_oU'JK_\v84 #]$-} g#iCl<8@/wOC>M0XX8եY Lu㳥ΰWgN Kaڇ1){k48JJe^&Ҏ:fOau$6_@5% ӏ8kްIZ=nV[X/Xfw=xuw\3BNc:Y܉f Z|ޱD -31Od:9%+ fVV~rH-לC$}FF"q=1,EgH`MeUr7.BJ;r@joLqe-\=Lw$mqYW''҃vzA)H03+0_aKt.48ϼ%D<^(D;v X9?;.z~ya!U`H\J<9_F 0^gIU %8fH|'˪TlnUxHoo(: r5Oc7[Cj 1Ud:,>1T@]f߯wh-ЄgE0iSK l~'Mqlhgx38ނVA+2Wn{~ v,ϵw{N{I>k_HW3_]&[BFE59*mnwzgjci53fH]{7@F R]Z54~{{_ƸWC|M]ly{)Y)x;RƍlWw5ťepZuETX߰-Y]6~Uc0eEr^<}b7b}Fu" s/ǪORˁLrĞZ+񪩡o9婱dEPpuPP+hoIJ|s"BjfB !iC>K4 kjw)x Uc]iL;pWa(hhӅDhb/5ģQغ)"* |h7Y\f"=/q!ɫ#AA5\ fc"y 0T$}6iօy`&ՊQ(Ld_.ƚSn g0VcZ$&bNC~9g`_㇝Y/$iB,D+O5γc5 LL;P=or[ .#[W /tFz ʡgES%{#+t :b1+.sd`ɺ&e;1FƮ?XJ1Tظ.`zaݻ7'6 |HDխVz_?X49W5k-[`7]~rz4О'_{E>u8"M, cPeVi!PTBz&>ͭS7Q䵒zwo8Ԅnmِ1ڝ}%N4)2_Es>);\b +lD8[CKV{ڏ?TKFC]Q}0"]y  rcg<@Pل#>3' C9?ʰRm5^df\ίEN+`m|a! QodnNSޑoFyR9 6!+#zq ;5_n=A@ps%o7%8XM ;9pwpdu =5 ʰH}F Ǘڹ]~ΰYijmMWT4rGk)/nYLbhv@U6"v ,}ݦ.cGW ]sW&IY[/}=_%f;ɘJu&hV"-xG[h yY%߂`gbVcuFz4_t*\Tp"TAܦŨF$^@k fL-.R„3uu!2-bZ S2hnWp^Yo1l*k[b攊fxQAKP & \H8fϙG0:_VFڟ3xJL&</- ,N%'Ddρ/;4k%=HAcɤm%,w/m1.OUsz }I'_]QV!؍`G'.1 +͗?0W;;3yiyI5ܹaUsP 0 DNK-xzcZ'"Mē ¼Hko;+ٝu4H!TfiQ폗 zlh9rSakGlenk9y8bhؖ ;ܑJj1HZWA\FRM;F)@hnrB<:R56Qpmw+Wkwzv'ִl[m myv61QD6TJQ|ÔPgM-V6'}+{JM^@*滅q]L*wY|(5fot] |N"*[j5ً̇W1ާc榈.SW.15q,^l妜NƇVMs0 :k_CI{Xl2x,sVp 8 P-yFUW/Vt>_pW&v|ނO]4qzXZGʑ!"/8^ cYFř]@$ X2NC%U ;e\\URZX>ekRMt3Mp@v㵿:<$PKxgPg;10I2JĭR){qo(0H zS(|֭/YDe]<^~Yi1Cΐ%_>F[/Xp~y h!y9NJ M8t,m,h񡆂[ap%@;Ul|>(U4?bSΒ D1yN"$>^j@ vL2m 2q>xF*M ̓{O (\Hn6!gq=vfxe@\I] %vA^AǟAhƁqi.]1^}b Yu+<^c S6DJTXҤI[2@(YBM6UTļT+@ 8Δz];|Ph]:]Skl^o Ts sUʰ|#"~zcD}ؤ\$Q͇v \2_8Lps"LѕgYZ  7 bB /G# LHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! f(]ˠ)jk2p O6LP=͵gl5f&Di5b^8th zb6E3kbOdlB/tL] G 3hf-&xӝB(s9T)K$6ĵ bmOދO8XLnYQآvC|q r;vT2PZS@_'ՁdTCOe؊1@HR$r0NJv;aE~GrǙ֘sLa"w̞-9@tIo6tjSSSJfhrBtR 񥇭8jh^.BH W"[>lL)T K@\%T:y ޣAQ:RC?[y BRj=Wr\vvPA]BAVb$b(Mywc԰kvWtǭg3]`H)>v6b8;%Xq3&Ufc<)+t~fv ow΃W4hsPwHn>Ap3UTk/ H@AbIؘG.({H䉿vW_Tb7n2<*;"N>QM ܅~#+D]]qtGaA}u./񲖓(Ky r`¹G9D9 fhl*r'HrbEC|_̱n`ґ@lX-c6aN?Evq%=csWZ6J)Hr Rة E>pڻpv\-uM0N[ @3ߓyQ ^?RL\Q!L9|k{,b'ZT;FU?$.I9;qtez! ryھK/"6W&ǥnB$.l7E w$30j…q:?0ߟ)'h̤+5iȅORDy$L]/&|BԻe`U3wcjXVzAŚPȦ)aG;sc28@ӧlHv"KR)7V(y;xR~jjڢvlV=n[pmyzW5hWp$7ut 'hI8wJ0K LjM85R(8pkbU<1=gt˨^F׸ֱTlzJJ92SJ'Т| ؄8lv~q`QEW*`lKnRjh< [ \=l>p]QAq"֓e({N5MμnD{Y\e`W$/.K4L؉X |uW@zU"v͈c*7yGBGoisF:^O!x{Cд>|7/TؿE^b‰9l vf6o d 6Y"NS]}9Uhl ֖_Ig/'HAUeP@4BJEGRTَ҃=I@MGJf#87о1U ۺL4ݖ^-Qd$Q[@'o"!lizQm뗮clp DjυƓs<=$'5+IX%_^"0 ?ȳc{ 4PЂ&{.ǶFqT?e@j~cA!.A{As.k\ո Z ;m/ĿsY<'َ5)#2]{53KgO 7G]D# Y7A֣C,Szkf0g03LPa]ﺏwR8qP#FxS_fz"6#(`S2}`MRX&SՂvX7c#Tfc O8xƸ<;!Y+}5Buu_8?*1l?1//gBaҹ,<g$C,Bh>y+¶gYZD@Lص<6=;eGؒM_ Y+ )#9e'Y=ϰ:ƺWO̠Ὄةaz* ћGa!,0Pq C= Oc89*;,-Pnȏ&uwR,ɸy׿$C.0?.Rd뒚; qdC6TkEJY (AT$DO+p@Eye ,X6fBz?(ݐt;m[uüz^ol!.(SЕIT~|%? e^l>|.PDr%yTݺ|]Xe{tyURL50XKň:bCpVŒ:h]` 9YC~/eNzQu؂.E {sBErR:w?G=X[SO\'&ZDӯ/OO I4?`C(ȵQ>PȁiyI>'4>vㅛzN?MNU 0[烄 x; _бԖ,B|]&h5s~-Lfؐh[Pt u< >"8 a5%=w4vً4,gK T-gˋ4ioƜ3;y raJdgW \nvk  N9ЊeH"o@G ' e5>|xfw=c4x5] uUo۰F;fy2ISmaѴ%Dمm,\תq87MV3Lڅo;ތT7~yӽ_ѽpŜ`pge:tb`EYk2!lAb:b{AiB5mپA2>vnXR?z3COESaM"L[,Tx>绐Z WØ/Wob^$fC0+=Y7S$:ō"ۤP W<3jꦂn{+: 6[^P*{ɲ+^=#k-t除wco!e>}8u Uh,g9a,e'fq4D-('1Fn,.:| WC I(RWa4=e2sOgxu+.&`-?c'M8lEV w䭢%Cµ6:{~Mlmrxm+-1 21%-EEb0 tF[Ok1SY= ٦X$}Q~d&>'v*εֳ.rJ7YU <oQgg &p)2yapyP2+3vrXn*PZMC& C| TxeT΃/?fWwOo5B@NG8fmݷMonّMW& .@4vOϛ Zq!.MRӑSqѣXQ._$e0*1"k@Jm w¤z゙MG*m헷G=id"ZNb'}Yk&pXNl݋њaLY59i+}4BgP+ĈT螺QcrjfvB6K+aw-%:!v8وQjyNͺ~aETK1BL vneTe:!ߠ Xy+0LcF1蕞V !f3/&R ywĄ`1tk;|7{ p4Jpu3ُSֽ*U^1!åNSnRg2m *D*PMGCTlDMf"b9ϯ%۾cv\>ݰS/A]7)g66H4$}@ivה?]oKÊ:d?YAF⼫cLqvM8d 1$qj-J\*j~xdH6DU P.ʻ}Yݕ!$%+/!^v؁ȀNW +ԊJGc2|Z+ s]ݪoB@4C1@ >B5"MOD.[~~nKPQympbwKb\3$$|)dY<*Oxv}1R^N}eu H> E:N")2@~.FySi4$#'db|)b +Hs8~NE깜Rƃ2,A-?,?/#of}^4ZiqV.NV* %MA`*sRbT_Pk:@ƏuF١ѐl~m_̅MG޺sjE4rߑqPɭDUT1At9͸xHH;}X^]ʚ:qu 029),MSw +ߤ8k:50GnqiPQZ\+G;:"ruy".Xzӭ8>آJL/ #xztYj R]Pt&Im+{^MPԽS2&>0*jwύ !<ۅA\d,@U(4)xxj(thQIFgXQBaX'o:8G,uun<[;["Eoa㏇m9BPE{.'xKBҹC2zo& !qJcS:8Vlkڽ A3k~g';Ħ}p:zN>~بֆzT5pLzh0Nͬ6cmd>KɘpF$9+4S/l], |c0:G1߅H y!8to%iIPC7߻f:W!T_5xF}h^.KJSrMfxYSykokNe:O;9Wf/auPl0z=E߷yav᧯Yo,s$ۈO2]Ѩ;Ȼ RRً ']\G;M%%B4\fc:}gFj$n?by%&JO+0%&y{B#yӼk1d[H_[ȂӺtn9lJe4K\_B}Taj5W #Hd8t8+~_78 W;"4,Z=2So:mD ϊˈqFD ɹ>b&Cz`;F ʨR͹; p?{DYC~@-%`>|`8$f;4v)\ 2e9^6*>g/4x19#CWpCcv9ҤZ@τ; ɒ˳ nm`*X}Bx>bBgܪ3sVC=%,M~ guEdiz`ѫ5셃(zbK0Vhf cvD_}C\ | D\:%7Wm1;+qOy'l12xS史5`Qdga%}CĚ4qCqudC}Rv &iG\ ̫T8 ?- ]Vk.Le[ҙV Z2Wob)$u> 2űGʿzof.W[gV5̻_N[OSpx2bUa+wx;KH2Mr9>ۏWw> L\FV̻L^f&׌Lo00*Y``v@yҜDKuZ{ g֊h$+F>MPSxAv`Fq`j, !E_QYLXKT r6p7xlxMF'>r4|l[ OJ#zyxjwzabE e1IѡJ8^vvؒ d#(jvq!}G}qF" ќ R{ޖXV]am ,UWBD̺pQԛRbեsDdV19jۃbΝwH<֋ݭ@AwJҫ ^rFU r,7](⍋A^LY_^*kYkקg44J WI$+m~kfٝ.n lp/_k`ÍlITkѺ 4郇e&8&谷͟|^5֧|XXaeښ z5FMhpd+ƴ3ߋ&,p0*{PKP_k$/e*qw:hRiJ:6!eUYtH*@Gfj}i* qͩO ͨdN5k׽ =1 x#@F f#ghsUuʲX1%.92;vNηeA_4'j[D5HhY)‡n'GuK#̐I7v tĞWlZ4^B JkL3`z,%?a%&5v֗F}i1u%`O#[&7B4tBN 6XI!8:c"zRo ei.G,T~MY}.e8NbcRCYIoHV|QbWl:|*d J& Ό|Ҁ{*\ĮBH@ 8FAW0mUa9 ?ַL{]hp?ʅޛ7D~͟RMobL흹|Ա ͓i‰GM5K%ER#gZr'IWtIńKd~[-1*m+ܰfnD{;t jZSÞr~[C8kʣ& ܝS ;7k:AS#|.Iqv|Q HWj( ȼI\uElІ]k]l|zVvU+ZVTjJ8dkYyghuțɰ yWGwmb3T(n"T,F`JKӵ֗1dmk62ww9EbPL:;1[q4yLin1f&V$ep~:)eN%.xYtp9Xq#7U{g5,}ŀ.#r=@6Uz)\qji}ma`[~Sd[-W`.s9*saphիvL\kxf)7-:P1*爗~[ګƧi| (an'B?Ur NBcg12UE]̛@. ľ@ Yn-*6Eȣ*h#47~#rJk!$`czs?QJgYZ   nN)\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML"G/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b1A/ <\{֯ݳ~82MiV w>rjܱUځ&&&k!~+Qi.#~|(Nf8٣i)jf|CJTLJlIK4J#UQEɞ|I[r^t ՔؽGagW]NF8(w1l=)sI]eZq?Ȍ2I9EۇEg!zxrDU8;S=oPk͞U>db{QmQ{&[3MԾߓxXt#6R&#A /OGY&F3A筦m]jo٢  m6uLWnTr[Tx:gYZ F /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 r3%*F`.I%-*Zb؊П xMe0?:M֤!塐\ن`K|1)N&d 9qy:``q暎fOnT[DFԧY͸BaHCG RW'ɧҿ( ٽ6b 7J /C\(U4r?A!н/4SEQ Yƹ,Y1ErVs72K#J㛲X[X bRe[qOTrDЋ%<8"l*[EtLC;GWb5sw3GLdPLhhDO3*gN58RǭV*R5m88P+D?A#lVat,S{O D8H<$w8DfY["Iud%If%&쵣̕sJqE]~k= >yR" [$}q;g!8qGNQf\{W#& R!F',J+2"+m֋ySctʯJCm,*5J.V'QhǚUD\c#mQfp, =`/O)_;JJ'4J &(b=s;{Au"IiCU m83f&;EyYdΥBx R%#2I^<<t8W6B&VT P>lntK#z?1i82:ck*|5pl2]ؙɀG|VpPShڢ g5- +_*ɜd:xE{x zM84~߇ ۲- ~a 5vTKWBsvQz!1ѼZ6+9}z D<2zRasN~u$8iUkJXʛ1+Q\ cwXڰJ>j9Mddq'/2Rb̌ΩDcBQXmz/Xymv(pAX)iA$cZ߲wB_r.G_jk&ʳo'T61:ъpaABUE"˞3O.$#,QS߱5H\`A4nmű%NuEG *nc." GG@Dd₸raht?9[&IA9JAuM`dNWFW{ʼ,tU뼥:J [PO1vSh톔344VRK;nYiG?J5qB}2SǛSMhBu0m}ƍҸM.퓇KNн2^STTl'00#z bSWTսkanqdw'Ζuv޿Q>%f7(("{8ʼn~HY,Kn\w2т(#i oܗi܈O~"ꎯD\ S:(}y-{ݏʕ_2A(6B͓F_}BMdMQatIv&W &zЇ^Rj[n m[Y~gYZGn/@!Ԁⴹ_x4M IJ1 4V,Srh^^s0]cۖ?S!@_&˵}xh mMiUMg5ɀTxPV-Uj\m"-  钚PD|ԗi4 ;0 ;hI?Ar5P BAaP;<iV|HuF0NU`"#Op>(V"5 (嚈eFpEUul80ΐ$sHҨ0lŰfPmq : KA7 D+ضJL?ƈo9zi,4fzqShʼntԀ],|Y(Fo}<.1Lv1wN ND jV,\a@!hS|U}1:fR&'޹>`_͵ZΐF&GH YZ3FtO{U/(>` "ﻴ]X@p;5.l3&Ub%Pc%qm pw{_I:Rڐj5{Ly S iOh7^܍ٴ#ojGw ]iܑT7X(pT)il{9%,%f|b[3 mgr Q'98Qpg&U; pus̆c-v 4VP,"NuQJvho1&^0˥ZRi:siQDi-B!&8JnLB[ƈ gC e )bo 4 "8s!4lUO:{L}̞W [dDdiGvcY ,*<`Ka'3 ˎ\M buA Jbw$XY(_xM4Wsc @;&hvi}hR6O}`~x1NIw3V)15)sf-G{޸t*QxI bۮi鏳+$ *3`׌0G6@!M L@y[l Rmt b%ʴ;cp d4UfAs|&b54CWn$n.m+ W#AIxm+sx_7oM{8.91ֆW)q >$*^v`h7+0-턲e.%QT.'lab~$KyW+D}Ւ*@4ЀƭpZ;Hg=";͋&iKai^PZ#ϗ:(zRϿR̐ K9(:h% C>FWÈᔇ-iܫ RtAhq@+_-^*@(LF:Rjx?6Φ*7PçϕۨAN%O.pVg*UYlƒwvAFVԿ"qi~ y2Ӧ^_t˦y9ٷkdH|Y`]W7|)j~DbgvyF5yHRnϷ8B{d37כ#:b;qHB@s׶%h[ukˤV\,J}u=WQIK+26uN:<|c?x8@ޝhjP^[N9,F]Tzӓ[Jd'"w.|w,xYy`4dVNO#-EZZ:_3>xB&T<` 9T?>24k&Ш`>};ç$BհK*D 8QXQ , WkZ#e ]{ИE= >%zvp3gNi%:/5G6tN2rc1&>@ÿj_MkggG`F)7bC~E>;Zt&G6-WNr~p_۟cPQ- N87ELsҚ?PNf 67`;i (oH@!}Lq] wND.C27".Xfg~ÂXFOΐ>g #)z45o}E`~D@"=2S;sNY|(?ø/@'FԸ(䏬YW8ls6ѻ;#Nmn".E>S3!KCgˀ1Al Eb^~^LKp0.v(LBeB9r82,n s/_[qPŶqw<ӈ7t5<2 8SAq;p1~f%=XmWU|3ҷpEۍ &[A4' }\} ]iP8>z.^mssҽ8&EzY7Sj/^QE%,YUP=W|d6 ps/ | )SA}`Weƾ%$Q ŷC80 ߣ }\o% iǗ.jdz^"8+m!ZeezjP/^7D0.n(tyr^nA# G%c {c1:d;Lbwo9$?Wʹڀ4H%^5 OnW !Vi)SP^*ڍ⬳2/<ԫ {˲:w.h2 H܊.nEqqS}.nBT=ӓG?[:bbhQfSXV)p&@Is5#G7Π6R,Nt6RWx|ǤڅBSOeMi&_)KNz#wNC| kӗzG#01VCvtQHjK TAUSD9J47wvay(pPb7Qj',MUD)X!8֡H_P fzV,dh N~;>,"n$f1FO H%![Oo0<\ pȱ? <'3+:'zJ$MaJSa 09YpWKiQXxm6 s Bܶ??ivn| 5Krt ,Rz nJːH*1{3̙T"v]}t0{Hr8a2/׊姮Q+,lvưwz{uOOb@MUe%JJw~MsݲxsLL?g3G erq+bNv/2? mӖ9أ0'fH>]Q2g4,g 5-e0HAh&Deqlɖ[j? Ź<IzŮ⃪ws*Kq*I@%rr䴕beb}R;$Ƕ Z;x;:OEhڟ,,e'2:=2\EfZcE}Ǵ*kArѐka ܚ޹l}aBdp"`{ӓ{H6}>ʤjyNIt19H[J\1}yO+:Gkԛ.$O|NRظ9ry r}РW"{!7YHQII6_^h-KR B&jJ Ubg꾘sZ&<>>%+-x3l2#?z׃'RX>]/AOe#?<48EJ{`p!;Q;1N8 &uE"@ҠTJ7O!Q##Ƞk=S?8Eh/#1 %O!g&^i˸GnJl]y!)DtG['~xfD('=H9+KL`~oTV^0c˅+aXs. (< 6~i(z a0;AKw~C< OK!ڝٍ䰋B}HJr&s}JCR_"*)f-BbVG+ۮԊe ?)sȅNĂ{2¦e05j|tO `B(zi6fLg*^䈯=G,Lyd3'ql)tc AY_p͌Ła]1v7W"]}DW.8z)hU cM?bt[VQٜ? u TzvFO8<ٛ\}~:6:KWҭ_^5bpxʔ!:?LIy .4 j._#Nhls .(EGUK\,:LAi&}NL?%F+Da2:0Mn߄@Sq\~FMHo[ z'[j.TކoNpB Hm8Z,3(_~R%*g.˜L3-!oGC4GGTawح4Wi5@=>x^wKv2*4;QK% ʂRĵf:uj-Ne鬾)Y. x#$I~{.~_{m^9UNz^Lۣ(9!bgsOkSm W^4bNEGh·JLXW"'e1s9-pv;Ʊ$ʼ.f_$Od___ۧ+C-[t~()[_#7zVͩԅeWCCvY {ʭy|۫db:^7"Yjt*4*}μ&gaV v*gJ <3<Lw'5d%J{()N@ IjP8f@TXO%}v(1/v$ M:IlL՘";L%baC!U@?^}r`)itiuGmێ:6U8dtHbi>O9JBΊ B]9h; `Bɨܞ9u|l$\`[F{mF@tjm!O/#NgM Y2tZ8$51!8KOae<'mLRKb3/ gu)}6n7-?P P^OxSwge,¹- ,M,i2= 他U2彙Gf:-;XQJ)*tEAl |ba?W7/.13aNs է2qbDD©2ˍÊ`Nn&G-v^dp9L4~Di& ?IAZD`#,P0S@NרcچBLtyL.͊0s` %akHL ]}Nm; k1Iíd̯+GY8祣'C}QlO¥]ZMbҎ%w=DGterL K+fc"BW"P㦤MG u*x7-gY0@y n- 4YXK@]#). etS+!pMPGiKO~Dgԉ2o'CH%bySdY=wmL}U~@,w 4Awвs=bA>:@qqtHu1|G`_)!y]s&5ЀxҖSjQ7Hw& ͲR]7󛏅b obg8pQa8$ RN߼$tݖ;7V(-7Deub( 8DnȎHs"լNR`=qQETMcFBDmE~D P2lFVHNa{YzP&84'sFND; ̦;u+<U`DsSpV0P? Ux_L;H/c5:*a d*1v^:Gvs+AOHcU)A3boB8M52m hhUkP6Uw7=\_Wɫ$@/ohlGjOgSw:I9];!Ro?zd͖w#g7eAԇ>COJsFMF(ɢ)Ҡx,9 +MY DZOp':ܑ?#Z@씪I1E{^5@ ?[^tÖunf2,|R`Fo^CyspM&8괷K{4ؔ>ݬt,? S(I26m{Uh*ɗa b d GM{5 5O-wp7iJ- T0D+"_FSo3uϽ압̙-NbՏ5IXAј.$~+b7 l'n!FC+3X2\L,{94>&H?*}{Fb2z 0Γ][P^ ȫ7#=fo*eت4Ys+  9۶RpZV&!jJfnǨ3Ujty{ʨ5]OzB?Hc' _`/@ެ|i8usF$ya=X9k#'9f}QXfY t)mf||?R#NEn\f-{,w~Ne{{_lOm@ \cSEjm 0nwa;!d{AtҡG=ڙ5!*ng> fi F[X@JSs+LھeB"iܘ3P \0` AFcd4+5f .µ u+" 8u/o×SufTfN=>`DWEcDX"Z ?leRWFWob{&1Tc\_5{c~u0y~3о}9I:v>NIˍRTk߮`Y_CqWYmI= "QG 9mX}i4 ٫1E n3?Z !Kcμ6G9¼nIP!P46Z]73"떄e݀zNze΍WpST0eobBn 0K6>t de*X9UEs>{I5x2'd% `$ KN`{;mJ=ѲJƩl8AHt.g3h +,G}V7kUArc'yRj)Ys}޲pi?ML\ 3J[;YQN&uv]/WÌXYv|2͒*f * ϋYEj˴YpB@l WRkǪi:Su 4t_{2-d-4p.#vZ+tۚ2P̱3l+s|>qk jlb[9y8tEd"kYd7.qr)\G(a+4øi}y?Q%IYx> G8R5,g9 3/=Ds 8̔v,2oCύIՍOҦ̟Yj!вB:x8G.bTEWM&]咂eK SY~},/@˟RA7<46B͸Vxyݪ[ 9y>&tw>:p[S@4uF4w|D|ӇA{xHe}&Ȧ[\0cDFhç[As#PI7ڕE *S,OWj8r5CCc J|+SĶe@3|}]mڀ;T6#AȮ 9?WN~PX v𼡤`'a]P.#"2#ru5x7rVЮ7UK5ސ=]vfv,)˵u _#uפLR0g.Q~r&M׫˖ztߓA1 N ҥf&G_jڃ!iBDh8CKI(5,o\PyN tz,2$f0t)ata뭀+ߏ cq3SWו1$ [ձ~O8f #doR'K+l,u 6Syu>72g̅|gC3j\L89N_.[m:h9гA3 2hD<\K:fO-pC;%OzqA4&۽MCz"HT㮒 0ЈC\f${ @>f '1ol:h }m$0h'9 [#$5Z4 S/)ۑ||B'8x[o؆=99A-v#qUvՍ;Lfp$y^ +F`zͭNr!m0SAw_\{[ *xi_T nQtAH[|lؖR4Vr(5ZfA8kGM]EAo~rI.g)q̱DZ> DC">HFꉵe0Ш .^=|Lw:Hoxܓ{9UXsm,QHgYZ^CxO+Tl\Xhjk2MŊ$=e#yApkP.4x|91XA$t6zr끚}ege)`@F^Imˆn{p !u$_=/ioX7̶ڐ.;[iE޹I'1}hY.՜_$gByI:Dxhâ6jڔ(8c9BGR"esEy̱*OB'vpľT%>[K#yr1`?UA_=l֐,TSG̘Q|`ϙ##z%嶛vs-H.\'uq"0 NsJȖlZVd3D''sy6k` - l`O',_1Gk^=^Q&$p Sꂄɳc Tr?ƽ0P^*~% }=𕁐ϝfwZ<0Xe&gm~*|u }Awﺙ qyyw'Ľ:Bm6(yTu/TK^y5GTQS̤|<'7]0BHz!Gӭ_k/;[^hGEwZOȅNUV>*"Gtq3Gv,pl;x(R$ǧi/T/N* $[*Q}H~Uډ\û{ H1t8"-L?Ba*JS`I[F^+'4V* ,JXc%2&e×l)cOܶ [=xef[gF.9}"5Y1mz1gaMl{%}TN;~h^ |7]PHi(K^, i#ܤss4y(咂iLxb׺ )Ă{fuJN9'õ hUrpolZ/wom]"UѬl/s,jC^/o&(`<:~Ip.M1qC{<,ڿbtIvmZ_@f#ˍ@x4on^ ~#o>f7gZk]c ɏYC5;M`ϵk]T$*S='Ur sD_>W`1hz@{wd~6 n$en0綘 u"a?úQgd+oW:ޔd+%TN%LHj)'}|= UtogKi̹uSFàgiVݲQB;X 9̚@]C2#=# %{ᇌ'=ѷ3GpB)D]gA(?K|a]4G렵nkW9[ C :vjlq{i(Jr/$U _VMv˷a#ՆIS]t$ 5'{LioaMLCRZ> W8@AU xy9SinB"  {vi'-|7QWt?R\Q V;erF}*>M/gV;9\`LLjߵ]a/+ xUYM6ŗ9G8~g22ȑޔ}+|-EnSws#qf/U‘׊̆U}jXJ`Qc,q4qʥaw]b$Og;7$H1?#Y4y)qm8ĕx( Fm1. ƝnDj0@]ŢDEYӶ H^Flw7AdUD^/;D,U'DQA~UBqNgb@OM2+Erlf*Z6OtOm~s)UN&B ^6H4̇,=a}aED3T:@ͥ33p=QB]c @$s_ Cxֿ7egU%4#̩z]AN$v|߇'ܷ* Ru~%sf;J+Zmi9#کstV}4"_#lܩRZ/Kuy ekgxOK >ILB(6Y=?S#}}A_iUQs}ޥgM_\9*u {̊ULyO]RCU^7hF%e1KRm{=dsՉEh-?xqBԝhVF=[H9.\֟F=QwawCVN "r ?>F| - C'h} L[ }1MtA:u҅AxO<+bvzW"o*ik%t:"ؔD;y'XoMNOCB2o2?I ɄmF6%JFq);g)D#/|fe_֘=L 8`kKcIEݴsΚiP*glk'c^DCqö*g3a5>Y2|#ĺGiF9y)g3q8糧lgu2_b-r,HyR#|F{:Ҩ3zl|8iFz2>3nN'V4 9ZO'.s㋂{4$~2g\]*3=CMX+QƐqR !9?xD/x)n[bt'(b*)Īm⩾'#P ޵ħbީ?-[؞xy,RG_ 5;k'@bNiM#ߓ7|IJ fU3nRZ]_1)ٰ/ƍͅz8г}О]gC!$Xq %zK^q9J-Tv9jgK[lTF( RAw!285ۚFUbkz~A^賰Mo);,B/gYZ686c6f3ef57bb37d16a49318ec564d27b9e63097d710d56c677e2fcd6d81515c51e8dac82cf68a7e 8beb2e7ac421bb2f7c65eeb887c07b6388ccdf66