Termination proof of /tmp/tmpM5MbNO/IntListSumRec.jar

Termination of the given JBC could be proven:

0 JBC

↳1 JBCToGraph (⇒, 390 ms)

↳2 JBCTerminationGraph

↳3 TerminationGraphToSCCProof (⇒, 0 ms)

↳4 AND

    ↳5 JBCTerminationSCC

        ↳6 SCCToIDPv1Proof (⇒, 740 ms)

        ↳7 IDP

        ↳8 IDPtoQDPProof (⇒, 20 ms)

        ↳9 QDP

        ↳10 UsableRulesProof (⇔, 0 ms)

        ↳11 QDP

        ↳12 QReductionProof (⇔, 0 ms)

        ↳13 QDP

        ↳14 QDPSizeChangeProof (⇔, 0 ms)

        ↳15 YES

    ↳16 JBCTerminationSCC

        ↳17 SCCToIDPv1Proof (⇒, 1330 ms)

        ↳18 IDP

        ↳19 IDPNonInfProof (⇒, 100 ms)

        ↳20 AND

            ↳21 IDP

                ↳22 IDependencyGraphProof (⇔, 0 ms)

                ↳23 TRUE

            ↳24 IDP

                ↳25 IDependencyGraphProof (⇔, 0 ms)

                ↳26 TRUE

(0) Obligation:

JBC Problem based on JBC Program:
Manifest-Version: 1.0 Created-By: 1.6.0_22 (Sun Microsystems Inc.) Main-Class: IntListSumRec/IntListSumRec

package IntListSumRec;

public class IntListSumRec {
	public static void main(String[] args) {
		Random.args = args;
		List l = List.createList(Random.random());

		int sum = l.sumList();
	}
}

class List {
	int value;
	List next;

	public List(int v, List n) {
		this.value = v;
		this.next = n;
	}

	public int sumList() {
		if (this.next == null) {
			return this.value;
		} else {
			int firstTwo = this.value + this.next.value;
			List nextNext = this.next.next;
			List shorter = new List(firstTwo, nextNext);
			return shorter.sumList();
		}
	}

	public static List createList(int l) {
		if (l < 0) {
			return null;
		} else {
			return new List(Random.random(), createList(l - 1));
		}
	}
}

class Random {
  static String[] args;
  static int index = 0;

  public static int random() {
    String string = args[index];
    index++;
    return string.length();
  }
}

(1) JBCToGraph (SOUND transformation)

Constructed TerminationGraph.

(2) Obligation:

