From 73dd11722db5fe9b34812089b3b93f3b35af9820 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Thu, 8 Jan 2026 13:44:01 -0700
Subject: [PATCH] Rebuild for nauty 2.9.3