bug in full adder; list not sorted; and not sure the map is correct in the first place