Termination proof of /tmp/tmpUxf_kE/SharingAnalysisRec.jar

Termination of the given JBC could be proven:

0 JBC

↳1 JBCToGraph (⇒, 700 ms)

↳2 JBCTerminationGraph

↳3 TerminationGraphToSCCProof (⇒, 0 ms)

↳4 AND

    ↳5 JBCTerminationSCC

        ↳6 SCCToIDPv1Proof (⇒, 470 ms)

        ↳7 IDP

        ↳8 IDPtoQDPProof (⇒, 0 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 (⇒, 1900 ms)

        ↳18 IDP

        ↳19 IDPNonInfProof (⇒, 110 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_25 (Sun Microsystems Inc.) Main-Class: SharingAnalysisRec/SharingAnalysisRec

package SharingAnalysisRec;

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

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


package SharingAnalysisRec;

public class SharingAnalysisRec {
	int val;
	SharingAnalysisRec field;

	public static void main(String[] args) {
		Random.args = args;
		SharingAnalysisRec t1 = new SharingAnalysisRec();
		SharingAnalysisRec t2 = t1.appendNewList(1);
		SharingAnalysisRec t3 = t2.appendNewList(Random.random());
		t2.field = null;
		copy(t1, t3);
	}

	public static void copy(SharingAnalysisRec source, SharingAnalysisRec target) {
		if (source == null) {
			return;
		} else {
			SharingAnalysisRec newEle = new SharingAnalysisRec();
			newEle.val = source.val;
			target.field = newEle;
			copy(source.field, newEle);
		}
	}

	/**
 	 * @param i number of elements to append
 	 * @return the last list element appended
 	 */
	private SharingAnalysisRec appendNewList(int i) {
		this.field = new SharingAnalysisRec();
		this.val = Random.random();
		if (i <= 1) {
			return this.field;
		} else {
			return this.field.appendNewList(i-1);
		}
	}
}

(1) JBCToGraph (SOUND transformation)

Constructed TerminationGraph.

(2) Obligation:

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

SharingAnalysisRec.SharingAnalysisRec.appendNewList(I)LSharingAnalysisRec/SharingAnalysisRec;: Graph of 113 nodes with 0 SCCs.

SharingAnalysisRec.SharingAnalysisRec.copy(LSharingAnalysisRec/SharingAnalysisRec;LSharingAnalysisRec/SharingAnalysisRec;)V: Graph of 38 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: SharingAnalysisRec.SharingAnalysisRec.copy(LSharingAnalysisRec/SharingAnalysisRec;LSharingAnalysisRec/SharingAnalysisRec;)V
SCC calls the following helper methods: SharingAnalysisRec.SharingAnalysisRec.copy(LSharingAnalysisRec/SharingAnalysisRec;LSharingAnalysisRec/SharingAnalysisRec;)V
Performed SCC analyses: UsedFieldsAnalysis

(6) SCCToIDPv1Proof (SOUND transformation)

Transformed FIGraph SCCs to IDPs. Log:

Generated 27 rules for P and 9 rules for R.

P rules:
1818_0_copy_NONNULL(EOS(STATIC_1818), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(o892sub)) → 1819_0_copy_NONNULL(EOS(STATIC_1819), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(o892sub))
1819_0_copy_NONNULL(EOS(STATIC_1819), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(o892sub)) → 1821_0_copy_New(EOS(STATIC_1821), java.lang.Object(o892sub), java.lang.Object(o889sub))
1821_0_copy_New(EOS(STATIC_1821), java.lang.Object(o892sub), java.lang.Object(o889sub)) → 1824_0_copy_Duplicate(EOS(STATIC_1824), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)))
1824_0_copy_Duplicate(EOS(STATIC_1824), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL))) → 1827_0_copy_InvokeMethod(EOS(STATIC_1827), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL))) | =(matching1, 0)
1827_0_copy_InvokeMethod(EOS(STATIC_1827), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching2, NULL))) → 1829_0_<init>_Load(EOS(STATIC_1829), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL))) | &&(=(matching1, 0), =(matching2, 0))
1829_0_<init>_Load(EOS(STATIC_1829), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching2, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching3, NULL))) → 1832_0_<init>_InvokeMethod(EOS(STATIC_1832), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL))) | &&(&&(=(matching1, 0), =(matching2, 0)), =(matching3, 0))
1832_0_<init>_InvokeMethod(EOS(STATIC_1832), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching2, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching3, NULL))) → 1833_0_<init>_Return(EOS(STATIC_1833), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL))) | &&(&&(=(matching1, 0), =(matching2, 0)), =(matching3, 0))
1833_0_<init>_Return(EOS(STATIC_1833), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching2, NULL))) → 1834_0_copy_Store(EOS(STATIC_1834), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL))) | &&(=(matching1, 0), =(matching2, 0))
1834_0_copy_Store(EOS(STATIC_1834), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL))) → 1836_0_copy_Load(EOS(STATIC_1836), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL))) | =(matching1, 0)
1836_0_copy_Load(EOS(STATIC_1836), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL))) → 1837_0_copy_Load(EOS(STATIC_1837), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL))) | =(matching1, 0)
1837_0_copy_Load(EOS(STATIC_1837), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching2, NULL))) → 1839_0_copy_FieldAccess(EOS(STATIC_1839), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(o892sub)) | &&(=(matching1, 0), =(matching2, 0))
1839_0_copy_FieldAccess(EOS(STATIC_1839), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching2, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897))) → 1840_0_copy_FieldAccess(EOS(STATIC_1840), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897))) | &&(=(matching1, 0), =(matching2, 0))
1840_0_copy_FieldAccess(EOS(STATIC_1840), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching2, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897))) → 1841_0_copy_FieldAccess(EOS(STATIC_1841), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), i461) | &&(=(matching1, 0), =(matching2, 0))
1841_0_copy_FieldAccess(EOS(STATIC_1841), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching2, NULL)), i461) → 1843_0_copy_Load(EOS(STATIC_1843), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL))) | &&(=(matching1, 0), =(matching2, 0))
1843_0_copy_Load(EOS(STATIC_1843), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL))) → 1844_0_copy_Load(EOS(STATIC_1844), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)), java.lang.Object(o889sub))
1844_0_copy_Load(EOS(STATIC_1844), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)), java.lang.Object(o889sub)) → 1845_0_copy_FieldAccess(EOS(STATIC_1845), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)))
1845_0_copy_FieldAccess(EOS(STATIC_1845), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i463, o901)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL))) → 1847_0_copy_FieldAccess(EOS(STATIC_1847), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i463, o901)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)))
1847_0_copy_FieldAccess(EOS(STATIC_1847), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i463, o901)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL))) → 1849_0_copy_Load(EOS(STATIC_1849), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)))
1849_0_copy_Load(EOS(STATIC_1849), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL))) → 1851_0_copy_FieldAccess(EOS(STATIC_1851), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)))
1851_0_copy_FieldAccess(EOS(STATIC_1851), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897))) → 1852_0_copy_Load(EOS(STATIC_1852), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)), o897)
1852_0_copy_Load(EOS(STATIC_1852), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)), o897) → 1853_0_copy_InvokeMethod(EOS(STATIC_1853), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)))
1853_0_copy_InvokeMethod(EOS(STATIC_1853), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL))) → 1855_1_copy_InvokeMethod(1855_0_copy_Load(EOS(STATIC_1855), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL))), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)))
1855_0_copy_Load(EOS(STATIC_1855), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL))) → 1857_0_copy_Load(EOS(STATIC_1857), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)))
1857_0_copy_Load(EOS(STATIC_1857), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL))) → 1859_0_copy_Load(EOS(STATIC_1859), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)))
1859_0_copy_Load(EOS(STATIC_1859), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL))) → 1862_0_copy_Load(EOS(STATIC_1862), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)))
1862_0_copy_Load(EOS(STATIC_1862), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i445, NULL))) → 1816_0_copy_Load(EOS(STATIC_1816), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i445, NULL)))
1816_0_copy_Load(EOS(STATIC_1816), o888, java.lang.Object(o889sub)) → 1818_0_copy_NONNULL(EOS(STATIC_1818), o888, java.lang.Object(o889sub), o888)
R rules:
1818_0_copy_NONNULL(EOS(STATIC_1818), NULL, java.lang.Object(o889sub), NULL) → 1820_0_copy_NONNULL(EOS(STATIC_1820), NULL, java.lang.Object(o889sub), NULL)
1820_0_copy_NONNULL(EOS(STATIC_1820), NULL, java.lang.Object(o889sub), NULL) → 1822_0_copy_Return(EOS(STATIC_1822), NULL, java.lang.Object(o889sub))
1855_1_copy_InvokeMethod(1822_0_copy_Return(EOS(STATIC_1822), NULL, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i468, NULL))), NULL, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i468, NULL))) → 1870_0_copy_Return(EOS(STATIC_1870), NULL, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i468, NULL)), NULL, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i468, NULL)))
1855_1_copy_InvokeMethod(1871_0_copy_Return(EOS(STATIC_1871)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i473, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i474, NULL))) → 1881_0_copy_Return(EOS(STATIC_1881), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i473, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i472, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i473, NULL)))))
1855_1_copy_InvokeMethod(1905_0_copy_Return(EOS(STATIC_1905)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i508, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i507, o969)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i509, NULL))) → 1927_0_copy_Return(EOS(STATIC_1927), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i508, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i507, o969)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i506, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i492, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i491, o938)))))))
1870_0_copy_Return(EOS(STATIC_1870), NULL, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i468, NULL)), NULL, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i468, NULL))) → 1871_0_copy_Return(EOS(STATIC_1871))
1881_0_copy_Return(EOS(STATIC_1881), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i473, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i472, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i473, NULL))))) → 1901_0_copy_Return(EOS(STATIC_1901), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i473, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i472, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i473, NULL)))))
1901_0_copy_Return(EOS(STATIC_1901), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i489, o934)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i492, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i491, o938))))) → 1905_0_copy_Return(EOS(STATIC_1905))
1927_0_copy_Return(EOS(STATIC_1927), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i508, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i507, o969)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i506, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i492, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i491, o938))))))) → 1901_0_copy_Return(EOS(STATIC_1901), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i508, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i507, o969)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i506, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i492, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i491, o938)))))))

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

