#include <iostream>
#include <string>
#include <vector>
using namespace std;
int main() {
int a,b,i,j;
vector <int> m(6);
vector <int> m1(7);
for (i=1;i<=6;i++) {m1[i]=i;}
cin>>a>>b;
m[0]=a; m1[m[0]]=0;
m[1]=b; m1[m[1]]=0;
m[2]=abs(a-7); m1[m[2]]=0;
m[3]=abs(b-7); m1[m[3]]=0;
//cout<<1;
for (i=1;i<=6;i++) {if (m1[i]>0) {m[4]=m1[i]; m1[i]=0; break;}}
for (i=1;i<=6;i++) {if (m1[i]>0) {m[5]=m1[i]; m1[i]=0; break;}}
//cout<<1;
cout<<m[4]<<'\n';
for (i=0;i<4;i++) {cout<<m[i]<<' ';} cout<<'\n';
cout<<m[5];
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8c3RyaW5nPgojaW5jbHVkZSA8dmVjdG9yPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IG1haW4oKSB7CglpbnQgYSxiLGksajsKCXZlY3RvciA8aW50PiBtKDYpOwoJdmVjdG9yIDxpbnQ+IG0xKDcpOwoJZm9yIChpPTE7aTw9NjtpKyspIHttMVtpXT1pO30KCWNpbj4+YT4+YjsKCW1bMF09YTsgbTFbbVswXV09MDsKCW1bMV09YjsgbTFbbVsxXV09MDsKCW1bMl09YWJzKGEtNyk7IG0xW21bMl1dPTA7CgltWzNdPWFicyhiLTcpOyBtMVttWzNdXT0wOwoJLy9jb3V0PDwxOwoJZm9yIChpPTE7aTw9NjtpKyspIHtpZiAobTFbaV0+MCkge21bNF09bTFbaV07IG0xW2ldPTA7IGJyZWFrO319Cglmb3IgKGk9MTtpPD02O2krKykge2lmIChtMVtpXT4wKSB7bVs1XT1tMVtpXTsgbTFbaV09MDsgYnJlYWs7fX0KCS8vY291dDw8MTsKCWNvdXQ8PG1bNF08PCdcbic7Cglmb3IgKGk9MDtpPDQ7aSsrKSB7Y291dDw8bVtpXTw8JyAnO30gY291dDw8J1xuJzsKCWNvdXQ8PG1bNV07CgkKCXJldHVybiAwOwp9