(type egg)
(signature "nondeterminism egg")
(timestamp 1612269487)
