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/moduloUp/Main

package simple.moduloUp;

public class Main {

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

	}

}


package simple.moduloUp;

public class ModuloUp {

	public static void up(int n) {
		int d = 10;
		while (n < 15) {
			n++;
			n = n % d;
		}
	}
}

(1) JBCNonTerm (EQUIVALENT transformation)

Constructed a run with a repetition. States 5 and 95 are repetitions.
0:

<simple.moduloUp.Main.main||0: load ADDR args||args: a18|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

1:

<simple.moduloUp.Main.main||1: arraylength|| - ||a18>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

2:

<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up(I)V|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

3:

<simple.moduloUp.ModuloUp.up||0: push 10||n: 9|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

4:

<simple.moduloUp.ModuloUp.up||2: store INT to d||n: 9||10>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

5:

<simple.moduloUp.ModuloUp.up||3: load INT n||n: 9, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

6:

<simple.moduloUp.ModuloUp.up||4: push 15||n: 9, d: 10||9>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

7:

<simple.moduloUp.ModuloUp.up||6: GE||n: 9, d: 10||9, 15>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

8:

<simple.moduloUp.ModuloUp.up||9: increment n by 1||n: 9, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

9:

<simple.moduloUp.ModuloUp.up||12: load INT n||n: 10, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

10:

<simple.moduloUp.ModuloUp.up||13: load INT d||d: 10||10>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

11:

<simple.moduloUp.ModuloUp.up||14: REM||d: 10||10, 10>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

12:

<simple.moduloUp.ModuloUp.up||15: store INT to n||d: 10||0>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

13:

<simple.moduloUp.ModuloUp.up||16: jmp||n: 0, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

14:

<simple.moduloUp.ModuloUp.up||3: load INT n||n: 0, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

15:

<simple.moduloUp.ModuloUp.up||4: push 15||n: 0, d: 10||0>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

16:

<simple.moduloUp.ModuloUp.up||6: GE||n: 0, d: 10||0, 15>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

17:

<simple.moduloUp.ModuloUp.up||9: increment n by 1||n: 0, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

18:

<simple.moduloUp.ModuloUp.up||12: load INT n||n: 1, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

19:

<simple.moduloUp.ModuloUp.up||13: load INT d||d: 10||1>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

20:

<simple.moduloUp.ModuloUp.up||14: REM||d: 10||1, 10>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

21:

<simple.moduloUp.ModuloUp.up||15: store INT to n||d: 10||1>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

22:

<simple.moduloUp.ModuloUp.up||16: jmp||n: 1, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

23:

<simple.moduloUp.ModuloUp.up||3: load INT n||n: 1, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

24:

<simple.moduloUp.ModuloUp.up||4: push 15||n: 1, d: 10||1>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

25:

<simple.moduloUp.ModuloUp.up||6: GE||n: 1, d: 10||1, 15>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

26:

<simple.moduloUp.ModuloUp.up||9: increment n by 1||n: 1, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

27:

<simple.moduloUp.ModuloUp.up||12: load INT n||n: 2, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

28:

<simple.moduloUp.ModuloUp.up||13: load INT d||d: 10||2>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

29:

<simple.moduloUp.ModuloUp.up||14: REM||d: 10||2, 10>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

30:

<simple.moduloUp.ModuloUp.up||15: store INT to n||d: 10||2>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

31:

<simple.moduloUp.ModuloUp.up||16: jmp||n: 2, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

32:

<simple.moduloUp.ModuloUp.up||3: load INT n||n: 2, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

33:

<simple.moduloUp.ModuloUp.up||4: push 15||n: 2, d: 10||2>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

34:

<simple.moduloUp.ModuloUp.up||6: GE||n: 2, d: 10||2, 15>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

35:

<simple.moduloUp.ModuloUp.up||9: increment n by 1||n: 2, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

36:

<simple.moduloUp.ModuloUp.up||12: load INT n||n: 3, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

37:

<simple.moduloUp.ModuloUp.up||13: load INT d||d: 10||3>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

38:

<simple.moduloUp.ModuloUp.up||14: REM||d: 10||3, 10>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

39:

<simple.moduloUp.ModuloUp.up||15: store INT to n||d: 10||3>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

40:

<simple.moduloUp.ModuloUp.up||16: jmp||n: 3, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

41:

<simple.moduloUp.ModuloUp.up||3: load INT n||n: 3, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

42:

<simple.moduloUp.ModuloUp.up||4: push 15||n: 3, d: 10||3>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

43:

<simple.moduloUp.ModuloUp.up||6: GE||n: 3, d: 10||3, 15>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

44:

<simple.moduloUp.ModuloUp.up||9: increment n by 1||n: 3, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

45:

<simple.moduloUp.ModuloUp.up||12: load INT n||n: 4, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

46:

<simple.moduloUp.ModuloUp.up||13: load INT d||d: 10||4>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

47:

<simple.moduloUp.ModuloUp.up||14: REM||d: 10||4, 10>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

48:

