diff --git a/test/default/sign.c b/test/default/sign.c
index 9d2fcd47..c540b07c 100644
--- a/test/default/sign.c
+++ b/test/default/sign.c
@@ -1135,6 +1135,7 @@ 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 04bf6536..e652b1ed 100644
--- a/test/default/sign.exp
+++ b/test/default/sign.exp
@@ -1,3 +1,1027 @@
+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]