Termination proof of /tmp/tmpN3WH8r/Samefringe.jar

Termination of the given JBC could be proven:

0 JBC

↳1 JBC2FIG (⇐)

↳2 FIGraph

↳3 FIGtoITRSProof (⇐)

↳4 AND

    ↳5 ITRS

        ↳6 DuplicateArgsRemoverProof (⇔)

        ↳7 ITRS

        ↳8 ITRStoQTRSProof (⇔)

        ↳9 QTRS

        ↳10 DependencyPairsProof (⇔)

        ↳11 QDP

        ↳12 UsableRulesProof (⇔)

        ↳13 QDP

        ↳14 QReductionProof (⇔)

        ↳15 QDP

        ↳16 QDPOrderProof (⇔)

        ↳17 QDP

        ↳18 DependencyGraphProof (⇔)

        ↳19 AND

            ↳20 QDP

                ↳21 MRRProof (⇔)

                ↳22 QDP

                ↳23 PisEmptyProof (⇔)

                ↳24 TRUE

            ↳25 QDP

                ↳26 MRRProof (⇔)

                ↳27 QDP

                ↳28 DependencyGraphProof (⇔)

                ↳29 TRUE

    ↳30 ITRS

        ↳31 DuplicateArgsRemoverProof (⇔)

        ↳32 ITRS

        ↳33 ITRSFilterProcessorProof (⇐)

        ↳34 ITRS

        ↳35 ITRSFSMergerProof (⇐)

        ↳36 ITRS

        ↳37 ITRStoIDPProof (⇔)

        ↳38 IDP

        ↳39 UsableRulesProof (⇔)

        ↳40 IDP

        ↳41 ItpfGraphProof (⇔)

        ↳42 IDP

        ↳43 IDPNonInfProof (⇐)

        ↳44 AND

            ↳45 IDP

                ↳46 IDependencyGraphProof (⇔)

                ↳47 TRUE

            ↳48 IDP

                ↳49 IDependencyGraphProof (⇔)

                ↳50 TRUE

    ↳51 ITRS

        ↳52 DuplicateArgsRemoverProof (⇔)

        ↳53 ITRS

        ↳54 ITRSFilterProcessorProof (⇐)

        ↳55 ITRS

        ↳56 ITRSFSMergerProof (⇐)

        ↳57 ITRS

        ↳58 ITRStoIDPProof (⇔)

        ↳59 IDP

        ↳60 UsableRulesProof (⇔)

        ↳61 IDP

        ↳62 ItpfGraphProof (⇔)

        ↳63 IDP

        ↳64 IDPNonInfProof (⇐)

        ↳65 AND

            ↳66 IDP

                ↳67 IDependencyGraphProof (⇔)

                ↳68 TRUE

            ↳69 IDP

                ↳70 IDependencyGraphProof (⇔)

                ↳71 TRUE

    ↳72 ITRS

        ↳73 DuplicateArgsRemoverProof (⇔)

        ↳74 ITRS

        ↳75 ITRSFilterProcessorProof (⇐)

        ↳76 ITRS

        ↳77 ITRSFSMergerProof (⇐)

        ↳78 ITRS

        ↳79 ITRStoIDPProof (⇔)

        ↳80 IDP

        ↳81 UsableRulesProof (⇔)

        ↳82 IDP

        ↳83 ItpfGraphProof (⇔)

        ↳84 IDP

        ↳85 IDPNonInfProof (⇐)

        ↳86 AND

            ↳87 IDP

                ↳88 IDependencyGraphProof (⇔)

                ↳89 TRUE

            ↳90 IDP

                ↳91 IDependencyGraphProof (⇔)

                ↳92 TRUE

(0) Obligation:

JBC Problem based on JBC Program:

No human-readable program information known.

Manifest-Version: 1.0 Created-By: 1.6.0_16 (Sun Microsystems Inc.) Main-Class: Samefringe

(1) JBC2FIG (SOUND transformation)

Constructed FIGraph.

(2) Obligation:

FIGraph based on JBC Program:
Graph of 1445 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:
Load31330(o48160, o48159, o48157, o48158) → NULL31532(o48160, o48159, o48157, o48158, o48157)
NULL31532(o48592, o48591, java.lang.Object(Tree(o49086Field0, o49086Field1, o49086Field2)), o48590, java.lang.Object(Tree(o49086Field0, o49086Field1, o49086Field2))) → Load31861(o48592, o48591, java.lang.Object(Tree(o49086Field0, o49086Field1, o49086Field2)), o48590)
Load31861(o49481, o49480, java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)), java.lang.Object(Tree(o50362Field0, o50362Field1, o50362Field2))) → Load36791(o49481, o49480, java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)), java.lang.Object(Tree(o50362Field0, o50362Field1, o50362Field2)), java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)), java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)))
JMP43433(o66388, o66387, java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL))) → Load36791(o66388, o66387, java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL)))
Load36791(o66388, o66387, java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68588, o68589, o68590)), o66987, o66988))) → Load36791(o66388, o66387, java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL)))
Load36791(o66388, o66387, java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993))) → Load36791(o66388, o66387, java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(o68614, java.lang.Object(Tree(o68615, o66992, NULL)), NULL)))
Load36791(java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), o66387, java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003))) → Load36791(java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), o66387, java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(o68686, java.lang.Object(Tree(o68687, o67002, NULL)), NULL)))
Load36791(java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998)), o66387, java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998))) → JMP43433(java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998)), o66387, java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68654, java.lang.Object(Tree(o68655, o66997, NULL)), NULL)))
JMP44585(o97213, o97212, o97210, o97249) → Load31330(o97213, o97212, o97210, o97249)
Store44491(o97213, o97212, o97210, o97249) → Load31330(o97213, o97212, o97210, o97249)
Load44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(NULL, o97249, o97250))) → Load31330(o97213, o97212, o97210, o97249)
Load44066(o97213, o97212, o97210, java.lang.Object(Tree(NULL, o97256, o97257)), java.lang.Object(Tree(NULL, o97256, o97257)), java.lang.Object(Tree(NULL, o97256, o97257))) → JMP44585(o97213, o97212, o97210, o97256)
Load44066(o97213, java.lang.Object(Tree(NULL, o97270, o97271)), o97210, java.lang.Object(Tree(NULL, o97270, o97271)), java.lang.Object(Tree(NULL, o97270, o97271)), java.lang.Object(Tree(NULL, o97270, o97271))) → JMP44585(o97213, java.lang.Object(Tree(NULL, o97270, o97271)), o97210, o97270)
Load44066(o97213, java.lang.Object(Tree(NULL, o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(NULL, o97263, o97264))) → Store44491(o97213, java.lang.Object(Tree(NULL, o97263, o97264)), o97210, o97263)
Load37906(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2))) → Load44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
Store37702(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), o66987) → Load44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
Load36791(o66388, o66387, java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(NULL, o66987, o66988))) → Load44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
JMP46979(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL))) → Load44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL)))
Load44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o99119, o99120, o99121)), o97249, o97250))) → Load44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL)))
Load44066(o97213, o97212, o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257))) → Load44066(o97213, o97212, o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(o99165, java.lang.Object(Tree(o99166, o97256, NULL)), NULL)))
Load44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271))) → Load44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(o99277, java.lang.Object(Tree(o99278, o97270, NULL)), NULL)))
Load36791(o66388, o66387, java.lang.Object(Tree(NULL, o66992, o66993)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(NULL, o66992, o66993)), java.lang.Object(Tree(NULL, o66992, o66993))) → Load37906(o66388, o66387, o66992, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
Load36791(java.lang.Object(Tree(NULL, o67002, o67003)), o66387, java.lang.Object(Tree(NULL, o67002, o67003)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(NULL, o67002, o67003)), java.lang.Object(Tree(NULL, o67002, o67003))) → Load37906(java.lang.Object(Tree(NULL, o67002, o67003)), o66387, o67002, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
Load36791(java.lang.Object(Tree(NULL, o66997, o66998)), o66387, java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(NULL, o66997, o66998))) → Store37702(java.lang.Object(Tree(NULL, o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), o66997)
Load44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264))) → JMP46979(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99224, java.lang.Object(Tree(o99225, o97263, NULL)), NULL)))
The set Q consists of the following terms:
Load31330(x0, x1, x2, x3)
NULL31532(x0, x1, java.lang.Object(Tree(x2, x3, x4)), x5, java.lang.Object(Tree(x2, x3, x4)))
Load31861(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)))
JMP43433(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x8, java.lang.Object(Tree(x9, x10, NULL)), NULL)))
Load36791(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(java.lang.Object(Tree(x8, x9, x10)), x11, x12)))
JMP44585(x0, x1, x2, x3)
Store44491(x0, x1, x2, x3)
Load44066(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(NULL, x6, x7)))
Load37906(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)))
Store37702(x0, x1, java.lang.Object(Tree(x2, x3, x4)), x5)
Load36791(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(NULL, x8, x9)))
JMP46979(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(x6, java.lang.Object(Tree(x7, x8, NULL)), NULL)))
Load44066(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(java.lang.Object(Tree(x6, x7, x8)), x9, x10)))

(6) DuplicateArgsRemoverProof (EQUIVALENT transformation)

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

JMP46979(x1, x2, x3, x4, x5, x6) → JMP46979(x1, x2, x3, x5, x6)
Load44066(x1, x2, x3, x4, x5, x6) → Load44066(x1, x2, x3, x5, x6)
Load36791(x1, x2, x3, x4, x5, x6) → Load36791(x1, x2, x4, x5, x6)
JMP43433(x1, x2, x3, x4, x5, x6) → JMP43433(x1, x2, x4, x5, x6)
NULL31532(x1, x2, x3, x4, x5) → NULL31532(x1, x2, x4, x5)

