Skip to content

aime_1999_p11 can not pass the compilation #2

@Imbernoulli

Description

@Imbernoulli

https://live.lean-lang.org/#codez=JYWwDg9gTgLgBAWQIYwBYBtgCMBQpKxwCCApgM4Rg45kkwD6lMwEAdnCEgB4ASJSsLPxhk4ABmqUS7AELAA5gHkwJKCmiiASv3RwAcijgAVShHQR5ATziaU1APQBaR3ADiwAG7S4aQwBIAHTIAVxB6AG8AawBeAEYAXwA9cIBmAFZ4oOB2NJiAmCR2AIAzNQBjDlYAGj84AHdUVRI4Qvl0chaoZpB+EK6AEzhsuH6SeS7yKpbWQb8w8PjawtnWCMXO5q70FE8SdGswKFBmyDJgZi8h1hgx1VFfeDIdsmLrQNKkCpBWAB4ATjENTgxWysxAAGpWAA6WoAZVQEDqPlQhnOQ1EsQA7JioY57Dg0CRoCQQC1jvRYn8qfQwLFYnAABSkgBccEAWIQASkZqEAAQRwVliOA/DgcnBwcXcwCBBPzGYBEIjgkSucAAYtlaDAoQBJMoVBn01mAVEIuekptokOgoWd2Ay0nAAFQK+02HRQsDAOD2OCxAAcYg5XOizvNUIK1tJDrNFrdHq9vv9YolDNQgCCCGVMqGsUIywC4hFzPSAoaN2MKAVzWYBEwgLRbg4I4GazgaxmP5gawlgTKMuqHoIRZcsdw1VrHVWp1jP1cCNcBNQYtVsZtodiojLujnp9foDs6hZQgogZACYoYvt2vY36Y5HLcND8enVezxuy632xK4J3mqhpayGfLFYO1ToUddQnKcZyvecbSdZdT3ddc4y3K9d33I8TwfODzzzbdINQ+9Vwwp8WzgNsEzfD931TVkDzw4McLvFdg0fOMnV/Ad2CHEdtRAmUwLSU0XUgk8YPQmMny3aiGItZDGVwyTXQI5jmRfUi33fJAu0AYIIZQk7Cb1k2DROYh1WP/djAI1Ljxx440+N060hJoqMFM3OBAz/JUOKAyy9Ws6dbMPRzr2tfSRPgi85ME6DAqYlylOI19VLfKAkQAbU8jUQGCdAe1CABdFTEp+ABuAA+ArVLOcA4BSzLsqQMgKDKfLEvFZLqtQDTmpa8jUEAEIIZUAACJGUVQ0OSmRVAAgiFVzOAqzRr8uBACTCOAdIgvT6IMsKuQim8HLkmLEJdaSGSgpc4BcVDts2zDzu3Y7TsdWtLui5zn3i8q32yGAoAgR1UEiD6JR6wBQgm0wK6LQ/DDPCuyFyi/bXtcu690ZB7FQu48rtCm6XCQlGTocp7MZe6G3pIlrVJB78VvB9bIcYxGdvs+HrsIwM8f3NGSa227b3ppzSa5XGjvxrmEdJmsZI27GxKI8mKcp9TP2Byj2ZFsgcqwVG9tZhCpf5+TScBxKQa0uKOfoJB+kGAmWZlvW+e5zDjdUo5WHkehWGKFp4FQFX32BrTACKiF232KsqFdUzBWAEc5UFDtSu2B/rWQ57W7ahnmXEd8WtsO4N7ocjG0ixzObri+XI9a7IPa9hPxXD+vgWAPZ+h7fAm8bquJTd2vigTkHQdT9X07O3ObtrHPdZctWC9FwmVuJ8fCIrhLu97z3++7hvSqbkFW/b8BO937e4A3uv19Sv3JSmP3etv4Hga6yOu6r8+t6r1/I/39A28qqhu5fwVu/F2bUUp+2fi1IBiUQEvxPgrH+f8O5wIjsAmum9AYgxlO5ACw4vJjh8vNGcAUmb6ydoRUhYtp7+iRjgsyeCLIENAjZKYDI062zOsXUuDMJbCznpzBez1l561Xi7JAYAwD7Gmgwy0oR6C7ndlAM+xR0Auy+j9P6ANI5gL6poyBSUr5P0wUrd8gAwgmwWxaRnEmG+WIewrmXDyHMT4VJeeUUiYlycTPZGKFpZl0Ii4nc+Mmx+J4TzURkdWDQDCJmUkaUZq9noFxHKOp6AwEoFMAwGoyj1QYFbfomSUA7lyYwVgJBCnZJKbVCpxSyAMAgMULJ+jVLQNdugr2Pt7Qu1aW+KJUAYmhG6fAimiDD5gE6XaIZqCKbvwmVMl2fSBmkkMJMlBLto6xzQIDHRpjmnih6oAcIIZTsJCQbA6SNHDsJCv4xSylI6HOpic7EoSBY81nq4/cIls7XLCZhMma80HuwwYA4ZCCW6/zGQnHpbSgUX2AVfA5ko9lAxMagA5lEfGMi+WQ4R3jLkjynvbC8ES36pQtm6TWyKw6gpme0j+azu6jP/lCmlLVYHwvauiqlQpWVJTpfM7+4KkFHwZYCvu2yEXIuheywqvLm4H2ZRTaV/KlVysWZ7QZqrplR2yJs+OJtUVm1hoSm5F4SriDlgCt84jJHWDWqsU4jBig0j3E6+g6AGBukBuHOA6rYnerldXWF9KWmBt9dEjVIAA3asShso4aBqroXoPIBgaAJjNJ6inY1PzXk3UAAZEFrV5wDjXHcqWCfx0Ksfg7iRDbL2rhmPah+cPk4uoZeASdMvH/OMUnamq0O3BReYbHmxlK3pVmoQycLDjU6yJTQwM/b+GtrnZal2JAuCfF9smHtysMUmQ8jNbyzC/L8VortDOvzZbvKCb4s5iNPT1pNZe2571BUKvwJ06+cAQ6iopqwEtCaUr2vdSQUpzQn25qfKej5IGwPLtNWNBOwH2hwYegydIOZuGQbjMi9dm6A7bsSnhsovtgYqWI77SUCYOyopymEUMaYx2HpsbW6DQUG2OlxfO7cDH0N3pjJiA83aDHtTo5AnqRqrlDvOQ+gd8Hn0XmvbxjD49BPCcVl2LNUn+M81k2ewdOmbpKcKIyFT101OropuWzFEHh1GeNWZ7GFmSUU2cHAAACj9S4Dw4DIT5gABq3FaBk3ocRpECy7KmxyCU5rs2zBzhnnN3NJdVQACYR2RpMAeg/RPBpLqBASlLLzUyoVj6plyDP6lTPiqjl4DgZIp3WY6L+n5PYcUzZxzZckuvoVm5zzEBvMokeNkALW4/OhePBF+5qLTGPLk7Z8517jqdd+d1yutX0vkqyzljweWCshCwNynexWasoPlRCxVlWTvBtAVfWbyKdHA1vrswGbnYT4EwK8ZEzR12HHIGcNgcBghWnkN9kYJAQSsHOCwYccAGk+EKFMZCUxlhwCtI1tFzWLTKcS0JpGj6Vu5os3pltfGnZrata7MlLpQz0BIAAR3bqsHb8i9wPcldGwGbZ5H1Q6KgLHN7TO463IKaF3Ocm0FEKgAA5ALyChO7MWcDKLuV5WqrgNvtLqVaqAP86AwO2DbBwMK7PGptjyFDdlKF+ToTVQXbAbIIz/JrONaO+t6poTzSdG9UgTozq1H9m0dpwzgXvHwxtuM9aE3GEKcqR0UiuZb5dcB8Tp+egYQKUs43HT+nMpw9EqRtHgT1EXOp/fJJmnJmmRdvx5XqPwuiLdmD/TlSma89eML7jyzqk+teeaD5/PprO826ByDsH2QABWJASOeHONYeHhIEfu2kPAYowRWAz7YGW1FQ8OAd8DEXz0gnu+JTcwAVVoOP1gU+Z8eDn3D72i/QzyBX8Cdfm/2CA8X19VQHhzSMnxV+QPDYzPCEwx3MVZEHwUyFGuhL2Sys1RSOR/D7FzBgIBBPwVh6kAAiCNMAsWJTDGMKsbwEsQUOKFMAeVFQASIJcCCDAx0x8DWRUD8xCxvBS9IkI0JcYBj5zU1dxkgMilYlstcsiwjsJQfV1VODuDzthU+DbANRBCWcRCpDk9L52pKDRCfUKN3wsDItUVJQ+RkCCDcUYDsY4CetpsuxJRqZRcDJzZ8IXUyAKDLCMUbC9RfQCCi0/VNUq4epJQjVXCS84BUDPCI1/Vu5fCs1q9GCuQSDG8DknDPxJRd8oigisM4t3DhRTCMCLDEiIDGQUCYi4B0CyD4jT5fCkD8ijDp40DBRjC2Cq5/1dV409ck1ThRDA9LCcDWR0DjDr1QDsi35Ttt4yshVIVT5jtqsbtxieVzVddE17CU00lUB00m548sDcpP1JRSjt4VCq4tCvwyNI4KN08IA25OD3x9CMcKjD84Bj9Miy4zD1sDUuwujrdoiR97igCBjnjPxqCBQTCoY7CGYHCEiLiDCLVhQGRj93iQj+lI1QSvxrCYCAoYSXxw04SwiGi5j9dgTFi00SASBuVjiQBTiec6ltDXsXAL9+9Ggrgb8Lh78F9aTn9X818N

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions