Sha256: b37641c7089edbfcd7715f048db8ddf4b20fcc8b8e0e2a5e5a21b9cb6d44427e

Contents?: true

Size: 397 Bytes

Versions: 0

Compression:

Stored size: 397 Bytes

Contents

xuRKA2. +ZٝUdmA IL:JR8Ϳl$.~W߃>.<GMK*Gãrz.w*jpqCi};LCd̴h˯,Odg?z<
6*ĵjf-~iA3쓸&KaG

	.v6|p!&I'f3l˧0yۉ9&ސ}}9ӽ+fk/}G`|fʈ{?(5G;44*l+^mEڣ
BXhܐc L喇	8GXUܶ[Od!/}W:%/}_1|%QoM)Ż8I}[yVovb0
h

Quick Spec version

gecoder-with-gecode-0.8.2-mswin32