Termination of the given JBC could be disproven:

(0) Obligation:

JBC Problem based on JBC Program:

package simple.sunset;

public class Main {

	/**
	 * @param args
	 */
	public static void main(String[] args) {
		Sunset.loop(args.length);

	}

}


package simple.sunset;

public class Sunset {

	public static void loop(int i) {
		while (i > 10) {
			if (i == 25) {
				i = 30;
			}
			if (i <= 30) {
				i--;
			} else {
				i = 20;
			}
		}
	}
}

(1) JBCNonTerm (EQUIVALENT transformation)

Constructed a run with a repetition. States 3 and 60 are repetitions.
0:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||0: load ADDR args||args: a63|| ->
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: 

1:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||1: arraylength|| - ||a63>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: 

2:

java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop(I)V|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: 

3:

<simple.sunset.Sunset.loop||0: load INT i||i: iconst_28|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: 

4:

<simple.sunset.Sunset.loop||1: push 10||i: iconst_28||iconst_28>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: 

5:

<simple.sunset.Sunset.loop||3: LE||i: iconst_28||iconst_28, iconst_10>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: 

6:

<simple.sunset.Sunset.loop||6: load INT i||i: iconst_28|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: 

7:

<simple.sunset.Sunset.loop||7: push 25||i: iconst_28||iconst_28>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: 

8:

<simple.sunset.Sunset.loop||9: NE||i: iconst_28||iconst_28, iconst_25>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: 

9:

<simple.sunset.Sunset.loop||15: load INT i||i: iconst_28|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25

10:

<simple.sunset.Sunset.loop||16: push 30||i: iconst_28||iconst_28>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25

11:

<simple.sunset.Sunset.loop||18: GT||i: iconst_28||iconst_28, iconst_30>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25

12:

<simple.sunset.Sunset.loop||21: increment i by -1||i: iconst_28|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25

13:

<simple.sunset.Sunset.loop||24: jmp||i: iconst_27|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25

14:

<simple.sunset.Sunset.loop||0: load INT i||i: iconst_27|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25

15:

<simple.sunset.Sunset.loop||1: push 10||i: iconst_27||iconst_27>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25

16:

<simple.sunset.Sunset.loop||3: LE||i: iconst_27||iconst_27, iconst_10>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25

17:

<simple.sunset.Sunset.loop||6: load INT i||i: iconst_27|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25

18:

<simple.sunset.Sunset.loop||7: push 25||i: iconst_27||iconst_27>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25

19:

<simple.sunset.Sunset.loop||9: NE||i: iconst_27||iconst_27, iconst_25>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25

20:

<simple.sunset.Sunset.loop||15: load INT i||i: iconst_27|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25

21:

<simple.sunset.Sunset.loop||16: push 30||i: iconst_27||iconst_27>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25

22:

<simple.sunset.Sunset.loop||18: GT||i: iconst_27||iconst_27, iconst_30>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25

23:

<simple.sunset.Sunset.loop||21: increment i by -1||i: iconst_27|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25

24:

<simple.sunset.Sunset.loop||24: jmp||i: iconst_26|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25

25:

<simple.sunset.Sunset.loop||0: load INT i||i: iconst_26|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25

26:

<simple.sunset.Sunset.loop||1: push 10||i: iconst_26||iconst_26>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25

27:

<simple.sunset.Sunset.loop||3: LE||i: iconst_26||iconst_26, iconst_10>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25

28:

<simple.sunset.Sunset.loop||6: load INT i||i: iconst_26|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25

29:

<simple.sunset.Sunset.loop||7: push 25||i: iconst_26||iconst_26>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25

30:

<simple.sunset.Sunset.loop||9: NE||i: iconst_26||iconst_26, iconst_25>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25

31:

<simple.sunset.Sunset.loop||15: load INT i||i: iconst_26|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25

32:

<simple.sunset.Sunset.loop||16: push 30||i: iconst_26||iconst_26>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25

33:

<simple.sunset.Sunset.loop||18: GT||i: iconst_26||iconst_26, iconst_30>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25

