Termination proof of /tmp/tmpcghObG/LinkedList.jar

Termination of the given JBC could be proven:

0 JBC

↳1 JBCToGraph (⇒, 1810 ms)

↳2 JBCTerminationGraph

↳3 TerminationGraphToSCCProof (⇒, 0 ms)

↳4 AND

    ↳5 JBCTerminationSCC

        ↳6 SCCToIDPv1Proof (⇒, 60 ms)

        ↳7 IDP

        ↳8 IDPtoQDPProof (⇒, 10 ms)

        ↳9 QDP

        ↳10 QDPSizeChangeProof (⇔, 0 ms)

        ↳11 YES

    ↳12 JBCTerminationSCC

        ↳13 SCCToIDPv1Proof (⇒, 70 ms)

        ↳14 IDP

        ↳15 IDPtoQDPProof (⇒, 0 ms)

        ↳16 QDP

        ↳17 QDPSizeChangeProof (⇔, 0 ms)

        ↳18 YES

    ↳19 JBCTerminationSCC

        ↳20 SCCToIDPv1Proof (⇒, 2130 ms)

        ↳21 IDP

        ↳22 IDPNonInfProof (⇒, 160 ms)

        ↳23 IDP

        ↳24 IDependencyGraphProof (⇔, 0 ms)

        ↳25 TRUE

(0) Obligation:

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

public class Entry
{
    private String item;
    private int count;

    public Entry(String itemData, int countData)
    {
        item = itemData;
        count = countData;
    }

    public String toString( )
    {
        return (item + " " + count);
    }

    public boolean equals(Object otherObject)
    {
        if (otherObject == null)
            return false;
        else if (getClass( ) != otherObject.getClass( ))
            return false;
        else
        {
            Entry otherEntry = (Entry)otherObject;
            return (item.equals(otherEntry.item) 
                      && (count == otherEntry.count));
        }
    }

   // <There should be other constructors and methods, including accessor and 
   //                       mutator methods, but we do not use them in this demonstration.>
}



public class LinkedList<T>

{

    private class Node<T>

    {

        private T data;

        private Node<T> link;



        public Node( )

        {

             data = null;

             link = null;

        }



        public Node(T newData, Node<T> linkValue)

        {

            data = newData;

            link = linkValue;

        }

     }//End of Node<T> inner class



    private Node<T> head;



    public LinkedList( )

    {

        head = null;

    }



    /**

     Adds a node at the start of the list with the specified data.

     The added node will be the first node in the list.

    */

    public void addToStart(T itemData)

    {

        this.head = new Node<T>(itemData, this.head);

    }



    /**

     Removes the head node and returns true if the list contains at least

     one node. Returns false if the list is empty.

    */

    public boolean deleteHeadNode( )

    {

        if (head != null)

        {

            head = head.link;

            return true;

        }

        else

            return false;

    }



    /**

     Returns the number of nodes in the list.

    */

    public int size( )

    {

        int count = 0;

        Node<T> position = head;

        while (position != null)

        {

            count++;

            position = position.link;

        }

        return count;

    }



    public boolean contains(T item)

    {

        return (find(item) != null);

    }



    /**

     Finds the first node containing the target item, and returns a

     reference to that node. If target is not in the list, null is returned.

    */

    private Node<T> find(T target)

    {

        Node<T> position = head;

        T itemAtPosition;

        while (position != null)

        {

            itemAtPosition = position.data;

            if (itemAtPosition.equals(target))

                return position;

            position = position.link;

        }

        return null; //target was not found

    }



    /**

     Finds the first node containing the target and returns a reference

      to the data in that node. If target is not in the list, null is returned.

    */

    public T findData(T target)

    {

        return find(target).data;

    }



    public void outputList( )

    {

        Node<T> position = head;

        while (position != null)

        {

            //System.out.println(position.data);

            position = position.link;

        }

    }



    public boolean isEmpty( )

    {

        return (head == null);

    }



    public void clear( )

    {

        head = null;

    }



   /*

    For two lists to be equal they must contain the same data items in

    the same order. The equals method of T is used to compare data items.

   */

   public boolean equals(Object otherObject)

    {

        if (!(otherObject instanceof LinkedList))

            return false;

        else

        {

            LinkedList<T> otherList = (LinkedList<T>)otherObject;

            if (size( ) != otherList.size( ))

                return false;

            Node<T> position = head;

            Node<T> otherPosition = otherList.head;

            while (position != null)

            {

                if (!(position.data.equals(otherPosition.data)))

                    return false;

                position = position.link;

                otherPosition = otherPosition.link;

            }

            return true; //no mismatch was not found

        }

    }



   public static void main(String[] args)

    {

        LinkedList<Entry> list = new LinkedList<Entry>( );



	for (int i = 1; i < args.length; i++) {

	    Entry entry = new Entry(args[i], i++);

	    list.addToStart(entry);

	    entry = new Entry(args[i], i++);

	    list.addToStart(entry);

	    entry = new Entry(args[i], i++);

	    list.addToStart(entry);

	}



	list.size(); // remove it!

        //System.out.println("List has " + list.size( ) 

	//                  + " nodes.");

        list.outputList( );

        //System.out.println("End of list.");

    }

}

(1) JBCToGraph (SOUND transformation)

Constructed TerminationGraph.

(2) Obligation:

