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 
       3000     +0 0   1   0   0 
       5000     +0 1   1   0   0 
       6000     +0 1   0   0   0 
       9000     +0 1   1   0   0 
      10000     +0 0   1   0   0 
      12000     +0 0   0   0   0 
      15000     +0 1   1   0   0 
      15007     +0 1   1   0   1 
      18000     +0 1   0   0   1 
      20000     +0 0   0   0   1 
      21000     +0 0   1   0   1 
      21007     +0 0   1   0   0 
      24000     +0 0   0   0   0 
      25000     +0 1   0   0   0 
      27000     +0 1   1   0   0 
      27007     +0 1   1   0   1 
      30000     +0 0   0   0   1 
      33000     +0 0   1   0   1 
      33007     +0 0   1   0   0 
      35000     +0 1   1   0   0 
      36000     +0 1   0   0   0 
      39000     +0 1   1   0   0 
      39000     +2 1   1   1   0 
      39007     +0 1   1   1   1 
      40000     +0 0   1   1   1 
      42000     +0 0   0   1   1 
      45000     +0 1   1   1   1 
      45000     +2 1   1   0   1 
      48000     +0 1   0   0   1 
      50000     +0 0   0   0   1 
      51000     +0 0   1   0   1 
      51007     +0 0   1   0   0 
      55000     +0 1   1   0   0