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]