P rules:
1818_0_copy_NONNULL(EOS(STATIC_1818), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x0, x1)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x2, x3)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x0, x1))) → 1855_1_copy_InvokeMethod(1818_0_copy_NONNULL(EOS(STATIC_1818), x1, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x0, NULL)), x1), x1, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x0, NULL)))
R rules:
1818_0_copy_NONNULL(EOS(STATIC_1818), NULL, java.lang.Object(x0), NULL) → 1822_0_copy_Return(EOS(STATIC_1822), NULL, java.lang.Object(x0))
1855_1_copy_InvokeMethod(1822_0_copy_Return(EOS(STATIC_1822), NULL, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x0, NULL))), NULL, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x0, NULL))) → 1871_0_copy_Return(EOS(STATIC_1871))
1855_1_copy_InvokeMethod(1871_0_copy_Return(EOS(STATIC_1871)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x1, NULL))) → 1905_0_copy_Return(EOS(STATIC_1905))
1855_1_copy_InvokeMethod(1905_0_copy_Return(EOS(STATIC_1905)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x0, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x1, x2)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x3, NULL))) → 1905_0_copy_Return(EOS(STATIC_1905))

Filtered ground terms:

SharingAnalysisRec.SharingAnalysisRec(x1, x2, x3) → SharingAnalysisRec.SharingAnalysisRec(x2, x3)
1818_0_copy_NONNULL(x1, x2, x3, x4) → 1818_0_copy_NONNULL(x2, x3, x4)
1905_0_copy_Return(x1) → 1905_0_copy_Return
1871_0_copy_Return(x1) → 1871_0_copy_Return
1822_0_copy_Return(x1, x2, x3) → 1822_0_copy_Return(x3)

Filtered duplicate args:

1818_0_copy_NONNULL(x1, x2, x3) → 1818_0_copy_NONNULL(x2, x3)

Filtered unneeded arguments:

1855_1_copy_InvokeMethod(x1, x2, x3) → 1855_1_copy_InvokeMethod(x1, x2)
SharingAnalysisRec.SharingAnalysisRec(x1, x2) → SharingAnalysisRec.SharingAnalysisRec(x2)

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

P rules:
1818_0_copy_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x3)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1))) → 1855_1_copy_InvokeMethod(1818_0_copy_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)), x1), x1)
R rules:
1818_0_copy_NONNULL(java.lang.Object(x0), NULL) → 1822_0_copy_Return(java.lang.Object(x0))
1855_1_copy_InvokeMethod(1822_0_copy_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))), NULL) → 1871_0_copy_Return
1855_1_copy_InvokeMethod(1871_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))) → 1905_0_copy_Return
1855_1_copy_InvokeMethod(1905_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x2))))) → 1905_0_copy_Return

Performed bisimulation on rules. Used the following equivalence classes: {[1871_0_copy_Return, 1905_0_copy_Return]=1871_0_copy_Return}

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

