SQUARE: Translation to Scaffold and lazy baseline number of qubits

[ankprd]

In the SQUARE paper, the evaluation and examples are in Scaffold, augmented with a synthactic construct to flag uncomputation. How are the examples in the benchmark (in Cirq) converted to this format?

Besides, I don't understand the number of qubits reported in the paper for the lazy baseline. For instance in rd53 , only 11 qubits are allocated, while the paper reports that 19 are used by the lazy implementation of this example. Could you explain the discrepancy?