Sha256: 8aaf2538f1f1dd6e1169acc1c8081a60cc25a608bf99d04ec0caaa73fc33ae8c

Contents?: true

Size: 369 Bytes

Versions: 0

Compression:

Stored size: 369 Bytes

Contents

xmQJ1"}(E	q!V%f%vɘdٹf&{sι'.5sҹABNVtcavw7THMF"VR@@q^B{~/'L`}޻"`3)OylU}xʥRmy@kNhot>.†"dF#ma;Yg
3n6{cl"Kyƥ*[d@#xJMuI
n\Gt0N9),&*s۸uYqFE&뱴neY.*h$f0>>H;6ǾPIk|5kC>

Quick Spec version

axiom_of_choice-1.0.0