P rules:
1818_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x3)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1))) → 1818_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)), x1)
R rules:
1818_0_copy_NONNULL(java.lang.Object(x0), NULL) → 1822_0_copy_Return(java.lang.Object(x0))
1855_1_copy_InvokeMethod(1822_0_copy_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))), NULL) → 1871_0_copy_Return
1855_1_copy_InvokeMethod(1871_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))) → 1871_0_copy_Return
1855_1_copy_InvokeMethod(1871_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x2))))) → 1871_0_copy_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:
1818_0_copy_NONNULL(java.lang.Object(x0), NULL) → 1822_0_copy_Return(java.lang.Object(x0))
1855_1_copy_InvokeMethod(1822_0_copy_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))), NULL) → 1871_0_copy_Return
1855_1_copy_InvokeMethod(1871_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))) → 1871_0_copy_Return
1855_1_copy_InvokeMethod(1871_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x2))))) → 1871_0_copy_Return

The integer pair graph contains the following rules and edges:
(0): 1818_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x3[0])), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1[0]))) → 1818_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)), x1[0])

(0) -> (0), if (java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)) →^* java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x3[0]'))∧x1[0] →^* java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1[0]')))

The set Q consists of the following terms:
1818_0_copy_NONNULL(java.lang.Object(x0), NULL)
1855_1_copy_InvokeMethod(1822_0_copy_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))), NULL)
1855_1_copy_InvokeMethod(1871_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))
1855_1_copy_InvokeMethod(1871_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(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:

1818_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x3[0])), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1[0]))) → 1818_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)), x1[0])

The TRS R consists of the following rules:

1818_0_copy_NONNULL(java.lang.Object(x0), NULL) → 1822_0_copy_Return(java.lang.Object(x0))
1855_1_copy_InvokeMethod(1822_0_copy_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))), NULL) → 1871_0_copy_Return
1855_1_copy_InvokeMethod(1871_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))) → 1871_0_copy_Return
1855_1_copy_InvokeMethod(1871_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x2))))) → 1871_0_copy_Return

The set Q consists of the following terms:

1818_0_copy_NONNULL(java.lang.Object(x0), NULL)
1855_1_copy_InvokeMethod(1822_0_copy_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))), NULL)
1855_1_copy_InvokeMethod(1871_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))
1855_1_copy_InvokeMethod(1871_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(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:

1818_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x3[0])), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1[0]))) → 1818_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)), x1[0])

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

1818_0_copy_NONNULL(java.lang.Object(x0), NULL)
1855_1_copy_InvokeMethod(1822_0_copy_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))), NULL)
1855_1_copy_InvokeMethod(1871_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))
1855_1_copy_InvokeMethod(1871_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(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].

1818_0_copy_NONNULL(java.lang.Object(x0), NULL)
1855_1_copy_InvokeMethod(1822_0_copy_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))), NULL)
1855_1_copy_InvokeMethod(1871_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))
1855_1_copy_InvokeMethod(1871_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x0)))))

(13) Obligation:

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

1818_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x3[0])), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1[0]))) → 1818_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)), x1[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:

1818_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x3[0])), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1[0]))) → 1818_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)), x1[0])
The graph contains the following edges 2 > 2

(15) YES

(16) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: SharingAnalysisRec.SharingAnalysisRec.appendNewList(I)LSharingAnalysisRec/SharingAnalysisRec;
SCC calls the following helper methods: SharingAnalysisRec.SharingAnalysisRec.appendNewList(I)LSharingAnalysisRec/SharingAnalysisRec;
Performed SCC analyses: UsedFieldsAnalysis

(17) SCCToIDPv1Proof (SOUND transformation)

Transformed FIGraph SCCs to IDPs. Log:

Generated 40 rules for P and 69 rules for R.

