Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Relative pair #487082168
details
property
value
status
complete
benchmark
54097.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n137.star.cs.uiowa.edu
space
ICFP_2010_relative
run statistics
property
value
solver
MultumNonMulta 20 June 2020 20G sparse
configuration
default
runtime (wallclock)
5.11233 seconds
cpu usage
17.8
user time
16.46
system time
1.34
max virtual memory
2.5574132E7
max residence set size
2998168.0
stage attributes
key
value
starexec-result
YES
output
YES After renaming modulo { 0->0, 1->1, 2->2, 3->3, 4->4, 5->5 }, it remains to prove termination of the 20-rule system { 0 0 1 1 1 1 2 2 3 4 1 3 0 3 4 2 1 0 3 0 1 4 5 3 3 4 1 5 1 0 1 1 0 5 0 5 3 4 1 1 3 2 3 3 3 0 3 2 1 0 0 2 2 1 4 0 4 1 0 4 0 1 4 5 0 0 0 1 4 3 5 5 2 2 5 1 3 2 3 4 1 4 3 2 1 -> 2 5 4 2 4 1 2 0 1 3 0 3 4 0 3 0 1 0 0 5 0 2 2 5 0 2 1 0 2 2 2 3 0 1 3 0 1 4 3 0 4 2 4 4 5 3 2 2 1 3 0 0 0 4 1 1 0 2 3 1 4 0 2 5 5 5 4 3 5 0 0 0 1 2 2 4 5 1 5 4 1 0 4 5 3 4 4 5 2 4 5 4 2 3 0 0 0 3 1 3 , 0 0 1 1 2 4 3 5 1 3 5 3 4 3 5 3 2 4 0 4 0 4 3 2 1 4 3 2 1 4 1 1 1 1 0 1 4 3 2 4 0 2 5 4 4 0 0 4 4 0 4 5 0 4 1 3 1 4 3 0 4 1 2 4 1 0 1 0 2 4 3 0 0 0 4 4 3 2 4 3 1 0 4 0 4 -> 1 2 5 1 2 1 2 5 5 1 0 5 1 2 5 4 3 0 0 5 2 0 5 5 1 5 5 3 2 4 1 2 1 4 3 3 0 4 5 2 1 4 5 0 3 2 4 2 3 0 2 3 1 1 1 0 3 0 1 2 0 3 3 1 5 4 5 0 5 5 4 2 1 5 5 2 5 2 2 3 5 3 2 1 3 3 3 4 5 4 5 4 2 0 0 0 4 3 1 4 , 0 1 4 0 4 3 1 5 4 0 4 1 2 5 4 1 4 5 1 5 2 0 4 3 3 1 0 5 4 1 0 4 1 1 4 4 2 1 5 3 0 2 4 0 2 2 1 3 0 4 5 2 4 3 3 1 2 4 3 3 5 0 0 5 2 5 4 1 1 2 2 5 2 0 1 3 4 4 0 4 3 4 4 2 0 -> 2 1 0 1 3 5 3 3 1 2 5 2 0 1 2 1 1 3 5 4 4 0 1 0 2 1 1 2 2 5 5 4 1 1 3 0 2 3 0 5 1 3 1 5 1 3 2 1 5 5 1 0 3 5 0 2 5 5 5 4 5 5 4 2 0 1 5 2 2 5 5 5 3 2 0 3 2 1 3 1 3 0 1 5 5 3 5 2 5 4 1 5 5 4 3 3 1 5 4 1 , 0 2 3 5 1 5 4 5 1 0 3 1 3 3 2 0 0 1 5 3 3 2 2 1 2 0 4 0 3 4 1 3 2 4 0 5 2 4 3 3 1 4 2 1 3 1 0 0 5 2 2 0 2 4 3 5 4 5 3 1 3 3 3 3 3 3 5 1 4 1 5 2 0 0 1 0 1 5 0 2 1 2 1 2 3 -> 5 5 1 5 5 5 0 0 2 4 2 5 1 5 4 3 0 2 5 2 5 2 5 2 1 1 3 2 5 5 5 5 4 2 2 4 0 5 3 3 2 2 0 5 4 3 2 3 5 4 1 1 1 1 0 4 0 1 3 5 4 3 0 2 0 5 2 1 2 0 3 4 1 3 0 3 5 0 3 3 5 0 1 1 0 0 0 4 1 5 2 3 5 0 5 2 0 4 1 3 , 0 3 2 1 4 3 0 3 1 2 1 0 3 1 2 3 3 1 2 1 2 2 1 5 1 2 0 5 0 5 2 4 2 1 2 2 5 1 2 2 3 3 4 0 0 1 5 0 1 5 1 2 1 4 1 1 3 1 3 2 2 5 5 4 2 1 1 0 2 1 4 5 3 0 3 2 1 4 0 2 5 2 0 2 0 -> 0 5 1 3 0 0 3 4 4 2 1 3 5 0 2 0 3 1 3 5 5 3 4 0 2 0 3 1 4 5 5 1 4 5 2 2 0 1 2 0 0 5 2 5 5 0 3 1 3 1 4 3 4 3 3 2 1 1 5 1 5 4 2 0 3 3 2 0 2 2 5 0 2 2 4 1 0 0 4 5 5 5 1 5 5 4 0 5 2 4 2 0 4 5 5 4 3 5 0 0 , 0 4 2 1 3 1 1 1 0 3 3 3 3 2 0 4 4 5 4 5 0 4 1 3 5 1 1 3 5 3 4 1 5 5 2 2 3 5 1 3 2 1 0 4 1 2 3 3 3 0 3 0 1 1 1 0 0 3 1 4 0 4 2 3 5 4 0 2 4 5 0 1 2 5 5 0 1 1 1 5 2 2 1 2 0 -> 3 1 5 4 2 2 0 5 1 3 5 2 3 3 2 4 2 5 0 2 5 4 5 3 5 2 3 0 2 5 3 5 1 5 5 1 4 1 2 1 2 5 5 3 0 5 0 4 3 0 2 0 2 0 1 1 5 4 2 5 5 0 5 4 0 3 4 1 5 5 4 0 0 4 4 3 1 5 0 0 3 1 3 0 4 4 4 2 4 5 3 5 5 5 5 3 2 5 0 2 , 1 0 0 5 1 3 4 5 2 5 3 4 3 2 0 5 3 4 3 2 1 1 2 2 1 4 1 1 4 3 0 4 2 3 4 1 3 0 0 0 4 5 5 2 0 0 1 2 1 1 3 4 2 1 2 2 4 4 1 5 1 2 0 4 5 5 2 2 3 2 4 5 1 0 4 0 2 4 1 4 4 3 5 3 4 -> 4 3 1 3 5 1 2 5 4 2 3 0 3 1 2 3 5 0 0 5 4 5 0 4 2 0 0 0 5 4 4 0 1 2 5 4 3 2 3 2 5 4 2 3 5 1 3 4 5 3 4 2 1 1 0 4 0 0 5 2 1 4 2 3 1 2 5 4 3 0 0 5 3 3 4 5 0 3 1 4 3 4 0 1 0 5 1 5 0 5 2 4 3 1 4 0 5 5 5 5 , 1 1 3 3 3 3 2 4 4 4 2 3 1 4 2 2 4 1 1 0 5 0 2 1 1 1 4 2 2 2 2 4 3 4 4 1 4 5 5 1 3 3 3 3 5 5 2 3 3 3 4 0 4 1 3 1 4 0 1 2 2 5 0 4 3 2 3 3 3 1 1 1 4 4 1 4 3 1 2 2 0 4 3 5 3 -> 0 4 2 4 1 0 5 0 4 5 5 4 0 0 4 4 2 4 2 2 0 1 5 5 3 0 5 1 5 4 3 0 0 1 5 0 2 5 2 4 4 2 0 3 0 4 4 1 3 3 5 2 0 5 2 5 0 5 0 2 0 3 3 0 0 2 1 4 2 0 4 0 3 5 1 1 4 0 2 4 2 0 4 3 1 2 0 4 0 3 1 1 5 0 3 0 2 2 3 5 , 2 3 0 4 0 2 4 5 4 0 4 4 4 0 2 2 3 1 1 1 3 1 4 4 1 2 1 1 3 0 0 5 2 2 4 5 4 2 0 4 5 0 2 5 0 4 4 4 2 0 0 4 0 4 1 0 4 4 1 3 0 3 1 4 1 4 2 1 2 1 0 0 4 1 0 2 0 1 0 1 2 2 1 0 3 -> 5 4 3 0 4 4 0 5 4 0 0 0 1 2 5 5 4 4 1 0 4 2 3 1 3 5 3 5 5 0 1 3 2 0 5 1 1 3 0 5 1 5 4 3 4 2 3 3 1 5 0 2 5 2 3 0 2 1 5 1 5 2 1 5 0 0 3 5 2 2 2 3 5 5 4 2 2 2 3 5 1 0 3 4 0 2 0 1 1 1 5 5 1 5 1 0 0 2 5 2 , 2 3 4 0 4 2 1 4 4 0 2 1 1 0 4 2 4 3 2 0 1 0 5 4 1 4 5 0 0 1 5 1 4 1 2 2 2 0 2 3 0 1 2 5 3 3 2 3 1 5 2 1 2 0 2 3 5 3 3 1 5 0 1 2 5 1 3 0 0 5 1 2 0 1 1 1 4 1 1 0 0 0 3 3 4 -> 2 3 0 1 5 5 4 5 2 4 2 0 1 4 0 5 4 3 3 5 5 1 4 0 1 2 5 1 0 2 5 2 2 4 0 1 5 5 2 2 0 5 2 1 1 0 0 0 0 3 5 0 1 5 5 4 3 1 4 0 2 4 1 4 0 1 4 2 5 0 5 2 4 0 2 0 3 3 0 5 2 3 4 3 5 1 5 1 2 5 5 5 0 3 3 0 1 3 0 5 , 2 4 0 4 1 4 3 2 0 3 2 0 3 4 4 4 2 1 3 3 0 4 5 3 0 4 5 4 0 0 2 1 3 4 4 0 0 3 4 1 4 4 2 5 1 2 4 0 1 1 3 0 1 4 5 0 5 0 4 4 0 3 1 4 3 3 2 1 5 2 1 1 0 2 0 5 5 3 2 0 4 1 3 3 3 -> 3 0 4 2 4 4 5 3 5 2 5 0 3 3 5 2 5 4 2 4 0 3 3 2 4 2 4 0 0 5 5 5 4 0 0 4 2 5 3 0 0 4 5 0 3 4 0 2 4 0 5 1 3 0 0 3 0 4 0 0 5 2 4 1 3 1 3 4 0 3 4 2 4 0 1 0 3 0 2 5 4 3 3 5 3 0 1 5 4 2 5 3 1 4 4 5 5 2 3 0 , 2 4 5 3 1 1 0 2 0 1 1 2 0 5 0 0 0 0 0 4 5 2 3 2 3 4 4 0 4 4 4 1 0 1 5 1 4 0 1 1 4 2 2 1 3 5 0 1 5 2 0 2 2 1 2 1 2 4 0 4 0 5 4 3 2 1 0 4 1 0 4 2 0 5 2 1 1 5 1 4 4 5 4 2 3 -> 3 3 5 5 5 0 5 2 2 0 3 0 5 5 4 5 1 3 4 0 3 5 4 5 2 5 0 2 5 1 3 4 1 0 3 5 3 0 2 5 3 4 0 2 0 2 2 5 2 5 5 5 5 1 3 4 2 1 3 3 5 4 0 5 4 2 0 3 4 1 3 2 1 5 3 3 0 3 2 1 1 3 5 1 5 1 4 5 5 2 3 3 4 4 3 0 5 1 1 2 , 3 4 2 2 1 2 1 2 1 3 2 4 4 5 4 1 1 5 0 5 4 1 4 3 4 1 4 2 4 4 4 1 2 1 1 4 1 0 0 3 0 4 1 4 4 1 1 0 1 2 1 5 1 1 0 2 4 2 4 5 4 1 2 5 3 3 1 4 3 1 2 0 1 0 0 5 3 0 4 5 0 4 0 0 4 -> 3 0 4 0 2 5 3 4 1 3 5 5 5 3 5 4 4 3 0 2 1 0 2 4 1 2 0 2 2 0 1 3 1 1 4 1 3 1 1 4 4 5 1 5 2 1 1 3 0 1 5 1 5 0 1 5 4 5 0 1 1 3 1 2 0 3 0 5 5 5 4 0 4 1 0 1 2 4 5 0 5 4 0 0 0 4 4 3 5 1 5 5 5 4 4 0 0 5 0 1 , 4 0 3 4 4 2 4 2 2 2 1 1 4 2 2 0 1 4 2 1 4 1 1 0 2 5 1 2 5 0 5 0 1 3 1 4 0 1 5 3 1 0 0 0 0 4 2 3 4 2 4 5 4 3 3 1 4 4 3 1 0 4 2 5 0 1 2 4 0 4 0 2 3 0 0 1 3 3 4 0 1 2 2 4 0 -> 5 5 5 0 3 3 1 3 0 3 3 0 5 1 0 3 5 4 2 1 0 1 5 1 4 4 1 2 4 4 1 0 3 0 1 0 2 4 1 5 4 0 5 3 0 2 5 0 4 1 2 2 5 4 0 2 5 0 4 5 4 2 5 1 1 0 0 5 1 4 1 5 1 1 0 0 5 2 4 3 1 0 1 2 5 3 0 1 5 3 2 5 1 2 3 2 5 4 1 1 , 4 4 3 2 3 4 0 2 0 2 3 3 1 0 1 1 1 1 5 1 1 0 4 2 2 3 4 3 5 2 4 4 3 2 5 2 3 4 5 3 4 4 3 0 1 0 4 4 5 4 3 3 3 1 1 0 1 4 5 3 3 3 3 5 4 3 5 1 5 4 1 5 2 0 5 3 3 4 1 5 5 2 5 2 0 -> 0 0 1 5 3 2 1 4 1 4 5 1 5 0 0 2 1 0 2 0 2 1 3 3 5 5 3 3 2 4 1 3 5 5 2 5 4 5 3 2 5 4 3 5 1 0 5 1 0 5 5 5 0 1 4 5 0 2 1 3 2 0 3 3 5 3 5 2 5 2 5 4 0 0 0 3 5 4 1 3 0 2 4 0 1 1 1 2 1 5 5 4 4 5 0 1 3 1 2 0 , 5 1 0 0 3 0 1 1 4 3 1 2 5 0 5 1 2 0 0 4 3 3 2 4 4 3 4 3 5 5 3 1 5 3 5 1 1 3 3 4 0 0 2 4 2 0 0 4 2 4 0 1 4 1 3 5 1 3 1 5 0 1 5 4 3 0 5 1 0 3 4 0 1 2 4 4 5 1 4 0 4 2 0 1 3 -> 3 2 0 3 4 0 0 5 2 2 3 1 5 5 5 5 1 2 5 4 5 0 4 2 0 0 0 2 5 3 0 3 3 2 0 1 0 5 5 0 3 4 3 5 0 2 5 1 1 5 0 0 4 2 0 5 1 2 0 3 5 1 2 0 4 2 5 1 5 0 0 5 0 2 0 4 0 5 5 0 0 1 0 2 4 2 3 4 0 1 3 4 4 2 5 5 5 3 3 4 , 5 1 5 4 4 5 0 2 0 2 3 0 5 5 3 0 0 1 3 0 0 4 5 1 1 1 3 5 1 4 2 1 2 2 4 1 4 3 3 4 2 3 2 3 1 0 4 2 5 3 3 0 2 2 0 1 0 5 3 4 3 3 4 2 5 2 5 1 2 1 1 1 1 3 0 1 1 3 3 2 2 4 5 1 0 -> 0 5 5 0 5 1 1 5 5 0 1 0 0 5 0 4 1 1 5 3 4 1 3 2 4 3 0 2 0 2 2 3 1 1 3 0 3 5 1 2 4 5 0 5 3 3 4 4 0 0 5 2 2 5 3 3 4 0 4 2 5 5 4 0 3 1 5 2 5 2 2 4 5 5 5 2 5 0 0 5 4 3 5 1 3 2 0 5 0 2 0 3 5 0 4 4 5 5 2 2 , 5 2 4 2 2 2 3 2 3 0 4 2 2 2 2 4 1 4 0 2 3 0 4 0 3 2 2 3 3 1 4 0 0 5 3 2 3 1 3 1 1 1 3 0 3 2 0 2 0 1 0 1 0 4 1 4 5 3 1 5 4 2 3 3 5 1 2 1 3 3 2 3 2 3 4 4 3 2 3 5 0 5 5 1 1 -> 4 5 1 0 4 3 1 1 5 1 2 0 3 5 3 5 3 4 0 5 0 2 1 1 2 4 3 5 5 3 5 0 5 3 5 0 3 5 4 0 0 1 5 5 4 4 3 5 3 1 2 3 5 0 0 3 0 5 3 5 0 0 4 0 4 4 1 3 4 5 3 3 3 0 5 3 5 1 2 3 4 0 5 4 3 4 3 4 4 0 3 4 5 1 3 1 3 2 4 3 , 2 2 0 1 1 0 1 1 1 0 3 3 2 5 0 1 5 3 4 5 2 1 2 0 2 2 2 3 4 4 4 1 0 4 2 4 1 0 1 1 3 4 4 4 2 2 0 4 0 0 0 2 5 5 1 2 1 5 0 4 2 2 2 3 0 3 0 4 3 2 2 0 5 4 4 5 1 2 4 3 5 4 0 3 5 ->= 1 4 4 5 4 0 2 0 0 5 0 5 2 5 1 0 3 4 5 0 3 3 4 4 0 3 1 4 2 5 5 2 0 4 3 0 0 0 0 2 0 2 5 0 4 4 4 0 1 2 0 1 1 3 3 4 5 4 5 4 3 0 4 3 5 4 3 3 3 5 0 2 3 5 4 3 3 5 0 5 1 2 5 3 2 3 4 5 5 5 1 3 5 0 3 3 4 4 1 5 , 2 3 2 3 4 4 4 2 1 0 4 1 1 3 2 2 0 2 3 2 5 1 2 2 0 4 3 1 1 5 4 1 3 2 4 3 3 1 4 4 3 2 0 3 2 4 3 2 5 4 3 3 4 3 4 4 5 4 3 2 5 2 0 4 4 2 3 3 1 2 4 4 0 0 3 2 0 5 0 4 1 4 4 4 5 ->= 4 2 3 3 1 1 0 0 2 0 5 5 1 0 5 4 5 2 5 3 1 0 1 3 2 0 3 3 0 0 0 5 2 3 0 3 2 2 4 1 2 5 5 2 3 2 1 5 4 0 0 1 2 4 0 4 2 5 2 5 2 1 1 3 4 1 5 2 1 4 2 3 0 1 5 5 2 4 0 2 2 2 5 1 5 5 5 5 0 1 3 3 5 1 1 5 2 2 1 5 } The system was reversed. After renaming modulo { 1->0, 2->1, 3->2, 4->3, 5->4, 0->5 }, it remains to prove termination of the 20-rule system { 0 1 2 3 0 3 2 1 2 0 4 1 1 4 4 2 3 0 5 5 5 4 3 0 5 3 5 0 3 5 3 0 1 1 5 5 0 1 2 5 2 2 2 1 2 0 0 3 2 4 5 4 5 0 0 5 0 4 0 3 2 2 4 3 0 5 2 5 0 1 3 2 5 2 0 3 2 1 1 0 0 0 0 5 5 -> 2 0 2 5 5 5 2 1 3 4 3 1 4 3 3 2 4 3 5 0 3 4 0 4 3 1 1 0 5 5 5 4 2 3 4 4 4 1 5 3 0 2 1 5 0 0 3 5 5 5 2 0 1 1 2 4 3 3 1 3 5 2 3 0 5 2 0 5 2 1 1 1 5 0 1 5 4 1 1 5 4 5 5 0 5 2 5 3 2 5 2 0 5 1 0 3 1 3 4 1 , 3 5 3 5 0 2 3 1 2 3 3 5 5 5 2 3 1 5 0 5 0 3 1 0 3 5 2 3 0 2 0 3 5 4 3 5 3 3 5 5 3 3 4 1 5 3 1 2 3 0 5 0 0 0 0 3 0 1 2 3 0 1 2 3 5 3 5 3 1 2 4 2 3 2 4 2 0 4 2 3 1 0 0 5 5 -> 3 0 2 3 5 5 5 1 3 4 3 4 3 2 2 2 0 1 2 4 2 1 1 4 1 4 4 0 1 3 4 4 5 4 3 4 0 2 2 5 1 0 5 2 5 0 0 0 2 1 5 2 1 3 1 2 5 4 3 0 1 4 3 5 2 2 3 0 1 0 3 1 2 4 4 0 4 4 5 1 4 5 5 2 3 4 1 0 4 5 0 4 4 1 0 1 0 4 1 0 , 5 1 3 3 2 3 5 3 3 2 0 5 1 4 1 1 0 0 3 4 1 4 5 5 4 2 2 3 1 0 2 2 3 1 4 3 5 2 0 1 1 5 3 1 5 2 4 0 1 3 3 0 0 3 5 0 3 4 5 0 2 2 3 5 1 4 0 4 3 0 3 4 1 0 3 5 3 4 0 2 3 5 3 0 5 -> 0 3 4 0 2 2 3 4 4 0 3 4 1 4 2 4 4 0 5 2 0 2 0 1 2 5 1 2 4 4 4 1 1 4 0 5 1 3 4 4 3 4 4 4 1 5 4 2 5 0 4 4 0 1 2 0 4 0 2 0 4 5 2 1 5 2 0 0 3 4 4 1 1 0 0 1 5 0 5 3 3 4 2 0 0 1 0 5 1 4 1 0 2 2 4 2 0 5 0 1 , 2 1 0 1 0 1 5 4 0 5 0 5 5 1 4 0 3 0 4 2 2 2 2 2 2 0 2 4 3 4 2 3 1 5 1 1 4 5 5 0 2 0 1 3 0 2 2 3 1 4 5 3 1 2 0 3 2 5 3 5 1 0 1 1 2 2 4 0 5 5 1 2 2 0 2 5 0 4 3 4 0 4 2 1 5 -> 2 0 3 5 1 4 5 4 2 1 4 0 3 5 5 5 0 0 5 4 2 2 5 4 2 5 2 0 3 2 5 1 0 1 4 5 1 5 2 3 4 2 0 5 3 5 0 0 0 0 3 4 2 1 2 3 4 5 1 1 2 2 4 5 3 1 1 3 4 4 4 4 1 2 0 0 1 4 1 4 1 4 1 5 2 3 4 0 4 1 3 1 5 5 4 4 4 0 4 4 , 5 1 5 1 4 1 5 3 0 1 2 5 2 4 3 0 1 5 0 0 1 3 4 4 1 1 2 0 2 0 0 3 0 1 0 4 0 5 4 0 5 5 3 2 2 1 1 0 4 1 1 0 1 3 1 4 5 4 5 1 0 4 0 1 1 0 1 0 2 2 1 0 2 5 0 1 0 2 5 2 3 0 1 2 5 -> 5 5 4 2 3 4 4 3 5 1 3 1 4 5 3 4 4 0 4 4 4 3 5 5 0 3 1 1 5 4 1 1 5 1 2 2 5 1 3 4 0 4 0 0 1 2 2 3 2 3 0 2 0 2 5 4 4 1 4 5 5 1 0 5 1 1 4 3 0 4 4 3 0 2 5 1 5 3 2 4 4 2 0 2 5 1 5 4 2 0 1 3 3 2 5 5 2 0 4 5 , 5 1 0 1 1 4 0 0 0 5 4 4 1 0 5 4 3 1 5 3 4 2 1 3 5 3 0 2 5 5 0 0 0 5 2 5 2 2 2 1 0 3 5 0 1 2 0 4 2 1 1 4 4 0 3 2 4 2 0 0 4 2 0 3 5 4 3 4 3 3 5 1 2 2 2 2 5 0 0 0 2 0 1 3 5 -> 1 5 4 1 2 4 4 4 4 2 4 3 1 3 3 3 5 2 0 2 5 5 4 0 2 3 3 5 5 3 4 4 0 3 2 5 3 4 5 4 4 1 3 4 0 0 5 1 5 1 5 2 3 5 4 5 2 4 4 1 0 1 0 3 0 4 4 0 4 2 4 1 5 2 1 4 2 4 3 4 1 5 4 1 3 1 2 2 1 4 2 0 4 5 1 1 3 4 0 2 , 3 2 4 2 3 3 0 3 1 5 3 5 0 4 3 1 2 1 1 4 4 3 5 1 0 4 0 3 3 1 1 0 1 3 2 0 0 1 0 5 5 1 4 4 3 5 5 5 2 0 3 2 1 3 5 2 3 0 0 3 0 1 1 0 0 1 2 3 2 4 5 1 2 3 2 4 1 4 3 2 0 4 5 5 0 -> 4 4 4 4 5 3 0 2 3 1 4 5 4 0 4 5 0 5 3 2 3 0 2 5 4 3 2 2 4 5 5 2 3 4 1 0 2 1 3 0 1 4 5 5 3 5 0 0 1 3 2 4 3 2 0 4 2 1 3 4 1 2 1 2 3 4 1 0 5 3 3 4 5 5 5 1 3 5 4 3 4 5 5 4 2 1 0 2 5 2 1 3 4 1 0 4 2 0 2 3 , 2 4 2 3 5 1 1 0 2 3 0 3 3 0 0 0 2 2 2 1 2 3 5 4 1 1 0 5 3 0 2 0 3 5 3 2 2 2 1 4 4 2 2 2 2 0 4 4 3 0 3 3 2 3 1 1 1 1 3 0 0 0 1 5 4 5 0 0 3 1 1 3 0 2 1 3 3 3 1 2 2 2 2 0 0 -> 4 2 1 1 5 2 5 4 0 0 2 5 3 5 1 0 2 3 5 1 3 1 5 3 0 0 4 2 5 3 5 1 3 0 1 5 5 2 2 5 1 5 4 5 4 1 4 5 1 4 2 2 0 3 3 5 2 5 1 3 3 1 4 1 5 4 0 5 5 2 3 4 0 4 5 2 4 4 0 5 1 1 3 1 3 3 5 5 3 4 4 3 5 4 5 0 3 1 3 5 , 2 5 0 1 1 0 5 0 5 1 5 0 3 5 5 0 1 0 1 3 0 3 0 2 5 2 0 3 3 5 0 3 5 3 5 5 1 3 3 3 5 4 1 5 4 3 5 1 3 4 3 1 1 4 5 5 2 0 0 1 0 3 3 0 2 0 0 0 2 1 1 5 3 3 3 5 3 4 3 1 5 3 5 2 1 -> 1 4 1 5 5 0 4 0 4 4 0 0 0 5 1 5 3 2 5 0 4 2 1 1 1 3 4 4 2 1 1 1 4 2 5 5 4 0 1 4 0 4 0 1 5 2 1 4 1 5 4 0 2 2 1 3 2 3 4 0 4 5 2 0 0 4 5 1 2 0 5 4 4 2 4 2 0 2 1 3 5 0 3 3 4 4 1 0 5 5 5 3 4 5 3 3 5 2 3 4 , 3 2 2 5 5 5 0 0 3 0 0 0 5 1 0 4 5 5 2 0 4 1 0 5 4 0 2 2 4 2 1 5 1 0 1 4 0 2 1 2 2 4 1 0 5 2 1 5 1 1 1 0 3 0 4 0 5 5 4 3 0 3 4 5 0 5 1 2 3 1 3 5 0 0 1 5 3 3 0 1 3 5 3 2 1 -> 4 5 2 0 5 2 2 5 4 4 4 1 0 4 0 4 2 3 2 1 4 5 2 2 5 1 5 3 1 4 5 4 1 3 0 5 3 0 3 1 5 3 0 2 3 4 4 0 5 4 2 5 5 5 5 0 0 1 4 5 1 1 4 4 0 5 3 1 1 4 1 5 0 4 1 0 5 3 0 4 4 2 2 3 4 5 3 0 5 1 3 1 4 3 4 4 0 5 2 1 , 2 2 2 0 3 5 1 2 4 4 5 1 5 0 0 1 4 0 1 2 2 3 0 2 5 3 3 5 4 5 4 3 0 5 2 0 0 5 3 1 0 4 1 3 3 0 3 2 5 5 3 3 2 0 1 5 5 3 4 3 5 2 4 3 5 2 2 0 1 3 3 3 2 5 1 2 5 1 2 3 0 3 5 3 1 -> 5 2 1 4 4 3 3 0 2 4 1 3 4 0 5 2 4 2 2 3 4 1 5 2 5 0 5 3 1 3 2 5 3 2 0 2 0 3 1 4 5 5 3 5 2 5 5 2 0 4 5 3 1 5 3 2 5 4 3 5 5 2 4 1 3 5 5 3 4 4 4 5 5 3 1 3 1 2 2 5 3 1 3 4 1 4 2 2 5 4 1 4 2 4 3 3 1 3 5 2 , 2 1 3 4 3 3 0 4 0 0 1 4 5 1 3 5 0 3 5 0 1 2 3 4 5 3 5 3 1 0 1 0 1 1 5 1 4 0 5 4 2 0 1 1 3 0 0 5 3 0 4 0 5 0 3 3 3 5 3 3 2 1 2 1 4 3 5 5 5 5 5 4 5 1 0 0 5 1 5 0 0 2 4 3 1 -> 1 0 0 4 5 2 3 3 2 2 1 4 4 3 0 4 0 4 2 0 0 1 2 5 2 2 4 0 1 2 0 3 2 5 1 3 4 5 3 4 2 2 0 1 3 2 0 4 4 4 4 1 4 1 1 5 1 5 3 2 4 1 5 2 4 2 5 0 3 2 0 4 1 5 4 1 4 3 4 2 5 3 2 0 4 3 4 4 5 2 5 1 1 4 5 4 4 4 2 2 , 3 5 5 3 5 4 3 5 2 4 5 5 0 5 1 0 2 3 0 2 2 4 1 0 3 4 3 1 3 1 5 0 0 4 0 1 0 5 0 0 3 3 0 3 5 2 5 5 0 3 0 0 1 0 3 3 3 1 3 0 3 2 3 0 3 4 5 4 0 0 3 4 3 3 1 2 0 1 0 1 0 1 1 3 2 -> 0 5 4 5 5 3 3 4 4 4 0 4 2 3 3 5 5 5 3 4 5 4 3 1 0 5 0 3 5 3 4 4 4 5 2 5 1 0 2 0 0 5 4 3 4 0 5 4 0 4 0 5 2 0 0 1 4 0 4 3 3 0 0 2 0 3 0 0 2 0 5 1 1 5 1 0 3 1 5 0 1 5 2 3 3 4 2 4 4 4 2 0 3 2 4 1 5 3 5 2 , 5 3 1 1 0 5 3 2 2 0 5 5 2 1 5 3 5 3 1 0 5 4 1 3 5 0 2 3 3 0 2 2 3 4 3 1 3 2 1 3 5 5 5 5 0 2 4 0 5 3 0 2 0 5 4 5 4 1 0 4 1 5 0 0 3 0 1 3 0 5 1 1 3 0 0 1 1 1 3 1 3 3 2 5 3 -> 0 0 3 4 1 2 1 0 4 1 2 4 0 5 2 4 1 0 5 0 2 3 1 4 5 5 0 0 4 0 3 0 4 5 5 0 0 4 1 3 4 3 5 4 1 5 3 4 1 1 0 3 5 4 1 5 2 4 5 3 4 0 3 1 5 0 5 2 5 0 3 3 1 0 3 3 0 4 0 5 0 1 3 4 2 5 0 4 5 2 2 5 2 0 2 2 5 4 4 4 , 5 1 4 1 4 4 0 3 2 2 4 5 1 4 0 3 4 0 4 2 3 4 2 2 2 2 4 3 0 5 0 0 2 2 2 3 4 3 3 5 0 5 2 3 3 2 4 3 2 1 4 1 2 3 3 1 4 2 3 2 1 1 3 5 0 0 4 0 0 0 0 5 0 2 2 1 5 1 5 3 2 1 2 3 3 -> 5 1 0 2 0 5 4 3 3 4 4 0 1 0 0 0 5 3 1 5 2 0 3 4 2 5 5 5 3 4 1 4 1 4 2 4 2 2 5 1 2 0 1 5 4 3 0 5 4 4 4 5 0 4 5 0 4 2 3 4 1 2 4 3 4 1 4 4 2 0 3 1 2 2 4 4 2 2 0 1 5 1 5 0 1 5 5 4 0 4 3 0 3 0 1 2 4 0 5 5 , 2 0 5 1 3 5 3 0 4 3 3 1 0 5 3 2 5 0 4 5 2 3 4 0 5 4 0 2 0 4 2 0 3 0 5 3 1 3 5 5 1 3 1 5 5 3 2 2 0 0 4 2 4 0 2 4 4 2 3 2 3 3 1 2 2 3 5 5 1 0 4 5 4 1 0 2 3 0 0 5 2 5 5 0 4 -> 3 2 2 4 4 4 1 3 3 2 0 5 3 2 1 3 1 5 0 5 5 4 4 5 3 5 1 5 4 5 5 4 0 4 1 3 5 1 0 4 2 5 1 0 4 5 1 3 5 5 4 0 0 4 1 5 4 2 3 2 5 4 4 5 0 5 1 2 2 5 2 4 1 5 5 5 1 3 5 4 3 4 1 0 4 4 4 4 0 2 1 1 4 5 5 3 2 5 1 2 , 5 0 4 3 1 1 2 2 0 0 5 2 0 0 0 0 1 0 4 1 4 1 3 2 2 3 2 4 5 0 5 1 1 5 2 2 4 1 3 5 0 2 1 2 1 3 2 2 3 0 3 1 1 0 1 3 0 4 2 0 0 0 4 3 5 5 2 0 5 5 2 4 4 5 2 1 5 1 5 4 3 3 4 0 4 -> 1 1 4 4 3 3 5 4 2 5 1 5 4 5 1 2 0 4 2 3 4 5 5 4 1 4 4 4 3 1 1 4 1 4 0 2 5 3 4 4 1 3 5 3 2 2 4 1 1 4 5 5 3 3 2 2 4 5 4 3 1 0 4 2 5 2 0 0 2 1 1 5 1 5 2 3 1 2 0 3 2 4 0 0 3 5 4 5 5 0 5 4 4 0 0 4 5 4 4 5 , 0 0 4 4 5 4 2 1 2 3 3 2 1 2 1 2 2 0 1 0 4 2 2 1 3 4 0 2 4 3 0 3 5 0 5 0 5 1 5 1 2 5 2 0 0 0 2 0 2 1 2 4 5 5 3 0 2 2 1 1 2 5 3 5 2 1 5 3 0 3 1 1 1 1 3 5 2 1 2 1 1 1 3 1 4 -> 2 3 1 2 0 2 0 4 3 2 5 3 3 2 3 2 3 4 5 3 2 1 0 4 2 4 5 2 2 2 4 3 2 0 3 3 5 3 5 5 4 2 4 5 2 5 5 4 2 1 0 2 4 2 3 3 4 4 0 5 5 3 4 2 5 4 2 4 5 4 2 4 4 2 3 1 0 0 1 5 4 5 3 2 4 2 4 2 5 1 0 4 0 0 2 3 5 0 4 3 , 4 2 5 3 4 2 3 1 0 4 3 3 4 5 1 1 2 3 5 2 5 2 1 1 1 3 5 4 0 1 0 4 4 1 5 5 5 3 5 1 1 3 3 3 2 0 0 5 0 3 1 3 5 0 3 3 3 2 1 1 1 5 1 0 1 4 3 2 4 0 5 4 1 2 2 5 0 0 0 5 0 0 5 1 1 ->= 4 0 3 3 2 2 5 4 2 0 4 4 4 3 2 1 2 4 1 0 4 5 4 2 2 3 4 2 1 5 4 2 2 2 3 4 2 3 5 2 3 4 3 4 3 2 2 0 0 5 1 0 5 3 3 3 5 4 1 5 1 5 5 5 5 2 3 5 1 4 4 1 3 0 2 5 3 3 2 2 5 4 3 2 5 0 4 1 4 5 4 5 5 1 5 3 4 3 3 0 , 4 3 3 3 0 3 5 4 5 1 2 5 5 3 3 1 0 2 2 1 3 3 5 1 4 1 2 3 4 3 3 2 3 2 2 3 4 1 2 3 1 2 5 1 2 3 3 0 2 2 3 1 2 0 3 4 0 0 2 3 5 1 1 0 4 1 2 1 5 1 1 2 0 0 3 5 0 1 3 3 3 2 1 2 1 ->= 4 0 1 1 4 0 0 4 2 2 0 5 4 4 4 4 0 4 1 1 1 5 3 1 4 4 0 5 2 1 3 0 1 4 0 3 2 0 0 1 4 1 4 1 3 5 3 1 0 5 5 3 4 0 1 2 1 4 4 1 0 3 1 1 2 5 2 1 4 5 5 5 2 2 5 1 2 0 5 0 2 4 1 4 3 4 5 0 4 4 5 1 5 5 0 0 2 2 1 3 } Applying context closure of depth 1 in the following form: System R over Sigma maps to { fold(xly) -> fold(xry) | l -> r in R, x,y in Sigma } over Sigma^2, where fold(a_1...a_n) = (a_1,a_2)...(a_{n-1},a_{n}) After renaming modulo { [0, 0]->0, [0, 1]->1, [1, 2]->2, [2, 3]->3, [3, 0]->4, [0, 3]->5, [3, 2]->6, [2, 1]->7, [2, 0]->8, [0, 4]->9, [4, 1]->10, [1, 1]->11, [1, 4]->12, [4, 4]->13, [4, 2]->14, [0, 5]->15, [5, 5]->16, [5, 4]->17, [4, 3]->18, [5, 3]->19, [3, 5]->20, [5, 0]->21, [1, 5]->22, [2, 5]->23, [5, 2]->24, [2, 2]->25, [2, 4]->26, [4, 5]->27, [4, 0]->28, [1, 3]->29, [1, 0]->30, [0, 2]->31, [3, 4]->32, [3, 1]->33, [3, 3]->34, [5, 1]->35 }, it remains to prove termination of the 720-rule system { 0 1 2 3 4 5 6 7 2 8 9 10 11 12 13 14 3 4 15 16 16 17 18 4 15 19 20 21 5 20 19 4 1 11 22 16 21 1 2 23 24 25 25 7 2 8 0 5 6 26 27 17 27 21 0 15 21 9 28 5 6 25 26 18 4 15 24 23 21 1 29 6 23 24 8 5 6 7 11 30 0 0 0 15 16 21 -> 31 8 31 23 16 16 24 7 29 32 18 33 12 18 34 6 26 18 20 21 5 32 28 9 18 33 11 30 15 16 16 17 14 3 32 13 13 10 22 19 4 31 7 22 21 0 5 20 16 16 24 8 1 11 2 26 18 34 33 29 20 24 3 4 15 24 8 15 24 7 11 11 22 21 1 22 17 10 11 22 17 27 16 21 15 24 23 19 6 23 24 8 15 35 30 5 33 29 32 10 30 , 5 20 19 20 21 31 3 33 2 3 34 20 16 16 24 3 33 22 21 15 21 5 33 30 5 20 24 3 4 31 8 5 20 17 18 20 19 34 20 16 19 34 32 10 22 19 33 2 3 4 15 21 0 0 0 5 4 1 2 3 4 1 2 3 20 19 20 19 33 2 26 14 3 6 26 14 8 9 14 3 33 30 0 15 16 21 -> 5 4 31 3 20 16 16 35 29 32 18 32 18 6 25 25 8 1 2 26 14 7 11 12 10 12 13 28 1 29 32 13 27 17 18 32 28 31 25 23 35 30 15 24 23 21 0 0 31 7 22 24 7 29 33 2 23 17 18 4 1 12 18 20 24 25 3 4 1 30 5 33 2 26 13 28 9 13 27 35 12 27 16 24 3 32 10 30 9 27 21 9 13 10 30 1 30 9 10 30 0 , 15 35 29 34 6 3 20 19 34 6 8 15 35 12 10 11 30 0 5 32 10 12 27 16 17 14 25 3 33 30 31 25 3 33 12 18 20 24 8 1 11 22 19 33 22 24 26 28 1 29 34 4 0 5 20 21 5 32 27 21 31 25 3 20 35 12 28 9 18 4 5 32 10 30 5 20 19 32 28 31 3 20 19 4 15 21 -> 0 5 32 28 31 25 3 32 13 28 5 32 10 12 14 26 13 28 15 24 8 31 8 1 2 23 35 2 26 13 13 10 11 12 28 15 35 29 32 13 18 32 13 13 10 22 17 14 23 21 9 13 28 1 2 8 9 28 31 8 9 27 24 7 22 24 8 0 5 32 13 10 11 30 0 1 22 21 15 19 34 32 14 8 0 1 30 15 35 12 10 30 31 25 26 14 8 15 21 1 30 , 31 7 30 1 30 1 22 17 28 15 21 15 16 35 12 28 5 4 9 14 25 25 25 25 25 8 31 26 18 32 14 3 33 22 35 11 12 27 16 21 31 8 1 29 4 31 25 3 33 12 27 19 33 2 8 5 6 23 19 20 35 30 1 11 2 25 26 28 15 16 35 2 25 8 31 23 21 9 18 32 28 9 14 7 22 21 -> 31 8 5 20 35 12 27 17 14 7 12 28 5 20 16 16 21 0 15 17 14 25 23 17 14 23 24 8 5 6 23 35 30 1 12 27 35 22 24 3 32 14 8 15 19 20 21 0 0 0 5 32 14 7 2 3 32 27 35 11 2 25 26 27 19 33 11 29 32 13 13 13 10 2 8 0 1 12 10 12 10 12 10 22 24 3 32 28 9 10 29 33 22 16 17 13 13 28 9 13 28 , 15 35 22 35 12 10 22 19 4 1 2 23 24 26 18 4 1 22 21 0 1 29 32 13 10 11 2 8 31 8 0 5 4 1 30 9 28 15 17 28 15 16 19 6 25 7 11 30 9 10 11 30 1 29 33 12 27 17 27 35 30 9 28 1 11 30 1 30 31 25 7 30 31 23 21 1 30 31 23 24 3 4 1 2 23 21 -> 15 16 17 14 3 32 13 18 20 35 29 33 12 27 19 32 13 28 9 13 13 18 20 16 21 5 33 11 22 17 10 11 22 35 2 25 23 35 29 32 28 9 28 0 1 2 25 3 6 3 4 31 8 31 23 17 13 10 12 27 16 35 30 15 35 11 12 18 4 9 13 18 4 31 23 35 22 19 6 26 13 14 8 31 23 35 22 17 14 8 1 29 34 6 23 16 24 8 9 27 21 , 15 35 30 1 11 12 28 0 0 15 17 13 10 30 15 17 18 33 22 19 32 14 7 29 20 19 4 31 23 16 21 0 0 15 24 23 24 25 25 7 30 5 20 21 1 2 8 9 14 7 11 12 13 28 5 6 26 14 8 0 9 14 8 5 20 17 18 32 18 34 20 35 2 25 25 25 23 21 0 0 31 8 1 29 20 21 -> 1 22 17 10 2 26 13 13 13 14 26 18 33 29 34 34 20 24 8 31 23 16 17 28 31 3 34 20 16 19 32 13 28 5 6 23 19 32 27 17 13 10 29 32 28 0 15 35 22 35 22 24 3 20 17 27 24 26 13 10 30 1 30 5 4 9 13 28 9 14 26 10 22 24 7 12 14 26 18 32 10 22 17 10 29 33 2 25 7 12 14 8 9 27 35 11 29 32 28 31 8 , 5 6 26 14 3 34 4 5 33 22 19 20 21 9 18 33 2 7 11 12 13 18 20 35 30 9 28 5 34 33 11 30 1 29 6 8 0 1 30 15 16 35 12 13 18 20 16 16 24 8 5 6 7 29 20 24 3 4 0 5 4 1 11 30 0 1 2 3 6 26 27 35 2 3 6 26 10 12 18 6 8 9 27 16 21 0 -> 9 13 13 13 27 19 4 31 3 33 12 27 17 28 9 27 21 15 19 6 3 4 31 23 17 18 6 25 26 27 16 24 3 32 10 30 31 7 29 4 1 12 27 16 19 20 21 0 1 29 6 26 18 6 8 9 14 7 29 32 10 2 7 2 3 32 10 30 15 19 34 32 27 16 16 35 29 20 17 18 32 27 16 17 14 7 30 31 23 24 7 29 32 10 30 9 14 8 31 3 4 , 31 26 14 3 20 35 11 30 31 3 4 5 34 4 0 0 31 25 25 7 2 3 20 17 10 11 30 15 19 4 31 8 5 20 19 6 25 25 7 12 13 14 25 25 25 8 9 13 18 4 5 34 6 3 33 11 11 11 29 4 0 0 1 22 17 27 21 0 5 33 11 29 4 31 7 29 34 34 33 2 25 25 25 8 0 0 -> 9 14 7 11 22 24 23 17 28 0 31 23 19 20 35 30 31 3 20 35 29 33 22 19 4 0 9 14 23 19 20 35 29 4 1 22 16 24 25 23 35 22 17 27 17 10 12 27 35 12 14 25 8 5 34 20 24 23 35 29 34 33 12 10 22 17 28 15 16 24 3 32 28 9 27 24 26 13 28 15 35 11 29 33 29 34 20 16 19 32 13 18 20 17 27 21 5 33 29 20 21 , 31 23 21 1 11 30 15 21 15 35 22 21 5 20 16 21 1 30 1 29 4 5 4 31 23 24 8 5 34 20 21 5 20 19 20 16 35 29 34 34 20 17 10 22 17 18 20 35 29 32 18 33 11 12 27 16 24 8 0 1 30 5 34 4 31 8 0 0 31 7 11 22 19 34 34 20 19 32 18 33 22 19 20 24 7 30 -> 1 12 10 22 16 21 9 28 9 13 28 0 0 15 35 22 19 6 23 21 9 14 7 11 11 29 32 13 14 7 11 11 12 14 23 16 17 28 1 12 28 9 28 1 22 24 7 12 10 22 17 28 31 25 7 29 6 3 32 28 9 27 24 8 0 9 27 35 2 8 15 17 13 14 26 14 8 31 7 29 20 21 5 34 32 13 10 30 15 16 16 19 32 27 19 34 20 24 3 32 28 , 5 6 25 23 16 16 21 0 5 4 0 0 15 35 30 9 27 16 24 8 9 10 30 15 17 28 31 25 26 14 7 22 35 30 1 12 28 31 7 2 25 26 10 30 15 24 7 22 35 11 11 30 5 4 9 28 15 16 17 18 4 5 32 27 21 15 35 2 3 33 29 20 21 0 1 22 19 34 4 1 29 20 19 6 7 30 -> 9 27 24 8 15 24 25 23 17 13 13 10 30 9 28 9 14 3 6 7 12 27 24 25 23 35 22 19 33 12 27 17 10 29 4 15 19 4 5 33 22 19 4 31 3 32 13 28 15 17 14 23 16 16 16 21 0 1 12 27 35 11 12 13 28 15 19 33 11 12 10 22 21 9 10 30 15 19 4 9 13 14 25 3 32 27 19 4 15 35 29 33 12 18 32 13 28 15 24 7 30 , 31 25 25 8 5 20 35 2 26 13 27 35 22 21 0 1 12 28 1 2 25 3 4 31 23 19 34 20 17 27 17 18 4 15 24 8 0 15 19 33 30 9 10 29 34 4 5 6 23 16 19 34 6 8 1 22 16 19 32 18 20 24 26 18 20 24 25 8 1 29 34 34 6 23 35 2 23 35 2 3 4 5 20 19 33 30 -> 15 24 7 12 13 18 34 4 31 26 10 29 32 28 15 24 26 14 25 3 32 10 22 24 23 21 15 19 33 29 6 23 19 6 8 31 8 5 33 12 27 16 19 20 24 23 16 24 8 9 27 19 33 22 19 6 23 17 18 20 16 24 26 10 29 20 16 19 32 13 13 27 16 19 33 29 33 2 25 23 19 33 29 32 10 12 14 25 23 17 10 12 14 26 18 34 33 29 20 24 8 , 31 7 29 32 18 34 4 9 28 0 1 12 27 35 29 20 21 5 20 21 1 2 3 32 27 19 20 19 33 30 1 30 1 11 22 35 12 28 15 17 14 8 1 11 29 4 0 15 19 4 9 28 15 21 5 34 34 20 19 34 6 7 2 7 12 18 20 16 16 16 16 17 27 35 30 0 15 35 22 21 0 31 26 18 33 30 -> 1 30 0 9 27 24 3 34 6 25 7 12 13 18 4 9 28 9 14 8 0 1 2 23 24 25 26 28 1 2 8 5 6 23 35 29 32 27 19 32 14 25 8 1 29 6 8 9 13 13 13 10 12 10 11 22 35 22 19 6 26 10 22 24 26 14 23 21 5 6 8 9 10 22 17 10 12 18 32 14 23 19 6 8 9 18 32 13 27 24 23 35 11 12 27 17 13 13 14 25 8 , 5 20 16 19 20 17 18 20 24 26 27 16 21 15 35 30 31 3 4 31 25 26 10 30 5 32 18 33 29 33 22 21 0 9 28 1 30 15 21 0 5 34 4 5 20 24 23 16 21 5 4 0 1 30 5 34 34 33 29 4 5 6 3 4 5 32 27 17 28 0 5 32 18 34 33 2 8 1 30 1 30 1 11 29 6 8 -> 0 15 17 27 16 19 34 32 13 13 28 9 14 3 34 20 16 16 19 32 27 17 18 33 30 15 21 5 20 19 32 13 13 27 24 23 35 30 31 8 0 15 17 18 32 28 15 17 28 9 28 15 24 8 0 1 12 28 9 18 34 4 0 31 8 5 4 0 31 8 15 35 11 22 35 30 5 33 22 21 1 22 24 3 34 32 14 26 13 13 14 8 5 6 26 10 22 19 20 24 8 , 15 19 33 11 30 15 19 6 25 8 15 16 24 7 22 19 20 19 33 30 15 17 10 29 20 21 31 3 34 4 31 25 3 32 18 33 29 6 7 29 20 16 16 16 21 31 26 28 15 19 4 31 8 15 17 27 17 10 30 9 10 22 21 0 5 4 1 29 4 15 35 11 29 4 0 1 11 11 29 33 29 34 6 23 19 4 -> 0 0 5 32 10 2 7 30 9 10 2 26 28 15 24 26 10 30 15 21 31 3 33 12 27 16 21 0 9 28 5 4 9 27 16 21 0 9 10 29 32 18 20 17 10 22 19 32 10 11 30 5 20 17 10 22 24 26 27 19 32 28 5 33 22 21 15 24 23 21 5 34 33 30 5 34 4 9 28 15 21 1 29 32 14 23 21 9 27 24 25 23 24 8 31 25 23 17 13 13 28 , 15 35 12 10 12 13 28 5 6 25 26 27 35 12 28 5 32 28 9 14 3 32 14 25 25 25 26 18 4 15 21 0 31 25 25 3 32 18 34 20 21 15 24 3 34 6 26 18 6 7 12 10 2 3 34 33 12 14 3 6 7 11 29 20 21 0 9 28 0 0 0 15 21 31 25 7 22 35 22 19 6 7 2 3 34 4 -> 15 35 30 31 8 15 17 18 34 32 13 28 1 30 0 0 15 19 33 22 24 8 5 32 14 23 16 16 19 32 10 12 10 12 14 26 14 25 23 35 2 8 1 22 17 18 4 15 17 13 13 27 21 9 27 21 9 14 3 32 10 2 26 18 32 10 12 13 14 8 5 33 2 25 26 13 14 25 8 1 22 35 22 21 1 22 16 17 28 9 18 4 5 4 1 2 26 28 15 16 21 , 31 8 15 35 29 20 19 4 9 18 34 33 30 15 19 6 23 21 9 27 24 3 32 28 15 17 28 31 8 9 14 8 5 4 15 19 33 29 20 16 35 29 33 22 16 19 6 25 8 0 9 14 26 28 31 26 13 14 3 6 3 34 33 2 25 3 20 16 35 30 9 27 17 10 30 31 3 4 0 15 24 23 16 21 9 28 -> 5 6 25 26 13 13 10 29 34 6 8 15 19 6 7 29 33 22 21 15 16 17 13 27 19 20 35 22 17 27 16 17 28 9 10 29 20 35 30 9 14 23 35 30 9 27 35 29 20 16 17 28 0 9 10 22 17 14 3 6 23 17 13 27 21 15 35 2 25 23 24 26 10 22 16 16 35 29 20 17 18 32 10 30 9 13 13 13 28 31 7 11 12 27 16 19 6 23 35 2 8 , 15 21 9 18 33 11 2 25 8 0 15 24 8 0 0 0 1 30 9 10 12 10 29 6 25 3 6 26 27 21 15 35 11 22 24 25 26 10 29 20 21 31 7 2 7 29 6 25 3 4 5 33 11 30 1 29 4 9 14 8 0 0 9 18 20 16 24 8 15 16 24 26 13 27 24 7 22 35 22 17 18 34 32 28 9 28 -> 1 11 12 13 18 34 20 17 14 23 35 22 17 27 35 2 8 9 14 3 32 27 16 17 10 12 13 13 18 33 11 12 10 12 28 31 23 19 32 13 10 29 20 19 6 25 26 10 11 12 27 16 19 34 6 25 26 27 17 18 33 30 9 14 23 24 8 0 31 7 11 22 35 22 24 3 33 2 8 5 6 26 28 0 5 20 17 27 16 21 15 17 13 28 0 9 27 17 13 27 21 , 0 0 9 13 27 17 14 7 2 3 34 6 7 2 7 2 25 8 1 30 9 14 25 7 29 32 28 31 26 18 4 5 20 21 15 21 15 35 22 35 2 23 24 8 0 0 31 8 31 7 2 26 27 16 19 4 31 25 7 11 2 23 19 20 24 7 22 19 4 5 33 11 11 11 29 20 24 7 2 7 11 11 29 33 12 28 -> 31 3 33 2 8 31 8 9 18 6 23 19 34 6 3 6 3 32 27 19 6 7 30 9 14 26 27 24 25 25 26 18 6 8 5 34 20 19 20 16 17 14 26 27 24 23 16 17 14 7 30 31 26 14 3 34 32 13 28 15 16 19 32 14 23 17 14 26 27 17 14 26 13 14 3 33 30 0 1 22 17 27 19 6 26 14 26 14 23 35 30 9 28 0 31 3 20 21 9 18 4 , 9 14 23 19 32 14 3 33 30 9 18 34 32 27 35 11 2 3 20 24 23 24 7 11 11 29 20 17 28 1 30 9 13 10 22 16 16 19 20 35 11 29 34 34 6 8 0 15 21 5 33 29 20 21 5 34 34 6 7 11 11 22 35 30 1 12 18 6 26 28 15 17 10 2 25 23 21 0 0 15 21 0 15 35 11 30 ->= 9 28 5 34 6 25 23 17 14 8 9 13 13 18 6 7 2 26 10 30 9 27 17 14 25 3 32 14 7 22 17 14 25 25 3 32 14 3 20 24 3 32 18 32 18 6 25 8 0 15 35 30 15 19 34 34 20 17 10 22 35 22 16 16 16 24 3 20 35 12 13 10 29 4 31 23 19 34 6 25 23 17 18 6 23 21 9 10 12 27 17 27 16 35 22 19 32 18 34 4 0 , 9 18 34 34 4 5 20 17 27 35 2 23 16 19 34 33 30 31 25 7 29 34 20 35 12 10 2 3 32 18 34 6 3 6 25 3 32 10 2 3 33 2 23 35 2 3 34 4 31 25 3 33 2 8 5 32 28 0 31 3 20 35 11 30 9 10 2 7 22 35 11 2 8 0 5 20 21 1 29 34 34 6 7 2 7 30 ->= 9 28 1 11 12 28 0 9 14 25 8 15 17 13 13 13 28 9 10 11 11 22 19 33 12 13 28 15 24 7 29 4 1 12 28 5 6 8 0 1 12 10 12 10 29 20 19 33 30 15 16 19 32 28 1 2 7 12 13 10 30 5 33 11 2 23 24 7 12 27 16 16 24 25 23 35 2 8 15 21 31 26 10 12 18 32 27 21 9 13 27 35 22 16 21 0 31 25 7 29 4 , 0 1 2 3 4 5 6 7 2 8 9 10 11 12 13 14 3 4 15 16 16 17 18 4 15 19 20 21 5 20 19 4 1 11 22 16 21 1 2 23 24 25 25 7 2 8 0 5 6 26 27 17 27 21 0 15 21 9 28 5 6 25 26 18 4 15 24 23 21 1 29 6 23 24 8 5 6 7 11 30 0 0 0 15 16 35 -> 31 8 31 23 16 16 24 7 29 32 18 33 12 18 34 6 26 18 20 21 5 32 28 9 18 33 11 30 15 16 16 17 14 3 32 13 13 10 22 19 4 31 7 22 21 0 5 20 16 16 24 8 1 11 2 26 18 34 33 29 20 24 3 4 15 24 8 15 24 7 11 11 22 21 1 22 17 10 11 22 17 27 16 21 15 24 23 19 6 23 24 8 15 35 30 5 33 29 32 10 11 , 5 20 19 20 21 31 3 33 2 3 34 20 16 16 24 3 33 22 21 15 21 5 33 30 5 20 24 3 4 31 8 5 20 17 18 20 19 34 20 16 19 34 32 10 22 19 33 2 3 4 15 21 0 0 0 5 4 1 2 3 4 1 2 3 20 19 20 19 33 2 26 14 3 6 26 14 8 9 14 3 33 30 0 15 16 35 -> 5 4 31 3 20 16 16 35 29 32 18 32 18 6 25 25 8 1 2 26 14 7 11 12 10 12 13 28 1 29 32 13 27 17 18 32 28 31 25 23 35 30 15 24 23 21 0 0 31 7 22 24 7 29 33 2 23 17 18 4 1 12 18 20 24 25 3 4 1 30 5 33 2 26 13 28 9 13 27 35 12 27 16 24 3 32 10 30 9 27 21 9 13 10 30 1 30 9 10 30 1 , 15 35 29 34 6 3 20 19 34 6 8 15 35 12 10 11 30 0 5 32 10 12 27 16 17 14 25 3 33 30 31 25 3 33 12 18 20 24 8 1 11 22 19 33 22 24 26 28 1 29 34 4 0 5 20 21 5 32 27 21 31 25 3 20 35 12 28 9 18 4 5 32 10 30 5 20 19 32 28 31 3 20 19 4 15 35 -> 0 5 32 28 31 25 3 32 13 28 5 32 10 12 14 26 13 28 15 24 8 31 8 1 2 23 35 2 26 13 13 10 11 12 28 15 35 29 32 13 18 32 13 13 10 22 17 14 23 21 9 13 28 1 2 8 9 28 31 8 9 27 24 7 22 24 8 0 5 32 13 10 11 30 0 1 22 21 15 19 34 32 14 8 0 1 30 15 35 12 10 30 31 25 26 14 8 15 21 1 11 , 31 7 30 1 30 1 22 17 28 15 21 15 16 35 12 28 5 4 9 14 25 25 25 25 25 8 31 26 18 32 14 3 33 22 35 11 12 27 16 21 31 8 1 29 4 31 25 3 33 12 27 19 33 2 8 5 6 23 19 20 35 30 1 11 2 25 26 28 15 16 35 2 25 8 31 23 21 9 18 32 28 9 14 7 22 35 -> 31 8 5 20 35 12 27 17 14 7 12 28 5 20 16 16 21 0 15 17 14 25 23 17 14 23 24 8 5 6 23 35 30 1 12 27 35 22 24 3 32 14 8 15 19 20 21 0 0 0 5 32 14 7 2 3 32 27 35 11 2 25 26 27 19 33 11 29 32 13 13 13 10 2 8 0 1 12 10 12 10 12 10 22 24 3 32 28 9 10 29 33 22 16 17 13 13 28 9 13 10 , 15 35 22 35 12 10 22 19 4 1 2 23 24 26 18 4 1 22 21 0 1 29 32 13 10 11 2 8 31 8 0 5 4 1 30 9 28 15 17 28 15 16 19 6 25 7 11 30 9 10 11 30 1 29 33 12 27 17 27 35 30 9 28 1 11 30 1 30 31 25 7 30 31 23 21 1 30 31 23 24 3 4 1 2 23 35 -> 15 16 17 14 3 32 13 18 20 35 29 33 12 27 19 32 13 28 9 13 13 18 20 16 21 5 33 11 22 17 10 11 22 35 2 25 23 35 29 32 28 9 28 0 1 2 25 3 6 3 4 31 8 31 23 17 13 10 12 27 16 35 30 15 35 11 12 18 4 9 13 18 4 31 23 35 22 19 6 26 13 14 8 31 23 35 22 17 14 8 1 29 34 6 23 16 24 8 9 27 35 , 15 35 30 1 11 12 28 0 0 15 17 13 10 30 15 17 18 33 22 19 32 14 7 29 20 19 4 31 23 16 21 0 0 15 24 23 24 25 25 7 30 5 20 21 1 2 8 9 14 7 11 12 13 28 5 6 26 14 8 0 9 14 8 5 20 17 18 32 18 34 20 35 2 25 25 25 23 21 0 0 31 8 1 29 20 35 -> 1 22 17 10 2 26 13 13 13 14 26 18 33 29 34 34 20 24 8 31 23 16 17 28 31 3 34 20 16 19 32 13 28 5 6 23 19 32 27 17 13 10 29 32 28 0 15 35 22 35 22 24 3 20 17 27 24 26 13 10 30 1 30 5 4 9 13 28 9 14 26 10 22 24 7 12 14 26 18 32 10 22 17 10 29 33 2 25 7 12 14 8 9 27 35 11 29 32 28 31 7 , 5 6 26 14 3 34 4 5 33 22 19 20 21 9 18 33 2 7 11 12 13 18 20 35 30 9 28 5 34 33 11 30 1 29 6 8 0 1 30 15 16 35 12 13 18 20 16 16 24 8 5 6 7 29 20 24 3 4 0 5 4 1 11 30 0 1 2 3 6 26 27 35 2 3 6 26 10 12 18 6 8 9 27 16 21 1 -> 9 13 13 13 27 19 4 31 3 33 12 27 17 28 9 27 21 15 19 6 3 4 31 23 17 18 6 25 26 27 16 24 3 32 10 30 31 7 29 4 1 12 27 16 19 20 21 0 1 29 6 26 18 6 8 9 14 7 29 32 10 2 7 2 3 32 10 30 15 19 34 32 27 16 16 35 29 20 17 18 32 27 16 17 14 7 30 31 23 24 7 29 32 10 30 9 14 8 31 3 33 , 31 26 14 3 20 35 11 30 31 3 4 5 34 4 0 0 31 25 25 7 2 3 20 17 10 11 30 15 19 4 31 8 5 20 19 6 25 25 7 12 13 14 25 25 25 8 9 13 18 4 5 34 6 3 33 11 11 11 29 4 0 0 1 22 17 27 21 0 5 33 11 29 4 31 7 29 34 34 33 2 25 25 25 8 0 1 -> 9 14 7 11 22 24 23 17 28 0 31 23 19 20 35 30 31 3 20 35 29 33 22 19 4 0 9 14 23 19 20 35 29 4 1 22 16 24 25 23 35 22 17 27 17 10 12 27 35 12 14 25 8 5 34 20 24 23 35 29 34 33 12 10 22 17 28 15 16 24 3 32 28 9 27 24 26 13 28 15 35 11 29 33 29 34 20 16 19 32 13 18 20 17 27 21 5 33 29 20 35 , 31 23 21 1 11 30 15 21 15 35 22 21 5 20 16 21 1 30 1 29 4 5 4 31 23 24 8 5 34 20 21 5 20 19 20 16 35 29 34 34 20 17 10 22 17 18 20 35 29 32 18 33 11 12 27 16 24 8 0 1 30 5 34 4 31 8 0 0 31 7 11 22 19 34 34 20 19 32 18 33 22 19 20 24 7 11 -> 1 12 10 22 16 21 9 28 9 13 28 0 0 15 35 22 19 6 23 21 9 14 7 11 11 29 32 13 14 7 11 11 12 14 23 16 17 28 1 12 28 9 28 1 22 24 7 12 10 22 17 28 31 25 7 29 6 3 32 28 9 27 24 8 0 9 27 35 2 8 15 17 13 14 26 14 8 31 7 29 20 21 5 34 32 13 10 30 15 16 16 19 32 27 19 34 20 24 3 32 10 , 5 6 25 23 16 16 21 0 5 4 0 0 15 35 30 9 27 16 24 8 9 10 30 15 17 28 31 25 26 14 7 22 35 30 1 12 28 31 7 2 25 26 10 30 15 24 7 22 35 11 11 30 5 4 9 28 15 16 17 18 4 5 32 27 21 15 35 2 3 33 29 20 21 0 1 22 19 34 4 1 29 20 19 6 7 11 -> 9 27 24 8 15 24 25 23 17 13 13 10 30 9 28 9 14 3 6 7 12 27 24 25 23 35 22 19 33 12 27 17 10 29 4 15 19 4 5 33 22 19 4 31 3 32 13 28 15 17 14 23 16 16 16 21 0 1 12 27 35 11 12 13 28 15 19 33 11 12 10 22 21 9 10 30 15 19 4 9 13 14 25 3 32 27 19 4 15 35 29 33 12 18 32 13 28 15 24 7 11 , 31 25 25 8 5 20 35 2 26 13 27 35 22 21 0 1 12 28 1 2 25 3 4 31 23 19 34 20 17 27 17 18 4 15 24 8 0 15 19 33 30 9 10 29 34 4 5 6 23 16 19 34 6 8 1 22 16 19 32 18 20 24 26 18 20 24 25 8 1 29 34 34 6 23 35 2 23 35 2 3 4 5 20 19 33 11 -> 15 24 7 12 13 18 34 4 31 26 10 29 32 28 15 24 26 14 25 3 32 10 22 24 23 21 15 19 33 29 6 23 19 6 8 31 8 5 33 12 27 16 19 20 24 23 16 24 8 9 27 19 33 22 19 6 23 17 18 20 16 24 26 10 29 20 16 19 32 13 13 27 16 19 33 29 33 2 25 23 19 33 29 32 10 12 14 25 23 17 10 12 14 26 18 34 33 29 20 24 7 , 31 7 29 32 18 34 4 9 28 0 1 12 27 35 29 20 21 5 20 21 1 2 3 32 27 19 20 19 33 30 1 30 1 11 22 35 12 28 15 17 14 8 1 11 29 4 0 15 19 4 9 28 15 21 5 34 34 20 19 34 6 7 2 7 12 18 20 16 16 16 16 17 27 35 30 0 15 35 22 21 0 31 26 18 33 11 -> 1 30 0 9 27 24 3 34 6 25 7 12 13 18 4 9 28 9 14 8 0 1 2 23 24 25 26 28 1 2 8 5 6 23 35 29 32 27 19 32 14 25 8 1 29 6 8 9 13 13 13 10 12 10 11 22 35 22 19 6 26 10 22 24 26 14 23 21 5 6 8 9 10 22 17 10 12 18 32 14 23 19 6 8 9 18 32 13 27 24 23 35 11 12 27 17 13 13 14 25 7 , 5 20 16 19 20 17 18 20 24 26 27 16 21 15 35 30 31 3 4 31 25 26 10 30 5 32 18 33 29 33 22 21 0 9 28 1 30 15 21 0 5 34 4 5 20 24 23 16 21 5 4 0 1 30 5 34 34 33 29 4 5 6 3 4 5 32 27 17 28 0 5 32 18 34 33 2 8 1 30 1 30 1 11 29 6 7 -> 0 15 17 27 16 19 34 32 13 13 28 9 14 3 34 20 16 16 19 32 27 17 18 33 30 15 21 5 20 19 32 13 13 27 24 23 35 30 31 8 0 15 17 18 32 28 15 17 28 9 28 15 24 8 0 1 12 28 9 18 34 4 0 31 8 5 4 0 31 8 15 35 11 22 35 30 5 33 22 21 1 22 24 3 34 32 14 26 13 13 14 8 5 6 26 10 22 19 20 24 7 , 15 19 33 11 30 15 19 6 25 8 15 16 24 7 22 19 20 19 33 30 15 17 10 29 20 21 31 3 34 4 31 25 3 32 18 33 29 6 7 29 20 16 16 16 21 31 26 28 15 19 4 31 8 15 17 27 17 10 30 9 10 22 21 0 5 4 1 29 4 15 35 11 29 4 0 1 11 11 29 33 29 34 6 23 19 33 -> 0 0 5 32 10 2 7 30 9 10 2 26 28 15 24 26 10 30 15 21 31 3 33 12 27 16 21 0 9 28 5 4 9 27 16 21 0 9 10 29 32 18 20 17 10 22 19 32 10 11 30 5 20 17 10 22 24 26 27 19 32 28 5 33 22 21 15 24 23 21 5 34 33 30 5 34 4 9 28 15 21 1 29 32 14 23 21 9 27 24 25 23 24 8 31 25 23 17 13 13 10 , 15 35 12 10 12 13 28 5 6 25 26 27 35 12 28 5 32 28 9 14 3 32 14 25 25 25 26 18 4 15 21 0 31 25 25 3 32 18 34 20 21 15 24 3 34 6 26 18 6 7 12 10 2 3 34 33 12 14 3 6 7 11 29 20 21 0 9 28 0 0 0 15 21 31 25 7 22 35 22 19 6 7 2 3 34 33 -> 15 35 30 31 8 15 17 18 34 32 13 28 1 30 0 0 15 19 33 22 24 8 5 32 14 23 16 16 19 32 10 12 10 12 14 26 14 25 23 35 2 8 1 22 17 18 4 15 17 13 13 27 21 9 27 21 9 14 3 32 10 2 26 18 32 10 12 13 14 8 5 33 2 25 26 13 14 25 8 1 22 35 22 21 1 22 16 17 28 9 18 4 5 4 1 2 26 28 15 16 35 , 31 8 15 35 29 20 19 4 9 18 34 33 30 15 19 6 23 21 9 27 24 3 32 28 15 17 28 31 8 9 14 8 5 4 15 19 33 29 20 16 35 29 33 22 16 19 6 25 8 0 9 14 26 28 31 26 13 14 3 6 3 34 33 2 25 3 20 16 35 30 9 27 17 10 30 31 3 4 0 15 24 23 16 21 9 10 -> 5 6 25 26 13 13 10 29 34 6 8 15 19 6 7 29 33 22 21 15 16 17 13 27 19 20 35 22 17 27 16 17 28 9 10 29 20 35 30 9 14 23 35 30 9 27 35 29 20 16 17 28 0 9 10 22 17 14 3 6 23 17 13 27 21 15 35 2 25 23 24 26 10 22 16 16 35 29 20 17 18 32 10 30 9 13 13 13 28 31 7 11 12 27 16 19 6 23 35 2 7 , 15 21 9 18 33 11 2 25 8 0 15 24 8 0 0 0 1 30 9 10 12 10 29 6 25 3 6 26 27 21 15 35 11 22 24 25 26 10 29 20 21 31 7 2 7 29 6 25 3 4 5 33 11 30 1 29 4 9 14 8 0 0 9 18 20 16 24 8 15 16 24 26 13 27 24 7 22 35 22 17 18 34 32 28 9 10 -> 1 11 12 13 18 34 20 17 14 23 35 22 17 27 35 2 8 9 14 3 32 27 16 17 10 12 13 13 18 33 11 12 10 12 28 31 23 19 32 13 10 29 20 19 6 25 26 10 11 12 27 16 19 34 6 25 26 27 17 18 33 30 9 14 23 24 8 0 31 7 11 22 35 22 24 3 33 2 8 5 6 26 28 0 5 20 17 27 16 21 15 17 13 28 0 9 27 17 13 27 35 , 0 0 9 13 27 17 14 7 2 3 34 6 7 2 7 2 25 8 1 30 9 14 25 7 29 32 28 31 26 18 4 5 20 21 15 21 15 35 22 35 2 23 24 8 0 0 31 8 31 7 2 26 27 16 19 4 31 25 7 11 2 23 19 20 24 7 22 19 4 5 33 11 11 11 29 20 24 7 2 7 11 11 29 33 12 10 -> 31 3 33 2 8 31 8 9 18 6 23 19 34 6 3 6 3 32 27 19 6 7 30 9 14 26 27 24 25 25 26 18 6 8 5 34 20 19 20 16 17 14 26 27 24 23 16 17 14 7 30 31 26 14 3 34 32 13 28 15 16 19 32 14 23 17 14 26 27 17 14 26 13 14 3 33 30 0 1 22 17 27 19 6 26 14 26 14 23 35 30 9 28 0 31 3 20 21 9 18 33 , 9 14 23 19 32 14 3 33 30 9 18 34 32 27 35 11 2 3 20 24 23 24 7 11 11 29 20 17 28 1 30 9 13 10 22 16 16 19 20 35 11 29 34 34 6 8 0 15 21 5 33 29 20 21 5 34 34 6 7 11 11 22 35 30 1 12 18 6 26 28 15 17 10 2 25 23 21 0 0 15 21 0 15 35 11 11 ->= 9 28 5 34 6 25 23 17 14 8 9 13 13 18 6 7 2 26 10 30 9 27 17 14 25 3 32 14 7 22 17 14 25 25 3 32 14 3 20 24 3 32 18 32 18 6 25 8 0 15 35 30 15 19 34 34 20 17 10 22 35 22 16 16 16 24 3 20 35 12 13 10 29 4 31 23 19 34 6 25 23 17 18 6 23 21 9 10 12 27 17 27 16 35 22 19 32 18 34 4 1 , 9 18 34 34 4 5 20 17 27 35 2 23 16 19 34 33 30 31 25 7 29 34 20 35 12 10 2 3 32 18 34 6 3 6 25 3 32 10 2 3 33 2 23 35 2 3 34 4 31 25 3 33 2 8 5 32 28 0 31 3 20 35 11 30 9 10 2 7 22 35 11 2 8 0 5 20 21 1 29 34 34 6 7 2 7 11 ->= 9 28 1 11 12 28 0 9 14 25 8 15 17 13 13 13 28 9 10 11 11 22 19 33 12 13 28 15 24 7 29 4 1 12 28 5 6 8 0 1 12 10 12 10 29 20 19 33 30 15 16 19 32 28 1 2 7 12 13 10 30 5 33 11 2 23 24 7 12 27 16 16 24 25 23 35 2 8 15 21 31 26 10 12 18 32 27 21 9 13 27 35 22 16 21 0 31 25 7 29 33 , 0 1 2 3 4 5 6 7 2 8 9 10 11 12 13 14 3 4 15 16 16 17 18 4 15 19 20 21 5 20 19 4 1 11 22 16 21 1 2 23 24 25 25 7 2 8 0 5 6 26 27 17 27 21 0 15 21 9 28 5 6 25 26 18 4 15 24 23 21 1 29 6 23 24 8 5 6 7 11 30 0 0 0 15 16 24 -> 31 8 31 23 16 16 24 7 29 32 18 33 12 18 34 6 26 18 20 21 5 32 28 9 18 33 11 30 15 16 16 17 14 3 32 13 13 10 22 19 4 31 7 22 21 0 5 20 16 16 24 8 1 11 2 26 18 34 33 29 20 24 3 4 15 24 8 15 24 7 11 11 22 21 1 22 17 10 11 22 17 27 16 21 15 24 23 19 6 23 24 8 15 35 30 5 33 29 32 10 2 , 5 20 19 20 21 31 3 33 2 3 34 20 16 16 24 3 33 22 21 15 21 5 33 30 5 20 24 3 4 31 8 5 20 17 18 20 19 34 20 16 19 34 32 10 22 19 33 2 3 4 15 21 0 0 0 5 4 1 2 3 4 1 2 3 20 19 20 19 33 2 26 14 3 6 26 14 8 9 14 3 33 30 0 15 16 24 -> 5 4 31 3 20 16 16 35 29 32 18 32 18 6 25 25 8 1 2 26 14 7 11 12 10 12 13 28 1 29 32 13 27 17 18 32 28 31 25 23 35 30 15 24 23 21 0 0 31 7 22 24 7 29 33 2 23 17 18 4 1 12 18 20 24 25 3 4 1 30 5 33 2 26 13 28 9 13 27 35 12 27 16 24 3 32 10 30 9 27 21 9 13 10 30 1 30 9 10 30 31 ,
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Relative