(7) 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:
Load31330(o48160, o48159, o48157, o48158) → NULL31532(o48160, o48159, o48158, o48157)
NULL31532(o48592, o48591, o48590, java.lang.Object(Tree(o49086Field0, o49086Field1, o49086Field2))) → Load31861(o48592, o48591, java.lang.Object(Tree(o49086Field0, o49086Field1, o49086Field2)), o48590)
Load31861(o49481, o49480, java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)), java.lang.Object(Tree(o50362Field0, o50362Field1, o50362Field2))) → Load36791(o49481, o49480, java.lang.Object(Tree(o50362Field0, o50362Field1, o50362Field2)), java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)), java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)))
JMP43433(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL))) → Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL)))
Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68588, o68589, o68590)), o66987, o66988))) → Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL)))
Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993))) → Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(o68614, java.lang.Object(Tree(o68615, o66992, NULL)), NULL)))
Load36791(java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003))) → Load36791(java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(o68686, java.lang.Object(Tree(o68687, o67002, NULL)), NULL)))
Load36791(java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998))) → JMP43433(java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68654, java.lang.Object(Tree(o68655, o66997, NULL)), NULL)))
JMP44585(o97213, o97212, o97210, o97249) → Load31330(o97213, o97212, o97210, o97249)
Store44491(o97213, o97212, o97210, o97249) → Load31330(o97213, o97212, o97210, o97249)
Load44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(NULL, o97249, o97250))) → Load31330(o97213, o97212, o97210, o97249)
Load44066(o97213, o97212, o97210, java.lang.Object(Tree(NULL, o97256, o97257)), java.lang.Object(Tree(NULL, o97256, o97257))) → JMP44585(o97213, o97212, o97210, o97256)
Load44066(o97213, java.lang.Object(Tree(NULL, o97270, o97271)), o97210, java.lang.Object(Tree(NULL, o97270, o97271)), java.lang.Object(Tree(NULL, o97270, o97271))) → JMP44585(o97213, java.lang.Object(Tree(NULL, o97270, o97271)), o97210, o97270)
Load44066(o97213, java.lang.Object(Tree(NULL, o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(NULL, o97263, o97264))) → Store44491(o97213, java.lang.Object(Tree(NULL, o97263, o97264)), o97210, o97263)
Load37906(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2))) → Load44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
Store37702(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), o66987) → Load44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(NULL, o66987, o66988))) → Load44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
JMP46979(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL))) → Load44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL)))
Load44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o99119, o99120, o99121)), o97249, o97250))) → Load44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL)))
Load44066(o97213, o97212, o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257))) → Load44066(o97213, o97212, o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(o99165, java.lang.Object(Tree(o99166, o97256, NULL)), NULL)))
Load44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271))) → Load44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(o99277, java.lang.Object(Tree(o99278, o97270, NULL)), NULL)))
Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(NULL, o66992, o66993)), java.lang.Object(Tree(NULL, o66992, o66993))) → Load37906(o66388, o66387, o66992, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
Load36791(java.lang.Object(Tree(NULL, o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(NULL, o67002, o67003)), java.lang.Object(Tree(NULL, o67002, o67003))) → Load37906(java.lang.Object(Tree(NULL, o67002, o67003)), o66387, o67002, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
Load36791(java.lang.Object(Tree(NULL, o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(NULL, o66997, o66998))) → Store37702(java.lang.Object(Tree(NULL, o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), o66997)
Load44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264))) → JMP46979(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99224, java.lang.Object(Tree(o99225, o97263, NULL)), NULL)))
The set Q consists of the following terms:
Load31330(x0, x1, x2, x3)
NULL31532(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)))
Load31861(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)))
JMP43433(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, java.lang.Object(Tree(x9, x10, NULL)), NULL)))
Load36791(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(java.lang.Object(Tree(x8, x9, x10)), x11, x12)))
JMP44585(x0, x1, x2, x3)
Store44491(x0, x1, x2, x3)
Load44066(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(NULL, x6, x7)))
Load37906(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)))
Store37702(x0, x1, java.lang.Object(Tree(x2, x3, x4)), x5)
Load36791(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(NULL, x8, x9)))
JMP46979(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(x6, java.lang.Object(Tree(x7, x8, NULL)), NULL)))
Load44066(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(java.lang.Object(Tree(x6, x7, x8)), x9, x10)))

(8) ITRStoQTRSProof (EQUIVALENT transformation)

Represented integers and predefined function symbols by Terms

(9) Obligation:

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

Load31330(o48160, o48159, o48157, o48158) → NULL31532(o48160, o48159, o48158, o48157)
NULL31532(o48592, o48591, o48590, java.lang.Object(Tree(o49086Field0, o49086Field1, o49086Field2))) → Load31861(o48592, o48591, java.lang.Object(Tree(o49086Field0, o49086Field1, o49086Field2)), o48590)
Load31861(o49481, o49480, java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)), java.lang.Object(Tree(o50362Field0, o50362Field1, o50362Field2))) → Load36791(o49481, o49480, java.lang.Object(Tree(o50362Field0, o50362Field1, o50362Field2)), java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)), java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)))
JMP43433(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL))) → Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL)))
Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68588, o68589, o68590)), o66987, o66988))) → Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL)))
Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993))) → Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(o68614, java.lang.Object(Tree(o68615, o66992, NULL)), NULL)))
Load36791(java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003))) → Load36791(java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(o68686, java.lang.Object(Tree(o68687, o67002, NULL)), NULL)))
Load36791(java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998))) → JMP43433(java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68654, java.lang.Object(Tree(o68655, o66997, NULL)), NULL)))
JMP44585(o97213, o97212, o97210, o97249) → Load31330(o97213, o97212, o97210, o97249)
Store44491(o97213, o97212, o97210, o97249) → Load31330(o97213, o97212, o97210, o97249)
Load44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(NULL, o97249, o97250))) → Load31330(o97213, o97212, o97210, o97249)
Load44066(o97213, o97212, o97210, java.lang.Object(Tree(NULL, o97256, o97257)), java.lang.Object(Tree(NULL, o97256, o97257))) → JMP44585(o97213, o97212, o97210, o97256)
Load44066(o97213, java.lang.Object(Tree(NULL, o97270, o97271)), o97210, java.lang.Object(Tree(NULL, o97270, o97271)), java.lang.Object(Tree(NULL, o97270, o97271))) → JMP44585(o97213, java.lang.Object(Tree(NULL, o97270, o97271)), o97210, o97270)
Load44066(o97213, java.lang.Object(Tree(NULL, o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(NULL, o97263, o97264))) → Store44491(o97213, java.lang.Object(Tree(NULL, o97263, o97264)), o97210, o97263)
Load37906(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2))) → Load44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
Store37702(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), o66987) → Load44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(NULL, o66987, o66988))) → Load44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
JMP46979(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL))) → Load44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL)))
Load44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o99119, o99120, o99121)), o97249, o97250))) → Load44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL)))
Load44066(o97213, o97212, o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257))) → Load44066(o97213, o97212, o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(o99165, java.lang.Object(Tree(o99166, o97256, NULL)), NULL)))
Load44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271))) → Load44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(o99277, java.lang.Object(Tree(o99278, o97270, NULL)), NULL)))
Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(NULL, o66992, o66993)), java.lang.Object(Tree(NULL, o66992, o66993))) → Load37906(o66388, o66387, o66992, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
Load36791(java.lang.Object(Tree(NULL, o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(NULL, o67002, o67003)), java.lang.Object(Tree(NULL, o67002, o67003))) → Load37906(java.lang.Object(Tree(NULL, o67002, o67003)), o66387, o67002, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
Load36791(java.lang.Object(Tree(NULL, o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(NULL, o66997, o66998))) → Store37702(java.lang.Object(Tree(NULL, o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), o66997)
Load44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264))) → JMP46979(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99224, java.lang.Object(Tree(o99225, o97263, NULL)), NULL)))

The set Q consists of the following terms:

Load31330(x0, x1, x2, x3)
NULL31532(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)))
Load31861(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)))
JMP43433(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, java.lang.Object(Tree(x9, x10, NULL)), NULL)))
Load36791(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(java.lang.Object(Tree(x8, x9, x10)), x11, x12)))
JMP44585(x0, x1, x2, x3)
Store44491(x0, x1, x2, x3)
Load44066(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(NULL, x6, x7)))
Load37906(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)))
Store37702(x0, x1, java.lang.Object(Tree(x2, x3, x4)), x5)
Load36791(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(NULL, x8, x9)))
JMP46979(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(x6, java.lang.Object(Tree(x7, x8, NULL)), NULL)))
Load44066(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(java.lang.Object(Tree(x6, x7, x8)), x9, x10)))

(10) DependencyPairsProof (EQUIVALENT transformation)

Using Dependency Pairs [AG00,LPAR04] we result in the following initial DP problem.

(11) Obligation:

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

LOAD31330(o48160, o48159, o48157, o48158) → NULL31532¹(o48160, o48159, o48158, o48157)
NULL31532¹(o48592, o48591, o48590, java.lang.Object(Tree(o49086Field0, o49086Field1, o49086Field2))) → LOAD31861(o48592, o48591, java.lang.Object(Tree(o49086Field0, o49086Field1, o49086Field2)), o48590)
LOAD31861(o49481, o49480, java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)), java.lang.Object(Tree(o50362Field0, o50362Field1, o50362Field2))) → LOAD36791(o49481, o49480, java.lang.Object(Tree(o50362Field0, o50362Field1, o50362Field2)), java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)), java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)))
JMP43433¹(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL))) → LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL)))
LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68588, o68589, o68590)), o66987, o66988))) → LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL)))
LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993))) → LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(o68614, java.lang.Object(Tree(o68615, o66992, NULL)), NULL)))
LOAD36791(java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003))) → LOAD36791(java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(o68686, java.lang.Object(Tree(o68687, o67002, NULL)), NULL)))
LOAD36791(java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998))) → JMP43433¹(java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68654, java.lang.Object(Tree(o68655, o66997, NULL)), NULL)))
JMP44585¹(o97213, o97212, o97210, o97249) → LOAD31330(o97213, o97212, o97210, o97249)
STORE44491(o97213, o97212, o97210, o97249) → LOAD31330(o97213, o97212, o97210, o97249)
LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(NULL, o97249, o97250))) → LOAD31330(o97213, o97212, o97210, o97249)
LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(NULL, o97256, o97257)), java.lang.Object(Tree(NULL, o97256, o97257))) → JMP44585¹(o97213, o97212, o97210, o97256)
LOAD44066(o97213, java.lang.Object(Tree(NULL, o97270, o97271)), o97210, java.lang.Object(Tree(NULL, o97270, o97271)), java.lang.Object(Tree(NULL, o97270, o97271))) → JMP44585¹(o97213, java.lang.Object(Tree(NULL, o97270, o97271)), o97210, o97270)
LOAD44066(o97213, java.lang.Object(Tree(NULL, o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(NULL, o97263, o97264))) → STORE44491(o97213, java.lang.Object(Tree(NULL, o97263, o97264)), o97210, o97263)
LOAD37906(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2))) → LOAD44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
STORE37702(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), o66987) → LOAD44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(NULL, o66987, o66988))) → LOAD44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
JMP46979¹(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL))) → LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL)))
LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o99119, o99120, o99121)), o97249, o97250))) → LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL)))
LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257))) → LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(o99165, java.lang.Object(Tree(o99166, o97256, NULL)), NULL)))
LOAD44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271))) → LOAD44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(o99277, java.lang.Object(Tree(o99278, o97270, NULL)), NULL)))
LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(NULL, o66992, o66993)), java.lang.Object(Tree(NULL, o66992, o66993))) → LOAD37906(o66388, o66387, o66992, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
LOAD36791(java.lang.Object(Tree(NULL, o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(NULL, o67002, o67003)), java.lang.Object(Tree(NULL, o67002, o67003))) → LOAD37906(java.lang.Object(Tree(NULL, o67002, o67003)), o66387, o67002, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
LOAD36791(java.lang.Object(Tree(NULL, o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(NULL, o66997, o66998))) → STORE37702(java.lang.Object(Tree(NULL, o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), o66997)
LOAD44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264))) → JMP46979¹(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99224, java.lang.Object(Tree(o99225, o97263, NULL)), NULL)))

The TRS R consists of the following rules:

