From 0fa1d4541bec571d84c726c488ba500a269bfb07 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 18 Oct 2012 15:01:55 +0000 Subject: [PATCH] - additions in basic_2 - substitution of downloadable logo is now complete! --- helm/www/lambda_delta/BTM.html | 2 +- helm/www/lambda_delta/apps_2.html | 2 +- helm/www/lambda_delta/basic_2.html | 6 +++--- helm/www/lambda_delta/download/bld.pdf | Bin 18926 -> 0 bytes helm/www/lambda_delta/implementation.html | 2 +- helm/www/lambda_delta/web/home/basic_2_src.tbl | 5 +++-- 6 files changed, 9 insertions(+), 8 deletions(-) delete mode 100644 helm/www/lambda_delta/download/bld.pdf diff --git a/helm/www/lambda_delta/BTM.html b/helm/www/lambda_delta/BTM.html index fbdaf09ca..a0fba18ee 100644 --- a/helm/www/lambda_delta/BTM.html +++ b/helm/www/lambda_delta/BTM.html @@ -20,6 +20,6 @@
-
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-10-16T20:12:15+02:00
+
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-10-18T16:59:43+02:00
diff --git a/helm/www/lambda_delta/apps_2.html b/helm/www/lambda_delta/apps_2.html index 8065bb316..b02fa0daf 100644 --- a/helm/www/lambda_delta/apps_2.html +++ b/helm/www/lambda_delta/apps_2.html @@ -57,6 +57,6 @@
The source files are grouped in directories, one for each component.
-
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-10-16T20:12:15+02:00
+
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-10-18T16:59:43+02:00
diff --git a/helm/www/lambda_delta/basic_2.html b/helm/www/lambda_delta/basic_2.html index 048c8a20f..cea859d38 100644 --- a/helm/www/lambda_delta/basic_2.html +++ b/helm/www/lambda_delta/basic_2.html @@ -29,7 +29,7 @@
Here is a numerical acount of the specification's contents and its timeline.
-
categoryobjects




sizesfiles199bytes735414

propositionstheorems71lemmas880total951
conceptsdeclared40defined72total112
+
categoryobjects




sizesfiles204bytes742579

propositionstheorems74lemmas889total963
conceptsdeclared40defined73total113
-
componentplanefiles



dynamic typingstratified native validitysnv ( ⦃?,?⦄ ⊩ ? :[?] )snv_lift snv_aaa


equivalencefocalized equivalencelfpcs ( ⦃?⦄ ⬌* ⦃?⦄ )lfpcs_aaa lfpcs_lfprs lfpcs_lfpcs



context-sensitive equivalencecpcs ( ? ⊢ ? ⬌* ? )cpcs_ltpss cpcs_delift cpcs_aaa cpcs_ltpr cpcs_cprs cpcs_cpcs


conversionfocalized conversionlfpc ( ⦃?⦄ ⬌ ⦃?⦄ )lfpc_lfpc



context-sensitive conversioncpc ( ? ⊢ ? ⬌ ? )cpc_cpc


computationextended computationxprs ( ⦃?,?⦄ ⊢ ? ➸*[?] ? )xprs_lift xprs_aaa xprs_cprs



weakly normalizing computationcpe ( ? ⊢ ➡* 𝐍⦃?⦄ )cpe_cpe



strongly normalizing computationcsn_vector ( ? ⊢ ⬊* ? )csn_cpr_vector csn_tstc_vector csn_aaa




csn ( ? ⊢ ⬊* ? )csn_alt ( ? ⊢ ⬊⬊* ? )csn_lift csn_cpr csn_lfpr


focalized computationlfprs ( ⦃?⦄ ➡* ⦃?⦄ )lfprs_aaa lfprs_cprs lfprs_lfprs



context-sensitive computationcprs (? ⊢ ? ➡* ?)cprs_lift cprs_delift cprs_aaa cprs_ltpr cprs_lfpr cprs_cprs cprs_lfprs cprs_tstc cprs_tstc_vector



context-free computationltprs ( ? ➡* ? )ltprs_alt ( ? ➡➡* ? )ltprs_ldrop ltprs_ltprs



tprs ( ? ➡* ?)tprs_lift tprs_tprs



local env. ref. for abstract candidates of reducibilitylsubc ( ? ⊑[?] ? )lsubc_ldrop lsubc_ldrops lsubc_lsuba



support for abstract computation propertiesacpacp_cr ( ⦃?,?⦄ ϵ[?] 〚?〛 )acp_aaa

reducibilityextended reductionxpr ( ⦃?,?⦄ ⊢ ? ➸[?] ? )xpr_lift xpr_aaa



context-sensitive focalized reductioncfpr ( ? ⊢ ⦃?,?⦄ ➡ ⦃?,?⦄ )cnfpr_ltpss cfpr_aaa cfpr_cpr



context-free focalized reductionlfpr ( ⦃?⦄ ➡ ⦃?⦄ )lfpr_alt ( ⦃?⦄ ➡➡ ⦃?⦄ )lfpr_aaa lfpr_cpr lfpr_fpr lfpr_lfpr



fpr ( ⦃?,?⦄ ➡ ⦃?,?⦄ )fpr_cpr fpr_fpr



context-sensitive normal formscnf ( ? ⊢ 𝐍⦃?⦄ )cnf_lift cnf_cif



context-sensitive reductioncpr ( ? ⊢ ? ➡ ? )cpr_lift cpr_tpss cpr_ltpss cpr_delift cpr_aaa cpr_ltpr cpr_cpr



context-sensitive reducible formscrf ( ? ⊢ 𝐑⦃?⦄ )crf_appendcif ( ? ⊢ 𝐈⦃?⦄ )cif_append

context-free normal formsthnf ( 𝐇𝐍⦃?⦄ )




context-free reductionltpr ( ? ➡ ? )ltpr_ldrop ltpr_tps ltpr_ltpss_dx ltpr_ltpss_sn ltpr_aaa ltpr_ltpr




tpr ( ? ➡ ? )tpr_lift tpr_tpss tpr_delift tpr_tpr


unwind



static typinglocal env. ref. for stratified static type assignmentlsubss ( ? ⁝⊑ ? )lsubss_ldrop lsubss_ssta lsubss_lsubss



stratified static type assignmentssta ( ⦃?,?⦄ ⊢ ? •[?,?] ? )ssta_lift ssta_ltpss_dx ssta_ltpss_sn ssta_aaa ssta_ssta



local env. ref. for atomic arity assignmentlsuba ( ? ⁝⊑ ? )lsuba_ldrop lsuba_aaa lsuba_lsuba



atomic arity assignmentaaa ( ? ⊢ ? ⁝ ? )aaa_lift aaa_lifts aaa_ltpss_dx aaa_ltpss_sn aaa_aaa



parametersshsd


unfoldbasic local env. thinningthin ( ? ▼*[?,?] ≡ ? )thin_ldrop thin_delift



