Imports dat520.github.io/lab3/detector dat520.github.io/lab6/bank dat520.github.io/lab6/multipaxos Standard library imports container/list encoding/gob fmt io log net os strings time