htdp7 gtdp ftdp78 etdp7 dtdp

s2cp r2cp78 q2cp7 p2cp o2cp78

3bcp78 2bcp7 1bcp 0bcp78 zbcp7

elbp7 dlbp clbp78 blbp7 albp

puap ouap78 nuap7 muap luap78