Termination proof of /tmp/tmplcelZN/Velroyen08-simple-plait.jar

Termination of the given JBC could be disproven:

0 JBC

↳1 JBCNonTerm (⇔, 1040 ms)

↳2 NO

(0) Obligation:

JBC Problem based on JBC Program:
Manifest-Version: 1.0 Created-By: 1.6.0_26 (Sun Microsystems Inc.) Main-Class: simple/plait/Main

package simple.plait;

public class Main {

	/**
	 * @param args
	 */
	public static void main(String[] args) {
		Plait.loop(args[0].length(),args[1].length(),args[2].length());

	}

}


package simple.plait;

public class Plait {
	
	// does not terminate for ???

	public static void loop(int i, int j, int k) {
		int plaitNext = 0;
		int swap = 0;
		while (i > 0 || j > 0 || k > 0) {
			if (plaitNext == 0) {
				swap = i;
				i = j/2;
				j = swap*2;
				plaitNext = 1;
			} else {
				swap = k;
				k = j*2;
				j = swap/2;
				plaitNext = 0;
			}
			
		}
	}
}

(1) JBCNonTerm (EQUIVALENT transformation)

Constructed a run with a repetition. States 26 and 128 are repetitions.
0:

<simple.plait.Main.main||0: load ADDR args||args: a389|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

<simple.plait.Main.main||1: push 0||args: a389||a389>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

<simple.plait.Main.main||2: Read ADDR from array||args: a389||a389, 0>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

<simple.plait.Main.main||3: java.lang.String.length()I||args: a389||o16>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=i14, offset=0, value=a7?)
	i14: #I
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

<java.lang.String.length||0: load ADDR this||this: o16|| ->
<simple.plait.Main.main||3: java.lang.String.length||args: a389||o16>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=i14, offset=0, value=a7?)
	i14: #I
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

<java.lang.String.length||1: Read from count|| - ||o16>
<simple.plait.Main.main||3: java.lang.String.length||args: a389||o16>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=i14, offset=0, value=a7?)
	i14: #I
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

<java.lang.String.length||4: return INT|| - ||2>
<simple.plait.Main.main||3: java.lang.String.length||args: a389||o16>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=i14, offset=0, value=a7?)
	i14: #I
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

<simple.plait.Main.main||6: load ADDR args||args: a389||2>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

<simple.plait.Main.main||7: push 1||args: a389||2, a389>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

<simple.plait.Main.main||8: Read ADDR from array||args: a389||2, a389, 1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

10:

<simple.plait.Main.main||9: java.lang.String.length()I||args: a389||2, o32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=i36, offset=0, value=a12?)
	i36: #I
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

11:

<java.lang.String.length||0: load ADDR this||this: o32|| ->
<simple.plait.Main.main||9: java.lang.String.length||args: a389||2, o32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=i36, offset=0, value=a12?)
	i36: #I
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

12:

<java.lang.String.length||1: Read from count|| - ||o32>
<simple.plait.Main.main||9: java.lang.String.length||args: a389||2, o32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=i36, offset=0, value=a12?)
	i36: #I
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

13:

<java.lang.String.length||4: return INT|| - ||10>
<simple.plait.Main.main||9: java.lang.String.length||args: a389||2, o32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=i36, offset=0, value=a12?)
	i36: #I
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

14:

<simple.plait.Main.main||12: load ADDR args||args: a389||2, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

15:

<simple.plait.Main.main||13: push 2|| - ||2, 10, a389>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

16:

<simple.plait.Main.main||14: Read ADDR from array|| - ||2, 10, a389, 2>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

17:

<simple.plait.Main.main||15: java.lang.String.length()I|| - ||2, 10, o52>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=i56, offset=0, value=a23?)
	i56: #I
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

18:

<java.lang.String.length||0: load ADDR this||this: o52|| ->
<simple.plait.Main.main||15: java.lang.String.length|| - ||2, 10, o52>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=i56, offset=0, value=a23?)
	i56: #I
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

19:

<java.lang.String.length||1: Read from count|| - ||o52>
<simple.plait.Main.main||15: java.lang.String.length|| - ||2, 10, o52>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=i56, offset=0, value=a23?)
	i56: #I
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

20:

<java.lang.String.length||4: return INT|| - ||32>
<simple.plait.Main.main||15: java.lang.String.length|| - ||2, 10, o52>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=i56, offset=0, value=a23?)
	i56: #I
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

21:

<simple.plait.Main.main||18: simple.plait.Plait.loop(III)V|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

22:

<simple.plait.Plait.loop||0: push 0||i: 2, j: 10, k: 32|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

23:

<simple.plait.Plait.loop||1: store INT to plaitNext||i: 2, j: 10, k: 32||0>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

24:

<simple.plait.Plait.loop||2: push 0||i: 2, j: 10, k: 32, plaitNext: 0|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

25:

<simple.plait.Plait.loop||3: store INT to swap||i: 2, j: 10, k: 32, plaitNext: 0||0>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

26:

<simple.plait.Plait.loop||5: load INT i||i: 2, j: 10, k: 32, plaitNext: 0|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

27:

<simple.plait.Plait.loop||6: GT 0||i: 2, j: 10, k: 32, plaitNext: 0||2>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

28:

<simple.plait.Plait.loop||17: load INT plaitNext||i: 2, j: 10, k: 32, plaitNext: 0|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

29:

<simple.plait.Plait.loop||18: NE 0||i: 2, j: 10, k: 32||0>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

30:

<simple.plait.Plait.loop||21: load INT i||i: 2, j: 10, k: 32|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

31:

<simple.plait.Plait.loop||22: store INT to swap||j: 10, k: 32||2>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

32:

<simple.plait.Plait.loop||24: load INT j||j: 10, k: 32, swap: 2|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

33:

<simple.plait.Plait.loop||25: push 2||k: 32, swap: 2||10>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

34:

<simple.plait.Plait.loop||26: DIV||k: 32, swap: 2||10, 2>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

35:

<simple.plait.Plait.loop||27: store INT to i||k: 32, swap: 2||5>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

36:

<simple.plait.Plait.loop||28: load INT swap||i: 5, k: 32, swap: 2|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

37:

<simple.plait.Plait.loop||30: push 2||i: 5, k: 32||2>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

38:

<simple.plait.Plait.loop||31: MUL||i: 5, k: 32||2, 2>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

39:

<simple.plait.Plait.loop||32: store INT to j||i: 5, k: 32||4>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

40:

<simple.plait.Plait.loop||33: push 1||i: 5, j: 4, k: 32|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

41:

<simple.plait.Plait.loop||34: store INT to plaitNext||i: 5, j: 4, k: 32||1>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

42:

<simple.plait.Plait.loop||35: jmp||i: 5, j: 4, k: 32, plaitNext: 1|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

43:

<simple.plait.Plait.loop||5: load INT i||i: 5, j: 4, k: 32, plaitNext: 1|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

44:

<simple.plait.Plait.loop||6: GT 0||i: 5, j: 4, k: 32, plaitNext: 1||5>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

45:

<simple.plait.Plait.loop||17: load INT plaitNext||i: 5, j: 4, k: 32, plaitNext: 1|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

46:

<simple.plait.Plait.loop||18: NE 0||i: 5, j: 4, k: 32||1>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

47:

<simple.plait.Plait.loop||38: load INT k||i: 5, j: 4, k: 32|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

48:

<simple.plait.Plait.loop||39: store INT to swap||i: 5, j: 4||32>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

49:

<simple.plait.Plait.loop||41: load INT j||i: 5, j: 4, swap: 32|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

50:

<simple.plait.Plait.loop||42: push 2||i: 5, swap: 32||4>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

51:

<simple.plait.Plait.loop||43: MUL||i: 5, swap: 32||4, 2>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

52:

<simple.plait.Plait.loop||44: store INT to k||i: 5, swap: 32||8>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

53:

<simple.plait.Plait.loop||45: load INT swap||i: 5, k: 8, swap: 32|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

54:

<simple.plait.Plait.loop||47: push 2||i: 5, k: 8||32>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

55:

<simple.plait.Plait.loop||48: DIV||i: 5, k: 8||32, 2>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

56:

<simple.plait.Plait.loop||49: store INT to j||i: 5, k: 8||16>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

57:

<simple.plait.Plait.loop||50: push 0||i: 5, j: 16, k: 8|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

58:

<simple.plait.Plait.loop||51: store INT to plaitNext||i: 5, j: 16, k: 8||0>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

