#include <stdio.h>

void allocate_resources(int severity) {
    switch (severity / 3) {
        case 0: // severity 1-3
            printf("1\n\n");
            break;
        case 1: // severity 4-6
            printf("2\n0\n1\n");
            break;
        case 2: // severity 7-9
            printf("3\n2\n1\n");
            break;
        case 3: // severity 10
            if (severity == 10) {
                printf("5\n3\n2\n1\n");
            } else {
                printf("Invalid input\n");
            }
            break;
        default:
            printf("Invalid input\n");
    }
}
int main() {
    int severity;
    scanf("%d", &severity);
    if (severity < 1 || severity > 10) {
        printf("Invalid input\n");
    } else {
        switch (severity / 3) {
            case 0: // severity 1-3
            printf("1\n1\n");
            break;
        case 1: // severity 4-6
            printf("2\n0\n1\n");
            break;
        case 2: // severity 7-9
            printf("3\n2\n1\n");
            break;
        case 3: // severity 10
            if (severity == 10) {
                printf("5\n3\n2]n1\n");
            } else {
                printf("Invalid input\n");            
        }
        break;
    default:
        printf("Invalid input\n");
        }
    }
}

int main() {
    int severity;
    scanf("%d", &severity);
    if (severity < 1 || severity > 10) {
        printf("Invalid input\n");
    } else {
        allocate_resources(severity);
    }
    return 0;
}