Termination proof of /tmp/tmpKynBGH/FlattenRTA.jar

Termination of the given JBC could be proven:

0 JBC

↳1 JBC2FIG (⇐)

↳2 FIGraph

↳3 FIGtoITRSProof (⇐)

↳4 AND

    ↳5 ITRS

        ↳6 DuplicateArgsRemoverProof (⇔)

        ↳7 ITRS

        ↳8 ITRStoQTRSProof (⇔)

        ↳9 QTRS

        ↳10 QTRSRRRProof (⇔)

        ↳11 QTRS

        ↳12 RisEmptyProof (⇔)

        ↳13 TRUE

    ↳14 ITRS

        ↳15 DuplicateArgsRemoverProof (⇔)

        ↳16 ITRS

        ↳17 ITRSFilterProcessorProof (⇐)

        ↳18 ITRS

        ↳19 ITRSFSMergerProof (⇐)

        ↳20 ITRS

        ↳21 ITRStoIDPProof (⇔)

        ↳22 IDP

        ↳23 UsableRulesProof (⇔)

        ↳24 IDP

        ↳25 ItpfGraphProof (⇔)

        ↳26 IDP

        ↳27 IDPNonInfProof (⇐)

        ↳28 AND

            ↳29 IDP

                ↳30 IDependencyGraphProof (⇔)

                ↳31 TRUE

            ↳32 IDP

                ↳33 IDependencyGraphProof (⇔)

                ↳34 IDP

                ↳35 IDPNonInfProof (⇐)

                ↳36 AND

                    ↳37 IDP

                        ↳38 IDependencyGraphProof (⇔)

                        ↳39 TRUE

                    ↳40 IDP

                        ↳41 IDependencyGraphProof (⇔)

                        ↳42 TRUE

(0) Obligation:

JBC Problem based on JBC Program:

No human-readable program information known.

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

(1) JBC2FIG (SOUND transformation)

Constructed FIGraph.

(2) Obligation:

FIGraph based on JBC Program:
Graph of 871 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:
Load4995(o6162, o6162, java.lang.Object(TreeList(o6296, java.lang.Object(Tree(o7227, o7228, i2993))))) → JMP5452(o6162, o6162, java.lang.Object(TreeList(java.lang.Object(TreeList(o6296, o7228)), o7227)))
Load4995(java.lang.Object(TreeList(o6300, java.lang.Object(Tree(o7233, o7234, i2994)))), java.lang.Object(TreeList(o6300, java.lang.Object(Tree(o7233, o7234, i2994)))), java.lang.Object(TreeList(o6300, java.lang.Object(Tree(o7233, o7234, i2994))))) → JMP5452(java.lang.Object(TreeList(o6300, o7234)), java.lang.Object(TreeList(o6300, o7234)), java.lang.Object(TreeList(java.lang.Object(TreeList(o6300, o7234)), o7233)))
Load4995(java.lang.Object(TreeList(o6300, NULL)), java.lang.Object(TreeList(o6300, NULL)), java.lang.Object(TreeList(o6300, NULL))) → JMP5452(java.lang.Object(TreeList(o6300, NULL)), java.lang.Object(TreeList(o6300, NULL)), o6300)
JMP5452(o6162, o6162, o6296) → Load4995(o6162, o6162, o6296)
Load4995(o6162, o6162, java.lang.Object(TreeList(o6296, NULL))) → Load4995(o6162, o6162, o6296)
The set Q consists of the following terms:
Load4995(x0, x0, java.lang.Object(TreeList(x1, java.lang.Object(Tree(x2, x3, x4)))))
JMP5452(x0, x0, x1)
Load4995(x0, x0, java.lang.Object(TreeList(x1, NULL)))

(6) DuplicateArgsRemoverProof (EQUIVALENT transformation)

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

Load4995(x1, x2, x3) → Load4995(x2, x3)
JMP5452(x1, x2, x3) → JMP5452(x2, x3)

(7) Obligation:

ITRS problem:

The following function symbols are pre-defined:

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

The TRS R consists of the following rules:
Load4995(o6162, java.lang.Object(TreeList(o6296, java.lang.Object(Tree(o7227, o7228, i2993))))) → JMP5452(o6162, java.lang.Object(TreeList(java.lang.Object(TreeList(o6296, o7228)), o7227)))
Load4995(java.lang.Object(TreeList(o6300, java.lang.Object(Tree(o7233, o7234, i2994)))), java.lang.Object(TreeList(o6300, java.lang.Object(Tree(o7233, o7234, i2994))))) → JMP5452(java.lang.Object(TreeList(o6300, o7234)), java.lang.Object(TreeList(java.lang.Object(TreeList(o6300, o7234)), o7233)))
Load4995(java.lang.Object(TreeList(o6300, NULL)), java.lang.Object(TreeList(o6300, NULL))) → JMP5452(java.lang.Object(TreeList(o6300, NULL)), o6300)
JMP5452(o6162, o6296) → Load4995(o6162, o6296)
Load4995(o6162, java.lang.Object(TreeList(o6296, NULL))) → Load4995(o6162, o6296)
The set Q consists of the following terms:
Load4995(x0, java.lang.Object(TreeList(x1, java.lang.Object(Tree(x2, x3, x4)))))
JMP5452(x0, x1)
Load4995(x0, java.lang.Object(TreeList(x1, NULL)))

(8) ITRStoQTRSProof (EQUIVALENT transformation)

Represented integers and predefined function symbols by Terms

(9) Obligation:

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

Load4995(o6162, java.lang.Object(TreeList(o6296, java.lang.Object(Tree(o7227, o7228, i2993))))) → JMP5452(o6162, java.lang.Object(TreeList(java.lang.Object(TreeList(o6296, o7228)), o7227)))
Load4995(java.lang.Object(TreeList(o6300, java.lang.Object(Tree(o7233, o7234, i2994)))), java.lang.Object(TreeList(o6300, java.lang.Object(Tree(o7233, o7234, i2994))))) → JMP5452(java.lang.Object(TreeList(o6300, o7234)), java.lang.Object(TreeList(java.lang.Object(TreeList(o6300, o7234)), o7233)))
Load4995(java.lang.Object(TreeList(o6300, NULL)), java.lang.Object(TreeList(o6300, NULL))) → JMP5452(java.lang.Object(TreeList(o6300, NULL)), o6300)
JMP5452(o6162, o6296) → Load4995(o6162, o6296)
Load4995(o6162, java.lang.Object(TreeList(o6296, NULL))) → Load4995(o6162, o6296)

The set Q consists of the following terms:

Load4995(x0, java.lang.Object(TreeList(x1, java.lang.Object(Tree(x2, x3, x4)))))
JMP5452(x0, x1)
Load4995(x0, java.lang.Object(TreeList(x1, NULL)))

(10) QTRSRRRProof (EQUIVALENT transformation)

Used ordering:
Polynomial interpretation [POLO]:

POL(JMP5452(x₁, x₂)) = 1 + x₁ + x₂
POL(Load4995(x₁, x₂)) = x₁ + x₂
POL(NULL) = 2
POL(Tree(x₁, x₂, x₃)) = 2 + x₁ + x₂ + x₃
POL(TreeList(x₁, x₂)) = x₁ + x₂
POL(java.lang.Object(x₁)) = x₁

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

Load4995(o6162, java.lang.Object(TreeList(o6296, java.lang.Object(Tree(o7227, o7228, i2993))))) → JMP5452(o6162, java.lang.Object(TreeList(java.lang.Object(TreeList(o6296, o7228)), o7227)))
Load4995(java.lang.Object(TreeList(o6300, java.lang.Object(Tree(o7233, o7234, i2994)))), java.lang.Object(TreeList(o6300, java.lang.Object(Tree(o7233, o7234, i2994))))) → JMP5452(java.lang.Object(TreeList(o6300, o7234)), java.lang.Object(TreeList(java.lang.Object(TreeList(o6300, o7234)), o7233)))
Load4995(java.lang.Object(TreeList(o6300, NULL)), java.lang.Object(TreeList(o6300, NULL))) → JMP5452(java.lang.Object(TreeList(o6300, NULL)), o6300)
JMP5452(o6162, o6296) → Load4995(o6162, o6296)
Load4995(o6162, java.lang.Object(TreeList(o6296, NULL))) → Load4995(o6162, o6296)

(11) Obligation:

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

Load4995(x0, java.lang.Object(TreeList(x1, java.lang.Object(Tree(x2, x3, x4)))))
JMP5452(x0, x1)
Load4995(x0, java.lang.Object(TreeList(x1, NULL)))

(12) RisEmptyProof (EQUIVALENT transformation)

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

(13) TRUE

