Termination proof of /tmp/tmpCufWDi/CountMetaList.jar

Termination of the given JBC could be proven:

0 JBC

↳1 JBCToGraph (⇒, 1080 ms)

↳2 JBCTerminationGraph

↳3 TerminationGraphToSCCProof (⇒, 0 ms)

↳4 AND

    ↳5 JBCTerminationSCC

        ↳6 SCCToIntTRSProof (⇒, 67 ms)

        ↳7 intTRS

        ↳8 PolynomialOrderProcessor (⇒, 0 ms)

        ↳9 intTRS

        ↳10 PolynomialOrderProcessor (⇔, 0 ms)

        ↳11 YES

    ↳12 JBCTerminationSCC

        ↳13 SCCToIDPv1Proof (⇒, 793 ms)

        ↳14 IDP

        ↳15 IDPtoQDPProof (⇒, 0 ms)

        ↳16 QDP

        ↳17 UsableRulesReductionPairsProof (⇔, 30 ms)

        ↳18 QDP

        ↳19 MRRProof (⇔, 0 ms)

        ↳20 QDP

        ↳21 PisEmptyProof (⇔, 0 ms)

        ↳22 YES

(0) Obligation:

JBC Problem based on JBC Program:

public class CountMetaList {
	public static void main(String[] args) {
		Random.args = args;
		List l = createMetaList();

		int count = countMetaList(l);
	}

	public static int countMetaList(List cur) {
		int res = 0;
		while (cur != null) {
			if (cur.value instanceof List) {
				List inner = (List) cur.value;
				cur.value = inner.next;
				cur = new List(inner.value, cur);
			}
			cur = cur.next;
			res++;
		}

		return res;
	}

	public static List createMetaList() {
		int count = Random.random();
		List cur = null;
		for (int i = 0; i < count; i++) {
			int innerCount = Random.random();
			List innerList = null;
			for (int j = innerCount; j > 0; j--) {
				innerList = new List(null, innerList);
			}
			cur = new List(innerList, cur);
		}

		return cur;
	}
}