59:

<simple.plait.Plait.loop||52: jmp||i: 5, j: 16, k: 8, plaitNext: 0|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

60:

<simple.plait.Plait.loop||5: load INT i||i: 5, j: 16, k: 8, plaitNext: 0|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

61:

<simple.plait.Plait.loop||6: GT 0||i: 5, j: 16, k: 8, plaitNext: 0||5>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

62:

<simple.plait.Plait.loop||17: load INT plaitNext||i: 5, j: 16, k: 8, plaitNext: 0|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

63:

<simple.plait.Plait.loop||18: NE 0||i: 5, j: 16, k: 8||0>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

64:

<simple.plait.Plait.loop||21: load INT i||i: 5, j: 16, k: 8|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

65:

<simple.plait.Plait.loop||22: store INT to swap||j: 16, k: 8||5>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

66:

<simple.plait.Plait.loop||24: load INT j||j: 16, k: 8, swap: 5|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

67:

<simple.plait.Plait.loop||25: push 2||k: 8, swap: 5||16>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

68:

<simple.plait.Plait.loop||26: DIV||k: 8, swap: 5||16, 2>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

69:

<simple.plait.Plait.loop||27: store INT to i||k: 8, swap: 5||8>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

70:

<simple.plait.Plait.loop||28: load INT swap||i: 8, k: 8, swap: 5|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

71:

<simple.plait.Plait.loop||30: push 2||i: 8, k: 8||5>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

72:

<simple.plait.Plait.loop||31: MUL||i: 8, k: 8||5, 2>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

73:

<simple.plait.Plait.loop||32: store INT to j||i: 8, k: 8||10>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

74:

<simple.plait.Plait.loop||33: push 1||i: 8, j: 10, k: 8|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

75:

<simple.plait.Plait.loop||34: store INT to plaitNext||i: 8, j: 10, k: 8||1>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

76:

<simple.plait.Plait.loop||35: jmp||i: 8, j: 10, k: 8, plaitNext: 1|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

77:

<simple.plait.Plait.loop||5: load INT i||i: 8, j: 10, k: 8, plaitNext: 1|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

78:

<simple.plait.Plait.loop||6: GT 0||i: 8, j: 10, k: 8, plaitNext: 1||8>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

79:

<simple.plait.Plait.loop||17: load INT plaitNext||i: 8, j: 10, k: 8, plaitNext: 1|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

80:

<simple.plait.Plait.loop||18: NE 0||i: 8, j: 10, k: 8||1>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

81:

<simple.plait.Plait.loop||38: load INT k||i: 8, j: 10, k: 8|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

82:

<simple.plait.Plait.loop||39: store INT to swap||i: 8, j: 10||8>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

83:

<simple.plait.Plait.loop||41: load INT j||i: 8, j: 10, swap: 8|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

84:

<simple.plait.Plait.loop||42: push 2||i: 8, swap: 8||10>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

85:

<simple.plait.Plait.loop||43: MUL||i: 8, swap: 8||10, 2>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

86:

<simple.plait.Plait.loop||44: store INT to k||i: 8, swap: 8||20>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

87:

<simple.plait.Plait.loop||45: load INT swap||i: 8, k: 20, swap: 8|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

88:

<simple.plait.Plait.loop||47: push 2||i: 8, k: 20||8>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

89:

<simple.plait.Plait.loop||48: DIV||i: 8, k: 20||8, 2>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

90:

<simple.plait.Plait.loop||49: store INT to j||i: 8, k: 20||4>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

91:

<simple.plait.Plait.loop||50: push 0||i: 8, j: 4, k: 20|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

92:

<simple.plait.Plait.loop||51: store INT to plaitNext||i: 8, j: 4, k: 20||0>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

93:

<simple.plait.Plait.loop||52: jmp||i: 8, j: 4, k: 20, plaitNext: 0|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

94:

<simple.plait.Plait.loop||5: load INT i||i: 8, j: 4, k: 20, plaitNext: 0|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

95:

<simple.plait.Plait.loop||6: GT 0||i: 8, j: 4, k: 20, plaitNext: 0||8>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

96:

<simple.plait.Plait.loop||17: load INT plaitNext||i: 8, j: 4, k: 20, plaitNext: 0|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

97:

