Weird static data in C file

[msoos]

The file https://github.com/stp/abc/blob/master/src/sat/cnf/cnfData.c has some super-weird static data that is > 300 KB.

[msoos]

Also, dardata.c contains about 700KB of static data.