Termination Graph based on JBC Program:
IntListSumRec.IntListSumRec.main([Ljava/lang/String;)V: Graph of 128 nodes with 0 SCCs.

IntListSumRec.List.createList(I)LIntListSumRec/List;: Graph of 118 nodes with 0 SCCs.

IntListSumRec.List.sumList()I: Graph of 48 nodes with 0 SCCs.

(3) TerminationGraphToSCCProof (SOUND transformation)

Splitted TerminationGraph to 2 SCCss.

(4) Complex Obligation (AND)

(5) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: IntListSumRec.List.sumList()I
SCC calls the following helper methods: IntListSumRec.List.sumList()I
Performed SCC analyses: UsedFieldsAnalysis

(6) SCCToIDPv1Proof (SOUND transformation)

Transformed FIGraph SCCs to IDPs. Log:

Generated 35 rules for P and 11 rules for R.

P rules:
1304_0_sumList_FieldAccess(EOS(STATIC_1304), java.lang.Object(IntListSumRec.List(EOC, o316, i310)), java.lang.Object(IntListSumRec.List(EOC, o316, i310))) → 1306_0_sumList_NONNULL(EOS(STATIC_1306), java.lang.Object(IntListSumRec.List(EOC, o316, i310)), o316)
1306_0_sumList_NONNULL(EOS(STATIC_1306), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(o319sub), i310)), java.lang.Object(o319sub)) → 1308_0_sumList_NONNULL(EOS(STATIC_1308), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(o319sub), i310)), java.lang.Object(o319sub))
1308_0_sumList_NONNULL(EOS(STATIC_1308), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(o319sub), i310)), java.lang.Object(o319sub)) → 1310_0_sumList_Load(EOS(STATIC_1310), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(o319sub), i310)))
1310_0_sumList_Load(EOS(STATIC_1310), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(o319sub), i310))) → 1314_0_sumList_FieldAccess(EOS(STATIC_1314), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(o319sub), i310)), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(o319sub), i310)))
1314_0_sumList_FieldAccess(EOS(STATIC_1314), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(o319sub), i310)), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(o319sub), i310))) → 1317_0_sumList_Load(EOS(STATIC_1317), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(o319sub), i310)), i310)
1317_0_sumList_Load(EOS(STATIC_1317), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(o319sub), i310)), i310) → 1320_0_sumList_FieldAccess(EOS(STATIC_1320), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(o319sub), i310)), i310, java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(o319sub), i310)))
1320_0_sumList_FieldAccess(EOS(STATIC_1320), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(o319sub), i310)), i310, java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(o319sub), i310))) → 1324_0_sumList_FieldAccess(EOS(STATIC_1324), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(o319sub), i310)), i310, java.lang.Object(o319sub))
1324_0_sumList_FieldAccess(EOS(STATIC_1324), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, o327, i316)), i310)), i310, java.lang.Object(IntListSumRec.List(EOC, o327, i316))) → 1329_0_sumList_FieldAccess(EOS(STATIC_1329), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, o327, i316)), i310)), i310, java.lang.Object(IntListSumRec.List(EOC, o327, i316)))
1329_0_sumList_FieldAccess(EOS(STATIC_1329), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, o327, i316)), i310)), i310, java.lang.Object(IntListSumRec.List(EOC, o327, i316))) → 1334_0_sumList_IntArithmetic(EOS(STATIC_1334), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, o327, i316)), i310)), i310, i316)
1334_0_sumList_IntArithmetic(EOS(STATIC_1334), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, o327, i316)), i310)), i310, i316) → 1335_0_sumList_Store(EOS(STATIC_1335), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, o327, i316)), i310)), +(i310, i316))
1335_0_sumList_Store(EOS(STATIC_1335), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, o327, i316)), i310)), i320) → 1337_0_sumList_Load(EOS(STATIC_1337), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, o327, i316)), i310)), i320)
1337_0_sumList_Load(EOS(STATIC_1337), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, o327, i316)), i310)), i320) → 1339_0_sumList_FieldAccess(EOS(STATIC_1339), i320, java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, o327, i316)), i310)))
1339_0_sumList_FieldAccess(EOS(STATIC_1339), i320, java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, o327, i316)), i310))) → 1340_0_sumList_FieldAccess(EOS(STATIC_1340), i320, java.lang.Object(IntListSumRec.List(EOC, o327, i316)))
1340_0_sumList_FieldAccess(EOS(STATIC_1340), i320, java.lang.Object(IntListSumRec.List(EOC, o327, i316))) → 1341_0_sumList_Store(EOS(STATIC_1341), i320, o327)
1341_0_sumList_Store(EOS(STATIC_1341), i320, o327) → 1342_0_sumList_New(EOS(STATIC_1342), i320, o327)
1342_0_sumList_New(EOS(STATIC_1342), i320, o327) → 1344_0_sumList_Duplicate(EOS(STATIC_1344), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, 0)))
1344_0_sumList_Duplicate(EOS(STATIC_1344), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, matching1))) → 1345_0_sumList_Load(EOS(STATIC_1345), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), java.lang.Object(IntListSumRec.List(EOC, NULL, 0))) | =(matching1, 0)
1345_0_sumList_Load(EOS(STATIC_1345), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, matching1)), java.lang.Object(IntListSumRec.List(EOC, NULL, matching2))) → 1347_0_sumList_Load(EOS(STATIC_1347), o327, java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), i320) | &&(=(matching1, 0), =(matching2, 0))
1347_0_sumList_Load(EOS(STATIC_1347), o327, java.lang.Object(IntListSumRec.List(EOC, NULL, matching1)), java.lang.Object(IntListSumRec.List(EOC, NULL, matching2)), i320) → 1348_0_sumList_InvokeMethod(EOS(STATIC_1348), java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), i320, o327) | &&(=(matching1, 0), =(matching2, 0))
1348_0_sumList_InvokeMethod(EOS(STATIC_1348), java.lang.Object(IntListSumRec.List(EOC, NULL, matching1)), java.lang.Object(IntListSumRec.List(EOC, NULL, matching2)), i320, o327) → 1350_0_<init>_Load(EOS(STATIC_1350), java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), i320, o327) | &&(=(matching1, 0), =(matching2, 0))
1350_0_<init>_Load(EOS(STATIC_1350), java.lang.Object(IntListSumRec.List(EOC, NULL, matching1)), java.lang.Object(IntListSumRec.List(EOC, NULL, matching2)), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, matching3)), i320, o327) → 1352_0_<init>_InvokeMethod(EOS(STATIC_1352), java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, 0))) | &&(&&(=(matching1, 0), =(matching2, 0)), =(matching3, 0))
1352_0_<init>_InvokeMethod(EOS(STATIC_1352), java.lang.Object(IntListSumRec.List(EOC, NULL, matching1)), java.lang.Object(IntListSumRec.List(EOC, NULL, matching2)), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, matching3)), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, matching4))) → 1354_0_<init>_Load(EOS(STATIC_1354), java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), i320, o327) | &&(&&(&&(=(matching1, 0), =(matching2, 0)), =(matching3, 0)), =(matching4, 0))
1354_0_<init>_Load(EOS(STATIC_1354), java.lang.Object(IntListSumRec.List(EOC, NULL, matching1)), java.lang.Object(IntListSumRec.List(EOC, NULL, matching2)), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, matching3)), i320, o327) → 1355_0_<init>_Load(EOS(STATIC_1355), java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, 0))) | &&(&&(=(matching1, 0), =(matching2, 0)), =(matching3, 0))
1355_0_<init>_Load(EOS(STATIC_1355), java.lang.Object(IntListSumRec.List(EOC, NULL, matching1)), java.lang.Object(IntListSumRec.List(EOC, NULL, matching2)), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, matching3)), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, matching4))) → 1357_0_<init>_FieldAccess(EOS(STATIC_1357), java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), o327, java.lang.Object(IntListSumRec.List(EOC, NULL, 0)), i320) | &&(&&(&&(=(matching1, 0), =(matching2, 0)), =(matching3, 0)), =(matching4, 0))
1357_0_<init>_FieldAccess(EOS(STATIC_1357), java.lang.Object(IntListSumRec.List(EOC, NULL, matching1)), java.lang.Object(IntListSumRec.List(EOC, NULL, matching2)), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, matching3)), o327, java.lang.Object(IntListSumRec.List(EOC, NULL, matching4)), i320) → 1359_0_<init>_Load(EOS(STATIC_1359), java.lang.Object(IntListSumRec.List(EOC, NULL, i320)), java.lang.Object(IntListSumRec.List(EOC, NULL, i320)), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, i320)), o327) | &&(&&(&&(=(matching1, 0), =(matching2, 0)), =(matching3, 0)), =(matching4, 0))
1359_0_<init>_Load(EOS(STATIC_1359), java.lang.Object(IntListSumRec.List(EOC, NULL, i320)), java.lang.Object(IntListSumRec.List(EOC, NULL, i320)), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, i320)), o327) → 1360_0_<init>_Load(EOS(STATIC_1360), java.lang.Object(IntListSumRec.List(EOC, NULL, i320)), java.lang.Object(IntListSumRec.List(EOC, NULL, i320)), i320, o327, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, i320)))
1360_0_<init>_Load(EOS(STATIC_1360), java.lang.Object(IntListSumRec.List(EOC, NULL, i320)), java.lang.Object(IntListSumRec.List(EOC, NULL, i320)), i320, o327, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, i320))) → 1362_0_<init>_FieldAccess(EOS(STATIC_1362), java.lang.Object(IntListSumRec.List(EOC, NULL, i320)), java.lang.Object(IntListSumRec.List(EOC, NULL, i320)), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, i320)), o327)
1362_0_<init>_FieldAccess(EOS(STATIC_1362), java.lang.Object(IntListSumRec.List(EOC, NULL, i320)), java.lang.Object(IntListSumRec.List(EOC, NULL, i320)), i320, o327, java.lang.Object(IntListSumRec.List(EOC, NULL, i320)), o327) → 1365_0_<init>_Return(EOS(STATIC_1365), java.lang.Object(IntListSumRec.List(EOC, o327, i320)), java.lang.Object(IntListSumRec.List(EOC, o327, i320)), i320, o327)
1365_0_<init>_Return(EOS(STATIC_1365), java.lang.Object(IntListSumRec.List(EOC, o327, i320)), java.lang.Object(IntListSumRec.List(EOC, o327, i320)), i320, o327) → 1366_0_sumList_Store(EOS(STATIC_1366), java.lang.Object(IntListSumRec.List(EOC, o327, i320)))
1366_0_sumList_Store(EOS(STATIC_1366), java.lang.Object(IntListSumRec.List(EOC, o327, i320))) → 1368_0_sumList_Load(EOS(STATIC_1368), java.lang.Object(IntListSumRec.List(EOC, o327, i320)))
1368_0_sumList_Load(EOS(STATIC_1368), java.lang.Object(IntListSumRec.List(EOC, o327, i320))) → 1370_0_sumList_InvokeMethod(EOS(STATIC_1370), java.lang.Object(IntListSumRec.List(EOC, o327, i320)))
1370_0_sumList_InvokeMethod(EOS(STATIC_1370), java.lang.Object(IntListSumRec.List(EOC, o327, i320))) → 1371_1_sumList_InvokeMethod(1371_0_sumList_Load(EOS(STATIC_1371), java.lang.Object(IntListSumRec.List(EOC, o327, i320))), java.lang.Object(IntListSumRec.List(EOC, o327, i320)))
1371_0_sumList_Load(EOS(STATIC_1371), java.lang.Object(IntListSumRec.List(EOC, o327, i320))) → 1373_0_sumList_Load(EOS(STATIC_1373), java.lang.Object(IntListSumRec.List(EOC, o327, i320)))
1373_0_sumList_Load(EOS(STATIC_1373), java.lang.Object(IntListSumRec.List(EOC, o327, i320))) → 1303_0_sumList_Load(EOS(STATIC_1303), java.lang.Object(IntListSumRec.List(EOC, o327, i320)))
1303_0_sumList_Load(EOS(STATIC_1303), java.lang.Object(IntListSumRec.List(EOC, o316, i310))) → 1304_0_sumList_FieldAccess(EOS(STATIC_1304), java.lang.Object(IntListSumRec.List(EOC, o316, i310)), java.lang.Object(IntListSumRec.List(EOC, o316, i310)))
R rules:
1306_0_sumList_NONNULL(EOS(STATIC_1306), java.lang.Object(IntListSumRec.List(EOC, NULL, i310)), NULL) → 1309_0_sumList_NONNULL(EOS(STATIC_1309), java.lang.Object(IntListSumRec.List(EOC, NULL, i310)), NULL)
1309_0_sumList_NONNULL(EOS(STATIC_1309), java.lang.Object(IntListSumRec.List(EOC, NULL, i310)), NULL) → 1311_0_sumList_Load(EOS(STATIC_1311), java.lang.Object(IntListSumRec.List(EOC, NULL, i310)))
1311_0_sumList_Load(EOS(STATIC_1311), java.lang.Object(IntListSumRec.List(EOC, NULL, i310))) → 1315_0_sumList_FieldAccess(EOS(STATIC_1315), java.lang.Object(IntListSumRec.List(EOC, NULL, i310)), java.lang.Object(IntListSumRec.List(EOC, NULL, i310)))
1315_0_sumList_FieldAccess(EOS(STATIC_1315), java.lang.Object(IntListSumRec.List(EOC, NULL, i310)), java.lang.Object(IntListSumRec.List(EOC, NULL, i310))) → 1319_0_sumList_Return(EOS(STATIC_1319), java.lang.Object(IntListSumRec.List(EOC, NULL, i310)), i310)
1371_1_sumList_InvokeMethod(1319_0_sumList_Return(EOS(STATIC_1319), java.lang.Object(IntListSumRec.List(EOC, NULL, i330)), i330), java.lang.Object(IntListSumRec.List(EOC, NULL, i330))) → 1380_0_sumList_Return(EOS(STATIC_1380), java.lang.Object(IntListSumRec.List(EOC, NULL, i330)), java.lang.Object(IntListSumRec.List(EOC, NULL, i330)), i330)
1371_1_sumList_InvokeMethod(1382_0_sumList_Return(EOS(STATIC_1382), i330), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, NULL, i339)), i340))) → 1395_0_sumList_Return(EOS(STATIC_1395), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, NULL, i339)), i340)), i330)
1371_1_sumList_InvokeMethod(1439_0_sumList_Return(EOS(STATIC_1439), i330), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, o406, i383)), i384)), i385))) → 1464_0_sumList_Return(EOS(STATIC_1464), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, o406, i383)), i384)), i385)), i330)
1380_0_sumList_Return(EOS(STATIC_1380), java.lang.Object(IntListSumRec.List(EOC, NULL, i330)), java.lang.Object(IntListSumRec.List(EOC, NULL, i330)), i330) → 1382_0_sumList_Return(EOS(STATIC_1382), i330)
1395_0_sumList_Return(EOS(STATIC_1395), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, NULL, i339)), i340)), i330) → 1433_0_sumList_Return(EOS(STATIC_1433), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, NULL, i339)), i340)), i330)
1433_0_sumList_Return(EOS(STATIC_1433), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, o373, i366)), i369)), i330) → 1439_0_sumList_Return(EOS(STATIC_1439), i330)
1464_0_sumList_Return(EOS(STATIC_1464), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, o406, i383)), i384)), i385)), i330) → 1433_0_sumList_Return(EOS(STATIC_1433), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, o406, i383)), i384)), i385)), i330)

