#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int** result;
int* resultSizes;
int resultCount;
int maxResults;

void swap(int* a, int* b) {
    int temp = *a;
    *a = *b;
    *b = temp;
}

void backtrack(int* nums, int numsSize, int start) {
    if (start == numsSize) {
        result[resultCount] = (int*)malloc(numsSize * sizeof(int));
        for (int i = 0; i < numsSize; i++) {
            result[resultCount][i] = nums[i];
        }
        resultSizes[resultCount] = numsSize;
        resultCount++;
        return;
    }
    
    for (int i = start; i < numsSize; i++) {
        swap(&nums[start], &nums[i]);
        backtrack(nums, numsSize, start + 1);
        swap(&nums[start], &nums[i]);
    }
}

int** solution(int* nums, int numsSize, int* returnSize, int** returnColumnSizes) {
    maxResults = 1;
    for (int i = 2; i <= numsSize; i++) {
        maxResults *= i;
    }
    
    result = (int**)malloc(maxResults * sizeof(int*));
    resultSizes = (int*)malloc(maxResults * sizeof(int));
    resultCount = 0;
    
    backtrack(nums, numsSize, 0);
    
    *returnSize = resultCount;
    *returnColumnSizes = resultSizes;
    return result;
}

int main() {
    char line[1000];
    fgets(line, sizeof(line), stdin);
    line[strcspn(line, "\n")] = 0;
    
    int nums[10];
    int numsSize = 0;
    char* token = strtok(line + 1, ",]");
    while (token != NULL) {
        nums[numsSize++] = atoi(token);
        token = strtok(NULL, ",]");
    }
    
    int returnSize;
    int* returnColumnSizes;
    int** res = solution(nums, numsSize, &returnSize, &returnColumnSizes);
    
    printf("[");
    for (int i = 0; i < returnSize; i++) {
        printf("[");
        for (int j = 0; j < returnColumnSizes[i]; j++) {
            printf("%d", res[i][j]);
            if (j < returnColumnSizes[i] - 1) printf(",");
        }
        printf("]");
        if (i < returnSize - 1) printf(",");
    }
    printf("]\n");
    
    return 0;
}