Sha256: 0ba80b0c92a7a82f273a94a8f5f912241a83bc2dbb03ad847750ab47ccfa5f04

Contents?: true

Size: 398 Bytes

Versions: 0

Compression:

Stored size: 398 Bytes

Contents

xuRKK[AN\
ł`Og]o- w!w%M"L&';#]^۞{%ty|f'Oo))kc-O*co(كa_7aFY]8O|o4>O~hd]Qk8E9$
gB"Dh[DYҚrpνZy1o1}Ǻ|eGtxPŨ6<K̔Zz-.Q3@٫/o*nG;Tj_۽&fƵC*:=0иT6G^!*;M@9LPUuJ()_x	+GM_+V</mx%?~r'?Y

Quick Spec version

gecoder-with-gecode-0.7.1-mswin32