(in-package oci) (defparameter pp #2A((1 1 1 1 1 1 1 1 1) (1 1 1 1 1 1 1 1 1) (1 1 1 1 1 1 1 1 1) (1 1 1 0 0 0 1 1 1) (1 1 1 0 0 0 1 1 1) (1 1 1 0 0 0 1 1 1) (1 1 1 0 0 0 1 1 1) (1 1 1 0 0 0 1 1 1) (1 1 1 0 0 0 1 1 1) (1 1 1 0 0 0 1 1 1) (1 1 1 0 0 0 1 1 1) (1 1 1 0 0 0 1 1 1))) (defparameter pe #2A((0 0 0 0 0 0 0 0 0) (0 1 1 1 1 1 1 1 0) (0 1 1 1 1 1 1 1 0) (0 1 0 0 0 0 0 1 0) (0 1 0 0 0 0 0 1 0) (0 1 0 0 0 0 0 1 0) (0 1 0 0 0 0 0 1 0) (0 1 0 0 0 0 0 1 0) (0 1 0 0 0 0 0 1 0) (0 1 0 0 0 0 0 1 0) (0 1 0 0 0 0 0 1 0) (0 0 0 0 0 0 0 0 0))) (defparameter ha (make-array '(12 9) :element-type 'bit :initial-contents #|2A|#'((0 0 0 0 0 0 0 0 0) (0 1 1 0 0 0 1 1 0) (0 1 1 0 0 0 1 1 0) (0 1 1 0 0 0 1 1 0) (0 1 1 0 0 0 1 1 0) (0 1 1 1 1 1 1 1 0) (0 1 1 0 0 0 1 1 0) (0 1 1 0 0 0 1 1 0) (0 1 1 0 0 0 1 1 0) (0 1 1 0 0 0 1 1 0) (0 1 1 0 0 0 1 1 0) (0 0 0 0 0 0 0 0 0)))) (defparameter bb (make-array '(2 8) :element-type 'bit :initial-contents '((1 1 1 1 1 1 1 1) (1 1 1 1 1 1 1 1)))) (defparameter he #2A((0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0) (0 0 1 0 0 0 1 0 0) (0 0 1 0 0 0 1 0 0) (0 0 1 0 0 0 1 0 0) (0 0 1 1 1 1 1 0 0) (0 0 1 0 0 0 1 0 0) (0 0 1 0 0 0 1 0 0) (0 0 1 0 0 0 1 0 0) (0 0 1 0 0 0 1 0 0) (0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0))) (defparameter gs #2A((255 250 224) (225 0 255) (249 255 235))) (defparameter ge #2A((1 1 1 1 1) (1 0 0 0 0) (1 0 0 0 0) (1 0 0 0 0) (1 0 0 0 0))) (defparameter gege #2A((1 1 1 1 1 0 1 1 1 1 1) (1 0 0 0 0 0 1 0 0 0 0) (1 0 0 0 0 0 1 0 0 0 0) (1 0 0 0 0 0 1 0 0 0 0) (1 0 0 0 0 0 1 0 0 0 0))) (defparameter ge2 #2A((1 1 1 1 1 1 1 1 1 1) (1 1 1 1 1 1 1 1 1 1) (1 1 0 0 0 0 0 0 0 0) (1 1 0 0 0 0 0 0 0 0) (1 1 0 0 0 0 0 0 0 0) (1 1 0 0 0 0 0 0 0 0) (1 1 0 0 0 0 0 0 0 0) (1 1 0 0 0 0 0 0 0 0) (1 1 0 0 0 0 0 0 0 0) (1 1 0 0 0 0 0 0 0 0))) (defparameter ge1 #2A((1 0 0 0 0) (1 0 0 0 0) (1 0 0 0 0) (1 0 0 0 0) (1 1 1 1 1))) (defparameter ge3 #2A((0 0 0 0 1) (0 0 0 0 1) (0 0 0 0 1) (0 0 0 0 1) (1 1 1 1 1))) (defparameter shift0 #2A((1 0 0 0 0 0 0 0) (1 0 0 0 0 0 0 0) (1 0 0 0 0 0 0 0) (1 0 0 0 0 0 0 0) (1 0 0 0 0 0 0 0) (1 0 0 0 0 0 0 0) (1 0 0 0 0 0 0 0) (1 0 0 0 0 0 0 0))) (defparameter shift1 #2A((0 0 0 0 1 0 0 0) (0 0 0 0 1 0 0 0) (0 0 0 0 1 0 0 0) (0 0 0 0 1 0 0 0) (0 0 0 0 1 0 0 0) (0 0 0 0 1 0 0 0) (0 0 0 0 1 0 0 0) (0 0 0 0 1 0 0 0))) (defparameter fi #2A((0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0) (0 0 1 1 1 1 1 1 1) (0 0 1 0 0 0 0 0 1) (0 0 1 0 0 0 0 0 1) (0 0 1 0 0 0 0 0 1) (0 0 1 1 1 1 1 0 1) (0 0 1 0 0 0 0 0 1) (0 0 1 0 0 0 0 0 1) (0 0 1 0 0 0 0 0 1) (0 0 1 0 0 0 0 0 1) (0 0 1 0 0 0 0 0 1))) (defparameter je #2A((0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0) (0 0 1 1 1 1 1 0 0) (0 0 1 0 0 0 0 0 0) (0 0 1 0 0 0 0 0 0) (0 0 1 1 1 1 0 0 0) (0 0 1 0 0 0 0 0 0) (0 0 1 0 0 0 0 0 0) (0 0 1 0 0 0 0 0 0) (0 0 1 1 1 1 1 0 0) (0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0))) (defparameter ai #2A((0 0 0 0 0 0 0 0 0) (0 0 0 1 1 0 0 0 0) (0 0 0 1 1 0 0 0 0) (0 0 0 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0) (0 0 0 1 1 0 0 0 0) (0 0 0 1 1 0 0 0 0) (0 0 0 1 1 0 0 0 0) (0 0 0 1 1 0 0 0 0) (0 0 0 1 1 0 0 0 0) (0 0 0 1 1 0 0 0 0) (0 0 0 1 1 0 0 0 0))) (defparameter ii #2A((0 0 0 1 1 0 0 0 0) (0 0 0 1 1 0 0 0 0) (0 0 0 1 1 0 0 0 0) (0 0 0 1 1 0 0 0 0) (0 0 0 1 1 0 0 0 0) (0 0 0 1 1 0 0 0 0) (0 0 0 1 1 0 0 0 0) (0 0 0 1 1 0 0 0 0) (0 0 0 1 1 0 0 0 0) (0 0 0 1 1 0 0 0 0) (0 0 0 1 1 0 0 0 0) (0 0 0 1 1 0 0 0 0))) (defparameter ie #2A((0 0 0 0 0 0 0 0 0) (0 1 0 0 1 1 1 1 1) (0 1 0 0 1 0 0 0 0) (0 1 0 0 1 0 0 0 0) (0 1 0 0 1 0 0 0 0) (0 1 0 0 1 1 1 1 1) (0 1 0 0 1 0 0 0 0) (0 1 0 0 1 0 0 0 0) (0 1 0 0 1 0 0 0 0) (0 1 0 0 1 0 0 0 0) (0 1 0 0 1 1 1 1 1) (0 0 0 0 0 0 0 0 0))) (defparameter es #2A((0 0 0 0 0 1 1 1 1 1 1 0 0 0) (0 0 0 0 1 1 1 0 0 1 1 1 1 0) (0 0 0 0 1 1 0 0 0 0 0 1 1 1) (0 0 0 1 1 0 0 0 0 0 0 0 1 1) (0 0 0 1 0 0 0 0 0 0 0 0 0 0) (0 0 0 1 0 0 0 0 0 0 0 0 0 0) (0 0 0 1 0 0 0 0 0 0 0 0 0 0) (0 0 1 1 0 0 0 0 0 0 0 0 0 0) (0 0 1 1 0 0 0 0 0 0 0 0 0 0) (0 0 0 1 1 0 0 0 0 0 0 0 0 0) (0 0 0 0 1 1 1 0 0 0 0 0 0 0) (0 0 0 0 0 0 1 1 1 0 0 0 0 0) (0 0 0 0 0 0 0 0 1 1 1 0 0 0) (0 0 0 0 0 0 0 0 0 1 1 1 0 0) (0 0 0 0 0 0 0 0 0 0 0 1 1 0) (0 0 0 0 0 0 0 0 0 0 0 0 1 1) (0 0 0 0 0 0 0 0 0 0 0 0 1 1) (0 0 0 0 0 0 0 0 0 0 0 0 1 1) (0 0 0 0 0 0 0 0 0 0 0 0 1 1) (1 1 0 0 0 0 0 0 0 0 0 1 1 0) (1 1 1 1 0 0 0 0 0 0 1 1 0 0) (0 0 1 1 1 1 1 1 1 1 1 0 0 0) (0 0 0 0 0 0 1 1 1 0 0 0 0 0))) (defparameter ce #2A((0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0) (0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0) (0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0) (0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0) (0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0) (1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1) (0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0) (0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0) (0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0))) (defparameter oo #2A((0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0) (0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0) (0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0) (0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0) (0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0) (0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0) (0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0) (0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0) (0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1) (0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1) (0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1) (0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1) (1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1) (1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1) (1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1) (0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1) (0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0) (0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0) (0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0) (0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0) (0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0) (0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0) (0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0) (0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0))) (defparameter not-q1 #2A((1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1) (1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1) (1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1) (1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0) (0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0) (0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0) (0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0) (0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0) (0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0) (0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0) (0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0) (0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0))) (defparameter not-q3 #2A((0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0) (0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0) (0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0) (0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0) (1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0) (1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0) (1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0) (1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0) (1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1))) (defparameter ee #2A((0 0 0 0 0 1 1 1 0 0 0 0) (0 0 0 1 1 1 1 1 1 1 0 0) (0 0 1 1 0 0 0 0 0 1 1 0) (0 1 1 0 0 0 0 0 0 0 1 1) (0 1 0 0 0 0 0 0 0 0 1 1) (0 1 0 0 0 0 0 0 0 0 0 1) (1 1 0 0 0 0 0 0 0 0 0 1) (1 1 1 1 1 1 1 1 1 1 1 1) (1 1 0 0 0 0 0 0 0 0 0 0) (1 1 0 0 0 0 0 0 0 0 0 0) (0 1 0 0 0 0 0 0 0 0 0 0) (0 1 0 0 0 0 0 0 0 0 0 0) (0 1 1 0 0 0 0 0 0 0 0 0) (0 1 1 0 0 0 0 0 0 0 0 0) (0 0 1 1 0 0 0 0 0 0 1 1) (0 0 1 1 1 0 0 0 0 1 1 1) (0 0 0 1 1 1 0 0 1 1 1 0) (0 0 0 0 1 1 1 1 1 0 0 0))) (defparameter se #2A((0 0 0 0 1 1 1 1 1 1 1 1 0 0 0) (0 0 0 1 1 1 0 0 0 0 0 1 1 1 0) (0 0 1 1 0 0 0 0 0 0 0 0 1 1 0) (0 0 1 0 0 0 0 0 0 0 0 0 0 1 1) (0 1 1 0 0 0 0 0 0 0 0 0 0 1 1) (0 1 1 0 0 0 0 0 0 0 0 0 0 0 0) (0 1 1 0 0 0 0 0 0 0 0 0 0 0 0) (0 1 1 0 0 0 0 0 0 0 0 0 0 0 0) (0 1 1 0 0 0 0 0 0 0 0 0 0 0 0) (0 0 1 1 0 0 0 0 0 0 0 0 0 0 0) (0 0 0 1 1 1 0 0 0 0 0 0 0 0 0) (0 0 0 0 1 1 1 1 1 1 1 0 0 0 0) (0 0 0 0 0 0 0 0 0 0 1 1 1 0 0) (0 0 0 0 0 0 0 0 0 0 0 0 1 0 0) (0 0 0 0 0 0 0 0 0 0 0 0 1 1 0) (0 0 0 0 0 0 0 0 0 0 0 0 1 1 0) (0 0 0 0 0 0 0 0 0 0 0 0 0 1 0) (1 0 0 0 0 0 0 0 0 0 0 0 0 1 0) (1 0 0 0 0 0 0 0 0 0 0 0 1 1 0) (1 1 0 0 0 0 0 0 0 0 0 1 1 0 0) (1 1 1 0 0 0 0 0 1 1 1 1 0 0 0) (0 1 1 1 1 1 1 1 1 1 0 0 0 0 0))) (defparameter be #2A((0 1 1 1 1 1 0 0 0 0 0 0) (1 1 1 0 0 1 1 1 0 0 0 0) (1 1 0 0 0 0 1 1 1 0 0 0) (0 1 0 0 0 0 0 0 1 1 0 0) (0 1 0 0 0 0 0 0 1 1 0 0) (0 1 0 0 0 0 0 0 0 1 0 0) (0 1 0 0 0 0 0 0 1 1 0 0) (0 1 0 0 0 0 0 0 1 1 0 0) (0 1 0 0 0 0 0 1 1 0 0 0) (0 1 0 0 0 1 1 1 0 0 0 0) (0 1 1 1 1 1 1 1 1 0 0 0) (0 1 1 1 1 1 1 1 1 1 0 0) (0 1 1 0 0 0 0 0 0 1 1 0) (0 0 1 0 0 0 0 0 0 0 1 1) (0 0 1 0 0 0 0 0 0 0 1 1) (0 0 1 0 0 0 0 0 0 0 0 1) (0 0 1 0 0 0 0 0 0 0 0 1) (0 0 1 0 0 0 0 0 0 0 1 1) (0 0 1 0 0 0 0 0 0 1 1 1) (0 0 1 0 0 1 1 1 1 1 0 0) (0 0 1 1 1 1 1 0 0 0 0 0))) (defparameter pa #2A((1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0) (1 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0) (1 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0) (1 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0) (1 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0) (1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0) (1 0 0 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0) (1 0 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0) (1 0 0 0 1 1 1 0 1 1 1 1 1 0 1 1 0 0) (1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0) (1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0) (1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0) (1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0) (1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0) (1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1) (1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1) (1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1) (1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0) (1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))) (defparameter cc #2A((0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0) (0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0) (0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0) (0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0) (0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1) (0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1) (0 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0) (0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0)))