Edit mod: Proof starts late, +750ms penalty. I've taken into account the lag at the end, so time may be lower then expected.