Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432290834
details
property
value
status
complete
benchmark
size-12-alpha-3-num-452.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n181.star.cs.uiowa.edu
space
Waldmann_07_size12
run statistics
property
value
solver
matchbox-2019-03-17
configuration
std.sh
runtime (wallclock)
25.9783 seconds
cpu usage
100.847
user time
87.5367
system time
13.3103
max virtual memory
1.16954772E8
max residence set size
1283972.0
stage attributes
key
value
starexec-result
YES
output
95.84/24.23 YES 95.84/24.23 property Termination 95.84/24.23 has value True 95.84/24.23 for SRS ( [a] -> [b, c], [b, a, b] -> [], [c, c] -> [a, a, a, b]) 95.84/24.23 reason 95.84/24.23 remap for 3 rules 95.84/24.23 property Termination 95.84/24.23 has value True 95.84/24.23 for SRS ( [0] -> [1, 2], [1, 0, 1] -> [], [2, 2] -> [0, 0, 0, 1]) 95.84/24.23 reason 95.84/24.23 reverse each lhs and rhs 95.84/24.23 property Termination 95.84/24.23 has value True 95.84/24.23 for SRS ( [0] -> [2, 1], [1, 0, 1] -> [], [2, 2] -> [1, 0, 0, 0]) 95.84/24.23 reason 95.84/24.23 DP transform 95.84/24.23 property Termination 95.84/24.23 has value True 95.84/24.23 for SRS ( [0] ->= [2, 1], [1, 0, 1] ->= [], [2, 2] ->= [1, 0, 0, 0], [0#] |-> [2#, 1], [0#] |-> [1#], [2#, 2] |-> [1#, 0, 0, 0], [2#, 2] |-> [0#, 0, 0], [2#, 2] |-> [0#, 0], [2#, 2] |-> [0#]) 95.84/24.23 reason 95.84/24.23 remap for 9 rules 95.84/24.23 property Termination 95.84/24.23 has value True 95.84/24.23 for SRS ( [0] ->= [1, 2], [2, 0, 2] ->= [], [1, 1] ->= [2, 0, 0, 0], [3] |-> [4, 2], [3] |-> [5], [4, 1] |-> [5, 0, 0, 0], [4, 1] |-> [3, 0, 0], [4, 1] |-> [3, 0], [4, 1] |-> [3]) 95.84/24.23 reason 95.84/24.23 weights 95.84/24.23 Map [(3, 1/2), (4, 1/2)] 95.84/24.23 95.84/24.23 property Termination 95.84/24.23 has value True 95.84/24.23 for SRS ( [0] ->= [1, 2], [2, 0, 2] ->= [], [1, 1] ->= [2, 0, 0, 0], [3] |-> [4, 2], [4, 1] |-> [3, 0, 0], [4, 1] |-> [3, 0], [4, 1] |-> [3]) 95.84/24.23 reason 95.84/24.23 EDG has 1 SCCs 95.84/24.23 property Termination 95.84/24.23 has value True 95.84/24.23 for SRS ( [3] |-> [4, 2], [4, 1] |-> [3], [4, 1] |-> [3, 0], [4, 1] |-> [3, 0, 0], [0] ->= [1, 2], [2, 0, 2] ->= [], [1, 1] ->= [2, 0, 0, 0]) 95.84/24.23 reason 95.84/24.23 Matrix { monotone = Weak, domain = Arctic, bits = 4, dim = 2, solver = Minisatapi, verbose = False, tracing = True} 95.84/24.23 interpretation 95.84/24.23 0 / 2A 2A \ 95.84/24.23 \ 2A 2A / 95.84/24.23 1 / 2A 4A \ 95.84/24.24 \ 2A 4A / 95.84/24.24 2 / 0A 0A \ 95.84/24.24 \ -2A -2A / 95.84/24.24 3 / 8A 8A \ 95.84/24.24 \ 8A 8A / 95.84/24.24 4 / 8A 10A \ 95.84/24.24 \ 8A 10A / 95.84/24.24 [3] |-> [4, 2] 95.84/24.24 lhs rhs ge gt 95.84/24.24 / 8A 8A \ / 8A 8A \ True False 95.84/24.24 \ 8A 8A / \ 8A 8A / 95.84/24.24 [4, 1] |-> [3] 95.84/24.24 lhs rhs ge gt 95.84/24.24 / 12A 14A \ / 8A 8A \ True True 95.84/24.24 \ 12A 14A / \ 8A 8A / 95.84/24.24 [4, 1] |-> [3, 0] 95.84/24.24 lhs rhs ge gt 95.84/24.24 / 12A 14A \ / 10A 10A \ True True 95.84/24.24 \ 12A 14A / \ 10A 10A / 95.84/24.24 [4, 1] |-> [3, 0, 0] 95.84/24.24 lhs rhs ge gt 95.84/24.24 / 12A 14A \ / 12A 12A \ True False 95.84/24.24 \ 12A 14A / \ 12A 12A / 95.84/24.24 [0] ->= [1, 2] 95.84/24.24 lhs rhs ge gt 95.84/24.24 / 2A 2A \ / 2A 2A \ True False 95.84/24.24 \ 2A 2A / \ 2A 2A / 95.84/24.24 [2, 0, 2] ->= [] 95.84/24.24 lhs rhs ge gt 95.84/24.24 / 2A 2A \ / 0A - \ True False 95.84/24.24 \ 0A 0A / \ - 0A / 95.84/24.24 [1, 1] ->= [2, 0, 0, 0] 95.84/24.24 lhs rhs ge gt 95.84/24.24 / 6A 8A \ / 6A 6A \ True False 95.84/24.24 \ 6A 8A / \ 4A 4A / 95.84/24.24 property Termination 95.84/24.24 has value True 95.84/24.24 for SRS ( [3] |-> [4, 2], [4, 1] |-> [3, 0, 0], [0] ->= [1, 2], [2, 0, 2] ->= [], [1, 1] ->= [2, 0, 0, 0]) 95.84/24.24 reason 95.84/24.24 EDG has 1 SCCs 95.84/24.24 property Termination 95.84/24.24 has value True 95.84/24.24 for SRS ( [3] |-> [4, 2], [4, 1] |-> [3, 0, 0], [0] ->= [1, 2], [2, 0, 2] ->= [], [1, 1] ->= [2, 0, 0, 0]) 95.84/24.24 reason 95.84/24.24 Tiling { method = Overlap, width = 3, state_type = Bit64, map_type = Enum, verbose = False, tracing = False} 95.84/24.24 using 86 tiles 95.84/24.24 [ [<, <, >] , [<, 0, >] , [<, 1, >] , [<, 2, >] , [<, 3, >] , [<, 4, >] , [0, 0, >] , [0, 1, >] , [0, 2, >] , [1, 0, >] , [1, 1, >] , [1, 2, >] , [2, 0, >] , [2, 1, >] , [2, 2, >] , [3, 0, >] , [3, 1, >] , [3, 2, >] , [4, 0, >] , [4, 1, >] , [4, 2, >] , [<, <, 0] , [<, 0, 0] , [<, 1, 0] , [<, 2, 0] , [<, 3, 0] , [<, 4, 0] , [0, 0, 0] , [0, 1, 0] , [0, 2, 0] , [1, 0, 0] , [1, 1, 0] , [1, 2, 0] , [2, 0, 0] , [2, 1, 0] , [2, 2, 0] , [3, 0, 0] , [3, 1, 0] , [3, 2, 0] , [4, 0, 0] , [4, 1, 0] , [4, 2, 0] , [<, <, 1] , [<, 0, 1] , [<, 1, 1] , [<, 2, 1] , [<, 3, 1] , [<, 4, 1] , [0, 0, 1] , [0, 1, 1] , [0, 2, 1] , [1, 0, 1] , [1, 1, 1] , [1, 2, 1] , [2, 0, 1] , [2, 1, 1] , [2, 2, 1] , [3, 0, 1] , [3, 1, 1] , [3, 2, 1] , [4, 0, 1] , [4, 1, 1] , [4, 2, 1] , [<, <, 2] , [<, 0, 2] , [<, 1, 2] , [<, 2, 2] , [<, 3, 2] , [<, 4, 2] , [0, 0, 2] , [0, 1, 2] , [0, 2, 2] , [1, 0, 2] , [1, 1, 2] , [1, 2, 2] , [2, 0, 2] , [2, 1, 2] , [2, 2, 2] , [3, 0, 2] , [3, 1, 2] , [3, 2, 2] , [4, 0, 2] , [4, 1, 2] , [4, 2, 2] , [<, <, 3] , [<, <, 4] ] 95.84/24.24 tile all rules 95.84/24.24 95.84/24.24 property Termination 95.84/24.24 has value True 95.84/24.26 for SRS ( [[<, <, 3], [<, 3, >], [3, >, >]] |-> [[<, <, 4], [<, 4, 2], [4, 2, >], [2, >, >]], [[<, <, 3], [<, 3, 0], [3, 0, >]] |-> [[<, <, 4], [<, 4, 2], [4, 2, 0], [2, 0, >]], [[<, <, 3], [<, 3, 0], [3, 0, 0]] |-> [[<, <, 4], [<, 4, 2], [4, 2, 0], [2, 0, 0]], [[<, <, 3], [<, 3, 0], [3, 0, 1]] |-> [[<, <, 4], [<, 4, 2], [4, 2, 0], [2, 0, 1]], [[<, <, 3], [<, 3, 0], [3, 0, 2]] |-> [[<, <, 4], [<, 4, 2], [4, 2, 0], [2, 0, 2]], [[<, <, 3], [<, 3, 1], [3, 1, >]] |-> [[<, <, 4], [<, 4, 2], [4, 2, 1], [2, 1, >]], [[<, <, 3], [<, 3, 1], [3, 1, 0]] |-> [[<, <, 4], [<, 4, 2], [4, 2, 1], [2, 1, 0]], [[<, <, 3], [<, 3, 1], [3, 1, 1]] |-> [[<, <, 4], [<, 4, 2], [4, 2, 1], [2, 1, 1]], [[<, <, 3], [<, 3, 1], [3, 1, 2]] |-> [[<, <, 4], [<, 4, 2], [4, 2, 1], [2, 1, 2]], [[<, <, 3], [<, 3, 2], [3, 2, >]] |-> [[<, <, 4], [<, 4, 2], [4, 2, 2], [2, 2, >]], [[<, <, 3], [<, 3, 2], [3, 2, 0]] |-> [[<, <, 4], [<, 4, 2], [4, 2, 2], [2, 2, 0]], [[<, <, 3], [<, 3, 2], [3, 2, 1]] |-> [[<, <, 4], [<, 4, 2], [4, 2, 2], [2, 2, 1]], [[<, <, 3], [<, 3, 2], [3, 2, 2]] |-> [[<, <, 4], [<, 4, 2], [4, 2, 2], [2, 2, 2]], [[<, <, 4], [<, 4, 1], [4, 1, >], [1, >, >]] |-> [[<, <, 3], [<, 3, 0], [3, 0, 0], [0, 0, >], [0, >, >]], [[<, <, 4], [<, 4, 1], [4, 1, 0], [1, 0, >]] |-> [[<, <, 3], [<, 3, 0], [3, 0, 0], [0, 0, 0], [0, 0, >]], [[<, <, 4], [<, 4, 1], [4, 1, 0], [1, 0, 0]] |-> [[<, <, 3], [<, 3, 0], [3, 0, 0], [0, 0, 0], [0, 0, 0]], [[<, <, 4], [<, 4, 1], [4, 1, 0], [1, 0, 1]] |-> [[<, <, 3], [<, 3, 0], [3, 0, 0], [0, 0, 0], [0, 0, 1]], [[<, <, 4], [<, 4, 1], [4, 1, 0], [1, 0, 2]] |-> [[<, <, 3], [<, 3, 0], [3, 0, 0], [0, 0, 0], [0, 0, 2]], [[<, <, 4], [<, 4, 1], [4, 1, 1], [1, 1, >]] |-> [[<, <, 3], [<, 3, 0], [3, 0, 0], [0, 0, 1], [0, 1, >]], [[<, <, 4], [<, 4, 1], [4, 1, 1], [1, 1, 0]] |-> [[<, <, 3], [<, 3, 0], [3, 0, 0], [0, 0, 1], [0, 1, 0]], [[<, <, 4], [<, 4, 1], [4, 1, 1], [1, 1, 1]] |-> [[<, <, 3], [<, 3, 0], [3, 0, 0], [0, 0, 1], [0, 1, 1]], [[<, <, 4], [<, 4, 1], [4, 1, 1], [1, 1, 2]] |-> [[<, <, 3], [<, 3, 0], [3, 0, 0], [0, 0, 1], [0, 1, 2]], [[<, <, 4], [<, 4, 1], [4, 1, 2], [1, 2, >]] |-> [[<, <, 3], [<, 3, 0], [3, 0, 0], [0, 0, 2], [0, 2, >]], [[<, <, 4], [<, 4, 1], [4, 1, 2], [1, 2, 0]] |-> [[<, <, 3], [<, 3, 0], [3, 0, 0], [0, 0, 2], [0, 2, 0]], [[<, <, 4], [<, 4, 1], [4, 1, 2], [1, 2, 1]] |-> [[<, <, 3], [<, 3, 0], [3, 0, 0], [0, 0, 2], [0, 2, 1]], [[<, <, 4], [<, 4, 1], [4, 1, 2], [1, 2, 2]] |-> [[<, <, 3], [<, 3, 0], [3, 0, 0], [0, 0, 2], [0, 2, 2]], [[<, <, 0], [<, 0, >], [0, >, >]] ->= [[<, <, 1], [<, 1, 2], [1, 2, >], [2, >, >]], [[<, <, 0], [<, 0, 0], [0, 0, >]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 0], [2, 0, >]], [[<, <, 0], [<, 0, 0], [0, 0, 0]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 0], [2, 0, 0]], [[<, <, 0], [<, 0, 0], [0, 0, 1]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 0], [2, 0, 1]], [[<, <, 0], [<, 0, 0], [0, 0, 2]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 0], [2, 0, 2]], [[<, <, 0], [<, 0, 1], [0, 1, >]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 1], [2, 1, >]], [[<, <, 0], [<, 0, 1], [0, 1, 0]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 1], [2, 1, 0]], [[<, <, 0], [<, 0, 1], [0, 1, 1]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 1], [2, 1, 1]], [[<, <, 0], [<, 0, 1], [0, 1, 2]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 1], [2, 1, 2]], [[<, <, 0], [<, 0, 2], [0, 2, >]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 2], [2, 2, >]], [[<, <, 0], [<, 0, 2], [0, 2, 0]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 2], [2, 2, 0]], [[<, <, 0], [<, 0, 2], [0, 2, 1]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 2], [2, 2, 1]], [[<, <, 0], [<, 0, 2], [0, 2, 2]] ->= [[<, <, 1], [<, 1, 2], [1, 2, 2], [2, 2, 2]], [[<, 0, 0], [0, 0, >], [0, >, >]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, >], [2, >, >]], [[<, 0, 0], [0, 0, 0], [0, 0, >]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >]], [[<, 0, 0], [0, 0, 0], [0, 0, 0]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0]], [[<, 0, 0], [0, 0, 0], [0, 0, 1]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1]], [[<, 0, 0], [0, 0, 0], [0, 0, 2]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2]], [[<, 0, 0], [0, 0, 1], [0, 1, >]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >]], [[<, 0, 0], [0, 0, 1], [0, 1, 0]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0]], [[<, 0, 0], [0, 0, 1], [0, 1, 1]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1]], [[<, 0, 0], [0, 0, 1], [0, 1, 2]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2]], [[<, 0, 0], [0, 0, 2], [0, 2, >]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, >]], [[<, 0, 0], [0, 0, 2], [0, 2, 0]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, 0]], [[<, 0, 0], [0, 0, 2], [0, 2, 1]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, 1]], [[<, 0, 0], [0, 0, 2], [0, 2, 2]] ->= [[<, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, 2]], [[<, 1, 0], [1, 0, >], [0, >, >]] ->= [[<, 1, 1], [1, 1, 2], [1, 2, >], [2, >, >]], [[<, 1, 0], [1, 0, 0], [0, 0, >]] ->= [[<, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, >]], [[<, 1, 0], [1, 0, 0], [0, 0, 0]] ->= [[<, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0]], [[<, 1, 0], [1, 0, 0], [0, 0, 1]] ->= [[<, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1]], [[<, 1, 0], [1, 0, 0], [0, 0, 2]] ->= [[<, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2]], [[<, 1, 0], [1, 0, 1], [0, 1, >]] ->= [[<, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, >]], [[<, 1, 0], [1, 0, 1], [0, 1, 0]] ->= [[<, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 0]], [[<, 1, 0], [1, 0, 1], [0, 1, 1]] ->= [[<, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 1]], [[<, 1, 0], [1, 0, 1], [0, 1, 2]] ->= [[<, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 2]], [[<, 1, 0], [1, 0, 2], [0, 2, >]] ->= [[<, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, >]], [[<, 1, 0], [1, 0, 2], [0, 2, 0]] ->= [[<, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, 0]], [[<, 1, 0], [1, 0, 2], [0, 2, 1]] ->= [[<, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, 1]], [[<, 1, 0], [1, 0, 2], [0, 2, 2]] ->= [[<, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, 2]], [[<, 2, 0], [2, 0, >], [0, >, >]] ->= [[<, 2, 1], [2, 1, 2], [1, 2, >], [2, >, >]], [[<, 2, 0], [2, 0, 0], [0, 0, >]] ->= [[<, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, >]], [[<, 2, 0], [2, 0, 0], [0, 0, 0]] ->= [[<, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0]], [[<, 2, 0], [2, 0, 0], [0, 0, 1]] ->= [[<, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1]], [[<, 2, 0], [2, 0, 0], [0, 0, 2]] ->= [[<, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2]], [[<, 2, 0], [2, 0, 1], [0, 1, >]] ->= [[<, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, >]], [[<, 2, 0], [2, 0, 1], [0, 1, 0]] ->= [[<, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 0]], [[<, 2, 0], [2, 0, 1], [0, 1, 1]] ->= [[<, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 1]], [[<, 2, 0], [2, 0, 1], [0, 1, 2]] ->= [[<, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 2]], [[<, 2, 0], [2, 0, 2], [0, 2, >]] ->= [[<, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, >]], [[<, 2, 0], [2, 0, 2], [0, 2, 0]] ->= [[<, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, 0]], [[<, 2, 0], [2, 0, 2], [0, 2, 1]] ->= [[<, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, 1]], [[<, 2, 0], [2, 0, 2], [0, 2, 2]] ->= [[<, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, 2]], [[<, 3, 0], [3, 0, >], [0, >, >]] ->= [[<, 3, 1], [3, 1, 2], [1, 2, >], [2, >, >]], [[<, 3, 0], [3, 0, 0], [0, 0, >]] ->= [[<, 3, 1], [3, 1, 2], [1, 2, 0], [2, 0, >]], [[<, 3, 0], [3, 0, 0], [0, 0, 0]] ->= [[<, 3, 1], [3, 1, 2], [1, 2, 0], [2, 0, 0]], [[<, 3, 0], [3, 0, 0], [0, 0, 1]] ->= [[<, 3, 1], [3, 1, 2], [1, 2, 0], [2, 0, 1]], [[<, 3, 0], [3, 0, 0], [0, 0, 2]] ->= [[<, 3, 1], [3, 1, 2], [1, 2, 0], [2, 0, 2]], [[<, 3, 0], [3, 0, 1], [0, 1, >]] ->= [[<, 3, 1], [3, 1, 2], [1, 2, 1], [2, 1, >]], [[<, 3, 0], [3, 0, 1], [0, 1, 0]] ->= [[<, 3, 1], [3, 1, 2], [1, 2, 1], [2, 1, 0]], [[<, 3, 0], [3, 0, 1], [0, 1, 1]] ->= [[<, 3, 1], [3, 1, 2], [1, 2, 1], [2, 1, 1]], [[<, 3, 0], [3, 0, 1], [0, 1, 2]] ->= [[<, 3, 1], [3, 1, 2], [1, 2, 1], [2, 1, 2]], [[<, 3, 0], [3, 0, 2], [0, 2, >]] ->= [[<, 3, 1], [3, 1, 2], [1, 2, 2], [2, 2, >]], [[<, 3, 0], [3, 0, 2], [0, 2, 0]] ->= [[<, 3, 1], [3, 1, 2], [1, 2, 2], [2, 2, 0]], [[<, 3, 0], [3, 0, 2], [0, 2, 1]] ->= [[<, 3, 1], [3, 1, 2], [1, 2, 2], [2, 2, 1]], [[<, 3, 0], [3, 0, 2], [0, 2, 2]] ->= [[<, 3, 1], [3, 1, 2], [1, 2, 2], [2, 2, 2]], [[<, 4, 0], [4, 0, >], [0, >, >]] ->= [[<, 4, 1], [4, 1, 2], [1, 2, >], [2, >, >]], [[<, 4, 0], [4, 0, 0], [0, 0, >]] ->= [[<, 4, 1], [4, 1, 2], [1, 2, 0], [2, 0, >]], [[<, 4, 0], [4, 0, 0], [0, 0, 0]] ->= [[<, 4, 1], [4, 1, 2], [1, 2, 0], [2, 0, 0]], [[<, 4, 0], [4, 0, 0], [0, 0, 1]] ->= [[<, 4, 1], [4, 1, 2], [1, 2, 0], [2, 0, 1]], [[<, 4, 0], [4, 0, 0], [0, 0, 2]] ->= [[<, 4, 1], [4, 1, 2], [1, 2, 0], [2, 0, 2]], [[<, 4, 0], [4, 0, 1], [0, 1, >]] ->= [[<, 4, 1], [4, 1, 2], [1, 2, 1], [2, 1, >]], [[<, 4, 0], [4, 0, 1], [0, 1, 0]] ->= [[<, 4, 1], [4, 1, 2], [1, 2, 1], [2, 1, 0]], [[<, 4, 0], [4, 0, 1], [0, 1, 1]] ->= [[<, 4, 1], [4, 1, 2], [1, 2, 1], [2, 1, 1]], [[<, 4, 0], [4, 0, 1], [0, 1, 2]] ->= [[<, 4, 1], [4, 1, 2], [1, 2, 1], [2, 1, 2]], [[<, 4, 0], [4, 0, 2], [0, 2, >]] ->= [[<, 4, 1], [4, 1, 2], [1, 2, 2], [2, 2, >]], [[<, 4, 0], [4, 0, 2], [0, 2, 0]] ->= [[<, 4, 1], [4, 1, 2], [1, 2, 2], [2, 2, 0]], [[<, 4, 0], [4, 0, 2], [0, 2, 1]] ->= [[<, 4, 1], [4, 1, 2], [1, 2, 2], [2, 2, 1]], [[<, 4, 0], [4, 0, 2], [0, 2, 2]] ->= [[<, 4, 1], [4, 1, 2], [1, 2, 2], [2, 2, 2]], [[0, 0, 0], [0, 0, >], [0, >, >]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, >], [2, >, >]], [[0, 0, 0], [0, 0, 0], [0, 0, >]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >]], [[0, 0, 0], [0, 0, 0], [0, 0, 0]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0]], [[0, 0, 0], [0, 0, 0], [0, 0, 1]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1]], [[0, 0, 0], [0, 0, 0], [0, 0, 2]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2]], [[0, 0, 0], [0, 0, 1], [0, 1, >]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >]], [[0, 0, 0], [0, 0, 1], [0, 1, 0]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0]], [[0, 0, 0], [0, 0, 1], [0, 1, 1]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1]], [[0, 0, 0], [0, 0, 1], [0, 1, 2]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2]], [[0, 0, 0], [0, 0, 2], [0, 2, >]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, >]], [[0, 0, 0], [0, 0, 2], [0, 2, 0]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, 0]], [[0, 0, 0], [0, 0, 2], [0, 2, 1]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, 1]], [[0, 0, 0], [0, 0, 2], [0, 2, 2]] ->= [[0, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, 2]], [[0, 1, 0], [1, 0, >], [0, >, >]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, >], [2, >, >]], [[0, 1, 0], [1, 0, 0], [0, 0, >]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, >]], [[0, 1, 0], [1, 0, 0], [0, 0, 0]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0]], [[0, 1, 0], [1, 0, 0], [0, 0, 1]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1]], [[0, 1, 0], [1, 0, 0], [0, 0, 2]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2]], [[0, 1, 0], [1, 0, 1], [0, 1, >]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, >]], [[0, 1, 0], [1, 0, 1], [0, 1, 0]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 0]], [[0, 1, 0], [1, 0, 1], [0, 1, 1]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 1]], [[0, 1, 0], [1, 0, 1], [0, 1, 2]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 2]], [[0, 1, 0], [1, 0, 2], [0, 2, >]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, >]], [[0, 1, 0], [1, 0, 2], [0, 2, 0]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, 0]], [[0, 1, 0], [1, 0, 2], [0, 2, 1]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, 1]], [[0, 1, 0], [1, 0, 2], [0, 2, 2]] ->= [[0, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, 2]], [[0, 2, 0], [2, 0, >], [0, >, >]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, >], [2, >, >]], [[0, 2, 0], [2, 0, 0], [0, 0, >]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, >]], [[0, 2, 0], [2, 0, 0], [0, 0, 0]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0]], [[0, 2, 0], [2, 0, 0], [0, 0, 1]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1]], [[0, 2, 0], [2, 0, 0], [0, 0, 2]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2]], [[0, 2, 0], [2, 0, 1], [0, 1, >]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, >]], [[0, 2, 0], [2, 0, 1], [0, 1, 0]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 0]], [[0, 2, 0], [2, 0, 1], [0, 1, 1]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 1]], [[0, 2, 0], [2, 0, 1], [0, 1, 2]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 2]], [[0, 2, 0], [2, 0, 2], [0, 2, >]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, >]], [[0, 2, 0], [2, 0, 2], [0, 2, 0]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, 0]], [[0, 2, 0], [2, 0, 2], [0, 2, 1]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, 1]], [[0, 2, 0], [2, 0, 2], [0, 2, 2]] ->= [[0, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, 2]], [[1, 0, 0], [0, 0, >], [0, >, >]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, >], [2, >, >]], [[1, 0, 0], [0, 0, 0], [0, 0, >]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >]], [[1, 0, 0], [0, 0, 0], [0, 0, 0]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0]], [[1, 0, 0], [0, 0, 0], [0, 0, 1]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1]], [[1, 0, 0], [0, 0, 0], [0, 0, 2]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2]], [[1, 0, 0], [0, 0, 1], [0, 1, >]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >]], [[1, 0, 0], [0, 0, 1], [0, 1, 0]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0]], [[1, 0, 0], [0, 0, 1], [0, 1, 1]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1]], [[1, 0, 0], [0, 0, 1], [0, 1, 2]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2]], [[1, 0, 0], [0, 0, 2], [0, 2, >]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, >]], [[1, 0, 0], [0, 0, 2], [0, 2, 0]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, 0]], [[1, 0, 0], [0, 0, 2], [0, 2, 1]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, 1]], [[1, 0, 0], [0, 0, 2], [0, 2, 2]] ->= [[1, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, 2]], [[1, 1, 0], [1, 0, >], [0, >, >]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, >], [2, >, >]], [[1, 1, 0], [1, 0, 0], [0, 0, >]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, >]], [[1, 1, 0], [1, 0, 0], [0, 0, 0]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0]], [[1, 1, 0], [1, 0, 0], [0, 0, 1]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1]], [[1, 1, 0], [1, 0, 0], [0, 0, 2]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2]], [[1, 1, 0], [1, 0, 1], [0, 1, >]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, >]], [[1, 1, 0], [1, 0, 1], [0, 1, 0]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 0]], [[1, 1, 0], [1, 0, 1], [0, 1, 1]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 1]], [[1, 1, 0], [1, 0, 1], [0, 1, 2]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 2]], [[1, 1, 0], [1, 0, 2], [0, 2, >]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, >]], [[1, 1, 0], [1, 0, 2], [0, 2, 0]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, 0]], [[1, 1, 0], [1, 0, 2], [0, 2, 1]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, 1]], [[1, 1, 0], [1, 0, 2], [0, 2, 2]] ->= [[1, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, 2]], [[1, 2, 0], [2, 0, >], [0, >, >]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, >], [2, >, >]], [[1, 2, 0], [2, 0, 0], [0, 0, >]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, >]], [[1, 2, 0], [2, 0, 0], [0, 0, 0]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0]], [[1, 2, 0], [2, 0, 0], [0, 0, 1]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1]], [[1, 2, 0], [2, 0, 0], [0, 0, 2]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2]], [[1, 2, 0], [2, 0, 1], [0, 1, >]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, >]], [[1, 2, 0], [2, 0, 1], [0, 1, 0]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 0]], [[1, 2, 0], [2, 0, 1], [0, 1, 1]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 1]], [[1, 2, 0], [2, 0, 1], [0, 1, 2]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 2]], [[1, 2, 0], [2, 0, 2], [0, 2, >]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, >]], [[1, 2, 0], [2, 0, 2], [0, 2, 0]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, 0]], [[1, 2, 0], [2, 0, 2], [0, 2, 1]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, 1]], [[1, 2, 0], [2, 0, 2], [0, 2, 2]] ->= [[1, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, 2]], [[2, 0, 0], [0, 0, >], [0, >, >]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, >], [2, >, >]], [[2, 0, 0], [0, 0, 0], [0, 0, >]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >]], [[2, 0, 0], [0, 0, 0], [0, 0, 0]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0]], [[2, 0, 0], [0, 0, 0], [0, 0, 1]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1]], [[2, 0, 0], [0, 0, 0], [0, 0, 2]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2]], [[2, 0, 0], [0, 0, 1], [0, 1, >]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >]], [[2, 0, 0], [0, 0, 1], [0, 1, 0]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0]], [[2, 0, 0], [0, 0, 1], [0, 1, 1]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1]], [[2, 0, 0], [0, 0, 1], [0, 1, 2]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2]], [[2, 0, 0], [0, 0, 2], [0, 2, >]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, >]], [[2, 0, 0], [0, 0, 2], [0, 2, 0]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, 0]], [[2, 0, 0], [0, 0, 2], [0, 2, 1]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, 1]], [[2, 0, 0], [0, 0, 2], [0, 2, 2]] ->= [[2, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, 2]], [[2, 1, 0], [1, 0, >], [0, >, >]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, >], [2, >, >]], [[2, 1, 0], [1, 0, 0], [0, 0, >]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, >]], [[2, 1, 0], [1, 0, 0], [0, 0, 0]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0]], [[2, 1, 0], [1, 0, 0], [0, 0, 1]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1]], [[2, 1, 0], [1, 0, 0], [0, 0, 2]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2]], [[2, 1, 0], [1, 0, 1], [0, 1, >]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, >]], [[2, 1, 0], [1, 0, 1], [0, 1, 0]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 0]], [[2, 1, 0], [1, 0, 1], [0, 1, 1]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 1]], [[2, 1, 0], [1, 0, 1], [0, 1, 2]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 2]], [[2, 1, 0], [1, 0, 2], [0, 2, >]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, >]], [[2, 1, 0], [1, 0, 2], [0, 2, 0]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, 0]], [[2, 1, 0], [1, 0, 2], [0, 2, 1]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, 1]], [[2, 1, 0], [1, 0, 2], [0, 2, 2]] ->= [[2, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, 2]], [[2, 2, 0], [2, 0, >], [0, >, >]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, >], [2, >, >]], [[2, 2, 0], [2, 0, 0], [0, 0, >]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, >]], [[2, 2, 0], [2, 0, 0], [0, 0, 0]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0]], [[2, 2, 0], [2, 0, 0], [0, 0, 1]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1]], [[2, 2, 0], [2, 0, 0], [0, 0, 2]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2]], [[2, 2, 0], [2, 0, 1], [0, 1, >]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, >]], [[2, 2, 0], [2, 0, 1], [0, 1, 0]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 0]], [[2, 2, 0], [2, 0, 1], [0, 1, 1]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 1]], [[2, 2, 0], [2, 0, 1], [0, 1, 2]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 2]], [[2, 2, 0], [2, 0, 2], [0, 2, >]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, >]], [[2, 2, 0], [2, 0, 2], [0, 2, 0]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, 0]], [[2, 2, 0], [2, 0, 2], [0, 2, 1]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, 1]], [[2, 2, 0], [2, 0, 2], [0, 2, 2]] ->= [[2, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, 2]], [[3, 0, 0], [0, 0, >], [0, >, >]] ->= [[3, 0, 1], [0, 1, 2], [1, 2, >], [2, >, >]], [[3, 0, 0], [0, 0, 0], [0, 0, >]] ->= [[3, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >]], [[3, 0, 0], [0, 0, 0], [0, 0, 0]] ->= [[3, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0]], [[3, 0, 0], [0, 0, 0], [0, 0, 1]] ->= [[3, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1]], [[3, 0, 0], [0, 0, 0], [0, 0, 2]] ->= [[3, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2]], [[3, 0, 0], [0, 0, 1], [0, 1, >]] ->= [[3, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >]], [[3, 0, 0], [0, 0, 1], [0, 1, 0]] ->= [[3, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0]], [[3, 0, 0], [0, 0, 1], [0, 1, 1]] ->= [[3, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1]], [[3, 0, 0], [0, 0, 1], [0, 1, 2]] ->= [[3, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2]], [[3, 0, 0], [0, 0, 2], [0, 2, >]] ->= [[3, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, >]], [[3, 0, 0], [0, 0, 2], [0, 2, 0]] ->= [[3, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, 0]], [[3, 0, 0], [0, 0, 2], [0, 2, 1]] ->= [[3, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, 1]], [[3, 0, 0], [0, 0, 2], [0, 2, 2]] ->= [[3, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, 2]], [[3, 1, 0], [1, 0, >], [0, >, >]] ->= [[3, 1, 1], [1, 1, 2], [1, 2, >], [2, >, >]], [[3, 1, 0], [1, 0, 0], [0, 0, >]] ->= [[3, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, >]], [[3, 1, 0], [1, 0, 0], [0, 0, 0]] ->= [[3, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0]], [[3, 1, 0], [1, 0, 0], [0, 0, 1]] ->= [[3, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1]], [[3, 1, 0], [1, 0, 0], [0, 0, 2]] ->= [[3, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2]], [[3, 1, 0], [1, 0, 1], [0, 1, >]] ->= [[3, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, >]], [[3, 1, 0], [1, 0, 1], [0, 1, 0]] ->= [[3, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 0]], [[3, 1, 0], [1, 0, 1], [0, 1, 1]] ->= [[3, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 1]], [[3, 1, 0], [1, 0, 1], [0, 1, 2]] ->= [[3, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 2]], [[3, 1, 0], [1, 0, 2], [0, 2, >]] ->= [[3, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, >]], [[3, 1, 0], [1, 0, 2], [0, 2, 0]] ->= [[3, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, 0]], [[3, 1, 0], [1, 0, 2], [0, 2, 1]] ->= [[3, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, 1]], [[3, 1, 0], [1, 0, 2], [0, 2, 2]] ->= [[3, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, 2]], [[3, 2, 0], [2, 0, >], [0, >, >]] ->= [[3, 2, 1], [2, 1, 2], [1, 2, >], [2, >, >]], [[3, 2, 0], [2, 0, 0], [0, 0, >]] ->= [[3, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, >]], [[3, 2, 0], [2, 0, 0], [0, 0, 0]] ->= [[3, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0]], [[3, 2, 0], [2, 0, 0], [0, 0, 1]] ->= [[3, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1]], [[3, 2, 0], [2, 0, 0], [0, 0, 2]] ->= [[3, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2]], [[3, 2, 0], [2, 0, 1], [0, 1, >]] ->= [[3, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, >]], [[3, 2, 0], [2, 0, 1], [0, 1, 0]] ->= [[3, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 0]], [[3, 2, 0], [2, 0, 1], [0, 1, 1]] ->= [[3, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 1]], [[3, 2, 0], [2, 0, 1], [0, 1, 2]] ->= [[3, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 2]], [[3, 2, 0], [2, 0, 2], [0, 2, >]] ->= [[3, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, >]], [[3, 2, 0], [2, 0, 2], [0, 2, 0]] ->= [[3, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, 0]], [[3, 2, 0], [2, 0, 2], [0, 2, 1]] ->= [[3, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, 1]], [[3, 2, 0], [2, 0, 2], [0, 2, 2]] ->= [[3, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, 2]], [[4, 0, 0], [0, 0, >], [0, >, >]] ->= [[4, 0, 1], [0, 1, 2], [1, 2, >], [2, >, >]], [[4, 0, 0], [0, 0, 0], [0, 0, >]] ->= [[4, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, >]], [[4, 0, 0], [0, 0, 0], [0, 0, 0]] ->= [[4, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 0]], [[4, 0, 0], [0, 0, 0], [0, 0, 1]] ->= [[4, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 1]], [[4, 0, 0], [0, 0, 0], [0, 0, 2]] ->= [[4, 0, 1], [0, 1, 2], [1, 2, 0], [2, 0, 2]], [[4, 0, 0], [0, 0, 1], [0, 1, >]] ->= [[4, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, >]], [[4, 0, 0], [0, 0, 1], [0, 1, 0]] ->= [[4, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 0]], [[4, 0, 0], [0, 0, 1], [0, 1, 1]] ->= [[4, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 1]], [[4, 0, 0], [0, 0, 1], [0, 1, 2]] ->= [[4, 0, 1], [0, 1, 2], [1, 2, 1], [2, 1, 2]], [[4, 0, 0], [0, 0, 2], [0, 2, >]] ->= [[4, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, >]], [[4, 0, 0], [0, 0, 2], [0, 2, 0]] ->= [[4, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, 0]], [[4, 0, 0], [0, 0, 2], [0, 2, 1]] ->= [[4, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, 1]], [[4, 0, 0], [0, 0, 2], [0, 2, 2]] ->= [[4, 0, 1], [0, 1, 2], [1, 2, 2], [2, 2, 2]], [[4, 1, 0], [1, 0, >], [0, >, >]] ->= [[4, 1, 1], [1, 1, 2], [1, 2, >], [2, >, >]], [[4, 1, 0], [1, 0, 0], [0, 0, >]] ->= [[4, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, >]], [[4, 1, 0], [1, 0, 0], [0, 0, 0]] ->= [[4, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 0]], [[4, 1, 0], [1, 0, 0], [0, 0, 1]] ->= [[4, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 1]], [[4, 1, 0], [1, 0, 0], [0, 0, 2]] ->= [[4, 1, 1], [1, 1, 2], [1, 2, 0], [2, 0, 2]], [[4, 1, 0], [1, 0, 1], [0, 1, >]] ->= [[4, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, >]], [[4, 1, 0], [1, 0, 1], [0, 1, 0]] ->= [[4, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 0]], [[4, 1, 0], [1, 0, 1], [0, 1, 1]] ->= [[4, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 1]], [[4, 1, 0], [1, 0, 1], [0, 1, 2]] ->= [[4, 1, 1], [1, 1, 2], [1, 2, 1], [2, 1, 2]], [[4, 1, 0], [1, 0, 2], [0, 2, >]] ->= [[4, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, >]], [[4, 1, 0], [1, 0, 2], [0, 2, 0]] ->= [[4, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, 0]], [[4, 1, 0], [1, 0, 2], [0, 2, 1]] ->= [[4, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, 1]], [[4, 1, 0], [1, 0, 2], [0, 2, 2]] ->= [[4, 1, 1], [1, 1, 2], [1, 2, 2], [2, 2, 2]], [[4, 2, 0], [2, 0, >], [0, >, >]] ->= [[4, 2, 1], [2, 1, 2], [1, 2, >], [2, >, >]], [[4, 2, 0], [2, 0, 0], [0, 0, >]] ->= [[4, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, >]], [[4, 2, 0], [2, 0, 0], [0, 0, 0]] ->= [[4, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 0]], [[4, 2, 0], [2, 0, 0], [0, 0, 1]] ->= [[4, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 1]], [[4, 2, 0], [2, 0, 0], [0, 0, 2]] ->= [[4, 2, 1], [2, 1, 2], [1, 2, 0], [2, 0, 2]], [[4, 2, 0], [2, 0, 1], [0, 1, >]] ->= [[4, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, >]], [[4, 2, 0], [2, 0, 1], [0, 1, 0]] ->= [[4, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 0]], [[4, 2, 0], [2, 0, 1], [0, 1, 1]] ->= [[4, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 1]], [[4, 2, 0], [2, 0, 1], [0, 1, 2]] ->= [[4, 2, 1], [2, 1, 2], [1, 2, 1], [2, 1, 2]], [[4, 2, 0], [2, 0, 2], [0, 2, >]] ->= [[4, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, >]], [[4, 2, 0], [2, 0, 2], [0, 2, 0]] ->= [[4, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, 0]], [[4, 2, 0], [2, 0, 2], [0, 2, 1]] ->= [[4, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, 1]], [[4, 2, 0], [2, 0, 2], [0, 2, 2]] ->= [[4, 2, 1], [2, 1, 2], [1, 2, 2], [2, 2, 2]], [[<, <, 2], [<, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[<, <, >], [<, >, >]], [[<, <, 2], [<, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[<, <, 0], [<, 0, >]], [[<, <, 2], [<, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[<, <, 0], [<, 0, 0]], [[<, <, 2], [<, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[<, <, 0], [<, 0, 1]], [[<, <, 2], [<, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[<, <, 0], [<, 0, 2]], [[<, <, 2], [<, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[<, <, 1], [<, 1, >]], [[<, <, 2], [<, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[<, <, 1], [<, 1, 0]], [[<, <, 2], [<, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[<, <, 1], [<, 1, 1]], [[<, <, 2], [<, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[<, <, 1], [<, 1, 2]], [[<, <, 2], [<, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[<, <, 2], [<, 2, >]], [[<, <, 2], [<, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[<, <, 2], [<, 2, 0]], [[<, <, 2], [<, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[<, <, 2], [<, 2, 1]], [[<, <, 2], [<, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[<, <, 2], [<, 2, 2]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[<, 0, >], [0, >, >]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[<, 0, 0], [0, 0, >]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[<, 0, 0], [0, 0, 0]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[<, 0, 0], [0, 0, 1]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[<, 0, 0], [0, 0, 2]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[<, 0, 1], [0, 1, >]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[<, 0, 1], [0, 1, 0]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[<, 0, 1], [0, 1, 1]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[<, 0, 1], [0, 1, 2]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[<, 0, 2], [0, 2, >]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[<, 0, 2], [0, 2, 0]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[<, 0, 2], [0, 2, 1]], [[<, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[<, 0, 2], [0, 2, 2]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[<, 1, >], [1, >, >]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[<, 1, 0], [1, 0, >]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[<, 1, 0], [1, 0, 0]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[<, 1, 0], [1, 0, 1]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[<, 1, 0], [1, 0, 2]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[<, 1, 1], [1, 1, >]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[<, 1, 1], [1, 1, 0]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[<, 1, 1], [1, 1, 1]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[<, 1, 1], [1, 1, 2]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[<, 1, 2], [1, 2, >]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[<, 1, 2], [1, 2, 0]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[<, 1, 2], [1, 2, 1]], [[<, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[<, 1, 2], [1, 2, 2]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[<, 2, >], [2, >, >]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[<, 2, 0], [2, 0, >]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[<, 2, 0], [2, 0, 0]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[<, 2, 0], [2, 0, 1]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[<, 2, 0], [2, 0, 2]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[<, 2, 1], [2, 1, >]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[<, 2, 1], [2, 1, 0]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[<, 2, 1], [2, 1, 1]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[<, 2, 1], [2, 1, 2]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[<, 2, 2], [2, 2, >]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[<, 2, 2], [2, 2, 0]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[<, 2, 2], [2, 2, 1]], [[<, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[<, 2, 2], [2, 2, 2]], [[<, 3, 2], [3, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[<, 3, >], [3, >, >]], [[<, 3, 2], [3, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[<, 3, 0], [3, 0, >]], [[<, 3, 2], [3, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[<, 3, 0], [3, 0, 0]], [[<, 3, 2], [3, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[<, 3, 0], [3, 0, 1]], [[<, 3, 2], [3, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[<, 3, 0], [3, 0, 2]], [[<, 3, 2], [3, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[<, 3, 1], [3, 1, >]], [[<, 3, 2], [3, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[<, 3, 1], [3, 1, 0]], [[<, 3, 2], [3, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[<, 3, 1], [3, 1, 1]], [[<, 3, 2], [3, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[<, 3, 1], [3, 1, 2]], [[<, 3, 2], [3, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[<, 3, 2], [3, 2, >]], [[<, 3, 2], [3, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[<, 3, 2], [3, 2, 0]], [[<, 3, 2], [3, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[<, 3, 2], [3, 2, 1]], [[<, 3, 2], [3, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[<, 3, 2], [3, 2, 2]], [[<, 4, 2], [4, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[<, 4, >], [4, >, >]], [[<, 4, 2], [4, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[<, 4, 0], [4, 0, >]], [[<, 4, 2], [4, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[<, 4, 0], [4, 0, 0]], [[<, 4, 2], [4, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[<, 4, 0], [4, 0, 1]], [[<, 4, 2], [4, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[<, 4, 0], [4, 0, 2]], [[<, 4, 2], [4, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[<, 4, 1], [4, 1, >]], [[<, 4, 2], [4, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[<, 4, 1], [4, 1, 0]], [[<, 4, 2], [4, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[<, 4, 1], [4, 1, 1]], [[<, 4, 2], [4, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[<, 4, 1], [4, 1, 2]], [[<, 4, 2], [4, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[<, 4, 2], [4, 2, >]], [[<, 4, 2], [4, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[<, 4, 2], [4, 2, 0]], [[<, 4, 2], [4, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[<, 4, 2], [4, 2, 1]], [[<, 4, 2], [4, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[<, 4, 2], [4, 2, 2]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[0, 0, >], [0, >, >]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[0, 0, 0], [0, 0, >]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[0, 0, 0], [0, 0, 0]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[0, 0, 0], [0, 0, 1]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[0, 0, 0], [0, 0, 2]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[0, 0, 1], [0, 1, >]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[0, 0, 1], [0, 1, 0]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[0, 0, 1], [0, 1, 1]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[0, 0, 1], [0, 1, 2]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[0, 0, 2], [0, 2, >]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[0, 0, 2], [0, 2, 0]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[0, 0, 2], [0, 2, 1]], [[0, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[0, 0, 2], [0, 2, 2]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[0, 1, >], [1, >, >]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[0, 1, 0], [1, 0, >]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[0, 1, 0], [1, 0, 0]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[0, 1, 0], [1, 0, 1]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[0, 1, 0], [1, 0, 2]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[0, 1, 1], [1, 1, >]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[0, 1, 1], [1, 1, 0]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[0, 1, 1], [1, 1, 1]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[0, 1, 1], [1, 1, 2]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[0, 1, 2], [1, 2, >]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[0, 1, 2], [1, 2, 0]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[0, 1, 2], [1, 2, 1]], [[0, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[0, 1, 2], [1, 2, 2]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[0, 2, >], [2, >, >]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[0, 2, 0], [2, 0, >]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[0, 2, 0], [2, 0, 0]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[0, 2, 0], [2, 0, 1]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[0, 2, 0], [2, 0, 2]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[0, 2, 1], [2, 1, >]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[0, 2, 1], [2, 1, 0]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[0, 2, 1], [2, 1, 1]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[0, 2, 1], [2, 1, 2]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[0, 2, 2], [2, 2, >]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[0, 2, 2], [2, 2, 0]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[0, 2, 2], [2, 2, 1]], [[0, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[0, 2, 2], [2, 2, 2]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[1, 0, >], [0, >, >]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[1, 0, 0], [0, 0, >]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[1, 0, 0], [0, 0, 0]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[1, 0, 0], [0, 0, 1]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[1, 0, 0], [0, 0, 2]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[1, 0, 1], [0, 1, >]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[1, 0, 1], [0, 1, 0]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[1, 0, 1], [0, 1, 1]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[1, 0, 1], [0, 1, 2]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[1, 0, 2], [0, 2, >]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[1, 0, 2], [0, 2, 0]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[1, 0, 2], [0, 2, 1]], [[1, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[1, 0, 2], [0, 2, 2]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[1, 1, >], [1, >, >]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[1, 1, 0], [1, 0, >]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[1, 1, 0], [1, 0, 0]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[1, 1, 0], [1, 0, 1]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[1, 1, 0], [1, 0, 2]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[1, 1, 1], [1, 1, >]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[1, 1, 1], [1, 1, 0]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[1, 1, 1], [1, 1, 1]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[1, 1, 1], [1, 1, 2]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[1, 1, 2], [1, 2, >]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[1, 1, 2], [1, 2, 0]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[1, 1, 2], [1, 2, 1]], [[1, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[1, 1, 2], [1, 2, 2]], [[1, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[1, 2, >], [2, >, >]], [[1, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[1, 2, 0], [2, 0, >]], [[1, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[1, 2, 0], [2, 0, 0]], [[1, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[1, 2, 0], [2, 0, 1]], [[1, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[1, 2, 0], [2, 0, 2]], [[1, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[1, 2, 1], [2, 1, >]], [[1, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[1, 2, 1], [2, 1, 0]], [[1, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[1, 2, 1], [2, 1, 1]], [[1, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[1, 2, 1], [2, 1, 2]], [[1, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[1, 2, 2], [2, 2, >]], [[1, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[1, 2, 2], [2, 2, 0]], [[1, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[1, 2, 2], [2, 2, 1]], [[1, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[1, 2, 2], [2, 2, 2]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[2, 0, >], [0, >, >]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[2, 0, 0], [0, 0, >]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[2, 0, 0], [0, 0, 0]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[2, 0, 0], [0, 0, 1]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[2, 0, 0], [0, 0, 2]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[2, 0, 1], [0, 1, >]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[2, 0, 1], [0, 1, 0]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[2, 0, 1], [0, 1, 1]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[2, 0, 1], [0, 1, 2]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[2, 0, 2], [0, 2, >]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[2, 0, 2], [0, 2, 0]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[2, 0, 2], [0, 2, 1]], [[2, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[2, 0, 2], [0, 2, 2]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[2, 1, >], [1, >, >]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[2, 1, 0], [1, 0, >]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[2, 1, 0], [1, 0, 0]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[2, 1, 0], [1, 0, 1]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[2, 1, 0], [1, 0, 2]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[2, 1, 1], [1, 1, >]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[2, 1, 1], [1, 1, 0]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[2, 1, 1], [1, 1, 1]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[2, 1, 1], [1, 1, 2]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[2, 1, 2], [1, 2, >]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[2, 1, 2], [1, 2, 0]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[2, 1, 2], [1, 2, 1]], [[2, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[2, 1, 2], [1, 2, 2]], [[2, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[2, 2, >], [2, >, >]], [[2, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[2, 2, 0], [2, 0, >]], [[2, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[2, 2, 0], [2, 0, 0]], [[2, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[2, 2, 0], [2, 0, 1]], [[2, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[2, 2, 0], [2, 0, 2]], [[2, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[2, 2, 1], [2, 1, >]], [[2, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[2, 2, 1], [2, 1, 0]], [[2, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[2, 2, 1], [2, 1, 1]], [[2, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[2, 2, 1], [2, 1, 2]], [[2, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[2, 2, 2], [2, 2, >]], [[2, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[2, 2, 2], [2, 2, 0]], [[2, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[2, 2, 2], [2, 2, 1]], [[2, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[2, 2, 2], [2, 2, 2]], [[3, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[3, 0, >], [0, >, >]], [[3, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[3, 0, 0], [0, 0, >]], [[3, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[3, 0, 0], [0, 0, 0]], [[3, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[3, 0, 0], [0, 0, 1]], [[3, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[3, 0, 0], [0, 0, 2]], [[3, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[3, 0, 1], [0, 1, >]], [[3, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[3, 0, 1], [0, 1, 0]], [[3, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[3, 0, 1], [0, 1, 1]], [[3, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[3, 0, 1], [0, 1, 2]], [[3, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[3, 0, 2], [0, 2, >]], [[3, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[3, 0, 2], [0, 2, 0]], [[3, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[3, 0, 2], [0, 2, 1]], [[3, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[3, 0, 2], [0, 2, 2]], [[3, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[3, 1, >], [1, >, >]], [[3, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[3, 1, 0], [1, 0, >]], [[3, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[3, 1, 0], [1, 0, 0]], [[3, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[3, 1, 0], [1, 0, 1]], [[3, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[3, 1, 0], [1, 0, 2]], [[3, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[3, 1, 1], [1, 1, >]], [[3, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[3, 1, 1], [1, 1, 0]], [[3, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[3, 1, 1], [1, 1, 1]], [[3, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[3, 1, 1], [1, 1, 2]], [[3, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[3, 1, 2], [1, 2, >]], [[3, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[3, 1, 2], [1, 2, 0]], [[3, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[3, 1, 2], [1, 2, 1]], [[3, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[3, 1, 2], [1, 2, 2]], [[3, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[3, 2, >], [2, >, >]], [[3, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[3, 2, 0], [2, 0, >]], [[3, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[3, 2, 0], [2, 0, 0]], [[3, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[3, 2, 0], [2, 0, 1]], [[3, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[3, 2, 0], [2, 0, 2]], [[3, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[3, 2, 1], [2, 1, >]], [[3, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[3, 2, 1], [2, 1, 0]], [[3, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[3, 2, 1], [2, 1, 1]], [[3, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[3, 2, 1], [2, 1, 2]], [[3, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[3, 2, 2], [2, 2, >]], [[3, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[3, 2, 2], [2, 2, 0]], [[3, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[3, 2, 2], [2, 2, 1]], [[3, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[3, 2, 2], [2, 2, 2]], [[4, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[4, 0, >], [0, >, >]], [[4, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[4, 0, 0], [0, 0, >]], [[4, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[4, 0, 0], [0, 0, 0]], [[4, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[4, 0, 0], [0, 0, 1]], [[4, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[4, 0, 0], [0, 0, 2]], [[4, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[4, 0, 1], [0, 1, >]], [[4, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[4, 0, 1], [0, 1, 0]], [[4, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[4, 0, 1], [0, 1, 1]], [[4, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[4, 0, 1], [0, 1, 2]], [[4, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[4, 0, 2], [0, 2, >]], [[4, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[4, 0, 2], [0, 2, 0]], [[4, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[4, 0, 2], [0, 2, 1]], [[4, 0, 2], [0, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[4, 0, 2], [0, 2, 2]], [[4, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[4, 1, >], [1, >, >]], [[4, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[4, 1, 0], [1, 0, >]], [[4, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[4, 1, 0], [1, 0, 0]], [[4, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[4, 1, 0], [1, 0, 1]], [[4, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[4, 1, 0], [1, 0, 2]], [[4, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[4, 1, 1], [1, 1, >]], [[4, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[4, 1, 1], [1, 1, 0]], [[4, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[4, 1, 1], [1, 1, 1]], [[4, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[4, 1, 1], [1, 1, 2]], [[4, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[4, 1, 2], [1, 2, >]], [[4, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[4, 1, 2], [1, 2, 0]], [[4, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[4, 1, 2], [1, 2, 1]], [[4, 1, 2], [1, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[4, 1, 2], [1, 2, 2]], [[4, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, >], [2, >, >]] ->= [[4, 2, >], [2, >, >]], [[4, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, >]] ->= [[4, 2, 0], [2, 0, >]], [[4, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 0]] ->= [[4, 2, 0], [2, 0, 0]], [[4, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 1]] ->= [[4, 2, 0], [2, 0, 1]], [[4, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 0], [2, 0, 2]] ->= [[4, 2, 0], [2, 0, 2]], [[4, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, >]] ->= [[4, 2, 1], [2, 1, >]], [[4, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 0]] ->= [[4, 2, 1], [2, 1, 0]], [[4, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 1]] ->= [[4, 2, 1], [2, 1, 1]], [[4, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 1], [2, 1, 2]] ->= [[4, 2, 1], [2, 1, 2]], [[4, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, >]] ->= [[4, 2, 2], [2, 2, >]], [[4, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 0]] ->= [[4, 2, 2], [2, 2, 0]], [[4, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 1]] ->= [[4, 2, 2], [2, 2, 1]], [[4, 2, 2], [2, 2, 0], [2, 0, 2], [0, 2, 2], [2, 2, 2]] ->= [[4, 2, 2], [2, 2, 2]], [[<, <, 1], [<, 1, 1], [1, 1, >], [1, >, >]] ->= [[<, <, 2], [<, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[<, <, 1], [<, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[<, <, 2], [<, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[<, <, 1], [<, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[<, <, 2], [<, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[<, <, 1], [<, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[<, <, 2], [<, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[<, <, 1], [<, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[<, <, 2], [<, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[<, <, 1], [<, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[<, <, 2], [<, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[<, <, 1], [<, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[<, <, 2], [<, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[<, <, 1], [<, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[<, <, 2], [<, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[<, <, 1], [<, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[<, <, 2], [<, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[<, <, 1], [<, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[<, <, 2], [<, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[<, <, 1], [<, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[<, <, 2], [<, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[<, <, 1], [<, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[<, <, 2], [<, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[<, <, 1], [<, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[<, <, 2], [<, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]], [[<, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] ->= [[<, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[<, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[<, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[<, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[<, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[<, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[<, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[<, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[<, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[<, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[<, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[<, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[<, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[<, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[<, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[<, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[<, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[<, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[<, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]], [[<, 1, 1], [1, 1, 1], [1, 1, >], [1, >, >]] ->= [[<, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[<, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[<, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[<, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[<, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[<, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[<, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[<, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[<, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[<, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[<, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[<, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[<, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[<, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[<, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[<, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[<, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[<, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[<, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[<, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[<, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[<, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[<, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[<, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[<, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]], [[<, 2, 1], [2, 1, 1], [1, 1, >], [1, >, >]] ->= [[<, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[<, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[<, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[<, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[<, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[<, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[<, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[<, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[<, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[<, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[<, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[<, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[<, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[<, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[<, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[<, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[<, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[<, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[<, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[<, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[<, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[<, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]], [[<, 3, 1], [3, 1, 1], [1, 1, >], [1, >, >]] ->= [[<, 3, 2], [3, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[<, 3, 1], [3, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[<, 3, 2], [3, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[<, 3, 1], [3, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[<, 3, 2], [3, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[<, 3, 1], [3, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[<, 3, 2], [3, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[<, 3, 1], [3, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[<, 3, 2], [3, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[<, 3, 1], [3, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[<, 3, 2], [3, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[<, 3, 1], [3, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[<, 3, 2], [3, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[<, 3, 1], [3, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[<, 3, 2], [3, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[<, 3, 1], [3, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[<, 3, 2], [3, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[<, 3, 1], [3, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[<, 3, 2], [3, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[<, 3, 1], [3, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[<, 3, 2], [3, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[<, 3, 1], [3, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[<, 3, 2], [3, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[<, 3, 1], [3, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[<, 3, 2], [3, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]], [[<, 4, 1], [4, 1, 1], [1, 1, >], [1, >, >]] ->= [[<, 4, 2], [4, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[<, 4, 1], [4, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[<, 4, 2], [4, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[<, 4, 1], [4, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[<, 4, 2], [4, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[<, 4, 1], [4, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[<, 4, 2], [4, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[<, 4, 1], [4, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[<, 4, 2], [4, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[<, 4, 1], [4, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[<, 4, 2], [4, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[<, 4, 1], [4, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[<, 4, 2], [4, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[<, 4, 1], [4, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[<, 4, 2], [4, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[<, 4, 1], [4, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[<, 4, 2], [4, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[<, 4, 1], [4, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[<, 4, 2], [4, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[<, 4, 1], [4, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[<, 4, 2], [4, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[<, 4, 1], [4, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[<, 4, 2], [4, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[<, 4, 1], [4, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[<, 4, 2], [4, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]], [[0, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] ->= [[0, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[0, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[0, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[0, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[0, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[0, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[0, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[0, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[0, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[0, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[0, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[0, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[0, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[0, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[0, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[0, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[0, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[0, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[0, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]], [[0, 1, 1], [1, 1, 1], [1, 1, >], [1, >, >]] ->= [[0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[0, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[0, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[0, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[0, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[0, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[0, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[0, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]], [[0, 2, 1], [2, 1, 1], [1, 1, >], [1, >, >]] ->= [[0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[0, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[0, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[0, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[0, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[0, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[0, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[0, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[0, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[0, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[0, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[0, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[0, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[0, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]], [[1, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] ->= [[1, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[1, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[1, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[1, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[1, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[1, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[1, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[1, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[1, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[1, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[1, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[1, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[1, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[1, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[1, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[1, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[1, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[1, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[1, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]], [[1, 1, 1], [1, 1, 1], [1, 1, >], [1, >, >]] ->= [[1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[1, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[1, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[1, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[1, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[1, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[1, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]], [[1, 2, 1], [2, 1, 1], [1, 1, >], [1, >, >]] ->= [[1, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[1, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[1, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[1, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[1, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[1, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[1, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[1, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[1, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[1, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[1, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[1, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[1, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[1, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[1, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[1, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[1, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[1, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[1, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[1, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[1, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[1, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[1, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[1, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[1, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]], [[2, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] ->= [[2, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[2, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[2, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[2, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[2, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[2, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[2, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[2, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[2, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[2, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[2, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[2, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[2, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[2, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[2, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[2, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[2, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[2, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[2, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]], [[2, 1, 1], [1, 1, 1], [1, 1, >], [1, >, >]] ->= [[2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[2, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[2, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[2, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[2, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[2, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[2, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[2, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]], [[2, 2, 1], [2, 1, 1], [1, 1, >], [1, >, >]] ->= [[2, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[2, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[2, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[2, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[2, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[2, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[2, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[2, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[2, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[2, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[2, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[2, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[2, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[2, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[2, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[2, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[2, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[2, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[2, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[2, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[2, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[2, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[2, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[2, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[2, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]], [[3, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] ->= [[3, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[3, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[3, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[3, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[3, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[3, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[3, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[3, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[3, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[3, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[3, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[3, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[3, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[3, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[3, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[3, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[3, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[3, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[3, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[3, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[3, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[3, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[3, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[3, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[3, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]], [[3, 1, 1], [1, 1, 1], [1, 1, >], [1, >, >]] ->= [[3, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[3, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[3, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[3, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[3, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[3, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[3, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[3, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[3, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[3, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[3, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[3, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[3, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[3, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[3, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[3, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[3, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[3, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[3, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[3, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[3, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[3, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[3, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[3, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[3, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]], [[3, 2, 1], [2, 1, 1], [1, 1, >], [1, >, >]] ->= [[3, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[3, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[3, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[3, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[3, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[3, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[3, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[3, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[3, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[3, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[3, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[3, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[3, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[3, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[3, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[3, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[3, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[3, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[3, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[3, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[3, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[3, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[3, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[3, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[3, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]], [[4, 0, 1], [0, 1, 1], [1, 1, >], [1, >, >]] ->= [[4, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[4, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[4, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[4, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[4, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[4, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[4, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[4, 0, 1], [0, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[4, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[4, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[4, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[4, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[4, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[4, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[4, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[4, 0, 1], [0, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[4, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[4, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[4, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[4, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[4, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[4, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[4, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[4, 0, 1], [0, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[4, 0, 2], [0, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]], [[4, 1, 1], [1, 1, 1], [1, 1, >], [1, >, >]] ->= [[4, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[4, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[4, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[4, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[4, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[4, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[4, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[4, 1, 1], [1, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[4, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[4, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[4, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[4, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[4, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[4, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[4, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[4, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[4, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[4, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[4, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[4, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[4, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[4, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[4, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[4, 1, 1], [1, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[4, 1, 2], [1, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]], [[4, 2, 1], [2, 1, 1], [1, 1, >], [1, >, >]] ->= [[4, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, >], [0, >, >]], [[4, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, >]] ->= [[4, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, >]], [[4, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 0]] ->= [[4, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 0]], [[4, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 1]] ->= [[4, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 1]], [[4, 2, 1], [2, 1, 1], [1, 1, 0], [1, 0, 2]] ->= [[4, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 0], [0, 0, 2]], [[4, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, >]] ->= [[4, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, >]], [[4, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 0]] ->= [[4, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 0]], [[4, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 1]] ->= [[4, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 1]], [[4, 2, 1], [2, 1, 1], [1, 1, 1], [1, 1, 2]] ->= [[4, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 1], [0, 1, 2]], [[4, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, >]] ->= [[4, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, >]], [[4, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, 0]] ->= [[4, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 0]], [[4, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, 1]] ->= [[4, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 1]], [[4, 2, 1], [2, 1, 1], [1, 1, 2], [1, 2, 2]] ->= [[4, 2, 2], [2, 2, 0], [2, 0, 0], [0, 0, 0], [0, 0, 2], [0, 2, 2]]) 96.62/24.48 reason 96.62/24.48 remap for 845 rules 96.62/24.48 property Termination 96.62/24.48 has value True 96.62/24.49 for SRS ( [0, 1, 2] |-> [3, 4, 5, 6], [0, 7, 8] |-> [3, 4, 9, 10], [0, 7, 11] |-> [3, 4, 9, 12], [0, 7, 13] |-> [3, 4, 9, 14], [0, 7, 15] |-> [3, 4, 9, 16], [0, 17, 18] |-> [3, 4, 19, 20], [0, 17, 21] |-> [3, 4, 19, 22], [0, 17, 23] |-> [3, 4, 19, 24], [0, 17, 25] |-> [3, 4, 19, 26], [0, 27, 28] |-> [3, 4, 29, 30], [0, 27, 31] |-> [3, 4, 29, 32], [0, 27, 33] |-> [3, 4, 29, 34], [0, 27, 35] |-> [3, 4, 29, 36], [3, 37, 38, 39] |-> [0, 7, 11, 40, 41], [3, 37, 42, 43] |-> [0, 7, 11, 44, 40], [3, 37, 42, 45] |-> [0, 7, 11, 44, 44], [3, 37, 42, 46] |-> [0, 7, 11, 44, 47], [3, 37, 42, 48] |-> [0, 7, 11, 44, 49], [3, 37, 50, 51] |-> [0, 7, 11, 47, 52], [3, 37, 50, 53] |-> [0, 7, 11, 47, 54], [3, 37, 50, 55] |-> [0, 7, 11, 47, 56], [3, 37, 50, 57] |-> [0, 7, 11, 47, 58], [3, 37, 59, 60] |-> [0, 7, 11, 49, 61], [3, 37, 59, 62] |-> [0, 7, 11, 49, 63], [3, 37, 59, 64] |-> [0, 7, 11, 49, 65], [3, 37, 59, 66] |-> [0, 7, 11, 49, 67], [68, 69, 41] ->= [70, 71, 60, 6], [68, 72, 40] ->= [70, 71, 62, 10], [68, 72, 44] ->= [70, 71, 62, 12], [68, 72, 47] ->= [70, 71, 62, 14], [68, 72, 49] ->= [70, 71, 62, 16], [68, 73, 52] ->= [70, 71, 64, 20], [68, 73, 54] ->= [70, 71, 64, 22], [68, 73, 56] ->= [70, 71, 64, 24], [68, 73, 58] ->= [70, 71, 64, 26], [68, 74, 61] ->= [70, 71, 66, 30], [68, 74, 63] ->= [70, 71, 66, 32], [68, 74, 65] ->= [70, 71, 66, 34], [68, 74, 67] ->= [70, 71, 66, 36], [72, 40, 41] ->= [73, 58, 60, 6], [72, 44, 40] ->= [73, 58, 62, 10], [72, 44, 44] ->= [73, 58, 62, 12], [72, 44, 47] ->= [73, 58, 62, 14], [72, 44, 49] ->= [73, 58, 62, 16], [72, 47, 52] ->= [73, 58, 64, 20], [72, 47, 54] ->= [73, 58, 64, 22], [72, 47, 56] ->= [73, 58, 64, 24], [72, 47, 58] ->= [73, 58, 64, 26], [72, 49, 61] ->= [73, 58, 66, 30], [72, 49, 63] ->= [73, 58, 66, 32], [72, 49, 65] ->= [73, 58, 66, 34], [72, 49, 67] ->= [73, 58, 66, 36], [75, 43, 41] ->= [76, 57, 60, 6], [75, 45, 40] ->= [76, 57, 62, 10], [75, 45, 44] ->= [76, 57, 62, 12], [75, 45, 47] ->= [76, 57, 62, 14], [75, 45, 49] ->= [76, 57, 62, 16], [75, 46, 52] ->= [76, 57, 64, 20], [75, 46, 54] ->= [76, 57, 64, 22], [75, 46, 56] ->= [76, 57, 64, 24], [75, 46, 58] ->= [76, 57, 64, 26], [75, 48, 61] ->= [76, 57, 66, 30], [75, 48, 63] ->= [76, 57, 66, 32], [75, 48, 65] ->= [76, 57, 66, 34], [75, 48, 67] ->= [76, 57, 66, 36], [77, 10, 41] ->= [78, 26, 60, 6], [77, 12, 40] ->= [78, 26, 62, 10], [77, 12, 44] ->= [78, 26, 62, 12], [77, 12, 47] ->= [78, 26, 62, 14], [77, 12, 49] ->= [78, 26, 62, 16], [77, 14, 52] ->= [78, 26, 64, 20], [77, 14, 54] ->= [78, 26, 64, 22], [77, 14, 56] ->= [78, 26, 64, 24], [77, 14, 58] ->= [78, 26, 64, 26], [77, 16, 61] ->= [78, 26, 66, 30], [77, 16, 63] ->= [78, 26, 66, 32], [77, 16, 65] ->= [78, 26, 66, 34], [77, 16, 67] ->= [78, 26, 66, 36], [7, 8, 41] ->= [17, 25, 60, 6], [7, 11, 40] ->= [17, 25, 62, 10], [7, 11, 44] ->= [17, 25, 62, 12], [7, 11, 47] ->= [17, 25, 62, 14], [7, 11, 49] ->= [17, 25, 62, 16], [7, 13, 52] ->= [17, 25, 64, 20], [7, 13, 54] ->= [17, 25, 64, 22], [7, 13, 56] ->= [17, 25, 64, 24], [7, 13, 58] ->= [17, 25, 64, 26], [7, 15, 61] ->= [17, 25, 66, 30], [7, 15, 63] ->= [17, 25, 66, 32], [7, 15, 65] ->= [17, 25, 66, 34], [7, 15, 67] ->= [17, 25, 66, 36], [79, 80, 41] ->= [37, 59, 60, 6], [79, 81, 40] ->= [37, 59, 62, 10], [79, 81, 44] ->= [37, 59, 62, 12], [79, 81, 47] ->= [37, 59, 62, 14], [79, 81, 49] ->= [37, 59, 62, 16], [79, 82, 52] ->= [37, 59, 64, 20], [79, 82, 54] ->= [37, 59, 64, 22], [79, 82, 56] ->= [37, 59, 64, 24], [79, 82, 58] ->= [37, 59, 64, 26], [79, 83, 61] ->= [37, 59, 66, 30], [79, 83, 63] ->= [37, 59, 66, 32], [79, 83, 65] ->= [37, 59, 66, 34], [79, 83, 67] ->= [37, 59, 66, 36], [44, 40, 41] ->= [47, 58, 60, 6], [44, 44, 40] ->= [47, 58, 62, 10], [44, 44, 44] ->= [47, 58, 62, 12], [44, 44, 47] ->= [47, 58, 62, 14], [44, 44, 49] ->= [47, 58, 62, 16], [44, 47, 52] ->= [47, 58, 64, 20], [44, 47, 54] ->= [47, 58, 64, 22], [44, 47, 56] ->= [47, 58, 64, 24], [44, 47, 58] ->= [47, 58, 64, 26], [44, 49, 61] ->= [47, 58, 66, 30], [44, 49, 63] ->= [47, 58, 66, 32], [44, 49, 65] ->= [47, 58, 66, 34], [44, 49, 67] ->= [47, 58, 66, 36], [54, 43, 41] ->= [56, 57, 60, 6], [54, 45, 40] ->= [56, 57, 62, 10], [54, 45, 44] ->= [56, 57, 62, 12], [54, 45, 47] ->= [56, 57, 62, 14], [54, 45, 49] ->= [56, 57, 62, 16], [54, 46, 52] ->= [56, 57, 64, 20], [54, 46, 54] ->= [56, 57, 64, 22], [54, 46, 56] ->= [56, 57, 64, 24], [54, 46, 58] ->= [56, 57, 64, 26], [54, 48, 61] ->= [56, 57, 66, 30], [54, 48, 63] ->= [56, 57, 66, 32], [54, 48, 65] ->= [56, 57, 66, 34], [54, 48, 67] ->= [56, 57, 66, 36], [63, 10, 41] ->= [65, 26, 60, 6], [63, 12, 40] ->= [65, 26, 62, 10], [63, 12, 44] ->= [65, 26, 62, 12], [63, 12, 47] ->= [65, 26, 62, 14], [63, 12, 49] ->= [65, 26, 62, 16], [63, 14, 52] ->= [65, 26, 64, 20], [63, 14, 54] ->= [65, 26, 64, 22], [63, 14, 56] ->= [65, 26, 64, 24], [63, 14, 58] ->= [65, 26, 64, 26], [63, 16, 61] ->= [65, 26, 66, 30], [63, 16, 63] ->= [65, 26, 66, 32], [63, 16, 65] ->= [65, 26, 66, 34], [63, 16, 67] ->= [65, 26, 66, 36], [45, 40, 41] ->= [46, 58, 60, 6], [45, 44, 40] ->= [46, 58, 62, 10], [45, 44, 44] ->= [46, 58, 62, 12], [45, 44, 47] ->= [46, 58, 62, 14], [45, 44, 49] ->= [46, 58, 62, 16], [45, 47, 52] ->= [46, 58, 64, 20], [45, 47, 54] ->= [46, 58, 64, 22], [45, 47, 56] ->= [46, 58, 64, 24], [45, 47, 58] ->= [46, 58, 64, 26], [45, 49, 61] ->= [46, 58, 66, 30], [45, 49, 63] ->= [46, 58, 66, 32], [45, 49, 65] ->= [46, 58, 66, 34], [45, 49, 67] ->= [46, 58, 66, 36], [53, 43, 41] ->= [55, 57, 60, 6], [53, 45, 40] ->= [55, 57, 62, 10], [53, 45, 44] ->= [55, 57, 62, 12], [53, 45, 47] ->= [55, 57, 62, 14], [53, 45, 49] ->= [55, 57, 62, 16], [53, 46, 52] ->= [55, 57, 64, 20], [53, 46, 54] ->= [55, 57, 64, 22], [53, 46, 56] ->= [55, 57, 64, 24], [53, 46, 58] ->= [55, 57, 64, 26], [53, 48, 61] ->= [55, 57, 66, 30], [53, 48, 63] ->= [55, 57, 66, 32], [53, 48, 65] ->= [55, 57, 66, 34], [53, 48, 67] ->= [55, 57, 66, 36], [62, 10, 41] ->= [64, 26, 60, 6], [62, 12, 40] ->= [64, 26, 62, 10], [62, 12, 44] ->= [64, 26, 62, 12], [62, 12, 47] ->= [64, 26, 62, 14], [62, 12, 49] ->= [64, 26, 62, 16], [62, 14, 52] ->= [64, 26, 64, 20], [62, 14, 54] ->= [64, 26, 64, 22], [62, 14, 56] ->= [64, 26, 64, 24], [62, 14, 58] ->= [64, 26, 64, 26], [62, 16, 61] ->= [64, 26, 66, 30], [62, 16, 63] ->= [64, 26, 66, 32], [62, 16, 65] ->= [64, 26, 66, 34], [62, 16, 67] ->= [64, 26, 66, 36], [12, 40, 41] ->= [14, 58, 60, 6], [12, 44, 40] ->= [14, 58, 62, 10], [12, 44, 44] ->= [14, 58, 62, 12], [12, 44, 47] ->= [14, 58, 62, 14], [12, 44, 49] ->= [14, 58, 62, 16], [12, 47, 52] ->= [14, 58, 64, 20], [12, 47, 54] ->= [14, 58, 64, 22], [12, 47, 56] ->= [14, 58, 64, 24], [12, 47, 58] ->= [14, 58, 64, 26], [12, 49, 61] ->= [14, 58, 66, 30], [12, 49, 63] ->= [14, 58, 66, 32], [12, 49, 65] ->= [14, 58, 66, 34], [12, 49, 67] ->= [14, 58, 66, 36], [22, 43, 41] ->= [24, 57, 60, 6], [22, 45, 40] ->= [24, 57, 62, 10], [22, 45, 44] ->= [24, 57, 62, 12], [22, 45, 47] ->= [24, 57, 62, 14], [22, 45, 49] ->= [24, 57, 62, 16], [22, 46, 52] ->= [24, 57, 64, 20], [22, 46, 54] ->= [24, 57, 64, 22], [22, 46, 56] ->= [24, 57, 64, 24], [22, 46, 58] ->= [24, 57, 64, 26], [22, 48, 61] ->= [24, 57, 66, 30], [22, 48, 63] ->= [24, 57, 66, 32], [22, 48, 65] ->= [24, 57, 66, 34], [22, 48, 67] ->= [24, 57, 66, 36], [32, 10, 41] ->= [34, 26, 60, 6], [32, 12, 40] ->= [34, 26, 62, 10], [32, 12, 44] ->= [34, 26, 62, 12], [32, 12, 47] ->= [34, 26, 62, 14], [32, 12, 49] ->= [34, 26, 62, 16], [32, 14, 52] ->= [34, 26, 64, 20], [32, 14, 54] ->= [34, 26, 64, 22], [32, 14, 56] ->= [34, 26, 64, 24], [32, 14, 58] ->= [34, 26, 64, 26], [32, 16, 61] ->= [34, 26, 66, 30], [32, 16, 63] ->= [34, 26, 66, 32], [32, 16, 65] ->= [34, 26, 66, 34], [32, 16, 67] ->= [34, 26, 66, 36], [11, 40, 41] ->= [13, 58, 60, 6], [11, 44, 40] ->= [13, 58, 62, 10], [11, 44, 44] ->= [13, 58, 62, 12], [11, 44, 47] ->= [13, 58, 62, 14], [11, 44, 49] ->= [13, 58, 62, 16], [11, 47, 52] ->= [13, 58, 64, 20], [11, 47, 54] ->= [13, 58, 64, 22], [11, 47, 56] ->= [13, 58, 64, 24], [11, 47, 58] ->= [13, 58, 64, 26], [11, 49, 61] ->= [13, 58, 66, 30], [11, 49, 63] ->= [13, 58, 66, 32], [11, 49, 65] ->= [13, 58, 66, 34], [11, 49, 67] ->= [13, 58, 66, 36], [21, 43, 41] ->= [23, 57, 60, 6], [21, 45, 40] ->= [23, 57, 62, 10], [21, 45, 44] ->= [23, 57, 62, 12], [21, 45, 47] ->= [23, 57, 62, 14], [21, 45, 49] ->= [23, 57, 62, 16], [21, 46, 52] ->= [23, 57, 64, 20], [21, 46, 54] ->= [23, 57, 64, 22], [21, 46, 56] ->= [23, 57, 64, 24], [21, 46, 58] ->= [23, 57, 64, 26], [21, 48, 61] ->= [23, 57, 66, 30], [21, 48, 63] ->= [23, 57, 66, 32], [21, 48, 65] ->= [23, 57, 66, 34], [21, 48, 67] ->= [23, 57, 66, 36], [31, 10, 41] ->= [33, 26, 60, 6], [31, 12, 40] ->= [33, 26, 62, 10], [31, 12, 44] ->= [33, 26, 62, 12], [31, 12, 47] ->= [33, 26, 62, 14], [31, 12, 49] ->= [33, 26, 62, 16], [31, 14, 52] ->= [33, 26, 64, 20], [31, 14, 54] ->= [33, 26, 64, 22], [31, 14, 56] ->= [33, 26, 64, 24], [31, 14, 58] ->= [33, 26, 64, 26], [31, 16, 61] ->= [33, 26, 66, 30], [31, 16, 63] ->= [33, 26, 66, 32], [31, 16, 65] ->= [33, 26, 66, 34], [31, 16, 67] ->= [33, 26, 66, 36], [81, 40, 41] ->= [82, 58, 60, 6], [81, 44, 40] ->= [82, 58, 62, 10], [81, 44, 44] ->= [82, 58, 62, 12], [81, 44, 47] ->= [82, 58, 62, 14], [81, 44, 49] ->= [82, 58, 62, 16], [81, 47, 52] ->= [82, 58, 64, 20], [81, 47, 54] ->= [82, 58, 64, 22], [81, 47, 56] ->= [82, 58, 64, 24], [81, 47, 58] ->= [82, 58, 64, 26], [81, 49, 61] ->= [82, 58, 66, 30], [81, 49, 63] ->= [82, 58, 66, 32], [81, 49, 65] ->= [82, 58, 66, 34], [81, 49, 67] ->= [82, 58, 66, 36], [42, 43, 41] ->= [50, 57, 60, 6], [42, 45, 40] ->= [50, 57, 62, 10], [42, 45, 44] ->= [50, 57, 62, 12], [42, 45, 47] ->= [50, 57, 62, 14], [42, 45, 49] ->= [50, 57, 62, 16], [42, 46, 52] ->= [50, 57, 64, 20], [42, 46, 54] ->= [50, 57, 64, 22], [42, 46, 56] ->= [50, 57, 64, 24], [42, 46, 58] ->= [50, 57, 64, 26], [42, 48, 61] ->= [50, 57, 66, 30], [42, 48, 63] ->= [50, 57, 66, 32], [42, 48, 65] ->= [50, 57, 66, 34], [42, 48, 67] ->= [50, 57, 66, 36], [9, 10, 41] ->= [19, 26, 60, 6], [9, 12, 40] ->= [19, 26, 62, 10], [9, 12, 44] ->= [19, 26, 62, 12], [9, 12, 47] ->= [19, 26, 62, 14], [9, 12, 49] ->= [19, 26, 62, 16], [9, 14, 52] ->= [19, 26, 64, 20], [9, 14, 54] ->= [19, 26, 64, 22], [9, 14, 56] ->= [19, 26, 64, 24], [9, 14, 58] ->= [19, 26, 64, 26], [9, 16, 61] ->= [19, 26, 66, 30], [9, 16, 63] ->= [19, 26, 66, 32], [9, 16, 65] ->= [19, 26, 66, 34], [9, 16, 67] ->= [19, 26, 66, 36], [84, 77, 16, 61, 6] ->= [85, 86], [84, 77, 16, 63, 10] ->= [68, 69], [84, 77, 16, 63, 12] ->= [68, 72], [84, 77, 16, 63, 14] ->= [68, 73], [84, 77, 16, 63, 16] ->= [68, 74], [84, 77, 16, 65, 20] ->= [70, 87], [84, 77, 16, 65, 22] ->= [70, 75], [84, 77, 16, 65, 24] ->= [70, 76], [84, 77, 16, 65, 26] ->= [70, 71], [84, 77, 16, 67, 30] ->= [84, 88], [84, 77, 16, 67, 32] ->= [84, 77], [84, 77, 16, 67, 34] ->= [84, 78], [84, 77, 16, 67, 36] ->= [84, 89], [74, 63, 16, 61, 6] ->= [69, 41], [74, 63, 16, 63, 10] ->= [72, 40], [74, 63, 16, 63, 12] ->= [72, 44], [74, 63, 16, 63, 14] ->= [72, 47], [74, 63, 16, 63, 16] ->= [72, 49], [74, 63, 16, 65, 20] ->= [73, 52], [74, 63, 16, 65, 22] ->= [73, 54], [74, 63, 16, 65, 24] ->= [73, 56], [74, 63, 16, 65, 26] ->= [73, 58], [74, 63, 16, 67, 30] ->= [74, 61], [74, 63, 16, 67, 32] ->= [74, 63], [74, 63, 16, 67, 34] ->= [74, 65], [74, 63, 16, 67, 36] ->= [74, 67], [71, 62, 16, 61, 6] ->= [87, 39], [71, 62, 16, 63, 10] ->= [75, 43], [71, 62, 16, 63, 12] ->= [75, 45], [71, 62, 16, 63, 14] ->= [75, 46], [71, 62, 16, 63, 16] ->= [75, 48], [71, 62, 16, 65, 20] ->= [76, 51], [71, 62, 16, 65, 22] ->= [76, 53], [71, 62, 16, 65, 24] ->= [76, 55], [71, 62, 16, 65, 26] ->= [76, 57], [71, 62, 16, 67, 30] ->= [71, 60], [71, 62, 16, 67, 32] ->= [71, 62], [71, 62, 16, 67, 34] ->= [71, 64], [71, 62, 16, 67, 36] ->= [71, 66], [89, 32, 16, 61, 6] ->= [88, 6], [89, 32, 16, 63, 10] ->= [77, 10], [89, 32, 16, 63, 12] ->= [77, 12], [89, 32, 16, 63, 14] ->= [77, 14], [89, 32, 16, 63, 16] ->= [77, 16], [89, 32, 16, 65, 20] ->= [78, 20], [89, 32, 16, 65, 22] ->= [78, 22], [89, 32, 16, 65, 24] ->= [78, 24], [89, 32, 16, 65, 26] ->= [78, 26], [89, 32, 16, 67, 30] ->= [89, 30], [89, 32, 16, 67, 32] ->= [89, 32], [89, 32, 16, 67, 34] ->= [89, 34], [89, 32, 16, 67, 36] ->= [89, 36], [27, 31, 16, 61, 6] ->= [1, 2], [27, 31, 16, 63, 10] ->= [7, 8], [27, 31, 16, 63, 12] ->= [7, 11], [27, 31, 16, 63, 14] ->= [7, 13], [27, 31, 16, 63, 16] ->= [7, 15], [27, 31, 16, 65, 20] ->= [17, 18], [27, 31, 16, 65, 22] ->= [17, 21], [27, 31, 16, 65, 24] ->= [17, 23], [27, 31, 16, 65, 26] ->= [17, 25], [27, 31, 16, 67, 30] ->= [27, 28], [27, 31, 16, 67, 32] ->= [27, 31], [27, 31, 16, 67, 34] ->= [27, 33], [27, 31, 16, 67, 36] ->= [27, 35], [4, 9, 16, 61, 6] ->= [90, 91], [4, 9, 16, 63, 10] ->= [79, 80], [4, 9, 16, 63, 12] ->= [79, 81], [4, 9, 16, 63, 14] ->= [79, 82], [4, 9, 16, 63, 16] ->= [79, 83], [4, 9, 16, 65, 20] ->= [37, 38], [4, 9, 16, 65, 22] ->= [37, 42], [4, 9, 16, 65, 24] ->= [37, 50], [4, 9, 16, 65, 26] ->= [37, 59], [4, 9, 16, 67, 30] ->= [4, 5], [4, 9, 16, 67, 32] ->= [4, 9], [4, 9, 16, 67, 34] ->= [4, 19], [4, 9, 16, 67, 36] ->= [4, 29], [49, 63, 16, 61, 6] ->= [40, 41], [49, 63, 16, 63, 10] ->= [44, 40], [49, 63, 16, 63, 12] ->= [44, 44], [49, 63, 16, 63, 14] ->= [44, 47], [49, 63, 16, 63, 16] ->= [44, 49], [49, 63, 16, 65, 20] ->= [47, 52], [49, 63, 16, 65, 22] ->= [47, 54], [49, 63, 16, 65, 24] ->= [47, 56], [49, 63, 16, 65, 26] ->= [47, 58], [49, 63, 16, 67, 30] ->= [49, 61], [49, 63, 16, 67, 32] ->= [49, 63], [49, 63, 16, 67, 34] ->= [49, 65], [49, 63, 16, 67, 36] ->= [49, 67], [58, 62, 16, 61, 6] ->= [52, 39], [58, 62, 16, 63, 10] ->= [54, 43], [58, 62, 16, 63, 12] ->= [54, 45], [58, 62, 16, 63, 14] ->= [54, 46], [58, 62, 16, 63, 16] ->= [54, 48], [58, 62, 16, 65, 20] ->= [56, 51], [58, 62, 16, 65, 22] ->= [56, 53], [58, 62, 16, 65, 24] ->= [56, 55], [58, 62, 16, 65, 26] ->= [56, 57], [58, 62, 16, 67, 30] ->= [58, 60], [58, 62, 16, 67, 32] ->= [58, 62], [58, 62, 16, 67, 34] ->= [58, 64], [58, 62, 16, 67, 36] ->= [58, 66], [67, 32, 16, 61, 6] ->= [61, 6], [67, 32, 16, 63, 10] ->= [63, 10], [67, 32, 16, 63, 12] ->= [63, 12], [67, 32, 16, 63, 14] ->= [63, 14], [67, 32, 16, 63, 16] ->= [63, 16], [67, 32, 16, 65, 20] ->= [65, 20], [67, 32, 16, 65, 22] ->= [65, 22], [67, 32, 16, 65, 24] ->= [65, 24], [67, 32, 16, 65, 26] ->= [65, 26], [67, 32, 16, 67, 30] ->= [67, 30], [67, 32, 16, 67, 32] ->= [67, 32], [67, 32, 16, 67, 34] ->= [67, 34], [67, 32, 16, 67, 36] ->= [67, 36], [48, 63, 16, 61, 6] ->= [43, 41], [48, 63, 16, 63, 10] ->= [45, 40], [48, 63, 16, 63, 12] ->= [45, 44], [48, 63, 16, 63, 14] ->= [45, 47], [48, 63, 16, 63, 16] ->= [45, 49], [48, 63, 16, 65, 20] ->= [46, 52], [48, 63, 16, 65, 22] ->= [46, 54], [48, 63, 16, 65, 24] ->= [46, 56], [48, 63, 16, 65, 26] ->= [46, 58], [48, 63, 16, 67, 30] ->= [48, 61], [48, 63, 16, 67, 32] ->= [48, 63], [48, 63, 16, 67, 34] ->= [48, 65], [48, 63, 16, 67, 36] ->= [48, 67], [57, 62, 16, 61, 6] ->= [51, 39], [57, 62, 16, 63, 10] ->= [53, 43], [57, 62, 16, 63, 12] ->= [53, 45], [57, 62, 16, 63, 14] ->= [53, 46], [57, 62, 16, 63, 16] ->= [53, 48], [57, 62, 16, 65, 20] ->= [55, 51], [57, 62, 16, 65, 22] ->= [55, 53], [57, 62, 16, 65, 24] ->= [55, 55], [57, 62, 16, 65, 26] ->= [55, 57], [57, 62, 16, 67, 30] ->= [57, 60], [57, 62, 16, 67, 32] ->= [57, 62], [57, 62, 16, 67, 34] ->= [57, 64], [57, 62, 16, 67, 36] ->= [57, 66], [66, 32, 16, 61, 6] ->= [60, 6], [66, 32, 16, 63, 10] ->= [62, 10], [66, 32, 16, 63, 12] ->= [62, 12], [66, 32, 16, 63, 14] ->= [62, 14], [66, 32, 16, 63, 16] ->= [62, 16], [66, 32, 16, 65, 20] ->= [64, 20], [66, 32, 16, 65, 22] ->= [64, 22], [66, 32, 16, 65, 24] ->= [64, 24], [66, 32, 16, 65, 26] ->= [64, 26], [66, 32, 16, 67, 30] ->= [66, 30], [66, 32, 16, 67, 32] ->= [66, 32], [66, 32, 16, 67, 34] ->= [66, 34], [66, 32, 16, 67, 36] ->= [66, 36], [16, 63, 16, 61, 6] ->= [10, 41], [16, 63, 16, 63, 10] ->= [12, 40], [16, 63, 16, 63, 12] ->= [12, 44], [16, 63, 16, 63, 14] ->= [12, 47], [16, 63, 16, 63, 16] ->= [12, 49], [16, 63, 16, 65, 20] ->= [14, 52], [16, 63, 16, 65, 22] ->= [14, 54], [16, 63, 16, 65, 24] ->= [14, 56], [16, 63, 16, 65, 26] ->= [14, 58], [16, 63, 16, 67, 30] ->= [16, 61], [16, 63, 16, 67, 32] ->= [16, 63], [16, 63, 16, 67, 34] ->= [16, 65], [16, 63, 16, 67, 36] ->= [16, 67], [26, 62, 16, 61, 6] ->= [20, 39], [26, 62, 16, 63, 10] ->= [22, 43], [26, 62, 16, 63, 12] ->= [22, 45], [26, 62, 16, 63, 14] ->= [22, 46], [26, 62, 16, 63, 16] ->= [22, 48], [26, 62, 16, 65, 20] ->= [24, 51], [26, 62, 16, 65, 22] ->= [24, 53], [26, 62, 16, 65, 24] ->= [24, 55], [26, 62, 16, 65, 26] ->= [24, 57], [26, 62, 16, 67, 30] ->= [26, 60], [26, 62, 16, 67, 32] ->= [26, 62], [26, 62, 16, 67, 34] ->= [26, 64], [26, 62, 16, 67, 36] ->= [26, 66], [36, 32, 16, 61, 6] ->= [30, 6], [36, 32, 16, 63, 10] ->= [32, 10], [36, 32, 16, 63, 12] ->= [32, 12], [36, 32, 16, 63, 14] ->= [32, 14], [36, 32, 16, 63, 16] ->= [32, 16], [36, 32, 16, 65, 20] ->= [34, 20], [36, 32, 16, 65, 22] ->= [34, 22], [36, 32, 16, 65, 24] ->= [34, 24], [36, 32, 16, 65, 26] ->= [34, 26], [36, 32, 16, 67, 30] ->= [36, 30], [36, 32, 16, 67, 32] ->= [36, 32], [36, 32, 16, 67, 34] ->= [36, 34], [36, 32, 16, 67, 36] ->= [36, 36], [15, 63, 16, 61, 6] ->= [8, 41], [15, 63, 16, 63, 10] ->= [11, 40], [15, 63, 16, 63, 12] ->= [11, 44], [15, 63, 16, 63, 14] ->= [11, 47], [15, 63, 16, 63, 16] ->= [11, 49], [15, 63, 16, 65, 20] ->= [13, 52], [15, 63, 16, 65, 22] ->= [13, 54], [15, 63, 16, 65, 24] ->= [13, 56], [15, 63, 16, 65, 26] ->= [13, 58], [15, 63, 16, 67, 30] ->= [15, 61], [15, 63, 16, 67, 32] ->= [15, 63], [15, 63, 16, 67, 34] ->= [15, 65], [15, 63, 16, 67, 36] ->= [15, 67], [25, 62, 16, 61, 6] ->= [18, 39], [25, 62, 16, 63, 10] ->= [21, 43], [25, 62, 16, 63, 12] ->= [21, 45], [25, 62, 16, 63, 14] ->= [21, 46], [25, 62, 16, 63, 16] ->= [21, 48], [25, 62, 16, 65, 20] ->= [23, 51], [25, 62, 16, 65, 22] ->= [23, 53], [25, 62, 16, 65, 24] ->= [23, 55], [25, 62, 16, 65, 26] ->= [23, 57], [25, 62, 16, 67, 30] ->= [25, 60], [25, 62, 16, 67, 32] ->= [25, 62], [25, 62, 16, 67, 34] ->= [25, 64], [25, 62, 16, 67, 36] ->= [25, 66], [35, 32, 16, 61, 6] ->= [28, 6], [35, 32, 16, 63, 10] ->= [31, 10], [35, 32, 16, 63, 12] ->= [31, 12], [35, 32, 16, 63, 14] ->= [31, 14], [35, 32, 16, 63, 16] ->= [31, 16], [35, 32, 16, 65, 20] ->= [33, 20], [35, 32, 16, 65, 22] ->= [33, 22], [35, 32, 16, 65, 24] ->= [33, 24], [35, 32, 16, 65, 26] ->= [33, 26], [35, 32, 16, 67, 30] ->= [35, 30], [35, 32, 16, 67, 32] ->= [35, 32], [35, 32, 16, 67, 34] ->= [35, 34], [35, 32, 16, 67, 36] ->= [35, 36], [83, 63, 16, 61, 6] ->= [80, 41], [83, 63, 16, 63, 10] ->= [81, 40], [83, 63, 16, 63, 12] ->= [81, 44], [83, 63, 16, 63, 14] ->= [81, 47], [83, 63, 16, 63, 16] ->= [81, 49], [83, 63, 16, 65, 20] ->= [82, 52], [83, 63, 16, 65, 22] ->= [82, 54], [83, 63, 16, 65, 24] ->= [82, 56], [83, 63, 16, 65, 26] ->= [82, 58], [83, 63, 16, 67, 30] ->= [83, 61], [83, 63, 16, 67, 32] ->= [83, 63], [83, 63, 16, 67, 34] ->= [83, 65], [83, 63, 16, 67, 36] ->= [83, 67], [59, 62, 16, 61, 6] ->= [38, 39], [59, 62, 16, 63, 10] ->= [42, 43], [59, 62, 16, 63, 12] ->= [42, 45], [59, 62, 16, 63, 14] ->= [42, 46], [59, 62, 16, 63, 16] ->= [42, 48], [59, 62, 16, 65, 20] ->= [50, 51], [59, 62, 16, 65, 22] ->= [50, 53], [59, 62, 16, 65, 24] ->= [50, 55], [59, 62, 16, 65, 26] ->= [50, 57], [59, 62, 16, 67, 30] ->= [59, 60], [59, 62, 16, 67, 32] ->= [59, 62], [59, 62, 16, 67, 34] ->= [59, 64], [59, 62, 16, 67, 36] ->= [59, 66], [29, 32, 16, 61, 6] ->= [5, 6], [29, 32, 16, 63, 10] ->= [9, 10], [29, 32, 16, 63, 12] ->= [9, 12], [29, 32, 16, 63, 14] ->= [9, 14], [29, 32, 16, 63, 16] ->= [9, 16], [29, 32, 16, 65, 20] ->= [19, 20], [29, 32, 16, 65, 22] ->= [19, 22], [29, 32, 16, 65, 24] ->= [19, 24], [29, 32, 16, 65, 26] ->= [19, 26], [29, 32, 16, 67, 30] ->= [29, 30], [29, 32, 16, 67, 32] ->= [29, 32], [29, 32, 16, 67, 34] ->= [29, 34], [29, 32, 16, 67, 36] ->= [29, 36], [70, 76, 51, 39] ->= [84, 77, 12, 44, 40, 41], [70, 76, 53, 43] ->= [84, 77, 12, 44, 44, 40], [70, 76, 53, 45] ->= [84, 77, 12, 44, 44, 44], [70, 76, 53, 46] ->= [84, 77, 12, 44, 44, 47], [70, 76, 53, 48] ->= [84, 77, 12, 44, 44, 49], [70, 76, 55, 51] ->= [84, 77, 12, 44, 47, 52], [70, 76, 55, 53] ->= [84, 77, 12, 44, 47, 54], [70, 76, 55, 55] ->= [84, 77, 12, 44, 47, 56], [70, 76, 55, 57] ->= [84, 77, 12, 44, 47, 58], [70, 76, 57, 60] ->= [84, 77, 12, 44, 49, 61], [70, 76, 57, 62] ->= [84, 77, 12, 44, 49, 63], [70, 76, 57, 64] ->= [84, 77, 12, 44, 49, 65], [70, 76, 57, 66] ->= [84, 77, 12, 44, 49, 67], [73, 56, 51, 39] ->= [74, 63, 12, 44, 40, 41], [73, 56, 53, 43] ->= [74, 63, 12, 44, 44, 40], [73, 56, 53, 45] ->= [74, 63, 12, 44, 44, 44], [73, 56, 53, 46] ->= [74, 63, 12, 44, 44, 47], [73, 56, 53, 48] ->= [74, 63, 12, 44, 44, 49], [73, 56, 55, 51] ->= [74, 63, 12, 44, 47, 52], [73, 56, 55, 53] ->= [74, 63, 12, 44, 47, 54], [73, 56, 55, 55] ->= [74, 63, 12, 44, 47, 56], [73, 56, 55, 57] ->= [74, 63, 12, 44, 47, 58], [73, 56, 57, 60] ->= [74, 63, 12, 44, 49, 61], [73, 56, 57, 62] ->= [74, 63, 12, 44, 49, 63], [73, 56, 57, 64] ->= [74, 63, 12, 44, 49, 65], [73, 56, 57, 66] ->= [74, 63, 12, 44, 49, 67], [76, 55, 51, 39] ->= [71, 62, 12, 44, 40, 41], [76, 55, 53, 43] ->= [71, 62, 12, 44, 44, 40], [76, 55, 53, 45] ->= [71, 62, 12, 44, 44, 44], [76, 55, 53, 46] ->= [71, 62, 12, 44, 44, 47], [76, 55, 53, 48] ->= [71, 62, 12, 44, 44, 49], [76, 55, 55, 51] ->= [71, 62, 12, 44, 47, 52], [76, 55, 55, 53] ->= [71, 62, 12, 44, 47, 54], [76, 55, 55, 55] ->= [71, 62, 12, 44, 47, 56], [76, 55, 55, 57] ->= [71, 62, 12, 44, 47, 58], [76, 55, 57, 60] ->= [71, 62, 12, 44, 49, 61], [76, 55, 57, 62] ->= [71, 62, 12, 44, 49, 63], [76, 55, 57, 64] ->= [71, 62, 12, 44, 49, 65], [76, 55, 57, 66] ->= [71, 62, 12, 44, 49, 67], [78, 24, 51, 39] ->= [89, 32, 12, 44, 40, 41], [78, 24, 53, 43] ->= [89, 32, 12, 44, 44, 40], [78, 24, 53, 45] ->= [89, 32, 12, 44, 44, 44], [78, 24, 53, 46] ->= [89, 32, 12, 44, 44, 47], [78, 24, 53, 48] ->= [89, 32, 12, 44, 44, 49], [78, 24, 55, 51] ->= [89, 32, 12, 44, 47, 52], [78, 24, 55, 53] ->= [89, 32, 12, 44, 47, 54], [78, 24, 55, 55] ->= [89, 32, 12, 44, 47, 56], [78, 24, 55, 57] ->= [89, 32, 12, 44, 47, 58], [78, 24, 57, 60] ->= [89, 32, 12, 44, 49, 61], [78, 24, 57, 62] ->= [89, 32, 12, 44, 49, 63], [78, 24, 57, 64] ->= [89, 32, 12, 44, 49, 65], [78, 24, 57, 66] ->= [89, 32, 12, 44, 49, 67], [17, 23, 51, 39] ->= [27, 31, 12, 44, 40, 41], [17, 23, 53, 43] ->= [27, 31, 12, 44, 44, 40], [17, 23, 53, 45] ->= [27, 31, 12, 44, 44, 44], [17, 23, 53, 46] ->= [27, 31, 12, 44, 44, 47], [17, 23, 53, 48] ->= [27, 31, 12, 44, 44, 49], [17, 23, 55, 51] ->= [27, 31, 12, 44, 47, 52], [17, 23, 55, 53] ->= [27, 31, 12, 44, 47, 54], [17, 23, 55, 55] ->= [27, 31, 12, 44, 47, 56], [17, 23, 55, 57] ->= [27, 31, 12, 44, 47, 58], [17, 23, 57, 60] ->= [27, 31, 12, 44, 49, 61], [17, 23, 57, 62] ->= [27, 31, 12, 44, 49, 63], [17, 23, 57, 64] ->= [27, 31, 12, 44, 49, 65], [17, 23, 57, 66] ->= [27, 31, 12, 44, 49, 67], [37, 50, 51, 39] ->= [4, 9, 12, 44, 40, 41], [37, 50, 53, 43] ->= [4, 9, 12, 44, 44, 40], [37, 50, 53, 45] ->= [4, 9, 12, 44, 44, 44], [37, 50, 53, 46] ->= [4, 9, 12, 44, 44, 47], [37, 50, 53, 48] ->= [4, 9, 12, 44, 44, 49], [37, 50, 55, 51] ->= [4, 9, 12, 44, 47, 52], [37, 50, 55, 53] ->= [4, 9, 12, 44, 47, 54], [37, 50, 55, 55] ->= [4, 9, 12, 44, 47, 56], [37, 50, 55, 57] ->= [4, 9, 12, 44, 47, 58], [37, 50, 57, 60] ->= [4, 9, 12, 44, 49, 61], [37, 50, 57, 62] ->= [4, 9, 12, 44, 49, 63], [37, 50, 57, 64] ->= [4, 9, 12, 44, 49, 65], [37, 50, 57, 66] ->= [4, 9, 12, 44, 49, 67], [47, 56, 51, 39] ->= [49, 63, 12, 44, 40, 41], [47, 56, 53, 43] ->= [49, 63, 12, 44, 44, 40], [47, 56, 53, 45] ->= [49, 63, 12, 44, 44, 44], [47, 56, 53, 46] ->= [49, 63, 12, 44, 44, 47], [47, 56, 53, 48] ->= [49, 63, 12, 44, 44, 49], [47, 56, 55, 51] ->= [49, 63, 12, 44, 47, 52], [47, 56, 55, 53] ->= [49, 63, 12, 44, 47, 54], [47, 56, 55, 55] ->= [49, 63, 12, 44, 47, 56], [47, 56, 55, 57] ->= [49, 63, 12, 44, 47, 58], [47, 56, 57, 60] ->= [49, 63, 12, 44, 49, 61], [47, 56, 57, 62] ->= [49, 63, 12, 44, 49, 63], [47, 56, 57, 64] ->= [49, 63, 12, 44, 49, 65], [47, 56, 57, 66] ->= [49, 63, 12, 44, 49, 67], [56, 55, 51, 39] ->= [58, 62, 12, 44, 40, 41], [56, 55, 53, 43] ->= [58, 62, 12, 44, 44, 40], [56, 55, 53, 45] ->= [58, 62, 12, 44, 44, 44], [56, 55, 53, 46] ->= [58, 62, 12, 44, 44, 47], [56, 55, 53, 48] ->= [58, 62, 12, 44, 44, 49], [56, 55, 55, 51] ->= [58, 62, 12, 44, 47, 52], [56, 55, 55, 53] ->= [58, 62, 12, 44, 47, 54], [56, 55, 55, 55] ->= [58, 62, 12, 44, 47, 56], [56, 55, 55, 57] ->= [58, 62, 12, 44, 47, 58], [56, 55, 57, 60] ->= [58, 62, 12, 44, 49, 61], [56, 55, 57, 62] ->= [58, 62, 12, 44, 49, 63], [56, 55, 57, 64] ->= [58, 62, 12, 44, 49, 65], [56, 55, 57, 66] ->= [58, 62, 12, 44, 49, 67], [65, 24, 51, 39] ->= [67, 32, 12, 44, 40, 41], [65, 24, 53, 43] ->= [67, 32, 12, 44, 44, 40], [65, 24, 53, 45] ->= [67, 32, 12, 44, 44, 44], [65, 24, 53, 46] ->= [67, 32, 12, 44, 44, 47], [65, 24, 53, 48] ->= [67, 32, 12, 44, 44, 49], [65, 24, 55, 51] ->= [67, 32, 12, 44, 47, 52], [65, 24, 55, 53] ->= [67, 32, 12, 44, 47, 54], [65, 24, 55, 55] ->= [67, 32, 12, 44, 47, 56], [65, 24, 55, 57] ->= [67, 32, 12, 44, 47, 58], [65, 24, 57, 60] ->= [67, 32, 12, 44, 49, 61], [65, 24, 57, 62] ->= [67, 32, 12, 44, 49, 63], [65, 24, 57, 64] ->= [67, 32, 12, 44, 49, 65], [65, 24, 57, 66] ->= [67, 32, 12, 44, 49, 67], [46, 56, 51, 39] ->= [48, 63, 12, 44, 40, 41], [46, 56, 53, 43] ->= [48, 63, 12, 44, 44, 40], [46, 56, 53, 45] ->= [48, 63, 12, 44, 44, 44], [46, 56, 53, 46] ->= [48, 63, 12, 44, 44, 47], [46, 56, 53, 48] ->= [48, 63, 12, 44, 44, 49], [46, 56, 55, 51] ->= [48, 63, 12, 44, 47, 52], [46, 56, 55, 53] ->= [48, 63, 12, 44, 47, 54], [46, 56, 55, 55] ->= [48, 63, 12, 44, 47, 56], [46, 56, 55, 57] ->= [48, 63, 12, 44, 47, 58], [46, 56, 57, 60] ->= [48, 63, 12, 44, 49, 61], [46, 56, 57, 62] ->= [48, 63, 12, 44, 49, 63], [46, 56, 57, 64] ->= [48, 63, 12, 44, 49, 65], [46, 56, 57, 66] ->= [48, 63, 12, 44, 49, 67], [55, 55, 51, 39] ->= [57, 62, 12, 44, 40, 41], [55, 55, 53, 43] ->= [57, 62, 12, 44, 44, 40], [55, 55, 53, 45] ->= [57, 62, 12, 44, 44, 44], [55, 55, 53, 46] ->= [57, 62, 12, 44, 44, 47], [55, 55, 53, 48] ->= [57, 62, 12, 44, 44, 49], [55, 55, 55, 51] ->= [57, 62, 12, 44, 47, 52], [55, 55, 55, 53] ->= [57, 62, 12, 44, 47, 54], [55, 55, 55, 55] ->= [57, 62, 12, 44, 47, 56], [55, 55, 55, 57] ->= [57, 62, 12, 44, 47, 58], [55, 55, 57, 60] ->= [57, 62, 12, 44, 49, 61], [55, 55, 57, 62] ->= [57, 62, 12, 44, 49, 63], [55, 55, 57, 64] ->= [57, 62, 12, 44, 49, 65], [55, 55, 57, 66] ->= [57, 62, 12, 44, 49, 67], [64, 24, 51, 39] ->= [66, 32, 12, 44, 40, 41], [64, 24, 53, 43] ->= [66, 32, 12, 44, 44, 40], [64, 24, 53, 45] ->= [66, 32, 12, 44, 44, 44], [64, 24, 53, 46] ->= [66, 32, 12, 44, 44, 47], [64, 24, 53, 48] ->= [66, 32, 12, 44, 44, 49], [64, 24, 55, 51] ->= [66, 32, 12, 44, 47, 52], [64, 24, 55, 53] ->= [66, 32, 12, 44, 47, 54], [64, 24, 55, 55] ->= [66, 32, 12, 44, 47, 56], [64, 24, 55, 57] ->= [66, 32, 12, 44, 47, 58], [64, 24, 57, 60] ->= [66, 32, 12, 44, 49, 61], [64, 24, 57, 62] ->= [66, 32, 12, 44, 49, 63], [64, 24, 57, 64] ->= [66, 32, 12, 44, 49, 65], [64, 24, 57, 66] ->= [66, 32, 12, 44, 49, 67], [14, 56, 51, 39] ->= [16, 63, 12, 44, 40, 41], [14, 56, 53, 43] ->= [16, 63, 12, 44, 44, 40], [14, 56, 53, 45] ->= [16, 63, 12, 44, 44, 44], [14, 56, 53, 46] ->= [16, 63, 12, 44, 44, 47], [14, 56, 53, 48] ->= [16, 63, 12, 44, 44, 49], [14, 56, 55, 51] ->= [16, 63, 12, 44, 47, 52], [14, 56, 55, 53] ->= [16, 63, 12, 44, 47, 54], [14, 56, 55, 55] ->= [16, 63, 12, 44, 47, 56], [14, 56, 55, 57] ->= [16, 63, 12, 44, 47, 58], [14, 56, 57, 60] ->= [16, 63, 12, 44, 49, 61], [14, 56, 57, 62] ->= [16, 63, 12, 44, 49, 63], [14, 56, 57, 64] ->= [16, 63, 12, 44, 49, 65], [14, 56, 57, 66] ->= [16, 63, 12, 44, 49, 67], [24, 55, 51, 39] ->= [26, 62, 12, 44, 40, 41], [24, 55, 53, 43] ->= [26, 62, 12, 44, 44, 40], [24, 55, 53, 45] ->= [26, 62, 12, 44, 44, 44], [24, 55, 53, 46] ->= [26, 62, 12, 44, 44, 47], [24, 55, 53, 48] ->= [26, 62, 12, 44, 44, 49], [24, 55, 55, 51] ->= [26, 62, 12, 44, 47, 52], [24, 55, 55, 53] ->= [26, 62, 12, 44, 47, 54], [24, 55, 55, 55] ->= [26, 62, 12, 44, 47, 56], [24, 55, 55, 57] ->= [26, 62, 12, 44, 47, 58], [24, 55, 57, 60] ->= [26, 62, 12, 44, 49, 61], [24, 55, 57, 62] ->= [26, 62, 12, 44, 49, 63], [24, 55, 57, 64] ->= [26, 62, 12, 44, 49, 65], [24, 55, 57, 66] ->= [26, 62, 12, 44, 49, 67], [34, 24, 51, 39] ->= [36, 32, 12, 44, 40, 41], [34, 24, 53, 43] ->= [36, 32, 12, 44, 44, 40], [34, 24, 53, 45] ->= [36, 32, 12, 44, 44, 44], [34, 24, 53, 46] ->= [36, 32, 12, 44, 44, 47], [34, 24, 53, 48] ->= [36, 32, 12, 44, 44, 49], [34, 24, 55, 51] ->= [36, 32, 12, 44, 47, 52], [34, 24, 55, 53] ->= [36, 32, 12, 44, 47, 54], [34, 24, 55, 55] ->= [36, 32, 12, 44, 47, 56], [34, 24, 55, 57] ->= [36, 32, 12, 44, 47, 58], [34, 24, 57, 60] ->= [36, 32, 12, 44, 49, 61], [34, 24, 57, 62] ->= [36, 32, 12, 44, 49, 63], [34, 24, 57, 64] ->= [36, 32, 12, 44, 49, 65], [34, 24, 57, 66] ->= [36, 32, 12, 44, 49, 67], [13, 56, 51, 39] ->= [15, 63, 12, 44, 40, 41], [13, 56, 53, 43] ->= [15, 63, 12, 44, 44, 40], [13, 56, 53, 45] ->= [15, 63, 12, 44, 44, 44], [13, 56, 53, 46] ->= [15, 63, 12, 44, 44, 47], [13, 56, 53, 48] ->= [15, 63, 12, 44, 44, 49], [13, 56, 55, 51] ->= [15, 63, 12, 44, 47, 52], [13, 56, 55, 53] ->= [15, 63, 12, 44, 47, 54], [13, 56, 55, 55] ->= [15, 63, 12, 44, 47, 56], [13, 56, 55, 57] ->= [15, 63, 12, 44, 47, 58], [13, 56, 57, 60] ->= [15, 63, 12, 44, 49, 61], [13, 56, 57, 62] ->= [15, 63, 12, 44, 49, 63], [13, 56, 57, 64] ->= [15, 63, 12, 44, 49, 65], [13, 56, 57, 66] ->= [15, 63, 12, 44, 49, 67], [23, 55, 51, 39] ->= [25, 62, 12, 44, 40, 41], [23, 55, 53, 43] ->= [25, 62, 12, 44, 44, 40], [23, 55, 53, 45] ->= [25, 62, 12, 44, 44, 44], [23, 55, 53, 46] ->= [25, 62, 12, 44, 44, 47], [23, 55, 53, 48] ->= [25, 62, 12, 44, 44, 49], [23, 55, 55, 51] ->= [25, 62, 12, 44, 47, 52], [23, 55, 55, 53] ->= [25, 62, 12, 44, 47, 54], [23, 55, 55, 55] ->= [25, 62, 12, 44, 47, 56], [23, 55, 55, 57] ->= [25, 62, 12, 44, 47, 58], [23, 55, 57, 60] ->= [25, 62, 12, 44, 49, 61], [23, 55, 57, 62] ->= [25, 62, 12, 44, 49, 63], [23, 55, 57, 64] ->= [25, 62, 12, 44, 49, 65], [23, 55, 57, 66] ->= [25, 62, 12, 44, 49, 67], [33, 24, 51, 39] ->= [35, 32, 12, 44, 40, 41], [33, 24, 53, 43] ->= [35, 32, 12, 44, 44, 40], [33, 24, 53, 45] ->= [35, 32, 12, 44, 44, 44], [33, 24, 53, 46] ->= [35, 32, 12, 44, 44, 47], [33, 24, 53, 48] ->= [35, 32, 12, 44, 44, 49], [33, 24, 55, 51] ->= [35, 32, 12, 44, 47, 52], [33, 24, 55, 53] ->= [35, 32, 12, 44, 47, 54], [33, 24, 55, 55] ->= [35, 32, 12, 44, 47, 56], [33, 24, 55, 57] ->= [35, 32, 12, 44, 47, 58], [33, 24, 57, 60] ->= [35, 32, 12, 44, 49, 61], [33, 24, 57, 62] ->= [35, 32, 12, 44, 49, 63], [33, 24, 57, 64] ->= [35, 32, 12, 44, 49, 65], [33, 24, 57, 66] ->= [35, 32, 12, 44, 49, 67], [82, 56, 51, 39] ->= [83, 63, 12, 44, 40, 41], [82, 56, 53, 43] ->= [83, 63, 12, 44, 44, 40], [82, 56, 53, 45] ->= [83, 63, 12, 44, 44, 44], [82, 56, 53, 46] ->= [83, 63, 12, 44, 44, 47], [82, 56, 53, 48] ->= [83, 63, 12, 44, 44, 49], [82, 56, 55, 51] ->= [83, 63, 12, 44, 47, 52], [82, 56, 55, 53] ->= [83, 63, 12, 44, 47, 54], [82, 56, 55, 55] ->= [83, 63, 12, 44, 47, 56], [82, 56, 55, 57] ->= [83, 63, 12, 44, 47, 58], [82, 56, 57, 60] ->= [83, 63, 12, 44, 49, 61], [82, 56, 57, 62] ->= [83, 63, 12, 44, 49, 63], [82, 56, 57, 64] ->= [83, 63, 12, 44, 49, 65], [82, 56, 57, 66] ->= [83, 63, 12, 44, 49, 67], [50, 55, 51, 39] ->= [59, 62, 12, 44, 40, 41], [50, 55, 53, 43] ->= [59, 62, 12, 44, 44, 40], [50, 55, 53, 45] ->= [59, 62, 12, 44, 44, 44], [50, 55, 53, 46] ->= [59, 62, 12, 44, 44, 47], [50, 55, 53, 48] ->= [59, 62, 12, 44, 44, 49], [50, 55, 55, 51] ->= [59, 62, 12, 44, 47, 52], [50, 55, 55, 53] ->= [59, 62, 12, 44, 47, 54], [50, 55, 55, 55] ->= [59, 62, 12, 44, 47, 56], [50, 55, 55, 57] ->= [59, 62, 12, 44, 47, 58], [50, 55, 57, 60] ->= [59, 62, 12, 44, 49, 61], [50, 55, 57, 62] ->= [59, 62, 12, 44, 49, 63], [50, 55, 57, 64] ->= [59, 62, 12, 44, 49, 65], [50, 55, 57, 66] ->= [59, 62, 12, 44, 49, 67], [19, 24, 51, 39] ->= [29, 32, 12, 44, 40, 41], [19, 24, 53, 43] ->= [29, 32, 12, 44, 44, 40], [19, 24, 53, 45] ->= [29, 32, 12, 44, 44, 44], [19, 24, 53, 46] ->= [29, 32, 12, 44, 44, 47], [19, 24, 53, 48] ->= [29, 32, 12, 44, 44, 49], [19, 24, 55, 51] ->= [29, 32, 12, 44, 47, 52], [19, 24, 55, 53] ->= [29, 32, 12, 44, 47, 54], [19, 24, 55, 55] ->= [29, 32, 12, 44, 47, 56], [19, 24, 55, 57] ->= [29, 32, 12, 44, 47, 58], [19, 24, 57, 60] ->= [29, 32, 12, 44, 49, 61], [19, 24, 57, 62] ->= [29, 32, 12, 44, 49, 63], [19, 24, 57, 64] ->= [29, 32, 12, 44, 49, 65], [19, 24, 57, 66] ->= [29, 32, 12, 44, 49, 67]) 96.91/24.51 reason
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