;ExistenceOFF
; From: [3, valid(1), total(34), c, [[A, a, c], [A, b, c], [A, a, b]]]
#4:769
Acd
Abc
Aab
c Aad
#4:770
E-dc
Abc
Aab
c Aad
#4:771
Ec-d
Abc
Aab
c Aad
#4:772
Ac-d
Abc
Aab
c Aa-d
#4:773
Edc
Abc
Aab
c Aa-d
#4:774
Ecd
Abc
Aab
c Aa-d
#4:775
Ac-d
Abc
Aab
c Ead
#4:776
Edc
Abc
Aab
c Ead
#4:777
Ecd
Abc
Aab
c Ead
; From: [3, valid(129), total(4099), c, [[E, a, c], [A, c, b], [E, b, a]]]
#4:778
A-dc
Acb
Eba
c Aad
#4:779
Adc
Acb
Eba
c Aa-d
#4:780
Adc
Acb
Eba
c Ead
#4:781
A-dc
Acb
Eba
c Ea-d
#4:782
Idc
Acb
Eba
c I-ad
#4:783
Icd
Acb
Eba
c I-ad
#4:784
Oc-d
Acb
Eba
c I-ad
#4:785
I-dc
Acb
Eba
c I-a-d
#4:786
Ic-d
Acb
Eba
c I-a-d
#4:787
Ocd
Acb
Eba
c I-a-d
#4:788
I-dc
Acb
Eba
c O-ad
#4:789
Ic-d
Acb
Eba
c O-ad
#4:790
Ocd
Acb
Eba
c O-ad
#4:791
Idc
Acb
Eba
c O-a-d
#4:792
Icd
Acb
Eba
c O-a-d
#4:793
Oc-d
Acb
Eba
c O-a-d
; From: [3, valid(130), total(4100), c, [[E, a, c], [A, c, b], [E, a, b]]]
#4:794
A-dc
Acb
Eab
c Aad
#4:795
Adc
Acb
Eab
c Aa-d
#4:796
Adc
Acb
Eab
c Ead
#4:797
A-dc
Acb
Eab
c Ea-d
#4:798
Idc
Acb
Eab
c I-ad
#4:799
Icd
Acb
Eab
c I-ad
#4:800
Oc-d
Acb
Eab
c I-ad
#4:801
I-dc
Acb
Eab
c I-a-d
#4:802
Ic-d
Acb
Eab
c I-a-d
#4:803
Ocd
Acb
Eab
c I-a-d
#4:804
I-dc
Acb
Eab
c O-ad
#4:805
Ic-d
Acb
Eab
c O-ad
#4:806
Ocd
Acb
Eab
c O-ad
#4:807
Idc
Acb
Eab
c O-a-d
#4:808
Icd
Acb
Eab
c O-a-d
#4:809
Oc-d
Acb
Eab
c O-a-d
; From: [3, valid(131), total(4106), c, [[E, a, c], [A, c, b], [A, a, -b]]]
#4:810
A-dc
Acb
Aa-b
c Aad
#4:811
Adc
Acb
Aa-b
c Aa-d
#4:812
Adc
Acb
Aa-b
c Ead