This file is indexed.

/usr/share/singular/LIB/perf.py is in singular-data 1:4.1.0-p3+ds-2build1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
3
4
5
6
from Singular import number
n=number(1);
s=number(0)
for i in xrange(1000000):
	s=s+n
print s