Termination proof of /tmp/tmp_ix33

Termination of the given JBC could be proven:

0 JBC

↳1 JBC2FIG (⇐)

↳2 FIGraph

↳3 FIGtoITRSProof (⇐)

↳4 AND

    ↳5 ITRS

        ↳6 ITRStoQTRSProof (⇔)

        ↳7 QTRS

        ↳8 QTRSRRRProof (⇔)

        ↳9 QTRS

        ↳10 RisEmptyProof (⇔)

        ↳11 TRUE

    ↳12 ITRS

        ↳13 DuplicateArgsRemoverProof (⇔)

        ↳14 ITRS

        ↳15 ITRStoIDPProof (⇔)

        ↳16 IDP

        ↳17 UsableRulesProof (⇔)

        ↳18 IDP

        ↳19 ItpfGraphProof (⇔)

        ↳20 IDP

        ↳21 IDPNonInfProof (⇐)

        ↳22 AND

            ↳23 IDP

                ↳24 IDependencyGraphProof (⇔)

                ↳25 TRUE

            ↳26 IDP

                ↳27 IDPtoQDPProof (⇐)

                ↳28 QDP

                ↳29 QReductionProof (⇔)

                ↳30 QDP

                ↳31 QDPSizeChangeProof (⇔)

                ↳32 TRUE

    ↳33 ITRS

        ↳34 DuplicateArgsRemoverProof (⇔)

        ↳35 ITRS

        ↳36 ITRStoIDPProof (⇔)

        ↳37 IDP

        ↳38 UsableRulesProof (⇔)

        ↳39 IDP

        ↳40 IDPNonInfProof (⇐)

        ↳41 AND

            ↳42 IDP

                ↳43 IDependencyGraphProof (⇔)

                ↳44 TRUE

            ↳45 IDP

                ↳46 IDependencyGraphProof (⇔)

                ↳47 TRUE

    ↳48 ITRS

        ↳49 DuplicateArgsRemoverProof (⇔)

        ↳50 ITRS

        ↳51 ITRStoIDPProof (⇔)

        ↳52 IDP

        ↳53 UsableRulesProof (⇔)

        ↳54 IDP

        ↳55 IDPNonInfProof (⇐)

        ↳56 AND

            ↳57 IDP

                ↳58 IDependencyGraphProof (⇔)

                ↳59 TRUE

            ↳60 IDP

                ↳61 IDPNonInfProof (⇐)

                ↳62 AND

                    ↳63 IDP

                        ↳64 IDependencyGraphProof (⇔)

                        ↳65 IDP

                        ↳66 IDPNonInfProof (⇐)

                        ↳67 AND

                            ↳68 IDP

                                ↳69 IDependencyGraphProof (⇔)

                                ↳70 TRUE

                            ↳71 IDP

                                ↳72 IDependencyGraphProof (⇔)

                                ↳73 TRUE

                    ↳74 IDP

                        ↳75 IDependencyGraphProof (⇔)

                        ↳76 TRUE

(0) Obligation:

JBC Problem based on JBC Program:

No human-readable program information known.

Manifest-Version: 1.0 Created-By: 1.6.0_20 (Apple Inc.) Main-Class: Infix2Postfix

(1) JBC2FIG (SOUND transformation)

Constructed FIGraph.

(2) Obligation:

FIGraph based on JBC Program:
Graph of 671 nodes with 4 SCCs.

(3) FIGtoITRSProof (SOUND transformation)

Transformed FIGraph to ITRS rules

(4) Complex Obligation (AND)

(5) Obligation:

ITRS 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 TRS R consists of the following rules:
Load19448(java.lang.Object(LinkedList(i2911, o51252))) → Load19448(o51252)
The set Q consists of the following terms:
Load19448(java.lang.Object(LinkedList(x0, x1)))

(6) ITRStoQTRSProof (EQUIVALENT transformation)

Represented integers and predefined function symbols by Terms

(7) Obligation:

Q restricted rewrite system:
The TRS R consists of the following rules:

Load19448(java.lang.Object(LinkedList(i2911, o51252))) → Load19448(o51252)

The set Q consists of the following terms:

Load19448(java.lang.Object(LinkedList(x0, x1)))

(8) QTRSRRRProof (EQUIVALENT transformation)

Used ordering:
Polynomial interpretation [POLO]:

POL(LinkedList(x₁, x₂)) = x₁ + x₂
POL(Load19448(x₁)) = x₁
POL(java.lang.Object(x₁)) = 1 + x₁

With this ordering the following rules can be removed by the rule removal processor [LPAR04] because they are oriented strictly:

Load19448(java.lang.Object(LinkedList(i2911, o51252))) → Load19448(o51252)

(9) Obligation:

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

Load19448(java.lang.Object(LinkedList(x0, x1)))

(10) RisEmptyProof (EQUIVALENT transformation)

The TRS R is empty. Hence, termination is trivially proven.

(11) TRUE

(12) Obligation:

ITRS 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 TRS R consists of the following rules:
Load17175(o36349, java.lang.Object(LinkedList(44, o36363)), o36347) → New17297(o36349, java.lang.Object(LinkedList(44, o36363)), o36347, 44)
Load17175(o36349, java.lang.Object(LinkedList(46, o36363)), o36347) → New17297(o36349, java.lang.Object(LinkedList(46, o36363)), o36347, 46)
Load17175(o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347) → Cond_Load17175(i1737 > 47, o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347)
Cond_Load17175(TRUE, o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347) → New17297(o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347, i1737)
JMP19367(o36349, o36363, o36347, i1737) → Load17175(o36349, o36363, o36347)
New17297(o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347, i1737) → Load17175(o36349, o36363, o36347)
Load17175(o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347) → Cond_Load171751(i1737 < 40, o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347)
Cond_Load171751(TRUE, o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347) → Load17175(o36349, o36363, o36347)
JMP17973(o36349, o36363, o36347) → Load17175(o36349, o36363, o36347)
Load17175(o36349, java.lang.Object(LinkedList(40, o36363)), o36347) → Load17175(o36349, o36363, o36347)
JMP19904(o36349, o36363, o39383) → Load17175(o36349, o36363, o39383)
Load17175(o36349, java.lang.Object(LinkedList(41, o36363)), java.lang.Object(LinkedList(i1947, o39383))) → Load17175(o36349, o36363, o39383)
JMP19511(o36349, o36363, java.lang.Object(LinkedList(42, o36347))) → Load17175(o36349, o36363, java.lang.Object(LinkedList(42, o36347)))
Load17175(o36349, java.lang.Object(LinkedList(42, o36363)), o36347) → Load17175(o36349, o36363, java.lang.Object(LinkedList(42, o36347)))
JMP19513(o36349, o36363, java.lang.Object(LinkedList(43, o36347))) → Load17175(o36349, o36363, java.lang.Object(LinkedList(43, o36347)))
Load17175(o36349, java.lang.Object(LinkedList(43, o36363)), o36347) → Load17175(o36349, o36363, java.lang.Object(LinkedList(43, o36347)))
JMP19515(o36349, o36363, java.lang.Object(LinkedList(45, o36347))) → Load17175(o36349, o36363, java.lang.Object(LinkedList(45, o36347)))
Load17175(o36349, java.lang.Object(LinkedList(45, o36363)), o36347) → Load17175(o36349, o36363, java.lang.Object(LinkedList(45, o36347)))
JMP19518(o36349, o36363, java.lang.Object(LinkedList(47, o36347))) → Load17175(o36349, o36363, java.lang.Object(LinkedList(47, o36347)))
Load17175(o36349, java.lang.Object(LinkedList(47, o36363)), o36347) → Load17175(o36349, o36363, java.lang.Object(LinkedList(47, o36347)))
New17332(java.lang.Object(LinkedList(i1738, o36366)), java.lang.Object(LinkedList(i1738, o36366)), o36347, i1738) → JMP19367(java.lang.Object(LinkedList(i1738, o36366)), o36366, o36347, i1738)
Load17175(java.lang.Object(LinkedList(i1738, o36366)), java.lang.Object(LinkedList(i1738, o36366)), o36347) → Cond_Load171752(i1738 < 40, java.lang.Object(LinkedList(i1738, o36366)), java.lang.Object(LinkedList(i1738, o36366)), o36347)
Cond_Load171752(TRUE, java.lang.Object(LinkedList(i1738, o36366)), java.lang.Object(LinkedList(i1738, o36366)), o36347) → JMP19367(java.lang.Object(LinkedList(i1738, o36366)), o36366, o36347, i1738)
Load17175(java.lang.Object(LinkedList(40, o36366)), java.lang.Object(LinkedList(40, o36366)), o36347) → JMP17973(java.lang.Object(LinkedList(40, o36366)), o36366, o36347)
Load17175(java.lang.Object(LinkedList(41, o36366)), java.lang.Object(LinkedList(41, o36366)), java.lang.Object(LinkedList(i1972, o39682))) → JMP19904(java.lang.Object(LinkedList(41, o36366)), o36366, o39682)
Load17175(java.lang.Object(LinkedList(42, o36366)), java.lang.Object(LinkedList(42, o36366)), o36347) → JMP19511(java.lang.Object(LinkedList(42, o36366)), o36366, java.lang.Object(LinkedList(42, o36347)))
Load17175(java.lang.Object(LinkedList(43, o36366)), java.lang.Object(LinkedList(43, o36366)), o36347) → JMP19513(java.lang.Object(LinkedList(43, o36366)), o36366, java.lang.Object(LinkedList(43, o36347)))
Load17175(java.lang.Object(LinkedList(45, o36366)), java.lang.Object(LinkedList(45, o36366)), o36347) → JMP19515(java.lang.Object(LinkedList(45, o36366)), o36366, java.lang.Object(LinkedList(45, o36347)))
Load17175(java.lang.Object(LinkedList(47, o36366)), java.lang.Object(LinkedList(47, o36366)), o36347) → JMP19518(java.lang.Object(LinkedList(47, o36366)), o36366, java.lang.Object(LinkedList(47, o36347)))
Load17175(java.lang.Object(LinkedList(44, o36366)), java.lang.Object(LinkedList(44, o36366)), o36347) → New17332(java.lang.Object(LinkedList(44, o36366)), java.lang.Object(LinkedList(44, o36366)), o36347, 44)
Load17175(java.lang.Object(LinkedList(46, o36366)), java.lang.Object(LinkedList(46, o36366)), o36347) → New17332(java.lang.Object(LinkedList(46, o36366)), java.lang.Object(LinkedList(46, o36366)), o36347, 46)
Load17175(java.lang.Object(LinkedList(i1738, o36366)), java.lang.Object(LinkedList(i1738, o36366)), o36347) → Cond_Load171753(i1738 > 47, java.lang.Object(LinkedList(i1738, o36366)), java.lang.Object(LinkedList(i1738, o36366)), o36347)
Cond_Load171753(TRUE, java.lang.Object(LinkedList(i1738, o36366)), java.lang.Object(LinkedList(i1738, o36366)), o36347) → New17332(java.lang.Object(LinkedList(i1738, o36366)), java.lang.Object(LinkedList(i1738, o36366)), o36347, i1738)
The set Q consists of the following terms:
Load17175(x0, java.lang.Object(LinkedList(x1, x2)), x3)
Cond_Load17175(TRUE, x0, java.lang.Object(LinkedList(x1, x2)), x3)
JMP19367(x0, x1, x2, x3)
New17297(x0, java.lang.Object(LinkedList(x1, x2)), x3, x1)
Cond_Load171751(TRUE, x0, java.lang.Object(LinkedList(x1, x2)), x3)
JMP17973(x0, x1, x2)
JMP19904(x0, x1, x2)
JMP19511(x0, x1, java.lang.Object(LinkedList(42, x2)))
JMP19513(x0, x1, java.lang.Object(LinkedList(43, x2)))
JMP19515(x0, x1, java.lang.Object(LinkedList(45, x2)))
JMP19518(x0, x1, java.lang.Object(LinkedList(47, x2)))
New17332(java.lang.Object(LinkedList(x0, x1)), java.lang.Object(LinkedList(x0, x1)), x2, x0)
Cond_Load171752(TRUE, java.lang.Object(LinkedList(x0, x1)), java.lang.Object(LinkedList(x0, x1)), x2)
Cond_Load171753(TRUE, java.lang.Object(LinkedList(x0, x1)), java.lang.Object(LinkedList(x0, x1)), x2)

(13) DuplicateArgsRemoverProof (EQUIVALENT transformation)

Some arguments are removed because they only appear as duplicates.
We removed arguments according to the following replacements:

Cond_Load171753(x1, x2, x3, x4) → Cond_Load171753(x1, x3, x4)
New17332(x1, x2, x3, x4) → New17332(x2, x3, x4)
Cond_Load171752(x1, x2, x3, x4) → Cond_Load171752(x1, x3, x4)

(14) Obligation:

