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


            
            [11, 12, 13, 11, 12]

            
            [21, 22, 23, 21, 22]

            
            [31, 32, 33, 31, 32]
	[11, 12, 13, 11, 12]
	[21, 22, 23, 21, 22]
	[31, 32, 33, 31, 32]