(0) Obligation:

JBC Problem based on JBC Program:
Manifest-Version: 1.0 Created-By: 1.6.0_16 (Sun Microsystems Inc.) Main-Class: Exc1
/**
* 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:
<Exc1.main||0: push 0|| - || ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
1:
<Exc1.main||1: store INT to i|| - ||0>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
2:
<Exc1.main||2: load INT i||i: 0|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
3:
<Exc1.main||3: push 10||i: 0||0>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
4:
<Exc1.main||5: LE||i: 0||0, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
5:
<Exc1.main||10: increment i by 1||i: 0|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
6:
<Exc1.main||13: jmp||i: 1|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
7:
<Exc1.main||2: load INT i||i: 1|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
8:
<Exc1.main||3: push 10||i: 1||1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
9:
<Exc1.main||5: LE||i: 1||1, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
10:
<Exc1.main||10: increment i by 1||i: 1|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
11:
<Exc1.main||13: jmp||i: 2|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
12:
<Exc1.main||2: load INT i||i: 2|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
13:
<Exc1.main||3: push 10||i: 2||2>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
14:
<Exc1.main||5: LE||i: 2||2, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
15:
<Exc1.main||10: increment i by 1||i: 2|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
16:
<Exc1.main||13: jmp||i: 3|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
17:
<Exc1.main||2: load INT i||i: 3|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
18:
<Exc1.main||3: push 10||i: 3||3>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
19:
<Exc1.main||5: LE||i: 3||3, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
20:
<Exc1.main||10: increment i by 1||i: 3|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
21:
<Exc1.main||13: jmp||i: 4|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
22:
<Exc1.main||2: load INT i||i: 4|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
23:
<Exc1.main||3: push 10||i: 4||4>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
24:
<Exc1.main||5: LE||i: 4||4, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
25:
<Exc1.main||10: increment i by 1||i: 4|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
26:
<Exc1.main||13: jmp||i: 5|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
27:
<Exc1.main||2: load INT i||i: 5|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
28:
<Exc1.main||3: push 10||i: 5||5>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
29:
<Exc1.main||5: LE||i: 5||5, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
30:
<Exc1.main||10: increment i by 1||i: 5|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
31:
<Exc1.main||13: jmp||i: 6|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
32:
<Exc1.main||2: load INT i||i: 6|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
33:
<Exc1.main||3: push 10||i: 6||6>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
34:
<Exc1.main||5: LE||i: 6||6, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
35:
<Exc1.main||10: increment i by 1||i: 6|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
36:
<Exc1.main||13: jmp||i: 7|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
37:
<Exc1.main||2: load INT i||i: 7|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
38:
<Exc1.main||3: push 10||i: 7||7>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
39:
<Exc1.main||5: LE||i: 7||7, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
40:
<Exc1.main||10: increment i by 1||i: 7|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
41:
<Exc1.main||13: jmp||i: 8|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
42:
<Exc1.main||2: load INT i||i: 8|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
43:
<Exc1.main||3: push 10||i: 8||8>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
44:
<Exc1.main||5: LE||i: 8||8, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
45:
<Exc1.main||10: increment i by 1||i: 8|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
46:
<Exc1.main||13: jmp||i: 9|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
47:
<Exc1.main||2: load INT i||i: 9|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
48:
<Exc1.main||3: push 10||i: 9||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
49:
<Exc1.main||5: LE||i: 9||9, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
50:
<Exc1.main||10: increment i by 1||i: 9|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
51:
<Exc1.main||13: jmp||i: 10|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
52:
<Exc1.main||2: load INT i||i: 10|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
53:
<Exc1.main||3: push 10||i: 10||10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
54:
<Exc1.main||5: LE||i: 10||10, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
55:
<Exc1.main||10: increment i by 1||i: 10|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
56:
<Exc1.main||13: jmp||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
57:
<Exc1.main||2: load INT i||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
58:
<Exc1.main||3: push 10||i: 11||11>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
59:
<Exc1.main||5: LE||i: 11||11, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
60:
<Exc1.main||8: push NULL||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
61:
<Exc1.main||9: throw||i: 11||#>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
62:
<Thrown exception: #||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
63:
<Thrown exception: #||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
64:
<java.lang.NullPointerException.<init>()V||0: load ADDR this||this: o355|| ->
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
65:
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>()V|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
66:
<java.lang.RuntimeException.<init>()V||0: load ADDR this||this: o355|| ->
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
67:
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>()V|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
68:
<java.lang.Exception.<init>()V||0: load ADDR this||this: o355|| ->
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
69:
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>()V|| - ||o355>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
70:
<java.lang.Throwable.<init>()V||0: load ADDR this||this: o355|| ->
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o355>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
71:
<java.lang.Throwable.<init>()V||1: java.lang.Object.<init>()V||this: o355||o355>
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o355>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
72:
<java.lang.Throwable.<init>()V||4: load ADDR this||this: o355|| ->
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o355>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
73:
<java.lang.Throwable.<init>()V||5: load ADDR this||this: o355||o355>
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o355>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
74:
<java.lang.Throwable.<init>()V||6: Write to cause||this: o355||o355, o355>
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o355>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
75:
<java.lang.Throwable.<init>()V||9: load ADDR this||this: o355|| ->
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o355>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)
76:
<java.lang.Throwable.<init>()V||10: java.lang.Throwable.fillInStackTrace()Ljava/lang/Throwable;|| - ||o355>
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o355>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)
77:
<java.lang.Throwable.<init>()V||13: pop|| - ||o355>
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o355>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)
78:
<java.lang.Throwable.<init>()V||14: return|| - || ->
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o355>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)
79:
<java.lang.Exception.<init>()V||4: return|| - || ->
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o355>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)
80:
<java.lang.RuntimeException.<init>()V||4: return|| - || ->
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o355>
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)
81:
<java.lang.NullPointerException.<init>()V||4: return|| - || ->
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)
82:
<Thrown exception: o355||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)
83:
<Exc1.main||16: store ADDR to e||i: 11||o355>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)
84:
<Exc1.main||17: jmp||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)
85:
<Exc1.main||2: load INT i||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)
86:
<Exc1.main||3: push 10||i: 11||11>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)
87:
<Exc1.main||5: LE||i: 11||11, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)
88:
<Exc1.main||8: push NULL||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)
89:
<Exc1.main||9: throw||i: 11||#>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)
90:
<Thrown exception: #||Exc1.main||9: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o35
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o35!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o355!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o355, detailMessage=#, stackTrace=#)

(2) NO