(0) Obligation:

JBC Problem based on JBC Program:
Manifest-Version: 1.0 Created-By: 1.6.0_16 (Sun Microsystems Inc.) Main-Class: Exc2
/**
* A 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 Exc2 {
public static void main(String[] args) {
int i = 0;

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

(1) JBCNonTerm (EQUIVALENT transformation)

Constructed a run with a repetition. States 99 and 129 are repetitions.
0:
<Exc2.main||0: push 0|| - || ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
1:
<Exc2.main||1: store INT to i|| - ||0>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
2:
<Exc2.main||2: load INT i||i: 0|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
3:
<Exc2.main||3: push 20||i: 0||0>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
4:
<Exc2.main||5: GE||i: 0||0, 20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
5:
<Exc2.main||8: load INT i||i: 0|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
6:
<Exc2.main||9: push 10||i: 0||0>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
7:
<Exc2.main||11: LE||i: 0||0, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
8:
<Exc2.main||16: increment i by 1||i: 0|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
9:
<Exc2.main||19: jmp||i: 1|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
10:
<Exc2.main||2: load INT i||i: 1|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
11:
<Exc2.main||3: push 20||i: 1||1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
12:
<Exc2.main||5: GE||i: 1||1, 20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
13:
<Exc2.main||8: load INT i||i: 1|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
14:
<Exc2.main||9: push 10||i: 1||1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
15:
<Exc2.main||11: LE||i: 1||1, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
16:
<Exc2.main||16: increment i by 1||i: 1|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
17:
<Exc2.main||19: jmp||i: 2|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
18:
<Exc2.main||2: load INT i||i: 2|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
19:
<Exc2.main||3: push 20||i: 2||2>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
20:
<Exc2.main||5: GE||i: 2||2, 20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
21:
<Exc2.main||8: load INT i||i: 2|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
22:
<Exc2.main||9: push 10||i: 2||2>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
23:
<Exc2.main||11: LE||i: 2||2, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
24:
<Exc2.main||16: increment i by 1||i: 2|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
25:
<Exc2.main||19: jmp||i: 3|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
26:
<Exc2.main||2: load INT i||i: 3|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
27:
<Exc2.main||3: push 20||i: 3||3>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
28:
<Exc2.main||5: GE||i: 3||3, 20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
29:
<Exc2.main||8: load INT i||i: 3|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
30:
<Exc2.main||9: push 10||i: 3||3>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
31:
<Exc2.main||11: LE||i: 3||3, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
32:
<Exc2.main||16: increment i by 1||i: 3|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
33:
<Exc2.main||19: jmp||i: 4|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
34:
<Exc2.main||2: load INT i||i: 4|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
35:
<Exc2.main||3: push 20||i: 4||4>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
36:
<Exc2.main||5: GE||i: 4||4, 20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
37:
<Exc2.main||8: load INT i||i: 4|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
38:
<Exc2.main||9: push 10||i: 4||4>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
39:
<Exc2.main||11: LE||i: 4||4, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
40:
<Exc2.main||16: increment i by 1||i: 4|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
41:
<Exc2.main||19: jmp||i: 5|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
42:
<Exc2.main||2: load INT i||i: 5|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
43:
<Exc2.main||3: push 20||i: 5||5>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
44:
<Exc2.main||5: GE||i: 5||5, 20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
45:
<Exc2.main||8: load INT i||i: 5|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
46:
<Exc2.main||9: push 10||i: 5||5>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
47:
<Exc2.main||11: LE||i: 5||5, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
48:
<Exc2.main||16: increment i by 1||i: 5|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
49:
<Exc2.main||19: jmp||i: 6|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
50:
<Exc2.main||2: load INT i||i: 6|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
51:
<Exc2.main||3: push 20||i: 6||6>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
52:
<Exc2.main||5: GE||i: 6||6, 20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
53:
<Exc2.main||8: load INT i||i: 6|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
54:
<Exc2.main||9: push 10||i: 6||6>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
55:
<Exc2.main||11: LE||i: 6||6, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
56:
<Exc2.main||16: increment i by 1||i: 6|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
57:
<Exc2.main||19: jmp||i: 7|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
58:
<Exc2.main||2: load INT i||i: 7|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
59:
<Exc2.main||3: push 20||i: 7||7>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
60:
<Exc2.main||5: GE||i: 7||7, 20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
61:
<Exc2.main||8: load INT i||i: 7|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
62:
<Exc2.main||9: push 10||i: 7||7>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
63:
<Exc2.main||11: LE||i: 7||7, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
64:
<Exc2.main||16: increment i by 1||i: 7|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
65:
<Exc2.main||19: jmp||i: 8|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
66:
<Exc2.main||2: load INT i||i: 8|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
67:
<Exc2.main||3: push 20||i: 8||8>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
68:
<Exc2.main||5: GE||i: 8||8, 20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
69:
<Exc2.main||8: load INT i||i: 8|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
70:
<Exc2.main||9: push 10||i: 8||8>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
71:
<Exc2.main||11: LE||i: 8||8, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
72:
<Exc2.main||16: increment i by 1||i: 8|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
73:
<Exc2.main||19: jmp||i: 9|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
74:
<Exc2.main||2: load INT i||i: 9|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
75:
<Exc2.main||3: push 20||i: 9||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
76:
<Exc2.main||5: GE||i: 9||9, 20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
77:
<Exc2.main||8: load INT i||i: 9|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
78:
<Exc2.main||9: push 10||i: 9||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
79:
<Exc2.main||11: LE||i: 9||9, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
80:
<Exc2.main||16: increment i by 1||i: 9|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
81:
<Exc2.main||19: jmp||i: 10|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
82:
<Exc2.main||2: load INT i||i: 10|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
83:
<Exc2.main||3: push 20||i: 10||10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
84:
<Exc2.main||5: GE||i: 10||10, 20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
85:
<Exc2.main||8: load INT i||i: 10|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
86:
<Exc2.main||9: push 10||i: 10||10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
87:
<Exc2.main||11: LE||i: 10||10, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
88:
<Exc2.main||16: increment i by 1||i: 10|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
89:
<Exc2.main||19: jmp||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
90:
<Exc2.main||2: load INT i||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
91:
<Exc2.main||3: push 20||i: 11||11>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
92:
<Exc2.main||5: GE||i: 11||11, 20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
93:
<Exc2.main||8: load INT i||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
94:
<Exc2.main||9: push 10||i: 11||11>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
95:
<Exc2.main||11: LE||i: 11||11, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
96:
<Exc2.main||14: push NULL||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
97:
<Exc2.main||15: throw||i: 11||#>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
98:
<Thrown exception: #||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
99:
<Thrown exception: #||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
100:
<java.lang.NullPointerException.<init>()V||0: load ADDR this||this: o553|| ->
<Thrown exception: o553||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
101:
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>()V|| - ||o553>
<Thrown exception: o553||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
102:
<java.lang.RuntimeException.<init>()V||0: load ADDR this||this: o553|| ->
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o553>
<Thrown exception: o553||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
103:
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>()V|| - ||o553>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o553>
<Thrown exception: o553||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
104:
<java.lang.Exception.<init>()V||0: load ADDR this||this: o553|| ->
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o553>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o553>
<Thrown exception: o553||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
105:
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>()V|| - ||o553>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o553>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o553>
<Thrown exception: o553||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
106:
<java.lang.Throwable.<init>()V||0: load ADDR this||this: o553|| ->
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o553>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o553>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o553>
<Thrown exception: o553||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
107:
<java.lang.Throwable.<init>()V||1: java.lang.Object.<init>()V||this: o553||o553>
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o553>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o553>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o553>
<Thrown exception: o553||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
108:
<java.lang.Throwable.<init>()V||4: load ADDR this||this: o553|| ->
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o553>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o553>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o553>
<Thrown exception: o553||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
109:
<java.lang.Throwable.<init>()V||5: load ADDR this||this: o553||o553>
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o553>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o553>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o553>
<Thrown exception: o553||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
110:
<java.lang.Throwable.<init>()V||6: Write to cause||this: o553||o553, o553>
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o553>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o553>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o553>
<Thrown exception: o553||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=#, detailMessage=#, stackTrace=#)
111:
<java.lang.Throwable.<init>()V||9: load ADDR this||this: o553|| ->
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o553>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o553>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o553>
<Thrown exception: o553||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o553, detailMessage=#, stackTrace=#)
112:
<java.lang.Throwable.<init>()V||10: java.lang.Throwable.fillInStackTrace()Ljava/lang/Throwable;|| - ||o553>
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o553>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o553>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o553>
<Thrown exception: o553||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o553, detailMessage=#, stackTrace=#)
113:
<java.lang.Throwable.<init>()V||13: pop|| - ||o553>
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o553>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o553>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o553>
<Thrown exception: o553||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o553, detailMessage=#, stackTrace=#)
114:
<java.lang.Throwable.<init>()V||14: return|| - || ->
<java.lang.Exception.<init>()V||1: java.lang.Throwable.<init>|| - ||o553>
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o553>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o553>
<Thrown exception: o553||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o553, detailMessage=#, stackTrace=#)
115:
<java.lang.Exception.<init>()V||4: return|| - || ->
<java.lang.RuntimeException.<init>()V||1: java.lang.Exception.<init>|| - ||o553>
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o553>
<Thrown exception: o553||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o553, detailMessage=#, stackTrace=#)
116:
<java.lang.RuntimeException.<init>()V||4: return|| - || ->
<java.lang.NullPointerException.<init>()V||1: java.lang.RuntimeException.<init>|| - ||o553>
<Thrown exception: o553||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o553, detailMessage=#, stackTrace=#)
117:
<java.lang.NullPointerException.<init>()V||4: return|| - || ->
<Thrown exception: o553||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o553, detailMessage=#, stackTrace=#)
118:
<Thrown exception: o553||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o553, detailMessage=#, stackTrace=#)
119:
<Exc2.main||22: store ADDR to e||i: 11||o553>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o553, detailMessage=#, stackTrace=#)
120:
<Exc2.main||23: jmp||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o553, detailMessage=#, stackTrace=#)
121:
<Exc2.main||2: load INT i||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o553, detailMessage=#, stackTrace=#)
122:
<Exc2.main||3: push 20||i: 11||11>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o553, detailMessage=#, stackTrace=#)
123:
<Exc2.main||5: GE||i: 11||11, 20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o553, detailMessage=#, stackTrace=#)
124:
<Exc2.main||8: load INT i||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o553, detailMessage=#, stackTrace=#)
125:
<Exc2.main||9: push 10||i: 11||11>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o553, detailMessage=#, stackTrace=#)
126:
<Exc2.main||11: LE||i: 11||11, 10>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o553, detailMessage=#, stackTrace=#)
127:
<Exc2.main||14: push NULL||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o553, detailMessage=#, stackTrace=#)
128:
<Exc2.main||15: throw||i: 11||#>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o553, detailMessage=#, stackTrace=#)
129:
<Thrown exception: #||Exc2.main||15: throw||i: 11|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a54
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a54([java.io.ObjectStreamField|]): length 0
	a56([java.lang.String...]): length [0,+inf)
	o553!: Throwable(Exception(RuntimeException(NullPointerException())), backtrace=#, cause=o553, detailMessage=#, stackTrace=#)

(2) NO