# /* Robert Meolic, 26. 1. 2001 */
# /* Patterns of ACTL formulae */

pa_read_process "pqrs.dat"

pa_encode_process "pqrs pqsr prqs prsq psqr psrq"
mc_check_actl_file 0 pqrs "pqrs.actl"
mc_check_actl_file 0 pqsr "pqrs.actl"
mc_check_actl_file 0 prqs "pqrs.actl"
mc_check_actl_file 0 prsq "pqrs.actl"
mc_check_actl_file 0 psqr "pqrs.actl"
mc_check_actl_file 0 psrq "pqrs.actl"

pa_encode_process "qprs qpsr qrps qrsp qspr qsrp"
mc_check_actl_file 0 qprs "pqrs.actl"
mc_check_actl_file 0 qpsr "pqrs.actl"
mc_check_actl_file 0 qrps "pqrs.actl"
mc_check_actl_file 0 qrsp "pqrs.actl"
mc_check_actl_file 0 qspr "pqrs.actl"
mc_check_actl_file 0 qsrp "pqrs.actl"

pa_encode_process "rpqs rpsq rqps rqsp rspq rsqp"
mc_check_actl_file 0 rpqs "pqrs.actl"
mc_check_actl_file 0 rpsq "pqrs.actl"
mc_check_actl_file 0 rqps "pqrs.actl"
mc_check_actl_file 0 rqsp "pqrs.actl"
mc_check_actl_file 0 rspq "pqrs.actl"
mc_check_actl_file 0 rsqp "pqrs.actl"

pa_encode_process "spqr sprq sqpr sqrp srpq srqp"
mc_check_actl_file 0 spqr "pqrs.actl"
mc_check_actl_file 0 sprq "pqrs.actl"
mc_check_actl_file 0 sqpr "pqrs.actl"
mc_check_actl_file 0 sqrp "pqrs.actl"
mc_check_actl_file 0 srpq "pqrs.actl"
mc_check_actl_file 0 srqp "pqrs.actl"
