{1:^80 {(k^BE:c)(s=9)} [1:^82(^BD=3)]