Sha256: 6a84fad10403de4454160a702b58f480edd95d9d56c531d21805ad78801a0062

Contents?: true

Size: 374 Bytes

Versions: 0

Compression:

Stored size: 374 Bytes

Contents

xuRN1EB.уC&{1qQc/2@#nů#?Ŷhd޼y3m+(zKfWϫ5o|^x<$̋9b]&_IFѡ#yB1^ܖ"dS1F"]po9Dרf4E(+ϐk	VA*1W4#e/Sh[x=ȕ2|ep\vmU
WJfe(N/pgXj6~Y>ũ;D!EC+&Mb41vƘ27h  6,}BO1l5Z˨~P-$-s/!

Quick Spec version

gecoder-with-gecode-1.1.1.1