{
  "source": "proofs/SB3.lean",
  "sha256": "dea7674dee176f33b8fc688045c48231e4bfdce9afcc1e46c30c21374e9ae233",
  "appended_command": "#print axioms SB.sb3_hamiltonian_cycle"
}