read `NaiveCounting.txt`:

N:=200:

GenFv(3,a,{a[1]<=a[2]+a[3]},t,N);

GenFv(3,a,{a[1]<=2*a[2],a[2]<=2*a[3]},t,N);

GenFv(3,a,{a[1]<=3*a[2],a[2]<=3*a[3]},t,N);

GenFv(4,a,{a[1]<=a[2]+a[3],a[2]<=a[3]+a[4]},t,N);

GenFv(4,a,{a[1]<=2*a[2],a[2]<=2*a[3], a[3]<=2*a[4]},t,N);


GenFv(5,a,{a[1]<=a[2]+a[3],a[2]<=a[3]+a[4],a[3]<=a[4]+a[5]},t,N);

GenFv(5,a,{a[1]<=2*a[2],a[2]<=2*a[3], a[3]<=2*a[4],a[4]<=2*a[5]},t,N);


quit: