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

P0 1298.4 1347.8
P1 1276.4  749.8
P2  457.2  618.3
P3  367.4 1534.8

# No support.