3 ms·Lean proved this program was correct; then I found a bug7 points by gopiandcode 6mo agoemiliazar 6mo ago[dead]