setrand(275)            \\ Seed for random number generator.
\r rslll.txt            \\ Change the seed for each run!
rsearchlll(11,15,7)
rsearchlll(12,17,8)       
rsearchlll(13,19,9)
rsearchlll(14,18,9)
rsearchlll(15,22,12)
rsearchlll(16,27,13)
rsearchlll(17,33,16)
rsearchlll(18,32,16)
rsearchlll(19,38,16)
rsearchlll(20,43,16)
rsearchlll(21,42,16)
rsearchlll(22,45,16)
rsearchlll(23,50,16)
rsearchlll(24,62,16)
rsearchlll(25,66,16)
rsearchlll(26,75,16)
rsearchlll(27,78,16)
rsearchlll(28,89,16)
rsearchlll(29,86,16)
rsearchlll(30,97,16)
rsearchlll(31,98,16)
rsearchlll(32,99,16)
rsearchlllprime(5,7,3)
rsearchlllprime(6,7,3)
rsearchlllprime(7,9,4)
rsearchlllprime(8,13,6)
rsearchlllprime(9,15,7)
rsearchlllprime(10,21,10)
rsearchlllprime(11,27,14)
rsearchlllprime(12,27,13)
rsearchlllprime(13,33,16)
rsearchlllprime(14,37,16)
rsearchlllprime(15,45,16)
rsearchlllprime(16,43,16)
rsearchlllprime(17,53,16)
rsearchlllprime(18,59,16)
rsearchlllprime(19,75,16)
rsearchlllprime(20,77,16)
rsearchlllprime(21,93,16)
\q