source: git/factory/libfac/charset/tests/x1 @ 16055bd

31991
abcxyz
a*(x+y+z)-(x-y-z);
b*(x+z)-(x+y-z);
c*(x-y+z)-(x+y);
0;