anchor.diff:      let Main _ =
           // Choose parameters
           let varCount = 8
  -        let steps = 2000
  +        let steps = 1000
           let clauses = evil3SatInstance varCount
           printf "Clauses:\n%s\n\n" (clausesToString clauses)
   
  
positive.code:             Operations.H [var]
  
          // Decimate every clause again and again until we hit the given number of repetitions.
          for i in 1..steps do
              // The decimation power starts high (90 deg) and scales down slowly over time.
              let power = -((float >> Math.Log10 >> Math.Ceiling >> int) (i+10))
  
              for clause in clauses do
                  decimate power vars clause
              
              // Debug output.
              let degs = 360.0*Math.Pow(2.0, float(power))
              let probs = String.Join(" ", (vars |> List.map (fun e -> String.Format("{0:0}%", e.Prob1*100.0).PadLeft(4))))
              printf "Iter %d, Perturbing %f degs, Qubit Probs %s\n" i degs probs
  
          // Measure result.
          for var in vars do
  
negative.code:         List.concat [seed; chain; reset]
  
      // Perturb-if-not-satisfied-er.
      let decimate (power1:int) (power2:int) (qs:Qubits) (Clause(A, B, C)) =
          let CCCNot = Operations.Cgate Operations.CCNOT
          let CPerturb = Operations.Cgate (fun reg ->
              // Turn the Z^(2^-power1 + 2^-power2) gate into an X rotation via surrounding Hadamards
              Operations.H reg
              Operations.R -power1 reg
              Operations.R -power2 reg
              Operations.H reg)
  
          let scratch = qs.[qs.Length-1]
  