Termination Graph based on JBC Program:
LinkedList.main([Ljava/lang/String;)V: Graph of 316 nodes with 3 SCCs.

(3) TerminationGraphToSCCProof (SOUND transformation)

Splitted TerminationGraph to 3 SCCss.

(4) Complex Obligation (AND)

(5) Obligation:

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

(6) SCCToIDPv1Proof (SOUND transformation)

Transformed FIGraph SCCs to IDPs. Log:

Generated 20 rules for P and 0 rules for R.

P rules:
2769_0_outputList_NULL(EOS(STATIC_2769), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2160sub), java.lang.Object(o2160sub)) → 2771_0_outputList_NULL(EOS(STATIC_2771), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2160sub), java.lang.Object(o2160sub))
2771_0_outputList_NULL(EOS(STATIC_2771), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2160sub), java.lang.Object(o2160sub)) → 2774_0_outputList_Load(EOS(STATIC_2774), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2160sub))
2774_0_outputList_Load(EOS(STATIC_2774), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2160sub)) → 2777_0_outputList_InvokeMethod(EOS(STATIC_2777), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2160sub))
2777_0_outputList_InvokeMethod(EOS(STATIC_2777), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2160sub)) → 2780_0_access$000_Load(EOS(STATIC_2780), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2160sub), java.lang.Object(o2160sub))
2780_0_access$000_Load(EOS(STATIC_2780), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2160sub), java.lang.Object(o2160sub)) → 2784_0_access$000_FieldAccess(EOS(STATIC_2784), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2160sub), java.lang.Object(o2160sub))
2784_0_access$000_FieldAccess(EOS(STATIC_2784), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2160sub), java.lang.Object(o2160sub)) → 2786_0_access$000_FieldAccess(EOS(STATIC_2786), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2160sub), java.lang.Object(o2160sub))
2784_0_access$000_FieldAccess(EOS(STATIC_2784), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2160sub), java.lang.Object(o2160sub)) → 2787_0_access$000_FieldAccess(EOS(STATIC_2787), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2160sub), java.lang.Object(o2160sub))
2786_0_access$000_FieldAccess(EOS(STATIC_2786), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o2178)), java.lang.Object(LinkedList$Node(EOC, o2178))) → 2789_0_access$000_FieldAccess(EOS(STATIC_2789), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o2178)), java.lang.Object(LinkedList$Node(EOC, o2178)))
2789_0_access$000_FieldAccess(EOS(STATIC_2789), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o2178)), java.lang.Object(LinkedList$Node(EOC, o2178))) → 2792_0_access$000_Return(EOS(STATIC_2792), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o2178)), o2178)
2792_0_access$000_Return(EOS(STATIC_2792), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o2178)), o2178) → 2795_0_outputList_Store(EOS(STATIC_2795), java.lang.Object(LinkedList(EOC)), o2178)
2795_0_outputList_Store(EOS(STATIC_2795), java.lang.Object(LinkedList(EOC)), o2178) → 2798_0_outputList_JMP(EOS(STATIC_2798), java.lang.Object(LinkedList(EOC)), o2178)
2798_0_outputList_JMP(EOS(STATIC_2798), java.lang.Object(LinkedList(EOC)), o2178) → 2802_0_outputList_Load(EOS(STATIC_2802), java.lang.Object(LinkedList(EOC)), o2178)
2802_0_outputList_Load(EOS(STATIC_2802), java.lang.Object(LinkedList(EOC)), o2178) → 2767_0_outputList_Load(EOS(STATIC_2767), java.lang.Object(LinkedList(EOC)), o2178)
2767_0_outputList_Load(EOS(STATIC_2767), java.lang.Object(LinkedList(EOC)), o2141) → 2769_0_outputList_NULL(EOS(STATIC_2769), java.lang.Object(LinkedList(EOC)), o2141, o2141)
2787_0_access$000_FieldAccess(EOS(STATIC_2787), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o2182)), java.lang.Object(LinkedList$Node(EOC, o2182))) → 2790_0_access$000_FieldAccess(EOS(STATIC_2790), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o2182)), java.lang.Object(LinkedList$Node(EOC, o2182)))
2790_0_access$000_FieldAccess(EOS(STATIC_2790), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o2182)), java.lang.Object(LinkedList$Node(EOC, o2182))) → 2793_0_access$000_Return(EOS(STATIC_2793), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o2182)), o2182)
2793_0_access$000_Return(EOS(STATIC_2793), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o2182)), o2182) → 2796_0_outputList_Store(EOS(STATIC_2796), java.lang.Object(LinkedList(EOC)), o2182)
2796_0_outputList_Store(EOS(STATIC_2796), java.lang.Object(LinkedList(EOC)), o2182) → 2799_0_outputList_JMP(EOS(STATIC_2799), java.lang.Object(LinkedList(EOC)), o2182)
2799_0_outputList_JMP(EOS(STATIC_2799), java.lang.Object(LinkedList(EOC)), o2182) → 2803_0_outputList_Load(EOS(STATIC_2803), java.lang.Object(LinkedList(EOC)), o2182)
2803_0_outputList_Load(EOS(STATIC_2803), java.lang.Object(LinkedList(EOC)), o2182) → 2767_0_outputList_Load(EOS(STATIC_2767), java.lang.Object(LinkedList(EOC)), o2182)
R rules:

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

P rules:
2769_0_outputList_NULL(EOS(STATIC_2769), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, x0)), java.lang.Object(LinkedList$Node(EOC, x0))) → 2769_0_outputList_NULL(EOS(STATIC_2769), java.lang.Object(LinkedList(EOC)), x0, x0)
R rules:

Filtered ground terms:

2769_0_outputList_NULL(x1, x2, x3, x4) → 2769_0_outputList_NULL(x3, x4)
LinkedList(x1) → LinkedList
EOS(x1) → EOS
LinkedList$Node(x1, x2) → LinkedList$Node(x2)

Filtered duplicate args:

2769_0_outputList_NULL(x1, x2) → 2769_0_outputList_NULL(x2)

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

P rules:
2769_0_outputList_NULL(java.lang.Object(LinkedList$Node(x0))) → 2769_0_outputList_NULL(x0)
R rules:

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

P rules:
2769_0_OUTPUTLIST_NULL(java.lang.Object(LinkedList$Node(x0))) → 2769_0_OUTPUTLIST_NULL(x0)
R rules:

(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

R is empty.

The integer pair graph contains the following rules and edges:
(0): 2769_0_OUTPUTLIST_NULL(java.lang.Object(LinkedList$Node(x0[0]))) → 2769_0_OUTPUTLIST_NULL(x0[0])

(0) -> (0), if (x0[0] →^* java.lang.Object(LinkedList$Node(x0[0]')))

The set Q is empty.

(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:

2769_0_OUTPUTLIST_NULL(java.lang.Object(LinkedList$Node(x0[0]))) → 2769_0_OUTPUTLIST_NULL(x0[0])

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

(10) 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:

2769_0_OUTPUTLIST_NULL(java.lang.Object(LinkedList$Node(x0[0]))) → 2769_0_OUTPUTLIST_NULL(x0[0])
The graph contains the following edges 1 > 1

(11) YES

(12) Obligation:

(13) SCCToIDPv1Proof (SOUND transformation)

Transformed FIGraph SCCs to IDPs. Log:

Generated 21 rules for P and 0 rules for R.

P rules:
2625_0_size_NULL(EOS(STATIC_2625), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2019sub), java.lang.Object(o2019sub)) → 2631_0_size_NULL(EOS(STATIC_2631), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2019sub), java.lang.Object(o2019sub))
2631_0_size_NULL(EOS(STATIC_2631), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2019sub), java.lang.Object(o2019sub)) → 2638_0_size_Inc(EOS(STATIC_2638), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2019sub))
2638_0_size_Inc(EOS(STATIC_2638), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2019sub)) → 2642_0_size_Load(EOS(STATIC_2642), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2019sub))
2642_0_size_Load(EOS(STATIC_2642), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2019sub)) → 2649_0_size_InvokeMethod(EOS(STATIC_2649), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2019sub))
2649_0_size_InvokeMethod(EOS(STATIC_2649), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2019sub)) → 2656_0_access$000_Load(EOS(STATIC_2656), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2019sub), java.lang.Object(o2019sub))
2656_0_access$000_Load(EOS(STATIC_2656), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2019sub), java.lang.Object(o2019sub)) → 2670_0_access$000_FieldAccess(EOS(STATIC_2670), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2019sub), java.lang.Object(o2019sub))
2670_0_access$000_FieldAccess(EOS(STATIC_2670), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2019sub), java.lang.Object(o2019sub)) → 2678_0_access$000_FieldAccess(EOS(STATIC_2678), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2019sub), java.lang.Object(o2019sub))
2670_0_access$000_FieldAccess(EOS(STATIC_2670), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2019sub), java.lang.Object(o2019sub)) → 2679_0_access$000_FieldAccess(EOS(STATIC_2679), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o2019sub), java.lang.Object(o2019sub))
2678_0_access$000_FieldAccess(EOS(STATIC_2678), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o2038)), java.lang.Object(LinkedList$Node(EOC, o2038))) → 2687_0_access$000_FieldAccess(EOS(STATIC_2687), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o2038)), java.lang.Object(LinkedList$Node(EOC, o2038)))
2687_0_access$000_FieldAccess(EOS(STATIC_2687), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o2038)), java.lang.Object(LinkedList$Node(EOC, o2038))) → 2697_0_access$000_Return(EOS(STATIC_2697), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o2038)), o2038)
2697_0_access$000_Return(EOS(STATIC_2697), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o2038)), o2038) → 2707_0_size_Store(EOS(STATIC_2707), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o2038)
2707_0_size_Store(EOS(STATIC_2707), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o2038) → 2717_0_size_JMP(EOS(STATIC_2717), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o2038)
2717_0_size_JMP(EOS(STATIC_2717), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o2038) → 2734_0_size_Load(EOS(STATIC_2734), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o2038)
2734_0_size_Load(EOS(STATIC_2734), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o2038) → 2619_0_size_Load(EOS(STATIC_2619), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o2038)
2619_0_size_Load(EOS(STATIC_2619), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o2004) → 2625_0_size_NULL(EOS(STATIC_2625), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o2004, o2004)
2679_0_access$000_FieldAccess(EOS(STATIC_2679), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o2042)), java.lang.Object(LinkedList$Node(EOC, o2042))) → 2688_0_access$000_FieldAccess(EOS(STATIC_2688), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o2042)), java.lang.Object(LinkedList$Node(EOC, o2042)))
2688_0_access$000_FieldAccess(EOS(STATIC_2688), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o2042)), java.lang.Object(LinkedList$Node(EOC, o2042))) → 2699_0_access$000_Return(EOS(STATIC_2699), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o2042)), o2042)
2699_0_access$000_Return(EOS(STATIC_2699), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o2042)), o2042) → 2709_0_size_Store(EOS(STATIC_2709), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o2042)
2709_0_size_Store(EOS(STATIC_2709), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o2042) → 2720_0_size_JMP(EOS(STATIC_2720), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o2042)
2720_0_size_JMP(EOS(STATIC_2720), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o2042) → 2739_0_size_Load(EOS(STATIC_2739), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o2042)
2739_0_size_Load(EOS(STATIC_2739), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o2042) → 2619_0_size_Load(EOS(STATIC_2619), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o2042)
R rules:

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

