lean2/tests/lean/abstract_expr3.lean.expected.out

3779869529
643001557
4235699031
4235699031
4235699031
4235699031
4235699031
0
0
1
0
1
feat(library/abstract_expr_manager): compare exprs ignoring subsingletons 2015-11-13 00:30:22 +00:00			`3779869529`
			`643001557`
			`4235699031`
			`4235699031`
			`4235699031`
			`4235699031`
			`4235699031`
			`0`
			`0`
			`1`
			`0`
			`1`