tests/lean/307.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google


            
            Int.ofNat 2147483648

            
            2147483648

            
            1073741824

            
            -2147483648

            
            Int.ofNat 0

            
            0

            
            Int.negSucc 1

            
            -2

            
            Int.ofNat 2

            
            2

            
            1

            
            1

            
            1

            
            1

            
            1

            
            1

            
            1

            
            1

            
            1

            
            1

            
            1

            
            1

            
            1

            
            1

            
            1

            
            1

            
            1

            
            1

            
            2147483648

            
            0

            
            0

            
            -2

            
            1

            
            1

            
            1

            
            1

            
            1

            
            1

            
            1

            
            1

            
            1

            
            1
	Int.ofNat 2147483648
	2147483648
	1073741824
	-2147483648
	Int.ofNat 0
	0
	Int.negSucc 1
	-2
	Int.ofNat 2
	2
	1
	1
	1
	1
	1
	1
	1
	1
	1
	1
	1
	1
	1
	1
	1
	1
	1
	1
	2147483648
	0
	0
	-2
	1
	1
	1
	1
	1
	1
	1
	1
	1
	1