f25ed41b9df991ca013ffb737e49695c6266fc06199ce24256a582286eb33586  Gate.tla
dad4b21334333e007eb30a99970a0931b708949715c01a33497af9d812d4b8ed  Gate.cfg
db7236cc442a2d5d53c17d408f6e6c869fcf8164f9a1129b8e9fb135c495f37c  check.sh
01e4359f384da373027e89cc917d6e43937410ec25ad891d9344eed957b27b74  Dockerfile