P rules:
2625_0_size_NULL(EOS(STATIC_2625), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, x0)), java.lang.Object(LinkedList$Node(EOC, x0))) → 2625_0_size_NULL(EOS(STATIC_2625), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), x0, x0)
R rules:

Filtered ground terms:

2625_0_size_NULL(x1, x2, x3, x4, x5) → 2625_0_size_NULL(x4, x5)
LinkedList(x1) → LinkedList
EOS(x1) → EOS
LinkedList$Node(x1, x2) → LinkedList$Node(x2)

Filtered duplicate args:

2625_0_size_NULL(x1, x2) → 2625_0_size_NULL(x2)

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

P rules:
2625_0_size_NULL(java.lang.Object(LinkedList$Node(x0))) → 2625_0_size_NULL(x0)
R rules:

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

P rules:
2625_0_SIZE_NULL(java.lang.Object(LinkedList$Node(x0))) → 2625_0_SIZE_NULL(x0)
R rules:

(14) Obligation:

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

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

The following domains are used:
none

R is empty.

The integer pair graph contains the following rules and edges:
(0): 2625_0_SIZE_NULL(java.lang.Object(LinkedList$Node(x0[0]))) → 2625_0_SIZE_NULL(x0[0])

(0) -> (0), if (x0[0] →^* java.lang.Object(LinkedList$Node(x0[0]')))

The set Q is empty.

(15) IDPtoQDPProof (SOUND transformation)

Represented integers and predefined function symbols by Terms

(16) Obligation:

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

2625_0_SIZE_NULL(java.lang.Object(LinkedList$Node(x0[0]))) → 2625_0_SIZE_NULL(x0[0])

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

(17) 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:

2625_0_SIZE_NULL(java.lang.Object(LinkedList$Node(x0[0]))) → 2625_0_SIZE_NULL(x0[0])
The graph contains the following edges 1 > 1

(18) YES

(19) Obligation:

(20) SCCToIDPv1Proof (SOUND transformation)

Transformed FIGraph SCCs to IDPs. Log:

Generated 140 rules for P and 0 rules for R.

P rules:
2358_0_main_Load(EOS(STATIC_2358), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, i87) → 2359_0_main_ArrayLength(EOS(STATIC_2359), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, i87, java.lang.Object(ARRAY(i16)))
2359_0_main_ArrayLength(EOS(STATIC_2359), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, i87, java.lang.Object(ARRAY(i16))) → 2360_0_main_GE(EOS(STATIC_2360), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, i87, i16) | >=(i16, 0)
2360_0_main_GE(EOS(STATIC_2360), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, i87, i16) → 2362_0_main_GE(EOS(STATIC_2362), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, i87, i16)
2362_0_main_GE(EOS(STATIC_2362), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, i87, i16) → 2364_0_main_New(EOS(STATIC_2364), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87) | <(i87, i16)
2364_0_main_New(EOS(STATIC_2364), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87) → 2366_0_main_Duplicate(EOS(STATIC_2366), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, java.lang.Object(Entry(EOC)))
2366_0_main_Duplicate(EOS(STATIC_2366), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, java.lang.Object(Entry(EOC))) → 2368_0_main_Load(EOS(STATIC_2368), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)))
2368_0_main_Load(EOS(STATIC_2368), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC))) → 2369_0_main_Load(EOS(STATIC_2369), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)))
2369_0_main_Load(EOS(STATIC_2369), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16))) → 2371_0_main_ArrayAccess(EOS(STATIC_2371), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i87)
2371_0_main_ArrayAccess(EOS(STATIC_2371), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i87) → 2373_0_main_ArrayAccess(EOS(STATIC_2373), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i87)
2373_0_main_ArrayAccess(EOS(STATIC_2373), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i87) → 2376_0_main_Load(EOS(STATIC_2376), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859) | <(i87, i16)
2376_0_main_Load(EOS(STATIC_2376), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859) → 2379_0_main_Inc(EOS(STATIC_2379), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87)
2379_0_main_Inc(EOS(STATIC_2379), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87) → 2381_0_main_InvokeMethod(EOS(STATIC_2381), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), +(i87, 1), java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87) | >(i87, 0)
2381_0_main_InvokeMethod(EOS(STATIC_2381), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87) → 2384_0_<init>_Load(EOS(STATIC_2384), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87, java.lang.Object(Entry(EOC)), o1859, i87)
2384_0_<init>_Load(EOS(STATIC_2384), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87, java.lang.Object(Entry(EOC)), o1859, i87) → 2390_0_<init>_InvokeMethod(EOS(STATIC_2390), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87, java.lang.Object(Entry(EOC)), o1859, i87, java.lang.Object(Entry(EOC)))
2390_0_<init>_InvokeMethod(EOS(STATIC_2390), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87, java.lang.Object(Entry(EOC)), o1859, i87, java.lang.Object(Entry(EOC))) → 2394_0_<init>_Load(EOS(STATIC_2394), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87, java.lang.Object(Entry(EOC)), o1859, i87)
2394_0_<init>_Load(EOS(STATIC_2394), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87, java.lang.Object(Entry(EOC)), o1859, i87) → 2398_0_<init>_Load(EOS(STATIC_2398), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87, java.lang.Object(Entry(EOC)), o1859, i87, java.lang.Object(Entry(EOC)))
2398_0_<init>_Load(EOS(STATIC_2398), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87, java.lang.Object(Entry(EOC)), o1859, i87, java.lang.Object(Entry(EOC))) → 2401_0_<init>_FieldAccess(EOS(STATIC_2401), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87, java.lang.Object(Entry(EOC)), i87, java.lang.Object(Entry(EOC)), o1859)
2401_0_<init>_FieldAccess(EOS(STATIC_2401), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87, java.lang.Object(Entry(EOC)), i87, java.lang.Object(Entry(EOC)), o1859) → 2404_0_<init>_Load(EOS(STATIC_2404), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87, java.lang.Object(Entry(EOC)), i87)
2404_0_<init>_Load(EOS(STATIC_2404), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87, java.lang.Object(Entry(EOC)), i87) → 2408_0_<init>_Load(EOS(STATIC_2408), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87, i87, java.lang.Object(Entry(EOC)))
2408_0_<init>_Load(EOS(STATIC_2408), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87, i87, java.lang.Object(Entry(EOC))) → 2410_0_<init>_FieldAccess(EOS(STATIC_2410), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87, java.lang.Object(Entry(EOC)), i87)
2410_0_<init>_FieldAccess(EOS(STATIC_2410), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87, java.lang.Object(Entry(EOC)), i87) → 2414_0_<init>_Return(EOS(STATIC_2414), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87)
2414_0_<init>_Return(EOS(STATIC_2414), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1859, i87) → 2418_0_main_Store(EOS(STATIC_2418), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)))
2418_0_main_Store(EOS(STATIC_2418), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC))) → 2421_0_main_Load(EOS(STATIC_2421), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)))
2421_0_main_Load(EOS(STATIC_2421), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC))) → 2425_0_main_Load(EOS(STATIC_2425), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)))
2425_0_main_Load(EOS(STATIC_2425), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944))) → 2428_0_main_InvokeMethod(EOS(STATIC_2428), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)))
2428_0_main_InvokeMethod(EOS(STATIC_2428), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC))) → 2432_0_addToStart_Load(EOS(STATIC_2432), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)))
2432_0_addToStart_Load(EOS(STATIC_2432), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC))) → 2439_0_addToStart_New(EOS(STATIC_2439), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)))
2439_0_addToStart_New(EOS(STATIC_2439), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944))) → 2443_0_addToStart_Duplicate(EOS(STATIC_2443), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)))
2443_0_addToStart_Duplicate(EOS(STATIC_2443), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC))) → 2447_0_addToStart_Load(EOS(STATIC_2447), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2447_0_addToStart_Load(EOS(STATIC_2447), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2450_0_addToStart_Load(EOS(STATIC_2450), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)))
2450_0_addToStart_Load(EOS(STATIC_2450), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944))) → 2454_0_addToStart_Load(EOS(STATIC_2454), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)))
2454_0_addToStart_Load(EOS(STATIC_2454), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC))) → 2458_0_addToStart_FieldAccess(EOS(STATIC_2458), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)))
2458_0_addToStart_FieldAccess(EOS(STATIC_2458), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944))) → 2463_0_addToStart_InvokeMethod(EOS(STATIC_2463), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510)
2463_0_addToStart_InvokeMethod(EOS(STATIC_2463), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510) → 2468_0_<init>_Load(EOS(STATIC_2468), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510)
2468_0_<init>_Load(EOS(STATIC_2468), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510) → 2477_0_<init>_Load(EOS(STATIC_2477), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)))
2477_0_<init>_Load(EOS(STATIC_2477), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC))) → 2480_0_<init>_FieldAccess(EOS(STATIC_2480), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)))
2480_0_<init>_FieldAccess(EOS(STATIC_2480), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944))) → 2483_0_<init>_Load(EOS(STATIC_2483), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), o18510)
2483_0_<init>_Load(EOS(STATIC_2483), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), o18510) → 2488_0_<init>_InvokeMethod(EOS(STATIC_2488), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)))
2488_0_<init>_InvokeMethod(EOS(STATIC_2488), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC))) → 2492_0_<init>_Load(EOS(STATIC_2492), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), o18510)
2492_0_<init>_Load(EOS(STATIC_2492), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), o18510) → 2498_0_<init>_Load(EOS(STATIC_2498), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)))
2498_0_<init>_Load(EOS(STATIC_2498), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC))) → 2502_0_<init>_FieldAccess(EOS(STATIC_2502), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)))
2502_0_<init>_FieldAccess(EOS(STATIC_2502), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC))) → 2506_0_<init>_Load(EOS(STATIC_2506), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), o18510)
2506_0_<init>_Load(EOS(STATIC_2506), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), o18510) → 2508_0_<init>_Load(EOS(STATIC_2508), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, o18510, java.lang.Object(LinkedList$Node(EOC)))
2508_0_<init>_Load(EOS(STATIC_2508), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, o18510, java.lang.Object(LinkedList$Node(EOC))) → 2511_0_<init>_FieldAccess(EOS(STATIC_2511), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), o18510)
2511_0_<init>_FieldAccess(EOS(STATIC_2511), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510, java.lang.Object(LinkedList$Node(EOC)), o18510) → 2515_0_<init>_Return(EOS(STATIC_2515), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510)
2515_0_<init>_Return(EOS(STATIC_2515), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), o18510) → 2523_0_addToStart_FieldAccess(EOS(STATIC_2523), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC)))
2523_0_addToStart_FieldAccess(EOS(STATIC_2523), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i89, java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o1851-687589944)), java.lang.Object(LinkedList$Node(EOC))) → 2528_0_addToStart_Return(EOS(STATIC_2528), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i89, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)))
2528_0_addToStart_Return(EOS(STATIC_2528), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i89, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC))) → 2532_0_main_New(EOS(STATIC_2532), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i89)
2532_0_main_New(EOS(STATIC_2532), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i89) → 2537_0_main_Duplicate(EOS(STATIC_2537), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i89, java.lang.Object(Entry(EOC)))
2537_0_main_Duplicate(EOS(STATIC_2537), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i89, java.lang.Object(Entry(EOC))) → 2543_0_main_Load(EOS(STATIC_2543), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)))
2543_0_main_Load(EOS(STATIC_2543), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC))) → 2545_0_main_Load(EOS(STATIC_2545), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)))
2545_0_main_Load(EOS(STATIC_2545), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16))) → 2548_0_main_ArrayAccess(EOS(STATIC_2548), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i89)
2548_0_main_ArrayAccess(EOS(STATIC_2548), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i89) → 2551_0_main_ArrayAccess(EOS(STATIC_2551), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i89)
2551_0_main_ArrayAccess(EOS(STATIC_2551), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i89) → 2555_0_main_Load(EOS(STATIC_2555), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956) | <(i89, i16)
2555_0_main_Load(EOS(STATIC_2555), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956) → 2559_0_main_Inc(EOS(STATIC_2559), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89)
2559_0_main_Inc(EOS(STATIC_2559), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i89, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89) → 2562_0_main_InvokeMethod(EOS(STATIC_2562), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), +(i89, 1), java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89) | >(i89, 0)
2562_0_main_InvokeMethod(EOS(STATIC_2562), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89) → 2565_0_<init>_Load(EOS(STATIC_2565), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89, java.lang.Object(Entry(EOC)), o1956, i89)
2565_0_<init>_Load(EOS(STATIC_2565), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89, java.lang.Object(Entry(EOC)), o1956, i89) → 2571_0_<init>_InvokeMethod(EOS(STATIC_2571), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89, java.lang.Object(Entry(EOC)), o1956, i89, java.lang.Object(Entry(EOC)))
2571_0_<init>_InvokeMethod(EOS(STATIC_2571), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89, java.lang.Object(Entry(EOC)), o1956, i89, java.lang.Object(Entry(EOC))) → 2576_0_<init>_Load(EOS(STATIC_2576), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89, java.lang.Object(Entry(EOC)), o1956, i89)
2576_0_<init>_Load(EOS(STATIC_2576), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89, java.lang.Object(Entry(EOC)), o1956, i89) → 2581_0_<init>_Load(EOS(STATIC_2581), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89, java.lang.Object(Entry(EOC)), o1956, i89, java.lang.Object(Entry(EOC)))
2581_0_<init>_Load(EOS(STATIC_2581), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89, java.lang.Object(Entry(EOC)), o1956, i89, java.lang.Object(Entry(EOC))) → 2589_0_<init>_FieldAccess(EOS(STATIC_2589), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89, java.lang.Object(Entry(EOC)), i89, java.lang.Object(Entry(EOC)), o1956)
2589_0_<init>_FieldAccess(EOS(STATIC_2589), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89, java.lang.Object(Entry(EOC)), i89, java.lang.Object(Entry(EOC)), o1956) → 2600_0_<init>_Load(EOS(STATIC_2600), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89, java.lang.Object(Entry(EOC)), i89)
2600_0_<init>_Load(EOS(STATIC_2600), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89, java.lang.Object(Entry(EOC)), i89) → 2622_0_<init>_Load(EOS(STATIC_2622), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89, i89, java.lang.Object(Entry(EOC)))
2622_0_<init>_Load(EOS(STATIC_2622), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89, i89, java.lang.Object(Entry(EOC))) → 2627_0_<init>_FieldAccess(EOS(STATIC_2627), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89, java.lang.Object(Entry(EOC)), i89)
2627_0_<init>_FieldAccess(EOS(STATIC_2627), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89, java.lang.Object(Entry(EOC)), i89) → 2634_0_<init>_Return(EOS(STATIC_2634), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89)
2634_0_<init>_Return(EOS(STATIC_2634), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o1956, i89) → 2641_0_main_Store(EOS(STATIC_2641), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)))
2641_0_main_Store(EOS(STATIC_2641), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC))) → 2644_0_main_Load(EOS(STATIC_2644), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)))
2644_0_main_Load(EOS(STATIC_2644), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC))) → 2652_0_main_Load(EOS(STATIC_2652), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))))
2652_0_main_Load(EOS(STATIC_2652), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC))))) → 2659_0_main_InvokeMethod(EOS(STATIC_2659), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)))
2659_0_main_InvokeMethod(EOS(STATIC_2659), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC))) → 2665_0_addToStart_Load(EOS(STATIC_2665), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)))
2665_0_addToStart_Load(EOS(STATIC_2665), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC))) → 2682_0_addToStart_New(EOS(STATIC_2682), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))))
2682_0_addToStart_New(EOS(STATIC_2682), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC))))) → 2691_0_addToStart_Duplicate(EOS(STATIC_2691), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)))
2691_0_addToStart_Duplicate(EOS(STATIC_2691), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC))) → 2703_0_addToStart_Load(EOS(STATIC_2703), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2703_0_addToStart_Load(EOS(STATIC_2703), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2713_0_addToStart_Load(EOS(STATIC_2713), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))))
2713_0_addToStart_Load(EOS(STATIC_2713), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC))))) → 2724_0_addToStart_Load(EOS(STATIC_2724), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)))
2724_0_addToStart_Load(EOS(STATIC_2724), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC))) → 2742_0_addToStart_FieldAccess(EOS(STATIC_2742), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))))
2742_0_addToStart_FieldAccess(EOS(STATIC_2742), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC))))) → 2746_0_addToStart_InvokeMethod(EOS(STATIC_2746), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2746_0_addToStart_InvokeMethod(EOS(STATIC_2746), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2750_0_<init>_Load(EOS(STATIC_2750), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2750_0_<init>_Load(EOS(STATIC_2750), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2755_0_<init>_Load(EOS(STATIC_2755), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2755_0_<init>_Load(EOS(STATIC_2755), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2757_0_<init>_FieldAccess(EOS(STATIC_2757), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))))
2757_0_<init>_FieldAccess(EOS(STATIC_2757), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC))))) → 2759_0_<init>_Load(EOS(STATIC_2759), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2759_0_<init>_Load(EOS(STATIC_2759), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2761_0_<init>_InvokeMethod(EOS(STATIC_2761), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2761_0_<init>_InvokeMethod(EOS(STATIC_2761), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2763_0_<init>_Load(EOS(STATIC_2763), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2763_0_<init>_Load(EOS(STATIC_2763), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2765_0_<init>_Load(EOS(STATIC_2765), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2765_0_<init>_Load(EOS(STATIC_2765), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2768_0_<init>_FieldAccess(EOS(STATIC_2768), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)))
2768_0_<init>_FieldAccess(EOS(STATIC_2768), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC))) → 2770_0_<init>_Load(EOS(STATIC_2770), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2770_0_<init>_Load(EOS(STATIC_2770), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2773_0_<init>_Load(EOS(STATIC_2773), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2773_0_<init>_Load(EOS(STATIC_2773), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2776_0_<init>_FieldAccess(EOS(STATIC_2776), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2776_0_<init>_FieldAccess(EOS(STATIC_2776), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2779_0_<init>_Return(EOS(STATIC_2779), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2779_0_<init>_Return(EOS(STATIC_2779), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2782_0_addToStart_FieldAccess(EOS(STATIC_2782), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)))
2782_0_addToStart_FieldAccess(EOS(STATIC_2782), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC))) → 2783_0_addToStart_Return(EOS(STATIC_2783), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)))
2783_0_addToStart_Return(EOS(STATIC_2783), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC))) → 2785_0_main_New(EOS(STATIC_2785), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99)
2785_0_main_New(EOS(STATIC_2785), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99) → 2788_0_main_Duplicate(EOS(STATIC_2788), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)))
2788_0_main_Duplicate(EOS(STATIC_2788), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC))) → 2791_0_main_Load(EOS(STATIC_2791), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)))
2791_0_main_Load(EOS(STATIC_2791), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC))) → 2794_0_main_Load(EOS(STATIC_2794), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)))
2794_0_main_Load(EOS(STATIC_2794), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16))) → 2797_0_main_ArrayAccess(EOS(STATIC_2797), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i99)
2797_0_main_ArrayAccess(EOS(STATIC_2797), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i99) → 2800_0_main_ArrayAccess(EOS(STATIC_2800), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i99)
2800_0_main_ArrayAccess(EOS(STATIC_2800), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i99) → 2804_0_main_Load(EOS(STATIC_2804), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215) | <(i99, i16)
2804_0_main_Load(EOS(STATIC_2804), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215) → 2806_0_main_Inc(EOS(STATIC_2806), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99)
2806_0_main_Inc(EOS(STATIC_2806), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i99, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99) → 2807_0_main_InvokeMethod(EOS(STATIC_2807), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), +(i99, 1), java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99) | >(i99, 0)
2807_0_main_InvokeMethod(EOS(STATIC_2807), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99) → 2809_0_<init>_Load(EOS(STATIC_2809), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99, java.lang.Object(Entry(EOC)), o2215, i99)
2809_0_<init>_Load(EOS(STATIC_2809), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99, java.lang.Object(Entry(EOC)), o2215, i99) → 2811_0_<init>_InvokeMethod(EOS(STATIC_2811), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99, java.lang.Object(Entry(EOC)), o2215, i99, java.lang.Object(Entry(EOC)))
2811_0_<init>_InvokeMethod(EOS(STATIC_2811), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99, java.lang.Object(Entry(EOC)), o2215, i99, java.lang.Object(Entry(EOC))) → 2813_0_<init>_Load(EOS(STATIC_2813), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99, java.lang.Object(Entry(EOC)), o2215, i99)
2813_0_<init>_Load(EOS(STATIC_2813), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99, java.lang.Object(Entry(EOC)), o2215, i99) → 2815_0_<init>_Load(EOS(STATIC_2815), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99, java.lang.Object(Entry(EOC)), o2215, i99, java.lang.Object(Entry(EOC)))
2815_0_<init>_Load(EOS(STATIC_2815), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99, java.lang.Object(Entry(EOC)), o2215, i99, java.lang.Object(Entry(EOC))) → 2816_0_<init>_FieldAccess(EOS(STATIC_2816), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99, java.lang.Object(Entry(EOC)), i99, java.lang.Object(Entry(EOC)), o2215)
2816_0_<init>_FieldAccess(EOS(STATIC_2816), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99, java.lang.Object(Entry(EOC)), i99, java.lang.Object(Entry(EOC)), o2215) → 2818_0_<init>_Load(EOS(STATIC_2818), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99, java.lang.Object(Entry(EOC)), i99)
2818_0_<init>_Load(EOS(STATIC_2818), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99, java.lang.Object(Entry(EOC)), i99) → 2820_0_<init>_Load(EOS(STATIC_2820), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99, i99, java.lang.Object(Entry(EOC)))
2820_0_<init>_Load(EOS(STATIC_2820), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99, i99, java.lang.Object(Entry(EOC))) → 2821_0_<init>_FieldAccess(EOS(STATIC_2821), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99, java.lang.Object(Entry(EOC)), i99)
2821_0_<init>_FieldAccess(EOS(STATIC_2821), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99, java.lang.Object(Entry(EOC)), i99) → 2823_0_<init>_Return(EOS(STATIC_2823), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99)
2823_0_<init>_Return(EOS(STATIC_2823), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2215, i99) → 2825_0_main_Store(EOS(STATIC_2825), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)))
2825_0_main_Store(EOS(STATIC_2825), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC))) → 2826_0_main_Load(EOS(STATIC_2826), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)))
2826_0_main_Load(EOS(STATIC_2826), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC))) → 2828_0_main_Load(EOS(STATIC_2828), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))))
2828_0_main_Load(EOS(STATIC_2828), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC))))) → 2830_0_main_InvokeMethod(EOS(STATIC_2830), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)))
2830_0_main_InvokeMethod(EOS(STATIC_2830), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC))) → 2832_0_addToStart_Load(EOS(STATIC_2832), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)))
2832_0_addToStart_Load(EOS(STATIC_2832), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC))) → 2835_0_addToStart_New(EOS(STATIC_2835), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))))
2835_0_addToStart_New(EOS(STATIC_2835), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC))))) → 2837_0_addToStart_Duplicate(EOS(STATIC_2837), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)))
2837_0_addToStart_Duplicate(EOS(STATIC_2837), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC))) → 2839_0_addToStart_Load(EOS(STATIC_2839), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2839_0_addToStart_Load(EOS(STATIC_2839), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2841_0_addToStart_Load(EOS(STATIC_2841), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))))
2841_0_addToStart_Load(EOS(STATIC_2841), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC))))) → 2843_0_addToStart_Load(EOS(STATIC_2843), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)))
2843_0_addToStart_Load(EOS(STATIC_2843), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC))) → 2845_0_addToStart_FieldAccess(EOS(STATIC_2845), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))))
2845_0_addToStart_FieldAccess(EOS(STATIC_2845), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC))))) → 2847_0_addToStart_InvokeMethod(EOS(STATIC_2847), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2847_0_addToStart_InvokeMethod(EOS(STATIC_2847), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2849_0_<init>_Load(EOS(STATIC_2849), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2849_0_<init>_Load(EOS(STATIC_2849), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2852_0_<init>_Load(EOS(STATIC_2852), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2852_0_<init>_Load(EOS(STATIC_2852), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2853_0_<init>_FieldAccess(EOS(STATIC_2853), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))))
2853_0_<init>_FieldAccess(EOS(STATIC_2853), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC))))) → 2854_0_<init>_Load(EOS(STATIC_2854), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2854_0_<init>_Load(EOS(STATIC_2854), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2855_0_<init>_InvokeMethod(EOS(STATIC_2855), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2855_0_<init>_InvokeMethod(EOS(STATIC_2855), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2856_0_<init>_Load(EOS(STATIC_2856), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2856_0_<init>_Load(EOS(STATIC_2856), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2857_0_<init>_Load(EOS(STATIC_2857), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2857_0_<init>_Load(EOS(STATIC_2857), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2858_0_<init>_FieldAccess(EOS(STATIC_2858), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)))
2858_0_<init>_FieldAccess(EOS(STATIC_2858), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC))) → 2859_0_<init>_Load(EOS(STATIC_2859), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2859_0_<init>_Load(EOS(STATIC_2859), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2860_0_<init>_Load(EOS(STATIC_2860), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2860_0_<init>_Load(EOS(STATIC_2860), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2861_0_<init>_FieldAccess(EOS(STATIC_2861), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2861_0_<init>_FieldAccess(EOS(STATIC_2861), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2862_0_<init>_Return(EOS(STATIC_2862), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2862_0_<init>_Return(EOS(STATIC_2862), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2863_0_addToStart_FieldAccess(EOS(STATIC_2863), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC)))
2863_0_addToStart_FieldAccess(EOS(STATIC_2863), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(LinkedList$Node(EOC))) → 2864_0_addToStart_Return(EOS(STATIC_2864), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)))
2864_0_addToStart_Return(EOS(STATIC_2864), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC))) → 2865_0_main_Inc(EOS(STATIC_2865), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106)
2865_0_main_Inc(EOS(STATIC_2865), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i106) → 2866_0_main_JMP(EOS(STATIC_2866), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), +(i106, 1)) | >(i106, 0)
2866_0_main_JMP(EOS(STATIC_2866), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i107) → 2867_0_main_Load(EOS(STATIC_2867), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i107)
2867_0_main_Load(EOS(STATIC_2867), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i107) → 2357_0_main_Load(EOS(STATIC_2357), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i107)
2357_0_main_Load(EOS(STATIC_2357), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87) → 2358_0_main_Load(EOS(STATIC_2358), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o1851-687589944)), i87, i87)
R rules:

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

P rules:
2358_0_main_Load(EOS(STATIC_2358), java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(EOC, x1)), x2, x2) → 2358_0_main_Load(EOS(STATIC_2358), java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), +(x2, 4), +(x2, 4)) | &&(&&(&&(>(x2, 0), >(+(x0, 1), 0)), >(x0, +(x2, 2))), >(x0, +(x2, 1)))
R rules:

Filtered ground terms:

2358_0_main_Load(x1, x2, x3, x4, x5) → 2358_0_main_Load(x2, x3, x4, x5)
LinkedList$Node(x1) → LinkedList$Node
LinkedList(x1, x2) → LinkedList(x2)
EOS(x1) → EOS
Cond_2358_0_main_Load(x1, x2, x3, x4, x5, x6) → Cond_2358_0_main_Load(x1, x3, x4, x5, x6)

Filtered duplicate args:

2358_0_main_Load(x1, x2, x3, x4) → 2358_0_main_Load(x1, x2, x4)
Cond_2358_0_main_Load(x1, x2, x3, x4, x5) → Cond_2358_0_main_Load(x1, x2, x3, x5)

Filtered unneeded arguments:

Cond_2358_0_main_Load(x1, x2, x3, x4) → Cond_2358_0_main_Load(x1, x2, x4)

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

P rules:
2358_0_main_Load(java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(x1)), x2) → 2358_0_main_Load(java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(java.lang.Object(LinkedList$Node))), +(x2, 4)) | &&(&&(&&(>(x2, 0), >(x0, -1)), >(x0, +(x2, 2))), >(x0, +(x2, 1)))
R rules:

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