Load31330(o48160, o48159, o48157, o48158) → NULL31532(o48160, o48159, o48158, o48157)
NULL31532(o48592, o48591, o48590, java.lang.Object(Tree(o49086Field0, o49086Field1, o49086Field2))) → Load31861(o48592, o48591, java.lang.Object(Tree(o49086Field0, o49086Field1, o49086Field2)), o48590)
Load31861(o49481, o49480, java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)), java.lang.Object(Tree(o50362Field0, o50362Field1, o50362Field2))) → Load36791(o49481, o49480, java.lang.Object(Tree(o50362Field0, o50362Field1, o50362Field2)), java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)), java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)))
JMP43433(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL))) → Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL)))
Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68588, o68589, o68590)), o66987, o66988))) → Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL)))
Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993))) → Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(o68614, java.lang.Object(Tree(o68615, o66992, NULL)), NULL)))
Load36791(java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003))) → Load36791(java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(o68686, java.lang.Object(Tree(o68687, o67002, NULL)), NULL)))
Load36791(java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998))) → JMP43433(java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68654, java.lang.Object(Tree(o68655, o66997, NULL)), NULL)))
JMP44585(o97213, o97212, o97210, o97249) → Load31330(o97213, o97212, o97210, o97249)
Store44491(o97213, o97212, o97210, o97249) → Load31330(o97213, o97212, o97210, o97249)
Load44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(NULL, o97249, o97250))) → Load31330(o97213, o97212, o97210, o97249)
Load44066(o97213, o97212, o97210, java.lang.Object(Tree(NULL, o97256, o97257)), java.lang.Object(Tree(NULL, o97256, o97257))) → JMP44585(o97213, o97212, o97210, o97256)
Load44066(o97213, java.lang.Object(Tree(NULL, o97270, o97271)), o97210, java.lang.Object(Tree(NULL, o97270, o97271)), java.lang.Object(Tree(NULL, o97270, o97271))) → JMP44585(o97213, java.lang.Object(Tree(NULL, o97270, o97271)), o97210, o97270)
Load44066(o97213, java.lang.Object(Tree(NULL, o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(NULL, o97263, o97264))) → Store44491(o97213, java.lang.Object(Tree(NULL, o97263, o97264)), o97210, o97263)
Load37906(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2))) → Load44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
Store37702(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), o66987) → Load44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(NULL, o66987, o66988))) → Load44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
JMP46979(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL))) → Load44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL)))
Load44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o99119, o99120, o99121)), o97249, o97250))) → Load44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL)))
Load44066(o97213, o97212, o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257))) → Load44066(o97213, o97212, o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(o99165, java.lang.Object(Tree(o99166, o97256, NULL)), NULL)))
Load44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271))) → Load44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(o99277, java.lang.Object(Tree(o99278, o97270, NULL)), NULL)))
Load36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(NULL, o66992, o66993)), java.lang.Object(Tree(NULL, o66992, o66993))) → Load37906(o66388, o66387, o66992, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
Load36791(java.lang.Object(Tree(NULL, o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(NULL, o67002, o67003)), java.lang.Object(Tree(NULL, o67002, o67003))) → Load37906(java.lang.Object(Tree(NULL, o67002, o67003)), o66387, o67002, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
Load36791(java.lang.Object(Tree(NULL, o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(NULL, o66997, o66998))) → Store37702(java.lang.Object(Tree(NULL, o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), o66997)
Load44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264))) → JMP46979(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99224, java.lang.Object(Tree(o99225, o97263, NULL)), NULL)))

The set Q consists of the following terms:

Load31330(x0, x1, x2, x3)
NULL31532(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)))
Load31861(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)))
JMP43433(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, java.lang.Object(Tree(x9, x10, NULL)), NULL)))
Load36791(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(java.lang.Object(Tree(x8, x9, x10)), x11, x12)))
JMP44585(x0, x1, x2, x3)
Store44491(x0, x1, x2, x3)
Load44066(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(NULL, x6, x7)))
Load37906(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)))
Store37702(x0, x1, java.lang.Object(Tree(x2, x3, x4)), x5)
Load36791(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(NULL, x8, x9)))
JMP46979(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(x6, java.lang.Object(Tree(x7, x8, NULL)), NULL)))
Load44066(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(java.lang.Object(Tree(x6, x7, x8)), x9, x10)))

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

(12) 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.

(13) Obligation:

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

LOAD31330(o48160, o48159, o48157, o48158) → NULL31532¹(o48160, o48159, o48158, o48157)
NULL31532¹(o48592, o48591, o48590, java.lang.Object(Tree(o49086Field0, o49086Field1, o49086Field2))) → LOAD31861(o48592, o48591, java.lang.Object(Tree(o49086Field0, o49086Field1, o49086Field2)), o48590)
LOAD31861(o49481, o49480, java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)), java.lang.Object(Tree(o50362Field0, o50362Field1, o50362Field2))) → LOAD36791(o49481, o49480, java.lang.Object(Tree(o50362Field0, o50362Field1, o50362Field2)), java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)), java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)))
JMP43433¹(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL))) → LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL)))
LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68588, o68589, o68590)), o66987, o66988))) → LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL)))
LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993))) → LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(o68614, java.lang.Object(Tree(o68615, o66992, NULL)), NULL)))
LOAD36791(java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003))) → LOAD36791(java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(o68686, java.lang.Object(Tree(o68687, o67002, NULL)), NULL)))
LOAD36791(java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998))) → JMP43433¹(java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68654, java.lang.Object(Tree(o68655, o66997, NULL)), NULL)))
JMP44585¹(o97213, o97212, o97210, o97249) → LOAD31330(o97213, o97212, o97210, o97249)
STORE44491(o97213, o97212, o97210, o97249) → LOAD31330(o97213, o97212, o97210, o97249)
LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(NULL, o97249, o97250))) → LOAD31330(o97213, o97212, o97210, o97249)
LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(NULL, o97256, o97257)), java.lang.Object(Tree(NULL, o97256, o97257))) → JMP44585¹(o97213, o97212, o97210, o97256)
LOAD44066(o97213, java.lang.Object(Tree(NULL, o97270, o97271)), o97210, java.lang.Object(Tree(NULL, o97270, o97271)), java.lang.Object(Tree(NULL, o97270, o97271))) → JMP44585¹(o97213, java.lang.Object(Tree(NULL, o97270, o97271)), o97210, o97270)
LOAD44066(o97213, java.lang.Object(Tree(NULL, o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(NULL, o97263, o97264))) → STORE44491(o97213, java.lang.Object(Tree(NULL, o97263, o97264)), o97210, o97263)
LOAD37906(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2))) → LOAD44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
STORE37702(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), o66987) → LOAD44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(NULL, o66987, o66988))) → LOAD44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
JMP46979¹(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL))) → LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL)))
LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o99119, o99120, o99121)), o97249, o97250))) → LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL)))
LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257))) → LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(o99165, java.lang.Object(Tree(o99166, o97256, NULL)), NULL)))
LOAD44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271))) → LOAD44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(o99277, java.lang.Object(Tree(o99278, o97270, NULL)), NULL)))
LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(NULL, o66992, o66993)), java.lang.Object(Tree(NULL, o66992, o66993))) → LOAD37906(o66388, o66387, o66992, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
LOAD36791(java.lang.Object(Tree(NULL, o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(NULL, o67002, o67003)), java.lang.Object(Tree(NULL, o67002, o67003))) → LOAD37906(java.lang.Object(Tree(NULL, o67002, o67003)), o66387, o67002, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
LOAD36791(java.lang.Object(Tree(NULL, o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(NULL, o66997, o66998))) → STORE37702(java.lang.Object(Tree(NULL, o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), o66997)
LOAD44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264))) → JMP46979¹(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99224, java.lang.Object(Tree(o99225, o97263, NULL)), NULL)))

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

Load31330(x0, x1, x2, x3)
NULL31532(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)))
Load31861(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)))
JMP43433(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, java.lang.Object(Tree(x9, x10, NULL)), NULL)))
Load36791(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(java.lang.Object(Tree(x8, x9, x10)), x11, x12)))
JMP44585(x0, x1, x2, x3)
Store44491(x0, x1, x2, x3)
Load44066(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(NULL, x6, x7)))
Load37906(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)))
Store37702(x0, x1, java.lang.Object(Tree(x2, x3, x4)), x5)
Load36791(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(NULL, x8, x9)))
JMP46979(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(x6, java.lang.Object(Tree(x7, x8, NULL)), NULL)))
Load44066(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(java.lang.Object(Tree(x6, x7, x8)), x9, x10)))

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

(14) QReductionProof (EQUIVALENT transformation)

We deleted the following terms from Q as each root-symbol of these terms does neither occur in P nor in R.[THIEMANN].

Load31330(x0, x1, x2, x3)
NULL31532(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)))
Load31861(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)))
JMP43433(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, java.lang.Object(Tree(x9, x10, NULL)), NULL)))
Load36791(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(java.lang.Object(Tree(x8, x9, x10)), x11, x12)))
JMP44585(x0, x1, x2, x3)
Store44491(x0, x1, x2, x3)
Load44066(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(NULL, x6, x7)))
Load37906(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)))
Store37702(x0, x1, java.lang.Object(Tree(x2, x3, x4)), x5)
Load36791(x0, x1, java.lang.Object(Tree(x2, x3, x4)), java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(NULL, x8, x9)))
JMP46979(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(x6, java.lang.Object(Tree(x7, x8, NULL)), NULL)))
Load44066(x0, x1, x2, java.lang.Object(Tree(x3, x4, x5)), java.lang.Object(Tree(java.lang.Object(Tree(x6, x7, x8)), x9, x10)))

(15) Obligation:

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

LOAD31330(o48160, o48159, o48157, o48158) → NULL31532¹(o48160, o48159, o48158, o48157)
NULL31532¹(o48592, o48591, o48590, java.lang.Object(Tree(o49086Field0, o49086Field1, o49086Field2))) → LOAD31861(o48592, o48591, java.lang.Object(Tree(o49086Field0, o49086Field1, o49086Field2)), o48590)
LOAD31861(o49481, o49480, java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)), java.lang.Object(Tree(o50362Field0, o50362Field1, o50362Field2))) → LOAD36791(o49481, o49480, java.lang.Object(Tree(o50362Field0, o50362Field1, o50362Field2)), java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)), java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)))
JMP43433¹(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL))) → LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL)))
LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68588, o68589, o68590)), o66987, o66988))) → LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL)))
LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993))) → LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(o68614, java.lang.Object(Tree(o68615, o66992, NULL)), NULL)))
LOAD36791(java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003))) → LOAD36791(java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(o68686, java.lang.Object(Tree(o68687, o67002, NULL)), NULL)))
LOAD36791(java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998))) → JMP43433¹(java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68654, java.lang.Object(Tree(o68655, o66997, NULL)), NULL)))
JMP44585¹(o97213, o97212, o97210, o97249) → LOAD31330(o97213, o97212, o97210, o97249)
STORE44491(o97213, o97212, o97210, o97249) → LOAD31330(o97213, o97212, o97210, o97249)
LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(NULL, o97249, o97250))) → LOAD31330(o97213, o97212, o97210, o97249)
LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(NULL, o97256, o97257)), java.lang.Object(Tree(NULL, o97256, o97257))) → JMP44585¹(o97213, o97212, o97210, o97256)
LOAD44066(o97213, java.lang.Object(Tree(NULL, o97270, o97271)), o97210, java.lang.Object(Tree(NULL, o97270, o97271)), java.lang.Object(Tree(NULL, o97270, o97271))) → JMP44585¹(o97213, java.lang.Object(Tree(NULL, o97270, o97271)), o97210, o97270)
LOAD44066(o97213, java.lang.Object(Tree(NULL, o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(NULL, o97263, o97264))) → STORE44491(o97213, java.lang.Object(Tree(NULL, o97263, o97264)), o97210, o97263)
LOAD37906(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2))) → LOAD44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
STORE37702(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), o66987) → LOAD44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(NULL, o66987, o66988))) → LOAD44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
JMP46979¹(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL))) → LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL)))
LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o99119, o99120, o99121)), o97249, o97250))) → LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL)))
LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257))) → LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(o99165, java.lang.Object(Tree(o99166, o97256, NULL)), NULL)))
LOAD44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271))) → LOAD44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(o99277, java.lang.Object(Tree(o99278, o97270, NULL)), NULL)))
LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(NULL, o66992, o66993)), java.lang.Object(Tree(NULL, o66992, o66993))) → LOAD37906(o66388, o66387, o66992, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
LOAD36791(java.lang.Object(Tree(NULL, o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(NULL, o67002, o67003)), java.lang.Object(Tree(NULL, o67002, o67003))) → LOAD37906(java.lang.Object(Tree(NULL, o67002, o67003)), o66387, o67002, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
LOAD36791(java.lang.Object(Tree(NULL, o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(NULL, o66997, o66998))) → STORE37702(java.lang.Object(Tree(NULL, o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), o66997)
LOAD44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264))) → JMP46979¹(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99224, java.lang.Object(Tree(o99225, o97263, NULL)), NULL)))

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

(16) QDPOrderProof (EQUIVALENT transformation)

We use the reduction pair processor [LPAR04].

The following pairs can be oriented strictly and are deleted.

LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(NULL, o97249, o97250))) → LOAD31330(o97213, o97212, o97210, o97249)
LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(NULL, o97256, o97257)), java.lang.Object(Tree(NULL, o97256, o97257))) → JMP44585¹(o97213, o97212, o97210, o97256)
LOAD44066(o97213, java.lang.Object(Tree(NULL, o97270, o97271)), o97210, java.lang.Object(Tree(NULL, o97270, o97271)), java.lang.Object(Tree(NULL, o97270, o97271))) → JMP44585¹(o97213, java.lang.Object(Tree(NULL, o97270, o97271)), o97210, o97270)
LOAD44066(o97213, java.lang.Object(Tree(NULL, o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(NULL, o97263, o97264))) → STORE44491(o97213, java.lang.Object(Tree(NULL, o97263, o97264)), o97210, o97263)

The remaining pairs can at least be oriented weakly.
Used ordering: Polynomial interpretation [POLO]:

POL(JMP43433¹(x₁, x₂, x₃, x₄, x₅)) = x₂ + x₃
POL(JMP44585¹(x₁, x₂, x₃, x₄)) = x₂ + x₄
POL(JMP46979¹(x₁, x₂, x₃, x₄, x₅)) = x₂ + x₅
POL(LOAD31330(x₁, x₂, x₃, x₄)) = x₂ + x₄
POL(LOAD31861(x₁, x₂, x₃, x₄)) = x₂ + x₄
POL(LOAD36791(x₁, x₂, x₃, x₄, x₅)) = x₂ + x₃
POL(LOAD37906(x₁, x₂, x₃, x₄)) = x₂ + x₄
POL(LOAD44066(x₁, x₂, x₃, x₄, x₅)) = x₂ + x₅
POL(NULL) = 1
POL(NULL31532¹(x₁, x₂, x₃, x₄)) = x₂ + x₃
POL(STORE37702(x₁, x₂, x₃, x₄)) = x₂ + x₃
POL(STORE44491(x₁, x₂, x₃, x₄)) = x₂ + x₄
POL(Tree(x₁, x₂, x₃)) = x₁ + x₂
POL(java.lang.Object(x₁)) = x₁

The following usable rules [FROCOS05] were oriented: none

(17) Obligation:

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

LOAD31330(o48160, o48159, o48157, o48158) → NULL31532¹(o48160, o48159, o48158, o48157)
NULL31532¹(o48592, o48591, o48590, java.lang.Object(Tree(o49086Field0, o49086Field1, o49086Field2))) → LOAD31861(o48592, o48591, java.lang.Object(Tree(o49086Field0, o49086Field1, o49086Field2)), o48590)
LOAD31861(o49481, o49480, java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)), java.lang.Object(Tree(o50362Field0, o50362Field1, o50362Field2))) → LOAD36791(o49481, o49480, java.lang.Object(Tree(o50362Field0, o50362Field1, o50362Field2)), java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)), java.lang.Object(Tree(o49478Field0, o49478Field1, o49478Field2)))
JMP43433¹(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL))) → LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL)))
LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68588, o68589, o68590)), o66987, o66988))) → LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL)))
LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993))) → LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(o68614, java.lang.Object(Tree(o68615, o66992, NULL)), NULL)))
LOAD36791(java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003))) → LOAD36791(java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(o68686, java.lang.Object(Tree(o68687, o67002, NULL)), NULL)))
LOAD36791(java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998))) → JMP43433¹(java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68654, java.lang.Object(Tree(o68655, o66997, NULL)), NULL)))
JMP44585¹(o97213, o97212, o97210, o97249) → LOAD31330(o97213, o97212, o97210, o97249)
STORE44491(o97213, o97212, o97210, o97249) → LOAD31330(o97213, o97212, o97210, o97249)
LOAD37906(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2))) → LOAD44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
STORE37702(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), o66987) → LOAD44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(NULL, o66987, o66988))) → LOAD44066(o66388, o66387, o66987, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
JMP46979¹(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL))) → LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL)))
LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o99119, o99120, o99121)), o97249, o97250))) → LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL)))
LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257))) → LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(o99165, java.lang.Object(Tree(o99166, o97256, NULL)), NULL)))
LOAD44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271))) → LOAD44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(o99277, java.lang.Object(Tree(o99278, o97270, NULL)), NULL)))
LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(NULL, o66992, o66993)), java.lang.Object(Tree(NULL, o66992, o66993))) → LOAD37906(o66388, o66387, o66992, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
LOAD36791(java.lang.Object(Tree(NULL, o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(NULL, o67002, o67003)), java.lang.Object(Tree(NULL, o67002, o67003))) → LOAD37906(java.lang.Object(Tree(NULL, o67002, o67003)), o66387, o67002, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)))
LOAD36791(java.lang.Object(Tree(NULL, o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(NULL, o66997, o66998))) → STORE37702(java.lang.Object(Tree(NULL, o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), o66997)
LOAD44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264))) → JMP46979¹(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99224, java.lang.Object(Tree(o99225, o97263, NULL)), NULL)))

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

(18) DependencyGraphProof (EQUIVALENT transformation)

The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 2 SCCs with 11 less nodes.

(19) Complex Obligation (AND)

(20) Obligation:

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

LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o99119, o99120, o99121)), o97249, o97250))) → LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL)))
LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257))) → LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(o99165, java.lang.Object(Tree(o99166, o97256, NULL)), NULL)))
LOAD44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264))) → JMP46979¹(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99224, java.lang.Object(Tree(o99225, o97263, NULL)), NULL)))
JMP46979¹(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL))) → LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL)))
LOAD44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271))) → LOAD44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(o99277, java.lang.Object(Tree(o99278, o97270, NULL)), NULL)))

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

(21) MRRProof (EQUIVALENT transformation)

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

LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o99119, o99120, o99121)), o97249, o97250))) → LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL)))
LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257))) → LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99165, o99166, o99167)), o97256, o97257)), java.lang.Object(Tree(o99165, java.lang.Object(Tree(o99166, o97256, NULL)), NULL)))
LOAD44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264))) → JMP46979¹(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99224, o99225, o99226)), o97263, o97264)), o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99224, java.lang.Object(Tree(o99225, o97263, NULL)), NULL)))
JMP46979¹(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL))) → LOAD44066(o97213, o97212, o97210, java.lang.Object(Tree(o97211Field0, o97211Field1, o97211Field2)), java.lang.Object(Tree(o99119, java.lang.Object(Tree(o99120, o97249, NULL)), NULL)))
LOAD44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271))) → LOAD44066(o97213, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), o97210, java.lang.Object(Tree(java.lang.Object(Tree(o99277, o99278, o99279)), o97270, o97271)), java.lang.Object(Tree(o99277, java.lang.Object(Tree(o99278, o97270, NULL)), NULL)))

Used ordering: Polynomial interpretation [POLO]:

POL(JMP46979¹(x₁, x₂, x₃, x₄, x₅)) = 2 + x₁ + x₂ + x₃ + 2·x₄ + 2·x₅
POL(LOAD44066(x₁, x₂, x₃, x₄, x₅)) = x₁ + x₂ + x₃ + 2·x₄ + 2·x₅
POL(NULL) = 0
POL(Tree(x₁, x₂, x₃)) = 2·x₁ + x₂ + 2·x₃
POL(java.lang.Object(x₁)) = 2 + x₁

(22) Obligation:

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

(23) PisEmptyProof (EQUIVALENT transformation)

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

(24) TRUE

(25) Obligation:

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

LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68588, o68589, o68590)), o66987, o66988))) → LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL)))
LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993))) → LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(o68614, java.lang.Object(Tree(o68615, o66992, NULL)), NULL)))
LOAD36791(java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998))) → JMP43433¹(java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68654, java.lang.Object(Tree(o68655, o66997, NULL)), NULL)))
JMP43433¹(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL))) → LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL)))
LOAD36791(java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003))) → LOAD36791(java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(o68686, java.lang.Object(Tree(o68687, o67002, NULL)), NULL)))

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

(26) MRRProof (EQUIVALENT transformation)

LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68588, o68589, o68590)), o66987, o66988))) → LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL)))
LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993))) → LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68614, o68615, o68616)), o66992, o66993)), java.lang.Object(Tree(o68614, java.lang.Object(Tree(o68615, o66992, NULL)), NULL)))
JMP43433¹(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL))) → LOAD36791(o66388, o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68588, java.lang.Object(Tree(o68589, o66987, NULL)), NULL)))
LOAD36791(java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003))) → LOAD36791(java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68686, o68687, o68688)), o67002, o67003)), java.lang.Object(Tree(o68686, java.lang.Object(Tree(o68687, o67002, NULL)), NULL)))

Used ordering: Polynomial interpretation [POLO]:

POL(JMP43433¹(x₁, x₂, x₃, x₄, x₅)) = 2 + 2·x₁ + x₂ + 2·x₃ + x₄ + x₅
POL(LOAD36791(x₁, x₂, x₃, x₄, x₅)) = 2·x₁ + x₂ + 2·x₃ + x₄ + x₅
POL(NULL) = 0
POL(Tree(x₁, x₂, x₃)) = 2·x₁ + x₂ + 2·x₃
POL(java.lang.Object(x₁)) = 2 + x₁

(27) Obligation:

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

LOAD36791(java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998))) → JMP43433¹(java.lang.Object(Tree(java.lang.Object(Tree(o68654, o68655, o68656)), o66997, o66998)), o66387, java.lang.Object(Tree(o66386Field0, o66386Field1, o66386Field2)), java.lang.Object(Tree(o66385Field0, o66385Field1, o66385Field2)), java.lang.Object(Tree(o68654, java.lang.Object(Tree(o68655, o66997, NULL)), NULL)))

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