Combined rules. Obtained 1 conditional rules for P and 3 conditional rules for R.

P rules:
1304_0_sumList_FieldAccess(EOS(STATIC_1304), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, x0, x1)), x2)), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, x0, x1)), x2))) → 1371_1_sumList_InvokeMethod(1304_0_sumList_FieldAccess(EOS(STATIC_1304), java.lang.Object(IntListSumRec.List(EOC, x0, +(x2, x1))), java.lang.Object(IntListSumRec.List(EOC, x0, +(x2, x1)))), java.lang.Object(IntListSumRec.List(EOC, x0, +(x2, x1))))
R rules:
1371_1_sumList_InvokeMethod(1319_0_sumList_Return(EOS(STATIC_1319), java.lang.Object(IntListSumRec.List(EOC, NULL, x0)), x0), java.lang.Object(IntListSumRec.List(EOC, NULL, x0))) → 1382_0_sumList_Return(EOS(STATIC_1382), x0)
1371_1_sumList_InvokeMethod(1382_0_sumList_Return(EOS(STATIC_1382), x0), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, NULL, x1)), x2))) → 1439_0_sumList_Return(EOS(STATIC_1439), x0)
1371_1_sumList_InvokeMethod(1439_0_sumList_Return(EOS(STATIC_1439), x0), java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, java.lang.Object(IntListSumRec.List(EOC, x1, x2)), x3)), x4))) → 1439_0_sumList_Return(EOS(STATIC_1439), x0)

Filtered ground terms:

IntListSumRec.List(x1, x2, x3) → IntListSumRec.List(x2, x3)
1304_0_sumList_FieldAccess(x1, x2, x3) → 1304_0_sumList_FieldAccess(x2, x3)
1439_0_sumList_Return(x1, x2) → 1439_0_sumList_Return(x2)
1382_0_sumList_Return(x1, x2) → 1382_0_sumList_Return(x2)
1319_0_sumList_Return(x1, x2, x3) → 1319_0_sumList_Return(x2, x3)

Filtered duplicate args:

1304_0_sumList_FieldAccess(x1, x2) → 1304_0_sumList_FieldAccess(x2)
1319_0_sumList_Return(x1, x2) → 1319_0_sumList_Return(x1)

Filtered unneeded arguments:

IntListSumRec.List(x1, x2) → IntListSumRec.List(x1)

Filtered all free variables in P and R:

1382_0_sumList_Return(x1) → 1382_0_sumList_Return
1439_0_sumList_Return(x1) → 1439_0_sumList_Return

Current set of rules:

P rules:
1304_0_sumList_FieldAccess(java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(x0))))) → 1371_1_sumList_InvokeMethod(1304_0_sumList_FieldAccess(java.lang.Object(IntListSumRec.List(x0))), java.lang.Object(IntListSumRec.List(x0)))
R rules:
1371_1_sumList_InvokeMethod(1319_0_sumList_Return(java.lang.Object(IntListSumRec.List(NULL))), java.lang.Object(IntListSumRec.List(NULL))) → 1382_0_sumList_Return
1371_1_sumList_InvokeMethod(1382_0_sumList_Return, java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(NULL))))) → 1439_0_sumList_Return
1371_1_sumList_InvokeMethod(1439_0_sumList_Return, java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(x1))))))) → 1439_0_sumList_Return

Filtered ground terms:

1319_0_sumList_Return(x1) → 1319_0_sumList_Return

Combined rules. Obtained 1 conditional rules for P and 3 conditional rules for R.

P rules:
1304_0_sumList_FieldAccess(java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(x0))))) → 1371_1_sumList_InvokeMethod(1304_0_sumList_FieldAccess(java.lang.Object(IntListSumRec.List(x0))), java.lang.Object(IntListSumRec.List(x0)))
R rules:
1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(NULL))) → 1382_0_sumList_Return
1371_1_sumList_InvokeMethod(1382_0_sumList_Return, java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(NULL))))) → 1439_0_sumList_Return
1371_1_sumList_InvokeMethod(1439_0_sumList_Return, java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(x1))))))) → 1439_0_sumList_Return

Performed bisimulation on rules. Used the following equivalence classes: {[1319_0_sumList_Return, 1382_0_sumList_Return, 1439_0_sumList_Return]=1319_0_sumList_Return}

Finished conversion. Obtained 1 rules for P and 3 rules for R. System has no predefined symbols.

P rules:
1304_0_SUMLIST_FIELDACCESS(java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(x0))))) → 1304_0_SUMLIST_FIELDACCESS(java.lang.Object(IntListSumRec.List(x0)))
R rules:
1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(NULL))) → 1319_0_sumList_Return
1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(NULL))))) → 1319_0_sumList_Return
1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(x1))))))) → 1319_0_sumList_Return

(7) Obligation:

IDP problem:
The following function symbols are pre-defined:

!=	~	Neq: (Integer, Integer) -> Boolean
*	~	Mul: (Integer, Integer) -> Integer
>=	~	Ge: (Integer, Integer) -> Boolean
-1	~	UnaryMinus: (Integer) -> Integer
\|	~	Bwor: (Integer, Integer) -> Integer
/	~	Div: (Integer, Integer) -> Integer
=	~	Eq: (Integer, Integer) -> Boolean
	~	Bwxor: (Integer, Integer) -> Integer
\|\|	~	Lor: (Boolean, Boolean) -> Boolean
!	~	Lnot: (Boolean) -> Boolean
<	~	Lt: (Integer, Integer) -> Boolean
-	~	Sub: (Integer, Integer) -> Integer
<=	~	Le: (Integer, Integer) -> Boolean
>	~	Gt: (Integer, Integer) -> Boolean
~	~	Bwnot: (Integer) -> Integer
%	~	Mod: (Integer, Integer) -> Integer
&	~	Bwand: (Integer, Integer) -> Integer
+	~	Add: (Integer, Integer) -> Integer
&&	~	Land: (Boolean, Boolean) -> Boolean

The following domains are used:
none

The ITRS R consists of the following rules:
1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(NULL))) → 1319_0_sumList_Return
1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(NULL))))) → 1319_0_sumList_Return
1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(x1))))))) → 1319_0_sumList_Return

The integer pair graph contains the following rules and edges:
(0): 1304_0_SUMLIST_FIELDACCESS(java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(x0[0]))))) → 1304_0_SUMLIST_FIELDACCESS(java.lang.Object(IntListSumRec.List(x0[0])))

(0) -> (0), if (java.lang.Object(IntListSumRec.List(x0[0])) →^* java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(x0[0]')))))

The set Q consists of the following terms:
1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(NULL)))
1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(NULL)))))
1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(x0)))))))

(8) IDPtoQDPProof (SOUND transformation)

Represented integers and predefined function symbols by Terms

(9) Obligation:

Q DP problem:
The TRS P consists of the following rules:

1304_0_SUMLIST_FIELDACCESS(java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(x0[0]))))) → 1304_0_SUMLIST_FIELDACCESS(java.lang.Object(IntListSumRec.List(x0[0])))

The TRS R consists of the following rules:

1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(NULL))) → 1319_0_sumList_Return
1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(NULL))))) → 1319_0_sumList_Return
1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(x1))))))) → 1319_0_sumList_Return

The set Q consists of the following terms:

1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(NULL)))
1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(NULL)))))
1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(x0)))))))

We have to consider all minimal (P,Q,R)-chains.

(10) UsableRulesProof (EQUIVALENT transformation)

As all Q-normal forms are R-normal forms we are in the innermost case. Hence, by the usable rules processor [LPAR04] we can delete all non-usable rules [FROCOS05] from R.

(11) Obligation:

Q DP problem:
The TRS P consists of the following rules:

1304_0_SUMLIST_FIELDACCESS(java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(x0[0]))))) → 1304_0_SUMLIST_FIELDACCESS(java.lang.Object(IntListSumRec.List(x0[0])))

R is empty.
The set Q consists of the following terms:

1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(NULL)))
1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(NULL)))))
1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(x0)))))))

We have to consider all minimal (P,Q,R)-chains.

(12) QReductionProof (EQUIVALENT transformation)

We deleted the following terms from Q as each root-symbol of these terms does neither occur in P nor in R.[THIEMANN].

1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(NULL)))
1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(NULL)))))
1371_1_sumList_InvokeMethod(1319_0_sumList_Return, java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(x0)))))))

(13) Obligation:

Q DP problem:
The TRS P consists of the following rules:

1304_0_SUMLIST_FIELDACCESS(java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(x0[0]))))) → 1304_0_SUMLIST_FIELDACCESS(java.lang.Object(IntListSumRec.List(x0[0])))

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.

(14) QDPSizeChangeProof (EQUIVALENT transformation)

By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