<simple.plait.Plait.loop||18: NE 0||i: 8, j: 4, k: 20||0>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

98:

<simple.plait.Plait.loop||21: load INT i||i: 8, j: 4, k: 20|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

99:

<simple.plait.Plait.loop||22: store INT to swap||j: 4, k: 20||8>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

100:

<simple.plait.Plait.loop||24: load INT j||j: 4, k: 20, swap: 8|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

101:

<simple.plait.Plait.loop||25: push 2||k: 20, swap: 8||4>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

102:

<simple.plait.Plait.loop||26: DIV||k: 20, swap: 8||4, 2>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

103:

<simple.plait.Plait.loop||27: store INT to i||k: 20, swap: 8||2>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

104:

<simple.plait.Plait.loop||28: load INT swap||i: 2, k: 20, swap: 8|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

105:

<simple.plait.Plait.loop||30: push 2||i: 2, k: 20||8>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

106:

<simple.plait.Plait.loop||31: MUL||i: 2, k: 20||8, 2>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

107:

<simple.plait.Plait.loop||32: store INT to j||i: 2, k: 20||16>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

108:

<simple.plait.Plait.loop||33: push 1||i: 2, j: 16, k: 20|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

109:

<simple.plait.Plait.loop||34: store INT to plaitNext||i: 2, j: 16, k: 20||1>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

110:

<simple.plait.Plait.loop||35: jmp||i: 2, j: 16, k: 20, plaitNext: 1|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

111:

<simple.plait.Plait.loop||5: load INT i||i: 2, j: 16, k: 20, plaitNext: 1|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

112:

<simple.plait.Plait.loop||6: GT 0||i: 2, j: 16, k: 20, plaitNext: 1||2>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

113:

<simple.plait.Plait.loop||17: load INT plaitNext||i: 2, j: 16, k: 20, plaitNext: 1|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

114:

<simple.plait.Plait.loop||18: NE 0||i: 2, j: 16, k: 20||1>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

115:

<simple.plait.Plait.loop||38: load INT k||i: 2, j: 16, k: 20|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

116:

<simple.plait.Plait.loop||39: store INT to swap||i: 2, j: 16||20>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

117:

<simple.plait.Plait.loop||41: load INT j||i: 2, j: 16, swap: 20|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

118:

<simple.plait.Plait.loop||42: push 2||i: 2, swap: 20||16>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

119:

<simple.plait.Plait.loop||43: MUL||i: 2, swap: 20||16, 2>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

120:

<simple.plait.Plait.loop||44: store INT to k||i: 2, swap: 20||32>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

121:

<simple.plait.Plait.loop||45: load INT swap||i: 2, k: 32, swap: 20|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

122:

<simple.plait.Plait.loop||47: push 2||i: 2, k: 32||20>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

123:

<simple.plait.Plait.loop||48: DIV||i: 2, k: 32||20, 2>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

124:

<simple.plait.Plait.loop||49: store INT to j||i: 2, k: 32||10>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

125:

<simple.plait.Plait.loop||50: push 0||i: 2, j: 10, k: 32|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

126:

<simple.plait.Plait.loop||51: store INT to plaitNext||i: 2, j: 10, k: 32||0>
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

127:

<simple.plait.Plait.loop||52: jmp||i: 2, j: 10, k: 32, plaitNext: 0|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a12:: [CHAR]
a7:: [CHAR]

128:

<simple.plait.Plait.loop||5: load INT i||i: 2, j: 10, k: 32, plaitNext: 0|| ->
<simple.plait.Main.main||18: simple.plait.Plait.loop|| - ||2, 10, 32>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a387
	String.CASE_INSENSITIVE_ORDER: o235
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o235!: String$CaseInsensitiveComparator()
	a387([java.io.ObjectStreamField|]): length 0
	o52(java.lang.String...): String(count=32, hash=#I, offset=0, value=a23?)
	a389([java.lang.String...]): {o16, o32, o52}
	o32(java.lang.String...): String(count=10, hash=#I, offset=0, value=a12?)
	o16(java.lang.String...): String(count=2, hash=#I, offset=0, value=a7?)
a23:: [CHAR]
a7:: [CHAR]
a12:: [CHAR]

(0) Obligation:

(1) JBCNonTerm (EQUIVALENT transformation)

(2) NO