/* 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 ) ;
	}
}