Sha256: e1a3230b52ebe7558117e959cce7b84f05a20c59e57dd998741ce01dd2826e5d

Contents?: true

Size: 416 Bytes

Versions: 0

Compression:

Stored size: 416 Bytes

Contents

xuOk1MHm))ҩεM
-{(
#c[t'։ozV];!DV;o*qrF?k%vvoOg~saCVew15Hqϯ*q0N[CadKYNjJjE_jPMנm0
!9l|iJg
s@9ST>Eh#13Jmz:E"{~}wMy[hC*R"Q@N/m|WX:߸4տ:9_`Wp|PSH+x1h4w Dn(zB	(7g)yma'Ni.eSpmb A|2B0

Quick Spec version

gecoder-with-gecode-0.9.0-x86-mswin32-60