<simple.moduloUp.ModuloUp.up||15: store INT to n||d: 10||4>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

49:

<simple.moduloUp.ModuloUp.up||16: jmp||n: 4, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

50:

<simple.moduloUp.ModuloUp.up||3: load INT n||n: 4, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

51:

<simple.moduloUp.ModuloUp.up||4: push 15||n: 4, d: 10||4>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

52:

<simple.moduloUp.ModuloUp.up||6: GE||n: 4, d: 10||4, 15>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

53:

<simple.moduloUp.ModuloUp.up||9: increment n by 1||n: 4, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

54:

<simple.moduloUp.ModuloUp.up||12: load INT n||n: 5, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

55:

<simple.moduloUp.ModuloUp.up||13: load INT d||d: 10||5>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

56:

<simple.moduloUp.ModuloUp.up||14: REM||d: 10||5, 10>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

57:

<simple.moduloUp.ModuloUp.up||15: store INT to n||d: 10||5>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

58:

<simple.moduloUp.ModuloUp.up||16: jmp||n: 5, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

59:

<simple.moduloUp.ModuloUp.up||3: load INT n||n: 5, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

60:

<simple.moduloUp.ModuloUp.up||4: push 15||n: 5, d: 10||5>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

61:

<simple.moduloUp.ModuloUp.up||6: GE||n: 5, d: 10||5, 15>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

62:

<simple.moduloUp.ModuloUp.up||9: increment n by 1||n: 5, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

63:

<simple.moduloUp.ModuloUp.up||12: load INT n||n: 6, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

64:

<simple.moduloUp.ModuloUp.up||13: load INT d||d: 10||6>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

65:

<simple.moduloUp.ModuloUp.up||14: REM||d: 10||6, 10>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

66:

<simple.moduloUp.ModuloUp.up||15: store INT to n||d: 10||6>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

67:

<simple.moduloUp.ModuloUp.up||16: jmp||n: 6, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

68:

<simple.moduloUp.ModuloUp.up||3: load INT n||n: 6, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

69:

<simple.moduloUp.ModuloUp.up||4: push 15||n: 6, d: 10||6>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

70:

<simple.moduloUp.ModuloUp.up||6: GE||n: 6, d: 10||6, 15>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

71:

<simple.moduloUp.ModuloUp.up||9: increment n by 1||n: 6, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

72:

<simple.moduloUp.ModuloUp.up||12: load INT n||n: 7, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

73:

<simple.moduloUp.ModuloUp.up||13: load INT d||d: 10||7>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

74:

<simple.moduloUp.ModuloUp.up||14: REM||d: 10||7, 10>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

75:

<simple.moduloUp.ModuloUp.up||15: store INT to n||d: 10||7>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

76:

<simple.moduloUp.ModuloUp.up||16: jmp||n: 7, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

77:

<simple.moduloUp.ModuloUp.up||3: load INT n||n: 7, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

78:

<simple.moduloUp.ModuloUp.up||4: push 15||n: 7, d: 10||7>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

79:

<simple.moduloUp.ModuloUp.up||6: GE||n: 7, d: 10||7, 15>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

80:

<simple.moduloUp.ModuloUp.up||9: increment n by 1||n: 7, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

81:

<simple.moduloUp.ModuloUp.up||12: load INT n||n: 8, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

82:

<simple.moduloUp.ModuloUp.up||13: load INT d||d: 10||8>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

83:

<simple.moduloUp.ModuloUp.up||14: REM||d: 10||8, 10>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

84:

<simple.moduloUp.ModuloUp.up||15: store INT to n||d: 10||8>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

85:

<simple.moduloUp.ModuloUp.up||16: jmp||n: 8, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

86:

<simple.moduloUp.ModuloUp.up||3: load INT n||n: 8, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

87:

<simple.moduloUp.ModuloUp.up||4: push 15||n: 8, d: 10||8>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

88:

<simple.moduloUp.ModuloUp.up||6: GE||n: 8, d: 10||8, 15>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

89:

<simple.moduloUp.ModuloUp.up||9: increment n by 1||n: 8, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

90:

<simple.moduloUp.ModuloUp.up||12: load INT n||n: 9, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

91:

<simple.moduloUp.ModuloUp.up||13: load INT d||d: 10||9>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

92:

<simple.moduloUp.ModuloUp.up||14: REM||d: 10||9, 10>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

93:

<simple.moduloUp.ModuloUp.up||15: store INT to n||d: 10||9>
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

94:

<simple.moduloUp.ModuloUp.up||16: jmp||n: 9, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

95:

<simple.moduloUp.ModuloUp.up||3: load INT n||n: 9, d: 10|| ->
<simple.moduloUp.Main.main||2: simple.moduloUp.ModuloUp.up|| - ||9>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a16
	String.CASE_INSENSITIVE_ORDER: o9
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o9!: String$CaseInsensitiveComparator()
	a16([java.io.ObjectStreamField|]): length 0
	a18([java.lang.String...]): length 9

(2) NO