Facts 11
fau
ele
kem
kfc
kfh
tba
cem
cfc
cfh
ctb
cte
Actions 8
1: kem + fau => -kem + kfc
1: cem + fau => -cem + cfc
1: kfc + ele => -kfc + kfh
1: cfc + ele => -cfc + cfh
1: cem + tba => -tba + -cem + ctb
1: cem + kfh => -cem + cfh
1: ctb + kfh => -ctb + cte
1: cfh + tba => -cfh + -tba + cte
Initial state
cem + tba + kem + fau + ele
Goal state
cte