Quorums <- {{1,2}, {1,3}, {2,3}} Clients <- {1} max_req <- 1 f <- 1 max_vc <- 3 Operations <- {1} Replicas <- {1,2,3} max_c <- 3