P rules:
1052_0_appendNewList_New(EOS(STATIC_1052), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1055_0_appendNewList_Duplicate(EOS(STATIC_1055), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1055_0_appendNewList_Duplicate(EOS(STATIC_1055), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1058_0_appendNewList_InvokeMethod(EOS(STATIC_1058), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1058_0_appendNewList_InvokeMethod(EOS(STATIC_1058), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1062_0_<init>_Load(EOS(STATIC_1062), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1062_0_<init>_Load(EOS(STATIC_1062), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1069_0_<init>_InvokeMethod(EOS(STATIC_1069), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1069_0_<init>_InvokeMethod(EOS(STATIC_1069), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1074_0_<init>_Return(EOS(STATIC_1074), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1074_0_<init>_Return(EOS(STATIC_1074), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1079_0_appendNewList_FieldAccess(EOS(STATIC_1079), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1079_0_appendNewList_FieldAccess(EOS(STATIC_1079), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1082_0_appendNewList_Load(EOS(STATIC_1082), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137)
1082_0_appendNewList_Load(EOS(STATIC_1082), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137) → 1087_0_appendNewList_InvokeMethod(EOS(STATIC_1087), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))
1087_0_appendNewList_InvokeMethod(EOS(STATIC_1087), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))) → 1092_0_random_FieldAccess(EOS(STATIC_1092), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))
1092_0_random_FieldAccess(EOS(STATIC_1092), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))) → 1102_0_random_FieldAccess(EOS(STATIC_1102), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(ARRAY(i101)))
1102_0_random_FieldAccess(EOS(STATIC_1102), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(ARRAY(i101))) → 1107_0_random_ArrayAccess(EOS(STATIC_1107), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(ARRAY(i101)), i138)
1107_0_random_ArrayAccess(EOS(STATIC_1107), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(ARRAY(i101)), i138) → 1111_0_random_ArrayAccess(EOS(STATIC_1111), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(ARRAY(i101)), i138)
1111_0_random_ArrayAccess(EOS(STATIC_1111), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(ARRAY(i101)), i138) → 1118_0_random_Store(EOS(STATIC_1118), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291) | <(i138, i101)
1118_0_random_Store(EOS(STATIC_1118), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291) → 1126_0_random_FieldAccess(EOS(STATIC_1126), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291)
1126_0_random_FieldAccess(EOS(STATIC_1126), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291) → 1129_0_random_ConstantStackPush(EOS(STATIC_1129), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291, i138)
1129_0_random_ConstantStackPush(EOS(STATIC_1129), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291, i138) → 1136_0_random_IntArithmetic(EOS(STATIC_1136), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291, i138, 1)
1136_0_random_IntArithmetic(EOS(STATIC_1136), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291, i138, matching1) → 1143_0_random_FieldAccess(EOS(STATIC_1143), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291, +(i138, 1)) | &&(>=(i138, 0), =(matching1, 1))
1143_0_random_FieldAccess(EOS(STATIC_1143), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291, i150) → 1148_0_random_Load(EOS(STATIC_1148), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291)
1148_0_random_Load(EOS(STATIC_1148), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291) → 1156_0_random_InvokeMethod(EOS(STATIC_1156), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291)
1156_0_random_InvokeMethod(EOS(STATIC_1156), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(o299sub)) → 1165_0_random_InvokeMethod(EOS(STATIC_1165), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(o299sub))
1165_0_random_InvokeMethod(EOS(STATIC_1165), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(o299sub)) → 1170_0_length_Load(EOS(STATIC_1170), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(o299sub), java.lang.Object(o299sub))
1170_0_length_Load(EOS(STATIC_1170), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(o299sub), java.lang.Object(o299sub)) → 1186_0_length_FieldAccess(EOS(STATIC_1186), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(o299sub), java.lang.Object(o299sub))
1186_0_length_FieldAccess(EOS(STATIC_1186), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.String(o308sub, i163)), java.lang.Object(java.lang.String(o308sub, i163))) → 1192_0_length_FieldAccess(EOS(STATIC_1192), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.String(o308sub, i163)), java.lang.Object(java.lang.String(o308sub, i163))) | &&(>=(i163, 0), >=(i164, 0))
1192_0_length_FieldAccess(EOS(STATIC_1192), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.String(o308sub, i163)), java.lang.Object(java.lang.String(o308sub, i163))) → 1200_0_length_Return(EOS(STATIC_1200), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.String(o308sub, i163)), i163)
1200_0_length_Return(EOS(STATIC_1200), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.String(o308sub, i163)), i163) → 1209_0_random_Return(EOS(STATIC_1209), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i163)
1209_0_random_Return(EOS(STATIC_1209), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i163) → 1215_0_appendNewList_FieldAccess(EOS(STATIC_1215), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i163)
1215_0_appendNewList_FieldAccess(EOS(STATIC_1215), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i163) → 1225_0_appendNewList_Load(EOS(STATIC_1225), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137)
1225_0_appendNewList_Load(EOS(STATIC_1225), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137) → 1233_0_appendNewList_ConstantStackPush(EOS(STATIC_1233), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, i137)
1233_0_appendNewList_ConstantStackPush(EOS(STATIC_1233), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, i137) → 1240_0_appendNewList_GT(EOS(STATIC_1240), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, i137, 1)
1240_0_appendNewList_GT(EOS(STATIC_1240), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i168, i168, matching1) → 1248_0_appendNewList_GT(EOS(STATIC_1248), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i168, i168, 1) | =(matching1, 1)
1248_0_appendNewList_GT(EOS(STATIC_1248), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i168, i168, matching1) → 1257_0_appendNewList_Load(EOS(STATIC_1257), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i168) | &&(>(i168, 1), =(matching1, 1))
1257_0_appendNewList_Load(EOS(STATIC_1257), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i168) → 1264_0_appendNewList_FieldAccess(EOS(STATIC_1264), i168, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))
1264_0_appendNewList_FieldAccess(EOS(STATIC_1264), i168, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))) → 1273_0_appendNewList_Load(EOS(STATIC_1273), i168, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1273_0_appendNewList_Load(EOS(STATIC_1273), i168, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1281_0_appendNewList_ConstantStackPush(EOS(STATIC_1281), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i168)
1281_0_appendNewList_ConstantStackPush(EOS(STATIC_1281), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i168) → 1291_0_appendNewList_IntArithmetic(EOS(STATIC_1291), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i168, 1)
1291_0_appendNewList_IntArithmetic(EOS(STATIC_1291), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i168, matching1) → 1299_0_appendNewList_InvokeMethod(EOS(STATIC_1299), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), -(i168, 1)) | &&(>(i168, 0), =(matching1, 1))
1299_0_appendNewList_InvokeMethod(EOS(STATIC_1299), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i180) → 1306_1_appendNewList_InvokeMethod(1306_0_appendNewList_Load(EOS(STATIC_1306), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i180), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i180)
1306_0_appendNewList_Load(EOS(STATIC_1306), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i180) → 1312_0_appendNewList_Load(EOS(STATIC_1312), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i180)
1312_0_appendNewList_Load(EOS(STATIC_1312), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i180) → 1051_0_appendNewList_Load(EOS(STATIC_1051), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i180)
1051_0_appendNewList_Load(EOS(STATIC_1051), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137) → 1052_0_appendNewList_New(EOS(STATIC_1052), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
R rules:
1107_0_random_ArrayAccess(EOS(STATIC_1107), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(ARRAY(i101)), i138) → 1112_0_random_ArrayAccess(EOS(STATIC_1112), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(ARRAY(i101)), i138)
1112_0_random_ArrayAccess(EOS(STATIC_1112), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(ARRAY(i101)), i138) → 1119_0_<init>_Load(EOS(STATIC_1119), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) | >=(i138, i101)
1119_0_<init>_Load(EOS(STATIC_1119), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1130_0_<init>_InvokeMethod(EOS(STATIC_1130), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1130_0_<init>_InvokeMethod(EOS(STATIC_1130), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1137_0_<init>_Load(EOS(STATIC_1137), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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)))))))
1137_0_<init>_Load(EOS(STATIC_1137), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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))))))) → 1150_0_<init>_InvokeMethod(EOS(STATIC_1150), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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)))))))
1150_0_<init>_InvokeMethod(EOS(STATIC_1150), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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))))))) → 1157_0_<init>_Load(EOS(STATIC_1157), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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)))))))
1156_0_random_InvokeMethod(EOS(STATIC_1156), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), NULL) → 1166_0_random_InvokeMethod(EOS(STATIC_1166), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), NULL)
1157_0_<init>_Load(EOS(STATIC_1157), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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))))))) → 1173_0_<init>_InvokeMethod(EOS(STATIC_1173), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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)))))))
1166_0_random_InvokeMethod(EOS(STATIC_1166), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), NULL) → 1172_0_random_InvokeMethod(EOS(STATIC_1172), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), NULL)
1172_0_random_InvokeMethod(EOS(STATIC_1172), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), NULL) → 1179_0_<init>_Load(EOS(STATIC_1179), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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))))))
1173_0_<init>_InvokeMethod(EOS(STATIC_1173), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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))))))) → 1180_0_<init>_Load(EOS(STATIC_1180), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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)))))))
1179_0_<init>_Load(EOS(STATIC_1179), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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)))))) → 1193_0_<init>_InvokeMethod(EOS(STATIC_1193), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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))))))
1180_0_<init>_Load(EOS(STATIC_1180), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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))))))) → 1195_0_<init>_InvokeMethod(EOS(STATIC_1195), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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)))))))
1193_0_<init>_InvokeMethod(EOS(STATIC_1193), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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)))))) → 1202_0_<init>_Load(EOS(STATIC_1202), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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))))))
1195_0_<init>_InvokeMethod(EOS(STATIC_1195), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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))))))) → 1203_0_<init>_Load(EOS(STATIC_1203), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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)))))))
1202_0_<init>_Load(EOS(STATIC_1202), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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)))))) → 1217_0_<init>_InvokeMethod(EOS(STATIC_1217), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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))))))
1203_0_<init>_Load(EOS(STATIC_1203), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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))))))) → 1219_0_<init>_InvokeMethod(EOS(STATIC_1219), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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)))))))
1217_0_<init>_InvokeMethod(EOS(STATIC_1217), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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)))))) → 1226_0_<init>_Load(EOS(STATIC_1226), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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))))))
1219_0_<init>_InvokeMethod(EOS(STATIC_1219), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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))))))) → 1228_0_<init>_Load(EOS(STATIC_1228), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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)))))))
1226_0_<init>_Load(EOS(STATIC_1226), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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)))))) → 1242_0_<init>_InvokeMethod(EOS(STATIC_1242), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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))))))
1228_0_<init>_Load(EOS(STATIC_1228), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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))))))) → 1235_0_<init>_Load(EOS(STATIC_1235), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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)))))))
1235_0_<init>_Load(EOS(STATIC_1235), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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))))))) → 1244_0_<init>_FieldAccess(EOS(STATIC_1244), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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)))))))
1240_0_appendNewList_GT(EOS(STATIC_1240), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i167, i167, matching1) → 1247_0_appendNewList_GT(EOS(STATIC_1247), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i167, i167, 1) | =(matching1, 1)
1242_0_<init>_InvokeMethod(EOS(STATIC_1242), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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)))))) → 1250_0_<init>_Load(EOS(STATIC_1250), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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))))))
1244_0_<init>_FieldAccess(EOS(STATIC_1244), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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))))))) → 1253_0_<init>_Load(EOS(STATIC_1253), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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)))))))
1247_0_appendNewList_GT(EOS(STATIC_1247), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i167, i167, matching1) → 1256_0_appendNewList_Load(EOS(STATIC_1256), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i167) | &&(<=(i167, 1), =(matching1, 1))
1250_0_<init>_Load(EOS(STATIC_1250), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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)))))) → 1266_0_<init>_InvokeMethod(EOS(STATIC_1266), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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))))))
1253_0_<init>_Load(EOS(STATIC_1253), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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))))))) → 1259_0_<init>_InvokeMethod(EOS(STATIC_1259), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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)))))))
1256_0_appendNewList_Load(EOS(STATIC_1256), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i167) → 1262_0_appendNewList_FieldAccess(EOS(STATIC_1262), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i167, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))
1259_0_<init>_InvokeMethod(EOS(STATIC_1259), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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))))))) → 1268_0_<init>_StackPop(EOS(STATIC_1268), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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)))))))
1262_0_appendNewList_FieldAccess(EOS(STATIC_1262), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i167, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))) → 1271_0_appendNewList_Return(EOS(STATIC_1271), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i167, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1266_0_<init>_InvokeMethod(EOS(STATIC_1266), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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)))))) → 1275_0_<init>_Load(EOS(STATIC_1275), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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))))))
1268_0_<init>_StackPop(EOS(STATIC_1268), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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))))))) → 1277_0_<init>_Return(EOS(STATIC_1277), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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)))))))
1275_0_<init>_Load(EOS(STATIC_1275), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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)))))) → 1283_0_<init>_Load(EOS(STATIC_1283), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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))))))
1277_0_<init>_Return(EOS(STATIC_1277), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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))))))) → 1284_0_<init>_Return(EOS(STATIC_1284), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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)))))))
1283_0_<init>_Load(EOS(STATIC_1283), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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)))))) → 1293_0_<init>_FieldAccess(EOS(STATIC_1293), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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))))))
1284_0_<init>_Return(EOS(STATIC_1284), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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))))))) → 1294_0_<init>_Return(EOS(STATIC_1294), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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)))))))
1293_0_<init>_FieldAccess(EOS(STATIC_1293), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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)))))) → 1301_0_<init>_Load(EOS(STATIC_1301), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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))))))
1294_0_<init>_Return(EOS(STATIC_1294), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, 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))))))) → 1302_0_<init>_Return(EOS(STATIC_1302), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1301_0_<init>_Load(EOS(STATIC_1301), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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)))))) → 1308_0_<init>_InvokeMethod(EOS(STATIC_1308), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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))))))
1302_0_<init>_Return(EOS(STATIC_1302), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1309_0_<init>_Return(EOS(STATIC_1309), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138)
1306_1_appendNewList_InvokeMethod(1271_0_appendNewList_Return(EOS(STATIC_1271), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), matching1, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), matching2) → 1334_0_appendNewList_Return(EOS(STATIC_1334), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 1, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 1, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) | &&(=(matching1, 1), =(matching2, 1))
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(EOS(STATIC_1323), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i193, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i193) → 1356_0_appendNewList_InvokeMethod(EOS(STATIC_1356), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i193, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i193, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))
1306_1_appendNewList_InvokeMethod(1349_0_appendNewList_Return(EOS(STATIC_1349), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i205) → 1382_0_appendNewList_Return(EOS(STATIC_1382), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))), i205, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1306_1_appendNewList_InvokeMethod(1374_0_appendNewList_InvokeMethod(EOS(STATIC_1374), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i220, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i220) → 1436_0_appendNewList_InvokeMethod(EOS(STATIC_1436), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i220, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i220, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))
1306_1_appendNewList_InvokeMethod(1461_0_appendNewList_InvokeMethod(EOS(STATIC_1461), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o457sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i236), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i289) → 1553_0_appendNewList_InvokeMethod(EOS(STATIC_1553), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))), i289, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o457sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i236)
1306_1_appendNewList_InvokeMethod(1503_0_appendNewList_Return(EOS(STATIC_1503), java.lang.Object(o526sub)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i351) → 1593_0_appendNewList_Return(EOS(STATIC_1593), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o524)))))))), i351, java.lang.Object(o526sub))
1306_1_appendNewList_InvokeMethod(1650_0_appendNewList_InvokeMethod(EOS(STATIC_1650), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o757sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o755)))))), i401), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i425) → 1688_0_appendNewList_InvokeMethod(EOS(STATIC_1688), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o755)))))))), i425, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o757sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o755)))))), i401)
1308_0_<init>_InvokeMethod(EOS(STATIC_1308), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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)))))) → 1315_0_<init>_StackPop(EOS(STATIC_1315), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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))))))
1309_0_<init>_Return(EOS(STATIC_1309), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138) → 1317_0_random_ArrayAccess(EOS(STATIC_1317), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138)
1315_0_<init>_StackPop(EOS(STATIC_1315), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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)))))) → 1321_0_<init>_Return(EOS(STATIC_1321), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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))))))
1317_0_random_ArrayAccess(EOS(STATIC_1317), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138) → 1323_0_appendNewList_InvokeMethod(EOS(STATIC_1323), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))
1321_0_<init>_Return(EOS(STATIC_1321), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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)))))) → 1330_0_<init>_Return(EOS(STATIC_1330), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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))))))
1330_0_<init>_Return(EOS(STATIC_1330), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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)))))) → 1337_0_<init>_Return(EOS(STATIC_1337), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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))))))
1334_0_appendNewList_Return(EOS(STATIC_1334), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), matching1, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), matching2, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1349_0_appendNewList_Return(EOS(STATIC_1349), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) | &&(=(matching1, 1), =(matching2, 1))
1337_0_<init>_Return(EOS(STATIC_1337), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 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)))))) → 1351_0_<init>_Return(EOS(STATIC_1351), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL)
1351_0_<init>_Return(EOS(STATIC_1351), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL) → 1360_0_random_InvokeMethod(EOS(STATIC_1360), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL)
1356_0_appendNewList_InvokeMethod(EOS(STATIC_1356), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i193, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i193, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))) → 1437_0_appendNewList_InvokeMethod(EOS(STATIC_1437), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i193, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i193, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))
1360_0_random_InvokeMethod(EOS(STATIC_1360), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL) → 1374_0_appendNewList_InvokeMethod(EOS(STATIC_1374), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))
1382_0_appendNewList_Return(EOS(STATIC_1382), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))), i205, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1484_0_appendNewList_Return(EOS(STATIC_1484), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))), i205, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1436_0_appendNewList_InvokeMethod(EOS(STATIC_1436), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i220, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i220, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))) → 1437_0_appendNewList_InvokeMethod(EOS(STATIC_1437), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i220, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i220, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))
1437_0_appendNewList_InvokeMethod(EOS(STATIC_1437), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i236, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o457sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i236, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))) → 1461_0_appendNewList_InvokeMethod(EOS(STATIC_1461), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o457sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i236)
1484_0_appendNewList_Return(EOS(STATIC_1484), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o524)))))), i267, java.lang.Object(o526sub)) → 1503_0_appendNewList_Return(EOS(STATIC_1503), java.lang.Object(o526sub))
1527_0_appendNewList_InvokeMethod(EOS(STATIC_1527), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o582)))))), i300, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o582)))), i299) → 1554_0_appendNewList_InvokeMethod(EOS(STATIC_1554), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o582)))))), i300, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o582)))), i299)
1553_0_appendNewList_InvokeMethod(EOS(STATIC_1553), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))), i289, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o457sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i236) → 1554_0_appendNewList_InvokeMethod(EOS(STATIC_1554), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))), i289, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o457sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i236)
1554_0_appendNewList_InvokeMethod(EOS(STATIC_1554), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o631)))))), i326, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o633sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o631)))), i325) → 1641_0_appendNewList_InvokeMethod(EOS(STATIC_1641), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o631)))))), i326, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o633sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o631)))), i325)
1593_0_appendNewList_Return(EOS(STATIC_1593), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o524)))))))), i351, java.lang.Object(o526sub)) → 1484_0_appendNewList_Return(EOS(STATIC_1484), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o524)))))))), i351, java.lang.Object(o526sub))
1641_0_appendNewList_InvokeMethod(EOS(STATIC_1641), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o755)))))), i401, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o757sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o755)))), i400) → 1650_0_appendNewList_InvokeMethod(EOS(STATIC_1650), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o757sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o755)))))), i401)
1688_0_appendNewList_InvokeMethod(EOS(STATIC_1688), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o755)))))))), i425, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o757sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o755)))))), i401) → 1641_0_appendNewList_InvokeMethod(EOS(STATIC_1641), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o755)))))))), i425, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o757sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o755)))))), i401)

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