(28) DependencyGraphProof (EQUIVALENT transformation)

The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 0 SCCs with 1 less node.

(29) TRUE

(30) 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:
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, java.lang.Object(Tree(o71512Field0, o71512Field1, o71512Field2)), java.lang.Object(EOC))), java.lang.Object(Tree(o64335, java.lang.Object(Tree(o71512Field0, o71512Field1, o71512Field2)), java.lang.Object(EOC)))) → Load36231ARR1(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, java.lang.Object(Tree(o71512Field0, o71512Field1, o71512Field2)), java.lang.Object(EOC))), java.lang.Object(Tree(o64335, java.lang.Object(Tree(o71512Field0, o71512Field1, o71512Field2)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i20843, i20845, a49022)))
Load36231ARR1(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, java.lang.Object(Tree(o71512Field0, o71512Field1, o71512Field2)), java.lang.Object(EOC))), java.lang.Object(Tree(o64335, java.lang.Object(Tree(o71512Field0, o71512Field1, o71512Field2)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i20843, i20845, a49022))) → Cond_Load36231ARR1(i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, java.lang.Object(Tree(o71512Field0, o71512Field1, o71512Field2)), java.lang.Object(EOC))), java.lang.Object(Tree(o64335, java.lang.Object(Tree(o71512Field0, o71512Field1, o71512Field2)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i20843, i20845, a49022)))
Cond_Load36231ARR1(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, java.lang.Object(Tree(o71512Field0, o71512Field1, o71512Field2)), java.lang.Object(EOC))), java.lang.Object(Tree(o64335, java.lang.Object(Tree(o71512Field0, o71512Field1, o71512Field2)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i20843, i20845, a49022))) → Inc40003(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355, java.lang.Object(Tree(o64335, java.lang.Object(Tree(o71512Field0, o71512Field1, o71512Field2)), java.lang.Object(EOC))), java.lang.Object(Tree(o71512Field0, o71512Field1, o71512Field2)))
JMP40088(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o72272Field0, o72272Field1, o72272Field2))) → Inc40003(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o72272Field0, o72272Field1, o72272Field2)))
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o72272Field0, o72272Field1, o72272Field2)), o71058, o71059))) → Load36231ARR2(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o72272Field0, o72272Field1, o72272Field2)), o71058, o71059)), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Load36231ARR2(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o72272Field0, o72272Field1, o72272Field2)), o71058, o71059)), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Cond_Load36231ARR2(i21156 > 0 && i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o72272Field0, o72272Field1, o72272Field2)), o71058, o71059)), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Cond_Load36231ARR2(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o72272Field0, o72272Field1, o72272Field2)), o71058, o71059)), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Inc40003(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o72272Field0, o72272Field1, o72272Field2)))
Inc40003(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o72092Field0, o72092Field1, o72092Field2))) → Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355 + -1, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o72092Field0, o72092Field1, o72092Field2)))
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o70980, java.lang.Object(Tree(o72092Field0, o72092Field1, o72092Field2)), o70982))) → Load36231ARR3(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o70980, java.lang.Object(Tree(o72092Field0, o72092Field1, o72092Field2)), o70982)), java.lang.Object(java.lang.String(0, i20843, i20845, a49022)))
Load36231ARR3(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o70980, java.lang.Object(Tree(o72092Field0, o72092Field1, o72092Field2)), o70982)), java.lang.Object(java.lang.String(0, i20843, i20845, a49022))) → Cond_Load36231ARR3(i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o70980, java.lang.Object(Tree(o72092Field0, o72092Field1, o72092Field2)), o70982)), java.lang.Object(java.lang.String(0, i20843, i20845, a49022)))
Cond_Load36231ARR3(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o70980, java.lang.Object(Tree(o72092Field0, o72092Field1, o72092Field2)), o70982)), java.lang.Object(java.lang.String(0, i20843, i20845, a49022))) → Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355 + -1, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o72092Field0, o72092Field1, o72092Field2)))
Inc42733(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC)))) → Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355 + -1, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))))
JMP42561(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC)))) → Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355 + -1, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))))
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o70980, NULL, o70982))) → Load36231ARR4(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o70980, NULL, o70982)), java.lang.Object(java.lang.String(0, i20843, i20845, a49022)))
Load36231ARR4(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o70980, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o70982)), java.lang.Object(java.lang.String(0, i20843, i20845, a49022))) → Cond_Load36231ARR4(i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o70980, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o70982)), java.lang.Object(java.lang.String(0, i20843, i20845, a49022)))
Cond_Load36231ARR4(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o70980, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o70982)), java.lang.Object(java.lang.String(0, i20843, i20845, a49022))) → Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355 + -1, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))))
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(java.lang.Object(Tree(o71695Field0, o71695Field1, o71695Field2)), o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o71695Field0, o71695Field1, o71695Field2)), o64336, java.lang.Object(EOC)))) → Load36231ARR5(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(java.lang.Object(Tree(o71695Field0, o71695Field1, o71695Field2)), o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o71695Field0, o71695Field1, o71695Field2)), o64336, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Load36231ARR5(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(java.lang.Object(Tree(o71695Field0, o71695Field1, o71695Field2)), o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o71695Field0, o71695Field1, o71695Field2)), o64336, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Cond_Load36231ARR5(i21156 > 0 && i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(java.lang.Object(Tree(o71695Field0, o71695Field1, o71695Field2)), o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o71695Field0, o71695Field1, o71695Field2)), o64336, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Cond_Load36231ARR5(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(java.lang.Object(Tree(o71695Field0, o71695Field1, o71695Field2)), o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o71695Field0, o71695Field1, o71695Field2)), o64336, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → JMP40088(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355, java.lang.Object(Tree(java.lang.Object(Tree(o71695Field0, o71695Field1, o71695Field2)), o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o71695Field0, o71695Field1, o71695Field2)))
JMP42611(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC)))) → Inc42733(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))))
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(NULL, o71058, o71059))) → Load36231ARR6(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(NULL, o71058, o71059)), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Load36231ARR6(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o71058, o71059)), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Cond_Load36231ARR6(i21156 > 0 && i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o71058, o71059)), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Cond_Load36231ARR6(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o71058, o71059)), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Inc42733(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))))
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, NULL, java.lang.Object(EOC))), java.lang.Object(Tree(o64335, NULL, java.lang.Object(EOC)))) → Load36231ARR7(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, NULL, java.lang.Object(EOC))), java.lang.Object(Tree(o64335, NULL, java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i20843, i20845, a49022)))
Load36231ARR7(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(Tree(o64335, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i20843, i20845, a49022))) → Cond_Load36231ARR7(i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(Tree(o64335, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i20843, i20845, a49022)))
Cond_Load36231ARR7(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(Tree(o64335, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i20843, i20845, a49022))) → JMP42561(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355, java.lang.Object(Tree(o64335, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(Tree(o64335, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))))
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(NULL, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(NULL, o64336, java.lang.Object(EOC)))) → Load36231ARR8(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(NULL, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(NULL, o64336, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Load36231ARR8(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o64336, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Cond_Load36231ARR8(i21156 > 0 && i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o64336, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Cond_Load36231ARR8(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o64336, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → JMP42611(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o64336, java.lang.Object(EOC))))
The set Q consists of the following terms:
Load36231ARR1(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(EOC))), java.lang.Object(Tree(x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, x8, x9, x10)))
Cond_Load36231ARR1(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(EOC))), java.lang.Object(Tree(x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, x8, x9, x10)))
JMP40088(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x6, x7, x8)))
Load36231(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(x6, x7, x8)), x9, x10)))
Load36231ARR2(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(x6, x7, x8)), x9, x10)), java.lang.Object(java.lang.String(x11, x12, x13, x14)))
Cond_Load36231ARR2(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(x6, x7, x8)), x9, x10)), java.lang.Object(java.lang.String(x11, x12, x13, x14)))
Inc40003(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x6, x7, x8)))
Load36231(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x6, java.lang.Object(Tree(x7, x8, x9)), x10)))
Load36231ARR3(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x6, java.lang.Object(Tree(x7, x8, x9)), x10)), java.lang.Object(java.lang.String(0, x11, x12, x13)))
Cond_Load36231ARR3(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x6, java.lang.Object(Tree(x7, x8, x9)), x10)), java.lang.Object(java.lang.String(0, x11, x12, x13)))
Inc42733(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))))
JMP42561(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))))
Load36231(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x6, NULL, x7)))
Load36231ARR4(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x6, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x7)), java.lang.Object(java.lang.String(0, x8, x9, x10)))
Cond_Load36231ARR4(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x6, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x7)), java.lang.Object(java.lang.String(0, x8, x9, x10)))
Load36231ARR5(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(java.lang.Object(Tree(x4, x5, x6)), x7, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(x4, x5, x6)), x7, java.lang.Object(EOC))), java.lang.Object(java.lang.String(x8, x9, x10, x11)))
Cond_Load36231ARR5(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(java.lang.Object(Tree(x4, x5, x6)), x7, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(x4, x5, x6)), x7, java.lang.Object(EOC))), java.lang.Object(java.lang.String(x8, x9, x10, x11)))
JMP42611(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))))
Load36231(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(NULL, x6, x7)))
Load36231ARR6(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x6, x7)), java.lang.Object(java.lang.String(x8, x9, x10, x11)))
Cond_Load36231ARR6(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x6, x7)), java.lang.Object(java.lang.String(x8, x9, x10, x11)))
Load36231ARR7(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(Tree(x4, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, x5, x6, x7)))
Cond_Load36231ARR7(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(Tree(x4, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, x5, x6, x7)))
Load36231ARR8(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x4, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x4, java.lang.Object(EOC))), java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Cond_Load36231ARR8(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x4, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x4, java.lang.Object(EOC))), java.lang.Object(java.lang.String(x5, x6, x7, x8)))

(31) DuplicateArgsRemoverProof (EQUIVALENT transformation)

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

JMP42611(x1, x2, x3, x4, x5) → JMP42611(x1, x2, x3, x5)
Cond_Load36231ARR8(x1, x2, x3, x4, x5, x6, x7) → Cond_Load36231ARR8(x1, x2, x3, x4, x6, x7)
Load36231ARR8(x1, x2, x3, x4, x5, x6) → Load36231ARR8(x1, x2, x3, x5, x6)
JMP42561(x1, x2, x3, x4, x5) → JMP42561(x1, x2, x3, x5)
Cond_Load36231ARR7(x1, x2, x3, x4, x5, x6, x7) → Cond_Load36231ARR7(x1, x2, x3, x4, x6, x7)
Load36231ARR7(x1, x2, x3, x4, x5, x6) → Load36231ARR7(x1, x2, x3, x5, x6)
Inc42733(x1, x2, x3, x4, x5) → Inc42733(x1, x2, x3, x5)
Cond_Load36231ARR5(x1, x2, x3, x4, x5, x6, x7) → Cond_Load36231ARR5(x1, x2, x3, x4, x6, x7)
Load36231ARR5(x1, x2, x3, x4, x5, x6) → Load36231ARR5(x1, x2, x3, x5, x6)
Cond_Load36231ARR1(x1, x2, x3, x4, x5, x6, x7) → Cond_Load36231ARR1(x1, x2, x3, x4, x6, x7)
Load36231ARR1(x1, x2, x3, x4, x5, x6) → Load36231ARR1(x1, x2, x3, x5, x6)

