17
b
c
d
e
f
g
h
i
j
ba
bb
bc
bd
be
bf
bg
bh
500
(-bd | -h | -ba | bd | -bg | -d)
(-h | -ba | -b | bh | -bf | j)
(-bc | j | e | ba | -c | bf)
(-e | -j | i | e | ba | -c)
(-bg | -c | -e | h | -b | bg)
(-bf | bh | bc | h | -j | -e)
(-bf | b | -be | g | bf | -b)
(-c | -bc | -h | -bb | bg | -bf)
(c | -h | -g | -ba | be | -i)
(bd | bg | be | -d | -ba | -j)
(-f | -bh | -i | -h | -g | -h)
(-i | -c | bf | c | -g | -e)
(bf | -d | i | -h | -be | -i)
(-f | -c | -d | -c | bg | i)
(d | g | bc | -h | bh | -h)
(-b | h | j | bc | f | i)
(b | -h | -j | -bh | b | ba)
(-b | -bb | ba | -bf | c | h)
(-bb | -bc | b | j | be | -i)
(-bc | h | -bc | -bb | e | -bh)
(j | -be | -e | bh | -f | -d)
(bh | bh | -j | -d | bh | -be)
(bg | g | b | d | f | -bf)
(-be | bd | bc | -bc | bf | e)
(c | -i | -b | -bg | -bf | bg)
((bg & i) => (-be | -b | ba | j)
(-bf | be | bf | bf | bd | c)
(f | b | -be | be | i | h)
(-bf | c | -i | bf | bd | h)
(bg | -bc | -j | -bh | -h | bc)
(-f | c | -j | bg | bc | -bf)
(-bd | h | -bd | -bc | bh | -ba)
(-h | -j | -b | -be | bh | -g)
(-f | -e | ba | bf | bb | c)
(d | bc | -bb | -c | -i | -f)
(-be | f | bg | bf | bh | -bc)
(bd | -bf | -bb | bb | ba | bg)
(-e | -be | -bh | i | -bb | h)
(e | -g | -bc | bf | -be | f)
(i | bh | -c | -bd | -bd | bg)
(-bh | -be | -bb | bg | b | -bg)
(d | j | bc | ba | bd | f)
(bh | -c | bb | f | bd | -bh)
(-j | -e | bc | be | i | -bf)
(i | -bf | -bg | -i | be | -bg)
(-f | -b | d | -i | ba | -be)
(-h | c | bd | bb | -bh | -be)
(-j | -bh | -b | bb | -d | -bf)
(g | bc | -be | -bd | bb | -e)
(b | -f | bf | ba | bf | -i)
(-bg | -bb | -j | d | -bf | d)
(g | ba | -f | -c | be | -g)
(-bc | j | -bb | -bh | ba | -i)
(-bf | g | be | -be | f | -bg)
(-b | e | be | g | -bf | i)
(-bf | e | be | d | ba | ba)
(ba | e | -b | bg | -h | -g)
(-be | bd | c | b | -d | bc)
(bh | -bf | i | -f | j | -ba)
(-b | -d | -g | b | g | -b)
(-i | -bh | -bb | i | bb | bd)
(bf | b | bf | bg | -bb | d)
(c | -h | bc | -b | -bh | -ba)
((-i | g | -bf | g | -b | -g) & (-bh | -b | -bd | -bb | bc | -ba))
(-j | bc | bd | bf | bd | -f)
(f | g | b | -bc | -h | -bb)
(bd | -bg | bf | bc | -bd | d)
(j | d | -bf | bg | bh | b)
(d | ba | bb | be | -d | f)
(b | j | be | e | h | bg)
(-bh | -bd | g | j | bd | -bg)
(e | -bb | -h | be | -ba | -ba)
(bb | j | bc | bf | -bg | bd)
(d | -bf | bb | d | -e | ba)
(g | g | -be | i | b | g)
(d | -bh | g | bg | g | b)
(bc | d | -bf | bc | -bh | -i)
(g | -bd | -bg | -e | bd | bd)
(-h | c | -bd | -ba | -d | -be)
(-i | -j | -i | d | c | j)
(-i | c | -d | bc | -i | c)
(b => (-b => ((c | (e & f)) => ((g & -h) | (e | h)))))
(c | -j | -be | -j | bh | -bh)
(-c | bf | bh | -e | f | -ba)
(-bc | b | h | -bd | -h | d)
(-be | b | bg | g | -bb | bf)
(f | j | bc | h | -ba | -h)
(be | -h | h | -e | i | bf)
(bc | h | j | d | be | -ba)
(d | bc | -h | -be | bd | -d)
(ba | -g | -f | -j | bg | j)
(-bh | g | h | d | -e | h)
(-bb | bh | -bc | f | be | -j)
(bf | bh | -f | -ba | -bh | -c)
(f | -be | -ba | ba | -b | j)
(f | bb | f | -e | -bd | -bb)
(-ba | ba | -b | f | -ba | -bb)
(f | f | i | -i | bh | -bg)
(-c | c | bf | bd | ba | -b)
(-f | bf | bh | -b | f | c)
(c | -c | bf | j | -be | -g)
(-f | -e | -bc | b | b | -bh)
(-bf | be | e | f | -b | b)
(-bb | j | bd | bb | c | e)
(-e | j | d | -bf | -g | bh)
(d | h | -j | b | bd | e)
(-f | -ba | -i | -d | bg | -bd)
(-j | -e | -j | -f | d | e)
(-e | -f | -e | -bc | c | -g)
(-bg | g | -be | -d | -be | bf)
(e | -c | ba | -b | bg | -e)
(bb | j | -bf | -h | -i | -g)
(bh | -d | -j | -e | -i | bh)
(-i | b | -bg | e | f | -e)
(e | be | be | -f | -bh | -bh)
(g | b | bg | f | -bg | -c)
(i | f | -bh | g | -ba | -bd)
(bh | -bb | bg | bb | b | -i)
(ba | h | g | -bd | bg | b)
(-bc | f | d | -g | b | -j)
(-ba | bh | bh | -bc | -be | bh)
(j | -bf | -bc | bb | -f | bb)
(e | -d | bb | bg | bb | c)
(-bf | h | -bc | b | d | -c)
(bf | -f | -j | f | j | i)
(-g | b | -f | -b | j | ba)
(bc | -h | e | -be | -g | -f)
((-bd & h & -be & bh & g) => h)
(ba | be | -ba | f | bd | -bc)
(-bb | bh | -e | -c | -bd | be)
(-j | -bf | bg | bb | i | b)
(bd | f | -be | g | bc | -d)
(-bh | j | -e | -bc | j | bc)
(be | -f | -bh | bh | -c | bf)
(c | -f | -bd | ba | -h | -bf)
(be | d | -bb | -bf | -e | e)
(f | -e | -j | -e | -bg | bg)
(-be | g | -c | g | -e | d)
(-bd | -g | -bg | -bc | -f | -c)
(-g | bf | -bf | -bh | -e | ba)
(e | i | -bg | -bb | -b | bf)
(c | i | -b | -i | -be | bd)
(bb | be | -c | bf | -e | i)
(f | g | h | bf | -h | i)
(-bf | -j | e | -bc | be | -ba)
(-c | -f | h | bh | g | bf)
(-f | -bh | bf | b | -g | -b)
(bd | -c | -ba | -b | bf | -i)
(-h | be | h | -bh | -bd | be)
(-bb | -bc | d | bc | g | -be)
(-bb | ba | ba | -ba | -bb | -b)
(e | -ba | -f | ba | be | f)
(g | c | g | e | be | f)
(bc | g | c | -bf | i | bh)
(bh | be | bf | -h | be | bc)
(-bc | -f | -bc | -i | -e | e)
(-g | -h | -h | bc | -ba | -bf)
(bc | -g | -bg | be | -ba | -h)
(-ba | j | bb | bb | -i | -b)
(e | -bh | -i | -e | -bf | b)
(ba | -c | bb | -b | d | g)
(bh | d | bc | c | -c | -d)
(bd | bf | -bd | b | -bh | b)
(-bb | c | i | bd | -bh | e)
(f | j | -bh | -j | bf | -bg)
(-be | ba | d | -bg | bb | b)
(-d | -d | -bb | -c | -ba | h)
(-b | h | d | -e | bf | -j)
(bd | e | h | d | -d | -ba)
(bb | -ba | i | ba | bh | -c)
((-j & -bb & -bf) => (-d | -bb | -e))
(bh | ba | -bd | bf | -bf | -bg)
(i | b | -d | j | -bg | -c)
(bc | -d | -bc | -i | -c | -ba)
(-g | be | -bg | -bb | b | h)
(g | bf | j | b | -bh | -bb)
(bd | bh | g | -e | -bh | -bd)
(bh | -f | -bc | -c | -h | -d)
(ba | -be | bf | bc | -ba | b)
(-e | -be | ba | -e | b | h)
(b | -c | bd | bf | -bd | -ba)
(-bc | bh | -bf | h | b | bc)
(be | g | e | -be | -e | be)
(-c | -c | g | i | -bf | bd)
(bh | -c | ba | h | c | c)
(-h | c | j | b | bc | -g)
(-ba | -bf | -be | i | -i | be)
(f | -g | -f | f | d | -be)
(-bf | be | h | bh | -c | -f)
(-bc | -b | f | g | -be | -e)
(-h | f | -c | -f | -h | g)
(-be | bd | -bh | bg | -bh | bc)
(-be | bb | d | bc | -ba | d)
(i | -b | -f | -bc | i | i)
(ba | -e | ba | d | -b | -g)
(-bf | -i | e | -g | -be | -bg)
(-ba | -h | -bd | i | -bg | b)
(-f | -h | bg | be | bb | c)
(-ba | -bh | -bg | bd | -c | h)
(-bd | -g | h | -i | -i | -bb)
(i | -i | ba | -bc | -bb | -be)
(bc | bd | -bd | -be | b | -h)
(-be | -h | -bb | b | -h | -bd)
(-i | -bh | e | g | be | -bf)
(-h | e | bb | -i | -be | -i)
(j | h | c | -bf | h | -ba)
(-bf | f | bh | -bd | c | bh)
(-bf | bh | -bf | bb | g | e)
(-bf | bd | ba | ba | bf | -bh)
(bc | -e | ba | -bg | g | e)
(-i | -ba | -g | -e | -j | bd)
(-c | be | -bg | e | d | -bh)
(bc | -f | -b | -be | h | bb)
(-f | c | -bg | -j | -g | g)
(e | bf | bd | ba | -j | d)
(bh | -be | d | -g | c | f)
(h | i | -f | i | -ba | -g)
(bf | bh | -bg | -bh | bc | ba)
(h | -be | -d | g | bg | -be)
(be | -e | -i | g | c | -f)
(h | c | e | -b | -bh | -bb)
(-bh | bg | -f | -bc | -e | bh)
(c | e | d | -f | -h | -ba)
(-bh | bh | -bb | c | bc | e)
(-h | -bd | -bf | -bf | g | -j)
(c | j | f | -b | be | bf)
(h | bb | bd | bf | bh | -bh)
(-i | g | b | g | -bg | be)
(bd | -d | -be | h | -b | -bf)
(-bg | f | -j | g | -bg | bg)
(-bh | bb | bb | -bc | -d | -i)
(-ba | -i | h | bd | -bf | bb)
(-h | -h | -bg | j | e | -bf)
(-ba | be | -bf | -g | -bh | -e)
(f | -i | j | -ba | b | -g)
(-be | ba | bf | f | b | bb)
(-bd | -be | -bb | bc | b | -bh)
(-g | -ba | -h | -bg | -b | -f)
(b | bd | c | b | -g | -bh)
(-d | bb | -bh | -h | -h | be)
(e | h | c | -bg | -bf | -g)
(-c | j | -c | g | -b | bh)
(bd | bc | e | b | bf | -be)
(j | -d | -e | b | -bb | -h)
(-bg | bc | b | e | ba | -bg)
(-g | -bb | bd | bh | -ba | j)
(j | c | -h | bf | -h | -j)
(-bf | -b | ba | bh | be | -d)
(-ba | -bc | -be | c | h | -bd)
(-ba | bc | bc | j | bb | -bg)
(b | -c | -h | d | bf | j)
(be | -bb | bh | -bc | bg | -d)
(c | -j | -f | bc | bf | bg)
(-c | -b | b | f | -bc | -bf)
(be | -bd | -ba | bc | bg | -bf)
(-d | -g | ba | -h | -bg | -bf)
(-j | -bg | bh | -bg | i | bh)
(-bf | -g | -i | ba | j | -c)
(-bc | f | b | -i | -d | bf)
(bb | -bc | i | -b | g | -bb)
(-e | i | -bd | -bh | -bf | be)
(bc | -c | b | -bh | -bh | bg)
(bc | -f | -bd | -i | -b | -b)
(g | -f | c | -h | g | -i)
(bf | e | bc | i | -h | -bf)
(bh | -e | d | -be | -i | -bf)
(-be | bb | -bg | -i | -bh | -i)
(-j | h | i | e | -be | be)
(-ba | i | ba | e | g | -bg)
(-bc | -b | -d | be | bg | bb)
(-bb | bd | -e | c | be | bc)
(-h | -b | -f | g | bb | -ba)
(bf | b | be | bg | e | -bg)
(bb | -bg | -bg | -bb | ba | -bh)
(ba | -be | -bg | -bg | bg | -bg)
(bb | bf | bf | -c | d | -bf)
(bg | -e | -bh | -bb | -bb | bc)
(-f | bc | -f | -f | -ba | d)
(f | h | -h | -h | -bc | -be)
(-ba | -e | -b | -bh | -bg | d)
(-bf | -c | ba | -f | -bc | -i)
(-d | -be | ba | -d | -h | be)
(-e | i | -bg | c | b | -be)
(-bg | -j | -ba | -bb | -e | -bb)
(-bd | c | -h | bb | ba | -j)
(f | bh | f | h | -bc | -e)
(bh | h | f | -b | bh | h)
(-i | -h | -bf | -bb | bc | b)
(d | bc | -bf | -be | bd | -j)
(g | -bd | d | ba | bb | -bf)
(bb | b | bg | -f | -c | bd)
(g | -e | i | h | -d | -bd)
(-f | -h | bg | d | be | -be)
(ba | g | -h | -h | -bh | e)
(-bf | -f | -i | f | -b | -g)
(bh | b | j | e | -bb | b)
(-ba | f | b | bd | -c | be)
(c | -c | d | f | h | g)
(-bg | bf | -j | -bd | h | be)
(-bh | -b | be | f | bc | be)
(bb | bd | i | g | e | c)
(-h | -h | -ba | bh | -bg | -d)
(-i | -c | c | -bf | g | -c)
(h | -g | b | c | c | -i)
(i | e | -c | -b | e | -h)
(ba | h | -be | -i | -f | h)
(-j | -be | b | bh | f | h)
(b | bc | c | -g | -f | e)
(d | c | -bd | i | -e | bg)
(-h | -c | bg | -ba | -ba | -e)
(-g | b | b | -bc | bb | -d)
(b | g | -b | g | bc | -b)
(-e | bh | d | e | ba | -d)
(e | -bc | ba | bf | -c | e)
(d | -g | h | bg | -bc | -i)
(i | -bd | c | b | -e | -c)
(bg | -bg | bb | -g | g | bd)
(-b | bc | -h | bg | -bc | -b)
(-bc | -bf | -e | be | bh | d)
(bg | -bh | -bb | -ba | -bf | f)
(-i | i | -b | bf | j | bb)
(-ba | d | f | -b | -bf | c)
(g | bg | -bg | -bg | -bd | -bb)
(-g | be | -c | -be | -bb | -bf)
(g | -h | -c | bb | bc | ba)
(-ba | -d | bd | g | -bc | bd)
(bf | f | -c | -bb | -ba | -bd)
(g | bg | -h | b | -j | -bd)
(-be | -ba | -c | ba | -bh | -bg)
(bf | bd | -i | ba | c | e)
(-bc | -g | bb | -h | -f | -j)
(-e | bf | -bc | -be | -e | g)
(c | -j | -bh | i | ba | bg)
(g | c | -bf | -b | e | -d)
(c | -j | f | j | -ba | bd)
(b | -bd | j | -bc | be | be)
(-i | -f | -ba | -d | e | -c)
(-bf | bd | -bh | j | c | -f)
(-bc | -h | -c | -be | h | -bh)
(-bb | -bc | bh | bh | -bh | -j)
(-ba | h | e | -be | -h | -be)
(bb | -i | -bb | bc | -bc | c)
(e | g | i | e | -g | -g)
(be | -e | bb | bd | f | -be)
(-h | h | c | bb | -ba | -ba)
(i | bd | bh | -bc | -bc | -g)
(b | -bc | -bh | -bb | -bh | -bh)
(-bb | e | -b | be | -bf | bb)
(-g | ba | bg | d | -bb | -ba)
(-i | bh | f | bf | -bg | -j)
(-b | -g | d | bg | -d | bh)
(ba | -b | bd | -i | i | b)
(-bg | -i | -j | e | j | bh)
(-c | h | ba | bc | -bg | -j)
(e | ba | bf | c | -b | e)
(-bb | -bg | -i | -bf | -bb | -ba)
(-e | -h | -bb | e | -d | -g)
(-b | -bf | ba | -e | h | -bc)
(bd | c | -be | -b | -be | -e)
(d | be | -i | bh | -bh | -bb)
(-be | -bd | -d | -bh | -d | e)
(-be | i | -bf | -bh | bf | -bf)
(-bg | -be | -h | f | bf | -b)
(-be | g | b | e | -bc | -be)
(-bc | -bg | bh | -e | j | bd)
(bf | ba | -h | d | b | bh)
(bb | ba | j | -g | -bh | bc)
(i | -bd | e | f | c | -bh)
(ba | j | ba | -ba | -bg | bd)
(-i | -f | -c | -b | -ba | be)
(-be | -e | -i | -bd | e | ba)
(e | bh | -ba | -h | -f | bh)
(-bc | -ba | -c | -i | bc | -b)
(bf | ba | -h | -c | g | -bg)
(-bd | -bb | d | bg | i | bb)
(-bg | -d | -i | -c | -i | bh)
(-bg | -bh | c | bh | bg | bg)
(-bh | e | -i | i | -be | -bd)
(-e | -f | -d | bg | -i | i)
(be | d | d | -bc | -bb | b)
(-f | -c | -bb | -bc | -h | ba)
(h | -f | bf | b | -c | -ba)
(-h | f | -bd | c | bc | bb)
(e | bd | b | g | -e | g)
(bb | be | -bd | bf | -d | -bg)
(d | -be | ba | -d | be | e)
(bf | -bd | -ba | e | -bc | -be)
(bb | bh | -g | g | ba | -bf)
(f | e | bd | -bg | -bb | bd)
(-bf | -c | -c | -e | h | -be)
(c | bc | i | -h | d | bc)
(-be | be | -f | be | j | j)
(b | -be | -be | h | b | f)
(bf | bb | -g | -bb | -be | c)
(-bf | e | i | -bd | -h | -e)
(-bg | bd | be | f | -bd | bd)
(-b | bc | be | -c | -c | bf)
(b | -bd | bb | -bh | -bb | h)
(-f | -j | be | -bc | h | -c)
(-c | bc | -bb | bg | bd | bb)
(-bf | -e | -ba | -bc | -bg | -e)
(-d | c | -bf | h | e | -f)
(bb | g | bh | bg | d | e)
(bd | -i | -bc | i | -c | -g)
(-be | -h | h | bf | i | -bh)
(b | b | -bg | d | bb | i)
(-b | bd | -be | -f | -bb | -g)
(bb | bc | -bf | e | -j | bb)
(-bg | -g | c | -h | be | e)
(bd | -h | i | j | -bc | -e)
(-c | bd | bb | -bd | b | -g)
(-ba | bh | d | -j | -f | -d)
(d | e | e | -be | -f | g)
(g | -g | b | -bf | -be | -f)
(i | f | -ba | -bf | -i | bh)
(e | ba | -bc | -b | -e | -bd)
(-c | c | b | -f | e | be)
(e | j | h | -ba | -bh | -f)
(i | -g | bh | bg | e | -bg)
(d | b | bc | -bd | -c | bh)
(bg | bb | -e | i | bh | bg)
(i | be | -be | -bg | bb | bf)
(bg | -bh | -h | f | -g | c)
(c | -bc | d | c | -g | -bh)
(-ba | bf | bb | -bh | b | bg)
(bd | d | -i | h | -bb | be)
(-i | bh | -c | -g | -e | bf)
(g | bf | -c | -j | -bg | d)
(-c | -j | bd | -be | bg | h)
(bg | -bb | bd | bf | e | -f)
(be | f | e | -bg | -ba | bf)
(bh | -c | e | -bh | -b | bc)
(e | j | bc | -bc | -j | i)
(bg | -c | -g | -f | -ba | -bb)
(ba | e | d | bf | i | -bb)
(-bf | bh | e | -bd | bd | -b)
(-be | -bc | -f | bf | b | g)
(be | -c | -c | bc | -bg | -bg)
(bb | j | h | bc | ba | h)
(-d | h | bf | bc | -f | g)
(-b | -i | -g | bh | h | b)
(-ba | -bb | c | -bd | d | c)
(-g | -f | -i | -d | -bd | f)
(bh | -b | -d | -bh | -g | g)
(c | bc | -f | -bg | -bc | -bh)
(-i | c | be | -bc | b | bf)
(-ba | i | -i | -h | c | -bg)
(-bf | bb | -bf | -h | be | -i)
(bg | g | bc | ba | f | j)
(-bg | -bg | -e | -e | bh | bg)
(-g | be | bb | -bb | -d | -g)
(-bh | bg | e | -f | -d | e)
(-be | -f | j | -bf | -f | -c)
(-e | -h | be | h | -bc | h)
(-b | f | be | -i | d | j)
(-f | -f | j | -bg | -f | c)
(-f | e | -bb | bc | bh | -h)
(-c | b | bf | -d | -h | d)
(bd | bb | d | -bb | h | -j)
(b | bb | f | -g | -f | -f)
(bf | -bb | -e | ba | -bc | -bf)
(bh | -d | -c | bd | d | h)
(-bg | g | -bf | -j | bg | -bf)
(-bd | be | -i | b | -e | -b)
(e | j | bh | bd | j | -ba)
(-f | bc | -bh | g | bb | ba)
(-b | -b | c | -e | g | -i)
(e | -bh | ba | -bc | -f | j)
(bb | -f | -bc | -c | -g | -j)
(bc | -e | h | -e | -bb | -b)
(bc | bb | j | f | -bb | bh)
(-c | e | c | -be | -bg | -bg)
(-ba | -bh | -e | -bc | d | d)
(b | -b | i | ba | -i | ba)
(-ba | be | i | bh | c | -i)
(-bg | -h | bg | bh | -j | bg)
(f | -h | -d | -e | -f | ba)
(-bh | -c | -b | -bf | e | ba)
(bh | bc | -c | -be | -c | bf)
(bd => (-bc => (g => (bb => (c => -be)))))
(b | -e | -f | bh | g | -g)
(e | -bf | j | bd | bd | bd)
(-be | -be | -i | g | -e | g)
(-i | -i | -bg | -b | -be | e)
(-bg | bg | be | bb | -f | bc)
(bd | j | -e | bc | -bh | -bg)
(bg | i | bg | -c | -bb | bc)
(bd | ba | b | g | -e | bd)
(-c | -bf | -j | -g | h | b)
(b | -bc | -bb | h | -be | d)
(e | -be | bg | -d | d | bg)
(-h | f | -e | -g | -e | -bg)
(-g | b | bc | -i | c | -bc)
(be | -g | g | b | c | bd)
(i | bh | -f | c | h | bf)
(h | -bd | c | -e | -bc | bc)
(-be | bd | i | bb | -bh | -d)
(ba | bd | e | -f | -j | bc)
(bh | bd | -f | h | h | ba)
(-bh | g | j | -ba | bd | -bh)
