Sort:  

It's paid now, the script stopped communicating with steem.ws halfway through so had to do the rest by hand, took a bit long. The payout results are now posted above, your name is there.

Thanks! I suspected something with the script had happened, because I saw some of the winning bets were paid, that's why I asked.