P rules:
2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(x1)), x2) → COND_2358_0_MAIN_LOAD(&&(&&(&&(>(x2, 0), >(x0, -1)), >(x0, +(x2, 2))), >(x0, +(x2, 1))), java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(x1)), x2)
COND_2358_0_MAIN_LOAD(TRUE, java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(x1)), x2) → 2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(java.lang.Object(LinkedList$Node))), +(x2, 4))
R rules:

(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:

Boolean, Integer

R is empty.

The integer pair graph contains the following rules and edges:
(0): 2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0]) → COND_2358_0_MAIN_LOAD(x2[0] > 0 && x0[0] > -1 && x0[0] > x2[0] + 2 && x0[0] > x2[0] + 1, java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])
(1): COND_2358_0_MAIN_LOAD(TRUE, java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(x1[1])), x2[1]) → 2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(java.lang.Object(LinkedList$Node))), x2[1] + 4)

(0) -> (1), if (x2[0] > 0 && x0[0] > -1 && x0[0] > x2[0] + 2 && x0[0] > x2[0] + 1 ∧java.lang.Object(ARRAY(x0[0])) →^* java.lang.Object(ARRAY(x0[1]))∧java.lang.Object(LinkedList(x1[0])) →^* java.lang.Object(LinkedList(x1[1]))∧x2[0] →^* x2[1])

