Termination proof of /tmp/tmpvjsEQ9/Flatten.jar

Termination of the given JBC could be proven:

0 JBC

↳1 JBC2FIG (⇐)

↳2 FIGraph

↳3 FIGtoITRSProof (⇐)

↳4 AND

    ↳5 ITRS

        ↳6 ITRStoQTRSProof (⇔)

        ↳7 QTRS

        ↳8 QTRSRRRProof (⇔)

        ↳9 QTRS

        ↳10 RisEmptyProof (⇔)

        ↳11 TRUE

    ↳12 ITRS

        ↳13 DuplicateArgsRemoverProof (⇔)

        ↳14 ITRS

        ↳15 ITRSFilterProcessorProof (⇐)

        ↳16 ITRS

        ↳17 ITRSFSMergerProof (⇐)

        ↳18 ITRS

        ↳19 ITRStoIDPProof (⇔)

        ↳20 IDP

        ↳21 UsableRulesProof (⇔)

        ↳22 IDP

        ↳23 ItpfGraphProof (⇔)

        ↳24 IDP

        ↳25 IDPNonInfProof (⇐)

        ↳26 AND

            ↳27 IDP

                ↳28 IDependencyGraphProof (⇔)

                ↳29 TRUE

            ↳30 IDP

                ↳31 IDependencyGraphProof (⇔)

                ↳32 IDP

                ↳33 IDPNonInfProof (⇐)

                ↳34 AND

                    ↳35 IDP

                        ↳36 IDependencyGraphProof (⇔)

                        ↳37 TRUE

                    ↳38 IDP

                        ↳39 IDependencyGraphProof (⇔)

                        ↳40 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: Flatten

(1) JBC2FIG (SOUND transformation)

Constructed FIGraph.

(2) Obligation:

FIGraph based on JBC Program:
Graph of 561 nodes with 2 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:
Load3335(java.lang.Object(TreeList(o2613, java.lang.Object(Tree(o2937, o2938, o2939)))), java.lang.Object(TreeList(o2613, java.lang.Object(Tree(o2937, o2938, o2939))))) → New4903(java.lang.Object(TreeList(o2613, java.lang.Object(Tree(o2937, o2938, o2939)))), o2613, java.lang.Object(Tree(o2937, o2938, o2939)))
JMP3745(o2574, o2609) → Load3335(o2574, o2609)
Load3335(o2574, java.lang.Object(TreeList(o2609, NULL))) → Load3335(o2574, o2609)
New4903(o2574, o2609, java.lang.Object(Tree(o2920, o2921, o2922))) → JMP3745(o2574, java.lang.Object(TreeList(java.lang.Object(TreeList(o2609, o2920)), o2921)))
Load3335(o2574, java.lang.Object(TreeList(o2609, java.lang.Object(Tree(o2920, o2921, o2922))))) → JMP3745(o2574, java.lang.Object(TreeList(java.lang.Object(TreeList(o2609, o2920)), o2921)))
Load3335(java.lang.Object(TreeList(o2613, NULL)), java.lang.Object(TreeList(o2613, NULL))) → JMP3745(java.lang.Object(TreeList(o2613, NULL)), o2613)
The set Q consists of the following terms:
JMP3745(x0, x1)
Load3335(x0, java.lang.Object(TreeList(x1, NULL)))
New4903(x0, x1, java.lang.Object(Tree(x2, x3, x4)))
Load3335(x0, java.lang.Object(TreeList(x1, java.lang.Object(Tree(x2, x3, x4)))))

(6) ITRStoQTRSProof (EQUIVALENT transformation)

Represented integers and predefined function symbols by Terms

(7) Obligation:

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

Load3335(java.lang.Object(TreeList(o2613, java.lang.Object(Tree(o2937, o2938, o2939)))), java.lang.Object(TreeList(o2613, java.lang.Object(Tree(o2937, o2938, o2939))))) → New4903(java.lang.Object(TreeList(o2613, java.lang.Object(Tree(o2937, o2938, o2939)))), o2613, java.lang.Object(Tree(o2937, o2938, o2939)))
JMP3745(o2574, o2609) → Load3335(o2574, o2609)
Load3335(o2574, java.lang.Object(TreeList(o2609, NULL))) → Load3335(o2574, o2609)
New4903(o2574, o2609, java.lang.Object(Tree(o2920, o2921, o2922))) → JMP3745(o2574, java.lang.Object(TreeList(java.lang.Object(TreeList(o2609, o2920)), o2921)))
Load3335(o2574, java.lang.Object(TreeList(o2609, java.lang.Object(Tree(o2920, o2921, o2922))))) → JMP3745(o2574, java.lang.Object(TreeList(java.lang.Object(TreeList(o2609, o2920)), o2921)))
Load3335(java.lang.Object(TreeList(o2613, NULL)), java.lang.Object(TreeList(o2613, NULL))) → JMP3745(java.lang.Object(TreeList(o2613, NULL)), o2613)

The set Q consists of the following terms:

JMP3745(x0, x1)
Load3335(x0, java.lang.Object(TreeList(x1, NULL)))
New4903(x0, x1, java.lang.Object(Tree(x2, x3, x4)))
Load3335(x0, java.lang.Object(TreeList(x1, java.lang.Object(Tree(x2, x3, x4)))))

(8) QTRSRRRProof (EQUIVALENT transformation)

Used ordering:
Polynomial interpretation [POLO]:

POL(JMP3745(x₁, x₂)) = 1 + x₁ + x₂
POL(Load3335(x₁, x₂)) = x₁ + x₂
POL(NULL) = 1
POL(New4903(x₁, x₂, x₃)) = x₁ + x₂ + x₃
POL(Tree(x₁, x₂, x₃)) = 3 + x₁ + x₂ + x₃
POL(TreeList(x₁, x₂)) = x₁ + x₂
POL(java.lang.Object(x₁)) = 1 + x₁

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

Load3335(java.lang.Object(TreeList(o2613, java.lang.Object(Tree(o2937, o2938, o2939)))), java.lang.Object(TreeList(o2613, java.lang.Object(Tree(o2937, o2938, o2939))))) → New4903(java.lang.Object(TreeList(o2613, java.lang.Object(Tree(o2937, o2938, o2939)))), o2613, java.lang.Object(Tree(o2937, o2938, o2939)))
JMP3745(o2574, o2609) → Load3335(o2574, o2609)
Load3335(o2574, java.lang.Object(TreeList(o2609, NULL))) → Load3335(o2574, o2609)
New4903(o2574, o2609, java.lang.Object(Tree(o2920, o2921, o2922))) → JMP3745(o2574, java.lang.Object(TreeList(java.lang.Object(TreeList(o2609, o2920)), o2921)))
Load3335(o2574, java.lang.Object(TreeList(o2609, java.lang.Object(Tree(o2920, o2921, o2922))))) → JMP3745(o2574, java.lang.Object(TreeList(java.lang.Object(TreeList(o2609, o2920)), o2921)))
Load3335(java.lang.Object(TreeList(o2613, NULL)), java.lang.Object(TreeList(o2613, NULL))) → JMP3745(java.lang.Object(TreeList(o2613, NULL)), o2613)

(9) Obligation:

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

JMP3745(x0, x1)
Load3335(x0, java.lang.Object(TreeList(x1, NULL)))
New4903(x0, x1, java.lang.Object(Tree(x2, x3, x4)))
Load3335(x0, java.lang.Object(TreeList(x1, java.lang.Object(Tree(x2, x3, x4)))))

(10) RisEmptyProof (EQUIVALENT transformation)

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

(11) TRUE

(12) Obligation:

ITRS problem:

The following function symbols are pre-defined:

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