class List {
	Object value;
	List next;

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


public 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:
CountMetaList.main([Ljava/lang/String;)V: Graph of 199 nodes with 1 SCC.

CountMetaList.createMetaList()LList;: Graph of 195 nodes with 1 SCC.

(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: CountMetaList.createMetaList()LList;
SCC calls the following helper methods:
Performed SCC analyses:

Used field analysis yielded the following read fields:
- java.lang.String: [count]
Marker field analysis yielded the following relations that could be markers:

(6) SCCToIntTRSProof (SOUND transformation)

Transformed FIGraph SCCs to intTRSs. Log:

Generated rules. Obtained 69 IRules

P rules:
f3049_0_createMetaList_Load(EOS, i85, i548, i548) → f3053_0_createMetaList_GE(EOS, i85, i548, i548, i85)
f3053_0_createMetaList_GE(EOS, i85, i548, i548, i85) → f3057_0_createMetaList_GE(EOS, i85, i548, i548, i85)
f3057_0_createMetaList_GE(EOS, i85, i548, i548, i85) → f3069_0_createMetaList_InvokeMethod(EOS, i85, i548) | <(i548, i85)
f3069_0_createMetaList_InvokeMethod(EOS, i85, i548) → f3077_0_random_FieldAccess(EOS, i85, i548)
f3077_0_random_FieldAccess(EOS, i85, i548) → f3115_0_random_FieldAccess(EOS, i85, i548)
f3115_0_random_FieldAccess(EOS, i85, i548) → f3121_0_random_ArrayAccess(EOS, i85, i548)
f3121_0_random_ArrayAccess(EOS, i85, i548) → f3127_0_random_ArrayAccess(EOS, i85, i548)
f3127_0_random_ArrayAccess(EOS, i85, i548) → f3145_0_random_Store(EOS, i85, i548, o1709)
f3145_0_random_Store(EOS, i85, i548, o1709) → f3157_0_random_FieldAccess(EOS, i85, i548, o1709)
f3157_0_random_FieldAccess(EOS, i85, i548, o1709) → f3186_0_random_ConstantStackPush(EOS, i85, i548, o1709)
f3186_0_random_ConstantStackPush(EOS, i85, i548, o1709) → f3194_0_random_IntArithmetic(EOS, i85, i548, o1709)
f3194_0_random_IntArithmetic(EOS, i85, i548, o1709) → f3203_0_random_FieldAccess(EOS, i85, i548, o1709)
f3203_0_random_FieldAccess(EOS, i85, i548, o1709) → f3214_0_random_Load(EOS, i85, i548, o1709)
f3214_0_random_Load(EOS, i85, i548, o1709) → f3225_0_random_InvokeMethod(EOS, i85, i548, o1709)
f3225_0_random_InvokeMethod(EOS, i85, i548, java.lang.Object(o1806sub)) → f3234_0_random_InvokeMethod(EOS, i85, i548, java.lang.Object(o1806sub))
f3234_0_random_InvokeMethod(EOS, i85, i548, java.lang.Object(o1806sub)) → f3245_0_length_Load(EOS, i85, i548, java.lang.Object(o1806sub), java.lang.Object(o1806sub))
f3245_0_length_Load(EOS, i85, i548, java.lang.Object(o1806sub), java.lang.Object(o1806sub)) → f3274_0_length_FieldAccess(EOS, i85, i548, java.lang.Object(o1806sub), java.lang.Object(o1806sub))
f3274_0_length_FieldAccess(EOS, i85, i548, java.lang.Object(java.lang.String(o1850sub, i606)), java.lang.Object(java.lang.String(o1850sub, i606))) → f3279_0_length_FieldAccess(EOS, i85, i548, java.lang.Object(java.lang.String(o1850sub, i606)), java.lang.Object(java.lang.String(o1850sub, i606))) | >=(i606, 0)
f3279_0_length_FieldAccess(EOS, i85, i548, java.lang.Object(java.lang.String(o1850sub, i606)), java.lang.Object(java.lang.String(o1850sub, i606))) → f3292_0_length_Return(EOS, i85, i548, java.lang.Object(java.lang.String(o1850sub, i606)), i606)
f3292_0_length_Return(EOS, i85, i548, java.lang.Object(java.lang.String(o1850sub, i606)), i606) → f3302_0_random_Return(EOS, i85, i548, i606)
f3302_0_random_Return(EOS, i85, i548, i606) → f3322_0_createMetaList_Store(EOS, i85, i548, i606)
f3322_0_createMetaList_Store(EOS, i85, i548, i606) → f3333_0_createMetaList_ConstantStackPush(EOS, i85, i548, i606)
f3333_0_createMetaList_ConstantStackPush(EOS, i85, i548, i606) → f3345_0_createMetaList_Store(EOS, i85, i548, i606)
f3345_0_createMetaList_Store(EOS, i85, i548, i606) → f3361_0_createMetaList_Load(EOS, i85, i548, i606)
f3361_0_createMetaList_Load(EOS, i85, i548, i606) → f3374_0_createMetaList_Store(EOS, i85, i548, i606)
f3374_0_createMetaList_Store(EOS, i85, i548, i606) → f3391_0_createMetaList_Load(EOS, i85, i548, i606)
f3391_0_createMetaList_Load(EOS, i85, i548, i606) → f3829_0_createMetaList_Load(EOS, i85, i548, i606)
f3829_0_createMetaList_Load(EOS, i85, i548, i704) → f3848_0_createMetaList_LE(EOS, i85, i548, i704, i704)
f3848_0_createMetaList_LE(EOS, i85, i548, matching1, matching2) → f3851_0_createMetaList_LE(EOS, i85, i548, 0, 0) | &&(=(matching1, 0), =(matching2, 0))
f3848_0_createMetaList_LE(EOS, i85, i548, i708, i708) → f3852_0_createMetaList_LE(EOS, i85, i548, i708, i708)
f3851_0_createMetaList_LE(EOS, i85, i548, matching1, matching2) → f3860_0_createMetaList_New(EOS, i85, i548) | &&(&&(<=(0, 0), =(matching1, 0)), =(matching2, 0))
f3860_0_createMetaList_New(EOS, i85, i548) → f3884_0_createMetaList_Duplicate(EOS, i85, i548)
f3884_0_createMetaList_Duplicate(EOS, i85, i548) → f3891_0_createMetaList_Load(EOS, i85, i548)
f3891_0_createMetaList_Load(EOS, i85, i548) → f3899_0_createMetaList_Load(EOS, i85, i548)
f3899_0_createMetaList_Load(EOS, i85, i548) → f3909_0_createMetaList_InvokeMethod(EOS, i85, i548)
f3909_0_createMetaList_InvokeMethod(EOS, i85, i548) → f3917_0__init__Load(EOS, i85, i548)
f3917_0__init__Load(EOS, i85, i548) → f3933_0__init__InvokeMethod(EOS, i85, i548)
f3933_0__init__InvokeMethod(EOS, i85, i548) → f3947_0__init__Load(EOS, i85, i548)
f3947_0__init__Load(EOS, i85, i548) → f3954_0__init__Load(EOS, i85, i548)
f3954_0__init__Load(EOS, i85, i548) → f3959_0__init__FieldAccess(EOS, i85, i548)
f3959_0__init__FieldAccess(EOS, i85, i548) → f3967_0__init__Load(EOS, i85, i548)
f3967_0__init__Load(EOS, i85, i548) → f3978_0__init__Load(EOS, i85, i548)
f3978_0__init__Load(EOS, i85, i548) → f3986_0__init__FieldAccess(EOS, i85, i548)
f3986_0__init__FieldAccess(EOS, i85, i548) → f3998_0__init__Return(EOS, i85, i548)
f3998_0__init__Return(EOS, i85, i548) → f4009_0_createMetaList_Store(EOS, i85, i548)
f4009_0_createMetaList_Store(EOS, i85, i548) → f4023_0_createMetaList_Inc(EOS, i85, i548)
f4023_0_createMetaList_Inc(EOS, i85, i548) → f4036_0_createMetaList_JMP(EOS, i85, +(i548, 1)) | >=(i548, 0)
f4036_0_createMetaList_JMP(EOS, i85, i715) → f4062_0_createMetaList_Load(EOS, i85, i715)
f4062_0_createMetaList_Load(EOS, i85, i715) → f3039_0_createMetaList_Load(EOS, i85, i715)
f3039_0_createMetaList_Load(EOS, i85, i548) → f3049_0_createMetaList_Load(EOS, i85, i548, i548)
f3852_0_createMetaList_LE(EOS, i85, i548, i708, i708) → f3879_0_createMetaList_New(EOS, i85, i548, i708) | >(i708, 0)
f3879_0_createMetaList_New(EOS, i85, i548, i708) → f3887_0_createMetaList_Duplicate(EOS, i85, i548, i708)
f3887_0_createMetaList_Duplicate(EOS, i85, i548, i708) → f3894_0_createMetaList_ConstantStackPush(EOS, i85, i548, i708)
f3894_0_createMetaList_ConstantStackPush(EOS, i85, i548, i708) → f3904_0_createMetaList_Load(EOS, i85, i548, i708)
f3904_0_createMetaList_Load(EOS, i85, i548, i708) → f3912_0_createMetaList_InvokeMethod(EOS, i85, i548, i708)
f3912_0_createMetaList_InvokeMethod(EOS, i85, i548, i708) → f3920_0__init__Load(EOS, i85, i548, i708)
f3920_0__init__Load(EOS, i85, i548, i708) → f3937_0__init__InvokeMethod(EOS, i85, i548, i708)
f3937_0__init__InvokeMethod(EOS, i85, i548, i708) → f3951_0__init__Load(EOS, i85, i548, i708)
f3951_0__init__Load(EOS, i85, i548, i708) → f3957_0__init__Load(EOS, i85, i548, i708)
f3957_0__init__Load(EOS, i85, i548, i708) → f3962_0__init__FieldAccess(EOS, i85, i548, i708)
f3962_0__init__FieldAccess(EOS, i85, i548, i708) → f3973_0__init__Load(EOS, i85, i548, i708)
f3973_0__init__Load(EOS, i85, i548, i708) → f3982_0__init__Load(EOS, i85, i548, i708)
f3982_0__init__Load(EOS, i85, i548, i708) → f3992_0__init__FieldAccess(EOS, i85, i548, i708)
f3992_0__init__FieldAccess(EOS, i85, i548, i708) → f4000_0__init__Return(EOS, i85, i548, i708)
f4000_0__init__Return(EOS, i85, i548, i708) → f4015_0_createMetaList_Store(EOS, i85, i548, i708)
f4015_0_createMetaList_Store(EOS, i85, i548, i708) → f4027_0_createMetaList_Inc(EOS, i85, i548, i708)
f4027_0_createMetaList_Inc(EOS, i85, i548, i708) → f4053_0_createMetaList_JMP(EOS, i85, i548, +(i708, -1)) | >(i708, 0)
f4053_0_createMetaList_JMP(EOS, i85, i548, i716) → f4075_0_createMetaList_Load(EOS, i85, i548, i716)
f4075_0_createMetaList_Load(EOS, i85, i548, i716) → f3829_0_createMetaList_Load(EOS, i85, i548, i716)

Combined rules. Obtained 2 IRules

P rules:
f3848_0_createMetaList_LE(EOS, x0, x1, 0, 0) → f3848_0_createMetaList_LE(EOS, x0, +(x1, 1), x4, x4) | &&(&&(>(+(x4, 1), 0), <(+(x1, 1), x0)), >(+(x1, 1), 0))
f3848_0_createMetaList_LE(EOS, x0, x1, x2, x2) → f3848_0_createMetaList_LE(EOS, x0, x1, -(x2, 1), -(x2, 1)) | >(x2, 0)

Filtered ground terms:

f3848_0_createMetaList_LE(x1, x2, x3, x4, x5) → f3848_0_createMetaList_LE(x2, x3, x4, x5)
Cond_f3848_0_createMetaList_LE(x1, x2, x3, x4, x5, x6, x7) → Cond_f3848_0_createMetaList_LE(x1, x3, x4, x7)
Cond_f3848_0_createMetaList_LE1(x1, x2, x3, x4, x5, x6) → Cond_f3848_0_createMetaList_LE1(x1, x3, x4, x5, x6)

Filtered duplicate terms:

f3848_0_createMetaList_LE(x1, x2, x3, x4) → f3848_0_createMetaList_LE(x1, x2, x4)
Cond_f3848_0_createMetaList_LE1(x1, x2, x3, x4, x5) → Cond_f3848_0_createMetaList_LE1(x1, x2, x3, x5)

Prepared 2 rules for path length conversion:

P rules:
f3848_0_createMetaList_LE(x0, x1, 0) → f3848_0_createMetaList_LE(x0, +(x1, 1), x4) | &&(&&(>(+(x4, 1), 0), <(+(x1, 1), x0)), >(+(x1, 1), 0))
f3848_0_createMetaList_LE(x0, x1, x2) → f3848_0_createMetaList_LE(x0, x1, -(x2, 1)) | >(x2, 0)

Finished conversion. Obtained 2 rules.

P rules:
f3848_0_createMetaList_LE(x0, x1, c0) → f3848_0_createMetaList_LE(x0, +(x1, 1), x2) | &&(&&(&&(>(x2, -1), <(+(x1, 1), x0)), >(x1, -1)), =(0, c0))
f3848_0_createMetaList_LE(x3, x4, x5) → f3848_0_createMetaList_LE(x3, x4, -(x5, 1)) | >(x5, 0)

(7) Obligation:

Rules:
f3848_0_createMetaList_LE(x0, x1, c0) → f3848_0_createMetaList_LE(x0, +(x1, 1), x2) | &&(&&(&&(>(x2, -1), <(+(x1, 1), x0)), >(x1, -1)), =(0, c0))
f3848_0_createMetaList_LE(x3, x4, x5) → f3848_0_createMetaList_LE(x3, x4, -(x5, 1)) | >(x5, 0)

(8) PolynomialOrderProcessor (SOUND transformation)

Found the following polynomial interpretation:

[f3848_0_createMetaList_LE(x8, x10, x12)] = -1 - x10 + x8

Therefore the following rule(s) have been dropped:

f3848_0_createMetaList_LE(x0, x1, x2) → f3848_0_createMetaList_LE(x0, +(x1, 1), x3) | &&(&&(&&(>(x3, -1), <(+(x1, 1), x0)), >(x1, -1)), =(0, x2))

(9) Obligation:

Rules:
f3848_0_createMetaList_LE(x4, x5, x6) → f3848_0_createMetaList_LE(x4, x5, -(x6, 1)) | >(x6, 0)

(10) PolynomialOrderProcessor (EQUIVALENT transformation)

Found the following polynomial interpretation:

[f3848_0_createMetaList_LE(x4, x6, x8)] = x8

Therefore the following rule(s) have been dropped:

f3848_0_createMetaList_LE(x0, x1, x2) → f3848_0_createMetaList_LE(x0, x1, -(x2, 1)) | >(x2, 0)

(11) YES

(12) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: CountMetaList.main([Ljava/lang/String;)V
SCC calls the following helper methods:
Performed SCC analyses:

Used field analysis yielded the following read fields:
- List: [value, next]
Marker field analysis yielded the following relations that could be markers:

(13) SCCToIDPv1Proof (SOUND transformation)

Transformed FIGraph SCCs to IDPs. Log:

Generated 137 rules for P and 0 rules for R.

P rules:
f3685_0_countMetaList_NULL(EOS(STATIC_3685), o2149, java.lang.Object(o2167sub), java.lang.Object(o2167sub)) → f3690_0_countMetaList_NULL(EOS(STATIC_3690), o2149, java.lang.Object(o2167sub), java.lang.Object(o2167sub))
f3690_0_countMetaList_NULL(EOS(STATIC_3690), o2149, java.lang.Object(o2167sub), java.lang.Object(o2167sub)) → f3694_0_countMetaList_Load(EOS(STATIC_3694), o2149, java.lang.Object(o2167sub))
f3694_0_countMetaList_Load(EOS(STATIC_3694), o2149, java.lang.Object(o2167sub)) → f3703_0_countMetaList_FieldAccess(EOS(STATIC_3703), o2149, java.lang.Object(o2167sub), java.lang.Object(o2167sub))
f3703_0_countMetaList_FieldAccess(EOS(STATIC_3703), o2149, java.lang.Object(o2167sub), java.lang.Object(o2167sub)) → f3714_0_countMetaList_FieldAccess(EOS(STATIC_3714), o2149, java.lang.Object(o2167sub), java.lang.Object(o2167sub))
f3703_0_countMetaList_FieldAccess(EOS(STATIC_3703), java.lang.Object(o2178sub), java.lang.Object(o2178sub), java.lang.Object(o2178sub)) → f3715_0_countMetaList_FieldAccess(EOS(STATIC_3715), java.lang.Object(o2178sub), java.lang.Object(o2178sub), java.lang.Object(o2178sub))
f3714_0_countMetaList_FieldAccess(EOS(STATIC_3714), o2149, java.lang.Object(List(EOC, o2180, o2181)), java.lang.Object(List(EOC, o2180, o2181))) → f3721_0_countMetaList_FieldAccess(EOS(STATIC_3721), o2149, java.lang.Object(List(EOC, o2180, o2181)), java.lang.Object(List(EOC, o2180, o2181)))
f3721_0_countMetaList_FieldAccess(EOS(STATIC_3721), o2149, java.lang.Object(List(EOC, o2180, o2181)), java.lang.Object(List(EOC, o2180, o2181))) → f3742_0_countMetaList_CheckCast(EOS(STATIC_3742), o2149, java.lang.Object(List(EOC, o2180, o2181)), o2180)
f3742_0_countMetaList_CheckCast(EOS(STATIC_3742), o2149, java.lang.Object(List(EOC, java.lang.Object(o2216sub), o2181)), java.lang.Object(o2216sub)) → f3769_0_countMetaList_CheckCast(EOS(STATIC_3769), o2149, java.lang.Object(List(EOC, java.lang.Object(o2216sub), o2181)), java.lang.Object(o2216sub))
f3742_0_countMetaList_CheckCast(EOS(STATIC_3742), o2149, java.lang.Object(List(EOC, NULL, o2181)), NULL) → f3770_0_countMetaList_CheckCast(EOS(STATIC_3770), o2149, java.lang.Object(List(EOC, NULL, o2181)), NULL)
f3769_0_countMetaList_CheckCast(EOS(STATIC_3769), o2149, java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), java.lang.Object(o2220sub)) → f3785_0_countMetaList_CheckCast(EOS(STATIC_3785), o2149, java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), java.lang.Object(o2220sub))
f3769_0_countMetaList_CheckCast(EOS(STATIC_3769), o2149, java.lang.Object(List(EOC, java.lang.Object(o2221sub), o2181)), java.lang.Object(o2221sub)) → f3786_0_countMetaList_CheckCast(EOS(STATIC_3786), o2149, java.lang.Object(List(EOC, java.lang.Object(o2221sub), o2181)), java.lang.Object(o2221sub))
f3785_0_countMetaList_CheckCast(EOS(STATIC_3785), o2149, java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), java.lang.Object(o2220sub)) → f3817_0_countMetaList_EQ(EOS(STATIC_3817), o2149, java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), 1)
f3817_0_countMetaList_EQ(EOS(STATIC_3817), o2149, java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), matching1) → f3885_0_countMetaList_Load(EOS(STATIC_3885), o2149, java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181))) | &&(>(1, 0), =(matching1, 1))
f3885_0_countMetaList_Load(EOS(STATIC_3885), o2149, java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181))) → f3911_0_countMetaList_FieldAccess(EOS(STATIC_3911), o2149, java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)))
f3911_0_countMetaList_FieldAccess(EOS(STATIC_3911), o2149, java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181))) → f3935_0_countMetaList_CheckCast(EOS(STATIC_3935), o2149, java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), java.lang.Object(o2220sub))
f3935_0_countMetaList_CheckCast(EOS(STATIC_3935), o2149, java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), java.lang.Object(o2220sub)) → f3960_0_countMetaList_Store(EOS(STATIC_3960), o2149, java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), java.lang.Object(o2220sub))
f3960_0_countMetaList_Store(EOS(STATIC_3960), o2149, java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), java.lang.Object(o2220sub)) → f3980_0_countMetaList_Load(EOS(STATIC_3980), o2149, java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), java.lang.Object(o2220sub))
f3980_0_countMetaList_Load(EOS(STATIC_3980), o2149, java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), java.lang.Object(o2220sub)) → f3999_0_countMetaList_Load(EOS(STATIC_3999), o2149, java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), java.lang.Object(o2220sub), java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)))
f3999_0_countMetaList_Load(EOS(STATIC_3999), o2149, java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), java.lang.Object(o2220sub), java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181))) → f4026_0_countMetaList_FieldAccess(EOS(STATIC_4026), o2149, java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), java.lang.Object(o2220sub), java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), java.lang.Object(o2220sub))
f4026_0_countMetaList_FieldAccess(EOS(STATIC_4026), o2149, java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), java.lang.Object(o2220sub), java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), java.lang.Object(o2220sub)) → f4050_0_countMetaList_FieldAccess(EOS(STATIC_4050), o2149, java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), java.lang.Object(o2220sub), java.lang.Object(List(EOC, java.lang.Object(o2220sub), o2181)), java.lang.Object(o2220sub))
f4026_0_countMetaList_FieldAccess(EOS(STATIC_4026), java.lang.Object(o2455sub), java.lang.Object(List(EOC, java.lang.Object(o2455sub), o2181)), java.lang.Object(o2455sub), java.lang.Object(List(EOC, java.lang.Object(o2455sub), o2181)), java.lang.Object(o2455sub)) → f4051_0_countMetaList_FieldAccess(EOS(STATIC_4051), java.lang.Object(o2455sub), java.lang.Object(List(EOC, java.lang.Object(o2455sub), o2181)), java.lang.Object(o2455sub), java.lang.Object(List(EOC, java.lang.Object(o2455sub), o2181)), java.lang.Object(o2455sub))
f4050_0_countMetaList_FieldAccess(EOS(STATIC_4050), o2149, java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2464, o2465)), o2181)), java.lang.Object(List(EOC, o2464, o2465)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2464, o2465)), o2181)), java.lang.Object(List(EOC, o2464, o2465))) → f4066_0_countMetaList_FieldAccess(EOS(STATIC_4066), o2149, java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2464, o2465)), o2181)), java.lang.Object(List(EOC, o2464, o2465)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2464, o2465)), o2181)), java.lang.Object(List(EOC, o2464, o2465)))
f4066_0_countMetaList_FieldAccess(EOS(STATIC_4066), o2149, java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2464, o2465)), o2181)), java.lang.Object(List(EOC, o2464, o2465)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2464, o2465)), o2181)), java.lang.Object(List(EOC, o2464, o2465))) → f4086_0_countMetaList_FieldAccess(EOS(STATIC_4086), o2149, java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2464, o2465)), o2181)), java.lang.Object(List(EOC, o2464, o2465)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2464, o2465)), o2181)), o2465)
f4086_0_countMetaList_FieldAccess(EOS(STATIC_4086), o2149, java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2464, o2465)), o2181)), java.lang.Object(List(EOC, o2464, o2465)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2464, o2465)), o2181)), o2465) → f4104_0_countMetaList_New(EOS(STATIC_4104), o2149put, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, o2464, o2465)))
f4104_0_countMetaList_New(EOS(STATIC_4104), o2149, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, o2464, o2465))) → f4116_0_countMetaList_Duplicate(EOS(STATIC_4116), o2149, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, o2464, o2465)), java.lang.Object(List(EOC, NULL, NULL)))
f4116_0_countMetaList_Duplicate(EOS(STATIC_4116), o2149, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, o2464, o2465)), java.lang.Object(List(EOC, NULL, NULL))) → f4125_0_countMetaList_Load(EOS(STATIC_4125), o2149, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, o2464, o2465)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)))
f4125_0_countMetaList_Load(EOS(STATIC_4125), o2149, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, o2464, o2465)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) → f4137_0_countMetaList_FieldAccess(EOS(STATIC_4137), o2149, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, o2464, o2465)))
f4137_0_countMetaList_FieldAccess(EOS(STATIC_4137), o2149, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, o2464, o2465))) → f4147_0_countMetaList_Load(EOS(STATIC_4147), o2149, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2464)
f4147_0_countMetaList_Load(EOS(STATIC_4147), o2149, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2464) → f4158_0_countMetaList_InvokeMethod(EOS(STATIC_4158), o2149, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)))
f4158_0_countMetaList_InvokeMethod(EOS(STATIC_4158), o2149, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181))) → f4166_0__init__Load(EOS(STATIC_4166), o2149, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, NULL, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)))
f4166_0__init__Load(EOS(STATIC_4166), o2149, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, NULL, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181))) → f4174_0__init__InvokeMethod(EOS(STATIC_4174), o2149, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, NULL, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, NULL, NULL)))
f4174_0__init__InvokeMethod(EOS(STATIC_4174), o2149, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, NULL, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, NULL, NULL))) → f4185_0__init__Load(EOS(STATIC_4185), o2149, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, NULL, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)))
f4185_0__init__Load(EOS(STATIC_4185), o2149, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, NULL, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181))) → f4197_0__init__Load(EOS(STATIC_4197), o2149, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, NULL, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, NULL, NULL)))
f4197_0__init__Load(EOS(STATIC_4197), o2149, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, NULL, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, NULL, NULL))) → f4207_0__init__FieldAccess(EOS(STATIC_4207), o2149, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, NULL, NULL)), o2464)
f4207_0__init__FieldAccess(EOS(STATIC_4207), o2149, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, NULL, NULL)), o2464) → f4222_0__init__Load(EOS(STATIC_4222), o2149, java.lang.Object(List(EOC, o2464, NULL)), java.lang.Object(List(EOC, o2464, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, o2464, NULL)), java.lang.Object(List(EOC, o2465, o2181)))
f4222_0__init__Load(EOS(STATIC_4222), o2149, java.lang.Object(List(EOC, o2464, NULL)), java.lang.Object(List(EOC, o2464, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, o2464, NULL)), java.lang.Object(List(EOC, o2465, o2181))) → f4238_0__init__Load(EOS(STATIC_4238), o2149, java.lang.Object(List(EOC, o2464, NULL)), java.lang.Object(List(EOC, o2464, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, o2464, NULL)))
f4238_0__init__Load(EOS(STATIC_4238), o2149, java.lang.Object(List(EOC, o2464, NULL)), java.lang.Object(List(EOC, o2464, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, o2464, NULL))) → f4251_0__init__FieldAccess(EOS(STATIC_4251), o2149, java.lang.Object(List(EOC, o2464, NULL)), java.lang.Object(List(EOC, o2464, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, o2464, NULL)), java.lang.Object(List(EOC, o2465, o2181)))
f4251_0__init__FieldAccess(EOS(STATIC_4251), o2149, java.lang.Object(List(EOC, o2464, NULL)), java.lang.Object(List(EOC, o2464, NULL)), o2464, java.lang.Object(List(EOC, o2465, o2181)), java.lang.Object(List(EOC, o2464, NULL)), java.lang.Object(List(EOC, o2465, o2181))) → f4269_0__init__Return(EOS(STATIC_4269), o2149, java.lang.Object(List(EOC, o2464, java.lang.Object(List(EOC, o2465, o2181)))), java.lang.Object(List(EOC, o2464, java.lang.Object(List(EOC, o2465, o2181)))), o2464, java.lang.Object(List(EOC, o2465, o2181)))
f4269_0__init__Return(EOS(STATIC_4269), o2149, java.lang.Object(List(EOC, o2464, java.lang.Object(List(EOC, o2465, o2181)))), java.lang.Object(List(EOC, o2464, java.lang.Object(List(EOC, o2465, o2181)))), o2464, java.lang.Object(List(EOC, o2465, o2181))) → f4280_0_countMetaList_Store(EOS(STATIC_4280), o2149, java.lang.Object(List(EOC, o2464, java.lang.Object(List(EOC, o2465, o2181)))))
f4280_0_countMetaList_Store(EOS(STATIC_4280), o2149, java.lang.Object(List(EOC, o2464, java.lang.Object(List(EOC, o2465, o2181))))) → f4297_0_countMetaList_Load(EOS(STATIC_4297), o2149, java.lang.Object(List(EOC, o2464, java.lang.Object(List(EOC, o2465, o2181)))))
f4297_0_countMetaList_Load(EOS(STATIC_4297), o2149, java.lang.Object(List(EOC, o2464, java.lang.Object(List(EOC, o2465, o2181))))) → f4322_0_countMetaList_FieldAccess(EOS(STATIC_4322), o2149, java.lang.Object(List(EOC, o2464, java.lang.Object(List(EOC, o2465, o2181)))))
f4322_0_countMetaList_FieldAccess(EOS(STATIC_4322), o2149, java.lang.Object(List(EOC, o2464, java.lang.Object(List(EOC, o2465, o2181))))) → f4335_0_countMetaList_Store(EOS(STATIC_4335), o2149, java.lang.Object(List(EOC, o2465, o2181)))
f4335_0_countMetaList_Store(EOS(STATIC_4335), o2149, java.lang.Object(List(EOC, o2465, o2181))) → f4345_0_countMetaList_Inc(EOS(STATIC_4345), o2149, java.lang.Object(List(EOC, o2465, o2181)))
f4345_0_countMetaList_Inc(EOS(STATIC_4345), o2149, java.lang.Object(List(EOC, o2465, o2181))) → f4356_0_countMetaList_JMP(EOS(STATIC_4356), o2149, java.lang.Object(List(EOC, o2465, o2181)))
f4356_0_countMetaList_JMP(EOS(STATIC_4356), o2149, java.lang.Object(List(EOC, o2465, o2181))) → f4366_0_countMetaList_Load(EOS(STATIC_4366), o2149, java.lang.Object(List(EOC, o2465, o2181)))
f4366_0_countMetaList_Load(EOS(STATIC_4366), o2149, java.lang.Object(List(EOC, o2465, o2181))) → f3659_0_countMetaList_Load(EOS(STATIC_3659), o2149, java.lang.Object(List(EOC, o2465, o2181)))
f3659_0_countMetaList_Load(EOS(STATIC_3659), o2149, o2148) → f3685_0_countMetaList_NULL(EOS(STATIC_3685), o2149, o2148, o2148)
f4051_0_countMetaList_FieldAccess(EOS(STATIC_4051), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2470, o2471)), o2181)), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2470, o2471)), o2181)), java.lang.Object(List(EOC, o2470, o2471))) → f4077_0_countMetaList_FieldAccess(EOS(STATIC_4077), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2470, o2471)), o2181)), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2470, o2471)), o2181)), java.lang.Object(List(EOC, o2470, o2471)))
f4077_0_countMetaList_FieldAccess(EOS(STATIC_4077), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2470, o2471)), o2181)), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2470, o2471)), o2181)), java.lang.Object(List(EOC, o2470, o2471))) → f4090_0_countMetaList_FieldAccess(EOS(STATIC_4090), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2470, o2471)), o2181)), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2470, o2471)), o2181)), o2471)
f4090_0_countMetaList_FieldAccess(EOS(STATIC_4090), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2470, o2471)), o2181)), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2470, o2471)), o2181)), o2471) → f4113_0_countMetaList_New(EOS(STATIC_4113), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, o2470, o2471)))
f4113_0_countMetaList_New(EOS(STATIC_4113), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, o2470, o2471))) → f4121_0_countMetaList_Duplicate(EOS(STATIC_4121), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, NULL, NULL)))
f4121_0_countMetaList_Duplicate(EOS(STATIC_4121), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, NULL, NULL))) → f4129_0_countMetaList_Load(EOS(STATIC_4129), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)))
f4129_0_countMetaList_Load(EOS(STATIC_4129), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) → f4140_0_countMetaList_FieldAccess(EOS(STATIC_4140), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, o2470, o2471)))
f4140_0_countMetaList_FieldAccess(EOS(STATIC_4140), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, o2470, o2471))) → f4152_0_countMetaList_Load(EOS(STATIC_4152), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2470)
f4152_0_countMetaList_Load(EOS(STATIC_4152), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2470) → f4163_0_countMetaList_InvokeMethod(EOS(STATIC_4163), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)))
f4163_0_countMetaList_InvokeMethod(EOS(STATIC_4163), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181))) → f4168_0__init__Load(EOS(STATIC_4168), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, NULL, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)))
f4168_0__init__Load(EOS(STATIC_4168), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, NULL, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181))) → f4179_0__init__InvokeMethod(EOS(STATIC_4179), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, NULL, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, NULL, NULL)))
f4179_0__init__InvokeMethod(EOS(STATIC_4179), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, NULL, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, NULL, NULL))) → f4190_0__init__Load(EOS(STATIC_4190), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, NULL, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)))
f4190_0__init__Load(EOS(STATIC_4190), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, NULL, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181))) → f4201_0__init__Load(EOS(STATIC_4201), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, NULL, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, NULL, NULL)))
f4201_0__init__Load(EOS(STATIC_4201), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, NULL, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, NULL, NULL))) → f4213_0__init__FieldAccess(EOS(STATIC_4213), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, NULL, NULL)), o2470)
f4213_0__init__FieldAccess(EOS(STATIC_4213), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, NULL, NULL)), o2470) → f4230_0__init__Load(EOS(STATIC_4230), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2470, NULL)), java.lang.Object(List(EOC, o2470, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, o2470, NULL)), java.lang.Object(List(EOC, o2471, o2181)))
f4230_0__init__Load(EOS(STATIC_4230), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2470, NULL)), java.lang.Object(List(EOC, o2470, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, o2470, NULL)), java.lang.Object(List(EOC, o2471, o2181))) → f4244_0__init__Load(EOS(STATIC_4244), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2470, NULL)), java.lang.Object(List(EOC, o2470, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, o2470, NULL)))
f4244_0__init__Load(EOS(STATIC_4244), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2470, NULL)), java.lang.Object(List(EOC, o2470, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, o2470, NULL))) → f4256_0__init__FieldAccess(EOS(STATIC_4256), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2470, NULL)), java.lang.Object(List(EOC, o2470, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, o2470, NULL)), java.lang.Object(List(EOC, o2471, o2181)))
f4256_0__init__FieldAccess(EOS(STATIC_4256), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2470, NULL)), java.lang.Object(List(EOC, o2470, NULL)), o2470, java.lang.Object(List(EOC, o2471, o2181)), java.lang.Object(List(EOC, o2470, NULL)), java.lang.Object(List(EOC, o2471, o2181))) → f4274_0__init__Return(EOS(STATIC_4274), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2470, java.lang.Object(List(EOC, o2471, o2181)))), java.lang.Object(List(EOC, o2470, java.lang.Object(List(EOC, o2471, o2181)))), o2470, java.lang.Object(List(EOC, o2471, o2181)))
f4274_0__init__Return(EOS(STATIC_4274), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2470, java.lang.Object(List(EOC, o2471, o2181)))), java.lang.Object(List(EOC, o2470, java.lang.Object(List(EOC, o2471, o2181)))), o2470, java.lang.Object(List(EOC, o2471, o2181))) → f4285_0_countMetaList_Store(EOS(STATIC_4285), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2470, java.lang.Object(List(EOC, o2471, o2181)))))
f4285_0_countMetaList_Store(EOS(STATIC_4285), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2470, java.lang.Object(List(EOC, o2471, o2181))))) → f4307_0_countMetaList_Load(EOS(STATIC_4307), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2470, java.lang.Object(List(EOC, o2471, o2181)))))
f4307_0_countMetaList_Load(EOS(STATIC_4307), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2470, java.lang.Object(List(EOC, o2471, o2181))))) → f4328_0_countMetaList_FieldAccess(EOS(STATIC_4328), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2470, java.lang.Object(List(EOC, o2471, o2181)))))
f4328_0_countMetaList_FieldAccess(EOS(STATIC_4328), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2470, java.lang.Object(List(EOC, o2471, o2181))))) → f4340_0_countMetaList_Store(EOS(STATIC_4340), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2471, o2181)))
f4340_0_countMetaList_Store(EOS(STATIC_4340), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2471, o2181))) → f4348_0_countMetaList_Inc(EOS(STATIC_4348), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2471, o2181)))
f4348_0_countMetaList_Inc(EOS(STATIC_4348), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2471, o2181))) → f4358_0_countMetaList_JMP(EOS(STATIC_4358), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2471, o2181)))
f4358_0_countMetaList_JMP(EOS(STATIC_4358), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2471, o2181))) → f4370_0_countMetaList_Load(EOS(STATIC_4370), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2471, o2181)))
f4370_0_countMetaList_Load(EOS(STATIC_4370), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2471, o2181))) → f3659_0_countMetaList_Load(EOS(STATIC_3659), java.lang.Object(List(EOC, o2470, o2471)), java.lang.Object(List(EOC, o2471, o2181)))
f3786_0_countMetaList_CheckCast(EOS(STATIC_3786), o2149, java.lang.Object(List(EOC, java.lang.Object(o2221sub), o2181)), java.lang.Object(o2221sub)) → f3847_0_countMetaList_EQ(EOS(STATIC_3847), o2149, java.lang.Object(List(EOC, java.lang.Object(o2221sub), o2181)), 0)
f3847_0_countMetaList_EQ(EOS(STATIC_3847), o2149, java.lang.Object(List(EOC, java.lang.Object(o2221sub), o2181)), matching1) → f3890_0_countMetaList_Load(EOS(STATIC_3890), o2149, java.lang.Object(List(EOC, java.lang.Object(o2221sub), o2181))) | =(matching1, 0)
f3890_0_countMetaList_Load(EOS(STATIC_3890), o2149, java.lang.Object(List(EOC, java.lang.Object(o2221sub), o2181))) → f3916_0_countMetaList_FieldAccess(EOS(STATIC_3916), o2149, java.lang.Object(List(EOC, java.lang.Object(o2221sub), o2181)))
f3916_0_countMetaList_FieldAccess(EOS(STATIC_3916), o2149, java.lang.Object(List(EOC, java.lang.Object(o2221sub), o2181))) → f3945_0_countMetaList_Store(EOS(STATIC_3945), o2149, o2181)
f3945_0_countMetaList_Store(EOS(STATIC_3945), o2149, o2181) → f3964_0_countMetaList_Inc(EOS(STATIC_3964), o2149, o2181)
f3964_0_countMetaList_Inc(EOS(STATIC_3964), o2149, o2181) → f3984_0_countMetaList_JMP(EOS(STATIC_3984), o2149, o2181)
f3984_0_countMetaList_JMP(EOS(STATIC_3984), o2149, o2181) → f4006_0_countMetaList_Load(EOS(STATIC_4006), o2149, o2181)
f4006_0_countMetaList_Load(EOS(STATIC_4006), o2149, o2181) → f3659_0_countMetaList_Load(EOS(STATIC_3659), o2149, o2181)
f3770_0_countMetaList_CheckCast(EOS(STATIC_3770), o2149, java.lang.Object(List(EOC, NULL, o2181)), NULL) → f3789_0_countMetaList_EQ(EOS(STATIC_3789), o2149, java.lang.Object(List(EOC, NULL, o2181)), 0)
f3789_0_countMetaList_EQ(EOS(STATIC_3789), o2149, java.lang.Object(List(EOC, NULL, o2181)), matching1) → f3850_0_countMetaList_Load(EOS(STATIC_3850), o2149, java.lang.Object(List(EOC, NULL, o2181))) | =(matching1, 0)
f3850_0_countMetaList_Load(EOS(STATIC_3850), o2149, java.lang.Object(List(EOC, NULL, o2181))) → f3893_0_countMetaList_FieldAccess(EOS(STATIC_3893), o2149, java.lang.Object(List(EOC, NULL, o2181)))
f3893_0_countMetaList_FieldAccess(EOS(STATIC_3893), o2149, java.lang.Object(List(EOC, NULL, o2181))) → f3919_0_countMetaList_Store(EOS(STATIC_3919), o2149, o2181)
f3919_0_countMetaList_Store(EOS(STATIC_3919), o2149, o2181) → f3945_0_countMetaList_Store(EOS(STATIC_3945), o2149, o2181)
f3715_0_countMetaList_FieldAccess(EOS(STATIC_3715), java.lang.Object(List(EOC, o2185, o2186)), java.lang.Object(List(EOC, o2185, o2186)), java.lang.Object(List(EOC, o2185, o2186))) → f3726_0_countMetaList_FieldAccess(EOS(STATIC_3726), java.lang.Object(List(EOC, o2185, o2186)), java.lang.Object(List(EOC, o2185, o2186)), java.lang.Object(List(EOC, o2185, o2186)))
f3726_0_countMetaList_FieldAccess(EOS(STATIC_3726), java.lang.Object(List(EOC, o2185, o2186)), java.lang.Object(List(EOC, o2185, o2186)), java.lang.Object(List(EOC, o2185, o2186))) → f3750_0_countMetaList_CheckCast(EOS(STATIC_3750), java.lang.Object(List(EOC, o2185, o2186)), java.lang.Object(List(EOC, o2185, o2186)), o2185)
f3750_0_countMetaList_CheckCast(EOS(STATIC_3750), java.lang.Object(List(EOC, java.lang.Object(o2218sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2218sub), o2186)), java.lang.Object(o2218sub)) → f3773_0_countMetaList_CheckCast(EOS(STATIC_3773), java.lang.Object(List(EOC, java.lang.Object(o2218sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2218sub), o2186)), java.lang.Object(o2218sub))
f3750_0_countMetaList_CheckCast(EOS(STATIC_3750), java.lang.Object(List(EOC, NULL, o2186)), java.lang.Object(List(EOC, NULL, o2186)), NULL) → f3774_0_countMetaList_CheckCast(EOS(STATIC_3774), java.lang.Object(List(EOC, NULL, o2186)), java.lang.Object(List(EOC, NULL, o2186)), NULL)
f3773_0_countMetaList_CheckCast(EOS(STATIC_3773), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(o2223sub)) → f3801_0_countMetaList_CheckCast(EOS(STATIC_3801), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(o2223sub))
f3773_0_countMetaList_CheckCast(EOS(STATIC_3773), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), java.lang.Object(o2224sub)) → f3802_0_countMetaList_CheckCast(EOS(STATIC_3802), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), java.lang.Object(o2224sub))
f3801_0_countMetaList_CheckCast(EOS(STATIC_3801), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(o2223sub)) → f3859_0_countMetaList_EQ(EOS(STATIC_3859), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), 1)
f3859_0_countMetaList_EQ(EOS(STATIC_3859), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), matching1) → f3897_0_countMetaList_Load(EOS(STATIC_3897), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186))) | &&(>(1, 0), =(matching1, 1))
f3897_0_countMetaList_Load(EOS(STATIC_3897), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186))) → f3923_0_countMetaList_FieldAccess(EOS(STATIC_3923), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)))
f3923_0_countMetaList_FieldAccess(EOS(STATIC_3923), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186))) → f3953_0_countMetaList_CheckCast(EOS(STATIC_3953), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(o2223sub))
f3953_0_countMetaList_CheckCast(EOS(STATIC_3953), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(o2223sub)) → f3970_0_countMetaList_Store(EOS(STATIC_3970), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(o2223sub))
f3970_0_countMetaList_Store(EOS(STATIC_3970), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(o2223sub)) → f3990_0_countMetaList_Load(EOS(STATIC_3990), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(o2223sub))
f3990_0_countMetaList_Load(EOS(STATIC_3990), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(o2223sub)) → f4013_0_countMetaList_Load(EOS(STATIC_4013), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(o2223sub), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)))
f4013_0_countMetaList_Load(EOS(STATIC_4013), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(o2223sub), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186))) → f4035_0_countMetaList_FieldAccess(EOS(STATIC_4035), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(o2223sub), java.lang.Object(List(EOC, java.lang.Object(o2223sub), o2186)), java.lang.Object(o2223sub))
f4035_0_countMetaList_FieldAccess(EOS(STATIC_4035), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2458, o2459)), o2186)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2458, o2459)), o2186)), java.lang.Object(List(EOC, o2458, o2459)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2458, o2459)), o2186)), java.lang.Object(List(EOC, o2458, o2459))) → f4054_0_countMetaList_FieldAccess(EOS(STATIC_4054), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2458, o2459)), o2186)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2458, o2459)), o2186)), java.lang.Object(List(EOC, o2458, o2459)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2458, o2459)), o2186)), java.lang.Object(List(EOC, o2458, o2459)))
f4054_0_countMetaList_FieldAccess(EOS(STATIC_4054), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2458, o2459)), o2186)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2458, o2459)), o2186)), java.lang.Object(List(EOC, o2458, o2459)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2458, o2459)), o2186)), java.lang.Object(List(EOC, o2458, o2459))) → f4078_0_countMetaList_FieldAccess(EOS(STATIC_4078), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2458, o2459)), o2186)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2458, o2459)), o2186)), java.lang.Object(List(EOC, o2458, o2459)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2458, o2459)), o2186)), o2459)
f4078_0_countMetaList_FieldAccess(EOS(STATIC_4078), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2458, o2459)), o2186)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2458, o2459)), o2186)), java.lang.Object(List(EOC, o2458, o2459)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, o2458, o2459)), o2186)), o2459) → f4095_0_countMetaList_New(EOS(STATIC_4095), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, o2459)))
f4095_0_countMetaList_New(EOS(STATIC_4095), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, o2459))) → f4114_0_countMetaList_Duplicate(EOS(STATIC_4114), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, o2459)), java.lang.Object(List(EOC, NULL, NULL)))
f4114_0_countMetaList_Duplicate(EOS(STATIC_4114), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, o2459)), java.lang.Object(List(EOC, NULL, NULL))) → f4122_0_countMetaList_Load(EOS(STATIC_4122), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, o2459)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)))
f4122_0_countMetaList_Load(EOS(STATIC_4122), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, o2459)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) → f4131_0_countMetaList_FieldAccess(EOS(STATIC_4131), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, o2458, o2459)))
f4131_0_countMetaList_FieldAccess(EOS(STATIC_4131), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, o2458, o2459))) → f4141_0_countMetaList_Load(EOS(STATIC_4141), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2458)
f4141_0_countMetaList_Load(EOS(STATIC_4141), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2458) → f4154_0_countMetaList_InvokeMethod(EOS(STATIC_4154), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)))
f4154_0_countMetaList_InvokeMethod(EOS(STATIC_4154), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186))) → f4164_0__init__Load(EOS(STATIC_4164), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)))
f4164_0__init__Load(EOS(STATIC_4164), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186))) → f4170_0__init__InvokeMethod(EOS(STATIC_4170), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)))
f4170_0__init__InvokeMethod(EOS(STATIC_4170), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL))) → f4181_0__init__Load(EOS(STATIC_4181), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)))
f4181_0__init__Load(EOS(STATIC_4181), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186))) → f4192_0__init__Load(EOS(STATIC_4192), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)))
f4192_0__init__Load(EOS(STATIC_4192), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL))) → f4203_0__init__FieldAccess(EOS(STATIC_4203), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), o2458)
f4203_0__init__FieldAccess(EOS(STATIC_4203), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, NULL, NULL)), o2458) → f4216_0__init__Load(EOS(STATIC_4216), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, NULL)), java.lang.Object(List(EOC, o2458, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, NULL)), java.lang.Object(List(EOC, o2459, o2186)))
f4216_0__init__Load(EOS(STATIC_4216), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, NULL)), java.lang.Object(List(EOC, o2458, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, NULL)), java.lang.Object(List(EOC, o2459, o2186))) → f4232_0__init__Load(EOS(STATIC_4232), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, NULL)), java.lang.Object(List(EOC, o2458, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, NULL)))
f4232_0__init__Load(EOS(STATIC_4232), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, NULL)), java.lang.Object(List(EOC, o2458, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, NULL))) → f4246_0__init__FieldAccess(EOS(STATIC_4246), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, NULL)), java.lang.Object(List(EOC, o2458, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, NULL)), java.lang.Object(List(EOC, o2459, o2186)))
f4246_0__init__FieldAccess(EOS(STATIC_4246), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, NULL)), java.lang.Object(List(EOC, o2458, NULL)), o2458, java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, NULL)), java.lang.Object(List(EOC, o2459, o2186))) → f4261_0__init__Return(EOS(STATIC_4261), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, java.lang.Object(List(EOC, o2459, o2186)))), java.lang.Object(List(EOC, o2458, java.lang.Object(List(EOC, o2459, o2186)))), o2458, java.lang.Object(List(EOC, o2459, o2186)))
f4261_0__init__Return(EOS(STATIC_4261), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, java.lang.Object(List(EOC, o2459, o2186)))), java.lang.Object(List(EOC, o2458, java.lang.Object(List(EOC, o2459, o2186)))), o2458, java.lang.Object(List(EOC, o2459, o2186))) → f4275_0_countMetaList_Store(EOS(STATIC_4275), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, java.lang.Object(List(EOC, o2459, o2186)))))
f4275_0_countMetaList_Store(EOS(STATIC_4275), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, java.lang.Object(List(EOC, o2459, o2186))))) → f4291_0_countMetaList_Load(EOS(STATIC_4291), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, java.lang.Object(List(EOC, o2459, o2186)))))
f4291_0_countMetaList_Load(EOS(STATIC_4291), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, java.lang.Object(List(EOC, o2459, o2186))))) → f4313_0_countMetaList_FieldAccess(EOS(STATIC_4313), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, java.lang.Object(List(EOC, o2459, o2186)))))
f4313_0_countMetaList_FieldAccess(EOS(STATIC_4313), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2458, java.lang.Object(List(EOC, o2459, o2186))))) → f4329_0_countMetaList_Store(EOS(STATIC_4329), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186)))
f4329_0_countMetaList_Store(EOS(STATIC_4329), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186))) → f4343_0_countMetaList_Inc(EOS(STATIC_4343), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186)))
f4343_0_countMetaList_Inc(EOS(STATIC_4343), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186))) → f4351_0_countMetaList_JMP(EOS(STATIC_4351), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186)))
f4351_0_countMetaList_JMP(EOS(STATIC_4351), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186))) → f4364_0_countMetaList_Load(EOS(STATIC_4364), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186)))
f4364_0_countMetaList_Load(EOS(STATIC_4364), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186))) → f3659_0_countMetaList_Load(EOS(STATIC_3659), java.lang.Object(List(EOC, o2459, o2186)), java.lang.Object(List(EOC, o2459, o2186)))
f3802_0_countMetaList_CheckCast(EOS(STATIC_3802), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), java.lang.Object(o2224sub)) → f3877_0_countMetaList_EQ(EOS(STATIC_3877), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), 0)
f3877_0_countMetaList_EQ(EOS(STATIC_3877), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), matching1) → f3903_0_countMetaList_Load(EOS(STATIC_3903), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186))) | =(matching1, 0)
f3903_0_countMetaList_Load(EOS(STATIC_3903), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186))) → f3928_0_countMetaList_FieldAccess(EOS(STATIC_3928), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)))
f3928_0_countMetaList_FieldAccess(EOS(STATIC_3928), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186))) → f3956_0_countMetaList_Store(EOS(STATIC_3956), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), o2186)
f3956_0_countMetaList_Store(EOS(STATIC_3956), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), o2186) → f3976_0_countMetaList_Inc(EOS(STATIC_3976), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), o2186)
f3976_0_countMetaList_Inc(EOS(STATIC_3976), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), o2186) → f3995_0_countMetaList_JMP(EOS(STATIC_3995), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), o2186)
f3995_0_countMetaList_JMP(EOS(STATIC_3995), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), o2186) → f4021_0_countMetaList_Load(EOS(STATIC_4021), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), o2186)
f4021_0_countMetaList_Load(EOS(STATIC_4021), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), o2186) → f3659_0_countMetaList_Load(EOS(STATIC_3659), java.lang.Object(List(EOC, java.lang.Object(o2224sub), o2186)), o2186)
f3774_0_countMetaList_CheckCast(EOS(STATIC_3774), java.lang.Object(List(EOC, NULL, o2186)), java.lang.Object(List(EOC, NULL, o2186)), NULL) → f3807_0_countMetaList_EQ(EOS(STATIC_3807), java.lang.Object(List(EOC, NULL, o2186)), java.lang.Object(List(EOC, NULL, o2186)), 0)
f3807_0_countMetaList_EQ(EOS(STATIC_3807), java.lang.Object(List(EOC, NULL, o2186)), java.lang.Object(List(EOC, NULL, o2186)), matching1) → f3882_0_countMetaList_Load(EOS(STATIC_3882), java.lang.Object(List(EOC, NULL, o2186)), java.lang.Object(List(EOC, NULL, o2186))) | =(matching1, 0)
f3882_0_countMetaList_Load(EOS(STATIC_3882), java.lang.Object(List(EOC, NULL, o2186)), java.lang.Object(List(EOC, NULL, o2186))) → f3907_0_countMetaList_FieldAccess(EOS(STATIC_3907), java.lang.Object(List(EOC, NULL, o2186)), java.lang.Object(List(EOC, NULL, o2186)))
f3907_0_countMetaList_FieldAccess(EOS(STATIC_3907), java.lang.Object(List(EOC, NULL, o2186)), java.lang.Object(List(EOC, NULL, o2186))) → f3931_0_countMetaList_Store(EOS(STATIC_3931), java.lang.Object(List(EOC, NULL, o2186)), o2186)
f3931_0_countMetaList_Store(EOS(STATIC_3931), java.lang.Object(List(EOC, NULL, o2186)), o2186) → f3945_0_countMetaList_Store(EOS(STATIC_3945), java.lang.Object(List(EOC, NULL, o2186)), o2186)
R rules:

