#!/bin/bash

leo3 $@ --atp nitpick --atp-timeout nitpick=60
