abcs-set-3

by SPARK