!0 !1 !(-129) 4 && 5 4 && 0 0 && 5 4 && 5 && 7 4 && 0 && 7 0 && 5 && 7 4 && 5 && 0 0 && 0 && 7 4 && 0 && 0 0 && 5 && 0 !4 && 5 !4 && 0 !0 && 5 4 && !5 4 && !0 0 && !5 !4 && 5 && 7 !4 && 0 && 7 !0 && 5 && 7 !4 && 5 && 0 !0 && 0 && 7 !4 && 0 && 0 !0 && 5 && 0 4 && !5 && 7 4 && !0 && 7 0 && !5 && 7 4 && !5 && 0 0 && !0 && 7 4 && !0 && 0 0 && !5 && 0 4 && 5 && !7 4 && 0 && !7 0 && 5 && !7 4 && 5 && !0 0 && 0 && !7 4 && 0 && !0 0 && 5 && !0 !4 && !5 && 7 !4 && !0 && 7 !0 && !5 && 7 !4 && !5 && 0 !0 && !0 && 7 !4 && !0 && 0 !0 && !5 && 0 !4 && 5 && !7 !4 && 0 && !7 !0 && 5 && !7 !4 && 5 && !0 !0 && 0 && !7 !4 && 0 && !0 !0 && 5 && !0 4 && !5 && !7 4 && !0 && !7 0 && !5 && !7 4 && !5 && !0 0 && !0 && !7 4 && !0 && !0 0 && !5 && !0 !4 && !5 && !7 !4 && !0 && !7 !0 && !5 && !7 !4 && !5 && !0 !0 && !0 && !7 !4 && !0 && !0 !0 && !5 && !0 3 < 4 && 7 3 && 4 >= 4 3 > 4 && 7 3 && 4 >= 5 3 < 4 && 0 0 && 4 >= 4 3 > 4 && 0 0 && 4 >= 5 3 > 4 && 0 0 && 4 < 4 3 >= 4 && 0 0 && 4 >= 5 3 < 4 && 7 3 && 4 >= 4 3 > 4 && 7 > 4 3 >= 2 && 4 >= 5 3 < 4 && 0 > -1 4 < 3 && 4 >= 4 3 > 4 && 3 == 3 3 != 3 && 4 >= 5 3 > 4 && 0 > 1 0 >= 0 && 4 < 4 3 >= 4 && 0 >= 1 0 <= -1 && 4 >= 5 4 || 5 4 || 0 0 || 5 4 || 5 || 7 4 || 0 || 7 0 || 5 || 7 4 || 5 || 0 0 || 0 || 7 4 || 0 || 0 0 || 5 || 0 !4 || 5 !4 || 0 !0 || 5 4 || !5 4 || !0 0 || !5 !4 || 5 || 7 !4 || 0 || 7 !0 || 5 || 7 !4 || 5 || 0 !0 || 0 || 7 !4 || 0 || 0 !0 || 5 || 0 4 || !5 || 7 4 || !0 || 7 0 || !5 || 7 4 || !5 || 0 0 || !0 || 7 4 || !0 || 0 0 || !5 || 0 4 || 5 || !7 4 || 0 || !7 0 || 5 || !7 4 || 5 || !0 0 || 0 || !7 4 || 0 || !0 0 || 5 || !0 !4 || !5 || 7 !4 || !0 || 7 !0 || !5 || 7 !4 || !5 || 0 !0 || !0 || 7 !4 || !0 || 0 !0 || !5 || 0 !4 || 5 || !7 !4 || 0 || !7 !0 || 5 || !7 !4 || 5 || !0 !0 || 0 || !7 !4 || 0 || !0 !0 || 5 || !0 4 || !5 || !7 4 || !0 || !7 0 || !5 || !7 4 || !5 || !0 0 || !0 || !7 4 || !0 || !0 0 || !5 || !0 !4 || !5 || !7 !4 || !0 || !7 !0 || !5 || !7 !4 || !5 || !0 !0 || !0 || !7 !4 || !0 || !0 !0 || !5 || !0 3 < 4 || 7 3 || 4 >= 4 3 > 4 || 7 3 || 4 >= 5 3 < 4 || 0 0 || 4 >= 4 3 > 4 || 0 0 || 4 >= 5 3 > 4 || 0 0 || 4 < 4 3 >= 4 || 0 0 || 4 >= 5 3 < 4 || 7 3 || 4 >= 4 3 > 4 || 7 > 4 3 >= 2 || 4 >= 5 3 < 4 || 0 > -1 4 < 3 || 4 >= 4 3 > 4 || 3 == 3 3 != 3 || 4 >= 5 3 > 4 || 0 > 1 0 >= 0 || 4 < 4 3 >= 4 || 0 >= 1 0 <= -1 || 4 >= 5