research/tlaplus/gossip/gossip.toolbox/Model_1/19-12-04-12-37-55/MC.st