Sha256: 2d62fa98e0346409ca37b51762ee73efc419a2f8d7d7d089d5776f3be888072a

Contents?: true

Size: 418 Bytes

Versions: 0

Compression:

Stored size: 418 Bytes

Contents

xuj@l%$kYIR	3_C5?')N}\nq	?CWR͕QY7'"ao(}Aew1/746;,O}C6?/a)I('Ң$e4]2\Hh4+h"̭iM^P98o^h"7Hc]>naףk!{A~1nmZb@!KOFszl7\ae]rBS<LP~j`,ql
BC|⫚Af"S;$Gg@snF_*Tg<+m`G[\m.~PJXFȋ',

Quick Spec version

gecoder-with-gecode-0.9.1-x86-mswin32-60