Sha256: c179bc1a1d8ba756e6bf3201e0390624a7931b17c9174d68de36b749d2a55b28

Contents?: true

Size: 664 Bytes

Versions: 0

Compression:

Stored size: 664 Bytes

Contents

x]o06cC [47]
1E
b7(g$3~vVH+&sqb##O>@LzJOR7Smn=gOn{-%Ǟa/Oz	PAC-wfư~~i~c	IR{?|
$	5="vz,b隍#/Wr!P$eYŐH$T%Ҕq	!stťGcQ:f`^[(lpahNŲn`"{H!	!	rNj/V,	#ZI>zq1Bt3
"(rR"gEy626M{YAO+=W5ݪVM.TYW*
VXU]
bf#jCܺMv8(UG2E
~%,"%d*N	#[6qf㰡_Q1Bn&ؙ3	{<	ZwLr\VePsZzVx>7ju\L!7	pN.!ȤGɅ(>x[_YBoN.xLTNgHYkX$Lt,}=,X%

Quick Spec version

metanorma-0.2.4