Hi ID4,
Assuming it's 576p@50 Hz (31kHz), you can just take the arcade_31:
crt_range0 31400-31500, 49.50-65.00, 0.940, 3.770, 1.890, 0.349, 0.064, 1.017, 0, 0, 400, 512, 0, 0
...and do these changes:
crt_range0 31400-31500, 49.50-65.00, 0.940, 3.770, 1.890, 0.349, 0.064, 1.017, 0, 0, 400, 576, 800, 1152
(yes, it will handle 1152i@50Hz too)