import java.time.ZoneOffset;
import java.time.ZonedDateTime;
import java.time.format.DateTimeFormatter;
import java.util.Calendar;
import java.util.Date;
import java.util.Locale;
 
class Main {
	public static void main(String[] args) {
		Calendar calendar = Calendar.getInstance();
		calendar.set(2023, 1, 24, 13, 57, 11);
		Date date = calendar.getTime();
 
		DateTimeFormatter dtf = DateTimeFormatter.ofPattern("E MMM d u H:m:s Oxxx", Locale.ENGLISH);
		ZonedDateTime zdt = ZonedDateTime.ofInstant(date.toInstant(), ZoneOffset.UTC);
		String strDate = zdt.format(dtf);
		System.out.println(strDate);
	}
}

aW1wb3J0IGphdmEudGltZS5ab25lT2Zmc2V0OwppbXBvcnQgamF2YS50aW1lLlpvbmVkRGF0ZVRpbWU7CmltcG9ydCBqYXZhLnRpbWUuZm9ybWF0LkRhdGVUaW1lRm9ybWF0dGVyOwppbXBvcnQgamF2YS51dGlsLkNhbGVuZGFyOwppbXBvcnQgamF2YS51dGlsLkRhdGU7CmltcG9ydCBqYXZhLnV0aWwuTG9jYWxlOwoKY2xhc3MgTWFpbiB7CglwdWJsaWMgc3RhdGljIHZvaWQgbWFpbihTdHJpbmdbXSBhcmdzKSB7CgkJQ2FsZW5kYXIgY2FsZW5kYXIgPSBDYWxlbmRhci5nZXRJbnN0YW5jZSgpOwoJCWNhbGVuZGFyLnNldCgyMDIzLCAxLCAyNCwgMTMsIDU3LCAxMSk7CgkJRGF0ZSBkYXRlID0gY2FsZW5kYXIuZ2V0VGltZSgpOwoKCQlEYXRlVGltZUZvcm1hdHRlciBkdGYgPSBEYXRlVGltZUZvcm1hdHRlci5vZlBhdHRlcm4oIkUgTU1NIGQgdSBIOm06cyBPeHh4IiwgTG9jYWxlLkVOR0xJU0gpOwoJCVpvbmVkRGF0ZVRpbWUgemR0ID0gWm9uZWREYXRlVGltZS5vZkluc3RhbnQoZGF0ZS50b0luc3RhbnQoKSwgWm9uZU9mZnNldC5VVEMpOwoJCVN0cmluZyBzdHJEYXRlID0gemR0LmZvcm1hdChkdGYpOwoJCVN5c3RlbS5vdXQucHJpbnRsbihzdHJEYXRlKTsKCX0KfQ==