Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432292640
details
property
value
status
complete
benchmark
baabbaabaab-aabbaabaabbaab.srs.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n003.star.cs.uiowa.edu
space
Wenzel_16
run statistics
property
value
solver
matchbox-2019-03-17
configuration
std.sh
runtime (wallclock)
6.6454 seconds
cpu usage
25.2471
user time
21.2098
system time
4.03738
max virtual memory
1.16612152E8
max residence set size
1469368.0
stage attributes
key
value
starexec-result
YES
output
24.53/6.22 YES 24.53/6.22 property Termination 24.53/6.22 has value True 24.53/6.22 for SRS ( [b, a, a, b, b, a, a, b, a, a, b] -> [a, a, b, b, a, a, b, a, a, b, b, a, a, b]) 24.53/6.22 reason 24.53/6.22 remap for 1 rules 24.53/6.22 property Termination 24.53/6.22 has value True 24.53/6.23 for SRS ( [0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0] -> [1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0]) 24.53/6.23 reason 24.53/6.23 reverse each lhs and rhs 24.53/6.23 property Termination 24.53/6.23 has value True 24.53/6.23 for SRS ( [0, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] -> [0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1]) 24.53/6.23 reason 24.53/6.23 DP transform 24.53/6.23 property Termination 24.53/6.23 has value True 24.53/6.23 for SRS ( [0, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] ->= [0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1], [0#, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] |-> [0#, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1], [0#, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] |-> [0#, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1], [0#, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] |-> [0#, 1, 1, 0, 1, 1, 0, 0, 1, 1], [0#, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] |-> [0#, 1, 1, 0, 0, 1, 1], [0#, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] |-> [0#, 0, 1, 1], [0#, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] |-> [0#, 1, 1]) 24.53/6.23 reason 24.53/6.23 remap for 7 rules 24.53/6.23 property Termination 24.53/6.23 has value True 24.53/6.23 for SRS ( [0, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] ->= [0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1], [2, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] |-> [2, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1], [2, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] |-> [2, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1], [2, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] |-> [2, 1, 1, 0, 1, 1, 0, 0, 1, 1], [2, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] |-> [2, 1, 1, 0, 0, 1, 1], [2, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] |-> [2, 0, 1, 1], [2, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] |-> [2, 1, 1]) 24.53/6.23 reason 24.53/6.23 EDG has 1 SCCs 24.53/6.23 property Termination 24.53/6.23 has value True 24.53/6.23 for SRS ( [2, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] |-> [2, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1], [2, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] |-> [2, 1, 1], [2, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] |-> [2, 0, 1, 1], [2, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] |-> [2, 1, 1, 0, 0, 1, 1], [2, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] |-> [2, 1, 1, 0, 1, 1, 0, 0, 1, 1], [2, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] |-> [2, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1], [0, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0] ->= [0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1]) 24.53/6.23 reason 24.53/6.23 Tiling { method = Overlap, width = 3, state_type = Bit64, map_type = Enum, verbose = False, tracing = False} 24.53/6.23 using 14 tiles 24.53/6.23 [ [1, 1, >] , [<, <, 0] , [<, 2, 0] , [1, 0, 0] , [1, 1, 0] , [<, 0, 1] , [<, 2, 1] , [0, 0, 1] , [0, 1, 1] , [1, 0, 1] , [1, 1, 1] , [2, 0, 1] , [2, 1, 1] , [<, <, 2] ] 24.53/6.23 tile all rules 24.53/6.23 24.53/6.23 property Termination 24.53/6.23 has value True 24.53/6.23 for SRS ( [[<, <, 2], [<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]] |-> [[<, <, 2], [<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]], [[<, <, 2], [<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]] |-> [[<, <, 2], [<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]], [[<, <, 2], [<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]] |-> [[<, <, 2], [<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1]], [[<, <, 2], [<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]] |-> [[<, <, 2], [<, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 1]], [[<, <, 2], [<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]] |-> [[<, <, 2], [<, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]], [[<, <, 2], [<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]] |-> [[<, <, 2], [<, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]], [[<, <, 2], [<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]] |-> [[<, <, 2], [<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]], [[<, <, 2], [<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]] |-> [[<, <, 2], [<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]], [[<, <, 2], [<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]] |-> [[<, <, 2], [<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]], [[<, <, 2], [<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]] |-> [[<, <, 2], [<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]], [[<, <, 2], [<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]] |-> [[<, <, 2], [<, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]], [[<, <, 2], [<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]] |-> [[<, <, 2], [<, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]] ->= [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]], [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]] ->= [[<, <, 0], [<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]], [[<, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]] ->= [[<, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]], [[<, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]] ->= [[<, 2, 0], [2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]] ->= [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]], [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]] ->= [[1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1]] ->= [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]], [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1]] ->= [[1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0], [0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]]) 24.53/6.23 reason 24.53/6.23 remap for 20 rules 24.53/6.23 property Termination 24.53/6.23 has value True 24.53/6.23 for SRS ( [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] |-> [0, 1, 2, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] |-> [0, 1, 2, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 8, 8], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] |-> [0, 1, 2, 3, 4], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] |-> [0, 1, 2, 8, 8], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] |-> [0, 9, 10, 5, 3, 4], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] |-> [0, 9, 10, 5, 8, 8], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] |-> [0, 1, 2, 3, 6, 7, 5, 3, 4], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] |-> [0, 1, 2, 3, 6, 7, 5, 8, 8], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] |-> [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 4], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] |-> [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 8, 8], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] |-> [0, 9, 10, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] |-> [0, 9, 10, 5, 3, 4, 5, 3, 6, 7, 5, 8, 8], [11, 12, 5, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] ->= [11, 12, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4], [11, 12, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] ->= [11, 12, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 8, 8], [9, 10, 5, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] ->= [9, 10, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4], [9, 10, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] ->= [9, 10, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 8, 8], [6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] ->= [6, 7, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4], [6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] ->= [6, 7, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 8, 8], [3, 4, 5, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] ->= [3, 4, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4], [3, 4, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] ->= [3, 4, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 8, 8]) 24.53/6.23 reason 24.53/6.23 weights 24.53/6.23 Map [(1, 4/1), (2, 4/1)] 24.53/6.23 24.53/6.23 property Termination 24.53/6.23 has value True 24.53/6.23 for SRS ( [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] |-> [0, 1, 2, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] |-> [0, 1, 2, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 8, 8], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] |-> [0, 1, 2, 3, 4], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] |-> [0, 1, 2, 8, 8], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] |-> [0, 1, 2, 3, 6, 7, 5, 3, 4], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] |-> [0, 1, 2, 3, 6, 7, 5, 8, 8], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] |-> [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 4], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] |-> [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 8, 8], [11, 12, 5, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] ->= [11, 12, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4], [11, 12, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] ->= [11, 12, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 8, 8], [9, 10, 5, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] ->= [9, 10, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4], [9, 10, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] ->= [9, 10, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 8, 8], [6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] ->= [6, 7, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4], [6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] ->= [6, 7, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 8, 8], [3, 4, 5, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] ->= [3, 4, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4], [3, 4, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] ->= [3, 4, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 8, 8]) 24.53/6.23 reason 24.53/6.23 EDG has 1 SCCs 24.53/6.23 property Termination 24.53/6.23 has value True 24.53/6.23 for SRS ( [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] |-> [0, 1, 2, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] |-> [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 4], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] |-> [0, 1, 2, 3, 6, 7, 5, 3, 4], [0, 1, 2, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] |-> [0, 1, 2, 3, 4], [11, 12, 5, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] ->= [11, 12, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4], [11, 12, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] ->= [11, 12, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 8, 8], [9, 10, 5, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] ->= [9, 10, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4], [9, 10, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] ->= [9, 10, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 8, 8], [6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] ->= [6, 7, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4], [6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] ->= [6, 7, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 8, 8], [3, 4, 5, 3, 4, 5, 3, 6, 7, 5, 3, 6, 7] ->= [3, 4, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4], [3, 4, 5, 3, 4, 5, 3, 6, 7, 5, 3, 4, 5] ->= [3, 4, 5, 3, 6, 7, 5, 3, 4, 5, 3, 6, 7, 5, 8, 8]) 24.53/6.23 reason 24.53/6.23 Tiling { method = Overlap, width = 3, state_type = Bit64, map_type = Enum, verbose = False, tracing = False} 24.53/6.23 using 34 tiles 24.53/6.23 [ [3, 4, >] , [8, 8, >] , [<, <, 0] , [<, 0, 1] , [0, 1, 2] , [<, <, 3] , [1, 2, 3] , [4, 5, 3] , [7, 5, 3] , [8, 8, 3] , [10, 5, 3] , [12, 5, 3] , [<, 3, 4] , [2, 3, 4] , [5, 3, 4] , [8, 3, 4] , [3, 4, 5] , [6, 7, 5] , [9, 10, 5] , [11, 12, 5] , [<, <, 6] , [2, 3, 6] , [5, 3, 6] , [8, 3, 6] , [<, 6, 7] , [3, 6, 7] , [4, 5, 8] , [5, 8, 8] , [7, 5, 8] , [8, 8, 8] , [<, <, 9] , [<, 9, 10] , [<, <, 11] , [<, 11, 12] ] 24.53/6.23 tile all rules 24.53/6.23 24.53/6.23 property Termination 24.53/6.23 has value True 24.53/6.24 for SRS ( [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3]] |-> [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 3], [2, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3]], [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8]] |-> [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 3], [2, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8]], [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3]] |-> [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3]], [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8]] |-> [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8]], [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3]] |-> [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 3], [2, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3]], [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8]] |-> [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 3], [2, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8]], [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3]] |-> [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3]], [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8]] |-> [[<, <, 0], [<, 0, 1], [0, 1, 2], [1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 8]], [[<, <, 11], [<, 11, 12], [11, 12, 5], [12, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3]] ->= [[<, <, 11], [<, 11, 12], [11, 12, 5], [12, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3]], [[<, <, 11], [<, 11, 12], [11, 12, 5], [12, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8]] ->= [[<, <, 11], [<, 11, 12], [11, 12, 5], [12, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8]], [[<, <, 11], [<, 11, 12], [11, 12, 5], [12, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4]] ->= [[<, <, 11], [<, 11, 12], [11, 12, 5], [12, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 4]], [[<, <, 11], [<, 11, 12], [11, 12, 5], [12, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6]] ->= [[<, <, 11], [<, 11, 12], [11, 12, 5], [12, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 6]], [[<, <, 11], [<, 11, 12], [11, 12, 5], [12, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8], [5, 8, 8]] ->= [[<, <, 11], [<, 11, 12], [11, 12, 5], [12, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 8], [8, 8, 8]], [[<, <, 9], [<, 9, 10], [9, 10, 5], [10, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3]] ->= [[<, <, 9], [<, 9, 10], [9, 10, 5], [10, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3]], [[<, <, 9], [<, 9, 10], [9, 10, 5], [10, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8]] ->= [[<, <, 9], [<, 9, 10], [9, 10, 5], [10, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8]], [[<, <, 9], [<, 9, 10], [9, 10, 5], [10, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4]] ->= [[<, <, 9], [<, 9, 10], [9, 10, 5], [10, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 4]], [[<, <, 9], [<, 9, 10], [9, 10, 5], [10, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6]] ->= [[<, <, 9], [<, 9, 10], [9, 10, 5], [10, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 6]], [[<, <, 9], [<, 9, 10], [9, 10, 5], [10, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8], [5, 8, 8]] ->= [[<, <, 9], [<, 9, 10], [9, 10, 5], [10, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 8], [8, 8, 8]], [[<, <, 6], [<, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3]] ->= [[<, <, 6], [<, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3]], [[<, <, 6], [<, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8]] ->= [[<, <, 6], [<, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8]], [[2, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3]] ->= [[2, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3]], [[2, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8]] ->= [[2, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8]], [[5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3]] ->= [[5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3]], [[5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8]] ->= [[5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8]], [[8, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3]] ->= [[8, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3]], [[8, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8]] ->= [[8, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8]], [[<, <, 6], [<, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4]] ->= [[<, <, 6], [<, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 4]], [[<, <, 6], [<, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6]] ->= [[<, <, 6], [<, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 6]], [[<, <, 6], [<, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8], [5, 8, 8]] ->= [[<, <, 6], [<, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 8], [8, 8, 8]], [[2, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4]] ->= [[2, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 4]], [[2, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6]] ->= [[2, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 6]], [[2, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8], [5, 8, 8]] ->= [[2, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 8], [8, 8, 8]], [[5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4]] ->= [[5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 4]], [[5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6]] ->= [[5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 6]], [[5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8], [5, 8, 8]] ->= [[5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 8], [8, 8, 8]], [[8, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4]] ->= [[8, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 4]], [[8, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6]] ->= [[8, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 6]], [[8, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8], [5, 8, 8]] ->= [[8, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 8], [8, 8, 8]], [[<, <, 3], [<, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3]] ->= [[<, <, 3], [<, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3]], [[<, <, 3], [<, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8]] ->= [[<, <, 3], [<, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8]], [[1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3]] ->= [[1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3]], [[1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8]] ->= [[1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8]], [[4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3]] ->= [[4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3]], [[4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8]] ->= [[4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8]], [[7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3]] ->= [[7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3]], [[7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8]] ->= [[7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8]], [[8, 8, 3], [8, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3]] ->= [[8, 8, 3], [8, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3]], [[8, 8, 3], [8, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8]] ->= [[8, 8, 3], [8, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8]], [[10, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3]] ->= [[10, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3]], [[10, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8]] ->= [[10, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8]], [[12, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3]] ->= [[12, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3]], [[12, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8]] ->= [[12, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8]], [[<, <, 3], [<, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4]] ->= [[<, <, 3], [<, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 4]], [[<, <, 3], [<, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6]] ->= [[<, <, 3], [<, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 6]], [[<, <, 3], [<, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8], [5, 8, 8]] ->= [[<, <, 3], [<, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 8], [8, 8, 8]], [[1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4]] ->= [[1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 4]], [[1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6]] ->= [[1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 6]], [[1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8], [5, 8, 8]] ->= [[1, 2, 3], [2, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 8], [8, 8, 8]], [[4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4]] ->= [[4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 4]], [[4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6]] ->= [[4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 6]], [[4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8], [5, 8, 8]] ->= [[4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 8], [8, 8, 8]], [[7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4]] ->= [[7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 4]], [[7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6]] ->= [[7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 6]], [[7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8], [5, 8, 8]] ->= [[7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 8], [8, 8, 8]], [[8, 8, 3], [8, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4]] ->= [[8, 8, 3], [8, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 4]], [[8, 8, 3], [8, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6]] ->= [[8, 8, 3], [8, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 6]], [[8, 8, 3], [8, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8], [5, 8, 8]] ->= [[8, 8, 3], [8, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 8], [8, 8, 8]], [[10, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4]] ->= [[10, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 4]], [[10, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6]] ->= [[10, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 6]], [[10, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8], [5, 8, 8]] ->= [[10, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 8], [8, 8, 8]], [[12, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4]] ->= [[12, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 4]], [[12, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6]] ->= [[12, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 3], [8, 3, 6]], [[12, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 8], [5, 8, 8]] ->= [[12, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 3], [5, 3, 4], [3, 4, 5], [4, 5, 3], [5, 3, 6], [3, 6, 7], [6, 7, 5], [7, 5, 8], [5, 8, 8], [8, 8, 8], [8, 8, 8]]) 24.53/6.26 reason 24.53/6.26 remap for 73 rules 24.53/6.26 property Termination 24.53/6.26 has value True 24.53/6.26 for SRS ( [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] |-> [0, 1, 2, 3, 11, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] |-> [0, 1, 2, 3, 11, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] |-> [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 5, 6], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] |-> [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 5, 14], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] |-> [0, 1, 2, 3, 11, 8, 9, 10, 12, 5, 6], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] |-> [0, 1, 2, 3, 11, 8, 9, 10, 12, 5, 14], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] |-> [0, 1, 2, 3, 4, 5, 6], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] |-> [0, 1, 2, 3, 4, 5, 14], [15, 16, 17, 18, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [15, 16, 17, 18, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [15, 16, 17, 18, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [15, 16, 17, 18, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [15, 16, 17, 18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [15, 16, 17, 18, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [15, 16, 17, 18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [15, 16, 17, 18, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [15, 16, 17, 18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [15, 16, 17, 18, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [24, 25, 26, 27, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [24, 25, 26, 27, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [24, 25, 26, 27, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [24, 25, 26, 27, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [24, 25, 26, 27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [24, 25, 26, 27, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [24, 25, 26, 27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [24, 25, 26, 27, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [24, 25, 26, 27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [24, 25, 26, 27, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [28, 29, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [28, 29, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [28, 29, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [28, 29, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [11, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [11, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [11, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [11, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [7, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [7, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [22, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [22, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [22, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [22, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [28, 29, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [28, 29, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [28, 29, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [28, 29, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [28, 29, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [28, 29, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [11, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [11, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [11, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [11, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [11, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [11, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [7, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [7, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [7, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [22, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [22, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [22, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [22, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [22, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [22, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [30, 31, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [30, 31, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [30, 31, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [30, 31, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [3, 4, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [3, 4, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [3, 4, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [3, 4, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [6, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [6, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [10, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [10, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [20, 21, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [20, 21, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [20, 21, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [20, 21, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [27, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [27, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [18, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [18, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [30, 31, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [30, 31, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [30, 31, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [30, 31, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [30, 31, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [30, 31, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [3, 4, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [3, 4, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [3, 4, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [3, 4, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [3, 4, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [3, 4, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [6, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [6, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [6, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [10, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [10, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [10, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [20, 21, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [20, 21, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [20, 21, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [20, 21, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [20, 21, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [20, 21, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [27, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [27, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [27, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [18, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [18, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [18, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23]) 24.53/6.26 reason 24.53/6.26 weights 24.53/6.26 Map [(4, 4/1)] 24.53/6.26 24.53/6.26 property Termination 24.53/6.26 has value True 24.53/6.26 for SRS ( [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] |-> [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 5, 6], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] |-> [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 5, 14], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] |-> [0, 1, 2, 3, 4, 5, 6], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] |-> [0, 1, 2, 3, 4, 5, 14], [15, 16, 17, 18, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [15, 16, 17, 18, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [15, 16, 17, 18, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [15, 16, 17, 18, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [15, 16, 17, 18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [15, 16, 17, 18, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [15, 16, 17, 18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [15, 16, 17, 18, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [15, 16, 17, 18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [15, 16, 17, 18, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [24, 25, 26, 27, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [24, 25, 26, 27, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [24, 25, 26, 27, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [24, 25, 26, 27, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [24, 25, 26, 27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [24, 25, 26, 27, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [24, 25, 26, 27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [24, 25, 26, 27, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [24, 25, 26, 27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [24, 25, 26, 27, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [28, 29, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [28, 29, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [28, 29, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [28, 29, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [11, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [11, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [11, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [11, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [7, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [7, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [22, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [22, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [22, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [22, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [28, 29, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [28, 29, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [28, 29, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [28, 29, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [28, 29, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [28, 29, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [11, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [11, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [11, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [11, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [11, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [11, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [7, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [7, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [7, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [22, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [22, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [22, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [22, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [22, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [22, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [30, 31, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [30, 31, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [30, 31, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [30, 31, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [3, 4, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [3, 4, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [3, 4, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [3, 4, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [6, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [6, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [10, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [10, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [20, 21, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [20, 21, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [20, 21, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [20, 21, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [27, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [27, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [18, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [18, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [30, 31, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [30, 31, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [30, 31, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [30, 31, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [30, 31, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [30, 31, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [3, 4, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [3, 4, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [3, 4, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [3, 4, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [3, 4, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [3, 4, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [6, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [6, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [6, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [10, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [10, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [10, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [20, 21, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [20, 21, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [20, 21, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [20, 21, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [20, 21, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [20, 21, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [27, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [27, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [27, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [18, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [18, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [18, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23]) 24.53/6.26 reason 24.53/6.26 EDG has 1 SCCs 24.53/6.26 property Termination 24.53/6.26 has value True 24.53/6.27 for SRS ( [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] |-> [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 5, 6], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] |-> [0, 1, 2, 3, 4, 5, 6], [15, 16, 17, 18, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [15, 16, 17, 18, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [15, 16, 17, 18, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [15, 16, 17, 18, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [15, 16, 17, 18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [15, 16, 17, 18, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [15, 16, 17, 18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [15, 16, 17, 18, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [15, 16, 17, 18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [15, 16, 17, 18, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [24, 25, 26, 27, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [24, 25, 26, 27, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [24, 25, 26, 27, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [24, 25, 26, 27, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [24, 25, 26, 27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [24, 25, 26, 27, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [24, 25, 26, 27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [24, 25, 26, 27, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [24, 25, 26, 27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [24, 25, 26, 27, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [28, 29, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [28, 29, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [28, 29, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [28, 29, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [11, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [11, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [11, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [11, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [7, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [7, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [22, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [22, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [22, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [22, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [28, 29, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [28, 29, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [28, 29, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [28, 29, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [28, 29, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [28, 29, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [11, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [11, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [11, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [11, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [11, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [11, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [7, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [7, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [7, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [22, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [22, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [22, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [22, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [22, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [22, 8, 9, 10, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [30, 31, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [30, 31, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [30, 31, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [30, 31, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [3, 4, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [3, 4, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [3, 4, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [3, 4, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [6, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [6, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [10, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [10, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [20, 21, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [20, 21, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [20, 21, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [20, 21, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [27, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [27, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [18, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6], [18, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 7, 8, 9, 13] ->= [18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14], [30, 31, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [30, 31, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [30, 31, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [30, 31, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [30, 31, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [30, 31, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [3, 4, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [3, 4, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [3, 4, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [3, 4, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [3, 4, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [3, 4, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [6, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [6, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [6, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [10, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [10, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [10, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [10, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [20, 21, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [20, 21, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [20, 21, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [20, 21, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [20, 21, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [20, 21, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [27, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [27, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [27, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [27, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23], [18, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 12] ->= [18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 21], [18, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7] ->= [18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 20, 22], [18, 12, 5, 6, 12, 5, 6, 7, 8, 9, 10, 12, 5, 14, 19] ->= [18, 12, 5, 6, 7, 8, 9, 10, 12, 5, 6, 7, 8, 9, 13, 19, 23, 23]) 24.53/6.27 reason 24.53/6.27 Tiling { method = Overlap, width = 3, state_type = Bit64, map_type = Enum, verbose = False, tracing = False} 24.53/6.27 using 84 tiles 24.53/6.27 [ [5, 6, >] , [5, 14, >] , [20, 21, >] , [20, 22, >] , [23, 23, >] , [<, <, 0] , [<, 0, 1] , [0, 1, 2] , [<, <, 3] , [1, 2, 3] , [<, 3, 4] , [2, 3, 4] , [3, 4, 5] , [6, 12, 5] , [10, 12, 5] , [18, 12, 5] , [20, 21, 5] , [27, 12, 5] , [30, 31, 5] , [<, <, 6] , [4, 5, 6] , [12, 5, 6] , [21, 5, 6] , [31, 5, 6] , [<, <, 7] , [5, 6, 7] , [9, 10, 7] , [17, 18, 7] , [26, 27, 7] , [<, 7, 8] , [<, 11, 8] , [<, 22, 8] , [6, 7, 8] , [10, 7, 8] , [18, 7, 8] , [20, 22, 8] , [27, 7, 8] , [7, 8, 9] , [11, 8, 9] , [22, 8, 9] , [28, 29, 9] , [<, <, 10] , [8, 9, 10] , [29, 9, 10] , [<, <, 11] , [<, 6, 12] , [<, 10, 12] , [<, 18, 12] , [<, 27, 12] , [5, 6, 12] , [9, 10, 12] , [8, 9, 13] , [12, 5, 14] , [21, 5, 14] , [<, <, 15] , [<, 15, 16] , [15, 16, 17] , [<, <, 18] , [16, 17, 18] , [5, 14, 19] , [9, 13, 19] , [<, <, 20] , [13, 19, 20] , [14, 19, 20] , [23, 23, 20] , [<, 20, 21] , [19, 20, 21] , [23, 20, 21] , [<, <, 22] , [19, 20, 22] , [23, 20, 22] , [13, 19, 23] , [14, 19, 23] , [19, 23, 23] , [23, 23, 23] , [<, <, 24] , [<, 24, 25] , [24, 25, 26] , [<, <, 27] , [25, 26, 27] , [<, <, 28] , [<, 28, 29] , [<, <, 30] , [<, 30, 31] ] 24.53/6.27 remove some unmatched rules 24.53/6.27 24.53/6.27 property Termination 24.53/6.27 has value True 24.53/6.27 for SRS ( [[0], [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [7], [8], [9], [10]] |-> [[0], [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [12], [5], [6]], [[0], [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [7], [8], [9], [10]] |-> [[0], [1], [2], [3], [4], [5], [6]], [[28], [29], [9], [10], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [10]] ->= [[28], [29], [9], [10], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6]], [[28], [29], [9], [10], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [13]] ->= [[28], [29], [9], [10], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14]], [[11], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [10]] ->= [[11], [8], [9], [10], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6]], [[11], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [13]] ->= [[11], [8], [9], [10], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14]], [[7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [10]] ->= [[7], [8], [9], [10], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6]], [[7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [13]] ->= [[7], [8], [9], [10], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14]], [[22], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [10]] ->= [[22], [8], [9], [10], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6]], [[22], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [13]] ->= [[22], [8], [9], [10], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14]], [[28], [29], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [12]] ->= [[28], [29], [9], [10], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [21]], [[28], [29], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7]] ->= [[28], [29], [9], [10], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [22]], [[28], [29], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14], [19]] ->= [[28], [29], [9], [10], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [23], [23]], [[11], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [12]] ->= [[11], [8], [9], [10], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [21]], [[11], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7]] ->= [[11], [8], [9], [10], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [22]], [[11], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14], [19]] ->= [[11], [8], [9], [10], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [23], [23]], [[7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [12]] ->= [[7], [8], [9], [10], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [21]], [[7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7]] ->= [[7], [8], [9], [10], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [22]], [[7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14], [19]] ->= [[7], [8], [9], [10], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [23], [23]], [[22], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [12]] ->= [[22], [8], [9], [10], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [21]], [[22], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7]] ->= [[22], [8], [9], [10], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [22]], [[22], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14], [19]] ->= [[22], [8], [9], [10], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [23], [23]], [[30], [31], [5], [6], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [10]] ->= [[30], [31], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6]], [[30], [31], [5], [6], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [13]] ->= [[30], [31], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14]], [[3], [4], [5], [6], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [10]] ->= [[3], [4], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6]], [[3], [4], [5], [6], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [13]] ->= [[3], [4], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14]], [[6], [12], [5], [6], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [10]] ->= [[6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6]], [[6], [12], [5], [6], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [13]] ->= [[6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14]], [[10], [12], [5], [6], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [10]] ->= [[10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6]], [[10], [12], [5], [6], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [13]] ->= [[10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14]], [[20], [21], [5], [6], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [10]] ->= [[20], [21], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6]], [[20], [21], [5], [6], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [13]] ->= [[20], [21], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14]], [[27], [12], [5], [6], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [10]] ->= [[27], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6]], [[27], [12], [5], [6], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [13]] ->= [[27], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14]], [[18], [12], [5], [6], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [10]] ->= [[18], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6]], [[18], [12], [5], [6], [12], [5], [6], [7], [8], [9], [10], [7], [8], [9], [13]] ->= [[18], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14]], [[30], [31], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [12]] ->= [[30], [31], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [21]], [[30], [31], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7]] ->= [[30], [31], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [22]], [[30], [31], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14], [19]] ->= [[30], [31], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [23], [23]], [[3], [4], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [12]] ->= [[3], [4], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [21]], [[3], [4], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7]] ->= [[3], [4], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [22]], [[3], [4], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14], [19]] ->= [[3], [4], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [23], [23]], [[6], [12], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [12]] ->= [[6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [21]], [[6], [12], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7]] ->= [[6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [22]], [[6], [12], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14], [19]] ->= [[6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [23], [23]], [[10], [12], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [12]] ->= [[10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [21]], [[10], [12], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7]] ->= [[10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [22]], [[10], [12], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14], [19]] ->= [[10], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [23], [23]], [[20], [21], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [12]] ->= [[20], [21], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [21]], [[20], [21], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7]] ->= [[20], [21], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [22]], [[20], [21], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14], [19]] ->= [[20], [21], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [23], [23]], [[27], [12], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [12]] ->= [[27], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [21]], [[27], [12], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7]] ->= [[27], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [22]], [[27], [12], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14], [19]] ->= [[27], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [23], [23]], [[18], [12], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [12]] ->= [[18], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [21]], [[18], [12], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7]] ->= [[18], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [20], [22]], [[18], [12], [5], [6], [12], [5], [6], [7], [8], [9], [10], [12], [5], [14], [19]] ->= [[18], [12], [5], [6], [7], [8], [9], [10], [12], [5], [6], [7], [8], [9], [13], [19], [23], [23]]) 24.53/6.27 reason 24.53/6.27 remap for 57 rules 24.53/6.27 property Termination 24.53/6.27 has value True 24.53/6.28 for SRS ( [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] |-> [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 5, 6], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] |-> [0, 1, 2, 3, 4, 5, 6], [12, 13, 9, 10, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [12, 13, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [12, 13, 9, 10, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [12, 13, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [16, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [16, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [16, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [16, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [7, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [7, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [17, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [17, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [17, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [17, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [12, 13, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [12, 13, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [12, 13, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [12, 13, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [12, 13, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [12, 13, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21], [16, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [16, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [16, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [16, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [16, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [16, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21], [7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [7, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [7, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [7, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21], [17, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [17, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [17, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [17, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [17, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [17, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21], [22, 23, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [22, 23, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [22, 23, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [22, 23, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [3, 4, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [3, 4, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [3, 4, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [3, 4, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [6, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [6, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [10, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [10, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [19, 20, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [19, 20, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [19, 20, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [19, 20, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [24, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [24, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [24, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [24, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [25, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [25, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [25, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [25, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [22, 23, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [22, 23, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [22, 23, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [22, 23, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [22, 23, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [22, 23, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21], [3, 4, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [3, 4, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [3, 4, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [3, 4, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [3, 4, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [3, 4, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21], [6, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [6, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [6, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21], [10, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [10, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [10, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21], [19, 20, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [19, 20, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [19, 20, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [19, 20, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [19, 20, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [19, 20, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21], [24, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [24, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [24, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [24, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [24, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [24, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21], [25, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [25, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [25, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [25, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [25, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [25, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21]) 24.53/6.28 reason 24.53/6.28 EDG has 1 SCCs 24.53/6.28 property Termination 24.53/6.28 has value True 24.53/6.28 for SRS ( [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] |-> [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 5, 6], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] |-> [0, 1, 2, 3, 4, 5, 6], [12, 13, 9, 10, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [12, 13, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [12, 13, 9, 10, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [12, 13, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [16, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [16, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [16, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [16, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [7, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [7, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [17, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [17, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [17, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [17, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [12, 13, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [12, 13, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [12, 13, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [12, 13, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [12, 13, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [12, 13, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21], [16, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [16, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [16, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [16, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [16, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [16, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21], [7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [7, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [7, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [7, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21], [17, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [17, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [17, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [17, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [17, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [17, 8, 9, 10, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21], [22, 23, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [22, 23, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [22, 23, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [22, 23, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [3, 4, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [3, 4, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [3, 4, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [3, 4, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [6, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [6, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [10, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [10, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [19, 20, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [19, 20, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [19, 20, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [19, 20, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [24, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [24, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [24, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [24, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [25, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 10] ->= [25, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6], [25, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 7, 8, 9, 14] ->= [25, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15], [22, 23, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [22, 23, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [22, 23, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [22, 23, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [22, 23, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [22, 23, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21], [3, 4, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [3, 4, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [3, 4, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [3, 4, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [3, 4, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [3, 4, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21], [6, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [6, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [6, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21], [10, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [10, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [10, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21], [19, 20, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [19, 20, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [19, 20, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [19, 20, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [19, 20, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [19, 20, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21], [24, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [24, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [24, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [24, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [24, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [24, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21], [25, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 11] ->= [25, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 20], [25, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7] ->= [25, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 19, 17], [25, 11, 5, 6, 11, 5, 6, 7, 8, 9, 10, 11, 5, 15, 18] ->= [25, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 14, 18, 21, 21])
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS_Standard 2019-03-29 03.29