got a whole pile of equations. due to the way that DuPAL works, i usually get "extra" terms that aren't real. in this case, the highlighted terms appear in common with every single output term and are spurious. it's probably due to the table not being filled out completely--there are some output combinations that aren't possible.