Termination proof of /tmp/tmpzFcEGI/LinkedList.jar

Termination of the given JBC could be proven:

0 JBC

↳1 JBCToGraph (⇒, 3040 ms)

↳2 JBCTerminationGraph

↳3 TerminationGraphToSCCProof (⇒, 0 ms)

↳4 AND

    ↳5 JBCTerminationSCC

        ↳6 SCCToIDPv1Proof (⇒, 0 ms)

        ↳7 IDP

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

        ↳21 IDP

        ↳22 IDPNonInfProof (⇒, 210 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:
3025_0_outputList_NULL(EOS(STATIC_3025), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3359sub), java.lang.Object(o3359sub)) → 3027_0_outputList_NULL(EOS(STATIC_3027), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3359sub), java.lang.Object(o3359sub))
3027_0_outputList_NULL(EOS(STATIC_3027), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3359sub), java.lang.Object(o3359sub)) → 3030_0_outputList_Load(EOS(STATIC_3030), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3359sub))
3030_0_outputList_Load(EOS(STATIC_3030), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3359sub)) → 3034_0_outputList_InvokeMethod(EOS(STATIC_3034), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3359sub))
3034_0_outputList_InvokeMethod(EOS(STATIC_3034), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3359sub)) → 3040_0_access$000_Load(EOS(STATIC_3040), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3359sub), java.lang.Object(o3359sub))
3040_0_access$000_Load(EOS(STATIC_3040), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3359sub), java.lang.Object(o3359sub)) → 3049_0_access$000_FieldAccess(EOS(STATIC_3049), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3359sub), java.lang.Object(o3359sub))
3049_0_access$000_FieldAccess(EOS(STATIC_3049), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3359sub), java.lang.Object(o3359sub)) → 3051_0_access$000_FieldAccess(EOS(STATIC_3051), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3359sub), java.lang.Object(o3359sub))
3049_0_access$000_FieldAccess(EOS(STATIC_3049), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3359sub), java.lang.Object(o3359sub)) → 3052_0_access$000_FieldAccess(EOS(STATIC_3052), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3359sub), java.lang.Object(o3359sub))
3051_0_access$000_FieldAccess(EOS(STATIC_3051), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o3377)), java.lang.Object(LinkedList$Node(EOC, o3377))) → 3054_0_access$000_FieldAccess(EOS(STATIC_3054), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o3377)), java.lang.Object(LinkedList$Node(EOC, o3377)))
3054_0_access$000_FieldAccess(EOS(STATIC_3054), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o3377)), java.lang.Object(LinkedList$Node(EOC, o3377))) → 3057_0_access$000_Return(EOS(STATIC_3057), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o3377)), o3377)
3057_0_access$000_Return(EOS(STATIC_3057), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o3377)), o3377) → 3062_0_outputList_Store(EOS(STATIC_3062), java.lang.Object(LinkedList(EOC)), o3377)
3062_0_outputList_Store(EOS(STATIC_3062), java.lang.Object(LinkedList(EOC)), o3377) → 3068_0_outputList_JMP(EOS(STATIC_3068), java.lang.Object(LinkedList(EOC)), o3377)
3068_0_outputList_JMP(EOS(STATIC_3068), java.lang.Object(LinkedList(EOC)), o3377) → 3073_0_outputList_Load(EOS(STATIC_3073), java.lang.Object(LinkedList(EOC)), o3377)
3073_0_outputList_Load(EOS(STATIC_3073), java.lang.Object(LinkedList(EOC)), o3377) → 3023_0_outputList_Load(EOS(STATIC_3023), java.lang.Object(LinkedList(EOC)), o3377)
3023_0_outputList_Load(EOS(STATIC_3023), java.lang.Object(LinkedList(EOC)), o3340) → 3025_0_outputList_NULL(EOS(STATIC_3025), java.lang.Object(LinkedList(EOC)), o3340, o3340)
3052_0_access$000_FieldAccess(EOS(STATIC_3052), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o3381)), java.lang.Object(LinkedList$Node(EOC, o3381))) → 3055_0_access$000_FieldAccess(EOS(STATIC_3055), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o3381)), java.lang.Object(LinkedList$Node(EOC, o3381)))
3055_0_access$000_FieldAccess(EOS(STATIC_3055), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o3381)), java.lang.Object(LinkedList$Node(EOC, o3381))) → 3059_0_access$000_Return(EOS(STATIC_3059), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o3381)), o3381)
3059_0_access$000_Return(EOS(STATIC_3059), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o3381)), o3381) → 3064_0_outputList_Store(EOS(STATIC_3064), java.lang.Object(LinkedList(EOC)), o3381)
3064_0_outputList_Store(EOS(STATIC_3064), java.lang.Object(LinkedList(EOC)), o3381) → 3069_0_outputList_JMP(EOS(STATIC_3069), java.lang.Object(LinkedList(EOC)), o3381)
3069_0_outputList_JMP(EOS(STATIC_3069), java.lang.Object(LinkedList(EOC)), o3381) → 3074_0_outputList_Load(EOS(STATIC_3074), java.lang.Object(LinkedList(EOC)), o3381)
3074_0_outputList_Load(EOS(STATIC_3074), java.lang.Object(LinkedList(EOC)), o3381) → 3023_0_outputList_Load(EOS(STATIC_3023), java.lang.Object(LinkedList(EOC)), o3381)
R rules:

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

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

