}
ec2osp {
+ ## Make sure some things which I expect to fail actually do.
+ "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+ 3 "0x4a4edd749b4e809ddf0ecdb0cddd64b64f4558816ef243f5, 0xb3cef6f7f891a23d823aa01e96a74a3890cf71f4032d49d"
+ FAIL;
+ "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+ 5 "0x4a4edd749b4e809ddf0ecdb0cddd64b64f4558816ef243f5, 0xb3cef6f7f891a23d823aa01e96a74a3890cf71f4032d49d"
+ FAIL;
+ "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+ 7 "0x4a4edd749b4e809ddf0ecdb0cddd64b64f4558816ef243f5, 0xb3cef6f7f891a23d823aa01e96a74a3890cf71f4032d49d"
+ FAIL;
+ "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+ 8 "0x4a4edd749b4e809ddf0ecdb0cddd64b64f4558816ef243f5, 0xb3cef6f7f891a23d823aa01e96a74a3890cf71f4032d49d"
+ FAIL;
+ "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+ 9 "0x4a4edd749b4e809ddf0ecdb0cddd64b64f4558816ef243f5, 0xb3cef6f7f891a23d823aa01e96a74a3890cf71f4032d49d"
+ FAIL;
+ "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+ 11 "0x4a4edd749b4e809ddf0ecdb0cddd64b64f4558816ef243f5, 0xb3cef6f7f891a23d823aa01e96a74a3890cf71f4032d49d"
+ FAIL;
+ "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+ 13 "0x4a4edd749b4e809ddf0ecdb0cddd64b64f4558816ef243f5, 0xb3cef6f7f891a23d823aa01e96a74a3890cf71f4032d49d"
+ FAIL;
+ "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+ 15 "0x4a4edd749b4e809ddf0ecdb0cddd64b64f4558816ef243f5, 0xb3cef6f7f891a23d823aa01e96a74a3890cf71f4032d49d"
+ FAIL;
+
## Some automated tests, from `ec-compr-test.sage'.
"prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
1 "0x4a4edd749b4e809ddf0ecdb0cddd64b64f4558816ef243f5, 0xb3cef6f7f891a23d823aa01e96a74a3890cf71f4032d49d"