[master.git] / ar / assignments / src / 4.model

sat

(= i3a3 3)
(= i6a3 3)
(= i8a5 47)
(= i0a3 3)
(= i6a6 30)
(= c6 6)
(= i0a5 5)
(= i8a3 3)
(= i0a4 4)
(= i2a6 6)
(= i8a4 50)
(= i1a6 6)
(= i10a6 54)
(= i7a2 4)
(= i3a2 4)
(= i10a5 47)
(= i5a2 4)
(= i3a4 8)
(= i8a2 4)
(= i7a5 47)
(= i5a5 23)
(= c8 4)
(= i1a3 3)
(= i1a5 5)
(= i10a2 4)
(= i2a5 5)
(= i4a4 17)
(= i3a6 6)
(= c3 5)
(= c5 5)
(= i5a3 3)
(= i9a4 50)
(= i5a4 17)
(= i9a6 30)
(= i9a2 4)
(= a1 1)
(= c1 2)
(= c7 5)
(= c2 4)
(= i9a3 54)
(= i10a3 54)
(= i3a5 14)
(= i7a3 3)
(= c10 6)
(= i2a2 4)
(= i5a6 6)
(= c0 0)
(= c9 3)
(= i4a5 14)
(= i4a6 6)
(= i7a4 17)
(= i6a5 23)
(= i10a4 50)
(= i0a2 2)
(= i4a2 4)
(= i4a3 3)
(= i6a2 4)
(= i2a3 3)
(= i7a6 30)
(= c4 4)
(= i2a4 8)
(= a7 7)
(= i6a4 17)
(= i8a6 30)
(= i9a5 47)
(= i0a6 6)
(= i1a2 4)
(= i1a4 4)