% Performance example: repeated multi-key relational lookups.
%% goal: lookupResult(X0, X1)

%% goal: reason(X0, X1)


relation(a0, b0, c0, v0_0).
relation(a0, b31, c1, v0_1).
relation(a0, b62, c2, v0_2).
relation(a0, b93, c3, v0_3).
relation(a0, b124, c4, v0_4).
relation(a0, b155, c5, v0_5).
relation(a0, b186, c6, v0_6).
relation(a0, b217, c7, v0_7).
relation(a0, b248, c8, v0_8).
relation(a0, b279, c9, v0_9).
relation(a0, b310, c10, v0_10).
relation(a0, b341, c11, v0_11).
relation(a0, b372, c12, v0_12).
relation(a0, b403, c13, v0_13).
relation(a0, b434, c14, v0_14).
relation(a1, b17, c0, v1_0).
relation(a1, b48, c1, v1_1).
relation(a1, b79, c2, v1_2).
relation(a1, b110, c3, v1_3).
relation(a1, b141, c4, v1_4).
relation(a1, b172, c5, v1_5).
relation(a1, b203, c6, v1_6).
relation(a1, b234, c7, v1_7).
relation(a1, b265, c8, v1_8).
relation(a1, b296, c9, v1_9).
relation(a1, b327, c10, v1_10).
relation(a1, b358, c11, v1_11).
relation(a1, b389, c12, v1_12).
relation(a1, b420, c13, v1_13).
relation(a1, b451, c14, v1_14).
relation(a2, b34, c0, v2_0).
relation(a2, b65, c1, v2_1).
relation(a2, b96, c2, v2_2).
relation(a2, b127, c3, v2_3).
relation(a2, b158, c4, v2_4).
relation(a2, b189, c5, v2_5).
relation(a2, b220, c6, v2_6).
relation(a2, b251, c7, v2_7).
relation(a2, b282, c8, v2_8).
relation(a2, b313, c9, v2_9).
relation(a2, b344, c10, v2_10).
relation(a2, b375, c11, v2_11).
relation(a2, b406, c12, v2_12).
relation(a2, b437, c13, v2_13).
relation(a2, b468, c14, v2_14).
relation(a3, b51, c0, v3_0).
relation(a3, b82, c1, v3_1).
relation(a3, b113, c2, v3_2).
relation(a3, b144, c3, v3_3).
relation(a3, b175, c4, v3_4).
relation(a3, b206, c5, v3_5).
relation(a3, b237, c6, v3_6).
relation(a3, b268, c7, v3_7).
relation(a3, b299, c8, v3_8).
relation(a3, b330, c9, v3_9).
relation(a3, b361, c10, v3_10).
relation(a3, b392, c11, v3_11).
relation(a3, b423, c12, v3_12).
relation(a3, b454, c13, v3_13).
relation(a3, b485, c14, v3_14).
relation(a4, b68, c0, v4_0).
relation(a4, b99, c1, v4_1).
relation(a4, b130, c2, v4_2).
relation(a4, b161, c3, v4_3).
relation(a4, b192, c4, v4_4).
relation(a4, b223, c5, v4_5).
relation(a4, b254, c6, v4_6).
relation(a4, b285, c7, v4_7).
relation(a4, b316, c8, v4_8).
relation(a4, b347, c9, v4_9).
relation(a4, b378, c10, v4_10).
relation(a4, b409, c11, v4_11).
relation(a4, b440, c12, v4_12).
relation(a4, b471, c13, v4_13).
relation(a4, b502, c14, v4_14).
relation(a5, b85, c0, v5_0).
relation(a5, b116, c1, v5_1).
relation(a5, b147, c2, v5_2).
relation(a5, b178, c3, v5_3).
relation(a5, b209, c4, v5_4).
relation(a5, b240, c5, v5_5).
relation(a5, b271, c6, v5_6).
relation(a5, b302, c7, v5_7).
relation(a5, b333, c8, v5_8).
relation(a5, b364, c9, v5_9).
relation(a5, b395, c10, v5_10).
relation(a5, b426, c11, v5_11).
relation(a5, b457, c12, v5_12).
relation(a5, b488, c13, v5_13).
relation(a5, b519, c14, v5_14).
relation(a6, b102, c0, v6_0).
relation(a6, b133, c1, v6_1).
relation(a6, b164, c2, v6_2).
relation(a6, b195, c3, v6_3).
relation(a6, b226, c4, v6_4).
relation(a6, b257, c5, v6_5).
relation(a6, b288, c6, v6_6).
relation(a6, b319, c7, v6_7).
relation(a6, b350, c8, v6_8).
relation(a6, b381, c9, v6_9).
relation(a6, b412, c10, v6_10).
relation(a6, b443, c11, v6_11).
relation(a6, b474, c12, v6_12).
relation(a6, b505, c13, v6_13).
relation(a6, b536, c14, v6_14).
relation(a7, b119, c0, v7_0).
relation(a7, b150, c1, v7_1).
relation(a7, b181, c2, v7_2).
relation(a7, b212, c3, v7_3).
relation(a7, b243, c4, v7_4).
relation(a7, b274, c5, v7_5).
relation(a7, b305, c6, v7_6).
relation(a7, b336, c7, v7_7).
relation(a7, b367, c8, v7_8).
relation(a7, b398, c9, v7_9).
relation(a7, b429, c10, v7_10).
relation(a7, b460, c11, v7_11).
relation(a7, b491, c12, v7_12).
relation(a7, b522, c13, v7_13).
relation(a7, b553, c14, v7_14).
relation(a8, b136, c0, v8_0).
relation(a8, b167, c1, v8_1).
relation(a8, b198, c2, v8_2).
relation(a8, b229, c3, v8_3).
relation(a8, b260, c4, v8_4).
relation(a8, b291, c5, v8_5).
relation(a8, b322, c6, v8_6).
relation(a8, b353, c7, v8_7).
relation(a8, b384, c8, v8_8).
relation(a8, b415, c9, v8_9).
relation(a8, b446, c10, v8_10).
relation(a8, b477, c11, v8_11).
relation(a8, b508, c12, v8_12).
relation(a8, b539, c13, v8_13).
relation(a8, b570, c14, v8_14).
relation(a9, b153, c0, v9_0).
relation(a9, b184, c1, v9_1).
relation(a9, b215, c2, v9_2).
relation(a9, b246, c3, v9_3).
relation(a9, b277, c4, v9_4).
relation(a9, b308, c5, v9_5).
relation(a9, b339, c6, v9_6).
relation(a9, b370, c7, v9_7).
relation(a9, b401, c8, v9_8).
relation(a9, b432, c9, v9_9).
relation(a9, b463, c10, v9_10).
relation(a9, b494, c11, v9_11).
relation(a9, b525, c12, v9_12).
relation(a9, b556, c13, v9_13).
relation(a9, b587, c14, v9_14).
relation(a10, b170, c0, v10_0).
relation(a10, b201, c1, v10_1).
relation(a10, b232, c2, v10_2).
relation(a10, b263, c3, v10_3).
relation(a10, b294, c4, v10_4).
relation(a10, b325, c5, v10_5).
relation(a10, b356, c6, v10_6).
relation(a10, b387, c7, v10_7).
relation(a10, b418, c8, v10_8).
relation(a10, b449, c9, v10_9).
relation(a10, b480, c10, v10_10).
relation(a10, b511, c11, v10_11).
relation(a10, b542, c12, v10_12).
relation(a10, b573, c13, v10_13).
relation(a10, b604, c14, v10_14).
relation(a11, b187, c0, v11_0).
relation(a11, b218, c1, v11_1).
relation(a11, b249, c2, v11_2).
relation(a11, b280, c3, v11_3).
relation(a11, b311, c4, v11_4).
relation(a11, b342, c5, v11_5).
relation(a11, b373, c6, v11_6).
relation(a11, b404, c7, v11_7).
relation(a11, b435, c8, v11_8).
relation(a11, b466, c9, v11_9).
relation(a11, b497, c10, v11_10).
relation(a11, b528, c11, v11_11).
relation(a11, b559, c12, v11_12).
relation(a11, b590, c13, v11_13).
relation(a11, b621, c14, v11_14).
relation(a12, b204, c0, v12_0).
relation(a12, b235, c1, v12_1).
relation(a12, b266, c2, v12_2).
relation(a12, b297, c3, v12_3).
relation(a12, b328, c4, v12_4).
relation(a12, b359, c5, v12_5).
relation(a12, b390, c6, v12_6).
relation(a12, b421, c7, v12_7).
relation(a12, b452, c8, v12_8).
relation(a12, b483, c9, v12_9).
relation(a12, b514, c10, v12_10).
relation(a12, b545, c11, v12_11).
relation(a12, b576, c12, v12_12).
relation(a12, b607, c13, v12_13).
relation(a12, b638, c14, v12_14).
relation(a13, b221, c0, v13_0).
relation(a13, b252, c1, v13_1).
relation(a13, b283, c2, v13_2).
relation(a13, b314, c3, v13_3).
relation(a13, b345, c4, v13_4).
relation(a13, b376, c5, v13_5).
relation(a13, b407, c6, v13_6).
relation(a13, b438, c7, v13_7).
relation(a13, b469, c8, v13_8).
relation(a13, b500, c9, v13_9).
relation(a13, b531, c10, v13_10).
relation(a13, b562, c11, v13_11).
relation(a13, b593, c12, v13_12).
relation(a13, b624, c13, v13_13).
relation(a13, b655, c14, v13_14).
relation(a14, b238, c0, v14_0).
relation(a14, b269, c1, v14_1).
relation(a14, b300, c2, v14_2).
relation(a14, b331, c3, v14_3).
relation(a14, b362, c4, v14_4).
relation(a14, b393, c5, v14_5).
relation(a14, b424, c6, v14_6).
relation(a14, b455, c7, v14_7).
relation(a14, b486, c8, v14_8).
relation(a14, b517, c9, v14_9).
relation(a14, b548, c10, v14_10).
relation(a14, b579, c11, v14_11).
relation(a14, b610, c12, v14_12).
relation(a14, b641, c13, v14_13).
relation(a14, b672, c14, v14_14).
relation(a15, b255, c0, v15_0).
relation(a15, b286, c1, v15_1).
relation(a15, b317, c2, v15_2).
relation(a15, b348, c3, v15_3).
relation(a15, b379, c4, v15_4).
relation(a15, b410, c5, v15_5).
relation(a15, b441, c6, v15_6).
relation(a15, b472, c7, v15_7).
relation(a15, b503, c8, v15_8).
relation(a15, b534, c9, v15_9).
relation(a15, b565, c10, v15_10).
relation(a15, b596, c11, v15_11).
relation(a15, b627, c12, v15_12).
relation(a15, b658, c13, v15_13).
relation(a15, b689, c14, v15_14).
relation(a16, b272, c0, v16_0).
relation(a16, b303, c1, v16_1).
relation(a16, b334, c2, v16_2).
relation(a16, b365, c3, v16_3).
relation(a16, b396, c4, v16_4).
relation(a16, b427, c5, v16_5).
relation(a16, b458, c6, v16_6).
relation(a16, b489, c7, v16_7).
relation(a16, b520, c8, v16_8).
relation(a16, b551, c9, v16_9).
relation(a16, b582, c10, v16_10).
relation(a16, b613, c11, v16_11).
relation(a16, b644, c12, v16_12).
relation(a16, b675, c13, v16_13).
relation(a16, b706, c14, v16_14).
relation(a17, b289, c0, v17_0).
relation(a17, b320, c1, v17_1).
relation(a17, b351, c2, v17_2).
relation(a17, b382, c3, v17_3).
relation(a17, b413, c4, v17_4).
relation(a17, b444, c5, v17_5).
relation(a17, b475, c6, v17_6).
relation(a17, b506, c7, v17_7).
relation(a17, b537, c8, v17_8).
relation(a17, b568, c9, v17_9).
relation(a17, b599, c10, v17_10).
relation(a17, b630, c11, v17_11).
relation(a17, b661, c12, v17_12).
relation(a17, b692, c13, v17_13).
relation(a17, b723, c14, v17_14).
relation(a18, b306, c0, v18_0).
relation(a18, b337, c1, v18_1).
relation(a18, b368, c2, v18_2).
relation(a18, b399, c3, v18_3).
relation(a18, b430, c4, v18_4).
relation(a18, b461, c5, v18_5).
relation(a18, b492, c6, v18_6).
relation(a18, b523, c7, v18_7).
relation(a18, b554, c8, v18_8).
relation(a18, b585, c9, v18_9).
relation(a18, b616, c10, v18_10).
relation(a18, b647, c11, v18_11).
relation(a18, b678, c12, v18_12).
relation(a18, b709, c13, v18_13).
relation(a18, b740, c14, v18_14).
relation(a19, b323, c0, v19_0).
relation(a19, b354, c1, v19_1).
relation(a19, b385, c2, v19_2).
relation(a19, b416, c3, v19_3).
relation(a19, b447, c4, v19_4).
relation(a19, b478, c5, v19_5).
relation(a19, b509, c6, v19_6).
relation(a19, b540, c7, v19_7).
relation(a19, b571, c8, v19_8).
relation(a19, b602, c9, v19_9).
relation(a19, b633, c10, v19_10).
relation(a19, b664, c11, v19_11).
relation(a19, b695, c12, v19_12).
relation(a19, b726, c13, v19_13).
relation(a19, b757, c14, v19_14).
relation(a20, b340, c0, v20_0).
relation(a20, b371, c1, v20_1).
relation(a20, b402, c2, v20_2).
relation(a20, b433, c3, v20_3).
relation(a20, b464, c4, v20_4).
relation(a20, b495, c5, v20_5).
relation(a20, b526, c6, v20_6).
relation(a20, b557, c7, v20_7).
relation(a20, b588, c8, v20_8).
relation(a20, b619, c9, v20_9).
relation(a20, b650, c10, v20_10).
relation(a20, b681, c11, v20_11).
relation(a20, b712, c12, v20_12).
relation(a20, b743, c13, v20_13).
relation(a20, b774, c14, v20_14).
relation(a21, b357, c0, v21_0).
relation(a21, b388, c1, v21_1).
relation(a21, b419, c2, v21_2).
relation(a21, b450, c3, v21_3).
relation(a21, b481, c4, v21_4).
relation(a21, b512, c5, v21_5).
relation(a21, b543, c6, v21_6).
relation(a21, b574, c7, v21_7).
relation(a21, b605, c8, v21_8).
relation(a21, b636, c9, v21_9).
relation(a21, b667, c10, v21_10).
relation(a21, b698, c11, v21_11).
relation(a21, b729, c12, v21_12).
relation(a21, b760, c13, v21_13).
relation(a21, b791, c14, v21_14).
relation(a22, b374, c0, v22_0).
relation(a22, b405, c1, v22_1).
relation(a22, b436, c2, v22_2).
relation(a22, b467, c3, v22_3).
relation(a22, b498, c4, v22_4).
relation(a22, b529, c5, v22_5).
relation(a22, b560, c6, v22_6).
relation(a22, b591, c7, v22_7).
relation(a22, b622, c8, v22_8).
relation(a22, b653, c9, v22_9).
relation(a22, b684, c10, v22_10).
relation(a22, b715, c11, v22_11).
relation(a22, b746, c12, v22_12).
relation(a22, b777, c13, v22_13).
relation(a22, b808, c14, v22_14).
relation(a23, b391, c0, v23_0).
relation(a23, b422, c1, v23_1).
relation(a23, b453, c2, v23_2).
relation(a23, b484, c3, v23_3).
relation(a23, b515, c4, v23_4).
relation(a23, b546, c5, v23_5).
relation(a23, b577, c6, v23_6).
relation(a23, b608, c7, v23_7).
relation(a23, b639, c8, v23_8).
relation(a23, b670, c9, v23_9).
relation(a23, b701, c10, v23_10).
relation(a23, b732, c11, v23_11).
relation(a23, b763, c12, v23_12).
relation(a23, b794, c13, v23_13).
relation(a23, b825, c14, v23_14).
relation(a24, b408, c0, v24_0).
relation(a24, b439, c1, v24_1).
relation(a24, b470, c2, v24_2).
relation(a24, b501, c3, v24_3).
relation(a24, b532, c4, v24_4).
relation(a24, b563, c5, v24_5).
relation(a24, b594, c6, v24_6).
relation(a24, b625, c7, v24_7).
relation(a24, b656, c8, v24_8).
relation(a24, b687, c9, v24_9).
relation(a24, b718, c10, v24_10).
relation(a24, b749, c11, v24_11).
relation(a24, b780, c12, v24_12).
relation(a24, b811, c13, v24_13).
relation(a24, b842, c14, v24_14).
relation(a25, b425, c0, v25_0).
relation(a25, b456, c1, v25_1).
relation(a25, b487, c2, v25_2).
relation(a25, b518, c3, v25_3).
relation(a25, b549, c4, v25_4).
relation(a25, b580, c5, v25_5).
relation(a25, b611, c6, v25_6).
relation(a25, b642, c7, v25_7).
relation(a25, b673, c8, v25_8).
relation(a25, b704, c9, v25_9).
relation(a25, b735, c10, v25_10).
relation(a25, b766, c11, v25_11).
relation(a25, b797, c12, v25_12).
relation(a25, b828, c13, v25_13).
relation(a25, b859, c14, v25_14).
relation(a26, b442, c0, v26_0).
relation(a26, b473, c1, v26_1).
relation(a26, b504, c2, v26_2).
relation(a26, b535, c3, v26_3).
relation(a26, b566, c4, v26_4).
relation(a26, b597, c5, v26_5).
relation(a26, b628, c6, v26_6).
relation(a26, b659, c7, v26_7).
relation(a26, b690, c8, v26_8).
relation(a26, b721, c9, v26_9).
relation(a26, b752, c10, v26_10).
relation(a26, b783, c11, v26_11).
relation(a26, b814, c12, v26_12).
relation(a26, b845, c13, v26_13).
relation(a26, b876, c14, v26_14).
relation(a27, b459, c0, v27_0).
relation(a27, b490, c1, v27_1).
relation(a27, b521, c2, v27_2).
relation(a27, b552, c3, v27_3).
relation(a27, b583, c4, v27_4).
relation(a27, b614, c5, v27_5).
relation(a27, b645, c6, v27_6).
relation(a27, b676, c7, v27_7).
relation(a27, b707, c8, v27_8).
relation(a27, b738, c9, v27_9).
relation(a27, b769, c10, v27_10).
relation(a27, b800, c11, v27_11).
relation(a27, b831, c12, v27_12).
relation(a27, b862, c13, v27_13).
relation(a27, b893, c14, v27_14).
relation(a28, b476, c0, v28_0).
relation(a28, b507, c1, v28_1).
relation(a28, b538, c2, v28_2).
relation(a28, b569, c3, v28_3).
relation(a28, b600, c4, v28_4).
relation(a28, b631, c5, v28_5).
relation(a28, b662, c6, v28_6).
relation(a28, b693, c7, v28_7).
relation(a28, b724, c8, v28_8).
relation(a28, b755, c9, v28_9).
relation(a28, b786, c10, v28_10).
relation(a28, b817, c11, v28_11).
relation(a28, b848, c12, v28_12).
relation(a28, b879, c13, v28_13).
relation(a28, b910, c14, v28_14).
relation(a29, b493, c0, v29_0).
relation(a29, b524, c1, v29_1).
relation(a29, b555, c2, v29_2).
relation(a29, b586, c3, v29_3).
relation(a29, b617, c4, v29_4).
relation(a29, b648, c5, v29_5).
relation(a29, b679, c6, v29_6).
relation(a29, b710, c7, v29_7).
relation(a29, b741, c8, v29_8).
relation(a29, b772, c9, v29_9).
relation(a29, b803, c10, v29_10).
relation(a29, b834, c11, v29_11).
relation(a29, b865, c12, v29_12).
relation(a29, b896, c13, v29_13).
relation(a29, b927, c14, v29_14).
relation(a30, b510, c0, v30_0).
relation(a30, b541, c1, v30_1).
relation(a30, b572, c2, v30_2).
relation(a30, b603, c3, v30_3).
relation(a30, b634, c4, v30_4).
relation(a30, b665, c5, v30_5).
relation(a30, b696, c6, v30_6).
relation(a30, b727, c7, v30_7).
relation(a30, b758, c8, v30_8).
relation(a30, b789, c9, v30_9).
relation(a30, b820, c10, v30_10).
relation(a30, b851, c11, v30_11).
relation(a30, b882, c12, v30_12).
relation(a30, b913, c13, v30_13).
relation(a30, b944, c14, v30_14).
relation(a31, b527, c0, v31_0).
relation(a31, b558, c1, v31_1).
relation(a31, b589, c2, v31_2).
relation(a31, b620, c3, v31_3).
relation(a31, b651, c4, v31_4).
relation(a31, b682, c5, v31_5).
relation(a31, b713, c6, v31_6).
relation(a31, b744, c7, v31_7).
relation(a31, b775, c8, v31_8).
relation(a31, b806, c9, v31_9).
relation(a31, b837, c10, v31_10).
relation(a31, b868, c11, v31_11).
relation(a31, b899, c12, v31_12).
relation(a31, b930, c13, v31_13).
relation(a31, b961, c14, v31_14).
relation(a32, b544, c0, v32_0).
relation(a32, b575, c1, v32_1).
relation(a32, b606, c2, v32_2).
relation(a32, b637, c3, v32_3).
relation(a32, b668, c4, v32_4).
relation(a32, b699, c5, v32_5).
relation(a32, b730, c6, v32_6).
relation(a32, b761, c7, v32_7).
relation(a32, b792, c8, v32_8).
relation(a32, b823, c9, v32_9).
relation(a32, b854, c10, v32_10).
relation(a32, b885, c11, v32_11).
relation(a32, b916, c12, v32_12).
relation(a32, b947, c13, v32_13).
relation(a32, b978, c14, v32_14).
relation(a33, b561, c0, v33_0).
relation(a33, b592, c1, v33_1).
relation(a33, b623, c2, v33_2).
relation(a33, b654, c3, v33_3).
relation(a33, b685, c4, v33_4).
relation(a33, b716, c5, v33_5).
relation(a33, b747, c6, v33_6).
relation(a33, b778, c7, v33_7).
relation(a33, b809, c8, v33_8).
relation(a33, b840, c9, v33_9).
relation(a33, b871, c10, v33_10).
relation(a33, b902, c11, v33_11).
relation(a33, b933, c12, v33_12).
relation(a33, b964, c13, v33_13).
relation(a33, b995, c14, v33_14).
relation(a34, b578, c0, v34_0).
relation(a34, b609, c1, v34_1).
relation(a34, b640, c2, v34_2).
relation(a34, b671, c3, v34_3).
relation(a34, b702, c4, v34_4).
relation(a34, b733, c5, v34_5).
relation(a34, b764, c6, v34_6).
relation(a34, b795, c7, v34_7).
relation(a34, b826, c8, v34_8).
relation(a34, b857, c9, v34_9).
relation(a34, b888, c10, v34_10).
relation(a34, b919, c11, v34_11).
relation(a34, b950, c12, v34_12).
relation(a34, b981, c13, v34_13).
relation(a34, b15, c14, v34_14).
relation(a35, b595, c0, v35_0).
relation(a35, b626, c1, v35_1).
relation(a35, b657, c2, v35_2).
relation(a35, b688, c3, v35_3).
relation(a35, b719, c4, v35_4).
relation(a35, b750, c5, v35_5).
relation(a35, b781, c6, v35_6).
relation(a35, b812, c7, v35_7).
relation(a35, b843, c8, v35_8).
relation(a35, b874, c9, v35_9).
relation(a35, b905, c10, v35_10).
relation(a35, b936, c11, v35_11).
relation(a35, b967, c12, v35_12).
relation(a35, b1, c13, v35_13).
relation(a35, b32, c14, v35_14).
relation(a36, b612, c0, v36_0).
relation(a36, b643, c1, v36_1).
relation(a36, b674, c2, v36_2).
relation(a36, b705, c3, v36_3).
relation(a36, b736, c4, v36_4).
relation(a36, b767, c5, v36_5).
relation(a36, b798, c6, v36_6).
relation(a36, b829, c7, v36_7).
relation(a36, b860, c8, v36_8).
relation(a36, b891, c9, v36_9).
relation(a36, b922, c10, v36_10).
relation(a36, b953, c11, v36_11).
relation(a36, b984, c12, v36_12).
relation(a36, b18, c13, v36_13).
relation(a36, b49, c14, v36_14).
relation(a37, b629, c0, v37_0).
relation(a37, b660, c1, v37_1).
relation(a37, b691, c2, v37_2).
relation(a37, b722, c3, v37_3).
relation(a37, b753, c4, v37_4).
relation(a37, b784, c5, v37_5).
relation(a37, b815, c6, v37_6).
relation(a37, b846, c7, v37_7).
relation(a37, b877, c8, v37_8).
relation(a37, b908, c9, v37_9).
relation(a37, b939, c10, v37_10).
relation(a37, b970, c11, v37_11).
relation(a37, b4, c12, v37_12).
relation(a37, b35, c13, v37_13).
relation(a37, b66, c14, v37_14).
relation(a38, b646, c0, v38_0).
relation(a38, b677, c1, v38_1).
relation(a38, b708, c2, v38_2).
relation(a38, b739, c3, v38_3).
relation(a38, b770, c4, v38_4).
relation(a38, b801, c5, v38_5).
relation(a38, b832, c6, v38_6).
relation(a38, b863, c7, v38_7).
relation(a38, b894, c8, v38_8).
relation(a38, b925, c9, v38_9).
relation(a38, b956, c10, v38_10).
relation(a38, b987, c11, v38_11).
relation(a38, b21, c12, v38_12).
relation(a38, b52, c13, v38_13).
relation(a38, b83, c14, v38_14).
relation(a39, b663, c0, v39_0).
relation(a39, b694, c1, v39_1).
relation(a39, b725, c2, v39_2).
relation(a39, b756, c3, v39_3).
relation(a39, b787, c4, v39_4).
relation(a39, b818, c5, v39_5).
relation(a39, b849, c6, v39_6).
relation(a39, b880, c7, v39_7).
relation(a39, b911, c8, v39_8).
relation(a39, b942, c9, v39_9).
relation(a39, b973, c10, v39_10).
relation(a39, b7, c11, v39_11).
relation(a39, b38, c12, v39_12).
relation(a39, b69, c13, v39_13).
relation(a39, b100, c14, v39_14).
relation(a40, b680, c0, v40_0).
relation(a40, b711, c1, v40_1).
relation(a40, b742, c2, v40_2).
relation(a40, b773, c3, v40_3).
relation(a40, b804, c4, v40_4).
relation(a40, b835, c5, v40_5).
relation(a40, b866, c6, v40_6).
relation(a40, b897, c7, v40_7).
relation(a40, b928, c8, v40_8).
relation(a40, b959, c9, v40_9).
relation(a40, b990, c10, v40_10).
relation(a40, b24, c11, v40_11).
relation(a40, b55, c12, v40_12).
relation(a40, b86, c13, v40_13).
relation(a40, b117, c14, v40_14).
relation(a41, b697, c0, v41_0).
relation(a41, b728, c1, v41_1).
relation(a41, b759, c2, v41_2).
relation(a41, b790, c3, v41_3).
relation(a41, b821, c4, v41_4).
relation(a41, b852, c5, v41_5).
relation(a41, b883, c6, v41_6).
relation(a41, b914, c7, v41_7).
relation(a41, b945, c8, v41_8).
relation(a41, b976, c9, v41_9).
relation(a41, b10, c10, v41_10).
relation(a41, b41, c11, v41_11).
relation(a41, b72, c12, v41_12).
relation(a41, b103, c13, v41_13).
relation(a41, b134, c14, v41_14).
relation(a42, b714, c0, v42_0).
relation(a42, b745, c1, v42_1).
relation(a42, b776, c2, v42_2).
relation(a42, b807, c3, v42_3).
relation(a42, b838, c4, v42_4).
relation(a42, b869, c5, v42_5).
relation(a42, b900, c6, v42_6).
relation(a42, b931, c7, v42_7).
relation(a42, b962, c8, v42_8).
relation(a42, b993, c9, v42_9).
relation(a42, b27, c10, v42_10).
relation(a42, b58, c11, v42_11).
relation(a42, b89, c12, v42_12).
relation(a42, b120, c13, v42_13).
relation(a42, b151, c14, v42_14).
relation(a43, b731, c0, v43_0).
relation(a43, b762, c1, v43_1).
relation(a43, b793, c2, v43_2).
relation(a43, b824, c3, v43_3).
relation(a43, b855, c4, v43_4).
relation(a43, b886, c5, v43_5).
relation(a43, b917, c6, v43_6).
relation(a43, b948, c7, v43_7).
relation(a43, b979, c8, v43_8).
relation(a43, b13, c9, v43_9).
relation(a43, b44, c10, v43_10).
relation(a43, b75, c11, v43_11).
relation(a43, b106, c12, v43_12).
relation(a43, b137, c13, v43_13).
relation(a43, b168, c14, v43_14).
relation(a44, b748, c0, v44_0).
relation(a44, b779, c1, v44_1).
relation(a44, b810, c2, v44_2).
relation(a44, b841, c3, v44_3).
relation(a44, b872, c4, v44_4).
relation(a44, b903, c5, v44_5).
relation(a44, b934, c6, v44_6).
relation(a44, b965, c7, v44_7).
relation(a44, b996, c8, v44_8).
relation(a44, b30, c9, v44_9).
relation(a44, b61, c10, v44_10).
relation(a44, b92, c11, v44_11).
relation(a44, b123, c12, v44_12).
relation(a44, b154, c13, v44_13).
relation(a44, b185, c14, v44_14).
relation(a45, b765, c0, v45_0).
relation(a45, b796, c1, v45_1).
relation(a45, b827, c2, v45_2).
relation(a45, b858, c3, v45_3).
relation(a45, b889, c4, v45_4).
relation(a45, b920, c5, v45_5).
relation(a45, b951, c6, v45_6).
relation(a45, b982, c7, v45_7).
relation(a45, b16, c8, v45_8).
relation(a45, b47, c9, v45_9).
relation(a45, b78, c10, v45_10).
relation(a45, b109, c11, v45_11).
relation(a45, b140, c12, v45_12).
relation(a45, b171, c13, v45_13).
relation(a45, b202, c14, v45_14).
relation(a46, b782, c0, v46_0).
relation(a46, b813, c1, v46_1).
relation(a46, b844, c2, v46_2).
relation(a46, b875, c3, v46_3).
relation(a46, b906, c4, v46_4).
relation(a46, b937, c5, v46_5).
relation(a46, b968, c6, v46_6).
relation(a46, b2, c7, v46_7).
relation(a46, b33, c8, v46_8).
relation(a46, b64, c9, v46_9).
relation(a46, b95, c10, v46_10).
relation(a46, b126, c11, v46_11).
relation(a46, b157, c12, v46_12).
relation(a46, b188, c13, v46_13).
relation(a46, b219, c14, v46_14).
relation(a47, b799, c0, v47_0).
relation(a47, b830, c1, v47_1).
relation(a47, b861, c2, v47_2).
relation(a47, b892, c3, v47_3).
relation(a47, b923, c4, v47_4).
relation(a47, b954, c5, v47_5).
relation(a47, b985, c6, v47_6).
relation(a47, b19, c7, v47_7).
relation(a47, b50, c8, v47_8).
relation(a47, b81, c9, v47_9).
relation(a47, b112, c10, v47_10).
relation(a47, b143, c11, v47_11).
relation(a47, b174, c12, v47_12).
relation(a47, b205, c13, v47_13).
relation(a47, b236, c14, v47_14).
relation(a48, b816, c0, v48_0).
relation(a48, b847, c1, v48_1).
relation(a48, b878, c2, v48_2).
relation(a48, b909, c3, v48_3).
relation(a48, b940, c4, v48_4).
relation(a48, b971, c5, v48_5).
relation(a48, b5, c6, v48_6).
relation(a48, b36, c7, v48_7).
relation(a48, b67, c8, v48_8).
relation(a48, b98, c9, v48_9).
relation(a48, b129, c10, v48_10).
relation(a48, b160, c11, v48_11).
relation(a48, b191, c12, v48_12).
relation(a48, b222, c13, v48_13).
relation(a48, b253, c14, v48_14).
relation(a49, b833, c0, v49_0).
relation(a49, b864, c1, v49_1).
relation(a49, b895, c2, v49_2).
relation(a49, b926, c3, v49_3).
relation(a49, b957, c4, v49_4).
relation(a49, b988, c5, v49_5).
relation(a49, b22, c6, v49_6).
relation(a49, b53, c7, v49_7).
relation(a49, b84, c8, v49_8).
relation(a49, b115, c9, v49_9).
relation(a49, b146, c10, v49_10).
relation(a49, b177, c11, v49_11).
relation(a49, b208, c12, v49_12).
relation(a49, b239, c13, v49_13).
relation(a49, b270, c14, v49_14).
relation(a50, b850, c0, v50_0).
relation(a50, b881, c1, v50_1).
relation(a50, b912, c2, v50_2).
relation(a50, b943, c3, v50_3).
relation(a50, b974, c4, v50_4).
relation(a50, b8, c5, v50_5).
relation(a50, b39, c6, v50_6).
relation(a50, b70, c7, v50_7).
relation(a50, b101, c8, v50_8).
relation(a50, b132, c9, v50_9).
relation(a50, b163, c10, v50_10).
relation(a50, b194, c11, v50_11).
relation(a50, b225, c12, v50_12).
relation(a50, b256, c13, v50_13).
relation(a50, b287, c14, v50_14).
relation(a51, b867, c0, v51_0).
relation(a51, b898, c1, v51_1).
relation(a51, b929, c2, v51_2).
relation(a51, b960, c3, v51_3).
relation(a51, b991, c4, v51_4).
relation(a51, b25, c5, v51_5).
relation(a51, b56, c6, v51_6).
relation(a51, b87, c7, v51_7).
relation(a51, b118, c8, v51_8).
relation(a51, b149, c9, v51_9).
relation(a51, b180, c10, v51_10).
relation(a51, b211, c11, v51_11).
relation(a51, b242, c12, v51_12).
relation(a51, b273, c13, v51_13).
relation(a51, b304, c14, v51_14).
relation(a52, b884, c0, v52_0).
relation(a52, b915, c1, v52_1).
relation(a52, b946, c2, v52_2).
relation(a52, b977, c3, v52_3).
relation(a52, b11, c4, v52_4).
relation(a52, b42, c5, v52_5).
relation(a52, b73, c6, v52_6).
relation(a52, b104, c7, v52_7).
relation(a52, b135, c8, v52_8).
relation(a52, b166, c9, v52_9).
relation(a52, b197, c10, v52_10).
relation(a52, b228, c11, v52_11).
relation(a52, b259, c12, v52_12).
relation(a52, b290, c13, v52_13).
relation(a52, b321, c14, v52_14).
relation(a53, b901, c0, v53_0).
relation(a53, b932, c1, v53_1).
relation(a53, b963, c2, v53_2).
relation(a53, b994, c3, v53_3).
relation(a53, b28, c4, v53_4).
relation(a53, b59, c5, v53_5).
relation(a53, b90, c6, v53_6).
relation(a53, b121, c7, v53_7).
relation(a53, b152, c8, v53_8).
relation(a53, b183, c9, v53_9).
relation(a53, b214, c10, v53_10).
relation(a53, b245, c11, v53_11).
relation(a53, b276, c12, v53_12).
relation(a53, b307, c13, v53_13).
relation(a53, b338, c14, v53_14).
relation(a54, b918, c0, v54_0).
relation(a54, b949, c1, v54_1).
relation(a54, b980, c2, v54_2).
relation(a54, b14, c3, v54_3).
relation(a54, b45, c4, v54_4).
relation(a54, b76, c5, v54_5).
relation(a54, b107, c6, v54_6).
relation(a54, b138, c7, v54_7).
relation(a54, b169, c8, v54_8).
relation(a54, b200, c9, v54_9).
relation(a54, b231, c10, v54_10).
relation(a54, b262, c11, v54_11).
relation(a54, b293, c12, v54_12).
relation(a54, b324, c13, v54_13).
relation(a54, b355, c14, v54_14).
relation(a55, b935, c0, v55_0).
relation(a55, b966, c1, v55_1).
relation(a55, b0, c2, v55_2).
relation(a55, b31, c3, v55_3).
relation(a55, b62, c4, v55_4).
relation(a55, b93, c5, v55_5).
relation(a55, b124, c6, v55_6).
relation(a55, b155, c7, v55_7).
relation(a55, b186, c8, v55_8).
relation(a55, b217, c9, v55_9).
relation(a55, b248, c10, v55_10).
relation(a55, b279, c11, v55_11).
relation(a55, b310, c12, v55_12).
relation(a55, b341, c13, v55_13).
relation(a55, b372, c14, v55_14).
relation(a56, b952, c0, v56_0).
relation(a56, b983, c1, v56_1).
relation(a56, b17, c2, v56_2).
relation(a56, b48, c3, v56_3).
relation(a56, b79, c4, v56_4).
relation(a56, b110, c5, v56_5).
relation(a56, b141, c6, v56_6).
relation(a56, b172, c7, v56_7).
relation(a56, b203, c8, v56_8).
relation(a56, b234, c9, v56_9).
relation(a56, b265, c10, v56_10).
relation(a56, b296, c11, v56_11).
relation(a56, b327, c12, v56_12).
relation(a56, b358, c13, v56_13).
relation(a56, b389, c14, v56_14).
relation(a57, b969, c0, v57_0).
relation(a57, b3, c1, v57_1).
relation(a57, b34, c2, v57_2).
relation(a57, b65, c3, v57_3).
relation(a57, b96, c4, v57_4).
relation(a57, b127, c5, v57_5).
relation(a57, b158, c6, v57_6).
relation(a57, b189, c7, v57_7).
relation(a57, b220, c8, v57_8).
relation(a57, b251, c9, v57_9).
relation(a57, b282, c10, v57_10).
relation(a57, b313, c11, v57_11).
relation(a57, b344, c12, v57_12).
relation(a57, b375, c13, v57_13).
relation(a57, b406, c14, v57_14).
relation(a58, b986, c0, v58_0).
relation(a58, b20, c1, v58_1).
relation(a58, b51, c2, v58_2).
relation(a58, b82, c3, v58_3).
relation(a58, b113, c4, v58_4).
relation(a58, b144, c5, v58_5).
relation(a58, b175, c6, v58_6).
relation(a58, b206, c7, v58_7).
relation(a58, b237, c8, v58_8).
relation(a58, b268, c9, v58_9).
relation(a58, b299, c10, v58_10).
relation(a58, b330, c11, v58_11).
relation(a58, b361, c12, v58_12).
relation(a58, b392, c13, v58_13).
relation(a58, b423, c14, v58_14).
relation(a59, b6, c0, v59_0).
relation(a59, b37, c1, v59_1).
relation(a59, b68, c2, v59_2).
relation(a59, b99, c3, v59_3).
relation(a59, b130, c4, v59_4).
relation(a59, b161, c5, v59_5).
relation(a59, b192, c6, v59_6).
relation(a59, b223, c7, v59_7).
relation(a59, b254, c8, v59_8).
relation(a59, b285, c9, v59_9).
relation(a59, b316, c10, v59_10).
relation(a59, b347, c11, v59_11).
relation(a59, b378, c12, v59_12).
relation(a59, b409, c13, v59_13).
relation(a59, b440, c14, v59_14).
relation(a60, b23, c0, v60_0).
relation(a60, b54, c1, v60_1).
relation(a60, b85, c2, v60_2).
relation(a60, b116, c3, v60_3).
relation(a60, b147, c4, v60_4).
relation(a60, b178, c5, v60_5).
relation(a60, b209, c6, v60_6).
relation(a60, b240, c7, v60_7).
relation(a60, b271, c8, v60_8).
relation(a60, b302, c9, v60_9).
relation(a60, b333, c10, v60_10).
relation(a60, b364, c11, v60_11).
relation(a60, b395, c12, v60_12).
relation(a60, b426, c13, v60_13).
relation(a60, b457, c14, v60_14).
relation(a61, b40, c0, v61_0).
relation(a61, b71, c1, v61_1).
relation(a61, b102, c2, v61_2).
relation(a61, b133, c3, v61_3).
relation(a61, b164, c4, v61_4).
relation(a61, b195, c5, v61_5).
relation(a61, b226, c6, v61_6).
relation(a61, b257, c7, v61_7).
relation(a61, b288, c8, v61_8).
relation(a61, b319, c9, v61_9).
relation(a61, b350, c10, v61_10).
relation(a61, b381, c11, v61_11).
relation(a61, b412, c12, v61_12).
relation(a61, b443, c13, v61_13).
relation(a61, b474, c14, v61_14).
relation(a62, b57, c0, v62_0).
relation(a62, b88, c1, v62_1).
relation(a62, b119, c2, v62_2).
relation(a62, b150, c3, v62_3).
relation(a62, b181, c4, v62_4).
relation(a62, b212, c5, v62_5).
relation(a62, b243, c6, v62_6).
relation(a62, b274, c7, v62_7).
relation(a62, b305, c8, v62_8).
relation(a62, b336, c9, v62_9).
relation(a62, b367, c10, v62_10).
relation(a62, b398, c11, v62_11).
relation(a62, b429, c12, v62_12).
relation(a62, b460, c13, v62_13).
relation(a62, b491, c14, v62_14).
relation(a63, b74, c0, v63_0).
relation(a63, b105, c1, v63_1).
relation(a63, b136, c2, v63_2).
relation(a63, b167, c3, v63_3).
relation(a63, b198, c4, v63_4).
relation(a63, b229, c5, v63_5).
relation(a63, b260, c6, v63_6).
relation(a63, b291, c7, v63_7).
relation(a63, b322, c8, v63_8).
relation(a63, b353, c9, v63_9).
relation(a63, b384, c10, v63_10).
relation(a63, b415, c11, v63_11).
relation(a63, b446, c12, v63_12).
relation(a63, b477, c13, v63_13).
relation(a63, b508, c14, v63_14).
relation(a64, b91, c0, v64_0).
relation(a64, b122, c1, v64_1).
relation(a64, b153, c2, v64_2).
relation(a64, b184, c3, v64_3).
relation(a64, b215, c4, v64_4).
relation(a64, b246, c5, v64_5).
relation(a64, b277, c6, v64_6).
relation(a64, b308, c7, v64_7).
relation(a64, b339, c8, v64_8).
relation(a64, b370, c9, v64_9).
relation(a64, b401, c10, v64_10).
relation(a64, b432, c11, v64_11).
relation(a64, b463, c12, v64_12).
relation(a64, b494, c13, v64_13).
relation(a64, b525, c14, v64_14).
relation(a65, b108, c0, v65_0).
relation(a65, b139, c1, v65_1).
relation(a65, b170, c2, v65_2).
relation(a65, b201, c3, v65_3).
relation(a65, b232, c4, v65_4).
relation(a65, b263, c5, v65_5).
relation(a65, b294, c6, v65_6).
relation(a65, b325, c7, v65_7).
relation(a65, b356, c8, v65_8).
relation(a65, b387, c9, v65_9).
relation(a65, b418, c10, v65_10).
relation(a65, b449, c11, v65_11).
relation(a65, b480, c12, v65_12).
relation(a65, b511, c13, v65_13).
relation(a65, b542, c14, v65_14).
relation(a66, b125, c0, v66_0).
relation(a66, b156, c1, v66_1).
relation(a66, b187, c2, v66_2).
relation(a66, b218, c3, v66_3).
relation(a66, b249, c4, v66_4).
relation(a66, b280, c5, v66_5).
relation(a66, b311, c6, v66_6).
relation(a66, b342, c7, v66_7).
relation(a66, b373, c8, v66_8).
relation(a66, b404, c9, v66_9).
relation(a66, b435, c10, v66_10).
relation(a66, b466, c11, v66_11).
relation(a66, b497, c12, v66_12).
relation(a66, b528, c13, v66_13).
relation(a66, b559, c14, v66_14).
relation(a67, b142, c0, v67_0).
relation(a67, b173, c1, v67_1).
relation(a67, b204, c2, v67_2).
relation(a67, b235, c3, v67_3).
relation(a67, b266, c4, v67_4).
relation(a67, b297, c5, v67_5).
relation(a67, b328, c6, v67_6).
relation(a67, b359, c7, v67_7).
relation(a67, b390, c8, v67_8).
relation(a67, b421, c9, v67_9).
relation(a67, b452, c10, v67_10).
relation(a67, b483, c11, v67_11).
relation(a67, b514, c12, v67_12).
relation(a67, b545, c13, v67_13).
relation(a67, b576, c14, v67_14).
relation(a68, b159, c0, v68_0).
relation(a68, b190, c1, v68_1).
relation(a68, b221, c2, v68_2).
relation(a68, b252, c3, v68_3).
relation(a68, b283, c4, v68_4).
relation(a68, b314, c5, v68_5).
relation(a68, b345, c6, v68_6).
relation(a68, b376, c7, v68_7).
relation(a68, b407, c8, v68_8).
relation(a68, b438, c9, v68_9).
relation(a68, b469, c10, v68_10).
relation(a68, b500, c11, v68_11).
relation(a68, b531, c12, v68_12).
relation(a68, b562, c13, v68_13).
relation(a68, b593, c14, v68_14).
relation(a69, b176, c0, v69_0).
relation(a69, b207, c1, v69_1).
relation(a69, b238, c2, v69_2).
relation(a69, b269, c3, v69_3).
relation(a69, b300, c4, v69_4).
relation(a69, b331, c5, v69_5).
relation(a69, b362, c6, v69_6).
relation(a69, b393, c7, v69_7).
relation(a69, b424, c8, v69_8).
relation(a69, b455, c9, v69_9).
relation(a69, b486, c10, v69_10).
relation(a69, b517, c11, v69_11).
relation(a69, b548, c12, v69_12).
relation(a69, b579, c13, v69_13).
relation(a69, b610, c14, v69_14).
relation(a70, b193, c0, v70_0).
relation(a70, b224, c1, v70_1).
relation(a70, b255, c2, v70_2).
relation(a70, b286, c3, v70_3).
relation(a70, b317, c4, v70_4).
relation(a70, b348, c5, v70_5).
relation(a70, b379, c6, v70_6).
relation(a70, b410, c7, v70_7).
relation(a70, b441, c8, v70_8).
relation(a70, b472, c9, v70_9).
relation(a70, b503, c10, v70_10).
relation(a70, b534, c11, v70_11).
relation(a70, b565, c12, v70_12).
relation(a70, b596, c13, v70_13).
relation(a70, b627, c14, v70_14).
relation(a71, b210, c0, v71_0).
relation(a71, b241, c1, v71_1).
relation(a71, b272, c2, v71_2).
relation(a71, b303, c3, v71_3).
relation(a71, b334, c4, v71_4).
relation(a71, b365, c5, v71_5).
relation(a71, b396, c6, v71_6).
relation(a71, b427, c7, v71_7).
relation(a71, b458, c8, v71_8).
relation(a71, b489, c9, v71_9).
relation(a71, b520, c10, v71_10).
relation(a71, b551, c11, v71_11).
relation(a71, b582, c12, v71_12).
relation(a71, b613, c13, v71_13).
relation(a71, b644, c14, v71_14).
relation(a72, b227, c0, v72_0).
relation(a72, b258, c1, v72_1).
relation(a72, b289, c2, v72_2).
relation(a72, b320, c3, v72_3).
relation(a72, b351, c4, v72_4).
relation(a72, b382, c5, v72_5).
relation(a72, b413, c6, v72_6).
relation(a72, b444, c7, v72_7).
relation(a72, b475, c8, v72_8).
relation(a72, b506, c9, v72_9).
relation(a72, b537, c10, v72_10).
relation(a72, b568, c11, v72_11).
relation(a72, b599, c12, v72_12).
relation(a72, b630, c13, v72_13).
relation(a72, b661, c14, v72_14).
relation(a73, b244, c0, v73_0).
relation(a73, b275, c1, v73_1).
relation(a73, b306, c2, v73_2).
relation(a73, b337, c3, v73_3).
relation(a73, b368, c4, v73_4).
relation(a73, b399, c5, v73_5).
relation(a73, b430, c6, v73_6).
relation(a73, b461, c7, v73_7).
relation(a73, b492, c8, v73_8).
relation(a73, b523, c9, v73_9).
relation(a73, b554, c10, v73_10).
relation(a73, b585, c11, v73_11).
relation(a73, b616, c12, v73_12).
relation(a73, b647, c13, v73_13).
relation(a73, b678, c14, v73_14).
relation(a74, b261, c0, v74_0).
relation(a74, b292, c1, v74_1).
relation(a74, b323, c2, v74_2).
relation(a74, b354, c3, v74_3).
relation(a74, b385, c4, v74_4).
relation(a74, b416, c5, v74_5).
relation(a74, b447, c6, v74_6).
relation(a74, b478, c7, v74_7).
relation(a74, b509, c8, v74_8).
relation(a74, b540, c9, v74_9).
relation(a74, b571, c10, v74_10).
relation(a74, b602, c11, v74_11).
relation(a74, b633, c12, v74_12).
relation(a74, b664, c13, v74_13).
relation(a74, b695, c14, v74_14).
relation(a75, b278, c0, v75_0).
relation(a75, b309, c1, v75_1).
relation(a75, b340, c2, v75_2).
relation(a75, b371, c3, v75_3).
relation(a75, b402, c4, v75_4).
relation(a75, b433, c5, v75_5).
relation(a75, b464, c6, v75_6).
relation(a75, b495, c7, v75_7).
relation(a75, b526, c8, v75_8).
relation(a75, b557, c9, v75_9).
relation(a75, b588, c10, v75_10).
relation(a75, b619, c11, v75_11).
relation(a75, b650, c12, v75_12).
relation(a75, b681, c13, v75_13).
relation(a75, b712, c14, v75_14).
relation(a76, b295, c0, v76_0).
relation(a76, b326, c1, v76_1).
relation(a76, b357, c2, v76_2).
relation(a76, b388, c3, v76_3).
relation(a76, b419, c4, v76_4).
relation(a76, b450, c5, v76_5).
relation(a76, b481, c6, v76_6).
relation(a76, b512, c7, v76_7).
relation(a76, b543, c8, v76_8).
relation(a76, b574, c9, v76_9).
relation(a76, b605, c10, v76_10).
relation(a76, b636, c11, v76_11).
relation(a76, b667, c12, v76_12).
relation(a76, b698, c13, v76_13).
relation(a76, b729, c14, v76_14).
relation(a77, b312, c0, v77_0).
relation(a77, b343, c1, v77_1).
relation(a77, b374, c2, v77_2).
relation(a77, b405, c3, v77_3).
relation(a77, b436, c4, v77_4).
relation(a77, b467, c5, v77_5).
relation(a77, b498, c6, v77_6).
relation(a77, b529, c7, v77_7).
relation(a77, b560, c8, v77_8).
relation(a77, b591, c9, v77_9).
relation(a77, b622, c10, v77_10).
relation(a77, b653, c11, v77_11).
relation(a77, b684, c12, v77_12).
relation(a77, b715, c13, v77_13).
relation(a77, b746, c14, v77_14).
relation(a78, b329, c0, v78_0).
relation(a78, b360, c1, v78_1).
relation(a78, b391, c2, v78_2).
relation(a78, b422, c3, v78_3).
relation(a78, b453, c4, v78_4).
relation(a78, b484, c5, v78_5).
relation(a78, b515, c6, v78_6).
relation(a78, b546, c7, v78_7).
relation(a78, b577, c8, v78_8).
relation(a78, b608, c9, v78_9).
relation(a78, b639, c10, v78_10).
relation(a78, b670, c11, v78_11).
relation(a78, b701, c12, v78_12).
relation(a78, b732, c13, v78_13).
relation(a78, b763, c14, v78_14).
relation(a79, b346, c0, v79_0).
relation(a79, b377, c1, v79_1).
relation(a79, b408, c2, v79_2).
relation(a79, b439, c3, v79_3).
relation(a79, b470, c4, v79_4).
relation(a79, b501, c5, v79_5).
relation(a79, b532, c6, v79_6).
relation(a79, b563, c7, v79_7).
relation(a79, b594, c8, v79_8).
relation(a79, b625, c9, v79_9).
relation(a79, b656, c10, v79_10).
relation(a79, b687, c11, v79_11).
relation(a79, b718, c12, v79_12).
relation(a79, b749, c13, v79_13).
relation(a79, b780, c14, v79_14).
relation(a80, b363, c0, v80_0).
relation(a80, b394, c1, v80_1).
relation(a80, b425, c2, v80_2).
relation(a80, b456, c3, v80_3).
relation(a80, b487, c4, v80_4).
relation(a80, b518, c5, v80_5).
relation(a80, b549, c6, v80_6).
relation(a80, b580, c7, v80_7).
relation(a80, b611, c8, v80_8).
relation(a80, b642, c9, v80_9).
relation(a80, b673, c10, v80_10).
relation(a80, b704, c11, v80_11).
relation(a80, b735, c12, v80_12).
relation(a80, b766, c13, v80_13).
relation(a80, b797, c14, v80_14).
relation(a81, b380, c0, v81_0).
relation(a81, b411, c1, v81_1).
relation(a81, b442, c2, v81_2).
relation(a81, b473, c3, v81_3).
relation(a81, b504, c4, v81_4).
relation(a81, b535, c5, v81_5).
relation(a81, b566, c6, v81_6).
relation(a81, b597, c7, v81_7).
relation(a81, b628, c8, v81_8).
relation(a81, b659, c9, v81_9).
relation(a81, b690, c10, v81_10).
relation(a81, b721, c11, v81_11).
relation(a81, b752, c12, v81_12).
relation(a81, b783, c13, v81_13).
relation(a81, b814, c14, v81_14).
relation(a82, b397, c0, v82_0).
relation(a82, b428, c1, v82_1).
relation(a82, b459, c2, v82_2).
relation(a82, b490, c3, v82_3).
relation(a82, b521, c4, v82_4).
relation(a82, b552, c5, v82_5).
relation(a82, b583, c6, v82_6).
relation(a82, b614, c7, v82_7).
relation(a82, b645, c8, v82_8).
relation(a82, b676, c9, v82_9).
relation(a82, b707, c10, v82_10).
relation(a82, b738, c11, v82_11).
relation(a82, b769, c12, v82_12).
relation(a82, b800, c13, v82_13).
relation(a82, b831, c14, v82_14).
relation(a83, b414, c0, v83_0).
relation(a83, b445, c1, v83_1).
relation(a83, b476, c2, v83_2).
relation(a83, b507, c3, v83_3).
relation(a83, b538, c4, v83_4).
relation(a83, b569, c5, v83_5).
relation(a83, b600, c6, v83_6).
relation(a83, b631, c7, v83_7).
relation(a83, b662, c8, v83_8).
relation(a83, b693, c9, v83_9).
relation(a83, b724, c10, v83_10).
relation(a83, b755, c11, v83_11).
relation(a83, b786, c12, v83_12).
relation(a83, b817, c13, v83_13).
relation(a83, b848, c14, v83_14).
relation(a84, b431, c0, v84_0).
relation(a84, b462, c1, v84_1).
relation(a84, b493, c2, v84_2).
relation(a84, b524, c3, v84_3).
relation(a84, b555, c4, v84_4).
relation(a84, b586, c5, v84_5).
relation(a84, b617, c6, v84_6).
relation(a84, b648, c7, v84_7).
relation(a84, b679, c8, v84_8).
relation(a84, b710, c9, v84_9).
relation(a84, b741, c10, v84_10).
relation(a84, b772, c11, v84_11).
relation(a84, b803, c12, v84_12).
relation(a84, b834, c13, v84_13).
relation(a84, b865, c14, v84_14).
relation(a85, b448, c0, v85_0).
relation(a85, b479, c1, v85_1).
relation(a85, b510, c2, v85_2).
relation(a85, b541, c3, v85_3).
relation(a85, b572, c4, v85_4).
relation(a85, b603, c5, v85_5).
relation(a85, b634, c6, v85_6).
relation(a85, b665, c7, v85_7).
relation(a85, b696, c8, v85_8).
relation(a85, b727, c9, v85_9).
relation(a85, b758, c10, v85_10).
relation(a85, b789, c11, v85_11).
relation(a85, b820, c12, v85_12).
relation(a85, b851, c13, v85_13).
relation(a85, b882, c14, v85_14).
relation(a86, b465, c0, v86_0).
relation(a86, b496, c1, v86_1).
relation(a86, b527, c2, v86_2).
relation(a86, b558, c3, v86_3).
relation(a86, b589, c4, v86_4).
relation(a86, b620, c5, v86_5).
relation(a86, b651, c6, v86_6).
relation(a86, b682, c7, v86_7).
relation(a86, b713, c8, v86_8).
relation(a86, b744, c9, v86_9).
relation(a86, b775, c10, v86_10).
relation(a86, b806, c11, v86_11).
relation(a86, b837, c12, v86_12).
relation(a86, b868, c13, v86_13).
relation(a86, b899, c14, v86_14).
relation(a87, b482, c0, v87_0).
relation(a87, b513, c1, v87_1).
relation(a87, b544, c2, v87_2).
relation(a87, b575, c3, v87_3).
relation(a87, b606, c4, v87_4).
relation(a87, b637, c5, v87_5).
relation(a87, b668, c6, v87_6).
relation(a87, b699, c7, v87_7).
relation(a87, b730, c8, v87_8).
relation(a87, b761, c9, v87_9).
relation(a87, b792, c10, v87_10).
relation(a87, b823, c11, v87_11).
relation(a87, b854, c12, v87_12).
relation(a87, b885, c13, v87_13).
relation(a87, b916, c14, v87_14).
relation(a88, b499, c0, v88_0).
relation(a88, b530, c1, v88_1).
relation(a88, b561, c2, v88_2).
relation(a88, b592, c3, v88_3).
relation(a88, b623, c4, v88_4).
relation(a88, b654, c5, v88_5).
relation(a88, b685, c6, v88_6).
relation(a88, b716, c7, v88_7).
relation(a88, b747, c8, v88_8).
relation(a88, b778, c9, v88_9).
relation(a88, b809, c10, v88_10).
relation(a88, b840, c11, v88_11).
relation(a88, b871, c12, v88_12).
relation(a88, b902, c13, v88_13).
relation(a88, b933, c14, v88_14).
relation(a89, b516, c0, v89_0).
relation(a89, b547, c1, v89_1).
relation(a89, b578, c2, v89_2).
relation(a89, b609, c3, v89_3).
relation(a89, b640, c4, v89_4).
relation(a89, b671, c5, v89_5).
relation(a89, b702, c6, v89_6).
relation(a89, b733, c7, v89_7).
relation(a89, b764, c8, v89_8).
relation(a89, b795, c9, v89_9).
relation(a89, b826, c10, v89_10).
relation(a89, b857, c11, v89_11).
relation(a89, b888, c12, v89_12).
relation(a89, b919, c13, v89_13).
relation(a89, b950, c14, v89_14).
relation(a90, b533, c0, v90_0).
relation(a90, b564, c1, v90_1).
relation(a90, b595, c2, v90_2).
relation(a90, b626, c3, v90_3).
relation(a90, b657, c4, v90_4).
relation(a90, b688, c5, v90_5).
relation(a90, b719, c6, v90_6).
relation(a90, b750, c7, v90_7).
relation(a90, b781, c8, v90_8).
relation(a90, b812, c9, v90_9).
relation(a90, b843, c10, v90_10).
relation(a90, b874, c11, v90_11).
relation(a90, b905, c12, v90_12).
relation(a90, b936, c13, v90_13).
relation(a90, b967, c14, v90_14).
relation(a91, b550, c0, v91_0).
relation(a91, b581, c1, v91_1).
relation(a91, b612, c2, v91_2).
relation(a91, b643, c3, v91_3).
relation(a91, b674, c4, v91_4).
relation(a91, b705, c5, v91_5).
relation(a91, b736, c6, v91_6).
relation(a91, b767, c7, v91_7).
relation(a91, b798, c8, v91_8).
relation(a91, b829, c9, v91_9).
relation(a91, b860, c10, v91_10).
relation(a91, b891, c11, v91_11).
relation(a91, b922, c12, v91_12).
relation(a91, b953, c13, v91_13).
relation(a91, b984, c14, v91_14).
relation(a92, b567, c0, v92_0).
relation(a92, b598, c1, v92_1).
relation(a92, b629, c2, v92_2).
relation(a92, b660, c3, v92_3).
relation(a92, b691, c4, v92_4).
relation(a92, b722, c5, v92_5).
relation(a92, b753, c6, v92_6).
relation(a92, b784, c7, v92_7).
relation(a92, b815, c8, v92_8).
relation(a92, b846, c9, v92_9).
relation(a92, b877, c10, v92_10).
relation(a92, b908, c11, v92_11).
relation(a92, b939, c12, v92_12).
relation(a92, b970, c13, v92_13).
relation(a92, b4, c14, v92_14).
relation(a93, b584, c0, v93_0).
relation(a93, b615, c1, v93_1).
relation(a93, b646, c2, v93_2).
relation(a93, b677, c3, v93_3).
relation(a93, b708, c4, v93_4).
relation(a93, b739, c5, v93_5).
relation(a93, b770, c6, v93_6).
relation(a93, b801, c7, v93_7).
relation(a93, b832, c8, v93_8).
relation(a93, b863, c9, v93_9).
relation(a93, b894, c10, v93_10).
relation(a93, b925, c11, v93_11).
relation(a93, b956, c12, v93_12).
relation(a93, b987, c13, v93_13).
relation(a93, b21, c14, v93_14).
relation(a94, b601, c0, v94_0).
relation(a94, b632, c1, v94_1).
relation(a94, b663, c2, v94_2).
relation(a94, b694, c3, v94_3).
relation(a94, b725, c4, v94_4).
relation(a94, b756, c5, v94_5).
relation(a94, b787, c6, v94_6).
relation(a94, b818, c7, v94_7).
relation(a94, b849, c8, v94_8).
relation(a94, b880, c9, v94_9).
relation(a94, b911, c10, v94_10).
relation(a94, b942, c11, v94_11).
relation(a94, b973, c12, v94_12).
relation(a94, b7, c13, v94_13).
relation(a94, b38, c14, v94_14).
relation(a95, b618, c0, v95_0).
relation(a95, b649, c1, v95_1).
relation(a95, b680, c2, v95_2).
relation(a95, b711, c3, v95_3).
relation(a95, b742, c4, v95_4).
relation(a95, b773, c5, v95_5).
relation(a95, b804, c6, v95_6).
relation(a95, b835, c7, v95_7).
relation(a95, b866, c8, v95_8).
relation(a95, b897, c9, v95_9).
relation(a95, b928, c10, v95_10).
relation(a95, b959, c11, v95_11).
relation(a95, b990, c12, v95_12).
relation(a95, b24, c13, v95_13).
relation(a95, b55, c14, v95_14).
relation(a96, b635, c0, v96_0).
relation(a96, b666, c1, v96_1).
relation(a96, b697, c2, v96_2).
relation(a96, b728, c3, v96_3).
relation(a96, b759, c4, v96_4).
relation(a96, b790, c5, v96_5).
relation(a96, b821, c6, v96_6).
relation(a96, b852, c7, v96_7).
relation(a96, b883, c8, v96_8).
relation(a96, b914, c9, v96_9).
relation(a96, b945, c10, v96_10).
relation(a96, b976, c11, v96_11).
relation(a96, b10, c12, v96_12).
relation(a96, b41, c13, v96_13).
relation(a96, b72, c14, v96_14).
relation(a97, b652, c0, v97_0).
relation(a97, b683, c1, v97_1).
relation(a97, b714, c2, v97_2).
relation(a97, b745, c3, v97_3).
relation(a97, b776, c4, v97_4).
relation(a97, b807, c5, v97_5).
relation(a97, b838, c6, v97_6).
relation(a97, b869, c7, v97_7).
relation(a97, b900, c8, v97_8).
relation(a97, b931, c9, v97_9).
relation(a97, b962, c10, v97_10).
relation(a97, b993, c11, v97_11).
relation(a97, b27, c12, v97_12).
relation(a97, b58, c13, v97_13).
relation(a97, b89, c14, v97_14).
relation(a98, b669, c0, v98_0).
relation(a98, b700, c1, v98_1).
relation(a98, b731, c2, v98_2).
relation(a98, b762, c3, v98_3).
relation(a98, b793, c4, v98_4).
relation(a98, b824, c5, v98_5).
relation(a98, b855, c6, v98_6).
relation(a98, b886, c7, v98_7).
relation(a98, b917, c8, v98_8).
relation(a98, b948, c9, v98_9).
relation(a98, b979, c10, v98_10).
relation(a98, b13, c11, v98_11).
relation(a98, b44, c12, v98_12).
relation(a98, b75, c13, v98_13).
relation(a98, b106, c14, v98_14).
relation(a99, b686, c0, v99_0).
relation(a99, b717, c1, v99_1).
relation(a99, b748, c2, v99_2).
relation(a99, b779, c3, v99_3).
relation(a99, b810, c4, v99_4).
relation(a99, b841, c5, v99_5).
relation(a99, b872, c6, v99_6).
relation(a99, b903, c7, v99_7).
relation(a99, b934, c8, v99_8).
relation(a99, b965, c9, v99_9).
relation(a99, b996, c10, v99_10).
relation(a99, b30, c11, v99_11).
relation(a99, b61, c12, v99_12).
relation(a99, b92, c13, v99_13).
relation(a99, b123, c14, v99_14).
relation(a100, b703, c0, v100_0).
relation(a100, b734, c1, v100_1).
relation(a100, b765, c2, v100_2).
relation(a100, b796, c3, v100_3).
relation(a100, b827, c4, v100_4).
relation(a100, b858, c5, v100_5).
relation(a100, b889, c6, v100_6).
relation(a100, b920, c7, v100_7).
relation(a100, b951, c8, v100_8).
relation(a100, b982, c9, v100_9).
relation(a100, b16, c10, v100_10).
relation(a100, b47, c11, v100_11).
relation(a100, b78, c12, v100_12).
relation(a100, b109, c13, v100_13).
relation(a100, b140, c14, v100_14).
relation(a101, b720, c0, v101_0).
relation(a101, b751, c1, v101_1).
relation(a101, b782, c2, v101_2).
relation(a101, b813, c3, v101_3).
relation(a101, b844, c4, v101_4).
relation(a101, b875, c5, v101_5).
relation(a101, b906, c6, v101_6).
relation(a101, b937, c7, v101_7).
relation(a101, b968, c8, v101_8).
relation(a101, b2, c9, v101_9).
relation(a101, b33, c10, v101_10).
relation(a101, b64, c11, v101_11).
relation(a101, b95, c12, v101_12).
relation(a101, b126, c13, v101_13).
relation(a101, b157, c14, v101_14).
relation(a102, b737, c0, v102_0).
relation(a102, b768, c1, v102_1).
relation(a102, b799, c2, v102_2).
relation(a102, b830, c3, v102_3).
relation(a102, b861, c4, v102_4).
relation(a102, b892, c5, v102_5).
relation(a102, b923, c6, v102_6).
relation(a102, b954, c7, v102_7).
relation(a102, b985, c8, v102_8).
relation(a102, b19, c9, v102_9).
relation(a102, b50, c10, v102_10).
relation(a102, b81, c11, v102_11).
relation(a102, b112, c12, v102_12).
relation(a102, b143, c13, v102_13).
relation(a102, b174, c14, v102_14).
relation(a103, b754, c0, v103_0).
relation(a103, b785, c1, v103_1).
relation(a103, b816, c2, v103_2).
relation(a103, b847, c3, v103_3).
relation(a103, b878, c4, v103_4).
relation(a103, b909, c5, v103_5).
relation(a103, b940, c6, v103_6).
relation(a103, b971, c7, v103_7).
relation(a103, b5, c8, v103_8).
relation(a103, b36, c9, v103_9).
relation(a103, b67, c10, v103_10).
relation(a103, b98, c11, v103_11).
relation(a103, b129, c12, v103_12).
relation(a103, b160, c13, v103_13).
relation(a103, b191, c14, v103_14).
relation(a104, b771, c0, v104_0).
relation(a104, b802, c1, v104_1).
relation(a104, b833, c2, v104_2).
relation(a104, b864, c3, v104_3).
relation(a104, b895, c4, v104_4).
relation(a104, b926, c5, v104_5).
relation(a104, b957, c6, v104_6).
relation(a104, b988, c7, v104_7).
relation(a104, b22, c8, v104_8).
relation(a104, b53, c9, v104_9).
relation(a104, b84, c10, v104_10).
relation(a104, b115, c11, v104_11).
relation(a104, b146, c12, v104_12).
relation(a104, b177, c13, v104_13).
relation(a104, b208, c14, v104_14).
relation(a105, b788, c0, v105_0).
relation(a105, b819, c1, v105_1).
relation(a105, b850, c2, v105_2).
relation(a105, b881, c3, v105_3).
relation(a105, b912, c4, v105_4).
relation(a105, b943, c5, v105_5).
relation(a105, b974, c6, v105_6).
relation(a105, b8, c7, v105_7).
relation(a105, b39, c8, v105_8).
relation(a105, b70, c9, v105_9).
relation(a105, b101, c10, v105_10).
relation(a105, b132, c11, v105_11).
relation(a105, b163, c12, v105_12).
relation(a105, b194, c13, v105_13).
relation(a105, b225, c14, v105_14).
relation(a106, b805, c0, v106_0).
relation(a106, b836, c1, v106_1).
relation(a106, b867, c2, v106_2).
relation(a106, b898, c3, v106_3).
relation(a106, b929, c4, v106_4).
relation(a106, b960, c5, v106_5).
relation(a106, b991, c6, v106_6).
relation(a106, b25, c7, v106_7).
relation(a106, b56, c8, v106_8).
relation(a106, b87, c9, v106_9).
relation(a106, b118, c10, v106_10).
relation(a106, b149, c11, v106_11).
relation(a106, b180, c12, v106_12).
relation(a106, b211, c13, v106_13).
relation(a106, b242, c14, v106_14).
relation(a107, b822, c0, v107_0).
relation(a107, b853, c1, v107_1).
relation(a107, b884, c2, v107_2).
relation(a107, b915, c3, v107_3).
relation(a107, b946, c4, v107_4).
relation(a107, b977, c5, v107_5).
relation(a107, b11, c6, v107_6).
relation(a107, b42, c7, v107_7).
relation(a107, b73, c8, v107_8).
relation(a107, b104, c9, v107_9).
relation(a107, b135, c10, v107_10).
relation(a107, b166, c11, v107_11).
relation(a107, b197, c12, v107_12).
relation(a107, b228, c13, v107_13).
relation(a107, b259, c14, v107_14).
relation(a108, b839, c0, v108_0).
relation(a108, b870, c1, v108_1).
relation(a108, b901, c2, v108_2).
relation(a108, b932, c3, v108_3).
relation(a108, b963, c4, v108_4).
relation(a108, b994, c5, v108_5).
relation(a108, b28, c6, v108_6).
relation(a108, b59, c7, v108_7).
relation(a108, b90, c8, v108_8).
relation(a108, b121, c9, v108_9).
relation(a108, b152, c10, v108_10).
relation(a108, b183, c11, v108_11).
relation(a108, b214, c12, v108_12).
relation(a108, b245, c13, v108_13).
relation(a108, b276, c14, v108_14).
relation(a109, b856, c0, v109_0).
relation(a109, b887, c1, v109_1).
relation(a109, b918, c2, v109_2).
relation(a109, b949, c3, v109_3).
relation(a109, b980, c4, v109_4).
relation(a109, b14, c5, v109_5).
relation(a109, b45, c6, v109_6).
relation(a109, b76, c7, v109_7).
relation(a109, b107, c8, v109_8).
relation(a109, b138, c9, v109_9).
relation(a109, b169, c10, v109_10).
relation(a109, b200, c11, v109_11).
relation(a109, b231, c12, v109_12).
relation(a109, b262, c13, v109_13).
relation(a109, b293, c14, v109_14).
relation(a110, b873, c0, v110_0).
relation(a110, b904, c1, v110_1).
relation(a110, b935, c2, v110_2).
relation(a110, b966, c3, v110_3).
relation(a110, b0, c4, v110_4).
relation(a110, b31, c5, v110_5).
relation(a110, b62, c6, v110_6).
relation(a110, b93, c7, v110_7).
relation(a110, b124, c8, v110_8).
relation(a110, b155, c9, v110_9).
relation(a110, b186, c10, v110_10).
relation(a110, b217, c11, v110_11).
relation(a110, b248, c12, v110_12).
relation(a110, b279, c13, v110_13).
relation(a110, b310, c14, v110_14).
relation(a111, b890, c0, v111_0).
relation(a111, b921, c1, v111_1).
relation(a111, b952, c2, v111_2).
relation(a111, b983, c3, v111_3).
relation(a111, b17, c4, v111_4).
relation(a111, b48, c5, v111_5).
relation(a111, b79, c6, v111_6).
relation(a111, b110, c7, v111_7).
relation(a111, b141, c8, v111_8).
relation(a111, b172, c9, v111_9).
relation(a111, b203, c10, v111_10).
relation(a111, b234, c11, v111_11).
relation(a111, b265, c12, v111_12).
relation(a111, b296, c13, v111_13).
relation(a111, b327, c14, v111_14).
relation(a112, b907, c0, v112_0).
relation(a112, b938, c1, v112_1).
relation(a112, b969, c2, v112_2).
relation(a112, b3, c3, v112_3).
relation(a112, b34, c4, v112_4).
relation(a112, b65, c5, v112_5).
relation(a112, b96, c6, v112_6).
relation(a112, b127, c7, v112_7).
relation(a112, b158, c8, v112_8).
relation(a112, b189, c9, v112_9).
relation(a112, b220, c10, v112_10).
relation(a112, b251, c11, v112_11).
relation(a112, b282, c12, v112_12).
relation(a112, b313, c13, v112_13).
relation(a112, b344, c14, v112_14).
relation(a113, b924, c0, v113_0).
relation(a113, b955, c1, v113_1).
relation(a113, b986, c2, v113_2).
relation(a113, b20, c3, v113_3).
relation(a113, b51, c4, v113_4).
relation(a113, b82, c5, v113_5).
relation(a113, b113, c6, v113_6).
relation(a113, b144, c7, v113_7).
relation(a113, b175, c8, v113_8).
relation(a113, b206, c9, v113_9).
relation(a113, b237, c10, v113_10).
relation(a113, b268, c11, v113_11).
relation(a113, b299, c12, v113_12).
relation(a113, b330, c13, v113_13).
relation(a113, b361, c14, v113_14).
relation(a114, b941, c0, v114_0).
relation(a114, b972, c1, v114_1).
relation(a114, b6, c2, v114_2).
relation(a114, b37, c3, v114_3).
relation(a114, b68, c4, v114_4).
relation(a114, b99, c5, v114_5).
relation(a114, b130, c6, v114_6).
relation(a114, b161, c7, v114_7).
relation(a114, b192, c8, v114_8).
relation(a114, b223, c9, v114_9).
relation(a114, b254, c10, v114_10).
relation(a114, b285, c11, v114_11).
relation(a114, b316, c12, v114_12).
relation(a114, b347, c13, v114_13).
relation(a114, b378, c14, v114_14).
relation(a115, b958, c0, v115_0).
relation(a115, b989, c1, v115_1).
relation(a115, b23, c2, v115_2).
relation(a115, b54, c3, v115_3).
relation(a115, b85, c4, v115_4).
relation(a115, b116, c5, v115_5).
relation(a115, b147, c6, v115_6).
relation(a115, b178, c7, v115_7).
relation(a115, b209, c8, v115_8).
relation(a115, b240, c9, v115_9).
relation(a115, b271, c10, v115_10).
relation(a115, b302, c11, v115_11).
relation(a115, b333, c12, v115_12).
relation(a115, b364, c13, v115_13).
relation(a115, b395, c14, v115_14).
relation(a116, b975, c0, v116_0).
relation(a116, b9, c1, v116_1).
relation(a116, b40, c2, v116_2).
relation(a116, b71, c3, v116_3).
relation(a116, b102, c4, v116_4).
relation(a116, b133, c5, v116_5).
relation(a116, b164, c6, v116_6).
relation(a116, b195, c7, v116_7).
relation(a116, b226, c8, v116_8).
relation(a116, b257, c9, v116_9).
relation(a116, b288, c10, v116_10).
relation(a116, b319, c11, v116_11).
relation(a116, b350, c12, v116_12).
relation(a116, b381, c13, v116_13).
relation(a116, b412, c14, v116_14).
relation(a117, b992, c0, v117_0).
relation(a117, b26, c1, v117_1).
relation(a117, b57, c2, v117_2).
relation(a117, b88, c3, v117_3).
relation(a117, b119, c4, v117_4).
relation(a117, b150, c5, v117_5).
relation(a117, b181, c6, v117_6).
relation(a117, b212, c7, v117_7).
relation(a117, b243, c8, v117_8).
relation(a117, b274, c9, v117_9).
relation(a117, b305, c10, v117_10).
relation(a117, b336, c11, v117_11).
relation(a117, b367, c12, v117_12).
relation(a117, b398, c13, v117_13).
relation(a117, b429, c14, v117_14).
relation(a118, b12, c0, v118_0).
relation(a118, b43, c1, v118_1).
relation(a118, b74, c2, v118_2).
relation(a118, b105, c3, v118_3).
relation(a118, b136, c4, v118_4).
relation(a118, b167, c5, v118_5).
relation(a118, b198, c6, v118_6).
relation(a118, b229, c7, v118_7).
relation(a118, b260, c8, v118_8).
relation(a118, b291, c9, v118_9).
relation(a118, b322, c10, v118_10).
relation(a118, b353, c11, v118_11).
relation(a118, b384, c12, v118_12).
relation(a118, b415, c13, v118_13).
relation(a118, b446, c14, v118_14).
relation(a119, b29, c0, v119_0).
relation(a119, b60, c1, v119_1).
relation(a119, b91, c2, v119_2).
relation(a119, b122, c3, v119_3).
relation(a119, b153, c4, v119_4).
relation(a119, b184, c5, v119_5).
relation(a119, b215, c6, v119_6).
relation(a119, b246, c7, v119_7).
relation(a119, b277, c8, v119_8).
relation(a119, b308, c9, v119_9).
relation(a119, b339, c10, v119_10).
relation(a119, b370, c11, v119_11).
relation(a119, b401, c12, v119_12).
relation(a119, b432, c13, v119_13).
relation(a119, b463, c14, v119_14).
relation(a120, b46, c0, v120_0).
relation(a120, b77, c1, v120_1).
relation(a120, b108, c2, v120_2).
relation(a120, b139, c3, v120_3).
relation(a120, b170, c4, v120_4).
relation(a120, b201, c5, v120_5).
relation(a120, b232, c6, v120_6).
relation(a120, b263, c7, v120_7).
relation(a120, b294, c8, v120_8).
relation(a120, b325, c9, v120_9).
relation(a120, b356, c10, v120_10).
relation(a120, b387, c11, v120_11).
relation(a120, b418, c12, v120_12).
relation(a120, b449, c13, v120_13).
relation(a120, b480, c14, v120_14).
relation(a121, b63, c0, v121_0).
relation(a121, b94, c1, v121_1).
relation(a121, b125, c2, v121_2).
relation(a121, b156, c3, v121_3).
relation(a121, b187, c4, v121_4).
relation(a121, b218, c5, v121_5).
relation(a121, b249, c6, v121_6).
relation(a121, b280, c7, v121_7).
relation(a121, b311, c8, v121_8).
relation(a121, b342, c9, v121_9).
relation(a121, b373, c10, v121_10).
relation(a121, b404, c11, v121_11).
relation(a121, b435, c12, v121_12).
relation(a121, b466, c13, v121_13).
relation(a121, b497, c14, v121_14).
relation(a122, b80, c0, v122_0).
relation(a122, b111, c1, v122_1).
relation(a122, b142, c2, v122_2).
relation(a122, b173, c3, v122_3).
relation(a122, b204, c4, v122_4).
relation(a122, b235, c5, v122_5).
relation(a122, b266, c6, v122_6).
relation(a122, b297, c7, v122_7).
relation(a122, b328, c8, v122_8).
relation(a122, b359, c9, v122_9).
relation(a122, b390, c10, v122_10).
relation(a122, b421, c11, v122_11).
relation(a122, b452, c12, v122_12).
relation(a122, b483, c13, v122_13).
relation(a122, b514, c14, v122_14).
relation(a123, b97, c0, v123_0).
relation(a123, b128, c1, v123_1).
relation(a123, b159, c2, v123_2).
relation(a123, b190, c3, v123_3).
relation(a123, b221, c4, v123_4).
relation(a123, b252, c5, v123_5).
relation(a123, b283, c6, v123_6).
relation(a123, b314, c7, v123_7).
relation(a123, b345, c8, v123_8).
relation(a123, b376, c9, v123_9).
relation(a123, b407, c10, v123_10).
relation(a123, b438, c11, v123_11).
relation(a123, b469, c12, v123_12).
relation(a123, b500, c13, v123_13).
relation(a123, b531, c14, v123_14).
relation(a124, b114, c0, v124_0).
relation(a124, b145, c1, v124_1).
relation(a124, b176, c2, v124_2).
relation(a124, b207, c3, v124_3).
relation(a124, b238, c4, v124_4).
relation(a124, b269, c5, v124_5).
relation(a124, b300, c6, v124_6).
relation(a124, b331, c7, v124_7).
relation(a124, b362, c8, v124_8).
relation(a124, b393, c9, v124_9).
relation(a124, b424, c10, v124_10).
relation(a124, b455, c11, v124_11).
relation(a124, b486, c12, v124_12).
relation(a124, b517, c13, v124_13).
relation(a124, b548, c14, v124_14).
relation(a125, b131, c0, v125_0).
relation(a125, b162, c1, v125_1).
relation(a125, b193, c2, v125_2).
relation(a125, b224, c3, v125_3).
relation(a125, b255, c4, v125_4).
relation(a125, b286, c5, v125_5).
relation(a125, b317, c6, v125_6).
relation(a125, b348, c7, v125_7).
relation(a125, b379, c8, v125_8).
relation(a125, b410, c9, v125_9).
relation(a125, b441, c10, v125_10).
relation(a125, b472, c11, v125_11).
relation(a125, b503, c12, v125_12).
relation(a125, b534, c13, v125_13).
relation(a125, b565, c14, v125_14).
relation(a126, b148, c0, v126_0).
relation(a126, b179, c1, v126_1).
relation(a126, b210, c2, v126_2).
relation(a126, b241, c3, v126_3).
relation(a126, b272, c4, v126_4).
relation(a126, b303, c5, v126_5).
relation(a126, b334, c6, v126_6).
relation(a126, b365, c7, v126_7).
relation(a126, b396, c8, v126_8).
relation(a126, b427, c9, v126_9).
relation(a126, b458, c10, v126_10).
relation(a126, b489, c11, v126_11).
relation(a126, b520, c12, v126_12).
relation(a126, b551, c13, v126_13).
relation(a126, b582, c14, v126_14).
relation(a127, b165, c0, v127_0).
relation(a127, b196, c1, v127_1).
relation(a127, b227, c2, v127_2).
relation(a127, b258, c3, v127_3).
relation(a127, b289, c4, v127_4).
relation(a127, b320, c5, v127_5).
relation(a127, b351, c6, v127_6).
relation(a127, b382, c7, v127_7).
relation(a127, b413, c8, v127_8).
relation(a127, b444, c9, v127_9).
relation(a127, b475, c10, v127_10).
relation(a127, b506, c11, v127_11).
relation(a127, b537, c12, v127_12).
relation(a127, b568, c13, v127_13).
relation(a127, b599, c14, v127_14).
relation(a128, b182, c0, v128_0).
relation(a128, b213, c1, v128_1).
relation(a128, b244, c2, v128_2).
relation(a128, b275, c3, v128_3).
relation(a128, b306, c4, v128_4).
relation(a128, b337, c5, v128_5).
relation(a128, b368, c6, v128_6).
relation(a128, b399, c7, v128_7).
relation(a128, b430, c8, v128_8).
relation(a128, b461, c9, v128_9).
relation(a128, b492, c10, v128_10).
relation(a128, b523, c11, v128_11).
relation(a128, b554, c12, v128_12).
relation(a128, b585, c13, v128_13).
relation(a128, b616, c14, v128_14).
relation(a129, b199, c0, v129_0).
relation(a129, b230, c1, v129_1).
relation(a129, b261, c2, v129_2).
relation(a129, b292, c3, v129_3).
relation(a129, b323, c4, v129_4).
relation(a129, b354, c5, v129_5).
relation(a129, b385, c6, v129_6).
relation(a129, b416, c7, v129_7).
relation(a129, b447, c8, v129_8).
relation(a129, b478, c9, v129_9).
relation(a129, b509, c10, v129_10).
relation(a129, b540, c11, v129_11).
relation(a129, b571, c12, v129_12).
relation(a129, b602, c13, v129_13).
relation(a129, b633, c14, v129_14).
relation(a130, b216, c0, v130_0).
relation(a130, b247, c1, v130_1).
relation(a130, b278, c2, v130_2).
relation(a130, b309, c3, v130_3).
relation(a130, b340, c4, v130_4).
relation(a130, b371, c5, v130_5).
relation(a130, b402, c6, v130_6).
relation(a130, b433, c7, v130_7).
relation(a130, b464, c8, v130_8).
relation(a130, b495, c9, v130_9).
relation(a130, b526, c10, v130_10).
relation(a130, b557, c11, v130_11).
relation(a130, b588, c12, v130_12).
relation(a130, b619, c13, v130_13).
relation(a130, b650, c14, v130_14).
relation(a131, b233, c0, v131_0).
relation(a131, b264, c1, v131_1).
relation(a131, b295, c2, v131_2).
relation(a131, b326, c3, v131_3).
relation(a131, b357, c4, v131_4).
relation(a131, b388, c5, v131_5).
relation(a131, b419, c6, v131_6).
relation(a131, b450, c7, v131_7).
relation(a131, b481, c8, v131_8).
relation(a131, b512, c9, v131_9).
relation(a131, b543, c10, v131_10).
relation(a131, b574, c11, v131_11).
relation(a131, b605, c12, v131_12).
relation(a131, b636, c13, v131_13).
relation(a131, b667, c14, v131_14).
relation(a132, b250, c0, v132_0).
relation(a132, b281, c1, v132_1).
relation(a132, b312, c2, v132_2).
relation(a132, b343, c3, v132_3).
relation(a132, b374, c4, v132_4).
relation(a132, b405, c5, v132_5).
relation(a132, b436, c6, v132_6).
relation(a132, b467, c7, v132_7).
relation(a132, b498, c8, v132_8).
relation(a132, b529, c9, v132_9).
relation(a132, b560, c10, v132_10).
relation(a132, b591, c11, v132_11).
relation(a132, b622, c12, v132_12).
relation(a132, b653, c13, v132_13).
relation(a132, b684, c14, v132_14).
relation(a133, b267, c0, v133_0).
relation(a133, b298, c1, v133_1).
relation(a133, b329, c2, v133_2).
relation(a133, b360, c3, v133_3).
relation(a133, b391, c4, v133_4).
relation(a133, b422, c5, v133_5).
relation(a133, b453, c6, v133_6).
relation(a133, b484, c7, v133_7).
relation(a133, b515, c8, v133_8).
relation(a133, b546, c9, v133_9).
relation(a133, b577, c10, v133_10).
relation(a133, b608, c11, v133_11).
relation(a133, b639, c12, v133_12).
relation(a133, b670, c13, v133_13).
relation(a133, b701, c14, v133_14).
relation(a134, b284, c0, v134_0).
relation(a134, b315, c1, v134_1).
relation(a134, b346, c2, v134_2).
relation(a134, b377, c3, v134_3).
relation(a134, b408, c4, v134_4).
relation(a134, b439, c5, v134_5).
relation(a134, b470, c6, v134_6).
relation(a134, b501, c7, v134_7).
relation(a134, b532, c8, v134_8).
relation(a134, b563, c9, v134_9).
relation(a134, b594, c10, v134_10).
relation(a134, b625, c11, v134_11).
relation(a134, b656, c12, v134_12).
relation(a134, b687, c13, v134_13).
relation(a134, b718, c14, v134_14).
relation(a135, b301, c0, v135_0).
relation(a135, b332, c1, v135_1).
relation(a135, b363, c2, v135_2).
relation(a135, b394, c3, v135_3).
relation(a135, b425, c4, v135_4).
relation(a135, b456, c5, v135_5).
relation(a135, b487, c6, v135_6).
relation(a135, b518, c7, v135_7).
relation(a135, b549, c8, v135_8).
relation(a135, b580, c9, v135_9).
relation(a135, b611, c10, v135_10).
relation(a135, b642, c11, v135_11).
relation(a135, b673, c12, v135_12).
relation(a135, b704, c13, v135_13).
relation(a135, b735, c14, v135_14).
relation(a136, b318, c0, v136_0).
relation(a136, b349, c1, v136_1).
relation(a136, b380, c2, v136_2).
relation(a136, b411, c3, v136_3).
relation(a136, b442, c4, v136_4).
relation(a136, b473, c5, v136_5).
relation(a136, b504, c6, v136_6).
relation(a136, b535, c7, v136_7).
relation(a136, b566, c8, v136_8).
relation(a136, b597, c9, v136_9).
relation(a136, b628, c10, v136_10).
relation(a136, b659, c11, v136_11).
relation(a136, b690, c12, v136_12).
relation(a136, b721, c13, v136_13).
relation(a136, b752, c14, v136_14).
relation(a137, b335, c0, v137_0).
relation(a137, b366, c1, v137_1).
relation(a137, b397, c2, v137_2).
relation(a137, b428, c3, v137_3).
relation(a137, b459, c4, v137_4).
relation(a137, b490, c5, v137_5).
relation(a137, b521, c6, v137_6).
relation(a137, b552, c7, v137_7).
relation(a137, b583, c8, v137_8).
relation(a137, b614, c9, v137_9).
relation(a137, b645, c10, v137_10).
relation(a137, b676, c11, v137_11).
relation(a137, b707, c12, v137_12).
relation(a137, b738, c13, v137_13).
relation(a137, b769, c14, v137_14).
relation(a138, b352, c0, v138_0).
relation(a138, b383, c1, v138_1).
relation(a138, b414, c2, v138_2).
relation(a138, b445, c3, v138_3).
relation(a138, b476, c4, v138_4).
relation(a138, b507, c5, v138_5).
relation(a138, b538, c6, v138_6).
relation(a138, b569, c7, v138_7).
relation(a138, b600, c8, v138_8).
relation(a138, b631, c9, v138_9).
relation(a138, b662, c10, v138_10).
relation(a138, b693, c11, v138_11).
relation(a138, b724, c12, v138_12).
relation(a138, b755, c13, v138_13).
relation(a138, b786, c14, v138_14).
relation(a139, b369, c0, v139_0).
relation(a139, b400, c1, v139_1).
relation(a139, b431, c2, v139_2).
relation(a139, b462, c3, v139_3).
relation(a139, b493, c4, v139_4).
relation(a139, b524, c5, v139_5).
relation(a139, b555, c6, v139_6).
relation(a139, b586, c7, v139_7).
relation(a139, b617, c8, v139_8).
relation(a139, b648, c9, v139_9).
relation(a139, b679, c10, v139_10).
relation(a139, b710, c11, v139_11).
relation(a139, b741, c12, v139_12).
relation(a139, b772, c13, v139_13).
relation(a139, b803, c14, v139_14).
relation(a140, b386, c0, v140_0).
relation(a140, b417, c1, v140_1).
relation(a140, b448, c2, v140_2).
relation(a140, b479, c3, v140_3).
relation(a140, b510, c4, v140_4).
relation(a140, b541, c5, v140_5).
relation(a140, b572, c6, v140_6).
relation(a140, b603, c7, v140_7).
relation(a140, b634, c8, v140_8).
relation(a140, b665, c9, v140_9).
relation(a140, b696, c10, v140_10).
relation(a140, b727, c11, v140_11).
relation(a140, b758, c12, v140_12).
relation(a140, b789, c13, v140_13).
relation(a140, b820, c14, v140_14).
relation(a141, b403, c0, v141_0).
relation(a141, b434, c1, v141_1).
relation(a141, b465, c2, v141_2).
relation(a141, b496, c3, v141_3).
relation(a141, b527, c4, v141_4).
relation(a141, b558, c5, v141_5).
relation(a141, b589, c6, v141_6).
relation(a141, b620, c7, v141_7).
relation(a141, b651, c8, v141_8).
relation(a141, b682, c9, v141_9).
relation(a141, b713, c10, v141_10).
relation(a141, b744, c11, v141_11).
relation(a141, b775, c12, v141_12).
relation(a141, b806, c13, v141_13).
relation(a141, b837, c14, v141_14).
relation(a142, b420, c0, v142_0).
relation(a142, b451, c1, v142_1).
relation(a142, b482, c2, v142_2).
relation(a142, b513, c3, v142_3).
relation(a142, b544, c4, v142_4).
relation(a142, b575, c5, v142_5).
relation(a142, b606, c6, v142_6).
relation(a142, b637, c7, v142_7).
relation(a142, b668, c8, v142_8).
relation(a142, b699, c9, v142_9).
relation(a142, b730, c10, v142_10).
relation(a142, b761, c11, v142_11).
relation(a142, b792, c12, v142_12).
relation(a142, b823, c13, v142_13).
relation(a142, b854, c14, v142_14).
relation(a143, b437, c0, v143_0).
relation(a143, b468, c1, v143_1).
relation(a143, b499, c2, v143_2).
relation(a143, b530, c3, v143_3).
relation(a143, b561, c4, v143_4).
relation(a143, b592, c5, v143_5).
relation(a143, b623, c6, v143_6).
relation(a143, b654, c7, v143_7).
relation(a143, b685, c8, v143_8).
relation(a143, b716, c9, v143_9).
relation(a143, b747, c10, v143_10).
relation(a143, b778, c11, v143_11).
relation(a143, b809, c12, v143_12).
relation(a143, b840, c13, v143_13).
relation(a143, b871, c14, v143_14).
relation(a144, b454, c0, v144_0).
relation(a144, b485, c1, v144_1).
relation(a144, b516, c2, v144_2).
relation(a144, b547, c3, v144_3).
relation(a144, b578, c4, v144_4).
relation(a144, b609, c5, v144_5).
relation(a144, b640, c6, v144_6).
relation(a144, b671, c7, v144_7).
relation(a144, b702, c8, v144_8).
relation(a144, b733, c9, v144_9).
relation(a144, b764, c10, v144_10).
relation(a144, b795, c11, v144_11).
relation(a144, b826, c12, v144_12).
relation(a144, b857, c13, v144_13).
relation(a144, b888, c14, v144_14).
relation(a145, b471, c0, v145_0).
relation(a145, b502, c1, v145_1).
relation(a145, b533, c2, v145_2).
relation(a145, b564, c3, v145_3).
relation(a145, b595, c4, v145_4).
relation(a145, b626, c5, v145_5).
relation(a145, b657, c6, v145_6).
relation(a145, b688, c7, v145_7).
relation(a145, b719, c8, v145_8).
relation(a145, b750, c9, v145_9).
relation(a145, b781, c10, v145_10).
relation(a145, b812, c11, v145_11).
relation(a145, b843, c12, v145_12).
relation(a145, b874, c13, v145_13).
relation(a145, b905, c14, v145_14).
relation(a146, b488, c0, v146_0).
relation(a146, b519, c1, v146_1).
relation(a146, b550, c2, v146_2).
relation(a146, b581, c3, v146_3).
relation(a146, b612, c4, v146_4).
relation(a146, b643, c5, v146_5).
relation(a146, b674, c6, v146_6).
relation(a146, b705, c7, v146_7).
relation(a146, b736, c8, v146_8).
relation(a146, b767, c9, v146_9).
relation(a146, b798, c10, v146_10).
relation(a146, b829, c11, v146_11).
relation(a146, b860, c12, v146_12).
relation(a146, b891, c13, v146_13).
relation(a146, b922, c14, v146_14).
relation(a147, b505, c0, v147_0).
relation(a147, b536, c1, v147_1).
relation(a147, b567, c2, v147_2).
relation(a147, b598, c3, v147_3).
relation(a147, b629, c4, v147_4).
relation(a147, b660, c5, v147_5).
relation(a147, b691, c6, v147_6).
relation(a147, b722, c7, v147_7).
relation(a147, b753, c8, v147_8).
relation(a147, b784, c9, v147_9).
relation(a147, b815, c10, v147_10).
relation(a147, b846, c11, v147_11).
relation(a147, b877, c12, v147_12).
relation(a147, b908, c13, v147_13).
relation(a147, b939, c14, v147_14).
relation(a148, b522, c0, v148_0).
relation(a148, b553, c1, v148_1).
relation(a148, b584, c2, v148_2).
relation(a148, b615, c3, v148_3).
relation(a148, b646, c4, v148_4).
relation(a148, b677, c5, v148_5).
relation(a148, b708, c6, v148_6).
relation(a148, b739, c7, v148_7).
relation(a148, b770, c8, v148_8).
relation(a148, b801, c9, v148_9).
relation(a148, b832, c10, v148_10).
relation(a148, b863, c11, v148_11).
relation(a148, b894, c12, v148_12).
relation(a148, b925, c13, v148_13).
relation(a148, b956, c14, v148_14).
relation(a149, b539, c0, v149_0).
relation(a149, b570, c1, v149_1).
relation(a149, b601, c2, v149_2).
relation(a149, b632, c3, v149_3).
relation(a149, b663, c4, v149_4).
relation(a149, b694, c5, v149_5).
relation(a149, b725, c6, v149_6).
relation(a149, b756, c7, v149_7).
relation(a149, b787, c8, v149_8).
relation(a149, b818, c9, v149_9).
relation(a149, b849, c10, v149_10).
relation(a149, b880, c11, v149_11).
relation(a149, b911, c12, v149_12).
relation(a149, b942, c13, v149_13).
relation(a149, b973, c14, v149_14).
relation(a150, b556, c0, v150_0).
relation(a150, b587, c1, v150_1).
relation(a150, b618, c2, v150_2).
relation(a150, b649, c3, v150_3).
relation(a150, b680, c4, v150_4).
relation(a150, b711, c5, v150_5).
relation(a150, b742, c6, v150_6).
relation(a150, b773, c7, v150_7).
relation(a150, b804, c8, v150_8).
relation(a150, b835, c9, v150_9).
relation(a150, b866, c10, v150_10).
relation(a150, b897, c11, v150_11).
relation(a150, b928, c12, v150_12).
relation(a150, b959, c13, v150_13).
relation(a150, b990, c14, v150_14).
relation(a151, b573, c0, v151_0).
relation(a151, b604, c1, v151_1).
relation(a151, b635, c2, v151_2).
relation(a151, b666, c3, v151_3).
relation(a151, b697, c4, v151_4).
relation(a151, b728, c5, v151_5).
relation(a151, b759, c6, v151_6).
relation(a151, b790, c7, v151_7).
relation(a151, b821, c8, v151_8).
relation(a151, b852, c9, v151_9).
relation(a151, b883, c10, v151_10).
relation(a151, b914, c11, v151_11).
relation(a151, b945, c12, v151_12).
relation(a151, b976, c13, v151_13).
relation(a151, b10, c14, v151_14).
relation(a152, b590, c0, v152_0).
relation(a152, b621, c1, v152_1).
relation(a152, b652, c2, v152_2).
relation(a152, b683, c3, v152_3).
relation(a152, b714, c4, v152_4).
relation(a152, b745, c5, v152_5).
relation(a152, b776, c6, v152_6).
relation(a152, b807, c7, v152_7).
relation(a152, b838, c8, v152_8).
relation(a152, b869, c9, v152_9).
relation(a152, b900, c10, v152_10).
relation(a152, b931, c11, v152_11).
relation(a152, b962, c12, v152_12).
relation(a152, b993, c13, v152_13).
relation(a152, b27, c14, v152_14).
relation(a153, b607, c0, v153_0).
relation(a153, b638, c1, v153_1).
relation(a153, b669, c2, v153_2).
relation(a153, b700, c3, v153_3).
relation(a153, b731, c4, v153_4).
relation(a153, b762, c5, v153_5).
relation(a153, b793, c6, v153_6).
relation(a153, b824, c7, v153_7).
relation(a153, b855, c8, v153_8).
relation(a153, b886, c9, v153_9).
relation(a153, b917, c10, v153_10).
relation(a153, b948, c11, v153_11).
relation(a153, b979, c12, v153_12).
relation(a153, b13, c13, v153_13).
relation(a153, b44, c14, v153_14).
relation(a154, b624, c0, v154_0).
relation(a154, b655, c1, v154_1).
relation(a154, b686, c2, v154_2).
relation(a154, b717, c3, v154_3).
relation(a154, b748, c4, v154_4).
relation(a154, b779, c5, v154_5).
relation(a154, b810, c6, v154_6).
relation(a154, b841, c7, v154_7).
relation(a154, b872, c8, v154_8).
relation(a154, b903, c9, v154_9).
relation(a154, b934, c10, v154_10).
relation(a154, b965, c11, v154_11).
relation(a154, b996, c12, v154_12).
relation(a154, b30, c13, v154_13).
relation(a154, b61, c14, v154_14).
relation(a155, b641, c0, v155_0).
relation(a155, b672, c1, v155_1).
relation(a155, b703, c2, v155_2).
relation(a155, b734, c3, v155_3).
relation(a155, b765, c4, v155_4).
relation(a155, b796, c5, v155_5).
relation(a155, b827, c6, v155_6).
relation(a155, b858, c7, v155_7).
relation(a155, b889, c8, v155_8).
relation(a155, b920, c9, v155_9).
relation(a155, b951, c10, v155_10).
relation(a155, b982, c11, v155_11).
relation(a155, b16, c12, v155_12).
relation(a155, b47, c13, v155_13).
relation(a155, b78, c14, v155_14).
relation(a156, b658, c0, v156_0).
relation(a156, b689, c1, v156_1).
relation(a156, b720, c2, v156_2).
relation(a156, b751, c3, v156_3).
relation(a156, b782, c4, v156_4).
relation(a156, b813, c5, v156_5).
relation(a156, b844, c6, v156_6).
relation(a156, b875, c7, v156_7).
relation(a156, b906, c8, v156_8).
relation(a156, b937, c9, v156_9).
relation(a156, b968, c10, v156_10).
relation(a156, b2, c11, v156_11).
relation(a156, b33, c12, v156_12).
relation(a156, b64, c13, v156_13).
relation(a156, b95, c14, v156_14).
relation(a157, b675, c0, v157_0).
relation(a157, b706, c1, v157_1).
relation(a157, b737, c2, v157_2).
relation(a157, b768, c3, v157_3).
relation(a157, b799, c4, v157_4).
relation(a157, b830, c5, v157_5).
relation(a157, b861, c6, v157_6).
relation(a157, b892, c7, v157_7).
relation(a157, b923, c8, v157_8).
relation(a157, b954, c9, v157_9).
relation(a157, b985, c10, v157_10).
relation(a157, b19, c11, v157_11).
relation(a157, b50, c12, v157_12).
relation(a157, b81, c13, v157_13).
relation(a157, b112, c14, v157_14).
relation(a158, b692, c0, v158_0).
relation(a158, b723, c1, v158_1).
relation(a158, b754, c2, v158_2).
relation(a158, b785, c3, v158_3).
relation(a158, b816, c4, v158_4).
relation(a158, b847, c5, v158_5).
relation(a158, b878, c6, v158_6).
relation(a158, b909, c7, v158_7).
relation(a158, b940, c8, v158_8).
relation(a158, b971, c9, v158_9).
relation(a158, b5, c10, v158_10).
relation(a158, b36, c11, v158_11).
relation(a158, b67, c12, v158_12).
relation(a158, b98, c13, v158_13).
relation(a158, b129, c14, v158_14).
relation(a159, b709, c0, v159_0).
relation(a159, b740, c1, v159_1).
relation(a159, b771, c2, v159_2).
relation(a159, b802, c3, v159_3).
relation(a159, b833, c4, v159_4).
relation(a159, b864, c5, v159_5).
relation(a159, b895, c6, v159_6).
relation(a159, b926, c7, v159_7).
relation(a159, b957, c8, v159_8).
relation(a159, b988, c9, v159_9).
relation(a159, b22, c10, v159_10).
relation(a159, b53, c11, v159_11).
relation(a159, b84, c12, v159_12).
relation(a159, b115, c13, v159_13).
relation(a159, b146, c14, v159_14).
relation(a160, b726, c0, v160_0).
relation(a160, b757, c1, v160_1).
relation(a160, b788, c2, v160_2).
relation(a160, b819, c3, v160_3).
relation(a160, b850, c4, v160_4).
relation(a160, b881, c5, v160_5).
relation(a160, b912, c6, v160_6).
relation(a160, b943, c7, v160_7).
relation(a160, b974, c8, v160_8).
relation(a160, b8, c9, v160_9).
relation(a160, b39, c10, v160_10).
relation(a160, b70, c11, v160_11).
relation(a160, b101, c12, v160_12).
relation(a160, b132, c13, v160_13).
relation(a160, b163, c14, v160_14).
relation(a161, b743, c0, v161_0).
relation(a161, b774, c1, v161_1).
relation(a161, b805, c2, v161_2).
relation(a161, b836, c3, v161_3).
relation(a161, b867, c4, v161_4).
relation(a161, b898, c5, v161_5).
relation(a161, b929, c6, v161_6).
relation(a161, b960, c7, v161_7).
relation(a161, b991, c8, v161_8).
relation(a161, b25, c9, v161_9).
relation(a161, b56, c10, v161_10).
relation(a161, b87, c11, v161_11).
relation(a161, b118, c12, v161_12).
relation(a161, b149, c13, v161_13).
relation(a161, b180, c14, v161_14).
relation(a162, b760, c0, v162_0).
relation(a162, b791, c1, v162_1).
relation(a162, b822, c2, v162_2).
relation(a162, b853, c3, v162_3).
relation(a162, b884, c4, v162_4).
relation(a162, b915, c5, v162_5).
relation(a162, b946, c6, v162_6).
relation(a162, b977, c7, v162_7).
relation(a162, b11, c8, v162_8).
relation(a162, b42, c9, v162_9).
relation(a162, b73, c10, v162_10).
relation(a162, b104, c11, v162_11).
relation(a162, b135, c12, v162_12).
relation(a162, b166, c13, v162_13).
relation(a162, b197, c14, v162_14).
relation(a163, b777, c0, v163_0).
relation(a163, b808, c1, v163_1).
relation(a163, b839, c2, v163_2).
relation(a163, b870, c3, v163_3).
relation(a163, b901, c4, v163_4).
relation(a163, b932, c5, v163_5).
relation(a163, b963, c6, v163_6).
relation(a163, b994, c7, v163_7).
relation(a163, b28, c8, v163_8).
relation(a163, b59, c9, v163_9).
relation(a163, b90, c10, v163_10).
relation(a163, b121, c11, v163_11).
relation(a163, b152, c12, v163_12).
relation(a163, b183, c13, v163_13).
relation(a163, b214, c14, v163_14).
relation(a164, b794, c0, v164_0).
relation(a164, b825, c1, v164_1).
relation(a164, b856, c2, v164_2).
relation(a164, b887, c3, v164_3).
relation(a164, b918, c4, v164_4).
relation(a164, b949, c5, v164_5).
relation(a164, b980, c6, v164_6).
relation(a164, b14, c7, v164_7).
relation(a164, b45, c8, v164_8).
relation(a164, b76, c9, v164_9).
relation(a164, b107, c10, v164_10).
relation(a164, b138, c11, v164_11).
relation(a164, b169, c12, v164_12).
relation(a164, b200, c13, v164_13).
relation(a164, b231, c14, v164_14).
relation(a165, b811, c0, v165_0).
relation(a165, b842, c1, v165_1).
relation(a165, b873, c2, v165_2).
relation(a165, b904, c3, v165_3).
relation(a165, b935, c4, v165_4).
relation(a165, b966, c5, v165_5).
relation(a165, b0, c6, v165_6).
relation(a165, b31, c7, v165_7).
relation(a165, b62, c8, v165_8).
relation(a165, b93, c9, v165_9).
relation(a165, b124, c10, v165_10).
relation(a165, b155, c11, v165_11).
relation(a165, b186, c12, v165_12).
relation(a165, b217, c13, v165_13).
relation(a165, b248, c14, v165_14).
relation(a166, b828, c0, v166_0).
relation(a166, b859, c1, v166_1).
relation(a166, b890, c2, v166_2).
relation(a166, b921, c3, v166_3).
relation(a166, b952, c4, v166_4).
relation(a166, b983, c5, v166_5).
relation(a166, b17, c6, v166_6).
relation(a166, b48, c7, v166_7).
relation(a166, b79, c8, v166_8).
relation(a166, b110, c9, v166_9).
relation(a166, b141, c10, v166_10).
relation(a166, b172, c11, v166_11).
relation(a166, b203, c12, v166_12).
relation(a166, b234, c13, v166_13).
relation(a166, b265, c14, v166_14).
relation(a167, b845, c0, v167_0).
relation(a167, b876, c1, v167_1).
relation(a167, b907, c2, v167_2).
relation(a167, b938, c3, v167_3).
relation(a167, b969, c4, v167_4).
relation(a167, b3, c5, v167_5).
relation(a167, b34, c6, v167_6).
relation(a167, b65, c7, v167_7).
relation(a167, b96, c8, v167_8).
relation(a167, b127, c9, v167_9).
relation(a167, b158, c10, v167_10).
relation(a167, b189, c11, v167_11).
relation(a167, b220, c12, v167_12).
relation(a167, b251, c13, v167_13).
relation(a167, b282, c14, v167_14).
relation(a168, b862, c0, v168_0).
relation(a168, b893, c1, v168_1).
relation(a168, b924, c2, v168_2).
relation(a168, b955, c3, v168_3).
relation(a168, b986, c4, v168_4).
relation(a168, b20, c5, v168_5).
relation(a168, b51, c6, v168_6).
relation(a168, b82, c7, v168_7).
relation(a168, b113, c8, v168_8).
relation(a168, b144, c9, v168_9).
relation(a168, b175, c10, v168_10).
relation(a168, b206, c11, v168_11).
relation(a168, b237, c12, v168_12).
relation(a168, b268, c13, v168_13).
relation(a168, b299, c14, v168_14).
relation(a169, b879, c0, v169_0).
relation(a169, b910, c1, v169_1).
relation(a169, b941, c2, v169_2).
relation(a169, b972, c3, v169_3).
relation(a169, b6, c4, v169_4).
relation(a169, b37, c5, v169_5).
relation(a169, b68, c6, v169_6).
relation(a169, b99, c7, v169_7).
relation(a169, b130, c8, v169_8).
relation(a169, b161, c9, v169_9).
relation(a169, b192, c10, v169_10).
relation(a169, b223, c11, v169_11).
relation(a169, b254, c12, v169_12).
relation(a169, b285, c13, v169_13).
relation(a169, b316, c14, v169_14).
relation(a170, b896, c0, v170_0).
relation(a170, b927, c1, v170_1).
relation(a170, b958, c2, v170_2).
relation(a170, b989, c3, v170_3).
relation(a170, b23, c4, v170_4).
relation(a170, b54, c5, v170_5).
relation(a170, b85, c6, v170_6).
relation(a170, b116, c7, v170_7).
relation(a170, b147, c8, v170_8).
relation(a170, b178, c9, v170_9).
relation(a170, b209, c10, v170_10).
relation(a170, b240, c11, v170_11).
relation(a170, b271, c12, v170_12).
relation(a170, b302, c13, v170_13).
relation(a170, b333, c14, v170_14).
relation(a171, b913, c0, v171_0).
relation(a171, b944, c1, v171_1).
relation(a171, b975, c2, v171_2).
relation(a171, b9, c3, v171_3).
relation(a171, b40, c4, v171_4).
relation(a171, b71, c5, v171_5).
relation(a171, b102, c6, v171_6).
relation(a171, b133, c7, v171_7).
relation(a171, b164, c8, v171_8).
relation(a171, b195, c9, v171_9).
relation(a171, b226, c10, v171_10).
relation(a171, b257, c11, v171_11).
relation(a171, b288, c12, v171_12).
relation(a171, b319, c13, v171_13).
relation(a171, b350, c14, v171_14).
relation(a172, b930, c0, v172_0).
relation(a172, b961, c1, v172_1).
relation(a172, b992, c2, v172_2).
relation(a172, b26, c3, v172_3).
relation(a172, b57, c4, v172_4).
relation(a172, b88, c5, v172_5).
relation(a172, b119, c6, v172_6).
relation(a172, b150, c7, v172_7).
relation(a172, b181, c8, v172_8).
relation(a172, b212, c9, v172_9).
relation(a172, b243, c10, v172_10).
relation(a172, b274, c11, v172_11).
relation(a172, b305, c12, v172_12).
relation(a172, b336, c13, v172_13).
relation(a172, b367, c14, v172_14).
relation(a173, b947, c0, v173_0).
relation(a173, b978, c1, v173_1).
relation(a173, b12, c2, v173_2).
relation(a173, b43, c3, v173_3).
relation(a173, b74, c4, v173_4).
relation(a173, b105, c5, v173_5).
relation(a173, b136, c6, v173_6).
relation(a173, b167, c7, v173_7).
relation(a173, b198, c8, v173_8).
relation(a173, b229, c9, v173_9).
relation(a173, b260, c10, v173_10).
relation(a173, b291, c11, v173_11).
relation(a173, b322, c12, v173_12).
relation(a173, b353, c13, v173_13).
relation(a173, b384, c14, v173_14).
relation(a174, b964, c0, v174_0).
relation(a174, b995, c1, v174_1).
relation(a174, b29, c2, v174_2).
relation(a174, b60, c3, v174_3).
relation(a174, b91, c4, v174_4).
relation(a174, b122, c5, v174_5).
relation(a174, b153, c6, v174_6).
relation(a174, b184, c7, v174_7).
relation(a174, b215, c8, v174_8).
relation(a174, b246, c9, v174_9).
relation(a174, b277, c10, v174_10).
relation(a174, b308, c11, v174_11).
relation(a174, b339, c12, v174_12).
relation(a174, b370, c13, v174_13).
relation(a174, b401, c14, v174_14).
relation(a175, b981, c0, v175_0).
relation(a175, b15, c1, v175_1).
relation(a175, b46, c2, v175_2).
relation(a175, b77, c3, v175_3).
relation(a175, b108, c4, v175_4).
relation(a175, b139, c5, v175_5).
relation(a175, b170, c6, v175_6).
relation(a175, b201, c7, v175_7).
relation(a175, b232, c8, v175_8).
relation(a175, b263, c9, v175_9).
relation(a175, b294, c10, v175_10).
relation(a175, b325, c11, v175_11).
relation(a175, b356, c12, v175_12).
relation(a175, b387, c13, v175_13).
relation(a175, b418, c14, v175_14).
relation(a176, b1, c0, v176_0).
relation(a176, b32, c1, v176_1).
relation(a176, b63, c2, v176_2).
relation(a176, b94, c3, v176_3).
relation(a176, b125, c4, v176_4).
relation(a176, b156, c5, v176_5).
relation(a176, b187, c6, v176_6).
relation(a176, b218, c7, v176_7).
relation(a176, b249, c8, v176_8).
relation(a176, b280, c9, v176_9).
relation(a176, b311, c10, v176_10).
relation(a176, b342, c11, v176_11).
relation(a176, b373, c12, v176_12).
relation(a176, b404, c13, v176_13).
relation(a176, b435, c14, v176_14).
relation(a177, b18, c0, v177_0).
relation(a177, b49, c1, v177_1).
relation(a177, b80, c2, v177_2).
relation(a177, b111, c3, v177_3).
relation(a177, b142, c4, v177_4).
relation(a177, b173, c5, v177_5).
relation(a177, b204, c6, v177_6).
relation(a177, b235, c7, v177_7).
relation(a177, b266, c8, v177_8).
relation(a177, b297, c9, v177_9).
relation(a177, b328, c10, v177_10).
relation(a177, b359, c11, v177_11).
relation(a177, b390, c12, v177_12).
relation(a177, b421, c13, v177_13).
relation(a177, b452, c14, v177_14).
relation(a178, b35, c0, v178_0).
relation(a178, b66, c1, v178_1).
relation(a178, b97, c2, v178_2).
relation(a178, b128, c3, v178_3).
relation(a178, b159, c4, v178_4).
relation(a178, b190, c5, v178_5).
relation(a178, b221, c6, v178_6).
relation(a178, b252, c7, v178_7).
relation(a178, b283, c8, v178_8).
relation(a178, b314, c9, v178_9).
relation(a178, b345, c10, v178_10).
relation(a178, b376, c11, v178_11).
relation(a178, b407, c12, v178_12).
relation(a178, b438, c13, v178_13).
relation(a178, b469, c14, v178_14).
relation(a179, b52, c0, v179_0).
relation(a179, b83, c1, v179_1).
relation(a179, b114, c2, v179_2).
relation(a179, b145, c3, v179_3).
relation(a179, b176, c4, v179_4).
relation(a179, b207, c5, v179_5).
relation(a179, b238, c6, v179_6).
relation(a179, b269, c7, v179_7).
relation(a179, b300, c8, v179_8).
relation(a179, b331, c9, v179_9).
relation(a179, b362, c10, v179_10).
relation(a179, b393, c11, v179_11).
relation(a179, b424, c12, v179_12).
relation(a179, b455, c13, v179_13).
relation(a179, b486, c14, v179_14).
relation(a180, b69, c0, v180_0).
relation(a180, b100, c1, v180_1).
relation(a180, b131, c2, v180_2).
relation(a180, b162, c3, v180_3).
relation(a180, b193, c4, v180_4).
relation(a180, b224, c5, v180_5).
relation(a180, b255, c6, v180_6).
relation(a180, b286, c7, v180_7).
relation(a180, b317, c8, v180_8).
relation(a180, b348, c9, v180_9).
relation(a180, b379, c10, v180_10).
relation(a180, b410, c11, v180_11).
relation(a180, b441, c12, v180_12).
relation(a180, b472, c13, v180_13).
relation(a180, b503, c14, v180_14).
relation(a181, b86, c0, v181_0).
relation(a181, b117, c1, v181_1).
relation(a181, b148, c2, v181_2).
relation(a181, b179, c3, v181_3).
relation(a181, b210, c4, v181_4).
relation(a181, b241, c5, v181_5).
relation(a181, b272, c6, v181_6).
relation(a181, b303, c7, v181_7).
relation(a181, b334, c8, v181_8).
relation(a181, b365, c9, v181_9).
relation(a181, b396, c10, v181_10).
relation(a181, b427, c11, v181_11).
relation(a181, b458, c12, v181_12).
relation(a181, b489, c13, v181_13).
relation(a181, b520, c14, v181_14).
relation(a182, b103, c0, v182_0).
relation(a182, b134, c1, v182_1).
relation(a182, b165, c2, v182_2).
relation(a182, b196, c3, v182_3).
relation(a182, b227, c4, v182_4).
relation(a182, b258, c5, v182_5).
relation(a182, b289, c6, v182_6).
relation(a182, b320, c7, v182_7).
relation(a182, b351, c8, v182_8).
relation(a182, b382, c9, v182_9).
relation(a182, b413, c10, v182_10).
relation(a182, b444, c11, v182_11).
relation(a182, b475, c12, v182_12).
relation(a182, b506, c13, v182_13).
relation(a182, b537, c14, v182_14).
relation(a183, b120, c0, v183_0).
relation(a183, b151, c1, v183_1).
relation(a183, b182, c2, v183_2).
relation(a183, b213, c3, v183_3).
relation(a183, b244, c4, v183_4).
relation(a183, b275, c5, v183_5).
relation(a183, b306, c6, v183_6).
relation(a183, b337, c7, v183_7).
relation(a183, b368, c8, v183_8).
relation(a183, b399, c9, v183_9).
relation(a183, b430, c10, v183_10).
relation(a183, b461, c11, v183_11).
relation(a183, b492, c12, v183_12).
relation(a183, b523, c13, v183_13).
relation(a183, b554, c14, v183_14).
relation(a184, b137, c0, v184_0).
relation(a184, b168, c1, v184_1).
relation(a184, b199, c2, v184_2).
relation(a184, b230, c3, v184_3).
relation(a184, b261, c4, v184_4).
relation(a184, b292, c5, v184_5).
relation(a184, b323, c6, v184_6).
relation(a184, b354, c7, v184_7).
relation(a184, b385, c8, v184_8).
relation(a184, b416, c9, v184_9).
relation(a184, b447, c10, v184_10).
relation(a184, b478, c11, v184_11).
relation(a184, b509, c12, v184_12).
relation(a184, b540, c13, v184_13).
relation(a184, b571, c14, v184_14).
relation(a185, b154, c0, v185_0).
relation(a185, b185, c1, v185_1).
relation(a185, b216, c2, v185_2).
relation(a185, b247, c3, v185_3).
relation(a185, b278, c4, v185_4).
relation(a185, b309, c5, v185_5).
relation(a185, b340, c6, v185_6).
relation(a185, b371, c7, v185_7).
relation(a185, b402, c8, v185_8).
relation(a185, b433, c9, v185_9).
relation(a185, b464, c10, v185_10).
relation(a185, b495, c11, v185_11).
relation(a185, b526, c12, v185_12).
relation(a185, b557, c13, v185_13).
relation(a185, b588, c14, v185_14).
relation(a186, b171, c0, v186_0).
relation(a186, b202, c1, v186_1).
relation(a186, b233, c2, v186_2).
relation(a186, b264, c3, v186_3).
relation(a186, b295, c4, v186_4).
relation(a186, b326, c5, v186_5).
relation(a186, b357, c6, v186_6).
relation(a186, b388, c7, v186_7).
relation(a186, b419, c8, v186_8).
relation(a186, b450, c9, v186_9).
relation(a186, b481, c10, v186_10).
relation(a186, b512, c11, v186_11).
relation(a186, b543, c12, v186_12).
relation(a186, b574, c13, v186_13).
relation(a186, b605, c14, v186_14).
relation(a187, b188, c0, v187_0).
relation(a187, b219, c1, v187_1).
relation(a187, b250, c2, v187_2).
relation(a187, b281, c3, v187_3).
relation(a187, b312, c4, v187_4).
relation(a187, b343, c5, v187_5).
relation(a187, b374, c6, v187_6).
relation(a187, b405, c7, v187_7).
relation(a187, b436, c8, v187_8).
relation(a187, b467, c9, v187_9).
relation(a187, b498, c10, v187_10).
relation(a187, b529, c11, v187_11).
relation(a187, b560, c12, v187_12).
relation(a187, b591, c13, v187_13).
relation(a187, b622, c14, v187_14).
relation(a188, b205, c0, v188_0).
relation(a188, b236, c1, v188_1).
relation(a188, b267, c2, v188_2).
relation(a188, b298, c3, v188_3).
relation(a188, b329, c4, v188_4).
relation(a188, b360, c5, v188_5).
relation(a188, b391, c6, v188_6).
relation(a188, b422, c7, v188_7).
relation(a188, b453, c8, v188_8).
relation(a188, b484, c9, v188_9).
relation(a188, b515, c10, v188_10).
relation(a188, b546, c11, v188_11).
relation(a188, b577, c12, v188_12).
relation(a188, b608, c13, v188_13).
relation(a188, b639, c14, v188_14).
relation(a189, b222, c0, v189_0).
relation(a189, b253, c1, v189_1).
relation(a189, b284, c2, v189_2).
relation(a189, b315, c3, v189_3).
relation(a189, b346, c4, v189_4).
relation(a189, b377, c5, v189_5).
relation(a189, b408, c6, v189_6).
relation(a189, b439, c7, v189_7).
relation(a189, b470, c8, v189_8).
relation(a189, b501, c9, v189_9).
relation(a189, b532, c10, v189_10).
relation(a189, b563, c11, v189_11).
relation(a189, b594, c12, v189_12).
relation(a189, b625, c13, v189_13).
relation(a189, b656, c14, v189_14).
relation(a190, b239, c0, v190_0).
relation(a190, b270, c1, v190_1).
relation(a190, b301, c2, v190_2).
relation(a190, b332, c3, v190_3).
relation(a190, b363, c4, v190_4).
relation(a190, b394, c5, v190_5).
relation(a190, b425, c6, v190_6).
relation(a190, b456, c7, v190_7).
relation(a190, b487, c8, v190_8).
relation(a190, b518, c9, v190_9).
relation(a190, b549, c10, v190_10).
relation(a190, b580, c11, v190_11).
relation(a190, b611, c12, v190_12).
relation(a190, b642, c13, v190_13).
relation(a190, b673, c14, v190_14).
relation(a191, b256, c0, v191_0).
relation(a191, b287, c1, v191_1).
relation(a191, b318, c2, v191_2).
relation(a191, b349, c3, v191_3).
relation(a191, b380, c4, v191_4).
relation(a191, b411, c5, v191_5).
relation(a191, b442, c6, v191_6).
relation(a191, b473, c7, v191_7).
relation(a191, b504, c8, v191_8).
relation(a191, b535, c9, v191_9).
relation(a191, b566, c10, v191_10).
relation(a191, b597, c11, v191_11).
relation(a191, b628, c12, v191_12).
relation(a191, b659, c13, v191_13).
relation(a191, b690, c14, v191_14).
relation(a192, b273, c0, v192_0).
relation(a192, b304, c1, v192_1).
relation(a192, b335, c2, v192_2).
relation(a192, b366, c3, v192_3).
relation(a192, b397, c4, v192_4).
relation(a192, b428, c5, v192_5).
relation(a192, b459, c6, v192_6).
relation(a192, b490, c7, v192_7).
relation(a192, b521, c8, v192_8).
relation(a192, b552, c9, v192_9).
relation(a192, b583, c10, v192_10).
relation(a192, b614, c11, v192_11).
relation(a192, b645, c12, v192_12).
relation(a192, b676, c13, v192_13).
relation(a192, b707, c14, v192_14).
relation(a193, b290, c0, v193_0).
relation(a193, b321, c1, v193_1).
relation(a193, b352, c2, v193_2).
relation(a193, b383, c3, v193_3).
relation(a193, b414, c4, v193_4).
relation(a193, b445, c5, v193_5).
relation(a193, b476, c6, v193_6).
relation(a193, b507, c7, v193_7).
relation(a193, b538, c8, v193_8).
relation(a193, b569, c9, v193_9).
relation(a193, b600, c10, v193_10).
relation(a193, b631, c11, v193_11).
relation(a193, b662, c12, v193_12).
relation(a193, b693, c13, v193_13).
relation(a193, b724, c14, v193_14).
relation(a194, b307, c0, v194_0).
relation(a194, b338, c1, v194_1).
relation(a194, b369, c2, v194_2).
relation(a194, b400, c3, v194_3).
relation(a194, b431, c4, v194_4).
relation(a194, b462, c5, v194_5).
relation(a194, b493, c6, v194_6).
relation(a194, b524, c7, v194_7).
relation(a194, b555, c8, v194_8).
relation(a194, b586, c9, v194_9).
relation(a194, b617, c10, v194_10).
relation(a194, b648, c11, v194_11).
relation(a194, b679, c12, v194_12).
relation(a194, b710, c13, v194_13).
relation(a194, b741, c14, v194_14).
relation(a195, b324, c0, v195_0).
relation(a195, b355, c1, v195_1).
relation(a195, b386, c2, v195_2).
relation(a195, b417, c3, v195_3).
relation(a195, b448, c4, v195_4).
relation(a195, b479, c5, v195_5).
relation(a195, b510, c6, v195_6).
relation(a195, b541, c7, v195_7).
relation(a195, b572, c8, v195_8).
relation(a195, b603, c9, v195_9).
relation(a195, b634, c10, v195_10).
relation(a195, b665, c11, v195_11).
relation(a195, b696, c12, v195_12).
relation(a195, b727, c13, v195_13).
relation(a195, b758, c14, v195_14).
relation(a196, b341, c0, v196_0).
relation(a196, b372, c1, v196_1).
relation(a196, b403, c2, v196_2).
relation(a196, b434, c3, v196_3).
relation(a196, b465, c4, v196_4).
relation(a196, b496, c5, v196_5).
relation(a196, b527, c6, v196_6).
relation(a196, b558, c7, v196_7).
relation(a196, b589, c8, v196_8).
relation(a196, b620, c9, v196_9).
relation(a196, b651, c10, v196_10).
relation(a196, b682, c11, v196_11).
relation(a196, b713, c12, v196_12).
relation(a196, b744, c13, v196_13).
relation(a196, b775, c14, v196_14).
relation(a197, b358, c0, v197_0).
relation(a197, b389, c1, v197_1).
relation(a197, b420, c2, v197_2).
relation(a197, b451, c3, v197_3).
relation(a197, b482, c4, v197_4).
relation(a197, b513, c5, v197_5).
relation(a197, b544, c6, v197_6).
relation(a197, b575, c7, v197_7).
relation(a197, b606, c8, v197_8).
relation(a197, b637, c9, v197_9).
relation(a197, b668, c10, v197_10).
relation(a197, b699, c11, v197_11).
relation(a197, b730, c12, v197_12).
relation(a197, b761, c13, v197_13).
relation(a197, b792, c14, v197_14).
relation(a198, b375, c0, v198_0).
relation(a198, b406, c1, v198_1).
relation(a198, b437, c2, v198_2).
relation(a198, b468, c3, v198_3).
relation(a198, b499, c4, v198_4).
relation(a198, b530, c5, v198_5).
relation(a198, b561, c6, v198_6).
relation(a198, b592, c7, v198_7).
relation(a198, b623, c8, v198_8).
relation(a198, b654, c9, v198_9).
relation(a198, b685, c10, v198_10).
relation(a198, b716, c11, v198_11).
relation(a198, b747, c12, v198_12).
relation(a198, b778, c13, v198_13).
relation(a198, b809, c14, v198_14).
relation(a199, b392, c0, v199_0).
relation(a199, b423, c1, v199_1).
relation(a199, b454, c2, v199_2).
relation(a199, b485, c3, v199_3).
relation(a199, b516, c4, v199_4).
relation(a199, b547, c5, v199_5).
relation(a199, b578, c6, v199_6).
relation(a199, b609, c7, v199_7).
relation(a199, b640, c8, v199_8).
relation(a199, b671, c9, v199_9).
relation(a199, b702, c10, v199_10).
relation(a199, b733, c11, v199_11).
relation(a199, b764, c12, v199_12).
relation(a199, b795, c13, v199_13).
relation(a199, b826, c14, v199_14).
relation(a200, b409, c0, v200_0).
relation(a200, b440, c1, v200_1).
relation(a200, b471, c2, v200_2).
relation(a200, b502, c3, v200_3).
relation(a200, b533, c4, v200_4).
relation(a200, b564, c5, v200_5).
relation(a200, b595, c6, v200_6).
relation(a200, b626, c7, v200_7).
relation(a200, b657, c8, v200_8).
relation(a200, b688, c9, v200_9).
relation(a200, b719, c10, v200_10).
relation(a200, b750, c11, v200_11).
relation(a200, b781, c12, v200_12).
relation(a200, b812, c13, v200_13).
relation(a200, b843, c14, v200_14).
relation(a201, b426, c0, v201_0).
relation(a201, b457, c1, v201_1).
relation(a201, b488, c2, v201_2).
relation(a201, b519, c3, v201_3).
relation(a201, b550, c4, v201_4).
relation(a201, b581, c5, v201_5).
relation(a201, b612, c6, v201_6).
relation(a201, b643, c7, v201_7).
relation(a201, b674, c8, v201_8).
relation(a201, b705, c9, v201_9).
relation(a201, b736, c10, v201_10).
relation(a201, b767, c11, v201_11).
relation(a201, b798, c12, v201_12).
relation(a201, b829, c13, v201_13).
relation(a201, b860, c14, v201_14).
relation(a202, b443, c0, v202_0).
relation(a202, b474, c1, v202_1).
relation(a202, b505, c2, v202_2).
relation(a202, b536, c3, v202_3).
relation(a202, b567, c4, v202_4).
relation(a202, b598, c5, v202_5).
relation(a202, b629, c6, v202_6).
relation(a202, b660, c7, v202_7).
relation(a202, b691, c8, v202_8).
relation(a202, b722, c9, v202_9).
relation(a202, b753, c10, v202_10).
relation(a202, b784, c11, v202_11).
relation(a202, b815, c12, v202_12).
relation(a202, b846, c13, v202_13).
relation(a202, b877, c14, v202_14).
relation(a203, b460, c0, v203_0).
relation(a203, b491, c1, v203_1).
relation(a203, b522, c2, v203_2).
relation(a203, b553, c3, v203_3).
relation(a203, b584, c4, v203_4).
relation(a203, b615, c5, v203_5).
relation(a203, b646, c6, v203_6).
relation(a203, b677, c7, v203_7).
relation(a203, b708, c8, v203_8).
relation(a203, b739, c9, v203_9).
relation(a203, b770, c10, v203_10).
relation(a203, b801, c11, v203_11).
relation(a203, b832, c12, v203_12).
relation(a203, b863, c13, v203_13).
relation(a203, b894, c14, v203_14).
relation(a204, b477, c0, v204_0).
relation(a204, b508, c1, v204_1).
relation(a204, b539, c2, v204_2).
relation(a204, b570, c3, v204_3).
relation(a204, b601, c4, v204_4).
relation(a204, b632, c5, v204_5).
relation(a204, b663, c6, v204_6).
relation(a204, b694, c7, v204_7).
relation(a204, b725, c8, v204_8).
relation(a204, b756, c9, v204_9).
relation(a204, b787, c10, v204_10).
relation(a204, b818, c11, v204_11).
relation(a204, b849, c12, v204_12).
relation(a204, b880, c13, v204_13).
relation(a204, b911, c14, v204_14).
relation(a205, b494, c0, v205_0).
relation(a205, b525, c1, v205_1).
relation(a205, b556, c2, v205_2).
relation(a205, b587, c3, v205_3).
relation(a205, b618, c4, v205_4).
relation(a205, b649, c5, v205_5).
relation(a205, b680, c6, v205_6).
relation(a205, b711, c7, v205_7).
relation(a205, b742, c8, v205_8).
relation(a205, b773, c9, v205_9).
relation(a205, b804, c10, v205_10).
relation(a205, b835, c11, v205_11).
relation(a205, b866, c12, v205_12).
relation(a205, b897, c13, v205_13).
relation(a205, b928, c14, v205_14).
relation(a206, b511, c0, v206_0).
relation(a206, b542, c1, v206_1).
relation(a206, b573, c2, v206_2).
relation(a206, b604, c3, v206_3).
relation(a206, b635, c4, v206_4).
relation(a206, b666, c5, v206_5).
relation(a206, b697, c6, v206_6).
relation(a206, b728, c7, v206_7).
relation(a206, b759, c8, v206_8).
relation(a206, b790, c9, v206_9).
relation(a206, b821, c10, v206_10).
relation(a206, b852, c11, v206_11).
relation(a206, b883, c12, v206_12).
relation(a206, b914, c13, v206_13).
relation(a206, b945, c14, v206_14).
relation(a207, b528, c0, v207_0).
relation(a207, b559, c1, v207_1).
relation(a207, b590, c2, v207_2).
relation(a207, b621, c3, v207_3).
relation(a207, b652, c4, v207_4).
relation(a207, b683, c5, v207_5).
relation(a207, b714, c6, v207_6).
relation(a207, b745, c7, v207_7).
relation(a207, b776, c8, v207_8).
relation(a207, b807, c9, v207_9).
relation(a207, b838, c10, v207_10).
relation(a207, b869, c11, v207_11).
relation(a207, b900, c12, v207_12).
relation(a207, b931, c13, v207_13).
relation(a207, b962, c14, v207_14).
relation(a208, b545, c0, v208_0).
relation(a208, b576, c1, v208_1).
relation(a208, b607, c2, v208_2).
relation(a208, b638, c3, v208_3).
relation(a208, b669, c4, v208_4).
relation(a208, b700, c5, v208_5).
relation(a208, b731, c6, v208_6).
relation(a208, b762, c7, v208_7).
relation(a208, b793, c8, v208_8).
relation(a208, b824, c9, v208_9).
relation(a208, b855, c10, v208_10).
relation(a208, b886, c11, v208_11).
relation(a208, b917, c12, v208_12).
relation(a208, b948, c13, v208_13).
relation(a208, b979, c14, v208_14).
relation(a209, b562, c0, v209_0).
relation(a209, b593, c1, v209_1).
relation(a209, b624, c2, v209_2).
relation(a209, b655, c3, v209_3).
relation(a209, b686, c4, v209_4).
relation(a209, b717, c5, v209_5).
relation(a209, b748, c6, v209_6).
relation(a209, b779, c7, v209_7).
relation(a209, b810, c8, v209_8).
relation(a209, b841, c9, v209_9).
relation(a209, b872, c10, v209_10).
relation(a209, b903, c11, v209_11).
relation(a209, b934, c12, v209_12).
relation(a209, b965, c13, v209_13).
relation(a209, b996, c14, v209_14).
relation(a210, b579, c0, v210_0).
relation(a210, b610, c1, v210_1).
relation(a210, b641, c2, v210_2).
relation(a210, b672, c3, v210_3).
relation(a210, b703, c4, v210_4).
relation(a210, b734, c5, v210_5).
relation(a210, b765, c6, v210_6).
relation(a210, b796, c7, v210_7).
relation(a210, b827, c8, v210_8).
relation(a210, b858, c9, v210_9).
relation(a210, b889, c10, v210_10).
relation(a210, b920, c11, v210_11).
relation(a210, b951, c12, v210_12).
relation(a210, b982, c13, v210_13).
relation(a210, b16, c14, v210_14).
relation(a211, b596, c0, v211_0).
relation(a211, b627, c1, v211_1).
relation(a211, b658, c2, v211_2).
relation(a211, b689, c3, v211_3).
relation(a211, b720, c4, v211_4).
relation(a211, b751, c5, v211_5).
relation(a211, b782, c6, v211_6).
relation(a211, b813, c7, v211_7).
relation(a211, b844, c8, v211_8).
relation(a211, b875, c9, v211_9).
relation(a211, b906, c10, v211_10).
relation(a211, b937, c11, v211_11).
relation(a211, b968, c12, v211_12).
relation(a211, b2, c13, v211_13).
relation(a211, b33, c14, v211_14).
relation(a212, b613, c0, v212_0).
relation(a212, b644, c1, v212_1).
relation(a212, b675, c2, v212_2).
relation(a212, b706, c3, v212_3).
relation(a212, b737, c4, v212_4).
relation(a212, b768, c5, v212_5).
relation(a212, b799, c6, v212_6).
relation(a212, b830, c7, v212_7).
relation(a212, b861, c8, v212_8).
relation(a212, b892, c9, v212_9).
relation(a212, b923, c10, v212_10).
relation(a212, b954, c11, v212_11).
relation(a212, b985, c12, v212_12).
relation(a212, b19, c13, v212_13).
relation(a212, b50, c14, v212_14).
relation(a213, b630, c0, v213_0).
relation(a213, b661, c1, v213_1).
relation(a213, b692, c2, v213_2).
relation(a213, b723, c3, v213_3).
relation(a213, b754, c4, v213_4).
relation(a213, b785, c5, v213_5).
relation(a213, b816, c6, v213_6).
relation(a213, b847, c7, v213_7).
relation(a213, b878, c8, v213_8).
relation(a213, b909, c9, v213_9).
relation(a213, b940, c10, v213_10).
relation(a213, b971, c11, v213_11).
relation(a213, b5, c12, v213_12).
relation(a213, b36, c13, v213_13).
relation(a213, b67, c14, v213_14).
relation(a214, b647, c0, v214_0).
relation(a214, b678, c1, v214_1).
relation(a214, b709, c2, v214_2).
relation(a214, b740, c3, v214_3).
relation(a214, b771, c4, v214_4).
relation(a214, b802, c5, v214_5).
relation(a214, b833, c6, v214_6).
relation(a214, b864, c7, v214_7).
relation(a214, b895, c8, v214_8).
relation(a214, b926, c9, v214_9).
relation(a214, b957, c10, v214_10).
relation(a214, b988, c11, v214_11).
relation(a214, b22, c12, v214_12).
relation(a214, b53, c13, v214_13).
relation(a214, b84, c14, v214_14).
relation(a215, b664, c0, v215_0).
relation(a215, b695, c1, v215_1).
relation(a215, b726, c2, v215_2).
relation(a215, b757, c3, v215_3).
relation(a215, b788, c4, v215_4).
relation(a215, b819, c5, v215_5).
relation(a215, b850, c6, v215_6).
relation(a215, b881, c7, v215_7).
relation(a215, b912, c8, v215_8).
relation(a215, b943, c9, v215_9).
relation(a215, b974, c10, v215_10).
relation(a215, b8, c11, v215_11).
relation(a215, b39, c12, v215_12).
relation(a215, b70, c13, v215_13).
relation(a215, b101, c14, v215_14).
relation(a216, b681, c0, v216_0).
relation(a216, b712, c1, v216_1).
relation(a216, b743, c2, v216_2).
relation(a216, b774, c3, v216_3).
relation(a216, b805, c4, v216_4).
relation(a216, b836, c5, v216_5).
relation(a216, b867, c6, v216_6).
relation(a216, b898, c7, v216_7).
relation(a216, b929, c8, v216_8).
relation(a216, b960, c9, v216_9).
relation(a216, b991, c10, v216_10).
relation(a216, b25, c11, v216_11).
relation(a216, b56, c12, v216_12).
relation(a216, b87, c13, v216_13).
relation(a216, b118, c14, v216_14).
relation(a217, b698, c0, v217_0).
relation(a217, b729, c1, v217_1).
relation(a217, b760, c2, v217_2).
relation(a217, b791, c3, v217_3).
relation(a217, b822, c4, v217_4).
relation(a217, b853, c5, v217_5).
relation(a217, b884, c6, v217_6).
relation(a217, b915, c7, v217_7).
relation(a217, b946, c8, v217_8).
relation(a217, b977, c9, v217_9).
relation(a217, b11, c10, v217_10).
relation(a217, b42, c11, v217_11).
relation(a217, b73, c12, v217_12).
relation(a217, b104, c13, v217_13).
relation(a217, b135, c14, v217_14).
relation(a218, b715, c0, v218_0).
relation(a218, b746, c1, v218_1).
relation(a218, b777, c2, v218_2).
relation(a218, b808, c3, v218_3).
relation(a218, b839, c4, v218_4).
relation(a218, b870, c5, v218_5).
relation(a218, b901, c6, v218_6).
relation(a218, b932, c7, v218_7).
relation(a218, b963, c8, v218_8).
relation(a218, b994, c9, v218_9).
relation(a218, b28, c10, v218_10).
relation(a218, b59, c11, v218_11).
relation(a218, b90, c12, v218_12).
relation(a218, b121, c13, v218_13).
relation(a218, b152, c14, v218_14).
relation(a219, b732, c0, v219_0).
relation(a219, b763, c1, v219_1).
relation(a219, b794, c2, v219_2).
relation(a219, b825, c3, v219_3).
relation(a219, b856, c4, v219_4).
relation(a219, b887, c5, v219_5).
relation(a219, b918, c6, v219_6).
relation(a219, b949, c7, v219_7).
relation(a219, b980, c8, v219_8).
relation(a219, b14, c9, v219_9).
relation(a219, b45, c10, v219_10).
relation(a219, b76, c11, v219_11).
relation(a219, b107, c12, v219_12).
relation(a219, b138, c13, v219_13).
relation(a219, b169, c14, v219_14).
relation(a220, b749, c0, v220_0).
relation(a220, b780, c1, v220_1).
relation(a220, b811, c2, v220_2).
relation(a220, b842, c3, v220_3).
relation(a220, b873, c4, v220_4).
relation(a220, b904, c5, v220_5).
relation(a220, b935, c6, v220_6).
relation(a220, b966, c7, v220_7).
relation(a220, b0, c8, v220_8).
relation(a220, b31, c9, v220_9).
relation(a220, b62, c10, v220_10).
relation(a220, b93, c11, v220_11).
relation(a220, b124, c12, v220_12).
relation(a220, b155, c13, v220_13).
relation(a220, b186, c14, v220_14).
relation(a221, b766, c0, v221_0).
relation(a221, b797, c1, v221_1).
relation(a221, b828, c2, v221_2).
relation(a221, b859, c3, v221_3).
relation(a221, b890, c4, v221_4).
relation(a221, b921, c5, v221_5).
relation(a221, b952, c6, v221_6).
relation(a221, b983, c7, v221_7).
relation(a221, b17, c8, v221_8).
relation(a221, b48, c9, v221_9).
relation(a221, b79, c10, v221_10).
relation(a221, b110, c11, v221_11).
relation(a221, b141, c12, v221_12).
relation(a221, b172, c13, v221_13).
relation(a221, b203, c14, v221_14).
relation(a222, b783, c0, v222_0).
relation(a222, b814, c1, v222_1).
relation(a222, b845, c2, v222_2).
relation(a222, b876, c3, v222_3).
relation(a222, b907, c4, v222_4).
relation(a222, b938, c5, v222_5).
relation(a222, b969, c6, v222_6).
relation(a222, b3, c7, v222_7).
relation(a222, b34, c8, v222_8).
relation(a222, b65, c9, v222_9).
relation(a222, b96, c10, v222_10).
relation(a222, b127, c11, v222_11).
relation(a222, b158, c12, v222_12).
relation(a222, b189, c13, v222_13).
relation(a222, b220, c14, v222_14).
relation(a223, b800, c0, v223_0).
relation(a223, b831, c1, v223_1).
relation(a223, b862, c2, v223_2).
relation(a223, b893, c3, v223_3).
relation(a223, b924, c4, v223_4).
relation(a223, b955, c5, v223_5).
relation(a223, b986, c6, v223_6).
relation(a223, b20, c7, v223_7).
relation(a223, b51, c8, v223_8).
relation(a223, b82, c9, v223_9).
relation(a223, b113, c10, v223_10).
relation(a223, b144, c11, v223_11).
relation(a223, b175, c12, v223_12).
relation(a223, b206, c13, v223_13).
relation(a223, b237, c14, v223_14).
relation(a224, b817, c0, v224_0).
relation(a224, b848, c1, v224_1).
relation(a224, b879, c2, v224_2).
relation(a224, b910, c3, v224_3).
relation(a224, b941, c4, v224_4).
relation(a224, b972, c5, v224_5).
relation(a224, b6, c6, v224_6).
relation(a224, b37, c7, v224_7).
relation(a224, b68, c8, v224_8).
relation(a224, b99, c9, v224_9).
relation(a224, b130, c10, v224_10).
relation(a224, b161, c11, v224_11).
relation(a224, b192, c12, v224_12).
relation(a224, b223, c13, v224_13).
relation(a224, b254, c14, v224_14).

