Sha256: 24a46e82e5399f3b2a70fb0805ba6318528fa5f629bf34a83f5843d2c6cd995c

Contents?: true

Size: 397 Bytes

Versions: 0

Compression:

Stored size: 397 Bytes

Contents

xuR[KA"UBPyMڊ)}o%&!L&'НsY[^Un0Qs~P"*kv{ŅJ;C|}7-} 8kʯOƣ_?-a)I('Ңa4]2\Hh0V&zքv,׊CRqF˾uhء|<Í+R 3'Aĵtp5Vֵj(4K\C^Uݫibf8k];Bhc	)>9

QvmQDf"S'$G!π|2FǻM_1-&nu҆8~)]b%?*

Quick Spec version

gecoder-with-gecode-0.8.1-mswin32