[{"inputs":[{"internalType":"bytes32","name":"k","type":"bytes32"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"},{"internalType":"bytes32","name":"m1","type":"bytes32"},{"internalType":"bytes9","name":"m2","type":"bytes9"}],"name":"check","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"pure","type":"function"}]