Ghost in the Shellcode 2015 - Blocky's Revenge Model

gistfile1.lisp

sat
(model 
  (define-fun c2 () Bool
    false)
  (define-fun c3 () Bool
    true)
  (define-fun c4 () Bool
    true)
  (define-fun c5 () Bool
    false)
  (define-fun c6 () Bool
    true)
  (define-fun c7 () Bool
    false)
  (define-fun c8 () Bool
    false)
  (define-fun c9 () Bool
    true)
  (define-fun c10 () Bool
    true)
  (define-fun c11 () Bool
    false)
  (define-fun c12 () Bool
    false)
  (define-fun c13 () Bool
    false)
  (define-fun c14 () Bool
    true)
  (define-fun c15 () Bool
    true)
  (define-fun c16 () Bool
    true)
  (define-fun c17 () Bool
    true)
  (define-fun c18 () Bool
    true)
  (define-fun c19 () Bool
    false)
  (define-fun c20 () Bool
    true)
  (define-fun c21 () Bool
    false)
  (define-fun c22 () Bool
    true)
  (define-fun c23 () Bool
    false)
  (define-fun c24 () Bool
    true)
  (define-fun c25 () Bool
    true)
  (define-fun c26 () Bool
    true)
  (define-fun c27 () Bool
    true)
  (define-fun c28 () Bool
    true)
  (define-fun c29 () Bool
    true)
  (define-fun c30 () Bool
    true)
  (define-fun c31 () Bool
    false)
  (define-fun c32 () Bool
    true)
  (define-fun c33 () Bool
    false)
)