feat(archive/imo): IMO 2001 Q6 (#8327)

Commit

4 years ago

feat(archive/imo): IMO 2001 Q6 (#8327) Formalization of the problem Q6 of 2001. Co-authored-by: Johan Commelin <johan@commelin.net>