# Generated by CaSQ v0.9.6
csa1 POSITIVE sa78
csa2 POSITIVE csa1
sa12 POSITIVE csa1
sa12 POSITIVE csa8
sa12 POSITIVE sa12
sa20 POSITIVE csa1
sa20 POSITIVE sa17
sa20 POSITIVE sa20
sa9 POSITIVE csa2
sa8 POSITIVE csa2
sa2 POSITIVE csa2
sa3 POSITIVE csa2
sa1 POSITIVE csa2
sa5 POSITIVE csa2
sa7 POSITIVE csa2
sa6 POSITIVE csa2
csa7 POSITIVE sa74
sa30 POSITIVE csa7
sa30 POSITIVE csa3
sa30 POSITIVE sa30
sa29 POSITIVE csa7
sa29 POSITIVE sa29
sa28 POSITIVE csa7
sa28 POSITIVE sa28
csa4 POSITIVE sa73
sa25 POSITIVE csa4
sa24 POSITIVE csa4
sa24 NEGATIVE sa73
sa22 NEGATIVE csa4
sa22 NEGATIVE csa10
sa22 POSITIVE csa3
csa10 POSITIVE sa66
csa10 POSITIVE sa67
csa10 POSITIVE sa73
csa3 POSITIVE sa74
csa8 POSITIVE sa77
sa10 POSITIVE csa8
sa11 POSITIVE csa8
sa13 NEGATIVE sa12
sa13 NEGATIVE sa20
sa17 POSITIVE sa17
sa79 NEGATIVE sa20
sa26 POSITIVE sa25