Combined rules. Obtained 7 conditional rules for P and 0 conditional rules for R.

P rules:
f3685_0_countMetaList_NULL(EOS(STATIC_3685), x0, java.lang.Object(List(EOC, java.lang.Object(List(EOC, x1, x2)), x3)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, x1, x2)), x3))) → f3685_0_countMetaList_NULL(EOS(STATIC_3685), x4, java.lang.Object(List(EOC, x2, x3)), java.lang.Object(List(EOC, x2, x3)))
f3685_0_countMetaList_NULL(EOS(STATIC_3685), java.lang.Object(List(EOC, x0, x1)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, x0, x1)), x2)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, x0, x1)), x2))) → f3685_0_countMetaList_NULL(EOS(STATIC_3685), java.lang.Object(List(EOC, x0, x1)), java.lang.Object(List(EOC, x1, x2)), java.lang.Object(List(EOC, x1, x2)))
f3685_0_countMetaList_NULL(EOS(STATIC_3685), x0, java.lang.Object(List(EOC, java.lang.Object(x1), x2)), java.lang.Object(List(EOC, java.lang.Object(x1), x2))) → f3685_0_countMetaList_NULL(EOS(STATIC_3685), x0, x2, x2)
f3685_0_countMetaList_NULL(EOS(STATIC_3685), x0, java.lang.Object(List(EOC, NULL, x1)), java.lang.Object(List(EOC, NULL, x1))) → f3685_0_countMetaList_NULL(EOS(STATIC_3685), x0, x1, x1)
f3685_0_countMetaList_NULL(EOS(STATIC_3685), java.lang.Object(List(EOC, java.lang.Object(List(EOC, x0, x1)), x2)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, x0, x1)), x2)), java.lang.Object(List(EOC, java.lang.Object(List(EOC, x0, x1)), x2))) → f3685_0_countMetaList_NULL(EOS(STATIC_3685), java.lang.Object(List(EOC, x1, x2)), java.lang.Object(List(EOC, x1, x2)), java.lang.Object(List(EOC, x1, x2)))
f3685_0_countMetaList_NULL(EOS(STATIC_3685), java.lang.Object(List(EOC, java.lang.Object(x0), x1)), java.lang.Object(List(EOC, java.lang.Object(x0), x1)), java.lang.Object(List(EOC, java.lang.Object(x0), x1))) → f3685_0_countMetaList_NULL(EOS(STATIC_3685), java.lang.Object(List(EOC, java.lang.Object(x0), x1)), x1, x1)
f3685_0_countMetaList_NULL(EOS(STATIC_3685), java.lang.Object(List(EOC, NULL, x0)), java.lang.Object(List(EOC, NULL, x0)), java.lang.Object(List(EOC, NULL, x0))) → f3685_0_countMetaList_NULL(EOS(STATIC_3685), java.lang.Object(List(EOC, NULL, x0)), x0, x0)
R rules:

