Termination of the given JBC could be disproven:

(0) Obligation:

JBC Problem based on JBC Program:
Manifest-Version: 1.0 Created-By: 1.6.0_24 (Apple Inc.) Main-Class: NO_24

public class NO_24 {
    public static void main(String args[]) {
	int a = 1, b = 2;

	while (a + b < 5) {
	    a = a - b;
	    b = a + b;
	    a = b - a;
	}
    }
}

(1) JBCNonTerm (EQUIVALENT transformation)

Constructed a run with a repetition. States 4 and 40 are repetitions.
0:

<NO_24.main||0: push 1|| - || ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

1:

<NO_24.main||1: store INT to #1|| - ||1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

2:

<NO_24.main||2: push 2||#1: 1|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

3:

<NO_24.main||3: store INT to #2||#1: 1||2>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

4:

<NO_24.main||4: load INT #1||#1: 1, #2: 2|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

5:

<NO_24.main||5: load INT #2||#1: 1, #2: 2||1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

6:

<NO_24.main||6: ADD||#1: 1, #2: 2||1, 2>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

7:

<NO_24.main||7: push 5||#1: 1, #2: 2||3>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

8:

<NO_24.main||8: GE||#1: 1, #2: 2||3, 5>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

9:

<NO_24.main||11: load INT #1||#1: 1, #2: 2|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

10:

<NO_24.main||12: load INT #2||#2: 2||1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

11:

<NO_24.main||13: SUB||#2: 2||1, 2>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

12:

<NO_24.main||14: store INT to #1||#2: 2||-1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

13:

<NO_24.main||15: load INT #1||#1: -1, #2: 2|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

14:

<NO_24.main||16: load INT #2||#1: -1, #2: 2||-1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

15:

<NO_24.main||17: ADD||#1: -1||-1, 2>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

16:

<NO_24.main||18: store INT to #2||#1: -1||1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

17:

<NO_24.main||19: load INT #2||#1: -1, #2: 1|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

18:

<NO_24.main||20: load INT #1||#1: -1, #2: 1||1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

19:

<NO_24.main||21: SUB||#2: 1||1, -1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

20:

<NO_24.main||22: store INT to #1||#2: 1||2>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

21:

<NO_24.main||23: jmp||#1: 2, #2: 1|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

22:

<NO_24.main||4: load INT #1||#1: 2, #2: 1|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

23:

<NO_24.main||5: load INT #2||#1: 2, #2: 1||2>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

24:

<NO_24.main||6: ADD||#1: 2, #2: 1||2, 1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

25:

<NO_24.main||7: push 5||#1: 2, #2: 1||3>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

26:

<NO_24.main||8: GE||#1: 2, #2: 1||3, 5>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

27:

<NO_24.main||11: load INT #1||#1: 2, #2: 1|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

28:

<NO_24.main||12: load INT #2||#2: 1||2>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

29:

<NO_24.main||13: SUB||#2: 1||2, 1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

30:

<NO_24.main||14: store INT to #1||#2: 1||1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

31:

<NO_24.main||15: load INT #1||#1: 1, #2: 1|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

32:

<NO_24.main||16: load INT #2||#1: 1, #2: 1||1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

33:

<NO_24.main||17: ADD||#1: 1||1, 1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

34:

<NO_24.main||18: store INT to #2||#1: 1||2>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

35:

<NO_24.main||19: load INT #2||#1: 1, #2: 2|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

36:

<NO_24.main||20: load INT #1||#1: 1, #2: 2||2>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

37:

<NO_24.main||21: SUB||#2: 2||2, 1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

38:

<NO_24.main||22: store INT to #1||#2: 2||1>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

39:

<NO_24.main||23: jmp||#1: 1, #2: 2|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

40:

<NO_24.main||4: load INT #1||#1: 1, #2: 2|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a64
	String.CASE_INSENSITIVE_ORDER: o33
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o33!: String$CaseInsensitiveComparator()
	a64([java.io.ObjectStreamField|]): length 0
	a66([java.lang.String...]): length 0

(2) NO