Path	Lines of Code
zookeeper-specifications/protocol-spec/Zab.tla	1160
zookeeper-specifications/system-spec/zk-3.7/FastLeaderElection.tla	486
zookeeper-specifications/system-spec/zk-3.7/ZkV3_7_0.tla	1905