OWNCERT Sz(128) conv=K x=(45, 29, 6, 4, 31, 102, 78, 12, 86, 89, 65, 114, 54, 123, 35, 86) y=(119, 22, 21, 71, 35, 124, 0, 85, 21, 24, 103, 19, 105, 64, 5, 56) M=262144 L=212436 recheck=OK
OWNCERT Sz(128) conv=K x=(5, 16, 80, 62, 78, 28, 0, 43, 30, 81, 22, 23, 22, 59, 116, 31) y=(57, 66, 99, 94, 22, 2, 83, 4, 108, 117, 24, 61, 96, 32, 43, 86) M=65536 L=45134 recheck=OK
OWNCERT Sz(128) conv=K x=(13, 15, 30, 96, 126, 27, 86, 78, 42, 59, 34, 20, 68, 2, 31, 122) y=(115, 9, 110, 127, 21, 67, 39, 3, 20, 119, 49, 20, 72, 123, 6, 96) M=65536 L=41710 recheck=OK
SEARCH Sz(128) conv=K seed=71: 3 certified, 0 reached 1, of 3 pairs (41s)
