ns  delta x clk z_o z_s 
          0     +0 0   0   U   U 
          0     +1 0   0   0   U 
          3     +0 0   0   0   0 
       3010     +0 0   1   0   0 
       5000     +0 1   1   0   0 
       6020     +0 1   0   0   0 
       9030     +0 1   1   0   0 
      10000     +0 0   1   0   0 
      12040     +0 0   0   0   0 
      15000     +0 1   0   0   0 
      15050     +0 1   1   0   0 
      18060     +0 1   0   0   0 
      20000     +0 0   0   0   0 
      21070     +0 0   1   0   0 
      24080     +0 0   0   0   0 
      25000     +0 1   0   0   0 
      27090     +0 1   1   0   0 
      27090     +2 1   1   1   0 
      27097     +0 1   1   1   1 
      30000     +0 0   1   1   1 
      30100     +0 0   0   1   1 
      33110     +0 0   1   1   1 
      33110     +2 0   1   0   1 
      33117     +0 0   1   0   0 
      35000     +0 1   1   0   0 
      36120     +0 1   0   0   0 
      39130     +0 1   1   0   0 
      39130     +2 1   1   1   0 
      39137     +0 1   1   1   1 
      40000     +0 0   1   1   1 
      42140     +0 0   0   1   1 
      45000     +0 1   0   1   1 
      45150     +0 1   1   1   1 
      45150     +2 1   1   0   1 
      45157     +0 1   1   0   0 
      48160     +0 1   0   0   0 
      50000     +0 0   0   0   0 
      51170     +0 0   1   0   0 
      55000     +0 1   1   0   0