USE tpch1;
select count(*)%25 from nation;
count(*)%25
0