(1) -> (0), if (java.lang.Object(ARRAY(x0[1])) →^* java.lang.Object(ARRAY(x0[0]))∧java.lang.Object(LinkedList(java.lang.Object(LinkedList$Node))) →^* java.lang.Object(LinkedList(x1[0]))∧x2[1] + 4 →^* x2[0])

The set Q is empty.

(22) 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@5ae6993c 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 2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(x1)), x2) → COND_2358_0_MAIN_LOAD(&&(&&(&&(>(x2, 0), >(x0, -1)), >(x0, +(x2, 2))), >(x0, +(x2, 1))), java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(x1)), x2) the following chains were created:

We consider the chain 2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0]) → COND_2358_0_MAIN_LOAD(&&(&&(&&(>(x2[0], 0), >(x0[0], -1)), >(x0[0], +(x2[0], 2))), >(x0[0], +(x2[0], 1))), java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0]), COND_2358_0_MAIN_LOAD(TRUE, java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(x1[1])), x2[1]) → 2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(java.lang.Object(LinkedList$Node))), +(x2[1], 4)) which results in the following constraint:
(1)    (&&(&&(&&(>(x2[0], 0), >(x0[0], -1)), >(x0[0], +(x2[0], 2))), >(x0[0], +(x2[0], 1)))=TRUE∧java.lang.Object(ARRAY(x0[0]))=java.lang.Object(ARRAY(x0[1]))∧java.lang.Object(LinkedList(x1[0]))=java.lang.Object(LinkedList(x1[1]))∧x2[0]=x2[1] ⇒ 2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])≥NonInfC∧2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])≥COND_2358_0_MAIN_LOAD(&&(&&(&&(>(x2[0], 0), >(x0[0], -1)), >(x0[0], +(x2[0], 2))), >(x0[0], +(x2[0], 1))), java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])∧(U^Increasing(COND_2358_0_MAIN_LOAD(&&(&&(&&(>(x2[0], 0), >(x0[0], -1)), >(x0[0], +(x2[0], 2))), >(x0[0], +(x2[0], 1))), java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])), ≥))

