Sha256: 85df25f29f32cb41d12b1398b021ee6fcab96d6495cd734c8bfa1400260cab08

Contents?: true

Size: 496 Bytes

Versions: 0

Compression:

Stored size: 496 Bytes

Contents

xS[o0`JUV$+oH(m٘#L@< Mkח> 9;JoO	*b)r⣓VI!tTsJ{s5}GcᶁI+w kꥡߋ;{
|<UҰu>~4|yVVd&d&CJ2cBNN3:RhAکw"*{W1FlR$_4H$1ah;7&P8Go_	D
*noI

.ɲn[&SqPH.*xs}^t&"ѡoAR/}V(ڿ+*dxfJ"i;K 
IIiv$9%'ᓉ.PB2`9C"p%E)YLԜZe%Gp/8840۽0W/ͩqҙ65~N3:

Quick Spec version

semantics3-0.14