{"98d6dadc00250586ac71842a1f0b3a2ba2196c60c70eb233904ac072da455350": "allow-only-nonzero-coins", "85d5acffd39b27153de76cfec85a818f6c185919b11c0fc8c4ecf13106e05949": "curry_hashes", "source_file": "gameref21/referee.clsp", "4787664b6c1d680bc2e5366501dd973584480697963211899f8fd372c931020b": "calculate-hash-of-curried-parameters", "9326461d6645ba52eff90e9a5879e671c6f065a064928f27ffe20bbec72dfd91": "is-coin-created-with-new-puzzle-hash-and-amount", "0d1707b35822766f67c8632ece21b8cfa4f43581365ee645312b9495065aaeff": "shatree", "efe93ea796e16c18c7b331bbd190ed71adfb3b2620e46824526de35e36b04993": "<=", "c281b40daed722b58775a400c5618072866940f559824bbd3d97ee972cbed61c": ">=", "608f29b9e4ec4428945deee551e3ad22cb6c3aa8696d275a9582dbcfa6f8ee87": "hash-expression-F"}