(32) 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:
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, java.lang.Object(Tree(o71512Field0, o71512Field1, o71512Field2)), java.lang.Object(EOC))), java.lang.Object(Tree(o64335, java.lang.Object(Tree(o71512Field0, o71512Field1, o71512Field2)), java.lang.Object(EOC)))) → Load36231ARR1(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, java.lang.Object(Tree(o71512Field0, o71512Field1, o71512Field2)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i20843, i20845, a49022)))
Load36231ARR1(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, java.lang.Object(Tree(o71512Field0, o71512Field1, o71512Field2)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i20843, i20845, a49022))) → Cond_Load36231ARR1(i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, java.lang.Object(Tree(o71512Field0, o71512Field1, o71512Field2)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i20843, i20845, a49022)))
Cond_Load36231ARR1(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, java.lang.Object(Tree(o71512Field0, o71512Field1, o71512Field2)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i20843, i20845, a49022))) → Inc40003(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355, java.lang.Object(Tree(o64335, java.lang.Object(Tree(o71512Field0, o71512Field1, o71512Field2)), java.lang.Object(EOC))), java.lang.Object(Tree(o71512Field0, o71512Field1, o71512Field2)))
JMP40088(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o72272Field0, o72272Field1, o72272Field2))) → Inc40003(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o72272Field0, o72272Field1, o72272Field2)))
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o72272Field0, o72272Field1, o72272Field2)), o71058, o71059))) → Load36231ARR2(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o72272Field0, o72272Field1, o72272Field2)), o71058, o71059)), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Load36231ARR2(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o72272Field0, o72272Field1, o72272Field2)), o71058, o71059)), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Cond_Load36231ARR2(i21156 > 0 && i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o72272Field0, o72272Field1, o72272Field2)), o71058, o71059)), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Cond_Load36231ARR2(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o72272Field0, o72272Field1, o72272Field2)), o71058, o71059)), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Inc40003(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o72272Field0, o72272Field1, o72272Field2)))
Inc40003(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o72092Field0, o72092Field1, o72092Field2))) → Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355 + -1, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o72092Field0, o72092Field1, o72092Field2)))
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o70980, java.lang.Object(Tree(o72092Field0, o72092Field1, o72092Field2)), o70982))) → Load36231ARR3(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o70980, java.lang.Object(Tree(o72092Field0, o72092Field1, o72092Field2)), o70982)), java.lang.Object(java.lang.String(0, i20843, i20845, a49022)))
Load36231ARR3(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o70980, java.lang.Object(Tree(o72092Field0, o72092Field1, o72092Field2)), o70982)), java.lang.Object(java.lang.String(0, i20843, i20845, a49022))) → Cond_Load36231ARR3(i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o70980, java.lang.Object(Tree(o72092Field0, o72092Field1, o72092Field2)), o70982)), java.lang.Object(java.lang.String(0, i20843, i20845, a49022)))
Cond_Load36231ARR3(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o70980, java.lang.Object(Tree(o72092Field0, o72092Field1, o72092Field2)), o70982)), java.lang.Object(java.lang.String(0, i20843, i20845, a49022))) → Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355 + -1, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o72092Field0, o72092Field1, o72092Field2)))
Inc42733(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC)))) → Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355 + -1, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))))
JMP42561(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC)))) → Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355 + -1, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))))
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o70980, NULL, o70982))) → Load36231ARR4(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o70980, NULL, o70982)), java.lang.Object(java.lang.String(0, i20843, i20845, a49022)))
Load36231ARR4(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o70980, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o70982)), java.lang.Object(java.lang.String(0, i20843, i20845, a49022))) → Cond_Load36231ARR4(i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o70980, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o70982)), java.lang.Object(java.lang.String(0, i20843, i20845, a49022)))
Cond_Load36231ARR4(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o70980, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o70982)), java.lang.Object(java.lang.String(0, i20843, i20845, a49022))) → Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355 + -1, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))))
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(java.lang.Object(Tree(o71695Field0, o71695Field1, o71695Field2)), o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o71695Field0, o71695Field1, o71695Field2)), o64336, java.lang.Object(EOC)))) → Load36231ARR5(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(java.lang.Object(Tree(o71695Field0, o71695Field1, o71695Field2)), o64336, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Load36231ARR5(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(java.lang.Object(Tree(o71695Field0, o71695Field1, o71695Field2)), o64336, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Cond_Load36231ARR5(i21156 > 0 && i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(java.lang.Object(Tree(o71695Field0, o71695Field1, o71695Field2)), o64336, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Cond_Load36231ARR5(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(java.lang.Object(Tree(o71695Field0, o71695Field1, o71695Field2)), o64336, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → JMP40088(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355, java.lang.Object(Tree(java.lang.Object(Tree(o71695Field0, o71695Field1, o71695Field2)), o64336, java.lang.Object(EOC))), java.lang.Object(Tree(o71695Field0, o71695Field1, o71695Field2)))
JMP42611(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC)))) → Inc42733(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))))
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(NULL, o71058, o71059))) → Load36231ARR6(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(NULL, o71058, o71059)), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Load36231ARR6(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o71058, o71059)), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Cond_Load36231ARR6(i21156 > 0 && i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o71058, o71059)), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Cond_Load36231ARR6(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o71058, o71059)), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Inc42733(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355, java.lang.Object(Tree(o64335, o64336, java.lang.Object(EOC))))
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, NULL, java.lang.Object(EOC))), java.lang.Object(Tree(o64335, NULL, java.lang.Object(EOC)))) → Load36231ARR7(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, NULL, java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i20843, i20845, a49022)))
Load36231ARR7(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i20843, i20845, a49022))) → Cond_Load36231ARR7(i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i20843, i20845, a49022)))
Cond_Load36231ARR7(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(o64335, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i20843, i20845, a49022))) → JMP42561(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355, java.lang.Object(Tree(o64335, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))))
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(NULL, o64336, java.lang.Object(EOC))), java.lang.Object(Tree(NULL, o64336, java.lang.Object(EOC)))) → Load36231ARR8(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(NULL, o64336, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Load36231ARR8(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o64336, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Cond_Load36231ARR8(i21156 > 0 && i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o64336, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Cond_Load36231ARR8(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o64336, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → JMP42611(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o64336, java.lang.Object(EOC))))
The set Q consists of the following terms:
Load36231ARR1(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, x8, x9, x10)))
Cond_Load36231ARR1(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, x8, x9, x10)))
JMP40088(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x6, x7, x8)))
Load36231(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(x6, x7, x8)), x9, x10)))
Load36231ARR2(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(x6, x7, x8)), x9, x10)), java.lang.Object(java.lang.String(x11, x12, x13, x14)))
Cond_Load36231ARR2(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(x6, x7, x8)), x9, x10)), java.lang.Object(java.lang.String(x11, x12, x13, x14)))
Inc40003(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x6, x7, x8)))
Load36231(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x6, java.lang.Object(Tree(x7, x8, x9)), x10)))
Load36231ARR3(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x6, java.lang.Object(Tree(x7, x8, x9)), x10)), java.lang.Object(java.lang.String(0, x11, x12, x13)))
Cond_Load36231ARR3(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x6, java.lang.Object(Tree(x7, x8, x9)), x10)), java.lang.Object(java.lang.String(0, x11, x12, x13)))
Inc42733(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))))
JMP42561(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))))
Load36231(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x6, NULL, x7)))
Load36231ARR4(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x6, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x7)), java.lang.Object(java.lang.String(0, x8, x9, x10)))
Cond_Load36231ARR4(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x6, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x7)), java.lang.Object(java.lang.String(0, x8, x9, x10)))
Load36231ARR5(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(java.lang.Object(Tree(x4, x5, x6)), x7, java.lang.Object(EOC))), java.lang.Object(java.lang.String(x8, x9, x10, x11)))
Cond_Load36231ARR5(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(java.lang.Object(Tree(x4, x5, x6)), x7, java.lang.Object(EOC))), java.lang.Object(java.lang.String(x8, x9, x10, x11)))
JMP42611(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))))
Load36231(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(NULL, x6, x7)))
Load36231ARR6(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x6, x7)), java.lang.Object(java.lang.String(x8, x9, x10, x11)))
Cond_Load36231ARR6(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x6, x7)), java.lang.Object(java.lang.String(x8, x9, x10, x11)))
Load36231ARR7(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, x5, x6, x7)))
Cond_Load36231ARR7(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(x4, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, x5, x6, x7)))
Load36231ARR8(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x4, java.lang.Object(EOC))), java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Cond_Load36231ARR8(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x4, java.lang.Object(EOC))), java.lang.Object(java.lang.String(x5, x6, x7, x8)))

(33) ITRSFilterProcessorProof (SOUND transformation)

We filter according the heuristic IdpCand1ShapeHeuristic
We removed arguments according to the following replacements:

Load36231(x1, x2, x3, x4, x5) → Load36231(x1, x2, x3)
Tree(x1, x2, x3) → Tree
Load36231ARR1(x1, x2, x3, x4, x5) → Load36231ARR1(x1, x2, x3)
Cond_Load36231ARR1(x1, x2, x3, x4, x5, x6) → Cond_Load36231ARR1(x1, x2, x3, x4)
Inc40003(x1, x2, x3, x4, x5) → Inc40003(x1, x2, x3)
JMP40088(x1, x2, x3, x4, x5) → JMP40088(x1, x2, x3)
Load36231ARR2(x1, x2, x3, x4, x5, x6) → Load36231ARR2(x1, x2, x3, x6)
Cond_Load36231ARR2(x1, x2, x3, x4, x5, x6, x7) → Cond_Load36231ARR2(x1, x2, x3, x4, x7)
Load36231ARR3(x1, x2, x3, x4, x5, x6) → Load36231ARR3(x1, x2, x3)
Cond_Load36231ARR3(x1, x2, x3, x4, x5, x6, x7) → Cond_Load36231ARR3(x1, x2, x3, x4)
Inc42733(x1, x2, x3, x4) → Inc42733(x1, x2, x3)
JMP42561(x1, x2, x3, x4) → JMP42561(x1, x2, x3)
Load36231ARR4(x1, x2, x3, x4, x5, x6) → Load36231ARR4(x1, x2, x3)
Cond_Load36231ARR4(x1, x2, x3, x4, x5, x6, x7) → Cond_Load36231ARR4(x1, x2, x3, x4)
Load36231ARR5(x1, x2, x3, x4, x5) → Load36231ARR5(x1, x2, x3, x5)
Cond_Load36231ARR5(x1, x2, x3, x4, x5, x6) → Cond_Load36231ARR5(x1, x2, x3, x4, x6)
JMP42611(x1, x2, x3, x4) → JMP42611(x1, x2, x3)
Load36231ARR6(x1, x2, x3, x4, x5, x6) → Load36231ARR6(x1, x2, x3, x6)
Cond_Load36231ARR6(x1, x2, x3, x4, x5, x6, x7) → Cond_Load36231ARR6(x1, x2, x3, x4, x7)
Load36231ARR7(x1, x2, x3, x4, x5) → Load36231ARR7(x1, x2, x3)
Cond_Load36231ARR7(x1, x2, x3, x4, x5, x6) → Cond_Load36231ARR7(x1, x2, x3, x4)
Load36231ARR8(x1, x2, x3, x4, x5) → Load36231ARR8(x1, x2, x3, x5)
Cond_Load36231ARR8(x1, x2, x3, x4, x5, x6) → Cond_Load36231ARR8(x1, x2, x3, x4, x6)

