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

int main() {
    char str1[50];
    char *token;
    char *end;
    long int number;
    fgets(str1,50,stdin);
    number = 0;
    token = strtok(str1," ");
    while(token != NULL){
        printf("%s ",token);
        number += strtol(token,&end,0);
        token = strtok(NULL," ");
    }
    printf("\nResult:%li\n", number);
    return 0;
}