Sha256: 08c2831dfc37269c6121ebca69dda242cc8e5fc4009da2b08c135a403b0a12b4

Contents?: true

Size: 356 Bytes

Versions: 0

Compression:

Stored size: 356 Bytes

Contents

xuPMO1EBV0r@01ѱgY8kb8	W/{ ;l[-ͿrvA1v̛Q3,
JԪڪqJdB'ho-4jg9a	#5&2uB'f~杘	V쑍~ڔaX\Wj-V* ʝ4Y&"FR_X!w8>kX+xg7A&tl+7\JRy>z2%#Vrn݄%*lPB(Mh\KswV"*'eIDjM4R7p;dKL0_

Quick Spec version

gecoder-with-gecode-0.8.0