#include <stdio.h>

int main()
{
    int n ;
    int k;
   
    scanf("%d %d", &n, &k);
    printf("%d %d ",n,k);
   
    printf("%d", n-k);
    return 0;
}