76e44ee5933c173533f6c97186112ffd01a35ae7 1 0
unsat
ab57bdb94d69bdaba64439f9bb267d64807e1b5e 1 0
unsat
401498352b7622bd35b4dfc98f7cffcbc6c68d8f 1 0
unsat
788a14cdbdb52ecdc7af1170ffad340615282c1d 1 0
unsat
975e232ce6b6ffe7dec903c82ba2e55be9be4b55 1 0
unsat
6b59badfb0234682536bb0ad166188999b0c6ddc 1 0
unsat
3382bcdf1086a48fcafa193342eaa14b3d909da5 1 0
unsat
b70039502c53afd0aa36eb84a1b69ddb2aa2d889 1 0
unsat
1708d764034dbf13b2c2700d611d5ffa101211d9 1 0
unsat
c477e950ae95e3b24973c8c733ec2bea8b9b2d38 1 0
unsat
1093c5f8705b619e8a7be9b8025eeb457136ec3e 1 0
unsat
dd3396716b2da248d8c9added0ceea02fef4ba84 1 0
unsat
bdcc1e71a24633edb63d0dd3ba120c65e846f3ce 1 0
unsat
e2eacbb801fda7d852db0c81474cb853fd1c712b 1 0
unsat
f0d4a4b3c8c63de26b273932bfe1395e8b793560 1 0
unsat
88c2d9cc032fd024a08d4ba295900da6bce5f5d4 1 0
unsat
1bcdaf67c99875bf6db184c44d694d9acd5f4fe6 1 0
unsat
c00707370876ed215f3713cd85573c4763ec2a26 1 0
unsat
1cb480a8b9f94702afaeb571497b186daedb1ef8 1 0
unsat
9e8b9e428288ae30c668e8f03352d15d8e286432 1 0
unsat
196c4a9a6b5640282f300e93c54ff8eb71316ff5 1 0
unsat
1826991131b49208eb8677e518d5be0f42b61b38 1 0
unsat
55f83dbb53da0f4b9428053cd94f44601bcaa774 1 0
unsat
ab7c984b7a66073b1abad84ef52b929976a35d86 1 0
unsat
bfa3fce180488cfe4ad0ac727bb623640e0d32b2 1 0
unsat
90e9872517e16cc673eb5c48dc5cbf7bc9c432ac 1 0
unsat
72e166f5efdbfd3fe1c8bdfadba5d3492475412c 1 0
unsat
c02804bc11c152c5fb78f37c0e820d1472eb067d 1 0
unsat