34:

<simple.sunset.Sunset.loop||21: increment i by -1||i: iconst_26|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25

35:

<simple.sunset.Sunset.loop||24: jmp||i: iconst_25|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25

36:

<simple.sunset.Sunset.loop||0: load INT i||i: iconst_25|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25

37:

<simple.sunset.Sunset.loop||1: push 10||i: iconst_25||iconst_25>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25

38:

<simple.sunset.Sunset.loop||3: LE||i: iconst_25||iconst_25, iconst_10>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25

39:

<simple.sunset.Sunset.loop||6: load INT i||i: iconst_25|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25

40:

<simple.sunset.Sunset.loop||7: push 25||i: iconst_25||iconst_25>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25

41:

<simple.sunset.Sunset.loop||9: NE||i: iconst_25||iconst_25, iconst_25>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25

42:

<simple.sunset.Sunset.loop||12: push 30|| - || ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25

43:

<simple.sunset.Sunset.loop||14: store INT to i|| - ||iconst_30>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25

44:

<simple.sunset.Sunset.loop||15: load INT i||i: iconst_30|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25

45:

<simple.sunset.Sunset.loop||16: push 30||i: iconst_30||iconst_30>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25

46:

<simple.sunset.Sunset.loop||18: GT||i: iconst_30||iconst_30, iconst_30>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25

47:

<simple.sunset.Sunset.loop||21: increment i by -1||i: iconst_30|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25

48:

<simple.sunset.Sunset.loop||24: jmp||i: iconst_29|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25

49:

<simple.sunset.Sunset.loop||0: load INT i||i: iconst_29|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25

50:

<simple.sunset.Sunset.loop||1: push 10||i: iconst_29||iconst_29>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25

51:

<simple.sunset.Sunset.loop||3: LE||i: iconst_29||iconst_29, iconst_10>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25

52:

<simple.sunset.Sunset.loop||6: load INT i||i: iconst_29|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25

53:

<simple.sunset.Sunset.loop||7: push 25||i: iconst_29||iconst_29>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25

54:

<simple.sunset.Sunset.loop||9: NE||i: iconst_29||iconst_29, iconst_25>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25

55:

<simple.sunset.Sunset.loop||15: load INT i||i: iconst_29|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25, iconst_29>iconst_25

56:

<simple.sunset.Sunset.loop||16: push 30||i: iconst_29||iconst_29>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25, iconst_29>iconst_25

57:

<simple.sunset.Sunset.loop||18: GT||i: iconst_29||iconst_29, iconst_30>
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25, iconst_29>iconst_25

58:

<simple.sunset.Sunset.loop||21: increment i by -1||i: iconst_29|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25, iconst_29>iconst_25

59:

<simple.sunset.Sunset.loop||24: jmp||i: iconst_28|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25, iconst_29>iconst_25, iconst_28>=iconst_25

60:

<simple.sunset.Sunset.loop||0: load INT i||i: iconst_28|| ->
java.lang.String = serialPersistentFields, CASE_INSENSITIVE_ORDER
[a63(lv_0_0)]
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||iconst_28>
	String.serialVersionUID: iconstLong_-6849794470754667710
	String.serialPersistentFields: a65
	String.CASE_INSENSITIVE_ORDER: o46
	String$CaseInsensitiveComparator.serialVersionUID: iconstLong_8575799808933029326
	RuntimeException.serialVersionUID: iconstLong_-7034897190745766939
	Exception.serialVersionUID: iconstLong_-3387516993124229948
	Throwable.serialVersionUID: iconstLong_-3042686055658047285
	a63([java.lang.String...]): length iconst_28
	a65([java.io.ObjectStreamField|]): length iconst_0
	o46!: String$CaseInsensitiveComparator()
Relations: iconst_28>iconst_25, iconst_27>=iconst_25, iconst_27>iconst_25, iconst_26>=iconst_25, iconst_26>iconst_25, iconst_25>=iconst_25, iconst_29>iconst_25, iconst_28>=iconst_25

(2) NO