P rules:
1052_0_appendNewList_New(EOS(STATIC_1052), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), x0, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1306_1_appendNewList_InvokeMethod(1052_0_appendNewList_New(EOS(STATIC_1052), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), -(x0, 1), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), -(x0, 1)) | >(x0, 1)
R rules:
1306_1_appendNewList_InvokeMethod(1271_0_appendNewList_Return(EOS(STATIC_1271), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 1, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), 1) → 1349_0_appendNewList_Return(EOS(STATIC_1349), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(EOS(STATIC_1323), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), x0, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), x0) → 1461_0_appendNewList_InvokeMethod(EOS(STATIC_1461), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), x0)
1306_1_appendNewList_InvokeMethod(1374_0_appendNewList_InvokeMethod(EOS(STATIC_1374), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), x0, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), x0) → 1461_0_appendNewList_InvokeMethod(EOS(STATIC_1461), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), x0)
1306_1_appendNewList_InvokeMethod(1349_0_appendNewList_Return(EOS(STATIC_1349), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), x0) → 1503_0_appendNewList_Return(EOS(STATIC_1503), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1306_1_appendNewList_InvokeMethod(1503_0_appendNewList_Return(EOS(STATIC_1503), java.lang.Object(x0)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), x1) → 1503_0_appendNewList_Return(EOS(STATIC_1503), java.lang.Object(x0))
1306_1_appendNewList_InvokeMethod(1650_0_appendNewList_InvokeMethod(EOS(STATIC_1650), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x1)))))), x2), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), x3) → 1650_0_appendNewList_InvokeMethod(EOS(STATIC_1650), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x1)))))))), x3)
1306_1_appendNewList_InvokeMethod(1461_0_appendNewList_InvokeMethod(EOS(STATIC_1461), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), x1), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), x2) → 1650_0_appendNewList_InvokeMethod(EOS(STATIC_1650), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))), x2)

