S □> A_W
アーカイブを開く
S *> E_HYB
{S *> E, S *> MIX, H □> E}_HYB
{H &> A, H⌒A, H ⊃ A}_W
{H &> A, H &> H, H !> S}_W