10.37/3.61	NO
10.82/3.73	proof of /export/starexec/sandbox/benchmark/theBenchmark.jar
10.82/3.73	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
10.82/3.73	
10.82/3.73	
10.82/3.73	termination of the given Bare JBC problem could be disproven:
10.82/3.73	
10.82/3.73	(0) Bare JBC problem
10.82/3.73	(1) BareJBCToJBCProof [EQUIVALENT, 94 ms]
10.82/3.73	(2) JBC problem
10.82/3.73	(3) JBCToGraph [EQUIVALENT, 461 ms]
10.82/3.73	(4) JBCTerminationGraph
10.82/3.73	(5) JBCNonTerm [COMPLETE, 1658 ms]
10.82/3.73	(6) NO
10.82/3.73	
10.82/3.73	
10.82/3.73	----------------------------------------
10.82/3.73	
10.82/3.73	(0)
10.82/3.73	Obligation:
10.82/3.73	need to prove termination of the following program:
10.82/3.73	package simple.plait;
10.82/3.73	
10.82/3.73	public class Main {
10.82/3.73	
10.82/3.73		/**
10.82/3.73		 * @param args
10.82/3.73		 */
10.82/3.73		public static void main(String[] args) {
10.82/3.73			Plait.loop(args[0].length(),args[1].length(),args[2].length());
10.82/3.73	
10.82/3.73		}
10.82/3.73	
10.82/3.73	}
10.82/3.73	
10.82/3.73	
10.82/3.73	package simple.plait;
10.82/3.73	
10.82/3.73	public class Plait {
10.82/3.73		
10.82/3.73		// does not terminate for ???
10.82/3.73	
10.82/3.73		public static void loop(int i, int j, int k) {
10.82/3.73			int plaitNext = 0;
10.82/3.73			int swap = 0;
10.82/3.73			while (i > 0 || j > 0 || k > 0) {
10.82/3.73				if (plaitNext == 0) {
10.82/3.73					swap = i;
10.82/3.73					i = j/2;
10.82/3.73					j = swap*2;
10.82/3.73					plaitNext = 1;
10.82/3.73				} else {
10.82/3.73					swap = k;
10.82/3.73					k = j*2;
10.82/3.74					j = swap/2;
10.82/3.74					plaitNext = 0;
10.82/3.74				}
10.82/3.74				
10.82/3.74			}
10.82/3.74		}
10.82/3.74	}
10.82/3.74	
10.82/3.74	
10.82/3.74	
10.82/3.74	----------------------------------------
10.82/3.74	
10.82/3.74	(1) BareJBCToJBCProof (EQUIVALENT)
10.82/3.74	initialized classpath
10.82/3.74	----------------------------------------
10.82/3.74	
10.82/3.74	(2)
10.82/3.74	Obligation:
10.82/3.74	need to prove termination of the following program:
10.82/3.74	package simple.plait;
10.82/3.74	
10.82/3.74	public class Main {
10.82/3.74	
10.82/3.74		/**
10.82/3.74		 * @param args
10.82/3.74		 */
10.82/3.74		public static void main(String[] args) {
10.82/3.74			Plait.loop(args[0].length(),args[1].length(),args[2].length());
10.82/3.74	
10.82/3.74		}
10.82/3.74	
10.82/3.74	}
10.82/3.74	
10.82/3.74	
10.82/3.74	package simple.plait;
10.82/3.74	
10.82/3.74	public class Plait {
10.82/3.74		
10.82/3.74		// does not terminate for ???
10.82/3.74	
10.82/3.74		public static void loop(int i, int j, int k) {
10.82/3.74			int plaitNext = 0;
10.82/3.74			int swap = 0;
10.82/3.74			while (i > 0 || j > 0 || k > 0) {
10.82/3.74				if (plaitNext == 0) {
10.82/3.74					swap = i;
10.82/3.74					i = j/2;
10.82/3.74					j = swap*2;
10.82/3.74					plaitNext = 1;
10.82/3.74				} else {
10.82/3.74					swap = k;
10.82/3.74					k = j*2;
10.82/3.74					j = swap/2;
10.82/3.74					plaitNext = 0;
10.82/3.74				}
10.82/3.74				
10.82/3.74			}
10.82/3.74		}
10.82/3.74	}
10.82/3.74	
10.82/3.74	
10.82/3.74	
10.82/3.74	----------------------------------------
10.82/3.74	
10.82/3.74	(3) JBCToGraph (EQUIVALENT)
10.82/3.74	Constructed TerminationGraph.
10.82/3.74	----------------------------------------
10.82/3.74	
10.82/3.74	(4)
10.82/3.74	Obligation:
10.82/3.74	Termination Graph based on JBC Program:
10.82/3.74	simple.plait.Main.main([Ljava/lang/String;)V: Graph of 287 nodes with 1 SCC.
10.82/3.74	
10.82/3.74	
10.82/3.74	
10.82/3.74	
10.82/3.74	
10.82/3.74	----------------------------------------
10.82/3.74	
10.82/3.74	(5) JBCNonTerm (COMPLETE)
10.82/3.74	Constructed a run with a repetition. States 35 and 141 are repetitions (when considering only the interesting positions [os_0_0, lv_0_2, lv_0_4]).
10.82/3.74	
10.82/3.74	0:<simple.plait.Main.main||0: load ADDR args||args: a41|| ->
10.82/3.74		o79!: String(count=0, hash=#, offset=[0,+inf), value=o80?) -->{java.lang.Object...}
10.82/3.74		a41([java.lang.String...]): {o15, o37, o79} -->{java.lang.Object...}
10.82/3.74		o37!: String(count=11, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
10.82/3.74		o15!: String(count=5, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
10.82/3.74	o80:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o38:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o16:: [CHAR] -->{java.lang.Object...}
10.82/3.74	a41-><-o80
10.82/3.74	a41-><-o79
10.82/3.74	a41-><-o38
10.82/3.74	a41-><-o37
10.82/3.74	a41-><-o16
10.82/3.74	a41-><-o15
10.82/3.74	YES:  (JL1)
10.82/3.74	1:<simple.plait.Main.main||1: push 0||args: a41||a41>
10.82/3.74		o79!: String(count=0, hash=#, offset=[0,+inf), value=o80?) -->{java.lang.Object...}
10.82/3.74		a41([java.lang.String...]): {o15, o37, o79} -->{java.lang.Object...}
10.82/3.74		o37!: String(count=11, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
10.82/3.74		o15!: String(count=5, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
10.82/3.74	o80:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o38:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o16:: [CHAR] -->{java.lang.Object...}
10.82/3.74	a41-><-o80
10.82/3.74	a41-><-o79
10.82/3.74	a41-><-o38
10.82/3.74	a41-><-o37
10.82/3.74	a41-><-o16
10.82/3.74	a41-><-o15
10.82/3.74	YES:  (JL1)
10.82/3.74	2:<simple.plait.Main.main||2: Read ADDR from array||args: a41||a41, 0>
10.82/3.74		o79!: String(count=0, hash=#, offset=[0,+inf), value=o80?) -->{java.lang.Object...}
10.82/3.74		a41([java.lang.String...]): {o15, o37, o79} -->{java.lang.Object...}
10.82/3.74		o37!: String(count=11, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
10.82/3.74		o15!: String(count=5, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
10.82/3.74	o80:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o38:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o16:: [CHAR] -->{java.lang.Object...}
10.82/3.74	a41-><-o80
10.82/3.74	a41-><-o79
10.82/3.74	a41-><-o38
10.82/3.74	a41-><-o37
10.82/3.74	a41-><-o16
10.82/3.74	a41-><-o15
10.82/3.74	YES:  (JL1)
10.82/3.74	3:<simple.plait.Main.main||3: java.lang.String.length()I||args: a41||o15>
10.82/3.74		o79!: String(count=0, hash=#, offset=[0,+inf), value=o80?) -->{java.lang.Object...}
10.82/3.74		a41([java.lang.String...]): {o15, o37, o79} -->{java.lang.Object...}
10.82/3.74		o37!: String(count=11, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
10.82/3.74		o15!: String(count=5, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
10.82/3.74	o80:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o38:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o16:: [CHAR] -->{java.lang.Object...}
10.82/3.74	a41-><-o80
10.82/3.74	a41-><-o79
10.82/3.74	a41-><-o38
10.82/3.74	a41-><-o37
10.82/3.74	a41-><-o16
10.82/3.74	a41-><-o15
10.82/3.74	YES:  (JL1)
10.82/3.74	4:<java.lang.String.length||0: load ADDR this||this: o15|| ->
10.82/3.74	<simple.plait.Main.main||3: java.lang.String.length||args: a41|| ->
10.82/3.74		o79!: String(count=0, hash=#, offset=[0,+inf), value=o80?) -->{java.lang.Object...}
10.82/3.74		a41([java.lang.String...]): {o15, o37, o79} -->{java.lang.Object...}
10.82/3.74		o37!: String(count=11, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
10.82/3.74		o15!: String(count=5, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
10.82/3.74	o80:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o38:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o16:: [CHAR] -->{java.lang.Object...}
10.82/3.74	a41-><-o80
10.82/3.74	a41-><-o79
10.82/3.74	a41-><-o38
10.82/3.74	a41-><-o37
10.82/3.74	a41-><-o16
10.82/3.74	a41-><-o15
10.82/3.74	YES:  (JL1)
10.82/3.74	5:<java.lang.String.length||1: Read from count|| - ||o15>
10.82/3.74	<simple.plait.Main.main||3: java.lang.String.length||args: a41|| ->
10.82/3.74		o79!: String(count=0, hash=#, offset=[0,+inf), value=o80?) -->{java.lang.Object...}
10.82/3.74		a41([java.lang.String...]): {o15, o37, o79} -->{java.lang.Object...}
10.82/3.74		o37!: String(count=11, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
10.82/3.74		o15!: String(count=5, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
10.82/3.74	o80:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o38:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o16:: [CHAR] -->{java.lang.Object...}
10.82/3.74	a41-><-o80
10.82/3.74	a41-><-o79
10.82/3.74	a41-><-o38
10.82/3.74	a41-><-o37
10.82/3.74	a41-><-o16
10.82/3.74	a41-><-o15
10.82/3.74	YES:  (JL1)
10.82/3.74	6:<java.lang.String.length||4: return INT|| - ||5>
10.82/3.74	<simple.plait.Main.main||3: java.lang.String.length||args: a41|| ->
10.82/3.74		o79!: String(count=0, hash=#, offset=[0,+inf), value=o80?) -->{java.lang.Object...}
10.82/3.74		a41([java.lang.String...]): {o15, o37, o79} -->{java.lang.Object...}
10.82/3.74		o37!: String(count=11, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
10.82/3.74		o15!: String(count=5, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
10.82/3.74	o80:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o38:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o16:: [CHAR] -->{java.lang.Object...}
10.82/3.74	a41-><-o80
10.82/3.74	a41-><-o79
10.82/3.74	a41-><-o38
10.82/3.74	a41-><-o37
10.82/3.74	a41-><-o16
10.82/3.74	a41-><-o15
10.82/3.74	YES:  (JL1)
10.82/3.74	7:<simple.plait.Main.main||6: load ADDR args||args: a41||5>
10.82/3.74		o79!: String(count=0, hash=#, offset=[0,+inf), value=o80?) -->{java.lang.Object...}
10.82/3.74		a41([java.lang.String...]): {o15, o37, o79} -->{java.lang.Object...}
10.82/3.74		o37!: String(count=11, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
10.82/3.74		o15!: String(count=5, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
10.82/3.74	o80:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o38:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o16:: [CHAR] -->{java.lang.Object...}
10.82/3.74	a41-><-o80
10.82/3.74	a41-><-o79
10.82/3.74	a41-><-o38
10.82/3.74	a41-><-o37
10.82/3.74	a41-><-o16
10.82/3.74	a41-><-o15
10.82/3.74	YES:  (JL1)
10.82/3.74	8:<simple.plait.Main.main||7: push 1||args: a41||5, a41>
10.82/3.74		o79!: String(count=0, hash=#, offset=[0,+inf), value=o80?) -->{java.lang.Object...}
10.82/3.74		a41([java.lang.String...]): {o15, o37, o79} -->{java.lang.Object...}
10.82/3.74		o37!: String(count=11, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
10.82/3.74		o15!: String(count=5, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
10.82/3.74	o80:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o38:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o16:: [CHAR] -->{java.lang.Object...}
10.82/3.74	a41-><-o80
10.82/3.74	a41-><-o79
10.82/3.74	a41-><-o38
10.82/3.74	a41-><-o37
10.82/3.74	a41-><-o16
10.82/3.74	a41-><-o15
10.82/3.74	YES:  (JL1)
10.82/3.74	9:<simple.plait.Main.main||8: Read ADDR from array||args: a41||5, a41, 1>
10.82/3.74		o79!: String(count=0, hash=#, offset=[0,+inf), value=o80?) -->{java.lang.Object...}
10.82/3.74		a41([java.lang.String...]): {o15, o37, o79} -->{java.lang.Object...}
10.82/3.74		o37!: String(count=11, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
10.82/3.74		o15!: String(count=5, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
10.82/3.74	o80:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o38:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o16:: [CHAR] -->{java.lang.Object...}
10.82/3.74	a41-><-o80
10.82/3.74	a41-><-o79
10.82/3.74	a41-><-o38
10.82/3.74	a41-><-o37
10.82/3.74	a41-><-o16
10.82/3.74	a41-><-o15
10.82/3.74	YES:  (JL1)
10.82/3.74	10:<simple.plait.Main.main||9: java.lang.String.length()I||args: a41||5, o37>
10.82/3.74		o79!: String(count=0, hash=#, offset=[0,+inf), value=o80?) -->{java.lang.Object...}
10.82/3.74		a41([java.lang.String...]): {o15, o37, o79} -->{java.lang.Object...}
10.82/3.74		o37!: String(count=11, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
10.82/3.74		o15!: String(count=5, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
10.82/3.74	o80:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o38:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o16:: [CHAR] -->{java.lang.Object...}
10.82/3.74	a41-><-o80
10.82/3.74	a41-><-o79
10.82/3.74	a41-><-o38
10.82/3.74	a41-><-o37
10.82/3.74	a41-><-o16
10.82/3.74	a41-><-o15
10.82/3.74	YES:  (JL1)
10.82/3.74	11:<java.lang.String.length||0: load ADDR this||this: o37|| ->
10.82/3.74	<simple.plait.Main.main||9: java.lang.String.length||args: a41||5>
10.82/3.74		o79!: String(count=0, hash=#, offset=[0,+inf), value=o80?) -->{java.lang.Object...}
10.82/3.74		a41([java.lang.String...]): {o15, o37, o79} -->{java.lang.Object...}
10.82/3.74		o37!: String(count=11, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
10.82/3.74		o15!: String(count=5, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
10.82/3.74	o80:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o38:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o16:: [CHAR] -->{java.lang.Object...}
10.82/3.74	a41-><-o80
10.82/3.74	a41-><-o79
10.82/3.74	a41-><-o38
10.82/3.74	a41-><-o37
10.82/3.74	a41-><-o16
10.82/3.74	a41-><-o15
10.82/3.74	YES:  (JL1)
10.82/3.74	12:<java.lang.String.length||1: Read from count|| - ||o37>
10.82/3.74	<simple.plait.Main.main||9: java.lang.String.length||args: a41||5>
10.82/3.74		o79!: String(count=0, hash=#, offset=[0,+inf), value=o80?) -->{java.lang.Object...}
10.82/3.74		a41([java.lang.String...]): {o15, o37, o79} -->{java.lang.Object...}
10.82/3.74		o37!: String(count=11, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
10.82/3.74		o15!: String(count=5, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
10.82/3.74	o80:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o38:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o16:: [CHAR] -->{java.lang.Object...}
10.82/3.74	a41-><-o80
10.82/3.74	a41-><-o79
10.82/3.74	a41-><-o38
10.82/3.74	a41-><-o37
10.82/3.74	a41-><-o16
10.82/3.74	a41-><-o15
10.82/3.74	YES:  (JL1)
10.82/3.74	13:<java.lang.String.length||4: return INT|| - ||11>
10.82/3.74	<simple.plait.Main.main||9: java.lang.String.length||args: a41||5>
10.82/3.74		o79!: String(count=0, hash=#, offset=[0,+inf), value=o80?) -->{java.lang.Object...}
10.82/3.74		a41([java.lang.String...]): {o15, o37, o79} -->{java.lang.Object...}
10.82/3.74		o37!: String(count=11, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
10.82/3.74		o15!: String(count=5, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
10.82/3.74	o80:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o38:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o16:: [CHAR] -->{java.lang.Object...}
10.82/3.74	a41-><-o80
10.82/3.74	a41-><-o79
10.82/3.74	a41-><-o38
10.82/3.74	a41-><-o37
10.82/3.74	a41-><-o16
10.82/3.74	a41-><-o15
10.82/3.74	YES:  (JL1)
10.82/3.74	14:<simple.plait.Main.main||12: load ADDR args||args: a41||5, 11>
10.82/3.74		o79!: String(count=0, hash=#, offset=[0,+inf), value=o80?) -->{java.lang.Object...}
10.82/3.74		a41([java.lang.String...]): {o15, o37, o79} -->{java.lang.Object...}
10.82/3.74		o37!: String(count=11, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
10.82/3.74		o15!: String(count=5, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
10.82/3.74	o80:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o38:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o16:: [CHAR] -->{java.lang.Object...}
10.82/3.74	a41-><-o80
10.82/3.74	a41-><-o79
10.82/3.74	a41-><-o38
10.82/3.74	a41-><-o37
10.82/3.74	a41-><-o16
10.82/3.74	a41-><-o15
10.82/3.74	YES:  (JL1)
10.82/3.74	15:<simple.plait.Main.main||13: push 2|| - ||5, 11, a41>
10.82/3.74		o79!: String(count=0, hash=#, offset=[0,+inf), value=o80?) -->{java.lang.Object...}
10.82/3.74		a41([java.lang.String...]): {o15, o37, o79} -->{java.lang.Object...}
10.82/3.74		o37!: String(count=11, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
10.82/3.74		o15!: String(count=5, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
10.82/3.74	o80:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o38:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o16:: [CHAR] -->{java.lang.Object...}
10.82/3.74	a41-><-o80
10.82/3.74	a41-><-o79
10.82/3.74	a41-><-o38
10.82/3.74	a41-><-o37
10.82/3.74	a41-><-o16
10.82/3.74	a41-><-o15
10.82/3.74	YES:  (JL1)
10.82/3.74	16:<simple.plait.Main.main||14: Read ADDR from array|| - ||5, 11, a41, 2>
10.82/3.74		o79!: String(count=0, hash=#, offset=[0,+inf), value=o80?) -->{java.lang.Object...}
10.82/3.74		a41([java.lang.String...]): {o15, o37, o79} -->{java.lang.Object...}
10.82/3.74		o37!: String(count=11, hash=#, offset=[0,+inf), value=o38?) -->{java.lang.Object...}
10.82/3.74		o15!: String(count=5, hash=#, offset=[0,+inf), value=o16?) -->{java.lang.Object...}
10.82/3.74	o80:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o38:: [CHAR] -->{java.lang.Object...}
10.82/3.74	o16:: [CHAR] -->{java.lang.Object...}
10.82/3.74	a41-><-o80
10.82/3.74	a41-><-o79
10.82/3.74	a41-><-o38
10.82/3.74	a41-><-o37
10.82/3.74	a41-><-o16
10.82/3.74	a41-><-o15
10.82/3.74	YES:  (JL1)
10.82/3.74	17:<simple.plait.Main.main||15: java.lang.String.length()I|| - ||5, 11, o79>
10.82/3.74		o79!: String(count=0, hash=#, offset=[0,+inf), value=o80?) -->{java.lang.Object...}
10.82/3.74	o80:: [CHAR] -->{java.lang.Object...}
10.82/3.74	YES:  (JL1)
10.82/3.74	18:<java.lang.String.length||0: load ADDR this||this: o79|| ->
10.82/3.74	<simple.plait.Main.main||15: java.lang.String.length|| - ||5, 11>
10.82/3.74		o79!: String(count=0, hash=#, offset=[0,+inf), value=o80?) -->{java.lang.Object...}
10.82/3.74	o80:: [CHAR] -->{java.lang.Object...}
10.82/3.74	YES:  (JL1)
10.82/3.74	19:<java.lang.String.length||1: Read from count|| - ||o79>
10.82/3.74	<simple.plait.Main.main||15: java.lang.String.length|| - ||5, 11>
10.82/3.74		o79!: String(count=0, hash=#, offset=[0,+inf), value=o80?) -->{java.lang.Object...}
10.82/3.74	o80:: [CHAR] -->{java.lang.Object...}
10.82/3.74	YES:  (JL1)
10.82/3.74	20:<java.lang.String.length||4: return INT|| - ||0>
10.82/3.74	<simple.plait.Main.main||15: java.lang.String.length|| - ||5, 11>
10.82/3.74	YES:  (JL1)
10.82/3.74	21:<simple.plait.Main.main||18: simple.plait.Plait.loop(III)V|| - ||5, 11, 0>
10.82/3.74	YES:  (JL1)
10.82/3.74	22:<simple.plait.Plait.loop||0: push 0||i: 5, j: 11, k: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	23:<simple.plait.Plait.loop||1: store INT to plaitNext||i: 5, j: 11, k: 0||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	24:<simple.plait.Plait.loop||2: push 0||i: 5, j: 11, k: 0, plaitNext: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	25:<simple.plait.Plait.loop||3: store INT to swap||i: 5, j: 11, k: 0, plaitNext: 0||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	26:<simple.plait.Plait.loop||5: load INT i||i: 5, j: 11, k: 0, plaitNext: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	27:<simple.plait.Plait.loop||6: GT 0||i: 5, j: 11, k: 0, plaitNext: 0||5>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	28:<simple.plait.Plait.loop||17: load INT plaitNext||i: 5, j: 11, k: 0, plaitNext: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	29:<simple.plait.Plait.loop||18: NE 0||i: 5, j: 11, k: 0||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	30:<simple.plait.Plait.loop||21: load INT i||i: 5, j: 11, k: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	31:<simple.plait.Plait.loop||22: store INT to swap||j: 11, k: 0||5>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	32:<simple.plait.Plait.loop||24: load INT j||j: 11, k: 0, swap: 5|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	33:<simple.plait.Plait.loop||25: push 2||k: 0, swap: 5||11>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	34:<simple.plait.Plait.loop||26: TIDIV||k: 0, swap: 5||11, 2>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	35:<simple.plait.Plait.loop||27: store INT to i||k: 0, swap: 5||5>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	36:<simple.plait.Plait.loop||28: load INT swap||i: 5, k: 0, swap: 5|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	37:<simple.plait.Plait.loop||30: push 2||i: 5, k: 0||5>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	38:<simple.plait.Plait.loop||31: MUL||i: 5, k: 0||5, 2>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	39:<simple.plait.Plait.loop||32: store INT to j||i: 5, k: 0||10>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	40:<simple.plait.Plait.loop||33: push 1||i: 5, j: 10, k: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	41:<simple.plait.Plait.loop||34: store INT to plaitNext||i: 5, j: 10, k: 0||1>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	42:<simple.plait.Plait.loop||35: jmp||i: 5, j: 10, k: 0, plaitNext: 1|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	43:<simple.plait.Plait.loop||5: load INT i||i: 5, j: 10, k: 0, plaitNext: 1|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	44:<simple.plait.Plait.loop||6: GT 0||i: 5, j: 10, k: 0, plaitNext: 1||5>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	45:<simple.plait.Plait.loop||17: load INT plaitNext||i: 5, j: 10, k: 0, plaitNext: 1|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	46:<simple.plait.Plait.loop||18: NE 0||i: 5, j: 10, k: 0||1>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	47:<simple.plait.Plait.loop||38: load INT k||i: 5, j: 10, k: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	48:<simple.plait.Plait.loop||39: store INT to swap||i: 5, j: 10||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	49:<simple.plait.Plait.loop||41: load INT j||i: 5, j: 10, swap: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	50:<simple.plait.Plait.loop||42: push 2||i: 5, swap: 0||10>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	51:<simple.plait.Plait.loop||43: MUL||i: 5, swap: 0||10, 2>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	52:<simple.plait.Plait.loop||44: store INT to k||i: 5, swap: 0||20>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	53:<simple.plait.Plait.loop||45: load INT swap||i: 5, k: 20, swap: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	54:<simple.plait.Plait.loop||47: push 2||i: 5, k: 20||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	55:<simple.plait.Plait.loop||48: TIDIV||i: 5, k: 20||0, 2>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	56:<simple.plait.Plait.loop||49: store INT to j||i: 5, k: 20||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	57:<simple.plait.Plait.loop||50: push 0||i: 5, j: 0, k: 20|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	58:<simple.plait.Plait.loop||51: store INT to plaitNext||i: 5, j: 0, k: 20||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	59:<simple.plait.Plait.loop||52: jmp||i: 5, j: 0, k: 20, plaitNext: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	60:<simple.plait.Plait.loop||5: load INT i||i: 5, j: 0, k: 20, plaitNext: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	61:<simple.plait.Plait.loop||6: GT 0||i: 5, j: 0, k: 20, plaitNext: 0||5>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	62:<simple.plait.Plait.loop||17: load INT plaitNext||i: 5, j: 0, k: 20, plaitNext: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	63:<simple.plait.Plait.loop||18: NE 0||i: 5, j: 0, k: 20||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	64:<simple.plait.Plait.loop||21: load INT i||i: 5, j: 0, k: 20|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	65:<simple.plait.Plait.loop||22: store INT to swap||j: 0, k: 20||5>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	66:<simple.plait.Plait.loop||24: load INT j||j: 0, k: 20, swap: 5|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	67:<simple.plait.Plait.loop||25: push 2||k: 20, swap: 5||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	68:<simple.plait.Plait.loop||26: TIDIV||k: 20, swap: 5||0, 2>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	69:<simple.plait.Plait.loop||27: store INT to i||k: 20, swap: 5||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	70:<simple.plait.Plait.loop||28: load INT swap||i: 0, k: 20, swap: 5|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	71:<simple.plait.Plait.loop||30: push 2||i: 0, k: 20||5>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	72:<simple.plait.Plait.loop||31: MUL||i: 0, k: 20||5, 2>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	73:<simple.plait.Plait.loop||32: store INT to j||i: 0, k: 20||10>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	74:<simple.plait.Plait.loop||33: push 1||i: 0, j: 10, k: 20|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	75:<simple.plait.Plait.loop||34: store INT to plaitNext||i: 0, j: 10, k: 20||1>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	76:<simple.plait.Plait.loop||35: jmp||i: 0, j: 10, k: 20, plaitNext: 1|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	77:<simple.plait.Plait.loop||5: load INT i||i: 0, j: 10, k: 20, plaitNext: 1|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	78:<simple.plait.Plait.loop||6: GT 0||i: 0, j: 10, k: 20, plaitNext: 1||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	79:<simple.plait.Plait.loop||9: load INT j||i: 0, j: 10, k: 20, plaitNext: 1|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	80:<simple.plait.Plait.loop||10: GT 0||i: 0, j: 10, k: 20, plaitNext: 1||10>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	81:<simple.plait.Plait.loop||17: load INT plaitNext||i: 0, j: 10, k: 20, plaitNext: 1|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	82:<simple.plait.Plait.loop||18: NE 0||i: 0, j: 10, k: 20||1>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	83:<simple.plait.Plait.loop||38: load INT k||i: 0, j: 10, k: 20|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	84:<simple.plait.Plait.loop||39: store INT to swap||i: 0, j: 10||20>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	85:<simple.plait.Plait.loop||41: load INT j||i: 0, j: 10, swap: 20|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	86:<simple.plait.Plait.loop||42: push 2||i: 0, swap: 20||10>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	87:<simple.plait.Plait.loop||43: MUL||i: 0, swap: 20||10, 2>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	88:<simple.plait.Plait.loop||44: store INT to k||i: 0, swap: 20||20>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	89:<simple.plait.Plait.loop||45: load INT swap||i: 0, k: 20, swap: 20|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	90:<simple.plait.Plait.loop||47: push 2||i: 0, k: 20||20>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	91:<simple.plait.Plait.loop||48: TIDIV||i: 0, k: 20||20, 2>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	92:<simple.plait.Plait.loop||49: store INT to j||i: 0, k: 20||10>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	93:<simple.plait.Plait.loop||50: push 0||i: 0, j: 10, k: 20|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	94:<simple.plait.Plait.loop||51: store INT to plaitNext||i: 0, j: 10, k: 20||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	95:<simple.plait.Plait.loop||52: jmp||i: 0, j: 10, k: 20, plaitNext: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	96:<simple.plait.Plait.loop||5: load INT i||i: 0, j: 10, k: 20, plaitNext: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	97:<simple.plait.Plait.loop||6: GT 0||i: 0, j: 10, k: 20, plaitNext: 0||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	98:<simple.plait.Plait.loop||9: load INT j||i: 0, j: 10, k: 20, plaitNext: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	99:<simple.plait.Plait.loop||10: GT 0||i: 0, j: 10, k: 20, plaitNext: 0||10>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	100:<simple.plait.Plait.loop||17: load INT plaitNext||i: 0, j: 10, k: 20, plaitNext: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	101:<simple.plait.Plait.loop||18: NE 0||i: 0, j: 10, k: 20||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	102:<simple.plait.Plait.loop||21: load INT i||i: 0, j: 10, k: 20|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	103:<simple.plait.Plait.loop||22: store INT to swap||j: 10, k: 20||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	104:<simple.plait.Plait.loop||24: load INT j||j: 10, k: 20, swap: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	105:<simple.plait.Plait.loop||25: push 2||k: 20, swap: 0||10>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	106:<simple.plait.Plait.loop||26: TIDIV||k: 20, swap: 0||10, 2>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	107:<simple.plait.Plait.loop||27: store INT to i||k: 20, swap: 0||5>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	108:<simple.plait.Plait.loop||28: load INT swap||i: 5, k: 20, swap: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	109:<simple.plait.Plait.loop||30: push 2||i: 5, k: 20||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	110:<simple.plait.Plait.loop||31: MUL||i: 5, k: 20||0, 2>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	111:<simple.plait.Plait.loop||32: store INT to j||i: 5, k: 20||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	112:<simple.plait.Plait.loop||33: push 1||i: 5, j: 0, k: 20|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	113:<simple.plait.Plait.loop||34: store INT to plaitNext||i: 5, j: 0, k: 20||1>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	114:<simple.plait.Plait.loop||35: jmp||i: 5, j: 0, k: 20, plaitNext: 1|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	115:<simple.plait.Plait.loop||5: load INT i||i: 5, j: 0, k: 20, plaitNext: 1|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	116:<simple.plait.Plait.loop||6: GT 0||i: 5, j: 0, k: 20, plaitNext: 1||5>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	117:<simple.plait.Plait.loop||17: load INT plaitNext||i: 5, j: 0, k: 20, plaitNext: 1|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	118:<simple.plait.Plait.loop||18: NE 0||i: 5, j: 0, k: 20||1>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	119:<simple.plait.Plait.loop||38: load INT k||i: 5, j: 0, k: 20|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	120:<simple.plait.Plait.loop||39: store INT to swap||i: 5, j: 0||20>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	121:<simple.plait.Plait.loop||41: load INT j||i: 5, j: 0, swap: 20|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	122:<simple.plait.Plait.loop||42: push 2||i: 5, swap: 20||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	123:<simple.plait.Plait.loop||43: MUL||i: 5, swap: 20||0, 2>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	124:<simple.plait.Plait.loop||44: store INT to k||i: 5, swap: 20||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	125:<simple.plait.Plait.loop||45: load INT swap||i: 5, k: 0, swap: 20|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	126:<simple.plait.Plait.loop||47: push 2||i: 5, k: 0||20>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	127:<simple.plait.Plait.loop||48: TIDIV||i: 5, k: 0||20, 2>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	128:<simple.plait.Plait.loop||49: store INT to j||i: 5, k: 0||10>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	129:<simple.plait.Plait.loop||50: push 0||i: 5, j: 10, k: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	130:<simple.plait.Plait.loop||51: store INT to plaitNext||i: 5, j: 10, k: 0||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	131:<simple.plait.Plait.loop||52: jmp||i: 5, j: 10, k: 0, plaitNext: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	132:<simple.plait.Plait.loop||5: load INT i||i: 5, j: 10, k: 0, plaitNext: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	133:<simple.plait.Plait.loop||6: GT 0||i: 5, j: 10, k: 0, plaitNext: 0||5>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	134:<simple.plait.Plait.loop||17: load INT plaitNext||i: 5, j: 10, k: 0, plaitNext: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	135:<simple.plait.Plait.loop||18: NE 0||i: 5, j: 10, k: 0||0>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	136:<simple.plait.Plait.loop||21: load INT i||i: 5, j: 10, k: 0|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	137:<simple.plait.Plait.loop||22: store INT to swap||j: 10, k: 0||5>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	138:<simple.plait.Plait.loop||24: load INT j||j: 10, k: 0, swap: 5|| ->
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	139:<simple.plait.Plait.loop||25: push 2||k: 0, swap: 5||10>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	140:<simple.plait.Plait.loop||26: TIDIV||k: 0, swap: 5||10, 2>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	141:<simple.plait.Plait.loop||27: store INT to i||k: 0, swap: 5||5>
10.82/3.74	<simple.plait.Main.main||18: simple.plait.Plait.loop|| - || ->
10.82/3.74	YES:  (JL1)
10.82/3.74	
10.82/3.74	----------------------------------------
10.82/3.74	
10.82/3.74	(6)
10.82/3.74	NO
10.91/3.78	EOF