Filtered ground terms:

1306_1_appendNewList_InvokeMethod(x1, x2, x3) → 1306_1_appendNewList_InvokeMethod(x1, x3)
SharingAnalysisRec.SharingAnalysisRec(x1, x2) → SharingAnalysisRec.SharingAnalysisRec(x2)
1052_0_appendNewList_New(x1, x2, x3, x4) → 1052_0_appendNewList_New(x3)
Cond_1052_0_appendNewList_New(x1, x2, x3, x4, x5) → Cond_1052_0_appendNewList_New(x1, x4)
1650_0_appendNewList_InvokeMethod(x1, x2, x3, x4) → 1650_0_appendNewList_InvokeMethod(x2, x3, x4)
1461_0_appendNewList_InvokeMethod(x1, x2, x3, x4) → 1461_0_appendNewList_InvokeMethod(x2, x4)
1503_0_appendNewList_Return(x1, x2) → 1503_0_appendNewList_Return(x2)
1349_0_appendNewList_Return(x1, x2) → 1349_0_appendNewList_Return
java.lang.NullPointerException(x1) → java.lang.NullPointerException
1374_0_appendNewList_InvokeMethod(x1, x2, x3, x4, x5) → 1374_0_appendNewList_InvokeMethod(x4)
java.lang.ArrayIndexOutOfBoundsException(x1) → java.lang.ArrayIndexOutOfBoundsException
java.lang.IndexOutOfBoundsException(x1) → java.lang.IndexOutOfBoundsException
1323_0_appendNewList_InvokeMethod(x1, x2, x3, x4, x5) → 1323_0_appendNewList_InvokeMethod(x4)
1271_0_appendNewList_Return(x1, x2, x3, x4) → 1271_0_appendNewList_Return

