Sha256: aad78e446e82961a264b88ba3e769a57744e8c3eeef9a4ee68881f210793288a

Contents?: true

Size: 459 Bytes

Versions: 0

Compression:

Stored size: 459 Bytes

Contents

xn@#ؤj"AA!G$hn/9DkgRn$xބ'upS]xvx{`})!WyJU.?g$^Oqs.	lQc%ʨ	&6M4r_/~ @Efo_T	Y+!}ɐR'J'~UW
d|0?WK`1g'Mvl'N
ܻ$pNj:zXxZ{ȋ8e(l5EqQu	h 5Wf h$@+8Gϣv˪S`Ï͗H{;op	(Di);E-˕t
 w$<de
GA0f{XGʁ+Fb
Ɍ>g|OWReӫ\e:!ǹ6^veG{/w

Quick Spec version

noam_lemma-0.2.1.3