exists_williamson_arrays_odd