1304_0_SUMLIST_FIELDACCESS(java.lang.Object(IntListSumRec.List(java.lang.Object(IntListSumRec.List(x0[0]))))) → 1304_0_SUMLIST_FIELDACCESS(java.lang.Object(IntListSumRec.List(x0[0])))
The graph contains the following edges 1 > 1

(15) YES

(16) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: IntListSumRec.List.createList(I)LIntListSumRec/List;
SCC calls the following helper methods: IntListSumRec.List.createList(I)LIntListSumRec/List;
Performed SCC analyses: UsedFieldsAnalysis

(17) SCCToIDPv1Proof (SOUND transformation)

Transformed FIGraph SCCs to IDPs. Log:

Generated 29 rules for P and 87 rules for R.

P rules:
722_0_createList_GE(EOS(STATIC_722), i109, i109) → 724_0_createList_GE(EOS(STATIC_724), i109, i109)
724_0_createList_GE(EOS(STATIC_724), i109, i109) → 726_0_createList_New(EOS(STATIC_726), i109) | >=(i109, 0)
726_0_createList_New(EOS(STATIC_726), i109) → 729_0_createList_Duplicate(EOS(STATIC_729), i109, java.lang.Object(IntListSumRec.List(EOC)))
729_0_createList_Duplicate(EOS(STATIC_729), i109, java.lang.Object(IntListSumRec.List(EOC))) → 733_0_createList_InvokeMethod(EOS(STATIC_733), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)))
733_0_createList_InvokeMethod(EOS(STATIC_733), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC))) → 736_0_random_FieldAccess(EOS(STATIC_736), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)))
736_0_random_FieldAccess(EOS(STATIC_736), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC))) → 739_0_random_FieldAccess(EOS(STATIC_739), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(ARRAY(i43)))
739_0_random_FieldAccess(EOS(STATIC_739), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(ARRAY(i43))) → 741_0_random_ArrayAccess(EOS(STATIC_741), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(ARRAY(i43)), i107)
741_0_random_ArrayAccess(EOS(STATIC_741), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(ARRAY(i43)), i107) → 743_0_random_ArrayAccess(EOS(STATIC_743), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(ARRAY(i43)), i107)
743_0_random_ArrayAccess(EOS(STATIC_743), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(ARRAY(i43)), i107) → 745_0_random_Store(EOS(STATIC_745), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), o94) | <(i107, i43)
745_0_random_Store(EOS(STATIC_745), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), o94) → 749_0_random_FieldAccess(EOS(STATIC_749), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), o94)
749_0_random_FieldAccess(EOS(STATIC_749), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), o94) → 751_0_random_ConstantStackPush(EOS(STATIC_751), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), o94, i107)
751_0_random_ConstantStackPush(EOS(STATIC_751), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), o94, i107) → 754_0_random_IntArithmetic(EOS(STATIC_754), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), o94, i107, 1)
754_0_random_IntArithmetic(EOS(STATIC_754), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), o94, i107, matching1) → 757_0_random_FieldAccess(EOS(STATIC_757), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), o94, +(i107, 1)) | &&(>(i107, 0), =(matching1, 1))
757_0_random_FieldAccess(EOS(STATIC_757), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), o94, i110) → 759_0_random_Load(EOS(STATIC_759), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), o94)
759_0_random_Load(EOS(STATIC_759), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), o94) → 763_0_random_InvokeMethod(EOS(STATIC_763), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), o94)
763_0_random_InvokeMethod(EOS(STATIC_763), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(o97sub)) → 766_0_random_InvokeMethod(EOS(STATIC_766), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(o97sub))
766_0_random_InvokeMethod(EOS(STATIC_766), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(o97sub)) → 769_0_length_Load(EOS(STATIC_769), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(o97sub), java.lang.Object(o97sub))
769_0_length_Load(EOS(STATIC_769), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(o97sub), java.lang.Object(o97sub)) → 778_0_length_FieldAccess(EOS(STATIC_778), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(o97sub), java.lang.Object(o97sub))
778_0_length_FieldAccess(EOS(STATIC_778), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.String(o101sub, i120)), java.lang.Object(java.lang.String(o101sub, i120))) → 780_0_length_FieldAccess(EOS(STATIC_780), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.String(o101sub, i120)), java.lang.Object(java.lang.String(o101sub, i120))) | &&(>=(i120, 0), >=(i121, 0))
780_0_length_FieldAccess(EOS(STATIC_780), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.String(o101sub, i120)), java.lang.Object(java.lang.String(o101sub, i120))) → 786_0_length_Return(EOS(STATIC_786), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.String(o101sub, i120)), i120)
786_0_length_Return(EOS(STATIC_786), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.String(o101sub, i120)), i120) → 791_0_random_Return(EOS(STATIC_791), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120)
791_0_random_Return(EOS(STATIC_791), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120) → 793_0_createList_Load(EOS(STATIC_793), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120)
793_0_createList_Load(EOS(STATIC_793), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120) → 800_0_createList_ConstantStackPush(EOS(STATIC_800), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i109)
800_0_createList_ConstantStackPush(EOS(STATIC_800), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i109) → 806_0_createList_IntArithmetic(EOS(STATIC_806), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i109, 1)
806_0_createList_IntArithmetic(EOS(STATIC_806), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i109, matching1) → 811_0_createList_InvokeMethod(EOS(STATIC_811), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, -(i109, 1)) | &&(>=(i109, 0), =(matching1, 1))
811_0_createList_InvokeMethod(EOS(STATIC_811), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i123) → 818_1_createList_InvokeMethod(818_0_createList_Load(EOS(STATIC_818), i123), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i123)
818_0_createList_Load(EOS(STATIC_818), i123) → 829_0_createList_Load(EOS(STATIC_829), i123)
829_0_createList_Load(EOS(STATIC_829), i123) → 719_0_createList_Load(EOS(STATIC_719), i123)
719_0_createList_Load(EOS(STATIC_719), i106) → 722_0_createList_GE(EOS(STATIC_722), i106, i106)
R rules:
722_0_createList_GE(EOS(STATIC_722), matching1, matching2) → 723_0_createList_GE(EOS(STATIC_723), -1, -1) | &&(=(matching1, -1), =(matching2, -1))
723_0_createList_GE(EOS(STATIC_723), matching1, matching2) → 725_0_createList_ConstantStackPush(EOS(STATIC_725), -1) | &&(&&(<(-1, 0), =(matching1, -1)), =(matching2, -1))
725_0_createList_ConstantStackPush(EOS(STATIC_725), matching1) → 727_0_createList_Return(EOS(STATIC_727), -1, NULL) | =(matching1, -1)
741_0_random_ArrayAccess(EOS(STATIC_741), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(ARRAY(i43)), i107) → 744_0_random_ArrayAccess(EOS(STATIC_744), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(ARRAY(i43)), i107)
744_0_random_ArrayAccess(EOS(STATIC_744), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(ARRAY(i43)), i107) → 747_0_<init>_Load(EOS(STATIC_747), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) | >=(i107, i43)
747_0_<init>_Load(EOS(STATIC_747), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 753_0_<init>_InvokeMethod(EOS(STATIC_753), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
753_0_<init>_InvokeMethod(EOS(STATIC_753), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 756_0_<init>_Load(EOS(STATIC_756), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
756_0_<init>_Load(EOS(STATIC_756), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 761_0_<init>_InvokeMethod(EOS(STATIC_761), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
761_0_<init>_InvokeMethod(EOS(STATIC_761), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 764_0_<init>_Load(EOS(STATIC_764), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
763_0_random_InvokeMethod(EOS(STATIC_763), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), NULL) → 767_0_random_InvokeMethod(EOS(STATIC_767), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), NULL)
764_0_<init>_Load(EOS(STATIC_764), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 773_0_<init>_InvokeMethod(EOS(STATIC_773), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
767_0_random_InvokeMethod(EOS(STATIC_767), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), NULL) → 771_0_random_InvokeMethod(EOS(STATIC_771), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), NULL)
771_0_random_InvokeMethod(EOS(STATIC_771), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), NULL) → 775_0_<init>_Load(EOS(STATIC_775), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
773_0_<init>_InvokeMethod(EOS(STATIC_773), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 776_0_<init>_Load(EOS(STATIC_776), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
775_0_<init>_Load(EOS(STATIC_775), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 782_0_<init>_InvokeMethod(EOS(STATIC_782), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
776_0_<init>_Load(EOS(STATIC_776), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 784_0_<init>_InvokeMethod(EOS(STATIC_784), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
782_0_<init>_InvokeMethod(EOS(STATIC_782), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 787_0_<init>_Load(EOS(STATIC_787), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
784_0_<init>_InvokeMethod(EOS(STATIC_784), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 789_0_<init>_Load(EOS(STATIC_789), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
787_0_<init>_Load(EOS(STATIC_787), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 796_0_<init>_InvokeMethod(EOS(STATIC_796), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
789_0_<init>_Load(EOS(STATIC_789), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 798_0_<init>_InvokeMethod(EOS(STATIC_798), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
796_0_<init>_InvokeMethod(EOS(STATIC_796), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 802_0_<init>_Load(EOS(STATIC_802), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
798_0_<init>_InvokeMethod(EOS(STATIC_798), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 804_0_<init>_Load(EOS(STATIC_804), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
802_0_<init>_Load(EOS(STATIC_802), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 814_0_<init>_InvokeMethod(EOS(STATIC_814), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
804_0_<init>_Load(EOS(STATIC_804), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 809_0_<init>_Load(EOS(STATIC_809), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
809_0_<init>_Load(EOS(STATIC_809), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 816_0_<init>_FieldAccess(EOS(STATIC_816), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
814_0_<init>_InvokeMethod(EOS(STATIC_814), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 820_0_<init>_Load(EOS(STATIC_820), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
816_0_<init>_FieldAccess(EOS(STATIC_816), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 827_0_<init>_Load(EOS(STATIC_827), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
818_1_createList_InvokeMethod(727_0_createList_Return(EOS(STATIC_727), matching1, NULL), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, matching2) → 850_0_createList_Return(EOS(STATIC_850), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, -1, -1, NULL) | &&(=(matching1, -1), =(matching2, -1))
818_1_createList_InvokeMethod(889_0_createList_InvokeMethod(EOS(STATIC_889), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), i138, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i138) → 913_0_createList_InvokeMethod(EOS(STATIC_913), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), i138, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)))
818_1_createList_InvokeMethod(924_0_createList_InvokeMethod(EOS(STATIC_924), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), i157, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i157) → 976_0_createList_InvokeMethod(EOS(STATIC_976), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i157, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), i157, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)))
818_1_createList_InvokeMethod(941_0_createList_Return(EOS(STATIC_941), java.lang.Object(IntListSumRec.List(EOC))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i180) → 1019_0_createList_Return(EOS(STATIC_1019), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i180, java.lang.Object(IntListSumRec.List(EOC)))
818_1_createList_InvokeMethod(1014_0_createList_InvokeMethod(EOS(STATIC_1014), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o151sub)))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i197, i165), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i198) → 1074_0_createList_InvokeMethod(EOS(STATIC_1074), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i198, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o151sub)))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i197, i165)
818_1_createList_InvokeMethod(1088_0_createList_InvokeMethod(EOS(STATIC_1088), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o189sub)))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i238, i211), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i239) → 1118_0_createList_InvokeMethod(EOS(STATIC_1118), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i239, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o189sub)))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i238, i211)
818_1_createList_InvokeMethod(1220_0_createList_Return(EOS(STATIC_1220), java.lang.Object(IntListSumRec.List(EOC))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i295) → 1246_0_createList_Return(EOS(STATIC_1246), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i295, java.lang.Object(IntListSumRec.List(EOC)))
820_0_<init>_Load(EOS(STATIC_820), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 836_0_<init>_InvokeMethod(EOS(STATIC_836), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
827_0_<init>_Load(EOS(STATIC_827), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 832_0_<init>_InvokeMethod(EOS(STATIC_832), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
832_0_<init>_InvokeMethod(EOS(STATIC_832), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 838_0_<init>_StackPop(EOS(STATIC_838), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
836_0_<init>_InvokeMethod(EOS(STATIC_836), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 847_0_<init>_Load(EOS(STATIC_847), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
838_0_<init>_StackPop(EOS(STATIC_838), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 849_0_<init>_Return(EOS(STATIC_849), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
847_0_<init>_Load(EOS(STATIC_847), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 852_0_<init>_Load(EOS(STATIC_852), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
849_0_<init>_Return(EOS(STATIC_849), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 854_0_<init>_Return(EOS(STATIC_854), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
850_0_createList_Return(EOS(STATIC_850), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, matching1, matching2, NULL) → 856_0_createList_InvokeMethod(EOS(STATIC_856), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, NULL) | &&(=(matching1, -1), =(matching2, -1))
852_0_<init>_Load(EOS(STATIC_852), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 859_0_<init>_FieldAccess(EOS(STATIC_859), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
854_0_<init>_Return(EOS(STATIC_854), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 860_0_<init>_Return(EOS(STATIC_860), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
856_0_createList_InvokeMethod(EOS(STATIC_856), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, NULL) → 862_0_<init>_Load(EOS(STATIC_862), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, NULL, java.lang.Object(IntListSumRec.List(EOC)), i120, NULL)
859_0_<init>_FieldAccess(EOS(STATIC_859), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 867_0_<init>_Load(EOS(STATIC_867), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
860_0_<init>_Return(EOS(STATIC_860), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 869_0_<init>_Return(EOS(STATIC_869), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
862_0_<init>_Load(EOS(STATIC_862), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, NULL, java.lang.Object(IntListSumRec.List(EOC)), i120, NULL) → 875_0_<init>_InvokeMethod(EOS(STATIC_875), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, NULL, java.lang.Object(IntListSumRec.List(EOC)), i120, NULL, java.lang.Object(IntListSumRec.List(EOC)))
867_0_<init>_Load(EOS(STATIC_867), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 871_0_<init>_InvokeMethod(EOS(STATIC_871), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
869_0_<init>_Return(EOS(STATIC_869), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 873_0_<init>_Return(EOS(STATIC_873), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107)
871_0_<init>_InvokeMethod(EOS(STATIC_871), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 878_0_<init>_StackPop(EOS(STATIC_878), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
873_0_<init>_Return(EOS(STATIC_873), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107) → 882_0_random_ArrayAccess(EOS(STATIC_882), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107)
875_0_<init>_InvokeMethod(EOS(STATIC_875), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, NULL, java.lang.Object(IntListSumRec.List(EOC)), i120, NULL, java.lang.Object(IntListSumRec.List(EOC))) → 884_0_<init>_Load(EOS(STATIC_884), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, NULL, java.lang.Object(IntListSumRec.List(EOC)), i120, NULL)
878_0_<init>_StackPop(EOS(STATIC_878), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 886_0_<init>_Return(EOS(STATIC_886), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
882_0_random_ArrayAccess(EOS(STATIC_882), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i43)), i107) → 889_0_createList_InvokeMethod(EOS(STATIC_889), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)))
884_0_<init>_Load(EOS(STATIC_884), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, NULL, java.lang.Object(IntListSumRec.List(EOC)), i120, NULL) → 890_0_<init>_Load(EOS(STATIC_890), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, NULL, java.lang.Object(IntListSumRec.List(EOC)), i120, NULL, java.lang.Object(IntListSumRec.List(EOC)))
886_0_<init>_Return(EOS(STATIC_886), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 893_0_<init>_Return(EOS(STATIC_893), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
890_0_<init>_Load(EOS(STATIC_890), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, NULL, java.lang.Object(IntListSumRec.List(EOC)), i120, NULL, java.lang.Object(IntListSumRec.List(EOC))) → 897_0_<init>_FieldAccess(EOS(STATIC_897), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, NULL, java.lang.Object(IntListSumRec.List(EOC)), NULL, java.lang.Object(IntListSumRec.List(EOC)), i120)
893_0_<init>_Return(EOS(STATIC_893), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 899_0_<init>_Return(EOS(STATIC_899), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
897_0_<init>_FieldAccess(EOS(STATIC_897), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, NULL, java.lang.Object(IntListSumRec.List(EOC)), NULL, java.lang.Object(IntListSumRec.List(EOC)), i120) → 908_0_<init>_Load(EOS(STATIC_908), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, NULL, java.lang.Object(IntListSumRec.List(EOC)), NULL)
899_0_<init>_Return(EOS(STATIC_899), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 910_0_<init>_Return(EOS(STATIC_910), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL)
908_0_<init>_Load(EOS(STATIC_908), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, NULL, java.lang.Object(IntListSumRec.List(EOC)), NULL) → 915_0_<init>_Load(EOS(STATIC_915), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, NULL, NULL, java.lang.Object(IntListSumRec.List(EOC)))
910_0_<init>_Return(EOS(STATIC_910), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL) → 918_0_random_InvokeMethod(EOS(STATIC_918), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL)
913_0_createList_InvokeMethod(EOS(STATIC_913), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), i138, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC))) → 977_0_createList_InvokeMethod(EOS(STATIC_977), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), i138, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)))
915_0_<init>_Load(EOS(STATIC_915), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, NULL, NULL, java.lang.Object(IntListSumRec.List(EOC))) → 922_0_<init>_FieldAccess(EOS(STATIC_922), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, NULL, java.lang.Object(IntListSumRec.List(EOC)), NULL)
918_0_random_InvokeMethod(EOS(STATIC_918), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL) → 924_0_createList_InvokeMethod(EOS(STATIC_924), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), i109, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)))
922_0_<init>_FieldAccess(EOS(STATIC_922), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, NULL, java.lang.Object(IntListSumRec.List(EOC)), NULL) → 930_0_<init>_Return(EOS(STATIC_930), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, NULL)
930_0_<init>_Return(EOS(STATIC_930), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, NULL) → 941_0_createList_Return(EOS(STATIC_941), java.lang.Object(IntListSumRec.List(EOC)))
976_0_createList_InvokeMethod(EOS(STATIC_976), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i157, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), i157, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC))) → 977_0_createList_InvokeMethod(EOS(STATIC_977), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i157, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), i157, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)))
977_0_createList_InvokeMethod(EOS(STATIC_977), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i165, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o151sub)))), i165, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC))) → 1014_0_createList_InvokeMethod(EOS(STATIC_1014), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o151sub)))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i165)
1014_0_createList_InvokeMethod(EOS(STATIC_1014), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o151sub)))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i165) → 1088_0_createList_InvokeMethod(EOS(STATIC_1088), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o151sub)))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i165)
1019_0_createList_Return(EOS(STATIC_1019), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i180, java.lang.Object(IntListSumRec.List(EOC))) → 1169_0_createList_Return(EOS(STATIC_1169), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i180, java.lang.Object(IntListSumRec.List(EOC)))
1074_0_createList_InvokeMethod(EOS(STATIC_1074), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i198, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o151sub)))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i197, i165) → 1075_0_createList_InvokeMethod(EOS(STATIC_1075), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i198, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o151sub)))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i197, i165)
1075_0_createList_InvokeMethod(EOS(STATIC_1075), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i211, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o189sub)))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i210, i209) → 1088_0_createList_InvokeMethod(EOS(STATIC_1088), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o189sub)))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i211)
1118_0_createList_InvokeMethod(EOS(STATIC_1118), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i239, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o189sub)))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i238, i211) → 1075_0_createList_InvokeMethod(EOS(STATIC_1075), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i239, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o189sub)))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i238, i211)
1169_0_createList_Return(EOS(STATIC_1169), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i275, java.lang.Object(IntListSumRec.List(EOC))) → 1174_0_createList_InvokeMethod(EOS(STATIC_1174), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)))
1174_0_createList_InvokeMethod(EOS(STATIC_1174), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC))) → 1177_0_<init>_Load(EOS(STATIC_1177), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)))
1177_0_<init>_Load(EOS(STATIC_1177), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC))) → 1182_0_<init>_InvokeMethod(EOS(STATIC_1182), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)))
1182_0_<init>_InvokeMethod(EOS(STATIC_1182), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC))) → 1186_0_<init>_Load(EOS(STATIC_1186), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)))
1186_0_<init>_Load(EOS(STATIC_1186), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC))) → 1189_0_<init>_Load(EOS(STATIC_1189), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)))
1189_0_<init>_Load(EOS(STATIC_1189), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC))) → 1195_0_<init>_FieldAccess(EOS(STATIC_1195), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120)
1195_0_<init>_FieldAccess(EOS(STATIC_1195), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120) → 1198_0_<init>_Load(EOS(STATIC_1198), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)))
1198_0_<init>_Load(EOS(STATIC_1198), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC))) → 1202_0_<init>_Load(EOS(STATIC_1202), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)))
1202_0_<init>_Load(EOS(STATIC_1202), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC))) → 1207_0_<init>_FieldAccess(EOS(STATIC_1207), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)))
1207_0_<init>_FieldAccess(EOS(STATIC_1207), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC))) → 1214_0_<init>_Return(EOS(STATIC_1214), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC)))
1214_0_<init>_Return(EOS(STATIC_1214), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, java.lang.Object(IntListSumRec.List(EOC))) → 1220_0_createList_Return(EOS(STATIC_1220), java.lang.Object(IntListSumRec.List(EOC)))
1246_0_createList_Return(EOS(STATIC_1246), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i295, java.lang.Object(IntListSumRec.List(EOC))) → 1169_0_createList_Return(EOS(STATIC_1169), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), i120, i295, java.lang.Object(IntListSumRec.List(EOC)))

