File per prove con decomp, eliminate, resub
provab.blif
—
MindManager Map File,
229 bytes