Bot Trust solutions

Bot Trust was solved using Standard ML by 2 contestants. Solution sizes: average 2886 bytes (shortest: 2831; longest: 2941).