Filtered ground terms:

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

Filtered duplicate args:

3025_0_outputList_NULL(x1, x2) → 3025_0_outputList_NULL(x2)

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

P rules:
3025_0_outputList_NULL(java.lang.Object(LinkedList$Node(x0))) → 3025_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:
3025_0_OUTPUTLIST_NULL(java.lang.Object(LinkedList$Node(x0))) → 3025_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): 3025_0_OUTPUTLIST_NULL(java.lang.Object(LinkedList$Node(x0[0]))) → 3025_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:

3025_0_OUTPUTLIST_NULL(java.lang.Object(LinkedList$Node(x0[0]))) → 3025_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:

3025_0_OUTPUTLIST_NULL(java.lang.Object(LinkedList$Node(x0[0]))) → 3025_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:
2929_0_size_NULL(EOS(STATIC_2929), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3002sub), java.lang.Object(o3002sub)) → 2932_0_size_NULL(EOS(STATIC_2932), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3002sub), java.lang.Object(o3002sub))
2932_0_size_NULL(EOS(STATIC_2932), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3002sub), java.lang.Object(o3002sub)) → 2936_0_size_Inc(EOS(STATIC_2936), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3002sub))
2936_0_size_Inc(EOS(STATIC_2936), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3002sub)) → 2939_0_size_Load(EOS(STATIC_2939), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3002sub))
2939_0_size_Load(EOS(STATIC_2939), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3002sub)) → 2943_0_size_InvokeMethod(EOS(STATIC_2943), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3002sub))
2943_0_size_InvokeMethod(EOS(STATIC_2943), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3002sub)) → 2947_0_access$000_Load(EOS(STATIC_2947), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3002sub), java.lang.Object(o3002sub))
2947_0_access$000_Load(EOS(STATIC_2947), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3002sub), java.lang.Object(o3002sub)) → 2954_0_access$000_FieldAccess(EOS(STATIC_2954), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3002sub), java.lang.Object(o3002sub))
2954_0_access$000_FieldAccess(EOS(STATIC_2954), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3002sub), java.lang.Object(o3002sub)) → 2957_0_access$000_FieldAccess(EOS(STATIC_2957), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3002sub), java.lang.Object(o3002sub))
2954_0_access$000_FieldAccess(EOS(STATIC_2954), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3002sub), java.lang.Object(o3002sub)) → 2958_0_access$000_FieldAccess(EOS(STATIC_2958), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(o3002sub), java.lang.Object(o3002sub))
2957_0_access$000_FieldAccess(EOS(STATIC_2957), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o3021)), java.lang.Object(LinkedList$Node(EOC, o3021))) → 2961_0_access$000_FieldAccess(EOS(STATIC_2961), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o3021)), java.lang.Object(LinkedList$Node(EOC, o3021)))
2961_0_access$000_FieldAccess(EOS(STATIC_2961), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o3021)), java.lang.Object(LinkedList$Node(EOC, o3021))) → 2966_0_access$000_Return(EOS(STATIC_2966), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o3021)), o3021)
2966_0_access$000_Return(EOS(STATIC_2966), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o3021)), o3021) → 2971_0_size_Store(EOS(STATIC_2971), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o3021)
2971_0_size_Store(EOS(STATIC_2971), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o3021) → 2976_0_size_JMP(EOS(STATIC_2976), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o3021)
2976_0_size_JMP(EOS(STATIC_2976), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o3021) → 2981_0_size_Load(EOS(STATIC_2981), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o3021)
2981_0_size_Load(EOS(STATIC_2981), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o3021) → 2927_0_size_Load(EOS(STATIC_2927), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o3021)
2927_0_size_Load(EOS(STATIC_2927), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o2989) → 2929_0_size_NULL(EOS(STATIC_2929), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o2989, o2989)
2958_0_access$000_FieldAccess(EOS(STATIC_2958), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o3025)), java.lang.Object(LinkedList$Node(EOC, o3025))) → 2962_0_access$000_FieldAccess(EOS(STATIC_2962), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o3025)), java.lang.Object(LinkedList$Node(EOC, o3025)))
2962_0_access$000_FieldAccess(EOS(STATIC_2962), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o3025)), java.lang.Object(LinkedList$Node(EOC, o3025))) → 2967_0_access$000_Return(EOS(STATIC_2967), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o3025)), o3025)
2967_0_access$000_Return(EOS(STATIC_2967), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList$Node(EOC, o3025)), o3025) → 2972_0_size_Store(EOS(STATIC_2972), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o3025)
2972_0_size_Store(EOS(STATIC_2972), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o3025) → 2977_0_size_JMP(EOS(STATIC_2977), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o3025)
2977_0_size_JMP(EOS(STATIC_2977), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o3025) → 2982_0_size_Load(EOS(STATIC_2982), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o3025)
2982_0_size_Load(EOS(STATIC_2982), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o3025) → 2927_0_size_Load(EOS(STATIC_2927), java.lang.Object(LinkedList(EOC)), java.lang.Object(LinkedList(EOC)), o3025)
R rules:

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

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

