#include <stdio.h> int main(){ int a,b,c; scanf("%d %d %d",&a,&b,&c); printf("%8d%7d%7d",a,b,c); return 0; } //123456789 0 -1 //123456789 0 -1 //123456789 0 -1