e1bd9b09ecc046c90fa67ab56ab4bc91c2137e7c 1 0
unsat
b0b514fa1c40f2df103dbe4bab9d6ee5e8e38622 1 0
unsat
4a2f9858de3b5f966f7cfe668d50b9fdbdccc28f 1 0
unsat
b403fe5b6096d56ba2e1efb5889c116ad939fb9a 1 0
unsat
07197240befc69475d497a3deb0cd58a7dc5035a 1 0
unsat
19797ddd09fac50784f91151252f6cbfe61e45fe 1 0
unsat
aae95453d4c2d67c25587bad0e870093008f21c8 1 0
unsat
586fe9c93d5a4634c21e336a3f011bf667295f8d 1 0
unsat
2de49ccadae9ad983581b90d74323c219d328a06 1 0
unsat
7c0a6866bb2417256d44d53c9d7cc8aa1afea73b 1 0
unsat
00738aadb1b8c4a3738b0d9345151d9314628cdb 1 0
unsat
cfe59e32fdada7e2400e8a4a36a9a1c57b6e6943 1 0
unsat
0c1a115ce11f64d84848e4e43f8f568ca009da60 1 0
unsat
e6fc30fe7a455e14f6da307ba6450d7a3ee50441 1 0
unsat
94dd0007678a5ab7d0ca74a327a14670df6381ad 1 0
unsat
6de5148ae90599cea51776126a320aa18e44b930 1 0
unsat
7b557ca70d803069d3ec0841f7b2f90180f7632c 1 0
unsat
04ec8bbf4ad5ec6998df2648b8f7d5128b689a93 1 0
unsat
e82e83431339e5060426d14b5f9b33f0e35290ef 1 0
unsat
748ebe13985717efeb5cfe13eebe2535d37f2be9 1 0
unsat
ba350e495fbbfb8ca8ba84ce8ea5cf5cfcb78c88 1 0
unsat
2e23d2adc09e970979a04c100cda2e246c4be751 1 0
unsat
13c805fce739c689f74923066ed5467cbe271049 1 0
unsat
9272ca3409998794083865eb22a5af989a22bbdd 1 0
unsat
158ebeaaae2e81911b4f0b18392fa55af050541c 1 0
unsat