(prime-number 21888242871839275222246405745257275088548364400416034343698204186575808495617)
(begin-module Main)
(input in_0)
(input in_1)
(output out_0)
(assert (= (* 1 (+ (+ adv_0_0 adv_1_0) (- adv_2_0))) 0))
(assert (= (* 1 (+ (+ adv_0_1 adv_1_1) (- adv_2_1))) 0))
(assert (= (* 1 (+ (+ adv_0_2 adv_1_2) (- adv_2_2))) 0))
(assert (= (* 1 (+ (+ adv_0_3 adv_1_3) (- adv_2_3))) 0))
(assert (= (* 1 (+ (+ adv_0_4 adv_1_4) (- adv_2_4))) 0))
(assert (= (* 1 (+ (+ adv_0_5 adv_1_5) (- adv_2_5))) 0))
(assert (= (* 1 (+ (+ adv_0_6 adv_1_6) (- adv_2_6))) 0))
(assert (= (* 1 (+ (+ adv_0_7 adv_1_7) (- adv_2_7))) 0))
(assert (= adv_0_0 in_0))
(assert (= adv_0_1 adv_1_0))
(assert (= adv_0_2 adv_2_0))
(assert (= adv_0_3 adv_2_1))
(assert (= adv_0_4 adv_2_2))
(assert (= adv_0_5 adv_2_3))
(assert (= adv_0_6 adv_2_4))
(assert (= adv_0_7 adv_2_5))
(assert (= adv_1_0 in_1))
(assert (= adv_1_1 adv_2_0))
(assert (= adv_1_2 adv_2_1))
(assert (= adv_1_3 adv_2_2))
(assert (= adv_1_4 adv_2_3))
(assert (= adv_1_5 adv_2_4))
(assert (= adv_1_6 adv_2_5))
(assert (= adv_1_7 adv_2_6))
(assert (= adv_2_7 out_0))
(end-module)