ludvikgalois/cogent3 archive