theorem :: SCMPDS_2:80

halt SCMPDS = [0,{},{}] ;