Filtered ground terms:

f3685_0_countMetaList_NULL(x1, x2, x3, x4) → f3685_0_countMetaList_NULL(x2, x3, x4)
EOS(x1) → EOS
List(x1, x2, x3) → List(x2, x3)

Filtered all free variables in P and R:

f3685_0_countMetaList_NULL(x1, x2, x3) → f3685_0_countMetaList_NULL(x2, x3)

Current set of rules:

P rules:
f3685_0_countMetaList_NULL(java.lang.Object(List(java.lang.Object(List(x1, x2)), x3)), java.lang.Object(List(java.lang.Object(List(x1, x2)), x3))) → f3685_0_countMetaList_NULL(java.lang.Object(List(x2, x3)), java.lang.Object(List(x2, x3)))
f3685_0_countMetaList_NULL(java.lang.Object(List(java.lang.Object(x1), x2)), java.lang.Object(List(java.lang.Object(x1), x2))) → f3685_0_countMetaList_NULL(x2, x2)
f3685_0_countMetaList_NULL(java.lang.Object(List(NULL, x1)), java.lang.Object(List(NULL, x1))) → f3685_0_countMetaList_NULL(x1, x1)
R rules:

Filtered duplicate args:

f3685_0_countMetaList_NULL(x1, x2) → f3685_0_countMetaList_NULL(x2)

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

