# part1
or A T
and B T
and C T
not T J
and D J
# part2
not F T
not T T
or I T
and E T
or H T
and T J
run