This file is indexed.

/usr/share/axiom-20170501/input/sint.input is in axiom-test 20170501-3.

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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
)set break resume
)spool sint.output
)set message test on
)set message auto off
)clear all
--S 1 of 11
min()$SingleInteger
--R 
--R
--R   (1)  - 9223372036854775808
--R                                                          Type: SingleInteger
--E 1

--S 2 of 11
max()$SingleInteger
--R 
--R
--R   (2)  9223372036854775807
--R                                                          Type: SingleInteger
--E 2

--S 3 of 11
a := 1234 :: SingleInteger
--R 
--R
--R   (3)  1234
--R                                                          Type: SingleInteger
--E 3

--S 4 of 11
b := 124$SingleInteger
--R 
--R
--R   (4)  124
--R                                                          Type: SingleInteger
--E 4

--S 5 of 11
gcd(a,b)
--R 
--R
--R   (5)  2
--R                                                          Type: SingleInteger
--E 5

--S 6 of 11
lcm(a,b)
--R 
--R
--R   (6)  76508
--R                                                          Type: SingleInteger
--E 6

--S 7 of 11
mulmod(5,6,13)$SingleInteger
--R 
--R
--R   (7)  4
--R                                                          Type: SingleInteger
--E 7

--S 8 of 11
positiveRemainder(37,13)$SingleInteger
--R 
--R
--R   (8)  11
--R                                                          Type: SingleInteger
--E 8

--S 9 of 11
And(3,4)$SingleInteger
--R 
--R
--R   (9)  0
--R                                                          Type: SingleInteger
--E 9

--S 10 of 11
shift(1,4)$SingleInteger
--R 
--R
--R   (10)  16
--R                                                          Type: SingleInteger
--E 10

--S 11 of 11
shift(31,-1)$SingleInteger
--R 
--R
--R   (11)  15
--R                                                          Type: SingleInteger
--E 11
)spool 
)lisp (bye)