Corrects the order of the literals in all kinds of WatchPb

5 jobs for fix-sat-155 in 194 minutes and 39 seconds (queued for 3 seconds)
latest