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
|
set show timing off .
set show advisories off .
select INT .
red - - s 0 .
red - 0 .
red - s_^2(0) + s_^5(0) .
red s_^10(0) + - s_(0) .
red s_^10(0) + - s_^11(0) .
red - s_^2(0) * s_^5(0) .
red s_^10(0) - s_^11(0) .
red s 0 * - s s 0 .
red s 0 * - s 0 .
red s_^10(0) quo - s_^4(0) .
red - s_^10(0) rem s_^4(0) .
red - s_^10(0) ^ s_^4(0) .
red - s_^2(0) ^ s_^7(0) .
red s_^2(0) ^ s_^7(0) .
red abs(- s_^140(0)) .
red abs(s_^140(0)) .
red gcd(gcd(- s_^120(0), X:Nat), gcd(- s_^140(0), Y:Nat)) .
red gcd(s_^124(0), - s_^346(0), s_^768(0)) .
red gcd(- s_^10(0), s_^8(0)) .
red lcm(lcm(- s_^120(0), X:Nat), lcm(- s_^140(0), Y:Nat)) .
red lcm(s_^124(0), - s_^346(0), s_^768(0)) .
red lcm(- s_^10(0), - s_^8(0)) .
red s 0 xor - s s 0 .
red s 0 xor - s 0 .
red - s 0 xor s 0 .
red s 0 & - s s 0 .
red s 0 & - s 0 .
red - s 0 & s 0 .
red s 0 | - s s 0 .
red s 0 | - s 0 .
red - s s 0 | s 0 .
red - s 0 << s s s 0 .
red - s_^128(0) >> s s s 0 .
red s 0 < - s s 0 .
red - s 0 < s 0 .
red s 0 <= - s s 0 .
red - s 0 <= s 0 .
red - s 0 > s s 0 .
red s 0 > - s 0 .
red s 0 >= - s s 0 .
red - s 0 >= s 0 .
red - s_^3(0) divides s_^10(0) .
red s_^3(0) divides - s_^9(0) .
red 1 .
red -1 .
red 2 + -1 .
red -8888888888888888888888888888888888888888888888888888888 .
red -42 .
set print number off .
red - 0 .
red 2 ^ 200000000000000000000 .
red 1 ^ 200000000000000000000 .
red -1 ^ 200000000000000000000 .
red -1 ^ 200000000000000000001 .
red 0 ^ 200000000000000000001 .
red 1 << 200000000000000000001 .
red 0 << 200000000000000000001 .
|
