Table needed for ana4MIPs project.