Skip to content

Instantly share code, notes, and snippets.

@vijfhoek
Last active December 19, 2020 23:13
Show Gist options
  • Select an option

  • Save vijfhoek/99d5c3afbada712bb5aab3203c9cf41f to your computer and use it in GitHub Desktop.

Select an option

Save vijfhoek/99d5c3afbada712bb5aab3203c9cf41f to your computer and use it in GitHub Desktop.
from typing import Tuple
def rule_0(s):
if s == '':
return []
valid_0 = rule_8(s)
valid_1 = (out for inp in valid_0 for out in rule_11(inp))
yield from valid_1
def rule_1(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_7(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_20(inp))
yield from valid_1
def rule_2(s):
if s == '':
return []
valid_0 = rule_64(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_77(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_3(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_127(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_67(inp))
yield from valid_1
def rule_4(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_104(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_9(inp))
yield from valid_1
def rule_5(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_109(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_39(inp))
yield from valid_1
def rule_6(s):
if s == '':
return []
valid_0 = rule_33(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_34(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_7(s):
if s == '':
return []
valid_0 = rule_86(s)
valid_1 = (out for inp in valid_0 for out in rule_90(inp))
yield from valid_1
def rule_8(s):
if s == '':
return []
valid_0 = rule_42(s)
yield from valid_0
valid_0 = rule_42(s)
valid_1 = (out for inp in valid_0 for out in rule_8(inp))
yield from valid_1
def rule_9(s):
if s == '':
return []
valid_0 = rule_82(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_16(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_10(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_90(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_54(inp))
yield from valid_1
def rule_11(s):
if s == '':
return []
valid_0 = rule_42(s)
valid_1 = (out for inp in valid_0 for out in rule_31(inp))
yield from valid_1
valid_0 = rule_42(s)
valid_1 = (out for inp in valid_0 for out in rule_11(inp))
valid_2 = (out for inp in valid_1 for out in rule_31(inp))
yield from valid_2
def rule_12(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_30(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_39(inp))
yield from valid_1
def rule_13(s):
if s == '':
return []
valid_0 = rule_38(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_21(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_14(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_88(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_95(inp))
yield from valid_1
def rule_15(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_83(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_51(inp))
yield from valid_1
def rule_16(s):
if s == '':
return []
valid_0 = rule_39(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_54(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_17(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_119(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_12(inp))
yield from valid_1
def rule_18(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_135(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_134(inp))
yield from valid_1
def rule_19(s):
if s == '':
return []
valid_0 = rule_102(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_55(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_20(s):
if s == '':
return []
valid_0 = rule_95(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_134(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_21(s):
if s == '':
return []
valid_0 = rule_90(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_135(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_22(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_113(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_88(inp))
yield from valid_1
def rule_23(s):
if s == '':
return []
valid_0 = rule_54(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_30(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_24(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_56(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_128(inp))
yield from valid_1
def rule_25(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_62(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_45(inp))
yield from valid_1
def rule_26(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_27(s):
if s == '':
return []
valid_0 = rule_54(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_39(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_28(s):
if s == '':
return []
valid_0 = rule_30(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_30(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_29(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_96(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_13(inp))
yield from valid_1
def rule_30(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_31(s):
if s == '':
return []
valid_0 = rule_108(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_85(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_32(s):
if s == '':
return []
valid_0 = rule_86(s)
valid_1 = (out for inp in valid_0 for out in rule_39(inp))
yield from valid_1
def rule_33(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_116(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_54(inp))
yield from valid_1
def rule_34(s):
if s == '':
return []
valid_0 = rule_26(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_47(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_35(s):
if s == '':
return []
valid_0 = rule_54(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_113(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_36(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_10(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_76(inp))
yield from valid_1
def rule_37(s):
if s == '':
return []
valid_0 = rule_3(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_118(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_38(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_134(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_30(inp))
yield from valid_1
def rule_39(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_40(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_125(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_71(inp))
yield from valid_1
def rule_41(s):
if s == '':
return []
valid_0 = rule_36(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_53(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_42(s):
if s == '':
return []
valid_0 = rule_100(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_121(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_43(s):
if s == '':
return []
valid_0 = rule_113(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_95(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_44(s):
if s == '':
return []
valid_0 = rule_61(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_1(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_45(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_90(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_30(inp))
yield from valid_1
def rule_46(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_39(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_134(inp))
yield from valid_1
def rule_47(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_48(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_5(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_27(inp))
yield from valid_1
def rule_49(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_30(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_30(inp))
yield from valid_1
def rule_50(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_80(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_136(inp))
yield from valid_1
def rule_51(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_131(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_106(inp))
yield from valid_1
def rule_52(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_109(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_54(inp))
yield from valid_1
def rule_53(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_10(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_49(inp))
yield from valid_1
def rule_54(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_55(s):
if s == '':
return []
valid_0 = rule_60(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_98(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_56(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_39(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_54(inp))
yield from valid_1
def rule_57(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_25(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_73(inp))
yield from valid_1
def rule_58(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_88(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_47(inp))
yield from valid_1
def rule_59(s):
if s == '':
return []
valid_0 = rule_88(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_95(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_60(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_95(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_84(inp))
yield from valid_1
def rule_61(s):
if s == '':
return []
valid_0 = rule_131(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_18(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_62(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_109(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_135(inp))
yield from valid_1
def rule_63(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_134(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_30(inp))
yield from valid_1
def rule_64(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_63(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_79(inp))
yield from valid_1
def rule_65(s):
if s == '':
return []
valid_0 = rule_95(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_30(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_66(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_78(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_107(inp))
yield from valid_1
def rule_67(s):
if s == '':
return []
valid_0 = rule_113(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_54(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_68(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_90(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_30(inp))
yield from valid_1
def rule_69(s):
if s == '':
return []
valid_0 = rule_132(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_101(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_70(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_130(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_48(inp))
yield from valid_1
def rule_71(s):
if s == '':
return []
valid_0 = rule_52(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_103(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_72(s):
if s == '':
return []
valid_0 = rule_44(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_69(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_73(s):
if s == '':
return []
valid_0 = rule_94(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_92(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_74(s):
if s == '':
return []
valid_0 = rule_134(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_47(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_75(s):
if s == '':
return []
valid_0 = rule_70(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_57(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_76(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_113(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_135(inp))
yield from valid_1
def rule_77(s):
if s == '':
return []
valid_0 = rule_46(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_23(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_78(s):
if s == '':
return []
valid_0 = rule_28(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_65(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_79(s):
if s == '':
return []
valid_0 = rule_88(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_95(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_80(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_115(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_127(inp))
yield from valid_1
def rule_81(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_6(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_24(inp))
yield from valid_1
def rule_82(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_95(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_88(inp))
yield from valid_1
def rule_83(s):
if s == '':
return []
valid_0 = rule_22(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_111(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_84(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_86(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_85(s):
if s == '':
return []
valid_0 = rule_120(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_75(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_86(s):
if s == '':
return []
valid_0 = rule_129(s)
yield from valid_0
valid_0 = rule_91(s)
yield from valid_0
def rule_87(s):
if s == '':
return []
valid_0 = rule_90(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_26(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_88(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_86(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_89(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_66(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_37(inp))
yield from valid_1
def rule_90(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_86(inp))
yield from valid_1
def rule_91(s):
if s == '':
return []
if s[0] == 'b':
return [s[1:]]
return []
def rule_92(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_90(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_134(inp))
yield from valid_1
def rule_93(s):
if s == '':
return []
valid_0 = rule_15(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_81(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_94(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_84(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_88(inp))
yield from valid_1
def rule_95(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_96(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_14(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_58(inp))
yield from valid_1
def rule_97(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_19(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_110(inp))
yield from valid_1
def rule_98(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_54(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_39(inp))
yield from valid_1
def rule_99(s):
if s == '':
return []
valid_0 = rule_86(s)
valid_1 = (out for inp in valid_0 for out in rule_88(inp))
yield from valid_1
def rule_100(s):
if s == '':
return []
valid_0 = rule_97(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_89(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_101(s):
if s == '':
return []
valid_0 = rule_126(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_59(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_102(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_99(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_117(inp))
yield from valid_1
def rule_103(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_54(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_54(inp))
yield from valid_1
def rule_104(s):
if s == '':
return []
valid_0 = rule_32(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_43(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_105(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_88(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_109(inp))
yield from valid_1
def rule_106(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_84(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_113(inp))
yield from valid_1
def rule_107(s):
if s == '':
return []
valid_0 = rule_123(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_68(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_108(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_93(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_72(inp))
yield from valid_1
def rule_109(s):
if s == '':
return []
valid_0 = rule_86(s)
valid_1 = (out for inp in valid_0 for out in rule_86(inp))
yield from valid_1
def rule_110(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_112(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_17(inp))
yield from valid_1
def rule_111(s):
if s == '':
return []
valid_0 = rule_47(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_134(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_112(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_74(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_52(inp))
yield from valid_1
def rule_113(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_114(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_2(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_41(inp))
yield from valid_1
def rule_115(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_135(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_90(inp))
yield from valid_1
def rule_116(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_117(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_135(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_30(inp))
yield from valid_1
def rule_118(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_122(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_105(inp))
yield from valid_1
def rule_119(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_47(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_109(inp))
yield from valid_1
def rule_120(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_40(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_4(inp))
yield from valid_1
def rule_121(s):
if s == '':
return []
valid_0 = rule_114(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_133(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_122(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_47(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_134(inp))
yield from valid_1
def rule_123(s):
if s == '':
return []
valid_0 = rule_88(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_47(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_124(s):
if s == '':
return []
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_135(inp))
yield from valid_1
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_134(inp))
yield from valid_1
def rule_125(s):
if s == '':
return []
valid_0 = rule_87(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_59(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_126(s):
if s == '':
return []
valid_0 = rule_95(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_127(s):
if s == '':
return []
valid_0 = rule_30(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_95(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_128(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_54(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_84(inp))
yield from valid_1
def rule_129(s):
if s == '':
return []
if s[0] == 'a':
return [s[1:]]
return []
def rule_130(s):
if s == '':
return []
valid_0 = rule_23(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_35(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_131(s):
if s == '':
return []
valid_0 = rule_113(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
valid_0 = rule_90(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
def rule_132(s):
if s == '':
return []
valid_0 = rule_124(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_59(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_133(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_50(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_29(inp))
yield from valid_1
def rule_134(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_86(inp))
yield from valid_1
def rule_135(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_129(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_91(inp))
yield from valid_1
def rule_136(s):
if s == '':
return []
valid_0 = rule_91(s)
valid_1 = (out for inp in valid_0 for out in rule_115(inp))
yield from valid_1
valid_0 = rule_129(s)
valid_1 = (out for inp in valid_0 for out in rule_7(inp))
yield from valid_1
def validate(s):
return any(x == '' for x in rule_0(s))
if __name__ == '__main__':
result = 0
success = validate('babaaaabbbbababaaaabaabb')
if success:
result += 1
success = validate('aaabaaababbaaabbbbbbabaabbaabababababbaa')
if success:
result += 1
success = validate('aaabbbbabbabaaaabbaabaab')
if success:
result += 1
success = validate('babaabbabbbbbaabbabaabab')
if success:
result += 1
success = validate('abaabaabbbabaabbabbbabab')
if success:
result += 1
success = validate('abbaababbbababbabbaabaabaaabaaabbbbbbbba')
if success:
result += 1
success = validate('bbbbabbbbbaaaabbbbbbabaabbabbbaaaabbaaabbaabbbabbaaaabaa')
if success:
result += 1
success = validate('bbbbababaaabbababaaaabab')
if success:
result += 1
success = validate('bbbabababaabbaaaabbbaaaa')
if success:
result += 1
success = validate('aaabbbbaaaabaabaabaababbbaabbaab')
if success:
result += 1
success = validate('bbabbaabbabbbbabaaabaaaa')
if success:
result += 1
success = validate('bbbaaababbaabbbabaaabbbb')
if success:
result += 1
success = validate('baabbbaabaaabbaabaabbbabaaaaabbbaabbbbbababbaabbbbbabaababbbbbbabbbabaaaaabaabbbababaaaa')
if success:
result += 1
success = validate('abbabababaaaabbabbabbbbbabaaababaaaaaabb')
if success:
result += 1
success = validate('aabbaabbbaabbbbaababbbbbbbbbaaaa')
if success:
result += 1
success = validate('abaaabbbbababbabbaaabbaa')
if success:
result += 1
success = validate('bbbaababaabaaabaabbaaabbaaaaabbbbbbbabbabaabaaaa')
if success:
result += 1
success = validate('bbaaabaaabbaabbbabaaaaaa')
if success:
result += 1
success = validate('abbaabaaababababbabaabab')
if success:
result += 1
success = validate('bbbbabaaaabbabbababbbaba')
if success:
result += 1
success = validate('abaababbaaabbbbbbaaabbabbaabbbaaaababaaababbbabbbbbbbbbb')
if success:
result += 1
success = validate('baaabbababaababbbbbbabaaabbaabba')
if success:
result += 1
success = validate('aaaabababbbbaababababbbbabbaabababbaaabbbabbaabb')
if success:
result += 1
success = validate('baaaaabaabbbbabaabaabbaa')
if success:
result += 1
success = validate('abaaabbaababaaaaaabaaaaa')
if success:
result += 1
success = validate('bbaabbbbbbbaaabbaaabaabb')
if success:
result += 1
success = validate('baaaaaaaabaaabbabaaaaaab')
if success:
result += 1
success = validate('ababaabbbbaabbbbbabbaabb')
if success:
result += 1
success = validate('ababaabbabaabbbbbbaaaabbaaaaaabbabaaaaaa')
if success:
result += 1
success = validate('bbbbbbaaaabbabbabbabaabbbaabaaabaaaabaabaaabbbabaababbbb')
if success:
result += 1
success = validate('babbbaaaaaabbabbbaababbaabaabaabaabbaabaaaaaabaabababaab')
if success:
result += 1
success = validate('bbbaabaabaabbaaabbbbbbaaabbaaaba')
if success:
result += 1
success = validate('abaabbbbbbbabbbbbbbaaabaabbbbbabaabaabbb')
if success:
result += 1
success = validate('abbbaaabbbabbbbbababbaab')
if success:
result += 1
success = validate('bbabbbaaabbbbabaaaaabbbbaaaaababbabbbbbaababaabaabaababa')
if success:
result += 1
success = validate('aababaaabbabbbbabababbabaaaabbbbbbbbbbbabbbaabbabaaabbbbaaabbabb')
if success:
result += 1
success = validate('abababbbbababbbbaabbabbabbababbb')
if success:
result += 1
success = validate('abbabbaabbaabbbbbaabbaaaaabbaaaabbbaabbabbbbaabbaabbabab')
if success:
result += 1
success = validate('aabababaabaaabbabababbbbbbbbaaba')
if success:
result += 1
success = validate('bbabbabbbbaabbaaaaaabbbbbbababaabbaababa')
if success:
result += 1
success = validate('bbaabaababaaabbabbbbbaababaabaabbaabaabb')
if success:
result += 1
success = validate('aababbaabbbbaababaaabaab')
if success:
result += 1
success = validate('baabaabaaabbabaaaaababbb')
if success:
result += 1
success = validate('aaaabbbbaabbaaabbbaabbbaabbabbaabbaaaabbbbaaaababababababaaaaaab')
if success:
result += 1
success = validate('baaaabbabaaabbbaaabaabab')
if success:
result += 1
success = validate('aabbabbaaabbabbbabbbbaaa')
if success:
result += 1
success = validate('aaabbbbbbaaaabbabaabbaab')
if success:
result += 1
success = validate('babaabbaabbbaaababbbbbaa')
if success:
result += 1
success = validate('abaababbabaabbabbaaababbbabaaaaa')
if success:
result += 1
success = validate('bbaababbbbbabbbbbababbba')
if success:
result += 1
success = validate('aababbaaaaabbbaaaaababbabbbababbbbaababbabaaaabbaabbabaa')
if success:
result += 1
success = validate('aaabbabbababaaaabbaabaaa')
if success:
result += 1
success = validate('bbaabbaaabababbbbbabaaaabaaabbabababaaaaababbbaaababbabb')
if success:
result += 1
success = validate('aabaaabaaababbaabbaabbbbababababbababbaa')
if success:
result += 1
success = validate('babaaabbbbabaabbbbaababbbaaaaabb')
if success:
result += 1
success = validate('bbbbbabaaaaaabbababbabaabbaaabbb')
if success:
result += 1
success = validate('aaabbbbabbaabaabaabaabaa')
if success:
result += 1
success = validate('abababaaaaaabababaabaabb')
if success:
result += 1
success = validate('baabbabaabbbaaabbabbbbbb')
if success:
result += 1
success = validate('abababbbaaabbbbbbbaabaaa')
if success:
result += 1
success = validate('abaaabbbbbabaaaabaaaabab')
if success:
result += 1
success = validate('aababababaaabbabbbaaaaba')
if success:
result += 1
success = validate('abababbbbbbbbaabbabbaaaa')
if success:
result += 1
success = validate('bbaabbaabaabaabbbabaaababbaaabaababbbaba')
if success:
result += 1
success = validate('aaababaabbabaaaaabbabbbaabbabbbbababbbbbbbabbbabaaabbaaa')
if success:
result += 1
success = validate('abbabababbbbababbbaaabaa')
if success:
result += 1
success = validate('babbbbbaabaaabbbabbaaaababaabbbbbbabbabbbbbabbaa')
if success:
result += 1
success = validate('baabbabbaaabaaabbaabbbbbbaabbbabaabaabaaaabbaababaaaabaaaaaababbbbbbbaaabaaaabbb')
if success:
result += 1
success = validate('babaababbabbaabaaaabaabb')
if success:
result += 1
success = validate('bbbababababbaaabaabbbaaa')
if success:
result += 1
success = validate('bbabaaabababaabababbbbaa')
if success:
result += 1
success = validate('ababbbbabbbaabbaabbaabbaabbaaababaaaaaaa')
if success:
result += 1
success = validate('aabbabbbbbaabbbbaaabbbbbaaabbabbabbbaaaaabbaaababaaaaabb')
if success:
result += 1
success = validate('aaaaababbabbbaabbaababbbbabaaaaabbabbaabbbabbaab')
if success:
result += 1
success = validate('babbbbbaababaaaaaaababbaabaaaaaabbababaa')
if success:
result += 1
success = validate('babaabbababbbbbaaabbbabb')
if success:
result += 1
success = validate('aabbaabbbbbaabababaaaaba')
if success:
result += 1
success = validate('aaabbababbbbababaababbab')
if success:
result += 1
success = validate('abbabbbabbbaaabbaaabaababbabbbaabbaabaaababbbaaa')
if success:
result += 1
success = validate('aaababbaabbbabaaabababbbbbbbabbbbabaabbb')
if success:
result += 1
success = validate('abbaaaabaaaaaaabbabaabaa')
if success:
result += 1
success = validate('aaaabaababaaababbabbabab')
if success:
result += 1
success = validate('aabaabaaaaaaaaabbbbbbaabbaabbbbaabaaaabbaabaabbbbaababbb')
if success:
result += 1
success = validate('abaababbbbbaaabbbabbaaabbbbbaaab')
if success:
result += 1
success = validate('ababaabaabaaabababaaabbbabaaaabbaaaaaaabaaaababbabbbaaaaaaababbb')
if success:
result += 1
success = validate('bbbbbabbbbbaaabbabbbbaaa')
if success:
result += 1
success = validate('abbaabaabaababaaabbaaaabbbababbabbabbbab')
if success:
result += 1
success = validate('babbbaababbbaabaaaabbbbabbbbbaabaabbabaa')
if success:
result += 1
success = validate('bbabaabaaaaabbaabaaabaaa')
if success:
result += 1
success = validate('aabaaabbbbbbbbabaabbbabb')
if success:
result += 1
success = validate('abaababbabbbaabaabbbaaabbabbbbaa')
if success:
result += 1
success = validate('babbbaabaaaabbbbbaaabbbb')
if success:
result += 1
success = validate('bababaaaababbababbbaabbaabaaaabb')
if success:
result += 1
success = validate('ababaababbbbaaabaaaaabaababbaabbaaaabbabbbabbbbaabaaaababaaaabbb')
if success:
result += 1
success = validate('abbaaabbbaaaababaaaabbababbaaabaaabbbaabbababaab')
if success:
result += 1
success = validate('baabbbbaababaabbaabbabbbaaabbabaaabaaaaabbbbaaab')
if success:
result += 1
success = validate('bbaabbbabbaaaabbaabbbbbabbabbbabbbaaabab')
if success:
result += 1
success = validate('babababbbbabaaaabaaababababbaabb')
if success:
result += 1
success = validate('baaabbbabbbbabababbaaaba')
if success:
result += 1
success = validate('baaabbabbbabbbbbaabbabaa')
if success:
result += 1
success = validate('bbaabbbababbbabbbabaaaaabbabaaba')
if success:
result += 1
success = validate('bbaabbaaaabbbbbabbbbabbbaaaabbab')
if success:
result += 1
success = validate('baaabababbbaaababaabbabb')
if success:
result += 1
success = validate('aaaaababbbabbbbabaabaabaabbababb')
if success:
result += 1
success = validate('babaabbabbabaaaaababaabaaaaaaaaa')
if success:
result += 1
success = validate('abbbaabaaaaabaababbbabbabbbaaabbaaabaabb')
if success:
result += 1
success = validate('bbabbbaaaaabaababababbbbbbbbaabbaabababb')
if success:
result += 1
success = validate('abbabbbaabbababbabaabbba')
if success:
result += 1
success = validate('aaaaababbbaabbbaabbababaaabaababaaababbb')
if success:
result += 1
success = validate('aaabaaabbabbaaababbabbaabbabbaab')
if success:
result += 1
success = validate('aaabababbaabaaabbaabbaab')
if success:
result += 1
success = validate('babbbbaaaaaaaabbabababaabbabbabbaaababaababbaababbaaaaaa')
if success:
result += 1
success = validate('babaaaabaababbaabaabbababbbbabababababbaaaaabbbabaaabbaa')
if success:
result += 1
success = validate('aabbbbabbabbbaaabbbaababbbaababbabaaabbbbbbbbaaabababaabbbbbbaabbbbaaaba')
if success:
result += 1
success = validate('aaabaabaaaaaaaababaababbbaaabaaababaabaa')
if success:
result += 1
success = validate('abbbabbaabbbabaaaabababb')
if success:
result += 1
success = validate('abababaaabbbabaabbabababaaaaabbbbbabbbbbbbbabaabaababaabbabababaabbbabab')
if success:
result += 1
success = validate('bbbbbbababbbabaaabbaabba')
if success:
result += 1
success = validate('aabaaabbbbaaaaaaaabbabaa')
if success:
result += 1
success = validate('aabaaababbbbabababababbbaabaabbabaababab')
if success:
result += 1
success = validate('ababbbaaaaababbabababbabaababaabbbbbaaaa')
if success:
result += 1
success = validate('aabbaaabbaaaabbbaaaaabaaaaaaaaaa')
if success:
result += 1
success = validate('bababbababbaaaababbabbbbbbaababbbbaabaaa')
if success:
result += 1
success = validate('abaabaaaaabaaabbabbbabab')
if success:
result += 1
success = validate('bbbababbaabbaababbaaaaaabbaaaaab')
if success:
result += 1
success = validate('aabbbaabbbbbaaaaaaaabbabbaabaabbbbabbbbabaaaaaaaaaabbabbbaaaabbb')
if success:
result += 1
success = validate('babababbabbababaaaabbbaabaaabaaaaaabaabb')
if success:
result += 1
success = validate('baabbaaaaabbaaabbbaabbab')
if success:
result += 1
success = validate('aaaaabbbbabbbaabbaaaaaab')
if success:
result += 1
success = validate('aabbbbaabbaabbbbabbbbaab')
if success:
result += 1
success = validate('bbbbabaababbbabbbbabaabbbaabbababbaabbaaaabaaaaa')
if success:
result += 1
success = validate('ababababbbbabbbabbbabaaabbaababaaaaabbba')
if success:
result += 1
success = validate('aababaaabaaababbabbbbbbabbabbaabbaaabaaa')
if success:
result += 1
success = validate('ababaabbbaabbababbbaaabbbaababbbabaaaaba')
if success:
result += 1
success = validate('abababbaaababababaaabbbabbbaaaab')
if success:
result += 1
success = validate('aabaaabbaaaaaaabbabbabba')
if success:
result += 1
success = validate('baaabbbababbbabbaaababbb')
if success:
result += 1
success = validate('babbaaababbbabaabbbbbbba')
if success:
result += 1
success = validate('bbabaaabbbabbbbbaabaabab')
if success:
result += 1
success = validate('abababaabaabbababbbaabbb')
if success:
result += 1
success = validate('aaabbabbaabbaaabababbbabaababaabaaaaabba')
if success:
result += 1
success = validate('bbababbaabababbbbabbaaba')
if success:
result += 1
success = validate('baaaabbabaabbaaabbbaabaaababbaaaaabbbaaa')
if success:
result += 1
success = validate('aaaabbbaaabbbbbabaaabbaaaaababbabababaaaabaabbabbbbaaaabaababaab')
if success:
result += 1
success = validate('bbabbbbbababaabababbbbbaabbbaabb')
if success:
result += 1
success = validate('abaabbababbabbaabbaabbbabbbaaaabbbbbaaab')
if success:
result += 1
success = validate('aabbaabbabbbbabbbbabbbaaabbbabbbabbbbabbaaaaabaa')
if success:
result += 1
success = validate('bbabaaaabaaabbbabbbabababaabbbbaabaaaaabbaababbaabbaaaba')
if success:
result += 1
success = validate('abbaababbbbbaaaabbbbaabbbbabbbabbaaabaabbabaababbbbaaaaa')
if success:
result += 1
success = validate('aaaabababbaabbaabbbbbbabbabbaabb')
if success:
result += 1
success = validate('baaaaabaaaaaaaababaababbaabababaabbbbaaa')
if success:
result += 1
success = validate('abbabababbaaaaaabbaaabba')
if success:
result += 1
success = validate('aaaabbbaabaabaababaabbabbaabaaaabababaaabaababbaaaaabababbaabaababaabaab')
if success:
result += 1
success = validate('babbbabbbbbbbabbbbbbbaaa')
if success:
result += 1
success = validate('abaaababbbabbabaabbbbabbbaaababaaaaabaaaaaabaabaabbbabbababaaabbbaabbbbaabbbabbb')
if success:
result += 1
success = validate('bbabaabababbbaabbaabbababbaabbbbabaaaaaaaaabbaabbabbbbbb')
if success:
result += 1
success = validate('aabbbbbbaabbabbbbbbaaabababbabaaaaabaaaa')
if success:
result += 1
success = validate('bbbabbbaaababbaabaaababbbaaabaabbaaabaab')
if success:
result += 1
success = validate('baabbaaaaaabbbbabbabaabaaaaabbbbbbbbbaba')
if success:
result += 1
success = validate('abbabaabbababbabbbbabaab')
if success:
result += 1
success = validate('abbabaabaabbbbbaaabaaabbbaabaaaa')
if success:
result += 1
success = validate('aaaaababbaabaaabaabbabbbbbaabaabbabbababaababbab')
if success:
result += 1
success = validate('aaaaabbbabbabbbabaaaaabb')
if success:
result += 1
success = validate('aabbabbbbabbbaabaabbbbbbbbabbaaabaaaabbbbbabbaabbbaaabbbababbbba')
if success:
result += 1
success = validate('bbbbababbbaaababaababbab')
if success:
result += 1
success = validate('abbbaabababaabbaaababbba')
if success:
result += 1
success = validate('bbbbbbababbbaabaabbbbabbbabbbaba')
if success:
result += 1
success = validate('bbabaaaabbaabbbbabbbaabb')
if success:
result += 1
success = validate('baaaabbababbaababbbbaaaabbaaabaabbaaaabababaaabaaabababb')
if success:
result += 1
success = validate('bbabbaaaaabaaabbbbabbaba')
if success:
result += 1
success = validate('bbaabbbbabaababbbbaaaaba')
if success:
result += 1
success = validate('babababbabaababbabbbabab')
if success:
result += 1
success = validate('bbabaaaabbbbbaabbaababaabaaaaaabbabaababaababbbaababbaaa')
if success:
result += 1
success = validate('aaababbaaabababaabababbaabbabaaa')
if success:
result += 1
success = validate('bbaabaabaabaabaaabbbaaabbbaabaabbbbbbbbaabbbaabbabaaaabb')
if success:
result += 1
success = validate('baaaaabaaaaababababbabbbaabbbbaabbbbabbbbbaaababbaaabaab')
if success:
result += 1
success = validate('baaaabbbababaabababababa')
if success:
result += 1
success = validate('abbbbaaababbbaaabbabaabbaaabbabaabbabaaabbbbabbaabaabbababbbbbaabaabaababbaaabaababbbabb')
if success:
result += 1
success = validate('babbbbbaabbababaabababaaaaaaaabbaabaaabbababbbbaabaabbbaababbaba')
if success:
result += 1
success = validate('aaaaaabbbabbbbbaaabababaabaaabba')
if success:
result += 1
success = validate('aabaaabbaaabbbbababbbaaa')
if success:
result += 1
success = validate('abaabbbbaabbbbabbbbbbaba')
if success:
result += 1
success = validate('abbbaaabaaaaababbbbbbbabbbbabaabaaaabaaa')
if success:
result += 1
success = validate('bbbaaabaababaaaaabaaabaa')
if success:
result += 1
success = validate('bbaaabbbbaabbbabbbbbabbaabaaaaba')
if success:
result += 1
success = validate('abababbabbabbbbbabbaaaba')
if success:
result += 1
success = validate('abbaabababbaaabbbabbaaaa')
if success:
result += 1
success = validate('abaabaaaabaaabbbaababaab')
if success:
result += 1
success = validate('baaabbbabbabbabbaabaaaab')
if success:
result += 1
success = validate('bbaabbabaababbbbbabaabbbababaaabaabbbbabaababaaabaabbabbababaaab')
if success:
result += 1
success = validate('bababbbbbbababbabbbabbaa')
if success:
result += 1
success = validate('aabaabaaaaaaabaaaabaabbb')
if success:
result += 1
success = validate('abbbaaababaabaaaabbabbbaabbbaaaabaabaaaa')
if success:
result += 1
success = validate('aaaaaaaaaaaabaabbaabbbabababbaabaaabbabb')
if success:
result += 1
success = validate('bbbabbbbbabaabbaabbbbaab')
if success:
result += 1
success = validate('aabbabbbbababbabbaabaaba')
if success:
result += 1
success = validate('bbabbbbbbbabaabbaaaabbab')
if success:
result += 1
success = validate('aaaaababaabbbbabbabbaaba')
if success:
result += 1
success = validate('bbbabbbaaabaaabbaaaababaaaabaaaaaabababb')
if success:
result += 1
success = validate('bbbbabababaabaabbabaabbabbbabbabbabbbbbb')
if success:
result += 1
success = validate('aababaaaaaabbbbbaabbabab')
if success:
result += 1
success = validate('abbbabbabaaaaabbbaaaaaaabbabbabaaabbaabbbbaaaabbbbaababbabaaababbababbbb')
if success:
result += 1
success = validate('bbaabbbaaabababaaaaaababbbbababaabbababbababbaaaaaaaaaabbabaababbbaaababbbabbaaa')
if success:
result += 1
success = validate('aaaaabbbaababbaababababbbabbbbbababababa')
if success:
result += 1
success = validate('aabbbbbbabaabaaabaaaabbbaabbbaaaaaabbbbb')
if success:
result += 1
success = validate('bbbbbabbbaabaaabbababbbbbbbaaabaaabaaabaaababbbbbabbabbaabbaabbb')
if success:
result += 1
success = validate('aabbaaaaaabbbbabaababaaaabbababbaaababbb')
if success:
result += 1
success = validate('aabaabbbabbaabbabababaaaabbaabbbabaaabaa')
if success:
result += 1
success = validate('aaababbabbabaabaabababaaaaabababbbbbabbabbbbaaaa')
if success:
result += 1
success = validate('abbbabbaabbaabaabbabababbbbababaabbbbaaa')
if success:
result += 1
success = validate('baaabbbaaabbabbbabbbbabaabababaabbaabaabbbbbaabb')
if success:
result += 1
success = validate('bbbabbbbabbaabaaabbbabaaaabababaaaaaaabbbbaabaaa')
if success:
result += 1
success = validate('abaaabbbbbbbbabbaaaaababbababaabaabaaabbababbaaabaabbbaa')
if success:
result += 1
success = validate('aaabababbbabaaabababaaaababbbaba')
if success:
result += 1
success = validate('aabbaabbbaabbbaaabaaaabb')
if success:
result += 1
success = validate('abbababaaabbaaaaaaaaaaabbbabbbaabababbababaaaaaa')
if success:
result += 1
success = validate('aaaababbbbbabbbbaaabababbbbaaabaabbababb')
if success:
result += 1
success = validate('bbbabaaaabbbbabbabbbbababbaaabba')
if success:
result += 1
success = validate('abaaabbbbababbababbabbaabbaaabaababbbaaa')
if success:
result += 1
success = validate('abababaaabaaabbaababbbbb')
if success:
result += 1
success = validate('ababaaaaaabaabaababbbbbaaababaab')
if success:
result += 1
success = validate('abbaabaaaaaaaabbbbabaababbaaaaaabbbabaaabbabbbbabbabbbabbbabbaba')
if success:
result += 1
success = validate('baabbaaaaaaabbbbababbabb')
if success:
result += 1
success = validate('aababaaaabababbabaaaaabaababaabaababaabbaabbbaaababbbbaa')
if success:
result += 1
success = validate('bbababbbababbbbaaabbbaab')
if success:
result += 1
success = validate('baaabbbbbbbbbabaabaabbbbababaababbaabaabaabbababaaababbaabbaabbaaababaaabbabaaabbbabaaaa')
if success:
result += 1
success = validate('aaaaabbabbaaaaaababaaabaabaaababababbbaaaabbbaaaabbaabaaabababab')
if success:
result += 1
success = validate('bbaabbaabbabbbaaaaaaabbbbaabaaababbbbaaababaabbbbabaabab')
if success:
result += 1
success = validate('bbbbabababbabbbbaaaababaabbaabba')
if success:
result += 1
success = validate('bbbaababbabababbababaabaaaabbbaaaabbbaab')
if success:
result += 1
success = validate('bbabaabbbabaaaabbabbbabbbbbbbaaaaaabaaaa')
if success:
result += 1
success = validate('abbababbbabaabbaabbbbaaa')
if success:
result += 1
success = validate('baabaaaaaaababbaabbbaaaaabbbaaababbabbbbabbbbbbaabbbabba')
if success:
result += 1
success = validate('aabbababaaabaaaabbbaaaaaabbbbaab')
if success:
result += 1
success = validate('bababbbaabaabaaabaababba')
if success:
result += 1
success = validate('bbbaaabbbbbbaabaabbbbbab')
if success:
result += 1
success = validate('bbbbabbbbaaaaabbbbaabbab')
if success:
result += 1
success = validate('bbbabbbababbbabbbabbabab')
if success:
result += 1
success = validate('abaabaaababaabbabbbbbabbbbbbabababbbbbbb')
if success:
result += 1
success = validate('ababaababaabbaaabaaaabbbbabaaaabbbbbabbbaababbabaabbbabb')
if success:
result += 1
success = validate('aaaabababaabbabababababa')
if success:
result += 1
success = validate('baababaabbbbbbabbaabbaab')
if success:
result += 1
success = validate('abababaaabbbabbaaaabaaabaaaaaaaa')
if success:
result += 1
success = validate('bbaabbbbaabbabbaabbbaababbbaabaaaabaaaba')
if success:
result += 1
success = validate('babababaaaabbbbbaaabbbbabbaabaaabaaaabbbababbbbaababbababbaaaaab')
if success:
result += 1
success = validate('bbbaabaaabbabbaabbaabaaa')
if success:
result += 1
success = validate('babbaabbbabaabababbaabaabaabaabbaabbabbbaaaabaabbbbbbbbbaaabaaababaaaaaabbbbaaaabbbabaaa')
if success:
result += 1
success = validate('babbbbbaaabaaabbaabaaaab')
if success:
result += 1
success = validate('bababbababaaabbaabbaabbb')
if success:
result += 1
success = validate('bbaabbbbaaaaabaaabbabbbbbbbbbaaa')
if success:
result += 1
success = validate('bababbabbbabbbbbabbbbabbabababbaaabbaaabbbaaabbabaaaababbbbaaaabbbabbbab')
if success:
result += 1
success = validate('bbaabaabaaababaabbbbbbbb')
if success:
result += 1
success = validate('bbaabbaaaabbaabaabbabbaabaaabbbaaaabbabbbabbbaba')
if success:
result += 1
success = validate('bbbababbbbbbaababbbaabbbbaababba')
if success:
result += 1
success = validate('bababbababababbabbaaabab')
if success:
result += 1
success = validate('aaabababbbaabbbbbbabbbba')
if success:
result += 1
success = validate('bbbabbbaaaababaaabbbbabbbbabbabbabbbbaab')
if success:
result += 1
success = validate('aaabababababaaaaaabaaaab')
if success:
result += 1
success = validate('abbbaaabbbbbbaabaaaaabba')
if success:
result += 1
success = validate('abbaaabbbaababaabaabbaab')
if success:
result += 1
success = validate('aabaabaaabbaaaabbaababaaaabaaabbabbabaaa')
if success:
result += 1
success = validate('abbabaabbbbbbaabbbbbabaaabbbabbbabbaaaaa')
if success:
result += 1
success = validate('aaaaababaaaaaaabbbaababbbbaabaabaaaaaabbaabaaaabbaabbabb')
if success:
result += 1
success = validate('abbbabbaaaabbabaaaabaabb')
if success:
result += 1
success = validate('bbabbabbbbbbbbaaabaaabbbbabaaaaa')
if success:
result += 1
success = validate('aaaaabbbabaabbbbbbbaaaabbabbbbbbbabbaababbbbabba')
if success:
result += 1
success = validate('babbbaabbabbbbbabbabbaab')
if success:
result += 1
success = validate('abaaaaaabbbaabbaaaabaabaaaabbbbabbbbbbaabbababaaabbbaabbbbaabaaabaababaaababbbab')
if success:
result += 1
success = validate('aabaaababbaabbbbabbaabbaabbaabbb')
if success:
result += 1
success = validate('abbaaaabaaaaaabbaabbbbbbabababbaabbbbababbaabbabbaabaaba')
if success:
result += 1
success = validate('baababaabaaaaababbaaaaba')
if success:
result += 1
success = validate('abbabbaabaaababaabbbbbbaabbabababbabaaabaaaabbab')
if success:
result += 1
success = validate('abaaaaaaabbabababaaaaabbaaaaaaabaaababbbbbaaaaaababaaaabbabbbaaabaaabbabbaaaabbbabbbbbbb')
if success:
result += 1
success = validate('bbbababbbaaababaabbaabba')
if success:
result += 1
success = validate('abababbbbbabaaaaaaabbaab')
if success:
result += 1
success = validate('baaabababbbaaabaaabaaabbababbaba')
if success:
result += 1
success = validate('abaaabbabaabbbbaabbbaabbabbaaabbababbaababbbbbbaabaaabababbabaab')
if success:
result += 1
success = validate('bbaaaaaaaabbaababaabaaaa')
if success:
result += 1
success = validate('bbbbbbababaaabbaabbbabaaaaaabbaaaaaaabaabbbbabba')
if success:
result += 1
success = validate('bbbbbbaaabbababababbbbbababbbaabababaaab')
if success:
result += 1
success = validate('baaabbabbaaaaababababbbbabbababaabbaaaaaababaaabaabbababaaabbababbababab')
if success:
result += 1
success = validate('babaaabbbaaabbaabbbabbbbbaabbaabaababbab')
if success:
result += 1
success = validate('bbaababbaaaabababbaaabbb')
if success:
result += 1
success = validate('aaaabbbbbaabaaababaaaaaa')
if success:
result += 1
success = validate('abbbabaaaabaaababbaaaaaabbbbbbabbaabaaababbbbaabaabaaaaaaabaaaab')
if success:
result += 1
success = validate('aabbbbbbaaabbbaaababbaba')
if success:
result += 1
success = validate('abbbbabbabbabbbbaaaabbbbaabbbaba')
if success:
result += 1
success = validate('bbbbabaaaaaaaabbbbaaabab')
if success:
result += 1
success = validate('bbbaaabababbbaabbabbabbbabaabbba')
if success:
result += 1
success = validate('babaababbabbbaabbabbbbbabbaabbaabbbbbabaabbbaabababaaabb')
if success:
result += 1
success = validate('bbababbaabbababbaabaabbb')
if success:
result += 1
success = validate('bbaabbaaaababaaababaabbaabbbabaabaabbbbbaaabbaba')
if success:
result += 1
success = validate('abaabbbbbaababaabaaaabab')
if success:
result += 1
success = validate('bbabbaaaaabbaababbaababa')
if success:
result += 1
success = validate('bababbbaabbabbababbbbaababababbaababbbbaaaabbbba')
if success:
result += 1
success = validate('abababbbbaaabababaaaabbabbaaabaa')
if success:
result += 1
success = validate('aabbaababaabbababbaabbbbaabbabbabaabbabbbbaabbab')
if success:
result += 1
success = validate('aaaaabaaabaaabbbaababbaaababbabaabbaaaba')
if success:
result += 1
success = validate('bbaabbbaaabbbbbaababababaaababaaabbbabbabbabbababbbbababbabbbabaaabaaaba')
if success:
result += 1
success = validate('abbabbbbaabaabaaaaaabaaa')
if success:
result += 1
success = validate('bbbaababbbbbabaabbaaaaba')
if success:
result += 1
success = validate('aabbabbbbabaaabbaaababbababbbbbb')
if success:
result += 1
success = validate('bbbbabbbbbbaaabaabbaaaba')
if success:
result += 1
success = validate('aaabbabbbbbababbbbaabaabbbbabbaaabbbbbbbabababababbabbbbabbabaabbbbbbababaababaabbbaaabbabbbabba')
if success:
result += 1
success = validate('bbbbabababbabaabbaaaaabbbbbabbabaabbabbbababababbabaabab')
if success:
result += 1
success = validate('bbaaaaaabaabaaabaaababaabbbaaabbaababaaabababaabaabaabbaaaabaabb')
if success:
result += 1
success = validate('abaaabbabbaaaaaabbbabbabbbbaaaabaababbab')
if success:
result += 1
success = validate('bbbaabaaabbaababbbbaabaabbabababababbaab')
if success:
result += 1
print('Result:', result)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment