f8131fc95dc9a23303848596d1224789d5ff1445eff49f1791e0d27b22d40053  Gate.tla
a7d57914660a151c959d81329b7e1c4aafc45804a09317eefa9b4745ec1b8c2f  MCGate.tla
dad4b21334333e007eb30a99970a0931b708949715c01a33497af9d812d4b8ed  Gate.cfg
1a532851f5cecf70264e70674845f56e6d994c732bc728fd5db1eb8e1bb6b527  check.sh
01e4359f384da373027e89cc917d6e43937410ec25ad891d9344eed957b27b74  Dockerfile
681f2f86927ce84ece16e0104aa38bc10ea475bbfd56b7582d709bced462ad9c  GateProof.tla
124199036c1b21062199d6e731d11b305ae9696350bda047dab2f88a240a0dd8  prove.sh
737fccd8004199136ea12f8bea8c8d3900a464054882d38ca283c527f2168bab  Dockerfile.tlaps