q = query(composite(8))
q = query(composite(18))
claims($q)
q = query(composite(18))
claims($q)
quit
q = query(composite(18))
q3 = query(very_composite(8, 3))
claims($q3)
ls
lls
help
all_claims
q3 = query(verycomposite(8, 3))
claims($q3)
help
q3 = query(very_composite(8, 3))
l
q3 = query(very_composite(8, 3))
q3 = query(verycomposite(8, 3))
all_claims
help
claims($q3)
all_claims
q3 = query(verycomposite(8, 3))
