abcs-set-1

by SPARK