h :- not v0_0, not v0_1, not v0_2, not v0_3.
v0_0 :- not v6_0, not v3_0, not v4_0, not v0_1, not v0_2, not v0_3.
v0_1 :- not v6_1, not v3_1, not v4_1, not v0_0, not v0_2, not v0_3.
v0_2 :- not v6_2, not v3_2, not v4_2, not v0_0, not v0_1, not v0_3.
v0_3 :- not v6_3, not v3_3, not v4_3, not v0_0, not v0_1, not v0_2.
h :- not v1_0, not v1_1, not v1_2, not v1_3.
v1_0 :- not v5_0, not v6_0, not v3_0, not v2_0, not v1_1, not v1_2, not v1_3.
v1_1 :- not v5_1, not v6_1, not v3_1, not v2_1, not v1_0, not v1_2, not v1_3.
v1_2 :- not v5_2, not v6_2, not v3_2, not v2_2, not v1_0, not v1_1, not v1_3.
v1_3 :- not v5_3, not v6_3, not v3_3, not v2_3, not v1_0, not v1_1, not v1_2.
h :- not v2_0, not v2_1, not v2_2, not v2_3.
v2_0 :- not v9_0, not v7_0, not v6_0, not v5_0, not v1_0, not v2_1, not v2_2, not v2_3.
v2_1 :- not v9_1, not v7_1, not v6_1, not v5_1, not v1_1, not v2_0, not v2_2, not v2_3.
v2_2 :- not v9_2, not v7_2, not v6_2, not v5_2, not v1_2, not v2_0, not v2_1, not v2_3.
v2_3 :- not v9_3, not v7_3, not v6_3, not v5_3, not v1_3, not v2_0, not v2_1, not v2_2.
h :- not v3_0, not v3_1, not v3_2, not v3_3.
v3_0 :- not v8_0, not v5_0, not v0_0, not v1_0, not v6_0, not v4_0, not v3_1, not v3_2, not v3_3.
v3_1 :- not v8_1, not v5_1, not v0_1, not v1_1, not v6_1, not v4_1, not v3_0, not v3_2, not v3_3.
v3_2 :- not v8_2, not v5_2, not v0_2, not v1_2, not v6_2, not v4_2, not v3_0, not v3_1, not v3_3.
v3_3 :- not v8_3, not v5_3, not v0_3, not v1_3, not v6_3, not v4_3, not v3_0, not v3_1, not v3_2.
h :- not v4_0, not v4_1, not v4_2, not v4_3.
v4_0 :- not v8_0, not v0_0, not v3_0, not v4_1, not v4_2, not v4_3.
v4_1 :- not v8_1, not v0_1, not v3_1, not v4_0, not v4_2, not v4_3.
v4_2 :- not v8_2, not v0_2, not v3_2, not v4_0, not v4_1, not v4_3.
v4_3 :- not v8_3, not v0_3, not v3_3, not v4_0, not v4_1, not v4_2.
h :- not v5_0, not v5_1, not v5_2, not v5_3.
v5_0 :- not v8_0, not v2_0, not v3_0, not v1_0, not v9_0, not v5_1, not v5_2, not v5_3.
v5_1 :- not v8_1, not v2_1, not v3_1, not v1_1, not v9_1, not v5_0, not v5_2, not v5_3.
v5_2 :- not v8_2, not v2_2, not v3_2, not v1_2, not v9_2, not v5_0, not v5_1, not v5_3.
v5_3 :- not v8_3, not v2_3, not v3_3, not v1_3, not v9_3, not v5_0, not v5_1, not v5_2.
h :- not v6_0, not v6_1, not v6_2, not v6_3.
v6_0 :- not v7_0, not v2_0, not v0_0, not v1_0, not v3_0, not v6_1, not v6_2, not v6_3.
v6_1 :- not v7_1, not v2_1, not v0_1, not v1_1, not v3_1, not v6_0, not v6_2, not v6_3.
v6_2 :- not v7_2, not v2_2, not v0_2, not v1_2, not v3_2, not v6_0, not v6_1, not v6_3.
v6_3 :- not v7_3, not v2_3, not v0_3, not v1_3, not v3_3, not v6_0, not v6_1, not v6_2.
h :- not v7_0, not v7_1, not v7_2, not v7_3.
v7_0 :- not v9_0, not v2_0, not v6_0, not v7_1, not v7_2, not v7_3.
v7_1 :- not v9_1, not v2_1, not v6_1, not v7_0, not v7_2, not v7_3.
v7_2 :- not v9_2, not v2_2, not v6_2, not v7_0, not v7_1, not v7_3.
v7_3 :- not v9_3, not v2_3, not v6_3, not v7_0, not v7_1, not v7_2.
h :- not v8_0, not v8_1, not v8_2, not v8_3.
v8_0 :- not v9_0, not v5_0, not v3_0, not v4_0, not v8_1, not v8_2, not v8_3.
v8_1 :- not v9_1, not v5_1, not v3_1, not v4_1, not v8_0, not v8_2, not v8_3.
v8_2 :- not v9_2, not v5_2, not v3_2, not v4_2, not v8_0, not v8_1, not v8_3.
v8_3 :- not v9_3, not v5_3, not v3_3, not v4_3, not v8_0, not v8_1, not v8_2.
h :- not v9_0, not v9_1, not v9_2, not v9_3.
v9_0 :- not v8_0, not v7_0, not v2_0, not v5_0, not v9_1, not v9_2, not v9_3.
v9_1 :- not v8_1, not v7_1, not v2_1, not v5_1, not v9_0, not v9_2, not v9_3.
v9_2 :- not v8_2, not v7_2, not v2_2, not v5_2, not v9_0, not v9_1, not v9_3.
v9_3 :- not v8_3, not v7_3, not v2_3, not v5_3, not v9_0, not v9_1, not v9_2.
compute { not h }
