The Delest-Viennot celebrated result that

              the number of convex polyominoes with perimeter 2n+8

                 equals (2*n+11)*4^n-4*(2*n+1)!/n!^2  is indeed

                                      true

               The whole proof took, 11.840, seconds of CPU time