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


            
            5

            
            16

            
            120

            
            30

            
            10

            
            200

            
            50

            
            20