[{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"runner","type":"address"},{"indexed":false,"internalType":"uint32","name":"moves","type":"uint32"},{"indexed":false,"internalType":"bool","name":"personalBest","type":"bool"},{"indexed":false,"internalType":"bool","name":"newRecord","type":"bool"}],"name":"Cleared","type":"event"},{"inputs":[],"name":"EXIT","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MAX_MOVES","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"SIZE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"START","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"best","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"finishes","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"c","type":"uint256"}],"name":"isWall","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"lastRuns","outputs":[{"components":[{"internalType":"address","name":"runner","type":"address"},{"internalType":"uint32","name":"moves","type":"uint32"},{"internalType":"uint64","name":"at","type":"uint64"}],"internalType":"struct Ledger.Run[]","name":"out","type":"tuple[]"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"record","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"recordHolder","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"stations","outputs":[{"internalType":"uint16[12]","name":"out","type":"uint16[12]"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"bytes","name":"moves","type":"bytes"}],"name":"submit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes","name":"moves","type":"bytes"}],"name":"verify","outputs":[{"internalType":"bool","name":"ok","type":"bool"},{"internalType":"uint256","name":"steps","type":"uint256"},{"internalType":"uint256","name":"cleared","type":"uint256"},{"internalType":"uint256","name":"at","type":"uint256"},{"internalType":"string","name":"reason","type":"string"}],"stateMutability":"pure","type":"function"}]