This file is indexed.

/usr/lib/open-axiom/input/bags.input is in open-axiom-test 1.4.1+svn~2626-2ubuntu2.

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
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
--Copyright The Numerical Algorithms Group Limited 1994.
a:Stack INT:= stack [1,2,3,4,5]
pop! a
a
push!(9,a)
a
empty? a
b:=empty()$(Stack INT)
empty? b
c:ArrayStack INT:= arrayStack [1,2,3,4,5]
pop! c
c
push!(9,c)
c
empty? c
d:=empty()$(ArrayStack INT)
empty? d
e:Queue INT:= queue [1,2,3,4,5]
dequeue! e
e
enqueue!(9,e)
e
empty? e
f:=empty()$(Queue INT)
empty? f
g:Dequeue INT:= dequeue [1,2,3,4,5]
extractBottom! g
g
insertBottom!(9,g)
g
extractTop! g
g
insertTop!(9,g)
g
empty? g
h:=empty()$(Dequeue INT)
empty? h
i:Heap INT := bag [1,6,3,7,5,2,4]
insert!(10,i)
i
max i
extract! i
i
heapsort x ==
       empty? x => []
       cons(extract! x,heapsort x)
heapsort i