Sha256: 22aaf349d2fcab0e6c4f596733cc53107248063f02c41ee80641bfa62fd267d1

Contents?: true

Size: 456 Bytes

Versions: 0

Compression:

Stored size: 456 Bytes

Contents

xOo0'&VLBY9"O`'GL`EAdPb+e>3
;%e"<f{`)!+E~o~ޫ9v.1-
`8^rde\sfPG_>gF[!{WFC+)!k'CBNGNQUW
x|0?wM%0jsoEIpkǾ+uZ~%%q-HQX#Fp_j̕ATJP`E.v"Lz^xTe~;^0~H`	(Di),tZ+:@n0mI;ilaD
*x![t-ƙ`e;"pt2WdrCUSqDŤ$^4}[

Quick Spec version

noam_lemma-0.2.1