Filtered ground terms:

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

Filtered duplicate args:

2929_0_size_NULL(x1, x2) → 2929_0_size_NULL(x2)

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

P rules:
2929_0_size_NULL(java.lang.Object(LinkedList$Node(x0))) → 2929_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:
2929_0_SIZE_NULL(java.lang.Object(LinkedList$Node(x0))) → 2929_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): 2929_0_SIZE_NULL(java.lang.Object(LinkedList$Node(x0[0]))) → 2929_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:

2929_0_SIZE_NULL(java.lang.Object(LinkedList$Node(x0[0]))) → 2929_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:

2929_0_SIZE_NULL(java.lang.Object(LinkedList$Node(x0[0]))) → 2929_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:
2711_0_main_Load(EOS(STATIC_2711), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, i277) → 2712_0_main_ArrayLength(EOS(STATIC_2712), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, i277, java.lang.Object(ARRAY(i16)))
2712_0_main_ArrayLength(EOS(STATIC_2712), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, i277, java.lang.Object(ARRAY(i16))) → 2713_0_main_GE(EOS(STATIC_2713), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, i277, i16) | >=(i16, 0)
2713_0_main_GE(EOS(STATIC_2713), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, i277, i16) → 2715_0_main_GE(EOS(STATIC_2715), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, i277, i16)
2715_0_main_GE(EOS(STATIC_2715), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, i277, i16) → 2717_0_main_New(EOS(STATIC_2717), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277) | <(i277, i16)
2717_0_main_New(EOS(STATIC_2717), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277) → 2719_0_main_Duplicate(EOS(STATIC_2719), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, java.lang.Object(Entry(EOC)))
2719_0_main_Duplicate(EOS(STATIC_2719), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, java.lang.Object(Entry(EOC))) → 2721_0_main_Load(EOS(STATIC_2721), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)))
2721_0_main_Load(EOS(STATIC_2721), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC))) → 2722_0_main_Load(EOS(STATIC_2722), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)))
2722_0_main_Load(EOS(STATIC_2722), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16))) → 2724_0_main_ArrayAccess(EOS(STATIC_2724), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i277)
2724_0_main_ArrayAccess(EOS(STATIC_2724), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i277) → 2726_0_main_ArrayAccess(EOS(STATIC_2726), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i277)
2726_0_main_ArrayAccess(EOS(STATIC_2726), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i277) → 2729_0_main_Load(EOS(STATIC_2729), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845) | <(i277, i16)
2729_0_main_Load(EOS(STATIC_2729), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845) → 2732_0_main_Inc(EOS(STATIC_2732), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277)
2732_0_main_Inc(EOS(STATIC_2732), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277) → 2734_0_main_InvokeMethod(EOS(STATIC_2734), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), +(i277, 1), java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277) | >(i277, 0)
2734_0_main_InvokeMethod(EOS(STATIC_2734), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277) → 2737_0_<init>_Load(EOS(STATIC_2737), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277, java.lang.Object(Entry(EOC)), o2845, i277)
2737_0_<init>_Load(EOS(STATIC_2737), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277, java.lang.Object(Entry(EOC)), o2845, i277) → 2743_0_<init>_InvokeMethod(EOS(STATIC_2743), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277, java.lang.Object(Entry(EOC)), o2845, i277, java.lang.Object(Entry(EOC)))
2743_0_<init>_InvokeMethod(EOS(STATIC_2743), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277, java.lang.Object(Entry(EOC)), o2845, i277, java.lang.Object(Entry(EOC))) → 2747_0_<init>_Load(EOS(STATIC_2747), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277, java.lang.Object(Entry(EOC)), o2845, i277)
2747_0_<init>_Load(EOS(STATIC_2747), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277, java.lang.Object(Entry(EOC)), o2845, i277) → 2751_0_<init>_Load(EOS(STATIC_2751), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277, java.lang.Object(Entry(EOC)), o2845, i277, java.lang.Object(Entry(EOC)))
2751_0_<init>_Load(EOS(STATIC_2751), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277, java.lang.Object(Entry(EOC)), o2845, i277, java.lang.Object(Entry(EOC))) → 2754_0_<init>_FieldAccess(EOS(STATIC_2754), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277, java.lang.Object(Entry(EOC)), i277, java.lang.Object(Entry(EOC)), o2845)
2754_0_<init>_FieldAccess(EOS(STATIC_2754), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277, java.lang.Object(Entry(EOC)), i277, java.lang.Object(Entry(EOC)), o2845) → 2757_0_<init>_Load(EOS(STATIC_2757), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277, java.lang.Object(Entry(EOC)), i277)
2757_0_<init>_Load(EOS(STATIC_2757), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277, java.lang.Object(Entry(EOC)), i277) → 2761_0_<init>_Load(EOS(STATIC_2761), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277, i277, java.lang.Object(Entry(EOC)))
2761_0_<init>_Load(EOS(STATIC_2761), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277, i277, java.lang.Object(Entry(EOC))) → 2763_0_<init>_FieldAccess(EOS(STATIC_2763), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277, java.lang.Object(Entry(EOC)), i277)
2763_0_<init>_FieldAccess(EOS(STATIC_2763), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277, java.lang.Object(Entry(EOC)), i277) → 2767_0_<init>_Return(EOS(STATIC_2767), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277)
2767_0_<init>_Return(EOS(STATIC_2767), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2845, i277) → 2771_0_main_Store(EOS(STATIC_2771), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)))
2771_0_main_Store(EOS(STATIC_2771), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC))) → 2774_0_main_Load(EOS(STATIC_2774), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)))
2774_0_main_Load(EOS(STATIC_2774), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC))) → 2778_0_main_Load(EOS(STATIC_2778), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)))
2778_0_main_Load(EOS(STATIC_2778), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773))) → 2781_0_main_InvokeMethod(EOS(STATIC_2781), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)))
2781_0_main_InvokeMethod(EOS(STATIC_2781), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC))) → 2785_0_addToStart_Load(EOS(STATIC_2785), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)))
2785_0_addToStart_Load(EOS(STATIC_2785), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC))) → 2792_0_addToStart_New(EOS(STATIC_2792), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)))
2792_0_addToStart_New(EOS(STATIC_2792), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773))) → 2796_0_addToStart_Duplicate(EOS(STATIC_2796), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)))
2796_0_addToStart_Duplicate(EOS(STATIC_2796), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC))) → 2800_0_addToStart_Load(EOS(STATIC_2800), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)))
2800_0_addToStart_Load(EOS(STATIC_2800), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC))) → 2803_0_addToStart_Load(EOS(STATIC_2803), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)))
2803_0_addToStart_Load(EOS(STATIC_2803), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773))) → 2807_0_addToStart_Load(EOS(STATIC_2807), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)))
2807_0_addToStart_Load(EOS(STATIC_2807), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC))) → 2811_0_addToStart_FieldAccess(EOS(STATIC_2811), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)))
2811_0_addToStart_FieldAccess(EOS(STATIC_2811), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773))) → 2816_0_addToStart_InvokeMethod(EOS(STATIC_2816), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370)
2816_0_addToStart_InvokeMethod(EOS(STATIC_2816), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370) → 2821_0_<init>_Load(EOS(STATIC_2821), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370)
2821_0_<init>_Load(EOS(STATIC_2821), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370) → 2830_0_<init>_Load(EOS(STATIC_2830), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)))
2830_0_<init>_Load(EOS(STATIC_2830), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC))) → 2833_0_<init>_FieldAccess(EOS(STATIC_2833), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)))
2833_0_<init>_FieldAccess(EOS(STATIC_2833), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773))) → 2835_0_<init>_Load(EOS(STATIC_2835), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), o28370)
2835_0_<init>_Load(EOS(STATIC_2835), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), o28370) → 2838_0_<init>_InvokeMethod(EOS(STATIC_2838), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)))
2838_0_<init>_InvokeMethod(EOS(STATIC_2838), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC))) → 2841_0_<init>_Load(EOS(STATIC_2841), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), o28370)
2841_0_<init>_Load(EOS(STATIC_2841), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), o28370) → 2844_0_<init>_Load(EOS(STATIC_2844), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)))
2844_0_<init>_Load(EOS(STATIC_2844), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC))) → 2847_0_<init>_FieldAccess(EOS(STATIC_2847), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC)))
2847_0_<init>_FieldAccess(EOS(STATIC_2847), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(Entry(EOC))) → 2850_0_<init>_Load(EOS(STATIC_2850), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), o28370)
2850_0_<init>_Load(EOS(STATIC_2850), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), o28370) → 2852_0_<init>_Load(EOS(STATIC_2852), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, o28370, java.lang.Object(LinkedList$Node(EOC)))
2852_0_<init>_Load(EOS(STATIC_2852), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, o28370, java.lang.Object(LinkedList$Node(EOC))) → 2855_0_<init>_FieldAccess(EOS(STATIC_2855), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), o28370)
2855_0_<init>_FieldAccess(EOS(STATIC_2855), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370, java.lang.Object(LinkedList$Node(EOC)), o28370) → 2858_0_<init>_Return(EOS(STATIC_2858), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370)
2858_0_<init>_Return(EOS(STATIC_2858), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList$Node(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), o28370) → 2862_0_addToStart_FieldAccess(EOS(STATIC_2862), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC)))
2862_0_addToStart_FieldAccess(EOS(STATIC_2862), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i279, java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, o2837-825251773)), java.lang.Object(LinkedList$Node(EOC))) → 2866_0_addToStart_Return(EOS(STATIC_2866), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i279, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)))
2866_0_addToStart_Return(EOS(STATIC_2866), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i279, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC))) → 2870_0_main_New(EOS(STATIC_2870), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i279)
2870_0_main_New(EOS(STATIC_2870), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i279) → 2874_0_main_Duplicate(EOS(STATIC_2874), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i279, java.lang.Object(Entry(EOC)))
2874_0_main_Duplicate(EOS(STATIC_2874), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i279, java.lang.Object(Entry(EOC))) → 2877_0_main_Load(EOS(STATIC_2877), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)))
2877_0_main_Load(EOS(STATIC_2877), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC))) → 2879_0_main_Load(EOS(STATIC_2879), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)))
2879_0_main_Load(EOS(STATIC_2879), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16))) → 2882_0_main_ArrayAccess(EOS(STATIC_2882), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i279)
2882_0_main_ArrayAccess(EOS(STATIC_2882), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i279) → 2885_0_main_ArrayAccess(EOS(STATIC_2885), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i279)
2885_0_main_ArrayAccess(EOS(STATIC_2885), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i279) → 2889_0_main_Load(EOS(STATIC_2889), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942) | <(i279, i16)
2889_0_main_Load(EOS(STATIC_2889), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942) → 2893_0_main_Inc(EOS(STATIC_2893), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279)
2893_0_main_Inc(EOS(STATIC_2893), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i279, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279) → 2896_0_main_InvokeMethod(EOS(STATIC_2896), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), +(i279, 1), java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279) | >(i279, 0)
2896_0_main_InvokeMethod(EOS(STATIC_2896), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279) → 2899_0_<init>_Load(EOS(STATIC_2899), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279, java.lang.Object(Entry(EOC)), o2942, i279)
2899_0_<init>_Load(EOS(STATIC_2899), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279, java.lang.Object(Entry(EOC)), o2942, i279) → 2905_0_<init>_InvokeMethod(EOS(STATIC_2905), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279, java.lang.Object(Entry(EOC)), o2942, i279, java.lang.Object(Entry(EOC)))
2905_0_<init>_InvokeMethod(EOS(STATIC_2905), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279, java.lang.Object(Entry(EOC)), o2942, i279, java.lang.Object(Entry(EOC))) → 2910_0_<init>_Load(EOS(STATIC_2910), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279, java.lang.Object(Entry(EOC)), o2942, i279)
2910_0_<init>_Load(EOS(STATIC_2910), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279, java.lang.Object(Entry(EOC)), o2942, i279) → 2915_0_<init>_Load(EOS(STATIC_2915), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279, java.lang.Object(Entry(EOC)), o2942, i279, java.lang.Object(Entry(EOC)))
2915_0_<init>_Load(EOS(STATIC_2915), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279, java.lang.Object(Entry(EOC)), o2942, i279, java.lang.Object(Entry(EOC))) → 2919_0_<init>_FieldAccess(EOS(STATIC_2919), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279, java.lang.Object(Entry(EOC)), i279, java.lang.Object(Entry(EOC)), o2942)
2919_0_<init>_FieldAccess(EOS(STATIC_2919), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279, java.lang.Object(Entry(EOC)), i279, java.lang.Object(Entry(EOC)), o2942) → 2924_0_<init>_Load(EOS(STATIC_2924), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279, java.lang.Object(Entry(EOC)), i279)
2924_0_<init>_Load(EOS(STATIC_2924), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279, java.lang.Object(Entry(EOC)), i279) → 2928_0_<init>_Load(EOS(STATIC_2928), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279, i279, java.lang.Object(Entry(EOC)))
2928_0_<init>_Load(EOS(STATIC_2928), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279, i279, java.lang.Object(Entry(EOC))) → 2930_0_<init>_FieldAccess(EOS(STATIC_2930), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279, java.lang.Object(Entry(EOC)), i279)
2930_0_<init>_FieldAccess(EOS(STATIC_2930), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279, java.lang.Object(Entry(EOC)), i279) → 2934_0_<init>_Return(EOS(STATIC_2934), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279)
2934_0_<init>_Return(EOS(STATIC_2934), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o2942, i279) → 2938_0_main_Store(EOS(STATIC_2938), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)))
2938_0_main_Store(EOS(STATIC_2938), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC))) → 2941_0_main_Load(EOS(STATIC_2941), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)))
2941_0_main_Load(EOS(STATIC_2941), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC))) → 2945_0_main_Load(EOS(STATIC_2945), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))))
2945_0_main_Load(EOS(STATIC_2945), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC))))) → 2949_0_main_InvokeMethod(EOS(STATIC_2949), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)))
2949_0_main_InvokeMethod(EOS(STATIC_2949), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC))) → 2952_0_addToStart_Load(EOS(STATIC_2952), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))
2952_0_addToStart_Load(EOS(STATIC_2952), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))) → 2959_0_addToStart_New(EOS(STATIC_2959), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))))
2959_0_addToStart_New(EOS(STATIC_2959), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))))) → 2964_0_addToStart_Duplicate(EOS(STATIC_2964), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))
2964_0_addToStart_Duplicate(EOS(STATIC_2964), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))) → 2969_0_addToStart_Load(EOS(STATIC_2969), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))
2969_0_addToStart_Load(EOS(STATIC_2969), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))) → 2974_0_addToStart_Load(EOS(STATIC_2974), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))))
2974_0_addToStart_Load(EOS(STATIC_2974), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))))) → 2979_0_addToStart_Load(EOS(STATIC_2979), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))
2979_0_addToStart_Load(EOS(STATIC_2979), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))) → 2985_0_addToStart_FieldAccess(EOS(STATIC_2985), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))))
2985_0_addToStart_FieldAccess(EOS(STATIC_2985), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))))) → 2989_0_addToStart_InvokeMethod(EOS(STATIC_2989), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))
2989_0_addToStart_InvokeMethod(EOS(STATIC_2989), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))) → 2993_0_<init>_Load(EOS(STATIC_2993), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))
2993_0_<init>_Load(EOS(STATIC_2993), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))) → 2998_0_<init>_Load(EOS(STATIC_2998), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))
2998_0_<init>_Load(EOS(STATIC_2998), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))) → 3000_0_<init>_FieldAccess(EOS(STATIC_3000), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))))
3000_0_<init>_FieldAccess(EOS(STATIC_3000), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))))) → 3003_0_<init>_Load(EOS(STATIC_3003), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))
3003_0_<init>_Load(EOS(STATIC_3003), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))) → 3008_0_<init>_InvokeMethod(EOS(STATIC_3008), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))
3008_0_<init>_InvokeMethod(EOS(STATIC_3008), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))) → 3011_0_<init>_Load(EOS(STATIC_3011), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))
3011_0_<init>_Load(EOS(STATIC_3011), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))) → 3015_0_<init>_Load(EOS(STATIC_3015), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))
3015_0_<init>_Load(EOS(STATIC_3015), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))) → 3024_0_<init>_FieldAccess(EOS(STATIC_3024), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))
3024_0_<init>_FieldAccess(EOS(STATIC_3024), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))) → 3026_0_<init>_Load(EOS(STATIC_3026), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))
3026_0_<init>_Load(EOS(STATIC_3026), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))) → 3029_0_<init>_Load(EOS(STATIC_3029), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))
3029_0_<init>_Load(EOS(STATIC_3029), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))) → 3033_0_<init>_FieldAccess(EOS(STATIC_3033), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))
3033_0_<init>_FieldAccess(EOS(STATIC_3033), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))) → 3038_0_<init>_Return(EOS(STATIC_3038), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))
3038_0_<init>_Return(EOS(STATIC_3038), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))) → 3043_0_addToStart_FieldAccess(EOS(STATIC_3043), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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)))
3043_0_addToStart_FieldAccess(EOS(STATIC_3043), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, 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))) → 3048_0_addToStart_Return(EOS(STATIC_3048), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)))
3048_0_addToStart_Return(EOS(STATIC_3048), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC))) → 3050_0_main_New(EOS(STATIC_3050), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289)
3050_0_main_New(EOS(STATIC_3050), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289) → 3053_0_main_Duplicate(EOS(STATIC_3053), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)))
3053_0_main_Duplicate(EOS(STATIC_3053), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC))) → 3056_0_main_Load(EOS(STATIC_3056), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)))
3056_0_main_Load(EOS(STATIC_3056), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC))) → 3061_0_main_Load(EOS(STATIC_3061), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)))
3061_0_main_Load(EOS(STATIC_3061), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16))) → 3066_0_main_ArrayAccess(EOS(STATIC_3066), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i289)
3066_0_main_ArrayAccess(EOS(STATIC_3066), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i289) → 3071_0_main_ArrayAccess(EOS(STATIC_3071), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i289)
3071_0_main_ArrayAccess(EOS(STATIC_3071), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), java.lang.Object(ARRAY(i16)), i289) → 3075_0_main_Load(EOS(STATIC_3075), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414) | <(i289, i16)
3075_0_main_Load(EOS(STATIC_3075), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414) → 3186_0_main_Inc(EOS(STATIC_3186), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289)
3186_0_main_Inc(EOS(STATIC_3186), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i289, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289) → 3187_0_main_InvokeMethod(EOS(STATIC_3187), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), +(i289, 1), java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289) | >(i289, 0)
3187_0_main_InvokeMethod(EOS(STATIC_3187), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289) → 3189_0_<init>_Load(EOS(STATIC_3189), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289, java.lang.Object(Entry(EOC)), o3414, i289)
3189_0_<init>_Load(EOS(STATIC_3189), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289, java.lang.Object(Entry(EOC)), o3414, i289) → 3191_0_<init>_InvokeMethod(EOS(STATIC_3191), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289, java.lang.Object(Entry(EOC)), o3414, i289, java.lang.Object(Entry(EOC)))
3191_0_<init>_InvokeMethod(EOS(STATIC_3191), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289, java.lang.Object(Entry(EOC)), o3414, i289, java.lang.Object(Entry(EOC))) → 3193_0_<init>_Load(EOS(STATIC_3193), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289, java.lang.Object(Entry(EOC)), o3414, i289)
3193_0_<init>_Load(EOS(STATIC_3193), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289, java.lang.Object(Entry(EOC)), o3414, i289) → 3195_0_<init>_Load(EOS(STATIC_3195), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289, java.lang.Object(Entry(EOC)), o3414, i289, java.lang.Object(Entry(EOC)))
3195_0_<init>_Load(EOS(STATIC_3195), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289, java.lang.Object(Entry(EOC)), o3414, i289, java.lang.Object(Entry(EOC))) → 3196_0_<init>_FieldAccess(EOS(STATIC_3196), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289, java.lang.Object(Entry(EOC)), i289, java.lang.Object(Entry(EOC)), o3414)
3196_0_<init>_FieldAccess(EOS(STATIC_3196), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289, java.lang.Object(Entry(EOC)), i289, java.lang.Object(Entry(EOC)), o3414) → 3198_0_<init>_Load(EOS(STATIC_3198), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289, java.lang.Object(Entry(EOC)), i289)
3198_0_<init>_Load(EOS(STATIC_3198), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289, java.lang.Object(Entry(EOC)), i289) → 3200_0_<init>_Load(EOS(STATIC_3200), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289, i289, java.lang.Object(Entry(EOC)))
3200_0_<init>_Load(EOS(STATIC_3200), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289, i289, java.lang.Object(Entry(EOC))) → 3201_0_<init>_FieldAccess(EOS(STATIC_3201), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289, java.lang.Object(Entry(EOC)), i289)
3201_0_<init>_FieldAccess(EOS(STATIC_3201), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289, java.lang.Object(Entry(EOC)), i289) → 3203_0_<init>_Return(EOS(STATIC_3203), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289)
3203_0_<init>_Return(EOS(STATIC_3203), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(Entry(EOC)), o3414, i289) → 3205_0_main_Store(EOS(STATIC_3205), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)))
3205_0_main_Store(EOS(STATIC_3205), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC))) → 3206_0_main_Load(EOS(STATIC_3206), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)))
3206_0_main_Load(EOS(STATIC_3206), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC))) → 3208_0_main_Load(EOS(STATIC_3208), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))))
3208_0_main_Load(EOS(STATIC_3208), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(Entry(EOC)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC))))) → 3210_0_main_InvokeMethod(EOS(STATIC_3210), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)))
3210_0_main_InvokeMethod(EOS(STATIC_3210), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC))) → 3212_0_addToStart_Load(EOS(STATIC_3212), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))
3212_0_addToStart_Load(EOS(STATIC_3212), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))) → 3215_0_addToStart_New(EOS(STATIC_3215), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))))
3215_0_addToStart_New(EOS(STATIC_3215), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))))) → 3217_0_addToStart_Duplicate(EOS(STATIC_3217), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))
3217_0_addToStart_Duplicate(EOS(STATIC_3217), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))) → 3219_0_addToStart_Load(EOS(STATIC_3219), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))
3219_0_addToStart_Load(EOS(STATIC_3219), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))) → 3221_0_addToStart_Load(EOS(STATIC_3221), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))))
3221_0_addToStart_Load(EOS(STATIC_3221), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))))) → 3223_0_addToStart_Load(EOS(STATIC_3223), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))
3223_0_addToStart_Load(EOS(STATIC_3223), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))) → 3225_0_addToStart_FieldAccess(EOS(STATIC_3225), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))))
3225_0_addToStart_FieldAccess(EOS(STATIC_3225), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))))) → 3227_0_addToStart_InvokeMethod(EOS(STATIC_3227), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))
3227_0_addToStart_InvokeMethod(EOS(STATIC_3227), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))) → 3229_0_<init>_Load(EOS(STATIC_3229), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))
3229_0_<init>_Load(EOS(STATIC_3229), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))) → 3232_0_<init>_Load(EOS(STATIC_3232), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))
3232_0_<init>_Load(EOS(STATIC_3232), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))) → 3233_0_<init>_FieldAccess(EOS(STATIC_3233), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))))
3233_0_<init>_FieldAccess(EOS(STATIC_3233), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))))) → 3234_0_<init>_Load(EOS(STATIC_3234), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))
3234_0_<init>_Load(EOS(STATIC_3234), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))) → 3235_0_<init>_InvokeMethod(EOS(STATIC_3235), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))
3235_0_<init>_InvokeMethod(EOS(STATIC_3235), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))) → 3236_0_<init>_Load(EOS(STATIC_3236), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))
3236_0_<init>_Load(EOS(STATIC_3236), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))) → 3237_0_<init>_Load(EOS(STATIC_3237), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))
3237_0_<init>_Load(EOS(STATIC_3237), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))) → 3238_0_<init>_FieldAccess(EOS(STATIC_3238), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))
3238_0_<init>_FieldAccess(EOS(STATIC_3238), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))) → 3239_0_<init>_Load(EOS(STATIC_3239), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))
3239_0_<init>_Load(EOS(STATIC_3239), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))) → 3240_0_<init>_Load(EOS(STATIC_3240), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))
3240_0_<init>_Load(EOS(STATIC_3240), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))) → 3241_0_<init>_FieldAccess(EOS(STATIC_3241), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))
3241_0_<init>_FieldAccess(EOS(STATIC_3241), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))) → 3242_0_<init>_Return(EOS(STATIC_3242), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))
3242_0_<init>_Return(EOS(STATIC_3242), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))) → 3243_0_addToStart_FieldAccess(EOS(STATIC_3243), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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)))
3243_0_addToStart_FieldAccess(EOS(STATIC_3243), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, 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))) → 3244_0_addToStart_Return(EOS(STATIC_3244), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC)))
3244_0_addToStart_Return(EOS(STATIC_3244), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368, java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), java.lang.Object(Entry(EOC))) → 3245_0_main_Inc(EOS(STATIC_3245), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368)
3245_0_main_Inc(EOS(STATIC_3245), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i368) → 3246_0_main_JMP(EOS(STATIC_3246), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), +(i368, 1)) | >(i368, 0)
3246_0_main_JMP(EOS(STATIC_3246), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i369) → 3247_0_main_Load(EOS(STATIC_3247), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i369)
3247_0_main_Load(EOS(STATIC_3247), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i369) → 2710_0_main_Load(EOS(STATIC_2710), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, java.lang.Object(LinkedList$Node(EOC)))), i369)
2710_0_main_Load(EOS(STATIC_2710), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277) → 2711_0_main_Load(EOS(STATIC_2711), java.lang.Object(ARRAY(i16)), java.lang.Object(LinkedList(EOC, o2837-825251773)), i277, i277)
R rules:

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

