error-message-index icon indicating copy to clipboard operation
error-message-index copied to clipboard

SkolemEscape -> 83865

Open akrmn opened this issue 2 years ago • 1 comments

akrmn avatar Jun 13 '22 14:06 akrmn

This code is wrong, SkolemEscape is 71451

VictorCMiraldo avatar Jun 11 '23 14:06 VictorCMiraldo