Combined rules. Obtained 1 conditional rules for P and 8 conditional rules for R.

P rules:
722_0_createList_GE(EOS(STATIC_722), x0, x0) → 818_1_createList_InvokeMethod(722_0_createList_GE(EOS(STATIC_722), -(x0, 1), -(x0, 1)), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), x1, -(x0, 1)) | &&(>(+(x1, 1), 0), >(+(x0, 1), 0))
R rules:
722_0_createList_GE(EOS(STATIC_722), -1, -1) → 727_0_createList_Return(EOS(STATIC_727), -1, NULL)
818_1_createList_InvokeMethod(727_0_createList_Return(EOS(STATIC_727), -1, NULL), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), x1, -1) → 941_0_createList_Return(EOS(STATIC_941), java.lang.Object(IntListSumRec.List(EOC)))
818_1_createList_InvokeMethod(889_0_createList_InvokeMethod(EOS(STATIC_889), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), x0, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), x1, x0) → 1088_0_createList_InvokeMethod(EOS(STATIC_1088), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), x1, x0)
818_1_createList_InvokeMethod(924_0_createList_InvokeMethod(EOS(STATIC_924), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), x0, java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), x1, x0) → 1088_0_createList_InvokeMethod(EOS(STATIC_1088), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), x1, x0)
818_1_createList_InvokeMethod(1014_0_createList_InvokeMethod(EOS(STATIC_1014), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0)))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), x1, x2), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), x3, x4) → 1088_0_createList_InvokeMethod(EOS(STATIC_1088), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0)))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), x3, x4)
818_1_createList_InvokeMethod(1088_0_createList_InvokeMethod(EOS(STATIC_1088), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0)))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), x1, x2), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), x3, x4) → 1088_0_createList_InvokeMethod(EOS(STATIC_1088), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0)))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), x3, x4)
818_1_createList_InvokeMethod(941_0_createList_Return(EOS(STATIC_941), java.lang.Object(IntListSumRec.List(EOC))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), x0, x1) → 1220_0_createList_Return(EOS(STATIC_1220), java.lang.Object(IntListSumRec.List(EOC)))
818_1_createList_InvokeMethod(1220_0_createList_Return(EOS(STATIC_1220), java.lang.Object(IntListSumRec.List(EOC))), java.lang.Object(IntListSumRec.List(EOC)), java.lang.Object(IntListSumRec.List(EOC)), x0, x1) → 1220_0_createList_Return(EOS(STATIC_1220), java.lang.Object(IntListSumRec.List(EOC)))

