Termination proof of /tmp/tmpLHntH3/Exc1.jar

Termination of the given JBC could be disproven:

0 JBC

↳1 JBCNonTerm (⇔, 215 ms)

↳2 NO

(0) Obligation:

JBC Problem based on JBC Program:

/**
 * An infinite loop continously throwing and catching an exception.
 * Since the exception is thrown before the statement that makes the loop
 * progress, that loop diverges.
 *
 * The call to <tt>main()</tt> diverges.
 *
 * Julia + BinTerm cannot prove that the call to <tt>main()</tt> terminates.
 *
 * @author <A HREF="mailto:fausto.spoto@univr.it">Fausto Spoto</A>
 */

public class Exc1 {
    public static void main(String[] args) {
	int i = 0;

	while (true) {
	    try {
		if (i > 10) throw null;
		i++;
	    }
	    catch (NullPointerException e) {}
	}
    }
}

(1) JBCNonTerm (EQUIVALENT transformation)

Constructed a run with a repetition. States 63 and 90 are repetitions.
0:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||0: push 0|| - || ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||1: store INT to i|| - ||iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||2: load INT i||i: iconst_0|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||3: push 10||i: iconst_0||iconst_0>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||5: LE||i: iconst_0||iconst_0, iconst_10>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||10: increment i by 1||i: iconst_0|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||13: jmp||i: iconst_1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||2: load INT i||i: iconst_1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||3: push 10||i: iconst_1||iconst_1>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||5: LE||i: iconst_1||iconst_1, iconst_10>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

10:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||10: increment i by 1||i: iconst_1|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

11:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||13: jmp||i: iconst_2|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

12:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||2: load INT i||i: iconst_2|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

13:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||3: push 10||i: iconst_2||iconst_2>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

14:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||5: LE||i: iconst_2||iconst_2, iconst_10>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

15:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||10: increment i by 1||i: iconst_2|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

16:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||13: jmp||i: iconst_3|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

17:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||2: load INT i||i: iconst_3|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

18:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||3: push 10||i: iconst_3||iconst_3>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

19:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||5: LE||i: iconst_3||iconst_3, iconst_10>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

20:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||10: increment i by 1||i: iconst_3|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

21:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||13: jmp||i: iconst_4|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

22:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||2: load INT i||i: iconst_4|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

23:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||3: push 10||i: iconst_4||iconst_4>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

24:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||5: LE||i: iconst_4||iconst_4, iconst_10>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

25:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||10: increment i by 1||i: iconst_4|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

26:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||13: jmp||i: iconst_5|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

27:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||2: load INT i||i: iconst_5|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

28:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||3: push 10||i: iconst_5||iconst_5>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

29:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||5: LE||i: iconst_5||iconst_5, iconst_10>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

30:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||10: increment i by 1||i: iconst_5|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

31:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||13: jmp||i: iconst_6|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

32:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||2: load INT i||i: iconst_6|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

33:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||3: push 10||i: iconst_6||iconst_6>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

34:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||5: LE||i: iconst_6||iconst_6, iconst_10>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

35:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||10: increment i by 1||i: iconst_6|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

36:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||13: jmp||i: iconst_7|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

37:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||2: load INT i||i: iconst_7|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

38:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||3: push 10||i: iconst_7||iconst_7>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

39:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||5: LE||i: iconst_7||iconst_7, iconst_10>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

40:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||10: increment i by 1||i: iconst_7|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

41:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||13: jmp||i: iconst_8|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

42:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||2: load INT i||i: iconst_8|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

43:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||3: push 10||i: iconst_8||iconst_8>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

44:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||5: LE||i: iconst_8||iconst_8, iconst_10>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

45:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||10: increment i by 1||i: iconst_8|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

46:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||13: jmp||i: iconst_9|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

47:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||2: load INT i||i: iconst_9|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

48:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||3: push 10||i: iconst_9||iconst_9>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

49:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||5: LE||i: iconst_9||iconst_9, iconst_10>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

50:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||10: increment i by 1||i: iconst_9|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

51:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||13: jmp||i: iconst_10|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

52:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||2: load INT i||i: iconst_10|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

53:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||3: push 10||i: iconst_10||iconst_10>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

54:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||5: LE||i: iconst_10||iconst_10, iconst_10>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

55:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||10: increment i by 1||i: iconst_10|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

56:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||13: jmp||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

57:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||2: load INT i||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

58:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||3: push 10||i: iconst_11||iconst_11>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

59:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||5: LE||i: iconst_11||iconst_11, iconst_10>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

60:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||8: push NULL||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

61:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||9: throw||i: iconst_11||#>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

62:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: #||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

63:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: #||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
Relations:

64:

<java.lang.NullPointerException.<init>()V||0: load ADDR this||this: o359|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: o359||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
Relations:

65:

<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>()V|| - ||o359>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: o359||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
Relations:

66:

<java.lang.RuntimeException.<init>()V||0: load ADDR this||this: o359|| ->
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o359>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: o359||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
Relations:

67:

<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>()V|| - ||o359>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o359>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: o359||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
Relations:

68:

<java.lang.Exception.<init>()V||0: load ADDR this||this: o359|| ->
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o359>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o359>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: o359||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
Relations:

69:

<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>()V|| - ||o359>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o359>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o359>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: o359||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
Relations:

70:

<java.lang.Throwable.<init>()V||0: load ADDR this||this: o359|| ->
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o359>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o359>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o359>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: o359||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
Relations:

71:

<java.lang.Throwable.<init>()V||1: java.lang.Object.<init>()V||this: o359||o359>
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o359>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o359>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o359>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: o359||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
Relations:

72:

<java.lang.Throwable.<init>()V||4: load ADDR this||this: o359|| ->
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o359>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o359>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o359>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: o359||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
Relations:

73:

<java.lang.Throwable.<init>()V||5: load ADDR this||this: o359||o359>
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o359>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o359>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o359>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: o359||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
Relations:

74:

<java.lang.Throwable.<init>()V||6: Write to cause||this: o359||o359, o359>
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o359>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o359>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o359>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: o359||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
Relations:

75:

<java.lang.Throwable.<init>()V||9: load ADDR this||this: o359|| ->
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o359>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o359>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o359>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: o359||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o359, detailMessage=#, stackTrace=#)
Relations:

76:

<java.lang.Throwable.<init>()V||10: java.lang.Throwable.fillInStackTrace()Ljava/lang/Throwable;|| - ||o359>
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o359>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o359>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o359>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: o359||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o359, detailMessage=#, stackTrace=#)
Relations:

77:

<java.lang.Throwable.<init>()V||13: pop|| - ||o359>
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o359>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o359>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o359>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: o359||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o359, detailMessage=#, stackTrace=#)
Relations:

78:

<java.lang.Throwable.<init>()V||14: return|| - || ->
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o359>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o359>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o359>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: o359||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o359, detailMessage=#, stackTrace=#)
Relations:

79:

<java.lang.Exception.<init>()V||4: return|| - || ->
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o359>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o359>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: o359||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o359, detailMessage=#, stackTrace=#)
Relations:

80:

<java.lang.RuntimeException.<init>()V||4: return|| - || ->
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o359>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: o359||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o359, detailMessage=#, stackTrace=#)
Relations:

81:

<java.lang.NullPointerException.<init>()V||4: return|| - || ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: o359||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o359, detailMessage=#, stackTrace=#)
Relations:

82:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: o359||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o359, detailMessage=#, stackTrace=#)
Relations:

83:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||16: store ADDR to e||i: iconst_11||o359>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o359, detailMessage=#, stackTrace=#)
Relations:

84:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||17: jmp||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o359, detailMessage=#, stackTrace=#)
Relations:

85:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||2: load INT i||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o359, detailMessage=#, stackTrace=#)
Relations:

86:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||3: push 10||i: iconst_11||iconst_11>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o359, detailMessage=#, stackTrace=#)
Relations:

87:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||5: LE||i: iconst_11||iconst_11, iconst_10>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o359, detailMessage=#, stackTrace=#)
Relations:

88:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||8: push NULL||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o359, detailMessage=#, stackTrace=#)
Relations:

89:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Exc1.main||9: throw||i: iconst_11||#>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o359, detailMessage=#, stackTrace=#)
Relations:

90:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a52(lv_0_0)]
<Thrown exception: #||Exc1.main||9: throw||i: iconst_11|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	i1: [0,+inf){0,+inf}
	a52([java.lang.String...]): length i1
	a54([java.io.ObjectStreamField|]): length iconst_0
	o35!: String$CaseInsensitiveComparator()
	o359!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o359, detailMessage=#, stackTrace=#)
Relations:

(0) Obligation:

(1) JBCNonTerm (EQUIVALENT transformation)

(2) NO