output in format expected by ExtendedValidation.cpp