Filtered ground terms:

818_1_createList_InvokeMethod(x1, x2, x3, x4, x5) → 818_1_createList_InvokeMethod(x1, x4, x5)
IntListSumRec.List(x1) → IntListSumRec.List
722_0_createList_GE(x1, x2, x3) → 722_0_createList_GE(x2, x3)
Cond_722_0_createList_GE(x1, x2, x3, x4, x5) → Cond_722_0_createList_GE(x1, x3, x4, x5)
1220_0_createList_Return(x1, x2) → 1220_0_createList_Return
941_0_createList_Return(x1, x2) → 941_0_createList_Return
1088_0_createList_InvokeMethod(x1, x2, x3, x4, x5, x6) → 1088_0_createList_InvokeMethod(x2, x5, x6)
1014_0_createList_InvokeMethod(x1, x2, x3, x4, x5, x6) → 1014_0_createList_InvokeMethod(x2, x5, x6)
java.lang.NullPointerException(x1) → java.lang.NullPointerException
924_0_createList_InvokeMethod(x1, x2, x3, x4, x5) → 924_0_createList_InvokeMethod(x3)
java.lang.ArrayIndexOutOfBoundsException(x1) → java.lang.ArrayIndexOutOfBoundsException
java.lang.IndexOutOfBoundsException(x1) → java.lang.IndexOutOfBoundsException
889_0_createList_InvokeMethod(x1, x2, x3, x4, x5) → 889_0_createList_InvokeMethod(x3)
727_0_createList_Return(x1, x2, x3) → 727_0_createList_Return

Filtered duplicate args:

722_0_createList_GE(x1, x2) → 722_0_createList_GE(x2)
Cond_722_0_createList_GE(x1, x2, x3, x4) → Cond_722_0_createList_GE(x1, x3, x4)

Filtered unneeded arguments:

Cond_722_0_createList_GE(x1, x2, x3) → Cond_722_0_createList_GE(x1, x2)
818_1_createList_InvokeMethod(x1, x2, x3) → 818_1_createList_InvokeMethod(x1, x3)
1088_0_createList_InvokeMethod(x1, x2, x3) → 1088_0_createList_InvokeMethod(x1)

Filtered all non-integer terms:

1088_0_createList_InvokeMethod(x1) → 1088_0_createList_InvokeMethod
1014_0_createList_InvokeMethod(x1, x2, x3) → 1014_0_createList_InvokeMethod(x2, x3)

Combined rules. Obtained 1 conditional rules for P and 8 conditional rules for R.

