<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">#/bin/csh -f
time ./context 0 0 0 0 0
time ./context 0 0 0 0 2
time ./context 0 0 0 0 3

time ./context 1 0 1 0 0
time ./context 1 0 1 0 2
time ./context 1 0 1 0 3

time ./context 0 1 0 1 0
time ./context 0 1 0 1 2
time ./context 0 1 0 1 3

time ./context 1 1 1 1 0
time ./context 1 1 1 1 2
time ./context 1 1 1 1 3
</pre></body></html>