OWNCERT Sz(128) conv=O x=(46, 86, 34, 108, 71, 22, 11, 120, 116, 27, 2, 36, 58, 27, 19, 14) y=(13, 107, 24, 27, 109, 8, 60, 41, 9, 4, 9, 80, 39, 85, 81, 107) M=262144 L=165330 recheck=OK
OWNCERT Sz(128) conv=O x=(42, 82, 102, 46, 70, 8, 97, 118, 61, 45, 101, 101, 58, 0, 100, 22) y=(119, 85, 4, 105, 127, 24, 84, 105, 40, 90, 18, 114, 27, 33, 66, 43) M=262144 L=159119 recheck=OK
OWNCERT Sz(128) conv=O x=(122, 106, 17, 58, 12, 109, 41, 67, 116, 117, 22, 120, 35, 92, 118, 7) y=(81, 21, 66, 101, 114, 99, 47, 47, 112, 98, 29, 54, 51, 54, 51, 59) M=262144 L=139988 recheck=OK
SEARCH Sz(128) conv=O seed=72: 3 certified, 0 reached 1, of 3 pairs (75s)
