/export/starexec/sandbox2/solver/bin/starexec_run_standard /export/starexec/sandbox2/benchmark/theBenchmark.jar /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES proof of /export/starexec/sandbox2/benchmark/theBenchmark.jar # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty termination of the given Bare JBC problem could be proven: (0) Bare JBC problem (1) BareJBCToJBCProof [EQUIVALENT, 98 ms] (2) JBC problem (3) JBCToGraph [EQUIVALENT, 1153 ms] (4) JBCTerminationGraph (5) TerminationGraphToSCCProof [SOUND, 0 ms] (6) AND (7) JBCTerminationSCC (8) SCCToQDPProof [SOUND, 200 ms] (9) QDP (10) QDPSizeChangeProof [EQUIVALENT, 0 ms] (11) YES (12) JBCTerminationSCC (13) SCCToQDPProof [SOUND, 468 ms] (14) QDP (15) DependencyGraphProof [EQUIVALENT, 0 ms] (16) TRUE (17) JBCTerminationSCC (18) SCCToIRSProof [SOUND, 98 ms] (19) IRSwT (20) IRSFormatTransformerProof [EQUIVALENT, 0 ms] (21) IRSwT (22) IRSwTTerminationDigraphProof [EQUIVALENT, 0 ms] (23) IRSwT (24) IntTRSCompressionProof [EQUIVALENT, 0 ms] (25) IRSwT (26) TempFilterProof [SOUND, 28 ms] (27) IntTRS (28) RankingReductionPairProof [EQUIVALENT, 0 ms] (29) YES ---------------------------------------- (0) Obligation: need to prove termination of the following program: package Shuffle; public class List { int value; List next; public List() {} public List(int value, List next) { this.value = value; this.next = next; } public static List copy(List x) { if (x == null) return null; else return new List(x.value,copy(x.next)); } } package Shuffle; public class Random { static String[] args; static int index = 0; public static int random() { final String string = args[index]; index++; return string.length(); } } package Shuffle; public class Shuffle { // from Walther (1994) public static List reverse(final List l) { if (l == null || l.next==null) return l; final List nextItem = l.next; final List reverseRest = reverse(nextItem); l.next = null; nextItem.next = l; return reverseRest; } public static List shuffle(List xs) { if (xs == null) { return null; } else { List next = xs.next; // xs.next = null; return new List(xs.value, shuffle(reverse(next))); } } public static void main(String[] args) { Random.args = args; List xs = createList(Random.random()); List ys = shuffle(xs); } public static List createList(int l) { if (l <= 0) { return null; } else { return new List(Random.random(), createList(l-1)); } } } ---------------------------------------- (1) BareJBCToJBCProof (EQUIVALENT) initialized classpath ---------------------------------------- (2) Obligation: need to prove termination of the following program: package Shuffle; public class List { int value; List next; public List() {} public List(int value, List next) { this.value = value; this.next = next; } public static List copy(List x) { if (x == null) return null; else return new List(x.value,copy(x.next)); } } package Shuffle; public class Random { static String[] args; static int index = 0; public static int random() { final String string = args[index]; index++; return string.length(); } } package Shuffle; public class Shuffle { // from Walther (1994) public static List reverse(final List l) { if (l == null || l.next==null) return l; final List nextItem = l.next; final List reverseRest = reverse(nextItem); l.next = null; nextItem.next = l; return reverseRest; } public static List shuffle(List xs) { if (xs == null) { return null; } else { List next = xs.next; // xs.next = null; return new List(xs.value, shuffle(reverse(next))); } } public static void main(String[] args) { Random.args = args; List xs = createList(Random.random()); List ys = shuffle(xs); } public static List createList(int l) { if (l <= 0) { return null; } else { return new List(Random.random(), createList(l-1)); } } } ---------------------------------------- (3) JBCToGraph (EQUIVALENT) Constructed TerminationGraph. ---------------------------------------- (4) Obligation: Termination Graph based on JBC Program: Shuffle.Shuffle.main([Ljava/lang/String;)V: Graph of 152 nodes with 0 SCCs. Shuffle.Shuffle.createList(I)LShuffle/List;: Graph of 119 nodes with 0 SCCs. Shuffle.Shuffle.shuffle(LShuffle/List;)LShuffle/List;: Graph of 101 nodes with 0 SCCs. Shuffle.Shuffle.reverse(LShuffle/List;)LShuffle/List;: Graph of 57 nodes with 0 SCCs. ---------------------------------------- (5) TerminationGraphToSCCProof (SOUND) Splitted TerminationGraph to 3 SCCss. ---------------------------------------- (6) Complex Obligation (AND) ---------------------------------------- (7) Obligation: SCC of termination graph based on JBC Program. SCC contains nodes from the following methods: Shuffle.Shuffle.reverse(LShuffle/List;)LShuffle/List; SCC calls the following helper methods: Shuffle.Shuffle.reverse(LShuffle/List;)LShuffle/List; Performed SCC analyses: *Used field analysis yielded the following read fields: *Shuffle.List: [next] *Marker field analysis yielded the following relations that could be markers: ---------------------------------------- (8) SCCToQDPProof (SOUND) Transformed TerminationGraph SCC to QDP. Log: Generated 17 rules for P and 54 rules for R.P rules: f5617_0_reverse_NULL(EOS(STATIC_5617), java.lang.Object(o1937sub), java.lang.Object(o1937sub), java.lang.Object(o1937sub)) -> f5618_0_reverse_NULL(EOS(STATIC_5618), java.lang.Object(o1937sub), java.lang.Object(o1937sub), java.lang.Object(o1937sub)) :|: TRUE f5618_0_reverse_NULL(EOS(STATIC_5618), java.lang.Object(o1937sub), java.lang.Object(o1937sub), java.lang.Object(o1937sub)) -> f5622_0_reverse_Load(EOS(STATIC_5622), java.lang.Object(o1937sub), java.lang.Object(o1937sub)) :|: TRUE f5622_0_reverse_Load(EOS(STATIC_5622), java.lang.Object(o1937sub), java.lang.Object(o1937sub)) -> f5625_0_reverse_FieldAccess(EOS(STATIC_5625), java.lang.Object(o1937sub), java.lang.Object(o1937sub), java.lang.Object(o1937sub)) :|: TRUE f5625_0_reverse_FieldAccess(EOS(STATIC_5625), java.lang.Object(Shuffle.List(EOC, o1939)), java.lang.Object(Shuffle.List(EOC, o1939)), java.lang.Object(Shuffle.List(EOC, o1939))) -> f5628_0_reverse_FieldAccess(EOS(STATIC_5628), java.lang.Object(Shuffle.List(EOC, o1939)), java.lang.Object(Shuffle.List(EOC, o1939)), java.lang.Object(Shuffle.List(EOC, o1939))) :|: TRUE f5628_0_reverse_FieldAccess(EOS(STATIC_5628), java.lang.Object(Shuffle.List(EOC, o1939)), java.lang.Object(Shuffle.List(EOC, o1939)), java.lang.Object(Shuffle.List(EOC, o1939))) -> f5630_0_reverse_NONNULL(EOS(STATIC_5630), java.lang.Object(Shuffle.List(EOC, o1939)), java.lang.Object(Shuffle.List(EOC, o1939)), o1939) :|: TRUE f5630_0_reverse_NONNULL(EOS(STATIC_5630), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) -> f5632_0_reverse_NONNULL(EOS(STATIC_5632), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) :|: TRUE f5632_0_reverse_NONNULL(EOS(STATIC_5632), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) -> f5636_0_reverse_Load(EOS(STATIC_5636), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub)))) :|: TRUE f5636_0_reverse_Load(EOS(STATIC_5636), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub)))) -> f5639_0_reverse_FieldAccess(EOS(STATIC_5639), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub)))) :|: TRUE f5639_0_reverse_FieldAccess(EOS(STATIC_5639), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub)))) -> f5642_0_reverse_Store(EOS(STATIC_5642), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) :|: TRUE f5642_0_reverse_Store(EOS(STATIC_5642), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) -> f5645_0_reverse_Load(EOS(STATIC_5645), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) :|: TRUE f5645_0_reverse_Load(EOS(STATIC_5645), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) -> f5647_0_reverse_InvokeMethod(EOS(STATIC_5647), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub), java.lang.Object(o1956sub)) :|: TRUE f5647_0_reverse_InvokeMethod(EOS(STATIC_5647), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub), java.lang.Object(o1956sub)) -> f5650_1_reverse_InvokeMethod(f5650_0_reverse_Load(EOS(STATIC_5650), java.lang.Object(o1956sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) :|: TRUE f5650_0_reverse_Load(EOS(STATIC_5650), java.lang.Object(o1956sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) -> f5652_0_reverse_Load(EOS(STATIC_5652), java.lang.Object(o1956sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) :|: TRUE f5652_0_reverse_Load(EOS(STATIC_5652), java.lang.Object(o1956sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) -> f5654_0_reverse_Load(EOS(STATIC_5654), java.lang.Object(o1956sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub), o1938[List.next]o1956) :|: o1938[List.next]o1956 = 1 f5654_0_reverse_Load(EOS(STATIC_5654), java.lang.Object(o1998sub), o2005, java.lang.Object(o1998sub), o2005[List.next]o1998) -> f5659_0_reverse_Load(EOS(STATIC_5659), java.lang.Object(o1998sub), java.lang.Object(o1998sub)) :|: TRUE f5659_0_reverse_Load(EOS(STATIC_5659), java.lang.Object(o1998sub), java.lang.Object(o1998sub)) -> f5616_0_reverse_Load(EOS(STATIC_5616), java.lang.Object(o1998sub), java.lang.Object(o1998sub)) :|: TRUE f5616_0_reverse_Load(EOS(STATIC_5616), o1908, o1908) -> f5617_0_reverse_NULL(EOS(STATIC_5617), o1908, o1908, o1908) :|: TRUE R rules: f5616_0_reverse_Load(EOS(STATIC_5616), o1908, o1908) -> f5617_0_reverse_NULL(EOS(STATIC_5617), o1908, o1908, o1908) :|: TRUE f5617_0_reverse_NULL(EOS(STATIC_5617), java.lang.Object(o1937sub), java.lang.Object(o1937sub), java.lang.Object(o1937sub)) -> f5618_0_reverse_NULL(EOS(STATIC_5618), java.lang.Object(o1937sub), java.lang.Object(o1937sub), java.lang.Object(o1937sub)) :|: TRUE f5617_0_reverse_NULL(EOS(STATIC_5617), NULL, NULL, NULL) -> f5619_0_reverse_NULL(EOS(STATIC_5619), NULL, NULL, NULL) :|: TRUE f5618_0_reverse_NULL(EOS(STATIC_5618), java.lang.Object(o1937sub), java.lang.Object(o1937sub), java.lang.Object(o1937sub)) -> f5622_0_reverse_Load(EOS(STATIC_5622), java.lang.Object(o1937sub), java.lang.Object(o1937sub)) :|: TRUE f5619_0_reverse_NULL(EOS(STATIC_5619), NULL, NULL, NULL) -> f5623_0_reverse_Load(EOS(STATIC_5623), NULL, NULL) :|: TRUE f5622_0_reverse_Load(EOS(STATIC_5622), java.lang.Object(o1937sub), java.lang.Object(o1937sub)) -> f5625_0_reverse_FieldAccess(EOS(STATIC_5625), java.lang.Object(o1937sub), java.lang.Object(o1937sub), java.lang.Object(o1937sub)) :|: TRUE f5623_0_reverse_Load(EOS(STATIC_5623), NULL, NULL) -> f5626_0_reverse_Return(EOS(STATIC_5626), NULL, NULL) :|: TRUE f5625_0_reverse_FieldAccess(EOS(STATIC_5625), java.lang.Object(Shuffle.List(EOC, o1939)), java.lang.Object(Shuffle.List(EOC, o1939)), java.lang.Object(Shuffle.List(EOC, o1939))) -> f5628_0_reverse_FieldAccess(EOS(STATIC_5628), java.lang.Object(Shuffle.List(EOC, o1939)), java.lang.Object(Shuffle.List(EOC, o1939)), java.lang.Object(Shuffle.List(EOC, o1939))) :|: TRUE f5628_0_reverse_FieldAccess(EOS(STATIC_5628), java.lang.Object(Shuffle.List(EOC, o1939)), java.lang.Object(Shuffle.List(EOC, o1939)), java.lang.Object(Shuffle.List(EOC, o1939))) -> f5630_0_reverse_NONNULL(EOS(STATIC_5630), java.lang.Object(Shuffle.List(EOC, o1939)), java.lang.Object(Shuffle.List(EOC, o1939)), o1939) :|: TRUE f5630_0_reverse_NONNULL(EOS(STATIC_5630), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) -> f5632_0_reverse_NONNULL(EOS(STATIC_5632), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) :|: TRUE f5630_0_reverse_NONNULL(EOS(STATIC_5630), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), NULL) -> f5633_0_reverse_NONNULL(EOS(STATIC_5633), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), NULL) :|: TRUE f5632_0_reverse_NONNULL(EOS(STATIC_5632), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) -> f5636_0_reverse_Load(EOS(STATIC_5636), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub)))) :|: TRUE f5633_0_reverse_NONNULL(EOS(STATIC_5633), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), NULL) -> f5637_0_reverse_Load(EOS(STATIC_5637), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))) :|: TRUE f5636_0_reverse_Load(EOS(STATIC_5636), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub)))) -> f5639_0_reverse_FieldAccess(EOS(STATIC_5639), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub)))) :|: TRUE f5637_0_reverse_Load(EOS(STATIC_5637), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))) -> f5640_0_reverse_Return(EOS(STATIC_5640), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))) :|: TRUE f5639_0_reverse_FieldAccess(EOS(STATIC_5639), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub)))) -> f5642_0_reverse_Store(EOS(STATIC_5642), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) :|: TRUE f5642_0_reverse_Store(EOS(STATIC_5642), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) -> f5645_0_reverse_Load(EOS(STATIC_5645), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) :|: TRUE f5645_0_reverse_Load(EOS(STATIC_5645), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) -> f5647_0_reverse_InvokeMethod(EOS(STATIC_5647), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub), java.lang.Object(o1956sub)) :|: TRUE f5647_0_reverse_InvokeMethod(EOS(STATIC_5647), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub), java.lang.Object(o1956sub)) -> f5650_1_reverse_InvokeMethod(f5650_0_reverse_Load(EOS(STATIC_5650), java.lang.Object(o1956sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) :|: TRUE f5650_0_reverse_Load(EOS(STATIC_5650), java.lang.Object(o1956sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) -> f5652_0_reverse_Load(EOS(STATIC_5652), java.lang.Object(o1956sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) :|: TRUE f5652_0_reverse_Load(EOS(STATIC_5652), java.lang.Object(o1956sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) -> f5654_0_reverse_Load(EOS(STATIC_5654), java.lang.Object(o1956sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub), o1938[List.next]o1956) :|: o1938[List.next]o1956 = 1 f5654_0_reverse_Load(EOS(STATIC_5654), java.lang.Object(o1998sub), o2005, java.lang.Object(o1998sub), o2005[List.next]o1998) -> f5659_0_reverse_Load(EOS(STATIC_5659), java.lang.Object(o1998sub), java.lang.Object(o1998sub)) :|: TRUE f5661_0_reverse_Return(EOS(STATIC_5661), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))) -> f5663_0_reverse_Store(EOS(STATIC_5663), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))) :|: TRUE f5663_0_reverse_Store(EOS(STATIC_5663), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))) -> f5665_0_reverse_Load(EOS(STATIC_5665), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))) :|: TRUE f5665_0_reverse_Load(EOS(STATIC_5665), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))) -> f5666_0_reverse_ConstantStackPush(EOS(STATIC_5666), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL))))) :|: TRUE f5666_0_reverse_ConstantStackPush(EOS(STATIC_5666), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL))))) -> f5668_0_reverse_FieldAccess(EOS(STATIC_5668), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), NULL) :|: TRUE f5668_0_reverse_FieldAccess(EOS(STATIC_5668), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), NULL) -> f5670_0_reverse_Load(EOS(STATIC_5670), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))) :|: TRUE f5670_0_reverse_Load(EOS(STATIC_5670), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))) -> f5672_0_reverse_Load(EOS(STATIC_5672), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))) :|: TRUE f5672_0_reverse_Load(EOS(STATIC_5672), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))) -> f5674_0_reverse_FieldAccess(EOS(STATIC_5674), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))) :|: TRUE f5674_0_reverse_FieldAccess(EOS(STATIC_5674), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))) -> f5676_0_reverse_Load(EOS(STATIC_5676), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL))))) :|: TRUE f5676_0_reverse_Load(EOS(STATIC_5676), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL))))) -> f5678_0_reverse_Return(EOS(STATIC_5678), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL))))) :|: TRUE f5684_0_reverse_Return(EOS(STATIC_5684), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL))))) -> f5730_0_reverse_Return(EOS(STATIC_5730), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL))))) :|: TRUE f5730_0_reverse_Return(EOS(STATIC_5730), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o2472sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o2472sub))), java.lang.Object(o2472sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2470))))) -> f5787_0_reverse_Return(EOS(STATIC_5787), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o2472sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o2472sub))), java.lang.Object(o2472sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2470))))) :|: TRUE f5787_0_reverse_Return(EOS(STATIC_5787), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub))), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032))))) -> f5792_0_reverse_Store(EOS(STATIC_5792), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub))), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032))))) :|: TRUE f5792_0_reverse_Store(EOS(STATIC_5792), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub))), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032))))) -> f5795_0_reverse_Load(EOS(STATIC_5795), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub))), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032))))) :|: TRUE f5795_0_reverse_Load(EOS(STATIC_5795), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub))), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032))))) -> f5798_0_reverse_ConstantStackPush(EOS(STATIC_5798), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub))), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub)))) :|: TRUE f5798_0_reverse_ConstantStackPush(EOS(STATIC_5798), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub))), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub)))) -> f5801_0_reverse_FieldAccess(EOS(STATIC_5801), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub))), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub))), NULL) :|: TRUE f5801_0_reverse_FieldAccess(EOS(STATIC_5801), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub))), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub))), NULL) -> f5803_0_reverse_Load(EOS(STATIC_5803), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032))))) :|: TRUE f5803_0_reverse_Load(EOS(STATIC_5803), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032))))) -> f5804_0_reverse_Load(EOS(STATIC_5804), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032)))), java.lang.Object(o3034sub)) :|: TRUE f5804_0_reverse_Load(EOS(STATIC_5804), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032)))), java.lang.Object(o3034sub)) -> f5813_0_reverse_FieldAccess(EOS(STATIC_5813), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032)))), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, NULL))) :|: TRUE f5813_0_reverse_FieldAccess(EOS(STATIC_5813), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032)))), java.lang.Object(Shuffle.List(EOC, o3368)), java.lang.Object(Shuffle.List(EOC, NULL))) -> f5816_0_reverse_FieldAccess(EOS(STATIC_5816), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032)))), java.lang.Object(Shuffle.List(EOC, o3368)), java.lang.Object(Shuffle.List(EOC, NULL))) :|: TRUE f5816_0_reverse_FieldAccess(EOS(STATIC_5816), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032)))), java.lang.Object(Shuffle.List(EOC, o3368)), java.lang.Object(Shuffle.List(EOC, NULL))) -> f5819_0_reverse_FieldAccess(EOS(STATIC_5819), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032)))), java.lang.Object(Shuffle.List(EOC, o3368)), java.lang.Object(Shuffle.List(EOC, NULL))) :|: TRUE f5816_0_reverse_FieldAccess(EOS(STATIC_5816), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3374)))), java.lang.Object(Shuffle.List(EOC, o3374)), java.lang.Object(Shuffle.List(EOC, NULL))) -> f5820_0_reverse_FieldAccess(EOS(STATIC_5820), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3374)))), java.lang.Object(Shuffle.List(EOC, o3374)), java.lang.Object(Shuffle.List(EOC, NULL))) :|: TRUE f5819_0_reverse_FieldAccess(EOS(STATIC_5819), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032)))), java.lang.Object(Shuffle.List(EOC, o3368)), java.lang.Object(Shuffle.List(EOC, NULL))) -> f5821_0_reverse_Load(EOS(STATIC_5821), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032put))))) :|: TRUE f5820_0_reverse_FieldAccess(EOS(STATIC_5820), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3374)))), java.lang.Object(Shuffle.List(EOC, o3374)), java.lang.Object(Shuffle.List(EOC, NULL))) -> f5822_0_reverse_Load(EOS(STATIC_5822), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL))))))) :|: TRUE f5821_0_reverse_Load(EOS(STATIC_5821), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032))))) -> f5825_0_reverse_Return(EOS(STATIC_5825), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032))))) :|: TRUE f5822_0_reverse_Load(EOS(STATIC_5822), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL))))))) -> f5826_0_reverse_Return(EOS(STATIC_5826), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL))))))) :|: TRUE f5836_0_reverse_Return(EOS(STATIC_5836), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3523))))) -> f5787_0_reverse_Return(EOS(STATIC_5787), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3523))))) :|: TRUE f5838_0_reverse_Return(EOS(STATIC_5838), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL))))))) -> f5787_0_reverse_Return(EOS(STATIC_5787), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL))))))) :|: TRUE f5659_0_reverse_Load(EOS(STATIC_5659), java.lang.Object(o1998sub), java.lang.Object(o1998sub)) -> f5616_0_reverse_Load(EOS(STATIC_5616), java.lang.Object(o1998sub), java.lang.Object(o1998sub)) :|: TRUE f5650_1_reverse_InvokeMethod(f5640_0_reverse_Return(EOS(STATIC_5640), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL))) -> f5661_0_reverse_Return(EOS(STATIC_5661), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))) :|: TRUE f5650_1_reverse_InvokeMethod(f5678_0_reverse_Return(EOS(STATIC_5678), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL))))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) -> f5684_0_reverse_Return(EOS(STATIC_5684), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL))))) :|: TRUE f5650_1_reverse_InvokeMethod(f5825_0_reverse_Return(EOS(STATIC_5825), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3523))))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) -> f5836_0_reverse_Return(EOS(STATIC_5836), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3523))))) :|: TRUE f5650_1_reverse_InvokeMethod(f5826_0_reverse_Return(EOS(STATIC_5826), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL))))))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub))), java.lang.Object(o1956sub)) -> f5838_0_reverse_Return(EOS(STATIC_5838), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL))))))) :|: TRUE Combined rules. Obtained 1 conditional rules for P and 9 conditional rules for R.P rules: f5617_0_reverse_NULL(EOS(STATIC_5617), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0)))) -> f5650_1_reverse_InvokeMethod(f5617_0_reverse_NULL(EOS(STATIC_5617), java.lang.Object(o1956sub:0), java.lang.Object(o1956sub:0), java.lang.Object(o1956sub:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0))), java.lang.Object(o1956sub:0)) :|: TRUE R rules: f5650_1_reverse_InvokeMethod(f5678_0_reverse_Return(EOS(STATIC_5678), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL))))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0))), java.lang.Object(o1956sub:0)) -> f5816_0_reverse_FieldAccess(EOS(STATIC_5816), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))) :|: TRUE f5617_0_reverse_NULL(EOS(STATIC_5617), NULL, NULL, NULL) -> f5626_0_reverse_Return(EOS(STATIC_5626), NULL, NULL) :|: TRUE f5617_0_reverse_NULL(EOS(STATIC_5617), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))) -> f5640_0_reverse_Return(EOS(STATIC_5640), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))) :|: TRUE f5816_0_reverse_FieldAccess(EOS(STATIC_5816), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3374:0)))), java.lang.Object(Shuffle.List(EOC, o3374:0)), java.lang.Object(Shuffle.List(EOC, NULL))) -> f5826_0_reverse_Return(EOS(STATIC_5826), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL))))))) :|: TRUE f5816_0_reverse_FieldAccess(EOS(STATIC_5816), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032:0)))), java.lang.Object(Shuffle.List(EOC, o3368:0)), java.lang.Object(Shuffle.List(EOC, NULL))) -> f5825_0_reverse_Return(EOS(STATIC_5825), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032put:0))))) :|: TRUE f5650_1_reverse_InvokeMethod(f5826_0_reverse_Return(EOS(STATIC_5826), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL))))))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0))), java.lang.Object(o1956sub:0)) -> f5816_0_reverse_FieldAccess(EOS(STATIC_5816), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))) :|: TRUE f5650_1_reverse_InvokeMethod(f5825_0_reverse_Return(EOS(STATIC_5825), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3523:0))))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0))), java.lang.Object(o1956sub:0)) -> f5816_0_reverse_FieldAccess(EOS(STATIC_5816), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3523:0)))), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))) :|: TRUE f5650_1_reverse_InvokeMethod(f5640_0_reverse_Return(EOS(STATIC_5640), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, NULL))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL)))), java.lang.Object(Shuffle.List(EOC, NULL))) -> f5678_0_reverse_Return(EOS(STATIC_5678), java.lang.Object(Shuffle.List(EOC, NULL)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL))))) :|: TRUE f5617_0_reverse_NULL(EOS(STATIC_5617), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0)))) -> f5650_1_reverse_InvokeMethod(f5617_0_reverse_NULL(EOS(STATIC_5617), java.lang.Object(o1956sub:0), java.lang.Object(o1956sub:0), java.lang.Object(o1956sub:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0))), java.lang.Object(o1956sub:0)) :|: TRUE Filtered ground terms: f5617_0_reverse_NULL(x1, x2, x3, x4) -> f5617_0_reverse_NULL(x2, x3, x4) Shuffle.List(x1, x2) -> Shuffle.List(x2) f5816_0_reverse_FieldAccess(x1, x2, x3, x4, x5) -> f5816_0_reverse_FieldAccess(x3, x4) f5626_0_reverse_Return(x1, x2, x3) -> f5626_0_reverse_Return f5640_0_reverse_Return(x1, x2, x3) -> f5640_0_reverse_Return f5826_0_reverse_Return(x1, x2, x3) -> f5826_0_reverse_Return f5825_0_reverse_Return(x1, x2, x3) -> f5825_0_reverse_Return(x3) f5678_0_reverse_Return(x1, x2, x3) -> f5678_0_reverse_Return Filtered duplicate args: f5617_0_reverse_NULL(x1, x2, x3) -> f5617_0_reverse_NULL(x3) f5650_1_reverse_InvokeMethod(x1, x2, x3, x4) -> f5650_1_reverse_InvokeMethod(x1, x3) Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules: F5617_0_REVERSE_NULL(java.lang.Object(Shuffle.List(java.lang.Object(o1956sub:0:0)))) -> F5617_0_REVERSE_NULL(java.lang.Object(o1956sub:0:0)) :|: TRUE R rules: ---------------------------------------- (9) Obligation: Q DP problem: The TRS P consists of the following rules: F5617_0_REVERSE_NULL(java.lang.Object(Shuffle.List(java.lang.Object(o1956sub:0:0)))) -> F5617_0_REVERSE_NULL(java.lang.Object(o1956sub:0:0)) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (10) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *F5617_0_REVERSE_NULL(java.lang.Object(Shuffle.List(java.lang.Object(o1956sub:0:0)))) -> F5617_0_REVERSE_NULL(java.lang.Object(o1956sub:0:0)) The graph contains the following edges 1 > 1 ---------------------------------------- (11) YES ---------------------------------------- (12) Obligation: SCC of termination graph based on JBC Program. SCC contains nodes from the following methods: Shuffle.Shuffle.shuffle(LShuffle/List;)LShuffle/List; SCC calls the following helper methods: Shuffle.Shuffle.reverse(LShuffle/List;)LShuffle/List;, Shuffle.Shuffle.shuffle(LShuffle/List;)LShuffle/List; Performed SCC analyses: *Used field analysis yielded the following read fields: *Shuffle.List: [next, value] *Marker field analysis yielded the following relations that could be markers: ---------------------------------------- (13) SCCToQDPProof (SOUND) Transformed TerminationGraph SCC to QDP. Log: Generated 37 rules for P and 161 rules for R.P rules: f5538_0_shuffle_NONNULL(EOS(STATIC_5538), java.lang.Object(o1557sub), java.lang.Object(o1557sub), java.lang.Object(o1557sub)) -> f5540_0_shuffle_NONNULL(EOS(STATIC_5540), java.lang.Object(o1557sub), java.lang.Object(o1557sub), java.lang.Object(o1557sub)) :|: TRUE f5540_0_shuffle_NONNULL(EOS(STATIC_5540), java.lang.Object(o1557sub), java.lang.Object(o1557sub), java.lang.Object(o1557sub)) -> f5544_0_shuffle_Load(EOS(STATIC_5544), java.lang.Object(o1557sub), java.lang.Object(o1557sub)) :|: TRUE f5544_0_shuffle_Load(EOS(STATIC_5544), java.lang.Object(o1557sub), java.lang.Object(o1557sub)) -> f5548_0_shuffle_FieldAccess(EOS(STATIC_5548), java.lang.Object(o1557sub), java.lang.Object(o1557sub), java.lang.Object(o1557sub)) :|: TRUE f5548_0_shuffle_FieldAccess(EOS(STATIC_5548), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829))) -> f5552_0_shuffle_FieldAccess(EOS(STATIC_5552), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829))) :|: TRUE f5552_0_shuffle_FieldAccess(EOS(STATIC_5552), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829))) -> f5556_0_shuffle_Store(EOS(STATIC_5556), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) :|: TRUE f5556_0_shuffle_Store(EOS(STATIC_5556), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) -> f5557_0_shuffle_New(EOS(STATIC_5557), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) :|: TRUE f5557_0_shuffle_New(EOS(STATIC_5557), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) -> f5563_0_shuffle_Duplicate(EOS(STATIC_5563), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) :|: TRUE f5563_0_shuffle_Duplicate(EOS(STATIC_5563), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) -> f5565_0_shuffle_Load(EOS(STATIC_5565), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) :|: TRUE f5565_0_shuffle_Load(EOS(STATIC_5565), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) -> f5567_0_shuffle_FieldAccess(EOS(STATIC_5567), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623, java.lang.Object(Shuffle.List(EOC, o1623, i829))) :|: TRUE f5567_0_shuffle_FieldAccess(EOS(STATIC_5567), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623, java.lang.Object(Shuffle.List(EOC, o1623, i829))) -> f5569_0_shuffle_Load(EOS(STATIC_5569), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) :|: TRUE f5569_0_shuffle_Load(EOS(STATIC_5569), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) -> f5571_0_shuffle_InvokeMethod(EOS(STATIC_5571), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) :|: TRUE f5571_0_shuffle_InvokeMethod(EOS(STATIC_5571), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) -> f5573_1_shuffle_InvokeMethod(f5573_0_reverse_Load(EOS(STATIC_5573), o1623, java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623), java.lang.Object(Shuffle.List(EOC, o1623, i829))) :|: TRUE f5573_0_reverse_Load(EOS(STATIC_5573), o1623, java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) -> f6032_0_reverse_Load(EOS(STATIC_6032), o1623, java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) :|: TRUE f5634_0_reverse_Return(EOS(STATIC_5634), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) -> f5608_0_reverse_Return(EOS(STATIC_5608), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) :|: TRUE f5608_0_reverse_Return(EOS(STATIC_5608), java.lang.Object(Shuffle.List(EOC, o1878, i829)), o1878) -> f5610_0_shuffle_InvokeMethod(EOS(STATIC_5610), java.lang.Object(Shuffle.List(EOC, o1878, i829)), o1878) :|: TRUE f5610_0_shuffle_InvokeMethod(EOS(STATIC_5610), java.lang.Object(Shuffle.List(EOC, o1878, i829)), o1878) -> f5612_1_shuffle_InvokeMethod(f5612_0_shuffle_Load(EOS(STATIC_5612), o1878, java.lang.Object(Shuffle.List(EOC, o1878, i829)), o1878), java.lang.Object(Shuffle.List(EOC, o1878, i829))) :|: TRUE f5612_0_shuffle_Load(EOS(STATIC_5612), o1878, java.lang.Object(Shuffle.List(EOC, o1878, i829)), o1878) -> f5614_0_shuffle_Load(EOS(STATIC_5614), o1878, java.lang.Object(Shuffle.List(EOC, o1878, i829)), o1878) :|: TRUE f5614_0_shuffle_Load(EOS(STATIC_5614), o1878, java.lang.Object(Shuffle.List(EOC, o1878, i829)), o1878) -> f5615_0_shuffle_Load(EOS(STATIC_5615), o1878, java.lang.Object(Shuffle.List(EOC, o1878, i829)), o1878) :|: TRUE f5615_0_shuffle_Load(EOS(STATIC_5615), o1899, o1904, o1899) -> f5620_0_shuffle_Load(EOS(STATIC_5620), o1899, o1899) :|: TRUE f5620_0_shuffle_Load(EOS(STATIC_5620), o1899, o1899) -> f5536_0_shuffle_Load(EOS(STATIC_5536), o1899, o1899) :|: TRUE f5536_0_shuffle_Load(EOS(STATIC_5536), o1521, o1521) -> f5538_0_shuffle_NONNULL(EOS(STATIC_5538), o1521, o1521, o1521) :|: TRUE f5648_0_reverse_Return(EOS(STATIC_5648), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i906)), i829)), java.lang.Object(Shuffle.List(EOC, NULL, i906))) -> f5608_0_reverse_Return(EOS(STATIC_5608), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i906)), i829)), java.lang.Object(Shuffle.List(EOC, NULL, i906))) :|: TRUE f5683_0_reverse_Return(EOS(STATIC_5683), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941)), i942))) -> f5728_0_reverse_Return(EOS(STATIC_5728), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941)), i942))) :|: TRUE f5728_0_reverse_Return(EOS(STATIC_5728), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField12)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2451, i1044)), i1045))) -> f5785_0_reverse_Return(EOS(STATIC_5785), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField13)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2451, i1044)), i1045))) :|: TRUE f5785_0_reverse_Return(EOS(STATIC_5785), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField14)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2987, i1185)), i1186))) -> f5791_0_shuffle_InvokeMethod(EOS(STATIC_5791), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField15)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2987, i1185)), i1186))) :|: TRUE f5791_0_shuffle_InvokeMethod(EOS(STATIC_5791), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField16)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2987, i1185)), i1186))) -> f5794_1_shuffle_InvokeMethod(f5794_0_shuffle_Load(EOS(STATIC_5794), java.lang.Object(Shuffle.List(EOC, NULL, abstractField17)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2987, i1185)), i1186))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField18)), i829))) :|: TRUE f5794_0_shuffle_Load(EOS(STATIC_5794), java.lang.Object(Shuffle.List(EOC, NULL, abstractField19)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2987, i1185)), i1186))) -> f5797_0_shuffle_Load(EOS(STATIC_5797), java.lang.Object(Shuffle.List(EOC, NULL, abstractField20)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2987, i1185)), i1186))) :|: TRUE f5797_0_shuffle_Load(EOS(STATIC_5797), java.lang.Object(Shuffle.List(EOC, NULL, abstractField21)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2987, i1185)), i1186))) -> f5800_0_shuffle_Load(EOS(STATIC_5800), java.lang.Object(Shuffle.List(EOC, NULL, abstractField22)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2987, i1185)), i1186))) :|: TRUE f5800_0_shuffle_Load(EOS(STATIC_5800), o3140, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3147, i1185)), i1186))) -> f5808_0_shuffle_Load(EOS(STATIC_5808), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3147, i1185)), i1186)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3147, i1185)), i1186))) :|: TRUE f5808_0_shuffle_Load(EOS(STATIC_5808), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3147, i1185)), i1186)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3147, i1185)), i1186))) -> f5536_0_shuffle_Load(EOS(STATIC_5536), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3147, i1185)), i1186)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3147, i1185)), i1186))) :|: TRUE f5835_0_reverse_Return(EOS(STATIC_5835), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1306)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3508, i1308)), i1307))) -> f5785_0_reverse_Return(EOS(STATIC_5785), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1306)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3508, i1308)), i1307))) :|: TRUE f5837_0_reverse_Return(EOS(STATIC_5837), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318)), i1320)), i1319))) -> f5785_0_reverse_Return(EOS(STATIC_5785), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318)), i1320)), i1319))) :|: TRUE f5573_1_shuffle_InvokeMethod(f5626_0_reverse_Return(EOS(STATIC_5626), NULL, NULL), java.lang.Object(Shuffle.List(EOC, NULL, i829))) -> f5634_0_reverse_Return(EOS(STATIC_5634), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) :|: TRUE f5573_1_shuffle_InvokeMethod(f5640_0_reverse_Return(EOS(STATIC_5640), java.lang.Object(Shuffle.List(EOC, NULL, i906)), java.lang.Object(Shuffle.List(EOC, NULL, i906))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i906)), i829))) -> f5648_0_reverse_Return(EOS(STATIC_5648), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i906)), i829)), java.lang.Object(Shuffle.List(EOC, NULL, i906))) :|: TRUE f5573_1_shuffle_InvokeMethod(f5678_0_reverse_Return(EOS(STATIC_5678), java.lang.Object(Shuffle.List(EOC, NULL, i941)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941)), i942))), java.lang.Object(Shuffle.List(EOC, o1623, i829))) -> f5683_0_reverse_Return(EOS(STATIC_5683), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941)), i942))) :|: TRUE f5573_1_shuffle_InvokeMethod(f5825_0_reverse_Return(EOS(STATIC_5825), java.lang.Object(Shuffle.List(EOC, NULL, i1306)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3508, i1308)), i1307))), java.lang.Object(Shuffle.List(EOC, o1623, i829))) -> f5835_0_reverse_Return(EOS(STATIC_5835), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1306)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3508, i1308)), i1307))) :|: TRUE f5573_1_shuffle_InvokeMethod(f5826_0_reverse_Return(EOS(STATIC_5826), java.lang.Object(Shuffle.List(EOC, NULL, i1318)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318)), i1320)), i1319))), java.lang.Object(Shuffle.List(EOC, o1623, i829))) -> f5837_0_reverse_Return(EOS(STATIC_5837), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318)), i1320)), i1319))) :|: TRUE R rules: f5573_0_reverse_Load(EOS(STATIC_5573), o1623, java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) -> f5575_0_reverse_Load(EOS(STATIC_5575), o1623, java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) :|: TRUE f5575_0_reverse_Load(EOS(STATIC_5575), o1623, java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) -> f5577_0_reverse_Load(EOS(STATIC_5577), o1623, java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) :|: TRUE f5577_0_reverse_Load(EOS(STATIC_5577), o1806, o1811, o1806) -> f5582_0_reverse_Load(EOS(STATIC_5582), o1806, o1806) :|: TRUE f5582_0_reverse_Load(EOS(STATIC_5582), o1806, o1806) -> f5616_0_reverse_Load(EOS(STATIC_5616), o1806, o1806) :|: TRUE f5659_0_reverse_Load(EOS(STATIC_5659), java.lang.Object(o1998sub), java.lang.Object(o1998sub)) -> f5616_0_reverse_Load(EOS(STATIC_5616), java.lang.Object(o1998sub), java.lang.Object(o1998sub)) :|: TRUE f5616_0_reverse_Load(EOS(STATIC_5616), o1908, o1908) -> f5617_0_reverse_NULL(EOS(STATIC_5617), o1908, o1908, o1908) :|: TRUE f5617_0_reverse_NULL(EOS(STATIC_5617), java.lang.Object(o1937sub), java.lang.Object(o1937sub), java.lang.Object(o1937sub)) -> f5618_0_reverse_NULL(EOS(STATIC_5618), java.lang.Object(o1937sub), java.lang.Object(o1937sub), java.lang.Object(o1937sub)) :|: TRUE f5617_0_reverse_NULL(EOS(STATIC_5617), NULL, NULL, NULL) -> f5619_0_reverse_NULL(EOS(STATIC_5619), NULL, NULL, NULL) :|: TRUE f5618_0_reverse_NULL(EOS(STATIC_5618), java.lang.Object(o1937sub), java.lang.Object(o1937sub), java.lang.Object(o1937sub)) -> f5622_0_reverse_Load(EOS(STATIC_5622), java.lang.Object(o1937sub), java.lang.Object(o1937sub)) :|: TRUE f5619_0_reverse_NULL(EOS(STATIC_5619), NULL, NULL, NULL) -> f5623_0_reverse_Load(EOS(STATIC_5623), NULL, NULL) :|: TRUE f5622_0_reverse_Load(EOS(STATIC_5622), java.lang.Object(o1937sub), java.lang.Object(o1937sub)) -> f5625_0_reverse_FieldAccess(EOS(STATIC_5625), java.lang.Object(o1937sub), java.lang.Object(o1937sub), java.lang.Object(o1937sub)) :|: TRUE f5623_0_reverse_Load(EOS(STATIC_5623), NULL, NULL) -> f5626_0_reverse_Return(EOS(STATIC_5626), NULL, NULL) :|: TRUE f5625_0_reverse_FieldAccess(EOS(STATIC_5625), java.lang.Object(Shuffle.List(EOC, o1939, i900)), java.lang.Object(Shuffle.List(EOC, o1939, i900)), java.lang.Object(Shuffle.List(EOC, o1939, i900))) -> f5628_0_reverse_FieldAccess(EOS(STATIC_5628), java.lang.Object(Shuffle.List(EOC, o1939, i900)), java.lang.Object(Shuffle.List(EOC, o1939, i900)), java.lang.Object(Shuffle.List(EOC, o1939, i900))) :|: TRUE f5628_0_reverse_FieldAccess(EOS(STATIC_5628), java.lang.Object(Shuffle.List(EOC, o1939, i900)), java.lang.Object(Shuffle.List(EOC, o1939, i900)), java.lang.Object(Shuffle.List(EOC, o1939, i900))) -> f5630_0_reverse_NONNULL(EOS(STATIC_5630), java.lang.Object(Shuffle.List(EOC, o1939, i900)), java.lang.Object(Shuffle.List(EOC, o1939, i900)), o1939) :|: TRUE f5630_0_reverse_NONNULL(EOS(STATIC_5630), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(o1956sub)) -> f5632_0_reverse_NONNULL(EOS(STATIC_5632), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(o1956sub)) :|: TRUE f5630_0_reverse_NONNULL(EOS(STATIC_5630), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, NULL, i900)), NULL) -> f5633_0_reverse_NONNULL(EOS(STATIC_5633), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, NULL, i900)), NULL) :|: TRUE f5632_0_reverse_NONNULL(EOS(STATIC_5632), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(o1956sub)) -> f5636_0_reverse_Load(EOS(STATIC_5636), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900))) :|: TRUE f5633_0_reverse_NONNULL(EOS(STATIC_5633), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, NULL, i900)), NULL) -> f5637_0_reverse_Load(EOS(STATIC_5637), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, NULL, i900))) :|: TRUE f5636_0_reverse_Load(EOS(STATIC_5636), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900))) -> f5639_0_reverse_FieldAccess(EOS(STATIC_5639), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900))) :|: TRUE f5637_0_reverse_Load(EOS(STATIC_5637), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, NULL, i900))) -> f5640_0_reverse_Return(EOS(STATIC_5640), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, NULL, i900))) :|: TRUE f5639_0_reverse_FieldAccess(EOS(STATIC_5639), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900))) -> f5642_0_reverse_Store(EOS(STATIC_5642), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(o1956sub)) :|: TRUE f5642_0_reverse_Store(EOS(STATIC_5642), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(o1956sub)) -> f5645_0_reverse_Load(EOS(STATIC_5645), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(o1956sub)) :|: TRUE f5645_0_reverse_Load(EOS(STATIC_5645), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(o1956sub)) -> f5647_0_reverse_InvokeMethod(EOS(STATIC_5647), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(o1956sub), java.lang.Object(o1956sub)) :|: TRUE f5647_0_reverse_InvokeMethod(EOS(STATIC_5647), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(o1956sub), java.lang.Object(o1956sub)) -> f5650_1_reverse_InvokeMethod(f5650_0_reverse_Load(EOS(STATIC_5650), java.lang.Object(o1956sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(o1956sub)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(o1956sub)) :|: TRUE f5650_0_reverse_Load(EOS(STATIC_5650), java.lang.Object(o1956sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(o1956sub)) -> f5652_0_reverse_Load(EOS(STATIC_5652), java.lang.Object(o1956sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(o1956sub)) :|: TRUE f5652_0_reverse_Load(EOS(STATIC_5652), java.lang.Object(o1956sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(o1956sub)) -> f5654_0_reverse_Load(EOS(STATIC_5654), java.lang.Object(o1956sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(o1956sub), o1938[List.next]o1956) :|: o1938[List.next]o1956 = 1 f5654_0_reverse_Load(EOS(STATIC_5654), java.lang.Object(o1998sub), o2005, java.lang.Object(o1998sub), o2005[List.next]o1998) -> f5659_0_reverse_Load(EOS(STATIC_5659), java.lang.Object(o1998sub), java.lang.Object(o1998sub)) :|: TRUE f5661_0_reverse_Return(EOS(STATIC_5661), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, NULL, i926))) -> f5663_0_reverse_Store(EOS(STATIC_5663), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, NULL, i926))) :|: TRUE f5663_0_reverse_Store(EOS(STATIC_5663), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, NULL, i926))) -> f5665_0_reverse_Load(EOS(STATIC_5665), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, NULL, i926))) :|: TRUE f5665_0_reverse_Load(EOS(STATIC_5665), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, NULL, i926))) -> f5666_0_reverse_ConstantStackPush(EOS(STATIC_5666), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900))) :|: TRUE f5666_0_reverse_ConstantStackPush(EOS(STATIC_5666), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900))) -> f5668_0_reverse_FieldAccess(EOS(STATIC_5668), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), NULL) :|: TRUE f5668_0_reverse_FieldAccess(EOS(STATIC_5668), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), NULL) -> f5670_0_reverse_Load(EOS(STATIC_5670), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, NULL, i926))) :|: TRUE f5670_0_reverse_Load(EOS(STATIC_5670), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, NULL, i926))) -> f5672_0_reverse_Load(EOS(STATIC_5672), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, NULL, i926))) :|: TRUE f5672_0_reverse_Load(EOS(STATIC_5672), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, NULL, i926))) -> f5674_0_reverse_FieldAccess(EOS(STATIC_5674), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, NULL, i900))) :|: TRUE f5674_0_reverse_FieldAccess(EOS(STATIC_5674), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, NULL, i900))) -> f5676_0_reverse_Load(EOS(STATIC_5676), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i900)), i926))) :|: TRUE f5676_0_reverse_Load(EOS(STATIC_5676), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i900)), i926))) -> f5678_0_reverse_Return(EOS(STATIC_5678), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i900)), i926))) :|: TRUE f5684_0_reverse_Return(EOS(STATIC_5684), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i946)), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i946)), i900)), java.lang.Object(Shuffle.List(EOC, NULL, i946)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i946)), i947))) -> f5730_0_reverse_Return(EOS(STATIC_5730), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i946)), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i946)), i900)), java.lang.Object(Shuffle.List(EOC, NULL, i946)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i946)), i947))) :|: TRUE f5730_0_reverse_Return(EOS(STATIC_5730), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o2472sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o2472sub), i900)), java.lang.Object(o2472sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2470, i1049)), i1050))) -> f5787_0_reverse_Return(EOS(STATIC_5787), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o2472sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o2472sub), i900)), java.lang.Object(o2472sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2470, i1049)), i1050))) :|: TRUE f5787_0_reverse_Return(EOS(STATIC_5787), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900)), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198))) -> f5792_0_reverse_Store(EOS(STATIC_5792), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900)), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198))) :|: TRUE f5792_0_reverse_Store(EOS(STATIC_5792), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900)), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198))) -> f5795_0_reverse_Load(EOS(STATIC_5795), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900)), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198))) :|: TRUE f5795_0_reverse_Load(EOS(STATIC_5795), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900)), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198))) -> f5798_0_reverse_ConstantStackPush(EOS(STATIC_5798), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900)), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900))) :|: TRUE f5798_0_reverse_ConstantStackPush(EOS(STATIC_5798), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900)), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900))) -> f5801_0_reverse_FieldAccess(EOS(STATIC_5801), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900)), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900)), NULL) :|: TRUE f5801_0_reverse_FieldAccess(EOS(STATIC_5801), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900)), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o3034sub), i900)), NULL) -> f5803_0_reverse_Load(EOS(STATIC_5803), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198))) :|: TRUE f5803_0_reverse_Load(EOS(STATIC_5803), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198))) -> f5804_0_reverse_Load(EOS(STATIC_5804), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198)), java.lang.Object(o3034sub)) :|: TRUE f5804_0_reverse_Load(EOS(STATIC_5804), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198)), java.lang.Object(o3034sub)) -> f5813_0_reverse_FieldAccess(EOS(STATIC_5813), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198)), java.lang.Object(o3034sub), java.lang.Object(Shuffle.List(EOC, NULL, i900))) :|: TRUE f5813_0_reverse_FieldAccess(EOS(STATIC_5813), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198)), java.lang.Object(Shuffle.List(EOC, o3368, i1275)), java.lang.Object(Shuffle.List(EOC, NULL, i900))) -> f5816_0_reverse_FieldAccess(EOS(STATIC_5816), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198)), java.lang.Object(Shuffle.List(EOC, o3368, i1275)), java.lang.Object(Shuffle.List(EOC, NULL, i900))) :|: TRUE f5816_0_reverse_FieldAccess(EOS(STATIC_5816), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198)), java.lang.Object(Shuffle.List(EOC, o3368, i1275)), java.lang.Object(Shuffle.List(EOC, NULL, i900))) -> f5819_0_reverse_FieldAccess(EOS(STATIC_5819), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198)), java.lang.Object(Shuffle.List(EOC, o3368, i1275)), java.lang.Object(Shuffle.List(EOC, NULL, i900))) :|: TRUE f5816_0_reverse_FieldAccess(EOS(STATIC_5816), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3374, i1278)), i1198)), java.lang.Object(Shuffle.List(EOC, o3374, i1278)), java.lang.Object(Shuffle.List(EOC, NULL, i900))) -> f5820_0_reverse_FieldAccess(EOS(STATIC_5820), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3374, i1278)), i1198)), java.lang.Object(Shuffle.List(EOC, o3374, i1278)), java.lang.Object(Shuffle.List(EOC, NULL, i900))) :|: TRUE f5819_0_reverse_FieldAccess(EOS(STATIC_5819), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198)), java.lang.Object(Shuffle.List(EOC, o3368, i1275)), java.lang.Object(Shuffle.List(EOC, NULL, i900))) -> f5821_0_reverse_Load(EOS(STATIC_5821), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032put, i1197)), i1198))) :|: TRUE f5820_0_reverse_FieldAccess(EOS(STATIC_5820), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3374, i1278)), i1198)), java.lang.Object(Shuffle.List(EOC, o3374, i1278)), java.lang.Object(Shuffle.List(EOC, NULL, i900))) -> f5822_0_reverse_Load(EOS(STATIC_5822), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i900)), i1278)), i1198))) :|: TRUE f5821_0_reverse_Load(EOS(STATIC_5821), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198))) -> f5825_0_reverse_Return(EOS(STATIC_5825), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032, i1197)), i1198))) :|: TRUE f5822_0_reverse_Load(EOS(STATIC_5822), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i900)), i1278)), i1198))) -> f5826_0_reverse_Return(EOS(STATIC_5826), java.lang.Object(Shuffle.List(EOC, NULL, i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i900)), i1278)), i1198))) :|: TRUE f5836_0_reverse_Return(EOS(STATIC_5836), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1312)), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1312)), i900)), java.lang.Object(Shuffle.List(EOC, NULL, i1312)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3523, i1314)), i1313))) -> f5787_0_reverse_Return(EOS(STATIC_5787), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1312)), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1312)), i900)), java.lang.Object(Shuffle.List(EOC, NULL, i1312)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3523, i1314)), i1313))) :|: TRUE f5838_0_reverse_Return(EOS(STATIC_5838), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1324)), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1324)), i900)), java.lang.Object(Shuffle.List(EOC, NULL, i1324)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1324)), i1326)), i1325))) -> f5787_0_reverse_Return(EOS(STATIC_5787), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1324)), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1324)), i900)), java.lang.Object(Shuffle.List(EOC, NULL, i1324)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1324)), i1326)), i1325))) :|: TRUE f5536_0_shuffle_Load(EOS(STATIC_5536), o1521, o1521) -> f5538_0_shuffle_NONNULL(EOS(STATIC_5538), o1521, o1521, o1521) :|: TRUE f5538_0_shuffle_NONNULL(EOS(STATIC_5538), java.lang.Object(o1557sub), java.lang.Object(o1557sub), java.lang.Object(o1557sub)) -> f5540_0_shuffle_NONNULL(EOS(STATIC_5540), java.lang.Object(o1557sub), java.lang.Object(o1557sub), java.lang.Object(o1557sub)) :|: TRUE f5538_0_shuffle_NONNULL(EOS(STATIC_5538), NULL, NULL, NULL) -> f5541_0_shuffle_NONNULL(EOS(STATIC_5541), NULL, NULL, NULL) :|: TRUE f5540_0_shuffle_NONNULL(EOS(STATIC_5540), java.lang.Object(o1557sub), java.lang.Object(o1557sub), java.lang.Object(o1557sub)) -> f5544_0_shuffle_Load(EOS(STATIC_5544), java.lang.Object(o1557sub), java.lang.Object(o1557sub)) :|: TRUE f5541_0_shuffle_NONNULL(EOS(STATIC_5541), NULL, NULL, NULL) -> f5545_0_shuffle_ConstantStackPush(EOS(STATIC_5545), NULL) :|: TRUE f5544_0_shuffle_Load(EOS(STATIC_5544), java.lang.Object(o1557sub), java.lang.Object(o1557sub)) -> f5548_0_shuffle_FieldAccess(EOS(STATIC_5548), java.lang.Object(o1557sub), java.lang.Object(o1557sub), java.lang.Object(o1557sub)) :|: TRUE f5545_0_shuffle_ConstantStackPush(EOS(STATIC_5545), NULL) -> f5549_0_shuffle_Return(EOS(STATIC_5549), NULL, NULL) :|: TRUE f5548_0_shuffle_FieldAccess(EOS(STATIC_5548), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829))) -> f5552_0_shuffle_FieldAccess(EOS(STATIC_5552), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829))) :|: TRUE f5552_0_shuffle_FieldAccess(EOS(STATIC_5552), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829))) -> f5556_0_shuffle_Store(EOS(STATIC_5556), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) :|: TRUE f5556_0_shuffle_Store(EOS(STATIC_5556), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) -> f5557_0_shuffle_New(EOS(STATIC_5557), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) :|: TRUE f5557_0_shuffle_New(EOS(STATIC_5557), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) -> f5563_0_shuffle_Duplicate(EOS(STATIC_5563), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) :|: TRUE f5563_0_shuffle_Duplicate(EOS(STATIC_5563), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) -> f5565_0_shuffle_Load(EOS(STATIC_5565), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) :|: TRUE f5565_0_shuffle_Load(EOS(STATIC_5565), java.lang.Object(Shuffle.List(EOC, o1623, i829)), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) -> f5567_0_shuffle_FieldAccess(EOS(STATIC_5567), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623, java.lang.Object(Shuffle.List(EOC, o1623, i829))) :|: TRUE f5567_0_shuffle_FieldAccess(EOS(STATIC_5567), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623, java.lang.Object(Shuffle.List(EOC, o1623, i829))) -> f5569_0_shuffle_Load(EOS(STATIC_5569), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) :|: TRUE f5569_0_shuffle_Load(EOS(STATIC_5569), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) -> f5571_0_shuffle_InvokeMethod(EOS(STATIC_5571), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) :|: TRUE f5571_0_shuffle_InvokeMethod(EOS(STATIC_5571), java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623) -> f5573_1_shuffle_InvokeMethod(f5573_0_reverse_Load(EOS(STATIC_5573), o1623, java.lang.Object(Shuffle.List(EOC, o1623, i829)), o1623), java.lang.Object(Shuffle.List(EOC, o1623, i829))) :|: TRUE f5608_0_reverse_Return(EOS(STATIC_5608), java.lang.Object(Shuffle.List(EOC, o1878, i829)), o1878) -> f5610_0_shuffle_InvokeMethod(EOS(STATIC_5610), java.lang.Object(Shuffle.List(EOC, o1878, i829)), o1878) :|: TRUE f5610_0_shuffle_InvokeMethod(EOS(STATIC_5610), java.lang.Object(Shuffle.List(EOC, o1878, i829)), o1878) -> f5612_1_shuffle_InvokeMethod(f5612_0_shuffle_Load(EOS(STATIC_5612), o1878, java.lang.Object(Shuffle.List(EOC, o1878, i829)), o1878), java.lang.Object(Shuffle.List(EOC, o1878, i829))) :|: TRUE f5612_0_shuffle_Load(EOS(STATIC_5612), o1878, java.lang.Object(Shuffle.List(EOC, o1878, i829)), o1878) -> f5614_0_shuffle_Load(EOS(STATIC_5614), o1878, java.lang.Object(Shuffle.List(EOC, o1878, i829)), o1878) :|: TRUE f5614_0_shuffle_Load(EOS(STATIC_5614), o1878, java.lang.Object(Shuffle.List(EOC, o1878, i829)), o1878) -> f5615_0_shuffle_Load(EOS(STATIC_5615), o1878, java.lang.Object(Shuffle.List(EOC, o1878, i829)), o1878) :|: TRUE f5615_0_shuffle_Load(EOS(STATIC_5615), o1899, o1904, o1899) -> f5620_0_shuffle_Load(EOS(STATIC_5620), o1899, o1899) :|: TRUE f5621_0_shuffle_Return(EOS(STATIC_5621), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) -> f5624_0_shuffle_InvokeMethod(EOS(STATIC_5624), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) :|: TRUE f5624_0_shuffle_InvokeMethod(EOS(STATIC_5624), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) -> f5627_0__init__Load(EOS(STATIC_5627), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) :|: TRUE f5627_0__init__Load(EOS(STATIC_5627), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) -> f5631_0__init__InvokeMethod(EOS(STATIC_5631), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) :|: TRUE f5631_0__init__InvokeMethod(EOS(STATIC_5631), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) -> f5635_0__init__Load(EOS(STATIC_5635), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) :|: TRUE f5634_0_reverse_Return(EOS(STATIC_5634), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) -> f5608_0_reverse_Return(EOS(STATIC_5608), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) :|: TRUE f5635_0__init__Load(EOS(STATIC_5635), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) -> f5638_0__init__Load(EOS(STATIC_5638), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) :|: TRUE f5638_0__init__Load(EOS(STATIC_5638), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) -> f5641_0__init__FieldAccess(EOS(STATIC_5641), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) :|: TRUE f5641_0__init__FieldAccess(EOS(STATIC_5641), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) -> f5644_0__init__Load(EOS(STATIC_5644), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) :|: TRUE f5644_0__init__Load(EOS(STATIC_5644), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) -> f5646_0__init__Load(EOS(STATIC_5646), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) :|: TRUE f5646_0__init__Load(EOS(STATIC_5646), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) -> f5649_0__init__FieldAccess(EOS(STATIC_5649), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) :|: TRUE f5648_0_reverse_Return(EOS(STATIC_5648), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i906)), i829)), java.lang.Object(Shuffle.List(EOC, NULL, i906))) -> f5608_0_reverse_Return(EOS(STATIC_5608), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i906)), i829)), java.lang.Object(Shuffle.List(EOC, NULL, i906))) :|: TRUE f5649_0__init__FieldAccess(EOS(STATIC_5649), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) -> f5651_0__init__Return(EOS(STATIC_5651), java.lang.Object(Shuffle.List(EOC, NULL, i829))) :|: TRUE f5651_0__init__Return(EOS(STATIC_5651), java.lang.Object(Shuffle.List(EOC, NULL, i829))) -> f5653_0_shuffle_Return(EOS(STATIC_5653), java.lang.Object(Shuffle.List(EOC, NULL, i829))) :|: TRUE f5658_0_shuffle_Return(EOS(STATIC_5658), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i919)), i829))) -> f5694_0_shuffle_Return(EOS(STATIC_5694), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i919)), i829))) :|: TRUE f5683_0_reverse_Return(EOS(STATIC_5683), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941)), i942))) -> f5728_0_reverse_Return(EOS(STATIC_5728), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941)), i942))) :|: TRUE f5694_0_shuffle_Return(EOS(STATIC_5694), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2211, i979)), i829))) -> f5748_0_shuffle_Return(EOS(STATIC_5748), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2211, i979)), i829))) :|: TRUE f5728_0_reverse_Return(EOS(STATIC_5728), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField27)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2451, i1044)), i1045))) -> f5785_0_reverse_Return(EOS(STATIC_5785), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField28)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2451, i1044)), i1045))) :|: TRUE f5748_0_shuffle_Return(EOS(STATIC_5748), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2624, i1089)), i829))) -> f5854_0_shuffle_Return(EOS(STATIC_5854), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2624, i1089)), i829))) :|: TRUE f5785_0_reverse_Return(EOS(STATIC_5785), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField29)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2987, i1185)), i1186))) -> f5791_0_shuffle_InvokeMethod(EOS(STATIC_5791), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField30)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2987, i1185)), i1186))) :|: TRUE f5791_0_shuffle_InvokeMethod(EOS(STATIC_5791), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField31)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2987, i1185)), i1186))) -> f5794_1_shuffle_InvokeMethod(f5794_0_shuffle_Load(EOS(STATIC_5794), java.lang.Object(Shuffle.List(EOC, NULL, abstractField32)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2987, i1185)), i1186))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField33)), i829))) :|: TRUE f5794_0_shuffle_Load(EOS(STATIC_5794), java.lang.Object(Shuffle.List(EOC, NULL, abstractField34)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2987, i1185)), i1186))) -> f5797_0_shuffle_Load(EOS(STATIC_5797), java.lang.Object(Shuffle.List(EOC, NULL, abstractField35)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2987, i1185)), i1186))) :|: TRUE f5797_0_shuffle_Load(EOS(STATIC_5797), java.lang.Object(Shuffle.List(EOC, NULL, abstractField48)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2987, i1185)), i1186))) -> f5800_0_shuffle_Load(EOS(STATIC_5800), java.lang.Object(Shuffle.List(EOC, NULL, abstractField49)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o2987, i1185)), i1186))) :|: TRUE f5800_0_shuffle_Load(EOS(STATIC_5800), o3140, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3147, i1185)), i1186))) -> f5808_0_shuffle_Load(EOS(STATIC_5808), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3147, i1185)), i1186)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3147, i1185)), i1186))) :|: TRUE f5809_0_shuffle_Return(EOS(STATIC_5809), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField50)), i829)), NULL) -> f5814_0_shuffle_InvokeMethod(EOS(STATIC_5814), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField51)), i829)), NULL) :|: TRUE f5810_0_shuffle_Return(EOS(STATIC_5810), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField52)), i829))) -> f5812_0_shuffle_Return(EOS(STATIC_5812), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField53)), i829))) :|: TRUE f5812_0_shuffle_Return(EOS(STATIC_5812), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField54)), i829))) -> f5815_0_shuffle_InvokeMethod(EOS(STATIC_5815), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField55)), i829))) :|: TRUE f5814_0_shuffle_InvokeMethod(EOS(STATIC_5814), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField56)), i829)), NULL) -> f5817_0__init__Load(EOS(STATIC_5817), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField57)), i829)), NULL) :|: TRUE f5815_0_shuffle_InvokeMethod(EOS(STATIC_5815), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField58)), i829))) -> f5818_0__init__Load(EOS(STATIC_5818), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField59)), i829))) :|: TRUE f5817_0__init__Load(EOS(STATIC_5817), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField60)), i829)), NULL) -> f5823_0__init__InvokeMethod(EOS(STATIC_5823), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField61)), i829)), NULL) :|: TRUE f5818_0__init__Load(EOS(STATIC_5818), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField62)), i829))) -> f5824_0__init__InvokeMethod(EOS(STATIC_5824), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField63)), i829))) :|: TRUE f5823_0__init__InvokeMethod(EOS(STATIC_5823), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField64)), i829)), NULL) -> f5827_0__init__Load(EOS(STATIC_5827), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField65)), i829)), NULL) :|: TRUE f5824_0__init__InvokeMethod(EOS(STATIC_5824), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField66)), i829))) -> f5828_0__init__Load(EOS(STATIC_5828), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField67)), i829))) :|: TRUE f5827_0__init__Load(EOS(STATIC_5827), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField68)), i829)), NULL) -> f5831_0__init__Load(EOS(STATIC_5831), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField69)), i829)), NULL) :|: TRUE f5828_0__init__Load(EOS(STATIC_5828), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField70)), i829))) -> f5832_0__init__Load(EOS(STATIC_5832), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField71)), i829))) :|: TRUE f5831_0__init__Load(EOS(STATIC_5831), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField72)), i829)), NULL) -> f5833_0__init__FieldAccess(EOS(STATIC_5833), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField73)), i829)), NULL) :|: TRUE f5832_0__init__Load(EOS(STATIC_5832), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField74)), i829))) -> f5834_0__init__FieldAccess(EOS(STATIC_5834), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField75)), i829))) :|: TRUE f5833_0__init__FieldAccess(EOS(STATIC_5833), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField76)), i829)), NULL) -> f5839_0__init__Load(EOS(STATIC_5839), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField77)), i829)), NULL) :|: TRUE f5834_0__init__FieldAccess(EOS(STATIC_5834), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField78)), i829))) -> f5840_0__init__Load(EOS(STATIC_5840), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField79)), i829))) :|: TRUE f5835_0_reverse_Return(EOS(STATIC_5835), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1306)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3508, i1308)), i1307))) -> f5785_0_reverse_Return(EOS(STATIC_5785), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1306)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3508, i1308)), i1307))) :|: TRUE f5837_0_reverse_Return(EOS(STATIC_5837), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318)), i1320)), i1319))) -> f5785_0_reverse_Return(EOS(STATIC_5785), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318)), i1320)), i1319))) :|: TRUE f5839_0__init__Load(EOS(STATIC_5839), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField80)), i829)), NULL) -> f5841_0__init__Load(EOS(STATIC_5841), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField81)), i829)), NULL) :|: TRUE f5840_0__init__Load(EOS(STATIC_5840), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField82)), i829))) -> f5842_0__init__Load(EOS(STATIC_5842), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField83)), i829))) :|: TRUE f5841_0__init__Load(EOS(STATIC_5841), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField84)), i829)), NULL) -> f5843_0__init__FieldAccess(EOS(STATIC_5843), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField85)), i829)), NULL) :|: TRUE f5842_0__init__Load(EOS(STATIC_5842), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField86)), i829))) -> f5844_0__init__FieldAccess(EOS(STATIC_5844), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField87)), i829))) :|: TRUE f5843_0__init__FieldAccess(EOS(STATIC_5843), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField88)), i829)), NULL) -> f5845_0__init__Return(EOS(STATIC_5845), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField89)), i829))) :|: TRUE f5844_0__init__FieldAccess(EOS(STATIC_5844), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField90)), i829))) -> f5846_0__init__Return(EOS(STATIC_5846), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField91)), i829))) :|: TRUE f5845_0__init__Return(EOS(STATIC_5845), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField92)), i829))) -> f5847_0_shuffle_Return(EOS(STATIC_5847), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField93)), i829))) :|: TRUE f5846_0__init__Return(EOS(STATIC_5846), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField94)), i829))) -> f5848_0_shuffle_Return(EOS(STATIC_5848), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField95)), i829))) :|: TRUE f5853_0_shuffle_Return(EOS(STATIC_5853), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField96)), i1387)), i829))) -> f5854_0_shuffle_Return(EOS(STATIC_5854), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField97)), i1387)), i829))) :|: TRUE f5854_0_shuffle_Return(EOS(STATIC_5854), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) -> f5861_0_shuffle_InvokeMethod(EOS(STATIC_5861), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) :|: TRUE f5855_0_shuffle_Return(EOS(STATIC_5855), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField98)), i829))) -> f5812_0_shuffle_Return(EOS(STATIC_5812), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField99)), i829))) :|: TRUE f5859_0_shuffle_Return(EOS(STATIC_5859), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField100)), i1405)), i829))) -> f5854_0_shuffle_Return(EOS(STATIC_5854), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField101)), i1405)), i829))) :|: TRUE f5860_0_shuffle_Return(EOS(STATIC_5860), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField102)), i829))) -> f5812_0_shuffle_Return(EOS(STATIC_5812), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField103)), i829))) :|: TRUE f5861_0_shuffle_InvokeMethod(EOS(STATIC_5861), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) -> f5863_0__init__Load(EOS(STATIC_5863), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) :|: TRUE f5863_0__init__Load(EOS(STATIC_5863), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) -> f5865_0__init__InvokeMethod(EOS(STATIC_5865), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) :|: TRUE f5865_0__init__InvokeMethod(EOS(STATIC_5865), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) -> f5866_0__init__Load(EOS(STATIC_5866), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) :|: TRUE f5866_0__init__Load(EOS(STATIC_5866), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) -> f5867_0__init__Load(EOS(STATIC_5867), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) :|: TRUE f5867_0__init__Load(EOS(STATIC_5867), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) -> f5868_0__init__FieldAccess(EOS(STATIC_5868), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) :|: TRUE f5868_0__init__FieldAccess(EOS(STATIC_5868), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) -> f5869_0__init__Load(EOS(STATIC_5869), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) :|: TRUE f5869_0__init__Load(EOS(STATIC_5869), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) -> f5870_0__init__Load(EOS(STATIC_5870), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) :|: TRUE f5870_0__init__Load(EOS(STATIC_5870), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) -> f5871_0__init__FieldAccess(EOS(STATIC_5871), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) :|: TRUE f5871_0__init__FieldAccess(EOS(STATIC_5871), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) -> f5872_0__init__Return(EOS(STATIC_5872), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) :|: TRUE f5872_0__init__Return(EOS(STATIC_5872), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) -> f5873_0_shuffle_Return(EOS(STATIC_5873), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1419)), i829))) :|: TRUE f5877_0_shuffle_Return(EOS(STATIC_5877), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o4023, i1502)), i1501)), i829))) -> f5854_0_shuffle_Return(EOS(STATIC_5854), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o4023, i1502)), i1501)), i829))) :|: TRUE f5878_0_shuffle_Return(EOS(STATIC_5878), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField104)), i829))) -> f5812_0_shuffle_Return(EOS(STATIC_5812), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField105)), i829))) :|: TRUE f5620_0_shuffle_Load(EOS(STATIC_5620), o1899, o1899) -> f5536_0_shuffle_Load(EOS(STATIC_5536), o1899, o1899) :|: TRUE f5808_0_shuffle_Load(EOS(STATIC_5808), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3147, i1185)), i1186)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3147, i1185)), i1186))) -> f5536_0_shuffle_Load(EOS(STATIC_5536), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3147, i1185)), i1186)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3147, i1185)), i1186))) :|: TRUE f5650_1_reverse_InvokeMethod(f5640_0_reverse_Return(EOS(STATIC_5640), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, NULL, i926))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, NULL, i926))) -> f5661_0_reverse_Return(EOS(STATIC_5661), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926)), i900)), java.lang.Object(Shuffle.List(EOC, NULL, i926)), java.lang.Object(Shuffle.List(EOC, NULL, i926))) :|: TRUE f5650_1_reverse_InvokeMethod(f5678_0_reverse_Return(EOS(STATIC_5678), java.lang.Object(Shuffle.List(EOC, NULL, i946)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i946)), i947))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(o1956sub)) -> f5684_0_reverse_Return(EOS(STATIC_5684), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i946)), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i946)), i900)), java.lang.Object(Shuffle.List(EOC, NULL, i946)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i946)), i947))) :|: TRUE f5650_1_reverse_InvokeMethod(f5825_0_reverse_Return(EOS(STATIC_5825), java.lang.Object(Shuffle.List(EOC, NULL, i1312)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3523, i1314)), i1313))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(o1956sub)) -> f5836_0_reverse_Return(EOS(STATIC_5836), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1312)), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1312)), i900)), java.lang.Object(Shuffle.List(EOC, NULL, i1312)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3523, i1314)), i1313))) :|: TRUE f5650_1_reverse_InvokeMethod(f5826_0_reverse_Return(EOS(STATIC_5826), java.lang.Object(Shuffle.List(EOC, NULL, i1324)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1324)), i1326)), i1325))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub), i900)), java.lang.Object(o1956sub)) -> f5838_0_reverse_Return(EOS(STATIC_5838), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1324)), i900)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1324)), i900)), java.lang.Object(Shuffle.List(EOC, NULL, i1324)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1324)), i1326)), i1325))) :|: TRUE f5573_1_shuffle_InvokeMethod(f5626_0_reverse_Return(EOS(STATIC_5626), NULL, NULL), java.lang.Object(Shuffle.List(EOC, NULL, i829))) -> f5634_0_reverse_Return(EOS(STATIC_5634), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) :|: TRUE f5573_1_shuffle_InvokeMethod(f5640_0_reverse_Return(EOS(STATIC_5640), java.lang.Object(Shuffle.List(EOC, NULL, i906)), java.lang.Object(Shuffle.List(EOC, NULL, i906))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i906)), i829))) -> f5648_0_reverse_Return(EOS(STATIC_5648), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i906)), i829)), java.lang.Object(Shuffle.List(EOC, NULL, i906))) :|: TRUE f5573_1_shuffle_InvokeMethod(f5678_0_reverse_Return(EOS(STATIC_5678), java.lang.Object(Shuffle.List(EOC, NULL, i941)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941)), i942))), java.lang.Object(Shuffle.List(EOC, o1623, i829))) -> f5683_0_reverse_Return(EOS(STATIC_5683), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941)), i942))) :|: TRUE f5573_1_shuffle_InvokeMethod(f5825_0_reverse_Return(EOS(STATIC_5825), java.lang.Object(Shuffle.List(EOC, NULL, i1306)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3508, i1308)), i1307))), java.lang.Object(Shuffle.List(EOC, o1623, i829))) -> f5835_0_reverse_Return(EOS(STATIC_5835), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1306)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3508, i1308)), i1307))) :|: TRUE f5573_1_shuffle_InvokeMethod(f5826_0_reverse_Return(EOS(STATIC_5826), java.lang.Object(Shuffle.List(EOC, NULL, i1318)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318)), i1320)), i1319))), java.lang.Object(Shuffle.List(EOC, o1623, i829))) -> f5837_0_reverse_Return(EOS(STATIC_5837), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318)), i829)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318)), i1320)), i1319))) :|: TRUE f5612_1_shuffle_InvokeMethod(f5549_0_shuffle_Return(EOS(STATIC_5549), NULL, NULL), java.lang.Object(Shuffle.List(EOC, NULL, i829))) -> f5621_0_shuffle_Return(EOS(STATIC_5621), java.lang.Object(Shuffle.List(EOC, NULL, i829)), NULL) :|: TRUE f5612_1_shuffle_InvokeMethod(f5653_0_shuffle_Return(EOS(STATIC_5653), java.lang.Object(Shuffle.List(EOC, NULL, i919))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i919)), i829))) -> f5658_0_shuffle_Return(EOS(STATIC_5658), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i919)), i829))) :|: TRUE f5612_1_shuffle_InvokeMethod(f5847_0_shuffle_Return(EOS(STATIC_5847), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField24)), i1387))), java.lang.Object(Shuffle.List(EOC, o1878, i829))) -> f5853_0_shuffle_Return(EOS(STATIC_5853), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField23)), i1387)), i829))) :|: TRUE f5612_1_shuffle_InvokeMethod(f5848_0_shuffle_Return(EOS(STATIC_5848), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField26)), i1405))), java.lang.Object(Shuffle.List(EOC, o1878, i829))) -> f5859_0_shuffle_Return(EOS(STATIC_5859), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField25)), i1405)), i829))) :|: TRUE f5612_1_shuffle_InvokeMethod(f5873_0_shuffle_Return(EOS(STATIC_5873), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o4023, i1502)), i1501))), java.lang.Object(Shuffle.List(EOC, o1878, i829))) -> f5877_0_shuffle_Return(EOS(STATIC_5877), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o4023, i1502)), i1501)), i829))) :|: TRUE f5794_1_shuffle_InvokeMethod(f5549_0_shuffle_Return(EOS(STATIC_5549), NULL, NULL), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField37)), i829))) -> f5809_0_shuffle_Return(EOS(STATIC_5809), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField36)), i829)), NULL) :|: TRUE f5794_1_shuffle_InvokeMethod(f5653_0_shuffle_Return(EOS(STATIC_5653), java.lang.Object(Shuffle.List(EOC, NULL, i1245))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField39)), i829))) -> f5810_0_shuffle_Return(EOS(STATIC_5810), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField38)), i829))) :|: TRUE f5794_1_shuffle_InvokeMethod(f5847_0_shuffle_Return(EOS(STATIC_5847), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField42)), i1391))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField41)), i829))) -> f5855_0_shuffle_Return(EOS(STATIC_5855), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField40)), i829))) :|: TRUE f5794_1_shuffle_InvokeMethod(f5848_0_shuffle_Return(EOS(STATIC_5848), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField45)), i1410))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField44)), i829))) -> f5860_0_shuffle_Return(EOS(STATIC_5860), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField43)), i829))) :|: TRUE f5794_1_shuffle_InvokeMethod(f5873_0_shuffle_Return(EOS(STATIC_5873), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817, i1507)), i1506))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField47)), i829))) -> f5878_0_shuffle_Return(EOS(STATIC_5878), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField46)), i829))) :|: TRUE Combined rules. Obtained 6 conditional rules for P and 26 conditional rules for R.P rules: f5538_0_shuffle_NONNULL(EOS(STATIC_5538), java.lang.Object(Shuffle.List(EOC, o1623:0, i829:0)), java.lang.Object(Shuffle.List(EOC, o1623:0, i829:0)), java.lang.Object(Shuffle.List(EOC, o1623:0, i829:0))) -> f5573_1_shuffle_InvokeMethod(f6032_0_reverse_Load(EOS(STATIC_6032), o1623:0, java.lang.Object(Shuffle.List(EOC, o1623:0, i829:0)), o1623:0), java.lang.Object(Shuffle.List(EOC, o1623:0, i829:0))) :|: TRUE f5573_1_shuffle_InvokeMethod(f5826_0_reverse_Return(EOS(STATIC_5826), java.lang.Object(Shuffle.List(EOC, NULL, i1318:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318:0)), i1320:0)), i1319:0))), java.lang.Object(Shuffle.List(EOC, o1623:0, i829:0))) -> f5794_1_shuffle_InvokeMethod(f5538_0_shuffle_NONNULL(EOS(STATIC_5538), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318:0)), i1320:0)), i1319:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318:0)), i1320:0)), i1319:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318:0)), i1320:0)), i1319:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField18:0)), i829:0))) :|: TRUE f5573_1_shuffle_InvokeMethod(f5825_0_reverse_Return(EOS(STATIC_5825), java.lang.Object(Shuffle.List(EOC, NULL, i1306:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3508:0, i1308:0)), i1307:0))), java.lang.Object(Shuffle.List(EOC, o1623:0, i829:0))) -> f5794_1_shuffle_InvokeMethod(f5538_0_shuffle_NONNULL(EOS(STATIC_5538), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3508:0, i1308:0)), i1307:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3508:0, i1308:0)), i1307:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3508:0, i1308:0)), i1307:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField18:0)), i829:0))) :|: TRUE f5573_1_shuffle_InvokeMethod(f5640_0_reverse_Return(EOS(STATIC_5640), java.lang.Object(Shuffle.List(EOC, NULL, i906:0)), java.lang.Object(Shuffle.List(EOC, NULL, i906:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i906:0)), i829:0))) -> f5612_1_shuffle_InvokeMethod(f5538_0_shuffle_NONNULL(EOS(STATIC_5538), java.lang.Object(Shuffle.List(EOC, NULL, i906:0)), java.lang.Object(Shuffle.List(EOC, NULL, i906:0)), java.lang.Object(Shuffle.List(EOC, NULL, i906:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i906:0)), i829:0))) :|: TRUE f5573_1_shuffle_InvokeMethod(f5678_0_reverse_Return(EOS(STATIC_5678), java.lang.Object(Shuffle.List(EOC, NULL, i941:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941:0)), i942:0))), java.lang.Object(Shuffle.List(EOC, o1623:0, i829:0))) -> f5794_1_shuffle_InvokeMethod(f5538_0_shuffle_NONNULL(EOS(STATIC_5538), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941:0)), i942:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941:0)), i942:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941:0)), i942:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField18:0)), i829:0))) :|: TRUE f5573_1_shuffle_InvokeMethod(f5626_0_reverse_Return(EOS(STATIC_5626), NULL, NULL), java.lang.Object(Shuffle.List(EOC, NULL, i829:0))) -> f5612_1_shuffle_InvokeMethod(f5538_0_shuffle_NONNULL(EOS(STATIC_5538), NULL, NULL, NULL), java.lang.Object(Shuffle.List(EOC, NULL, i829:0))) :|: TRUE R rules: f5794_1_shuffle_InvokeMethod(f5848_0_shuffle_Return(EOS(STATIC_5848), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField45:0)), i1410:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField44:0)), i829:0))) -> f5848_0_shuffle_Return(EOS(STATIC_5848), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField95:0)), i829:0))) :|: TRUE f5538_0_shuffle_NONNULL(EOS(STATIC_5538), java.lang.Object(Shuffle.List(EOC, o1623:0, i829:0)), java.lang.Object(Shuffle.List(EOC, o1623:0, i829:0)), java.lang.Object(Shuffle.List(EOC, o1623:0, i829:0))) -> f5573_1_shuffle_InvokeMethod(f5617_0_reverse_NULL(EOS(STATIC_5617), o1623:0, o1623:0, o1623:0), java.lang.Object(Shuffle.List(EOC, o1623:0, i829:0))) :|: TRUE f5538_0_shuffle_NONNULL(EOS(STATIC_5538), NULL, NULL, NULL) -> f5549_0_shuffle_Return(EOS(STATIC_5549), NULL, NULL) :|: TRUE f5573_1_shuffle_InvokeMethod(f5825_0_reverse_Return(EOS(STATIC_5825), java.lang.Object(Shuffle.List(EOC, NULL, i1306:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3508:0, i1308:0)), i1307:0))), java.lang.Object(Shuffle.List(EOC, o1623:0, i829:0))) -> f5794_1_shuffle_InvokeMethod(f5538_0_shuffle_NONNULL(EOS(STATIC_5538), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3508:0, i1308:0)), i1307:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3508:0, i1308:0)), i1307:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3508:0, i1308:0)), i1307:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField33:0)), i829:0))) :|: TRUE f5617_0_reverse_NULL(EOS(STATIC_5617), java.lang.Object(Shuffle.List(EOC, NULL, i900:0)), java.lang.Object(Shuffle.List(EOC, NULL, i900:0)), java.lang.Object(Shuffle.List(EOC, NULL, i900:0))) -> f5640_0_reverse_Return(EOS(STATIC_5640), java.lang.Object(Shuffle.List(EOC, NULL, i900:0)), java.lang.Object(Shuffle.List(EOC, NULL, i900:0))) :|: TRUE f5612_1_shuffle_InvokeMethod(f5549_0_shuffle_Return(EOS(STATIC_5549), NULL, NULL), java.lang.Object(Shuffle.List(EOC, NULL, i829:0))) -> f5653_0_shuffle_Return(EOS(STATIC_5653), java.lang.Object(Shuffle.List(EOC, NULL, i829:0))) :|: TRUE f5612_1_shuffle_InvokeMethod(f5848_0_shuffle_Return(EOS(STATIC_5848), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField26:0)), i1405:0))), java.lang.Object(Shuffle.List(EOC, o1878:0, i829:0))) -> f5873_0_shuffle_Return(EOS(STATIC_5873), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField101:0)), i1405:0)), i829:0))) :|: TRUE f5617_0_reverse_NULL(EOS(STATIC_5617), NULL, NULL, NULL) -> f5626_0_reverse_Return(EOS(STATIC_5626), NULL, NULL) :|: TRUE f5612_1_shuffle_InvokeMethod(f5847_0_shuffle_Return(EOS(STATIC_5847), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField24:0)), i1387:0))), java.lang.Object(Shuffle.List(EOC, o1878:0, i829:0))) -> f5873_0_shuffle_Return(EOS(STATIC_5873), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField97:0)), i1387:0)), i829:0))) :|: TRUE f5794_1_shuffle_InvokeMethod(f5653_0_shuffle_Return(EOS(STATIC_5653), java.lang.Object(Shuffle.List(EOC, NULL, i1245:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField39:0)), i829:0))) -> f5848_0_shuffle_Return(EOS(STATIC_5848), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField95:0)), i829:0))) :|: TRUE f5573_1_shuffle_InvokeMethod(f5626_0_reverse_Return(EOS(STATIC_5626), NULL, NULL), java.lang.Object(Shuffle.List(EOC, NULL, i829:0))) -> f5612_1_shuffle_InvokeMethod(f5538_0_shuffle_NONNULL(EOS(STATIC_5538), NULL, NULL, NULL), java.lang.Object(Shuffle.List(EOC, NULL, i829:0))) :|: TRUE f5573_1_shuffle_InvokeMethod(f5826_0_reverse_Return(EOS(STATIC_5826), java.lang.Object(Shuffle.List(EOC, NULL, i1318:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318:0)), i1320:0)), i1319:0))), java.lang.Object(Shuffle.List(EOC, o1623:0, i829:0))) -> f5794_1_shuffle_InvokeMethod(f5538_0_shuffle_NONNULL(EOS(STATIC_5538), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318:0)), i1320:0)), i1319:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318:0)), i1320:0)), i1319:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1318:0)), i1320:0)), i1319:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField33:0)), i829:0))) :|: TRUE f5794_1_shuffle_InvokeMethod(f5873_0_shuffle_Return(EOS(STATIC_5873), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3817:0, i1507:0)), i1506:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField47:0)), i829:0))) -> f5848_0_shuffle_Return(EOS(STATIC_5848), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField95:0)), i829:0))) :|: TRUE f5794_1_shuffle_InvokeMethod(f5847_0_shuffle_Return(EOS(STATIC_5847), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField42:0)), i1391:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField41:0)), i829:0))) -> f5848_0_shuffle_Return(EOS(STATIC_5848), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField95:0)), i829:0))) :|: TRUE f5612_1_shuffle_InvokeMethod(f5653_0_shuffle_Return(EOS(STATIC_5653), java.lang.Object(Shuffle.List(EOC, NULL, i919:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i919:0)), i829:0))) -> f5873_0_shuffle_Return(EOS(STATIC_5873), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i919:0)), i829:0))) :|: TRUE f5794_1_shuffle_InvokeMethod(f5549_0_shuffle_Return(EOS(STATIC_5549), NULL, NULL), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField37:0)), i829:0))) -> f5847_0_shuffle_Return(EOS(STATIC_5847), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField93:0)), i829:0))) :|: TRUE f5573_1_shuffle_InvokeMethod(f5640_0_reverse_Return(EOS(STATIC_5640), java.lang.Object(Shuffle.List(EOC, NULL, i906:0)), java.lang.Object(Shuffle.List(EOC, NULL, i906:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i906:0)), i829:0))) -> f5612_1_shuffle_InvokeMethod(f5538_0_shuffle_NONNULL(EOS(STATIC_5538), java.lang.Object(Shuffle.List(EOC, NULL, i906:0)), java.lang.Object(Shuffle.List(EOC, NULL, i906:0)), java.lang.Object(Shuffle.List(EOC, NULL, i906:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i906:0)), i829:0))) :|: TRUE f5617_0_reverse_NULL(EOS(STATIC_5617), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0), i900:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0), i900:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0), i900:0))) -> f5650_1_reverse_InvokeMethod(f5617_0_reverse_NULL(EOS(STATIC_5617), java.lang.Object(o1956sub:0), java.lang.Object(o1956sub:0), java.lang.Object(o1956sub:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0), i900:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0), i900:0)), java.lang.Object(o1956sub:0)) :|: TRUE f5573_1_shuffle_InvokeMethod(f5678_0_reverse_Return(EOS(STATIC_5678), java.lang.Object(Shuffle.List(EOC, NULL, i941:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941:0)), i942:0))), java.lang.Object(Shuffle.List(EOC, o1623:0, i829:0))) -> f5794_1_shuffle_InvokeMethod(f5538_0_shuffle_NONNULL(EOS(STATIC_5538), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941:0)), i942:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941:0)), i942:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i941:0)), i942:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, abstractField33:0)), i829:0))) :|: TRUE f5612_1_shuffle_InvokeMethod(f5873_0_shuffle_Return(EOS(STATIC_5873), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o4023:0, i1502:0)), i1501:0))), java.lang.Object(Shuffle.List(EOC, o1878:0, i829:0))) -> f5873_0_shuffle_Return(EOS(STATIC_5873), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o4023:0, i1502:0)), i1501:0)), i829:0))) :|: TRUE f5650_1_reverse_InvokeMethod(f5826_0_reverse_Return(EOS(STATIC_5826), java.lang.Object(Shuffle.List(EOC, NULL, i1324:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1324:0)), i1326:0)), i1325:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0), i900:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0), i900:0)), java.lang.Object(o1956sub:0)) -> f5816_0_reverse_FieldAccess(EOS(STATIC_5816), java.lang.Object(Shuffle.List(EOC, NULL, i900:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i1324:0)), i1326:0)), i1325:0)), java.lang.Object(Shuffle.List(EOC, NULL, i1324:0)), java.lang.Object(Shuffle.List(EOC, NULL, i900:0))) :|: TRUE f5650_1_reverse_InvokeMethod(f5640_0_reverse_Return(EOS(STATIC_5640), java.lang.Object(Shuffle.List(EOC, NULL, i926:0)), java.lang.Object(Shuffle.List(EOC, NULL, i926:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926:0)), i900:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i926:0)), i900:0)), java.lang.Object(Shuffle.List(EOC, NULL, i926:0))) -> f5678_0_reverse_Return(EOS(STATIC_5678), java.lang.Object(Shuffle.List(EOC, NULL, i900:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i900:0)), i926:0))) :|: TRUE f5650_1_reverse_InvokeMethod(f5678_0_reverse_Return(EOS(STATIC_5678), java.lang.Object(Shuffle.List(EOC, NULL, i946:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i946:0)), i947:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0), i900:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0), i900:0)), java.lang.Object(o1956sub:0)) -> f5816_0_reverse_FieldAccess(EOS(STATIC_5816), java.lang.Object(Shuffle.List(EOC, NULL, i900:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i946:0)), i947:0)), java.lang.Object(Shuffle.List(EOC, NULL, i946:0)), java.lang.Object(Shuffle.List(EOC, NULL, i900:0))) :|: TRUE f5816_0_reverse_FieldAccess(EOS(STATIC_5816), java.lang.Object(Shuffle.List(EOC, NULL, i900:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3374:0, i1278:0)), i1198:0)), java.lang.Object(Shuffle.List(EOC, o3374:0, i1278:0)), java.lang.Object(Shuffle.List(EOC, NULL, i900:0))) -> f5826_0_reverse_Return(EOS(STATIC_5826), java.lang.Object(Shuffle.List(EOC, NULL, i900:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, NULL, i900:0)), i1278:0)), i1198:0))) :|: TRUE f5816_0_reverse_FieldAccess(EOS(STATIC_5816), java.lang.Object(Shuffle.List(EOC, NULL, i900:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032:0, i1197:0)), i1198:0)), java.lang.Object(Shuffle.List(EOC, o3368:0, i1275:0)), java.lang.Object(Shuffle.List(EOC, NULL, i900:0))) -> f5825_0_reverse_Return(EOS(STATIC_5825), java.lang.Object(Shuffle.List(EOC, NULL, i900:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3032put:0, i1197:0)), i1198:0))) :|: TRUE f5650_1_reverse_InvokeMethod(f5825_0_reverse_Return(EOS(STATIC_5825), java.lang.Object(Shuffle.List(EOC, NULL, i1312:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3523:0, i1314:0)), i1313:0))), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0), i900:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(o1956sub:0), i900:0)), java.lang.Object(o1956sub:0)) -> f5816_0_reverse_FieldAccess(EOS(STATIC_5816), java.lang.Object(Shuffle.List(EOC, NULL, i900:0)), java.lang.Object(Shuffle.List(EOC, java.lang.Object(Shuffle.List(EOC, o3523:0, i1314:0)), i1313:0)), java.lang.Object(Shuffle.List(EOC, NULL, i1312:0)), java.lang.Object(Shuffle.List(EOC, NULL, i900:0))) :|: TRUE Filtered ground terms: f5538_0_shuffle_NONNULL(x1, x2, x3, x4) -> f5538_0_shuffle_NONNULL(x2, x3, x4) f6032_0_reverse_Load(x1, x2, x3, x4) -> f6032_0_reverse_Load(x2, x3, x4) f5826_0_reverse_Return(x1, x2, x3) -> f5826_0_reverse_Return(x2, x3) f5825_0_reverse_Return(x1, x2, x3) -> f5825_0_reverse_Return(x2, x3) f5640_0_reverse_Return(x1, x2, x3) -> f5640_0_reverse_Return(x2, x3) f5678_0_reverse_Return(x1, x2, x3) -> f5678_0_reverse_Return(x2, x3) f5626_0_reverse_Return(x1, x2, x3) -> f5626_0_reverse_Return Shuffle.List(x1, x2, x3) -> Shuffle.List(x2, x3) f5848_0_shuffle_Return(x1, x2) -> f5848_0_shuffle_Return(x2) f5549_0_shuffle_Return(x1, x2, x3) -> f5549_0_shuffle_Return f5617_0_reverse_NULL(x1, x2, x3, x4) -> f5617_0_reverse_NULL(x2, x3, x4) f5653_0_shuffle_Return(x1, x2) -> f5653_0_shuffle_Return(x2) f5873_0_shuffle_Return(x1, x2) -> f5873_0_shuffle_Return(x2) f5847_0_shuffle_Return(x1, x2) -> f5847_0_shuffle_Return(x2) f5816_0_reverse_FieldAccess(x1, x2, x3, x4, x5) -> f5816_0_reverse_FieldAccess(x2, x3, x4, x5) Filtered unneeded arguments: Shuffle.List(x1, x2) -> Shuffle.List(x1) f5794_1_shuffle_InvokeMethod(x1, x2) -> f5794_1_shuffle_InvokeMethod(x1) f5825_0_reverse_Return(x1, x2) -> f5825_0_reverse_Return(x2) f5816_0_reverse_FieldAccess(x1, x2, x3, x4) -> f5816_0_reverse_FieldAccess(x2, x3) Filtered duplicate args: f5538_0_shuffle_NONNULL(x1, x2, x3) -> f5538_0_shuffle_NONNULL(x3) f6032_0_reverse_Load(x1, x2, x3) -> f6032_0_reverse_Load(x2) f5826_0_reverse_Return(x1, x2) -> f5826_0_reverse_Return(x2) f5640_0_reverse_Return(x1, x2) -> f5640_0_reverse_Return(x2) f5678_0_reverse_Return(x1, x2) -> f5678_0_reverse_Return(x2) f5617_0_reverse_NULL(x1, x2, x3) -> f5617_0_reverse_NULL(x3) f5650_1_reverse_InvokeMethod(x1, x2, x3, x4) -> f5650_1_reverse_InvokeMethod(x1, x3) Combined rules. Obtained 6 conditional rules for P and 0 conditional rules for R.P rules: F5573_1_SHUFFLE_INVOKEMETHOD(f5626_0_reverse_Return, java.lang.Object(Shuffle.List(NULL))) -> F5538_0_SHUFFLE_NONNULL(NULL) :|: TRUE F5573_1_SHUFFLE_INVOKEMETHOD(f5826_0_reverse_Return(java.lang.Object(Shuffle.List(java.lang.Object(Shuffle.List(java.lang.Object(Shuffle.List(NULL))))))), java.lang.Object(Shuffle.List(o1623:0:0))) -> F5538_0_SHUFFLE_NONNULL(java.lang.Object(Shuffle.List(java.lang.Object(Shuffle.List(java.lang.Object(Shuffle.List(NULL))))))) :|: TRUE F5573_1_SHUFFLE_INVOKEMETHOD(f5640_0_reverse_Return(java.lang.Object(Shuffle.List(NULL))), java.lang.Object(Shuffle.List(java.lang.Object(Shuffle.List(NULL))))) -> F5538_0_SHUFFLE_NONNULL(java.lang.Object(Shuffle.List(NULL))) :|: TRUE F5538_0_SHUFFLE_NONNULL(java.lang.Object(Shuffle.List(o1623:0:0))) -> F5573_1_SHUFFLE_INVOKEMETHOD(f6032_0_reverse_Load(java.lang.Object(Shuffle.List(o1623:0:0))), java.lang.Object(Shuffle.List(o1623:0:0))) :|: TRUE F5573_1_SHUFFLE_INVOKEMETHOD(f5825_0_reverse_Return(java.lang.Object(Shuffle.List(java.lang.Object(Shuffle.List(o3508:0:0))))), java.lang.Object(Shuffle.List(o1623:0:0))) -> F5538_0_SHUFFLE_NONNULL(java.lang.Object(Shuffle.List(java.lang.Object(Shuffle.List(o3508:0:0))))) :|: TRUE F5573_1_SHUFFLE_INVOKEMETHOD(f5678_0_reverse_Return(java.lang.Object(Shuffle.List(java.lang.Object(Shuffle.List(NULL))))), java.lang.Object(Shuffle.List(o1623:0:0))) -> F5538_0_SHUFFLE_NONNULL(java.lang.Object(Shuffle.List(java.lang.Object(Shuffle.List(NULL))))) :|: TRUE R rules: ---------------------------------------- (14) Obligation: Q DP problem: The TRS P consists of the following rules: F5573_1_SHUFFLE_INVOKEMETHOD(f5626_0_reverse_Return, java.lang.Object(Shuffle.List(NULL))) -> F5538_0_SHUFFLE_NONNULL(NULL) F5573_1_SHUFFLE_INVOKEMETHOD(f5826_0_reverse_Return(java.lang.Object(Shuffle.List(java.lang.Object(Shuffle.List(java.lang.Object(Shuffle.List(NULL))))))), java.lang.Object(Shuffle.List(o1623:0:0))) -> F5538_0_SHUFFLE_NONNULL(java.lang.Object(Shuffle.List(java.lang.Object(Shuffle.List(java.lang.Object(Shuffle.List(NULL))))))) F5573_1_SHUFFLE_INVOKEMETHOD(f5640_0_reverse_Return(java.lang.Object(Shuffle.List(NULL))), java.lang.Object(Shuffle.List(java.lang.Object(Shuffle.List(NULL))))) -> F5538_0_SHUFFLE_NONNULL(java.lang.Object(Shuffle.List(NULL))) F5538_0_SHUFFLE_NONNULL(java.lang.Object(Shuffle.List(o1623:0:0))) -> F5573_1_SHUFFLE_INVOKEMETHOD(f6032_0_reverse_Load(java.lang.Object(Shuffle.List(o1623:0:0))), java.lang.Object(Shuffle.List(o1623:0:0))) F5573_1_SHUFFLE_INVOKEMETHOD(f5825_0_reverse_Return(java.lang.Object(Shuffle.List(java.lang.Object(Shuffle.List(o3508:0:0))))), java.lang.Object(Shuffle.List(o1623:0:0))) -> F5538_0_SHUFFLE_NONNULL(java.lang.Object(Shuffle.List(java.lang.Object(Shuffle.List(o3508:0:0))))) F5573_1_SHUFFLE_INVOKEMETHOD(f5678_0_reverse_Return(java.lang.Object(Shuffle.List(java.lang.Object(Shuffle.List(NULL))))), java.lang.Object(Shuffle.List(o1623:0:0))) -> F5538_0_SHUFFLE_NONNULL(java.lang.Object(Shuffle.List(java.lang.Object(Shuffle.List(NULL))))) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (15) DependencyGraphProof (EQUIVALENT) The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 0 SCCs with 6 less nodes. ---------------------------------------- (16) TRUE ---------------------------------------- (17) Obligation: SCC of termination graph based on JBC Program. SCC contains nodes from the following methods: Shuffle.Shuffle.createList(I)LShuffle/List; SCC calls the following helper methods: Shuffle.Shuffle.createList(I)LShuffle/List; Performed SCC analyses: *Used field analysis yielded the following read fields: *java.lang.String: [count] *Marker field analysis yielded the following relations that could be markers: ---------------------------------------- (18) SCCToIRSProof (SOUND) Transformed FIGraph SCCs to intTRSs. Log: Generated rules. Obtained 32 IRulesP rules: f175_0_createList_GT(EOS(STATIC_175(java.lang.Object(o22sub), i10)), i22, i22, i22) -> f180_0_createList_GT(EOS(STATIC_180(java.lang.Object(o22sub), i10)), i22, i22, i22) :|: TRUE f180_0_createList_GT(EOS(STATIC_180(java.lang.Object(o22sub), i10)), i22, i22, i22) -> f185_0_createList_New(EOS(STATIC_185(java.lang.Object(o22sub), i10)), i22, i22) :|: i22 > 0 f185_0_createList_New(EOS(STATIC_185(java.lang.Object(o22sub), i10)), i22, i22) -> f193_0_createList_Duplicate(EOS(STATIC_193(java.lang.Object(o22sub), i10)), i22, i22) :|: TRUE f193_0_createList_Duplicate(EOS(STATIC_193(java.lang.Object(o22sub), i10)), i22, i22) -> f209_0_createList_InvokeMethod(EOS(STATIC_209(java.lang.Object(o22sub), i10)), i22, i22) :|: TRUE f209_0_createList_InvokeMethod(EOS(STATIC_209(java.lang.Object(o22sub), i10)), i22, i22) -> f261_0_random_FieldAccess(EOS(STATIC_261(java.lang.Object(o22sub), i10)), i22, i22) :|: TRUE f261_0_random_FieldAccess(EOS(STATIC_261(java.lang.Object(o22sub), i10)), i22, i22) -> f282_0_random_FieldAccess(EOS(STATIC_282(java.lang.Object(o22sub), i10)), i22, i22, java.lang.Object(o22sub)) :|: TRUE f282_0_random_FieldAccess(EOS(STATIC_282(java.lang.Object(o22sub), i10)), i22, i22, java.lang.Object(o22sub)) -> f288_0_random_ArrayAccess(EOS(STATIC_288(java.lang.Object(o22sub), i10)), i22, i22, java.lang.Object(o22sub), i10) :|: TRUE f288_0_random_ArrayAccess(EOS(STATIC_288(java.lang.Object(ARRAY(i34)), i10)), i22, i22, java.lang.Object(ARRAY(i34)), i10) -> f294_0_random_ArrayAccess(EOS(STATIC_294(java.lang.Object(ARRAY(i34)), i10)), i22, i22, java.lang.Object(ARRAY(i34)), i10) :|: i34 >= 0 f294_0_random_ArrayAccess(EOS(STATIC_294(java.lang.Object(ARRAY(i34)), i10)), i22, i22, java.lang.Object(ARRAY(i34)), i10) -> f300_0_random_ArrayAccess(EOS(STATIC_300(java.lang.Object(ARRAY(i34)), i10)), i22, i22, java.lang.Object(ARRAY(i34)), i10) :|: TRUE f300_0_random_ArrayAccess(EOS(STATIC_300(java.lang.Object(ARRAY(i34)), i10)), i22, i22, java.lang.Object(ARRAY(i34)), i10) -> f312_0_random_Store(EOS(STATIC_312(java.lang.Object(ARRAY(i34)), i10)), i22, i22, o36) :|: i10 < i34 f312_0_random_Store(EOS(STATIC_312(java.lang.Object(ARRAY(i34)), i10)), i22, i22, o36) -> f325_0_random_FieldAccess(EOS(STATIC_325(java.lang.Object(ARRAY(i34)), i10)), i22, i22, o36) :|: TRUE f325_0_random_FieldAccess(EOS(STATIC_325(java.lang.Object(ARRAY(i34)), i10)), i22, i22, o36) -> f329_0_random_ConstantStackPush(EOS(STATIC_329(java.lang.Object(ARRAY(i34)), i10)), i22, i22, o36, i10) :|: TRUE f329_0_random_ConstantStackPush(EOS(STATIC_329(java.lang.Object(ARRAY(i34)), i10)), i22, i22, o36, i10) -> f337_0_random_IntArithmetic(EOS(STATIC_337(java.lang.Object(ARRAY(i34)), i10)), i22, i22, o36, i10, 1) :|: TRUE f337_0_random_IntArithmetic(EOS(STATIC_337(java.lang.Object(ARRAY(i34)), i10)), i22, i22, o36, i10, matching1) -> f343_0_random_FieldAccess(EOS(STATIC_343(java.lang.Object(ARRAY(i34)), i10)), i22, i22, o36, i10 + 1) :|: i10 > 0 && matching1 = 1 f343_0_random_FieldAccess(EOS(STATIC_343(java.lang.Object(ARRAY(i34)), i10)), i22, i22, o36, i35) -> f347_0_random_Load(EOS(STATIC_347(java.lang.Object(ARRAY(i34)), i35)), i22, i22, o36) :|: TRUE f347_0_random_Load(EOS(STATIC_347(java.lang.Object(ARRAY(i34)), i35)), i22, i22, o36) -> f354_0_random_InvokeMethod(EOS(STATIC_354(java.lang.Object(ARRAY(i34)), i35)), i22, i22, o36) :|: TRUE f354_0_random_InvokeMethod(EOS(STATIC_354(java.lang.Object(ARRAY(i34)), i35)), i22, i22, java.lang.Object(o43sub)) -> f361_0_random_InvokeMethod(EOS(STATIC_361(java.lang.Object(ARRAY(i34)), i35)), i22, i22, java.lang.Object(o43sub)) :|: TRUE f361_0_random_InvokeMethod(EOS(STATIC_361(java.lang.Object(ARRAY(i34)), i35)), i22, i22, java.lang.Object(o47sub)) -> f374_0_random_InvokeMethod(EOS(STATIC_374(java.lang.Object(ARRAY(i34)), i35)), i22, i22, java.lang.Object(o47sub)) :|: TRUE f374_0_random_InvokeMethod(EOS(STATIC_374(java.lang.Object(ARRAY(i34)), i35)), i22, i22, java.lang.Object(o47sub)) -> f382_0_length_Load(EOS(STATIC_382(java.lang.Object(ARRAY(i34)), i35)), i22, i22, java.lang.Object(o47sub)) :|: TRUE f382_0_length_Load(EOS(STATIC_382(java.lang.Object(ARRAY(i34)), i35)), i22, i22, java.lang.Object(o47sub)) -> f393_0_length_FieldAccess(EOS(STATIC_393(java.lang.Object(ARRAY(i34)), i35)), i22, i22, java.lang.Object(o47sub)) :|: TRUE f393_0_length_FieldAccess(EOS(STATIC_393(java.lang.Object(ARRAY(i34)), i35)), i22, i22, java.lang.Object(java.lang.String(EOC, i48))) -> f402_0_length_FieldAccess(EOS(STATIC_402(java.lang.Object(ARRAY(i34)), i35)), i22, i22, java.lang.Object(java.lang.String(EOC, i48))) :|: TRUE f402_0_length_FieldAccess(EOS(STATIC_402(java.lang.Object(ARRAY(i34)), i35)), i22, i22, java.lang.Object(java.lang.String(EOC, i48))) -> f406_0_length_Return(EOS(STATIC_406(java.lang.Object(ARRAY(i34)), i35)), i22, i22) :|: TRUE f406_0_length_Return(EOS(STATIC_406(java.lang.Object(ARRAY(i34)), i35)), i22, i22) -> f411_0_random_Return(EOS(STATIC_411(java.lang.Object(ARRAY(i34)), i35)), i22, i22) :|: TRUE f411_0_random_Return(EOS(STATIC_411(java.lang.Object(ARRAY(i34)), i35)), i22, i22) -> f418_0_createList_Load(EOS(STATIC_418(java.lang.Object(ARRAY(i34)), i35)), i22, i22) :|: TRUE f418_0_createList_Load(EOS(STATIC_418(java.lang.Object(ARRAY(i34)), i35)), i22, i22) -> f424_0_createList_ConstantStackPush(EOS(STATIC_424(java.lang.Object(ARRAY(i34)), i35)), i22, i22) :|: TRUE f424_0_createList_ConstantStackPush(EOS(STATIC_424(java.lang.Object(ARRAY(i34)), i35)), i22, i22) -> f432_0_createList_IntArithmetic(EOS(STATIC_432(java.lang.Object(ARRAY(i34)), i35)), i22, i22, 1) :|: TRUE f432_0_createList_IntArithmetic(EOS(STATIC_432(java.lang.Object(ARRAY(i34)), i35)), i22, i22, matching1) -> f436_0_createList_InvokeMethod(EOS(STATIC_436(java.lang.Object(ARRAY(i34)), i35)), i22, i22 - 1) :|: i22 > 0 && matching1 = 1 f436_0_createList_InvokeMethod(EOS(STATIC_436(java.lang.Object(ARRAY(i34)), i35)), i22, i51) -> f440_0_createList_Load(EOS(STATIC_440(java.lang.Object(ARRAY(i34)), i35)), i51, i51) :|: i22 >= 1 && i35 > 1 && i51 < i22 f436_0_createList_InvokeMethod(EOS(STATIC_436(java.lang.Object(ARRAY(i34)), i35)), i22, i51) -> f440_1_createList_Load(EOS(STATIC_440(java.lang.Object(ARRAY(i34)), i35)), i22, i51) :|: i22 >= 1 && i35 > 1 && i51 < i22 f440_0_createList_Load(EOS(STATIC_440(java.lang.Object(ARRAY(i34)), i35)), i51, i51) -> f449_0_createList_Load(EOS(STATIC_449(java.lang.Object(ARRAY(i34)), i35)), i51, i51) :|: TRUE f449_0_createList_Load(EOS(STATIC_449(java.lang.Object(ARRAY(i34)), i35)), i51, i51) -> f171_0_createList_Load(EOS(STATIC_171(java.lang.Object(ARRAY(i34)), i35)), i51, i51) :|: TRUE f171_0_createList_Load(EOS(STATIC_171(java.lang.Object(o22sub), i10)), i14, i14) -> f175_0_createList_GT(EOS(STATIC_175(java.lang.Object(o22sub), i10)), i14, i14, i14) :|: TRUE Combined rules. Obtained 2 IRulesP rules: f175_0_createList_GT(EOS(STATIC_175(java.lang.Object(ARRAY(i34:0)), i10:0)), i22:0, i22:0, i22:0) -> f175_0_createList_GT(EOS(STATIC_175(java.lang.Object(ARRAY(i34:0)), i10:0 + 1)), i22:0 - 1, i22:0 - 1, i22:0 - 1) :|: i22:0 > 0 && i34:0 > -1 && i34:0 > i10:0 && i10:0 > 0 && i22:0 - 1 < i22:0 Removed following non-SCC rules: f175_0_createList_GT(EOS(STATIC_175(java.lang.Object(ARRAY(i34:0)), i10:0)), i22:0, i22:0, i22:0) -> f440_1_createList_Load(EOS(STATIC_440(java.lang.Object(ARRAY(i34:0)), i10:0 + 1)), i22:0, i22:0 - 1) :|: i22:0 > 0 && i34:0 > -1 && i34:0 > i10:0 && i10:0 > 0 && i22:0 - 1 < i22:0 Filtered duplicate arguments: f175_0_createList_GT(x1, x2, x3, x4) -> f175_0_createList_GT(x1, x4) Finished conversion. Obtained 1 rules.P rules: f175_0_createList_GT(i22:0, i34:0, i10:0) -> f175_0_createList_GT(i22:0 - 1, i34:0, i10:0 + 1) :|: i34:0 > -1 && i22:0 > 0 && i34:0 > i10:0 && i22:0 - 1 < i22:0 && i10:0 > 0 ---------------------------------------- (19) Obligation: Rules: f175_0_createList_GT(i22:0, i34:0, i10:0) -> f175_0_createList_GT(i22:0 - 1, i34:0, i10:0 + 1) :|: i34:0 > -1 && i22:0 > 0 && i34:0 > i10:0 && i22:0 - 1 < i22:0 && i10:0 > 0 ---------------------------------------- (20) IRSFormatTransformerProof (EQUIVALENT) Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %). ---------------------------------------- (21) Obligation: Rules: f175_0_createList_GT(i22:0, i34:0, i10:0) -> f175_0_createList_GT(arith, i34:0, arith1) :|: i34:0 > -1 && i22:0 > 0 && i34:0 > i10:0 && i22:0 - 1 < i22:0 && i10:0 > 0 && arith = i22:0 - 1 && arith1 = i10:0 + 1 ---------------------------------------- (22) IRSwTTerminationDigraphProof (EQUIVALENT) Constructed termination digraph! Nodes: (1) f175_0_createList_GT(i22:0, i34:0, i10:0) -> f175_0_createList_GT(arith, i34:0, arith1) :|: i34:0 > -1 && i22:0 > 0 && i34:0 > i10:0 && i22:0 - 1 < i22:0 && i10:0 > 0 && arith = i22:0 - 1 && arith1 = i10:0 + 1 Arcs: (1) -> (1) This digraph is fully evaluated! ---------------------------------------- (23) Obligation: Termination digraph: Nodes: (1) f175_0_createList_GT(i22:0, i34:0, i10:0) -> f175_0_createList_GT(arith, i34:0, arith1) :|: i34:0 > -1 && i22:0 > 0 && i34:0 > i10:0 && i22:0 - 1 < i22:0 && i10:0 > 0 && arith = i22:0 - 1 && arith1 = i10:0 + 1 Arcs: (1) -> (1) This digraph is fully evaluated! ---------------------------------------- (24) IntTRSCompressionProof (EQUIVALENT) Compressed rules. ---------------------------------------- (25) Obligation: Rules: f175_0_createList_GT(i22:0:0, i34:0:0, i10:0:0) -> f175_0_createList_GT(i22:0:0 - 1, i34:0:0, i10:0:0 + 1) :|: i22:0:0 - 1 < i22:0:0 && i10:0:0 > 0 && i34:0:0 > i10:0:0 && i22:0:0 > 0 && i34:0:0 > -1 ---------------------------------------- (26) TempFilterProof (SOUND) Used the following sort dictionary for filtering: f175_0_createList_GT(INTEGER, INTEGER, INTEGER) Replaced non-predefined constructor symbols by 0. ---------------------------------------- (27) Obligation: Rules: f175_0_createList_GT(i22:0:0, i34:0:0, i10:0:0) -> f175_0_createList_GT(c, i34:0:0, c1) :|: c1 = i10:0:0 + 1 && c = i22:0:0 - 1 && (i22:0:0 - 1 < i22:0:0 && i10:0:0 > 0 && i34:0:0 > i10:0:0 && i22:0:0 > 0 && i34:0:0 > -1) ---------------------------------------- (28) RankingReductionPairProof (EQUIVALENT) Interpretation: [ f175_0_createList_GT ] = f175_0_createList_GT_1 The following rules are decreasing: f175_0_createList_GT(i22:0:0, i34:0:0, i10:0:0) -> f175_0_createList_GT(c, i34:0:0, c1) :|: c1 = i10:0:0 + 1 && c = i22:0:0 - 1 && (i22:0:0 - 1 < i22:0:0 && i10:0:0 > 0 && i34:0:0 > i10:0:0 && i22:0:0 > 0 && i34:0:0 > -1) The following rules are bounded: f175_0_createList_GT(i22:0:0, i34:0:0, i10:0:0) -> f175_0_createList_GT(c, i34:0:0, c1) :|: c1 = i10:0:0 + 1 && c = i22:0:0 - 1 && (i22:0:0 - 1 < i22:0:0 && i10:0:0 > 0 && i34:0:0 > i10:0:0 && i22:0:0 > 0 && i34:0:0 > -1) ---------------------------------------- (29) YES