-
traces(STOP) = <#1048#> ;SPM_lt;;SPM_gt; <#1048#>
-
The traces of both our GAMEs includes infinite sequences:
traces(GAME) = #tex2html_wrap_inline4104#
-
#tex2html_wrap_inline4106#
i.e. the trace will include t0=c or d, then the initial subsequence of
P or Q.