f = put_file(a.ys)
q = query(allsat($f, Answers))
all_claims
f = put_file(a.ys)
q = query(allsat($f, Answers))
f = put_file(a.ys)
q = query(allsat($f, Answers))
f = put_file(a.ys)
q = query(allsat($f, Answers))
f = put_file(a.ys)
q = query(allsat($f, Answers))
f = put_file(a.ys)
q = query(allsat($f, Answers))
f = put_file(a.ys)
q = query(allsat($f, Answers))
f = put_file(a.ys)
q = query(allsat($f, Answers))
all_claims
f = put_file(a.ys)
q = query(allsat($f, Answers))
f = put_file(a.ys)
q = query(allsat($f, Answers))
all_claims
f = put_file(a.ys)
q = query(allsat($f, Answers))
f = put_file(a.ys)
q = query(allsat($f, Answers))
f = put_file(a.ys)
q = query(allsat($f, Answers))
f = put_file(a.ys)
q = query(allsat($f, Answers))
f = put_file(a.ys)
q = query(allsat($f, Answers))
f = put_file(a.ys)
echo $f
q = allsat($f, Answers)
q = query(allsat($f, Answers))
r = query_wait($q)
query_answers($q)
f = put_file(a.ys)
q = query(allsat($f, Answers))
r = query_wait($q)
echo $r
query_answers($q)
ls
f = put_file(a.ys)
q = query(allsat($f, Answers))
r = query_wait($q)
query_answers($q)
ls