(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:
Load715(java.lang.Object(ARRAY(i2, a694data)), i56, i58) → Load715ARR1(java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(0, i86, i88, a823)))
Load715ARR1(java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(0, i86, i88, a823))) → Cond_Load715ARR1(i56 > 0 && i56 < i2 && i58 > 0 && i56 + 1 > 0, java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(0, i86, i88, a823)))
Cond_Load715ARR1(TRUE, java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(0, i86, i88, a823))) → Load715(java.lang.Object(ARRAY(i2, a694data)), i56 + 1, i58 + -1)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, 0, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18021Field0, o18021Field1, o18021Field2))) → Load715(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58 + -1)
Load715(java.lang.Object(ARRAY(i2, a694data)), i56, i58) → Load715ARR2(java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(i290, i289, i291, a1552)), java.lang.Object(java.lang.String(i109, i86, i88, a823)))
Load715ARR2(java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(i290, i289, i291, a1552)), java.lang.Object(java.lang.String(i109, i86, i88, a823))) → Cond_Load715ARR2(i56 + 1 > 0 && i56 + 1 < i2 && i109 > 0 && i56 > 0 && i56 < i2 && i58 > 0 && i56 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(i290, i289, i291, a1552)), java.lang.Object(java.lang.String(i109, i86, i88, a823)))
Cond_Load715ARR2(TRUE, java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(i290, i289, i291, a1552)), java.lang.Object(java.lang.String(i109, i86, i88, a823))) → Load13603(java.lang.Object(ARRAY(i2, a694data)), i56 + 1 + 1, i58, i109, java.lang.Object(Tree(NULL, NULL, i290)), java.lang.Object(Tree(NULL, NULL, i290)))
Inc15077(java.lang.Object(ARRAY(i2, a19203data)), i7710, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o19002Field0, o19002Field1, o19002Field2))) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7710, i58, i7630 + -1, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o19002Field0, o19002Field1, o19002Field2)))
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18890, java.lang.Object(Tree(o19002Field0, o19002Field1, o19002Field2)), i8141))) → Load13603ARR3(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18890, java.lang.Object(Tree(o19002Field0, o19002Field1, o19002Field2)), i8141)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737)))
Load13603ARR3(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18890, java.lang.Object(Tree(o19002Field0, o19002Field1, o19002Field2)), i8141)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737))) → Cond_Load13603ARR3(i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18890, java.lang.Object(Tree(o19002Field0, o19002Field1, o19002Field2)), i8141)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737)))
Cond_Load13603ARR3(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18890, java.lang.Object(Tree(o19002Field0, o19002Field1, o19002Field2)), i8141)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737))) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1, i58, i7630 + -1, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o19002Field0, o19002Field1, o19002Field2)))
Inc18978(java.lang.Object(ARRAY(i2, a19203data)), i8902, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18019, o18020, i290))) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i8902, i58, i7630 + -1, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18019, o18020, i290)))
JMP18797(java.lang.Object(ARRAY(i2, a19203data)), i8902, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18019, o18020, i290))) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i8902, i58, i7630 + -1, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18019, o18020, i290)))
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18890, NULL, i8141))) → Load13603ARR4(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18890, NULL, i8141)), java.lang.Object(java.lang.String(i9717, i9716, i9718, a24457)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737)))
Load13603ARR4(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18890, java.lang.Object(Tree(NULL, NULL, i9717)), i8141)), java.lang.Object(java.lang.String(i9717, i9716, i9718, a24457)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737))) → Cond_Load13603ARR4(i7628 + 1 > 0 && i7628 + 1 < i2 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18890, java.lang.Object(Tree(NULL, NULL, i9717)), i8141)), java.lang.Object(java.lang.String(i9717, i9716, i9718, a24457)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737)))
Cond_Load13603ARR4(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18890, java.lang.Object(Tree(NULL, NULL, i9717)), i8141)), java.lang.Object(java.lang.String(i9717, i9716, i9718, a24457)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737))) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1 + 1, i58, i7630 + -1, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18019, o18020, i290)))
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, java.lang.Object(Tree(o18935Field0, o18935Field1, o18935Field2)), i290)), java.lang.Object(Tree(o18019, java.lang.Object(Tree(o18935Field0, o18935Field1, o18935Field2)), i290))) → Load13603ARR5(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, java.lang.Object(Tree(o18935Field0, o18935Field1, o18935Field2)), i290)), java.lang.Object(Tree(o18019, java.lang.Object(Tree(o18935Field0, o18935Field1, o18935Field2)), i290)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737)))
Load13603ARR5(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, java.lang.Object(Tree(o18935Field0, o18935Field1, o18935Field2)), i290)), java.lang.Object(Tree(o18019, java.lang.Object(Tree(o18935Field0, o18935Field1, o18935Field2)), i290)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737))) → Cond_Load13603ARR5(i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, java.lang.Object(Tree(o18935Field0, o18935Field1, o18935Field2)), i290)), java.lang.Object(Tree(o18019, java.lang.Object(Tree(o18935Field0, o18935Field1, o18935Field2)), i290)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737)))
Cond_Load13603ARR5(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, java.lang.Object(Tree(o18935Field0, o18935Field1, o18935Field2)), i290)), java.lang.Object(Tree(o18019, java.lang.Object(Tree(o18935Field0, o18935Field1, o18935Field2)), i290)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737))) → Inc15077(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1, i58, i7630, java.lang.Object(Tree(o18019, java.lang.Object(Tree(o18935Field0, o18935Field1, o18935Field2)), i290)), java.lang.Object(Tree(o18935Field0, o18935Field1, o18935Field2)))
JMP15126(java.lang.Object(ARRAY(i2, a19203data)), i7710, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o19018Field0, o19018Field1, o19018Field2))) → Inc15077(java.lang.Object(ARRAY(i2, a19203data)), i7710, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o19018Field0, o19018Field1, o19018Field2)))
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(o19018Field0, o19018Field1, o19018Field2)), o18896, i8142))) → Load13603ARR6(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(o19018Field0, o19018Field1, o19018Field2)), o18896, i8142)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Load13603ARR6(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(o19018Field0, o19018Field1, o19018Field2)), o18896, i8142)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Cond_Load13603ARR6(i7996 > 0 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(o19018Field0, o19018Field1, o19018Field2)), o18896, i8142)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Cond_Load13603ARR6(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(o19018Field0, o19018Field1, o19018Field2)), o18896, i8142)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Inc15077(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o19018Field0, o19018Field1, o19018Field2)))
JMP18886(java.lang.Object(ARRAY(i2, a19203data)), i8946, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18019, o18020, i290))) → Inc18978(java.lang.Object(ARRAY(i2, a19203data)), i8946, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18019, o18020, i290)))
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(NULL, o18896, i8142))) → Load13603ARR7(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(NULL, o18896, i8142)), java.lang.Object(java.lang.String(i9818, i9817, i9819, a24672)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Load13603ARR7(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, i9818)), o18896, i8142)), java.lang.Object(java.lang.String(i9818, i9817, i9819, a24672)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Cond_Load13603ARR7(i7628 + 1 > 0 && i7628 + 1 < i2 && i7996 > 0 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, i9818)), o18896, i8142)), java.lang.Object(java.lang.String(i9818, i9817, i9819, a24672)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Cond_Load13603ARR7(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, i9818)), o18896, i8142)), java.lang.Object(java.lang.String(i9818, i9817, i9819, a24672)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Inc18978(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1 + 1, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18019, o18020, i290)))
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, NULL, i290)), java.lang.Object(Tree(o18019, NULL, i290))) → Load13603ARR8(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, NULL, i290)), java.lang.Object(Tree(o18019, NULL, i290)), java.lang.Object(java.lang.String(i9577, i9576, i9578, a24141)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737)))
Load13603ARR8(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, java.lang.Object(Tree(NULL, NULL, i9577)), i290)), java.lang.Object(Tree(o18019, java.lang.Object(Tree(NULL, NULL, i9577)), i290)), java.lang.Object(java.lang.String(i9577, i9576, i9578, a24141)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737))) → Cond_Load13603ARR8(i7628 + 1 > 0 && i7628 + 1 < i2 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, java.lang.Object(Tree(NULL, NULL, i9577)), i290)), java.lang.Object(Tree(o18019, java.lang.Object(Tree(NULL, NULL, i9577)), i290)), java.lang.Object(java.lang.String(i9577, i9576, i9578, a24141)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737)))
Cond_Load13603ARR8(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, java.lang.Object(Tree(NULL, NULL, i9577)), i290)), java.lang.Object(Tree(o18019, java.lang.Object(Tree(NULL, NULL, i9577)), i290)), java.lang.Object(java.lang.String(i9577, i9576, i9578, a24141)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737))) → JMP18797(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1 + 1, i58, i7630, java.lang.Object(Tree(o18019, java.lang.Object(Tree(NULL, NULL, i9577)), i290)), java.lang.Object(Tree(o18019, java.lang.Object(Tree(NULL, NULL, i9577)), i290)))
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(java.lang.Object(Tree(o18969Field0, o18969Field1, o18969Field2)), o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(o18969Field0, o18969Field1, o18969Field2)), o18020, i290))) → Load13603ARR9(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(java.lang.Object(Tree(o18969Field0, o18969Field1, o18969Field2)), o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(o18969Field0, o18969Field1, o18969Field2)), o18020, i290)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Load13603ARR9(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(java.lang.Object(Tree(o18969Field0, o18969Field1, o18969Field2)), o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(o18969Field0, o18969Field1, o18969Field2)), o18020, i290)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Cond_Load13603ARR9(i7996 > 0 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(java.lang.Object(Tree(o18969Field0, o18969Field1, o18969Field2)), o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(o18969Field0, o18969Field1, o18969Field2)), o18020, i290)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Cond_Load13603ARR9(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(java.lang.Object(Tree(o18969Field0, o18969Field1, o18969Field2)), o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(o18969Field0, o18969Field1, o18969Field2)), o18020, i290)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → JMP15126(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1, i58, i7630, java.lang.Object(Tree(java.lang.Object(Tree(o18969Field0, o18969Field1, o18969Field2)), o18020, i290)), java.lang.Object(Tree(o18969Field0, o18969Field1, o18969Field2)))
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(NULL, o18020, i290)), java.lang.Object(Tree(NULL, o18020, i290))) → Load13603ARR10(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(NULL, o18020, i290)), java.lang.Object(Tree(NULL, o18020, i290)), java.lang.Object(java.lang.String(i9665, i9664, i9666, a24343)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Load13603ARR10(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, i9665)), o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, i9665)), o18020, i290)), java.lang.Object(java.lang.String(i9665, i9664, i9666, a24343)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Cond_Load13603ARR10(i7628 + 1 > 0 && i7628 + 1 < i2 && i7996 > 0 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, i9665)), o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, i9665)), o18020, i290)), java.lang.Object(java.lang.String(i9665, i9664, i9666, a24343)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Cond_Load13603ARR10(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, i9665)), o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, i9665)), o18020, i290)), java.lang.Object(java.lang.String(i9665, i9664, i9666, a24343)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → JMP18886(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1 + 1, i58, i7630, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, i9665)), o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, i9665)), o18020, i290)))
The set Q consists of the following terms:
Load715(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load715ARR1(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(0, x4, x5, x6)))
Cond_Load715ARR1(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(0, x4, x5, x6)))
Load13603(java.lang.Object(ARRAY(x0, x1)), x2, x3, 0, java.lang.Object(Tree(x4, x5, x6)), java.lang.Object(Tree(x7, x8, x9)))
Load715ARR2(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)), java.lang.Object(java.lang.String(x8, x9, x10, x11)))
Cond_Load715ARR2(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)), java.lang.Object(java.lang.String(x8, x9, x10, x11)))
Inc15077(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, x9, x10)))
Load13603(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, java.lang.Object(Tree(x9, x10, x11)), x12)))
Load13603ARR3(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, java.lang.Object(Tree(x9, x10, x11)), x12)), java.lang.Object(java.lang.String(0, x13, x14, x15)))
Cond_Load13603ARR3(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, java.lang.Object(Tree(x9, x10, x11)), x12)), java.lang.Object(java.lang.String(0, x13, x14, x15)))
Inc18978(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x5, x6, x7)))
JMP18797(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x5, x6, x7)))
Load13603(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, NULL, x9)))
Load13603ARR4(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, java.lang.Object(Tree(NULL, NULL, x9)), x10)), java.lang.Object(java.lang.String(x9, x11, x12, x13)), java.lang.Object(java.lang.String(0, x14, x15, x16)))
Cond_Load13603ARR4(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, java.lang.Object(Tree(NULL, NULL, x9)), x10)), java.lang.Object(java.lang.String(x9, x11, x12, x13)), java.lang.Object(java.lang.String(0, x14, x15, x16)))
Load13603ARR5(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, java.lang.Object(Tree(x6, x7, x8)), x9)), java.lang.Object(Tree(x5, java.lang.Object(Tree(x6, x7, x8)), x9)), java.lang.Object(java.lang.String(0, x10, x11, x12)))
Cond_Load13603ARR5(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, java.lang.Object(Tree(x6, x7, x8)), x9)), java.lang.Object(Tree(x5, java.lang.Object(Tree(x6, x7, x8)), x9)), java.lang.Object(java.lang.String(0, x10, x11, x12)))
JMP15126(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, x9, x10)))
Load13603(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(java.lang.Object(Tree(x8, x9, x10)), x11, x12)))
Load13603ARR6(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(java.lang.Object(Tree(x8, x9, x10)), x11, x12)), java.lang.Object(java.lang.String(x13, x14, x15, x16)))
Cond_Load13603ARR6(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(java.lang.Object(Tree(x8, x9, x10)), x11, x12)), java.lang.Object(java.lang.String(x13, x14, x15, x16)))
JMP18886(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x5, x6, x7)))
Load13603(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(NULL, x8, x9)))
Load13603ARR7(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, x8)), x9, x10)), java.lang.Object(java.lang.String(x8, x11, x12, x13)), java.lang.Object(java.lang.String(x14, x15, x16, x17)))
Cond_Load13603ARR7(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, x8)), x9, x10)), java.lang.Object(java.lang.String(x8, x11, x12, x13)), java.lang.Object(java.lang.String(x14, x15, x16, x17)))
Load13603ARR8(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, java.lang.Object(Tree(NULL, NULL, x6)), x7)), java.lang.Object(Tree(x5, java.lang.Object(Tree(NULL, NULL, x6)), x7)), java.lang.Object(java.lang.String(x6, x8, x9, x10)), java.lang.Object(java.lang.String(0, x11, x12, x13)))
Cond_Load13603ARR8(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, java.lang.Object(Tree(NULL, NULL, x6)), x7)), java.lang.Object(Tree(x5, java.lang.Object(Tree(NULL, NULL, x6)), x7)), java.lang.Object(java.lang.String(x6, x8, x9, x10)), java.lang.Object(java.lang.String(0, x11, x12, x13)))
Load13603ARR9(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(java.lang.Object(Tree(x5, x6, x7)), x8, x9)), java.lang.Object(Tree(java.lang.Object(Tree(x5, x6, x7)), x8, x9)), java.lang.Object(java.lang.String(x10, x11, x12, x13)))
Cond_Load13603ARR9(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(java.lang.Object(Tree(x5, x6, x7)), x8, x9)), java.lang.Object(Tree(java.lang.Object(Tree(x5, x6, x7)), x8, x9)), java.lang.Object(java.lang.String(x10, x11, x12, x13)))
Load13603ARR10(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, x5)), x6, x7)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, x5)), x6, x7)), java.lang.Object(java.lang.String(x5, x8, x9, x10)), java.lang.Object(java.lang.String(x11, x12, x13, x14)))
Cond_Load13603ARR10(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, x5)), x6, x7)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, x5)), x6, x7)), java.lang.Object(java.lang.String(x5, x8, x9, x10)), java.lang.Object(java.lang.String(x11, x12, x13, x14)))

(15) DuplicateArgsRemoverProof (EQUIVALENT transformation)

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

