never { accept_init: s0_init: if :: (p) && (q) && !(r) -> goto s2 :: (p) && (q) && (r) -> goto s1 :: !(p) -> goto accept_s4 :: (p) && !(q) -> goto accept_s3 fi; s1: if :: !(p) && !(q) && (s) -> goto accept_s3 :: !(p) && !(q) && !(s) -> goto s1 :: (p) && !(q) && (s) -> goto accept_s19 :: (p) && !(q) && !(s) -> goto s18 :: !(p) && (q) && !(r) && (s) -> goto accept_s24 :: !(p) && (q) && !(r) && !(s) -> goto s25 :: !(p) && (q) && (r) && (s) -> goto accept_s23 :: !(p) && (q) && (r) && !(s) -> goto s1 :: (p) && (q) && !(r) && (s) -> goto accept_s21 :: (p) && (q) && !(r) && !(s) -> goto s22 :: (p) && (q) && (r) && (s) -> goto accept_s20 :: (p) && (q) && (r) && !(s) -> goto s18 fi; s2: if :: (1) -> goto s2 fi; s5: if :: !(p) && (q) && !(r) && !(s) -> goto s34 :: !(p) && (q) && !(r) && (s) -> goto s9 :: (p) && (q) && !(r) && !(s) -> goto s33 :: (p) && (q) && !(r) && (s) -> goto s2 :: (p) && !(q) && (s) -> goto s8 :: !(p) && (q) && (r) -> goto s1 :: !(p) && !(q) && !(s) -> goto s1 :: !(p) && !(q) && (s) -> goto accept_s3 :: (p) && (q) && (r) -> goto s7 :: (p) && !(q) && !(s) -> goto s7 fi; s6: if :: !(p) && (q) && (r) -> goto s1 :: (p) && (q) && !(r) -> goto s2 :: !(p) && !(q) -> goto accept_s3 :: (p) && (q) && (r) -> goto s7 :: (p) && !(q) -> goto s8 :: !(p) && (q) && !(r) -> goto s9 fi; s7: if :: (p) && !(q) && !(s) -> goto s18 :: (p) && (q) && (r) -> goto s18 :: !(p) && !(q) && (s) -> goto accept_s3 :: !(p) && !(q) && !(s) -> goto s1 :: (p) && !(q) && (s) -> goto accept_s19 :: (p) && (q) && !(r) && !(s) -> goto s33 :: (p) && (q) && !(r) && (s) -> goto s2 :: !(p) && (q) && (r) -> goto s1 :: !(p) && (q) && !(r) && !(s) -> goto s34 :: !(p) && (q) && !(r) && (s) -> goto s9 fi; s8: if :: (p) && !(q) -> goto accept_s19 :: (p) && (q) && (r) -> goto s18 :: !(p) && (q) && !(r) -> goto s9 :: !(p) && !(q) -> goto accept_s3 :: (p) && (q) && !(r) -> goto s2 :: !(p) && (q) && (r) -> goto s1 fi; s9: if :: (p) && (q) && !(r) -> goto s2 :: (p) && !(q) -> goto s11 :: (p) && (q) && (r) -> goto s10 :: !(p) -> goto s9 fi; s10: if :: (p) && (q) && (r) -> goto s12 :: !(p) && (q) && !(r) && (s) -> goto s9 :: !(p) && (q) && !(r) && !(s) -> goto s17 :: !(p) && (q) && (r) -> goto s14 :: (p) && (q) && !(r) && (s) -> goto s2 :: !(p) && !(q) && !(s) -> goto s14 :: (p) && (q) && !(r) && !(s) -> goto s16 :: (p) && !(q) && !(s) -> goto s12 :: (p) && !(q) && (s) -> goto s13 :: !(p) && !(q) && (s) -> goto s15 fi; s11: if :: !(p) && !(q) -> goto s15 :: (p) && !(q) -> goto s13 :: !(p) && (q) && (r) -> goto s14 :: !(p) && (q) && !(r) -> goto s9 :: (p) && (q) && (r) -> goto s12 :: (p) && (q) && !(r) -> goto s2 fi; s12: if :: !(p) && (q) && !(r) && !(s) -> goto s17 :: !(p) && (q) && !(r) && (s) -> goto s9 :: (p) && (q) && !(r) && !(s) -> goto s16 :: (p) && (q) && !(r) && (s) -> goto s2 :: (p) && (q) && (r) -> goto s12 :: !(p) && (q) && (r) -> goto s14 :: !(p) && !(q) && !(s) -> goto s14 :: !(p) && !(q) && (s) -> goto s15 :: (p) && !(q) && !(s) -> goto s12 :: (p) && !(q) && (s) -> goto s13 fi; s13: if :: !(p) && !(q) -> goto s15 :: (p) && !(q) -> goto s13 :: !(p) && (q) && (r) -> goto s14 :: !(p) && (q) && !(r) -> goto s9 :: (p) && (q) && (r) -> goto s12 :: (p) && (q) && !(r) -> goto s2 fi; s14: if :: (p) && (q) && !(r) && (s) -> goto s2 :: (p) && (q) && !(r) && !(s) -> goto s16 :: !(p) && (q) && !(r) && (s) -> goto s9 :: !(p) && (q) && !(r) && !(s) -> goto s17 :: (p) && (q) && (r) -> goto s12 :: !(p) && !(q) && (s) -> goto s15 :: !(p) && (q) && (r) -> goto s14 :: !(p) && !(q) && !(s) -> goto s14 :: (p) && !(q) && !(s) -> goto s12 :: (p) && !(q) && (s) -> goto s13 fi; s15: if :: !(p) && !(q) -> goto s15 :: !(p) && (q) && (r) -> goto s14 :: (p) && !(q) -> goto s13 :: !(p) && (q) && !(r) -> goto s9 :: (p) && (q) && (r) -> goto s12 :: (p) && (q) && !(r) -> goto s2 fi; s16: if :: !(s) -> goto s16 :: (s) -> goto s2 fi; s17: if :: (p) && !(q) && !(s) -> goto s10 :: (p) && (q) && (r) -> goto s10 :: !(p) && (s) -> goto s9 :: !(p) && !(s) -> goto s17 :: (p) && !(q) && (s) -> goto s11 :: (p) && (q) && !(r) && !(s) -> goto s16 :: (p) && (q) && !(r) && (s) -> goto s2 fi; s18: if :: !(p) && (q) && !(r) && !(s) -> goto s25 :: !(p) && (q) && !(r) && (s) -> goto accept_s24 :: !(p) && (q) && (r) && !(s) -> goto s1 :: !(p) && (q) && (r) && (s) -> goto accept_s23 :: (p) && !(q) && (s) -> goto accept_s19 :: (p) && !(q) && !(s) -> goto s18 :: !(p) && !(q) && (s) -> goto accept_s3 :: (p) && (q) && !(r) && !(s) -> goto s22 :: !(p) && !(q) && !(s) -> goto s1 :: (p) && (q) && !(r) && (s) -> goto accept_s21 :: (p) && (q) && (r) && !(s) -> goto s18 :: (p) && (q) && (r) && (s) -> goto accept_s20 fi; s22: if :: !(s) -> goto s22 :: (s) -> goto accept_s21 fi; s25: if :: !(p) && (s) -> goto accept_s24 :: (p) && !(q) && !(s) -> goto s27 :: !(p) && !(s) -> goto s25 :: (p) && !(q) && (s) -> goto accept_s28 :: (p) && (q) && !(r) && (s) -> goto accept_s21 :: (p) && (q) && !(r) && !(s) -> goto s22 :: (p) && (q) && (r) && (s) -> goto accept_s26 :: (p) && (q) && (r) && !(s) -> goto s27 fi; s27: if :: (p) && !(q) && (s) -> goto accept_s38 :: !(p) && (q) && !(r) && !(s) -> goto s25 :: !(p) && !(q) && !(s) -> goto s40 :: !(p) && (q) && !(r) && (s) -> goto accept_s24 :: !(p) && (q) && (r) && !(s) -> goto s40 :: (p) && !(q) && !(s) -> goto s37 :: !(p) && (q) && (r) && (s) -> goto accept_s39 :: !(p) && !(q) && (s) -> goto accept_s41 :: (p) && (q) && !(r) && !(s) -> goto s22 :: (p) && (q) && !(r) && (s) -> goto accept_s21 :: (p) && (q) && (r) && !(s) -> goto s37 :: (p) && (q) && (r) && (s) -> goto accept_s36 fi; s29: if :: (p) && !(q) && !(s) -> goto s32 :: (p) && (q) && !(r) && !(s) -> goto s33 :: (p) && (q) && !(r) && (s) -> goto s2 :: !(p) && (q) && !(r) && !(s) -> goto s34 :: !(p) && (q) && !(r) && (s) -> goto s9 :: (p) && !(q) && (s) -> goto s13 :: !(p) && !(q) && !(s) -> goto s31 :: (p) && (q) && (r) -> goto s32 :: !(p) && !(q) && (s) -> goto s15 :: !(p) && (q) && (r) -> goto s31 fi; s30: if :: (p) && !(q) -> goto s13 :: !(p) && (q) && !(r) -> goto s9 :: (p) && (q) && !(r) -> goto s2 :: (p) && (q) && (r) -> goto s32 :: !(p) && (q) && (r) -> goto s31 :: !(p) && !(q) -> goto s15 fi; s31: if :: (p) && (q) && !(r) && !(s) -> goto s33 :: (p) && (q) && !(r) && (s) -> goto s2 :: (p) && (q) && (r) && !(s) -> goto s32 :: (p) && (q) && (r) && (s) -> goto s12 :: (p) && !(q) && (s) -> goto s13 :: !(p) && (q) && !(r) && !(s) -> goto s34 :: (p) && !(q) && !(s) -> goto s32 :: !(p) && (q) && !(r) && (s) -> goto s9 :: !(p) && !(q) && !(s) -> goto s31 :: !(p) && (q) && (r) && !(s) -> goto s31 :: !(p) && !(q) && (s) -> goto s15 :: !(p) && (q) && (r) && (s) -> goto s14 fi; s32: if :: (p) && (q) && !(r) && !(s) -> goto s33 :: (p) && (q) && !(r) && (s) -> goto s2 :: (p) && (q) && (r) && !(s) -> goto s32 :: (p) && (q) && (r) && (s) -> goto s12 :: (p) && !(q) && (s) -> goto s13 :: !(p) && (q) && !(r) && !(s) -> goto s34 :: (p) && !(q) && !(s) -> goto s32 :: !(p) && (q) && !(r) && (s) -> goto s9 :: !(p) && !(q) && !(s) -> goto s31 :: !(p) && (q) && (r) && !(s) -> goto s31 :: !(p) && !(q) && (s) -> goto s15 :: !(p) && (q) && (r) && (s) -> goto s14 fi; s33: if :: (s) -> goto s2 :: !(s) -> goto s33 fi; s34: if :: (p) && (q) && (r) && (s) -> goto s10 :: !(p) && (s) -> goto s9 :: (p) && (q) && (r) && !(s) -> goto s35 :: (p) && !(q) && (s) -> goto s11 :: (p) && (q) && !(r) && (s) -> goto s2 :: !(p) && !(s) -> goto s34 :: (p) && (q) && !(r) && !(s) -> goto s33 :: (p) && !(q) && !(s) -> goto s35 fi; s35: if :: (p) && (q) && (r) && !(s) -> goto s32 :: (p) && (q) && (r) && (s) -> goto s12 :: (p) && (q) && !(r) && !(s) -> goto s33 :: (p) && (q) && !(r) && (s) -> goto s2 :: !(p) && (q) && (r) && !(s) -> goto s31 :: !(p) && (q) && (r) && (s) -> goto s14 :: !(p) && (q) && !(r) && !(s) -> goto s34 :: !(p) && (q) && !(r) && (s) -> goto s9 :: (p) && !(q) && (s) -> goto s13 :: !(p) && !(q) && (s) -> goto s15 :: !(p) && !(q) && !(s) -> goto s31 :: (p) && !(q) && !(s) -> goto s32 fi; s37: if :: !(p) && !(q) && !(s) -> goto s40 :: (p) && !(q) && (s) -> goto accept_s38 :: !(p) && !(q) && (s) -> goto accept_s41 :: !(p) && (q) && !(r) && (s) -> goto accept_s24 :: !(p) && (q) && !(r) && !(s) -> goto s25 :: !(p) && (q) && (r) && (s) -> goto accept_s39 :: !(p) && (q) && (r) && !(s) -> goto s40 :: (p) && (q) && !(r) && (s) -> goto accept_s21 :: (p) && (q) && !(r) && !(s) -> goto s22 :: (p) && (q) && (r) && (s) -> goto accept_s36 :: (p) && (q) && (r) && !(s) -> goto s37 :: (p) && !(q) && !(s) -> goto s37 fi; s40: if :: (p) && !(q) && !(s) -> goto s37 :: !(p) && (q) && (r) && !(s) -> goto s40 :: !(p) && (q) && (r) && (s) -> goto accept_s39 :: !(p) && (q) && !(r) && !(s) -> goto s25 :: !(p) && (q) && !(r) && (s) -> goto accept_s24 :: (p) && (q) && (r) && !(s) -> goto s37 :: (p) && (q) && (r) && (s) -> goto accept_s36 :: (p) && (q) && !(r) && !(s) -> goto s22 :: (p) && (q) && !(r) && (s) -> goto accept_s21 :: !(p) && !(q) && (s) -> goto accept_s41 :: !(p) && !(q) && !(s) -> goto s40 :: (p) && !(q) && (s) -> goto accept_s38 fi; s42: if :: (p) && (q) && !(r) && (s) -> goto s2 :: (p) && (q) && !(r) && !(s) -> goto s33 :: !(p) && (q) && !(r) && (s) -> goto s9 :: !(p) && (q) && !(r) && !(s) -> goto s34 :: (p) && !(q) && !(s) -> goto s32 :: (p) && (q) && (r) -> goto s32 :: !(p) && !(q) && !(s) -> goto s31 :: !(p) && (q) && (r) -> goto s31 :: !(p) && !(q) && (s) -> goto s15 :: (p) && !(q) && (s) -> goto s13 fi; s43: if :: (p) && (q) && (r) -> goto s32 :: !(p) && !(q) -> goto s15 :: !(p) && (q) && (r) -> goto s31 :: !(p) && (q) && !(r) -> goto s9 :: (p) && !(q) -> goto s13 :: (p) && (q) && !(r) -> goto s2 fi; accept_s3: if :: !(p) && (q) && (r) -> goto s1 :: !(p) && !(q) -> goto accept_s3 :: (p) && (q) && !(r) -> goto s2 :: (p) && !(q) -> goto s8 :: (p) && (q) && (r) -> goto s7 :: !(p) && (q) && !(r) -> goto s9 fi; accept_s4: if :: (p) && (q) && !(r) -> goto s2 :: !(p) -> goto accept_s4 :: (p) && (q) && (r) -> goto s5 :: (p) && !(q) -> goto s6 fi; accept_s19: if :: (p) && (q) && !(r) -> goto s2 :: !(p) && (q) && (r) -> goto s1 :: !(p) && !(q) -> goto accept_s3 :: (p) && (q) && (r) -> goto s7 :: (p) && !(q) -> goto s8 :: !(p) && (q) && !(r) -> goto s9 fi; accept_s20: if :: (p) && (q) && !(r) && (s) -> goto s2 :: (p) && (q) && !(r) && !(s) -> goto s33 :: !(p) && (q) && !(r) && (s) -> goto s9 :: !(p) && (q) && !(r) && !(s) -> goto s34 :: !(p) && (q) && (r) -> goto s1 :: !(p) && !(q) && !(s) -> goto s1 :: !(p) && !(q) && (s) -> goto accept_s3 :: (p) && (q) && (r) -> goto s7 :: (p) && !(q) && !(s) -> goto s7 :: (p) && !(q) && (s) -> goto s8 fi; accept_s21: if :: (1) -> goto s2 fi; accept_s23: if :: (p) && !(q) && !(s) -> goto s7 :: (p) && (q) && (r) -> goto s7 :: (p) && !(q) && (s) -> goto s8 :: (p) && (q) && !(r) && !(s) -> goto s33 :: (p) && (q) && !(r) && (s) -> goto s2 :: !(p) && (q) && (r) -> goto s1 :: !(p) && !(q) && !(s) -> goto s1 :: !(p) && !(q) && (s) -> goto accept_s3 :: !(p) && (q) && !(r) && !(s) -> goto s34 :: !(p) && (q) && !(r) && (s) -> goto s9 fi; accept_s24: if :: (p) && (q) && (r) -> goto s42 :: !(p) -> goto s9 :: (p) && !(q) -> goto s43 :: (p) && (q) && !(r) -> goto s2 fi; accept_s26: if :: !(p) && (q) && !(r) && (s) -> goto s9 :: !(p) && (q) && !(r) && !(s) -> goto s34 :: (p) && !(q) && !(s) -> goto s29 :: (p) && (q) && (r) -> goto s29 :: !(p) && (q) && (r) -> goto s31 :: (p) && !(q) && (s) -> goto s30 :: !(p) && !(q) && (s) -> goto s15 :: (p) && (q) && !(r) && (s) -> goto s2 :: (p) && (q) && !(r) && !(s) -> goto s33 :: !(p) && !(q) && !(s) -> goto s31 fi; accept_s28: if :: !(p) && (q) && !(r) -> goto s9 :: !(p) && !(q) -> goto s15 :: (p) && (q) && !(r) -> goto s2 :: !(p) && (q) && (r) -> goto s31 :: (p) && (q) && (r) -> goto s29 :: (p) && !(q) -> goto s30 fi; accept_s36: if :: !(p) && (q) && !(r) && !(s) -> goto s34 :: !(p) && (q) && !(r) && (s) -> goto s9 :: !(p) && !(q) && (s) -> goto s15 :: (p) && (q) && (r) -> goto s29 :: (p) && !(q) && !(s) -> goto s29 :: (p) && !(q) && (s) -> goto s30 :: !(p) && (q) && (r) -> goto s31 :: !(p) && !(q) && !(s) -> goto s31 :: (p) && (q) && !(r) && !(s) -> goto s33 :: (p) && (q) && !(r) && (s) -> goto s2 fi; accept_s38: if :: (p) && (q) && !(r) -> goto s2 :: !(p) && !(q) -> goto s15 :: !(p) && (q) && !(r) -> goto s9 :: (p) && !(q) -> goto s30 :: (p) && (q) && (r) -> goto s29 :: !(p) && (q) && (r) -> goto s31 fi; accept_s39: if :: !(p) && (q) && !(r) && (s) -> goto s9 :: !(p) && (q) && !(r) && !(s) -> goto s34 :: !(p) && !(q) && (s) -> goto s15 :: (p) && !(q) && !(s) -> goto s29 :: (p) && (q) && !(r) && (s) -> goto s2 :: (p) && (q) && (r) -> goto s29 :: (p) && (q) && !(r) && !(s) -> goto s33 :: !(p) && (q) && (r) -> goto s31 :: (p) && !(q) && (s) -> goto s30 :: !(p) && !(q) && !(s) -> goto s31 fi; accept_s41: if :: !(p) && (q) && (r) -> goto s31 :: (p) && !(q) -> goto s30 :: (p) && (q) && (r) -> goto s29 :: !(p) && !(q) -> goto s15 :: !(p) && (q) && !(r) -> goto s9 :: (p) && (q) && !(r) -> goto s2 fi; }