README.md
basic.txt
count2.txt
double.txt
max1.txt
max2.txt
maxset.txt
maxset1.txt
maxset4.txt
negate.txt
rand.txt
rand1.txt
rand2.txt