ORITATAMI SKIPPING CYCLIC TAG SYSTEM SIMULATION

An example: fast

Proof trees: all