P
Initializing...
Correctness of the variant (round six, `l12v_correct`) · Prove2Me