Sha256: e3a8f80e85877f3103673e9e9b3db576c55ec39f334233c4353154d89411e751

Contents?: true

Size: 442 Bytes

Versions: 0

Compression:

Stored size: 442 Bytes

Contents

xR]O@%j6jm,᱉PwkbjI߶ؗ} 0{0MӜaP̜{9c0s(}g5di<ζguo~8@	/7M/`\y7r

owLߺgxʈۈ %kTSi[>=IWkn6S5̔J6S9ݱZ_{vXLʩ9H}(]Q\J̥<I?D^1!5yy]W'^Ũ*{Ϛ4qUQЮ졂{"f1ZZ˃F\$.,Z7}s.묷(I:9l[s~V sLz><^IexW]-in%4^y;	
NC!:K

Quick Spec version

refinements-12.1.0