JMP18886(x1, x2, x3, x4, x5, x6) → JMP18886(x1, x2, x3, x4, x6)
Cond_Load13603ARR10(x1, x2, x3, x4, x5, x6, x7, x8, x9) → Cond_Load13603ARR10(x1, x2, x3, x4, x5, x7, x8, x9)
Load13603ARR10(x1, x2, x3, x4, x5, x6, x7, x8) → Load13603ARR10(x1, x2, x3, x4, x6, x7, x8)
Cond_Load13603ARR9(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_Load13603ARR9(x1, x2, x3, x4, x5, x7, x8)
Load13603ARR9(x1, x2, x3, x4, x5, x6, x7) → Load13603ARR9(x1, x2, x3, x4, x6, x7)
JMP18797(x1, x2, x3, x4, x5, x6) → JMP18797(x1, x2, x3, x4, x6)
Cond_Load13603ARR8(x1, x2, x3, x4, x5, x6, x7, x8, x9) → Cond_Load13603ARR8(x1, x2, x3, x4, x5, x7, x8, x9)
Load13603ARR8(x1, x2, x3, x4, x5, x6, x7, x8) → Load13603ARR8(x1, x2, x3, x4, x6, x7, x8)
Inc18978(x1, x2, x3, x4, x5, x6) → Inc18978(x1, x2, x3, x4, x6)
Cond_Load13603ARR5(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_Load13603ARR5(x1, x2, x3, x4, x5, x7, x8)
Load13603ARR5(x1, x2, x3, x4, x5, x6, x7) → Load13603ARR5(x1, x2, x3, x4, x6, 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:
Load715(java.lang.Object(ARRAY(i2, a694data)), i56, i58) → Load715ARR1(java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(0, i86, i88, a823)))
Load715ARR1(java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(0, i86, i88, a823))) → Cond_Load715ARR1(i56 > 0 && i56 < i2 && i58 > 0 && i56 + 1 > 0, java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(0, i86, i88, a823)))
Cond_Load715ARR1(TRUE, java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(0, i86, i88, a823))) → Load715(java.lang.Object(ARRAY(i2, a694data)), i56 + 1, i58 + -1)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, 0, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18021Field0, o18021Field1, o18021Field2))) → Load715(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58 + -1)
Load715(java.lang.Object(ARRAY(i2, a694data)), i56, i58) → Load715ARR2(java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(i290, i289, i291, a1552)), java.lang.Object(java.lang.String(i109, i86, i88, a823)))
Load715ARR2(java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(i290, i289, i291, a1552)), java.lang.Object(java.lang.String(i109, i86, i88, a823))) → Cond_Load715ARR2(i56 + 1 > 0 && i56 + 1 < i2 && i109 > 0 && i56 > 0 && i56 < i2 && i58 > 0 && i56 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(i290, i289, i291, a1552)), java.lang.Object(java.lang.String(i109, i86, i88, a823)))
Cond_Load715ARR2(TRUE, java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(i290, i289, i291, a1552)), java.lang.Object(java.lang.String(i109, i86, i88, a823))) → Load13603(java.lang.Object(ARRAY(i2, a694data)), i56 + 1 + 1, i58, i109, java.lang.Object(Tree(NULL, NULL, i290)), java.lang.Object(Tree(NULL, NULL, i290)))
Inc15077(java.lang.Object(ARRAY(i2, a19203data)), i7710, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o19002Field0, o19002Field1, o19002Field2))) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7710, i58, i7630 + -1, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o19002Field0, o19002Field1, o19002Field2)))
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18890, java.lang.Object(Tree(o19002Field0, o19002Field1, o19002Field2)), i8141))) → Load13603ARR3(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18890, java.lang.Object(Tree(o19002Field0, o19002Field1, o19002Field2)), i8141)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737)))
Load13603ARR3(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18890, java.lang.Object(Tree(o19002Field0, o19002Field1, o19002Field2)), i8141)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737))) → Cond_Load13603ARR3(i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18890, java.lang.Object(Tree(o19002Field0, o19002Field1, o19002Field2)), i8141)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737)))
Cond_Load13603ARR3(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18890, java.lang.Object(Tree(o19002Field0, o19002Field1, o19002Field2)), i8141)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737))) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1, i58, i7630 + -1, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o19002Field0, o19002Field1, o19002Field2)))
Inc18978(java.lang.Object(ARRAY(i2, a19203data)), i8902, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290))) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i8902, i58, i7630 + -1, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18019, o18020, i290)))
JMP18797(java.lang.Object(ARRAY(i2, a19203data)), i8902, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290))) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i8902, i58, i7630 + -1, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18019, o18020, i290)))
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18890, NULL, i8141))) → Load13603ARR4(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18890, NULL, i8141)), java.lang.Object(java.lang.String(i9717, i9716, i9718, a24457)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737)))
Load13603ARR4(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18890, java.lang.Object(Tree(NULL, NULL, i9717)), i8141)), java.lang.Object(java.lang.String(i9717, i9716, i9718, a24457)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737))) → Cond_Load13603ARR4(i7628 + 1 > 0 && i7628 + 1 < i2 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18890, java.lang.Object(Tree(NULL, NULL, i9717)), i8141)), java.lang.Object(java.lang.String(i9717, i9716, i9718, a24457)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737)))
Cond_Load13603ARR4(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18890, java.lang.Object(Tree(NULL, NULL, i9717)), i8141)), java.lang.Object(java.lang.String(i9717, i9716, i9718, a24457)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737))) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1 + 1, i58, i7630 + -1, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o18019, o18020, i290)))
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, java.lang.Object(Tree(o18935Field0, o18935Field1, o18935Field2)), i290)), java.lang.Object(Tree(o18019, java.lang.Object(Tree(o18935Field0, o18935Field1, o18935Field2)), i290))) → Load13603ARR5(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, java.lang.Object(Tree(o18935Field0, o18935Field1, o18935Field2)), i290)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737)))
Load13603ARR5(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, java.lang.Object(Tree(o18935Field0, o18935Field1, o18935Field2)), i290)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737))) → Cond_Load13603ARR5(i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, java.lang.Object(Tree(o18935Field0, o18935Field1, o18935Field2)), i290)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737)))
Cond_Load13603ARR5(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, java.lang.Object(Tree(o18935Field0, o18935Field1, o18935Field2)), i290)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737))) → Inc15077(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1, i58, i7630, java.lang.Object(Tree(o18019, java.lang.Object(Tree(o18935Field0, o18935Field1, o18935Field2)), i290)), java.lang.Object(Tree(o18935Field0, o18935Field1, o18935Field2)))
JMP15126(java.lang.Object(ARRAY(i2, a19203data)), i7710, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o19018Field0, o19018Field1, o19018Field2))) → Inc15077(java.lang.Object(ARRAY(i2, a19203data)), i7710, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o19018Field0, o19018Field1, o19018Field2)))
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(o19018Field0, o19018Field1, o19018Field2)), o18896, i8142))) → Load13603ARR6(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(o19018Field0, o19018Field1, o19018Field2)), o18896, i8142)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Load13603ARR6(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(o19018Field0, o19018Field1, o19018Field2)), o18896, i8142)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Cond_Load13603ARR6(i7996 > 0 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(o19018Field0, o19018Field1, o19018Field2)), o18896, i8142)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Cond_Load13603ARR6(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(o19018Field0, o19018Field1, o19018Field2)), o18896, i8142)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Inc15077(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(o19018Field0, o19018Field1, o19018Field2)))
JMP18886(java.lang.Object(ARRAY(i2, a19203data)), i8946, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290))) → Inc18978(java.lang.Object(ARRAY(i2, a19203data)), i8946, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)))
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(NULL, o18896, i8142))) → Load13603ARR7(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(NULL, o18896, i8142)), java.lang.Object(java.lang.String(i9818, i9817, i9819, a24672)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Load13603ARR7(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, i9818)), o18896, i8142)), java.lang.Object(java.lang.String(i9818, i9817, i9819, a24672)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Cond_Load13603ARR7(i7628 + 1 > 0 && i7628 + 1 < i2 && i7996 > 0 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, i9818)), o18896, i8142)), java.lang.Object(java.lang.String(i9818, i9817, i9819, a24672)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Cond_Load13603ARR7(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, i9818)), o18896, i8142)), java.lang.Object(java.lang.String(i9818, i9817, i9819, a24672)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Inc18978(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1 + 1, i58, i7630, java.lang.Object(Tree(o18019, o18020, i290)))
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, NULL, i290)), java.lang.Object(Tree(o18019, NULL, i290))) → Load13603ARR8(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, NULL, i290)), java.lang.Object(java.lang.String(i9577, i9576, i9578, a24141)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737)))
Load13603ARR8(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, java.lang.Object(Tree(NULL, NULL, i9577)), i290)), java.lang.Object(java.lang.String(i9577, i9576, i9578, a24141)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737))) → Cond_Load13603ARR8(i7628 + 1 > 0 && i7628 + 1 < i2 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, java.lang.Object(Tree(NULL, NULL, i9577)), i290)), java.lang.Object(java.lang.String(i9577, i9576, i9578, a24141)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737)))
Cond_Load13603ARR8(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(o18019, java.lang.Object(Tree(NULL, NULL, i9577)), i290)), java.lang.Object(java.lang.String(i9577, i9576, i9578, a24141)), java.lang.Object(java.lang.String(0, i7860, i7862, a19737))) → JMP18797(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1 + 1, i58, i7630, java.lang.Object(Tree(o18019, java.lang.Object(Tree(NULL, NULL, i9577)), i290)))
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(java.lang.Object(Tree(o18969Field0, o18969Field1, o18969Field2)), o18020, i290)), java.lang.Object(Tree(java.lang.Object(Tree(o18969Field0, o18969Field1, o18969Field2)), o18020, i290))) → Load13603ARR9(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(java.lang.Object(Tree(o18969Field0, o18969Field1, o18969Field2)), o18020, i290)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Load13603ARR9(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(java.lang.Object(Tree(o18969Field0, o18969Field1, o18969Field2)), o18020, i290)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Cond_Load13603ARR9(i7996 > 0 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(java.lang.Object(Tree(o18969Field0, o18969Field1, o18969Field2)), o18020, i290)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Cond_Load13603ARR9(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(java.lang.Object(Tree(o18969Field0, o18969Field1, o18969Field2)), o18020, i290)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → JMP15126(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1, i58, i7630, java.lang.Object(Tree(java.lang.Object(Tree(o18969Field0, o18969Field1, o18969Field2)), o18020, i290)), java.lang.Object(Tree(o18969Field0, o18969Field1, o18969Field2)))
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(NULL, o18020, i290)), java.lang.Object(Tree(NULL, o18020, i290))) → Load13603ARR10(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(NULL, o18020, i290)), java.lang.Object(java.lang.String(i9665, i9664, i9666, a24343)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Load13603ARR10(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, i9665)), o18020, i290)), java.lang.Object(java.lang.String(i9665, i9664, i9666, a24343)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Cond_Load13603ARR10(i7628 + 1 > 0 && i7628 + 1 < i2 && i7996 > 0 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, i9665)), o18020, i290)), java.lang.Object(java.lang.String(i9665, i9664, i9666, a24343)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Cond_Load13603ARR10(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, i9665)), o18020, i290)), java.lang.Object(java.lang.String(i9665, i9664, i9666, a24343)), java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → JMP18886(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1 + 1, i58, i7630, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, i9665)), o18020, i290)))
The set Q consists of the following terms:
Load715(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load715ARR1(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(0, x4, x5, x6)))
Cond_Load715ARR1(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(0, x4, x5, x6)))
Load13603(java.lang.Object(ARRAY(x0, x1)), x2, x3, 0, java.lang.Object(Tree(x4, x5, x6)), java.lang.Object(Tree(x7, x8, x9)))
Load715ARR2(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)), java.lang.Object(java.lang.String(x8, x9, x10, x11)))
Cond_Load715ARR2(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)), java.lang.Object(java.lang.String(x8, x9, x10, x11)))
Inc15077(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, x9, x10)))
Load13603(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, java.lang.Object(Tree(x9, x10, x11)), x12)))
Load13603ARR3(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, java.lang.Object(Tree(x9, x10, x11)), x12)), java.lang.Object(java.lang.String(0, x13, x14, x15)))
Cond_Load13603ARR3(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, java.lang.Object(Tree(x9, x10, x11)), x12)), java.lang.Object(java.lang.String(0, x13, x14, x15)))
Inc18978(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)))
JMP18797(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)))
Load13603(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, NULL, x9)))
Load13603ARR4(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, java.lang.Object(Tree(NULL, NULL, x9)), x10)), java.lang.Object(java.lang.String(x9, x11, x12, x13)), java.lang.Object(java.lang.String(0, x14, x15, x16)))
Cond_Load13603ARR4(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, java.lang.Object(Tree(NULL, NULL, x9)), x10)), java.lang.Object(java.lang.String(x9, x11, x12, x13)), java.lang.Object(java.lang.String(0, x14, x15, x16)))
Load13603ARR5(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, java.lang.Object(Tree(x6, x7, x8)), x9)), java.lang.Object(java.lang.String(0, x10, x11, x12)))
Cond_Load13603ARR5(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, java.lang.Object(Tree(x6, x7, x8)), x9)), java.lang.Object(java.lang.String(0, x10, x11, x12)))
JMP15126(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(x8, x9, x10)))
Load13603(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(java.lang.Object(Tree(x8, x9, x10)), x11, x12)))
Load13603ARR6(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(java.lang.Object(Tree(x8, x9, x10)), x11, x12)), java.lang.Object(java.lang.String(x13, x14, x15, x16)))
Cond_Load13603ARR6(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(java.lang.Object(Tree(x8, x9, x10)), x11, x12)), java.lang.Object(java.lang.String(x13, x14, x15, x16)))
JMP18886(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)))
Load13603(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(NULL, x8, x9)))
Load13603ARR7(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, x8)), x9, x10)), java.lang.Object(java.lang.String(x8, x11, x12, x13)), java.lang.Object(java.lang.String(x14, x15, x16, x17)))
Cond_Load13603ARR7(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, x6, x7)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, x8)), x9, x10)), java.lang.Object(java.lang.String(x8, x11, x12, x13)), java.lang.Object(java.lang.String(x14, x15, x16, x17)))
Load13603ARR8(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, java.lang.Object(Tree(NULL, NULL, x6)), x7)), java.lang.Object(java.lang.String(x6, x8, x9, x10)), java.lang.Object(java.lang.String(0, x11, x12, x13)))
Cond_Load13603ARR8(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(x5, java.lang.Object(Tree(NULL, NULL, x6)), x7)), java.lang.Object(java.lang.String(x6, x8, x9, x10)), java.lang.Object(java.lang.String(0, x11, x12, x13)))
Load13603ARR9(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(java.lang.Object(Tree(x5, x6, x7)), x8, x9)), java.lang.Object(java.lang.String(x10, x11, x12, x13)))
Cond_Load13603ARR9(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(java.lang.Object(Tree(x5, x6, x7)), x8, x9)), java.lang.Object(java.lang.String(x10, x11, x12, x13)))
Load13603ARR10(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, x5)), x6, x7)), java.lang.Object(java.lang.String(x5, x8, x9, x10)), java.lang.Object(java.lang.String(x11, x12, x13, x14)))
Cond_Load13603ARR10(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL, x5)), x6, x7)), java.lang.Object(java.lang.String(x5, x8, x9, x10)), java.lang.Object(java.lang.String(x11, x12, x13, x14)))

(17) ITRSFilterProcessorProof (SOUND transformation)

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

