lean2/tests/lean/simplifier_norm_num.lean.expected.out

1
1
2
2
3
3
4
4
5
5
5
6
6
6
6
7
7
7
33
12
105
45000000000
0
0
0
0
0
1
2
2
4
6
6
4
4
9
12
16
22
90
15241383936
130049014430002489296