Sha256: 94333c7ff14ed28e4baed207648f038e27bae76804c808435db7a7ebfce39810

Contents?: true

Size: 416 Bytes

Versions: 0

Compression:

Stored size: 416 Bytes

Contents

xuj@l$6
ͬkYM	
Zkg!Ώ}Ud8J0fd^CJٟdSs~-Pc_7[4v]^uC7{آ?ZդORiK`׃4]2\Hh	4+h"̭iM^P98o^h"񷍙Jc]>naok!;yp̗n6-)PғQ
;q9Dޟw*9	*5¯s^u3YCáuBM%5MWhh@|U3LPuuJAr;gg0giT"ҩxVDq /a)]b!/&

Quick Spec version

gecoder-with-gecode-1.0.0-x86-mswin32-60