diff --git a/test/default/sign.c b/test/default/sign.c
index c540b07c..9d2fcd47 100644
--- a/test/default/sign.c
+++ b/test/default/sign.c
@@ -1135,7 +1135,6 @@ int main(void)
             printf("detached signature verification failed: [%u]\n", i);
             continue;
         }
-        printf("%02x%02x%02x%02x... OK\n", sig[0], sig[1], sig[2], sig[3]);
     }
     printf("%u tests\n", i);
 
diff --git a/test/default/sign.exp b/test/default/sign.exp
index e652b1ed..04bf6536 100644
--- a/test/default/sign.exp
+++ b/test/default/sign.exp
@@ -1,1027 +1,3 @@
-e5564300... OK
-92a009a9... OK
-6291d657... OK
-d9868d52... OK
-124f6fc6... OK
-b2fc46ad... OK
-6ed629fc... OK
-6e0af2fe... OK
-d6addec5... OK
-2c76a04a... OK
-28e4598c... OK
-77d389e5... OK
-0f9ad979... OK
-d8bb64aa... OK
-6ee3fe81... OK
-f68d0484... OK
-2a3d27dc... OK
-3653ccb2... OK
-fbe929d7... OK
-73bca64e... OK
-a1adc2bc... OK
-bb61cf84... OK
-b6dcd099... OK
-7ef66e5e... OK
-836afa76... OK
-16e462a2... OK
-881f5b8c... OK
-3acd39be... OK
-f5875423... OK
-d834197c... OK
-0f8fad1e... OK
-be71ef48... OK
-04266c03... OK
-a06a23d9... OK
-16dc1e2b... OK
-ea855d78... OK
-ac957f82... OK
-5efe7a92... OK
-2ab25516... OK
-58271d44... OK
-6828cd76... OK
-d59e6dfc... OK
-1c723a20... OK
-ebf10d9a... OK
-9af88534... OK
-c179c094... OK
-2c691fa8... OK
-87f7fdf4... OK
-fa2e9944... OK
-58832bde... OK
-69e6a449... OK
-c7b55137... OK
-27d4c3a1... OK
-18dc56d7... OK
-01bb901d... OK
-4b229951... OK
-a6cbc947... OK
-4e8c3183... OK
-efbd41f2... OK
-32d22904... OK
-d2fde027... OK
-22c99aa9... OK
-06e5d843... OK
-471ebc97... OK
-57b9d2a7... OK
-a9c5ee86... OK
-a5db4d3d... OK
-9ff15115... OK
-4c2d31d5... OK
-43e0387d... OK
-01d7c9b5... OK
-05aa76f7... OK
-feb8896d... OK
-45b27bf1... OK
-7216ab60... OK
-03398815... OK
-6d3b4e90... OK
-44f3344b... OK
-e277b3dd... OK
-19dbc302... OK
-ae14a860... OK
-02a8d26a... OK
-d30ce8a3... OK
-99b75378... OK
-ee37df8a... OK
-6f89de92... OK
-7d447ee5... OK
-823ee2c0... OK
-deab12ed... OK
-b07d072e... OK
-eda3f503... OK
-f6519d7e... OK
-554552d6... OK
-ab5e8724... OK
-cfe32c44... OK
-64eac9ce... OK
-7dda89f8... OK
-07a7de6c... OK
-ada1666c... OK
-cbef65b6... OK
-cac55522... OK
-2bf71968... OK
-6adb07e3... OK
-02697d44... OK
-b1a5e7c4... OK
-bc3364c1... OK
-84101dd4... OK
-b3098001... OK
-09824fa2... OK
-555e4565... OK
-e3be3e71... OK
-eccaf801... OK
-4bc011e4... OK
-3aa52a83... OK
-f5110221... OK
-d1e7f16e... OK
-d584b5da... OK
-df282771... OK
-83460d15... OK
-094bf6f9... OK
-5047fa38... OK
-4347b7b4... OK
-e8fa967e... OK
-e907459d... OK
-e5a63124... OK
-27d3a197... OK
-1b6b4377... OK
-b446574f... OK
-0ad71b00... OK
-9dec92b6... OK
-5261558e... OK
-92ba760d... OK
-0783737f... OK
-3f0e8376... OK
-beafa583... OK
-7ec6fba5... OK
-7477e541... OK
-f6a61c2e... OK
-42882a81... OK
-2be4915a... OK
-3bb459d1... OK
-6de668f1... OK
-1b5e75de... OK
-25d2d361... OK
-bd86cb9c... OK
-9cf13eba... OK
-6bd710a3... OK
-6274f2d4... OK
-5998b280... OK
-72ce9f91... OK
-6f1362a4... OK
-2306f58f... OK
-26bb0882... OK
-7dc4467a... OK
-aef756bf... OK
-95020660... OK
-7ab78b64... OK
-2e7fdeb3... OK
-44c58da4... OK
-a8f9fa24... OK
-ff6caedd... OK
-ccf2400c... OK
-11614365... OK
-24368fee... OK
-76f50b2b... OK
-b365b556... OK
-a23dbe37... OK
-8fc4f179... OK
-7c743030... OK
-d4ba8030... OK
-436823ee... OK
-0f19e6ea... OK
-13d2cbac... OK
-c254e371... OK
-5b6ce277... OK
-32527da7... OK
-5cda872f... OK
-ed59d9e2... OK
-4a6413c2... OK
-44d77e43... OK
-e04dc844... OK
-3f2af01a... OK
-8c662834... OK
-c7566fb3... OK
-44b01246... OK
-ce1e3577... OK
-bb2bab70... OK
-dd5cbae4... OK
-f4b6eb1a... OK
-ce9729a9... OK
-5bd60ad5... OK
-27279e3c... OK
-75c517ad... OK
-db771833... OK
-c75977e8... OK
-c9345eec... OK
-f1e44514... OK
-d2064a6d... OK
-9bad1e3b... OK
-8e60e73c... OK
-38fac603... OK
-fc79fdc6... OK
-7a44e6a3... OK
-6964b9c5... OK
-3ab5f88e... OK
-33b4f427... OK
-d6b0e80e... OK
-e1429dab... OK
-9220f0ed... OK
-94de5df7... OK
-9828fec8... OK
-3f994b8e... OK
-897e6f27... OK
-84d3aa3f... OK
-cae96879... OK
-14552171... OK
-a2ae117c... OK
-e48615b6... OK
-9a107453... OK
-a510dff4... OK
-2d7bab8e... OK
-ce8b0a57... OK
-fa709fbc... OK
-909008f3... OK
-b6c445b7... OK
-99ae6782... OK
-a5ee024c... OK
-4d870bd5... OK
-d8b50a88... OK
-79549a31... OK
-2037a0a7... OK
-4e158dea... OK
-a628a774... OK
-da98dfb1... OK
-12d90685... OK
-27570c00... OK
-9a68d151... OK
-24446bdf... OK
-4c734596... OK
-0c173c48... OK
-5fab5a71... OK
-977137a3... OK
-75461f99... OK
-d68e3750... OK
-0e0c5e4e... OK
-c5f62649... OK
-4bf66882... OK
-197d6b6c... OK
-fb99029f... OK
-9756303b... OK
-923005cb... OK
-721bfd47... OK
-cf03f525... OK
-4de6f525... OK
-62da81e1... OK
-5024ce60... OK
-b0572104... OK
-20cbf083... OK
-2cd26fb3... OK
-b737d4e5... OK
-d5bea8ea... OK
-e65275c4... OK
-977adccd... OK
-0e89da5d... OK
-64b598ca... OK
-7d6bed7f... OK
-d02a7523... OK
-f738af2d... OK
-e7ced4fa... OK
-0a1c706d... OK
-4d33c96a... OK
-d7cbd418... OK
-1c61d53b... OK
-608b2bf6... OK
-156c51c5... OK
-fceecca4... OK
-3b77394c... OK
-73a40d9d... OK
-1a80850f... OK
-e08d6caa... OK
-6942a769... OK
-31927d01... OK
-c9384565... OK
-80c5d51e... OK
-1e36bea5... OK
-b515f49e... OK
-5bba01a4... OK
-137bd10a... OK
-80c42dd5... OK
-6d7e4658... OK
-db74751c... OK
-81670b10... OK
-6302b3ff... OK
-3df4d090... OK
-965edb34... OK
-f2b8d92e... OK
-b5b5950d... OK
-6f710198... OK
-31f90f50... OK
-1e375c94... OK
-6fa48aea... OK
-0c4643a8... OK
-cb017d6d... OK
-a01dd65f... OK
-70764be3... OK
-5cdb00e9... OK
-fba1749b... OK
-65685f9c... OK
-9d16fd40... OK
-fe4e89ee... OK
-74918128... OK
-e5fd64da... OK
-7141399d... OK
-43332351... OK
-398e8260... OK
-cbf1f164... OK
-93c9c334... OK
-0df3aa0d... OK
-da50d524... OK
-279cace6... OK
-7a9b736b... OK
-4bac7fab... OK
-dc501db7... OK
-a817ed23... OK
-efe2cb63... OK
-bf9115fd... OK
-985ca446... OK
-8c890ccc... OK
-b3c24e75... OK
-de2b46e6... OK
-058f7992... OK
-4e65c6c1... OK
-7e9ab85e... OK
-42f133e3... OK
-5fa2b531... OK
-18d05e5d... OK
-1edef9bc... OK
-c634ea7b... OK
-29df3ad5... OK
-4c036935... OK
-15763973... OK
-552c7347... OK
-f267715e... OK
-5075c090... OK
-eea439a0... OK
-f93ada15... OK
-548a093a... OK
-dcdc5461... OK
-3e0b7207... OK
-1eaad842... OK
-a40abe98... OK
-143cb280... OK
-6768006f... OK
-6b48b10f... OK
-9881a576... OK
-ec61c0b2... OK
-2fbd899d... OK
-6b7ef27b... OK
-e0303aef... OK
-08773a6a... OK
-e33c0783... OK
-bc094ba9... OK
-d5008486... OK
-dbc7134d... OK
-9f80922b... OK
-c2695a57... OK
-379f9c54... OK
-84d18d56... OK
-eb677f33... OK
-17f0127c... OK
-a43a71c3... OK
-e6a9a6b4... OK
-b8f71357... OK
-2aa2035c... OK
-627e7ca7... OK
-6887c6e2... OK
-c4dcef1a... OK
-7b7cbe44... OK
-f1b797de... OK
-4aaca947... OK
-50f9f941... OK
-dd0212e6... OK
-38a31b6b... OK
-7b1eb677... OK
-417a6478... OK
-65c5d10e... OK
-55851de8... OK
-629bf97b... OK
-fae4773b... OK
-f702d0d4... OK
-23f4f162... OK
-7e3b1c4c... OK
-d2113f80... OK
-e7b08e1d... OK
-a621f084... OK
-9bd074d1... OK
-b42c1f92... OK
-99d83f14... OK
-63e90a6a... OK
-7688f3f2... OK
-f396a11f... OK
-b3f6cf4c... OK
-f8818310... OK
-e06a7a41... OK
-c2ab1f6f... OK
-1f5375dc... OK
-bf110e2e... OK
-ffbdd324... OK
-1a510226... OK
-55f202ef... OK
-26ba562e... OK
-319bb4de... OK
-2ecf5b8a... OK
-30df7b0b... OK
-22eb8ea0... OK
-8250f76d... OK
-f6ee5e13... OK
-f4206fcd... OK
-e8f51be7... OK
-b12510ac... OK
-1341a148... OK
-d7425ea1... OK
-fa93ed65... OK
-1793e497... OK
-6f48a9f7... OK
-93e7405a... OK
-9914cc50... OK
-ce71bc82... OK
-118e1462... OK
-f336137d... OK
-2c072969... OK
-24ec1e54... OK
-1274d6f3... OK
-7464df0b... OK
-1472459c... OK
-d298fcc9... OK
-9ce45a07... OK
-dc935b60... OK
-7aff162a... OK
-63a8aeac... OK
-04509db0... OK
-0eec7541... OK
-5b3d0da7... OK
-58337097... OK
-a1c26078... OK
-9319eef7... OK
-503eb7ed... OK
-035970a6... OK
-88a83e20... OK
-6fcb1ac9... OK
-be17444c... OK
-15e8d8dc... OK
-d263f56d... OK
-93b6e29d... OK
-7f797a31... OK
-5eae4ac7... OK
-112f5c6d... OK
-7d83ff66... OK
-8071d97f... OK
-c0f17391... OK
-8af7bbe0... OK
-f6c2a429... OK
-0278c86a... OK
-e19e62ac... OK
-1af8be09... OK
-d2a05d88... OK
-a9305e00... OK
-98b0c631... OK
-01fccfdb... OK
-e857db08... OK
-3ae0cc7b... OK
-d527ff0d... OK
-9f583724... OK
-5b7f652f... OK
-64ee9efd... OK
-debdd8e5... OK
-89739fe4... OK
-b8b2752a... OK
-c771ba0a... OK
-d20506eb... OK
-f44371e6... OK
-f4e27482... OK
-72f54bb8... OK
-f7383e96... OK
-bb3b8c5c... OK
-f454f35b... OK
-86e7ccf0... OK
-7eb3139b... OK
-06f55198... OK
-ff701f34... OK
-7213dd4a... OK
-71d17107... OK
-e5724a1d... OK
-ec35ec32... OK
-0c3136e0... OK
-92eb4454... OK
-fd17c618... OK
-2220119e... OK
-b7389ee7... OK
-a65545cf... OK
-0f19b706... OK
-be0fb330... OK
-8d2bc4e1... OK
-6ef7f0e9... OK
-e1659186... OK
-d37a6ec8... OK
-9da60cc4... OK
-b30eb56c... OK
-c9ae67fd... OK
-d3dc62d6... OK
-16b74212... OK
-0f80ff5d... OK
-87a01039... OK
-6f992027... OK
-b3857ea6... OK
-12bf6295... OK
-35c170dd... OK
-42bed6a9... OK
-75f73908... OK
-1daa44ef... OK
-f9b04517... OK
-9a0ff7f3... OK
-62bc991c... OK
-32250361... OK
-8554b01d... OK
-410a5af3... OK
-825aff71... OK
-d1c9a01c... OK
-08e098a7... OK
-1505967a... OK
-a5b8b44a... OK
-4bdbd7c6... OK
-987e32e0... OK
-37ddd83f... OK
-c8001527... OK
-0fc99dd3... OK
-4c9cdb1a... OK
-20ea9368... OK
-185ef224... OK
-68a91d4f... OK
-07266c18... OK
-fc0c5453... OK
-2eb33bc2... OK
-dcf353b2... OK
-3caa8132... OK
-2c8bf543... OK
-52ba9658... OK
-1959bde0... OK
-ec5c7e83... OK
-ab9e0116... OK
-dcfc6fd4... OK
-9c7fdb53... OK
-c1915e05... OK
-2c4d69be... OK
-5788e79e... OK
-b1f71c3b... OK
-9abdb9dd... OK
-b2e08142... OK
-4c36bfc8... OK
-1d3ac6b6... OK
-1062a2dc... OK
-18a312b2... OK
-c6a8bc7a... OK
-7878ab74... OK
-59a1ce55... OK
-e0cb6c71... OK
-4bf1e7d4... OK
-697d4d89... OK
-4082a5bc... OK
-88a14626... OK
-54dd06fb... OK
-77ddd491... OK
-8157d833... OK
-9aaf8ac9... OK
-a8a309ba... OK
-30c4b99e... OK
-f785a46f... OK
-7591cf82... OK
-60e4d23f... OK
-75a45c6b... OK
-90005541... OK
-b8399bc3... OK
-6bb4d975... OK
-763c7d0d... OK
-6aec02dc... OK
-a4245aa3... OK
-0deed2df... OK
-15c45c19... OK
-8965a889... OK
-f7c39f92... OK
-8309cbe7... OK
-5d0d2af6... OK
-6d01d237... OK
-e316038d... OK
-bcb4b850... OK
-baa71131... OK
-33adbfcd... OK
-ccdfe18a... OK
-79995877... OK
-dd5489fd... OK
-2a2fd605... OK
-17a19d26... OK
-fda34b65... OK
-82c824a7... OK
-415adbb2... OK
-b94114ed... OK
-1a5dd4c8... OK
-53099b76... OK
-dd645e51... OK
-c366b802... OK
-97650fae... OK
-4bd19f3d... OK
-b1e8d481... OK
-f6d060ed... OK
-2fafc13c... OK
-5defae0e... OK
-7447a201... OK
-e02898cc... OK
-896fc3ca... OK
-240702ac... OK
-9b86a192... OK
-98912376... OK
-88f3a6e0... OK
-8fa6b0ae... OK
-ced9d610... OK
-62545e6c... OK
-414363fe... OK
-f0db63a1... OK
-41052bc4... OK
-560d01b9... OK
-16976b26... OK
-6abb3e37... OK
-f1f590a9... OK
-abaab4fa... OK
-9945ab73... OK
-0f03a4f1... OK
-8101baef... OK
-b78ebd6d... OK
-b1871729... OK
-903b484c... OK
-78a3877e... OK
-d8250440... OK
-2fd09054... OK
-99e996e8... OK
-4fba2d6c... OK
-c37bb7b7... OK
-a1c242b4... OK
-0ae343bb... OK
-60b70311... OK
-a23f032e... OK
-a24fee11... OK
-33bc1e0b... OK
-1707cc00... OK
-b1e3bf5f... OK
-6e7c66ac... OK
-f9372989... OK
-ae161cce... OK
-d083333f... OK
-49b6bc46... OK
-a9c0499f... OK
-54d2fd44... OK
-138c7a8e... OK
-c1b399cd... OK
-e55f8d30... OK
-8112ac37... OK
-2942f708... OK
-e646f164... OK
-66437b6b... OK
-f02e5dbc... OK
-80b7fc8b... OK
-04b3b850... OK
-8c9b77aa... OK
-8aaeba53... OK
-17738f57... OK
-5d2110d1... OK
-a0b19cfa... OK
-657c3826... OK
-625e1f42... OK
-c1cfae58... OK
-b05725e7... OK
-8a9a3217... OK
-b83297cc... OK
-4cf08f4f... OK
-87294d22... OK
-4c00a716... OK
-298856e5... OK
-a111b970... OK
-31339dce... OK
-cc662730... OK
-5fd1e5f9... OK
-82189d34... OK
-bd13f636... OK
-f58db19f... OK
-05f117f9... OK
-bff269a3... OK
-6d0f83d9... OK
-e2eff607... OK
-f5fc5acb... OK
-fcfcdb08... OK
-bbe4cd63... OK
-c7d23a58... OK
-8c4912c0... OK
-b1ba88fe... OK
-cd1e4bdf... OK
-c17c2fbf... OK
-64408bdd... OK
-b0a36a2c... OK
-dfb9b635... OK
-4232d2a4... OK
-3eb5b339... OK
-58fb392f... OK
-86ae9325... OK
-55706138... OK
-050ae8ae... OK
-1b8d7cc2... OK
-696bd552... OK
-4e1aff84... OK
-7e2eae5a... OK
-b14a7b26... OK
-7eb46cd0... OK
-647cdd6c... OK
-4b813704... OK
-fe9701da... OK
-13ebc979... OK
-976160fb... OK
-74cb028d... OK
-c9a6aaa9... OK
-cf202d7f... OK
-4af41c55... OK
-8ccb0dbc... OK
-a0b6a2af... OK
-509e9ead... OK
-39452012... OK
-63cd4c0b... OK
-ed2ced1a... OK
-51011222... OK
-139f9cb9... OK
-0c297abe... OK
-65191aa8... OK
-c03c4703... OK
-5734ec50... OK
-16fb290c... OK
-9e603b01... OK
-642d81ac... OK
-4d2ce707... OK
-da34b198... OK
-8e4b41f0... OK
-09a1e6fe... OK
-4bf0b92c... OK
-424517aa... OK
-7ef70e4a... OK
-d39d853d... OK
-b181938d... OK
-579b3812... OK
-df09cb9b... OK
-4c801086... OK
-2a4fea98... OK
-2860830c... OK
-581e6c85... OK
-4f3d4d22... OK
-d15788bc... OK
-acebe4c8... OK
-f61f7807... OK
-ff8e076e... OK
-d53ee2e0... OK
-fa0d12cd... OK
-327196dd... OK
-ece75322... OK
-874ddece... OK
-a462a9ba... OK
-f58f396b... OK
-9ab4299b... OK
-42c1295f... OK
-8608815e... OK
-b4c2321a... OK
-f4d1c80f... OK
-dd9bdbad... OK
-17d171d9... OK
-698fab68... OK
-3dc9194d... OK
-fdbd15e1... OK
-709d1ca9... OK
-159ca404... OK
-276dd096... OK
-5c783a86... OK
-e2476586... OK
-96c00361... OK
-e13ca8e5... OK
-84c716e6... OK
-a9702a33... OK
-660242c1... OK
-31f98c0a... OK
-6710d0dd... OK
-60afc1e9... OK
-dd049ca7... OK
-d4c30a48... OK
-bfabdea4... OK
-cd84f55e... OK
-e1317ba2... OK
-18cfaf6d... OK
-f1d99658... OK
-5d8545a4... OK
-6ca9f80a... OK
-d5e41b47... OK
-5b0083f7... OK
-0fe28ead... OK
-ac3bfe3a... OK
-5be552fa... OK
-deacc8c2... OK
-2f59a293... OK
-b52d03fd... OK
-a7f9d08b... OK
-195447be... OK
-051d8d7f... OK
-f3077a75... OK
-31f16a7c... OK
-47faad4e... OK
-73c10606... OK
-c938829f... OK
-24a43333... OK
-a4f35b49... OK
-67b0f174... OK
-702ab9ac... OK
-dfac86df... OK
-effb29da... OK
-6ef264ab... OK
-3da8d14d... OK
-4fdc7b6e... OK
-0166afed... OK
-d6b4135f... OK
-31f95cbb... OK
-07d9fc24... OK
-c6dc5ca1... OK
-b701b8f9... OK
-04eaf900... OK
-4b001d96... OK
-67a667ee... OK
-b5a83a11... OK
-9febab5a... OK
-13cc158f... OK
-0fe4dd7e... OK
-ea6582cc... OK
-a6b56b76... OK
-85c81d6b... OK
-c7cfd5c9... OK
-597672ab... OK
-425f2722... OK
-97a5b6d2... OK
-cfb65b6f... OK
-84f79d9e... OK
-f41f2ef6... OK
-788c9f45... OK
-3e9f2b00... OK
-dec46253... OK
-a9995523... OK
-b6c355c9... OK
-6d6bd65f... OK
-cc28b5ef... OK
-3d1b4b4e... OK
-288515fa... OK
-5dc03363... OK
-0543712c... OK
-6cbc7e6f... OK
-a7b88e5a... OK
-33d80529... OK
-6dab593b... OK
-3ac80d1e... OK
-a2700e38... OK
-ad8f379c... OK
-176b9592... OK
-5f11df39... OK
-a7a64888... OK
-ce454530... OK
-a27cca4b... OK
-c9d4a472... OK
-d9287b7f... OK
-db7270ac... OK
-781376c9... OK
-53252b92... OK
-d243b87d... OK
-deb3d9fc... OK
-31048d33... OK
-a0b169e8... OK
-0b8edcb8... OK
-4218fe4c... OK
-f2dcfc06... OK
-22333e56... OK
-3746da6c... OK
-3c4462aa... OK
-0a63b84f... OK
-9c2c3991... OK
-45e8ed1a... OK
-886da33e... OK
-0371c2d6... OK
-df28e3e6... OK
-146f65d4... OK
-30abc4e4... OK
-c03c0314... OK
-1effbf92... OK
-8fd7fa40... OK
-e842b49e... OK
-3ba0af8a... OK
-c04ebd11... OK
-7c45703e... OK
-f51e0f87... OK
-576543fc... OK
-ffede701... OK
-a4c396e1... OK
-981f2005... OK
-e0727eb7... OK
-bd45b3c0... OK
-02b25174... OK
-4cb6ff5d... OK
-edb4e020... OK
-9d8cb2ea... OK
-2a439c73... OK
-fa747b6f... OK
-e0b867c9... OK
-be3c2b56... OK
-2e32ba05... OK
-da3aadb3... OK
-b8f3e1f3... OK
-e607bc9a... OK
-3d0adce7... OK
-8c36b5a1... OK
-052ff795... OK
-ded5d991... OK
-8d6f7cee... OK
-32bb7520... OK
-8e659a3f... OK
-f0f35741... OK
-89450697... OK
-d4a9bae8... OK
-780f40c2... OK
-a0b84ca5... OK
-a84f552b... OK
-bab57284... OK
-4378966b... OK
-0611b19a... OK
-8525c346... OK
-c934a3a1... OK
-c9c099e2... OK
-b2e3d9c5... OK
-b1b44a14... OK
-f9fd72f3... OK
-fab8e5d9... OK
-db1cc0c5... OK
-cbf7cf22... OK
-2c3c8cd2... OK
-42a13756... OK
-6c36da9a... OK
-e15342a1... OK
-55201194... OK
-9235d448... OK
-f6dcc2d2... OK
-c28b3480... OK
-f6707929... OK
-ca0bb6c1... OK
-df849b7b... OK
-abf283db... OK
-12740839... OK
-4a79c442... OK
-caa28798... OK
-7f653134... OK
-d0c3e248... OK
-6d69e83b... OK
-af7e2df7... OK
-538eace4... OK
-283359be... OK
-0f073c9a... OK
-0adc6fa4... OK
-1442dea2... OK
-38c682ce... OK
-7532d1a6... OK
-c19b532b... OK
-177455a7... OK
-c1023a70... OK
-63de6a98... OK
-106a9deb... OK
-86996a1b... OK
-18faf82d... OK
-b4fde55b... OK
-bb093604... OK
-66dfa4c1... OK
-33814c6e... OK
-6cd8aed9... OK
-a8f2f4b9... OK
-8f8703bc... OK
-6201e305... OK
-fec0af34... OK
-37aca8f2... OK
-c0ea074b... OK
-45f2803a... OK
-0d8f095e... OK
-2037e977... OK
-754e60d3... OK
-5adaa943... OK
-28326b5b... OK
-b3987f32... OK
-bc78e16b... OK
-e3db47a1... OK
-429ce1fe... OK
-cc12f69d... OK
-495a8f99... OK
-f0d873be... OK
-408cefcf... OK
-23458866... OK
-185fb1b6... OK
-a5c809d1... OK
-9c6989cb... OK
-10cb52d6... OK
-38c48dba... OK
-df4541df... OK
-27fb6b5f... OK
-c5903958... OK
-b20b9c42... OK
-f5191b44... OK
-ba6eb751... OK
-3cbbb260... OK
-21704d5e... OK
-400c3505... OK
-33614b7a... OK
-c57e3c09... OK
-0aab4c90... OK
 1024 tests
 pk: [b5076a8474a832daee4dd5b4040983b6623b5f344aca57d4d6ee4baf3f259e6e]
 sk: [421151a459faeade3d247115f94aedae42318124095afabe4d1451a559faedeeb5076a8474a832daee4dd5b4040983b6623b5f344aca57d4d6ee4baf3f259e6e]