Sha256: ec7a3464efec73abd7865768d7aa1c25696cde8a057b5115dcb26b8eca1db8b4

Contents?: true

Size: 363 Bytes

Versions: 0

Compression:

Stored size: 363 Bytes

Contents

xuPKO1FBxE&F{z0qpERl[]Cl7ߣTMF0|(LIEV,UG
V7<Pv:GiZ/ZGt	aFeViXngZ,rǩciI= Ain&$7	@h@Rq N֙qGI.forʴ+pu
D'9#iBֺY Hs=G\\E~k*qK5q­9l4K,KІиR&M?,:lw.r"R3A@URKO|svކ6'a<

Quick Spec version

gecoder-with-gecode-0.9.0