inverse basic term relocationdelift ( ? ⊢ ? ▼*[?,?] ≡ ? )delift_alt ( ? ⊢ ? ▼▼*[?,?] ≡ ? )delift_lift delift_tpss delift_ltpss delift_delift


partial unfoldltpss_sn ( ? ⊢ ▶*[?,?] ? )ltpss_sn_alt ( ? ⊢ ▶▶*[?,?] ? )ltpss_sn_ldrop ltpss_sn_tps ltpss_sn_tpss ltpss_sn_ltpss_sn



ltpss_dx ( ? ▶*[?,?] ? )ltpss_dx_ldrop ltpss_dx_tps ltpss_dx_tpss ltpss_dx_ltpss_dx




tpss ( ? ⊢ ? ▶*[?,?] ? )tpss_alt ( ? ⊢ ? ▶▶*[?,?] ? )tpss_lifttpss_tpss

generic local env. slicingldrops ( ⇩*[?] ? ≡ ? )ldrops_ldrop ldrops_ldrops



generic term relocationlifts_vector ( ⇧*[?] ? ≡ ? )lifts_lift_vector




lifts ( ⇧*[?] ? ≡ ? )lifts_lift lifts_lifts



support for generic relocationgr2 ( @⦃?,?⦄ ≡ ? )gr2_plus ( ? + ? )gr2_minus ( ? ▭ ? ≡ ? )gr2_gr2
substitutionparallel substitutiontps ( ? ⊢ ? ▶[?,?] ? )tps_lift tps_tps



global env. slicinggdrop ( ⇩[?] ? ≡ ? )gdrop_gdrop



basic local env. slicingldrop ( ⇩[?,?] ? ≡ ? )ldrop_append ldrop_lpx ldrop_sfr ldrop_ldrop



local env. ref. for substitutionlsubs ( ? ≼[?,?] ? )(lsubs_lsubs)lsubs_sfr ( ≽[?,?] ? )


basic term relocationlift_vector ( ⇧[?,?] ? ≡ ? )lift_lift_vector




lift ( ⇧[?,?] ? ≡ ? )lift_lift


grammarsame head term formtshf ( ? ≈ ? )(tshf_tshf)



same top term constructortstc ( ? ≃ ? )tstc_tstc tstc_vector