ITRS 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 TRS R consists of the following rules:
Load17175(o36349, java.lang.Object(LinkedList(44, o36363)), o36347) → New17297(o36349, java.lang.Object(LinkedList(44, o36363)), o36347, 44)
Load17175(o36349, java.lang.Object(LinkedList(46, o36363)), o36347) → New17297(o36349, java.lang.Object(LinkedList(46, o36363)), o36347, 46)
Load17175(o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347) → Cond_Load17175(i1737 > 47, o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347)
Cond_Load17175(TRUE, o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347) → New17297(o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347, i1737)
JMP19367(o36349, o36363, o36347, i1737) → Load17175(o36349, o36363, o36347)
New17297(o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347, i1737) → Load17175(o36349, o36363, o36347)
Load17175(o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347) → Cond_Load171751(i1737 < 40, o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347)
Cond_Load171751(TRUE, o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347) → Load17175(o36349, o36363, o36347)
JMP17973(o36349, o36363, o36347) → Load17175(o36349, o36363, o36347)
Load17175(o36349, java.lang.Object(LinkedList(40, o36363)), o36347) → Load17175(o36349, o36363, o36347)
JMP19904(o36349, o36363, o39383) → Load17175(o36349, o36363, o39383)
Load17175(o36349, java.lang.Object(LinkedList(41, o36363)), java.lang.Object(LinkedList(i1947, o39383))) → Load17175(o36349, o36363, o39383)
JMP19511(o36349, o36363, java.lang.Object(LinkedList(42, o36347))) → Load17175(o36349, o36363, java.lang.Object(LinkedList(42, o36347)))
Load17175(o36349, java.lang.Object(LinkedList(42, o36363)), o36347) → Load17175(o36349, o36363, java.lang.Object(LinkedList(42, o36347)))
JMP19513(o36349, o36363, java.lang.Object(LinkedList(43, o36347))) → Load17175(o36349, o36363, java.lang.Object(LinkedList(43, o36347)))
Load17175(o36349, java.lang.Object(LinkedList(43, o36363)), o36347) → Load17175(o36349, o36363, java.lang.Object(LinkedList(43, o36347)))
JMP19515(o36349, o36363, java.lang.Object(LinkedList(45, o36347))) → Load17175(o36349, o36363, java.lang.Object(LinkedList(45, o36347)))
Load17175(o36349, java.lang.Object(LinkedList(45, o36363)), o36347) → Load17175(o36349, o36363, java.lang.Object(LinkedList(45, o36347)))
JMP19518(o36349, o36363, java.lang.Object(LinkedList(47, o36347))) → Load17175(o36349, o36363, java.lang.Object(LinkedList(47, o36347)))
Load17175(o36349, java.lang.Object(LinkedList(47, o36363)), o36347) → Load17175(o36349, o36363, java.lang.Object(LinkedList(47, o36347)))
New17332(java.lang.Object(LinkedList(i1738, o36366)), o36347, i1738) → JMP19367(java.lang.Object(LinkedList(i1738, o36366)), o36366, o36347, i1738)
Load17175(java.lang.Object(LinkedList(i1738, o36366)), java.lang.Object(LinkedList(i1738, o36366)), o36347) → Cond_Load171752(i1738 < 40, java.lang.Object(LinkedList(i1738, o36366)), o36347)
Cond_Load171752(TRUE, java.lang.Object(LinkedList(i1738, o36366)), o36347) → JMP19367(java.lang.Object(LinkedList(i1738, o36366)), o36366, o36347, i1738)
Load17175(java.lang.Object(LinkedList(40, o36366)), java.lang.Object(LinkedList(40, o36366)), o36347) → JMP17973(java.lang.Object(LinkedList(40, o36366)), o36366, o36347)
Load17175(java.lang.Object(LinkedList(41, o36366)), java.lang.Object(LinkedList(41, o36366)), java.lang.Object(LinkedList(i1972, o39682))) → JMP19904(java.lang.Object(LinkedList(41, o36366)), o36366, o39682)
Load17175(java.lang.Object(LinkedList(42, o36366)), java.lang.Object(LinkedList(42, o36366)), o36347) → JMP19511(java.lang.Object(LinkedList(42, o36366)), o36366, java.lang.Object(LinkedList(42, o36347)))
Load17175(java.lang.Object(LinkedList(43, o36366)), java.lang.Object(LinkedList(43, o36366)), o36347) → JMP19513(java.lang.Object(LinkedList(43, o36366)), o36366, java.lang.Object(LinkedList(43, o36347)))
Load17175(java.lang.Object(LinkedList(45, o36366)), java.lang.Object(LinkedList(45, o36366)), o36347) → JMP19515(java.lang.Object(LinkedList(45, o36366)), o36366, java.lang.Object(LinkedList(45, o36347)))
Load17175(java.lang.Object(LinkedList(47, o36366)), java.lang.Object(LinkedList(47, o36366)), o36347) → JMP19518(java.lang.Object(LinkedList(47, o36366)), o36366, java.lang.Object(LinkedList(47, o36347)))
Load17175(java.lang.Object(LinkedList(44, o36366)), java.lang.Object(LinkedList(44, o36366)), o36347) → New17332(java.lang.Object(LinkedList(44, o36366)), o36347, 44)
Load17175(java.lang.Object(LinkedList(46, o36366)), java.lang.Object(LinkedList(46, o36366)), o36347) → New17332(java.lang.Object(LinkedList(46, o36366)), o36347, 46)
Load17175(java.lang.Object(LinkedList(i1738, o36366)), java.lang.Object(LinkedList(i1738, o36366)), o36347) → Cond_Load171753(i1738 > 47, java.lang.Object(LinkedList(i1738, o36366)), o36347)
Cond_Load171753(TRUE, java.lang.Object(LinkedList(i1738, o36366)), o36347) → New17332(java.lang.Object(LinkedList(i1738, o36366)), o36347, i1738)
The set Q consists of the following terms:
Load17175(x0, java.lang.Object(LinkedList(x1, x2)), x3)
Cond_Load17175(TRUE, x0, java.lang.Object(LinkedList(x1, x2)), x3)
JMP19367(x0, x1, x2, x3)
New17297(x0, java.lang.Object(LinkedList(x1, x2)), x3, x1)
Cond_Load171751(TRUE, x0, java.lang.Object(LinkedList(x1, x2)), x3)
JMP17973(x0, x1, x2)
JMP19904(x0, x1, x2)
JMP19511(x0, x1, java.lang.Object(LinkedList(42, x2)))
JMP19513(x0, x1, java.lang.Object(LinkedList(43, x2)))
JMP19515(x0, x1, java.lang.Object(LinkedList(45, x2)))
JMP19518(x0, x1, java.lang.Object(LinkedList(47, x2)))
New17332(java.lang.Object(LinkedList(x0, x1)), x2, x0)
Cond_Load171752(TRUE, java.lang.Object(LinkedList(x0, x1)), x2)
Cond_Load171753(TRUE, java.lang.Object(LinkedList(x0, x1)), x2)

(15) ITRStoIDPProof (EQUIVALENT transformation)

Added dependency pairs

(16) Obligation:

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

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

The following domains are used:

Integer

The ITRS R consists of the following rules:
Load17175(o36349, java.lang.Object(LinkedList(44, o36363)), o36347) → New17297(o36349, java.lang.Object(LinkedList(44, o36363)), o36347, 44)
Load17175(o36349, java.lang.Object(LinkedList(46, o36363)), o36347) → New17297(o36349, java.lang.Object(LinkedList(46, o36363)), o36347, 46)
Load17175(o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347) → Cond_Load17175(i1737 > 47, o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347)
Cond_Load17175(TRUE, o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347) → New17297(o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347, i1737)
JMP19367(o36349, o36363, o36347, i1737) → Load17175(o36349, o36363, o36347)
New17297(o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347, i1737) → Load17175(o36349, o36363, o36347)
Load17175(o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347) → Cond_Load171751(i1737 < 40, o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347)
Cond_Load171751(TRUE, o36349, java.lang.Object(LinkedList(i1737, o36363)), o36347) → Load17175(o36349, o36363, o36347)
JMP17973(o36349, o36363, o36347) → Load17175(o36349, o36363, o36347)
Load17175(o36349, java.lang.Object(LinkedList(40, o36363)), o36347) → Load17175(o36349, o36363, o36347)
JMP19904(o36349, o36363, o39383) → Load17175(o36349, o36363, o39383)
Load17175(o36349, java.lang.Object(LinkedList(41, o36363)), java.lang.Object(LinkedList(i1947, o39383))) → Load17175(o36349, o36363, o39383)
JMP19511(o36349, o36363, java.lang.Object(LinkedList(42, o36347))) → Load17175(o36349, o36363, java.lang.Object(LinkedList(42, o36347)))
Load17175(o36349, java.lang.Object(LinkedList(42, o36363)), o36347) → Load17175(o36349, o36363, java.lang.Object(LinkedList(42, o36347)))
JMP19513(o36349, o36363, java.lang.Object(LinkedList(43, o36347))) → Load17175(o36349, o36363, java.lang.Object(LinkedList(43, o36347)))
Load17175(o36349, java.lang.Object(LinkedList(43, o36363)), o36347) → Load17175(o36349, o36363, java.lang.Object(LinkedList(43, o36347)))
JMP19515(o36349, o36363, java.lang.Object(LinkedList(45, o36347))) → Load17175(o36349, o36363, java.lang.Object(LinkedList(45, o36347)))
Load17175(o36349, java.lang.Object(LinkedList(45, o36363)), o36347) → Load17175(o36349, o36363, java.lang.Object(LinkedList(45, o36347)))
JMP19518(o36349, o36363, java.lang.Object(LinkedList(47, o36347))) → Load17175(o36349, o36363, java.lang.Object(LinkedList(47, o36347)))
Load17175(o36349, java.lang.Object(LinkedList(47, o36363)), o36347) → Load17175(o36349, o36363, java.lang.Object(LinkedList(47, o36347)))
New17332(java.lang.Object(LinkedList(i1738, o36366)), o36347, i1738) → JMP19367(java.lang.Object(LinkedList(i1738, o36366)), o36366, o36347, i1738)
Load17175(java.lang.Object(LinkedList(i1738, o36366)), java.lang.Object(LinkedList(i1738, o36366)), o36347) → Cond_Load171752(i1738 < 40, java.lang.Object(LinkedList(i1738, o36366)), o36347)
Cond_Load171752(TRUE, java.lang.Object(LinkedList(i1738, o36366)), o36347) → JMP19367(java.lang.Object(LinkedList(i1738, o36366)), o36366, o36347, i1738)
Load17175(java.lang.Object(LinkedList(40, o36366)), java.lang.Object(LinkedList(40, o36366)), o36347) → JMP17973(java.lang.Object(LinkedList(40, o36366)), o36366, o36347)
Load17175(java.lang.Object(LinkedList(41, o36366)), java.lang.Object(LinkedList(41, o36366)), java.lang.Object(LinkedList(i1972, o39682))) → JMP19904(java.lang.Object(LinkedList(41, o36366)), o36366, o39682)
Load17175(java.lang.Object(LinkedList(42, o36366)), java.lang.Object(LinkedList(42, o36366)), o36347) → JMP19511(java.lang.Object(LinkedList(42, o36366)), o36366, java.lang.Object(LinkedList(42, o36347)))
Load17175(java.lang.Object(LinkedList(43, o36366)), java.lang.Object(LinkedList(43, o36366)), o36347) → JMP19513(java.lang.Object(LinkedList(43, o36366)), o36366, java.lang.Object(LinkedList(43, o36347)))
Load17175(java.lang.Object(LinkedList(45, o36366)), java.lang.Object(LinkedList(45, o36366)), o36347) → JMP19515(java.lang.Object(LinkedList(45, o36366)), o36366, java.lang.Object(LinkedList(45, o36347)))
Load17175(java.lang.Object(LinkedList(47, o36366)), java.lang.Object(LinkedList(47, o36366)), o36347) → JMP19518(java.lang.Object(LinkedList(47, o36366)), o36366, java.lang.Object(LinkedList(47, o36347)))
Load17175(java.lang.Object(LinkedList(44, o36366)), java.lang.Object(LinkedList(44, o36366)), o36347) → New17332(java.lang.Object(LinkedList(44, o36366)), o36347, 44)
Load17175(java.lang.Object(LinkedList(46, o36366)), java.lang.Object(LinkedList(46, o36366)), o36347) → New17332(java.lang.Object(LinkedList(46, o36366)), o36347, 46)
Load17175(java.lang.Object(LinkedList(i1738, o36366)), java.lang.Object(LinkedList(i1738, o36366)), o36347) → Cond_Load171753(i1738 > 47, java.lang.Object(LinkedList(i1738, o36366)), o36347)
Cond_Load171753(TRUE, java.lang.Object(LinkedList(i1738, o36366)), o36347) → New17332(java.lang.Object(LinkedList(i1738, o36366)), o36347, i1738)

The integer pair graph contains the following rules and edges:
(0): LOAD17175(o36349[0], java.lang.Object(LinkedList(44, o36363[0])), o36347[0]) → NEW17297(o36349[0], java.lang.Object(LinkedList(44, o36363[0])), o36347[0], 44)
(1): LOAD17175(o36349[1], java.lang.Object(LinkedList(46, o36363[1])), o36347[1]) → NEW17297(o36349[1], java.lang.Object(LinkedList(46, o36363[1])), o36347[1], 46)
(2): LOAD17175(o36349[2], java.lang.Object(LinkedList(i1737[2], o36363[2])), o36347[2]) → COND_LOAD17175(i1737[2] > 47, o36349[2], java.lang.Object(LinkedList(i1737[2], o36363[2])), o36347[2])
(3): COND_LOAD17175(TRUE, o36349[3], java.lang.Object(LinkedList(i1737[3], o36363[3])), o36347[3]) → NEW17297(o36349[3], java.lang.Object(LinkedList(i1737[3], o36363[3])), o36347[3], i1737[3])
(4): JMP19367'(o36349[4], o36363[4], o36347[4], i1737[4]) → LOAD17175(o36349[4], o36363[4], o36347[4])
(5): NEW17297(o36349[5], java.lang.Object(LinkedList(i1737[5], o36363[5])), o36347[5], i1737[5]) → LOAD17175(o36349[5], o36363[5], o36347[5])
(6): LOAD17175(o36349[6], java.lang.Object(LinkedList(i1737[6], o36363[6])), o36347[6]) → COND_LOAD171751(i1737[6] < 40, o36349[6], java.lang.Object(LinkedList(i1737[6], o36363[6])), o36347[6])
(7): COND_LOAD171751(TRUE, o36349[7], java.lang.Object(LinkedList(i1737[7], o36363[7])), o36347[7]) → LOAD17175(o36349[7], o36363[7], o36347[7])
(8): JMP17973'(o36349[8], o36363[8], o36347[8]) → LOAD17175(o36349[8], o36363[8], o36347[8])
(9): LOAD17175(o36349[9], java.lang.Object(LinkedList(40, o36363[9])), o36347[9]) → LOAD17175(o36349[9], o36363[9], o36347[9])
(10): JMP19904'(o36349[10], o36363[10], o39383[10]) → LOAD17175(o36349[10], o36363[10], o39383[10])
(11): LOAD17175(o36349[11], java.lang.Object(LinkedList(41, o36363[11])), java.lang.Object(LinkedList(i1947[11], o39383[11]))) → LOAD17175(o36349[11], o36363[11], o39383[11])
(12): JMP19511'(o36349[12], o36363[12], java.lang.Object(LinkedList(42, o36347[12]))) → LOAD17175(o36349[12], o36363[12], java.lang.Object(LinkedList(42, o36347[12])))
(13): LOAD17175(o36349[13], java.lang.Object(LinkedList(42, o36363[13])), o36347[13]) → LOAD17175(o36349[13], o36363[13], java.lang.Object(LinkedList(42, o36347[13])))
(14): JMP19513'(o36349[14], o36363[14], java.lang.Object(LinkedList(43, o36347[14]))) → LOAD17175(o36349[14], o36363[14], java.lang.Object(LinkedList(43, o36347[14])))
(15): LOAD17175(o36349[15], java.lang.Object(LinkedList(43, o36363[15])), o36347[15]) → LOAD17175(o36349[15], o36363[15], java.lang.Object(LinkedList(43, o36347[15])))
(16): JMP19515'(o36349[16], o36363[16], java.lang.Object(LinkedList(45, o36347[16]))) → LOAD17175(o36349[16], o36363[16], java.lang.Object(LinkedList(45, o36347[16])))
(17): LOAD17175(o36349[17], java.lang.Object(LinkedList(45, o36363[17])), o36347[17]) → LOAD17175(o36349[17], o36363[17], java.lang.Object(LinkedList(45, o36347[17])))
(18): JMP19518'(o36349[18], o36363[18], java.lang.Object(LinkedList(47, o36347[18]))) → LOAD17175(o36349[18], o36363[18], java.lang.Object(LinkedList(47, o36347[18])))
(19): LOAD17175(o36349[19], java.lang.Object(LinkedList(47, o36363[19])), o36347[19]) → LOAD17175(o36349[19], o36363[19], java.lang.Object(LinkedList(47, o36347[19])))
(20): NEW17332(java.lang.Object(LinkedList(i1738[20], o36366[20])), o36347[20], i1738[20]) → JMP19367'(java.lang.Object(LinkedList(i1738[20], o36366[20])), o36366[20], o36347[20], i1738[20])
(21): LOAD17175(java.lang.Object(LinkedList(i1738[21], o36366[21])), java.lang.Object(LinkedList(i1738[21], o36366[21])), o36347[21]) → COND_LOAD171752(i1738[21] < 40, java.lang.Object(LinkedList(i1738[21], o36366[21])), o36347[21])
(22): COND_LOAD171752(TRUE, java.lang.Object(LinkedList(i1738[22], o36366[22])), o36347[22]) → JMP19367'(java.lang.Object(LinkedList(i1738[22], o36366[22])), o36366[22], o36347[22], i1738[22])
(23): LOAD17175(java.lang.Object(LinkedList(40, o36366[23])), java.lang.Object(LinkedList(40, o36366[23])), o36347[23]) → JMP17973'(java.lang.Object(LinkedList(40, o36366[23])), o36366[23], o36347[23])
(24): LOAD17175(java.lang.Object(LinkedList(41, o36366[24])), java.lang.Object(LinkedList(41, o36366[24])), java.lang.Object(LinkedList(i1972[24], o39682[24]))) → JMP19904'(java.lang.Object(LinkedList(41, o36366[24])), o36366[24], o39682[24])
(25): LOAD17175(java.lang.Object(LinkedList(42, o36366[25])), java.lang.Object(LinkedList(42, o36366[25])), o36347[25]) → JMP19511'(java.lang.Object(LinkedList(42, o36366[25])), o36366[25], java.lang.Object(LinkedList(42, o36347[25])))
(26): LOAD17175(java.lang.Object(LinkedList(43, o36366[26])), java.lang.Object(LinkedList(43, o36366[26])), o36347[26]) → JMP19513'(java.lang.Object(LinkedList(43, o36366[26])), o36366[26], java.lang.Object(LinkedList(43, o36347[26])))
(27): LOAD17175(java.lang.Object(LinkedList(45, o36366[27])), java.lang.Object(LinkedList(45, o36366[27])), o36347[27]) → JMP19515'(java.lang.Object(LinkedList(45, o36366[27])), o36366[27], java.lang.Object(LinkedList(45, o36347[27])))
(28): LOAD17175(java.lang.Object(LinkedList(47, o36366[28])), java.lang.Object(LinkedList(47, o36366[28])), o36347[28]) → JMP19518'(java.lang.Object(LinkedList(47, o36366[28])), o36366[28], java.lang.Object(LinkedList(47, o36347[28])))
(29): LOAD17175(java.lang.Object(LinkedList(44, o36366[29])), java.lang.Object(LinkedList(44, o36366[29])), o36347[29]) → NEW17332(java.lang.Object(LinkedList(44, o36366[29])), o36347[29], 44)
(30): LOAD17175(java.lang.Object(LinkedList(46, o36366[30])), java.lang.Object(LinkedList(46, o36366[30])), o36347[30]) → NEW17332(java.lang.Object(LinkedList(46, o36366[30])), o36347[30], 46)
(31): LOAD17175(java.lang.Object(LinkedList(i1738[31], o36366[31])), java.lang.Object(LinkedList(i1738[31], o36366[31])), o36347[31]) → COND_LOAD171753(i1738[31] > 47, java.lang.Object(LinkedList(i1738[31], o36366[31])), o36347[31])
(32): COND_LOAD171753(TRUE, java.lang.Object(LinkedList(i1738[32], o36366[32])), o36347[32]) → NEW17332(java.lang.Object(LinkedList(i1738[32], o36366[32])), o36347[32], i1738[32])