Filtered unneeded arguments:

1650_0_appendNewList_InvokeMethod(x1, x2, x3) → 1650_0_appendNewList_InvokeMethod(x2)
1461_0_appendNewList_InvokeMethod(x1, x2) → 1461_0_appendNewList_InvokeMethod(x1)

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

P rules:
1052_0_appendNewList_New(x0) → 1306_1_appendNewList_InvokeMethod(1052_0_appendNewList_New(-(x0, 1)), -(x0, 1)) | >(x0, 1)
R rules:
1306_1_appendNewList_InvokeMethod(1271_0_appendNewList_Return, 1) → 1349_0_appendNewList_Return
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0) → 1461_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException)))))
1306_1_appendNewList_InvokeMethod(1374_0_appendNewList_InvokeMethod(x0), x0) → 1461_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException)))))
1306_1_appendNewList_InvokeMethod(1349_0_appendNewList_Return, x0) → 1503_0_appendNewList_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))
1306_1_appendNewList_InvokeMethod(1503_0_appendNewList_Return(java.lang.Object(x0)), x1) → 1503_0_appendNewList_Return(java.lang.Object(x0))
1306_1_appendNewList_InvokeMethod(1650_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1))))))), x3) → 1650_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1)))))))))
1306_1_appendNewList_InvokeMethod(1461_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0))))), x2) → 1650_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))))))

Performed bisimulation on rules. Used the following equivalence classes: {[1271_0_appendNewList_Return, 1349_0_appendNewList_Return]=1271_0_appendNewList_Return, [1323_0_appendNewList_InvokeMethod_1, 1374_0_appendNewList_InvokeMethod_1]=1323_0_appendNewList_InvokeMethod_1}

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

P rules:
1052_0_APPENDNEWLIST_NEW(x0) → COND_1052_0_APPENDNEWLIST_NEW(>(x0, 1), x0)
COND_1052_0_APPENDNEWLIST_NEW(TRUE, x0) → 1052_0_APPENDNEWLIST_NEW(-(x0, 1))
R rules:
1306_1_appendNewList_InvokeMethod(1271_0_appendNewList_Return, 1) → 1271_0_appendNewList_Return
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0) → 1461_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException)))))
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0) → 1461_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException)))))
1306_1_appendNewList_InvokeMethod(1271_0_appendNewList_Return, x0) → 1503_0_appendNewList_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))
1306_1_appendNewList_InvokeMethod(1503_0_appendNewList_Return(java.lang.Object(x0)), x1) → 1503_0_appendNewList_Return(java.lang.Object(x0))
1306_1_appendNewList_InvokeMethod(1650_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1))))))), x3) → 1650_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1)))))))))
1306_1_appendNewList_InvokeMethod(1461_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0))))), x2) → 1650_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))))))

(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:
1306_1_appendNewList_InvokeMethod(1271_0_appendNewList_Return, 1) → 1271_0_appendNewList_Return
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0) → 1461_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException)))))
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0) → 1461_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException)))))
1306_1_appendNewList_InvokeMethod(1271_0_appendNewList_Return, x0) → 1503_0_appendNewList_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))
1306_1_appendNewList_InvokeMethod(1503_0_appendNewList_Return(java.lang.Object(x0)), x1) → 1503_0_appendNewList_Return(java.lang.Object(x0))
1306_1_appendNewList_InvokeMethod(1650_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1))))))), x3) → 1650_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1)))))))))
1306_1_appendNewList_InvokeMethod(1461_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0))))), x2) → 1650_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))))))

The integer pair graph contains the following rules and edges:
(0): 1052_0_APPENDNEWLIST_NEW(x0[0]) → COND_1052_0_APPENDNEWLIST_NEW(x0[0] > 1, x0[0])
(1): COND_1052_0_APPENDNEWLIST_NEW(TRUE, x0[1]) → 1052_0_APPENDNEWLIST_NEW(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:
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0)
1306_1_appendNewList_InvokeMethod(1271_0_appendNewList_Return, x0)
1306_1_appendNewList_InvokeMethod(1503_0_appendNewList_Return(java.lang.Object(x0)), x1)
1306_1_appendNewList_InvokeMethod(1650_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x0))))))), x1)
1306_1_appendNewList_InvokeMethod(1461_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0))))), x1)