The TRS R consists of the following rules:
Load833(java.lang.Object(ARRAY(i3, a499data)), i52, i58) → Load833ARR1(java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(0, i82, i84, a627)))
Load833ARR1(java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(0, i82, i84, a627))) → Cond_Load833ARR1(i52 > 0 && i52 < i3 && i58 > 0 && i52 + 1 > 0, java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(0, i82, i84, a627)))
Cond_Load833ARR1(TRUE, java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(0, i82, i84, a627))) → Load833(java.lang.Object(ARRAY(i3, a499data)), i52 + 1, i58 + -1)
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, 0, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o8378Field0, o8378Field1, o8378Field2))) → Load833(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58 + -1)
Load833(java.lang.Object(ARRAY(i3, a499data)), i52, i58) → Load833ARR2(java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(i114, i82, i84, a627)))
Load833ARR2(java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(i114, i82, i84, a627))) → Cond_Load833ARR2(i114 > 0 && i52 > 0 && i52 < i3 && i58 > 0 && i52 + 1 > 0, java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(i114, i82, i84, a627)))
Cond_Load833ARR2(TRUE, java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(i114, i82, i84, a627))) → Load11943(java.lang.Object(ARRAY(i3, a499data)), i52 + 1, i58, i114, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))))
Inc14138(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9303Field0, o9303Field1, o9303Field2))) → Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563 + -1, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9303Field0, o9303Field1, o9303Field2)))
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9169, java.lang.Object(Tree(o9303Field0, o9303Field1, o9303Field2)), o9171))) → Load11943ARR3(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9169, java.lang.Object(Tree(o9303Field0, o9303Field1, o9303Field2)), o9171)), java.lang.Object(java.lang.String(0, i2744, i2746, a7628)))
Load11943ARR3(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9169, java.lang.Object(Tree(o9303Field0, o9303Field1, o9303Field2)), o9171)), java.lang.Object(java.lang.String(0, i2744, i2746, a7628))) → Cond_Load11943ARR3(i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9169, java.lang.Object(Tree(o9303Field0, o9303Field1, o9303Field2)), o9171)), java.lang.Object(java.lang.String(0, i2744, i2746, a7628)))
Cond_Load11943ARR3(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9169, java.lang.Object(Tree(o9303Field0, o9303Field1, o9303Field2)), o9171)), java.lang.Object(java.lang.String(0, i2744, i2746, a7628))) → Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563 + -1, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9303Field0, o9303Field1, o9303Field2)))
Inc16289(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC)))) → Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563 + -1, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))))
JMP16188(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC)))) → Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563 + -1, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))))
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9169, NULL, o9171))) → Load11943ARR4(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9169, NULL, o9171)), java.lang.Object(java.lang.String(0, i2744, i2746, a7628)))
Load11943ARR4(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9169, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o9171)), java.lang.Object(java.lang.String(0, i2744, i2746, a7628))) → Cond_Load11943ARR4(i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9169, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o9171)), java.lang.Object(java.lang.String(0, i2744, i2746, a7628)))
Cond_Load11943ARR4(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9169, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o9171)), java.lang.Object(java.lang.String(0, i2744, i2746, a7628))) → Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563 + -1, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))))
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, java.lang.Object(Tree(o9218Field0, o9218Field1, o9218Field2)), java.lang.Object(EOC))), java.lang.Object(Tree(o8375, java.lang.Object(Tree(o9218Field0, o9218Field1, o9218Field2)), java.lang.Object(EOC)))) → Load11943ARR5(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, java.lang.Object(Tree(o9218Field0, o9218Field1, o9218Field2)), java.lang.Object(EOC))), java.lang.Object(Tree(o8375, java.lang.Object(Tree(o9218Field0, o9218Field1, o9218Field2)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i2744, i2746, a7628)))
Load11943ARR5(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, java.lang.Object(Tree(o9218Field0, o9218Field1, o9218Field2)), java.lang.Object(EOC))), java.lang.Object(Tree(o8375, java.lang.Object(Tree(o9218Field0, o9218Field1, o9218Field2)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i2744, i2746, a7628))) → Cond_Load11943ARR5(i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, java.lang.Object(Tree(o9218Field0, o9218Field1, o9218Field2)), java.lang.Object(EOC))), java.lang.Object(Tree(o8375, java.lang.Object(Tree(o9218Field0, o9218Field1, o9218Field2)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i2744, i2746, a7628)))
Cond_Load11943ARR5(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, java.lang.Object(Tree(o9218Field0, o9218Field1, o9218Field2)), java.lang.Object(EOC))), java.lang.Object(Tree(o8375, java.lang.Object(Tree(o9218Field0, o9218Field1, o9218Field2)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i2744, i2746, a7628))) → Inc14138(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563, java.lang.Object(Tree(o8375, java.lang.Object(Tree(o9218Field0, o9218Field1, o9218Field2)), java.lang.Object(EOC))), java.lang.Object(Tree(o9218Field0, o9218Field1, o9218Field2)))
JMP14222(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9320Field0, o9320Field1, o9320Field2))) → Inc14138(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9320Field0, o9320Field1, o9320Field2)))
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o9320Field0, o9320Field1, o9320Field2)), o9177, o9178))) → Load11943ARR6(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o9320Field0, o9320Field1, o9320Field2)), o9177, o9178)), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Load11943ARR6(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o9320Field0, o9320Field1, o9320Field2)), o9177, o9178)), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Cond_Load11943ARR6(i2854 > 0 && i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o9320Field0, o9320Field1, o9320Field2)), o9177, o9178)), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Cond_Load11943ARR6(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o9320Field0, o9320Field1, o9320Field2)), o9177, o9178)), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Inc14138(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9320Field0, o9320Field1, o9320Field2)))
JMP16239(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC)))) → Inc16289(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))))
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(NULL, o9177, o9178))) → Load11943ARR7(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(NULL, o9177, o9178)), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Load11943ARR7(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o9177, o9178)), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Cond_Load11943ARR7(i2854 > 0 && i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o9177, o9178)), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Cond_Load11943ARR7(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o9177, o9178)), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Inc16289(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))))
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, NULL, java.lang.Object(EOC))), java.lang.Object(Tree(o8375, NULL, java.lang.Object(EOC)))) → Load11943ARR8(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, NULL, java.lang.Object(EOC))), java.lang.Object(Tree(o8375, NULL, java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i2744, i2746, a7628)))
Load11943ARR8(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(Tree(o8375, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i2744, i2746, a7628))) → Cond_Load11943ARR8(i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(Tree(o8375, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i2744, i2746, a7628)))
Cond_Load11943ARR8(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(Tree(o8375, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i2744, i2746, a7628))) → JMP16188(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563, java.lang.Object(Tree(o8375, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(Tree(o8375, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))))
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(java.lang.Object(Tree(o9265Field0, o9265Field1, o9265Field2)), o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o9265Field0, o9265Field1, o9265Field2)), o8376, java.lang.Object(EOC)))) → Load11943ARR9(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(java.lang.Object(Tree(o9265Field0, o9265Field1, o9265Field2)), o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o9265Field0, o9265Field1, o9265Field2)), o8376, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Load11943ARR9(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(java.lang.Object(Tree(o9265Field0, o9265Field1, o9265Field2)), o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o9265Field0, o9265Field1, o9265Field2)), o8376, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Cond_Load11943ARR9(i2854 > 0 && i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(java.lang.Object(Tree(o9265Field0, o9265Field1, o9265Field2)), o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o9265Field0, o9265Field1, o9265Field2)), o8376, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Cond_Load11943ARR9(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(java.lang.Object(Tree(o9265Field0, o9265Field1, o9265Field2)), o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o9265Field0, o9265Field1, o9265Field2)), o8376, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → JMP14222(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563, java.lang.Object(Tree(java.lang.Object(Tree(o9265Field0, o9265Field1, o9265Field2)), o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9265Field0, o9265Field1, o9265Field2)))
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(NULL, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(NULL, o8376, java.lang.Object(EOC)))) → Load11943ARR10(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(NULL, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(NULL, o8376, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Load11943ARR10(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o8376, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Cond_Load11943ARR10(i2854 > 0 && i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o8376, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Cond_Load11943ARR10(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o8376, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → JMP16239(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o8376, java.lang.Object(EOC))))
The set Q consists of the following terms:
Load833(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load833ARR1(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(0, x4, x5, x6)))
Cond_Load833ARR1(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(0, x4, x5, x6)))
Load11943(java.lang.Object(ARRAY(x0, x1)), x2, x3, 0, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x6, x7, x8)))
Load833ARR2(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Cond_Load833ARR2(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Inc14138(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(x7, x8, x9)))
Load11943(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(x7, java.lang.Object(Tree(x8, x9, x10)), x11)))
Load11943ARR3(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(x7, java.lang.Object(Tree(x8, x9, x10)), x11)), java.lang.Object(java.lang.String(0, x12, x13, x14)))
Cond_Load11943ARR3(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(x7, java.lang.Object(Tree(x8, x9, x10)), x11)), java.lang.Object(java.lang.String(0, x12, x13, x14)))
Inc16289(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))))
JMP16188(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))))
Load11943(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(x7, NULL, x8)))
Load11943ARR4(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(x7, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x8)), java.lang.Object(java.lang.String(0, x9, x10, x11)))
Cond_Load11943ARR4(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(x7, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x8)), java.lang.Object(java.lang.String(0, x9, x10, x11)))
Load11943ARR5(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, java.lang.Object(Tree(x6, x7, x8)), java.lang.Object(EOC))), java.lang.Object(Tree(x5, java.lang.Object(Tree(x6, x7, x8)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, x9, x10, x11)))
Cond_Load11943ARR5(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, java.lang.Object(Tree(x6, x7, x8)), java.lang.Object(EOC))), java.lang.Object(Tree(x5, java.lang.Object(Tree(x6, x7, x8)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, x9, x10, x11)))
JMP14222(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(x7, x8, x9)))
Load11943(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(x7, x8, x9)), x10, x11)))
Load11943ARR6(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(x7, x8, x9)), x10, x11)), java.lang.Object(java.lang.String(x12, x13, x14, x15)))
Cond_Load11943ARR6(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(x7, x8, x9)), x10, x11)), java.lang.Object(java.lang.String(x12, x13, x14, x15)))
JMP16239(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))))
Load11943(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(NULL, x7, x8)))
Load11943ARR7(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x7, x8)), java.lang.Object(java.lang.String(x9, x10, x11, x12)))
Cond_Load11943ARR7(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x7, x8)), java.lang.Object(java.lang.String(x9, x10, x11, x12)))
Load11943ARR8(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(Tree(x5, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, x6, x7, x8)))
Cond_Load11943ARR8(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(Tree(x5, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, x6, x7, x8)))
Load11943ARR9(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(java.lang.Object(Tree(x5, x6, x7)), x8, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(x5, x6, x7)), x8, java.lang.Object(EOC))), java.lang.Object(java.lang.String(x9, x10, x11, x12)))
Cond_Load11943ARR9(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(java.lang.Object(Tree(x5, x6, x7)), x8, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(x5, x6, x7)), x8, java.lang.Object(EOC))), java.lang.Object(java.lang.String(x9, x10, x11, x12)))
Load11943ARR10(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x5, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x5, java.lang.Object(EOC))), java.lang.Object(java.lang.String(x6, x7, x8, x9)))
Cond_Load11943ARR10(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x5, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x5, java.lang.Object(EOC))), java.lang.Object(java.lang.String(x6, x7, x8, x9)))

