path: root/test/regress/regress1/rels/rel_pressure_0.cvc.smt2

; EXPECT: unsat
(set-option :incremental false)
(set-logic ALL)

(declare-fun x () (Set (Tuple Int Int)))
(declare-fun y () (Set (Tuple Int Int)))
(declare-fun z () (Set (Tuple Int Int)))
(declare-fun r () (Set (Tuple Int Int)))
(declare-fun a11 () (Tuple Int Int))
(assert (= a11 (tuple 1 1)))
(assert (set.member a11 x))
(declare-fun a12 () (Tuple Int Int))
(assert (= a12 (tuple 1 2)))
(assert (set.member a12 x))
(declare-fun a13 () (Tuple Int Int))
(assert (= a13 (tuple 1 3)))
(assert (set.member a13 x))
(declare-fun a14 () (Tuple Int Int))
(assert (= a14 (tuple 1 4)))
(assert (set.member a14 x))
(declare-fun a15 () (Tuple Int Int))
(assert (= a15 (tuple 1 5)))
(assert (set.member a15 x))
(declare-fun a16 () (Tuple Int Int))
(assert (= a16 (tuple 1 6)))
(assert (set.member a16 x))
(declare-fun a17 () (Tuple Int Int))
(assert (= a17 (tuple 1 7)))
(assert (set.member a17 x))
(declare-fun a18 () (Tuple Int Int))
(assert (= a18 (tuple 1 8)))
(assert (set.member a18 x))
(declare-fun a19 () (Tuple Int Int))
(assert (= a19 (tuple 1 9)))
(assert (set.member a19 x))
(declare-fun a110 () (Tuple Int Int))
(assert (= a110 (tuple 1 10)))
(assert (set.member a110 x))
(declare-fun a21 () (Tuple Int Int))
(assert (= a21 (tuple 2 1)))
(assert (set.member a21 x))
(declare-fun a22 () (Tuple Int Int))
(assert (= a22 (tuple 2 2)))
(assert (set.member a22 x))
(declare-fun a23 () (Tuple Int Int))
(assert (= a23 (tuple 2 3)))
(assert (set.member a23 x))
(declare-fun a24 () (Tuple Int Int))
(assert (= a24 (tuple 2 4)))
(assert (set.member a24 x))
(declare-fun a25 () (Tuple Int Int))
(assert (= a25 (tuple 2 5)))
(assert (set.member a25 x))
(declare-fun a26 () (Tuple Int Int))
(assert (= a26 (tuple 2 6)))
(assert (set.member a26 x))
(declare-fun a27 () (Tuple Int Int))
(assert (= a27 (tuple 2 7)))
(assert (set.member a27 x))
(declare-fun a28 () (Tuple Int Int))
(assert (= a28 (tuple 2 8)))
(assert (set.member a28 x))
(declare-fun a29 () (Tuple Int Int))
(assert (= a29 (tuple 2 9)))
(assert (set.member a29 x))
(declare-fun a210 () (Tuple Int Int))
(assert (= a210 (tuple 2 10)))
(assert (set.member a210 x))
(declare-fun a31 () (Tuple Int Int))
(assert (= a31 (tuple 3 1)))
(assert (set.member a31 x))
(declare-fun a32 () (Tuple Int Int))
(assert (= a32 (tuple 3 2)))
(assert (set.member a32 x))
(declare-fun a33 () (Tuple Int Int))
(assert (= a33 (tuple 3 3)))
(assert (set.member a33 x))
(declare-fun a34 () (Tuple Int Int))
(assert (= a34 (tuple 3 4)))
(assert (set.member a34 x))
(declare-fun a35 () (Tuple Int Int))
(assert (= a35 (tuple 3 5)))
(assert (set.member a35 x))
(declare-fun a36 () (Tuple Int Int))
(assert (= a36 (tuple 3 6)))
(assert (set.member a36 x))
(declare-fun a37 () (Tuple Int Int))
(assert (= a37 (tuple 3 7)))
(assert (set.member a37 x))
(declare-fun a38 () (Tuple Int Int))
(assert (= a38 (tuple 3 8)))
(assert (set.member a38 x))
(declare-fun a39 () (Tuple Int Int))
(assert (= a39 (tuple 3 9)))
(assert (set.member a39 x))
(declare-fun a310 () (Tuple Int Int))
(assert (= a310 (tuple 3 10)))
(assert (set.member a310 x))
(declare-fun a41 () (Tuple Int Int))
(assert (= a41 (tuple 4 1)))
(assert (set.member a41 x))
(declare-fun a42 () (Tuple Int Int))
(assert (= a42 (tuple 4 2)))
(assert (set.member a42 x))
(declare-fun a43 () (Tuple Int Int))
(assert (= a43 (tuple 4 3)))
(assert (set.member a43 x))
(declare-fun a44 () (Tuple Int Int))
(assert (= a44 (tuple 4 4)))
(assert (set.member a44 x))
(declare-fun a45 () (Tuple Int Int))
(assert (= a45 (tuple 4 5)))
(assert (set.member a45 x))
(declare-fun a46 () (Tuple Int Int))
(assert (= a46 (tuple 4 6)))
(assert (set.member a46 x))
(declare-fun a47 () (Tuple Int Int))
(assert (= a47 (tuple 4 7)))
(assert (set.member a47 x))
(declare-fun a48 () (Tuple Int Int))
(assert (= a48 (tuple 4 8)))
(assert (set.member a48 x))
(declare-fun a49 () (Tuple Int Int))
(assert (= a49 (tuple 4 9)))
(assert (set.member a49 x))
(declare-fun a410 () (Tuple Int Int))
(assert (= a410 (tuple 4 10)))
(assert (set.member a410 x))
(declare-fun a51 () (Tuple Int Int))
(assert (= a51 (tuple 5 1)))
(assert (set.member a51 x))
(declare-fun a52 () (Tuple Int Int))
(assert (= a52 (tuple 5 2)))
(assert (set.member a52 x))
(declare-fun a53 () (Tuple Int Int))
(assert (= a53 (tuple 5 3)))
(assert (set.member a53 x))
(declare-fun a54 () (Tuple Int Int))
(assert (= a54 (tuple 5 4)))
(assert (set.member a54 x))
(declare-fun a55 () (Tuple Int Int))
(assert (= a55 (tuple 5 5)))
(assert (set.member a55 x))
(declare-fun a56 () (Tuple Int Int))
(assert (= a56 (tuple 5 6)))
(assert (set.member a56 x))
(declare-fun a57 () (Tuple Int Int))
(assert (= a57 (tuple 5 7)))
(assert (set.member a57 x))
(declare-fun a58 () (Tuple Int Int))
(assert (= a58 (tuple 5 8)))
(assert (set.member a58 x))
(declare-fun a59 () (Tuple Int Int))
(assert (= a59 (tuple 5 9)))
(assert (set.member a59 x))
(declare-fun a510 () (Tuple Int Int))
(assert (= a510 (tuple 5 10)))
(assert (set.member a510 x))
(declare-fun a61 () (Tuple Int Int))
(assert (= a61 (tuple 6 1)))
(assert (set.member a61 x))
(declare-fun a62 () (Tuple Int Int))
(assert (= a62 (tuple 6 2)))
(assert (set.member a62 x))
(declare-fun a63 () (Tuple Int Int))
(assert (= a63 (tuple 6 3)))
(assert (set.member a63 x))
(declare-fun a64 () (Tuple Int Int))
(assert (= a64 (tuple 6 4)))
(assert (set.member a64 x))
(declare-fun a65 () (Tuple Int Int))
(assert (= a65 (tuple 6 5)))
(assert (set.member a65 x))
(declare-fun a66 () (Tuple Int Int))
(assert (= a66 (tuple 6 6)))
(assert (set.member a66 x))
(declare-fun a67 () (Tuple Int Int))
(assert (= a67 (tuple 6 7)))
(assert (set.member a67 x))
(declare-fun a68 () (Tuple Int Int))
(assert (= a68 (tuple 6 8)))
(assert (set.member a68 x))
(declare-fun a69 () (Tuple Int Int))
(assert (= a69 (tuple 6 9)))
(assert (set.member a69 x))
(declare-fun a610 () (Tuple Int Int))
(assert (= a610 (tuple 6 10)))
(assert (set.member a610 x))
(declare-fun a71 () (Tuple Int Int))
(assert (= a71 (tuple 7 1)))
(assert (set.member a71 x))
(declare-fun a72 () (Tuple Int Int))
(assert (= a72 (tuple 7 2)))
(assert (set.member a72 x))
(declare-fun a73 () (Tuple Int Int))
(assert (= a73 (tuple 7 3)))
(assert (set.member a73 x))
(declare-fun a74 () (Tuple Int Int))
(assert (= a74 (tuple 7 4)))
(assert (set.member a74 x))
(declare-fun a75 () (Tuple Int Int))
(assert (= a75 (tuple 7 5)))
(assert (set.member a75 x))
(declare-fun a76 () (Tuple Int Int))
(assert (= a76 (tuple 7 6)))
(assert (set.member a76 x))
(declare-fun a77 () (Tuple Int Int))
(assert (= a77 (tuple 7 7)))
(assert (set.member a77 x))
(declare-fun a78 () (Tuple Int Int))
(assert (= a78 (tuple 7 8)))
(assert (set.member a78 x))
(declare-fun a79 () (Tuple Int Int))
(assert (= a79 (tuple 7 9)))
(assert (set.member a79 x))
(declare-fun a710 () (Tuple Int Int))
(assert (= a710 (tuple 7 10)))
(assert (set.member a710 x))
(declare-fun a81 () (Tuple Int Int))
(assert (= a81 (tuple 8 1)))
(assert (set.member a81 x))
(declare-fun a82 () (Tuple Int Int))
(assert (= a82 (tuple 8 2)))
(assert (set.member a82 x))
(declare-fun a83 () (Tuple Int Int))
(assert (= a83 (tuple 8 3)))
(assert (set.member a83 x))
(declare-fun a84 () (Tuple Int Int))
(assert (= a84 (tuple 8 4)))
(assert (set.member a84 x))
(declare-fun a85 () (Tuple Int Int))
(assert (= a85 (tuple 8 5)))
(assert (set.member a85 x))
(declare-fun a86 () (Tuple Int Int))
(assert (= a86 (tuple 8 6)))
(assert (set.member a86 x))
(declare-fun a87 () (Tuple Int Int))
(assert (= a87 (tuple 8 7)))
(assert (set.member a87 x))
(declare-fun a88 () (Tuple Int Int))
(assert (= a88 (tuple 8 8)))
(assert (set.member a88 x))
(declare-fun a89 () (Tuple Int Int))
(assert (= a89 (tuple 8 9)))
(assert (set.member a89 x))
(declare-fun a810 () (Tuple Int Int))
(assert (= a810 (tuple 8 10)))
(assert (set.member a810 x))
(declare-fun a91 () (Tuple Int Int))
(assert (= a91 (tuple 9 1)))
(assert (set.member a91 x))
(declare-fun a92 () (Tuple Int Int))
(assert (= a92 (tuple 9 2)))
(assert (set.member a92 x))
(declare-fun a93 () (Tuple Int Int))
(assert (= a93 (tuple 9 3)))
(assert (set.member a93 x))
(declare-fun a94 () (Tuple Int Int))
(assert (= a94 (tuple 9 4)))
(assert (set.member a94 x))
(declare-fun a95 () (Tuple Int Int))
(assert (= a95 (tuple 9 5)))
(assert (set.member a95 x))
(declare-fun a96 () (Tuple Int Int))
(assert (= a96 (tuple 9 6)))
(assert (set.member a96 x))
(declare-fun a97 () (Tuple Int Int))
(assert (= a97 (tuple 9 7)))
(assert (set.member a97 x))
(declare-fun a98 () (Tuple Int Int))
(assert (= a98 (tuple 9 8)))
(assert (set.member a98 x))
(declare-fun a99 () (Tuple Int Int))
(assert (= a99 (tuple 9 9)))
(assert (set.member a99 x))
(declare-fun a910 () (Tuple Int Int))
(assert (= a910 (tuple 9 10)))
(assert (set.member a910 x))
(declare-fun a101 () (Tuple Int Int))
(assert (= a101 (tuple 10 1)))
(assert (set.member a101 x))
(declare-fun a102 () (Tuple Int Int))
(assert (= a102 (tuple 10 2)))
(assert (set.member a102 x))
(declare-fun a103 () (Tuple Int Int))
(assert (= a103 (tuple 10 3)))
(assert (set.member a103 x))
(declare-fun a104 () (Tuple Int Int))
(assert (= a104 (tuple 10 4)))
(assert (set.member a104 x))
(declare-fun a105 () (Tuple Int Int))
(assert (= a105 (tuple 10 5)))
(assert (set.member a105 x))
(declare-fun a106 () (Tuple Int Int))
(assert (= a106 (tuple 10 6)))
(assert (set.member a106 x))
(declare-fun a107 () (Tuple Int Int))
(assert (= a107 (tuple 10 7)))
(assert (set.member a107 x))
(declare-fun a108 () (Tuple Int Int))
(assert (= a108 (tuple 10 8)))
(assert (set.member a108 x))
(declare-fun a109 () (Tuple Int Int))
(assert (= a109 (tuple 10 9)))
(assert (set.member a109 x))
(declare-fun a1010 () (Tuple Int Int))
(assert (= a1010 (tuple 10 10)))
(assert (set.member a1010 x))
(declare-fun b11 () (Tuple Int Int))
(assert (= b11 (tuple 1 1)))
(assert (set.member b11 y))
(declare-fun b12 () (Tuple Int Int))
(assert (= b12 (tuple 1 2)))
(assert (set.member b12 y))
(declare-fun b13 () (Tuple Int Int))
(assert (= b13 (tuple 1 3)))
(assert (set.member b13 y))
(declare-fun b14 () (Tuple Int Int))
(assert (= b14 (tuple 1 4)))
(assert (set.member b14 y))
(declare-fun b15 () (Tuple Int Int))
(assert (= b15 (tuple 1 5)))
(assert (set.member b15 y))
(declare-fun b16 () (Tuple Int Int))
(assert (= b16 (tuple 1 6)))
(assert (set.member b16 y))
(declare-fun b17 () (Tuple Int Int))
(assert (= b17 (tuple 1 7)))
(assert (set.member b17 y))
(declare-fun b18 () (Tuple Int Int))
(assert (= b18 (tuple 1 8)))
(assert (set.member b18 y))
(declare-fun b19 () (Tuple Int Int))
(assert (= b19 (tuple 1 9)))
(assert (set.member b19 y))
(declare-fun b110 () (Tuple Int Int))
(assert (= b110 (tuple 1 10)))
(assert (set.member b110 y))
(declare-fun b21 () (Tuple Int Int))
(assert (= b21 (tuple 2 1)))
(assert (set.member b21 y))
(declare-fun b22 () (Tuple Int Int))
(assert (= b22 (tuple 2 2)))
(assert (set.member b22 y))
(declare-fun b23 () (Tuple Int Int))
(assert (= b23 (tuple 2 3)))
(assert (set.member b23 y))
(declare-fun b24 () (Tuple Int Int))
(assert (= b24 (tuple 2 4)))
(assert (set.member b24 y))
(declare-fun b25 () (Tuple Int Int))
(assert (= b25 (tuple 2 5)))
(assert (set.member b25 y))
(declare-fun b26 () (Tuple Int Int))
(assert (= b26 (tuple 2 6)))
(assert (set.member b26 y))
(declare-fun b27 () (Tuple Int Int))
(assert (= b27 (tuple 2 7)))
(assert (set.member b27 y))
(declare-fun b28 () (Tuple Int Int))
(assert (= b28 (tuple 2 8)))
(assert (set.member b28 y))
(declare-fun b29 () (Tuple Int Int))
(assert (= b29 (tuple 2 9)))
(assert (set.member b29 y))
(declare-fun b210 () (Tuple Int Int))
(assert (= b210 (tuple 2 10)))
(assert (set.member b210 y))
(declare-fun b31 () (Tuple Int Int))
(assert (= b31 (tuple 3 1)))
(assert (set.member b31 y))
(declare-fun b32 () (Tuple Int Int))
(assert (= b32 (tuple 3 2)))
(assert (set.member b32 y))
(declare-fun b33 () (Tuple Int Int))
(assert (= b33 (tuple 3 3)))
(assert (set.member b33 y))
(declare-fun b34 () (Tuple Int Int))
(assert (= b34 (tuple 3 4)))
(assert (set.member b34 y))
(declare-fun b35 () (Tuple Int Int))
(assert (= b35 (tuple 3 5)))
(assert (set.member b35 y))
(declare-fun b36 () (Tuple Int Int))
(assert (= b36 (tuple 3 6)))
(assert (set.member b36 y))
(declare-fun b37 () (Tuple Int Int))
(assert (= b37 (tuple 3 7)))
(assert (set.member b37 y))
(declare-fun b38 () (Tuple Int Int))
(assert (= b38 (tuple 3 8)))
(assert (set.member b38 y))
(declare-fun b39 () (Tuple Int Int))
(assert (= b39 (tuple 3 9)))
(assert (set.member b39 y))
(declare-fun b310 () (Tuple Int Int))
(assert (= b310 (tuple 3 10)))
(assert (set.member b310 y))
(declare-fun b41 () (Tuple Int Int))
(assert (= b41 (tuple 4 1)))
(assert (set.member b41 y))
(declare-fun b42 () (Tuple Int Int))
(assert (= b42 (tuple 4 2)))
(assert (set.member b42 y))
(declare-fun b43 () (Tuple Int Int))
(assert (= b43 (tuple 4 3)))
(assert (set.member b43 y))
(declare-fun b44 () (Tuple Int Int))
(assert (= b44 (tuple 4 4)))
(assert (set.member b44 y))
(declare-fun b45 () (Tuple Int Int))
(assert (= b45 (tuple 4 5)))
(assert (set.member b45 y))
(declare-fun b46 () (Tuple Int Int))
(assert (= b46 (tuple 4 6)))
(assert (set.member b46 y))
(declare-fun b47 () (Tuple Int Int))
(assert (= b47 (tuple 4 7)))
(assert (set.member b47 y))
(declare-fun b48 () (Tuple Int Int))
(assert (= b48 (tuple 4 8)))
(assert (set.member b48 y))
(declare-fun b49 () (Tuple Int Int))
(assert (= b49 (tuple 4 9)))
(assert (set.member b49 y))
(declare-fun b410 () (Tuple Int Int))
(assert (= b410 (tuple 4 10)))
(assert (set.member b410 y))
(declare-fun b51 () (Tuple Int Int))
(assert (= b51 (tuple 5 1)))
(assert (set.member b51 y))
(declare-fun b52 () (Tuple Int Int))
(assert (= b52 (tuple 5 2)))
(assert (set.member b52 y))
(declare-fun b53 () (Tuple Int Int))
(assert (= b53 (tuple 5 3)))
(assert (set.member b53 y))
(declare-fun b54 () (Tuple Int Int))
(assert (= b54 (tuple 5 4)))
(assert (set.member b54 y))
(declare-fun b55 () (Tuple Int Int))
(assert (= b55 (tuple 5 5)))
(assert (set.member b55 y))
(declare-fun b56 () (Tuple Int Int))
(assert (= b56 (tuple 5 6)))
(assert (set.member b56 y))
(declare-fun b57 () (Tuple Int Int))
(assert (= b57 (tuple 5 7)))
(assert (set.member b57 y))
(declare-fun b58 () (Tuple Int Int))
(assert (= b58 (tuple 5 8)))
(assert (set.member b58 y))
(declare-fun b59 () (Tuple Int Int))
(assert (= b59 (tuple 5 9)))
(assert (set.member b59 y))
(declare-fun b510 () (Tuple Int Int))
(assert (= b510 (tuple 5 10)))
(assert (set.member b510 y))
(declare-fun b61 () (Tuple Int Int))
(assert (= b61 (tuple 6 1)))
(assert (set.member b61 y))
(declare-fun b62 () (Tuple Int Int))
(assert (= b62 (tuple 6 2)))
(assert (set.member b62 y))
(declare-fun b63 () (Tuple Int Int))
(assert (= b63 (tuple 6 3)))
(assert (set.member b63 y))
(declare-fun b64 () (Tuple Int Int))
(assert (= b64 (tuple 6 4)))
(assert (set.member b64 y))
(declare-fun b65 () (Tuple Int Int))
(assert (= b65 (tuple 6 5)))
(assert (set.member b65 y))
(declare-fun b66 () (Tuple Int Int))
(assert (= b66 (tuple 6 6)))
(assert (set.member b66 y))
(declare-fun b67 () (Tuple Int Int))
(assert (= b67 (tuple 6 7)))
(assert (set.member b67 y))
(declare-fun b68 () (Tuple Int Int))
(assert (= b68 (tuple 6 8)))
(assert (set.member b68 y))
(declare-fun b69 () (Tuple Int Int))
(assert (= b69 (tuple 6 9)))
(assert (set.member b69 y))
(declare-fun b610 () (Tuple Int Int))
(assert (= b610 (tuple 6 10)))
(assert (set.member b610 y))
(declare-fun b71 () (Tuple Int Int))
(assert (= b71 (tuple 7 1)))
(assert (set.member b71 y))
(declare-fun b72 () (Tuple Int Int))
(assert (= b72 (tuple 7 2)))
(assert (set.member b72 y))
(declare-fun b73 () (Tuple Int Int))
(assert (= b73 (tuple 7 3)))
(assert (set.member b73 y))
(declare-fun b74 () (Tuple Int Int))
(assert (= b74 (tuple 7 4)))
(assert (set.member b74 y))
(declare-fun b75 () (Tuple Int Int))
(assert (= b75 (tuple 7 5)))
(assert (set.member b75 y))
(declare-fun b76 () (Tuple Int Int))
(assert (= b76 (tuple 7 6)))
(assert (set.member b76 y))
(declare-fun b77 () (Tuple Int Int))
(assert (= b77 (tuple 7 7)))
(assert (set.member b77 y))
(declare-fun b78 () (Tuple Int Int))
(assert (= b78 (tuple 7 8)))
(assert (set.member b78 y))
(declare-fun b79 () (Tuple Int Int))
(assert (= b79 (tuple 7 9)))
(assert (set.member b79 y))
(declare-fun b710 () (Tuple Int Int))
(assert (= b710 (tuple 7 10)))
(assert (set.member b710 y))
(declare-fun b81 () (Tuple Int Int))
(assert (= b81 (tuple 8 1)))
(assert (set.member b81 y))
(declare-fun b82 () (Tuple Int Int))
(assert (= b82 (tuple 8 2)))
(assert (set.member b82 y))
(declare-fun b83 () (Tuple Int Int))
(assert (= b83 (tuple 8 3)))
(assert (set.member b83 y))
(declare-fun b84 () (Tuple Int Int))
(assert (= b84 (tuple 8 4)))
(assert (set.member b84 y))
(declare-fun b85 () (Tuple Int Int))
(assert (= b85 (tuple 8 5)))
(assert (set.member b85 y))
(declare-fun b86 () (Tuple Int Int))
(assert (= b86 (tuple 8 6)))
(assert (set.member b86 y))
(declare-fun b87 () (Tuple Int Int))
(assert (= b87 (tuple 8 7)))
(assert (set.member b87 y))
(declare-fun b88 () (Tuple Int Int))
(assert (= b88 (tuple 8 8)))
(assert (set.member b88 y))
(declare-fun b89 () (Tuple Int Int))
(assert (= b89 (tuple 8 9)))
(assert (set.member b89 y))
(declare-fun b810 () (Tuple Int Int))
(assert (= b810 (tuple 8 10)))
(assert (set.member b810 y))
(declare-fun b91 () (Tuple Int Int))
(assert (= b91 (tuple 9 1)))
(assert (set.member b91 y))
(declare-fun b92 () (Tuple Int Int))
(assert (= b92 (tuple 9 2)))
(assert (set.member b92 y))
(declare-fun b93 () (Tuple Int Int))
(assert (= b93 (tuple 9 3)))
(assert (set.member b93 y))
(declare-fun b94 () (Tuple Int Int))
(assert (= b94 (tuple 9 4)))
(assert (set.member b94 y))
(declare-fun b95 () (Tuple Int Int))
(assert (= b95 (tuple 9 5)))
(assert (set.member b95 y))
(declare-fun b96 () (Tuple Int Int))
(assert (= b96 (tuple 9 6)))
(assert (set.member b96 y))
(declare-fun b97 () (Tuple Int Int))
(assert (= b97 (tuple 9 7)))
(assert (set.member b97 y))
(declare-fun b98 () (Tuple Int Int))
(assert (= b98 (tuple 9 8)))
(assert (set.member b98 y))
(declare-fun b99 () (Tuple Int Int))
(assert (= b99 (tuple 9 9)))
(assert (set.member b99 y))
(declare-fun b910 () (Tuple Int Int))
(assert (= b910 (tuple 9 10)))
(assert (set.member b910 y))
(declare-fun b101 () (Tuple Int Int))
(assert (= b101 (tuple 10 1)))
(assert (set.member b101 y))
(declare-fun b102 () (Tuple Int Int))
(assert (= b102 (tuple 10 2)))
(assert (set.member b102 y))
(declare-fun b103 () (Tuple Int Int))
(assert (= b103 (tuple 10 3)))
(assert (set.member b103 y))
(declare-fun b104 () (Tuple Int Int))
(assert (= b104 (tuple 10 4)))
(assert (set.member b104 y))
(declare-fun b105 () (Tuple Int Int))
(assert (= b105 (tuple 10 5)))
(assert (set.member b105 y))
(declare-fun b106 () (Tuple Int Int))
(assert (= b106 (tuple 10 6)))
(assert (set.member b106 y))
(declare-fun b107 () (Tuple Int Int))
(assert (= b107 (tuple 10 7)))
(assert (set.member b107 y))
(declare-fun b108 () (Tuple Int Int))
(assert (= b108 (tuple 10 8)))
(assert (set.member b108 y))
(declare-fun b109 () (Tuple Int Int))
(assert (= b109 (tuple 10 9)))
(assert (set.member b109 y))
(declare-fun b1010 () (Tuple Int Int))
(assert (= b1010 (tuple 10 10)))
(assert (set.member b1010 y))
(assert (set.member (tuple 1 9) z))
(declare-fun a () (Tuple Int Int))
(assert (= a (tuple 9 1)))
(assert (= r (rel.join (rel.join (rel.transpose x) y) z)))
(assert (not (set.member a (rel.transpose r))))
(check-sat)