closurescl_shift ( ? @@ ? )cl_weight ( #{?,?} )



internal syntaxgenv





lenvlenv_weight ( #{?} )lenv_length ( |?| )lenv_append ( ? @@ ? )lenv_px lenv_px_bi


termterm_weight ( #{?} )term_simple ( 𝐒⦃?⦄ )term_vector


item




external syntaxaarity



+
componentplanefiles



dynamic typingstratified native validitysnv ( ⦃?,?⦄ ⊩ ? :[?] )snv_lift snv_aaa


equivalencefocalized equivalencelfpcs ( ⦃?⦄ ⬌* ⦃?⦄ )lfpcs_aaa lfpcs_lfprs lfpcs_lfpcs



context-sensitive equivalencecpcs ( ? ⊢ ? ⬌* ? )cpcs_ltpss cpcs_delift cpcs_aaa cpcs_ltpr cpcs_cprs cpcs_cpcs


conversionfocalized conversionlfpc ( ⦃?⦄ ⬌ ⦃?⦄ )lfpc_lfpc



context-sensitive conversioncpc ( ? ⊢ ? ⬌ ? )cpc_cpc


computationextended computationxprs ( ⦃?,?⦄ ⊢ ? ➸*[?] ? )xprs_lift xprs_aaa xprs_cprs



weakly normalizing computationcpe ( ? ⊢ ➡* 𝐍⦃?⦄ )cpe_cpe



strongly normalizing computationcsn_vector ( ? ⊢ ⬊* ? )csn_cpr_vector csn_tstc_vector csn_aaa




csn ( ? ⊢ ⬊* ? )csn_alt ( ? ⊢ ⬊⬊* ? )csn_lift csn_cpr csn_lfpr


focalized computationlfprs ( ⦃?⦄ ➡* ⦃?⦄ )lfprs_aaa lfprs_cprs lfprs_lfprs




fprs ( ⦃?,?⦄ ➡* ⦃?,?⦄ )fprs_aaa fprs_fprs



context-sensitive computationcprs (? ⊢ ? ➡* ?)cprs_lift cprs_delift cprs_aaa cprs_ltpr cprs_lfpr cprs_cprs cprs_lfprs cprs_tstc cprs_tstc_vector



context-free computationltprs ( ? ➡* ? )ltprs_alt ( ? ➡➡* ? )ltprs_ldrop ltprs_ltprs



tprs ( ? ➡* ?)tprs_lift tprs_tprs



local env. ref. for abstract candidates of reducibilitylsubc ( ? ⊑[?] ? )lsubc_ldrop lsubc_ldrops lsubc_lsuba



support for abstract computation propertiesacpacp_cr ( ⦃?,?⦄ ϵ[?] 〚?〛 )acp_aaa

reducibilityextended reductionxpr ( ⦃?,?⦄ ⊢ ? ➸[?] ? )xpr_lift xpr_aaa



context-sensitive focalized reductioncfpr ( ? ⊢ ⦃?,?⦄ ➡ ⦃?,?⦄ )cnfpr_ltpss cfpr_aaa cfpr_cpr cfpr_cfpr



context-free focalized reductionlfpr ( ⦃?⦄ ➡ ⦃?⦄ )lfpr_alt ( ⦃?⦄ ➡➡ ⦃?⦄ )lfpr_aaa lfpr_cpr lfpr_fpr lfpr_lfpr



fpr ( ⦃?,?⦄ ➡ ⦃?,?⦄ )fpr_cpr fpr_fpr



context-sensitive normal formscnf ( ? ⊢ 𝐍⦃?⦄ )cnf_lift cnf_cif



context-sensitive reductioncpr ( ? ⊢ ? ➡ ? )cpr_lift cpr_tpss cpr_ltpss cpr_delift cpr_aaa cpr_ltpr cpr_cpr



context-sensitive reducible formscrf ( ? ⊢ 𝐑⦃?⦄ )crf_appendcif ( ? ⊢ 𝐈⦃?⦄ )cif_append

context-free normal formsthnf ( 𝐇𝐍⦃?⦄ )




context-free reductionltpr ( ? ➡ ? )ltpr_ldrop ltpr_tps ltpr_ltpss_dx ltpr_ltpss_sn ltpr_aaa ltpr_ltpr




tpr ( ? ➡ ? )tpr_lift tpr_tps tpr_tpss tpr_delift tpr_tpr


unwind



static typinglocal env. ref. for stratified static type assignmentlsubss ( ? ⁝⊑ ? )lsubss_ldrop lsubss_ssta lsubss_lsubss



stratified static type assignmentssta ( ⦃?,?⦄ ⊢ ? •[?,?] ? )ssta_lift ssta_ltpss_dx ssta_ltpss_sn ssta_aaa ssta_ssta



local env. ref. for atomic arity assignmentlsuba ( ? ⁝⊑ ? )lsuba_ldrop lsuba_aaa lsuba_lsuba



atomic arity assignmentaaa ( ? ⊢ ? ⁝ ? )aaa_lift aaa_lifts aaa_ltpss_dx aaa_ltpss_sn aaa_aaa



parametersshsd


unfoldbasic local env. thinningthin ( ? ▼*[?,?] ≡ ? )thin_ldrop thin_delift



inverse basic term relocationdelift ( ? ⊢ ? ▼*[?,?] ≡ ? )delift_alt ( ? ⊢ ? ▼▼*[?,?] ≡ ? )delift_lift delift_tpss delift_ltpss delift_delift


partial unfoldltpss_sn ( ? ⊢ ▶*[?,?] ? )ltpss_sn_alt ( ? ⊢ ▶▶*[?,?] ? )ltpss_sn_ldrop ltpss_sn_tps ltpss_sn_tpss ltpss_sn_ltpss_sn



ltpss_dx ( ? ▶*[?,?] ? )ltpss_dx_ldrop ltpss_dx_tps ltpss_dx_tpss ltpss_dx_ltpss_dx




tpss ( ? ⊢ ? ▶*[?,?] ? )tpss_alt ( ? ⊢ ? ▶▶*[?,?] ? )tpss_lifttpss_tpss

generic local env. slicingldrops ( ⇩*[?] ? ≡ ? )ldrops_ldrop ldrops_ldrops



generic term relocationlifts_vector ( ⇧*[?] ? ≡ ? )lifts_lift_vector




lifts ( ⇧*[?] ? ≡ ? )lifts_lift lifts_lifts



support for generic relocationgr2 ( @⦃?,?⦄ ≡ ? )gr2_plus ( ? + ? )gr2_minus ( ? ▭ ? ≡ ? )gr2_gr2
substitutionparallel substitutiontps ( ? ⊢ ? ▶[?,?] ? )tps_lift tps_tps



global env. slicinggdrop ( ⇩[?] ? ≡ ? )gdrop_gdrop



basic local env. slicingldrop ( ⇩[?,?] ? ≡ ? )ldrop_append ldrop_lpx ldrop_sfr ldrop_ldrop



local env. ref. for substitutionlsubs ( ? ≼[?,?] ? )(lsubs_lsubs)lsubs_sfr ( ≽[?,?] ? )


basic term relocationlift_vector ( ⇧[?,?] ? ≡ ? )lift_lift_vector




lift ( ⇧[?,?] ? ≡ ? )lift_lift


grammarsame head term formtshf ( ? ≈ ? )(tshf_tshf)



same top term constructortstc ( ? ≃ ? )tstc_tstc tstc_vector



closurescl_shift ( ? @@ ? )cl_weight ( #{?,?} )



internal syntaxgenv





lenvlenv_weight ( #{?} )lenv_length ( |?| )lenv_append ( ? @@ ? )lenv_px lenv_px_bi


termterm_weight ( #{?} )term_simple ( 𝐒⦃?⦄ )term_vector


item




external syntaxaarity



Physical Structure of the Specification
The source files are grouped in directories, one for each component.
-
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-10-16T20:12:15+02:00
+
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-10-18T16:59:43+02:00
diff --git a/helm/www/lambda_delta/download/bld.pdf b/helm/www/lambda_delta/download/bld.pdf deleted file mode 100644 index 469d299ac11281c4c55dc0d3b64de81af6414dc5..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 18926 zcmce-Q*dQn*T)-lY;|ngR>!uJj=f`B9ozPf)v?vF?d;f2$4<`kydUbjIaTNC+{`h? zzs8zlj#ag4)vP&xl*;0gjI2x?@RZG$zu(~5Nmxi6OaSl#0wm1x=JuAZRwNw%NUHE8 zBqYp|*0!$Z&i`0jV^?!=b5jR1^Z)4TUXJD@%-TvO0CQ8<|0rs1Ca(VxB^{jY{-cPB zI(U-k{WBE{2^$+16E`<27bn~Qb@l&~Cgtql=13wS@Ne*M$^V-AKkENTYX7Lt#`Z3b z#?I#Ure6Oei~XaEo4Z?^nyX5Q{woRz{W~(Nn!7l-Ih&fhkg)xyk$+?tS7&o$J9y8W z%iO6bDutxnCnqc~NPUdYYh;t}5TrP>CdFGwji|I1A)`NInr1I2rd=4e#w(}83}B0g zq!t#B^KK-cQ6}v0k?DRbz#AS-JK(kY}W{?cw>uboue|cU1j3NJ61&M~w6CB=OTU|1ioO z8teG#cX^qF#9RHbay^5=oPRaf_F{4U%U#w@WJf^G(QU=eowxsnhA{EXR>>ZZN|gKd z-6eqXtFpB+NX0(%w*1{!YN64DLCdxKOGtQ~LB*;0ZRF~AMe=v4AsqEd)s3(%J}jRT zq-@sCfO|1(=7+L(p7U~~UgX;mkm0mgS6vg%v2H-j$wS#z1BdiO+)Ft?q?0q^ZG><^ zIiR{kM<*tu7uBy#y-38GzKn7Biir-nyK8p9Bb8HvlZs?G1WwgywySFB$N2>7uOc5< zDPMK0GXqyai<-rZ>9M~7cF+8GDocJ#m=6c<+E2GD<8z?OfGyFaJw3Svtf5Xu1ocdT zF5s?KQ*^W3~^->!= zJ%V~!O*8k7ld|hUEGuzNBg=pEn%k$N$GI<6`?-$8v~t)oXjw@wnov|@d9+Qf+GMF_ z10-$V%lu`_sn&pwv`@* z3IHwvi04j27wD#2T|XOfuTNw~Ef$ghnAuUBi*rs+$S6BBsZm7a9y)}fKctatyK9Gg zy-76hrN509&k0)vy z2rkORCA&GR-|J!BSm}H!%!$IOTv+O*m1^p$SI+|QtZD81z_l75w57m$3RMKe>?T*7>d;b4HXb+}x&NKc%bu5qH~j8ob;G?DvZ> zSU%Exlx;P|(|Y9!gRKGCx{ah_z8mc_eS4*NQJBqitABfh(yH&n<1w2Yaj&!gd zyNmTgj&DM(pm{tsiG1<#WBt@Ec46{sI=mx2zsdW+8~tsv&~@@q-GqLK`<~xcsEap8f+pfI(nqp2rNy{LP`fja1WcQEVhZ) zOW72atHdN>Mfx-A^LC*CGCVxILLX+k)lyiUZ6bO|sa5Jl`Nd}xUFyp_JFQb5P8+-W zOcPz#sAD3ya%6@&!s$!zXA@pe>8{8NRe1ezYsFWjSj%|VYpqwN)9!|cLDUvMcX_dPyl3%uj#XPG|=I!cO5Q!Qh<&BC>?qS(!3A)LAM z(t|?Guqs}y8r)k^hGz%RZ|7bl5#=7pxd!h|sc5OX8$JE85X|V0d0X;=v!b#9Ds84K z^RLm=8Vqv`Se@J2=Qporec}?)6>axF9_|2`=bn1g_Efs1&4(7DfztbC!A+zx+k?-n zOKy`tm1#5e&P0Eiwl94G_q_13ZGuT(KUHA zVPV(~BbLiuzd~ys+BTI>JeC#X&OfqzoCn`9D2$97u1TCGmg(>5{h%P_4T+}W@j{{s0Hs2Gu7(E}nsq@9&F76`p%)KoS( zL5@k;XMK3A*;*+u?39cwT@U4}EGn6JRjg~cH0d%b4N=as! zeiIPsRyIg81MXqZql4M;he0PDKrET~jsTX``*Lv?B8#9aMxB&}bbEHued5aqcLIq&BR^{z=LuFDZv>8pE=GB$`rxx; z=QOn%G3R;aH{#2h-6}cjca{r>hs_Z=!kf!yr^}tBY}Gd$vZ%gGJ~@T!EK;Eo^PElH zt1k7!EtQO*RcEOVa}ZI)j<`8qW18nzaN_LKDHRtUzQLEVHV3?3Q*VVs-?P~xrg2a} z=Y4lC;jibNj$|1r9K@nAl(`$DcE2>>bqZ8wl|*z}=_xt}O*b2!LTvXAJT7VKc9mXb z+|jhW+YBW;%0wVwiPhxWo-CC5r%(z1Ch*%Enh2Y1nyT63$vfpACdo78pqN(e^tmvP zB*T>=wj`C1DNCBOYn5~|y4P2|ZdloO+u9LRRlZkA{AHDy4pui04OuqQ&2-&AEBh@E zc%VKJSVljz7DX&f`{bd$t_#gr^0Ugi*sp?3D6l-k8NPgvr2N@Ty^GfSJ2t|yb01N* z&1^{c zn|m{7@z5qibyxf}x$JvYmGv7S!9GqhqnP}R3ke)&OB31hWUhj9*%M=~BqbkTS_NiH z10O|qN%&G14oB`#(JEapqk*DLBc3oSE}iR%2CuqvattG3QML^ae|6Fs2VGrHxn^dgkNwIzgb&_MYB5#X&}LNl#5^fqiIHG!Xf(jib=4 zG>Uc3LmLUl;u6Y+zJkFfJ-uYbu1|E-G&Z(WOS#oEF4NLrvWmD&6(+rszWKQ3RmnQF z8L1tw*P^H$CSJ;>>o1k~(j1;n<8JY7Uh%6mXkGP!WRDS!`0Wv0rb-%XkO2coa_XdV zPF9t=h2v1=#!5?r^#BU|0@G)LsuFIFJX3Lm*+_jkJ~gSMq&@vZR~=E|uqW}m44Yk- zU7$QIJ-2k!oxYtrwWw-q7;ou%zh|AXP*+w5^>?K)N*h_d00E#mld+{y5l;55JYh2z zOo|6*`%Kb2=O&C7+wXovyK&d?vhTFS-+IWpyMDMoR#t$TM-Pw_#5t-f-O6b0ZHu54 zqkX*~#WB>QZe^{~4L{F$J!khYihO?3t374&1W@1HRQoq{my!Sdo{%R+Ujr7qkycRo z(~jsY2&a_>@RR9lr@X78GH9viz7QU9(MmmDL173K^~3vI^?F2Rch;c6 zSxa4x)ygz2Gn>&xzB}rxuB~a2QfpB?q>YVBz@)Ic8bq__my#gGTx55QMx&S`cT{A1 zbUBcAAZ@YUau(6zoVR3p;>$R)53kb&0MxTI;~*ljjcn2|GZdzx_u3Kqo?u(`+A#-i zac}-)6h*?K^5syb-_hsHL0<%yF+CyAdG|4bRU@VLO0gk)0be||$5DC}Y1WOvDwXl< zS#g|u5EId>6%(;}kaeP8P`F6pE-^keLL89qx$@I=#2~C_m zfe_+p{RbYPrl{Q+!e2Q%*%^;5-MALb{<8# zeVCHCy;)hr3(gg(d;$ca$(21)3?zJ2%0r!WEIjemP-)i9RCC8Tf8^$Wn`1EQo}e?X z?!yxrP{!DD+=97bq16Yw@b%2zAQ^l=E0bbOol?L)$X|f17?}gordF*eX0=@mNhpPc zwwM>Zyx{p9Ziz<$&5~uO?lozHg**Bn?i_6}0j=u`I&>DT&n(4GG5Nhw7>s4dE>|P^ zAGfs-K7Q0kWxK<4H?<7?$z>}G&Q+SB6bI_+lvo#=W#~D4>-k#nZnl!IQg1Tv=gHkd zbzSnjHhFnuTy>fE$LbKOm)OM9OqyRgwDAqEsJ+B-2RFfqSVJ}-?`OVEDb=OH6bYwd zK!SXpJ%)leqRLgA_5HtrinLf;rte)`{(lCJZ#X417J~O{1dNQhOj!(%qeFuEzz)f&HL29K8K`NKv_EZC{M48Fr^Hi zl5H(caVwzYvB8q`pg#NIomwdNvgk{dK!;vwdY6;}GY~nPg17?0bjpABI3z{4=YRb9 zpG&-1;x}5N`-p3y->iPb=4`1f*mGO(S$IMdCCFioIMCiQSFJWW4Q7sa&$p~Gw4qbu5Qc^M{>Mo88HEOh!#$kJ$})v8+Iu3rg5N7`6RW>c zgBJ!xxNnLxxz6yxP(ioivwoV|9*@_hD`f;1(lnjVKQ;|Nlw&1*vw?7NC;waBueno= z?WDFLt~;_#A32kNc-s2Jb%Aq&j$K6ev>@ulR!KosV9XPSVgTh^x#zR3{x8E@<^yBY z^0LDYnm<*(T~AIX!p<`W-;=dP2se?(oiVNC(W*$sD{cV;R=u{$8cOqHQqGF7Dpp_A zz{}qX6Pivd&8ddvp=n~)-E30Rqbpc{FX^lW^@JP+{UN6QWR~Nl^wi;59>TRK4-aIP z70I2%+X7{T)Gims`FWH>S|))SspUcW9F3lO55zkLyJ`LQ=F$Kg{#!D zHst&Chl}Z7Q!FEycCM@+F$Ru*Sa-3$;)->vG0Q_CGmlS1KkFcaexozA9db|RM5&;2 z>=Ul_7LfiLuK?_wK;*E0%w8fDn@gW&-lb(H)%fqocyMuGX9mg;2>Rt6=X&5>j(8TP zh2xJbFjub2iwTj6r!;lq7#%19Bzhoa`tRqwu z9_klxswO-stFadu&sHJ@$QgD_ z9*}Y>4}Sx}ri1O~Dq0sZx5GX_6{qp+<0N@X9`&H}Sl^2933A3l=0CnPTo-gZV#`FS z=AYng!3C)~ljQV&1?&fc^!FhhjOly90^1m<13!^3%=yV~kaPCu@~)6Q<2OD!TT=4u z^%Nvo%?=KLBk>T@B}dE_GZw3Fp0|NMa}BO>DR%;9CfECA;hmcq1kLe`6D#WczmN2uhr02p zH230eIp*UO1Ovn>8{$fIdl|@|DuT8Xeah|9*b>NO&Pc|p@5_lEe-RDxmbvr0ma^(G z{%F4Br4_-|DWa{~XO4{lpozxF8Ctp9G7yhpM@kbsK0j2}KD5fZCWfw4;ue(vlCBLl zksO;dyIvI2+CD{-$=lwygo`W2$9Gx^hz20v(=7#@vQ5Y2{~SaA zEd_dXzlF#CA!XFg;2v33U*H_EAqoFO{>Ony?+O0Q5^;)&c*zKEl=hOdSi2zY<&5j* zPlK6R@ylO6RZ@Cg76uY9xb#Gi*Pvi}^6-crR7qVF0WnUc5S7BJc*J~<5&3K>irwo8 zl0+1#KEiPw13;7|8jpV9Eu3p>605+Vo=6MG_>aBRurEY#7{C|jah8x;M(YoOWCEQ< zrHWQNKTca+*F(}S3cf_C&Pa5p_b+7s^x)p9ZUZ(t83s?_FDy7g;O_z(>m zimZ$o=Du0=eEr{;Z%B*+`0v2ZEl+%tZ8i`T+O97KGrtaNw6Nrc3Etkv^m~gh?Nq^q zgW@c2@54cE`rnBD)`A^I&0Ohvf+6o;=E6@4$Rb*Z#;Zfj?MMiaXvX(}g&c&P#i$gV z7JX<0v+&irkuW#~hns3`A@;Ddo16Ecat6e^;w1^5xc1@M2CSL^*W;~Gfq#DQYN)p4 zr>VtfP&$-M$RG{!M~1YQU_ptm?fbJ4Ao+^-uvjP>|1ePT_w>r+yFa+>-mMTdCK30dST77nKvUAA>atL5B@hvE)@;Jo;f9Ue<2+W zY13u^nY!l6WEHneKXd{Nd-FaaqSuyjcQQ|FV>p-hQ<9{;ZNQzV4pgs7r+R37_=l<( ze+Mbn6vV6^xAkh2qO7a?It+AuwkG5^vcb_ zKMIu!F!zGI3O|Lj;95zWr1#TQ`Wr0D6dS*(qHfS^ELDuPn0O}6K6TJ4*hj#z+1Vr!hnZl;NNz`YU9hpi5+x)*&F;9 zG;OFhRL{2BmAfai5rAh7?1quo%eLOntm~WMK+YNtu{oQX z1dOUresQZ?0xnTPvP*MM#J8QL9@tub+pd^7Df(QHg>gQdu-nCb8>tcl9_<-LHQI~N zT5r?Ked-yc>5b@%LSQeJvse76Kr)lmum_ca23h`LBn5rw`RZm!Q%lw#m#mpv0LpOU z(YBIMHsmqh8_m|zAIQPV2dyrNAdt+|Xd5%BS1LQf7%!R>eASVa+FxqrMVOpnN=v8_ z3|@Shk+sNJ3Rebl@uVnBG~>*)%{{T8y(uaBxNl^gmSuBR%9Lxh}pY3;u+15Lw9Q!?~v}a#YJ+vTgi~#Ak_3KJN}_-m6&8-U0%z|ZZ)F% zF+35~T(DGoh@toENu8!C(nwOb3%J}ul+tiPB&yuQbc|yn%jH_KeUbf`D$+WPeKV#c zK$GpkJ=1=woH=uwyF8K68Ua0&^B$W$M^1uQ#+C&_$K|9_$3@Q!L2XO{Z z&u$nF!g)o4PdfcDgsboso!ygs%Wjru!C$;>TMccFA-RFs(FqYNfGy5BHOQ+(Q*;m| zmm6S9VTjx2-fFCvSprN^|64m^V04%TI;@s9Y-aBeMjEyl{VFPvH6%fYIMe zRZfNOxHmxEDCsld={s9VI*oC5CcyavYg{^*f$q;M-CI76)-Yt002M8Qv_1Io)iI%& zhI}MjkEw+I$fRMyOR2m!P$3(aS<^!JtIH72Vjtj?^kN71F#cyX4b@t#g1aTY6$fQ6 zmIZy&CeBi)Rc_x_Xiis&a#*FkYX?phdb0`UgX;$zrAAJ+9eraqjL7hl4+OlxAL`s) zimXW3AZbG~qH*us+or%JcefV2jNytBTW1Nck`y`KjGqi!eHu)L{c?>7S3Xxzw_z0)p4T$^Bw@o4*lj4Q<+lKxk zEPu@ac3wL!hv0(Wk1Y%z4~U0h^VejKiA=ffsHp%r87+rF1#k*~NhTEg5!j?@Bf>Os z`&?i&z@-qUNh2oeC)0B8*nHJ#-%1wC2=xK{x~#l}Q43KMPJnpRQg_zyj6D?}NmKrO z)fBV>o>*SSw@7{~TA64mL*7}rDF{{O)7W{0mofS9Sb(k)6S8n%v(ANzI2>3!U7WTz z$q#VjB+X!BMmz$W~s$ zunkBovzJk_5EW~Pm2^M%KFUG?992}3U%WV)Jn5dv$%xG>kZY(2(OJBHsAyiwu?8YU zP{i@5yp|^7Cowe#=oqkLp++HZgH4}q9K9t(G$c@m9o?K;n>^a>7}sXdI&u>66*LWt&! zemv)3CB}$2gdgRk(_&L~(sfcY_l2&;f>+L@%DtB>ST^yqf|+(yBh5s=al79%kb9HW zd2{x#;cFN?ACWN%$}>+j)8z1!r#6A=PU;?Ig8CC%(e`n_%rV;eS9A-%a=#JFGP56l zpTtZ)XoCn!V(VfW3Vt^!T3n=Eu6)0Xz1cKd{(OJ4bEbe+uR@2XozfFA!ch!z#nffn zoiuu&`Gu{vL=di3pfIUgc%8O}yOo)786%pDhdy8WtbM416pifn8aBuM3bNA&`tvDh z(<`rjgGgSAk~9F6=~l5wqpKG;;kFc$Fx9u_WYbf_KqSc8C_Jmeh0`TFaWsbVfU_an z)e)=UEnFzXnpT(qiUj1zRM1<*Fu1qSPi{YH=sCw@gq(NGmK(yfMp$S0XLR!qWX8)v zsS03}LkPdO_C$J|*xdChB%dKD#sAtz!HraJ37NxG%@yz9ge%G}rae#%w)>498$PH) zlz-KQ8Kl+$lN`1@$vn5EsEJ^et9``?TSgwcW3@W#4DJY3#B7LjyB@UHQxSRr)Eyi44L zM3^MDoXe-(jy(~Rz#MSiYW}4)9@Oik0cf6jx#Qn#x1wOo zF0rc%5ANJCwTr7n^e4>5Vo>*$oyjQ4pG|CQlQI(VGl5A#fA=-AkJM=;L9ueyw6v z0wu@_BT-=K`@Au0<$WU=+-ok4%N{vu`Wt|*9IRbdg^8}|WiLj&CwLjl>3zvB!Vk6-6F_XT=*PS#W)HW+<7rbKY z+J=N68OrsPb%-`oq!lwV3D=}^xh^9(2h`>3hOt$w%}lL+3}mDtDy9`C>ppDC*az5* z`IohA-9O%gcjvypxR|k#b;6S;_+-oXSWou$_vQBDTGTXjWs9b`rPMMkSl?agd~IS< zhwMjL!<{7e?=QrZ3A%(?$en9@?m&}|ur_KVKHe{v{%s%S1Bh047$@Orv;KBJuAhFz_FP#A#Cc~evis$c~dUkdE zIfKp74Du2l3rMU6$R}rCCPdxnqHb>3y9hW>jUt*6vDGRgG+J(b)XLp~hCp?);p~<| z#K_c%#*AS~zn&T?X0ALNY;l-bM+y23@Pf33QK*+8K2ZW;GjqTFrB=^lG2+C+Bu?+2 zM;6MTys_USCrzuKapl5;3Fg3B^bD*cTY=XXLS`$YEVEXwzqPm#&lR6=TR=t3=G_$0 zPR)`l1ZX6E-!&#I34^ohP%{G-vjB;ZKM2T4v7SE5_Y;45Z1SlMjhlS;jLD~p+)F3@ z0_7ABoPL;6(OG2_DmgN;xfX4>xbl|6k!F+Q3Q(F)Zj>YOF@ zn!uO*IsgcVDp%og*L0CsKRFFUJ|jmh_F!k zL06@RP0%@}grCdAP&rzKLQ#g)RYbee;3DhAq}fIXo5dKvw(ZKZu>K`9pmq(X$xMQ% z4yr_xPX9p`Y|6zzq&5h^2`G?K2s9g8pl?<|RGa#7S`>?f>E@)vD$||4$e19BXfT;r zuta2@YegdI!q0cC6nx&)zfinPB}Ue9tN zF(mN^k*w{~U_pFhE%nzUqopz_SS4vSU$YHmWjgtbY`D@&miJacFUt6@nJS6_cb=h8 z;&c5epJ$`Pkax`ZbTHs%I8r@8LXGwYVVzbg+}}#uETDc=f$Miq{sRjfCi3kZO@BP<9T8c1RiqSzm?&j17 z4CPXKZDdsojbWNKJ}O#I?now^6wnkH(U#E`$SBSguSE!k z$7nXDk&A4&RGV)H=DRW|W?S*u?{Ll$j9ih*F=RT}%LfW2aXR8smKGkml5&`PFmXCM zyDML0Zy!C?qK44ABe6EwzFF6q4sfN}kppi&fJ3)V%QjwonRu{^<_0DB9o``hSUDn> zWBBtgWbW#ParSX$&YBT?n=shErgb{hdNY^o$(iUOhWW4&aU2t*t6P1J4D|Y>NQHvE zX=}~i6Q&i=;F;Ze$lEP*y9;-f(lIVu>6rQLz1Vj@rBYok~5aYGTjS-;PuD0hO4_hw< z5nXkw@{^{q%ZuGBT}@h-oVR|zRyI+l9CT}k%(fXn76aWzI^BSHR1l13hul5Ez`Lo~ zeK^QOsPbKr*__|`enk9WFbcn~*NzCh41povMja3lGD>p;RmhzlPxN{xv&=|(c94*@ z#&XFIf$yC)#kf{&md3vARv3nu$@zx_4$Q*q&YmpmCiy~bQ*62BX|OAzXmPdT@Iag9 zHNNa@qUr9PP2@$qhRH#4h}iJJcZblB31CCF6>|{7w`ocHQ;iQ$RqWOv!t|KLBHk?a z<4G~YXbnUv#cROh?a4M|Aj2I_WdGLN@gZ2uQUQmdRG%q!n4liO&BZ0e{7Hu)8WJ9z zbn4YumHzg+nU#RusaJvu73efNjmvAU@KqTY?t2BLL@_Eb(d^6bEGkRXn#qZtN@I9K zW$P07P4uWuzt zJpNoPnmZCJGD5_V>iGK8daZ{7ocMK0fs}8^c435u&Wx!#%Iix&moct|U&6QC03~gM zUj#Xmd@2VEj>7I}^rN|X`*4B)_OKmBl0crjjHgBhIUx#v>9AbY*}Hy{3K&2TlE|$! zSDKtfiGl!9yn7@G{X>atkE8Q#+=S&U$i)lcJ3YDO`jHqB9ZK8Je`DK(WK-PvWo4HLlQYM`IFjyxtZDXX8U;*=r29~ysi zSL4E`L10J5%NG@BzVVL4oTtodYep_J4FxstD8xb3PuxN2-kX=h)TxZ=z5paF2!S2v zG-Lqo3LaUZ!YBG&o{Re{)p77t%bY~Nr23Xu)7Q=iozPgwf5RBbkAJH1?FWsdh7)UiY}e8;<4{HQzNBdgiHu3CmqF$1-Y} zt^P>JS~rkX{J6{#HQt;KwN~WfrdB*YO3Ou>WId6=r*WpRPI;A$X&-`-S~Wd%ZR{AC zInB>Ao^auBWLJeAT%^s%)=@9Q(Mm%fn$77WqMTkvENS`g(9Yk1L~_^ zSAkQ?{rfvj1vGdp;IhvsRcwHFlDg3hh|&ab>Mh^ks%%$|(k?U^h8Wo*3+miUkPRsa zu*5c1&mn6kOJ8#9yxQalu7<}ROer0S=E)$1zZ7#_$VR>6-Y|8L&0GeOK5|9lJpIim zkg@4nqL^O18|il$zJn-yFw!{1Z0^6OBdkV!(QbJm`5DfBaOIKb47e5o)J+Jx^iT zs}bH5is4x4{m`wB*97|WIRxa2)6WEFL-!6NDc3%koJ^^VyKK#~ZBzC9tQ~lx#QTFx>Pg`_R~!#XH z68N5_MLk$y^0Z>`0s>&2|VXopXlJ9V2TcOG^AMHlZ``r4)s6a-A8?#p;w_mYqJzVMb8sqQZ+1 zyEJ!X8klg~m%r=TvF50o#KU1p-%YDA zpU8Y4*Hn$~*c8c>K$e4Hjz!}-=%_auUY;y{`qL(km@EvXKDkR&7xif08V6Aq{hSu0 zYX$>WVWt|6wAJk~opS(OM*#v&LJgxPR>b(s5RH?YS^*T@wAe2~!y^*An_Icg z-+`)roBwQ)fM)g}h&I5g!sSi4qx6xYd9VrBg+?3urGrkHh9OzsJGV{yOI?tcFa>+{ zVP-uwWvT-RGWkwE{QZ{~e(f{4Ysgb8n=QV>)uA3vy_#FyoG)GmR#fB&k>B@gU)}}*3w{#;nqhya?+VWAy zUDd|xytpx1kPh0uQj)h}rchSV7llq8ZCuKsrL$$5XIId+C+X@Ia&txP^*2whH--JO z?xsk-h5hqNlKk~St3Ie`x=Q!fcy;?;cN%2 zWEls0hIS>8ORj;;H~AKfFmMSV70`r^of z2{&}0l@3ht&fGM*&U>Em{I#j{b|Brgv5|&o$1OjB{I9Q&9*vQvqk25WNW!f9wzI=8N5P6`;qp1cU*ufM zi8t!^jk*d`aSxG6uC=y}s^&8hmss_VB8Y(MP3)fAZwzLBHOVfLhj9yKCs6!v@@0z8 z6qUzfA|@Qv?2bXb$uh$lyO+o@KbDb-D;7J#f1V z*S~fg{DWE$J^3;jdm>Mi$jY{SDAdduT{(s>>Eic95yqXsZ`Dj zTIYYS%-Wd@^Iya1F%-hd+c(yV2k24=kZ^@Dq z5j#WVliVD(wbPUW5|12GuWot0335F1?Q0LrGLzNXcGmNQH14QZ3$PuqPq#ZT8F8PQ z*x{(uZRS}u1+TjF?ueYR^0fx3X1OP^k?GT>H^!nKt~&p@%Pa2Uq;XG)9l6xHy?*sT z%~O(K>TGv#tG{FBZqUNfI%k*QOj<%ewPG$i$(qb-`1cOK7;T(Q%q0mS|0lSg3n{gI z(jnx}t)-H70v22pw={QLM2~vLBMB zweo%YV7P6OiXbj0*LyI2vO6Z_o^c)7`4G4+B^hhUF0uJw@AP)$i=^)x6kEC9(ICli z3n9E_o7+J)_P}ltsAZto1RrUrm%)ja@~lJ3g@R44Bne^$;S)EL(7(Jz-q0h~>AO!P z{N-h*odhD*4gQN6o@-t6Fx|CBlN2Bj)=?lw9*NmxpEscBv@ z*w|l39X;m$$E~N09J9UmBO9dVv>|8js!TNf&7P8ZJ5^j%c;w}+;)LYBMQ2TDQ@Moy zf#Rp;{48D%#RQh~GFURr*alrhdz(~tdx!nLV_xBgl10Sbf)N=lq8+DCN;NX=NK*Bu zD=-l0_PW_#Ys{7OhAknp5uFguW)2#BH%5>hpR)k*v|IicY^>MT9fiY;^N)YN4Fg~1 zwd_oif*`|+%X<$>WTf-?WAoBQ*0E`0fD@7(#y8obtjbHC?h5vrvD`8=T;{kQ33)?& z#UxVxP)p`s#k5&A{fJ(wn8ER#-?g;(!*=)8sOS!tT__1C$fmsO)?>F z2bNFu3g{UBZsPoNEQ*v6H{T;OwS$82l?UzP>Gx_sb@&d?DHT|gDp`(4jtyB*lC<9! zn2T8bPM5ST$GB1|quJJi=g-h5G#ni}>)~W&J1rL1JgjH1YjMj!%_kH~ra$c=(ypMJ z3#1_!8`vJRPhlSAhJ84$y|&0-$N|u-Owt~J!>YDk&w|JubVBbOc)B^6G0-u8yj0J6 z+Q*#AyH71YC)Eicuoe9z3;SA}G)$>n!gcT%4++S}O+4mW>Q;PN_f3mDJKR`mx(x4= zhqal4l%H__Nh9X|X1ZAe`tbS*0>Wmht+=_zT;3l|kjbo{egJds1=m3S)piFstya4G z6M9ip>+K|NI`E5&6%f(@zL{Jas%X98YZpVw-K%cXW#(IakADv4^E^nEJnX$JPQe{g z^uBJeenViraQGACWBJf<|A?ZopCj#`dj*2Kc#-hBL)~`q?zpvtdM95w9uEJG55V&F zX;4-3N7_-AwLxFtoNd+h+*|=RGf;YE0Xe;{D6BW2O|2Z^ry%RK42XqS6Lo)5) za##s?+;0>gXML*)V%y|g2x%WEUib+)9EfMnMf>h~N_^F!jT(N66F$zd{2qd;4Nf7gHHLtmCex z92eubS|B$T!3i!I72WXsuhfgR5~we9UYGJi4KwOlrP_6aXDWbuv~^@E_D zf;ak?e3vn1_!PtW6~lv}6mNLPnBh%@E){$y>J9Tj1M(%MjjT^fhginwlZiJBiy|ju z3&fu%`#)0`h|ix_1)0`bWWAN9_KO|KDUV_P(5D(may^t#b>!W8!l+luAtkekMR3aU zXYr}Lw>sgqB}qf&5nFaK5qfNyy)ITS3H7`hdg4mxVJFJg{QQ-yo{@Ak4T?~A`Jf)H z%lp;|L%nztIf@Xqe1Fij=&;s*#<ZrZ{#VIvWxt*O>C`c(%3@tlq?lCQU@14=(EC1R+iw{g z$YKN7Qch>~jH+ca5A}sr)Lx1Y>i5fxW$5{O@1f5-I;;(F5QcnA&wb@J5`M}G_&Pqn z{ybEA%D=+N75KzO?!WEF6~6Am!=y1%}9V+#0sEPE{dstov=aR~Sf zKNo&~c^x_b0{fbkUWYfgH~ViS^B?bD`t)Dq^k4fAzsbtM&Bpt0#=r5u1n0l@zxYsQ z2~SrkHP?Sw)c*sF8ngTpkT8phkg$?4n;QQ!{uc-O-!!PCgT3qj$+lo*VPqlU{0|uV zU&!b`dH-FE>wk;=4~D92Z24cntMb3-sp~&;{|_0fU~Xn@{Qr$`75ire|2*tM@-J%p zUtI0~FVO3Mcg6jGy83Uxm*;;M^8W_-{#PO^2^$v&2mC*8=zjs)DRm!Z^%Y#*&s32I+{XbIJR4epMi%||;kY_*F%&$xa!#8s<;<6lBMyXeM$xx+Di=Dd9Jc)Yma zLF4#I@?p1bxZK>s__r+6G8=cl3a;vm?9bzGTJcBPhPzJh){D9!OzbssGd=Iuux)K(XJ_VrAMR&{X&IvF+C5wPem>#RGW-(KC={$2$#X-(bBW;{;{~fX{qLb z&YE2A`=1P@n{5I6{_O*KHctoZF8n+`O}Gn0n~5q#myNx)Y?y4JHO0QINW3wgH0QZ++|NouZdRxplf{d(s}>Or(%p+&nzXBRe6P(qLY&da_I8abg56HFV5W?o_jpYf~w$V;NV-g+x~ zAK0Z%T`PlzKBx&2vCq^MI^H4r5}nF(;dIfk9;=S(X#NfTLO*ucwx>pvYw%qDqIMYU z^K_7-v_`>Bp-HWVZUeP{!(Ny&}x{CrW37f@!l_e?xv0vV~8DH_k0O8=6|l*^=B&OD?>b`2Q1S`&ftBXbpg3w_MX>@Y~i>7MWVF;n|L~48m{KvQl;x91`?RvTB ziag4oj8FN-^I(m3%Aqfd4vr%FVLa32+~0|jk;4{33e{1Or>vgxtXEC}xA|Pcw6ykC zw(djzI@bX?%{@y>+G^|-PSHmF=O2{Gt&&S?S6!_PHfoh$!_M-N=j@NR0mJF%$E`gX zmX~tgKT0G0yk@Mp9>*Dmt9w7*mx~gbuUS89!4;{gRM%ubNpn{Y3OqtScs`LSy9%l5 z$+$-MxRp%#y0K%Z7w}DhBT}&^y`5Ay2r$3n4x_8Ue=faf3;Ej*y=lP@zJdRw{d4&J zogqeU3`b#j=qYCph<(k=x;NB`el7hjz9)q)oYID>N5Lc@Zj0tma`VB`Lw(bNbR5pO z*M%|gz3Xtu1M*psYufAPXf4oFZO<0WLELT+2_?)uV<-WpmU{<;XFxwx1=BE8g>U_$b<|6aOmw zJ|`UY2`lV6OOD*UlQ4~fUK>nAuVDRI6~7>QQ7kddT7 zMMaCm_U5<|rOHDA4c-}q*sXTcOI)}cX~Fm44k_}xXVm*;%h?7**y)u;+cDYZ#xY_x zQQ~J)a>>{t>I_LnCSZ}~K84m7dIYVaieE$Ae`5qni7AD^Fv6a7W&b~oTzgDYR~Q!z znba2|YlhFO11*z6Z*O1MxcO+S6r7Y6@riJ4FYPVR)_X4u44I-rK-m-lVT?IMV~si; z&KX2BK5z><3d|TIJ|-JV1XMCboeQ#aZmCimlih!s^YuI5`JTPMlQh5R%=wK>;{HGJ z!edT;n{@lJQBQjN3Y>hlyW!H-{?3!HXZZRYjZvOaeXHte*R_38dnzb3WOYb_{N7|D zCvkn*^ya{p=$!PRq%t!vId5W1R@+NI>{@>pS&l#6x z3iUr8e79*3o8y0<46eDo^Th9xxIMWit~N++g-2i0PU;BN_{0UOHx%oGk5iwy&USRRk{;Eh%UYU*aS53&b8=Ff<43<#(RZtG}FhJLti(yft0fvpVa=D(mRA zcxK0y%{}6lee3bePF2>a;G1(>Xv0R{!TSbF%IS*sZA-6IuKIdRVOTu7T~(hiap({D zb+C$U*ZdvMspAgpPU;r)vJIL3U-5q!7uGmGlsEa&&5)y|=PP}VIE8^t#*iLni>PEL zUUXo@(#2;)IC1h4(r_^#zgp4Z=K%kDEsd8dDc=(9;?ncyK8|i1e3U$x>N}XxdSoDW zS4F}EZ%71R(r!qkP+)G5f_uNtQOL3Je!`C7ukXZNS1paAG3pnuc|ymI3z~LPRQhn% zj?c{P+SK{gSmY>+;KI zlT+)GuYP|0mUHgtroK9%U)PLRA+M%&&X$)inq0LvQT!4avEW>ZlDA>YwHM^Py}wAi zrdOeS^ETbR)~9tVzWd`@5i%!d+LRZ{o6e#E{M@Oc*5!Am6{pd4#`I#gO8abV`Ifs( zSZ>=u&lew%4QDNfAMd%-ydOP$_^~#&?Ck01VgHstneZsO@nQEm%h6A@1zAan%d#Ea z|M)#0V5+@y$z^CLnPN=r&Ls-*oC{vM5g&w$Dv~kKl%2KF9G?gjEhEwa;fad05D6K2 zlBQBz-=q;H29dnc8lpTA%4Ikr#3V8VmC11g6-&g3i|jc3}u9d;Qd24)G10^2FM9IEHZRBQ;!nx*?|5; z1O|elZ3r46i;y4!Gt1iNMuJNakeO)0Zl(-OgpD?Zaruta(l%p;0r2_!?_I+h$bCbD zg?4fDC<)NbHWL>C7t7G~=qV1at+NpKuAx`!UBK*6-VBa@;S_=)t?lVTDOlBZ0LiM{mXm;@yL9X-fo

- Last update 2012-16-16 by Ferruccio Guidi
diff --git a/helm/www/lambda_delta/web/home/basic_2_src.tbl b/helm/www/lambda_delta/web/home/basic_2_src.tbl index 13506e6ea..776012207 100644 --- a/helm/www/lambda_delta/web/home/basic_2_src.tbl +++ b/helm/www/lambda_delta/web/home/basic_2_src.tbl @@ -86,6 +86,7 @@ table { ] [ { "focalized computation" * } { [ "lfprs ( ⦃?⦄ ➡* ⦃?⦄ )" "lfprs_aaa" + "lfprs_cprs" + "lfprs_lfprs" * ] + [ "fprs ( ⦃?,?⦄ ➡* ⦃?,?⦄ )" "fprs_aaa" + "fprs_fprs" * ] } ] [ { "context-sensitive computation" * } { @@ -114,7 +115,7 @@ table { } ] [ { "context-sensitive focalized reduction" * } { - [ "cfpr ( ? ⊢ ⦃?,?⦄ ➡ ⦃?,?⦄ )" "cnfpr_ltpss" + "cfpr_aaa" + "cfpr_cpr" * ] + [ "cfpr ( ? ⊢ ⦃?,?⦄ ➡ ⦃?,?⦄ )" "cnfpr_ltpss" + "cfpr_aaa" + "cfpr_cpr" + "cfpr_cfpr" * ] } ] [ { "context-free focalized reduction" * } { @@ -140,7 +141,7 @@ table { ] [ { "context-free reduction" * } { [ "ltpr ( ? ➡ ? )" "ltpr_ldrop" + "ltpr_tps" + "ltpr_ltpss_dx" + "ltpr_ltpss_sn" + "ltpr_aaa" + "ltpr_ltpr" * ] - [ "tpr ( ? ➡ ? )" "tpr_lift" + "tpr_tpss" + "tpr_delift" + "tpr_tpr" * ] + [ "tpr ( ? ➡ ? )" "tpr_lift" + "tpr_tps" + "tpr_tpss" + "tpr_delift" + "tpr_tpr" * ] } ] } -- 2.39.2