We simplified constraint (1) using rules (I), (II), (IV), (IDP_BOOLEAN) which results in the following new constraint:
(2)    (>(x0[0], +(x2[0], 1))=TRUE∧>(x0[0], +(x2[0], 2))=TRUE∧>(x2[0], 0)=TRUE∧>(x0[0], -1)=TRUE ⇒ 2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])≥NonInfC∧2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])≥COND_2358_0_MAIN_LOAD(&&(&&(&&(>(x2[0], 0), >(x0[0], -1)), >(x0[0], +(x2[0], 2))), >(x0[0], +(x2[0], 1))), java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])∧(U^Increasing(COND_2358_0_MAIN_LOAD(&&(&&(&&(>(x2[0], 0), >(x0[0], -1)), >(x0[0], +(x2[0], 2))), >(x0[0], +(x2[0], 1))), java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])), ≥))

We simplified constraint (2) using rule (POLY_CONSTRAINTS) which results in the following new constraint:
(3)    (x0[0] + [-2] + [-1]x2[0] ≥ 0∧x0[0] + [-3] + [-1]x2[0] ≥ 0∧x2[0] + [-1] ≥ 0∧x0[0] ≥ 0 ⇒ (U^Increasing(COND_2358_0_MAIN_LOAD(&&(&&(&&(>(x2[0], 0), >(x0[0], -1)), >(x0[0], +(x2[0], 2))), >(x0[0], +(x2[0], 1))), java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])), ≥)∧[bni_11 + (-1)Bound*bni_11] + [(-1)bni_11]x2[0] + [(2)bni_11]x0[0] ≥ 0∧[2 + (-1)bso_12] ≥ 0)

