Bot Trust solutions

Bot Trust was solved using AWK by 2 contestants. Solution sizes: average 1151 bytes (shortest: 887; longest: 1416).