theorem :: SCM_HALT:50

canceled;