# Last edited on 2023-09-16 00:38:13 by stolfi

P0  577.4  105.2
P1  289.0  322.1
P2  507.4  763.5
P3  982.0  499.6

# No support. (Edited out?)