P rules:
722_0_createList_GE(x0) → 818_1_createList_InvokeMethod(722_0_createList_GE(-(x0, 1)), -(x0, 1)) | &&(>(x1, -1), >(x0, -1))
R rules:
722_0_createList_GE(-1) → 727_0_createList_Return
818_1_createList_InvokeMethod(727_0_createList_Return, -1) → 941_0_createList_Return
818_1_createList_InvokeMethod(889_0_createList_InvokeMethod(x0), x0) → 1088_0_createList_InvokeMethod
818_1_createList_InvokeMethod(924_0_createList_InvokeMethod(x0), x0) → 1088_0_createList_InvokeMethod
818_1_createList_InvokeMethod(1014_0_createList_InvokeMethod(x1, x2), x4) → 1088_0_createList_InvokeMethod
818_1_createList_InvokeMethod(1088_0_createList_InvokeMethod, x4) → 1088_0_createList_InvokeMethod
818_1_createList_InvokeMethod(941_0_createList_Return, x1) → 1220_0_createList_Return
818_1_createList_InvokeMethod(1220_0_createList_Return, x1) → 1220_0_createList_Return

Performed bisimulation on rules. Used the following equivalence classes: {[889_0_createList_InvokeMethod_1, 924_0_createList_InvokeMethod_1]=889_0_createList_InvokeMethod_1, [727_0_createList_Return, 941_0_createList_Return, 1088_0_createList_InvokeMethod, 1220_0_createList_Return]=727_0_createList_Return}

Finished conversion. Obtained 2 rules for P and 5 rules for R. System has predefined symbols.

P rules:
722_0_CREATELIST_GE(x0) → COND_722_0_CREATELIST_GE(>(x0, -1), x0)
COND_722_0_CREATELIST_GE(TRUE, x0) → 722_0_CREATELIST_GE(-(x0, 1))
R rules:
722_0_createList_GE(-1) → 727_0_createList_Return
818_1_createList_InvokeMethod(727_0_createList_Return, -1) → 727_0_createList_Return
818_1_createList_InvokeMethod(889_0_createList_InvokeMethod(x0), x0) → 727_0_createList_Return
818_1_createList_InvokeMethod(1014_0_createList_InvokeMethod(x1, x2), x4) → 727_0_createList_Return
818_1_createList_InvokeMethod(727_0_createList_Return, x4) → 727_0_createList_Return

(18) Obligation:

IDP problem:
The following function symbols are pre-defined:

!=	~	Neq: (Integer, Integer) -> Boolean
*	~	Mul: (Integer, Integer) -> Integer
>=	~	Ge: (Integer, Integer) -> Boolean
-1	~	UnaryMinus: (Integer) -> Integer
\|	~	Bwor: (Integer, Integer) -> Integer
/	~	Div: (Integer, Integer) -> Integer
=	~	Eq: (Integer, Integer) -> Boolean
	~	Bwxor: (Integer, Integer) -> Integer
\|\|	~	Lor: (Boolean, Boolean) -> Boolean
!	~	Lnot: (Boolean) -> Boolean
<	~	Lt: (Integer, Integer) -> Boolean
-	~	Sub: (Integer, Integer) -> Integer
<=	~	Le: (Integer, Integer) -> Boolean
>	~	Gt: (Integer, Integer) -> Boolean
~	~	Bwnot: (Integer) -> Integer
%	~	Mod: (Integer, Integer) -> Integer
&	~	Bwand: (Integer, Integer) -> Integer
+	~	Add: (Integer, Integer) -> Integer
&&	~	Land: (Boolean, Boolean) -> Boolean

The following domains are used:

Integer

The ITRS R consists of the following rules:
722_0_createList_GE(-1) → 727_0_createList_Return
818_1_createList_InvokeMethod(727_0_createList_Return, -1) → 727_0_createList_Return
818_1_createList_InvokeMethod(889_0_createList_InvokeMethod(x0), x0) → 727_0_createList_Return
818_1_createList_InvokeMethod(1014_0_createList_InvokeMethod(x1, x2), x4) → 727_0_createList_Return
818_1_createList_InvokeMethod(727_0_createList_Return, x4) → 727_0_createList_Return

The integer pair graph contains the following rules and edges:
(0): 722_0_CREATELIST_GE(x0[0]) → COND_722_0_CREATELIST_GE(x0[0] > -1, x0[0])
(1): COND_722_0_CREATELIST_GE(TRUE, x0[1]) → 722_0_CREATELIST_GE(x0[1] - 1)

(0) -> (1), if (x0[0] > -1 ∧x0[0] →^* x0[1])

(1) -> (0), if (x0[1] - 1 →^* x0[0])

The set Q consists of the following terms:
722_0_createList_GE(-1)
818_1_createList_InvokeMethod(889_0_createList_InvokeMethod(x0), x0)
818_1_createList_InvokeMethod(1014_0_createList_InvokeMethod(x0, x1), x2)
818_1_createList_InvokeMethod(727_0_createList_Return, x0)

(19) IDPNonInfProof (SOUND transformation)

Used the following options for this NonInfProof:
IDPGPoloSolver: Range: [(-1,2)] IsNat: false Interpretation Shape Heuristic: aprove.DPFramework.IDPProblem.Processors.nonInf.poly.IdpCand1ShapeHeuristic@6f1dc409 Constraint Generator: NonInfConstraintGenerator: PathGenerator: MetricPathGenerator: Max Left Steps: 0 Max Right Steps: 0

The constraints were generated the following way:
The DP Problem is simplified using the Induction Calculus [NONINF] with the following steps:
Note that final constraints are written in bold face.

For Pair 722_0_CREATELIST_GE(x0) → COND_722_0_CREATELIST_GE(>(x0, -1), x0) the following chains were created:

We consider the chain 722_0_CREATELIST_GE(x0[0]) → COND_722_0_CREATELIST_GE(>(x0[0], -1), x0[0]), COND_722_0_CREATELIST_GE(TRUE, x0[1]) → 722_0_CREATELIST_GE(-(x0[1], 1)) which results in the following constraint:
(1)    (>(x0[0], -1)=TRUE∧x0[0]=x0[1] ⇒ 722_0_CREATELIST_GE(x0[0])≥NonInfC∧722_0_CREATELIST_GE(x0[0])≥COND_722_0_CREATELIST_GE(>(x0[0], -1), x0[0])∧(U^Increasing(COND_722_0_CREATELIST_GE(>(x0[0], -1), x0[0])), ≥))

We simplified constraint (1) using rule (IV) which results in the following new constraint:
(2)    (>(x0[0], -1)=TRUE ⇒ 722_0_CREATELIST_GE(x0[0])≥NonInfC∧722_0_CREATELIST_GE(x0[0])≥COND_722_0_CREATELIST_GE(>(x0[0], -1), x0[0])∧(U^Increasing(COND_722_0_CREATELIST_GE(>(x0[0], -1), x0[0])), ≥))

We simplified constraint (2) using rule (POLY_CONSTRAINTS) which results in the following new constraint:
(3)    (x0[0] ≥ 0 ⇒ (U^Increasing(COND_722_0_CREATELIST_GE(>(x0[0], -1), x0[0])), ≥)∧[(-1)Bound*bni_13] + [(2)bni_13]x0[0] ≥ 0∧[(-1)bso_14] ≥ 0)

We simplified constraint (3) using rule (IDP_POLY_SIMPLIFY) which results in the following new constraint:
(4)    (x0[0] ≥ 0 ⇒ (U^Increasing(COND_722_0_CREATELIST_GE(>(x0[0], -1), x0[0])), ≥)∧[(-1)Bound*bni_13] + [(2)bni_13]x0[0] ≥ 0∧[(-1)bso_14] ≥ 0)

We simplified constraint (4) using rule (POLY_REMOVE_MIN_MAX) which results in the following new constraint:
(5)    (x0[0] ≥ 0 ⇒ (U^Increasing(COND_722_0_CREATELIST_GE(>(x0[0], -1), x0[0])), ≥)∧[(-1)Bound*bni_13] + [(2)bni_13]x0[0] ≥ 0∧[(-1)bso_14] ≥ 0)

For Pair COND_722_0_CREATELIST_GE(TRUE, x0) → 722_0_CREATELIST_GE(-(x0, 1)) the following chains were created:

We consider the chain COND_722_0_CREATELIST_GE(TRUE, x0[1]) → 722_0_CREATELIST_GE(-(x0[1], 1)) which results in the following constraint:
(6)    (COND_722_0_CREATELIST_GE(TRUE, x0[1])≥NonInfC∧COND_722_0_CREATELIST_GE(TRUE, x0[1])≥722_0_CREATELIST_GE(-(x0[1], 1))∧(U^Increasing(722_0_CREATELIST_GE(-(x0[1], 1))), ≥))

We simplified constraint (6) using rule (POLY_CONSTRAINTS) which results in the following new constraint:
(7)    ((U^Increasing(722_0_CREATELIST_GE(-(x0[1], 1))), ≥)∧[bni_15] = 0∧[2 + (-1)bso_16] ≥ 0)

We simplified constraint (7) using rule (IDP_POLY_SIMPLIFY) which results in the following new constraint:
(8)    ((U^Increasing(722_0_CREATELIST_GE(-(x0[1], 1))), ≥)∧[bni_15] = 0∧[2 + (-1)bso_16] ≥ 0)

