never { accept_init: s0_init: if :: (p) && (q) && (r) && !(s) -> goto s2 :: (p) && !(q) -> goto s3 :: (p) && (q) && (r) && (s) -> goto s1 :: (p) && (q) && !(r) -> goto s1 :: !(p) -> goto s4 fi; s1: if :: (q) && (r) && (s) -> goto s9 :: (q) && !(r) -> goto s9 :: !(q) -> goto s5 :: !(p) && (q) && (r) && !(s) -> goto s53 :: (p) && (q) && (r) && !(s) -> goto s64 fi; s2: if :: !(p) && (q) && !(r) && !(s) && !(t) -> goto s30 :: !(p) && (q) && !(r) && (t) -> goto s11 :: !(p) && (q) && (r) && !(s) && !(t) -> goto s10 :: !(p) && (q) && (r) && !(s) && (t) -> goto s12 :: !(p) && (q) && (r) && (s) && (t) -> goto s11 :: (p) && (q) && !(r) && !(s) && (t) -> goto s9 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s29 :: !(q) && (s) && !(t) -> goto s5 :: !(q) && !(s) && !(t) -> goto s6 :: !(p) && (q) && (s) && !(t) -> goto s9 :: (p) && (q) && (r) && !(s) -> goto s10 :: !(q) && (t) -> goto accept_s7 :: (p) && (q) && (s) -> goto s9 fi; s3: if :: (p) && (q) && !(r) -> goto s9 :: (p) && (q) && (r) && (s) -> goto s9 :: !(q) -> goto accept_s7 :: !(p) && (q) && (r) && !(s) -> goto s12 :: !(p) && (q) && !(r) -> goto s11 :: !(p) && (q) && (r) && (s) -> goto s11 :: (p) && (q) && (r) && !(s) -> goto s10 fi; s4: if :: (p) && !(q) -> goto accept_s7 :: (p) && (q) && (r) && !(s) -> goto s6 :: (p) && (q) && !(r) -> goto s5 :: (p) && (q) && (r) && (s) -> goto s5 :: !(p) -> goto accept_s8 fi; s5: if :: !(q) -> goto s11 :: !(p) && (q) && !(r) -> goto s11 :: !(p) && (q) && (r) && (s) -> goto s11 :: (p) && (q) && !(r) -> goto s21 :: (p) && (q) && (r) && (s) -> goto s21 :: !(p) && (q) && (r) && !(s) -> goto s40 :: (p) && (q) && (r) && !(s) -> goto s37 fi; s6: if :: (p) && (q) && (r) && !(s) && !(t) -> goto s75 :: (p) && (q) && (r) && !(s) && (t) -> goto accept_s15 :: (p) && (q) && (r) && (s) && (t) -> goto accept_s13 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s24 :: !(p) && (q) && (r) && !(s) && (t) -> goto accept_s19 :: !(p) && (q) && (r) && !(s) && !(t) -> goto s12 :: !(p) && (q) && (r) && (s) && (t) -> goto accept_s18 :: !(p) && (q) && !(r) && !(s) && !(t) -> goto s81 :: !(p) && (q) && !(r) && (t) -> goto accept_s18 :: (p) && (q) && !(r) && (t) -> goto accept_s13 :: (p) && (q) && (s) && !(t) -> goto s21 :: (p) && !(q) && (s) && !(t) -> goto s11 :: !(q) && (t) -> goto accept_s7 :: !(q) && !(s) && !(t) -> goto s12 :: !(p) && (s) && !(t) -> goto s11 fi; s9: if :: !(q) -> goto s9 :: !(r) -> goto s9 :: (p) && (q) && (r) && !(s) -> goto s58 :: !(p) && (q) && (r) && !(s) -> goto s61 :: (s) -> goto s9 fi; s10: if :: !(p) && (q) && !(r) && (t) -> goto accept_s18 :: (p) && (q) && !(r) && (t) -> goto accept_s13 :: !(q) && (t) -> goto accept_s7 :: (s) && !(t) -> goto s9 :: (q) && (r) && !(s) && !(t) -> goto s10 :: !(q) && !(s) && !(t) -> goto s10 :: !(p) && (q) && !(r) && !(s) && !(t) -> goto s79 :: !(p) && (q) && (r) && !(s) && (t) -> goto accept_s19 :: !(p) && (q) && (r) && (s) && (t) -> goto accept_s18 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s78 :: (p) && (q) && (r) && !(s) && (t) -> goto accept_s15 :: (p) && (q) && (r) && (s) && (t) -> goto accept_s13 fi; s11: if :: !(p) && (q) && (r) && !(s) -> goto s36 :: (p) && (q) && (r) && !(s) -> goto s32 :: (q) && !(r) -> goto s14 :: (q) && (r) && (s) -> goto s14 :: !(q) -> goto s5 fi; s12: if :: (p) && (q) && (r) && (s) && (t) -> goto accept_s13 :: (p) && (q) && (r) && !(s) && (t) -> goto accept_s15 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s17 :: !(p) && (q) && !(r) && (t) -> goto accept_s18 :: (q) && (r) && !(s) && !(t) -> goto s16 :: (q) && (s) && !(t) -> goto s14 :: (p) && (q) && !(r) && (t) -> goto accept_s13 :: !(q) && (t) -> goto accept_s7 :: !(q) && !(s) && !(t) -> goto s6 :: !(q) && (s) && !(t) -> goto s5 :: !(p) && (q) && (r) && (s) && (t) -> goto accept_s18 :: !(p) && (q) && (r) && !(s) && (t) -> goto accept_s19 :: !(p) && (q) && !(r) && !(s) && !(t) -> goto s20 fi; s14: if :: !(p) && (q) && (r) && !(s) -> goto s43 :: (p) && (q) && (r) && !(s) -> goto s46 :: !(q) -> goto s21 :: !(r) -> goto s21 :: (s) -> goto s21 fi; s16: if :: !(p) && (q) && (r) && (s) && (t) -> goto accept_s18 :: !(q) && (t) -> goto accept_s7 :: !(p) && (q) && (r) && !(s) && (t) -> goto accept_s19 :: !(p) && (q) && !(r) && !(s) && !(t) -> goto s76 :: (p) && (q) && (r) && (s) && (t) -> goto accept_s13 :: (p) && (q) && (r) && !(s) && (t) -> goto accept_s15 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s70 :: !(p) && (q) && !(r) && (t) -> goto accept_s18 :: (p) && (q) && !(r) && (t) -> goto accept_s13 :: (q) && (r) && !(s) && !(t) -> goto s75 :: (s) && !(t) -> goto s21 :: !(q) && !(s) && !(t) -> goto s75 fi; s17: if :: !(p) && (q) && (r) && !(s) && (t) -> goto accept_s73 :: (p) && !(q) && !(s) && !(t) -> goto s24 :: (p) && (q) && (r) && !(s) && !(t) -> goto s70 :: (s) && !(t) -> goto s21 :: (p) && (q) && (r) && !(s) && (t) -> goto accept_s71 :: !(p) && !(s) && !(t) -> goto s24 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s24 :: (q) && (r) && (s) && (t) -> goto accept_s13 :: !(q) && (t) -> goto accept_s13 :: (q) && !(r) && (t) -> goto accept_s13 fi; s20: if :: (q) && !(r) && (t) -> goto accept_s13 :: (s) && !(t) -> goto s21 :: (q) && !(r) && !(s) && !(t) -> goto s24 :: !(q) && (t) -> goto accept_s25 :: !(q) && !(s) && !(t) -> goto s26 :: (p) && (q) && (r) && !(s) && !(t) -> goto s23 :: (p) && (q) && (r) && !(s) && (t) -> goto accept_s22 :: (q) && (r) && (s) && (t) -> goto accept_s13 :: !(p) && (q) && (r) && !(s) && (t) -> goto accept_s27 :: !(p) && (q) && (r) && !(s) && !(t) -> goto s26 fi; s21: if :: !(p) && (q) && (r) && !(s) -> goto s45 :: (p) && (q) && (r) && !(s) -> goto s44 :: (s) -> goto s14 :: !(q) -> goto s14 :: !(r) -> goto s14 fi; s23: if :: !(p) && (q) && (r) && (s) && (t) -> goto accept_s18 :: !(p) && (q) && (r) && !(s) && (t) -> goto accept_s69 :: (s) && !(t) -> goto s14 :: (p) && (q) && !(r) && (t) -> goto accept_s13 :: !(p) && !(s) && !(t) -> goto s68 :: (p) && !(q) && !(s) && !(t) -> goto s68 :: !(q) && (t) -> goto accept_s18 :: !(p) && (q) && !(r) && (t) -> goto accept_s18 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s72 :: (p) && (q) && (r) && (s) && (t) -> goto accept_s13 :: (p) && (q) && (r) && !(s) && (t) -> goto accept_s67 :: (p) && (q) && (r) && !(s) && !(t) -> goto s68 fi; s24: if :: !(q) && (t) -> goto accept_s13 :: (s) && !(t) -> goto s14 :: (q) && (r) && (s) && (t) -> goto accept_s13 :: (q) && !(r) && (t) -> goto accept_s13 :: (q) && (r) && !(s) && !(t) -> goto s72 :: (q) && !(r) && !(s) && !(t) -> goto s17 :: !(q) && !(s) && !(t) -> goto s17 :: !(p) && (q) && (r) && !(s) && (t) -> goto accept_s73 :: (p) && (q) && (r) && !(s) && (t) -> goto accept_s71 fi; s26: if :: !(p) && (q) && !(r) && !(s) && !(t) -> goto s20 :: (p) && (q) && !(r) && (t) -> goto accept_s13 :: !(p) && (q) && (r) && !(s) && (t) -> goto accept_s69 :: (s) && !(t) -> goto s14 :: !(p) && (q) && (r) && (s) && (t) -> goto accept_s18 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s17 :: (p) && (q) && (r) && !(s) && (t) -> goto accept_s67 :: (p) && (q) && (r) && (s) && (t) -> goto accept_s13 :: !(q) && !(s) && !(t) -> goto s20 :: (q) && (r) && !(s) && !(t) -> goto s68 :: !(p) && (q) && !(r) && (t) -> goto accept_s18 :: !(q) && (t) -> goto accept_s18 fi; s28: if :: !(p) && (q) && (r) && !(s) && (t) -> goto s36 :: (p) && (q) && (r) && !(s) && (t) -> goto s32 :: (q) && !(r) && (t) -> goto s14 :: (q) && (r) && !(s) && !(t) -> goto s64 :: (s) && !(t) -> goto s9 :: (q) && (r) && (s) && (t) -> goto s14 :: !(q) && (t) -> goto s5 :: (q) && !(r) && !(s) && !(t) -> goto s65 :: !(q) && !(s) && !(t) -> goto s64 fi; s29: if :: (p) && (q) && !(r) && !(s) && !(t) -> goto s60 :: (p) && (q) && (r) && !(s) && (t) -> goto s58 :: (p) && (q) && (r) && !(s) && !(t) -> goto s59 :: !(p) && !(s) && !(t) -> goto s60 :: (p) && !(q) && !(s) && !(t) -> goto s60 :: !(q) && !(s) && (t) -> goto s9 :: (s) -> goto s9 :: (q) && !(r) && !(s) && (t) -> goto s9 :: !(p) && (q) && (r) && !(s) && (t) -> goto s61 fi; s30: if :: !(p) && (q) && (r) && !(s) && !(t) -> goto s53 :: !(p) && (q) && (r) && !(s) && (t) -> goto s36 :: (p) && (q) && (r) && !(s) && (t) -> goto s32 :: (p) && (q) && (r) && !(s) && !(t) -> goto s51 :: !(q) && (t) -> goto s5 :: !(q) && !(s) && !(t) -> goto s53 :: (q) && !(r) && !(s) && !(t) -> goto s52 :: (q) && !(r) && (t) -> goto s14 :: (q) && (r) && (s) && (t) -> goto s14 :: (s) && !(t) -> goto s9 fi; s31: if :: (q) && !(r) && !(s) && (t) -> goto s14 :: (q) && (r) && !(s) && !(t) -> goto s33 :: (q) && !(r) && !(s) && !(t) -> goto s34 :: !(q) && !(s) && !(t) -> goto s35 :: (p) && (q) && (r) && !(s) && (t) -> goto s32 :: (q) && (s) -> goto s14 :: !(q) && !(s) && (t) -> goto s5 :: !(q) && (s) -> goto s5 :: !(p) && (q) && (r) && !(s) && (t) -> goto s36 fi; s32: if :: !(p) && (q) && !(r) && (t) -> goto s11 :: !(q) && (t) -> goto s11 :: (p) && (q) && (s) -> goto s21 :: (p) && !(q) && (s) && !(t) -> goto s21 :: !(p) && (s) && !(t) -> goto s21 :: (p) && (q) && (r) && !(s) -> goto s37 :: (p) && !(q) && !(s) && !(t) -> goto s37 :: !(p) && !(s) && !(t) -> goto s37 :: !(p) && (q) && (r) && !(s) && (t) -> goto s40 :: !(p) && (q) && (r) && (s) && (t) -> goto s11 :: (p) && (q) && !(r) && !(s) && (t) -> goto s21 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s46 fi; s33: if :: !(p) && (q) && (r) && (s) && (t) -> goto s11 :: !(p) && (q) && (r) && !(s) && (t) -> goto s40 :: !(p) && (q) && !(r) && (t) -> goto s11 :: !(q) && (t) -> goto s11 :: (p) && (q) && (s) -> goto s21 :: (p) && !(q) && (s) && !(t) -> goto s21 :: (p) && (q) && !(r) && !(s) && (t) -> goto s21 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s50 :: (p) && !(q) && !(s) && !(t) -> goto s47 :: !(p) && (s) && !(t) -> goto s21 :: (p) && (q) && (r) && !(s) && (t) -> goto s37 :: !(p) && !(s) && !(t) -> goto s47 :: (p) && (q) && (r) && !(s) && !(t) -> goto s47 fi; s34: if :: !(q) && !(s) && (t) -> goto s21 :: (s) -> goto s21 :: !(p) && !(s) && !(t) -> goto s48 :: (p) && !(q) && !(s) && !(t) -> goto s48 :: (q) && !(r) && !(s) && (t) -> goto s21 :: !(p) && (q) && (r) && !(s) && (t) -> goto s43 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s48 :: (p) && (q) && (r) && !(s) && (t) -> goto s46 :: (p) && (q) && (r) && !(s) && !(t) -> goto s50 fi; s35: if :: (p) && (q) && (r) && !(s) && (t) -> goto s37 :: (p) && (q) && (r) && !(s) && !(t) -> goto s47 :: (p) && (q) && !(r) && !(s) && (t) -> goto s21 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s48 :: !(p) && (q) && (r) && !(s) && (t) -> goto s40 :: !(p) && (q) && !(r) && !(s) && (t) -> goto s11 :: !(p) && !(s) && !(t) -> goto s31 :: (p) && !(q) && !(s) && !(t) -> goto s31 :: !(p) && (s) -> goto s11 :: (p) && !(q) && (s) -> goto s11 :: (p) && (q) && (s) -> goto s21 :: !(q) && !(s) && (t) -> goto s11 fi; s36: if :: !(p) && (q) && (r) && !(s) && !(t) -> goto s37 :: !(p) && (q) && (r) && !(s) && (t) -> goto s40 :: !(p) && (q) && (r) && (s) && (t) -> goto s11 :: !(p) && (q) && !(r) && !(s) && !(t) -> goto s39 :: (p) && (q) && !(r) && !(s) && (t) -> goto s21 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s38 :: !(q) && (t) -> goto s11 :: !(p) && (q) && !(r) && (t) -> goto s11 :: !(p) && (s) && !(t) -> goto s21 :: (p) && (q) && (r) && !(s) -> goto s37 :: (p) && (q) && (s) -> goto s21 :: (p) && !(q) && (s) && !(t) -> goto s21 :: !(q) && !(s) && !(t) -> goto s39 fi; s37: if :: (q) && (s) -> goto s14 :: (q) && !(r) && !(s) && (t) -> goto s14 :: !(q) && (t) -> goto s5 :: !(q) && !(s) && !(t) -> goto s32 :: (q) && !(r) && !(s) && !(t) -> goto s44 :: !(q) && (s) && !(t) -> goto s14 :: (p) && (q) && (r) && !(s) -> goto s32 :: !(p) && (q) && (r) && !(s) && !(t) -> goto s32 :: !(p) && (q) && (r) && !(s) && (t) -> goto s36 fi; s38: if :: !(q) && !(s) && (t) -> goto s14 :: (p) && (q) && (r) && !(s) -> goto s44 :: (q) && !(r) && !(s) && (t) -> goto s14 :: (s) -> goto s14 :: !(q) && !(s) && !(t) -> goto s45 :: !(p) && (q) && (r) && !(s) -> goto s45 :: (q) && !(r) && !(s) && !(t) -> goto s45 fi; s39: if :: !(q) && (t) -> goto s5 :: (p) && (q) && (r) && !(s) -> goto s32 :: !(q) && (s) && !(t) -> goto s14 :: (q) && !(r) && !(s) && (t) -> goto s14 :: (q) && (s) -> goto s14 :: (q) && !(r) && !(s) && !(t) -> goto s45 :: !(q) && !(s) && !(t) -> goto s36 :: !(p) && (q) && (r) && !(s) -> goto s36 fi; s40: if :: (q) && !(r) && !(s) && !(t) -> goto s41 :: !(q) && !(s) && !(t) -> goto s42 :: !(p) && (q) && (r) && !(s) && !(t) -> goto s32 :: !(p) && (q) && (r) && !(s) && (t) -> goto s36 :: !(q) && (s) -> goto s5 :: (p) && (q) && (r) && !(s) -> goto s32 :: (q) && !(r) && !(s) && (t) -> goto s14 :: (q) && (s) -> goto s14 :: !(q) && !(s) && (t) -> goto s5 fi; s41: if :: (q) && !(r) && !(s) && (t) -> goto s21 :: (s) -> goto s21 :: !(q) && !(s) && (t) -> goto s21 :: (q) && !(r) && !(s) && !(t) -> goto s43 :: !(p) && (q) && (r) && !(s) -> goto s43 :: !(q) && !(s) && !(t) -> goto s43 :: (p) && (q) && (r) && !(s) -> goto s46 fi; s42: if :: !(p) && (q) && !(r) && !(s) && !(t) -> goto s40 :: !(p) && (q) && !(r) && !(s) && (t) -> goto s11 :: (p) && !(q) && (s) -> goto s11 :: !(p) && (s) -> goto s11 :: !(q) && !(s) && (t) -> goto s11 :: (p) && (q) && (s) -> goto s21 :: (p) && (q) && (r) && !(s) -> goto s37 :: !(p) && (q) && (r) && !(s) -> goto s40 :: !(q) && !(s) && !(t) -> goto s40 :: (p) && (q) && !(r) && !(s) && (t) -> goto s21 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s43 fi; s43: if :: (s) -> goto s14 :: (q) && !(r) && !(s) && (t) -> goto s14 :: (q) && !(r) && !(s) && !(t) -> goto s41 :: !(q) && !(s) && (t) -> goto s14 :: (p) && (q) && (r) && !(s) -> goto s44 :: !(q) && !(s) && !(t) -> goto s41 :: !(p) && (q) && (r) && !(s) && !(t) -> goto s44 :: !(p) && (q) && (r) && !(s) && (t) -> goto s45 fi; s44: if :: !(p) && (q) && (r) && !(s) && (t) -> goto s43 :: (s) -> goto s21 :: (q) && !(r) && !(s) && (t) -> goto s21 :: (p) && (q) && (r) && !(s) -> goto s46 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s46 :: !(q) && !(s) && (t) -> goto s21 :: !(p) && !(s) && !(t) -> goto s46 :: (p) && !(q) && !(s) && !(t) -> goto s46 fi; s45: if :: !(p) && (q) && (r) && !(s) && (t) -> goto s43 :: !(p) && (q) && (r) && !(s) && !(t) -> goto s46 :: (s) -> goto s21 :: (q) && !(r) && !(s) && (t) -> goto s21 :: (q) && !(r) && !(s) && !(t) -> goto s38 :: !(q) && !(s) && (t) -> goto s21 :: (p) && (q) && (r) && !(s) -> goto s46 :: !(q) && !(s) && !(t) -> goto s38 fi; s46: if :: !(p) && !(s) && !(t) -> goto s44 :: (p) && !(q) && !(s) && !(t) -> goto s44 :: (p) && (q) && (r) && !(s) -> goto s44 :: !(p) && (q) && (r) && !(s) && (t) -> goto s45 :: !(q) && !(s) && (t) -> goto s14 :: (s) -> goto s14 :: (q) && !(r) && !(s) && (t) -> goto s14 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s44 fi; s47: if :: (p) && (q) && (r) && !(s) && (t) -> goto s32 :: !(p) && (q) && (r) && !(s) && (t) -> goto s36 :: (q) && !(r) && !(s) && !(t) -> goto s49 :: !(q) && !(s) && !(t) -> goto s33 :: (q) && (r) && !(s) && !(t) -> goto s33 :: !(q) && (s) && !(t) -> goto s14 :: (q) && !(r) && !(s) && (t) -> goto s14 :: (q) && (s) -> goto s14 :: !(q) && (t) -> goto s5 fi; s48: if :: (q) && !(r) && !(s) && (t) -> goto s14 :: (p) && (q) && (r) && !(s) && (t) -> goto s44 :: (q) && (r) && !(s) && !(t) -> goto s49 :: (q) && !(r) && !(s) && !(t) -> goto s34 :: !(q) && !(s) && !(t) -> goto s34 :: (s) -> goto s14 :: !(p) && (q) && (r) && !(s) && (t) -> goto s45 :: !(q) && !(s) && (t) -> goto s14 fi; s49: if :: (p) && (q) && (r) && !(s) && (t) -> goto s46 :: !(p) && (q) && (r) && !(s) && (t) -> goto s43 :: !(s) && !(t) -> goto s50 :: (s) -> goto s21 :: !(q) && !(s) && (t) -> goto s21 :: (q) && !(r) && !(s) && (t) -> goto s21 fi; s50: if :: (p) && (q) && (r) && !(s) && (t) -> goto s44 :: !(s) && !(t) -> goto s49 :: (s) -> goto s14 :: !(q) && !(s) && (t) -> goto s14 :: (q) && !(r) && !(s) && (t) -> goto s14 :: !(p) && (q) && (r) && !(s) && (t) -> goto s45 fi; s51: if :: (p) && (q) && !(r) && !(s) && !(t) -> goto s57 :: (p) && !(q) && !(s) && !(t) -> goto s54 :: (p) && (q) && (r) && (s) && (t) -> goto s21 :: (p) && (q) && !(r) && (t) -> goto s21 :: (p) && (q) && (r) && !(s) && (t) -> goto s37 :: !(p) && !(s) && !(t) -> goto s54 :: (p) && (q) && (r) && !(s) && !(t) -> goto s54 :: !(p) && (q) && (r) && (s) && (t) -> goto s11 :: !(p) && (q) && (r) && !(s) && (t) -> goto s40 :: !(p) && (q) && !(r) && (t) -> goto s11 :: !(q) && (t) -> goto s11 :: (s) && !(t) -> goto s9 fi; s52: if :: (q) && (r) && !(s) && !(t) -> goto s57 :: !(q) && !(s) && !(t) -> goto s55 :: (q) && !(r) && (t) -> goto s21 :: (q) && (r) && (s) && (t) -> goto s21 :: (q) && !(r) && !(s) && !(t) -> goto s55 :: !(q) && (t) -> goto s21 :: (s) && !(t) -> goto s9 :: (p) && (q) && (r) && !(s) && (t) -> goto s46 :: !(p) && (q) && (r) && !(s) && (t) -> goto s43 fi; s53: if :: (p) && (q) && !(r) && (t) -> goto s21 :: !(q) && (t) -> goto s11 :: (q) && (r) && !(s) && !(t) -> goto s54 :: !(q) && !(s) && !(t) -> goto s30 :: !(p) && (q) && !(r) && (t) -> goto s11 :: (s) && !(t) -> goto s9 :: !(p) && (q) && !(r) && !(s) && !(t) -> goto s30 :: !(p) && (q) && (r) && !(s) && (t) -> goto s40 :: !(p) && (q) && (r) && (s) && (t) -> goto s11 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s55 :: (p) && (q) && (r) && !(s) && (t) -> goto s37 :: (p) && (q) && (r) && (s) && (t) -> goto s21 fi; s54: if :: (p) && (q) && (r) && !(s) && (t) -> goto s32 :: (q) && (r) && !(s) && !(t) -> goto s51 :: !(q) && !(s) && !(t) -> goto s51 :: (q) && !(r) && !(s) && !(t) -> goto s56 :: !(p) && (q) && (r) && !(s) && (t) -> goto s36 :: !(q) && (t) -> goto s5 :: (s) && !(t) -> goto s9 :: (q) && (r) && (s) && (t) -> goto s14 :: (q) && !(r) && (t) -> goto s14 fi; s55: if :: !(p) && (q) && (r) && !(s) && (t) -> goto s45 :: !(p) && !(s) && !(t) -> goto s52 :: (q) && (r) && (s) && (t) -> goto s14 :: (q) && !(r) && (t) -> goto s14 :: !(q) && (t) -> goto s14 :: (p) && !(q) && !(s) && !(t) -> goto s52 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s52 :: (s) && !(t) -> goto s9 :: (p) && (q) && (r) && !(s) && !(t) -> goto s56 :: (p) && (q) && (r) && !(s) && (t) -> goto s44 fi; s56: if :: (s) && !(t) -> goto s9 :: (q) && (r) && (s) && (t) -> goto s21 :: (q) && !(r) && (t) -> goto s21 :: !(p) && (q) && (r) && !(s) && (t) -> goto s43 :: !(s) && !(t) -> goto s57 :: !(q) && (t) -> goto s21 :: (p) && (q) && (r) && !(s) && (t) -> goto s46 fi; s57: if :: !(p) && (q) && (r) && !(s) && (t) -> goto s45 :: (p) && (q) && (r) && !(s) && (t) -> goto s44 :: (q) && (r) && (s) && (t) -> goto s14 :: (s) && !(t) -> goto s9 :: !(s) && !(t) -> goto s56 :: !(q) && (t) -> goto s14 :: (q) && !(r) && (t) -> goto s14 fi; s58: if :: (p) && !(q) && !(s) && !(t) -> goto s58 :: (p) && (q) && (r) && !(s) -> goto s58 :: !(q) && !(s) && (t) -> goto s9 :: (s) -> goto s9 :: !(p) && !(s) && !(t) -> goto s58 :: !(p) && (q) && (r) && !(s) && (t) -> goto s61 :: (q) && !(r) && !(s) && (t) -> goto s9 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s58 fi; s59: if :: !(p) && (q) && (r) && !(s) && (t) -> goto s61 :: (p) && (q) && (r) && !(s) && (t) -> goto s58 :: !(q) && !(s) && (t) -> goto s9 :: (s) -> goto s9 :: (q) && !(r) && !(s) && (t) -> goto s9 :: !(s) && !(t) -> goto s63 fi; s60: if :: (p) && (q) && (r) && !(s) && (t) -> goto s58 :: !(p) && (q) && (r) && !(s) && (t) -> goto s61 :: (s) -> goto s9 :: !(q) && !(s) && (t) -> goto s9 :: (q) && !(r) && !(s) && (t) -> goto s9 :: (q) && (r) && !(s) && !(t) -> goto s63 :: (q) && !(r) && !(s) && !(t) -> goto s29 :: !(q) && !(s) && !(t) -> goto s29 fi; s61: if :: !(p) && (q) && (r) && !(s) && (t) -> goto s61 :: !(p) && (q) && (r) && !(s) && !(t) -> goto s58 :: (p) && (q) && (r) && !(s) -> goto s58 :: (q) && !(r) && !(s) && !(t) -> goto s62 :: (s) -> goto s9 :: !(q) && !(s) && (t) -> goto s9 :: !(q) && !(s) && !(t) -> goto s62 :: (q) && !(r) && !(s) && (t) -> goto s9 fi; s62: if :: (q) && !(r) && !(s) && !(t) -> goto s61 :: (p) && (q) && (r) && !(s) -> goto s58 :: !(q) && !(s) && !(t) -> goto s61 :: !(p) && (q) && (r) && !(s) -> goto s61 :: (s) -> goto s9 :: !(q) && !(s) && (t) -> goto s9 :: (q) && !(r) && !(s) && (t) -> goto s9 fi; s63: if :: (s) -> goto s9 :: (q) && !(r) && !(s) && (t) -> goto s9 :: !(s) && !(t) -> goto s59 :: !(q) && !(s) && (t) -> goto s9 :: (p) && (q) && (r) && !(s) && (t) -> goto s58 :: !(p) && (q) && (r) && !(s) && (t) -> goto s61 fi; s64: if :: !(p) && (q) && !(r) && (t) -> goto s11 :: (s) && !(t) -> goto s9 :: (p) && (q) && !(r) && (t) -> goto s21 :: !(q) && (t) -> goto s11 :: !(p) && !(s) && !(t) -> goto s28 :: (p) && !(q) && !(s) && !(t) -> goto s28 :: !(p) && (q) && (r) && (s) && (t) -> goto s11 :: !(p) && (q) && (r) && !(s) && (t) -> goto s40 :: (p) && (q) && (r) && (s) && (t) -> goto s21 :: (p) && (q) && (r) && !(s) && !(t) -> goto s28 :: (p) && (q) && (r) && !(s) && (t) -> goto s37 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s66 fi; s65: if :: (q) && (r) && (s) && (t) -> goto s21 :: (s) && !(t) -> goto s9 :: (q) && !(r) && (t) -> goto s21 :: !(q) && (t) -> goto s21 :: !(s) && !(t) -> goto s66 :: !(p) && (q) && (r) && !(s) && (t) -> goto s43 :: (p) && (q) && (r) && !(s) && (t) -> goto s46 fi; s66: if :: !(p) && (q) && (r) && !(s) && (t) -> goto s45 :: (p) && (q) && (r) && !(s) && (t) -> goto s44 :: (s) && !(t) -> goto s9 :: (q) && (r) && (s) && (t) -> goto s14 :: (q) && !(r) && (t) -> goto s14 :: !(q) && (t) -> goto s14 :: !(s) && !(t) -> goto s65 fi; s68: if :: (q) && (r) && (s) && (t) -> goto accept_s13 :: (q) && !(r) && (t) -> goto accept_s13 :: (s) && !(t) -> goto s21 :: (q) && (r) && !(s) && !(t) -> goto s23 :: !(q) && !(s) && !(t) -> goto s23 :: !(q) && (t) -> goto accept_s25 :: (q) && !(r) && !(s) && !(t) -> goto s70 :: (p) && (q) && (r) && !(s) && (t) -> goto accept_s22 :: !(p) && (q) && (r) && !(s) && (t) -> goto accept_s27 fi; s70: if :: !(s) && !(t) -> goto s72 :: (s) && !(t) -> goto s14 :: (p) && (q) && (r) && !(s) && (t) -> goto accept_s71 :: (q) && (r) && (s) && (t) -> goto accept_s13 :: (q) && !(r) && (t) -> goto accept_s13 :: !(q) && (t) -> goto accept_s13 :: !(p) && (q) && (r) && !(s) && (t) -> goto accept_s73 fi; s72: if :: (q) && !(r) && (t) -> goto accept_s13 :: (q) && (r) && (s) && (t) -> goto accept_s13 :: (s) && !(t) -> goto s21 :: !(q) && (t) -> goto accept_s13 :: !(s) && !(t) -> goto s70 :: (p) && (q) && (r) && !(s) && (t) -> goto accept_s71 :: !(p) && (q) && (r) && !(s) && (t) -> goto accept_s73 fi; s74: if :: (p) && (q) && (r) && !(s) && (t) -> goto s58 :: !(p) && (q) && (r) && !(s) && (t) -> goto s61 :: (q) && !(r) && !(s) && (t) -> goto s9 :: !(s) && !(t) -> goto s74 :: (s) -> goto s9 :: !(q) && !(s) && (t) -> goto s9 fi; s75: if :: !(p) && (q) && !(r) && !(s) && !(t) -> goto s68 :: !(p) && (q) && (r) && (s) && (t) -> goto accept_s18 :: !(p) && (q) && (r) && !(s) && (t) -> goto accept_s19 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s72 :: (p) && (q) && (r) && (s) && (t) -> goto accept_s13 :: (p) && (q) && (r) && !(s) && (t) -> goto accept_s15 :: (q) && (r) && !(s) && !(t) -> goto s16 :: !(q) && !(s) && !(t) -> goto s16 :: (p) && (q) && !(r) && (t) -> goto accept_s13 :: (s) && !(t) -> goto s14 :: !(p) && (q) && !(r) && (t) -> goto accept_s18 :: !(q) && (t) -> goto accept_s7 fi; s76: if :: !(p) && (q) && (r) && !(s) && (t) -> goto accept_s27 :: (p) && (q) && (r) && !(s) && (t) -> goto accept_s22 :: !(q) && !(s) && !(t) -> goto s77 :: (q) && (r) && !(s) && !(t) -> goto s77 :: (q) && !(r) && !(s) && !(t) -> goto s72 :: !(q) && (t) -> goto accept_s25 :: (q) && !(r) && (t) -> goto accept_s13 :: (s) && !(t) -> goto s14 :: (q) && (r) && (s) && (t) -> goto accept_s13 fi; s77: if :: !(p) && (q) && (r) && !(s) && (t) -> goto accept_s69 :: !(p) && !(s) && !(t) -> goto s76 :: (p) && !(q) && !(s) && !(t) -> goto s76 :: !(p) && (q) && (r) && (s) && (t) -> goto accept_s18 :: (s) && !(t) -> goto s21 :: !(q) && (t) -> goto accept_s18 :: !(p) && (q) && !(r) && (t) -> goto accept_s18 :: (p) && (q) && !(r) && (t) -> goto accept_s13 :: (p) && (q) && (r) && !(s) && (t) -> goto accept_s67 :: (p) && (q) && (r) && !(s) && !(t) -> goto s76 :: (p) && (q) && (r) && (s) && (t) -> goto accept_s13 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s70 fi; s78: if :: (p) && (q) && (r) && !(s) && (t) -> goto accept_s71 :: !(p) && (q) && (r) && !(s) && (t) -> goto accept_s73 :: (q) && (r) && (s) && (t) -> goto accept_s13 :: (s) && !(t) -> goto s9 :: !(s) && !(t) -> goto s78 :: !(q) && (t) -> goto accept_s13 :: (q) && !(r) && (t) -> goto accept_s13 fi; s79: if :: (p) && (q) && (r) && !(s) && (t) -> goto accept_s22 :: !(p) && (q) && (r) && !(s) && (t) -> goto accept_s27 :: (q) && (r) && !(s) && !(t) -> goto s80 :: !(q) && !(s) && !(t) -> goto s80 :: (q) && (r) && (s) && (t) -> goto accept_s13 :: (q) && !(r) && (t) -> goto accept_s13 :: !(q) && (t) -> goto accept_s25 :: (q) && !(r) && !(s) && !(t) -> goto s78 :: (s) && !(t) -> goto s9 fi; s80: if :: !(p) && (q) && !(r) && (t) -> goto accept_s18 :: !(q) && (t) -> goto accept_s18 :: (p) && !(q) && !(s) && !(t) -> goto s79 :: !(p) && !(s) && !(t) -> goto s79 :: (s) && !(t) -> goto s9 :: (p) && (q) && !(r) && (t) -> goto accept_s13 :: (p) && (q) && (r) && (s) && (t) -> goto accept_s13 :: (p) && (q) && (r) && !(s) && (t) -> goto accept_s67 :: (p) && (q) && (r) && !(s) && !(t) -> goto s79 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s78 :: !(p) && (q) && (r) && (s) && (t) -> goto accept_s18 :: !(p) && (q) && (r) && !(s) && (t) -> goto accept_s69 fi; s81: if :: !(q) && (t) -> goto accept_s25 :: (q) && !(r) && !(s) && !(t) -> goto s17 :: !(q) && !(s) && !(t) -> goto s82 :: (q) && (r) && !(s) && !(t) -> goto s77 :: !(q) && (s) && !(t) -> goto s5 :: (q) && (r) && (s) && (t) -> goto accept_s13 :: (q) && !(r) && (t) -> goto accept_s13 :: (q) && (s) && !(t) -> goto s14 :: (p) && (q) && (r) && !(s) && (t) -> goto accept_s22 :: !(p) && (q) && (r) && !(s) && (t) -> goto accept_s27 fi; s82: if :: (p) && (q) && (s) && !(t) -> goto s21 :: !(q) && (t) -> goto accept_s18 :: !(p) && !(s) && !(t) -> goto s81 :: (p) && !(q) && !(s) && !(t) -> goto s81 :: !(p) && (s) && !(t) -> goto s11 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s24 :: (p) && !(q) && (s) && !(t) -> goto s11 :: !(p) && (q) && !(r) && (t) -> goto accept_s18 :: (p) && (q) && !(r) && (t) -> goto accept_s13 :: (p) && (q) && (r) && !(s) && !(t) -> goto s76 :: (p) && (q) && (r) && !(s) && (t) -> goto accept_s67 :: (p) && (q) && (r) && (s) && (t) -> goto accept_s13 :: !(p) && (q) && (r) && !(s) && (t) -> goto accept_s69 :: !(p) && (q) && (r) && (s) && (t) -> goto accept_s18 fi; accept_s7: if :: !(p) && (q) && !(r) -> goto s11 :: !(p) && (q) && (r) && !(s) -> goto s12 :: (p) && (q) && !(r) -> goto s9 :: (p) && (q) && (r) && (s) -> goto s9 :: !(p) && (q) && (r) && (s) -> goto s11 :: (p) && (q) && (r) && !(s) -> goto s10 :: !(q) -> goto accept_s7 fi; accept_s8: if :: (p) && (q) && (r) && !(s) -> goto s6 :: (p) && !(q) -> goto accept_s7 :: !(p) -> goto accept_s8 :: (p) && (q) && (r) && (s) -> goto s5 :: (p) && (q) && !(r) -> goto s5 fi; accept_s13: if :: (p) && (q) && (r) && !(s) -> goto s74 :: !(r) -> goto s9 :: !(p) && (q) && (r) && !(s) -> goto s60 :: !(q) -> goto s9 :: (s) -> goto s9 fi; accept_s15: if :: !(p) && (q) && !(r) && (t) -> goto s11 :: (p) && (q) && (r) && !(s) -> goto s10 :: !(q) && !(s) && !(t) -> goto s10 :: (p) && !(q) && (s) && !(t) -> goto s9 :: !(p) && (s) && !(t) -> goto s9 :: !(q) && (t) -> goto accept_s7 :: (p) && (q) && (s) -> goto s9 :: !(p) && (q) && !(r) && !(s) && !(t) -> goto s28 :: !(p) && (q) && (r) && !(s) && !(t) -> goto s10 :: !(p) && (q) && (r) && !(s) && (t) -> goto s12 :: !(p) && (q) && (r) && (s) && (t) -> goto s11 :: (p) && (q) && !(r) && !(s) && (t) -> goto s9 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s74 fi; accept_s18: if :: !(q) -> goto s5 :: (q) && !(r) -> goto s9 :: (q) && (r) && (s) -> goto s9 :: (p) && (q) && (r) && !(s) -> goto s64 :: !(p) && (q) && (r) && !(s) -> goto s53 fi; accept_s19: if :: !(p) && (q) && !(r) && !(s) && !(t) -> goto s30 :: !(p) && (q) && (r) && !(s) && (t) -> goto s12 :: !(p) && (q) && (r) && !(s) && !(t) -> goto s10 :: !(p) && (q) && (r) && (s) && (t) -> goto s11 :: !(q) && (s) && !(t) -> goto s5 :: !(q) && !(s) && !(t) -> goto s6 :: !(q) && (t) -> goto accept_s7 :: (p) && (q) && (s) -> goto s9 :: !(p) && (q) && (s) && !(t) -> goto s9 :: (p) && (q) && (r) && !(s) -> goto s10 :: !(p) && (q) && !(r) && (t) -> goto s11 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s29 :: (p) && (q) && !(r) && !(s) && (t) -> goto s9 fi; accept_s22: if :: !(p) && !(s) && !(t) -> goto s28 :: (p) && !(q) && !(s) && !(t) -> goto s28 :: (p) && !(q) && (s) && !(t) -> goto s9 :: (p) && (q) && (s) -> goto s9 :: (p) && (q) && (r) && !(s) -> goto s28 :: !(q) && (t) -> goto s11 :: !(p) && (q) && !(r) && (t) -> goto s11 :: !(p) && (s) && !(t) -> goto s9 :: !(p) && (q) && (r) && !(s) && (t) -> goto s31 :: !(p) && (q) && (r) && (s) && (t) -> goto s11 :: (p) && (q) && !(r) && !(s) && (t) -> goto s9 :: (p) && (q) && !(r) && !(s) && !(t) -> goto s74 fi; accept_s25: if :: !(p) && (q) && !(r) -> goto s11 :: !(q) -> goto s11 :: (p) && (q) && !(r) -> goto s9 :: !(p) && (q) && (r) && (s) -> goto s11 :: (p) && (q) && (r) && !(s) -> goto s28 :: !(p) && (q) && (r) && !(s) -> goto s31 :: (p) && (q) && (r) && (s) -> goto s9 fi; accept_s27: if :: (p) && (q) && !(r) && !(s) && !(t) -> goto s29 :: (p) && (q) && !(r) && !(s) && (t) -> goto s9 :: !(p) && (q) && !(r) && !(s) && !(t) -> goto s30 :: !(p) && (q) && (r) && (s) && (t) -> goto s11 :: !(p) && (q) && (r) && !(s) && (t) -> goto s31 :: !(p) && (q) && (r) && !(s) && !(t) -> goto s28 :: !(p) && (s) && !(t) -> goto s9 :: !(p) && (q) && !(r) && (t) -> goto s11 :: (p) && (q) && (s) -> goto s9 :: (p) && !(q) && (s) && !(t) -> goto s9 :: !(q) && !(s) && !(t) -> goto s30 :: !(q) && (t) -> goto s11 :: (p) && (q) && (r) && !(s) -> goto s28 fi; accept_s67: if :: !(q) && (t) -> goto s5 :: (q) && (s) -> goto s9 :: (q) && !(r) && !(s) && (t) -> goto s9 :: !(q) && (s) && !(t) -> goto s9 :: (p) && (q) && (r) && !(s) -> goto s64 :: !(q) && !(s) && !(t) -> goto s64 :: (q) && !(r) && !(s) && !(t) -> goto s74 :: !(p) && (q) && (r) && !(s) && (t) -> goto s53 :: !(p) && (q) && (r) && !(s) && !(t) -> goto s64 fi; accept_s69: if :: (q) && (s) -> goto s9 :: (q) && !(r) && !(s) && (t) -> goto s9 :: (q) && !(r) && !(s) && !(t) -> goto s29 :: !(q) && !(s) && !(t) -> goto s35 :: (p) && (q) && (r) && !(s) -> goto s64 :: !(q) && (s) -> goto s5 :: !(q) && !(s) && (t) -> goto s5 :: !(p) && (q) && (r) && !(s) && (t) -> goto s53 :: !(p) && (q) && (r) && !(s) && !(t) -> goto s64 fi; accept_s71: if :: (p) && (q) && !(r) && !(s) && !(t) -> goto s74 :: (s) -> goto s9 :: (q) && !(r) && !(s) && (t) -> goto s9 :: (p) && (q) && (r) && !(s) -> goto s74 :: !(q) && !(s) && (t) -> goto s9 :: !(p) && !(s) && !(t) -> goto s74 :: (p) && !(q) && !(s) && !(t) -> goto s74 :: !(p) && (q) && (r) && !(s) && (t) -> goto s60 fi; accept_s73: if :: (q) && !(r) && !(s) && (t) -> goto s9 :: !(q) && !(s) && (t) -> goto s9 :: (s) -> goto s9 :: (p) && (q) && (r) && !(s) -> goto s74 :: (q) && !(r) && !(s) && !(t) -> goto s29 :: !(p) && (q) && (r) && !(s) && !(t) -> goto s74 :: !(q) && !(s) && !(t) -> goto s29 :: !(p) && (q) && (r) && !(s) && (t) -> goto s60 fi; }