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_26 (Sun Microsystems Inc.) Main-Class: simple/sunset/Main

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:

<simple.sunset.Main.main||0: load ADDR args||args: a74|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

1:

<simple.sunset.Main.main||1: arraylength|| - ||a74>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

2:

<simple.sunset.Main.main||2: simple.sunset.Sunset.loop(I)V|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

3:

<simple.sunset.Sunset.loop||0: load INT i||i: 29|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

4:

<simple.sunset.Sunset.loop||1: push 10||i: 29||29>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

5:

<simple.sunset.Sunset.loop||3: LE||i: 29||29, 10>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

6:

<simple.sunset.Sunset.loop||6: load INT i||i: 29|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

7:

<simple.sunset.Sunset.loop||7: push 25||i: 29||29>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

8:

<simple.sunset.Sunset.loop||9: NE||i: 29||29, 25>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

9:

<simple.sunset.Sunset.loop||15: load INT i||i: 29|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

10:

<simple.sunset.Sunset.loop||16: push 30||i: 29||29>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

11:

<simple.sunset.Sunset.loop||18: GT||i: 29||29, 30>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

12:

<simple.sunset.Sunset.loop||21: increment i by -1||i: 29|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

13:

<simple.sunset.Sunset.loop||24: jmp||i: 28|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

14:

<simple.sunset.Sunset.loop||0: load INT i||i: 28|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

15:

<simple.sunset.Sunset.loop||1: push 10||i: 28||28>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

16:

<simple.sunset.Sunset.loop||3: LE||i: 28||28, 10>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

17:

<simple.sunset.Sunset.loop||6: load INT i||i: 28|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

18:

<simple.sunset.Sunset.loop||7: push 25||i: 28||28>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

19:

<simple.sunset.Sunset.loop||9: NE||i: 28||28, 25>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

20:

<simple.sunset.Sunset.loop||15: load INT i||i: 28|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

21:

<simple.sunset.Sunset.loop||16: push 30||i: 28||28>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

22:

<simple.sunset.Sunset.loop||18: GT||i: 28||28, 30>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

23:

<simple.sunset.Sunset.loop||21: increment i by -1||i: 28|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

24:

<simple.sunset.Sunset.loop||24: jmp||i: 27|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

25:

<simple.sunset.Sunset.loop||0: load INT i||i: 27|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

26:

<simple.sunset.Sunset.loop||1: push 10||i: 27||27>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

27:

<simple.sunset.Sunset.loop||3: LE||i: 27||27, 10>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

28:

<simple.sunset.Sunset.loop||6: load INT i||i: 27|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

29:

<simple.sunset.Sunset.loop||7: push 25||i: 27||27>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

30:

<simple.sunset.Sunset.loop||9: NE||i: 27||27, 25>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

31:

<simple.sunset.Sunset.loop||15: load INT i||i: 27|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

32:

<simple.sunset.Sunset.loop||16: push 30||i: 27||27>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

33:

<simple.sunset.Sunset.loop||18: GT||i: 27||27, 30>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

34:

<simple.sunset.Sunset.loop||21: increment i by -1||i: 27|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

35:

<simple.sunset.Sunset.loop||24: jmp||i: 26|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

36:

<simple.sunset.Sunset.loop||0: load INT i||i: 26|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

37:

<simple.sunset.Sunset.loop||1: push 10||i: 26||26>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

38:

<simple.sunset.Sunset.loop||3: LE||i: 26||26, 10>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

39:

<simple.sunset.Sunset.loop||6: load INT i||i: 26|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

40:

<simple.sunset.Sunset.loop||7: push 25||i: 26||26>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

41:

<simple.sunset.Sunset.loop||9: NE||i: 26||26, 25>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

42:

<simple.sunset.Sunset.loop||15: load INT i||i: 26|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

43:

<simple.sunset.Sunset.loop||16: push 30||i: 26||26>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

44:

<simple.sunset.Sunset.loop||18: GT||i: 26||26, 30>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

45:

<simple.sunset.Sunset.loop||21: increment i by -1||i: 26|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

46:

<simple.sunset.Sunset.loop||24: jmp||i: 25|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

47:

<simple.sunset.Sunset.loop||0: load INT i||i: 25|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

48:

<simple.sunset.Sunset.loop||1: push 10||i: 25||25>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

49:

<simple.sunset.Sunset.loop||3: LE||i: 25||25, 10>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

50:

<simple.sunset.Sunset.loop||6: load INT i||i: 25|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

51:

<simple.sunset.Sunset.loop||7: push 25||i: 25||25>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

52:

<simple.sunset.Sunset.loop||9: NE||i: 25||25, 25>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

53:

<simple.sunset.Sunset.loop||12: push 30|| - || ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

54:

<simple.sunset.Sunset.loop||14: store INT to i|| - ||30>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

55:

<simple.sunset.Sunset.loop||15: load INT i||i: 30|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

56:

<simple.sunset.Sunset.loop||16: push 30||i: 30||30>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

57:

<simple.sunset.Sunset.loop||18: GT||i: 30||30, 30>
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

58:

<simple.sunset.Sunset.loop||21: increment i by -1||i: 30|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

59:

<simple.sunset.Sunset.loop||24: jmp||i: 29|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

60:

<simple.sunset.Sunset.loop||0: load INT i||i: 29|| ->
<simple.sunset.Main.main||2: simple.sunset.Sunset.loop|| - ||29>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a72
	String.CASE_INSENSITIVE_ORDER: o37
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o37!: String$CaseInsensitiveComparator()
	a72([java.io.ObjectStreamField|]): length 0
	a74([java.lang.String...]): length 29

(2) NO