Sha256: 58aef7ff75b51e5b4905654ad52622e5fb4fbd2e4bc34d3d7c14b00c1b2168a9

Contents?: true

Size: 364 Bytes

Versions: 0

Compression:

Stored size: 364 Bytes

Contents

xuPN1FB<L2,DH"x)eٶv(7w]`mҴ)UӠ18-J))2Ȋj`.Uaf}L.!LXfa*ƣ{V9hcᒥXM34r*
:I6
(EB"x
k匎Q{it❠v,c|bF*Y{X]aI@ʝIvl~V&r:rU=qelm"f?5wq+5sm8l<+,KІиV&M,:L?RU9!H6*@9\zov{øni

Quick Spec version

gecoder-with-gecode-0.9.1