| { | |
| "token_to_id": { | |
| "<pad>": 0, | |
| "<unk>": 1, | |
| "<sep>": 2, | |
| "(": 3, | |
| ")": 4, | |
| "->": 5, | |
| ".": 6, | |
| "Animal": 7, | |
| "Associative": 8, | |
| "Divisible": 9, | |
| "Even": 10, | |
| "Finite": 11, | |
| "Group": 12, | |
| "HasIdentity": 13, | |
| "Human": 14, | |
| "Integer": 15, | |
| "Invertible": 16, | |
| "Living": 17, | |
| "Monoid": 18, | |
| "Mortal": 19, | |
| "Natural": 20, | |
| "NeedsWater": 21, | |
| "Odd": 22, | |
| "Prime": 23, | |
| "alice": 24, | |
| "bob": 25, | |
| "forall": 26, | |
| "g": 27, | |
| "one": 28, | |
| "plato": 29, | |
| "sep": 30, | |
| "socrates": 31, | |
| "two": 32, | |
| "x": 33, | |
| "zero": 34, | |
| "<axiom>": 35, | |
| "<goal>": 36, | |
| "<chain>": 37, | |
| "<step>": 38 | |
| } | |
| } |