(0) -> (5), if ((o36347[0] →^* o36347[5])∧(44 →^* i1737[5])∧(java.lang.Object(LinkedList(44, o36363[0])) →^* java.lang.Object(LinkedList(i1737[5], o36363[5])))∧(o36349[0] →^* o36349[5]))

(1) -> (5), if ((java.lang.Object(LinkedList(46, o36363[1])) →^* java.lang.Object(LinkedList(i1737[5], o36363[5])))∧(46 →^* i1737[5])∧(o36347[1] →^* o36347[5])∧(o36349[1] →^* o36349[5]))

(2) -> (3), if ((i1737[2] > 47 →^* TRUE)∧(o36349[2] →^* o36349[3])∧(java.lang.Object(LinkedList(i1737[2], o36363[2])) →^* java.lang.Object(LinkedList(i1737[3], o36363[3])))∧(o36347[2] →^* o36347[3]))

(3) -> (5), if ((o36347[3] →^* o36347[5])∧(i1737[3] →^* i1737[5])∧(o36349[3] →^* o36349[5])∧(java.lang.Object(LinkedList(i1737[3], o36363[3])) →^* java.lang.Object(LinkedList(i1737[5], o36363[5]))))

(4) -> (0), if ((o36347[4] →^* o36347[0])∧(o36349[4] →^* o36349[0])∧(o36363[4] →^* java.lang.Object(LinkedList(44, o36363[0]))))

(4) -> (1), if ((o36349[4] →^* o36349[1])∧(o36363[4] →^* java.lang.Object(LinkedList(46, o36363[1])))∧(o36347[4] →^* o36347[1]))

(4) -> (2), if ((o36347[4] →^* o36347[2])∧(o36363[4] →^* java.lang.Object(LinkedList(i1737[2], o36363[2])))∧(o36349[4] →^* o36349[2]))

(4) -> (6), if ((o36349[4] →^* o36349[6])∧(o36363[4] →^* java.lang.Object(LinkedList(i1737[6], o36363[6])))∧(o36347[4] →^* o36347[6]))

(4) -> (9), if ((o36347[4] →^* o36347[9])∧(o36349[4] →^* o36349[9])∧(o36363[4] →^* java.lang.Object(LinkedList(40, o36363[9]))))

(4) -> (11), if ((o36349[4] →^* o36349[11])∧(o36347[4] →^* java.lang.Object(LinkedList(i1947[11], o39383[11])))∧(o36363[4] →^* java.lang.Object(LinkedList(41, o36363[11]))))

(4) -> (13), if ((o36347[4] →^* o36347[13])∧(o36349[4] →^* o36349[13])∧(o36363[4] →^* java.lang.Object(LinkedList(42, o36363[13]))))

(4) -> (15), if ((o36349[4] →^* o36349[15])∧(o36363[4] →^* java.lang.Object(LinkedList(43, o36363[15])))∧(o36347[4] →^* o36347[15]))

(4) -> (17), if ((o36347[4] →^* o36347[17])∧(o36349[4] →^* o36349[17])∧(o36363[4] →^* java.lang.Object(LinkedList(45, o36363[17]))))

(4) -> (19), if ((o36363[4] →^* java.lang.Object(LinkedList(47, o36363[19])))∧(o36347[4] →^* o36347[19])∧(o36349[4] →^* o36349[19]))