We simplified constraint (3) using rule (IDP_POLY_SIMPLIFY) which results in the following new constraint:
(4)    (x0[0] + [-2] + [-1]x2[0] ≥ 0∧x0[0] + [-3] + [-1]x2[0] ≥ 0∧x2[0] + [-1] ≥ 0∧x0[0] ≥ 0 ⇒ (U^Increasing(COND_2358_0_MAIN_LOAD(&&(&&(&&(>(x2[0], 0), >(x0[0], -1)), >(x0[0], +(x2[0], 2))), >(x0[0], +(x2[0], 1))), java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])), ≥)∧[bni_11 + (-1)Bound*bni_11] + [(-1)bni_11]x2[0] + [(2)bni_11]x0[0] ≥ 0∧[2 + (-1)bso_12] ≥ 0)

We simplified constraint (4) using rule (POLY_REMOVE_MIN_MAX) which results in the following new constraint:
(5)    (x0[0] + [-2] + [-1]x2[0] ≥ 0∧x0[0] + [-3] + [-1]x2[0] ≥ 0∧x2[0] + [-1] ≥ 0∧x0[0] ≥ 0 ⇒ (U^Increasing(COND_2358_0_MAIN_LOAD(&&(&&(&&(>(x2[0], 0), >(x0[0], -1)), >(x0[0], +(x2[0], 2))), >(x0[0], +(x2[0], 1))), java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])), ≥)∧[bni_11 + (-1)Bound*bni_11] + [(-1)bni_11]x2[0] + [(2)bni_11]x0[0] ≥ 0∧[2 + (-1)bso_12] ≥ 0)

We simplified constraint (5) using rule (IDP_SMT_SPLIT) which results in the following new constraint:
(6)    (x0[0] ≥ 0∧[-1] + x0[0] ≥ 0∧x2[0] + [-1] ≥ 0∧[2] + x2[0] + x0[0] ≥ 0 ⇒ (U^Increasing(COND_2358_0_MAIN_LOAD(&&(&&(&&(>(x2[0], 0), >(x0[0], -1)), >(x0[0], +(x2[0], 2))), >(x0[0], +(x2[0], 1))), java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])), ≥)∧[(5)bni_11 + (-1)Bound*bni_11] + [bni_11]x2[0] + [(2)bni_11]x0[0] ≥ 0∧[2 + (-1)bso_12] ≥ 0)

