Bot Trust solutions

Bot Trust was solved using Standard ML by 2 contestants.

7986. download rgr (S, L)
8512. download functional (S, L)