lookupResult(case, passed) :-
  relation(a0, _, c0, _),
  relation(a44, _, c5, _),
  relation(a88, _, c10, _),
  relation(a132, _, c0, _),
  relation(a176, _, c5, _),
  relation(a220, _, c10, _),
  relation(a39, _, c1, _),
  relation(a83, _, c6, _),
  relation(a127, _, c11, _),
  relation(a171, _, c1, _),
  relation(a215, _, c6, _),
  relation(a34, _, c12, _),
  relation(a78, _, c2, _),
  relation(a122, _, c7, _),
  relation(a166, _, c12, _),
  relation(a210, _, c2, _),
  relation(a29, _, c8, _),
  relation(a73, _, c13, _),
  relation(a117, _, c3, _),
  relation(a161, _, c8, _),
  relation(a205, _, c13, _),
  relation(a24, _, c4, _),
  relation(a68, _, c9, _),
  relation(a112, _, c14, _),
  relation(a156, _, c4, _),
  relation(a200, _, c9, _),
  relation(a19, _, c0, _),
  relation(a63, _, c5, _),
  relation(a107, _, c10, _),
  relation(a151, _, c0, _),
  relation(a195, _, c5, _),
  relation(a14, _, c11, _),
  relation(a58, _, c1, _),
  relation(a102, _, c6, _),
  relation(a146, _, c11, _),
  relation(a190, _, c1, _),
  relation(a9, _, c7, _),
  relation(a53, _, c12, _),
  relation(a97, _, c2, _),
  relation(a141, _, c7, _),
  relation(a185, _, c12, _),
  relation(a4, _, c3, _),
  relation(a48, _, c8, _),
  relation(a92, _, c13, _),
  relation(a136, _, c3, _),
  relation(a180, _, c8, _),
  relation(a224, _, c13, _),
  relation(a43, _, c4, _),
  relation(a87, _, c9, _),
  relation(a131, _, c14, _),
  relation(a175, _, c4, _),
  relation(a219, _, c9, _),
  relation(a38, _, c0, _),
  relation(a82, _, c5, _),
  relation(a126, _, c10, _),
  relation(a170, _, c0, _),
  relation(a214, _, c5, _),
  relation(a33, _, c11, _),
  relation(a77, _, c1, _),
  relation(a121, _, c6, _),
  relation(a165, _, c11, _),
  relation(a209, _, c1, _),
  relation(a28, _, c7, _),
  relation(a72, _, c12, _),
  relation(a116, _, c2, _),
  relation(a160, _, c7, _),
  relation(a204, _, c12, _),
  relation(a23, _, c3, _),
  relation(a67, _, c8, _),
  relation(a111, _, c13, _),
  relation(a155, _, c3, _),
  relation(a199, _, c8, _),
  relation(a18, _, c14, _),
  relation(a62, _, c4, _),
  relation(a106, _, c9, _),
  relation(a150, _, c14, _),
  relation(a194, _, c4, _),
  relation(a13, _, c10, _),
  relation(a57, _, c0, _),
  relation(a101, _, c5, _),
  relation(a145, _, c10, _),
  relation(a189, _, c0, _),
  relation(a8, _, c6, _),
  relation(a52, _, c11, _),
  relation(a96, _, c1, _),
  relation(a140, _, c6, _),
  relation(a184, _, c11, _),
  relation(a3, _, c2, _),
  relation(a47, _, c7, _),
  relation(a91, _, c12, _),
  relation(a135, _, c2, _),
  relation(a179, _, c7, _),
  relation(a223, _, c12, _),
  relation(a42, _, c3, _),
  relation(a86, _, c8, _),
  relation(a130, _, c13, _),
  relation(a174, _, c3, _),
  relation(a218, _, c8, _),
  relation(a37, _, c14, _),
  relation(a81, _, c4, _),
  relation(a125, _, c9, _),
  relation(a169, _, c14, _),
  relation(a213, _, c4, _),
  relation(a32, _, c10, _),
  relation(a76, _, c0, _),
  relation(a120, _, c5, _),
  relation(a164, _, c10, _),
  relation(a208, _, c0, _),
  relation(a27, _, c6, _),
  relation(a71, _, c11, _),
  relation(a115, _, c1, _),
  relation(a159, _, c6, _),
  relation(a203, _, c11, _),
  relation(a22, _, c2, _),
  relation(a66, _, c7, _),
  relation(a110, _, c12, _),
  relation(a154, _, c2, _),
  relation(a198, _, c7, _),
  relation(a17, _, c13, _),
  relation(a61, _, c3, _),
  relation(a105, _, c8, _),
  relation(a149, _, c13, _),
  relation(a193, _, c3, _),
  relation(a12, _, c9, _),
  relation(a56, _, c14, _),
  relation(a100, _, c4, _),
  relation(a144, _, c9, _),
  relation(a188, _, c14, _),
  relation(a7, _, c5, _),
  relation(a51, _, c10, _),
  relation(a95, _, c0, _),
  relation(a139, _, c5, _),
  relation(a183, _, c10, _),
  relation(a2, _, c1, _),
  relation(a46, _, c6, _),
  relation(a90, _, c11, _),
  relation(a134, _, c1, _),
  relation(a178, _, c6, _),
  relation(a222, _, c11, _),
  relation(a41, _, c2, _),
  relation(a85, _, c7, _),
  relation(a129, _, c12, _),
  relation(a173, _, c2, _),
  relation(a217, _, c7, _),
  relation(a36, _, c13, _),
  relation(a80, _, c3, _),
  relation(a124, _, c8, _),
  relation(a168, _, c13, _),
  relation(a212, _, c3, _),
  relation(a31, _, c9, _),
  relation(a75, _, c14, _),
  relation(a119, _, c4, _),
  relation(a163, _, c9, _),
  relation(a207, _, c14, _),
  relation(a26, _, c5, _),
  relation(a70, _, c10, _),
  relation(a114, _, c0, _),
  relation(a158, _, c5, _),
  relation(a202, _, c10, _),
  relation(a21, _, c1, _),
  relation(a65, _, c6, _),
  relation(a109, _, c11, _),
  relation(a153, _, c1, _),
  relation(a197, _, c6, _),
  relation(a16, _, c12, _),
  relation(a60, _, c2, _),
  relation(a104, _, c7, _),
  relation(a148, _, c12, _),
  relation(a192, _, c2, _),
  relation(a11, _, c8, _),
  relation(a55, _, c13, _),
  relation(a99, _, c3, _),
  relation(a143, _, c8, _),
  relation(a187, _, c13, _),
  relation(a6, _, c4, _),
  relation(a50, _, c9, _),
  relation(a94, _, c14, _),
  relation(a138, _, c4, _),
  relation(a182, _, c9, _),
  relation(a1, _, c0, _),
  relation(a45, _, c5, _),
  relation(a89, _, c10, _),
  relation(a133, _, c0, _),
  relation(a177, _, c5, _),
  relation(a221, _, c10, _),
  relation(a40, _, c1, _),
  relation(a84, _, c6, _),
  relation(a128, _, c11, _),
  relation(a172, _, c1, _),
  relation(a216, _, c6, _),
  relation(a35, _, c12, _),
  relation(a79, _, c2, _),
  relation(a123, _, c7, _),
  relation(a167, _, c12, _),
  relation(a211, _, c2, _),
  relation(a30, _, c8, _),
  relation(a74, _, c13, _),
  relation(a118, _, c3, _),
  relation(a162, _, c8, _),
  relation(a206, _, c13, _),
  relation(a25, _, c4, _),
  relation(a69, _, c9, _),
  relation(a113, _, c14, _),
  relation(a157, _, c4, _),
  relation(a201, _, c9, _),
  relation(a20, _, c0, _),
  relation(a64, _, c5, _),
  relation(a108, _, c10, _),
  relation(a152, _, c0, _),
  relation(a196, _, c5, _),
  relation(a15, _, c11, _),
  relation(a59, _, c1, _),
  relation(a103, _, c6, _),
  relation(a147, _, c11, _),
  relation(a191, _, c1, _),
  relation(a10, _, c7, _),
  relation(a54, _, c12, _),
  relation(a98, _, c2, _),
  relation(a142, _, c7, _),
  relation(a186, _, c12, _),
  relation(a5, _, c3, _),
  relation(a49, _, c8, _),
  relation(a93, _, c13, _),
  relation(a137, _, c3, _),
  relation(a181, _, c8, _),
  relation(a0, _, c14, _),
  relation(a44, _, c4, _),
  relation(a88, _, c9, _),
  relation(a132, _, c14, _),
  relation(a176, _, c4, _),
  relation(a220, _, c9, _),
  relation(a39, _, c0, _),
  relation(a83, _, c5, _),
  relation(a127, _, c10, _),
  relation(a171, _, c0, _),
  relation(a215, _, c5, _),
  relation(a34, _, c11, _),
  relation(a78, _, c1, _),
  relation(a122, _, c6, _),
  relation(a166, _, c11, _),
  relation(a210, _, c1, _),
  relation(a29, _, c7, _),
  relation(a73, _, c12, _),
  relation(a117, _, c2, _),
  relation(a161, _, c7, _),
  relation(a205, _, c12, _),
  relation(a24, _, c3, _),
  relation(a68, _, c8, _),
  relation(a112, _, c13, _),
  relation(a156, _, c3, _),
  relation(a200, _, c8, _),
  relation(a19, _, c14, _),
  relation(a63, _, c4, _),
  relation(a107, _, c9, _),
  relation(a151, _, c14, _),
  relation(a195, _, c4, _),
  relation(a14, _, c10, _),
  relation(a58, _, c0, _),
  relation(a102, _, c5, _),
  relation(a146, _, c10, _),
  relation(a190, _, c0, _),
  relation(a9, _, c6, _),
  relation(a53, _, c11, _),
  relation(a97, _, c1, _),
  relation(a141, _, c6, _),
  relation(a185, _, c11, _),
  relation(a4, _, c2, _),
  relation(a48, _, c7, _),
  relation(a92, _, c12, _),
  relation(a136, _, c2, _),
  relation(a180, _, c7, _),
  relation(a224, _, c12, _),
  relation(a43, _, c3, _),
  relation(a87, _, c8, _),
  relation(a131, _, c13, _),
  relation(a175, _, c3, _),
  relation(a219, _, c8, _),
  relation(a38, _, c14, _),
  relation(a82, _, c4, _),
  relation(a126, _, c9, _),
  relation(a170, _, c14, _),
  relation(a214, _, c4, _),
  relation(a33, _, c10, _),
  relation(a77, _, c0, _),
  relation(a121, _, c5, _),
  relation(a165, _, c10, _),
  relation(a209, _, c0, _),
  relation(a28, _, c6, _),
  relation(a72, _, c11, _),
  relation(a116, _, c1, _),
  relation(a160, _, c6, _),
  relation(a204, _, c11, _),
  relation(a23, _, c2, _),
  relation(a67, _, c7, _),
  relation(a111, _, c12, _),
  relation(a155, _, c2, _),
  relation(a199, _, c7, _),
  relation(a18, _, c13, _),
  relation(a62, _, c3, _),
  relation(a106, _, c8, _),
  relation(a150, _, c13, _),
  relation(a194, _, c3, _),
  relation(a13, _, c9, _),
  relation(a57, _, c14, _),
  relation(a101, _, c4, _),
  relation(a145, _, c9, _),
  relation(a189, _, c14, _),
  relation(a8, _, c5, _),
  relation(a52, _, c10, _),
  relation(a96, _, c0, _),
  relation(a140, _, c5, _),
  relation(a184, _, c10, _),
  relation(a3, _, c1, _),
  relation(a47, _, c6, _),
  relation(a91, _, c11, _),
  relation(a135, _, c1, _),
  relation(a179, _, c6, _),
  relation(a223, _, c11, _),
  relation(a42, _, c2, _),
  relation(a86, _, c7, _),
  relation(a130, _, c12, _),
  relation(a174, _, c2, _),
  relation(a218, _, c7, _),
  relation(a37, _, c13, _),
  relation(a81, _, c3, _),
  relation(a125, _, c8, _),
  relation(a169, _, c13, _),
  relation(a213, _, c3, _),
  relation(a32, _, c9, _),
  relation(a76, _, c14, _),
  relation(a120, _, c4, _),
  relation(a164, _, c9, _),
  relation(a208, _, c14, _),
  relation(a27, _, c5, _),
  relation(a71, _, c10, _),
  relation(a115, _, c0, _),
  relation(a159, _, c5, _),
  relation(a203, _, c10, _),
  relation(a22, _, c1, _),
  relation(a66, _, c6, _),
  relation(a110, _, c11, _),
  relation(a154, _, c1, _),
  relation(a198, _, c6, _),
  relation(a17, _, c12, _),
  relation(a61, _, c2, _),
  relation(a105, _, c7, _),
  relation(a149, _, c12, _),
  relation(a193, _, c2, _),
  relation(a12, _, c8, _),
  relation(a56, _, c13, _),
  relation(a100, _, c3, _),
  relation(a144, _, c8, _),
  relation(a188, _, c13, _),
  relation(a7, _, c4, _),
  relation(a51, _, c9, _),
  relation(a95, _, c14, _),
  relation(a139, _, c4, _),
  relation(a183, _, c9, _),
  relation(a2, _, c0, _),
  relation(a46, _, c5, _),
  relation(a90, _, c10, _),
  relation(a134, _, c0, _),
  relation(a178, _, c5, _),
  relation(a222, _, c10, _),
  relation(a41, _, c1, _),
  relation(a85, _, c6, _),
  relation(a129, _, c11, _),
  relation(a173, _, c1, _),
  relation(a217, _, c6, _),
  relation(a36, _, c12, _),
  relation(a80, _, c2, _),
  relation(a124, _, c7, _),
  relation(a168, _, c12, _),
  relation(a212, _, c2, _),
  relation(a31, _, c8, _),
  relation(a75, _, c13, _),
  relation(a119, _, c3, _),
  relation(a163, _, c8, _),
  relation(a207, _, c13, _),
  relation(a26, _, c4, _),
  relation(a70, _, c9, _),
  relation(a114, _, c14, _),
  relation(a158, _, c4, _),
  relation(a202, _, c9, _),
  relation(a21, _, c0, _),
  relation(a65, _, c5, _),
  relation(a109, _, c10, _),
  relation(a153, _, c0, _),
  relation(a197, _, c5, _),
  relation(a16, _, c11, _),
  relation(a60, _, c1, _),
  relation(a104, _, c6, _),
  relation(a148, _, c11, _),
  relation(a192, _, c1, _),
  relation(a11, _, c7, _),
  relation(a55, _, c12, _),
  relation(a99, _, c2, _),
  relation(a143, _, c7, _),
  relation(a187, _, c12, _),
  relation(a6, _, c3, _),
  relation(a50, _, c8, _),
  relation(a94, _, c13, _),
  relation(a138, _, c3, _),
  relation(a182, _, c8, _),
  relation(a1, _, c14, _),
  relation(a45, _, c4, _),
  relation(a89, _, c9, _),
  relation(a133, _, c14, _),
  relation(a177, _, c4, _),
  relation(a221, _, c9, _),
  relation(a40, _, c0, _),
  relation(a84, _, c5, _),
  relation(a128, _, c10, _),
  relation(a172, _, c0, _),
  relation(a216, _, c5, _),
  relation(a35, _, c11, _),
  relation(a79, _, c1, _),
  relation(a123, _, c6, _),
  relation(a167, _, c11, _),
  relation(a211, _, c1, _),
  relation(a30, _, c7, _),
  relation(a74, _, c12, _),
  relation(a118, _, c2, _),
  relation(a162, _, c7, _),
  relation(a206, _, c12, _),
  relation(a25, _, c3, _),
  relation(a69, _, c8, _),
  relation(a113, _, c13, _),
  relation(a157, _, c3, _),
  relation(a201, _, c8, _),
  relation(a20, _, c14, _),
  relation(a64, _, c4, _),
  relation(a108, _, c9, _),
  relation(a152, _, c14, _),
  relation(a196, _, c4, _),
  relation(a15, _, c10, _),
  relation(a59, _, c0, _),
  relation(a103, _, c5, _),
  relation(a147, _, c10, _),
  relation(a191, _, c0, _),
  relation(a10, _, c6, _),
  relation(a54, _, c11, _),
  relation(a98, _, c1, _),
  relation(a142, _, c6, _),
  relation(a186, _, c11, _),
  relation(a5, _, c2, _),
  relation(a49, _, c7, _),
  relation(a93, _, c12, _),
  relation(a137, _, c2, _),
  relation(a181, _, c7, _),
  relation(a0, _, c13, _),
  relation(a44, _, c3, _),
  relation(a88, _, c8, _),
  relation(a132, _, c13, _),
  relation(a176, _, c3, _),
  relation(a220, _, c8, _),
  relation(a39, _, c14, _),
  relation(a83, _, c4, _),
  relation(a127, _, c9, _),
  relation(a171, _, c14, _),
  relation(a215, _, c4, _),
  relation(a34, _, c10, _),
  relation(a78, _, c0, _),
  relation(a122, _, c5, _),
  relation(a166, _, c10, _),
  relation(a210, _, c0, _),
  relation(a29, _, c6, _),
  relation(a73, _, c11, _),
  relation(a117, _, c1, _),
  relation(a161, _, c6, _),
  relation(a205, _, c11, _),
  relation(a24, _, c2, _),
  relation(a68, _, c7, _),
  relation(a112, _, c12, _),
  relation(a156, _, c2, _),
  relation(a200, _, c7, _),
  relation(a19, _, c13, _),
  relation(a63, _, c3, _),
  relation(a107, _, c8, _),
  relation(a151, _, c13, _),
  relation(a195, _, c3, _),
  relation(a14, _, c9, _),
  relation(a58, _, c14, _),
  relation(a102, _, c4, _),
  relation(a146, _, c9, _),
  relation(a190, _, c14, _),
  relation(a9, _, c5, _),
  relation(a53, _, c10, _),
  relation(a97, _, c0, _),
  relation(a141, _, c5, _),
  relation(a185, _, c10, _),
  relation(a4, _, c1, _),
  relation(a48, _, c6, _),
  relation(a92, _, c11, _),
  relation(a136, _, c1, _),
  relation(a180, _, c6, _),
  relation(a224, _, c11, _),
  relation(a43, _, c2, _),
  relation(a87, _, c7, _),
  relation(a131, _, c12, _),
  relation(a175, _, c2, _),
  relation(a219, _, c7, _),
  relation(a38, _, c13, _),
  relation(a82, _, c3, _),
  relation(a126, _, c8, _),
  relation(a170, _, c13, _),
  relation(a214, _, c3, _),
  relation(a33, _, c9, _),
  relation(a77, _, c14, _),
  relation(a121, _, c4, _),
  relation(a165, _, c9, _),
  relation(a209, _, c14, _),
  relation(a28, _, c5, _),
  relation(a72, _, c10, _),
  relation(a116, _, c0, _),
  relation(a160, _, c5, _),
  relation(a204, _, c10, _),
  relation(a23, _, c1, _),
  relation(a67, _, c6, _),
  relation(a111, _, c11, _),
  relation(a155, _, c1, _),
  relation(a199, _, c6, _),
  relation(a18, _, c12, _),
  relation(a62, _, c2, _),
  relation(a106, _, c7, _),
  relation(a150, _, c12, _),
  relation(a194, _, c2, _),
  relation(a13, _, c8, _),
  relation(a57, _, c13, _),
  relation(a101, _, c3, _),
  relation(a145, _, c8, _),
  relation(a189, _, c13, _),
  relation(a8, _, c4, _),
  relation(a52, _, c9, _),
  relation(a96, _, c14, _),
  relation(a140, _, c4, _),
  relation(a184, _, c9, _),
  relation(a3, _, c0, _),
  relation(a47, _, c5, _),
  relation(a91, _, c10, _),
  relation(a135, _, c0, _),
  relation(a179, _, c5, _),
  relation(a223, _, c10, _),
  relation(a42, _, c1, _),
  relation(a86, _, c6, _),
  relation(a130, _, c11, _),
  relation(a174, _, c1, _),
  relation(a218, _, c6, _),
  relation(a37, _, c12, _),
  relation(a81, _, c2, _),
  relation(a125, _, c7, _),
  relation(a169, _, c12, _),
  relation(a213, _, c2, _),
  relation(a32, _, c8, _),
  relation(a76, _, c13, _),
  relation(a120, _, c3, _),
  relation(a164, _, c8, _),
  relation(a208, _, c13, _),
  relation(a27, _, c4, _),
  relation(a71, _, c9, _),
  relation(a115, _, c14, _),
  relation(a159, _, c4, _),
  relation(a203, _, c9, _),
  relation(a22, _, c0, _),
  relation(a66, _, c5, _),
  relation(a110, _, c10, _),
  relation(a154, _, c0, _),
  relation(a198, _, c5, _),
  relation(a17, _, c11, _),
  relation(a61, _, c1, _),
  relation(a105, _, c6, _),
  relation(a149, _, c11, _),
  relation(a193, _, c1, _),
  relation(a12, _, c7, _),
  relation(a56, _, c12, _),
  relation(a100, _, c2, _),
  relation(a144, _, c7, _),
  relation(a188, _, c12, _),
  relation(a7, _, c3, _),
  relation(a51, _, c8, _),
  relation(a95, _, c13, _),
  relation(a139, _, c3, _),
  relation(a183, _, c8, _),
  relation(a2, _, c14, _),
  relation(a46, _, c4, _),
  relation(a90, _, c9, _),
  relation(a134, _, c14, _),
  relation(a178, _, c4, _),
  relation(a222, _, c9, _),
  relation(a41, _, c0, _),
  relation(a85, _, c5, _),
  relation(a129, _, c10, _),
  relation(a173, _, c0, _),
  relation(a217, _, c5, _),
  relation(a36, _, c11, _),
  relation(a80, _, c1, _),
  relation(a124, _, c6, _),
  relation(a168, _, c11, _),
  relation(a212, _, c1, _),
  relation(a31, _, c7, _),
  relation(a75, _, c12, _),
  relation(a119, _, c2, _),
  relation(a163, _, c7, _),
  relation(a207, _, c12, _),
  relation(a26, _, c3, _),
  relation(a70, _, c8, _),
  relation(a114, _, c13, _),
  relation(a158, _, c3, _),
  relation(a202, _, c8, _),
  relation(a21, _, c14, _),
  relation(a65, _, c4, _),
  relation(a109, _, c9, _),
  relation(a153, _, c14, _),
  relation(a197, _, c4, _),
  relation(a16, _, c10, _),
  relation(a60, _, c0, _),
  relation(a104, _, c5, _),
  relation(a148, _, c10, _),
  relation(a192, _, c0, _),
  relation(a11, _, c6, _),
  relation(a55, _, c11, _),
  relation(a99, _, c1, _),
  relation(a143, _, c6, _),
  relation(a187, _, c11, _),
  relation(a6, _, c2, _),
  relation(a50, _, c7, _),
  relation(a94, _, c12, _),
  relation(a138, _, c2, _),
  relation(a182, _, c7, _),
  relation(a1, _, c13, _),
  relation(a45, _, c3, _),
  relation(a89, _, c8, _),
  relation(a133, _, c13, _),
  relation(a177, _, c3, _),
  relation(a221, _, c8, _),
  relation(a40, _, c14, _),
  relation(a84, _, c4, _),
  relation(a128, _, c9, _),
  relation(a172, _, c14, _),
  relation(a216, _, c4, _),
  relation(a35, _, c10, _),
  relation(a79, _, c0, _),
  relation(a123, _, c5, _),
  relation(a167, _, c10, _),
  relation(a211, _, c0, _),
  relation(a30, _, c6, _),
  relation(a74, _, c11, _),
  relation(a118, _, c1, _),
  relation(a162, _, c6, _),
  relation(a206, _, c11, _),
  relation(a25, _, c2, _),
  relation(a69, _, c7, _),
  relation(a113, _, c12, _),
  relation(a157, _, c2, _),
  relation(a201, _, c7, _),
  relation(a20, _, c13, _),
  relation(a64, _, c3, _),
  relation(a108, _, c8, _),
  relation(a152, _, c13, _),
  relation(a196, _, c3, _),
  relation(a15, _, c9, _),
  relation(a59, _, c14, _),
  relation(a103, _, c4, _),
  relation(a147, _, c9, _),
  relation(a191, _, c14, _),
  relation(a10, _, c5, _),
  relation(a54, _, c10, _),
  relation(a98, _, c0, _),
  relation(a142, _, c5, _),
  relation(a186, _, c10, _),
  relation(a5, _, c1, _),
  relation(a49, _, c6, _),
  relation(a93, _, c11, _),
  relation(a137, _, c1, _),
  relation(a181, _, c6, _),
  relation(a0, _, c12, _),
  relation(a44, _, c2, _),
  relation(a88, _, c7, _),
  relation(a132, _, c12, _),
  relation(a176, _, c2, _),
  relation(a220, _, c7, _),
  relation(a39, _, c13, _),
  relation(a83, _, c3, _),
  relation(a127, _, c8, _),
  relation(a171, _, c13, _),
  relation(a215, _, c3, _),
  relation(a34, _, c9, _),
  relation(a78, _, c14, _),
  relation(a122, _, c4, _),
  relation(a166, _, c9, _),
  relation(a210, _, c14, _),
  relation(a29, _, c5, _),
  relation(a73, _, c10, _),
  relation(a117, _, c0, _),
  relation(a161, _, c5, _),
  relation(a205, _, c10, _),
  relation(a24, _, c1, _),
  relation(a68, _, c6, _),
  relation(a112, _, c11, _),
  relation(a156, _, c1, _),
  relation(a200, _, c6, _),
  relation(a19, _, c12, _),
  relation(a63, _, c2, _),
  relation(a107, _, c7, _),
  relation(a151, _, c12, _),
  relation(a195, _, c2, _),
  relation(a14, _, c8, _),
  relation(a58, _, c13, _),
  relation(a102, _, c3, _),
  relation(a146, _, c8, _),
  relation(a190, _, c13, _),
  relation(a9, _, c4, _),
  relation(a53, _, c9, _),
  relation(a97, _, c14, _),
  relation(a141, _, c4, _),
  relation(a185, _, c9, _),
  relation(a4, _, c0, _),
  relation(a48, _, c5, _),
  relation(a92, _, c10, _),
  relation(a136, _, c0, _),
  relation(a180, _, c5, _),
  relation(a224, _, c10, _),
  relation(a43, _, c1, _),
  relation(a87, _, c6, _),
  relation(a131, _, c11, _),
  relation(a175, _, c1, _),
  relation(a219, _, c6, _),
  relation(a38, _, c12, _),
  relation(a82, _, c2, _),
  relation(a126, _, c7, _),
  relation(a170, _, c12, _),
  relation(a214, _, c2, _),
  relation(a33, _, c8, _),
  relation(a77, _, c13, _),
  relation(a121, _, c3, _),
  relation(a165, _, c8, _),
  relation(a209, _, c13, _),
  relation(a28, _, c4, _),
  relation(a72, _, c9, _),
  relation(a116, _, c14, _),
  relation(a160, _, c4, _),
  relation(a204, _, c9, _),
  relation(a23, _, c0, _),
  relation(a67, _, c5, _),
  relation(a111, _, c10, _),
  relation(a155, _, c0, _),
  relation(a199, _, c5, _),
  relation(a18, _, c11, _),
  relation(a62, _, c1, _),
  relation(a106, _, c6, _),
  relation(a150, _, c11, _),
  relation(a194, _, c1, _),
  relation(a13, _, c7, _),
  relation(a57, _, c12, _),
  relation(a101, _, c2, _),
  relation(a145, _, c7, _),
  relation(a189, _, c12, _),
  relation(a8, _, c3, _),
  relation(a52, _, c8, _),
  relation(a96, _, c13, _),
  relation(a140, _, c3, _),
  relation(a184, _, c8, _),
  relation(a3, _, c14, _),
  relation(a47, _, c4, _),
  relation(a91, _, c9, _),
  relation(a135, _, c14, _),
  relation(a179, _, c4, _),
  relation(a223, _, c9, _),
  relation(a42, _, c0, _),
  relation(a86, _, c5, _),
  relation(a130, _, c10, _),
  relation(a174, _, c0, _),
  relation(a218, _, c5, _),
  relation(a37, _, c11, _),
  relation(a81, _, c1, _),
  relation(a125, _, c6, _),
  relation(a169, _, c11, _),
  relation(a213, _, c1, _),
  relation(a32, _, c7, _),
  relation(a76, _, c12, _),
  relation(a120, _, c2, _),
  relation(a164, _, c7, _),
  relation(a208, _, c12, _),
  relation(a27, _, c3, _),
  relation(a71, _, c8, _),
  relation(a115, _, c13, _),
  relation(a159, _, c3, _),
  relation(a203, _, c8, _),
  relation(a22, _, c14, _),
  relation(a66, _, c4, _),
  relation(a110, _, c9, _),
  relation(a154, _, c14, _),
  relation(a198, _, c4, _),
  relation(a17, _, c10, _),
  relation(a61, _, c0, _),
  relation(a105, _, c5, _),
  relation(a149, _, c10, _),
  relation(a193, _, c0, _),
  relation(a12, _, c6, _),
  relation(a56, _, c11, _),
  relation(a100, _, c1, _),
  relation(a144, _, c6, _),
  relation(a188, _, c11, _),
  relation(a7, _, c2, _),
  relation(a51, _, c7, _),
  relation(a95, _, c12, _),
  relation(a139, _, c2, _),
  relation(a183, _, c7, _),
  relation(a2, _, c13, _),
  relation(a46, _, c3, _),
  relation(a90, _, c8, _),
  relation(a134, _, c13, _),
  relation(a178, _, c3, _),
  relation(a222, _, c8, _),
  relation(a41, _, c14, _),
  relation(a85, _, c4, _),
  relation(a129, _, c9, _),
  relation(a173, _, c14, _),
  relation(a217, _, c4, _),
  relation(a36, _, c10, _),
  relation(a80, _, c0, _),
  relation(a124, _, c5, _),
  relation(a168, _, c10, _),
  relation(a212, _, c0, _),
  relation(a31, _, c6, _),
  relation(a75, _, c11, _),
  relation(a119, _, c1, _),
  relation(a163, _, c6, _),
  relation(a207, _, c11, _),
  relation(a26, _, c2, _),
  relation(a70, _, c7, _),
  relation(a114, _, c12, _),
  relation(a158, _, c2, _),
  relation(a202, _, c7, _),
  relation(a21, _, c13, _),
  relation(a65, _, c3, _),
  relation(a109, _, c8, _),
  relation(a153, _, c13, _),
  relation(a197, _, c3, _),
  relation(a16, _, c9, _),
  relation(a60, _, c14, _),
  relation(a104, _, c4, _),
  relation(a148, _, c9, _),
  relation(a192, _, c14, _),
  relation(a11, _, c5, _),
  relation(a55, _, c10, _),
  relation(a99, _, c0, _),
  relation(a143, _, c5, _),
  relation(a187, _, c10, _),
  relation(a6, _, c1, _),
  relation(a50, _, c6, _),
  relation(a94, _, c11, _),
  relation(a138, _, c1, _),
  relation(a182, _, c6, _),
  relation(a1, _, c12, _),
  relation(a45, _, c2, _),
  relation(a89, _, c7, _),
  relation(a133, _, c12, _),
  relation(a177, _, c2, _),
  relation(a221, _, c7, _),
  relation(a40, _, c13, _),
  relation(a84, _, c3, _),
  relation(a128, _, c8, _),
  relation(a172, _, c13, _),
  relation(a216, _, c3, _),
  relation(a35, _, c9, _),
  relation(a79, _, c14, _),
  relation(a123, _, c4, _),
  relation(a167, _, c9, _),
  relation(a211, _, c14, _),
  relation(a30, _, c5, _),
  relation(a74, _, c10, _),
  relation(a118, _, c0, _),
  relation(a162, _, c5, _),
  relation(a206, _, c10, _),
  relation(a25, _, c1, _),
  relation(a69, _, c6, _),
  relation(a113, _, c11, _),
  relation(a157, _, c1, _),
  relation(a201, _, c6, _),
  relation(a20, _, c12, _),
  relation(a64, _, c2, _),
  relation(a108, _, c7, _),
  relation(a152, _, c12, _),
  relation(a196, _, c2, _),
  relation(a15, _, c8, _),
  relation(a59, _, c13, _),
  relation(a103, _, c3, _),
  relation(a147, _, c8, _),
  relation(a191, _, c13, _),
  relation(a10, _, c4, _),
  relation(a54, _, c9, _),
  relation(a98, _, c14, _),
  relation(a142, _, c4, _),
  relation(a186, _, c9, _),
  relation(a5, _, c0, _),
  relation(a49, _, c5, _),
  relation(a93, _, c10, _),
  relation(a137, _, c0, _),
  relation(a181, _, c5, _),
  relation(a0, _, c11, _),
  relation(a44, _, c1, _),
  relation(a88, _, c6, _),
  relation(a132, _, c11, _),
  relation(a176, _, c1, _),
  relation(a220, _, c6, _),
  relation(a39, _, c12, _),
  relation(a83, _, c2, _),
  relation(a127, _, c7, _),
  relation(a171, _, c12, _),
  relation(a215, _, c2, _),
  relation(a34, _, c8, _),
  relation(a78, _, c13, _),
  relation(a122, _, c3, _),
  relation(a166, _, c8, _),
  relation(a210, _, c13, _),
  relation(a29, _, c4, _),
  relation(a73, _, c9, _),
  relation(a117, _, c14, _),
  relation(a161, _, c4, _),
  relation(a205, _, c9, _),
  relation(a24, _, c0, _),
  relation(a68, _, c5, _),
  relation(a112, _, c10, _),
  relation(a156, _, c0, _),
  relation(a200, _, c5, _),
  relation(a19, _, c11, _),
  relation(a63, _, c1, _),
  relation(a107, _, c6, _),
  relation(a151, _, c11, _),
  relation(a195, _, c1, _),
  relation(a14, _, c7, _),
  relation(a58, _, c12, _),
  relation(a102, _, c2, _),
  relation(a146, _, c7, _),
  relation(a190, _, c12, _),
  relation(a9, _, c3, _),
  relation(a53, _, c8, _),
  relation(a97, _, c13, _),
  relation(a141, _, c3, _),
  relation(a185, _, c8, _),
  relation(a4, _, c14, _),
  relation(a48, _, c4, _),
  relation(a92, _, c9, _),
  relation(a136, _, c14, _),
  relation(a180, _, c4, _),
  relation(a224, _, c9, _),
  relation(a43, _, c0, _),
  relation(a87, _, c5, _),
  relation(a131, _, c10, _),
  relation(a175, _, c0, _),
  relation(a219, _, c5, _),
  relation(a38, _, c11, _),
  relation(a82, _, c1, _),
  relation(a126, _, c6, _),
  relation(a170, _, c11, _),
  relation(a214, _, c1, _),
  relation(a33, _, c7, _),
  relation(a77, _, c12, _),
  relation(a121, _, c2, _),
  relation(a165, _, c7, _),
  relation(a209, _, c12, _),
  relation(a28, _, c3, _),
  relation(a72, _, c8, _),
  relation(a116, _, c13, _),
  relation(a160, _, c3, _),
  relation(a204, _, c8, _),
  relation(a23, _, c14, _),
  relation(a67, _, c4, _),
  relation(a111, _, c9, _),
  relation(a155, _, c14, _),
  relation(a199, _, c4, _),
  relation(a18, _, c10, _),
  relation(a62, _, c0, _),
  relation(a106, _, c5, _),
  relation(a150, _, c10, _),
  relation(a194, _, c0, _),
  relation(a13, _, c6, _),
  relation(a57, _, c11, _),
  relation(a101, _, c1, _),
  relation(a145, _, c6, _),
  relation(a189, _, c11, _),
  relation(a8, _, c2, _),
  relation(a52, _, c7, _),
  relation(a96, _, c12, _),
  relation(a140, _, c2, _),
  relation(a184, _, c7, _),
  relation(a3, _, c13, _),
  relation(a47, _, c3, _),
  relation(a91, _, c8, _),
  relation(a135, _, c13, _),
  relation(a179, _, c3, _),
  relation(a223, _, c8, _),
  relation(a42, _, c14, _),
  relation(a86, _, c4, _),
  relation(a130, _, c9, _),
  relation(a174, _, c14, _),
  relation(a218, _, c4, _),
  relation(a37, _, c10, _),
  relation(a81, _, c0, _),
  relation(a125, _, c5, _),
  relation(a169, _, c10, _),
  relation(a213, _, c0, _),
  relation(a32, _, c6, _),
  relation(a76, _, c11, _),
  relation(a120, _, c1, _),
  relation(a164, _, c6, _),
  relation(a208, _, c11, _),
  relation(a27, _, c2, _),
  relation(a71, _, c7, _),
  relation(a115, _, c12, _),
  relation(a159, _, c2, _),
  relation(a203, _, c7, _),
  relation(a22, _, c13, _),
  relation(a66, _, c3, _),
  relation(a110, _, c8, _),
  relation(a154, _, c13, _),
  relation(a198, _, c3, _),
  relation(a17, _, c9, _),
  relation(a61, _, c14, _),
  relation(a105, _, c4, _),
  relation(a149, _, c9, _),
  relation(a193, _, c14, _),
  relation(a12, _, c5, _),
  relation(a56, _, c10, _),
  relation(a100, _, c0, _),
  relation(a144, _, c5, _),
  relation(a188, _, c10, _),
  relation(a7, _, c1, _),
  relation(a51, _, c6, _),
  relation(a95, _, c11, _),
  relation(a139, _, c1, _),
  relation(a183, _, c6, _),
  relation(a2, _, c12, _),
  relation(a46, _, c2, _),
  relation(a90, _, c7, _),
  relation(a134, _, c12, _),
  relation(a178, _, c2, _),
  relation(a222, _, c7, _),
  relation(a41, _, c13, _),
  relation(a85, _, c3, _),
  relation(a129, _, c8, _),
  relation(a173, _, c13, _),
  relation(a217, _, c3, _),
  relation(a36, _, c9, _),
  relation(a80, _, c14, _),
  relation(a124, _, c4, _),
  relation(a168, _, c9, _),
  relation(a212, _, c14, _),
  relation(a31, _, c5, _),
  relation(a75, _, c10, _),
  relation(a119, _, c0, _),
  relation(a163, _, c5, _),
  relation(a207, _, c10, _),
  relation(a26, _, c1, _),
  relation(a70, _, c6, _),
  relation(a114, _, c11, _),
  relation(a158, _, c1, _),
  relation(a202, _, c6, _),
  relation(a21, _, c12, _),
  relation(a65, _, c2, _),
  relation(a109, _, c7, _),
  relation(a153, _, c12, _),
  relation(a197, _, c2, _),
  relation(a16, _, c8, _),
  relation(a60, _, c13, _),
  relation(a104, _, c3, _),
  relation(a148, _, c8, _),
  relation(a192, _, c13, _),
  relation(a11, _, c4, _),
  relation(a55, _, c9, _),
  relation(a99, _, c14, _),
  relation(a143, _, c4, _),
  relation(a187, _, c9, _),
  relation(a6, _, c0, _),
  relation(a50, _, c5, _),
  relation(a94, _, c10, _),
  relation(a138, _, c0, _),
  relation(a182, _, c5, _),
  relation(a1, _, c11, _),
  relation(a45, _, c1, _),
  relation(a89, _, c6, _),
  relation(a133, _, c11, _),
  relation(a177, _, c1, _),
  relation(a221, _, c6, _),
  relation(a40, _, c12, _),
  relation(a84, _, c2, _),
  relation(a128, _, c7, _),
  relation(a172, _, c12, _),
  relation(a216, _, c2, _),
  relation(a35, _, c8, _),
  relation(a79, _, c13, _),
  relation(a123, _, c3, _),
  relation(a167, _, c8, _),
  relation(a211, _, c13, _),
  relation(a30, _, c4, _),
  relation(a74, _, c9, _),
  relation(a118, _, c14, _),
  relation(a162, _, c4, _),
  relation(a206, _, c9, _),
  relation(a25, _, c0, _),
  relation(a69, _, c5, _),
  relation(a113, _, c10, _),
  relation(a157, _, c0, _),
  relation(a201, _, c5, _),
  relation(a20, _, c11, _),
  relation(a64, _, c1, _),
  relation(a108, _, c6, _),
  relation(a152, _, c11, _),
  relation(a196, _, c1, _),
  relation(a15, _, c7, _),
  relation(a59, _, c12, _),
  relation(a103, _, c2, _),
  relation(a147, _, c7, _),
  relation(a191, _, c12, _),
  relation(a10, _, c3, _),
  relation(a54, _, c8, _),
  relation(a98, _, c13, _),
  relation(a142, _, c3, _),
  relation(a186, _, c8, _),
  relation(a5, _, c14, _),
  relation(a49, _, c4, _),
  relation(a93, _, c9, _),
  relation(a137, _, c14, _),
  relation(a181, _, c4, _),
  relation(a0, _, c10, _),
  relation(a44, _, c0, _),
  relation(a88, _, c5, _),
  relation(a132, _, c10, _),
  relation(a176, _, c0, _),
  relation(a220, _, c5, _),
  relation(a39, _, c11, _),
  relation(a83, _, c1, _),
  relation(a127, _, c6, _),
  relation(a171, _, c11, _),
  relation(a215, _, c1, _),
  relation(a34, _, c7, _),
  relation(a78, _, c12, _),
  relation(a122, _, c2, _),
  relation(a166, _, c7, _),
  relation(a210, _, c12, _),
  relation(a29, _, c3, _),
  relation(a73, _, c8, _),
  relation(a117, _, c13, _),
  relation(a161, _, c3, _),
  relation(a205, _, c8, _),
  relation(a24, _, c14, _),
  relation(a68, _, c4, _),
  relation(a112, _, c9, _),
  relation(a156, _, c14, _),
  relation(a200, _, c4, _),
  relation(a19, _, c10, _),
  relation(a63, _, c0, _),
  relation(a107, _, c5, _),
  relation(a151, _, c10, _),
  relation(a195, _, c0, _),
  relation(a14, _, c6, _),
  relation(a58, _, c11, _),
  relation(a102, _, c1, _),
  relation(a146, _, c6, _),
  relation(a190, _, c11, _),
  relation(a9, _, c2, _),
  relation(a53, _, c7, _),
  relation(a97, _, c12, _),
  relation(a141, _, c2, _),
  relation(a185, _, c7, _),
  relation(a4, _, c13, _),
  relation(a48, _, c3, _),
  relation(a92, _, c8, _),
  relation(a136, _, c13, _),
  relation(a180, _, c3, _),
  relation(a224, _, c8, _),
  relation(a43, _, c14, _),
  relation(a87, _, c4, _),
  relation(a131, _, c9, _),
  relation(a175, _, c14, _),
  relation(a219, _, c4, _),
  relation(a38, _, c10, _),
  relation(a82, _, c0, _),
  relation(a126, _, c5, _),
  relation(a170, _, c10, _),
  relation(a214, _, c0, _),
  relation(a33, _, c6, _),
  relation(a77, _, c11, _),
  relation(a121, _, c1, _),
  relation(a165, _, c6, _),
  relation(a209, _, c11, _),
  relation(a28, _, c2, _),
  relation(a72, _, c7, _),
  relation(a116, _, c12, _),
  relation(a160, _, c2, _),
  relation(a204, _, c7, _),
  relation(a23, _, c13, _),
  relation(a67, _, c3, _),
  relation(a111, _, c8, _),
  relation(a155, _, c13, _),
  relation(a199, _, c3, _),
  relation(a18, _, c9, _),
  relation(a62, _, c14, _),
  relation(a106, _, c4, _),
  relation(a150, _, c9, _),
  relation(a194, _, c14, _),
  relation(a13, _, c5, _),
  relation(a57, _, c10, _),
  relation(a101, _, c0, _),
  relation(a145, _, c5, _),
  relation(a189, _, c10, _),
  relation(a8, _, c1, _),
  relation(a52, _, c6, _),
  relation(a96, _, c11, _),
  relation(a140, _, c1, _),
  relation(a184, _, c6, _),
  relation(a3, _, c12, _),
  relation(a47, _, c2, _),
  relation(a91, _, c7, _),
  relation(a135, _, c12, _),
  relation(a179, _, c2, _),
  relation(a223, _, c7, _),
  relation(a42, _, c13, _),
  relation(a86, _, c3, _),
  relation(a130, _, c8, _),
  relation(a174, _, c13, _),
  relation(a218, _, c3, _),
  relation(a37, _, c9, _),
  relation(a81, _, c14, _),
  relation(a125, _, c4, _),
  relation(a169, _, c9, _),
  relation(a213, _, c14, _),
  relation(a32, _, c5, _),
  relation(a76, _, c10, _),
  relation(a120, _, c0, _),
  relation(a164, _, c5, _),
  relation(a208, _, c10, _),
  relation(a27, _, c1, _),
  relation(a71, _, c6, _),
  relation(a115, _, c11, _),
  relation(a159, _, c1, _),
  relation(a203, _, c6, _),
  relation(a22, _, c12, _),
  relation(a66, _, c2, _),
  relation(a110, _, c7, _),
  relation(a154, _, c12, _),
  relation(a198, _, c2, _),
  relation(a17, _, c8, _),
  relation(a61, _, c13, _),
  relation(a105, _, c3, _),
  relation(a149, _, c8, _),
  relation(a193, _, c13, _),
  relation(a12, _, c4, _),
  relation(a56, _, c9, _),
  relation(a100, _, c14, _),
  relation(a144, _, c4, _),
  relation(a188, _, c9, _),
  relation(a7, _, c0, _),
  relation(a51, _, c5, _),
  relation(a95, _, c10, _),
  relation(a139, _, c0, _),
  relation(a183, _, c5, _),
  relation(a2, _, c11, _),
  relation(a46, _, c1, _),
  relation(a90, _, c6, _),
  relation(a134, _, c11, _),
  relation(a178, _, c1, _),
  relation(a222, _, c6, _),
  relation(a41, _, c12, _),
  relation(a85, _, c2, _),
  relation(a129, _, c7, _),
  relation(a173, _, c12, _),
  relation(a217, _, c2, _),
  relation(a36, _, c8, _),
  relation(a80, _, c13, _),
  relation(a124, _, c3, _),
  relation(a168, _, c8, _),
  relation(a212, _, c13, _),
  relation(a31, _, c4, _),
  relation(a75, _, c9, _),
  relation(a119, _, c14, _),
  relation(a163, _, c4, _),
  relation(a207, _, c9, _),
  relation(a26, _, c0, _),
  relation(a70, _, c5, _),
  relation(a114, _, c10, _),
  relation(a158, _, c0, _),
  relation(a202, _, c5, _),
  relation(a21, _, c11, _),
  relation(a65, _, c1, _),
  relation(a109, _, c6, _),
  relation(a153, _, c11, _),
  relation(a197, _, c1, _),
  relation(a16, _, c7, _),
  relation(a60, _, c12, _),
  relation(a104, _, c2, _),
  relation(a148, _, c7, _),
  relation(a192, _, c12, _),
  relation(a11, _, c3, _),
  relation(a55, _, c8, _),
  relation(a99, _, c13, _),
  relation(a143, _, c3, _),
  relation(a187, _, c8, _),
  relation(a6, _, c14, _),
  relation(a50, _, c4, _),
  relation(a94, _, c9, _),
  relation(a138, _, c14, _),
  relation(a182, _, c4, _),
  relation(a1, _, c10, _),
  relation(a45, _, c0, _),
  relation(a89, _, c5, _),
  relation(a133, _, c10, _),
  relation(a177, _, c0, _),
  relation(a221, _, c5, _),
  relation(a40, _, c11, _),
  relation(a84, _, c1, _),
  relation(a128, _, c6, _),
  relation(a172, _, c11, _),
  relation(a216, _, c1, _),
  relation(a35, _, c7, _),
  relation(a79, _, c12, _),
  relation(a123, _, c2, _),
  relation(a167, _, c7, _),
  relation(a211, _, c12, _),
  relation(a30, _, c3, _),
  relation(a74, _, c8, _),
  relation(a118, _, c13, _),
  relation(a162, _, c3, _),
  relation(a206, _, c8, _),
  relation(a25, _, c14, _),
  relation(a69, _, c4, _),
  relation(a113, _, c9, _),
  relation(a157, _, c14, _),
  relation(a201, _, c4, _),
  relation(a20, _, c10, _),
  relation(a64, _, c0, _),
  relation(a108, _, c5, _),
  relation(a152, _, c10, _),
  relation(a196, _, c0, _),
  relation(a15, _, c6, _),
  relation(a59, _, c11, _),
  relation(a103, _, c1, _),
  relation(a147, _, c6, _),
  relation(a191, _, c11, _),
  relation(a10, _, c2, _),
  relation(a54, _, c7, _),
  relation(a98, _, c12, _),
  relation(a142, _, c2, _),
  relation(a186, _, c7, _),
  relation(a5, _, c13, _),
  relation(a49, _, c3, _),
  relation(a93, _, c8, _),
  relation(a137, _, c13, _),
  relation(a181, _, c3, _),
  relation(a0, _, c9, _),
  relation(a44, _, c14, _),
  relation(a88, _, c4, _),
  relation(a132, _, c9, _),
  relation(a176, _, c14, _),
  relation(a220, _, c4, _),
  relation(a39, _, c10, _),
  relation(a83, _, c0, _),
  relation(a127, _, c5, _),
  relation(a171, _, c10, _),
  relation(a215, _, c0, _),
  relation(a34, _, c6, _),
  relation(a78, _, c11, _),
  relation(a122, _, c1, _),
  relation(a166, _, c6, _),
  relation(a210, _, c11, _),
  relation(a29, _, c2, _),
  relation(a73, _, c7, _),
  relation(a117, _, c12, _),
  relation(a161, _, c2, _),
  relation(a205, _, c7, _),
  relation(a24, _, c13, _),
  relation(a68, _, c3, _),
  relation(a112, _, c8, _),
  relation(a156, _, c13, _),
  relation(a200, _, c3, _),
  relation(a19, _, c9, _),
  relation(a63, _, c14, _),
  relation(a107, _, c4, _),
  relation(a151, _, c9, _),
  relation(a195, _, c14, _),
  relation(a14, _, c5, _),
  relation(a58, _, c10, _),
  relation(a102, _, c0, _),
  relation(a146, _, c5, _),
  relation(a190, _, c10, _),
  relation(a9, _, c1, _),
  relation(a53, _, c6, _),
  relation(a97, _, c11, _),
  relation(a141, _, c1, _),
  relation(a185, _, c6, _),
  relation(a4, _, c12, _),
  relation(a48, _, c2, _),
  relation(a92, _, c7, _),
  relation(a136, _, c12, _),
  relation(a180, _, c2, _),
  relation(a224, _, c7, _),
  relation(a43, _, c13, _),
  relation(a87, _, c3, _),
  relation(a131, _, c8, _),
  relation(a175, _, c13, _),
  relation(a219, _, c3, _),
  relation(a38, _, c9, _),
  relation(a82, _, c14, _),
  relation(a126, _, c4, _),
  relation(a170, _, c9, _),
  relation(a214, _, c14, _),
  relation(a33, _, c5, _),
  relation(a77, _, c10, _),
  relation(a121, _, c0, _),
  relation(a165, _, c5, _),
  relation(a209, _, c10, _),
  relation(a28, _, c1, _),
  relation(a72, _, c6, _),
  relation(a116, _, c11, _),
  relation(a160, _, c1, _),
  relation(a204, _, c6, _),
  relation(a23, _, c12, _),
  relation(a67, _, c2, _),
  relation(a111, _, c7, _),
  relation(a155, _, c12, _),
  relation(a199, _, c2, _),
  relation(a18, _, c8, _),
  relation(a62, _, c13, _),
  relation(a106, _, c3, _),
  relation(a150, _, c8, _),
  relation(a194, _, c13, _),
  relation(a13, _, c4, _),
  relation(a57, _, c9, _),
  relation(a101, _, c14, _),
  relation(a145, _, c4, _),
  relation(a189, _, c9, _),
  relation(a8, _, c0, _),
  relation(a52, _, c5, _),
  relation(a96, _, c10, _),
  relation(a140, _, c0, _),
  relation(a184, _, c5, _),
  relation(a3, _, c11, _),
  relation(a47, _, c1, _),
  relation(a91, _, c6, _),
  relation(a135, _, c11, _),
  relation(a179, _, c1, _),
  relation(a223, _, c6, _),
  relation(a42, _, c12, _),
  relation(a86, _, c2, _),
  relation(a130, _, c7, _),
  relation(a174, _, c12, _),
  relation(a218, _, c2, _),
  relation(a37, _, c8, _),
  relation(a81, _, c13, _),
  relation(a125, _, c3, _),
  relation(a169, _, c8, _),
  relation(a213, _, c13, _),
  relation(a32, _, c4, _),
  relation(a76, _, c9, _),
  relation(a120, _, c14, _),
  relation(a164, _, c4, _),
  relation(a208, _, c9, _),
  relation(a27, _, c0, _),
  relation(a71, _, c5, _),
  relation(a115, _, c10, _),
  relation(a159, _, c0, _),
  relation(a203, _, c5, _),
  relation(a22, _, c11, _),
  relation(a66, _, c1, _),
  relation(a110, _, c6, _),
  relation(a154, _, c11, _),
  relation(a198, _, c1, _),
  relation(a17, _, c7, _),
  relation(a61, _, c12, _),
  relation(a105, _, c2, _),
  relation(a149, _, c7, _),
  relation(a193, _, c12, _),
  relation(a12, _, c3, _),
  relation(a56, _, c8, _),
  relation(a100, _, c13, _),
  relation(a144, _, c3, _),
  relation(a188, _, c8, _),
  relation(a7, _, c14, _),
  relation(a51, _, c4, _),
  relation(a95, _, c9, _),
  relation(a139, _, c14, _),
  relation(a183, _, c4, _),
  relation(a2, _, c10, _),
  relation(a46, _, c0, _),
  relation(a90, _, c5, _),
  relation(a134, _, c10, _),
  relation(a178, _, c0, _),
  relation(a222, _, c5, _),
  relation(a41, _, c11, _),
  relation(a85, _, c1, _),
  relation(a129, _, c6, _),
  relation(a173, _, c11, _),
  relation(a217, _, c1, _),
  relation(a36, _, c7, _),
  relation(a80, _, c12, _),
  relation(a124, _, c2, _),
  relation(a168, _, c7, _),
  relation(a212, _, c12, _),
  relation(a31, _, c3, _),
  relation(a75, _, c8, _),
  relation(a119, _, c13, _),
  relation(a163, _, c3, _),
  relation(a207, _, c8, _),
  relation(a26, _, c14, _),
  relation(a70, _, c4, _),
  relation(a114, _, c9, _),
  relation(a158, _, c14, _),
  relation(a202, _, c4, _),
  relation(a21, _, c10, _),
  relation(a65, _, c0, _),
  relation(a109, _, c5, _),
  relation(a153, _, c10, _),
  relation(a197, _, c0, _),
  relation(a16, _, c6, _),
  relation(a60, _, c11, _),
  relation(a104, _, c1, _),
  relation(a148, _, c6, _),
  relation(a192, _, c11, _),
  relation(a11, _, c2, _),
  relation(a55, _, c7, _),
  relation(a99, _, c12, _),
  relation(a143, _, c2, _),
  relation(a187, _, c7, _),
  relation(a6, _, c13, _),
  relation(a50, _, c3, _),
  relation(a94, _, c8, _),
  relation(a138, _, c13, _),
  relation(a182, _, c3, _),
  relation(a1, _, c9, _),
  relation(a45, _, c14, _),
  relation(a89, _, c4, _),
  relation(a133, _, c9, _),
  relation(a177, _, c14, _),
  relation(a221, _, c4, _),
  relation(a40, _, c10, _),
  relation(a84, _, c0, _),
  relation(a128, _, c5, _),
  relation(a172, _, c10, _),
  relation(a216, _, c0, _),
  relation(a35, _, c6, _),
  relation(a79, _, c11, _),
  relation(a123, _, c1, _),
  relation(a167, _, c6, _),
  relation(a211, _, c11, _),
  relation(a30, _, c2, _),
  relation(a74, _, c7, _),
  relation(a118, _, c12, _),
  relation(a162, _, c2, _),
  relation(a206, _, c7, _),
  relation(a25, _, c13, _),
  relation(a69, _, c3, _),
  relation(a113, _, c8, _),
  relation(a157, _, c13, _),
  relation(a201, _, c3, _),
  relation(a20, _, c9, _),
  relation(a64, _, c14, _),
  relation(a108, _, c4, _),
  relation(a152, _, c9, _),
  relation(a196, _, c14, _),
  relation(a15, _, c5, _),
  relation(a59, _, c10, _),
  relation(a103, _, c0, _),
  relation(a147, _, c5, _),
  relation(a191, _, c10, _),
  relation(a10, _, c1, _),
  relation(a54, _, c6, _),
  relation(a98, _, c11, _),
  relation(a142, _, c1, _),
  relation(a186, _, c6, _),
  relation(a5, _, c12, _),
  relation(a49, _, c2, _),
  relation(a93, _, c7, _),
  relation(a137, _, c12, _),
  relation(a181, _, c2, _),
  relation(a0, _, c8, _),
  relation(a44, _, c13, _),
  relation(a88, _, c3, _),
  relation(a132, _, c8, _),
  relation(a176, _, c13, _),
  relation(a220, _, c3, _),
  relation(a39, _, c9, _),
  relation(a83, _, c14, _),
  relation(a127, _, c4, _),
  relation(a171, _, c9, _),
  relation(a215, _, c14, _),
  relation(a34, _, c5, _),
  relation(a78, _, c10, _),
  relation(a122, _, c0, _),
  relation(a166, _, c5, _),
  relation(a210, _, c10, _),
  relation(a29, _, c1, _),
  relation(a73, _, c6, _),
  relation(a117, _, c11, _),
  relation(a161, _, c1, _),
  relation(a205, _, c6, _),
  relation(a24, _, c12, _),
  relation(a68, _, c2, _),
  relation(a112, _, c7, _),
  relation(a156, _, c12, _),
  relation(a200, _, c2, _),
  relation(a19, _, c8, _),
  relation(a63, _, c13, _),
  relation(a107, _, c3, _),
  relation(a151, _, c8, _),
  relation(a195, _, c13, _),
  relation(a14, _, c4, _),
  relation(a58, _, c9, _),
  relation(a102, _, c14, _),
  relation(a146, _, c4, _),
  relation(a190, _, c9, _),
  relation(a9, _, c0, _),
  relation(a53, _, c5, _),
  relation(a97, _, c10, _),
  relation(a141, _, c0, _),
  relation(a185, _, c5, _),
  relation(a4, _, c11, _),
  relation(a48, _, c1, _),
  relation(a92, _, c6, _),
  relation(a136, _, c11, _),
  relation(a180, _, c1, _),
  relation(a224, _, c6, _),
  relation(a43, _, c12, _),
  relation(a87, _, c2, _),
  relation(a131, _, c7, _),
  relation(a175, _, c12, _),
  relation(a219, _, c2, _),
  relation(a38, _, c8, _),
  relation(a82, _, c13, _),
  relation(a126, _, c3, _),
  relation(a170, _, c8, _),
  relation(a214, _, c13, _),
  relation(a33, _, c4, _),
  relation(a77, _, c9, _),
  relation(a121, _, c14, _),
  relation(a165, _, c4, _),
  relation(a209, _, c9, _),
  relation(a28, _, c0, _),
  relation(a72, _, c5, _),
  relation(a116, _, c10, _),
  relation(a160, _, c0, _),
  relation(a204, _, c5, _),
  relation(a23, _, c11, _),
  relation(a67, _, c1, _),
  relation(a111, _, c6, _),
  relation(a155, _, c11, _),
  relation(a199, _, c1, _),
  relation(a18, _, c7, _),
  relation(a62, _, c12, _),
  relation(a106, _, c2, _),
  relation(a150, _, c7, _),
  relation(a194, _, c12, _),
  relation(a13, _, c3, _),
  relation(a57, _, c8, _),
  relation(a101, _, c13, _),
  relation(a145, _, c3, _),
  relation(a189, _, c8, _),
  relation(a8, _, c14, _),
  relation(a52, _, c4, _),
  relation(a96, _, c9, _),
  relation(a140, _, c14, _),
  relation(a184, _, c4, _),
  relation(a3, _, c10, _),
  relation(a47, _, c0, _),
  relation(a91, _, c5, _),
  relation(a135, _, c10, _),
  relation(a179, _, c0, _),
  relation(a223, _, c5, _),
  relation(a42, _, c11, _),
  relation(a86, _, c1, _),
  relation(a130, _, c6, _),
  relation(a174, _, c11, _),
  relation(a218, _, c1, _),
  relation(a37, _, c7, _),
  relation(a81, _, c12, _),
  relation(a125, _, c2, _),
  relation(a169, _, c7, _),
  relation(a213, _, c12, _),
  relation(a32, _, c3, _),
  relation(a76, _, c8, _),
  relation(a120, _, c13, _),
  relation(a164, _, c3, _),
  relation(a208, _, c8, _),
  relation(a27, _, c14, _),
  relation(a71, _, c4, _),
  relation(a115, _, c9, _),
  relation(a159, _, c14, _),
  relation(a203, _, c4, _),
  relation(a22, _, c10, _),
  relation(a66, _, c0, _),
  relation(a110, _, c5, _),
  relation(a154, _, c10, _),
  relation(a198, _, c0, _),
  relation(a17, _, c6, _),
  relation(a61, _, c11, _),
  relation(a105, _, c1, _),
  relation(a149, _, c6, _),
  relation(a193, _, c11, _),
  relation(a12, _, c2, _),
  relation(a56, _, c7, _),
  relation(a100, _, c12, _),
  relation(a144, _, c2, _),
  relation(a188, _, c7, _),
  relation(a7, _, c13, _),
  relation(a51, _, c3, _),
  relation(a95, _, c8, _),
  relation(a139, _, c13, _),
  relation(a183, _, c3, _),
  relation(a2, _, c9, _),
  relation(a46, _, c14, _),
  relation(a90, _, c4, _),
  relation(a134, _, c9, _),
  relation(a178, _, c14, _),
  relation(a222, _, c4, _),
  relation(a41, _, c10, _),
  relation(a85, _, c0, _),
  relation(a129, _, c5, _),
  relation(a173, _, c10, _),
  relation(a217, _, c0, _),
  relation(a36, _, c6, _),
  relation(a80, _, c11, _),
  relation(a124, _, c1, _),
  relation(a168, _, c6, _),
  relation(a212, _, c11, _),
  relation(a31, _, c2, _),
  relation(a75, _, c7, _),
  relation(a119, _, c12, _),
  relation(a163, _, c2, _),
  relation(a207, _, c7, _),
  relation(a26, _, c13, _),
  relation(a70, _, c3, _),
  relation(a114, _, c8, _),
  relation(a158, _, c13, _),
  relation(a202, _, c3, _),
  relation(a21, _, c9, _),
  relation(a65, _, c14, _),
  relation(a109, _, c4, _),
  relation(a153, _, c9, _),
  relation(a197, _, c14, _),
  relation(a16, _, c5, _),
  relation(a60, _, c10, _),
  relation(a104, _, c0, _),
  relation(a148, _, c5, _),
  relation(a192, _, c10, _),
  relation(a11, _, c1, _),
  relation(a55, _, c6, _),
  relation(a99, _, c11, _),
  relation(a143, _, c1, _),
  relation(a187, _, c6, _),
  relation(a6, _, c12, _),
  relation(a50, _, c2, _),
  relation(a94, _, c7, _),
  relation(a138, _, c12, _),
  relation(a182, _, c2, _),
  relation(a1, _, c8, _),
  relation(a45, _, c13, _),
  relation(a89, _, c3, _),
  relation(a133, _, c8, _),
  relation(a177, _, c13, _),
  relation(a221, _, c3, _),
  relation(a40, _, c9, _),
  relation(a84, _, c14, _),
  relation(a128, _, c4, _),
  relation(a172, _, c9, _),
  relation(a216, _, c14, _),
  relation(a35, _, c5, _),
  relation(a79, _, c10, _),
  relation(a123, _, c0, _),
  relation(a167, _, c5, _),
  relation(a211, _, c10, _),
  relation(a30, _, c1, _),
  relation(a74, _, c6, _),
  relation(a118, _, c11, _),
  relation(a162, _, c1, _),
  relation(a206, _, c6, _),
  relation(a25, _, c12, _),
  relation(a69, _, c2, _),
  relation(a113, _, c7, _),
  relation(a157, _, c12, _),
  relation(a201, _, c2, _),
  relation(a20, _, c8, _),
  relation(a64, _, c13, _),
  relation(a108, _, c3, _),
  relation(a152, _, c8, _),
  relation(a196, _, c13, _),
  relation(a15, _, c4, _),
  relation(a59, _, c9, _),
  relation(a103, _, c14, _),
  relation(a147, _, c4, _),
  relation(a191, _, c9, _),
  relation(a10, _, c0, _),
  relation(a54, _, c5, _),
  relation(a98, _, c10, _),
  relation(a142, _, c0, _),
  relation(a186, _, c5, _),
  relation(a5, _, c11, _),
  relation(a49, _, c1, _),
  relation(a93, _, c6, _),
  relation(a137, _, c11, _),
  relation(a181, _, c1, _),
  relation(a0, _, c7, _),
  relation(a44, _, c12, _),
  relation(a88, _, c2, _),
  relation(a132, _, c7, _),
  relation(a176, _, c12, _),
  relation(a220, _, c2, _),
  relation(a39, _, c8, _),
  relation(a83, _, c13, _),
  relation(a127, _, c3, _),
  relation(a171, _, c8, _),
  relation(a215, _, c13, _),
  relation(a34, _, c4, _),
  relation(a78, _, c9, _),
  relation(a122, _, c14, _),
  relation(a166, _, c4, _),
  relation(a210, _, c9, _),
  relation(a29, _, c0, _),
  relation(a73, _, c5, _),
  relation(a117, _, c10, _),
  relation(a161, _, c0, _),
  relation(a205, _, c5, _),
  relation(a24, _, c11, _),
  relation(a68, _, c1, _),
  relation(a112, _, c6, _),
  relation(a156, _, c11, _),
  relation(a200, _, c1, _),
  relation(a19, _, c7, _),
  relation(a63, _, c12, _),
  relation(a107, _, c2, _),
  relation(a151, _, c7, _),
  relation(a195, _, c12, _),
  relation(a14, _, c3, _),
  relation(a58, _, c8, _),
  relation(a102, _, c13, _),
  relation(a146, _, c3, _),
  relation(a190, _, c8, _),
  relation(a9, _, c14, _),
  relation(a53, _, c4, _),
  relation(a97, _, c9, _),
  relation(a141, _, c14, _),
  relation(a185, _, c4, _),
  relation(a4, _, c10, _),
  relation(a48, _, c0, _),
  relation(a92, _, c5, _),
  relation(a136, _, c10, _),
  relation(a180, _, c0, _),
  relation(a224, _, c5, _),
  relation(a43, _, c11, _),
  relation(a87, _, c1, _),
  relation(a131, _, c6, _),
  relation(a175, _, c11, _),
  relation(a219, _, c1, _),
  relation(a38, _, c7, _),
  relation(a82, _, c12, _),
  relation(a126, _, c2, _),
  relation(a170, _, c7, _),
  relation(a214, _, c12, _),
  relation(a33, _, c3, _),
  relation(a77, _, c8, _),
  relation(a121, _, c13, _),
  relation(a165, _, c3, _),
  relation(a209, _, c8, _),
  relation(a28, _, c14, _),
  relation(a72, _, c4, _),
  relation(a116, _, c9, _),
  relation(a160, _, c14, _),
  relation(a204, _, c4, _),
  relation(a23, _, c10, _),
  relation(a67, _, c0, _),
  relation(a111, _, c5, _),
  relation(a155, _, c10, _),
  relation(a199, _, c0, _),
  relation(a18, _, c6, _),
  relation(a62, _, c11, _),
  relation(a106, _, c1, _),
  relation(a150, _, c6, _),
  relation(a194, _, c11, _),
  relation(a13, _, c2, _),
  relation(a57, _, c7, _),
  relation(a101, _, c12, _),
  relation(a145, _, c2, _),
  relation(a189, _, c7, _),
  relation(a8, _, c13, _),
  relation(a52, _, c3, _),
  relation(a96, _, c8, _),
  relation(a140, _, c13, _),
  relation(a184, _, c3, _),
  relation(a3, _, c9, _),
  relation(a47, _, c14, _),
  relation(a91, _, c4, _),
  relation(a135, _, c9, _),
  relation(a179, _, c14, _),
  relation(a223, _, c4, _),
  relation(a42, _, c10, _),
  relation(a86, _, c0, _),
  relation(a130, _, c5, _),
  relation(a174, _, c10, _),
  relation(a218, _, c0, _),
  relation(a37, _, c6, _),
  relation(a81, _, c11, _),
  relation(a125, _, c1, _),
  relation(a169, _, c6, _),
  relation(a213, _, c11, _),
  relation(a32, _, c2, _),
  relation(a76, _, c7, _),
  relation(a120, _, c12, _),
  relation(a164, _, c2, _),
  relation(a208, _, c7, _),
  relation(a27, _, c13, _),
  relation(a71, _, c3, _),
  relation(a115, _, c8, _),
  relation(a159, _, c13, _),
  relation(a203, _, c3, _),
  relation(a22, _, c9, _),
  relation(a66, _, c14, _),
  relation(a110, _, c4, _),
  relation(a154, _, c9, _),
  relation(a198, _, c14, _),
  relation(a17, _, c5, _),
  relation(a61, _, c10, _),
  relation(a105, _, c0, _),
  relation(a149, _, c5, _),
  relation(a193, _, c10, _),
  relation(a12, _, c1, _),
  relation(a56, _, c6, _),
  relation(a100, _, c11, _),
  relation(a144, _, c1, _),
  relation(a188, _, c6, _),
  relation(a7, _, c12, _),
  relation(a51, _, c2, _),
  relation(a95, _, c7, _),
  relation(a139, _, c12, _),
  relation(a183, _, c2, _),
  relation(a2, _, c8, _),
  relation(a46, _, c13, _),
  relation(a90, _, c3, _),
  relation(a134, _, c8, _),
  relation(a178, _, c13, _),
  relation(a222, _, c3, _),
  relation(a41, _, c9, _),
  relation(a85, _, c14, _),
  relation(a129, _, c4, _),
  relation(a173, _, c9, _),
  relation(a217, _, c14, _),
  relation(a36, _, c5, _),
  relation(a80, _, c10, _),
  relation(a124, _, c0, _),
  relation(a168, _, c5, _),
  relation(a212, _, c10, _),
  relation(a31, _, c1, _),
  relation(a75, _, c6, _),
  relation(a119, _, c11, _),
  relation(a163, _, c1, _),
  relation(a207, _, c6, _),
  relation(a26, _, c12, _),
  relation(a70, _, c2, _),
  relation(a114, _, c7, _),
  relation(a158, _, c12, _),
  relation(a202, _, c2, _),
  relation(a21, _, c8, _),
  relation(a65, _, c13, _),
  relation(a109, _, c3, _),
  relation(a153, _, c8, _),
  relation(a197, _, c13, _),
  relation(a16, _, c4, _),
  relation(a60, _, c9, _),
  relation(a104, _, c14, _),
  relation(a148, _, c4, _),
  relation(a192, _, c9, _),
  relation(a11, _, c0, _),
  relation(a55, _, c5, _),
  relation(a99, _, c10, _),
  relation(a143, _, c0, _),
  relation(a187, _, c5, _),
  relation(a6, _, c11, _),
  relation(a50, _, c1, _),
  relation(a94, _, c6, _),
  relation(a138, _, c11, _),
  relation(a182, _, c1, _),
  relation(a1, _, c7, _),
  relation(a45, _, c12, _),
  relation(a89, _, c2, _),
  relation(a133, _, c7, _),
  relation(a177, _, c12, _),
  relation(a221, _, c2, _),
  relation(a40, _, c8, _),
  relation(a84, _, c13, _),
  relation(a128, _, c3, _),
  relation(a172, _, c8, _),
  relation(a216, _, c13, _),
  relation(a35, _, c4, _),
  relation(a79, _, c9, _),
  relation(a123, _, c14, _),
  relation(a167, _, c4, _),
  relation(a211, _, c9, _),
  relation(a30, _, c0, _),
  relation(a74, _, c5, _),
  relation(a118, _, c10, _),
  relation(a162, _, c0, _),
  relation(a206, _, c5, _).

reason(case, "2000 two-key lookups over 3375 facts") :-
  lookupResult(case, passed).