#!/usr/local/bin/tcc -run
#include<stdio.h>
#include<stdlib.h>
#define MAXLINE 11

int main()
{
    int i, j;
    char num[MAXLINE];
    char work[MAXLINE];

    strcpy(num, "0123456789");

    while(1){
        j = 0;
        for(i = 0; i <= strlen(num); i++) {
            if( num[i+1] == '\0' || num[i] + 1 != num[i+1]) {
                work[j] = num[i];
                j += 1;
            } else {
                i += 1;
            }
        }
        work[j] = '\0';
        if(strcmp(num, work) == 0) break;
        strcpy(num, work);
    }
    
    printf(num);
}