(4) -> (21), if ((o36349[4] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(o36347[4] →^* o36347[21])∧(o36363[4] →^* java.lang.Object(LinkedList(i1738[21], o36366[21]))))

(4) -> (23), if ((o36349[4] →^* java.lang.Object(LinkedList(40, o36366[23])))∧(o36347[4] →^* o36347[23])∧(o36363[4] →^* java.lang.Object(LinkedList(40, o36366[23]))))

(4) -> (24), if ((o36363[4] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(o36347[4] →^* java.lang.Object(LinkedList(i1972[24], o39682[24])))∧(o36349[4] →^* java.lang.Object(LinkedList(41, o36366[24]))))

(4) -> (25), if ((o36349[4] →^* java.lang.Object(LinkedList(42, o36366[25])))∧(o36347[4] →^* o36347[25])∧(o36363[4] →^* java.lang.Object(LinkedList(42, o36366[25]))))

(4) -> (26), if ((o36363[4] →^* java.lang.Object(LinkedList(43, o36366[26])))∧(o36347[4] →^* o36347[26])∧(o36349[4] →^* java.lang.Object(LinkedList(43, o36366[26]))))

(4) -> (27), if ((o36363[4] →^* java.lang.Object(LinkedList(45, o36366[27])))∧(o36349[4] →^* java.lang.Object(LinkedList(45, o36366[27])))∧(o36347[4] →^* o36347[27]))

(4) -> (28), if ((o36347[4] →^* o36347[28])∧(o36363[4] →^* java.lang.Object(LinkedList(47, o36366[28])))∧(o36349[4] →^* java.lang.Object(LinkedList(47, o36366[28]))))

(4) -> (29), if ((o36349[4] →^* java.lang.Object(LinkedList(44, o36366[29])))∧(o36347[4] →^* o36347[29])∧(o36363[4] →^* java.lang.Object(LinkedList(44, o36366[29]))))

(4) -> (30), if ((o36349[4] →^* java.lang.Object(LinkedList(46, o36366[30])))∧(o36363[4] →^* java.lang.Object(LinkedList(46, o36366[30])))∧(o36347[4] →^* o36347[30]))

(4) -> (31), if ((o36347[4] →^* o36347[31])∧(o36349[4] →^* java.lang.Object(LinkedList(i1738[31], o36366[31])))∧(o36363[4] →^* java.lang.Object(LinkedList(i1738[31], o36366[31]))))

(5) -> (0), if ((o36349[5] →^* o36349[0])∧(o36363[5] →^* java.lang.Object(LinkedList(44, o36363[0])))∧(o36347[5] →^* o36347[0]))

(5) -> (1), if ((o36347[5] →^* o36347[1])∧(o36349[5] →^* o36349[1])∧(o36363[5] →^* java.lang.Object(LinkedList(46, o36363[1]))))

(5) -> (2), if ((o36349[5] →^* o36349[2])∧(o36363[5] →^* java.lang.Object(LinkedList(i1737[2], o36363[2])))∧(o36347[5] →^* o36347[2]))

(5) -> (6), if ((o36347[5] →^* o36347[6])∧(o36349[5] →^* o36349[6])∧(o36363[5] →^* java.lang.Object(LinkedList(i1737[6], o36363[6]))))

(5) -> (9), if ((o36347[5] →^* o36347[9])∧(o36363[5] →^* java.lang.Object(LinkedList(40, o36363[9])))∧(o36349[5] →^* o36349[9]))

(5) -> (11), if ((o36363[5] →^* java.lang.Object(LinkedList(41, o36363[11])))∧(o36347[5] →^* java.lang.Object(LinkedList(i1947[11], o39383[11])))∧(o36349[5] →^* o36349[11]))

(5) -> (13), if ((o36347[5] →^* o36347[13])∧(o36363[5] →^* java.lang.Object(LinkedList(42, o36363[13])))∧(o36349[5] →^* o36349[13]))

(5) -> (15), if ((o36363[5] →^* java.lang.Object(LinkedList(43, o36363[15])))∧(o36349[5] →^* o36349[15])∧(o36347[5] →^* o36347[15]))

(5) -> (17), if ((o36349[5] →^* o36349[17])∧(o36347[5] →^* o36347[17])∧(o36363[5] →^* java.lang.Object(LinkedList(45, o36363[17]))))

(5) -> (19), if ((o36347[5] →^* o36347[19])∧(o36363[5] →^* java.lang.Object(LinkedList(47, o36363[19])))∧(o36349[5] →^* o36349[19]))

(5) -> (21), if ((o36349[5] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(o36347[5] →^* o36347[21])∧(o36363[5] →^* java.lang.Object(LinkedList(i1738[21], o36366[21]))))

(5) -> (23), if ((o36349[5] →^* java.lang.Object(LinkedList(40, o36366[23])))∧(o36347[5] →^* o36347[23])∧(o36363[5] →^* java.lang.Object(LinkedList(40, o36366[23]))))

(5) -> (24), if ((o36349[5] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(o36363[5] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(o36347[5] →^* java.lang.Object(LinkedList(i1972[24], o39682[24]))))

(5) -> (25), if ((o36363[5] →^* java.lang.Object(LinkedList(42, o36366[25])))∧(o36347[5] →^* o36347[25])∧(o36349[5] →^* java.lang.Object(LinkedList(42, o36366[25]))))

(5) -> (26), if ((o36347[5] →^* o36347[26])∧(o36363[5] →^* java.lang.Object(LinkedList(43, o36366[26])))∧(o36349[5] →^* java.lang.Object(LinkedList(43, o36366[26]))))

(5) -> (27), if ((o36349[5] →^* java.lang.Object(LinkedList(45, o36366[27])))∧(o36363[5] →^* java.lang.Object(LinkedList(45, o36366[27])))∧(o36347[5] →^* o36347[27]))

(5) -> (28), if ((o36363[5] →^* java.lang.Object(LinkedList(47, o36366[28])))∧(o36347[5] →^* o36347[28])∧(o36349[5] →^* java.lang.Object(LinkedList(47, o36366[28]))))

(5) -> (29), if ((o36349[5] →^* java.lang.Object(LinkedList(44, o36366[29])))∧(o36347[5] →^* o36347[29])∧(o36363[5] →^* java.lang.Object(LinkedList(44, o36366[29]))))

(5) -> (30), if ((o36347[5] →^* o36347[30])∧(o36363[5] →^* java.lang.Object(LinkedList(46, o36366[30])))∧(o36349[5] →^* java.lang.Object(LinkedList(46, o36366[30]))))

(5) -> (31), if ((o36363[5] →^* java.lang.Object(LinkedList(i1738[31], o36366[31])))∧(o36347[5] →^* o36347[31])∧(o36349[5] →^* java.lang.Object(LinkedList(i1738[31], o36366[31]))))

(6) -> (7), if ((o36349[6] →^* o36349[7])∧(i1737[6] < 40 →^* TRUE)∧(java.lang.Object(LinkedList(i1737[6], o36363[6])) →^* java.lang.Object(LinkedList(i1737[7], o36363[7])))∧(o36347[6] →^* o36347[7]))

(7) -> (0), if ((o36347[7] →^* o36347[0])∧(o36349[7] →^* o36349[0])∧(o36363[7] →^* java.lang.Object(LinkedList(44, o36363[0]))))

(7) -> (1), if ((o36363[7] →^* java.lang.Object(LinkedList(46, o36363[1])))∧(o36349[7] →^* o36349[1])∧(o36347[7] →^* o36347[1]))

(7) -> (2), if ((o36349[7] →^* o36349[2])∧(o36363[7] →^* java.lang.Object(LinkedList(i1737[2], o36363[2])))∧(o36347[7] →^* o36347[2]))

(7) -> (6), if ((o36363[7] →^* java.lang.Object(LinkedList(i1737[6], o36363[6])))∧(o36349[7] →^* o36349[6])∧(o36347[7] →^* o36347[6]))

(7) -> (9), if ((o36347[7] →^* o36347[9])∧(o36349[7] →^* o36349[9])∧(o36363[7] →^* java.lang.Object(LinkedList(40, o36363[9]))))

(7) -> (11), if ((o36347[7] →^* java.lang.Object(LinkedList(i1947[11], o39383[11])))∧(o36349[7] →^* o36349[11])∧(o36363[7] →^* java.lang.Object(LinkedList(41, o36363[11]))))

(7) -> (13), if ((o36349[7] →^* o36349[13])∧(o36363[7] →^* java.lang.Object(LinkedList(42, o36363[13])))∧(o36347[7] →^* o36347[13]))

(7) -> (15), if ((o36347[7] →^* o36347[15])∧(o36363[7] →^* java.lang.Object(LinkedList(43, o36363[15])))∧(o36349[7] →^* o36349[15]))

(7) -> (17), if ((o36347[7] →^* o36347[17])∧(o36363[7] →^* java.lang.Object(LinkedList(45, o36363[17])))∧(o36349[7] →^* o36349[17]))

(7) -> (19), if ((o36363[7] →^* java.lang.Object(LinkedList(47, o36363[19])))∧(o36347[7] →^* o36347[19])∧(o36349[7] →^* o36349[19]))

(7) -> (21), if ((o36347[7] →^* o36347[21])∧(o36363[7] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(o36349[7] →^* java.lang.Object(LinkedList(i1738[21], o36366[21]))))

(7) -> (23), if ((o36363[7] →^* java.lang.Object(LinkedList(40, o36366[23])))∧(o36347[7] →^* o36347[23])∧(o36349[7] →^* java.lang.Object(LinkedList(40, o36366[23]))))

(7) -> (24), if ((o36363[7] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(o36349[7] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(o36347[7] →^* java.lang.Object(LinkedList(i1972[24], o39682[24]))))

(7) -> (25), if ((o36363[7] →^* java.lang.Object(LinkedList(42, o36366[25])))∧(o36347[7] →^* o36347[25])∧(o36349[7] →^* java.lang.Object(LinkedList(42, o36366[25]))))

(7) -> (26), if ((o36349[7] →^* java.lang.Object(LinkedList(43, o36366[26])))∧(o36347[7] →^* o36347[26])∧(o36363[7] →^* java.lang.Object(LinkedList(43, o36366[26]))))

(7) -> (27), if ((o36363[7] →^* java.lang.Object(LinkedList(45, o36366[27])))∧(o36347[7] →^* o36347[27])∧(o36349[7] →^* java.lang.Object(LinkedList(45, o36366[27]))))

(7) -> (28), if ((o36347[7] →^* o36347[28])∧(o36363[7] →^* java.lang.Object(LinkedList(47, o36366[28])))∧(o36349[7] →^* java.lang.Object(LinkedList(47, o36366[28]))))

(7) -> (29), if ((o36349[7] →^* java.lang.Object(LinkedList(44, o36366[29])))∧(o36347[7] →^* o36347[29])∧(o36363[7] →^* java.lang.Object(LinkedList(44, o36366[29]))))

(7) -> (30), if ((o36347[7] →^* o36347[30])∧(o36349[7] →^* java.lang.Object(LinkedList(46, o36366[30])))∧(o36363[7] →^* java.lang.Object(LinkedList(46, o36366[30]))))

(7) -> (31), if ((o36363[7] →^* java.lang.Object(LinkedList(i1738[31], o36366[31])))∧(o36347[7] →^* o36347[31])∧(o36349[7] →^* java.lang.Object(LinkedList(i1738[31], o36366[31]))))

(8) -> (0), if ((o36347[8] →^* o36347[0])∧(o36363[8] →^* java.lang.Object(LinkedList(44, o36363[0])))∧(o36349[8] →^* o36349[0]))

(8) -> (1), if ((o36349[8] →^* o36349[1])∧(o36347[8] →^* o36347[1])∧(o36363[8] →^* java.lang.Object(LinkedList(46, o36363[1]))))

(8) -> (2), if ((o36347[8] →^* o36347[2])∧(o36349[8] →^* o36349[2])∧(o36363[8] →^* java.lang.Object(LinkedList(i1737[2], o36363[2]))))

(8) -> (6), if ((o36349[8] →^* o36349[6])∧(o36347[8] →^* o36347[6])∧(o36363[8] →^* java.lang.Object(LinkedList(i1737[6], o36363[6]))))

(8) -> (9), if ((o36347[8] →^* o36347[9])∧(o36363[8] →^* java.lang.Object(LinkedList(40, o36363[9])))∧(o36349[8] →^* o36349[9]))

(8) -> (11), if ((o36347[8] →^* java.lang.Object(LinkedList(i1947[11], o39383[11])))∧(o36363[8] →^* java.lang.Object(LinkedList(41, o36363[11])))∧(o36349[8] →^* o36349[11]))

(8) -> (13), if ((o36363[8] →^* java.lang.Object(LinkedList(42, o36363[13])))∧(o36347[8] →^* o36347[13])∧(o36349[8] →^* o36349[13]))

(8) -> (15), if ((o36349[8] →^* o36349[15])∧(o36347[8] →^* o36347[15])∧(o36363[8] →^* java.lang.Object(LinkedList(43, o36363[15]))))

(8) -> (17), if ((o36363[8] →^* java.lang.Object(LinkedList(45, o36363[17])))∧(o36349[8] →^* o36349[17])∧(o36347[8] →^* o36347[17]))

(8) -> (19), if ((o36349[8] →^* o36349[19])∧(o36363[8] →^* java.lang.Object(LinkedList(47, o36363[19])))∧(o36347[8] →^* o36347[19]))

(8) -> (21), if ((o36349[8] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(o36363[8] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(o36347[8] →^* o36347[21]))

(8) -> (23), if ((o36347[8] →^* o36347[23])∧(o36349[8] →^* java.lang.Object(LinkedList(40, o36366[23])))∧(o36363[8] →^* java.lang.Object(LinkedList(40, o36366[23]))))

(8) -> (24), if ((o36349[8] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(o36363[8] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(o36347[8] →^* java.lang.Object(LinkedList(i1972[24], o39682[24]))))

(8) -> (25), if ((o36349[8] →^* java.lang.Object(LinkedList(42, o36366[25])))∧(o36347[8] →^* o36347[25])∧(o36363[8] →^* java.lang.Object(LinkedList(42, o36366[25]))))

(8) -> (26), if ((o36347[8] →^* o36347[26])∧(o36363[8] →^* java.lang.Object(LinkedList(43, o36366[26])))∧(o36349[8] →^* java.lang.Object(LinkedList(43, o36366[26]))))

(8) -> (27), if ((o36363[8] →^* java.lang.Object(LinkedList(45, o36366[27])))∧(o36347[8] →^* o36347[27])∧(o36349[8] →^* java.lang.Object(LinkedList(45, o36366[27]))))

(8) -> (28), if ((o36347[8] →^* o36347[28])∧(o36363[8] →^* java.lang.Object(LinkedList(47, o36366[28])))∧(o36349[8] →^* java.lang.Object(LinkedList(47, o36366[28]))))

(8) -> (29), if ((o36349[8] →^* java.lang.Object(LinkedList(44, o36366[29])))∧(o36347[8] →^* o36347[29])∧(o36363[8] →^* java.lang.Object(LinkedList(44, o36366[29]))))

(8) -> (30), if ((o36349[8] →^* java.lang.Object(LinkedList(46, o36366[30])))∧(o36347[8] →^* o36347[30])∧(o36363[8] →^* java.lang.Object(LinkedList(46, o36366[30]))))

(8) -> (31), if ((o36347[8] →^* o36347[31])∧(o36363[8] →^* java.lang.Object(LinkedList(i1738[31], o36366[31])))∧(o36349[8] →^* java.lang.Object(LinkedList(i1738[31], o36366[31]))))

(9) -> (0), if ((o36363[9] →^* java.lang.Object(LinkedList(44, o36363[0])))∧(o36349[9] →^* o36349[0])∧(o36347[9] →^* o36347[0]))

(9) -> (1), if ((o36349[9] →^* o36349[1])∧(o36347[9] →^* o36347[1])∧(o36363[9] →^* java.lang.Object(LinkedList(46, o36363[1]))))

(9) -> (2), if ((o36363[9] →^* java.lang.Object(LinkedList(i1737[2], o36363[2])))∧(o36347[9] →^* o36347[2])∧(o36349[9] →^* o36349[2]))

(9) -> (6), if ((o36347[9] →^* o36347[6])∧(o36363[9] →^* java.lang.Object(LinkedList(i1737[6], o36363[6])))∧(o36349[9] →^* o36349[6]))

(9) -> (9), if ((o36363[9] →^* java.lang.Object(LinkedList(40, o36363[9]')))∧(o36349[9] →^* o36349[9]')∧(o36347[9] →^* o36347[9]'))

(9) -> (11), if ((o36349[9] →^* o36349[11])∧(o36363[9] →^* java.lang.Object(LinkedList(41, o36363[11])))∧(o36347[9] →^* java.lang.Object(LinkedList(i1947[11], o39383[11]))))

(9) -> (13), if ((o36347[9] →^* o36347[13])∧(o36349[9] →^* o36349[13])∧(o36363[9] →^* java.lang.Object(LinkedList(42, o36363[13]))))

(9) -> (15), if ((o36349[9] →^* o36349[15])∧(o36347[9] →^* o36347[15])∧(o36363[9] →^* java.lang.Object(LinkedList(43, o36363[15]))))

(9) -> (17), if ((o36363[9] →^* java.lang.Object(LinkedList(45, o36363[17])))∧(o36349[9] →^* o36349[17])∧(o36347[9] →^* o36347[17]))

(9) -> (19), if ((o36349[9] →^* o36349[19])∧(o36347[9] →^* o36347[19])∧(o36363[9] →^* java.lang.Object(LinkedList(47, o36363[19]))))

(9) -> (21), if ((o36363[9] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(o36349[9] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(o36347[9] →^* o36347[21]))

(9) -> (23), if ((o36363[9] →^* java.lang.Object(LinkedList(40, o36366[23])))∧(o36347[9] →^* o36347[23])∧(o36349[9] →^* java.lang.Object(LinkedList(40, o36366[23]))))

(9) -> (24), if ((o36347[9] →^* java.lang.Object(LinkedList(i1972[24], o39682[24])))∧(o36349[9] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(o36363[9] →^* java.lang.Object(LinkedList(41, o36366[24]))))

(9) -> (25), if ((o36349[9] →^* java.lang.Object(LinkedList(42, o36366[25])))∧(o36347[9] →^* o36347[25])∧(o36363[9] →^* java.lang.Object(LinkedList(42, o36366[25]))))

(9) -> (26), if ((o36347[9] →^* o36347[26])∧(o36363[9] →^* java.lang.Object(LinkedList(43, o36366[26])))∧(o36349[9] →^* java.lang.Object(LinkedList(43, o36366[26]))))

(9) -> (27), if ((o36349[9] →^* java.lang.Object(LinkedList(45, o36366[27])))∧(o36347[9] →^* o36347[27])∧(o36363[9] →^* java.lang.Object(LinkedList(45, o36366[27]))))

(9) -> (28), if ((o36347[9] →^* o36347[28])∧(o36363[9] →^* java.lang.Object(LinkedList(47, o36366[28])))∧(o36349[9] →^* java.lang.Object(LinkedList(47, o36366[28]))))

(9) -> (29), if ((o36347[9] →^* o36347[29])∧(o36349[9] →^* java.lang.Object(LinkedList(44, o36366[29])))∧(o36363[9] →^* java.lang.Object(LinkedList(44, o36366[29]))))

(9) -> (30), if ((o36349[9] →^* java.lang.Object(LinkedList(46, o36366[30])))∧(o36347[9] →^* o36347[30])∧(o36363[9] →^* java.lang.Object(LinkedList(46, o36366[30]))))

(9) -> (31), if ((o36349[9] →^* java.lang.Object(LinkedList(i1738[31], o36366[31])))∧(o36347[9] →^* o36347[31])∧(o36363[9] →^* java.lang.Object(LinkedList(i1738[31], o36366[31]))))

(10) -> (0), if ((o36363[10] →^* java.lang.Object(LinkedList(44, o36363[0])))∧(o39383[10] →^* o36347[0])∧(o36349[10] →^* o36349[0]))

(10) -> (1), if ((o39383[10] →^* o36347[1])∧(o36363[10] →^* java.lang.Object(LinkedList(46, o36363[1])))∧(o36349[10] →^* o36349[1]))

(10) -> (2), if ((o36349[10] →^* o36349[2])∧(o39383[10] →^* o36347[2])∧(o36363[10] →^* java.lang.Object(LinkedList(i1737[2], o36363[2]))))

(10) -> (6), if ((o39383[10] →^* o36347[6])∧(o36363[10] →^* java.lang.Object(LinkedList(i1737[6], o36363[6])))∧(o36349[10] →^* o36349[6]))

(10) -> (9), if ((o36349[10] →^* o36349[9])∧(o36363[10] →^* java.lang.Object(LinkedList(40, o36363[9])))∧(o39383[10] →^* o36347[9]))

(10) -> (11), if ((o39383[10] →^* java.lang.Object(LinkedList(i1947[11], o39383[11])))∧(o36349[10] →^* o36349[11])∧(o36363[10] →^* java.lang.Object(LinkedList(41, o36363[11]))))

(10) -> (13), if ((o36363[10] →^* java.lang.Object(LinkedList(42, o36363[13])))∧(o39383[10] →^* o36347[13])∧(o36349[10] →^* o36349[13]))

(10) -> (15), if ((o36349[10] →^* o36349[15])∧(o36363[10] →^* java.lang.Object(LinkedList(43, o36363[15])))∧(o39383[10] →^* o36347[15]))

(10) -> (17), if ((o36349[10] →^* o36349[17])∧(o36363[10] →^* java.lang.Object(LinkedList(45, o36363[17])))∧(o39383[10] →^* o36347[17]))

(10) -> (19), if ((o36349[10] →^* o36349[19])∧(o39383[10] →^* o36347[19])∧(o36363[10] →^* java.lang.Object(LinkedList(47, o36363[19]))))

(10) -> (21), if ((o36363[10] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(o36349[10] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(o39383[10] →^* o36347[21]))

(10) -> (23), if ((o36363[10] →^* java.lang.Object(LinkedList(40, o36366[23])))∧(o36349[10] →^* java.lang.Object(LinkedList(40, o36366[23])))∧(o39383[10] →^* o36347[23]))

(10) -> (24), if ((o36349[10] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(o36363[10] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(o39383[10] →^* java.lang.Object(LinkedList(i1972[24], o39682[24]))))

(10) -> (25), if ((o36363[10] →^* java.lang.Object(LinkedList(42, o36366[25])))∧(o36349[10] →^* java.lang.Object(LinkedList(42, o36366[25])))∧(o39383[10] →^* o36347[25]))

(10) -> (26), if ((o36363[10] →^* java.lang.Object(LinkedList(43, o36366[26])))∧(o39383[10] →^* o36347[26])∧(o36349[10] →^* java.lang.Object(LinkedList(43, o36366[26]))))

(10) -> (27), if ((o36349[10] →^* java.lang.Object(LinkedList(45, o36366[27])))∧(o36363[10] →^* java.lang.Object(LinkedList(45, o36366[27])))∧(o39383[10] →^* o36347[27]))

(10) -> (28), if ((o36349[10] →^* java.lang.Object(LinkedList(47, o36366[28])))∧(o39383[10] →^* o36347[28])∧(o36363[10] →^* java.lang.Object(LinkedList(47, o36366[28]))))

(10) -> (29), if ((o36349[10] →^* java.lang.Object(LinkedList(44, o36366[29])))∧(o36363[10] →^* java.lang.Object(LinkedList(44, o36366[29])))∧(o39383[10] →^* o36347[29]))

(10) -> (30), if ((o36363[10] →^* java.lang.Object(LinkedList(46, o36366[30])))∧(o36349[10] →^* java.lang.Object(LinkedList(46, o36366[30])))∧(o39383[10] →^* o36347[30]))

(10) -> (31), if ((o36349[10] →^* java.lang.Object(LinkedList(i1738[31], o36366[31])))∧(o36363[10] →^* java.lang.Object(LinkedList(i1738[31], o36366[31])))∧(o39383[10] →^* o36347[31]))

(11) -> (0), if ((o36363[11] →^* java.lang.Object(LinkedList(44, o36363[0])))∧(o39383[11] →^* o36347[0])∧(o36349[11] →^* o36349[0]))

(11) -> (1), if ((o39383[11] →^* o36347[1])∧(o36363[11] →^* java.lang.Object(LinkedList(46, o36363[1])))∧(o36349[11] →^* o36349[1]))

(11) -> (2), if ((o39383[11] →^* o36347[2])∧(o36363[11] →^* java.lang.Object(LinkedList(i1737[2], o36363[2])))∧(o36349[11] →^* o36349[2]))

(11) -> (6), if ((o36363[11] →^* java.lang.Object(LinkedList(i1737[6], o36363[6])))∧(o39383[11] →^* o36347[6])∧(o36349[11] →^* o36349[6]))

(11) -> (9), if ((o36363[11] →^* java.lang.Object(LinkedList(40, o36363[9])))∧(o39383[11] →^* o36347[9])∧(o36349[11] →^* o36349[9]))

(11) -> (11), if ((o36363[11] →^* java.lang.Object(LinkedList(41, o36363[11]')))∧(o39383[11] →^* java.lang.Object(LinkedList(i1947[11]', o39383[11]')))∧(o36349[11] →^* o36349[11]'))

(11) -> (13), if ((o36349[11] →^* o36349[13])∧(o39383[11] →^* o36347[13])∧(o36363[11] →^* java.lang.Object(LinkedList(42, o36363[13]))))

(11) -> (15), if ((o39383[11] →^* o36347[15])∧(o36363[11] →^* java.lang.Object(LinkedList(43, o36363[15])))∧(o36349[11] →^* o36349[15]))

(11) -> (17), if ((o36349[11] →^* o36349[17])∧(o39383[11] →^* o36347[17])∧(o36363[11] →^* java.lang.Object(LinkedList(45, o36363[17]))))

(11) -> (19), if ((o39383[11] →^* o36347[19])∧(o36363[11] →^* java.lang.Object(LinkedList(47, o36363[19])))∧(o36349[11] →^* o36349[19]))

(11) -> (21), if ((o39383[11] →^* o36347[21])∧(o36349[11] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(o36363[11] →^* java.lang.Object(LinkedList(i1738[21], o36366[21]))))

(11) -> (23), if ((o36349[11] →^* java.lang.Object(LinkedList(40, o36366[23])))∧(o36363[11] →^* java.lang.Object(LinkedList(40, o36366[23])))∧(o39383[11] →^* o36347[23]))

(11) -> (24), if ((o39383[11] →^* java.lang.Object(LinkedList(i1972[24], o39682[24])))∧(o36363[11] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(o36349[11] →^* java.lang.Object(LinkedList(41, o36366[24]))))

(11) -> (25), if ((o39383[11] →^* o36347[25])∧(o36363[11] →^* java.lang.Object(LinkedList(42, o36366[25])))∧(o36349[11] →^* java.lang.Object(LinkedList(42, o36366[25]))))

(11) -> (26), if ((o39383[11] →^* o36347[26])∧(o36363[11] →^* java.lang.Object(LinkedList(43, o36366[26])))∧(o36349[11] →^* java.lang.Object(LinkedList(43, o36366[26]))))

(11) -> (27), if ((o36363[11] →^* java.lang.Object(LinkedList(45, o36366[27])))∧(o39383[11] →^* o36347[27])∧(o36349[11] →^* java.lang.Object(LinkedList(45, o36366[27]))))

(11) -> (28), if ((o36349[11] →^* java.lang.Object(LinkedList(47, o36366[28])))∧(o36363[11] →^* java.lang.Object(LinkedList(47, o36366[28])))∧(o39383[11] →^* o36347[28]))

(11) -> (29), if ((o39383[11] →^* o36347[29])∧(o36349[11] →^* java.lang.Object(LinkedList(44, o36366[29])))∧(o36363[11] →^* java.lang.Object(LinkedList(44, o36366[29]))))

(11) -> (30), if ((o36363[11] →^* java.lang.Object(LinkedList(46, o36366[30])))∧(o39383[11] →^* o36347[30])∧(o36349[11] →^* java.lang.Object(LinkedList(46, o36366[30]))))

(11) -> (31), if ((o36349[11] →^* java.lang.Object(LinkedList(i1738[31], o36366[31])))∧(o36363[11] →^* java.lang.Object(LinkedList(i1738[31], o36366[31])))∧(o39383[11] →^* o36347[31]))

(12) -> (0), if ((java.lang.Object(LinkedList(42, o36347[12])) →^* o36347[0])∧(o36349[12] →^* o36349[0])∧(o36363[12] →^* java.lang.Object(LinkedList(44, o36363[0]))))

(12) -> (1), if ((o36349[12] →^* o36349[1])∧(java.lang.Object(LinkedList(42, o36347[12])) →^* o36347[1])∧(o36363[12] →^* java.lang.Object(LinkedList(46, o36363[1]))))

(12) -> (2), if ((java.lang.Object(LinkedList(42, o36347[12])) →^* o36347[2])∧(o36363[12] →^* java.lang.Object(LinkedList(i1737[2], o36363[2])))∧(o36349[12] →^* o36349[2]))

(12) -> (6), if ((o36363[12] →^* java.lang.Object(LinkedList(i1737[6], o36363[6])))∧(java.lang.Object(LinkedList(42, o36347[12])) →^* o36347[6])∧(o36349[12] →^* o36349[6]))

(12) -> (9), if ((java.lang.Object(LinkedList(42, o36347[12])) →^* o36347[9])∧(o36363[12] →^* java.lang.Object(LinkedList(40, o36363[9])))∧(o36349[12] →^* o36349[9]))

(12) -> (11), if ((o36363[12] →^* java.lang.Object(LinkedList(41, o36363[11])))∧(o36349[12] →^* o36349[11])∧(java.lang.Object(LinkedList(42, o36347[12])) →^* java.lang.Object(LinkedList(i1947[11], o39383[11]))))

(12) -> (13), if ((o36349[12] →^* o36349[13])∧(java.lang.Object(LinkedList(42, o36347[12])) →^* o36347[13])∧(o36363[12] →^* java.lang.Object(LinkedList(42, o36363[13]))))

(12) -> (15), if ((java.lang.Object(LinkedList(42, o36347[12])) →^* o36347[15])∧(o36363[12] →^* java.lang.Object(LinkedList(43, o36363[15])))∧(o36349[12] →^* o36349[15]))

(12) -> (17), if ((java.lang.Object(LinkedList(42, o36347[12])) →^* o36347[17])∧(o36363[12] →^* java.lang.Object(LinkedList(45, o36363[17])))∧(o36349[12] →^* o36349[17]))

(12) -> (19), if ((java.lang.Object(LinkedList(42, o36347[12])) →^* o36347[19])∧(o36363[12] →^* java.lang.Object(LinkedList(47, o36363[19])))∧(o36349[12] →^* o36349[19]))

(12) -> (21), if ((java.lang.Object(LinkedList(42, o36347[12])) →^* o36347[21])∧(o36349[12] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(o36363[12] →^* java.lang.Object(LinkedList(i1738[21], o36366[21]))))

(12) -> (23), if ((java.lang.Object(LinkedList(42, o36347[12])) →^* o36347[23])∧(o36349[12] →^* java.lang.Object(LinkedList(40, o36366[23])))∧(o36363[12] →^* java.lang.Object(LinkedList(40, o36366[23]))))

(12) -> (24), if ((o36363[12] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(java.lang.Object(LinkedList(42, o36347[12])) →^* java.lang.Object(LinkedList(i1972[24], o39682[24])))∧(o36349[12] →^* java.lang.Object(LinkedList(41, o36366[24]))))

(12) -> (25), if ((o36363[12] →^* java.lang.Object(LinkedList(42, o36366[25])))∧(o36349[12] →^* java.lang.Object(LinkedList(42, o36366[25])))∧(java.lang.Object(LinkedList(42, o36347[12])) →^* o36347[25]))

(12) -> (26), if ((o36363[12] →^* java.lang.Object(LinkedList(43, o36366[26])))∧(o36349[12] →^* java.lang.Object(LinkedList(43, o36366[26])))∧(java.lang.Object(LinkedList(42, o36347[12])) →^* o36347[26]))

(12) -> (27), if ((java.lang.Object(LinkedList(42, o36347[12])) →^* o36347[27])∧(o36349[12] →^* java.lang.Object(LinkedList(45, o36366[27])))∧(o36363[12] →^* java.lang.Object(LinkedList(45, o36366[27]))))

(12) -> (28), if ((o36349[12] →^* java.lang.Object(LinkedList(47, o36366[28])))∧(o36363[12] →^* java.lang.Object(LinkedList(47, o36366[28])))∧(java.lang.Object(LinkedList(42, o36347[12])) →^* o36347[28]))

(12) -> (29), if ((java.lang.Object(LinkedList(42, o36347[12])) →^* o36347[29])∧(o36349[12] →^* java.lang.Object(LinkedList(44, o36366[29])))∧(o36363[12] →^* java.lang.Object(LinkedList(44, o36366[29]))))

(12) -> (30), if ((o36363[12] →^* java.lang.Object(LinkedList(46, o36366[30])))∧(java.lang.Object(LinkedList(42, o36347[12])) →^* o36347[30])∧(o36349[12] →^* java.lang.Object(LinkedList(46, o36366[30]))))

(12) -> (31), if ((java.lang.Object(LinkedList(42, o36347[12])) →^* o36347[31])∧(o36349[12] →^* java.lang.Object(LinkedList(i1738[31], o36366[31])))∧(o36363[12] →^* java.lang.Object(LinkedList(i1738[31], o36366[31]))))

(13) -> (0), if ((java.lang.Object(LinkedList(42, o36347[13])) →^* o36347[0])∧(o36349[13] →^* o36349[0])∧(o36363[13] →^* java.lang.Object(LinkedList(44, o36363[0]))))

(13) -> (1), if ((java.lang.Object(LinkedList(42, o36347[13])) →^* o36347[1])∧(o36363[13] →^* java.lang.Object(LinkedList(46, o36363[1])))∧(o36349[13] →^* o36349[1]))

(13) -> (2), if ((o36363[13] →^* java.lang.Object(LinkedList(i1737[2], o36363[2])))∧(java.lang.Object(LinkedList(42, o36347[13])) →^* o36347[2])∧(o36349[13] →^* o36349[2]))

(13) -> (6), if ((o36349[13] →^* o36349[6])∧(java.lang.Object(LinkedList(42, o36347[13])) →^* o36347[6])∧(o36363[13] →^* java.lang.Object(LinkedList(i1737[6], o36363[6]))))

(13) -> (9), if ((java.lang.Object(LinkedList(42, o36347[13])) →^* o36347[9])∧(o36363[13] →^* java.lang.Object(LinkedList(40, o36363[9])))∧(o36349[13] →^* o36349[9]))

(13) -> (11), if ((o36363[13] →^* java.lang.Object(LinkedList(41, o36363[11])))∧(java.lang.Object(LinkedList(42, o36347[13])) →^* java.lang.Object(LinkedList(i1947[11], o39383[11])))∧(o36349[13] →^* o36349[11]))

(13) -> (13), if ((java.lang.Object(LinkedList(42, o36347[13])) →^* o36347[13]')∧(o36363[13] →^* java.lang.Object(LinkedList(42, o36363[13]')))∧(o36349[13] →^* o36349[13]'))

(13) -> (15), if ((o36363[13] →^* java.lang.Object(LinkedList(43, o36363[15])))∧(java.lang.Object(LinkedList(42, o36347[13])) →^* o36347[15])∧(o36349[13] →^* o36349[15]))

(13) -> (17), if ((o36349[13] →^* o36349[17])∧(java.lang.Object(LinkedList(42, o36347[13])) →^* o36347[17])∧(o36363[13] →^* java.lang.Object(LinkedList(45, o36363[17]))))

(13) -> (19), if ((o36349[13] →^* o36349[19])∧(java.lang.Object(LinkedList(42, o36347[13])) →^* o36347[19])∧(o36363[13] →^* java.lang.Object(LinkedList(47, o36363[19]))))

(13) -> (21), if ((o36349[13] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(o36363[13] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(java.lang.Object(LinkedList(42, o36347[13])) →^* o36347[21]))

(13) -> (23), if ((java.lang.Object(LinkedList(42, o36347[13])) →^* o36347[23])∧(o36349[13] →^* java.lang.Object(LinkedList(40, o36366[23])))∧(o36363[13] →^* java.lang.Object(LinkedList(40, o36366[23]))))

(13) -> (24), if ((o36349[13] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(o36363[13] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(java.lang.Object(LinkedList(42, o36347[13])) →^* java.lang.Object(LinkedList(i1972[24], o39682[24]))))

(13) -> (25), if ((java.lang.Object(LinkedList(42, o36347[13])) →^* o36347[25])∧(o36349[13] →^* java.lang.Object(LinkedList(42, o36366[25])))∧(o36363[13] →^* java.lang.Object(LinkedList(42, o36366[25]))))

(13) -> (26), if ((o36363[13] →^* java.lang.Object(LinkedList(43, o36366[26])))∧(java.lang.Object(LinkedList(42, o36347[13])) →^* o36347[26])∧(o36349[13] →^* java.lang.Object(LinkedList(43, o36366[26]))))

(13) -> (27), if ((java.lang.Object(LinkedList(42, o36347[13])) →^* o36347[27])∧(o36349[13] →^* java.lang.Object(LinkedList(45, o36366[27])))∧(o36363[13] →^* java.lang.Object(LinkedList(45, o36366[27]))))

(13) -> (28), if ((o36349[13] →^* java.lang.Object(LinkedList(47, o36366[28])))∧(java.lang.Object(LinkedList(42, o36347[13])) →^* o36347[28])∧(o36363[13] →^* java.lang.Object(LinkedList(47, o36366[28]))))

(13) -> (29), if ((java.lang.Object(LinkedList(42, o36347[13])) →^* o36347[29])∧(o36363[13] →^* java.lang.Object(LinkedList(44, o36366[29])))∧(o36349[13] →^* java.lang.Object(LinkedList(44, o36366[29]))))

(13) -> (30), if ((java.lang.Object(LinkedList(42, o36347[13])) →^* o36347[30])∧(o36363[13] →^* java.lang.Object(LinkedList(46, o36366[30])))∧(o36349[13] →^* java.lang.Object(LinkedList(46, o36366[30]))))

(13) -> (31), if ((o36349[13] →^* java.lang.Object(LinkedList(i1738[31], o36366[31])))∧(o36363[13] →^* java.lang.Object(LinkedList(i1738[31], o36366[31])))∧(java.lang.Object(LinkedList(42, o36347[13])) →^* o36347[31]))

(14) -> (0), if ((o36349[14] →^* o36349[0])∧(o36363[14] →^* java.lang.Object(LinkedList(44, o36363[0])))∧(java.lang.Object(LinkedList(43, o36347[14])) →^* o36347[0]))

(14) -> (1), if ((o36363[14] →^* java.lang.Object(LinkedList(46, o36363[1])))∧(java.lang.Object(LinkedList(43, o36347[14])) →^* o36347[1])∧(o36349[14] →^* o36349[1]))

(14) -> (2), if ((java.lang.Object(LinkedList(43, o36347[14])) →^* o36347[2])∧(o36349[14] →^* o36349[2])∧(o36363[14] →^* java.lang.Object(LinkedList(i1737[2], o36363[2]))))

(14) -> (6), if ((o36349[14] →^* o36349[6])∧(java.lang.Object(LinkedList(43, o36347[14])) →^* o36347[6])∧(o36363[14] →^* java.lang.Object(LinkedList(i1737[6], o36363[6]))))

(14) -> (9), if ((o36363[14] →^* java.lang.Object(LinkedList(40, o36363[9])))∧(java.lang.Object(LinkedList(43, o36347[14])) →^* o36347[9])∧(o36349[14] →^* o36349[9]))

(14) -> (11), if ((o36349[14] →^* o36349[11])∧(java.lang.Object(LinkedList(43, o36347[14])) →^* java.lang.Object(LinkedList(i1947[11], o39383[11])))∧(o36363[14] →^* java.lang.Object(LinkedList(41, o36363[11]))))

(14) -> (13), if ((java.lang.Object(LinkedList(43, o36347[14])) →^* o36347[13])∧(o36349[14] →^* o36349[13])∧(o36363[14] →^* java.lang.Object(LinkedList(42, o36363[13]))))

(14) -> (15), if ((o36363[14] →^* java.lang.Object(LinkedList(43, o36363[15])))∧(java.lang.Object(LinkedList(43, o36347[14])) →^* o36347[15])∧(o36349[14] →^* o36349[15]))

(14) -> (17), if ((o36363[14] →^* java.lang.Object(LinkedList(45, o36363[17])))∧(java.lang.Object(LinkedList(43, o36347[14])) →^* o36347[17])∧(o36349[14] →^* o36349[17]))

(14) -> (19), if ((o36349[14] →^* o36349[19])∧(o36363[14] →^* java.lang.Object(LinkedList(47, o36363[19])))∧(java.lang.Object(LinkedList(43, o36347[14])) →^* o36347[19]))

(14) -> (21), if ((java.lang.Object(LinkedList(43, o36347[14])) →^* o36347[21])∧(o36363[14] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(o36349[14] →^* java.lang.Object(LinkedList(i1738[21], o36366[21]))))

(14) -> (23), if ((java.lang.Object(LinkedList(43, o36347[14])) →^* o36347[23])∧(o36349[14] →^* java.lang.Object(LinkedList(40, o36366[23])))∧(o36363[14] →^* java.lang.Object(LinkedList(40, o36366[23]))))

(14) -> (24), if ((o36363[14] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(java.lang.Object(LinkedList(43, o36347[14])) →^* java.lang.Object(LinkedList(i1972[24], o39682[24])))∧(o36349[14] →^* java.lang.Object(LinkedList(41, o36366[24]))))

(14) -> (25), if ((o36349[14] →^* java.lang.Object(LinkedList(42, o36366[25])))∧(o36363[14] →^* java.lang.Object(LinkedList(42, o36366[25])))∧(java.lang.Object(LinkedList(43, o36347[14])) →^* o36347[25]))

(14) -> (26), if ((o36349[14] →^* java.lang.Object(LinkedList(43, o36366[26])))∧(o36363[14] →^* java.lang.Object(LinkedList(43, o36366[26])))∧(java.lang.Object(LinkedList(43, o36347[14])) →^* o36347[26]))

(14) -> (27), if ((o36349[14] →^* java.lang.Object(LinkedList(45, o36366[27])))∧(o36363[14] →^* java.lang.Object(LinkedList(45, o36366[27])))∧(java.lang.Object(LinkedList(43, o36347[14])) →^* o36347[27]))

(14) -> (28), if ((java.lang.Object(LinkedList(43, o36347[14])) →^* o36347[28])∧(o36349[14] →^* java.lang.Object(LinkedList(47, o36366[28])))∧(o36363[14] →^* java.lang.Object(LinkedList(47, o36366[28]))))

(14) -> (29), if ((o36349[14] →^* java.lang.Object(LinkedList(44, o36366[29])))∧(o36363[14] →^* java.lang.Object(LinkedList(44, o36366[29])))∧(java.lang.Object(LinkedList(43, o36347[14])) →^* o36347[29]))

(14) -> (30), if ((java.lang.Object(LinkedList(43, o36347[14])) →^* o36347[30])∧(o36363[14] →^* java.lang.Object(LinkedList(46, o36366[30])))∧(o36349[14] →^* java.lang.Object(LinkedList(46, o36366[30]))))

(14) -> (31), if ((o36363[14] →^* java.lang.Object(LinkedList(i1738[31], o36366[31])))∧(o36349[14] →^* java.lang.Object(LinkedList(i1738[31], o36366[31])))∧(java.lang.Object(LinkedList(43, o36347[14])) →^* o36347[31]))

(15) -> (0), if ((java.lang.Object(LinkedList(43, o36347[15])) →^* o36347[0])∧(o36363[15] →^* java.lang.Object(LinkedList(44, o36363[0])))∧(o36349[15] →^* o36349[0]))

(15) -> (1), if ((o36363[15] →^* java.lang.Object(LinkedList(46, o36363[1])))∧(o36349[15] →^* o36349[1])∧(java.lang.Object(LinkedList(43, o36347[15])) →^* o36347[1]))

(15) -> (2), if ((java.lang.Object(LinkedList(43, o36347[15])) →^* o36347[2])∧(o36349[15] →^* o36349[2])∧(o36363[15] →^* java.lang.Object(LinkedList(i1737[2], o36363[2]))))

(15) -> (6), if ((o36363[15] →^* java.lang.Object(LinkedList(i1737[6], o36363[6])))∧(java.lang.Object(LinkedList(43, o36347[15])) →^* o36347[6])∧(o36349[15] →^* o36349[6]))

(15) -> (9), if ((java.lang.Object(LinkedList(43, o36347[15])) →^* o36347[9])∧(o36349[15] →^* o36349[9])∧(o36363[15] →^* java.lang.Object(LinkedList(40, o36363[9]))))

(15) -> (11), if ((o36363[15] →^* java.lang.Object(LinkedList(41, o36363[11])))∧(o36349[15] →^* o36349[11])∧(java.lang.Object(LinkedList(43, o36347[15])) →^* java.lang.Object(LinkedList(i1947[11], o39383[11]))))

(15) -> (13), if ((java.lang.Object(LinkedList(43, o36347[15])) →^* o36347[13])∧(o36363[15] →^* java.lang.Object(LinkedList(42, o36363[13])))∧(o36349[15] →^* o36349[13]))

(15) -> (15), if ((o36349[15] →^* o36349[15]')∧(o36363[15] →^* java.lang.Object(LinkedList(43, o36363[15]')))∧(java.lang.Object(LinkedList(43, o36347[15])) →^* o36347[15]'))

(15) -> (17), if ((o36363[15] →^* java.lang.Object(LinkedList(45, o36363[17])))∧(o36349[15] →^* o36349[17])∧(java.lang.Object(LinkedList(43, o36347[15])) →^* o36347[17]))

(15) -> (19), if ((java.lang.Object(LinkedList(43, o36347[15])) →^* o36347[19])∧(o36349[15] →^* o36349[19])∧(o36363[15] →^* java.lang.Object(LinkedList(47, o36363[19]))))

(15) -> (21), if ((java.lang.Object(LinkedList(43, o36347[15])) →^* o36347[21])∧(o36349[15] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(o36363[15] →^* java.lang.Object(LinkedList(i1738[21], o36366[21]))))

(15) -> (23), if ((java.lang.Object(LinkedList(43, o36347[15])) →^* o36347[23])∧(o36349[15] →^* java.lang.Object(LinkedList(40, o36366[23])))∧(o36363[15] →^* java.lang.Object(LinkedList(40, o36366[23]))))

(15) -> (24), if ((java.lang.Object(LinkedList(43, o36347[15])) →^* java.lang.Object(LinkedList(i1972[24], o39682[24])))∧(o36349[15] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(o36363[15] →^* java.lang.Object(LinkedList(41, o36366[24]))))

(15) -> (25), if ((java.lang.Object(LinkedList(43, o36347[15])) →^* o36347[25])∧(o36349[15] →^* java.lang.Object(LinkedList(42, o36366[25])))∧(o36363[15] →^* java.lang.Object(LinkedList(42, o36366[25]))))

(15) -> (26), if ((java.lang.Object(LinkedList(43, o36347[15])) →^* o36347[26])∧(o36349[15] →^* java.lang.Object(LinkedList(43, o36366[26])))∧(o36363[15] →^* java.lang.Object(LinkedList(43, o36366[26]))))

(15) -> (27), if ((java.lang.Object(LinkedList(43, o36347[15])) →^* o36347[27])∧(o36349[15] →^* java.lang.Object(LinkedList(45, o36366[27])))∧(o36363[15] →^* java.lang.Object(LinkedList(45, o36366[27]))))

(15) -> (28), if ((java.lang.Object(LinkedList(43, o36347[15])) →^* o36347[28])∧(o36349[15] →^* java.lang.Object(LinkedList(47, o36366[28])))∧(o36363[15] →^* java.lang.Object(LinkedList(47, o36366[28]))))

(15) -> (29), if ((o36363[15] →^* java.lang.Object(LinkedList(44, o36366[29])))∧(o36349[15] →^* java.lang.Object(LinkedList(44, o36366[29])))∧(java.lang.Object(LinkedList(43, o36347[15])) →^* o36347[29]))

(15) -> (30), if ((o36363[15] →^* java.lang.Object(LinkedList(46, o36366[30])))∧(o36349[15] →^* java.lang.Object(LinkedList(46, o36366[30])))∧(java.lang.Object(LinkedList(43, o36347[15])) →^* o36347[30]))

(15) -> (31), if ((o36349[15] →^* java.lang.Object(LinkedList(i1738[31], o36366[31])))∧(java.lang.Object(LinkedList(43, o36347[15])) →^* o36347[31])∧(o36363[15] →^* java.lang.Object(LinkedList(i1738[31], o36366[31]))))

(16) -> (0), if ((o36349[16] →^* o36349[0])∧(java.lang.Object(LinkedList(45, o36347[16])) →^* o36347[0])∧(o36363[16] →^* java.lang.Object(LinkedList(44, o36363[0]))))

(16) -> (1), if ((java.lang.Object(LinkedList(45, o36347[16])) →^* o36347[1])∧(o36363[16] →^* java.lang.Object(LinkedList(46, o36363[1])))∧(o36349[16] →^* o36349[1]))

(16) -> (2), if ((o36349[16] →^* o36349[2])∧(o36363[16] →^* java.lang.Object(LinkedList(i1737[2], o36363[2])))∧(java.lang.Object(LinkedList(45, o36347[16])) →^* o36347[2]))

(16) -> (6), if ((o36349[16] →^* o36349[6])∧(java.lang.Object(LinkedList(45, o36347[16])) →^* o36347[6])∧(o36363[16] →^* java.lang.Object(LinkedList(i1737[6], o36363[6]))))

(16) -> (9), if ((java.lang.Object(LinkedList(45, o36347[16])) →^* o36347[9])∧(o36363[16] →^* java.lang.Object(LinkedList(40, o36363[9])))∧(o36349[16] →^* o36349[9]))

(16) -> (11), if ((o36363[16] →^* java.lang.Object(LinkedList(41, o36363[11])))∧(java.lang.Object(LinkedList(45, o36347[16])) →^* java.lang.Object(LinkedList(i1947[11], o39383[11])))∧(o36349[16] →^* o36349[11]))

(16) -> (13), if ((o36349[16] →^* o36349[13])∧(java.lang.Object(LinkedList(45, o36347[16])) →^* o36347[13])∧(o36363[16] →^* java.lang.Object(LinkedList(42, o36363[13]))))

(16) -> (15), if ((java.lang.Object(LinkedList(45, o36347[16])) →^* o36347[15])∧(o36349[16] →^* o36349[15])∧(o36363[16] →^* java.lang.Object(LinkedList(43, o36363[15]))))

(16) -> (17), if ((java.lang.Object(LinkedList(45, o36347[16])) →^* o36347[17])∧(o36363[16] →^* java.lang.Object(LinkedList(45, o36363[17])))∧(o36349[16] →^* o36349[17]))

(16) -> (19), if ((o36363[16] →^* java.lang.Object(LinkedList(47, o36363[19])))∧(java.lang.Object(LinkedList(45, o36347[16])) →^* o36347[19])∧(o36349[16] →^* o36349[19]))

(16) -> (21), if ((o36363[16] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(java.lang.Object(LinkedList(45, o36347[16])) →^* o36347[21])∧(o36349[16] →^* java.lang.Object(LinkedList(i1738[21], o36366[21]))))

(16) -> (23), if ((java.lang.Object(LinkedList(45, o36347[16])) →^* o36347[23])∧(o36363[16] →^* java.lang.Object(LinkedList(40, o36366[23])))∧(o36349[16] →^* java.lang.Object(LinkedList(40, o36366[23]))))

(16) -> (24), if ((o36349[16] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(o36363[16] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(java.lang.Object(LinkedList(45, o36347[16])) →^* java.lang.Object(LinkedList(i1972[24], o39682[24]))))

(16) -> (25), if ((java.lang.Object(LinkedList(45, o36347[16])) →^* o36347[25])∧(o36363[16] →^* java.lang.Object(LinkedList(42, o36366[25])))∧(o36349[16] →^* java.lang.Object(LinkedList(42, o36366[25]))))

(16) -> (26), if ((java.lang.Object(LinkedList(45, o36347[16])) →^* o36347[26])∧(o36349[16] →^* java.lang.Object(LinkedList(43, o36366[26])))∧(o36363[16] →^* java.lang.Object(LinkedList(43, o36366[26]))))

(16) -> (27), if ((o36349[16] →^* java.lang.Object(LinkedList(45, o36366[27])))∧(java.lang.Object(LinkedList(45, o36347[16])) →^* o36347[27])∧(o36363[16] →^* java.lang.Object(LinkedList(45, o36366[27]))))

(16) -> (28), if ((java.lang.Object(LinkedList(45, o36347[16])) →^* o36347[28])∧(o36349[16] →^* java.lang.Object(LinkedList(47, o36366[28])))∧(o36363[16] →^* java.lang.Object(LinkedList(47, o36366[28]))))

(16) -> (29), if ((o36349[16] →^* java.lang.Object(LinkedList(44, o36366[29])))∧(java.lang.Object(LinkedList(45, o36347[16])) →^* o36347[29])∧(o36363[16] →^* java.lang.Object(LinkedList(44, o36366[29]))))

(16) -> (30), if ((java.lang.Object(LinkedList(45, o36347[16])) →^* o36347[30])∧(o36349[16] →^* java.lang.Object(LinkedList(46, o36366[30])))∧(o36363[16] →^* java.lang.Object(LinkedList(46, o36366[30]))))

(16) -> (31), if ((java.lang.Object(LinkedList(45, o36347[16])) →^* o36347[31])∧(o36363[16] →^* java.lang.Object(LinkedList(i1738[31], o36366[31])))∧(o36349[16] →^* java.lang.Object(LinkedList(i1738[31], o36366[31]))))

(17) -> (0), if ((o36349[17] →^* o36349[0])∧(o36363[17] →^* java.lang.Object(LinkedList(44, o36363[0])))∧(java.lang.Object(LinkedList(45, o36347[17])) →^* o36347[0]))

(17) -> (1), if ((java.lang.Object(LinkedList(45, o36347[17])) →^* o36347[1])∧(o36363[17] →^* java.lang.Object(LinkedList(46, o36363[1])))∧(o36349[17] →^* o36349[1]))

(17) -> (2), if ((o36349[17] →^* o36349[2])∧(o36363[17] →^* java.lang.Object(LinkedList(i1737[2], o36363[2])))∧(java.lang.Object(LinkedList(45, o36347[17])) →^* o36347[2]))

(17) -> (6), if ((java.lang.Object(LinkedList(45, o36347[17])) →^* o36347[6])∧(o36349[17] →^* o36349[6])∧(o36363[17] →^* java.lang.Object(LinkedList(i1737[6], o36363[6]))))

(17) -> (9), if ((o36349[17] →^* o36349[9])∧(o36363[17] →^* java.lang.Object(LinkedList(40, o36363[9])))∧(java.lang.Object(LinkedList(45, o36347[17])) →^* o36347[9]))

(17) -> (11), if ((java.lang.Object(LinkedList(45, o36347[17])) →^* java.lang.Object(LinkedList(i1947[11], o39383[11])))∧(o36363[17] →^* java.lang.Object(LinkedList(41, o36363[11])))∧(o36349[17] →^* o36349[11]))

(17) -> (13), if ((java.lang.Object(LinkedList(45, o36347[17])) →^* o36347[13])∧(o36363[17] →^* java.lang.Object(LinkedList(42, o36363[13])))∧(o36349[17] →^* o36349[13]))

(17) -> (15), if ((java.lang.Object(LinkedList(45, o36347[17])) →^* o36347[15])∧(o36349[17] →^* o36349[15])∧(o36363[17] →^* java.lang.Object(LinkedList(43, o36363[15]))))

(17) -> (17), if ((java.lang.Object(LinkedList(45, o36347[17])) →^* o36347[17]')∧(o36349[17] →^* o36349[17]')∧(o36363[17] →^* java.lang.Object(LinkedList(45, o36363[17]'))))

(17) -> (19), if ((o36363[17] →^* java.lang.Object(LinkedList(47, o36363[19])))∧(o36349[17] →^* o36349[19])∧(java.lang.Object(LinkedList(45, o36347[17])) →^* o36347[19]))

(17) -> (21), if ((o36349[17] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(o36363[17] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(java.lang.Object(LinkedList(45, o36347[17])) →^* o36347[21]))

(17) -> (23), if ((java.lang.Object(LinkedList(45, o36347[17])) →^* o36347[23])∧(o36349[17] →^* java.lang.Object(LinkedList(40, o36366[23])))∧(o36363[17] →^* java.lang.Object(LinkedList(40, o36366[23]))))

(17) -> (24), if ((java.lang.Object(LinkedList(45, o36347[17])) →^* java.lang.Object(LinkedList(i1972[24], o39682[24])))∧(o36363[17] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(o36349[17] →^* java.lang.Object(LinkedList(41, o36366[24]))))

(17) -> (25), if ((java.lang.Object(LinkedList(45, o36347[17])) →^* o36347[25])∧(o36349[17] →^* java.lang.Object(LinkedList(42, o36366[25])))∧(o36363[17] →^* java.lang.Object(LinkedList(42, o36366[25]))))

(17) -> (26), if ((o36349[17] →^* java.lang.Object(LinkedList(43, o36366[26])))∧(java.lang.Object(LinkedList(45, o36347[17])) →^* o36347[26])∧(o36363[17] →^* java.lang.Object(LinkedList(43, o36366[26]))))

(17) -> (27), if ((o36349[17] →^* java.lang.Object(LinkedList(45, o36366[27])))∧(java.lang.Object(LinkedList(45, o36347[17])) →^* o36347[27])∧(o36363[17] →^* java.lang.Object(LinkedList(45, o36366[27]))))

(17) -> (28), if ((o36349[17] →^* java.lang.Object(LinkedList(47, o36366[28])))∧(o36363[17] →^* java.lang.Object(LinkedList(47, o36366[28])))∧(java.lang.Object(LinkedList(45, o36347[17])) →^* o36347[28]))

(17) -> (29), if ((o36363[17] →^* java.lang.Object(LinkedList(44, o36366[29])))∧(java.lang.Object(LinkedList(45, o36347[17])) →^* o36347[29])∧(o36349[17] →^* java.lang.Object(LinkedList(44, o36366[29]))))

(17) -> (30), if ((o36349[17] →^* java.lang.Object(LinkedList(46, o36366[30])))∧(java.lang.Object(LinkedList(45, o36347[17])) →^* o36347[30])∧(o36363[17] →^* java.lang.Object(LinkedList(46, o36366[30]))))

(17) -> (31), if ((java.lang.Object(LinkedList(45, o36347[17])) →^* o36347[31])∧(o36363[17] →^* java.lang.Object(LinkedList(i1738[31], o36366[31])))∧(o36349[17] →^* java.lang.Object(LinkedList(i1738[31], o36366[31]))))

(18) -> (0), if ((java.lang.Object(LinkedList(47, o36347[18])) →^* o36347[0])∧(o36363[18] →^* java.lang.Object(LinkedList(44, o36363[0])))∧(o36349[18] →^* o36349[0]))

(18) -> (1), if ((o36349[18] →^* o36349[1])∧(o36363[18] →^* java.lang.Object(LinkedList(46, o36363[1])))∧(java.lang.Object(LinkedList(47, o36347[18])) →^* o36347[1]))

(18) -> (2), if ((java.lang.Object(LinkedList(47, o36347[18])) →^* o36347[2])∧(o36363[18] →^* java.lang.Object(LinkedList(i1737[2], o36363[2])))∧(o36349[18] →^* o36349[2]))

(18) -> (6), if ((java.lang.Object(LinkedList(47, o36347[18])) →^* o36347[6])∧(o36363[18] →^* java.lang.Object(LinkedList(i1737[6], o36363[6])))∧(o36349[18] →^* o36349[6]))

(18) -> (9), if ((o36349[18] →^* o36349[9])∧(java.lang.Object(LinkedList(47, o36347[18])) →^* o36347[9])∧(o36363[18] →^* java.lang.Object(LinkedList(40, o36363[9]))))

(18) -> (11), if ((o36363[18] →^* java.lang.Object(LinkedList(41, o36363[11])))∧(java.lang.Object(LinkedList(47, o36347[18])) →^* java.lang.Object(LinkedList(i1947[11], o39383[11])))∧(o36349[18] →^* o36349[11]))

(18) -> (13), if ((o36349[18] →^* o36349[13])∧(o36363[18] →^* java.lang.Object(LinkedList(42, o36363[13])))∧(java.lang.Object(LinkedList(47, o36347[18])) →^* o36347[13]))

(18) -> (15), if ((o36363[18] →^* java.lang.Object(LinkedList(43, o36363[15])))∧(java.lang.Object(LinkedList(47, o36347[18])) →^* o36347[15])∧(o36349[18] →^* o36349[15]))

(18) -> (17), if ((o36363[18] →^* java.lang.Object(LinkedList(45, o36363[17])))∧(o36349[18] →^* o36349[17])∧(java.lang.Object(LinkedList(47, o36347[18])) →^* o36347[17]))

(18) -> (19), if ((o36349[18] →^* o36349[19])∧(java.lang.Object(LinkedList(47, o36347[18])) →^* o36347[19])∧(o36363[18] →^* java.lang.Object(LinkedList(47, o36363[19]))))

(18) -> (21), if ((o36349[18] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(o36363[18] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(java.lang.Object(LinkedList(47, o36347[18])) →^* o36347[21]))

(18) -> (23), if ((o36349[18] →^* java.lang.Object(LinkedList(40, o36366[23])))∧(o36363[18] →^* java.lang.Object(LinkedList(40, o36366[23])))∧(java.lang.Object(LinkedList(47, o36347[18])) →^* o36347[23]))

(18) -> (24), if ((o36349[18] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(java.lang.Object(LinkedList(47, o36347[18])) →^* java.lang.Object(LinkedList(i1972[24], o39682[24])))∧(o36363[18] →^* java.lang.Object(LinkedList(41, o36366[24]))))

(18) -> (25), if ((o36349[18] →^* java.lang.Object(LinkedList(42, o36366[25])))∧(java.lang.Object(LinkedList(47, o36347[18])) →^* o36347[25])∧(o36363[18] →^* java.lang.Object(LinkedList(42, o36366[25]))))

(18) -> (26), if ((o36349[18] →^* java.lang.Object(LinkedList(43, o36366[26])))∧(java.lang.Object(LinkedList(47, o36347[18])) →^* o36347[26])∧(o36363[18] →^* java.lang.Object(LinkedList(43, o36366[26]))))

(18) -> (27), if ((java.lang.Object(LinkedList(47, o36347[18])) →^* o36347[27])∧(o36363[18] →^* java.lang.Object(LinkedList(45, o36366[27])))∧(o36349[18] →^* java.lang.Object(LinkedList(45, o36366[27]))))

(18) -> (28), if ((java.lang.Object(LinkedList(47, o36347[18])) →^* o36347[28])∧(o36349[18] →^* java.lang.Object(LinkedList(47, o36366[28])))∧(o36363[18] →^* java.lang.Object(LinkedList(47, o36366[28]))))

(18) -> (29), if ((o36349[18] →^* java.lang.Object(LinkedList(44, o36366[29])))∧(o36363[18] →^* java.lang.Object(LinkedList(44, o36366[29])))∧(java.lang.Object(LinkedList(47, o36347[18])) →^* o36347[29]))

(18) -> (30), if ((java.lang.Object(LinkedList(47, o36347[18])) →^* o36347[30])∧(o36349[18] →^* java.lang.Object(LinkedList(46, o36366[30])))∧(o36363[18] →^* java.lang.Object(LinkedList(46, o36366[30]))))

(18) -> (31), if ((o36349[18] →^* java.lang.Object(LinkedList(i1738[31], o36366[31])))∧(java.lang.Object(LinkedList(47, o36347[18])) →^* o36347[31])∧(o36363[18] →^* java.lang.Object(LinkedList(i1738[31], o36366[31]))))

(19) -> (0), if ((o36349[19] →^* o36349[0])∧(java.lang.Object(LinkedList(47, o36347[19])) →^* o36347[0])∧(o36363[19] →^* java.lang.Object(LinkedList(44, o36363[0]))))

(19) -> (1), if ((o36349[19] →^* o36349[1])∧(o36363[19] →^* java.lang.Object(LinkedList(46, o36363[1])))∧(java.lang.Object(LinkedList(47, o36347[19])) →^* o36347[1]))

(19) -> (2), if ((o36363[19] →^* java.lang.Object(LinkedList(i1737[2], o36363[2])))∧(o36349[19] →^* o36349[2])∧(java.lang.Object(LinkedList(47, o36347[19])) →^* o36347[2]))

(19) -> (6), if ((o36363[19] →^* java.lang.Object(LinkedList(i1737[6], o36363[6])))∧(java.lang.Object(LinkedList(47, o36347[19])) →^* o36347[6])∧(o36349[19] →^* o36349[6]))

(19) -> (9), if ((o36349[19] →^* o36349[9])∧(o36363[19] →^* java.lang.Object(LinkedList(40, o36363[9])))∧(java.lang.Object(LinkedList(47, o36347[19])) →^* o36347[9]))

(19) -> (11), if ((java.lang.Object(LinkedList(47, o36347[19])) →^* java.lang.Object(LinkedList(i1947[11], o39383[11])))∧(o36349[19] →^* o36349[11])∧(o36363[19] →^* java.lang.Object(LinkedList(41, o36363[11]))))

(19) -> (13), if ((o36363[19] →^* java.lang.Object(LinkedList(42, o36363[13])))∧(o36349[19] →^* o36349[13])∧(java.lang.Object(LinkedList(47, o36347[19])) →^* o36347[13]))

(19) -> (15), if ((o36349[19] →^* o36349[15])∧(o36363[19] →^* java.lang.Object(LinkedList(43, o36363[15])))∧(java.lang.Object(LinkedList(47, o36347[19])) →^* o36347[15]))

(19) -> (17), if ((java.lang.Object(LinkedList(47, o36347[19])) →^* o36347[17])∧(o36363[19] →^* java.lang.Object(LinkedList(45, o36363[17])))∧(o36349[19] →^* o36349[17]))

(19) -> (19), if ((o36363[19] →^* java.lang.Object(LinkedList(47, o36363[19]')))∧(o36349[19] →^* o36349[19]')∧(java.lang.Object(LinkedList(47, o36347[19])) →^* o36347[19]'))

(19) -> (21), if ((o36349[19] →^* java.lang.Object(LinkedList(i1738[21], o36366[21])))∧(java.lang.Object(LinkedList(47, o36347[19])) →^* o36347[21])∧(o36363[19] →^* java.lang.Object(LinkedList(i1738[21], o36366[21]))))

(19) -> (23), if ((o36363[19] →^* java.lang.Object(LinkedList(40, o36366[23])))∧(java.lang.Object(LinkedList(47, o36347[19])) →^* o36347[23])∧(o36349[19] →^* java.lang.Object(LinkedList(40, o36366[23]))))

(19) -> (24), if ((o36349[19] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(o36363[19] →^* java.lang.Object(LinkedList(41, o36366[24])))∧(java.lang.Object(LinkedList(47, o36347[19])) →^* java.lang.Object(LinkedList(i1972[24], o39682[24]))))

(19) -> (25), if ((java.lang.Object(LinkedList(47, o36347[19])) →^* o36347[25])∧(o36349[19] →^* java.lang.Object(LinkedList(42, o36366[25])))∧(o36363[19] →^* java.lang.Object(LinkedList(42, o36366[25]))))

(19) -> (26), if ((java.lang.Object(LinkedList(47, o36347[19])) →^* o36347[26])∧(o36363[19] →^* java.lang.Object(LinkedList(43, o36366[26])))∧(o36349[19] →^* java.lang.Object(LinkedList(43, o36366[26]))))

(19) -> (27), if ((java.lang.Object(LinkedList(47, o36347[19])) →^* o36347[27])∧(o36349[19] →^* java.lang.Object(LinkedList(45, o36366[27])))∧(o36363[19] →^* java.lang.Object(LinkedList(45, o36366[27]))))

(19) -> (28), if ((java.lang.Object(LinkedList(47, o36347[19])) →^* o36347[28])∧(o36363[19] →^* java.lang.Object(LinkedList(47, o36366[28])))∧(o36349[19] →^* java.lang.Object(LinkedList(47, o36366[28]))))

(19) -> (29), if ((o36349[19] →^* java.lang.Object(LinkedList(44, o36366[29])))∧(java.lang.Object(LinkedList(47, o36347[19])) →^* o36347[29])∧(o36363[19] →^* java.lang.Object(LinkedList(44, o36366[29]))))

(19) -> (30), if ((o36349[19] →^* java.lang.Object(LinkedList(46, o36366[30])))∧(java.lang.Object(LinkedList(47, o36347[19])) →^* o36347[30])∧(o36363[19] →^* java.lang.Object(LinkedList(46, o36366[30]))))

(19) -> (31), if ((o36363[19] →^* java.lang.Object(LinkedList(i1738[31], o36366[31])))∧(o36349[19] →^* java.lang.Object(LinkedList(i1738[31], o36366[31])))∧(java.lang.Object(LinkedList(47, o36347[19])) →^* o36347[31]))

(20) -> (4), if ((java.lang.Object(LinkedList(i1738[20], o36366[20])) →^* o36349[4])∧(i1738[20] →^* i1737[4])∧(o36347[20] →^* o36347[4])∧(o36366[20] →^* o36363[4]))

(21) -> (22), if ((java.lang.Object(LinkedList(i1738[21], o36366[21])) →^* java.lang.Object(LinkedList(i1738[22], o36366[22])))∧(i1738[21] < 40 →^* TRUE)∧(o36347[21] →^* o36347[22]))

(22) -> (4), if ((i1738[22] →^* i1737[4])∧(o36366[22] →^* o36363[4])∧(o36347[22] →^* o36347[4])∧(java.lang.Object(LinkedList(i1738[22], o36366[22])) →^* o36349[4]))

(23) -> (8), if ((java.lang.Object(LinkedList(40, o36366[23])) →^* o36349[8])∧(o36366[23] →^* o36363[8])∧(o36347[23] →^* o36347[8]))

(24) -> (10), if ((o39682[24] →^* o39383[10])∧(java.lang.Object(LinkedList(41, o36366[24])) →^* o36349[10])∧(o36366[24] →^* o36363[10]))

(25) -> (12), if ((java.lang.Object(LinkedList(42, o36347[25])) →^* java.lang.Object(LinkedList(42, o36347[12])))∧(java.lang.Object(LinkedList(42, o36366[25])) →^* o36349[12])∧(o36366[25] →^* o36363[12]))

(26) -> (14), if ((java.lang.Object(LinkedList(43, o36366[26])) →^* o36349[14])∧(o36366[26] →^* o36363[14])∧(java.lang.Object(LinkedList(43, o36347[26])) →^* java.lang.Object(LinkedList(43, o36347[14]))))

(27) -> (16), if ((o36366[27] →^* o36363[16])∧(java.lang.Object(LinkedList(45, o36347[27])) →^* java.lang.Object(LinkedList(45, o36347[16])))∧(java.lang.Object(LinkedList(45, o36366[27])) →^* o36349[16]))

(28) -> (18), if ((java.lang.Object(LinkedList(47, o36347[28])) →^* java.lang.Object(LinkedList(47, o36347[18])))∧(o36366[28] →^* o36363[18])∧(java.lang.Object(LinkedList(47, o36366[28])) →^* o36349[18]))

(29) -> (20), if ((java.lang.Object(LinkedList(44, o36366[29])) →^* java.lang.Object(LinkedList(i1738[20], o36366[20])))∧(44 →^* i1738[20])∧(o36347[29] →^* o36347[20]))

(30) -> (20), if ((java.lang.Object(LinkedList(46, o36366[30])) →^* java.lang.Object(LinkedList(i1738[20], o36366[20])))∧(46 →^* i1738[20])∧(o36347[30] →^* o36347[20]))

(31) -> (32), if ((java.lang.Object(LinkedList(i1738[31], o36366[31])) →^* java.lang.Object(LinkedList(i1738[32], o36366[32])))∧(i1738[31] > 47 →^* TRUE)∧(o36347[31] →^* o36347[32]))

(32) -> (20), if ((i1738[32] →^* i1738[20])∧(o36347[32] →^* o36347[20])∧(java.lang.Object(LinkedList(i1738[32], o36366[32])) →^* java.lang.Object(LinkedList(i1738[20], o36366[20]))))

The set Q consists of the following terms:
Load17175(x0, java.lang.Object(LinkedList(x1, x2)), x3)
Cond_Load17175(TRUE, x0, java.lang.Object(LinkedList(x1, x2)), x3)
JMP19367(x0, x1, x2, x3)
New17297(x0, java.lang.Object(LinkedList(x1, x2)), x3, x1)
Cond_Load171751(TRUE, x0, java.lang.Object(LinkedList(x1, x2)), x3)
JMP17973(x0, x1, x2)
JMP19904(x0, x1, x2)
JMP19511(x0, x1, java.lang.Object(LinkedList(42, x2)))
JMP19513(x0, x1, java.lang.Object(LinkedList(43, x2)))
JMP19515(x0, x1, java.lang.Object(LinkedList(45, x2)))
JMP19518(x0, x1, java.lang.Object(LinkedList(47, x2)))
New17332(java.lang.Object(LinkedList(x0, x1)), x2, x0)
Cond_Load171752(TRUE, java.lang.Object(LinkedList(x0, x1)), x2)
Cond_Load171753(TRUE, java.lang.Object(LinkedList(x0, x1)), x2)

(17) UsableRulesProof (EQUIVALENT transformation)

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

(18) Obligation:

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

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

The following domains are used:

Integer

R is empty.

The integer pair graph contains the following rules and edges:
(0): LOAD17175(o36349[0], java.lang.Object(LinkedList(44, o36363[0])), o36347[0]) → NEW17297(o36349[0], java.lang.Object(LinkedList(44, o36363[0])), o36347[0], 44)
(1): LOAD17175(o36349[1], java.lang.Object(LinkedList(46, o36363[1])), o36347[1]) → NEW17297(o36349[1], java.lang.Object(LinkedList(46, o36363[1])), o36347[1], 46)
(2): LOAD17175(o36349[2], java.lang.Object(LinkedList(i1737[2], o36363[2])), o36347[2]) → COND_LOAD17175(i1737[2] > 47, o36349[2], java.lang.Object(LinkedList(i1737[2], o36363[2])), o36347[2])
(3): COND_LOAD17175(TRUE, o36349[3], java.lang.Object(LinkedList(i1737[3], o36363[3])), o36347[3]) → NEW17297(o36349[3], java.lang.Object(LinkedList(i1737[3], o36363[3])), o36347[3], i1737[3])
(4): JMP19367'(o36349[4], o36363[4], o36347[4], i1737[4]) → LOAD17175(o36349[4], o36363[4], o36347[4])
(5): NEW17297(o36349[5], java.lang.Object(LinkedList(i1737[5], o36363[5])), o36347[5], i1737[5]) → LOAD17175(o36349[5], o36363[5], o36347[5])
(6): LOAD17175(o36349[6], java.lang.Object(LinkedList(i1737[6], o36363[6])), o36347[6]) → COND_LOAD171751(i1737[6] < 40, o36349[6], java.lang.Object(LinkedList(i1737[6], o36363[6])), o36347[6])
(7): COND_LOAD171751(TRUE, o36349[7], java.lang.Object(LinkedList(i1737[7], o36363[7])), o36347[7]) → LOAD17175(o36349[7], o36363[7], o36347[7])
(8): JMP17973'(o36349[8], o36363[8], o36347[8]) → LOAD17175(o36349[8], o36363[8], o36347[8])
(9): LOAD17175(o36349[9], java.lang.Object(LinkedList(40, o36363[9])), o36347[9]) → LOAD17175(o36349[9], o36363[9], o36347[9])
(10): JMP19904'(o36349[10], o36363[10], o39383[10]) → LOAD17175(o36349[10], o36363[10], o39383[10])
(11): LOAD17175(o36349[11], java.lang.Object(LinkedList(41, o36363[11])), java.lang.Object(LinkedList(i1947[11], o39383[11]))) → LOAD17175(o36349[11], o36363[11], o39383[11])
(12): JMP19511'(o36349[12], o36363[12], java.lang.Object(LinkedList(42, o36347[12]))) → LOAD17175(o36349[12], o36363[12], java.lang.Object(LinkedList(42, o36347[12])))
(13): LOAD17175(o36349[13], java.lang.Object(LinkedList(42, o36363[13])), o36347[13]) → LOAD17175(o36349[13], o36363[13], java.lang.Object(LinkedList(42, o36347[13])))
(14): JMP19513'(o36349[14], o36363[14], java.lang.Object(LinkedList(43, o36347[14]))) → LOAD17175(o36349[14], o36363[14], java.lang.Object(LinkedList(43, o36347[14])))
(15): LOAD17175(o36349[15], java.lang.Object(LinkedList(43, o36363[15])), o36347[15]) → LOAD17175(o36349[15], o36363[15], java.lang.Object(LinkedList(43, o36347[15])))
(16): JMP19515'(o36349[16], o36363[16], java.lang.Object(LinkedList(45, o36347[16]))) → LOAD17175(o36349[16], o36363[16], java.lang.Object(LinkedList(45, o36347[16])))
(17): LOAD17175(o36349[17], java.lang.Object(LinkedList(45, o36363[17])), o36347[17]) → LOAD17175(o36349[17], o36363[17], java.lang.Object(LinkedList(45, o36347[17])))
(18): JMP19518'(o36349[18], o36363[18], java.lang.Object(LinkedList(47, o36347[18]))) → LOAD17175(o36349[18], o36363[18], java.lang.Object(LinkedList(47, o36347[18])))
(19): LOAD17175(o36349[19], java.lang.Object(LinkedList(47, o36363[19])), o36347[19]) → LOAD17175(o36349[19], o36363[19], java.lang.Object(LinkedList(47, o36347[19])))
(20): NEW17332(java.lang.Object(LinkedList(i1738[20], o36366[20])), o36347[20], i1738[20]) → JMP19367'(java.lang.Object(LinkedList(i1738[20], o36366[20])), o36366[20], o36347[20], i1738[20])
(21): LOAD17175(java.lang.Object(LinkedList(i1738[21], o36366[21])), java.lang.Object(LinkedList(i1738[21], o36366[21])), o36347[21]) → COND_LOAD171752(i1738[21] < 40, java.lang.Object(LinkedList(i1738[21], o36366[21])), o36347[21])
(22): COND_LOAD171752(TRUE, java.lang.Object(LinkedList(i1738[22], o36366[22])), o36347[22]) → JMP19367'(java.lang.Object(LinkedList(i1738[22], o36366[22])), o36366[22], o36347[22], i1738[22])
(23): LOAD17175(java.lang.Object(LinkedList(40, o36366[23])), java.lang.Object(LinkedList(40, o36366[23])), o36347[23]) → JMP17973'(java.lang.Object(LinkedList(40, o36366[23])), o36366[23], o36347[23])
(24): LOAD17175(java.lang.Object(LinkedList(41, o36366[24])), java.lang.Object(LinkedList(41, o36366[24])), java.lang.Object(LinkedList(i1972[24], o39682[24]))) → JMP19904'(java.lang.Object(LinkedList(41, o36366[24])), o36366[24], o39682[24])
(25): LOAD17175(java.lang.Object(LinkedList(42, o36366[25])), java.lang.Object(LinkedList(42, o36366[25])), o36347[25]) → JMP19511'(java.lang.Object(LinkedList(42, o36366[25])), o36366[25], java.lang.Object(LinkedList(42, o36347[25])))
(26): LOAD17175(java.lang.Object(LinkedList(43, o36366[26])), java.lang.Object(LinkedList(43, o36366[26])), o36347[26]) → JMP19513'(java.lang.Object(LinkedList(43, o36366[26])), o36366[26], java.lang.Object(LinkedList(43, o36347[26])))
(27): LOAD17175(java.lang.Object(LinkedList(45, o36366[27])), java.lang.Object(LinkedList(45, o36366[27])), o36347[27]) → JMP19515'(java.lang.Object(LinkedList(45, o36366[27])), o36366[27], java.lang.Object(LinkedList(45, o36347[27])))
(28): LOAD17175(java.lang.Object(LinkedList(47, o36366[28])), java.lang.Object(LinkedList(47, o36366[28])), o36347[28]) → JMP19518'(java.lang.Object(LinkedList(47, o36366[28])), o36366[28], java.lang.Object(LinkedList(47, o36347[28])))
(29): LOAD17175(java.lang.Object(LinkedList(44, o36366[29])), java.lang.Object(LinkedList(44, o36366[29])), o36347[29]) → NEW17332(java.lang.Object(LinkedList(44, o36366[29])), o36347[29], 44)
(30): LOAD17175(java.lang.Object(LinkedList(46, o36366[30])), java.lang.Object(LinkedList(46, o36366[30])), o36347[30]) → NEW17332(java.lang.Object(LinkedList(46, o36366[30])), o36347[30], 46)
(31): LOAD17175(java.lang.Object(LinkedList(i1738[31], o36366[31])), java.lang.Object(LinkedList(i1738[31], o36366[31])), o36347[31]) → COND_LOAD171753(i1738[31] > 47, java.lang.Object(LinkedList(i1738[31], o36366[31])), o36347[31])
(32): COND_LOAD171753(TRUE, java.lang.Object(LinkedList(i1738[32], o36366[32])), o36347[32]) → NEW17332(java.lang.Object(LinkedList(i1738[32], o36366[32])), o36347[32], i1738[32])