{:"1@#: 2 3 5 7
0 1 1 1
   {:"1@#: 2 3 5 7+(2^89x)-1
1 0 0 0