Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Relative pair #487082343
details
property
value
status
complete
benchmark
41378.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n149.star.cs.uiowa.edu
space
ICFP_2010_relative
run statistics
property
value
solver
MultumNonMulta 20 June 2020 20G sparse
configuration
default
runtime (wallclock)
5.78492 seconds
cpu usage
19.79
user time
17.74
system time
2.05
max virtual memory
2.557442E7
max residence set size
5111596.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 0 0 2 0 0 1 1 1 3 3 1 2 2 4 5 3 2 1 4 1 0 5 0 4 5 4 4 3 4 4 1 0 5 5 2 5 3 5 2 4 3 0 0 2 2 4 1 5 3 5 0 0 1 2 4 3 5 4 2 4 3 0 2 1 2 1 5 0 0 5 4 0 4 3 0 2 3 5 5 1 3 -> 5 1 0 0 2 5 2 1 4 5 5 2 3 3 1 1 3 2 1 4 1 3 0 3 2 5 0 4 3 2 2 3 4 2 1 5 2 4 4 5 2 2 1 0 2 1 2 2 1 0 0 4 4 3 0 2 2 1 2 0 2 5 1 5 1 5 0 2 0 0 3 5 4 5 2 5 3 4 3 1 0 5 5 5 4 3 3 2 1 3 0 1 5 1 4 1 0 1 4 0 , 0 0 3 3 1 1 5 1 0 3 0 1 4 0 3 2 0 3 1 3 4 4 2 4 5 3 5 0 2 1 0 1 3 5 0 5 2 3 4 4 3 4 1 3 5 4 4 5 5 0 2 0 5 4 1 3 0 0 1 3 4 5 1 5 3 3 0 4 0 5 0 1 1 4 3 1 0 3 2 4 5 3 4 3 0 -> 3 2 1 5 0 4 2 3 3 1 2 4 4 3 1 5 4 2 4 4 3 5 1 0 1 1 1 2 1 3 0 2 5 0 4 5 1 0 0 2 2 0 2 4 3 1 0 5 2 2 2 2 5 3 0 2 4 3 5 0 2 2 4 2 2 2 2 1 0 4 1 2 2 1 5 2 1 4 0 0 4 2 2 3 1 5 1 2 4 2 2 3 1 4 3 2 0 5 4 5 , 0 3 3 4 0 0 0 1 2 4 3 0 1 3 2 3 1 0 4 4 3 4 5 0 1 3 2 1 5 3 1 5 5 2 0 5 1 0 4 5 3 3 0 5 1 5 5 0 4 2 1 3 2 2 3 3 2 0 1 5 3 2 1 2 4 3 4 5 0 3 0 3 0 5 3 2 2 0 4 3 4 0 4 0 5 -> 3 3 5 4 1 2 5 3 3 3 4 5 3 0 1 0 4 3 4 5 4 5 5 4 1 2 1 1 2 1 4 4 0 3 5 2 3 1 1 3 3 1 3 1 4 1 4 1 5 5 3 4 1 5 3 0 5 5 2 4 2 4 3 0 1 4 0 5 1 2 2 3 4 3 1 2 1 4 2 2 1 1 2 2 0 0 2 0 1 1 3 4 2 1 4 2 5 2 5 1 , 0 4 2 5 3 2 4 2 4 3 3 2 3 2 2 0 1 4 5 4 1 4 3 2 5 0 4 1 4 3 4 3 5 0 2 3 0 1 1 0 5 2 3 0 4 4 1 2 1 0 5 5 0 5 4 2 4 3 3 5 2 4 3 5 4 4 3 2 4 2 3 4 4 5 5 3 4 0 1 1 0 4 1 0 3 -> 1 3 1 1 4 5 3 5 4 2 0 2 0 1 5 4 0 5 1 4 1 3 1 4 2 5 0 4 2 0 1 2 2 3 5 4 1 1 2 1 4 1 1 2 1 0 4 1 4 2 3 5 4 2 1 0 3 2 2 4 0 2 1 2 2 1 3 4 4 3 2 1 2 4 3 2 5 4 4 4 3 5 0 3 0 3 4 0 4 1 4 5 2 3 0 3 5 5 5 5 , 1 2 5 1 0 4 5 4 2 0 3 0 3 0 0 3 3 1 2 0 1 4 3 0 1 1 0 0 4 0 0 3 0 0 4 0 3 0 0 0 0 5 0 3 5 4 2 3 0 1 0 1 4 3 2 5 5 4 5 5 4 5 1 1 5 1 0 1 0 4 4 5 2 0 3 3 3 0 3 0 2 0 0 1 1 -> 5 1 2 4 2 2 2 2 1 1 2 4 5 0 4 3 0 0 3 2 0 4 5 0 3 1 5 3 2 1 5 5 1 5 1 2 0 5 0 0 5 5 4 4 1 1 3 3 5 0 2 4 2 5 4 3 4 4 2 4 0 2 0 1 3 0 1 4 4 2 5 0 3 2 1 4 2 4 1 3 3 5 3 4 1 3 0 1 0 5 5 2 5 5 1 3 1 0 1 4 , 1 3 4 5 0 0 3 5 2 4 4 0 4 4 0 4 5 5 5 3 2 2 0 2 0 1 3 0 5 4 5 5 4 0 1 5 5 3 2 1 5 4 0 3 3 2 0 3 5 5 4 5 3 5 5 0 4 1 5 3 1 2 0 0 2 1 3 5 4 4 5 4 5 5 1 4 1 1 0 3 1 0 0 1 1 -> 2 1 0 5 2 2 2 1 0 2 3 3 4 2 5 2 0 2 3 2 4 5 1 3 1 3 3 5 0 4 5 4 4 5 3 2 4 1 4 0 4 5 4 2 0 4 2 1 3 5 5 0 1 1 5 3 0 3 4 1 2 4 0 3 2 3 0 5 4 5 2 5 2 1 3 1 1 2 2 3 1 2 0 1 2 1 4 2 1 1 2 2 1 5 1 2 3 0 0 5 , 1 5 0 0 4 0 2 0 5 4 3 5 0 4 2 3 3 1 1 0 5 5 4 5 0 1 1 5 5 0 5 5 2 2 1 1 1 5 1 2 3 4 3 4 1 3 3 0 0 2 5 4 0 0 0 5 3 2 4 5 3 1 5 3 4 2 2 5 3 4 0 2 3 5 2 2 0 0 4 4 1 1 3 4 0 -> 4 3 1 0 3 1 5 3 2 1 1 4 3 0 1 3 0 3 2 1 2 3 0 2 2 0 0 2 0 2 2 0 2 0 3 5 5 4 0 2 1 1 5 3 2 1 3 2 1 1 1 0 5 3 5 1 3 3 4 2 1 5 0 5 4 2 4 0 2 5 0 0 3 2 4 5 0 2 2 1 1 2 1 2 5 5 3 2 1 2 0 3 4 2 2 3 5 0 2 4 , 2 2 0 4 4 2 3 2 3 5 0 4 5 2 2 2 3 2 3 0 4 5 0 0 5 4 3 2 0 5 2 1 0 5 2 4 4 3 5 4 5 0 5 5 5 5 4 0 0 3 2 5 3 0 3 0 2 3 5 4 3 5 4 3 1 1 0 5 3 5 0 0 5 2 4 5 3 3 5 5 2 5 3 5 5 -> 2 2 3 5 3 4 5 1 4 1 2 5 1 1 2 3 1 3 2 3 1 1 5 5 3 4 5 1 5 1 1 3 1 5 3 5 2 1 4 1 3 1 0 4 0 1 4 1 0 3 5 3 4 1 1 3 2 1 3 5 5 2 3 5 2 1 0 4 0 2 1 1 1 3 3 3 0 2 5 1 2 5 3 3 2 4 5 1 4 0 1 1 2 4 5 5 2 3 4 4 , 2 3 1 0 3 4 1 5 1 5 0 1 4 5 5 3 3 4 3 2 5 2 0 2 0 1 5 2 2 3 5 0 1 5 0 0 2 4 1 0 2 5 0 3 4 2 3 5 4 3 3 3 5 0 4 0 1 4 0 4 0 3 5 1 0 0 3 0 2 1 4 4 5 1 0 3 1 0 4 2 1 5 1 1 3 -> 1 2 3 4 4 0 3 5 3 2 4 3 2 2 5 1 0 2 2 1 3 2 2 4 2 1 0 5 5 1 1 4 4 2 5 5 1 1 3 2 1 4 2 3 0 5 0 1 1 1 1 4 4 4 0 3 0 4 3 5 3 5 3 3 2 4 4 2 3 4 1 4 1 4 1 5 3 2 4 4 3 0 1 1 4 0 2 4 1 1 2 2 5 0 4 3 1 3 5 5 , 3 1 1 1 5 2 0 3 5 3 3 5 3 2 4 2 2 0 0 2 2 3 1 5 0 2 3 4 5 2 3 3 2 5 4 1 5 5 4 2 0 4 1 3 4 0 4 5 4 4 3 4 4 5 1 1 3 5 0 3 5 4 4 2 3 4 2 4 4 4 5 3 4 0 1 0 2 5 2 2 4 3 0 0 3 -> 1 1 3 4 5 2 1 2 0 3 1 1 5 3 4 0 1 3 1 3 2 4 0 2 5 0 3 5 0 4 4 4 1 1 2 4 5 1 3 0 3 1 4 0 1 3 0 3 2 2 1 0 4 0 2 3 1 5 0 0 5 3 3 4 3 2 1 0 0 4 2 4 1 3 4 1 1 2 1 5 1 1 0 2 2 1 4 5 4 3 4 0 3 2 2 1 2 0 3 1 , 3 1 5 1 5 2 0 3 0 0 3 1 0 4 5 0 0 3 2 5 2 2 1 4 0 5 1 0 4 0 1 4 0 2 0 4 2 5 3 3 2 0 3 4 5 1 1 2 0 0 1 0 1 5 2 1 1 4 5 4 4 3 4 3 0 1 0 4 0 4 4 4 0 3 3 3 5 1 2 0 1 2 0 0 0 -> 4 3 4 5 5 4 2 2 1 2 1 5 1 1 5 2 3 0 4 1 5 5 2 1 2 1 3 5 1 0 3 2 5 1 3 0 2 3 2 1 0 5 5 4 0 1 3 2 1 5 3 5 5 2 0 0 2 1 3 2 2 3 1 1 2 0 5 3 1 3 1 5 3 4 4 1 4 5 3 4 2 5 0 1 2 4 2 4 0 0 1 1 2 3 3 5 4 2 3 4 , 3 4 4 2 1 3 2 3 3 1 2 3 2 3 4 1 4 5 5 5 0 4 5 4 2 1 0 5 1 0 1 5 5 5 3 3 5 4 0 4 3 4 4 5 2 4 0 5 5 1 1 3 0 5 0 5 0 5 1 5 2 5 4 0 4 5 0 0 5 5 2 1 4 0 5 0 4 0 1 0 4 4 2 0 1 -> 0 1 5 0 0 4 2 3 1 1 0 0 4 1 5 2 0 2 1 1 2 3 1 2 3 1 0 3 3 5 4 1 3 5 4 0 3 4 1 2 4 5 3 3 2 2 2 5 4 1 1 4 0 3 2 2 1 5 4 2 3 4 5 2 4 0 5 5 0 1 4 3 1 0 1 5 5 4 2 1 2 3 2 0 2 3 0 0 5 3 2 3 2 1 3 3 4 1 4 5 , 4 5 2 4 5 2 5 3 0 4 2 5 0 2 2 2 0 0 3 4 2 5 3 0 3 2 5 3 3 5 1 3 3 5 4 2 3 2 4 3 5 1 0 1 4 5 3 4 1 5 0 5 5 5 5 5 4 5 1 2 1 4 0 5 1 2 5 4 0 4 2 3 4 5 1 3 3 3 0 1 5 1 1 3 0 -> 4 2 1 0 4 1 4 1 1 2 2 5 3 1 5 1 4 3 2 4 5 3 0 1 1 3 4 3 3 1 1 4 2 4 0 1 4 2 3 3 5 4 5 0 0 4 0 5 0 0 5 1 4 0 1 2 4 2 0 0 2 1 5 4 2 5 1 2 5 1 3 3 4 4 3 2 1 1 0 3 2 3 2 1 4 3 2 2 3 0 4 2 1 5 2 1 1 0 4 1 , 5 0 3 5 3 2 3 4 3 0 3 0 3 5 1 0 5 0 2 2 5 4 2 3 3 1 5 5 4 2 5 5 3 2 2 2 2 1 0 5 5 0 3 3 4 0 5 0 1 0 0 1 2 0 1 3 2 0 5 1 4 2 5 3 3 4 3 2 4 4 5 1 2 5 3 4 0 5 1 3 5 4 3 5 3 -> 4 1 1 1 2 2 2 3 5 1 2 1 0 0 5 2 3 1 0 1 2 2 1 2 2 2 4 2 2 2 3 3 3 4 2 5 4 3 5 4 5 3 2 0 0 2 2 2 3 3 2 4 5 2 2 2 1 2 0 5 5 4 0 0 4 1 1 0 3 2 3 5 0 1 2 1 3 2 4 2 0 1 5 4 5 4 3 0 5 2 2 1 5 0 0 4 1 0 0 2 , 5 3 4 4 2 1 4 2 4 2 3 4 4 2 3 5 5 1 5 3 4 0 1 5 4 0 5 4 4 1 0 4 3 2 4 5 2 3 1 4 3 4 0 2 3 2 0 5 5 2 0 4 4 5 5 2 3 2 3 4 5 5 5 3 4 5 4 0 0 5 0 1 5 0 1 4 4 1 3 3 2 0 2 3 1 -> 1 1 1 1 3 4 2 1 3 3 3 3 3 4 0 5 4 1 3 4 5 5 0 1 5 3 5 0 5 4 2 4 2 1 1 3 4 2 1 5 1 4 0 3 1 4 5 3 1 5 3 1 1 2 0 3 2 1 1 1 2 1 1 4 4 1 3 1 2 1 1 5 4 2 4 3 3 4 3 1 4 5 3 1 3 2 5 0 1 0 1 0 1 4 2 1 2 0 5 4 , 5 5 0 4 5 5 5 2 4 2 5 3 0 1 5 2 3 4 5 5 0 0 0 3 2 3 4 4 3 2 2 0 3 3 0 5 1 4 2 5 0 2 4 1 4 2 0 4 2 0 2 4 0 5 3 3 0 3 1 2 1 3 4 5 0 0 5 5 5 2 5 5 0 1 2 3 0 5 5 3 0 5 2 0 3 -> 2 3 1 5 5 5 1 5 1 5 4 4 4 3 1 1 1 3 3 5 5 1 1 1 4 1 1 1 4 4 4 1 2 4 4 2 0 5 2 4 2 2 0 3 3 5 5 1 4 2 3 1 2 5 5 1 4 3 3 2 3 3 0 0 2 1 0 5 2 1 3 2 0 0 4 3 2 2 3 1 2 3 1 2 1 0 2 1 2 1 1 3 5 1 0 5 3 4 1 4 , 0 4 0 2 1 1 0 0 3 1 3 2 3 3 3 2 5 4 2 0 1 0 4 0 5 2 3 0 1 0 0 0 5 2 4 2 0 1 3 0 3 4 4 3 3 0 5 3 3 0 4 4 4 2 4 4 0 4 5 4 1 4 5 5 2 5 3 5 4 1 3 0 1 3 4 0 0 5 2 3 5 4 4 4 1 ->= 1 5 3 2 0 1 1 3 0 5 2 0 5 2 0 1 3 3 3 4 0 2 3 1 5 0 2 0 3 2 0 3 5 4 4 4 4 0 2 0 4 2 5 2 2 1 2 3 0 1 3 1 4 2 0 3 2 4 2 2 2 1 2 4 5 5 5 1 3 3 1 1 2 1 0 4 0 4 3 4 1 2 2 1 1 4 0 3 4 1 2 5 5 4 4 1 2 2 4 5 , 1 1 2 5 3 5 5 0 5 0 3 3 4 3 2 3 1 4 4 5 3 1 4 3 0 2 4 0 4 4 2 5 5 0 2 3 5 4 4 4 2 0 2 3 3 0 5 4 4 4 0 3 1 2 1 5 4 2 5 1 2 5 5 5 1 3 5 4 4 3 1 2 4 2 5 3 3 5 4 2 0 2 0 5 2 ->= 1 2 0 5 1 4 3 2 1 1 2 1 3 3 2 0 5 5 2 4 1 2 1 2 1 3 1 0 3 2 2 2 3 2 2 2 0 4 4 1 0 4 3 4 2 4 0 5 2 0 5 0 2 4 1 5 1 4 4 0 3 0 2 0 1 1 1 2 4 0 4 2 2 1 0 3 2 3 0 1 0 3 4 2 1 0 4 0 1 3 1 2 2 2 0 1 5 3 3 4 , 1 3 5 4 5 5 2 3 3 2 0 5 2 5 4 1 3 3 4 2 3 5 4 3 0 5 0 1 5 5 2 4 0 0 0 0 1 1 0 5 2 2 1 4 1 0 0 0 5 5 5 1 3 0 4 3 0 3 1 5 2 0 5 4 0 3 2 3 2 3 4 3 4 0 5 2 0 5 2 4 1 5 5 5 5 ->= 5 0 1 0 5 0 5 0 0 4 3 5 2 0 0 2 3 2 2 2 3 3 2 5 0 0 5 2 5 1 4 2 1 1 3 0 0 2 5 2 0 1 3 5 5 3 4 1 1 2 1 2 3 5 0 3 1 4 0 4 1 4 1 2 2 5 1 3 0 4 1 3 2 4 0 3 0 1 4 4 2 0 0 0 1 4 2 0 0 1 1 2 3 5 1 5 2 4 3 2 , 2 0 5 3 1 0 0 1 4 3 0 1 2 1 1 2 5 5 1 4 1 4 0 3 4 3 1 5 1 0 1 1 2 2 0 2 3 1 4 4 5 5 5 4 3 5 4 2 5 5 2 0 0 0 3 4 3 4 3 0 1 3 4 5 2 1 3 4 1 4 5 0 2 5 4 2 4 2 4 3 1 3 0 4 5 ->= 1 4 1 0 4 2 2 1 5 5 5 0 1 4 0 5 2 5 5 3 3 1 4 1 2 5 3 0 1 3 4 3 3 2 1 2 1 4 2 4 2 2 3 2 2 1 5 2 4 1 2 1 0 1 3 3 3 0 2 3 5 4 3 1 0 4 3 3 3 5 0 1 4 1 0 4 1 2 3 0 3 4 2 2 5 3 5 4 0 3 5 1 4 5 5 2 3 1 1 4 } The system was reversed. After renaming modulo { 3->0, 1->1, 5->2, 2->3, 0->4, 4->5 }, it remains to prove termination of the 20-rule system { 0 1 2 2 0 3 4 0 5 4 5 2 4 4 2 1 3 1 3 4 0 5 3 5 2 0 5 3 1 4 4 2 0 2 1 5 3 3 4 4 0 5 3 2 0 2 3 2 2 4 1 5 5 0 5 5 2 5 4 2 4 1 5 1 3 0 2 5 3 3 1 0 0 1 1 1 4 4 3 4 4 1 1 4 4 -> 4 5 1 4 1 5 1 2 1 4 0 1 3 0 0 5 2 2 2 4 1 0 5 0 2 3 2 5 2 0 4 4 3 4 2 1 2 1 2 3 4 3 1 3 3 4 0 5 5 4 4 1 3 3 1 3 4 1 3 3 2 5 5 3 2 1 3 5 0 3 3 0 5 4 2 3 0 4 0 1 5 1 3 0 1 1 0 0 3 2 2 5 1 3 2 3 4 4 1 2 , 4 0 5 0 2 5 3 0 4 1 0 5 1 1 4 2 4 5 4 0 0 2 1 2 5 0 1 4 4 0 1 5 2 4 3 4 2 2 5 5 2 0 1 5 0 5 5 0 3 2 4 2 0 1 4 1 3 4 2 0 2 5 3 5 5 0 1 0 4 3 0 4 5 1 4 0 4 1 2 1 1 0 0 4 4 -> 2 5 2 4 3 0 5 1 0 3 3 5 3 1 2 1 0 3 3 5 4 4 5 1 3 2 1 3 3 1 5 4 1 3 3 3 3 5 3 3 4 2 0 5 3 4 0 2 3 3 3 3 2 4 1 0 5 3 4 3 3 4 4 1 2 5 4 2 3 4 0 1 3 1 1 1 4 1 2 0 5 5 3 5 2 1 0 5 5 3 1 0 0 3 5 4 2 1 3 0 , 2 4 5 4 5 0 5 4 3 3 0 2 4 0 4 0 4 2 5 0 5 3 1 3 0 2 1 4 3 0 0 3 3 0 1 3 5 4 2 2 1 2 4 0 0 2 5 4 1 2 4 3 2 2 1 0 2 1 3 0 1 4 2 5 0 5 5 4 1 0 3 0 1 4 0 5 3 1 4 4 4 5 0 0 4 -> 1 2 3 2 3 5 1 3 5 0 1 1 4 3 4 4 3 3 1 1 3 3 5 1 3 1 0 5 0 3 3 1 2 4 5 1 4 0 5 3 5 3 2 2 4 0 2 1 5 0 2 2 1 5 1 5 1 0 1 0 0 1 1 0 3 2 0 4 5 5 1 3 1 1 3 1 5 2 2 5 2 5 0 5 4 1 4 0 2 5 0 0 0 2 3 1 5 2 0 0 , 0 4 1 5 4 1 1 4 5 0 2 2 5 5 0 3 5 3 0 5 5 2 0 5 3 2 0 0 5 3 5 2 4 2 2 4 1 3 1 5 5 4 0 3 2 4 1 1 4 0 3 4 2 0 5 0 5 1 5 4 2 3 0 5 1 5 2 5 1 4 3 3 0 3 0 0 5 3 5 3 0 2 3 5 4 -> 2 2 2 2 0 4 0 3 2 5 1 5 4 5 0 4 0 4 2 0 5 5 5 2 3 0 5 3 1 3 0 5 5 0 1 3 3 1 3 4 5 3 3 0 4 1 3 5 2 0 3 5 1 5 4 1 3 1 1 5 1 3 1 1 5 2 0 3 3 1 4 3 5 4 2 3 5 1 0 1 5 1 2 4 5 2 1 4 3 4 3 5 2 0 2 5 1 1 0 1 , 1 1 4 4 3 4 0 4 0 0 0 4 3 2 5 5 4 1 4 1 2 1 1 2 5 2 2 5 2 2 3 0 5 1 4 1 4 0 3 5 2 0 4 2 4 4 4 4 0 4 5 4 4 0 4 4 5 4 4 1 1 4 0 5 1 4 3 1 0 0 4 4 0 4 0 4 3 5 2 5 4 1 2 3 1 -> 5 1 4 1 0 1 2 2 3 2 2 4 1 4 0 1 5 0 2 0 0 1 5 3 5 1 3 0 4 2 3 5 5 1 4 0 1 4 3 4 5 3 5 5 0 5 2 3 5 3 4 2 0 0 1 1 5 5 2 2 4 4 2 4 3 1 2 1 2 2 1 3 0 2 1 0 4 2 5 4 3 0 4 4 0 5 4 2 5 3 1 1 3 3 3 3 5 3 1 2 , 1 1 4 4 1 0 4 1 1 5 1 2 2 5 2 5 5 2 0 1 3 4 4 3 1 0 2 1 5 4 2 2 0 2 5 2 2 0 4 3 0 0 4 5 2 1 3 0 2 2 1 4 5 2 2 5 2 4 0 1 4 3 4 3 3 0 2 2 2 5 4 5 5 4 5 5 3 2 0 4 4 2 5 0 1 -> 2 4 4 0 3 1 2 1 3 3 1 1 3 5 1 3 1 4 3 1 0 3 3 1 1 0 1 3 2 3 2 5 2 4 0 3 0 4 5 3 1 5 0 4 0 2 1 1 4 2 2 0 1 3 5 4 3 5 2 5 4 5 1 5 3 0 2 5 5 2 5 4 2 0 0 1 0 1 2 5 3 0 3 4 3 2 3 5 0 0 3 4 1 3 3 3 2 4 1 3 , 4 5 0 1 1 5 5 4 4 3 3 2 0 3 4 5 0 2 3 3 5 0 2 1 0 2 5 3 0 2 4 4 4 5 2 3 4 4 0 0 1 5 0 5 0 3 1 2 1 1 1 3 3 2 2 4 2 2 1 1 4 2 5 2 2 4 1 1 0 0 3 5 4 2 0 5 2 4 3 4 5 4 4 2 1 -> 5 3 4 2 0 3 3 5 0 4 3 1 3 0 2 2 3 1 3 1 1 3 3 4 2 5 3 0 4 4 2 3 4 5 3 5 2 4 2 1 3 5 0 0 1 2 0 2 4 1 1 1 3 0 1 3 0 2 1 1 3 4 5 2 2 0 4 3 4 3 3 4 3 4 4 3 3 4 0 3 1 3 0 4 0 1 4 0 5 1 1 3 0 2 1 0 4 1 0 5 , 2 2 0 2 3 2 2 0 0 2 5 3 2 4 4 2 0 2 4 1 1 0 5 2 0 5 2 0 3 4 0 4 0 2 3 0 4 4 5 2 2 2 2 4 2 5 2 0 5 5 3 2 4 1 3 2 4 3 0 5 2 4 4 2 5 4 0 3 0 3 3 3 2 5 4 2 0 3 0 3 5 5 4 3 3 -> 5 5 0 3 2 2 5 3 1 1 4 5 1 2 5 3 0 0 2 3 1 2 3 4 0 0 0 1 1 1 3 4 5 4 1 3 2 0 3 2 2 0 1 3 0 1 1 5 0 2 0 4 1 5 1 4 5 4 1 0 1 5 1 3 2 0 2 1 0 1 1 2 1 2 5 0 2 2 1 1 0 3 0 1 0 3 1 1 2 3 1 5 1 2 5 0 2 0 3 3 , 0 1 1 2 1 3 5 4 1 0 4 1 2 5 5 1 3 4 0 4 4 1 2 0 4 5 4 5 1 4 5 4 2 0 0 0 5 2 0 3 5 0 4 2 3 4 1 5 3 4 4 2 1 4 2 0 3 3 2 1 4 3 4 3 2 3 0 5 0 0 2 2 5 1 4 2 1 2 1 5 0 4 1 0 3 -> 2 2 0 1 0 5 4 2 3 3 1 1 5 3 4 5 1 1 4 0 5 5 3 0 2 1 5 1 5 1 5 0 3 5 5 3 0 0 2 0 2 0 5 4 0 4 5 5 5 1 1 1 1 4 2 4 0 3 5 1 3 0 1 1 2 2 3 5 5 1 1 2 2 4 1 3 5 3 3 0 1 3 3 4 1 2 3 3 0 5 3 0 2 0 4 5 5 0 3 1 , 0 4 4 0 5 3 3 2 3 4 1 4 5 0 2 5 5 5 3 5 0 3 5 5 2 0 4 2 0 1 1 2 5 5 0 5 5 2 5 4 5 0 1 5 4 3 5 2 2 1 5 2 3 0 0 3 2 5 0 3 4 2 1 0 3 3 4 4 3 3 5 3 0 2 0 0 2 0 4 3 2 1 1 1 0 -> 1 0 4 3 1 3 3 0 4 5 0 5 2 5 1 3 3 4 1 1 2 1 3 1 1 5 0 1 5 3 5 4 4 1 3 0 5 0 0 2 4 4 2 1 0 3 4 5 4 1 3 3 0 4 0 1 4 5 1 0 4 0 1 2 5 3 1 1 5 5 5 4 2 0 4 2 3 4 5 3 0 1 0 1 4 5 0 2 1 1 0 4 3 1 3 2 5 0 1 1 , 4 4 4 3 1 4 3 1 2 0 0 0 4 5 5 5 4 5 4 1 4 0 5 0 5 5 2 5 1 1 3 2 1 4 1 4 4 3 1 1 2 5 0 4 3 0 0 2 3 5 4 3 4 5 1 4 5 4 1 2 4 5 1 3 3 2 3 0 4 4 2 5 4 1 0 4 4 0 4 3 2 1 2 1 0 -> 5 0 3 5 2 0 0 3 1 1 4 4 5 3 5 3 1 4 2 3 5 0 2 5 1 5 5 0 2 1 0 1 0 2 4 3 1 1 0 3 3 0 1 3 4 4 3 2 2 0 2 1 3 0 1 4 5 2 2 4 1 3 0 3 4 0 1 2 3 0 4 1 2 0 1 3 1 3 2 2 1 5 4 0 3 2 1 1 2 1 3 1 3 3 5 2 2 5 0 5 , 1 4 3 5 5 4 1 4 5 4 2 4 5 1 3 2 2 4 4 2 5 4 5 2 3 2 1 2 4 2 4 2 4 0 1 1 2 2 4 5 3 2 5 5 0 5 4 5 2 0 0 2 2 2 1 4 1 2 4 1 3 5 2 5 4 2 2 2 5 1 5 0 3 0 3 1 0 0 3 0 1 3 5 5 0 -> 2 5 1 5 0 0 1 3 0 3 0 2 4 4 0 3 4 3 0 3 1 3 5 2 2 1 4 1 0 5 1 4 2 2 4 5 3 2 5 0 3 5 2 1 3 3 0 4 5 1 1 5 2 3 3 3 0 0 2 5 3 1 5 0 4 5 2 0 1 5 2 0 0 4 1 0 3 1 0 3 1 1 3 4 3 2 1 5 4 4 1 1 0 3 5 4 4 2 1 4 , 4 0 1 1 2 1 4 0 0 0 1 2 5 0 3 5 4 5 2 3 1 2 4 5 1 3 1 2 5 2 2 2 2 2 4 2 1 5 0 2 5 1 4 1 2 0 5 3 0 3 5 2 0 0 1 2 0 0 2 3 0 4 0 2 3 5 0 4 4 3 3 3 4 2 3 5 4 0 2 3 2 5 3 2 5 -> 1 5 4 1 1 3 2 1 3 5 4 0 3 3 0 5 1 3 0 3 0 4 1 1 3 0 5 5 0 0 1 2 3 1 2 3 5 2 1 3 4 4 3 5 3 1 4 5 1 2 4 4 2 4 5 4 4 2 5 2 0 0 3 5 1 4 5 3 5 1 1 0 0 5 0 1 1 4 0 2 5 3 0 5 1 2 1 0 2 3 3 1 1 5 1 5 4 1 3 5 , 0 2 0 5 2 0 1 2 4 5 0 2 3 1 2 5 5 3 0 5 0 0 2 3 5 1 2 4 3 0 1 4 3 1 4 4 1 4 2 4 5 0 0 4 2 2 4 1 3 3 3 3 0 2 2 3 5 2 2 1 0 0 3 5 2 3 3 4 2 4 1 2 0 4 0 4 0 5 0 3 0 2 0 4 2 -> 3 4 4 1 5 4 4 2 1 3 3 2 4 0 5 2 5 2 1 4 3 5 3 0 1 3 1 4 2 0 3 0 4 1 1 5 4 4 5 2 2 4 3 1 3 3 3 2 5 3 0 0 3 3 3 4 4 3 0 2 5 2 0 5 2 3 5 0 0 0 3 3 3 5 3 3 3 1 3 3 1 4 1 0 3 2 4 4 1 3 1 2 0 3 3 3 1 1 1 5 , 1 0 3 4 3 0 0 1 5 5 1 4 2 1 4 2 4 4 5 2 5 0 2 2 2 5 0 3 0 3 2 2 5 5 4 3 2 2 4 3 0 3 4 5 0 5 1 0 3 2 5 3 0 5 4 1 5 5 2 4 5 2 1 4 5 0 2 1 2 2 0 3 5 5 0 3 5 3 5 1 3 5 5 0 2 -> 5 2 4 3 1 3 5 1 4 1 4 1 4 2 3 0 1 0 2 5 1 0 5 0 0 5 3 5 2 1 1 3 1 0 1 5 5 1 1 3 1 1 1 3 0 4 3 1 1 0 2 1 0 2 5 1 0 4 5 1 2 1 3 5 0 1 1 3 5 3 5 2 4 2 0 2 1 4 2 2 5 0 1 5 2 4 5 0 0 0 0 0 1 3 5 0 1 1 1 1 , 0 4 3 2 4 0 2 2 4 0 3 1 4 2 2 3 2 2 2 4 4 2 5 0 1 3 1 0 4 0 0 2 4 5 3 4 3 5 4 3 5 1 5 3 4 2 3 5 1 2 4 0 0 4 3 3 0 5 5 0 3 0 4 4 4 2 2 5 0 3 2 1 4 0 2 3 5 3 2 2 2 5 4 2 2 -> 5 1 5 0 2 4 1 2 0 1 1 3 1 3 4 1 3 1 0 3 1 0 3 3 0 5 4 4 3 0 1 3 2 4 1 3 4 4 0 0 3 0 0 5 1 2 2 3 1 0 3 5 1 2 2 0 0 4 3 3 5 3 2 4 3 5 5 3 1 5 5 5 1 1 1 5 1 1 1 2 2 0 0 1 1 1 0 5 5 5 2 1 2 1 2 2 2 1 0 3 , 1 5 5 5 2 0 3 2 4 4 5 0 1 4 0 1 5 2 0 2 3 2 2 5 1 5 2 5 4 5 5 3 5 5 5 4 0 0 2 4 0 0 5 5 0 4 0 1 4 3 5 3 2 4 4 4 1 4 0 3 2 4 5 4 1 4 3 5 2 3 0 0 0 3 0 1 0 4 4 1 1 3 4 5 4 ->= 2 5 3 3 1 5 5 2 2 3 1 5 0 4 5 1 1 3 3 1 5 0 5 4 5 4 1 3 1 1 0 0 1 2 2 2 5 3 1 3 3 3 5 3 0 4 3 5 1 0 1 4 0 3 1 3 3 2 3 5 4 3 4 5 5 5 5 2 0 4 3 0 4 3 4 2 1 0 3 4 5 0 0 0 1 4 3 2 4 3 2 4 0 1 1 4 3 0 2 1 , 3 2 4 3 4 3 5 2 0 0 2 3 5 3 1 0 5 5 2 0 1 2 2 2 3 1 2 3 5 2 1 3 1 0 4 5 5 5 2 4 0 0 3 4 3 5 5 5 2 0 3 4 2 2 3 5 5 4 5 3 4 0 5 1 0 2 5 5 1 0 3 0 5 0 0 4 2 4 2 2 0 2 3 1 1 ->= 5 0 0 2 1 4 3 3 3 1 0 1 4 5 4 1 3 5 0 4 1 4 0 3 0 4 1 3 3 5 4 5 3 1 1 1 4 3 4 0 4 5 5 1 2 1 5 3 4 2 4 3 2 4 5 3 5 0 5 4 1 5 5 4 3 3 3 0 3 3 3 0 4 1 0 1 3 1 3 1 5 3 2 2 4 3 0 0 1 3 1 1 3 0 5 1 2 4 3 1 , 2 2 2 2 1 5 3 2 4 3 2 4 5 0 5 0 3 0 3 0 4 5 2 4 3 2 1 0 4 0 5 4 0 1 2 2 2 4 4 4 1 5 1 3 3 2 4 1 1 4 4 4 4 5 3 2 2 1 4 2 4 0 5 2 0 3 5 0 0 1 5 2 3 2 4 3 0 0 3 2 2 5 2 0 1 ->= 3 0 5 3 2 1 2 0 3 1 1 4 4 3 5 1 4 4 4 3 5 5 1 4 0 4 5 3 0 1 5 4 0 1 2 3 3 1 5 1 5 4 5 1 0 4 2 0 3 1 3 1 1 5 0 2 2 0 1 4 3 2 3 4 4 0 1 1 3 5 1 2 3 2 4 4 2 3 0 0 3 3 3 0 3 4 4 3 2 0 5 4 4 2 4 2 4 1 4 2 , 2 5 4 0 1 0 5 3 5 3 5 2 3 4 2 5 1 5 0 1 3 2 5 0 1 4 0 5 0 5 0 4 4 4 3 2 2 3 5 2 0 5 2 2 2 5 5 1 0 3 4 3 3 1 1 4 1 2 1 0 5 0 4 5 1 5 1 2 2 3 1 1 3 1 4 0 5 1 4 4 1 0 2 4 3 ->= 5 1 1 0 3 2 2 5 1 2 0 4 5 2 0 2 3 3 5 0 4 0 3 1 5 4 1 5 1 4 2 0 0 0 5 4 1 0 5 2 0 3 4 0 0 0 1 4 1 3 1 5 3 2 1 3 3 0 3 3 5 3 5 1 3 1 3 0 0 5 0 1 4 0 2 3 1 5 1 0 0 2 2 3 2 4 5 1 4 2 2 2 1 3 3 5 4 1 5 1 } 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, 2]->3, [2, 0]->4, [0, 3]->5, [3, 4]->6, [4, 0]->7, [0, 5]->8, [5, 4]->9, [4, 5]->10, [5, 2]->11, [2, 4]->12, [4, 4]->13, [4, 2]->14, [2, 1]->15, [1, 3]->16, [3, 1]->17, [5, 3]->18, [3, 5]->19, [1, 4]->20, [0, 2]->21, [1, 5]->22, [3, 3]->23, [3, 2]->24, [2, 3]->25, [4, 1]->26, [5, 5]->27, [5, 0]->28, [2, 5]->29, [5, 1]->30, [3, 0]->31, [1, 0]->32, [1, 1]->33, [4, 3]->34, [0, 4]->35 }, it remains to prove termination of the 720-rule system { 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 16 6 7 8 18 19 11 4 8 18 17 20 13 14 4 21 15 22 18 23 6 13 7 8 18 24 4 21 25 24 3 12 26 22 27 28 8 27 11 29 9 14 12 26 22 30 16 31 21 29 18 23 17 32 0 1 33 33 20 13 34 6 13 26 33 20 13 7 -> 35 10 30 20 26 22 30 2 15 20 7 1 16 31 0 8 11 3 3 12 26 32 8 28 21 25 24 29 11 4 35 13 34 6 14 15 2 15 2 25 6 34 17 16 23 6 7 8 27 9 13 26 16 23 17 16 6 26 16 23 24 29 27 18 24 15 16 19 28 5 23 31 8 9 14 25 31 35 7 1 22 30 16 31 1 33 32 0 5 24 3 29 30 16 24 25 6 13 26 2 4 , 35 7 8 28 21 29 18 31 35 26 32 8 30 33 20 14 12 10 9 7 0 21 15 2 29 28 1 20 13 7 1 22 11 12 34 6 14 3 29 27 11 4 1 22 28 8 27 28 5 24 12 14 4 1 20 26 16 6 14 4 21 29 18 19 27 28 1 32 35 34 31 35 10 30 20 7 35 26 2 15 33 32 0 35 13 7 -> 21 29 11 12 34 31 8 30 32 5 23 19 18 17 2 15 32 5 23 19 9 13 10 30 16 24 15 16 23 17 22 9 26 16 23 23 23 19 18 23 6 14 4 8 18 6 7 21 25 23 23 23 24 12 26 32 8 18 6 34 23 6 13 26 2 29 9 14 25 6 7 1 16 17 33 33 20 26 2 4 8 27 18 19 11 15 32 8 27 18 17 32 0 5 19 9 14 15 16 31 0 , 21 12 10 9 10 28 8 9 34 23 31 21 12 7 35 7 35 14 29 28 8 18 17 16 31 21 15 20 34 31 0 5 23 31 1 16 19 9 14 3 15 2 12 7 0 21 29 9 26 2 12 34 24 3 15 32 21 15 16 31 1 20 14 29 28 8 27 9 26 32 5 31 1 20 7 8 18 17 20 13 13 10 28 0 35 7 -> 1 2 25 24 25 19 30 16 19 28 1 33 20 34 6 13 34 23 17 33 16 23 19 30 16 17 32 8 28 5 23 17 2 12 10 30 20 7 8 18 19 18 24 3 12 7 21 15 22 28 21 3 15 22 30 22 30 32 1 32 0 1 33 32 5 24 4 35 10 27 30 16 17 33 16 17 22 11 3 29 11 29 28 8 9 26 20 7 21 29 28 0 0 21 25 17 22 11 4 0 0 , 0 35 26 22 9 26 33 20 10 28 21 3 29 27 28 5 19 18 31 8 27 11 4 8 18 24 4 0 8 18 19 11 12 14 3 12 26 16 17 22 27 9 7 5 24 12 26 33 20 7 5 6 14 4 8 28 8 30 22 9 14 25 31 8 30 22 11 29 30 20 34 23 31 5 31 0 8 18 19 18 31 21 25 19 9 7 -> 21 3 3 3 4 35 7 5 24 29 30 22 9 10 28 35 7 35 14 4 8 27 27 11 25 31 8 18 17 16 31 8 27 28 1 16 23 17 16 6 10 18 23 31 35 26 16 19 11 4 5 19 30 22 9 26 16 17 33 22 30 16 17 33 22 11 4 5 23 17 20 34 19 9 14 25 19 30 32 1 22 30 2 12 10 11 15 20 34 6 34 19 11 4 21 29 30 33 32 1 32 , 1 33 20 13 34 6 7 35 7 0 0 35 34 24 29 27 9 26 20 26 2 15 33 2 29 11 3 29 11 3 25 31 8 30 20 26 20 7 5 19 11 4 35 14 12 13 13 13 7 35 10 9 13 7 35 13 10 9 13 26 33 20 7 8 30 20 34 17 32 0 35 13 7 35 7 35 34 19 11 29 9 26 2 25 17 32 -> 8 30 20 26 32 1 2 3 25 24 3 12 26 20 7 1 22 28 21 4 0 1 22 18 19 30 16 31 35 14 25 19 27 30 20 7 1 20 34 6 10 18 19 27 28 8 11 25 19 18 6 14 4 0 1 33 22 27 11 3 12 13 14 12 34 17 2 15 2 3 15 16 31 21 15 32 35 14 29 9 34 31 35 13 7 8 9 14 29 18 17 33 16 23 23 23 19 18 17 2 4 , 1 33 20 13 26 32 35 26 33 22 30 2 3 29 11 29 27 11 4 1 16 6 13 34 17 32 21 15 22 9 14 3 4 21 29 11 3 4 35 34 31 0 35 10 11 15 16 31 21 3 15 20 10 11 3 29 11 12 7 1 20 34 6 34 23 31 21 3 3 29 9 10 27 9 10 27 18 24 4 35 13 14 29 28 1 32 -> 21 12 13 7 5 17 2 15 16 23 17 33 16 19 30 16 17 20 34 17 32 5 23 17 33 32 1 16 24 25 24 29 11 12 7 5 31 35 10 18 17 22 28 35 7 21 15 33 20 14 3 4 1 16 19 9 34 19 11 29 9 10 30 22 18 31 21 29 27 11 29 9 14 4 0 1 32 1 2 29 18 31 5 6 34 24 25 19 28 0 5 6 26 16 23 23 24 12 26 16 31 , 35 10 28 1 33 22 27 9 13 34 23 24 4 5 6 10 28 21 25 23 19 28 21 15 32 21 29 18 31 21 12 13 13 10 11 25 6 13 7 0 1 22 28 8 28 5 17 2 15 33 33 16 23 24 3 12 14 3 15 33 20 14 29 11 3 12 26 33 32 0 5 19 9 14 4 8 11 12 34 6 10 9 13 14 15 32 -> 8 18 6 14 4 5 23 19 28 35 34 17 16 31 21 3 25 17 16 17 33 16 23 6 14 29 18 31 35 13 14 25 6 10 18 19 11 12 14 15 16 19 28 0 1 2 4 21 12 26 33 33 16 31 1 16 31 21 15 33 16 6 10 11 3 4 35 34 6 34 23 6 34 6 13 34 23 6 7 5 17 16 31 35 7 1 20 7 8 30 33 16 31 21 15 32 35 26 32 8 28 , 21 3 4 21 25 24 3 4 0 21 29 18 24 12 13 14 4 21 12 26 33 32 8 11 4 8 11 4 5 6 7 35 7 21 25 31 35 13 10 11 3 3 3 12 14 29 11 4 8 27 18 24 12 26 16 24 12 34 31 8 11 12 13 14 29 9 7 5 31 5 23 23 24 29 9 14 4 5 31 5 19 27 9 34 23 31 -> 8 27 28 5 24 3 29 18 17 33 20 10 30 2 29 18 31 0 21 25 17 2 25 6 7 0 0 1 33 33 16 6 10 9 26 16 24 4 5 24 3 4 1 16 31 1 33 22 28 21 4 35 26 22 30 20 10 9 26 32 1 22 30 16 24 4 21 15 32 1 33 2 15 2 29 28 21 3 15 33 32 5 31 1 32 5 17 33 2 25 17 22 30 2 29 28 21 4 5 23 31 , 0 1 33 2 15 16 19 9 26 32 35 26 2 29 27 30 16 6 7 35 13 26 2 4 35 10 9 10 30 20 10 9 14 4 0 0 8 11 4 5 19 28 35 14 25 6 26 22 18 6 13 14 15 20 14 4 5 23 24 15 20 34 6 34 24 25 31 8 28 0 21 3 29 30 20 14 15 2 15 22 28 35 26 32 5 31 -> 21 3 4 1 32 8 9 14 25 23 17 33 22 18 6 10 30 33 20 7 8 27 18 31 21 15 22 30 22 30 22 28 5 19 27 18 31 0 21 4 21 4 8 9 7 35 10 27 27 30 33 33 33 20 14 12 7 5 19 30 16 31 1 33 2 3 25 19 27 30 33 2 3 12 26 16 19 18 23 31 1 16 23 6 26 2 25 23 31 8 18 31 21 4 35 10 27 28 5 17 32 , 0 35 13 7 8 18 23 24 25 6 26 20 10 28 21 29 27 27 18 19 28 5 19 27 11 4 35 14 4 1 33 2 29 27 28 8 27 11 29 9 10 28 1 22 9 34 19 11 3 15 22 11 25 31 0 5 24 29 28 5 6 14 15 32 5 23 6 13 34 23 19 18 31 21 4 0 21 4 35 34 24 15 33 33 32 0 -> 1 32 35 34 17 16 23 31 35 10 28 8 11 29 30 16 23 6 26 33 2 15 16 17 33 22 28 1 22 18 19 9 13 26 16 31 8 28 0 21 12 13 14 15 32 5 6 10 9 26 16 23 31 35 7 1 20 10 30 32 35 7 1 2 29 18 17 33 22 27 27 9 14 4 35 14 25 6 10 18 31 1 32 1 20 10 28 21 15 33 32 35 34 17 16 24 29 28 1 33 32 , 35 13 13 34 17 20 34 17 2 4 0 0 35 10 27 27 9 10 9 26 20 7 8 28 8 27 11 29 30 33 16 24 15 20 26 20 13 34 17 33 2 29 28 35 34 31 0 21 25 19 9 34 6 10 30 20 10 9 26 2 12 10 30 16 23 24 25 31 35 13 14 29 9 26 32 35 13 7 35 34 24 15 2 15 32 0 -> 8 28 5 19 11 4 0 5 17 33 20 13 10 18 19 18 17 20 14 25 19 28 21 29 30 22 27 28 21 15 32 1 32 21 12 34 17 33 32 5 23 31 1 16 6 13 34 24 3 4 21 15 16 31 1 20 10 11 3 12 26 16 31 5 6 7 1 2 25 31 35 26 2 4 1 16 17 16 24 3 15 22 9 7 5 24 15 33 2 15 16 17 16 23 19 11 3 29 28 8 28 , 1 20 34 19 27 9 26 20 10 9 14 12 10 30 16 24 3 12 13 14 29 9 10 11 25 24 15 2 12 14 12 14 12 7 1 33 2 3 12 10 18 24 29 27 28 8 9 10 11 4 0 21 3 3 15 20 26 2 12 26 16 19 11 29 9 14 3 3 29 30 22 28 5 31 5 17 32 0 5 31 1 16 19 27 28 0 -> 21 29 30 22 28 0 1 16 31 5 31 21 12 13 7 5 6 34 31 5 17 16 19 11 3 15 20 26 32 8 30 20 14 3 12 10 18 24 29 28 5 19 11 15 16 23 31 35 10 30 33 22 11 25 23 23 31 0 21 29 18 17 22 28 35 10 11 4 1 22 11 4 0 35 26 32 5 17 32 5 17 33 16 6 34 24 15 22 9 13 26 33 32 5 19 9 13 14 15 20 7 , 35 7 1 33 2 15 20 7 0 0 1 2 29 28 5 19 9 10 11 25 17 2 12 10 30 16 17 2 29 11 3 3 3 3 12 14 15 22 28 21 29 30 20 26 2 4 8 18 31 5 19 11 4 0 1 2 4 0 21 25 31 35 7 21 25 19 28 35 13 34 23 23 6 14 25 19 9 7 21 25 24 29 18 24 29 28 -> 1 22 9 26 33 16 24 15 16 19 9 7 5 23 31 8 30 16 31 5 31 35 26 33 16 31 8 27 28 0 1 2 25 17 2 25 19 11 15 16 6 13 34 19 18 17 20 10 30 2 12 13 14 12 10 9 13 14 29 11 4 0 5 19 30 20 10 18 19 30 33 32 0 8 28 1 33 20 7 21 29 18 31 8 30 2 15 32 21 25 23 17 33 22 30 22 9 26 16 19 28 , 0 21 4 8 11 4 1 2 12 10 28 21 25 17 2 29 27 18 31 8 28 0 21 25 19 30 2 12 34 31 1 20 34 17 20 13 26 20 14 12 10 28 0 35 14 3 12 26 16 23 23 23 31 21 3 25 19 11 3 15 32 0 5 19 11 25 23 6 14 12 26 2 4 35 7 35 7 8 28 5 31 21 4 35 14 4 -> 5 6 13 26 22 9 13 14 15 16 23 24 12 7 8 11 29 11 15 20 34 19 18 31 1 16 17 20 14 4 5 31 35 26 33 22 9 13 10 11 3 12 34 17 16 23 23 24 29 18 31 0 5 23 23 6 13 34 31 21 29 11 4 8 11 25 19 28 0 0 5 23 23 19 18 23 23 17 16 23 17 20 26 32 5 24 12 13 26 16 17 2 4 5 23 23 17 33 33 22 28 , 1 32 5 6 34 31 0 1 22 27 30 20 14 15 20 14 12 13 10 11 29 28 21 3 3 29 28 5 31 5 24 3 29 27 9 34 24 3 12 34 31 5 6 10 28 8 30 32 5 24 29 18 31 8 9 26 22 27 11 12 10 11 15 20 10 28 21 15 2 3 4 5 19 27 28 5 19 18 19 30 16 19 27 28 21 4 -> 8 11 12 34 17 16 19 30 20 26 20 26 20 14 25 31 1 32 21 29 30 32 8 28 0 8 18 19 11 15 33 16 17 32 1 22 27 30 33 16 17 33 33 16 31 35 34 17 33 32 21 15 32 21 29 30 32 35 10 30 2 15 16 19 28 1 33 16 19 18 19 11 12 14 4 21 15 20 14 3 29 28 1 22 11 12 10 28 0 0 0 0 1 16 19 28 1 33 33 33 32 , 0 35 34 24 12 7 21 3 12 7 5 17 20 14 3 25 24 3 3 12 13 14 29 28 1 16 17 32 35 7 0 21 12 10 18 6 34 19 9 34 19 30 22 18 6 14 25 19 30 2 12 7 0 35 34 23 31 8 27 28 5 31 35 13 13 14 3 29 28 5 24 15 20 7 21 25 19 18 24 3 3 29 9 14 3 4 -> 8 30 22 28 21 12 26 2 4 1 33 16 17 16 6 26 16 17 32 5 17 32 5 23 31 8 9 13 34 31 1 16 24 12 26 16 6 13 7 0 5 31 0 8 30 2 3 25 17 32 5 19 30 2 3 4 0 35 34 23 19 18 24 12 34 19 27 18 17 22 27 27 30 33 33 22 30 33 33 2 3 4 0 1 33 33 32 8 27 27 11 15 2 15 2 3 3 15 32 5 31 , 1 22 27 27 11 4 5 24 12 13 10 28 1 20 7 1 22 11 4 21 25 24 3 29 30 22 11 29 9 10 27 18 19 27 27 9 7 0 21 12 7 0 8 27 28 35 7 1 20 34 19 18 24 12 13 13 26 20 7 5 24 12 10 9 26 20 34 19 11 25 31 0 0 5 31 1 32 35 13 26 33 16 6 10 9 7 ->= 21 29 18 23 17 22 27 11 3 25 17 22 28 35 10 30 33 16 23 17 22 28 8 9 10 9 26 16 17 33 32 0 1 2 3 3 29 18 17 16 23 23 19 18 31 35 34 19 30 32 1 20 7 5 17 16 23 24 25 19 9 34 6 10 27 27 27 11 4 35 34 31 35 34 6 14 15 32 5 6 10 28 0 0 1 20 34 24 12 34 24 12 7 1 33 20 34 31 21 15 32 , 5 24 12 34 6 34 19 11 4 0 21 25 19 18 17 32 8 27 11 4 1 2 3 3 25 17 2 25 19 11 15 16 17 32 35 10 27 27 11 12 7 0 5 6 34 19 27 27 11 4 5 6 14 3 25 19 27 9 10 18 6 7 8 30 32 21 29 27 30 32 5 31 8 28 0 35 14 12 14 3 4 21 25 17 33 32 ->= 8 28 0 21 15 20 34 23 23 17 32 1 20 10 9 26 16 19 28 35 26 20 7 5 31 35 26 16 23 19 9 10 18 17 33 33 20 34 6 7 35 10 27 30 2 15 22 18 6 14 12 34 24 12 10 18 19 28 8 9 26 22 27 9 34 23 23 31 5 23 23 31 35 26 32 1 16 17 16 17 22 18 24 3 12 34 31 0 1 16 17 33 16 31 8 30 2 12 34 17 32 , 21 3 3 3 15 22 18 24 12 34 24 12 10 28 8 28 5 31 5 31 35 10 11 12 34 24 15 32 35 7 8 9 7 1 2 3 3 12 13 13 26 22 30 16 23 24 12 26 33 20 13 13 13 10 18 24 3 15 20 14 12 7 8 11 4 5 19 28 0 1 22 11 25 24 12 34 31 0 5 24 3 29 11 4 1 32 ->= 5 31 8 18 24 15 2 4 5 17 33 20 13 34 19 30 20 13 13 34 19 27 30 20 7 35 10 18 31 1 22 9 7 1 2 25 23 17 22 30 22 9 10 30 32 35 14 4 5 17 16 17 33 22 28 21 3 4 1 20 34 24 25 6 13 7 1 33 16 19 30 2 25 24 12 13 14 25 31 0 5 23 23 31 5 6 13 34 24 4 8 9 13 14 12 14 12 26 20 14 4 , 21 29 9 7 1 32 8 18 19 18 19 11 25 6 14 29 30 22 28 1 16 24 29 28 1 20 7 8 28 8 28 35 13 13 34 24 3 25 19 11 4 8 11 3 3 29 27 30 32 5 6 34 23 17 33 20 26 2 15 32 8 28 35 10 30 22 30 2 3 25 17 33 16 17 20 7 8 30 20 13 26 32 21 12 34 31 ->= 8 30 33 32 5 24 3 29 30 2 4 35 10 11 4 21 25 23 19 28 35 7 5 17 22 9 26 22 30 20 14 4 0 0 8 9 26 32 8 11 4 5 6 7 0 0 1 20 26 16 17 22 18 24 15 16 23 31 5 23 19 18 19 30 16 17 16 31 0 8 28 1 20 7 21 25 17 22 30 32 0 21 3 25 24 12 10 30 20 14 3 3 15 16 23 19 9 26 22 30 32 , 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 16 6 7 8 18 19 11 4 8 18 17 20 13 14 4 21 15 22 18 23 6 13 7 8 18 24 4 21 25 24 3 12 26 22 27 28 8 27 11 29 9 14 12 26 22 30 16 31 21 29 18 23 17 32 0 1 33 33 20 13 34 6 13 26 33 20 13 26 -> 35 10 30 20 26 22 30 2 15 20 7 1 16 31 0 8 11 3 3 12 26 32 8 28 21 25 24 29 11 4 35 13 34 6 14 15 2 15 2 25 6 34 17 16 23 6 7 8 27 9 13 26 16 23 17 16 6 26 16 23 24 29 27 18 24 15 16 19 28 5 23 31 8 9 14 25 31 35 7 1 22 30 16 31 1 33 32 0 5 24 3 29 30 16 24 25 6 13 26 2 15 , 35 7 8 28 21 29 18 31 35 26 32 8 30 33 20 14 12 10 9 7 0 21 15 2 29 28 1 20 13 7 1 22 11 12 34 6 14 3 29 27 11 4 1 22 28 8 27 28 5 24 12 14 4 1 20 26 16 6 14 4 21 29 18 19 27 28 1 32 35 34 31 35 10 30 20 7 35 26 2 15 33 32 0 35 13 26 -> 21 29 11 12 34 31 8 30 32 5 23 19 18 17 2 15 32 5 23 19 9 13 10 30 16 24 15 16 23 17 22 9 26 16 23 23 23 19 18 23 6 14 4 8 18 6 7 21 25 23 23 23 24 12 26 32 8 18 6 34 23 6 13 26 2 29 9 14 25 6 7 1 16 17 33 33 20 26 2 4 8 27 18 19 11 15 32 8 27 18 17 32 0 5 19 9 14 15 16 31 1 , 21 12 10 9 10 28 8 9 34 23 31 21 12 7 35 7 35 14 29 28 8 18 17 16 31 21 15 20 34 31 0 5 23 31 1 16 19 9 14 3 15 2 12 7 0 21 29 9 26 2 12 34 24 3 15 32 21 15 16 31 1 20 14 29 28 8 27 9 26 32 5 31 1 20 7 8 18 17 20 13 13 10 28 0 35 26 -> 1 2 25 24 25 19 30 16 19 28 1 33 20 34 6 13 34 23 17 33 16 23 19 30 16 17 32 8 28 5 23 17 2 12 10 30 20 7 8 18 19 18 24 3 12 7 21 15 22 28 21 3 15 22 30 22 30 32 1 32 0 1 33 32 5 24 4 35 10 27 30 16 17 33 16 17 22 11 3 29 11 29 28 8 9 26 20 7 21 29 28 0 0 21 25 17 22 11 4 0 1 , 0 35 26 22 9 26 33 20 10 28 21 3 29 27 28 5 19 18 31 8 27 11 4 8 18 24 4 0 8 18 19 11 12 14 3 12 26 16 17 22 27 9 7 5 24 12 26 33 20 7 5 6 14 4 8 28 8 30 22 9 14 25 31 8 30 22 11 29 30 20 34 23 31 5 31 0 8 18 19 18 31 21 25 19 9 26 -> 21 3 3 3 4 35 7 5 24 29 30 22 9 10 28 35 7 35 14 4 8 27 27 11 25 31 8 18 17 16 31 8 27 28 1 16 23 17 16 6 10 18 23 31 35 26 16 19 11 4 5 19 30 22 9 26 16 17 33 22 30 16 17 33 22 11 4 5 23 17 20 34 19 9 14 25 19 30 32 1 22 30 2 12 10 11 15 20 34 6 34 19 11 4 21 29 30 33 32 1 33 , 1 33 20 13 34 6 7 35 7 0 0 35 34 24 29 27 9 26 20 26 2 15 33 2 29 11 3 29 11 3 25 31 8 30 20 26 20 7 5 19 11 4 35 14 12 13 13 13 7 35 10 9 13 7 35 13 10 9 13 26 33 20 7 8 30 20 34 17 32 0 35 13 7 35 7 35 34 19 11 29 9 26 2 25 17 33 -> 8 30 20 26 32 1 2 3 25 24 3 12 26 20 7 1 22 28 21 4 0 1 22 18 19 30 16 31 35 14 25 19 27 30 20 7 1 20 34 6 10 18 19 27 28 8 11 25 19 18 6 14 4 0 1 33 22 27 11 3 12 13 14 12 34 17 2 15 2 3 15 16 31 21 15 32 35 14 29 9 34 31 35 13 7 8 9 14 29 18 17 33 16 23 23 23 19 18 17 2 15 , 1 33 20 13 26 32 35 26 33 22 30 2 3 29 11 29 27 11 4 1 16 6 13 34 17 32 21 15 22 9 14 3 4 21 29 11 3 4 35 34 31 0 35 10 11 15 16 31 21 3 15 20 10 11 3 29 11 12 7 1 20 34 6 34 23 31 21 3 3 29 9 10 27 9 10 27 18 24 4 35 13 14 29 28 1 33 -> 21 12 13 7 5 17 2 15 16 23 17 33 16 19 30 16 17 20 34 17 32 5 23 17 33 32 1 16 24 25 24 29 11 12 7 5 31 35 10 18 17 22 28 35 7 21 15 33 20 14 3 4 1 16 19 9 34 19 11 29 9 10 30 22 18 31 21 29 27 11 29 9 14 4 0 1 32 1 2 29 18 31 5 6 34 24 25 19 28 0 5 6 26 16 23 23 24 12 26 16 17 , 35 10 28 1 33 22 27 9 13 34 23 24 4 5 6 10 28 21 25 23 19 28 21 15 32 21 29 18 31 21 12 13 13 10 11 25 6 13 7 0 1 22 28 8 28 5 17 2 15 33 33 16 23 24 3 12 14 3 15 33 20 14 29 11 3 12 26 33 32 0 5 19 9 14 4 8 11 12 34 6 10 9 13 14 15 33 -> 8 18 6 14 4 5 23 19 28 35 34 17 16 31 21 3 25 17 16 17 33 16 23 6 14 29 18 31 35 13 14 25 6 10 18 19 11 12 14 15 16 19 28 0 1 2 4 21 12 26 33 33 16 31 1 16 31 21 15 33 16 6 10 11 3 4 35 34 6 34 23 6 34 6 13 34 23 6 7 5 17 16 31 35 7 1 20 7 8 30 33 16 31 21 15 32 35 26 32 8 30 , 21 3 4 21 25 24 3 4 0 21 29 18 24 12 13 14 4 21 12 26 33 32 8 11 4 8 11 4 5 6 7 35 7 21 25 31 35 13 10 11 3 3 3 12 14 29 11 4 8 27 18 24 12 26 16 24 12 34 31 8 11 12 13 14 29 9 7 5 31 5 23 23 24 29 9 14 4 5 31 5 19 27 9 34 23 17 -> 8 27 28 5 24 3 29 18 17 33 20 10 30 2 29 18 31 0 21 25 17 2 25 6 7 0 0 1 33 33 16 6 10 9 26 16 24 4 5 24 3 4 1 16 31 1 33 22 28 21 4 35 26 22 30 20 10 9 26 32 1 22 30 16 24 4 21 15 32 1 33 2 15 2 29 28 21 3 15 33 32 5 31 1 32 5 17 33 2 25 17 22 30 2 29 28 21 4 5 23 17 , 0 1 33 2 15 16 19 9 26 32 35 26 2 29 27 30 16 6 7 35 13 26 2 4 35 10 9 10 30 20 10 9 14 4 0 0 8 11 4 5 19 28 35 14 25 6 26 22 18 6 13 14 15 20 14 4 5 23 24 15 20 34 6 34 24 25 31 8 28 0 21 3 29 30 20 14 15 2 15 22 28 35 26 32 5 17 -> 21 3 4 1 32 8 9 14 25 23 17 33 22 18 6 10 30 33 20 7 8 27 18 31 21 15 22 30 22 30 22 28 5 19 27 18 31 0 21 4 21 4 8 9 7 35 10 27 27 30 33 33 33 20 14 12 7 5 19 30 16 31 1 33 2 3 25 19 27 30 33 2 3 12 26 16 19 18 23 31 1 16 23 6 26 2 25 23 31 8 18 31 21 4 35 10 27 28 5 17 33 , 0 35 13 7 8 18 23 24 25 6 26 20 10 28 21 29 27 27 18 19 28 5 19 27 11 4 35 14 4 1 33 2 29 27 28 8 27 11 29 9 10 28 1 22 9 34 19 11 3 15 22 11 25 31 0 5 24 29 28 5 6 14 15 32 5 23 6 13 34 23 19 18 31 21 4 0 21 4 35 34 24 15 33 33 32 1 -> 1 32 35 34 17 16 23 31 35 10 28 8 11 29 30 16 23 6 26 33 2 15 16 17 33 22 28 1 22 18 19 9 13 26 16 31 8 28 0 21 12 13 14 15 32 5 6 10 9 26 16 23 31 35 7 1 20 10 30 32 35 7 1 2 29 18 17 33 22 27 27 9 14 4 35 14 25 6 10 18 31 1 32 1 20 10 28 21 15 33 32 35 34 17 16 24 29 28 1 33 33 , 35 13 13 34 17 20 34 17 2 4 0 0 35 10 27 27 9 10 9 26 20 7 8 28 8 27 11 29 30 33 16 24 15 20 26 20 13 34 17 33 2 29 28 35 34 31 0 21 25 19 9 34 6 10 30 20 10 9 26 2 12 10 30 16 23 24 25 31 35 13 14 29 9 26 32 35 13 7 35 34 24 15 2 15 32 1 -> 8 28 5 19 11 4 0 5 17 33 20 13 10 18 19 18 17 20 14 25 19 28 21 29 30 22 27 28 21 15 32 1 32 21 12 34 17 33 32 5 23 31 1 16 6 13 34 24 3 4 21 15 16 31 1 20 10 11 3 12 26 16 31 5 6 7 1 2 25 31 35 26 2 4 1 16 17 16 24 3 15 22 9 7 5 24 15 33 2 15 16 17 16 23 19 11 3 29 28 8 30 , 1 20 34 19 27 9 26 20 10 9 14 12 10 30 16 24 3 12 13 14 29 9 10 11 25 24 15 2 12 14 12 14 12 7 1 33 2 3 12 10 18 24 29 27 28 8 9 10 11 4 0 21 3 3 15 20 26 2 12 26 16 19 11 29 9 14 3 3 29 30 22 28 5 31 5 17 32 0 5 31 1 16 19 27 28 1 -> 21 29 30 22 28 0 1 16 31 5 31 21 12 13 7 5 6 34 31 5 17 16 19 11 3 15 20 26 32 8 30 20 14 3 12 10 18 24 29 28 5 19 11 15 16 23 31 35 10 30 33 22 11 25 23 23 31 0 21 29 18 17 22 28 35 10 11 4 1 22 11 4 0 35 26 32 5 17 32 5 17 33 16 6 34 24 15 22 9 13 26 33 32 5 19 9 13 14 15 20 26 , 35 7 1 33 2 15 20 7 0 0 1 2 29 28 5 19 9 10 11 25 17 2 12 10 30 16 17 2 29 11 3 3 3 3 12 14 15 22 28 21 29 30 20 26 2 4 8 18 31 5 19 11 4 0 1 2 4 0 21 25 31 35 7 21 25 19 28 35 13 34 23 23 6 14 25 19 9 7 21 25 24 29 18 24 29 30 -> 1 22 9 26 33 16 24 15 16 19 9 7 5 23 31 8 30 16 31 5 31 35 26 33 16 31 8 27 28 0 1 2 25 17 2 25 19 11 15 16 6 13 34 19 18 17 20 10 30 2 12 13 14 12 10 9 13 14 29 11 4 0 5 19 30 20 10 18 19 30 33 32 0 8 28 1 33 20 7 21 29 18 31 8 30 2 15 32 21 25 23 17 33 22 30 22 9 26 16 19 30 , 0 21 4 8 11 4 1 2 12 10 28 21 25 17 2 29 27 18 31 8 28 0 21 25 19 30 2 12 34 31 1 20 34 17 20 13 26 20 14 12 10 28 0 35 14 3 12 26 16 23 23 23 31 21 3 25 19 11 3 15 32 0 5 19 11 25 23 6 14 12 26 2 4 35 7 35 7 8 28 5 31 21 4 35 14 15 -> 5 6 13 26 22 9 13 14 15 16 23 24 12 7 8 11 29 11 15 20 34 19 18 31 1 16 17 20 14 4 5 31 35 26 33 22 9 13 10 11 3 12 34 17 16 23 23 24 29 18 31 0 5 23 23 6 13 34 31 21 29 11 4 8 11 25 19 28 0 0 5 23 23 19 18 23 23 17 16 23 17 20 26 32 5 24 12 13 26 16 17 2 4 5 23 23 17 33 33 22 30 , 1 32 5 6 34 31 0 1 22 27 30 20 14 15 20 14 12 13 10 11 29 28 21 3 3 29 28 5 31 5 24 3 29 27 9 34 24 3 12 34 31 5 6 10 28 8 30 32 5 24 29 18 31 8 9 26 22 27 11 12 10 11 15 20 10 28 21 15 2 3 4 5 19 27 28 5 19 18 19 30 16 19 27 28 21 15 -> 8 11 12 34 17 16 19 30 20 26 20 26 20 14 25 31 1 32 21 29 30 32 8 28 0 8 18 19 11 15 33 16 17 32 1 22 27 30 33 16 17 33 33 16 31 35 34 17 33 32 21 15 32 21 29 30 32 35 10 30 2 15 16 19 28 1 33 16 19 18 19 11 12 14 4 21 15 20 14 3 29 28 1 22 11 12 10 28 0 0 0 0 1 16 19 28 1 33 33 33 33 , 0 35 34 24 12 7 21 3 12 7 5 17 20 14 3 25 24 3 3 12 13 14 29 28 1 16 17 32 35 7 0 21 12 10 18 6 34 19 9 34 19 30 22 18 6 14 25 19 30 2 12 7 0 35 34 23 31 8 27 28 5 31 35 13 13 14 3 29 28 5 24 15 20 7 21 25 19 18 24 3 3 29 9 14 3 15 -> 8 30 22 28 21 12 26 2 4 1 33 16 17 16 6 26 16 17 32 5 17 32 5 23 31 8 9 13 34 31 1 16 24 12 26 16 6 13 7 0 5 31 0 8 30 2 3 25 17 32 5 19 30 2 3 4 0 35 34 23 19 18 24 12 34 19 27 18 17 22 27 27 30 33 33 22 30 33 33 2 3 4 0 1 33 33 32 8 27 27 11 15 2 15 2 3 3 15 32 5 17 , 1 22 27 27 11 4 5 24 12 13 10 28 1 20 7 1 22 11 4 21 25 24 3 29 30 22 11 29 9 10 27 18 19 27 27 9 7 0 21 12 7 0 8 27 28 35 7 1 20 34 19 18 24 12 13 13 26 20 7 5 24 12 10 9 26 20 34 19 11 25 31 0 0 5 31 1 32 35 13 26 33 16 6 10 9 26 ->= 21 29 18 23 17 22 27 11 3 25 17 22 28 35 10 30 33 16 23 17 22 28 8 9 10 9 26 16 17 33 32 0 1 2 3 3 29 18 17 16 23 23 19 18 31 35 34 19 30 32 1 20 7 5 17 16 23 24 25 19 9 34 6 10 27 27 27 11 4 35 34 31 35 34 6 14 15 32 5 6 10 28 0 0 1 20 34 24 12 34 24 12 7 1 33 20 34 31 21 15 33 , 5 24 12 34 6 34 19 11 4 0 21 25 19 18 17 32 8 27 11 4 1 2 3 3 25 17 2 25 19 11 15 16 17 32 35 10 27 27 11 12 7 0 5 6 34 19 27 27 11 4 5 6 14 3 25 19 27 9 10 18 6 7 8 30 32 21 29 27 30 32 5 31 8 28 0 35 14 12 14 3 4 21 25 17 33 33 ->= 8 28 0 21 15 20 34 23 23 17 32 1 20 10 9 26 16 19 28 35 26 20 7 5 31 35 26 16 23 19 9 10 18 17 33 33 20 34 6 7 35 10 27 30 2 15 22 18 6 14 12 34 24 12 10 18 19 28 8 9 26 22 27 9 34 23 23 31 5 23 23 31 35 26 32 1 16 17 16 17 22 18 24 3 12 34 31 0 1 16 17 33 16 31 8 30 2 12 34 17 33 , 21 3 3 3 15 22 18 24 12 34 24 12 10 28 8 28 5 31 5 31 35 10 11 12 34 24 15 32 35 7 8 9 7 1 2 3 3 12 13 13 26 22 30 16 23 24 12 26 33 20 13 13 13 10 18 24 3 15 20 14 12 7 8 11 4 5 19 28 0 1 22 11 25 24 12 34 31 0 5 24 3 29 11 4 1 33 ->= 5 31 8 18 24 15 2 4 5 17 33 20 13 34 19 30 20 13 13 34 19 27 30 20 7 35 10 18 31 1 22 9 7 1 2 25 23 17 22 30 22 9 10 30 32 35 14 4 5 17 16 17 33 22 28 21 3 4 1 20 34 24 25 6 13 7 1 33 16 19 30 2 25 24 12 13 14 25 31 0 5 23 23 31 5 6 13 34 24 4 8 9 13 14 12 14 12 26 20 14 15 , 21 29 9 7 1 32 8 18 19 18 19 11 25 6 14 29 30 22 28 1 16 24 29 28 1 20 7 8 28 8 28 35 13 13 34 24 3 25 19 11 4 8 11 3 3 29 27 30 32 5 6 34 23 17 33 20 26 2 15 32 8 28 35 10 30 22 30 2 3 25 17 33 16 17 20 7 8 30 20 13 26 32 21 12 34 17 ->= 8 30 33 32 5 24 3 29 30 2 4 35 10 11 4 21 25 23 19 28 35 7 5 17 22 9 26 22 30 20 14 4 0 0 8 9 26 32 8 11 4 5 6 7 0 0 1 20 26 16 17 22 18 24 15 16 23 31 5 23 19 18 19 30 16 17 16 31 0 8 28 1 20 7 21 25 17 22 30 32 0 21 3 25 24 12 10 30 20 14 3 3 15 16 23 19 9 26 22 30 33 , 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 16 6 7 8 18 19 11 4 8 18 17 20 13 14 4 21 15 22 18 23 6 13 7 8 18 24 4 21 25 24 3 12 26 22 27 28 8 27 11 29 9 14 12 26 22 30 16 31 21 29 18 23 17 32 0 1 33 33 20 13 34 6 13 26 33 20 13 14 -> 35 10 30 20 26 22 30 2 15 20 7 1 16 31 0 8 11 3 3 12 26 32 8 28 21 25 24 29 11 4 35 13 34 6 14 15 2 15 2 25 6 34 17 16 23 6 7 8 27 9 13 26 16 23 17 16 6 26 16 23 24 29 27 18 24 15 16 19 28 5 23 31 8 9 14 25 31 35 7 1 22 30 16 31 1 33 32 0 5 24 3 29 30 16 24 25 6 13 26 2 3 , 35 7 8 28 21 29 18 31 35 26 32 8 30 33 20 14 12 10 9 7 0 21 15 2 29 28 1 20 13 7 1 22 11 12 34 6 14 3 29 27 11 4 1 22 28 8 27 28 5 24 12 14 4 1 20 26 16 6 14 4 21 29 18 19 27 28 1 32 35 34 31 35 10 30 20 7 35 26 2 15 33 32 0 35 13 14 -> 21 29 11 12 34 31 8 30 32 5 23 19 18 17 2 15 32 5 23 19 9 13 10 30 16 24 15 16 23 17 22 9 26 16 23 23 23 19 18 23 6 14 4 8 18 6 7 21 25 23 23 23 24 12 26 32 8 18 6 34 23 6 13 26 2 29 9 14 25 6 7 1 16 17 33 33 20 26 2 4 8 27 18 19 11 15 32 8 27 18 17 32 0 5 19 9 14 15 16 31 21 ,
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Relative