Sha256: 67c8b8311c6097c9891e49f19df7e1fa0b58a50f1d314df78309007b05518405

Contents?: true

Size: 460 Bytes

Versions: 0

Compression:

Stored size: 460 Bytes

Contents

xn0'&VLBYD1e	. M/*'=]Bc;8v삧xN29N{|T?x7?%jl8weN_aY!~j2؍sG?<gF[mM5Z	TaR'J'+l>i%0js@7"tl/t{q+ߕ:l	|DxZ{؋8e(#IQu	/5Wf$x$@+gf;NdՑ)B͗H-zu#9ƒ%ldzpijYk%m'+]ag;iFG<,UNr
y1N%[~GהKϵ'L“M2X\LMEGk;F

Quick Spec version

noam_lemma-0.2.1.2