Termination proof of /tmp/tmpjIraIi/Velroyen08-lcm.jar

Termination of the given JBC could be disproven:

0 JBC

↳1 JBCNonTerm (⇔, 1543 ms)

↳2 NO

(0) Obligation:

JBC Problem based on JBC Program:

package simple.lcm;

public class Lcm {

	// does not terminate if exactly one of the input values is negative
	
	public static int lcm (int a, int b) {
		int am = a;
		int bm = b;
		
		while (am != bm) {
			if (am > bm) {
				bm = bm+b;
			} else {
				am = am+a;
			}
		}
		return am;
	}
}


package simple.lcm;


public class Main {

	/**
	 * @param args
	 */
	public static void main(String[] args) {
        int x = args[2].length();
        int y = args[3].length();
        if (args[0].length() % 2 == 0) {
            x = -x;
        }
        if (args[1].length() % 2 == 0) {
            y = -y;
        }
		Lcm.lcm(x, y);
	}

}

(1) JBCNonTerm (EQUIVALENT transformation)

Constructed a run with a repetition. States 43 and 54 are repetitions.
0:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||0: load ADDR args||args: a1008|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||1: push 2||args: a1008||a1008>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||2: Read ADDR from array||args: a1008||a1008, iconst_2>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||3: java.lang.String.length()I||args: a1008||o16>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

<java.lang.String.length||0: load ADDR this||this: o16|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||3: java.lang.String.length||args: a1008||o16>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

<java.lang.String.length||1: Read from count|| - ||o16>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||3: java.lang.String.length||args: a1008||o16>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

<java.lang.String.length||4: return INT|| - ||iconst_4>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||3: java.lang.String.length||args: a1008||o16>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||6: store INT to x||args: a1008||iconst_4>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||7: load ADDR args||args: a1008, x: iconst_4|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||8: push 3||args: a1008, x: iconst_4||a1008>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

10:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||9: Read ADDR from array||args: a1008, x: iconst_4||a1008, iconst_3>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

11:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||10: java.lang.String.length()I||args: a1008, x: iconst_4||o43>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

12:

<java.lang.String.length||0: load ADDR this||this: o43|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||10: java.lang.String.length||args: a1008, x: iconst_4||o43>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

13:

<java.lang.String.length||1: Read from count|| - ||o43>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||10: java.lang.String.length||args: a1008, x: iconst_4||o43>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

14:

<java.lang.String.length||4: return INT|| - ||iconst_0>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||10: java.lang.String.length||args: a1008, x: iconst_4||o43>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

15:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||13: store INT to y||args: a1008, x: iconst_4||iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

16:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||14: load ADDR args||args: a1008, x: iconst_4, y: iconst_0|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

17:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||15: push 0||args: a1008, x: iconst_4, y: iconst_0||a1008>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

18:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||16: Read ADDR from array||args: a1008, x: iconst_4, y: iconst_0||a1008, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

19:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||17: java.lang.String.length()I||args: a1008, x: iconst_4, y: iconst_0||o110>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

20:

<java.lang.String.length||0: load ADDR this||this: o110|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||17: java.lang.String.length||args: a1008, x: iconst_4, y: iconst_0||o110>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

21:

<java.lang.String.length||1: Read from count|| - ||o110>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||17: java.lang.String.length||args: a1008, x: iconst_4, y: iconst_0||o110>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

22:

<java.lang.String.length||4: return INT|| - ||iconst_1>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||17: java.lang.String.length||args: a1008, x: iconst_4, y: iconst_0||o110>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

23:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||20: push 2||args: a1008, x: iconst_4, y: iconst_0||iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

24:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||21: REM||args: a1008, x: iconst_4, y: iconst_0||iconst_1, iconst_2>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

25:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||22: NE 0||args: a1008, x: iconst_4, y: iconst_0||iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

26:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||28: load ADDR args||args: a1008, x: iconst_4, y: iconst_0|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

27:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||29: push 1||x: iconst_4, y: iconst_0||a1008>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

28:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||30: Read ADDR from array||x: iconst_4, y: iconst_0||a1008, iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

29:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||31: java.lang.String.length()I||x: iconst_4, y: iconst_0||o248>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

30:

<java.lang.String.length||0: load ADDR this||this: o248|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||31: java.lang.String.length||x: iconst_4, y: iconst_0||o248>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

31:

<java.lang.String.length||1: Read from count|| - ||o248>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||31: java.lang.String.length||x: iconst_4, y: iconst_0||o248>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

32:

<java.lang.String.length||4: return INT|| - ||iconst_1>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||31: java.lang.String.length||x: iconst_4, y: iconst_0||o248>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

33:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||34: push 2||x: iconst_4, y: iconst_0||iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

34:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||35: REM||x: iconst_4, y: iconst_0||iconst_1, iconst_2>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

35:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||36: NE 0||x: iconst_4, y: iconst_0||iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

36:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||42: load INT x||x: iconst_4, y: iconst_0|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

37:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||43: load INT y||y: iconst_0||iconst_4>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

38:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm(II)I|| - ||iconst_4, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

39:

<simple.lcm.Lcm.lcm||0: load INT a||a: iconst_4, b: iconst_0|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - ||iconst_4, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

40:

<simple.lcm.Lcm.lcm||1: store INT to am||a: iconst_4, b: iconst_0||iconst_4>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - ||iconst_4, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

41:

<simple.lcm.Lcm.lcm||2: load INT b||a: iconst_4, b: iconst_0, am: iconst_4|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - ||iconst_4, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

42:

<simple.lcm.Lcm.lcm||3: store INT to bm||a: iconst_4, b: iconst_0, am: iconst_4||iconst_0>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - ||iconst_4, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

43:

<simple.lcm.Lcm.lcm||4: load INT am||a: iconst_4, b: iconst_0, am: iconst_4, bm: iconst_0|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - ||iconst_4, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

44:

<simple.lcm.Lcm.lcm||5: load INT bm||a: iconst_4, b: iconst_0, am: iconst_4, bm: iconst_0||iconst_4>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - ||iconst_4, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

45:

<simple.lcm.Lcm.lcm||6: EQ||a: iconst_4, b: iconst_0, am: iconst_4, bm: iconst_0||iconst_4, iconst_0>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - ||iconst_4, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations:

46:

<simple.lcm.Lcm.lcm||9: load INT am||a: iconst_4, b: iconst_0, am: iconst_4, bm: iconst_0|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - ||iconst_4, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations: iconst_4>iconst_0

47:

<simple.lcm.Lcm.lcm||10: load INT bm||a: iconst_4, b: iconst_0, am: iconst_4, bm: iconst_0||iconst_4>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - ||iconst_4, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations: iconst_4>iconst_0

48:

<simple.lcm.Lcm.lcm||11: LE||a: iconst_4, b: iconst_0, am: iconst_4, bm: iconst_0||iconst_4, iconst_0>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - ||iconst_4, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations: iconst_4>iconst_0

49:

<simple.lcm.Lcm.lcm||14: load INT bm||a: iconst_4, b: iconst_0, am: iconst_4, bm: iconst_0|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - ||iconst_4, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations: iconst_4>iconst_0

50:

<simple.lcm.Lcm.lcm||15: load INT b||a: iconst_4, b: iconst_0, am: iconst_4||iconst_0>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - ||iconst_4, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations: iconst_4>iconst_0

51:

<simple.lcm.Lcm.lcm||16: ADD||a: iconst_4, b: iconst_0, am: iconst_4||iconst_0, iconst_0>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - ||iconst_4, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations: iconst_4>iconst_0

52:

<simple.lcm.Lcm.lcm||17: store INT to bm||a: iconst_4, b: iconst_0, am: iconst_4||iconst_0>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - ||iconst_4, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations: iconst_4>iconst_0, iconst_0<=iconst_4

53:

<simple.lcm.Lcm.lcm||18: jmp||a: iconst_4, b: iconst_0, am: iconst_4, bm: iconst_0|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - ||iconst_4, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations: iconst_4>iconst_0, iconst_0<=iconst_4

54:

<simple.lcm.Lcm.lcm||4: load INT am||a: iconst_4, b: iconst_0, am: iconst_4, bm: iconst_0|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a1008(lv_0_0)]
<simple.lcm.Main.main||44: simple.lcm.Lcm.lcm|| - ||iconst_4, iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a1010
	String.CASE_INSENSITIVE_ORDER: o1027
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a1010([java.io.ObjectStreamField|]): length iconst_0
	o1027!: String$CaseInsensitiveComparator()
	o248(java.lang.String...): String(count=iconst_1, hash=i87, offset=iconst_0, value=a154?)
	i87: #I{-inf,+inf}
	a1008([java.lang.String...]): {o110, o248, o16, o43}
	o110(java.lang.String...): String(count=iconst_1, hash=i56, offset=iconst_0, value=a57?)
	i56: #I{-inf,+inf}
	o43(java.lang.String...): String(count=iconst_0, hash=i38, offset=iconst_0, value=a19?)
	i38: #I{-inf,+inf}
	o16(java.lang.String...): String(count=iconst_4, hash=i20, offset=iconst_0, value=a7?)
	i20: #I{-inf,+inf}
a154:: [CHAR]
a57:: [CHAR]
a19:: [CHAR]
a7:: [CHAR]
Relations: iconst_4>iconst_0, iconst_0<=iconst_4

(0) Obligation:

(1) JBCNonTerm (EQUIVALENT transformation)

(2) NO