abcs-set-2

by SPARK