Path	Lines of Code
tla/raft_spec/MCraft.cfg	32
tla/raft_spec/MCraft.tla	37
tla/raft_spec/ccfraft.tla	849
tla/reduced_raft_spec/MCraft.cfg	29
tla/reduced_raft_spec/MCraft.tla	30
tla/reduced_raft_spec/ccfraft.tla	646