dictionnary.txt

addoption
autouse
bitlength
bytecodelen
coeffs
divmod
dotenv
dragan
extcodecopy
feltroidprime
fromhex
fspath
fullk
getcwd
isinstance
itertools
jumpdest
JUMPDEST
jumpdests
Kakarot
keccak
lastblockhash
levelname
lllcversion
mcopy
MCOPY
memcpy
mstore
nbits
negone
negthree
negtwo
nondet
notive
pedersen
pointee
PUSHN
randao
retesteth
secp
selfdestruct
serde
Serde
signextend
SLOAD
SSTORE
starknet
starkware
Starkware
summands
tempvar
unexisting
VERIF
zellic