theorem :: SCM_HALT:59

canceled;