(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@435879e8 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 1052_0_APPENDNEWLIST_NEW(x0) → COND_1052_0_APPENDNEWLIST_NEW(>(x0, 1), x0) the following chains were created:

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

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

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

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

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

We simplified constraint (5) using rule (IDP_SMT_SPLIT) which results in the following new constraint:
(6)    (x0[0] ≥ 0 ⇒ (U^Increasing(COND_1052_0_APPENDNEWLIST_NEW(>(x0[0], 1), x0[0])), ≥)∧[(-1)Bound*bni_22 + (4)bni_22] + [(2)bni_22]x0[0] ≥ 0∧[(-1)bso_23] ≥ 0)

For Pair COND_1052_0_APPENDNEWLIST_NEW(TRUE, x0) → 1052_0_APPENDNEWLIST_NEW(-(x0, 1)) the following chains were created:

We consider the chain COND_1052_0_APPENDNEWLIST_NEW(TRUE, x0[1]) → 1052_0_APPENDNEWLIST_NEW(-(x0[1], 1)) which results in the following constraint:
(7)    (COND_1052_0_APPENDNEWLIST_NEW(TRUE, x0[1])≥NonInfC∧COND_1052_0_APPENDNEWLIST_NEW(TRUE, x0[1])≥1052_0_APPENDNEWLIST_NEW(-(x0[1], 1))∧(U^Increasing(1052_0_APPENDNEWLIST_NEW(-(x0[1], 1))), ≥))

We simplified constraint (7) using rule (POLY_CONSTRAINTS) which results in the following new constraint:
(8)    ((U^Increasing(1052_0_APPENDNEWLIST_NEW(-(x0[1], 1))), ≥)∧[bni_24] = 0∧[2 + (-1)bso_25] ≥ 0)

We simplified constraint (8) using rule (IDP_POLY_SIMPLIFY) which results in the following new constraint:
(9)    ((U^Increasing(1052_0_APPENDNEWLIST_NEW(-(x0[1], 1))), ≥)∧[bni_24] = 0∧[2 + (-1)bso_25] ≥ 0)

We simplified constraint (9) using rule (POLY_REMOVE_MIN_MAX) which results in the following new constraint:
(10)    ((U^Increasing(1052_0_APPENDNEWLIST_NEW(-(x0[1], 1))), ≥)∧[bni_24] = 0∧[2 + (-1)bso_25] ≥ 0)

We simplified constraint (10) using rule (IDP_UNRESTRICTED_VARS) which results in the following new constraint:
(11)    ((U^Increasing(1052_0_APPENDNEWLIST_NEW(-(x0[1], 1))), ≥)∧[bni_24] = 0∧0 = 0∧[2 + (-1)bso_25] ≥ 0)

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

1052_0_APPENDNEWLIST_NEW(x0) → COND_1052_0_APPENDNEWLIST_NEW(>(x0, 1), x0)
- (x0[0] ≥ 0 ⇒ (U^Increasing(COND_1052_0_APPENDNEWLIST_NEW(>(x0[0], 1), x0[0])), ≥)∧[(-1)Bound*bni_22 + (4)bni_22] + [(2)bni_22]x0[0] ≥ 0∧[(-1)bso_23] ≥ 0)
COND_1052_0_APPENDNEWLIST_NEW(TRUE, x0) → 1052_0_APPENDNEWLIST_NEW(-(x0, 1))
- ((U^Increasing(1052_0_APPENDNEWLIST_NEW(-(x0[1], 1))), ≥)∧[bni_24] = 0∧0 = 0∧[2 + (-1)bso_25] ≥ 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(1306_1_appendNewList_InvokeMethod(x₁, x₂)) = [-1]
POL(1271_0_appendNewList_Return) = [-1]
POL(1) = [1]
POL(1323_0_appendNewList_InvokeMethod(x₁)) = [-1]
POL(1461_0_appendNewList_InvokeMethod(x₁)) = [-1]
POL(java.lang.Object(x₁)) = [-1]
POL(java.lang.Throwable(x₁)) = [-1]
POL(java.lang.Exception(x₁)) = [-1]
POL(java.lang.RuntimeException(x₁)) = [-1]
POL(java.lang.IndexOutOfBoundsException) = [-1]
POL(java.lang.NullPointerException) = [-1]
POL(1503_0_appendNewList_Return(x₁)) = [-1]
POL(SharingAnalysisRec.SharingAnalysisRec(x₁)) = [-1]
POL(NULL) = [-1]
POL(1650_0_appendNewList_InvokeMethod(x₁)) = [-1]
POL(1052_0_APPENDNEWLIST_NEW(x₁)) = [2]x₁
POL(COND_1052_0_APPENDNEWLIST_NEW(x₁, x₂)) = [2]x₂
POL(>(x₁, x₂)) = [-1]
POL(-(x₁, x₂)) = x₁ + [-1]x₂

The following pairs are in P_>:

COND_1052_0_APPENDNEWLIST_NEW(TRUE, x0[1]) → 1052_0_APPENDNEWLIST_NEW(-(x0[1], 1))

The following pairs are in P_bound:

1052_0_APPENDNEWLIST_NEW(x0[0]) → COND_1052_0_APPENDNEWLIST_NEW(>(x0[0], 1), x0[0])

The following pairs are in P_≥:

1052_0_APPENDNEWLIST_NEW(x0[0]) → COND_1052_0_APPENDNEWLIST_NEW(>(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:
1306_1_appendNewList_InvokeMethod(1271_0_appendNewList_Return, 1) → 1271_0_appendNewList_Return
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0) → 1461_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException)))))
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0) → 1461_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException)))))
1306_1_appendNewList_InvokeMethod(1271_0_appendNewList_Return, x0) → 1503_0_appendNewList_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))
1306_1_appendNewList_InvokeMethod(1503_0_appendNewList_Return(java.lang.Object(x0)), x1) → 1503_0_appendNewList_Return(java.lang.Object(x0))
1306_1_appendNewList_InvokeMethod(1650_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1))))))), x3) → 1650_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1)))))))))
1306_1_appendNewList_InvokeMethod(1461_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0))))), x2) → 1650_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))))))

The integer pair graph contains the following rules and edges:
(0): 1052_0_APPENDNEWLIST_NEW(x0[0]) → COND_1052_0_APPENDNEWLIST_NEW(x0[0] > 1, x0[0])

The set Q consists of the following terms:
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0)
1306_1_appendNewList_InvokeMethod(1271_0_appendNewList_Return, x0)
1306_1_appendNewList_InvokeMethod(1503_0_appendNewList_Return(java.lang.Object(x0)), x1)
1306_1_appendNewList_InvokeMethod(1650_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x0))))))), x1)
1306_1_appendNewList_InvokeMethod(1461_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0))))), x1)

(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:
1306_1_appendNewList_InvokeMethod(1271_0_appendNewList_Return, 1) → 1271_0_appendNewList_Return
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0) → 1461_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException)))))
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0) → 1461_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException)))))
1306_1_appendNewList_InvokeMethod(1271_0_appendNewList_Return, x0) → 1503_0_appendNewList_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))
1306_1_appendNewList_InvokeMethod(1503_0_appendNewList_Return(java.lang.Object(x0)), x1) → 1503_0_appendNewList_Return(java.lang.Object(x0))
1306_1_appendNewList_InvokeMethod(1650_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1))))))), x3) → 1650_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1)))))))))
1306_1_appendNewList_InvokeMethod(1461_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0))))), x2) → 1650_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))))))

The integer pair graph contains the following rules and edges:
(1): COND_1052_0_APPENDNEWLIST_NEW(TRUE, x0[1]) → 1052_0_APPENDNEWLIST_NEW(x0[1] - 1)

The set Q consists of the following terms:
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0)
1306_1_appendNewList_InvokeMethod(1271_0_appendNewList_Return, x0)
1306_1_appendNewList_InvokeMethod(1503_0_appendNewList_Return(java.lang.Object(x0)), x1)
1306_1_appendNewList_InvokeMethod(1650_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x0))))))), x1)
1306_1_appendNewList_InvokeMethod(1461_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0))))), x1)

(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