(set-info :smt-lib-version 2.6)
(set-logic QF_LIA)
(set-info :category "crafted")
(set-info :status unsat)
(declare-fun p_0_0 () Int)
(declare-fun p_0_1 () Int)
(declare-fun p_0_2 () Int)
(declare-fun p_0_3 () Int)
(declare-fun p_0_4 () Int)
(declare-fun p_0_5 () Int)
(declare-fun p_1_0 () Int)
(declare-fun p_1_1 () Int)
(declare-fun p_1_2 () Int)
(declare-fun p_1_3 () Int)
(declare-fun p_1_4 () Int)
(declare-fun p_1_5 () Int)
(declare-fun p_2_0 () Int)
(declare-fun p_2_1 () Int)
(declare-fun p_2_2 () Int)
(declare-fun p_2_3 () Int)
(declare-fun p_2_4 () Int)
(declare-fun p_2_5 () Int)
(declare-fun p_3_0 () Int)
(declare-fun p_3_1 () Int)
(declare-fun p_3_2 () Int)
(declare-fun p_3_3 () Int)
(declare-fun p_3_4 () Int)
(declare-fun p_3_5 () Int)
(declare-fun p_4_0 () Int)
(declare-fun p_4_1 () Int)
(declare-fun p_4_2 () Int)
(declare-fun p_4_3 () Int)
(declare-fun p_4_4 () Int)
(declare-fun p_4_5 () Int)
(declare-fun p_5_0 () Int)
(declare-fun p_5_1 () Int)
(declare-fun p_5_2 () Int)
(declare-fun p_5_3 () Int)
(declare-fun p_5_4 () Int)
(declare-fun p_5_5 () Int)
(declare-fun p_6_0 () Int)
(declare-fun p_6_1 () Int)
(declare-fun p_6_2 () Int)
(declare-fun p_6_3 () Int)
(declare-fun p_6_4 () Int)
(declare-fun p_6_5 () Int)
(assert (>= p_0_0 0))
(assert (<= p_0_0 1))
(assert (>= p_0_1 0))
(assert (<= p_0_1 1))
(assert (>= p_0_2 0))
(assert (<= p_0_2 1))
(assert (>= p_0_3 0))
(assert (<= p_0_3 1))
(assert (>= p_0_4 0))
(assert (<= p_0_4 1))
(assert (>= p_0_5 0))
(assert (<= p_0_5 1))
(assert (>= p_1_0 0))
(assert (<= p_1_0 1))
(assert (>= p_1_1 0))
(assert (<= p_1_1 1))
(assert (>= p_1_2 0))
(assert (<= p_1_2 1))
(assert (>= p_1_3 0))
(assert (<= p_1_3 1))
(assert (>= p_1_4 0))
(assert (<= p_1_4 1))
(assert (>= p_1_5 0))
(assert (<= p_1_5 1))
(assert (>= p_2_0 0))
(assert (<= p_2_0 1))
(assert (>= p_2_1 0))
(assert (<= p_2_1 1))
(assert (>= p_2_2 0))
(assert (<= p_2_2 1))
(assert (>= p_2_3 0))
(assert (<= p_2_3 1))
(assert (>= p_2_4 0))
(assert (<= p_2_4 1))
(assert (>= p_2_5 0))
(assert (<= p_2_5 1))
(assert (>= p_3_0 0))
(assert (<= p_3_0 1))
(assert (>= p_3_1 0))
(assert (<= p_3_1 1))
(assert (>= p_3_2 0))
(assert (<= p_3_2 1))
(assert (>= p_3_3 0))
(assert (<= p_3_3 1))
(assert (>= p_3_4 0))
(assert (<= p_3_4 1))
(assert (>= p_3_5 0))
(assert (<= p_3_5 1))
(assert (>= p_4_0 0))
(assert (<= p_4_0 1))
(assert (>= p_4_1 0))
(assert (<= p_4_1 1))
(assert (>= p_4_2 0))
(assert (<= p_4_2 1))
(assert (>= p_4_3 0))
(assert (<= p_4_3 1))
(assert (>= p_4_4 0))
(assert (<= p_4_4 1))
(assert (>= p_4_5 0))
(assert (<= p_4_5 1))
(assert (>= p_5_0 0))
(assert (<= p_5_0 1))
(assert (>= p_5_1 0))
(assert (<= p_5_1 1))
(assert (>= p_5_2 0))
(assert (<= p_5_2 1))
(assert (>= p_5_3 0))
(assert (<= p_5_3 1))
(assert (>= p_5_4 0))
(assert (<= p_5_4 1))
(assert (>= p_5_5 0))
(assert (<= p_5_5 1))
(assert (>= p_6_0 0))
(assert (<= p_6_0 1))
(assert (>= p_6_1 0))
(assert (<= p_6_1 1))
(assert (>= p_6_2 0))
(assert (<= p_6_2 1))
(assert (>= p_6_3 0))
(assert (<= p_6_3 1))
(assert (>= p_6_4 0))
(assert (<= p_6_4 1))
(assert (>= p_6_5 0))
(assert (<= p_6_5 1))
(assert (>= (+ p_0_0 p_0_1 p_0_2 p_0_3 p_0_4 p_0_5) 1))
(assert (>= (+ p_1_0 p_1_1 p_1_2 p_1_3 p_1_4 p_1_5) 1))
(assert (>= (+ p_2_0 p_2_1 p_2_2 p_2_3 p_2_4 p_2_5) 1))
(assert (>= (+ p_3_0 p_3_1 p_3_2 p_3_3 p_3_4 p_3_5) 1))
(assert (>= (+ p_4_0 p_4_1 p_4_2 p_4_3 p_4_4 p_4_5) 1))
(assert (>= (+ p_5_0 p_5_1 p_5_2 p_5_3 p_5_4 p_5_5) 1))
(assert (>= (+ p_6_0 p_6_1 p_6_2 p_6_3 p_6_4 p_6_5) 1))
(assert (<= (+ p_0_0 p_1_0 p_2_0 p_3_0 p_4_0 p_5_0 p_6_0) 1))
(assert (<= (+ p_0_1 p_1_1 p_2_1 p_3_1 p_4_1 p_5_1 p_6_1) 1))
(assert (<= (+ p_0_2 p_1_2 p_2_2 p_3_2 p_4_2 p_5_2 p_6_2) 1))
(assert (<= (+ p_0_3 p_1_3 p_2_3 p_3_3 p_4_3 p_5_3 p_6_3) 1))
(assert (<= (+ p_0_4 p_1_4 p_2_4 p_3_4 p_4_4 p_5_4 p_6_4) 1))
(assert (<= (+ p_0_5 p_1_5 p_2_5 p_3_5 p_4_5 p_5_5 p_6_5) 1))
(check-sat)
(exit)