{
  "Lottery_buyTicket": 5228,
  "Lottery_produceResult": 1620,
  "Lottery_refund": 14813,
  "Lottery_getReward": 14810,
  "Lottery_getCommisionForRound": 13572,
  "DistributionProof_init": 33,
  "DistibutionProof_addTicket": 1218
}