Sha256: 5b8814847783ce1f3164965feba4fe3a34faad46f9f6802f7ecc1102bd361ed6

Contents?: true

Size: 395 Bytes

Versions: 0

Compression:

Stored size: 395 Bytes

Contents

xK1ݙUETĐK2Ȩ=Ժe(K̾	NpOC-&}/Y<پIu
\gNhge5ʷq[=!"a:&-y&(/=GBc'.9H%3dd!\9OC9N2ttY%\Δ(uU_Q
NnL>~˻apxL;Rw8ѿA&[
Ԡx~ȺʅFNzLǀE75cڧkt}H7p̔;ȵ=ᘌJ-ElрAa΂LT	p}`}D%*O Ѐ~]\R/s5jU6)'KzU

Quick Spec version

qed-1.3