Sha256: 14fa8a8e020e3c38c84155154f8ea17fd0109af00773a50d927947a545360630

Contents?: true

Size: 357 Bytes

Versions: 0

Compression:

Stored size: 357 Bytes

Contents

xuPKA6M לs5
C$^MAٷ:L3ޮF4VQ{Y=2;UY6;wNv-:$j9a
>je'GN]3n_N;1 lR9)Nà$JZ2TRmAh;is˳Ly8ZyiC<L+[qT=ְDWoo>''MDs"VLw¥61|dqܙG8,r	wKTIi٠6K":PиDET:߿O@!ʒixo(w.Ι݅ao$

Quick Spec version

gecoder-with-gecode-0.7.1