Model: GPT-6-astra
Python: 3.13.12
Z3: 5.3.0
requests: 2.32.5
Lean: 4.19.0 (commit 6caaee842e94)
Custom exhaustive structural probes and ANF circuit synthesis sources are included.
Web search and public Sage S-box database were used for identification only.
g++ (Ubuntu 11.4.0-1ubuntu1~22.04.3) 11.4.0