(34) 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:
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Load36231ARR1(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355)
Load36231ARR1(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Cond_Load36231ARR1(i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355)
Cond_Load36231ARR1(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Inc40003(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355)
JMP40088(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355) → Inc40003(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355)
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Load36231ARR2(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Load36231ARR2(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Cond_Load36231ARR2(i21156 > 0 && i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Cond_Load36231ARR2(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Inc40003(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355)
Inc40003(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355) → Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355 + -1)
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Load36231ARR3(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355)
Load36231ARR3(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Cond_Load36231ARR3(i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355)
Cond_Load36231ARR3(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355 + -1)
Inc42733(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355) → Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355 + -1)
JMP42561(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355) → Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355 + -1)
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Load36231ARR4(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355)
Load36231ARR4(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Cond_Load36231ARR4(i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355)
Cond_Load36231ARR4(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355 + -1)
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Load36231ARR5(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Load36231ARR5(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Cond_Load36231ARR5(i21156 > 0 && i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Cond_Load36231ARR5(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → JMP40088(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355)
JMP42611(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355) → Inc42733(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355)
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Load36231ARR6(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Load36231ARR6(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Cond_Load36231ARR6(i21156 > 0 && i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Cond_Load36231ARR6(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Inc42733(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355)
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Load36231ARR7(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355)
Load36231ARR7(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Cond_Load36231ARR7(i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355)
Cond_Load36231ARR7(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → JMP42561(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355)
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Load36231ARR8(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Load36231ARR8(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Cond_Load36231ARR8(i21156 > 0 && i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Cond_Load36231ARR8(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → JMP42611(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355)
The set Q consists of the following terms:
Load36231(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load36231ARR1(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Cond_Load36231ARR1(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3)
JMP40088(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load36231ARR2(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Cond_Load36231ARR2(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Inc40003(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load36231ARR3(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Cond_Load36231ARR3(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3)
Inc42733(java.lang.Object(ARRAY(x0, x1)), x2, x3)
JMP42561(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load36231ARR4(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Cond_Load36231ARR4(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load36231ARR5(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Cond_Load36231ARR5(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
JMP42611(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load36231ARR6(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Cond_Load36231ARR6(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Load36231ARR7(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Cond_Load36231ARR7(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load36231ARR8(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Cond_Load36231ARR8(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))

(35) ITRSFSMergerProof (SOUND transformation)

The following function symbols have been merged:

Load36231ARR1, Load36231ARR7	>	Load36231ARR1_3
Load36231ARR3, Load36231ARR4	>	Load36231ARR3_3
Cond_Load36231ARR1, Cond_Load36231ARR7	>	Cond_Load36231ARR1_4
JMP40088, JMP42611	>	JMP40088_3
Load36231ARR2, Load36231ARR6	>	Load36231ARR2_4
Load36231ARR5, Load36231ARR8	>	Load36231ARR5_4
Cond_Load36231ARR5, Cond_Load36231ARR8	>	Cond_Load36231ARR5_5
Cond_Load36231ARR2, Cond_Load36231ARR6	>	Cond_Load36231ARR2_5
Inc40003, Inc42733, JMP42561	>	Inc40003_3
Cond_Load36231ARR3, Cond_Load36231ARR4	>	Cond_Load36231ARR3_4

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

(37) ITRStoIDPProof (EQUIVALENT transformation)

Added dependency pairs

(38) Obligation:

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

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

The following domains are used:

Boolean, Integer

The ITRS R consists of the following rules:
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Load36231ARR1(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355)
Load36231ARR1(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Cond_Load36231ARR1(i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355)
Cond_Load36231ARR1(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Inc40003(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355)
JMP40088(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355) → Inc40003(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355)
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Load36231ARR2(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Load36231ARR2(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Cond_Load36231ARR2(i21156 > 0 && i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Cond_Load36231ARR2(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Inc40003(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355)
Inc40003(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355) → Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20581, i20355 + -1)
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Load36231ARR3(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355)
Load36231ARR3(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Cond_Load36231ARR3(i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355)
Cond_Load36231ARR3(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355 + -1)
Load36231(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355) → Load36231ARR5(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Load36231ARR5(java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → Cond_Load36231ARR5(i21156 > 0 && i20225 > 0 && i20225 < i2 && i20355 > 0 && i20225 + 1 > 0, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022)))
Cond_Load36231ARR5(TRUE, java.lang.Object(ARRAY(i2, a47355data)), i20225, i20355, java.lang.Object(java.lang.String(i21156, i20843, i20845, a49022))) → JMP40088(java.lang.Object(ARRAY(i2, a47355data)), i20225 + 1, i20355)

The integer pair graph contains the following rules and edges:
(0): LOAD36231(java.lang.Object(ARRAY(i2[0], a47355data[0])), i20225[0], i20355[0]) → LOAD36231ARR1(java.lang.Object(ARRAY(i2[0], a47355data[0])), i20225[0], i20355[0])
(1): LOAD36231ARR1(java.lang.Object(ARRAY(i2[1], a47355data[1])), i20225[1], i20355[1]) → COND_LOAD36231ARR1(i20225[1] > 0 && i20225[1] < i2[1] && i20355[1] > 0 && i20225[1] + 1 > 0, java.lang.Object(ARRAY(i2[1], a47355data[1])), i20225[1], i20355[1])
(2): COND_LOAD36231ARR1(TRUE, java.lang.Object(ARRAY(i2[2], a47355data[2])), i20225[2], i20355[2]) → INC40003(java.lang.Object(ARRAY(i2[2], a47355data[2])), i20225[2] + 1, i20355[2])
(3): JMP40088'(java.lang.Object(ARRAY(i2[3], a47355data[3])), i20581[3], i20355[3]) → INC40003(java.lang.Object(ARRAY(i2[3], a47355data[3])), i20581[3], i20355[3])
(4): LOAD36231(java.lang.Object(ARRAY(i2[4], a47355data[4])), i20225[4], i20355[4]) → LOAD36231ARR2(java.lang.Object(ARRAY(i2[4], a47355data[4])), i20225[4], i20355[4], java.lang.Object(java.lang.String(i21156[4], i20843[4], i20845[4], a49022[4])))
(5): LOAD36231ARR2(java.lang.Object(ARRAY(i2[5], a47355data[5])), i20225[5], i20355[5], java.lang.Object(java.lang.String(i21156[5], i20843[5], i20845[5], a49022[5]))) → COND_LOAD36231ARR2(i21156[5] > 0 && i20225[5] > 0 && i20225[5] < i2[5] && i20355[5] > 0 && i20225[5] + 1 > 0, java.lang.Object(ARRAY(i2[5], a47355data[5])), i20225[5], i20355[5], java.lang.Object(java.lang.String(i21156[5], i20843[5], i20845[5], a49022[5])))
(6): COND_LOAD36231ARR2(TRUE, java.lang.Object(ARRAY(i2[6], a47355data[6])), i20225[6], i20355[6], java.lang.Object(java.lang.String(i21156[6], i20843[6], i20845[6], a49022[6]))) → INC40003(java.lang.Object(ARRAY(i2[6], a47355data[6])), i20225[6] + 1, i20355[6])
(7): INC40003(java.lang.Object(ARRAY(i2[7], a47355data[7])), i20581[7], i20355[7]) → LOAD36231(java.lang.Object(ARRAY(i2[7], a47355data[7])), i20581[7], i20355[7] + -1)
(8): LOAD36231(java.lang.Object(ARRAY(i2[8], a47355data[8])), i20225[8], i20355[8]) → LOAD36231ARR3(java.lang.Object(ARRAY(i2[8], a47355data[8])), i20225[8], i20355[8])
(9): LOAD36231ARR3(java.lang.Object(ARRAY(i2[9], a47355data[9])), i20225[9], i20355[9]) → COND_LOAD36231ARR3(i20225[9] > 0 && i20225[9] < i2[9] && i20355[9] > 0 && i20225[9] + 1 > 0, java.lang.Object(ARRAY(i2[9], a47355data[9])), i20225[9], i20355[9])
(10): COND_LOAD36231ARR3(TRUE, java.lang.Object(ARRAY(i2[10], a47355data[10])), i20225[10], i20355[10]) → LOAD36231(java.lang.Object(ARRAY(i2[10], a47355data[10])), i20225[10] + 1, i20355[10] + -1)
(11): LOAD36231(java.lang.Object(ARRAY(i2[11], a47355data[11])), i20225[11], i20355[11]) → LOAD36231ARR5(java.lang.Object(ARRAY(i2[11], a47355data[11])), i20225[11], i20355[11], java.lang.Object(java.lang.String(i21156[11], i20843[11], i20845[11], a49022[11])))
(12): LOAD36231ARR5(java.lang.Object(ARRAY(i2[12], a47355data[12])), i20225[12], i20355[12], java.lang.Object(java.lang.String(i21156[12], i20843[12], i20845[12], a49022[12]))) → COND_LOAD36231ARR5(i21156[12] > 0 && i20225[12] > 0 && i20225[12] < i2[12] && i20355[12] > 0 && i20225[12] + 1 > 0, java.lang.Object(ARRAY(i2[12], a47355data[12])), i20225[12], i20355[12], java.lang.Object(java.lang.String(i21156[12], i20843[12], i20845[12], a49022[12])))
(13): COND_LOAD36231ARR5(TRUE, java.lang.Object(ARRAY(i2[13], a47355data[13])), i20225[13], i20355[13], java.lang.Object(java.lang.String(i21156[13], i20843[13], i20845[13], a49022[13]))) → JMP40088'(java.lang.Object(ARRAY(i2[13], a47355data[13])), i20225[13] + 1, i20355[13])

(0) -> (1), if ((i20225[0] →^* i20225[1])∧(i20355[0] →^* i20355[1])∧(java.lang.Object(ARRAY(i2[0], a47355data[0])) →^* java.lang.Object(ARRAY(i2[1], a47355data[1]))))

(1) -> (2), if ((i20225[1] > 0 && i20225[1] < i2[1] && i20355[1] > 0 && i20225[1] + 1 > 0 →^* TRUE)∧(java.lang.Object(ARRAY(i2[1], a47355data[1])) →^* java.lang.Object(ARRAY(i2[2], a47355data[2])))∧(i20355[1] →^* i20355[2])∧(i20225[1] →^* i20225[2]))

(2) -> (7), if ((i20225[2] + 1 →^* i20581[7])∧(java.lang.Object(ARRAY(i2[2], a47355data[2])) →^* java.lang.Object(ARRAY(i2[7], a47355data[7])))∧(i20355[2] →^* i20355[7]))

(3) -> (7), if ((java.lang.Object(ARRAY(i2[3], a47355data[3])) →^* java.lang.Object(ARRAY(i2[7], a47355data[7])))∧(i20581[3] →^* i20581[7])∧(i20355[3] →^* i20355[7]))

(4) -> (5), if ((java.lang.Object(java.lang.String(i21156[4], i20843[4], i20845[4], a49022[4])) →^* java.lang.Object(java.lang.String(i21156[5], i20843[5], i20845[5], a49022[5])))∧(i20355[4] →^* i20355[5])∧(i20225[4] →^* i20225[5])∧(java.lang.Object(ARRAY(i2[4], a47355data[4])) →^* java.lang.Object(ARRAY(i2[5], a47355data[5]))))

(5) -> (6), if ((i20355[5] →^* i20355[6])∧(i21156[5] > 0 && i20225[5] > 0 && i20225[5] < i2[5] && i20355[5] > 0 && i20225[5] + 1 > 0 →^* TRUE)∧(i20225[5] →^* i20225[6])∧(java.lang.Object(java.lang.String(i21156[5], i20843[5], i20845[5], a49022[5])) →^* java.lang.Object(java.lang.String(i21156[6], i20843[6], i20845[6], a49022[6])))∧(java.lang.Object(ARRAY(i2[5], a47355data[5])) →^* java.lang.Object(ARRAY(i2[6], a47355data[6]))))

(6) -> (7), if ((i20355[6] →^* i20355[7])∧(java.lang.Object(ARRAY(i2[6], a47355data[6])) →^* java.lang.Object(ARRAY(i2[7], a47355data[7])))∧(i20225[6] + 1 →^* i20581[7]))

(7) -> (0), if ((java.lang.Object(ARRAY(i2[7], a47355data[7])) →^* java.lang.Object(ARRAY(i2[0], a47355data[0])))∧(i20581[7] →^* i20225[0])∧(i20355[7] + -1 →^* i20355[0]))

(7) -> (4), if ((i20355[7] + -1 →^* i20355[4])∧(java.lang.Object(ARRAY(i2[7], a47355data[7])) →^* java.lang.Object(ARRAY(i2[4], a47355data[4])))∧(i20581[7] →^* i20225[4]))

(7) -> (8), if ((i20355[7] + -1 →^* i20355[8])∧(i20581[7] →^* i20225[8])∧(java.lang.Object(ARRAY(i2[7], a47355data[7])) →^* java.lang.Object(ARRAY(i2[8], a47355data[8]))))

(7) -> (11), if ((java.lang.Object(ARRAY(i2[7], a47355data[7])) →^* java.lang.Object(ARRAY(i2[11], a47355data[11])))∧(i20581[7] →^* i20225[11])∧(i20355[7] + -1 →^* i20355[11]))

(8) -> (9), if ((i20225[8] →^* i20225[9])∧(java.lang.Object(ARRAY(i2[8], a47355data[8])) →^* java.lang.Object(ARRAY(i2[9], a47355data[9])))∧(i20355[8] →^* i20355[9]))

(9) -> (10), if ((i20225[9] > 0 && i20225[9] < i2[9] && i20355[9] > 0 && i20225[9] + 1 > 0 →^* TRUE)∧(i20355[9] →^* i20355[10])∧(java.lang.Object(ARRAY(i2[9], a47355data[9])) →^* java.lang.Object(ARRAY(i2[10], a47355data[10])))∧(i20225[9] →^* i20225[10]))

(10) -> (0), if ((java.lang.Object(ARRAY(i2[10], a47355data[10])) →^* java.lang.Object(ARRAY(i2[0], a47355data[0])))∧(i20355[10] + -1 →^* i20355[0])∧(i20225[10] + 1 →^* i20225[0]))

(10) -> (4), if ((i20225[10] + 1 →^* i20225[4])∧(java.lang.Object(ARRAY(i2[10], a47355data[10])) →^* java.lang.Object(ARRAY(i2[4], a47355data[4])))∧(i20355[10] + -1 →^* i20355[4]))

(10) -> (8), if ((i20355[10] + -1 →^* i20355[8])∧(i20225[10] + 1 →^* i20225[8])∧(java.lang.Object(ARRAY(i2[10], a47355data[10])) →^* java.lang.Object(ARRAY(i2[8], a47355data[8]))))

(10) -> (11), if ((i20355[10] + -1 →^* i20355[11])∧(i20225[10] + 1 →^* i20225[11])∧(java.lang.Object(ARRAY(i2[10], a47355data[10])) →^* java.lang.Object(ARRAY(i2[11], a47355data[11]))))

(11) -> (12), if ((i20355[11] →^* i20355[12])∧(java.lang.Object(ARRAY(i2[11], a47355data[11])) →^* java.lang.Object(ARRAY(i2[12], a47355data[12])))∧(java.lang.Object(java.lang.String(i21156[11], i20843[11], i20845[11], a49022[11])) →^* java.lang.Object(java.lang.String(i21156[12], i20843[12], i20845[12], a49022[12])))∧(i20225[11] →^* i20225[12]))

(12) -> (13), if ((i21156[12] > 0 && i20225[12] > 0 && i20225[12] < i2[12] && i20355[12] > 0 && i20225[12] + 1 > 0 →^* TRUE)∧(i20225[12] →^* i20225[13])∧(java.lang.Object(ARRAY(i2[12], a47355data[12])) →^* java.lang.Object(ARRAY(i2[13], a47355data[13])))∧(java.lang.Object(java.lang.String(i21156[12], i20843[12], i20845[12], a49022[12])) →^* java.lang.Object(java.lang.String(i21156[13], i20843[13], i20845[13], a49022[13])))∧(i20355[12] →^* i20355[13]))

(13) -> (3), if ((i20355[13] →^* i20355[3])∧(i20225[13] + 1 →^* i20581[3])∧(java.lang.Object(ARRAY(i2[13], a47355data[13])) →^* java.lang.Object(ARRAY(i2[3], a47355data[3]))))

The set Q consists of the following terms:
Load36231(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load36231ARR1(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Cond_Load36231ARR1(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3)
JMP40088(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load36231ARR2(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Cond_Load36231ARR2(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Inc40003(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load36231ARR3(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Cond_Load36231ARR3(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load36231ARR5(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Cond_Load36231ARR5(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))

(39) 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.

(40) Obligation:

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

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

The following domains are used:

Boolean, Integer

R is empty.

The integer pair graph contains the following rules and edges:
(0): LOAD36231(java.lang.Object(ARRAY(i2[0], a47355data[0])), i20225[0], i20355[0]) → LOAD36231ARR1(java.lang.Object(ARRAY(i2[0], a47355data[0])), i20225[0], i20355[0])
(1): LOAD36231ARR1(java.lang.Object(ARRAY(i2[1], a47355data[1])), i20225[1], i20355[1]) → COND_LOAD36231ARR1(i20225[1] > 0 && i20225[1] < i2[1] && i20355[1] > 0 && i20225[1] + 1 > 0, java.lang.Object(ARRAY(i2[1], a47355data[1])), i20225[1], i20355[1])
(2): COND_LOAD36231ARR1(TRUE, java.lang.Object(ARRAY(i2[2], a47355data[2])), i20225[2], i20355[2]) → INC40003(java.lang.Object(ARRAY(i2[2], a47355data[2])), i20225[2] + 1, i20355[2])
(3): JMP40088'(java.lang.Object(ARRAY(i2[3], a47355data[3])), i20581[3], i20355[3]) → INC40003(java.lang.Object(ARRAY(i2[3], a47355data[3])), i20581[3], i20355[3])
(4): LOAD36231(java.lang.Object(ARRAY(i2[4], a47355data[4])), i20225[4], i20355[4]) → LOAD36231ARR2(java.lang.Object(ARRAY(i2[4], a47355data[4])), i20225[4], i20355[4], java.lang.Object(java.lang.String(i21156[4], i20843[4], i20845[4], a49022[4])))
(5): LOAD36231ARR2(java.lang.Object(ARRAY(i2[5], a47355data[5])), i20225[5], i20355[5], java.lang.Object(java.lang.String(i21156[5], i20843[5], i20845[5], a49022[5]))) → COND_LOAD36231ARR2(i21156[5] > 0 && i20225[5] > 0 && i20225[5] < i2[5] && i20355[5] > 0 && i20225[5] + 1 > 0, java.lang.Object(ARRAY(i2[5], a47355data[5])), i20225[5], i20355[5], java.lang.Object(java.lang.String(i21156[5], i20843[5], i20845[5], a49022[5])))
(6): COND_LOAD36231ARR2(TRUE, java.lang.Object(ARRAY(i2[6], a47355data[6])), i20225[6], i20355[6], java.lang.Object(java.lang.String(i21156[6], i20843[6], i20845[6], a49022[6]))) → INC40003(java.lang.Object(ARRAY(i2[6], a47355data[6])), i20225[6] + 1, i20355[6])
(7): INC40003(java.lang.Object(ARRAY(i2[7], a47355data[7])), i20581[7], i20355[7]) → LOAD36231(java.lang.Object(ARRAY(i2[7], a47355data[7])), i20581[7], i20355[7] + -1)
(8): LOAD36231(java.lang.Object(ARRAY(i2[8], a47355data[8])), i20225[8], i20355[8]) → LOAD36231ARR3(java.lang.Object(ARRAY(i2[8], a47355data[8])), i20225[8], i20355[8])
(9): LOAD36231ARR3(java.lang.Object(ARRAY(i2[9], a47355data[9])), i20225[9], i20355[9]) → COND_LOAD36231ARR3(i20225[9] > 0 && i20225[9] < i2[9] && i20355[9] > 0 && i20225[9] + 1 > 0, java.lang.Object(ARRAY(i2[9], a47355data[9])), i20225[9], i20355[9])
(10): COND_LOAD36231ARR3(TRUE, java.lang.Object(ARRAY(i2[10], a47355data[10])), i20225[10], i20355[10]) → LOAD36231(java.lang.Object(ARRAY(i2[10], a47355data[10])), i20225[10] + 1, i20355[10] + -1)
(11): LOAD36231(java.lang.Object(ARRAY(i2[11], a47355data[11])), i20225[11], i20355[11]) → LOAD36231ARR5(java.lang.Object(ARRAY(i2[11], a47355data[11])), i20225[11], i20355[11], java.lang.Object(java.lang.String(i21156[11], i20843[11], i20845[11], a49022[11])))
(12): LOAD36231ARR5(java.lang.Object(ARRAY(i2[12], a47355data[12])), i20225[12], i20355[12], java.lang.Object(java.lang.String(i21156[12], i20843[12], i20845[12], a49022[12]))) → COND_LOAD36231ARR5(i21156[12] > 0 && i20225[12] > 0 && i20225[12] < i2[12] && i20355[12] > 0 && i20225[12] + 1 > 0, java.lang.Object(ARRAY(i2[12], a47355data[12])), i20225[12], i20355[12], java.lang.Object(java.lang.String(i21156[12], i20843[12], i20845[12], a49022[12])))
(13): COND_LOAD36231ARR5(TRUE, java.lang.Object(ARRAY(i2[13], a47355data[13])), i20225[13], i20355[13], java.lang.Object(java.lang.String(i21156[13], i20843[13], i20845[13], a49022[13]))) → JMP40088'(java.lang.Object(ARRAY(i2[13], a47355data[13])), i20225[13] + 1, i20355[13])