import java.util.*;
import java.util.zip.*;
import java.util.List;
import java.util.regex.*;
import java.util.concurrent.*;
import java.util.concurrent.atomic.*;
import java.util.concurrent.locks.*;
import java.util.function.*;
import javax.swing.*;
import javax.swing.event.*;
import javax.swing.text.*;
import javax.swing.table.*;
import java.io.*;
import java.net.*;
import java.lang.reflect.*;
import java.lang.ref.*;
import java.lang.management.*;
import java.security.*;
import java.security.spec.*;
import java.awt.*;
import java.awt.event.*;
import java.awt.image.*;
import java.awt.geom.*;
import javax.imageio.*;
import java.math.*;
import static x30_pkg.x30_util.DynamicObject;
import java.awt.geom.*;
class main {
static A evalWithTimeoutOrTypedException(int timeoutMS, IF0 f) {
return evalWithTimeoutOrTypedException(toSeconds(timeoutMS), f);
}
static A evalWithTimeoutOrTypedException(double timeoutSeconds, IF0 f) {
Either e = evalWithTimeout(timeoutSeconds, f);
if (e.isA()) return (A) e.a();
throw new TimeoutException_Inner(
timeoutSeconds,
f,
e.b());
}
static double toSeconds(long ms) {
return ms/1000.0;
}
static String toSeconds(long ms, int digits) {
return formatDouble(toSeconds(ms), digits);
}
static double toSeconds(double ms) {
return ms/1000.0;
}
static String toSeconds(double ms, int digits) {
return formatDouble(toSeconds(ms), digits);
}
static Set evalWithTimeout_inTime = synchroSet();
static Set evalWithTimeout_allThreads = newWeakHashSet();
static ThreadLocal evalWithTimeout_threadName = new ThreadLocal();
static Either evalWithTimeout(double timeoutSeconds, IF0 r) {
return (Either) evalWithTimeout(timeoutSeconds, (Object) r);
}
// Either calculation result or Thread with timed-out computation
// Tries to interrupt thread after timeout
// Errors are rethrown.
static Either