Load715ARR1(x1, x2, x3, x4) → Load715ARR1(x1, x2, x3)
Cond_Load715ARR1(x1, x2, x3, x4, x5) → Cond_Load715ARR1(x1, x2, x3, x4)
Load13603(x1, x2, x3, x4, x5, x6) → Load13603(x1, x2, x3, x4)
Tree(x1, x2, x3) → Tree
Load715ARR2(x1, x2, x3, x4, x5) → Load715ARR2(x1, x2, x3, x5)
Cond_Load715ARR2(x1, x2, x3, x4, x5, x6) → Cond_Load715ARR2(x1, x2, x3, x4, x6)
Inc15077(x1, x2, x3, x4, x5, x6) → Inc15077(x1, x2, x3, x4)
Load13603ARR3(x1, x2, x3, x4, x5, x6, x7) → Load13603ARR3(x1, x2, x3, x4)
Cond_Load13603ARR3(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_Load13603ARR3(x1, x2, x3, x4, x5)
Inc18978(x1, x2, x3, x4, x5) → Inc18978(x1, x2, x3, x4)
JMP18797(x1, x2, x3, x4, x5) → JMP18797(x1, x2, x3, x4)
Load13603ARR4(x1, x2, x3, x4, x5, x6, x7, x8) → Load13603ARR4(x1, x2, x3, x4)
Cond_Load13603ARR4(x1, x2, x3, x4, x5, x6, x7, x8, x9) → Cond_Load13603ARR4(x1, x2, x3, x4, x5)
Load13603ARR5(x1, x2, x3, x4, x5, x6) → Load13603ARR5(x1, x2, x3, x4)
Cond_Load13603ARR5(x1, x2, x3, x4, x5, x6, x7) → Cond_Load13603ARR5(x1, x2, x3, x4, x5)
JMP15126(x1, x2, x3, x4, x5, x6) → JMP15126(x1, x2, x3, x4)
Load13603ARR6(x1, x2, x3, x4, x5, x6, x7) → Load13603ARR6(x1, x2, x3, x4, x7)
Cond_Load13603ARR6(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_Load13603ARR6(x1, x2, x3, x4, x5, x8)
JMP18886(x1, x2, x3, x4, x5) → JMP18886(x1, x2, x3, x4)
Load13603ARR7(x1, x2, x3, x4, x5, x6, x7, x8) → Load13603ARR7(x1, x2, x3, x4, x8)
Cond_Load13603ARR7(x1, x2, x3, x4, x5, x6, x7, x8, x9) → Cond_Load13603ARR7(x1, x2, x3, x4, x5, x9)
Load13603ARR8(x1, x2, x3, x4, x5, x6, x7) → Load13603ARR8(x1, x2, x3, x4)
Cond_Load13603ARR8(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_Load13603ARR8(x1, x2, x3, x4, x5)
Load13603ARR9(x1, x2, x3, x4, x5, x6) → Load13603ARR9(x1, x2, x3, x4, x6)
Cond_Load13603ARR9(x1, x2, x3, x4, x5, x6, x7) → Cond_Load13603ARR9(x1, x2, x3, x4, x5, x7)
Load13603ARR10(x1, x2, x3, x4, x5, x6, x7) → Load13603ARR10(x1, x2, x3, x4, x7)
Cond_Load13603ARR10(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_Load13603ARR10(x1, x2, x3, x4, x5, x8)

(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

The TRS R consists of the following rules:
Load715(java.lang.Object(ARRAY(i2, a694data)), i56, i58) → Load715ARR1(java.lang.Object(ARRAY(i2, a694data)), i56, i58)
Load715ARR1(java.lang.Object(ARRAY(i2, a694data)), i56, i58) → Cond_Load715ARR1(i56 > 0 && i56 < i2 && i58 > 0 && i56 + 1 > 0, java.lang.Object(ARRAY(i2, a694data)), i56, i58)
Cond_Load715ARR1(TRUE, java.lang.Object(ARRAY(i2, a694data)), i56, i58) → Load715(java.lang.Object(ARRAY(i2, a694data)), i56 + 1, i58 + -1)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, 0) → Load715(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58 + -1)
Load715(java.lang.Object(ARRAY(i2, a694data)), i56, i58) → Load715ARR2(java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(i109, i86, i88, a823)))
Load715ARR2(java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(i109, i86, i88, a823))) → Cond_Load715ARR2(i56 + 1 > 0 && i56 + 1 < i2 && i109 > 0 && i56 > 0 && i56 < i2 && i58 > 0 && i56 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(i109, i86, i88, a823)))
Cond_Load715ARR2(TRUE, java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(i109, i86, i88, a823))) → Load13603(java.lang.Object(ARRAY(i2, a694data)), i56 + 1 + 1, i58, i109)
Inc15077(java.lang.Object(ARRAY(i2, a19203data)), i7710, i58, i7630) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7710, i58, i7630 + -1)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR3(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Load13603ARR3(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Cond_Load13603ARR3(i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Cond_Load13603ARR3(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1, i58, i7630 + -1)
Inc18978(java.lang.Object(ARRAY(i2, a19203data)), i8902, i58, i7630) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i8902, i58, i7630 + -1)
JMP18797(java.lang.Object(ARRAY(i2, a19203data)), i8902, i58, i7630) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i8902, i58, i7630 + -1)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR4(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Load13603ARR4(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Cond_Load13603ARR4(i7628 + 1 > 0 && i7628 + 1 < i2 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Cond_Load13603ARR4(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1 + 1, i58, i7630 + -1)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR5(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Load13603ARR5(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Cond_Load13603ARR5(i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Cond_Load13603ARR5(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Inc15077(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1, i58, i7630)
JMP15126(java.lang.Object(ARRAY(i2, a19203data)), i7710, i58, i7630) → Inc15077(java.lang.Object(ARRAY(i2, a19203data)), i7710, i58, i7630)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR6(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Load13603ARR6(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Cond_Load13603ARR6(i7996 > 0 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Cond_Load13603ARR6(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Inc15077(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1, i58, i7630)
JMP18886(java.lang.Object(ARRAY(i2, a19203data)), i8946, i58, i7630) → Inc18978(java.lang.Object(ARRAY(i2, a19203data)), i8946, i58, i7630)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR7(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Load13603ARR7(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Cond_Load13603ARR7(i7628 + 1 > 0 && i7628 + 1 < i2 && i7996 > 0 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Cond_Load13603ARR7(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Inc18978(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1 + 1, i58, i7630)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR8(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Load13603ARR8(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Cond_Load13603ARR8(i7628 + 1 > 0 && i7628 + 1 < i2 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Cond_Load13603ARR8(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → JMP18797(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1 + 1, i58, i7630)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR9(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Load13603ARR9(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Cond_Load13603ARR9(i7996 > 0 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Cond_Load13603ARR9(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → JMP15126(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1, i58, i7630)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR10(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Load13603ARR10(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Cond_Load13603ARR10(i7628 + 1 > 0 && i7628 + 1 < i2 && i7996 > 0 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Cond_Load13603ARR10(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → JMP18886(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1 + 1, i58, i7630)
The set Q consists of the following terms:
Load715(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load715ARR1(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Cond_Load715ARR1(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load715ARR2(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Cond_Load715ARR2(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Inc15077(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603ARR3(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Cond_Load13603ARR3(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Inc18978(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
JMP18797(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603ARR4(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Cond_Load13603ARR4(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603ARR5(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Cond_Load13603ARR5(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
JMP15126(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603ARR6(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Cond_Load13603ARR6(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
JMP18886(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603ARR7(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Cond_Load13603ARR7(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Load13603ARR8(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Cond_Load13603ARR8(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603ARR9(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Cond_Load13603ARR9(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Load13603ARR10(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Cond_Load13603ARR10(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))

(19) ITRSFSMergerProof (SOUND transformation)

The following function symbols have been merged:

Inc18978, JMP18797

Inc18978_4

(20) 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:
Load715(java.lang.Object(ARRAY(i2, a694data)), i56, i58) → Load715ARR1(java.lang.Object(ARRAY(i2, a694data)), i56, i58)
Load715ARR1(java.lang.Object(ARRAY(i2, a694data)), i56, i58) → Cond_Load715ARR1(i56 > 0 && i56 < i2 && i58 > 0 && i56 + 1 > 0, java.lang.Object(ARRAY(i2, a694data)), i56, i58)
Cond_Load715ARR1(TRUE, java.lang.Object(ARRAY(i2, a694data)), i56, i58) → Load715(java.lang.Object(ARRAY(i2, a694data)), i56 + 1, i58 + -1)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, 0) → Load715(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58 + -1)
Load715(java.lang.Object(ARRAY(i2, a694data)), i56, i58) → Load715ARR2(java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(i109, i86, i88, a823)))
Load715ARR2(java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(i109, i86, i88, a823))) → Cond_Load715ARR2(i56 + 1 > 0 && i56 + 1 < i2 && i109 > 0 && i56 > 0 && i56 < i2 && i58 > 0 && i56 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(i109, i86, i88, a823)))
Cond_Load715ARR2(TRUE, java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(i109, i86, i88, a823))) → Load13603(java.lang.Object(ARRAY(i2, a694data)), i56 + 1 + 1, i58, i109)
Inc15077(java.lang.Object(ARRAY(i2, a19203data)), i7710, i58, i7630) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7710, i58, i7630 + -1)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR3(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Load13603ARR3(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Cond_Load13603ARR3(i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Cond_Load13603ARR3(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1, i58, i7630 + -1)
Inc18978(java.lang.Object(ARRAY(i2, a19203data)), i8902, i58, i7630) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i8902, i58, i7630 + -1)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR4(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Load13603ARR4(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Cond_Load13603ARR4(i7628 + 1 > 0 && i7628 + 1 < i2 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Cond_Load13603ARR4(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1 + 1, i58, i7630 + -1)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR5(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Load13603ARR5(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Cond_Load13603ARR5(i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Cond_Load13603ARR5(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Inc15077(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1, i58, i7630)
JMP15126(java.lang.Object(ARRAY(i2, a19203data)), i7710, i58, i7630) → Inc15077(java.lang.Object(ARRAY(i2, a19203data)), i7710, i58, i7630)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR6(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Load13603ARR6(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Cond_Load13603ARR6(i7996 > 0 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Cond_Load13603ARR6(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Inc15077(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1, i58, i7630)
JMP18886(java.lang.Object(ARRAY(i2, a19203data)), i8946, i58, i7630) → Inc18978(java.lang.Object(ARRAY(i2, a19203data)), i8946, i58, i7630)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR7(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Load13603ARR7(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Cond_Load13603ARR7(i7628 + 1 > 0 && i7628 + 1 < i2 && i7996 > 0 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Cond_Load13603ARR7(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Inc18978(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1 + 1, i58, i7630)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR8(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Load13603ARR8(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Cond_Load13603ARR8(i7628 + 1 > 0 && i7628 + 1 < i2 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Cond_Load13603ARR8(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Inc18978(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1 + 1, i58, i7630)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR9(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Load13603ARR9(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Cond_Load13603ARR9(i7996 > 0 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Cond_Load13603ARR9(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → JMP15126(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1, i58, i7630)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR10(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Load13603ARR10(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Cond_Load13603ARR10(i7628 + 1 > 0 && i7628 + 1 < i2 && i7996 > 0 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Cond_Load13603ARR10(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → JMP18886(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1 + 1, i58, i7630)
The set Q consists of the following terms:
Load715(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load715ARR1(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Cond_Load715ARR1(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load715ARR2(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Cond_Load715ARR2(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Inc15077(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603ARR3(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Cond_Load13603ARR3(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Inc18978(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603ARR4(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Cond_Load13603ARR4(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603ARR5(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Cond_Load13603ARR5(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
JMP15126(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603ARR6(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Cond_Load13603ARR6(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
JMP18886(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603ARR7(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Cond_Load13603ARR7(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Load13603ARR8(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Cond_Load13603ARR8(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603ARR9(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Cond_Load13603ARR9(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Load13603ARR10(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Cond_Load13603ARR10(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))

(21) ITRStoIDPProof (EQUIVALENT transformation)

Added dependency pairs

(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

The ITRS R consists of the following rules:
Load715(java.lang.Object(ARRAY(i2, a694data)), i56, i58) → Load715ARR1(java.lang.Object(ARRAY(i2, a694data)), i56, i58)
Load715ARR1(java.lang.Object(ARRAY(i2, a694data)), i56, i58) → Cond_Load715ARR1(i56 > 0 && i56 < i2 && i58 > 0 && i56 + 1 > 0, java.lang.Object(ARRAY(i2, a694data)), i56, i58)
Cond_Load715ARR1(TRUE, java.lang.Object(ARRAY(i2, a694data)), i56, i58) → Load715(java.lang.Object(ARRAY(i2, a694data)), i56 + 1, i58 + -1)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, 0) → Load715(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58 + -1)
Load715(java.lang.Object(ARRAY(i2, a694data)), i56, i58) → Load715ARR2(java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(i109, i86, i88, a823)))
Load715ARR2(java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(i109, i86, i88, a823))) → Cond_Load715ARR2(i56 + 1 > 0 && i56 + 1 < i2 && i109 > 0 && i56 > 0 && i56 < i2 && i58 > 0 && i56 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(i109, i86, i88, a823)))
Cond_Load715ARR2(TRUE, java.lang.Object(ARRAY(i2, a694data)), i56, i58, java.lang.Object(java.lang.String(i109, i86, i88, a823))) → Load13603(java.lang.Object(ARRAY(i2, a694data)), i56 + 1 + 1, i58, i109)
Inc15077(java.lang.Object(ARRAY(i2, a19203data)), i7710, i58, i7630) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7710, i58, i7630 + -1)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR3(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Load13603ARR3(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Cond_Load13603ARR3(i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Cond_Load13603ARR3(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1, i58, i7630 + -1)
Inc18978(java.lang.Object(ARRAY(i2, a19203data)), i8902, i58, i7630) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i8902, i58, i7630 + -1)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR4(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Load13603ARR4(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Cond_Load13603ARR4(i7628 + 1 > 0 && i7628 + 1 < i2 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Cond_Load13603ARR4(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1 + 1, i58, i7630 + -1)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR5(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Load13603ARR5(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Cond_Load13603ARR5(i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Cond_Load13603ARR5(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Inc15077(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1, i58, i7630)
JMP15126(java.lang.Object(ARRAY(i2, a19203data)), i7710, i58, i7630) → Inc15077(java.lang.Object(ARRAY(i2, a19203data)), i7710, i58, i7630)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR6(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Load13603ARR6(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Cond_Load13603ARR6(i7996 > 0 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Cond_Load13603ARR6(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Inc15077(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1, i58, i7630)
JMP18886(java.lang.Object(ARRAY(i2, a19203data)), i8946, i58, i7630) → Inc18978(java.lang.Object(ARRAY(i2, a19203data)), i8946, i58, i7630)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR7(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Load13603ARR7(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Cond_Load13603ARR7(i7628 + 1 > 0 && i7628 + 1 < i2 && i7996 > 0 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Cond_Load13603ARR7(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Inc18978(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1 + 1, i58, i7630)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR8(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Load13603ARR8(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Cond_Load13603ARR8(i7628 + 1 > 0 && i7628 + 1 < i2 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630)
Cond_Load13603ARR8(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Inc18978(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1 + 1, i58, i7630)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR9(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Load13603ARR9(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Cond_Load13603ARR9(i7996 > 0 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Cond_Load13603ARR9(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → JMP15126(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1, i58, i7630)
Load13603(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630) → Load13603ARR10(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Load13603ARR10(java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → Cond_Load13603ARR10(i7628 + 1 > 0 && i7628 + 1 < i2 && i7996 > 0 && i7628 > 0 && i7628 < i2 && i7630 > 0 && i7628 + 1 + 1 > 0, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737)))
Cond_Load13603ARR10(TRUE, java.lang.Object(ARRAY(i2, a19203data)), i7628, i58, i7630, java.lang.Object(java.lang.String(i7996, i7860, i7862, a19737))) → JMP18886(java.lang.Object(ARRAY(i2, a19203data)), i7628 + 1 + 1, i58, i7630)

The integer pair graph contains the following rules and edges:
(0): LOAD715(java.lang.Object(ARRAY(i2[0], a694data[0])), i56[0], i58[0]) → LOAD715ARR1(java.lang.Object(ARRAY(i2[0], a694data[0])), i56[0], i58[0])
(1): LOAD715ARR1(java.lang.Object(ARRAY(i2[1], a694data[1])), i56[1], i58[1]) → COND_LOAD715ARR1(i56[1] > 0 && i56[1] < i2[1] && i58[1] > 0 && i56[1] + 1 > 0, java.lang.Object(ARRAY(i2[1], a694data[1])), i56[1], i58[1])
(2): COND_LOAD715ARR1(TRUE, java.lang.Object(ARRAY(i2[2], a694data[2])), i56[2], i58[2]) → LOAD715(java.lang.Object(ARRAY(i2[2], a694data[2])), i56[2] + 1, i58[2] + -1)
(3): LOAD13603(java.lang.Object(ARRAY(i2[3], a19203data[3])), i7628[3], i58[3], 0) → LOAD715(java.lang.Object(ARRAY(i2[3], a19203data[3])), i7628[3], i58[3] + -1)
(4): LOAD715(java.lang.Object(ARRAY(i2[4], a694data[4])), i56[4], i58[4]) → LOAD715ARR2(java.lang.Object(ARRAY(i2[4], a694data[4])), i56[4], i58[4], java.lang.Object(java.lang.String(i109[4], i86[4], i88[4], a823[4])))
(5): LOAD715ARR2(java.lang.Object(ARRAY(i2[5], a694data[5])), i56[5], i58[5], java.lang.Object(java.lang.String(i109[5], i86[5], i88[5], a823[5]))) → COND_LOAD715ARR2(i56[5] + 1 > 0 && i56[5] + 1 < i2[5] && i109[5] > 0 && i56[5] > 0 && i56[5] < i2[5] && i58[5] > 0 && i56[5] + 1 + 1 > 0, java.lang.Object(ARRAY(i2[5], a694data[5])), i56[5], i58[5], java.lang.Object(java.lang.String(i109[5], i86[5], i88[5], a823[5])))
(6): COND_LOAD715ARR2(TRUE, java.lang.Object(ARRAY(i2[6], a694data[6])), i56[6], i58[6], java.lang.Object(java.lang.String(i109[6], i86[6], i88[6], a823[6]))) → LOAD13603(java.lang.Object(ARRAY(i2[6], a694data[6])), i56[6] + 1 + 1, i58[6], i109[6])
(7): INC15077(java.lang.Object(ARRAY(i2[7], a19203data[7])), i7710[7], i58[7], i7630[7]) → LOAD13603(java.lang.Object(ARRAY(i2[7], a19203data[7])), i7710[7], i58[7], i7630[7] + -1)
(8): LOAD13603(java.lang.Object(ARRAY(i2[8], a19203data[8])), i7628[8], i58[8], i7630[8]) → LOAD13603ARR3(java.lang.Object(ARRAY(i2[8], a19203data[8])), i7628[8], i58[8], i7630[8])
(9): LOAD13603ARR3(java.lang.Object(ARRAY(i2[9], a19203data[9])), i7628[9], i58[9], i7630[9]) → COND_LOAD13603ARR3(i7628[9] > 0 && i7628[9] < i2[9] && i7630[9] > 0 && i7628[9] + 1 > 0, java.lang.Object(ARRAY(i2[9], a19203data[9])), i7628[9], i58[9], i7630[9])
(10): COND_LOAD13603ARR3(TRUE, java.lang.Object(ARRAY(i2[10], a19203data[10])), i7628[10], i58[10], i7630[10]) → LOAD13603(java.lang.Object(ARRAY(i2[10], a19203data[10])), i7628[10] + 1, i58[10], i7630[10] + -1)
(11): INC18978(java.lang.Object(ARRAY(i2[11], a19203data[11])), i8902[11], i58[11], i7630[11]) → LOAD13603(java.lang.Object(ARRAY(i2[11], a19203data[11])), i8902[11], i58[11], i7630[11] + -1)
(12): LOAD13603(java.lang.Object(ARRAY(i2[12], a19203data[12])), i7628[12], i58[12], i7630[12]) → LOAD13603ARR4(java.lang.Object(ARRAY(i2[12], a19203data[12])), i7628[12], i58[12], i7630[12])
(13): LOAD13603ARR4(java.lang.Object(ARRAY(i2[13], a19203data[13])), i7628[13], i58[13], i7630[13]) → COND_LOAD13603ARR4(i7628[13] + 1 > 0 && i7628[13] + 1 < i2[13] && i7628[13] > 0 && i7628[13] < i2[13] && i7630[13] > 0 && i7628[13] + 1 + 1 > 0, java.lang.Object(ARRAY(i2[13], a19203data[13])), i7628[13], i58[13], i7630[13])
(14): COND_LOAD13603ARR4(TRUE, java.lang.Object(ARRAY(i2[14], a19203data[14])), i7628[14], i58[14], i7630[14]) → LOAD13603(java.lang.Object(ARRAY(i2[14], a19203data[14])), i7628[14] + 1 + 1, i58[14], i7630[14] + -1)
(15): LOAD13603(java.lang.Object(ARRAY(i2[15], a19203data[15])), i7628[15], i58[15], i7630[15]) → LOAD13603ARR5(java.lang.Object(ARRAY(i2[15], a19203data[15])), i7628[15], i58[15], i7630[15])
(16): LOAD13603ARR5(java.lang.Object(ARRAY(i2[16], a19203data[16])), i7628[16], i58[16], i7630[16]) → COND_LOAD13603ARR5(i7628[16] > 0 && i7628[16] < i2[16] && i7630[16] > 0 && i7628[16] + 1 > 0, java.lang.Object(ARRAY(i2[16], a19203data[16])), i7628[16], i58[16], i7630[16])
(17): COND_LOAD13603ARR5(TRUE, java.lang.Object(ARRAY(i2[17], a19203data[17])), i7628[17], i58[17], i7630[17]) → INC15077(java.lang.Object(ARRAY(i2[17], a19203data[17])), i7628[17] + 1, i58[17], i7630[17])
(18): JMP15126'(java.lang.Object(ARRAY(i2[18], a19203data[18])), i7710[18], i58[18], i7630[18]) → INC15077(java.lang.Object(ARRAY(i2[18], a19203data[18])), i7710[18], i58[18], i7630[18])
(19): LOAD13603(java.lang.Object(ARRAY(i2[19], a19203data[19])), i7628[19], i58[19], i7630[19]) → LOAD13603ARR6(java.lang.Object(ARRAY(i2[19], a19203data[19])), i7628[19], i58[19], i7630[19], java.lang.Object(java.lang.String(i7996[19], i7860[19], i7862[19], a19737[19])))
(20): LOAD13603ARR6(java.lang.Object(ARRAY(i2[20], a19203data[20])), i7628[20], i58[20], i7630[20], java.lang.Object(java.lang.String(i7996[20], i7860[20], i7862[20], a19737[20]))) → COND_LOAD13603ARR6(i7996[20] > 0 && i7628[20] > 0 && i7628[20] < i2[20] && i7630[20] > 0 && i7628[20] + 1 > 0, java.lang.Object(ARRAY(i2[20], a19203data[20])), i7628[20], i58[20], i7630[20], java.lang.Object(java.lang.String(i7996[20], i7860[20], i7862[20], a19737[20])))
(21): COND_LOAD13603ARR6(TRUE, java.lang.Object(ARRAY(i2[21], a19203data[21])), i7628[21], i58[21], i7630[21], java.lang.Object(java.lang.String(i7996[21], i7860[21], i7862[21], a19737[21]))) → INC15077(java.lang.Object(ARRAY(i2[21], a19203data[21])), i7628[21] + 1, i58[21], i7630[21])
(22): JMP18886'(java.lang.Object(ARRAY(i2[22], a19203data[22])), i8946[22], i58[22], i7630[22]) → INC18978(java.lang.Object(ARRAY(i2[22], a19203data[22])), i8946[22], i58[22], i7630[22])
(23): LOAD13603(java.lang.Object(ARRAY(i2[23], a19203data[23])), i7628[23], i58[23], i7630[23]) → LOAD13603ARR7(java.lang.Object(ARRAY(i2[23], a19203data[23])), i7628[23], i58[23], i7630[23], java.lang.Object(java.lang.String(i7996[23], i7860[23], i7862[23], a19737[23])))
(24): LOAD13603ARR7(java.lang.Object(ARRAY(i2[24], a19203data[24])), i7628[24], i58[24], i7630[24], java.lang.Object(java.lang.String(i7996[24], i7860[24], i7862[24], a19737[24]))) → COND_LOAD13603ARR7(i7628[24] + 1 > 0 && i7628[24] + 1 < i2[24] && i7996[24] > 0 && i7628[24] > 0 && i7628[24] < i2[24] && i7630[24] > 0 && i7628[24] + 1 + 1 > 0, java.lang.Object(ARRAY(i2[24], a19203data[24])), i7628[24], i58[24], i7630[24], java.lang.Object(java.lang.String(i7996[24], i7860[24], i7862[24], a19737[24])))
(25): COND_LOAD13603ARR7(TRUE, java.lang.Object(ARRAY(i2[25], a19203data[25])), i7628[25], i58[25], i7630[25], java.lang.Object(java.lang.String(i7996[25], i7860[25], i7862[25], a19737[25]))) → INC18978(java.lang.Object(ARRAY(i2[25], a19203data[25])), i7628[25] + 1 + 1, i58[25], i7630[25])
(26): LOAD13603(java.lang.Object(ARRAY(i2[26], a19203data[26])), i7628[26], i58[26], i7630[26]) → LOAD13603ARR8(java.lang.Object(ARRAY(i2[26], a19203data[26])), i7628[26], i58[26], i7630[26])
(27): LOAD13603ARR8(java.lang.Object(ARRAY(i2[27], a19203data[27])), i7628[27], i58[27], i7630[27]) → COND_LOAD13603ARR8(i7628[27] + 1 > 0 && i7628[27] + 1 < i2[27] && i7628[27] > 0 && i7628[27] < i2[27] && i7630[27] > 0 && i7628[27] + 1 + 1 > 0, java.lang.Object(ARRAY(i2[27], a19203data[27])), i7628[27], i58[27], i7630[27])
(28): COND_LOAD13603ARR8(TRUE, java.lang.Object(ARRAY(i2[28], a19203data[28])), i7628[28], i58[28], i7630[28]) → INC18978(java.lang.Object(ARRAY(i2[28], a19203data[28])), i7628[28] + 1 + 1, i58[28], i7630[28])
(29): LOAD13603(java.lang.Object(ARRAY(i2[29], a19203data[29])), i7628[29], i58[29], i7630[29]) → LOAD13603ARR9(java.lang.Object(ARRAY(i2[29], a19203data[29])), i7628[29], i58[29], i7630[29], java.lang.Object(java.lang.String(i7996[29], i7860[29], i7862[29], a19737[29])))
(30): LOAD13603ARR9(java.lang.Object(ARRAY(i2[30], a19203data[30])), i7628[30], i58[30], i7630[30], java.lang.Object(java.lang.String(i7996[30], i7860[30], i7862[30], a19737[30]))) → COND_LOAD13603ARR9(i7996[30] > 0 && i7628[30] > 0 && i7628[30] < i2[30] && i7630[30] > 0 && i7628[30] + 1 > 0, java.lang.Object(ARRAY(i2[30], a19203data[30])), i7628[30], i58[30], i7630[30], java.lang.Object(java.lang.String(i7996[30], i7860[30], i7862[30], a19737[30])))
(31): COND_LOAD13603ARR9(TRUE, java.lang.Object(ARRAY(i2[31], a19203data[31])), i7628[31], i58[31], i7630[31], java.lang.Object(java.lang.String(i7996[31], i7860[31], i7862[31], a19737[31]))) → JMP15126'(java.lang.Object(ARRAY(i2[31], a19203data[31])), i7628[31] + 1, i58[31], i7630[31])
(32): LOAD13603(java.lang.Object(ARRAY(i2[32], a19203data[32])), i7628[32], i58[32], i7630[32]) → LOAD13603ARR10(java.lang.Object(ARRAY(i2[32], a19203data[32])), i7628[32], i58[32], i7630[32], java.lang.Object(java.lang.String(i7996[32], i7860[32], i7862[32], a19737[32])))
(33): LOAD13603ARR10(java.lang.Object(ARRAY(i2[33], a19203data[33])), i7628[33], i58[33], i7630[33], java.lang.Object(java.lang.String(i7996[33], i7860[33], i7862[33], a19737[33]))) → COND_LOAD13603ARR10(i7628[33] + 1 > 0 && i7628[33] + 1 < i2[33] && i7996[33] > 0 && i7628[33] > 0 && i7628[33] < i2[33] && i7630[33] > 0 && i7628[33] + 1 + 1 > 0, java.lang.Object(ARRAY(i2[33], a19203data[33])), i7628[33], i58[33], i7630[33], java.lang.Object(java.lang.String(i7996[33], i7860[33], i7862[33], a19737[33])))
(34): COND_LOAD13603ARR10(TRUE, java.lang.Object(ARRAY(i2[34], a19203data[34])), i7628[34], i58[34], i7630[34], java.lang.Object(java.lang.String(i7996[34], i7860[34], i7862[34], a19737[34]))) → JMP18886'(java.lang.Object(ARRAY(i2[34], a19203data[34])), i7628[34] + 1 + 1, i58[34], i7630[34])

(0) -> (1), if ((i58[0] →^* i58[1])∧(i56[0] →^* i56[1])∧(java.lang.Object(ARRAY(i2[0], a694data[0])) →^* java.lang.Object(ARRAY(i2[1], a694data[1]))))

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

(2) -> (0), if ((i56[2] + 1 →^* i56[0])∧(i58[2] + -1 →^* i58[0])∧(java.lang.Object(ARRAY(i2[2], a694data[2])) →^* java.lang.Object(ARRAY(i2[0], a694data[0]))))

(2) -> (4), if ((i58[2] + -1 →^* i58[4])∧(java.lang.Object(ARRAY(i2[2], a694data[2])) →^* java.lang.Object(ARRAY(i2[4], a694data[4])))∧(i56[2] + 1 →^* i56[4]))

(3) -> (0), if ((java.lang.Object(ARRAY(i2[3], a19203data[3])) →^* java.lang.Object(ARRAY(i2[0], a694data[0])))∧(i7628[3] →^* i56[0])∧(i58[3] + -1 →^* i58[0]))

(3) -> (4), if ((i58[3] + -1 →^* i58[4])∧(java.lang.Object(ARRAY(i2[3], a19203data[3])) →^* java.lang.Object(ARRAY(i2[4], a694data[4])))∧(i7628[3] →^* i56[4]))

(4) -> (5), if ((java.lang.Object(java.lang.String(i109[4], i86[4], i88[4], a823[4])) →^* java.lang.Object(java.lang.String(i109[5], i86[5], i88[5], a823[5])))∧(i56[4] →^* i56[5])∧(java.lang.Object(ARRAY(i2[4], a694data[4])) →^* java.lang.Object(ARRAY(i2[5], a694data[5])))∧(i58[4] →^* i58[5]))

(5) -> (6), if ((i56[5] + 1 > 0 && i56[5] + 1 < i2[5] && i109[5] > 0 && i56[5] > 0 && i56[5] < i2[5] && i58[5] > 0 && i56[5] + 1 + 1 > 0 →^* TRUE)∧(i58[5] →^* i58[6])∧(java.lang.Object(java.lang.String(i109[5], i86[5], i88[5], a823[5])) →^* java.lang.Object(java.lang.String(i109[6], i86[6], i88[6], a823[6])))∧(i56[5] →^* i56[6])∧(java.lang.Object(ARRAY(i2[5], a694data[5])) →^* java.lang.Object(ARRAY(i2[6], a694data[6]))))

(6) -> (3), if ((i58[6] →^* i58[3])∧(i109[6] →^* 0)∧(java.lang.Object(ARRAY(i2[6], a694data[6])) →^* java.lang.Object(ARRAY(i2[3], a19203data[3])))∧(i56[6] + 1 + 1 →^* i7628[3]))

(6) -> (8), if ((java.lang.Object(ARRAY(i2[6], a694data[6])) →^* java.lang.Object(ARRAY(i2[8], a19203data[8])))∧(i58[6] →^* i58[8])∧(i109[6] →^* i7630[8])∧(i56[6] + 1 + 1 →^* i7628[8]))

(6) -> (12), if ((java.lang.Object(ARRAY(i2[6], a694data[6])) →^* java.lang.Object(ARRAY(i2[12], a19203data[12])))∧(i58[6] →^* i58[12])∧(i56[6] + 1 + 1 →^* i7628[12])∧(i109[6] →^* i7630[12]))

(6) -> (15), if ((i109[6] →^* i7630[15])∧(i58[6] →^* i58[15])∧(java.lang.Object(ARRAY(i2[6], a694data[6])) →^* java.lang.Object(ARRAY(i2[15], a19203data[15])))∧(i56[6] + 1 + 1 →^* i7628[15]))

(6) -> (19), if ((i109[6] →^* i7630[19])∧(i58[6] →^* i58[19])∧(i56[6] + 1 + 1 →^* i7628[19])∧(java.lang.Object(ARRAY(i2[6], a694data[6])) →^* java.lang.Object(ARRAY(i2[19], a19203data[19]))))

(6) -> (23), if ((java.lang.Object(ARRAY(i2[6], a694data[6])) →^* java.lang.Object(ARRAY(i2[23], a19203data[23])))∧(i109[6] →^* i7630[23])∧(i56[6] + 1 + 1 →^* i7628[23])∧(i58[6] →^* i58[23]))

(6) -> (26), if ((i56[6] + 1 + 1 →^* i7628[26])∧(i58[6] →^* i58[26])∧(java.lang.Object(ARRAY(i2[6], a694data[6])) →^* java.lang.Object(ARRAY(i2[26], a19203data[26])))∧(i109[6] →^* i7630[26]))

(6) -> (29), if ((i56[6] + 1 + 1 →^* i7628[29])∧(i109[6] →^* i7630[29])∧(java.lang.Object(ARRAY(i2[6], a694data[6])) →^* java.lang.Object(ARRAY(i2[29], a19203data[29])))∧(i58[6] →^* i58[29]))

(6) -> (32), if ((i58[6] →^* i58[32])∧(i109[6] →^* i7630[32])∧(i56[6] + 1 + 1 →^* i7628[32])∧(java.lang.Object(ARRAY(i2[6], a694data[6])) →^* java.lang.Object(ARRAY(i2[32], a19203data[32]))))

(7) -> (3), if ((i58[7] →^* i58[3])∧(i7710[7] →^* i7628[3])∧(java.lang.Object(ARRAY(i2[7], a19203data[7])) →^* java.lang.Object(ARRAY(i2[3], a19203data[3])))∧(i7630[7] + -1 →^* 0))

(7) -> (8), if ((i58[7] →^* i58[8])∧(i7630[7] + -1 →^* i7630[8])∧(java.lang.Object(ARRAY(i2[7], a19203data[7])) →^* java.lang.Object(ARRAY(i2[8], a19203data[8])))∧(i7710[7] →^* i7628[8]))

(7) -> (12), if ((i7710[7] →^* i7628[12])∧(i58[7] →^* i58[12])∧(java.lang.Object(ARRAY(i2[7], a19203data[7])) →^* java.lang.Object(ARRAY(i2[12], a19203data[12])))∧(i7630[7] + -1 →^* i7630[12]))

(7) -> (15), if ((i7710[7] →^* i7628[15])∧(java.lang.Object(ARRAY(i2[7], a19203data[7])) →^* java.lang.Object(ARRAY(i2[15], a19203data[15])))∧(i7630[7] + -1 →^* i7630[15])∧(i58[7] →^* i58[15]))

(7) -> (19), if ((i58[7] →^* i58[19])∧(i7710[7] →^* i7628[19])∧(java.lang.Object(ARRAY(i2[7], a19203data[7])) →^* java.lang.Object(ARRAY(i2[19], a19203data[19])))∧(i7630[7] + -1 →^* i7630[19]))

(7) -> (23), if ((java.lang.Object(ARRAY(i2[7], a19203data[7])) →^* java.lang.Object(ARRAY(i2[23], a19203data[23])))∧(i58[7] →^* i58[23])∧(i7630[7] + -1 →^* i7630[23])∧(i7710[7] →^* i7628[23]))

(7) -> (26), if ((i7710[7] →^* i7628[26])∧(i58[7] →^* i58[26])∧(java.lang.Object(ARRAY(i2[7], a19203data[7])) →^* java.lang.Object(ARRAY(i2[26], a19203data[26])))∧(i7630[7] + -1 →^* i7630[26]))

(7) -> (29), if ((i58[7] →^* i58[29])∧(java.lang.Object(ARRAY(i2[7], a19203data[7])) →^* java.lang.Object(ARRAY(i2[29], a19203data[29])))∧(i7630[7] + -1 →^* i7630[29])∧(i7710[7] →^* i7628[29]))

(7) -> (32), if ((i58[7] →^* i58[32])∧(java.lang.Object(ARRAY(i2[7], a19203data[7])) →^* java.lang.Object(ARRAY(i2[32], a19203data[32])))∧(i7710[7] →^* i7628[32])∧(i7630[7] + -1 →^* i7630[32]))

(8) -> (9), if ((java.lang.Object(ARRAY(i2[8], a19203data[8])) →^* java.lang.Object(ARRAY(i2[9], a19203data[9])))∧(i58[8] →^* i58[9])∧(i7630[8] →^* i7630[9])∧(i7628[8] →^* i7628[9]))

(9) -> (10), if ((i58[9] →^* i58[10])∧(i7628[9] > 0 && i7628[9] < i2[9] && i7630[9] > 0 && i7628[9] + 1 > 0 →^* TRUE)∧(java.lang.Object(ARRAY(i2[9], a19203data[9])) →^* java.lang.Object(ARRAY(i2[10], a19203data[10])))∧(i7628[9] →^* i7628[10])∧(i7630[9] →^* i7630[10]))

(10) -> (3), if ((i58[10] →^* i58[3])∧(i7628[10] + 1 →^* i7628[3])∧(java.lang.Object(ARRAY(i2[10], a19203data[10])) →^* java.lang.Object(ARRAY(i2[3], a19203data[3])))∧(i7630[10] + -1 →^* 0))

(10) -> (8), if ((i7630[10] + -1 →^* i7630[8])∧(java.lang.Object(ARRAY(i2[10], a19203data[10])) →^* java.lang.Object(ARRAY(i2[8], a19203data[8])))∧(i58[10] →^* i58[8])∧(i7628[10] + 1 →^* i7628[8]))

(10) -> (12), if ((i58[10] →^* i58[12])∧(java.lang.Object(ARRAY(i2[10], a19203data[10])) →^* java.lang.Object(ARRAY(i2[12], a19203data[12])))∧(i7630[10] + -1 →^* i7630[12])∧(i7628[10] + 1 →^* i7628[12]))

(10) -> (15), if ((java.lang.Object(ARRAY(i2[10], a19203data[10])) →^* java.lang.Object(ARRAY(i2[15], a19203data[15])))∧(i7630[10] + -1 →^* i7630[15])∧(i7628[10] + 1 →^* i7628[15])∧(i58[10] →^* i58[15]))

(10) -> (19), if ((i58[10] →^* i58[19])∧(java.lang.Object(ARRAY(i2[10], a19203data[10])) →^* java.lang.Object(ARRAY(i2[19], a19203data[19])))∧(i7630[10] + -1 →^* i7630[19])∧(i7628[10] + 1 →^* i7628[19]))

(10) -> (23), if ((i7630[10] + -1 →^* i7630[23])∧(i58[10] →^* i58[23])∧(java.lang.Object(ARRAY(i2[10], a19203data[10])) →^* java.lang.Object(ARRAY(i2[23], a19203data[23])))∧(i7628[10] + 1 →^* i7628[23]))

(10) -> (26), if ((java.lang.Object(ARRAY(i2[10], a19203data[10])) →^* java.lang.Object(ARRAY(i2[26], a19203data[26])))∧(i7628[10] + 1 →^* i7628[26])∧(i7630[10] + -1 →^* i7630[26])∧(i58[10] →^* i58[26]))

(10) -> (29), if ((i7630[10] + -1 →^* i7630[29])∧(java.lang.Object(ARRAY(i2[10], a19203data[10])) →^* java.lang.Object(ARRAY(i2[29], a19203data[29])))∧(i7628[10] + 1 →^* i7628[29])∧(i58[10] →^* i58[29]))

(10) -> (32), if ((i7630[10] + -1 →^* i7630[32])∧(i58[10] →^* i58[32])∧(java.lang.Object(ARRAY(i2[10], a19203data[10])) →^* java.lang.Object(ARRAY(i2[32], a19203data[32])))∧(i7628[10] + 1 →^* i7628[32]))

(11) -> (3), if ((i8902[11] →^* i7628[3])∧(i7630[11] + -1 →^* 0)∧(java.lang.Object(ARRAY(i2[11], a19203data[11])) →^* java.lang.Object(ARRAY(i2[3], a19203data[3])))∧(i58[11] →^* i58[3]))

(11) -> (8), if ((i8902[11] →^* i7628[8])∧(java.lang.Object(ARRAY(i2[11], a19203data[11])) →^* java.lang.Object(ARRAY(i2[8], a19203data[8])))∧(i7630[11] + -1 →^* i7630[8])∧(i58[11] →^* i58[8]))

(11) -> (12), if ((i58[11] →^* i58[12])∧(i8902[11] →^* i7628[12])∧(i7630[11] + -1 →^* i7630[12])∧(java.lang.Object(ARRAY(i2[11], a19203data[11])) →^* java.lang.Object(ARRAY(i2[12], a19203data[12]))))

(11) -> (15), if ((i8902[11] →^* i7628[15])∧(i7630[11] + -1 →^* i7630[15])∧(java.lang.Object(ARRAY(i2[11], a19203data[11])) →^* java.lang.Object(ARRAY(i2[15], a19203data[15])))∧(i58[11] →^* i58[15]))

(11) -> (19), if ((i8902[11] →^* i7628[19])∧(java.lang.Object(ARRAY(i2[11], a19203data[11])) →^* java.lang.Object(ARRAY(i2[19], a19203data[19])))∧(i7630[11] + -1 →^* i7630[19])∧(i58[11] →^* i58[19]))

(11) -> (23), if ((i8902[11] →^* i7628[23])∧(i58[11] →^* i58[23])∧(java.lang.Object(ARRAY(i2[11], a19203data[11])) →^* java.lang.Object(ARRAY(i2[23], a19203data[23])))∧(i7630[11] + -1 →^* i7630[23]))

(11) -> (26), if ((i58[11] →^* i58[26])∧(java.lang.Object(ARRAY(i2[11], a19203data[11])) →^* java.lang.Object(ARRAY(i2[26], a19203data[26])))∧(i8902[11] →^* i7628[26])∧(i7630[11] + -1 →^* i7630[26]))

(11) -> (29), if ((i7630[11] + -1 →^* i7630[29])∧(i8902[11] →^* i7628[29])∧(i58[11] →^* i58[29])∧(java.lang.Object(ARRAY(i2[11], a19203data[11])) →^* java.lang.Object(ARRAY(i2[29], a19203data[29]))))

(11) -> (32), if ((i8902[11] →^* i7628[32])∧(i58[11] →^* i58[32])∧(java.lang.Object(ARRAY(i2[11], a19203data[11])) →^* java.lang.Object(ARRAY(i2[32], a19203data[32])))∧(i7630[11] + -1 →^* i7630[32]))

(12) -> (13), if ((i7630[12] →^* i7630[13])∧(i58[12] →^* i58[13])∧(i7628[12] →^* i7628[13])∧(java.lang.Object(ARRAY(i2[12], a19203data[12])) →^* java.lang.Object(ARRAY(i2[13], a19203data[13]))))

(13) -> (14), if ((i7628[13] →^* i7628[14])∧(java.lang.Object(ARRAY(i2[13], a19203data[13])) →^* java.lang.Object(ARRAY(i2[14], a19203data[14])))∧(i7628[13] + 1 > 0 && i7628[13] + 1 < i2[13] && i7628[13] > 0 && i7628[13] < i2[13] && i7630[13] > 0 && i7628[13] + 1 + 1 > 0 →^* TRUE)∧(i7630[13] →^* i7630[14])∧(i58[13] →^* i58[14]))

(14) -> (3), if ((java.lang.Object(ARRAY(i2[14], a19203data[14])) →^* java.lang.Object(ARRAY(i2[3], a19203data[3])))∧(i7628[14] + 1 + 1 →^* i7628[3])∧(i7630[14] + -1 →^* 0)∧(i58[14] →^* i58[3]))

(14) -> (8), if ((i7630[14] + -1 →^* i7630[8])∧(i7628[14] + 1 + 1 →^* i7628[8])∧(java.lang.Object(ARRAY(i2[14], a19203data[14])) →^* java.lang.Object(ARRAY(i2[8], a19203data[8])))∧(i58[14] →^* i58[8]))

(14) -> (12), if ((i7630[14] + -1 →^* i7630[12])∧(java.lang.Object(ARRAY(i2[14], a19203data[14])) →^* java.lang.Object(ARRAY(i2[12], a19203data[12])))∧(i7628[14] + 1 + 1 →^* i7628[12])∧(i58[14] →^* i58[12]))

(14) -> (15), if ((i58[14] →^* i58[15])∧(i7628[14] + 1 + 1 →^* i7628[15])∧(java.lang.Object(ARRAY(i2[14], a19203data[14])) →^* java.lang.Object(ARRAY(i2[15], a19203data[15])))∧(i7630[14] + -1 →^* i7630[15]))

(14) -> (19), if ((i7628[14] + 1 + 1 →^* i7628[19])∧(java.lang.Object(ARRAY(i2[14], a19203data[14])) →^* java.lang.Object(ARRAY(i2[19], a19203data[19])))∧(i7630[14] + -1 →^* i7630[19])∧(i58[14] →^* i58[19]))

(14) -> (23), if ((java.lang.Object(ARRAY(i2[14], a19203data[14])) →^* java.lang.Object(ARRAY(i2[23], a19203data[23])))∧(i7628[14] + 1 + 1 →^* i7628[23])∧(i7630[14] + -1 →^* i7630[23])∧(i58[14] →^* i58[23]))

(14) -> (26), if ((i58[14] →^* i58[26])∧(i7628[14] + 1 + 1 →^* i7628[26])∧(java.lang.Object(ARRAY(i2[14], a19203data[14])) →^* java.lang.Object(ARRAY(i2[26], a19203data[26])))∧(i7630[14] + -1 →^* i7630[26]))

(14) -> (29), if ((i7630[14] + -1 →^* i7630[29])∧(java.lang.Object(ARRAY(i2[14], a19203data[14])) →^* java.lang.Object(ARRAY(i2[29], a19203data[29])))∧(i58[14] →^* i58[29])∧(i7628[14] + 1 + 1 →^* i7628[29]))

(14) -> (32), if ((java.lang.Object(ARRAY(i2[14], a19203data[14])) →^* java.lang.Object(ARRAY(i2[32], a19203data[32])))∧(i58[14] →^* i58[32])∧(i7630[14] + -1 →^* i7630[32])∧(i7628[14] + 1 + 1 →^* i7628[32]))

(15) -> (16), if ((i58[15] →^* i58[16])∧(i7628[15] →^* i7628[16])∧(java.lang.Object(ARRAY(i2[15], a19203data[15])) →^* java.lang.Object(ARRAY(i2[16], a19203data[16])))∧(i7630[15] →^* i7630[16]))

(16) -> (17), if ((java.lang.Object(ARRAY(i2[16], a19203data[16])) →^* java.lang.Object(ARRAY(i2[17], a19203data[17])))∧(i7628[16] →^* i7628[17])∧(i7630[16] →^* i7630[17])∧(i58[16] →^* i58[17])∧(i7628[16] > 0 && i7628[16] < i2[16] && i7630[16] > 0 && i7628[16] + 1 > 0 →^* TRUE))

(17) -> (7), if ((i7630[17] →^* i7630[7])∧(i7628[17] + 1 →^* i7710[7])∧(i58[17] →^* i58[7])∧(java.lang.Object(ARRAY(i2[17], a19203data[17])) →^* java.lang.Object(ARRAY(i2[7], a19203data[7]))))

(18) -> (7), if ((i7710[18] →^* i7710[7])∧(java.lang.Object(ARRAY(i2[18], a19203data[18])) →^* java.lang.Object(ARRAY(i2[7], a19203data[7])))∧(i58[18] →^* i58[7])∧(i7630[18] →^* i7630[7]))

(19) -> (20), if ((i58[19] →^* i58[20])∧(java.lang.Object(ARRAY(i2[19], a19203data[19])) →^* java.lang.Object(ARRAY(i2[20], a19203data[20])))∧(i7630[19] →^* i7630[20])∧(java.lang.Object(java.lang.String(i7996[19], i7860[19], i7862[19], a19737[19])) →^* java.lang.Object(java.lang.String(i7996[20], i7860[20], i7862[20], a19737[20])))∧(i7628[19] →^* i7628[20]))

(20) -> (21), if ((i7630[20] →^* i7630[21])∧(i7628[20] →^* i7628[21])∧(java.lang.Object(ARRAY(i2[20], a19203data[20])) →^* java.lang.Object(ARRAY(i2[21], a19203data[21])))∧(i58[20] →^* i58[21])∧(i7996[20] > 0 && i7628[20] > 0 && i7628[20] < i2[20] && i7630[20] > 0 && i7628[20] + 1 > 0 →^* TRUE)∧(java.lang.Object(java.lang.String(i7996[20], i7860[20], i7862[20], a19737[20])) →^* java.lang.Object(java.lang.String(i7996[21], i7860[21], i7862[21], a19737[21]))))

(21) -> (7), if ((java.lang.Object(ARRAY(i2[21], a19203data[21])) →^* java.lang.Object(ARRAY(i2[7], a19203data[7])))∧(i7628[21] + 1 →^* i7710[7])∧(i58[21] →^* i58[7])∧(i7630[21] →^* i7630[7]))

(22) -> (11), if ((i58[22] →^* i58[11])∧(java.lang.Object(ARRAY(i2[22], a19203data[22])) →^* java.lang.Object(ARRAY(i2[11], a19203data[11])))∧(i8946[22] →^* i8902[11])∧(i7630[22] →^* i7630[11]))

(23) -> (24), if ((i7630[23] →^* i7630[24])∧(java.lang.Object(ARRAY(i2[23], a19203data[23])) →^* java.lang.Object(ARRAY(i2[24], a19203data[24])))∧(i58[23] →^* i58[24])∧(java.lang.Object(java.lang.String(i7996[23], i7860[23], i7862[23], a19737[23])) →^* java.lang.Object(java.lang.String(i7996[24], i7860[24], i7862[24], a19737[24])))∧(i7628[23] →^* i7628[24]))

(24) -> (25), if ((i58[24] →^* i58[25])∧(java.lang.Object(java.lang.String(i7996[24], i7860[24], i7862[24], a19737[24])) →^* java.lang.Object(java.lang.String(i7996[25], i7860[25], i7862[25], a19737[25])))∧(java.lang.Object(ARRAY(i2[24], a19203data[24])) →^* java.lang.Object(ARRAY(i2[25], a19203data[25])))∧(i7628[24] →^* i7628[25])∧(i7628[24] + 1 > 0 && i7628[24] + 1 < i2[24] && i7996[24] > 0 && i7628[24] > 0 && i7628[24] < i2[24] && i7630[24] > 0 && i7628[24] + 1 + 1 > 0 →^* TRUE)∧(i7630[24] →^* i7630[25]))

(25) -> (11), if ((i7630[25] →^* i7630[11])∧(java.lang.Object(ARRAY(i2[25], a19203data[25])) →^* java.lang.Object(ARRAY(i2[11], a19203data[11])))∧(i7628[25] + 1 + 1 →^* i8902[11])∧(i58[25] →^* i58[11]))

(26) -> (27), if ((java.lang.Object(ARRAY(i2[26], a19203data[26])) →^* java.lang.Object(ARRAY(i2[27], a19203data[27])))∧(i7628[26] →^* i7628[27])∧(i7630[26] →^* i7630[27])∧(i58[26] →^* i58[27]))

(27) -> (28), if ((i7628[27] →^* i7628[28])∧(i7630[27] →^* i7630[28])∧(i58[27] →^* i58[28])∧(java.lang.Object(ARRAY(i2[27], a19203data[27])) →^* java.lang.Object(ARRAY(i2[28], a19203data[28])))∧(i7628[27] + 1 > 0 && i7628[27] + 1 < i2[27] && i7628[27] > 0 && i7628[27] < i2[27] && i7630[27] > 0 && i7628[27] + 1 + 1 > 0 →^* TRUE))

(28) -> (11), if ((i58[28] →^* i58[11])∧(i7628[28] + 1 + 1 →^* i8902[11])∧(java.lang.Object(ARRAY(i2[28], a19203data[28])) →^* java.lang.Object(ARRAY(i2[11], a19203data[11])))∧(i7630[28] →^* i7630[11]))

(29) -> (30), if ((java.lang.Object(ARRAY(i2[29], a19203data[29])) →^* java.lang.Object(ARRAY(i2[30], a19203data[30])))∧(i7630[29] →^* i7630[30])∧(i7628[29] →^* i7628[30])∧(i58[29] →^* i58[30])∧(java.lang.Object(java.lang.String(i7996[29], i7860[29], i7862[29], a19737[29])) →^* java.lang.Object(java.lang.String(i7996[30], i7860[30], i7862[30], a19737[30]))))

(30) -> (31), if ((i58[30] →^* i58[31])∧(i7628[30] →^* i7628[31])∧(java.lang.Object(ARRAY(i2[30], a19203data[30])) →^* java.lang.Object(ARRAY(i2[31], a19203data[31])))∧(i7996[30] > 0 && i7628[30] > 0 && i7628[30] < i2[30] && i7630[30] > 0 && i7628[30] + 1 > 0 →^* TRUE)∧(java.lang.Object(java.lang.String(i7996[30], i7860[30], i7862[30], a19737[30])) →^* java.lang.Object(java.lang.String(i7996[31], i7860[31], i7862[31], a19737[31])))∧(i7630[30] →^* i7630[31]))

(31) -> (18), if ((i58[31] →^* i58[18])∧(java.lang.Object(ARRAY(i2[31], a19203data[31])) →^* java.lang.Object(ARRAY(i2[18], a19203data[18])))∧(i7630[31] →^* i7630[18])∧(i7628[31] + 1 →^* i7710[18]))

(32) -> (33), if ((java.lang.Object(java.lang.String(i7996[32], i7860[32], i7862[32], a19737[32])) →^* java.lang.Object(java.lang.String(i7996[33], i7860[33], i7862[33], a19737[33])))∧(i58[32] →^* i58[33])∧(java.lang.Object(ARRAY(i2[32], a19203data[32])) →^* java.lang.Object(ARRAY(i2[33], a19203data[33])))∧(i7628[32] →^* i7628[33])∧(i7630[32] →^* i7630[33]))

(33) -> (34), if ((i7628[33] →^* i7628[34])∧(java.lang.Object(ARRAY(i2[33], a19203data[33])) →^* java.lang.Object(ARRAY(i2[34], a19203data[34])))∧(i7628[33] + 1 > 0 && i7628[33] + 1 < i2[33] && i7996[33] > 0 && i7628[33] > 0 && i7628[33] < i2[33] && i7630[33] > 0 && i7628[33] + 1 + 1 > 0 →^* TRUE)∧(java.lang.Object(java.lang.String(i7996[33], i7860[33], i7862[33], a19737[33])) →^* java.lang.Object(java.lang.String(i7996[34], i7860[34], i7862[34], a19737[34])))∧(i58[33] →^* i58[34])∧(i7630[33] →^* i7630[34]))

(34) -> (22), if ((i7630[34] →^* i7630[22])∧(i7628[34] + 1 + 1 →^* i8946[22])∧(i58[34] →^* i58[22])∧(java.lang.Object(ARRAY(i2[34], a19203data[34])) →^* java.lang.Object(ARRAY(i2[22], a19203data[22]))))

The set Q consists of the following terms:
Load715(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load715ARR1(java.lang.Object(ARRAY(x0, x1)), x2, x3)
Cond_Load715ARR1(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3)
Load715ARR2(java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Cond_Load715ARR2(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, java.lang.Object(java.lang.String(x4, x5, x6, x7)))
Inc15077(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603ARR3(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Cond_Load13603ARR3(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Inc18978(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603ARR4(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Cond_Load13603ARR4(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603ARR5(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Cond_Load13603ARR5(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
JMP15126(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603ARR6(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Cond_Load13603ARR6(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
JMP18886(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603ARR7(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Cond_Load13603ARR7(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Load13603ARR8(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Cond_Load13603ARR8(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4)
Load13603ARR9(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Cond_Load13603ARR9(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Load13603ARR10(java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))
Cond_Load13603ARR10(TRUE, java.lang.Object(ARRAY(x0, x1)), x2, x3, x4, java.lang.Object(java.lang.String(x5, x6, x7, x8)))

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

(24) 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): LOAD715(java.lang.Object(ARRAY(i2[0], a694data[0])), i56[0], i58[0]) → LOAD715ARR1(java.lang.Object(ARRAY(i2[0], a694data[0])), i56[0], i58[0])
(1): LOAD715ARR1(java.lang.Object(ARRAY(i2[1], a694data[1])), i56[1], i58[1]) → COND_LOAD715ARR1(i56[1] > 0 && i56[1] < i2[1] && i58[1] > 0 && i56[1] + 1 > 0, java.lang.Object(ARRAY(i2[1], a694data[1])), i56[1], i58[1])
(2): COND_LOAD715ARR1(TRUE, java.lang.Object(ARRAY(i2[2], a694data[2])), i56[2], i58[2]) → LOAD715(java.lang.Object(ARRAY(i2[2], a694data[2])), i56[2] + 1, i58[2] + -1)
(3): LOAD13603(java.lang.Object(ARRAY(i2[3], a19203data[3])), i7628[3], i58[3], 0) → LOAD715(java.lang.Object(ARRAY(i2[3], a19203data[3])), i7628[3], i58[3] + -1)
(4): LOAD715(java.lang.Object(ARRAY(i2[4], a694data[4])), i56[4], i58[4]) → LOAD715ARR2(java.lang.Object(ARRAY(i2[4], a694data[4])), i56[4], i58[4], java.lang.Object(java.lang.String(i109[4], i86[4], i88[4], a823[4])))
(5): LOAD715ARR2(java.lang.Object(ARRAY(i2[5], a694data[5])), i56[5], i58[5], java.lang.Object(java.lang.String(i109[5], i86[5], i88[5], a823[5]))) → COND_LOAD715ARR2(i56[5] + 1 > 0 && i56[5] + 1 < i2[5] && i109[5] > 0 && i56[5] > 0 && i56[5] < i2[5] && i58[5] > 0 && i56[5] + 1 + 1 > 0, java.lang.Object(ARRAY(i2[5], a694data[5])), i56[5], i58[5], java.lang.Object(java.lang.String(i109[5], i86[5], i88[5], a823[5])))
(6): COND_LOAD715ARR2(TRUE, java.lang.Object(ARRAY(i2[6], a694data[6])), i56[6], i58[6], java.lang.Object(java.lang.String(i109[6], i86[6], i88[6], a823[6]))) → LOAD13603(java.lang.Object(ARRAY(i2[6], a694data[6])), i56[6] + 1 + 1, i58[6], i109[6])
(7): INC15077(java.lang.Object(ARRAY(i2[7], a19203data[7])), i7710[7], i58[7], i7630[7]) → LOAD13603(java.lang.Object(ARRAY(i2[7], a19203data[7])), i7710[7], i58[7], i7630[7] + -1)
(8): LOAD13603(java.lang.Object(ARRAY(i2[8], a19203data[8])), i7628[8], i58[8], i7630[8]) → LOAD13603ARR3(java.lang.Object(ARRAY(i2[8], a19203data[8])), i7628[8], i58[8], i7630[8])
(9): LOAD13603ARR3(java.lang.Object(ARRAY(i2[9], a19203data[9])), i7628[9], i58[9], i7630[9]) → COND_LOAD13603ARR3(i7628[9] > 0 && i7628[9] < i2[9] && i7630[9] > 0 && i7628[9] + 1 > 0, java.lang.Object(ARRAY(i2[9], a19203data[9])), i7628[9], i58[9], i7630[9])
(10): COND_LOAD13603ARR3(TRUE, java.lang.Object(ARRAY(i2[10], a19203data[10])), i7628[10], i58[10], i7630[10]) → LOAD13603(java.lang.Object(ARRAY(i2[10], a19203data[10])), i7628[10] + 1, i58[10], i7630[10] + -1)
(11): INC18978(java.lang.Object(ARRAY(i2[11], a19203data[11])), i8902[11], i58[11], i7630[11]) → LOAD13603(java.lang.Object(ARRAY(i2[11], a19203data[11])), i8902[11], i58[11], i7630[11] + -1)
(12): LOAD13603(java.lang.Object(ARRAY(i2[12], a19203data[12])), i7628[12], i58[12], i7630[12]) → LOAD13603ARR4(java.lang.Object(ARRAY(i2[12], a19203data[12])), i7628[12], i58[12], i7630[12])
(13): LOAD13603ARR4(java.lang.Object(ARRAY(i2[13], a19203data[13])), i7628[13], i58[13], i7630[13]) → COND_LOAD13603ARR4(i7628[13] + 1 > 0 && i7628[13] + 1 < i2[13] && i7628[13] > 0 && i7628[13] < i2[13] && i7630[13] > 0 && i7628[13] + 1 + 1 > 0, java.lang.Object(ARRAY(i2[13], a19203data[13])), i7628[13], i58[13], i7630[13])
(14): COND_LOAD13603ARR4(TRUE, java.lang.Object(ARRAY(i2[14], a19203data[14])), i7628[14], i58[14], i7630[14]) → LOAD13603(java.lang.Object(ARRAY(i2[14], a19203data[14])), i7628[14] + 1 + 1, i58[14], i7630[14] + -1)
(15): LOAD13603(java.lang.Object(ARRAY(i2[15], a19203data[15])), i7628[15], i58[15], i7630[15]) → LOAD13603ARR5(java.lang.Object(ARRAY(i2[15], a19203data[15])), i7628[15], i58[15], i7630[15])
(16): LOAD13603ARR5(java.lang.Object(ARRAY(i2[16], a19203data[16])), i7628[16], i58[16], i7630[16]) → COND_LOAD13603ARR5(i7628[16] > 0 && i7628[16] < i2[16] && i7630[16] > 0 && i7628[16] + 1 > 0, java.lang.Object(ARRAY(i2[16], a19203data[16])), i7628[16], i58[16], i7630[16])
(17): COND_LOAD13603ARR5(TRUE, java.lang.Object(ARRAY(i2[17], a19203data[17])), i7628[17], i58[17], i7630[17]) → INC15077(java.lang.Object(ARRAY(i2[17], a19203data[17])), i7628[17] + 1, i58[17], i7630[17])
(18): JMP15126'(java.lang.Object(ARRAY(i2[18], a19203data[18])), i7710[18], i58[18], i7630[18]) → INC15077(java.lang.Object(ARRAY(i2[18], a19203data[18])), i7710[18], i58[18], i7630[18])
(19): LOAD13603(java.lang.Object(ARRAY(i2[19], a19203data[19])), i7628[19], i58[19], i7630[19]) → LOAD13603ARR6(java.lang.Object(ARRAY(i2[19], a19203data[19])), i7628[19], i58[19], i7630[19], java.lang.Object(java.lang.String(i7996[19], i7860[19], i7862[19], a19737[19])))
(20): LOAD13603ARR6(java.lang.Object(ARRAY(i2[20], a19203data[20])), i7628[20], i58[20], i7630[20], java.lang.Object(java.lang.String(i7996[20], i7860[20], i7862[20], a19737[20]))) → COND_LOAD13603ARR6(i7996[20] > 0 && i7628[20] > 0 && i7628[20] < i2[20] && i7630[20] > 0 && i7628[20] + 1 > 0, java.lang.Object(ARRAY(i2[20], a19203data[20])), i7628[20], i58[20], i7630[20], java.lang.Object(java.lang.String(i7996[20], i7860[20], i7862[20], a19737[20])))
(21): COND_LOAD13603ARR6(TRUE, java.lang.Object(ARRAY(i2[21], a19203data[21])), i7628[21], i58[21], i7630[21], java.lang.Object(java.lang.String(i7996[21], i7860[21], i7862[21], a19737[21]))) → INC15077(java.lang.Object(ARRAY(i2[21], a19203data[21])), i7628[21] + 1, i58[21], i7630[21])
(22): JMP18886'(java.lang.Object(ARRAY(i2[22], a19203data[22])), i8946[22], i58[22], i7630[22]) → INC18978(java.lang.Object(ARRAY(i2[22], a19203data[22])), i8946[22], i58[22], i7630[22])
(23): LOAD13603(java.lang.Object(ARRAY(i2[23], a19203data[23])), i7628[23], i58[23], i7630[23]) → LOAD13603ARR7(java.lang.Object(ARRAY(i2[23], a19203data[23])), i7628[23], i58[23], i7630[23], java.lang.Object(java.lang.String(i7996[23], i7860[23], i7862[23], a19737[23])))
(24): LOAD13603ARR7(java.lang.Object(ARRAY(i2[24], a19203data[24])), i7628[24], i58[24], i7630[24], java.lang.Object(java.lang.String(i7996[24], i7860[24], i7862[24], a19737[24]))) → COND_LOAD13603ARR7(i7628[24] + 1 > 0 && i7628[24] + 1 < i2[24] && i7996[24] > 0 && i7628[24] > 0 && i7628[24] < i2[24] && i7630[24] > 0 && i7628[24] + 1 + 1 > 0, java.lang.Object(ARRAY(i2[24], a19203data[24])), i7628[24], i58[24], i7630[24], java.lang.Object(java.lang.String(i7996[24], i7860[24], i7862[24], a19737[24])))
(25): COND_LOAD13603ARR7(TRUE, java.lang.Object(ARRAY(i2[25], a19203data[25])), i7628[25], i58[25], i7630[25], java.lang.Object(java.lang.String(i7996[25], i7860[25], i7862[25], a19737[25]))) → INC18978(java.lang.Object(ARRAY(i2[25], a19203data[25])), i7628[25] + 1 + 1, i58[25], i7630[25])
(26): LOAD13603(java.lang.Object(ARRAY(i2[26], a19203data[26])), i7628[26], i58[26], i7630[26]) → LOAD13603ARR8(java.lang.Object(ARRAY(i2[26], a19203data[26])), i7628[26], i58[26], i7630[26])
(27): LOAD13603ARR8(java.lang.Object(ARRAY(i2[27], a19203data[27])), i7628[27], i58[27], i7630[27]) → COND_LOAD13603ARR8(i7628[27] + 1 > 0 && i7628[27] + 1 < i2[27] && i7628[27] > 0 && i7628[27] < i2[27] && i7630[27] > 0 && i7628[27] + 1 + 1 > 0, java.lang.Object(ARRAY(i2[27], a19203data[27])), i7628[27], i58[27], i7630[27])
(28): COND_LOAD13603ARR8(TRUE, java.lang.Object(ARRAY(i2[28], a19203data[28])), i7628[28], i58[28], i7630[28]) → INC18978(java.lang.Object(ARRAY(i2[28], a19203data[28])), i7628[28] + 1 + 1, i58[28], i7630[28])
(29): LOAD13603(java.lang.Object(ARRAY(i2[29], a19203data[29])), i7628[29], i58[29], i7630[29]) → LOAD13603ARR9(java.lang.Object(ARRAY(i2[29], a19203data[29])), i7628[29], i58[29], i7630[29], java.lang.Object(java.lang.String(i7996[29], i7860[29], i7862[29], a19737[29])))
(30): LOAD13603ARR9(java.lang.Object(ARRAY(i2[30], a19203data[30])), i7628[30], i58[30], i7630[30], java.lang.Object(java.lang.String(i7996[30], i7860[30], i7862[30], a19737[30]))) → COND_LOAD13603ARR9(i7996[30] > 0 && i7628[30] > 0 && i7628[30] < i2[30] && i7630[30] > 0 && i7628[30] + 1 > 0, java.lang.Object(ARRAY(i2[30], a19203data[30])), i7628[30], i58[30], i7630[30], java.lang.Object(java.lang.String(i7996[30], i7860[30], i7862[30], a19737[30])))
(31): COND_LOAD13603ARR9(TRUE, java.lang.Object(ARRAY(i2[31], a19203data[31])), i7628[31], i58[31], i7630[31], java.lang.Object(java.lang.String(i7996[31], i7860[31], i7862[31], a19737[31]))) → JMP15126'(java.lang.Object(ARRAY(i2[31], a19203data[31])), i7628[31] + 1, i58[31], i7630[31])
(32): LOAD13603(java.lang.Object(ARRAY(i2[32], a19203data[32])), i7628[32], i58[32], i7630[32]) → LOAD13603ARR10(java.lang.Object(ARRAY(i2[32], a19203data[32])), i7628[32], i58[32], i7630[32], java.lang.Object(java.lang.String(i7996[32], i7860[32], i7862[32], a19737[32])))
(33): LOAD13603ARR10(java.lang.Object(ARRAY(i2[33], a19203data[33])), i7628[33], i58[33], i7630[33], java.lang.Object(java.lang.String(i7996[33], i7860[33], i7862[33], a19737[33]))) → COND_LOAD13603ARR10(i7628[33] + 1 > 0 && i7628[33] + 1 < i2[33] && i7996[33] > 0 && i7628[33] > 0 && i7628[33] < i2[33] && i7630[33] > 0 && i7628[33] + 1 + 1 > 0, java.lang.Object(ARRAY(i2[33], a19203data[33])), i7628[33], i58[33], i7630[33], java.lang.Object(java.lang.String(i7996[33], i7860[33], i7862[33], a19737[33])))
(34): COND_LOAD13603ARR10(TRUE, java.lang.Object(ARRAY(i2[34], a19203data[34])), i7628[34], i58[34], i7630[34], java.lang.Object(java.lang.String(i7996[34], i7860[34], i7862[34], a19737[34]))) → JMP18886'(java.lang.Object(ARRAY(i2[34], a19203data[34])), i7628[34] + 1 + 1, i58[34], i7630[34])