Page values for "Mermaid:RE Programmable Device Extraction"