{"ok":true,"tool":"random","result":{"numbers":[3,5]}}