(13) DuplicateArgsRemoverProof (EQUIVALENT transformation)

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

JMP16239(x1, x2, x3, x4, x5, x6) → JMP16239(x1, x2, x3, x4, x6)
Cond_Load11943ARR10(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_Load11943ARR10(x1, x2, x3, x4, x5, x7, x8)
Load11943ARR10(x1, x2, x3, x4, x5, x6, x7) → Load11943ARR10(x1, x2, x3, x4, x6, x7)
Cond_Load11943ARR9(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_Load11943ARR9(x1, x2, x3, x4, x5, x7, x8)
Load11943ARR9(x1, x2, x3, x4, x5, x6, x7) → Load11943ARR9(x1, x2, x3, x4, x6, x7)
JMP16188(x1, x2, x3, x4, x5, x6) → JMP16188(x1, x2, x3, x4, x6)
Cond_Load11943ARR8(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_Load11943ARR8(x1, x2, x3, x4, x5, x7, x8)
Load11943ARR8(x1, x2, x3, x4, x5, x6, x7) → Load11943ARR8(x1, x2, x3, x4, x6, x7)
Inc16289(x1, x2, x3, x4, x5, x6) → Inc16289(x1, x2, x3, x4, x6)
Cond_Load11943ARR5(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_Load11943ARR5(x1, x2, x3, x4, x5, x7, x8)
Load11943ARR5(x1, x2, x3, x4, x5, x6, x7) → Load11943ARR5(x1, x2, x3, x4, x6, x7)

(14) Obligation:

ITRS problem:

The following function symbols are pre-defined:

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

The TRS R consists of the following rules:
Load833(java.lang.Object(ARRAY(i3, a499data)), i52, i58) → Load833ARR1(java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(0, i82, i84, a627)))
Load833ARR1(java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(0, i82, i84, a627))) → Cond_Load833ARR1(i52 > 0 && i52 < i3 && i58 > 0 && i52 + 1 > 0, java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(0, i82, i84, a627)))
Cond_Load833ARR1(TRUE, java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(0, i82, i84, a627))) → Load833(java.lang.Object(ARRAY(i3, a499data)), i52 + 1, i58 + -1)
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, 0, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o8378Field0, o8378Field1, o8378Field2))) → Load833(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58 + -1)
Load833(java.lang.Object(ARRAY(i3, a499data)), i52, i58) → Load833ARR2(java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(i114, i82, i84, a627)))
Load833ARR2(java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(i114, i82, i84, a627))) → Cond_Load833ARR2(i114 > 0 && i52 > 0 && i52 < i3 && i58 > 0 && i52 + 1 > 0, java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(i114, i82, i84, a627)))
Cond_Load833ARR2(TRUE, java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(i114, i82, i84, a627))) → Load11943(java.lang.Object(ARRAY(i3, a499data)), i52 + 1, i58, i114, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))))
Inc14138(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9303Field0, o9303Field1, o9303Field2))) → Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563 + -1, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9303Field0, o9303Field1, o9303Field2)))
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9169, java.lang.Object(Tree(o9303Field0, o9303Field1, o9303Field2)), o9171))) → Load11943ARR3(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9169, java.lang.Object(Tree(o9303Field0, o9303Field1, o9303Field2)), o9171)), java.lang.Object(java.lang.String(0, i2744, i2746, a7628)))
Load11943ARR3(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9169, java.lang.Object(Tree(o9303Field0, o9303Field1, o9303Field2)), o9171)), java.lang.Object(java.lang.String(0, i2744, i2746, a7628))) → Cond_Load11943ARR3(i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9169, java.lang.Object(Tree(o9303Field0, o9303Field1, o9303Field2)), o9171)), java.lang.Object(java.lang.String(0, i2744, i2746, a7628)))
Cond_Load11943ARR3(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9169, java.lang.Object(Tree(o9303Field0, o9303Field1, o9303Field2)), o9171)), java.lang.Object(java.lang.String(0, i2744, i2746, a7628))) → Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563 + -1, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9303Field0, o9303Field1, o9303Field2)))
Inc16289(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC)))) → Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563 + -1, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))))
JMP16188(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC)))) → Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563 + -1, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))))
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9169, NULL, o9171))) → Load11943ARR4(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9169, NULL, o9171)), java.lang.Object(java.lang.String(0, i2744, i2746, a7628)))
Load11943ARR4(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9169, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o9171)), java.lang.Object(java.lang.String(0, i2744, i2746, a7628))) → Cond_Load11943ARR4(i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9169, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o9171)), java.lang.Object(java.lang.String(0, i2744, i2746, a7628)))
Cond_Load11943ARR4(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9169, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o9171)), java.lang.Object(java.lang.String(0, i2744, i2746, a7628))) → Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563 + -1, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))))
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, java.lang.Object(Tree(o9218Field0, o9218Field1, o9218Field2)), java.lang.Object(EOC))), java.lang.Object(Tree(o8375, java.lang.Object(Tree(o9218Field0, o9218Field1, o9218Field2)), java.lang.Object(EOC)))) → Load11943ARR5(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, java.lang.Object(Tree(o9218Field0, o9218Field1, o9218Field2)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i2744, i2746, a7628)))
Load11943ARR5(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, java.lang.Object(Tree(o9218Field0, o9218Field1, o9218Field2)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i2744, i2746, a7628))) → Cond_Load11943ARR5(i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, java.lang.Object(Tree(o9218Field0, o9218Field1, o9218Field2)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i2744, i2746, a7628)))
Cond_Load11943ARR5(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, java.lang.Object(Tree(o9218Field0, o9218Field1, o9218Field2)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i2744, i2746, a7628))) → Inc14138(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563, java.lang.Object(Tree(o8375, java.lang.Object(Tree(o9218Field0, o9218Field1, o9218Field2)), java.lang.Object(EOC))), java.lang.Object(Tree(o9218Field0, o9218Field1, o9218Field2)))
JMP14222(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9320Field0, o9320Field1, o9320Field2))) → Inc14138(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9320Field0, o9320Field1, o9320Field2)))
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o9320Field0, o9320Field1, o9320Field2)), o9177, o9178))) → Load11943ARR6(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o9320Field0, o9320Field1, o9320Field2)), o9177, o9178)), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Load11943ARR6(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o9320Field0, o9320Field1, o9320Field2)), o9177, o9178)), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Cond_Load11943ARR6(i2854 > 0 && i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o9320Field0, o9320Field1, o9320Field2)), o9177, o9178)), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Cond_Load11943ARR6(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o9320Field0, o9320Field1, o9320Field2)), o9177, o9178)), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Inc14138(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9320Field0, o9320Field1, o9320Field2)))
JMP16239(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC)))) → Inc16289(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))))
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(NULL, o9177, o9178))) → Load11943ARR7(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(NULL, o9177, o9178)), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Load11943ARR7(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o9177, o9178)), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Cond_Load11943ARR7(i2854 > 0 && i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o9177, o9178)), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Cond_Load11943ARR7(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o9177, o9178)), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Inc16289(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563, java.lang.Object(Tree(o8375, o8376, java.lang.Object(EOC))))
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, NULL, java.lang.Object(EOC))), java.lang.Object(Tree(o8375, NULL, java.lang.Object(EOC)))) → Load11943ARR8(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, NULL, java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i2744, i2746, a7628)))
Load11943ARR8(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i2744, i2746, a7628))) → Cond_Load11943ARR8(i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i2744, i2746, a7628)))
Cond_Load11943ARR8(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(o8375, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, i2744, i2746, a7628))) → JMP16188(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563, java.lang.Object(Tree(o8375, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))))
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(java.lang.Object(Tree(o9265Field0, o9265Field1, o9265Field2)), o8376, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(o9265Field0, o9265Field1, o9265Field2)), o8376, java.lang.Object(EOC)))) → Load11943ARR9(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(java.lang.Object(Tree(o9265Field0, o9265Field1, o9265Field2)), o8376, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Load11943ARR9(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(java.lang.Object(Tree(o9265Field0, o9265Field1, o9265Field2)), o8376, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Cond_Load11943ARR9(i2854 > 0 && i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(java.lang.Object(Tree(o9265Field0, o9265Field1, o9265Field2)), o8376, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Cond_Load11943ARR9(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(java.lang.Object(Tree(o9265Field0, o9265Field1, o9265Field2)), o8376, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → JMP14222(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563, java.lang.Object(Tree(java.lang.Object(Tree(o9265Field0, o9265Field1, o9265Field2)), o8376, java.lang.Object(EOC))), java.lang.Object(Tree(o9265Field0, o9265Field1, o9265Field2)))
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(NULL, o8376, java.lang.Object(EOC))), java.lang.Object(Tree(NULL, o8376, java.lang.Object(EOC)))) → Load11943ARR10(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(NULL, o8376, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Load11943ARR10(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o8376, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Cond_Load11943ARR10(i2854 > 0 && i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o8376, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Cond_Load11943ARR10(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o8376, java.lang.Object(EOC))), java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → JMP16239(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), o8376, java.lang.Object(EOC))))
The set Q consists of the following terms:
Load833(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load833ARR1(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(0, x4, x5, x6)))
Cond_Load833ARR1(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(0, x4, x5, x6)))
Load11943(java.lang.Object(ARRAY(x0, x1)), x2, x3, 0, java.lang.Object(Tree(x4, x5, java.lang.Object(EOC))), java.lang.Object(Tree(x6, x7, x8)))
Load833ARR2(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Cond_Load833ARR2(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Inc14138(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(x7, x8, x9)))
Load11943(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(x7, java.lang.Object(Tree(x8, x9, x10)), x11)))
Load11943ARR3(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(x7, java.lang.Object(Tree(x8, x9, x10)), x11)), java.lang.Object(java.lang.String(0, x12, x13, x14)))
Cond_Load11943ARR3(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(x7, java.lang.Object(Tree(x8, x9, x10)), x11)), java.lang.Object(java.lang.String(0, x12, x13, x14)))
Inc16289(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))))
JMP16188(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))))
Load11943(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(x7, NULL, x8)))
Load11943ARR4(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(x7, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x8)), java.lang.Object(java.lang.String(0, x9, x10, x11)))
Cond_Load11943ARR4(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(x7, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x8)), java.lang.Object(java.lang.String(0, x9, x10, x11)))
Load11943ARR5(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, java.lang.Object(Tree(x6, x7, x8)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, x9, x10, x11)))
Cond_Load11943ARR5(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, java.lang.Object(Tree(x6, x7, x8)), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, x9, x10, x11)))
JMP14222(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(x7, x8, x9)))
Load11943(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(x7, x8, x9)), x10, x11)))
Load11943ARR6(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(x7, x8, x9)), x10, x11)), java.lang.Object(java.lang.String(x12, x13, x14, x15)))
Cond_Load11943ARR6(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(x7, x8, x9)), x10, x11)), java.lang.Object(java.lang.String(x12, x13, x14, x15)))
JMP16239(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))))
Load11943(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(NULL, x7, x8)))
Load11943ARR7(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x7, x8)), java.lang.Object(java.lang.String(x9, x10, x11, x12)))
Cond_Load11943ARR7(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, java.lang.Object(EOC))), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x7, x8)), java.lang.Object(java.lang.String(x9, x10, x11, x12)))
Load11943ARR8(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, x6, x7, x8)))
Cond_Load11943ARR8(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), java.lang.Object(EOC))), java.lang.Object(java.lang.String(0, x6, x7, x8)))
Load11943ARR9(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(java.lang.Object(Tree(x5, x6, x7)), x8, java.lang.Object(EOC))), java.lang.Object(java.lang.String(x9, x10, x11, x12)))
Cond_Load11943ARR9(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(java.lang.Object(Tree(x5, x6, x7)), x8, java.lang.Object(EOC))), java.lang.Object(java.lang.String(x9, x10, x11, x12)))
Load11943ARR10(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x5, java.lang.Object(EOC))), java.lang.Object(java.lang.String(x6, x7, x8, x9)))
Cond_Load11943ARR10(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, java.lang.Object(EOC))), x5, java.lang.Object(EOC))), java.lang.Object(java.lang.String(x6, x7, x8, x9)))

