- "prime { 29, 7, 16}" "00" -1 0;
- "prime { 29, 7, 16}" "000116" 3 22;
- "prime { 29, 7, 16}" "00000e" 2 0;
- "prime { 29, 7, 16}" "000100ff" 3 0;
+ "prime { 29, 7, 16 }" "00" -1 0;
+ "prime { 29, 7, 16 }" "000116" 3 22;
+ "prime { 29, 7, 16 }" "00000e" 2 0;
+ "prime { 29, 7, 16 }" "000100ff" 3 0;