全労済とは何ですか