(15) ITRSFilterProcessorProof (SOUND transformation)

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

Load833ARR1(x1, x2, x3, x4) → Load833ARR1(x1, x2, x3)
Cond_Load833ARR1(x1, x2, x3, x4, x5) → Cond_Load833ARR1(x1, x2, x3, x4)
Load11943(x1, x2, x3, x4, x5, x6) → Load11943(x1, x2, x3, x4)
Tree(x1, x2, x3) → Tree
Inc14138(x1, x2, x3, x4, x5, x6) → Inc14138(x1, x2, x3, x4)
Load11943ARR3(x1, x2, x3, x4, x5, x6, x7) → Load11943ARR3(x1, x2, x3, x4)
Cond_Load11943ARR3(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_Load11943ARR3(x1, x2, x3, x4, x5)
Inc16289(x1, x2, x3, x4, x5) → Inc16289(x1, x2, x3, x4)
JMP16188(x1, x2, x3, x4, x5) → JMP16188(x1, x2, x3, x4)
Load11943ARR4(x1, x2, x3, x4, x5, x6, x7) → Load11943ARR4(x1, x2, x3, x4)
Cond_Load11943ARR4(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_Load11943ARR4(x1, x2, x3, x4, x5)
Load11943ARR5(x1, x2, x3, x4, x5, x6) → Load11943ARR5(x1, x2, x3, x4)
Cond_Load11943ARR5(x1, x2, x3, x4, x5, x6, x7) → Cond_Load11943ARR5(x1, x2, x3, x4, x5)
JMP14222(x1, x2, x3, x4, x5, x6) → JMP14222(x1, x2, x3, x4)
Load11943ARR6(x1, x2, x3, x4, x5, x6, x7) → Load11943ARR6(x1, x2, x3, x4, x7)
Cond_Load11943ARR6(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_Load11943ARR6(x1, x2, x3, x4, x5, x8)
JMP16239(x1, x2, x3, x4, x5) → JMP16239(x1, x2, x3, x4)
Load11943ARR7(x1, x2, x3, x4, x5, x6, x7) → Load11943ARR7(x1, x2, x3, x4, x7)
Cond_Load11943ARR7(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_Load11943ARR7(x1, x2, x3, x4, x5, x8)
Load11943ARR8(x1, x2, x3, x4, x5, x6) → Load11943ARR8(x1, x2, x3, x4)
Cond_Load11943ARR8(x1, x2, x3, x4, x5, x6, x7) → Cond_Load11943ARR8(x1, x2, x3, x4, x5)
Load11943ARR9(x1, x2, x3, x4, x5, x6) → Load11943ARR9(x1, x2, x3, x4, x6)
Cond_Load11943ARR9(x1, x2, x3, x4, x5, x6, x7) → Cond_Load11943ARR9(x1, x2, x3, x4, x5, x7)
Load11943ARR10(x1, x2, x3, x4, x5, x6) → Load11943ARR10(x1, x2, x3, x4, x6)
Cond_Load11943ARR10(x1, x2, x3, x4, x5, x6, x7) → Cond_Load11943ARR10(x1, x2, x3, x4, x5, x7)

(16) 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:
Load833(java.lang.Object(ARRAY(i3, a499data)), i52, i58) → Load833ARR1(java.lang.Object(ARRAY(i3, a499data)), i52, i58)
Load833ARR1(java.lang.Object(ARRAY(i3, a499data)), i52, i58) → Cond_Load833ARR1(i52 > 0 && i52 < i3 && i58 > 0 && i52 + 1 > 0, java.lang.Object(ARRAY(i3, a499data)), i52, i58)
Cond_Load833ARR1(TRUE, java.lang.Object(ARRAY(i3, a499data)), i52, i58) → Load833(java.lang.Object(ARRAY(i3, a499data)), i52 + 1, i58 + -1)
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, 0) → Load833(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58 + -1)
Load833(java.lang.Object(ARRAY(i3, a499data)), i52, i58) → Load833ARR2(java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(i114, i82, i84, a627)))
Load833ARR2(java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(i114, i82, i84, a627))) → Cond_Load833ARR2(i114 > 0 && i52 > 0 && i52 < i3 && i58 > 0 && i52 + 1 > 0, java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(i114, i82, i84, a627)))
Cond_Load833ARR2(TRUE, java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(i114, i82, i84, a627))) → Load11943(java.lang.Object(ARRAY(i3, a499data)), i52 + 1, i58, i114)
Inc14138(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563) → Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563 + -1)
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Load11943ARR3(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563)
Load11943ARR3(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Cond_Load11943ARR3(i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563)
Cond_Load11943ARR3(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563 + -1)
Inc16289(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563) → Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563 + -1)
JMP16188(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563) → Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563 + -1)
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Load11943ARR4(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563)
Load11943ARR4(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Cond_Load11943ARR4(i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563)
Cond_Load11943ARR4(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563 + -1)
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Load11943ARR5(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563)
Load11943ARR5(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Cond_Load11943ARR5(i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563)
Cond_Load11943ARR5(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Inc14138(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563)
JMP14222(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563) → Inc14138(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563)
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Load11943ARR6(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Load11943ARR6(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Cond_Load11943ARR6(i2854 > 0 && i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Cond_Load11943ARR6(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Inc14138(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563)
JMP16239(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563) → Inc16289(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563)
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Load11943ARR7(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Load11943ARR7(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Cond_Load11943ARR7(i2854 > 0 && i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Cond_Load11943ARR7(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Inc16289(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563)
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Load11943ARR8(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563)
Load11943ARR8(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Cond_Load11943ARR8(i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563)
Cond_Load11943ARR8(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → JMP16188(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563)
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Load11943ARR9(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Load11943ARR9(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Cond_Load11943ARR9(i2854 > 0 && i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Cond_Load11943ARR9(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → JMP14222(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563)
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Load11943ARR10(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Load11943ARR10(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Cond_Load11943ARR10(i2854 > 0 && i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Cond_Load11943ARR10(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → JMP16239(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563)
The set Q consists of the following terms:
Load833(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load833ARR1(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Cond_Load833ARR1(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load833ARR2(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Cond_Load833ARR2(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Inc14138(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load11943(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load11943ARR3(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Cond_Load11943ARR3(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Inc16289(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
JMP16188(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load11943ARR4(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Cond_Load11943ARR4(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load11943ARR5(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Cond_Load11943ARR5(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
JMP14222(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load11943ARR6(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Cond_Load11943ARR6(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
JMP16239(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load11943ARR7(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Cond_Load11943ARR7(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Load11943ARR8(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Cond_Load11943ARR8(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load11943ARR9(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Cond_Load11943ARR9(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Load11943ARR10(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Cond_Load11943ARR10(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))

(17) ITRSFSMergerProof (SOUND transformation)

The following function symbols have been merged:

Inc14138, Inc16289, JMP16188	>	Inc14138_4
Load11943ARR3, Load11943ARR4	>	Load11943ARR3_4
Load11943ARR5, Load11943ARR8	>	Load11943ARR5_4
Cond_Load11943ARR3, Cond_Load11943ARR4	>	Cond_Load11943ARR3_5
Cond_Load11943ARR5, Cond_Load11943ARR8	>	Cond_Load11943ARR5_5
JMP14222, JMP16239	>	JMP14222_4
Load11943ARR6, Load11943ARR7	>	Load11943ARR6_5
Load11943ARR9, Load11943ARR10	>	Load11943ARR9_5
Cond_Load11943ARR9, Cond_Load11943ARR10	>	Cond_Load11943ARR9_6
Cond_Load11943ARR6, Cond_Load11943ARR7	>	Cond_Load11943ARR6_6

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

(19) ITRStoIDPProof (EQUIVALENT transformation)

Added dependency pairs

(20) 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:
Load833(java.lang.Object(ARRAY(i3, a499data)), i52, i58) → Load833ARR1(java.lang.Object(ARRAY(i3, a499data)), i52, i58)
Load833ARR1(java.lang.Object(ARRAY(i3, a499data)), i52, i58) → Cond_Load833ARR1(i52 > 0 && i52 < i3 && i58 > 0 && i52 + 1 > 0, java.lang.Object(ARRAY(i3, a499data)), i52, i58)
Cond_Load833ARR1(TRUE, java.lang.Object(ARRAY(i3, a499data)), i52, i58) → Load833(java.lang.Object(ARRAY(i3, a499data)), i52 + 1, i58 + -1)
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, 0) → Load833(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58 + -1)
Load833(java.lang.Object(ARRAY(i3, a499data)), i52, i58) → Load833ARR2(java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(i114, i82, i84, a627)))
Load833ARR2(java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(i114, i82, i84, a627))) → Cond_Load833ARR2(i114 > 0 && i52 > 0 && i52 < i3 && i58 > 0 && i52 + 1 > 0, java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(i114, i82, i84, a627)))
Cond_Load833ARR2(TRUE, java.lang.Object(ARRAY(i3, a499data)), i52, i58, java.lang.Object(java.lang.String(i114, i82, i84, a627))) → Load11943(java.lang.Object(ARRAY(i3, a499data)), i52 + 1, i58, i114)
Inc14138(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563) → Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563 + -1)
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Load11943ARR3(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563)
Load11943ARR3(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Cond_Load11943ARR3(i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563)
Cond_Load11943ARR3(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563 + -1)
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Load11943ARR5(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563)
Load11943ARR5(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Cond_Load11943ARR5(i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563)
Cond_Load11943ARR5(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Inc14138(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563)
JMP14222(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563) → Inc14138(java.lang.Object(ARRAY(i3, a7196data)), i2624, i58, i2563)
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Load11943ARR6(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Load11943ARR6(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Cond_Load11943ARR6(i2854 > 0 && i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Cond_Load11943ARR6(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Inc14138(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563)
Load11943(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563) → Load11943ARR9(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Load11943ARR9(java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → Cond_Load11943ARR9(i2854 > 0 && i2554 > 0 && i2554 < i3 && i2563 > 0 && i2554 + 1 > 0, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628)))
Cond_Load11943ARR9(TRUE, java.lang.Object(ARRAY(i3, a7196data)), i2554, i58, i2563, java.lang.Object(java.lang.String(i2854, i2744, i2746, a7628))) → JMP14222(java.lang.Object(ARRAY(i3, a7196data)), i2554 + 1, i58, i2563)

The integer pair graph contains the following rules and edges:
(0): LOAD833(java.lang.Object(ARRAY(i3[0], a499data[0])), i52[0], i58[0]) → LOAD833ARR1(java.lang.Object(ARRAY(i3[0], a499data[0])), i52[0], i58[0])
(1): LOAD833ARR1(java.lang.Object(ARRAY(i3[1], a499data[1])), i52[1], i58[1]) → COND_LOAD833ARR1(i52[1] > 0 && i52[1] < i3[1] && i58[1] > 0 && i52[1] + 1 > 0, java.lang.Object(ARRAY(i3[1], a499data[1])), i52[1], i58[1])
(2): COND_LOAD833ARR1(TRUE, java.lang.Object(ARRAY(i3[2], a499data[2])), i52[2], i58[2]) → LOAD833(java.lang.Object(ARRAY(i3[2], a499data[2])), i52[2] + 1, i58[2] + -1)
(3): LOAD11943(java.lang.Object(ARRAY(i3[3], a7196data[3])), i2554[3], i58[3], 0) → LOAD833(java.lang.Object(ARRAY(i3[3], a7196data[3])), i2554[3], i58[3] + -1)
(4): LOAD833(java.lang.Object(ARRAY(i3[4], a499data[4])), i52[4], i58[4]) → LOAD833ARR2(java.lang.Object(ARRAY(i3[4], a499data[4])), i52[4], i58[4], java.lang.Object(java.lang.String(i114[4], i82[4], i84[4], a627[4])))
(5): LOAD833ARR2(java.lang.Object(ARRAY(i3[5], a499data[5])), i52[5], i58[5], java.lang.Object(java.lang.String(i114[5], i82[5], i84[5], a627[5]))) → COND_LOAD833ARR2(i114[5] > 0 && i52[5] > 0 && i52[5] < i3[5] && i58[5] > 0 && i52[5] + 1 > 0, java.lang.Object(ARRAY(i3[5], a499data[5])), i52[5], i58[5], java.lang.Object(java.lang.String(i114[5], i82[5], i84[5], a627[5])))
(6): COND_LOAD833ARR2(TRUE, java.lang.Object(ARRAY(i3[6], a499data[6])), i52[6], i58[6], java.lang.Object(java.lang.String(i114[6], i82[6], i84[6], a627[6]))) → LOAD11943(java.lang.Object(ARRAY(i3[6], a499data[6])), i52[6] + 1, i58[6], i114[6])
(7): INC14138(java.lang.Object(ARRAY(i3[7], a7196data[7])), i2624[7], i58[7], i2563[7]) → LOAD11943(java.lang.Object(ARRAY(i3[7], a7196data[7])), i2624[7], i58[7], i2563[7] + -1)
(8): LOAD11943(java.lang.Object(ARRAY(i3[8], a7196data[8])), i2554[8], i58[8], i2563[8]) → LOAD11943ARR3(java.lang.Object(ARRAY(i3[8], a7196data[8])), i2554[8], i58[8], i2563[8])
(9): LOAD11943ARR3(java.lang.Object(ARRAY(i3[9], a7196data[9])), i2554[9], i58[9], i2563[9]) → COND_LOAD11943ARR3(i2554[9] > 0 && i2554[9] < i3[9] && i2563[9] > 0 && i2554[9] + 1 > 0, java.lang.Object(ARRAY(i3[9], a7196data[9])), i2554[9], i58[9], i2563[9])
(10): COND_LOAD11943ARR3(TRUE, java.lang.Object(ARRAY(i3[10], a7196data[10])), i2554[10], i58[10], i2563[10]) → LOAD11943(java.lang.Object(ARRAY(i3[10], a7196data[10])), i2554[10] + 1, i58[10], i2563[10] + -1)
(11): LOAD11943(java.lang.Object(ARRAY(i3[11], a7196data[11])), i2554[11], i58[11], i2563[11]) → LOAD11943ARR5(java.lang.Object(ARRAY(i3[11], a7196data[11])), i2554[11], i58[11], i2563[11])
(12): LOAD11943ARR5(java.lang.Object(ARRAY(i3[12], a7196data[12])), i2554[12], i58[12], i2563[12]) → COND_LOAD11943ARR5(i2554[12] > 0 && i2554[12] < i3[12] && i2563[12] > 0 && i2554[12] + 1 > 0, java.lang.Object(ARRAY(i3[12], a7196data[12])), i2554[12], i58[12], i2563[12])
(13): COND_LOAD11943ARR5(TRUE, java.lang.Object(ARRAY(i3[13], a7196data[13])), i2554[13], i58[13], i2563[13]) → INC14138(java.lang.Object(ARRAY(i3[13], a7196data[13])), i2554[13] + 1, i58[13], i2563[13])
(14): JMP14222'(java.lang.Object(ARRAY(i3[14], a7196data[14])), i2624[14], i58[14], i2563[14]) → INC14138(java.lang.Object(ARRAY(i3[14], a7196data[14])), i2624[14], i58[14], i2563[14])
(15): LOAD11943(java.lang.Object(ARRAY(i3[15], a7196data[15])), i2554[15], i58[15], i2563[15]) → LOAD11943ARR6(java.lang.Object(ARRAY(i3[15], a7196data[15])), i2554[15], i58[15], i2563[15], java.lang.Object(java.lang.String(i2854[15], i2744[15], i2746[15], a7628[15])))
(16): LOAD11943ARR6(java.lang.Object(ARRAY(i3[16], a7196data[16])), i2554[16], i58[16], i2563[16], java.lang.Object(java.lang.String(i2854[16], i2744[16], i2746[16], a7628[16]))) → COND_LOAD11943ARR6(i2854[16] > 0 && i2554[16] > 0 && i2554[16] < i3[16] && i2563[16] > 0 && i2554[16] + 1 > 0, java.lang.Object(ARRAY(i3[16], a7196data[16])), i2554[16], i58[16], i2563[16], java.lang.Object(java.lang.String(i2854[16], i2744[16], i2746[16], a7628[16])))
(17): COND_LOAD11943ARR6(TRUE, java.lang.Object(ARRAY(i3[17], a7196data[17])), i2554[17], i58[17], i2563[17], java.lang.Object(java.lang.String(i2854[17], i2744[17], i2746[17], a7628[17]))) → INC14138(java.lang.Object(ARRAY(i3[17], a7196data[17])), i2554[17] + 1, i58[17], i2563[17])
(18): LOAD11943(java.lang.Object(ARRAY(i3[18], a7196data[18])), i2554[18], i58[18], i2563[18]) → LOAD11943ARR9(java.lang.Object(ARRAY(i3[18], a7196data[18])), i2554[18], i58[18], i2563[18], java.lang.Object(java.lang.String(i2854[18], i2744[18], i2746[18], a7628[18])))
(19): LOAD11943ARR9(java.lang.Object(ARRAY(i3[19], a7196data[19])), i2554[19], i58[19], i2563[19], java.lang.Object(java.lang.String(i2854[19], i2744[19], i2746[19], a7628[19]))) → COND_LOAD11943ARR9(i2854[19] > 0 && i2554[19] > 0 && i2554[19] < i3[19] && i2563[19] > 0 && i2554[19] + 1 > 0, java.lang.Object(ARRAY(i3[19], a7196data[19])), i2554[19], i58[19], i2563[19], java.lang.Object(java.lang.String(i2854[19], i2744[19], i2746[19], a7628[19])))
(20): COND_LOAD11943ARR9(TRUE, java.lang.Object(ARRAY(i3[20], a7196data[20])), i2554[20], i58[20], i2563[20], java.lang.Object(java.lang.String(i2854[20], i2744[20], i2746[20], a7628[20]))) → JMP14222'(java.lang.Object(ARRAY(i3[20], a7196data[20])), i2554[20] + 1, i58[20], i2563[20])

(0) -> (1), if ((i52[0] →^* i52[1])∧(i58[0] →^* i58[1])∧(java.lang.Object(ARRAY(i3[0], a499data[0])) →^* java.lang.Object(ARRAY(i3[1], a499data[1]))))

(1) -> (2), if ((java.lang.Object(ARRAY(i3[1], a499data[1])) →^* java.lang.Object(ARRAY(i3[2], a499data[2])))∧(i52[1] > 0 && i52[1] < i3[1] && i58[1] > 0 && i52[1] + 1 > 0 →^* TRUE)∧(i58[1] →^* i58[2])∧(i52[1] →^* i52[2]))

(2) -> (0), if ((java.lang.Object(ARRAY(i3[2], a499data[2])) →^* java.lang.Object(ARRAY(i3[0], a499data[0])))∧(i58[2] + -1 →^* i58[0])∧(i52[2] + 1 →^* i52[0]))

(2) -> (4), if ((i58[2] + -1 →^* i58[4])∧(java.lang.Object(ARRAY(i3[2], a499data[2])) →^* java.lang.Object(ARRAY(i3[4], a499data[4])))∧(i52[2] + 1 →^* i52[4]))

(3) -> (0), if ((i2554[3] →^* i52[0])∧(java.lang.Object(ARRAY(i3[3], a7196data[3])) →^* java.lang.Object(ARRAY(i3[0], a499data[0])))∧(i58[3] + -1 →^* i58[0]))

(3) -> (4), if ((java.lang.Object(ARRAY(i3[3], a7196data[3])) →^* java.lang.Object(ARRAY(i3[4], a499data[4])))∧(i2554[3] →^* i52[4])∧(i58[3] + -1 →^* i58[4]))

(4) -> (5), if ((i52[4] →^* i52[5])∧(java.lang.Object(ARRAY(i3[4], a499data[4])) →^* java.lang.Object(ARRAY(i3[5], a499data[5])))∧(i58[4] →^* i58[5])∧(java.lang.Object(java.lang.String(i114[4], i82[4], i84[4], a627[4])) →^* java.lang.Object(java.lang.String(i114[5], i82[5], i84[5], a627[5]))))

(5) -> (6), if ((i52[5] →^* i52[6])∧(java.lang.Object(java.lang.String(i114[5], i82[5], i84[5], a627[5])) →^* java.lang.Object(java.lang.String(i114[6], i82[6], i84[6], a627[6])))∧(java.lang.Object(ARRAY(i3[5], a499data[5])) →^* java.lang.Object(ARRAY(i3[6], a499data[6])))∧(i114[5] > 0 && i52[5] > 0 && i52[5] < i3[5] && i58[5] > 0 && i52[5] + 1 > 0 →^* TRUE)∧(i58[5] →^* i58[6]))

(6) -> (3), if ((i114[6] →^* 0)∧(i52[6] + 1 →^* i2554[3])∧(i58[6] →^* i58[3])∧(java.lang.Object(ARRAY(i3[6], a499data[6])) →^* java.lang.Object(ARRAY(i3[3], a7196data[3]))))

(6) -> (8), if ((i114[6] →^* i2563[8])∧(i58[6] →^* i58[8])∧(i52[6] + 1 →^* i2554[8])∧(java.lang.Object(ARRAY(i3[6], a499data[6])) →^* java.lang.Object(ARRAY(i3[8], a7196data[8]))))

(6) -> (11), if ((java.lang.Object(ARRAY(i3[6], a499data[6])) →^* java.lang.Object(ARRAY(i3[11], a7196data[11])))∧(i58[6] →^* i58[11])∧(i114[6] →^* i2563[11])∧(i52[6] + 1 →^* i2554[11]))

(6) -> (15), if ((i52[6] + 1 →^* i2554[15])∧(i114[6] →^* i2563[15])∧(i58[6] →^* i58[15])∧(java.lang.Object(ARRAY(i3[6], a499data[6])) →^* java.lang.Object(ARRAY(i3[15], a7196data[15]))))

(6) -> (18), if ((java.lang.Object(ARRAY(i3[6], a499data[6])) →^* java.lang.Object(ARRAY(i3[18], a7196data[18])))∧(i58[6] →^* i58[18])∧(i52[6] + 1 →^* i2554[18])∧(i114[6] →^* i2563[18]))

(7) -> (3), if ((i2624[7] →^* i2554[3])∧(i58[7] →^* i58[3])∧(java.lang.Object(ARRAY(i3[7], a7196data[7])) →^* java.lang.Object(ARRAY(i3[3], a7196data[3])))∧(i2563[7] + -1 →^* 0))

(7) -> (8), if ((i58[7] →^* i58[8])∧(i2624[7] →^* i2554[8])∧(java.lang.Object(ARRAY(i3[7], a7196data[7])) →^* java.lang.Object(ARRAY(i3[8], a7196data[8])))∧(i2563[7] + -1 →^* i2563[8]))

(7) -> (11), if ((i2624[7] →^* i2554[11])∧(i58[7] →^* i58[11])∧(java.lang.Object(ARRAY(i3[7], a7196data[7])) →^* java.lang.Object(ARRAY(i3[11], a7196data[11])))∧(i2563[7] + -1 →^* i2563[11]))

(7) -> (15), if ((i2563[7] + -1 →^* i2563[15])∧(i58[7] →^* i58[15])∧(i2624[7] →^* i2554[15])∧(java.lang.Object(ARRAY(i3[7], a7196data[7])) →^* java.lang.Object(ARRAY(i3[15], a7196data[15]))))

(7) -> (18), if ((i58[7] →^* i58[18])∧(i2624[7] →^* i2554[18])∧(i2563[7] + -1 →^* i2563[18])∧(java.lang.Object(ARRAY(i3[7], a7196data[7])) →^* java.lang.Object(ARRAY(i3[18], a7196data[18]))))

(8) -> (9), if ((i2554[8] →^* i2554[9])∧(i2563[8] →^* i2563[9])∧(i58[8] →^* i58[9])∧(java.lang.Object(ARRAY(i3[8], a7196data[8])) →^* java.lang.Object(ARRAY(i3[9], a7196data[9]))))

(9) -> (10), if ((i2563[9] →^* i2563[10])∧(java.lang.Object(ARRAY(i3[9], a7196data[9])) →^* java.lang.Object(ARRAY(i3[10], a7196data[10])))∧(i58[9] →^* i58[10])∧(i2554[9] > 0 && i2554[9] < i3[9] && i2563[9] > 0 && i2554[9] + 1 > 0 →^* TRUE)∧(i2554[9] →^* i2554[10]))

(10) -> (3), if ((i58[10] →^* i58[3])∧(i2563[10] + -1 →^* 0)∧(java.lang.Object(ARRAY(i3[10], a7196data[10])) →^* java.lang.Object(ARRAY(i3[3], a7196data[3])))∧(i2554[10] + 1 →^* i2554[3]))

(10) -> (8), if ((i58[10] →^* i58[8])∧(java.lang.Object(ARRAY(i3[10], a7196data[10])) →^* java.lang.Object(ARRAY(i3[8], a7196data[8])))∧(i2554[10] + 1 →^* i2554[8])∧(i2563[10] + -1 →^* i2563[8]))

(10) -> (11), if ((i2563[10] + -1 →^* i2563[11])∧(i58[10] →^* i58[11])∧(i2554[10] + 1 →^* i2554[11])∧(java.lang.Object(ARRAY(i3[10], a7196data[10])) →^* java.lang.Object(ARRAY(i3[11], a7196data[11]))))

(10) -> (15), if ((java.lang.Object(ARRAY(i3[10], a7196data[10])) →^* java.lang.Object(ARRAY(i3[15], a7196data[15])))∧(i58[10] →^* i58[15])∧(i2554[10] + 1 →^* i2554[15])∧(i2563[10] + -1 →^* i2563[15]))

(10) -> (18), if ((java.lang.Object(ARRAY(i3[10], a7196data[10])) →^* java.lang.Object(ARRAY(i3[18], a7196data[18])))∧(i2554[10] + 1 →^* i2554[18])∧(i58[10] →^* i58[18])∧(i2563[10] + -1 →^* i2563[18]))

(11) -> (12), if ((i2563[11] →^* i2563[12])∧(java.lang.Object(ARRAY(i3[11], a7196data[11])) →^* java.lang.Object(ARRAY(i3[12], a7196data[12])))∧(i2554[11] →^* i2554[12])∧(i58[11] →^* i58[12]))

(12) -> (13), if ((java.lang.Object(ARRAY(i3[12], a7196data[12])) →^* java.lang.Object(ARRAY(i3[13], a7196data[13])))∧(i2563[12] →^* i2563[13])∧(i58[12] →^* i58[13])∧(i2554[12] →^* i2554[13])∧(i2554[12] > 0 && i2554[12] < i3[12] && i2563[12] > 0 && i2554[12] + 1 > 0 →^* TRUE))

(13) -> (7), if ((i2554[13] + 1 →^* i2624[7])∧(i2563[13] →^* i2563[7])∧(java.lang.Object(ARRAY(i3[13], a7196data[13])) →^* java.lang.Object(ARRAY(i3[7], a7196data[7])))∧(i58[13] →^* i58[7]))

(14) -> (7), if ((i2563[14] →^* i2563[7])∧(i2624[14] →^* i2624[7])∧(i58[14] →^* i58[7])∧(java.lang.Object(ARRAY(i3[14], a7196data[14])) →^* java.lang.Object(ARRAY(i3[7], a7196data[7]))))

(15) -> (16), if ((java.lang.Object(ARRAY(i3[15], a7196data[15])) →^* java.lang.Object(ARRAY(i3[16], a7196data[16])))∧(i2554[15] →^* i2554[16])∧(i58[15] →^* i58[16])∧(java.lang.Object(java.lang.String(i2854[15], i2744[15], i2746[15], a7628[15])) →^* java.lang.Object(java.lang.String(i2854[16], i2744[16], i2746[16], a7628[16])))∧(i2563[15] →^* i2563[16]))

(16) -> (17), if ((i58[16] →^* i58[17])∧(java.lang.Object(ARRAY(i3[16], a7196data[16])) →^* java.lang.Object(ARRAY(i3[17], a7196data[17])))∧(i2854[16] > 0 && i2554[16] > 0 && i2554[16] < i3[16] && i2563[16] > 0 && i2554[16] + 1 > 0 →^* TRUE)∧(i2563[16] →^* i2563[17])∧(i2554[16] →^* i2554[17])∧(java.lang.Object(java.lang.String(i2854[16], i2744[16], i2746[16], a7628[16])) →^* java.lang.Object(java.lang.String(i2854[17], i2744[17], i2746[17], a7628[17]))))

(17) -> (7), if ((i58[17] →^* i58[7])∧(java.lang.Object(ARRAY(i3[17], a7196data[17])) →^* java.lang.Object(ARRAY(i3[7], a7196data[7])))∧(i2554[17] + 1 →^* i2624[7])∧(i2563[17] →^* i2563[7]))

(18) -> (19), if ((java.lang.Object(java.lang.String(i2854[18], i2744[18], i2746[18], a7628[18])) →^* java.lang.Object(java.lang.String(i2854[19], i2744[19], i2746[19], a7628[19])))∧(i2554[18] →^* i2554[19])∧(i2563[18] →^* i2563[19])∧(i58[18] →^* i58[19])∧(java.lang.Object(ARRAY(i3[18], a7196data[18])) →^* java.lang.Object(ARRAY(i3[19], a7196data[19]))))

(19) -> (20), if ((i2554[19] →^* i2554[20])∧(i2563[19] →^* i2563[20])∧(i58[19] →^* i58[20])∧(i2854[19] > 0 && i2554[19] > 0 && i2554[19] < i3[19] && i2563[19] > 0 && i2554[19] + 1 > 0 →^* TRUE)∧(java.lang.Object(java.lang.String(i2854[19], i2744[19], i2746[19], a7628[19])) →^* java.lang.Object(java.lang.String(i2854[20], i2744[20], i2746[20], a7628[20])))∧(java.lang.Object(ARRAY(i3[19], a7196data[19])) →^* java.lang.Object(ARRAY(i3[20], a7196data[20]))))

(20) -> (14), if ((i2563[20] →^* i2563[14])∧(i58[20] →^* i58[14])∧(i2554[20] + 1 →^* i2624[14])∧(java.lang.Object(ARRAY(i3[20], a7196data[20])) →^* java.lang.Object(ARRAY(i3[14], a7196data[14]))))

The set Q consists of the following terms:
Load833(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load833ARR1(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Cond_Load833ARR1(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load833ARR2(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Cond_Load833ARR2(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Inc14138(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load11943(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load11943ARR3(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Cond_Load11943ARR3(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load11943ARR5(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Cond_Load11943ARR5(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
JMP14222(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load11943ARR6(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Cond_Load11943ARR6(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Load11943ARR9(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Cond_Load11943ARR9(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))

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

(22) 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): LOAD833(java.lang.Object(ARRAY(i3[0], a499data[0])), i52[0], i58[0]) → LOAD833ARR1(java.lang.Object(ARRAY(i3[0], a499data[0])), i52[0], i58[0])
(1): LOAD833ARR1(java.lang.Object(ARRAY(i3[1], a499data[1])), i52[1], i58[1]) → COND_LOAD833ARR1(i52[1] > 0 && i52[1] < i3[1] && i58[1] > 0 && i52[1] + 1 > 0, java.lang.Object(ARRAY(i3[1], a499data[1])), i52[1], i58[1])
(2): COND_LOAD833ARR1(TRUE, java.lang.Object(ARRAY(i3[2], a499data[2])), i52[2], i58[2]) → LOAD833(java.lang.Object(ARRAY(i3[2], a499data[2])), i52[2] + 1, i58[2] + -1)
(3): LOAD11943(java.lang.Object(ARRAY(i3[3], a7196data[3])), i2554[3], i58[3], 0) → LOAD833(java.lang.Object(ARRAY(i3[3], a7196data[3])), i2554[3], i58[3] + -1)
(4): LOAD833(java.lang.Object(ARRAY(i3[4], a499data[4])), i52[4], i58[4]) → LOAD833ARR2(java.lang.Object(ARRAY(i3[4], a499data[4])), i52[4], i58[4], java.lang.Object(java.lang.String(i114[4], i82[4], i84[4], a627[4])))
(5): LOAD833ARR2(java.lang.Object(ARRAY(i3[5], a499data[5])), i52[5], i58[5], java.lang.Object(java.lang.String(i114[5], i82[5], i84[5], a627[5]))) → COND_LOAD833ARR2(i114[5] > 0 && i52[5] > 0 && i52[5] < i3[5] && i58[5] > 0 && i52[5] + 1 > 0, java.lang.Object(ARRAY(i3[5], a499data[5])), i52[5], i58[5], java.lang.Object(java.lang.String(i114[5], i82[5], i84[5], a627[5])))
(6): COND_LOAD833ARR2(TRUE, java.lang.Object(ARRAY(i3[6], a499data[6])), i52[6], i58[6], java.lang.Object(java.lang.String(i114[6], i82[6], i84[6], a627[6]))) → LOAD11943(java.lang.Object(ARRAY(i3[6], a499data[6])), i52[6] + 1, i58[6], i114[6])
(7): INC14138(java.lang.Object(ARRAY(i3[7], a7196data[7])), i2624[7], i58[7], i2563[7]) → LOAD11943(java.lang.Object(ARRAY(i3[7], a7196data[7])), i2624[7], i58[7], i2563[7] + -1)
(8): LOAD11943(java.lang.Object(ARRAY(i3[8], a7196data[8])), i2554[8], i58[8], i2563[8]) → LOAD11943ARR3(java.lang.Object(ARRAY(i3[8], a7196data[8])), i2554[8], i58[8], i2563[8])
(9): LOAD11943ARR3(java.lang.Object(ARRAY(i3[9], a7196data[9])), i2554[9], i58[9], i2563[9]) → COND_LOAD11943ARR3(i2554[9] > 0 && i2554[9] < i3[9] && i2563[9] > 0 && i2554[9] + 1 > 0, java.lang.Object(ARRAY(i3[9], a7196data[9])), i2554[9], i58[9], i2563[9])
(10): COND_LOAD11943ARR3(TRUE, java.lang.Object(ARRAY(i3[10], a7196data[10])), i2554[10], i58[10], i2563[10]) → LOAD11943(java.lang.Object(ARRAY(i3[10], a7196data[10])), i2554[10] + 1, i58[10], i2563[10] + -1)
(11): LOAD11943(java.lang.Object(ARRAY(i3[11], a7196data[11])), i2554[11], i58[11], i2563[11]) → LOAD11943ARR5(java.lang.Object(ARRAY(i3[11], a7196data[11])), i2554[11], i58[11], i2563[11])
(12): LOAD11943ARR5(java.lang.Object(ARRAY(i3[12], a7196data[12])), i2554[12], i58[12], i2563[12]) → COND_LOAD11943ARR5(i2554[12] > 0 && i2554[12] < i3[12] && i2563[12] > 0 && i2554[12] + 1 > 0, java.lang.Object(ARRAY(i3[12], a7196data[12])), i2554[12], i58[12], i2563[12])
(13): COND_LOAD11943ARR5(TRUE, java.lang.Object(ARRAY(i3[13], a7196data[13])), i2554[13], i58[13], i2563[13]) → INC14138(java.lang.Object(ARRAY(i3[13], a7196data[13])), i2554[13] + 1, i58[13], i2563[13])
(14): JMP14222'(java.lang.Object(ARRAY(i3[14], a7196data[14])), i2624[14], i58[14], i2563[14]) → INC14138(java.lang.Object(ARRAY(i3[14], a7196data[14])), i2624[14], i58[14], i2563[14])
(15): LOAD11943(java.lang.Object(ARRAY(i3[15], a7196data[15])), i2554[15], i58[15], i2563[15]) → LOAD11943ARR6(java.lang.Object(ARRAY(i3[15], a7196data[15])), i2554[15], i58[15], i2563[15], java.lang.Object(java.lang.String(i2854[15], i2744[15], i2746[15], a7628[15])))
(16): LOAD11943ARR6(java.lang.Object(ARRAY(i3[16], a7196data[16])), i2554[16], i58[16], i2563[16], java.lang.Object(java.lang.String(i2854[16], i2744[16], i2746[16], a7628[16]))) → COND_LOAD11943ARR6(i2854[16] > 0 && i2554[16] > 0 && i2554[16] < i3[16] && i2563[16] > 0 && i2554[16] + 1 > 0, java.lang.Object(ARRAY(i3[16], a7196data[16])), i2554[16], i58[16], i2563[16], java.lang.Object(java.lang.String(i2854[16], i2744[16], i2746[16], a7628[16])))
(17): COND_LOAD11943ARR6(TRUE, java.lang.Object(ARRAY(i3[17], a7196data[17])), i2554[17], i58[17], i2563[17], java.lang.Object(java.lang.String(i2854[17], i2744[17], i2746[17], a7628[17]))) → INC14138(java.lang.Object(ARRAY(i3[17], a7196data[17])), i2554[17] + 1, i58[17], i2563[17])
(18): LOAD11943(java.lang.Object(ARRAY(i3[18], a7196data[18])), i2554[18], i58[18], i2563[18]) → LOAD11943ARR9(java.lang.Object(ARRAY(i3[18], a7196data[18])), i2554[18], i58[18], i2563[18], java.lang.Object(java.lang.String(i2854[18], i2744[18], i2746[18], a7628[18])))
(19): LOAD11943ARR9(java.lang.Object(ARRAY(i3[19], a7196data[19])), i2554[19], i58[19], i2563[19], java.lang.Object(java.lang.String(i2854[19], i2744[19], i2746[19], a7628[19]))) → COND_LOAD11943ARR9(i2854[19] > 0 && i2554[19] > 0 && i2554[19] < i3[19] && i2563[19] > 0 && i2554[19] + 1 > 0, java.lang.Object(ARRAY(i3[19], a7196data[19])), i2554[19], i58[19], i2563[19], java.lang.Object(java.lang.String(i2854[19], i2744[19], i2746[19], a7628[19])))
(20): COND_LOAD11943ARR9(TRUE, java.lang.Object(ARRAY(i3[20], a7196data[20])), i2554[20], i58[20], i2563[20], java.lang.Object(java.lang.String(i2854[20], i2744[20], i2746[20], a7628[20]))) → JMP14222'(java.lang.Object(ARRAY(i3[20], a7196data[20])), i2554[20] + 1, i58[20], i2563[20])