Bud1 clg1Scomplogiclg1Scomp\logicmoDDblob ‹>­GÃAlogicmodDblob ‹>­GÃAlogicph1Scomp typinglg1ScompTtypingmoDDblob`¤>­GÃAtypingmodDblob`¤>­GÃAtypingph1Scomp   @€ @€ @€ @ E DSDB `€ @€ @€ @