P rules:
F3685_0_COUNTMETALIST_NULL(java.lang.Object(List(java.lang.Object(List(x1, x2)), x3))) → F3685_0_COUNTMETALIST_NULL(java.lang.Object(List(x2, x3)))
F3685_0_COUNTMETALIST_NULL(java.lang.Object(List(java.lang.Object(x1), x2))) → F3685_0_COUNTMETALIST_NULL(x2)
F3685_0_COUNTMETALIST_NULL(java.lang.Object(List(NULL, x1))) → F3685_0_COUNTMETALIST_NULL(x1)
R rules:

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

P rules:
F3685_0_COUNTMETALIST_NULL'(java.lang.Object(List(java.lang.Object(List(x1, x2)), x3))) → F3685_0_COUNTMETALIST_NULL'(java.lang.Object(List(x2, x3)))
F3685_0_COUNTMETALIST_NULL'(java.lang.Object(List(java.lang.Object(x1), x2))) → F3685_0_COUNTMETALIST_NULL'(x2)
F3685_0_COUNTMETALIST_NULL'(java.lang.Object(List(NULL, x1))) → F3685_0_COUNTMETALIST_NULL'(x1)
R rules:

(14) 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

R is empty.

The integer pair graph contains the following rules and edges:
(0): F3685_0_COUNTMETALIST_NULL'(java.lang.Object(List(java.lang.Object(List(x1[0], x2[0])), x3[0]))) → F3685_0_COUNTMETALIST_NULL'(java.lang.Object(List(x2[0], x3[0])))
(1): F3685_0_COUNTMETALIST_NULL'(java.lang.Object(List(java.lang.Object(x1[1]), x2[1]))) → F3685_0_COUNTMETALIST_NULL'(x2[1])
(2): F3685_0_COUNTMETALIST_NULL'(java.lang.Object(List(NULL, x1[2]))) → F3685_0_COUNTMETALIST_NULL'(x1[2])

