from random import*;c=choice;r=range(1,7);u=c(r);l=c(list(set(r)-{u,u^7}));print(r''' ________
/\ \
/ \%4d \
{ %d }-------}
\ /%4d /
\/_______/'''%(u,l,3*u*l*(u*u-l*l)%7))
ZnJvbSByYW5kb20gaW1wb3J0KjtjPWNob2ljZTtyPXJhbmdlKDEsNyk7dT1jKHIpO2w9YyhsaXN0KHNldChyKS17dSx1Xjd9KSk7cHJpbnQocicnJyAgIF9fX19fX19fCiAgL1wgICAgICAgXAogLyAgXCU0ZCAgIFwKeyAlZCAgfS0tLS0tLS19CiBcICAvJTRkICAgLwogIFwvX19fX19fXy8nJyclKHUsbCwzKnUqbCoodSp1LWwqbCklNykp