+ "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+ "0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a, 0"
+ "0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a, 0";
+ "niceprime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+ "0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a, 0"
+ "0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a, 0";
+