9.08/3.50	NO
9.87/3.75	proof of /export/starexec/sandbox2/benchmark/theBenchmark.jar
9.87/3.75	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
9.87/3.75	
9.87/3.75	
9.87/3.75	termination of the given Bare JBC problem could be disproven:
9.87/3.75	
9.87/3.75	(0) Bare JBC problem
9.87/3.75	(1) BareJBCToJBCProof [EQUIVALENT, 93 ms]
9.87/3.75	(2) JBC problem
9.87/3.75	(3) JBCToGraph [EQUIVALENT, 707 ms]
9.87/3.75	(4) JBCTerminationGraph
9.87/3.75	(5) JBCNonTerm [COMPLETE, 376 ms]
9.87/3.75	(6) NO
9.87/3.75	
9.87/3.75	
9.87/3.75	----------------------------------------
9.87/3.75	
9.87/3.75	(0)
9.87/3.75	Obligation:
9.87/3.75	need to prove termination of the following program:
9.87/3.75	package simple.lcm;
9.87/3.75	
9.87/3.75	public class Lcm {
9.87/3.75	
9.87/3.75		// does not terminate if exactly one of the input values is negative
9.87/3.75		
9.87/3.75		public static int lcm (int a, int b) {
9.87/3.75			int am = a;
9.87/3.75			int bm = b;
9.87/3.75			
9.87/3.75			while (am != bm) {
9.87/3.75				if (am > bm) {
9.87/3.75					bm = bm+b;
9.87/3.75				} else {
9.87/3.75					am = am+a;
9.87/3.75				}
9.87/3.75			}
9.87/3.75			return am;
9.87/3.75		}
9.87/3.75	}
9.87/3.75	
9.87/3.75	
9.87/3.75	package simple.lcm;
9.87/3.75	
9.87/3.75	
9.87/3.75	public class Main {
9.87/3.75	
9.87/3.75		/**
9.87/3.75		 * @param args
9.87/3.75		 */
9.87/3.75		public static void main(String[] args) {
9.87/3.75	        int x = args[2].length();
9.87/3.75	        int y = args[3].length();
9.87/3.75	        if (args[0].length() % 2 == 0) {
9.87/3.75	            x = -x;
9.87/3.75	        }
9.87/3.75	        if (args[1].length() % 2 == 0) {
9.87/3.75	            y = -y;
9.87/3.75	        }
9.87/3.75			Lcm.lcm(x, y);
9.87/3.75		}
9.87/3.75	
9.87/3.75	}
9.87/3.75	
9.87/3.75	
9.87/3.75	
9.87/3.75	----------------------------------------
9.87/3.75	
9.87/3.75	(1) BareJBCToJBCProof (EQUIVALENT)
9.87/3.75	initialized classpath
9.87/3.75	----------------------------------------
9.87/3.75	
9.87/3.75	(2)
9.87/3.75	Obligation:
9.87/3.75	need to prove termination of the following program:
9.87/3.75	package simple.lcm;
9.87/3.75	
9.87/3.75	public class Lcm {
9.87/3.75	
9.87/3.75		// does not terminate if exactly one of the input values is negative
9.87/3.75		
9.87/3.75		public static int lcm (int a, int b) {
9.87/3.75			int am = a;
9.87/3.75			int bm = b;
9.87/3.75			
9.87/3.75			while (am != bm) {
9.87/3.75				if (am > bm) {
9.87/3.75					bm = bm+b;
9.87/3.75				} else {
9.87/3.75					am = am+a;
9.87/3.75				}
9.87/3.75			}
9.87/3.75			return am;
9.87/3.75		}
9.87/3.75	}
9.87/3.75	
9.87/3.75	
9.87/3.75	package simple.lcm;
9.87/3.75	
9.87/3.75	
9.87/3.75	public class Main {
9.87/3.75	
9.87/3.75		/**
9.87/3.75		 * @param args
9.87/3.75		 */
9.87/3.75		public static void main(String[] args) {
9.87/3.75	        int x = args[2].length();
9.87/3.75	        int y = args[3].length();
9.87/3.75	        if (args[0].length() % 2 == 0) {
9.87/3.75	            x = -x;
9.87/3.75	        }
9.87/3.75	        if (args[1].length() % 2 == 0) {
9.87/3.75	            y = -y;
9.87/3.75	        }
9.87/3.75			Lcm.lcm(x, y);
9.87/3.75		}
9.87/3.75	
9.87/3.75	}
9.87/3.75	
9.87/3.75	
9.87/3.75	
9.87/3.75	----------------------------------------
9.87/3.75	
9.87/3.75	(3) JBCToGraph (EQUIVALENT)
9.87/3.75	Constructed TerminationGraph.
9.87/3.75	----------------------------------------
9.87/3.75	
9.87/3.75	(4)
9.87/3.75	Obligation:
9.87/3.75	Termination Graph based on JBC Program:
9.87/3.75	simple.lcm.Main.main([Ljava/lang/String;)V: Graph of 299 nodes with 1 SCC.
9.87/3.75	
9.87/3.75	
9.87/3.75	
9.87/3.75	
9.87/3.75	
9.87/3.75	----------------------------------------
9.87/3.75	
9.87/3.75	(5) JBCNonTerm (COMPLETE)
9.87/3.75	Constructed a run with a repetition. States 46 and 57 are repetitions (when considering only the interesting positions [lv_0_2, lv_0_3, lv_0_0, lv_0_1]).
9.87/3.75	
9.87/3.75	0:<simple.lcm.Main.main||0: load ADDR args||args: a178|| ->
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	1:<simple.lcm.Main.main||1: push 2||args: a178||a178>
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	2:<simple.lcm.Main.main||2: Read ADDR from array||args: a178||a178, 2>
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	3:<simple.lcm.Main.main||3: java.lang.String.length()I||args: a178||o15>
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	4:<java.lang.String.length||0: load ADDR this||this: o15|| ->
9.87/3.75	<simple.lcm.Main.main||3: java.lang.String.length||args: a178|| ->
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	5:<java.lang.String.length||1: Read from count|| - ||o15>
9.87/3.75	<simple.lcm.Main.main||3: java.lang.String.length||args: a178|| ->
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	6:<java.lang.String.length||4: return INT|| - ||0>
9.87/3.75	<simple.lcm.Main.main||3: java.lang.String.length||args: a178|| ->
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	7:<simple.lcm.Main.main||6: store INT to x||args: a178||0>
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	8:<simple.lcm.Main.main||7: load ADDR args||args: a178, x: 0|| ->
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	9:<simple.lcm.Main.main||8: push 3||args: a178, x: 0||a178>
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	10:<simple.lcm.Main.main||9: Read ADDR from array||args: a178, x: 0||a178, 3>
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	11:<simple.lcm.Main.main||10: java.lang.String.length()I||args: a178, x: 0||o37>
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	12:<java.lang.String.length||0: load ADDR this||this: o37|| ->
9.87/3.75	<simple.lcm.Main.main||10: java.lang.String.length||args: a178, x: 0|| ->
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	13:<java.lang.String.length||1: Read from count|| - ||o37>
9.87/3.75	<simple.lcm.Main.main||10: java.lang.String.length||args: a178, x: 0|| ->
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	14:<java.lang.String.length||4: return INT|| - ||1>
9.87/3.75	<simple.lcm.Main.main||10: java.lang.String.length||args: a178, x: 0|| ->
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	15:<simple.lcm.Main.main||13: store INT to y||args: a178, x: 0||1>
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	16:<simple.lcm.Main.main||14: load ADDR args||args: a178, x: 0, y: 1|| ->
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	17:<simple.lcm.Main.main||15: push 0||args: a178, x: 0, y: 1||a178>
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	18:<simple.lcm.Main.main||16: Read ADDR from array||args: a178, x: 0, y: 1||a178, 0>
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	19:<simple.lcm.Main.main||17: java.lang.String.length()I||args: a178, x: 0, y: 1||o77>
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	20:<java.lang.String.length||0: load ADDR this||this: o77|| ->
9.87/3.75	<simple.lcm.Main.main||17: java.lang.String.length||args: a178, x: 0, y: 1|| ->
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	21:<java.lang.String.length||1: Read from count|| - ||o77>
9.87/3.75	<simple.lcm.Main.main||17: java.lang.String.length||args: a178, x: 0, y: 1|| ->
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	22:<java.lang.String.length||4: return INT|| - ||0>
9.87/3.75	<simple.lcm.Main.main||17: java.lang.String.length||args: a178, x: 0, y: 1|| ->
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	23:<simple.lcm.Main.main||20: push 2||args: a178, x: 0, y: 1||0>
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	24:<simple.lcm.Main.main||21: TMOD||args: a178, x: 0, y: 1||0, 2>
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	25:<simple.lcm.Main.main||22: NE 0||args: a178, x: 0, y: 1||0>
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	26:<simple.lcm.Main.main||25: load INT x||args: a178, x: 0, y: 1|| ->
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	27:<simple.lcm.Main.main||26: NEG||args: a178, y: 1||0>
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	28:<simple.lcm.Main.main||27: store INT to x||args: a178, y: 1||0>
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	29:<simple.lcm.Main.main||28: load ADDR args||args: a178, x: 0, y: 1|| ->
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	30:<simple.lcm.Main.main||29: push 1||x: 0, y: 1||a178>
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	31:<simple.lcm.Main.main||30: Read ADDR from array||x: 0, y: 1||a178, 1>
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75		a178([java.lang.String...]): {o77, o155, o15, o37} -->{java.lang.Object...}
9.87/3.75		o77!: String(count=0, hash=#, offset=[0,+inf), value=o79?) -->{java.lang.Object...}
9.87/3.75		o37!: String(count=1, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
9.87/3.75		o15!: String(count=0, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o79:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o38:: [CHAR] -->{java.lang.Object...}
9.87/3.75	o16:: [CHAR] -->{java.lang.Object...}
9.87/3.75	a178-><-o156
9.87/3.75	a178-><-o155
9.87/3.75	a178-><-o79
9.87/3.75	a178-><-o77
9.87/3.75	a178-><-o38
9.87/3.75	a178-><-o37
9.87/3.75	a178-><-o16
9.87/3.75	a178-><-o15
9.87/3.75	YES:  (JL1)
9.87/3.75	32:<simple.lcm.Main.main||31: java.lang.String.length()I||x: 0, y: 1||o155>
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	YES:  (JL1)
9.87/3.75	33:<java.lang.String.length||0: load ADDR this||this: o155|| ->
9.87/3.75	<simple.lcm.Main.main||31: java.lang.String.length||x: 0, y: 1|| ->
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	YES:  (JL1)
9.87/3.75	34:<java.lang.String.length||1: Read from count|| - ||o155>
9.87/3.75	<simple.lcm.Main.main||31: java.lang.String.length||x: 0, y: 1|| ->
9.87/3.75		o155!: String(count=1, hash=#, offset=[0,+inf), value=o156?) -->{java.lang.Object...}
9.87/3.75	o156:: [CHAR] -->{java.lang.Object...}
9.87/3.75	YES:  (JL1)
9.87/3.75	35:<java.lang.String.length||4: return INT|| - ||1>
9.87/3.75	<simple.lcm.Main.main||31: java.lang.String.length||x: 0, y: 1|| ->
9.87/3.75	YES:  (JL1)
9.87/3.75	36:<simple.lcm.Main.main||34: push 2||x: 0, y: 1||1>
9.87/3.75	YES:  (JL1)
9.87/3.75	37:<simple.lcm.Main.main||35: TMOD||x: 0, y: 1||1, 2>
9.87/3.75	YES:  (JL1)
9.87/3.75	38:<simple.lcm.Main.main||36: NE 0||x: 0, y: 1||1>
9.87/3.75	YES:  (JL1)
9.87/3.75	39:<simple.lcm.Main.main||42: load INT x||x: 0, y: 1|| ->
9.87/3.75	YES:  (JL1)
9.87/3.75	40:<simple.lcm.Main.main||43: load INT y||y: 1||0>
9.87/3.75	YES:  (JL1)
9.87/3.75	41:<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm(II)I|| - ||0, 1>
9.87/3.75	YES:  (JL1)
9.87/3.75	42:<simple.lcm.Lcm.lcm||0: load INT a||a: 0, b: 1|| ->
9.87/3.75	<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - || ->
9.87/3.75	YES:  (JL1)
9.87/3.75	43:<simple.lcm.Lcm.lcm||1: store INT to am||a: 0, b: 1||0>
9.87/3.75	<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - || ->
9.87/3.75	YES:  (JL1)
9.87/3.75	44:<simple.lcm.Lcm.lcm||2: load INT b||a: 0, b: 1, am: 0|| ->
9.87/3.75	<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - || ->
9.87/3.75	YES:  (JL1)
9.87/3.75	45:<simple.lcm.Lcm.lcm||3: store INT to bm||a: 0, b: 1, am: 0||1>
9.87/3.75	<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - || ->
9.87/3.75	YES:  (JL1)
9.87/3.75	46:<simple.lcm.Lcm.lcm||4: load INT am||a: 0, b: 1, am: 0, bm: 1|| ->
9.87/3.75	<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - || ->
9.87/3.75	YES:  (JL1)
9.87/3.75	47:<simple.lcm.Lcm.lcm||5: load INT bm||a: 0, b: 1, am: 0, bm: 1||0>
9.87/3.75	<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - || ->
9.87/3.75	YES:  (JL1)
9.87/3.75	48:<simple.lcm.Lcm.lcm||6: EQ||a: 0, b: 1, am: 0, bm: 1||0, 1>
9.87/3.75	<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - || ->
9.87/3.75	YES:  (JL1)
9.87/3.75	49:<simple.lcm.Lcm.lcm||9: load INT am||a: 0, b: 1, am: 0, bm: 1|| ->
9.87/3.75	<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - || ->
9.87/3.75	YES:  (JL1)
9.87/3.75	50:<simple.lcm.Lcm.lcm||10: load INT bm||a: 0, b: 1, am: 0, bm: 1||0>
9.87/3.75	<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - || ->
9.87/3.75	YES:  (JL1)
9.87/3.75	51:<simple.lcm.Lcm.lcm||11: LE||a: 0, b: 1, am: 0, bm: 1||0, 1>
9.87/3.75	<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - || ->
9.87/3.75	YES:  (JL1)
9.87/3.75	52:<simple.lcm.Lcm.lcm||21: load INT am||a: 0, b: 1, am: 0, bm: 1|| ->
9.87/3.75	<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - || ->
9.87/3.75	YES:  (JL1)
9.87/3.75	53:<simple.lcm.Lcm.lcm||22: load INT a||a: 0, b: 1, bm: 1||0>
9.87/3.75	<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - || ->
9.87/3.75	YES:  (JL1)
9.87/3.75	54:<simple.lcm.Lcm.lcm||23: ADD||a: 0, b: 1, bm: 1||0, 0>
9.87/3.75	<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - || ->
9.87/3.75	YES:  (JL1)
9.87/3.75	55:<simple.lcm.Lcm.lcm||24: store INT to am||a: 0, b: 1, bm: 1||0>
9.87/3.75	<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - || ->
9.87/3.75	YES:  (JL1)
9.87/3.75	56:<simple.lcm.Lcm.lcm||25: jmp||a: 0, b: 1, am: 0, bm: 1|| ->
9.87/3.75	<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - || ->
9.87/3.75	YES:  (JL1)
9.87/3.75	57:<simple.lcm.Lcm.lcm||4: load INT am||a: 0, b: 1, am: 0, bm: 1|| ->
9.87/3.75	<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - || ->
9.87/3.75	YES:  (JL1)
9.87/3.75	
9.87/3.75	----------------------------------------
9.87/3.75	
9.87/3.75	(6)
9.87/3.75	NO
10.20/3.85	EOF