(0) -> (0), if (java.lang.Object(List(x2[0], x3[0])) →^* java.lang.Object(List(java.lang.Object(List(x1[0]', x2[0]')), x3[0]')))

(0) -> (1), if (java.lang.Object(List(x2[0], x3[0])) →^* java.lang.Object(List(java.lang.Object(x1[1]), x2[1])))

(0) -> (2), if (java.lang.Object(List(x2[0], x3[0])) →^* java.lang.Object(List(NULL, x1[2])))

(1) -> (0), if (x2[1] →^* java.lang.Object(List(java.lang.Object(List(x1[0], x2[0])), x3[0])))

(1) -> (1), if (x2[1] →^* java.lang.Object(List(java.lang.Object(x1[1]'), x2[1]')))

(1) -> (2), if (x2[1] →^* java.lang.Object(List(NULL, x1[2])))

(2) -> (0), if (x1[2] →^* java.lang.Object(List(java.lang.Object(List(x1[0], x2[0])), x3[0])))

(2) -> (1), if (x1[2] →^* java.lang.Object(List(java.lang.Object(x1[1]), x2[1])))

(2) -> (2), if (x1[2] →^* java.lang.Object(List(NULL, x1[2]')))

The set Q is empty.

(15) IDPtoQDPProof (SOUND transformation)

Represented integers and predefined function symbols by Terms

(16) Obligation:

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

F3685_0_COUNTMETALIST_NULL'(java.lang.Object(List(java.lang.Object(List(x1[0], x2[0])), x3[0]))) → F3685_0_COUNTMETALIST_NULL'(java.lang.Object(List(x2[0], x3[0])))
F3685_0_COUNTMETALIST_NULL'(java.lang.Object(List(java.lang.Object(x1[1]), x2[1]))) → F3685_0_COUNTMETALIST_NULL'(x2[1])
F3685_0_COUNTMETALIST_NULL'(java.lang.Object(List(NULL, x1[2]))) → F3685_0_COUNTMETALIST_NULL'(x1[2])

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

(17) UsableRulesReductionPairsProof (EQUIVALENT transformation)

By using the usable rules with reduction pair processor [LPAR04] with a polynomial ordering [POLO], all dependency pairs and the corresponding usable rules [FROCOS05] can be oriented non-strictly. All non-usable rules are removed, and those dependency pairs and usable rules that have been oriented strictly or contain non-usable symbols in their left-hand side are removed as well.

The following dependency pairs can be deleted:

F3685_0_COUNTMETALIST_NULL'(java.lang.Object(List(NULL, x1[2]))) → F3685_0_COUNTMETALIST_NULL'(x1[2])

No rules are removed from R.

Used ordering: POLO with Polynomial interpretation [POLO]:

POL(F3685_0_COUNTMETALIST_NULL'(x₁)) = 2·x₁
POL(List(x₁, x₂)) = x₁ + 2·x₂
POL(NULL) = 0
POL(java.lang.Object(x₁)) = 2·x₁

(18) Obligation:

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

F3685_0_COUNTMETALIST_NULL'(java.lang.Object(List(java.lang.Object(List(x1[0], x2[0])), x3[0]))) → F3685_0_COUNTMETALIST_NULL'(java.lang.Object(List(x2[0], x3[0])))
F3685_0_COUNTMETALIST_NULL'(java.lang.Object(List(java.lang.Object(x1[1]), x2[1]))) → F3685_0_COUNTMETALIST_NULL'(x2[1])

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

(19) MRRProof (EQUIVALENT transformation)

By using the rule removal processor [LPAR04] with the following ordering, at least one Dependency Pair or term rewrite system rule of this QDP problem can be strictly oriented.
Strictly oriented dependency pairs:

F3685_0_COUNTMETALIST_NULL'(java.lang.Object(List(java.lang.Object(List(x1[0], x2[0])), x3[0]))) → F3685_0_COUNTMETALIST_NULL'(java.lang.Object(List(x2[0], x3[0])))
F3685_0_COUNTMETALIST_NULL'(java.lang.Object(List(java.lang.Object(x1[1]), x2[1]))) → F3685_0_COUNTMETALIST_NULL'(x2[1])

Used ordering: Knuth-Bendix order [KBO] with precedence:

List₂ > java.lang.Object₁ > F3685_{0_{COUNTMETALIST_NULL'₁}}

and weight map:

F3685_0_COUNTMETALIST_NULL'_1=1
java.lang.Object_1=1
List_2=0

The variable weight is 1

(20) Obligation:

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

(21) PisEmptyProof (EQUIVALENT transformation)

The TRS P is empty. Hence, there is no (P,Q,R) chain.