A BENCHMARK FOR VERICODING: F | Pangram Labs