1 a 0 a 0 a a 1 ab AB 1 ab AC 0 ab a 0 ab b 0 ab abb 0 * 1 * a 1 * abc 1 a* 0 a* a 1 a* ab 1 a* b 0 a* ba 0 *a 0 *a a 1 *a ba 1 *a b 0 *a ab 0 a*b 0 a*b a 0 a*b b 0 a*b ab 1 a*b axb 1 a*b ac 0 a**b 0 a**b a 0 a**b b 0 a**b ab 1 a**b axb 1 a**b ac 0 a*bc*d abcd 1 a*bc*d axbxbcyd 1 a*bc*d axbcyd 1 a*bc*d acbd 0 a*bc*d abxcd 0