/* package whatever; // don't place package name! */
 
import java.util.*;
import java.lang.*;
import java.io.*;
import java.time.* ;
import java.time.zone.* ;
 
/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
	public static void main (String[] args) throws java.lang.Exception
	{
	    Instant instant = Instant.ofEpochMilli( 1_715_244_851_730L ) ;
	    ZoneId z = ZoneId.of( "Asia/Tehran" ) ;
	    ZonedDateTime zdt = instant.atZone( z ) ;
 
	    ZoneRules rules = z.getRules() ;
	    boolean isDst = rules.isDaylightSavings( instant ) ;  // Returns WRONG result; should be `false`. Ideone.com uses outdated Java 12 with an outdated copy of tzdata zone rules file. 
 
	    System.out.println( instant.toString() ) ;
	    System.out.println( zdt.toString() ) ;
	    System.out.println( isDst ) ;
	}
}

LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CmltcG9ydCBqYXZhLnRpbWUuKiA7CmltcG9ydCBqYXZhLnRpbWUuem9uZS4qIDsKCi8qIE5hbWUgb2YgdGhlIGNsYXNzIGhhcyB0byBiZSAiTWFpbiIgb25seSBpZiB0aGUgY2xhc3MgaXMgcHVibGljLiAqLwpjbGFzcyBJZGVvbmUKewoJcHVibGljIHN0YXRpYyB2b2lkIG1haW4gKFN0cmluZ1tdIGFyZ3MpIHRocm93cyBqYXZhLmxhbmcuRXhjZXB0aW9uCgl7CgkgICAgSW5zdGFudCBpbnN0YW50ID0gSW5zdGFudC5vZkVwb2NoTWlsbGkoIDFfNzE1XzI0NF84NTFfNzMwTCApIDsKCSAgICBab25lSWQgeiA9IFpvbmVJZC5vZiggIkFzaWEvVGVocmFuIiApIDsKCSAgICBab25lZERhdGVUaW1lIHpkdCA9IGluc3RhbnQuYXRab25lKCB6ICkgOwoJICAgIAoJICAgIFpvbmVSdWxlcyBydWxlcyA9IHouZ2V0UnVsZXMoKSA7CgkgICAgYm9vbGVhbiBpc0RzdCA9IHJ1bGVzLmlzRGF5bGlnaHRTYXZpbmdzKCBpbnN0YW50ICkgOyAgLy8gUmV0dXJucyBXUk9ORyByZXN1bHQ7IHNob3VsZCBiZSBgZmFsc2VgLiBJZGVvbmUuY29tIHVzZXMgb3V0ZGF0ZWQgSmF2YSAxMiB3aXRoIGFuIG91dGRhdGVkIGNvcHkgb2YgdHpkYXRhIHpvbmUgcnVsZXMgZmlsZS4gCgkgICAgCgkgICAgU3lzdGVtLm91dC5wcmludGxuKCBpbnN0YW50LnRvU3RyaW5nKCkgKSA7CgkgICAgU3lzdGVtLm91dC5wcmludGxuKCB6ZHQudG9TdHJpbmcoKSApIDsKCSAgICBTeXN0ZW0ub3V0LnByaW50bG4oIGlzRHN0ICkgOwoJfQp9