import com.microsoft.z3.*; class MkStringBug { public static void main(String[] args) { try { com.microsoft.z3.Global.ToggleWarningMessages(true); Log.open("test.log ...
or add the following to a word doc: A. Stop caustic injection pumps P-137 A/B. Isolate caustic injection to Naphtha Caustic wash and caustic scrubber (V-133). B. Stop Demulsifier pump P-132 A/B and ...