We simplified constraint (8) using rule (POLY_REMOVE_MIN_MAX) which results in the following new constraint:
(9)    ((U^Increasing(722_0_CREATELIST_GE(-(x0[1], 1))), ≥)∧[bni_15] = 0∧[2 + (-1)bso_16] ≥ 0)

We simplified constraint (9) using rule (IDP_UNRESTRICTED_VARS) which results in the following new constraint:
(10)    ((U^Increasing(722_0_CREATELIST_GE(-(x0[1], 1))), ≥)∧[bni_15] = 0∧0 = 0∧[2 + (-1)bso_16] ≥ 0)

To summarize, we get the following constraints P_≥ for the following pairs.

722_0_CREATELIST_GE(x0) → COND_722_0_CREATELIST_GE(>(x0, -1), x0)
- (x0[0] ≥ 0 ⇒ (U^Increasing(COND_722_0_CREATELIST_GE(>(x0[0], -1), x0[0])), ≥)∧[(-1)Bound*bni_13] + [(2)bni_13]x0[0] ≥ 0∧[(-1)bso_14] ≥ 0)
COND_722_0_CREATELIST_GE(TRUE, x0) → 722_0_CREATELIST_GE(-(x0, 1))
- ((U^Increasing(722_0_CREATELIST_GE(-(x0[1], 1))), ≥)∧[bni_15] = 0∧0 = 0∧[2 + (-1)bso_16] ≥ 0)

The constraints for P_> respective P_bound are constructed from P_≥ where we just replace every occurence of "t ≥ s" in P_≥ by "t > s" respective "t ≥ c". Here c stands for the fresh constant used for P_bound.
Using the following integer polynomial ordering the resulting constraints can be solved
Polynomial interpretation over integers[POLO]:

POL(TRUE) = 0
POL(FALSE) = 0
POL(722_0_createList_GE(x₁)) = [-1]
POL(-1) = [-1]
POL(727_0_createList_Return) = [-1]
POL(818_1_createList_InvokeMethod(x₁, x₂)) = [-1]
POL(889_0_createList_InvokeMethod(x₁)) = [-1]
POL(1014_0_createList_InvokeMethod(x₁, x₂)) = [-1]
POL(722_0_CREATELIST_GE(x₁)) = [2]x₁
POL(COND_722_0_CREATELIST_GE(x₁, x₂)) = [2]x₂
POL(>(x₁, x₂)) = [-1]
POL(-(x₁, x₂)) = x₁ + [-1]x₂
POL(1) = [1]

The following pairs are in P_>:

COND_722_0_CREATELIST_GE(TRUE, x0[1]) → 722_0_CREATELIST_GE(-(x0[1], 1))

The following pairs are in P_bound:

722_0_CREATELIST_GE(x0[0]) → COND_722_0_CREATELIST_GE(>(x0[0], -1), x0[0])

The following pairs are in P_≥:

722_0_CREATELIST_GE(x0[0]) → COND_722_0_CREATELIST_GE(>(x0[0], -1), x0[0])

There are no usable rules.

(20) Complex Obligation (AND)

(21) Obligation:

IDP problem:
The following function symbols are pre-defined:

!=	~	Neq: (Integer, Integer) -> Boolean
*	~	Mul: (Integer, Integer) -> Integer
>=	~	Ge: (Integer, Integer) -> Boolean
-1	~	UnaryMinus: (Integer) -> Integer
\|	~	Bwor: (Integer, Integer) -> Integer
/	~	Div: (Integer, Integer) -> Integer
=	~	Eq: (Integer, Integer) -> Boolean
	~	Bwxor: (Integer, Integer) -> Integer
\|\|	~	Lor: (Boolean, Boolean) -> Boolean
!	~	Lnot: (Boolean) -> Boolean
<	~	Lt: (Integer, Integer) -> Boolean
-	~	Sub: (Integer, Integer) -> Integer
<=	~	Le: (Integer, Integer) -> Boolean
>	~	Gt: (Integer, Integer) -> Boolean
~	~	Bwnot: (Integer) -> Integer
%	~	Mod: (Integer, Integer) -> Integer
&	~	Bwand: (Integer, Integer) -> Integer
+	~	Add: (Integer, Integer) -> Integer
&&	~	Land: (Boolean, Boolean) -> Boolean

The following domains are used:

Integer

The ITRS R consists of the following rules:
722_0_createList_GE(-1) → 727_0_createList_Return
818_1_createList_InvokeMethod(727_0_createList_Return, -1) → 727_0_createList_Return
818_1_createList_InvokeMethod(889_0_createList_InvokeMethod(x0), x0) → 727_0_createList_Return
818_1_createList_InvokeMethod(1014_0_createList_InvokeMethod(x1, x2), x4) → 727_0_createList_Return
818_1_createList_InvokeMethod(727_0_createList_Return, x4) → 727_0_createList_Return

The integer pair graph contains the following rules and edges:
(0): 722_0_CREATELIST_GE(x0[0]) → COND_722_0_CREATELIST_GE(x0[0] > -1, x0[0])

The set Q consists of the following terms:
722_0_createList_GE(-1)
818_1_createList_InvokeMethod(889_0_createList_InvokeMethod(x0), x0)
818_1_createList_InvokeMethod(1014_0_createList_InvokeMethod(x0, x1), x2)
818_1_createList_InvokeMethod(727_0_createList_Return, x0)

(22) IDependencyGraphProof (EQUIVALENT transformation)

The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 0 SCCs with 1 less node.

(23) TRUE

(24) Obligation:

IDP problem:
The following function symbols are pre-defined:

!=	~	Neq: (Integer, Integer) -> Boolean
*	~	Mul: (Integer, Integer) -> Integer
>=	~	Ge: (Integer, Integer) -> Boolean
-1	~	UnaryMinus: (Integer) -> Integer
\|	~	Bwor: (Integer, Integer) -> Integer
/	~	Div: (Integer, Integer) -> Integer
=	~	Eq: (Integer, Integer) -> Boolean
	~	Bwxor: (Integer, Integer) -> Integer
\|\|	~	Lor: (Boolean, Boolean) -> Boolean
!	~	Lnot: (Boolean) -> Boolean
<	~	Lt: (Integer, Integer) -> Boolean
-	~	Sub: (Integer, Integer) -> Integer
<=	~	Le: (Integer, Integer) -> Boolean
>	~	Gt: (Integer, Integer) -> Boolean
~	~	Bwnot: (Integer) -> Integer
%	~	Mod: (Integer, Integer) -> Integer
&	~	Bwand: (Integer, Integer) -> Integer
+	~	Add: (Integer, Integer) -> Integer
&&	~	Land: (Boolean, Boolean) -> Boolean

The following domains are used:

Integer

The ITRS R consists of the following rules:
722_0_createList_GE(-1) → 727_0_createList_Return
818_1_createList_InvokeMethod(727_0_createList_Return, -1) → 727_0_createList_Return
818_1_createList_InvokeMethod(889_0_createList_InvokeMethod(x0), x0) → 727_0_createList_Return
818_1_createList_InvokeMethod(1014_0_createList_InvokeMethod(x1, x2), x4) → 727_0_createList_Return
818_1_createList_InvokeMethod(727_0_createList_Return, x4) → 727_0_createList_Return

The integer pair graph contains the following rules and edges:
(1): COND_722_0_CREATELIST_GE(TRUE, x0[1]) → 722_0_CREATELIST_GE(x0[1] - 1)

The set Q consists of the following terms:
722_0_createList_GE(-1)
818_1_createList_InvokeMethod(889_0_createList_InvokeMethod(x0), x0)
818_1_createList_InvokeMethod(1014_0_createList_InvokeMethod(x0, x1), x2)
818_1_createList_InvokeMethod(727_0_createList_Return, x0)

(25) IDependencyGraphProof (EQUIVALENT transformation)

The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 0 SCCs with 1 less node.

(0) Obligation:

(1) JBCToGraph (SOUND transformation)

(2) Obligation:

(3) TerminationGraphToSCCProof (SOUND transformation)

(4) Complex Obligation (AND)

(5) Obligation:

(6) SCCToIDPv1Proof (SOUND transformation)

(7) Obligation:

(8) IDPtoQDPProof (SOUND transformation)

(9) Obligation:

(10) UsableRulesProof (EQUIVALENT transformation)

(11) Obligation:

(12) QReductionProof (EQUIVALENT transformation)

(13) Obligation:

(14) QDPSizeChangeProof (EQUIVALENT transformation)

(15) YES

(16) Obligation:

(17) SCCToIDPv1Proof (SOUND transformation)

(18) Obligation:

(19) IDPNonInfProof (SOUND transformation)

(20) Complex Obligation (AND)

(21) Obligation:

(22) IDependencyGraphProof (EQUIVALENT transformation)

(23) TRUE

(24) Obligation:

(25) IDependencyGraphProof (EQUIVALENT transformation)

(26) TRUE