We simplified constraint (6) using rule (IDP_SMT_SPLIT) which results in the following new constraint:
(7)    (x0[0] ≥ 0∧[-1] + x0[0] ≥ 0∧x2[0] ≥ 0∧[3] + x2[0] + x0[0] ≥ 0 ⇒ (U^Increasing(COND_2358_0_MAIN_LOAD(&&(&&(&&(>(x2[0], 0), >(x0[0], -1)), >(x0[0], +(x2[0], 2))), >(x0[0], +(x2[0], 1))), java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])), ≥)∧[(-1)Bound*bni_11 + (6)bni_11] + [bni_11]x2[0] + [(2)bni_11]x0[0] ≥ 0∧[2 + (-1)bso_12] ≥ 0)

We simplified constraint (7) using rule (IDP_SMT_SPLIT) which results in the following new constraint:
(8)    ([1] + x0[0] ≥ 0∧x0[0] ≥ 0∧x2[0] ≥ 0∧[4] + x2[0] + x0[0] ≥ 0 ⇒ (U^Increasing(COND_2358_0_MAIN_LOAD(&&(&&(&&(>(x2[0], 0), >(x0[0], -1)), >(x0[0], +(x2[0], 2))), >(x0[0], +(x2[0], 1))), java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])), ≥)∧[(-1)Bound*bni_11 + (8)bni_11] + [bni_11]x2[0] + [(2)bni_11]x0[0] ≥ 0∧[2 + (-1)bso_12] ≥ 0)

For Pair COND_2358_0_MAIN_LOAD(TRUE, java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(x1)), x2) → 2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(java.lang.Object(LinkedList$Node))), +(x2, 4)) the following chains were created:

We consider the chain COND_2358_0_MAIN_LOAD(TRUE, java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(x1[1])), x2[1]) → 2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(java.lang.Object(LinkedList$Node))), +(x2[1], 4)) which results in the following constraint:
(9)    (COND_2358_0_MAIN_LOAD(TRUE, java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(x1[1])), x2[1])≥NonInfC∧COND_2358_0_MAIN_LOAD(TRUE, java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(x1[1])), x2[1])≥2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(java.lang.Object(LinkedList$Node))), +(x2[1], 4))∧(U^Increasing(2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(java.lang.Object(LinkedList$Node))), +(x2[1], 4))), ≥))

We simplified constraint (9) using rule (POLY_CONSTRAINTS) which results in the following new constraint:
(10)    ((U^Increasing(2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(java.lang.Object(LinkedList$Node))), +(x2[1], 4))), ≥)∧[bni_13] = 0∧[2 + (-1)bso_14] ≥ 0)

We simplified constraint (10) using rule (IDP_POLY_SIMPLIFY) which results in the following new constraint:
(11)    ((U^Increasing(2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(java.lang.Object(LinkedList$Node))), +(x2[1], 4))), ≥)∧[bni_13] = 0∧[2 + (-1)bso_14] ≥ 0)

We simplified constraint (11) using rule (POLY_REMOVE_MIN_MAX) which results in the following new constraint:
(12)    ((U^Increasing(2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(java.lang.Object(LinkedList$Node))), +(x2[1], 4))), ≥)∧[bni_13] = 0∧[2 + (-1)bso_14] ≥ 0)

We simplified constraint (12) using rule (IDP_UNRESTRICTED_VARS) which results in the following new constraint:
(13)    ((U^Increasing(2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(java.lang.Object(LinkedList$Node))), +(x2[1], 4))), ≥)∧[bni_13] = 0∧0 = 0∧0 = 0∧[2 + (-1)bso_14] ≥ 0)

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

2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(x1)), x2) → COND_2358_0_MAIN_LOAD(&&(&&(&&(>(x2, 0), >(x0, -1)), >(x0, +(x2, 2))), >(x0, +(x2, 1))), java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(x1)), x2)
- ([1] + x0[0] ≥ 0∧x0[0] ≥ 0∧x2[0] ≥ 0∧[4] + x2[0] + x0[0] ≥ 0 ⇒ (U^Increasing(COND_2358_0_MAIN_LOAD(&&(&&(&&(>(x2[0], 0), >(x0[0], -1)), >(x0[0], +(x2[0], 2))), >(x0[0], +(x2[0], 1))), java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])), ≥)∧[(-1)Bound*bni_11 + (8)bni_11] + [bni_11]x2[0] + [(2)bni_11]x0[0] ≥ 0∧[2 + (-1)bso_12] ≥ 0)
COND_2358_0_MAIN_LOAD(TRUE, java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(x1)), x2) → 2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(java.lang.Object(LinkedList$Node))), +(x2, 4))
- ((U^Increasing(2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(java.lang.Object(LinkedList$Node))), +(x2[1], 4))), ≥)∧[bni_13] = 0∧0 = 0∧0 = 0∧[2 + (-1)bso_14] ≥ 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(2358_0_MAIN_LOAD(x₁, x₂, x₃)) = [1] + [-1]x₃ + [2]x₁
POL(java.lang.Object(x₁)) = x₁
POL(ARRAY(x₁)) = x₁
POL(LinkedList(x₁)) = [-1]
POL(COND_2358_0_MAIN_LOAD(x₁, x₂, x₃, x₄)) = [-1] + [-1]x₄ + [2]x₂
POL(&&(x₁, x₂)) = [-1]
POL(>(x₁, x₂)) = [-1]
POL(0) = 0
POL(-1) = [-1]
POL(+(x₁, x₂)) = x₁ + x₂
POL(2) = [2]
POL(1) = [1]
POL(LinkedList$Node) = [-1]
POL(4) = [4]

The following pairs are in P_>:

2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0]) → COND_2358_0_MAIN_LOAD(&&(&&(&&(>(x2[0], 0), >(x0[0], -1)), >(x0[0], +(x2[0], 2))), >(x0[0], +(x2[0], 1))), java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])
COND_2358_0_MAIN_LOAD(TRUE, java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(x1[1])), x2[1]) → 2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(java.lang.Object(LinkedList$Node))), +(x2[1], 4))

The following pairs are in P_bound:

2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0]) → COND_2358_0_MAIN_LOAD(&&(&&(&&(>(x2[0], 0), >(x0[0], -1)), >(x0[0], +(x2[0], 2))), >(x0[0], +(x2[0], 1))), java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])

The following pairs are in P_≥:
none

There are no usable rules.

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

R is empty.

The integer pair graph contains the following rules and edges:
(1): COND_2358_0_MAIN_LOAD(TRUE, java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(x1[1])), x2[1]) → 2358_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(java.lang.Object(LinkedList$Node))), x2[1] + 4)

The set Q is empty.

(24) 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) QDPSizeChangeProof (EQUIVALENT transformation)

(11) YES

(12) Obligation:

(13) SCCToIDPv1Proof (SOUND transformation)

(14) Obligation:

(15) IDPtoQDPProof (SOUND transformation)

(16) Obligation:

(17) QDPSizeChangeProof (EQUIVALENT transformation)

(18) YES

(19) Obligation:

(20) SCCToIDPv1Proof (SOUND transformation)

(21) Obligation:

(22) IDPNonInfProof (SOUND transformation)

(23) Obligation:

(24) IDependencyGraphProof (EQUIVALENT transformation)

(25) TRUE