P rules:
2711_0_main_Load(EOS(STATIC_2711), java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(EOC, x1)), x2, x2) → 2711_0_main_Load(EOS(STATIC_2711), 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:

2711_0_main_Load(x1, x2, x3, x4, x5) → 2711_0_main_Load(x2, x3, x4, x5)
LinkedList$Node(x1) → LinkedList$Node
LinkedList(x1, x2) → LinkedList(x2)
EOS(x1) → EOS
Cond_2711_0_main_Load(x1, x2, x3, x4, x5, x6) → Cond_2711_0_main_Load(x1, x3, x4, x5, x6)

Filtered duplicate args:

2711_0_main_Load(x1, x2, x3, x4) → 2711_0_main_Load(x1, x2, x4)
Cond_2711_0_main_Load(x1, x2, x3, x4, x5) → Cond_2711_0_main_Load(x1, x2, x3, x5)

Filtered unneeded arguments:

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

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

P rules:
2711_0_main_Load(java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(x1)), x2) → 2711_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:
2711_0_MAIN_LOAD(java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(x1)), x2) → COND_2711_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_2711_0_MAIN_LOAD(TRUE, java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(x1)), x2) → 2711_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): 2711_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0]) → COND_2711_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_2711_0_MAIN_LOAD(TRUE, java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(x1[1])), x2[1]) → 2711_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@49c20af6 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 2711_0_MAIN_LOAD(java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(x1)), x2) → COND_2711_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 2711_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0]) → COND_2711_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_2711_0_MAIN_LOAD(TRUE, java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(x1[1])), x2[1]) → 2711_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] ⇒ 2711_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])≥NonInfC∧2711_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])≥COND_2711_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_2711_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 ⇒ 2711_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])≥NonInfC∧2711_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0])≥COND_2711_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_2711_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_2711_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_2711_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_2711_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_2711_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_2711_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_2711_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_2711_0_MAIN_LOAD(TRUE, java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(x1)), x2) → 2711_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_2711_0_MAIN_LOAD(TRUE, java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(x1[1])), x2[1]) → 2711_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_2711_0_MAIN_LOAD(TRUE, java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(x1[1])), x2[1])≥NonInfC∧COND_2711_0_MAIN_LOAD(TRUE, java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(x1[1])), x2[1])≥2711_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(java.lang.Object(LinkedList$Node))), +(x2[1], 4))∧(U^Increasing(2711_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(2711_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(2711_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(2711_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(2711_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.

2711_0_MAIN_LOAD(java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(x1)), x2) → COND_2711_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_2711_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_2711_0_MAIN_LOAD(TRUE, java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(x1)), x2) → 2711_0_MAIN_LOAD(java.lang.Object(ARRAY(x0)), java.lang.Object(LinkedList(java.lang.Object(LinkedList$Node))), +(x2, 4))
- ((U^Increasing(2711_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(2711_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_2711_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_>:

2711_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0]) → COND_2711_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_2711_0_MAIN_LOAD(TRUE, java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(x1[1])), x2[1]) → 2711_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:

2711_0_MAIN_LOAD(java.lang.Object(ARRAY(x0[0])), java.lang.Object(LinkedList(x1[0])), x2[0]) → COND_2711_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_2711_0_MAIN_LOAD(TRUE, java.lang.Object(ARRAY(x0[1])), java.lang.Object(LinkedList(x1[1])), x2[1]) → 2711_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