1. Integrability of the Floquet-PXP Cellular Automaton
    In preparation