Sha256: dc3808966c0cfe5f85f9c9e2f7c2154a6d00f874095106377a9775b0bac9557a

Contents?: true

Size: 623 Bytes

Versions: 0

Compression:

Stored size: 623 Bytes

Contents

xU]o0-hʚc-i'ሩbc(^> ',8gH~
J$/}9>7Ma"zB#")ˮ6ܧ^O87R$c<%ߘ	\蠩>/	MaGe8ɞFε+>D	;Yoh)"I¾T0$C"X1,R)d"*@KYwqPL-nK-ny	re*,tۆ~rbȢ[㌤:]""JN%%|RZ2S`<_sN8)s>ŌxЀp79$,/uFXgs	jh}[`	[\h_!+vX@f
xncVRrDck%
b!7O4\7y+l%uw%e+kk?iX/\s_+O*l4L_ѳ(`G04d\] rL E
9E2s"UYS)s*,!Eq){uu

Quick Spec version

metanorma-0.3.8